File: issue.dot

package info (click to toggle)
dot2tex 2.11.3-8
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,740 kB
  • sloc: python: 3,673; makefile: 119
file content (91 lines) | stat: -rw-r--r-- 4,154 bytes parent folder | download | duplicates (5)
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
digraph G{
    subgraph {
        S8;
        S24;
        S1;
        S35;
        S30;

        graph [rank=min,size="8,8"];
        }    subgraph {
        T8;
        T24;
        T1;
        T35;
        T30;

        graph [rank=max,size="8,8"];
        }    edge[style="showpoints=true, linecolor=red"];
    node[style="fillstyle=solid"];
    S8 -> 9 [style="showpoints=true, linecolor=red"];
    S24 -> 27 [style="showpoints=true, linecolor=red"];
    S24 -> 25 [style="showpoints=true, linecolor=red"];
    S1 -> 10 [style="showpoints=true, linecolor=red"];
    S1 -> 2 [style="showpoints=true, linecolor=red"];
    S35 -> 36 [style="showpoints=true, linecolor=red"];
    S35 -> 43 [style="showpoints=true, linecolor=red"];
    S30 -> 31 [style="showpoints=true, linecolor=red"];
    S30 -> 33 [style="showpoints=true, linecolor=red"];
    9 -> 42 [style="showpoints=true, linecolor=red"];
    9 -> T1 [style="showpoints=true, linecolor=red"];
    25 -> T1 [style="showpoints=true, linecolor=red"];
    25 -> 26 [style="showpoints=true, linecolor=red"];
    27 -> T24 [style="showpoints=true, linecolor=red"];
    2 -> 3 [style="showpoints=true, linecolor=red"];
    2 -> 16 [style="showpoints=true, linecolor=red"];
    2 -> 17 [style="showpoints=true, linecolor=red"];
    2 -> T1 [style="showpoints=true, linecolor=red"];
    2 -> 18 [style="showpoints=true, linecolor=red"];
    10 -> 11 [style="showpoints=true, linecolor=red"];
    10 -> 14 [style="showpoints=true, linecolor=red"];
    10 -> T1 [style="showpoints=true, linecolor=red"];
    10 -> 13 [style="showpoints=true, linecolor=red"];
    10 -> 12 [style="showpoints=true, linecolor=red"];
    31 -> T1 [style="showpoints=true, linecolor=red"];
    31 -> 32 [style="showpoints=true, linecolor=red"];
    33 -> T30 [style="showpoints=true, linecolor=red"];
    33 -> 34 [style="showpoints=true, linecolor=red"];
    42 -> 4 [style="showpoints=true, linecolor=red"];
    26 -> 4 [style="showpoints=true, linecolor=red"];
    3 -> 4 [style="showpoints=true, linecolor=red"];
    16 -> 15 [style="showpoints=true, linecolor=red"];
    17 -> 19 [style="showpoints=true, linecolor=red"];
    18 -> 29 [style="showpoints=true, linecolor=red"];
    11 -> 4 [style="showpoints=true, linecolor=red"];
    14 -> 15 [style="showpoints=true, linecolor=red"];
    37 -> 39 [style="showpoints=true, linecolor=red"];
    37 -> 41 [style="showpoints=true, linecolor=red"];
    37 -> 38 [style="showpoints=true, linecolor=red"];
    37 -> 40 [style="showpoints=true, linecolor=red"];
    13 -> 19 [style="showpoints=true, linecolor=red"];
    12 -> 29 [style="showpoints=true, linecolor=red"];
    43 -> 38 [style="showpoints=true, linecolor=red"];
    43 -> 40 [style="showpoints=true, linecolor=red"];
    36 -> 19 [style="showpoints=true, linecolor=red"];
    32 -> 23 [style="showpoints=true, linecolor=red"];
    34 -> 29 [style="showpoints=true, linecolor=red"];
    39 -> 15 [style="showpoints=true, linecolor=red"];
    41 -> 29 [style="showpoints=true, linecolor=red"];
    38 -> 4 [style="showpoints=true, linecolor=red"];
    40 -> 19 [style="showpoints=true, linecolor=red"];
    4 -> 5 [style="showpoints=true, linecolor=red"];
    19 -> 21 [style="showpoints=true, linecolor=red"];
    19 -> 20 [style="showpoints=true, linecolor=red"];
    19 -> 28 [style="showpoints=true, linecolor=red"];
    5 -> 6 [style="showpoints=true, linecolor=red"];
    5 -> T35 [style="showpoints=true, linecolor=red"];
    5 -> 23 [style="showpoints=true, linecolor=red"];
    21 -> 22 [style="showpoints=true, linecolor=red"];
    20 -> 15 [style="showpoints=true, linecolor=red"];
    28 -> 29 [style="showpoints=true, linecolor=red"];
    6 -> 7 [style="showpoints=true, linecolor=red"];
    15 -> T1 [style="showpoints=true, linecolor=red"];
    22 -> 23 [style="showpoints=true, linecolor=red"];
    22 -> T35 [style="showpoints=true, linecolor=red"];
    29 -> T30 [style="showpoints=true, linecolor=red"];
    7 -> T8 [style="showpoints=true, linecolor=red"];
    23 -> T24 [style="showpoints=true, linecolor=red"];
    23 -> T1 [style="showpoints=true, linecolor=red"];

    graph [size="8,8"];
}