--- a/tests/test-tutorial.t Thu Sep 21 17:13:46 2017 +0200
+++ b/tests/test-tutorial.t Thu Sep 21 17:44:58 2017 +0200
@@ -138,38 +138,40 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 1 [fillcolor="#7F7FFF",
+ width=0.5];
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 4d5dc8187023",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
- 0 -> 1;
- 2 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 1 [arrowhead=none,
+ penwidth=2.0];
+ 2 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="2: d85de4546133",
+ height=0.5,
+ label=2,
pin=true,
pos="1,2!",
shape=pentagon,
style=filled,
- width=2];
- 1 -> 2;
+ width=0.5];
+ 1 -> 2 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -215,38 +217,40 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 1 [fillcolor="#7F7FFF",
+ width=0.5];
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 4d5dc8187023",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
- 0 -> 1;
- 2 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 1 [arrowhead=none,
+ penwidth=2.0];
+ 2 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="2: d85de4546133",
+ height=0.5,
+ label=2,
pin=true,
pos="1,2!",
shape=pentagon,
style=filled,
- width=2];
- 1 -> 2;
+ width=0.5];
+ 1 -> 2 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -285,38 +289,40 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 1 [fillcolor="#7F7FFF",
+ width=0.5];
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 4d5dc8187023",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
- 0 -> 1;
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 1 [arrowhead=none,
+ penwidth=2.0];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 9d0363b81950",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=pentagon,
style=filled,
- width=2];
- 1 -> 3;
+ width=0.5];
+ 1 -> 3 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -383,49 +389,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 1 [fillcolor="#7F7FFF",
+ width=0.5];
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 4d5dc8187023",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
- 0 -> 1;
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 1 [arrowhead=none,
+ penwidth=2.0];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 9d0363b81950",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=pentagon,
style=filled,
- width=2];
- 1 -> 3;
+ width=0.5];
+ 1 -> 3 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -459,49 +468,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=pentagon,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=pentagon,
style=filled,
- width=2];
- 5 -> 6;
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -558,49 +570,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=pentagon,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=pentagon,
style=filled,
- width=2];
- 5 -> 6;
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -675,71 +690,76 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=pentagon,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=pentagon,
style=filled,
- width=2];
- 5 -> 6;
- 8 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 8 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="8: 10b8aeaa8cc8",
+ height=0.5,
+ label=8,
pin=true,
pos="1,8!",
shape=pentagon,
style=filled,
- width=2];
- 6 -> 8;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 8 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=pentagon,
style=filled,
- width=2];
- 6 -> 10;
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -814,71 +834,76 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 11 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 11 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="11: 75954b8cd933",
+ height=0.5,
+ label=11,
pin=true,
pos="1,11!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 11;
+ width=0.5];
+ 10 -> 11 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1100,71 +1125,76 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1211,97 +1241,104 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
11 [fillcolor="#DFDFFF",
fixedsize=true,
group=default_alt,
- height=2,
- label="11: 75954b8cd933",
+ height=0.5,
+ label=11,
pin=true,
pos="2,11!",
shape=pentagon,
style="dotted, filled",
- width=2];
- 10 -> 11;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 10 -> 11 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
- 11 -> 12 [arrowtail=dot,
- dir=back,
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
+ 11 -> 12 [arrowhead=none,
minlen=0,
- style=dotted];
- 13 [fillcolor="#FF3535",
+ penwidth=2.0,
+ style=dashed];
+ 13 [fillcolor="#FF4F4F",
fixedsize=true,
group=default_alt,
- height=2,
- label="13: bf1b0d202029",
+ height=0.5,
+ label=13,
pin=true,
pos="2,13!",
shape=pentagon,
style=filled,
- width=2];
- 11 -> 13;
+ width=0.5];
+ 11 -> 13 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1366,82 +1403,88 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
- 14 [fillcolor="#7F7FFF",
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
+ 14 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="14: ee942144f952",
+ height=0.5,
+ label=14,
pin=true,
pos="1,14!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 14;
+ width=0.5];
+ 12 -> 14 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1525,93 +1568,100 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
- 14 [fillcolor="#7F7FFF",
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
+ 14 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="14: ee942144f952",
+ height=0.5,
+ label=14,
pin=true,
pos="1,14!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 14;
- 15 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 14 [arrowhead=none,
+ penwidth=2.0];
+ 15 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="15: 99f039c5ec9e",
+ height=0.5,
+ label=15,
pin=true,
pos="1,15!",
shape=pentagon,
style=filled,
- width=2];
- 14 -> 15;
+ width=0.5];
+ 14 -> 15 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1654,93 +1704,100 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
14 [fillcolor="#DFDFFF",
fixedsize=true,
group=default_alt,
- height=2,
- label="14: ee942144f952",
+ height=0.5,
+ label=14,
pin=true,
pos="2,14!",
shape=pentagon,
style="dotted, filled",
- width=2];
- 12 -> 14;
- 15 [fillcolor="#FF3535",
+ width=0.5];
+ 12 -> 14 [arrowhead=none,
+ penwidth=2.0];
+ 15 [fillcolor="#FF4F4F",
fixedsize=true,
group=default_alt,
- height=2,
- label="15: 99f039c5ec9e",
+ height=0.5,
+ label=15,
pin=true,
pos="2,15!",
shape=pentagon,
style=filled,
- width=2];
- 14 -> 15;
+ width=0.5];
+ 14 -> 15 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1756,16 +1813,16 @@
splines=polyline
];
node [label="\N"];
- 15 [fillcolor="#FF3535",
+ 15 [fillcolor="#FF4F4F",
fixedsize=true,
group=default_alt,
- height=2,
- label="15: 99f039c5ec9e",
+ height=0.5,
+ label=15,
pin=true,
pos="1,15!",
shape=pentagon,
style=filled,
- width=2];
+ width=0.5];
}
#endif
@@ -1800,82 +1857,88 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 7e82d3f3c2cb",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 9ca060c80d74",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 0 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: dfd3a2d7691e",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 6 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 6 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="6: 41aff6a42b75",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=circle,
style=filled,
- width=2];
- 5 -> 6;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: a224f2a4fb9f",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=circle,
style=filled,
- width=2];
- 6 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: a44c85f957d3",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=pentagon,
style=filled,
- width=2];
- 10 -> 12;
- 16 [fillcolor="#7F7FFF",
+ width=0.5];
+ 10 -> 12 [arrowhead=none,
+ penwidth=2.0];
+ 16 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="16: 40aa40daeefb",
+ height=0.5,
+ label=16,
pin=true,
pos="1,16!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 16;
+ width=0.5];
+ 12 -> 16 [arrowhead=none,
+ penwidth=2.0];
}
#endif