%!PS-Adobe-2.0 %%Creator: dot version uwin98 (01-26-98) %%For: Bill Gates %%Title: G %%Pages: (atend) %%BoundingBox: 36 36 576 158 %%EndComments %%BeginProlog save /DotDict 200 dict def DotDict begin %%BeginResource: procset /coord-font-family /Times-Roman def /default-font-family /Times-Roman def /coordfont coord-font-family findfont 8 scalefont def /InvScaleFactor 1.0 def /set_scale { dup 1 exch div /InvScaleFactor exch def dup scale } bind def % styles /solid { } bind def /dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def /dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def /invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def /bold { 2 setlinewidth } bind def /filled { } bind def /unfilled { } bind def /rounded { } bind def /diagonals { } bind def % hooks for setting color /nodecolor { sethsbcolor } bind def /edgecolor { sethsbcolor } bind def /graphcolor { sethsbcolor } bind def /nopcolor {pop pop pop} bind def /beginpage { % i j npages /npages exch def /j exch def /i exch def /str 10 string def npages 1 gt { gsave coordfont setfont 0 0 moveto (() show i str cvs show (,) show j str cvs show ()) show grestore } if } bind def /set_font { findfont exch scalefont setfont } def % draw aligned label in bounding box aligned to current point % alignfactor tells what fraction to place on the left. % -.5 is centered. /alignedtext { % text labelwidth fontsz alignfactor /alignfactor exch def /fontsz exch def /width exch def /text exch def gsave % even if node or edge is dashed, don't paint text with dashes [] 0 setdash currentpoint newpath moveto text stringwidth pop alignfactor mul fontsz -.3 mul rmoveto text show grestore } def /boxprim { % xcorner ycorner xsize ysize 4 2 roll moveto 2 copy exch 0 rlineto 0 exch rlineto pop neg 0 rlineto closepath } bind def /ellipse_path { /ry exch def /rx exch def /y exch def /x exch def matrix currentmatrix newpath x y translate rx ry scale 0 0 1 0 360 arc setmatrix } bind def /endpage { showpage } bind def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer get aload pop sethsbcolor /nodecolor {nopcolor} def /edgecolor {nopcolor} def /graphcolor {nopcolor} def } bind def /onlayer { curlayer ne {invis} if } def /onlayers { /myupper exch def /mylower exch def curlayer mylower lt curlayer myupper gt or {invis} if } def /curlayer 0 def %%EndResource %%EndProlog %%BeginSetup 14 default-font-family set_font % /arrowlength 10 def % /arrowwidth 5 def %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 576 158 gsave 35 35 541 123 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.8571 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Pcoq gsave 10 dict begin 507 72 27 18 ellipse_path stroke gsave 10 dict begin 507 73 moveto (Pcoq) 28 14.00 -0.50 alignedtext end grestore end grestore % Coqast gsave 10 dict begin 600 72 30 18 ellipse_path stroke gsave 10 dict begin 600 73 moveto (Coqast) 38 14.00 -0.50 alignedtext end grestore end grestore % Pcoq -> Coqast newpath 534 72 moveto 542 72 551 72 560 72 curveto stroke newpath 560 70 moveto 570 72 lineto 560 75 lineto closepath gsave 0 setgray stroke grestore fill % Extend gsave 10 dict begin 321 72 30 18 ellipse_path stroke gsave 10 dict begin 321 73 moveto (Extend) 39 14.00 -0.50 alignedtext end grestore end grestore % Ast gsave 10 dict begin 417 72 27 18 ellipse_path stroke gsave 10 dict begin 417 73 moveto (Ast) 19 14.00 -0.50 alignedtext end grestore end grestore % Extend -> Ast newpath 351 72 moveto 360 72 371 72 380 72 curveto stroke newpath 380 70 moveto 390 72 lineto 380 75 lineto closepath gsave 0 setgray stroke grestore fill % Ast -> Pcoq newpath 444 72 moveto 452 72 461 72 470 72 curveto stroke newpath 470 70 moveto 480 72 lineto 470 75 lineto closepath gsave 0 setgray stroke grestore fill % Termast gsave 10 dict begin 219 124 33 18 ellipse_path stroke gsave 10 dict begin 219 125 moveto (Termast) 45 14.00 -0.50 alignedtext end grestore end grestore % Termast -> Ast newpath 251 120 moveto 282 116 327 109 354 102 curveto 354 102 371 94 387 86 curveto stroke newpath 385 84 moveto 395 82 lineto 387 89 lineto closepath gsave 0 setgray stroke grestore fill % Printer gsave 10 dict begin 120 97 29 18 ellipse_path stroke gsave 10 dict begin 120 98 moveto (Printer) 38 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Termast newpath 147 104 moveto 157 107 169 110 180 113 curveto stroke newpath 180 110 moveto 189 116 lineto 179 115 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax gsave 10 dict begin 219 70 33 18 ellipse_path stroke gsave 10 dict begin 219 71 moveto (Esyntax) 45 14.00 -0.50 alignedtext end grestore end grestore % Printer -> Esyntax newpath 147 90 moveto 157 87 169 84 180 81 curveto stroke newpath 179 79 moveto 189 78 lineto 180 84 lineto closepath gsave 0 setgray stroke grestore fill % Esyntax -> Extend newpath 252 71 moveto 262 71 272 71 281 71 curveto stroke newpath 281 69 moveto 291 71 lineto 281 74 lineto closepath gsave 0 setgray stroke grestore fill % Pretty gsave 10 dict begin 27 97 27 18 ellipse_path stroke gsave 10 dict begin 27 98 moveto (Pretty) 33 14.00 -0.50 alignedtext end grestore end grestore % Pretty -> Printer newpath 54 97 moveto 62 97 71 97 80 97 curveto stroke newpath 80 95 moveto 90 97 lineto 80 100 lineto closepath gsave 0 setgray stroke grestore fill % Astterm gsave 10 dict begin 321 18 33 18 ellipse_path stroke gsave 10 dict begin 321 19 moveto (Astterm) 45 14.00 -0.50 alignedtext end grestore end grestore % Astterm -> Ast newpath 344 31 moveto 357 38 374 48 388 56 curveto stroke newpath 388 53 moveto 396 60 lineto 386 58 lineto closepath gsave 0 setgray stroke grestore fill endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF