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

<!DOCTYPE interps SYSTEM "interp3.dtd">

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

<interps>

<source>qg.out</source>

<heading><![CDATA[
Mace4 (32) version June-2006C, June 2006.
Process 13042 was started by mccune on cleo.thornwood,
Mon Jun 19 16:40:31 2006
The command was "/home/mccune/bin/mace4 -f qg.in".
]]></heading>

<input><![CDATA[
clauses(theory).
x * (x \ y) = y.
x \ (x * y) = y.
(x / y) * y = x.
(x * y) / y = x.
end_of_list.
]]></input>

</interps>
