le0ytruelesx0falselesxsylexypredsxxminusx0xminusxsypredminusxygcd0yygcdsx0sxgcdsxsyif_gcdleyxsxsyif_gcdtruexygcdminusxyyif_gcdfalsexygcdminusyxxlesxsylexyminusxsyminusxyminusxsypredminusxygcdsxsyleyxgcdsxsyif_gcdleyxsxsyif_gcdtruexyminusxyif_gcdtruexygcdminusxyyif_gcdfalsexyminusyxif_gcdfalsexygcdminusyxxtrueif_gcdfalsexygcdminusyxxgcdsxsyif_gcdleyxsxsyif_gcdtruexygcdminusxyytrueif_gcdfalsexyminusyxfalseif_gcdtruexyminusxyfalseminusxsyminusxytrue1minus20110212if_gcd30112132gcd211122minus211020pred1110false00s1112true00le2131322002minusxsypredminusxyfalsegcdsxsyleyxfalselesxsylexytrue1le281028if_gcd301121314gcd2111214minus211020pred1110false00s1211true00le221226000