U71ttslengthLU91ttconsNandttXzeroscons0U11ttU12isNatListU12ttttU21ttU22isNatU22ttttU31ttU32isNatListU32ttttU41ttU42isNatU42ttU43isNatIListU43ttttU51ttU52isNatU52ttU53isNatListU53ttttU61ttU62isNatU62ttU63isNatIListU63ttttU81ttnilisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41andisNatKindisNatIListKindttisNatIListKindandisNatKindisNatKindttisNatKindisNatIListKindisNatKindisNatKindisNatListttisNatListU51andisNatKindisNatListU61andisNatKindlengthnil0lengthconsNU71andandisNatListtake0ILU81andisNatIListtakesMconsNU91andandisNatIListU711tt0s1length1U911cons1and1zeros000U111U121isNatList0U211U221isNat0U311U321U411U421U431isNatIList0U511U521U531U611U621U631U811nil0isNatIListKind0isNatKind0take2OUTERMOST./TRS/outermost/TRCSR/OvConsOS_complete_L.trs