appappappfoldfxnilxappappappfoldfxappappconsyzappappfyappappappfoldfxzappappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyysumappappfoldadd0prodappappfoldmulapps0appappappfoldfxappappconsyzappappappfoldfxzappappappfoldfxappappconsyzappfyappappappfoldfxappappconsyzappappfyappappappfoldfxzappappplusappsxyappplusxappappplusappsxyappappplusxyappappplusappsxyappsappappplusxyappapptimesappsxyapptimesxappapptimesappsxyappapptimesxyappapptimesappsxyappplusappapptimesxyappapptimesappsxyappappplusappapptimesxyysumappfoldaddsumappappfoldadd0prodapps0prodappfoldmulprodappappfoldmulapps0trueappappappfoldfxappappconsyzappappappfoldfxzappappappfoldfxappappconsyzappfyappappappfoldfxappappconsyzappappfyappappappfoldfxztrueappapptimesappsxyappapptimesxytrueappapptimesappsxyappappplusappapptimesxyyfalseappappplusappsxyappappplusxytrueappappplusappsxyappsappappplusxyfalseappappplusappsxyappplusxfalseappapptimesappsxyappplusappapptimesxyfalseappapptimesappsxyapptimesxfalsesumappfoldaddfalsesumappappfoldadd0falseprodappfoldmulfalseprodappappfoldmulapps0falseprodapps0false