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+0x0y0+xy+0x0y+xy+0x1y+xy+1x0y+xy+1x1y0++xy1#+1x1y++xy1#+1x1y+xy++xyz+x+yz++xyz+yz-0x0y0-xy-0x0y-xy-0x1y--xy1#-0x1y-xy-1x0y-xy-1x1y0-xy-1x1y-xyeq#0yeq#yeq0x#eqx#eq1x1yeqxyeq0x0yeqxyge0x0ygexyge0x1ynotgeyxge0x1ygeyxge1x0ygexyge1x1ygexyge#0xge#xlogx-log'x1#logxlog'xlog'1x+log'x1#log'1xlog'xlog'0xifgex1#+log'x1##log'0xgex1#log'0x+log'x1#log'0xlog'x*0xy0*xy*0xy*xy*1xy+0*xyy*1xy0*xy*1xy*xy**xyz*x*yz**xyz*yz*x+yz+*xy*xz*x+yz*xy*x+yz*xzappconsxl1l2appl1l2sumnil0#sumconsxl+xsumlsumconsxlsumlsumappl1l2+suml1suml2sumappl1l2suml1sumappl1l2suml2prodconsxl*xprodlprodconsxlprodlprodappl1l2*prodl1prodl2prodappl1l2prodl1prodappl1l2prodl2memxconsylifeqxytruememxlmemxconsyleqxymemxconsylmemxlinterappl1l2l3appinterl1l3interl2l3interappl1l2l3interl1l3interappl1l2l3interl2l3interl1appl2l3appinterl1l2interl1l3interl1appl2l3interl1l2interl1appl2l3interl1l3interconsxl1l2ifintermemxl2xl1l2interconsxl1l2memxl2interl1consxl2ifintermemxl1xl2l1interl1consxl2memxl1ifintertruexl1l2interl1l2ifinterfalsexl1l2interl1l2truelogxlog'xfalse34814152127283536log'0xlog'xlog'1xlog'xtrue45918222425303136381log'1110111111111log'1x+log'x1#false59101118192225263132log'0x+log'x1#false511121824253233prodappl1l2prodl1prodconsxlprodlprodappl1l2prodl2true4101117232431321prod111app211112cons2112prodconsxl*xprodlfalse51418262734prodappl1l2*prodl1prodl2false41317252633*1xy*xy*0xy*xy**xyz*x*yz**xyz*yz*x+yz*xy*x+yz*xztrue456131417202126271*2111111101111*211112+20#00*x+yz*xy*x+yz*xz1*212+211112*1xy+0*xyyfalse671319202728*x+yz+*xy*xzfalse7812181929sumappl1l2suml1sumconsxlsumlsumappl1l2suml2true9132122291sum111app211112cons2112sumconsxl+xsumlfalse91322sumappl1l2+suml1suml2false91516+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xy++xyz+x+yz++xyz+yztrue814151+211120111111111+21112#00++xyz+x+yz++xyz+yz+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+211+211112#00010110+0x0y0+xyfalse71314+1x1y0++xy1#false61213logx-log'x1#false51112-0x1y--xy1#-0x1y-xy-0x0y-xy-1x0y-xy-1x1y-xytrue410111-2120111111111-20#00-0x1y--xy1#1-211120111111111-211#00-#x#-x#x-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xy0##-0x0y0-xyfalse41112-1x1y0-xyfalse41213interappl1l2l3interl2l3interappl1l2l3interl1l3interl1appl2l3interl1l2interl1appl2l3interl1l3interconsxl1l2ifintermemxl2xl1l2ifintertruexl1l2interl1l2interl1consxl2ifintermemxl1xl2l1ifinterfalsexl1l2interl1l2true4131inter21112app211112cons211112ifinter411314mem20true00false00nil00if31213eq20#00110010interconsxl1l2ifintermemxl2xl1l2interl1consxl2ifintermemxl1xl2l1interconsxl1l2ifintermemxl2xl1l2falseinterl1consxl2ifintermemxl1xl2l1falseinterconsxl1l2memxl2false67interl1consxl2memxl1false78memxconsylmemxltrue891mem212cons2112memxconsyleqxyfalse9eq0x0yeqxyeq1x1yeqxytrue121eq2120111111111eq#0yeq#ytrue111eq212#0001111eq0x#eqx#true1eq21101111#00log'0xgex1#falsege0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexytrue1ge211120111111111ge#0xge#xtrue1ge212#0001111ge0x1ynotgeyxfalselog'0xifgex1#+log'x1##false*0xy0*xyfalse*1xy0*xyfalseinterappl1l2l3appinterl1l3interl2l3falseinterl1appl2l3appinterl1l2interl1l3falseappconsxl1l2appl1l2true1app211cons2112sumnil0#falsememxconsylifeqxytruememxlfalse