eqn__0n__0trueeqn__sXn__sYeqactivateXactivateYeqXYfalseinfXconsXn__infn__sXtake0XniltakesXconsYLconsactivateYn__takeactivateXactivateLlengthnil0lengthconsXLsn__lengthactivateL0n__0sXn__sXinfXn__infXtakeX1X2n__takeX1X2lengthXn__lengthXactivaten__00activaten__sXsXactivaten__infXinfactivateXactivaten__takeX1X2takeactivateX1activateX2activaten__lengthXlengthactivateXactivateXXeq2n__00true0n__s1activate1false0inf1cons2n__inf1take200nil0s1n__take2length1n__length1FULL./TRS/TRCSR/Ex1_GL02a_FR.trs