0##+x#x+#xx+0x0y0+xy+0x1y1+xy+1x0y1+xy+1x1y0++xy1#+x+yz++xyz-x#x-#x#-0x0y0-xy-0x1y1--xy1#-1x0y1-xy-1x1y0-xynotfalsetruenottruefalseandxtruexandxfalsefalseiftruexyxiffalsexyyge0x0ygexyge0x1ynotgeyxge1x0ygexyge1x1ygexygex#truege#1xfalsege#0xge#xvallxxvalnxyzxminlxxminnxyzminymaxlxxmaxnxyzmaxzbslxtruebsnxyzandandgexmaxygeminzxandbsybszsizelx1#sizenxyz++sizexsizey1#wblxtruewbnxyzandifgesizeysizezge1#-sizeysizezge1#-sizezsizeyandwbywbz+0x0y0+xy+0x0y+xy+0x1y+xy+1x0y+xy+1x1y0++xy1#+1x1y++xy1#+1x1y+xy+x+yz++xyz+x+yz+xy-0x0y0-xy-0x0y-xy-0x1y--xy1#-0x1y-xy-1x0y-xy-1x1y0-xy-1x1y-xyge0x0ygexyge0x1ynotgeyxge0x1ygeyxge1x0ygexyge1x1ygexyge#0xge#xminnxyzminymaxnxyzmaxzbsnxyzandandgexmaxygeminzxandbsybszbsnxyzandgexmaxygeminzxbsnxyzgexmaxybsnxyzmaxybsnxyzgeminzxbsnxyzminzbsnxyzandbsybszbsnxyzbsybsnxyzbszsizenxyz++sizexsizey1#sizenxyz+sizexsizeysizenxyzsizexsizenxyzsizeywbnxyzandifgesizeysizezge1#-sizeysizezge1#-sizezsizeyandwbywbzwbnxyzifgesizeysizezge1#-sizeysizezge1#-sizezsizeywbnxyzgesizeysizezwbnxyzsizeywbnxyzsizezwbnxyzge1#-sizeysizezwbnxyz-sizeysizezwbnxyzsizeywbnxyzsizezwbnxyzge1#-sizezsizeywbnxyz-sizezsizeywbnxyzsizezwbnxyzsizeywbnxyzandwbywbzwbnxyzwbywbnxyzwbztruewbnxyzwbzwbnxyzwbytrue124789101112131415161720212223243031321wb111n31111213010#00+21112110-211not10false00true00and2111if31213ge20val111l1111min111max111bs1111size111wb1111wbnxyzsizeyfalse3910141920wbnxyzsizezfalse289131819sizenxyzsizeysizenxyzsizextrue23111415162122232425261size111n31111213010#00+21112110-211not10false00true00and2111if31213ge20val111l1111min111max111bs1111size111wb1111sizenxyz++sizexsizey1#false67111617sizenxyz+sizexsizeyfalse91219+0x1y+xy+0x0y+xy+1x0y+xy+1x1y++xy1#+1x1y+xy+x+yz++xyz+x+yz+xytrue811181+211120111111111+21112#00-211not10false00true00and2111if31213ge20val111l1111n31111213min111max111bs1111size111wb1111+x+yz++xyz+x+yz+xy1+272+241142014#00111-241not10false00true00and2141if34213ge20val111l1111n33414243min141max171bs15size141wb11+0x0y0+xyfalse71017+1x1y0++xy1#false6916wbnxyz-sizeysizezfalse5815wbnxyz-sizezsizeyfalse51011-0x1y--xy1#-0x1y-xy-0x0y-xy-1x0y-xy-1x1y-xytrue49101-2120111111111-211#00+21112not10false00true00and21112if31213ge20val111l1111n31111213min111max111bs111size111wb10-0x1y--xy1#1-211120111111111-21112#00+21112not10false00true00and211if311213ge20val111l1111n31111213min111max111bs10size111wb111-0x0y0-xyfalse41011-1x1y0-xyfalse3910bsnxyzbszbsnxyzbsytrue3101bs111n31111213010#00+21112110-211not10false00true00and2111if31213ge20val111l1111min111max111bs1111size111wb1111bsnxyzgexmaxyfalse56bsnxyzgeminzxfalse67wbnxyzgesizeysizezfalse7wbnxyzge1#-sizeysizezfalse7wbnxyzge1#-sizezsizeyfalse7ge0x1ygeyxge0x0ygexyge1x0ygexyge1x1ygexytrue1ge211120111111111#00+21112-211not111false00true00and211if31213ge21val111l1111n31111213min111max111bs11size111wb1111ge#0xge#xtrue1ge212#0001111+2111211111-21112not10false00true00and211if31213ge20val111l1111n31111213min111max111bs11size111wb11ge0x1ynotgeyxfalsebsnxyzminzfalseminnxyzminytrue1min111n31111213010#00+21112110-2111not10false00true00and211if31213ge20val111l111min111max111bs11size111wb111bsnxyzmaxyfalsemaxnxyzmaxztrue1max111n31111213010#00+21112110-2111not10false00true00and211if31213ge20val111l111min111max111bs11size111wb111bsnxyzandandgexmaxygeminzxandbsybszfalsebsnxyzandgexmaxygeminzxfalsebsnxyzandbsybszfalsewbnxyzandifgesizeysizezge1#-sizeysizezge1#-sizezsizeyandwbywbzfalsewbnxyzifgesizeysizezge1#-sizeysizezge1#-sizezsizeyfalsewbnxyzandwbywbzfalse