<?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 22-May-2007, May 2007.
Process 26987 was started by mccune on cleo,
Tue May 22 14:44:27 2007
The command was "/home/mccune/bin/mace4 -f qg.in".
]]></heading>

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

</interps>
