YES 01234x102314x1051234x1012534x1051234x1052134x1051234x1502314x1052314x1015234x12.1101234501234500000010002000300040005010011011102110311041105120022012202220322042205230033013302330333043305340044014402440344044405450055015502550355045505541091198318721760160411941294139414941593191251121121111011106111214211413511365100211215511510AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe