a__andtrueXmarkXa__andfalseYfalsea__iftrueXYmarkXa__iffalseXYmarkYa__add0XmarkXa__addsXYsaddXYa__first0Xnila__firstsXconsYZconsYfirstXZa__fromXconsXfromsXmarkandX1X2a__andmarkX1X2markifX1X2X3a__ifmarkX1X2X3markaddX1X2a__addmarkX1X2markfirstX1X2a__firstmarkX1markX2markfromXa__fromXmarktruetruemarkfalsefalsemark00marksXsXmarknilnilmarkconsX1X2consX1X2a__andX1X2andX1X2a__ifX1X2X3ifX1X2X3a__addX1X2addX1X2a__firstX1X2firstX1X2a__fromXfromXa__andtrueXmarkXa__iftrueXYmarkXa__iffalseXYmarkYa__add0XmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2markifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3markaddX1X2markX1markaddX1X2a__addmarkX1X2markfirstX1X2markX2markfirstX1X2markX1markfirstX1X2a__firstmarkX1markX2markfromXa__fromXtruea__add0XmarkXmarkandX1X2markX1markandX1X2a__andmarkX1X2a__andtrueXmarkXmarkifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3a__iftrueXYmarkXmarkaddX1X2markX1markaddX1X2a__addmarkX1X2markfirstX1X2markX2markfirstX1X2markX1a__iffalseXYmarkYtrue1a__add211921a__if301921035mark1911a__and211922if31122233and241722from1212a__from1818first211320cons201025nil00a__first211320add211122s1015a__add2118213003a__if31111210313false02mark1810a__and2418210true00markfirstX1X2markX2markfirstX1X2markX1mark11markfromXa__fromXfalsemarkfirstX1X2a__firstmarkX1markX2false