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-201420-21112111812018115#00-0x1y--xy1#1-211021-2110201111201112#06-#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#xtruege1x1ygexyge1x0ygexyge0x1ygeyxge0x0ygexytrue1ge22122011414018114ge#0xge#xtruege22ge0x1ynotgeyxfalselog'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+221220111113+21112001110#013+0x0y+xy+1x1y++xy1#++xyz+yz++xyz+x+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+21112011114+21112001114#00++xyz+yz++xyz+x+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##+21+1x1y0++xy1#false+0x0y0+xyfalse*1xy0*xyfalse*0xy0*xyfalseifinterfalsexl1l2interl1l2interappl1l2l3interl2l3interappl1l2l3interl1l3interl1appl2l3interl1l3interl1appl2l3interl1l2interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1true1ifinter4010223140inter211120mem261323cons271420app2121428nil07eq211023if301122830false00true031181801010#01ifinterfalsexl1l2interl1l2interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l11ifinter4012243149inter241127mem231420cons291422nil04eq281420if301921232false00true021151401312#05interl1consxl2ifintermemxl1xl2l1interl1consxl2ifintermemxl1xl2l1falseinterl1consxl2memxl1falseinterconsxl1l2memxl2falsememxconsylmemxltruemem22memxconsylifeqxytruememxlfalsememxconsyleqxyfalseeq#0yeq#yeq0x#eqx#eq1x1yeqxyeq0x0yeqxytrueeq21eq#0yeq#yeq22interl1appl2l3appinterl1l2interl1l3falseinterappl1l2l3appinterl1l3interl2l3falseappconsxl1l2appl1l2trueapp21