andtrueXactivateXandfalseYfalseiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYsn__addactivateXactivateYfirst0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfromXconsactivateXn__fromn__sactivateXaddX1X2n__addX1X2firstX1X2n__firstX1X2fromXn__fromXsXn__sXactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXandtrueXactivateXiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYactivateYaddsXYactivateXaddsXYsn__addactivateXactivateYfirstsXconsYZactivateZfirstsXconsYZactivateXfirstsXconsYZactivateYfromXactivateXactivaten__addX1X2activateX1activaten__addX1X2addactivateX1X2activaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXtrueandtrueXactivateXfalseiftrueXYactivateXfalseiffalseXYactivateYfalsefromXactivateXactivaten__addX1X2activateX1activaten__addX1X2addactivateX1X2add0XactivateXactivaten__firstX1X2activateX2activaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateZactivaten__fromXfromXfirstsXconsYZactivateXfirstsXconsYZactivateYaddsXYactivateYaddsXYactivateXtrue1from101first20132add20102activate101n__from101n__s101from101n__first20172cons20102nil00first20172n__add20102s101add20102000activate101fromXactivateXactivaten__addX1X2activateX1activaten__addX1X2addactivateX1X2add0XactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXfirstsXconsYZactivateXaddsXYactivateYaddsXYactivateXactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXadd0XactivateXaddsXYsn__addactivateXactivateYaddX1X2n__addX1X2first0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfirstX1X2n__firstX1X2fromXconsactivateXn__fromn__sactivateXfromXn__fromXsXn__sX1from1010first201020add211024activate1010n__from1010n__s101from1010n__first201020cons201020nil00first201020n__add241424s101add241424001activate1010fromXactivateXactivaten__addX1X2addactivateX1X2add0XactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXfirstsXconsYZactivateXaddsXYactivateYactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXadd0XactivateXaddsXYsn__addactivateXactivateYaddX1X2n__addX1X2first0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfirstX1X2n__firstX1X2fromXconsactivateXn__fromn__sactivateXfromXn__fromXsXn__sX1from1010first20120add201020activate1010n__from101n__s1010from1010n__first2012cons2120nil00first20120n__add241424s1010add241424000activate1010fromXactivateXadd0XactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXfirstsXconsYZactivateXaddsXYactivateYactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXadd0XactivateXaddsXYsn__addactivateXactivateYaddX1X2n__addX1X2first0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfirstX1X2n__firstX1X2fromXconsactivateXn__fromn__sactivateXfromXn__fromXsXn__sXadd0XactivateXfalseaddsXYactivateYfalsefromXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateXactivaten__fromXfromXtrue1from1010first2212activate1010n__from121n__s1010from121n__first221020cons2212nil05first221020n__add241424s1010add241424003activate101fromXactivateXactivaten__firstX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXadd0XactivateXaddsXYsn__addactivateXactivateYaddX1X2n__addX1X2first0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfirstX1X2n__firstX1X2fromXconsactivateXn__fromn__sactivateXfromXn__fromXsXn__sXfromXactivateXactivaten__firstX1X2activateX1activaten__fromXfromXtrueactivate11from11fromXactivateXfromXactivateXfalseactivaten__firstX1X2firstactivateX1activateX2falseaddsXYsn__addactivateXactivateYfalseactivaten__sXsXfalse