andtrueXactivateXandfalseYfalseiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYsn__addactivateXactivateYfirst0XnilfirstsXconsYZconsactivateYn__firstactivateXactivateZfromXconsactivateXn__fromn__sactivateXaddX1X2n__addX1X2firstX1X2n__firstX1X2fromXn__fromXsXn__sXactivaten__addX1X2addactivateX1X2activaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXX2.0andtrueXactivateXiftrueXYactivateXiffalseXYactivateYadd0XactivateXaddsXYsn__addactivateXactivateYaddsXYactivateXaddsXYactivateYfirstsXconsYZactivateYfirstsXconsYZactivateXfirstsXconsYZactivateZfromXactivateXactivaten__addX1X2addactivateX1X2activaten__addX1X2activateX1activaten__firstX1X2firstactivateX1activateX2activaten__firstX1X2activateX1activaten__firstX1X2activateX2activaten__fromXfromXactivaten__sXsXtrueandtrueXactivateXfalse345iftrueXYactivateXfalse234iffalseXYactivateYfalse123activaten__addX1X2addactivateX1X2add0XactivateXactivaten__addX1X2activateX1activaten__firstX1X2firstactivateX1activateX2firstsXconsYZactivateYactivaten__firstX1X2activateX1activaten__firstX1X2activateX2activaten__fromXfromXfromXactivateXfirstsXconsYZactivateXfirstsXconsYZactivateZaddsXYactivateXaddsXYactivateYtrue12141activate101211n__add241211522add214411212activate1011110001n__first241411212first212411412s101121cons201121122n__from101211from101211add241211522first241411212from101211n__s101121nil034activaten__fromXfromXfromXactivateXactivaten__addX1X2addactivateX1X2add0XactivateXactivaten__firstX1X2firstactivateX1activateX2activaten__fromXfromXactivaten__sXsXactivateXXaddX1X2n__addX1X2first0XnilfirstX1X2n__firstX1X2fromXn__fromXfromXconsactivateXn__fromn__sactivateXfirstsXconsYZconsactivateYn__firstactivateXactivateZaddsXYsn__addactivateXactivateYsXn__sX1activate111n__from1111from111fromXactivateXfromXactivateXfalseaddsXYsn__addactivateXactivateYfalseactivaten__sXsXfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe