lmA1short.out z ; x <= z ; y ]]> x <= z ]]> p ; (p ; x) ^ = (p ; x) ^)) ]]> (p ; x ; q ; y ; r ; z) ^ <= p ; (p ; x ; q + q ; y ; r + r ; z) ^)) ]]>