a__minus0Y0a__minussXsYa__minusXYa__geqX0truea__geq0sYfalsea__geqsXsYa__geqXYa__div0sY0a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXa__iffalseXYmarkYmarkminusX1X2a__minusX1X2markgeqX1X2a__geqX1X2markdivX1X2a__divmarkX1X2markifX1X2X3a__ifmarkX1X2X3mark00marksXsmarkXmarktruetruemarkfalsefalsea__minusX1X2minusX1X2a__geqX1X2geqX1X2a__divX1X2divX1X2a__ifX1X2X3ifX1X2X3a__minussXsYa__minusXYa__geqsXsYa__geqXYa__divsXsYa__ifa__geqXYsdivminusXYsY0a__divsXsYa__geqXYa__iftrueXYmarkXa__iffalseXYmarkYmarkminusX1X2a__minusX1X2markgeqX1X2a__geqX1X2markdivX1X2a__divmarkX1X2markdivX1X2markX1markifX1X2X3a__ifmarkX1X2X3markifX1X2X3markX1marksXmarkXtruemarkdivX1X2a__divmarkX1X2a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXmarkdivX1X2markX1markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksXmarkXtrue123451mark111div211a__div20mark10s111a__if31213a__geq20minus20000true00if31111213false00a__minus20geq20a__div20a__if30markdivX1X2a__divmarkX1X2a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXmarkdivX1X2markX1a__iffalseXYmarkYmarksXmarkX1mark111div211a__div211mark111s1111a__if31213a__geq20minus20000true00false00a__minus20geq20a__div211a__if31213if31213markdivX1X2a__divmarkX1X2a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXmarkdivX1X2markX1a__iffalseXYmarkY1mark111div2111a__div20mark10s10a__if31213a__geq20minus20000true00false00a__minus20geq20a__div20a__if30if30a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXa__iffalseXYmarkYa__divsXsYa__ifa__geqXYsdivminusXYsY0false12a__iftrueXYmarkXfalsea__iffalseXYmarkYfalsemarkminusX1X2a__minusX1X2false3a__minussXsYa__minusXYtrue3a__minus22a__divsXsYa__geqXYfalse2markgeqX1X2a__geqX1X2falsea__geqsXsYa__geqXYtruea__geq22