stored paxos impl