U114ttslengthLU136ttconsNzeroscons0U101ttU102isNatKindU102ttU103isNatIListKindU103ttU104isNatIListKindU104ttU105isNatU105ttU106isNatIListU106ttttU11ttU12isNatIListKindU111ttU112isNatIListKindU112ttU113isNatU113ttU114isNatKindU12ttU13isNatListU121ttU122isNatIListKindU122ttnilU13ttttU131ttU132isNatIListKindU132ttU133isNatU133ttU134isNatKindU134ttU135isNatU135ttU136isNatKindU21ttU22isNatKindU22ttU23isNatU23ttttU31ttU32isNatIListKindU32ttU33isNatListU33ttttU41ttU42isNatKindU42ttU43isNatIListKindU43ttU44isNatIListKindU44ttU45isNatU45ttU46isNatIListU46ttttU51ttU52isNatIListKindU52ttttU61ttU62isNatIListKindU62ttttU71ttttU81ttttU91ttU92isNatKindU92ttU93isNatIListKindU93ttU94isNatIListKindU94ttU95isNatU95ttU96isNatListU96ttttisNatttisNatU11isNatIListKindisNatU21isNatKindisNatIListU31isNatIListKindisNatIListttisNatIListU41isNatKindisNatIListKindttisNatIListKindU51isNatKindisNatIListKindU61isNatKindisNatKindttisNatKindU71isNatIListKindisNatKindU81isNatKindisNatListttisNatListU91isNatKindisNatListU101isNatKindlengthnil0lengthconsNU111isNatListtake0ILU121isNatIListtakesMconsNU131isNatIList2.1U114ttU114ttslengthLslengthU114ttLU114ttslengthttt21.14if standard then (var | con | (lpo || unfold[1] || (dp;(tdg | sccs | sc)*;(edg[2] | sccs | sc | sct | {ur?;lpo -dp -af[2]}restore | {ur?;matrix -dp -dim 2 -ib 2 -ob 2 -ur[2]}restore | uncurryx?;uncurryx -top )[10]*)!)) else if relative then (trivial | var | (unfold[2] || (( lpo -quasi | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 2 -ob 2 | uncurryx )[10]*))) else fail