<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE proofs SYSTEM "proof3.dtd">

<?xml-stylesheet type="text/xsl" href="proof3.xsl"?>

<proofs number_of_proofs="0">

<source>qg2.out</source>

<heading><![CDATA[
Prover9 (32) version April-2007, April 2007.
Process 26456 was started by mccune on cleo,
Fri Apr 13 09:14:38 2007
The command was "/home/mccune/bin/prover9 -t 10 -f qg2.in".
]]></heading>

</proofs>
