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##+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-xyge0x0ygexyge0x1ynotgeyxge0x1ygeyxge1x0ygexyge1x1ygexyge#0xge#xlogx-log'x1#logxlog'xlog'1x+log'x1#log'1xlog'xlog'0xifgex1#+log'x1##log'0xgex1#log'0x+log'x1#log'0xlog'xtruelogxlog'xfalse123467910111415log'0xlog'xlog'1xlog'xtrue12356891013141log'1110111111111log'1x+log'x1#false4712log'0x+log'x1#false478+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xy++xyz+x+yz++xyz+yztrue3671+211120111111111+21112#00++xyz+x+yz++xyz+yz+#xx+x#x+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#++xyz+x+yz0##1+211+211112#00010110+0x0y0+xyfalse378+1x1y0++xy1#false38logx-log'x1#false34-0x1y--xy1#-0x1y-xy-0x0y-xy-1x0y-xy-1x1y-xytrue451-2120111111111-20#00-0x1y--xy1#1-211120111111111-211#00-#x#-x#x-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xy0##-0x0y0-xyfalse5-1x1y0-xyfalselog'0xgex1#falsege0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexytrue1ge2211201211121ge0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexy1ge211120111111111ge#0xge#xtrue1ge212#0001111ge0x1ynotgeyxfalselog'0xifgex1#+log'x1##false