andtrueXactivateXandfalseYfalseiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYsn__addactivateXactivateYfirst0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfromXconsactivateXn__fromn__sactivateXaddX1X2n__addX1X2firstX1X2n__firstX1X2fromXn__fromXsXn__sXactivaten__addX1X2addX1X2activaten__firstX1X2firstX1X2activaten__fromXfromXactivaten__sXsXactivateXXandtrueXactivateXiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYactivateYaddsXYactivateXaddsXYsn__addactivateXactivateYfirstsXconsYZactivateZfirstsXconsYZactivateXfirstsXconsYZactivateYfromXactivateXactivaten__addX1X2addX1X2activaten__firstX1X2firstX1X2activaten__fromXfromXactivaten__sXsXtrueandtrueXactivateXfalseiftrueXYactivateXfalseiffalseXYactivateYfalsefromXactivateXactivaten__addX1X2addX1X2add0XactivateXactivaten__firstX1X2firstX1X2firstsXconsYZactivateZactivaten__fromXfromXfirstsXconsYZactivateXfirstsXconsYZactivateYaddsXYactivateYaddsXYactivateXtruefromXactivateX1false1activaten__addX1X2addX1X21true21true1add0XactivateX2false1activaten__firstX1X2firstX1X21true21true1firstsXconsYZactivateZ2true1activaten__fromXfromX1true1firstsXconsYZactivateX1true1firstsXconsYZactivateY2true1addsXYactivateY2false1addsXYactivateX1true1addsXYsn__addactivateXactivateYfalseactivaten__sXsXfalse