eqn__0n__0trueeqn__sXn__sYeqactivateXactivateYeqXYfalseinfXconsXn__infsXtake0XniltakesXconsYLconsactivateYn__takeactivateXactivateLlengthnil0lengthconsXLsn__lengthactivateL0n__0sXn__sXinfXn__infXtakeX1X2n__takeX1X2lengthXn__lengthXactivaten__00activaten__sXsXactivaten__infXinfXactivaten__takeX1X2takeX1X2activaten__lengthXlengthXactivateXXeqn__sXn__sYactivateYeqn__sXn__sYactivateXeqn__sXn__sYeqactivateXactivateYinfXsXtakesXconsYLactivateLtakesXconsYLactivateXtakesXconsYLactivateYlengthnil0lengthconsXLactivateLlengthconsXLsn__lengthactivateLactivaten__00activaten__sXsXactivaten__infXinfXactivaten__takeX1X2takeX1X2activaten__lengthXlengthXtrueeqn__sXn__sYeqactivateXactivateYtrueeqn__sXn__sYactivateXfalseeqn__sXn__sYactivateYfalselengthconsXLactivateLactivaten__takeX1X2takeX1X2takesXconsYLactivateLactivaten__lengthXlengthXtakesXconsYLactivateXtakesXconsYLactivateYtrue1length1310take221421activate1216n__length1210length1411n__take241428nil02take2818213004cons211122n__inf1417s1110inf1819false00activate1212n__s1110true00eq2010214n__002lengthconsXLactivateLlengthconsXLactivateLfalseactivaten__infXinfXfalseinfXsXfalseactivaten__sXsXfalseactivaten__00falselengthconsXLsn__lengthactivateLfalselengthnil0false