--- a/scripts/Log/paxos.dot	Sat Feb 02 11:42:48 2019 +0900
+++ b/scripts/Log/paxos.dot	Sat Feb 02 15:18:17 2019 +0900
@@ -1,17 +1,15 @@
-digraph test {
-	proposer1 -> acceptor1 [label="acceptor1"]
-	proposer1 -> acceptor2 [label="acceptor2"]
-	proposer1 -> acceptor3 [label="acceptor3"]
-	proposer2 -> acceptor1 [label="acceptor1"]
-	proposer2 -> acceptor2 [label="acceptor2"]
-	proposer2 -> acceptor3 [label="acceptor3"]
+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"]
-	acceptor3 -> proposer1 [label="proposer1"]
-	acceptor1 -> proposer2 [label="proposer2"]
-	acceptor2 -> proposer2 [label="proposer2"]
-	acceptor3 -> proposer2 [label="proposer2"]
-	acceptor1 -> learner1 [label="learner1"]
-	acceptor2 -> learner1 [label="learner1"]
-	acceptor3 -> learner1 [label="learner1"]
+	proposer0 -> acceptor1 [label="acceptor1"]
+	proposer0 -> acceptor2 [label="acceptor2"]
+	proposer1 -> acceptor0 [label="acceptor0"]
+	proposer1 -> acceptor1 [label="acceptor1"]
 }