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-241020log'14113log18113ge201420if30112832false00not1014true00-21102011111+21112001111#00-1x1y0-xyfalse-0x0y0-xyfalselogxlog'xfalselog'1xlog'xlog'0xlog'xtrue1log'1110log'1818log19110ge281120if30112437false00not1019true00-21122011111+21112001111#00log'0xifgex1#+log'x1##falselog'0xgex1#falsege0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexytrue1ge221220log'1418log1418ge281827if30112230false012not1119true07-21102011111+21112001111#00ge#0xge#xtrue1ge201825log'1819log1819ge201128if311122315false00not10112true08-21102011114+21112001114#00ge0x1ynotgeyxfalselog'0x+log'x1#falselog'1x+log'x1#false+0x1y+xy+0x0y+xy+1x0y+xy+1x1y+xy+1x1y++xy1#++xyz+yz++xyz+x+yztrue1+211120log'1110log1210ge201021if30112430false01not1011true00-21102011111+21112001111#00++xyz+yz++xyz+x+yz+1x1y0++xy1#false+0x0y0+xyfalse