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