eq3i.out p ; (p ; x) ^ + (p ; x) ^ = (p ; x) ^)) ]]>