-0y0-x0x-xsyifgreaterxsys-xpsy0p00psxx2.1-xsy-xpsy-xsypsytrue-xsy-xpsytrue1p111s111-21112-xsy-xpsypsxxpsxx201p111s1211-21122-xsy-xpsy-xsy-xpsy1false1-xsypsyfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe