iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://unpaywall.org/10.1109/NCA.2004.1347769
%PDF-1.3 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (1 Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (2 IOA Language and Toolkit) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (2.1 Input/Output Automata) endobj 17 0 obj << /S /GoTo /D (subsubsection.2.1.1) >> endobj 20 0 obj (2.1.1 Execution of I/O Automata) endobj 21 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 24 0 obj (2.2 IOA Language) endobj 25 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 28 0 obj (2.3 Example: LCR Leader Election) endobj 29 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 32 0 obj (2.4 IOA Toolkit) endobj 33 0 obj << /S /GoTo /D (section.3) >> endobj 36 0 obj (3 Structuring the Design) endobj 37 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 40 0 obj (3.1 Imperative IOA programs) endobj 41 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 44 0 obj (3.2 Node-Channel Form) endobj 45 0 obj << /S /GoTo /D (subsubsection.3.2.1) >> endobj 48 0 obj (3.2.1 Abstract Channels) endobj 49 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 52 0 obj (3.3 Console Interface) endobj 53 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 56 0 obj (3.4 Composition) endobj 57 0 obj << /S /GoTo /D (section.4) >> endobj 60 0 obj (4 Resolving Nondeterminism) endobj 61 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 64 0 obj (4.1 Scheduling) endobj 65 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 68 0 obj (4.2 Choosing) endobj 69 0 obj << /S /GoTo /D (section.5) >> endobj 72 0 obj (5 Translating IOA into Java) endobj 73 0 obj << /S /GoTo /D (subsection.5.1) >> endobj 76 0 obj (5.1 Translating State) endobj 77 0 obj << /S /GoTo /D (subsection.5.2) >> endobj 80 0 obj (5.2 Translating Datatypes) endobj 81 0 obj << /S /GoTo /D (subsection.5.3) >> endobj 84 0 obj (5.3 Translating Schedules) endobj 85 0 obj << /S /GoTo /D (subsection.5.4) >> endobj 88 0 obj (5.4 Translating Transitions) endobj 89 0 obj << /S /GoTo /D (subsubsection.5.4.1) >> endobj 92 0 obj (5.4.1 Translating MPI Transitions) endobj 93 0 obj << /S /GoTo /D (subsubsection.5.4.2) >> endobj 96 0 obj (5.4.2 Translating Buffer Transitions) endobj 97 0 obj << /S /GoTo /D (section.6) >> endobj 100 0 obj (6 Translation Correctness) endobj 101 0 obj << /S /GoTo /D (subsection.6.1) >> endobj 104 0 obj (6.1 MPI) endobj 105 0 obj << /S /GoTo /D (subsection.6.2) >> endobj 108 0 obj (6.2 MacroSystemAut) endobj 109 0 obj << /S /GoTo /D (subsection.6.3) >> endobj 112 0 obj (6.3 SystemAut) endobj 113 0 obj << /S /GoTo /D (subsubsection.6.3.1) >> endobj 116 0 obj (6.3.1 Deriving a micro-node from the macro-node) endobj 117 0 obj << /S /GoTo /D (subsubsection.6.3.2) >> endobj 120 0 obj (6.3.2 Locking the delay queue) endobj 121 0 obj << /S /GoTo /D (subsection.6.4) >> endobj 124 0 obj (6.4 Correctness Theorem) endobj 125 0 obj << /S /GoTo /D (section.7) >> endobj 128 0 obj (7 Related Work) endobj 129 0 obj << /S /GoTo /D [130 0 R /Fit ] >> endobj 132 0 obj << /Length 3717 /Filter /FlateDecode >> stream xڕZKsБhl\vJ[V֕(aXdקRfzzCΡ? }DwQ(O ><= Se}{:Wu^l>ogj(q@ou{jyiۺɦm?jקO ui+<ݽ3}jr̰=OdtϚ|놛5Oېhre{23Ov>x;w^I \@/irNn~s/?483.xBwcyER>c=o$]-x6%Mj%'aS5M1*`wpd1}1 Zcoii.za1fk*vO6\&2}+ " p5&c y8zX/CQ(. uK }X7۔8tG4\Ϧr DC'&{t{tbD]!~j53DtP>RIJR,=˒ȀHg({Q2s%avSeq5MLΒ{BX--% ڟ:HfcNr0*rcʺm}14 ð=4VRxZjCbۦGoPI4omj?9Cy> }Tᆌۧ=n$^@-2q`l"xJI`բ'55~8/HO>~& @p[p~|3.wpԘ{-YWlAId֑!#b~Εd?ܻN:9g opNP`[OQ}qʾ7kA(T&=YNHVGP@X8YI^kG-M# TDők ]T%0H<@<]up^.qe'fUਕz '<6"D)n]I!cˣzZd/۞a-t^VE C-=q 5![QP{{z>q"QFe2cw{êkN`h녁ORb'CԡHGo9 sPuvhՃ*!w|k(}^ KhB7w@kqYV;֊-\>+!AGn_ήKNڱCz )29QMWΪt,G{1dVFDnF^Z`HA j[-&vd)k޵o߃vfG9y5`̿Ǫӎ|ͻ7~7E9\ԅUlja|G+~ֺWA_%k˗9'op1?UJ%LnS"Jv1ϣz9RaVfzop_k.EkMkQxEٲ"j pt[@"ځj@bcW}|B:/쥝XTrP*+VV)sbv~M3&JRv*Sj=oqO).1Lr$LUyz b͸rIRI뜷}iendstream endobj 130 0 obj << /Type /Page /Contents 132 0 R /Resources 131 0 R /MediaBox [0 0 612 792] /Parent 157 0 R /Annots [ 144 0 R 145 0 R 146 0 R 147 0 R 148 0 R 149 0 R 150 0 R 151 0 R 152 0 R 153 0 R 154 0 R 155 0 R 156 0 R ] >> endobj 144 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [132.42 211.371 144.375 220.298] /Subtype /Link /A << /S /GoTo /D (cite.LynchT87) >> >> endobj 145 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [149.5 211.511 161.455 220.298] /Subtype /Link /A << /S /GoTo /D (cite.LynchT89) >> >> endobj 146 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [490.721 570.041 497.695 579.047] /Subtype /Link /A << /S /GoTo /D (cite.SimulatorManual-tr) >> >> endobj 147 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [501.808 570.26 508.782 579.047] /Subtype /Link /A << /S /GoTo /D (cite.Chefter98) >> >> endobj 148 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [512.895 570.186 524.85 579.047] /Subtype /Link /A << /S /GoTo /D (cite.Ramirez) >> >> endobj 149 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [528.963 570.121 535.937 579.047] /Subtype /Link /A << /S /GoTo /D (cite.Dean) >> >> endobj 150 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [540.05 570.121 552.006 579.047] /Subtype /Link /A << /S /GoTo /D (cite.Win) >> >> endobj 151 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [316.254 558.166 328.209 567.092] /Subtype /Link /A << /S /GoTo /D (cite.Tsai) >> >> endobj 152 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [331.198 558.166 343.153 567.092] /Subtype /Link /A << /S /GoTo /D (cite.Solovey03) >> >> endobj 153 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [521.881 558.166 533.836 567.092] /Subtype /Link /A << /S /GoTo /D (cite.IOA-TR) >> >> endobj 154 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [536.825 558.305 543.799 567.092] /Subtype /Link /A << /S /GoTo /D (cite.Bogdanov) >> >> endobj 155 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [441.032 370.87 452.987 379.731] /Subtype /Link /A << /S /GoTo /D (cite.mpi-forum:final) >> >> endobj 156 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [456.939 370.944 468.894 379.731] /Subtype /Link /A << /S /GoTo /D (cite.mpiJava) >> >> endobj 133 0 obj << /D [130 0 R /XYZ 58.5 720 null] >> endobj 141 0 obj << /D [130 0 R /XYZ 58.5 581.219 null] >> endobj 6 0 obj << /D [130 0 R /XYZ 58.5 288.489 null] >> endobj 131 0 obj << /Font << /F42 135 0 R /F43 137 0 R /F27 140 0 R /F45 143 0 R >> /ProcSet [ /PDF /Text ] >> endobj 173 0 obj << /Length 4878 /Filter /FlateDecode >> stream xڝZK붒@[H='3AE`8,dYݭ,9~*R b!Xo2z =&y:r*u"XEj1z&<٧N%n Ao~lNki~qf(][> nʩpnl擦q&<Q`uL爵(ERIxDZ9h.Ȧgjj7֓~id ɖD ӔY& X`L‚P`)2K=i?>' MCsi lst j^y6"V PM{+Q$z`k'^.4(Xx+ 2һ6H#~A $Mw|ܞs#S} ]HZ(b/9E{Ϡ6( tbQnI6 l斴qHi{xYs%2OXv^gY$3$*JS;ƁrB&ȊDN020gђ1Ǚ0]4'P"c{ ζ\Tr|`\V'bt8] @+/ R}h jު 6ZX-g<F]`O`x J kq)E mʈ?SlE8;bH)wwr-(`,uԺY[EKș3.0l Q(iYP[fqr֒j@Ѓŋ<ξC`7U:X <;։+d 7wSSAIjd&\y[|T5돗qڸk/eQoT/~ Y]UwRtbVv3̟qviSRCiݼ6VM gβK;oPH9L;\GzN6,GF]󾚰&k%پyL⅃3[s@ eF!"r"ߏuX 'QZѲٳ r+ qs?DPO&Rnƹe;"9fjp{Oӄhž襦 F3 %rn~p94GF?5,) :@Oɂ= 5ȹ`30"OU.^]se>kvwMb[ %s$!A++i:ǤOBp/V4R,dqS =Hl XR\h a6T=i_Lt01n'Talyu9YZi2)&m21N*>]9%IV㵑 ySZ E Q4XԠ!_Vj7'ڽ&v [/v&6L{WnF-CpWAeZ~#71 Pp31B:U)Գ~(v-{xD~B ImqP f_h#!2ڙ4¤!z>iR:C$8ۚe^;jE4[~VoX31꟤Ut$5ҖK,fRY.u껷29ϥS&٘/??DzQGӧIqM/!|CHb?~%8x_iHpp/#IfSS8bs4ԌՕ8qYZ=r}N. 'z 2@A?;Ӹu﹧3QP<& li1?d$F^{61Fs' 'FH QE\(]s򽫴N-G&pLG| y(.iV6D:`̆DNF=t@н:u(g*7]3>I0"R鷈H8Re$^7QnxA !(2v[``XC'd\U͂4ꭐjxtTd$y :̀YA@Sd.k=8uk83ih#'WFRL~O'$js}>փ)#Tv4\麝"-MReΈPSܰ0sP>u/Qm-S}:PE6$4f}oq:% %A'A_x3y~̋L3L' 'zi@n ]g/n6 JpFip&Y S0U a朵D#tE툌-݋IiyFkIs/ vz裒ߪ\ V5.z6.Q*i $Svb q,GMsHإv@u6Vo-ݜoПC&u |l?D*nIUioBh\~gwr#vW\6օbeKvkNuFx C9Ð*%X4Ofan 3x<@lLK8"hb`B/A<vL)g~@acNShԸ[ߏ~ &%i- 6d"[=p`&tnIDfks8ܝ|s]gř ܭp2]PAXo'Q5AL@D M/l ͤjς'#aa=N k(r϶UCOդu5 $ؕ "Ͳ8K_\pw1k\$i4Y41nNb&Xͯk՚M-^fmb_R6{ckɒ IkY;0Gi%5ddiw%Kq^zw^ yG_f L._ho;W;D!A2IL[1Õp]Sb@]\{g4/y2>Ls-lb Qs4gDrʮ;|XsԀ^p&mA#mt|M[/Д=uKbdݾ(vz>H_65Q9?4>[ du҅˗ߩ߈d{ +e !ҵQb{Q>7^dr焝:$j&RZ 8{W|1C-Eޠ$nS){ ^n4?}v;|%I"}D<ʭ> endobj 175 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [259.246 595.707 265.224 608.228] /Subtype /Link /A << /S /GoTo /D (Hfootnote.1) >> >> endobj 185 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [183.669 114.42 195.625 123.207] /Subtype /Link /A << /S /GoTo /D (cite.Lynch-book) >> >> endobj 187 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [407.275 685.201 419.23 694.127] /Subtype /Link /A << /S /GoTo /D (cite.GLTV03) >> >> endobj 188 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [511.489 140.535 523.444 149.321] /Subtype /Link /A << /S /GoTo /D (cite.LeLann77) >> >> endobj 189 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [526.433 140.395 533.407 149.321] /Subtype /Link /A << /S /GoTo /D (cite.ChangR79) >> >> endobj 190 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [357.439 125.668 364.413 136.611] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 174 0 obj << /D [172 0 R /XYZ 58.5 720 null] >> endobj 10 0 obj << /D [172 0 R /XYZ 58.5 720 null] >> endobj 14 0 obj << /D [172 0 R /XYZ 58.5 695.903 null] >> endobj 18 0 obj << /D [172 0 R /XYZ 58.5 548.281 null] >> endobj 186 0 obj << /D [172 0 R /XYZ 72.673 93.653 null] >> endobj 22 0 obj << /D [172 0 R /XYZ 317.25 720 null] >> endobj 26 0 obj << /D [172 0 R /XYZ 317.25 272.423 null] >> endobj 171 0 obj << /Font << /F42 135 0 R /F43 137 0 R /F45 143 0 R /F11 178 0 R /F8 181 0 R /F13 184 0 R /F62 192 0 R >> /ProcSet [ /PDF /Text ] >> endobj 200 0 obj << /Length 4452 /Filter /FlateDecode >> stream x\o8߮|]pf{;;LmeIlVHꦺ7w80-b=~E/p]h./Wۋ.޽g v V^~:+xU]n/ԅPx{ 0{yEQ )oߔ֗wT;;w.cNH)Y{zm[o~d5W7WT~!8IsS̊JUVlPqOEKŒ=5Bʊ A$Xp@JG "ZX_k\v\2 /8 Xeɐq\TnThT䆃w6 qftp$s7VuX?\WS}{0()33\{6mPК2j*B8wyUkNY95R%CΆZäKZMɟXtD3'UQ^a!8fÒݘe) ^3/HJ+CyV)e@#2?BQZbV(K>Qtat`> 0*,?xTیV'P/:d_fWZ)`3Y {;Pl_QCi6wo1L %@~mᕋ&`#D,d[ڈtF㉚B g0yQ{t 0Ai7+Z|]>?1c?a%C%l6 _[f,,J.&ϨJT' OP 7Eؐ8J`@@;Yt]_Ol=1t bt}Rq9LA5j@4up?qNM&@t)C5{\Th, m z 'BDaM}JZBi~~hPlYz= QӾnWh 2SPj@Ofhg27|_ńdvKnǺv8h \wxGЫE'Lxxexss:Q #M :,V>Ed#Yt1? "å9ZQN:d@zSo7vG¸h +w_4`) 5OPf%"a bu~>Mi` L|MNea:Ƅ_Z(XTdL*"6zX(ڪ|'L-%@%sG@]'jp(̜)A[tklsދb4lxVOa.azVò Ta}FV%xP%PkOmC/vWN\o )Ts\7h]'Oo Ykn)k|żb~&`9Z-_uš5ikTh )z+|-#$${`_2 :NIxM%va%v:%LuhVrh{z,#3w h06pNdaq.TJGDIAʨ{"2.u 'r1F_P WFyX3\oj큲i'Ind<7ą3*w<@ᡇ"j/_`SsVA5n۹ZH~Gm :XT%t''*"oh`7\ xnȸzUu~eDhq^! Pr'ש(Sz-RO< eطoaj䄚ZT{䐕"[5..Q=UdU. nWԵnKȷb,w៩IaA);|siƓi2sjSYrGa8b7TB3%Fǧ~nv cגYtfI+ Hw6TB:[j: eꊰ? !|L IkPf~y7P7¥?8ByO64mo2 B =K*:!"s:ĻPlL%V좳vw_b? e/`B|&ܸEs* oѸ\|W8S^᪘kܩ f0@}֮s޸;oYn) H v<8ʟB[ww;߸uZ.*$&ot2Ki299q嘖4=/ AigҔL6xB9)g۝;ondCBunDf^`0DZ-|=7|{TS~dBIi.G&)x&ڨS RLYȾKC̿\*ţghz-j-Osi\V?139ahz?g s<|t9 Yn1r\[~ חyDbs9Ý\kZ9;-nau7goi?5(U-0fV/i%|0c&*';iܣ3Kpsbgޟ/MM1|Sdmʚ0DN̈/WK Pqx֐f'hЬ(_Lح}ϩf 1I?:~v=3BC"Cg4E}g($ /J:= +~ĤX5cW Bu0/EPv6-3;p gih:#}%a96vT4:/Pomk{7LW|Gj smݕeK,ۓU#MI[CfK!"/snSvXlƚK5Uqc"upmþK+^fbw.cs[kn'lq9-I$s5)sg>ҧa $^T\ >ܜLuȸ+jCqUlK=0n{*,?v5eUiQjs&/i)79WD[.znGO\YfϦ7V̞MNjޞxL4g`$%傻{? jhRW:0sdp62 p'u`RѨ1A;]njYK)kA `%;?(+~r9+} j)ޝ>=9t|q-7pje W .Z'@J#b |?Hr hT̜._;#Ya9#5 UɢzqBw ~+cw)9a zfTDUynf 8mq[Ħصendstream endobj 199 0 obj << /Type /Page /Contents 200 0 R /Resources 198 0 R /MediaBox [0 0 612 792] /Parent 157 0 R /Annots [ 208 0 R 209 0 R ] >> endobj 208 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [98.113 342.348 105.087 353.292] /Subtype /Link /A << /S /GoTo /D (figure.2) >> >> endobj 209 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [72.575 89.802 79.549 100.746] /Subtype /Link /A << /S /GoTo /D (figure.3) >> >> endobj 201 0 obj << /D [199 0 R /XYZ 58.5 720 null] >> endobj 197 0 obj << /D [199 0 R /XYZ 125.004 562.225 null] >> endobj 213 0 obj << /D [199 0 R /XYZ 401.607 375.69 null] >> endobj 214 0 obj << /D [199 0 R /XYZ 366.564 257.684 null] >> endobj 198 0 obj << /Font << /F42 135 0 R /F62 192 0 R /F52 204 0 R /F54 207 0 R /F43 137 0 R /F27 140 0 R /F8 181 0 R /F53 212 0 R >> /ProcSet [ /PDF /Text ] >> endobj 218 0 obj << /Length 4348 /Filter /FlateDecode >> stream xڥZɒFW6&o9lyl@z~ef 'bVeŪooRs0ozd^y|~oNF6<缹MGLYW@? ~ysqR⧎{ATw.Jp/Oc?,IR9 @ )ZʲZm5\u;aAU&`mٛ٘FeDeb El VeP+ǶǨ$iH!B^@܍M#OD\+n]FA|?0P_ȃTV`m)2Q+b&^8F${s>$!tAeJQgNYII.?VMs~ff1femVQ,=Qu'U9~@Iwad̃Yi/Y$`Uv8ep!3"W JXJ*k|_u I;.U&̀Q%E(gz}zUSϟ0u.gVx9r{jf6٬!3E&L("< \lCKЍ$kX/pϓ)ń0@[S'[ UKh?\R4zUv5\a/+٩Y CЧ> j2!|{=Uc..bt,YMw;;űxOT+ G)-?rz,[;V͚UTgI']@+H): ~W$\3OQqBHBE 4.DT^(mz"OdȚAHJ\C )j-bh3[LW=tm폴ʃPN,۲͏cpB-pKGlTJJ2zl3a^kĚ),;w" #D/EfkA$E=\>[C"EW%20]pdO|&EJLR&I4F@HϤiEBOʹ7h6utIo>W}%^W4!T Z (͡}j_8vmSg0gla ݬd DU{pWk;綷kՎ]qiYP \,+E6ԇJX"w+=f !'~ؾf~:F*[gS5F{*ɜGQaгot0nn/P{(YCLFy J\#11J@  cYĹlvזBCRt a/T # sOu(N|_Eq,2Yutlb^_9 XS"_ޕV1e 4b#P\sz_נk3e&3 '?P,0 TakvͽNrJT %,tqY^Wmg_/h`lH@ġ"]`bIFA)yC_tY{r)F~ga#'ňv;RdX9 fdm([ L7 d$QATsEŒ(]Y#q ;P]['pc_H({PИK|fu/:s>.W% %ȉ,}I\MNs^\NcC~UT.@Bӿ޹R~ *OH _+ TLhnUR୮)ExOz' @/*$NND i=:\omk+g*t?;XcڅY}Qpv v[jW"$>ATXz,-Z{£K}}E=PB] 2*]^5Wr.35~9mm+ -CN"Ca#z?mY'M@jMw&x&q4Aoxp繤!6T\?6y(Xw=M>4iIa'f^reױջ7[5wscmmukΛ H]݋PȁLY Π I)Iv&.b5^*SslPghG{Ƒ}g}`aG]f\oykm"ƺ}v[EW 3[VrGnB7ģzӋv$A`V0 Aȳ2m7Dtp."a ! |e1 D8I\@"]#!VR;hhvx9n-vjZf6lE롐% e/1o+dX[(`V$/[)ubvrztM1B%rx,K~ c*ڭa_؇˜c%Z6Ujn"u<603$$~va?KC+\&s`K#ҵAp dlԈ ŽAif;>L"*kzΈ8?-GIIUBqj'WصǚE4ؓ!u \7~skքQ+$p͏W%v^C^FdPP |94QarNSkv"yNFQgUF(r'hJ$ <# ѲR(xDg#xTn9 ^WMrHSY +"ĦJ䟀,E]oqlrmt &_k#oK 2LcUEu E7lM_P˦[ERaS̞wsx},)v}jT~+^?bX(a©$WrT䄝tvAiK,9>٭ń:lŗc@'YO|f( c{%B7xx8lT^U!֏9bzB;e!uiW<۾pc^ׅxgnj %?5>7M\? .͙KW/{nO(6۹Y\YT{tX`(mIEF9A.pd!˵@x5g W^7~)\~1D;"gKP5LDӉrk~\ɁnRB ćgT!jyDҎӋsi+lw `u^TW~ Ve 3Br_'vM:KYV/96]|S$4;};_Ӝi*$ YLnVrD/+w+ /~$bFA <1-<_®ZDw?jetSZBx5T"U|Jl$89"?Ļ G}AY޹FKPVww*25^(Yrզ\駉& 'rQr{kk4l\"Myh\4 Sp^)3˧@—oNۛZTC5jb|VNG>329(IY6Ɗ'D~hS&p߯X0Thz)s Mig-& S75l翾)R)UmL?KELRO l%\U8D('qD fMoA"ȣ4J8s<~*" ^6Z\hLfB'k^G [˯endstream endobj 217 0 obj << /Type /Page /Contents 218 0 R /Resources 216 0 R /MediaBox [0 0 612 792] /Parent 157 0 R /Annots [ 220 0 R 222 0 R 223 0 R 227 0 R 228 0 R ] >> endobj 215 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [0 0 296 59] /Resources << /ProcSet [ /PDF /Text ] /ExtGState << /R4 229 0 R >> /Font << /R9 230 0 R >> >> /Length 231 0 R /Filter /FlateDecode >> stream xKO1)|l9l^Ƕ*DH=#Tq"hh~Z{@!g5A˿nxmX{`;ٿA1#Vpjֲ f0F23'Q{' B9e+I⑖쪯Lyzi. `2z{Zn}J3h5-Jй}p \I#?oJTnjЎ /Ovx06zy`q 5q)Uss1Sqw9ETGڜq9E|iM)LHL9)VOss-Vqws )I.tfyaumEږgz2*+'ʪ8緢H*4 2Ҷ4SVOVV܉S$ź0R(dLdA/x> endobj 230 0 obj << /Subtype /Type1 /BaseFont /Times#2DRoman /Type /Font /Name /R9 >> endobj 231 0 obj 722 endobj 220 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [259.557 284.894 266.531 293.82] /Subtype /Link /A << /S /GoTo /D (cite.CheiShvar-dimacs) >> >> endobj 222 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [433.443 571.814 447.888 582.758] /Subtype /Link /A << /S /GoTo /D (subsection.2.2) >> >> endobj 223 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [425.832 415.697 432.806 426.641] /Subtype /Link /A << /S /GoTo /D (section.4) >> >> endobj 227 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [495.191 198.099 502.165 209.042] /Subtype /Link /A << /S /GoTo /D (figure.1) >> >> endobj 228 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [331.949 89.802 338.923 100.746] /Subtype /Link /A << /S /GoTo /D (figure.4) >> >> endobj 219 0 obj << /D [217 0 R /XYZ 58.5 720 null] >> endobj 30 0 obj << /D [217 0 R /XYZ 58.5 720 null] >> endobj 34 0 obj << /D [217 0 R /XYZ 58.5 482.491 null] >> endobj 221 0 obj << /D [217 0 R /XYZ 356.121 644.066 null] >> endobj 38 0 obj << /D [217 0 R /XYZ 317.25 608.527 null] >> endobj 42 0 obj << /D [217 0 R /XYZ 317.25 401.214 null] >> endobj 46 0 obj << /D [217 0 R /XYZ 317.25 283.481 null] >> endobj 216 0 obj << /Font << /F42 135 0 R /F43 137 0 R /F45 143 0 R /F11 178 0 R /F7 226 0 R /F62 192 0 R /F8 181 0 R >> /XObject << /Im1 215 0 R >> /ProcSet [ /PDF /Text ] >> endobj 236 0 obj << /Length 4041 /Filter /FlateDecode >> stream xn_12aDK6mPM6f ٣.~}ύ4#Ab!yHN?RX|᣿;\|d YkL+Iz+-ighE1δ MB#uZ~(ns3I2*){{wwaTxw}W=N}y7~Eo;$i|ہtTX9vS a,杚Ug˭*PovjD6v,(54/h(9q|;T&Tj>vTicu=X[]1R"UƧk{0^嵎<l%Pr|O<a;\n>U@_ӪI;m4uӚ93'-p*Z56VqȨ4 eվ,J2#4eCbǪՊm6:cAfFI|Fc٪}1jKWW+t5P[Fu"tPS A4ߘ' jWi 7xR=ԻWff_s/?OU_|oؿȪ&NDs1l87βk`0R/yyА?3O}wrc3Tp&HDrVU ,^6D5f^=Z6`v9[HJ/hvzӾ+* l0Dڗ"sG0Tm>RB $V'DeiR.0GbyR QNNC,{b_߼~MsY2.UlxG1-(EGw" 4Ύ!(CCgj-"mh)G)$44ZhGJQWmQ'$ШʸmKV l9\K Hd2Mdjp&>*Ņe@m0HeXg72NU/X Iga ḢI@xe e^AgՖ[ f6AA3O3oA p#aY"M1qIcXI(ٜ ffGs2EE#9 ᳡m <xa'opҍV TRp e?\t^c)hlK)*v/Tg:[^N9awSy̛<lAGL:on`F ߃z @hᣌz[ji\G6QlW$s4Oo(a kk 3n?7Q(_%y l⫈y'&_/KJ8((3߄[Q#f 6kkQ1@d/g?PSMB]}iePemQCw=A:6VH 4`Ts^V-|>!a &{@3a? tw^=f[U ; AN_ !& ɪsv Pb9eBg!+e[Rf!r$d/^9@'XW()~0~SDd]l I~f 6$EF4* q4TqmbdFИԴ>5WobLb;KaVƅJ*c^mS?P8):vTAp*6~!*tk"(G1n_w xŅ Sx ڼpƋuhDz^3Hq##Db}*|Z0ɏpSмWU2 oKAW]bj00]D;8)9X#QBBi!Ƴd _kc-[}O\Ks/ZKFZjeOSAĥ{//R$LS|x,2D,|zptw @KE@oФ'Uű'f[Ӡ44滩 Rb)İS%HſRm臫OEXqABjJ%ʈ/*-8OUE5׬n%s s9ݾƘp*@fZyF32:Kم50l\`)r(LgWvJ:Toh7|Ǽ\ /f1Ӎ- xӂ@@k`K٥JtEJ5B\>woZ5cev T%+XbnzP)|[6~EQظFuQҳQ¯5aJ*({B> endobj 233 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [0 0 329 95] /Resources << /ProcSet [ /PDF /Text ] /ExtGState << /R4 243 0 R >> /Font << /R9 244 0 R >> >> /Length 245 0 R /Filter /FlateDecode >> stream xXKo6W7cSC&Y^? Ӌ8N;C)ш Ƴ3,z^GL$spɌL:ΞIφA3r~\=[t;%Ddfa0t~yy0}svBx8)@OY4N_:3i%^f.ʢS.@G9Sbhe<.Zoctou_,V# #_.d["3e@rE߸"+\Y]1M [ӳ>YMfסa  Wxm W& ‰t0'1I3Vb"sSokAiae.!R2hJ R րlzƐY68(`9"״3.eu^К#< +s^yWppvRFw+bl zCb@UDbҾ敂@ʂz)5'JB7 8?RpD"c:Yr e@rE "TtId_w ة=V@QWbf`Ow燗BW>+r OkE Lvew뷧5&3A}=UQJ7I:> endobj 244 0 obj << /Subtype /Type1 /BaseFont /Times#2DRoman /Type /Font /Name /R9 >> endobj 245 0 obj 1174 endobj 239 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [395.804 694.929 402.778 705.873] /Subtype /Link /A << /S /GoTo /D (figure.5) >> >> endobj 240 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [485.409 696.947 497.365 705.873] /Subtype /Link /A << /S /GoTo /D (cite.Composer-TR) >> >> endobj 242 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [466.105 442.527 473.079 453.47] /Subtype /Link /A << /S /GoTo /D (figure.6) >> >> endobj 237 0 obj << /D [235 0 R /XYZ 58.5 720 null] >> endobj 238 0 obj << /D [235 0 R /XYZ 96.325 623.139 null] >> endobj 50 0 obj << /D [235 0 R /XYZ 58.5 599.597 null] >> endobj 54 0 obj << /D [235 0 R /XYZ 58.5 129.992 null] >> endobj 241 0 obj << /D [235 0 R /XYZ 357.483 485.638 null] >> endobj 58 0 obj << /D [235 0 R /XYZ 317.25 345.92 null] >> endobj 62 0 obj << /D [235 0 R /XYZ 317.25 234.989 null] >> endobj 234 0 obj << /Font << /F43 137 0 R /F42 135 0 R /F45 143 0 R /F62 192 0 R /F54 207 0 R /F53 212 0 R >> /XObject << /Im2 233 0 R >> /ProcSet [ /PDF /Text ] >> endobj 249 0 obj << /Length 4568 /Filter /FlateDecode >> stream xڥ[Y~ؼ ټAP#Z pI !9ayS_U5!G2ZvUuww?.L.\_:i=p}/U;^N Z|K۝XgC)~OҦ+jS5qꬨ_?z!O>um>c8R(_/Ԡ_uYa ؾ\8fMݷs*N9k,Md}~*U?CA^ZdEQQ=5lڢ~:i9Z4%ZU[yQţ.oϗƆ.ʾ:6޸+f=\4bIrPI||b'I=ec_5q#DiW>l bg;gׄA6S6H}Ca$=\H'>zq4MG{QhhB6R:tRdGQ32Y=:d9])iC>MIhʒhX]߱J|GϼLTګmɇL`ocOIo&Ʌx+^$ (0(tUmu9Pi=ygh*i5BvmٕPyJq}4ӎjx A=18g-HYP }A-18;C45Y}:/سߴMQbUSgޏI&&mCˑ%fG1i ݟ}< '^ä&^X/eM'ì{MN\-E ?tc>וH@dJz-;@^J =ݼΨ/bRNJ%DIB'z?X7< cZueDP> UO'WtFbD˚Ȁ UR+X.[IpɈޑwDAi+XM^*ĸV 綨^^ڀǡ%qjU2U(*~GOߴ4&`K`#_bVQs3!$./2AӀT }SW^A[ԀK VKC= {doJL͔MXaʙ.Q_ ňXr!?՞Vtn?@`~C> {*KoqXV~UoD+ /6^X%[K\0@La+B{|h&N~79{Dg_KpDZ;eȷ)^'B!zx~D|]r8Id]U2xYo;-oǦ]vlW) Nу vE#P]v^?߻wW`넱x:-?QtAp~NFI,w]8e#e@#9qJOoXR<~eWƺ:]F s 9jX0ˆyZ>^UP"g8~zw?`90) x:~zxD!p6]5 ~*m9IrR&e[x};; @W>z>*]gMP̦ 3b1q;HnF虅]Jж"ω]+&d;L(BıN=-ܵ*띄&K~fbBްz9v,=ʥNʑBo]wA+k(K8Oc/"z"zhD5~;g{qδ8g Y=Cu͞Tgsdx9s={ɿ;GU: &9HU/X8&̊oAqVShHHJN\mQ /xU֊1U#5c4DPQHEl{a]x -8 G}uV3C#,2 7";sV6j=H{\A9'u dşoN$-r[AV.sPh%[)C7*l=22)$ M%j.*/kt|ٴ*l&[hy9䚯ԲnI1>Y8Ԍx3$>6z>`iAY w읡.{5ѤEg+rO{M%oZ `{NhL¹{7UuUϼAw-M#UTB~FSZ󅤪z_+&vDqYtauZ_LH7-IFbj~xlUboB}$oH ;9׊qQK8[^b^8+)b/l\ FZeֿJ]aw^CPO6oXVZw?rRU-+U٤$SD^1uz¾ՂZ}]FFϪ/R/qqi@av*%kU*k 8mD~[.{FDz(asD2kHds!sV7rz t)L"ńt`!% m݉¯53ֱo3taECjQal* nrSukuq_ܣZ=h {[L5|MƷvq!,oW_.$^\@c wBCT"m}1qGۇ4 kUf{sMo 7'7h ɴ':χ>>x?YP<S9YgUšhaQanzqojTvfvOt-_xt+:.Yfv)9Jml9 .t(VFULHK$ٸd'ϥ`^Ɇ#ȟZ2ht|ܕ)HI]$K}o~Ӓ>52ۈ+bsVa'A~z '~pr-.FoJb3B)F *Sm#;ԘcV?Yh9@^4=U)1M_{8'ܮ쩞@K2vW'XK:G +KNZܺ~A)?1}W>FsIlIDƪyꇎ$6N2)tQbPb[6 9`ڳmv_I^[bO&SCY$Iܑ,-3 A& []pTb4}HA2WQ{w0\Bt`)7j껧Cendstream endobj 248 0 obj << /Type /Page /Contents 249 0 R /Resources 247 0 R /MediaBox [0 0 612 792] /Parent 157 0 R /Annots [ 251 0 R 252 0 R 253 0 R 254 0 R 255 0 R 256 0 R 257 0 R 258 0 R ] >> endobj 251 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [92.086 565.065 104.041 573.927] /Subtype /Link /A << /S /GoTo /D (cite.Ramirez) >> >> endobj 252 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [107.032 565 118.987 573.927] /Subtype /Link /A << /S /GoTo /D (cite.Tsai) >> >> endobj 253 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [233.89 397.189 245.845 406.115] /Subtype /Link /A << /S /GoTo /D (cite.NAD-TR) >> >> endobj 254 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [422.919 452.84 434.874 461.767] /Subtype /Link /A << /S /GoTo /D (cite.GuttagHorning) >> >> endobj 255 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [380.667 283.102 392.622 292.029] /Subtype /Link /A << /S /GoTo /D (cite.Tsai) >> >> endobj 256 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [341.152 103.775 353.107 112.701] /Subtype /Link /A << /S /GoTo /D (cite.Tsai) >> >> endobj 257 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [357.473 103.775 369.429 112.701] /Subtype /Link /A << /S /GoTo /D (cite.Win) >> >> endobj 258 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [394.27 79.864 406.225 88.791] /Subtype /Link /A << /S /GoTo /D (cite.Nigam) >> >> endobj 250 0 obj << /D [248 0 R /XYZ 58.5 720 null] >> endobj 66 0 obj << /D [248 0 R /XYZ 58.5 382.465 null] >> endobj 70 0 obj << /D [248 0 R /XYZ 58.5 178.124 null] >> endobj 74 0 obj << /D [248 0 R /XYZ 317.25 630.453 null] >> endobj 78 0 obj << /D [248 0 R /XYZ 317.25 502.422 null] >> endobj 247 0 obj << /Font << /F43 137 0 R /F45 143 0 R /F62 192 0 R /F42 135 0 R /F52 204 0 R /F54 207 0 R /F53 212 0 R >> /ProcSet [ /PDF /Text ] >> endobj 265 0 obj << /Length 4434 /Filter /FlateDecode >> stream xَ}b5"R͓I58{ZYԖԻ|}ꢎz<ȉ`,RdX7k}> ȘD~&ݯӁ&>?z0(=;.?m/*Ayd-.6[]g8LN)?/"QMq&'W5bpxZb?=Ϣxg+? rحI1o `5Z۟/@ܗEf-6 -ˎq=@j_wSn |_WjaPђ8B(s`{_v*í(ZzЅ<8~ 찓7%6B AUCĂ`Sf](˳ǴSxM<~wîs"'D#<>mm -?mQ\[xL}f>W{@s]ْ#ҥ8r 0o;{,Xv:3@$.o:g2-/5Љɱ&}'<ʼBWz[my!FY'VBSd&p܁Cr+)Y d8QplK;OQ\ꁁ gxvgPet0̎9'i)nm{$w26Iy-}:kN:CӉWk;Иz#mܹ*>J=T[nЦ{_y[?'n=ϴ'/Pk@-ʸӄgK1\:290,9}}5owi1T'uj)J@OL~;:>t s!5XuɇIo҄a7nXb-\ *F~X3ԅsYu4[>[1tTh\ԚDWDVo j&N).}M!jQk qq~I-2 &nRYh<ϩ`cXnC'2@*)Ҁ'Q!cD[~}lǃyAɼ0KY( β:8>CvL_T^p UUije=@Ș'Rg86=+Z*H&Dʬ@"MƱKnF̠6["2"ե!u&.HcU@St8c7F|֚@f7/R[ĵ9}r=@,6 x.a+2j&v7i`w^u*43q9R?ӅLNΦɕIDZ}֖ vF5'h "^ڟM) A#Ċ Hhΐ+RS/_e/ɉIwEsS;ۺ*4+1`dTЮve+Jmj8 wxor`b1Y35'&ޢx-/pisQ'^ˊ};x%`qo?#2T_Hڌ]00Ͻ0ƎәYQ0 #Y͛b+1^ܚ54a8P ^ "F7adnl!();w\xlW1 _Dyo0 ^ |}rՋK ࿡w M%JrؠSFL4p"XaɎ"Ǽg Q>(h?]32[~0BCg&0=U5o0~xEk_ɂ |8<$'c:8\$MJC#ODUcp 0Ǘ@nQw1XрMckfɐ8JkP5mC7IOY48Ft wsv<'Rĉ֕;X$z'~t\`ק?ɒ&qLF:.LOwV .SWעar>&YkSɑiwm M%y ;L".mHO8u`|%4cFprv6Shmfp5:t~_=oyoea?9rbA%Anf@n݆I`mvTB*~>Y69BG`xyl4\!o K?l7QN"5j΄1~e+ը8Jb qp2V{N2z˫ Z-o''Μ7dǷ)Z~uill" AL(:)nfQI8h).(Fq%#0Pp6UĮ F͡yP*P~2`Ԃ/ N r%~,c9]Oі72O+ 4hNvG,[چ-% %m}5}0~;%u3߁Fm2tݏ?]p]_ (Ow:}ԭ>i\ Nzi.-"EG Nwp̽ axt>D][Dy+W9pM$#fwlPFT ei&*صH+H702cNh^ ^\H޽G{mZ!0u;܅lIm FoJ S)."'78Kb/RնɻqO#L Mw?I1lJZgsU'S8mf9ͪd Mvi>'"2:E~+?}~UEn5Le9ӘQFiL0շxa:U)Ǎ*Ʉs=VY+k#-z^D3KZrC*^e$i0|XA¿l#Wk,WCz'Of\t%ٌWV0Rt) ne DDGmlw'3IlIPt"T A3䤒*tuR`rlgWV]&UU q1'_&: \g+ }8j#x'#ZX^ZR Ϊ!:\w Ea -fϿr3e6tZ-aQaf{_R5ڣy3 r8.-/Q}ۣ^:^(oR"cE!L&mSھ誽y /DJ9J㪄PGd}ehDӐ\3՗h53ap~'P"L} ><1l:s`6r: hPd#y\'ka@yG'q7F kv1o@ Ɂ{q{fƱ*Kҍ><,G@)v^!%TU0bbf2  Vf$b7rI\D*pB ^"~P1x?_e> endobj 267 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [170.513 542.162 182.469 551.088] /Subtype /Link /A << /S /GoTo /D (cite.Tsai) >> >> endobj 268 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [335.775 647.108 342.749 658.052] /Subtype /Link /A << /S /GoTo /D (figure.7) >> >> endobj 269 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [360.989 647.108 367.963 658.052] /Subtype /Link /A << /S /GoTo /D (figure.8) >> >> endobj 271 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [474.321 291.084 488.767 302.028] /Subtype /Link /A << /S /GoTo /D (subsection.3.3) >> >> endobj 266 0 obj << /D [264 0 R /XYZ 58.5 720 null] >> endobj 82 0 obj << /D [264 0 R /XYZ 58.5 624.179 null] >> endobj 86 0 obj << /D [264 0 R /XYZ 58.5 481.35 null] >> endobj 90 0 obj << /D [264 0 R /XYZ 58.5 251.646 null] >> endobj 270 0 obj << /D [264 0 R /XYZ 390.364 494.395 null] >> endobj 94 0 obj << /D [264 0 R /XYZ 317.25 315.99 null] >> endobj 272 0 obj << /D [264 0 R /XYZ 389.119 98.499 null] >> endobj 263 0 obj << /Font << /F43 137 0 R /F42 135 0 R /F62 192 0 R /F45 143 0 R >> /ProcSet [ /PDF /Text ] >> endobj 276 0 obj << /Length 4324 /Filter /FlateDecode >> stream x[ݓ۶BR tɌ37Ӈ$PDG"e~z_Ig;qO.pjŸZ,0T%AUyyw/j (VPӍ@oF@*PвUa*áVVXV:.2MNo GʰZ9׻/UIw_WCk7Șu%?_lNh\{&J\S]ך{~MWm7}3n;%[2ͩeتm[}U?pc?mSlt݄H* zfYmMۢDpiۍֶkuйedPXh%N+ ӿ)pm7T)yhS7cB’~(fDZK7X`Z.aqrXڢlt>ZT 2ovC-awz3ISޔ ,[Բ86Y‚ˆV/ 5pv}QfM5}mgiR]/h+1 ?Z[s߃a΍c{Jv8&:Р)+ʛ)y 4=M9w۴裘Vt)}2y@8Կ4:W];bo);& ӱ0O9.E+] iv-2Z/5-Jtm0.daY-PbsՉ%X`0;0Lqw/u0\|'^.ڒH:8rWk/#nx2+@u(ˡC594a!-`aM;{d>V^Q4H綄i(±.O\)9?JL hgm ߾va+o2 ulpfMSYޒ NxM_ԋ*MDq}$!Jtñǀ11gȻ",fn0É2~16\}^;M7 wdIpW -$jڃІ1^p;Y2x9~_4tWp,zmz&N)IR -C#z i3)Aa fE"= -s !5L:߷2k7tOuyh%HQIs4wgHqf Jv7M uVG1X1JqӰHb-鯾 dJAEO^Iߣ D 'YT0>⥱0APlOC=w /"J[:P:/~ur37˧roҟOlv |"n/nlsE[F E@<ou4SN:X:"+3/PMbݛ2(#Ol4 GrD]>kB V^{3@c?l"ņI 9HF:k8hcTd0;%05y4{ v  G8A\2:XIC_ Q:NhТ=zW:@>2 JiJ6bǪzf:NHD\uF%e)Ĭ:KЩ /%֙8,0ѣ@ nQJ@F=v\%U9C:uŃܶg eq hd 6}A C"bNs$4)=fŠ !e,ӜM6rgD $-sA37BG,W4|&9#C4xLlA-kn2y˚ 2s[eo"<$2&q&= hlau;͔TrT$Cu8cxm9J?n ^'QnD(##YOf" 'X ՈLi3xZh>4ЊndBd*\%A"YA3֯30PHe:|N#h%( F5. {}7dAH3}# G;vaM$1Y`|" '.a_8*;X;]/!-rZDD)*vأwʘB_>A N:R7m)m1?JdɖAp;J$sW3h\ M-iK.=U^2P|U:{U(N؁vGD*0=d _01Kyu]e'; uLcn:`FQl5v xIc BI<"(r38 rQ}b#u jaK$q n mN*⯬đ2~GF{<-10BbiK͕\-4q`Mo*L_ɼDUiMTn(=aӑOhA凗|[rPo\B`c.*8fՉN+u( zBcŎ_9W@`8Ebĺ[a@TɎvS~|"v2:!OgSAl:q'b,}#\V^ `"恗yfn)Bl/jx1 BP]wY2\Ճ &Ep: $I> endobj 262 0 obj << /Type /XObject /Subtype /Form /FormType 1 /Matrix [1 0 0 1 0 0] /BBox [0 0 329 136] /Resources << /ProcSet [ /PDF /Text ] /ExtGState << /R4 292 0 R >> /Font << /R9 293 0 R >> >> /Length 294 0 R /Filter /FlateDecode >> stream xXn]7 ߯вVm,h3A}IJ5ɜtDQӫQew>,F}^? Q9IZ}}X/ʰz_ԏqaMRmV ,烲Ww7 b!>-&F\r(jU%ŧbA#&~ǑTW,9MS lRjBIx:wU HT^ Q,9gd#4dE=GFUЌPy B1Ytz'`^uz>xAI#8F(W׎{gH{'D,.Zeo`=t>: t*LE0|CFG:ENEB,TmVζāib*YO#X]mЮIT*Fȇ||F1FtjJlWoXe0'0'*xI R#a o69Jfr·XsϙF5y2YIֵȰ<IJjc\b9;:end#<\{ MN_H1ۼEv}VZ9 Ѯ0DTg!Q+g[͕O%)MB>D˗DXez~zy~ v.,]أ ïsj.1D͍#mnۧ?}~*O߮t&jJT9!}Ɯ7a9GB哱|1pv0vS6wV-ܹ(Cؑ7t}QFdbQ zRVx IRn4g'5nqp}, %:6uYWoLQ-M }(pG+"F5}nFL엎v,+W!/endstream endobj 292 0 obj << /Type /ExtGState /Name /R4 /TR /Identity /OPM 1 /SM 0.02 >> endobj 293 0 obj << /Subtype /Type1 /BaseFont /Times#2DRoman /Type /Font /Name /R9 >> endobj 294 0 obj 1262 endobj 279 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [96.261 441.016 103.235 451.959] /Subtype /Link /A << /S /GoTo /D (figure.9) >> >> endobj 280 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [185.416 441.016 192.389 451.959] /Subtype /Link /A << /S /GoTo /D (theorem.1) >> >> endobj 281 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [211.634 369.285 226.08 380.228] /Subtype /Link /A << /S /GoTo /D (subsection.5.2) >> >> endobj 285 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [170.559 126.42 192.477 136.611] /Subtype /Link /A << /S /GoTo /D (subsubsection.5.4.1) >> >> endobj 289 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [393.808 414.115 408.254 423.041] /Subtype /Link /A << /S /GoTo /D (subsection.4.1) >> >> endobj 290 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [449.673 400.142 461.628 411.086] /Subtype /Link /A << /S /GoTo /D (figure.10) >> >> endobj 277 0 obj << /D [275 0 R /XYZ 58.5 720 null] >> endobj 278 0 obj << /D [275 0 R /XYZ 99.337 593.977 null] >> endobj 98 0 obj << /D [275 0 R /XYZ 58.5 549.097 null] >> endobj 102 0 obj << /D [275 0 R /XYZ 58.5 235.599 null] >> endobj 106 0 obj << /D [275 0 R /XYZ 317.25 643.372 null] >> endobj 291 0 obj << /D [275 0 R /XYZ 369.936 271.578 null] >> endobj 110 0 obj << /D [275 0 R /XYZ 317.25 224.467 null] >> endobj 274 0 obj << /Font << /F43 137 0 R /F42 135 0 R /F67 284 0 R /F62 192 0 R /F10 288 0 R /F11 178 0 R /F54 207 0 R /F52 204 0 R /F45 143 0 R >> /XObject << /Im3 262 0 R >> /ProcSet [ /PDF /Text ] >> endobj 298 0 obj << /Length 5487 /Filter /FlateDecode >> stream xڵFŒ8z<%?.3d! > \ aL<-_ :t Jn"i܃)E{2N&IuIX3S9 xNEflOh#`4z:296Ӡk*GAdLsm3t-ʬNHj=qer(E mRCd^KL0^z-e' ~vmG*&׉9Ev]@(/RXzr@!Lz,,֘w،;5h\ؙbpD`oy̬C?\O-}[{p!T^nE< 0~V;k轭Jtf4Ρzlsߑ#*N6C+4<` ѿ ak&h!F8V?6Eskr_?"HmwFP߹4Hs{OCpc i#>}g;%J6?X[{ɜɕ1`f̩y#无]ϕbÌTEɂ+"@^|nTcW}Z2ySsPB_#ewuG4Xa)0 JͮZr1s(hCa5.wEE ,52ƨ9FzL㱪0>--6\p)[.|yN3Qy T8L ?޽!3aw|& $V{5WjnCNIp;{9ѧmdt"oDx)M?>46O[&&X^ǮJHAҫ3!cQJ$Mq9qti ]I\ܚTk:1N ]n#^PF\ģ^\_aU$M:8 l÷'n=V6^n"E/&L%>gƅ)2jwsRbi7-H=Ƕn×|dQ,>Y901<zAy7Ȟ$Cu칙jxc' lOw+{[iFr|H33ﯸϥN!ߨ?M6Z'Ɨ/'7x'AeܝN \Meןd٫$X_-Fy[`uҹԔoU&`!W5vrDBk88Pq/@G V̷&B!K]!4NxTLO ["A3{XdS|xLg_&]Νgf 1G%q䍂+kqa5=3@uM$h9,źݝj'3iCdh;UQ:^y#jPAKVdt8@UTjªJ; BB1d^~OWl#+Np9 P4¨ʫT~`s``g،~o=ab1vdd㩫BW 84|f ;wkSxB;9k8\9b񗊿tf &{#\7d~y\2o BØ|zm/]vZH߮qYRo O>B*aO+܎3}O|$iOw>`^=#!C{} 'oNUR"7Ի7|(Ǫa4xŽbm9,*$^aSbFF!V]'&wuqأrD;5gB:dw_%f1W R1vo%B-#뉸1%(xerZf$^*ߋ>z<nkCPČ8ON>wBtCxGα}-ǀ'&avD*ҐW'񊎛ngDKwmI6] wa-!'}KinTXܻҍYC^(B P {7$MrIK]Z|XT0.-AgUowo&X0/htW w!σ‚8a$0eK[g$+V)捌m)ێ}uڵNߒi@>;ɧQ5u<ڬpOHcF[|Hm$Ž'$t4ܿ5a XZQVI"3.τ䦸tĘV}߶-GwxJh/ðf,ي ,,/)èmuv{LRx)_0c/& hۂ8=s?AYۿ^84j1#E !v6 ,%z hM]m#ؼ!SXKF~bNendstream endobj 297 0 obj << /Type /Page /Contents 298 0 R /Resources 296 0 R /MediaBox [0 0 612 792] /Parent 273 0 R /Annots [ 300 0 R 301 0 R 302 0 R 303 0 R 304 0 R 305 0 R 306 0 R 307 0 R ] >> endobj 300 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [177.532 671.019 184.506 681.963] /Subtype /Link /A << /S /GoTo /D (theorem.1) >> >> endobj 301 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [459.674 694.929 481.592 705.873] /Subtype /Link /A << /S /GoTo /D (subsubsection.5.4.2) >> >> endobj 302 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 0 1] /Rect [355.571 427.819 362.545 438.762] /Subtype /Link /A << /S /GoTo /D (theorem.1) >> >> endobj 303 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [518.229 417.801 530.184 426.807] /Subtype /Link /A << /S /GoTo /D (cite.Tauber) >> >> endobj 304 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [414.599 331.147 426.554 340.153] /Subtype /Link /A << /S /GoTo /D (cite.Goldman91) >> >> endobj 305 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [503.42 259.635 515.375 268.422] /Subtype /Link /A << /S /GoTo /D (cite.GoldmanSMAS) >> >> endobj 306 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [518.805 235.281 525.779 244.208] /Subtype /Link /A << /S /GoTo /D (cite.CheiShvar-dimacs) >> >> endobj 307 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [342.522 199.481 349.496 208.203] /Subtype /Link /A << /S /GoTo /D (cite.FGLLS-podc96) >> >> endobj 299 0 obj << /D [297 0 R /XYZ 58.5 720 null] >> endobj 114 0 obj << /D [297 0 R /XYZ 58.5 540.298 null] >> endobj 118 0 obj << /D [297 0 R /XYZ 317.25 720 null] >> endobj 122 0 obj << /D [297 0 R /XYZ 317.25 550.724 null] >> endobj 295 0 obj << /D [297 0 R /XYZ 317.25 478.76 null] >> endobj 126 0 obj << /D [297 0 R /XYZ 317.25 391.21 null] >> endobj 296 0 obj << /Font << /F43 137 0 R /F67 284 0 R /F11 178 0 R /F62 192 0 R /F45 143 0 R /F42 135 0 R /F10 288 0 R /F7 226 0 R /F13 184 0 R /F8 181 0 R >> /ProcSet [ /PDF /Text ] >> endobj 314 0 obj << /Length 5159 /Filter /FlateDecode >> stream xڽ[Ys۸~_KUY A\8N8Dt?-"RJs6DޚJUb|gEE1 @'7zb}D_Yxlk-6) cS.W%w2{sY>Vu䎜'lz>\)?'ncuW%ӉگԴ|ynW_Aw*K~fm'`SyUV(ɼ6i#z#EU|~_H3e7ܹoMu> Dzao&iGͲp0惝ו@hqOȁiR.o<}[ߪO\nLW[t6s }Zi!./yLQz$d']-˺ BҖ$NEte'lAVm%w!Ӊ_^q_\:riv$ НckОy[S v ͅA̢{ HaXŷʵ< $U {^-3zӐ؛wb'-htD#+ c+*-SM|*mg~>5Lamr?1%JeWNE?qKA28!ah%\/yw0K"Oޮc[WNW=_];&Qn PZu#:GJkc㋌}iL&A]Zm1axKlZ _s*CA~ [>Kb|ƪ-#-{G8ouh{Vb# ۜOP ޜR&~bf|S#?deu*bK+VxL8'p,‘#8z]> ?P!~yO!K~icg[?Rq$,Daq=*.ζ*M {2~zĶ߂S|eWP.E|vAs(p>O(Pkb8vSq]q, XbaڗRuh#䈊dΥ+lnڰ7%!eCDgwa j\aMj;(+YF^H"brHp'F&ObwMU4ԩ%ßY-'"$£ yB+Qw5Ir*V{i#P#7 b@q( P*3OmbD^O+bLMn 'jHzCG3  Gl@;ҧ M ʁpb{ %'ΉH{Ϫ&wfGYp, T[n%lku3~2D-kq99:@ 0".+  {*a+(U"e鹭sLZۚvAϸ+iW͙;aK{B_Xi<?r1C=ujJHqxkQ$VVjL#!Dc,8GRNpp)nAcmUv CNM* ^ɱ3.+8]n^@ް;|IX[7)j'qBy ٶ4_`g9WۨfrE+"@N6M4y;-1x5Qb1?opׯxۀ?Ewt`ړXiO8?r%4&@]N j|ӗiW5A,9ܡ,3 ]9DAр]Rf*%;ʡcaNaFL/}㓌~DG"m(kbsMf} c&#PW0sT/1!#TJ EF^D\zV1 %8R4dN Lj[r`GF 6 B[ 0Ls@|SDb㘉4֮i9Uѽx$&oj(|'e 0O %l\SUL?Ļ{ ~cnBҌw3q G 䞥z{H ,[Jlߋ[ j6.da",9w]pG~x5Nؗ/Cߨ-+cap|ŲaU_iO>SL]aIį̇DqF%@ $oJM˸S˽$Ҷ Mk58T:Apr_ɸZ9B ;*1"p 6 l/]gO+z,G.G.[H+3J'| 'Rxy(l%S L(HQGy;TO3΅?oq[#`O#Zy|+G\ \Q )86uy.W K/ (`p.jH8BzKv !f/ivJV˧@i+yz b.nG nI5Ν8usFzSќRϻo5Շh$Ne'K+U[ir٠c%&nADr )W?KLEqzp(iq6)1kKG+<~9ŬpE#qI$"9+6EDxS-N\j4#7#YDx_M,L\)h #˒; K^$"?hCku8Y>JBC)]#۹&ˈgYQ-սs7@>N/BlҵFkV<'endstream endobj 313 0 obj << /Type /Page /Contents 314 0 R /Resources 312 0 R /MediaBox [0 0 612 792] /Parent 273 0 R /Annots [ 316 0 R 317 0 R 318 0 R 319 0 R 320 0 R 321 0 R ] >> endobj 316 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [188.468 673.036 200.423 681.963] /Subtype /Link /A << /S /GoTo /D (cite.Hoare85) >> >> endobj 317 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [282.964 661.22 289.938 670.007] /Subtype /Link /A << /S /GoTo /D (cite.OCCAM) >> >> endobj 318 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [74.398 589.35 81.372 598.276] /Subtype /Link /A << /S /GoTo /D (cite.Roscoe95) >> >> endobj 319 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [176.605 541.401 188.561 550.327] /Subtype /Link /A << /S /GoTo /D (cite.Milner89) >> >> endobj 320 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [87.552 529.585 99.507 538.372] /Subtype /Link /A << /S /GoTo /D (cite.Concurrency-workbench) >> >> endobj 321 0 obj << /Type /Annot /Border[0 0 1]/H/I/C[0 1 0] /Rect [280.474 529.445 292.429 538.372] /Subtype /Link /A << /S /GoTo /D (cite.Concurrency-Factory) >> >> endobj 315 0 obj << /D [313 0 R /XYZ 58.5 720 null] >> endobj 322 0 obj << /D [313 0 R /XYZ 58.5 433.226 null] >> endobj 323 0 obj << /D [313 0 R /XYZ 58.5 433.226 null] >> endobj 168 0 obj << /D [313 0 R /XYZ 58.5 419.239 null] >> endobj 196 0 obj << /D [313 0 R /XYZ 58.5 385.109 null] >> endobj 161 0 obj << /D [313 0 R /XYZ 58.5 350.978 null] >> endobj 232 0 obj << /D [313 0 R /XYZ 58.5 327.807 null] >> endobj 163 0 obj << /D [313 0 R /XYZ 58.5 261.476 null] >> endobj 311 0 obj << /D [313 0 R /XYZ 58.5 237.628 null] >> endobj 324 0 obj << /D [313 0 R /XYZ 58.5 214.456 null] >> endobj 160 0 obj << /D [313 0 R /XYZ 58.5 158.408 null] >> endobj 260 0 obj << /D [313 0 R /XYZ 58.5 135.236 null] >> endobj 310 0 obj << /D [313 0 R /XYZ 58.5 101.105 null] >> endobj 170 0 obj << /D [313 0 R /XYZ 317.25 698.78 null] >> endobj 259 0 obj << /D [313 0 R /XYZ 317.25 685.975 null] >> endobj 328 0 obj << /D [313 0 R /XYZ 317.25 652.997 null] >> endobj 329 0 obj << /D [313 0 R /XYZ 317.25 620.368 null] >> endobj 194 0 obj << /D [313 0 R /XYZ 317.25 565.122 null] >> endobj 169 0 obj << /D [313 0 R /XYZ 317.25 532.821 null] >> endobj 167 0 obj << /D [313 0 R /XYZ 317.25 499.255 null] >> endobj 309 0 obj << /D [313 0 R /XYZ 317.25 455.229 null] >> endobj 330 0 obj << /D [313 0 R /XYZ 317.25 433.299 null] >> endobj 195 0 obj << /D [313 0 R /XYZ 317.25 411.19 null] >> endobj 193 0 obj << /D [313 0 R /XYZ 317.25 367.252 null] >> endobj 158 0 obj << /D [313 0 R /XYZ 317.25 345.91 null] >> endobj 159 0 obj << /D [313 0 R /XYZ 317.25 312.255 null] >> endobj 331 0 obj << /D [313 0 R /XYZ 317.25 290.235 null] >> endobj 261 0 obj << /D [313 0 R /XYZ 317.25 268.216 null] >> endobj 162 0 obj << /D [313 0 R /XYZ 317.25 246.196 null] >> endobj 166 0 obj << /D [313 0 R /XYZ 317.25 224.177 null] >> endobj 308 0 obj << /D [313 0 R /XYZ 317.25 202.158 null] >> endobj 246 0 obj << /D [313 0 R /XYZ 317.25 169.179 null] >> endobj 165 0 obj << /D [313 0 R /XYZ 317.25 136.201 null] >> endobj 164 0 obj << /D [313 0 R /XYZ 317.25 114.182 null] >> endobj 312 0 obj << /Font << /F43 137 0 R /F45 143 0 R /F42 135 0 R /F52 204 0 R /F23 327 0 R >> /ProcSet [ /PDF /Text ] >> endobj 326 0 obj << /Length1 774 /Length2 1246 /Length3 532 /Length 1824 /Filter /FlateDecode >> stream xRiXSW ^`,!5aa(KXY$&ܐ"JVCR&"EQ6)R' V8 gs{{OGmdOg\XjA+#0 qH ` LhaeJ"tGV*gBFE7*11 xh0 =x^DCt<:LC#PWP`>!3a&"0  ɟaj p2W屌~ץ2a_}3BE8z57dʀiH!!:Fi@(p7Ŷfp5Z*>rj?5 <bD Zw3Bcas P8l.C|c~ ŎX$ @([}L3"` qX`Nјŏ3&# 4'$7D h֩yJ N_bJ4ϫ. U7ʍYR~"9>߳<2*W?N&x52t̯Ks[ēw'S|^o|)u+ VAA!xZr>SR#_3|:j,,Όw-`" e2©{ ve}[P߰X)22=<P-iyx{|8qZ+  s$^kV3 ;kwle&-oU3a;jp ٯN;#j<5i25*{\ڥuلUt%?ƒ0nnc*Cez8a&M_<Uw(Uv|6/Ј )Wۗ ޘ#/{Gb5VB.ݱ?wcKӲ[o"͋(|>ɕY zΪߟ;+'tjJ/o#9ɧr/mRՃ/JJfj?V7e(D$1kB-JS |YhwMRm^YNf'Y=/~S{ U q"?PHWθT"GOH^5,ա.Qh_{6Y]gM+`=Ɂ?AFVxEzw_[(3 syUoZd&.ݑ*5)vVn] 40c뾹o.w{q}dWܬxC#|+܊HmW/JAwW]n 5~7;U|&Zvު5{v+=Ihrt o~c=9ᷭ f%%ݷ,2`eN/uҾH.3ML&9NGZoi'~qCnդEc#Sm7Kwrݑ5P` -yݦӁZW Rl+KIޘ>*th\J|?+O?p1 *e1H?G%> endobj 325 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /YJDPUS+CMR6 /ItalicAngle 0 /StemV 83 /XHeight 431 /FontBBox [-20 -250 1193 750] /Flags 4 /CharSet (/zero/two) /FontFile 326 0 R >> endobj 333 0 obj [611 0 611 ] endobj 332 0 obj << /Type /Encoding /Differences [ 0 /.notdef 48/zero 49/.notdef 50/two 51/.notdef] >> endobj 287 0 obj << /Length1 766 /Length2 1109 /Length3 532 /Length 1678 /Filter /FlateDecode >> stream xRkTSWbC (R-y@FB4H(ဠ% PdYP$QUTP*V* ke"?g~=>s\ x \cw&D S*" Aq@/9 @b{+j=*4"N@*C0 A4qPe֐!JPӀP!+@LD"HL&2 #ѧ-Xp_rU+ fS2c &89%уpnakZR姃SQJ\j $lKo(G]Q2!PBd8Ay0ŁXDgpg;17/D~y3`4az5?35@`0Dx58k1.G1`sB0Ky PLŭ4 טs0X M*tt# .=fI& lgI пk<'ci bcNUPen\_XQaʹ闛( vNlѪ7cw S.$ҷ$_s(y(djl9@eyo drY2úFhꖭWCh<\?`ӳa)k]]UX[2s185G{JЈ[we2 łX8U7o-q͛֓@cWu>z~y͕16DtoUMF.sٵ;W]lbqxeT_'؉S&M;Lt6\=u/BaO~_nNVa Ʒڞ^_ʑ'Oƺͫږ{JZ:6c,rg럖}|nNf! 'vc n[0eq~Dy؜"ޕ9[,\|i&2A۰Q ܱu]޾i- Kxs2p!_Fթbj|'" CyMJ =luZIvQr?n5gb?`k#Xw>bÔ'2n?ڛI+bN~J_nZs~aF"sn6oY]=R5NUmr/YA_~/dJ\[Hendstream endobj 288 0 obj << /Type /Font /Subtype /Type1 /Encoding 334 0 R /FirstChar 105 /LastChar 105 /Widths 335 0 R /BaseFont /SGMQJX+CMMI7 /FontDescriptor 286 0 R >> endobj 286 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /SGMQJX+CMMI7 /ItalicAngle -14 /StemV 81 /XHeight 431 /FontBBox [0 -250 1171 750] /Flags 4 /CharSet (/i) /FontFile 287 0 R >> endobj 335 0 obj [404 ] endobj 334 0 obj << /Type /Encoding /Differences [ 0 /.notdef 105/i 106/.notdef] >> endobj 283 0 obj << /Length1 990 /Length2 4377 /Length3 532 /Length 5059 /Filter /FlateDecode >> stream xy<>*$ԃƒ4v>XfC"KdeɖdNID,Y9=ߟu^y?u}~x8u Dh5F#@EB "GAx222b*tqJJB@<ٓ#JD0!`QH$aNk=E#k+q1hQ ("`@_4p6x0_)w ۦpj9zh ?= sߋ9:j#~ݩ#T݈GcK10Acݜ "(8@%D!c]U.lq w'fl(N"8"@36L!] Ov Gcq$KtJ7q,OlЯJI`o`?Z&iCJ?$Q&o0/xuw `翠&Oݺ0/xV9EETJ:G JC HB i1Q`O AF(`U},peO ~R,'}B `-O\,m$X+>asLY)Tkfge9Ϗ\sZ½=@"ͺ~=S#O_A晵0F 1jgw,f)ی?GX[%Ddj}J?xLWGL2dOJ8E;݇t\Z9)a82: Dͻ?ul ȟ5b\7w_&#[X<_:5|-v0(HV}–U(័?.nWgiR%R"o GUx퇵P2~>le1yq6Zڂey/)$~Xk~۲Z06vz,>6kCBGkAMա DEP{Kڭ{ovS_sD$,g$qwF Ao%Lxo!k3>i;Ѳ>N+-dv2d)kϨsVlt hgME{DwMd Uq.*5OwM)vpr6ЛYW@+u%?9#aS,صEN^=~_f`59;̢x1KɷGT.QZ}n+$,z[:(a}tk5pq`6U%îOCc/er&YY '717ʧ$x_g}jh" 𹘇lX*/i_^RZM0d)h#7 r5#&-6# ux "`xk(mF-OQU]M- Zk&mZLϮTcō yzu?Y]9sxR5W񨻇^.7iDD=Cux*]Jnǃ!U`˯&tLxN|՛hUMeb_GRtU9˟j Ju'Vсܗ3ƻΏyn2;R +ѪGVm326;'hdwN*_L^<|jvOg8B[Ź߹M14V8b3Fqnbf}|D@Ts2rJ51̚NX]}{cاrCבђ|h9;319%Xp3fcP%㦧=,($bai h**HC0.{+x^6B+cXYu s=ZثE#0a!E[\ ˚j%X^M4WgIi.%5UT4\}r VPqiРYFd%pZw7f:i,UܹC|K.He5 PWO(V"#lBl1Ti,]d۲z_?ԴqI0+3ɇ [_uzc`c G#]JF߱K2FHP.;*"m(Kf~coDb{%v1>doDϠ1+=4>w~r7ZW/&>3ΙK^z ϩ̱C/=5vw;48&#MźR<%DqမxgS%^Zܨ&x_zh5q+X 7jq( WnM0:F2]|'NWrQcc7{z ؽB׷ڧ) $]4vcgd$j!އ$;7q55\(f0}l6dE׳tvMy^0WcG \2R錟޻p(n$Ay>׸7ek6sV>8'gH > ^!ZG_Urg?>dW֎ܧOwԣH,V6hۚId7gʊhM8- *aV瓀%6_R-QjX~k&Dx+|Hft᝸;E6aAY䄣<.#kSyMTyz/`GKcw/Mp1A3{ͱ{ɻCOw3,)_eR?8^05;>.VYQqq#vxwWb|`(g2FS">Zя-.lS&Pu{HOޱHQ8x?&Z1G s?r$۬w9;7K| /!U?_*M񋯌3/(v ,?psyt,u%x3C6n"y|i:Ud;u8v`1Ƈ]FIks' 1H$8 %)fendstream endobj 284 0 obj << /Type /Font /Subtype /Type1 /Encoding 336 0 R /FirstChar 65 /LastChar 121 /Widths 337 0 R /BaseFont /FGWSMB+CMTI10 /FontDescriptor 282 0 R >> endobj 282 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /FGWSMB+CMTI10 /ItalicAngle -14 /StemV 68 /XHeight 431 /FontBBox [-163 -250 1146 969] /Flags 4 /CharSet (/A/I/M/P/S/a/c/e/m/o/p/r/s/t/u/y) /FontFile 283 0 R >> endobj 337 0 obj [743 0 0 0 0 0 0 0 386 0 0 0 897 0 0 678 0 0 562 0 0 0 0 0 0 0 0 0 0 0 0 0 511 0 460 0 460 0 0 0 0 0 0 0 818 0 511 511 0 422 409 332 537 0 0 0 486 ] endobj 336 0 obj << /Type /Encoding /Differences [ 0 /.notdef 65/A 66/.notdef 73/I 74/.notdef 77/M 78/.notdef 80/P 81/.notdef 83/S 84/.notdef 97/a 98/.notdef 99/c 100/.notdef 101/e 102/.notdef 109/m 110/.notdef 111/o/p 113/.notdef 114/r/s/t/u 118/.notdef 121/y 122/.notdef] >> endobj 225 0 obj << /Length1 773 /Length2 1203 /Length3 532 /Length 1774 /Filter /FlateDecode >> stream xRiXSWQ#j"&$DJER $1 $(! !(V㠑,,Z4VD@EvPBeuQ)9k}=y{>ku\4bD$o @"kko!` :@ru%x $+L"XhD'`x !a#KQ a"As; (@\"D0bx!8AP%~l@d`p\K.GpG Bqg e `_}T( !r!!}qa`aca'χC Nfbc O]hmނoxXokη0m$[t;Ic<!,D$D|}jQ ra  >8;Ip!1qND-I: sIqP+c*8a<󝼼PudI$2Q?C8Ilµ@P!y}q0.!]&N^8Q^+|kݪe}}gzKF-RgW&ｲkk+EVR^hJ̨"퇕 ?D1jt F7|4v:vӶ'?YjoO?!s3:[K*ͥZߞѹp"29s:ͥۗf *ɓuϑ_y=GO0_MVgؔW> rk*wJ{I5\=ef,l+JoCMq|rdنÿ}n)F r,o{2Q,CkGBO;_ h~7>9wlU̮ͥYX_tmځ.m%Ԣ.Eݨh|_IeSV;&Nlm$tO1.Eqi [,%7lnP/;Q3Y̲Nkeom?[fJ> endobj 224 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /KXWVKS+CMR7 /ItalicAngle 0 /StemV 79 /XHeight 431 /FontBBox [-27 -250 1122 750] /Flags 4 /CharSet (/one/two) /FontFile 225 0 R >> endobj 339 0 obj [569 569 ] endobj 338 0 obj << /Type /Encoding /Differences [ 0 /.notdef 49/one/two 51/.notdef] >> endobj 211 0 obj << /Length1 790 /Length2 1151 /Length3 532 /Length 1737 /Filter /FlateDecode >> stream xRiXSWV UA)DI"$YpInBr/$"0lP83 T@6+`Ut(F63̯y?{{s,ͼ}m|,ށ[ \9Pmd+CC (  = T*b8%V$:``A(@(XABXHL̟X 0HPI@Ҽ%T"̗~høXe X-ش*| &>, j߰T|T(ByІD07&J`p0>K{EoHEKHhmDE@`7"E$ 8:Qŷwex =oA%~0 N^)תp$d2EET%X(#h$P"RA2 (Np0b &0042 ax])r›g..XBQUt*S)NG8)db<)èdIRP U0{)=&V+2'c?⵷`qúH/<+I|u=ٗtn:/ }5ѐ:mkDYC6~'Ua EOPh[t*gû~rYLqc}Hެ°QO:2F'>l @)٨Q˘vof Aog|:'N4*oo?#|J̌&#|oqhV_ޱꢦSIX#<߅eUWwE޽[14lFd9rdI Eݽ2զQ 9:GJ~VexKlq#eCj# Skhɬ27]G ~ЎK]|>'Sa}g5u3W\e}Sr+IUV~If^Lӭ7l 6T{nDĤ q n?gWux_'xj'g}dH3üs/Ԧ ltG5t@f_vhɥf-v\0UDm˗]yͭ؎q5Ld8~]RxWgolHSo_]9aYUfoMi11*e< 柨Tɕ{hwkR _{&s cQBEqyYC/g8ޢ)w1˜vwiۨÝ_[&ֱ>{+}hQLݹ3GwnQ8,xQs$jm֟z5\-v(^_pWxB;kG:_|;#m'i~N\M(ic)/GZ׫X }YvpKuu{h=՛OU.qmӸ2ol1餓qM^:>nu8u@r0+MsʂjnV9c}m˝뎼gu3p~nRWC;BNg:lW-õӌ}=npt]]׾bΝछC?lf?0],}m,屇rM",嵂9t? a`"! .endstream endobj 212 0 obj << /Type /Font /Subtype /Type1 /Encoding 340 0 R /FirstChar 60 /LastChar 62 /Widths 341 0 R /BaseFont /LOOUGQ+CMMI9 /FontDescriptor 210 0 R >> endobj 210 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /LOOUGQ+CMMI9 /ItalicAngle -14 /StemV 74 /XHeight 431 /FontBBox [-29 -250 1075 750] /Flags 4 /CharSet (/less/greater) /FontFile 211 0 R >> endobj 341 0 obj [799 0 799 ] endobj 340 0 obj << /Type /Encoding /Differences [ 0 /.notdef 60/less 61/.notdef 62/greater 63/.notdef] >> endobj 206 0 obj << /Length1 915 /Length2 1410 /Length3 532 /Length 2059 /Filter /FlateDecode >> stream xR{}>ݯ0WF smDIBg\qFG³vLJ kc'*pp4 `0.\"a2[RbFSzV\&%x9(S?8P^d=k9_}YQJ;F˹Ņ]cEI'֥F+ 1Itt֤g=V!H8h1=r?r߷5Mij avنV=RUZBno#dI͝iw B5#ؔ|;g7 ݂/)UYe_ ~vQwˬ˼GZE~Vn_m^Klo߳-S>2~0]0{oCdϊznazqpoTi0kۀ]V/8n&Q 2U>#N9ݣx}#O.]SI1|}CH6ZՎxrfsnvX>L5KHvO7E{^ior&Lѡqͷ$o8si}ġ'ah/ySre{Sڭ~lіlYY,Vᥳ͉!,:6AEQ;+٘*' Z<`u%Vzy:W:uXwuc15+ͦ(uVLs}MuNoQ4|sl' |gSo:lw!h>^wZ{B-KޑsS&umڞha|Geu^1&I0<7:%^-NWUgzթ~> endobj 205 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /ALJRWG+CMSY9 /ItalicAngle -14 /StemV 87 /XHeight 431 /FontBBox [-30 -958 1146 777] /Flags 4 /CharSet (/lessequal/greaterequal/arrowright/element/negationslash/logicaland/turnstileleft) /FontFile 206 0 R >> endobj 343 0 obj [799 799 0 0 0 0 0 0 0 0 0 0 0 1028 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 685 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 685 0 628 ] endobj 342 0 obj << /Type /Encoding /Differences [ 0 /.notdef 20/lessequal/greaterequal 22/.notdef 33/arrowright 34/.notdef 50/element 51/.notdef 54/negationslash 55/.notdef 94/logicaland 95/.notdef 96/turnstileleft 97/.notdef] >> endobj 203 0 obj << /Length1 792 /Length2 1324 /Length3 532 /Length 1908 /Filter /FlateDecode >> stream xR{<OYkIr34n5Zq'1f^LmT"l"YuYfqr)K%ԐFӞϱ|}b=M,$rB`)G.t CC{؁!B!0ҚH&Q0~jP ɀ CELx"L6$*7!^ ab3  gU=48 O0Kx|T؅ P,1sE^!j=qeDң!ˈbsGB. K}O\ [>K08l&@ bر˝-`F0Z/mM~4R 6,NZر  h!z>k3Fׁd <#@a XTFZ CxaZXx 0C`̠ؒh!:UϴCbL`jNB㉖L0;Z Ǔ)k(SA`mP ?alpM$ҿ]1 ovjSH=#)s hk"ii#'Z=^&Gg;22-o[MqIyaxi$68[_]$.g 1uZD7vto+2,'(lHI:.d< /+]9F-K٪O?1R?R㏷-<0--X%zQc]FcKKV?2h`qpD%8j^24+Rm VPF*Gsejtk])u} SC>>m䈹&ڭgstGMY&>$TP7aqtm 5BrߥnVX0Pow2uEFwټJSYd}kn;QpA^ꤊIː%"V _#%E)lF:탅~YʉĒrk¾fr<2f[~j-mֆJsXG Wط1۬mnՁE6XI+cozs=>|I~\J@铯Zh6:7>!*2K]*Eu1zoA_9WA73Vv z6gZB,)h~xkKrvng☮q7Opr\J|BbS4]z۫fڵs D 罔י4-T5+K8 <4ՃG>+DIz&p|X˪f2S51ync;?wؑSHu/Hku7 )q§G9v[z9ޒciKGljn[q=خ[r_vc|è(O-igMf7IQl@Ņӝ g|tyzB5qءGv^h"-W鴵]㯘ajHrLoY,-#i; 9@1vvƑץxUP_lV8ٷs y1Y؋T]؄K2gKNtVvP$23 ;,tȷ)*z}tĒWGwW.jn'oɬ] :c{ׯ~B!;N);7h^_b>3ZK6nn\TN%"kò :ӆZ׼?9 s?88ƎcE 3,$#ӲgMn? ' Q ^$L&endstream endobj 204 0 obj << /Type /Font /Subtype /Type1 /Encoding 344 0 R /FirstChar 48 /LastChar 61 /Widths 345 0 R /BaseFont /ICHJNC+CMR9 /FontDescriptor 202 0 R >> endobj 202 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /ICHJNC+CMR9 /ItalicAngle 0 /StemV 74 /XHeight 431 /FontBBox [-39 -250 1036 750] /Flags 4 /CharSet (/zero/one/equal) /FontFile 203 0 R >> endobj 345 0 obj [514 514 0 0 0 0 0 0 0 0 0 0 0 799 ] endobj 344 0 obj << /Type /Encoding /Differences [ 0 /.notdef 48/zero/one 50/.notdef 61/equal 62/.notdef] >> endobj 346 0 obj << /Type /Encoding /Differences [ 0 /.notdef 1/dotaccent/fi/fl/fraction/hungarumlaut/Lslash/lslash/ogonek/ring 10/.notdef 11/breve/minus 13/.notdef 14/Zcaron/zcaron/caron/dotlessi/dotlessj/ff/ffi/ffl 22/.notdef 30/grave/quotesingle/space/exclam/quotedbl/numbersign/dollar/percent/ampersand/quoteright/parenleft/parenright/asterisk/plus/comma/hyphen/period/slash/zero/one/two/three/four/five/six/seven/eight/nine/colon/semicolon/less/equal/greater/question/at/A/B/C/D/E/F/G/H/I/J/K/L/M/N/O/P/Q/R/S/T/U/V/W/X/Y/Z/bracketleft/backslash/bracketright/asciicircum/underscore/quoteleft/a/b/c/d/e/f/g/h/i/j/k/l/m/n/o/p/q/r/s/t/u/v/w/x/y/z/braceleft/bar/braceright/asciitilde 127/.notdef 130/quotesinglbase/florin/quotedblbase/ellipsis/dagger/daggerdbl/circumflex/perthousand/Scaron/guilsinglleft/OE 141/.notdef 147/quotedblleft/quotedblright/bullet/endash/emdash/tilde/trademark/scaron/guilsinglright/oe 157/.notdef 159/Ydieresis 160/.notdef 161/exclamdown/cent/sterling/currency/yen/brokenbar/section/dieresis/copyright/ordfeminine/guillemotleft/logicalnot/hyphen/registered/macron/degree/plusminus/twosuperior/threesuperior/acute/mu/paragraph/periodcentered/cedilla/onesuperior/ordmasculine/guillemotright/onequarter/onehalf/threequarters/questiondown/Agrave/Aacute/Acircumflex/Atilde/Adieresis/Aring/AE/Ccedilla/Egrave/Eacute/Ecircumflex/Edieresis/Igrave/Iacute/Icircumflex/Idieresis/Eth/Ntilde/Ograve/Oacute/Ocircumflex/Otilde/Odieresis/multiply/Oslash/Ugrave/Uacute/Ucircumflex/Udieresis/Yacute/Thorn/germandbls/agrave/aacute/acircumflex/atilde/adieresis/aring/ae/ccedilla/egrave/eacute/ecircumflex/edieresis/igrave/iacute/icircumflex/idieresis/eth/ntilde/ograve/oacute/ocircumflex/otilde/odieresis/divide/oslash/ugrave/uacute/ucircumflex/udieresis/yacute/thorn/ydieresis] >> endobj 192 0 obj << /Type /Font /Subtype /Type1 /Encoding 346 0 R /BaseFont /Courier >> endobj 183 0 obj << /Length1 792 /Length2 813 /Length3 532 /Length 1389 /Filter /FlateDecode >> stream xRkPW"UÂz!RB F H QKZ%$ۄݸ`" ** 5bB R("AN)XE*t|:g{.NH@) 1!#zɦ&Q I __j7 j=$p,6A`BBT IVH\" U*aܡ!)A@JHQ2 d8lK7P2Bh(S2P8)"D8uB97LMѪT"8(o NBUxZK"RRcIoBDj$B%\Oh ŝPMCb( Vi>IZқ0 "BW{LNu(FF`%Oۚʈ@u d!H7M9k9&(&R)) R bRDepd6NЌC,XC%jLFpJyzAA.œz\@.xp6Hh0lh2 xVTtojJō :DB%~>1pJ3֬C=3bO͑p'95Mʫv$~9Iݢ'sd­gvGf|z?iE?茞'Vb齠]6y=f̷ ]P*?־Sهcl1ze.f/E6m~,v|wk%xDٵ)*-;q;]v88PRʭ֊5sjBMmfP\nPԄLDHL/!8][n]Q44Mr^Tg},4}lYEt7kýl6S2|v)yn'kGÔA{O6\޴*+VM&,;lY9J&'᧊_w;&7 Z]x۳'–N:ܩvar_v`ܭy,79|0{tnd٦;C34/kzv+f?xg>;i˴WsG2mb\= ~?  O %O\<endstream endobj 184 0 obj << /Type /Font /Subtype /Type1 /Encoding 347 0 R /FirstChar 3 /LastChar 48 /Widths 348 0 R /BaseFont /MDCRIL+CMSY7 /FontDescriptor 182 0 R >> endobj 182 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /MDCRIL+CMSY7 /ItalicAngle -14 /StemV 93 /XHeight 431 /FontBBox [-15 -951 1252 782] /Flags 4 /CharSet (/asteriskmath/prime) /FontFile 183 0 R >> endobj 348 0 obj [585 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 329 ] endobj 347 0 obj << /Type /Encoding /Differences [ 0 /.notdef 3/asteriskmath 4/.notdef 48/prime 49/.notdef] >> endobj 180 0 obj << /Length1 945 /Length2 3092 /Length3 532 /Length 3755 /Filter /FlateDecode >> stream xUy8TG$3c*.k431Øaٲe˾D"ÃlY(*"[h{{ι|~}ud$mXhD$aJ0-@`JP> DqD j0MMet-h2 O $<<ɀ~:I8 Xɞ7MD $*<؀~ *`!nٷdJp'h,篐?Hdڔh&D>lK"4?ō(x%{_~PF{N zP bA៩/o GgԔ0( bqd'?y Z~ZXY m z3f}VOa1:$@Aii_+eH8I$t mzhH8 fD i[ZMBw"m*P&m* pRď~b^kЪ:,I-I[<ܧV1! HC%N'2IHvs _pWY%w=93#>3󙞝BQo@wJ)5]b.m|aݼ)g 4i W(U:ƞ/̈́OPڨ}zCV%'د=9IBcB\2B[LhNXsjv%]y܆R%@ Rqknm4ŌeڤO=O\żuK*tPwCX݆Uurn=,y;ËH4~mcV#*Q5"=%':7$B^狽C>7DFN6Irbyaz۔T.EGScӌxD)өB쉨>)UܑFܡĀaEenuW: iuo;"Jl4|cB1tIk?l:6[x+c 6eyϿx~9.5e7[z6y? *X៸ZC197 `9VWPup6<7 &G1nFX!9[i'o$juSd5S>wCQ+ .Y/zF #rX5n~=3I8xRJi#2Bш\ydx3uJ'qS>ϧY_5)&Xg)g6s(;i"1ܬoLNu9rq'ɞaq5J<4[ S0R i-zZKMGO@\8]d;w{J{ǥ4a*T\cꍞeNFԫW cN=넛D裝칙|&;+g.d7s9t;c7wJ@kyf%2~oSj{k_x_.kx:Ѽ궞s|VjJӀ!a~q%uE#O{|.OQ!ZG?T[sRVa;u~d=\9Ɏ+)qR@: 8s(\ &*c]hfwXL'kWF+%2EQ/R3/6*ྉ0zVQ[՛JE=1 7^N< an?d"LgA<,(\Ru͘D[ 407p{H;Cp\+w[[&eg g,]vZt{yHU9";%,)+_^ߜ}7f2zyl f[LG=j4h{qPV %ܗ+Y;5kut&88?hOq[naTRVϩ/хuސE4._qSڮgK[ I.ͨ|V7;JfOCC60"<.v+?]fi×٨#u<1]3K')Q/YebϜ:b.=2C1Y:zHPq3 R8A;Mj>85ޯ6Ǘ?e^T`(uj8:w00 d(N_QRZˌP $P-SUy2 qEn6S͈eAθwѥnVHT^I{i겖DAGNaeL _m"3j>F8V2lW5blk]SrQ׵1YvD+#3MDxh}Qk%c VݷUaJ(Ci~*nߺX[~hkP.@5L#hJ0{yCQN~ܝ;SekD~6mmmn''\hPCrA-=⩡ =)`}9cwORWe0-]NZXDuWy/Ѻ[|ÎL7xtkRcoK9r֌tz!GkJRApWKuڎBIr'-In錀iJ7vՍ\itaDd}8Zʐճf|__lyު]HXDԈ\:p.4P7P$"3엁K^G1 Ffg\C&-N3MNY`,2o@9</?!h&]dQ}Hendstream endobj 181 0 obj << /Type /Font /Subtype /Type1 /Encoding 349 0 R /FirstChar 40 /LastChar 111 /Widths 350 0 R /BaseFont /OMURUW+CMR10 /FontDescriptor 179 0 R >> endobj 179 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /OMURUW+CMR10 /ItalicAngle 0 /StemV 69 /XHeight 431 /FontBBox [-251 -250 1009 969] /Flags 4 /CharSet (/parenleft/parenright/plus/zero/one/two/equal/dotaccent/d/m/o) /FontFile 180 0 R >> endobj 350 0 obj [389 389 0 778 0 0 0 0 500 500 500 0 0 0 0 0 0 0 0 0 0 778 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 278 0 0 0 0 556 0 0 0 0 0 0 0 0 833 0 500 ] endobj 349 0 obj << /Type /Encoding /Differences [ 0 /.notdef 40/parenleft/parenright 42/.notdef 43/plus 44/.notdef 48/zero/one/two 51/.notdef 61/equal 62/.notdef 95/dotaccent 96/.notdef 100/d 101/.notdef 109/m 110/.notdef 111/o 112/.notdef] >> endobj 177 0 obj << /Length1 882 /Length2 2335 /Length3 532 /Length 2965 /Filter /FlateDecode >> stream xRy<Fʖ(eʒbfa̸cMHlIEE^-"ӱ9TYsNvy}TlP)ВNcj! { vd: 8aQ]o5DCԀCt@ًi|(* q4c@*vt<dj( 8?p A2 4[&k ,?K ß P_C4J @1:6gsKr Gf֩qT2%b C' R'{8 H ?W8 yQ@@ _;O$A-'D\A$bVΚvh#Ә ^$ ´a08__̂4/@ \ 2O զљ#3΀|q!>NA!(Nbc!8H|GutvlЁFcfkXc,1^+b"?Bdx7k)ᯘVa4#}FүҔT7P2#@D (BRM9v?߻zX(Wyط\[ՙws>Ɖxӵ%%H*=h {V<:7VB}oOD2> #ܙf&3|WG ^;fیUҜM*+И 1^:"49)V `q=jB{;\|C!>7OŊ7UXZwnU1Q4"rH G!҈ŅzKF#M vDnI`7`B!3͠Yn`uSx}#!&x.`U@b$wѧgj4y}fJ&~f :56#7W=;~v AaQV,q)\ʹ2KnZ;uCfǵt0f2Z$F~zΕo<5UX2ծ-:BÆ0v[Q Ia|uX~v';h߾ ij] j⹕*\eKk3Ƨ%\b\?erhȾ桒Gd!woD~yїS~y9(?eҨ@ԃ?,VcOad-Uv+,Cy_yd5zԶbÛ_z("ūɿ{\F/0lkE*D5NVD$'t Z(ml6*uwvOKj=R9[S[q&Dnv1pZ^.)b-Aҫ1j]b454ߑK|y#ΛiJ:w!O>8I3}UὖjOaʳ#ڜkW2/ V].[ys*vEQnvu zq-;?j,L[gY$Epnɪ^2JQI,kIO[!}0{cIY.thw:n+nVt To0W+Um}SWQkػ+QȉA\U%h͇g2VEܼ.$rcr^XzW_ >fȾCw9uɒlfG`ruh9Tqfh_MFßq,Zz /"%EI&nxv} }J\BnE`EC[}nNl9vx[OAB1e^CWHKIUWnhpoI{lkh&6fYi~+ըX~,_i]3^Ubn58&N<$?za+sb$E gdCgSFG3x\e>e7t:kzz9Gbw^olɱ/޼c[W=t9!)Zf`Ooqw@k1ΠdS]GvJ&"xUͯQaq:v^9m=i )KG vJt>efnl_\A]^.̅N ־UN;X~*Ǵ{=j%INּ|Yڧ;bJ,D3F.\P *ric%s6@鳗v I XۜD=xƙ*w1^˵\+X0t9+{o$EQ{*[Gzu_$1XTh׻^bK9ccSy5[1i(xLΑS[#7攄Oy_T9ϚX:2* E&~q+m[26Tf8Qح[z*QtJ[M 6\k (*Vl*5Ef lp EE^8ͤ("U 8O7kd; <1t*'A.endstream endobj 178 0 obj << /Type /Font /Subtype /Type1 /Encoding 351 0 R /FirstChar 22 /LastChar 117 /Widths 352 0 R /BaseFont /ZZZQGX+CMMI10 /FontDescriptor 176 0 R >> endobj 176 0 obj << /Ascent 694 /CapHeight 683 /Descent -194 /FontName /ZZZQGX+CMMI10 /ItalicAngle -14 /StemV 72 /XHeight 431 /FontBBox [-32 -250 1048 750] /Flags 4 /CharSet (/mu/pi/period/comma/N/f/s/u) /FontFile 177 0 R >> endobj 352 0 obj [603 0 0 570 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 278 278 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 803 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 490 0 0 0 0 0 0 0 0 0 0 0 0 469 0 572 ] endobj 351 0 obj << /Type /Encoding /Differences [ 0 /.notdef 22/mu 23/.notdef 25/pi 26/.notdef 58/period/comma 60/.notdef 78/N 79/.notdef 102/f 103/.notdef 115/s 116/.notdef 117/u 118/.notdef] >> endobj 143 0 obj << /Type /Font /Subtype /Type1 /Encoding 346 0 R /BaseFont /Times-Italic >> endobj 139 0 obj << /Length1 817 /Length2 960 /Length3 532 /Length 1544 /Filter /FlateDecode >> stream xRiTWhZ5 r|bQHf!e @2 j[KEV eEAPJeZPbc?_=}};{$v22HC9p@9ҝFC' (pUq X0X[U )\àѐb !89UKNTqX( d!0'X!GބX|ӊ1ր(# E4A9+& 05Z\V(ĘrH~8wWDfH5 )G E.# W+GwiLK]Pv4p@YNKÀS0 h+L|F>>m^u =\ok&% ׀UAP|ovkF]IHIN`ET| 8!5c. i`9IƊ'Ԫ!t@P* l_Mv y#1H z1835Pjm& Krb<\}@MoWeZ P:UFk6-N:"5_*aG6afm dl0s:~>۶^GN=mk6ŹHtc1xۗsM}TL#5k=6.~=݆%3svUS\RQj DC`G8mAޫԾl64\o5+\S8*: @> endobj 138 0 obj << /Ascent 750 /CapHeight 683 /Descent -194 /FontName /IDJDJK+CMSY10 /ItalicAngle -14 /StemV 85 /XHeight 431 /FontBBox [-29 -960 1116 775] /Flags 4 /CharSet (/minus/braceleft/braceright) /FontFile 139 0 R >> endobj 354 0 obj [778 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 500 500 ] endobj 353 0 obj << /Type /Encoding /Differences [ 0 /minus 1/.notdef 102/braceleft/braceright 104/.notdef] >> endobj 137 0 obj << /Type /Font /Subtype /Type1 /Encoding 346 0 R /BaseFont /Times-Roman >> endobj 135 0 obj << /Type /Font /Subtype /Type1 /Encoding 346 0 R /BaseFont /Times-Bold >> endobj 157 0 obj << /Type /Pages /Count 6 /Parent 355 0 R /Kids [130 0 R 172 0 R 199 0 R 217 0 R 235 0 R 248 0 R] >> endobj 273 0 obj << /Type /Pages /Count 4 /Parent 355 0 R /Kids [264 0 R 275 0 R 297 0 R 313 0 R] >> endobj 355 0 obj << /Type /Pages /Count 10 /Kids [157 0 R 273 0 R] >> endobj 356 0 obj << /Type /Outlines /First 7 0 R /Last 127 0 R /Count 7 >> endobj 127 0 obj << /Title 128 0 R /A 125 0 R /Parent 356 0 R /Prev 99 0 R >> endobj 123 0 obj << /Title 124 0 R /A 121 0 R /Parent 99 0 R /Prev 111 0 R >> endobj 119 0 obj << /Title 120 0 R /A 117 0 R /Parent 111 0 R /Prev 115 0 R >> endobj 115 0 obj << /Title 116 0 R /A 113 0 R /Parent 111 0 R /Next 119 0 R >> endobj 111 0 obj << /Title 112 0 R /A 109 0 R /Parent 99 0 R /Prev 107 0 R /Next 123 0 R /First 115 0 R /Last 119 0 R /Count -2 >> endobj 107 0 obj << /Title 108 0 R /A 105 0 R /Parent 99 0 R /Prev 103 0 R /Next 111 0 R >> endobj 103 0 obj << /Title 104 0 R /A 101 0 R /Parent 99 0 R /Next 107 0 R >> endobj 99 0 obj << /Title 100 0 R /A 97 0 R /Parent 356 0 R /Prev 71 0 R /Next 127 0 R /First 103 0 R /Last 123 0 R /Count -4 >> endobj 95 0 obj << /Title 96 0 R /A 93 0 R /Parent 87 0 R /Prev 91 0 R >> endobj 91 0 obj << /Title 92 0 R /A 89 0 R /Parent 87 0 R /Next 95 0 R >> endobj 87 0 obj << /Title 88 0 R /A 85 0 R /Parent 71 0 R /Prev 83 0 R /First 91 0 R /Last 95 0 R /Count -2 >> endobj 83 0 obj << /Title 84 0 R /A 81 0 R /Parent 71 0 R /Prev 79 0 R /Next 87 0 R >> endobj 79 0 obj << /Title 80 0 R /A 77 0 R /Parent 71 0 R /Prev 75 0 R /Next 83 0 R >> endobj 75 0 obj << /Title 76 0 R /A 73 0 R /Parent 71 0 R /Next 79 0 R >> endobj 71 0 obj << /Title 72 0 R /A 69 0 R /Parent 356 0 R /Prev 59 0 R /Next 99 0 R /First 75 0 R /Last 87 0 R /Count -4 >> endobj 67 0 obj << /Title 68 0 R /A 65 0 R /Parent 59 0 R /Prev 63 0 R >> endobj 63 0 obj << /Title 64 0 R /A 61 0 R /Parent 59 0 R /Next 67 0 R >> endobj 59 0 obj << /Title 60 0 R /A 57 0 R /Parent 356 0 R /Prev 35 0 R /Next 71 0 R /First 63 0 R /Last 67 0 R /Count -2 >> endobj 55 0 obj << /Title 56 0 R /A 53 0 R /Parent 35 0 R /Prev 51 0 R >> endobj 51 0 obj << /Title 52 0 R /A 49 0 R /Parent 35 0 R /Prev 43 0 R /Next 55 0 R >> endobj 47 0 obj << /Title 48 0 R /A 45 0 R /Parent 43 0 R >> endobj 43 0 obj << /Title 44 0 R /A 41 0 R /Parent 35 0 R /Prev 39 0 R /Next 51 0 R /First 47 0 R /Last 47 0 R /Count -1 >> endobj 39 0 obj << /Title 40 0 R /A 37 0 R /Parent 35 0 R /Next 43 0 R >> endobj 35 0 obj << /Title 36 0 R /A 33 0 R /Parent 356 0 R /Prev 11 0 R /Next 59 0 R /First 39 0 R /Last 55 0 R /Count -4 >> endobj 31 0 obj << /Title 32 0 R /A 29 0 R /Parent 11 0 R /Prev 27 0 R >> endobj 27 0 obj << /Title 28 0 R /A 25 0 R /Parent 11 0 R /Prev 23 0 R /Next 31 0 R >> endobj 23 0 obj << /Title 24 0 R /A 21 0 R /Parent 11 0 R /Prev 15 0 R /Next 27 0 R >> endobj 19 0 obj << /Title 20 0 R /A 17 0 R /Parent 15 0 R >> endobj 15 0 obj << /Title 16 0 R /A 13 0 R /Parent 11 0 R /Next 23 0 R /First 19 0 R /Last 19 0 R /Count -1 >> endobj 11 0 obj << /Title 12 0 R /A 9 0 R /Parent 356 0 R /Prev 7 0 R /Next 35 0 R /First 15 0 R /Last 31 0 R /Count -4 >> endobj 7 0 obj << /Title 8 0 R /A 5 0 R /Parent 356 0 R /Next 11 0 R >> endobj 357 0 obj << /Names [(Doc-Start) 141 0 R (Hfootnote.1) 186 0 R (cite.Bogdanov) 168 0 R (cite.ChangR79) 196 0 R (cite.Chefter98) 161 0 R (cite.CheiShvar-dimacs) 232 0 R (cite.Composer-TR) 246 0 R (cite.Concurrency-Factory) 329 0 R (cite.Concurrency-workbench) 328 0 R (cite.Dean) 163 0 R (cite.FGLLS-podc96) 311 0 R (cite.GLTV03) 194 0 R (cite.Goldman91) 309 0 R (cite.GoldmanSMAS) 310 0 R (cite.GuttagHorning) 260 0 R (cite.Hoare85) 330 0 R (cite.IOA-TR) 167 0 R (cite.LeLann77) 195 0 R (cite.Lynch-book) 193 0 R (cite.LynchT87) 158 0 R (cite.LynchT89) 159 0 R (cite.Milner89) 331 0 R (cite.NAD-TR) 259 0 R (cite.Nigam) 261 0 R (cite.OCCAM) 323 0 R (cite.Ramirez) 162 0 R (cite.Roscoe95) 324 0 R (cite.SimulatorManual-tr) 160 0 R (cite.Solovey03) 166 0 R (cite.Tauber) 308 0 R (cite.Tsai) 165 0 R (cite.Win) 164 0 R (cite.mpi-forum:final) 169 0 R (cite.mpiJava) 170 0 R (figure.1) 197 0 R (figure.10) 291 0 R (figure.2) 213 0 R (figure.3) 214 0 R (figure.4) 221 0 R (figure.5) 238 0 R (figure.6) 241 0 R (figure.7) 270 0 R (figure.8) 272 0 R (figure.9) 278 0 R (page.1) 133 0 R (page.10) 315 0 R (page.2) 174 0 R (page.3) 201 0 R (page.4) 219 0 R (page.5) 237 0 R (page.6) 250 0 R (page.7) 266 0 R (page.8) 277 0 R (page.9) 299 0 R (section*.1) 322 0 R (section.1) 6 0 R (section.2) 10 0 R (section.3) 34 0 R (section.4) 58 0 R (section.5) 70 0 R (section.6) 98 0 R (section.7) 126 0 R (subsection.2.1) 14 0 R (subsection.2.2) 22 0 R (subsection.2.3) 26 0 R (subsection.2.4) 30 0 R (subsection.3.1) 38 0 R (subsection.3.2) 42 0 R (subsection.3.3) 50 0 R (subsection.3.4) 54 0 R (subsection.4.1) 62 0 R (subsection.4.2) 66 0 R (subsection.5.1) 74 0 R (subsection.5.2) 78 0 R (subsection.5.3) 82 0 R (subsection.5.4) 86 0 R (subsection.6.1) 102 0 R (subsection.6.2) 106 0 R (subsection.6.3) 110 0 R (subsection.6.4) 122 0 R (subsubsection.2.1.1) 18 0 R (subsubsection.3.2.1) 46 0 R (subsubsection.5.4.1) 90 0 R (subsubsection.5.4.2) 94 0 R (subsubsection.6.3.1) 114 0 R (subsubsection.6.3.2) 118 0 R (theorem.1) 295 0 R] /Limits [(Doc-Start) (theorem.1)] >> endobj 358 0 obj << /Kids [357 0 R] >> endobj 359 0 obj << /Dests 358 0 R >> endobj 360 0 obj << /Type /Catalog /Pages 355 0 R /Outlines 356 0 R /Names 359 0 R /PageMode /UseOutlines /URI<> /ViewerPreferences<<>> /OpenAction 129 0 R >> endobj 361 0 obj << /Producer (pdfTeX-0.14h) /Author(Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai)/Title(Compiling IOA without Global Synchronization)/Subject(IEEE NCA 2004)/Creator(LaTeX with hyperref package)/Producer(pdfTeX14.h)/Keywords(formal methods, compilers, I/O automata, IOA, MPI, Java, simulation relation, refinement mapping, synchronization, parallel composition, distributed computation, system design) /Creator (TeX) /CreationDate (D:20040721210100) >> endobj xref 0 362 0000000001 65535 f 0000000002 00000 f 0000000003 00000 f 0000000004 00000 f 0000000134 00000 f 0000000009 00000 n 0000009112 00000 n 0000110930 00000 n 0000000054 00000 n 0000000086 00000 n 0000015392 00000 n 0000110807 00000 n 0000000131 00000 n 0000000176 00000 n 0000015446 00000 n 0000110696 00000 n 0000000227 00000 n 0000000271 00000 n 0000015504 00000 n 0000110635 00000 n 0000000327 00000 n 0000000377 00000 n 0000015622 00000 n 0000110548 00000 n 0000000428 00000 n 0000000463 00000 n 0000015678 00000 n 0000110461 00000 n 0000000514 00000 n 0000000565 00000 n 0000027842 00000 n 0000110387 00000 n 0000000616 00000 n 0000000650 00000 n 0000027896 00000 n 0000110262 00000 n 0000000696 00000 n 0000000739 00000 n 0000028016 00000 n 0000110188 00000 n 0000000790 00000 n 0000000836 00000 n 0000028076 00000 n 0000110064 00000 n 0000000887 00000 n 0000000927 00000 n 0000028136 00000 n 0000110003 00000 n 0000000983 00000 n 0000001025 00000 n 0000034833 00000 n 0000109916 00000 n 0000001076 00000 n 0000001116 00000 n 0000034891 00000 n 0000109842 00000 n 0000001167 00000 n 0000001201 00000 n 0000035011 00000 n 0000109717 00000 n 0000001247 00000 n 0000001292 00000 n 0000035070 00000 n 0000109643 00000 n 0000001343 00000 n 0000001376 00000 n 0000041406 00000 n 0000109569 00000 n 0000001427 00000 n 0000001458 00000 n 0000041464 00000 n 0000109444 00000 n 0000001504 00000 n 0000001550 00000 n 0000041522 00000 n 0000109370 00000 n 0000001601 00000 n 0000001641 00000 n 0000041582 00000 n 0000109283 00000 n 0000001692 00000 n 0000001736 00000 n 0000047128 00000 n 0000109196 00000 n 0000001787 00000 n 0000001831 00000 n 0000047186 00000 n 0000109085 00000 n 0000001882 00000 n 0000001928 00000 n 0000047243 00000 n 0000109011 00000 n 0000001984 00000 n 0000002036 00000 n 0000047363 00000 n 0000108937 00000 n 0000002092 00000 n 0000002147 00000 n 0000054919 00000 n 0000108808 00000 n 0000002193 00000 n 0000002238 00000 n 0000054977 00000 n 0000108730 00000 n 0000002290 00000 n 0000002317 00000 n 0000055036 00000 n 0000108638 00000 n 0000002369 00000 n 0000002407 00000 n 0000055159 00000 n 0000108507 00000 n 0000002459 00000 n 0000002492 00000 n 0000062493 00000 n 0000108428 00000 n 0000002549 00000 n 0000002616 00000 n 0000062552 00000 n 0000108349 00000 n 0000002673 00000 n 0000002722 00000 n 0000062609 00000 n 0000108271 00000 n 0000002774 00000 n 0000002817 00000 n 0000062730 00000 n 0000108193 00000 n 0000002864 00000 n 0000002898 00000 n 0000006747 00000 n 0000009169 00000 n 0000002950 00000 n 0000008998 00000 n 0000000136 00000 f 0000107739 00000 n 0000000142 00000 f 0000107647 00000 n 0000107077 00000 n 0000105253 00000 n 0000106916 00000 n 0000009053 00000 n 0000000191 00000 f 0000105160 00000 n 0000006975 00000 n 0000007130 00000 n 0000007284 00000 n 0000007450 00000 n 0000007606 00000 n 0000007760 00000 n 0000007912 00000 n 0000008062 00000 n 0000008214 00000 n 0000008371 00000 n 0000008525 00000 n 0000008681 00000 n 0000008843 00000 n 0000107830 00000 n 0000070770 00000 n 0000070830 00000 n 0000069924 00000 n 0000069629 00000 n 0000071013 00000 n 0000069747 00000 n 0000071318 00000 n 0000071257 00000 n 0000071074 00000 n 0000070466 00000 n 0000069511 00000 n 0000070405 00000 n 0000070101 00000 n 0000015738 00000 n 0000014238 00000 n 0000009280 00000 n 0000015337 00000 n 0000014410 00000 n 0000104510 00000 n 0000101263 00000 n 0000104348 00000 n 0000100575 00000 n 0000096539 00000 n 0000100414 00000 n 0000096096 00000 n 0000094429 00000 n 0000095937 00000 n 0000014564 00000 n 0000015562 00000 n 0000014721 00000 n 0000014874 00000 n 0000015030 00000 n 0000015186 00000 n 0000000000 00000 f 0000094341 00000 n 0000070709 00000 n 0000070344 00000 n 0000070649 00000 n 0000069570 00000 n 0000020912 00000 n 0000021097 00000 n 0000020419 00000 n 0000015887 00000 n 0000020857 00000 n 0000092179 00000 n 0000089992 00000 n 0000092020 00000 n 0000089296 00000 n 0000086957 00000 n 0000089136 00000 n 0000020559 00000 n 0000020709 00000 n 0000086610 00000 n 0000084593 00000 n 0000086450 00000 n 0000020974 00000 n 0000021035 00000 n 0000025851 00000 n 0000028196 00000 n 0000025687 00000 n 0000021259 00000 n 0000027787 00000 n 0000027014 00000 n 0000027954 00000 n 0000027177 00000 n 0000027334 00000 n 0000084275 00000 n 0000082222 00000 n 0000084116 00000 n 0000027486 00000 n 0000027637 00000 n 0000026827 00000 n 0000026907 00000 n 0000026993 00000 n 0000069688 00000 n 0000032641 00000 n 0000035130 00000 n 0000032493 00000 n 0000028372 00000 n 0000034717 00000 n 0000034772 00000 n 0000034257 00000 n 0000034408 00000 n 0000034949 00000 n 0000034567 00000 n 0000034069 00000 n 0000034149 00000 n 0000034235 00000 n 0000071196 00000 n 0000041642 00000 n 0000039943 00000 n 0000035295 00000 n 0000041351 00000 n 0000040131 00000 n 0000040285 00000 n 0000040433 00000 n 0000040586 00000 n 0000040746 00000 n 0000040898 00000 n 0000041050 00000 n 0000041201 00000 n 0000070161 00000 n 0000069983 00000 n 0000070952 00000 n 0000052170 00000 n 0000047483 00000 n 0000046306 00000 n 0000041792 00000 n 0000047073 00000 n 0000046462 00000 n 0000046614 00000 n 0000046765 00000 n 0000047301 00000 n 0000046916 00000 n 0000047422 00000 n 0000107947 00000 n 0000055220 00000 n 0000051998 00000 n 0000047594 00000 n 0000054803 00000 n 0000054858 00000 n 0000053875 00000 n 0000054025 00000 n 0000054177 00000 n 0000081548 00000 n 0000076207 00000 n 0000081386 00000 n 0000054333 00000 n 0000075902 00000 n 0000073942 00000 n 0000075740 00000 n 0000054494 00000 n 0000054651 00000 n 0000055097 00000 n 0000053687 00000 n 0000053767 00000 n 0000053853 00000 n 0000062670 00000 n 0000062790 00000 n 0000060991 00000 n 0000055424 00000 n 0000062438 00000 n 0000061179 00000 n 0000061331 00000 n 0000061493 00000 n 0000061645 00000 n 0000061799 00000 n 0000061956 00000 n 0000062114 00000 n 0000062278 00000 n 0000071135 00000 n 0000070527 00000 n 0000070042 00000 n 0000069806 00000 n 0000071379 00000 n 0000068216 00000 n 0000062977 00000 n 0000069338 00000 n 0000068388 00000 n 0000068543 00000 n 0000068695 00000 n 0000068848 00000 n 0000069004 00000 n 0000069171 00000 n 0000069393 00000 n 0000069452 00000 n 0000069865 00000 n 0000073606 00000 n 0000071503 00000 n 0000073447 00000 n 0000070222 00000 n 0000070283 00000 n 0000070588 00000 n 0000070891 00000 n 0000073839 00000 n 0000073809 00000 n 0000076123 00000 n 0000076099 00000 n 0000081945 00000 n 0000081779 00000 n 0000084505 00000 n 0000084477 00000 n 0000086850 00000 n 0000086820 00000 n 0000089761 00000 n 0000089574 00000 n 0000092442 00000 n 0000092388 00000 n 0000092551 00000 n 0000096428 00000 n 0000096312 00000 n 0000101018 00000 n 0000100832 00000 n 0000104963 00000 n 0000104735 00000 n 0000107536 00000 n 0000107302 00000 n 0000108048 00000 n 0000108118 00000 n 0000111002 00000 n 0000113065 00000 n 0000113104 00000 n 0000113142 00000 n 0000113312 00000 n trailer << /Size 362 /Root 360 0 R /Info 361 0 R >> startxref 113786 %%EOF