%!PS-Adobe-2.0 %%Creator: dot version 2.2 (Wed Jan 19 21:09:25 UTC 2005) %%For: (herbelin) Hugo Herbelin %%Title: G %%Pages: (atend) %%BoundingBox: 35 35 577 165 %%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 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 dup 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 %%Page: 1 1 %%PageBoundingBox: 36 36 577 165 %%PageOrientation: Portrait gsave 35 35 542 130 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.4696 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Extraargs gsave 10 dict begin 483 110 40 18 ellipse_path stroke gsave 10 dict begin 455 105 moveto (Extraargs) [8.4 6.96 3.84 4.56 6.24 6.24 4.32 6.96 5.52] xshow end grestore end grestore % Setoid_replace gsave 10 dict begin 615 64 54 18 ellipse_path stroke gsave 10 dict begin 573 59 moveto (Setoid_replace) [7.68 6 3.84 6.96 3.84 6.96 6.96 4.56 6.24 6.96 3.84 6.24 6.24 6.24] xshow end grestore end grestore % Extraargs -> Setoid_replace newpath 515 99 moveto 531 93 550 87 567 81 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 569 84 moveto 577 77 lineto 566 77 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 569 84 moveto 577 77 lineto 566 77 lineto closepath stroke end grestore % Tactics gsave 10 dict begin 884 110 33 18 ellipse_path stroke gsave 10 dict begin 864 105 moveto (Tactics) [7.44 6.24 6.24 3.84 3.84 6.24 5.52] xshow end grestore end grestore % Setoid_replace -> Tactics newpath 669 66 moveto 709 68 764 72 810 83 curveto 823 85 837 90 848 94 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 847 98 moveto 858 98 lineto 850 91 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 847 98 moveto 858 98 lineto 850 91 lineto closepath stroke end grestore % Termdn gsave 10 dict begin 998 256 35 18 ellipse_path stroke gsave 10 dict begin 976 251 moveto (Termdn) [7.2 6.24 4.8 10.8 6.96 6.96] xshow end grestore end grestore % Dn gsave 10 dict begin 1112 256 27 18 ellipse_path stroke gsave 10 dict begin 1102 251 moveto (Dn) [10.08 6.96] xshow end grestore end grestore % Termdn -> Dn newpath 1033 256 moveto 1047 256 1061 256 1075 256 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1075 260 moveto 1085 256 lineto 1075 253 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1075 260 moveto 1085 256 lineto 1075 253 lineto closepath stroke end grestore % Hipattern gsave 10 dict begin 998 110 40 18 ellipse_path stroke gsave 10 dict begin 971 105 moveto (Hipattern) [10.08 3.84 6.96 6.24 3.84 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Tactics -> Hipattern newpath 917 110 moveto 927 110 938 110 948 110 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 948 114 moveto 958 110 lineto 948 107 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 948 114 moveto 958 110 lineto 948 107 lineto closepath stroke end grestore % Tacticals gsave 10 dict begin 1112 110 38 18 ellipse_path stroke gsave 10 dict begin 1087 105 moveto (Tacticals) [7.44 6.24 6.24 3.84 3.84 6.24 6.24 3.84 5.52] xshow end grestore end grestore % Hipattern -> Tacticals newpath 1038 110 moveto 1047 110 1055 110 1064 110 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1064 114 moveto 1074 110 lineto 1064 107 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1064 114 moveto 1074 110 lineto 1064 107 lineto closepath stroke end grestore % Tacinterp gsave 10 dict begin 170 191 39 18 ellipse_path stroke gsave 10 dict begin 143 186 moveto (Tacinterp) [7.44 6.24 6.24 3.84 6.96 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Auto gsave 10 dict begin 483 218 27 18 ellipse_path stroke gsave 10 dict begin 468 213 moveto (Auto) [9.6 6.96 3.84 6.96] xshow end grestore end grestore % Tacinterp -> Auto newpath 209 194 moveto 269 200 386 210 445 215 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 445 218 moveto 455 216 lineto 445 212 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 445 218 moveto 455 216 lineto 445 212 lineto closepath stroke end grestore % Leminv gsave 10 dict begin 281 166 35 18 ellipse_path stroke gsave 10 dict begin 259 161 moveto (Leminv) [8.4 6.24 10.8 3.84 6.48 6.96] xshow end grestore end grestore % Tacinterp -> Leminv newpath 205 183 moveto 216 181 228 178 239 175 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 240 178 moveto 249 173 lineto 239 172 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 240 178 moveto 249 173 lineto 239 172 lineto closepath stroke end grestore % Hiddentac gsave 10 dict begin 615 164 42 18 ellipse_path stroke gsave 10 dict begin 585 159 moveto (Hiddentac) [10.08 3.84 6.96 6.96 6.24 6.96 4.08 6.24 6.24] xshow end grestore end grestore % Auto -> Hiddentac newpath 507 208 moveto 526 200 553 189 574 181 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 576 184 moveto 584 177 lineto 573 177 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 576 184 moveto 584 177 lineto 573 177 lineto closepath stroke end grestore % Dhyp gsave 10 dict begin 615 218 29 18 ellipse_path stroke gsave 10 dict begin 599 213 moveto (Dhyp) [10.08 6.48 6.96 6.96] xshow end grestore end grestore % Auto -> Dhyp newpath 511 218 moveto 530 218 555 218 576 218 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 576 222 moveto 586 218 lineto 576 215 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 576 222 moveto 586 218 lineto 576 215 lineto closepath stroke end grestore % Inv gsave 10 dict begin 379 164 27 18 ellipse_path stroke gsave 10 dict begin 369 159 moveto (Inv) [4.56 6.48 6.96] xshow end grestore end grestore % Leminv -> Inv newpath 316 165 moveto 324 165 333 165 342 165 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 342 169 moveto 352 165 lineto 342 162 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 342 169 moveto 352 165 lineto 342 162 lineto closepath stroke end grestore % Refine gsave 10 dict begin 758 110 32 18 ellipse_path stroke gsave 10 dict begin 739 105 moveto (Refine) [9.12 6.24 4.8 3.84 6.96 6.24] xshow end grestore end grestore % Refine -> Tactics newpath 790 110 moveto 805 110 824 110 841 110 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 841 114 moveto 851 110 lineto 841 107 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 841 114 moveto 851 110 lineto 841 107 lineto closepath stroke end grestore % Nbtermdn gsave 10 dict begin 758 256 42 18 ellipse_path stroke gsave 10 dict begin 729 251 moveto (Nbtermdn) [10.08 6.96 3.84 6.24 4.8 10.8 6.96 6.96] xshow end grestore end grestore % Btermdn gsave 10 dict begin 884 256 38 18 ellipse_path stroke gsave 10 dict begin 859 251 moveto (Btermdn) [9.36 3.84 6.24 4.8 10.8 6.96 6.96] xshow end grestore end grestore % Nbtermdn -> Btermdn newpath 800 256 moveto 812 256 824 256 836 256 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 836 260 moveto 846 256 lineto 836 253 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 836 260 moveto 846 256 lineto 836 253 lineto closepath stroke end grestore % Btermdn -> Termdn newpath 922 256 moveto 932 256 943 256 953 256 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 953 260 moveto 963 256 lineto 953 253 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 953 260 moveto 963 256 lineto 953 253 lineto closepath stroke end grestore % Elim gsave 10 dict begin 483 164 27 18 ellipse_path stroke gsave 10 dict begin 468 159 moveto (Elim) [8.4 3.84 3.84 10.8] xshow end grestore end grestore % Inv -> Elim newpath 406 164 moveto 418 164 432 164 445 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 445 168 moveto 455 164 lineto 445 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 445 168 moveto 455 164 lineto 445 161 lineto closepath stroke end grestore % Equality gsave 10 dict begin 483 56 37 18 ellipse_path stroke gsave 10 dict begin 459 51 moveto (Equality) [8.4 6.72 6.96 6.24 3.84 3.84 3.84 6.96] xshow end grestore end grestore % Inv -> Equality newpath 390 147 moveto 401 130 421 102 442 83 curveto 445 80 448 78 451 76 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 453 79 moveto 459 70 lineto 449 73 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 453 79 moveto 459 70 lineto 449 73 lineto closepath stroke end grestore % Elim -> Hiddentac newpath 511 164 moveto 526 164 545 164 562 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 562 168 moveto 572 164 lineto 562 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 562 168 moveto 572 164 lineto 562 161 lineto closepath stroke end grestore % Equality -> Setoid_replace newpath 520 58 moveto 530 59 540 60 551 60 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 551 63 moveto 561 61 lineto 551 57 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 551 63 moveto 561 61 lineto 551 57 lineto closepath stroke end grestore % Evar_tactics gsave 10 dict begin 758 164 48 18 ellipse_path stroke gsave 10 dict begin 722 159 moveto (Evar_tactics) [8.4 6.72 6.24 4.56 6.96 4.08 6.24 6.24 3.84 3.84 6.24 5.52] xshow end grestore end grestore % Hiddentac -> Evar_tactics newpath 658 164 moveto 671 164 685 164 699 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 699 168 moveto 709 164 lineto 699 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 699 168 moveto 709 164 lineto 699 161 lineto closepath stroke end grestore % Evar_tactics -> Tactics newpath 790 150 moveto 808 142 830 132 849 125 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 850 128 moveto 858 121 lineto 847 122 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 850 128 moveto 858 121 lineto 847 122 lineto closepath stroke end grestore % Dhyp -> Tactics newpath 644 219 moveto 684 220 756 217 810 191 curveto 844 175 855 163 872 137 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 875 138 moveto 877 128 lineto 869 135 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 875 138 moveto 877 128 lineto 869 135 lineto closepath stroke end grestore % Dhyp -> Nbtermdn newpath 642 225 moveto 662 230 689 238 712 244 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 712 247 moveto 722 246 lineto 713 241 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 712 247 moveto 722 246 lineto 713 241 lineto closepath stroke end grestore % Contradiction gsave 10 dict begin 758 18 51 18 ellipse_path stroke gsave 10 dict begin 719 13 moveto (Contradiction) [9.36 6.96 6.96 3.84 4.56 6.24 6.96 3.84 6.24 3.84 3.84 6.96 6.96] xshow end grestore end grestore % Contradiction -> Tactics newpath 784 34 moveto 793 39 802 44 810 50 curveto 827 62 845 76 859 88 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 857 91 moveto 867 95 lineto 862 86 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 857 91 moveto 867 95 lineto 862 86 lineto closepath stroke end grestore % Autorewrite gsave 10 dict begin 47 191 47 18 ellipse_path stroke gsave 10 dict begin 13 186 moveto (Autorewrite) [9.6 6.96 3.84 6.96 4.56 5.76 10.08 4.8 3.84 3.84 6.24] xshow end grestore end grestore % Autorewrite -> Tacinterp newpath 94 191 moveto 102 191 111 191 120 191 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 120 195 moveto 130 191 lineto 120 188 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 120 195 moveto 130 191 lineto 120 188 lineto closepath stroke end grestore endpage showpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF