<?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 November-2006, November 2006.
Process 3323 was started by mccune on cleo.thornwood,
Wed Nov 22 11:22:14 2006
The command was "/home/mccune/bin/prover9 -t 10 -f qg2.in".
]]></heading>

</proofs>
