0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz-#x#-x#x-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xynottruefalsenotfalsetrueiftruexyxiffalsexyyeq##trueeq#1yfalseeq1x#falseeq#0yeq#yeq0x#eqx#eq1x1yeqxyeq0x1yfalseeq1x0yfalseeq0x0yeqxyge0x0ygexyge0x1ynotgeyxge1x0ygexyge1x1ygexygex#truege#0xge#xge#1xfalselogx-log'x1#log'##log'1x+log'x1#log'0xifgex1#+log'x1##*#x#*0xy0*xy*1xy+0*xyy**xyz*x*yz*x+yz+*xy*xzappnilllappconsxl1l2consxappl1l2sumnil0#sumconsxl+xsumlsumappl1l2+suml1suml2prodnil1#prodconsxl*xprodlprodappl1l2*prodl1prodl2memxnilfalsememxconsylifeqxytruememxlinterxnilnilinternilxnilinterappl1l2l3appinterl1l3interl2l3interl1appl2l3appinterl1l2interl1l3interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2consxinterl1l2ifinterfalsexl1l2interl1l201#0+211-2not1true0false0if3eq2ge2log1log'1*2app2nil0cons2sum1prod1mem2inter2ifinter4FULL./TRS/Cime/big.trs