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 MM0)ttL ]I Floyd_Warshall:threads=4elapsed=13.516cpu=46.964gc=0.9807zXZִF! ]ŗXiɟO}M:; At ;.«Po,W.XL`Ga7yNymwN 5<ىCW.%=+{ J7 F@ػ^0qEXlW:6(mD/6fmM-! Z@TI2SNb%q-|=S!ExEV<{0uXY*7SY*re6PflSHkAD18L{(J*mʴlLgF 4x̞gZg N1gYZ7zXZִF! ]ŗXiɟ$OLO+&%ZĆ.Gf?ܐi;٪j~`~@AL Now=+EZZr1~!֗əٌ)է){''zw!IgYZ7zXZִF! d]ŗXi%D4mr4*`]o=}#Uݰԭ* .$v?{ZPx]RlӉ}.>R8/P/k8pރ^u4}K0hFd9KQ鄑%j WKWlks7^>nG#=?#!}}>GrrOϏQ7oσ4 Dc#:bVmt*)Ms7LΉta1QcA{$ Oq>jN9Wz&958ω.k&L.SM>I>E/聰`9G$;3U ɱYq!xբS.,G4KHEH*!Dۯe+*.%#YKt2.y( 췼#"$sSKrL5Ο&S*7RF+߶BIXKA:i蝐jӫ YMϺc]wʝ)\1]R!G11&c(IWս(KDj\ɶ3@'Ϝi|Ʀ]wŅV޵=m %*sy5G U8oODyeZfto^"3T:CU}jZP-%=> dQ<$bAUj[^**;0F vR](pE ugNq<{84FW_iJ,͚!~X: HJTMd6/e9c275cD /Wxє^[|/ڮ ˢr!-Cg5& k N!s(C[OHEQ~wi7PzE dQ6Wk=nC߷g "*y%j]ګEwh%Lv:䔋i(EvW(*܆uFWpWh~x ?m7ϡ5#)EMm0\p `OSv:ygHDKc{VmaKunŒNԨEZf?xĐH Y9XH-a3 ]*E01o~HBPē~'^՘a#EEIzxXM7NmnG- b~Q>!g%AG~5$̟*g + z VChJco8eSDּ:N[4WS%2:S{t䕠9S\ޤƬk݁~{XOn s }s]3b߹Վ|g%v†-b>l Tx|6c@-iRBc0]d*A!I~!*-[^ǐ asSeBH;@vPSޏn\LkD[ASu25PH*hɾApgբ=B7B!CPCQaDd4Hh>ј~9† :+j5=4zDji~T0ֳ'=w,W܂B2"Gwn+BhC5vhC9?h))X|"^_w=bO_3PkSa4~WY#'IStqs[hX| &Yn/ &ZЁ` 丙XDyp+Pc>owOI L stQ3g;_PLP1;/Q_WA|B@f0͆+Z_֥~#HۊtK[hXAJ#[¡G L:2aregm')ׂn?7$#)O3ʿ)l/a;S8 9qVoBIG&&RIu'qG/ ̗]NJEwIt(_6}yG%)6%F0)9% $̵")U% DFloyd_WarshallFloyd_Warshall.Recursion_Combinatorsdocument.tex7zXZִF! VA]A-MՋhvG"uIBm5#.#?໿zb 6 NLR$â?ک1etW QoD3巰zM4CN us+{L>x=O.W zwPG+ׯ sg>*sߒp۽zeV+HDQ57 p6?ی뒩hGv/nYVD1֝s FB.*eeKCijdt!Yur5cU7FoUmlD϶G pbz/[\i.q(E=G,HaoVSKE\h; zH꺿M(7pitXND]¢Gfz`+2"߷ t:RT6WZJnqah[ -9R+ۏQH)|r,&`g0xu=(-5hJ~;K8Ka~X-(KzSȋ\*r:IpB~-܀a$֣ʳ'95NϚVB#aS4φ)o,CQ_`J7~Nva$# Ix*P;lR.KǫOkeO5|ݘA#j K_XOhLSO\k=3i16ۙh~_rUIZ3[a96px^F=~pYDbR~5\siQo鏶yo `RuTA$z>jZ YKi>Qc`VE$?|Q|WUD^ٽQb J"1J% x?YicBz^d9EJ b3)%!J+'[v=8GAyt1u'$`襛:?@IԴ _QX{.gb]8f`IlA@ ^ }\?"]Z{BI)]dKXMuio%d]0Ry)trH3m:Hge( m,B:`MA~z(+S]hf0i8DuEruߦsoE/Y;]3#w” 1ۯO'%0DsϺH}@QPrO4fSC'DJ? ގxgk u &Tv-Gǜ@2 an049E.O,rXхVY`涷K 6brBɲDG>8$_$iJD$|د+1m=}8 #L[Tخ])3f8odIpgXFv 5W+o'bX:JNiql^MsU&?i/u^&΅ҋU:2nZ)4ֶp$UnqѲ3T; mv\y<TVBF&,eBQ,ɶ ~Li]{U{P=uN,&D!඼يN{ cJz_pA鉓Z6"V*Nj ,eg-w簹ЅjTk5Mxh]$K]Ok;'GE3-Ά#*)vH]EpB,qL9Z$n84X¬zgYZ GG=)G%Floyd_WarshallFloyd_Warshall.Floyd_Warshalldocument.tex6)9%Floyd_WarshallFloyd_Warshall.FW_Codedocument.texC)U% Floyd_WarshallFloyd_Warshall.Recursion_Combinatorsdocument.texN<:llm2n 3dh% W}no b"ZqfYNlt/.|Sk7g eߍ5fqswVxWb2p.]f%\FA"Lc_˜%5em ˟*Ȼw9ø5DQjMY$z.F*\nI2vWqO΅#:EǥvNGaW(/^7b-QTg[Mp+Ԯ)/uvHg'W^d.o~<&OC)@=zMT Jg(תk֫OCf,n>K ]a ^R=<'n|ha&U3Ua1nhNvuC4._Dxqe'/e(vaH=M""}fqt @G0H_0вELIȒ1 aM}! \I-ׄm (|{_xh=3;gS(á[DR@ xGqдɕ'c3.MֱB>G?ȉ{y5&:烁WՏˇ$Dv{vK=4O=NfNUs?*N(WmsT!Ŋjn 5Wv$Ե9+kT4&PW#<dry}5gɭQs li؛cpAez BO6ɎPWtrZ3gJ('MzO[ ;^e(&%cx!b •K+m̩g]RZ+B}U9ft>~/N10,&xY@kC뤌S@2˔=qEo1 ̓D_&m~!kƍTb@%|pmHpbwYHYXyj,^= GU"+ŗ@<xnŐpHoHwjftDX*엓\m])+`x:.$pfwFfTiv [DZ4$6GKxHnƎK[)PPH߆qb`DVQ$)vk #5@t<[3[kmYRFyG1=0Un#aK@&2)L~ xsw&zo5mB2$<`j~}fNmшt% T IƢJ$7oߐCKBnmON 0꿲4zW\j62 :4Sl c#,eUN{=j>Ćw= yHmïsIG/ m]ǃQݡ(Sީ`M>v'!xw<APW@v:^odX$>Y8ُx;vm%v)jU\ަNh_ wO]0e1GRjga-ܣR33S*&/}"kskb>eQ/KOokID:- i0iE )' BK9XG>lNE*a!?N%b@hO?)n а:_*\*5.+HT IH';RQ["4J'̵06DiG҈d=̿MFo ,/iόbB"D53 [zOwmE}4;3i|] msuS>RDbU-o߫< PGwVr LRGßM>6MQqW.V6qOBbn'Rx*ǭ׫OtN"!-s7TE>WFɛ2HiZf.$Gz,eڻ1 &ޅ~1Nz4MKZC?ebgVMxt@CҠ{5 T x(ru6<0`\  qiHVM=Iov|>(.*5i57]b(ù967`u"/g5Tx)5Nd4Z+5q{k1OL )X>'K,iu2=Ntb?%bUM5b(.$_w[ej].FT^J%'4zNJE$e|.\lxE-i$pN.dQk T5 {ʯsE=tm>.S+EV;zȩO M!ҫ=$:!W ++XwXqi_75N|GPO؋޾v׭Sӥ2,5#o𱽀to| es [r7Nғp: y%Co-eЌL[/œ Ƿ\Yqt=F@O*84~\, jJgwdXlϘx! >R'Y;$`K3_ks Ƈce\S:@>pB>9@^+dn^:|_CZX-;!w.gYZmQ]ou|(@?80>rKi761]L{pZŌ?kJ#:>$&"?HkɆrP=-̢y*f^,lE > p)W2eibPT˘SHU}Ӹ,/%slgKCEWZC;GD ϒ jNٿa5u|:qxR%0L9c s] au>@ŵuaV ԋ!umrOo.LAr`+|ԍ:Kg$Y5/nzb; [ .XQ1YUvq,rR{' ܼ5% ~nKE'j{JB&`̛@5SGIUn8@H*PD'RHN,͏AmZ/7&4CݟC%ɍƪ{OHث SȪĚUdbd+K/Y29Nw4q2jxP{d39wgrEwu&Aj-Y%&!VRH'p &[NܺhU68z3/gsa̞Un RLc,%AJ ;j5 .|gɺ,;%ʅ1>5sX0;v:vIJ >A z!4kZ_vsMKkD_(Wzd^pk3QUJIDF@d+%DBr.&{7it( »! M)DB/D ԍ} е2@UAuz=N'~G7|+y.ùi~0k # hG?FUywe}-%2ְ-ʝzrxq6V U?BDP7z&3SMYbiN\@uAL]C[3͓:gC}5;$@sF DMM.t~@#nr8cH'ד8I8b҇k+q鮦"g ,Wʯ".-l D"eNe_7~-ܠ)RAd52¿$!¦8*-kyW?k"EVQ$d[y0,č.ŊysSxG%C3";@FZqH~W<`q?qe:GjzNmEnn Tޜ;dﳳlӫ:t>UCC3ٲ?bz _iY,-_jP6CƏzyrO]ێk}{Mah!$,p{W܊h1i6rY _,ȒMro)BI =UItGfH8iuF7&jpVց +s4]!(n1|m)ӻpD'Fvn>x C9Er#nUd8u@KLOZc IVTCO[Ągn㞸s8|fЖU99MA Q;bp7$>r>|E͘V=24m|[Ahs}=é0,//.uɿߪvpuqZsbmލ,)5"ۊVړ'P+O0rKB|BlrS[o#2~u5pf]l3Nd|6;C7Qx70<[g=\2BI,@++a(SFFf9Qa;%E^V*>9PY=*0!nګ7gLeN K(0ZlMK8'ht]~F"(/Izw^-ĸ4dmАdiP t7Y].ÓPAG~ڞdP*3h8Avl>OΎKbSBHukWr""~iݰWٛlGBhPU Ru-,bعU tFCF1ˊ >E,*oY R+ov58Ap ' Հkib\|ѝRuh ZztZݳ+X&{!'\J#3PcUg$j{Tl,U;":'(Rg*Oi<=+܂[RXtTZ7aj|N%D{Fd+ɔt7Ƶ' fsܢ>ѻDM9أJJ{*lܤY`=;{aCCX;An|LfG#KIe&#R5bPN& mN!Jz1?-A5bn%]GWËc^BY%сiAW%gXJjxUbWiL5Sg}1b*^I Ց7~Q 1ƃV>adE; pUbh@ EHJGΏrSj},IGl B_u3Ѩ+_J@:W0G>iI6cG=qN ⒅o;(S^_Ŵ\ȁgy|2PXI0h%㜄(Z,tLk;ݻui목FP1&qhV;qQAՎJr{h Nyo c>+Ə &{\]`59RՃm}w}=qïeC4h$D)1-/ kd| gk2w7Jgv~G(]&mˋk\ݕXwczpmEawVCϜBE>cYx ` i6B{=y`Ie h_q(FYG,Xg SrA!D˂ AUM%c)Gs2T$W(i  =dg2yLjI+81tÑvU .k9$\Ŷ<1NqwO0W`j%3=یP0b}i-W8U@m@ hooV"4~"2Y; ÿK, HgL>mR2=}%s'2~bMURtXnI ų1O_H"Pw 7( q sg N[7&^`!wW}٩3`ۭ+νkH̴B7oEUʽsuA><#QՄPcN?3v_Q*]Jty ^ ¼{&|S+ 7_|S2x˰_2&^q 4[̂Q_ {_&SJ)AK@-q +Id6ZΣN\c\}|ۥqYy[V2Kǚpˌ*΃L%F010Q $nAyj98Fj-LwgR<\ \; 07.7tYUUY?4i,˟E}/``mʓ*ߠhŸəUP^J`JPYk75,[xU{ lu{ڃWH.__I>b<`hC` P._ڴRk@`4_@0$:oGXdBh"D'oxIEY?&4UJD0eL9f KLX*h#-~HbuWi4@~7ؤcQrBhll1{U:?dovKG ]-,xI=^ܴT`ܾ7ij-r:XIӦwO S_[ ^VhgSj~ 檲nhUVtx 7ah!QӄiQ8m˱e3U5N#EY n; ~uFOG-{Ba)NEi;~Q/nB頍+>uqdLԖ_;\8x-) A{ȅ[}Be8WqM`WX+\bC-sdaFJ63pѵ&Z9di,Pe|_2V U(YOyf%ojr8!''a/Prv+SIM%Mmo`~+xZs,>a㲇C/֕-Bva.u?Y `{h!{H\&b&( //>nuc9Swgz+ jlpz~7oy ''+05vi~J <6c8ֻ|u*jQb:ty{X?}cs7qr\sQ}ߵU-J'$ PiѤ]4\.5`BA6 F^|ɇE^y $ѷT+.\xPʻjX4gqc@N9 |7' K\K.s5IvvƃUnNu {*hguSr+Xd*#NX'\rd3+~X6 x6>uыYG$ 8’U+6 :&pX,㯌RO8:p.O*՚N#(6{mhU"l>{0-+8uI'"0ת@^/bBOr"Ӹ"x8,~ϜNK}wjaͳF>kZ({ǣ Owڙ!I[W1#[=CYf7o?^ѡgv;gF m ~ 0P_7!;#5Cghۯ)&\F1Nqꂅ-bb"O!yLG宧Mg&]jc.dQla)ΒP ה ?L*^먎#(%[玅8ɔNmR eL35ʖB{QPe#r+5p Ztj55Ǫh.^V CHA$ȶW>cX_x+"]5{ ZhrO( h֫&dNf> X"iZ\mwyn˛WQ<g 0(Z]ftrV^Wq]nzp?@ǁ-<{p,^h^,0q^RLa~\&Z~x#x Nod!1o_{V?ۡjl8\Gr,ڙs㞹׏mV8+2yNۿ#QfP`a LW1h4imKY/#< -g$2G'E0b6krE,SZ·X+jTJ0eMV6 `= Y. +0J"78if*F4Q1uoaMm, 9qgtbm1͵bG 3#k2k%A#zҴLMStkKc==,fҪ|)n(_vzYJR)GXpUfjX(Q;'gr(Q<6K~!BSȉ))eXVN-^0[Gq)Zk'!!(CɵfQU~{6x.6e[d" z2mhJ lR¾R@=Uwia8J7#Gep>*kؗlrf\w&Pzз U8h72Il!2I) ȥJ!HF.4&=Ƭl a1 6aDzkB;sLZchR@<:řSC۲*p!6ӧ_3 zDhiPMb;tO <~ʬN}k"(ȃn$MqKYzPK)S Se^&y5 &ȂP/Qq`O$Et=r2jކJth"%NUh/*=ɮΪe;HkZ##H|l۽/-O5y*rC_SicUM5$zG(n @"E2ʏ|G=61DzF8{fM4P,E-2Q.0%SkRʰ@kD~((cg . Bscnázs}VidBGOb}HNub.n`pMeHJL&뾀#gVT):Hn!xt%|3UyK|5N ݷ3N;p&5fɍѪ+P<iE YuBFU w?[P5&dBk`-$BBh_JGp@ohO.2$r|1u cdR 6hZka`xaOD<.SLInHsgܫJ.@R8h LjQ@h16IeVϿ݉믃Ou! &'>YţjcW?,惊v4U3wX$W43Miं*sf"|*xW,\65(WN]\TL MWnE$3xXM{Y<)NýivB_K}w"bE8TR5 `5wg`4E*%צr%-|,1Y ꂬ-sZ#ƑtP{8Wø134Fdq4 s(L~kzۮm[Q+ (@n#waZT`n8ڒ˳je,v&/A:` `a9^QG= Bn4g!Z/&YMX.HBN ̓ ?ߔJ~80-Yq,w.xG`s'd|LLhbyR΢Kà aQu¼Prwk!3ga:\ǵO Z0zül*w9 L )R7IސRv9nSD +3SsHC P/(O.Pڜ;+p['BDUNA9*ڲZzћ'VIi P6|Ne5ZBQHkPU l䊞Z`6T/&uݬ!.~FU TMH  Q&!qH?:ZՍdL̎Q'<;cܑḅ7⯀~U(~sT55 ae6?[ӒvvCDc( q\ʚܯ),^zZVE  J%w$p?Um\XV j/%6rBa '!8]'=U4b 0ǣעXSryu@#I ql|^S&|&Id)ŲϹ9||= X6@4S^)Oɞ67I@-Z6hdk ̣j47Av3g Sow|KD jvO>g l(f43$<`[.K]mVu flXiCZY>ؑ&.٠+P"Az&;^-IvOJfeldBGȞxrP(J8]b/׏QЀ+i,`jȹ65 mR%ӧ`[r(&ԢTbrR2r6ȋ_!]0AC5&6 Yy]yufɁkk]dT[%P>"8~2V@w !@;|@hզڜm--Wr`usbMdN bpAX2.ɽĞXE13Ҏ1#o4Hĕ7e V6gg)0O׹}_gؕl82M#fmT,kj0uӞ$ẏU}IU֭JwqNz 18pqN'r>^Zܢxg:'xC.ozCC)'PCzCp;qЇrDD ItR&Z;ҞL#fp y\T[zJuW+'ҳ;p{pF-"'Nm";~:!lB0N{cB O֚4ҳPxߊCsj`YIRPXIyxڭ;v@¤q盫7@sɴ(aX^w.#q}='1ĔC0ւx >]xv81ht 5} ψfl\!0 +ˋ2|!J'*?]1&q; q.N-dOC){JiԵ$qT~TC6ݍt,!/<>O,kPI~bQ7|7cplGBrA}[@E7 eXCPIF/9د ڀ33XI2^Uq˅xDglhMO`Q?VefCos r8alItRC5x_``H`(ά>THߤ +ڇDp RaJ(=$f깜9F仌a >і,o^j,ń*ݞkOPGr!^ !s6$H8Lh@ VF\Lj.mre6g4dŽ9]jM*~p4ZeODqO[OjiY{bq-^y2_^D~LTvbZçN,pnBy-S8-D*Z?.{槅(BQr#b;^Yņ/ϰU/O%0Lxm;q3x-[Bt{a6yo8 Fb|Pa'E_kr Pa'Cvdh;FU֦~4N*=|]q)Ȗk\˼uJM2\L̃7u`JO|93~1BG%ȇAL*mٻ p!3x8g3԰ШJpBy$*υ+XԂď7 brD̵ܤMЩCJlr(u5fyڐ$"~6MY->1ϦrpG8Qq+UX%m΋g5-7\"SsQ@]hzDpx-H9jB7)X7FIV aq)汣a|a:cWL2yrTw%Kt҄Ddžl/!E߂*Ađx^o$L󧥑,gzkٮ`&5GTJC/(`>_oEuV>oM?Sz`˰ dD`[`BEi*召jSQGI*:Zqsiw`Ic<ܾx!:g^A ]іvֺ>@rFT9/8-USy5``@'E\JLp.E=dE.Gvuo\> 9G-MLxy2l͐/< Af0yS5C==3\:d:༃1UQ@~ iZq|r1 ~Yp;1"Gؐސm Lo>> P*ԻX<\e[]!Il z2{uUlCr;!l ˠ4wtW80lNp;^ wbOǑ ҿ$N!n5%VUܴ+n0/rZ}<%do T,Mo0·"Dڤ3Z~M{eYPEχy->c%fT?@MʔPSE [ws0udH$ܻt <1w$#j@_3G Ș9Ag;*;([#]4ƒvU/ll v[oSee;B>duvBSJXfhWX 5"A is&r[1Ȃ\[`.!yf8!{ 8vS8CeUB U\΀܏ޚ[,-\$FHMlqx"jAgݕQnasw.c#:>_5l>݂sxp<#Wo#[0m~Y J 0\7iFx/oC ֖PizDf0"XJc̒@ epX&nKW&]/~No-'PLc<\h, _D|λxe".' M0zS\{8"{u ۡ0xd#%滰KbT0 qM w"nM8D.0AlJ!daM&ǀp.x mu%4J|ku"X8{r!Zv3=1=L2uW"}Iv=ٻ!fbH>hZ- rft$&LzWQEB^ɠl 'a| OB3?Ǟ0yIWDZog^Q=+>G— WRqG}f\J*=`/]א#43%wuY9S ʳH֝k?<Ǣp8OQ`S|9ٱZ{^DI8Sz1}I.Q)f1KEUv2zwMb?.LiB)&%ɚZM~@ĮM|SDQgҭ*L/?nsgA# jW!z[ 9 Jt-?ES뉉4h9UOmWH',u;J/IdԚNB!qG{`m՟)eD r c>M%Yy"Ŋ@"Ա.PTR1E34fG)ڸ|7I8&Ma(!#tOػ))F᜙ոK=NzY}apGe.5n%p)#[IvKs ͯUZNȟ6tZKV,dUr}M /6UPŰUpnp7`e>}R)u N![i0j>rΚH5naKouオq6AyNf9)n,h]omUZ"50CaHrfb )܊Co1ruFu\n_lVPpMeSVc:-&AI#!U&% h? $̇Z]Jm |fE87EzuflY{'pcGΏ_ŪT֝; $P]-QFZA#b(n $$xA\F}SzB?- J\_L#OEؤvoY2!7!GKN& }c QlSkQ,`^Q8?_T#l 3JV[spyEE<3ÖiLi&3+Lզ;/*'M$c1q tB`Ǘd[14A}o1#mhjS{Qwa]^t/K_}k l k2'yXu*qgG ]Gn< tO0[f~zKIGBnF>g0.mbs z0dxcpjO%8}zBhb^pnQ `Y'oYK!8Hfڂ\/1pw2V!RyA)ӗW8ŮFA[ \"VTU|XjOgFf aXI' U1^Gkr#Wl *` vl%B|>F`Vs2. ;=bD9= Nl&|?V٣x~hwAȵ\ҹmOJ.u&#]h\IhwsLP|a̱ za*]x bf/E2]n@K3xW9CgfD mWwUFnofd ԟrn V[DmG1ِ Qme7ݓtieDP=uc)I g~u/ntB*%!ؙo`q9΃ U=`gNp=9/jN"h(耙o(8aܖ0 '0bJ݊t2neSJ2<@h]s6rI5(PI׿ j(pCr{y;%Vrb0&dsJڳ;QJ4yLRhGPUg *TO!WL]Dln \~.kWd`V8}Q^FG)4kZ@xMӴcm]^;S*t%F%)+~>;e>;2کMW9;VR>Yzejs45S)0n ۧ,ꌵ.Μ/4 is3l,?> @r²:x Ԅ6'+E5$^3=2(W5*Ζ՟9fU:AN@A ;Xl-"MJ>筀Q17ʒ;p4$' )As̮YȠMrѯH7JDsrQ=ъ!mtU@&0[ tjPi6:ؖCO;TEu۪I T*` .!K/Q:VmcHfD7i?yac,~&6rBx@e?-ҦuMz!v <^FO2<(B((0爬DTeI}EѧHL,S$}[ѱXi^y<ӟ0MUE7QuV|OkL!BW<:$錉e1;tMF>U˨ߧ.̨]'ǢxE69XWPIH0 lmG ^o?4VήlȄŝ7Mj,N$IZ+Y.gՀ2(]9dVD1Ud:l;-l}-\Ut)t Ɍ属 Ҭ{u¬"iOߤϕ3L"yc5bȩ=2 RȺ=o+g>-S!>3"FZk*h$&$b,Pelj˂%D@PXC?|0 pC@ZG2D!'FPO#v ԦP6TLrU&6UL*"7Y#jyQrH}Ҵfz=8k[I -q]Q-AD.JPn,AX_^h& 1dNxπlkwQBWO7l Y(J{]ӳDiwC}FGʃkJm+(u>tX wHϽ(>{7Sw18u vٲ6a";Agk.@5Xn~{l=5f0{w60HLBY٭p- A3<˻Ҫ'" YWB寢Lj2E#p|nYCZnU[ed}#%}5GgrZCW@.4@K,/il劔K-nVڲȇKVr3e`%ˍ}@8[y)0nKs,wݦ,0b&tCQ+-ՏR\J26[p/" rϵ(몤u fI9~'gKU`ڂycԺO^,m%VN *1JҴk)O^(@ kE*p4T/ҩsLPKX1ATWU w k~+ zX _ *F]w :G7ߋGA-GD}@lU-g T- w[n;<:8j OW!C}`Eo8,i:*jQtXVOۊT m]a*ef})#жh:e!d5g\Hoc[چ*q,Hd=SAУcNkM~Q`#zMb ڋZ:QT<]v9=zuckq p>uECx@Snf 8 %D-y ys;Wi6&f4r=.j\O:#[ sUoPj=V)Nح9<@)a? ^wI] 6%MB@uM-E@Jʺ=2uq dtIm`#̦8 ~!JPjԴۃ;Vz"r\_kJ%λT4) rO JoqkAv` ,/QkbX |⃼ lҶ sⳬ v} JTifL( *AS7SAZfGl.|AQH̦QR5"i6ށs'̓2\a$D\HUb۶-~|E$qE+oc=h !YMP22mjZɫJSÀ3lra?~nKfp^42{Ha]Qw4C GCsuym#Vip^+YtHoۓST!.Xɕ}{ d48iPc8hF:xM;-DO6>D҂=Cu?Ƅ~l| V?]"E7] 'T.Wa YÚכS54L A1#5<A|$jn)HA=ʆ'q$lfg${ xfe~»;8In+5*ѱ\N&-ľڻ8̬7K̄f>v["8_#`¥e)ddWkYWxCBǔ6ɵbEDv?@MWٰp9.1@| _\ ]b""< ,ĴY`!嫋Zu00nׯ'~3>iJ#SIaD^?С^yLQ=@TܵMVEt׆$fԴ̽&1ImoDPorئBWdc2C,S_8"O[*~B$EE:jpAt^ȥzXQ-ct~էS;:B]3Aeq9~( #6P/W͙Lγ{ hiWuvU)&%8;4(SI`{eM@5=2q؁"԰BJPBO= Yrεf*5q?H:zUևK[5v[Qc27y\Yq. K,\0YxB[e4?FDǥ앳= t f1yW"&E]ZE%G˅[.\"/k%TYPӁÂ4!Uw^4 )ʬQMޘU])3ՂJRve`\/yn>qJLԢ|\t<"@R N]ăB%RykzR^Wyr.g$X3;TsD#0/%͛D̐N~w:8%6Xd%heiܒD["/*?)y@~\E4O)Q H9zxeҹhyO s#c)z5(U;܌ǵD|d#nֳmZibG=4$ D?`5oq\-Q8iwUj~IE5-V^Qf[E6ңdyG`*xp[?f%`镾>}tƥJn-d2Cd ?cKG`-R؂8ˣ'6Q8O9d v+YN^הQ ;>.ƫA/{>Q6X]4R$nUz#:>fcVJքNMDpŏ}l. Ng5$|[٣K!>[f 5n;"oJt85_wU|oxP = X40^\ %Ȣ.gyvG uy(2N×& JL#i)|LL))I-l;;_F bcJJ VX"*czhfu^:~ oS8SKbkj/ռMZމa`שꌦ;s$0#҄M0O8}B X,~P)J_:TcfUgkyI{he/ϥSic^ qXR`Y9J,CBy2{~zz6yZ$Tuf3CQ*FFj'ӟ$f5&z/҉8< /@ֳ`Vh,N/Qׄ$^7?OIO1g;h3$abe%cNfW*L3h Cq hn[5OŸ?#,1GBR>d IZZnp6AQ.`E5UT}Yjogd4BgUR}G"23|~?Z9ƲZF.ǫ?"90s.&8q'cT?ﱵPj"ԭ`]ϕ"h~I c/ ")iYCYPk[UVC6P=)E4 zpC1>p,VbHxS9 -~GQk0G#?}͟ sL31fa'Z5w^WJU+Fa u;T di:^5Us)e2S-Rbܜx\bl>v88ZvSI+=@e2V cBQ褟'ieB#:2BP&X-e gTw1P>57_mK]s./Α ,; > B4}VNBd0_z>oq> #gSE| =Ecm~Ӧ~zƺ:߷c`D{-T՜37h7s勋2DΕBΡ+9x!%J_`l\o /͞ZPHT_"%VJ6hOޒmܧMjG}ٻ醺JjK4ߊ]j?BE6(P):'(qE״74ےj55Y]27S)h(3o8TbAXU ET+87S |݊`-A`VR:vdpɃni***'A鎧B.!A}0G0V =TqB:-8f7@.yؽtL]Lsa+[%Ϡms(AZҧ3]G.W:1j95\n+8\4AҘC_~VZK{{d@Ot rK6>b"d 8o )wS :)tqGa@w)Z$%h6o5hBhէ"׎=ZKYd-[񢘂YFcOHșOOxznL[v@$3+WU(\dBV7'A+i #C(MR"eE֨.nyi;NPwrpHSò/$Z~~o:'T*cZ쪤3c^9ޓN nJ:~J?ג/ّMN]F\̐AImkԷkϝ%X:3⩥e(t`D/ȥi3)k[/=ГD#mXӠF:l-ycfq