%!PS-Adobe-2.0 %%Creator: Graphviz version 2.12 (Tue Oct 23 13:46:12 UTC 2007) %%For: (notin) Jean-Marc Notin,,, %%Title: G %%Pages: (atend) %%BoundingBox: (atend) %%EndComments save %%BeginProlog /DotDict 200 dict def DotDict begin /setupLatin1 { mark /EncodingVector 256 array def EncodingVector 0 ISOLatin1Encoding 0 255 getinterval putinterval EncodingVector 45 /hyphen put % 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 graphviz 0 0 /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 scale } bind def % styles /solid { [] 0 setdash } 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 /showpage { } def /layercolorseq [ % layer color sequence - darkest to lightest [0 0 0] [.2 .8 .8] [.4 .8 .8] [.6 .8 .8] [.8 .8 .8] ] def /layerlen layercolorseq length def /setlayer {/maxlayer exch def /curlayer exch def layercolorseq curlayer 1 sub layerlen mod 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 setupLatin1 %%Page: 1 1 %%PageBoundingBox: 36 36 576 753 %%PageOrientation: Landscape gsave 36 36 576 753 boxprim clip newpath 0 0 1 beginpage 0.985401 0.985401 set_scale 90 rotate 40.5333 -580.533 translate 0.000 0.000 1.000 graphcolor newpath -4 -4 moveto -4 544 lineto 724 544 lineto 724 -4 lineto closepath fill 0.985401 setlinewidth 0.000 0.000 1.000 graphcolor newpath -4 -4 moveto -4 544 lineto 724 544 lineto 724 -4 lineto closepath stroke % Constrextern gsave 0.502 1.000 0.820 nodecolor 172 417 49.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 172 417 49.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 172 412 moveto 72 -0.5 (Constrextern) alignedtext grestore % Reserve gsave 0.502 1.000 0.820 nodecolor 264 319 35.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 264 319 35.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 264 314 moveto 44 -0.5 (Reserve) alignedtext grestore % Constrextern->Reserve gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 188 400 moveto 203 384 225 361 242 343 curveto stroke 0.000 0.000 0.000 edgecolor newpath 245.049 344.831 moveto 249 335 lineto 239.781 340.221 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 245.049 344.831 moveto 249 335 lineto 239.781 340.221 lineto closepath stroke grestore % Notation gsave 0.502 1.000 0.820 nodecolor 268 122 37.1753 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 268 122 37.1753 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 268 117 moveto 49 -0.5 (Notation) alignedtext grestore % Constrextern->Notation gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 178 399 moveto 194 349 240 209 259 150 curveto stroke 0.000 0.000 0.000 edgecolor newpath 262.479 150.584 moveto 262 140 lineto 255.774 148.573 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 262.479 150.584 moveto 262 140 lineto 255.774 148.573 lineto closepath stroke grestore % Topconstr gsave 0.502 1.000 0.820 nodecolor 82 24 41.1755 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 82 24 41.1755 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 82 19 moveto 57 -0.5 (Topconstr) alignedtext grestore % Notation->Topconstr gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 243 109 moveto 211 91 154 62 117 43 curveto stroke 0.000 0.000 0.000 edgecolor newpath 118.441 39.7969 moveto 108 38 lineto 115.042 45.916 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 118.441 39.7969 moveto 108 38 lineto 115.042 45.916 lineto closepath stroke grestore % Ppextend gsave 0.502 1.000 0.820 nodecolor 278 24 39.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 278 24 39.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 278 19 moveto 52 -0.5 (Ppextend) alignedtext grestore % Notation->Ppextend gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 270 104 moveto 272 89 273 68 275 52 curveto stroke 0.000 0.000 0.000 edgecolor newpath 278.488 52.2987 moveto 276 42 lineto 271.522 51.6021 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 278.488 52.2987 moveto 276 42 lineto 271.522 51.6021 lineto closepath stroke grestore % Constrintern gsave 0.502 1.000 0.820 nodecolor 472 417 48.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 472 417 48.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 472 412 moveto 70 -0.5 (Constrintern) alignedtext grestore % Constrintern->Reserve gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 442 403 moveto 404 385 340 355 299 335 curveto stroke 0.000 0.000 0.000 edgecolor newpath 300.56 331.863 moveto 290 331 lineto 297.717 338.26 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 300.56 331.863 moveto 290 331 lineto 297.717 338.26 lineto closepath stroke grestore % Implicit_quantifiers gsave 0.502 1.000 0.820 nodecolor 508 319 69.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 508 319 69.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 508 314 moveto 112 -0.5 (Implicit_quantifiers) alignedtext grestore % Constrintern->Implicit_quantifiers gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 479 399 moveto 484 385 492 364 498 347 curveto stroke 0.000 0.000 0.000 edgecolor newpath 501.479 347.584 moveto 501 337 lineto 494.774 345.573 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 501.479 347.584 moveto 501 337 lineto 494.774 345.573 lineto closepath stroke grestore % Syntax_def gsave 0.502 1.000 0.820 nodecolor 396 220 45.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 396 220 45.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 396 215 moveto 64 -0.5 (Syntax_def) alignedtext grestore % Implicit_quantifiers->Syntax_def gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 488 302 moveto 469 285 442 261 422 244 curveto stroke 0.000 0.000 0.000 edgecolor newpath 424.546 241.596 moveto 415 237 lineto 419.596 246.546 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 424.546 241.596 moveto 415 237 lineto 419.596 246.546 lineto closepath stroke grestore % Coqlib gsave 0.502 1.000 0.820 nodecolor 656 515 32.1777 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 656 515 32.1777 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 656 510 moveto 38 -0.5 (Coqlib) alignedtext grestore % Genarg gsave 0.502 1.000 0.820 nodecolor 82 122 33.175 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 82 122 33.175 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 82 117 moveto 41 -0.5 (Genarg) alignedtext grestore % Genarg->Topconstr gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 82 104 moveto 82 89 82 69 82 52 curveto stroke 0.000 0.000 0.000 edgecolor newpath 85.5001 52 moveto 82 42 lineto 78.5001 52 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 85.5001 52 moveto 82 42 lineto 78.5001 52 lineto closepath stroke grestore % Syntax_def->Notation gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 375 204 moveto 354 187 320 161 296 143 curveto stroke 0.000 0.000 0.000 edgecolor newpath 298.1 140.2 moveto 288 137 lineto 293.9 145.8 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 298.1 140.2 moveto 288 137 lineto 293.9 145.8 lineto closepath stroke grestore % Modintern gsave 0.502 1.000 0.820 nodecolor 472 515 42.1756 18 ellipse_path fill 0.985401 setlinewidth filled 0.502 1.000 0.820 nodecolor 472 515 42.1756 18 ellipse_path stroke 0.000 0.000 0.000 nodecolor 14.00 /Times-Roman set_font 472 510 moveto 59 -0.5 (Modintern) alignedtext grestore % Modintern->Constrintern gsave 0.985401 setlinewidth 0.000 0.000 0.000 edgecolor newpath 472 497 moveto 472 482 472 462 472 445 curveto stroke 0.000 0.000 0.000 edgecolor newpath 475.5 445 moveto 472 435 lineto 468.5 445 lineto closepath fill 0.985401 setlinewidth solid 0.000 0.000 0.000 edgecolor newpath 475.5 445 moveto 472 435 lineto 468.5 445 lineto closepath stroke grestore endpage showpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 %%BoundingBox: 36 36 576 753 end restore %%EOF