appapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyapppredappsxxappappminusx0xappappminusxappsyapppredappappminusxyappappgcd0yyappappgcdappsx0appsxappappgcdappsxappsyappappappif_gcdappappleyxappsxappsyappappappif_gcdtrueappsxappsyappappgcdappappminusxyappsyappappappif_gcdfalseappsxappsyappappgcdappappminusyxappsxappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2le000true0s0false0pred0minus0gcd0if_gcd0map0nil0cons0filter0filter20FULL./TRS/currying/AG01/#3.6.trs