-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtriangles.dot
71 lines (71 loc) · 2.82 KB
/
triangles.dot
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
digraph lattice {
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node2 [color=black, shape=Mrecord, style=bold,label="02|T4\nT3\nT6|c"]
node12 [color=black, shape=Mrecord, style=bold,label="12|T1\nT4\nT6\nT2|b"]
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node7 [color=black, shape=Mrecord, style=bold,label="07|T2\nT3\nT4\nT6\nT7\nT1\nT5|"]
node8 [color=black, shape=Mrecord, style=bold,label="08|T4\nT6|b\nc"]
node12 [color=black, shape=Mrecord, style=bold,label="12|T1\nT4\nT6\nT2|b"]
node10 [color=black, shape=Mrecord, style=bold,label="10|T1\nT5|d"]
node11 [color=black, shape=Mrecord, style=bold,label="11|T7\nT2|e"]
node12 [color=black, shape=Mrecord, style=bold,label="12|T1\nT4\nT6\nT2|b"]
node13 [color=black, shape=Mrecord, style=bold,label="13|T4|b\nc\na"]
node14 [color=black, shape=Mrecord, style=bold,label="14|T1|b\nd"]
node15 [color=black, shape=Mrecord, style=bold,label="15|T2|e\nb"]
node16 [color=black, shape=Mrecord, style=bold,label="16||e\nc\nb\nd\na"]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node2 -> node8 [color=black]
node12 -> node8 [color=black]
node12 -> node14 [color=black]
node12 -> node15 [color=black]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node7 -> node12 [color=black]
node7 -> node11 [color=black]
node7 -> node10 [color=black]
node7 -> node12 [color=black]
node7 -> node12 [color=black]
node7 -> node2 [color=black]
node8 -> node13 [color=black]
node12 -> node8 [color=black]
node12 -> node14 [color=black]
node12 -> node15 [color=black]
node10 -> node14 [color=black]
node11 -> node15 [color=black]
node12 -> node8 [color=black]
node12 -> node14 [color=black]
node12 -> node15 [color=black]
node13 -> node16 [color=black]
node14 -> node16 [color=black]
node15 -> node16 [color=black]
}