a__zeroscons0zerosa__U11ttLa__U12ttLa__U12ttLsa__lengthmarkLa__lengthnil0a__lengthconsNLa__U11ttLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2marklengthXa__lengthmarkXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__lengthXlengthXa__zeros0cons200zeros0a__U112tt0a__U122s1a__length1mark1nil0U112U122length1FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_GM.trs