zeroscons0n__zerosU11ttLslengthactivateLandttXactivateXisNatn__0ttisNatn__lengthV1isNatListactivateV1isNatn__sV1isNatactivateV1isNatIListVisNatListactivateVisNatIListn__zerosttisNatIListn__consV1V2andisNatactivateV1n__isNatIListactivateV2isNatListn__nilttisNatListn__consV1V2andisNatactivateV1n__isNatListactivateV2lengthnil0lengthconsNLU11andisNatListactivateLn__isNatNactivateLzerosn__zeros0n__0lengthXn__lengthXsXn__sXconsX1X2n__consX1X2isNatIListXn__isNatIListXniln__nilisNatListXn__isNatListXisNatXn__isNatXactivaten__zeroszerosactivaten__00activaten__lengthXlengthactivateXactivaten__sXsactivateXactivaten__consX1X2consactivateX1X2activaten__isNatIListXisNatIListXactivaten__nilnilactivaten__isNatListXisNatListXactivaten__isNatXisNatXactivateXXzeros0cons200n__zeros0U112tt0s1length1activate1and2isNat1n__00n__length1isNatList1n__s1isNatIList1n__cons2n__isNatIList1n__nil0n__isNatList1nil0n__isNat1FULL./TRS/TRCSR/LengthOfFiniteLists_nokinds_FR.trs