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