%!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 146 %%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 146 %%PageOrientation: Portrait gsave 35 35 542 111 boxprim clip newpath 36 36 translate 0 0 1 beginpage 0.3600 set_scale 0 0 translate 0 rotate 0.000 0.000 0.000 graphcolor 14.00 /Times-Roman set_font % Unification gsave 10 dict begin 610 118 45 18 ellipse_path stroke gsave 10 dict begin 577 113 moveto (Unification) [9.6 6.96 3.84 4.8 3.84 6.24 6.24 3.84 3.84 6.96 6.96] xshow end grestore end grestore % Evarutil gsave 10 dict begin 728 72 36 18 ellipse_path stroke gsave 10 dict begin 705 67 moveto (Evarutil) [8.4 6.72 6.24 4.8 6.96 3.84 3.84 3.84] xshow end grestore end grestore % Unification -> Evarutil newpath 643 105 moveto 657 99 674 93 689 87 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 691 90 moveto 699 83 lineto 688 83 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 691 90 moveto 699 83 lineto 688 83 lineto closepath stroke end grestore % Pattern gsave 10 dict begin 728 210 33 18 ellipse_path stroke gsave 10 dict begin 708 205 moveto (Pattern) [7.44 6.24 3.84 3.84 6.24 4.8 6.96] xshow end grestore end grestore % Unification -> Pattern newpath 631 134 moveto 650 150 680 173 701 189 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 699 192 moveto 709 195 lineto 703 186 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 699 192 moveto 709 195 lineto 703 186 lineto closepath stroke end grestore % Retyping gsave 10 dict begin 839 118 38 18 ellipse_path stroke gsave 10 dict begin 813 113 moveto (Retyping) [9.12 6 3.84 6.96 6.96 3.84 6.96 6.96] xshow end grestore end grestore % Unification -> Retyping newpath 656 118 moveto 695 118 750 118 790 118 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 790 122 moveto 800 118 lineto 790 115 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 790 122 moveto 800 118 lineto 790 115 lineto closepath stroke end grestore % Typing gsave 10 dict begin 839 64 32 18 ellipse_path stroke gsave 10 dict begin 819 59 moveto (Typing) [6.96 6.96 6.96 3.84 6.96 6.96] xshow end grestore end grestore % Evarutil -> Typing newpath 764 69 moveto 775 68 786 67 797 67 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 797 70 moveto 807 66 lineto 797 64 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 797 70 moveto 807 66 lineto 797 64 lineto closepath stroke end grestore % Rawterm gsave 10 dict begin 1109 110 39 18 ellipse_path stroke gsave 10 dict begin 1083 105 moveto (Rawterm) [9.36 5.76 10.08 3.84 6.24 4.8 10.8] xshow end grestore end grestore % Pattern -> Rawterm newpath 759 216 moveto 816 226 939 239 1024 191 curveto 1049 176 1038 155 1060 138 curveto 1069 131 1077 130 1084 129 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1085 132 moveto 1094 127 lineto 1084 126 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1085 132 moveto 1094 127 lineto 1084 126 lineto closepath stroke end grestore % Inductiveops gsave 10 dict begin 1109 164 49 18 ellipse_path stroke gsave 10 dict begin 1073 159 moveto (Inductiveops) [4.56 6.96 6.96 6.96 6.24 3.84 3.84 6.48 6.24 6.96 6.96 5.52] xshow end grestore end grestore % Retyping -> Inductiveops newpath 878 120 moveto 915 122 974 126 1024 137 curveto 1037 139 1051 144 1064 148 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1063 151 moveto 1074 151 lineto 1065 145 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1063 151 moveto 1074 151 lineto 1065 145 lineto closepath stroke end grestore % Pretype_errors gsave 10 dict begin 969 72 54 18 ellipse_path stroke gsave 10 dict begin 927 67 moveto (Pretype_errors) [7.68 4.56 6 3.84 6.96 6.96 6.24 6.96 6.24 5.04 4.56 6.96 4.56 5.52] xshow end grestore end grestore % Typing -> Pretype_errors newpath 871 66 moveto 881 67 893 68 905 68 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 905 71 moveto 915 69 lineto 905 65 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 905 71 moveto 915 69 lineto 905 65 lineto closepath stroke end grestore % Pretype_errors -> Inductiveops newpath 998 87 moveto 1007 92 1016 98 1024 104 curveto 1042 116 1043 124 1060 137 curveto 1063 139 1067 142 1071 144 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1070 147 moveto 1080 149 lineto 1073 141 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1070 147 moveto 1080 149 lineto 1073 141 lineto closepath stroke end grestore % Pretype_errors -> Rawterm newpath 1011 84 moveto 1029 88 1048 94 1065 98 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1064 101 moveto 1075 101 lineto 1066 95 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1064 101 moveto 1075 101 lineto 1066 95 lineto closepath stroke end grestore % Tacred gsave 10 dict begin 728 18 32 18 ellipse_path stroke gsave 10 dict begin 709 13 moveto (Tacred) [7.44 6.24 6.24 4.56 6.24 6.96] xshow end grestore end grestore % Tacred -> Retyping newpath 748 32 moveto 754 36 759 41 764 45 curveto 783 63 782 73 800 91 curveto 802 93 805 95 808 97 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 806 100 moveto 816 103 lineto 810 94 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 806 100 moveto 816 103 lineto 810 94 lineto closepath stroke end grestore % Tacred -> Typing newpath 754 29 moveto 769 35 787 43 803 49 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 802 53 moveto 813 53 lineto 805 46 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 802 53 moveto 813 53 lineto 805 46 lineto closepath stroke end grestore % Cbv gsave 10 dict begin 1246 41 27 18 ellipse_path stroke gsave 10 dict begin 1234 36 moveto (Cbv) [9.36 6.48 6.96] xshow end grestore end grestore % Tacred -> Cbv newpath 760 19 moveto 852 23 1111 35 1209 40 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1209 44 moveto 1219 40 lineto 1209 37 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1209 44 moveto 1219 40 lineto 1209 37 lineto closepath stroke end grestore % Evd gsave 10 dict begin 1361 110 27 18 ellipse_path stroke gsave 10 dict begin 1349 105 moveto (Evd) [8.4 6.96 6.96] xshow end grestore end grestore % Cbv -> Evd newpath 1266 53 moveto 1284 64 1312 80 1332 93 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1331 96 moveto 1341 98 lineto 1334 90 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1331 96 moveto 1341 98 lineto 1334 90 lineto closepath stroke end grestore % Reductionops gsave 10 dict begin 1246 164 51 18 ellipse_path stroke gsave 10 dict begin 1207 159 moveto (Reductionops) [9.12 6.24 6.96 6.96 6.24 3.84 3.84 6.96 6.96 6.96 6.96 5.52] xshow end grestore end grestore % Inductiveops -> Reductionops newpath 1158 164 moveto 1167 164 1175 164 1184 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1184 168 moveto 1194 164 lineto 1184 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1184 168 moveto 1194 164 lineto 1184 161 lineto closepath stroke end grestore % Reductionops -> Evd newpath 1277 150 moveto 1294 142 1313 133 1330 125 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1331 128 moveto 1339 121 lineto 1328 122 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1331 128 moveto 1339 121 lineto 1328 122 lineto closepath stroke end grestore % Termops gsave 10 dict begin 1462 110 37 18 ellipse_path stroke gsave 10 dict begin 1437 105 moveto (Termops) [7.2 6.24 4.8 10.8 6.96 6.96 5.52] xshow end grestore end grestore % Evd -> Termops newpath 1388 110 moveto 1396 110 1405 110 1414 110 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1414 114 moveto 1424 110 lineto 1414 107 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1414 114 moveto 1424 110 lineto 1414 107 lineto closepath stroke end grestore % Recordops gsave 10 dict begin 485 24 43 18 ellipse_path stroke gsave 10 dict begin 455 19 moveto (Recordops) [9.12 6.24 6.24 6.96 4.32 6.96 6.96 6.96 5.52] xshow end grestore end grestore % Classops gsave 10 dict begin 610 20 38 18 ellipse_path stroke gsave 10 dict begin 584 15 moveto (Classops) [9.36 3.84 6.24 5.52 5.52 6.96 6.96 5.52] xshow end grestore end grestore % Recordops -> Classops newpath 528 23 moveto 538 22 550 22 561 22 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 561 25 moveto 571 21 lineto 561 19 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 561 25 moveto 571 21 lineto 561 19 lineto closepath stroke end grestore % Classops -> Tacred newpath 649 19 moveto 661 19 674 19 686 19 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 686 23 moveto 696 19 lineto 686 16 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 686 23 moveto 696 19 lineto 686 16 lineto closepath stroke end grestore % Rawterm -> Evd newpath 1148 110 moveto 1196 110 1277 110 1324 110 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1324 114 moveto 1334 110 lineto 1324 107 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1324 114 moveto 1334 110 lineto 1324 107 lineto closepath stroke end grestore % Pretyping gsave 10 dict begin 40 183 40 18 ellipse_path stroke gsave 10 dict begin 13 178 moveto (Pretyping) [7.68 4.56 6 3.84 6.96 6.96 3.84 6.96 6.96] xshow end grestore end grestore % Pretyping -> Pattern newpath 78 189 moveto 121 194 191 202 251 202 curveto 251 202 251 202 485 202 curveto 556 202 636 205 685 208 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 685 212 moveto 695 208 lineto 685 205 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 685 212 moveto 695 208 lineto 685 205 lineto closepath stroke end grestore % Cases gsave 10 dict begin 146 64 30 18 ellipse_path stroke gsave 10 dict begin 129 59 moveto (Cases) [9.36 6.24 5.52 6.24 5.52] xshow end grestore end grestore % Pretyping -> Cases newpath 53 166 moveto 68 147 93 115 116 91 curveto 118 89 119 88 121 86 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 124 88 moveto 129 79 lineto 119 83 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 124 88 moveto 129 79 lineto 119 83 lineto closepath stroke end grestore % Detyping gsave 10 dict begin 969 164 39 18 ellipse_path stroke gsave 10 dict begin 942 159 moveto (Detyping) [10.08 6 3.84 6.96 6.96 3.84 6.96 6.96] xshow end grestore end grestore % Pretyping -> Detyping newpath 78 177 moveto 121 172 191 164 251 164 curveto 251 164 251 164 728 164 curveto 794 164 870 164 919 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 919 168 moveto 929 164 lineto 919 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 919 168 moveto 929 164 lineto 919 161 lineto closepath stroke end grestore % Indrec gsave 10 dict begin 251 271 31 18 ellipse_path stroke gsave 10 dict begin 233 266 moveto (Indrec) [4.56 6.96 6.96 4.56 6.24 6.24] xshow end grestore end grestore % Pretyping -> Indrec newpath 69 195 moveto 83 202 101 209 116 216 curveto 150 230 188 246 216 257 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 214 260 moveto 225 261 lineto 217 254 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 214 260 moveto 225 261 lineto 217 254 lineto closepath stroke end grestore % Coercion gsave 10 dict begin 251 67 39 18 ellipse_path stroke gsave 10 dict begin 225 62 moveto (Coercion) [9.36 6.96 6.24 4.56 6.24 3.84 6.96 6.96] xshow end grestore end grestore % Cases -> Coercion newpath 176 65 moveto 184 65 193 66 202 66 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 202 70 moveto 212 66 lineto 202 63 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 202 70 moveto 212 66 lineto 202 63 lineto closepath stroke end grestore % Detyping -> Inductiveops newpath 1009 164 moveto 1022 164 1036 164 1050 164 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1050 168 moveto 1060 164 lineto 1050 161 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1050 168 moveto 1060 164 lineto 1050 161 lineto closepath stroke end grestore % Detyping -> Rawterm newpath 999 152 moveto 1020 144 1047 133 1069 125 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1070 128 moveto 1079 122 lineto 1068 122 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1070 128 moveto 1079 122 lineto 1068 122 lineto closepath stroke end grestore % Indrec -> Inductiveops newpath 281 276 moveto 325 283 412 294 485 294 curveto 485 294 485 294 839 294 curveto 937 294 1036 225 1082 188 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1085 190 moveto 1090 181 lineto 1080 185 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1085 190 moveto 1090 181 lineto 1080 185 lineto closepath stroke end grestore % Matching gsave 10 dict begin 610 248 40 18 ellipse_path stroke gsave 10 dict begin 582 243 moveto (Matching) [12.48 6.24 3.84 6 6.96 3.84 6.96 6.96] xshow end grestore end grestore % Matching -> Pattern newpath 643 237 moveto 658 232 675 227 689 222 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 690 225 moveto 699 219 lineto 688 219 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 690 225 moveto 699 219 lineto 688 219 lineto closepath stroke end grestore % Matching -> Reductionops newpath 650 250 moveto 696 253 773 256 839 256 curveto 839 256 839 256 969 256 curveto 1059 256 1159 212 1210 184 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 1212 187 moveto 1219 179 lineto 1209 181 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 1212 187 moveto 1219 179 lineto 1209 181 lineto closepath stroke end grestore % Evarconv gsave 10 dict begin 366 67 40 18 ellipse_path stroke gsave 10 dict begin 339 62 moveto (Evarconv) [8.4 6.72 6.24 4.56 6.24 6.96 6.48 6.96] xshow end grestore end grestore % Evarconv -> Evarutil newpath 406 68 moveto 474 69 610 71 682 72 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 682 76 moveto 692 72 lineto 682 69 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 682 76 moveto 692 72 lineto 682 69 lineto closepath stroke end grestore % Evarconv -> Recordops newpath 397 56 moveto 411 51 428 45 442 39 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 443 42 moveto 452 36 lineto 441 36 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 443 42 moveto 452 36 lineto 441 36 lineto closepath stroke end grestore % Coercion -> Evarconv newpath 290 67 moveto 299 67 307 67 316 67 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 316 71 moveto 326 67 lineto 316 64 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 316 71 moveto 326 67 lineto 316 64 lineto closepath stroke end grestore % Clenv gsave 10 dict begin 146 118 30 18 ellipse_path stroke gsave 10 dict begin 129 113 moveto (Clenv) [9.36 3.84 6.24 6.48 6.96] xshow end grestore end grestore % Clenv -> Unification newpath 176 118 moveto 252 118 455 118 554 118 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 554 122 moveto 564 118 lineto 554 115 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 554 122 moveto 564 118 lineto 554 115 lineto closepath stroke end grestore % Clenv -> Coercion newpath 170 107 moveto 183 100 200 93 215 85 curveto stroke gsave 10 dict begin solid 1 setlinewidth 0.000 0.000 0.000 edgecolor newpath 217 88 moveto 224 80 lineto 214 82 lineto closepath fill 0.000 0.000 0.000 edgecolor newpath 217 88 moveto 224 80 lineto 214 82 lineto closepath stroke end grestore endpage showpage grestore %%PageTrailer %%EndPage: 1 %%Trailer %%Pages: 1 end restore %%EOF