pairNscons0n__incrn__oddNsoddNsincrpairNsincrconsXXSconssXn__incractivateXStake0XSniltakesNconsXXSconsXn__takeNactivateXSzipnilXSnilzipXnilnilzipconsXXSconsYYSconspairXYn__zipactivateXSactivateYStailconsXXSactivateXSrepItemsnilnilrepItemsconsXXSconsXn__consXn__repItemsactivateXSincrXn__incrXoddNsn__oddNstakeX1X2n__takeX1X2zipX1X2n__zipX1X2consX1X2n__consX1X2repItemsXn__repItemsXactivaten__incrXincractivateXactivaten__oddNsoddNsactivaten__takeX1X2takeactivateX1activateX2activaten__zipX1X2zipactivateX1activateX2activaten__consX1X2consactivateX1X2activaten__repItemsXrepItemsactivateXactivateXX2.0incrpairNs1pairNscons0n__incrn__oddNsincrcons0n__incrn__oddNsincrconsXXSconssXn__incractivateXSconss0n__incractivaten__incrn__oddNs21activaten__incrXincractivateXconss0n__incrincractivaten__oddNs211activaten__oddNsoddNsconss0n__incrincroddNs211oddNsincrpairNsconss0n__incrincrincrpairNsconss0n__incrincr
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe