appapple0ytrueappappleappsx0falseappappleappsxappsyappapplexyapppredappsxxappappminusx0xappappminusxappsyapppredappappminusxyappappgcd0yyappappgcdappsx0appsxappappgcdappsxappsyappappappif_gcdappappleyxappsxappsyappappappif_gcdtrueappsxappsyappappgcdappappminusxyappsyappappappif_gcdfalseappsxappsyappappgcdappappminusyxappsxappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appappleappsxappsyapplexappappleappsxappsyappapplexyappappminusxappsyappappminusxyappappminusxappsyapppredappappminusxyappappgcdappsxappsyappleyappappgcdappsxappsyappappleyxappappgcdappsxappsyappif_gcdappappleyxappappgcdappsxappsyappappif_gcdappappleyxappsxappappgcdappsxappsyappappappif_gcdappappleyxappsxappsyappappappif_gcdtrueappsxappsyappminusxappappappif_gcdtrueappsxappsyappappminusxyappappappif_gcdtrueappsxappsyappgcdappappminusxyappappappif_gcdtrueappsxappsyappappgcdappappminusxyappsyappappappif_gcdfalseappsxappsyappminusyappappappif_gcdfalseappsxappsyappappminusyxappappappif_gcdfalseappsxappsyappgcdappappminusyxappappappif_gcdfalseappsxappsyappappgcdappappminusyxappsxappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfappappconsxxsappfxappappfilterfappappconsxxsappfilter2appfxappappfilterfappappconsxxsappappfilter2appfxfappappfilterfappappconsxxsappappappfilter2appfxfxappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappfilterfappappappappfilter2truefxxsappappfilterfxsappappappappfilter2truefxxsappconsxappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappfilterfappappappappfilter2falsefxxsappappfilterfxstrueappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2falsefxxsappappfilterfxsappappfilterfappappconsxxsappfxappappappappfilter2truefxxsappappfilterfxsappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxstrue1641app201120filter201filter01cons00nil00map01if_gcd01gcd00minus00pred00false00s00true01app211121000le00appappappappfilter2falsefxxsappappfilterfxsappappappappfilter2truefxxsappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsfalseappappappappfilter2truefxxsappappfilterfxsfalseappappappif_gcdfalseappsxappsyappappgcdappappminusyxappsxappappgcdappsxappsyappappappif_gcdappappleyxappsxappsyappappappif_gcdtrueappsxappsyappappgcdappappminusxyappsytrueappapp2app0filter20filter20filter21filter22filter23filter24filter0filter0filter1filter2cons0cons0cons1cons2nil0nil0map0map0map1map2if_gcd0if_gcd0if_gcd1if_gcd2if_gcd3gcd0gcd0gcd1gcd2minus0minus0minus1minus2pred0pred0pred1false0false0s0s0s1true0true00000le0le0le1le2apple1x356x357le2x356x357apple0x356le1x356apps0x361s1x361apppred0x364pred1x364appminus1x366x367minus2x366x367appminus0x366minus1x366appgcd1x369x370gcd2x369x370appgcd0x369gcd1x369appif_gcd2x372x373x374if_gcd3x372x373x374appif_gcd1x372x373if_gcd2x372x373appif_gcd0x372if_gcd1x372appmap1x376x377map2x376x377appmap0x376map1x376appcons1x380x381cons2x380x381appcons0x380cons1x380appfilter1x383x384filter2x383x384appfilter0x383filter1x383appfilter23x386x387x388x389filter24x386x387x388x389appfilter22x386x387x388filter23x386x387x388appfilter21x386x387filter22x386x387appfilter20x386filter21x386app0if_gcd2false0s1xs1yapp0gcd1minus2yxs1xapp0gcd1s1xs1yapp0if_gcd2le2yxs1xs1yapp0if_gcd2true0s1xs1yapp0gcd1minus2xys1yle200ytrue0le2s1x00false0le2s1xs1yle2xypred1s1xxminus2x00xminus2xs1ypred1minus2xygcd200yygcd2s1x00s1xgcd2s1xs1yif_gcd3le2yxs1xs1yif_gcd3true0s1xs1ygcd2minus2xys1yif_gcd3false0s1xs1ygcd2minus2yxs1xmap2fnil0nil0map2fcons2xxscons2appfxmap2fxsfilter2fnil0nil0filter2fcons2xxsfilter24appfxfxxsfilter24true0fxxscons2xfilter2fxsfilter24false0fxxsfilter2fxsapple1x356x357le2x356x357apple0x356le1x356apps0x361s1x361apppred0x364pred1x364appminus1x366x367minus2x366x367appminus0x366minus1x366appgcd1x369x370gcd2x369x370appgcd0x369gcd1x369appif_gcd2x372x373x374if_gcd3x372x373x374appif_gcd1x372x373if_gcd2x372x373appif_gcd0x372if_gcd1x372appmap1x376x377map2x376x377appmap0x376map1x376appcons1x380x381cons2x380x381appcons0x380cons1x380appfilter1x383x384filter2x383x384appfilter0x383filter1x383appfilter23x386x387x388x389filter24x386x387x388x389appfilter22x386x387x388filter23x386x387x388appfilter21x386x387filter22x386x387appfilter20x386filter21x3861641app0211120if_gcd2201120gcd11110minus2211020pred11110false000s11111true0000001le2201120app0gcd1s1xs1yapp0if_gcd2le2yxs1xs1yminus2x00xminus2xs1ypred1minus2xypred1s1xxle200ytrue0le2s1x00false0le2s1xs1yle2xyapp0gcd1s1xs1yapp0if_gcd2le2yxs1xs1yfalseappappappif_gcdtrueappsxappsyappminusxfalseappappappif_gcdtrueappsxappsyappappminusxyfalseappappappif_gcdtrueappsxappsyappgcdappappminusxyfalseappappgcdappsxappsyappleyfalseappappgcdappsxappsyappappleyxfalseappappleappsxappsyappapplexytrue1641app211020s01app211121le00appappleappsxappsyapplexfalseappappgcdappsxappsyappif_gcdappappleyxfalseappappgcdappsxappsyappappif_gcdappappleyxappsxfalseappappappif_gcdfalseappsxappsyappminusyfalseappappappif_gcdfalseappsxappsyappappminusyxfalseappappminusxappsyappappminusxytrue1641app201120minus00s00app201121appappminusxappsyapppredappappminusxyfalseappappappif_gcdfalseappsxappsyappgcdappappminusyxfalseappappmapfappappconsxxsappconsappfxfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappappappfilter2truefxxsappfilterffalseappappappappfilter2truefxxsappconsxfalseappappappappfilter2truefxxsappappconsxappappfilterfxsfalseappappappappfilter2falsefxxsappfilterffalseappappfilterfappappconsxxsappappappfilter2appfxfxfalseappappfilterfappappconsxxsappappfilter2appfxffalseappappfilterfappappconsxxsappfilter2appfxfalse