patv00.ps

%-12345X@PJL JOB
@PJL SET ECONOMODE = OFF
@PJL ENTER LANGUAGE = POSTSCRIPT 
%!PS-Adobe-3.0
%%Title: Microsoft Word - ICSE-position.doc
%%Creator: AdobePS5.dll Version 5.1.2
%%CreationDate: 1/22/2001 12:46:18
%%BoundingBox: (atend)
%%Pages: (atend)
%%Orientation: Portrait
%%PageOrder: Ascend
%%DocumentNeededResources: (atend)
%%DocumentSuppliedResources: (atend)
%%DocumentData: Clean7Bit
%%TargetDevice: (HP LaserJet 5Si) (2014.108) 1
%%LanguageLevel: 2
%%EndComments

%%BeginDefaults
%%PageBoundingBox: 13 13 599 780
%%EndDefaults


%%BeginProlog
%%BeginResource: file Pscript_WinNT_VMErrorHandler 5.0 0
/currentpacking where{pop/oldpack currentpacking def/setpacking where{pop false
setpacking}if}if/$brkpage 64 dict def $brkpage begin/prnt{dup type/stringtype
ne{=string cvs}if dup length 6 mul/tx exch def/ty 10 def currentpoint/toy exch
def/tox exch def 1 setgray newpath tox toy 2 sub moveto 0 ty rlineto tx 0
rlineto 0 ty neg rlineto closepath fill tox toy moveto 0 setgray show}bind def
/nl{currentpoint exch pop lmargin exch moveto 0 -10 rmoveto}def/=={/cp 0 def
typeprint nl}def/typeprint{dup type exec}readonly def/lmargin 72 def/rmargin 72
def/tprint{dup length cp add rmargin gt{nl/cp 0 def}if dup length cp add/cp
exch def prnt}readonly def/cvsprint{=string cvs tprint( )tprint}readonly def
/integertype{cvsprint}readonly def/realtype{cvsprint}readonly def/booleantype
{cvsprint}readonly def/operatortype{(--)tprint =string cvs tprint(-- )tprint}
readonly def/marktype{pop(-mark- )tprint}readonly def/dicttype{pop
(-dictionary- )tprint}readonly def/nulltype{pop(-null- )tprint}readonly def
/filetype{pop(-filestream- )tprint}readonly def/savetype{pop(-savelevel- )
tprint}readonly def/fonttype{pop(-fontid- )tprint}readonly def/nametype{dup
xcheck not{(/)tprint}if cvsprint}readonly def/stringtype{dup rcheck{(\()tprint
tprint(\))tprint}{pop(-string- )tprint}ifelse}readonly def/arraytype{dup rcheck
{dup xcheck{({)tprint{typeprint}forall(})tprint}{([)tprint{typeprint}forall(])
tprint}ifelse}{pop(-array- )tprint}ifelse}readonly def/packedarraytype{dup
rcheck{dup xcheck{({)tprint{typeprint}forall(})tprint}{([)tprint{typeprint}
forall(])tprint}ifelse}{pop(-packedarray- )tprint}ifelse}readonly def/courier
/Courier findfont 10 scalefont def end errordict/handleerror{systemdict begin
$error begin $brkpage begin newerror{/newerror false store vmstatus pop pop 0
ne{grestoreall}if showpage initgraphics courier setfont lmargin 720 moveto
errorname(VMError)eq{PrtVMMsg}if systemdict/showpage get exec(%%[ Error: )print
errorname =print(; OffendingCommand: )print/command load =print( ]%%)= flush}if
end end end}dup 0 systemdict put dup 4 $brkpage put bind readonly put
/currentpacking where{pop/setpacking where{pop oldpack setpacking}if}if
%%EndResource
%%BeginResource: procset Pscript_WinNT_Full 5.0 0
/Pscript_WinNT_Full 300 dict 2 copy userdict 3 1 roll put dup begin
%%BeginResource: file Pscript_FatalError 5.0 0
/FatalErrorIf{{initgraphics findfont 1 index 0 eq{exch pop}{dup length dict
begin{1 index/FID ne{def}{pop pop}ifelse}forall/Encoding{ISOLatin1Encoding}
stopped{StandardEncoding}if def currentdict end/ErrFont-Latin1 exch definefont}
ifelse exch scalefont setfont counttomark 3 div cvi{moveto show}repeat showpage
quit}{cleartomark}ifelse}bind def
%%EndResource
userdict begin/PrtVMMsg{vmstatus exch sub exch pop gt{[
(This job requires more memory than is available in this printer.)100 500
(Try one or more of the following, and then print again:)100 485
(For the output format, choose Optimize For Portability.)115 470
(In the Device Settings page, make sure the Available PostScript Memory is accurate.)
115 455(Reduce the number of fonts in the document.)115 440
(Print the document in parts.)115 425 12/Times-Roman showpage
(%%[ PrinterError: Low Printer VM ]%%)= true FatalErrorIf}if}bind def end
version cvi 2016 ge{/VM?{pop}bind def}{/VM? userdict/PrtVMMsg get def}ifelse
105000 VM?
%%BeginResource: file Pscript_Win_Basic 5.0 0
/d/def load def/,/load load d/~/exch , d/?/ifelse , d/!/pop , d/`/begin , d/^
/index , d/@/dup , d/+/translate , d/$/roll , d/U/userdict , d/M/moveto , d/-
/rlineto , d/&/currentdict , d/:/gsave , d/;/grestore , d/F/false , d/T/true ,
d/N/newpath , d/E/end , d/Ac/arc , d/An/arcn , d/A/ashow , d/D/awidthshow , d/C
/closepath , d/V/div , d/O/eofill , d/L/fill , d/I/lineto , d/-c/curveto , d/-M
/rmoveto , d/+S/scale , d/Ji/setfont , d/Lc/setlinecap , d/Lj/setlinejoin , d
/Lw/setlinewidth , d/Lm/setmiterlimit , d/sd/setdash , d/S/show , d/LH/showpage
, d/K/stroke , d/W/widthshow , d/R/rotate , d/L2? false/languagelevel where{pop
languagelevel 2 ge{pop true}if}if d L2?{/xS/xshow , d/yS/yshow , d/zS/xyshow ,
d}if/b{bind d}bind d/bd{bind d}bind d/xd{~ d}bd/ld{, d}bd/bn/bind ld/lw/Lw ld
/lc/Lc ld/lj/Lj ld/sg/setgray ld/ADO_mxRot null d/self & d/OrgMx matrix
currentmatrix d/reinitialize{: OrgMx setmatrix[/TextInit/GraphInit/UtilsInit
counttomark{@ where{self eq}{F}?{cvx exec}{!}?}repeat cleartomark ;}b
/initialize{`{/Pscript_Win_Data where{!}{U/Pscript_Win_Data & put}?/ADO_mxRot ~
d/TextInitialised? F d reinitialize E}{U/Pscript_Win_Data 230 dict @ ` put
/ADO_mxRot ~ d/TextInitialised? F d reinitialize}?}b/terminate{!{& self eq
{exit}{E}?}loop E}b/suspend/terminate , d/resume{` Pscript_Win_Data `}b U `
/lucas 21690 d/featurebegin{countdictstack lucas[}b/featurecleanup{stopped
{cleartomark @ lucas eq{! exit}if}loop countdictstack ~ sub @ 0 gt{{E}repeat}
{!}?}b E/snap{transform 0.25 sub round 0.25 add ~ 0.25 sub round 0.25 add ~
itransform}b/dsnap{dtransform round ~ round ~ idtransform}b/nonzero_round{@ 0.5
ge{round}{@ -0.5 lt{round}{0 ge{1}{-1}?}?}?}b/nonzero_dsnap{dtransform
nonzero_round ~ nonzero_round ~ idtransform}b U<04>cvn{}put/rr{1 ^ 0 - 0 ~ -
neg 0 - C}b/irp{4 -2 $ + +S fx 4 2 $ M 1 ^ 0 - 0 ~ - neg 0 -}b/rp{4 2 $ M 1 ^ 0
- 0 ~ - neg 0 -}b/solid{[]0 sd}b/g{@ not{U/DefIf_save save put}if U/DefIf_bool
2 ^ put}b/DefIf_El{if U/DefIf_bool get not @{U/DefIf_save get restore}if}b/e
{DefIf_El !}b/UDF{L2?{undefinefont}{!}?}b/UDR{L2?{undefineresource}{! !}?}b
/freeVM{/Courier findfont[40 0 0 -40 0 0]makefont Ji 2 vmreclaim}b
%%EndResource
%%BeginResource: file Pscript_Win_Utils_L2 5.0 0
/rf/rectfill , d/fx{1 1 dtransform @ 0 ge{1 sub 0.5}{1 add -0.5}? 3 -1 $ @ 0 ge
{1 sub 0.5}{1 add -0.5}? 3 1 $ 4 1 $ idtransform 4 -2 $ idtransform}b/BZ{4 -2 $
snap + +S fx rf}b/rs/rectstroke , d/rc/rectclip , d/UtilsInit{currentglobal{F
setglobal}if}b/scol{! setcolor}b/colspA/DeviceGray d/colspABC/DeviceRGB d
/colspRefresh{colspABC setcolorspace}b/SetColSpace{colspABC setcolorspace}b
%%EndResource
%%BeginResource: file Pscript_Text 5.0 0
/TextInit{TextInitialised? not{/Pscript_Windows_Font & d/TextInitialised? T d
/fM[1 0 0 1 0 0]d/mFM matrix d/iMat[1 0 0.212557 1 0 0]d}if}b/copyfont{1 ^
length add dict `{1 ^/FID ne{d}{! !}?}forall & E}b/EncodeDict 11 dict d/bullets
{{/bullet}repeat}b/rF{3 copyfont @ ` ~ EncodeDict ~ get/Encoding ~ 3 ^/0 eq{&
/CharStrings known{CharStrings/Eth known not{! EncodeDict/ANSIEncodingOld get}
if}if}if d E}b/mF{@ 7 1 $ findfont ~{@/Encoding get @ StandardEncoding eq{! T}{
{ISOLatin1Encoding}stopped{! F}{eq}?{T}{@ ` T 32 1 127{Encoding 1 ^ get
StandardEncoding 3 -1 $ get eq and}for E}?}?}{F}?{1 ^ ~ rF}{0 copyfont}? 6 -2 $
! ! ~ !/pd_charset @ where{~ get 128 eq{@ FDV 2 copy get @ length array copy
put pd_CoverFCRange}if}{!}? 2 ^ ~ definefont fM 5 4 -1 $ put fM 4 0 put fM
makefont Pscript_Windows_Font 3 1 $ put}b/sLT{: Lw -M currentpoint snap M 0 - 0
Lc K ;}b/xUP null d/yUP null d/uW null d/xSP null d/ySP null d/sW null d/sSU{N
/uW ~ d/yUP ~ d/xUP ~ d}b/sU{xUP yUP uW sLT}b/sST{N/sW ~ d/ySP ~ d/xSP ~ d}b/sT
{xSP ySP sW sLT}b/sR{: + R 0 0 M}b/sRxy{: matrix astore concat 0 0 M}b/eR/; , d
/AddOrigFP{{&/FontInfo known{&/FontInfo get length 6 add}{6}? dict `
/WinPitchAndFamily ~ d/WinCharSet ~ d/OrigFontType ~ d/OrigFontStyle ~ d
/OrigFontName ~ d & E/FontInfo ~ d}{! ! ! ! !}?}b/mFS{makefont
Pscript_Windows_Font 3 1 $ put}b/mF42D{0 copyfont `/FontName ~ d 2 copy ~ sub 1
add dict `/.notdef 0 d 2 copy 1 ~{@ 3 ^ sub Encoding ~ get ~ d}for & E
/CharStrings ~ d ! ! & @ E/FontName get ~ definefont}b/mF42{15 dict ` @ 4 1 $
FontName ~ d/FontType 0 d/FMapType 2 d/FontMatrix[1 0 0 1 0 0]d 1 ^ 254 add 255
idiv @ array/Encoding ~ d 0 1 3 -1 $ 1 sub{@ Encoding 3 1 $ put}for/FDepVector
Encoding length array d/CharStrings 2 dict `/.notdef 0 d & E d 0 1 Encoding
length 1 sub{@ @ 10 lt{! FontName length 1 add string}{100 lt{FontName length 2
add string}{FontName length 3 add string}?}? @ 0 FontName @ length string cvs
putinterval @ 3 -1 $ @ 4 1 $ 3 string cvs FontName length ~ putinterval cvn 1 ^
256 mul @ 255 add 3 -1 $ 4 ^ findfont mF42D FDepVector 3 1 $ put}for & @ E
/FontName get ~ definefont ! ! ! mF}b/mF_OTF_V{3{~ !}repeat 3 -1 $ ! findfont 1
^ ~ definefont fM @ @ 4 .34 put 5 0 put 90 matrix R matrix concatmatrix
makefont Pscript_Windows_Font 3 1 $ put}b/UmF{L2?{Pscript_Windows_Font ~ undef}
{!}?}b/UmF42{@ findfont/FDepVector get{/FontName get undefinefont}forall
undefinefont}b
%%EndResource
%%BeginResource: file Pscript_TextFE 5.0 0
/FDV/FDepVector d/pd_GetAdoNotDefFont{U(AdoNotDefFont)2 copy known{get}{@ 11
dict `/FontName 1 ^ d/FontMatrix matrix d/FontType 0 d/FMapType 2 d/Encoding[0
0 0 0]d/FDepVector[/NotDefFont findfont]d & E definefont @ 4 1 $ put}?}b
/pd_FCIsCovered{@/SubsVector get @ 0 ~{add}forall 256 ge{! ! T}{length 1 sub ~
/Encoding get ~ get F}?}b/pd_CoverFCRange{@ pd_FCIsCovered not{~ @ FDV 2 copy
get @ 6 -1 $ pd_GetAdoNotDefFont put put}if}b/pd_IsModeSwitchAble{F
/resourcestatus where{!/CIDParams/ProcSet 2 copy resourcestatus{! !
findresource @/SetBuildCompatible known ~/GetBuildCompatible known and ~ 0}if !
!}if}b/pd_LParams 8 dict d/pd_DefLocalParams{pd_LParams `/pd_InstName ~ d
/pd_Incr 0 d @/pd_charset ~ d/pd_SwitchAble pd_IsModeSwitchAble d
/pd_PreviousMode T d ! & E}b/pd_IsCID-KeyedFont{/resourcestatus where{!{/CMap
resourcestatus}stopped{! ! ! F}{{! !/CIDFont resourcestatus{! ! T}{F}?}{! F}?}
?}{! ! F}?}b/pd_SwitchToNative{F pd_SwitchAble{!/CIDParams/ProcSet findresource
@/GetBuildCompatible get exec F 3 -1 $/SetBuildCompatible get exec}if
/pd_PreviousMode ~ d}b/pd_IsCIDCapable{/CIDInit/ProcSet resourcestatus @{! ! !
T}if}b/pd_mF_Finally{fM @ 4 0 put @ 5 5 -1 $ put makefont Pscript_Windows_Font
3 1 $ put}b/pd_SwitchToPrevious{pd_SwitchAble{pd_PreviousMode/CIDParams/ProcSet
findresource/SetBuildCompatible get exec}if}b/pd_fem90msnotfound{[
(This job requires the 90ms font used in this document.)100 500 12/Times-Roman
LH(%%[ PrinterError: font not found ]%%)= T FatalErrorIf}b/mF_FE{6 -1 $ ! 6 ^
pd_DefLocalParams ` 2 copy pd_IsCID-KeyedFont{4 -1 $ ! 6 -1 $ !
pd_SwitchToNative 4 ^ ~[4 -1 $]composefont ~ ! pd_mF_Finally
pd_SwitchToPrevious}{@/90ms-RKSJ-H eq{pd_fem90msnotfound}if ! !/0 3 1 $ mF}? E}
b
%%EndResource
%%BeginResource: file Pscript_TextV 5.0 0
/pd_copybfont{1 ^ length add dict `{1 ^/FID eq 2 ^/UniqueID eq 3 ^/XUID eq or
or{! !}{d}?}forall & E}b/pd_scratch 128 string d/pd_concatnames{2 copy cvs
length 3 ^ 2 ^ cvs length @ 3 1 $ add 1 add string @ @ @ 0 9 -1 $ 7 ^ cvs
putinterval 3 ^ 16#2d put 5 -2 $ cvs 4 -1 $ 1 add ~ putinterval cvn}b
/pd_genunqname{pd_Incr @ 1 add/pd_Incr ~ d pd_scratch cvs cvn pd_InstName ~
pd_scratch pd_concatnames}b/hrM[0 -1 1 0 0 0]d/iMat_V[1 0.212557 0 1 0 0]d
/mIF_V{iMat_V 5 3 -1 $ put iMat_V makefont Pscript_Windows_Font 3 1 $ put}b
/sLT2{: Lw -M currentpoint snap M - K ;}b/sU2{xUP yUP uW sLT2}b/sT2{xSP ySP sW
sLT2}b/CDevProc-83pv{5{!}repeat 6 -2 $ ! ! 1250 sub 4 1 $ 120 sub 4 1 $ 1250
sub 4 1 $ 120 sub 4 1 $ 0 -1000 6 2 $ 0 0 0 0}b/k-trans[0.0 1.0 -1.0 0.0 0.0
0.0]d/r_font{2 pd_copybfont @/CDevProc/CDevProc-83pv , put pd_genunqname ~
definefont k-trans makefont put}b/r_k_basefont{2 eq{@ 0 1 2 ^ length 1 sub{2
copy get 1 ^ 4 eq 2 ^ 5 eq or{! !}{r_font @}?}for !}{@ 0 1 2 ^ length 1 sub{2
copy get r_font @}for !}?}b/r_k_font{1 ^ 3 1 $ 2 copy get 1 copyfont @/FontType
get 0 eq{@ FDV get @ length array copy 2 ^ r_k_basefont 1 ^ 3 1 $ FDV ~ put}if
pd_genunqname ~ definefont put}b/r-83pv-k-fonts{k-trans 4 -0.380 put 1 copyfont
@ FDV 2 copy get @ length array copy 2 r_k_font 4 r_k_font put}b/mF_83V
{findfont r-83pv-k-fonts pd_CoverFCRange 2 ^ ~ definefont fM 5 4 -1 $ put fM 4
0 put fM makefont Pscript_Windows_Font 3 1 $ put}b/hrCDevProcV-J{5{!}repeat 5 ^
5 ^ 0 0}b/hrCDevProcV-CK{! ! ! 0 0}b/pd_DefLocalVParams{pd_LParams `
/pd_InstName ~ d/pd_Incr 0 d ~ @/pd_charset ~ d/pd_SwitchAble
pd_IsModeSwitchAble d/pd_PreviousMode T d 128 eq{/pd_CDevProcV/hrCDevProcV-J d
/pd_hrMTx -0.38 d}{/pd_CDevProcV/hrCDevProcV-CK d/pd_hrMTx -0.38 d}?
/pd_NeedRearrangement ~ d & E}b/pd_mF_V_Finally{1 ^ findfont fM @ 4 5 -1 $ neg
0.34 add put @ 5 0 put 90 matrix R matrix concatmatrix makefont
Pscript_Windows_Font 3 1 $ put}b/pd_InstallCDevProcV{pd_InstName 3 ^ pd_scratch
pd_concatnames @ 3 -1 $ 4 ^/CIDFont findresource @ length 2 add dict `{1 ^ @
/FID eq ~ @/XUID eq ~/UIDBase eq or or{! !}{d}?}forall/CDevProc ~ d & E/CIDFont
defineresource ! 3 -1 $ pd_InstName pd_scratch pd_concatnames @ 4 2 $[~]
composefont !}b/pd_CreateNativeCIDKeyedFont{2 copy pd_scratch pd_concatnames
pd_InstName pd_scratch pd_concatnames @ 4 2 $ ~[~]composefont !}b/pd_VCIDProlog
{2 copy pd_CreateNativeCIDKeyedFont 3 1 $ pd_CDevProcV , pd_InstallCDevProcV
mark 4 ^[5 -2 $]}b/mF_V_CID{pd_NeedRearrangement{pd_VCIDProlog/CIDInit/ProcSet
findresource ` beginrearrangedfont/WMode 1 d 1 beginusematrix hrM @ 4 pd_hrMTx
put endusematrix 1 usefont 1 beginbfrange<00><80><00>endbfrange pd_charset 128
eq{1 beginbfrange<a0><df><a0>endbfrange}if endrearrangedfont E cleartomark}{3 ^
~[4 -1 $]composefont !}?}b/mF_83V_CID{pd_VCIDProlog/CIDInit/ProcSet
findresource ` beginrearrangedfont/WMode 1 d 1 beginusematrix hrM @ 4 -0.30 put
endusematrix 1 usefont 1 beginbfrange<8540><85fe><8540>endbfrange
endrearrangedfont E cleartomark}b/pd_GetHKPos{@/SubsVector get @ length 1 sub 0
1 ^ 1 1 3 -1 ${~ 3 ^ 2 ^ get add @ 160 eq{4 2 $ ! ! ! exit}{~ 2 ^ ge{! ! ! 0}
if}?}for ~/Encoding get ~ get}b/pd_InstallCDPVAndRotate{~ 2 pd_copybfont @
/CDevProc 4 -1 $ put pd_genunqname ~ definefont hrM @ 4 pd_hrMTx put makefont}b
/mF_V_CSL{pd_scratch pd_concatnames findfont 1 copyfont @ FDV 2 copy get @
length array copy @ @ 0 get pd_CDevProcV , pd_InstallCDPVAndRotate 0 ~ put
pd_charset 128 eq{@ @ 4 ^ pd_GetHKPos @ 3 1 $ get pd_CDevProcV ,
pd_InstallCDPVAndRotate put}if put 2 ^ ~ definefont !}b/pd_fem90msVnotfound{[
(This job requires the 90ms font used in this document.)100 500 12/Times-Roman
LH(%%[ PrinterError: font not found ]%%)= T FatalErrorIf}b/mF_V_FE{7 -1 $ ! 7 ^
pd_DefLocalVParams ` 2 copy pd_IsCID-KeyedFont{4 2 $ ! ! 5 -1 $ !
pd_SwitchToNative pd_IsCIDCapable{mF_V_CID}{mF_V_CSL}? pd_mF_V_Finally
pd_SwitchToPrevious}{@/90ms-RKSJ-V eq{pd_fem90msVnotfound}if 4 2 $ ! ! 5 -1 $ !
mF_V_CSL}? E}b/mF_83V_FE{6 -1 $ ! 5 -1 $ ! 7 -1 $ ! T 6 ^ pd_DefLocalVParams `
2 copy pd_IsCID-KeyedFont{pd_SwitchToNative pd_IsCIDCapable{3 -1 $ ! mF_83V_CID
pd_mF_V_Finally}{! ! mF_83V}? pd_SwitchToPrevious}{! ! mF_83V}? E}b
%%EndResource
%%BeginResource: file Pscript_TextBold 5.0 0
/sB{1 copy 2 copy : sBdx 0 -M S ; : 0 sBdx -M S ; : sBdx sBdx -M S ; S}b/asB{3
copy 3 copy 3 copy : sBdx 0 -M A ; : 0 sBdx -M A ; : sBdx sBdx -M A ; A}b/wsB{4
copy 4 copy 4 copy : sBdx 0 -M W ; : 0 sBdx -M W ; : sBdx sBdx -M W ; W}b/awsB
{6 copy 6 copy 6 copy : sBdx 0 -M D ; : 0 sBdx -M D ; : sBdx sBdx -M D ; D}b
/xsB{2 copy 2 copy 2 copy : sBdx 0 -M xS ; : 0 sBdx -M xS ; : sBdx sBdx -M xS ;
xS}b/zsB{2 copy 2 copy 2 copy : sBdx 0 -M zS ; : 0 sBdx -M zS ; : sBdx sBdx -M
zS ; zS}b/ysB{2 copy 2 copy 2 copy : sBdx 0 -M yS ; : 0 sBdx -M yS ; : sBdx
sBdx -M yS ; yS}b
%%EndResource
%%BeginResource: file Pscript_Win_GdiObject 5.0 0
/SavedCTM null d/CTMsave{/SavedCTM SavedCTM currentmatrix d}b/CTMrestore
{SavedCTM setmatrix}b/mp null d/ADO_mxRot null d/GDIHMatrix null d
/GDIHPatternDict 22 dict d GDIHPatternDict `/PatternType 1 d/PaintType 2 d/Reps
L2?{1}{5}? d/XStep 8 Reps mul d/YStep XStep d/BBox[0 0 XStep YStep]d/TilingType
1 d/PaintProc{` 1 Lw[]0 sd PaintData , exec E}b/FGnd null d/BGnd null d
/HS_Horizontal{horiz}b/HS_Vertical{vert}b/HS_FDiagonal{fdiag}b/HS_BDiagonal
{biag}b/HS_Cross{horiz vert}b/HS_DiagCross{fdiag biag}b/MaxXYStep XStep YStep
gt{XStep}{YStep}? d/horiz{Reps{0 4 M XStep 0 - 0 8 +}repeat 0 -8 Reps mul + K}b
/vert{Reps{4 0 M 0 YStep - 8 0 +}repeat 0 -8 Reps mul + K}b/biag{Reps{0 0 M
MaxXYStep @ - 0 YStep neg M MaxXYStep @ - 0 8 +}repeat 0 -8 Reps mul + 0 YStep
M 8 8 - K}b/fdiag{Reps{0 0 M MaxXYStep @ neg - 0 YStep M MaxXYStep @ neg - 0 8
+}repeat 0 -8 Reps mul + MaxXYStep @ M 8 -8 - K}b E/makehatch{4 -2 $/yOrg ~ d
/xOrg ~ d GDIHPatternDict/PaintData 3 -1 $ put CTMsave GDIHMatrix setmatrix
GDIHPatternDict matrix xOrg yOrg + mp CTMrestore ~ U ~ 2 ^ put}b/h0{/h0
/HS_Horizontal makehatch}b/h1{/h1/HS_Vertical makehatch}b/h2{/h2/HS_FDiagonal
makehatch}b/h3{/h3/HS_BDiagonal makehatch}b/h4{/h4/HS_Cross makehatch}b/h5{/h5
/HS_DiagCross makehatch}b/GDIBWPatternMx null d/pfprep{save 8 1 $
/PatternOfTheDay 8 1 $ GDIBWPatternDict `/yOrg ~ d/xOrg ~ d/PaintData ~ d/yExt
~ d/Width ~ d/BGnd ~ d/FGnd ~ d/Height yExt RepsV mul d/mx[Width 0 0 Height 0
0]d E build_pattern ~ !}b/pfbf{/fEOFill ~ d pfprep hbf fEOFill{O}{L}? restore}b
/GraphInit{GDIHMatrix null eq{/SavedCTM matrix d : ADO_mxRot concat 0 0 snap +
: 0.48 @ GDIHPatternDict ` YStep mul ~ XStep mul ~ nonzero_dsnap YStep V ~
XStep V ~ E +S/GDIHMatrix matrix currentmatrix readonly d ; : 0.24 -0.24 +S
GDIBWPatternDict ` Width Height E nonzero_dsnap +S/GDIBWPatternMx matrix
currentmatrix readonly d ; ;}if}b
%%EndResource
%%BeginResource: file Pscript_Win_GdiObject_L2 5.0 0
/GDIBWPatternDict 25 dict @ `/PatternType 1 d/PaintType 1 d/RepsV 1 d/RepsH 1 d
/BBox[0 0 RepsH 1]d/TilingType 1 d/XStep 1 d/YStep 1 d/Height 8 RepsV mul d
/Width 8 d/mx[Width 0 0 Height neg 0 Height]d/FGnd null d/BGnd null d
/SetBGndFGnd{BGnd null ne{BGnd aload ! scol BBox aload ! 2 ^ sub ~ 3 ^ sub ~
rf}if FGnd null ne{FGnd aload ! scol}if}b/PaintProc{` SetBGndFGnd RepsH{Width
Height F mx PaintData imagemask Width 0 +}repeat E}b E d/mp/makepattern , d
/build_pattern{CTMsave GDIBWPatternMx setmatrix/nupangle where{! nupangle -90
eq{nupangle R}if}if GDIBWPatternDict @ ` Width Height ne{Width Height gt{Width
Height V 1}{1 Height Width V}? +S}if xOrg yOrg E matrix + mp CTMrestore}b/hbf
{setpattern}b/hf{:/fEOFill ~ d ~ ! setpattern fEOFill{O}{L}? ;}b/pbf{: !
/fEOFill ~ d GDIBWPatternDict `/yOrg ~ d/xOrg ~ d/PaintData ~ d/OutputBPP ~ d
/Height ~ d/Width ~ d/PaintType 1 d/PatternType 1 d/TilingType 1 d/BBox[0 0
Width Height]d/XStep Width d/YStep Height d/mx xOrg yOrg matrix + d 20 dict @ `
/ImageType 1 d/Width Width d/Height Height d/ImageMatrix[1 0 0 1 0 0]d
/BitsPerComponent 8 d OutputBPP 24 eq{/Decode[0 1 0 1 0 1]d}{OutputBPP 8 eq{
/Decode[0 1]d}{/Decode[0 1 0 1 0 1 0 1]d}?}?/DataSource{PaintData}d E/ImageDict
~ d/PaintProc{` ImageDict image E}b & mx makepattern setpattern E fEOFill{O}{L}
? ;}b/mask_pbf{:/fEOFill ~ d 20 dict `/yOrg ~ d/xOrg ~ d/PaintData ~ d/Height ~
d/Width ~ d/PatternType 1 d/PaintType 2 d/TilingType 1 d/BBox[0 0 Width Height]
d/XStep Width d/YStep Height d/mx xOrg yOrg matrix + d/PaintProc{` Width Height
T[1 0 0 1 0 0]{PaintData}imagemask E}b & mx makepattern setpattern E fEOFill{O}
{L}? ;}b
%%EndResource
%%BeginResource: file Pscript_Win_Dib_L2 5.0 0
/iw 0 d/ih 0 d/im_save 0 d/s 0 d/polarity 0 d/smoothflag 0 d/mystring 0 d/bpc 0
d/maskcolor 0 d/mask? F d/setup1asciiproc{[currentfile mystring/readhexstring
cvx/! cvx]cvx bind}b/setup1binaryproc{[currentfile mystring/readstring cvx/!
cvx]cvx bind}b/setup2asciiproc{currentfile/ASCII85Decode filter/RunLengthDecode
filter}b/setup2binaryproc{currentfile/RunLengthDecode filter}b/jpegasciiproc
{currentfile/ASCII85Decode filter<</Relax 1>>/DCTDecode filter}b/jpegbinaryproc
{currentfile<</Relax 1>>/DCTDecode filter}b/mycolorspace{colspABC}d/myimagedict
{/myimagedict 10 dict d myimagedict @ `/ImageType 1 d/MultipleDataSource F d E}
b/imageprocarray[/setup1binaryproc/setup1asciiproc/setup2binaryproc
/setup2asciiproc/setup1binarydecodeproc/setup1asciidecodeproc]d/jpegprocarray[
/jpegasciiproc/jpegbinaryproc]d/Q{/im_save save d scol imageprocarray ~ get/s ~
, d/polarity ~ d/smoothflag ~ d +/dx 2 ^ d/dy 1 ^ d +S/mystring ~ string d/bpc
~ d/ih ~ d/iw ~ d fx rf}b/X{/im_save save d/mask? ~ d/maskcolor ~ d
imageprocarray ~ get/s ~ , d/polarity ~ d/smoothflag ~ d +/dx 2 ^ d/dy 1 ^ d +S
/mystring ~ string d/bpc ~ d/ih ~ d/iw ~ d}b/Z{im_save restore}b/beginjpeg{
/jpeg_save save d jpegprocarray ~ get/jpegimageproc ~ , d + +S/bpc ~ d/ih ~ d
/iw ~ d bpc 24 eq{/DeviceRGB}{/DeviceGray}? setcolorspace myimagedict @ `
/ImageType 1 d/Width iw d/Height ih d/Decode bpc 24 eq{[0 1 0 1 0 1]}{[0 1]}? d
/ImageMatrix[iw 0 0 ih 0 0]d/BitsPerComponent 8 d/DataSource jpegimageproc d E
image}b/endjpeg{jpeg_save restore}b/Y{scol myimagedict @ ` mask?{/ImageType 4 d
/MaskColor maskcolor d}if/Width iw d/Height ih d/Decode polarity{[1 0]}{[0 1]}?
d/ImageMatrix[iw 0 0 ih 0 0]d/DataSource s d/BitsPerComponent 1 d/Interpolate
smoothflag d E imagemask}bd/doclutimage{/rgbclut ~ d bpc @ 8 eq{! 255}{4 eq{15}
{3}?}?/hival ~ d[/Indexed currentcolorspace hival rgbclut]setcolorspace
myimagedict @ ` mask?{/ImageType 4 d/MaskColor maskcolor d}if/Width iw d/Height
ih d/Decode[0 hival]d/ImageMatrix[iw 0 0 ih 0 0]d/DataSource s d
/BitsPerComponent bpc d/Interpolate smoothflag d E image}b/doCMYKclutimage{
/CMYKclut ~ d bpc @ 8 eq{! 255}{4 eq{15}{3}?}?/hival ~ d[/Indexed/DeviceCMYK
hival CMYKclut]setcolorspace myimagedict @ ` mask?{/ImageType 4 d/MaskColor
maskcolor d}if/Width iw d/Height ih d/Decode[0 hival]d/ImageMatrix[iw 0 0 ih 0
0]d/DataSource s d/BitsPerComponent bpc d/Interpolate smoothflag d E image}b
/doNimage{bpc 24 eq{currentcolorspace}{colspA}? setcolorspace myimagedict @ `
mask?{/ImageType 4 d/MaskColor maskcolor d}if/Width iw d/Height ih d/Decode bpc
24 eq{[0 1 0 1 0 1]}{[0 1]}? d/ImageMatrix[iw 0 0 ih 0 0]d/DataSource s d
/BitsPerComponent bpc 24 eq{8}{bpc}? d/Interpolate smoothflag d E image}b
/doCMYKimage{/DeviceCMYK setcolorspace myimagedict @ ` mask?{/ImageType 4 d
/MaskColor maskcolor d}if/Width iw d/Height ih d/Decode[0 1 0 1 0 1 0 1]d
/ImageMatrix[iw 0 0 ih 0 0]d/DataSource s d/BitsPerComponent 8 d/Interpolate
smoothflag d E image}b
%%EndResource
%%BeginResource: file Pscript_T42Hdr 5.0 0
/asc42 0.0 d/sF42{/asc42 ~ d Ji}bind d/bS42{0 asc42 -M}bind d/eS42{0 asc42 neg
-M}b/Is2015?{version cvi 2015 ge}bind d/AllocGlyphStorage{Is2015?{!}{{string}
forall}?}bind d/Type42DictBegin{25 dict `/FontName ~ d/Encoding ~ d 4 array
astore cvx/FontBBox ~ d/PaintType 0 d/FontType 42 d/FontMatrix[1 0 0 1 0 0]d
/CharStrings 256 dict `/.notdef 0 d & E d/sfnts}bind d/Type42DictEnd{& @
/FontName get ~ definefont ! E}bind d/RDS{string currentfile ~ readstring !}
executeonly d/PrepFor2015{Is2015?{/GlyphDirectory 16 dict d sfnts 0 get @ 2 ^
(glyx)putinterval 2 ^(locx)putinterval ! !}{! !}?}bind d/AddT42Char{Is2015?
{findfont/GlyphDirectory get ` d E ! !}{findfont/sfnts get 4 ^ get 3 ^ 2 ^
putinterval ! ! ! !}?}bind d/IDStrNull{1 add 2 mul @ string 0 1 3 ^ 1 sub{1 ^ ~
0 put}for ~ !}bind d/IDStr{@ 1 add 2 mul string 0 1 3 ^{1 ^ ~ @ 2 mul ~ 3 copy
256 idiv put ~ 1 add ~ 256 mod put}for ~ !}bind d/IDStr2{~ @ 1 add 2 mul string
0 1 3 ^{1 ^ ~ @ 2 mul ~ 5 ^ add 3 copy 256 idiv put ~ 1 add ~ 256 mod put}for ~
! ~ !}bind d/CIDT42Begin{25 dict ` @/WMode ~ d 0 gt{/Metrics2 16 dict d
/FontMatrix[0 1 -1 0 0 0]d}{/FontMatrix[1 0 0 1 0 0]d}?/CIDMap ~ d/CIDCount ~ d
/CIDSystemInfo 3 dict @ ` 3 -1 $/Supplement ~ d 3 -1 $/Ordering ~ d 3 -1 $
/Registry ~ d E d/CIDFontName ~ d/Encoding ~ d 4 array astore cvx/FontBBox ~ d
/CharStrings 2 dict @ `/.notdef 0 d E d/GDBytes 2 d/CIDFontType 2 d/FontType 42
d/PaintType 0 d/sfnts}bind d/CIDT42End{CIDFontName & E/CIDFont defineresource
!}bind d/T42CIDCP32K{/CIDFont findresource @ length dict copy @/FID undef `
/CIDFontName ~ d/CIDMap ~ d/CIDCount ~ d/Metrics2 8 dict d CIDFontName & E
/CIDFont defineresource !}bind d/T42CIDCPR{/CIDFont findresource @ length dict
copy @/FID undef `/CDevProc{!}d/CIDFontName ~ d CIDFontName & E/CIDFont
defineresource !}bind d/T0AddT42Char{/CIDFont findresource/GlyphDirectory get `
d E ! !}bind d/T0AddT42Mtx2{/CIDFont findresource/Metrics2 get ` d E}bind d
/UpdateCIDMap{/CIDFont findresource/CIDMap get 3 1 $ putinterval}d/AddXUID
{version cvi 3011 ge{/XUID ~ d}{!}?}bind d/AddFontInfoBegin{/FontInfo 16 dict @
`}bind d/AddFontInfo{/GlyphNames2Unicode 16 dict d}bind d/AddFontInfoEnd{E d}
bind d/G2UBegin{findresource/FontInfo get/GlyphNames2Unicode get `}bind d
/G2UEnd{E}bind d
%%EndResource
%%BeginResource: file Pscript_T3Hdr 5.0 0
{version cvi 2016 ge{32/FontType resourcestatus{pop pop true}{false}ifelse}
{false}ifelse}exec/Is2016andT32? exch def/T32DefSBCMap{/CIDInit/ProcSet
findresource begin 10 dict begin begincmap/CIDSystemInfo 3 dict dup begin
/Registry(Adobe)def/Ordering(Identity1)def/Supplement 0 def end def/CMapType 0
def/WMode 0 def 1 begincodespacerange<00><ff>endcodespacerange 1 begincidrange
<00><ff>0 endcidrange endcmap/DrvSBCMap currentdict/CMap defineresource pop end
end}bind def Is2016andT32?{T32DefSBCMap}def/T32RsrcBegin{Is2016andT32?{
/BitmapFontInit/ProcSet findresource begin}if}bind def/T32RsrcEnd{Is2016andT32?
{end}if}bind def/AddT32Char{6 1 roll 0 get 7 1 roll pop pop 5 1 roll pop
findfont/TT32R get addglyph}bind def/AddT3Char{findfont dup 5 2 roll 1 index
length 0 gt{cvx 1 index exch 4 exch put dup(imagemask)cvx cvn 5 exch put cvx}
{pop cvx}ifelse 3 -1 roll/CharProcs get 3 1 roll put dup/Encoding get 5 -1 roll
4 index put/Metrics get 3 1 roll put}bind def/AddT3T32Char Is2016andT32?{
/AddT32Char}{/AddT3Char}ifelse load def/GreNewFontT32{5 dict begin exch
/FontMatrix exch def exch/FontBBox exch def exch pop exch pop/CIDFontType 4 def
dup currentdict end/CIDFont defineresource 3 -1 roll dup/DrvSBCMap dup/CMap
resourcestatus{pop pop}{T32DefSBCMap}ifelse 5 -1 roll[exch]composefont dup
length dict copy dup/FID undef begin exch/TT32R exch def currentdict end
definefont/BitmapFontInit/ProcSet findresource begin/TT32R get[14 0 0 0 0 0]<>0
4 -1 roll addglyph end}bind def/GreNewFontT3{11 dict begin pop/FontType 3 def
/FontMatrix exch def/FontBBox exch def/Encoding exch def/CharProcs 257 dict def
CharProcs/.notdef{}put/Metrics 257 dict def Metrics/.notdef 3 -1 roll put
/BuildChar{userdict begin/char exch def dup/charname exch/Encoding get char get
def dup/Metrics get charname 2 copy known{get aload pop}{pop/.notdef get aload
pop}ifelse setcachedevice begin Encoding char get CharProcs exch 2 copy known
{get}{pop/.notdef get}ifelse end exec end}def currentdict end definefont pop}
bind def/GreNewFont{Is2016andT32?{GreNewFontT32}{GreNewFontT3}ifelse}bind def
/UDF3{Is2016andT32?{/BitmapFontInit/ProcSet findresource begin dup/CIDFont
findresource removeall/CIDFont undefineresource undefinefont end}{pop UDF}
ifelse}bind def
%%EndResource
%%BeginResource: file Pscript_CFF 5.0 0
/F0Subr{systemdict/internaldict known{1183615869 systemdict/internaldict get
exec/FlxProc known{save T}{F}?}{U/internaldict known not{U/internaldict{count 0
eq{/internaldict errordict/invalidaccess get exec}if @ type/integertype ne{
/internaldict errordict/invalidaccess get exec}if @ 1183615869 eq{! 0}{
/internaldict errordict/invalidaccess get exec}?}@ 14 get 1 25 dict put bind
executeonly put}if 1183615869 U/internaldict get exec/FlxProc known{save T}{F}
?}?[systemdict/internaldict known not{100 dict/` cvx/mtx matrix/d cvx}if
systemdict/currentpacking known{currentpacking T setpacking}if{systemdict
/internaldict known{1183615869 systemdict/internaldict get exec @/$FlxDict
known not{@ @ length ~ maxlength eq{! U @/$FlxDict known not{100 dict `/mtx
matrix d @/$FlxDict & put E}if}{100 dict `/mtx matrix d @/$FlxDict & put E}?}if
/$FlxDict get `}if ;/exdef{~ d}d/dmin ~ abs 100 V d/epX exdef/epY exdef/c4y2
exdef/c4x2 exdef/c4y1 exdef/c4x1 exdef/c4y0 exdef/c4x0 exdef/c3y2 exdef/c3x2
exdef/c3y1 exdef/c3x1 exdef/c3y0 exdef/c3x0 exdef/c1y2 exdef/c1x2 exdef/c2x2
c4x2 d/c2y2 c4y2 d/yflag c1y2 c3y2 sub abs c1x2 c3x2 sub abs gt d/PickCoords{
{c1x0 c1y0 c1x1 c1y1 c1x2 c1y2 c2x0 c2y0 c2x1 c2y1 c2x2 c2y2}{c3x0 c3y0 c3x1
c3y1 c3x2 c3y2 c4x0 c4y0 c4x1 c4y1 c4x2 c4y2}?/y5 exdef/x5 exdef/y4 exdef/x4
exdef/y3 exdef/x3 exdef/y2 exdef/x2 exdef/y1 exdef/x1 exdef/y0 exdef/x0 exdef}d
mtx currentmatrix ! mtx 0 get abs .00001 lt mtx 3 get abs .00001 lt or{/flipXY
-1 d}{mtx 1 get abs .00001 lt mtx 2 get abs .00001 lt or{/flipXY 1 d}{/flipXY 0
d}?}?/erosion 1 d systemdict/internaldict known{1183615869 systemdict
/internaldict get exec @/erosion known{/erosion get/erosion ~ d}{!}?}if yflag
{flipXY 0 eq c3y2 c4y2 eq or{F PickCoords}{/shrink c3y2 c4y2 eq{0}{c1y2 c4y2
sub c3y2 c4y2 sub V abs}? d/yshrink{c4y2 sub shrink mul c4y2 add}d/c1y0 c3y0
yshrink d/c1y1 c3y1 yshrink d/c2y0 c4y0 yshrink d/c2y1 c4y1 yshrink d/c1x0 c3x0
d/c1x1 c3x1 d/c2x0 c4x0 d/c2x1 c4x1 d/dY 0 c3y2 c1y2 sub round dtransform
flipXY 1 eq{~}if ! abs d dY dmin lt PickCoords y2 c1y2 sub abs 0.001 gt{c1x2
c1y2 transform flipXY 1 eq{~}if/cx ~ d/cy ~ d/dY 0 y2 c1y2 sub round dtransform
flipXY 1 eq{~}if ! d dY round @ 0 ne{/dY exdef}{! dY 0 lt{-1}{1}?/dY exdef}?
/erode PaintType 2 ne erosion 0.5 ge and d erode{/cy cy 0.5 sub d}if/ey cy dY
add d/ey ey ceiling ey sub ey floor add d erode{/ey ey 0.5 add d}if ey cx
flipXY 1 eq{~}if itransform ~ ! y2 sub/eShift ~ d/y1 y1 eShift add d/y2 y2
eShift add d/y3 y3 eShift add d}if}?}{flipXY 0 eq c3x2 c4x2 eq or{F PickCoords}
{/shrink c3x2 c4x2 eq{0}{c1x2 c4x2 sub c3x2 c4x2 sub V abs}? d/xshrink{c4x2 sub
shrink mul c4x2 add}d/c1x0 c3x0 xshrink d/c1x1 c3x1 xshrink d/c2x0 c4x0 xshrink
d/c2x1 c4x1 xshrink d/c1y0 c3y0 d/c1y1 c3y1 d/c2y0 c4y0 d/c2y1 c4y1 d/dX c3x2
c1x2 sub round 0 dtransform flipXY -1 eq{~}if ! abs d dX dmin lt PickCoords x2
c1x2 sub abs 0.001 gt{c1x2 c1y2 transform flipXY -1 eq{~}if/cy ~ d/cx ~ d/dX x2
c1x2 sub round 0 dtransform flipXY -1 eq{~}if ! d dX round @ 0 ne{/dX exdef}{!
dX 0 lt{-1}{1}?/dX exdef}?/erode PaintType 2 ne erosion .5 ge and d erode{/cx
cx .5 sub d}if/ex cx dX add d/ex ex ceiling ex sub ex floor add d erode{/ex ex
.5 add d}if ex cy flipXY -1 eq{~}if itransform ! x2 sub/eShift ~ d/x1 x1 eShift
add d/x2 x2 eShift add d/x3 x3 eShift add d}if}?}? x2 x5 eq y2 y5 eq or{x5 y5
I}{x0 y0 x1 y1 x2 y2 -c x3 y3 x4 y4 x5 y5 -c}? epY epX}systemdict
/currentpacking known{~ setpacking}if/exec cvx/E cvx]cvx executeonly ~{! T ~
restore}{systemdict/internaldict known not{1183615869 U/internaldict get exec ~
/FlxProc ~ put T}{1183615869 systemdict/internaldict get exec @ length ~
maxlength eq{F}{1183615869 systemdict/internaldict get exec ~/FlxProc ~ put T}
?}?}?{systemdict/internaldict known{1183615869 systemdict/internaldict get exec
/FlxProc get exec}{1183615869 U/internaldict get exec/FlxProc get exec}?}if}
executeonly d/F1Subr{: currentpoint N M}bind d/F2Subr{currentpoint ; :
currentpoint N M}bind d/HSSubr{systemdict/internaldict known not{! 3}
{1183615869 systemdict/internaldict get exec @/startlock known{/startlock get
exec}{@/strtlck known{/strtlck get exec}{! 3}?}?}?}bind d
%%EndResource
%%BeginResource: file Pscript_Nup 5.0 0
U `/realshowpage 0 d/$m matrix d/nx_nup 0 d/ny_nup 0 d/pagew_nup 0 d/pageh_nup
0 d/paperw_nup 0 d/paperh_nup 0 d/nups 0 d/pgx_nup 0 d/pgy_nup 0 d
/papermarg_nup 1 d/pagemarg_nup 10 d/framenup T d/nupv 5 array d/xoffset 0 d
/yoffset 0 d/borderlinewidth 0 d/nupangle 0 d E/definenup{/LH/nupshowpage ld
nupv astore !/pgx_nup 0 store/pgy_nup 0 store}bd/startnup{/pgy_nup ~ store
/pgx_nup ~ store nupv aload !/ny_nup ~ store/nx_nup ~ store/pageh_nup ~ store
/pagew_nup ~ store/borderlinewidth ~ store @/nupangle ~ store R clippath/nups
pathbbox 3 -1 $ sub papermarg_nup sub ny_nup V pagemarg_nup sub pageh_nup V ~ 3
-1 $ sub papermarg_nup sub nx_nup V pagemarg_nup sub pagew_nup V 2 copy gt{~}if
! store nups @ +S/paperw_nup pagew_nup pagemarg_nup nups V add store/paperh_nup
pageh_nup pagemarg_nup nups V add store pathbbox $m aload ! pagemarg_nup nups V
@ 8 ^ 11 ^ sub paperh_nup ny_nup mul sub add 2 V ~ 9 ^ 12 ^ sub paperw_nup
nx_nup mul sub add 2 V 7 ^ 0 eq{8 -4 $ 4 2 $ 8 4 $}if 8 -2 $ add 0 gt{9}{neg 7}
? ^ add 4 -1 $ sub ~ 5 -2 $ add 0 gt{5}{neg 3}? ^ add 3 -1 $ sub 2 copy/yoffset
~ store/xoffset ~ store + ! ! ! !/paperw_nup paperw_nup paperh_nup $m
idtransform abs/paperh_nup ~ store abs store/pagew_nup pagew_nup pageh_nup $m
idtransform abs/pageh_nup ~ store abs store $m 0 get abs $m 1 get abs lt{
/nx_nup ny_nup/ny_nup nx_nup store store}if borderlinewidth 0 gt{.48 nups V @
/borderlinewidth ~ store Lw}{/framenup F d}? $m concat pgx_nup paperw_nup mul
pgy_nup paperh_nup mul + $m matrix invertmatrix concat N startpage}bd/reinitnup
{startnup}bd/startpage{: 0 0 $m transform pagew_nup pageh_nup $m dtransform rc}
bd/realshowpage/LH ld/nupshowpage{; $m concat framenup{pagemarg_nup 2 V nups V
@ $m idtransform abs neg ~ abs neg ~ paperw_nup paperh_nup rs}if/pgx_nup
pgx_nup 1 add @ nx_nup eq{! 0 store paperw_nup 1 nx_nup sub mul/pgy_nup pgy_nup
1 add @ ny_nup eq{! 0 store paperh_nup 1 ny_nup sub mul}{store paperh_nup}?}
{store paperw_nup 0}? + $m matrix invertmatrix concat startpage}bd/finalpage{;
realshowpage/LH/realshowpage ld}bd
%%EndResource
%%BeginResource: file Pscript_CMap_FF 5.0 0
/CMAP-WinCharSetFFFF-H{/CIDInit/ProcSet findresource ` 12 dict ` begincmap
/CIDSystemInfo 3 dict @ `/Registry(Adobe)d/Ordering(WinCharSetFFFF)d/Supplement
0 d E d/CMapName/WinCharSetFFFF-H d/CMapVersion 1 d/CMapType 0 d/WMode 0 d 1
begincodespacerange<0000><FFFF>endcodespacerange 100 begincidrange<0000><00FF>0
<0100><01FF>256<0200><02FF>512<0300><03FF>768<0400><04FF>1024<0500><05FF>1280
<0600><06FF>1536<0700><07FF>1792<0800><08FF>2048<0900><09FF>2304<0A00><0AFF>
2560<0B00><0BFF>2816<0C00><0CFF>3072<0D00><0DFF>3328<0E00><0EFF>3584<0F00>
<0FFF>3840<1000><10FF>4096<1100><11FF>4352<1200><12FF>4608<1300><13FF>4864
<1400><14FF>5120<1500><15FF>5376<1600><16FF>5632<1700><17FF>5888<1800><18FF>
6144<1900><19FF>6400<1A00><1AFF>6656<1B00><1BFF>6912<1C00><1CFF>7168<1D00>
<1DFF>7424<1E00><1EFF>7680<1F00><1FFF>7936<2000><20FF>8192<2100><21FF>8448
<2200><22FF>8704<2300><23FF>8960<2400><24FF>9216<2500><25FF>9472<2600><26FF>
9728<2700><27FF>9984<2800><28FF>10240<2900><29FF>10496<2A00><2AFF>10752<2B00>
<2BFF>11008<2C00><2CFF>11264<2D00><2DFF>11520<2E00><2EFF>11776<2F00><2FFF>12032
<3000><30FF>12288<3100><31FF>12544<3200><32FF>12800<3300><33FF>13056<3400>
<34FF>13312<3500><35FF>13568<3600><36FF>13824<3700><37FF>14080<3800><38FF>14336
<3900><39FF>14592<3A00><3AFF>14848<3B00><3BFF>15104<3C00><3CFF>15360<3D00>
<3DFF>15616<3E00><3EFF>15872<3F00><3FFF>16128<4000><40FF>16384<4100><41FF>16640
<4200><42FF>16896<4300><43FF>17152<4400><44FF>17408<4500><45FF>17664<4600>
<46FF>17920<4700><47FF>18176<4800><48FF>18432<4900><49FF>18688<4A00><4AFF>18944
<4B00><4BFF>19200<4C00><4CFF>19456<4D00><4DFF>19712<4E00><4EFF>19968<4F00>
<4FFF>20224<5000><50FF>20480<5100><51FF>20736<5200><52FF>20992<5300><53FF>21248
<5400><54FF>21504<5500><55FF>21760<5600><56FF>22016<5700><57FF>22272<5800>
<58FF>22528<5900><59FF>22784<5A00><5AFF>23040<5B00><5BFF>23296<5C00><5CFF>23552
<5D00><5DFF>23808<5E00><5EFF>24064<5F00><5FFF>24320<6000><60FF>24576<6100>
<61FF>24832<6200><62FF>25088<6300><63FF>25344 endcidrange 28 begincidrange
<6400><64FF>25600<6500><65FF>25856<6600><66FF>26112<6700><67FF>26368<6800>
<68FF>26624<6900><69FF>26880<6A00><6AFF>27136<6B00><6BFF>27392<6C00><6CFF>27648
<6D00><6DFF>27904<6E00><6EFF>28160<6F00><6FFF>28416<7000><70FF>28672<7100>
<71FF>28928<7200><72FF>29184<7300><73FF>29440<7400><74FF>29696<7500><75FF>29952
<7600><76FF>30208<7700><77FF>30464<7800><78FF>30720<7900><79FF>30976<7A00>
<7AFF>31232<7B00><7BFF>31488<7C00><7CFF>31744<7D00><7DFF>32000<7E00><7EFF>32256
<7F00><7FFF>32512 endcidrange 100 begincidrange<8000><80FF>32768<8100><81FF>
33024<8200><82FF>33280<8300><83FF>33536<8400><84FF>33792<8500><85FF>34048<8600>
<86FF>34304<8700><87FF>34560<8800><88FF>34816<8900><89FF>35072<8A00><8AFF>35328
<8B00><8BFF>35584<8C00><8CFF>35840<8D00><8DFF>36096<8E00><8EFF>36352<8F00>
<8FFF>36608<9000><90FF>36864<9100><91FF>37120<9200><92FF>37376<9300><93FF>37632
<9400><94FF>37888<9500><95FF>38144<9600><96FF>38400<9700><97FF>38656<9800>
<98FF>38912<9900><99FF>39168<9A00><9AFF>39424<9B00><9BFF>39680<9C00><9CFF>39936
<9D00><9DFF>40192<9E00><9EFF>40448<9F00><9FFF>40704<A000><A0FF>40960<A100>
<A1FF>41216<A200><A2FF>41472<A300><A3FF>41728<A400><A4FF>41984<A500><A5FF>42240
<A600><A6FF>42496<A700><A7FF>42752<A800><A8FF>43008<A900><A9FF>43264<AA00>
<AAFF>43520<AB00><ABFF>43776<AC00><ACFF>44032<AD00><ADFF>44288<AE00><AEFF>44544
<AF00><AFFF>44800<B000><B0FF>45056<B100><B1FF>45312<B200><B2FF>45568<B300>
<B3FF>45824<B400><B4FF>46080<B500><B5FF>46336<B600><B6FF>46592<B700><B7FF>46848
<B800><B8FF>47104<B900><B9FF>47360<BA00><BAFF>47616<BB00><BBFF>47872<BC00>
<BCFF>48128<BD00><BDFF>48384<BE00><BEFF>48640<BF00><BFFF>48896<C000><C0FF>49152
<C100><C1FF>49408<C200><C2FF>49664<C300><C3FF>49920<C400><C4FF>50176<C500>
<C5FF>50432<C600><C6FF>50688<C700><C7FF>50944<C800><C8FF>51200<C900><C9FF>51456
<CA00><CAFF>51712<CB00><CBFF>51968<CC00><CCFF>52224<CD00><CDFF>52480<CE00>
<CEFF>52736<CF00><CFFF>52992<D000><D0FF>53248<D100><D1FF>53504<D200><D2FF>53760
<D300><D3FF>54016<D400><D4FF>54272<D500><D5FF>54528<D600><D6FF>54784<D700>
<D7FF>55040<D800><D8FF>55296<D900><D9FF>55552<DA00><DAFF>55808<DB00><DBFF>56064
<DC00><DCFF>56320<DD00><DDFF>56576<DE00><DEFF>56832<DF00><DFFF>57088<E000>
<E0FF>57344<E100><E1FF>57600<E200><E2FF>57856<E300><E3FF>58112 endcidrange 28
begincidrange<E400><E4FF>58368<E500><E5FF>58624<E600><E6FF>58880<E700><E7FF>
59136<E800><E8FF>59392<E900><E9FF>59648<EA00><EAFF>59904<EB00><EBFF>60160<EC00>
<ECFF>60416<ED00><EDFF>60672<EE00><EEFF>60928<EF00><EFFF>61184<F000><F0FF>61440
<F100><F1FF>61696<F200><F2FF>61952<F300><F3FF>62208<F400><F4FF>62464<F500>
<F5FF>62720<F600><F6FF>62976<F700><F7FF>63232<F800><F8FF>63488<F900><F9FF>63744
<FA00><FAFF>64000<FB00><FBFF>64256<FC00><FCFF>64512<FD00><FDFF>64768<FE00>
<FEFF>65024<FF00><FFFF>65280 endcidrange endcmap CMapName &/CMap defineresource
! E E}d/CMAP-WinCharSetFFFF-H2{CMAP-WinCharSetFFFF-H/CIDInit/ProcSet
findresource ` 12 dict ` begincmap/WinCharSetFFFF-H usecmap/CIDSystemInfo[3
dict @ `/Registry(Adobe)d/Ordering(WinCharSetFFFF-H2)d/Supplement 0 d E @]d
/CMapName/WinCharSetFFFF-H2 d/CMapVersion 1 d/CMapType 1 d/WMode 0 d 1 usefont
100 begincidrange<7F00><7FFF>0<8000><80FF>256<8100><81FF>512<8200><82FF>768
<8300><83FF>1024<8400><84FF>1280<8500><85FF>1536<8600><86FF>1792<8700><87FF>
2048<8800><88FF>2304<8900><89FF>2560<8A00><8AFF>2816<8B00><8BFF>3072<8C00>
<8CFF>3328<8D00><8DFF>3584<8E00><8EFF>3840<8F00><8FFF>4096<9000><90FF>4352
<9100><91FF>4608<9200><92FF>4864<9300><93FF>5120<9400><94FF>5376<9500><95FF>
5632<9600><96FF>5888<9700><97FF>6144<9800><98FF>6400<9900><99FF>6656<9A00>
<9AFF>6912<9B00><9BFF>7168<9C00><9CFF>7424<9D00><9DFF>7680<9E00><9EFF>7936
<9F00><9FFF>8192<A000><A0FF>8448<A100><A1FF>8704<A200><A2FF>8960<A300><A3FF>
9216<A400><A4FF>9472<A500><A5FF>9728<A600><A6FF>9984<A700><A7FF>10240<A800>
<A8FF>10496<A900><A9FF>10752<AA00><AAFF>11008<AB00><ABFF>11264<AC00><ACFF>11520
<AD00><ADFF>11776<AE00><AEFF>12032<AF00><AFFF>12288<B000><B0FF>12544<B100>
<B1FF>12800<B200><B2FF>13056<B300><B3FF>13312<B400><B4FF>13568<B500><B5FF>13824
<B600><B6FF>14080<B700><B7FF>14336<B800><B8FF>14592<B900><B9FF>14848<BA00>
<BAFF>15104<BB00><BBFF>15360<BC00><BCFF>15616<BD00><BDFF>15872<BE00><BEFF>16128
<BF00><BFFF>16384<C000><C0FF>16640<C100><C1FF>16896<C200><C2FF>17152<C300>
<C3FF>17408<C400><C4FF>17664<C500><C5FF>17920<C600><C6FF>18176<C700><C7FF>18432
<C800><C8FF>18688<C900><C9FF>18944<CA00><CAFF>19200<CB00><CBFF>19456<CC00>
<CCFF>19712<CD00><CDFF>19968<CE00><CEFF>20224<CF00><CFFF>20480<D000><D0FF>20736
<D100><D1FF>20992<D200><D2FF>21248<D300><D3FF>21504<D400><D4FF>21760<D500>
<D5FF>22016<D600><D6FF>22272<D700><D7FF>22528<D800><D8FF>22784<D900><D9FF>23040
<DA00><DAFF>23296<DB00><DBFF>23552<DC00><DCFF>23808<DD00><DDFF>24064<DE00>
<DEFF>24320<DF00><DFFF>24576<E000><E0FF>24832<E100><E1FF>25088<E200><E2FF>25344
endcidrange 29 begincidrange<E300><E3FF>25600<E400><E4FF>25856<E500><E5FF>26112
<E600><E6FF>26368<E700><E7FF>26624<E800><E8FF>26880<E900><E9FF>27136<EA00>
<EAFF>27392<EB00><EBFF>27648<EC00><ECFF>27904<ED00><EDFF>28160<EE00><EEFF>28416
<EF00><EFFF>28672<F000><F0FF>28928<F100><F1FF>29184<F200><F2FF>29440<F300>
<F3FF>29696<F400><F4FF>29952<F500><F5FF>30208<F600><F6FF>30464<F700><F7FF>30720
<F800><F8FF>30976<F900><F9FF>31232<FA00><FAFF>31488<FB00><FBFF>31744<FC00>
<FCFF>32000<FD00><FDFF>32256<FE00><FEFF>32512<FF00><FFFF>32768 endcidrange
endcmap CMapName &/CMap defineresource ! E E}d/CMAP-WinCharSetFFFF-V
{CMAP-WinCharSetFFFF-H/WinCharSetFFFF-V/WinCharSetFFFF-H/CMap findresource/CMap
defineresource !}d/CMAP-WinCharSetFFFF-V2{CMAP-WinCharSetFFFF-H2
/WinCharSetFFFF-V2/WinCharSetFFFF-H2/CMap findresource/CMap defineresource !}d
%%EndResource
%%BeginResource: file Pscript_Encoding0 5.0 0
/ANSIEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/bullet/Euro/bullet/quotesinglbase/florin/quotedblbase
/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE
/bullet/Zcaron 2 bullets/quoteleft/quoteright/quotedblleft/quotedblright/bullet
/endash/emdash/tilde/trademark/scaron/guilsinglright/oe/bullet/zcaron/Ydieresis
{ISOLatin1Encoding}stopped{96 bullets}{160 96 getinterval aload !}?]d
ANSIEncoding @ 39/quotesingle put 96/grave put/ANSIEncodingOld ANSIEncoding 256
array copy d ANSIEncodingOld @[138 153 154 169 172 174 177 178 179 181 185 188
189 190 208 215 221 222 240 247 253 254]{/bullet put @}forall 166/bar put 176
/ring put EncodeDict/0 ANSIEncoding put EncodeDict/ANSIEncodingOld
ANSIEncodingOld put
%%EndResource
%%BeginResource: file Pscript_Encoding161 5.0 0
/GreekEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/Euro/.notdef/quotesinglbase/florin/quotedblbase
/ellipsis/dagger/daggerdbl/.notdef/perthousand/.notdef/guilsinglleft/.notdef
/.notdef/.notdef/.notdef/.notdef/quoteleft/quoteright/quotedblleft
/quotedblright/bullet/endash/emdash/.notdef/trademark/.notdef/guilsinglright
/.notdef/.notdef/.notdef/.notdef/space/dieresistonos/Alphatonos/sterling
/currency/yen/brokenbar/section/dieresis/copyright/ordfeminine/guillemotleft
/logicalnot/hyphen/registered/afii00208/degree/plusminus/twosuperior
/threesuperior/tonos/mu/paragraph/periodcentered/Epsilontonos/Etatonos
/Iotatonos/guillemotright/Omicrontonos/onehalf/Upsilontonos/Omegatonos
/iotadieresistonos/Alpha/Beta/Gamma/Delta/Epsilon/Zeta/Eta/Theta/Iota/Kappa
/Lambda/Mu/Nu/Xi/Omicron/Pi/Rho/.notdef/Sigma/Tau/Upsilon/Phi/Chi/Psi/Omega
/Iotadieresis/Upsilondieresis/alphatonos/epsilontonos/etatonos/iotatonos
/upsilondieresistonos/alpha/beta/gamma/delta/epsilon/zeta/eta/theta/iota/kappa
/lambda/mu/nu/xi/omicron/pi/rho/sigma1/sigma/tau/upsilon/phi/chi/psi/omega
/iotadieresis/upsilondieresis/omicrontonos/upsilontonos/omegatonos/.notdef]d
GreekEncoding @ 39/quotesingle put 96/grave put EncodeDict/161 GreekEncoding
put
%%EndResource
%%BeginResource: file Pscript_Encoding162 5.0 0
/TurkishEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/Euro/.notdef/quotesinglbase/florin/quotedblbase
/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE
/.notdef/.notdef/.notdef/.notdef/quoteleft/quoteright/quotedblleft
/quotedblright/bullet/endash/emdash/tilde/trademark/scaron/guilsinglright/oe
/.notdef/.notdef/Ydieresis/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/Gbreve/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis
/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Idotaccent/Scommaaccent
/germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave
/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/gbreve/ntilde
/ograve/oacute/ocircumflex/otilde/odieresis/divide/oslash/ugrave/uacute
/ucircumflex/udieresis/dotlessi/scommaaccent/ydieresis]d TurkishEncoding @ 39
/quotesingle put 96/grave put EncodeDict/162 TurkishEncoding put
%%EndResource
%%BeginResource: file Pscript_Encoding177 5.0 0
/HebrewEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/Euro/.notdef/quotesinglbase/florin/quotedblbase
/ellipsis/dagger/daggerdbl/circumflex/perthousand/.notdef/guilsinglleft/.notdef
/.notdef/.notdef/.notdef/.notdef/quoteleft/quoteright/quotedblleft
/quotedblright/bullet/endash/emdash/tilde/trademark/.notdef/guilsinglright
/.notdef/.notdef/.notdef/.notdef/space/.notdef/cent/sterling/afii57636/yen
/brokenbar/section/dieresis/copyright/.notdef/guillemotleft/logicalnot/hyphen
/registered/macron/degree/plusminus/twosuperior/threesuperior/acute/mu
/paragraph/periodcentered/.notdef/onesuperior/.notdef/guillemotright/onequarter
/onehalf/threequarters/.notdef/afii57799/afii57801/afii57800/afii57802
/afii57793/afii57794/afii57795/afii57798/afii57797/afii57806/.notdef/afii57796
/afii57807/afii57839/afii57645/afii57841/afii57842/afii57804/afii57803
/afii57658/afii57716/afii57717/afii57718/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/afii57664/afii57665/afii57666
/afii57667/afii57668/afii57669/afii57670/afii57671/afii57672/afii57673
/afii57674/afii57675/afii57676/afii57677/afii57678/afii57679/afii57680
/afii57681/afii57682/afii57683/afii57684/afii57685/afii57686/afii57687
/afii57688/afii57689/afii57690/.notdef/.notdef/afii299/afii300/.notdef]d
HebrewEncoding @ 39/quotesingle put 96/grave put EncodeDict/177 HebrewEncoding
put
%%EndResource
%%BeginResource: file Pscript_Encoding178 5.0 0
/ArabicEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/Euro/afii57506/quotesinglbase/florin
/quotedblbase/ellipsis/dagger/daggerdbl/circumflex/perthousand/.notdef
/guilsinglleft/OE/afii57507/afii57508/.notdef/afii57509/quoteleft/quoteright
/quotedblleft/quotedblright/bullet/endash/emdash/.notdef/trademark/.notdef
/guilsinglright/oe/afii61664/afii301/.notdef/space/afii57388/cent/sterling
/currency/yen/brokenbar/section/dieresis/copyright/.notdef/guillemotleft
/logicalnot/hyphen/registered/macron/degree/plusminus/twosuperior/threesuperior
/acute/mu/paragraph/periodcentered/cedilla/onesuperior/afii57403/guillemotright
/onequarter/onehalf/threequarters/afii57407/.notdef/afii57409/afii57410
/afii57411/afii57412/afii57413/afii57414/afii57415/afii57416/afii57417
/afii57418/afii57419/afii57420/afii57421/afii57422/afii57423/afii57424
/afii57425/afii57426/afii57427/afii57428/afii57429/afii57430/multiply/afii57431
/afii57432/afii57433/afii57434/afii57440/afii57441/afii57442/afii57443/agrave
/afii57444/acircumflex/afii57445/afii57446/afii57470/afii57448/ccedilla/egrave
/eacute/ecircumflex/edieresis/afii57449/afii57450/icircumflex/idieresis
/afii57451/afii57452/afii57453/afii57454/ocircumflex/afii57455/afii57456/divide
/afii57457/ugrave/afii57458/ucircumflex/udieresis/afii299/afii300/.notdef]d
ArabicEncoding @ 39/quotesingle put 96/grave put EncodeDict/178 ArabicEncoding
put
%%EndResource
%%BeginResource: file Pscript_Encoding186 5.0 0
/BalticEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/Euro/.notdef/quotesinglbase/.notdef/quotedblbase
/ellipsis/dagger/daggerdbl/.notdef/perthousand/.notdef/guilsinglleft/.notdef
/.notdef/.notdef/.notdef/.notdef/quoteleft/quoteright/quotedblleft
/quotedblright/bullet/endash/emdash/.notdef/trademark/.notdef/guilsinglright
/.notdef/.notdef/.notdef/.notdef/space/caron/breve/sterling/currency/.notdef
/brokenbar/section/dieresis/copyright/Rcommaaccent/guillemotleft/logicalnot
/hyphen/registered/AE/ring/plusminus/ogonek/threesuperior/acute/mu/paragraph
/periodcentered/cedilla/onesuperior/rcommaaccent/guillemotright/onequarter
/onehalf/threequarters/ae/Aogonek/Iogonek/Amacron/Cacute/Adieresis/Aring
/Eogonek/Emacron/Ccaron/Eacute/Zacute/Edotaccent/Gcommaaccent/Kcommaaccent
/Imacron/Lcommaaccent/Scaron/Nacute/Ncommaaccent/Oacute/Omacron/Otilde
/Odieresis/multiply/Uogonek/Lslash/Sacute/Umacron/Udieresis/Zdotaccent/Zcaron
/germandbls/aogonek/iogonek/amacron/cacute/adieresis/aring/eogonek/emacron
/ccaron/eacute/zacute/edotaccent/gcommaaccent/kcommaaccent/imacron/lcommaaccent
/scaron/nacute/ncommaaccent/oacute/omacron/otilde/odieresis/divide/uogonek
/lslash/sacute/umacron/udieresis/zdotaccent/zcaron/dotaccent]d BalticEncoding @
39/quotesingle put 96/grave put EncodeDict/186 BalticEncoding put
%%EndResource
%%BeginResource: file Pscript_Encoding204 5.0 0
/RussianEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent/dieresis
/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets StandardEncoding 32
95 getinterval aload !/.notdef/afii10051/afii10052/quotesinglbase/afii10100
/quotedblbase/ellipsis/dagger/daggerdbl/Euro/perthousand/afii10058
/guilsinglleft/afii10059/afii10061/afii10060/afii10145/afii10099/quoteleft
/quoteright/quotedblleft/quotedblright/bullet/endash/emdash/.notdef/trademark
/afii10106/guilsinglright/afii10107/afii10109/afii10108/afii10193/space
/afii10062/afii10110/afii10057/currency/afii10050/brokenbar/section/afii10023
/copyright/afii10053/guillemotleft/logicalnot/hyphen/registered/afii10056
/degree/plusminus/afii10055/afii10103/afii10098/mu/paragraph/periodcentered
/afii10071/afii61352/afii10101/guillemotright/afii10105/afii10054/afii10102
/afii10104/afii10017/afii10018/afii10019/afii10020/afii10021/afii10022
/afii10024/afii10025/afii10026/afii10027/afii10028/afii10029/afii10030
/afii10031/afii10032/afii10033/afii10034/afii10035/afii10036/afii10037
/afii10038/afii10039/afii10040/afii10041/afii10042/afii10043/afii10044
/afii10045/afii10046/afii10047/afii10048/afii10049/afii10065/afii10066
/afii10067/afii10068/afii10069/afii10070/afii10072/afii10073/afii10074
/afii10075/afii10076/afii10077/afii10078/afii10079/afii10080/afii10081
/afii10082/afii10083/afii10084/afii10085/afii10086/afii10087/afii10088
/afii10089/afii10090/afii10091/afii10092/afii10093/afii10094/afii10095
/afii10096/afii10097]d RussianEncoding @ 39/quotesingle put 96/grave put
EncodeDict/204 RussianEncoding put
%%EndResource
%%BeginResource: file Pscript_Encoding238 5.0 0
/EasternEuropeanEncoding[/grave/acute/circumflex/tilde/macron/breve/dotaccent
/dieresis/ring/cedilla/hungarumlaut/ogonek/caron/dotlessi 18 bullets
StandardEncoding 32 95 getinterval aload !/.notdef/Euro/.notdef/quotesinglbase
/.notdef/quotedblbase/ellipsis/dagger/daggerdbl/.notdef/perthousand/Scaron
/guilsinglleft/Sacute/Tcaron/Zcaron/Zacute/.notdef/quoteleft/quoteright
/quotedblleft/quotedblright/bullet/endash/emdash/.notdef/trademark/scaron
/guilsinglright/sacute/tcaron/zcaron/zacute/space/caron/breve/Lslash/currency
/Aogonek/brokenbar/section/dieresis/copyright/Scommaaccent/guillemotleft
/logicalnot/hyphen/registered/Zdotaccent/degree/plusminus/ogonek/lslash/acute
/mu/paragraph/periodcentered/cedilla/aogonek/scommaaccent/guillemotright/Lcaron
/hungarumlaut/lcaron/zdotaccent/Racute/Aacute/Acircumflex/Abreve/Adieresis
/Lacute/Cacute/Ccedilla/Ccaron/Eacute/Eogonek/Edieresis/Ecaron/Iacute
/Icircumflex/Dcaron/Dcroat/Nacute/Ncaron/Oacute/Ocircumflex/Ohungarumlaut
/Odieresis/multiply/Rcaron/Uring/Uacute/Uhungarumlaut/Udieresis/Yacute
/Tcommaaccent/germandbls/racute/aacute/acircumflex/abreve/adieresis/lacute
/cacute/ccedilla/ccaron/eacute/eogonek/edieresis/ecaron/iacute/icircumflex
/dcaron/dcroat/nacute/ncaron/oacute/ocircumflex/ohungarumlaut/odieresis/divide
/rcaron/uring/uacute/uhungarumlaut/udieresis/yacute/tcommaaccent/dotaccent]d
EasternEuropeanEncoding @ 39/quotesingle put 96/grave put EncodeDict/238
EasternEuropeanEncoding put
%%EndResource
%%BeginResource: file Pscript_Encoding256 5.0 0
/CharCol256Encoding[/.notdef/breve/caron/dotaccent/dotlessi/fi/fl/fraction
/hungarumlaut/Lslash/lslash/minus/ogonek/ring/Zcaron/zcaron/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef
/.notdef/.notdef/.notdef/.notdef/.notdef/.notdef/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/.notdef/Euro/.notdef/quotesinglbase/florin/quotedblbase/ellipsis
/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE/.notdef
/.notdef/.notdef/.notdef/quoteleft/quoteright/quotedblleft/quotedblright/bullet
/endash/emdash/tilde/trademark/scaron/guilsinglright/oe/.notdef/.notdef
/Ydieresis/.notdef/exclamdown/cent/sterling/currency/yen/brokenbar/section
/dieresis/copyright/ordfeminine/guillemotleft/logicalnot/.notdef/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 EncodeDict/256 CharCol256Encoding put
%%EndResource
%%BeginResource: file Pscript_Encoding257 5.0 0
/CharCol257Encoding[/.notdef/Abreve/Amacron/Aogonek/Cacute/Ccaron/Dcaron/Dcroat
/Delta/Ecaron/Edotaccent/Emacron/Eogonek/Gbreve/Gcommaaccent/Idotaccent/Imacron
/Iogonek/Kcommaaccent/Lacute/Lcaron/Lcommaaccent/Nacute/Ncaron/Ncommaaccent
/Ohungarumlaut/Omacron/Racute/Rcaron/Rcommaaccent/Sacute/Scedilla/Scommaaccent
/Tcaron/Tcommaaccent/Uhungarumlaut/Umacron/Uogonek/Uring/Zacute/Zdotaccent
/abreve/amacron/aogonek/cacute/ccaron/commaaccent/dcaron/dcroat/ecaron
/edotaccent/emacron/eogonek/gbreve/gcommaaccent/greaterequal/imacron/iogonek
/kcommaaccent/lacute/lcaron/lcommaaccent/lessequal/lozenge/nacute/ncaron
/ncommaaccent/notequal/ohungarumlaut/omacron/partialdiff/racute/radical/rcaron
/rcommaaccent/sacute/scedilla/scommaaccent/summation/tcaron/tcommaaccent
/uhungarumlaut/umacron/uogonek/uring/zacute/zdotaccent 199 bullets]def
EncodeDict/257 CharCol257Encoding put
%%EndResource
%%BeginResource: file Pscript_Win_Euro_L2 5.0 0
/UseT3EuroFont{/currentdistillerparams where{pop currentdistillerparams
/CoreDistVersion get 4000 le}{false}ifelse}bind def/NewEuroT3Font?{dup/FontType
get 3 eq{dup/EuroFont known exch/BaseFont known and}{pop false}ifelse}bind def
/T1FontHasEuro{dup/CharStrings known not{dup NewEuroT3Font?{dup/EuroGlyphName
get exch/EuroFont get/CharStrings get exch known{true}{false}ifelse}{pop false}
ifelse}{dup/FontType get 1 eq{/CharStrings get/Euro known}{dup/InfoDict known{
/InfoDict get/Euro known}{/CharStrings get/Euro known}ifelse}ifelse}ifelse}bind
def/FontHasEuro{findfont dup/Blend known{pop true}{T1FontHasEuro}ifelse}bind
def/EuroEncodingIdx 1 def/EuroFontHdr{12 dict begin/FontInfo 10 dict dup begin
/version(001.000)readonly def/Notice(Copyright (c)1999 Adobe Systems
Incorporated. All Rights Reserved.)readonly def/FullName(Euro)readonly def
/FamilyName(Euro)readonly def/Weight(Regular)readonly def/isFixedPitch false
def/ItalicAngle 0 def/UnderlinePosition -100 def/UnderlineThickness 50 def end
readonly def/FontName/Euro def/Encoding 256 array 0 1 255{1 index exch/.notdef
put}for def/PaintType 0 def/FontType 1 def/FontMatrix[0.001 0 0 0.001 0 0]def
/FontBBox{-25 -23 1500 804}readonly def currentdict end dup/Private 20 dict dup
begin/ND{def}def/NP{put}def/lenIV -1 def/RD{string currentfile exch
readhexstring pop}def/-|{string currentfile exch readstring pop}executeonly def
/|-{def}executeonly def/|{put}executeonly def/BlueValues[-20 0 706 736 547 572]
|-/OtherBlues[-211 -203]|-/BlueScale 0.0312917 def/MinFeature{16 16}|-/StdHW
[60]|-/StdVW[71]|-/ForceBold false def/password 5839 def/Erode{8.5 dup 3 -1
roll 0.1 mul exch 0.5 sub mul cvi sub dup mul 71 0 dtransform dup mul exch dup
mul add le{pop pop 1.0 1.0}{pop pop 0.0 1.5}ifelse}def/OtherSubrs[{}{}{}
{systemdict/internaldict known not{pop 3}{1183615869 systemdict/internaldict
get exec dup/startlock known{/startlock get exec}{dup/strtlck known{/strtlck
get exec}{pop 3}ifelse}ifelse}ifelse}executeonly]|-/Subrs 5 array dup 0
<8E8B0C100C110C110C210B>put dup 1<8B8C0C100B>put dup 2<8B8D0C100B>put dup 3<0B>
put dup 4<8E8C8E0C100C110A0B>put |- 2 index/CharStrings 256 dict dup begin
/.notdef<8b8b0d0e>def end end put put dup/FontName get exch definefont pop}bind
def/AddEuroGlyph{2 index exch EuroEncodingIdx 1 eq{EuroFontHdr}if systemdict
begin/Euro findfont dup dup/Encoding get 5 1 roll/Private get begin/CharStrings
get dup 3 index known{pop pop pop pop end end}{begin 1 index exch def end end
end EuroEncodingIdx dup 1 add/EuroEncodingIdx exch def exch put}ifelse}bind def
/GetNewXUID{currentdict/XUID known{[7 XUID aload pop]true}{currentdict/UniqueID
known{[7 UniqueID]true}{false}ifelse}ifelse}bind def/BuildT3EuroFont{exch 16
dict begin dup/FontName exch def findfont dup/Encoding get/Encoding exch def
dup length 1 add dict copy dup/FID undef begin dup dup/FontName exch def
/Encoding 256 array 0 1 255{1 index exch/.notdef put}for def GetNewXUID{/XUID
exch def}if currentdict end definefont pop/BaseFont exch findfont 1000
scalefont def/EuroFont exch findfont 1000 scalefont def pop/EuroGlyphName exch
def/FontType 3 def/FontMatrix[.001 0 0 .001 0 0]def/FontBBox BaseFont/FontBBox
get def/Char 1 string def/BuildChar{exch dup begin/Encoding get 1 index get
/Euro eq{BaseFont T1FontHasEuro{false}{true}ifelse}{false}ifelse{EuroFont
setfont pop userdict/Idx 0 put EuroFont/Encoding get{EuroGlyphName eq{exit}
{userdict/Idx Idx 1 add put}ifelse}forall userdict/Idx get}{dup dup Encoding
exch get BaseFont/Encoding get 3 1 roll put BaseFont setfont}ifelse Char 0 3 -1
roll put Char stringwidth newpath 0 0 moveto Char true charpath flattenpath
pathbbox setcachedevice 0 0 moveto Char show end}bind def currentdict end dup
/FontName get exch definefont pop}bind def/AddEuroToT1Font{dup findfont dup
length 10 add dict copy dup/FID undef begin/EuroFont 3 -1 roll findfont 1000
scalefont def CharStrings dup length 1 add dict copy begin/Euro{EuroFont
setfont pop EuroGBBox aload pop setcachedevice 0 0 moveto EuroGName glyphshow}
bind def currentdict end/CharStrings exch def GetNewXUID{/XUID exch def}if 3 1
roll/EuroGBBox exch def/EuroGName exch def currentdict end definefont pop}bind
def/BuildNewFont{UseT3EuroFont{BuildT3EuroFont}{pop AddEuroToT1Font}ifelse}bind
def/UseObliqueEuro{findfont/FontMatrix get dup 2 get 0 eq exch dup 0 get exch 3
get eq and UseT3EuroFont or}bind def
%%EndResource
%%BeginResource: file Pscript_WinNT_Compat 5.0 0
userdict/Pscript_WinNT_Compat 19 dict dup begin/bd{bind def}bind def/ld{load
def}bd/$x matrix def/ANSIVec[16#0/grave 16#1/acute 16#2/circumflex 16#3/tilde
16#4/macron 16#5/breve 16#6/dotaccent 16#7/dieresis 16#8/ring 16#9/cedilla 16#A
/hungarumlaut 16#B/ogonek 16#C/caron 16#D/dotlessi 16#27/quotesingle 16#60
/grave 16#7C/bar 16#82/quotesinglbase 16#83/florin 16#84/quotedblbase 16#85
/ellipsis 16#86/dagger 16#87/daggerdbl 16#88/circumflex 16#89/perthousand 16#8A
/Scaron 16#8B/guilsinglleft 16#8C/OE 16#91/quoteleft 16#92/quoteright 16#93
/quotedblleft 16#94/quotedblright 16#95/bullet 16#96/endash 16#97/emdash 16#98
/tilde 16#99/trademark 16#9A/scaron 16#9B/guilsinglright 16#9C/oe 16#9F
/Ydieresis 16#A0/space 16#A1/exclamdown 16#A4/currency 16#A5/yen 16#A6
/brokenbar 16#A7/section 16#A8/dieresis 16#A9/copyright 16#AA/ordfeminine 16#AB
/guillemotleft 16#AC/logicalnot 16#AD/hyphen 16#AE/registered 16#AF/macron
16#B0/degree 16#B1/plusminus 16#B2/twosuperior 16#B3/threesuperior 16#B4/acute
16#B5/mu 16#B6/paragraph 16#B7/periodcentered 16#B8/cedilla 16#B9/onesuperior
16#BA/ordmasculine 16#BB/guillemotright 16#BC/onequarter 16#BD/onehalf 16#BE
/threequarters 16#BF/questiondown 16#C0/Agrave 16#C1/Aacute 16#C2/Acircumflex
16#C3/Atilde 16#C4/Adieresis 16#C5/Aring 16#C6/AE 16#C7/Ccedilla 16#C8/Egrave
16#C9/Eacute 16#CA/Ecircumflex 16#CB/Edieresis 16#CC/Igrave 16#CD/Iacute 16#CE
/Icircumflex 16#CF/Idieresis 16#D0/Eth 16#D1/Ntilde 16#D2/Ograve 16#D3/Oacute
16#D4/Ocircumflex 16#D5/Otilde 16#D6/Odieresis 16#D7/multiply 16#D8/Oslash
16#D9/Ugrave 16#DA/Uacute 16#DB/Ucircumflex 16#DC/Udieresis 16#DD/Yacute 16#DE
/Thorn 16#DF/germandbls 16#E0/agrave 16#E1/aacute 16#E2/acircumflex 16#E3
/atilde 16#E4/adieresis 16#E5/aring 16#E6/ae 16#E7/ccedilla 16#E8/egrave 16#E9
/eacute 16#EA/ecircumflex 16#EB/edieresis 16#EC/igrave 16#ED/iacute 16#EE
/icircumflex 16#EF/idieresis 16#F0/eth 16#F1/ntilde 16#F2/ograve 16#F3/oacute
16#F4/ocircumflex 16#F5/otilde 16#F6/odieresis 16#F7/divide 16#F8/oslash 16#F9
/ugrave 16#FA/uacute 16#FB/ucircumflex 16#FC/udieresis 16#FD/yacute 16#FE/thorn
16#FF/ydieresis]def currentdict{dup type/operatortype eq{[exch]cvx def}{pop
pop}ifelse}forall/initialize{currentdict exch begin begin}bind def/terminate{
/@FL where not{pop end end}{pop}ifelse}bind def/suspend/terminate load def
/resume/initialize load def/RS{/pagesave where{pop pagesave restore}{$x matrix
invertmatrix concat}ifelse}def/SS{/pagesave save def}def/CB{pop pop pop pop}def
/B{pop pop pop pop}def/:/gsave load def/;/grestore load def/N/newpath load def
end put
%%EndResource
end
/ProcSet defineresource pop
%%EndResource

%%EndProlog

%%BeginSetup
statusdict begin (%%[ ProductName: ) print product print ( ]%%)= flush end
Pscript_WinNT_Compat dup /initialize get exec
[ 1 0 0 1 0 0 ] false /Pscript_WinNT_Full /ProcSet findresource dup /initialize get exec
featurebegin{
%%BeginNonPPDFeature: JobTimeout 0
0 /languagelevel where{pop languagelevel}{1}ifelse 2 ge{1 dict dup/JobTimeout  4 -1 roll put setuserparams}{statusdict/setjobtimeout get exec}ifelse
%%EndNonPPDFeature
}featurecleanup

featurebegin{
%%BeginNonPPDFeature: WaitTimeout 120
120 /languagelevel where{pop languagelevel}{1}ifelse 2 ge{1 dict dup/WaitTimeout 4 -1 roll put setuserparams}{statusdict/waittimeout 3 -1 roll put}ifelse
%%EndNonPPDFeature
}featurecleanup

featurebegin{
%%BeginFeature: *Resolution 600dpi
 
<< /HWResolution [600 600]>>  setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPHalftone Enhanced
 
<< /Install {
	currentpagedevice /HWResolution get
	dup 0 get 600 eq exch 1 get 600 eq and
	{/EnhancedColorRendering600} {/EnhancedColorRendering} ifelse
	/ColorRendering findresource setcolorrendering
	/EnhancedHalftone /Halftone findresource sethalftone
	{ } settransfer false setstrokeadjust
} >> setpagedevice
currentpagedevice /HWResolution get dup 0 get 600 eq exch 1 get 600 eq and
	{ 
		<< /PostRenderingEnhance false 	>>  setpagedevice	
	}if
/setscreen { 3 {pop} repeat } def
/setcolorscreen { 12 {pop} repeat } def
/sethalftone { pop } def 

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Smoothing True

<< /PostRenderingEnhance true >>  setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *MediaType None

    <</DeferredMediaSelection true /MediaType null>> setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *PageSize Letter

	<</DeferredMediaSelection true /PageSize [612 792] /ImagingBBox null>> setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Duplex DuplexNoTumble

	<</Duplex true /Tumble false>> setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *OutputBin Upper
<</OutputType (TOP OUTPUT BIN)>> setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmTextAngle Deg45
userdict /HPwmAngle 45 put
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmTextStyle Medium
userdict /HPwmStyle .48 put
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmFontSize pt48
userdict /HPwmSize 48 put
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmFont HelveticaB

  /Helvetica-Bold findfont dup length dict begin
    {1 index /FID ne {def} {pop pop} ifelse} forall
    /Encoding ISOLatin1Encoding def currentdict 
  end
  /HPwmFont exch definefont pop
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmText None

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPwmLocation True
userdict /HPwmLocation true put
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *HPNup OneUp

% Copyright (c) Hewlett-Packard Co 1997
  userdict begin
  true setglobal /HPwm 5 dict dup begin /HPwmOn true def /HPwmOdd true def end def false setglobal

  userdict /HPwmAngle known not {/HPwmAngle 45 def} if
  userdict /HPwmSize known not {/HPwmSize 48 def} if
  userdict /HPwmLocation known not {/HPwmLocation true def} if
  userdict /HPwmStyle known not {/HPwmStyle .48 def} if
  userdict /HPwmDuplex known not {/HPwmDuplex 0 def} if

  /HPwmEOP {HPwmDuplex 0 eq {true}{HPwmDuplex 1 eq HPwmOdd eq dup not {erasepage}if
    true setglobal /HPwmOdd HPwmOdd not def false setglobal}ifelse} bind def
  end

  <<
  /EndPage {userdict begin
  userdict /HPwmText known HPwm /HPwmOn get and
    {initmatrix
     0 setgray 1 setlinewidth true setstrokeadjust 0 setlinejoin 0 setlinecap [] 0 setdash
     currentpagedevice /PageSize get aload pop 2 div exch 2 div exch translate
     HPwmAngle rotate /HPwmFont HPwmSize selectfont
     HPwmText stringwidth 2 div neg exch 2 div neg exch HPwmSize .25 mul sub moveto
     HPwmText false charpath userdict /HPwmStyle1 known
       {gsave 1 setgray HPwmStyle1 HPwmStyle add setlinewidth stroke grestore} if
     0 setgray HPwmStyle setlinewidth stroke
     HPwmLocation not {true setglobal HPwm /HPwmOn false put false setglobal} if
    } if
  2 eq {pop false}{pop HPwm begin HPwmEOP end} ifelse
  end } bind
  >> setpagedevice
%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Option2 True

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Option3 True

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Option4 False

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Option5 MailboxModeMailbox

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *InstalledMemory 28Meg

%%EndFeature
}featurecleanup
featurebegin{
%%BeginFeature: *Option1 False

%%EndFeature
}featurecleanup
1 setlinecap 1 setlinejoin
/mysetup [ 0.12 0 0 -0.12 12.99968 780.00094 ] def 
%%EndSetup

%%Page: 1 1
%%PageBoundingBox: 13 13 599 780
%%EndPageComments
userdict begin /pagesave save def end
%%BeginPageSetup
/DeviceRGB dup setcolorspace /colspABC exch def
mysetup concat colspRefresh
%%EndPageSetup

0 0 0 1 scol 
%%IncludeResource: font Times-Roman
7500 VM?
/Times-Roman FontHasEuro not
{
/Euro.Times-Roman
 [500 0 24 -14 493 676 ] 
<A3F8880DC0EB03F854F743950C0C037DA501F7A0BB01F805BB01F91EA501F869F8911584
F73A0576068478827E7F8B087F8B70AC438B082A8BFB0D6471FB700863067C5B05BE068A
7E8B878B7D08750764067D5B05C206A0FB7BF71858E88B088F0AC0EB03F84BF789950C0C
037DA501F7A0BB01F805BB01F91EA501CA8BACAC998B08988B95809076088F0AC0EB03F8
54F743950C0C037DA501F7A0BB01F805BB01F91EA501A00692F73705750675FB09417667
8B083A8B43C182F75E08F7740699BB05FB84069C078B978C978B9708F7950699BB05FBA1
069AF755D5B3D18B08AB8BDD71A2FB0708090E>
AddEuroGlyph
/Euro /Times-Roman /Times-Roman-Copy BuildNewFont
} if
F /F0 0 /256 T /Times-Roman mF 
/F0S56 F0 [86.633 0 0 -86.633 0 0 ] mFS
F0S56 Ji 
820 6207 M ( )S 
2515 6207 M ( )S 

%%IncludeResource: font Times-Bold
7500 VM?
/Times-Bold FontHasEuro not
{
/Euro.Times-Bold
 [500 0 19 -13 492 688 ] 
<9EF8880DF84CA6037EA701F791C801F7FFC801F928A7018F0AC3F73203F852A6037EA701
F791C801F7FFC801F928A701F86DF89C15F73A0770068875877D778B08858B749A799308
7E916E946B8B08358BFB144773FB58086506774E05C1065A076706774E05C7069DFB27E1
FB0BF7188B088F0AC3F73203F84CA6037EA701F791C801F7FFC801F928A701B88BAA9F91
8E089C939892908B089F8B8F7D8E7508A606F7450772067A3F5240538B084F8B68EC89F7
2108F72F06A0C805FB4506BC07F75506A0C805FB690690F71CA9EFC88B088F0AF852A603
7EA701F791C801F7FFC801F928A701D58BB93A9C5008090E>
AddEuroGlyph
/Euro /Times-Bold /Times-Bold-Copy BuildNewFont
} if
F /F1 0 /256 T /Times-Bold mF 
/F1S5E F1 [94.164 0 0 -94.164 0 0 ] mFS
F1S5E Ji 
1458 558 M (Annotation)[68 52 51 47 32 47 31 26 47  0]xS 
1911 558 M (-)S 
1942 558 M (Assisted Lightweight Static Checking)[68 37 36 27 36 31 43 52 23 63 27 47 51 32 68 43 26 47 52 31 24 51 31 47 32 26 42 24 68 51 43 42
52 26 52  0]xS 
3440 558 M ( )S 
/F0S5E F0 [94.164 0 0 -94.164 0 0 ] mFS
F0S5E Ji 
2450 663 M ( )S 
F0S56 Ji 
2225 765 M (David Evans)[64 38 43 24 44 22 53 43 39 44  0]xS 
2673 765 M ( )S 

%%IncludeResource: font Helvetica
7500 VM?
/Helvetica FontHasEuro not
{
/Euro.Helvetica
 [556 0 24 -19 541 703 ] 
<A3F8C00DD4E90378DA01F779D301F808D301F904DA01F899F908156CB447AD338B08FB2D
8B372B7BFB37085806724305D30644075B06724305DA06A0FB36E035F7218B08E08BCDB7
939208EE077A71405E418B083F8B4CCE84F108F76506A3D305FB8306D207F79C06A3D305
FBB10692E2B7E8F28B08E08BBE62A45A08090E>
AddEuroGlyph
/Euro /Helvetica /Helvetica-Copy BuildNewFont
} if
F /F2 0 /256 T /Helvetica mF 
/F2S4E F2 [78.156 0 0 -78.156 0 0 ] mFS
F2S4E Ji 
2058 859 M (evans@cs.virginia.edu)[43 39 43 43 39 79 39 38 22 39 17 26 43 17 43 17 44 21 44 43  0]xS 
2840 859 M ( )S 
F0S56 Ji 
1458 955 M (University of Virginia, Department of Computer Science)[63 44 24 43 39 29 34 23 24 42 22 44 30 21 63 24 29 42 24 44 24 38 22 22 63 38 45 38 29 24 67 38
45 23 22 44 29 22 58 45 66 45 44 24 38 29 22 48 39 23 39 44 39  0]xS 
3440 955 M ( )S 
F0S5E Ji 
2450 1061 M ( )S 
F0S56 Ji 
2450 1163 M ( )S 
/F1S56 F1 [86.633 0 0 -86.633 0 0 ] mFS
F1S56 Ji 
820 1264 M (Abstract)[63 48 34 29 38 45 38  0]xS 
1144 1264 M ( )S 
/F0S4E F0 [78.156 0 0 -78.156 0 0 ] mFS
F0S4E Ji 
820 1353 M (While heavyweight formal methods have )[73 39 21 22 35 20 38 35 35 38 35 56 35 21 38 39 21 20 26 38 26 61 35 21 20 60 35 22 38 38 39 30
20 38 35 38 35  0]xS 
820 1443 M (shown much promise in academia and )[30 38 38 56 38 20 60 39 35 38 20 39 26 38 60 22 30 35 19 22 39 19 35 35 35 39 34 61 21 35 20 35
38 39  0]xS 
820 1533 M (remarkable success in industrial )[26 35 60 35 26 38 35 38 22 35 20 30 38 35 35 35 30 30 20 22 38 20 22 38 39 39 30 21 27 21 35 22
 0]xS 
1837 1533 M (hardware )[38 35 26 39 56 34 27 35  0]xS 
820 1624 M (projects, they are rarely used in industrial )[38 27 37 21 35 35 21 30 20 20 22 38 35 36 20 34 27 35 19 27 35 26 35 22 35 20 39 30 35 38 20 22
38 20 22 38 39 39 30 21 27 21 35 22  0]xS 
820 1714 M (software projects.  There are many reasons for )[30 37 27 21 56 35 26 35 20 38 27 37 21 35 35 22 30 19 20 20 47 39 34 27 35 19 35 27 35 19 61 34
39 36 20 26 35 35 30 37 39 30 20 26 38 26  0]xS 
820 1805 M (this [DillRusby96, Hall96, HollowayButler96], )[21 39 22 30 19 28 55 22 22 21 52 39 30 38 36 39 38 20 20 56 34 22 22 38 39 20 19 56 38 21 22 38
55 35 36 52 38 22 22 34 27 38 39 27 20  0]xS 
820 1894 M (but we believe one of the most important is the )[38 39 21 20 56 35 19 39 35 22 21 35 38 35 19 38 39 34 20 38 26 20 22 38 35 20 60 38 30 22 19 22
60 39 38 26 22 34 39 22 20 21 30 20 22 38 35  0]xS 
820 1984 M (lack of a realistic adoption path between )[21 35 35 38 19 38 26 20 35 20 26 35 35 22 21 30 22 22 34 20 35 39 37 39 22 21 38 39 19 39 35 21
39 20 38 35 22 55 35 35 39  0]xS 
820 2075 M (current development)[34 39 26 27 35 38 22 20 38 35 38 35 21 38 39 60 35 38  0]xS 
1460 2075 M ( techniques and more )[20 21 35 35 39 38 22 39 38 35 30 20 35 38 39 20 60 38 26 35  0]xS 
820 2165 M (formal approaches.  Our research seeks to )[26 38 26 60 35 22 20 34 39 39 26 38 34 35 39 35 30 20 19 20 56 38 27 20 26 35 30 35 35 26 35 38
20 30 35 35 38 30 20 21 38  0]xS 
820 2256 M (provide a few of the steps along that path.  Our )[38 27 37 38 22 38 35 20 35 19 27 35 55 20 38 26 20 21 39 35 20 30 21 35 39 30 20 35 21 38 39 37
20 22 38 35 22 20 38 35 22 38 20 20 20 55 39 26  0]xS 
820 2346 M (experience so far with LCLint [EGHT94, )[34 39 39 34 27 22 34 39 35 35 19 31 37 20 26 35 27 19 56 22 21 39 20 46 52 46 21 39 22 19 28 48
55 56 47 39 38 20  0]xS 
820 2435 M (Evans96] indicates that lightweight static )[48 37 35 39 30 38 39 27 20 22 38 39 22 35 34 22 35 30 20 21 39 35 22 19 22 22 37 39 22 55 35 22
37 39 22 19 30 22 35 22 21 35  0]xS 
820 2526 M (checking tools may provide an effective way to )[34 39 35 35 37 22 39 37 20 22 37 38 22 30 20 60 35 36 19 39 26 38 38 21 39 35 20 34 39 20 35 26
26 35 35 22 21 38 35 20 55 35 36 20 21 38  0]xS 
820 2616 M (introduce forma)[21 39 22 26 38 38 39 35 34 20 27 37 27 60  0]xS 
1318 2616 M (l methods into industrial )[21 20 60 35 22 39 37 39 30 20 21 39 22 37 20 22 38 39 39 30 21 27 21 35 22  0]xS 
820 2707 M (environments.)[34 39 38 21 27 37 39 60 35 39 21 31  0]xS 
1260 2707 M ( )S 
F0S56 Ji 
820 2805 M ( )S 
F1S56 Ji 
820 2906 M (Background)[58 44 39 47 44 39 44 48 48  0]xS 
1279 2906 M ( )S 
F0S56 Ji 
820 3050 M (There is a huge gap between the amount of )[52 45 38 29 39 21 23 34 21 38 21 44 45 42 39 20 43 38 45 19 45 38 24 63 39 38 44 20 24 44 39 19
39 67 44 44 45 23 20 44 29  0]xS 
820 3150 M (effort and expertise required to use )[38 29 30 44 29 24 21 39 44 44 22 39 43 44 39 29 24 23 34 39 21 29 39 44 45 23 29 39 44 22 23 45
21 45 33 39  0]xS 
820 3249 M (traditional development tools \(such as )[23 29 39 44 24 23 24 44 44 39 23 22 44 39 43 39 23 45 44 67 38 45 23 22 23 45 44 24 33 22 29 34
44 39 44 22 39 33  0]xS 
820 3348 M (compilers, integrated development )[38 44 67 45 23 24 38 29 34 22 22 23 44 24 39 42 29 39 23 39 44 22 44 39 43 39 23 44 45 67 38 44
24  0]xS 
820 3447 M (environments, and test scripts\) and formal )[38 44 44 23 30 44 44 67 38 45 23 34 22 22 38 44 45 21 24 38 34 24 22 33 39 29 24 44 24 33 30 21
39 44 44 22 29 45 29 67 38 24  0]xS 
820 3546 M (technique)[23 39 38 45 44 23 45 44  0]xS 
1160 3546 M (s such as )[33 22 34 44 39 44 22 38 34  0]xS 

%%IncludeResource: font Times-Italic
7500 VM?
/Times-Italic FontHasEuro not
{
/Euro.Times-Italic
 [500 0 23 -7 578 676 ] 
<A2F8880DDBDB03F7F8A003F88D9D0384A701F79DBB01F802BB01F91CA7018F0ADBDB03F7
F8A003F88D9D0384A701F79DBB01F802BB01F89CF71301F8BFF93315770680758A89818B
08848B79947592088F0ADBDB03F7F8A003F88D9D0384A701F79DBB01F802BB01F91CA701
75916F926D8B08FB0E8B27FB0A5BFB24084606735B05D6068879857A8A79084A06745B05
DD068A7D8A7C8B7C08FB01B3FB0BF7101EA28BA4919E94089D94948F928B08928B8D858D
7508A006B0F72205780679674E3D438B08477BD1D11F8BB290B28FA508F76306A2BB05FB
71068D9D929C8F9D08F77E06A3BB05FB88069FDEC8F72BEC8B08D9B757461F84078F0ADB
DB03F7F8A003F88D9D0384A701F79DBB01F802BB01F89CF713019D06090E>
AddEuroGlyph
/Euro /Times-Italic /Times-Italic-Copy BuildNewFont
} if
F /F3 0 /256 T /Times-Italic mF 
/F3S56 F3 [86.633 0 0 -86.633 0 0 ] mFS
F3S56 Ji 
1492 3546 M (Z)S 
F0S56 Ji 
1540 3546 M ( specifications, model )[22 34 44 38 39 24 29 23 39 38 24 24 44 44 34 22 21 67 44 45 38 24  0]xS 
820 3646 M (checking, and program verification.  On )[38 44 39 39 43 24 44 42 22 21 39 44 45 21 45 29 44 42 30 38 67 22 43 39 29 23 30 23 39 38 24 23
45 44 22 21 22 63 44  0]xS 
820 3745 M (the other hand, a large class of common )[23 44 39 22 44 23 45 38 30 21 44 39 44 45 21 22 38 22 24 38 29 43 38 22 39 23 39 34 34 21 45 29
21 39 44 67 67 44 45  0]xS 
820 3845 M (programming errors can be detected using )[44 29 44 43 29 38 67 67 24 44 42 22 39 29 29 44 29 34 22 39 38 45 21 44 39 22 44 39 23 39 38 24
38 45 21 45 34 23 44 43  0]xS 
820 3944 M (simpler techniques.  Our research explores )[33 24 67 44 24 38 29 22 24 38 39 44 44 24 44 44 39 34 22 21 22 63 44 30 21 29 39 34 38 39 29 39
44 22 38 44 44 24 44 29 39 33  0]xS 
820 4043 M (what can be done with minimal )[63 44 39 23 22 38 39 44 22 44 39 21 45 44 44 39 21 64 23 24 44 22 66 24 44 24 67 38 24  0]xS 
820 4142 M (programmer effort, without r)[44 29 44 43 29 38 67 67 39 29 22 38 29 30 44 29 24 21 22 63 24 23 44 45 44 23 22  0]xS 
1825 4142 M (equiring )[39 44 44 24 29 24 44 42  0]xS 
820 4241 M (substantial changes to traditional )[33 45 44 34 23 39 44 24 23 39 24 21 39 44 39 44 42 39 34 21 24 44 22 23 30 38 45 23 24 23 44 45
38 24  0]xS 
820 4341 M (development processes, using a tool that )[44 38 44 38 24 44 44 67 39 44 24 21 45 29 44 39 38 34 34 39 34 21 22 44 34 24 44 42 22 39 21 24
44 44 24 21 24 44 39 23  0]xS 
820 4440 M (requires no user interaction and runs about )[29 38 45 44 23 30 38 34 22 44 44 22 44 34 39 29 22 23 44 24 39 29 38 39 24 23 44 45 20 39 44 44
21 29 45 44 34 20 39 44 45 44 23  0]xS 
820 4540 M (as fast as a typical compiler.  )[38 34 22 29 39 33 24 22 38 34 22 38 22 24 42 44 24 38 39 24 21 39 44 67 44 24 23 39 29 22 21  0]xS 
1845 4540 M ( )S 
820 4686 M (We have developed LCLint, a )[81 38 22 44 39 43 39 21 45 38 43 39 24 44 44 39 44 22 51 59 52 23 44 24 22 21 39  0]xS 
1886 4686 M (tool for )[23 44 45 23 22 29 44 29  0]xS 
820 4784 M (statically checking C programs.  LCLint )[33 24 39 23 24 38 39 23 24 42 22 39 44 39 38 43 24 44 43 21 59 21 45 29 44 42 30 38 67 34 22 21
22 52 58 52 23 45 23  0]xS 
820 4884 M (provides a first )[44 29 44 44 23 44 39 34 22 38 22 29 24 29 34 23  0]xS 
1364 4884 M (step towards adoption of )[34 23 39 44 22 23 45 63 38 30 44 34 21 39 44 44 45 23 24 44 44 22 44 29  0]xS 
820 4983 M (formal techniques and mechanical )[29 44 29 67 39 23 22 23 39 39 44 44 24 44 44 39 34 21 39 44 45 21 67 39 38 45 38 44 24 39 38 24
 0]xS 
820 5083 M (analysis. If minimal effort is invested )[38 44 39 24 42 34 23 34 22 22 28 29 22 67 23 44 24 67 38 24 22 38 29 30 44 29 24 21 24 34 21 24
44 43 39 34 24 38 44  0]xS 
820 5182 M (adding annotations to programs, LCLint )[38 44 45 23 45 42 22 38 44 45 44 23 39 24 23 44 45 34 21 24 44 22 44 29 44 43 29 39 66 34 22 22
51 59 52 23 44 24  0]xS 
820 5281 M (can perform stronger checks than can be )[38 39 44 22 44 39 29 29 44 29 67 22 34 23 30 44 44 42 39 29 22 39 44 38 39 43 34 22 23 45 38 45
21 39 38 45 21 45 38  0]xS 
820 5380 M (done by any compiler or standard lint.  )[44 44 44 39 22 44 42 22 39 44 42 22 38 45 67 44 23 24 39 29 21 45 29 21 34 24 39 44 44 39 29 44
22 23 24 44 24 21 22  0]xS 
820 5479 M (Adding these annotations is the first s)[63 44 44 24 44 42 22 24 44 38 34 39 22 38 44 45 44 24 38 24 23 44 45 34 21 24 34 21 24 44 39 21
30 23 29 34 24 21  0]xS 
2130 5479 M (tep )[24 39 44  0]xS 
820 5579 M (on the path to using formal analysis )[44 44 22 23 45 38 22 44 39 23 45 21 24 44 22 44 34 23 45 42 22 29 44 29 67 39 23 22 39 44 38 24
42 34 24 34  0]xS 
820 5678 M (techniques.  LCLint checking ensures that )[23 39 38 45 44 23 45 44 39 33 22 22 21 52 59 51 24 44 24 21 39 44 39 38 44 23 45 42 22 38 44 34
45 29 38 34 22 24 44 38 24  0]xS 
820 5777 M (there is a clear and commensurate payoff )[23 44 39 29 39 21 24 34 22 38 22 38 24 39 38 29 22 39 44 44 22 38 45 67 66 39 44 34 44 30 38 24
38 22 44 39 42 45 29 29  0]xS 
820 5877 M (for any effort spent adding annotations.  )[29 44 29 22 39 44 42 22 38 30 29 44 29 24 21 34 45 38 44 24 22 38 45 44 23 45 42 22 38 44 45 44
24 38 24 23 44 45 34 21 22  0]xS 
2591 1262 M (Some of the problems that can be detected )[48 44 67 39 21 45 29 21 24 44 39 21 45 29 44 44 24 39 66 34 22 24 44 38 24 22 38 39 44 22 44 39
21 44 39 24 38 39 23 39 44  0]xS 
2591 1361 M (by LCLint include: violations of )[44 42 22 52 58 52 24 44 23 22 24 44 39 23 44 45 38 24 21 44 23 44 24 39 23 24 44 44 34 22 44 29
 0]xS 
2591 1460 M (information hid)[23 45 29 44 29 67 39 23 24 44 44 22 44 24  0]xS 
3136 1460 M (ing; inconsistent )[24 44 42 24 21 24 44 39 44 44 34 24 34 23 39 44 24  0]xS 
2591 1559 M (modifications of caller)[67 44 44 24 29 23 39 39 23 24 44 44 34 22 44 29 22 39 38 24 23 39  0]xS 
3378 1559 M (-)S 
3406 1559 M (visible state; )[44 23 34 24 44 23 39 22 34 23 39 23 39 23  0]xS 
2591 1659 M (inconsistent uses of global variables; )[23 45 38 45 44 34 23 34 24 38 45 23 22 44 34 38 34 22 44 29 22 43 23 44 45 38 24 21 44 38 30 23
39 44 23 39 34 24  0]xS 
2591 1758 M (memory management errors including )[67 38 67 44 30 42 22 67 38 44 39 42 39 67 38 45 23 22 39 29 29 44 29 34 22 23 45 38 24 44 44 24
44 43  0]xS 
2591 1857 M (uses of dead storage and memory leaks; )[44 34 39 34 21 44 30 21 45 38 39 44 22 34 23 44 30 38 43 38 22 38 45 44 22 66 39 67 44 29 43 21
24 39 38 43 34 24  0]xS 
2591 1957 M (and undefined program behavior.  LCLint )[38 45 44 22 44 44 44 39 29 24 44 39 44 22 44 29 44 43 29 38 67 22 44 39 44 39 43 24 44 29 22 21
22 52 58 52 23 45 23  0]xS 
2591 2055 M (checking is done using simple dataflow )[38 45 38 39 43 24 44 42 22 24 34 21 44 45 44 39 21 44 34 24 44 43 21 34 24 67 44 23 39 22 44 38
24 39 29 23 45 63  0]xS 
2591 2155 M (analyse)[38 45 38 24 42 34  0]xS 
2851 2155 M (s.  This means the checking is as )[34 21 22 22 52 45 23 34 22 67 38 39 44 34 22 23 44 39 22 38 45 38 39 43 24 44 42 22 23 34 22 39
34  0]xS 
2591 2254 M (fast as a compiler, and LCLint can easily )[29 39 34 23 22 38 34 22 39 21 39 44 67 44 24 23 39 29 22 21 39 44 44 22 52 58 52 24 44 23 22 39
38 45 21 39 38 34 24 23 43  0]xS 
2591 2354 M (be introduced into standard development )[44 39 21 24 44 24 29 44 44 45 38 39 44 22 23 45 23 44 22 34 24 38 44 45 38 29 45 21 45 38 44 38
24 44 44 67 39 44 23  0]xS 
2591 2453 M (cycles.  )[38 43 38 24 39 33 22 22  0]xS 
2871 2453 M ( )S 
2591 2599 M (As one would expect, LCLint\222s )[63 34 21 45 44 39 21 63 45 44 23 45 21 39 43 45 38 39 23 22 22 51 59 52 23 44 24 29 34  0]xS 
2591 2699 M (performance and usability goals require )[44 39 29 29 44 30 66 39 44 39 38 22 39 44 44 22 44 34 39 44 23 24 24 23 42 22 43 44 38 24 34 21
30 38 45 44 23 30 38  0]xS 
2591 2798 M (certain compromises to be made regarding )[38 39 29 24 38 24 44 22 38 45 67 44 29 44 67 24 34 38 34 22 23 45 21 44 39 22 67 38 44 39 22 29
39 42 39 29 44 24 44 42  0]xS 
2591 2897 M (the checking.  In p)[23 45 38 22 39 44 38 39 43 24 44 42 22 22 21 29 44 22  0]xS 
3236 2897 M (articular, we believe )[39 29 23 24 38 45 23 39 29 22 21 63 39 22 44 39 23 24 38 44 38  0]xS 
2591 2996 M (that it is reasonable to sacrifice soundness )[23 45 38 24 21 24 24 21 24 34 21 29 39 39 34 44 44 39 44 24 38 22 23 45 21 34 39 38 30 23 29 24
38 39 22 34 44 44 44 45 44 39 33 34  0]xS 
2591 3095 M (and completeness towards these goals \(see )[38 45 44 22 38 44 67 45 23 39 23 39 44 39 34 34 21 24 44 63 39 29 44 34 22 23 45 38 34 39 21 43
44 39 23 34 22 29 34 38 39  0]xS 
2591 3195 M ([Evans96] for a more complete argument\).  )[29 53 43 39 44 34 44 44 30 21 29 45 29 22 38 22 67 44 29 39 21 39 44 67 44 24 38 24 39 21 39 29
42 45 67 38 44 24 29 22 22  0]xS 
2591 3294 M (While this would not be acceptable in )[81 44 24 23 39 21 24 44 24 34 21 63 45 44 23 45 21 45 44 23 22 44 39 22 38 39 38 39 44 24 38 45
23 39 22 23 44  0]xS 
2591 3394 M (many environments, it is a desirable )[67 38 45 42 22 38 44 44 23 30 44 44 67 39 44 23 34 22 22 23 24 21 24 34 21 39 22 44 38 34 24 29
39 44 24 38  0]xS 
2591 3492 M (tradeoff in a typical industri)[23 30 38 44 39 44 30 29 21 24 44 22 38 22 24 42 44 24 38 39 24 21 24 44 44 45 33 24 29  0]xS 
3562 3492 M (al )[38 24  0]xS 
2591 3591 M (development environment where efficient )[44 39 43 39 23 44 45 67 38 44 24 22 38 44 44 23 30 44 44 67 39 44 23 22 63 44 39 29 39 21 39 29
29 24 39 23 39 44 23  0]xS 
2591 3691 M (detection of program bugs is the )[44 39 23 39 38 24 24 44 44 22 44 29 22 44 29 45 42 29 39 67 21 44 45 42 34 22 23 34 22 23 45 38
 0]xS 
2591 3790 M (overriding goal.  LCLint has been in active )[44 43 39 29 29 24 44 24 44 42 22 42 45 38 24 21 21 21 52 58 52 23 45 23 21 44 39 34 20 45 38 39
44 21 23 45 20 39 39 23 24 43 39  0]xS 
2591 3890 M (use for more than five years, and has been )[44 34 39 21 29 45 29 22 66 45 29 38 22 24 44 39 44 21 30 23 44 38 22 42 39 38 30 33 22 22 38 45
44 22 44 38 34 22 44 39 38 45  0]xS 
2591 3989 M (used by thousands of programmers in both )[44 34 39 44 22 44 42 22 23 45 44 44 34 39 44 44 34 22 44 29 22 44 29 45 42 29 39 67 66 39 29 34
22 23 45 20 45 44 23 45  0]xS 
2591 4088 M (industry and academia.)[23 45 44 44 34 24 29 42 22 38 45 44 22 38 39 38 45 38 67 24 38  0]xS 
3396 4088 M ( )S 
F1S56 Ji 
2591 4189 M ( )S 
2591 4288 M (Current Directions)[63 48 39 38 39 48 29 22 63 23 39 39 38 29 24 44 48  0]xS 
3298 4288 M ( )S 
F0S56 Ji 
2591 4433 M (Our curre)[63 44 29 22 39 44 29 29  0]xS 
2929 4433 M (nt work focuses on extending )[44 24 21 63 45 29 43 22 29 44 39 44 34 39 34 21 45 44 21 39 43 24 39 44 44 24 44 42  0]xS 
2591 4532 M (this approach in two directions: enhancing )[23 45 23 34 22 38 45 44 29 44 39 39 44 21 24 44 22 23 64 44 21 45 23 29 39 39 23 24 44 44 34 24
21 39 44 44 39 44 39 24 44 42  0]xS 
2591 4631 M (the functionality of LCLint by adding )[23 45 38 22 29 44 45 38 24 23 45 44 38 24 24 23 42 22 44 30 21 52 58 52 24 44 24 21 44 43 21 39
44 45 23 44 43  0]xS 
2591 4731 M (support for user)[34 44 44 45 44 29 24 21 29 45 29 21 45 34 38  0]xS 
3146 4731 M (-)S 
3175 4731 M (defined annotations )[44 39 29 23 45 38 44 22 39 44 44 44 24 39 23 24 44 44 34  0]xS 
2591 4830 M (without relaxing the usability and )[63 23 24 44 45 44 23 22 29 39 23 39 43 24 44 42 22 24 44 39 21 44 34 39 44 24 23 24 23 43 21 39
44 45  0]xS 
2591 4929 M (efficiency requirements, and providing the )[38 30 29 23 39 24 38 44 39 42 22 29 39 44 44 24 29 39 67 38 44 24 34 22 21 39 44 44 22 44 29 45
43 24 44 23 45 42 22 23 44 39  0]xS 
2591 5028 M (next step toward heavyweight fo)[44 39 43 24 21 34 24 38 45 21 24 44 63 39 29 44 22 44 39 38 44 42 63 39 23 43 44 23 22 29  0]xS 
3727 5028 M (rmal )[29 67 38 24  0]xS 
2591 5128 M (methods by introducing more expressive )[67 38 24 44 44 45 34 21 44 43 21 24 44 24 29 44 45 44 38 24 44 43 21 67 44 30 38 22 38 44 44 29
39 34 34 23 43 39  0]xS 
2591 5227 M (annotations and automated run)[38 45 44 44 24 38 24 23 45 44 34 22 38 44 45 21 39 44 24 44 67 38 24 39 44 22 29 44  0]xS 
3666 5227 M (-)S 
3694 5227 M (time )[24 24 66 39  0]xS 
2591 5326 M (checking.)[38 45 38 39 43 24 44 42  0]xS 
2926 5326 M ( )S 
F1S56 Ji 
2591 5473 M (User)[63 34 38  0]xS 
2765 5473 M (-)S 
2794 5473 M (defined Annotations.)[48 39 30 24 48 38 48 22 63 48 48 44 29 45 29 23 45 48 34  0]xS 
F0S56 Ji 
3568 5473 M (  Currently, )[22 22 58 44 29 30 38 44 24 24 42 22  0]xS 
2591 5572 M (LCLint users are limited to a pre)[52 58 52 23 45 23 22 44 34 39 29 34 21 39 29 39 21 24 23 67 24 23 39 44 22 23 45 21 39 22 44 29
 0]xS 
3723 5572 M (-)S 
3751 5572 M (defined )[44 39 29 24 44 38 45  0]xS 
2591 5671 M (set of annotations.  This works well as )[34 38 24 22 44 29 22 38 45 44 44 24 38 24 23 45 44 34 21 22 22 52 45 23 34 22 63 44 29 44 34 21
63 39 23 24 22 38 34  0]xS 
2591 5770 M (long as their programming style is )[23 45 44 42 22 39 33 22 24 44 39 23 29 22 44 29 45 42 29 39 67 67 23 44 43 21 34 24 42 24 38 22
24 33  0]xS 
2591 5869 M (consistent w)[38 45 44 34 23 34 24 38 45 23 19  0]xS 
3021 5869 M (ith the methodology supported )[24 23 45 18 24 44 39 19 66 39 24 44 44 44 45 23 44 43 42 18 34 44 45 44 44 29 24 38 45  0]xS 
0 Lj 1 Lc 6 Lw solid N 4443 43 M 2611 43 I 2611 405 I 4443 405 I C 
: 1 1 1 1 scol  O ; : 0.941 0.941 +S K 
; 2677 158 M (Position Paper in )[48 44 34 23 24 23 45 44 22 48 38 44 39 29 22 23 45  0]xS 
F3S56 Ji 
3293 158 M (The First International )[48 45 38 22 53 23 34 34 24 21 29 45 23 39 34 44 44 24 23 45 44 44 24  0]xS 
2677 257 M (Workshop on Automated Program Analysis, )[71 44 34 39 34 44 44 45 21 44 45 21 53 44 24 44 63 45 23 39 44 22 52 34 44 45 34 44 63 22 52 45
44 23 39 34 23 34 22  0]xS 
2677 357 M (Testing and Verification)[48 38 34 24 23 44 45 21 45 44 44 22 52 39 34 24 23 24 38 44 24 24 44  0]xS 
F0S56 Ji 
3523 357 M ( \(ICSE 2000\), Feb)[22 29 28 59 48 52 22 44 45 44 44 29 22 22 47 38  0]xS 
4162 357 M ( )S 
4184 357 M (2000.)[44 45 44 44  0]xS 
: 4383 280 7 98 rc 4383 357 M ( )S 
; LH
pagesave restore
(%%[Page: 1]%%) = 
%%PageTrailer

%%Page: 2 2
%%PageBoundingBox: 13 13 599 780
%%EndPageComments
userdict begin /pagesave save def end
%%BeginPageSetup
/DeviceRGB dup setcolorspace /colspABC exch def
mysetup concat colspRefresh
%%EndPageSetup

0 0 0 1 scol 
%%IncludeResource: font Times-Roman
7500 VM?
/Times-Roman FontHasEuro not
{
/Euro.Times-Roman
 [500 0 24 -14 493 676 ] 
<A3F8880DC0EB03F854F743950C0C037DA501F7A0BB01F805BB01F91EA501F869F8911584
F73A0576068478827E7F8B087F8B70AC438B082A8BFB0D6471FB700863067C5B05BE068A
7E8B878B7D08750764067D5B05C206A0FB7BF71858E88B088F0AC0EB03F84BF789950C0C
037DA501F7A0BB01F805BB01F91EA501CA8BACAC998B08988B95809076088F0AC0EB03F8
54F743950C0C037DA501F7A0BB01F805BB01F91EA501A00692F73705750675FB09417667
8B083A8B43C182F75E08F7740699BB05FB84069C078B978C978B9708F7950699BB05FBA1
069AF755D5B3D18B08AB8BDD71A2FB0708090E>
AddEuroGlyph
/Euro /Times-Roman /Times-Roman-Copy BuildNewFont
} if
F /F0 0 /256 T /Times-Roman mF 
/F0S56 F0 [86.633 0 0 -86.633 0 0 ] mFS
F0S56 Ji 
820 6207 M ( )S 
2515 6207 M ( )S 
820 549 M (by LCLint \(e.g., abstract data types )[44 42 22 52 58 52 23 45 23 22 29 39 21 43 21 22 22 38 45 33 24 29 39 38 24 22 44 38 24 39 21 24
42 44 39 34  0]xS 
820 648 M (implemented by separate modules, )[23 67 44 24 38 67 39 44 24 38 45 21 44 43 21 34 39 44 39 29 39 23 39 21 67 45 44 44 24 38 34 22
 0]xS 
820 747 M (pointers used in a stylized way\), but is )[44 44 24 44 23 39 29 34 22 44 34 39 44 21 24 44 22 39 21 34 24 42 24 23 38 38 45 21 63 39 42 30
21 22 44 44 24 22 23 34  0]xS 
820 846 M (problematic if one is checking a program )[44 29 44 45 23 39 67 38 24 23 39 22 23 29 22 44 44 39 22 23 34 22 38 45 38 39 43 24 44 42 22 39
21 45 29 44 42 30 38 67  0]xS 
820 946 M (that does not adhere to this methodology.  )[23 44 39 24 21 44 45 38 34 22 44 44 24 22 38 44 45 38 30 38 22 23 45 21 24 44 24 33 22 67 39 23
44 45 44 44 24 44 42 43 21 22  0]xS 
820 1045 M (For example, LCLint provides an)[47 44 29 22 38 44 38 67 44 24 39 21 22 52 58 52 23 45 23 22 44 29 45 43 23 45 38 34 22 38  0]xS 
1980 1045 M (notations )[44 44 24 38 24 23 45 44 34  0]xS 
820 1144 M (for checking storage that is managed using )[29 44 29 22 39 44 38 39 43 24 44 42 22 34 24 44 29 39 42 39 21 24 44 39 23 22 23 34 22 67 38 45
38 43 38 45 21 44 34 24 44 43  0]xS 
820 1244 M (reference counting.  An annotation is used )[29 38 30 38 29 39 44 39 38 22 39 44 44 45 23 24 44 42 22 22 21 63 45 21 39 44 44 45 23 39 23 24
44 44 22 24 33 22 44 34 39 44  0]xS 
820 1343 M (to denote an integer field of a structure as )[23 44 22 44 39 44 44 24 39 21 39 44 22 23 45 23 39 42 39 29 22 29 23 39 23 45 21 45 29 21 39 22
34 23 29 45 38 24 44 29 39 21 39 34  0]xS 
820 1442 M (the reference count, and LCLint will report )[23 44 39 20 29 39 29 38 30 38 44 39 39 19 39 44 45 44 23 22 20 38 45 44 20 51 59 52 23 44 24 20
63 23 24 23 19 30 38 44 45 29 23  0]xS 
820 1541 M (inconsistencies if new pointers to the )[23 44 39 44 45 33 24 34 23 39 44 39 23 39 34 22 23 29 22 44 39 63 22 44 44 24 44 23 39 29 34 22
23 45 21 24 44 39  0]xS 
820 1640 M (structure are created without in)[33 24 29 44 39 24 44 29 39 19 39 29 39 20 38 29 39 39 23 39 44 19 63 24 23 44 45 44 23 19 24  0]xS 
1894 1640 M (creasing the )[39 29 38 39 34 23 45 42 19 23 45 38  0]xS 
820 1740 M (reference count, or if the storage )[29 38 30 38 29 39 44 39 38 22 39 44 44 45 23 22 21 45 29 21 24 29 22 23 45 38 22 34 23 45 29 38
43 38  0]xS 
820 1839 M (associated with the referenced object is not )[38 34 34 44 39 23 39 24 38 44 20 63 24 23 45 19 24 44 39 20 29 38 30 38 29 39 44 39 38 45 20 44
44 24 38 39 23 20 24 34 19 45 44 23  0]xS 
820 1939 M (deallocated when the reference count )[44 38 39 24 23 44 39 39 23 39 44 22 63 44 39 44 22 23 44 39 22 29 38 30 38 29 39 44 39 39 21 39
44 44 45 23  0]xS 
820 2038 M (reaches zero.  If a program implements )[29 38 39 39 44 38 34 22 38 38 30 44 21 22 22 28 29 22 38 22 44 30 44 42 29 39 67 22 23 67 44 24
38 67 39 44 24 33  0]xS 
820 2137 M (reference counting in some other way \(for )[29 38 30 38 29 39 44 39 38 22 39 44 44 45 23 24 44 42 22 23 45 21 34 45 66 39 22 44 23 45 38 29
22 63 39 42 22 29 29 45 29  0]xS 
820 2236 M (example, by keeping the reference counts )[38 44 38 67 44 24 38 22 22 44 42 22 43 39 39 44 23 45 42 22 23 44 39 22 29 38 30 38 29 39 44 39
39 21 39 44 44 45 23 34  0]xS 
820 2335 M (in a)[23 44 22  0]xS 
948 2335 M ( separate lookup table\), however, )[21 34 39 44 39 29 38 24 39 21 24 44 44 44 44 44 22 23 39 44 24 38 30 21 22 44 44 64 38 43 39 29
22  0]xS 
820 2435 M (LCLint provides no relevant annotations )[51 59 52 23 44 24 22 44 29 44 44 23 44 39 34 22 44 44 22 29 39 23 39 43 39 44 23 22 39 44 44 44
24 39 23 24 44 44 34  0]xS 
820 2534 M (or checking.  More generally, applications )[44 29 22 38 45 38 39 43 24 44 42 22 22 21 77 45 29 39 21 43 38 44 39 29 39 23 24 42 22 22 38 44
45 23 24 38 39 24 23 44 45 34  0]xS 
820 2634 M (often have application)[44 29 24 38 44 22 44 39 43 39 22 38 44 45 23 24 38 39 24 23 44  0]xS 
1595 2634 M (-)S 
1623 2634 M (specific constraints )[34 44 39 38 24 29 23 39 22 38 45 44 34 23 30 38 24 44 23 34  0]xS 
820 2733 M (that should be checked statically.  )[23 44 39 24 21 34 44 45 44 23 45 21 45 38 22 38 45 38 39 43 39 44 22 34 23 39 23 24 39 38 24 23
43 21 22  0]xS 
820 2831 M (Programmers should be able to define )[48 29 44 42 30 38 67 67 39 29 34 21 34 44 45 44 24 44 21 45 38 22 39 44 23 39 22 23 44 22 44 39
29 24 44 39  0]xS 
820 2931 M (annotations that expre)[38 44 45 44 24 38 24 23 44 45 34 21 24 44 39 23 22 39 43 44 29  0]xS 
1590 2931 M (ss these decisions, )[34 34 21 24 44 39 34 38 22 44 39 38 24 34 23 45 44 34 21  0]xS 
820 3030 M (and use LCLint to verify that the code is )[38 44 45 21 45 34 38 22 52 58 52 23 45 23 22 23 45 21 44 38 29 24 29 42 22 24 44 39 23 22 23 45
38 22 38 45 44 39 21 24 34  0]xS 
820 3130 M (consistent with their constraints.)[38 44 45 34 23 34 24 38 44 24 22 63 23 24 44 22 23 45 38 24 29 22 38 44 45 34 23 29 39 23 45 23
34  0]xS 
1946 3130 M ( )S 
820 3276 M (We are investigating extensions to LCLint )[81 38 22 38 30 38 22 23 45 43 39 34 23 24 42 39 23 24 44 42 22 39 43 23 39 44 34 24 44 44 34 22
23 45 21 52 58 52 24 44 24  0]xS 
820 3375 M (that address this need by supporting user)[23 44 39 24 21 39 44 44 30 38 34 34 22 23 44 24 34 21 45 38 39 44 22 44 43 21 34 44 45 44 44 29
24 23 45 42 22 44 34 38  0]xS 
2240 3375 M (-)S 
820 3475 M (defined annotations.  Programmers will be )[44 38 30 23 44 39 44 22 39 44 44 44 24 39 23 24 44 44 34 22 21 22 48 29 44 43 29 39 66 67 39 29
34 22 63 23 24 23 22 44 39  0]xS 
820 3573 M (able to invent new annotations, e)[38 44 24 39 21 24 44 22 23 45 43 38 45 23 22 44 39 63 22 38 44 45 44 23 39 24 23 44 45 34 21 22
 0]xS 
1967 3573 M (xpress )[44 44 29 39 34 34  0]xS 
820 3673 M (syntactic constrains on their usage, and )[33 43 44 24 38 39 23 24 39 21 39 44 44 34 24 29 39 23 44 34 22 44 44 22 24 44 39 23 29 22 44 34
39 42 39 21 22 39 44 44  0]xS 
820 3772 M (define checking associated with the )[44 38 30 23 44 39 22 38 45 38 39 43 24 44 42 22 39 33 34 45 38 24 38 24 39 44 21 64 23 24 44 22
23 44 39  0]xS 
820 3871 M (annotation.  )[38 44 45 44 24 38 24 23 44 45 21 22  0]xS 
1254 3871 M ( )S 
820 4018 M (Annotations introduce state that is )[63 44 44 44 24 39 23 24 44 44 34 22 23 45 23 29 45 44 44 39 38 22 34 23 39 24 38 22 23 45 38 24
21 24 34  0]xS 
820 4117 M (associated with both declarations and )[38 34 34 44 39 23 39 24 38 44 22 63 24 23 45 21 44 45 23 44 22 44 39 39 23 39 29 39 23 24 44 44
34 22 38 45 44  0]xS 
820 4217 M (intermediate expressions along symbolic )[23 44 24 39 29 67 38 44 24 39 23 39 21 39 43 45 29 38 34 34 24 44 44 34 22 38 24 44 44 43 22 33
43 67 44 44 24 23 39  0]xS 
820 4315 M (execution paths.  The meaning of an )[38 44 38 39 44 24 23 44 45 21 45 38 24 44 34 21 22 22 53 44 38 22 67 39 38 44 24 44 43 21 44 30
21 39 44  0]xS 
820 4414 M (annotati)[38 44 45 44 24 38 24  0]xS 
1100 4414 M (on is defined by semantic rules )[44 45 21 24 34 21 45 38 30 23 44 39 44 22 44 43 21 34 39 67 38 44 24 23 39 22 29 44 24 38 34  0]xS 
820 4514 M (similar to typing judgments, except they )[33 24 67 23 24 39 29 21 24 44 22 23 43 44 24 44 42 22 23 45 44 42 67 39 44 24 34 21 22 38 44 38
39 44 24 21 24 44 39 42  0]xS 
820 4613 M (may describe more flexible constraints and )[66 39 42 21 44 39 34 39 29 23 45 38 21 67 44 29 39 20 30 23 39 43 24 44 23 39 20 38 45 44 34 23
30 38 24 44 24 33 20 39 44 44  0]xS 
820 4713 M (transitions than is usually done with typing )[23 29 39 44 34 24 23 24 44 44 34 21 23 45 38 45 20 24 34 20 45 34 44 38 24 24 42 20 44 44 44 39
20 63 23 24 44 20 24 42 44 24 44 42  0]xS 
820 4812 M (judgments.   We are defining a general )[23 44 45 42 67 38 45 23 34 22 22 21 22 81 38 22 39 29 38 22 44 39 29 24 44 24 44 42 22 38 22 42
39 44 39 29 39 23  0]xS 
820 4912 M (meta)[66 39 24  0]xS 
987 4912 M (-)S 
1015 4912 M (annotation language that can define a )[39 44 45 44 23 39 24 23 44 45 20 24 38 45 42 44 39 42 39 21 23 44 39 24 20 39 39 44 21 44 38 30
23 44 39 20 38  0]xS 
820 5010 M (class of anno)[38 24 38 34 34 22 44 29 22 39 44 44  0]xS 
1276 5010 M (tations in a simple and )[24 38 24 24 44 44 34 22 23 44 22 39 21 34 24 67 44 23 39 22 38 45 44  0]xS 
820 5109 M (general way.  Meta)[42 39 44 38 30 38 24 21 64 38 43 21 22 21 78 38 24  0]xS 
1483 5109 M (-)S 
1512 5109 M (annotations define )[38 45 44 44 24 38 24 23 45 44 34 21 45 38 29 24 44 39  0]xS 
820 5209 M (constraints and transition functions when )[38 44 45 34 23 29 39 24 44 23 34 22 38 45 44 22 23 29 39 44 34 24 23 24 44 44 22 29 44 45 38 24
23 45 44 34 21 64 44 38 45  0]xS 
820 5308 M (storage is assigned, passed as parameters, )[33 24 44 29 39 42 39 22 23 34 22 38 34 34 24 42 44 39 44 22 22 44 38 34 34 39 44 22 38 34 22 44
39 29 39 66 39 24 38 29 34 22  0]xS 
820 5408 M (returned from a function, and when control )[29 38 24 44 29 45 38 45 18 30 29 44 67 19 38 19 29 45 44 38 24 24 44 44 22 18 38 44 45 18 63 44
39 44 18 38 45 44 23 30 44 23  0]xS 
820 5507 M (enters or exits a block or function.)[38 44 24 39 29 34 21 45 29 21 39 43 24 23 34 22 39 21 45 23 44 39 43 22 44 29 22 29 45 44 38 24
23 45 44  0]xS 
2014 5507 M ( )S 
820 5653 M (We are currently experimentin)[81 38 22 38 30 38 22 39 44 29 29 39 44 24 23 42 22 39 43 44 39 29 24 67 38 44 24 23  0]xS 
1883 5653 M (g with )[42 22 63 23 24 44  0]xS 
820 5752 M (annotations for detecting buffer overflow )[38 44 45 44 24 38 24 23 44 45 34 21 29 45 29 22 44 38 24 39 38 24 23 45 42 22 44 44 29 29 39 29
22 44 44 38 29 30 23 44 63  0]xS 
820 5851 M (errors.  Annotations and checking needed )[38 29 30 44 29 34 22 21 22 63 44 45 44 23 39 23 24 44 45 33 22 39 44 44 22 38 45 38 39 43 24 44
42 22 44 39 39 44 38 45  0]xS 
2591 549 M (to statically detect buffer overflows are )[23 45 21 34 24 38 24 23 39 39 23 24 42 22 44 39 23 39 38 24 22 44 44 29 29 39 29 22 44 44 38 29
30 23 44 63 34 22 39 29 38  0]xS 
2591 648 M (more complex than previous LCLint )[67 44 29 39 21 39 44 67 44 24 39 43 22 23 44 39 44 22 44 29 39 43 24 44 44 34 22 52 58 52 23 45
23  0]xS 
2591 747 M (annotations.  They may depend on )[38 45 44 44 24 38 24 23 45 44 34 22 21 22 53 44 38 43 21 67 39 42 22 44 39 44 39 44 44 22 44 44
 0]xS 
2591 846 M (numeric constraints as well as establishing )[44 44 67 39 29 24 38 22 38 45 44 34 23 30 38 24 44 24 33 22 39 34 21 63 39 24 23 22 38 34 22 38
34 24 39 44 23 24 34 44 24 44 42  0]xS 
2591 946 M (relationships)[29 39 23 39 23 24 44 44 34 45 23 44  0]xS 
3036 946 M ( between more than one )[22 44 39 23 63 39 39 44 22 66 45 29 38 22 24 44 39 44 21 45 44 39  0]xS 
2591 1045 M (reference.  For example, one annotation )[29 39 29 38 30 38 45 38 39 21 22 22 47 44 29 22 38 44 38 67 45 23 39 21 22 44 45 38 22 38 45 44
44 24 38 24 23 45 44  0]xS 
2591 1144 M (expresses that the allocated size of storage )[38 44 44 29 39 34 34 38 34 22 23 45 38 24 21 24 44 39 21 39 24 23 44 39 39 23 39 44 22 34 23 38
38 22 44 30 21 34 24 44 29 39 42 39  0]xS 
2591 1244 M (referenced by a structure field is equal to )[29 39 29 38 30 38 45 38 39 44 22 44 42 22 39 21 34 24 29 44 39 23 44 30 38 22 29 24 38 24 44 22
23 34 22 38 45 44 39 23 22 23 45  0]xS 
2591 1343 M (the value of an integral field in the same )[23 45 38 22 43 39 23 45 38 22 44 29 22 39 44 22 23 44 24 38 43 29 39 23 22 29 24 38 24 44 22 23
44 22 24 44 39 21 34 39 67 38  0]xS 
2591 1442 M (structure.  These annotations will provide )[34 23 29 45 38 24 44 29 39 22 21 22 53 44 39 33 39 22 38 45 44 44 24 38 24 23 45 44 34 21 63 24
24 23 22 44 29 44 44 23 45 38  0]xS 
2591 1541 M (a good basis for d)[38 22 42 45 44 44 22 44 39 34 23 34 22 29 44 29 22  0]xS 
3212 1541 M (etermining the required )[39 23 39 29 67 24 44 23 45 42 22 23 45 38 22 29 39 44 44 24 29 39 44  0]xS 
2591 1640 M (scope of the meta)[34 38 45 44 38 22 44 30 21 24 44 39 21 67 39 23  0]xS 
3203 1640 M (-)S 
3231 1640 M (annotation language, as )[39 44 44 45 23 39 23 24 44 44 22 24 38 44 43 44 39 42 39 21 22 39 33  0]xS 
2591 1740 M (well as for experimenting with the )[63 39 23 24 21 39 34 21 30 44 29 22 38 44 44 39 29 23 67 39 44 24 23 44 43 21 63 24 24 44 21 24
44 39  0]xS 
2591 1839 M (expressive requirements of the meta)[38 44 44 29 39 34 34 23 43 39 22 29 39 44 44 24 29 38 67 39 44 24 34 21 44 30 21 24 44 39 21 67
39 23  0]xS 
3847 1839 M (-)S 
2591 1939 M (annotation language. )[38 45 44 44 24 38 24 23 45 44 22 23 39 44 42 45 38 43 38 22  0]xS 
3338 1939 M ( )S 

%%IncludeResource: font Times-Bold
7500 VM?
/Times-Bold FontHasEuro not
{
/Euro.Times-Bold
 [500 0 19 -13 492 688 ] 
<9EF8880DF84CA6037EA701F791C801F7FFC801F928A7018F0AC3F73203F852A6037EA701
F791C801F7FFC801F928A701F86DF89C15F73A0770068875877D778B08858B749A799308
7E916E946B8B08358BFB144773FB58086506774E05C1065A076706774E05C7069DFB27E1
FB0BF7188B088F0AC3F73203F84CA6037EA701F791C801F7FFC801F928A701B88BAA9F91
8E089C939892908B089F8B8F7D8E7508A606F7450772067A3F5240538B084F8B68EC89F7
2108F72F06A0C805FB4506BC07F75506A0C805FB690690F71CA9EFC88B088F0AF852A603
7EA701F791C801F7FFC801F928A701D58BB93A9C5008090E>
AddEuroGlyph
/Euro /Times-Bold /Times-Bold-Copy BuildNewFont
} if
F /F1 0 /256 T /Times-Bold mF 
/F1S56 F1 [86.633 0 0 -86.633 0 0 ] mFS
F1S56 Ji 
2591 2087 M (Towards Heavyweight Formal )[58 44 65 44 38 48 34 22 68 38 45 44 44 64 39 23 45 48 29 21 53 44 39 72 44 23  0]xS 
2591 2185 M (Techniques.  )[58 39 38 48 48 24 48 48 39 34 21 22  0]xS 
F0S56 Ji 
3080 2184 M (The performance and )[52 45 38 22 44 39 29 29 44 30 66 39 44 39 38 22 39 44 44  0]xS 
2591 2283 M (usability requirements of LCLint )[44 34 39 44 23 24 23 24 42 22 29 39 44 44 24 29 39 67 38 44 24 34 22 44 29 22 51 59 52 23 44 24
 0]xS 
2591 2382 M (inhe)[23 45 44  0]xS 
2742 2382 M (rently limit the kinds of checking that )[29 38 45 23 24 42 22 23 24 67 23 24 21 24 44 39 21 44 23 45 44 34 21 45 29 21 39 44 39 39 43 23
45 42 22 23 45 38 24  0]xS 
2591 2482 M (can be done as well as the claims that can )[38 39 44 22 44 39 22 44 44 44 39 22 38 34 22 63 38 24 23 22 39 34 21 24 44 39 21 39 24 38 24 67
33 22 24 44 39 23 22 38 39 44  0]xS 
2591 2581 M (be made about a checked program.  We )[44 39 21 67 39 44 39 21 39 44 44 45 23 22 39 21 39 44 39 38 44 38 44 22 44 30 44 42 29 39 67 22
21 22 81 38  0]xS 
2591 2681 M (can consider overcoming these limitations )[38 39 44 22 39 44 44 34 24 44 38 30 21 45 43 38 30 38 45 66 24 44 43 21 24 44 39 34 38 22 23 24
67 23 24 38 24 23 45 44 34  0]xS 
2591 2780 M (by relaxing these requirements.  Typical )[44 42 22 29 39 23 39 43 24 44 43 21 24 44 39 34 38 22 29 39 44 44 24 29 38 67 39 44 24 34 21 22
22 52 43 44 24 38 39 23  0]xS 
2591 2878 M (users will start by using the lightweight )[44 34 39 29 34 21 63 24 24 23 22 34 23 39 29 24 21 44 43 21 45 34 23 44 43 21 24 44 39 22 23 24
42 44 24 63 38 24 42 45 23  0]xS 
2591 2978 M (version of )[43 39 29 34 23 45 44 22 44 29  0]xS 
2965 2978 M (LCLint, but as they become )[52 58 52 23 44 24 22 21 45 44 23 22 39 34 21 24 44 39 42 22 44 39 38 44 67 39  0]xS 
2591 3077 M (more familiar with formal techniques will )[67 44 29 39 21 30 38 67 24 23 24 38 30 21 63 24 23 45 21 29 45 29 67 38 24 22 23 39 38 45 44 23
45 44 39 33 22 63 24 23 24  0]xS 
2591 3177 M (be willing to invest the effort required to )[44 39 21 63 24 24 23 24 44 42 22 23 45 21 24 44 43 39 34 24 21 24 44 39 21 39 29 29 45 29 23 22
29 39 44 44 24 29 39 44 21 24 44  0]xS 
2591 3276 M (use heavier)[44 34 39 21 45 38 39 43 24 38  0]xS 
2985 3276 M (-)S 
3014 3276 M (weight techniques.  Providing )[63 38 24 42 45 23 22 23 39 38 45 44 24 44 44 39 34 21 22 22 48 29 44 43 24 44 24 44 42  0]xS 
2591 3375 M (a straightforward and effective transition )[38 22 34 24 29 38 24 42 45 23 29 45 29 63 38 30 44 22 38 44 45 21 39 29 29 39 39 23 24 43 39 21
24 29 39 44 34 23 24 23 45 44  0]xS 
2591 3475 M (path from lightweight to heavyweight )[44 39 23 45 21 29 30 44 67 21 24 23 43 44 24 63 38 24 42 44 24 22 23 44 22 44 39 39 43 42 63 39
24 42 44 24  0]xS 
2591 3573 M (formal techniques is )[29 44 29 67 39 23 22 24 38 39 44 44 24 44 44 39 34 22 23 34  0]xS 
3319 3573 M (a major goal of this )[38 22 67 39 23 44 30 21 43 44 38 24 22 44 29 22 23 45 23 34  0]xS 
2591 3673 M (work.)[63 44 29 44  0]xS 
2792 3673 M ( )S 
2591 3819 M (One approach would be to require more )[63 44 39 21 39 44 45 29 44 39 38 45 21 63 45 44 23 45 21 44 39 22 23 45 21 29 39 44 45 23 29 39
22 66 45 29 38  0]xS 
2591 3918 M (complete specifications and use theorem)[38 45 67 44 23 39 24 38 22 34 44 39 38 24 29 23 39 39 23 24 44 44 34 22 38 45 44 22 44 34 38 22
24 44 38 45 29 38  0]xS 
4003 3918 M (-)S 
2591 4018 M (proving technology to perform more )[44 29 45 43 23 45 42 22 23 39 38 45 44 44 24 44 42 43 21 24 44 22 44 39 29 29 44 30 66 22 67 44
29 39  0]xS 
2591 4117 M (complex checking.  This is similar to what )[38 45 67 44 23 39 43 22 39 44 38 39 43 24 44 43 21 22 22 52 44 24 34 22 23 34 22 34 23 67 24 23
39 29 22 23 44 22 63 44 39 23  0]xS 
2591 4217 M (is done by the Extended Static Checking )[23 34 22 44 44 45 38 22 44 43 21 24 44 39 21 53 43 24 39 44 44 39 44 22 48 23 39 23 24 38 22 58
45 38 39 43 24 44 42  0]xS 
2591 4315 M (\(ESC\) project at Compaq SRC )[29 53 48 58 29 22 44 29 45 23 39 38 24 22 38 24 22 58 44 67 44 39 44 22 48 58 59  0]xS 
2591 4414 M ([Detl)[29 63 39 23  0]xS 
2769 4414 M (efs98].  ESC uses a theorem proving )[38 30 34 44 44 29 22 22 21 53 48 58 22 44 34 39 34 21 39 22 23 44 39 44 29 39 67 22 44 29 44 44
23 44 43  0]xS 
2591 4514 M (technology, which enables it to detect a )[23 39 39 44 44 44 24 44 43 42 22 21 63 45 23 39 44 22 38 45 38 44 24 39 33 22 24 23 22 23 45 21
45 38 24 38 39 23 22 39  0]xS 
2591 4613 M (larger class of errors than can be done by )[23 39 29 43 38 29 22 39 23 39 34 34 21 44 30 21 39 29 29 45 29 34 21 24 44 39 44 22 38 39 44 22
44 39 21 45 44 44 39 21 45 42  0]xS 
2591 4713 M (the simple dataflow analyses done by )[23 45 38 22 34 23 67 44 24 39 21 45 38 24 38 29 24 44 63 22 39 44 39 23 42 34 39 34 21 45 44 44
39 22 44 42  0]xS 
2591 4812 M (LCLint, but means that the analysis is )[52 58 52 23 45 23 22 21 45 44 24 21 67 39 38 45 33 22 24 44 38 24 22 23 44 39 22 38 45 38 24 42
34 24 33 22 24 34  0]xS 
2591 4912 M (several orders slower and the size of )[34 38 44 38 29 39 24 21 45 29 44 39 29 34 21 34 24 44 63 39 29 22 38 44 45 21 24 44 39 21 34 24
38 38 22 44 29  0]xS 
2591 5010 M (programs that can be a)[44 29 45 42 29 39 67 33 22 24 44 39 23 22 38 39 44 22 44 39 21  0]xS 
3379 5010 M (nalyzed is severely )[44 39 23 43 37 39 44 22 24 33 22 34 39 43 39 29 38 24 42  0]xS 
2591 5109 M (limited.  As programmers develop more )[23 24 67 23 24 38 45 21 22 22 63 34 21 45 29 44 42 30 38 67 67 39 29 34 21 45 38 44 38 24 44 44
22 67 44 29 39  0]xS 
2591 5209 M (complex specifications, they would be )[38 45 67 44 23 39 43 22 34 44 39 38 24 29 24 38 39 23 24 44 44 34 22 22 23 44 39 42 22 63 44 45
23 44 22 44 39  0]xS 
2591 5308 M (spending more time writing specifications, )[34 44 39 44 44 24 44 42 22 67 44 29 39 22 23 24 66 39 22 63 29 24 23 24 44 42 22 34 44 39 38 24
29 24 38 39 23 24 44 44 34 22  0]xS 
2591 5408 M (and checking would slow down.  There )[38 45 44 22 38 44 39 39 43 24 44 42 22 63 44 44 24 44 22 34 23 45 63 21 45 44 63 44 22 22 21 53
44 39 29 39  0]xS 
2591 5507 M (would need to be several gradual transition )[63 44 44 24 44 20 44 39 39 44 20 23 44 20 44 39 20 34 38 44 38 29 39 24 19 43 29 38 45 44 39 23
19 24 29 38 45 33 24 24 23 44 45  0]xS 
2591 5606 M (steps between lightweight annotation)[34 23 39 44 34 22 44 39 23 63 39 38 45 21 24 23 43 44 24 63 38 24 42 44 24 22 38 45 44 44 24 38
24 23 45  0]xS 
3883 5606 M (s )[34  0]xS 
2591 5705 M (with dataflow analyses, and full formal )[63 23 24 44 22 44 39 23 39 29 24 44 63 22 38 45 38 24 42 34 39 33 22 22 38 45 44 22 29 44 24 23
22 29 44 29 67 39 23  0]xS 
2591 5804 M (specifications with interactive theorem )[34 44 39 38 24 29 23 39 39 23 24 44 44 34 22 63 24 23 44 22 24 44 23 39 29 39 38 24 23 44 38 22
24 44 38 45 29 38 67  0]xS 
2591 5904 M (proving.)[44 29 45 43 23 45 42  0]xS 
2884 5904 M ( )S 
LH
pagesave restore
(%%[Page: 2]%%) = 
%%PageTrailer

%%Page: 3 3
%%PageBoundingBox: 13 13 599 780
%%EndPageComments
userdict begin /pagesave save def end
%%BeginPageSetup
/DeviceRGB dup setcolorspace /colspABC exch def
mysetup concat colspRefresh
%%EndPageSetup

0 0 0 1 scol 
%%IncludeResource: font Times-Roman
7500 VM?
/Times-Roman FontHasEuro not
{
/Euro.Times-Roman
 [500 0 24 -14 493 676 ] 
<A3F8880DC0EB03F854F743950C0C037DA501F7A0BB01F805BB01F91EA501F869F8911584
F73A0576068478827E7F8B087F8B70AC438B082A8BFB0D6471FB700863067C5B05BE068A
7E8B878B7D08750764067D5B05C206A0FB7BF71858E88B088F0AC0EB03F84BF789950C0C
037DA501F7A0BB01F805BB01F91EA501CA8BACAC998B08988B95809076088F0AC0EB03F8
54F743950C0C037DA501F7A0BB01F805BB01F91EA501A00692F73705750675FB09417667
8B083A8B43C182F75E08F7740699BB05FB84069C078B978C978B9708F7950699BB05FBA1
069AF755D5B3D18B08AB8BDD71A2FB0708090E>
AddEuroGlyph
/Euro /Times-Roman /Times-Roman-Copy BuildNewFont
} if
F /F0 0 /256 T /Times-Roman mF 
/F0S56 F0 [86.633 0 0 -86.633 0 0 ] mFS
F0S56 Ji 
820 6207 M ( )S 
2515 6207 M ( )S 
820 549 M (Another approach would be to use a )[63 44 44 24 44 39 29 21 39 44 45 29 44 39 38 45 21 63 45 44 23 45 21 44 39 22 23 45 21 44 34 39
22 38  0]xS 
820 648 M (combination of static and run)[38 44 67 45 23 44 39 24 23 44 45 21 45 29 21 34 24 38 24 23 39 22 38 45 44 22 29 44  0]xS 
1842 648 M (-)S 
1870 648 M (time )[24 24 66 39  0]xS 
820 747 M (checking.  If LCLint is not able to prove )[38 44 39 39 43 24 44 42 22 21 22 28 30 21 52 58 52 24 44 24 21 24 34 21 45 44 23 22 39 44 23 39
22 23 45 21 44 30 44 43 39  0]xS 
820 846 M (statically that a specified property holds, it )[33 24 39 23 24 38 39 23 24 42 22 24 44 38 24 22 38 22 34 44 39 38 24 29 24 38 44 22 44 30 44 44
39 29 23 43 21 45 44 24 44 34 21 22 24 23  0]xS 
820 946 M (could )[38 44 45 23 45  0]xS 
1036 946 M (insert run)[24 44 34 38 30 23 22 29 44  0]xS 
1369 946 M (-)S 
1397 946 M (time checks to ensure the )[23 24 67 38 22 39 44 39 38 43 34 22 24 44 21 39 44 34 44 30 38 22 23 45 38  0]xS 
820 1045 M (property holds at run)[44 29 44 45 38 29 24 42 22 44 44 24 44 34 22 38 24 22 29 44  0]xS 
1550 1045 M (-)S 
1579 1045 M (time.  This has the )[23 24 67 38 22 21 22 53 44 24 34 21 44 39 34 22 23 44 39  0]xS 
820 1144 M (considerable disadvantage that an error )[38 44 45 34 23 44 39 29 39 44 24 38 22 44 24 34 38 44 44 38 45 23 39 42 39 21 24 44 39 23 22 39
44 22 38 29 30 44 29  0]xS 
820 1244 M (may still occur at run)[66 39 42 22 34 24 23 24 23 22 44 39 38 45 29 21 39 24 21 29 45  0]xS 
1557 1244 M (-)S 
1585 1244 M (time, but would )[24 23 67 39 21 22 44 45 23 22 63 44 44 24 44  0]xS 
820 1343 M (allow more complex properties to be )[38 24 23 45 63 21 67 44 30 38 22 38 45 67 44 23 39 43 22 44 29 45 44 39 29 23 24 38 34 22 24 44
21 45 38  0]xS 
820 1442 M (guaranteed without requiring the user )[42 44 39 29 39 44 23 39 39 44 22 63 23 24 44 44 45 23 22 29 39 44 44 24 29 23 45 42 22 23 44 39
22 44 34 38 30  0]xS 
820 1541 M (expertise and effort typ)[38 44 44 38 30 23 24 34 38 22 38 45 44 22 38 29 30 44 29 24 21 24 42  0]xS 
1629 1541 M (ically required of a )[24 39 38 24 23 43 21 29 39 44 45 23 29 39 44 22 44 29 22 39  0]xS 
820 1640 M (program verification system.  )[44 29 44 43 29 38 67 22 43 39 29 24 29 23 39 39 23 24 44 44 22 34 42 34 24 38 67 22 21  0]xS 
1862 1640 M ( )S 
820 1787 M (Our experience using Naccio to transform )[63 44 29 22 38 44 44 39 29 23 39 44 39 38 22 44 34 24 44 42 22 63 39 38 39 24 44 21 24 44 22 23
30 38 44 34 30 44 29 67  0]xS 
820 1886 M (programs to enforce a safety policy )[44 29 44 43 29 38 67 34 22 23 45 21 39 44 29 45 29 38 39 22 38 22 34 39 29 38 24 42 22 44 44 24
23 39 42  0]xS 
820 1986 M (described using a general, high)[44 38 34 39 29 24 44 39 44 21 45 34 23 44 43 21 39 22 42 39 44 39 29 38 24 22 21 45 23 42  0]xS 
1900 1986 M (-)S 
1928 1986 M (level )[23 39 43 39 24  0]xS 
820 2085 M (language [EvansTwyman99, Evans99] )[23 39 44 42 45 38 43 38 22 29 53 43 39 44 34 53 63 42 67 39 44 44 44 22 22 52 44 38 45 33 45 44
29  0]xS 
820 2184 M (offers a possible approach to automatically )[44 29 29 39 29 34 21 38 20 44 45 33 34 24 44 24 38 20 39 44 44 29 45 38 39 44 20 23 45 19 39 44
24 44 67 39 23 24 38 39 23 24 42  0]xS 
820 2283 M (inserting r)[23 44 34 39 29 24 23 44 43 21  0]xS 
1174 2283 M (un)[44  0]xS 
1262 2283 M (-)S 
1290 2283 M (time checking in programs.  )[24 23 67 39 22 38 44 39 39 43 24 44 42 22 23 45 21 45 29 44 42 30 38 67 34 22 21  0]xS 
820 2382 M (Related approaches include the Assertion )[58 39 23 39 23 39 44 22 38 45 44 29 44 39 39 44 38 34 22 24 44 38 24 44 44 39 22 23 45 38 22 63
34 34 38 30 23 24 44 44  0]xS 
820 2482 M (Definition Language \(ADL\) created by )[63 38 29 24 44 24 23 24 44 44 22 52 38 45 42 44 39 42 39 22 29 63 63 52 29 22 38 29 39 39 23 39
44 22 44 42  0]xS 
820 2581 M (Sun Microsystems, X/Open and the )[48 44 44 22 77 24 38 29 45 34 42 34 23 39 67 34 21 22 63 24 63 44 39 44 22 38 44 45 21 24 44 39
 0]xS 
820 2681 M (Information)[28 44 29 45 29 67 38 24 23 45  0]xS 
1236 2681 M (-)S 
1264 2681 M (technology Promotion )[24 38 39 44 44 45 23 44 43 42 22 48 29 44 67 44 24 23 45 44  0]xS 
820 2780 M (Agency \(an agency of Japan\222s MITI\) )[63 42 39 44 39 42 22 29 38 45 21 39 42 39 44 39 42 22 44 29 22 34 38 45 38 45 29 34 21 77 29 52
29 29  0]xS 
820 2878 M ([Sankar93, Obayashi98] and Anna\222s )[29 48 38 45 43 39 29 44 44 22 22 63 44 39 42 39 33 45 23 45 44 29 22 38 45 44 21 64 44 44 39 29
34  0]xS 
820 2978 M (Annotation T)[63 44 44 44 24 39 23 24 44 44 22  0]xS 
1288 2978 M (ransformer [Luckham90].  )[29 38 45 34 29 44 29 67 39 29 22 29 51 45 38 44 44 39 66 45 44 29 22 21  0]xS 
820 3077 M (Both tools generate run)[58 44 24 44 22 23 44 45 23 34 22 42 39 44 39 29 39 23 39 21 30 44  0]xS 
1636 3077 M (-)S 
1664 3077 M (time assertions )[24 23 67 39 21 39 34 34 39 29 23 24 44 44 34  0]xS 
820 3177 M (from specifications.   We believe a )[29 29 44 67 22 34 44 39 38 24 29 23 39 39 23 24 44 44 34 22 21 22 22 81 38 22 44 39 23 24 39 43
38 22 39  0]xS 
820 3276 M (combination of run)[38 44 67 45 23 44 39 24 23 44 45 21 45 29 21 30 44  0]xS 
1490 3276 M (-)S 
1518 3276 M (time and static )[24 23 67 39 21 39 44 45 21 34 24 38 24 23 39  0]xS 
820 3375 M (checking that builds on a lightweight base )[38 44 39 39 43 24 44 42 22 23 45 38 24 21 45 44 23 24 44 34 22 44 44 22 39 21 24 23 43 44 24 63
38 24 42 44 24 22 44 38 34 39  0]xS 
820 3475 M (is a promising way to introduce )[23 34 22 38 22 44 29 45 67 23 34 24 44 42 22 63 39 42 22 23 44 22 24 44 23 30 44 44 44 39 39  0]xS 
820 3573 M (heavyweight formal methods into )[44 38 39 43 43 63 38 24 42 45 23 22 29 44 29 67 39 23 22 67 39 23 44 45 44 34 21 24 44 24 44  0]xS 
820 3673 M (industrial en)[23 44 45 44 34 23 30 23 39 23 22 39  0]xS 
1253 3673 M (vironments.)[43 24 29 44 44 67 39 44 24 33  0]xS 
1666 3673 M ( )S 

%%IncludeResource: font Times-Bold
7500 VM?
/Times-Bold FontHasEuro not
{
/Euro.Times-Bold
 [500 0 19 -13 492 688 ] 
<9EF8880DF84CA6037EA701F791C801F7FFC801F928A7018F0AC3F73203F852A6037EA701
F791C801F7FFC801F928A701F86DF89C15F73A0770068875877D778B08858B749A799308
7E916E946B8B08358BFB144773FB58086506774E05C1065A076706774E05C7069DFB27E1
FB0BF7188B088F0AC3F73203F84CA6037EA701F791C801F7FFC801F928A701B88BAA9F91
8E089C939892908B089F8B8F7D8E7508A606F7450772067A3F5240538B084F8B68EC89F7
2108F72F06A0C805FB4506BC07F75506A0C805FB690690F71CA9EFC88B088F0AF852A603
7EA701F791C801F7FFC801F928A701D58BB93A9C5008090E>
AddEuroGlyph
/Euro /Times-Bold /Times-Bold-Copy BuildNewFont
} if
F /F1 0 /256 T /Times-Bold mF 
/F1S56 F1 [86.633 0 0 -86.633 0 0 ] mFS
F1S56 Ji 
820 3774 M ( )S 
820 3873 M (Availability)[63 44 44 24 23 45 48 23 24 23 29  0]xS 
1255 3873 M ( )S 
/F0S4E F0 [78.156 0 0 -78.156 0 0 ] mFS
F0S4E Ji 
820 3963 M (More information on LCLint and source code )[68 38 26 35 20 22 38 27 37 27 60 35 21 22 38 38 20 38 38 20 46 52 46 22 39 21 20 35 38 39 20 30
38 38 27 34 35 20 35 38 38 35  0]xS 
820 4053 M (and binary releases is available at )[34 39 39 19 39 22 38 35 27 35 20 26 35 22 35 35 30 35 30 20 21 30 20 35 38 34 22 22 35 38 22 35
19 35 22  0]xS 

%%IncludeResource: font Helvetica
7500 VM?
/Helvetica FontHasEuro not
{
/Euro.Helvetica
 [556 0 24 -19 541 703 ] 
<A3F8C00DD4E90378DA01F779D301F808D301F904DA01F899F908156CB447AD338B08FB2D
8B372B7BFB37085806724305D30644075B06724305DA06A0FB36E035F7218B08E08BCDB7
939208EE077A71405E418B083F8B4CCE84F108F76506A3D305FB8306D207F79C06A3D305
FBB10692E2B7E8F28B08E08BBE62A45A08090E>
AddEuroGlyph
/Euro /Helvetica /Helvetica-Copy BuildNewFont
} if
F /F2 0 /256 T /Helvetica mF 
/F2S46 F2 [70.625 0 0 -70.625 0 0 ] mFS
F2S46 Ji 
820 4152 M (http://lclint.cs.virginia.edu)[38 20 20 38 20 20 20 16 35 16 16 39 20 20 35 36 20 35 16 23 39 16 39 16 38 20 39 38  0]xS 
F0S56 Ji 
1607 4152 M (.)S 
1628 4152 M ( )S 
F1S56 Ji 
820 4252 M ( )S 
820 4351 M (Acknowledgements)[63 38 47 48 45 64 23 39 48 44 39 71 39 48 29  0]xS 
1539 4351 M ( )S 
F0S4E Ji 
820 4441 M (LCLint grew out of work at DEC Systems )[46 52 46 21 39 22 19 38 26 35 56 20 37 39 22 19 38 26 20 56 37 27 37 20 35 22 19 56 48 52 20 43
36 30 21 35 61 30  0]xS 
820 4532 M (Research Center and the MIT Lab for )[51 35 30 35 35 26 35 39 20 51 35 39 22 34 27 20 34 39 39 19 22 39 34 20 69 25 47 20 46 35 39 20
26 38 26  0]xS 
820 4621 M (Computer Science led by Joh)[51 38 60 39 39 21 35 26 20 43 35 22 35 38 35 35 20 22 34 39 20 38 36 20 31 38  0]xS 
1728 4621 M (n Guttag and Jim )[39 20 55 39 21 22 35 38 19 35 39 38 20 31 22 60  0]xS 
820 4712 M (Horning.  The work described in this paper is )[55 38 26 39 21 39 38 20 19 20 47 39 35 19 56 38 26 38 19 39 35 30 35 26 22 38 35 39 20 21 39 20
21 39 22 30 20 38 35 39 34 27 20 21 30  0]xS 
820 4802 M (being done by David Evans, John Knight and )[38 35 22 38 38 20 38 38 39 34 20 39 36 19 56 35 37 22 39 20 48 37 35 39 30 20 19 31 38 39 38 20
56 38 22 38 38 22 20 34 39 39  0]xS 
820 4892 M (David Larochelle at the University of Virginia.  )[55 35 38 21 39 20 46 35 26 38 35 38 35 22 21 35 20 35 21 20 22 38 35 20 56 38 22 38 34 27 30 22
21 36 20 37 27 20 55 22 26 38 22 38 22 35 19 20  0]xS 
2315 4892 M ( )S 
F0S56 Ji 
820 4991 M ( )S 
F1S56 Ji 
820 5092 M (References)[63 38 30 39 39 38 48 39 38  0]xS 
1226 5092 M ( )S 
F0S4E Ji 
820 5181 M ([Detlefs98] David L. Detlefs, K. Rustan M. )[27 55 35 22 22 34 27 30 39 38 27 20 56 35 37 22 39 19 47 19 20 56 34 22 22 35 26 30 20 20 55 20
20 52 38 30 22 35 38 20 69 20  0]xS 
989 5271 M (Leino, Greg Nelson, James B. Saxe. )[46 35 22 38 38 20 20 55 26 35 38 20 55 35 22 30 38 38 20 20 31 35 60 35 30 20 52 19 20 43 35 39
35 19  0]xS 

%%IncludeResource: font Times-Italic
7500 VM?
/Times-Italic FontHasEuro not
{
/Euro.Times-Italic
 [500 0 23 -7 578 676 ] 
<A2F8880DDBDB03F7F8A003F88D9D0384A701F79DBB01F802BB01F91CA7018F0ADBDB03F7
F8A003F88D9D0384A701F79DBB01F802BB01F89CF71301F8BFF93315770680758A89818B
08848B79947592088F0ADBDB03F7F8A003F88D9D0384A701F79DBB01F802BB01F91CA701
75916F926D8B08FB0E8B27FB0A5BFB24084606735B05D6068879857A8A79084A06745B05
DD068A7D8A7C8B7C08FB01B3FB0BF7101EA28BA4919E94089D94948F928B08928B8D858D
7508A006B0F72205780679674E3D438B08477BD1D11F8BB290B28FA508F76306A2BB05FB
71068D9D929C8F9D08F77E06A3BB05FB88069FDEC8F72BEC8B08D9B757461F84078F0ADB
DB03F7F8A003F88D9D0384A701F79DBB01F802BB01F89CF713019D06090E>
AddEuroGlyph
/Euro /Times-Italic /Times-Italic-Copy BuildNewFont
} if
F /F3 0 /256 T /Times-Italic mF 
/F3S4E F3 [78.156 0 0 -78.156 0 0 ] mFS
F3S4E Ji 
989 5361 M (Extended S)[48 35 22 34 39 39 35 38 20  0]xS 
1337 5361 M (tatic Checking)[22 39 21 22 35 20 51 39 35 35 35 21 39  0]xS 
F0S4E Ji 
1789 5361 M (. Compaq SRC )[20 20 52 37 61 38 35 39 20 43 52 51  0]xS 
989 5452 M (Research Report #159, December, 1998.)[52 35 30 35 35 26 35 38 20 52 35 38 38 26 22 20 38 39 39 38 20 20 55 35 35 35 60 39 35 26 20 20
38 39 38 39  0]xS 
2254 5452 M ( )S 
820 5542 M ([DillRushby96] D. Dill and J. Rushby.  )[27 55 22 22 21 52 39 30 39 38 36 39 38 27 20 56 20 19 56 22 21 22 20 35 38 39 20 31 19 20 52 39
30 38 39 36 19 20  0]xS 
F3S4E Ji 
989 5632 M (Acceptance of Formal Methods: Lessons )[48 35 35 35 38 22 39 38 35 35 20 38 22 20 48 38 30 56 39 21 20 65 35 21 39 39 38 30 27 20 43 35
30 30 39 38 30  0]xS 
2760 541 M (from Hardware Design.)[22 30 39 55 20 56 38 30 39 52 38 31 34 20 56 35 30 21 39 39  0]xS 
F0S4E Ji 
3503 541 M (  IEEE Computer, )[20 20 25 48 48 48 20 52 38 60 39 38 22 35 26 20  0]xS 
2760 631 M (April 1996.)[56 39 26 22 21 20 39 38 39 38  0]xS 
3118 631 M ( )S 
2591 722 M ([EGHT94] David Evans, John Guttag, Jim )[27 48 56 55 47 39 39 27 20 55 35 38 21 39 20 48 37 35 39 30 20 20 31 37 39 39 19 56 39 21 22 35
37 20 20 31 22 60  0]xS 
2760 811 M (Horning and Yang Meng Tan)[56 38 26 39 21 39 37 20 35 39 38 20 56 34 39 38 20 68 35 39 37 20 47 35  0]xS 
3675 811 M (. )[19  0]xS 
F3S4E Ji 
3714 811 M (LCLint: A )[44 51 44 21 39 22 26 20 48  0]xS 
2760 902 M (Tool for Using Specifications to Check )[44 38 39 22 19 22 39 30 19 56 30 22 38 39 20 38 39 35 35 21 22 22 35 38 22 21 39 39 30 20 21 39
20 51 39 35 35 35  0]xS 
2760 992 M (Code)[52 39 38  0]xS 
F0S4E Ji 
2924 992 M (. In )[20 20 25 39  0]xS 
F3S4E Ji 
3048 992 M (Proceedings of the SIGSOFT )[48 30 38 35 35 35 38 22 39 38 31 19 39 22 19 22 39 34 20 39 26 56 38 56 48 43  0]xS 
2760 1082 M (Symposium on the Foundations of )[39 35 55 39 39 30 21 39 56 19 39 39 19 22 39 34 20 48 39 38 39 39 38 22 22 38 39 30 20 38 22  0]xS 
2760 1173 M (Software Engineering)[39 39 21 22 52 38 30 35 20 48 39 38 22 39 34 35 30 22 39  0]xS 
F0S4E Ji 
3440 1173 M (, December 1994.)[20 20 55 35 35 35 60 39 35 26 20 38 39 39 38  0]xS 
3994 1173 M ( )S 
2591 1263 M ([Evans96] David Evans. )[27 48 38 35 38 30 39 39 27 20 55 35 38 21 39 20 48 38 34 39 30 20  0]xS 
F3S4E Ji 
3369 1263 M (Static Detection of )[38 22 39 21 22 35 19 56 35 22 34 35 22 22 38 39 20 38 22  0]xS 
2760 1353 M (Dynamic Memory Errors)[56 35 38 39 56 21 35 20 65 35 55 39 30 35 20 48 30 30 38 31  0]xS 
F0S4E Ji 
3546 1353 M (. In )[19 20 26 38  0]xS 
F3S4E Ji 
3669 1353 M (Proceedings )[48 30 39 35 35 34 39 22 38 39 30  0]xS 
2760 1443 M (of the SIGPLAN Conf)[39 22 19 22 39 34 20 39 26 56 48 43 48 52 20 52 38 39  0]xS 
3437 1443 M (erence on )[35 30 35 39 35 35 19 39 39  0]xS 
2760 1533 M (Programming Language Design and )[48 31 38 39 30 38 56 56 21 39 38 20 44 38 39 38 39 39 38 35 20 55 35 30 22 39 38 20 39 38 39  0]xS 
2760 1624 M (Implementation)[27 55 39 22 34 56 35 38 22 39 21 22 39  0]xS 
F0S4E Ji 
3247 1624 M ( \(PLDI \22296\), Philadelphia, )[20 26 45 46 55 26 20 26 38 39 26 20 20 44 39 22 21 35 39 34 22 39 38 22 35 20  0]xS 
2760 1714 M (PA, May 1996.)[45 55 20 20 68 35 36 20 38 39 39 38  0]xS 
3233 1714 M ( )S 
2591 1805 M ([EvansTwyman99] David Evans and Andrew )[27 48 38 35 38 30 48 55 36 60 35 39 38 39 27 20 55 35 38 22 38 20 48 38 35 38 30 20 35 38 39 20
55 39 39 26 35 55  0]xS 
2760 1894 M (Twyman. )[47 56 36 60 35 38 20  0]xS 
F3S4E Ji 
3072 1894 M (Policy)[48 39 21 22 35  0]xS 
3272 1894 M (-)S 
3298 1894 M (Directed Code Safety)[56 21 30 35 35 22 35 38 20 52 38 39 35 20 38 39 21 35 22  0]xS 
F0S4E Ji 
3964 1894 M (. )[20  0]xS 
2760 1984 M (In )[26 38  0]xS 
F3S4E Ji 
2844 1984 M (Proceedings of the 1999 IEEE )[48 30 39 35 35 34 39 22 38 39 30 20 38 22 20 22 38 35 20 38 39 39 38 20 26 48 48 48  0]xS 
2760 2075 M (Symposium on Security and Privacy)[39 35 55 39 39 30 21 39 56 19 39 39 19 39 35 35 38 30 22 22 34 20 39 38 39 20 48 30 22 35 38 35
 0]xS 
F0S4E Ji 
3883 2075 M (, )[20  0]xS 
2760 2165 M (Oakland, Califor)[56 35 37 22 35 39 38 20 20 51 35 22 22 26 38  0]xS 
3282 2165 M (nia, May, 1999.)[39 21 35 20 20 68 35 36 20 20 38 39 38 39  0]xS 
3770 2165 M ( )S 
2591 2256 M ([Evans99] David Evans. )[27 48 38 35 38 30 39 39 27 20 55 35 38 21 39 20 48 38 34 39 30 20  0]xS 
F3S4E Ji 
3369 2256 M (Policy)[48 38 22 22 34  0]xS 
3568 2256 M (-)S 
3595 2256 M (Directed Code )[55 22 30 35 35 21 35 39 20 51 39 39 34  0]xS 
2760 2346 M (Safety)[39 39 21 35 22  0]xS 
F0S4E Ji 
2951 2346 M (. MIT PhD Thesis, October 1999.)[19 20 69 25 47 20 44 39 56 19 47 39 35 30 22 30 20 19 56 35 21 38 39 35 26 20 38 39 39 38  0]xS 
3995 2346 M ( )S 
2591 2435 M ([Hall96] Anthony Hall. )[27 56 35 21 22 38 39 27 20 56 38 22 39 37 39 36 19 56 35 21 22 20  0]xS 
F3S4E Ji 
3336 2435 M (What is the Formal )[64 38 39 22 19 22 30 20 22 38 35 20 48 38 31 55 39 21  0]xS 
2760 2526 M (Methods Debate About?)[65 35 22 38 39 39 30 20 55 35 39 38 22 35 19 48 39 39 38 22  0]xS 
F0S4E Ji 
3516 2526 M ( IEEE Computer, )[19 26 48 48 48 20 51 38 60 39 39 21 35 26 20  0]xS 
2760 2616 M (29\(4\):22)[39 39 26 39 26 22 38  0]xS 
3028 2616 M (-)S 
3054 2616 M (23, April 1996.)[39 38 20 20 55 39 26 22 22 20 38 39 38 39  0]xS 
3529 2616 M ( )S 
2591 2707 M ([HollowayButler96] C. Michael Holloway and )[27 56 37 22 22 37 56 35 36 51 39 22 21 35 26 39 39 27 20 52 19 20 69 22 34 39 35 35 21 20 56 37
22 22 37 56 35 35 20 35 39 38  0]xS 
2760 2797 M (Ricky W. Bu)[52 22 35 37 36 20 73 20 20 52  0]xS 
3165 2797 M (tler. )[22 22 34 27 20  0]xS 
F3S4E Ji 
3309 2797 M (Impediments to )[27 55 39 35 38 22 56 34 39 22 30 20 21 39  0]xS 
2760 2887 M (Industrial Use of Formal Methods)[27 38 39 39 30 21 30 22 39 21 20 56 30 35 19 39 22 20 48 38 30 56 38 22 20 65 35 21 39 39 38  0]xS 
F0S4E Ji 
3826 2887 M (. IEEE )[20 20 25 48 48 48  0]xS 
2760 2977 M (Computer, 29\(4\):25)[52 38 60 39 38 22 35 26 20 20 38 39 26 39 26 22 39  0]xS 
3377 2977 M (-)S 
3404 2977 M (26, April 1996.)[38 39 20 19 56 38 27 21 22 20 39 38 39 38  0]xS 
3878 2977 M ( )S 
2591 3067 M ([Luckham90] David Luckham.  )[27 46 39 35 37 39 35 60 39 38 28 19 56 35 37 22 39 20 46 38 35 38 38 35 61 19 20  0]xS 
F3S4E Ji 
3592 3067 M (Programming )[48 30 39 38 30 39 56 55 22 38 39  0]xS 
2760 3158 M (with Specifications: An Introduction to )[52 22 21 39 20 38 39 35 35 21 22 22 35 38 22 21 39 39 30 26 20 48 39 19 27 38 22 30 39 38 39 35
21 22 39 38 20 22 38  0]xS 
2760 3248 M (ANNA, A Language for Specifying Ada )[48 52 52 48 20 20 48 19 44 38 39 38 39 39 38 35 20 22 38 30 20 39 38 35 35 22 21 35 22 38 39 20
48 38 39  0]xS 
2760 3339 M (Programs)[48 31 38 39 30 38 56  0]xS 
F0S4E Ji 
3070 3339 M (.  Springer)[20 20 19 44 38 27 21 39 38 35  0]xS 
3397 3339 M (-)S 
3423 3339 M (Verlag, 1990.)[56 35 26 22 35 37 20 20 38 39 39 38  0]xS 
3848 3339 M ( )S 
2591 3428 M ([Lutz94] Ro)[27 46 39 22 34 39 39 27 20 51  0]xS 
2973 3428 M (byn Lutz and Yoko Ampo. )[39 36 38 20 46 39 21 35 20 35 38 39 20 55 38 38 37 20 56 60 39 37 20  0]xS 
F3S4E Ji 
2760 3518 M (Experience Report: Using Formal )[48 35 39 35 30 21 35 39 35 35 19 48 35 39 38 31 21 27 19 56 30 22 38 39 20 48 38 30 56 39 21  0]xS 
2760 3609 M (Methods For Requirements Analysis Of )[65 35 22 38 39 39 30 20 48 38 30 20 48 35 39 38 22 30 35 55 35 39 21 31 19 48 39 39 21 35 30 22
30 20 55 22  0]xS 
2760 3699 M (Critical Spacecraft Software)[52 30 22 22 21 35 39 21 20 39 38 39 35 35 34 31 38 22 22 19 39 39 21 22 52 38 30  0]xS 
F0S4E Ji 
3650 3699 M (. In )[20 20 25 39  0]xS 
F3S4E Ji 
2760 3790 M (Proceedings of the 19th Annual Software )[48 31 38 35 35 35 38 22 39 38 30 20 39 21 20 22 38 35 20 39 38 22 38 20 48 39 38 39 39 21 20 39
38 22 22 51 39 30 35  0]xS 
2760 3880 M (Engineering Workshop.)[48 39 39 21 39 35 35 30 21 39 39 19 64 39 30 35 30 39 38 39  0]xS 
F0S4E Ji 
3498 3880 M ( Greenbelt, MD, )[19 56 26 35 35 39 38 35 22 21 20 20 69 55 20  0]xS 
2760 3969 M (December 1994. NASA Goddard Space )[56 35 35 34 61 38 35 27 19 39 39 38 39 19 20 56 55 44 55 20 56 37 39 38 35 27 38 20 43 39 35 35
35  0]xS 
2760 4060 M (Flight Center.)[43 21 22 38 38 22 20 52 34 39 22 34 27  0]xS 
3192 4060 M ( )S 
2591 4150 M ([Nob)[27 56 37  0]xS 
2750 4150 M (e96] C. R. Nobe and W. E. Warner. )[35 38 39 27 20 52 20 19 52 20 20 55 38 39 34 20 35 39 38 20 74 19 20 48 20 20 73 35 26 39 35 26
20  0]xS 
F3S4E Ji 
2760 4241 M (Lessons Learned from a Trial Application )[44 35 30 30 38 39 30 20 43 35 39 30 38 35 39 20 21 30 39 56 19 39 20 43 30 22 38 22 20 48 39 38
22 21 35 39 22 21 39 38  0]xS 
2760 4331 M (of Requirements Modeling using )[39 22 19 48 35 39 38 22 30 35 56 35 38 22 30 20 65 38 39 35 21 22 39 38 20 39 30 21 39 39  0]xS 
2760 4421 M (Statecharts)[39 22 38 22 35 35 38 39 30 22  0]xS 
F0S4E Ji 
3110 4421 M (. In )[19 20 26 38  0]xS 
F3S4E Ji 
3233 4421 M (Proceedings of the Second )[48 30 39 35 35 34 39 22 38 39 30 20 38 22 20 21 39 35 20 38 35 35 39 38 39  0]xS 
2760 4511 M (International Conference on )[27 38 22 35 30 39 38 22 21 39 39 38 22 20 52 38 39 21 35 30 35 39 35 35 19 39 39  0]xS 
2760 4601 M (Requirements Engineering)[48 35 39 38 22 30 35 56 34 39 22 30 20 48 38 39 22 38 35 35 30 22 38  0]xS 
F0S4E Ji 
3592 4601 M (, pp. 86)[20 19 39 39 19 20 39  0]xS 
3825 4601 M <96>S 
3864 4601 M (93, )[39 38 20  0]xS 
2760 4692 M (April 15)[56 39 26 22 21 20 39  0]xS 
3021 4692 M <96>S 
3060 4692 M (18, 1996. )[38 39 20 20 38 39 38 39 20  0]xS 
3371 4692 M ( )S 
2591 4782 M ( [Obayashi98] Masaharu )[20 27 55 39 35 36 35 30 38 22 39 38 27 20 69 35 30 35 38 35 27 38  0]xS 
3379 4782 M (Obayashi, Hiroshi )[56 38 35 36 35 30 38 22 20 20 55 22 26 38 30 39 21  0]xS 
2760 4873 M (Kubota, Shane P. McCarron, Lionel )[56 39 38 38 21 35 20 20 43 39 35 38 35 20 44 20 20 68 35 52 35 26 27 37 39 20 19 47 21 38 38 35
22  0]xS 
2760 4962 M (Mallet. )[69 35 22 21 35 22 20  0]xS 
F3S4E Ji 
3003 4962 M (The Assertion Based Testing Tool )[44 38 35 20 48 30 30 35 30 22 21 39 39 19 48 39 30 35 39 19 44 35 30 21 22 39 38 20 43 39 39 21
 0]xS 
2760 5052 M (for OOP: ADL2)[22 39 30 20 55 56 48 26 20 48 55 44  0]xS 
F0S4E Ji 
3261 5052 M (. International )[20 20 25 39 22 34 27 38 35 22 22 37 39 35 21  0]xS 
2760 5143 M (Conference on Software Engineering, )[52 38 38 27 35 26 35 38 35 35 20 38 38 20 43 38 26 22 56 34 27 35 19 48 39 38 21 39 35 35 26 22
38 38 20  0]xS 
2760 5233 M (Kyoto, April 1998.)[56 36 37 22 38 19 20 56 38 27 21 22 20 38 39 39 38  0]xS 
3346 5233 M ( )S 
2591 5324 M ([Sankar93] Sriram Sankar and Roger Hayes. )[27 43 35 39 38 34 27 38 39 27 20 43 27 21 27 35 60 20 43 35 38 38 35 26 20 35 39 38 20 52 37 38
35 26 20 56 34 36 35 30 20  0]xS 
F3S4E Ji 
2760 5414 M (Specifying and Testing Software )[39 39 34 35 22 22 34 22 39 38 20 39 38 39 20 43 35 30 22 21 39 38 20 39 38 22 22 52 38 30 35  0]xS 
2760 5503 M (Compo)[52 39 55 39  0]xS 
2984 5503 M (nents using ADL)[38 35 39 21 30 20 39 30 22 38 39 20 48 55  0]xS 
F0S4E Ji 
3501 5503 M (. Sun )[20 20 43 39 39  0]xS 
2760 5594 M (Microsystems, 1993.)[69 22 35 26 38 30 36 30 21 35 60 31 19 20 39 38 39 39  0]xS 
3406 5594 M ( )S 
F0S56 Ji 
2591 5692 M ( )S 
820 5791 M ( )S 
820 5891 M ( )S 
LH
pagesave restore
(%%[Page: 3]%%) = 
%%PageTrailer

%%Trailer
%%BoundingBox: 13 13 599 780
%%DocumentNeededResources: 
%%+ font Times-Roman
%%+ font Times-Bold
%%+ font Helvetica
%%+ font Times-Italic
%%+ font Times-Bold
%%+ font Helvetica
%%+ font Times-Italic
%%DocumentSuppliedResources: 
%%+ procset Pscript_WinNT_VMErrorHandler 5.0 0
%%+ procset Pscript_FatalError 5.0 0
%%+ procset Pscript_Win_Basic 5.0 0
%%+ procset Pscript_Win_Utils_L2 5.0 0
%%+ procset Pscript_Text 5.0 0
%%+ procset Pscript_TextFE 5.0 0
%%+ procset Pscript_TextV 5.0 0
%%+ procset Pscript_TextBold 5.0 0
%%+ procset Pscript_Win_GdiObject 5.0 0
%%+ procset Pscript_Win_GdiObject_L2 5.0 0
%%+ procset Pscript_Win_Dib_L2 5.0 0
%%+ procset Pscript_T42Hdr 5.0 0
%%+ procset Pscript_T3Hdr 5.0 0
%%+ procset Pscript_CFF 5.0 0
%%+ procset Pscript_Nup 5.0 0
%%+ procset Pscript_CMap_FF 5.0 0
%%+ procset Pscript_Encoding0 5.0 0
%%+ procset Pscript_Encoding161 5.0 0
%%+ procset Pscript_Encoding162 5.0 0
%%+ procset Pscript_Encoding177 5.0 0
%%+ procset Pscript_Encoding178 5.0 0
%%+ procset Pscript_Encoding186 5.0 0
%%+ procset Pscript_Encoding204 5.0 0
%%+ procset Pscript_Encoding238 5.0 0
%%+ procset Pscript_Encoding256 5.0 0
%%+ procset Pscript_Encoding257 5.0 0
%%+ procset Pscript_Win_Euro_L2 5.0 0
%%+ procset Pscript_WinNT_Compat 5.0 0
/Pscript_WinNT_Full /ProcSet findresource dup /terminate get exec
Pscript_WinNT_Compat dup /terminate get exec
%%Pages: 3
(%%[LastPage]%%) = 
%%EOF
%-12345X@PJL EOJ
%-12345X