f0cons0n__fs0fs0fps0ps00fXn__fXactivaten__fXfXactivateXX2.1f11002cons20activate13f1100cons212n__f11s11p11activate11fs0fps0ps001f121s121002p111fs0fps010fs0fps0true101230123f000f010f020f030s001s011s021s031002p003p013p023p033016s165p154f140AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe