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__and2112mark10true00if31111213a__if311213add211112a__add2112000first211112false00a__and20a__if30a__add20a__first20from10a__from10s10nil00cons20markandX1X2a__andmarkX1X2markifX1X2X3a__ifmarkX1X2X3markaddX1X2a__addmarkX1X2markandX1X2a__andmarkX1X2falsemarkifX1X2X3a__ifmarkX1X2X3falsemarkaddX1X2a__addmarkX1X2falsemarkfirstX1X2a__firstmarkX1markX2falsemarkfromXa__fromXfalse