<?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="Alt-Ergo" version="2.0.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="2" name="Zenon" version="0.8.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="3" name="CVC3" version="2.4.1" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="4" name="Eprover" version="1.6" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="5" name="Z3" version="2.19" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="6" name="CVC4" version="1.4" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="7" name="CVC3" version="2.2" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="8" name="Eprover" version="1.4" timelimit="3" steplimit="0" memlimit="1000"/>
<prover id="9" name="Spass" version="3.7" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="10" name="Z3" version="4.3.1" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="11" name="Simplify" version="1.5.4" timelimit="3" steplimit="0" memlimit="1000"/>
<prover id="12" name="Yices" version="1.0.38" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="13" name="Zenon" version="0.7.1" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="14" name="Z3" version="4.7.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="15" name="Metis" version="2.3" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="16" name="Z3" version="3.2" timelimit="5" steplimit="0" memlimit="0"/>
<prover id="17" name="Z3" version="4.8.4" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="18" name="PVS" version="6.0" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="19" name="veriT" version="201310" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="20" name="Z3" version="4.3.2" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="22" name="Vampire" version="0.6" timelimit="3" steplimit="0" memlimit="1000"/>
<prover id="23" name="Z3" version="4.8.1" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="24" name="veriT" version="201410" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="25" name="Alt-Ergo" version="2.1.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="26" name="Zenon Modulo" version="0.4.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="27" name="Eprover" version="2.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="28" name="Z3" version="4.4.1" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="29" name="Z3" version="4.8.3" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="30" name="Isabelle" version="2021-1" timelimit="100" steplimit="0" memlimit="4000"/>
<prover id="31" name="CVC4" version="1.5" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="32" name="Alt-Ergo" version="2.2.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="33" name="Z3" version="4.6.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="34" name="Z3" version="4.8.5" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="35" name="CVC4" version="1.7" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="36" name="Alt-Ergo" version="2.3.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="37" name="Z3" version="4.8.11" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="38" name="Z3" version="4.8.6" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="39" name="Alt-Ergo" version="2.3.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="40" name="Alt-Ergo" version="2.4.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="41" name="Z3" version="4.8.9" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="42" name="Z3" version="4.8.10" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="43" name="Z3" version="4.8.7" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="44" name="Z3" version="4.8.8" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="45" name="CVC4" version="1.8" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="46" name="Alt-Ergo" version="2.4.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="47" name="Coq" version="8.11.2" timelimit="5" steplimit="0" memlimit="4000"/>
<prover id="48" name="Z3" version="4.8.14" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="49" name="Z3" version="4.8.15" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="50" name="Z3" version="4.8.13" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="51" name="Z3" version="4.8.12" timelimit="5" steplimit="0" memlimit="1000"/>
<file format="whyml" proved="true">
<path name=".."/><path name="genealogy.why"/>
<theory name="Genealogy" proved="true">
 <goal name="Child_is_son_or_daughter" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="10"/></proof>
 <proof prover="2"><result status="valid" time="0.02"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.01"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.04"/></proof>
 <proof prover="14"><result status="valid" time="0.02" steps="847"/></proof>
 <proof prover="15"><result status="valid" time="0.02"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="17"><result status="valid" time="0.02" steps="863"/></proof>
 <proof prover="18"><path name="genealogy_Genealogy_Child_is_son_or_daughter_1.pvs"/><result status="valid" time="0.24"/></proof>
 <proof prover="19" timelimit="60" memlimit="1000"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.00"/></proof>
 <proof prover="23"><result status="valid" time="0.02" steps="863"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="5"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.01"/></proof>
 <proof prover="28"><result status="valid" time="0.01"/></proof>
 <proof prover="29"><result status="valid" time="0.01" steps="863"/></proof>
 <proof prover="30"><path name="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"/><result status="valid" time="26.20"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="313"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
 <proof prover="33"><result status="valid" time="0.02" steps="847"/></proof>
 <proof prover="34"><result status="valid" time="0.02" steps="1010"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="321"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="9"/></proof>
 <proof prover="37"><result status="valid" time="0.01" steps="1154"/></proof>
 <proof prover="38"><result status="valid" time="0.03" steps="1052"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="9"/></proof>
 <proof prover="40"><result status="valid" time="0.01" steps="5"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1060"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1058"/></proof>
 <proof prover="43"><result status="valid" time="0.02" steps="1052"/></proof>
 <proof prover="44"><result status="valid" time="0.01" steps="1062"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="319"/></proof>
 <proof prover="46"><result status="valid" time="0.00" steps="5"/></proof>
 <proof prover="47"><path name="genealogy_Genealogy_Child_is_son_or_daughter_1.v"/><result status="valid" time="0.24"/></proof>
 <proof prover="48"><result status="valid" time="0.02" steps="1150"/></proof>
 <proof prover="49"><result status="valid" time="0.01" steps="1150"/></proof>
 <proof prover="50"><result status="valid" time="0.01" steps="1150"/></proof>
 <proof prover="51"><result status="valid" time="0.01" steps="1154"/></proof>
 </goal>
 <goal name="Sibling_sym" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="3"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="valid" time="0.02"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="14"><result status="valid" time="0.02" steps="913"/></proof>
 <proof prover="15"><result status="valid" time="0.12"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.00"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="4"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.00"/></proof>
 <proof prover="28"><result status="valid" time="0.00"/></proof>
 <proof prover="30"><path name="genealogy_Genealogy_Sibling_sym_1.xml"/><result status="valid" time="25.98"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="295"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="4"/></proof>
 <proof prover="33"><result status="valid" time="0.02" steps="913"/></proof>
 <proof prover="34"><result status="valid" time="0.01" steps="1227"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="299"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="4"/></proof>
 <proof prover="38"><result status="valid" time="0.03" steps="1282"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="4"/></proof>
 <proof prover="40"><result status="valid" time="0.00" steps="4"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1294"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1296"/></proof>
 <proof prover="43"><result status="valid" time="0.01" steps="1282"/></proof>
 <proof prover="44"><result status="valid" time="0.02" steps="1293"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="298"/></proof>
 <proof prover="46"><result status="valid" time="0.00" steps="4"/></proof>
 </goal>
 <goal name="Sibling_is_brother_or_sister" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="10"/></proof>
 <proof prover="2"><result status="valid" time="0.03"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.01"/></proof>
 <proof prover="9"><result status="valid" time="0.01"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="13"><result status="valid" time="0.03"/></proof>
 <proof prover="14"><result status="valid" time="0.02" steps="1066"/></proof>
 <proof prover="15"><result status="valid" time="0.04"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.00"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="5"/></proof>
 <proof prover="26"><result status="valid" time="0.01"/></proof>
 <proof prover="27"><result status="valid" time="0.01"/></proof>
 <proof prover="28"><result status="valid" time="0.01"/></proof>
 <proof prover="30"><path name="genealogy_Genealogy_Sibling_is_brother_or_sister_1.xml"/><result status="valid" time="25.75"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="375"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
 <proof prover="33"><result status="valid" time="0.02" steps="1066"/></proof>
 <proof prover="34"><result status="valid" time="0.01" steps="1252"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="380"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="9"/></proof>
 <proof prover="38"><result status="valid" time="0.01" steps="1304"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="9"/></proof>
 <proof prover="40"><result status="valid" time="0.01" steps="5"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1312"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1307"/></proof>
 <proof prover="43"><result status="valid" time="0.01" steps="1304"/></proof>
 <proof prover="44"><result status="valid" time="0.02" steps="1314"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="378"/></proof>
 </goal>
 <goal name="Grandparent_is_grandfather_or_grandmother" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="28"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="10"><result status="valid" time="0.03"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="12"><result status="valid" time="0.04"/></proof>
 <proof prover="14"><result status="valid" time="0.02" steps="794"/></proof>
 <proof prover="15"><result status="valid" time="0.07"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.01"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="20"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.01"/></proof>
 <proof prover="28"><result status="valid" time="0.01"/></proof>
 <proof prover="30"><path name="genealogy_Genealogy_Grandparent_is_grandfather_or_grandmother_1.xml"/><result status="valid" time="25.38"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="314"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="20"/></proof>
 <proof prover="33"><result status="valid" time="0.01" steps="794"/></proof>
 <proof prover="34"><result status="valid" time="0.01" steps="1047"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="316"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="21"/></proof>
 <proof prover="38"><result status="valid" time="0.01" steps="185"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="21"/></proof>
 <proof prover="40"><result status="valid" time="0.00" steps="20"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="185"/></proof>
 <proof prover="42"><result status="valid" time="0.02" steps="186"/></proof>
 <proof prover="43"><result status="valid" time="0.01" steps="185"/></proof>
 <proof prover="44"><result status="valid" time="0.01" steps="185"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="314"/></proof>
 </goal>
 <goal name="Grandfather_male" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="8"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.02"/></proof>
 <proof prover="10"><result status="valid" time="0.03"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02"/></proof>
 <proof prover="14"><result status="valid" time="0.02" steps="756"/></proof>
 <proof prover="15"><result status="valid" time="0.03"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.03"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.01"/></proof>
 <proof prover="28"><result status="valid" time="0.00"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="331"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="33"><result status="valid" time="0.02" steps="756"/></proof>
 <proof prover="34"><result status="valid" time="0.03" steps="1022"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="385"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="38"><result status="valid" time="0.03" steps="1054"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="40"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1073"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1075"/></proof>
 <proof prover="43"><result status="valid" time="0.02" steps="1059"/></proof>
 <proof prover="44"><result status="valid" time="0.02" steps="1074"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="434"/></proof>
 </goal>
 <goal name="Grandmother_female" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="8"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.00"/></proof>
 <proof prover="9"><result status="valid" time="0.02"/></proof>
 <proof prover="10"><result status="valid" time="0.03"/></proof>
 <proof prover="11"><result status="valid" time="0.01"/></proof>
 <proof prover="12"><result status="valid" time="0.03"/></proof>
 <proof prover="14"><result status="valid" time="0.01" steps="760"/></proof>
 <proof prover="15"><result status="valid" time="0.03"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.01"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.00"/></proof>
 <proof prover="28"><result status="valid" time="0.00"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="329"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="33"><result status="valid" time="0.01" steps="760"/></proof>
 <proof prover="34"><result status="valid" time="0.03" steps="1028"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="38"><result status="valid" time="0.02" steps="1059"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="40"><result status="valid" time="0.00" steps="11"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1068"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1070"/></proof>
 <proof prover="43"><result status="valid" time="0.02" steps="1054"/></proof>
 <proof prover="44"><result status="valid" time="0.01" steps="1069"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="441"/></proof>
 </goal>
 <goal name="Only_two_grandfathers" proved="true">
 <proof prover="0"><result status="valid" time="0.00" steps="9"/></proof>
 <proof prover="3"><result status="valid" time="0.00"/></proof>
 <proof prover="4"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.00"/></proof>
 <proof prover="8"><result status="valid" time="0.02"/></proof>
 <proof prover="9"><result status="valid" time="0.01"/></proof>
 <proof prover="10"><result status="valid" time="0.03"/></proof>
 <proof prover="11"><result status="valid" time="0.00"/></proof>
 <proof prover="12"><result status="valid" time="0.00"/></proof>
 <proof prover="14"><result status="valid" time="0.01" steps="1085"/></proof>
 <proof prover="15"><result status="valid" time="0.05"/></proof>
 <proof prover="16"><result status="valid" time="0.01"/></proof>
 <proof prover="17"><result status="valid" time="0.01" steps="1127"/></proof>
 <proof prover="19"><result status="valid" time="0.00"/></proof>
 <proof prover="20"><result status="valid" time="0.00"/></proof>
 <proof prover="22"><result status="valid" time="0.01"/></proof>
 <proof prover="23"><result status="valid" time="0.02" steps="1127"/></proof>
 <proof prover="24"><result status="valid" time="0.00"/></proof>
 <proof prover="25"><result status="valid" time="0.00" steps="18"/></proof>
 <proof prover="26"><result status="valid" time="0.02"/></proof>
 <proof prover="27"><result status="valid" time="0.01"/></proof>
 <proof prover="28"><result status="valid" time="0.01"/></proof>
 <proof prover="29"><result status="valid" time="0.01" steps="1127"/></proof>
 <proof prover="31"><result status="valid" time="0.00" steps="475"/></proof>
 <proof prover="32"><result status="valid" time="0.00" steps="18"/></proof>
 <proof prover="33"><result status="valid" time="0.02" steps="1085"/></proof>
 <proof prover="34"><result status="valid" time="0.04" steps="1450"/></proof>
 <proof prover="35"><result status="valid" time="0.02" steps="474"/></proof>
 <proof prover="36"><result status="valid" time="0.00" steps="18"/></proof>
 <proof prover="37"><result status="valid" time="0.01" steps="1559"/></proof>
 <proof prover="38"><result status="valid" time="0.02" steps="1504"/></proof>
 <proof prover="39"><result status="valid" time="0.00" steps="18"/></proof>
 <proof prover="40"><result status="valid" time="0.01" steps="18"/></proof>
 <proof prover="41"><result status="valid" time="0.01" steps="1518"/></proof>
 <proof prover="42"><result status="valid" time="0.01" steps="1520"/></proof>
 <proof prover="43"><result status="valid" time="0.02" steps="1504"/></proof>
 <proof prover="44"><result status="valid" time="0.01" steps="1518"/></proof>
 <proof prover="45"><result status="valid" time="0.02" steps="473"/></proof>
 <proof prover="46" timelimit="1"><result status="valid" time="0.00" steps="18"/></proof>
 <proof prover="48"><result status="valid" time="0.02" steps="1499"/></proof>
 <proof prover="49"><result status="valid" time="0.01" steps="1499"/></proof>
 <proof prover="50"><result status="valid" time="0.02" steps="1499"/></proof>
 <proof prover="51"><result status="valid" time="0.02" steps="1559"/></proof>
 </goal>
</theory>
</file>
</why3session>
