%!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 |