%!PS-Adobe-2.0 %%Creator: dot version 1.7.16 (Wed Feb 6 02:14:52 MST 2002) %%For: (filliatr) Jean-Christophe Filliatre %%Title: G %%Pages: (atend) %%BoundingBox: 35 35 577 174 %%EndComments save %%BeginProlog /DotDict 200 dict def DotDict begin /setupLatin1 { mark /EncodingVector 256 array def EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval EncodingVector dup 306 /AE dup 301 /Aacute dup 302 /Acircumflex dup 304 /Adieresis dup 300 /Agrave dup 305 /Aring dup 303 /Atilde dup 307 /Ccedilla dup 311 /Eacute dup 312 /Ecircumflex dup 313 /Edieresis dup 310 /Egrave dup 315 /Iacute dup 316 /Icircumflex dup 317 /Idieresis dup 314 /Igrave dup 334 /Udieresis dup 335 /Yacute dup 376 /thorn dup 337 /germandbls dup 341 /aacute dup 342 /acircumflex dup 344 /adieresis dup 346 /ae dup 340 /agrave dup 345 /aring dup 347 /ccedilla dup 351 /eacute dup 352 /ecircumflex dup 353 /edieresis dup 350 /egrave dup 355 /iacute dup 356 /icircumflex dup 357 /idieresis dup 354 /igrave dup 360 /dcroat dup 361 /ntilde dup 363 /oacute dup 364 /ocircumflex dup 366 /odieresis dup 362 /ograve dup 365 /otilde dup 370 /oslash dup 372 /uacute dup 373 /ucircumflex dup 374 /udieresis dup 371 /ugrave dup 375 /yacute dup 377 /ydieresis % Set up ISO Latin 1 character encoding /starnetISO { dup dup findfont dup length dict begin { 1 index /FID ne { def }{ pop pop } ifelse } forall /Encoding EncodingVector def currentdict end definefont } def /Times-Roman starnetISO def /Times-Italic starnetISO def /Times-Bold starnetISO def /Times-BoldItalic starnetISO def /Helvetica starnetISO def /Helvetica-Oblique starnetISO def /Helvetica-Bold starnetISO def /Helvetica-BoldOblique starnetISO def /Courier starnetISO def /Courier-Oblique starnetISO def /Courier-Bold starnetISO def /Courier-BoldOblique starnetISO def cleartomark } bind def %%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 /alignedtext { % width adj text /text exch def /adj exch def /width exch def gsave width 0 gt { text stringwidth pop adj mul 0 rmoveto } if [] 0 setdash 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 1 setmiterlimit % /arrowlength 10 def % /arrowwidth 5 def % make sure pdfmark is harmless for PS-interpreters other than Distiller /pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse % make '<<' and '>>' safe on PS Level 1 devices /languagelevel where {pop languagelevel}{1} ifelse 2 lt { userdict (<<) cvn ([) cvn load put userdict (>>) cvn ([) cvn load put } if %%EndSetup %%Page: 1 1 %%PageBoundingBox: 36 36 577 174 %%PageOrientation: Portrait gsave 35 35 542 139 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.5444 set_scale 0 0 translate 0 rotate [ /CropBox [36 36 577 174] /PAGES pdfmark 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Summary gsave 10 dict begin 688 134 45 18 ellipse_path stroke gsave 10 dict begin 688 129 moveto 69 -0.5 (Summary) alignedtext end grestore end grestore % Libnames gsave 10 dict begin 815 107 44 18 ellipse_path stroke gsave 10 dict begin 815 102 moveto 67 -0.5 (Libnames) alignedtext end grestore end grestore % Summary -> Libnames newpath 728 125 moveto 740 123 753 120 765 117 curveto stroke 0.000 0.000 0.000 edgecolor newpath 765 115 moveto 775 115 lineto 766 119 lineto closepath fill 0.000 0.000 0.000 edgecolor % Nameops gsave 10 dict begin 940 107 43 18 ellipse_path stroke gsave 10 dict begin 940 102 moveto 65 -0.5 (Nameops) alignedtext end grestore end grestore % Libnames -> Nameops newpath 860 107 moveto 869 107 877 107 886 107 curveto stroke 0.000 0.000 0.000 edgecolor newpath 886 105 moveto 896 107 lineto 886 110 lineto closepath fill 0.000 0.000 0.000 edgecolor % States gsave 10 dict begin 38 234 30 18 ellipse_path stroke gsave 10 dict begin 38 229 moveto 38 -0.5 (States) alignedtext end grestore end grestore % Library gsave 10 dict begin 142 234 37 18 ellipse_path stroke gsave 10 dict begin 142 229 moveto 53 -0.5 (Library) alignedtext end grestore end grestore % States -> Library newpath 68 234 moveto 76 234 85 234 94 234 curveto stroke 0.000 0.000 0.000 edgecolor newpath 94 232 moveto 104 234 lineto 94 237 lineto closepath fill 0.000 0.000 0.000 edgecolor % Declaremods gsave 10 dict begin 298 234 55 18 ellipse_path stroke gsave 10 dict begin 298 229 moveto 89 -0.5 (Declaremods) alignedtext end grestore end grestore % Library -> Declaremods newpath 180 234 moveto 196 234 215 234 232 234 curveto stroke 0.000 0.000 0.000 edgecolor newpath 232 232 moveto 242 234 lineto 232 237 lineto closepath fill 0.000 0.000 0.000 edgecolor % Nametab gsave 10 dict begin 563 126 43 18 ellipse_path stroke gsave 10 dict begin 563 121 moveto 64 -0.5 (Nametab) alignedtext end grestore end grestore % Nametab -> Summary newpath 606 129 moveto 615 130 624 130 633 130 curveto stroke 0.000 0.000 0.000 edgecolor newpath 633 128 moveto 643 131 lineto 633 132 lineto closepath fill 0.000 0.000 0.000 edgecolor % Lib gsave 10 dict begin 450 99 27 18 ellipse_path stroke gsave 10 dict begin 450 94 moveto 23 -0.5 (Lib) alignedtext end grestore end grestore % Declaremods -> Lib newpath 346 225 moveto 358 221 370 215 380 207 curveto 405 186 399 171 416 145 curveto 421 138 427 130 432 123 curveto stroke 0.000 0.000 0.000 edgecolor newpath 430 122 moveto 437 115 lineto 434 125 lineto closepath fill 0.000 0.000 0.000 edgecolor % Global gsave 10 dict begin 450 172 33 18 ellipse_path stroke gsave 10 dict begin 450 167 moveto 45 -0.5 (Global) alignedtext end grestore end grestore % Declaremods -> Global newpath 337 221 moveto 358 214 379 207 380 207 curveto 393 201 406 195 418 189 curveto stroke 0.000 0.000 0.000 edgecolor newpath 416 187 moveto 426 185 lineto 418 192 lineto closepath fill 0.000 0.000 0.000 edgecolor % Libobject gsave 10 dict begin 688 80 43 18 ellipse_path stroke gsave 10 dict begin 688 75 moveto 65 -0.5 (Libobject) alignedtext end grestore end grestore % Libobject -> Libnames newpath 727 88 moveto 739 90 753 93 766 96 curveto stroke 0.000 0.000 0.000 edgecolor newpath 767 94 moveto 776 98 lineto 766 98 lineto closepath fill 0.000 0.000 0.000 edgecolor % Lib -> Nametab newpath 476 105 moveto 489 108 504 112 519 115 curveto stroke 0.000 0.000 0.000 edgecolor newpath 517 112 moveto 526 117 lineto 516 117 lineto closepath fill 0.000 0.000 0.000 edgecolor % Lib -> Libobject newpath 477 97 moveto 516 94 589 88 638 84 curveto stroke 0.000 0.000 0.000 edgecolor newpath 635 82 moveto 645 83 lineto 635 87 lineto closepath fill 0.000 0.000 0.000 edgecolor % Impargs gsave 10 dict begin 298 126 39 18 ellipse_path stroke gsave 10 dict begin 298 121 moveto 56 -0.5 (Impargs) alignedtext end grestore end grestore % Impargs -> Lib newpath 334 120 moveto 359 116 391 110 415 105 curveto stroke 0.000 0.000 0.000 edgecolor newpath 414 103 moveto 424 104 lineto 414 108 lineto closepath fill 0.000 0.000 0.000 edgecolor % Impargs -> Global newpath 331 136 moveto 355 143 387 153 412 161 curveto stroke 0.000 0.000 0.000 edgecolor newpath 412 158 moveto 421 163 lineto 411 163 lineto closepath fill 0.000 0.000 0.000 edgecolor % Global -> Summary newpath 483 169 moveto 515 166 564 160 606 153 curveto 617 151 629 148 640 146 curveto stroke 0.000 0.000 0.000 edgecolor newpath 639 144 moveto 649 144 lineto 640 149 lineto closepath fill 0.000 0.000 0.000 edgecolor % Goptions gsave 10 dict begin 298 72 42 18 ellipse_path stroke gsave 10 dict begin 298 67 moveto 62 -0.5 (Goptions) alignedtext end grestore end grestore % Goptions -> Lib newpath 337 79 moveto 361 83 392 89 415 93 curveto stroke 0.000 0.000 0.000 edgecolor newpath 414 90 moveto 424 94 lineto 414 95 lineto closepath fill 0.000 0.000 0.000 edgecolor % Dischargedhypsmap gsave 10 dict begin 298 18 81 18 ellipse_path stroke gsave 10 dict begin 298 13 moveto 141 -0.5 (Dischargedhypsmap) alignedtext end grestore end grestore % Dischargedhypsmap -> Lib newpath 344 33 moveto 363 39 380 45 380 45 curveto 397 54 415 68 428 79 curveto stroke 0.000 0.000 0.000 edgecolor newpath 428 76 moveto 434 84 lineto 425 80 lineto closepath fill 0.000 0.000 0.000 edgecolor % Declare gsave 10 dict begin 142 126 37 18 ellipse_path stroke gsave 10 dict begin 142 121 moveto 52 -0.5 (Declare) alignedtext end grestore end grestore % Declare -> Impargs newpath 179 126 moveto 200 126 227 126 250 126 curveto stroke 0.000 0.000 0.000 edgecolor newpath 249 124 moveto 259 126 lineto 249 129 lineto closepath fill 0.000 0.000 0.000 edgecolor % Declare -> Dischargedhypsmap newpath 157 109 moveto 178 86 213 48 216 45 curveto 221 42 230 38 241 35 curveto stroke 0.000 0.000 0.000 edgecolor newpath 239 33 moveto 249 32 lineto 241 38 lineto closepath fill 0.000 0.000 0.000 edgecolor % Decl_kinds gsave 10 dict begin 298 180 50 18 ellipse_path stroke gsave 10 dict begin 298 175 moveto 78 -0.5 (Decl_kinds) alignedtext end grestore end grestore % Declare -> Decl_kinds newpath 172 137 moveto 189 143 208 150 216 153 curveto 228 157 240 161 252 165 curveto stroke 0.000 0.000 0.000 edgecolor newpath 252 162 moveto 261 168 lineto 251 167 lineto closepath fill 0.000 0.000 0.000 edgecolor endpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF