YES 0000x11011x11001x10000x12.10000x11011x10000x1011x10000x111x10000x11x11001x10000x11001x1000x11001x100x11001x10x1true10111111111011111110000x11011x11001x10000x10000x11011x11001x10000x15101100001010000000000000010111000011110000000000001011011001x10000x11011111111112101210000x11011x11001x10000x1AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe