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