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