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