-x0x-0sy0-sxsy-xyltx0falselt0sytrueltsxsyltxyiftruexyxiffalsexyydivx00div0y0divsxsyifltxy0sdiv-xysy2.110-sxsy-xyltsxsyltxydivsxsyifltxy0sdiv-xysydivsxsyltxydivsxsydiv-xysydivsxsy-xytruedivsxsydiv-xysytrue-x0x-0sy0-sxsy-xy-x00-0sx0-sx0sx11s1010011div21s11-2100divsxsy-xyfalsedivsxsyltxyfalse-sxsy-xytrue-sxsy-xy1true12true2ltsxsyltxytrueltsxsyltxy1true12true2divsxsyifltxy0sdiv-xysyfalseAProVEAProVE 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