minusn__0Y0minusn__sXn__sYminusactivateXactivateYgeqXn__0truegeqn__0n__sYfalsegeqn__sXn__sYgeqactivateXactivateYdiv0n__sY0divsXn__sYifgeqXactivateYn__sdivminusXactivateYn__sactivateYn__0iftrueXYactivateXiffalseXYactivateY0n__0sXn__sXactivaten__00activaten__sXsXactivateXXminusn__0Y0minusn__sXn__sYactivateYminusn__sXn__sYactivateXminusn__sXn__sYminusactivateXactivateYgeqn__sXn__sYactivateYgeqn__sXn__sYactivateXgeqn__sXn__sYgeqactivateXactivateYdivsXn__sYminusXactivateYdivsXn__sYdivminusXactivateYn__sactivateYdivsXn__sYactivateYdivsXn__sYgeqXactivateYdivsXn__sYifgeqXactivateYn__sdivminusXactivateYn__sactivateYn__0iftrueXYactivateXiffalseXYactivateYactivaten__00activaten__sXsXtruedivsXn__sYdivminusXactivateYn__sactivateYtrue1div221020if301121315s1112div281023false00true00geq201020activate11114n__s1111000minus201020n__000divsXn__sYgeqXactivateYfalsegeqn__sXn__sYgeqactivateXactivateYtrue1geq201421if33112838s1212div2141023false05true02geq201025activate1110n__s1212000minus211020n__000geqn__sXn__sYactivateXfalsegeqn__sXn__sYactivateYfalsedivsXn__sYactivateYfalsedivsXn__sYminusXactivateYfalseminusn__sXn__sYminusactivateXactivateYtrue1minus201421if33112838s1212div2141023false05true02geq201025activate1110n__s1212000minus211020n__000minusn__sXn__sYactivateXfalseminusn__sXn__sYactivateYfalseminusn__0Y0falsedivsXn__sYifgeqXactivateYn__sdivminusXactivateYn__sactivateYn__0falseiftrueXYactivateXfalseiffalseXYactivateYfalseactivaten__sXsXfalseactivaten__00false