a__zeroscons0zerosa__U11ttLa__U12ttLa__U12ttLsa__lengthmarkLa__U21ttILMNa__U22ttILMNa__U22ttILMNa__U23ttILMNa__U23ttILMNconsmarkNtakeMILa__lengthnil0a__lengthconsNLa__U11ttLa__take0ILnila__takesMconsNILa__U21ttILMNmarkzerosa__zerosmarkU11X1X2a__U11markX1X2markU12X1X2a__U12markX1X2marklengthXa__lengthmarkXmarkU21X1X2X3X4a__U21markX1X2X3X4markU22X1X2X3X4a__U22markX1X2X3X4markU23X1X2X3X4a__U23markX1X2X3X4marktakeX1X2a__takemarkX1markX2markconsX1X2consmarkX1X2mark00markttttmarksXsmarkXmarknilnila__zeroszerosa__U11X1X2U11X1X2a__U12X1X2U12X1X2a__lengthXlengthXa__U21X1X2X3X4U21X1X2X3X4a__U22X1X2X3X4U22X1X2X3X4a__U23X1X2X3X4U23X1X2X3X4a__takeX1X2takeX1X2a__zeros0cons200zeros0a__U112tt0a__U122s1a__length1mark1a__U214a__U224a__U234take2nil0a__take2U112U122length1U214U224U234FULL./TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs