a__andtrueXmarkXa__andfalseYfalsea__iftrueXYmarkXa__iffalseXYmarkYa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsYfirstXZa__fromXconsXfromsXmarkandX1X2a__andmarkX1X2markifX1X2X3a__ifmarkX1X2X3markaddX1X2a__addmarkX1X2markfirstX1X2a__firstmarkX1markX2markfromXa__fromXmarktruetruemarkfalsefalsemark00marksXsXmarknilnilmarkconsX1X2consX1X2a__andX1X2andX1X2a__ifX1X2X3ifX1X2X3a__addX1X2addX1X2a__firstX1X2firstX1X2a__fromXfromXa__andtrueXmarkXa__iftrueXYmarkXa__iffalseXYmarkYa__add0XmarkXmarkandX1X2a__andmarkX1X2markandX1X2markX1markifX1X2X3a__ifmarkX1X2X3markifX1X2X3markX1markaddX1X2a__addmarkX1X2markaddX1X2markX1markfirstX1X2a__firstmarkX1markX2markfirstX1X2markX1markfirstX1X2markX2markfromXa__fromXtruemarkandX1X2a__andmarkX1X2a__andtrueXmarkXmarkandX1X2markX1markifX1X2X3a__ifmarkX1X2X3a__iftrueXYmarkXmarkifX1X2X3markX1markaddX1X2a__addmarkX1X2a__add0XmarkXmarkaddX1X2markX1markfirstX1X2markX1markfirstX1X2markX2a__iffalseXYmarkYtrue121mark111and211112a__and21112mark111true01if31111213a__if3111213add211112a__add21112001first211112false01a__and211112a__if31111213a__add211112s1111a__first211112nil00cons211a__from1111from1111markfirstX1X2a__firstmarkX1markX2falsemarkfromXa__fromXfalse