Mercurial > evolve

diff tests/test-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 bd7e8be29542
line wrap: on
line diff
--- 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