le0ytruelesx0falselesxsylexyminus0y0minussxyif_minuslesxysxyif_minustruesxy0if_minusfalsesxysminusxygcd0yygcdsx0sxgcdsxsyif_gcdleyxsxsyif_gcdtruesxsygcdminusxysyif_gcdfalsesxsygcdminusyxsx2.110lesxsylexyminussxyif_minuslesxysxyminussxylesxyif_minusfalsesxyminusxygcdsxsyif_gcdleyxsxsygcdsxsyleyxif_gcdtruesxsygcdminusxysyif_gcdtruesxsyminusxyif_gcdfalsesxsygcdminusyxsxif_gcdfalsesxsyminusyxtrueif_gcdtruesxsygcdminusxysygcdsxsyif_gcdleyxsxsyif_gcdfalsesxsygcdminusyxsxtrueminus0y0minussxyif_minuslesxysxylesx0falselesxsylexyif_minustruesxy0if_minusfalsesxysminusxyle0ytruele0x0lesx00lesx0sx1minus0x0minussx0x1if_minustruesx0x1if_minusfalsesx0x11gcd222122minus221000s1221if_minus3-2122le2-2if_gcd3-22223false00true00if_gcdtruesxsygcdminusxysyif_gcdfalsesxsygcdminusyxsxif_gcdtruesxsygcdminusxysyfalseif_gcdfalsesxsygcdminusyxsxfalseif_gcdtruesxsyminusxyfalseif_gcdfalsesxsyminusyxfalseminussxyif_minuslesxysxyif_minusfalsesxyminusxytruelesx0falselesxsylexyle0ytruele0x0lesx00lesx0sx1if_minusfalsesxyminusxy2true13false2minussxyif_minuslesxysxy1false22false3minussxylesxyfalsegcdsxsyleyxfalselesxsylexytruelesxsylexy1true12true2AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe