%!PS-Adobe-3.0 EPSF-3.0
|
%%BoundingBox: 6 6 1079 801
|
%%BeginProcSet: reencode 1.0 0
|
/RE
|
{ findfont begin
|
currentdict dup length dict begin
|
{1 index /FID ne {def} {pop pop} ifelse} forall
|
/FontName exch def dup length 0 ne
|
{ /Encoding Encoding 256 array copy def
|
0 exch
|
{ dup type /nametype eq
|
{ Encoding 2 index 2 index put
|
pop 1 add
|
}
|
{ exch pop
|
} ifelse
|
} forall
|
} if pop
|
currentdict dup end end
|
/FontName get exch definefont pop
|
} bind def
|
%%EndProcSet: reencode 1.0 0
|
%%BeginProcSet: ellipse 1.0 0
|
/ellipsedict 8 dict def
|
ellipsedict /mtrx matrix put
|
/ellipse { ellipsedict begin
|
/endangle exch def
|
/startangle exch def
|
/yrad exch def
|
/xrad exch def
|
/y exch def
|
/x exch def
|
/savematrix mtrx currentmatrix def
|
x y translate
|
xrad yrad scale
|
0 0 1 0 360 arc
|
savematrix setmatrix end } def
|
%%EndProcSet: ellipse 1.0 0
|
%%EndProlog
|
%%BeginSetup
|
/isolatin1encoding
|
[ 32 /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright
|
/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 /quoteleft /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 /.notdef /.notdef /.notdef
|
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
|
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
|
/.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef
|
/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
|
%%EndSetup
|
1 setlinewidth
|
isolatin1encoding /_Helvetica /Helvetica RE
|
/_Helvetica findfont
|
12 scalefont setfont
|
0.0 0.0 0.0 setrgbcolor
|
0 807 translate
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
10 -10 moveto
|
86 0 rlineto
|
0 -26 rlineto
|
-86 0 rlineto
|
closepath
|
stroke
|
isolatin1encoding /_Helvetica /Helvetica RE
|
/_Helvetica findfont
|
9 scalefont setfont
|
newpath
|
21 -25 moveto
|
86 -25 lineto
|
stroke
|
21 -24 moveto
|
(firewall : Object) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
49 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
49 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
49 -796 moveto
|
58 -796 lineto
|
stroke
|
newpath
|
58 -796 moveto
|
49 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -72 moveto
|
20 0 rlineto
|
0 -679 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -72 moveto
|
20 0 rlineto
|
0 -679 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -72 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -72 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -112 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -112 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -152 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -152 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -232 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -232 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -272 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -272 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
43 -752 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
43 -752 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
157 -10 moveto
|
119 0 rlineto
|
0 -26 rlineto
|
-119 0 rlineto
|
closepath
|
stroke
|
newpath
|
168 -25 moveto
|
266 -25 lineto
|
stroke
|
168 -24 moveto
|
(aClassToVerify : Class) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
213 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
213 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
213 -796 moveto
|
222 -796 lineto
|
stroke
|
newpath
|
222 -796 moveto
|
213 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
207 -72 moveto
|
20 0 rlineto
|
0 -39 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
207 -72 moveto
|
20 0 rlineto
|
0 -39 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
207 -72 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
207 -72 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
207 -112 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
207 -112 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
337 -10 moveto
|
118 0 rlineto
|
0 -26 rlineto
|
-118 0 rlineto
|
closepath
|
stroke
|
newpath
|
348 -25 moveto
|
445 -25 lineto
|
stroke
|
348 -24 moveto
|
(theVF : VerifierFactory) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
392 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
392 -37 moveto
|
9 0 rlineto
|
0 -759 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
392 -796 moveto
|
401 -796 lineto
|
stroke
|
newpath
|
401 -796 moveto
|
392 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
386 -152 moveto
|
20 0 rlineto
|
0 -79 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
386 -152 moveto
|
20 0 rlineto
|
0 -79 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
386 -152 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
386 -152 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
386 -192 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
386 -192 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
386 -232 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
386 -232 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
562 -180 moveto
|
95 0 rlineto
|
0 -26 rlineto
|
-95 0 rlineto
|
closepath
|
stroke
|
newpath
|
573 -195 moveto
|
647 -195 lineto
|
stroke
|
573 -194 moveto
|
(aVerifier : Verifier) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
606 -207 moveto
|
9 0 rlineto
|
0 -589 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
606 -207 moveto
|
9 0 rlineto
|
0 -589 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
606 -796 moveto
|
615 -796 lineto
|
stroke
|
newpath
|
615 -796 moveto
|
606 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -207 moveto
|
20 0 rlineto
|
0 -544 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -207 moveto
|
20 0 rlineto
|
0 -544 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
562 -190 moveto
|
95 0 rlineto
|
0 1 rlineto
|
-95 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
562 -190 moveto
|
95 0 rlineto
|
0 1 rlineto
|
-95 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -272 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -272 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -312 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -312 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -352 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -352 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -432 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -432 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -472 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -472 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -512 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -512 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -592 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -592 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -632 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -632 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -712 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -712 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
600 -752 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
600 -752 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
764 -300 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
newpath
|
775 -315 moveto
|
862 -315 lineto
|
stroke
|
775 -314 moveto
|
(aP2V : Pass2Verifier) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
814 -327 moveto
|
9 0 rlineto
|
0 -469 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
814 -327 moveto
|
9 0 rlineto
|
0 -469 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
814 -796 moveto
|
823 -796 lineto
|
stroke
|
newpath
|
823 -796 moveto
|
814 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -327 moveto
|
20 0 rlineto
|
0 -384 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -327 moveto
|
20 0 rlineto
|
0 -384 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
764 -310 moveto
|
108 0 rlineto
|
0 1 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
764 -310 moveto
|
108 0 rlineto
|
0 1 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -352 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -352 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -432 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -432 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -632 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -632 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -672 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -672 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -672 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -672 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -712 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -712 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -392 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -392 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
808 -392 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
808 -392 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
933 -460 moveto
|
108 0 rlineto
|
0 -26 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
newpath
|
944 -475 moveto
|
1031 -475 lineto
|
stroke
|
944 -474 moveto
|
(aP1V : Pass1Verifier) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
983 -487 moveto
|
9 0 rlineto
|
0 -309 rlineto
|
-9 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
983 -487 moveto
|
9 0 rlineto
|
0 -309 rlineto
|
-9 0 rlineto
|
closepath
|
stroke
|
newpath
|
983 -796 moveto
|
992 -796 lineto
|
stroke
|
newpath
|
992 -796 moveto
|
983 -796 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
977 -487 moveto
|
20 0 rlineto
|
0 -104 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
977 -487 moveto
|
20 0 rlineto
|
0 -104 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
933 -470 moveto
|
108 0 rlineto
|
0 1 rlineto
|
-108 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
933 -470 moveto
|
108 0 rlineto
|
0 1 rlineto
|
-108 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
977 -512 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
977 -512 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
977 -552 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
977 -552 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
977 -552 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
977 -552 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
977 -592 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
977 -592 moveto
|
20 0 rlineto
|
0 1 rlineto
|
-20 0 rlineto
|
closepath
|
stroke
|
newpath
|
64 -72 moveto
|
207 -72 lineto
|
stroke
|
newpath
|
206 -72 moveto
|
194 -79 lineto
|
194 -65 lineto
|
closepath
|
eofill
|
newpath
|
206 -72 moveto
|
194 -79 lineto
|
194 -65 lineto
|
closepath
|
stroke
|
73 -68 moveto
|
( : getName\(\)) show
|
newpath
|
207 -112 moveto
|
202 -112 lineto
|
stroke
|
newpath
|
197 -112 moveto
|
192 -112 lineto
|
stroke
|
newpath
|
187 -112 moveto
|
182 -112 lineto
|
stroke
|
newpath
|
177 -112 moveto
|
172 -112 lineto
|
stroke
|
newpath
|
167 -112 moveto
|
162 -112 lineto
|
stroke
|
newpath
|
157 -112 moveto
|
152 -112 lineto
|
stroke
|
newpath
|
147 -112 moveto
|
142 -112 lineto
|
stroke
|
newpath
|
137 -112 moveto
|
132 -112 lineto
|
stroke
|
newpath
|
127 -112 moveto
|
122 -112 lineto
|
stroke
|
newpath
|
117 -112 moveto
|
112 -112 lineto
|
stroke
|
newpath
|
107 -112 moveto
|
102 -112 lineto
|
stroke
|
newpath
|
97 -112 moveto
|
92 -112 lineto
|
stroke
|
newpath
|
87 -112 moveto
|
82 -112 lineto
|
stroke
|
newpath
|
77 -112 moveto
|
72 -112 lineto
|
stroke
|
newpath
|
67 -112 moveto
|
64 -112 lineto
|
stroke
|
newpath
|
77 -105 moveto
|
65 -112 lineto
|
stroke
|
newpath
|
77 -119 moveto
|
65 -112 lineto
|
stroke
|
156 -128 moveto
|
( : name) show
|
newpath
|
64 -152 moveto
|
386 -152 lineto
|
stroke
|
newpath
|
385 -152 moveto
|
373 -159 lineto
|
373 -145 lineto
|
closepath
|
eofill
|
newpath
|
385 -152 moveto
|
373 -159 lineto
|
373 -145 lineto
|
closepath
|
stroke
|
104 -148 moveto
|
( : getVerifier\(name\)) show
|
newpath
|
407 -192 moveto
|
560 -192 lineto
|
562 -190 lineto
|
stroke
|
newpath
|
561 -191 moveto
|
550 -200 lineto
|
547 -186 lineto
|
closepath
|
eofill
|
newpath
|
561 -191 moveto
|
550 -200 lineto
|
547 -186 lineto
|
closepath
|
stroke
|
396 -188 moveto
|
( : create_if_not_cached) show
|
newpath
|
386 -232 moveto
|
381 -232 lineto
|
stroke
|
newpath
|
376 -232 moveto
|
371 -232 lineto
|
stroke
|
newpath
|
366 -232 moveto
|
361 -232 lineto
|
stroke
|
newpath
|
356 -232 moveto
|
351 -232 lineto
|
stroke
|
newpath
|
346 -232 moveto
|
341 -232 lineto
|
stroke
|
newpath
|
336 -232 moveto
|
331 -232 lineto
|
stroke
|
newpath
|
326 -232 moveto
|
321 -232 lineto
|
stroke
|
newpath
|
316 -232 moveto
|
311 -232 lineto
|
stroke
|
newpath
|
306 -232 moveto
|
301 -232 lineto
|
stroke
|
newpath
|
296 -232 moveto
|
291 -232 lineto
|
stroke
|
newpath
|
286 -232 moveto
|
281 -232 lineto
|
stroke
|
newpath
|
276 -232 moveto
|
271 -232 lineto
|
stroke
|
newpath
|
266 -232 moveto
|
261 -232 lineto
|
stroke
|
newpath
|
256 -232 moveto
|
251 -232 lineto
|
stroke
|
newpath
|
246 -232 moveto
|
241 -232 lineto
|
stroke
|
newpath
|
236 -232 moveto
|
231 -232 lineto
|
stroke
|
newpath
|
226 -232 moveto
|
221 -232 lineto
|
stroke
|
newpath
|
216 -232 moveto
|
211 -232 lineto
|
stroke
|
newpath
|
206 -232 moveto
|
201 -232 lineto
|
stroke
|
newpath
|
196 -232 moveto
|
191 -232 lineto
|
stroke
|
newpath
|
186 -232 moveto
|
181 -232 lineto
|
stroke
|
newpath
|
176 -232 moveto
|
171 -232 lineto
|
stroke
|
newpath
|
166 -232 moveto
|
161 -232 lineto
|
stroke
|
newpath
|
156 -232 moveto
|
151 -232 lineto
|
stroke
|
newpath
|
146 -232 moveto
|
141 -232 lineto
|
stroke
|
newpath
|
136 -232 moveto
|
131 -232 lineto
|
stroke
|
newpath
|
126 -232 moveto
|
121 -232 lineto
|
stroke
|
newpath
|
116 -232 moveto
|
111 -232 lineto
|
stroke
|
newpath
|
106 -232 moveto
|
101 -232 lineto
|
stroke
|
newpath
|
96 -232 moveto
|
91 -232 lineto
|
stroke
|
newpath
|
86 -232 moveto
|
81 -232 lineto
|
stroke
|
newpath
|
76 -232 moveto
|
71 -232 lineto
|
stroke
|
newpath
|
66 -232 moveto
|
64 -232 lineto
|
stroke
|
newpath
|
77 -225 moveto
|
65 -232 lineto
|
stroke
|
newpath
|
77 -239 moveto
|
65 -232 lineto
|
stroke
|
238 -248 moveto
|
( : verifier_responsible_for_name) show
|
newpath
|
64 -272 moveto
|
600 -272 lineto
|
stroke
|
newpath
|
599 -272 moveto
|
587 -279 lineto
|
587 -265 lineto
|
closepath
|
eofill
|
newpath
|
599 -272 moveto
|
587 -279 lineto
|
587 -265 lineto
|
closepath
|
stroke
|
173 -268 moveto
|
( : doPass2\(\)) show
|
newpath
|
621 -312 moveto
|
760 -312 lineto
|
764 -310 lineto
|
stroke
|
newpath
|
763 -311 moveto
|
752 -320 lineto
|
749 -306 lineto
|
closepath
|
eofill
|
newpath
|
763 -311 moveto
|
752 -320 lineto
|
749 -306 lineto
|
closepath
|
stroke
|
607 -308 moveto
|
( : create_if_not_cached) show
|
newpath
|
621 -352 moveto
|
808 -352 lineto
|
stroke
|
newpath
|
807 -352 moveto
|
795 -359 lineto
|
795 -345 lineto
|
closepath
|
eofill
|
newpath
|
807 -352 moveto
|
795 -359 lineto
|
795 -345 lineto
|
closepath
|
stroke
|
647 -348 moveto
|
( : verify\(\)) show
|
newpath
|
808 -432 moveto
|
621 -432 lineto
|
stroke
|
newpath
|
622 -432 moveto
|
634 -425 lineto
|
634 -439 lineto
|
closepath
|
eofill
|
newpath
|
622 -432 moveto
|
634 -425 lineto
|
634 -439 lineto
|
closepath
|
stroke
|
737 -448 moveto
|
( : doPass1\(\)) show
|
newpath
|
621 -472 moveto
|
933 -470 lineto
|
stroke
|
newpath
|
932 -471 moveto
|
920 -478 lineto
|
920 -464 lineto
|
closepath
|
eofill
|
newpath
|
932 -471 moveto
|
920 -478 lineto
|
920 -464 lineto
|
closepath
|
stroke
|
650 -468 moveto
|
( : create_if_not_cached) show
|
newpath
|
621 -512 moveto
|
977 -512 lineto
|
stroke
|
newpath
|
976 -512 moveto
|
964 -519 lineto
|
964 -505 lineto
|
closepath
|
eofill
|
newpath
|
976 -512 moveto
|
964 -519 lineto
|
964 -505 lineto
|
closepath
|
stroke
|
690 -508 moveto
|
( : verify\(\)) show
|
newpath
|
998 -552 moveto
|
1024 -552 lineto
|
1024 -568 lineto
|
1008 -568 lineto
|
998 -552 lineto
|
stroke
|
newpath
|
999 -553 moveto
|
1011 -559 lineto
|
999 -566 lineto
|
closepath
|
eofill
|
newpath
|
999 -553 moveto
|
1011 -559 lineto
|
999 -566 lineto
|
closepath
|
stroke
|
960 -548 moveto
|
( : do_some_verifying_work) show
|
newpath
|
977 -592 moveto
|
972 -592 lineto
|
stroke
|
newpath
|
967 -592 moveto
|
962 -592 lineto
|
stroke
|
newpath
|
957 -592 moveto
|
952 -592 lineto
|
stroke
|
newpath
|
947 -592 moveto
|
942 -592 lineto
|
stroke
|
newpath
|
937 -592 moveto
|
932 -592 lineto
|
stroke
|
newpath
|
927 -592 moveto
|
922 -592 lineto
|
stroke
|
newpath
|
917 -592 moveto
|
912 -592 lineto
|
stroke
|
newpath
|
907 -592 moveto
|
902 -592 lineto
|
stroke
|
newpath
|
897 -592 moveto
|
892 -592 lineto
|
stroke
|
newpath
|
887 -592 moveto
|
882 -592 lineto
|
stroke
|
newpath
|
877 -592 moveto
|
872 -592 lineto
|
stroke
|
newpath
|
867 -592 moveto
|
862 -592 lineto
|
stroke
|
newpath
|
857 -592 moveto
|
852 -592 lineto
|
stroke
|
newpath
|
847 -592 moveto
|
842 -592 lineto
|
stroke
|
newpath
|
837 -592 moveto
|
832 -592 lineto
|
stroke
|
newpath
|
827 -592 moveto
|
822 -592 lineto
|
stroke
|
newpath
|
817 -592 moveto
|
812 -592 lineto
|
stroke
|
newpath
|
807 -592 moveto
|
802 -592 lineto
|
stroke
|
newpath
|
797 -592 moveto
|
792 -592 lineto
|
stroke
|
newpath
|
787 -592 moveto
|
782 -592 lineto
|
stroke
|
newpath
|
777 -592 moveto
|
772 -592 lineto
|
stroke
|
newpath
|
767 -592 moveto
|
762 -592 lineto
|
stroke
|
newpath
|
757 -592 moveto
|
752 -592 lineto
|
stroke
|
newpath
|
747 -592 moveto
|
742 -592 lineto
|
stroke
|
newpath
|
737 -592 moveto
|
732 -592 lineto
|
stroke
|
newpath
|
727 -592 moveto
|
722 -592 lineto
|
stroke
|
newpath
|
717 -592 moveto
|
712 -592 lineto
|
stroke
|
newpath
|
707 -592 moveto
|
702 -592 lineto
|
stroke
|
newpath
|
697 -592 moveto
|
692 -592 lineto
|
stroke
|
newpath
|
687 -592 moveto
|
682 -592 lineto
|
stroke
|
newpath
|
677 -592 moveto
|
672 -592 lineto
|
stroke
|
newpath
|
667 -592 moveto
|
662 -592 lineto
|
stroke
|
newpath
|
657 -592 moveto
|
652 -592 lineto
|
stroke
|
newpath
|
647 -592 moveto
|
642 -592 lineto
|
stroke
|
newpath
|
637 -592 moveto
|
632 -592 lineto
|
stroke
|
newpath
|
627 -592 moveto
|
622 -592 lineto
|
stroke
|
newpath
|
634 -585 moveto
|
622 -592 lineto
|
stroke
|
newpath
|
634 -599 moveto
|
622 -592 lineto
|
stroke
|
873 -608 moveto
|
( : okay) show
|
newpath
|
621 -632 moveto
|
626 -632 lineto
|
stroke
|
newpath
|
631 -632 moveto
|
636 -632 lineto
|
stroke
|
newpath
|
641 -632 moveto
|
646 -632 lineto
|
stroke
|
newpath
|
651 -632 moveto
|
656 -632 lineto
|
stroke
|
newpath
|
661 -632 moveto
|
666 -632 lineto
|
stroke
|
newpath
|
671 -632 moveto
|
676 -632 lineto
|
stroke
|
newpath
|
681 -632 moveto
|
686 -632 lineto
|
stroke
|
newpath
|
691 -632 moveto
|
696 -632 lineto
|
stroke
|
newpath
|
701 -632 moveto
|
706 -632 lineto
|
stroke
|
newpath
|
711 -632 moveto
|
716 -632 lineto
|
stroke
|
newpath
|
721 -632 moveto
|
726 -632 lineto
|
stroke
|
newpath
|
731 -632 moveto
|
736 -632 lineto
|
stroke
|
newpath
|
741 -632 moveto
|
746 -632 lineto
|
stroke
|
newpath
|
751 -632 moveto
|
756 -632 lineto
|
stroke
|
newpath
|
761 -632 moveto
|
766 -632 lineto
|
stroke
|
newpath
|
771 -632 moveto
|
776 -632 lineto
|
stroke
|
newpath
|
781 -632 moveto
|
786 -632 lineto
|
stroke
|
newpath
|
791 -632 moveto
|
796 -632 lineto
|
stroke
|
newpath
|
801 -632 moveto
|
806 -632 lineto
|
stroke
|
newpath
|
795 -639 moveto
|
807 -632 lineto
|
stroke
|
newpath
|
795 -625 moveto
|
807 -632 lineto
|
stroke
|
652 -628 moveto
|
( : okay) show
|
newpath
|
829 -672 moveto
|
856 -672 lineto
|
856 -688 lineto
|
840 -688 lineto
|
829 -672 lineto
|
stroke
|
newpath
|
830 -673 moveto
|
842 -679 lineto
|
830 -686 lineto
|
closepath
|
eofill
|
newpath
|
830 -673 moveto
|
842 -679 lineto
|
830 -686 lineto
|
closepath
|
stroke
|
791 -668 moveto
|
( : do_some_verifying_work) show
|
newpath
|
808 -712 moveto
|
803 -712 lineto
|
stroke
|
newpath
|
798 -712 moveto
|
793 -712 lineto
|
stroke
|
newpath
|
788 -712 moveto
|
783 -712 lineto
|
stroke
|
newpath
|
778 -712 moveto
|
773 -712 lineto
|
stroke
|
newpath
|
768 -712 moveto
|
763 -712 lineto
|
stroke
|
newpath
|
758 -712 moveto
|
753 -712 lineto
|
stroke
|
newpath
|
748 -712 moveto
|
743 -712 lineto
|
stroke
|
newpath
|
738 -712 moveto
|
733 -712 lineto
|
stroke
|
newpath
|
728 -712 moveto
|
723 -712 lineto
|
stroke
|
newpath
|
718 -712 moveto
|
713 -712 lineto
|
stroke
|
newpath
|
708 -712 moveto
|
703 -712 lineto
|
stroke
|
newpath
|
698 -712 moveto
|
693 -712 lineto
|
stroke
|
newpath
|
688 -712 moveto
|
683 -712 lineto
|
stroke
|
newpath
|
678 -712 moveto
|
673 -712 lineto
|
stroke
|
newpath
|
668 -712 moveto
|
663 -712 lineto
|
stroke
|
newpath
|
658 -712 moveto
|
653 -712 lineto
|
stroke
|
newpath
|
648 -712 moveto
|
643 -712 lineto
|
stroke
|
newpath
|
638 -712 moveto
|
633 -712 lineto
|
stroke
|
newpath
|
628 -712 moveto
|
623 -712 lineto
|
stroke
|
newpath
|
634 -705 moveto
|
622 -712 lineto
|
stroke
|
newpath
|
634 -719 moveto
|
622 -712 lineto
|
stroke
|
747 -728 moveto
|
( : okay) show
|
newpath
|
600 -752 moveto
|
595 -752 lineto
|
stroke
|
newpath
|
590 -752 moveto
|
585 -752 lineto
|
stroke
|
newpath
|
580 -752 moveto
|
575 -752 lineto
|
stroke
|
newpath
|
570 -752 moveto
|
565 -752 lineto
|
stroke
|
newpath
|
560 -752 moveto
|
555 -752 lineto
|
stroke
|
newpath
|
550 -752 moveto
|
545 -752 lineto
|
stroke
|
newpath
|
540 -752 moveto
|
535 -752 lineto
|
stroke
|
newpath
|
530 -752 moveto
|
525 -752 lineto
|
stroke
|
newpath
|
520 -752 moveto
|
515 -752 lineto
|
stroke
|
newpath
|
510 -752 moveto
|
505 -752 lineto
|
stroke
|
newpath
|
500 -752 moveto
|
495 -752 lineto
|
stroke
|
newpath
|
490 -752 moveto
|
485 -752 lineto
|
stroke
|
newpath
|
480 -752 moveto
|
475 -752 lineto
|
stroke
|
newpath
|
470 -752 moveto
|
465 -752 lineto
|
stroke
|
newpath
|
460 -752 moveto
|
455 -752 lineto
|
stroke
|
newpath
|
450 -752 moveto
|
445 -752 lineto
|
stroke
|
newpath
|
440 -752 moveto
|
435 -752 lineto
|
stroke
|
newpath
|
430 -752 moveto
|
425 -752 lineto
|
stroke
|
newpath
|
420 -752 moveto
|
415 -752 lineto
|
stroke
|
newpath
|
410 -752 moveto
|
405 -752 lineto
|
stroke
|
newpath
|
400 -752 moveto
|
395 -752 lineto
|
stroke
|
newpath
|
390 -752 moveto
|
385 -752 lineto
|
stroke
|
newpath
|
380 -752 moveto
|
375 -752 lineto
|
stroke
|
newpath
|
370 -752 moveto
|
365 -752 lineto
|
stroke
|
newpath
|
360 -752 moveto
|
355 -752 lineto
|
stroke
|
newpath
|
350 -752 moveto
|
345 -752 lineto
|
stroke
|
newpath
|
340 -752 moveto
|
335 -752 lineto
|
stroke
|
newpath
|
330 -752 moveto
|
325 -752 lineto
|
stroke
|
newpath
|
320 -752 moveto
|
315 -752 lineto
|
stroke
|
newpath
|
310 -752 moveto
|
305 -752 lineto
|
stroke
|
newpath
|
300 -752 moveto
|
295 -752 lineto
|
stroke
|
newpath
|
290 -752 moveto
|
285 -752 lineto
|
stroke
|
newpath
|
280 -752 moveto
|
275 -752 lineto
|
stroke
|
newpath
|
270 -752 moveto
|
265 -752 lineto
|
stroke
|
newpath
|
260 -752 moveto
|
255 -752 lineto
|
stroke
|
newpath
|
250 -752 moveto
|
245 -752 lineto
|
stroke
|
newpath
|
240 -752 moveto
|
235 -752 lineto
|
stroke
|
newpath
|
230 -752 moveto
|
225 -752 lineto
|
stroke
|
newpath
|
220 -752 moveto
|
215 -752 lineto
|
stroke
|
newpath
|
210 -752 moveto
|
205 -752 lineto
|
stroke
|
newpath
|
200 -752 moveto
|
195 -752 lineto
|
stroke
|
newpath
|
190 -752 moveto
|
185 -752 lineto
|
stroke
|
newpath
|
180 -752 moveto
|
175 -752 lineto
|
stroke
|
newpath
|
170 -752 moveto
|
165 -752 lineto
|
stroke
|
newpath
|
160 -752 moveto
|
155 -752 lineto
|
stroke
|
newpath
|
150 -752 moveto
|
145 -752 lineto
|
stroke
|
newpath
|
140 -752 moveto
|
135 -752 lineto
|
stroke
|
newpath
|
130 -752 moveto
|
125 -752 lineto
|
stroke
|
newpath
|
120 -752 moveto
|
115 -752 lineto
|
stroke
|
newpath
|
110 -752 moveto
|
105 -752 lineto
|
stroke
|
newpath
|
100 -752 moveto
|
95 -752 lineto
|
stroke
|
newpath
|
90 -752 moveto
|
85 -752 lineto
|
stroke
|
newpath
|
80 -752 moveto
|
75 -752 lineto
|
stroke
|
newpath
|
70 -752 moveto
|
65 -752 lineto
|
stroke
|
newpath
|
77 -745 moveto
|
65 -752 lineto
|
stroke
|
newpath
|
77 -759 moveto
|
65 -752 lineto
|
stroke
|
414 -768 moveto
|
( : okayVerificationResult) show
|
newpath
|
829 -392 moveto
|
856 -392 lineto
|
856 -408 lineto
|
840 -408 lineto
|
829 -392 lineto
|
stroke
|
newpath
|
830 -393 moveto
|
842 -399 lineto
|
830 -406 lineto
|
closepath
|
eofill
|
newpath
|
830 -393 moveto
|
842 -399 lineto
|
830 -406 lineto
|
closepath
|
stroke
|
791 -388 moveto
|
( : do_some_verifying_work) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
892 -712 moveto
|
38 0 rlineto
|
0 -19 rlineto
|
-38 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
892 -712 moveto
|
38 0 rlineto
|
0 -19 rlineto
|
-38 0 rlineto
|
closepath
|
stroke
|
isolatin1encoding /_TimesRoman /TimesRoman RE
|
/_TimesRoman findfont
|
10 scalefont setfont
|
0.0 0.0 0.0 setrgbcolor
|
893 -728 moveto
|
(Pass One) show
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
904 -608 moveto
|
920 -712 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
660 -656 moveto
|
38 0 rlineto
|
0 -19 rlineto
|
-38 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
660 -656 moveto
|
38 0 rlineto
|
0 -19 rlineto
|
-38 0 rlineto
|
closepath
|
stroke
|
0.0 0.0 0.0 setrgbcolor
|
661 -672 moveto
|
(Pass One) show
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
688 -624 moveto
|
688 -664 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
677 -752 moveto
|
41 0 rlineto
|
0 -19 rlineto
|
-41 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
677 -752 moveto
|
41 0 rlineto
|
0 -19 rlineto
|
-41 0 rlineto
|
closepath
|
stroke
|
0.0 0.0 0.0 setrgbcolor
|
678 -768 moveto
|
(Pass Two) show
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
720 -760 moveto
|
760 -728 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
755 -224 moveto
|
115 0 rlineto
|
0 -34 rlineto
|
-115 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
755 -224 moveto
|
115 0 rlineto
|
0 -34 rlineto
|
-115 0 rlineto
|
closepath
|
stroke
|
0.0 0.0 0.0 setrgbcolor
|
762 -240 moveto
|
(Single Pass2Verifier with) show
|
756 -255 moveto
|
(respect to the class to verify.) show
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
816 -304 moveto
|
816 -256 lineto
|
stroke
|
1.0 1.0 1.0 setrgbcolor
|
%newpath
|
%960 -336 moveto
|
%-1 0 rlineto
|
%0 -39 rlineto
|
%1 0 rlineto
|
%closepath
|
%eofill
|
%0.0 0.0 0.0 setrgbcolor
|
%newpath
|
%960 -336 moveto
|
%-1 0 rlineto
|
%0 -39 rlineto
|
%1 0 rlineto
|
%closepath
|
%stroke
|
0.0 0.0 0.0 setrgbcolor
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
984 -424 moveto
|
984 -464 lineto
|
stroke
|
newpath
|
984 -424 moveto
|
984 -456 lineto
|
stroke
|
newpath
|
984 -432 moveto
|
984 -464 lineto
|
stroke
|
isolatin1encoding /_Helvetica /Helvetica RE
|
/_Helvetica findfont
|
9 scalefont setfont
|
73 -68 moveto
|
( : getName\(\)) show
|
156 -128 moveto
|
( : name) show
|
104 -148 moveto
|
( : getVerifier\(name\)) show
|
396 -188 moveto
|
( : create_if_not_cached) show
|
238 -248 moveto
|
( : verifier_responsible_for_name) show
|
173 -268 moveto
|
( : doPass2\(\)) show
|
607 -308 moveto
|
( : create_if_not_cached) show
|
647 -348 moveto
|
( : verify\(\)) show
|
737 -448 moveto
|
( : doPass1\(\)) show
|
650 -468 moveto
|
( : create_if_not_cached) show
|
690 -508 moveto
|
( : verify\(\)) show
|
960 -548 moveto
|
( : do_some_verifying_work) show
|
873 -608 moveto
|
( : okay) show
|
652 -628 moveto
|
( : okay) show
|
791 -668 moveto
|
( : do_some_verifying_work) show
|
747 -728 moveto
|
( : okay) show
|
414 -768 moveto
|
( : okayVerificationResult) show
|
791 -388 moveto
|
( : do_some_verifying_work) show
|
1.0 1.0 1.0 setrgbcolor
|
newpath
|
913 -392 moveto
|
115 0 rlineto
|
0 -34 rlineto
|
-115 0 rlineto
|
closepath
|
eofill
|
0.0 0.0 0.0 setrgbcolor
|
newpath
|
913 -392 moveto
|
115 0 rlineto
|
0 -34 rlineto
|
-115 0 rlineto
|
closepath
|
stroke
|
isolatin1encoding /_TimesRoman /TimesRoman RE
|
/_TimesRoman findfont
|
10 scalefont setfont
|
0.0 0.0 0.0 setrgbcolor
|
920 -408 moveto
|
(Single Pass1Verifier with) show
|
914 -423 moveto
|
(respect to the class to verify.) show
|
showpage
|
%%Trailer
|
