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-281020log'14114log14114ge221224if30112133false00not1010true00-21102011111+21112001111#00-1x1y0-xyfalse-0x0y0-xyfalselogxlog'xfalselog'1xlog'xlog'0xlog'xtruelog'11log'0xifgex1#+log'x1##falselog'0xgex1#falsege0x0ygexyge0x1ygeyxge1x0ygexyge1x1ygexyge#0xge#xtruege1x1ygexyge1x0ygexyge0x1ygeyxge0x0ygexytrue1ge221220log'1118log1818ge211020if30112430false00not1018true00-21102011118+21112001118#00ge#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+211120log'1410log1810ge201028if30112233false05not1110true05-21102011111+21112001111#00++xyz+yz++xyz+x+yz+21+1x1y0++xy1#false+0x0y0+xyfalse