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