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 E5 d|L ]%]DynamicArchitectures:threads=2elapsed=15.768cpu=29.280gc=0.792factor=1.867zXZִF! ]ŗXf1-/6vRZaKSt$uxek$x="Ǯ6xPm͌Ͱcmy;ri?۔P[WEY#XL6?/).qz[kQԈ>lxpu ]3un呣w,1|yd}$YtwNbyD qbQz2HGW`_WifQsMO",oU֮DdB_ݘeU^]HKA(4c|_`3{-BsgYZ7zXZִF! x]ŗXiɟ:340Ψ_իX+jެDu?.jT yGgHߍ+t:;@UGBz  6ҸGb?媌vX7B]O# 7ş;ݓ8gYZ7zXZִF! e4]ŗXi%; GOO0Ʉ{DOڛ+B?,j- Q4Q.j`v&FIwmvj%řgΛg{C2Kp=ɸ8. h1YZkyVٹC>&fot&O0BEHcB [!: vq_%CjOlȇ6wba/_SsI =>q2̏Ayڣqrl",ӗr+@đE_Ad;Oyxl/ *#R >AFCI&8|\F&AK8g}kD܋evJa;|a3ٚq>Sh[MЗ*$qޟr4 W3O[P- үh&*2'Ch"OfWKNjމA5o}Ijچ2 ٸ[)87ղy%Lje0"`: ?T!-I#TlgWyB?Y'^]vOk硊c9םV VoTW? AY9}t:ĺ58#c.Iܜ.I)'gB_qFlYᅦ:.*S^?*E_Hg:sr@g2_XyaLXbD_o,K!v݇dwA -.u lIdTbʝLYAP2+]vC3`;"$/nDW^ٶE eDx  c>5Uc/({pzkȿt@߄ې7S^*t?q䛪.j BqѪ0.$ep{Z63M:+a 21Oop]ԟV?dAR#.4]z^#XRxp rs"Q2>Oޭ.ua&;wdQ4(_䞉b n4鴩!>/)YH-CWN p+4K{JZ彘j TZcz kgYZ6e8f62b2e2ba451078fcf66660af4425b4ca12030a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c 7e917902c87e55f1024132b6caa4ae8b5f66a48f009bcdaea040b5e12474d34264575a28367dd823 5 DynamicArchitectures  5q% lDynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.tex7zXZִF! W`]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 55_% TDynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex7zXZִF! b`f]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~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`~Mj5P)/sPY ǫ$0`pIF7O%h@XsVhQ)y Mi 7+q+^`)R3pJ{T|Yp ] cwY\Fa Y6>ԁ3\R-oD==f1DK]^6;"UԚ`R;w@x@ܠ?aUhΛ~wZ RU.'=֩ד ]ũ/V7F15~=K#N sZn0T,gBO0rl8`OAY:#'Ӱƒ!8rppI]eߣ˼^*pLͭ,&l \/6 i,qf#a-@:n&;wL ԿXUf?&1qZҊ렷vtpOy`!_ue\0~eS+Ϻ TPSyoDzbX)i2+3{y=DgGt` |d^$=SL*0bf,]ꩲ4]U a9>2ĻȒ%z20f IQIMmF0Cn~hs|8jc3z#?eݰ>6f_%zsMWy[ɜ Q^d$aZuo]^RI=F,J\aɵ9N(ER J]jRSE!~8ΙnJTh#46 ÐQ)D=yq븮.kI+_!O"k^{ٔ7dqy*9\NI(%q@dՀ|$" eucprNL>gaBf5\SY>T_ yիfF}y-SYyR }iM#qS,;K>*$nњuc^ȸ=DrV^l{<9>}\\ D@+$B }$>j߬jphS!6H`/~{Pc1\`SE|NC"$U ~[& y^_p Өo9e`uD~#%t#a k18FUgwng6bL҉Cua5Ӊ&v^X*ďNu)7mǧlQ$:{0P}OTz ϩ(m"OIpMCS^s/bՋ-ĭJ[ $2;v"."$zX hySO6NJyTm?ˑPAC ü窤4]T* aѕ Dv).D_E_vwȫ6m ] D6=S"mty=UTo:ьDi)9;"/՞hmO#F1q9 5 oh5zZ\>pzk6-wv9|'2ϯMɗKIJ%'v3!^ɂքll޿K;yamIG#ۊ |s¦~@H3Rg#ۓfnVtړęa D)Dhdl$u W Nİ Ժ[hFؚk2<()6UZ1E1ݤd wE[_SFlɥŇWk6; ^d*\}1/rZ[@jSt-Wb"ye$C '"z1<ޝk&i!)ְv$wTi M1B#GȀTq_- I8eg_A#T 4:K魸ߜ) Ǖ}T}crD_s^!_ y)FO2PqPM騙;M`qpTw~*kQ+t.ә. 4:i(lПWC"$<1_v[t:+#20. El QP鈴P`T. 1οd6ہ۫X}aofk+OɥHotv:?ȯV٢QP@f]$~rdԍT)A=^P`K;~gҷCdaF'iΚPYD@ajO]J6n"ncZ/ʗ2mEb(msgcf%eQ k"d T<ыR\prh (0o"U'< mLDFa&%4iIs12rJ#DAЍ!uN#@dʄ\ 2h8;]y1J 䉪ԎߑG-@ ~ 8p*1m7Oߦ 1UY_?֊ v#I_d[B^ E iL) nY 5B>$ 0^(=KQ$a:v KSߊmW8&Imiڌ~i}KPY"z~VJ 3 e 2а3ශ_ NJIΤdCw9%$iOA:^omqui}!|ՉGbmb8kWS_4zGE˷` y {>D,Il<.#@i㭗nRУҔ?05 }H9Ŕ[Z>A|m?^`YU\<{_=$4"+(KPN (70דhUkoj)>O>ԱxQɟAZw/xJ0V 3Y1JqᩜQwNd<2KaO䘿9"C{ vn)=YD+QEn8=*ʓY*~q7+w?\|U4r6ϳ>Gπx;?DPW&ӷ1|}{#׳h Q;v{Utfɨ 'RW#\-߀EH Q-BjVcͼ J.Qo8l{>G-"6)ŸN {ZYSu-&fMy9OBмhf *mThLB_R5%Q1\1Y# 穘]bT}Jtps)}{ ʉK*:Xa}|IԢ~@Zt.]|;`'Wrk,~ٸ cئΨHqhT^|@Bꮕ1NFCf98]1C۠F C l&p'N OdDٲ-0Ɨ] Z,m ï9ug3mf#[Sև:ws!@PW"Z/VlR |&Ԃn2i{"\lנGn\N-^ªQRrhL'餽mb>#tU=Ծ=xhe@uwU\#RF7Iϊsu^*JWrGt[tˬ t"ٰ9-쬰w[nWċ( &ʌ~i6Tas>tU F":Jn3bQ;SJH|t{֭$q%-Q=V Dbe߰W􎢤~ +wwmG]秒<ӵɦlɇ3zM˟|6ȰC횢6$ =$a3n{?UKN=EVCtRZNAe>4Fh`C5g9FÚ@QS ފ= (ݐB.)Q hƈD6IE"=N^XBg{4B_f &A=e.~<2Pjgh#l3ĜFiXBV;[ׇKz.KEi{(}+KU;(iYN)ʂ7jhDW>FH_~% '~1v;TE(w%hތ/FK vDLyfNTT@Lxf̞L#VMֵNLl#A19d93TR(4jf e v u+/w% fYL :;eM3f J+eePuxje⾈d7gg4L7RYz(ڎ$ݳ?wlP^yn1XY^l2ٕ`"kDD ѷ|ƇSqܘso\=*ZD OUgÒů%I7ɦ}xӆ#g`ŗfFe[lvwkoN>MJg鄟k~hn8Z2Ɇ]_9mWvg-`|ithU%Pm@(qѯ vS4<| %w3C1v1HsJ$vQec1Vxh']Q>CR,1xX_8($ޞ9eP;'8-#E+ Sd?9v׃q . [iG8!Lgp|fY^:ߞ55iq+o;: t';Sob#\5 "20NU,Q>(NܧEsĆsvx.XMxoSbor26*V ;ؽr>i+G<[طZش.Nڣ$^aICn2Rj&p 0HDv?+rT]d#~[Lg8s<. U2Nϯ7Q*x2YVshyZQ}].bgm!D;і]BgS~ۼjsFH~MTO7#jg|jYːC3qC?i]wnE ~HnxE?B.NhN8sy?cb'Yi`~7tDaMF }^0/xD䲭}]/Dz. ]浆 ly#Y/%Pdc#'inaN7':{~ۦxs'$C;b N1?,k&! 2|Pׄ:/Db9 U."H1TnM_)dx3vm] ß*5^.;L(YZ@``$<|⚶ bZ3p?oPs0O˂ FO Iܽejwۻ<'gE58OJ$Ns9hcIrkjLp2}[gOR:+0i(/@d Νt'Z`YOlB?(7ωv%]:AY59 "0c9>_Qz݅p@)/p?#sV`r|\ ՄbNC ǤdeBW}ƑP9&kЄf DjW%gU!ꝁ*$.^2?wmܜO &5&~ Oh/ơ,@*ⓠU4  6&%(hX<)nµUpqr\jjj"[#4f$| <;/(-98ӻP?tI+#ETuphxqkM h,gdR.e 6ЃAq*P]]da}KFTtǹg\SkHKoZA߯"RJ\4ɹb@m : ; hCh -&Aq$.B|up3J~Euw=ivhEì5\ PD)'],zWKx'?&܌ՍP4L ]wfRc-H3@kIU; 3 0HS7 dĮ;4%n^i{=HO'0:H';Zݽ*;m @#7kCM'"1E\ƽFG Sf!b UHESV.<+apw(f%5$xnF(Tq@Iv =uҒQ:kHJ'ۥOaN#$(mJz)L&SP/eS؊V`ȁRDmf6IP`M8ء.qMG!`hc rK}lKTcFXPRU;پ0G9X-an0F6!^SjPk%DNtB$nl 2Y.2zA<Gug+%v <>ju)vjn)>ӘP|}z O;pRJ+nڃr4E4*Lų#kC& աrEoRbx.UZ =ZeSb4ApJS/eʰea)s|;mUDׯS&<񎃤^)C/VF*uAf靋`CwOӧcz8@o&숯yD-MYe.W0l63ec|qfg~>?4HSX.uI4ZOMxzJB.+3ps ^dܬl0n^6PAuzfܮs2Fy ,<j̙94vIYtlITvOGFXg+fs10bJQn<̝.Hgd:ې+?v'H{O A'TVmP\(E]굝gEgO8U:_+@]Ң`*=C+Ц!&wrq߉"`9؇GrZhwZ/L F,4+lbZb ~WŬ4i^gwr`P7c,h!iSBG7ܺ .> CU2NĹ#X:eEy1!'=]qN;\tֺ@l=X]HCK|/7dƚ<ȵ ::(u:4=g%>/g:HfK]ɥ&52=&$E5[K\RÑJUޑk6KCM|(& Táf-Npï4  Ч*z02$TrG#\,"iiF7\:sAi~x;_-`Ō`qüܦ!V{ ;VN'=p?@cdU!QI\^|#:e³%=ID 6@$;-ceM=zmr]&%ҿ1 >Q~Ț)Iߩ{UHa-\g>CMsQVREvbhF5)SMx677. 찉T@ޜ;TI2!2(o!bHvɣ.t(P=(, zGL" W̼ƴ ."&ݸLNB}rӪc )ac~_SXaɡ:S|Jy{)6v4Qu[-!*~p5*>dlJ$tEk־"t$j09֧V`v# %?1sC MZڝSA§`֯t&2vbs9bAӋŧ/&*j,`(A1 tvrFFzc[ďN<Ajeֲ ?fȁ Sf`,;&Pk)2{t>v>t̽> & .0XCx]f #奖JG"l=JUTNDTځqZWEɇFDlDZXgVFҍB^ y%Y:/qI|>LNK) {:nVKC5/#޾냼>/I)Idri}?՗Y e}oq;'H\yEt} ~i0?fwI.PPrRO;pKJ@`=ޒuD+*?8.DFO6do]u׶Qp^$/9߮x8+&BlkUڪPN<φ$R|c*JR.ʇ;Hi<ͺY`aV6ev[IwGXNg=ƻ&O"V315KC"$ {Q':]Cii[R7IC4SSpAq1cMB&eh(=dΡJĨDLRF? z-VZ2;a7S*HVK'qLx"vi-D)NoN$Ii%E >I{8F60};r}JrWоWka&VчYNx-oتMQ BDN%v>I˭2(o<)-ezxC=#fxx9f> 1\!E-."qb[?SVVDjsN˽2nei-Cd3y)ƺeS9zQD.߾FjVf%E/p)oGLE^|HbT5T٦O< WN!([ n,0Q{W,x&U]7ǠN؈/pd16=ӱtBQ+#ADpιf]OO^Zţ' ~٠Q:b+VR(JvҌ7 HKzk,߯1ƱdIӎtvDڜl`=Ǜ \>^<&ϕ2Q2^7VB('aWJIrӜ[F Db=N&$x w 0jb+LNC$sa@D1s Bl+-ܒx_*樴G4ׄ@^p,grqmR+Otݢ88Uf]gOn PZڤQ*4{s@m Au 5a\a ע/pH\k1k~kXiѾ-GaI\oH:=P A2/zqElvh\@1-i$|BZ Ԟ䬆<_s|P3$$+"ÝC@&V0 44yV^-=8ĄFZ,ocu^,~p ?"`e FÞV(ޑDM¹f$~`ZpQ^7\cK|t-9ZjtO ٠f?1LFߗ[ ~IPtb+ph_h)ŶJh_XN(F&岇 yǎ&c~[v2u)K-&`pp|-6Z,yg?wʉZxqt*!Վj48y4OguЄ9yxFk͐N0HzWF /O4[\{8,OUU$p LfVB I=O…L@d2\G{bPl]n1e//TdCy@ȏb.j'c3Q%.?#:>$3>:{@ 4VEPB>94 ;8Е/5aEBgACT(Ɠ0YdL`'2t~+:q30"Px/堝bH8NQu+P+ϫt9>ھ>=ei;)sXĮ$שuP(şucJׂ8Tx?j*/n`i.TvBws|H.DaVpL."{]joE~/+8MH"% Y6 uZd^Fh5& ƓIE?sʰ=2[N%:L7\F4M_˂/ e'\K FOz<{0PMYo+6=ȀYfx^{ܧINqEnoM{KR%ªe?H0)D-tM7_gSߵɻ4vV zG_ ?+W2- Up'ߥCGϰz_͑C. Y$hUO=xq^8J 7}WT CIo3ލ.Z}E0 cŲ;v"vʬho<w?4I u4Tı>[$bLf.Dm}Zm5=-k[{īh2 K! $PexfUWrڗA2-+Q,S!˫]pA33,,ҺzhIARȀ6kj2N#c'\F{-% .΂Ze~rl $ ࣳ&ĈA's՜4ԇ|Ǯt[lvFrb [҃noX$Ju j>F +>D5 ש8vyHrPpӠۤ|{) CVF}upJDi3ԫȸ=S=MߒPiQ +=:pPmAn@yI>6VV+$'!}Blrgߜ@N}bdEigXe^ݥ†ϴnvtH!sHj6=@FWÝUƛ6z^OAJ+a4x*8o9X _w/FS~gm]_f&pXT{rൢ§IO+3>j :PwTcK?{Y>:K6I8BԿٲ'MMt97ģc '4j qIw$ n;Ӆ;1X0rS~kMs$ _[gVk$vQ͉.rlV0<*@+&M"g tvQj1UEq >!;SK%(9ж,J%xjSS 6PVeTSOT^~c8!ӗ~ua2ߢW;i4'$ n>&r1 >9)7A7L$ާMT]Y1VӼ"`3\i$tPKR|6pH eV:'n4}a|C2-~峅ue=ta&JQ)></y&a*u3?+$VU_fR("Iyd!a_Ә Q3Xq8 F `x DE 'fMn\s}g [8_73Birn)kg4/%sKOizfH'k"⥈<XO6-SV?6혬I}aKa QKegC2~*kXP{8>~bԃRJ)IBFZG_RMac$ks2'N~Y(7dbY0ýޘ ݂Y:SF^ lnXզЙ}Mg)B>4z~ >Oq' f"ѻejۧljD?䓁 v,WN: qgáTuEQcE>-İA~ $棫ZN/[4Žܫ8Z8i}:q;ef9S`f*"1GtpD 4qU.j'-֌Y4NC ”8 $F$ pj̓]1&S r}PlF T =rC/,")MyHQBG>Fw.HA aO'rﲍYT&2"*a0GcNY𘝢AF%:§cS¥.o`]ي囿y}" cCqp^M0Am/M ^S?[rEV[u&r5C d1h-m~Zr_h^A:!)I;vEډ@ͤCeY\ ^_dY#Fr6w{\p2aa:&%o݃e[EQ$U+\AoΪkμ|}>r,R+CNɄpm0,ցڙw0to(G4;PRUA { aI P]dɘǡ'Vdjc}rg?\<:[W0oGM[r?,5)t 멃:GȞ IX>u Wѱס@}On*I>R%#1'o v*28-ˤWAfNq4T%uO}8hf6"wIc-\ Y-夥?4f D%Js*TŇeFAtz` 8bf%lxť~Jqi$8"fp6.z){FN$.c@W(L}˂ԁO]-Ȳm\UL |E%x:/"G-\C, = —ooO9kikwEe> l%əٖ7ܣr:A\5M\xk,hX+ Rr㭎+wY-vKM]RqVRLY}P|cp*Vq@K/.zct4DM ;@Pem+6q.{>'l?:hq$|?`& k]3+)bZ0rUj[Cϰ.ߡ,IKtW6D( ô&]@>Y3s%;=%)J[30QϻV Z`% H! 8G=e`hYQ&1oR^ڱۤ%콼oOM'_.:E~jop >-wVvAs2\@W aI w||zxhS5|/u9Hneq`aֆ}ü vR+kvX:z2oHL|k ,Vbcjw_V'C4 ls/C-#W^& G8VJ<\|oс7N 3qk"I'eYɭ7,scĽi0If$7^z[9uV/ҒTXlT.``0=zi|USqŦu \`4vKEXeq;^eh3coi֟h}c*Z v%5ÎOw,\9[=@ <֛W}يq%gKpy6FNwrq0\p9qp" !M}g_'ѡ gM~xR\6$Ϥ8n,1?̼zVFDG9CkIҀ/B/e"|a=UA3=l vY9#̕my_J6Q^m 슌]n)I5]v2] [V'd2J2y5c0PA7F2'8\tgcw:cz'O""C3gVGV^,RҬ ġ~$or[[ P(öxƆ$ZI|$K<\/샫2Ale3/|wLK vQ/$Loڨ?rȃsp&Yl745hH&x72̒NdoBAXq 8wJP( U)Ap LW)X]LgGNa͘B7Ս"j[bBiqqUdP%cps%|1˻&\4 |H7 nNỺ1BM.W;4LηfE7v$p־Pd:-, f/=NG1,Jgjmb< 6!ɖP}AL8/ TB( 64]%jV\H5zk&g=Z hAbv`n׊X9 0?׉(]e 5Q*/YcalV[ Fh4X4' }ĝ- seYuV1$M ] sn Nw2Ⱦћ˻- .lMݰIzBcL+Z6$zk%T4"5}/-U'oCIrfBMPs9@!z/DҟK+>Vop Yv }*ibTR?/]j =!sOGwҏ@(T1D \l Ic_pfOLA O&**7w5v˜o#1j1/ޞn1Y.BI2[̍Kv[^c,0=ڑ|h+]D 0l }6ޯ(DVX T/( N;ּ:sQ2xW&y"y/rČqh<&]ޖgW9Oͬ K#([5!dwP(tgd"eAQc=VEhBj~\~@x󓤢A{ru h?!_y4<Ŷ#PFC}% +˔fC8QzI8H^XTfJdg*ρuǚkL0Y6d۟~eNRpb-GNjsiӒaxU4I [.G@X$}\>WB 'b|N?]( }85CBoQCyX 7w!詵ƪCxτ1lZ!#/-زvUÊ]b6:t$<zճ,(91B8ʥ}7_l[J 5ܯW?fr+v dF4HAx 1{GrMɮ8Hґ&%`\sB)[ ^끛Jͣϱ $~~u!:Rd] }zC+ .tXT58*^|:i.}e?MdEs|W%:NNO;L\ˆR} Z@+ aw?;mdX0}@mXazT!$Ҙ۴8}.76JpƬXnkM18c)Ѿ]d~"v2EӆĥʡW"Rוʡ/W xb kSxa "EW .XJc5zB`b%\ES6bB v= cqΆes&PA1 " .wlj+$xd/΅ @蕓P_ AgR(|?5 Vx|׆ ےrXZ! s(Q7;޶dv@gYZ U%Nࡹvl#QkS=$^qfjnk!W6PA\ ޘͷ4[2t)3zz'Ԑmwq:bDh5CyLq VXƲT_ؿ~=^h |E/h Oi8hX '#2 5Dx-]U)WV5.=z&& gZ=8zo2E_zt=Ik>?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 J8LIܫЭRD^ː@#ঁOģe"0bܼe'KxTޕ/~Ŕ;d9ng"z3uRۘdN 4LiJHd乷5[bS]]I+Fn3MCZn](qf FP.%YB#\'N obTVrLaܤ%J:Q~8?P$VoH+hMQl]f$\bƲ:LYb<>\b1EecVjѯx";t*4ؽE]ߏ(B 8HX~Jz@t.,%'4 I%(˖ Qqgݡt'N47|1f~/7 ΏDdϛŴ>:7 bbjaYA* ̛jKtEs ;L5|k* blZj<47h;o`,.0 w?(Qv8wڰa.e&K$aNТ~X{E ɻj};=F</DN0os}ᗚqeGٛ&JBY%ĵJg_;vǍ$IʀY+*<,#FVB_Nv1c伈5J@&އO^HYРj2;e]CW݂ƔSȸ3`@U-fmnPwob4G.גOe@poTFl{:#qi}U_er뢳 ?-&xDO҄#PBqihdSp _&kG _H[h}"6 T0윔>rZ&O,:)%8;?X:wX-} iʻ&i} &"k zaA8QC`x0rH2[&e7}nҩ!n]1Ac^P _7Cf1IRVA>j5(Jڢ4,f #8`B^(O>q\ H(( ݈ҖND(uM|pEMSŽ2/K.gLfh.m&VnJH'{].Zf󁹐$o9ߕ)7L1uRnخ~%̂#rkl "Mr&siN'BdShquIUᦏ1B_R$,H7C */|$z"A&.4` Ut׽"Ar!ׇ!V|c6 YwÖuSf)>X'/4L ]݊iK y(aU&R5coIc`nBdx" MϷ+ ӄk*L C )1~(2nvOC!7˥%/зˆ#n}˩?8]uJ'ʊoyZ6*ZT;l5 gf,$c%Jr|TW93c {5*@> #qKjL? _.ꦿLzxO 0WjJV?=t)x# }tPFEh|[1 XCW\q̑Q'xijAoo5jbv4 Ka'Ge2_9Mj]F}sM.S!}ohS@hnՔߍiJGv f I*ES5inߥ jkA*&g'5=FML_`6S>s}8RiAZWjn>}ttdOgB(gIx0/COüE#>:Sϼ62 AL/J>YPoC|a .ťHh\h&mTjnfey$s(R"Ԋ,<(>'! a soq=tKObvU ~TqG"!㗅/JG@zoʸ!a4-Wvr oQ=(E4Lj@ZsBKpAvUDxL` xY.%sDp :slX !ub.&a/n2ٱ# 9V[ [$NH^iO+ +&V  74-i g\{ }1y R:ŀǗN!t/-ЧTCq􊢇J\ {:[a:vrTcZ]D)e."hG#|Lz=m ߖJb&%BuiC`BV݈RQH4t!W|'wa;p_kGQjKO:\86 WMK%Ph]gƥ H:f 8A*[%[Ps+4au3[aX˾,&#])2R,(6v~s"@vp p5ZRdZ"DD% 5 I1 ]J޸AoW,-'t 'ꢻxbQҿ&W^ҙx;my"k'BVh]"[lFCZCTx #OFԠv,sG2b25Si hmGQF}r1Vg٬.>mx)0p j*ewOKՌB`䨀Kw; {3a']PA0zZLcdh,ܛ [gyS<ǝ{ =h_.q<$3Np䖥{})ԙɅH/[; xih~pv/X@=CUtu/gL*sM.,-mUNֻkW;4y"ٷ4 N(zIF4 Yw/Oz.˿nLB"qo+?o#9.+Jm  JmalGXZK;A/vv lضɩ*:t,a3,*svYKTAm; O@4Rdt0,>7Mƀ0ۢ濛`dy0N7^_ B<+z$(G8X6ҍ'ү"b='ҥ˃D_`03q 'm1 oa$'TFPGDƀ'r|~KQ b("CV_jթc 9M .#az ?]|k 4PG07*IE;zrKQT6't)JW(-2L\a$}7t❢*Ap|Ԙ/CX,Lp.\+Z !`^a iQ3o۹7Nr xOW78oS^s2#e(3fc[ʩsBUkSt a`wY^\cnls91 ;1`PX:.b@St;iy iH](es0P=ܧ+ E?-&9e+WNKxh7ȸхd2hjD-+`g/.;|!swLpK[xt_&T7'9l}Jm̚ 8"@ *{U}rRE?]a0⪕ngzK8q!L`E1[7@k^U! =7o~ K-+grUUrNW!dFGQ;e, {TB,ntEdp~|Ĺ/Wl::+_MQGe}<W| $Ƞs_e[ye$KS/<;6]ur\Xd2\xo">`FnkTQQȢgE|0m0b-R\He)`Hyb$ʗٱ!*-h*3}jd2ANcURه¢5 ,_$vH8[/{KZJEY Wjdg<M\;H13̋D1K51doODZ* 'ې_=IM/Z쀌N A͙.46?  A Lҿ􄰞(̬3L|09WV:Fչj.4c)>U&OhZ)˦BK=dxIn_cP0`!qIxwIA+M]~N1L瞤`Dq`DBZ=mʜ-wզQ%yj9LBwjV$N?t+{P Zy*BJQ=ǹt8loҕPD_b%C6992kUOCp+*40ߖiu2SRc3%Ab0`Pب>; #@׋o|=fq ^mԉv]m07YRU޾@|w#[qoH`J=^@I ؂t>;H}G"u;>{:ǣqPB11oxY|&Z`ڬT\:D&D:;8 Tr6 |Xb^@0;o_= TG,.u.7ď~-"*%rGkᒁk X]}:ö́{A0|yMBskDسxDjBd)J;2ЌNwqJ<q~MY5э)d{>|V%iTD&QmXI˨΅-21p˜dnhXU^5 2KVJ1AN- 0kK[}0(˂O~La+Y~j$+^iek"J:hªXf] sGv]䔈 & g'n":s +i*Ugx;:{FY###jD [%=N.͊7'۞wq`dS~B[E_di} t^'(C:of.d]~:xB|ğ(5yfx|J.rQ!/8TIey@M-B| :@Sذ9 0VR݅d(2Ɖęo[҇H7 <LJ&nyCDd}Imfi+gBb{9U'Je r[Uc' w B@z3!wv딗,D jGu&8M=E5\_)Le|[{SfY͔rWg9ɫƺ3Ĩ3ߴ+çN@:I}w@t@[YhP1"|xgv<o3j5VmU[ 2N✃.}+CSi ].ieY-` xj:ʲ_:|!5 y/ D'&Qg[@)|ڤW*c^eg?8`j/'?NcثU{do$\iK= kiO扎6ibnm.?x,[ZW!g}EQփqٹGǓwR)$Ks>&^O>+@ ֝кz.(TIՅ~Vxw#ʑ8(nvr}{7JO/xĆFS 1Plp{=8-z_P0 y߶4̡z(MbIa6(bdzf:4msyץ/VwzN"EnASf;p_b;^"u|p/p0\ %r+D! # T{54?ORɔ)*zX4"sȯCaTK/!m" Rȁ-6{-(?^}R f;}L7Z;W=I2_4L&Pi,-ʞ 곦dSǏU YJ{ud_~¨L]XGsM-P^093˺P)'[Rp e@m;2S~OKFQYµ!wlm7!/'Eq|(WGGLI}C|%N\nP#BoZn K)f9Rpxp~Sr^vgw2N]Ƃ:rl+eF.#; [~xjJHvvbVVS{:aͨ$C֤}+E'9O҇)ZN-fGfY{aK4"Ɔ,X/c{R"nѺ+9[m;IVt3p+mBqOkJ'd;؃d<'2dʖc%БcD_b`Mo_50ݜb`jGYy4'<2@d1ؕHP O㣱t-Jl1FRVy >vdj>uiFo{nlL<po]tm 0t`_>DYw7DZ 8_6Yj@a١'w%" jQjLT|!mO@O։LiGۓyR.h2{A:%I]rZYW٘ *2e#x,3& b7VwmNE&+\GNBf5f`#KdMq<gODtXLɞB{dUӊzۀ6SFAV sJfDeU4,p~%H*Y'9(%oCKc*M$/ƚm!|I1z) ǕlO s_"%B_ZJt4t hznLf_H7Ya$㩱MsIKlZ ]Xq:cSe8Vړ9||&\H]15ԣ~v~ gj`LKP}_VE+2A+AGne; ClC!ܨD"V1Ƣe&c1٪3NF5\>wOe܊M\>)SQPmFf[ wGk]g0]QYsdrzD6HMWgL;nCu w׫v&JgOq$ sb~34|?5.%o`E ˽#0:{O#Z.R) V.MrJ/v.bv%&Q:Fe6M=t'"&1X[q\A)"pg:a4qJק.WdܗtarNܼI'N$؉+8:L^1oxgVC@@'چrQ`JPql~.'6ikaupMݓ(4ݲ V˺. ya*5f\>bB\Kx ֊owGrbX?}y'$Phw=L;O n=ӯPN)#^mqs槣ߋ![{ns'ʗ[3꒹|4Qj,n\qv1F4.EpjXz 5>~ ;KF3P~H>FIA]b!PhMHV >roLx D .4=OTEƥ;iH@s[Ws/TOdhwXm'fD N~be\̋=%>ZINŶ3] @W T<ڟJhFcn{وѓaE=!yB0zru13KC;}J :xZZZAEΈ#<6-~DR0?k 35[uŽ)Q1X}CCN/0e[;-\Ff{Scnn{`,u'Z w R;ܐ2sȎ7沉lg5* ut]< *|I FqkR&+nQ@}i~ϫIɿxdT%.PP#}2>4'<2bxse ߙYkD2Ei,DU䅀7.AJЯRԑb*BYO uӪTݳK>Bg6aIk{YW}=۹&߭B7hQǼRrxх*;þ[:,7˫> IzxekαU9bpse0,d4j&{R—~{jI S R)b {r0ڙϫ4lj߹W8.. 6lVK/?,mN-~.P2-O֕?R̓4.)oxɉx`N0S5 7>g alfoIT{Cܳ\GTkmӭ?y)+Z沨ߵ|17xP# Ѓr/? ? ÜKB=:E % .ɣW,_+,QGHpGM_GpMŁjK3bf$:4=rmEWI%97ikx5`z|ΞM7KP6tK̠OF* '7Ka&sF E݅g6nt3RXQ# Q<G-c}2YiеBU h5 Y^I>9ђN U. =ůvj=%*Yk i5g!-(+-8w Ln|8SHn%`qY|}]a=]j‡QU .Y5D.S9zI.r*"Du%HuVWx0Z!t_1?VI'IEȱ#ūcU"c XN4<eʩ,?JnhGBĝ^sy zE 0V(av,r.3VnK}f[GW8/ˠڦNMI|}}N8H_ es1r8p3|w4{?! MZ/5{ S::%U)Q>X¬TvH['At=;!^T[[ȗδN*Ae63+Kv+P9g5z^Sg~xOnG_9~ЭT_:|6COf g}Jg"/I&Hty//aM"Mߝ-Y'wTE#5B$ћ/aJY f.yyn\b C<_t9 z݂H 3'm\87{+E!]oN -r2c/#Gj! &>+Uɺ}E*-skn`OdK1R"C?12oLd(փ-=zu+TOuN(pc#ݰp, r1n{Z#D&XmO^EwiM1ĝOe_",دw#aFpz;Pu$=Fʥ%٨R=x#9sjrjcD5~d:)@ |եl6!F@ uF,rscL[0 eL4VGD/~]{k~ 9u0AʘEcJv/Q;ǟQ")Kt(izr&>r(W)[?[ɯbdza+P@1K}`n˾w5 `R[a?s͢Gΐ);B|PՃQ§ UK߭UVfPPFAϡԸ zܭkUPʏ8*~k=W8v8P9 kjKܲs SȗSZNLeA(Nfk~]<ۄW 2/;{rw.w,m}#Pzvx<@*f#%͟;91xctu\pKr~;7Nj ky\͇h櫦_jg'Y3} /]BBԯ((l$\(y1 ]D~>2 !fPM'ʪ>\1tWp$Egû\(d3= 8B? Ǒ'=6 lȾЁ)"!{!nဂ:jK:Hk̙wWвg&B)?ӄh">o%}Jsr.2U37NߏXL2 Sűz6;zx.7(PxObK@ jLO3*f[T+p₊cSFb9 ͎[)2hhW hX0Qv1{ i8vPHluaJb?=HAjd fwVMB`y7 yW&ٰI`Z-0̺$P|h8(iXۛn~ \ I?lh8sp6`}SkJ؝$?~:I̹ͼJVP߽j>T']j]yp,g\!xҚ:0(K[-H8}حztTmɧY06e^<E"X$ހ!_>TK1ów4/%HX_w!$`[x1yfP|q҆m.YAթqf&7+ryf\"?~]Y88>B˿KeW2S=_d&~1[m]Sf !$[m/6N~|:\ s=ܹF#]'ϙ`}=hN|73#k =gTЃ=-|]AtdgyתŎV"c@w L2|/2o)f\Dax\JPAR AU 1QkU^p&jUD:p.-ad;?г?6nPoKh^Q9+qDtp\݈TÕ<nk%#K"ͳH}f˨dž L/90U<.[Y5, P =7xg|8_KE P*"Av$b1s/HRÅn~z*ū0FDnz̻ffD}bgS`~bd<g~ywͬApt]5KxF/ҙVn@VN؞ͤ -N)dyG4CPmKgK9Ϊ?reWFZ1# f$E5T$ v0#%N/+of D$&7ۅ%XyfZ7Ψ+4OYeGpcէ6(yz&0Ycw%8 %%HI'iaĄW7ݳqَOMOE KCm 잱 v[N&wpD[Z{YK ځڴa[]d,"'AU 4CaOb >ea2'A]ev/w42/'` V==l *3tBPS}W뉭0[p=a}SG6#ȿ)n &RhZcnXi` e<@KEcl #0O|PP35¾|!胬yBNf(?z}-DU E_]|+_?xQ!=~KL Xħfцm"[UT~~a\I?^WŵKzR;hI`|9RYzD7WAcR,`d!@t^-jz^ħ>rm)/?Ô*̣5M v\KBkxƘ_f%10w'fDh$A^*{q`r״EIt6kewK4ϪDmh5K d)kbpMYqro0y-_mӗ ~1$vqn=Gi&,*/6:B::`.}}ҩ5 v{w3;rѹ=z \co—_`[$9/49<[ӎѧz1_uӘ.bLLC͌oZl HEc5T+H>1{Ƌ1 -4 [70Gv5b!&*~ԻbW9-8z gk?-LK"h&s;V]!kd 5.£ip Zx "ag3L;QyӶ d}g J ITQ޳>1۰z IMU%R8yncե!H.ˀsx lXGf[Ogm'ɶ2h=0&ǿEvI7M>hYndCZT|^iX\<:24qX`Q)a]qkkj(!D2u6{MrR+F ӅҀgDQ 6/BM -d,6Q`e&$hM%r+ u@IpE4R*RbR3@_R^b0eV:q?iS %ˍ!+k,д ek>Y>n8S, o">[3vNjZt=pz3GӃf> Ct׌"ZB`O#\"K!75%ne"Niu'[wKUZ{y0 Ԙ ^)me#(،ǷV D*qՠ권 D055Ç&7<;@[CﳋEi ~_?O0j> "(ӡA?#/&u۳_#~ %X f00<Я)i@'7gYZ