0##+#xx+x#x+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz-#x#-x#x-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xynottruefalsenotfalsetrueiftruexyxiffalsexyyge0x0ygexyge0x1ynotgeyxge1x0ygexyge1x1ygexygex#truege#0xge#xge#1xfalselogx-log'x1#log'##log'1x+log'x1#log'0xifgex1#+log'x1##+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-xyge0x0ygexyge0x1ygeyxge0x1ynotgeyxge1x0ygexyge1x1ygexyge#0xge#xlogxlog'xlogx-log'x1#log'1xlog'xlog'1x+log'x1#log'0xlog'xlog'0x+log'x1#log'0xgex1#log'0xifgex1#+log'x1##truelogx-log'x1#false-0x1y-xy-0x0y-xy-0x1y--xy1#-1x1y-xy-1x0y-xytrue1-201424-20122511218014114#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'xtrue1log'1111311101901113log'0xifgex1#+log'x1##falselog'0xgex1#falsege0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexytrue1ge2211201121401717ge#0xge#xtrue1ge24192401314#04ge0x1ynotgeyxfalselog'0x+log'x1#falselog'1x+log'x1#false+0x1y+xy+0x0y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue1+22122011112+21112001110#02+0x0y+xy+1x1y++xy1#++xyz+yz++xyz+x+yz+#xx+x#x+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+21112011114+21112001114#00++xyz+yz++xyz+x+yz+#xx+x#x+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+22122811010+21112101011#01++xyz+x+yz+#xx+x#x+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+29102011817+22102501010#04+1x1y0++xy1#false+0x0y0+xyfalse