11.3 LB Sequence Paxos Algorithms v1