wolffd@0: digraph g {
wolffd@0: graph [
wolffd@0: ];
wolffd@0: node [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: shape = "box"
wolffd@0: color = "black"
wolffd@0: width = "0.5"
wolffd@0: ];
wolffd@0: edge [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22690" [
wolffd@0: label = "22690\n?"
wolffd@0: pname = "?"
wolffd@0: kind = "proc"
wolffd@0: ];
wolffd@0: "22692" [
wolffd@0: label = "22692\ndotty"
wolffd@0: pname = "dotty"
wolffd@0: kind = "proc"
wolffd@0: ];
wolffd@0: "116842+2595" [
wolffd@0: label = "116842+2595\n/home/ek/work/sun4/bin/dotty"
wolffd@0: fname = "/home/ek/work/sun4/bin/dotty"
wolffd@0: shape = "ellipse"
wolffd@0: kind = "file"
wolffd@0: ];
wolffd@0: "22693" [
wolffd@0: label = "22693\nlefty"
wolffd@0: pname = "lefty"
wolffd@0: kind = "proc"
wolffd@0: ];
wolffd@0: "182440-1" [
wolffd@0: label = "182440-1\n182441-1\npipe"
wolffd@0: fontsize = "7"
wolffd@0: fname = "pipe"
wolffd@0: shape = "doublecircle"
wolffd@0: subkind = "pipe"
wolffd@0: kind = "file"
wolffd@0: ];
wolffd@0: "182442-1" [
wolffd@0: label = "182442-1\n182443-1\npipe"
wolffd@0: fontsize = "7"
wolffd@0: fname = "pipe"
wolffd@0: shape = "doublecircle"
wolffd@0: subkind = "pipe"
wolffd@0: kind = "file"
wolffd@0: ];
wolffd@0: "22694" [
wolffd@0: label = "22694\ndot"
wolffd@0: pname = "dot"
wolffd@0: kind = "proc"
wolffd@0: ];
wolffd@0: "4761+2595" [
wolffd@0: label = "4761+2595\n/home/ek/pm2.dot"
wolffd@0: fname = "/home/ek/pm2.dot"
wolffd@0: shape = "ellipse"
wolffd@0: kind = "file"
wolffd@0: ];
wolffd@0: "22690" -> "22692" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22692" -> "116842+2595" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "back"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22692" -> "22693" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22693" -> "182440-1" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "back"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22693" -> "182442-1" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "forward"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22693" -> "22694" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22694" -> "182440-1" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "forward"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22694" -> "182442-1" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "back"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: "22693" -> "4761+2595" [
wolffd@0: fontsize = "14"
wolffd@0: fontname = "Times-Roman"
wolffd@0: fontcolor = "black"
wolffd@0: dir = "back"
wolffd@0: color = "black"
wolffd@0: ];
wolffd@0: }