YES f0x1s0x1d0x10x1dsx1ssdpsx1fsx1dfpsx1psx1x12.10fx10sx10dx10x1sdx1spdssx1sfx1spfdx1spx1x110111f1111s111d111p1110dx10x1sdx1spdssx1sfx1spfdx1spx1x1100dx10x1sdx1spdssx1sdx1ssx1sdx1sx1sfx1spfdx1truesdx1sx1sdx1ssx1truesdx1spdssx1sfx1spfdx1spx1x1sdx0sfx0spx01s111s11d1121p11f1-20dx10x1true0dx10x11true1sdx1spdssx1falsesfx1spfdx1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (12 real / 0 unknown / 0 assumptions / 12 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe