paxos1.tar is the identical paxos code