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-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#false+0x0y+xy+0x1y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue1+24142011112+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##+21+1x1y0++xy1#false+0x0y0+xyfalse