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 7xt, ]/ ComponentDependencies:threads=4elapsed=54.303cpu=175.360gc=11.6487zXZִF! / 3]ŗXiɟ7KIxjbk- Ŗ#}xPWreiUo-@!va0_PA-uTu)I4bm+*@`h&v!6= PIc;pۍ埧љ8~2ѓLQ\Wld ƞ63xiz.MxZaܛ_߅1Vf6WɏMf]0, {7ozp~"W3Yb2OV;3Bs^^1m=Ks[O0 1Lf$m.qIk ,L=|5JHVVaHk;(4yB<8Q::ѦIX^*@ǜ_v1iu h N!$#*L)Qӭ- *Erxs=aLsυEnlEq8aJETٍ MfB ,RI:I# A;˛K|$+@2>i%\;eN3wͭuowSϭ:h-Z<_IWhh /̈́؏A˥Ê+N>T3k,bjX+Bs/ Ηo7Oy6n#)+`pޏSC#Rd4ncߧfO;tl\),m>H6y.q5ֲ՗m,&U?9=GI$>+Il::̈>Sj3;pGx#ImT[;ߧ NjeRsLM`ӀJK\Bj]7akY) S!sFjsVW_!`aV `Ռ(-xz}jkm`10",/kHt/kʨzƅV#[H9Wr&qaL>4]䎐3/iA'ȢI;^tϙ2Q g}yvU/&o@3g/#Yy( 0.n:61\k*k[rY{Ծ8Mi )9U|v>hP6TA<KInRk׳AX6v0%ia@Ol} ntn!tD24%q˅ RM׿<sp}X3 PܢՖl.5 S¯&:n?uytP2|\UDI:p awV!XR]26WI(Ą0X2ȃyR±kuX9K$@C%՚ʺB{D vׯN8CrsGQa#c<> &i^ cN޾^mFSg<_0^ʢIcQf73 :fiJ Y" s@19gH)&Ju3T6q!?0guG͟ ݾ8WoA&!C^LO,qys)i}sӏzTe078qYqy fX74]-?ɉdfp4{,eR-khbuf[.\q'L\=ߟ޽~r" oaY$cCsuC &y}Κ0nAy6HѢNīڛ#%b#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*-3YLak@I~6Gۑ:k-n3l7.߸p`KEMw9\Z&V) č $u%,db'ꅬcFBD4N yQj\7/M)#D1I=P`pe7"}jٰ~?Բ)0͌X0=/o>Ƌc>R=6l=@ׇW^Υe&׹VD-J&!ҩ$2eQA>F#C=J1PCV.gJ7ٟAmi`a9"j;0)%%Rw?+-,|-ĕ6L>Wsjqg"6D治yyĤrC&9w(jIڃԚ~x ɧ\?MIlSqk&*ۋ"b5Ҿ6N}]/#$Y->ӷǥľhM} ۨTUB3v4qM+w6΋0ƈrȎ5~浯NMnן`ω)7>^s11qX0}y.M[eZ' '(欼W4ewCc]?m"0ƽV^Rtc\ OsaZh+>o}Jy|zt,r΍x?ͤڒSM: \,!ܝoՙtG`|YүK-S2>s:&K}E~P]҅rVefD QIV D!гmKog>$u/Iӛ 83x v%`WvU( 2K+$p"';$;p6IhH!z4{MxjF256)o83j]n?#lgdH sXG[=^t ;1,RO3}EiyFallϫns*Xr"^Lcen$Vץ~)we`&f kOɜ[Ө.)*#,qMJ` $Lz3(${J lj)M_L2{&Q9YkR} ia4ʍc;JC#;8bz5 FNRg#C&5c v7iZ@ @J9/A c%TLL=? %h?)R8Ck4cBpc9[)ձO*З܎# *P^Fƀ<g 8Tu$Z/MD45$ףyd>}~G!);EHE&[LÁc:{h:}*^4\j"0l6vyDneytiq?:iǤ".pgD1_&‡q6xeR^O=cCM๰3r?pxFrP50URϜMeP6aꀑw4Œ3' `,KH'VF0ɵMF-Hj\-{ݗE9@&)N-ID iooR\>G;줂fB߻w2sE}?˧r]_rM1]xZu:*5G)B]lt$hTbJa-$x ϵեR:q$(Hj]aĭdq&E q0-pDYw !ڡ _=vIZXҟgƙӐX\0-ճ[8|)46 ?Pu= +8  ׼Imv F(lpl_Zh6JIre~nI,U&PUPFQaoӵ/ 1 %{DZǧ)'[v28ϓrn,Q]s!'⡪s(Ri2v+@TgYZ07c4cf2a7174aefa0c21eb287a85c87eec721c6d96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49