products/sources/formale Sprachen/PVS/orders/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: top.pvs   Sprache: Coq

Untersuchungsergebnis.ps Download desText {Text[318] Lex[527] Ada[541]}zum Wurzelverzeichnis wechseln

%!PS-Adobe-3.0 EPSF-3.0
%%Creator: Tk Canvas Widget
%%For: Ricky Butler
%%Title: Window .theory-hierarchy.u_top.fr.c
%%CreationDate: Fri Dec 14 16:17:47 2007
%%BoundingBox: 182 90 430 703
%%Pages: 1
%%DocumentData: Clean7Bit
%%Orientation: Landscape
%%DocumentNeededResources: font Helvetica
%%EndComments

%%BeginProlog
/CurrentEncoding [
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quotesingle
/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash
/zero/one/two/three/four/five/six/seven
/eight/nine/colon/semicolon/less/equal/greater/question
/at/A/B/C/D/E/F/G
/H/I/J/K/L/M/N/O
/P/Q/R/S/T/U/V/W
/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore
/grave/a/b/c/d/e/f/g
/h/i/j/k/l/m/n/o
/p/q/r/s/t/u/v/w
/x/y/z/braceleft/bar/braceright/asciitilde/space
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/space/space/space/space/space/space/space
/space/exclamdown/cent/sterling/currency/yen/brokenbar/section
/dieresis/copyright/ordfeminine/guillemotleft/logicalnot/hyphen/registered/macron
/degree/plusminus/twosuperior/threesuperior/acute/mu/paragraph/periodcentered
/cedilla/onesuperior/ordmasculine/guillemotright/onequarter/onehalf/threequarters/questiondown
/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla
/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis
/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/multiply
/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/germandbls
/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla
/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis
/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/divide
/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/ydieresis
] def

50 dict begin
% This is a standard prolog for Postscript generated by Tk's canvas
% widget.
% RCS: @(#) $Id: mkpsenc.tcl,v 1.3 2002/07/19 14:37:21 drh Exp $

% The definitions below just define all of the variables used in
% any of the procedures here.  This is needed for obscure reasons
% explained on p. 716 of the Postscript manual (Section H.2.7,
% "Initializing Variables," in the section on Encapsulated Postscript).

/baseline 0 def
/stipimage 0 def
/height 0 def
/justify 0 def
/lineLength 0 def
/spacing 0 def
/stipple 0 def
/strings 0 def
/xoffset 0 def
/yoffset 0 def
/tmpstip null def


/cstringshow {
    {
 dup type /stringtype eq
 { show } { glyphshow }
 ifelse
    }
    forall
} bind def



/cstringwidth {
    0 exch 0 exch
    {
 dup type /stringtype eq
 { stringwidth } { 
     currentfont /Encoding get exch 1 exch put (\001) stringwidth 
        }
 ifelse 
 exch 3 1 roll add 3 1 roll add exch
    }
    forall
} bind def

% font ISOEncode font
% This procedure changes the encoding of a font from the default
% Postscript encoding to current system encoding.  It's typically invoked just
% before invoking "setfont".  The body of this procedure comes from
% Section 5.6.1 of the Postscript book.

/ISOEncode {
    dup length dict begin
 {1 index /FID ne {def} {pop pop} ifelse} forall
 /Encoding CurrentEncoding def
 currentdict
    end

    % I'm not sure why it's necessary to use "definefont" on this new
    % font, but it seems to be important; just use the name "Temporary"
    % for the font.

    /Temporary exch definefont
} bind def

% StrokeClip
%
% This procedure converts the current path into a clip area under
% the assumption of stroking.  It's a bit tricky because some Postscript
% interpreters get errors during strokepath for dashed lines.  If
% this happens then turn off dashes and try again.

/StrokeClip {
    {strokepath} stopped {
 (This Postscript printer gets limitcheck overflows when) =
 (stippling dashed lines;  lines will be printed solid instead.) =
 [] 0 setdash strokepath} if
    clip
} bind def

% desiredSize EvenPixels closestSize
%
% The procedure below is used for stippling.  Given the optimal size
% of a dot in a stipple pattern in the current user coordinate system,
% compute the closest size that is an exact multiple of the device's
% pixel size.  This allows stipple patterns to be displayed without
% aliasing effects.

/EvenPixels {
    % Compute exact number of device pixels per stipple dot.
    dup 0 matrix currentmatrix dtransform
    dup mul exch dup mul add sqrt

    % Round to an integer, make sure the number is at least 1, and compute
    % user coord distance corresponding to this.
    dup round dup 1 lt {pop 1} if
    exch div mul
} bind def

% width height string StippleFill --
%
% Given a path already set up and a clipping region generated from
% it, this procedure will fill the clipping region with a stipple
% pattern.  "String" contains a proper image description of the
% stipple pattern and "width" and "height" give its dimensions.  Each
% stipple dot is assumed to be about one unit across in the current
% user coordinate system.  This procedure trashes the graphics state.

/StippleFill {
    % The following code is needed to work around a NeWSprint bug.

    /tmpstip 1 index def

    % Change the scaling so that one user unit in user coordinates
    % corresponds to the size of one stipple dot.
    1 EvenPixels dup scale

    % Compute the bounding box occupied by the path (which is now
    % the clipping region), and round the lower coordinates down
    % to the nearest starting point for the stipple pattern.  Be
    % careful about negative numbers, since the rounding works
    % differently on them.

    pathbbox
    4 2 roll
    5 index div dup 0 lt {1 sub} if cvi 5 index mul 4 1 roll
    6 index div dup 0 lt {1 sub} if cvi 6 index mul 3 2 roll

    % Stack now: width height string y1 y2 x1 x2
    % Below is a doubly-nested for loop to iterate across this area
    % in units of the stipple pattern size, going up columns then
    % across rows, blasting out a stipple-pattern-sized rectangle at
    % each position

    6 index exch {
 2 index 5 index 3 index {
     % Stack now: width height string y1 y2 x y

     gsave
     1 index exch translate
     5 index 5 index true matrix tmpstip imagemask
     grestore
 } for
 pop
    } for
    pop pop pop pop pop
} bind def

% -- AdjustColor --
% Given a color value already set for output by the caller, adjusts
% that value to a grayscale or mono value if requested by the CL
% variable.

/AdjustColor {
    CL 2 lt {
 currentgray
 CL 0 eq {
     .5 lt {0} {1} ifelse
 } if
 setgray
    } if
} bind def

% x y strings spacing xoffset yoffset justify stipple DrawText --
% This procedure does all of the real work of drawing text.  The
% color and font must already have been set by the caller, and the
% following arguments must be on the stack:
%
% x, y - Coordinates at which to draw text.
% strings - An array of strings, one for each line of the text item,
%  in order from top to bottom.
% spacing - Spacing between lines.
% xoffset - Horizontal offset for text bbox relative to x and y: 0 for
%  nw/w/sw anchor, -0.5 for n/center/s, and -1.0 for ne/e/se.
% yoffset - Vertical offset for text bbox relative to x and y: 0 for
%  nw/n/ne anchor, +0.5 for w/center/e, and +1.0 for sw/s/se.
% justify - 0 for left justification, 0.5 for center, 1 for right justify.
% stipple - Boolean value indicating whether or not text is to be
%  drawn in stippled fashion.  If text is stippled,
%  procedure StippleText must have been defined to call
%  StippleFill in the right way.
%
% Also, when this procedure is invoked, the color and font must already
% have been set for the text.

/DrawText {
    /stipple exch def
    /justify exch def
    /yoffset exch def
    /xoffset exch def
    /spacing exch def
    /strings exch def

    % First scan through all of the text to find the widest line.

    /lineLength 0 def
    strings {
 cstringwidth pop
 dup lineLength gt {/lineLength exch def} {pop} ifelse
 newpath
    } forall

    % Compute the baseline offset and the actual font height.

    0 0 moveto (TXygqPZ) false charpath
    pathbbox dup /baseline exch def
    exch pop exch sub /height exch def pop
    newpath

    % Translate coordinates first so that the origin is at the upper-left
    % corner of the text's bounding box. Remember that x and y for
    % positioning are still on the stack.

    translate
    lineLength xoffset mul
    strings length 1 sub spacing mul height add yoffset mul translate

    % Now use the baseline and justification information to translate so
    % that the origin is at the baseline and positioning point for the
    % first line of text.

    justify lineLength mul baseline neg translate

    % Iterate over each of the lines to output it.  For each line,
    % compute its width again so it can be properly justified, then
    % display it.

    strings {
 dup cstringwidth pop
 justify neg mul 0 moveto
 stipple {
    
 
     % The text is stippled, so turn it into a path and print
     % by calling StippledText, which in turn calls StippleFill.
     % Unfortunately, many Postscript interpreters will get
     % overflow errors if we try to do the whole string at
     % once, so do it a character at a time.

     gsave
     /char (X) def
     {
  dup type /stringtype eq {
      % This segment is a string.
      {
          char 0 3 -1 roll put
          currentpoint
          gsave
          char true charpath clip StippleText
          grestore
          char stringwidth translate
          moveto
      } forall
  } {
      % This segment is glyph name
      % Temporary override
      currentfont /Encoding get exch 1 exch put
      currentpoint
      gsave (\001) true charpath clip StippleText
      grestore
             (\001) stringwidth translate
      moveto
  } ifelse
     } forall
     grestore 
 } {cstringshow} ifelse
 0 spacing neg translate
    } forall
} bind def

%%EndProlog
%%BeginSetup
/CL 2 def
%%IncludeResource: font Helvetica
%%EndSetup

%%Page: 1 1
save
306.0 396.0 translate
90 rotate
0.1955 0.1955 scale
0 -634 translate
-1565 1268 moveto 1566 1268 lineto 1566 0 lineto -1565 0 lineto closepath clip newpath
gsave
0 1253 moveto
-811 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
0 357 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1437 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-476 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-313 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-187 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
24 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
207 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1501 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
331 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-665 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-810 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-122 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-78 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-6 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1323 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-511 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-166 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-518 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-207 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
76 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1128 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-364 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
443 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1167 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
27 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1001 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-812 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-633 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-489 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
335 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-1275 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-368 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-245 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-128 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
733 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-12 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
119 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
266 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
825 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
408 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
567 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
526 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
653 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
813 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
964 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
957 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-70 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
302 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
244 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-650 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
67 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-974 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
-79 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
193 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1280 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1106 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1448 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1250 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1376 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 1253 moveto
1517 1155 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-811 911 moveto
-511 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-511 797 moveto
-207 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-207 683 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-207 683 moveto
-122 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-235 569 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 227 moveto
-120 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 227 moveto
-30 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 227 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
90 113 moveto
-44 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
90 113 moveto
49 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-122 569 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-122 569 moveto
-78 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-122 569 moveto
76 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-78 455 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-78 455 moveto
0 357 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
0 341 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
76 455 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
76 455 moveto
0 357 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-352 797 moveto
-79 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-352 797 moveto
67 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-79 683 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-79 683 moveto
-7 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
67 683 moveto
124 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1437 1025 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1437 1025 moveto
-122 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1437 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1437 1025 moveto
-650 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1437 1025 moveto
-476 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-476 911 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-313 911 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-313 911 moveto
-187 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-313 911 moveto
24 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-187 797 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-187 797 moveto
-78 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
24 797 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
24 797 moveto
76 471 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
207 683 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
207 683 moveto
244 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1501 1139 moveto
-1275 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1501 1139 moveto
-166 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1501 1139 moveto
-1128 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1501 1139 moveto
-974 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1501 1139 moveto
-810 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-166 911 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-166 911 moveto
193 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-166 911 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1128 1025 moveto
49 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1128 1025 moveto
-6 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1128 1025 moveto
193 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1128 1025 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-6 911 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-810 1025 moveto
151 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-810 1025 moveto
-811 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
331 797 moveto
207 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
331 797 moveto
-207 699 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-665 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1323 1139 moveto
-665 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1323 1139 moveto
-518 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1323 1139 moveto
-1437 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-518 1025 moveto
302 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-518 1025 moveto
-166 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-518 1025 moveto
-313 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
302 911 moveto
244 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
302 911 moveto
331 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-364 1025 moveto
-811 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
447 797 moveto
49 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
447 797 moveto
-120 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
447 797 moveto
49 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
443 911 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
443 911 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
443 911 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1167 1139 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1167 1139 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1167 1139 moveto
-203 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1167 1139 moveto
-70 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-70 1025 moveto
443 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-70 1025 moveto
567 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-70 1025 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-70 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-70 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
567 911 moveto
550 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
567 911 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
699 911 moveto
-120 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
699 911 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
27 1025 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
27 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
828 911 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
828 911 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1001 1139 moveto
170 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1001 1139 moveto
-44 15 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-1001 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-812 1139 moveto
170 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-812 1139 moveto
170 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-812 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-812 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-633 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-633 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-633 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-489 1139 moveto
443 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-489 1139 moveto
-70 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
335 1025 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
335 1025 moveto
-352 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-245 1139 moveto
151 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-245 1139 moveto
498 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-245 1139 moveto
635 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-245 1139 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-245 1139 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-128 1139 moveto
151 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-128 1139 moveto
498 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-128 1139 moveto
635 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-128 1139 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-128 1139 moveto
-364 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
733 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-12 1139 moveto
733 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
-12 1139 moveto
-1275 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
266 1139 moveto
550 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
266 1139 moveto
170 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
266 1139 moveto
-70 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
825 1025 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
408 1139 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
408 1139 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
408 1139 moveto
825 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
408 1139 moveto
27 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
408 1139 moveto
27 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
526 1139 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
653 1139 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
653 1139 moveto
964 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
964 1025 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
964 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
813 1139 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
813 1139 moveto
335 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
813 1139 moveto
828 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
957 1139 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
957 1139 moveto
-70 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1123 1025 moveto
90 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1123 1025 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1123 1025 moveto
447 813 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1123 1025 moveto
699 927 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1123 1025 moveto
-235 585 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1280 1025 moveto
-120 129 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1280 1025 moveto
0 243 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1106 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1106 1139 moveto
1448 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1106 1139 moveto
1280 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1250 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1250 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1250 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1376 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1376 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
1376 1139 moveto
1123 1041 lineto
0 setlinecap
1 setlinejoin
0 setlinewidth
[] 0 setdash
0.000 0.000 0.000 setrgbcolor AdjustColor
stroke
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
0 1268 [
[(top)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-811 926 [
[(bounded_integers)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-511 812 [
[(non_empty_bounded_sets)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-207 698 [
[(total_lattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-235 584 [
[(minmax_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
0 242 [
[(bounded_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-120 128 [
[(sets)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-30 128 [
[(finite_sets)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
90 128 [
[(relations_extra)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-44 14 [
[(relations)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
49 14 [
[(orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-122 584 [
[(lattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-78 470 [
[(lower_semilattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
0 356 [
[(bounded_sets)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
76 470 [
[(upper_semilattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-352 812 [
[(closure_ops)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-79 698 [
[(relation_iterate)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-7 584 [
[(relation_props2)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
67 698 [
[(indexed_sets_extra)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
124 584 [
[(indexed_sets)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1437 1040 [
[(complementary_lattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-650 926 [
[(function_image_extra)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-476 926 [
[(complementary_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-313 926 [
[(complete_lattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-187 812 [
[(complete_lower_semilattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
24 812 [
[(complete_upper_semilattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
207 698 [
[(finite_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
244 584 [
[(finite_types)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1501 1154 [
[(finite_pointwise_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1275 1040 [
[(numbers_infinite)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-166 926 [
[(pointwise_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
193 812 [
[(skolemization)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1128 1040 [
[(well_foundedness)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-6 926 [
[(monotone_sequences)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-974 1040 [
[(infinite_pigeonhole)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-810 1040 [
[(integer_enumerations)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
151 926 [
[(infinite_sets_def)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
331 812 [
[(finite_total_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-665 1040 [
[(fixed_points)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1323 1154 [
[(new_mucalculus_prop)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-518 1040 [
[(sets_complete_lattices)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
302 926 [
[(booleans_are_finite)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-364 1040 [
[(bounded_nats)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
447 812 [
[(chain)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
443 926 [
[(chain_chain)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1167 1154 [
[(converse_zorn)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-203 1040 [
[(relation_converse_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-70 1040 [
[(zorn)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
567 926 [
[(subset_chain)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
550 812 [
[(sets_lemmas)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
699 926 [
[(ordered_subset)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
27 1040 [
[(finite_below)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
828 926 [
[(isomorphism)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-1001 1154 [
[(isomorphism_equivalence)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
170 1040 [
[(function_inverse_def)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-812 1154 [
[(isomorphism_symmetric)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-633 1154 [
[(isomorphism_transitive)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-489 1154 [
[(kuratowski)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
335 1040 [
[(monotone_functions)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-368 1154 [
[(order_strength)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-245 1154 [
[(ordered_int)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
498 1040 [
[(restrict_order_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
635 1040 [
[(real_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-128 1154 [
[(ordered_nat)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
733 1040 [
[(range)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
-12 1154 [
[(range_real)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
119 1154 [
[(set_antisymmetric)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
266 1154 [
[(set_dichotomous)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
825 1040 [
[(similarity)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
408 1154 [
[(similarity_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
526 1154 [
[(well_nat)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
653 1154 [
[(well_ordered_finite)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
964 1040 [
[(well_ordered_traversal)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
813 1154 [
[(well_ordered_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
957 1154 [
[(well_ordering)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1123 1040 [
[(directed_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1280 1040 [
[(bounded_order_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1106 1154 [
[(directed_order_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1448 1040 [
[(partial_order_props)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1250 1154 [
[(sum_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1376 1154 [
[(product_orders)]
] 14 -0.5 0 0 false DrawText
grestore
gsave
/Helvetica findfont 10 scalefont ISOEncode setfont
0.000 0.000 0.000 setrgbcolor AdjustColor
1517 1154 [
[(mucalculus_prop)]
] 14 -0.5 0 0 false DrawText
grestore
restore showpage

%%Trailer
end
%%EOF

[ Verzeichnis aufwärts0.220unsichere Verbindung  ]