U12ttsndsplitAtNXSU161ttconsNU172ttheadafterNthNXSU182ttYU191ttpairnilXSU203ttU204splitAtNXSU204pairYSZSpairconsXZSU212ttXSU22ttXU222ttfstsplitAtNXSU32ttNU101ttU102isLNatU102ttttU11ttU12isLNatU111ttttU121ttttU131ttU132isLNatU132ttttU141ttU142isLNatU142ttttU151ttU152isLNatU152ttttU171ttU172isLNatU181ttU182isLNatU201ttU202isNaturalU202ttU203isLNatU21ttU22isLNatU211ttU212isLNatU221ttU222isLNatU31ttU32isLNatU41ttU42isLNatU42ttttU51ttU52isLNatU52ttttU61ttttU71ttttU81ttttU91ttttafterNthNXSU11isNaturalfstpairXYU21isLNatheadconsNU31isNaturalisLNatttisLNatU41isNaturalisLNatU51isNaturalisLNatU61isPLNatisLNatU71isNaturalisLNatU81isPLNatisLNatU91isLNatisLNatU101isNaturalisNaturalttisNaturalU111isLNatisNaturalU121isNaturalisNaturalU131isNaturalisPLNatU141isLNatisPLNatU151isNaturalnatsFromNU161isNaturalselNXSU171isNaturalsndpairXYU181isLNatsplitAt0XSU191isLNatsplitAtsNconsXU201isNaturaltailconsNU211isNaturaltakeNXSU221isNaturalU121tt0snd1splitAt2U1611cons1U1721head1afterNth2U1821U1911pair2nil0U2031U2041U2121U221U2221fst1U321U1011U1021isLNat0U111U1111U1211U1311U1321U1411U1421U1511U1521U1711U1811U2011U2021isNatural0U211U2111U2211U311U411U421U511U521U611U711U811U911isPLNat0natsFrom1sel200s1tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nokinds-noand_L.trs