diff options
| -rw-r--r-- | doc/parsing.dep.ps | 331 | ||||
| -rw-r--r-- | doc/pretyping.dep.ps | 350 | ||||
| -rw-r--r-- | doc/toplevel.dep.ps | 330 |
3 files changed, 1011 insertions, 0 deletions
diff --git a/doc/parsing.dep.ps b/doc/parsing.dep.ps new file mode 100644 index 000000000..95be92210 --- /dev/null +++ b/doc/parsing.dep.ps @@ -0,0 +1,331 @@ +%!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 diff --git a/doc/pretyping.dep.ps b/doc/pretyping.dep.ps new file mode 100644 index 000000000..5840820ab --- /dev/null +++ b/doc/pretyping.dep.ps @@ -0,0 +1,350 @@ +%!PS-Adobe-2.0 +%%Creator: dot version uwin98 (01-26-98) +%%For: Bill Gates +%%Title: G +%%Pages: (atend) +%%BoundingBox: 36 36 576 153 +%%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 153 +gsave +35 35 541 118 boxprim clip newpath +36 36 translate +0 0 1 beginpage +0.8207 set_scale +0 0 translate 0 rotate +0.000 0.000 0.000 graphcolor +14.00 /Times-Roman set_font + +% Multcase +gsave 10 dict begin +257 124 36 18 ellipse_path +stroke +gsave 10 dict begin +257 125 moveto (Multcase) 51 14.00 -0.50 alignedtext +end grestore +end grestore + +% Evarutil +gsave 10 dict begin +370 124 33 18 ellipse_path +stroke +gsave 10 dict begin +370 125 moveto (Evarutil) 45 14.00 -0.50 alignedtext +end grestore +end grestore + +% Multcase -> Evarutil +newpath 293 124 moveto +304 124 316 124 327 124 curveto +stroke +newpath 327 122 moveto +337 124 lineto +327 127 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Pretype_errors +gsave 10 dict begin +498 124 51 18 ellipse_path +stroke +gsave 10 dict begin +498 125 moveto (Pretype_errors) 82 14.00 -0.50 alignedtext +end grestore +end grestore + +% Evarutil -> Pretype_errors +newpath 403 124 moveto +413 124 425 124 436 124 curveto +stroke +newpath 436 122 moveto +446 124 lineto +436 127 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Recordops +gsave 10 dict begin +370 70 40 18 ellipse_path +stroke +gsave 10 dict begin +370 71 moveto (Recordops) 59 14.00 -0.50 alignedtext +end grestore +end grestore + +% Classops +gsave 10 dict begin +498 70 35 18 ellipse_path +stroke +gsave 10 dict begin +498 71 moveto (Classops) 49 14.00 -0.50 alignedtext +end grestore +end grestore + +% Recordops -> Classops +newpath 410 70 moveto +424 70 440 70 454 70 curveto +stroke +newpath 453 68 moveto +463 70 lineto +453 73 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Pretyping +gsave 10 dict begin +38 72 37 18 ellipse_path +stroke +gsave 10 dict begin +38 73 moveto (Pretyping) 54 14.00 -0.50 alignedtext +end grestore +end grestore + +% Pretyping -> Multcase +newpath 65 85 moveto +81 91 99 99 112 102 curveto +139 109 183 115 215 119 curveto +stroke +newpath 212 116 moveto +222 120 lineto +212 121 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Coercion +gsave 10 dict begin +148 72 36 18 ellipse_path +stroke +gsave 10 dict begin +148 73 moveto (Coercion) 51 14.00 -0.50 alignedtext +end grestore +end grestore + +% Pretyping -> Coercion +newpath 76 72 moveto +84 72 93 72 102 72 curveto +stroke +newpath 102 70 moveto +112 72 lineto +102 75 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Retyping +gsave 10 dict begin +148 18 36 18 ellipse_path +stroke +gsave 10 dict begin +148 19 moveto (Retyping) 51 14.00 -0.50 alignedtext +end grestore +end grestore + +% Pretyping -> Retyping +newpath 64 59 moveto +79 51 98 42 114 35 curveto +stroke +newpath 112 33 moveto +122 31 lineto +114 38 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Evarconv +gsave 10 dict begin +257 70 37 18 ellipse_path +stroke +gsave 10 dict begin +257 71 moveto (Evarconv) 53 14.00 -0.50 alignedtext +end grestore +end grestore + +% Coercion -> Evarconv +newpath 184 71 moveto +192 71 201 71 210 71 curveto +stroke +newpath 210 69 moveto +220 71 lineto +210 74 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Rawterm +gsave 10 dict begin +622 124 36 18 ellipse_path +stroke +gsave 10 dict begin +622 125 moveto (Rawterm) 51 14.00 -0.50 alignedtext +end grestore +end grestore + +% Pretype_errors -> Rawterm +newpath 550 124 moveto +559 124 568 124 576 124 curveto +stroke +newpath 576 122 moveto +586 124 lineto +576 127 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Evarconv -> Evarutil +newpath 283 83 moveto +299 91 320 101 337 108 curveto +stroke +newpath 337 105 moveto +345 112 lineto +335 110 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Evarconv -> Recordops +newpath 294 70 moveto +302 70 311 70 320 70 curveto +stroke +newpath 320 68 moveto +330 70 lineto +320 73 lineto +closepath +gsave 0 setgray stroke grestore fill +endpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +end +restore +%%EOF diff --git a/doc/toplevel.dep.ps b/doc/toplevel.dep.ps new file mode 100644 index 000000000..55b090edb --- /dev/null +++ b/doc/toplevel.dep.ps @@ -0,0 +1,330 @@ +%!PS-Adobe-2.0 +%%Creator: dot version uwin98 (01-26-98) +%%For: Bill Gates +%%Title: G +%%Pages: (atend) +%%BoundingBox: 36 36 577 213 +%%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 577 213 +gsave +35 35 542 178 boxprim clip newpath +36 36 translate +0 0 1 beginpage +0.9278 set_scale +0 0 translate 0 rotate +0.000 0.000 0.000 graphcolor +14.00 /Times-Roman set_font + +% Vernacinterp +gsave 10 dict begin +441 118 46 18 ellipse_path +stroke +gsave 10 dict begin +441 119 moveto (Vernacinterp) 72 14.00 -0.50 alignedtext +end grestore +end grestore + +% Himsg +gsave 10 dict begin +553 145 29 18 ellipse_path +stroke +gsave 10 dict begin +553 146 moveto (Himsg) 37 14.00 -0.50 alignedtext +end grestore +end grestore + +% Vernacinterp -> Himsg +newpath 480 128 moveto +492 130 505 133 517 136 curveto +stroke +newpath 517 133 moveto +526 138 lineto +516 138 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Vernacentries +gsave 10 dict begin +309 164 49 18 ellipse_path +stroke +gsave 10 dict begin +309 165 moveto (Vernacentries) 77 14.00 -0.50 alignedtext +end grestore +end grestore + +% Vernacentries -> Vernacinterp +newpath 345 152 moveto +361 146 380 139 397 133 curveto +stroke +newpath 396 131 moveto +406 130 lineto +397 136 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Vernac +gsave 10 dict begin +309 72 30 18 ellipse_path +stroke +gsave 10 dict begin +309 73 moveto (Vernac) 40 14.00 -0.50 alignedtext +end grestore +end grestore + +% Vernac -> Vernacinterp +newpath 335 81 moveto +353 87 377 95 397 103 curveto +stroke +newpath 397 100 moveto +406 106 lineto +396 105 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Toplevel +gsave 10 dict begin +35 91 35 18 ellipse_path +stroke +gsave 10 dict begin +35 92 moveto (Toplevel) 49 14.00 -0.50 alignedtext +end grestore +end grestore + +% Mltop +gsave 10 dict begin +165 118 27 18 ellipse_path +stroke +gsave 10 dict begin +165 119 moveto (Mltop) 34 14.00 -0.50 alignedtext +end grestore +end grestore + +% Toplevel -> Mltop +newpath 67 98 moveto +86 102 110 107 130 111 curveto +stroke +newpath 130 108 moveto +139 113 lineto +129 113 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Protectedtoplevel +gsave 10 dict begin +165 64 59 18 ellipse_path +stroke +gsave 10 dict begin +165 65 moveto (Protectedtoplevel) 97 14.00 -0.50 alignedtext +end grestore +end grestore + +% Toplevel -> Protectedtoplevel +newpath 67 84 moveto +79 82 93 79 106 76 curveto +stroke +newpath 106 74 moveto +116 74 lineto +107 78 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Mltop -> Vernacinterp +newpath 193 118 moveto +238 118 328 118 386 118 curveto +stroke +newpath 384 116 moveto +394 118 lineto +384 121 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Protectedtoplevel -> Vernac +newpath 223 67 moveto +239 68 255 69 270 69 curveto +stroke +newpath 269 66 moveto +279 70 lineto +269 71 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Errors +gsave 10 dict begin +309 18 27 18 ellipse_path +stroke +gsave 10 dict begin +309 19 moveto (Errors) 34 14.00 -0.50 alignedtext +end grestore +end grestore + +% Protectedtoplevel -> Errors +newpath 206 51 moveto +228 44 255 35 276 29 curveto +stroke +newpath 274 27 moveto +284 26 lineto +276 32 lineto +closepath +gsave 0 setgray stroke grestore fill + +% Minicoq +gsave 10 dict begin +441 172 34 18 ellipse_path +stroke +gsave 10 dict begin +441 173 moveto (Minicoq) 47 14.00 -0.50 alignedtext +end grestore +end grestore + +% Minicoq -> Himsg +newpath 472 164 moveto +486 161 502 157 517 153 curveto +stroke +newpath 516 151 moveto +526 151 lineto +517 156 lineto +closepath +gsave 0 setgray stroke grestore fill +endpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +end +restore +%%EOF |