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