zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthnil0lengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXX2.1U12ttactivateactivaten__zerosU12ttLslengthactivateLslengthactivateactivateactivaten__zeros11activateXXslengthactivateactivaten__zeros11activateXXslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zeros1lengthconsNLU11ttactivateLsU11ttactivaten__zeros1U11ttLU12ttactivateLsU12ttactivateactivaten__zerossAProVEunknownStatistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe