a__zeroscons0zerosa__andttXmarkXa__lengthnil0a__lengthconsNLsa__lengthmarkLmarkzerosa__zerosmarkandX1X2a__andmarkX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarknilnilmarksXsmarkXa__zeroszerosa__andX1X2andX1X2a__lengthXlengthXa__zeros0cons200zeros0a__and2tt0mark1a__length1nil0s1and2length1INNERMOST./TRS/TRCSR/inn/LengthOfFiniteLists_nosorts_GM.trs