+0xx+sxsyss+xy*0x0*sxsys++xy*xyUemptybbsumempty0sumsinglxxsumUxy+sumxsumyprodemptys0prodsinglxxprodUxy*prodxprody*+U*+U2.12*21211212+21211U21211212002s1111empty02sum1211singl1211311prod1111+0xx*sxsys++xy*xyUemptybbsumempty0sumsinglxxprodemptys0prodsinglxx2*21211+222221112U212221212s1311000sum121311prod121211+sxsyss+xysumUxy+sumxsumyprodUxy*prodxprody2*212221212+233231212U223231312002*0x0AProVEAProVE 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