p00psXXleq0YtrueleqsX0falseleqsXsYleqXYiftrueXYactivateXiffalseXYactivateYdiffXYifleqXYn__0n__sn__diffn__pXY0n__0sXn__sXdiffX1X2n__diffX1X2pXn__pXactivaten__00activaten__sXsactivateXactivaten__diffX1X2diffactivateX1activateX2activaten__pXpactivateXactivateXXleqsXsYleqXYiftrueXYactivateXiffalseXYactivateYdiffXYleqXYdiffXYifleqXYn__0n__sn__diffn__pXYactivaten__00activaten__sXactivateXactivaten__sXsactivateXactivaten__diffX1X2activateX2activaten__diffX1X2activateX1activaten__diffX1X2diffactivateX1activateX2activaten__pXactivateXactivaten__pXpactivateXtruediffXYifleqXYn__0n__sn__diffn__pXYiftrueXYactivateXactivaten__sXactivateXactivaten__diffX1X2activateX2activaten__diffX1X2activateX1activaten__diffX1X2diffactivateX1activateX2activaten__pXactivateXiffalseXYactivateYtrue1diff2814210activate1112if30112132n__s1110n__diff281428n__p1110n__000diff281428activate1110if30142130false00true00leq201020s1110p1110000diffXYifleqXYn__0n__sn__diffn__pXYiftrueXYactivateXactivaten__sXactivateXactivaten__diffX1X2diffactivateX1activateX2activaten__pXactivateXiffalseXYactivateYp00psXXiftrueXYactivateXiffalseXYactivateYdiffXYifleqXYn__0n__sn__diffn__pXY0n__0sXn__sXdiffX1X2n__diffX1X2pXn__pXactivaten__00activaten__sXsactivateXactivaten__diffX1X2diffactivateX1activateX2activaten__pXpactivateXactivateXX1diff201028activate1410if30142430n__s1110n__diff201022n__p1219n__000diff281020activate1011if30102831false00true00leq201920s1410p11010002diffXYifleqXYn__0n__sn__diffn__pXYiftrueXYactivateXactivaten__sXactivateXactivaten__diffX1X2diffactivateX1activateX2iffalseXYactivateYleq0YtrueleqsX0falseleqsXsYleqXYactivaten__pXpactivateXfalsediffXYleqXYfalseleqsXsYleqXYtrueleq22activaten__sXsactivateXfalseactivaten__00false