fxfayfafffaayx2.1fxfayfafffaayxfxfayfffaayxfxfayffaayfxfayfaatruefxfayfffaayxfxfayfafffaayxfxfayffaayfxfayfafffaayxfxfayfafffaayx2ffax1fay1fafafffaax1ffaay1fy0fafax1faffafffaax1faay0fffay'''fx'''fay'ffay''fx''fay22fx''''fay1fafffaay1x''''fffay'''fx'''fay'ffay''fafffaayx''2fx'fay'1fafffaay'1x'fffay'''fx'''fay'fafffaafffaayx''fay''fxfayfffaayxfffaafffaafffaayx''fay''ffay'''fx'''fay'yy'y'y''y''y'''x''x'''y'''ax'''ffaafffaayx''AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe