a__zeroscons0zerosa__U11ttLsa__lengthmarkLa__andttXmarkXa__isNat0tta__isNatlengthV1a__isNatListV1a__isNatsV1a__isNatV1a__isNatIListVa__isNatListVa__isNatIListzerostta__isNatIListconsV1V2a__anda__isNatV1isNatIListV2a__isNatListniltta__isNatListconsV1V2a__anda__isNatV1isNatListV2a__lengthnil0a__lengthconsNLa__U11a__anda__isNatListLisNatNLmarkzerosa__zerosmarkU11X1X2a__U11markX1X2marklengthXa__lengthmarkXmarkandX1X2a__andmarkX1X2markisNatXa__isNatXmarkisNatListXa__isNatListXmarkisNatIListXa__isNatIListXmarkconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__lengthXlengthXa__andX1X2andX1X2a__isNatXisNatXa__isNatListXisNatListXa__isNatIListXisNatIListXa__zeros0cons200zeros0a__U112tt0s1a__length1mark1a__and2a__isNat1length1a__isNatList1a__isNatIList1isNatIList1nil0isNatList1isNat1U112and2FULL./TRS/TRCSR/LengthOfFiniteLists_nokinds_GM.trs