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__geqXYa__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXa__iffalseXYmarkYmarkminusX1X2a__minusX1X2markgeqX1X2a__geqX1X2markdivX1X2markX1markdivX1X2a__divmarkX1X2markifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3marksXmarkXtruemarkifX1X2X3markX1markdivX1X2markX1markdivX1X2a__divmarkX1X2a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXmarkifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarksXmarkXtrue1mark1410a__if30142430a__div241020if31122938geq201020mark1410a__if311621038div271020minus201020a__div271020false00true00a__geq201020s1818a__minus201020000markdivX1X2markX1markdivX1X2a__divmarkX1X2a__divsXsYa__ifa__geqXYsdivminusXYsY0a__iftrueXYmarkXa__iffalseXYmarkY1mark1213a__if32132231a__div211821if31142131geq201020mark1819a__if31182838div241424minus201022a__div241725false01true01a__geq201029s1014a__minus201022000a__iftrueXYmarkXa__iffalseXYmarkYa__iftrueXYmarkXfalsea__iffalseXYmarkYfalsea__divsXsYa__geqXYfalsemarkgeqX1X2a__geqX1X2falsea__geqsXsYa__geqXYtrue1a__geq2012213if38122131geq201020mark1110a__if38122131div241020minus201020a__div241020false00true00a__geq201020s1811a__minus201020000markminusX1X2a__minusX1X2falsea__minussXsYa__minusXYtrue1a__minus2012213if38122131geq201020mark1110a__if38122131div241020minus201020a__div241020false00true00a__geq201020s1811a__minus201020000