Mercurial > evolve

diff tests/test-topic-tutorial.t @ 2965:e036aab3d0cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc: update graph with latest version of doc-graph
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 21 Sep 2017 17:44:58 +0200
parents ef361938dfa1
children d1d47e025dd3
line wrap: on
line diff
--- 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