Added kokot sequence
Switched to new backend