eqn__0n__0trueeqn__sXn__sYeqactivateXactivateYeqXYfalseinfXconsXn__infn__sXtake0XniltakesXconsYLconsactivateYn__takeactivateXactivateLlengthnil0lengthconsXLsn__lengthactivateL0n__0sXn__sXinfXn__infXtakeX1X2n__takeX1X2lengthXn__lengthXactivaten__00activaten__sXsXactivaten__infXinfactivateXactivaten__takeX1X2takeactivateX1activateX2activaten__lengthXlengthactivateXactivateXXeqn__sXn__sYactivateYeqn__sXn__sYactivateXeqn__sXn__sYeqactivateXactivateYtakesXconsYLactivateLtakesXconsYLactivateXtakesXconsYLactivateYlengthnil0lengthconsXLactivateLlengthconsXLsn__lengthactivateLactivaten__00activaten__sXsXactivaten__infXactivateXactivaten__infXinfactivateXactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2activaten__lengthXactivateXactivaten__lengthXlengthactivateXtrueeqn__sXn__sYeqactivateXactivateYtrueeqn__sXn__sYactivateXfalseeqn__sXn__sYactivateYfalselengthconsXLactivateLactivaten__infXactivateXactivaten__takeX1X2activateX2activaten__takeX1X2activateX1activaten__takeX1X2takeactivateX1activateX2takesXconsYLactivateLactivaten__lengthXactivateXactivaten__lengthXlengthactivateXtakesXconsYLactivateXtakesXconsYLactivateYtrueactivaten__infXinfactivateXfalseactivaten__sXsXfalseactivaten__00falselengthconsXLsn__lengthactivateLfalselengthnil0false