digraph paxos {
	acceptor0 -> learner0 [label="learner0"]
	acceptor0 -> proposer0 [label="proposer0"]
	acceptor0 -> proposer1 [label="proposer1"]
	acceptor1 -> learner0 [label="learner0"]
	acceptor1 -> proposer0 [label="proposer0"]
	acceptor1 -> proposer1 [label="proposer1"]
	acceptor2 -> learner0 [label="learner0"]
	acceptor2 -> proposer0 [label="proposer0"]
	acceptor2 -> proposer1 [label="proposer1"]
	proposer0 -> acceptor1 [label="acceptor1"]
	proposer0 -> acceptor2 [label="acceptor2"]
	proposer1 -> acceptor0 [label="acceptor0"]
	proposer1 -> acceptor1 [label="acceptor1"]
}