SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  i i 5tdl ]%]DynamicArchitectures:threads=4elapsed=16.108cpu=43.244gc=0.8167zXZִF! !]ŗXiɟ  Q *u$6H!3IU K>w$ x?ϰ[F]&G^`p`z 6-2&2Nh:C=j~?XsD85xu0ʍ\+ZX3=A!Khx=/xbDJzYp \}JjgG6SPoV_fmC*A_/Nk 0Ym&Ux89cb,OWR+|(֮f@Ws֮3a.8w7'-&# ],JOz QC9H @SΝby[<LzEr\q=3bh)4C@n|hU!n,aA~8T$oj38f U%{cv+G)k ''bg_w6]it@͛[uB˜8\8 R3`sYK"K%GDji/hQ3dXgu+W-OnM5= &݅U몴k;o63npvӎ\@C1e0j'M,o.$3c,H^gf]<hm-tLB gYZ7zXZִF! z]ŗXiɟ:340Ψ_իX+j 5 DynamicArchitectures !!G 5q% dDynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.tex7zXZִF! >_]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-}cAKY N 5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.tex7zXZִF! OPg:]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Ҿ=DHgCǁe0'`X8WՀ\R+L1)PD 8j>T]PNT7_5n`MSȘhB.jp-Q.B϶-~@V/4[XV?N XXX5q%DynamicArchitecturesDynamicArchitectures.Dynamic_Architecture_Calculusdocument.texN5_% DynamicArchitecturesDynamicArchitectures.Configuration_Tracesdocument.texzڣU QY5Gil{='*C9cfE=[r ɐ+k0>KhyL+Ѩ0;4* h<{zd9-+z?u5 yk5H}kiBNr,~)%u,N>} ?nТ8N=23PhsVm0T[f eEepJrjqLHʟNҁ1o |UmCU [ pҐ9g޺"ixsg=&Z/ý[c;Ē40suh/Ԝ[[&DoΨ5f0J`F uZpDPwNӿ,bMWOW2&B͓: 2O̡ܸ*ȗCm{ZO@USljrEdE P R_|)dI8|hQ QĢj(d߫ ¿ J/p-'f .WHumkV3w\vƻ=*%~yaV'#Ģ0Ur>q!<~)X6=cw9x=?<ͻ |5<(3v+#JωGnau N\ptpg;Vڣzoo\nO֊u$bwI@+I3DHa@,B| #;N8'm:摇e9©G!rt6b}0{X>''FǝjS;cФ'w7W#Ļ\`ҿS[:= `z,͊jt#K9x#g3"2r{FiO}NxVg 1C mnHf#jO8ޣd)vȴĪsU*q@YY@u[+}`-%92c2j~g"udJz:RE wZ|˜@KނX'=URvqq:SnFoLI_4# # v؜+P hL^2-WZI ɳYؾ'x-[<pJ55P{|`eCN55ٲ\jOBTl@;+Ui6(jWMn GcJ^bF@|˜ݤs+ҩt7[[6SHL4m.]e'O(v |Y/3cQ~oZ#`.kJm+$HbI~;:+@+OFʨ$8,ُiƾ*4BU:wV$0o۰u^Fz&3xrș[YbavX"k tLDL>6K[:nlq>wbϽkkH ̫Оq$>x+DyԴ{ʘ-QZ޲ rKFv[8.ρw}o^zkB&b::wtrn)Jy!fM|WCQ6FNOX!DR߽ l169 r$D*nsNŤlWJnC:;A*[nb(++31:OyruI m9jtaOY~CNGs;pB'<ِye\$ȄlYO.0bGЏ!aF0A+”Az7=%_3^ L(\MGAsp&b;UCK:cr&m8CG(^,6|*5׌\Āu+pLM?b:\EDX=#O k3NI WO['2I7P<ȍ銪ytP'uϊ8*%yNJHJ!Q'8EaA䕝~wf$/JgdB~C?tTHAX(WfJeҀ]%)Q~YQϔъ(X$:^$X7&j<W!yXvYxxU]u@{*Aq-Ay5&k&a ~h2]%;][c;I(~okLSH8i$1"b„űJ-$A s DfVX|fDHH>O$AN[yn8:EL,x%d!okSAs'/J%S) FY,>d#o!?ώYc-1ne)./<6 ΤeKuDhM]\&`<$.>*Õ/ZfZ(DB^ɂE %9]E9J9zVt<'P WqYy`6B$snȆ Yt`eH+_U Rw5EE?k e[B  ATS/>]o%-2;gvmޕy?hӃʟaKޯgȔQX%OsKK:jDKIz@n%R0Jf<V/tgsHUܦn)(MZHq|[ "p[M*A?nJD8ię&ձ n'S@fl[DrB0aWRk w?Feiת㎤dU(g&/z uĕ32PkhTb=;盝=U\ԏPduQ蚴b/tp!EiJK;X?֜0p'Tj!|;&jA*&/&?nvݿUR| jEPq_;UdDUazdP)hZF^$IӪ1.Qݬ! iq2uhr+M+rFhݬ2Lڅ=(wt]K.^pR Xowi|_zj(4r,bQ:c@MhY1*"; ĊEn XAw+ άG@2x'*9@ӱ㭡 n4N.ߤ{`BMV(W'푚,b3RLfr9J}ozhEyvEqR I 32y@ &ZU'

ncP\cx JuoһE9νݩc5G">\wU6H%K8{bGjfHz_ JAgm E?q$wY2m P4i@5r+jG-e9ucED{j稼it1VՊ\n6:.gĨ ^pzy dGC2Y_}ERM>y_˰x(yeĬ,?d?N%[FM" >g DʤEcM?ê`Y7l1:t=3t ;_P0G![ZD/f]s? #HWl iys0ѵDJDCkߵ,=I&Dj-..K5[E>ylːATaTnX5Ed규;d6\Pm6@؊*ZBWς^G̺!&A&,2&}KaB|P@9]-{;6ڶkfsx|hIFw!r?.C™CDB}j.'~}4DҖnOsȍqIdxw,ҥICʇ!cR'<`~w8&Lz2T, lWr}|+r-? k.9õ8%":'E7`ZIOՔJ#PK\wPQmJpI%zc*Tzd܍{,dM>b7gI&ى4Ly  <} ɞSfvh_yu4w_@F:wܛ NO6o)LG7žbS>3e_ &:gń9ΔoFcLY%7tX(F}Kw+1"ly!0 s|? $"j5/@( hi%O_ w[N;  %|41lfX|v4^ k>qv':Y`z^(~|O/"B(^7+p$&B3פTGQJcC3c{PXЁ0罷7)CD+tԁ x8F\&۶&PJ9# Pbv7L9uħDR+9W#fäPqQۺ=m ܏cs렩͞/K֘^h4ޡ?hj#!34jFN#aC;L0!) r0t~PC`18,C6[ xHi`-o ~e/gB E̱` 5XQ7ٿ=T{-_1riᔫw*xY~%΍Ǔjes&i/M!W`$Es[=npܛr q2|m©lvIgπ KUrN9`;@@f$)$s*h%-x+BWzU8wÙ.*>Y8,YZ|z9gcQ\"*5oGuEP(WSH ˻8_$]hl/~!󰡡X% DjE0X$tȹXPc9&C&Nh+m |H, =[Ⱦiҙ`_ 4ր@񧫾#j\gkpn59_[rǸ¬W}llO,x7xTF=nt5nr p}^kF) /*-԰1$%EFBu-)TNIeF2kjU;pg q=ULJ~RT:Ŗ֒>"zn. P^=^ 䨳JCĥBjqU*!јƄp)rk'^-x-w?P~ɛRW_@;YRq"#Z/@̐P_ڱїeyuC؁[VȜK,Q49 \fbxƥ`~+ 3u$&(2g7 -0C9bTB {8tm{g}Ct ܺ=^8n:0~*+nYh} 8Ic|OGt2:WW0ѫ/VMtr!60BuP D0$(жnyZݒ~TujՇ;*^XdB78ߑDG.,Zӥ>QLJIJFV} |~wM>z`EWE q0l Ζw eyZj9 H!/d; Pj?esi"9 u)GLtt:+mmMI[w[j}=@ŋ~F}\/WBu|8 bah(|YJ/M(SnUD DY[YBDn*:TG t +K3ˊ#WImJ"-dM4kT/%M@cd^ɕq;+?ux@7@Ƴ@@63`XsH`2YH΄-¸i|x'>p_ T mE5uG a>|ZEhnb"HyA s0nf(k=ly\P j>hO ]> ^Y_X&Aʖ q=.KdhI*v|hz> :ܠCG\ZӿFW1 v #Y >q {*b&+xhn+%E)-t%Y…w'54%#W>p<{z$:o*P0%:_(xjh$F\ iSvʥRyN(eORՌ[qغqf~J&[1]2y5a*fi[9W{& x;Cj܄qkg88V $F:*;)zqezFU+g:.Nd45!EWĉ!g {kU7TI+@vDN,po0c0scg]K4m/Lj5r5[]6:~AE w 0KcpjemN"﻽4vA▂h=|[ 1)AvKO| ..=EE=K}íD,zyNCD_n[7齦 # :>Djfɓa3 c9U}.'D%,T&o9H+854oexu HɎ0֯"ݯvn{2GNlL]G-S\ٶpfJcY]HJ2Z<w2tߢf͈KtboP"Yj3 =iZ!Ԝa*5WB~B|4,U\2jc:IB-8J +g lDzyWg j~u?Ԏ70*gY;l ۜv=sHg7; l37Eکps0>G`ҁQ#Dww_h^cbe2C?;ƞ[vqթf#emp;'fѷLbv:Tl>}=~㡽3a5%3cA(LB ::&%غw& %|Cp̽XhU?G&,)Wa~뎭gj%7$¦~W/c/4)g3O? 5;aG'֯BbE1B7қO[Jzm]YsG$r/klJv*`ZĆ^6`B`g.kw̰J>"/cc6nN"tZ+{:U8*mr̐aSRuye4Q]p < gI(.#1Akc4 uN 6c^=6la\%>& ɬ3Pq!zJbBE2V9^:vO0=hfÁp<rGfƒ{52K OvcEh*9R-.#N/`y˫ B8Epxi3(2[0:iQn_)`cF|q-GJ̝B'09qMmVךuF)&K=N|wLk|?鶓;!a(gCNu&C_m%n31)+ O^%sE׈*^_"Եc N'/7lOi0u JMb sdq/"xk%8 CX.R^mʚ-{9j YrSg5бk%,|ddeڶTB6VV\'2&[LcqL/cT3&ݟ}ǥ~Z[R#sc2im Y98FaUĖ?B;X1sʊ_g0]fh{,~7[yAq3HȁJ>wضx2*&ƍC=h\(6}pm=' 0+O (81^htefKlAt#EgQP|@=w:MN0}`I% )#DWT%.ZրfsI}9s!,o\ 'e4iiO *fbu0f*Y&퉿o /Ɍ9_(hèL)G9WiS'~p][>@.?S\AfƇS, +48Bfz7ބ,qi0xR78bW:둕O75uskx` ,ߏnu\JbR+f0ppC˝3M3t#n\_T Dz S3so,ꍋ7p3|g٬o 7,bO/6NYP{e'QyvbaªVS(\[ęSˆ!<}^Ja`ቯ琀V 4'8űOd{tWx8xkɳ_!3ndI~ii&EAᥒHyӰkO2]:v+>-3@anl_V뙨j\X0M9zh)o xqU]6ܞ n%W9~pkDKN3 hxm;sZ1Q`NО-Z=k}~ uv/MlwVOÕHH$|9@FXPN(3MҥN:'Um5cnFbXlW>Zߝ020^7tӢLBiVC $̭E8cw)Hkn| /eZ^D{;cE|N7K ]MgGg7Z.g>V 7KoÁژf ArMx_\j3K(c:WzI5áۡS.hf1xܶ.H׌°ocߑ_+,t?BY ُ,aֶ=""llȄ9q-OUOhA[WE1#E7}RҊ=ʙ IfpqS;s h}]n= }ܕn$MrXje!ΪJIRZCqNMPZb!WKBT0pz_O4:0eT2ҬAymkg,.Qn4T=X.H~UqhuYېWNFԜ隉`ڡyɤp ydZW],aXϑ`{[$LY b2+mxJzyZ'>i#,맮N|s3#.I;K]J #h*(tV2;JLHtFv}']n(܁;H֠UjMsFm!Ѿ!綷俓1aՒK6x`UZr 0;0RyE3y[9]4ܱ |3g4jA._:4jX&8YX7VU.Ȑ]F V!Ў;%MY|UZ. t@Dza\pzXyo`[.5W&'"HYL;Ã׊l'2SjID*4LSylή"os3wnh̄(VX ϮN)ᇡq n:FFJ*-[B0)$<C`&hzZ,&KtR7KQ%Elhw-5:W0Y}ϐxb* AiQC?"^e5qp`Sd"$b$$M.^qm5l:%e^k9k%?A?_a"MADK|,[Ra@@)w%pW` "9ӪNE_˫H&uI}iuf꣥B\Ziụ̈̄z$iPCAVzV$A!TiA J>ZsQUZ?aݽ}$.36&%ߞvhtpq.”VAxuj d4O_=0`'jx4G?H1~ oP 63frni%ѿ?<*e<|̞wPB{Uzh^?hɠ~iw[/  ]hCq`-F`E=T HdPe͵ 6-B AR0n&䣆|urh~ e4I}$ hϢCS5 y2&~ᗦQg$ thA2ԯ*gW#AS2T.b[/j6Kt>7MTv쪑_^#79dohYMDN^5 D SgM6ζiDJ)]y*XvќܮV{$gr+T%v4, 4)W`Je9dwj '[#3._+* AY6s8Ҹ4cJJ~|L\")?)N~+F_U긅i LA#Fz"aS-mn&RW[xP#%ƍJap]}&QTi3-QU n֬KTV1 &.|ZW}o\P-4i;Ckbyu ~wPU N`eF<ҷ mV؜B"Ptc?~E.^_FݢMү7@9)Zqu*_ +ְ85=#V@f!wDtF^><'$KmؙxZ!PNRpAĶ+KT14yx C ^YZVA8n}2|(˴-ڽM fY)ߏ! ZVЛpkŋ/z׾/,htƇTk` Ґ]4U KGCwr%"5VQ5%cW6.Ila/ZQ0Q@*s9,dD:Fhw) 8e$LMrIFFVx>Yc.mv>V憦KCD;lqofhZ& 7ssDm AZo\Ҍ9c2dQt᫂BjbWGV&(x 3Kt5vnXpP}ODAz\o,E1cH1l]e8?]c~>$!`l~6]ٔ!'csg͔ .>s{l]Px=7;#{y%xÞThO)y1(F<2XFtqc8rx2d+0AQeBkڶm~TE-!H9 'PT7/Դ%C/d6ĩ3R;LDO;TΎ tֽ'VE}Ǟ\N>=-0.\7x9evE}}@"0-.>z@0Phu|/吩tij8p7N"exKx@$ɮ!ncBY/gKV0S\Q Ђ@Q-Vşndx̰ 7rwzNQrTN& -b =@;DžJH Ha*7 ڬlۇӴɨ,=W2ʦe~)J%k4Q1Fr$,ok{Ea.ÌpJ*#'g .l#B>g&P@IA.I@\T9idw!&) cD~2Jƀ5U<ˋћTҚ+m;r]Yykd:h 6Wxs ڞA[փHgrEq!YCv#N2C_o֒L6{PJFs(1)3ppqH6/k(t<$ ?o$U"Z">7VUb[>ӚxяT'vܺFjXt )s48+:!L[jhlmi:<0<}qdJ{Db̊φאj3J=v $ij sb!~f/BQк5`I:G"ca"CW7ֵq@;Un 6$} "Hj#kBWY-MLX"0<Ühy\Q‡\lK ;Ԙam-gg}G;[}mxci5YD"W>v;&p[j$|w`=Ko`´"(e,F4'O(}2N3705Ͻ6~ -,#j+#"k-4Se$xx_5I80_>`5Jb~WS^!3Ā@!~euiRfP6.\c٣C:fdM@Pe4e:ǃg>lnNp/ܵT#CR|_Z6Y#O .Doq" Y-}!e?XC:0Vzy`\z; &rԚE%NQ~h׫\!GM, MIh6߃~ӅQ^Zt.visɼFՆ|O]%fRQp8ښ~j4fe3VH́wKn*s1=*WM5٬MƼSD{ }76}I} \mѩl/WIBs%]!gZ^I=V|Y]({uP9okACHi qbǘ[˚a ԝP3.sG"CZxbqut "0%1zܾg2e|aM&ۻͱ,Ja-ÀjBezM*ЈГ>C]S帷n.? շq+VЩ(Ǥf-!Ew "S-$]UXnC/OD1 bD,k%:@Bm62D &c2"bp$Im~> L%%I]rsi٤6 P*idV"ޭ$[$(<$"Wfc&ؤ.i|w&UFaG%VN`ݱKP$q&áeVXuMnP1 Zya#5)'h `Ekw"$h4SB1rO\ FS*a6[BЅ>ax^#.;/4gz{&lg#3 9r}Up䴩i) 6fR" : U#D$b]+p9rŤ鮹> ѕ)jq ݶ+}vU(E,[2z{V(N/,`B+A#i5wg;8$}Kxy/"ZTyv5Öϵ+t%;1A =L%F< b?:YP7[%i $#JFD kIr|;ͱ5¸jjؾS8l $s]=4\nÏ&_1Kv7Bc+! Wyh+!1rq6H5DFv;b WƲ)k]{P/0ܢw\WC?6:T9Ÿd\Gp "2)ۮ3ٝǍO [`j :"6i++t[||t5 JhxL{Ҁr;? {tLJ8+ &0]5댺&SV9SI l.dRw߸I) r.)n7u,=1`~u']9TtD^awK_pAdپsm4PJ.gRQܔo@̰ϖ-HɨKa"_)d,YǏʟG\MF='^o"m<U'';«澂eY+!4(6Ru/ DC,YU` Pn.HllQK\jyNծ3?O 0N$"u Ÿ7 p=5MB$sPq&P swh*yjUu/E6,T'GܭRY}Dh~oZZ6eGF1 k'j}mqtFZ78{EC<)6ךǓPA%)qF".`39;왫07/|B}/;|}_( o!B^픮)\[Ci;NFYWCyfuFG2uJh'm{1eHp0 /WK q NLRǯJ(onR5դ%~LwD𗑡C,S.R #z^} ]{u_ԓۅ* ?\vh:غd%e>fb&-| Y{zeOPT]cM"!" PBStKnjvvQEdζ+M23+]~AkoDJF~ii;#"#X ,_vD#kpt$2 =`0ł%4(l$ =-(xgR`֟Cͭy=F2Ņ/7"$.88McY]A<-'"উP/UOR7M[ CEA40/oNY9wD9I)ˌ3I(4\5$Iurz˜!]Z`/ X7܈kNFvGC7o{aR3M<$bݑD"Ƚ|JC`ӈpt4V2v2##:-ع-A'sSs#vP9e;A?Lˡ`k]2;Sp)/Upy#xG}Dr < uh"f,C @-93]IЊWl))k<{ ۑPtgAODx2J,Ew&Lln]?rt#|^{<Go;cQ&]cHDel%$k4p8i(?̨KGJ0=R7Y8|5IuR`1_QPT,ŝ8IXа^'rux6O'ǝM:|UK<99}hiK‹OI,)6\ } U/am i>ǂ'6POj6I8e@-g B@PΙh9b :WdI8-*4jk;^ Rqs3ո<Liٻj^|/ǿ٭3.aX<>: 'GKAz֗Lew16"Ugydg=q :'#< "ohp)6h0|ץe0ޫ)oD->-)z-W,JK" QQ1Xuv')<-OIrFV.:,lX5+,JSIܸKs(8F~&)6g\ sDdtp5Ց2-s Hɕ}U͘r@RуXF+r_C]3=C$`rju?evPvt;M=/%UѣG 2/c JWJ\rSzS"bTDAb22NmfJg7dI[YML@ߪuxl8w.u~fnyƊ\b;|FQ ~*=Wf aEզY!tܼGDŽrk4,A6 IaѦ\bW:T gnUY/mOpp>+`j,g1ߋ3/jJnQ< q09+CO|/IZ_3Op:x`iF/A"߯xA/}h!KS3@F@AŜlsU+ PKjRzp 58Jmo突mFQos'ز7  x`>IS@䑆N3 dsIzv?wf&Q7.A\@;&w+ԪC3; +3y"9*q-6 WO536䲄~:H<Σu$8[pn)(ᤷF3*%+al>3/xыEy[\kd~i<_bݞ .(1CBzl0AZn>Q#:TFCKHvj[*J0q#!\k7GOIfg;Arb H/ T2VqX! =2_ QEΦqIgI8@B_WW6ScTkW҂= ]Y'3/m u@oQVd +m>zscGrJ^rp=ԉrة. Cq|?6DCz *k=,|ڣ95LJmE lDjdv>@{/y>)@E@,VQѦ&"ÈɎMrtJA6lYD<򜎛I(,a2F#{ (}NKcVK9q߈fA1v9&bp aIW< kмO]\ $ֿXӉH*xw.rtq0e!xgg)U7x*tbqt׭7 &Myn/9*g-)PLb9DXO ۠X*;ߐb_Q$έHU=Q"BK>oʎݔ:~R)_:+MbU )I]tj6 8E njt\1݈AJK[t <ԇ0!1čVeaݼ $1iKFg9E^.)H(TTs{ǵj5# Z t{ўz$gYZ 6U%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 8K܃]nakar9\.$ B7;ͬ'Ŷ\ @2yWB0Rfk=8 )Z_M3bfD46vCt22BWn,7>6{*ЭlDkKSOʅە=. _pdԫϾR0%lLl)#R+!\\.+"h6/[p$215ԓ졎?yVuJ.J_m>'d,9Sa)qhD+6bi"w7jy;J6ߎNٸ,+V'n|e\ͣ6I EM@h{Zb\Q_`{OHS&ڶ (gM%9ɕB7^1/^[Xfpe'!OK ݋"gA$eKMx%v"K^)NS)h=zO[)p1y'85) :`v19mi](%QW@ :rK4~x)#WJLLZ[aAf?p(JK|ے0qlwzd&%T_QA+\>%OK"|;C@,{Ӏ&evpDJH {.޼ +g78*;*SދuUZN$Z鉖10$AQHJ- uUCOZ^DapӃ-" jM.Lr@.sV.cݶ ]\. ϫF?3c~b|}KOD#npTQ]=sGT:gЕzIFۧR#TaOxHf'Ap#Xt^ued l!e+s [L^KF9 P9-H1*]Y6sP7x7骎n>|}.P9\tRsm6nM<@Y3{1S ݡF"w&jp (L;S\EX?UYYGHF V%~ļ\)\(C,?p&%guPuLӱyTxqn@2<ͣ @je?j )NA9Z_^rR0 ^dTos @jf]z]%ul*)~uKՃ8`Ǻ QnYPzNDGs sZYF?\)S5VfAAQa -_NiS^MPz/8Vľ&hsP dQs,9X'lgZL&#@J뻟ILeR}QvxTF?J rYצnN8\iWlc I u?#h?8lϿt35 -v7+Jgm@Mᤩ*/V)wfo!/39gŎ\BFr.,Y Ug?B} $cyhڦ:B^8}2Gtq <2 +˿}1^*m(e:3ݡT4oQKPh#OИ7\jMc~U cPg6풖y$|:q ʡv,*3џiT:kygq- yTsl@ FyШX~Q?{ol"#*{uBwCwI^eϮ#vtdX ӿI"AұZ,'nmqxSeƒ[p>f_[OHDS 3$%}C'1gO aLt*6< r34r]x fSFoV`'̸O?|&oĤMNֻ1y`׵++)+tX OͫÄ.\t=띱._eQgܣ38Ø-5D80S=Lr])'i1k7O1{+F[xuij2P1SZ9D`cayǠBa[( q5'Ƚ& 29IJ7spp w3;M)>lu}/>{ře B>cTKjViK w*xHN ڡ8q) >Dl2xÎE b1AOM|X&ۘBolHV}XJZ>zN!@(eoLL'5OEWw{>LmG}09BbN֋$ _Y-q%rc  d).%RӘjɠV^'%w3sIh d ;+襵7/{B{[ h#>˚3mWJm. ͛څLqYւ"WRq`^W v3Z9(p}ڂ -4K~34YMց6C4QߵC[R#d&RoGjsxCAuC\'Sk\gaeo_(CM"iI6a|ќvȘe*LŠ:QSoja;6 :YU-##yNR=;O+N&Tu T'DN1 DŃ2#lT΅`KusU3:9bg~G__x4T.ۃir!Fq6ϷUd0 g77P+̩%䀄" _d9_aI ˦Y+*5Rlx7ĥsqI}Z*MG6l^`V<+>Wh.vtOv}G|;:P=?AӉm'U^l9H25ʫލPW_s)rs}G _rChD^`a'۳מ ; js反uc:xZɘ`eDJ\~(Kiצsv", N oWP>cC8d<RzoGe@H w#B:1%m:f]H΅\4`?pPJ޿]7I`H`^'8)ZKۯsAg+ JR c.szNd 5$_[p5¶0%D>fȖ~O@)xdv&X;Œo$DuL׷oyJ ?*jZ0©i5P ̓>!(Ir 7`\I"U<{@kUok֓ѐ&OOѥ:U*NCҷf4h4)PY1ρڏ R<L҂LS|Ղp&MVFCn@cXO DYhl}6$dq)33HTZ^LEq8~v6 ^~]HB݈̺ec3I7%PO(m~{H_XV|u3@F3vKzg6lG+f+~snw~[ ul|ʑCt΄^/ $6tQlo I|+^@_R$ky# T7Pi$šwo 4p4*TJn%܏SlPlIYImlkzЎNM?{^,̍a\\1tu8yKo7e~a֗qYT.X`6tl6°7uڂƗIY! ob)ZF.*P<DV-vdXHQ@UD_YXM}H-Ze {'@huoZ:XeR{x}9ۄNۙ5j됲* -.ԬM\QmqS%XﳯOؕw\mV J%2GnTfzXrג?.tv|hތΪ=:|i~DLIks(Zt\z?CC ŋ]=P vduQf]](9F&s"nV_*čYT] _@7`t R |]z"gY!;vGR19{Hׄ.hReX!,7<Ar:X،hG(Jrߍz4,|,~}OQ3B@?a#G (WVDa >Ix6YFyWXN" پX1#"0zƌ+\e7숳8,UpkD7=B]ؒ@w Dp7c~cbՍzanL)m@:3W ^t$UӈpUO83 Q4!Vya` xJa W=CdJO3b~ie$U* ^!yU)in>8F i+ՠq6ݤW!KdW<$#1ͨ=5 dd&5t>0Vt6(͙Ɗ+؛7; ]ZF8Yݹ.#hEVjXvlssOa}ë jndvIW>A*0L()Ă^T!]8kG9B@Qh*_OoM&B!+(U9`kh$4 @B l_IJ_VXPX ^e%uG<-}4b2#9GNJ1̔m}6ԘEiFZ;)1߱ {" 6`R.mVրHK_P_O~^I.Zp*_z8t֓}3li7v]X;P}s􉁺# `bU>˜w1f5+N VXnڊ`wlDxX\›` gh ?Π;]c m2їÍ""p *:vا@0pNjGkKὍ*3bFǬ뱪K&H7_4i¿%AOdM],EntRrп+;*#YH^l VCӚ xE:< t`'һM̜{ % >l Nu,`Wuo_\͸#JV \HN8Tsx̓x1rfHʹa;C7]6ZX_hԙlc(#b*"jʉW>}G؀K1Оm(MHt&g @y芆"OGB浊U%o5%UIU=$R 57s~ݍMbqݯƑӋ'CӤHFĮ{(P9llgpr@ky mD_; %qp@ 0f&6gzr $2j}w؆9P CS@Pa睝/(qKJ-ݴ%&8`Fpa* yk'*QQYo^la좷کe1Vx"nPMyyTeD "%07QOh;еZH{tu״{>M#I_0HMG[G9 kMbCxx67X ^nK4R t星b$)P̠0]r9Y}<>p) DrMbblD EWlR*@vb &⸞.B^Ĺ8 Y3߅>ѳRJ-;aA:.QE)xl?ٴ*߅Q&.@ DLsqeU4_86#&ɿx}c=b/v{lME75*5DYT~%l\AL= [2{-t8F[PS#HcbzyS^Q~WkF2/afm {bQӭp]d &COD=C"푵DUņ~ЋAw?y6mHAb-ՁTɆ/Fk҈!"O8Lch:Q`{wwō%pbca5Ղa \(?+nTcNo#f{̥?G9I\H ˌTYF1)r suٳ8e*&㧈gy1i{46"CH +"F28o>2̙52$i#_󧑄(/E#@҅ E9'.W kpPNk]i th1+jzk7 67*!fBDFe2hͮ2l ¢DSsZ|i%o^3葒3a2^0ԟ$ ;@+I(q){IoV>LKM -ڊ9sN6cVwO m 6;lA5a;/Bzut{WQI{ P-ey\"ylGfO$ݗ_9ˤ]eS`gȕl/xG;HyfüONܺzxǩ-I4o0k&3+T5J 4:eo@H*p\Ͳz%\N`MP< c [[Z#+k21jK=ak=}?FbcOOѧEiRSY>F>=ЭN3+>Qz(ƞ8.s_t8۳1L8TrmGr;}zY5~q9QĎ-oԨTHӲ`650ob%^K9\XMs] o,˅'0]W8gonOpȒ|-Qm+'i =#S}lUu1Jrj-~FR"ߒ|ɋ0mRo|#'DZy8і& &Qdc O[C/:u wi՞UB18iAn#Pt XDOkثJͽ`aO1) kri?b̢.EG e.7"`։M)*6|V~}[Rp7.;~ ܿhƒr\[[ 'K*r8VC70+ Ϛ3f.ʭJаrtk1ʢ%4Z[!&U Gl}kҲl(RA}F ~[\VlR3~W6T{)Ey(n30R7}6Ȯ0F]8}}Gzi#es"r5Tc̒%ۙΊL FN AڸfHW;^4'K,yU*.v(b: .gvٽ<][̢}pߏ \u#6Q̵FyWB0z=TB2_YMBo _BW>jFe 'ΜsVeC aF@lh裳ڝ-ѕk+LG"_JO5]&lIRG5M$` 9<^wa$\Igm7zaM~;{sba <#);O7cܴ~i߹"C( Frp j C|Ri|ONT|jk#њĄlUҙ|h9]<Ɉ9 DHۏ!3tך )dUPAb5 EU[ ՚'7}_\?9o3!L*ng #̫z P.̠sT<n*)I_θ$",͘3 xS ey)~tY5 5o{1?jFսY;;;a ѻ{1sOƊ@T =2v;I-j;0\f`\m%ي6̗Vz%7UGCd6yzŤNP3t Eb '>db_: ~64ֺ*R$|ie鱤D*zƌmByxJlCۣddW05|*oDhFZ? xmU| d IL%ָZ@C㾱H8`>zdn{7k)ݜ/_ Lkxb#+A2}aPDz,Qo2wD99575Xї9X' N:&3VTx­Cu,.vmE70aLeN5 !յr(41- #ug"q ˻R6@4ߩ!>;rۘx.ʑU$q_˯ 'ZnW8:S':gߏ-;`U\ knk+t -mRthEMlQ0:ȚOeWG:nV p7vYm~ XkǢMYO}jN&2n dGo]薷]b!d`۫[OTZ"6a^e¿Ÿ:'13 +~nB0ܤKvWw nF!;t%/ L.H?v(q󍺩2$I${bT%Q]C9q58l X/\.8ڜ/u0̖*q;󮩀=%2u{lb2r|T `h4mDug]U)-K~Ag"w7 n{+Ѓ8dL%hMDyʸc}X<ga M$ϱ*<9E(:[qAu{{uo  uS9 }K.SV߽  '7BeK8o"Wd* TMBOTYz0MUE<}P"I0N?#7kyyDhNm#fP y]!Qz΂ Cf_f=>kFoFI2aִQ_f+ufa? 9"}A)DŽtoV~F*U.oYĀЛz&Ҷv IBu8L\4ֈvh-uOJykٜGua&ݨ; *h>ܷ]Fjd gnluXB%'# á>%dl<Π8_̓-:t`W$@R9 īwUϪ(}MҬ+2 ڱH,01Zs%4A{n[gBP{/ g(TH<*l|0)+zrc{exr.TOĢً]G[υDaȱQ%@jc_[K(FspjO't0mFk4xwˬ tj ]޷gʞXb1>Pv?SkB7Yj },TЌ)*ޣ_;n -5414+mF(O$p<囥ݬ+4coϠŃ@e`XpȠ^wD C*&IroEwn97Vh4B/Wu%3*ⰵST"AMh6ЎQ^J^jqߤ( N9op\W_v,X@~?R-#Ts{LBMU6n1Â'MJ;X^fDDxr2O+@ZbP"`A֜^ZL&WX of (%}Q/Ƒ$n*O~cA'⍇n]s)آ%A\-M$}xʥp৘p,>%ۘaK0 EAj\=VpZL!k TyB(L$7QAO1%jLе5ߚߖb.bN ߃ϸLmVz v*k>X*x]0Moj!(AAedZCSzLcn15LDm?ҤEhUI:`wŘ)eېR$ruZƐp GXv'I>$Rj3La?ױ2&*(Cвsf6Ƅp#HC؉Xf|?n,ʴ6J[rnJ&7 6B>N_ [vhnPBz\ HRőfQӀ63!%74Txu)$ȫRzRܴD$.5iTˈۜY _9+x%6'1 "ѦmFƧ[ZDfQ)fJ 1JIMBwf3aCnݬ-#ݹ,I7,X҆ # bCZ2aP&UjkyF@ҴGYЪ9:nނEy$*0^D U+!^p+t(+tf#A:]ow嶤h>aZn ø|:F(1@ry LCg٤%cc:cL;PCۡMG0&D݀¨&\|Q!k,LԱ2/iɵÊ@eIޣul_[)߸g}QV.26 (ՑቹG:⸀Ņ2gģXI{S"jq,HX}CidDYegy|BO4] c*znRRqtCd#EO`&Ḧr]mXqg3nhP- lQ ]j嵤u;H(^cn38GJp$5np#"| W9]&6B.&ك =flRo], χ[q?9i^=t>{XYUc.F}9\7NB iZu>D~ %gxR? 8Q4NtO)?d @ӂ}P)SJr,)ƁfRNZxS7qdExW (1oXe7ͣ#y W,$3{yy/S]:&J}9(Al~\]M 8ɉiucӣ-~r+wh o>lNHsa"\f8-ƴeM ZqBRҼ_vT0/JֲsStfJCb%3A.3HNp~ ոf&fF-KKd5-8nNGPbg?@8R@zy` a`ٮw/y8S:FwptEuV =N/G6)N~Hq3,5A R>aɬ!~SdxGS0Lecؚl)Bt`aYUSv\jKA~2!hLY[gv=~Do`Q5٦ 2_cG#3<ܙC9؜K:=-;`R@[ݪ edTn7` -' !?PagY/AP.%+=D-lI}B\xIjAm1 ЭC$nO :Iͪ 7$K8+@Qq!@ju-/zr]B!eRGi 10&k=Ri&i12X)i4N~\23~DwI.5eFf]s<)xTD[ɉ"fE7vQ OC{dH>_ؼ#5fU_ǡTfدG~~6Px1p"lI|6-(E+@;%{I<Ŵ=:KhsJ#O 䣷r_=H@iF^O 09ilp|ӴF_V<#yr`bȩj3{X"ԯz Sr:D‟ Lc=Ҳw\nN pf+™T~9^ BϤ]I#XxD`i>"]ksJ>@Op6eݛ# ^;eZ^ظ1Z4-nsi9lAR aq9GV_:C~r(n[;O.Rp#,CD<87iٌ¾M+EՓlU)i(ayP[up aӍ^tSsvTf!?-lkdNfU Y Ā,dYʴNtq wKo]Ȉk|/rOlf.}rqI&9f*cL;*bWg`9tqBLiUE;fB}mJ!(1-r9\@҆ܡuf{`Bc8~yW&(X\LĦ6 ˫a IV2wepu7` "g*ۭZe)kg'4tՖ +1[%3HM^# S'G],`̗9тؾ+(nzJi- XAI-2xw6鯤yg~g!# 6 W\ZlMAg?'\H'uV#V  ҵ Θ'j1t+TF9ѷ+2=ϛ-BOSt54 :8u,eZk)_ǹ)qy}*"n?\NsEoEϭ! pAQV^恢əFֳv A}j|!7ܵSu3M?`C'Dǖw⿅fe=.n *h ё[pTZlFđsZת-p?!ik:[lCj5ܿb5@ȯӛm"- ݎe14=Wj~?u ˸|'"XߠXi瓅E,5z~"'ey@fRZ!+5D_76Hl031;TM dɊ$M3/QP7D%v8уCX0VLdKV/_Pgi>38 ;3DgS,L6) %w)=}Z`#%΋NI^|+8ɴY߀ɿERm9]a p["%1ĿӓoA) I9 .ْmB}gU '1,9Ǖv8=K2591t@eA%vi@SR2^j(d Ź n'xwtx XC Ya ߺ$P:ygN?9suW[{Ia  ۖt<5ZmE6 Q]X0.FpN R [ A8>Àz1F4#&[6iV9 9 I>Q4Yݏ< DhAS)s|ogt"ShJ(SaġdH_21MG5^1jaqޝeVPnmQ,"Dy^F!^) ~ 3&hAaL;qus Y}^ 0͹.*a 1G>*:5sU\(fcji(>.a3X=I)쉏0ՈYM[k4c.hV]uO?ŠK(+7O k]z1'?EuI6'SX~#H,hZ*Cfhx`T, Ȣ Ӿ,M!b/[?iܒUC!;iLoK^-/Md8: ڊRzqn ULa6pX^WJN91~wGL.6W/2t?X-|`"(/,  _w8.o֞nMxfmGg$mo,m܆|5>VM32pӡ U 9C={wUCTXwFÐIG`=VlHS n%c4N1my?,>/0Am Om[sp. r[\j~Z obx-{)pu4/t [ϡsF,=[=DeرRًDP{y&YgWRW]'m'L`WkF7 h疻C y ŽE=-ˡ ΝJЛulVŘL̀Ↄb=a} -?=,.*#qkMXn+ #3ݩ}WR)? 8=`f js)V5 M[0Rߟ)ш6+ `ZU5g3E󗭷6W)MC o_i4폯4X}&hC&^}dkDk,q$coےP8XǙSp d^N[~0vBEAi^ Knϔ+6njL-*^~KŮ(WyR 1mj%.η. Xܫ⌏@qvRu=iYGJ#6-zY'W=2x჎ QkᚭC h5-h|bQ8=6u8wj_]ՄJ˫, b$Mew#]U؆@!JYρpUK9.1Ã#N;ϞaezsE{2ӗ ue=lSÎ;@dQ>,5kK+FVL _L֝vMAo`RZԀ`!*4ECʰW}G*T?&j:n8PU2ퟀHJYt3`L_o]ok˜U0ūY\2w1tJ] S [pxv̗r $P??40q7]h!x N (mȢ8# N_.KkK{Vh8#gYK29@E!J!Gz+;N#4',# J^ZB߻0gba9 /7ťZ"䖪p7j9C~$[nM@~mI5r')& ԕAcʄȭaZRv'|$o#AmQK K9?[)`p@]mߒ&{Ha#NXGfUȟ|R櫏n_4ëmx5>k (W %A,<pťl1di a` 1tgV)#j]r%&{ڍe"` tiHUfZK 2M]TԶYzl,HdNb䘁}g(z}m !T<]P6~zP>(`v' nY0[MlvAq<ط6=^_"'aT脧<i<5,LZ[2>2: CIL~@aOI2کN.O3AXg(BTIbNeDpWp:c O@p]HD‚c}O+gdJz]@1>;sYFķ6; f&:q@dJAKɛFLu@`!Q\-&L?S+ٝq?~q'EEs{s{mm?)7Snz9r+lx RaV5'+ţb*rXMBxm}/M!{4TXeXui!|*) V_s(wHik,\%#ŔwIkp&%d %( 㰦p 0/4+fɱ>$5cSI4+]X{^B?]CD)xoasex)x E\J 2Btp\F.Sڶ8/Pw5S+켓ȅȿ A+&zI uli"ǿ(3agYZެDu?.jT!+gNjsJA1o$^qX~oy0"ZE鋰?2tܑ[ 8e^0|[ugYZ7zXZִF! Q^/]ŗXi%D8SOx=bjnPzi|ߒrf#ނlIqI)<@]p8h u ^[ N͘ЋB[=EԓTo ?zE5 -nho=UhZlTbX-1c݀L~ 6tE )_Q2҆I{|c}fd]Z饓"FMW'G{[%Ԅ\X3&KlQo̱礆~6|-x#8_wye7'G$jqx+ H(5eKh ihe6EiP "Pw ö6+݁:iXW:i٘Jg\;2V*T_Cr!=^Qp=2> $翢6fWY] q HY !B!qmѩnp|ܖr'VI@0:g;,ɟb*Tb~zڏa3zt˭~F:˚k"Ɵ*2z1ӎ ç\-2por1N]xSSI_Êfiж"Ccy5,xEKӼJ7}k2e,N]3]S.>/uqfCOcb-8Km,M4n>ڭ/__.i'C4y8jlKo~" š"f:x-3ЀZ ';|Z)"]eo⚷iUDXA)ޡD[_tNO^LջiQ5P6@eI8m}# <ohlëcdoiX7Jq i:ڷܮ)w.+l)>a:w}u~7p jE5oEKR9syKLB&x+z @C4_C(ǚR=3EԒ 9;2^w~>;8up?z'htyyoeQzECX╂N:[8'X9kW%G4|VH c_Dm (_1rZ'BX.pw_NTE!T=7K`s. lrN)Ch~ Fd|źn"/b:38{47Z`vTCw"M1ф7A5H2XרՀp(p!u;B1d\leU|CeB_)2fBco;4VR9E0_KV˷D&Rlk9'qQ armJ#ZA.b?v:$%|$bo42\gB)TJ ֲ8-(^5%d3uwL:Jy<]]Y澵Bb նP9DIU$tF'o>7i"xݑȎ }G E}o'!Roamgԡ:F~<\C֯`JzӖ;2sQ[(`߼/F[xڠ2xѐ UQG8: .Rr®sh"|}6g(8mo>NH@N#|s) yGzJ+VS]RpxHN\R m3L%#weTHiixo&{IȽ. K@[3^i6*+PU4&TF4D=x#gJ- u17'# H+:&+loܬKnrfXJ/R,qK3JưUjҁECϡtd_VrݵKRFBNwdOvz;Eӑo_BO0JՑ]v]}$[V2 rzSPjSF|)T o8dAT&gcMqMZT̝HÎĂCqiB+1ϡE!7V^FQOSN#yo/Wr)D0CVݧ WW NƘ\J:jg. w8|{k {5/Ǵa L#e(:RnEH/o: Yǁ\۶P H {u+qyF52B.%9.oNG&09n@f~[v|"( ['虵_=FRRRRP-5N!@N%C^a<\4^WR>ó1Q'!j$Vʩȏ|O2~r,Qf1e_Gu8CP!@(YdA##嗎BK\2+5paJC9yHE:.曞[bfA@{1@#G2PlF)TN^s`!(Խ#еnb OɨP7>>7k$/:<ՉQ[=‘IV؛Qv/c 5Vn(‹e_2ة! \5-Azhn&@ZW\DX0ayp{!L<bڶ~ 0C:#z(Y9-o<ҘYUcAVHHP99]y]|%+=oM/-HQdRLU"j9Fϫ(ud?"*AڡO,^1 MSn/\IsMc&״0܌p;buBhSyi{X'O|@|e"nk4tAg Nd_c=;. xRf`N@y(A!+hZ\AEQJ[]f=M|dT_y"|] ߢıgYZd07b48fb048081a49702d3d816d3a085d46b39efc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2ea 2b52485d19ad407b4648c448353fc53b78b02ec77fdba72427471648e118e7b85bc804c723d46df8