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 @@=5 | ]%]DynamicArchitectures:threads=2elapsed=14.524cpu=27.144gc=0.940factor=1.877zXZִF! ]ŗXf1-/6vRZaKSt$uxem1o/pA"6΁oD=b7Z0;U)Y"&$V *$TPRc: Iheufpc8t6=w2 Le>Fzbߠ d-3wT[d&0wa ZpZЄ,㸣o*|m7TayO-%Ѹ,fغe\-61t8!'0vC%A]g8J0H7r5x u?ܵO/D$NMݰQ-_l{E "|#^#'PNj.džár6#0?ץwM=>-a\등|+9[OzhUϔrz'P1gYZ7zXZִF! u]ŗXiɟ:340Ψ_իX+jެDu?.jT yFS:o wlmqisV:Hv2@XEf^#C@(cibL^hgYZ7zXZִF! [H]ŗXi%;?A?<8,~ {i%8uу[)2e|Gxw-:ߒi/\mډ8P55!8 ǒ&=f תl{#lڙD\d?@@XobEVCb Y +}U4GT.,jnHي:f"[99ECƉ|ODk ;'haJ+$t0-ZzЃpXxݿN5CLnN_nźx8cDw/rir;ё1jt]1+aZ1*%+ɚ:>KtdKQ,[i^(CCNjP_Ji/mDŽ)K^g\MRy^Un z:dYxsZD  ©XL}+]yt OeZc۞̋!V_~긶*ii xZ`0ӁoKƉvcW&Kۖ[Z<`,?y#֔R>N3 3. '(6x7뢕g޵`- +`7 Y >>jHyƮ\e8wIUd= =2ɻc(t`nlU>.d=J:7 . wɵ*FpdmsEUsGKNTtpKǀxCS >]MsI,ik_3g"[xjqYa;2o* !蟂:xT;X7=P0"WGڸTWD>.IѼx 2CIR֪%{822=p I\+– %Iv  Ldaʻp8I[0ʿO.` !sa'f@j+ppRB"H6Iȗ'`vRxvdLPU"]KۜPqȜ;"ʪ{yp=4;ge1_EP7O]~e\7-D?˸yfoNAյf9S5!+O\8YX8/[ Jlh`C(qB+:nHZ2HH$6)wk f$C OFg> ´gYZe75bb505dc80858d73a0af7eec81b2e99e0aad409ca5f92a14099d9d0578aa86393b807a3c2738ce 5d409056603c26099742d14e8f0a43cb37242805 f25b7aa9bfcf042befc4f0b5d99c36328c0d769c e7d8ef4c95ffc25bbf4c26957c85a5029f1e088e fcc4f9d59ca745b07ae748f0a4aa02e80e4bae04f083f3f373cdfb47e8602b4079f7ab673c955885 5 DynamicArchitectures  V5q% DynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.tex7zXZִF! p;`9]A-MՋhvG"uIBm5}_F`ZLJZ_RObWx2UBe"@`xC(]6(`zI`!YL!% VwbOx ,[q;X ~P)ݪyϠrGkj^sz&g۽(3)4 K&w8۝X)$3D|Y]tƵ+>񕮰om40~emb6n 0vPg rQ ǔp@e::;\ uf O%geMn)!Y 9._FwsWniB%3Oi=[٢ PTn-}cAKY6 Y5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex7zXZִF! ?8YF]A-MՋhvG"uIBm5T9Yg lZr&7֊clR&TvK5Òa[:L/=6yRG.LnhP~@O_}.ۘ/uj},щcLĭmamD B%l4^]l jM} 8MfyS< F }tj'EL1Y]|9_ s$L(Zy%{[h@s4 !(1c. qnDڍ'_kr1tý(5i cmJıOHc: v{vWT m)@ٯdEmgkðkFZmg1i q;D,ʷr]ø!2R(_|')戾1)8 xjGq6Ļ bpa`M}\#CٸM^_+)M 4| ŧiEmKlNbDօZUFF~.~ %M+On( p[|P) _[ `uQXlaO &Aˬ@N%a}P:g)H͇(WY7-2*:z2gFLytuC0H5.8 $8v ]d$=,Pw!,58)yZqޘ m쫌ckN."ޥ_FKNf RCN9XÖ~oc9z׃AKՃVM($l!$ʣ΢dه#5@:ء%uVڔ=@.=ws+Ka 2ahl,HE}[,g 25wcҾjV.Ls{Gd)/oU!bKvZ n48bZ:1"Ő ]9i7MLؘ6/nM$^_~gLlmG%&MXNDf_*J*vfa]ia9R ;^=06{4@+|e*{&lŲ#AC99g&z+ 5lQM-9$<suu:'k DM(gnս!V;(u$&tKAcIM_OHĸ"z%=/OՊ`H*y:w +rĹ$+٬AJ$"HncGDoگĎ3 _B%61o;*,:#D۝L4!8yQ.tIT?eC4=m^b(X(i1$CnfA>֢!1pzQak!~X~_1 5[{o@Cׁh9٣-6$AC-tfKBeS@Q7r'n3@hn%g,+A78^s?*JS׋`T-xy܅ SNJ XXX5q%DynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.texN5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex~g-ĥU[@}ni4iN o)MGT-P# fϽ Rs.ۿuH43F٣Fߚ Ncw2[QL`xS%s_ @/MDֈ6H\:w\jg/lZdGioW.`H@S?~G~ [_3S'&ʗJVP1,pp`~M",?o>IDCCƐ/o?uCVJ/7S6EP+4$kD?eDCnBMڻw=|RAC-H P5_-C⚻(<_PKȿw8_(֑Uk`0\]:hEE?QJ@6:S0/E7L%;"k|2%& M'|~r@UsqThS-T}zVKvdqa@Shʋp䲡<<IK 2;D2M ^6˳Mf Aj4?I+U1(/%[N |CFh=⋼zYZe7gh^mQ'.3XDR#꟒$)RGn9#~>CX$kD{4?$<$NVi Q^qkh5NΙ*>6RΑ\^Z ۤJw&A/^o &m֍\qvggnq)1 Czh Uufxpq(n;s0❾\qZIӶZ@S`b u #yI<, -6q]h^`]"IKUe4оgrk TI:,ɼؘ1*&iss#Iy3ىު{h~ L:x5!6}92KSy j2[ :IwY)8 ț9#v:cc&/._GI/#Å~q˖h>z+XE0-ީ /Q!oY%*.BX)4|-B"?\Y<Nz=C[p|q5Р9%CsţlTN3":/K%z0F6KgFo:k#z+mU$fROCZEFe3Ɨyk9hV"< jnU8ſK\ľmrɰfۣظMCy.cAi9!ͬ-AW[LbP l.RL)[b $¿:IBpFE,"rnOP/=,[=NkMt^)_!?\5[灁'{jp?ev$" а"JbD/y)0e͓X*@v`kr޼Ÿ`csK*$I4,֗l7#ͪ< ]]ӟr#} ;Jy)P9T%(!D  ΁zK/I`?$4CC O̥Dȥw;a1Agf\3@/yp&lŀR9pG^ Z^Ɲ+2yF z?E(=jAC7!~d:Gw*8tzܾ&ؼHZwwWthMV7mZc^Y6}i^ VM@1ɳ4Vja)޿ϯ'v;#d@OVkl_+?Z2`-$ 1>NWzÐńY; `4& Vl Wǎ#XhH{ tnVm#*.2(k`Oe|9v&Gv/!>uǎm dyrh* |l&ɪ7,EG"XUK!oҝcvBW-c F s.4d5ENƿ5lЀ1 'N^`6ݩ gőuuE^󜞀ڭwMfaS${[঩ɧ tӥkqw,* JNGҥEd CLЯX =Bm#PUyn.IJῬrd龇'Memv*$, fw.bO%A^ڞBkTcy̻n9hGO9~Y^YTGNӢz) @&gG;paAA3z `LLnu8a0Қd&\Tt'A[&|zv-a77A3'F˜hCy'YH: щ'k}ӭ-BSV Vdg#VtԾ,p!t^}| "4rTrBt*G9]S¹z }Gފw΅Q3lyGQyrpϿ-2ȓʖi\̲#. Ao v/eIEڌ_YH! MR2 .b\:Qå% o2 ?(j)ңzoBfeIÊڗYoFμjCV4\yz; F?I5m/!{P_XU6 Vdev䘚W_+[lH|̇ &;3̿13]vĂOd\1YNBJ`iNBWN|,"*_CȾ.cPh86Z2"Xy !37yTZYB^ooBc2uYybAN?Z0aH$TN(8wMQw}-:7Tlqcm}}{وdr 8foYS{?'50\xbhH="紡`j3 8lL\~$ʹ;c@\'LwdžFg-qȉ2ݒ,ױ\0.퇧 ä^g0cjJ LrD8?DKYւKu31y]ރ]!Gӎ-g,y&M%mB깿Wbv\ 6wZ-p3L!Fi R yr5G%^,am0'B$.rx4n۸!=~90t+ Rm>?s`!1_Ύ6iFwJME7cPN!Sg&cKQ[9-+i @ޟ:::;!ʨs =N~n # %d"bq@IK8jyAkxfݯݾyH%4Ћ?otǐE Fۏn:M: *tI'^ܩ^%Teܲ3:o^m9t[5rr.觠z9uW_x y)H#h̎  ̉F.2oLD HSR1,EIQ-Cпo 9h/=?/LR[Y3]T _ Tz3 O !YNEpz3& / Ծ+=YHl(TUwhkUr,0;WF~ FXtA8-q^]/ḁ#A,ō2y侯틀fG&f1YtJ#Sui߁U:>,?\ ogMfz7p/fo_&Qw[29+!>$ +BNl%&RAG?9QhpBNxZ[ݙwkMDj:!֩) '(LIÔ=ⶀW({xg7֐I*؎RsJ∀ژJp",Ff,](-#6j1xNj޿ށkb'MK n)E c~v燮;ٗLER`HQ;䨹FjzaP{rf`8LGpu~d&E3}`$2&U pThDVOA1Ѐܱ  kxKx,ǖmi4{* khY(A[>QK d+O]KنmU^v32Զ\Bc@wqQ#EuYQe<:޺R)1+S5f0Grd?jT,F6dsucTS6KE[L-J,p58Jpu`Tzuh.=X.n=ʼnf%N*ֱ_}8c Dsdm5X˧ms W4f-*CxUi.o 8B|LTUA c;;#5G֦] N7Aτ1Sx6{:eo6I> qf{(-]+-)tjA?Kk ͨcc{˥.9}u 0P"jl2SٍT8Rߌ<7srg?"(26FY0nʹ-)9]Sպ8\IVCI^zVo)!ψ7n3I!,d7Jw κKJʷel0ůXe'!`O:޲yFxJ?FNzsej6/StC0Pm+0"p6[J1mE σ_ar FͷI }|1d/sW}[QT@ej)nCE:$ i6=SȄNǤ|W@ء>oK^ ׼U٘J;l~J~ę=LKi %V3ԝ^rV"ۖvKPQ0Pg Weڕ Pd6>QEI`":6arugYe†'l*ͣ&}!c$s2Vےی Q;iPQs4:?AHt ,!sHyQ-[t*R폵G*s1c':Lݙ.b7/ 9pP֘Su0rd[I=}쫴hZh]=HHY4I0DV`J7 v 2X>S*O4eq;3*E \ r#>-|W"$& /} | 9xۓ8p@Qɀ2y|N 'x:FQe3g[LK j;: MkAE@hb){ZCkut6ӔM%ߵb:/Kdq9HB1qC<8HtwOn1jSrIuR,G/}JH:#Cu']twƿ#Gդ[&x֢4v/8t5!M;!dj~@SCܙVшTv&Jj/(E)%-SО?V^љ#yYug ѻ0 a|_sNxrB"\ Qh2 ]|Eo@mh {Ŵ [E} ɞW[A Kjkmd*Otdk8KqQJpdF^ H0 'T[F-0+R1N8mye d(&,jm@X](sCw=!`ƶkh[_aJ*s9[);:SB6yՀ5')hq:?)bCQ+ rpΫr|fD(k4Tϵ[]sk9><0 ` ۀ摲`H=ㅺR# h?'\i @ͱ|WdEɇ=nz͖@aQ2m&y g0:sR8- Vs\-%sqNQvJ̨TO fYYwCԡhy(? {U#Lin=.9ۼt5ycH$/5Qc[;2jCav[IFi28ǖ}.pIފ]{716su?\\kRW%fݣ:>OMe1x'@~_ {4k Ahpm]5HUX#<@;$xItJmV/\k/nmR­^6f|Zf.:3i9#=r{H?W A`M28MGnϠMљJTE*ZzzA(H*Jq?6R]VZZBNJD,Vj4 &K?CY) - ǧ,x WfTE?Mg8ZjcFQS;?k%z*2qڈV4Ȁ 0c#H` 窴-P8P7\T*Et \:wc 6x[H(q8 M]Έk/Inb|FSz~NP5/ȿT6^KmsF h bsˠ?dMN8lôN%B\UF8r ke.nFi8y{8#Y21lҽ$/{p/5)bg60ϱfE)\Ww]$; =PcWi6[v 9PJ_ C$t|JjTO ST#-DnN /HLbgrxnN2qA 3Mmnho\5:R+5Se1lIԄ%x/>[EqP,sx$>o&O! MRqf.xih'.2ȯ3Q2>aln Ie!=3>$ʧS8NKǕ~Yڀ:d!ǽc'A4rg}L6F]~}[HަCw%"Eqt._cqfX'gI2;gwlg"Өn{pTG̢,L|'6$Ƒ?nA$;{%~WS'"h ^i Qr5k-B-4MA1xȀeum||yuP]~MuťrCkwo 9u>/\r~zN#fQWQ.n[>'徹'*79Ab:ȑ&^V^׍|q|J85Q^.CςVb.+>Ad[;h4;8,jf`f^]"/O3rdΤuLbZ?׫e0lXOE\Gzրyc9 JsgٰksFuBMx׹iW5R>ʼsUq_!%t\Oڈ{aI.| ZXSuj"ƴJ9tWuЍgBB\Jv$@GOWL3_7mZOԜd㜄}-c.pf1.s5!mgj !WK#$;d083 Rَˮ"qi p`9S۰[ҩˑ'3'ng%ozhYgH5!DajޑNtie^”"orEFb(M+TXyqJQe.l#;y w) ks JRG?ht2;dM_ĠTpP˽~I(0# ڧb7'T\E 5@v0xo< Ϯ-a1SL5A/S R+8>] e]?IDZ}uH/p U"_u ݷ.)- "_(uu\ ,ijx&(Dlȅa FʨC8}KhzW`zm؃B=IS2@UƑMZ%;q VVy8N-W}$!{BKsldGNw`45 W,ucF hU7| |]9+YЯn*7'5DC"?=6ϳ# zrQ5 [_+*+?ihGd*dz@aF ^C'0VC.Z1 p}jaG+ecx8[WldW?x Ư-7+7'1I3da'LGg}jdrҝ$,~EmCU)t] 7ʋ;T> qorOI)rQ~PoW|ܧ@)Mb,6 2~8$v)N@ ,]ֶ^BW62u=o/AFؾ0&[N._-:iXrMiq}N)tiŷ\X`#.M1Y;tr`ĻlA%F<@24xH!9dkvɊP`!'d9!3f'E d1Tʿ4& "1-K+NˁJ::4k g4m)imm)g_7ߨazc'p_g#iה܁^te6Ⱦ2‡IP1՞Xw6v\(xq(ȟ.A7MNVv"%6gQw#ab[miZxaQ{>^ME FFlM!QM=m>Eza;OT+ !WQUy&+n a^.Yeo"wwJ$Tke?䔘qe/<=d St)7Q\B9d[=٤F%Mh=%,v@.P`eՖݺ9!5ҽ{|F r=fc`rZߵ}]R=fpdBqrǶ 9gg$zQ3681ZAHMU &˖ې+DL|̵NPVw2ND创quCqkGmǏwQ4o }ĀS]6&vZ~8\}T^_ɏ8fHi΃ ) } 7*yh"k%uy@A:O5%/s&˞nrbRcWB|?C'k1w(%mxmeϻjsn C^aH: Y|K)hw\iBwsz±jq^ 8_;X?;BhM:44Ӄk#NhvQ {f6"y -iS w)0E0ľ5E1z{9}sOJDh숗p`/]ClM1BV̥}΅s ?z#/pG)i[T>Cla wVlHp?MsZ?mj&"X2khyJ\Sb.:>ߥ!Ї.nTйC5(RV g@)ܮ5uȎ@XFlOKrb];f10͇1&4MEIQN=QLo@C_EvtdX3!ĶF %>0fS9NO#h6bB4r6|wc r 7n&G̩P T|:X=ڡ̳@>D KGu/+ɿؚt̗ c(}G{.c ruQ|@m$EC.u#Bkw֙;8cp `wsBbu%2v>"lYI w<5[ͳUR˳WD/7%# .b8]ktn =6ᵠt%>OoDF|Qzf \"5j> @r`{G/&D!Y(J^@|<7y#٢o%dwJ疀w?+3s8'BE"+d݆ō٘=īKѕJI鹧PnW3$Y3d^j6֏XeXm`LɴtWng=i4;BX_/pŬЃss^Ҷ*i'zFpCbCgER(ح S˷ /B7)o?hRCQ/̩.H4 bh)c+F't9)JnrdBPVkrW<+*J?I2ٟ3)DMf}L~ܱ^U59Bo'{uy+<)Bd$XZ zQG,u]}|d$.4WSr_֝GNs.pf&ûlK[+]uB%O>$gcr^CRC\FڱmaJ_!uh^ݯ_S2Kz}TBtK$4rYr|SkIM !R s-f%il ! W=7/4~wtseк?=j=7B)b$bTCIetcNƇo̊=AnkMvv'?q.Eܢ O cԖt)ɋICN39RUK8yWB)#rWm5xOm<&H؇e%sIZr>Dհ)( GG߳^ hde mPRإcov +UkXĔR!~@f%qpla:*VO(y_E@;uu)p$^0wkn~bM@eyZYn4!zJѳCH=;tyϗe$]GeҦ^2hi罫^EwmN۠[̔>8LMU",pNl yu+z'zH l/|Iߑ8JX79傄(ݗw7nBI5Rȥ$X :~]i<҇?Y`^zaPM o(W9#C*v[Т!HG>ho6tH=-g?HyL^]70&%e&xE*[9q̸0*Q0>+[&gQAGe r5+X]ˣʘoŮWiLzoAh$f.auC|-B1. ыN\L^ĎP7-QvN֌~LYpiV'#^C0f*(9QVR>+I@'dVUk/X.h7Mqg/]Anf]A!$lN2ٲD7)8d}~/^L^?`!?8GƔکcO?::. r ]쇓Y)K"ENdc`~l UIM9-3VQ¬Qqn#|=#1u;^vMWiGs Da<\ɋq-Ą.pa6}{P1}m!*3y:{̈,n, 8P8YU?4x,HYDTՂ.,{H(MIx\$Cvq6-uPzǓpyq)]~Q9{2?r.g#N~`b8ͤywu\ȷ#> 0(ȴ-^<ʈNoguw`=='j[EQI"~p,(veEwAAY(u$dDϓngլ2FI+wq_:!DO˼ ĎNLLo(pB,#8 8,j=۰;g]" lկx͵qMPP&iWo]!/Iג`{Dׂau(,@$ABƮUrz/ㅽ0Y×Ӂ2[\ F5pN>(vd l8Fqw_ ;j4v(hZzJ+*4U q~j`в %^fO$$BCtJ]Ds[Ćqhp\gOPN\Om.Y੼p,st*,ÜeHLx.-Y%%13c}1G=Ҟ?%P!F֟T^q† t"T'k2u3ʞ'KnedMC`GWԱ'h-a `t"ThRepRFWc1R-7C0%LY>Do=N)<<2_Bq`Ug[!VY0ZFLCV'~op L~&+IP E)xs]xople?"Tܵ+# g.5d}}ʑ]ƫfIm9;8\&ׅTM*%,'"-ZUrjpgg$7Ѩ/s[?Ò(at^aR7TOnwuh h/7^(VO[IvTsfKb=M||' hiZd2o'z6k~dL`^?b5Q*v'7aIoS13!c`M83iփB٩4h?\ n'+Bf5?zHO )v43MUpˮ:c+w0n',8hW_h=)=XXaa""tvl0.(љp¦sx]Ղѹ, ߰[^lǾ=yLiBAE)\# t`7R'js,P"0)nc٣\Z;Jn20rޱ&ioK6qQ\X0lO7MS=yJT>Rr,$;S] ͫ,PK?luGOk3KUJy1&{+4 O )U>Z>V e9$fѪlfAqruKH()\ [n prND~k_̛<%>pH>&7"A칁ց*Qp%r8gS9pvRXvsZۿ\3Wj2(2q߭]00o.Qij4 bkC ^/̺)bna=f5VCih6hlo\dfә];ݖA:Oϭ  RvʝUQZ%25mMk!Dw[KHrr_FR_}.7]k:*^T"JrBbNΗ);v:8K-S#Fx~'k{+Ҥv,Jt0G ҳ BYN@J\B3"#D3qGSkt΃|"DGz͍I#藟0 -8Zgh;2"MGv: C҉tY, 7@%jLvˤ%%O=Cm,@ N޲NԦ1ovM& `! op2,/W$ $Mp~Mq ڌc0h3~ uWO}x>Wög*CGniplzZY <.{'v/$}tDL/,,HO(sS!v!9Gr0AE4zb\LkADJrAd*0L€ў靏4T)OdQtCa\u]CV xkb Tz]Mm.lfn!jJ(Xtr)C( @N82 Q X+ uC@Xf-zPU!q*k(". 0EaEtD@SCl!Z DЇv=g2ÍH]M$klkd+R}ņR a&:{x,g`E8pN>#>0FQK⃭*̀y8AQ1gW=)@)2ҫ{WwszF I-*-_=ɀ6t*\^GoV` 1w0^(]y i?{'no BٹtLh5H+FU#hW u<(g$"RtNHTM00 ['DBӉގHb 8Ngzr)r?ց`'ncL6ds  ˑA+n@[C,)?GzGl sfE\#꜋Ϙ9~nHWv!L (m%9Ʋk9 ׅY$:4|>yt+^N},AnI5I~8d(N'#u"$L}&\Sf厹/o|&tD"^ǔh`Rq?dH\%o̦+H(A'UyƹLZi#,vMo"Y~M@ r es ]1v#x@{U"^uz  sI!%a5fj:6:4EӶ1| ^yOՌ!Tł̽F/y^jKiu9v-K^.pZϚa-̜iǺ[δ{?9t1dH8&2q*R7 ؉ֱ-Rxf6DL䫚-q앒!c5ƂHu,!ӢJd(Y<#k/I.Ki]Sr7Q[-8hxX,j5ZfzǓ47^ӯ@HF!\tl! +G0@5۵#''~g%=V핔uxb H5+qs߶sשSإ#OeI?A{7%)vF5+M@aB(?oevqUHtĎ5h" +o.|nBh|> d'{ezoQRg Rk-_WӔ~p "_C_a(گzÁS VIrQ[ǁPXըn+M,9 2ƉͣM޽**qNXqgyDYB'+Ʃ+>dUVSEabj7"sWړ]ujJ)e3:&? ,(1;'5^QRCKM ? HaS.>p Mݐd&=Jx]n^u,p%@*& q*~|=KMjݹzKe!tѶW9/۞ю<8L>: vO bq4`(3j1"@aBNf`U~z>Km+O{@Xbh :!$7|S!UiU9*o[cb0CA)7LR/0#(ȐR/^SX] z{s.B:$I$ƾKonldq`P*WɄyF|E 1&6dvŋ1 iarrēbykuuNw.~ZWU3dC~Ӭ*1SҴKRm9HN}Y%xc1_mN<ݭJI@bRZ&cU7gO9CRJ,`y /C,;rKP< Q*tmtx$!䫱v[%d%KN=fMfB{>ء:=5kz̀-ydz `}t YЦ<}>Љ;_`({,sXDTF;c񒵪v&aiդk>{2ٰɿ .01G" ;E+_t^WGRUi s|-&}5g70t/.∨^jj2Rv\KVa]A*c|ŏ+53@ZWl2 EE-&Mk3Z1)D39F2 pckijHm{ڱBGMt&!P6jTbc8JղTcWXth]&7d5HUcns2KdX'5Fs|_B pi^qK68Y? )6z8bpb_MYev=r`hP?ȪO "l3Гk"^!̕$'}l<rvWS+KhF=ȦuV7R,M5ح3âAn7 @p%Hv$q.8-u٬kVJ^ώY/Ŭ $h9`=K$ZQmXk S'} "lΑI5b+Ae[[*CQX -Dh}|z4*:d]BSk (LVhk5ѱ_1Mk骖 '1#@M'0N8i;]p:QP6ȚlZN1:pA>rMO[VC)"D(ct7tĕE7.}$'5][h;$;e/+}0*n9Z93H|(H9(4,6Q^ T;\H (|"ON߷lA7[C6OS+1I~/a '#~{,|71bEW-E ϏqsύpiW+I {ރMN(DbVH?M9qjf_o$^,BLYh2v\τĬM2}ǐED>pʙ+_"!!+/Q*`}nJ dSLzc/5YX'8|)1{ĵ6K]C*9Yg;4xgs;"t4 Tz☼0 xCXm,Pif䃓"wBJ)u2Mˍ_ xU5M@gWވmH?zu+UCoRRhL) s˂0sL]תye's=ԯ  JyC' QmkzrK =X҆Ix)~T"bN arZs|pY 1'-9 I$ bʰj DȽޙd"OҸrXs˂%N*[TZ3038).O%A]NfcsFvTɎt5ɢ[fruD\P2w-"Bf7u/+^*r"V@i~@d}%:>Che&gͪbXj㮨?M3qVu-ZKf `J,b1$ ? :\9> omD2%:gK֯w>ċư({8O)&M#+Ƴڃ1w;aWDPmSC(`Lʢ09#@U[_%ѩ%jݧ '鳎YvM$R=ͧu2 =Jue<\@6 u9 }We1.78`w7RȤ0jӑP/={w¯bS]/f,v]wjmn, bMg}ƚ(<>Ր,7нwKdL'ҨiJGP ONYCqOeՍ8dp*ڮ@n=n|˙༧Ōڣwe@fOK\YJ#_r^n!Vg4ՁOs|#~_f6a8'6{̢{%\blP}c9h^p5MF XGy&pT7XP"KS$ɡK澥~^|_@(RkucRUrPJ `;sUYZO`-pC@nS8Åcr蓎+&Tĺ$5 e=K7\#w0A~&jI{v$"&&z빂ُ p]]F1fꉜ2@xo{ҔjנS0B %8U {eױ "evÝS;7GKZ.ȟ)'dxz?]O.fitFWZG@ys3((EZ(0ISR%Q}D~ɿRpNt0o(H4`L&f~Vg(:A,?As:|åW?N:b/,euqO3JBrIIA.ҁ~q}#{h@d?V^YHϻ.] b){ ^4>] ՍpUs 㤥dnsse{DWF]ZU eJd|eىl1+|]Klk"IC*+%<}]w.qJ iHdǛcD#kaW0@ZPQ'溺YM gv+g>Jv {*|Z-"v4'5$ \k<])nmh6d7T:@덗^kxJ.c/ ;=j&A\ʵ[Az%IifLHyH]*Wɝqj *;oYxxS!6<=E&_T@rg(*S|~%1l_yFG|?`,[Ж\w#Wv?XU: ]GiH%6ckuX&SIף3.bkC'|=k _A+g> ~?&^py)!g2QGq%K0kBѴWenC1nf`ή Lv]T+3ӸEzu:4Tnu2Z!cG7ĿU4Y1@gC!?'/?=ыPf| O E`L .0!&*߾n{vu@l |h} Z=fm0)*ύ;my1Ņ Xn dU! ջ9:Lĭ_􋡬0QxneM^Rzg3R&r?ovɡ8m1>/{[|ι2aΌUhL1oT#u !{}dYQɯ-9!`oR-w\T"9)g9k8bD]L]?ل,H{c>~ &]ox-nL\Ʃ;ԿjY]2rzwbH\n{QO ΍zJEI@$(ǰ7 vc HJYmKMaD#-Nj|/d#J#uz_>q*C4j ;Dbiv\#ɨFA ݵ! R'+Vk*>+y*o>2MO9:"̹cn=q O{bMA0^cP5aOx=-_ &`ݼhm3Ʈ0KJiG>b0@^]djb[r!R {s[j7}+Nh:XVnPm$mMf*ԀFٸ]O-A֍_;O7GH|[crz\;k*%_g%6ܖנctZnA' GW"z~jgˠ)[B( :|@:ZTTߢ$0:^ma$,Ƴ8:z8YMo[T'v PӉTb*-ZWL'Of`xpaE9ֹ_C{Ć nU{ cTƧ+t*7QhykJ_ gMM`REx@nd\Ǣy#IFN>Tknnf.&`̅ ѵiZuA9ΚWmC1FXu'X(柽POMOm0f[Ti]i2hmUY= =򍦧%'h^$liQ]sih V2z,MLNk]J*=St nT}ڨ4>d_n'8e '(Ǯ(%}$#7=R"o쇰=*-,[gvܙҹUbAGΪt;L=+lXylšݩNdt}F%d(z$]~y/q>A_E\EmĄm{J/2RtTX9YSD*+{̄7Ǘ0hӧKW,_σ\b@fiZO0w0bp!;&YO>ISÖT@wAk+@hE&9"3٣1G!t3yD@JWс-ņ0CbԢM;k2`1nd(}猲o}nihY<:awOAgS`\g tUM|ʨ?+2*j(k1}@`L <>Ve;gÁIVߗb M]vv'dF EpXpiiK6 Β*K`abf<-*z\41lȹhxi雿K@8x50#g\SA- )Kkd63lL}W,qgU(,F]]!ZUъ pb(\]WxK i%<^e0؄DTF^geE1v 7OMEρLOK[ia1 wXZzQb?)52}NSC~Fg %BA@ЙnjoB5hWm]Or`R'59?Sz$TJsd~e#1h|F.~{u;O' znAS8T?YQ#YG΀2zs`&q@Ӈp:B:O+=xLR5a:Ex7HM!8psN"tE(OrDJ]YVUQz+O{XL>(X?7lvzc#YNtJ aM4 w`r4`3s\ASV墛ih77T(/דAdסOP%rt@C+ vQP6\*|-&t]K*^ wd.f5 x Ѓ4[EԢS59AZj(s;;{=Qs&jAw3Jc$ԽflX|l"k,lymMm19 h "v;d˂X0M >Sjk=Q֮:@з <#p0P^CVAT09d;r'ybnۺ_ C<ֻ1S &N"To&z1p&;0g>Hڒ5?'Wɺ*\ ^,N 1;=Y)8}XU9vn7PSX B? qM̸l%N1HB0^TO@9MDEXѲ <;)"Mxrl\Gz;@j2mw;z7`(uv˓oF\p6E C`Ѝ~Ah6~=&9 SBaջh#7E}:l/{j?vFK9[$5 ]bҙ~*k1W1qJ!f&9ywl襮A6k 1@LBCxgkB@ĀTƁL0Uܴπ1Ѐ]K ߐ3Zaq*h!PG LpiˆnX+V"V9n\2d7۝i R+{W\85̫зSDm1[Ne b yGF.JTT lԒAY< .9Ag+Ei\nMTvz6:N('d @1|jֵմjF$KO^"jQttmyi}{oi?yfh\]F\/py c拧s A.›)!-s_6*S F"6h.B8@PR)S" S'ublڻ&(L*F/dP PYy]}- X4(O3)qZJGl8|-٭I| 3W0A]CwZ\*/1: 2g}PpF8p{ {knqNڬL$OgtTΛ̅b2?c6P3.P yĞp8F"_/E/X gš@:Z )bg\Y yµ TіވE OKI`S;cie}-įʎA߸ \Nl̢j b 6%B[6{(c_:αe =.#/&:sY]}46_^ 4FD9@)M ?:P $P!u6,kX5B=`iƭ+4AFCh㫓ML7#IY0_Ml)rT uÝzUTRcGn^_x:U8Ka~7Ǚ>s15 C>80&Puxʶ{%rAVO =H8G}5,[U?|.3+d*"<]e~ mvK.L6YAi֊.و}ZJ#Ӻ~QcP;d޵yO"St?8Id2qeQ<,7aƵQ7XjR=>/zJ<)S_;DX$W_􂪑؂A"rq9@n-3_QD7h䒒 'p 4reNHv'z$$iְNӚ,vKA7<XI0.&69Xȁ^kjRĆ_[H7G `sfaH8q M(FY~ІiQ0ApbZkGA?|غ3$imp'h.)LE~wJ/of)5 l#%l :5&?]# cl)YI{B%o_!)]y$;Qn:q,ORQWl0r(@Փ"> cvSŜr诃b(р ̛ kF1 ׵W: <9J!V-b7(<C,tg|w&\Vc3=)KZ&i%1Dzߧ_'Uum[|w]LQd}rnFY6^5F{q [B`U(mw._q[dCȆ"f,;&tԫi0hec 䏣@ޗ` yO!FZ}ՌȔg 1ڗtSY& ]p3?Ex H f2@ rI=5?^-񉭸kTnݵZfԑAqPϑsEZn@Or!4֠(̊)m gh/ )1cK5<ܹ[焌378muΑoVq_}.n x0٤IA hDZFC2oekmEU=heO~P5`? i ޤF"8cf&$5֝ =5rxE/;9pr_*n1;+n&;hFs@(T=lI-$fHtoo)>>3'%]aGNfT٪m:bDq>zU b͖`޿NG٥Me#X.EQ[uC S>77~!2T1TA3 XG.|6v3ʼnZuFQ$h?A"E;B&H0^D ,w?Rķ..jT _юL,bl 3Y[bIpB"1]6m^W epb0:Cm8#RiWx@vlé1'*L@..-s.G+%_o_=Ʌ%Խy:a8U+aL2GxjMoh{sI_rw[g .UR9}yQ?d.\ Jn7=DY!5-NK\eJr df>R\`mM Z lnQ$z.(LdJKpU6VV/l )vykK5z0U0u [a& & d9+_53+=:g4_$ձWp.pUT@zɪb 'vj⪀ULj4/!\Lo9h%[S\d=r7둞y*ܡߒ\kZE#ڂtzR0?/we3|q)#M d ;`@MW{k^z2'Lngj6]aqn [aw<΀!ZL l22BF!}}~Yk#pWngA>hڰM2ymi|!kv>#m_.ЌM eS ͱ⁛'fɪEęo3AW]|+e-|}WJG#DΓd!U iTX3^&UBChˠ!QDŽuGa[fɸ L'}\RV<5<rE(;#8!Haf0z]׵[vl ?AU0Z &⮌w7|Bk4#Ρ^ZeЂۂ$ء_ACS,vJfHOvXeҦ `zezkm/=Z0k'96Qm2!XrLf#%aԛLKV`Y]?dsYR tY HyHp" JfH]W)ߩR]m(SjRq_側LIB07vDzS#ݞJ@ 1%JG:'ڍF㔝%]rwc`2J̕e6@-JP`c2VRM)&ւQ * 6F%9^JYWRYEH"]Dd?` zC3qd'1,#0f&!Vζ͜4ޮ&Cƨ(BE4~D\p!5&۞+pR"m>+C܊wy5pj OTtRY ,az޲F0!&X_YQ1ηƱ4y0ͶrܨեeS;!8itVU]3hj'mו$MQXѺَ ^„_83e;A ܠ߱e(ݨns<0Mrmz>,9u@K:R[r;W*vUů,~{mOY Ho>e' LAhtA}{oC._Zz`bܴs< Ugc.Je ˖\/]Ca?L4C{*,Io'MB@ZL6 A~Ν4ȕ@z#F a ,"r5u"cpk&{V룔k E+DNQW3 ˆezae_w$e NzHZV2]D% i kْ3 ~+S7ȬR%X|y@!Deø-K~G1)=mswk& S=}I|(2e ڤN N#-š4#v0j`B: ޙʋڊ()e2qx+*Ȯ+"; SaOl0A(L=zj?Jof~ml,s[Wڌ׶IUQfŹpY&&>5E<zJ0ן|5'ʺenha.hF.\+ ixL2Z˙Ezf<̮qӵ庈`H0y}NuJ$[%dmQUU1)goNPeُW@quP p>46^b9g{&B!w1W0˰Мl7qѴޱeDfy3Irrz&aŸeD slmomf :oXLb%J IBw jG|1DC{>^L;K vkT(LgT}O]iU.3 ?8F oUDbo`^%ZYrĨdz+ǒ|Pdp o2__IMڙyT#zg69. R+bĩ\0.t{UmiP9ʙcJ\R)ɓݰA U@#ox<Xh@ZtA^Mҷ@.H A#i/TF)B|8"t( 81MkdϘ5N6ߧq~#*Հ^aWa1 _幒O:f@U<- .X}s2*_J|v,습9{*E"(+uzvTAD%[ov):m No|O96o61Ca |*=1cP+P:F mtpAKݦ$(A狁y=R$A󟰟@4Z)1&9 ވ'$è]̔|v|E#/v 7`nt X?մ-ނ,.ZmA=HDќqd p\k"yth%R`,[' 2ŷE-cަWˮ˛Ꞇ>e[MƿHBe++^i@H si^hڞ8{c23r5 Z54ZR,̊|OXZn5O?mJy>x'`'_#n~XD۽q.niÀ1R2 :<7`oя +5H&!B ,ݖbƃݹ^@([‡ ?wrODE5rJk&WMRg5<_`bl$DyZ*+.ׇ IffN7J JhO +1=Lb$V9+Pfl1bd!nW(I ( rĒ7#pKO GN@}-ϗ(k\F6Rf<@J iQmnc8[2!RZ_ zT\jpzu¡BO=9^ Pz%z~@q v~ b_Yhe68@|Gf!IǠ_A7y'Sf+%r zXH-3d&;-vLTܜvX*(S"|eCeg̒64xsߚ.2wX[ +Ъ)9tÿcqFRznrKTGўSeW0"C֨zPZ8^jM0{6ES<>wxnM1^\Q bG@KRro֐.ԕS))s gbFLrI GA70zqSI6Ffo:i(742]~mĨf'>T]5&0P`_ `T WT~G|EE@.Tt3@CE48ʶpp5%9F,cQ UgolL2o#7ip\,5LX2$ZuO}O4Kv`|-|S' 4˄L͔ibл/[||j~^V3P $5)EX>` Df Pgs&sKϘ~g$((lɿ|n׃m\|_?wH8gr,Z׉) gYZ