SQLite format 3@ ,.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info _Ed, ]/ Encodability_Process_Calculi:threads=2elapsed=61.914cpu=121.192gc=8.084factor=1.967zXZִF! l ]ŗXf1-q恈͐7ӺV XN_JoXJAQ;[؍{J<+}-zʆR) RJA`6›>hҾϥ>O&yOR׌>9QLԳ#Y 4*-wG{ۧnO/TSkz[0 j~YhonX2r{*f}P'DTc! ]mN89 OFWƮpНm~4lV&(*`gz<=|!ֵ1I<]Y#mR#*^g–cIHjrͺ# 3=#rY>DزKiblT9`+lng=g_axpJ6[>j杚Uu0eDΧ~$K^rO,7,,a$xi^oޖAIPH㇓ ++ jYv@x:鞃;Om! bL\Ȼ7a?%-jmK` S:;#邮{!Хҷ.DF9 4Erks[1os`賧-MYYďŁgʂODˉK"qPTTuW¼哫'>9u 砄.!5/$`poFh/FEoGPk{ƈ/% 7j'VY(ž7؋!E [/a~q41ـ"v{|rJ=G3N qatcQ|m9(;kV}V,r B2s&UI$/+ddJ5N1XGOe;*5:id Gރ?M(F!@CI 9ҲyYδH_## E=} 7v55pfD x(l ~ Upg%OVhDеG[䔕:#~9{=W\o@[׿0$-5=wjf0 6Mɋa}S`'ԧ)^ RLmRZ1lL': mz3$c7ɩj uOȭk g]& ֥YC "VJP辖JQ8Q4.^6lB쿿s—*dgYZ7zXZִF! yk]ŗXiɟ1˦r p0+7bOa\ AT4展ghsϦC1 !#@&IV/_ ̂}k{&_ߓ'WAqʈ.- LD(ӋiR1Wy=z;ƻ$緍E⟇0$/I8ADX5YTL[Fc[Jud&7_C9?Qc*o㾓m߈ Tx!k?W"G [(.WAiJJ"u-3 R;Zy^B EJR;ʧTlAr‡ M.H(c[{J$R;%, E Encodability_Process_Calculi+*Ey% Encodability_Process_CalculiEncodability_Process_Calculi.OperationalCorrespondencedocument.tex7zXZִF! >\]A-MՋhvG"uIBm5łMyAH<pn9UKwqJC)T_HZ86( =6O#黟)h`a\złq#!ykryXzOѭ̫ zЈgI ݏ&^?]~F@XNqb:; ]c?6 MSGP# L#L TaVr)AX`64ǞTo)JY,?֍(UԜ5#StB}]ڻ%hK>vA|CCcL9y̸M@aGct9{ RkX 5P_ &ŒažTViLo>(2_N TR%U[2+ON|9&"ZI {9|ʳ%vbadllPXU35](w@byhF^J & J/~CQ_~#i;ݺ..h#0O}*v"P8z度9/&dW`S@`UJ$;Ay5ᄘcpˎ"j QNei]IGEr,"TR/G~ 9Y-h];l'q.mc>|( U}]I_c*[fDӕB1LG0FxFG <}q+7:-clQ OCI*:!~2[Ńiy7 e4 _O[5-Cv>֏mScJ1N ;Dn?KGee|aج1m 8ھ=אاIa3mJgrw]P}Y-^7FxzG)S` }-ͦOg$7UdK>7./kHu-"Z˔TtPUWcxxtH;Ž!$~IqXeE.?:PU^,T*3 E="FufWVi $ZIYD*gt9(Av}Tڂ&N Sw!W&.I5jGu6⸎&;ƚI/ y쏅$HZ85Sl@otq;::*P09j='M?C\ͺ@Md'U]N P R&芣e.<OMObFL@㴘8A;Y޲\VV~svX?IX)/R`5>G٪Q5;8{N t8X0́c5]-^͓jvDZY_l)_FjaRр;tVȈieqBxݑB4R*(E ^vg}iS PEHΌQ/-'[S93t|mڨ5奧mۼp4|#:%-`x*r*,>ˏs†ݣd䖜#MH.EfҾ΀QxSn-ߔI_Uմve~^FԋrlN&΄Qǀ*0a> IAdjbEx!6gY©Jㄺki~:dl,Ƒtw/2Cf?w`99\s?fӺ#g/  (}^q1ji[gxFF:FιwOU{VN㍏qbwp9)H NV]Ep'< T4VsJly3t|gͮ-t<^1enӫP-`/w0o%Ou]9.,*I Lr[ab<87XuvgxTtw# .-RJ[}\ >RVӄ*^ dK$3*1Cďs 2 8%ywUR`! T):)4"խ k_/̠ݫx9Nԁ>ojY*Y>A}ꖨ!V1"3rpC IVQ*n[ +mXt=Ы/ @))Erkތ^uiUP 0KƖg*2n`kfuv־Zq:-YZ, {8;a:ZA\K*hItl0ΘH3TXDguB&U ϿƻG n(1iP6[f3TØW'dGQt{:,eK2mklaZMaTYpص?a`д AL`%l# .Y0no%L VםSydhCi75lNb埙3Y$^o>Nnފ4uqhgYf&52+m\X6m2FKKKR_y*@QϷ݂{1C!\ϾwQ){\Ր( j`j'1V9DVܟX}i q)B6hЩ|@a9'N#uU0̨6:JjB! vnb{H JZLv=탠aPe4\OȜ~q~"ZcnQ[Y'.c|OiRRvĪ>'] MѲN&+MYa׋ay;9_Twſ@_ړ;}pEPͿ֎#hw" P&e4M`wQwCW)i "єiH%[n& uחb29L* (%  @  " |& } 5_Eo%Encodability_Process_CalculiEncodability_Process_Calculi.DivergenceReflectiondocument.tex GE?%Encodability_Process_CalculiHOL-Library.OptionalSugardocument.tex DE9%Encodability_Process_CalculiHOL-Library.LaTeXsugardocument.tex _Eo%Encodability_Process_CalculiEncodability_Process_Calculi.SuccessSensitivenessdocument.tex YEc%Encodability_Process_CalculiEncodability_Process_Calculi.ProcessCalculidocument.texTEY%Encodability_Process_CalculiEncodability_Process_Calculi.Relationsdocument.texTEY%Encodability_Process_CalculiEncodability_Process_Calculi.Encodingsdocument.tex^Em%Encodability_Process_CalculiEncodability_Process_Calculi.SimulationRelationsdocument.texZEe%Encodability_Process_CalculiEncodability_Process_Calculi.FullAbstractiondocument.tex_Eo%Encodability_Process_CalculiEncodability_Process_Calculi.SourceTargetRelationdocument.tex[Eg%Encodability_Process_CalculiEncodability_Process_Calculi.CombinedCriteriadocument.texcEy% Encodability_Process_CalculiEncodability_Process_Calculi.OperationalCorrespondencedocument.tex3?(e7ڢ.ePqMrX,:Yى^/Ta\Pyh8??l͢G Tn8 ֑=tHY*=+ Eȍot[d3 t#/;$jVl9}DL§K.@?tkEWӗ̾ V+Pkkd'~!56纥&YCZC*Et*Φ`o6 g׃*̪\FQ;4 ɱ-‹v6LE PT3Cyy@ E/D*g;gf:=T>RT8=#py('gxn#K$$eM ;h~|~yrh5#̧r)oW`L-[{t+h_'͞-'UH/3M@.6!RsQ{4s򝴧}5[lVdإ[Mh#mOR*ߔVjHF>ƋLD BuBd8:9u9KO<~αWy**ҧD 4# ivq!&j\"B|/i"z%VI:jg{}m-/Vwm\&~1o>f6ɴK 5*]w^`W/Mt=P3ÖHģ4u05fc;aD )AW9tkɫo ׫a\Z`*PeҨyi`^ՒUe%+l/B%[R'ҺO FY(ޠ< P0C=n0pC= >aJ'lĺmb*ƎQ}rgYe{'.;y&Z~䟬y>SiDQI: {4+E1kooT1"/˱ KUGt--Ǣjy:'(ww\Mf<1:47x߄ķu,`RB7$x^R[.ĘV'f\Ɠ[elVơdx6 T1q5jV0ݧ?("#՘Ck:HaJ|Ulȫ{)Dc”UrթAߚ瘌MS!Lo&@XQLBI J O&V[!6k?C }`7Fgh1yXa>7i}:0|c w8rrC(f_,#3ŪICP6; IJ:17)2ߕ:PchYjٶs[9Is;fk\ӓ2,~cHI^m&lۃHWȁvL*VfyzPPGipx&i!֪7'fSEr $9 jf@>(dxepe3TXkV 犑mcj%hX6x;0`"|"ַ&u"G@*ɧZ lzLscA*=-nxQ ij|ͬhQ8)nzBVi 1<\Tf3t⚕ZlkHGHc8ea։v@5{iv¦V; *'$Kʪ*a;~b])6.503^sD6 sw@ECaZtjVIZR \Qo5޴?\ N1hG\aĎ Tb{ :*o G| VZaqu_^dT)yxxAQh3I;;wd6ZOK&AR@*L& 2&7-rF]˧i l#O1U޼3 8s:! -Er!>9^w`ŠGͼ'%´[t;Q%G{ۮmvL=i~`F3תq3ȈZ:Q.8q$%&/3Rl)Ԟ$"7kyh)^ńNhGړ+.F2{ªݟI5) \?%PmَeA\hHYuRˏE[G|Z(tu<>+Jcm4)cɢ#3DCk1$\G,2 s&bXzZ柤*-U+mAhfaRO+zиeiz]jKhh<eiQBAgFXe 9|@ߔ*0tu:s  OȬ62Eii5gKZa)O{ՒTdQHЄ*[Yf+'TgJ5NN+ͨچ:_k)cn})q.kdZ00Q`Xxn³2!Y,}mjVTjƞYk_T}%vۭ*c,rIP@Fgs"A6lZZ`P4n7OZ3Q lgqO7o:9KvL9`vFHWѧ4N+#3mj0?re6p/(tSV9/P'o+c9cB- 7g:N|*]|4 G؞rTrEǓ&gnWuϕx4&dMf.& NpCh :U~p(vN1eKjYq# @@œje7_]؈Ca(E V'[=Xtgwy.{l%b#XV9f=-%x0"9QCO(:# KBSkQ C'ǺW:v7BϜLp)*0ʉe5.#;y9u;3D:*T~3~ t~Kr~}XJkMa0QJ*={K w< t㤴!֜rTUbD.gލ/ ɥiv?Ɇýo CI {=HvD}lsHw-"^5]$hYd9ۮ vT,'C|ACF5Zؽ4l?9AU pr'$-;N} .Ln3Qޅd=P~x9=XN&|#`~)wHjX}mm4VI 55čY_ Q~=xWqp}!d'CۄużhUY}‘RB:Xܞ-5*1s%rM^`h-M)uP@|!ʄ ×{C/柲wsh*2̙_:ug Au{zp+spzvdtۑ۫iۤxVf)bŠFδkD>C boҮ6ٙ`jh*(%X#mn[[1j u/>r!>ɝ:v8հOQVcJ~*T&1VVk..wʈsc2Bl*jX!H_PB|͑K])0Ҩ6~IXب$LHѹ ߓ`tm6D~ e&rdJ4h7@mيQ/]ٛf_>7L5DnCW`wUm|Sb4rmdzJדו7w4:815OO.}= k۳!a*8[5-iv6h2N"[$^F._h`&]L!4i_[YgFw[8*>:mK΂<Z~2ӻR% ;$9oy$U|JP۠H?O rdL +`) M39/5h:S2+Iw OޗxWnv{ 3PtqXДy []RWMH4.@~K̗`V^G a .aTwvj?[UI[vxn vόaYct*?=Ѧ02iL|Kt}-u,R8(>:ڻe6)KRvFM)1%ShZB]7QҍֳݕL  K]<#41s="$yE}\}F^% [ׁRy)T$F<@'i/5K'@=]P:QCq1lQrOzaዠ[Iod?2Lg ߉ܦ'zy~- h-&) lO`3)'4q^tN zsN0mʣdUDԐ@eQRugi#W][ekS<21Idl즽Ejܙٌ@u!})X8$k(4J,X.dBDn|0TZ!]*p7NqPTt3G: MضV|{n}ͼF&Y,B;)v;4Gdd<-F!Ʃc+n+gi= ̸W)r' #%2;Z`vٷ' o^6=ˇ{^Qdoz]@G7<?ÝNp@C\"S w4ጘ_#(AyPdHL ?5*$u_K;GRҦ#)c1K/)efR"鎲4&\26/Q{g@DIm 3K=s6Kh1P!H6ÒvP(Y3[ Xؿ>x_T?vH|޷=xg<|U8#`9I/FHKev,.D(n6 Ր$6tՂS 2XiRI*ޒFEgV~8~USc4}q16B2\xD+fؙ9P$ÍqkO##`#M㖓ՌQi5+ u:O_Vlz+69Rb$Mkȳ컽bT_]9lFC[7@Kun/XPv_%azc,uҒӯxrS {._iZ)eoYm&ghvtdtI@Қ *uWI{> BBd61(T417fڧ1]Y̐& œ|0&OuTQɌWB55ݾO+2' ̞j+ _>FT .7)8^ 8TSpM>+U6p%~-\"XM@CL9V} _N^ObQ0|ѿAxW@/j@*cĆoD[2jFKHFKߩE9p#^ ӁRe*t%IOcD1̪acVsio&UA[@;pL4)v@' *4&\YtX>.WmhY7h숻]e-Tp3i.Ӌ$v|R2!)f٦n Sa^riRҿ7S'EzItCϹyuCc#eAu&| մEVnWbәx\;b{#|Qk2o5@!:Ȫs;]L5Q*619/'gVɯvZ,a5$%+Dˁq,Kl \]#rĊ'wo? g"I[-7>*O0EXYIv  )4T䫉7kȸFީ2q/R bQv)P]ȉ{# btR1wrsr_~_S 6bvNU>;-prA4p Kh&b2FnAV[R;$%xfoؾhRMN湋){ N+T:n"ID59L7ʶ(+锫c:n"D- }J'(ߙ/9u}ևʉD?TC{H<5ɐ S2K'o#~SJ=REpRd<l[2OkLeNm4.љdXqU3Ez9㙟uU [0NS%J7G1\3b jo&=?1.z@6TAF pˊQ  >Y8v}a\$%VsNW޾?)7 =^< ,ͨ^09[$MtjЗRz"-Cض䡈Lw) Zz.lʐ_' -Qv8xY4HH.:c 6/ρudo兢yiH̆*O<_Bwwwk>*kRn4|>~ƌ+Vߓt(xgrCS+lx$7 ̿*jZr~xAh"QKBM"TQ'g軕i'!8K2-ԉ Dޕ~Z']ҰFAJK%+/xꚄ׿πx:~`5WC~=}^4=3#*e%֐g4q*b>ȝXpX&3RPfA&sMlB$z0\֐Gs j%lhv&@?:wAx=KOBCX_.7bS>\ Ÿz/hٙTzO2m&DP:MDAlmnG bն\eFļ`W1\72'yl*sr-L0p0oLotnuCb>DIB]=ܐSBC_M,Wj*Gr gi{znN&FXqQ'Z2:!|?xlcMOU<p>% _ovrKM5)Z$*)X<2Rqf'ߕ62({|4Uʒǘ=`$]9Egx ;9k3ܫ|rw`ŒUxc"cn!z桭?#Lc]+j(J25<z3{ۄ!~-f {mH0Ѯ' ,"͈WPN6=3ZӆA%Ą[N>O7Vv`[SGĹA?jkE<;p+qT-'a!82Y8[(C"QIЩvMQ3HP곧A+k.-(5Lb]ϖL*"̈́+6FqE<@Y䒝nne1 J[#wɌ;9@zV35>*-͘\{PP. 3kA4[?~Ŀ_{RUoO#C/92Uc1}1(l>%a5* kv W; Ч9255uю(k[jP…(|In9J8+(еfdPRwbg|kݹ:JӔ!?*1BYc噋Qr=W23=a !_ fȨ0w֓)l$0=WK Ao :b_SH\ñE 7Oc!^~kaQW-|6yd^!Q`ѷep@g2!(j[x$ 8?.8!k7Y3=,o*ҙou㤒4@5g9nuf]h 9&H77̥OT,_1ȺSlRQ* 8kN4aĢӾ3Y;Fn@|-o,3Gn+h?sH.6W̦v%UT/Z,gb-r8_anu Us/.4D }Q],lAߚ)leuoaj {VZ:lg4H@אFyP@hY1 2"Ej{7(US~$€xM1moLb0mM "c4 u[LbY!<qCLI.[ޮd ^[ܣbӊ|, *qepAe'=Z1VBqGKP<2X]&P`:m>H>mc:+.$.))LbY8 F.yXW &Xd2L> #h MqVorh($"ח!*P*軍DHȓ5ڙsCaƛBa\ʃe_E ВQn)<EH \Z3MVc3kK:Z`b)lqhm"OXd6"] *¹ >H鱜lOZ;9Y3 KC{}y> ®Ī9j9AJkyYzPSfvܣ>f0m2 9vj`Js0+>1"@5nim))b$[!vƶKcPpX_, a&,QTA#dB)usFi\$]0؞1f3Ɵ>OA*y$[!ai.nVZ2F} uJ.@<}W#8S>i nd.>7 YӢ.{+􎋤XR"Me5</.h'=s/-2\ vܥ#Tҁ Ñ2Pp=_YY@5Xag4'6r zyѢ1oõĠW^#jA&A:hll -R$[=P||TF\s^E83'"tDp3?ʘ;]5  :hsY=v{Oid#UʃηS懒hZ1*èK/eOf+Rw_ʉE?~B"[j]T9)K'dJ,S$3hi8ޛ 1~li + x밇pXC xw.k-FoiЋ88|GtOYZřF ܧS!"9ͧc$hsp{`ܸZgKnź>RָA.arv?\wnT*?&)ĐTidU5҈ws@=h3gPDNe,5>ݕ[PD6mq˺+;k&=͂vm[^|\"i'PW?! Vr>C)N;r0qlN)u1F H hOC"Va:MJ (:Ӱ t{tu*SGA[5.1՛-NTvjRzj. c8x]n,xPgH񎢜*" j \uE%4 w 5 b4BОaFȯWϚ#EZN&NAQ^4zF5-p6s (l4GU#Ÿ6A α59H/j+"k٦(ߏȣ%8UZ߯y#<㌷jh/]XWq YK`, 5k XQVȋ9ϗ%CiU*(R  hb KY("spiP'IU8.1C.cGInِ/ ҇,I^zKCUmYm> Y AS(&@9msN$I& 5K3!-Gwk>nAN * 9H18g su-@NǑ2{-jp$%CJ@Z|sfܵi4̻pZGPMpk6 خ֕GdG?!DJbڸvy0EEB:c] ./p)(?v]3q *KSt@" < N'ǣ_ǓV X~ ,t ChQg}W~_'={1eU/vd%]?[q9'i:\Tڻ!xl̬_ ?pEidBo`i.t ۼ'Ɲ+ͪ 7 "!t 3i\8;Sk4wesuI}~UN"EyF{(h]H@qτsݴnKvǎX-E%V;JXKCPj!Ee"N-DI$ o'0^:!xaMTǑF=vFL/~-=jsM"uo7EOCe2 pm?nqx^zΞ)-U\#i!\,bPZA|[ >(GHvHGdR`ijV `#v 5VW(-_V=QނKzu2D T<)K:`TV,twpJxAWBObEHqVOu?0FV=wpDv|7@LߡrH 7K -?%ރׁ'ưC|.6@ι3kۜOB_XQv'(ZD߾2 O] )Aȕ?rd `%'iƅBi4_ާM/~=47@[ZI^4F*E 'dQD(v9qZ٦4uȡJR" lS0ҢB=e/$} *oVږzs W z^;e7uML1=&[7_.eenCF s 8Ks^:Y "Rp{$`57?J!Ϻ0cs5|&\՞8#z摌Pc-ZwvW&Epg\Gk_x6`/ToH_Ƕe_@2S::.0>3/P2$%̐A Q3+^v2A*:mn87F1nQP[fd_(0|Иxн:BR="p2O:!*@ 0}1u<+3 d㓞nE&#_EƇ!w5 e긹i9\V9wy W;,_sd8mLi8U'b(ӻZ3. &pIԟN8 ctP"o8lxî@u0^KB ~he7ZW&.~QKDe#:$5cu2 29OQӯ2{gGz+8HXHD5&%-9 >{cdC"MjQ!EͮmMD oa Rbs8 xfL71ibyql+/ =1036L=V\UO}M2|7O+7ޟ[%U%-5$l2q>[&Wa}Pe6bHؔJ%u8Bi{5C1NjG}}QՖ>u  <%5z\rc@ IS %j~6tA/am"^ҫ=$[|=M9$m0ny1.-6|}`hSU%Y?K/QHl)ʸ4sa ac9*TJD]%7z"PN#3S|ŀ۫ 5Svi*8Y)?yW`PT5+p I&x)f|Tktei<'/uН񆀸IL6WJQV zWOڎs} ARC,Y2ڞK?QMnZ/4&e$@S=١EH^A1%ݡ#%a>gkPX %F`t7;I(@ F}KxQ||ei8xugBZG\M44S')MhVEg/(!2t?QqgyalVBd8HÔTg9yR.smP½dxRHk}/j.?YvrIA"@>, qh#_#[0]SYYmU9{+ 7Oa$O7 ŏe5^Z%NӦBXA44%r26S*IK[ơ5;%Ar.yoe`ʪߌXH*7*`"-L'b!~!$Q".h|hYXEY/Jbnfi;Oju.ok.O N?̥jr9`T5O^#Uf>UjޥX0w#Щ*2~TU8[f;l!>{^.]\QO^>bY:=}TE>3W(hsxCa+ NθHWx$=!0-5oer fh+r:@}k@~--Id> 44:$ m<ûb`)G;3|:b[[|sp]a_R;T*4d0,.u%ѱo]3vyp*)/tQP1%ji(J0ZYU s›xd'\W@F+LDM+k?"~zJWTl_ Qk`J{!V1ֶ2DžmU M</tv?hz K۾rh]w70F:(6RP٭WӘ#ћhxQ5nC5A!Ʒ;~jM.&Jo8',fJћ7,;Q q~㡛ƑZZg6jWl +S$q'Эa䩌@Om<;JZn-þ^c X1d(&_)7׾NbJSgE|{dQ9mQYK܆Ui\ƽNZJTlClf1`2H Nًh۴M5dr}a:D {E_q{nF04}CZa3>E5}$}M]x0L{Q f IIC i|dbNX% ”\!Ԃj%ꮰl ly<,\Yxƀ:7 "9OsIGy08AӺB4[# qf{@T\F-w~.Eq*IՏK%3ׯKⳋWnQ8/ ]ʶ_'/o\WҘ[_2?$@苣%TIX+a4XH[e{G38|twxةgS`v(U4a]aa66 3@'! ⻪24cހG`~ň)0 URtd˦s\xF5[G˄9UK?քn,g>C1,438u1-cX;x(hr2~ βf/4r`Bx<3#ќ6Λ Q nmqvvݸ u_hoXŠ` O|}V.7bnňfF6 wU'KB>.X8AnxUa rY60;ִ: q{9m,TXn%U[j-N'xE7eP@r9Jb- 5 g ~,rI~ÂNH}1 ?13N%"k4LZ`u%}ƫU:e;~q~A [@7^YgݒAR>ucjwu̼qސȣ/L"U|s<ɻ76{~^ȓq!}wQn9MVh*R>~9b-懟ăɾ{eB e9(N*`_S yg pض[(L -['ʎS1ȇ=k9p4>e'Cw|%)_In ʿ[T"\ Ymr-w d tކ>5.|=cW[+m6D*Kђq7S4N2P A/MITcYfWhW;ĬxhX$X)o[FZʠ7U?Q^1ڲx q2^S}Z Pn8&d%>`/5~ $N+Vq|]otq~KNU'*#)e!\D{e*1&wjO+\ȽMc?*BVl'TvlE|t3֋9lܦHPYW/;Zn3(& hsviz@]=12N?8KNd*lSBI%PfPp.nwDm`EW_Es816Om|wP 0Qx_̢c?AЬz۷iZj^~23 ڹ 'e$|YA]/ kC1)"d#GF֌ݸᣃd&.&.`6csk_c etd$&W|kŜ>~gS#%b`4 r&66˧stMe*CU@m?<2X1,ti[~4s/$:)/5NBkK]ќϻ\c%EI0\ <*YDRSC`Od ({aL\e)U20; &aM1 Ӓ62z߄f +&4~h"ӶS|P_~zQQ?hT8]|ry+-`ڑy&Vx&:b<7ﮩS8Ci}.)o_*l"!)'\!>G1ɍ F>d&/spB ˕ݛ@ D-B1:U`YZSpVWflGܖ\%ς&e?y@1, r2 a" b{lgא8*J+\nA[$lw+"_Cb6)XV:wa< /`AR/̓&)=yLj9W\f)ӧ;^e#g>U !1?'^HĹBlC^="0^auS $\=I?7(s?, ]FZO#}8Ih;xIlVJ-%K2f_;ϒTbb~9[}{P;IF{ +ߐӳPLCz]!Z.De;ȹUu9ni*!tHXqNuH۩$ p%LqZ!h =%ڗD4g}p *kF /+H'u|vWL]"ױ[gQj'EU6xGRt[#;O"f ImeT9 <«q5F`}5J lx/fų^*ef.up ]ww JAx(t3a4K-""la,,v)7>t`wpDoM^'"uJ18:b߰#'1 ׈ !TPwD-U=lA }v>(%>n\_PADܸKGYO<(O PgI"sJrNy;tb=yGMw"E/l@m|# 4X5)dw^_F^m[LzS} IjU-l_QE 7-3RhiV|$??%â"3V `vQ*Hٔ^ sT&I4LA.a7/6ﻡ叕!P06cMmnF C /aJEMm %fA_G=bU@ +j4Eu$NZҠULg>aZQM9^ KK|duc틜~73[4C**0%kmb`rcU)𠥃e5ugغs*{W4: {ĶbDOShG: P0=nD}cC2󍝸V5KrU_E50`x-;7OvjcU /7GWZlyi>2~*{`xr2!”mmuJ.7pJ4`5_"ޞ>ՠN$vce4pRZgZ}N {㻊Z+wCK^ c`'eaB_x,|t.ƕr;ƫc]BUkyrjuZ>~ ~9Wߘ$ILmV|m Go Nq~{64eVt2[e%$0R$OlỞt<.v&P*myo3K,G9|e>ҨTHϜe ;ŏwoC&iR΄$QY>"1I9)Z:16OD)< CGmf~/ a;F\Գu6m@4w57p\<`Boœ%\h\Wgh!3咙TjT`lO+d¢+a7YA<;" g@P~,a ?U#ik<vCZ΅bNa"S[5֤ca"RITg$ +V|Lq'\o $63/eVk~oXI^*!sh'1ݿUGN 6D VG±,E>T-Ptbq]M[ܧ@eKa*9l]J׬=Fȷ~0)u:6Agٻ"'3 yB UZ, /,ڒ2#O?~,/wX8`"W2eMYM,wK‘xw͆kwfX37@f{?6QB"H~1rT+; ;\Dx7I}d !O fU4%剞1; Ju.7U6+"(J~8Fd[Vc)Uw2tߏd`~Y9AKc)%/rsrVivfo<ic[֢ʹH.\W#Ƽn\%#{)L2 l~?zZnvywǍI GDkyuT36Oqh.| Dx[ ^5i |x$=pfdO-VuMz b-L:/8L0JZQL&ؑ!C cցlsXTnԴWuo)wlO$hjg&(KWHXW/ۿ+Rj^׷h f-ebbVVudP9'OQ듭xo|J,MNj+b Ҫ_b .{#|̛SsEz*l!0/IΓ bC6[B>­P; k6D*ܠOpnR*@ &ξ LȨ8AQwڦKC0hpJJV*bv $EEXaD#kq{tJs_qmvI> 34DHN ㇁4&5# %ƙ:kG \ `F}{.kH SLЎg(]-Z]J (DKB|o* (3OlV 9)^4 Adʬ3Bcggq#Sa4PDyWYQ4`, O}T%:3(|NF9(y8W8[\*e޺AݟVc j| ۪OGfG; )YI5[]A i N`@ˊetZxJEŚG B|t? '_NW3w":Z]lfcJ0CۆYm-q}rܵaHJ!HkFٹzhO\j$!c av`dp !iB{< 0h*s@dЕގ-x咭T9c~t%Hh]f7rS@ur5񟎗Ycv0(0#Ř{R! b2Ðр !{(X RSQNLJn}zD^A끛4Y('aVmo4ऍw'M&n#Ύ!g = -#4=Gr@L ary#Aɑn O@ޫq#3( p52.,YC?Ҝrm^j43HE3 x'S6Ж\e N<3ǘ[z;ғF?80<t0`EֶD8qN ]d$11MB&֕7r0}㙓$Y&ooy0{USuoQv#_>-sw7%zt\FO2gPK)er@,+nƂ<hl3R;RW+qCDBh7ࣝ6A|b )֞+qMI4{7F$؜L?dT?}\]'5~aq 2ឆ}Jt4rҋhFXSω50̉d/;G# x2ۃXSy߯p.զ@BlR05U.)1j5J |L#]TtnAgˈy?ߘIɚMB#sy+ u5o$Er8.h;(66{ MA&#tOYZa."dzJFZ:$s1HXUJ 1)YXs)e{w> J L|^!@3>NEϜi{7-\(ћc&:  oT4=[3Iq ;Aɸ;5U_,,K9*lm!3 }YjyC#Ka:J;s^01ι⯺ PcPLz1ըO:\=*[%]Ė9$ eY6:/llE0{ުwK!R.HubhU&oK+D|ߢ{-VbUj'r9s<$`xTscEL/nF!Kުnoqg' ~hM at#-w X1 ~od kZGOCJ#ӲRt+N2G tv'zeQvKسJ`O5DdGFrþ rˈj:E s` 4gvpS~e |S v ?(®VgI\[ˆFXS,ip) xd$:9b#if^u) JP9W3δ񘈡' . :wY'݅`6=ʹm K NP7aUO.dI-A,1?|B"(Q]ݗ:!&dR"LWvpȼc֥*O'Jm7:ȭ>#>\^ %V>s m[HRQ %ti[# JnFhZ$䢟ʙ \vpTy@TB.FVhDmMfd O4?RU9$&pBK8ץ'5zL6Ɍ}X#&ޓtv[3!OF8>g+B՛AqO/hL$ :MtrU}rM}nC݌k5Yi9I{1BNfI@Wh45Vp=ͦvJ/-<֪˅EÁ3@iJ0 ƺSrgZ{G(0((~x :SOfy'bUwմ "x%u1oFDtlzE( d_ط@7:/?^E2*]}(W!wN~K.?ѧCgj`OFVI%1k9UDd؞} 962_HMUd>Šu6K-*CÆE%^kq5p33@~>UHpI|*%#60c3|\EsT`vyOIj~zHAT N/[NDOc-Z hOEq3hGoǗģW Jr QQXz㐆L2 z&,Ci :Ug? famp4w0%0~/@FdNn?e^#%:؃hQ$,oN``teޔm0_bZЕ/;hoIP3•U*g-RMX ٟ >smOqW+m( o]r`YzP1 ;8&S:plooOݺ0y_!\etWZ>F6zFB+ZLd3p l=s=?{9[zwo3kNޟX+nMU٩x,rugh^yFˈ_SIϧ.}]H>^#+I޽ӈq6#GDfWݵEhbu ֕JhÚdiPD]&^NWKɵ`y 8Y{C9#THT G[AwsWs/F lE>LD+j]'$l~w_a̠ < rJK|Z'QFgdk Uu)?H=iG׺"/- iz!HX/KA2c ڣ^ig{I6\P#_>`NQyRrJW(W'Fֱ"\OV[%z^Zpt%%%1U(p(GkU]o1^MJܓ8HpK&,ӎ>\W6̒a˓I>Q[ Y] *D2?<,[ѹ.HxJ %yɲ`٘ڶlfE~ T8ڍ)][!6W=i>e~k?'K(CM9]Q2ۆhtnk>UFzVe顑Fb<ԶTDM`HZHC,l 6 ǔ2IAaVuW$}'iJzR:aEPuv |MT3J4c€\k՛v2_1mY /Ȇv N.:Dm,2JnBG/ zWn,N3?:b[Q? ;?f" %0EG#NGY&IWtp`;'׬OCsrѿ|2_mU*۔nzۮ'ۻVd^kҋO3毕l[32YHVUx FFW,XX^j9MrrFm2EuJ#;K-sAŌf7 vB$Z3:R#WʼnVt}pơsfZqf;bFC-2jY] u="akX KLU^swkY.4 o=ㄧ7 ̇U4!x?| wG 3Ľ_SR4q-tk>W׳|c)l-i Kڐ@܇`H[ntT$9#C 9r0~RTV9?T*"ÿ@K$Di'!K)]%L}Bwư6a8O/P6N'30R}(ѯi,!e-[uOѧc=p Ю,)T ?r/%8ªpOY9oKﳙkS$>ٍ!.Я lvtv~À\UCվ9-AEfd J%N7X:yCmM%}Qx#ϟ_"Gd Q$DpWdQ{:Xj}E (|;#'O%1#;qSN|C"Iϡv9;%cWa-RWH[V2S^ @X@_dQ~ c+욘I'C(Qo0s5mUbsf+ XkWwHr.4.*ZYngųSfז֖4S}MDм/$_`ޖ S?>RK#Dm(D3 Y<Z]8i0قaij j5vs&2.*P|3[ LhfՉ=^$fyxU8`*lbC\m'hX[:+Y#{ZBPGbc(Ҕ]3%F%_f+,\anF8s#YNLu6:3J=n،WD6"Kv=P5_ 3|V`i^6/ʏ,lieRM6%9jw+| 0dK2s3mFk8xaQ!:CL T Td!`24J|SxqCkp1089V̙ "ImGxb.yZ vol]h@nY9"o&.! 6픫B H/脐N6D{ :0􊶃xBH˞8:t(iFhN;-#XnmKW(y "U*nFǯ=~y$/쁞ɁuѬlLo$Wshgq*i? >,dDoyPAF$]/J1K3w-tvL%6vud ۓNR3b(~[d}8 O>R6wU4@ C.&K )VDV5R@v mh΋hVu.sU|iQ#T*s؜5Ag4~A>8Fcf*1p2*ˏeińjݸ9ʹi'ݥK'}Цcߙkѿ+Ȱ`&a.fLfĴ.4x7X9UOgY~{eo`s<=+LJ@JI'HgDdSd')wyMwIk%>y*TF#C}XSkH$,$|R{RiQg70Ӂ"jY-S OIP[_;Sj˘;G9,L*XE,0tW_ZX|йJhB(z>"о %yj< &7z9M'-sƧuW8*hFP>m~~rvDMg c6OfGN`MQϥa*C莋z@nlOnCKf{:P>}ƕ}y,'lP-gs4##H~"=ܐn؊N)Uz\ xC(?d. @z͚"H5uqoc̈%sQ'He0wf.o MV g@MuS5 7%_k3fYUW@ʜ N.tށeL5OWVR1-VؑU wk븂|$qIp+wO64Kʐ9f< tϙڃX^SQZh+ 瑽68SIDr6/L͈lɗ m^2 +WSЧPMaY'[_3}O' 挻y+9> j3ϊ5a8=b0ܛY;utBIM`sbǾ\d$}T"=r(mֺwc^7 ZIYI#_lI34+?D- 8v/61S y~AZ!Zlo":KEgRCB"v?'/TjΌ?y )#3~b#i)64SD i. !Ь-)ZDϰ&Am8WEC2(H8*u [#NAQ-Yܧv-3 ~n]6f*I=[Qpv ?YM@*/L`N?af씸.cO|jhnfz8ABjvC㔡]j2 ШAdc%f&oM[o`@S0w*Ġe,yb. \@.1[I䲜ΙF.ѻ<7)+po;?C)5f(0rr^pxq$ Ԃ4j8؊vF(ݗNB[E"zRlFWnsvuEdIJ@5B!V=NM/4M!8d[m׌>ۊ;`wJoTC:_( ]Zzqu_}*u$=$ c߹y)H;ϴՎ6 ܟfo[\]A-MՋhvG"uIBm5łMyAH<pn9UKwqJC)T_HZ86( =6O#黟)h`a\złq#!ykryXzOѭ̫ zЈgI ݏ&^?]~F@XNqb:; ]c?6 MSGP# L#L TaVr)AX`64ǞTo)JY,?֍(UԜ5#StB}]ڻ%hK>vA|CCcL9y̸M@aGct9{ RkX 5P_ &ŒažTViLo>(2_N TR%U[2+ON|9&"ZI {9|ʳ%vbadllPXU35](w@byhF^J & J/~CQ_~#i;ݺ..h#0O}*v"P8z度9/&dW`S@`UJ$;Ay5ᄘcpˎ"j QNei]IGEr,"TR/G~ 9Y-h];l'q.mc>|( U}]I_c*[fDӕB1LG0FxFG <}q+7:-clQ OCI*:!~2[Ńiy7 e4 _O[5-Cv>֏mScJ1N ;Dn?KGee|aج1m 8ھ=אاIa3mJgrw]P}Y-^7FxzG)S` }-ͦOg$7UdK>7./kHu-"Z˔TtPUWcxxtH;Ž!$~IqXeE.?:PU^,T*3 E="FufWVi $ZIYD*gt9(Av}Tڂ&N Sw!W&.I5jGu6⸎&;ƚI/ y쏅$HZ85Sl@otq;::*P09j='M?C\ͺ@Md'U]N P R&芣e.<OMObFL@㴘8A;Y޲\VV~svX?IX)/R`5>G٪Q5;8{N t8X0́c5]-^͓jvDZY_l)_FjaRр;tVȈieqBxݑB4R*(E ^vg}iS PEHΌQ/-'[S93t|mڨ5奧mۼp4|#:%-`x*r*,>ˏs†ݣd䖜#MH.EfҾ΀QxSn-ߔI_Uմve~^FԋrlN&΄Qǀ*0a> IAdjbEx!6gY©Jㄺki~:dl,Ƒtw/2Cf?w`99\s?fӺ#g/  (}^q1ji[gxFF:FιwOU{VN㍏qbwp9)H NV]Ep'< T4VsJly3t|gͮ-t<^1enӫP-`/w0o%Ou]9.,*I Lr[ab<87XuvgxTtw# .-RJ[}\ >RVӄ*^ dK$3*1Cďs 2 8%ywUR`! T):)4"խ k_/̠ݫx9Nԁ>ojY*Y>A}ꖨ!V1"3rpC IVQ*n[ +mXt=Ы/ @))Erkތ^uiUP 0KƖg*2n`kfuv־Zq:-YZ, {8;a:ZA\K*hItl0ΘH3TXDguB&U ϿƻG n(1iP6[f3TØW'dGQt{:,eK2mklaZMaTYpص?a`д AL`%l# .Y0no%L VםSydhCi75lNb埙3Y$^o>Nnފ4uqhgYf&52+m\X6m2FKKKR_y*@QϷ݂{1C!\ϾwQ){\Ր( j`j'1V9DVܟX}i q)B6hЩ|@a9'N#uU0̨6:JjB! vnb{H JZLv=탠aPe4\OȜ~q~"ZcnQ[Y'.c|OiRRvĪ>'] MѲN&+MYa׋ay;9_Twſ@_ړ;}pEPͿ֎#hw" P&e4M`wQwCW)i "єiH%[n& uחb29L2T V}s1E#@#Ay{ !Eg% Encodability_Process_CalculiEncodability_Process_Calculi.CombinedCriteriadocument.tex7zXZִF! zJ]A-MՋhvG"uIBm5X(sU9jwL#|Gl3Td#vT9 /;2cԓ2lwv!0z2B=ּ_uE_oT6dEB}ZբOj7#( TOL>kU޷V\ lߙ=1a^ Y\b+ Ctɬ%A}Nꚹ mJ3us0l沩<{bCS1|%?@c #1&ӽDs|#Nh1l w"ys^ ^Q%O+KY%tW]FQArVl̩6g? !ا2lj0AELd$G`:d2Bedi٭cݾ<9Vif7h..6xBm"-}~}\}{[  Vj j6/$>/$G+\Cp=MR1BQv/  <n\2 œɂMsV!J:xx amyp^%SۣU{0.q""ӁWgnn1ƆIB룥?9^Ux G:񙰿r^=T?زL5 Ȋ" e`l p1Ԇ?T%7+!]A(OO8)bKAkݷdf؄IO"Uh<)AxCt>`a|17-IW,P_ur5arD9P9-yVhk/M9%N1671zӾֻQ|Tz=p'~*73 eVpM{_b|Q5\quq1(zOzJ#s8 FGgNl7}]A?^k*|%o8+z]r Q>Sj/3\RrCb1һZ7)q$ѧ+ 蓣G>$ר*ˡPVXyT1INَ4[8!&S ׀rWc%"'J_8[UI"oNG.Le ʙeMtmc~ bA;ΎB;^mV7spHTtU9h([{Q>S8o31s/ (Ʌy$9)?Yӝd@[,#^\* (MͅVp6JT702x^ڎ_I8ON^6*H4TKGSӱRqٴ2+j2欆¸M~z]*,'O;I;$H#v{x_C}e쐺6 ~ws37DrxSvFK ֝ H/uQk 4'7lf* reiF_Ŋ脥u ? `w-{!bvbd5oH"nݾgİh dyc-!U"Jg 2(aVqPw%sL+gh?G^*괔'62"I1i)`[ \؜ w )rnfՍz)+,VCitONk+ОՕTiG?CՎ+Q'AbW(0@e6cbNH8؛:*QaFp cWXqGXwl6/$*,an@YNW[wyJ8U띑bEZx} 1Nۓ.=_S=hP2e<@*oibрJZ|/xw?>p*L ݵ?эDZ 3V:M9 #i<RVD $zQҌ>J *|ejn6b(]LAˏt43\oX9]MzYe6hbZI 8I _jy62Ef4 Q"z>3x9H D9tЉn)gSYTtz;B- ZͫoX6Z_VcZ [|.c!о\FnWW|ߩ D X!İsDـCb#,\tu"Q "sU{BNy& r Yl) vPWkC6Yw(<>|n/6%Ch\H Se}ZyɀoXl7ۥ$ݺ/vUӐF[5:? v%Ho҃oW]7O9&Q D 9sMЉ6Q)lib+pso*dJ0SQĊN7 5H 8ރRrRwe)FN^5Oa][<;o ̗{bzhNz DhAԗ2zSzk JNan0 jJwk lނ*oOB*RCb +B _߄uRYop h9G_[8KD@:$1usNqGFVcCG"[/nHS )]JZ?VQ ](׎ћݘ~1$zF@.vlb;JyA^3r6瘜kww@X-4&vT1Hdez0hEE]+#HS"8۴i'\0:y45@BcȞYL+ 9{{Fh6'CUAZa8IdQ |TB:@ 烗nDז~ lCuLm,d/ju˷JSm}gs2wQo}!'>~'x||mװi~D$P5ҫ?{[jܿ1]"wc}ڈ;pՖPfh3)i+9BH 4Xܘ8-gOp"uNnm4^%?B pa[75ϴc0G;i]9t\vh b-<Jh3ȜC#;D;b0ToPN}{+smn1@"qkI~aCLGKFǚ`Jq_JJ̪,^> #iNSOR"k\M{e:i`΂ѕ ̫ᮽt" DEbꤒ4n`y̾.I7=&ށC\{Ya` ży* 1ќ WMNNk L&7瓊Ip@uP'PGQۨ1kS8rU 6 5%9 !Wm$83y`Տ?E)rEU+8֓W}͑ݵinɨ⍟rA[&;r؞I~rۋq% ׎.ϺV2f"OmVii>dl/qE~ ӯlg(@n=P ꮂD*MB:M JG ;wXamoHQJ"DUlc1`6I$#m2 B%&xrvK2X^|U73 :Ҥ`oē/ uSp+&b ~b[NZన+<4ŔlZ?XSem{MFFJ"9ųC=ٶ:OQ`1_2~VT64O=#Ü@ry@j&.Jmx)NJB69eI󢜄(݃.l1?^Ǽvl}m}a Cg$_$3үD>LJ$sٯQHMuU~8T# o!XAEl֤쬉Mw)[Uai!6$:xLkA `wg˸T]W\ _bO)l+ i?a[$~|OtA\LIሮO)؆{_y L\NÖ6$,%zz>Fq!3vo6;=T:G* m~wފf\ToڴÿmRpHзy"Δ^BR,D,+=ذtm0J4 fSOb?,b#*0 v8tDà5NUM C2 kʾ#R-Q$]X+WG/b>+M$sx?kXvwl:<͉'&} qN DaUܰ26`ŕѶkp),2c1zQ}ii`kˈ=qQ|Gr! ZP1: 0.oD*UIeV@0LM.?4M:-YB#|cSTz&+]}Tyڀ/!uu7/Xϩ&mCE)-IS|^/" k Ar9I ݛG|m')dۨцnEe%2\Yx:kzFfhoNU ~7v|-jזhH4N#N[܅NT7k`Zgpd7#sϽTֹeQ<.B)5P9̌f-E tH*R"B"nEV7ߨR90m0~ U_I8p;ib,fZd O>`D%>QOa$ 8װ-1C8lgVs{Xn^/{Qnd H KF5DŽ 9ȃ~qbE?ȱ< 5Q'?vy{{l8HjV=J͆uZҰϰή2߸ve)B Ll8h1aM6{1O|Q$)AnBmcU:!W&!lƔiv)7DBf3<--#pFm0jn˦ ]t{ C- y`B$ \LC4*n}uьiiB>+hF **>UB:,--vwNK*C-8b8 C7:у叨)R*uFw&?L O*ţ1>DAKU.lyPs$ JǦcx9>o.Tb|軶ּ525" ~,-~-#øW<^ 41F`+]A7Ԕb~q9`Qst,; ϥ9N2s'Iatg yēB⯼\30^dM?szbMv}^Ť^*6[+VpY}N Iy[E TB0M<2dxxL@9h.Ľ/,ͥ) QH|TRG? `jʟ DC jԤe%5^:t2`=*KUyvamOTFc13HW;uÚ$#/@\Xiagd[ʡҬOHZY ~n']TA$ٗDB9Gwkz#s{wOu" ұhxfM T LvM#%saLr IdIx~b?m77+uWG q%Rؗq Wm>yثԎ9gk5`tHNC7weēBY ^[GZ yհT2zukp.Fl其EpܰN%*qNh N.Rخ|plCq혤LCJxON2=xN[j=\9'pr[! V jؙB{qs-] >D^" Ɨ&\DIiHPUX7J/n  9,ƱkŃ+?¼C:rw_:>~rq‡*'Wv:inw;ȷڭ2G$@tjbB{I8]1mھu~B;]ߨ~ԃ,OIw,w{o{0J'|kg~Ouѷ65i[5C҆mrFumRpn3QB6G0'-[#[0q4&R*w<, MLG?j&󒤒WbON~Ve)lѵm@pV+M1C͊E&X-53֬ٶ;Ow4Sn X8=T Beo & t }­Tv҉Az5|fbeԄ|Wd$;Yg`jIJh{a+_zY$)Iw WŽY{ھ R9{@ww//S7%=W^R3F&eq7~wyifߋ#qM3S L]QƮ%9t} `;7. #&+1E%g6(dI9j+:25@E\:UfǢ=H]~﹯0> Nk8Z{3H؉mle!K7߭5gEv(&ʱ_OINexA#jEFG!b_ܵe:F}^{)o L3@=qVn5|fזekɻ> !><%כ ]S5I' rk<0 LQ#$s&ZԹj%zr41ͣFjFi`#3lw@mDp0kxoc)6]JIpV QB!y` J,p 2! qM!Z\$N3 n3!𗟏!U n_=`:ɼ"'ՏD~64D6˳ILa%FWVIEtopo[=Vt&<+ \>+9H /#u^=FBvls-f<{:x2P 񠯌'{d3GE=feU ם_B I̵H^r2 x?e;ܞy>1,,|dL<#1@V $@ K_B8:$YuJf ScL:h_˚OU"tpW1"kH;˂ R~@Уjl@z]_ e6(5=SFYmr?3 zVP"F~8zy[$n;KS L n8:b)č>-ʎ_Q}@EGR bTɰu!)ؠ0-d|{f^_Dg'OTQ#_VڂT''%I48{yV؋[u!N?_"+E|ctvcc`?,do8{=_a~<+)Ȟw3] BU"} W#I9$#FAXJϚeZ4ݜ2XgQ6_jBPCA Y =~Y %]bάd5|hGE)BzQZfhOxi[&F9nQ8K(Iѵ% JE~sl9 eM3YqOxNj OeƯeŏ8 =1C[?K="K5tbO{!vCQ⊄!i; D=n=ɹS /1c'WĚK*5PBQ@@ϛ-nPC(m'st6+ {10nOk>+FsɮD扂k掄#%xj Al f > عc B+bx< Y.M>Jt]T:.OqEk%]3n:V^Ю,Zߡk1wG{V*mN&S$/d'%TZ-q ]>'g/; gv,89BXYzi Du+39L#57ES@4xF3]8pQ'L;Ldd7+?W'[& U'7;$n_U\0y$rr bŤLu,U#f3|8)+h/+8=.C#ЬNeA˦\\~&q*{>ڠ9g .56P}S.S= 8vQ_hJ2<>K;hU没J%[;tN@XxM'NfxG{]t";M┪IC zb))pA~R7vx9Y)׺_HNõC@s4b!3.eiῩ?A;,D@ѥ .9' ޅ:;:c Xl&M} 9Ϭ3_%U}V̙xWBc\X2h<* %Aqr5Fx$j,sSQw>س!ZsDxhzJ'N a |U:GLTg*@w"k]J.UÖZ.fKZϻV]+i|Qv5@K~Gc@u{_ k٣pu/"w^Ѳ hAk:'8+>ʫkzKCblRLX=L0jnRQN)OSAhqy^.tcO(ESgTE(X$yܹ1*/цv7NBی- : >1$vݶkd|T yFRfجD-jV)Ly2/4&t,5KTB&0{<WWNQc Cy ˵uy(O doGJuY1~ϥ ކ)!I"E=KwzÁh)(y9n'{mO܊KY⠴3'Y }K(KjUn,kH m;pc uC)@wI\s߇2_rdc%i7Ī:}]OA[188HjȥZɭa6?$p|jdy”5蘾)x ^6۵Œ#z9xӳY pG6Hc3g"<^9dKclj; Vc9_S uXL_ikZq6}af 6e?wRYiC_Qʇ~AL<޺Aմ8'?[Nd&>TTovGl8t K'F.Įghl GRwSM<ñrܛ w .gPx>w>RV *'l3_0 }ZXxw9)Sz+X*L͖H3yTї\\%2;LT+κUAYsxTn5sCJuIi6F$тM#RFgaŒl*9Gl yÌI{YtnzN2cp %z=9͜,>&.}Pd̻PzBv ^qaN3*+>B)y'I>x 4r{߼ۏ̼BY[wy4ޮ8aľ&{]~?p:T`D\bCN:UW 7̈́JJ$r4p>gAKᆖdwlqDwJ Ӿ41/9F0V~bs.=A r!ja8ڟWm\rCߐehƱ{-'~ yY:ݩtVKRqDIдgSjI ȏ/6>HJƏ'>ЌE@ifkRFfrIK\=%e5KT')r[`47US$܂)="/lE$0XpX} (Kiu.p5Wr߹i. &F,3];,pHڄ~kU@Ci6\03Yҵ룊s^w!x mSֲEt2ܧW8K?qCo%ߖu%{@\xuOR}Tm)F1~'#O#L?`aG§k#T0MZ=H-fšvAŘn ܘ>1TK)1'D?>̷j`\DNC6d9"@#'p)EzCh¯pmQs|WgJ^#yE>eH/ràOmF1xe(9'\Tѧ.R\N)o1C!2]`zP ؤ:En,*FIIQ{C<}G'K E|;\Yܭ\K yH=O߯0A6¼kqq%aڱG. jɜE CtZ, ރhw~^N_~kyce~g z-;xFcy%|VM0`8 ޛUвp*7ճ<%Ր+6BDuڨlww " ɫr-FMz78f K[+>;^$f+{MGG "%䦸Mb6#@LhU)O_`~6xVOk? օ[ׅP\m Řuub#=RM>3M)տ O&]o66,QG[xxx_.x+;a5ur>-w6 䘔> :5 4A`W`[J,Y79L0E|^QI3DI[T(cy@!@ dE@omdi{ro_LӃ,@H>#!I ֑JqAy+b) ~5̆W,1t+BJJ|[GY\S;'Njev_-GVG v6E*+MW^o4XitY@GrXa@#E/8$(.@:8I<0ƪ2]{nT28T)Z*5Og`b6_\"ȗz0MWăҾ_T[>練3BH)7")-qH=\GA)"VxaY6m " /*4aoɹRZySAJ)T5QMê,딸K6O?++IDo1۩N'sU2=uh(m2:Z} !*Z`N"JlhaD8ӺSSk q쉖!mnغ>{#s 94kۿCc̱\ hN0;iE Jٕ T[ ~~fNjbgXĴu{bry2 evlyY\`%UTQFMJ!Z6 jc!ۼr<3KRzu19v񮨗%'sX%D+L= n=ۋ ɹ#$&ןqt{$<󾓝{>Er'CfDgܷr!aTѹ3:>IBDiz Y7djؒsΙc6_X' AFc>P긑4J*(4+P4e_\bw _T8dpp:t.;dOBk_C&h k0TYkEaޡ2E D4 V'aa05`^xr~}%bVI&^= esbU.MƹH( hjTAHuF0&ncZx xgcsRF|  AG$㪕{w6lÿ^@Æ!yWq? :xRD` bY 'ET չt݅ǶMGLGy>GgaenFi'u"AZ 40~BgF{k_c»,lۍ,ס>{FgY^PMPt/38va<)] ƕp j#]mwi`9> (Y˹>".nIcR}TQvqp#l_ZeQ;;"gaX8ކ@@$)Q!)z3Oo8cK>uK-+@g٪a Nз%A>g-i8lҸDܹ2W+2*t- ¼S2h&&M#ޤgAuބIJ!b)J^1O0 SDѩp#nڋ_sS`҈?xh VeSzb' $mtorQĨn"G%DP[pޔ; @[|AWbw.j(mj8zJ`+>URo)Ma&Y %5=*IIjnՋWioI;Jߝ2[siCgڗD<%[1m$Kg}OX+-, . k=S-H 7PI;tjUjVGb'6 udX߼ޟi% Z[- JlD *^rFu M^) !|gCta3< ?S~͡M۠Ww&u3n̺K?WaQ K*56$~+VmRdE `ٵk]g hdza-1pF4RY YU۪ėbEOpFYC6_~%¬ qUa-1V3YuQ\Ѣ_L^Fwy.n0P΢7%")4f׽}HfڌhRV7gagkB985«˪ҾSW$܀e%%΃u@]b9е|1q!`91͗ʻMN`7}֦En5Uܥ !læc[6QN{^o_!M"~v>\hƽpt8B%+ MzWMawuMX!CyEb%d"nb+gV {Y0Ja͟Ay۽c`죞n+С ~n.8空"@j#ݩ3xPga&5LY'-n~.2iGE1}v]V9Kyt-tL`g/D-eXm:] W"虣<-K鈷<ʣ;K傾gd\,Ӡ(QߺUjhYD+G7 ɚ#;^b*Nkn$GAYn.@.Y/ZϛT3WYWQGqrvu"U!=G]F#Q?{hM6S:[wҺJGi8a0m yF.K9/bOUV RW0vcepl8 \9c 7W8Du$'mTqvȑs^R g%$;ҙӹDf}'@Uj}dlU(u=炋=6 Z룄.7 \Ek$)`j_ _^}$9A@4r&;mա7ՙs%6AmGD? +S+N+{8AxSRT)Wljt)}衅Do *,^ &/&7ᯜ?%î2J *A;y(()rgR#/F e%s/rr'$?_smnK==pkĊ 6h6b#({<8sĀ & ݕ0!AC3ɇ9_:C?.k‰>-nOfltoj0iw2'-bT%fc WɯpFQ#8"'tO`&%77+QQȋ 3p+W-rt @cJc).4Kc䐅N?3Q*·A[Ks-\iw0bs7;A B}s[+<->oGRZXe0tK9/>*ŠJ :rMl`k2El=7P@fˈu?؂ojGC ʴnR|E"{?X಍sg95m 2fQOO>L L=y'$?wJ> x+ :odď)oj]iLuw]zhb#!/ #Tx=s^Bx_L}sVxS@M=G5*H'7v1̪gIDl~ SoӡcyD <ѓA֢]X`)53ɽx;h}5R!O4j=OՔՑDܷiѓ_g-Z̤/g#@Nn@.hy|01JT5aPEe_T-ۼi9@F\("&3T%8.UBc//bgׂʝ{Y jj#Ps([$%x9b]pg2: !yZVNiهL9^r\ ޟoB( Ālu ի<?aD.#smq  I'GrqxwV"5}-jrN8A|R>e24a|@XDsH_=‹B'WۤsM3xtMA |ߢu@lI1FzQBmv }kjEOu1Յ'0rd\Ȓc1 >;_#Zk5e bywy<:-ᵮE٤ofx[L+AaխXtECYn AmЃM0}v"UPT:KS\:(PYxP!IXx5/[PNn  '0bIs'ݾ{P٬*t#XHRp`t9ϳ5u о2R>N»Ja^PdiBMi a |H21+͔=E72m5ZՁ[@_Be' mnf5+ 5ݽACcHYD-( pׯ$O8XiXԱ+مa BӠyjjЎD5g Hri4-8/agL7IW)_1NyE-hA % $Q6gI~suR1}$mi=ɱDN"-^A9zf  6=Y76a*‚dy%Ъ>S[!p*5wkੱQiꎕ̿=w&^Z~,GS{$Le+CS^{&;qx MΝttȊb$[:f3TYb o+o=tr|ٝ\$;ЋZ9Mz ) S-kUUи{S2_cQD<.{ՀD>vu0Q6$3߆y-hIy/,JÃ@5y.tK SVY[J:4mf[R>E63P^] Wor_jlɮ,@+\=DY5']>W % `8h[w\k0;:2xb XJ$=q؞z>L~| yJй3B>} Pɓx0Xx%<3}1Uy_Hz~4ű-5۰=R{@$]Uʡq#7HQ>l)X^nM~. n;|0yo&~$d)}N!tr񥤎x1 R"UZ?BYkK- )V7/8'@0A}86d^" R4,O^H Nٸ̃B9!>U2 PB4+~Tb^u8"Taʹ*_b[@DJ~;3ﰾf^cm()QѤD٩:!oTlX8qllcݩQz{}Yn& y|(&vMV? 4qtDq +ϟU|5a`+|iܢq-B~ RpNByO`bi0a{XYpJ\%qu<&X9@J~lVʬ#RoOzyC[X%fÁ0)[{խTEUFe:VtXi]2%v"ͬ%/D1`yw;ci-d5V@rM~OaN I Meࠁ)Won[p7-~5[**K1#0t;%Y2ԗƱ9L< ]%#.Aqx<%>g@5UN|\A~tτiƇA`9@0z+6Ǡx˗R'1awlBq~k&K{R/5o6YvAK)FG ?.Zg݌q*PRZփP7 OՃEßҪ1׊o5d}y1Bw$TO"N]%6bPȇ [6ѫU ^Zɗ-c>Bj*peӻr(fVYS4xH,[~ :gﺼU)h5H(g=fUP盁xPOFUu'|'(TWZfT Wwa5%աKuC(v^vMіˮ"$D q@A/n$A:cYX0jh \PIѳd2JDӧ)jg :^ݼVnyY 6FUNHD^b@q@_Hqz^ޒITW*qIƓ@ǎ8Dqjf -CTNAFVV}bfiЂXAԛ):2m As.ީ~˗Ҁd㤑5LdxqX X =S6EQV;p*>c/?m #عnж4|$-4/IfP|i]L9,1ա=^6uDYLԭɛ7AS^0h|",?JϴL ReḷXBmoI6+Ah\$_‪3X$=J=xcQ&q3'^˕>GfU&8aḐ3Sr(kڧsA6a;T Vr? Ib9/`Pyhk|G2Ťe*ocG4vq++CVPFr@F~2>r9 1%#IzbY ~KPq)M$MZ*+&$Vk2G'Tw9O(P> Ŋemc x n2aq5ſ;%%~ɢIغ Yxۆ<()ƀcA?:ŕVuCWV}ViQí8/i9o3n]٫HYtOHrգ9̟_yuG«qKvlacC.ÓD5oV'Ǥُ}%Nf g?3ȗd#m%Wh(6oC`\ڧA,We* " &t5lR{yDUAjLLpud(jpY؂~x#%8oCWׅ(ذO| ~Zth;#u _ol (S;ޟ5ʊ+=k&+I(977l^ qMF&kC y /T2GӉ^ϑ~lG(UEb0CZ:[G{ш-mYX<>Hf*P&Qa~>$:xn߬TGnxdZw#ͅ 2/jƎD IZF^zI>`s"R^fb^^.Jk¢-n-؝&'lq,bNj=H!-I| KBԼv#4>hD7P !ʓM[4۷=XRB5} 1tyX_*T-#?[ RrZXƋڔ`Dq"I :;53N!$gShx?FDZ7)d̄ gzF*c/nv5׀9 &^@. iʄjKry6>B4SrF8x:ٜoznxJ=V3 :e;y1mfqGb=hQ&K)ʀ0O) w Pφ`[C`puVzKDc ,ÜWKr l6T1BJ}[Xy %=}f3}f8R 4Ϊ<bt4;BJv9wrK7VLQ۫=; J‡|osA\Vר l"c=/ka}h eՍɺc :=KF;wMw8ٹ)A6?ޢY̶gEYUNJ8c3#`pɴΐG=@ j-`Vuy#=HVgf'" ő 8G K'Yf ixm3PPvSPsz=z.# ":4l}ǔH5V G걎nQs5Z~ q C"*Kyw%i~z8rUNry4DItfᥴUvXcRx 3N 逑"hBSdb4i3N{1Rl> -Z9\gTL'=Ռ۩([3A,Z/ƮJG3'" !_}:ƞNa3;E-wF_eU`UFEdb_ 5cEu4 a:ٱ9tjŖkfzuu:ФiYx+K+ x/Zw*&*VեI2եBsnL9_yxI_+kZ4z( 8lL\xXG),T t^.=XL.-_4UNeKXZrM k/:PƄ|r2Txy0H++AhxF.,@j*Ӌ=ږ !!̘bN +4<ghS@J.A(UFfh3Gϲv W7x=>1\ϭEq]GL?ǥBسrH %M-dDfcj}3,גXUX/)k PX*VYB l舝_OVem!^i5NH9+BFr;6;i[4G M5B[Kd ^ABf|}>H禌Zk0ҽ2}-i+iF۸VȱNF:*ʵbfLm\gJt@@~~7-W#. Ό٦i]Sqx0E ܶ9Bib N6VV v}!b"s;5p\TOe?}ft̵Al pK4eJ4ci",rvE 5^u9U_Z`-}^`D\^yjdtnmq<|cjɄS]efaA$j a}Tq vu\RŽ m*~؅S(qH錿ؐ ,-p?AZpԌQB*K7;'δˇai 7cR' c7Z;|V}Օ!jQkVʹF]@E|R+n#e?.gE.E㶔ibW+ͱ??s:COl*Rү!WfSsHP 5x|=L8U )%tU7:Cgñ[tʼχ4gV> ѭ޹ zRCcW۸2E 3n먰C]IH4Qbjd¬ Dhr Tߊ LICVC ַFx+J W8eLٳq2  stk)DXΏ*{ yǡ/-:ci(FܾX{]\%/Wq >jTR,>ǦU<.BxkNa(YƠu,ҢhJ6ߛ9_Qf{}780ZKO̹lU 8TUZ= QȞ>J9Iuܶ0#csz܌6.B2t¼A]7Kh\kV*Z.F4bW,Ծ.-o!ǏweOm6p̈tFw;춭<8C[ߛ^r撔пRIkMY[pCeHL+AiVB@$G'^zf;0n ;w_$Ēs.}$WdwR$g7k;n> P9l}5mi]ƺhm[\NVG;SyY d!I~)ʛ ޒz:"OtgtėjU5x ؇՟S, ُ6xTȱ?y=|>O'[_m|@ C|ˈ7mWO=hTi__:KX2]2ݧ'hJ $,ϪVjcfA`t]f O.OyAϝg>aѿW',\"|x咍3zhC;"5 *p e;dȬ48"'(0V3E*xn]Å_V;;+~K9o~#_ҦΕ@tHm{ 63H)zvh,ɒi->F= M&?ԏtS@ FW{-y}4xbI>/]Ǝk+5TMư1] 7Nde>HT#@ *냗!_HI,&9y)pqej 5O#v3^#𣊸~Na:1ZhaRmOCz^OXA4,⿨Z4_g p/?k Ho9.AiUk{Nu?[=yՆS~ TS.gT>},RQ,S~72l.OiBe9>u?_0GIR!,c)X;Î.( K :Ǽ&ɒp"KMP\G 5(q5h4z?%Vm)x*\fͩCaTAaWܢ.˕SVuV-Yb[ ΢4< ͑UqlóD @YY:杫A]U@v}lSO俁'q=FJRB}ъ;vX`QPFҷ5kkqa *c\cz{"Ym)wQ ^]W7Vg "M9,4|*p``sqNŁ9\l '$$6vu1&>ɩhhk҇rmE5P2|ҳL>qc=$Ic5_FXEȟ҆k+$נNhNT*l;aWBdO_M[Wk0n.>zK AIUDi [HeoYԘ SL[T;;-F}ne7[ڥaM6h$ njL8\bd ` uAL⛃)/G 刖]/m4DZ}E=?U$MV \LʎJƻHCwT`F\_q F[q٣O~/Amɞ؇jHzUcK܂z@%\F ޙy\}¥dH!>Iy X 1ضxj}!W綦eMx67/uVF(oܒVz %sp6%Lo;3:'v[/^A/t O8<09uB|k`>{ k=klF2W@8]WÜCtoοV[=WAR^7EnD Bz\Ѫh6ےßEneqE>ouEƬqzӆFSuLE1 TkN)G׃Qp@VA^R{{XvgX%~ t"ɇՙ I | !tI,R(*spڪZB rlJ 5vP*؄cg6Z,:gTx%C{gJw@}G6;ڕy`yn:bcJjcOXEB(ǹoUK4A^g*^TvI6S$fAE_& q4řtڸ,H$ `\d?DJ[_c"\RRnm/?tjC>[%S9%x-ĕɞbi 7$O/o5{ -92Y('$v(±!y%|M/ў9}E\lȶ#'9ȧm܂{` F/dzꩁ(tK;~"B ? &1S3"O 4MmLiDEnh'uZ=c8&dJm2@`-q-w7nҲph[ DW<4ƙ]g?}X3ξBwM5U!5}s &`|d|G 1BO=x"gȔ<hM;;AJ' hZ R1A)Ot;Шzg[|ML\x 4QzeS5O}ĉ_'H8mj|1DΔ[}Zea!8Y/cb|=y1+"6D0jp%m"M,!7Nsl~[T]?E /MǗ5zmhhmq9*fFRZ@ P c̢5nBx~aQ.;mS, r~MHȒ@nP&3ͻJ e9lRrz$`?0dG2"}Md0oj;jޘO")Q%^\1c*gN $\[Sc(5 1Oa viK40p:yhѷ+~c58>$ݿv1PU:l d~>@+Q#kV0b#:d?Uam1ArX߭;/ c /'Sُo[DfT}sp){<ﳢ Xȃᇰ I'eS5Myiʿg&l~)1QD>Y@ۉUN <D jEz| ršfRD}E;IGJK5ʀp'ABu)^;{NF8NXi.fI>$4r 3L]]0+up b!0($1&Q"h^%V;:Z"%5DKdÖu˞wQimKӖN9T]Bg۹-۠Ǎ-|2J,"Y;0YA}0 ](ia<"ҺhC%" /d57N` yRs?d97,8pmWa-V"#Z11ؕs?,]n'zvP؛IT]g0LK6uԒ*L o[I vZ SޱAda*Ӝ"=G~Hw8Ju.zd")iutoX]aŚ A:m(AgݒKksRC fIp %۲}jf6 v ]u\/|HPU) F5*,@5 ެՋ*_fvQ@KB'n&Wk̩۳ lnXlz\Lb+#Pm%2ciϹC#PyʝZy#mA|:2{5ei ̄]ӊ\%~ < .}.r׉4q*WSeadkrxW҄R g搖i7`YF\(JxTh&B D Q+z8-M NH ԧbkXseLr)ڿ]Pfp>W CY}N$KK{ok/HdICܽN3B$R|_ Aѕ$1L54HyczT@t n:ͬq1$O;j+GI=b.Eo 8 c<+bu!IYKDN#P."'FI iK珟m] aXR~6hʀ̡F1I&>12q}یhА4UpM,'o{SV-et'u$ͱ¾ z%X{&*F΂ܛv>嚚,~d%Mhʨ08QW+6.$Ee3[sR Ciyˤ)u'aU#?ΨMI1x/\.E_0.7>L5R3dʤkt=V`YߔMn 7m2Kѓr=2H,#1$:q9L,qO;]ѣj%,]M zX\ )zS{)cRwnA`Cɨ!p*"B6H3$}.0-gUI#392,%dnJY$shlWm5jyvLsUrvJR[ @ ::罳v|6ؠf pgj8Oq[}ʘV -Y2P1X~Ò V 6bE=n{Lo tW.sUVA0'bwr^XIGU\+޼Faiivl& uXyxȼ\=o;i9Mo %Hwz҇ m,֢=x$M+h=s}\1ˬ|$?M]ɉKkDpn1!Hrh}ērZuխ*C}3<hjN 6wx̬CJQ@}k k .=D4I >`aCՄ߃^mBZ|^y%te]¸+YǛ,TDpkiXFAp]hAHQYW=Rەw%NyOR MLPplܥjJۺi;߷ )@X/ ~45LdwBh$Qs,鰇Xev<Ԓ')kg$.`t &u,\4'akXHi|pSVW4s#3@\5OӶ䤏w0W#|&1Ym0=Fb\ŷ_kNdmpO:%ˍq/Ϩ!5X5gqe ?k4N׋蹭XR=gʅR+z=@ACdRG$VP֛ԴŜ}q[f4Y@~<:4|0 3{@EkuX!OLyv&G TnA{1>d^*v'[ otu)1b)V:gThen5-H.i|N ci[{G|i> ։%fGxmґ^3-Ҏ5'` $0slƏ\ڳ߂'4hi$r?e?PȎ]L =ŕ, ~Z‘Gw18Gdp/NHv1r%* xVr8RBɜ ;ၫD2k [.^] U 'X v jʂzR64GS -?f5yFZ)Mx3&UxM}qP_jO4/jHifܝB4cqĠx~Zh{;.ax[9d.Y#0dBM!h'PcP-A&0bOW=14@G@cR+"%_@(d)}@l{2+3H hr#ıAgHesip^ }-h͖#\ 6T(AEz.9G/pGoMKQzt e JVW2Nw)'PH諸/ϧǭ;y;1 BE-30[ZaL\amY^yOW5mFupCoTO5Q&~YlUNM׬UjK/t I%+p>o976!L P 5bu_ͭ-ln*XFtp["B#:90[-]wW?W@-ߕvj)z 5CH)zkPd߃pVgHu5B lM-Gh8N:ZɤV^J8ȌDnIrZnnXڹ aacWOxbD# +꺮p eb{nKZգԩ\IꋈO '=&Z B>u Gm2TgoW+2a=8:`P>GqG&3jB(/7x)MV}/'> Og&LLa~_~^E,W!%GРg7Qf)|KrqK]|>4y͎$ ŀb (XjDU"#%U/r =G[{bHp3PΣVxÏ}T6Sh<TB8L;|qß˰(Q~T $h4'o8Mx~Cb& 6?8 T9 %#sY0.S;7mvb.CEH_2t7X9E&"(ٲZAu"A=NƶGk)z( rK;O pEkj؆.p Wa^qBRT+?=fm:p"39bGI  >9,d Fex7)r5znP}r:uJx!#0Q=N^7p\Md,uS,ʼn0k/ԓzZPdqӳw3L7ⰴpz}碏uwPt+vc:#HSo@?:8HT0(N9;[?"[bVg6^P^"\QmT:9?j`9]ìkAmnX\!y )Qsklw:1eqSoֻE+@>w&AŐK!^r xn@&%]{!j!_p輣'2<>EAFDޙw5tQ&qD-aUGޑR6_Tb'j3I##Yv>TkLXfs,nvp7?6l̊ nX7kb@0T‹TAUVod8llmQWFe|RQ!(eUK*ʦyWX.I&p95BM֛v2F'x#qÏP"Ok|{$ ZN!pS>i] M0P6, v*Men\WR]UBVCdX 0r6MԗX~ Z 8og]hx(p\'h I`=KW0eI`@RAS }(Q ǹh0I7뜁\٘<(#)vmn8%L+Tv{SsУ1n^u!/oXWX#A/vAxڿ +OM̕GG5 +~舗;/.tʎW(Jl i >/JMQLuWۉET3*Vi~S{_c@ >7L8I*/֥зp90ۆBAT #w+=k6,aN)AF2؈|ܲ[,!PMLSo3p{Peӟ|b'Y1csU٤v/c3ȥC$}ow|OjjSC,﹇&7ħ5 =Pm{;~ u{إb_gX=ϡ="ETakcSŜn ,Mbr(D <+/BO-C{Z ծ55Kz^r^xHIL3`3?KbQRY|}E*<ֶ?E5o@(Z&UfG M 2ݒ#qeJZvnJݍMlP"1^m"d;|Rѥ5tTxe]7%9=̡`IFm=(a5X!.I7ڭ9^t%O } * $ 2 0O^͒H$x<Ǣ3H({oZsq+OIqtp\'Y %-1t#H۪?u60{ I ^ 9YBHTAƜP~J0:$fH6)\9"MYATtv{GU='TUU^hQ42 #~rNN ȗ/|\.R J#ccX%2cFYmTG! +͆+(?]Dwzsښ('!2v:Gxjd=LD:Ď*`'cUJȷ1N"o'a{(՚t'X%oŚ WnP_w ,rGTfjAʊ--%퇝 :?' ({foXļ )*Υ;wԷZ3`৤=b&w. eYt|3Jr=ΞEΆw{K?LBt#1-J`Q7<HKD`EPe f$ۃ DՆ%<|u C!QU@U}wRĀBVCb-X>[{.{Qh?(l)py(0oF|-y\mW̎)n8mRuZs& Ma~c -Mzt+n+J">M#u/D Uza'f"רwtgս` pN Fq&k?X]s(JbH@Wl;-VuN43ʎfOgyAHU8N|]:Ri(plY?M tdz7lK@ÀD6)Y>IRv壤1uW JUՔw0g-nl ~ ċSz{iuxKQu+*(IP#T^jS&^l?*WUIs'uz6іA,F &Vu |jf1lH?U:Dߐ1iH:j`TUpŽrj̛ Ij\AIU:x˼BILz:2t[`e[-}HQs'sO"ls\]j9$?JBB(rC?1s+ZO~ \YC+,Te/a50`)~c~SCcOSpCj}W$s mAᵂa7RhGz,%`X1@s2O{Qx cgYZ 9Eo% e+Cp*0,S?%my!,=W=*ӗoR|a/8յ|q8, dmqF l42LS=Ó3 6.1FiZ{u_9M1+s%A|㓛#<#`4{C`K[HOntlA+֗2փ<~PZXM9Pzd =2 ON.mU$ { 7tWmP%P;g=Kk˼.X^"Wq14eQdc, !Y8PViCʔ&AEN{F-tG^,6(ʗ\; KoSՊ&8*n{0'В+rqZ4z=` !a#-XEP^,_6VQ|w/R6뿩džJ̊ nU+.ܳt&FX^iOf;vp{v&*U ^ZU79 4 Z4bi@ydӌh(S 9`nJ,hsbMDC=mM#gXCAdv^*723eMy SZLVPZx¤ Lh^i^Q7ӟormF cU4Ja)!tTpx^A:~{@!md7L'= ksp[@y,i3=z>Gh>3D9m$o1 3뿡=Ŵ^}'w tl1(%Caje" )mS'X(Vc\iJ1}ܧecnF,̚OҜeg#.Cw2_yZaFBƪ g2:+ l$zCsTXR:{gQט 瑞BD]$@K y9R⻖R1MbEf;! Ab[SX{MK?@}fdTQV5QV aǴ `J{j.6E|✴axg}杹R?lxPTi -P"Z{i (Ybm1@FR É DQl:Xzљō&SX\ʡz㴯^I!)PB NevY"BJ[x^ [.;|f"+rKG.eQ u--ji  {m[>ty~T,lG1]e e*ft*6S?5,}&%7wOd5ُi'P#`rY %rB'Oqϳ^ 9RE@|%/Z@fO$uU 02jM;h 0ʙyYgy˼ &lOnV+9wjdqrkOsI"|Eʸxo Q̗ܪRvwAVT}^Io?+LKɌX+wI;|rB/S$7^v7Ck7n97L jXǑ例(Fz ]%7Xm?hZf%E{\I/<; @qşI&o=-6ܿI|iw[+7t~VxxO Z(y]Edme||fmh8>O?:sJL']GmN=DT5҉# z}51ܳAD56إi]iKk!)q_"`/+Jr@!j EԆIe\Q:7s?5&u,_VN?T(E}I v8EKN,GM8t V niBtW]()to]z}wOimm>"sMduژLg+}͸R违- 餞-g^$~R/ޝiS1;&N @ boj$sGhPH2ғ_Q{ U"*$Vûիr1"I'\ *G-;Da0N{cʃ9ן&K;Ψ hN]n;)l H8=wzXz&/M~ƞQ4I=wPL춗Q~`އ ?T8@#eT#y:p+P˛u;:0-3* ՗imyAɻ bU {lX.EvJP$#D: .\<mz@B޻J:,e *eYTԀ76ڇZ?B*Oh$_QNΝVjEf{$1ePC0@pƄuAy+Ve5F*DIJ| ϕ"Yx x_<nt&` %/Jʍyp^Y/.F6=JP]7YQek'X3㳁Fz:ByWIuP=ᇪLvq-X456gDxA06&Uqz>#>4ϡu5Lu` ۙ`fr%wڇ=D.V ?܆s.`HEuZl{ҽx*Sm6l5jc9Z!,,5s[X͐8SI: O=.Q'AҒ47π$zoht%7p@XF?,B+E{r 0V sD8 [TXkGDReKo|b9eT$\UI;L**ƌIݓOA]:V y§< \qo9e,Eo5C#]PⅅB R+ T@ٝ_q_20?Û!FF5 ]U.VcSnΩ#D"lA6Jz)&3 0.xObheK49~(*uR_2|'Kt : 7ڧj5Rx`z%G81o Ϟ?WN-vmJT#;;Xrn[O: L,_ 9)n)Z)y2(;%o:AL` Qx7>XiLlv΂CS( nh]P-AkOs"FxL(ȃrH2[<ݨAV MŲfG8Ş"mnTڕH>8=NU 4cMb/ ٧0((7&q_Hu8C(HJvh wr{Ƴ෹qe[l8G/D x ˛X̡,αv!ڜ#WfyaCۄEbj;qTАU2=\eH>ҟ3[5F w9O܏T3 Er0ͻk䫭fjfkSnXd^>B,.ca4Z/[Ox1N;+-At}C-%-I$#sVTSH 5r_iSwxn~(x}Ɏc2FWoQ:kTRgQ`$w ´`D ČV0_ ^ѳPmp{5i|9lb PB71Zoh8wht%KW WĎ(C"$YyMץ|lB9Q[P-WU%I[g6qk0lXF\ 6OzBh8̨|-ȣj"`e&6 g^EdIS[ytw,fwpC<'ɮl\j ٶ2@74VݥTPA(d3~,qk Wu*٪;'RzV!N}oE-խ4cdžX%>$) 0TQli3Wo$jS[DEo?BQ(qM ȿ%d3W|zYl 2+ ${)g"-=/&T(x&ɓEͥ7sCS|P}-h]_+)_̀f%{*%m3n;RFwpni%] #-ceG^@rGE&,wrȎ`pg{rjDBA%8&Ž`^ї~c+j-TPC8$З`H /}f 9'quw,'rL+οK3#]N7qMYiAbl'FjRG/ d@qNE yכ>L5(i`AIn8^E^]˝ ~{Pm#C L^]+vtRU TX <$ !O ;AKn* F1}̤nGwiRh)Lt⭱"h1=Y㯚WZvv: rM{w_qv}X~ogY8IL\ 2Tz㬋h`N)GB%<8^}q YngĻ. Zqpi'ȼ͝잉ϓ1‡h8H{!dP`B m5pN׎T7Dm̻0iL{dI`&YI$7Kw1 h&vbM_P`  ~hr=].'間KBWY wI}N虫Hy7+cT $d"{2$ FGޫձTĂ87*h,ܚvWPp& fWy φx:a&o@Ēg3z#6~~7e8% _M'i1R7= ]|M1v.wCSu.b0w;2$][ҶCxDNtjzep<^x=D5g#á2٨IO VVQ_Z+,?, 7Ϗ-gvR`#AsWa<ܯcdi_/A ځ!'-[jQ,#5kFЌbq)b }FUrXC!L/qk{ .bDh:LQ$%sGI$ؕd*YIlޜfzޣ5]ABUD W} f`k*F*=·s4 -޴ Ը&ؾwɲ `QpܹG(\$So&1X>,ʨuz6|iY2K9O90R>4uX;Lip <f '$kð t(ZbCsR>d(U'"e=A#Ӊ#+`fPt^PlCnT\+x,ݘh%u4Zݙ>_}YH97/0uπ5O S|*0g$80 ~a^,߃TiFrpv}W}ؤɒyCsXۏNCCi`߁Gf,79iOj&$du=Q4b(* *'{ X,|˺A5d5.j)n2xOn]&ߎ-00 t0X\G{Ӌ4j=M's>ad*>qh ';  f˂&^GKw8MW:92@rFp;zBC{W%d3|7d2q(2M6=d@߽~`WS9}Ӑ>^L*`ԾNvP 48ZW*O G'ֲ<<+'"_m3s%hTdUJYJp-|/jq:´h5<ǓQU 1ge_$!G7 %c?4y[|xqZ&32I +?XJj:nE(TV2jLj2Tq!Ix5ȱE UMF Qk0ujnbߚ. Z\ǭt%:~kH[0P \]Xsl<AqA1^=:ψyM-[`&)~:`#waORF$O2&˧Ths[8^HT1:yaNb_f\"c-$ (.TC~QGEyujյ~?0\JNwI)aΕ!ه`gWY_6D)N)4y2|qI$J^^~[!V94T@WG%Avê݄Wz{Bis0%ߞ[B%Ke_Z< >4`ڕt CNe b7HpeϠ>\BchFw=( _kO/GI`ez9UM瑾,մ EJ㙿F/xUħ5k^'@$r9 R0L`h8}K5|=hndLnX ^8ˇI,'<ݨ{X@A*`DEh%TemR:>b퇴)o!vlOyDeΓc-S+! c]~]]sQ0W&!R.Ke8*[e7V P$>M4͟;iT[1G̩¹!@FaX %[>k^FeH8FRw?w#`|:1 7QpSKbu|)Q(n-! q\|/@2HrRDQTӾIvD2 ש D_mE؜IU~n*;f boXX_#@dơWDC#WNotuл =Ǜ|kɱ=x "TmLl5eP-S\=S+c^NC( V1fo"a?sX'cF;9X3D Tu@ u_pтPzsv c_ !kv JWIr]47RB,!4RVA6h$g^ ,q, ^MC @"`А^?{s$B|+KatUk/R铁~?X:D3:OgNvDi!X\-ސ^2o(OWwG⑒}M Հ2j0(kG6z˜}Q Q!I獮+[>"+[%\bSȬ|*P2fb)IzE@:yN%3>ߊx9,,%1\x. \W+OmK2j:ILpMͫr ɷü&HNZ8Z cٞaP3yO ?:RA(uo9 6OL2)#`WԒ]!#N*MHd]*/k (j{>- [%st"Yu^#^]r#a>%Om3?9:d&sQfps=OQݖ[K1PF̦_k 0CCb=1 ׷K b4LپՐL‍f0;6[#6}YَΥtb|m^}T<ZNźg= 8Ri9?CF7I9Чt Ʉc/p)xs0;-b D$AE۝|NQ$ 5lw(6^qzzWR鵣Z(CA2wp{`J6 -bx P*͞/ ~winXy qяbQBn%d8Zh;ΜzB3+JpH(iE3-oQrB[h"lL([3Ի[D]a0uްTBLAa8>;FE3#Bciؗ7{[B6ph:!A.y24:Be!i] 3o $sml(*)G0^cݴQI ~#CNՠ9ҨlW/q,'/\}P~s9<O5yq3U"NSnsku; 6:W;hB4&f{LVdo ~3o~*WOcI'.?.tQwt_!Q/Ұ(B%pkکnuv>75M`lV;LK6L)~2G72C' ;eI+Q/ kVd)_1#GoW,{=p„/=jֺSȰ=.3j":^tp}Es BEҁ4U4C{8$TY ]X;ޏ뭘X<~$ʗs >m^̞31.,jtK:.C3:Pj,M>u ƚ^=ȵ>$|#pLO_"#b`eպveɂ?Lf ]OԿ?@۶񥄫5x "[1މ }a8iVxOӥePc ƍ Uu1괥Y̖i`Qw"vcmOr6p_ %?ag*$w`ϋ2T,\Å=T@s\΢2p6irF`#[<{6E8 Aƈm6ʱ4zGx39nhTo`z?~Efg:WUv0.ǒ:J!iu 3I?G&#tTsŹw=$(TGCrmor"q T/ &Zt /Yu##1g ^_r' ? Z|5ۓPAͬ`cSU8?lr73`< d=:oV,O0%al/pZC7\@S'eyUl-?0PDUC߿ $+OH&x΋X˿b`;|4SvtH8cpˈaEIt׳cXO׸!.:@)Aj.SE4V2LZq<~>hܵ>:1Scw']}KPl]\Mu wM2 =&,x572kŪ`_i~a-~1-(iȊ^B8PLEudb@D8/4[yx%˃kVnQ-h~8!\n0 Ń9؋Xd$Lw\M}/%E! M#"c^DK"̿݅pOƑ,s,>B\ﶴ3AY7LձS^~Wk>/d`& 0AJ7kFAw!u ~q4z$Yn($*br'\)"o#@x$$n*τǵffuڝƩI0á!f( Y)Q4vK,^f!1ji%{uJ .@k3a@+ұ=QQ5vWl(1-)[߱ N< ^F-隓܏|\aɮݾRXU"Ceh[frAH‡?Jo=Yփ~%ȤteY:$ iCA XZs,NARHf:C$ف@ ц>ce ;:$e6 to:uI{-$xd;&Eq$绔a;/$ 2dPL{܄_T׬z{z ,!pYK߮Xr<3}O F*wyL-E 舘=F5Jd[Έ >Դ^ UHf+/g[MG4^kI60E!j$V-ME(gnQi z&=k]U{2'NI2ǜ8=ױ#w9"߱P/Az*4j\Hm 7]Cno1CgE <']_BIŐ6{RX%YRO>DuɁ.A? ˾)[qRF[NH7'~uH Qs< LPDe;G_d ߑg.!9{|}Gv#> "_y~,}&_Bpgh=Ȭ.Y"uDr֜H W(&$ s6y7ʈEy~ rWS*|%wl%fcdP)K)H֌Z1K}9O|HK A&oJdLKA`>Osh 3f2ϏgVSGU .{}yIy ?҈kZj+&1IܔC̊CB:mɒ2%L||-Ϳ'34c '諼 }" s6ss \DdBq-gɒLjW1U89;  G0%"WKTIkE?w0m ߬E򎑬_dZ7cILP٧3goY!fVW  !J"ZS2(+W^7y˅"L\ٳsV) y xG5-&~&KeSˆ&gL ΖxjlŢ2 [,882[ fbTHOC"gv͚FEI&1j`lS/!@ʹ$Vl>vfr̽ey*Vi_RGC`Ә7{|H7qHl[;HҼ:fb|^tm6hQVX f';?(ɀO~]|S0t@Φ ^/Du  F}nbȝ 'S$pxӇ&kChX$h r7' \eVNaj8ZQIlԌ<Z` K&Ʒp,ӓ(:FtmL=b+T9eY6[󳪂6Mr(c)Q%jzq-\M͒rZԕcRQͼ3I.l5+&dCZL-SnE ^8٢{Tճ  ~]1S6fp=&bD'ށga*uV-'XsUw;=1LE}]!Gwu5[P&RP"35r k =J - ed~ BTNNc&t|-r pId*7:O`@?t/_"14Ǜ2%M@#Kd E&1g?iķ(Wofr| Xt -~:څ?&@4RF3H$R{Dp"PDY'!%?poVӎm,;p忯48''_]pR~Ȫ@Γ*uZxwQ#~z=F<hJUhErx- Rs Ŝg,@_#/ xfR[lcЌ=EjӏMd/EP/ Ǝ1Vjl KÒWV7NmsϮ'h=O{Q# @t`4ضL^~"tgh1 UEܗ ,Zl+렽/dĢr1[ SDԏ͵H'5{d[(\q+ClaMtH9AlKաtů8[IC1v] ;|&p9z2 geGSP u H&y$fhi e0sHtw|P[!ML9ԣB1@RЙyPPNe,*7/ 扻P|$gW`S'$+mtӖά_/jW6j}zŤ NTCHK=߈ ~?.xw/Dd*T5Tp*rWxPq  xY=Xݙ4b\o Jɱ'|Y/Uu4_Jwo s{h/HOv Q/ hN/ p[PAc^A38t vPv(+91-Y;`@A+ 3d}*96SD_m^}>4vm=)A$K>ƙ6/^n_0pl^, 8*wDݵ:n;ҀEYo%Z -AH"9L㪋]Y \T "Q@W)9CYo<.Tib[1 w6ѱ49j+I}aOE\WhT\lW0cW jkڜא6]fdα%Ͷټ ~(e6hϚ^B- f/6#mXU)aLv +q=v3RK"yA0>A"V9j6BmRBw}j^`h]`N=ٳ⌖>bV4162r~Q֥`2B6gF4G9>ֹ:>\x&6%@1Yfzaڠռ+haƞ<yoDA?:*/ ?I]dvPLbDjN"08>8 e'7"o@nDž‘R˥'Ӯk zq܅vM" jFi#g`Ґ+fŲ@\CZ_lo\=T\ tA~)e㚲;|rNU֟gYZ @Ee% TEncodability_Process_CalculiEncodability_Process_Calculi.FullAbstractiondocument.tex7zXZִF! !qJ]A-MՋhvG"uIBm5q|lXi5=v^e&ߪ' )=ĥzqM!=]+J~ || ť%0izxUᗃ6bM̪{6-NNԜ j"#h5J-un#u+o>YT7}t=(DCH88=X# F=uwN{P@w7Uk2 N|$<;O2W*r&D'9j,#ݦ_{qU^oGC/)DE6@6muPm–;KQݺUa;~n^hgBBLJ9|XІDݿ2qzNi&ia_όTC:l [Jt6$tYG}*F>pVE)ڱDvl 6'Eo=xh-:5a?x7d|k М߾‰r}E&l6s)8cw?kmkdd1m|a).ȍ e<di-*;޸mEQGXyײ$B@PG/pVc*(l&M(k*VRzdiPyM陰PXd5}T~  $*0: Q `i_(Q lobds2.LmP{Y6h{R2X[dNEAlP9'vXOgfHC o( qزƪmFܒㄌHPb[^jL޽vn!OJ!1{)NύQG 4qN>4RŽW/Vvvأ8Tl݅O;\J#o9/ꢋ kqWyǏir+ݓ_דk$yY \);@-#_jlIY$8 &%v(uǢkcO$(H9Cd'q3sng8^)$8 da:=lYivth*KmF^mӞ[JCx;=p+/{\+U 8:GNx^lPkŻE: 9AQrQ4q8'# aIlAeUj(⒣A;%&Ўd #0CXVYxYfR=B7S^:$2;K':z͞vѶJj `~T[Xe NZ\\/ߑoIn֒&%DA!Ӕ%%w:nٍyis|GΛ7[47]jm;]PMKmBGm@@*pziGNܞ "[G5]Pja)zb7똋a8LizzUkwMLk:+qZŎ%A5x)1$Zw<:@ij8ԕ/d& }I/m âjBAkiM VibQ|&לfE^oiq|6ً'0E `Y1X>-R%wwZNj>zC~IEM ߛwi !d=n:[۔ͳIg0+ZNƃB7O". ~n;=IW@SKWD5RBJf[$Oo@w6yE:+#xVB8O^d̓d|ֹgEi^_7E*2"pW{ "\q3DS u{rsC}%+)Dbdj:rB4`hq[LHv =qvYb=Ri ellF= þd`DPk.e\5;lYi -!f7/yJ#"swy??38)gH,kFnP\ܲr22EU$P-:M.EbGi>κ\f۔tM_*&#e¿k̭ %r >АcF'NLPoh2fd?Xꜚ=j.çpE{Qu ]”OgBwW'ܱzSqsWyzkD3=@[_5ڽ5aS.=N[)\kJj0NƜƗ#n zDwa=Kmƭ?tyRwՄoX># /-JVQ'U "x_T^J`.uI4z+~7 7T=Hx,m{25MM\d9s"K,dYD&7N0\XN:m9%uqt{p/ЙCT;F8IQp6Bbbjx7"OA)9KvΖQz`h4n%s\HTuZ;?sNJ.0hG(WGqV\BG< DH[Zgm}ys{'h;|:,&uE^Bŵ"Ǩ-9{ŒŽ11J̇X->ۚ9EY?=a4\DĪr xE+3?EQsHAHAD0,'TEw^;5wZPynPhAMfW+ÃĆqP52/ f~b.@RC~{,"Oj;66Z׀{E%eh^RLI\:9ɱN?͠ZJYùA]iN>GwD@/10n}Ө"X*t"avɪ? |6 ]O4t䬿Z10a3nk6 Gwi6uǶI ;̝kdN8ˊwկ\<ڢ;s`r+q̵99&|!\]ce{0D1 m\,HILjy= 8hۉNh,*`9PP)z ƶ-G 4}nib, EoYݎ뤷[+w}J%djOz C*iQ 冎Uje{PuOƻs~::&kƚS  WqEvЩ!}0WlR6r&Xl0;ҙEurW5%%zMYẆL`>$SoXXmLFS7Uud25L{gUL:]˱|e_=f Eilu`+N[etJc1r(=I̽:&6qz;EK|\&7InБQKyuTų|c^l3ڰ%9jB#{Tf LRE#X5|]`ĀFJs{rG3DO_gR<~X)'gT}?6d_p# _EI_آHT A56qЀ |f':ճj`"dY1Jwx<5SP>qT><YŲ @"=z5_+Mcڟ+{ 8iI ݎ3^TiC8;DVm`/̪ReƤJd,7n.^Ys|mm2Q3%I?аXg :՘ՉzHweT[O>\v6[ZYxŴa| ZdP(W)Kǐ8(7 Z%O]Rn>MGI+>e2)|>;IE 5An9z9tگ+LSQ<5p¬By"đ'r*PU>ׂ}\Q i=''&p-dz3"8ޚ@?جobBP J!B =vhQH'[ KZd$Q \(m5>/'sr{@ IjMN3=OnihhJlӱPG%'sc$˶ Ծ 7]Wh9-AHIbk`hd֡>L.D`Q;Ģ5]NdW0dC5Ѷ.u&pcdXdn֫'EpOe"\|ߣDb/NJ6)0v4}=^b+ޓfeN<WD}xr%!C@J̟xQX]%A+zFՒ0Y8(ZP/'^:ޟ"shrMV-/-f ye91JF'\SC{Da m> a3'LLfphajr=gu]釗nƻ62ATW4fDD_7]IJl'6,XSQw&ڄplA_7{%eW_sYZI\!/e`gnfB gf"G?(i8upZ͝=Xth}8:crD&D%gfJ:WEN:4\WKU+$Z{FZm͆c^y%WE}Kd ;Wdp0r_r[`oŊ6{0i=d-F/\&NNX6;brƛChX!8u+幘OZ6` {Pڒ^:ѧA]i\kzD .K`EV( EKWXVcQ6&BbbydEoSUɐ-jzl] (ї)G.tϰWF7j_#GIrɁb+x?Q9˅ńiWЩ-ɓ0Wq7L)TxO:DD=" 1!K iԏ逰'5e'iknٓ y=Ic^=@N`:J7!MłԫY 7 C22:h]c/)x O9PdUMqeyUJ.>FF3#xx/죎f}R8GO M=%AMFdJ4lC(tZR߰fꕻ__@OcjC, ''EX 5{zo)ε1BQ Uk5|~](.VD12Q 9vK ZfHV֠DyVS24.$w|_`E-1s2[/z҂Odf]#&=.5g~EVXamf3@Qc'H%Xg;Fg Hۻ')T9 r O^M"JGv0|ywެ"p#e !}8h0Aa[KgV<",2?nx5y\8F m5'nhvjj<$u7nܦE)|Q3$ x>VR"tQG. b8Fx@c_5`pF>ŰlJ'y5Hքbc/P4XS_\ "qt|߆QH3 lV Zk5k![$ɯW*.omIwp3SP2z$➼\TmolKn-ҠW0u;_h~b|h2unvI +|v]{մΓKU |@x+s!0ɟ)e7JϖC1 QD!'i${K/ؼzC53Zq aO!;k>+}Gi@T" 8"K0S.dc^3s:8:MyNOsZ+:^#hiB6x-F!fpM?]n! O>gΖFۥ=5QAM8;iNuI\ r F, lGSwSO~,:~*&ui@!-#aR` jw/l UnMfok 7;oTLŎ@ԶX0j5qjo!Yqhr vvv*%]w^GLivq_I J[ sQ>,Z|pS :Ir'>X$PT6l5uxPר< Q! =ʁ봍t1Ux>Hl ox>:UL %`!{tDXLz8*@dx}.;tpZaP'+G0:&b6[i]<#vhHݗJV)*tT z@}B4О>7I{ҁSDmuwuʰ,A'`ŜpA drpOBldgA)QvrrnC^Ź;eYfnn['g܏7xו;lB9]aI&%- U{\ 6=C̉Wr:drRPuTTcJd?+u=]3; wJ=1 ]_gd cӖ8D{Oci kh:=3dbw\Hݢ2V UWv G;Ό+'+췚r]-}g]P{jUew%o|_-IvuduqCZ2(S1FS.̯z,Rֱ,ap: ܉t`so8zb$zzmE][| ήƤoxc6|ߕZsqԪjnuTs oӥ(Mږ2/Z:E2\ǮlipX  cQŎ>Rku96e rJGlӉ-+vKV FE6,xSZs큶1l$|ϩFv"WX|Ni ģl'_̛ԓoؗtNM$x_[44燆 )]zȭ(0þA`E\  x_Ƅ7OZAfdEf};ŗY qi  $9}Q.cCZ?6->/j0!uSO|ȑVMť S٧#$jc5.}.j2eFTN *Dy&1?8ʞ`WVJɴN25J6v0A/BӪ"3L%*lpCS`ďP_冣vyO' cc ,;n1P^$~0n %rG56z5AʊyߗFHΦFZq*MYR|4!G{+[poRJ7P=}SdkHd®l٘7' 91rXe;mO U5Ċb/CcE5^޼޲RŌLD0 C 9(/*P՗Pʖ!۰(Jg汼erA VR܈vk{MMMBjkoҥpym[5A~ & NXצZ]\Xfj &p/BKV(N+K7B23ZNhg='m}n W?niKyN2V+V7maMρ.;dq0 |,fpV$ѐ\Z.Ϩ"fya6ΘnF^M/v1*<%@]8ŋ)Ίd#1eH}?+Y<{岝.^j "Yh߰eY"Tm.rNӆ8o(䁡z[]22vڻٓ@ U$Rs mbrt'p7fT}KEw%URD 57"yhRqIO]{S*]F)XM zYJ_XDCļlCǖrgu,۞іX\9ʰqCdâK[Ŝ2t(3gßP +D7sb78kˎoszhJ:Ilu@2_(XYޫ9l.Gi[A( +aI)r9&"7jJx/ ΌYӶk~'blK@(;We.%,:) T-&\ld/up;mMU7jcO)}8<3Y0>75?᫾@h0VE V$XTs@lT$g*Y473ѝipoOh nSXcD>s*?H'DE6cPCF:V9db.QvQ4Y|d)O .R\=Fdѓ Wͷ( -[|y.!-Y`dC5砢CY@MXth[[OfU['MnDo֛?1]GG=gPO^Tq+ܷ~ΦRaM"sT+tя5eboO&ykGȇ)N3QQs9 !y`hpiCh&~o}bYzG&Y/(lg ðZg6g|;[)Q+g+ uQ ]zP-@ R]au`do,/=JK|QaӇ,XO4ҴR>|ifK܃@j,xaI*q@!@/^AL\?RoIflbH'0t#n_Zs~ 1AlCQJ X? IMk }١V-E]qΨick䳫!u{f2*gUyA{ߏrhr{`5q&`* `,lJ-&DհK$#r9U]x130iXCO㕓ۯ3PNd^m "k(h&13Su,ǐ"*ka#ò{O>IbاPz[~< Ո0gYZ L L5EY% LEncodability_Process_CalculiEncodability_Process_Calculi.Encodingsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5W@Y 433]dmcd(r9wޘ[@c7t  %,>N Zvbo&(IOѰd)aB1+'{ $W%?Ք2hcv S/Na3Б+D.zq[t4,)@!aCt6wZDXX)<@L6a2Eis͕1V9(6B)8hM҅6C>ڬWn"'NΑr  w=#|A$߷upŋkPMLNhN:bYz;*{uZA#l&Q8j& 7GKWӫhMuDOn^i0:ݕ(rB[8®lP9MC5:<ӕjz?4v zyRQ{X>pW`,w̼3%9S p{gyRf){GSjz?JvCͣI$칯!MJ}K4P~fV,UFq$+M~vR.Ryd @N/Tx_rW&;R&V<ﶬdQiHNN}9=.\nndQiRX{AX "7TևWobGDH_͇{\3RԅzvƦ:&LA@\㩦H Y~?BWgBH>B#zX0 L2Eq!9ptVeQ^V8D$S*m֥ b^W꺩:,O\&?۱x [&Z5Jlff60` dWRgsE\|W0l011|#fZ%U, -yLAՆ*LQX0Dd.FCglf SZp-@9K?'bD>] +l>첝TNA[CZZ5Z6zk${pOPb= Ww@ ?LTU59ESyuZPΑhuF)Ob(!3(=++TCڅNkYvmOv])*LILK"5Dhϕ&~1g@Dtۿq˽;99QULL3:{0*r!)prhB-ѺP" bmO/V0|8HΎJISThʛ *4Yf1D\~/6F|@ѫ*&^2f[`|9rp:*fns@Vq&\Em% Encodability_Process_CalculiEncodability_Process_Calculi.SimulationRelationsdocument.tex7zXZִF! '>D9]A-MՋhvG"uIBm5ȤPC,9/IA\-+[y̟& u&9q|;aC:h_1:Snsh2:;;Bm go4= z Y$9sÈ⮃=aN=v:# u"_$;ѬfDi2rwrlK* <>wL`@(sh,֤][]pm ٷ%0ƌu#n oZ6[:nnoGXA=e%˪"&G7\>^}l3D>QrC >GY*!ǀ,8~4K2Idln}L6 S}l`(HG0~X*Ʃ0l5MRP =9K#~+A-Q&cἚ3d. 5U& Zcj2hqA_1խ$k;=DCcv08>l0NLWM̊lA#H)Q]:G(A-;j LdU-S4Z"G*}%tMY$ a[ jP4FaY]*,5K"#\bm621e28fZ^mlq /oaqVhGЈ49*E1 Kud%k:@,+s1{ <>pyȳISi䢆A9L´ڃHhO,&v b 5zHe&%bEBwy ;DYL ̆k ̨,sq˵Y_j$Rp% $j!Y'vF(]qԴtmL9t636m_Oix749iTц^%bi0U>UO;fkoվB#_kUd9`a,9uI+TgrѾL$y}mԢrϑ=::}Hl#5EH__m7aZ!ѱY*~=rwx49%OL6F$KKN_ᲸcP)O%VVO80n U'}h+Y8~X"`}犙O.ۦ)ʗ-uv}<n]{oSF\캠tR*Z`K;ęP6h1ăD lA(lFTOlCߥU QĬmC{8b6aչA%Jm%x;WvZ}"u\snp.HYGM>WO @r&gY[x@&&#t ~UhUvH4`=nu-dimlNgi ܋v]6n]ib92 p'O-A2.`JYb B:s*GJZ45A^|xj$ `a(CiH_zrcQÊnl˛|{\6 ,ŢSoV!P9;~HjeA/j<1ZdFL 'st)/5?U~JZH*2Q^R~?ZNm[dpcrҙO_g״?@9lb ,,Xa`xK= asBFhEv=.$uCkx}b5$=t`p| iӖbGV*/ǝ]LoN_7|BQgj ysq 0VK6hܨT}pRU`ӔLwBkP0֤l jC*Q ]GnSa:BvV->3_:_ ᮫:WMvr̩֕<*tNi4HLsoBu%^$N 6᭜ U@P:4/zA_&%ݵ|Ll ;0z?S~5=Sgqjl95+'7M1xhxWX~`Ԫ .Ÿ?Xd6"F<';Đzw(O4A@܏m+oM\*fE*+7d`)8:9Q/Ti.x\+s # 1ɳp-ndXs(r Ma> ;SFF6Iڼr:d\! M.y8 T@ޱ彉KŅ1Ɇ(;D'-0:Q'0v;Q 8# /@v37ߟ'{%Nlz~(HcycДdr3/K֤GGqʄ Mc<㲤s*8z5?AC EV^pƗ3 ?ؙ }uwdE`Y-{Z.j̗<輹&oeõ5myBb<n6Lkp~+9ԥ4D$i/ FE!py kHmRFe3 ŊI| `1)5 F@{}UK0!:hG Q$:/#Kn/)/XL33 [rLPb>?9LS>A=} oG o24tw q$*ٞH+VN1(A=zms{#/;m- *iأzྲྀe0e$>?qww+N&#ft\]L5|?zI0mlRJh;ben솼Fn$,0onZ:?cgBiZU)qCs !G=PԋV9}޼AUT߾2WIv4u f}eӝ85X],֩46aql0nOJB|C8U6,m7DpFl?WoϾd֨0nN*fO$7*EaEx LxdrG:qV0;SR]WKtj?/da!(ŤNE_=|K)GiN__fwm?YdlW9Vql@iXS;cft+ ?^µj4cFkhNAcPm zt2֒5AD! #yt#n)ըpS'FE&緥dbqb 0F%<y-ݠ!ߠ_TiSIN泮.=KmnJ:Uy!\&ޠ'T4U<\A؋؝`pl'yO;N|p≊og41Ne&[.(5?êN۷TAS7fJhCznS+P^ʡ^!>lVZ?ȰPk#LW %!:DD͂ k-o`LVOAxx5#n5yǯ{RԠ*303rJ !Q9~<=*W^6 bbnw6A jGy[:-ރ,cmh1?np8}IJ(M] &ޚ\3?ơs[k0jQAڏL0tiL?-,_էaRT7  gNQȿJ ,eefs!}VמK Ml'uKIF.@gYZbnӎWȦ0)`V#0Yt+^j4 ˾x 9]v3jȧ4d#2o<|P+.;l[Q:(:P,ǿ| 0XM^JC55d M:,&,%(ӱ:BcSm40 xkȩaᄵ~H"-9*_1fwSʉa՚+Jc[ ]&" vQb3syz Y 8 A"P(z=??E#JNk>TS\y3~RRA?>aP^\x?V7Y6,E&Q2Z`FGT.NRtOL"\*s}c4! R5U ΜFyx>RES(zo,+"b @asH?dk$SLf;--dޜoqM p1O}f6⥇= pW-9UZN+f;Xi{ CrTi!7NmɨjW4_{X@"}w=)"v`0@-h}zZt7'kM'264#xBW9$P@fB+ mM}wʍE;M';zoΐ^C{1Ae"cdHfb} lqt '輔v<2q}Φ+?-A*=nۼPk/Tpqk'! S:$OkgtO74tk3_5#_ۼ&k{W[sAm("\s GԦRHwɴDۧ^xN&50$e7=_"pxp7 g~i>#h|x5j6;spA:6Ē!~68u˜7W Xl==M| C-qB tWB}UC'@ʇ*uik8: z3ֵ,I:4 l׿msmd^P94[os2dOd3%LCQ |tOb7Z2l\<[kiʮh!-˿>UVg2hܝb{ "ao0~U_II[`4hv PE~{ص*sq p$Á-Y/G!gվlo8  \W_I B+;" BdSaYߜ^Shg%H(1mh6G\Q ]"5 :Z.\bn5f0U {˒-;%ji Iny$<Ž-JAF<f >,9::=<#e KVM ~ݼ_ UD쳾T,կ_;pI6f{ٕ-VM(FB$ʁވz6y;оke6qrj8`4) V,Z#\e]K.H )[`A__'kd; cT52~BnL,g9\ KLi6{Ne)Lj *CgRʤU^7v[k'܃ ]~ =9&+fɶj3W1'F[G=K\1cTFTú#@emqJ ;wΖ2կRc:=2\.% u-9C[ga&W X۝|-3.Q1$>4uœӧF5 _"zt%ǶF͉!!ռ9fq.k|2[)\D A{]}cXnZl{b쭄 J &7` 8RǍ1&DHYExu: !SOb, hvC_؝>!&u.8u q |AI:F$4T>\ /RAaM3.-̦*c4S\5($#גJOWzbD4;hޝNsEZ)b-켄_ !"w``ڻ7J /NHLˮP}a3H~]-魃M!Ҳ=9a3%Ov!@- +4BB 0RnSȾ*54xGtݴqP¬P`u%Iekj&ei*H,C(ƄxG/Gӎi!yƂg4N94B\ZCjxIᑱB݄TOUț+̨ (˽#f&n#P3Ug)E9)w%b#&$ՙSMK,Ȭˊjh䩿+ۄe6HupU_b<@5{$dkYƻS ˻&2!ߗ1 `KSXS{<$@"4N[UAadG1dۺ#(`|hgC D ?X, 4ּNHV~Xv7ZmmT7qHh2E10j]yW/&WB1Ī$ m/IJMVi~UiVMI*i`ܓ9UA`{%D}GK%ZMH` JO^!RͺrϟV:Cڞ\RQ>,v Ւhliv$aUqDU2IՁ!]tHuh/J%] kE q#~SbHUj |20i?|}/ꉃؘcO1Yƺ +&UUgd1$(ܲ1.x {:r!<iX#%@z:X? cg%M/cTFm?flN9- A)`]Z9+Me< 氣`ҟwh_5k@]j:ap0P^\CβscxT NJYU/f/[jA<&E6A6=(Iu.F[ɼw6ls;幔)}/#?ϖ(jF`?R$hwnI6k]u t(,VD:%EYzٍa`Z8dM脢J峛>tq-ҳNlcJ5WN _)UNy0̕IϨq tF´n XW&\TV(BwH?Y_g,N7X޼`GQ}%oXc:ל 1 Гf%}+kδ}D)j'P(XňCKxH6;mO$ƢS\+Rѡ-q20b^Lqe4 To1Tګܥ*f~>&_6TiBpG&tl7p;e.ͯ Ȍ\$S1Nid#O=^5:d 7wC(g/,^\>d>c(+PZoܯ@޸D;|7ז3#e$,؍;?zc/~8+]JQ-gYZ O OEc% |Encodability_Process_CalculiEncodability_Process_Calculi.ProcessCalculidocument.tex7zXZִF! ]A-MՋhvG"uIBm5Lwmd4mW(7De"u6Wz[P=Nuڧ qEM5tk3n~2;Gktk tuI4*ˣ2*EtVy@h6!,#GttLJKݹ^ǟg9)[4h?rKlSKd[a}傆 n5KC,D-MțuE<1FpV 5\OcFctNt{fh U0mD fjog^烩toɯyJF+w1L;3C(:g˥q6\m,.[Uc ϊ=f@omWIjB6!B|<#~4/oR(F\ >H9`ywyxq 2RAin"c)]usQi`̘i+q*L8-Qc )6}I.Z) EY% tEncodability_Process_CalculiEncodability_Process_Calculi.Relationsdocument.tex7zXZִF! |Kq]A-MՋhvG"uIBm5ťs^m"2C%ƖvZꈆ7(%BpHVrlƲӳH@f^rjwƢGNLb{(P*[ 9v!PU,kOZ2FEKlj t| ңp">NhH鞙{]舝 i73Eg@Csc4fd67 T{26F>!ׄ_Qk$,!=8PhPi|f\E7YjgI#Đ4ǝ$lg~3GޠWaXk`rP6oc qWv nCTi1e6]})ءTHsq/n{OaZ(-U})zɷ!`SERsW NEZ^L M:'b;h;s8>޴:b$*4GھnVИ5 jLyյ cb0Ϲzl;eI4|U|b;'7- )hIT^PNA{ 7 lۋUI*ɯ)5!6a8w#wNNnԟ$sx(g'CG:. {SftRm] 8<^L"u7uƼ1P&\ޭ8e~G>hԴIKζt 9㜌EF[ptl[ܱ apd} g3 ΡI P dčh,8[3ٝCVoȡԸe9un[N+لTȈt4IJ̎m7$Li,+\%WìކtLMņ f.>Þ{x_p FR,*PjH54:OZ2 "ɭAQm tjWɥ0uƐ׫T(} D, 1E8뼒CősPr}X&̱;fF_D?dXV*!)v}sGU@~61\NʯƈRst6Z.U(vzG RZSY)5;|+V4w7+[$Q~l5'B6F RfŁ"?L/M> }Ę);C_Db-_ &98z9>xvL(`hda} Q?{ΈuiS<>ܳ/}W0Bp]@Б=Gk4%@S[$JzdFA%?7'@ÃW YfN#~_zcgA:_` X{Ss\sCNrx1[MFpdW^4yi@A奥'6NJ{<"'Gu:QX Aa3ZM(4RƧ?:/hɓH (NWpuu! 5MI{k~G %.w3P "p /{Q~FzSh~b3@ ZtaI(#HB2a#:Ye913[66aypWm]Hf1Sh^6߅ڝ!TRvy#=IBëXz愶ז S) ]vمSi!_q.༢ \jt:}wQY*s̤'[ *K5G/|#fgk.]Hh]E_ vig^UBE,#+ڰ8iJ~8+ 0qV@\ De>Z\˷$|#sF Q] Wo;-ow#ϓxɱZϫxP^'&mc"G ^29w Ea" 쏱[8ȷZ6WٯVero3hZ>kXU/X5\3K!AKbK@:qU5#H̀,%1MFk 2tflk\愺ctlifƭei.Eh@Kq[ JZ %qV'bSʿ Hv8\ܭ Zy#qLN?!f2h &ڣꨰ),nsTSo8E 1^h3,=FW}F't)ۀv&.3agTzAl`7ud.SDQb\*w*㩓,Du"dvsVhj[ī#Ѓ$_ueB` 2+R,a.7A:ESi Ζ)5dBҢfvR( r?jBg9-;GxPZLM>7S=:-WmtYY9Ì"HR`3WD}Maah8}Z'Ix8uOjxJ"'>6@N2F"Śr]N b6G&9MVc֏aѓ0n6< ^jd7QDq+\eվZB*=m94j54rz vSh#0d~MUbk8I@,&E,R_8$u娸_.OG.3`R,Cܿ$tK7SY9-Cٺl)'.gb.s-gX1`luwm>V ? 4,.5qY7fs] N+pGu`,aT8VW5 .ՠdvKW;gh3R0ݶſQ0p&SəawKA nȄp]gS`_ _<R _<; 2W<0s })d;ΰqLԭ-۶tn0+$2؋[+1<,)ءHK$#O-jbP][\d+vw=_$X(hAըWsAZ.D¨a j WҸ,?Z{݅IJh QD9Gg>?kT]>J jjaKHp,%'n \5U0+Bpq`(U>l<}<]6=ǤٚH?A !92mDc_13WM^)ZsZCH+ɸ\8P8srk=M~^ƒD(\!L%y~v:# !4Z&M0 qFWty!1֊.j:Zf9]38{zAg~JxXEhx6kF]>Wڑ\ÊSy< V蛇GMCe}?I| ddmJ!!xI yRU3:XI˞\j<0:(`-VhTCRmi*FZe6W ?3 /QcNXhd8h0B}X|9_1 XSwɳXXw}+p::fbV( PRz0&X⣬.5 SELdӍZB +:bTI .9]:+*oqEX1oAZѦ6I4'!E!X!r\]Fk5 a"'V < -CXTKhjKo 9; O\a?HR^iAUb>%&1D^ݕ=ˉX*^/?psEdFL 3p냌8:*NhcH[ds {V.z9`ˆ"r½Ħ02- Ԟ^'W6yσy?D&Ż2s{]7 }0UkH,>| 8r)3y9Q$kk ~%UL\ !ؾC2T099 ?~yZ~Zb/OCƟ͉r {B1.\ p.=50 ZJ)ej9g }= 6|9a m$bASQ]huo+?e[u)LN`hZޛE<".#㤭†7aGm4(FNv52Wŏ65w'-xdTXQd2J'?qlB=k`1˯Ӡԗ[ۗCXIx G#j.nqzeiي4'ggn#D|!B">l9, ??Wn'vWUkq(y@n}͞GCۨB=i˴ ټ}_ӫG֯No/+6+OY3;~WdOڸ⋎LX{h,xoԘUW=I"5^3t$\jJ=1e'T"];W}}TFMdv烐0NT[lêb%5LZ ?ZF%q!mƾG\MS&& *3f UF-~4g'7\~ÖyWF- m^ZAu:;a>b=drP9*C'ŧ6v=YNF^ !X7謵3?_aSZAԨ9R#ܪfH֗2XF?U]&ݛ Vv^O||8M!(c 3)Ze30d~C)* XRr¯CsUiȳF.>^`K̯? @GS  $ԮgYZ ! E?% ,Encodability_Process_CalculiHOL-Library.OptionalSugardocument.tex7zXZִF! ]A-MՋhvG"uIBm5ł᭜+ܦ*Xnl eZ;  0qqݽpVgqq`MFռ=2Tsp@!EvHTYF%m(5vq

>V$VqYƵ5?w Ñj g>ԗcD+plJ}H1OmӗFjʲ`Aq۾Eқ[`7!X[NZ"yWǕ(b_FG95{#(*1crqx?h-p) 0ǨU,VQ` 0^]4 uXrڊh5hjB*Og4?yi@x}/FyqbMY./AZC#=`k8Du>0N>T!n)uDG:5?DT3?`3)]JAC)Xf '6JGOP) p>26އH,WocMud/rB2q8t-d? o,y|ڙ0ϖ%eJ-plAlr]8I*CRzZƈTi%e=Xi++(e}֖J SKB$ ,~Jҳ$fu=+R!|%kH#x8Oz^5'*0(jVsV,#RG¿YI/kvY>2 bn|Hƀ>u)! 1K\6,kjZD?ĪޤNPɼ,)i{4l\SҴV16|ۂs#<ҫxiߵµZ휷 lG>4) h4\y"fp8mmdq&2}PθP66UNEXw8['k: omxqـY=!V}T luG-\oFʿ_+i${m(=ҍؓ G̋؇:f?'ۨ&a_G24'Zd 쓖uR7ygYZ mm Eo% lEncodability_Process_CalculiEncodability_Process_Calculi.DivergenceReflectiondocument.tex7zXZִF! [(]A-MՋhvG"uIBm5بP9*TλWM`fugǎ`kyl[NBtPS)(q647mtuo{,m`IGS fm }+%҉E8=t0BHP=-z?|-~ozG_.ASlηX9jubٱ0Dpn.2sl]Б,!TǏB7cq@8B$!ZFF`J-\,h"p ޟ0㲵eQMGo W;LlV@'0~[EwDׂp6*Rx{:D ?G,N歃Xzc;C:KW.YXedkY{-l0rcF<ۮ)j<[֡n)jLwJ>lŏQ,|ON_w]d]p:xUb~oPb'-!_^Aɵk .5%Bo 2<6M65iՌo uDz XmDcV%ozenLUv}\ɚpyfCk- R?qhPx,vC]j},> 8͈sZDZJ ^˅ WG5~>.Eo;!Lw^i+&UqNzlqژ2HY`U~Q M'Q`cFOz\E->;E紘YIS!=tYU{AdY*rIr[(FBƞ1C7p%h)دXim%.NٮL?}m0) 屯l%Wȧu`2or Qw'BXr=T'uM5W众ntu_[1ywQ̓aר}- [ ϶`f뤀y:r*LM7 JV0 9sT7 X3֏Τ)oTkvcavt^gW+X*U c+Q P3|?ٻNҧ!34:gTIB4ֈ{ @WN4&gq! TECɁv4k1h ]d4tDwmgHǖkPd?̜-%=\ M+}y[rl\7~KvSLH'ʿ4R,kleE<}-&x/|$mG夛W > [Ӽ^y2`u21 ]1k՘;+/3>N -`nPKYISDF<~f.tDus9x>I_).ц!v?Y@YOVzB]'g#!yr?$;J]$LiktR]=#uv q4N=8' 2ݚ1 HɴuKNW07\$XdӠ|&x9Ot)X{A]x9pU.GW:owS^A3wmLaX7<(>Vow|%D\"h%"V;?)[*pdω f&鋙 B87) <مO4:Xwrl"\ / yڡ(p5BV+ kT٦ښM| BXr~S8T*XE0>ι*Z(P q$+6W-h^7~ٔMĊ<m6?hE+% ILeGXV_$Wz/jMpɛn9(׉ 21oi|hG$#ҠI!t (Bi?gYZ*ڡkL*$8C_-`gYZ7zXZִF! Az]ŗXi%; q3ՏM\wuWye hMV=eo|f t1퍫ftdl>:'2!". M UFet_(U|^0^W{600|w" A˦I BgE"ogr1uhG( tc(ma(-W-/Ki!-B'ʯkx9C#H7Ac> O9NX^b#dF zTD2sW5|4>]d!80 '|i3!JyW?DD &{Qnx)<-bkr Z/FN'> ZEzJ tV㒦vx0#Ŏ>D-I.ʏghi YC:7s];j7Ipm 3qF. Tq)d Uǁ֡+)ģzL!1*cThS E([j ndU cY->zJ6r<6TnX?or3o| a"uΙ*Iegh=KfW%D9ϻVzVUGy[SgnJEelߒ`63,q3ppH\aj k<0Wr`@ƀj2:aʯVB)\ :*+03ʵSP׀,$ra@'eoUuUbJCKuP]_s!@aJxz i@/vFVua_J"?Y\!`U-0״8Jgj:1r$cI>jCO.DCf7K*舵D,>zZ+oa$d4+C/ ì[umP]ZRjfbZ {]1Qeиhl/`JvHF&ER w!d%^A- U.u ބ+'$GlXK[Ͱ ҕ$i 8?ND8@:8hF(LqJ8 aYJF-3U9K~zs"JpEFW7ʂvNnykI~?96Rh[ĜbŘqHo3~Rw2rriIA*Z?ȍ=JYkZELݵ`rA2d\.Gv1Sf%gRh8Qx2xޑ5f82b 2,TM_?T|sndBPtt J31 ih#cTc תusN&] x}g{&#I쑅_P97J/GI"5{Sa7iL7&UbVe^h |g|XoZ7oE+y*,c>[Y:~5ưEyt\R l' lKAG"4k*op_}1g;-0Cm-$afR||Ч3}@ī-RAߤ9 'PHŀƇxE)O$ qmhO9?Fz@z p?%-*oEn3#ӘyAȄo}"NSil:  n;Ep&%0GT3Y?˻/Ur-l4HEݻa2M[~{ҲӍ27/Fβ8ScmhyGbU>.d̪tMu#cs ̆j0 a|a у,;E<'UGQ!sm2S2Oa"ISR UƘR^w@ƹw[\.'Z\ý"W3w Gi)u96;ljkѰԈ8\z5M`"}cV:sL] 3zop/am]C,UuF F>y ~vOJ`]@eX]P`%>ŔޑnY%wΣ  xG)u:=EK\f Cvcyb0<-#]J,ك2R/XlIwdaƊanE}fNAq c0cEϖSD@),R\=Ǩew0>584տ6oĔ}c@YʂSjjtM:yJHYɋʖ)G8Rk ݩ A AN&МPsƒgc}q TwmD: D-s1fW3QÊnaaQ8S~X. i'Vl{nI_Oу}ff9ނFToiS- G#&51 ;R~M9b4$hVn 2)4d .FҞ1aj lI[ɖDI\0a y[-$pz G B;=rQ7zŁoNsz;Ҝ`;H[8R(:pQP2s=e^*6Zt!A*J= 2s!7A89/Mӹ)O|TȰȴ8Wк"V5Cqv Pq8#~_&pal]KFLG hvO\3=իKvr}P]WEqPmŬ ůXxZV3(2Ԣ2l,.%;.Iqe..Zbw&H#kB5(9؛K‚)gO6;RogYZa4b7782da2f6036459c9e4e6e58f44f15e4e61bc0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122