hmt-0.16: data/dot/tj_oh_p162.dot
graph
g {
edge [len=1.75];
graph [layout=neato,epsilon=0.000001];
node [shape=plaintext,fontsize=10,fontname="century schoolbook"];
0 [label="0,1,2,6"];
1 [label="0,2,5,6"];
2 [label="1,2,4,6"];
3 [label="1,2,6,8"];
4 [label="0,1,3,5"];
5 [label="0,1,5,7"];
6 [label="1,3,4,5"];
7 [label="1,3,5,8"];
8 [label="0,1,4,8"];
9 [label="0,4,5,8"];
10 [label="1,4,5,7"];
11 [label="1,5,7,8"];
12 [label="0,2,3,4"];
13 [label="0,2,3,8"];
14 [label="0,2,4,7"];
15 [label="0,3,4,6"];
16 [label="2,3,4,8"];
17 [label="0,2,7,8"];
18 [label="0,3,6,8"];
19 [label="0,4,6,7"];
20 [label="2,4,7,8"];
21 [label="2,4,5,6"];
22 [label="2,5,6,8"];
23 [label="0,6,7,8"];
24 [label="3,4,6,8"];
25 [label="4,6,7,8"];
26 [label="1,2,3,7"];
27 [label="1,3,6,7"];
28 [label="2,3,5,7"];
29 [label="3,5,6,7"];
0 -- 1;
0 -- 2;
0 -- 3;
1 -- 21;
1 -- 22;
2 -- 3;
2 -- 21;
3 -- 22;
4 -- 5;
4 -- 6;
4 -- 7;
5 -- 10;
5 -- 11;
6 -- 7;
6 -- 10;
7 -- 11;
8 -- 9;
10 -- 11;
12 -- 13;
12 -- 14;
12 -- 15;
12 -- 16;
13 -- 16;
13 -- 17;
13 -- 18;
14 -- 17;
14 -- 19;
14 -- 20;
15 -- 18;
15 -- 19;
15 -- 24;
16 -- 20;
16 -- 24;
17 -- 20;
17 -- 23;
18 -- 23;
18 -- 24;
19 -- 23;
19 -- 25;
20 -- 25;
21 -- 22;
23 -- 25;
24 -- 25;
26 -- 27;
26 -- 28;
27 -- 29;
28 -- 29;
}