SQLite format 3@ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  +t y1-`b'*~g'_ +1婵gZ%zSM+-6p^x:V_J ůbzSJ`%(a(2zYAiUd~&?ާ2$A|F5(2yUWh@1H.cny6~9wk䫛0 2g@-)?.)kv,kȢ {ALT2˨IKDxAhUDp&A^k({ 9~v8t'~^P9"g,搌d0%dB]s?^+e&;1rmh ߼uc` Pj + Quick_Sort_Costx +WQ tQuick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument/Randomised_Quick_Sort.tex7zXZִF! Z5]A-MՋhvG"uIBm5־Si.oP}P-iEc(bM5"8|>~SA&;UO+U 5JKEKB\B'|3bhkrv.Hc5 Yi Zn!r<%#/Wwb^K:1Ҫ{s- J/n; sp L43F'GCXõ]߮*5!,*-V[Z]:zt첸i^QѢI7ǏADy j8?7D@R܉@G{@D8Mvνϧ/;,ނ~uh8Fv7\t`d(`{"tk4PÐh6WjABA~9}y""\o\-25$~f?J8!RӸ(g{$zEX7*MLKwM):K׳%%8g!L[EiX᪬YNaa.q{Ώ,$xބDh!N?:\QKto:X?P!& 4GMa >3 tbS|Ò;ۛ&\XҞ%J=x>#1EZ!#9؞d#ʻo[ρtF:%/ih>ʳZ.QՍZbZ&icu#":3w[C4lqVGbXa:569Kmϥ@)ב ~g tTKE11'%I@8!WjUp4vQ8>On L.$ձϒ94xqW`>N|LK ne t'x=519M{X8WѪC"҈|=yi헭DZJp&9{)y k$1 O;òzCN wBv0āTl|KgT'i"+ca?$)u-p䗒dwR4L_5 BMñsvp$y{q@Zf6V .n<Th Q]b[mySh^)I]%JdҀa*[T,TVo+7yEŸBN X9p~}@V3D<㵙fXVfgHVQw4qMb_|z(}6]γkI*>K {?0$v ,[dr~b÷̗Qs h>?&ok42J;6ܗ`յ!;p(hVLo֩" N:Q8LbF(! xX)UZ$RC1)b[8RnV~ gqerY$ M"!9Վ /]DVK{$L@ʻ>-xL-Q0[-%6RdG~X$x9CH\Ay4@nwJʻ+ޑCӛ̎B*fTE,(п2X"N*By^_GTu^UN9e k-jo|ek:ϭ+S&gR+swcp~%U9ϕN0  d'ƹoSu`)/?CӘl9@co|Ws6(v\$zd'/`q*_3r|_4>V>KjWU9#E@~/N" b;<ϩvhF8Cdo'gvJXX 䚤ig >UqHc)z QcN#19# D/ !W"gqh*_u4܋+ͥĝ~d8ʈ{^.辆H) ЀR[1pG I=4BɃ @0l>:r/w,? U{,.`u-8R Tcϭm,'Q! u-'?X 9۴F^ExV,nVU l` |nlFd]p\C@])yQZ.XKI(ܰة1TDIVk`Vlmc 1j:CpH n*U-(!d틛B8įɀ4!@.zsR̘hFܬ3|9!Hưr4iJK7ʚR6ᆦ!ը# HD'g3 0 ]o<p ;5*T#E,Pl\a[{3\Z84^VIs(0ߘo6ы+b}Εg9Ry=ؑ8ʨF:/%DliҾݺ#DJEiF8_f6ÝZ Sp 0|vp2pS\LAj kұrܠ#ߋT? LGewЂ=϶6\8 ֶ,deKHL|$SUҧ8"ثxkaQ=/@нcM˜& ~~rvhG7~V%-܂`xlYEg=zo*[Ʀ !Me Ǿƍ^ |,+x1Z"pW=e.jW6~XJgM:d =f](zɊ 4V>5y-T!}er s )^rXn܉s~X 'Sf\E!ÖTx>Grt2n-m*])G&C!:93-,%   3> HZ E  o X $ K  JB H  d>V<AI+['Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_CasePIDE/messages3G+[#Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_CasePIDE/markup2F+[!Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_CasePIDE/files1L+[-Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_CasePIDE/document_id07+7'Quick_Sort_CostList-Index.List_IndexPIDE/messages/5+7#Quick_Sort_CostList-Index.List_IndexPIDE/markup.4+7!Quick_Sort_CostList-Index.List_IndexPIDE/files-:+7-Quick_Sort_CostList-Index.List_IndexPIDE/document_id,E+S'Quick_Sort_CostLandau_Symbols.Landau_Real_ProductsPIDE/messages+C+S#Quick_Sort_CostLandau_Symbols.Landau_Real_ProductsPIDE/markup*B+S!Quick_Sort_CostLandau_Symbols.Landau_Real_ProductsPIDE/files)H+S-Quick_Sort_CostLandau_Symbols.Landau_Real_ProductsPIDE/document_id(<+A'Quick_Sort_CostHOL-Library.Landau_SymbolsPIDE/messages':+A#Quick_Sort_CostHOL-Library.Landau_SymbolsPIDE/markup&9+A!Quick_Sort_CostHOL-Library.Landau_SymbolsPIDE/files%?+A-Quick_Sort_CostHOL-Library.Landau_SymbolsPIDE/document_id$<+A'Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/messages#:+A#Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/markup"9+A!Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/files!?+A-Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/document_id G+W'Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/messagesE+W#Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/markupD+W!Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/filesJ+W-Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/document_idP+i'Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/messagesN+i#Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/markupM+i!Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/filesS+i-Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/document_id;+?'Quick_Sort_CostLandau_Symbols.Group_SortPIDE/messages9+?#Quick_Sort_CostLandau_Symbols.Group_SortPIDE/markup8+?!Quick_Sort_CostLandau_Symbols.Group_SortPIDE/files>+?-Quick_Sort_CostLandau_Symbols.Group_SortPIDE/document_id?+G'Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/messages=+G#Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/markup<+G!Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/filesB+G-Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/document_id@+I'Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/messages>+I#Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/markup?+I%Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/markup1 =+I!Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/files C+I-Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/document_id Y+SOQuick_Sort_CostLandau_Symbols.Landau_Real_Productsdocument/Landau_Real_Products.tex J+ACQuick_Sort_CostHOL-Library.Landau_Symbolsdocument/Landau_Symbols.tex P+GIQuick_Sort_CostHOL-Library.Function_Algebrasdocument/Function_Algebras.texO+IEQuick_Sort_CostLandau_Symbols.Landau_Simprocsdocument/Landau_Simprocs.texE+?;Quick_Sort_CostLandau_Symbols.Group_Sortdocument/Group_Sort.tex`+[UQuick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_Casedocument/Quick_Sort_Average_Case.texG+A=Quick_Sort_CostLandau_Symbols.Landau_Moredocument/Landau_More.texA+7;Quick_Sort_CostList-Index.List_Indexdocument/List_Index.tex\+WQQuick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument/Randomised_Quick_Sort.texa+iK Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_Relationsdocument/Linorder_Relations.tex  s +]TQuick_Sort_Costoutline15152136c751f5e7a4f7ce625ed0883fbb5959b77zXZִF! L!]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/~ +]\(Quick_Sort_Costdocument944e453002fdc72e386c36621ba0f232f6162fdd7zXZִF!  ]* 'de )愸[B"چks&fD뛽][l9$Ct 8<>#LI!RGУg6 uF(3`jb$Aj PbK^/3{Ϊ9ǞcD7?L~5R00Ϲ{2`DP^d:?y␷e܆\P;buK5.efmރQ"^wќ綠%pjq A`xgK OŸx u5uݨ:!JCAեöbcV~N"`qξG(r`e|KC(?Gl.P~/ŬY֟ڛߟ$Kٓ VG\%y6® ^eܣaw$_64Dp2(}*,za:`LƒFó(0lLyi*SZ8٭O9iGRO/QMtCpD,~^tb>mBI-8e*7YWV_1an6L+ u%-()r_+VZ2vGXoB^!qZ#XuFY{^_y~ Q_!jq۷+$S0, -xVڝaBmYZjpXKqae>r_Ǧ)#lbQ.sxr 4Rp ?%=ףѬ3nyYC#pp찱 тu{`ENr_Vl7(c)Y]٦+1}}/-}08#! rQ 󔁘za_{8(E |n縊Ōδ$]UZ~FXݬW}=׬B(ݹTKVۢRkkݙL)HjvPmF;xZ;3F iy\4bl!>ס'7b{h%W]ruL:n2@.7L3dp&khoKF+A_DH/ m`+꫋>=y +Quick_Sort_Costoutline+ Quick_Sort_Costdocument $PK6 *ґ>"E'˄ݚ/jO@[:@aG?hE/ee(˶yBiLx3m $Ygg*wCfqrFǀ`柘b^z߲°&%P)j@+0 ,SEh" ~\]<24 5&8gZļV,#˖Υ67dxz ^`gjk{ C*įkk;#k=RHvXzzX6O!, 4 gn:yHͭY/ eHHas,qjңHH ,{`Gkw9=W4^3v5pZŪMMtAc=a% \>1\d0I1n캟_EC=T8 mô%M/϶e(KT uN%dkRt8VQ:4rݡX@6IvTZύwx#~jFe,2T|UC$q(fZOBfՈ5/ ?U}K'ECw /E}'a uvuD`\f&\`CڲQWj)7zoȉ^?rDÒ|k/'>Ft T1;E".E396 j#V*)A _\FAA0(m ]e$99 gR_MsgX)򮏐/?Vv+鵿[ZO]Mqg;Jm*n$?ݤhF}%@)ӷrakcw%\UO3Ź &JtjG0Ԗ# ł'Ν@ī!kw7WjiRmJ; ;yB( r)NŢFe@'1a!Z , -h=-8xidp&]moYo˒;чΠ<&d; WkZ<@(4u/mLtƬkz$3fqFnpEu$<^%}d}B >rx@iCmH>o;r'TU\~)ybs2ҥk][8Yadc]8&o}K<<3`;q3=&F~a-ͺߪx@N8\;T5#ڮ),ne)'z%XۀҲHdG~(0ow7TdDm"ݞbUo ;Br;b) 0`BZ ߼y9 hF-xitlsw'AS13e! Xoޡ*eyl7Y{YuQ+UEO#աFNLY_4G"*7xc~Ӄ1U/$0͡cJP7 o;-*Ge 2p9b3ۡyx3΋Q$=!ޠGf!E=n2D%tSO\VC;˷K݄Қnte7gx.>Yn}\98՜r-紞9@0erLu={ wkdB@z1ݢ5̏;7AӀj x &T,6Dqy{Wp$~zxx-Wf`MA\T$rc:ԉ,E %0|B0%PuvӀ nTz+v[CK"op5:U2m.B7؇ }ÁҿuOToJ!dW!ʽ 7iq&i]?ziSu 6fTjH558=o##/k|CҲuBWpZzj͒ ս>± Q<%緗(e5fF0dzۭ}Z+=pe89"^2@hh%Ad39ЎQlcK_O[ЛsÆĠ2k]R^ԥ};w)}gHg/Q.HH7΢X \% ty|1J[ S#~4~gT dWJQDVRvDaΝ)(U.7FDK=0{ 7k1mj"̒1̿|ۈ!Soإh:Ua1[UALBΞEvI`lK$fP]IwE:e/ :*cw/_*yKX"(Dw:Iֈ㷺Z,lO#(/4i\AE\4@EMF!0 񉅻Xkg  {քynQ'DںǶd#>*@ǠysK~i֐$&XތHf %䣃<qZ\@^dK,>\e|*/s0,eW;+p m8k<ߗFV$! 7&8+/h9tUK;HEàd\:K*\O2aJl6F1G "ဴھ&ѝo( ťtX 9͎dŮ}[~z Ԝ<'XdD;O.vUB$6~!«WVf4gj~\bW"dArbE"CKz/W6FE)=Gj%ߡX7=T[~>#>:1H BBe]S.8Q:77 X {^A׉b=zaA4wWo=WN.n*OxPflj Rj%E슳Qǣ^?g) =`i bi~v2s&s'E銺X$+D7ms^FoWVқPXCK0npT(;I%ܙw|F'.H9u.Pm)Xe)#:V +HhH~Ů`*x-m˥֣OĒJfX =ry 3h(alUgh ]qUG=,i>ynj_]Kai2\ [63,q]L(=-s{KvcbݕȒt j|}cyW~䝟pO;E>i~:dW=O}#N&70luīF˿qm,eЋ;?F܄]kK*w'G&ʲ8T/G{.ލDT^)2l9jLDQ@e{\L h]'Yk%4QbU&ؗ{̜I"C F԰£ 3 wZX4CֹQ?M'B`(TE\u,U2Wh Aj +p.՘Gx"~T\/!pZ1Ve%9Z?<`,\9Z9Њ~x$fuj AG5RQts>P酭6Ǐs&'ZGG(= hM4-fn3CueU)jDI~n G w]D@j {W+g+*(uS''dnnwdR\e~iu26L9ٌjRqC 2n/6c]5WZp[JY{QdmLv$PaLѲ@:w4@Ϫ Ecl4?d"6wsy5G8&"+!U^X>/v]P[ Ў!728i.JaTXVߐ R<(K {lglQEtcfa9c7-/V))B~JX "Mu54]3Gؓ"FC颊+ zc'gwZ BӬ-\_-fGOa3i9E*O-U#?]aEV*R 3-j<CPvq4Ctxw5=B\}R(CO1juE+Zz ɢ-l^]蠀@ObX>MFIb7~"v0-z)"VSCc/zN޲.~ LPB޾MQe2Thަc\tP{2RVfDV,q 4_DzhŅW] `ghXǡ`ȃtW'I},6[O3!-x_L9ᷭM{z{?%GiCPrZ2…Gj͗ fPq]g6·^:06Y* S,.kacew !B"T XOPP $@ UU2(hHAk4yD.Ӓul)IWY oxm։GWo6/0ԛem0>~FR&2gBP8Xۨ:*Z dyJ^zmqb/~1.ʻ)\ϊ%o Υp不Mi9+@LGդK,:=I ^eI<ؤ5y~$qR l%7;OO$mUU]b5pEѨ`ƨ8Rڟ1|DztD1u3&[1ڿu wsȭ~h8Чwj|;a1# @8;a zW9r$XMw=k͒i~;oV14EݢQFLGⲡJ$*Jh7x?[ʅP1Uŭ.+4)^kPw1BvS1ݙ5g4vK;D{?ߠ17"t돡V=wv/zN=kCHA}Q@qX!?׵wEΌpl#FtD >fv䮊 }v3TCap")| \݆k5`~gk)ms"$5:,]ny3&R2OEKzO[Cp+(ѶULK$U8gl5N=HnIPyL<` oYqiOŵy {[G/kLP1S2tFZ |w2T2Zw=8S/WlCrE7~N~P5o<:)պǪ~kʝ@t$n¡W"wirK;bǻЙA鋾KI'3 1_.m7[m+O'm&Ķ] ^&6'GA0*CԿٺ e5\O=!'a,);(k.HiV]3`iF+(}8k!0>pZFW#re^^2 G0y'PH˒i}*](E/OLnD ;xIG:'hзL ?Js3[rs I^~#p2+ީ?jvxJg%Y:,)Tv)O-S4K $%UDPf%|"3JŞOͫB@FHQ5#N1afth|8tFڎLg`;>\u+"OU1T/onKn^[&6-gUrw37Lۅź9̜64*:!Ы?و(Ln 5"91;]]8&x)Zq׎kv 1-vsޞ;#G|a@jl-3to@׉8j? T5_ɱn ;ʽETb=7qI<2c[jV>Ci8TBʋ;E}YlSa Gv<4z$04Sj'9r'jScw!D$T@27`~.g xD̺ !쌈}>k]^LEUՄ&%Өn0ҧoK ^7AgYZ f|L}#5^_[ig*ldÃͥ>j$Ph)hpJ340q_,WQJ2'ZxjW0"8HxNTH0'.T9nhDU.[/th"K,R'/ͱ{,fGu5=R6#^?+떻'aC=I:ӌ=7]&[g%5[^ <"G_z6m ~..J,{2Yo0kD%Jږ ?v2Qm>[ ᝄA٪zC N=^|᷉nbo=i)ːQ27 6I\5{sH1 @AƝ37u~"r=/Ypalk{sgh(a[|S3`hhPT,/ϙLC}M17/q=z]) XL yқ ItKQD%ϴb'ɦ3AhOч(?OUc}J)|\bg)HO"N7wr)5D t~n41 t|AEܡVpoU88 .2FK /M|+qJqI mԱsed gUFO&9ji,wqsK'əz@p@ⰮDy#<%nɄ5'F1YϢC$5Aaѷmdeldq) w5PG1qtF+'QP[ V:I CiGe|*Jďs[D7GiYvHepCo) ң %еih>nI6 2~F-qhc]x*w67|KA~}m3vwVG.d?%tIOxjͼg5j.W&n] 5%O6%H i0v^GgZ.OZK 3W2?lO3^J۸qmowcX\8h^-hĊğoH0iȓW/ |mTIIm jpAw"96t[O[=K?ImyȀJGߙ,n-NTXAܻ,PB~V8‡M7Kb6 _19{QV꫊˾^s~Ca.ҕq/SO6IaR 9Mbw7o@vw5 hLSܪڪ7vƩ (^][C6N2[\żf+t\XD[.֤^nRɆP򏤥J]F,:\tD2CR'oGNh^숨p'\7JudRwra}C&- ӳ]v|goB-/xT^{RLgO[:TB9ŵGe[;F+#%9i3b2y ;?PR{82(0`g?C0~62Djϖx~j6J T9!Pߎ͐vBP-@iMvt5j%3V>ig,_6NR꬧wIK[wH^ D _Pn#~RcR"pבE䔅lk|sʎ*HuS2CBڀ՞K'TxcYb )2t\ZC;mb1 Hmf[(Y+튤^D aaqYK4]SwMrZiĪ6 ' JSuD9);1HM0 /%˅ o_Do~) wlWᓀE.vb[&Q. t~̄d^!\CeUv!z@Xܙ\݅]NE$A*-ÿ x@ _HJ54tI0~UC^ O,RVv;Ltw_1G&)/d{cb91'%+q( Ād.RYz.lF1΍NJ gHjh= #fR<]'^/dq`3I4>ZӇdR)wKF"Ŷ|Wꁇ8ְJ أRDуr?K% ^4թ_PS3)*=ONoYP{XN ]>/v R-i>I5#v*메S/ bp|:o׊{5Q4yrŘ_1a w8 3hBHצ= 7 v =Ra<_@CF{"ɛ@a/4-C^]q*QkeD4԰ϤFwb2G)!ϊ9f1KxH&kmR.tE}UM#^u< -}ALj m8|} wrǚ1ذc^Nd2 *Mj1XفY=a1o&{zt1|ea]Y#IuS{6K7=K;?Q2C^`l O~Je9"ezgd=q:T쨙1)mX#>Q8 鉴-V3Q{*FACb %5eȱ`2QLV=ďRvµԨ#^A 4CHd!\lSܑ봁Q*NTo)k*;[81U1a% }g|i&w-F,%H 5|}p.Q5D܌m8=J!5Z~6#ezeqp NLFFyσ; urK|%|MȊEt@'OQlViK,?Ջ8q&fo!G ݒ0{VI3N&AY~]Vbv'Z7"EWN zŹ~T`,V`KGi$s׷0wO6U;z6F=>!.M޲?4>GkhGB:Gz'j}8GS$6y~V~^C=ׇWo1C@ mx:P<]I=}[ڱ!@Iց1ͮZSP|CH zm=~ ItM =w!~5*W5T6~+(yj>iS_!Rӵ r=oQ1bVH\v3y.TJ  7 'e57L ! % &aQv]|Vg  GF o23M ۧ ?iPn˃G"\IN3N@8 hV+R$uQ j[@"dB7:$'W'aLq (E0j@lϽ կNB=rq2V cl4q \#Հ^ n sB=;kfT\߳oGG|lRC" ˚ZD'5^2qqzu6V:Ҋ7kŊf˂G *HzyC tȔ[1ȓa}:yk^`0Cwie@ivGRYY lO[4l 0ыʁPC Pmx^媡MrrH 08 .Zwqa+=qlj&x[OaC<_nnuD]bcn43,,\#MD} _?Dƻǟԉ?O7F9'|6+'6C2Y𮝥&2. ^Qa;YΞO80jYluHJΫ QDj8V_%ޛCZsb^D;;*Yɕ4n/\מ *+LZ4ߔ/jSPᝃw* )͆}y )5B?pJoͤac5PY5brq( v;mrhjUc2!Rڲo,b A@{г4D֐N0Q@;O[I*ۻ;8n,2ډ? tV}w(umN^\A&o J;oM 'Aɜ̗IY+]Oe76M2}m}pFLuج 2*~3 H^ND#ݹAP=ŧꈑlp;.LjoOH8ͩcv/++Ё1Kj<)=g8xS{ ^vD֘A ?} 'qNM8ac_i/gW^*CعyltrُuE?Fb/9}Z#0丨>2/$ ӎ: *"ofq{6^~kg-o9ڌ( bS)O{4o20cTN!ۭ>W܆K  _)! 7f(J8زG&`(bY j|~t% k=\8< j:Ij1^peU{YsEnwXh;kf=^ A2 d$5-Z:$I |]C$_MZ`M)=ùfS$GrZJ)9)F @{&q8v!BXZ=6jNRhmS8^ 4A P⇽|wB^؈ig%  *KgvvyDq h߀~XtTNN\.0Ӑ] zvCZPTjetEl4Y[>i{MGG~^&3]{+./i3UV3(d_ѫف {7f蕙ΐ>C ׸߫GgPSt=a[uY 2p*wG?Iu{Os@Zy25O(ա2 ԳhJծC!r9 6l/|3ڲ֞1saBc­|je7<"e~ÚrX Wu|Jp%j/֩:XzXXPqUD9Đ|RjDCNU*"(lӖ6:Bbo7V5L6>}k5N.[VաUUY-A?av?ZasvqӗjB_W+c^hZ*%UVL'EߊJi6^Skk) N6lDhEӹOyEx@_⌴q[1AJ!PY{X0n@5>ly-\[`]VEtqϾ՛bx`nZa 78Z>u 6ԳlB'PZӷ̹TmΨLc^{ܣHZ Q|"lA_+nĒW1CjS&j:  'lgTyݿ+Ye$9QͮlRA!(?[x`zd뻨 i,\ 5 j|wF<{Yrxnz b ZTᗌx~1}2qgT$ Mh$Pת`X$7kC CDfUOl-pW^6Jhs oZ/o8IioB;ۓ5E6Ā 0QlW6 -v/>)-56+O~#/Ag%xN_;6Hf s7R9Τoe0קmzGD@/_\;llO%8cT(NL1y>${>ԓ&c:rnoSgGUeLѲ. YXL֦d45Ikxٴ /Rt)AQN#TǛP1dJD8)N^9ME)3bq%S/.~RHBU02T1t!H7,Hu!;+s)8,N 7h^-N8FIqB;8b\Q8>;T9_EЫ"7s,HtvRդlv[1gwR9.j:=K=/3f#řQ{f<ېv٠8u x=& 7"vew4D v"ve3yy{UCN *nBBϿN.fQ<Ո~wBNj!s H/lY˛;q}hrߕ{ϯp:;;ɬlm3Yh (6Ҳdrlsze!߳yJh;l\`WhG-Qt܂#XLl4o r!˒ƔD B;HWU0ZEMA 6TV;S[[eۼwT)FX,G+4hǍ+V}@Z5F]?8![͂|Yi%{++ K:99vN#g6Ŀ>GFAgXqHf'LHQ .y74Gw{s>`w+oqǪޙC7QS$F^o&ÖӐ2> :8v*VβMt(C:S | f`"eSZDak*Ɗ?nFi? SojM=p,kܡ#2D4JBLu>}#ɲ3 qU =R14FZ'C5-`7aI9$y1"m?cFAk(~@gDV;i;`X^(*_]lOh%0J5YnqPe/\F͜9yr m> cjGɥ9w+_Е}L?kmSnvWJPmYy'{80sx\{VM]6:eBp»)> Z15EihC-KR4 a~ M~N ~!53[DVӺeRQ&~u5PnTLDΖWJ9 3 FӐ\( ^!G :Qk$u!Ua)/[\^6_Xp>1"5KWğmviA._t Y\TAEq7$bomhZVV[ v8rm|S y@~v Ujj7qlqc5Hf|~c"#tPg,[Srke30]5䜶s WpzL`"I(y ERm~2ȎFҊKC7A ;9J(Zt:z1{࡬ʛqgΐXWGcA1T3 :M<0%}{#A'K|ooC5x_2DW^Y1|W褘-~--p NO| g!rԻJk#tg!JfU7oiHL-3"fiy>} ?eI(cHj+KsT: Z13YW%]͉mo#Mkkn|~lp`I3sQ Vo+Rߜxl{@(fjdsŒs6^e呿=K98RAh 7^i"~ C8A s NaT^*vdѺ &lgK΁sknSK[Je.#,earGM}s!a΢P`9M sc P$|~%H,gL H9^lH xBAy|%)i5-Ns4MI.Wc8`5Kw}qBk畖1{HWGOFe %VDhU 5.M()Fp/ Qy?<( R>\lDIEcTӛK5PG梗el}Bj:i= *; Łql,bBBDӪCrWcXpKz^lUw͹O2TFUM=\+&8<  }_; Y?,ّ!٥X?{/+\M ;dU;ͥ ׂ}l>oؔoS(ȿP7c+{xt8Tu 4`?hqihΤ™ArܡUs6>><_*Yn:9vѠLeD h2x Ʃs7 _`M{;=)/VDԸ$l ?FgYZ'd ZA>!fnbѲ>xqM N"³` O#rSK GoU^ hHFI={ 0DOv[lv" %M+:UտeZY% IpD`14UqqOLL C~+0L.m)*DIGhRv*uQ<)$rWqH2sP)ySzMTB΂g@:} ?mԵwZ7>i*FFw`e"U5yWZJ *5WlH,>jyfɫ/2|4uB&HJ2i7B 32#=AvZe*ӣ_pfx0)l>•@DKz'*0U"Jϯ&\uD0T-U1+F):%Ӭ0i@UAN%ؘg9ނ:Zа`Hrh*Rпin񽿨EWX mC>5rO1p&}]IQ80z&TnoB HǸmQJ)*Wc?sK%xmWG}sףc֜<M1q]֔~FV D-sR;cZT0i5?p8B3fZ:d0&*bt`RA$<6*;i(Âzb=DHGM"(,wMdχf˰  apKg/2k8C*Γ`kB"K/ݧ@5ha^l"Ǩ_1c +Rܖ<1?AŮb[krJL~J dsɒ5uYn FxZ/HMq#zc˳>fAXw0k~_7Zf1Х:34D9|T 0KM?`ҁCbNqߘJI6A(1l^0Z DO~pnnda&Gs6i+I"DRq)w{Do>NQBv=ggȪjhx`w/a",=b =<( oD;dyH[#6=nqm7Dt'<ܵa2{S .'u[HM,3];QO"81uV-M#5qFz:a?˧2R.ּ8tsGc)t~B@-jܳj^O [sPN>E CD3fvDq5l<EG E_¢ӱ9՝r"![T & RZ}K%}ʼ?$~8@DxGΎq` 7mN\;7ܩڠ6bVUQ`΀ű n?Frl;/yO'$0ؖɞN`y8a ~4:f*/p=fu0YEгN Pq5>Bt8{&~}'0#^Nae:6~  ixz$=F ,cK{1IGBZ?Yn'77?%}^ 옪8yPS_5==#>A{)U@ q0fr(%Yq8IO3oVenukvmprEE@dN }OjXԦp{|A?ՐN.Ytl!Bhy_b7z+ DjRf3MMk *]ȼv1{9S/cKXKȁ+" *oh`2'Y·4 t"x$HodC+ *hMY ~Qv>kmӞILwՁvѴA~E 1Vűl^+8`Qb"Cg_G9Qs{qLЍ?qe.'2@0 (өۀJ~pҬ a5Gr }Dl8Ktx0?%Me`Qwh6+HtR?(H0EB|I&Gh=7%0"6&Z"p'SӸQfŜ t9R7d5ぉ8d^̑:^s\4ƢWp ;ʋӉMTW:}Č̃tr.+bro~7#,#DS T?-eI_NRC^6l-p`l9}4UV[ C,u3I,ɲY1 K ?|molw-E?.O!eRs.<δ9Z2jg^g+ ņT1ymy*J#3kl8ͻIz>oϽ ǨR{=}8L'\ ;4;zq [~<=#zkUd$$x@$(sˊGJ!+y&cN_B9d JaYF1xꉎ*Jnʥ#5qtQ *c{OND-Sp!l(&UA(\XMr g)?skU} IpO J T E헗8,g~ٰMwI; "F"樖c)cNЛa;A)=$dF;~>AQY3p+[ :3Kb6J|3?&G{r yv_qEGtyXt~ ;*7ktԄTmpA ew+tg#0Af,X?!tG𯒶\RAxZBAe$aF{vE,$R>lv)Yw{GE>FSFڅr)k*VF@=[Il%6 ĮO個MKT{嘅{2_3#)^#q ֡٬T&l{SIKz{[ _4ַGG $2~Lb*aVshOH%I׳=HFXM\o*(35"F^U`t.^QɈP~1lP8 [ҰFVZM{gJmWi(.]u_Ú\#HVuz srޡ i`xW9)i}$@y49?4BH:eHd|];mJbQꐽ9iټS5"CBJDOۢlkQJB&|9٣UAvqgRaAnHR΍SG~{p+d's+F-[ # rs)bib$GcGfq>2`k%@Dⱺ`B]V<8F`Ψa׺q0c`= ! 3F2ࣶ[{'dBynBjeG&|7Zso~N" ;A ZCEpf\D;kӧLj !hBYm-`qarE|H ").}|v6~v?vTQ06e;0Wab(DW0H8D>!?Zjv%k,jXf{mތTIgT.a3yʌg>ajQ=a d8h of2/q&gxHjm8Z7_V N5kqlp#?N`|=X~*nӑz23O<:U6v!v' ̹(Rz%lNg5T3]>M+R.͑-az5l%Yt#/'`.L?rnρ)1 g6LS 9Ovշ5됯{&ıO=R"dBv7P[#>6 ӿo5CvRKrBP_3#up "-2+dEL7u1ڞ T'TODf>1h0iv]@_SuCOjuO&C u7(pѦCB3^?R߳Aqd[T_l7#砧SBhQ}]-tLjXd6A ϓӆ^GcPE&u,DžPc6qzWLyxSИX"N ` X1d pq]I`.;g@UiuG||OO" 1s icHWRSiyu n+S3%4S,[DJ[@BRi%;W ,a"h9xWL=+/?"L80+ƚW2H*cJ;A. 4#X`uG$+ (FDF[Қg=WG"RyTrc'+ UGmN/3S 3_D ԗFJ7nֿaY#\:ae̊s_? FC$Y݁؜MONVݭm(b~cJjfF< 4@kmPU YZ;U=3 $d˄ l|BqtaxN ʦwRB(w[p!􍜁K}H*P|ZOhLG:D%Gٯ( QN- ꌃ5^ZlSq Hptծ꺞Ј,xlP'u> pqxe&RFBڡs,ĝs\);쇱EzU$?3(it.spBua##Ngr'Z?l/,"%IXсK߃aXh[,$r7Niв5@e܉kAJE xɋ}4_x0]\>w%+`?=ˉP:ߢ@w_(MNU(ů՝Z:c!#A[2Bz |>@$PxѫtÞb쩦zľ@q*'%0SnpFhK¬@(amIۼ;)>]@5hI|ڱgYZ  | +WQ tQuick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument/Randomised_Quick_Sort.tex7zXZִF! Z5]A-MՋhvG"uIBm5־Si.oP}P-iEc(bM5"8|>~SA&;UO+U 5JKEKB\B'|3bhkrv.Hc5 Yi Zn!r<%#/Wwb^K:1Ҫ{s- J/n; sp L43F'GCXõ]߮*5!,*-V[Z]:zt첸i^QѢI7ǏADy j8?7D@R܉@G{@D8Mvνϧ/;,ނ~uh8Fv7\t`d(`{"tk4PÐh6WjABA~9}y""\o\-25$~f?J8!RӸ(g{$zEX7*MLKwM):K׳%%8g!L[EiX᪬YNaa.q{Ώ,$xބDh!N?:\QKto:X?P!& 4GMa >3 tbS|Ò;ۛ&\XҞ%J=x>#1EZ!#9؞d#ʻo[ρtF:%/ih>ʳZ.QՍZbZ&icu#":3w[C4lqVGbXa:569Kmϥ@)ב ~g tTKE11'%I@8!WjUp4vQ8>On L.$ձϒ94xqW`>N|LK ne t'x=519M{X8WѪC"҈|=yi헭DZJp&9{)y k$1 O;òzCN wBv0āTl|KgT'i"+ca?$)u-p䗒dwR4L_5 BMñsvp$y{q@Zf6V .n<Th Q]b[mySh^)I]%JdҀa*[T,TVo+7yEŸBN X9p~}@V3D<㵙fXVfgHVQw4qMb_|z(}6]γkI*>K {?0$v ,[dr~b÷̗Qs h>?&ok42J;6ܗ`յ!;p(hVLo֩" N:Q8LbF(! xX)UZ$RC1)b[8RnV~ gqerY$ M"!9Վ /]DVK{$L@ʻ>-xL-Q0[-%6RdG~X$x9CH\Ay4@nwJʻ+ޑCӛ̎B*fTE,(п2X"N*By^_GTu^UN9e k-jo|ek:ϭ+S&gR+swcp~%U9ϕN0  d'ƹoSu`)/?CӘl9@co|Ws6(v\$zd'/`q*_3r|_4>V>KjWU9#E@~/N" b;<ϩvhF8Cdo'gvJXX 䚤ig >UqHc)z QcN#19# D/ !W"gqh*_u4܋+ͥĝ~d8ʈ{^.辆H) ЀR[1pG I=4BɃ @0l>:r/w,? U{,.`u-8R Tcϭm,'Q! u-'?X 9۴F^ExV,nVU l` |nlFd]p\C@])yQZ.XKI(ܰة1TDIVk`Vlmc 1j:CpH n*U-(!d틛B8įɀ4!@.zsR̘hFܬ3|9!Hưr4iJK7ʚR6ᆦ!ը# HD'g3 0 ]o<p ;5*T#E,Pl\a[{3\Z84^VIs(0ߘo6ы+b}Εg9Ry=ؑ8ʨF:/%DliҾݺ#DJEiF8_f6ÝZ Sp 0|vp2pS\LAj kұrܠ#ߋT? LGewЂ=϶6\8 ֶ,deKHL|$SUҧ8"ثxkaQ=/@нcM˜& ~~rvhG7~V%-܂`xlYEg=zo*[Ʀ !Me Ǿƍ^ |,+x1Z"pW=e.jW6~XJgM:d =f](zɊ 4V>5y-T!}er s )^rXn܉s~X 'Sf\E!ÖTx>Gr悤XAa?$_OZ9+a ZjLVR,U-m!t`[_ڰ~F2 [ߗN)"   .+[U $Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_Casedocument/Quick_Sort_Average_Case.tex7zXZִF! ]A-MՋhvG"uIBm5eu=ݧ8>7T7vV>k&2;S#铳d|ƮEh@}!aE(I) XO6 4crsPYΣ[$uޭSjzgϑT7&@! ݦ9q}@/G,8MˎAn.d0}7ՠ&+Aq7s.~SP>Í@۽Gٛ ^cJKBnyx#zdj O|3ރ >N/̲v*EN!R(\E@< ׼AziB P|>m : f^޼y^tYIe$`_[$p*(_t@ҋd .&:Z̀r} VI屦f;M|Ri<{?A 0$ň>23P)}ֆm""_`0^km~d'I >aFX [ ̀TEI|[RcƝ"mO9T!>,eyq Դ (>^O?? Ny),f N0P*:|JĈɪJ: Eʊ=-[}5\P5{sCFh6Z#a6k[ 36:%>24w?gd,|w.QrlHti 'WY^R"q'E4cN@w6s-v+m iwj$cH|_# !'rd G1UPU.Xl `GYYJ)Be-T&lpXGtTFCk}-d v($iK8 ASVCJg7쟚wkѱf[v*tYęFpN?LMJs'H)N `>|>2:X $ Y::Ae-͘& tA1m]T>_Vu*ߝɛ^bnv#(=j5NoFCnnwR-^ bnSϒ>"@G_l6{hY|P7̧x![#[B?G_{fk`' < RpmLM{2y:'Hxdg?K{mC98 @ӝ2?KscȖk'w:RxK'eYqxBAuNv~e 紇ieduޣ$J!|MyX%nD/i;!s;6ID;|`sx"3LKeĞРTLb!vvY^I#}91X.Bs=AS+4Ѳ$2^¢A! ! Ԇ'ty S7${꧛i7ב +7; N=޶syf[`ptun"-'W<1\ $hl MmZ@b&UCO%v^1̄`@4,{(DObsp^e'$ Q)}G a$~LG4+ ^e,g`0(D<ѹk?s| _wiW)iOI=o;13JL( `ɷ&<찾h`)KOK͒mh" \#{++l(3_ gy2D!+\MM%ne[/#&ơeCoﳹV7xM̗zP ;Iܭ,W4]b M)x!)>5L1-^8qƦ s`kPdWϢnnk9C~+Z2<7,UӨ!H\grn32\ >FKMlyH2hB E\2y"KnrT{pX4;^wvH }^`-=/Fc,=LQ4ݸ4aPƈ~SBQ>'مee9VlJleG&M+8æJElLl.UՋS WJ&cscWOX}Uy,<_H/Mi?|\;o!p,۫j`Y`H:K`?|OvV b+D |O<!(L_ !4w7BtawHT@=h~2* >}eDHDl֠_DL}1A吱 {.H5p+nluR-( I>~řc B7o妭FU{sJB%N&ڋ񻗊@Juvxjt)_EvR|ٶucc2Kc\30D<d55ܚ^~- l}f9Ku5g ՗1*p [a '{h#0:(\,0ਭ^bt6Ŷ@zPel)8N~>G})bn)6\P?Ȗ]O*C6+Ja0ijsT2l#n+~b?De;#39V9BJZ(1EXע{A2 QxɇX86B F拳Q\r*E D.vvoq5 ^&Jg8w~475fKiOx@ItjƯr+@k(Z3;;^(W*Vw%P6jkZRLŸ[@M3aA S#z|elpaQP̱&X86|x*dc}>k"wy/?׏21>fnջ#iRH8d`(eCoz қB~"K7adt9ĪX<8?iD3 JiL5sUTҶDA\$(,c ٔZE[D/a@PlGH װrꠂxtlr߾1 5.Zt[0Oo&!)K8?q (0Ua{ Ak+xX]!ji{D"tH"l95O`{⁲+!˷|dwʕ +ܹA"A 91ȷd#Wo# z(ԛՄ%TP_`b5dif)w/r8C" &r`,qUט|RectPN.^51@-aSn\.TP0w݌1pxQM_EŦqUZ#7~!c[CߴtlJ7я/G Ӧe -ed%7#LhDT7 ßFf6W{!^˴_67?C!D^7zH(KQQkDv\{+֠ah^+:uXwJ*3hoA ;Pw<XQU& I ±58]S4 C5#G>ޯș-NKzI%F͝?2id<wn1bxhpYK:7>UOmfϡ_WŖ" =xvŴli5_W]Tr>0[Bp9İ8l=dގYχjdn߼Ա@gĠx˔pB23S6͏yqOv2e? ޏ YrRuܼV,GgQnW M׬HyT3>o;>fWӔY ٤ZV(:GHKM WV4pxB sUEpO%=.o#*Z-L!}92:=Y ߃fNhE]Uɑ{&foN6\k9J_."?0Li(f'xw뎧 x"9nCDsr^:]&tߌ{"7TYC[2\ ,}q`x?sJzqSp$<ƙ*SS N.ghXWZʼߚ1IamXL'ιC$!6ƭ&%FjX %ڨtưU[$xbv mJC#,)%:Q'8Jbe! .7+馀gYZE?dzT31젡H66X&4ۉ}^`“.''0,ٗf_Ms%`o=gȒKIXu*=̝/| =M(wmoٛl^Τ_R w-I6cpdl~NaKۄ'2S;eAI$oggmhg|.)xBU烮=V?m&iTPY85-dmIe#ٮXjJ YyFoJPvν!Ti!˪EJE$<ܮoLjE' 8Rۭ4Uy-i#w F#soch0~Hs;7-F|'M .9]W]jF`p`d)dK̯cя q[s$!'/fobv99W\kk9wyU(ΊUa 8ʫ5_(C2 H/z76NdmLztEW%GB?qر"OL <#Z#|W;7.А%kq \dA+n;7 (A7wb?X +d|]-lHU"0z)w'x\QmoK2%)ȃ #0Zb@00NJ IˎL1TF̫ * *x&摍ȍ4$vʫMvT.6|0*k9`aPLlƁddI&~ܱՓy>sL> l~QeçTA.ywawųQne3E8.LBH1'VudՅa*l)JAzn >(=~,Z91.r< z<:K>a,XK0i5z W ֝.q l<| ̨]Iě]kVoØHZ@߄Z܂ ; ԩ$Z pb1wWqRʱhE5$0L881Mﺊ噿Io-OZ?AVG#0pOz9AhOQ0*Gl$Q_ ٌom6a.OnSl Ʈ9fUY.Յfy 0D7V(anX#o4u|ߙRy#,aǬE #)2MXOUAq&SG:b{$NYhnhesN}Z\7V/K~꺦8azP)*Ij-?<qox US++D䇐Lv߇΂k.q_56JןyY7Kyk-hRoFdx`"ebjnyOQgx.lY4Bwؙ&[Z]Z2ȘǺ&B7L. /g)!i^jak̵ 7 娝 !i)yԹ#Hל4' ) ]S!dKpyqDT"`MWo3Ԡ^=7ʷf WѕeI(אfP(SlNkDeɨэ`#_iH`^00 oihwe%+#Obcr"EUJSg=]$Y*X<Z9}Gkka+"}ì|pl 24PF1Pl[I~+ ! >z i3jMo=Lk. H^r*!%aLo8 &OɌ6QwσPʽ@QYK}9&97-pr-o":> o=6ڢ;:Iq2['Tt,QZ5|EcnYW%+~GB+Lx+) ^ K Q-g / dA*wR#.JKR}ݧMZWF+I{(QB`58…%L G^-dH7/ SNwoxZA!b=q^>[BT,eljÂ[6;q"%|iЀDbͮi҃`ίZFw>˒IW#M) POm'gYZyȞS' hu C2RZt g TSr_im=(*O;ƼKgݙ,;i%NEss4_Y w5 ԣySw#/ pٸ+2 kl%01]nqLE$[ ӟ۔HX<"gi|AvU2/mH=+H+` f`֥"t(Ů3dKf>7r O1Nu5 `17ƾ^cF2xq)S} Y|ɢ?ɟD[lpܪwc}*]ө:wlΉm`t~Hqm?i~+'*dc_tb*;k`v/w5ycm^zW* ݻgq5ɛ_R,>!a^W[hnkα )o| BX2lc@%cG4M'{&+y~檚|KHm^}C^ډI17fi4 l]%O,GGFhI+TWX~Q-DMѿ"̓suhA;ʮ(͍_,t Tl(ZxRuDwPU_C|U:~˙Qߔϔ0ljcH'®>#sfd{3W\B(;Q 7˺Y0^S~g&Q{8K<)sUccRJoƻtuJw Hw3b72_.?;`OG%Sj'>pS o蒂9n)듑m69X.χ༌Xon'2eiG"kO'9 P]Qy=ԍaN3󅋹Ko,uK2`I9YhoNr&Ͱ1ΰȜdXd=޼{kNdUͳ7Ǖ8q4P,ˊEGN]q[- 0h=S T`UG{{{dF_x ~JF`>Ŀؖ6lJ5 X01cۓ {ҥb+z:dT%}m<,ߪ޳+'M|i4`+KJ2],J6Q1"$"I2bO 08R/:@$ zm }X8rF/J|8dxTe^J"q~WVT#KF_K׍sE0~(EWֈ_*~\@1׬A_һ7O87q8a)?BV-HXbH.O0.1HJ چV^iO}8g$g [/Ƞ>?o0Wpj5 jk}0[Dǚʌ^oRf-ȒQ/稔9Ns WPN'iHI>JZCjk= |=}ǵ".x &T5䳉Ni a,mN؊C9z2/f_5>{l:!E˪]~=CVnX+daHxaxyNxc iH84(E:O KT.TT|E(2s~:6v3'Gq?yZunJ}lt@4+_4pݫhE\.Ί@x]AΝ1 '*S10[# =Ӱ-ѪoS@W'W1`14k$!;.^TiRm.bOy= ɒ"KG`cS}1Y1Y [wF*nKN33:QsVɝoTBjujk&P=ȳt+%M__GN6W,)Hv>vLh۷OYeyύacd'aDi?d~5CH>שBG/߼KJV:V/S S-|,4R,\Q˧ȿ6 +=ˢ"3D8VOJ,x}Q!taaȉ5L 'S!}aCd[1C1<+cX׽HG+J< eFg cDid2S1$7u,*z،!f# LQ-IvOd+Jڿ$Q#`5^"΁8.Q4rz3l2]cTj;./%>y$"u!`ƞ7~@VylT &}n/aR @E]"AWePbqX tXwjAQMtE y"L~H5GrfeZ&o2WCuE'|ɨdh7?QB{^xvB;lT_Mͯ."|r)[= gD Vre|~K Wmͽ*F{fX9ӲUHǔ۹E̱;|sF$ 'oK +@ BJ3RɱgYZ  +IE |Quick_Sort_CostLandau_Symbols.Landau_Simprocsdocument/Landau_Simprocs.tex7zXZִF! ߟx]A-MՋhvG"uIBm5SMo.NwoXH72Bo.irwuaԌ)Ę4t ’ NxS"8oSqhneZi7qȣec[c#m}Ś&4M &#ã"؎FL6p(aN*"UIHf7'=ڦ3N0ŝ˭XBrXhn o  Zg.|ӶЊQjYkPun9`xdխ5J[k{#"ãIDOӚS@hލiN{,@q &*}ko !_"Ұfű횞]A0  2!\`~WI,MtƍޮA){-ߌn}Ks$eރGTDq' UvE}$p)n=a=vL}FEBfQE)jp}{ǘANZ=Qq&U},x!6o8iBսRg\]X+B 7ōA]:&aZlf)dfN*2ba2OcjC<ۏ+?; 4Quick_Sort_CostLandau_Symbols.Group_Sortdocument/Group_Sort.tex7zXZִF! z]A-MՋhvG"uIBm59>(};SA|'|D*&W} 34 !ۥIJ8\k{jB R|?ZσZ5A\&M^U7h֥Uਜ਼mc_Tݜ{hϒ؏ąDMq-9'6o}?<{ iS{Dpx,$jh A[4^4!pW9ʬV[1ϋ:2;idU1:N"'!\L^``$Cz=-zAKF6̑Ae1H_1! /)(?۶J#8c27ÿ; 9Q=@ ]h"[X_cx$H+NWO]+=8x_*#zЫ1+OaPѮu?]c[SFj%ڸtc d'6ub"?3LkRWd)J-K8pC- o%I7D~V7>TT^ԣyEXSRt$:GO>C/AU`!r\>DhH^ _)11C@=U U%Du7z$yfwW5 5 Y9؏ m-(*nPrj&+;&S']oo@XDZt-&{:^aɏ"y؟h|l< T΀A@d'V< ' ?HWI-]Z G@^M%_]zf)IlI=sLߓ9=e,ZXMf?d7O^yܞl]]L]{6Шd: D~,` ^%6y.Tw3p#U~9uxq S:ggaTS- qv6nHC1J]oqW~2qrQ6 iFz^E^2e{CM`^@~6NzpE<'r 6IJX[&#+Pq"KCY*rYZ\yifZO&yAYX5!Eٹ H tF z+\|3eɸlN9ay۠Bq#Ltt;rM-*uUX%˽7MSՔ@ t[-iI<ƿz>DA1%Cբ_; sDtx}O5op nn}z̖ [b>-Lg08Oihej »6QN>`Y=rs1HZq8N;϶=cpDa yۻ/ruIv~: +, nͿ5E܇U:Ħ!H4ѓ9k- d+TIm,s}ܢTNaZjK"_51$Xu"پu(ml1rcT.ɪQ+&n'Uwme7cEKt l_a-0u xHV3YKAjUmK$V? ρʸCLN ^'_1 v@Fmˆ]}d(-{%p+ZMh sW"6V{lOѱ OAPx, eStMH"Rmvut:WeKŜ5qXU3FmV5WcR["|5w; ެN=:^h@[|RkR'ӳj Oy=CՈ^J&ZK$ W;h́ٴz]M.us6t'k(0Vqkl5YS1L-l$Tf~q_ C8XּUt>GIQcSfY.O7x+ ; {]8SRЗG߈k|Rp4 ª6uRW0+KhX!)j*Qt6ǺRN=&JGٌEl*{ܼ o/p-_`flk"e (3e_B?d.=H8e}$;6({1?]KEh t+c5ZvH'yEVgUiMxHu;4(e7qkK|yBcBMͩw&3CyRW YJ]ΒP8$&Iijܐa +@hO{T? 0,¡29~רW%pku~YpN׌uCZ-Qù$oj05R瘎M$ [>4VRqQ3ފ³Xa y&ҙ6  w l$ȌL7t|/7Q.kQ<0Uqv.H+aQ,e@( ANxxǫNMޑ>_|M-i.k@h^Vzk@{A*nH M eFcs(`bN.+_/}PPqӒFaMtyW0&"dSe ]нԑx jx+\(sA+(K \Qv2>j-g 5@p]%}Ɋ Ac$%''qP>ir.7_۴ҝaթׁRg>v8 @EljefdcYI rGg UYD mh,c nLvRLԔRK3BY8}im x '򭜬|w>h >EEH!uĊb̌µLpT{UNB|)e<4$nAߟ|kS zQOHCqIRZ9qBAm 3FG3olG=|}Ż|ƥ,|GTу-na$ G iH2<{D;ȩypIc&{ډz[PGjA[>O2eMN""a)z!6[1-| rI¢[-2exxitm''~M@%!u;jhؐ= كOnnPϒ8sgvH:>O]˜oԼrz_rjjOJ-{aKRY@:nJMD$] XWoܛkfAuyԑp()\{HfDsrJkM_`rDH9KZ&?X*N4<*0 !^ ( L. 3p $CexSYxJ׳D4U0  ?&"y4LWmxVy1{YO!=.NyGĵG/Gy}ɨW\V1)ZCLIȻ^޹HC|lty=wƲ$fm H_2HHtڕ77 H"u mg~*KH .7zco;.Z Qc B+qݤ~L6p]% ޵H+_N=tHqPiplt=޾g 6`2A^jcu]9G<̊1t}lL[HR.ӈ|Z5p_ºy4 H4c"KVc){ wq uմ^Bg!I'oTfz1A=64 \?fy^1.* 8z/#~iK~<^%J N*A=M4HXC-fZf3Y"mA({1޳=MFYʐe Y;%8(kR(^P4pCX?k&׿jFa@O@<& d͍Syz9iw:mvS7@ːV`+}6v#Nc*@ut!YuzpAiw#=]W+l//KRf N Y蕵8%ׅ `s=p ()m+eH^ cw 9!ڙc9b\$RbUuuP+|>o da :YF{22q!eQ=pg6BǞ>Pǔ(g|#n8*R{$-ŵ>9R4shb3&WGSrv_濔+ϯXخWQƗ<{++ 56~J.9n}1 ;ə޽u gw' ah`:4n"v/׼yWOD^Uӿ|A\UC$+5=ZnUՒ=+ML}JK.ˮg @6F?Kjn^!E> BSE6s;J0jNH:ueF7u`mVnQNk#GuDhq  ^[j3#?R6ykF='Hd%r_lRnq%(<]zl~8NL"$9Y\z[&pڝ)|ETY9'Xul{jla/3cYI:`<.1 )XO-KMy0(/sujpWuKuK4}q=ɮe_Jc;U}fǷL`UFg9~z g$GKEO $&j}4j!©dCEq'=ZԪ}:LS+~DG6?쇱Y\;tC#p=6!R.R5bvҪgT&z 5ޭfa:{Y+ X]PxA;PeKʶuJ)@_QD=C"h {TAΌOLZ0lÊ~C2^:!X, D*7~>9sq?8\uZyfac3ByVNG|%!*" {)]z(zuZތhXxӋplJn3` 2]R2tn{{Ģ zVamC՛A=DdTTXSu=: ƮVzy_Ie]?4fixY8i_ʿ X"\K5y;>ֳy*$5G:K[Um{% t@S.{3cBS)UʼC6peFtr[KZ睨 )? ts>ʋvⲖ-{wÒ r7׹uuWj?sDlfKaZUm 'k}WFEUȳ,UF2ծ oGmK'Eqv^%gYZ  +AC tQuick_Sort_CostHOL-Library.Landau_Symbolsdocument/Landau_Symbols.tex7zXZִF! t]A-MՋhvG"uIBm5SMo.NwoXH72Bo.irwv۽RHV=" cPUA^=_i 4y˼HY^ZA5 Jku/bA3hLkOx%3ZBߟ .w.9E:c9\dv?DCLI5bf(>";\e&4%{6GqIM6b-S.Fٱ.yGm;>ajFWO ,jH4^ MMrJƄN@}C {#i;6QacҔHS=3wа~l^9wߞ6L-DĆXŧ˜6tvnIr^D(U} ]6}lykcIj<)ypBvcFGyFKU[]S篲ʆCW3ψyL1Wͱ a R.v<]/l.99S-(,'w |B}0!g\/'ÓJP֭Yw?P 3VCN OkAB|=o=~0˦Gӈf |h1XB# TH2D谳,^F 7W#|JS 2!~zݘZ1\5" G<\VC11++ʡ/KA.(Դ+NX@fDrs_+qbU&!1q9'Y޵bW~l+qNΟ~2Wdoa/ ? vB~%r݇1~_ޙW0GCLN8s77JS1$o)uJuN+kP8>>? DQ;=Wg0GE}v?5A}HX*"[b3rp%lm>=͆n:F ; 9u4<,yc̤%[8L%jh#?b|G] 4b(:F4^(B&dF4A#[jMDξ"AQ|#~MQ{; )kQtGRGaw/&s3{qM=oLang#vK^}{ZLo4BZZѱžðR-/\,pOFa`,hLT0V8hXCq+̹JlC<6gQ"p<Uan+ZAW0 |('yÈ빒&gVCP&X9pE]2#X7_}J6h^^ &XX+ XB ]~$G(׵abٌ sx( N:t{4nzH`H%@.V?)N+ RW/d*S5jgU="*ez@bS|  ^m MN?ppKWv`c{y+6{!m-tOSj,N7hgudOG](3"5K MQMĤXpG)rGP*ZHX͍_R~agI_{ F_'S`)!L9*-/bP@ bz7ITMv l|2 w%yN9Gn.i4|M)i5 P {hmo+3r?'ZծmK=KqxZVSA뷑PαB'۬6@"HNjͩB;&iɃEy(~ =~#Eu S(G4tBgJCC1"zO9[ΙxrzR[WG}48*)腤bV3Gv5 'I,-5QT ӛmHV"ChʅutqctèO$ΨvI$@|gwfj߉hъ*~̶^ ҅ѻ Wyԭ'Ts@e%RfGaqgC9lTu)xAdΫ܍]8GUdP[iSE p.P,H0/qf~h@Њg &&0d&>@@ `[~VC>]`a>_$*y߰P@=x tqqܲ7y뫇BZi=YG}I͓u丯tMIZv# QX|/ &<`ZVqE?h/~<gcFPǭnae;[KvNflZ@9Ȓٍ52X,/NqD }Sw||0gesMŽ[JE؝.r[ABDq@ +FdXj2x a|#Y;g 9sJp\3~t~B#xڢÄtar,jk~ߵOnnRnқ:|MIf$><VHf%H.gYZ^/Q dV~M'"&{M?@aSf{aD2Lm^I_>0Z.C @!:Dn+  ,> Na)zHd!|PdYd]c_"=  \%!3987b;{KzU>a6 J=|oast]28.2S+UKB׬FIT#ؒ@<uu0x&ȁr=0AF"-G@jf+Laܿ .) Jn\3Ӄ{DsVB`ꡃ5!xHwe" \{@ uၰSuOhQ},NA['RvaoywIWV fjDz&~a@̔y07^ v oזא S.+;E T5nސw0Ì6Յ =r:G7 ѓ9V4`pt$s"g7oxl&n˼$2y`"/o\ K),{ c8C~IM!e >83dXndahqW5RW&GW4xy?9R{ X6;k;N'^ʌgI|vZxJD(F—{hQ Ѝ񫚽j=gZO:}u 6[r{N.`Ӄ"N g||Gw[a)`=W P#S乑el lmD9)HS3MQBFbwYfmq!>/y1x! fC)<衸=ISs12,Zx;M$QMj! kUfƸLc&Dld@ 0@.R'hGl6+: JVV@dY@1µީUqEJPkߕIfo↊|.xo0AD#Q.bK㫎'U@F&-{/a'Th'ëkӘHd9qqW. Ydwł|2ͻz"/8z 7 b i>b3;q&pzƒ٠4r ji瀾 WF toT<e]+a./ kV5b3(Zdd(7L,;zu&ssㅍѾʢ*uf #'<p6o"a Bo)z*R?ʩdZnDQweª itqI᪅d*=FʍUXѪ2\ܚS] "ι1Z^$~~k"g.Uf漦l AGI-ؕs/lvFgD"&{)3dZN,Ep띤v-+I픞]%ڶp++d5ҠKӴ{o4'.+h0 I!_'u!*S{hJo2)whV՛532gP3 p@+h ftlF*| Z{|&Zɠ'EQ.XOqiji"O9gr^w  6[U +Ŋ2 Lw/e.W @? WZ.7gu(3vZB2ؓ!,I mGq&.6lGڣkli)آ,%<{ 440tn$@/+CǏ'R&V5:I -9r] "{tn~ӸKe?ə*RD83I[N `X6MRw |OܪaIXGs{ b*%?(P8]Ôm?Pjy t^Q `*L hTy! mOѤ)ų(clPgzbLR5[qa4zRO#vdСkߩ_08C]PDZ StT>`~ jt`b9-ŞӍ##UH!xllMlU$N=Ci Q#%/PíMՏTG3UGb kQ _< f|v,#6V٤.,F-U]zT8) Nż9Ј6dMOlǽK-S1JbZB+LOFA^wZs!Toa 5hoIDP>1Se齏|hHO!u|G{qO m-ImypQy8 tUh^|몼wQ;2 t:-Y@d^]qkÖ cQ9gؚ;0=4_%rf΅`1==40B>hJ9[*Í 3@ӖUbQۥ*@+ɠ S!ޅMg̿A%Nnåֈ絨weFgx(7weו(1V Q_y檬:w/i=kW2K/B{+ĆG2³zC6n(']gN lAC=FL3?yqnluƅd,9EWL=7"[i"d >Խ] $EJGFyo &9WLuۆ՚`ř4^X)ۇx<Jov37Fa( )ņėL3@ek' -@2BL[lj4){dBMUDV޳c> IibTbRӠ'q*c}ڋDcZù̑)'4r:{z_KfyX|áLW-t K>/!̦aDu_ >%`!B$%uS2ٷ mzpM Qm$rya12f%G<u\]gԁ 1rT} ya1:d"_+xIjq՘:Crk!]7CʸWuNS+3U Q?BCMөW;7[O^<2b'֤׿=BU2`2 <*' %A.r>|[ưKl:Dh ,Gt Wޟꖵ. Re͕H|E1ƹ.߅kd7<?!.3h.ae5TK+.dԴ-gNhM`j.%ڲBn<F"4jKZ (̆4jxc*vtMDk5AӵJ-oU YxpRr#f${6lґKIF{Q.z4t N;vCRnr:⮥rUqMR+lAgST4 'R"2J}52B#_k5BjUqlY,B~;k+fS:~W ٲ}ݗ.VW4 _SǢ6ghGi#kZVܐ>1Qnbh^++6Ub`I~X]ݍ1,<_oK"Żz#ur^ OpKG_ *pPGph+z] GYZ4uBeM~J*ؐsE+:c::R0 .!J7+un8NH n2' 6ndV؛;E~m57hH)H%ZI ŜkZJAnA$,4fVPP3kɡݯ;d 48: m.M-M;w#Yz^Nj'Dq: foj`C=ݯ{o\ƌ5qD,dg,x%oU}kdMK(vD8~ hT&K$>'/I4hK#Ȗ2emwOi*VLhaĖMO/7z!?yCAv{&Ȣ~=$z9G҅&YaTEԜ)!_t|m{٣]%^g Nu..ޞ. ^:sS ^Ӎ9!Bd}au'kR>UģFpC/wg)yr89jߎo',KtO g=B7534T;7Ű-~x9?U&-%|o:&o`/Y{yj\V[Vph_īAB`ybgmByyJj!jW"g$g:8ːbrbCx#N$.7o&'v5=2Ƈݘ!sQ!B%†W_y'G<sq)Nw IoT=grYF񯐐v_!:K}7<ά&sCG✇Dx+=}5ͅX\?rlMkŧzUm%@ao4 Ų-K)F-ȬE(k+}h򡨚i_%EH|F]p+>~ 3;ojA@DkWR3 *.nqy3AHϕ bH>'j cD4%jj_ V X;;xrsj,iGv+=;E ԗ(S0F}@QĎ95'w14$4qcA gC҇\,Ŏ5*bE!y'>:Hm4x&+؂𕏺˓Z *xar"&Lrl6rajPtZCPFحY~՞^a (_/j) B`oQ8/qT^:2_a[h4 ?CS3uq"M> dq /tÈ{]AKM5ڀM>!4N[n-D? EκFP "̋d&0^DH?XF3(M֯U?B Ysp/k`7Q ED+oД&$ ;A_~I6-Ҝ侀r<6)]x{gK[)ߦ%T;-ydLl܁Bm_g"zgVG?J@ RyR3{Fg0n!"|7qŕ0.ftT8T Uys,6ߎ@=fܪVJ& %‘jDAF"1vp SsiѕuUg GIҫ݅%M9fZTS4jjST_8(i!F2Ƃ.x5 2/ZcE* y>}~Ey7k RE # ^9p~\E@@ O&IRSV#뺿~'V=cՇ[)^ ύljzO8\.G`8f*0/1v9:jӓrz ( D5xGs詂,/5[Nƒԝag0\gXׄuFj7Wdaj]pP\.Fw5YKmy[ì )aqPwнvǢIӞ[6>ȥ>ጷ[Bt4rAռ)@p;ZD-c'eW$ٳ%'o~r.Ã>KM7I_0qVycTʽfz~T8ahwU_w滞.Zs١( =a?p.LN -~͞_m$O"~wCXigbst1:LN53\Eی%<@˘?,T/C9}T9G*_c|+do#ӚO'ts[NLTӪs$WG2,J7YXhC.n&n*>xg}֟t=p|Xh\y{mZ"~NЊqƑX"YYx_: &n Py4`{܉{I iޜu@#2}l)"= icz[ݮyx3}rϘcܩLG!ÿJ1NHƳNY wq viCP(/jc8^o Xx`JwG76*1ȿᗳ-q/hI}5"?d:L! fO10~{PpX0Kk,! +#+`_s|/,!~hr%b! &x}:]S| xi[@tVRSKA*yq9z꘣YGK-May O:3*A+D7!%Md`_\Rlh<ખ~\$J`2ތ:AbN5.vzP0F}};`5Jʄ&4ABwWh1m'0'M8? 1dpieS6Ko῱Y$I59cVUa#y2 F{-7z@oɩ):JGB. [ ]Ol+%I%H2v #i G%%>?֤:sjr$oo!1+0+ޫN.27yJtJD]lnR\"I}_fk&d$C0'Śm'NR-#XUG&U 4=#zx +9{s"(l<8 c` =1rB Ƿ${̪rQVt_?!` BN4)?鄝9jB7VXa m<+v4tid1^mL % F6~p^'?r ;N,δ٦!;4uc௢1 7JɄH2ϔ=^Sۥet:oOBqI5;@U.gy`;'dI'Cm{_RB'c~d Ό9a\BPvĄtyOL[M/oi@ bbneR>?bϛ pR_m@2񉠉g|h*cQh "r;w/cVho„^yi>t9]fٽ.+jpHtcH,zԟ}T!nSPgu[vK}[ԬYh!\HR>72B`'097E'!G+?[ tC_QB y#> ^\{A$):PN>1x+;.-Ue,tQa{l!ƸgA$zffPll}7=#=.m2זu692ňj ,AQ=w< 78ٿ>u@*#UܾŐ+^ Y$/j,Wz&[ltB]=:/LqWZҧΌ(ϐr ?r+"BB}&g FpLh&Vm%׈#L ֞sxq3Q恦(6̍ `+aݘÆ~Xn@WkE *v:r{z֓9A6g}r!vn,SFKI@ۡP՚Vğs]1fBZ0"vbfիgCnAxd@]xrmM;nX7^` 5m# pWaAL%Xrkzp|^{WI%p~쬗;䩹)A.`l }[#PDD QƽkF[3 #Gג7T0@8kL] 鹩֟uy l9Y6HCv0wɉ7~7ٝ'.֊tq4!ka4`^SW0x2-kdüʹij`?YӶKm$MtkBFeW}U~٪s`rp'إdDZA; x+fӖź&vH$5y-F5m7F+ɝ ]ǝiq( ܬRm0HzTeͺ4ѡ5gd@|Q)8d2GlWuTy]1 aeH}e*e qᣌ=siIPOwe1!c,ԻbC|>B%N`*"Od"$dwq~k[yR݈Z4\@5͊8,ٸk1 %nSz]؄6_27 6P ½w9T1F ĆEMC RXvsCrxՆ_SU﯍-=nJHU. ISA+R;v1HpWψq@ĆKouۅ@0rQ%FKͪגރ/wR0 l7pB,A}𶰭'G\>}{\J~%@8`[zND #BAKFdfn{`bx8szN0ήlg|KbF̖%5udfe@?^|cz(ߜvqBp", hUl=>i JjvK_dJt_z9*`ϙQ 3Er\ 4ה>]"'9Cou~ PH:Sm+)6oӨR JxsS!XSUek= G#Q3ǥsZS?A+X4;Fq*m4wC2ivpH,t,PG-.PQS}KSxdx(0Z-(h &c'vQy%Yxv '` H&;do?Mp@UA6JFЅ }ԻlҢoGČ#A]+9 *w= Pdl2N N^PBřq*NXU;^l8J"R( ]} Az bkG6gAp[\ x.=[=RWPȋ淂H($"H XHK't<̧ ǝI/u+ 'PU ~m>q}``= .$'.#JdL}b]F]Wbd[og^_(4ۆ鬂KKZjP]neeI"3T{f Ek 6s'Md2%iF}x\V33)}kGg'Izk2G15)P5Q]lBim!u CfEd{_QYwbl(|@lL,BB,zK3GX*BZY $׺ 2[=xi^u4`q΢",1X>\ȱ|+Hs L(b÷@FU.aE.E&*%w Taҽ^ʃ.GcH2pFU#ܩMY%o"tnWw,`J3 Ck]*US'& w!Kxf}M&z%C/ZưGbS^[UzY@+4d76}<7{x5OUKp`Ju^En p$ћ#}kvC)_I= xۯmS43^'1L D#~c'B}{q]+x|%#Uc3 J < m^?LgIsk2JҦhHcd'GAt7Ee Ng1졘!݋ SXA+`v] +fNnHL0/;6W*zL4Fήlm7?Q/C$ %a ϯ&g6BZb}@2ZHӎ(Û$#@<#9Q}ý %l[Nhc?rح6I+{Eoy^ 6xkUJz:j; Ln DWX>RO|љ\y2L>)j:#+ PSm;MXJсPxӒlHUtSJ/kj kH1{x}J <Ș(>b8&?0!e̼hV5'?EGluH`]xyqbNXb}¾4#;.R|a'AOU,k><~+p1ʥJP9nr!7f3N(yD"W{D} ts+E9*ބ3S9|<_K43f!;+->}) [m)%5}J?<6#]nU:C0r( g&d[/6sϮ4EHlZpcI2IuZ_uyb H1N:a{q*\_͋Ww`ͧcme2;Y$PRt% Wd5𿤹qg젊.75Ec֧)W`idd+3r8`~WK*@d94vkTPߢn&+M.KY0SX YKq%1󯓆nWݠN!q 7ni15lVVz%} |g|#c"o^R(L>>(hZ?#`&P4& "p51(Mb9*rv sX Rn(-il$mփmtaFU힙歱sl1UG.0_iR\wIC5/1 9K]6s[9 kW5Ō԰)f0)+8-K@Y65(GR䵄> =#{|3AUy`8d*B$x ݊LXfzHƕ$א .b0MB7/c%x<'zև[|8靳?RBn3!".-OMfwr=&bS,(1P`àɆd~nyֿ'j4Rq=J!xPCW dᣳ._+$Nqmɗt;1i9 _ d,-dJݱ|oQۙXYXcn2B|$,ć݅+Xv kt, TT~ cJ0Dͺmc)O8,BئO5q1%O-ע[0SǏ@ NfkIfSu8W tdwˠՂ.F 5X(c7닄\gB}١ls xAL E%17:۞ )&ܑ3(rBHg(oE~YjVUr8ԭ7*P<w,36_=ш!?_!7IҝۊMMkPDSr|aDQsY֏>BZ;3JāOAwE7:sz`^9zkXŭ} uT)!z!Ҭ~֬ 6o>SN:tZe`GfY(?ʍ.w 2. }=zxKeh2V+:1 Cq??=cg]q]WC'vX% ;&8ɟXGIը>u91lڲvq&dٗ;uHR6"U𠞫⁀KG8Ny_[e :N{ahS"Q$U + 05d5y"<)Rԛ*>>@x,݇,b 7-e!uuP}]vR<7?Dx'`B2rr_!5yOiB9 }N[_mF8.SMKԓԅˡܤȓҘE&ܝ}4lf |SD'%Oa1N=_##4ag49S@rS aeA;)gb撃d:o|9xͤב/Rfb,Bӽ-< \QWʐ36/8 p{s,JQ񣎡oSrKHu&*q0T ./ZSߌvi!hYxeNaĹ) )x]DTPmsT !$|M&}M3""`@A1&@aIdaīؤ8>oSGLgƓ¬y.jGOrUe5bU,j௏0F^|]J.3L/jY^7;>㭁 ftm-vr\fX1Qm0Y>̿&WEW"©*WaT7&4MZ?şߘy?6C?Oҙ-PM V8Zx[}6Pqe\z"5UvmtOF1p dauwm:?G՟q0|hg:tU4-7zXiwͦ,!5-& "pjch/\_3B8ͱA!;+lByQ̪)h7)dW7ɘ&M&]zR{4uz2d i8vmnLZӊn@HPsmX4 r;vwlgl"tU^id@W@w@+֐n1ܟfwuTV<)DZb4m8n-SMH#17eO( L:X9k{okE_e1Y,RzAD 9ob@,Tn߫ p!x$瀪eesV3vCt7DY ġ$?Ɠb=jް<ܾt0w5 7%)ܖ4Oe@I+Ԟa1gymۤL”sRkZ`c_3ض̇X 캀9 =mҴ,tyWj?=,4WZ*2C6.c1g^`+ #UtAnpG:*μv@w}E-$p>Joڌ_eB6)x4Y頀[P'Nڤ'zzFqOR9L&svV8S},])jD?"d m'|ENX}ޚ\$5a(_i ^6_ =^guB*D^GM#4 Tn47a |--:zQpC[J ߰ /8tsdõ)o 1C-ߜ) @Fu}O'FCe5])&8CtUP_'mw/)Q\4K8=58Sz33w4[nL+-DcZc'0la&3Geʐ7V!wWi_5j90M9&)CFDk7Y8EB}rxΟ5౻-.Cɠ9fC+18Erd]ځw 6*)+_î_)aYwFS-3ILzб1Z ts*w{3V4j)hI9Szv 6@hޛ< q;vwGfi$' jGi#mɮD̛Nk{ݶ۱{B]W\ 7heKД"N&na#yh^E9C(>N7!n8ԣQJ)#"Z>~6g'.N:TAkUEx80/ zZy)!< b%/Qc/jbn֤iN7,,ӁV_F%wIȠ2;/u/qnex FX UlӁbnt}ՄF^m]YxkT&P0*%H()dY-U2i`TyAmA،,ǐEƱю~3UP_TTK iU>wɤT؆Fv,L*Pz 44 sOo))hj$Nqj0Mҧ0g E|U6Y_>56wxpP+U2_ܮPFͳq1Y)-Գo5GhdՙR(髐8yR%JIh)) UK)=>%-7y1"ǁF̫#=s|(kJ;LQ찗nר_hw])D}H"J,A;-;'~v,ߴ@IYfyed.8 &O,]ih4c+>"94#dޟ*~iDS׃SX[^BWO O FbPxI* 겫2Mܶf11Be tn6.lʟ ""`r—&~h&(Q_Z'~͘+9=Yw@̫5]Αa|*޾\5 Hhi D./Ęɯ f- [Ms9h1n63=#eƼY&jqt3<5oʺiM:v"-ϹȚmXW Tنyc2-vY$,|o$]@b鱵<<`Rd=",{s ?C :,ıf2+zyȘS \ v:VxmXV1]ZF&G5M:T|jt,agnm8$-l壁BI4Y۷6MO;{ G?^0}897^['_VŪ)P[j_X.;y})MSLb\{ۆ`2Z SonVIS]o/_T^4:'F{@NPG-5 ${j)US,R{IYtSߒ&fG-sACFgWطiQCx]PҢ oN>n}fASn7>o@Wڡ(6;g_%D؋M>3%7$ 1y:X'13EB+W,`tDӆ㏝/}ɜ3.oh exW`doȌ,`߈v}]qᨡ 㡉aJR_o9nagй?PXK}yokPxPowM 6eB<›0'vKFIgJ#eӑ7xF: PP9A(Fa0Tڒ|/eh:]B:gu-IV&nR})Tx}D2a;!PTgt/pp;72STݢl v3ɶôfu%vmE6D$2k ^|v˥/[]n T:! w+M3Ucl^hRs[\#g6x]~8τ+g^@6L0T"M-ফCjx80'|CS\2e}qsL;Œ ^BPOX֋]Af 9+ TtAqPGBj2#EJMZ9xW~{z{{83錷w}|h?QDN@lz&4/@E>T_# KN"@Cv_nl>r /0'E^J4a) X e?:`[@)%S8aN~GfЪ<(q{y&czVՓOvz9C ;}w89jiȼ=gR 1w-/5T5jݚDW+\2(&ꙹ*v9~^,ϵiԶWg%oh98!Ǥ9e ^# c%a6Y14/5蕳J*| rө &+.EcodON(=_Rn[}uc\ZM#AwJ/P[pˣxyj$Gm LyR -Hixyar'&H3.X$&lCvط\wm4|p-07RAχgIE8?dq\Wwۊ nk$ߡ aԬU3ա>Oe@͎&F̉:f?R/fEg4S]#n'(Sw@@kfϖQ~n!jt&Ebh"dvd tU}|{qd 8x o ,2皺po$B"|ýwagx'V,MV;%<ń;Qtt,P]2mJ8ໍhU.X!ZF,#Ts<  :0kNϯVɍ&O\K{,I1 f\E"wǿ.xY?c]h,ws2{M=6D KLHAݴJͪjRw5yAI k,Ti{()(-M%i@`D6/%6T}ޠm#s0 Ŝ5Dg*BuP<:m$[ӦZ kg$)\sh``Fޞ]X:7ine 9nf^tZ_T1`PÔ|{o%R" z9{y|k,gI*VNOIvܠ;p򃼉%ɦW 刎5΅vYt +lJʹ$k,.[Tq_CH6(L64gy%c2@қ Ň&IeSO?\iu7:MYwAA(r `2ŭlkphgP$O*w&Fy4Ճ=^9ӾM `VCXgx\QӤX``?}Ueqi*2?1hҏ"xvsv%jd }g4 1v2GrI} o*bŴX2Cq˓ݢFKBe$wx{ oʵd^Maáp K1uEڱ|sfn@ uebze..k5&dP. 6AQz4iCv:sMҭIPP* 2_&Gixx)M$vq' M|k Ț#[~-sbn?ΐQHX|H:(gx@rݺWriծoE^ae' Od='QԕCZft&w Ou|t>v'._2?xB * h{-n`̯uj{^c84*+ 0e lj޴I-IfE GҵҀ:!u!H= ao @NEWޭ-&tC3y˨y,@8ڼZ ;(`bd=%Sb(Cݫ)2 f傱xYe6Ju|,RʍKƵL?owA(UU9E kX.ߔJ'*^4ovXH/ bo_{əd3nRG (»,0,n]˥*2_ު.S3\Y~~9o*=LYyibԷ#UmCŇ+Sխ2q"%;ړ,jp 4vh>dOSBQO @,ÿs J0u]B ΁ETUǹ͚^bbAKP`4~>#\!2a*盔-/ojf!zO5|gv+qr6>qb RPtA ǮC?0O$JYw=dȶ(כaX .mw)kjE8lC`O*.[R uS;zl9~ǀ7ܝQX]PDA>^qyEbY@ ։~d}DE }C h)Gj+$kܚzŢf.̧ծ34xH5DC 5֚xE>2mߙeC`&(y!Vn.*KBԣ' \bx\dbJ0{& G!0ߌ ^0oQΖ)c3*̇09)N5w+bY*磔rÒG<5gD4۽Vf_ɨweb?4[ 7OQڞњ;|UEM7I  !iJn'1b@}[2рͯYXWn|SwOhYsU#8#1sD?@%Qa,ޣ7TIDO Rd&QBbzSlC*1b1`T;nH ?@#R3gx&intdYӰ/e'[u[^k,&.= L qGPF".Cmr^6  ~~ ltQ 3=;,%%},`t:06X"ܻr=d7g6;W6S>7݁WϺw'-|=aKU)̮UWpeNb7TNh >_H#R|j*M a,~#Vd{ F΢wEIIDBMxN^w#KRmkqPtsY|݁ʮ 1.FO]tqT J^a(?²ݵ2i^s-Xw9]W r V~Y̼4 }Whϖ+$Y7fa.g1|}T{ ` w_f?d7<,k`[/'(=ނAT6Gu{DVFN2IFY[8zé798.JWp-)HU1AowQSvWg- tXβ*Կ:!*5^o+cb~Bo 5կt2Q6Ե+&\egYZ \yum2sPѡĨlhl mZ#+.{jU,͎w݊#d2IWY`Bʒ:oy?:;PO gQ/D ogXxkL>@Uwd0Aks~p_ |дGIo z #rPo5 >GUnB}n3"*)mI+h!UĥpA¸H(G^'OȠ `>%%8+mǑoBZ:p+`ά&/nXLX*ږ4'y9]V3Alޓqƒn^ojߣ&DA-$TK ĖtF<RWGCl_e@r߫?[}8#})|Elv.hyx+3]}lHܫ uH+$?):T=>˿%h`=2Z.?JD4jZ/Y\j%}Ӆ]6MDM0"*? <]-|zծSU'75/^d̂QVdNP_ |jk ?LV,vȁ{„ŌlG%|AoNpR/grl@ m5vk-VW '^ùOφ5.M^o`K{xbtEdSpƚëTQ"Ƴ3Wp^xc!bydllgr~ߎh@%0%7(;<{<)j-7'9v.Ma;~Xa!Cu .SK(m//x®\ʰM4neuI6./Po <ܚ/3/礦K_'Ir΁m37ˬ" 7JL^4񊏽s@TATv*5xtťƙ-4$QFi`&t&^7i88 ֯ODS [16R鏢xؑ1fN ̉AZ:1P`VJn.R9͙oq6"y@V̙,bG~ |d TGsr5 NVW kZ8}dMBŸntL$ޑ1[ڹ%Ptj֭P{+)gf#DBef4V<ƛT=2nUa]) \5\miH%FO"6r&2m8t]#xiX0"fF2SRx0,rc1 ٛB7|q{9H*=2D`Q>)6/T^-:lE^S4?܅LO`RE'\:_Øb_y)cYb9qm#rF9O੶YgzfozCOژ_.W}_hU|ƢԷskR-)h)JSjD%/P[o؍䆮#Lt;WU-.6 Q!F\{u W ]8jǧS >T¡AafHG?7|k:YGq4bQi_*iЬt^c3MDEMU]QϺ}(?,Lo8dxUGĒ|Wi3<7 /D?̰e2RီwRp{ЕGM<*\)$i,t"b |PJ2bŔe uݜ\CrƘ}TԌ]V;jyEB7Gi `m$.Zn!#JZf\LP F|0OŤЄ #Enjiجbܑ6;/EhHx~űAţ6iH 5mƒZ_ .qaOTH|tu*Q1f]XC'U֪`la[d&!l1)GOi8㡃I9 b3$ݡ51_'!GMM}ׯ3N߲p\.M;z~ujz^#̈́ 79;K "?7Yi^x3uaPcpZ?N/4Au|-g M a@cd!+|w6n_qbEATo֥_(/-};hQ!]q߄zmf-B"ĉޫf?L:A^K/Hftay=f5m6)̢C r>!8}3&=st;̇feoi7c: Jm J,Iնo`\L4H{,4xƫbVrOiZsLd Uw75 P"i$!)߫E<c_zĺo|O/Г |y=K<QM Hvx+2DhY*v US`#َfLj.3k UFMՏO5ƿ.^]A:˜Ε 3_3n8)[{TEz0^(\M*|5˹1҃(1mξ}MTNRF'FN6n p!IVߡTuHFb,l{bʍ\4do$hP] nF؏!lE|If;[kd[yG,w@O;SB}jEo ;8|RuKj! (3֧״7攄m zNUe ldcc$hI-98c=HHWDu17o^Kp NY!-:%~}$|ޓU<֪ L{6x'[,b˺j^QϪK -}R+^[K)iL%|WNdDe~E=l&t~[(G,ig$(M9r&!0@2XKoʗHul4ں@уnbȀ$]:p[v%B_[veK`KIH[d+ͳʛč‘i#fНn01OǵIV+i0CQFf7$cH;{/n zMb?HK 7 {̻pq~Vwk(!m'el?.],cDE9"uaU_@ւ(-Csy7L8('hh>Xlgzz-w6RbS:8ޤt;PUMH2%ɻ|u}k͋Ep;+#sk^˷>0{_z8O}-Xj_=Wo0)b51`H%,?&n% U,;ؿ@x=U\@Zx_r$1Bt^EtT`y[M I x)0!ʃ&YzC.e߲*`zƠY؀5h-ZTD.s{JzTuKR.JL$j#V6B}qoۅ*Oj칾dF}qVAP'5;: bsKꙛAKq `M^+<tλ:$Ӕ%WWU۾=Å fD7W Rxet0=Z nPHIt哴ƧE t1ԇsʰґCQ~H3tBE4rd/}̶J5d=oVڝknz*~wymΚ}{/Yۺ5W&-ċT1H9ZH69P$ ;3ڝ%a}#|z$W#e+05j qQ*UQNQq=)C|Z}y{+N8ŇuC)[堫LԭI?>NK#Vf)c a[ɵ$*>dzT\@/"osKتmMmg&ÊbTy{)УWdQJwFr!'U~Wx{Én/Qnԑy.Ŀ@ IX~~$_ʭD%Pz:ǙX &iƉr?UJe$>=ֿ]!i&7RMQWM/s'!m]Ѥ? ngӻa=Vͨr=_-P'QPÙ5qIiAmI&Z1m8bw-7?o96@HRm_0Lc\o|N+VWŔGj@E,G_JbM%x#nb퉂V3;0Z8kiKNRҼ(Kg{`LEZ\ИXڽT4_&r^>ʲ41Ɓt"^)tcj7֗5xѝVBiD2},# "BxHP[~_"V3; "ħ~o AE@ifKqLE3a㳕XS{Yw>tp+PPI-Rg3x)VW7Rpx2T=+#bz^qzO֙IJ4,+Nu`"ɦw)bҸy_C\> Ӈ!LC Wq{yg9z8vafxoުX>0$R ڿIayR9ǀUG 4J<`-by v˟pcGǤڵsLى-L*rxj2nj0[T9?HpϜ?DV}:G!uʊ;StMndIi8}E;i B"oOWF${`o%#yE}~T0'q) #鸑餅WH Eym:w.`ꗊ,HX/j6qnGIRm_6 *n[`s5Ac9ڒMȐ[ՠ0^7j#Aya:MGn\55䢺'=3& k+=`[%B؎TcpP>ķ)#*P`fK;9 ?|,@% ~UX4ԼT;2aꈕ~;!_'< QX=֯oC+|S"XǽnL毠zc5X_s`$z0:>>0BV깿WhW6Zdt Up*mgyu@߰ZemL'"罺 Z5!->ՂƂ{)-J?0Sfq+Ukoyix2~]iC~՝1N-uBKF) oEbD P|$(f`vj>'g .uFg:ǻf|29uc믿 *]/$5{Q a)4ǦۛFx/j.[:ZɪE&oZe`M۱LEF_o,!_&r6 ο+~ɸ`JG)DnGiE?Wu*r%Ԥ(Z+UY^,wyrTy K@!E"B؟1v kS+ߥfqRV]@l|Ztޤ\;^FBM-}Cr= H5猓#?]LO :l 뀱KX^8}> 31#([FFo=m!Mn_[U䩅gIqc_zC19ؼұ=!V1aO1F…Rt(W|T>w=BFb4RS:먖3?;HUY:F/BB ;Ep5wmҤy]T4ii"4&C\8^:%}M!9*%AN1,@=M %j=r'Folf&!z9iF̂2u?UqwI]V[5s`X((QsbS {)УX"ոc:hR,|lu3Jel JćUB;; pFݹ}b'V}iUT jYwSl0kd#Prwd3=򠆣1C]*%qm;cPMN5ѢZ"])apĿObbIF,%O_x6ɹaK^kCYO14m#(F~ty|-{x1,gAAvsxX 3QiV[MVwBaw-hgOk^b3;ȭɆb#e j\]3%C:y wLw}Rb;`74ȭEf !͌: ?8+A&˩#_P,i}~ʊbMd@"Uh] L(=bկPգeeMpXqbZj R>_#Wr?tX@fA8`&KbP`:@1A/.֑n{s7y_ Q`~e-y/VPgZ;a>dnW>NC R~ |_=dL֤GHy!7;6 ai6ړ&唅;uv_.hf٥zMi *f>ƞC΁r/oA= BchOً9 }G& WW!ob 59ܨsY7[8,>ǒMF  ز+xe<NݯW1żi?n0Yk!גq :j0@O{ a#WnWymes[B&+)I裵tYAxaT{3h5G1!)ah5HeM|xgc]B,B ] 0!ee*zٯΨխf2%P egNEd,A\1*/5 r^5*޳ӐSvk 0#šl~(;wY EhL K*m)^Ձû;1@A@֘9[\|jϭ@:SmqfVZIntMCJ%*'~l>5 >XXOfLWbhȖ >ȴ+i@yJ̬d'oF/VqҶ^a GM >@B]~ve$ kQ4W&]Quc+tX@ާ-X-Fg>-~Bb`؜w5ّّ$!FɖwBП&Q :;3{;b}[(/Q\JSd(Jnd99?LTd<1kQ˙:\Ui=oϻ)ҵ{' Td1Pz9|(Cbk.,XEo^XI_"wWoeY+ "9O5!Ѡ2zllk z }0I88n wPe/,X+m͚>l#l1SZ}kD_&L+Qg렊!Bq|2Qk\cR~UI|dXWBQN@9rb;D 3脲 l*78TH>c | ۓhd^bl3:!CFOsr0lM=n7|MpϩR#@iV`Z$N1"2 ˞N5va>Wp|vz3ܻjb"R>dR4D׫X%"v|њ`]8]S>n*FZ28 ^ze0mcѺ N+**aO3mOFN9 >Mt2I7S| #9 ˜z+Ze׶t{mt$Vl;тmԞeʾWĢi4Du>jx|7!2$hv#H){aʱk-K,g- X,<(8*aKO NkZ¡3zR)$b^LuΊ)PfZ~$5g ?Ud2ȧtN`|Ի#iĀ]%U \T r#m LV"Ȝ? # aԟzĕD>iCX!X=F:(XqP?4-:ZYž޷clGW>@m&%cav; 邑OMƛ> }"/}fwaDzrjcZ4Wuee 8VT{T']b`2L1CHm$ kM[|sIyΒg)~pAFή-}1¼ Zj0^s&›FH}ߔ$P]|+iSH{@ihӝ؊P 0="FVǜdi\'TSr79a/`󈡾YaS׶GUK;Ҥ5gi>8tfڹ+RZ]>hGblN;_`ۤ@y"׵oOkWe*pdKPP7lgs,%~塌>,#]5W]AA WviYT_T<8@O.6R!_U F`= P|D^Q+:xx\q"ȨO(r|0npŠw*b[p6,qAb<.o7~AowJ5G0@PpktK=.t4D;7>YE=/Wp0<|d 2 t<8a' iO02̂?ՐW` zb+]f&kiP2^~黍gB$<Iv/ڨFh84=sQ {1n@@1VYt}frIFn*:?NFIUᥜ-dNPLDl0gB 2>Q sc.;5;sA`q% 1C[f; xF8 ug̢q."> s;)wkϝuu!&W툯@hݢZg2S@DHx%pi ~9XX$س}Mҟo95&*O28:s_"uИjs2舺p7]g%-FNr ǡ{?Ԙ QC]R늻M3 jPw`Jo,K@\ _^Ytw 4jq %bI!Fa V1 uCA%J/ ^}:X(* |UI|?=CzmA^@ܘQq~!\:vfTZ?,+c*GEÝ\=Ecv+P҇h#h DLRފ94߉t|xikmL|:811!Tg8R{!r/K{YeDB=dv%zjrǻk^clJ(v;$ c΀+nDG YL4O+=MǎOVhQ,-6R,Ue1t}Sξ"OG%7^5g)Rc;i KOS9-c@OW>/G0X&qxZG(+#RL &GWDL2bM7f+SYR+_4J?BiA(H5@Hq7czqїpQ".xGd2*0U bGhJfGN{DgSg˓+eޕNS Vk~%( 0>|5eu!ԚopnsS-׬9Iū|IGu1ltɿZ, @^|Z )Ko`fIp`Vw M${-bo~ȥ%<|.0 |9/֍/0~ѣr:9; Vomhu`>=iX7Ž(X ӌrJ>[5=-o_[*Ѡvٔ?n:4GV5 C>Aeg8 =`,,:c^A8j[VTLtڡ0ˋuYz4UMH }s;@tX/MAEl*vKTu J>}CosDښYtfɒ>{F+)h tkq%IuZfc;K䅉JAž0g?gGR74tٮG'S]zU)4Z?R yuh'0YG3Q|qfC 纱zIRd3Ej *^bX6A7%PQ2X0$ʵ<_{$s4o#FA 4π.`Y褆@[xܛh| m6d4N,tCvA+b怄 X:/$9mw-W(Nuv°1OIa!qMM|'c1ǯ7O>23zʜt,{KEo08J04>S`uuvn6u5 7\G2\H"/huB|b(}˾6I ̴w]"r#aoG\3jco,6]bCy2zOƂL!$"a cai/VYu9@b.q#"J>vf9-[Ig 1HlfUP!.|AU$ f~93QƗ:AdfE,h~ڸGǢ-vS>fs=C^u)<-RwyjQ%8v%d]6 DzE*f-^ !(rQGJ8ȁƏR[Ac4d /50Сw5>@ r5B5L?'XD͠$QM6dAgv ƙZNBuF.`)^ʔQ񆎶.ƒ23-t@oAM?'@zQ, %̝gKMgՏz=m^v!\̂(f""u2L0ߒ_Af^ۨ5 EB]8ujzphUA_/ז;lLjGrm7>e;>.ҎX/.5Z%E8Q:4 zրI8]z۲knt{}Pq[Cdh,OUOGTir*j` 5CI! J`2ۖ˧sK+z]_Df =8Ԭ-؉ 0OfYgy2m2#5QX[u" }Le 1x!#}%(Ns-N՚=y dV `P|e@ H ](.ti~g*dhٖ/V p Ԫ NFrԢ ->Axo3 igNXT-DP;U/ {x~/ Naf!RmU{0?D.]eU66Ԫ&;xmj$htD|%iNUvy EHfhz4rp}uKNW{}Ԉ5Sա<]Y#<ⲉ4c;E2UP!SDكpx^輽û^s ʟp@K(Ln vuhM',Yf |^_w7ٱKY Q6怟t)W\8=9o䩙$,3;A`uPu>?!co+UW2e%òY4^zݯf5 CeROPv#~n9ty/\vVy1ƣ-gd\G,GZ/ d+C K[`d-# r@f642~|?9Mt&ֲGćP.Lg r%جmLh9ژ4G5INAĿf~4U4ָ/b(gkhFAp 1Nޙ"sKifJpe0af.IoW=7|94獱 FU%~a,GN}@R7Iiw@(P^R`&l.#ȕҐ3Zjz/#!rB`UiZNdGz&V@ /T}LX.3(Gցp9I'_%9(4vs3|>H].eWB_&ù_I_d՟ T`<|FѴ-%('nbS/)[ #:dMAsEA_P&l9 t4Tr]B05ץ4Gi-\axHL.5&<1|8;X^]nB:?M>,̐s(K*u|28*~舀VQyAP';yI P3Fq\-P)H2!o9L!VDh  LbmcuO{d]kD% tv) }U' _O*{1ۍ.a `޷ 75 }nC&,JטL1~.L'i2RZ3 񯄄&Ŕ 33%Ȃ \p Sc&EùQdibҴz~!Cf\vAW(02(TD@kU}c=<BI iԖoUNwfZ<3c!@AI=6#&Xg`LL,>ƽ,N8!P=J1^ t(G0_uA6dEe="Bg/9&=t%5e8:S<qOԲo:m?/ ;3-W&T![꫻l LLzc}{)ǫ.(=U|{!9JM"Z' df}>E[_$ zHI"{FuR՝p4'x@39kl؇1r~#"Waj+xT^hٙxl-IȆ#ͭ-SL\!e!|M@8@Wv'{,h"GC?U޾lւ'#DrZ(:dW)^ȝ8jc =Sz 4}QtJ]]IgO(:\'i:{m$HQ&K](XrɽN՜/?Ɗt*vImRkiQV\N<4 AUeK0T洄` Bכ.HmQ# mDTJ[DrIF +Dd45C#LeP QmSrh)wu'CgM 8jq2NȤmx5]8 R ZJ |dD{tK_<*iCXU?68za.54.&6tXvn>n"tzp;W'ؔ{QMWn{ =.[~e^M;vG!nJum da=~FL)B!Rh#3vnpTMT8B<(վ:N*ɪ30z,!1Up?]CX(hEF˜}Mk>/nK?m ЯWgQ e@HC."rִoS#^]rODTF h,O#pB2n iPБ3@6&7[UEN|2jG|T-Ô?(A2w$ěOQEй>Kz2=lyyB*GݵZ{}?Pƛ-Rۇov9_o/W{Eɋd/ka⇁Fznh,Ȋ{q],BLFoґ+ grr Z j@c5ke ._3= twWqimf㮃n&Κ犂bemv :y/5晐^\tO WE&1y|֛Pa#[-Wb3 /YJbZ/JŦƪdDZh8Ϫ ߪ-mH.R%B--ݜ? ş}RhSȨ^oʭځO9?t}j >&1,wl}r"H=Y6{D +4dȁ3Wf7\!Km%`6]1)~DM.}EëVpz`6V؇on;,H?8АCĠv;8?ISD64,ot@>kZj^&W ~ڂ٘u ̼7{kxD!'O=nB~gm`vWD04Bj)(燖"ub ҃_2 sF+a-~zywfzث.V9dA\%O{7?Ƀy7TSL//-?mo-)4c&K4n(TmgmY~tgMiD eyZ4nN3f@9#@'㗹WݶQ^Ej=Qxp*Y_ۈ~n@W<;rG+Ә Q_YKKTl:x(,NJ;Uor|$q7qx2 `|ivxeܣ[?>jM%!]VE%@v; GDm( 2+2hA>:VB+YVQ>/;&=R$2ZPz&࿸2j:cm^{"] ;OǜS,>s5B{B}x?OW k]ޜ7MWiZ Ճ5 UDӵH=K-l%~g%SGA3p~#ZS!L'ZoG䶜څRRĻPϲvM^BC@dZ̭p9cq -|]G[u+w*x+ɽ/$a]cXx3q {LH94B+lFkd}?Vz0WI SU[1/E2蹻<̂nu_̆Gr dJFO`i{V~P\ #3;+z!y:gn3fw5'9At /.4AwTYGJ"K$2}Pyvg:A% wvٝϞbyC^?͋e&`.^˔'wBʥ6$HQH;YOM,m[;Ӯ2S3`_IEBP;^akR#:Р(}wT ҇/J&m$V5|=dc?1.{Ve("mx:xXwv[`2z3Ys=-_e+?KMչ=f}oT}nXʼ2a*xr私G؜&`d ϭEh r^TIn_ Ba hfy N%TwOy"Ì_s_fO$8xXﵥy?p^d}vfٳF C.x}ARY9HZ3QZˊ&0lXwM}m~?4؟ _`KA엿JG,!=CHGe=z1$ ChId}7xX;O$k EL V]Ӥ(qxwc"_5!J%+L]mmp_ -i|ɟGߓ $oS99VS!Jvq7ޖT5[XȬGcdګc1LJǑpdoߝYUT򘽵^ i#釺r Ђ ,e{ig۵S@;!aR.q}bӳtף=`Tmfx3a" |a*Iu#쭑ݕ$rƬ&{aMRQ{{>?=Fâ?UlG*%bDsɫ<&g yi҆ @uN zeZ%Q>|T &XmX\G13z(%33EtvCPƣ Wr7␌eqMa$W?SN}B};SJ*S6EBXߐkHVXmyQ c^YVBK&Ed[[t$D{j01'~E /RLoN!+')|wm{$ޱgYZ  6J +I% Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/markup17zXZִF! K]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEe0iٍr}z0߻]~O>t1nNs;w: B] P?t~Atm_ճG'B?j;X;~pOEeV/D)%upa{̜کlQO,Z~yc:G' 4kK̎Jaǀ#ul=k o6Ajur7cx6jE;_ 4K%_f%ⴠE8>L2砨ԨhN:>ևwRWCd Y^5Ds~mH?y+m7m$tϮ@?dT唦]| bJ|#]]_#)dBAX#F3R\n̪`JTvf$G\ ,u'p#$[PtM>ǦX|SV ń,wd\TG5Dq%K+Hېs[ɡҠ UL,0:sl4ٲ N5d+fnJKU_T1\&2_7S*'WPÃP5_4sA!%l˞瘪PLLx{a%,;LxQ_c cu=IHedU=g0[1g$B(;}خtLHCޖ+Jd|V3;`^X7΅}j Dt}=:W$טBJeq`u+ZG ;F9gվ}hi'jD"| s`hi̧x7Tӣ( WeW/hzJxyP6WײNooWcv-:kюH c~YX)ޱQ'Pָ{\%@PBDZhbGQ`aE "RD6^F6c~pkܿRA鴒<4F?}}U`"jaTԜwnA3^.B(f$s23,~,@G/H Ǔ)~Xxg,$NQ!$AqMp6й <2cw tήSyPsAq MQ~BB{Ddӈ- K-E;\!N<&|FH_g,fIpoJL5HZ=x1a0*_xJd'>X/bFٽyZj(2k@j)l1ZZ^/tL׃ZQgM쳿&ymX.4+_WP6gwV`7s]l-"΢s* [oaܐ83Ӻ|ȯ8ц@ҺwGФ`^B D\"s$KSd˺ 퍋JÇ%f Aj %u%CoY}Gna%bt1$=`9w?kmᘽ_E+POZnvσzFrge|b-6*9%ZQpٳwN"5znNV<& +I!(Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/files$AFP/Landau_Symbols/Landau_Simprocs.thy $AFP/Landau_Symbols/landau_simprocs.MLG +I-Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/document_id5820 +SO 4Quick_Sort_CostLandau_Symbols.Landau_Real_Productsdocument/Landau_Real_Products.tex7zXZִF! ?a]A-MՋhvG"uIBm5SMo.NwoXH72Bo.irwA]⩾y -6FN"ei;SOj(gn1oFƛM_ڽ=TUJcL]S͋ `[G@0J}mT9l4Q!;hs_ "n)ŝv2% +Spb~ kǸj c/iԉ U L[-i(y"dtn@\Dk:[/Priߦ. Y9bN+ Ca@ ~J(@n#rS!$_A$]N$7 c3v2SU'O*^gxC莺%lHkT# j0UL okD=EPۯ,jA@ s0p Pj 7F"ֽh=ҨR@2Kz'@M3Υ?϶*bETokre\mq^·SyךhtPfK~jPGlr7/^g"Tue.+Rg"zk9NxU .l'9S|DitP>oN%2B` iyZd,qEs7a';1Oq.dWr@ybW]j G] yĆ8+G__`R;c*`~9[$,$y^~`Q+zR߷"f LZzYY1L˸׎?A)}] DH=Ç0'[vw"1|%*/iCUhDBȬYv|>?¹k\eH7v3{'(wU#)TUF)"ZP%0ѦO Țo 'fX቉ss%)oǽ&W,Yp~sF|쵻3<`nU`? 'T‡HZեkU7ikی͘Tn34_fJ! ҵ6_w@L\|wf<<}ŇXslx~zxUAX(]kUNZ[gT6xg@_Oqe}?T4Ao1KYF"G򙡉vFLnnc؜cAqf= qJ]ZM01!{Ѡc ~%6BYE8ceXށܐ(1eZh`U hNfY*jnSF>`IuyR[޳s`8 H ܌l(˞Aԏʟ1OycM.7\:s"|m#dc|ŀt_+ǞF mGaޡodWnEa͸*<[o|wa.xe9&T=yzYbtoD$s @>e&CBGmܶR{%o`{Y(ΈwgKUA*渱k'bi'K@s}NeP51'@GA5`~0((~ƥROpۍMyfnk߳#O!/m k%8KL]LEDaC4k-tƬ3Az˛ h^zܷLUUV`P4ؑWARޒ28-LE1){!"o*e &O9]bbՃp}kÃp@SX ΡmıRopV,5ʸڻԒ@c>9cYqnΜ$z)1XvY G?{\hE[} .~eohĊF6)$UP[WmdYt@ [yI`po!ӈ4T !@A:}~a hfV*DU Vt*eʰۭʲcI6a ڣwᣟe^'u\ߓeiw߁ϵ:l8nF!O# ۵#Deqև֥~`7w݋5=Z*m2E3OO޸ݮ/s q&آ LK7ɫK|Dmي{PD &.՟Έn"8ZNDwc! iÑeڞl Rl_@+٫G #(kcU >ݢS\:i|yg1hJ,dT*) 47yFN 5O%K,!DڢnJH4aЀbہ} eK*g%43`nʛ|#&?|DM # d{^=E8ղn>om0l+xOM8FT^ H`/羔{K7j!b{,=)k Ll`!QLgI٬cھ,$ ޹c'Z ?܏E](yй{!˖ȯDQ))h'R0surK Jw,Xg g*`ψ}~?L?_Orc;T)XI^}FJ1ՕFftU*0X53zANGzFɤ[ { ԊV!QX JtYDnQϽm?ϐЕ"/xȟK}VZ^ 1UA,$s>@}WRn?گsz.[w:RLFxHr.~1DјZiZƟWx*0~ JҨ$:(_5-R{;EZ`OnDDn[c TAMK#G,架P5PhVSnC ?o:TAen"A5 D =Í-K8.pgwOϑ4,3c2c|K{HNN~O !z+(r-RV.̽>2XaU6C"Bµn/`5~338HbBF4s==$0\bjԟ! 9 H=v]; H/C9cVU; 2My'?=\L-S@њG.;#t-wBypa4> IkP7\jD''&_2{U^eC}#ˆf+n єMЎkTҡj>&$O5~\U,4{OXt.{pMMXM\[ps_@5!KAn@qoȩ?IB53L5|UA䣑CmZe:+ i܇X!ɓw3i]^ i3))~fe׌[.R hB/5 cǿD i[_Ъ>dd}Pe/l"XAm1VB" Npߌ+jb,)͗2~ ;|O֭')aaKw b*͙4[gMkknrl5'd "ǷѮxC37n$|4ju<\ ,,wȄnbQ' 챸\e?4'~RGb?2; y-?d;0=QV3Zu&&qPh׎㬙lEf+έ`2 2 w#ԣ35' cvy|PZJI`sU88қPCHdevGq~ѻ?  T3%N6zNےB]Sc*F8틠 7Gv> qjm&ŔH(h#-h):8cݮ]J*af%v$8O-p^x®L玞~/(({ilyT8EQxL R ,伓A!kŸkzdVmNKL6#*Ma5] 1?=Dб*zbLEKnX +Z(ލnA0#xAҖ=Wmf#><{4kQ \Zi-C (=5"YuI :;l>!mmL&ei,InSu^9q? 挫`J5P~Ε`ʼn%J6c[uW!#n\UVc $HE(0fj18#lݠ Bb ' 6\;1$mO.WzK~.zvW@'R`;j1$$3rJZkmnwEB̍\ܵ-4Lf z㒟\ݾa^FdWZXhp'E E.'Au0wkcG*^Ul;1}(3Ē4RؽؘOuG)>MЫBc˧P^TR9=lպ]C^ J o܇y4P2گFu t83օc؞k4tq8>p׫M|E;8+L3zV~&)λ׷?bKJܱ>?@xƽآRф,.[}~ }H0p vNPXl,tb[}H+w9Ig_qW4r95΂ȈbCvk$Nβ뚊TD.qx1E=7Gy>˶*<evK*4M,J\ 0R %$nȘdۑ'*5S_Д† n3iz fVS({Phֹkhioql/u;洙B8!5+e䅭ĵvx#0>^)0 ԗj>~n;A0lJC2"O @d|E3z&,˴%pךЇ,uK=@wMٚlj-=r70Fl3JX] 45(JfŚ;}삻6^6x# KLvJʑ@cˮ4W=4G)ysa WZ:3) (n?:{47FlT4yʔh{|VAY. zyHeztC!z!0|7v6&De$U% CPJus U3J`rP>1l%MbfkO0k<+C(?G A=/L&M]!3"TfDBOp!< JlNiN&$ fU(v$vDЁ o@6=#(i%E R,$q Rqؙ=Rv/TqC-!"ulb[Nd>  yc9 ejI#DC7t>J>ß|;IS]Ɠ'u$47c,6My>5S[~tl.TF=G?d>C)6b76ABL* an[ŸLrކ~ qK7lVZJzS Hn迥 &0ÿgsU-`n"%hM$cNZμE|ŵ7ʈܻ.=A}TDr*X6m nY5"Ic!w7|/b@Xkx"Ù6}{Aɑс*A/~[h;*bT5nR_:J0]fD7Y4q%:&HCZ*[u8Bq2pОrkWҗY-ݖqqXa'5!uVToqaLz1|Rf|[Bu,Вd! I0tl \IY%veZdH)<^hGGeKq,IR*E:&aHZ{N\f+ԠԧF̄uk:Wtz v_ @>!~jfh [Yk/v"lua$9)#w Oks7:{s6Zv 4*`O߭c`d-ot6$Q-im'?rP5CˆR6A'K˕H+J/8R:~"{&9~ԕ5Z#Y39a}6Qb|{ʊ7]ͮٵ爯WP_[z%S=<)$$HC*N@`r +W~J[="qa8tIuk?2݊Ar%)zj?ÙM!Ƀ͊zCX'rӬ5f.pV1J7]]fjmm1xW`IhW4ˣ*õ\]hs66^|m nD )AH8j*qLV,赥_w ċw\V:2V ny̲<ծ Gwlސ8gmnٛCETT"I R:C{O u电ZIwvpz^8)bhSlttȀM#Z>', Żži ѭ#Y)Y\es&BzW;B zLDTaEcaLڙ3`֘=i^f'ؒrs^r)uwDrܳ J谯CH;_L%Z {|>JSƝkK`+%ǜ!ŕ,TT dm9^4@*z7w(<f 8J B[#]ЁnD%(E8eVjPT "Bfxۿt l,N27;B\#3%}C {3bH[wm$KfG쮷%_k~Iw&bH0ohey4pNޕdЍG!Ǿ#&aWиۙҕbNFmtG*H8-ټ6Wsٿ3EF/[8 :AܖgLS;KyÕ,PZl<4w{t76K|6kW+!;r`3 {Ӫ>0Y[W: %uοp cۄ2!2]2\2cpCežN#>H14uy_ٷSa'sϱo9!hk(eU=Wqi,Ka*JeQU98_VB Ԥ>ȶ>^`vcq pF Jğ[oIZ?hW&$a"bWnRAMe>cT :R0(@NL.ҷDF {Lnn8}Q,I𐰵…1GPK8pö L@)BW\( 2MZۋU]/# *_oԜg5vF8 e'tb|1ޤǝn峽f{p,wUQ>ua @{iHtn?bD)HMd4^%9Mmн)w ou*E.o>r(0] ) +}Π+\Uz7haV}3%X3#7צF_{t|VS(1vےj@%+@@V~A)[қ0>u|0tj' :^rZs.#P' ZdC YC.INGk\tm!B2hwvki[fTmt(_MYVQ|[@a0G;򑓭v)ho~㳀әq x_x85"zpxz|򾶯@< +bH2.ݢR@?2uUorЋ#(s,9.;afR"kYhf 3~g۪mQ:vTʚW8}hN.Ȇ7uۉ&RU Dׇi5bJ2M;@yڼNu*@D}8 Hi2l~&@6$ ؎%y+|N=7?k&#=7FN=+[3 beqK`P? Y,3:aw$gi7j@*+Fk-3c Uǵ0:Ʃt']K|>;"j(`*x-u9d/WuY(ŋE3{d+X>xeG*/lmo m>uߜ;!=B_s64b|,v/H|!> Чyun?&zЌw2uy"O(| .6|eBdU-ϭ,/)]N8\7M[&Aoe7JGdUV.ެ$-#o{=#H3} (8kP16f;ev٬d Bl#NZ 7RM_ŹΖR%E9k0E2#R, KQ^&wܥ\ڈMO.ŚbeUI;i.ϴ>r?T$?\壣*>^ Mcc5]I_~NxSҕT"b@4p<(N*.kZq(^}jn'OY8GEy8"xŝevMNLJ` fWn0 ."My?" ~nw_5G܋s4PAT.-'NӫaȻ&Hv"@ðBƨXSD/Ҝ7 f0 7i#=;IR''+Em&R۶m 3rTmT#I7Ə1FqL>KaW4-]b!^4 7Q䷋^o~^bD?SB~I5j8D_xNLK6#fU1[ \?c :.s\Nt[+j+}}#$ a1wr*b_+m1۱Mo^>4)niuuNA0( 5x2f?^Dod)f6Om$iפHpULb,OMG4%9.PW*UJNO,ߖP ;z6rkJ9w%$gJOeOI {mH9-Z@@a2"TM|VKsX )b[^7XxGh4k|x]]<"'`$|3zf{^ xv }piiuC3]We@ܟwksV׿?2'VR:n· Ҍ(!g\Qy^X+F'FE]y ?ф;VȰ^lwˉ<{:yV"*usX07br`Oqל}EaG8) 1A%CY3b^c<1]^ݡݔ۟o'֖N.?pu|F;R?ep,\B|lA,ܟ{I?:bBJÙ.18؇PjDx`UeK3ͩ;yąjQ$k-75 оMuaS4BdžXY5v6MhVvSL"^`fPK| P81lP|\ gvLV*EE2y=wM–`,QO~̛G2ߵ> *{'ńP*l.FpK *w*j5bM o/T$#6V'oʣ6 :nߎ_w8~@1vYǺɑhgNSMBd7jn^0 k|ϳߺDrmn2X0@KEt |E 2+$tQ7 s]XF{Dq?U67UF[S*YdO0'5E%%{jyaCm+b Z9^U)@(aFg.YseY |5f߬[!qlꍣenXlu;w3@.C?ך 8c[$b\3箦VdB4^]v+k[e[co1V W[AY`lb':CȰCO(# 24J ;u~tInC"J>Gq*xÔ=׾H.PbF-ո'GH*; ?%&2BK=.:&-P~u&uؗ6R3*xn{)GЁۈ(]ghD_@9$RE @ߘڮ^WbgYZ+o3Y+h \6k#,*.S-%$,NڼH9&Ϙ?=K\8 rs{5Gy\^ ,[7Kģ=ñm{ Ĭz0vb|#KT 耇_qx!C{ =QUtj&mwP~[ CBO$fB:ԥ`'zN0|^E?if/{;-fvAT7T0K(N{ 1(k(7ǐazS)( #!aV9XtwJ 6DC.n[)g(1al͙-7G{[ɡyeGSmn^.8~w y5K榃cQj[3Ur@3 opn=q~k[;uú}Dtۏ=Dm@][GLOJR,N&Ng IDzIzApb}h.b+\ǫ6(?mF/ ĵsLɆc[5U4*$vØ5O<*~z띰!SMݜdsyȏNeMiǏ҃:I *p [W gk6MПkx)G:sl hP;m~i#\[j>sWNP߆@w)郖1SU]f52{OMqTS%OW !D-o,ptݢ@Լ w@ YPh 8e@ 8KF)P9x7I.;S G;(Z:D@+5ʔb"S{m5mtѴ#rl4@U<=6tQ1wdҺZDoC&5r?6J"2+ts [+,O'sG=~IIFXk!$_qP̭fn)6җKh ͥ=J+& plT;.uV,#/>5-O>DthK ݋vpG.GZWcnkƭS:8kXUTz _MԶ0i'2?8Xpq6l"%NYG 6yI6ރ`X͚:@nѬm T)dn@%¯k|jڠUWW1(G4AtLtlPC6B-T>vkX,⇵3MusϒzϏkbJ/zBɘJ{7Iu l~kc,{. Q{ 9bũ`Y- EmE:uM|Je1Z\Z&&!\tl0f~')r{Hra1} ޽9g[r B oԡ^bxCv񘴝L*}e䤖GljP歒Yo͚x؉4ЯVajOHjvĥ"S' %CGa[_G*hc fW${-A>F/K) ny:Ȅqb6A.f|>J!mhCA6SEBWx΃b8$mJ!DNкJ)T~5G.#Ӌy/)3`ӳ=I`SwkwRUchG''nsuJP"V ?4]hK;6k˕i<{oG [A;lK` :#gHwKC\౱EwYz`DI撗XbDw)$U6._kdZ͈;)"J.43E4L J;&ba@B8ꚤR=CG=RPwxٟv/.X¦}v ڣ,RHx%砆U\-5t$Qoiïg/[LD(eBUXrP.4ʠYW@;_|ǎԣFBbRf̍޹) 9~4~ d1 ߸ZHS2I~>UⱘHҍm Nx$$D}Qa5+bckQM8Vu)#f,9*Va`Qʪ;1>cJp2<.pøO4Y+!W?ƂD*[8BO H {]Xve.8ֺ0.}5]=nD.Y}KY5e*|邱 eWwXh!'j M;Ne;0D!P'D12bN?t|М6aye)oPGrIeG?,0q.嫡+Q-` }T\z.fqp E6Vkt N ~F3-sI9fһ%EY\ _¡fyAhTv)lҰAc} XWͿoG"E_DH˻:߸Thy> $MK#Pt. 'WpN^ ^=$"%X*vu売cg~ ditXHeoX}RJjyg-IP=Ӊ .S)HetTHgm[`)\beߙ q{+oC\Iss-~4R$#ޥRVZHԳkOGwYoJ3ا יDtgwԈxU._V»\~t 4J*Zv!=a is({hIm}]pƳOD?%fj#^NjJw^ ԟ:4cC|-ONkyqo!UEnmPh.鸃Bo7=vo/ycᛃӟlS"s4Uj'y9٣9$ 4} Y^C8!cF O8ۿ*29im-+*V T<< Jk3mĿ&E@!cQK|W r~ * zj*Wsºyʩ'E:Ȏ/^bs:K骕Asa6W(xż񄙠Vݐhr S h]_j@* eǘZśu>ɧrDЇ_dJ7Y.-||tA0S(9O5kZu5ge)?Jk_>o,EtLrTv8^D#կӸH7gmZ)Y0Káz]yyׇ jubD !xe}qC3mF-Z.X4LKAɛBy8FAmo"^izs:.N4utb; o-t|8@:AxP\勊*k<1E#~&,z4|=fHYEҠ~ܢt鞔R+U7!\fG% v  d(_5zKɶ_@*e+pKcD&xXI˙$&(c~@i!ȘɦP=j*Uԙ>Ώn"T [v @$K4 #rpᣃO$]朰:}=&>*8xm586}UM^I9W^ptN*׃zr܍Jg됻N4{e) BXJTlM9Iqr)"j 3`Ԁ'YO_J<>H uQ<X/͓x=l-rphuNm_߃Rdo_w[Z2/'x|B~Tg@ ̱cl/5Ƀh'#hP@ ހON<aU13:E:1*#YtEcw4he+z4gW(N)/RM-[]F.LYo67^C?8Ye.v)c-ǁo3~#?-aR71b/ֶ6+A+qoW_ 1ꢬl^o}Sb+w1$Oێ[& gvwo"zK]BoZnyrg5Yη_Y;'\=!>Z@5|';&. yUm 4XبqBGX[E  h- i\@to&%ZsDgd.Z7_ʾ\p4k3E,]@ Gj0Ծ_*ZYwa7 @~r9ρ~Q{PT*!w| f|]2jqv#"u-A4 m ]!g19cX?N{{+vC{_ Huj7UYݲ}F;2UY {0ӕ_tU{ݾB ˚KUӱi崗)8BJ2)h| |p}>c~Q7t7 VZp:zvw97tSOJA2y6(߃[n˿E'aE f\cyfӖ qEU.f@+{l6[wi10Yӿ' <~qAh0Ώ#s'NDN3^[#vSSQ(R4/k-Hէ"@~zTd¥=YD,=73\%UbV#jہ y)Հk!Ts? C]!*P[79* >8})ѕ` ~1 |ÝJ1,}/6V%QH^ Dd7&rY H­E'EiyDi~ILtm{e)d>-$dћRO/"\Pz;-,P:7܈+w̹iR0\H,1e+1+} 3䃯_x?t_s|i-l&I3wN^'\TbtC>5[E͝bHmIQ{lesa6SY 62^o[% 1g'SГH:/L)[/B8KÄ ~!3?_%tu>x\9!*eLS^ UލlB/(Bc6| "ꉶ[2&->[I]kMď.I"TkдB R"zȍz}Nx'?'iyyj2gi~xSR&Q 5; `YH_IzLpkhc] ~O:pEei=eJ=#mM$D &I[Q5+Dh@Nm2SΕ݀Dž fM/W9gĜQ'g&%ƾAhӈZ<_M)oOuӓ5[ޣ! G;XXetm~<6E)F۸s0 cAkX/x؁ 睶NQZ Wt%% ⌢WT )D)L8Fvs} m,񀐳u=钳,h^> sE&LDK |jy~Y!ݔCAP{ bx@tCneW%ǎ}Rr=xWcڸaMoKY`"a`=>HvQdSFt F"M 1}n^[7XĦNDWPrWG%dZ[]V P>T'ZzQe ɽ&#YBKj*"Z暍>#\ B[;[ DZ|9Jَ wJ&iV4"z 82H_O"gYZ R+I' ,Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/messages7zXZִF! W=N]Άxʆ5.f-9 rq@y.vN02]LxĨZ`,AarCb=ti%05.G`0A(8N ,U#_i ybxCw O4s$QJK SՃJtT!Tχ-E;>UvbB%Hܺ~b(hd2;x؏ؿMx8Ty$*+sUcq7o\ ʁB:>$^ͤ] ~lA>Hc̽x%qz/6=FVw}h,g4@'4D㙉asqSH͢EPs'yP̶hj>Sxh6ρC8or51 yB6Fn q_Zw`邌<`DM\4\e e2^7k4nMtSQtwNmaR(Dp:FeLY[x[}ukkI`eQDUQ:N@s*m muН ؍OHԗlJU2G֭X!Cpp)1,7K_GfHȁXZ"UlHĦuwK"X*Jd&r]+@;~SVoN̫,R% `{j=m<~ Oj2V@s:aN?ld%*UlzIGۙϚgE <(oyqx? @EG*gYZ  +I# $Quick_Sort_CostLandau_Symbols.Landau_SimprocsPIDE/markup7zXZִF! .'] }KemЖ!(~aSZnwBprʞ%.u0_~5n>y4C^  V1+w@Nc}lW/Ex8xȅ@M42M:[aaiBO?8y|W׎Խ 7hʯnJѵ܆W4ɜ"0a㷣TUwEÙҟ;q#氍8TT5ђŗ5BX%alGsZDm!$Ʊ5.Řn_T!(L}|[Ur(IQ'V3`pK?@K!E;xW1GN4pP_8wEzVl/Mڤ΃mt?VI lk7xqz06$*e5īN&LS 5% +b+GO1d/ i-G`c+ЪC4.|CC3 ) $s1']+ }> j U.Y.涜Bqm`b:,|#]?EI?u`#XJcd;0Ah6!oiZ8]T4+7DZ3MmD u[XWy.9K2 ca1j$C;gHVoz8fuX:=w;u\ ̫4eECۓyAٴ(hsv, "|/*x ;9&:{caM~C!]n#QcR'?o|/bbŒ {1\\ܯ._+h< oz{:g@εJO£lTLT9ZlUhfPeFiov'/Z7wxwbŊq[ԛP9#R3T qug/%%Xr,4$%K jR t\σmsfz+*icsg2=P^Sh%&01F!vR6QR'WKHǁ^&MI44։\ƒ&r`e#  ׮ܰ=E`(43HsQ|?9W E Hw/G(4tW6C'tњ $w",9 ufUYPIV|U#2JB9W9DK̂d#4 &oiJ,o5^^~<#- YxەzyγVWjQimN$u"~! ޿gz_˥);:2T& EēYi`Qft("]gCɨ(Ck\ 8=V~(W p˖L){Z9ӛ`CI zf=uM$u!?X,.֓4ֺZ$m6jsI"tǙr/b=X>gp@@Y ﳓPhPv?_[.o_L D#_IͲefz #g,YsWnC 7$?=+7:- 4dq{ 2"A sFbwb1mr3Vkmo=P"CN$!d*9#Һ*)rm\ ~B5H$7'`* .QK.[+?!PQuick_Sort_CostLandau_Symbols.Group_SortPIDE/files$AFP/Landau_Symbols/Group_Sort.thyB+?-Quick_Sort_CostLandau_Symbols.Group_SortPIDE/document_id574y+G' |Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/messages7zXZִF! !]D?7 {?:fH\< 2 ImO N) ciK"}:0k' ^yA~\-2ћ]UٗU 4Aǿ!]y9?SuBVt6(á{d>7e|LcWnlڼ5: w·.4U2fbHTӇ<5Oܦ$)`P1 E‚)ؼq)v]o(#2oǺ ݬ66="` /F#0F#w/j1&+`ߓma@L *oJ;Zc/ŚOy+b @/!MO#$Ӟ)Af+ *=-::0^*&D{?\]!U[k3qsO- ~Sٻ4s/JtzZ- XɿW!w8d #B:OCH=Oo;Lb˶de>p_'X4P*lފC%`KJګyؓO8H-*`DUb^d- $hBHp/`M||{q1R3ҔGLEV,9[^ۤL:Ù\Ctrm7d2K).XpŚw˰z'F+P!/ [Rq _Mqŗ*YqP]n]ٯqG\WE1gƉdYęf 74y W$Lx+I ^ x׫XƴΊw)ls/DkNQlمż!V >A.w0 ˼f:T> I)L~J fJj#B%.uL:l]kW=%/m+u - b&1fl B{O'L4h&m6Ɔ:G0q!ȇF/DDiܨFV@B/;~\^? EP+A236Ne1p+3vUϿ0qmHJΪwac':qalTևBo&7̈ Gqԫ h3c;WDg'&Қi%h~s]8>QY;%˻)v¶SZ`k؄Y/Z~TBBg=2O[0IaUb_y~QL;&੝ ȁ>]6AK"tZD(o:vu/)~Ɠ VA)?^ F{c_I)7/mUT(kqa] q4~pfө1=XUʨkRk%'E';\P(mAå6,w]#Y1DNS X.TGJ1 fUע.RGL>bQ則`Hە;vw!Y&QOaIiR}Ó6ѭ(n> R)Q7=G+4<<V sdru^VRv7 BaEu86LoĩƬLP+r=`Ί~Tk~k ֤x,cw(p"S t+s90r}.e+G!\Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/files~~/src/HOL/Library/Function_Algebras.thyF+G-Quick_Sort_CostHOL-Library.Function_AlgebrasPIDE/document_id570d7]mv FyJZ'JtINUx~  k tEm6iYRH=ޟSڮw 3bmbk!l1%)+LX{~T7+\C8ȷo`5ɀ13&uHNRP/0Н|pC-P .k%"rPA`z,EV?ﱧ֎ӪHFL2 $d*G4Obא31ȵ;ڵY;;UA>x1l=ZHO~Pyy?:UJx74vj$n-h;Ito4FIthlґZC| Y {Q?_c%k1ːDDdS:+SKPyZ\_saS CYS/ FUTʉ%@otl[kl|`h.1Q{s2ҥV?ÿ"u]͉3z߄lPlHLܛ,,ƾR_$ft%"Zl:qڌkG<l 6zç!SZ&)qb(ai A-IM *'j5xAMgdȡV3'`k1TP LvKd$gZu6]"vA˔٧$d6M0'-_*06*#qu 6 }j_W*, }e*+ Gݧ]tzK)Jbz3=!KY<yLóôAn&V8  !Uaj|t eZ섃NsR5 yxLWJ2|ܓȋ>L  yao%fF.~a ==@TY>:.qYX`} P9_UÀqxdFP*,YQDXH2Y" !~.Krm1t >yd놽?KԄh9kMm;FhŶ*T&>/ :vAhBJ#[Hi5n zxP-C'NCt)'5ۏ>Dг|7,]p%m7Ez[W] :ArNH+ӊ7~@fp.AiPkIgmagO>kQb)!k<:?, `͗GC'5 XP",ÁhH܋{^5|ǏQI{Dafo-h3ťEq۰Q7vsUvycL!{ 6PK'4WpCjB[zl+xq 43eE{mr~Ezt+K5βu{єnGGݟ;<0g;`|ǞZɆ0I A>pf۩d Լmb1Gz[!@*u绚n $&s9*/ pq;˂ef;(ꀌxV.gܶ*h8woZ$fQCucM>*1|Ȗ w.3}4 GR]`Gh:[HDAqcJU z52P:[ކ _b2OkqKg Җ( 5XϑԲd8=cMA֌#aU!oFҮ'1&֪kpןrfiMіE+;Y # RBCîR>5Pco%LQh GfɒNrXd/PM k t;F GAH(mp V`KK>A K+͏C{wJ"K-rV\@9a@gwru }V]Ɵ+NcR:0p[6RI-Qyn+ D|:PLp^oWW@Q6YpIШc Ʌ }=_yE߮'S[%8 x.s$֊Q.~6t~jl ɣQڌH\|ne˯@4n:*cIJ~Y%7%ƂڮhΠnTF跻 eo ) 9sG?S߷q2 Hgt=My$Tz-@zs%2ۙĚ d)<Ğ7qYyݩT=aAW%PdOx|{_z̃Mcm̢ `l"g.ok_VT u!XуK.yEY7DB73 |nHƹZ/Il%b_‚%Le ~*]T۵BJ[w .dykc=& @sJA.4/'q~J%!l =lE$>HĚHsJvgx&7ÔxA` osy"  Kzpz*2R؛VdGWCډO`VfWxJ2^rFye  {8Y^+C`?rf︳?1dOzǓ ~Y$E4D>$c1u/&3d;jcLز]npLJ}cŽ'.c؍sE9ysb;^d$J(T?(p(F\gU&H Zڌ ӻ31ϯX&Vxx_``c&`*°jA޻Y]K M׋W;\"cDN=V~4KtAx-;Ec]k,!VU5h-#úU(e!V[^6/F$_ɳ^OV" 5dlF/EEhK-_چ MNl`BѪHEՁc'q)=+(oOC[2ELՂлak)4uo-^c;fm]7B6t$WlMmu ]iH0[ xeWd6!?qU@ 4ӨGKF5^!=c 178Eg`;WV(Q?zsU= @n47n~+rq&&D``M- %Kʿ<_r`MBx { v}QZli-,k3 v:EG`똀 9zu,٧L,R?YTִ *锈{ J%#Iʪ9-VW*qG3” uxQ$ :ENz&i5{ʙb ӯR_0ߑW.C=ٽhE65d*P+;5Bz͍hųLlM/$|ާù?mևrGbPۚ*n꾲,-6v7J#@זM|pjaٍrCӓ} fMn]xG zu~V[yv3-5'A{*M 93s~OV@dqZ c/k]&aL̤}8Xr<{qAtR|U>=TXPɞbBb#J]O1RLzMS\wc>yټ Cl8VVz*V-;q)gsB#ݤ ޥ4B}us{}ϵ&:HJTlowNwjścҤajA59Qk a{Q&A 8#jhWt0ɢR㊧UWZ}2#mEwI @;Xُ658brUW@iR18ads&x"6%̥W7cNHNGviPlѼ<c!l 1 {H]'4G s/ȸHAjR;e݁Ew~Z23ǐafwJUc5&49RJu|,߱ZʆnZ,y($ؕ/0d6Z㠺`@.XK$xڗq ͥzrpdEjUiT+u}4ލf@oxx]˯6S$f O[yƕI8r2aFjm&82+2'̤:ؿ]GgYB)*#Q_6LID/2 g4ӗrq{xa`R,GB紥C =l}"6{} z5 qZ;&5%wKߔPfY19UQUg^#tPKH MOS|SG`*jdz,|=ې_tE}A+A,L Qp*yO0ٖ]89ƨQ6 CQygYR [6$,ǧ_e1)Ao@ O/NU8/ĹX čtF+ҵq)Qnq!dX.#Z<&e'%TD98hhzFl$4B9pbݸc<-Jj]{zW6P[0|jTPk`ĢHzH΄"` yGEh oc|b>NN1XSuO!:w~ILZ 0TZʡ_&*,Jq,/|¹ 6+Ϡ5yd8t(0grjVCh~tٍ3—b buE+B%tEL>E 9}Mø3=iރ^ޛl‰`!hAtQ& @6C63y_ν<]SafbBߗIie甩͕Vp3>si1p\_K;- z/J֛NI?C؟7.g'Үڧ}g #U.wV^ؙK`8%,tw7*fRh܇]r54: vcOW"]:Y c#[d33*^Trl^=[)-1/ifLl8}P;d [I۵s_pmͰd>4K4P8f, wbAeG7(<& X|m-J e"Nmp% DU.!3!.=r2ټ1,l)aBΦMsLrkPģ. -j\npxO!_n Ï9i_n 4ʅv.?M sxaY(TYi*Ӿ ?0z>1,4<Ӳ-$BG ]E"X$x:NeVTu{e)1cMQ^tlvi)1CZv Qz˕0Hv 'g\g_Ƣt<OtylNvֵ/ yqQmʬ-<дg۟-i@LD!gFFte2gI Cd3}!q9 ">GH=AޜS Azj< sQD6MBDc/ y=:zV3 LgLe3ӊv>&_6i$1TwrYف"sN`,eho#!jx0bJD>:A`yHDN ي,|Ry* XJy˾ۭ&d-ܳr{ b.&Q!JTƁ:3nf؆$βazJf½Llh˨lzۅLD䈗uct*ΩTJR{` ?&e@ԛan-(hDRx醒bnz#q`_uk_{q$"+4A䤞ZL$ŋ:YRċ{ t1USїqN*9iFu\_3Rn $R]NllSilZݣZma!$$KtJJfG<(.Kl+8'd8rG\ ^c&Kq>!v_0 Bh+X3PYs;ZgHn9\&8My'q >FҸةLRCp6P8Xۧ81v/ٜ %,T^%ftڗ4_5qi'-vىu[O6NDz'4=-$0%m=+=R:&kzM]a_m7F&x)(a2R\ 1f {,Py PZMuHON]M.!g(ISo_&DƏЮxI.Ɏ q- N8=xn EK7˜+gSO]\2 ! ^IęCmwBMztZ*@zlϥVJkE$=]efXR o|q= ) 4+H.2#k/H$3.O;+66X!QfѨ fD-70N7S{6`32 "]&S~RѦPTɸ.be@ 4g }!}uUVwu.J 5j XѻwOll܍tF.,ݍhwVĮij ܉9@H /,0<*ΎPD}ZdPQx%qboӾ{mxpcqIX>`2} acdWy0ߤHy]ht9hX.44 *etË́W-EX*L5&teX=PYpyӧIlQAcj}, K/nRX)!Ήf_ y7.maؾƅOc6H%bcꁙσ魑9K .܎'&jtkALG}We+GcdƦRz2jIw LWN~8i ;} yN^OgKk-=PZWrD!b9Q_5ՐG&U-ѵiR%{~ 3F,O/&@S;P)DՑ%YP%kx*^HySxPS`˞\IlWq. ӵ)ƞV8[# n4(}JxŝoyI"W>=h"XC Tm/s!˄€I?tXN͚.ȴ%2i i0/( ]t%'"[]񁘝tYI3^2]yX~?{wslk~`QIxk0 XZ;Zİ9|/5w~-s-.)uܝq`Xi'jwy d,C)kcPFx%  I$u/*(]p9Mq#\9q ˂2'J:Xr>+,tImpj=/!YނJK.^f5  7R*~1 ^i|(;n(~BVxMh8R=mдLnD IY{c˿2*4~AeTLaeW9+ eIN+O|~׹ i2O5S1}r(!,nkxNߊB?u/s dLZׄ>H|E@ڹB WCq~:>D 'N+ 54x4ocRM%5g :9Fr2_Yn th`L쟮? GmX5,^H'\{ u}P׫"u\#U|2ɏjNS\ʭZ?f946ގaЙb{ĐGr&A_yH5ɿPT.,?/%mN̬ܯH<:lLot t>?¢&=e8Rȍp2aFiub:Z4as6g+qVzHf]MZÍq26DNMA@Zק)`123Ӊ [6~; JxRC vŜQwEJ[9@BS}ǬuRvVVR[.:^` djRLc(w;gHAt4\jv,dQ""5B GtM6LLwN0JM(tA6 ږÁd"hvqO \?].vbIxs?ޯxn!ue,[7vdٚct{#O[[즏6A"N0 8VXE?2G9 n< A{3X5+~JItrr2䏥CRMè! EG54uzTcmّ`VՙwA55ώb0UDa@錣-g6)xg([֖TlJG52*h!Vk1VxMҽft" j '7;0{.[x;q-#d_d|z:֭KOS sxs9n _D{6fչfN34*^n%sn*'aG]M!)+,xخ|,Y# lL|懲8Ae=1M7<a`zLղAG(@LBdp QMÆ\[Aua0Z3 4[~ΉSŘiqBʤ>*ѬzȡG_덍SLnxAP60.c|wib+򅻁 O蹘0+ѱ˺Mr%29ip0 =4!=rPUv~0aI pܜbl~ĝ{VAIU$ʹeln7;YgvBNPFJ"  :?q!M8(9ySLhc j܇`$*z/Ўb7.kiaXXC䋩'~ֳ_ x1 ') quR"F'9TTw.~JJlKCo%E<46ˬm*=ND/3.0aZ9OMup\X{iU(c@0ɨ&lT<, w^iNK> 묚ʢy^#ZMp&ݍ‡/ug~HǹWMMVdxi.ioRכV{$?0nsϓ/sphaͰʞaz'X]oZ~c9?NAtxWQ)M~cM66g W*HTYΒ\'`\i"o4KHd!)#7N}AtzuQ39p"Ä[!2CE ,M)-;SucrP? mYo^l;9i NBޚƶOU0E)rmĭ&ۚS^Ù|>u9F@v=EqO ~pry+R5JcO@+@U:a)_R{<ܤn?ndױgr{A@y'a;t7j,wYazL wbl,o(5\=Dt?i Lh)<}-A6a|?| %6`{Hn-#[]K)|q;UtɡbP. zd9LjSM|Bcމk^wYj|Œd?#> x |%]r#ڗ=$KqZ4|]1R-X1-[©/Dnep0m r ',^SI.Q%Δ'VߖL[:kh5~#oACŔGY,!UtƦ -WLN̵@T& G{F4qdu Kz~р7>7 w:9Ido~Tw!D?Uٽ%hL;FwFE]wo3w}<$7r.hDA{ oeU s RX~iOcnȼZz1 Q[1]LMXKPe**wtɴeM0)mW;D; !n|JB< &!gqΜE؜xuepe>P7A2[i96hy4rzľApw#cS y+OP,u|>ԣBoTbvh5kP`UbM:r.@ʀ%(^E4gz+4V1)8tq,{/])^hL#3V=ci/RAHiH-[n, Z14b 3}cyԧ<-΢pmLTiՍ;J|؍aZTO2AZ-w^|@ToV3Pgi%UC A+MkWd@bwL.dy_zp [HN=u,g3VR5wѣ/<Ѩ`;ܨHv5лZ 즍Wڪ]8OUd5_z@Q6ܤYH$Ymp}PڧE_G.n,JLfmk8] %HEF3E߈b#j`GRĪ/pcuSኺXΏ .M#b0+ 72S$^R <M% HrK.O<"j ~=k# `n4.G%wޏIuA8 Ǩ}a2T@J&7^ {zG5T&hSFio -.5b\Jɗ׆nkJ{Yק=<]*aYf_Oå[eZF"F5'~쩟S.X؃ݝҝU)ĖΩp&_/<*ZyK24BBZ}q,8,ҵvPnuY> %|̊uZ>JD <ߙ;h}]c.ʕA5Z ?I{LIX#[F"0haڱ`XdQL탩 +:+x$|ih0Ӟ(>4e4Q± P/B# -CU,ZOFd[LԋeV0mZo#/kyVr a%[,κ$3h7NB/|_"TxncK׳ƞ3 'gxxԋlk5Xr,$(Z%ZcjJs[}YU}E!&WXHq@w(ܡ3m[ST-ջڃCQhe8! f: YgV:&*|\Mx-y3h*P5Z8,S&>% ^#/+ |$}ǡ{l"E®ؘ|G"hfmIeC'ܬ9O} @>c}+ѵ]1L8OfYޯK֣ ގKWb.Pl!=:wo{<@SpSyV]dyId}]J@Z;=qU07W6B,z)?-X`ɡ@/&v8jn̮=`tvUg̢~^BA&1؁o!W"?u K&㻰b`7[3[BULH2k?Io7KjKor$ûNg/E5)Dwj# FͱUD\#'qvMks(=f$Q]7Mlrɔа>\o@6-+5wyvFG 藉, Jis; NjYȇ@*uոF4pr3@qp.RYFjO\^6$Vɇ|tJP8nIkb ^_Q2cAKA*B6kk"Ii =rQlO ꤞORgEb!M c)WwIXGwF>on)PdTSE":r{A6AU[wQ9y'l35izAfFuݷQCOS|Kp#(Sb<#-B_ Wl]G\P%t>0~lz\}#_@-`>N^){ ;ry=4ƚ_FKiՙh@.O1; $ tm"qMaq_B`WN,#Wd#wwqWx\()JcYN.w9k>"bU;zHs~2 eMs~vb'.&Iy}MzlL Wj#js, &$í&A1ץce7{ąBP[jIYޔhzK#[Qr|!x6ZWTWݸWЗ 24xZ6ѕAR[*1GiLoN@./iB@!i5\!s`(@4X\.& iM5I?]= P5V-l4K)Ӊz[XI|A8qɳ[znǛ:uqTt}_\F'݁~P!J\%$Yo [S-+/̐^>4p%[M( 2BYf FP*Tp[AvFUN-ZLr/E4UaGG}7LoDfDLawD*Ҝ+0Z?SBQvd2$ryQ!m" D(9!د~ZƽK/uJ_4 `29Ə'R~h* J)u˛k59^1v]\N] hFq!wW0-X x4qxDO'Y9}aRoוhI _=Lc ?̀!+$TQ0Z؎'R@lq}|)S̶R`.lhokS*M8<]`6#QapCE^L-E\]2ƽYs fX*+<}ؔ2r(V]$VdLkNلU ̇"Mv z}?G8ɜ$(H=G |:?i\SD%KSC 'Jub=%Yy!c.C؉&Ӹ${ }+} V1}.)#N' PJǦ vQ잱-z5S(uqLM~#]Y} [؎?Kt?s}xQfT#n_eҒJi dž"~Gbtu?a1Q0uY1'Cv P@1 d{Blvԟ=Ι21B(q'0mpb\ō &no'GQ+L\bTFۭcJUٰr ^2?[;- ;(7,pA|7ՋfѠY(n$>-|R>(>c>hom)'Fp23@[(ȕFQ[F{E~b}Ь@-v$]FUpv[_%H&:?~:8]_Uf{5@&#!aQtB;vϕrtA")APp>*I*2lڙgYZ `3+i!zQuick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/files$AFP/Comparison_Sort_Lower_Bound/Linorder_Relations.thyW+i-Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/document_id578Q+?' 4Quick_Sort_CostLandau_Symbols.Group_SortPIDE/messages7zXZִF! &T]D?7 {?:fH\< B| f/AWd@3{A];%\0X)1,ޠ|_3ڿf=b3Ac5߂LHeQm4@}"O=;X,]>J9Sc> N.>K}R~\m&J|Pv䥪kA֥aq3EDYHep1ۥozўuH{0ّvɤz@!=Uh~[!I"ں6y 9r i>ɠ)r q@IꖁAyg UQD7xxfpyP1nуQi᝿t-leIJƘk{ hܔ$nUwagmt"3S$ d#X{X!!Aq-ԉj|ֶ6[k?j\)Oc\XM>?i4Cƅ!)vճSCVlL:oQ9sARCȞtv|xbduEk_?}v6 !}>Tr F{E Q> z M. 4[gYZ +?# $Quick_Sort_CostLandau_Symbols.Group_SortPIDE/markup7zXZִF! H ] }Ke)~iu])]9ئfFj-ϕ1,tZCeHEH@$}Ω|lzraZ&'+AQv>ֈc];3(zku8,(yI @apJVáKqj`h2hN$Z`hxD(z(j] e,ЫY'#>"6cP=`fhnx ;"`Lg ٶ4໿İMQr|%ܩ "rJU?7 dK+5b;򨉤;uYWRGu =J_n\.bfJځXMz2%Nec, \?* @^ԑ- j>}pdnO(_δ̍/Sȭ*N)q>޶evnHIscx E,uM.g?. /ۏҨCeo6҄ r.9Hn 438beDA)aad {)&ݩ6!IlXgɫ9G0ugn,d}h޺X ~rcM UBiHrHι&/5 &O2:\nS BO`=[uȩ>[9K$ <,vr JK 6UIxh/:IW+]g"XG{,ZAkV&܏k]6.uUܢ8ۓGP'kYoQ)]xK{Zҁs-Ͻs`aU+5MQV.W7j) Y tuzHhS],Y7+/zHRS%胏L8;"w7j_dm4&O;.1TƋ5U+(Bv M;u:@ž 93fفet2YOʎxTMknځD颗R4}CsEEYQ ,j(p~FPWO/%| 5['츧}T)"҅W? X .a7{/G+ tYFV *Ve"2G"z0^I)%q N9DQB-qg LU-K>fo~O(@*Ns1"=;h(0\468&Fp)^5d7]ܴ\/$\] j,}B#;6]Sа{YV]Nuq*xLzM )N A/%Bs,#ٶ>*AOv-;KTh3sوXfC+k)+И&Îc0l}*NTS@]FTj@Kӡ68warYLs2 B7!0&^K@ ] ı"f,SqZorՁǹ `rDұ1sy}l b={@f5LB|A1\mYOHVxdX7%'d8=v tmDSqU$vh?wǺ[2 h[Nߖ:| Y#$h.Cԅz$gzǰS r8; 0dGnK-n xT[#04XZ;@S/5_n]81F$VYIeKc }-GuXr4>ht7c9!]bp4n܂w92Y;EQ[I;ڢJv'1>íBFy@ô2ȢZ{fG2F-nf*h5F5?GM6xePB΁`J>37D{&V+z)]~tɩDY"KVna0./b H2رPvsW+r@Hn;v=CC,$T=*VºPG%p<3"쐭1nb;3֤!(4n\TxsM8D,A>@$=k),EYB™yM ~h}Wm)!xlvG Yx@_3"wq(XCznj2]|h0-_첱8R-19ݼ/f2KK~sl 98UAMk+k[C$7V%Xvd!̀x[?L8YìYÆ#'~#?u$cHP-P)`Su N|>y{i@&(9lSnEHM06T{џ=фhZg0_F@N-Nf Ku 4?=VErV<wƄu0rȿnhozMf-0{ 7Ĝn [a~v:`e"aXv`:+I*g-=He^ԝgݟ+LoCW|Edzþ.׽ =L&kW+~6~!HHfxΈ4]Rho1$@aRIŭvzQ zs񇻉`Rpni>@{U Y[C?B A6zr2o!N}&} mq*$t /C&_h+FI,G}`|Lкh=Bj3@.yyKa PyQń yfJuLfID$bQA tշæ}97](rQCf#W^*ndUW0$x򛇼d( ?u/l;7t\~J`Gtn+8H;k7m$*F(;>vԛEI1W.3 8#23jlq:4`q~j )kBs~e慭ܞJf[:y +PF'r)Wj ` gr6rnJfkff`'}Ibܡ `ooKvmsllTn߳:%15ܶBN xwW=xߕ׍̮Crh.|X}i}@+ BCjڋxћrZ0%kB/6SO0y3#8ʥğyY#C,s&e ^6U@&ڜa6];8 ܻ2>[S >:1"x& v]̈eӉ &U>[8ufR3Pŷnĺ,Q\EG;ʕdx>}GTZE=;eKm&ekhi"Oeh(#R፦mB-YvlO-N@aM{*(!i sOvi/ɠB LNPQgA6iY:brcO U6dqr5D~ (ʻn]|p8P榴0Vo.i]N8U͘PK LnAX|FbC?*9ѫ@ 9 %w5U"ئ]_alOiI좶e4J$,y3'b_sCDqQI>Iv@b %zyyIEGS@:/ێv3oM3T\uUGܓ"dbʭ& cxrt!87~+ )bBˌk3_). ɥd! "P`$ڶUƙVqRV:Sb" :/ ^P q#t˻nR~ |:e2M%i5l-%Xzenx*ίh3< <8ե%|y4 -ٸ__X_/P25ټ1uӘ"K[DN/uNl߷Qؚ6ʛw˓U g6x4/K o*:߰P[݀5u K8g#wH\&sQs mSףrÆ^C2z(ZQ7W5@$GZ;*N<(yyMcn{M!Y0r6Viܤ@ VV/sѿ! R`,pBL$VhP7K&d7BL{Z3Q /gX=4^.]Wdg7~ïdi `TnRvPpMN%8*g$4f:"*k "H`ҢJB%/xFzر^5r1TIz^e <Ꭲ(_PL@?0NТ:iQh@4×HmƒKtS`eb6de5~/sX_GYVf\jƁp"7\=Kڰ¬4C"G|~^&=FA9PJzw)GQ_},ԆLy6 hצ>n6PيA !Yr愪D4GYCa(ETHLUF$33Y$uzk;vüuu|c|Xz]lE]KbH?Ic>L4ifO(62$ R[Z%ifyηw1920Ab ~Nnsc6gx2K@RP5J :XgKVb"#~{Ra{X鰁}>4V`R|Mo+bU<8Z-\085S09q]] 9۩ EW~nģCpYdOl1UL1U\Gb $^4PVQC;cXf =_Z0fAZIv]-iSyΣ%lJ-NS[[+M NXoΡEuFkSDl2SZrѹBrnrd ݢ-pàs K{R%.:5TiZwVꥴ^{1ƈ50^,;s}6!(+7hM!7! K9xW .BpiVP-chM x/>RPK0v{[sa"F[6yA>ew~wQ Z`BW gv'>˛S)!.v` v N|6cG4{p3Ր:Ȟ^/>ѠvȒ.? Cѕм3 -a}"{!LhWY}0:v^PhD#"go[F !?bww@n6^1Q872˹5!jn sĬөi-'"UtS8XZ,7Yj®l"-j_,5CPJ-xg-#rk Z(uS˫2<=9 (a3l蝈 -ۺ4w8PO).GV/ 77LšG974m=rKk2{8|h.]v82E*nLXx2uWѠA]sϽCS>Lj< M>Aoо%fu[`P%R'|ak) l9]sP;z+:eby֗SCKwK`tt("ð_tWJlۓ͔B`o-&\7QLg}:>Ԯg;1 ;d=oCe}D~(|Ϧ׸>z /~' H¦.dFL&>;h~k(&nIL/ x'DZxk0qInrgf&bOcl?BO%`5_c1+q>ӜQo1pC GRljrt+ D.g~"3捠 y!E;=pM݃?HyDrUxfDL>PǗ&8q ʁMlu aBf`g>?t\|DmIK!%N N*tߊ^Svm;(MOs@,Ha o7M\Ky\'"(j ˯}NTgBk%͔-t}x1_R 7-dBo/B%{_]܂'mar6,׷m Sm(s/}'\N?] H-&|-VB3{[K̑q[?Ǭ 45:M-H{ukc%OkR4Pa:r"&v4֐/BTn^Uo{KK%+{Lu򺯅NJ%e)-Mb:\RȆg1gPZY/o\Sy)Ax)Ԉ^;7gh0[? BY,*5Jz,~gJ/[3%ڄP?(l,WۨpP~\\_BXA7$w ;ϝrezG%2=^I{b_M\$k?\#YXHTn {A%/x*FQYAǿ>E4>P\Z|)YB+W%0L$4)>G"1`D-9^orXڈ ?Rn(\. (ձ0k^7a47C@_my\khՀ3ȩ~zu5ePt|_ 'e! Vm8%ଃڳ6A!fE#Y @%7E-'Țxe˅NY4k+Ӫlw2#?Fi)D^j@|ڌzzϙIK 9=$ %RХ&]m_P4} 9gD"yʝㅵY Mx^ⱏ 48<3+ y൩Y  ^ 6 ? QJ x<;D3|ћ0ƻ&2 x_Ñ;֧ӱ٩M*\ 0xv+ʙ*wX. l"H̪W@U3 Rx8k/PA$)8{v5se}j7 tdkeb㷊ѹ`q<ۄtv >,4Pϰn+JK 74K%\m ZCLÆ)) ^FFDA}hRH~bP߄9:hT}UkɱT' $?{e<5(ź4A)7_DԶq ׉dpğ^0.RX[lpo>7uYf9<?4N\P='&:7 uen)-3$O|kyVMpV~D'b "㥾w+%Vi)MoTҀD^夨}WzKQ-d 7ČR";,Ȍ?!D`t$זGiLDQ *Z $CAxzϽM9u<׊//X̃sd=|1kb=d#[Ffq0WSuB功Dbi1d>5{G9G$.Y_9ϲ$^n[ .hp~ SkR6ʛPTi;;Ha1/ȔyuWGABJKQ ywi~!;68[S" `U7Nʢ)b&Z;&4Fךdy RZ4č[G|L0|x(W{TбVz=d,\0@?%8]<z=⧓$zPd,WTNDIQzt'x荓IYz?X{P_&O2|*蠄9&J;K"l\\׵H m 1WJB[\yMהXߧO.7?:RFad~1XϻN p?u):;ePe[w{./ +" p'𚲙G-8g[=D] eF%;X2'T\' ;ƯƗfT,<}\0>'5&6]CpO gjۡotC-2#&KNnHl Q&$kj?VisWupdSܚ;.Ӗi΍'1@߾܌4Őf[79! @a iMUQ<@s5q]uX^}v\gHOM/sL@]3Տ"} wgnXb+ꂇ7[g 5􊷆x׮+ g3Bs(#6"3YQocd0)m+(/f;P02ciV3Zt;me.Xp5EEaY={.%Slx=c7Wbf9\!}mșGvdqԵz[LI bms) r7=I@ԁ$qTb\hI DXQOiYX^*_zJRtʞ(6ۣ%wQF,i <1a%l 0h/:q޽߯ܿy֖kU/OgEF,!TRyTTĻaࡹ9F:ȄX> D^$i_v7,T |ƿU7wYhK ssZjۋ]MM.Q2&:K #JW&{#|1(%uu9R-\~SDtLZ4@ǵDPIzaZ!oChB1񝍐TTHIR%AtBv>.g'W)̕IZ_%7]<@u;:29<æsX1"1!BGZĎ/JF :4iƿwiL6 {;A9[lXn*Is:=[ф/ȓpwez4IԬR[:jX-N1W鑵4:fzkr BHhEeDC(KSZd 8Xh;U vBNwfA &LEye(M_/JʱwUH,}֭f)d U^ik Cg@g$κƬtQɩR,J&8 7`"/% -ѥqm ~w:_;23GeV<# t5e{YyN6Dmԭ O6'lqcyFH;EM ﬋5߇xȯcLZȅG.X)(e_O)PKz½1p &s],Ba8eIhp2&(P.((u1)cDBvJ5 y/ )Dæ3; v&YיxHJ6;]'$WYٷnNo 暡h@vV 7JW^,ښFgre_SvLzbhS+d ,Lt1vݳSR⻊LqBXcZDE~7^,UAikT&|WcP+!'Rc j)NW ¢'HaiAwq|BQ cP~nбU@%nvGlş$ymhhJR}-i/zP$Z?Ԯrll]vڜťz}XØ2l^¤m c22h&hclԺ')G*YdQgV 9a!UocV#mpVZ9#;ꏍm!8N/q&LGdO6%_ pB.L?:|,\+rq<3BO"ZH—mcdC_/4epT*Aۣn? gwZ[V{BroLOᬯkb]t>Ff3eR[H#iUH0T(t{2D1DXe?d&SB$uQ` EV:˿co_\344Px U;z٪U&<(.8j+jvZx4OT4 = P"$[S%RDdO|HPT2 a_p~y,bĵźsyGUu2׸p3upcȹ m2Us̼t~yLtU M0wZ7/ h FO0%x8cIPr`{ME6 `|S$@}YWn'Uv9[Jݞٌ25J(!pMbDBc0յ;S]yG0teO]smĮ%FWpԣQbo՜7}֚s%dhW7f+a&X#Af+Td O񅫍p.:߹mٹ`9(R?\'eE ˆD)  ÉZ!KhM)l$V!-+ᒥa5kr%{/NsOcB6|n ଟ|PMIƢյ-ڃӿ `2|R+fLlqYj*/#ީS׻4C- UMx9׏-:yK1^RH`]lE%t90FnއN 3d(tE?޾ܝHr61ߨ} ݯ;ʂBH"11P;rgT'!;ZWٲ4b5ؼ6UGp xb7i_"I"JA+2'TW D606x>9aTowc n>_ŤNG/,WԤݍ^:`gt+.g.B#?y*|VOBqsJÍIq@V֩T!=Vjצ#>9L NvT?{C'\"F5z Ѐv_͚JYߧA mjcȇS Ը̾3|H6<+G[n:1sЋ^ѡ^DqiRѦUP55o_:_Bu6ƨ!HXIQFogcyEqk2m9hz Q|dґɜؔ]OC@!P'ˀ qKfnNUBJvyj1M\ʿl/VS4Ha<0^rc+}D^HB.8y+UK 2EYUhc ~^Fٱ{Oa@B}Ռ-yױ30|E֥eZ@8Ed Ԩ*bze/I<0 r):6-+<;vJ2r~DV~qݡ_ 4ܵLqhSi79l }VZ=Uז4V8_$KœQ͑)֑?%"vlqA!1F[@D 2vMr?tIë='*'Ov[j{ZYzdN;  6U7%Ƃ%=EC˻{;QClyR2[Q xp Nf&ֱ17C nvI"yKu"aD3RګPU YӚ;9z#kwWGtSN r#rwΝjf3u=6Uۊ1_є2⸢dmS ?|[$!c$].^ȵHP)a4JeIT`vk ުSAF@#>z-}#k`s"A>QrKV|mo.Bg^ @ޏJ,sIQY>H'\N3GGu}k+J, ) }SIOFSkD3UKZgwy+pkՎ۝zBQc}nEc߫LbLR:HmhhU̻;AXl2Vj[Ԋ.88Lo 5H>2^$A" V{WV:p- bd%+Rtpi l u %<]%dQ cڬ9W>{U8B,,?Z ᙊUqI p`s2\OG:[@@/1^eTKor|{2 [*rGASD`Ѱdf : a"}3!{!fW胳MvA$З|J@ϓim nfFuoi^bx/iލE빂BHЪDg]Rv^4JhldV5no,}>[q (S[lA/0CfЭrOE0oxtlp],QF /-fXuȎ4UzeUbZ?MR">C? bO͞g 7v:#[yO,jٺZCWЅ[n*J *W\eNv,-DX]5G'D>\6M:mJ 5?ðvqv(d3 nAZQ J[nmژ)o؇P2V7Jg' ?w7@f:ߵ[iS7HӺAsfѻ=F_3 'T p& (Tc8L퀓bH NJ)6xpgh^SAxȭ~ak$pv`~F`WA-Ln:3qݡ~1l849ss2ruc"^E(ꏥ*^`SW`H5GTo\GфT45XQuS+Qyzg+PV%YuaGf#Rr L-8e'`" o]S^/(fe3<ٺurÙ? 6z S@nDҕƻ; Z;}"D(| (,uGes5fc_]}9kԢ~iv k=a2TrC"Wsn0?HSv;Y=Q[/pEי@X~Tp`y!8ݐ)ԓ:东%r/1 WOXUqCV~[#K#<`k9:EDz`Tl o!SoO$m8Ϭ'k ̄xqynP0N)L\st&hQMuǐ1nb*8#,V@U#r!QVj 2%- @?Cg7X{.MI+< |ݡ ̉OxHw}a@݆o.E1^9]nYMyh j-BHJb;I-=X3=x̌TQ2iJ͕B0t*N~_dǧV/yJC- ) (66$au)ɐ,&u F[%:u |p{1r }66AbukΨK䏈˫_STwt 3(>Ka 3BryHt`PJ=#Cy-'0;G?hnu9`@&D bq619ܡ1Finv9t.ڧX}#<57}6"*<~m}B03*IBU0%'3ūɾ䴢N =>hSZݛT~FP3#L ˾+㍪h9e-YtVl_zREȱ T=P-މg.SǪ+/FhTsY)yR]L)R[AHѠ\v`XS$X=]jQJBj؄Reş<)d#3m+IJFoH~4 +_"D Ȉ- ]5S^:f: RnvsC'U7A0oy bC<dX.e횠o|nRvNcصit}͍+ˉa˷EګBO|Ua\I J1;zr}9`TMn50LJX+z8QM{,U Q]7~g87ڣ{&l/M̳EmdW[fZ&PwU:5x%giXEV`u_Wq 9D!0m r(gCP K^v xMs,^M/$VZyҺƺJ#÷6Wݱ`{(F|= JW{JHIE먿}:_hT80|ẃIi2jJ.oxv>t8Q9 \)h+:y^8 tZJ\he+|EG@l| /yҔG// }Тrb#c̾)0%&'n]6.ip=$~5W:zz W`XeU c)o-oj3Gԫ=$,Qt {~ߐ2% ilWIug4HJviZml ] zۇhks"2S+$ o 뉫L3Y}?urYa0{BkxU+ە7uT֗sE4[gx? Jv"憥o |1#MtQ"Z[~Ut*4~vD~EԜv  x AI$A<딂Hz#nm#9]#i̼} Bl_0b\mMyX[H K m4˔-GF|߯quGCv Xv֗zs`DI\;sco~3{ҕ+6^d"-q8=F-*m.eF*c:&rgUKHiWG$5&$H܍,ZObx r#tLC{4tv`1W GWKE) dְW@=dYhfD!D,ƱEZ.I}8TW* ('wW DvBћS -%]AgBzՓƥhbr͸pg4ɪi<ԏz2os /n:?΂9ʉbTHBKjKୈ)}G܎ibIJOAPAABeႍLՑU.[oDbc(Z݌ *0֓`wֺ.f+]tÌO֒QAMaB$|R'=.M VAoHN$to)a(FƓEb2Jtu9LB|X8mRLG{`qXohBf(+j,9 (ky!|hڟ×8U'8 T)BCVl?[' #ALzI{aR~^gf\_cc`. #Z3 𵍾I_IlR'N2E\Aqw5F,DvRDg7Abr-tmfPM a(O,GTf= 2fqm  }z4a~Yw4\E:R ه/at($se>nwu2 $&dkүJHEdc~|<;K$P'A+Ax֊{lEhA9kIC\%+1;z[bV4RnN&ccdN5y7d[Q?z ny{1 *XTљS6,freʤU9rz:*Qun'niKuBu| ˂ v?jXƑ2 W/o #gr@mQ*e]W A -žh7`u䏚JuEޠӠ&qh# 1_.:3{5bd0C3&a:9 +mf]6cdz `q%n"WQ[Db>K$߱u*Z/,؏w"O#} XЃ-_y,3us;@SŽIy5~{ƺj@)gXKh :JYyXVMq!(JTSN}!7]p@R]ADPڒ꩞,E_v7/h10 հ&\ÿE \$l.ߣ(%|}N2$;"eno4c8V/ l5]c\vꀾ_~ M[*~J#cZg΂rpW"2a#ʼ,z=\! TƔoBŭW5%I-(;.O_E_>H]Äwd)sS}mM#Rm11"ŜTaLeZJ0zt#y>+^FÓ$6LG ݞq) E#uxHٚ~#&Wkԇu}R%A?/vʘER]']y\8_:)%U<T ye f|z~U5WGd`\moIa%F^Ll5_zz" :ֶPfo׏IV!94G ʙR:RkD:0dn)d+;L4@̆3g+"lL>]stnի QpIN/630:U 5OZJJ C͗NWןo·D"]_2r xgLz~t˅nX;v,{@u$-+' i᪐*'5rTݾE#n{jKXY*1vװ&9>qMau8)C0o38LM0Ƿq9 oUlLb{_R[?V;ɷ+)/ IUMMP1 ^wkNV^v|Ӡ4NNIZ3<y۪lS >~)&"1= N se54I)h]r. J%oV}~PD8v,.0SV`5p$+OH4x 7kK:@jqqq`4Uhtk^|wȴt 7mM.%]!Ay/)$<ҞYaQZ%l4'4 Q7c+@] p#ўdE*% b3SYZK.Vx oϱ,v#ꉸ2\ܲz=f5~,k=,^ೝG*l?ӞiQ2H P: L5z$`' 3i։9YvK0hQv2d$7*((А҇D$I@<_K _)|G`DŽUIx7<~y3j[E-i#bʰ(ɧ'3.5Tw h.z:NCSf0rmу wbBey1e@鮃F fLgϫ̳ $>Jf?Jj1;Xzq % 飯}WXB '@K|>8Wgo{G)!{ցHؽ&JV' FiJ؛醓.o)de Z,xy<'bM7LaESG3:fBl-;.?P)-[7t|Q ,ZóKa~: fpg|l*<}XNN 0E|72DS,Mi&O+ d܍MOm Z)`9*19Bo^JSPfŠ%iTsB8k?i~ѩ՞nЃoU^9Bm T?v= n$jYД1:Ll/h ́'V*rs&f2ISD_ݨN1 se$NUNŌ`D㲇&ܙ>ELY!iH*n7o\(TrlFSPl4ED:w89;?XY1f1 Lܭ:V(w7/רq9#rJCf]$Hhs1aɒ&5}89Gn?i2}e0#f: =\z%uۉ;Iuu-F(~t&TQ4 ~ &~ +W# |Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/markup7zXZִF! ΃] }Ke O. j K;bnY矖cz7qאDqy`VJH.b|4=$wEt/ CCIk(Z ~Sy]#+&D6$Zp*: YKӏoܞv"eS17c\n rKITr~jQ1JP#>GfvJZ1\2Pdw=3O눤qq%qEè!7m0dz6bLН[ڦّg퇅3JAwG|*JʦgsR;ltwnRMZ O:E>_4"G;7T J䀏2E! ^}6w4%&[9d)a&ɋ2RΉtIz`L7 EH<\[<7T س@^ķ@Ȍ9r*\sюRK>˙OBs*PooDI2*D<t_W c(dw63E(zj^j`M|Er>6 /&ˉ]\S.е; zzusUBRqm/'8D<̣~<n=0sNmtQuY{3Rntu c5{xvԺ0ԕS3^=f Iiz9,e{7XaV"ܞբU49Vk`Kpds5< @ur@}Xn'8s}k+;s+W!hQuick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/files$AFP/Quick_Sort_Cost/Randomised_Quick_Sort.thyN+W-Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/document_id586+i' Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_RelationsPIDE/messages7zXZִF! /}]·Iq n[:|&[zj_cXG؅?'3G99z]im5:4s(8j.`(2z86b8J 0G;s3"1bQ-㮌%wU N*GalaǃՀPpr  ";fX^ Ga,/Ɩm1KD0`$P(cJۅ߉ xYGTDf}Ov~@zdgxԥm*9ٱ2)WSY^< 7Eҟ˄ffWCޟ["Od֘_#M/yzdkjj.2_ejrLCK3ңk;x";J˦F/hvwd !) lHY=G;h\Kn"o!K y|`i85K&ʦwI4Ytג9jVTD)LR!i+&ԣIlB39c%AHчp{NګgaGG~Ko f~3/H"ۭP$[03opt̆ Ievg2 ,:o`XFaZZ XDqff3:=heB"SRWS˼T:|8//Zg )- wF*k%v R!ǜxt:#hV3%gօs8p6g ET+D͉Iҙ{~SVAٵ5sіM$4֔WzcAzXI-4S6Ȭ3ܐ0?M*YQP^1 Y,Ȏ|kKR3{&mRbK-GK4Iqasf;up2QK:04ץ6n.0C~ Xgw} 0ozbYg6e fAI'GiHr}`&6Ap3爺*sƪbaӄe*SfzH)䭇fȿ%} &! cQaa {fѺS;C?mСNbO;eZ6MT0!FDbXV0숗eOt$;]dŨ.$ fDt_MPr:$y/ F"Eok=>ccdn~TW!I _^gYZ<^e(T,kK}[roo&LɿNw!ҫI+Z@7;Ipp]U[p_.9# UW42@\ 6X_wsjj 4 ЎWz-*;B߃75UOc&y&@>_W]JXGG{N0i<:[ͣf 'X,\N?"s ;$z0/BJLNX&}a.C@XT\/'0&r[#?.ms+u[ꍨေ/]D{vzw_8uAxq@Ye_} bjUcO bdϱ. PN9VbjIgI=VHog(%vkp1iژ>V.mʳήYlܓ|X+!SؾlsqF*WIA./ȽNR˪Y;M-iZ,S5ngE gqN4۠Gͥ+?s+3)eY t/s`̮ޟ͢cq6h}̑Mle>NB'IQewjƴ}>!51A %$alWY|KϤ,q fX̜h4N׭qDWM.|5hJ϶nt#\,m?sT<{])S`"IF;&%9匚015+ YV} BSeJsJIzH2&yʧ6R _<$l_C" vSQ 1LR(oK`%:r0Rl*[hR>~laXm4Z*Td% b=Ag<:PоOjxkQ8i#`%f))YTE!`V#Wq@(T\U?_@ 9,\ÖįOm] Jj!*١[HJA`"g M T߆ԣh])E>o]œRUw03d[Q*M #nSd5? (|Ŗpg:'^Wd'wW*?2p jHRtk'+4R#FDDT%Ll'uT42Ct;螙hCT?@Peˤ.W,(3ÔܾL4B7"H|PW 2`)3V>H&H)BxɁ/寋pB05`F&9jB {t@t;@V@Ŕ5hi*}teHt›J.z+  %js%FgNyZ1U?c#לx T4տ}%"Q N &w[./2sLd[w4¥fJ̦#)oN\딿Q+8Fs9V0oGi$ dQ_|؉Ċ.JX#K,+q:~(\tbfqOecH}xX\OS[oo0ɚKTNvlfQt"p*Zr\t%R$zKԾ~bS(ٛӡBf1Wv|mU3Ls:ZUMh@;]_Wxt|U.RPo jǪ$mTIL:3xsYZgM-8t~7 YO~] !{ҀR>G?P-}%zÞKdKp~)odZ\|Vn)fiP+ pBdPTҋuSsM>\|XNLwۢbRpM;Z{)16L~U'=qtշSCkXE㊋j#B3b .tEPzL}j""zu MF4ilI쿲q$[[EZHTF1*R 1p6SvوY`Up'NgB1[%*CX^_U fgQӛFAԦ\C KI󨂕FI5Ǵ;ڥaB/lHq]ZlR%ҬgClWµw8 b*}+]Gh2-_"EAϗG'Hه'7cERZ ɴZF3m pYׁ҉+cf>zꎉ|1}8souέ IM0)/O+g>Ǥwҟs {Voۈ"l;kxΟ AUqi|N Tf;]︫P١<5 V6=Eu]JuCYN%%bV^6ù8?o F(bG͵\Yg'N\+ʓ;}.Iͫ <>!5eiݙ\jTɦblڸ'?:;pO~nszs mU^ii,JW`b}4p-kmou:JiWk c :Щz?4KDg"OLlT9G5qs2B)M)^y=$I%0.C4]^@ula1N sѕLߑػTʙ>j'GBWn~2a/K10>@:%@JIW%jSMyYsDz?a\);7lcTSGME)$S;&B! Lw4p0 Cs!ZDE8[j+V~(jK]h/h%*U<`?ˤv-'ցۑTMlF+*J!^aL9K&LS}Tg?̠K)!zJ#CZ bFP0,aeV1Fzcا2}>=J 7jk}َy:6*Kçi%UyNl%p-Tޥz n=/<0^d:7_79]5U3W EJisiH=|Ya#9̫I2AݼgdJZ3kae|L2X'[5 2%i->! +bF\t?`5enLlrpWoZ ǡPbet =Kh!TcG:%k2[Z60C>%y~_œpQ&7J "u[=KJ0Ȧ@Ysх%?-NٶؔL<YaG*Z'5i @~ah#6{,8imŒx&BڹH׬F^Y`% |ɵMggx% Ml6a 1yNj"IZl;} PHA/S`Fqa,@Ykr[z8`tcsל1XC*f(b@cILD .L ɜga{#*eb"d񀿅=s=CI ϬI@PoO!4h: >x:8arZW޷H^B|٦eu|Q;;E zĉ:ӈ.Xl~aJ"%\xmfۏ"wKS"<_h dTج0Xt?H2Lζ}2stR׽ Oo({vI :iBӗmRp^Qq} WuK`Xէ̓w&fFjeg!XYOHKte-EuL޾@WlMgw҉瑚%ӨHk+{ujK+Kd gzbsfz;a iXjU_8/`jB,G,MbЈ NUǙyVh*qMh4et5lY߭(1F,2+(q=1'fGm_"x {*}}zyJI~ ̑9]и?mREv*uE:SjnȊS MNW,7M/`csYI8/K0ITpŹY*7ĈX$'UE*CZF*a+([9PkU\j{X@ׅ%e@rLGH[_F aQnDl=Ō"z!Ue/F$9Uoh2$MBFx_-,`h]1sSl.(Znazڃ/|jz$N͛XONVgfrj h[}%g&)I,SXϩ&~Vcm$N[1x䉯rp*js, SuV+`bE:|b+{Ⱥl8.fIÁ 쯻IF@! f_U"X=XmNԲeg9MФvL`ޚDa%E_ޏNx9xgicht~`dS\AxU.j| ]o[&A\(>TZGP# aytq_8^=ys 2s^ /8SHɘY&v328);$ >8pkyTcwK'M!F8SWkL8|Oڇ*'Vt 5r{YQi @:2|72LeD'ݯ({Oa\ |`&ֹ\J3w[}_S^LAUXj*!Z!"%G@;I: 1Ƶ@/a\ #pfCV0cqdt8+-:]Oߢ{됩y^?$ފ6'-\)> R itFp9tKJ3xnOxŝ辗vC7õR?,o+;U_)L [?8·d&k+/yy eJ-J'Z.ܨP3-WJ*ɔ)lP;q . B7.t =0 Ne[ NvǨ\ `mmqyNp}kV݌PRaxl.Ps,6,rC\sL"d[JOIqH1`DX QE]~[̏" 6'iU`tH"ft8/5Lp\E4H6PSl[qZ2B,i'A#u~{n?yM ..A_ wRXa ) pa}U-nmA1ܪ ĕP.g>I7%TR"#IE7;Ϥ_͗'VMX%qX(,zŪv@o|5 mFR-|¥SdkXΥρ"**֞hxش<"+)c^|͈1؞S!$-wI]o ZqOI${4ĘH4CS)-7O6)db)dS򊷯$J%ް% K2 u.͹k6'Hf/4Pʹõ ^fm :tcڽg,ҪCr46OH9ϧU6q[Xn$5D܉rq%%NGF:Á<0RKT=[hrl9ohҞoH(w}(R7*6ltpIMB߉k: x`=!1]bBpy{c"ZeOOupHJM,@F{aML܅|{1Hh\LFZ2n=ġeMh u*,Qk3@,aQrO-h>P4P A7i^HUg[SrQ[ټPDKh [ #oF#tnqm$MZ`~2cU%J)x~Hi+1 _їTPd@WqA4&C RVjN>N:}"7V!Kۊ2m3;CW=?1TE^ s+\C*_Lc_&vʄlB6s[JYFC9 ɬ'T /5'%su|=wAd :Л芑$`̬v3~ 6Gn3C0H m:2p.y=^)ID`,c$32r!ȉ <1aVdC,Ѵ_j^G,`*0q8v-.8*}ڊP1~hҍSjI0}O&}y2(ңܞ8L>m>j?r8 Ok=kڹ]3HݑFBr;Pri0[LFFmPGn3?{N BOco>Rԓ z hLmMh; PUW[PgG rexU7j ;%|2Z, "L LS(D$Ʋ{(?螪 apԝJ庐 WPZS *ñyr xH5S}v 8LmM> S<tLp'r"-_;,w(l3@ 4|R՟ r^Ъ!4(LҋR9+ҽ_}RmX:#G։NްmC@ˏ^2ZuW)kcْ7!'^̰W%h*# 9lA5ތP\x.KkTnEw=ʱ%J\nw0)_2=r! "0ks-$0F'I\g^2j8/+|^V=Fd0~Ƴ/.?(_"I WWIi7R/ɇ< 93I;p#ˈf ^|BNVsdc٦e tg/'ƫ|<CC?qQ'8.RjOUuԑ&OHEs[?0~Ӝ0 5#$s zKRSw|cs~ 33˲KˠVS@Y0./IHrwQ'JyPhɼT6Vʕ*C*fifˎz_PtlqPgUyzN2Vyr9z/zpewbɣSe퉰n^N۩~zk(gˑGhLyꔃ[,jYH=.:htVUU:*8Bo kv{ǃʰ|oAW$5˨#ʺ7b%{R KDU#PA p#oP'i HMu,{~"fmw9>'g_&ڕ%9n/4\ϵ`^-Pc2!/Ͽ+AQQfԼ,A/G^TphP@Z+lgBpHӍF[`<?jd:ūgx-u< 5K*GdzJ{.C(?CH* s=314ϥ3~Dn r6veqFjyTEʐ= BGZ`+eրLf u/h8)HنMȣ#Pg4Njar wЕv$1kP?QX, yh~+)vӇk'`$`IHs([ǡ3MS t}QK+QyQj[x,ͽ"񾀕_5fwFz|jgP[E=1? }Pm^ %4-ψ7p-8{IZ)_%f$}WB?E"J&RFch%Syj‹/+*6)?~n;x dd_*(1N']0jгg\w0mx:^X\Bp>FkA!sh|`hW~uH9BbŽ&T7+ݲv=2G~5[>A/REQ' .DX@p4ǪuzM)">`ݛ29٧vJ**&_ CKf';fXF:Ts%2rO"gێDOvqCUvڅI%NP|Ku>FI;gB'*Z~ImvMX!!fi89fUΧj״hO6źeL9]0I&wη_*EiD57vj+^l2 >t9ᐌx?-cvMV~4TBy-k?f=ީUЛIh }"2|HNv^$U2qcwMb,3d{x"Όa-LQa8 ݤgߪH4s. ~8 4?2.s&D3#2B4mz5ov39drDeUCr5&dȼR':* N"! bK툓W(MMa|_H-Gif*KTF/i ‰fL.*ycmMK~T#[UA?3l4Þc=4U;;G !mǿ/b~pE-EgCJs&1N0Yw=zrKFxAtApGwWQ}Ŋ^),szG(GBPM݈h5ēf0c V! >e/?E8Q&hOanow<\eD, kxF2e+VqKۤA7I}leX 7jw0Hu]5+Ͼfxtx[l0T$g8!WPl%'@C~A.T7khRV S5v|f-w:RKxŶ 0h4{ !sh5 5[ȧjÒgxkcyro wejV_cGG8]NN00 Fjw <ܣ $mۇ͗65\XjIy:eA-Nqf2DGqUolvb{GN*=zjݾb4a0tB44*{{~ny5\/c":Fx `qלxoLWg)Yr|jo݃2?x<7Ϲ8A*SI9|~NlyT\E(LdLi_~={W)'}Y2guVm4kp ItSiE}L!P]~h+΀Jw9e䋮Acҁ0Nt %:2I⣊;lګupO܊6^{f5愊ޚc?/S>9A57_ޝEe'p'Xx^N6Mgu6_7R,ٍ#jUhi&=9:. /6V@@fi4? 9[4~hM 8dNI'|E _R` oJ  u|'6SgzAYyGFxw}wYM@C_}QxgŤj(ݤ_% Fcwţu*yӅ$ݘ{>Wz_ K+`;ڣv־*~Xcdv=vWapeiZ?giQ`.Ϟ~ Hs=[,ﺚwڮʼ;0 z ԱރM.NM°341ۣ՗/BFb85Dk*#núޓ K{⣸#ժ)jd @]E~PyX|0#d_8mO?<8 yR 5qoݴHtdY0eJޘ~'\ރJRTLB\U4 !?@1dNS;fsE~G -G!h8şڿJ}Nt8zN=9!0"Z7FiYwtXL2Zc\ْhA|?3yջpr\0O_3Lh$|niu*R%Ti Q:j&H9CwkDcR'A~:BJU1C Zeٵ+#e&nSNu1~,?Hz:ː"sjG6Mh+HsZl2l"iQf/.x8Sv lh8FǪ2]G;5XvQPf`2ԶSՌV@KW zE*>n[<:ʇ3l{ }`e(]w؍ XL%nIC M[v~9N;Pzn3f Lp1i 5 û4*L(#hq%dW$zx^yvU\eN!DN"ىdy.p魚c%+.k au_ 噹L`Fb48jw%ԞܴXR'LGBEMߢH1?6{/$W<ϸ1ƇPG~{11ƭ&}a@Ablĺg_ *iamzs&"q݃& D`S6 ƦlcY|8R!#hoM7)jZ,SBë`\e"I3CB3v&d/F,(M `!Cd1>Ge*d㚰0CTy?D^uρ/Z?*h4tb9>B=(:^b*/$"i#4E@wTHfU+(V:.E-c"uewh`/e Zn|a#_߭0 o>:ێ0,`wqRfu))/t)9ͩO +;T {ӿXS3IOI\D㡝d){K)Ew-.m,dž2E*En|*27bm.DO8+명ls2K!xMN39d#/:W xL]thA2 (_[YABϻ'[g07+ȉ IuQ J*:4}ߔ)6u#fF2tƞ"S2qQUTCԽvL^(pC_hv6Jz]5g6tCH6.%]Ȅt"HE\I1aIy-nv3u8>hd$;< 9ܙ;PQ&ەYb:F cyWu*s:t/%Z49͂HZ/?z5avuc({zICc=0'k!s+_{Ae3$gCe()Ky*lR@lC VTw I#Y~xmܞֲoqɞd*{,WCp‰ead K-ZUpQ9d*+(^2uc^EN2A2!oyәTgugߠX% s=划\N"*3p]0a=X?vQNH:Wu!<8Dzs~[Y5ϟed:- tYo7p>͞v6erc!ztg{~N|@̡ -k#Yai"yߥv РOR//*]ҮoEΟ!탱K˻ϑO {kˎW)G]נ (*1/Xs󜻹Rү{a P!HpZ+ ~]HUjjD]HLz=4.=/0؟ >xc^!/^'$J>a*sd_i2ԬP_[u{ 깮0&N;:տ( ܆e} Y]YЋ#s(OҖ;2;D$ll[з 1KׯI׌nL?l>~Pb"?G)0 !FT.hE~E$1  =g,cadJ)/C |;6D ^SڜZ/O -rPl7"&4R6RoK$-oMah! w,ke̢_zЍl.:/ c SnmVd{Ő[/gF%̤5<ep蔡Ɨ{DsX;eP ,6tc#LvGK,>#/@r'QF.!Rq=) r'+D qa&訾a#˞[_)ꁃ4K³_~Ne~ALn1&w)dqNdpr(B*R *Sbfņ+wTJ%/窱zC=vV}ve;ו(R]7ثhU Y ٯY+~*-Jlas ܅Go+hcJ Ǭ CYF8:݄!W |Wat{[C[6Vӧ/gohR,8l %Q0~뜇p2 yvROY|Emi%őQpi!zh 1" uw:{/EQ|/LX 5po }1vl|HHe>΃_oX䒽@^ފZJF#,8 $YH:XGc3 cas?ף]ɛW!Ca 6"SGaX F".V21pc,۰ Eߘ P-blSjlWW9/i4O~^~u$}Fܪ2L:KR. -VQ]"z S'5ꅲjz#Dm1_xE5e#}U4~ v0pQȊK4*)nri% 夼HC`?ˍXQPı\+!މqZ ,yɯIhCñr.'W<i#h<"' 64]WHK19k_jr`x '$g",k=YNFȃGwfTWh1?HWEZsPT=?-7#>3aVq?B_6zZ],ޘ}F }i(Lugю{A2pmsRHf@YGef3]~'{o `;4h XD)߃Ҡ}C)}4qJ<~t5aUANI>۬з,^OoD,轷 !Vȉ1%|km9s+{cKX[.uG6ȜlҩH,C 2&Jd? ˫AWȬ4ց XE,U@F9 Y;D*7kոpp4)9@.?Ǣw~nGh ;{o-ˢ3)g7^pOR?(Vye-LM,>!>MP"VA '$_>9<I n4U nEƀKm%{*D0^/,AVqYK@|S) A7 I6Wz@>'NF^ g (M &YLw,#aGG%>V*9i1 ؚ˖Brf[ވ#O<Q=7V HFL+ʷ~GT;v~쎅's,|n~hxh˴n @(92=g"O+V}Rd% /wST&ab"jZ@65r0{Tsr% -s%70BH. K ҃vo7( mS4I[m`GwF' d߳ kpOKZBE,ent3lrxNE:D <.֚'SHTPA &sBR[ !<ՋohٵYzvz= "&Gpcjy^k*#@ꢏ#n?ӴX_D<@NcD!9}x~l_^y\RƚyljB Yet2jB;؏YޕPxD7_#ଃ(hhm7u;ߘACg)f2iT ~($L nc6|+6{)šCTvKuw٬M&>|֢Fε46ejls~[ɘcUfLfU*J/UQO@Dd *"j8Vj,i<9t7L#UEʑ;|&ַ̛{ӖUs5+OŽVP:7h?e1`aD] w=CK}CCBiob4 $h Ru,udJ8ԀbE'$4R `MA J6dOoo~f e2sK* ܁Nl#%m򣞪ǶQZb!gd]^]%%b8g OdַkN20f*8qgf>Cq>^QFZ 1vK.`r}-gϡ_F>Rr,<5xVL@9ϐQ0J -&F;yGc!g's!,<f9BRdL/|B᱗}`Z񻚮`uva sjN~v)ŁCdQblQmHyq$p aGlfHN"ǢȂ %1YvVfN>l"1عOlreC^z>nw 'DAܗa ʝAgNys.t:xf= EՖqmloRZLʧdEnN FT80C\ݛkӎ~OVKa p~ó/sۦN/%FY/G(I 5U{D˚:lKʇOU>DQzn$鄥!Nd}C"?x`NzҰ,\ώ*, Eo$p|Ѿ3nRIZGMN#etl찇BKrl ڦ36'$gG}v<}M;oDqI!B H:c-%Snn 1e1RB^5 >؞Z qHxsK j'"JZRSR]tn \,wF(["i@[vQf\"h`YP%:Ŗ cFbE^PWx"s ^߿%wCٞWyV+ҙPpϛAu=ik^As$ZDc uS$"}LNKM> X5!Gٲ~[V$ӃS :U"+O+:CA?p Sa=[Q$#K\AV~IQUDlAބw4UYAKn6 ӆIݵ֞w7kL8'J6c)/m6 2 R'"\3#GVn[$Oގ+@ch|OX5&8 bf '`o1f) T7)hii 9@[n.OR0 wS -+\`9\`@L&ƞ܀q=FcфQ> Q,,Z@g:׌);PU(wʑj?lU ak8;U[N"t OmdƤkN(bwY"C3d ;FM2>N| ' &ƠYj"!wh*P?ʵ#>G@6}h8!@fo%xTا kc$ȫYnFL[cT .. @|-o•QD[/L]@w7[!` ĵjOMǔ=x*,ުnnk~o_wQz̆d\ qKG\H M?J[ c` .%>HN$ Dtİ^2Q~k:j*c @J)Sk(D-ņiS㘨ֹ7E+Pu '30prHy@&i/D?W+W)Wx|Sw0z֕E)PH o?uBӂ0LM4fرۻ%xU[!{st ,sל伽g ‹RYɹ(E.S Qע͢P9 @")0,9z*ZA $MGni"^& +Pgt_M/= A^L(;l֜ɝPmgԌ`%C} E\i5 j%#wJ_M`bJTZgV6XW2_yMq9iE%LJ=6ւoɫyHĴ7O ]Yǃ2.:\vkvpdN[X6/ Ǯ_Jn]"!>\WyL<:AuksBcp o<.Or,hә6g O~>";acQnB*Mrc HݖJt pu}tTMX4gb_vɖo[C{q5Edeטr0d!$gV=Ըx9ӎ#mQz ~(-P_eZ$ZU!zM\2͸ dtyYhġag0w?unߴNT/Os5FAEP̍wyBDIP9l_QD#o xdL:R-ho!WkM[N4;vH-bh0f:y 4Td]}r*Jƀh >vꙢA#fw}g=%(7I&UflpjcCy'D- 'R7{>tQ*c8H__Q3:4sJΫ[šŹdD1 TQ܁@gڨn=n[-drU>bڲ^:eŽ0Y 1o*j9;x< WmvslB"ؽBkX$ G"Sࡕ.OK?z@A7u+IP|P?3<"V"vo) K`@3riM\gE)I }!$8)18 mxwdni>5o+XyYq^ıR՞U&1h A%>5yF z Ŵ9߱UmYgFd߰ƻ8_SF-NR5 :Wp<~4UX`i9|S["n6Dv#HOsBTPόjdֱ%?]4!܊ڹ!_JX/[\EuCm`&O #jc/՝kڸ3}{p|g0z P䛋=HLAGwu.z@Y}0T]9 ;WI*(YΨ[miiSC|}N gv\ gFk7eIt~(Y+ea%3c;p`d(u<ʚr$8}}Џ*1Lhgqʭ,M&zDUȷ֢HTB_ p~>p0$)40ц(8UkG\SHYFca I c5ݴ1""TԛTxb@H*eB@ʹmAelNlf <_XʧmM7$&k\uɔS#T$Y [RD;CRJedS^]̱,mzq˿&ߵ@e4!OY\]ޫx"c?4083r8%%[".")AxXgPrh IS w5 է Ce;J]w@m6S M֜f,NmR  טd*IɤiX ;EW^ 2Ltu+ I_="9B)] ~8@.Čf{+#bmu/S4 ىRTl2=kyv3Js!lE ]z*oN s㠫>+R}sG,DL8]ZJq4ͽ:<{hfB0AOU^m]a\PT`LD38uD r^f8dD*Yti~Y5}p 5P5'xźEQc-$BX_9hl,#~d)G]g yI-:tJu={D1vd,g$x&nI'"Ah:Y'\Zb]XJW{x2ޖqz!3^7HH= W `BSh7rHoϔ7QWΔKqmb ~*l?P}nQ^c5*eC睴s=8tPd/1Yp<Τeh M0ObL"؆Œ~pw/xZk_ߒy:ʷ|ƤL6T [`]|詤Pq#I[tXu"GSHPa t\[0b5,<̓, A χ<;B|S_CL̳a#&uEb]++N\DjT0*p]' &l# #L5RwWZIk`NopD}, 9jW=%ӻrh3 >l$Dc XܢM Tc.[[Vayk`My6= DwZBk my1˧ASsh j_Nm7~@ZO#,η/ OǶS((k] At%&Uʦe'ol;; B-`5sH4s}K`Q2mnB^RaoЄv!. %ii`z_ ]F.I̙'iby)ș[쩭N\Z8${&1F#Ֆ7k'*{*ʶ߿V LMEP"hwʽ\ }klb *3Oq8xF q10awmR1zMIteetid r#yYI/_CZ?R߮Mͻ)l1QOG[D#Aka'>aPAM1Fۧtͅ<ECkMnkV7$Z FU+Qt֩s3[ۄzL0=kF,ވ`qn^f4HaO*,rbtաélRH33"*w|ǟvv.a!WlՂK8AD 'vws /mV^0.6xSүۜ(Ӂ*#d6N,/lW`;32'kB"bE4 A~4O.sZR~cryXFmntxVB،yHUtcrVR:c©7%f>JJ)^!toE1M}dZc{{<[uJf#w$9B}O\R> k4oU)5|H0/T="8o73 ";~jr $wEte> jX#)\녛'Ԯ8DTzWoz;wdU[FH>d ]C ??8^7ڥgux |l'Jt8r·oD)u*Ԟ94ʅ$E#H+4rfwv*Wud@:qW)`O)ixdq8BBmg VjOuX)[wI`_CyiSfeIAeE2- b3AĽ_Q8~|P%`Az=:q?bI\qoB`= JGz8\ k?!go h\^oe0BPi>o-@  B,"7Un鼏E88m@_@4]=8vbJlu[D?ң$1*#8LBc̹I$U=ݓ[j&?Ȇ7G!fY:_zpA+*R'S5Yy _i[m St??I%%x{fx*[R<(&i'6]o?i:ȫŤ%L_"cDz͟Hj)?c)yQVu phPB>|n=Ys-kxy+ =YbJoY}h@{tT& SC,slRY卙w#'14A,e];AB5,X%c9,Y!,(&F$t%^A`Hrcy+=jxèKԕEեLAR;AK $8Dk @[̧86Ț`t^ntWoXBIOξ;L Y9/d52\xt)FU=t HPq +n8יq.3ګ>ngdX $Z"|WZ2U)g"QIfk 0 N O ƨ&߽&͢갶h}cY#hCf[[ÍwAk5D#sb2Qɟ7cIodɖ>9q8`@vb}Bӥ6'$;B+Zg!6}_i?'V/x iͳZlH#R0kZVg+~GȂ;W9͝)06@ J0, ZwG@mC*J#â[JerM& pM{cY^L1.yn`ʐ.5+8 :"twMҌA%:@_oSc?= tڡ;v|l+0B#͛kV % H$?ŏRd NxpsUpXx=rx__%3EqԠWh3i5pbћy.KX`> "7,#.覻PG 4rcmm~ZM-oNH{Z׍jv8(s,t{+̈F4RM7Ok}2̭mV7r3 ^r3x.v,RhyWEgR8wIW궬4FybC6mLe8܅pdP㭥Q+$:&4NmG`řJ{mQ¦Ypdr\N4׌R*t%9 $gl\iZjKUjtkV9ruͻhB1jM7kG{ 70_2Fl<2o7(sׇJ^']Mդ¨hml3HwF0-M]ϧrhgYZ  h #]!+A!RQuick_Sort_CostLandau_Symbols.Landau_MorePIDE/files$AFP/Landau_Symbols/Landau_More.thyC +A-Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/document_id584+W' $Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_SortPIDE/messages7zXZִF! 7 ]·Iq n[:|&[z4PJx.4)x9%JL+P(fnr%-)o%L260*Q˖'kdsnYsWc+l.(_e3hY4.Nުw$[z)3E~>jg$z.{7B`o(l_]8U_Dݥ<˥(μ.~|Rh-ʆes -:$c! (m5fBwՁb>ݸ5\\jh ѐw-8%y*Eպ|k Q1C?pIӠ'dw*j&~>ՊOWI;dyL&2G62p-BsMqV&#f:9S":K.AT]F5OwjQI\HZ+<1F v$$B~3QOيT KPx8G ΁:g:sc/:WaQ2GJ5G+ewuTu$]\ڸ:qx!1 /`Cr,($t"W# ڈ5 n`~sk*&[BxcknI`!ڸ8 ܙ(>'l}8n[v=o=N!BAT/0 &]B./ۛ駥l3wYM'ʻby2)R~CC#LE^>RB)O=hBYegq$ &Mwrg 7 ~mm 1ĕ_S`@z޵EP,`5`' F롭f^R,z[2*WJvhK}m 9a:vLlP_3H3jEkONۮ UDa/JQEcvJR{EqG$'V<7ζAGH|,uY ]>39%SV0=K>I.4C%@b(BϞB1,vJ"JV(GD9?>'dd2KY1{xjbPa9$䆹 (åvv|߱R}T$>շIYíF?o/%6 'E窃WgDdZ0>ư;!V׃EJ$[B9>JIfh)"C8vB\%OxWJ2y^6 }`T͠^`&ߋ`0'6BpkĻnlAtyWi}tVh ' ^,\f˚f@ntVUwk;3aEZ%w'J -~Aqhmm\}1V0Y(V|٬7 Z`H0Cl:u׃oq[+tUC;ܠDw"s0|pY_nK@H"Uq7 I(08? TAKIƜ݂[F5 e cp~cgSs׿ȣ >RsboJ;>s-/G I5 !(\!9_ЅN A6[_&++jG$Ca_`]j 3ӪOpHaJMGc|St-+^V+akAkIOL24ch9lal "nDCAA;+<-I!s.)4cT\{#@|Ds 񔒴ˎƌ`[A&5㾒rc;| ^0<$9ؙ0GoG@51efϞB|w7G{LjL|[aF?2TW3JGz֝oYBw_ #E/%^f?<8Ru).Nn#]y2?8y@78"K6V:aIh5[s+"$ ףsLI\ܥm-. "#)h( fqёΌd% "@sټ- FPt.sxvdSf¥::A]_ysf* /7cKfS/YppqLD-Z쵚%pɗ_J:I#.]qXoo63_8 :C#| Vr+ \UɴJt !`6C k#h `ׁ"OKǧTt1X4:BKaʄ`B\, 6ږk7tP(jZDlMp]wh!bd<џ% .mN4PQIҼ?nmV=~.IZ7jwVR6W3B$s0l/b;Zm)?hlAYwVgu)K$}'ծFTR|8Do֟fKg@ >6nݪq𸃾^Q9/Brprl1ԏ^ Q6lKf VUV2h0? (^+}X(ۼIs߀gkeF(pqVS}x"c}C\zSlL<`<}iSiʉUEו;Yo$߱WBp@(?WL c \ Gt]@NVm HAQQLV0ѽHg~O[v1jou?{ 7L]j[ۄVT?Tt?]%lTn^ܗPsHTk_b&_T4p 9>P` "-DxaQj8T|EJD* Gir͉? 5"dKZB|T'YzMtS寥>$P~s3(~_ٙ%<:hO<q()Fg:Mh{5+Ly[T45<{;{!e'7UsvV3By'x_(Ƌ돌 }ׯn6?T,]Mi1Ҙq72\W<)|ϣC%j\Gf#y"0\їpH%.:(mV&1Nлlaj >@|M}o+3t/9C)T:baԧ4[IpV 5)8%oY(qb>p-(ЬEuYZgk}B\hP+nc4/َ?6rD7~쒱lXB^uEO|lp VL|sZ+IU;P^6 vR $OU_Q9HmdJ2 H]{S%,& (PrU^<Zs>*je[aTB-tM In4#eܳ;I[R)5}j|!$}*Ky=rS"]ya h`& ,% gՏ⍎|:2u y 3^;ξ0?,#Ng:ߜ`%%=_ֲg;KےT4s)*QA1Zxs3W5p>;1sY*i]c*dXu_9I՗F&*ukWE+j!& Ϩ_S<SQ<ފkr2}hcS#˛~{O-vw(L2 27 F[< sA][eUhVœv/aDj6Sd N 9 b"VA B;t;t93{'欸Jk:(^2O^`XH;@фg:?=GSk.me|W^ޒbB7E&}s?uYg|HX!VK-Zel} zbCih 5KsAjƐL#w SvObE+'kĕ`Xb!V,XUN"u3Ǫ8:";(W὜|ic^K^0O ChEl^Bz~@wB6EoC%7^fa`j*ja\PQ$2.C^J#o'u|S q-C[~k4(;kꠡtES WFy3 zJv$y^`qTg^l7NdzzM"" BN8 )}$DamU .d4+JܫKFDL`0Ӳ 0Lks~=zB1>kw7 -dVrpĦG6Bkߎ`sIXQWq&G?֋w(`6  ="VSdYٟ4R`N҃QP7ulE@^>sܭFF2_kA:PL.uj`]p95$%DU~0SD|ۉ@ɱӍυ:ThF^ T݃;{3*#HmSqzRwH(5T?IՏ bG.@6W kḧ́z>~ѫOJ.uo>H bv̈́~cUXcb"?7q`ܪ zBHd&"#kyBC&[Zmy!**x Sc̩=qvNtbh Nɑ*v9v%#Qִ\^p^O@)M*cyD&|,:`#hZ'& G}j(~[^Nw&Te'h:]L7ꟆbMAmym/ﺊ/mՇ[896](_B[*Ӌ9W(4àO!3̠֒ G\8K.8G@_̅mM h[]VtlX ejG !ѝ{%,寂woٰj|2AQ;v*?>q+Ro;܃ <^FAq{Fﰙ&Z$I&%ۣL *nzyySa""^~*N7g@gڋx?f|Z^@0O:xovtKWsItMG>8Q.?734Qq0*Vm czMaM?r+?ztǻ#^ӑ>J*M2Z''@~Fp)|qݠy雕s@ph<"jOp[/./9##FXA{$0},|{!h*n߳PQnLJ "@S5נ+Evmր"M fK_Y͋Ńx.pO4#\5g?qє_ *Omժ맄YꀷLB"V;U-z/ϭtg#Ў#v3XQUɏzUl ]{&%At@Y+~x7y OÍջ|p )c_իk <Z8F`il٫sB1wû2򉰴[@TN}Ě!͜4l}t}2Ͼv!IFrVsfJ.ef[jKιٞi>h -?<6ÄPL}wSu^geBڇi=a#2ٿYa7џaݦh]HzSk N3DT25ƈ~)f,yԦ7 /O#dKfligPsG$ 3g+E'f#ewb />%Լcni*zL/. 0-:+!# (*5+z1iB#0ekD9D3䪽xx> V_J;갞f{:QeTC>mUDTG%n?M7ا^bԎ2WqHEɁRg\?'ҨIq 8d(An"ђe[;9J%gN~qwֈfҿx&賚4lo] R G4K)pFPbTDP{C!ŌUs!sG56܌Y6WFaB yf".EPo93VID29ކ ?"_jI-SLeG#:l#}e1(#D@''IT=,@vqy~ݑt>j?=J0uIq8A*|ɵ>q()&t%r&ɧ'Wќ'O1~=ڏ-9y9~op o+Gb0/AK1Ph0De9XaO UB};S,DP׎|[^kR7N.u[fAӵIq`vNUʬ~5N:)ga(/Sr\k{VrdM;\ezd.+6Ò)Wc"".3 Ĭ&\pQDxn;cy;X"U>1慄RPyv$0"q@:L>jYIN~Ɏe>-B(,Vk|k#U$}9\zzB ;3ë+spFT#ݦԃ|Li ?۔8 BjkI cZ~#2gTn2DT[WZVeʵH||ۙbRtL!m݁wHzO~ 4D=8):QD@J־^Di!OJ T#D<ͤ#0(ur~kL!U[gL`Z_)pyQ5/?8/U 5\'tHJr܀*!6Z.9?BfZ|6l'Bz6ca&!no զ[Yۀi)/QY!)LH2.÷meX(6 : ۼb5Z7o2r]nV5Ji@{{K WPLrf04XƊBv>߻ʽƵꚖBX2G`Ac_4S(/aEN+-/ NU[u%ɧ7 N7X1]_Tw DSKLL% ;GtP*UC0\@+O܋ݧMRU-l{ Ws!ɀט}`?OL$ l4@ij!VzU5eZj*l3iЩjrqWEXK!Ru{0:2EH-jl3(*3pekUSGEŷA8 ^ݥ!$ctxq+,I7}ƽb)Cu{yVGEOpkyEc|vYtҖ0-V`6x.7Hxiiu/c@n1Dէ/-VЃvpM!mp~CH>KgX 9[Xt";T <#}c_=˯䬱W,,fE]' l[1hUQb -*gޚG=Q~ 6>;},!cAhyw8CV^6j75S9U*aZB)nutizU! .0de)<;x-U/g3FKXv"Ԝ7U}p+&nĮQ@zmstF7 {Ke ɺ@jކhHkZxnvvOZG5$d(Ktg\. hփFA;ۖMj f[!ڡbᱢG&xdw ݧ~XHPk5.^7`^PuDG!yWdɩ!h^#@BUGy I,&z4`w3߅soG{\Cj!qa15nI=Zct^ٵ.y񑩙;S3B1~Ws'>ٯgYZ D5DY& +A# DQuick_Sort_CostHOL-Library.Landau_SymbolsPIDE/markup7zXZִF! ] }KemЖ䣛J(.ibhf;unMN N up.-4iG-NJ|z,FZң/M7@kOS/WزOk0Н~}J%?kX;SG-Sb7}x)"|}2Z :,Y =$bɾ7a5֊uYӸK& vZdž%L%5#;(: \5UGn< H_%+A!VQuick_Sort_CostHOL-Library.Landau_SymbolsPIDE/files~~/src/HOL/Library/Landau_Symbols.thyC$+A-Quick_Sort_CostHOL-Library.Landau_SymbolsPIDE/document_id572z#+A' Quick_Sort_CostLandau_Symbols.Landau_MorePIDE/messages7zXZִF! s{]~ hk.<VAHgM@*$bś5qDqPf[OH3_ |!ŠzYD }޶.+}a'3?^j|O%yթ*jsNh$. mɹ%"*K] M/mȰ#oj(WY4K)VK&&躷(]_ ^F &7h!VWH~j=.D^)`1w44hZ<@ģaE7`"Ȳ#`n%t;ZXjh K<:njGQ!HJl) AZ(Oy#v& EIC82KۢN[jp)~ _QkM{ ZLp4CM6d?P%pAkSۏ;*%,9 MnSUz~#ٹG(mXjjbZhⰷ:paL<<$pxa'gil NYMVk0aP{(yV"5م*eDL(L`$i > +FOd;`^Zp~Il3Kiۘ!ʦG ~<8s3{nheʖө@t>n|'vI(pDoDm^/<< _Q YYM;*fPbx^I "Q8/A:FS<t)`U0<12\^W#YtUgۧ>M5\YB*rJ*yeK#TaP&AXq% ơ?9d M0k {61*~a T6@D@YP|;^fyٰpJFNtֈХ-tJijWIQ$`QE-KV7H*gi2y~吝:ffsq\e7OLt5Ydu#)]ݸiOi80%MxǿlIlpIhVo9a"жNsoSao;o[h$27+ țĜ1N5MyD@ raI k]>r7&(c7&ջ8G{/f{oĬ"Ւ:OR7DR0i_OKNuLsAٶyM!KWi=hVTI~g,lZViL}*t>vЛFAWFQsعcU\4%F2 D= ঺S؉ !P~G J՗ ZS zv ŋpi0liӊHcM늅̼ S hyțj(|~%`~(e(5ԓsʁ)췄p]ul`$:Cނef9\2Zo5bM^&,ؕ~&~YX83l$cr&j!J] ܌ +={eRf]e ,OI֤?BAolR/w/rdxH"5YY8N폄*lMo# Dvz/v@N{msڌe iݢ;&mN%>^[̽1{]B/UaLR˃lP[;~D#\> =G/Ty`ӻv/tס];}LG"l:`L8i͟4)viQM Q>[w]:OW"b*X.D>Ym*L2BV$|偢(3 1uӳDzP׫+OUeS+rrjι+os_Um3 +=mS. _*HՊ*c|D[7$9.9i?煁ISn,5i'SxjԀu*ko@g;ae6|0@m`۫JQ%*0v~8=$q!8\*'f1FWmOvb,ˇ]rGd11Dd"1 3hٱkVw /'!~ŝ;o)eS4 m<k$47)$/;>=:UX7`E=uy6SvC;ha'?{.ȖgD/GhXFpĨ?vdrY[sZĢS$KDU0z/#- tKIЕt\ pdRgi_% hѺwۨ}?o.uYp %? mh9(߻Ē$&"O>E`me&V[j!V,xYR,Enr˳'gE2-U$Dɚ1s2a 6w >6mq_jU/cв1vy.7Gm_'sFeKpNټNuwzMG+w*T=(ɗMesrO+p_jTP"v{sjU!o5ٞlԳ=yD!.ZL,atݩc 0A֍L/ږTxN4Y)5 >#çuM0^(B&+lĢk8 3!)0uNXv\b`{hǁ9TACb"n3]f0QR:xBLq/J]MR 4"|YSUK`q[({ #ho;aygW{Bc7o_)Vrq8p)9)Ln0s:vF D2D)D޼~<ϲy9}+a9qbZM<LF6{LYBg˿)s$d>a BԀ9d)yJ_[( ԒRJyRwiPYnD:1a~& }DO:`*&cUmuǢ`r! \X%Ryd?`j/ T'6>=oR̋< ػň-opنJV.ZɇHLҸ얀h z~D"M ؠ3xX^ tGhI@E%(}5u0t4Q:lM7 +:w˿RA@S1\h^Bڄ&E(~̗uU L kLIOmċ?1c|@zFšrJ'As1y%[Jo)BD)3=JD-Ogñ'#`u C8J"}xXDJ< ʱZUԡNwF>J4ed}MMqn9?pFʻnr;UI%X3Œ>ZᗃpHBb0H}ߝ9G". ʄѩpS)H]d" T]as]Pe֢CF[c~iX p䏸Ź5x{nv~&'BTqlY1W\ x =(َFōbG-5[=s@J޽Ф};>oe;7"۬5fEt=2Ӌ.)2 iX+" RVluT!는2bvo %nሓհ4 :Vo,ܼA-:m^F3/ox@cQZ+^>>. (wbm?SâqT6<@JhZH<I)NŴSksw+:/Vm'6!7x)c3_~CRbF$ׇrC‰B7B_1F?A-(Z5jFq6+̓ lxz")F wCJSm&aG%%Pz*yp!Xl錕h i ym]*AEQg3MB.#UN)by^ +`U=e3wgGU[Ι̜%EA+vbBW *o?SHpH<ڏ'VcW%6=քhǠhG1޶CL!5O*lX>5&<\]J6"wh*޽c> hNwtS?q(5ur=R]=11_&ڋe5`~vfVgZ_j- wduMh5/֍3k{$x5"oS }ᇄ؞{kV+geBBעѤ#~?qJ֭ذo%]3 ظF09l"Ў:"5!TOOYJ^kjJ"^e/CA5ڞ|14k=]F q`DnIr*fV,d*n@XC krW=B7g9̪>8 >=A_?{JbJ_IJY:_jȇ{ڭrx $D}]j?GOVlB) H!'FUC-9l ;~[ʇI RU2 (\2K>(5@k쎗+?N 1siZpfMͳ>n;v  {x{u5>,ΪˇDLi*=夢iL`` mr#̵g#ۭY,XׇggDC)qpf & /rw3W6vx}dQllXis9}ʌJ|m4x|amzԍãuŘW˓GGI&u)- 5 #qs﷤ʵ%5,K9iUV/=O gy -ұJ4h}Ҩ +B8+tCH1Ǽh~Җfy&o--KEH@o2xBWtMO7"YMNf@,m6Qu_n݅Yb^WoIvږ=cX 0Ēw*2V<|+X,ǀrǤ45<A*@>GF>Z4(ׂRqx}=pNI?t}:/y7օؐsWX jF_Eș ߶t`\ʑ;-O05Bv5o|?(;L@(*cZy~BXݻ(UE|Qg4 F CL?Z~S`43gUn- @gۄjb! ;f.'0 lFgEMUn,G;.D}vnjE*,7SϼL\ - ETDceS-GJMbUDcdzq=/ lnl&|ydO9! Q9K+Qs# $fVI]?U\!$zkV3.w*CMM͹ rb3<~' 98"7VvPÇ&˖:"k%A/:m~sHf~ -i>B u`P"/Y][VJXd‘B ;qwdiYt2 O7~S4[,ZG/NѨ{`ލfk6YV) ?"&)E{$Ѡw9ohVt ΧoDZR?v5!ci)1º&<xyR"Dr6ʘ]@TcA0+9~uQSG.j.꣍''Oxsn_RD2߯q<L! aVT9ZrV*ӖYTq O?ބj"ÞLEC6+tR+s YuQI5([]Utҭ&ng/{apɃ i g#mlcV2)SVcݝw iq61ϔӮ_&^8 O$]ed0OҚ;s]%J 6c“YB_]'kl`Lr-~n_ᘹE0nw193{* ;RL. m+Nc=,l'e7v7[`qY|0% 8 nРͰzOur±csX=X@FΆc@uh"Y>#N=ʏխ O'wG_/y<5u;=62&O0>7D>ˑs;8m21EƵ5R0y +\'9JWBx;u|~ȕV.1+P.7 YJ~,W6k`4>Uƅg?>IB{;2`#{‰1hQPIn!9r Qw$Zk aMw.D>q}Ѓ?+#+oAw. gYBn i/JZfRƟqFm0$*v-!t>#s㔽FR|'Kz=)<e" *@W\A`3jCe,ӯH|πrIغDRCSF 4픶39>Sy.-T+2!e-!D&6閃HI-86nMiOk:ck16pHI,L`ff:o0K":_agT}2/e|@>CfҗSN͵w,,K5"#':Zhm WQ+3f6`{ ~sH.QFT}h\)Nzn&X4Q)}vH绁H%'(i6ZB x*gyer^\ʜ-p?쟡.@'bU.?^tlg鿽[-Q(37µc[]kXr<2b,hۉ㎲'ۿ5Y09pWOp/pjT9c{X!5آ!BՠtlE kӏU|ڛ,H$dIloȻY] p\Dx&WWH9 erܪ3.H [tb(h(Eq?Kc\M [8 @WMWy-mq.#t^ĽʎX3W9w^H\VA"st{[IcKbi+?,7Ezڣa-m^dn\.:}BHJ/wbZr?(nXT++775'³1d2 /]@ $ݽ9s%|L2&`~G0[QZoqC-mT%  x;(^1Dct)¦6yT֊PN$Ăe#z{!{de"V2]#~3<1cL>%SeJS*XJo ׎"P :4쬼i)f~ɻݮB LE5|~G86y 9QmD# ҈)ɮtjŜH1< X\IVIIF^VCOl^L+.'DB#&Y̺Y'#]c5qrSx$ ́3 Ȝ]5Y_1.Lݑf+1GG%~rܪ$~,MD 'o:ۙlfcauK~ܗg6J\{bB+bej ٪F +F4ITJ~3αf41Gn6DTEafC$)::;[s:!%zܪ[CtY-)"y9cx{h/G3+ӷ|!ume}^{,BY7pY~>o8k)W3Z?6TѽaԫЙv8iusV.TƟ=sBh#hdTgB#pw@ QZ$JL[J˩I7 &Ck5xm2l0Zy 'fq\}T+ `nI)C Z> p_:-OjB66;7dj'ij \Z-o"ơ:GJɯL@B00j(&{\Q&0H&r^l`qӉ)$@$ M8BG$[dLjQ-Ÿ'#G߭5V)Nce,e\l+ڈu d{\!!Xj\3HbuNL TЋ0(H!h,s[yޟ/^if&P@yF9[̲` ģ|kɈ|GD*Xk8ZD|[_\ǽ`ܶe8Quufh[3HyB%hk&7t>49d+Z7"@s"pl\o6~JNfCzdFLSZpTot(͑B$#ťf/.qlVrȘ34rR^ 9A|Tc,˛Ȇ"(K!LBKdu2⤡FjKڂ<ȮWu)0(X~JӐCWBf7|6o3M|U&qQӵjwob̼s+Tm忁&]ŖÃGV7ZqFL~?j QȖTe@)ݙl^D#7A_13J] -A~6`P;$m<ԾP r!]6YĶYQe:o-dz*H, iEٗlܬRN!S=M՘y-4^yZT_0(LPױMS IXxLQˊQN љFqJ|k0(]$q3, -e9);,z׭Y{)LhH=-0Dduief7~gG*nRI~;v|Ǽ6^ʮ|=ǖ69%PPW̿e%SAm|iKȪlʃk^3v,A/(;(LPpit vv6>qid;"\3$b:Ο0}sfq]W[ A f( qk<gU կQv=2U7p4WA*"*-ԕ1xc~v\7&eӏ"epFc.ՏvEdwz2-IJ}o!QTuP`{Gn#lK*&s_yjtF ud ?5&-۳U-rJqt9.|7GoSYE5z~^ '$/(ʭm;f& #DwrfTI'5NJ0zr S6ʙ"ۆq!aw 8O/4X75uvB.|Wxdfc0U@ЯpWSX }sgW?%*q]1v1BO]?}ED"Vo'aݣ1-bB\V$6DxFS`Ү+k }CS1\i쬲 w־S'Z(#C1`?Y#{ݜV@%{c0جhh1KaNqj{ JT-=tf~+])XිMDco1ۯR&a+E</5L'ʄlŌtcSTg! vHldXٰKhP #WE{BxC䡐.4]q&ɒꢤqp~ ?ks^n5r.v0OxDjl'zN\M_ލP]jNhH!{pL3gNubf3Z7QfP+nԵURM*ZaNoˢYŒd4tw'yR˻˻";56GR9yeh*<%]%w= t0`kFR# <=3.68F^! CgD{N d˼`!Ϳz^Φlkۏ;h/6Rs\ݒLjzRO~ ]2t`۠uwo+9Yd&p*TV_P{dmY,EoqEW??G{&ِ갗K1g؆FC"O]/ƥVXƠ!Kvx;N2t6yI~%F2Dxժ23 ~ʆrz1T]%ͤ74hrM{*l5GX텴x#ܦjE[!S :;>Mz&R*Do7@b*qTZnIG>E(q-OYI˻<}:-3O*dUgPzv [S.2=̩7%UE"mƚ25!Zߍ:, fQQ)Ϣʼn&& 5SWЧ=oY̆J*s>jhSZ\f}ҙT{!n'-\̇ nKZ/qC . O/Λ}|hKixo>M۾Ǩ~"46 O {=ՖD-g2Qf_U_Sy%eMj!:C@63'Lg#GB4"5͵"YBB%i&,I#g"r{M@QEπՉ.j٠-Po3aDAݲ+6 taиh<޻ }EBڏ^fOj gyϞ9Q-;[  %C$D?ljW :Y,:P˞3\ qpm> }BwKdT}']"ZYƀ(uKd+^i9 XhmWn1H\aЮLU!ThRH=Lc*t xxMYbk0#H=-}2ve dm3\t+9 6&f0XxvƖ)ɫT4ya䩙w}x"džNPÛ]rz/k-LK{\_-3w6pKE3+cq! n=F ahZuC+I`~q%x=qh9bßnvId/x Z,R%y"ƒf"࿊?V_ G4r9wb&fMb E1LʢL4)QFa!";VN{).M.ZlB>0^kr#Y6)q2/B _Mk% Fjl ;Ӕr5+{zrY3zH_7uV럺x|Ebkkٺѝ̝`kl-`yH9x:h{ݞU_̈́zG mfsveMobC;ANn t+'1Ө87Ϥ|J!vD˸Z+ˋDBۭ9/Mˑr։l/KDuhpɱ+t|_5O|WR]1=bW"1uVCI6P|B?Q @lY)Yn@h.O3$UP[OvcŪgc]?i 1W])m$dS/I{$hQ⽑QcsO_FID&([_g1!GS52NaQFj#s!{Xa2 4qC@ QHb%]a|&g)4$i@ -1lXx?;\k7gij־h1ta0f/wgHT2sS|ә&z"8XעgvBK L#u }KHCC ,X;446׎C)oʊ$3eOQl}Z?O7;q]Bה4> X3t|2V[<ܑ̕Cn9 PQQ44ޒ'&85.nP%;%X/4xH AOلjr֥&5~,QL?6~7ʿ`M"K5ٴb2gRo@z g7%zf; !_bǢȔ,120b)7\ m?^E%CCT3.kY{1{1:_QPP9?'~ _v 4o?S>rn99gK(~.#Ӱ^ ۾Tx\'y~Wajg5@%c>S/q!F3h1UНD-zY{EY\<ͱN'va3FnnvI5i԰2_"ULi@83Nn%/^2Bl2sIQ4H^缃-y|Ww`k530!91|h+b4R\cLME @6)DlOжZ2cXI /)3"Շ;;9809faոN'^CSez|ŗf%olB/RE{W:X <ul?J;2 k=^!Y:`l_\7oĽE":UD~sxڄ&׹NyѓSj Ayo eT<گs=MÞ I]\0A<8+"7!+_w6 I+[wez`}*%NpP>r{](kbtN]`Խ6L"~X@.ڻaK=%ua|4/r37f,laدe=~r H¸W?]`B rE ~]%zvl͝Dw_ZS!"bQ4YlXE!N$J:8bҢCaCՔ=b+X:Ad41}mo ?c9?f#"h 8?ZVE:#"7.e˹ƉC} zxtwd\[`GLOz{ ʎT1OO"*Xrl0ǧ_VڂK^/e8!,όI(t+~^/W&-=ރtVz EEsp՛#_ ljWZlܫjN-FRC [ .N$amiSA0VV({Swq+ rfA>nj:l " U݋6V:pڜ'5^4ҵ5ܝTu{f|-Zh.sn{~ѡ}d=2v*d;nG>%<τv|^Wn֞ꥹzx>XEs+%zȷYC^ 8125؟PSy`}jX*;LXBer&b1ͦJv/NLG |=%j7HukF?z="6B3&\XGj:J' o~_/}>yDA}P tr*Ϊs*Z.'"c f~tJvsR8 a'h-yiIB(`婔}d eEU+A׍ +bMB= q.T=7u˹eW-|߯GVqvl&cs^e7A S %G5 WQ–#a|--KJX;3)YX-^wcC;>%`+lbiSz}2fUx.u kt. Uu{L~@Ve{܍Y1G> o_}VVq!&6=+NϿ^}'a+̲8x 1-x(;^֬&?Hgu:T:y.Nujfu*6Pa%r{D] `;7Ҩಿ|Ю`Ҏ`3XV2h^:6w~ONN]~s4ktEF 7Щ|O񈰫N.T]z#v<ZOe$&<>XQ# mo,&U=}K{DžzڲY-8f?hNJA&k zEG'CGnuŅE&"6jAe-z|ePEw| <*z_n)wOhzxBR3=?y)K;H\%w؈Qm!hA79X~M]ٿyzR37w,֌\{jrE!#}@ jzI$4xPI&m:}w`F P5ɮmЯf2S )*!t&\#`~$hLJ@HD؟5F-ڏ2Cm<~;yH6p$ܰwrRǾ=딬 $Ö؝ P1(E:ӫ]?CF-AWO ?"iCaP`y= )iXrܢ,M})Z 2Ak r.zT,{ ]q y<,u ryK x.X=({Ku ڗ C!X+6;RAq@񕼭QL]q-("DK_:oZR\N/*3`WTu7m/l"LrXfiu% ԡ㺌 MWIo囗qa%utaBq)[f:x EK.Z2&v^ FH YrB4  Y*oR+Ũx >.4pਃ1`]U&ԃ=#-LǸa0 1#00->] 3 [г~ ,zE[&w*ίTϓA. &1ny  ]D*-+e.;'6ZOld=^7Ҩr|ph9VG縔1S`s ~TIǯD8$`H/K7ceǟm6XKwK@ojwH(&scJ$=KF)c Ⱥu:|5;ISQ<&)F7|<5?$bIär/e* m\NEΔ4KP{Ld餛 guCس3XN]֬Y4& 哛s(ʻ@̉Y.r'B@GIFU/Y.eX Pzzm 56Xia&fa|.aanH:*MV?Xi`(LZdCK^%&?A`yHfTӷ&`@@oڿ/RB6z k8JX61"Į-%;*cjg\EH5zN7n B8lE)\IHTrGL.%aP ДmzVDݳ*B"p8$3}s &m+XTa}la? 4l$T exZ2ؒ&0/GhB5ydmy)E=yqլlriIG;65CXzjmzÆ3R aDѪ?xټ|d9/ g3. BoCfl\G ጵr'jHp{SVO24]s<A ̏|scDAAē 1tƼ{;}G{SQ"fk-{Kp~@/I[Өt77 `}*,EdvD>`lǸJ2x}G]xԶ*7KF:nxtHSuFog#jxf9Tm*&zo\c'D$i<>)'IH@j>~] -R *ւHBC'Zt1yj46'voڢw/8#DqԜ0¹18^5ZV3 QEdjӪTƒvnxl0+RO ^e,AliJ#E9y0`O i<|/Ia{;0퟼6m}Iix_d J?ECOIl(owD+~d~7]JqI9}%o/OR%!nCh7AhNЂAlRmqXP[W +7U28:IЗX\:1Rag܄~iZ8'5xa'|¿*8gPlo B) ca&2њ_fWayfc󎿷l(#QAPRL^ܠtdFtZJ9K[>U#F6iVHUZ֮3~$oMNe$oƁ+Zr:'Ĥu<0EVG'gli >ʌ^ OWXL!F?SPp'+`z3r#N֯mh g{TF T//L`'M!AQ4BYRC#pZ/C lz?-XDC蘄 ݎÅA:2\C7TTbϚ]=y1ޑEzpA_o"mb*@^b$JZdxaH5[t/A˲37%L-ל2ق40Q"ZRPk^OV0V=0HiK5==Kؿ" ЙHp;'`C(+PMxe$~蕭j8e\}7ujZ z!~ tio)tT4ʑ9"@ϼj*I+vYY0 LbbS| /`Y#0>᳟_^܃$dXeg$A&PJE)<) 턁g|b2*2OEa3cON+ EȜBuNB6t%}:ŕG}uIP \}u5<3Apm5AF,AV>-ׁUn ϫN#U!2lz~twCx6 <%^YNqUkPg쭇1{Iz5s)prWM" ai8 cWXF F$dKzR;rcUmFsH;9!&ӇޝRٲmUe* E)B(M.83?iFfBaQb`chȯɷwll1?X)$Vt8bϤz\:%}*hT/nBsgU;9hfPUԾ̴^!4:W5PI"VuNgBo6Ns[PͶgUɵqAG?ɓ-g*{Ɲt l%z>nv&0 t ;-Ot>0?]Nw]5imViHƔW$0޽:qlѩ7*o Z(S>sE_ѽxs̼0Cr"|@詷& n. ў[.$^u~C;棽$ x9bu~߆LٗV.$#'-%I#yq&#NZ0J<a/p6Q< Z!# 3lL.ZĦzǫG³6\\ċ"n`J2f.V JBZb]u2x>7J}m"2%УX=X l9;M!! DŶ85?h>,KhtT뼍=i3Q~n&7:'lɮm#=ME?xq[*MT`k+5WNJ,S $Ԅ)疦4/a~`!$k]L)gY6[;ھ]e2 dD43*@{+7ԐNQhODH;Ӿ%Zpcq\J9|_j"&RT'KؙcTw^t7~;Hp9InGnHZ8)ݳǾgSxa7]AS8EH7|QEOxGmFu^Öq&Yq,I-,BA_ 2\T(xw1]AOplEfC.=*nE1{6^KxYwڤ8>w6`:fEb.إHʪչͷo#Q/GwO?Mi^vS+"Rx(Mj*(ydAEH *:6o*2,!@gsv!w2'- ы9MRqLWq޿ ~hظڋDtA#nOxxuv^_΋- cq?E~y %-=ˍS'eiϋ@1LϢڹ倒56q2 FQoGKJzG%&By^U@k|)b{hŋ( 8GVTˇO~IGj-Uӕu`na0؅2we1CQ/)^ީD\po&ɭkNU [WmEtbLbvSHO#lR.W wZ!#Yn^r`;ħQvMGo8AIa oGubsC_nʟJvW4A2M`p5E;JM`]pwtƲ$\l!5yBFySOpJi۪Ϳ]55eÀ48BL2tEZNdp`CYp_"<wޱ9}X l!.SN,'K]cK}.JMK*d1W0ig/BTpbKj5i[8O<꾽иNTOm;<| $kyiCr1^$Q1(ϲ- aY KPႵqgN+k?n|ʬ,.rpLf^%8TEx}xדөBLnղdc0pd^y! }s\I7]zybVp}檇rxv;8v OEKzgsgcHm*ߣ=8 t,M@SnEil恗nj60^ :k/ox%hw݇u;W  ]1U_wu:QWsLm;9ߧNvDD5 5aU5'Lے"ΩEoD eyKp[)e9,DKSˁQ_s8=iҊ$+n>.N'$TvTdd5L oʠz#)nS{!h^ҖEpJg+jJI\"Ƒ;A~Swd_i48?Y:8c@}?Çb\C`te".rq {*d!v"BJ\$VT:h\+6Y†cuʅKi"3kb6wJvr~$18=9$&Uq  >-e<ȶq6ؔFwN?e!BzOʑU$Yy ū {TsЧҳpB%;mIZRdS%*H$:ד@LZm+im1fv^]0W:TCFc_Jȗ0ڍo5I^%1JX%\.+6E K^} 0 #˿ɼ]BPk-UO|6hVKoT3yĞU*jc{į}tx|tR.3e>o7@=8/̯)|#ol4wkPOfM1TcEE[59@ڀ!¤UǛ {SC]0/E,/Eb 2:*|EF*qOwt* 7iӞKPt/cA.\|(4 nD~ڣ_npc06\|G۸W8o˴f\\@훝ZХ6*J|;G,"v2V^#4Yurb;K9:%?~Ϡ]mOžUv2pң =!$橒K̚dYj2%Nm2<dzH:-Ww5}FVZJ͠nRzФzQ)W+Ppe{$ѻ_5P4gq$p%]Fanz^WÏQ.s+}5J%%mVw!%+KwѮo |(Hyt1~Z}\ KCMN ڈ(=iR+ 3M>-B( FZGEjF٣YwYFI^Li׹};qw: #;ϧ } R6.;״=rۣ\@#qU86"xW$ nǚoO||)f==yQ` IaG,"vsʴ ƄH@ =%o1p{05||R+Ϊv/LJDˠ~m ,#LQ&&W\biMYNmɯ5I7HcfûP/Fhz$dq.𾞤۷X]E#%%NuL8>kI0+*cTXIߊ2ȓ; m?T~8\P(eb !,^0!ճ[Oq7j"9'5VUrl>(FnIMAn$Fe>8;Z?+̏4ta}g{%b%)ay!G, gnq l% n\FlS`_8VdwG9[^)k)'@k:fɧp'ǁypy2av.nOodn鲪*ϟN ADBჅڞB<-zF AYUJ}(oH UK@y6dŋ W M M=W#_L㚥F~T?jhh*@yתUf2 >\ZT= #xyz.|׮y-\+ɨM$U6l\T][qoͧW$9\/$\տdݢaB q!x{'ҷg CY |J5 =7u{ml-'Ehx좒;6 JFf|1|[eX~[B5)p,*"漥ӧW(K#eBeg2"Z !ԫ%ȳ^~S_I7,bMj޺q @Įi3V{WVzE3޳3 u ]:[xc tPV ^Ijtg~rC#ξp| T-?=+5曝I/n[d{ )VXU1saZ%G^ # XH^ߓ ,q)fxNж*5ݔGϋEw6"Dxًb>/{^K+4E8"Nͧj/ >@x|.\8vPtq|1( c-Ezg;BWpU>7VJ%aWܞ263Imi&$7[tȶތcyE' 1 G8 h%OWTъ _A>oQ`z+TI~T 6І K >e j̸ X>q?k]9?!c4۴3OpW5' j\|Y)F9esYd2k(7JMnQc\U[_+9F-aϒ=萏 oO? ;xK`hYH?=Րl&xҕCiďӷwQ1nCgPk0z4W\P" s_۞ %;$ؘ53_J | AdA 6+ŵ-H#uR5'~A߼3WFG9pr/%I|T:i&%%o RߤPV=Խ/nf|iʔ?VnN-ڡ94마\A'|Le4M}֌dG[a`tڐeD! f%WarݪY,H&K).s7*KJngac VRm9 c e Ao13 Q]*mGB[$.]Пcm:7r fz!t] GzpvN%S:x5N[Q7rξ6n`ႰB _C^:j{G\wH ^}@pћ c-)'< `YFdΉ_5A؋¹M1/:/Q{$S`,|s2E; lɛJ1RJ廤v+LĖX ||lY@ؗҼiLW> 4N~ {TsbeCq,m9v@O*z~vd/T/.H{ݜdo~[U#+9G8_1)2I%z]qh\ g 9ON]xl?4ѷ>֩ Lәn|de;z݆jLfz dIۯ[ǥGl9Lʳns@~& +4\Crgv(uubk򢿻yoZR\@ڥֶ&|Bv3 9d)\04n9uKf ƃ\$"ۇ%3n0C7K쥃-вCF>OޏR"eFnf{>za:*@Ps=A%0hZJ0r3-XU ݽ Am1n/*\˟&6`%_˂uU{[z衦:s;kP` ~r6:9S5|o(QEq ӄAa7sk`Ũ J H4 oO]P#ނՅWQlݞV-iJtY2xĜQ0qjOZE$#BvպIbr{%Je| 4ˠ'ȏOrXK W8;7-Ktۗfh6xI*xXPa>M0Ox9=bcC.f\F:̘yPޑ[Z{PQ=A^)rpCr;>茀oA~@ ~~W\Jӈ̐X$ڤ&Y$ hCsX*k?Av]q¯\ 3 5)Օ#hAg;!nn:AҽD`Òdf+&"b8u.]'q״jW:דx!xɚO;Ώ ʖ8r`Uy2KXQ\\6r]b!]v~:~7O|MKnc'(2k}VDUvknKtJKxRcՕ92b'P_?е," G'N໬cn/ѠmxGؽm9ᅧZԘt4ؗ(q`,z3 d"8(xƁ3{$>1FKA _8y/~n\?9؍⒤6DzGbRs|]" pV! ̊.& Vt: 5'Y!%:%[_F~c+JFUby :tt½l8Rpiq(QPz5ψ9|&t%'Mg@6I6=r * Ź5x9MiW;;][ϩ*쒳fяDD r4n rnyƳ)Ү yc!ōǼsI^>("Vpp ѳv]OSrzWu5cyFjCse*С=믊kg^o%l܈l*82Ǿٖ{<>t*pFR#65c#("<ןWsB#7]WHӒO$-&Wk v# $VuGe [L|; [ p?L>-(^>< vvTu`Jqt#U } AG\=Dz8L&~w%rK|n")qhj^sb`h%xbr;ȸ&;~n* q#.BdFiSTLv=[DP^\kVZ[,U.&U AMiMZB ~9/iYO'U.= O2L g:u+0*>ͥZi%Ǽg$2H^؊ºt@گy#yxm{P86ެ܁}/B+<籃5!H>1CEϗ"S?~{oSlw6{zM 6ESɭ_@/5}CRfʌkqUqa|JA0Ҥwa9T!Jp·J5à JKgh@~gk(yQ<Pڝ@t ptamQV\h/\T<7Aݢ i~NEMXs; `G=W8)|EQg[N&?6!9R pvk"Qoxm{(_'PXp$2`a Zޛ4|JhgeApKen$M[ޢxW~^Kbծ$>tFMĿ+_4:X V{K "7NEQ0i疫Ćvlۈd_0%YW4hg63A"!.;#Eyg oג*8ȊMC)YPYQ_قQoѢjk!0/"W]E˧^]ǣ; dw3a_`swus óuB@jnK9zzA{b¸KΧ9 ➭;qm-݀CxvpYېƨkIȏyT4UZ g^*W%Ϛ8uvCuj`q t|;b:w>(}haBdD'-ᠺAEW&9^sGs m0`I?y\cwEW􌯶]=6sÕ1nU#Y-"gSb iw"0)N ҍoGR(Z !4@`-yjE3:I242d]Mw߫bCaV]/X +֋E\q0$rtMQԖ(Xx"޶Pn"ݿ1aYHuxvKíU}NL.ߐ;P) Ҏi{;o 9M`b)Y;DU3|骜 1hMmOQV 4FJyۄj>񁦯b_T_:\*fIA-ґ'T.9n6 NfuG؅Qps g0Tɕs' ;40_Е4؟a.%ջYCe C㱣J?z: eq#9G hoN<˧ W=s:K]nԨ}xBUnmge!m#+Gy4=(V>7$EjuFǿ(DwZT@DUI*J :玏 1dML\h+.ggk41`I Zu!Ph =I˘4}Az|f O@8Zf%H~ikG@eɨ,O&(|: Bǹ;p>̪@螌OO-پ*R/5)qr4g*rH{q{bFj-h3K76UmAѐ׏ح~S5Eqq=/'˾pZklkH`}$#: \'^:duİH^.ىzd;ir| \W|B[kc~vr{l e-fSrʥƉq4m#-ŢR{?GTKpoKGTVnVh[{R)K"p~W2NE/3Nfl–F'=FZ)FJ_tuJM ݃J, z;'LT9UJS{Pk"'@ٰ:d w`1N@O+q< SN"vH󸊕UxiYjNpu ߐf7z1SSGY>0k#WYEĮ,6 *0WzpOh.ŏ 61k҇Rkރ4kqǬ#ZegՉ/e~fs`]b2b,FKIImpUJIK&;'y+z\ѨX?+eϢn,WT|/. vm >d"cs}7D@KXD_DjCt3{I|*vn4TyYEtzihqaghCF'iwYll'*;cJ[x(`\E]T0&ɮ.剬q݆+*VmcnEg&AڴC$Ɛqħ1g $=`At'YUO抷f"mgc,lKq7͏I| 'ZjbQ6UNcYJ)\zfŚTZwRkیBjd(;a jOd)ٖT( hQ;BX#Jxs?@ Mا/_rv X._bT8-{R:+5VeSLhݥ;UQʀo~Mܯ!!p6;0N4,.U8DWN/)cL3,ȋ״ ڈ ud88aÍy8 Q&2_CۺzLN ]ߟ!E"3>Np.1y^9mt(U% ד̺AmŔ # @BpQ xnn(Dxz Њ8ʗsŒgi2[PtQݬ k96CL=Mxӈ W{4{[LRd#7 (xg^CGcPOW0P\)j \H'(@"fZ켣Fc75Pk`]v(o?2Yrz?Jfw怟Eb[ݭ8ͅ}I3[̸K izֆU[0\%5DQHrmJ}z,REd|vp,QojU.?l*jj"M'oÀ$scA@~v=}m tKf_l ux]m4]~ T{IUH:J!9W-6D 4LgҝPhpJQM.9׍$h5FKZSW=J1-b(<΍&- RI?Y.6}.}ײѪU<y.qI0ZJ%A^?tVPqʯׅY;QɩM"p0 ŜSX&.ӌ3lFyO|thA.ۆcp AR \锟't8-4V 1a tbZʟj例X} )Z܇5u#9J7%rT1kWiM:d, ?jЛ/B:DÜ'8X!k™?\{1﷎TԙvdDAJ;&avxD 2\0| XG# Rl0CōŃ 푦:]BBL"2#N12UbLz#,tX>"M-Ghz残IB+PZ.Zū>r4։a|a_A5>*cW D ^г!m c:B4D˓[l8SqǰV.D"? "PaaoˠmYi *u+ːKooU|b%g05yΛ剎J^I~'Ud<1[3q \sđ w*vBvkT؟Z+8[exƒ-c9x }Ef"Lo$SQIXqq f,Y?ω3!@4٪T>;. @ 񖉎#}êX#cVp'ӿc@OO'ZA1vmwjT_Zfrwlм~2goJ5՗iSh˲%wL/G;]K/y= U2-.m(Z ԘO\SF N)sfG`=rH]lZHMb$@ YPu]?soR@ ڿ"p(TYIYFZgrvLB}>q,aI1Ň˶uw7WL&2;eb]fs ۀiA38d0Fo"Xp2u4G{)re7Lr.VgPv8wϩ%1D1biՂ^JopERd&?SMsMǑ5v}0܊;6ldg;>KZrk&p8 &T)*fclB0߿Iy|.ϬikY UgZ9̪͏L5NIG{3qDE]loߍoX''z^ڛsYV1)Z (y|GDe#i،ZIݞ6uV^/̈OVs . .B"J,- k|ODtt .kK]Y[t2*>  Ř|K.ZMFvbe8')sF=ӟ;޸1ɽRQ;4\5FTP&I 8$'/667W8-st> g~(Kkwa?k"U3{va{ZoX$SiӟoX7/ Op.}K(V)(k>+m ?DApE/Ov+gUnǍ. @혬OpGi(s/)G>D\Lz8lG(N"!Fbыgv|B, Q/QwOEj\L]&GssEK14iXX4R]?"xwڸ2W`ڈ,9;%u-j!ZoXDߖFU6"=JǸ"X10(2FX#gyRyрOp"z_k,Y#{[β.1Tλ,]k=hdE:kJF{Y9{tXxAEJZYl|o4a&(t[:O A81$ wfsKۉ|"ɾMLn:azE9]vxmC52VBc$ic~|XDDG^ٻ)m,S}7) <S X~v4rYXEAbD+V P$M3* .jo 1 DOx1W䳞rJ'w2ƹ=j4;y~v):FY8vi52-5S>dh8(y$TXQפ!O7'iU!?s%IuQyJT~9%Bou\h%J[Ml<e!Idnf@O=4i+D@޷)3 uiD_K CP'GQ`l Qk]`mG $] W Wf>LG#?AUYM!S G/6EѴ? R'|&7H{j1GeAnu(R Z%?T oS~'\p$/Y|c4qveS8Vh|~~|W9YEͲ;xgI;!#&p; E[:uPɹ)#)eV ۜd{*tY39im|ҥ"=\"P4Sww'贓€?U%wR$I Ei`%܃hOpyj`#k-:zikh6սpLTZ* )R"WB6 ŒMH<%q 2n'5b5k@;=)KE+?E 7_% Y䄼/|tqT?E}] l`@$ l${ﱂUr9 'h%Ęl\35!bnQ`Z+Zހ(`3ŷoxQ%@+~&ʜj`_ГG{y 4ߺ_Oɞ6)?޶P㶓>)qZ$hiI-z~XԎV5.T~՟m8VxXG<PD3P< 54 CzOZ p]K(XQX5Lc:|OAwTgvueĆS%YA|:)l=(92Qv5o|-Iuxsmz4y@(\/(k Tᶱ ,@7d@G*`8U*6 lէB4ǑZ34+ɲ}+o2Z/7_1_ ns3xfNh$aЩGv7$LŠC78)T2)kףčCKjhuOpdjqi|l,6_%Kם>8 AZ\X5rcZ$5RQq0|>mE-ybUs^sP]t5lp_*<>Bز|Xp!^g`+x] k#f~z:.%HYV|fjC4eC~+Z('ߕC12 i[ۙgF M3tӉJ2d}U,IW YX2,勸UDI.ۧ 6P8[Dg_L'ɭ:|($eyXZNbiUCsE]Cv * zٚxe{ꎹD Z10j~ 3daQ\S E" -6f(ubޙQ!9.qM EI&4XTu4Ѓ6G%jb;$na@^<A{f}[w)UŃ1L6 *]kר~ ] KD(ECŋr,(|B; Ʉ򌚤Uk=G}OjFH|D-'dlV!}"q)~*AgF>z7c?D燿,iH2)X{-}&~$`r}=8W\|w "DZc" ڲhWnG61fp"*IjíMm)>4LLyB(В`ɯQ:2XZ 0 ݝYnܽlx@;%ޔydArskp16܀,R+ًVuBzPAdp0KYIJ"2lZ6{u;ȻHΣ.Uߒ1,S<~v)[S4m1߀}HY RR_")n8߳e pOC[fbW]:J9@è((>a3yf~88!w _IC/N5˓=iYqSsxfͭPAiHq/fcF0|~\"ƴU|?v;C9oPT2B'=ॎiW8C@~ơOqNMNy} #:|0k+M"ἦ(Q6SzAare$ 5!F_!R.ޒgХTfViom|/<7ӛIHmI&T-܂D A'EWJD\z RѼ£dk{M|[Gye\GQw؍ /aPum q!ԱGdloS&lmyb]C)F|@*L-5cK5hx-8h|>Ůn+\$[*(J+Jߢt8doUjAwoH Ӎw}s)@GРwԥ,:ǔj61ql|#e83 Y/I9M8_N W_'FKNqԖ8Uہ'$&\ʩGc. Q&D3WEVF'V`9A_t`QvѾx$KSnbwpٓ7 >S]AF`j>YFz bB\TS'=0Rw(?SѱYk{(@rTyl4}f>-ګ+POU &%` >IGk-I;$/Ѧ*R)ڳ'A RXJy^ߎC}AvX ;ߐ"J1`^hF? .ᕮ5x Uu CɪsSkGƞD8I\[L4ZMڅf:>@0cEהXd}]a(oO8zM*p3^#@-z=_׍ ))/ٮm|#wV-ҽfր_z_0Tv+ )2ʷTB\lZ=_3]ON؎/cT ̻eN#S4nP<;n:/Sa$q6+cZ߂S>(⚂(>I+}4LBTWWQ(Hu&PZ~aJOvHbw'cCZhN=e^,rLvGpdBK #T_gdEA8M"s@B-U(kޮbS$P|z*! $T؎V2>v֭f _?.I!PoWCZ-FpU[frO1hG /@qYi}c%$S\b*R%D|Yٵ)j2IEZ|$8o Er#zmHֺ GCN_o]"5$c x.nQؔ|5D*!QpZ@$7[{ua]]=HN׬vF%6< 3޼/1P|2{HH%&UtlPmؖ8fp)Nܥ9ٿQO$EM9=Je嗈(p:Lc:L$oR_ħV~n/An\=%dnQWRj=ǯ;j eSNR(ʙ™Ax75,&$Ԣ^sb{zwXG܁]5͑1 m1ݪN(J4xa(Cs =T7rT}&zp^/]Χ1a㰃(tҹ @6tCJZu̠iS)QwGM(K2^![C,K |a,l/Әoj7d*[tW;S?C^L|q/jsb0:G߂Y=C?im:w.p/8Dټ:*,Eb+3u/wڏn_ܸ$j=Lg*+LN`v쿐D_"nRW >T< }Kt ꪾ {@KlSjܳrkej~]ol+vТ׵ja>kBCNIk OgQELp~ԯib{'J eπPi/Җ%K[Խt7a]0g|%qD6(-'~y<5FG:+f,)'Ѡ$4L|lz<6Qe)[p @]tl4jr@k< S*sS/k%t5krX,sWN} ,(ԠA\ yf˷B@䰋2h ODo3to x oNSGI-&:4<E``>k5qB jn"HO\ߧ8@!>vN{ _v(e;5v1r̶~{PZ}.M:g^) n(\jIC0FvYkv{2w[˂ip;| 9{<%$F#()UOiC;0 fYQM]+xFޟv^B6[L I~5N  !Q޽Vmq׃)W:n]0Je=R2Q$?* "3}e$[ƘRk|e.@|r)Dz /^ŭڥr ۿ/504(;%X tb LȮn ͕}g1|/‐C͚ /)V $t ]%lꫨ5v::HtqKQS%f^Z) BJJ$gi\.TZҫ~icEq#_F*-P O\B$4+U47y4l$5Ayz;"KbStd E=io5U,ϑ_[M9q`sMqEa94>ZK/r3|<&[HE!6Z8`bT=uwMZu{vQ dh5*apX { T`Sڦ=òu& F:PfV$x2[u_0MWځB[ X w-WH?ev0TE::ӊvT8"Wh}_b%VOuڀ OЍStb@ZEZqsLfPab~-{{ {i# ie ]Ak;tgi.QX! E׳d>kl ne*d(iރ圗_&mȏ_4a&U8(Vt=MiO'9Fe"_7l- qEIW`]d9^7<^iR?/<*snЍD:h7"+o4JA$sg>y3;_^#Gt3N@Hei/ni.6%Egդ=]5L)ܼzL&T h;t0e M^%e]LC 7GNpfz?G =ީxjM=|ʲ`K=OHI+ ߡ"׍pjcI"Zmi 7h^lh1~ i DhQUQ<$ "򬽕e8ZݯiܘqN뷰!1i5T[EyY%lt -.-@[%63̿]iV[H*¨'?;~w$> {3魡0sCX *6\^*qǻKr/OvPu&H^Yd췰[DTpHQ!ߢ;g;9>Zn)?b"%-qQ*wѤ(^\Qɗ'),fE5׿TR1 Z=3i#dqm$f |m!k:{o*(Ĕ=j 5})e06MlfOsVWՕGEgb"HDŽ9[ 1%[3jyDhEB ׂgT' @Ow;ġvg Ӏ4xD`!ai~OjW#B֏yҌQc>(5](#%FJ%XՌOvƆG{\ʵĔg/o']D1Zt P>p[0 iOD0U:06ls>5Nݷύys)V(c`FB{uUEt ׈{ )VB^Emj{ex*9 ] (lrSИ) .Q {4-êQ)%3eOӃ劤=KP;;l J^#' {Zp\w={Zz d CaD w7ݙY*lt6,Z$ s`Jv 3'=JBT >A7_rܛa_y~+ua̭%)C(myGǍ!&b_ݪ?3.NrAV(dbMK\Rp1p;?kϊ!MQ, -ZaEbReֵ= b'+Eglᆌ qY D` <*π”Td" }ӁyT:Xͭ {dm0 u(K\gRʒnƙ<kp$HYbЌـ^=o&2/ xug(4>ؖr.% *}ʈ3O;E`ijq)e٬3*uIZZ.8K.4gt|19{K6HŠt# pZ8ya6*p[yNVxeHBvAlu '(SU%e1Wf@Zxf>`n ߢB@w@YvXӤCwg<0+F܃@d3Kev8R,^~/oVSgd4J~Xj@Ӥ[}͸,V,miz|8Lm 6t 3fy=4zУލ6Vy.By C[+@ C&9*S3N *)4j`A}d_3ivU.x'[No}أ2[[>S}7Uv5QzTmPz;ՂH]H_ fj@#6ͭx96o]LuR''+j>YzٴNT""i@Yؓ^W}[1h0EM|*c97ycn+xՐcӍ8n( /gz:}tb\Fi_%W[ʯ'@ [vQ&^+oˠ}gsUu<1`^7hվ5`JC_?'vh5ʀb[#U ~2yAB<Xj]'G7 >yj+htiiԭ|QHf9_uIw݈솱js9W$̵dxV$eTOVf57CxdEkVkhe(c/{[+U<\CLڔkx^j4~ ZfǑcfjVpK8`*y]F8!3ZʑRfKKf>xp_ Xݎt)d{\+ HN p.M{ (9`Z@gjb!s5cs6 N͇wrVk1e7b~;ȅlGclݟ}<~%5 6 >:N"̄y6!Gf/"-;end2W.bo"[XHM2$e΅ggk $sX?=Q-d u)i^;Fk%s˜DԆG&Jx|9~G'_۔pl8=n,kr0t}=z0U(_[,V^Ѵ:D5!tqZ?\8@%C@)xaU]<&E)6pJ; V 6 /i CRZ[ n8_צK<$Kv%0a7/džWkI,~wG*Km\Nw x #*:QbKTʐ%U6̸]~ͯ9?m#-4{GP$x" &$? k.=.`[!*V6"Kcb& Bo)y01dqL m'P27bM)*eӀ 2#䨬;vcpJ%IY:Z5yi[-ˇ,?%OFQHDfKz@j^ZH,H\ߣ UdbW>&$5B-XZZY @0/&^* ]~KLy>jܾPܩ礨>:w~FS<ȜCcrx}92S (;rӎŌ[߸=o#KmŜ`fEaB Gs/(,%tتkblA@y][v,BnR{Ia]M$>RSEYUz @pqŧc}%moыFAG>w}dīۅaS?,]oG w}]&_"^ &4Rߓ^ѴV(8f2`bp֣U9c>646 ^%Y#:pbrQJ*12`VO* {{K][9feHSZR4 Py~&IF83C!ѓD߈>r٩8e%1F@ ?8N<%q,rz_b\M'ٵ'A&SKb]BhEϚyB## ^uxB/L'#hzB7s2Ӣ6M\q /w@ דؿo@.j>o>;!`F>^{As)MM=;A.ʲW۲lstCy,gUzٛͳe$JFwI2킝 !Pp["u&he [ppKT6;v$: LKr9PSTn>$Q@"clC_1ƴHTGKn^J$3kZ=eVf_Y?{&z.FzZULǟB~_]yɌ AEߺi}^gmqL[bĭh-57s T>. =֦+|؛UT[VilU-f34͟nSf.2;@ڱ9ދUwMI$Ѷy*#^Ȉ2]Ruy\7p)`Z@zߤSѕF#DasU)Zx;R7 wXXC3'(qq$:6cFe*Nպfr:Hng">q`TKmJrfb+.APjw և;0$%_qA#Z؂ Cb!͕:+ L}خQ+<201H!+|#z QQLhK{%x#D&{xDqFXtZWZEjǓ`C,Tۡ+A@7#l>G oU^XTi)Cǒò3_YFbEoQL֑nb>-smz~H4&v/^DT%4Eg2_ *^!`IZK~-g*9{ivI|'yikUoYݩv87CCjrf҃8Ѭb,ϋ+PM8xoKT"k?̻fQhh*%mm:*vO$=&g8.eBlNR6f63LFbE#,RkTAԋv >Ѽhq,;g ӈbKLFs='`f"HHe~/Q˓^|✬d\&Q` ?CH(U3ʪ,2K)ep 9Wy2ƟAԮ!?50VyW9Y7gF