gfxyffggxggyfggxggy2.1gfx0x1gfxyggxgfxygxgfxyggygfxygytruegfxyggx1gffx0x1y1gffggx0ggx1fggx0ggx1gfxyggy1gfy0fx0x1gffggx0ggx1fggx0ggx1gfxygygffx0x1y1gffggx0ggx1fggx0ggx1gfy0fx0x1gffggx0ggx1fggx0ggx1gffy_0y_1x1gfy_0y_1gfffy_0y_1y_2x1gffy_0y_1y_2gffy_0fy_1y_2x1gfy_0fy_1y_2gffx0x1y1gffggx0ggx1fggx0ggx1gfy0fx0x1gffggx0ggx1fggx0ggx1gffy_0y_1x1gfy_0y_1gfffy_0y_1y_2x1gffy_0y_1y_2gffy_0fy_1y_2x1gfy_0fy_1y_2gfx0fy_0y_1gfy_0y_1gfx0ffy_0y_1y_2gffy_0y_1y_2gfx0fy_0fy_1y_2gfy_0fy_1y_2gfx0fffy_0y_1y_2y_3gfffy_0y_1y_2y_3gfx0ffy_0fy_1y_2y_3gffy_0fy_1y_2y_30gffx0x1y1gffx0x1y1gffggx0ggx1fggx0ggx1gffggx0ggx1fggx0ggx1x0ggx0x1ggx1y1fggx0ggx1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe