<?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 August-2006A, August 2006.
Process 10701 was started by mccune on cleo.thornwood,
Sat Aug 12 20:58:11 2006
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>
