; TeX output 2009.11.05:1408 color push Black color popK`y cmr10color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popDtGGcmr17XQ cmr12color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop1 cmmi10߲߲߲ܵܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲ܲܲỲ߲߲߲߲color push Black color popcolor push Black color popỲ߲߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲ܲܲ !", cmsy10߲color push Black color popcolor push Black color pop߲ܲܲ O!cmsy7* ] g0MEqLogicbӵ,UX!RWLogic*:S߲߲߲ܲܲܲܲܲܲܲܲٓRcmr7 0ercmmi7߲߲Ỳ߲߲߲color push Black color popcolor push Black color pop߲߲߲߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵߱ 󜙪 cgN8T:=Eb}[AT͍߸+3߲=)LCan;:=Eb}[AWƵ:S߲߲߲߲߲߲߲ܲ6color push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲ܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲ y <b砍9]8n:Nat^߲(even0p(n)UH=q)UH9x;y":Nat(o}'dd(x)8^o}'dd(y[ٲ)^n=x8+y)):S߲߲e y <஍MEqLogict,UX!MKFOL^=.:S߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲߲߲color push Black color popcolor push Black color pop߲߲ܲ9"V cmbx10߲color push Black color popcolor push Black color pop߲߲߲߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop * ZGPSfile="figures/snapshot-web.eps" llx=0 lly=0 urx=760 ury=816 rwi=4104 S܎ ܒcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲ cmsy9E捲color push Black color popcolor push Black color popܸܲܲܲܲܲܲF6Kt=t^0\iifUsC1S^8:::g^8Cnq~;UU߲ܲgcolor push Black color popcolor push Black color pophʍ ߪ!\/hvars{(t09)varsu(t)8[yn u cmex10[ tjg=17vars$(Cj6):S iN ߪ!Ta!ɍuvarsҲ(CiTL)varsu(t)8[شi1 [ tjg=17vars$(Cj6):Sܲ!jy ߪ!\!ɍvars(u0፴iTL)varsu(t)8[شi1 [ tjg=17vars$(Cj6):S"kxAG ߪ!'t:s0if:C1S^8:::g^8CnӲ߲߲#lcolor push Black color popcolor push Black color pop߲߲߲߲߲Ỿߵ߲Ỿ;cmmi6At}\cmti7AỾ߲color push Black color popcolor push Black color pop߲߲߲߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop$m_ fJPSfile="figures/confluence-diagram.eps" llx=0 lly=0 urx=97 ury=89 rwi=970 a]%pGcolor push Black color popcolor push Black color pop߲&p Ǫ Z9dźt0C!E t1!Et2!E:::Sߵ߲߲߲߲߲'q Ǫ Z9׍}T:=ET͍V+3V=Can0:=ES߲߲߱ܲ(rcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲)s\r`G zG7!߲*t {d㍡Yq":Can1ɍ6=EVUX!T:=E;S߲߲߲ߵߵ߲+tcolor push Black color popcolor push Black color popߵ߲ߵߵߵO \cmmi5ܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop㲵ߵߵߵ߲߲ܲܲܲܲߵߵܲܲcolor push Black color popcolor push Black color pop㲵ܲܲcolor push Black color popcolor push Black color pop㲵ߵZcmr5,ur Vq bHG UO߲ܲܲܲ-xȍcolor push Black color popcolor push Black color popܲܲ.yR Ҫ 6.juSd?.aD!Ed?.b.aD!Ed?.b.b.a8...D!Ed?.b.b.ɸX.?b.a...Sܲܲ/yۍ Ҫ 6./GaD!Eb?.aD!Eb?.b.a8...D!Eb?.b.ոX!.?b.a...S0{Ocolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲ1| ⍡Maǔ!c G:S߲ܲ܎2}ܗɛ6eɚ6f r,N @ʑ7!ܲ܎3~ܗɛ6eɚ6f r\" @ʑ7!ܲ܎4~ܗɛ6eɚ6f ry֙ @ʑ7!ܲ5~򍲗 r>#a?.b.c!cS6^ r1)a?.b.cx#!c?.cS7 r1)a?.b.cx#!b?.cSܲ܎8ܗ.Ҝ-ӥ rIt،7!߲ܲܲܲ9" r_K/a?.b.c)!c?.b.cS:ܒcolor push Black color popcolor push Black color popܲܲܲܲ;0 G/a?.b.c)!b?.b.cSܲܲ<color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲ绲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color pop⻲ܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲EEcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲEEEEcolor push Black color popcolor push Black color pop߲ܸFܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲߲߲߲ܲܲܲܲܲܲܲܲỲܲܲܲܲܲܲܲܲ=\ W"X.xlx:t!t0\iifUs(^ t$i uid=viTL)8^(^ tjwjIJ:sj6)^(^ Xrkpk!qk됲)S>$color push Black color popcolor push Black color popEEEEEEܲܲcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popỾ? lx:t!t0\iifUsC1S^8:::g^8CnS߲ܲ@ꍲ .fњzՍ!ɍvars(uiTL)varsu(t)8[شi1 [ tjg=17vars$(Cj6);S߲߲߲Aƍcolor push Black color popcolor push Black color popߵ߲߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popB iKPSfile="figures/coherence-diagram.eps" llx=0 lly=0 urx=153 ury=92 rwi=1530 ᎌCmcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲ܲܲܲܲD' e \˄i+R=(;Em[8A;;RDz);SEcolor push Black color popcolor push Black color pop߲Ỿq% cmsy6¿߲߲߲߸߲ܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܸFܲFcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲ㎌F 4h=5" cmmi9n;D@mEEEEE㲵FFFFFFܲܲG֍color push Black color popcolor push Black color popܲܲܲܲܲF߲ܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popH ȣWPSfile="figures/vending-machine-search-graph.eps" llx=0 lly=0 urx=312 ury=191 rwi=3120 9+I򍲒color push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲ߵ߲߲ܲܲܲcolor push Black color popcolor push Black color popEEEEEE߲ܲܲܲܲcolor push Black color popcolor push Black color popF߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲJ \ CFPqs 0ncmsy50 Ų:T:0s=Eb}0[A0;s0/UX!T:=Eb}[A;s0S߲߲߲K \ CvÍOqk+B0 g:T:0s=Eb}0[A0;k+B00[;UX!T:=Eb}[A;k+B0S߲߲ܲܲܲܲܲܲLKcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲܲܲܲܲܲܲMl lB ʕ΍Pqs0 Ų:T:0s=Eb}0[A0;s0/UX!T:=Eb}[A;s0S߲߲߲߲߲ܲܲN\color push Black color popcolor push Black color pop߲߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲߵ߲߲߲ܲܲܲcolor push Black color popcolor push Black color popOʍ @GNprotecting>M0 ѻ)UHextending:\EM0)UHincludingM0|s:S߲߲߲߲ܲܲܲܲܲܲܲܲPVcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲFFܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popEE㲸FEEEEEEEEEEEEEEEEEEܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܵܲܵܲܵܲܵܲܵܲܵܲܵܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲQY dNPsystemUUtheory functionalUUtheorysystemUUmoGduleFfunctionalUUmoGdule<FPP <HFHPHP HHHH H ܲܲܲܲ绲ܲܲܲܲܲRcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲ⻲color push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popSt BIIPSfile="figures/order-theories.eps" llx=0 lly=0 urx=369 ury=320 rwi=2952 (NᎌTcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲EEEEcolor push Black color popcolor push Black color popEE㲵EEEEEEEE㲸FFܵܵܵܵỲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲ㎌Ux WGS<ܲ܎VMܗ& L@GSӊܲ܎Wܗ& ߜ&! KbGS^0òܲܲܲܲܲܲܲܲX(color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܵ㲵color push Black color popcolor push Black color pop߲߲߲߲ܵܵܲܵܵܲܵܲܵܵܵܵܵܵܵܵܵܵ绲ܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܵܵܵܵܵܲܵܵܵܲܵܵܵܲܲܵܵܵܵܵܲܵܵܵܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲ⻲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܵܵܲcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popY >qCPSfile="figures/lex-pair.eps" llx=0 lly=0 urx=406 ury=315 rwi=3248 F܎ZŞܒcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲ⻲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵߲߲߲ܵܵܵܵܵܲܵܵܵܲܵܵܵܵܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop[Q XMPSfile="figures/predefined-modules.eps" llx=0 lly=0 urx=294 ury=459 rwi=2352 8\ݍcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲ绲߲߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲỲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲ]ՙ G|j((i?quoj)*j)+(iremj) =i;Sܲܲ^ܚcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲ绲color push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܵܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܵܲܵܲᎌ_F GFZ׍#IF!find(1Sw;PA;I[)K-]~Jlɍ#0+DSrfind(JSw;PA;I[)min(xI[;K-]~Jێ)#find(;Sw;S;0) =0 "=rfind(JS;S;I[)#find(;Sw;"" ;I[)=@j cmti9@if IF!K5@then-I[@elsenotFound#rfind(@R{Sw;"" ;I[)=@if IF!K5@then-K@elseSI#find(;Sw;PA;I[)6=notFound )=.Ý)#substr(&6Sw;0D@;find(*S;PA;I[))+TIPy+substr(0Sw;find(Sw;PA;I[)+ 'Jr;K)D=S#rfind(@R{Sw;PA;I[)6=notFound)=.Ý)#substr(&6Sw;0D@;rfind(.S;PA;I[))+TIPy+substr(0Sw;rfind(Sw;PA;I[)+ 'Jr;K)D=SSܲܲܲܲ` }color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲỲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popa\ ֍SPSfile="figures/predefined-parameterized.eps" llx=0 lly=0 urx=310 ury=161 rwi=3100 7)b$ύcolor push Black color popcolor push Black color pop߲ܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵ܲߵ߲߲߲߲ܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܵܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popc% =OPSfile="figures/weakly-sortable-list.eps" llx=0 lly=0 urx=466 ury=171 rwi=4104 Sd8{color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲ绲ܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pope99 HPSfile="figures/sortable-list.eps" llx=0 lly=0 urx=484 ury=170 rwi=4104 Sf;color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲸߲ܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popgCSܲ\ #  C(;Sܲܲڍ GjAP .7=fG(p)jp2;q5groundUUsubstitutionYNCg;S GMֵLg([t])=fG(p)2AP .7j(Em[8D)`0(8;)tjUX=㎵(p)=trueg:S XGPK$(R;kP) .7=(T:=Eb};k[8;(!1፷R^);Lg);Sܲܲܲܲcolor push Black color popcolor push Black color pop܍ dGK$(R;kP)g;[t]jUX=㎵':S߲߲Ỿ߲߲ܲx #dݒ˄zxK$(R;kP)g;[t]jUX=㎵'S߲߲߲ܲܲpcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popM 5QPSfile="figures/model-checking-modules.eps" llx=0 lly=0 urx=386 ury=244 rwi=3860 rIcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵߲߲color push Black color popcolor push Black color pop߲ Gm auȸ!f(a)$!f(f(a))*N!f(f(f(a))):!g;Sܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲ㍵ݗy#G 68f(h(y[ٲ);x)=f(g[ٲ(y);zp)Sߵcolor push Black color popcolor push Black color pop߲߲߲߲߲߲ߵ߲UU D USB!T΍?2= 6㳍 D f/4t1T΍ Do?2C=t0፱1_^㈵:::q^㈵tnT΍ 9z?28=̵t0፴nS߲⻾߲9 D EZ`(8YiTL)[ٲ(ti)=[ٲ(t0፴i);S߲ߵ߲再 D |sNKT΍?2= 6} D &YNKT΍?2= 6߲color push Black color popcolor push Black color pop߲߲߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲFcolor push Black color popcolor push Black color pop㎌縍 IGnEEEEE㲵Fܲܲܲ鿍color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲ܲܲܵF߲color push Black color popcolor push Black color pop㲵ܲܲcolor push Black color popcolor push Black color pop߲ܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop㲵߲color push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲFcolor push Black color popcolor push Black color popܲFcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵color push Black color popcolor push Black color popỾ߲߲Srlrm N A#&T΍?2= 6߲> N A<܍εt;G(t[r]pR)SՍ8Q` N A#we7!󇍵8UX N A8>mwe7!񍸗8'[٥ N ALwe7!\8ip N Aaˠwe7!ƍ N Aύ9x08(y[ٟ0b+zp0>в);x08s(y[ٟ00++zp00 ):S3 '[٥ N A4d/HT΍?2= 6ߵ߲1b@ N AczT΍?2= 6߲߲߲߲߲ƍcolor push Black color popcolor push Black color popiXX *4GT΍?2= 6򍲗 K`;ceq[ٲ(t;t09);_ttS߲x­=S K LqT΍?2= 6߲ܲܲܲܲܲܲ2color push Black color popcolor push Black color popỾ⻲߲ pQ;(9X)tUX!_t0S߲߲߲ѷ߲߲߲߲color push Black color popcolor push Black color pop߲߲G T} TʠʑjUX=vѵUXOj T} bc0ʑjUX=vѵ(UXOj T} 3]0ʑjUX=v߲߲߲߲߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲color push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲ߷color push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܱܱܴܱܱܴܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܵܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popỲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܸܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲỲcolor push Black color popcolor push Black color pop߲ܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲỲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲ绲߲߲߲߲EEEEcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop㲵ܲܲܲܲcolor push Black color popcolor push Black color popܲܵܲcolor push Black color popcolor push Black color pop㲵ܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵ܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲEEcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop2XQ ff cmr12ݲݲܲߴỾ߲/q q F [;/7; H2q q F [r67; ߴѴѴ⻲ܲHcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲIi q8,FvX8+s(0)p(;:fGCscmtt8GX7!G0g;Gbase.s(0)pFvX8+s(0)p(;:fGX7!Gs(#G1:GNat)!ig;GindI&Rs(#1:Nat8+s(0))SܲܲܲܲѷGJGG E=E7!GGܲܲܲܲܲѷGKG Hj8u7!GGGGܲܲܲܲܲѷGGL&G \ʡ F7!GGܲܲܲܲܲܲѷGLG Hj+)7!GGGGܲܲܲܲܲѷGGM+Gƥ :\ʡ67S7!GGGGܲܲܲܲܲܲѷGGMGƥ :\ʡAE7!GGܲܲܲܲܲN;color push Black color popcolor push Black color popN sIPOX8+s(0)POfe#󎍍ymr;:fGX7!Gs(#G1:GNat)!ig;GindI&Rs(#1:Nat8+s(0)feD*D*) ]ymr;:f#G1:GNatd7!Gs(#G2:GNat)!ig;Gind]#s(s(#2:Nat8+s(0)feD*D*))ymr;:f#G2:GNatd7!Gs(#G3:GNat)!ig;Gind]#s(s(s(#3:Nat8+s(0)feD*D*)))ymr:::S߲܎O6ܗpЗ0pќ/ )k ֕-C7!ܸܸܸܵܲܲܵܲܲ܎Qܗ )k ֕?BC7!ܵ܎R9ܗ )k ֕-BC7!ܸܸܲܲܲܲܲܲRMwMx )k ֕y; S0]%^% )k ֕+;; S]%^% )k ֕<; T% )k ֕ ; T )k ֕; U$֗'*՜'+ )k ֕=Fp; Ѵ߲Ucolor push Black color popcolor push Black color popỸ¾¾¾ܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popF㎌V? ) ג n;D@mEEEE㲵FF߲FFFFF߲ܲܲܲܲܲܲXZcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲcolor push Black color popcolor push Black color pop߲ܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲcolor push Black color popcolor push Black color pop㲎Y Gvu<?M:Money>Fl;+ j<?acq#1:Money>S߲߲ܲܲF߲߲߲⻲߲ܲܲܲܲ[Սcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲ\UUG &9C[ x䍑Ub8߲ܲ^=UUG #ݒ,btx䍑~ET^UUG #ݒYbtx䍑~ET_=.Ҝ/ѥ #ݒ?iPٍx䍑Ub8䵲߲_UU #ݒF,*ٍx䍑~Eq `;UU #ݒ)cx䍑Ub8䵎`ƍUX #ݒ3 x䍑~ETaDUX #ݒ@X֠x䍑~Eq aXX #ݒ*’T΍?2= 6bGUUUX #ݒ<’x䍑Ub8䵎b؍UUUX #ݒGX;’x䍑~ET߲cVϗ31Μ32 G3 RT΍?2= 6ܲܲܲܲܲcލV V  G38;1x䍑fAx 7߲dyV V  G3` ;1x䍑fAx 7߲ܲܲܲdh<G G3*fKx䍑fAx 7eh<G G39tJfK\qG~Ids Ufh<G G3MϠfK\qG~Ids Ufcolor push Black color popcolor push Black color popܲfļ;DĻ;E w HoXAYЍ\qG~Ids UܲܲܲgUUq w HIQA\qG~Ids Uh9&& w H%Qx䍑Ub8䵎h&& w H.4x䍑fAx 7i7&& w H=p\qG~Ids Ui&& w HNlx䍑~Eq j4&& w HwРT΍?2= 6jkGx w H<%t-x䍑fAx 7kHx w HIx䍑Ub8䵎kǍx w H!㎠Ix䍑fAx 7lEx w H0SI\qG~Ids UlÍx w HChIx䍑~Eq ߲߲ܲܲܲܲܲmBGUU ڤ%\*RFx䍑fAx 7m፵GUU ڤ%\9ޠRF\qG~Ids Un_&S٭ ڤ%\$frwэT΍?2= 6nߍ ڤ%\~wэx䍑fAx 7ok ڤ%\)o~wэ\qG~Ids Uo鍲UU ڤ%\A~wэx䍑fAx 7ܲFܲܲEEEܲphcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop㲵܎qܗ8 V1ӠG7!ܵܲ܎rٍܗ8 -#G7!ܵ܎sLܗ8 `AϠG7!ܸ܎sܗ8ݜN# (\AG7!ܸt* G\qG~Ids U t Gx䍑fAx 7 uUW G\qG~Ids U uUW 5Gx䍑fAx 7 vUWUX 9נG\qG~Ids U vUWUX IwԠGx䍑fAx 7wח);xť Lx䍑fAx 7߲w:xƜ;xť A;ՠT΍?2= 6x F -rV?\qG~Ids Ux F ?AttributeSܵ@@㲵ܲܲܲܵܵܵܲܵܵܵܵܲܲcolor push Black color popcolor push Black color pop %NOLG$~a:v:& fLG_~aI0pIG *&e=]x䍑~ST& X=]@ߖ:::N4hO5:C~4j\q  ~alx:v[l;\q  ~ab:v[b6i:::qUX!m:::hO:C~4j\q~ab:v[br0 ߵ; v~ar:v[r i:::S X6۠$损\qҵ~alwj߲$'6ٜ&6ڥ XA$损\q ~ab ڲ߲ 6(ʜ XQ0捍Ŀ~ar D߲!$ X损\:::ikRhO5:Xj\q  ~alx:v[l;\q  ~ab:v[b6; u~ar:xU; ~x卑ac:xr0"U;Attsi:::HfUX!m:::qhO5:Xj\q  ~alx:v[l;\q (~ab:v[br0o; v~ar:v[r ; ~x卑ac:xr0"U;Attsi:::S"00 X3rNo~ac #㍲ X7~No\qҵ~alwj$[ X'eNo\q ~ab ڲ%ٍȄ7| X78NoĿ~ar D&WȄ7| XHkuNoȵ~x'͍Ȅ7| XTNoǵ~xxr0Uܲܲܲܲܲ(Acolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popFܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop)ҍ ZO(j*:`&>j ZO)ܲܲ܎+ܗb*c* v~O(j܎,ܗ>jc* ݠ~O۲)ܲܲF܎-ܗ @ z K(jܸFܸܸFܸܸFܸܸFܸܸFܸܸF܎.ܗ)~8 @ zvK۲)jFܸFܸܸFܸܸܸܸܸܸFܸܸFܸܸܲFܸܲܲFܲFܸFܸܸܲFܸܲFܸܸܲܲܲFܸܲFܸܸܲܲܲFܸܲܲFܸܲFܸܸܲܲܲFܸܲFܸܲܲܲFܸܲFܸܸܲܲܲFܸܲFܸܲܲܲFܸܲFܸ܎/ܗ @ zK(jܸ܎0ܗ>j @ z K۲)ܸܲFܸܲܲFܸܲFܸFܸܲFܸܸܲܲFܸܲܲFܸܲF܎1YܗmCW @ zmCWK(jܸF܎2ܗmCW>j @ zHK۲)ܸܸܲFܸܲܲFܸܲFܸFܸFܸܲFܸܸܲFܸܸܲFܸܲFܸܸFܸ܎3}ܗ @ z6K(jܸܸܸ܎48ܗ8>j @ z6K۲)܎5ܗ @ zBK(jܸFܸܸF܎6ܗ>j @ zQBK۲)ܸ܎7ܗ @ zNK(jܸ܎8ܗ>j8 @ z NK۲)܎9ܗ>j8 @ zINK(ܸFܸܸF܎:ܗ>j8 @ zaYzNK۲)ܸ܎;lܗ @ zZK(jܸ܎<ݍܗ>j8 @ z ZK۲)܎=Qܗ>j8 @ zIZK(ܸFܸܸF܎>ܗ>j8 @ zaYzZK۲)ܸܸFܸܲFܸܸܲܲFܸܲ?;color push Black color popcolor push Black color popܸܸܸܸܲܲFܸܸF܎@ƍܗ 8udG(jܸ܎A`ܗ>j BKdG۲)ܸFܸFܸFFܸܸܸܸܸܸܸܸܸܸܸFܸFܸܸFܸܸܲFܸܸܸܸܲ܎Bԍܗ G(jܸܸ܎Cܗ8>j OG۲)ܸܸFܸܸFܸܸFFܸܸܸܸܸܸܸܸFܸܸܸܸܸܸܸܸܸܸܸܸFܸܸܸܸܸܸܸܸܸFܸܸܸܸFܸFܸܲFܸܲFܸܸFܸܲFܸܲFܸFܸFܸFܸܸFܸFܸFܸFܸFܸFܸFܸFܸF܎Dܗ<Mi Ҡ,G(jܸF܎ECܗ<Mi>j ,G۲)ܸFܸFܸFFܸFܸܸFܸFcolor push Black color popcolor push Black color popܸFܸܸFܸܸF܎GHܗ|| @G(jܸF܎Hܗ||>j Cr@G۲)ܸܸFܸFܸFܸFܸܲFܸܲ܎IYܗ XG(jܸFܸܸF܎Jܗ>j|| QXG۲)ܸFܸFܸFܸܲFܸܸܲFܸFܸܸFܸܲFܸܲFܸFܸFܸܸFܸFܸܸFܸFܸܸFܸFܸܸFܸFܸFܸFܸFܸܸFܸFܸFܸFܸܸFܸܸFܸFܸܸFܸFܸFܸF܎Khܗ)~ RG(jܸF܎Lܗ)~>j G۲)ܸFܸF܎Mܗ|Hl |0G(jܸF܎NŒܗ|Hl>j K0G۲)ܸFܸFܸFܸܸFܸFܸܸFܸFܸܸFܸFܸFܸFܸFFܸFܸܲFܲFܸܸFܸFܸܸFFܸF܎Oܗ|| =G(jܸF܎Pܗ||>j bKG۲)ܸFܸFܸܸFܸF܎Q\ܗ|| U'G(jܸF܎Rܗ||>j G۲)ܸFܸFܸܸFܸܲFܸܲFܸܲFܸܲFܸFܸܸܲFܸܲFܸFܸFܸܸܲFܸܲFܸFܸܸܲFܸܲFܸFܸFFܸܲFܸܲFܸFܸܸܲFܸܲFܸFܸFSXcolor push Black color popcolor push Black color popFܸFܸFܸF܎Tqܗ<b] ҠLG(jܸF܎Uܗ<b]>j  LG۲)FܸF܎Vܗ pG(jܸF܎Wܗ>j nĠpG۲)FܸFܸFܸܸFܸFܸܸFܸFFܸFܸܸFܸFF܎Xnܗ G(jܸܸܸܸܲܲFܸܸܸܸܸܸܸܸܸFܸFܸܸFܸܸܲFܸܸܲFܸ܎Yܗ <G(jܸܸ܎ZӍܗ8>j O<G۲)ܸܸFܸܸF܎[Iܗ TG۲)jܸF܎\ȍܗ xG(jܸܸܸFܸܸFܸܸF܎]?ܗ 8uG۲)jܸFܸFܸܸFܸܸFFܸFܸܲFܸܲ܎^ɍܗ G(jܸ܎_fܗ>j G۲)ܸFܸFܸFܸFܸFܸFܸFܸFܸFܸFܸF܎`ڍܒcolor push Black color popcolor push Black color popܸFܸFܸFܸܸFܸܸFFܸFܸFܸܸFܸܸFFܸFܸFܸܸFܸܸFFܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲ܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲ܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲ܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲߲ܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲ܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲߲ܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲color push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲ܲcolor push Black color popcolor push Black color pop߲߲߲color push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲߲߲߲߲߲߲ܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲ܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲߲߲߲߲ܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲcolor push Black color popcolor push Black color pop߲ܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲܲcolor push Black color popcolor push Black color popcolor push Black color popàth)E˂Rbth)E˂Pccth)E˂Ldȍth)E˂Ae-th)E˂Xf㒍th)E˂Wgth)E˂Uh\th)E˂Tith)E˂Rj&th)E˂Pk勍th)E˂Llth)E˂KmUth)E˂En溍th)E˂Aoth)E˂2;S oGCscmtt8F cmsy9=5" cmmi9 cmmi10 0ercmmi7O \cmmi5K`y cmr10ٓRcmr7Zcmr5< lcircle10O line10u cmex10