<?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 2008-05A, May 2008.
Process 12508 was started by mccune on cleo,
Wed May  7 11:30:10 2008
The command was "/home/mccune/LADR/bin/prover9 -t 10 -f qg2.in".
]]></heading>

</proofs>
