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