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