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__sactivateYtrue1div271021s1014activate1913n__s1212001minus201021n__0010n__0minusn__0Y0minusn__sXn__sYminusactivateXactivateYdivsXn__sYgeqXactivateYfalsegeqn__sXn__sYgeqactivateXactivateYtrue1geq271222s1811activate1110n__s1811000n__000activaten__00activaten__sXsXactivateXX0n__0sXn__sXgeqn__sXn__sYactivateXfalsegeqn__sXn__sYactivateYfalsedivsXn__sYactivateYfalsedivsXn__sYminusXactivateYfalseminusn__sXn__sYminusactivateXactivateYtrue1minus271222s1811activate1110n__s1811000n__000activaten__00activaten__sXsXactivateXX0n__0sXn__sXminusn__sXn__sYactivateXfalseminusn__sXn__sYactivateYfalseminusn__0Y0falsedivsXn__sYifgeqXactivateYn__sdivminusXactivateYn__sactivateYn__0falseiftrueXYactivateXfalseiffalseXYactivateYfalseactivaten__sXsXfalseactivaten__00false