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*prodl1prodl2memxnilfalsememxconsylifeqxytruememxlinterxnilnilinternilxnilinterappl1l2l3appinterl1l3interl2l3interl1appl2l3appinterl1l2interl1l3interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2consxinterl1l2ifinterfalsexl1l2interl1l2+0x0y+xy+0x0y0+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#+1x1y0++xy1#++xyz+yz++xyz+x+yz-0x0y-xy-0x0y0-xy-0x1y-xy-0x1y--xy1#-1x0y-xy-1x1y-xy-1x1y0-xyeq#0yeq#yeq0x#eqx#eq1x1yeqxyeq0x0yeqxyge0x0ygexyge0x1ygeyxge0x1ynotgeyxge1x0ygexyge1x1ygexyge#0xge#xlogxlog'xlogx-log'x1#log'1xlog'xlog'1x+log'x1#log'0xlog'xlog'0x+log'x1#log'0xgex1#log'0xifgex1#+log'x1##*0xy*xy*0xy0*xy*1xy*xy*1xy0*xy*1xy+0*xyy**xyz*yz**xyz*x*yz*x+yz*xz*x+yz*xy*x+yz+*xy*xzappconsxl1l2appl1l2sumnil0#sumconsxlsumlsumconsxl+xsumlsumappl1l2suml2sumappl1l2suml1sumappl1l2+suml1suml2prodconsxlprodlprodconsxl*xprodlprodappl1l2prodl2prodappl1l2prodl1prodappl1l2*prodl1prodl2memxconsylmemxlmemxconsyleqxymemxconsylifeqxytruememxlinterappl1l2l3interl2l3interappl1l2l3interl1l3interappl1l2l3appinterl1l3interl2l3interl1appl2l3interl1l3interl1appl2l3interl1l2interl1appl2l3appinterl1l2interl1l3interconsxl1l2memxl2interconsxl1l2ifintermemxl2xl1l2interl1consxl2memxl1interl1consxl2ifintermemxl1xl2l1ifintertruexl1l2interl1l2ifinterfalsexl1l2interl1l2truelogx-log'x1#false-0x0y-xy-0x1y-xy-0x1y--xy1#-1x0y-xy-1x1y-xytrue1-21120-21220111140101#01-0x0y-xy-0x1y--xy1#-1x0y-xy-1x0y-xy-0x0y-xytrue-1x0y-xy2true21true1-0x0y-xy2true21true1-0x1y--xy1#true1-2412-20121111-10111-1#01-#x#-x#x-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xy0##-1x1y0-xyfalse-0x0y0-xyfalselogxlog'xfalselog'1xlog'xlog'0xlog'xtruelog'11log'0xifgex1#+log'x1##falselog'0xgex1#falsege0x0ygexyge0x1ygeyxge1x0ygexyge1x1ygexyge#0xge#xtruege1x1ygexyge1x0ygexyge0x1ygeyxge0x0ygexytruege1x1ygexy2true21true1ge1x0ygexy2true21true1ge0x1ygeyx2true11true2ge0x0ygexy2true21true1ge#0xge#xtruege#0xge#x2true21false1ge0x1ynotgeyxfalselog'0x+log'x1#falselog'1x+log'x1#falsesumconsxlsumlsumappl1l2suml2sumappl1l2suml1truesum11sumappl1l2+suml1suml2falsesumconsxl+xsumlfalsesumnil0#falseprodconsxlprodlprodappl1l2prodl2prodappl1l2prodl1trueprod11prodappl1l2*prodl1prodl2falseprodconsxl*xprodlfalse*0xy*xy*1xy*xy**xyz*yz**xyz*x*yz*x+yz*xz*x+yz*xytrue*21*x+yz*xz*x+yz*xy*22*x+yz+*xy*xzfalse*1xy+0*xyyfalse+0x0y+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue1+22122211111+21112101110#00+0x0y+xy+1x1y++xy1#++xyz+x+yz+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+201211410+201201410#02++xyz+x+yz+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##++xyz+x+yz1true1+1x1y0++xy1#false+0x0y0+xyfalse*1xy0*xyfalse*0xy0*xyfalseifinterfalsexl1l2interl1l2interappl1l2l3interl2l3interappl1l2l3interl1l3interl1appl2l3interl1l3interl1appl2l3interl1l2interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1trueifinterfalsexl1l2interl1l24false23false1interappl1l2l3interl2l32false21true1interappl1l2l3interl1l32false21true1interl1appl2l3interl1l32true21false1interl1appl2l3interl1l22true21false1interconsxl1l2ifintermemxl2xl1l22false41true31true2ifintertruexl1l2interl1l24false23false1interl1consxl2ifintermemxl1xl2l12true32true21false4interl1consxl2memxl1falseinterconsxl1l2memxl2falsememxconsylmemxltruemem22memxconsylifeqxytruememxlfalsememxconsyleqxyfalseeq#0yeq#yeq0x#eqx#eq1x1yeqxyeq0x0yeqxytrueeq21eq#0yeq#yeq22interl1appl2l3appinterl1l2interl1l3falseinterappl1l2l3appinterl1l3interl2l3falseappconsxl1l2appl1l2trueapp21