eqn__0n__0trueeqn__sXn__sYeqactivateXactivateYeqXYfalseinfXconsXn__infsXtake0XniltakesXconsYLconsactivateYn__takeactivateXactivateLlengthnil0lengthconsXLsn__lengthactivateL0n__0sXn__sXinfXn__infXtakeX1X2n__takeX1X2lengthXn__lengthXactivaten__00activaten__sXsXactivaten__infXinfXactivaten__takeX1X2takeX1X2activaten__lengthXlengthXactivateXXeq2n__00true0n__s1activate1false0inf1cons2n__inf1s1take200nil0n__take2length1n__length1FULL./TRS/TRCSR/Ex1_GL02a_Z.trs