www.pudn.com > use-2.3.0.zip > assl.ps
%!PS-Adobe-2.0
%%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software
%%Title: assl.dvi
%%Pages: 4
%%PageOrder: Ascend
%%BoundingBox: 0 0 596 842
%%EndComments
%DVIPSWebPage: (www.radicaleye.com)
%DVIPSCommandLine: dvips assl.dvi -o assl.ps
%DVIPSParameters: dpi=600, compressed
%DVIPSSource: TeX output 2001.04.24:1703
%%BeginProcSet: texc.pro
%!
/TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S
N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72
mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0
0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{
landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize
mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[
matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round
exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{
statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0]
N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin
/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array
/BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2
array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N
df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A
definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get
}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub}
B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr
1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3
1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx
0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx
sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{
rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp
gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B
/chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{
/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{
A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy
get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse}
ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp
fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17
{2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add
chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{
1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop}
forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn
/BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put
}if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{
bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A
mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{
SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{
userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X
1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4
index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N
/p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{
/Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT)
(LaserWriter 16/600)]{A length product length le{A length product exch 0
exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse
end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask
grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot}
imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round
exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto
fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p
delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M}
B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{
p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S
rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end
%%EndProcSet
TeXDict begin 39158280 55380996 1000 600 600 (assl.dvi)
@start
%DVIPSBitmapFont: Fa cmitt10 10.95 42
/Fa 42 123 df<130FEB3FC014E0137F14F0A3133F131F130714E0A3130F14C0131FEB3F
80A2EB7F0013FE1201EA07FC485AEA3FF0485A485A6CC7FC127E1238141D69B730>39
D<150FED3F80157FEC01FF4A1300EC0FFC4A5AEC3FE04A5A4A5A4990C7FCEB03FC495A49
5A131F5C495A495A49C8FC5B1201485AA2485A5B120F5B121F5BA2123F5BA2127F90C9FC
A35A5AB0127FA36C7EA26C7EA26C7E7F12076C7E7F6CB4FC7E6D7E6DC8FC130F21476BBE
30>I<147814FC14FF816E7E143F6E7E6E7E6E7E14038114016E7EA3157FA3811680AD15
7F1600A35D5DA314015D14035D14075D140F5D141F5D143F4A5A92C7FC5C495A495A495A
130F495A495A495A495A4890C8FCEA07FE485AEA3FF0485A485A90C9FC12FC1278214779
BE30>I<007FB612E016F0B712F8A36C15F016E02507749E30>45
DI<
151C153E157F15FF15FE140114031407EC0FFC143F14FF131F4913F8A25BEB3FE790381F
87F0EB0007140FA215E0A2141FA215C0A2143FA21580A2147FA21500A25CA25CA21301A2
5CA21303A25CA21307A25CA2130F007FB512F8B612FC15FEA215FC6C14F8203976B830>
49 D<90267C07F0EB03E09026FE7FFC130790B56CEB0FF0486EEB3FE0177F48923883FF
C093B5128048D9F83F1400ECC00F48D900075BD81FFC6D5B4901005B4848140F495D4848
4A5A494A5A48C8FC484B5A4CC7FC5AC8485A5E15034B5AA24B5A5E151F5E153F5E157F93
C8FC5D5D14015D14035D14075DA2140F5DA2141F5D143F5DA3147F92C9FCA3147EA2143C
343A77B830>55 DII<9238
7F803C913903FFE07C020FEBF8FE023F13FC91B612FC5B4913C049EB007FD90FFCEB3FF8
D91FF0131F495A495A4948EB0FF091C7FC485A12034915E0485AA2484815C0491407001F
92C7FC5BA2123F5BA2127F90CAFCA35A5AA6ED01F04B7EA315076C5D150F6C5D6D131F4B
5A6C6C495A6D13FF261FF00390C7FC390FFC0FFE90B55A6C14F06C5C6C14806C6C48C8FC
EB0FF02F3A76B830>67 D<0103B712F84916FCA47F903B003FC00003F85DA2027F140718
F092C7FCA25CEF03E04A91C7FCA21301A24A133C167E010314FFA24A5B91B5FC5BA25EA2
5BECF00302E05BA2131F6F5A4AC9FCA2133FA25C1778017F15FC160191C7FCA2491403A2
495DA200011507003FB7FC485EB8FCA26C5E6C5E36387EB730>69
D<0103B712F84916FCA47F903B003FC00003F85DA2027F140718F092C7FCA25CEF03E04A
91C7FCA21301A25C163C0103147E16FE5CA249B5FCA25EA25BA29138E003F8A2131F5E4A
6C5A92C9FC133FA25CA2137FA291CAFCA25BA25BA21201383FFFF8487FB5FCA27E6C5B36
387DB730>I<03FF13F0020713C1021FEBE3F8027F13FB91B612F05B4913814948C6FCD9
0FF8EB7FE0495A495A4948133F494814C091C7FC485A485A1780485A5B000F1600498000
1F92C7FC5BA2123F5BA2127F90CAFCA348ECFFFE48497F4A1480A26E14006E5BED07F015
0F5E151FA2153F5E6C147F7E15FF6D485B003F5B6D5A6C6C5AD9F83F90C7FC6CB6FC7E6C
806CEBFE7E6CEBF83ED91FC0C8FC2D3A77B830>I<0103B612F84915FC17FEA217FC6D15
F890C7387F800093C7FCA25DA25DA21401A25DA21403A25DA21407A25DA2140FA25DA214
1FA25DA2143FA25DA2147FA292C8FCA25CA25CA21301A25CA21303003FB67E4881B7FCA2
7E6C5D2F3879B730>73 D<0103B57E49804980A26D5C6D5C9026003FC0C7FC5DA2147FA2
92C8FCA25CA25CA21301A25CA21303A25CA21307A25CA2130FA25CA2131FA25CA2133FA2
5CEE01E0017FEC03F0160791C7FCA249140F17E05BA20001151F007FB712C0B8FCA31780
6C16002C387DB730>76 D<902603FFC0EB07FF496D491380495D5F6D5D6D17000100EDFF
E002FD14F7EDF001010115EF04035B14F9EE07CF0103EC0FDF02FBEC9F8002F3131F171F
0107EC3F3F043E90C7FC02E3137E167C010FECFC7FEEF87EECC1F116F0011F01F313FE4C
5AEC81F716C0013F148103FF5B02011301A2017FEBFE035F90387E00FC157001FEEB0007
5F5BA20001150F5F5BA20003151F5F5BA20007153FD87FFC903803FFE0486C497F6D81A2
495D6C486D5B39387EB730>I<903B03FFE001FFFC496D4813FE495CA26D806D6E13FC90
3B007FF8003F00147EA202FE5C177E14FCA2010115FE5F14F8A20103EBFC015F14F0A201
0714035F14E0A2010FEB7C075F14C0A2011F140F5FEC807EA2013F141F5F1400A249143F
94C7FC017E133EA201FE5C167E5BA2000115FE5E5BA20003143FD87FFF6D5AB5128014C0
A202805B6C496C5A37387DB730>I<913807FFFC023FEBFF8091B612E0010315F05B5B91
39FE003FF8D91FF0130F4A1307495A5C49C7FC17F05B5BA2485AA2EE0FE0A2485AA34848
EC1FC0A44848EC3F80A44848EC7F00A4484814FEA34B5AA248C7FC15035EA215075E4814
0F5E151F6D495A6D137F9039F003FF806CB6FC93C7FC5D6C14F8000F14E0000191C8FC2D
3A78B830>I<0103B612C04915F88317FF18807F9027003FC00313C0923880007FEF3FE0
027F141FA292C7120FA25CA25CA21301EF1FC05C173F01031680EF7F004A5C4C5A0107EC
07FC160F4AEB7FF891B65A4915C05F4CC7FC16F84914C002E0C9FC5CA2133FA25CA2137F
A291CAFCA25BA25BA21201383FFFE0487FB5FCA27E6C5B33387EB730>I<0103B512FC49
ECFF804915E017F06D15F86D15FC9039007F801F92380007FE16034A130116004A14FFA2
010115FEA25CA20103EC01FCA24A1303EE07F80107EC0FF0161F4AEB7FE0923803FFC049
B61280EEFE005E16F04980829138C003FE1501013F6D7E825CA2137F5E91C75AA2491301
A2495C173C0001167E030313FE4914F8A2000315F9267FFF80EBFBFCB500C013FF6E6C13
F817F04A6C13E06C49EB7FC0C9EA1F0030397EB730>82 D<92387FE00F913903FFFC1F02
0F01FF13804AECBF00027F14FF91B7FC49EBC07F499038001FFED907FC13075C49481303
4A5C131F5CA2013F5D5CA2705A6E90C8FCA2806D7E14FE90380FFFE06D13FEEDFFC06D14
F0010080023F7F02077F9138007FFF15071500707EA2163FA3EA07C0487EA2001F157F94
C7FC5B5E486C495AA24B5A6DEB0FF8D87FFC495A9039FF80FFE091B55A5E00FE92C8FCD8
FC3F13FCD87C0F13F0D878011380313A7BB830>I<260FFFF890B51280486D4814C002FE
15E0A202FC15C06C496C1480C690C7380FE0005BA20001151F5F5BA20003153F5F5BA200
07157F94C7FC5BA2000F5D5E5BA2001F14015E5BA2003F14035E5BA2007F1407A290C75B
A2150F485D5A151F5E153F5E157F4BC8FC007F5B4A5A6D485A393FC01FF89038E07FF06C
B55A6C5C6C5C6C49C9FCC613F8EB3FC0333976B730>85 D<14FE903803FF80010F13C749
EBFF804914C05BEBFFC7480103138048487E13FCEA07F848486C13005B121F5B003F5C5B
1401127F01005BA214035A485C0207137016FC15F9EC0FF1141FA2EC3FF36C90387FE3F8
6C13FF018113E7D83F87EBF7F090B6FC6C15E014F36C01C313C00003018013803A00FC00
7E00262975A730>97 DIIII<16FF030313C0030F13E04B13F017F85D1683ED7F871607A2EE
03F09238FF01E04BC7FCA414015D0103B6FC491580A46D150090260003F8C7FCA314075D
A5140F5DA4141FA25DA4143F5DA5147F92C8FCA45C5CA31301A25CA21303A25C123CEA7E
0700FF5B130F5CEAFE1FB55A5C6C90C9FC6C5A6C5AEA07F02D4E7BB830>II<3807FFC0487FA47EEA001F5CA3133F5CA3137F91C9FC
EC07F8EC3FFE90B6FC8282A2489038FC1FE0ECF00F14E014C048138014005B151F48485C
A25B153F48485CA349137F001F92C7FCA249EBFF0E9238FE1F80003F153FEB800115FC02
03137F007F02F81300130016FEA248ECF9FC4814FF5E6E5B486D5B6F5A00786EC7FC2939
78B730>II<160EEE3F80A2167FA3EE3F00161E93C7FCA9EC01
FCEC07FF021F7F027F7F91B5FC498049130F02FC7F903807F80790380FF00F5EEB1FE014
C0013F131FA2D91F805B90C7FC153FA25EA2157FA293C7FCA25DA25DA21401A25DA21403
A25DA21407A25DA2140FA25DA2141F5DA2143F4A5A121E003F49C8FC48485A138338FF8F
FCEBFFF86C5B5C6C13806C48C9FCEA07F8294E78B830>I<383FFFC04813E0B5FCA27E7E
EA001F14C0A2133FA21480A2137FA21400A25BA25BA21201A25BA21203A25BA21207A25B
A2120FA25BA2121FA25B141C003F133F147F1380A2007F13FF14FE13001301EB81FCEA3F
C3EBFFF86C13F014E06C13C0000313803800FE0018396EB730>108
D<91390FC007E0903A3C7FF01FF8903A7EFFF87FFC017F9038FCFFFE15FD90B8FC02F8EB
FC3F9138E07FF802C013F048018013E016C01400491480000302FF137F49EC007EA25D26
07F80114FE17FC01F05B1601000F010314F801E013F81603001F010714F001C013F01607
17E0003F130F018013E0160F17C0007F131F010013C017F017F848013F1307481480EE03
F016000038010EC8FC30297CA730>I<01F813FE3A03FE07FF80486C487F48013F7F4890
B57EA2ED87F8393F9FFE0314FC387FBFF8EB3FF0A214E0D8FF7F130702C05B127E000013
8001FF130F02005BA34848131F5EA249EB3FC70003ED8FC0169F49137F161F0007153F03
FF13804913FE167F000F16005E496D5A5E157F495CED3FE06C48EB0FC02A2979A730>I<
EC3FC0903801FFF001077F497F497F017F7FD9FFE0138048EB807F9138003FC0D803FC13
1F485AA2485A4848EB0FE05B123F5BED1FC0127F90C7FCA2153F4815805A157F16005D5D
14016C495A6C13074A5A6D485A003F495A9038E0FFC06CB55A92C7FC6C5B6C13F8000113
E038007F80232975A730>I<903903E003F890390FF80FFE90391FFC3FFF496C48138091
B612C04915E06E131F01FE9038FC0FF091383FF807EC7FF0D801FC13E09238C003F81580
000313FF15006C5AC75A0101140717F05CA20103140F17E05C161F010715C0A2EE3F8016
7F010F15005E6E485A1503496C485AED1FF891B55A5E495C93C7FCEC8FFEEC83F0D97F80
C8FCA291C9FCA25BA25BA21201A25BA21203387FFFF0B57EA46C5B2D3C7FA730>I<017E
EB1FF03A01FF80FFFE4801C3EBFF804801E714C04890B612E0A2D81FC79038F03FF0EDC0
0FD83F83EB800701871300007F49130F13075C484848EB07E0EE03C0007E92C7FC00005B
131F5CA3495AA35C137FA291C9FCA25BA25BA21201A25BA35BA26C5A2C2978A730>114
DI<147814FCA21301A413035CA313075C
A3130F5CA2003FB512F04814F8B6FCA36C14F039003F8000A3137F91C7FCA35B5BA31201
5BA312035B157015FC0007130113F0140315F8000F13079038E00FF0141FEC3FE09038F0
FFC06CB5128015006C5B6C5B6C13F0EB3F801E3A72B830>I<133ED9FF801370486D13F8
486D487E5A48EBF003D81FE75C13C7123F01871307D87F8F5CEB0FE0A2D8FF1F130F02C0
5BEA7E3F00001380151F017F5C1400A2153F495C5B168792387F8FC00001151F5B15FF16
3FDA01FE1380A21403D9FE07EB7F000000131F90B7FC6D5CEDBFFC6D133F90391FFE1FF0
903903F007E02A2979A730>I<027E137C903901FF807E0107EBC0FE4913F14913F949EB
FFFC4914F814C349C613F049EB3FE0000115C049EB7F8015FF4A130039007003FE903800
07FC4A5AEC3FF04A5A4A5A495B4948C7FC495A4948137C494813FC90393FE001FED97FC0
13FCEBFF8048EB0003484814F8000714079039FFC00FF048EBE01F489038F83FE04890B5
12C0A2D87FE314800181140039FF007FFC007E6D5A007CEB0FC0272978A730>122
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fb cmcsc10 10.95 29
/Fb 29 118 df<121EEA7F8012FF13C0A213E0A3127FEA1E601200A413E013C0A2120113
80A2120313005A120E5A1218127812300B1C77891D>44 DI71 D76
DI79 D82 DI<003FB912
E0A3903BF0003FF0007F01806D48130F48C7ED07F0007E1703007C170100781700A30070
1870A5481838A5C81600B3B14B7E4B7E0103B7FCA33D3D7CBC47>I87 D97 DIIII103
DII<90383FFFFCA39038007FC0EC3F80B3AD1218127EB4FCA3EC7F005A007C137E00
7813FE383C01F8381F03F03807FFC0C648C7FC1E307CAE27>IIIIIII114 D<90383FC00C9038FFF81C0003EB
FE3C390FE03FFC381F8007EB0003003E1301481300157C5A153CA36C141CA27E6C14006C
7E13E013FE383FFFE06C13FE6CEBFF806C14E0000114F06C6C13F8010F13FC1300EC07FE
14011400157F153F12E0151FA37EA2151E6C143E6C143C6C147C6C14F89038C001F039FB
F807E000F1B512C0D8E07F130038C007FC20317BAF2A>I<007FB712F8A39039801FF007
3A7E000FE00000781678A20070163800F0163CA348161CA5C71500B3A8EC3FF8011FB512
F0A32E2E7CAD36>II E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fc cmsy8 8 1
/Fc 1 1 df0 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fd cmmi8 8 8
/Fd 8 123 df<12E012F812FEEA3F80EA0FE0EA03F8EA00FEEB3F80EB0FE0EB03F8EB00
FC143FEC0FC0EC07F0EC01FCEC007FED1FC0ED07F0ED01FCED007FEE1FC01607161FEE7F
00ED01FCED07F0ED1FC0037FC7FCEC01FCEC07F0EC0FC0023FC8FC14FCEB03F8EB0FE0EB
3F8001FEC9FCEA03F8EA0FE0EA3F8000FECAFC12F812E02A2B7AA537>62
D101
D<1307EB0F80EB1FC0A2EB0F80EB070090C7FCA9EA01E0EA07F8EA0E3CEA1C3E12381230
1270EA607EEAE07C12C013FC485A120012015B12035BA21207EBC04014C0120F13801381
381F01801303EB0700EA0F06131EEA07F8EA01F0122E7EAC18>105
D<131FEA03FFA2EA003FA2133EA2137EA2137CA213FCA25BA2120115F89038F003FCEC0F
0E0003EB1C1EEC387EEBE07014E03807E1C09038E3803849C7FC13CEEA0FDC13F8A2EBFF
80381F9FE0EB83F0EB01F81300481404150C123EA2007E141C1518007CEBF038ECF83000
FC1470EC78E048EB3FC00070EB0F801F2F7DAD25>107 D<137CEA0FFCA21200A213F8A2
1201A213F0A21203A213E0A21207A213C0A2120FA21380A2121FA21300A25AA2123EA212
7EA2127CA2EAFC08131812F8A21338133012F01370EAF860EA78E0EA3FC0EA0F000E2F7D
AD15>I<3907C007E0391FE03FF83918F8783E393879E01E39307B801F38707F00126013
FEEAE0FC12C05B00815C0001143E5BA20003147E157C5B15FC0007ECF8081618EBC00115
F0000F1538913803E0300180147016E0001F010113C015E390C7EAFF00000E143E251F7E
9D2B>110 D115
D<011E1330EB3F809038FFC07048EBE0E0ECF1C03803C0FF9038803F8090380007004813
0EC75A5C5C5C495A495A49C7FC131E13385B491340484813C0485A38070001000EEB0380
380FE007391FF81F0038387FFF486C5A38601FFC38E00FF038C003C01C1F7D9D21>122
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fe cmti10 10.95 11
/Fe 11 118 df<933807FF80043F13E09338FE00F8DB01F0133EDB07E0130E4B48131F4C
137F031F14FF4BC7FCA218FE157E1878180015FE5DA31401A25DA414030103B712F0A218
E0903A0003F000070207140F4B14C0A3171F020F15805DA2173F1800141F5D5F177EA214
3F92C712FE5FA34A1301027EECF81CA3160302FEECF03C4A1538A21878187013014A0101
13F018E0933800F1C0EF7F804948EC1F0094C7FCA35C1307A2001E5B127F130F00FF5BA2
49CAFC12FEEAF81EEA703CEA7878EA1FF0EA07C0385383BF33>12
D<147E49B47E903907C1C38090391F80EFC090383F00FF017E137F4914804848133F485A
A248481400120F5B001F5C157E485AA215FE007F5C90C7FCA21401485C5AA21403EDF038
5AA21407EDE078020F1370127C021F13F0007E013F13E0003E137FECF3E1261F01E313C0
3A0F8781E3803A03FF00FF00D800FC133E252977A72E>97 D99
D101 D103
D<1478EB01FCA21303A314F8EB00E01400AD137C48B4FC38038F80EA0707000E13C0121E
121CEA3C0F1238A2EA781F00701380A2EAF03F140012005B137E13FE5BA212015BA21203
5B1438120713E0000F1378EBC070A214F0EB80E0A2EB81C01383148038078700EA03FEEA
00F8163E79BC1C>105 D110 DI114 D116 D<137C48B4141C26038F80137EEA0707000E7F
001E15FE121CD83C0F5C12381501EA781F007001805BA2D8F03F1303140000005D5B017E
1307A201FE5C5B150F1201495CA2151F0003EDC1C0491481A2153F1683EE0380A2ED7F07
000102FF13005C01F8EBDF0F00009038079F0E90397C0F0F1C90391FFC07F8903907F001
F02A2979A731>I E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Ff cmbx12 12 24
/Ff 24 122 df46 D49 DII67 D77 D82 D<903801FFE0011F13FE017F6D7E48B612E03A03FE007F
F84848EB1FFC6D6D7E486C6D7EA26F7FA36F7F6C5A6C5AEA00F090C7FCA40203B5FC91B6
FC1307013F13F19038FFFC01000313E0000F1380381FFE00485A5B127F5B12FF5BA35DA2
6D5B6C6C5B4B13F0D83FFE013EEBFFC03A1FFF80FC7F0007EBFFF86CECE01FC66CEB8007
D90FFCC9FC322F7DAD36>97 D100 DI103 DI<137C48B4FC4813804813C0A24813E0A56C13C0A26C13806C1300EA007C
90C7FCAAEB7FC0EA7FFFA512037EB3AFB6FCA518467CC520>I108 D<90277F8007FEEC0FFCB590263FFFC090387FFF80
92B5D8F001B512E002816E4880913D87F01FFC0FE03FF8913D8FC00FFE1F801FFC0003D9
9F009026FF3E007F6C019E6D013C130F02BC5D02F86D496D7EA24A5D4A5DA34A5DB3A7B6
0081B60003B512FEA5572D7CAC5E>I<90397F8007FEB590383FFF8092B512E0028114F8
913987F03FFC91388F801F000390399F000FFE6C139E14BC02F86D7E5CA25CA35CB3A7B6
0083B512FEA5372D7CAC3E>II<90397FC00FF8B590B57E02C314E002CF14F89139DFC03FFC9139FF001FFE000301FC
EB07FF6C496D13804A15C04A6D13E05C7013F0A2EF7FF8A4EF3FFCACEF7FF8A318F017FF
A24C13E06E15C06E5B6E4913806E4913006E495A9139DFC07FFC02CFB512F002C314C002
C091C7FCED1FF092C9FCADB67EA536407DAC3E>I<90387F807FB53881FFE0028313F002
8F13F8ED8FFC91389F1FFE000313BE6C13BC14F8A214F0ED0FFC9138E007F8ED01E092C7
FCA35CB3A5B612E0A5272D7DAC2E>114 D<90391FFC038090B51287000314FF120F381F
F003383FC00049133F48C7121F127E00FE140FA215077EA27F01E090C7FC13FE387FFFF0
14FF6C14C015F06C14FC6C800003806C15806C7E010F14C0EB003F020313E0140000F014
3FA26C141F150FA27EA26C15C06C141FA26DEB3F8001E0EB7F009038F803FE90B55A00FC
5CD8F03F13E026E007FEC7FC232F7CAD2C>IIII121 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fg cmtt10 10.95 69
/Fg 69 125 df<121C127FEAFF80B3EA7F00B2123EC7FCA8121C127FA2EAFF80A3EA7F00
A2121C09396DB830>33 D<00101304007C131F00FEEB3F80A26C137FA248133FB2007E14
00007C7F003C131E00101304191C75B830>I<141E147F14FF5BEB03FEEB07FCEB0FF0EB
1FE0EB3FC0EB7F80EBFF00485A5B12035B485A120F5BA2485AA2123F5BA2127F90C7FCA4
12FEAD127FA47F123FA27F121FA26C7EA27F12076C7E7F12017F6C7EEB7F80EB3FC0EB1F
E0EB0FF0EB07FCEB03FEEB01FF7F147F141E184771BE30>40 D<127812FE7E7F6C7E6C7E
EA0FF06C7E6C7E6C7E6C7EEB7F80133F14C0131FEB0FE014F01307A2EB03F8A214FC1301
A214FE1300A4147FAD14FEA4130114FCA2130314F8A2EB07F0A2130F14E0EB1FC0133F14
80137FEBFF00485A485A485A485AEA3FE0485A485A90C7FC5A1278184778BE30>I<14E0
497E497EA60038EC0380007EEC0FC0D8FF83EB3FE001C3137F9038F3F9FF267FFBFB13C0
6CB61280000FECFE00000314F86C5C6C6C13C0011F90C7FC017F13C048B512F04880000F
14FE003FECFF80267FFBFB13C026FFF3F913E09038C3F87F0183133FD87E03EB0FC00038
EC0380000091C7FCA66D5A6D5A23277AAE30>I44 D<007FB612F0A2B712F8A36C15F0A225077B9E30>I<120FEA3FC0
EA7FE0A2EAFFF0A4EA7FE0A2EA3FC0EA0F000C0C6E8B30>I<16F01501ED03F8A21507A2
ED0FF0A2ED1FE0A2ED3FC0A2ED7F80A2EDFF00A24A5AA25D1403A24A5AA24A5AA24A5AA2
4A5AA24A5AA24AC7FCA2495AA25C1303A2495AA2495AA2495AA2495AA2495AA249C8FCA2
485AA25B1203A2485AA2485AA2485AA2485AA2485AA248C9FCA25AA2127CA225477BBE30
>I<14FE903807FFC0497F013F13F8497F90B57E48EB83FF4848C6138049137F4848EB3F
C04848EB1FE049130F001F15F0491307A24848EB03F8A290C712014815FCA400FEEC00FE
AD6C14016C15FCA36D1303003F15F8A26D1307001F15F0A26D130F6C6CEB1FE0A26C6CEB
3FC06C6CEB7F806D13FF2601FF8313006CEBFFFE6D5B6D5B010F13E06D5BD900FEC7FC27
3A7CB830>IIIII<000FB612804815C05A
A316800180C8FCAEEB83FF019F13C090B512F015FC8181D9FE0313809039F0007FC04913
3F0180EB1FE06CC7120F000E15F0C81207A216F81503A31218127EA2B4FC150716F04814
0F6C15E06C141F6DEB3FC06D137F3A3FE001FF80261FFC0F13006CB55A6C5C6C5C6C14E0
6C6C1380D90FFCC7FC25397BB730>II<127CB712FC16FEA416FC48C7EA0FF816
F0ED1FE0007CEC3FC0C8EA7F80EDFF00A24A5A4A5A5D14075D140F5D4A5AA24A5AA24AC7
FCA25C5C13015CA213035CA213075CA4495AA6131F5CA96D5A6DC8FC273A7CB830>I<49
B4FC011F13F0017F13FC90B57E0003ECFF804815C048010113E03A1FF8003FF049131FD8
3FC0EB07F8A24848EB03FC90C71201A56D1303003F15F86D13076C6CEB0FF06C6CEB1FE0
D807FCEB7FC03A03FF83FF806C90B512006C6C13FC011F13F0497F90B512FE48802607FE
0013C0D80FF8EB3FE0D81FE0EB0FF04848EB07F8491303007F15FC90C712014815FE4814
00A66C14016C15FC6D1303003F15F86D1307D81FF0EB1FF06D133F3A0FFF01FFE06C90B5
12C06C1580C6ECFE006D5B011F13F0010190C7FC273A7CB830>I<49B4FC010F13E0013F
13F890B57E4880488048010113803A0FFC007FC0D81FF0EB3FE04848131F49EB0FF04848
1307A290C7EA03F85A4815FC1501A416FEA37E7E6D1303A26C6C13076C6C130F6D133FD8
0FFC13FF6CB6FC7E6C14FE6C14F9013FEBE1FC010F138190380060011400ED03F8A21507
16F0150F000F15E0486C131F486CEB3FC0157FEDFF804A1300EC07FE391FF01FFC90B55A
6C5C6C5C6C1480C649C7FCEB3FF0273A7CB830>I<120FEA3FC0EA7FE0A2EAFFF0A4EA7F
E0A2EA3FC0EA0F00C7FCAF120FEA3FC0EA7FE0A2EAFFF0A4EA7FE0A2EA3FC0EA0F000C27
6EA630>I<16F01503ED07F8151F157FEDFFF014034A13C0021F138091383FFE00ECFFF8
495B010713C0495BD93FFEC7FC495A3801FFF0485B000F13804890C8FCEA7FFC5BEAFFE0
5B7FEA7FF87FEA1FFF6C7F000313E06C7F38007FFC6D7E90380FFF806D7F010113F06D7F
EC3FFE91381FFF80020713C06E13F01400ED7FF8151F1507ED03F01500252F7BB230>60
D<007FB7FCA2B81280A36C16006C5DCBFCA7003FB612FE4881B81280A36C1600A229157D
A530>I<1278127EB4FC13C07FEA7FF813FEEA1FFF6C13C000037F6C13F86C6C7EEB1FFF
6D7F010313E06D7F9038007FFC6E7E91380FFF806E13C0020113F080ED3FF8151F153FED
FFF05C020713C04A138091383FFE004A5A903801FFF0495B010F13804990C7FCEB7FFC48
485A4813E0000F5B4890C8FCEA7FFE13F8EAFFE05B90C9FC127E1278252F7BB230>II<147F4A7EA2497FA4497F14F7A401077F14E3A3010F7FA314C1A2011F7FA490
383F80FEA590387F007FA4498049133F90B6FCA34881A39038FC001F00038149130FA400
0781491307A2D87FFFEB7FFFB56CB51280A46C496C130029397DB830>65
D<007FB512F0B612FE6F7E82826C813A03F8001FF815076F7E1501A26F7EA615015EA24B
5A1507ED1FF0ED7FE090B65A5E4BC7FC6F7E16E0829039F8000FF8ED03FC6F7E1500167F
A3EE3F80A6167F1700A25E4B5A1503ED1FFC007FB6FCB75A5E16C05E6C02FCC7FC29387E
B730>I<91387F803C903903FFF03E49EBFC7E011F13FE49EBFFFE5B9038FFE07F48EB80
1F3903FE000F484813075B48481303A2484813015B123F491300A2127F90C8FC167C1600
5A5AAC7E7EA2167C6D14FE123FA27F121F6D13016C6C14FCA26C6CEB03F86D13076C6CEB
0FF03901FF801F6C9038E07FE06DB512C06D14806D1400010713FC6D13F09038007FC027
3A7CB830>I<003FB512E04814FCB67E6F7E6C816C813A03F8007FF0ED1FF8150F6F7E6F
7E15016F7EA2EE7F80A2163F17C0161FA4EE0FE0AC161F17C0A3163F1780A2167F17005E
4B5A15034B5A150F4B5AED7FF0003FB65A485DB75A93C7FC6C14FC6C14E02B387FB730>
I<007FB7FCB81280A47ED803F8C7123FA8EE1F0093C7FCA4157C15FEA490B5FCA6EBF800
A4157C92C8FCA5EE07C0EE0FE0A9007FB7FCB8FCA46C16C02B387EB730>I<02FF13F001
03EBC0F8010F13F1013F13FD4913FF90B6FC4813C1EC007F4848133F4848131F49130F48
5A491307121F5B123F491303A2127F90C7FC6F5A92C8FC5A5AA892B5FC4A14805CA26C7F
6C6D1400ED03F8A27F003F1407A27F121F6D130F120F7F6C6C131FA2D803FE133F6C6C13
7FECC1FF6C90B5FC7F6D13FB010F13F30103EBC1F0010090C8FC293A7DB830>71
D<3B3FFF800FFFE0486D4813F0B56C4813F8A26C496C13F06C496C13E0D803F8C7EAFE00
B290B6FCA601F8C7FCB3A23B3FFF800FFFE0486D4813F0B56C4813F8A26C496C13F06C49
6C13E02D387FB730>I<007FB6FCB71280A46C1500260007F0C7FCB3B3A8007FB6FCB712
80A46C1500213879B730>I<383FFFF8487FB57EA26C5B6C5BD801FCC9FCB3B0EE0F80EE
1FC0A9003FB7FC5AB8FCA27E6C16802A387EB730>76 DII<90383FFFE048B512FC0007
14FF4815804815C04815E0EBF80001E0133FD87F80EB0FF0A290C71207A44815F8481403
B3A96C1407A26C15F0A36D130FA26D131F6C6CEB3FE001F813FF90B6FC6C15C06C15806C
1500000114FCD8003F13E0253A7BB830>I<007FB512F0B612FE6F7E16E0826C813903F8
003FED0FFCED03FE15016F7EA2821780163FA6167F17005EA24B5A1503ED0FFCED3FF890
B6FC5E5E16804BC7FC15F001F8C9FCB0387FFFC0B57EA46C5B29387EB730>I<003FB57E
4814F0B612FC15FF6C816C812603F8017F9138003FF0151F6F7E15071503821501A51503
5E1507150F4B5A153F4AB45A90B65A5E93C7FC5D8182D9F8007FED3FE0151F150F821507
A817F8EEF1FCA53A3FFF8003FB4801C0EBFFF8B56C7E17F06C496C13E06C49EB7FC0C9EA
1F002E397FB730>82 D<90390FF803C0D97FFF13E048B512C74814F74814FF5A381FF80F
383FE001497E4848137F90C7123F5A48141FA2150FA37EED07C06C91C7FC7F7FEA3FF0EA
1FFEEBFFF06C13FF6C14E0000114F86C80011F13FF01031480D9003F13C014019138007F
E0151FED0FF0A2ED07F8A2007C140312FEA56C140716F07F6DEB0FE06D131F01F8EB3FC0
01FF13FF91B51280160000FD5CD8FC7F13F8D8F81F5BD878011380253A7BB830>I<003F
B712C04816E0B8FCA43AFE003F800FA8007CED07C0C791C7FCB3B1011FB5FC4980A46D91
C7FC2B387EB730>I86 D<007FB5FCB61280A4150048C8FCB3B3B3A5B6FC1580A46C140019476D
BE30>91 D<007FB5FCB61280A47EC7123FB3B3B3A5007FB5FCB6FCA46C140019477DBE30
>93 D97 DII<913801FFE04A7F5CA28080EC0007AAEB03FE90381FFF874913E790B6FC5A
5A481303380FFC00D81FF0133F49131F485A150F4848130790C7FCA25AA25AA87E6C140F
A27F003F141F6D133F6C7E6D137F390FF801FF2607FE07EBFFC06CB712E06C16F06C14F7
6D01C713E0011F010313C0D907FCC8FC2C397DB730>I<49B4FC010713E0011F13F8017F
7F90B57E488048018113803A07FC007FC04848133FD81FE0EB1FE0150F484814F0491307
127F90C7FCED03F85A5AB7FCA516F048C9FC7E7EA27F003FEC01F06DEB03F86C7E6C7E6D
1307D807FEEB1FF03A03FFC07FE06C90B5FC6C15C0013F14806DEBFE00010713F8010013
C0252A7CA830>IIII<14E0EB03F8A2497EA36D5AA2EB00E091C8FCA9381FFF
F8487F5AA27E7EEA0001B3A9003FB612C04815E0B7FCA27E6C15C023397AB830>I107 D<387FFFF8B57EA47EEA0001B3B3A8007FB612F0B712F8A4
6C15F025387BB730>I<02FC137E3B7FC3FF01FF80D8FFEF01877F90B500CF7F15DF92B5
7E6C010F13872607FE07EB03F801FC13FE9039F803FC01A201F013F8A301E013F0B3A23C
7FFE0FFF07FF80B548018F13C0A46C486C01071380322881A730>II<49B4FC010F13E0013F13F8497F90B57E0003ECFF8014013A07FC007FC0
4848EB3FE0D81FE0EB0FF0A24848EB07F8491303007F15FC90C71201A300FEEC00FEA86C
14016C15FCA26D1303003F15F86D13076D130F6C6CEB1FF06C6CEB3FE06D137F3A07FF01
FFC06C90B512806C15006C6C13FC6D5B010F13E0010190C7FC272A7CA830>II<49B413F8010FEBC1FC013F13F14913
FD48B6FC5A481381390FFC007F49131F4848130F491307485A491303127F90C7FC15015A
5AA77E7E15037FA26C6C1307150F6C6C131F6C6C133F01FC137F3907FF01FF6C90B5FC6C
14FD6C14F9013F13F1010F13C1903803FE0190C7FCAD92B512F84A14FCA46E14F82E3C7D
A730>II<90381FFC1E48B5129F000714FF5A5A5A387FF007EB800100FEC7
FC4880A46C143E007F91C7FC13E06CB4FC6C13FC6CEBFF806C14E0000114F86C6C7F0103
7F9038000FFF02001380007C147F00FEEC1FC0A2150F7EA27F151F6DEB3F806D137F9039
FC03FF0090B6FC5D5D00FC14F0D8F83F13C026780FFEC7FC222A79A830>II<
D83FFCEB3FFC486C497E00FF14FFA2007F147F003F143F00001400B3A41501A215031507
6D130F903A7FC07FFFF891B612FC6D15FE7F6D4913FC6D9038F87FF8010001C0C7FC2F28
80A630>I<3B3FFFC07FFF80486DB512C0B515E0A26C16C06C496C13803B01F80003F000
A26D130700005DA26D130F017E5CA2017F131F6D5CA2EC803F011F91C7FCA26E5A010F13
7EA2ECE0FE01075BA214F101035BA3903801FBF0A314FF6D5BA36E5A6E5A2B277EA630>
I<3B3FFFC01FFFE0486D4813F0B515F8A26C16F06C496C13E0D807E0C7EA3F00A26D5C00
03157EA56D14FE00015DEC0F80EC1FC0EC3FE0A33A00FC7FF1F8A2147DA2ECFDF9017C5C
14F8A3017E13FBA290393FF07FE0A3ECE03FA2011F5C90390F800F802D277FA630>I<3A
3FFF81FFFC4801C37FB580A26C5D6C01815BC648C66CC7FC137FEC80FE90383F81FC9038
1FC3F8EB0FE3ECE7F06DB45A6D5B7F6D5B92C8FC147E147F5C497F81903803F7E0EB07E7
90380FE3F0ECC1F890381F81FC90383F80FE90387F007E017E137F01FE6D7E48486D7E26
7FFF80B5FCB500C1148014E3A214C16C0180140029277DA630>I<3B3FFFC07FFF80486D
B512C0B515E0A26C16C06C496C13803B01FC0003F000A2000014076D5C137E150F017F5C
7F151FD91F805BA214C0010F49C7FCA214E00107137EA2EB03F0157C15FCEB01F85DA2EB
00F9ECFDF0147D147FA26E5AA36E5AA35DA2143F92C8FCA25C147EA2000F13FE486C5AEA
3FC1EBC3F81387EB8FF0EBFFE06C5B5C6C90C9FC6C5AEA01F02B3C7EA630>I<001FB612
FC4815FE5AA316FC90C7EA0FF8ED1FF0ED3FE0ED7FC0EDFF80003E491300C7485A4A5A4A
5A4A5A4A5A4A5A4A5A4990C7FC495A495A495A495A495A495A4948133E4890C7127F485A
485A485A485A485A48B7FCB8FCA46C15FE28277DA630>I<127CA212FEB3B3B3AD127CA2
07476CBE30>124 D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fh cmr10 10.95 55
/Fh 55 123 df<4AB4EB0FE0021F9038E03FFC913A7F00F8FC1ED901FC90383FF03FD907
F090397FE07F80494801FF13FF4948485BD93F805C137F0200ED7F00EF003E01FE6D91C7
FC82ADB97EA3C648C76CC8FCB3AE486C4A7E007FD9FC3FEBFF80A339407FBF35>11
DI<1430147014E0EB01C0EB03801307EB0F00131E13
3E133C5B13F85B12015B1203A2485AA2120F5BA2121F90C7FCA25AA3123E127EA6127C12
FCB2127C127EA6123E123FA37EA27F120FA27F1207A26C7EA212017F12007F13787F133E
131E7FEB07801303EB01C0EB00E014701430145A77C323>40 D<12C07E12707E7E121E7E
6C7E7F12036C7E7F12007F1378137CA27FA2133F7FA21480130FA214C0A3130714E0A613
0314F0B214E01307A614C0130FA31480A2131F1400A25B133EA25BA2137813F85B12015B
485A12075B48C7FC121E121C5A5A5A5A145A7BC323>I<121EEA7F8012FF13C0A213E0A3
127FEA1E601200A413E013C0A312011380120313005A120E5A1218123812300B1C798919
>44 DI<121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A0A798919>
I49 DII<150E
151E153EA2157EA215FE1401A21403EC077E1406140E141CA214381470A214E0EB01C0A2
EB0380EB0700A2130E5BA25B5BA25B5B1201485A90C7FC5A120E120C121C5AA25A5AB8FC
A3C8EAFE00AC4A7E49B6FCA3283E7EBD2D>I56 DI<121EEA
7F80A2EAFFC0A4EA7F80A2EA1E00C7FCB3121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A27
79A619>I<15074B7EA34B7EA34B7EA34B7EA34B7E15E7A2913801C7FC15C3A291380381
FEA34AC67EA3020E6D7EA34A6D7EA34A6D7EA34A6D7EA34A6D7EA349486D7E91B6FCA249
819138800001A249C87EA24982010E157FA2011E82011C153FA2013C820138151FA20178
82170F13FC00034C7ED80FFF4B7EB500F0010FB512F8A33D417DC044>65
D67 D69 D71 D73
D76 DII
I82 DI<003FB91280A3903AF0007F
E001018090393FC0003F48C7ED1FC0007E1707127C00781703A300701701A548EF00E0A5
C81600B3B14B7E4B7E0107B612FEA33B3D7DBC42>II
91 D93 D97 DI<49B4FC010F13E09038
3F00F8017C131E4848131F4848137F0007ECFF80485A5B121FA24848EB7F00151C007F91
C7FCA290C9FC5AAB6C7EA3003FEC01C07F001F140316806C6C13076C6C14000003140E6C
6C131E6C6C137890383F01F090380FFFC0D901FEC7FC222A7DA828>I
III<167C903903F801FF903A1FFF078F8090397E0FDE1F9038F803F83803F001A23B
07E000FC0600000F6EC7FC49137E001F147FA8000F147E6D13FE00075C6C6C485AA23901
F803E03903FE0FC026071FFFC8FCEB03F80006CAFC120EA3120FA27F7F6CB512E015FE6C
6E7E6C15E06C810003813A0FC0001FFC48C7EA01FE003E140048157E825A82A46C5D007C
153E007E157E6C5D6C6C495A6C6C495AD803F0EB0FC0D800FE017FC7FC90383FFFFC0103
13C0293D7EA82D>III<1478EB01FEA2EB03FFA4EB01FEA2EB00
781400AC147FEB7FFFA313017F147FB3B3A5123E127F38FF807E14FEA214FCEB81F8EA7F
01387C03F0381E07C0380FFF803801FC00185185BD1C>III<2701F801FE14FF00FF902707FFC00313E0913B1E07E00F
03F0913B7803F03C01F80007903BE001F87000FC2603F9C06D487F000101805C01FBD900
FF147F91C75B13FF4992C7FCA2495CB3A6486C496CECFF80B5D8F87FD9FC3F13FEA34728
7DA74C>I<3901F801FE00FF903807FFC091381E07E091387803F000079038E001F82603
F9C07F0001138001FB6D7E91C7FC13FF5BA25BB3A6486C497EB5D8F87F13FCA32E287DA7
33>I<14FF010713E090381F81F890387E007E01F8131F4848EB0F804848EB07C04848EB
03E0000F15F04848EB01F8A2003F15FCA248C812FEA44815FFA96C15FEA36C6CEB01FCA3
001F15F86C6CEB03F0A26C6CEB07E06C6CEB0FC06C6CEB1F80D8007EEB7E0090383F81FC
90380FFFF0010090C7FC282A7EA82D>I<3901FC03FC00FF90381FFF8091387C0FE09039
FDE003F03A07FFC001FC6C496C7E6C90C7127F49EC3F805BEE1FC017E0A2EE0FF0A3EE07
F8AAEE0FF0A4EE1FE0A2EE3FC06D1580EE7F007F6E13FE9138C001F89039FDE007F09039
FC780FC0DA3FFFC7FCEC07F891C9FCAD487EB512F8A32D3A7EA733>I<02FF131C0107EB
C03C90381F80F090397F00387C01FC131CD803F8130E4848EB0FFC150748481303121F48
5A1501485AA448C7FCAA6C7EA36C7EA2001F14036C7E15076C6C130F6C7E6C6C133DD800
7E137990383F81F190380FFFC1903801FE0190C7FCAD4B7E92B512F8A32D3A7DA730>I<
3901F807E000FFEB1FF8EC787CECE1FE3807F9C100031381EA01FB1401EC00FC01FF1330
491300A35BB3A5487EB512FEA31F287EA724>I<90383FC0603901FFF8E03807C03F381F
000F003E1307003C1303127C0078130112F81400A27E7E7E6D1300EA7FF8EBFFC06C13F8
6C13FE6C7F6C1480000114C0D8003F13E0010313F0EB001FEC0FF800E01303A214017E14
00A27E15F07E14016C14E06CEB03C0903880078039F3E01F0038E0FFFC38C01FE01D2A7D
A824>I<131CA6133CA4137CA213FCA2120112031207001FB512C0B6FCA2D801FCC7FCB3
A215E0A912009038FE01C0A2EB7F03013F138090381F8700EB07FEEB01F81B397EB723>
II<
B539E00FFFE0A32707FE000313006C48EB00FC5E00015D7F00005DA26D13016D5CA26D6C
485AA2ECC007011F91C7FCA290380FE00EA2ECF01E0107131CA26D6C5AA2ECFC78010113
70A2ECFEF001005BA2EC7FC0A36E5AA26EC8FCA3140E2B287EA630>IIII<001FB61280A2EBE0000180140049
485A001E495A121C4A5A003C495A141F00385C4A5A147F5D4AC7FCC6485AA2495A495A13
0F5C495A90393FC00380A2EB7F80EBFF005A5B484813071207491400485A48485BA24848
5B4848137F00FF495A90B6FCA221277EA628>I E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fi cmtt9 9 40
/Fi 40 125 df<00101320007C13F838FE01FCAAEAFC00007C13F8A900381370161778AE
27>34 D40 D<127012F812FE7E6C7E6C7EEA0FE06C7E12
037F6C7E1200137EA27FA2EB1F80A3EB0FC0A4EB07E0ACEB0FC0A4EB1F80A3EB3F00A213
7EA25B1201485A5B1207485AEA3FC0485A48C7FC5A12F81270133A7AB327>I<130F497E
A60078EB81E000FEEB87F000FF138FEBDFBF6CB512E06C14C0000F1400000313FCC613F0
A2000313FC000F13FF003F14C04814E039FFDFBFF0EB1F8F00FE13870078EB81E00000EB
8000A66DC7FC1C207BA627>I<120FEA3FC013E0EA7FF0A213F8A2123FA2120F120113F0
1203EA07E0121FEA7FC0EAFF8013005A12700D14738927>44 D<121EEA7F80A2EAFFC0A4
EA7F80A2EA1E00C7FCAC121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A20729F27>58
D<120FEA3FC0A2EA7FE0A4EA3FC0A2EA0F00C7FCAC120FEA3F8013C0127F13E0A3123FA2
120F120713C0120FA2EA3F80EA7F005A5A12F812700B2A739F27>I<007FB512FEB7FCA4
003F14FEC9FCA6003FB512FEB7FCA46C14FE20127D9F27>61 D63 D65 D<387FFFFC14FFB612C06C808139
07E00FF81407EC01FC6E7EA2157E157F811680151FA316C0150FABED1F80A3153F1600A2
5D15FEA24A5A4A5A140F007FB55A5DB65A6C91C7FC14FC222E7FAD27>68
D<007FB61280B712C0A37E3907E0000FA6ED078092C7FCA4EC07804A7EA390B5FCA5EBE0
0FA36E5A91C8FCA4ED03C0ED07E0A7007FB6FCB7FCA36C15C0232E7FAD27>I<007FB512
E0B612F0A36C14E039001F8000B3B2007FB512E0B612F0A36C14E01C2E7BAD27>73
D<387FFFC080B5FC7E5CD803F0C8FCB3AAED0780ED0FC0A7007FB6FCA2B7FC7E1680222E
7FAD27>76 D79 D<007FB5FCB612E081816C803907E003FEEC00FF81ED
3F80151F16C0150FA6151F1680153FED7F005DEC03FE90B55A5D5D5D92C7FC01E0C8FCAD
EA7FFEB5FCA36C5A222E7FAD27>I<007FB61280B712C0A439FC03F00FA60078EC078000
0091C7FCB3AB90B512C04880A36C5C222E7EAD27>84 D<387FFFF0B512F8A314F000FCC7
FCB3B3ACB512F014F8A36C13F0153A71B327>91 D<387FFFF0B512F8A37EEA0001B3B3AC
EA7FFFB5FCA36C13F0153A7EB327>93 D<3803FFC0000F13F04813FC4813FF811380EC1F
C0381F000F000480C71207A2EB0FFF137F0003B5FC120F5A383FFC07EA7FC0130012FE5A
A46C130F007F131FEBC0FF6CB612806C15C07E000313F1C69038807F8022207C9F27>97
DI
IIII<153F90391FC0FF80D97FF313C048B612E05A4814EF390FF0
7F873A1FC01FC3C0EDC000EB800F48486C7EA66C6C485AEBC01FA2390FF07F8090B5C7FC
5C485BEB7FF0EB1FC090C9FCA27F6CB5FC15E015F84814FE4880EB8001007EC7EA3F8000
7C140F00FC15C0481407A46C140F007C1580007F143F6C6CEB7F009038F807FF6CB55A00
0714F86C5CC614C0D90FFCC7FC23337EA027>I<130F497E497EA46D5A6DC7FC90C8FCA7
383FFF80487FA37EEA000FB3A4007FB512F0B6FC15F815F07E1D2F7BAE27>105
D<387FFF80B57EA37EEA000FB3B2007FB512F8B612FCA36C14F81E2E7CAD27>108
D<397F07C01F3AFF9FF07FC09039FFF9FFE091B57E7E3A0FFC7FF1F89038F03FC001E013
8001C01300A3EB803EB03A7FF0FFC3FF486C01E3138001F913E701F813E36C4801C31300
2920819F27>I<387FE07F39FFF1FFC001F713F090B5FC6C80000313C1EC01FCEBFE005B
5BA25BB03A7FFF83FFE0B500C713F0A36C018313E024207F9F27>II<387FE0FFD8FFF313C090B512F0816C800003EB
81FE49C67E49EB3F8049131F16C049130FA216E01507A6150F16C07F151F6DEB3F80157F
6DEBFF009038FF83FEECFFFC5D5D01F313C0D9F0FEC7FC91C8FCAC387FFF80B57EA36C5B
23317F9F27>I<397FFC03FC39FFFE0FFF023F13804A13C0007F90B5FC39007FFE1F14F8
9138F00F809138E002004AC7FC5CA291C8FCA2137EAD007FB57EB67EA36C5C22207E9F27
>114 D<9038FFF3800007EBFFC0121F5A5AEB803F38FC000F5AA2EC07806C90C7FCEA7F
8013FC383FFFF06C13FC000713FF00011480D8000F13C09038003FE014070078EB03F000
FC1301A27E14036CEB07E0EBE01F90B512C01580150000FB13FC38707FF01C207B9F27>
I<133C137EA8007FB512F0B612F8A36C14F0D8007EC7FCAE1518157EA415FE6D13FC1483
ECFFF86D13F06D13E0010313C0010013001F297EA827>I<397FE01FF8486C487EA3007F
131F00031300B21401A21403EBFC0F6CB612E016F07EEB3FFE90390FF87FE024207F9F27
>I<3A7FFC0FFF80486C4813C0A36C486C13803A07C000F800EBE00100035CA2EBF00300
015CA2EBF80700005CA390387C0F80A36D48C7FCA3EB3F3FEB1F3EA214FE6D5AA36D5AA2
6D5A22207E9F27>I<393FFC1FFF486C5A168016006C487E3901F807E06C6C485A4A5A01
7E90C7FC6D5AEB1F7E5C6D5A13076D5A5C80497E130F497E143EEB3E3FEB7E1F90387C0F
8001F87F00016D7E3803F0033A7FFE1FFF80A2B54813C06C486C1380A222207E9F27>
120 D<3A7FFC0FFF80486C4813C0A36C486C13803A07E000F800000313015D13F0000113
0301F85B1200A26D485A137CA290387E0F80133EA2011F90C7FC5CA2130F149E14BE1307
14FC1303A25C1301A25CA213035CA213075C1208EA3E0F007F5B131FD87E7FC8FCEA7FFE
6C5A5B6C5AEA07C022317E9F27>I<127812FCB3B3B3A21278063A70B327>124
D E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fj cmbx12 14.4 22
/Fj 22 122 df<157815FC14031407141F14FF130F0007B5FCB6FCA2147F13F0EAF800C7
FCB3B3B3A6007FB712FEA52F4E76CD43>49 DI<171F
4D7E4D7EA24D7EA34C7FA24C7FA34C7FA34C7FA24C7FA34C8083047F80167E8304FE804C
7E03018116F8830303814C7E03078116E083030F814C7E031F81168083033F8293C77E4B
82157E8403FE824B800201835D840203834B800207835D844AB87EA24A83A3DA3F80C880
92C97E4A84A2027E8202FE844A82010185A24A820103854A82010785A24A82010F855C01
1F717FEBFFFCB600F8020FB712E0A55B547BD366>65 D<932601FFFCEC01C0047FD9FFC0
13030307B600F81307033F03FE131F92B8EA803F0203DAE003EBC07F020F01FCC7383FF0
FF023F01E0EC0FF94A01800203B5FC494848C9FC4901F882494982494982494982494982
4990CA7E494883A2484983485B1B7F485B481A3FA24849181FA3485B1B0FA25AA298C7FC
5CA2B5FCAE7EA280A2F307C07EA36C7FA21B0F6C6D1980A26C1A1F6C7F1C006C6D606C6D
187EA26D6C606D6D4C5A6D6D16036D6D4C5A6D6D4C5A6D01FC4C5A6D6DEE7F806D6C6C6C
4BC7FC6E01E0EC07FE020F01FEEC1FF80203903AFFE001FFF0020091B612C0033F93C8FC
030715FCDB007F14E0040101FCC9FC525479D261>67 D73 D76 D<91260FFF80130791B500F85B010702FF5B011FEDC03F49EDF07F9026FFFC00
6D5A4801E0EB0FFD4801800101B5FC4848C87E48488149150F001F824981123F4981007F
82A28412FF84A27FA26D82A27F7F6D93C7FC14C06C13F014FF15F86CECFF8016FC6CEDFF
C017F06C16FC6C16FF6C17C06C836C836D826D82010F821303010082021F16801400030F
15C0ED007F040714E01600173F050F13F08383A200788200F882A3187FA27EA219E07EA2
6CEFFFC0A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02C04A5A02F8EC7FF0903B1FFF
C003FFE0486C90B65AD8FC0393C7FC48C66C14FC48010F14F048D9007F90C8FC3C5479D2
4B>83 D97
D<913801FFF8021FEBFF8091B612F0010315FC010F9038C00FFE903A1FFE0001FFD97FFC
491380D9FFF05B4817C048495B5C5A485BA2486F138091C7FC486F1300705A4892C8FC5B
A312FFAD127F7FA27EA2EF03E06C7F17076C6D15C07E6E140F6CEE1F806C6DEC3F006C6D
147ED97FFE5C6D6CEB03F8010F9038E01FF0010390B55A01001580023F49C7FC020113E0
33387CB63C>99 D<913803FFC0023F13FC49B6FC010715C04901817F903A3FFC007FF849
486D7E49486D7E4849130F48496D7E48178048497F18C0488191C7FC4817E0A248815B18
F0A212FFA490B8FCA318E049CAFCA6127FA27F7EA218E06CEE01F06E14037E6C6DEC07E0
A26C6DEC0FC06C6D141F6C6DEC3F806D6CECFF00D91FFEEB03FE903A0FFFC03FF8010390
B55A010015C0021F49C7FC020113F034387CB63D>101 DI<137F497E000313E0487FA2487FA76C5BA26C5BC613806DC7FC90C8FCADEB3FF0B5FC
A512017EB3B3A6B612E0A51B547BD325>105 D108 DII<9138
01FFE0021F13FE91B612C0010315F0010F9038807FFC903A1FFC000FFED97FF86D6C7E49
486D7F48496D7F48496D7F4A147F48834890C86C7EA24883A248486F7EA3007F1880A400
FF18C0AC007F1880A3003F18006D5DA26C5FA26C5F6E147F6C5F6C6D4A5A6C6D495B6C6D
495B6D6C495BD93FFE011F90C7FC903A0FFF807FFC6D90B55A010015C0023F91C8FC0201
13E03A387CB643>I<90397FE003FEB590380FFF80033F13E04B13F09238FE1FF89139E1
F83FFC0003D9E3E013FEC6ECC07FECE78014EF150014EE02FEEB3FFC5CEE1FF8EE0FF04A
90C7FCA55CB3AAB612FCA52F367CB537>114 D<903903FFF00F013FEBFE1F90B7FC1203
48EB003FD80FF81307D81FE0130148487F4980127F90C87EA24881A27FA27F01F091C7FC
13FCEBFFC06C13FF15F86C14FF16C06C15F06C816C816C81C681013F1580010F15C01300
020714E0EC003F030713F015010078EC007F00F8153F161F7E160FA27E17E07E6D141F17
C07F6DEC3F8001F8EC7F0001FEEB01FE9039FFC00FFC6DB55AD8FC1F14E0D8F807148048
C601F8C7FC2C387CB635>I<143EA6147EA414FEA21301A313031307A2130F131F133F13
FF5A000F90B6FCB8FCA426003FFEC8FCB3A9EE07C0AB011FEC0F8080A26DEC1F0015806D
EBC03E6DEBF0FC6DEBFFF86D6C5B021F5B020313802A4D7ECB34>II<007FB500F090387FFFFEA5C66C48C7000F90C7FC6D6CEC07F86D6D5C6D6D
495A6D4B5A6F495A6D6D91C8FC6D6D137E6D6D5B91387FFE014C5A6E6C485A6EEB8FE06E
EBCFC06EEBFF806E91C9FCA26E5B6E5B6F7E6F7EA26F7F834B7F4B7F92B5FCDA01FD7F03
F87F4A486C7E4A486C7E020F7FDA1FC0804A486C7F4A486C7F02FE6D7F4A6D7F495A4948
6D7F01076F7E49486E7E49486E7FEBFFF0B500FE49B612C0A542357EB447>120
DI E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fk cmr12 12 10
/Fk 10 115 df<121EEA7F80A2EAFFC0A4EA7F80A2EA1E000A0A78891B>46
D<14FF010713E090381F81F890383E007C01FC133F4848EB1F8049130F4848EB07C04848
EB03E0A2000F15F0491301001F15F8A2003F15FCA390C8FC4815FEA54815FFB3A46C15FE
A56D1301003F15FCA3001F15F8A26C6CEB03F0A36C6CEB07E0000315C06D130F6C6CEB1F
806C6CEB3F00013E137C90381F81F8903807FFE0010090C7FC28447CC131>48
D<143014F013011303131F13FFB5FC13E713071200B3B3B0497E497E007FB6FCA3204278
C131>II52
D<16C04B7EA34B7EA34B7EA34B7EA3ED19FEA3ED30FFA203707FED607FA203E07FEDC03F
A2020180ED801FA2DA03007F160FA20206801607A24A6D7EA34A6D7EA34A6D7EA2027081
0260147FA202E08191B7FCA249820280C7121FA249C87F170FA20106821707A2496F7EA3
496F7EA3496F7EA201788313F8486C83D80FFF03037FB500E0027FEBFFC0A342477DC649
>65 D105 D108 D<3901FC03FC00FF90380FFF8091383C07E091387001F83A07FDE0
00FE00030180137FD801FFEC3F8091C7EA1FC04915E049140F17F0160717F8160317FCA3
EE01FEABEE03FCA3EE07F8A217F0160F6D15E0EE1FC06D143F17806EEB7E00D9FDC05B90
39FCF003F891383C0FE091381FFF80DA03FCC7FC91C9FCAE487EB512F8A32F3F7DAB36>
112 D<3903F803F000FFEB1FFCEC3C3EEC707F0007EBE0FF3803F9C000015B13FBEC007E
153C01FF13005BA45BB3A748B4FCB512FEA3202C7DAB26>114 D
E
%EndDVIPSBitmapFont
%DVIPSBitmapFont: Fl cmr17 17.28 16
/Fl 16 124 df<170FA34D7EA24D7EA34D7EA34D7EA34C7F17DFA29338039FFC178FA293
38070FFE1707040F7FEE0E03A2041E80EE1C01A2043C80EE3800A24C80187FA24C80183F
A24B4880181F0303814C130FA203078193C71207A24B81030E80A24B8284A24B8284A24B
82197F03F0824B153FA20201834B151FA202038392B8FCA24A83A292C91207020E8385A2
4A8485023C84023882A20278840270177FA202F0844A173FA24948841A1FA24948841A0F
A249CB7F1A074985865B496C85497E48486C4D7F000F01F8051F13F0B60407B612F0A45C
657DE463>65 D76 D83 D97 D<4AB47E020F13F8023F13FE9139FF007F80D903FCEB07
E0D907F0EB01F0D91FE0EB007849488049488049C87E48485D4915FF00034B138048485C
A2485AA2485AA2003F6F130049EC007C94C7FC127FA35B12FFAD127F7FA4123F7FA2001F
EE01C07F000F16036D168012076C6C15076D160000015E6C6C151E6D6C5C6D6C5C6D6C5C
D90FF8495AD903FCEB07C0903A00FF803F8091263FFFFEC7FC020F13F80201138032417C
BF3A>99 D
101 D103 DI110 DIII<9139FFE00180010FEBFC03017FEBFF073A01FF001FCFD803F8EB03
EFD807E0EB01FF48487F4848147F48C8123F003E151F007E150F127CA200FC1507A31603
7EA27E7F6C7E6D91C7FC13F8EA3FFE381FFFF06CEBFF806C14F86C14FF6C15C06C6C14F0
011F80010714FED9007F7F02031480DA003F13C01503030013E0167F00E0ED1FF0160F17
F86C15071603A36C1501A37EA26C16F016037E17E06D14076DEC0FC06D1580D8FDF0141F
D8F8F8EC7F00013E14FC3AF01FC00FF80107B512E0D8E001148027C0003FF8C7FC2D417D
BF34>115 D<1438A71478A414F8A31301A31303A21307130F131FA2137F13FF1203000F
90B6FCB8FCA3260007F8C8FCB3AE17E0AE6D6CEB01C0A316036D6C148016076D6C14006E
6C5A91383FC01E91381FF07C6EB45A020313E09138007F802B597FD733>II123
D E
%EndDVIPSBitmapFont
end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 600dpi
TeXDict begin
%%PaperSize: A4
%%EndSetup
%%Page: 1 1
1 0 bop 721 912 a Fl(ASSL)44 b({)f(A)h(Snapshot)f(Sequence)i(Language)
1574 1369 y Fk(24.)32 b(April)f(2001)382 1714 y Fj(1)135
b(Concrete)45 b(Syn)l(tax)382 1987 y Fi(procedure)c(::=)f("procedure")i
(name)e("\(")g(variableDeclarationList)k("\)")931 2078
y(\("var")d(variableDeclarationList)j(";"\)?)931 2169
y("begin")1049 2260 y(instructionList)931 2352 y("end")c(";")382
2534 y(variableDeclarationList)k(::=)931 2626 y(\(variableDeclaration)g
(\(","variableDeclaration\)*\)?)382 2808 y(instructionList)f(::=)c(\()h
(instruction)i(";")e(\)*)382 2991 y(instruction)i(::=)e
(variableAssignment)1010 3082 y(|)f(attributeAssignment)1010
3174 y(|)g(loop)1010 3265 y(|)g(atomicInstruction)382
3448 y(variableAssignment)k(::=)d(name)g(":=")g(extendedExpression)382
3630 y(attributeAssignment)j(::=)d(oclexpression)j(DOT)c(name)1323
3722 y(":=")h(extendedExpression)382 3904 y(loop)g(::=)g("for")g(name)g
("in")h(oclexpression)h("begin")853 3996 y(instructionList)735
4087 y("end")382 4270 y(atomicInstruction)h(::=)500 4361
y(name)d("\(")g(\(instructionParameter\(","instru)q(ctio)q(nPar)q
(amete)q(r\)*\))q(?)45 b("\)")382 4544 y(instructionParameter)f(::=)c
(oclexpression)i(|)d(type)382 4726 y(extendedExpression)k(::=)d
(oclexpression)i(|)e(atomicInstruction)382 4909 y(oclexpression)i(::=)e
("[")g(expression)h("]")523 5177 y Fh(The)20 b(start)h(sym)m(b)s(ol)e
(is)g Fg(procedure)p Fh(.)f(The)i(non-terminal)e(sym)m(b)s(ols)h
Fg(name)p Fh(,)h Fg(expression)382 5290 y Fh(and)26 b
Fg(variableDeclaration)c Fh(are)27 b(de\014ned)f(in)f([OMG99)r(].)i
Fg(type)f Fh(is)g(a)h(\(nested\))g(t)m(yp)s(e)382 5403
y(expression)i(de\014ned)g(in)g([R)m(G98)r(].)1854 5652
y(1)p eop
%%Page: 2 2
2 1 bop 382 548 a Fj(2)135 b(Informal)45 b(Seman)l(tics)h(of)f(A)l
(tomic)h(Instructions)382 751 y Fh(An)30 b(atomic)h(instruction)d(is)i
(an)g(instruction)e(pro)s(duced)h(b)m(y)h(the)h(rule:)382
937 y Fg(atomicInstruction)43 b(::=)382 1049 y(name)k("\(")f
(\(instructionParameter\(","i)o(nstr)o(uct)o(ionP)o(aram)o(ete)o
(r\)*\))o(?)c("\)")382 1293 y Ff(2.1)112 b(Changing)38
b(the)f(system)g(state)382 1464 y Fh(Some)30 b(atomic)h(instructions)e
(are)h(c)m(hanging)h(the)f(system)h(state:)382 1675 y
Fg(-)47 b(Create\()f(C:)h(Class)g(\):)g(C)382 1813 y
Fh(Adds)29 b(a)i(new)e(ob)5 b(ject)31 b(of)g(class)f(C)g(to)g(the)h
(system)f(state)i(and)d(returns)g(the)i(ob)5 b(ject.)31
b(C)382 1926 y(is)j(a)h(class)g(of)g(the)g(curren)m(t)g(mo)s(del.)f
(This)f(instruction)g(is)h(lik)m(e)g(the)h(USE)g(command)382
2038 y Fg(!create)46 b(name:)g(C)p Fh(,)26 b(but)f(the)h(name)g(of)f
(the)h(new)g(ob)5 b(ject)26 b(will)d(b)s(e)i(set)i(automatically)382
2151 y(b)m(y)i(the)g(generator.)h(Note)g(that)f(the)g(instruction)e
(returns)h(an)h(ob)5 b(ject,)30 b(whic)m(h)d(can)i(b)s(e)382
2264 y(assigned)g(to)j(a)e(v)-5 b(ariable)30 b(or)g(attribute.)382
2475 y Fg(-)47 b(CreateN\()f(C:)h(Class,)f(n:)h(Integer\):)f
(Sequence\(C\))382 2613 y Fh(Adds)28 b(n)h(ob)5 b(jects)30
b(of)f(class)g(C)g(to)h(the)g(system)f(state)i(and)e(returns)f(a)h
(sequence)h(of)f(the)382 2726 y(new)e(ob)5 b(jects)29
b(in)e(order)g(of)h(their)g(creation.)g(C)g(is)f(a)h(class)g(of)g(the)g
(curren)m(t)g(mo)s(del.)f(n)h(is)382 2839 y(a)j(p)s(ositiv)m(e)e(in)m
(teger.)382 3050 y Fg(-)47 b(Insert\()f(A:)h(Association,)e(e1:T1,)h
(e2:T2,)g(...,)h(en:Tn\))382 3187 y Fh(Inserts)29 b(in)m(to)i(the)f
(system)g(state)i(a)e(new)g(link)e(connecting)i(the)h(ob)5
b(jects)31 b(returned)e(b)m(y)382 3300 y(ev)-5 b(aluating)28
b(e1,)i(e2,)g(...)f(en.)g(A)g(is)f(an)h(asso)s(ciation)f(of)h(the)g
(curren)m(t)g(mo)s(del.)e(Tm)i(is)e(the)382 3413 y(ob)5
b(ject)27 b(t)m(yp)s(e)f(of)g(the)g(m-th)f(asso)s(ciation)h(end)f(of)h
(the)g(asso)s(ciation)g(A.)g(The)f(c)m(hanges)i(to)382
3526 y(the)43 b(system)f(state)i(are)f(lik)m(e)f Fg
(!insert\(o1,o2,...,on\))g(into)k(A)p Fh(.)d Fg(o1,o2,...on)382
3639 y Fh(are)i(ob)5 b(ject)46 b(iden)m(ti\014ers.)e(In)g(con)m(trast,)
j(the)e(parameters)h Fg(e1,e2,...,en)c Fh(are)j(o)s(cl)382
3751 y(expressions.)382 3962 y Fg(-)i(Delete\()f(A:)h(Association,)e
(e1:T1,)h(e2:T2,)g(...,)h(en:Tn\))382 4100 y Fh(The)20
b(same)g(as)h Fg(Delete\()46 b(A:)h(Association,)d(e1:T1,)i(e2:T2,)g
(...,)h(en:Tn\))p Fh(,)19 b(but)382 4213 y(the)24 b(sp)s(eci\014ed)f
(link)f(will)g(b)s(e)h(remo)m(v)m(ed)j(from)e(the)g(system)g(state.)i
(The)e(USE)g(command)382 4326 y(related)c(to)h(this)e(instruction)g(is)
g Fg(!delete\(o1,o2,...,on\))42 b(from)k(A)p Fh(.)21
b Fg(o1,o2,...on)382 4439 y Fh(are)29 b(ob)5 b(ject)30
b(iden)m(ti\014ers.)d(In)h(con)m(trast,)i(the)f(parameters)g
Fg(e1,e2,...,en)d Fh(are)j(o)s(cl)f(ex-)382 4552 y(pressions.)382
4795 y Ff(2.2)112 b(Random)38 b(v)-6 b(alues)382 4966
y Fh(The)42 b(generator)h(can)g(b)s(e)f(started)g(with)f(a)i(giv)m(en)g
(in)m(teger)f(to)h(de\014ne)f(a)h(stream)f(of)382 5079
y(pseudorandom)32 b(n)m(um)m(b)s(ers)g(\(the)i(-r)f(option\).)h(These)f
(pseudorandom)f(n)m(um)m(b)s(ers)g(are)382 5192 y(used)d(to)j(ev)-5
b(aluate)31 b(instructions:)382 5403 y Fg(-)47 b(Any\()g(seq:)g
(Sequence\(T\))d(\):)k(T)1854 5652 y Fh(2)p eop
%%Page: 3 3
3 2 bop 382 548 a Fh(Returns)29 b(a)i(pseudorandom)e(elemen)m(t)i(from)
f(seq.)382 661 y Fg(Post:)46 b(seq->includes\(result\))382
849 y(-)h(Sub\()g(seq:)g(Sequence\(T\))d(\):)k(Sequence\(T\))382
980 y Fh(Returns)29 b(a)i(pseudorandom)e(subset)h(of)g(seq.)382
1093 y Fg(Post:)46 b(seq->includesAll\(result\))382 1281
y(-)h(Sub\()g(seq:)g(Sequence\(T\),)d(n:Integer)h(\):)j(Sequence\(T\))
382 1413 y Fh(Returns)29 b(a)i(pseudorandom)e(n-sized)g(subset)h(of)h
(seq.)382 1526 y Fg(Pre:)94 b(0<=n)47 b(and)g(n<=seq->size.)382
1639 y(Post:)f(result->size)f(=)i(n)382 1752 y(Post:)f
(seq->includesAll\(result\))382 2064 y Ff(2.3)112 b(Multiple)36
b(transitions)382 2236 y Fh(The)28 b(purp)s(ose)f(of)h(an)h
(instruction)d(describ)s(ed)h(as)h(y)m(et)i(is)d(to)j(c)m(hange)f(a)g
(giv)m(en)g(con\014gu-)382 2349 y(ration.)j(A)h Fe(c)-5
b(on\014gur)g(ation)34 b Fh(is)d(a)i(trip)s(el:)e(The)g(\014rst)h
(elemen)m(t)h(is)e(the)i(snapshot,)f(whic)m(h)382 2462
y(can)e(b)s(e)g(mo)s(di\014ed)d(using)i(the)h(instructions)e(listed)h
(in)f(section)i(2.1.)i(The)d(second)h(ele-)382 2575 y(men)m(t)39
b(is)e(the)i(curren)m(t)f(assignmen)m(t)g(of)h(the)f(v)-5
b(ariables.)38 b(The)g(third)e(elemen)m(t)j(is)e(the)382
2688 y(curren)m(t)30 b(state)i(of)e(the)h(pseudo)e(random)h(n)m(um)m(b)
s(er)f(stream)i(\(Section)f(2.2\).)523 2800 y(The)24
b(instructions)f(listed)g(as)i(y)m(et)h(are)f(limited)e(to)i(their)f
(expressiv)m(eness:)h(A)g(con\014-)382 2913 y(guration)f(has)g(only)f
Fe(one)i Fh(transition)e(to)i Fe(one)g Fh(follo)m(wing)d
(con\014guration.)i(The)g(purp)s(ose)382 3026 y(of)30
b(ASSL)f(is)h(to)h(de\014ne)e(a)i(snapshot)e(space,)i(that)g(means)f(a)
h(sequence)g(of)f(snapshots,)382 3139 y(whic)m(h)f(can)i(b)s(e)e(c)m
(hec)m(k)m(ed)k(for)d(v)-5 b(alidit)m(y)29 b(b)m(y)h(the)g(generator.)
523 3252 y(The)25 b(instructions)f(listed)h(b)s(elo)m(w)g
(\(try-instructions\))f(will)g(transfer)h(a)h(giv)m(en)g(con-)382
3365 y(\014guration)i(to)i(one)f(or)g(more)g(follo)m(wing)f
(con\014gurations.)g(That)h(means)g(a)h(con\014gura-)382
3478 y(tion)k(can)g(ha)m(v)m(e)i(more)f(than)f(one)g(transition.)g(If)g
(a)g(pro)s(cedure)g(has)g(more)g(than)g(one)382 3591
y(try-instruction,)e(the)j(pro)s(cedure)e(describ)s(es)f(a)i
(con\014guration)g(tree.)h(The)e(lea)m(v)m(es)i(of)382
3704 y(the)j(tree)h(are)f(those)h(con\014gurations,)e(whose)h
(snapshots)f(will)e(b)s(e)j(c)m(hec)m(k)m(ed)i(b)m(y)d(the)382
3817 y(generator.)382 4005 y Fg(-)47 b(Try\()g(seq:)g(Sequence\(T\))d
(\):)k(T)382 4136 y Fh(Returns)34 b(the)h(elemen)m(ts)h(of)f(seq)g
(subsequen)m(tly)-8 b(.)35 b(If)f(the)i(v)-5 b(alue)34
b(is)g(assigned)h(to)h(a)f(v)-5 b(a-)382 4249 y(riable)42
b(or)i(an)g(attribute)f(of)h(an)g(ob)5 b(ject,)45 b(this)e(instruction)
f(pro)s(duces)g Fg(seq->size)382 4362 y Fh(con\014gurations.)382
4475 y Fg(Post:)k(seq->includes\(result\))382 4663 y(-)h
(Try\(A:Association,s1:Seque)o(nce)o(\(T1\))o(,...)o(,sn)o(:Seq)o(uenc)
o(e\(T)o(n\))382 4839 y(Let)g(links)f(be)h(A.link->select\()d(l)j(|)
1098 4951 y(s1->includes\(l.linkEnd->)o(at\()o(1\)\))41
b(and)1098 5064 y(s2->includes\(l.linkEnd->)o(at\()o(2\)\))g(and)1098
5177 y(...)1098 5290 y(sn->includes\(l.linkEnd->)o(at\()o(n\)\))1002
5403 y(\))1854 5652 y Fh(3)p eop
%%Page: 4 4
4 3 bop 523 548 a Fh(A)m(t)30 b(\014rst)e(ev)m(ery)h(link)e(in)g
Fg(links)g Fh(is)h(remo)m(v)m(ed)i(from)e(the)h(snapshot)f(\(cleaning)g
(up\).)382 661 y(Starting)34 b(from)h(this)e(cleaned)i(snapshot,)g(2)
1924 628 y Fd(l)q(ink)r(s)p Fc(\000)p Fd(>siz)s(e)2358
661 y Fh(con\014gurations)f(are)h(pro)s(du-)382 774 y(ced:)h(Eac)m(h)g
(con\014guration)e(has)h(another)h(com)m(bination)e(of)i(the)f(links)e
(con)m(tained)j(in)382 887 y Fg(links)p Fh(.)29 b(That)h(means)f(ev)m
(ery)i(link)d(com)m(bination)h(will)f(b)s(e)h(created.)i(The)f
(instruction)382 1000 y(do)s(es)g(not)h(e\013ect)g(links)e(not)h
(included)e(in)h Fg(links.)382 1286 y Fj(Literatur)382
1489 y Fg([OMG99])43 b Fb(OMG)101 b(-)g(Object)e(Mana)n(gement)f(Gr)n
(oup)p Fg(:)47 b Fa(OMG)g(-)h(Unified)761 1602 y(Modeling)e(Language)g
(Specification)p Fg(,)d(1999.)222 b(Version)46 b(1.3,)761
1715 y(http://www.rational.com/um)o(l/re)o(sou)o(rces)o(/doc)o(ume)o
(ntat)o(ion.)382 1902 y([RG98])91 b Fb(Richters,)d(Mark)47
b Fg(und)g Fb(Mar)-6 b(tin)88 b(Gogolla)p Fg(:)47 b Fa(On)g
(Formalizing)761 2015 y(the)g(UML)g(Object)f(Constraint)f(Language)h
(OCL)p Fg(.)323 b(In:)47 b Fb(Ling,)761 2128 y(Tok)31
b(W)-11 b(ang)p Fg(,)47 b Fb(Sudha)29 b(Ram)47 b Fg(und)g
Fb(Mong)30 b(Li)h(Lee)48 b Fg(\(Herausgeber\):)761 2241
y Fa(Proc.)f(17th)f(Int.)h(Conf.)f(Conceptual)f(Modeling)h(\(ER'98\))p
Fg(,)761 2354 y(Band)h(1507)g(der)g(Reihe)f Fa(Lecture)g(Notes)g(in)h
(Computer)f(Science)p Fg(,)761 2467 y(Seiten)h(449--464.)e(Springer,)g
(Berlin,)h(1998.)1854 5652 y Fh(4)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF