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 \7vd,$ ]/ ComponentDependencies:threads=4elapsed=92.341cpu=234.928gc=8.7527zXZִF! 8]ŗXiɟ7KIxjbk- Ŗ#}xPWreiUo-@!va0_PA-uTu)I4bm.Ʈn'D۩rZj[{.+'>m*MVF缈d" xd'NO+δpuYea*!/x2[8\è*tpǕ*`g[^SxAjm`kɣ¦ *,g'/d>.S]8h v'EMuNQ8Q4ĵ1&|[x,]uFCrr#M\yҌ$S~Dj6$hlQ֡f/ʑPǖyr:{I`%C,f>!!1vm6b9:Ӡԝ80aLwCw_ drf@ O:,l{Kljn.搟AA)a,~~"_0PfL+vE>97;Y% G(P S$כHCK[FĆܓ1>gqgYZ7zXZִF! *]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C|>оT\!tlRKDʂ^k! ~ъ΀$_S BBzvI{Ǔ TWtkMԮnXN\߱gYZ7zXZִF! 7!]ŗXi%D8S6;f1hh^pMѣy|.;PVFh'Hg̭` m$#ߛHnӷWfw0ˡtԂTwC#_졶`U՘'M9}oH< 5嬁z:7{,)YL+~f5+iߤ} Лks=Lo֔3*!#ʜ Gny0*d/"e#5y-gAZzYV@ZA35gףv*dY!/Tv'rݗrBl2+FXm n5uw^ɯNf䦆 pD?Ɏ-QH'",]{8R0& ҹ$gә\w4j 7 ComponentDependencies 97u% DComponentDependenciesComponentDependencies.DataDependenciesConcreteValuesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5dgJ;^qZVGf4L[Zy~ّH:Bf򱦫*l~x%#slƑKa`elA>Kjub9|X 33>3-`K<> lHtIf]΅*G]Q=oUXd5C[dkz_r#S)N$:ۤ\=o!z]S w\`ˡB:? ycuN֩\KJ>pap;F#Dc<w 9AvfO68U5vߌt)1o97TaѶNz1UKHD'rR@63~$Z7"C AlqɑzykSAzg2!UmV9AjѸ}Y>%?ӓ˘O4ϢJ Zf0tK q FDesx=siaR1!d#rA<70;Y~(*2rAa(%3IZ_(Ɋ!ZOÅ&eIúIw 9Iɪx洶u4r|ܣ7NSy)F)t65H=D( JS16> 4`\/^7tɵxZ.(b0[7uAX- ).P.7Aކs9W(7/2V&tFNoxXHTqy,EQflVG>˭zJ~dh AK).a+^Z;[pyɸgV6㺛N~Q,mJGuT)BLl:y5Yv<>50umZz# 9==}v>Bbړ=l H67'p.W`Ы 8}l#U{";9]n`0&hut ^LMU0A/߾HQ &ק y,+o5h.}g@#k @rPcןx-\Yғ)o`C$*8m]k{N+G?|DPA %nq 0 C(wM̓vY,jF43 g6̰( N TS[&Kg2Ak,%GgE$y=lW3Wk⧾AePȪ5Wx`S?HUaՍZͿݺFQ qqmԤ&#b"Dv> sD˻ZصYq퐠'@,g)vt6#餃+|LDȂD !ų˻Yv[k+0M,&l֮q< ? Dg & *.عThZvO 〞BgJM_|dcAIi3e!7n/@i5 cIT!t^7ΐ+OL Y0av ԤeerJ7Dž:Fǡ}%A/!#b*؞5q95l3_)R@#pvfjyN旫[J$.v[ @~zT:1Or`qK |Nv$gY whSa w4,sBll<i3$]~/U+{iqw3_%\Y%hwב4DDj,+#\(U%/;kdʷLE`vq A:= 7 wR:__\Hg̘A\a oO$ !✐UӰάhU…-'mWS'g@vDRAY24:!*ZB"̷ mr Dx0Z:_3ݠ&&Jx4,f+u:k?TfX >زs]N "cbMMCf9 ̊#fl8`.}c|Sȝq[]+>@^,w|s 6)R(+sU;wE3:0ҔHjhNSH3Tz95]cQG 8',~P:?(0\k\Kx<dޟ`9ӑxD$rH+wOG]^uf c^+r=ŃeU-ɱ{Ws&$z^=pSy ,@8T G(n9(hn lO:63 ",ΝQ/ Rs|RА6`XT<$/~ϧ‡w6/{:ЧvvPT7l&(UnDǴw`VYYMWh…+!8,%[K5v0D|h-Kpy[j w^I=y͟Qw=::ěh5`h~[L;.+K_*%0jC1srze,~,^R23/Nɋ9tʉ B?R:W⵽)u;@|df> "=MܫO}ec!gN 08p5]"̓/vwYe7a_FK~sXx6'6G}2>E#c'1Z2POY j~Y3g WV7k%ComponentDependenciesComponentDependencies.DataDependenciesCaseStudydocument.texM7Y%ComponentDependenciesComponentDependencies.DataDependenciesdocument.texZ7u% ComponentDependenciesComponentDependencies.DataDependenciesConcreteValuesdocument.texe'LjMY)z!Mo bK2w0=('?Hl$tn_\Mx>VH6M,Zڮ6SGO`g=d{|$0oԋ 33m{y<_&uqsLKmk>U厯:m`cMŸk8<Œ{[L8'3% ;p筃-\Ԡ> XEF&7tK*=G\godԈz[uK-*DVx4Q; r v)+cC_QV3OLR~+SA XѾdaUyա9a-A95#8C k^+HMޢ㽃_3*?'D`xA&+KrFM*|V;~Q 9(qɵ BE!;}GE䶧%!5A~ȦW42)|CD!uKm6‡ۋ4f)sZĵ :L`?!=Z O4jb70NRlWF!W+1{Q^0q9p7٫.F6JW |Z=ͫd19s^bӹ>oyf5 mo,^!T brMʁ jP=h~&ȑqOG1gg({, ;Lm/>𲱵16}!*H9c@Τ3vDT\VWqeI,7#[84yjWAPfe>RK3$ADqbO35rGnYs=|L3+grɽ5¨-•Kci7ec8i F\FR2DWm:季1UwPvtu1W u;v֑:OJ^y5%$? yZu(w:L4zO{|Q0.J:.Qk&k0~';b;;7BѬSRY[r>؍_h|Y%JVnd&s*1)DDu_@:I/wr]/"R0j"K--]^pSNK<' =$ч x31闟FcqWFMW-#Hԕb 3[,1脣EC/ uuZ+l1GfΆAT!M>QCS<38. |RGpCHM/c3$j{^h)5up,.h;ѳy?Y=e{9[.[X C.rwYO_Cj^?#20mvH}[o? G[۶fHKO|ɵTE nl(kix tjq3)o3l TRW!w>^K<-6ZQ=4Ԛ3%ԞW򸷅-f'uh/e.IZ_= _(R+[~5%l_iG389_90y&.(~h#i)":#4P`{gumOo!f]0tJMZ =XXO<|QKt`^_lEE;ÙGO0We8αI{`xttɊ)2F%Pd͗r98[sL51+x[z T4e*>-iѲ&2 eYw Oiʹd~?_=79-ƃj!\ąs狳wmZgPR^~9C-b@ʈufL##لJqg#8-)is]WߜfS^ !Dk@V; %IK>]N iT-`!Y"80mb/(۞nߎwI;ܿ 8E ";襔2A'B:zljp$2Ӽ 2+!dx4C8bKHnyMwFNP$YeZgbՎ^J 8^CA3WL*غ '?XkáܛfCA'ײfZ:qxhH3CCqgÇh.h5`זibM"#}Kp|+ x?LFxu|38]OdsJ l  )Ly08&`UX1s`ns 'I5@!}t'XgOU65 u:U[Q?Rke-#!rKX잪6 d>DΡm ~DrZ#->0cPT0aZޫiߞܾ+}qsH秉Η9sepMM?Cs`TMFYizGOIlcl<BFaQAm ,68xA(gK~îI=L#-%J#~a4C@ %ƸW6>qX)!̐:]ߜZPW ̤ϪB ħ1V)Cv6Qh}vJecKD},D%%w1bxq$B蛕$?zI }y}#Y-^)'nTyZ o k7uYVQe}wQ[*% êv64iY+j\Px)gƌ+p7-!k̉OVqdelft,/p>U& x6!24B(֍Np" ue-w$Գl^A1ѩ筕 d, Ͽ)GE)*u2" s68n\} +[Lv;۵z!k~,#8% ._6%N#'3`C?,ˍg"G{`Yep.dƑ_Vi{rdF/:%/[MR0˻4b15UizPwo*ScNɫX=M4x bݣ `xH:5MVܹg-ɕ`x셼Pcg SD2"*S ~^Fd씦q^2fG6Ë{t;` ~~őXP^98G!@u[Y#t)q|S&cd8UINl&aXTf1ʻ]~NשTJh_``D^j|3E\柪1&Pi^w%_er.5̶ ~RkL*sCWLU5EC,0ς>S(L+ճBlAWhB;FTRA 3ҝIim cZm+&)%kz6`vݤI4xljaFDtHͩfŝ^oݏҐ v=a.WBp>8SO*ˎ"$y9 Y\r n7Qo1hv&R,䳜Wrk-wRAǼV5>5z ynvX<ٹiF˂\ZtK" Fo X*$ Y2֫~1ʀN Q4Yڀy-e 9.ZNB0nxJYHY ja4 G43<#mmmQUqC;e}gÍ4xgĪvrskV5 4hx=/&'8q|/E2ah I!BL~: ^{k1r?MZ]*KQ.=o̒& TQ#:9zG=7 Y6ϰcyq?Ih[k%SM#Vt+Ɠ?Q}|"I `pK6,}N6ͫar9f[@k>V7GlD]_KTQl 4-Cn<~}8YAsPv:O6貳MFdik"(<έ3V:gSmU eWl$(_]#$F_2z j[>Ӊt98k$}DQ@Oh =T~#ti?Ba$UFc,|4a5 I֌^E9HC)qU+}23%ky12{K?70 /fM V b7c "n,z_5zbo1FhzJW$ ­'c+T|cwri&߂m Od)hGTU5Orpq{&mI(4LS &"Jj[w WXn9HXJxaR|;mqY1{c/{A7l&Yg?i}¬X9fU0{J::۞RV*MUXX~i+n!D N4󪰔|>EQ,=0B /Hu{' L KB>YTSi=>2 gcv܇ގIϢ8vg$SQ,hҠ=MS?SRCbcs{ T)m[`o$6of0^[R>ɝ3M? dzɋ;_8[LrHBe iznw[oڤ04k RCbtr.vg4UÍ&1rӜx僧-e<^(Sվz`־#ZÙE8, &|Tj[G[!=F>Я[|i[CA%/ɺTs1)z\'gmZ,9P6H('Zo}( uf\ĿAUo`W){bp d'Vh[zN@=VH](Ur;~łF^X 9!X18ߙ u`iZ^<lqf0qk=]kI6~@8Mgyɧ{Cߗ a솀[c =ϵՑʲNpbL]Hv16ądoj7G&N[tEUftBz[9zMpj8EΉH5+ח)KnMARxV85\pϓagQK&MǟFa=sskG'} >$T,-{Netz!"8X^[sLmd>c[h}&, w,Ws!젍LCQ04Q?b$`]춍}nVwo䝓kٶ.uUҧy5[t l'W:Oά2l)ŋjʙ}rԪwH\Ň7~}!*0h&738]m9"#_VOzCg6B[=i}-Mj[izDZu9 b ]Kü)[mF Sw++,{W!/0D):aDlɾ6c׀9~=b/(RhM=a vfuO峖o"vF{NE^_?v\ y]^.U4vYl.b Ln7e^iy^y'usHkȾ3ҡ4;zEw^ sʸeT7{3`j 5hr\e:߸f ȥYMIڇ ±Ғi[ǫ|bʻ; !Q޽^l|K|-q &`v~Ob@xhweRc dT V}KGjQݮx$ F\`25 k_ q0kK,f]^;!1B=6E;S>gYZ 97u% DComponentDependenciesComponentDependencies.DataDependenciesConcreteValuesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5dgJ;^qZVGf4L[Zy~ّH:Bf򱦫*l~x%#slƑKa`elA>Kjub9|X 33>3-`K<> lHtIf]΅*G]Q=oUXd5C[dkz_r#S)N$:ۤ\=o!z]S w\`ˡB:? ycuN֩\KJ>pap;F#Dc<w 9AvfO68U5vߌt)1o97TaѶNz1UKHD'rR@63~$Z7"C AlqɑzykSAzg2!UmV9AjѸ}Y>%?ӓ˘O4ϢJ Zf0tK q FDesx=siaR1!d#rA<70;Y~(*2rAa(%3IZ_(Ɋ!ZOÅ&eIúIw 9Iɪx洶u4r|ܣ7NSy)F)t65H=D( JS16> 4`\/^7tɵxZ.(b0[7uAX- ).P.7Aކs9W(7/2V&tFNoxXHTqy,EQflVG>˭zJ~dh AK).a+^Z;[pyɸgV6㺛N~Q,mJGuT)BLl:y5Yv<>50umZz# 9==}v>Bbړ=l H67'p.W`Ы 8}l#U{";9]n`0&hut ^LMU0A/߾HQ &ק y,+o5h.}g@#k @rPcןx-\Yғ)o`C$*8m]k{N+G?|DPA %nq 0 C(wM̓vY,jF43 g6̰( N TS[&Kg2Ak,%GgE$y=lW3Wk⧾AePȪ5Wx`S?HUaՍZͿݺFQ qqmԤ&#b"Dv> sD˻ZصYq퐠'@,g)vt6#餃+|LDȂD !ų˻Yv[k+0M,&l֮q< ? Dg & *.عThZvO 〞BgJM_|dcAIi3e!7n/@i5 cIT!t^7ΐ+OL Y0av ԤeerJ7Dž:Fǡ}%A/!#b*؞5q95l3_)R@#pvfjyN旫[J$.v[ @~zT:1Or`qK |Nv$gY whSa w4,sBll<i3$]~/U+{iqw3_%\Y%hwב4DDj,+#\(U%/;kdʷLE`vq A:= 7 wR:__\Hg̘A\a oO$ !✐UӰάhU…-'mWS'g@vDRAY24:!*ZB"̷ mr Dx0Z:_3ݠ&&Jx4,f+u:k?TfX >زs]N "cbMMCf9 ̊#fl8`.}c|Sȝq[]+>@^,w|s 6)R(+sU;wE3:0ҔHjhNSH3Tz95]cQG 8',~P:?(0\k\Kx<dޟ`9ӑxD$rH+wOG]^uf c^+r=ŃeU-ɱ{Ws&$z^=pSy ,@8T G(n9(hn lO:63 ",ΝQ/ Rs|RА6`XT<$/~ϧ‡w6/{:ЧvvPT7l&(UnDǴw`VYYMWh…+!8,%[K5v0D|h-Kpy[j w^I=y͟Qw=::ěh5`h~[L;.+K_*%0jC1srze,~,^R23/Nɋ9tʉ B?R:W⵽)u;@|df> "=MܫO}ec!gN 08p5]"̓/vwYe7a_FK~sXx6'6G}2>E#c'1Z2POY j~Y3gYZ  } 7k% TComponentDependenciesComponentDependencies.DataDependenciesCaseStudydocument.tex7zXZִF! JQ7a]A-MՋhvG"uIBm5dgJ;^qG6R!ɏ*Awm!ޜ#ow6_uoE4Z0NV3իAڡ馹!-: @++OLLʼ. 򔀄 !ъaq?<@Fg--޺l-T]ͻ{gW6v{3nj6aGe!u@a OGyd, ~Rx]O."b"A<@ :kN!^[ c=s} a/-؍.cM\BVDPF}Ifd 9j}N8@jg8}~ǽTdJ_&L-XH^[r2ȥyE`BVUDpa'tGtOSϵ rIoowA6Ela  T W/Ӽ 5^ãRP.X["z!F*KwLiĶ4b!2N͉oBkFY Ľ | .EsJH0-af-VɊֿJUAbD*4>pR=i&Tgv3-[:] skb/dUzW|x>od84dF;| tmEMAU/+ƀN=7Od 4 7Y% TComponentDependenciesComponentDependencies.DataDependenciesdocument.tex7zXZִF! $"]A-MՋhvG"uIBm5dgJ;^q_| Wc35r!;%s- , %Gt1h3d'Q84T!>Cge0^ ƀ霿}\ 9uଈHsHH&/2ފw#∸8ie}ACz7'{b;(gښm?G13<`CB1n[MؙDxQmj X^ vDݲ* dTϋ yOwlg +X_]"}2 HqTbNPklؘOv9DR/%;DJ<~v&߫NM:Y=a~Pek^>E>iGf?7Kh2ŒD+P?i=g!̇HR(_DLሻ3`KIds>m!Zw6Q3YvN'鎓b1F?7"/>2p2>I2 NQjJ,ZhHV,4zSͲ8RήGgvj~rK2Pfm@lRqtKWj@,5-$ #XtcQJq + ]/BZV/FE0g)&FOR% E'ƺ)qC0bcJ( _WLmj"{@(ſ/9 q12 =.n6k|K! I+b^r\AΥ/ep:2V,re(~G%|OXhnCS}U)Š ];q_V$9)d@'tNdqdezl"PfSsKd/4LGW9rh"ydP$7^5J~N s,:5)yAyBa6%n"zkw^<0y&Ob*CU 1Qӿ b׬dßIa@w65a؟e淺$ 8D%Y7,$(d= ᐘLtD; Z1'F;h_rFy֊*V6wZ ?Ƹ0H*U,\k{FJlJ$~8C3K >ZZQK/%RZ*# =ێZV>) N u_CP͏Nž ^^X rʄ2|2iLvT'd : tL*bJKWx9L*#@5XD(슣z>iCL6T? :Iߍˣf\'GĈ-s2q1]Cv5~Yb"MwsHއOu+k6*c7X֮\ ~ϝ) E/+*} +=$Fzr{_&.B3ŋ+Y"j>o^ˉ3.p8g]i_?&7]8\kzI LaS$䘘ߗU"ډ<=Y=)t#鷄ɋBgI0)¹3H߼)QmIH& IQ%!I-Oi^KֽwRվ,ה1d- 'mo)˦*$ko֢':̪j{0i`w3bukkhjZw(JO|$qXQcSج]nU5 GDd&=̊96n/.$=D+Mڼ҃I)_6ў'}ĆHR04az[>sMu6g}\/T>U64뮪whF7ķͲaP+lmw,WyгTwUUZ>7UWr46HDeS mOKI c\ŏΉ Rm;3T_`'$o.Jˣ&}YP( lq[) U_!$ ;oN=Xkuˀ?$Αo~H^M=ĽtaҲu Z5C뤢QL@)+=DTCǡazPP  Si*jCMXP2JiCF,eBtSa|}+IҽEx8DTZyQmLO*I+vٚB{>=9cz9<S Ce`#i_Qz68NX #o`*84]$;>Yv=yRʻ>W,=9G BI7Qis5bzƳLUf5&NX6gND"_Ց:%8BR\*i>뺲|K%RXS-" ;i8@nOOsnJ,%_N|4 =}NFGx6)FaTl˔!lŜ*F*[_ uhsАVjT݌9ᎄ<jPpt+3|W aTm1v4NK[i;K |A/_VnCy^:lz7 YVݹY9U9^QP}{  1 4#)G^jK*0KjPRGWBڮFpiD!?"$ Uֶ겡eޠmNP><֭O-8X׾ts'_rj6xk9=+OjgwU,W>y٭>yۚ?xF@bf r[Y3Ai ظхפ8 y ]ӝaLr安ֻn`򡟭H PgrKZ\aEeSA,nKyT6/xq[j*M% u7'\L pjƣcu[ec;t?U:|0[ܫj& ~CVU+t hzy%iӋ.6ǥCf W.kJpf%~$* %Ͳ#hcbown֫8$u4~΅Wp;ozH*`sSѩ2]Z-txa`9㼽vآ~Ii7 k":qYG>І7ouTD<(JLla`EkӜ,*gN&pA [:䮵q5Kjmz9Dbud\ =G| Ý5ؐ u T쓀לSWff||(֞9. '?2iap7]>8,ѿ>gC\מeHc[, Cz]Rwp>A)ZF!mAr)c>(bb:YmQ^ڀ^`b(;%]10:_5XUt7~~# Fq&C+8Kq*q#Vv,DrO TFJI uZSȬaѶ쮕V"QtЋu%o " ~6!Zg G^=il"o2~Be HgiaᰕFףOuAμx2VP q3l%Gb}>ܖ 3ݞ {>Sq>bmܨ)r]'~J˒a%cFW*Sa¯<&q<kx EըlD/f?r5p co GHӤSM}180@Sܘ8""i+{թ+3d;? |Y 0_]g|o7kxq?eW9x^g҆Pp2.l4aȵ!IQ T2ޗwaW,MY0<:nG/LdH2tSJ1E)=e %? '4U ?v<.F 2`:7F/8Xuo Mʦ,FG^RD# T͘O+Zq~~yYaE(jfY?&,Kr 9>RŠ1'뛭3p9zM^%GxUrt$cF&n܌-#RpYXq×t4QS,"nNwr0,t̽!:/ ;yu]N''7عS}P)oR3vy9P]]d)TKk/mJS|t:hB~p*ѡ軓XN 'Dg2^/t4(#` `?VoVԠj&^~ ac5{YV8FF "qϏԩqL~bm?O^g:W)Y:;HEx旛;%Wnv*-54)rķ(Gg5@̳ =Y) ^_<ą\ۛ`[[S \%X/v*I 8!ScyuZ~# SDLR BABiǨ 7i5jYIt 9Yi^QeJqDKJ䙹4&DzA`$'~NyXoxQt#yxf BiuYT̈Hz/@uo޺nl*eK)od^;? mqq #EzCaYh|pi,LspIkv) Ff߭`/\qt]1:Juv̆iT;pFʠO`*aw#$zFdAM>pEvWuمkDssl7ͲcAYlAQQ^>/zFi ܽԝ^2?tD{o*a8,Cu$'E"pɿhNΔwC"7,CG{vV$_@hIE9QdoUI`B.Jxb+bn.tu{B䎷-r[Y~`G[n=D!}`3sa3͓.T9ڟ`FpsdT S!k*=*F[:TzJ9ĭj49 'x̟ W}R#,N9(X.۞CyZ:Cmv!QFOE VH0l: u?_=>@1&>{FbUtvdLQ"iFg6w tj2]Vd485#BH5P uv!4L)#b $12oZlVis*G?2w, UFJ^^'x;~ywLa{_K@ G,"}A;&Û3>->whoMhӹ{T&;*lȐ/.c-μN69D%]n݇n:+q{2g^< 9* #lrn|v? {_w} K ןz9$ XW x<|4zK"@4>>SIh! Cn䙀J]D )`8< }:׀D-u#~!tɗo@ji{h+yZ. xAEcX8>**<$Y `lok\XWplY2^+X )?]aPJP"ۭ9 V#J׮ ^SwW4WV&;xIQEzD@$Y,?5xW:T6wiSRkqYup2MRekL4"k$e\MF*ݿW,-5l~: ){FR(S7moM"x7@ܒ…̎c]lĤdE< Ukbي~SW0;<yT`ߴgBbOY먿7%{tt/;s̜@ch6r?.Y3]B~Z |\w2y.\j]/`%/G!38iV!30vBxg9N|v,ӝBm$:;+^dž&G݌Xy\EduV0_(>i4bdPl\c`y8hJ&@ؗ^]iFzy4ѯZ 3XrZw8ϗ|s>bIwVA!U1،ng;̒"ν^9cb5v*`d}Kkm }RHY˲/>y Em<&7|űvB\CJEhb x9ȉy`9lC-WH]h % Gm~.mI&\ '$dW ID!Q0K_t|_k%e~C(WT9+ Ծ憜>tBcE- GIPǂKn@MX&KGH^THt) X*ڊ/Vx@ J` iBvR& ~tEz3vm+Qb=<'v#kiI`AJֽhxu.tLq!Cn:W`-j,cZϣt0<@;@OV;N2&X(-q04 NA QIa D.x @y@֦(P+O[x1)7Q:b ;jwJdixNO-M1>OOYy|Creb/B4-`mG&tEJ͒J[}p7)$Hcu>fӳѠSl/T<<N7tC~p;Wו8/lJp9nb]w,VH~{t Nl[Qoj:I:T%H~ET鑾+ li2mw -Q 53$*MZm0͎/Qwc#8r%%ѻ惏W,^6p;{8(D@J$=si-nϏ~Ff(OMB J|Ǔ=fO0`cר N7ӳG Jt>02Qt_<}R_*! MXx6G:E\[{$,YOYӕ:2kVs~CdxbƎ]ޯ\2Ojz؁ٽv@˥W[~i,?d4lB.DkXIcF^#o:H'b=NVU,/O:w F mdU-in'#}X3%8]E4ѧd,^}rL}HR&)Iz{ )&JhQGp uUQwv~XP<K If,D%(K@RZ"A4>`$v% ,1@Gp}2x T3EvHu+G(X& I) ֘} \ w9_83j h v?^qT/L{-ftȺC=]s^d ]IARJM_csj\tK$Rxy&nĞ, OJ<]$<9VHdofhIAp$7S) u:XiEʊ WoV- Ș}vzWK͙;YaG,QJkuJwY!H d5GR[R;](ďuJֹp(^+Oի+53]T' 5F+dFXQqʥ.e܊!imMD%*MU;}0:8nťe ?oӾ[ۛۅV2:K<.yMXiz4߆L-J^f]ZP&V&@<ّQ6ʠoD]7oe$yn4ĩʞə* <%?֒'i~nCR뤗RjoYQHZOC_[uyL|Bo5>aUڏxcxjX|]xRkw,i![un tg!qP8uvyP @ )Q*-3YLakRdӹ^$mFm'AՇ=09駤Ί\P("mkf-+,'nƜn;&|4T4BSJC +FQ؝ԧN(NдkoM×'z2 JWG\E߫ϓ]fi[kkݓ(]1WR•XHأ&%ѾX'lw) !>b jzdq{ DL(Ǡ{^cRzD 2 =&w#FGJ5!/us,kyr?9bn,tZvQXBV"z4$ռNB:s&U>E ,VτMxbs|6 QU*r>\ӹsQ}CmVf*+2Or#9>8~Y*@z]b;OJ);ai-O&flJ 4l3B,['кtGɹ_ذ_d;Ⱥ.}qz ?zA*d]IS#i.RT*j1-fFBwl \C .a5Hd\k)vM[{ir]'bX i`4RřZg 7F풑` .AɀcEMjmէ('w#K@H,/s'*c (svFCxP!<4-!j(z}M Wn-/mU].uEG0֐<0$*׼XԞYǏT;sRq}%%.+YAEs<Mvڄ75O}bŞx3‘A8(XJvۏ/sESJǣ2f%dtUR`8_xjo9+zyŃ9ŰNHHbL'ba-A^b+y/h [#N!_<"^Zľ[|#kyޔ{4QHq.vY]Gjm mfh!k݇='|o^i- sCE72xkʼI-iP]Wo|/Kc|?bkIӿJc ŬF,o6h@H,S]Xc:.yOYnD!̾fpk֤O;d '/ XBM$v8c+9:L$%MWl{ĹM_p+0YK54|'b!r/"7rğnȚ?BPDcws_ QD ,iDKe^`bVv k+5'~\i LNJVwY='2꣇bgx/X)`5@~oq}Q5z͍fn_KQ OϤ#qY߬b+<ٟ;F[l7 SB;)*iQnKճyrJc^=y ;T l<^uDc+M{n*6se?ZIDcBN@Ct? z4 8{uogvp/qZ!~awZǏOI4]H!Ѹ K!8yC&7HD|Eo(Tȯ|٢8VCIVIj-`v k=q3Aܷ%?(3[L n/ߋ0FZ"*Ի%˒ryFM]AbrЩ!I Weh aCI>/mvsz) Wϙ;=j #L1@4YےDz"u~|B:6z|?6uKN']D92y ڻ+3oGgzfS: pݧw.m±C*nW5ٔ^ƴ'fBAǸnZUd(.SD *\lSҿqeEB>5p] )f<6|#&6F=6ǧ"/% :e(DK=>aԓ+h0sNl5g _ FNr:Š8UX /VBˮx5+|.@Oq}SViR7hCӱ)h1bxtǷfIapFus@GN*>2Zғ?oll[*4MY$ev}k#(9<= 'P6N\4R s_HEqcw4;~dv,> j69}1JEq]5C/-ydKGgp@[>ZsK?3;T{s%bgx:|!; q3m[I _v.K.`0XA#۫,'l>؟!jFGrvw_-aM,6N\6f&LB6 ~„Qְ%#H]C(uPUg[[?IB_z ^4zwSdɩ?9޾n u6vD|i_ji{4퉠@ω."1 DtІq'64 })O\jJi&Prp`^uRal½L+gٳsC՞ {i]݊?>@'xr,6rJgXu=W!9[H?nY/ cd,G"Dz%RdZ:ɕnmt[57BlCe:!o{0V /kل^R{ED@cL!X Tc!э=/σR̯Bll|w^Z#,^evT#z_MuB(e7<zkىI.{pLݤR)(9{AwM~p[2| B=ŗ,@ knqCS?"&qta;S.J8$!>FwnCL8h/^bW2 =,TmBI* =jj&>ȷtyyfH R p<}F23gRdg!B!#U^d72jPf)Fã[hgE{H"'5J˥i7/SvKFH4S:iuؼG%8ȚK H)[oAջtFnURtdK 38$!P|Q%TAfO8\\"pDtӥn֣+5?U1OWi$ .PUUOɖq:͢#!cTsh;]za|{~cIhWmnQ_'a精F 2E R[UfABRPSu-#:֓BhMDK[}\Ero=| ayL`ZW}BYt0WT%k]S>DtCL|c3tFҀ3ADb'xb1lxW~v˄⇀1%syǕ^>lGR?6)6Zj: [q'MCek^[!y{.R-7~Xo":[dAf|@OF!Qۂ }U;JU؃ I*nM'5S{B\^^rLF䊂BH8J*I h(6@,Q q'eMx`Bf}Ep|8TP, `4HaE&'6_7 Ze-W*+ 0Sڋ;SqM>7fWE?%t03}<LzJ_Dz7"> }ִJLR"u!PI@Bo^Iu즅K6 3 gSiXE˺P+o'+[O;h"f21w&6nqpĘ=WÃJ}_i_#X=]ȸ=}P CǠhfQLօ\8aXå)b@}G2xzg!iK"~S,& &[tbt$^ЈK PZ~=174r׶0Trsq(Gf.j薽i8`^};{- ?K=x4 W>M&_.X *yTFb%0٩TJ}.p9>vƯr<slBԫgA_wÉ9d(n*qWhU~b?ee1hyp5[ї'WS|4pΌAڤ"C& 6 4Q}kp?Udj^ uPMRc%\L ^y꫞}3r}ՄcN~T {u,#R1)m(,D/d!Ȑ1Me89ZTg]Y_@nM)d T=0,~ͽ|E$1x8γJ)Ybӕ~W2rcTɔ;s^+,S֞qo>L[z+?Ws'9$մ,.[C /KK߭F5PND~^Ia[F?WxcWrϝ ;%`crY(0)!Ɠ*?pC;yʢ݉Tɤ2lXv̅ L0(>:NZ \iȣ|%#9[I5<6ըiWٖw n14Ʒuvm&G?V+] .؊gcd²n2' 0Q'0C9l%0*?rJ> D֓Yf̑0cs`A9g0+xAŔ}w:CgjgYZ7a8afb2cfa1959c4fb3739063b3ac16d0d80d699c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a