U11ttsndsplitAtNXSU161ttconsNU171ttheadafterNthNXSU181ttYU191ttpairnilXSU201ttU202splitAtNXSU202pairYSZSpairconsXZSU21ttXU211ttXSU221ttfstsplitAtNXSU31ttNandttXU101ttU102isNaturalU102ttU103isLNatU103ttttU111ttU112isLNatU112ttttU121ttU122isNaturalU122ttttU131ttU132isNaturalU132ttU133isLNatU133ttttU141ttU142isLNatU142ttU143isLNatU143ttttU151ttU152isNaturalU152ttU153isLNatU153ttttU41ttU42isNaturalU42ttU43isLNatU43ttttU51ttU52isNaturalU52ttU53isLNatU53ttttU61ttU62isPLNatU62ttttU71ttU72isNaturalU72ttttU81ttU82isPLNatU82ttttU91ttU92isLNatU92ttttafterNthNXSU11andandisNaturalfstpairXYU21andandisLNatheadconsNU31andandisNaturalisLNatttisLNatU41andisNaturalKindisLNatU51andisNaturalKindisLNatU61isPLNatKindisLNatU71isNaturalKindisLNatU81isPLNatKindisLNatU91isLNatKindisLNatU101andisNaturalKindisLNatKindttisLNatKindandisNaturalKindisLNatKindisPLNatKindisLNatKindisNaturalKindisLNatKindisLNatKindisNaturalttisNaturalU111isLNatKindisNaturalU121isNaturalKindisNaturalU131andisNaturalKindisNaturalKindttisNaturalKindisLNatKindisNaturalKindisNaturalKindisNaturalKindandisNaturalKindisPLNatU141andisLNatKindisPLNatU151andisNaturalKindisPLNatKindandisLNatKindisPLNatKindandisNaturalKindnatsFromNU161andisNaturalselNXSU171andandisNaturalsndpairXYU181andandisLNatsplitAt0XSU191andisLNatsplitAtsNconsXU201andandisNaturaltailconsNU211andandisNaturaltakeNXSU221andandisNaturalU111tt0snd1splitAt2U1611cons1U1711head1afterNth2U1811U1911pair2nil0U2011U2021U211U2111U2211fst1U311and1U1011U1021isNatural0U1031isLNat0U1111U1121U1211U1221U1311U1321U1331U1411U1421U1431U1511U1521U1531U411U421U431U511U521U531U611U621isPLNat0U711U721U811U821U911U921isNaturalKind0isPLNatKind0isLNatKind0natsFrom1sel200s1tail1take2OUTERMOST./TRS/outermost/TRCSR/LISTUTILITIES_complete_L.trs