--- a/tests/test-topic-tutorial.t Thu Sep 21 17:13:46 2017 +0200
+++ b/tests/test-topic-tutorial.t Thu Sep 21 17:44:58 2017 +0200
@@ -74,16 +74,16 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
+ width=0.5];
}
#endif
@@ -123,16 +123,16 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
+ width=0.5];
}
#endif
@@ -165,16 +165,16 @@
splines=polyline
];
node [label="\N"];
- 1 [fillcolor="#7F7FFF",
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 13900241408b",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
+ width=0.5];
}
#endif
@@ -212,27 +212,28 @@
splines=polyline
];
node [label="\N"];
- 1 [fillcolor="#7F7FFF",
+ 1 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="1: 13900241408b",
+ height=0.5,
+ label=1,
pin=true,
pos="1,1!",
shape=pentagon,
style=filled,
- width=2];
- 2 [fillcolor="#7F7FFF",
+ width=0.5];
+ 2 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="2: 287de11b401f",
+ 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
@@ -286,38 +287,40 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ 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: 13900241408b",
+ 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: 287de11b401f",
+ 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
And updating back to the topic reactivates it:
@@ -407,49 +410,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ 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: 13900241408b",
+ 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: 6104862e8b84",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=circle,
style=filled,
- width=2];
- 0 -> 3;
- 2 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 3 [arrowhead=none,
+ penwidth=2.0];
+ 2 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="2: 287de11b401f",
+ 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
@@ -511,49 +517,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 6104862e8b84",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=circle,
style=filled,
- width=2];
- 0 -> 3;
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 3 [arrowhead=none,
+ penwidth=2.0];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 4011b46eeb33",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=pentagon,
style=filled,
- width=2];
- 3 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: 2d50db8b5b4c",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=pentagon,
style=filled,
- width=2];
- 4 -> 5;
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -606,49 +615,52 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 6104862e8b84",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=circle,
style=filled,
- width=2];
- 0 -> 3;
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 3 [arrowhead=none,
+ penwidth=2.0];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 4011b46eeb33",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 3 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: 2d50db8b5b4c",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -827,126 +839,136 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 6104862e8b84",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=circle,
style=filled,
- width=2];
- 0 -> 3;
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 3 [arrowhead=none,
+ penwidth=2.0];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 4011b46eeb33",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 3 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: 2d50db8b5b4c",
+ 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: 183984ef46d1",
+ height=0.5,
+ label=6,
pin=true,
pos="1,6!",
shape=pentagon,
style=filled,
- width=2];
- 5 -> 6;
- 9 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 6 [arrowhead=none,
+ penwidth=2.0];
+ 9 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="9: 8dfa45bd5e0c",
+ height=0.5,
+ label=9,
pin=true,
pos="1,9!",
shape=pentagon,
style=filled,
- width=2];
- 5 -> 9;
- 11 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 9 [arrowhead=none,
+ penwidth=2.0];
+ 11 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="11: f2d6cacc6115",
+ height=0.5,
+ label=11,
pin=true,
pos="1,11!",
shape=circle,
style=filled,
- width=2];
- 5 -> 11;
- 7 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 11 [arrowhead=none,
+ penwidth=2.0];
+ 7 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="7: cffff85af537",
+ height=0.5,
+ label=7,
pin=true,
pos="1,7!",
shape=pentagon,
style=filled,
- width=2];
- 6 -> 7;
- 8 [fillcolor="#7F7FFF",
+ width=0.5];
+ 6 -> 7 [arrowhead=none,
+ penwidth=2.0];
+ 8 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="8: 34255b455dac",
+ height=0.5,
+ label=8,
pin=true,
pos="1,8!",
shape=pentagon,
style=filled,
- width=2];
- 7 -> 8;
- 10 [fillcolor="#7F7FFF",
+ width=0.5];
+ 7 -> 8 [arrowhead=none,
+ penwidth=2.0];
+ 10 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="10: 70dfa201ed73",
+ height=0.5,
+ label=10,
pin=true,
pos="1,10!",
shape=pentagon,
style=filled,
- width=2];
- 9 -> 10;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 9 -> 10 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: fbff9bc37a43",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=circle,
style=filled,
- width=2];
- 11 -> 12;
+ width=0.5];
+ 11 -> 12 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1158,86 +1180,92 @@
splines=polyline
];
node [label="\N"];
- 12 [fillcolor="#7F7FFF",
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: fbff9bc37a43",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=circle,
style=filled,
- width=2];
+ width=0.5];
13 [fillcolor="#DFDFFF",
fixedsize=true,
group=default_alt,
- height=2,
- label="13: a8ab3599d53d",
+ height=0.5,
+ label=13,
pin=true,
pos="2,13!",
shape=pentagon,
style="dotted, filled",
- width=2];
- 12 -> 13;
- 18 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 13 [arrowhead=none,
+ penwidth=2.0];
+ 18 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="18: b7509bd417f8",
+ height=0.5,
+ label=18,
pin=true,
pos="1,18!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 18;
- 16 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 18 [arrowhead=none,
+ penwidth=2.0];
+ 16 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="16: 20759cb47ff8",
+ height=0.5,
+ label=16,
pin=true,
pos="1,16!",
shape=circle,
style=filled,
- width=2];
- 12 -> 16;
- 13 -> 18 [arrowtail=dot,
- dir=back,
+ width=0.5];
+ 12 -> 16 [arrowhead=none,
+ penwidth=2.0];
+ 13 -> 18 [arrowhead=none,
minlen=0,
- style=dotted];
- 14 [fillcolor="#FF3535",
+ penwidth=2.0,
+ style=dashed];
+ 14 [fillcolor="#FF4F4F",
fixedsize=true,
group=default_alt,
- height=2,
- label="14: d4f97f32f8a1",
+ height=0.5,
+ label=14,
pin=true,
pos="2,14!",
shape=pentagon,
style=filled,
- width=2];
- 13 -> 14;
- 15 [fillcolor="#FF3535",
+ width=0.5];
+ 13 -> 14 [arrowhead=none,
+ penwidth=2.0];
+ 15 [fillcolor="#FF4F4F",
fixedsize=true,
group=default_alt,
- height=2,
- label="15: bb1e6254f532",
+ height=0.5,
+ label=15,
pin=true,
pos="2,15!",
shape=pentagon,
style=filled,
- width=2];
- 14 -> 15;
- 17 [fillcolor="#7F7FFF",
+ width=0.5];
+ 14 -> 15 [arrowhead=none,
+ penwidth=2.0];
+ 17 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="17: 4cd7c1591a67",
+ height=0.5,
+ label=17,
pin=true,
pos="1,17!",
shape=circle,
style=filled,
- width=2];
- 16 -> 17;
+ width=0.5];
+ 16 -> 17 [arrowhead=none,
+ penwidth=2.0];
}
#endif
@@ -1330,71 +1358,76 @@
splines=polyline
];
node [label="\N"];
- 12 [fillcolor="#7F7FFF",
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: fbff9bc37a43",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=circle,
style=filled,
- width=2];
- 16 [fillcolor="#7F7FFF",
+ width=0.5];
+ 16 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="16: 20759cb47ff8",
+ height=0.5,
+ label=16,
pin=true,
pos="1,16!",
shape=circle,
style=filled,
- width=2];
- 12 -> 16;
- 18 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 16 [arrowhead=none,
+ penwidth=2.0];
+ 18 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="18: b7509bd417f8",
+ height=0.5,
+ label=18,
pin=true,
pos="1,18!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 18;
- 17 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 18 [arrowhead=none,
+ penwidth=2.0];
+ 17 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="17: 4cd7c1591a67",
+ height=0.5,
+ label=17,
pin=true,
pos="1,17!",
shape=circle,
style=filled,
- width=2];
- 16 -> 17;
- 19 [fillcolor="#7F7FFF",
+ width=0.5];
+ 16 -> 17 [arrowhead=none,
+ penwidth=2.0];
+ 19 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="19: d5c51ee5762a",
+ height=0.5,
+ label=19,
pin=true,
pos="1,19!",
shape=pentagon,
style=filled,
- width=2];
- 18 -> 19;
- 20 [fillcolor="#7F7FFF",
+ width=0.5];
+ 18 -> 19 [arrowhead=none,
+ penwidth=2.0];
+ 20 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="20: bae3758e46bf",
+ height=0.5,
+ label=20,
pin=true,
pos="1,20!",
shape=pentagon,
style=filled,
- width=2];
- 19 -> 20;
+ width=0.5];
+ 19 -> 20 [arrowhead=none,
+ penwidth=2.0];
}
#endif
Multi-headed stack
@@ -1506,137 +1539,148 @@
splines=polyline
];
node [label="\N"];
- 0 [fillcolor="#7F7FFF",
+ 0 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="0: 38da43f0a2ea",
+ height=0.5,
+ label=0,
pin=true,
pos="1,0!",
shape=circle,
style=filled,
- width=2];
- 3 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="3: 6104862e8b84",
+ height=0.5,
+ label=3,
pin=true,
pos="1,3!",
shape=circle,
style=filled,
- width=2];
- 0 -> 3;
- 4 [fillcolor="#7F7FFF",
+ width=0.5];
+ 0 -> 3 [arrowhead=none,
+ penwidth=2.0];
+ 4 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="4: 4011b46eeb33",
+ height=0.5,
+ label=4,
pin=true,
pos="1,4!",
shape=circle,
style=filled,
- width=2];
- 3 -> 4;
- 5 [fillcolor="#7F7FFF",
+ width=0.5];
+ 3 -> 4 [arrowhead=none,
+ penwidth=2.0];
+ 5 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="5: 2d50db8b5b4c",
+ height=0.5,
+ label=5,
pin=true,
pos="1,5!",
shape=circle,
style=filled,
- width=2];
- 4 -> 5;
- 11 [fillcolor="#7F7FFF",
+ width=0.5];
+ 4 -> 5 [arrowhead=none,
+ penwidth=2.0];
+ 11 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="11: f2d6cacc6115",
+ height=0.5,
+ label=11,
pin=true,
pos="1,11!",
shape=circle,
style=filled,
- width=2];
- 5 -> 11;
- 12 [fillcolor="#7F7FFF",
+ width=0.5];
+ 5 -> 11 [arrowhead=none,
+ penwidth=2.0];
+ 12 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="12: fbff9bc37a43",
+ height=0.5,
+ label=12,
pin=true,
pos="1,12!",
shape=circle,
style=filled,
- width=2];
- 11 -> 12;
- 16 [fillcolor="#7F7FFF",
+ width=0.5];
+ 11 -> 12 [arrowhead=none,
+ penwidth=2.0];
+ 16 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="16: 20759cb47ff8",
+ height=0.5,
+ label=16,
pin=true,
pos="1,16!",
shape=circle,
style=filled,
- width=2];
- 12 -> 16;
- 18 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 16 [arrowhead=none,
+ penwidth=2.0];
+ 18 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="18: b7509bd417f8",
+ height=0.5,
+ label=18,
pin=true,
pos="1,18!",
shape=pentagon,
style=filled,
- width=2];
- 12 -> 18;
- 17 [fillcolor="#7F7FFF",
+ width=0.5];
+ 12 -> 18 [arrowhead=none,
+ penwidth=2.0];
+ 17 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="17: 4cd7c1591a67",
+ height=0.5,
+ label=17,
pin=true,
pos="1,17!",
shape=circle,
style=filled,
- width=2];
- 16 -> 17;
- 19 [fillcolor="#7F7FFF",
+ width=0.5];
+ 16 -> 17 [arrowhead=none,
+ penwidth=2.0];
+ 19 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="19: d5c51ee5762a",
+ height=0.5,
+ label=19,
pin=true,
pos="1,19!",
shape=pentagon,
style=filled,
- width=2];
- 18 -> 19;
- 21 [fillcolor="#7F7FFF",
+ width=0.5];
+ 18 -> 19 [arrowhead=none,
+ penwidth=2.0];
+ 21 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="21: f936c6da9d61",
+ height=0.5,
+ label=21,
pin=true,
pos="1,21!",
shape=pentagon,
style=filled,
- width=2];
- 18 -> 21;
- 20 [fillcolor="#7F7FFF",
+ width=0.5];
+ 18 -> 21 [arrowhead=none,
+ penwidth=2.0];
+ 20 [fillcolor="#9999FF",
fixedsize=true,
group=default,
- height=2,
- label="20: bae3758e46bf",
+ height=0.5,
+ label=20,
pin=true,
pos="1,20!",
shape=pentagon,
style=filled,
- width=2];
- 19 -> 20;
+ width=0.5];
+ 19 -> 20 [arrowhead=none,
+ penwidth=2.0];
}
#endif
--- 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