activezerosmarkcons0zerosactiveU11ttLmarkU12ttLactiveU12ttLmarkslengthLactivelengthnilmark0activelengthconsNLmarkU11ttLmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markU11X1X2activeU11markX1X2markttactivettmarkU12X1X2activeU12markX1X2marksXactivesmarkXmarklengthXactivelengthmarkXmarknilactivenilconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2U11markX1X2U11X1X2U11X1markX2U11X1X2U11activeX1X2U11X1X2U11X1activeX2U11X1X2U12markX1X2U12X1X2U12X1markX2U12X1X2U12activeX1X2U12X1X2U12X1activeX2U12X1X2smarkXsXsactiveXsXlengthmarkXlengthXlengthactiveXlengthXactive1zeros0mark1cons200U112tt0U122s1length1nil0FULL./TRS/TRCSR/LengthOfFiniteLists_nosorts_noand_iGM.trs