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