6
fontname = "Times-Roman"
14
fontname = "Times-Roman"
24
label = "22692\ndotty"
29
label = "116842+2595\n/home/ek/work/sun4/bin/dotty"
30
fname = "/home/ek/work/sun4/bin/dotty"
35
label = "22693\nlefty"
40
label = "182440-1\n182441-1\npipe"
43
shape = "doublecircle"
48
label = "182442-1\n182443-1\npipe"
51
shape = "doublecircle"
61
label = "4761+2595\n/home/ek/pm2.dot"
62
fname = "/home/ek/pm2.dot"
68
fontname = "Times-Roman"
72
"22692" -> "116842+2595" [
74
fontname = "Times-Roman"
81
fontname = "Times-Roman"
85
"22693" -> "182440-1" [
87
fontname = "Times-Roman"
92
"22693" -> "182442-1" [
94
fontname = "Times-Roman"
101
fontname = "Times-Roman"
105
"22694" -> "182440-1" [
107
fontname = "Times-Roman"
112
"22694" -> "182442-1" [
114
fontname = "Times-Roman"
119
"22693" -> "4761+2595" [
121
fontname = "Times-Roman"