zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthnil0lengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activateXX2.0U12ttactivateactivaten__zeros2activateXXU12ttactivaten__zeros2activateXXU12ttn__zerosU12ttLslengthactivateLslengthactivaten__zeros11activaten__zeroszerosslengthzeros11zeroscons0n__zerosslengthcons0n__zeros1lengthconsNLU11ttactivateLsU11ttactivaten__zeros1U11ttLU12ttactivateLsU12ttactivateactivaten__zeross
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe