11x143x112x121x122x1111x133x156x134x111x144x13x155x162x156x112x166x121x12.11111185411157311111321111285111118611110711x143x112x121x134x111x111x13x112x11x134x111x134x11x1true111-22111214121312121113122111x13x112x11x112x11x1true12111111112x11x112x11x11true111x13x1falseAProVEAProVE 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