NO zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthnil0lengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXX2.1U12ttactivateactivaten__zerosU12ttLslengthactivateLslengthactivateactivateactivaten__zeros11activateXXslengthactivateactivaten__zeros11activateXXslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zeros1lengthconsNLU11ttactivateLsU11ttactivaten__zeros1U11ttLU12ttactivateLsU12ttactivateactivaten__zerossAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe