le0ytruelesx0falselesxsylexyminusx0xminussxsyminusxygcd0yygcdsx0sxgcdsxsyif_gcdleyxsxsyif_gcdtruesxsygcdminusxysyif_gcdfalsesxsygcdminusyxsxlesxsylexyminussxsyminusxygcdsxsyif_gcdleyxsxsygcdsxsyleyxif_gcdtruesxsygcdminusxysyif_gcdtruesxsyminusxyif_gcdfalsesxsygcdminusyxsxif_gcdfalsesxsyminusyxtruegcdsxsyif_gcdleyxsxsyif_gcdtruesxsygcdminusxysyif_gcdfalsesxsygcdminusyxsxtrue123451gcd211112s1111if_gcd31213le20true00minus211false00000gcd211112if_gcd31213if_gcdtruesxsygcdminusxysyif_gcdfalsesxsygcdminusyxsxif_gcdtruesxsygcdminusxysyfalseif_gcdfalsesxsygcdminusyxsxfalsegcdsxsyleyxfalse3lesxsylexytrue31le21112s1111le21112001true00false01minus211gcd21112if_gcd31213if_gcdtruesxsyminusxyfalse2if_gcdfalsesxsyminusyxfalseminussxsyminusxytrue1minus21112s1111le21112001true00false01minus211gcd21112if_gcd31213