U101ttfstsplitAtNXSU11ttsndsplitAtNXSU21ttXU31ttNU41ttconsNU51ttheadafterNthNXSU61ttYU71ttpairnilXSU81ttU82splitAtNXSU82pairYSZSpairconsXZSU91ttXSandttXafterNthNXSU11andisNaturalfstpairXYU21andisLNatheadconsNU31andisNaturalisLNatttisLNatandisNaturalisLNatisPLNatisLNatisNaturalisLNatisLNatisNaturalttisNaturalisLNatisNaturalisNaturalisNaturalandisNaturalisPLNatandisLNatisPLNatandisNaturalnatsFromNU41isNaturalselNXSU51andisNaturalsndpairXYU61andisLNatsplitAt0XSU71isLNatsplitAtsNconsXU81andisNaturaltailconsNU91andisNaturaltakeNXSU101andisNaturalU1011tt0fst1splitAt2U111snd1U211U311U411cons1U511head1afterNth2U611U711pair2nil0U811U821U911and1isNatural0isLNat0isPLNat0natsFrom1sel200s1tail1take2FULL./TRS/TRCSR/LISTUTILITIES_nokinds_L.trs