a__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLa__take0ILnila__takesMconsNILconsmarkNtakeMILmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__takeX1X2takeX1X2a__zeros0cons200zeros0a__and2tt0mark1a__length1nil0s1a__take2take2and2length1INNERMOST./TRS/TRCSR/OvConsOS_nosorts_GM.trs