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