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 O7vl$ ]/ ComponentDependencies:threads=4elapsed=52.242cpu=168.432gc=9.6287zXZִF! (/]ŗXiɟ7KIxjbk- Ŗ#}xPWreiUo-@!va0_PA-uTu)I4bm+7hclUCܓWԀ:vlU0cYd`}4.B1m$#]I`b˭X!򙟺 z/2\,\o3֓u4 Uv'JE}Y5JHiWXA>X7kɿ8[ S?Ѯ3f!saq⎐@UR!Q&F[_?@=~ِ;um_R~~ZCcvU7^'63;p:EuKQb0)k璴45jP'3[I\@d b>pPmT0&4,U{pfQ;8Ghj uz={R.+֞umY. WU6 +jǝi[!aD+ew:f4!kb֮/! z,Xq6_ L<*k_K3ȹo͡ t΅Xͤ8:k;r2We ;$qyF*&caPK2Wx F)s) 4"3BwC$ "AN?|rOY-z*9[xdؗshOLY!, 8qiPLIgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B&8UF|wzQg穘*& wĭPb]oI~ĵ\mCώ'3^7\_Z""gYZ7zXZִF! A>]ŗXi%B }dҰwkpfLy<)xSEag'y\E(nSkzF"+0dZM.cDð 3ct=|~{$,VFou̔K۪-q\Q_oSf|XsN{Ykq?`uT/i1ږ\6a !qcy8Ē"1=>BK^;R~kguMQlB3F8&hE%ӜS>.ѓ+#ǡ4'o@}p>ڹp7 mśhKy0Za}1HXz@ PlVPȒl^uӝ9#O-ɝo`N @H9N|JcrLp$pud w/dy.2#;F[2II%_ -1vemywm2]XosVoX̥m'z8v [ei=L̖};qS9ܮK+ 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*-3YLakt Z=v|\Рڙ>k~2·:RlR; ⟼gF"h\."ȎӵG>?\~ÐAsw^o H "6_)a'v D'QA>/\FUEeҘ, J.q :P#.%-׿Y׹æstl:i gF5 f~$ ?=L}w.gPDjx"'ꁃJXUYZ%p *O*QXjf_ O*s߿ :L/}JG|L 霷#{Ъ:`P<~ 332d2m['g Q$&L9c3ԏߏ*mr("[h|8}O_7O 90?nX\KZ hSmk{a) n1&+quȞN e oSi<CwʬV|AXpz*`kӲ:x?w;k6z֋Jd-a2[FJq;>Uk{ZD#j|-- 0O]/ym@^jʤWA)$h-u~:0K7~ Ќko|׋}I]Y|$=|vg2DK l|~݃ƄFd&|M(ڠnxsLnv>@4^jkhĄ^{gk F 6?Ȳ|dP1_/wMY`{__wgQX̆Tx<1281 Rٽ}blXAn 檛o7H0o9 ;eQƳW S+iMq=klG2Q<+5Z#B]oE& c#iћl4w}?XÈ Ab \rOB7rQ2W1p1"rwN\~M=EY۹}`sbXP6v$3 Ƀ0S]hF cbɸ^T)̡̽Q F9Vs)~G#(uR8u}P~`pRerΤTwpB.n7f,̟woH̙ }!_̐e[ xXr_qR0}/L]`(}"m~g`mY @y~)g1t 3lT9}_| \m-y ֆ g¥"TG" ;Bk9y6hj D )kQ?+*C|ۆ&Z٩& je2˺вԬ eZM%IG<RʚGdS|eî r*3КEle$X90hDUB!12l18ThR.':옼*Nj#x^)'$!6z?'T޹ZG.Oyb6y >6$)/znhAe} Jk/g7FLht.^3n]^E3ܱ~S=(-Zca폃t5ڐ 9ǦLNxJͭ0pKnm\$S4`/3gQbe>Ǡ Y|cv"[dҀZ oј^M}07 #ů_']L7:Hn5x`uXf8WD_sڮa2|&C_.}[V@Tҡg6 9 62cG &a^hZ% LEN&"5yFZ 7`HP_UqŴp atڻls9|S].U{E L垍c(r fu׊SW7cٝLk l~'*,8z+Y=4겳KӴϱU[6-6=hUx44J_m8˸f;O>d.X>b[ƒ7wXMGVIKs\Y&DnSiOGZ3rYQ^ gW8`M+Bir՜Qچl3,嶦Lbo~QE̊kKcͼst0B¿Σf|sC䤡&Yo#1+0Hd~rd9.V-zC&2~oM8TY/A:2]qW,D91 vġ[b[p=xǼCܮImC8bN .^,3 !tGh UMBˆݐi Q?2($}+(-hOo0" l7 )aUDr?̸\b u^^v_l^6[.,#ʬQzҍ|'J0(tu!A>;KirY}K?]N|]fL,T:ΡlNNn%R`u rZr=NDI:Bc_F$iI~hp'wKXYGw4%j\bJ$jo}G~zNcQ`S  ȽWMMi L5ax EbL"Fzl=FR&.0UyL f&w  ЊTN76 EqXЖ]`(˖wck5%<P.)3U*&̔} sKxFQ [?4/Kr˱9 U6PF!x0FNF_殫=^4k5TKZy@aĠ|/1X\x,NjT^nO+DUvSXY B NG)#@7̗fr%**ۃ5ДgYZ9a7a3c1641fbfe7f3accf63d0c6b51ae7c603429e4d79c85096733a9749503fded0b49c9d45651d8 236eea99afb1a34d6a727b632510aac96f68951c