Zero 3
Jump 2 3 5
Succ 1
Succ 3
Jump 1 1 1