SQLite format 3@ # .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  j+t4, ]S]Quick_Sort_Cost:threads=4elapsed=14.230cpu=54.168gc=2.1087zXZִF! ]ŗXiɟOҎb _"09,WT␽h5 3ebٮ/nyɃ;}øHYڳ́%(fصQKXVZ6 m  3582t-O)u1:=y; .4XIU KaAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&LQ`"=XMO&i\8Q-%uDvZ5g46R)N \z-- F8Tߝ'F?\B>KQ@Eo}_BG:g\IR 'T?J 4 o9 3} 2w=^Qr^t&@ѡv3( ͼw@(_2Siny =Gb )#40 םɷCҪm}}!![)rYTy )|k7{o^vmxx+G]ebrE;{]$O_~h:@U+!/TS :Q@#3Ya-%a3G\4'eQ=ms7Nكր%k OkB'mYD1^+3}2AsA tGòkI//uGLok22:Y)jB_igdyP=5R3͆~h2}ȥboI>7?4"2'[f4cbf(Q_u/zRmcx]XC+f A7KA =ѯm▚u\M7)\?7W%o݉ʑ™hxg5 ,2%|Mpۯt{C..HڙQ(\ qod |s1l!!" -JZI f Bjz߯ ^m<1P:؆iT$}8bXV     sj s. s3D+S%Quick_Sort_CostLandau_Symbols.Landau_Real_Productsdocument.tex ;+A%Quick_Sort_CostHOL-Library.Landau_Symbolsdocument.tex >+G%Quick_Sort_CostHOL-Library.Function_Algebrasdocument.tex?+I%Quick_Sort_CostLandau_Symbols.Landau_Simprocsdocument.tex:+?%Quick_Sort_CostLandau_Symbols.Group_Sortdocument.texH+[%Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_Casedocument.tex6+7%Quick_Sort_CostList-Index.List_Indexdocument.tex;+A%Quick_Sort_CostLandau_Symbols.Landau_Moredocument.texO+i%Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_Relationsdocument.texE+W% Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument.tex1p#<#u9E~Y48MUFGiX*| HhOyAohP*ṭn 7MV$NZ*%lFxzYf^x^>ώjWݫXj07J[cAti^d0El?q zBoP1,ל^<&<L6_ձS/q] &b3.AM -[NDC129pyU u-WFڍ3Ť:m\W"nFeL:{? &}&ðZS]2#{͈؞Ղ` Ȧ`wGC7lZm(X2p_ TAAGԐNY-WS?Sc& |+|~;NG @g+i)MUҀN\Q`So"mƲ\Fd >_93~c8"/W^]٦s઎ k~mJmy#@ˌNfvZ5XJ+# %v{JFA%& ~Nm|u9c3e%0(ׯJcD_T$45ȝC?9"i޳SPUG0TMj!8㣔Qj;pvo7 Jffm~k7oj'ݍ31xuҧ+]B7t &O5.)*@r `XDBaagXp!;} O*6P!NG1l47谝BT6ĕ,}/$Ǐ}XpIVL`.' d6+GFZ%P Z[]= T#ޅ5{fnwj/7oQގj\/w{FD sHjSzR4261r@2V>98{05 Tel,ͻ{O b]S\ _'ŬiaEʹ/mE+K <{sS0.{l0Q $*/6rd~DOY G+rb.$d _BgV&P ,9OvҧгFwkk *Pjh,q+&au`(PȁhCMO{дvfoDA=+?VOȻ>{HsM:f0Q/ rar1-&Ԁn?p/72i[YߡTo?gp@I ,6(+WQ 'Bџ%;<>hd ^aԡ> yZa 0,?>oV5~x:-)vy}#J;hq8Wf"lGK:8Qgy_~E>zT-RWcw1L|򙑔Eq~^dij Hy2E_%鞾+=>A3wcΖ5ֵ=0gq瀌6-r[5Ee7\Xs [uIä<RL2k_U\6ũ>h*;$vڇJ7蠫d5TހFԫm Z|QvVx}U =Dz! B FchIJaI/J{ ԣmǍose8cMVSPlc՟%#ktZ\zM Ŋ&gIѿvc.ZV5%q꬐gz|ZFN :!tJS4%cw瞀'3KE).ߤsJV u=37"u,qZWҖMh}2uku $RQ"}PJa$\ A7_xCv0V#K}wPKEF?ec_VtZp>Ī@#(1P4EfǎxCtCʗ?Cf.5(SZN)<%lNpZS~1_Js3:~9T=ϛ=KPݦwv軱֥m3͋)E/˯g/^ ̾W>jwk1cx3cyHdk.}atu|vJ[[rSl~kfRظ1OQ/ﻐ2qzW<%/u+ݫXIJ `)1;XKҎ^\s߾կEᇣ ~Z!--y>QdTc45a8maei nri_!0W~(oR 2)Eq9W))* 2ginM+AS'b'įOYB "7LV(vdF|]Ʃ'\70DyFLXZ6 NLʤ~$v5xUEWX%Vߣ7k\PͶb4m2b4\N+JdWИO‹F_(Sq&swmcM2UV?9eܺ?kNΫ RQ nܜD>tz_fjb#r6m!l]:T-WL<<IoblBRH/4 U{}BU4g74w+x"`\vA]t]ω?#T=x!9 0ypQԈ`:,'\.kQN>I/E( XA? s|*G?P}S !zr mknRKG C)t,[ʹ}ǝB{Ae%Ӌ3᮶0tNvͻ9Վ1irDY@`4=gz׃zL?KK9?}7T CM:nhO=8B[t#ˉ8ߓmy>cvzqurRA*q5PB&_tI&]Pv' v)iSpx!1%Q.Ń-=ν&G&U;%yjJO'#Ue  )h1f@LDlJZ̟hCOأ{8f3o ˂269\+5+I({Ȅ53PM?cf]n| D2FDrQg^TpQ>IMUwP+̓յQS8V|9ʅs@P~F*#^i2n7(M8oaHn ;yƤ*1ߘdf %SYպ4&=55jK~,]f7}~II{`ōO[ zX6J5Sy=vU S\q'+_-v:u>xZ'ٰl |" Oz,zb1&"[FŬoUi܊eu# -9r`](nu9^@s%&@FK7MqiJ_2 ܼ*AL£rO{㽶Fy=6§I83xJ2 ωMx:Ze 9؍w"τ7'uJĈRQ&mv&\Íb 6QX]>SfxPak-[vqM=!r,)aPX-{l,X *s^ z6t{cW`|%V(_st}*B\csYDFX Nl֫!$O7-/3gdC1wع|^30K5^QG<,/,Ll8aJU:X9k̼0Nݖ6J*wyo~1;*DuXC5H|[ Q@Nb^|";m|*|i_}}z͸W3ĔVBT;̿t6oy)-)9{bx{GcM3r%!a j{<{2e|JoC*sUh07Aydl2V 6&\ӌ|W`Pɺmk$aa` yDuGf hKd !ĊР +MrЍui xF"PٕN1L! Ul*jHZA%#e]}YN3rP ZDrKfחsC.x+< ðfߤTL00K=&aIr}a{+Piӑr vK |#3o5N@J9,\%6IdS/ BH- qtS:ޤ[-JJ7׳  |83HV/j?)6( aJ|bzM И 8NzXZˮ pRcO8G9=G1~h50 ,%9B3-QȮ,{$C0F)yܮŽŪw szxk0t_ ڱ)-C6o10i0kd~^}l5|׌<#<ݛ-;i,u`PlkcxTHnMA %ҟ hs_Gg#g޺XukLH;$T1K+dJ_M[Sp@FװiKx!<}S86?o#-jEҪ&* Mháka,SЂ,lenv\Չ(:잰@ ^GECMǩ39:ނ(%WQ$D֠)1NĒ,{hd;iп2o^q2Ӿ9*퀕..`<COLA΢AvL^ XSg.h JiR& }oSfю~TKe_{4UywM+m&9IM8IQ?'srMl y1y؆2'L@\E_ ]`>lp1C [[5H9C_9U1oQG["@.v._BKz{Jv6GQM`hD29AtskgҖ`2)EUt "tlW; K?$>MVrEc zdɎUky:T% qˏFib/h[M)NCB, ²?,R{|:Ct:֪٨w WEݕ8}/;lx@FwrS8uO66!`Bo&pOaqêFx}QmMKȣjv_*qEh/)FEB- [DrI7µk-TuBGgAЙ#æa"fzp 6=B#rJ_nI$t=_LV1c'3ӡ͆ʅoZeܶv3]mTf%~Kn5EXo%$ugJ.b.QҒۤ=mMyr\-.WP 9ڛR6 LD`&Gƺ(.P82rG돻{8/U'.HiW߀1bIQ@|~~g*Wr?6ᑬpqC YN;"(m {,Bt =,NY\ZW^l`A}d7ZL`B[1i3\;M|u$,,,Rȸ*l! ,W0gt]WoW]}F#?,0ݰtB5͓R}NvF _cuBe@OvSR@FKQqn*hL$$LOHDٛ2CãL}?(W]Dž7q}ᔍ_E]AM¢ ox :u $v% ?z)ο}AˌZ{L@ CV}k %XHWU1x4f3cd94nS'+!aF"tO3HKWj25Py\adwԫT@yA]5 p4ͦ D=\Yg Z yVꦡu-S,f}ejێ%5-YM1:@n>3s! *)3`}u뷶%Y1@䥙u595%VW,?B?TT+~{46X^%sʶ7e{*%i (*Q֚ Xa! 8rބ2%w% hcDhUoǴpDgcJCzN0@ΡM^%zV޷sߴ׼^|ο Yr]Mm kNIceIxnIBN/ /Ls R%Z|(8K tjSG=HÜQ3|)ҊGN|amީ0pW}@Q5l™'ؐdD[2m~ \(32z=0(?r ȱ룲KQ'ZsV1/6*! &Wds'lmdB5ޣu yIT:ڲ寕8$ evZj$.(|X@ʌzc8SLT8fzATŲ3@䶮ń &9.G@TMk|F-1{GF&`9ށ&\?)6hAQd ϩg٫QH W=9hj,j"8i36l5<24U~H ;^Bp ꍿi>5c㯓7 [/F8n Գ}^x]`hDɋ…Q)eQh;NB\)ܡn>Dԏj4l/V$>ыTvg"G$sFu ւw!u钵O 2޹n"#pXQ)"b!;(SK:Q6!d`c5ə* 8 + PPvx#cΕX el,҅htGĝ=226;c a?WZԁl5'W##.."8yt&]տr>j?ʱ28kĨlZSyBZ]J)w2d Fi:kC\{trÝIgtCne`4F!ֺgCC DF@Ud#Chg FYc:MPJ@ :=XWX=RtrNEʇ|; *`H02J+Nt]Zs_/ :c?A M%5K+]ZM5g"TϾXr%wk;Cɢ“76]Y5F^I5_N쳥 "#p$nf$)i0Idݧ귬%FmǮoCPdXւ Ht'`$v78 7v'\hIC^RBMNR3*/B3 .3η ѤQFn>U+7M\Mx/K]=͜Lnq=bT,>tbP[jd͕ct,EU.ay6g!jG.P㨈ZЇӫn  ɳ"=.g4 l8älszx] '΅Bde*p ]!eR_H`iMg=oC=˞=Yۗ(X6W-h6?a DLRM1kSnB׉Q(~+yjG Jlx3c&*B}`Q%z=20^@:6 ʶi P?gYZ v )wՀ[Cw=qCouTLwDby#[aЏ8==UiN,α8G*v,JY&::a+#Cݳ~vl=U$Gtj(5wJZwr%`5s }Q1@Vxh ( ) P|cǏTx4dD=)Z}5ǥx"RTew4XXa?&]eOY~X}] B[jܕAmY^Suy=xө@J9 ẗ́ s㷝_ ;M٘gcȥ @RT \?\GRGIg$z8jZݯr’;T\GDA-9 ы{_F @3FOے@I N!!ʐ{{&T/TF,hCO ْM/ucxP1idT2wE$r;Xx?GM,#Ɂ􈟦VPI$FSqMkm PQ q_g=dnВFB9>I`KL p2k`tșja&[KE3[HܪIRJ/͕=\n s eC'\TQ%hxkQcdѧ=CƻvTp;8hG oӿq{*U`d_&ةY햋`حa4E-4ʕiعc`"M&P">j=(L^O?2d@„rC `jRgq(YAŒU'ȿ{81|fyTrg,= Dַ9]_s꼠=͉W \::&?+l6 d-ҁZp`鸪P#&Tʁ\n3@hM=үiDQ13=E6ҹ琊Y, u$t+V)dV*N9Ʋ607۩ B*߀?8wNӃ>/l5eã;:Sbc|G&DQ^Szn4N9v c ;0 r 6;N*|٩nG2u|X!sg՞uSd Q:%̙rD=Y.h< ]n)axp dǘ:Cѻ A*5|D%Ka"0>Q]0L xPkcTY5J{ҪJ7bν/VE@K:^Ɋvbr];gc&gQ'W^elCmf*FBSwn4W0ī7w1 \Gӳ/p T!’I숂쀗ը}|k w"Tw.<#NYz|4*յi0;z2Z ks ?WĥZ4;}'&nFGFtצPZ1?<7}MazDT6e #E]cTOn=-7:?8Zn&ao)ӃjC]k9!5yrjzo,6!GDx$1\|uDfS+5Wh: 2I7G)5ľ.cۉxE9GXE77AS{]A3~+)JE\Bó̐]$qlB͗sߊo2{EM@e@8xw)#ƌԍro_ 2^}(E 5p}~H$Ϫ7Qc6IRBf qrs>#4 )64ѥ((Ƕ+BW~ddzB&< #k_?1ǷGv 4epQ(qIA2Qdk;ő9ׇ'Vor9YK7t< ӏ0nYL*#(S[Fg9uepJh/{Zyd*t|3r~NxqѴگ6ؾזSp)czCEu]LWRH> P+n+P'?NTEs\s+ Y_31iX1ccZ<ƝM$ɐArmZ\;6}?,$+dm!ItS4q੊?wECJuk Ny?%ДpcI{z_~>3 Qf[ ̞zF=J199mdHDxsv0~9M"3?5?XxT10p v D+du1&F'x,S-x.Pf Ek-yY1|Hdf+EeZ <>4֋jqL5,0JQ ڬQv휓6ǻ9uM"U[/@͐u_C=NC`exY׉7H֥S|on7l;e3U~&H"N 9RG#t- bс+ 77=B"q -Pp^U'ι7X)#4L` lPZ6rKr\V}ETf34da(Ex;S7w#9UƄXUjN,\e;~hק.ێFڀ>3K}7d{u:C Xf#9d&-uUZ@)P%W^vsI?RJ,nEgW0o8>L -_B*N>PJY<;5hz'Z"dk[~o* vV^ɿ'֤ ; .]{!,4@i$wh#D\ȕ^S7ޔI940:1vN{\XfDD->Q-)1_\:`e}v/l?\Kjҭ@F =l+14qu<4lk]!cp508XuB)tI7tW[5רiv:6be5釸!)vHdKW I?E=uf/^jT g!5#|Pd^(MY'O{`WMsٔ>}l9' 7v˚nig+Gat0ZJdՖK\2&9 _s >x}{ qj[f U0q5t1"aK])X>~'KSNruδ<=8`e>1*~ 1+aEsR?nc+.44Vo#*5yum5Å\j^n(%՜邋qH;4 Bu羻Fȥ7xv у*Z~@ߏٸ%ye&u G[V㺿9Q4GQC1Oό.3?[m QZ+}! JN/v>?5.Cf͓!3?"OS@RZ1e1HA,6H:#Πn1.+;sgAs!fDG fb/k:94S={ć¬ [[nBgvdaPRZ(zXKId?Z(vWѬp+MuY@k+ώTGYąp3#.F5KR>%oa+фp}X/M(!c9+EP^_[qPoZ#_.Kw3 N ƓkwwW~j.e܃[oVd0a vZELme-eB WkJ/X0UZ&ɲ#V{[p) jC܍ILsM=VJaq~҇A5<& x&E\0協MUKuExNOl4^l~Жc6H&|ctA!qT&XrWI28Dj偘2\.y:$?H j;Cpbг&FYuWUya?рO?iN%AH&"IQYsxõp T$ӁΐҬl_ÿ j e !ȍ;}fWFTh׳"eecC_vkzU޼%28YC&!؄Su/+8czU q䇋CZpIVMdd9=x$eH,9ӻtE8h£?mWR%@!Imhi-wC!Ұ7⥟Y 4 :@ֲvC=mYj)a0(v@ MJ\[3tF؜Ə::Pĥ[$}sn.=)V] o\Dd⧌*AJXRgYZy>ElpV3&QG>; 'Ҟ hI^eMH͆Cz Z"=׶\Ŏu)uVkM}pS L3wh:Ą ][K$7jG1./SY2NłmRDȔ$7β"9JP,r-1,1뤧̺ej9 hxAmةnoXa0W{@ߘ '})VשcU^վ29Lڬ tqtb2ˁE pG0'_ATCXZ1Kʌ$噅6/~ѐT0҆qȨ6֘D^P ch{ i:G3V/*|`| .-Pl^&h:?WVjx҈;i ;mL!boTپYۡf^r/|nGg[AS L5"{0rY; bM_ }~Sf(DZbWSFTH:gu>1K/`6) D2_Jhr3a,D>D[ӷ{Tù{YWO-Rn%Eѽh%۶X\酋2z3ڛuKG2P%tdN& k-īܪhBPAIu]5Md?Q*mTTaRڬEs \- 8HP={Mz${.O9"ccnx?ö;OOY DR`m" N2H˹ȃᆑz-~ r+4ݢ4U+H0d mkTb|t(H ݸ<`9Մ'?"|Wn,}hZC{:e#;l~ΊΪ4ypS4gƽqf 6n^k=KI5;GT Zi ]+nRq"E:@\o6gu:)c#m*@zA6r!m:&4D󜵮Nd"ܳbY!VٹKΘRz d!Ia? ēW]eh M1Ŗl~I~-i L^\B-Q$AZc6mD4C8ԜtBЯ㶋 dXw~+ݍ i-\AuD~~-W2'x#6)0Pt.9@ߑ%+Om%^L'|["tBRnO+Acp%ṲB jzC?]ieW\OAOD:VLDxsF;"ﳪ@+B۱eFw@A7O _Y۴X-v4EޖUyL8x/wzY;}VDOdmsUš=^\  n>roc i=xe9SS3e_AK8ٞFZ2N[.8}бWm`ÃIY'`{6|,<<d'=omrY,S?{4A vC.roaN|W|*^,0pQl+P93|-ŋh6!΃ؑi$5ur1&X  z/H3@cs7Đ_:mA[S8Mc* q\%.[^}7f9]*ְ)VsQ&h6l;TY8} ;S(YZ1ߧ!1T>#HŐp~IN?!.hv${ l5;:€- b`D-%ׄ%7j/%,jjTi@OQ9y  ɟUbHtBjdzZ:=^2[N;%{Cqx4n n<8B9p!!HćUoaveO88TH Ɛ1,Sukm?Dp#İlvodFfdcB~`!3#Wlc'U[9GoFae 7ʷGܸᖲy;.ZB3Cx B Ol<_PlFIJOY80& ـ x3%W60Fhg(,63F T:ʊ b}߹OtcɎz~%ηHj_ED>V250R'4rzTg5`8İ?g*#/d %qXF]l,r%eT2pɳt,;ۛNࡷçh **WL'ιƈڃ.,Mj]l S+Ԉƣ[%!.);GgYZ   +i% Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! =%]A-MՋhvG"uIBm5htgH\K*) RI[6(tfXu`; M{Y Ջ i$T{[ j,d?ͫLh5~ 6=@tYO m\~2&]ot uk%n7>aAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&LQ`"=XMO&i\8Q-%uDvZ5g46R)N \z-- F8Tߝ'F?\B>KQ@Eo}_BG:g\IR 'T?J 4 o9 3} 2w=^Qr^t&@ѡv3( ͼw@(_2Siny =Gb )#40 םɷCҪm}}!![)rYTy )|k7{o^vmxx+G]ebrE;{]$O_~h:@U+!/TS :Q@#3Ya-%a3G\4'eQ=ms7Nكր%k OkB'mYD1^+3}2AsA tGòkI//uGLok22:Y)jB_igdyP=5R3͆~h2}ȥboI>7?4"2'[f4cbf(Q_u/zRmcx]XC+f A7KA =ѯm▚u\M7)\?7W%o݉ʑ™hxg5 ,2%|Mpۯt{C..HڙQ(\ qod |s1l!!" -JZI f Bjz߯ ^m<1P:؆iT$}8bXV 4ۄam0G܇YP;  H+[% Quick_Sort_CostQuick_Sort_Cost.Quick_Sort_Average_Casedocument.tex7zXZִF! ]A-MՋhvG"uIBm5eu=ݧ8>7T7s;9nc'[%g:zb[)zhNs˒/248[j M:|/ys=(<lPCiBK&cn6| O<7Ja8 5rhfj,RP'\\Ypb@,Az q~u=yu㬐m3Nm" T6ƅ,qqw he/~wآt=! G8t1vÂI [$*|HA`;6s [z^v uw2:U03x;}=aۗ8{F,BVYՍ(<m;)BFYi ʲWʋY5z.anKCp0e yf-3<j,[o,q  $I52ĮA71LbxFEXFwKL".a֚Ts,4}F;sb<~"ضވU7K6Jwi体5J[݊W#X֥Hhюr.it46A +7% Quick_Sort_CostList-Index.List_Indexdocument.tex7zXZִF! 8#]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiIVf.]+A% LQuick_Sort_CostLandau_Symbols.Landau_Moredocument.tex7zXZִF! D`]A-MՋhvG"uIBm5SMo.NwoXH71. M>a'h6ӣAAnՅ sNCv..:$ր? 7_Q `6cM($0C+λ}]p;.ҁuT  ϻz.ٕlԫ"Es4gؖڵk7r鬣*Zq/ލ>s>ʤNEI3!#8O2&xs6ǓUԐé)k~UX`(|o88l tzrYca]O] _66eyL4d5f#,Q_Cc :Ybڏ3?:V̏}_[3l.eZ,@+Ov/1<ßϞEu\yryJ^lT1Q C篁ނ$$'E\|1vIj8@&XvY3z$0K`o&Gmcčұ3ŲQ77]e)34jD#UO _WG8)Ȏ ~h`S ) i}^Rz&T;L?K(6t㓝avr ^ (-r uHϳ^-P<`:3B}Gފ/}43ÔבBzU*jFQ]`U$Xhl&]"s?Xs|My:Jd0)cs:-;VdәvuuYl0w7 (,VCtx^YSjJ)dB]T}rʏ,9(x Jߕ%R>ξ&aU%pﲘ̍Z\+?Ҹ ATk(Z@*}{\Ihtyn%ڲdx _Z͇P [tE^_v]<6n; <"VFx*qDA1Bf*+ #ǯ]r˹ݩUOeDr1ۑ8(xdԝJ[(bau*'$7!uIՍJ}1o?5_qKtDG\s{814¥1[y~;| S]7y]Pm[p DH L2A[nzT݁ o K(EoYc\M&^I gR%, l|Q>YMpjqTk]dcRWþX]ߙpb4΂Rgz0#}  C@] *2tIX"LVXǣ>WAk,{ngbX)oIX[ӔRˁnx,0‰ǞW>95zxFdC%2O=iOn1C'gd܎:,eD/B+$N/7 uׇNUKw@\B^(DtԙKM^I‡s.4BlnػzfNN0lYlmeȓ({=Cievlu-Ğ m H} oFӁl,Η3WыSKp{H#k)b&qu %TVya$ɺj_E*UBbl!KrG?𾩌zڤT ko&~!.V֤:t^Ei9XNx|с:P$K5f0j + 3DDW6=#bɡw4MBQl+ajA6d&בfQS`xۤd%s*F{# Cè;2׻Tn# ~xnsYRKQC)3Zb(oX,I=%YVsŬJ|I㻢OZa>jvkzlZ`bY$%GM`&W,Ϗ49Ng X Jތ]Qwm L6ѦOW*&Ml8Ի,k6lNI8vjLe%wF{Iua`R\\#|~]^4!*RXڂ΀#Oޏ>HyƗVROa9mV+ ArDr&i tvN¶r>MVաIԲ|Yc?(FCkIiLds/u)!q.ƁBeIZ(ـ݋_}n u0ۘ,Y3:$qa0cTERst|Nom w5RMM=F}4[hO?CQd sUh]pBiP[P{zڧH;kjؤ-]M9̯K@C$#ad_e* xJewlCZJ "z =H*&8Tc3[`9=Jr gH{֬?8ZS,Kks=KHȍ6R* c(]]< ){l[RA0wtfNFK "}U?'n؏`sRoĕ}>X!sg.hY1A?Y0sKgnXl M%mmpPJɣ6Bl:λg})\f8Qf삺xc'eP%vBN]ǓHRYTFdsP 'Ul>fQד K= E90Oη#nC̮&^!D'f2QRꚥ)d* WRb&&u/*>a%ll ͽ xx!x2Ndm@pp.ZyG1Ӈ|۫77g*C3!߻ՀnF^{LSGvB pEX+~!_BdK%L,f|.]-} *zyva&&j0(g.3^̹xO "l Gлhq'&I\L1'"VRRsag$-sm񵬟ML!W̜+SU(ao"_xbP堅Li-wnU}瓲%nd7lLq"ՒM^\Ht_P?Y>KwBۂl n%g7} I`:b.JaA`nݦH i6 04B)m͵@Co+0|MއPJ5.}3upKQ.H[0̎Գ)1#H[? +J̈́<ғ3 QDM_oU)r:<Ɋc1826.{78{./e v:TФ󢶫qU W5%4)s!o4ӡ8lj♤<)Ut\U]>A0oVDkUCgG99~dS\%b/- 3z9\Q >b }H %ԃTB4Qfebbyx nE:a6!(X"E Z(qak3h%P_Kf,}3Z)ܞͦ wok8S?M2;/d1_Ie<>]92燱Q=(k1BA5BK(8NGFszgos2Ҩz85RAr+ O{  @BVZSWM9WUp6vob;A>t+Uf1<* (Meg\G"' I!'ΙAr.?!AHG#[O QbAR2KR2/ΫVK|KAqj@e9XNNz!χnV?bGh!> tO{YGZtpK$t5"E(cV.zut]8 7-O#mX~}1.yu)HT<#fqUudY7;A /Th58uҵL289 lT|<~f.|5ΐBk}A >V `YFڄP%.T3p+&lyDGއC Rk?[CNZ@B:ꢜ>R-$8?p[$G8K)4be&_y(%_YXb[W"6LY컯ŻN#goAr sh-_Ym+;$n$5ݸk~ m)*"NxaDjf{+JұsՋ9ـ5P)>IpgFrʉ5sڿsFvhu-VFY>mڔ]qA@ !:~2[Wvɽ,pHm;{v;-Rv?}K`@vBc"|ԔOvttq5Gw;Ze9z+mnD !m,P砧]s@߅dkU7V*:xj MF#7${jk tOsj!r|iUmOb7^u x{+h2 j)F 8e{[~X2?wݷT8cncoi\H?T/au[HS7s$^yMn8a'E2uVLًWfB7YbUfmC0ZU/ED65c|AяRPppKvvIGc <Ů$4X{d,^5dJ LhIRI\_H[Y<=nҞOk.2#(g>x'kt#kbҴB85K"}`/9* ˝1ޛH}0 g輯TQ@84)jS5̯O}Vaq\ YqrZ 51Lh{g39p:B NwFCNs.G`Z[OmF4AGH$,j )q.WZSgϼ*阿}q]_I$3Z |ӹBMȰFK @Qn4߹]`YqL) 5ºyyyI&_4D{58:L$6jVZyj~-=>,Xh+/"nńWwuTiYiW)}Qaʧx8Fo (iy _JYά| @s7tH{2_9nn!EBbI\ݧ3ȷ!k0S RP{pF`X҅ߟý!'Fta*n~` {=w3z7uG |JH!b#m p&tPi|&{, .U!$pŢ( <+m2:4g6ӎE|&=HŚfj(Ԏe6c*֫'_ZM T E5/4N'u>a|Xrc5 q*/L 2 g6Nh: 3WD1"{Fx),/ȑ&e:f%\B-?H2_ts ͂ X*\PMԚ$W5<+^≿ ޻-{ጀW@ b/-zp'74Ybn?\J *ɾXWN|UPhQrIs/dE;Nf/WtfQK} |/5`"&z~cj=Xue\|֯_Q\x"e-]YrR>z EӲ`rCwNE5pPU*iv%"kS wP93 C'ɟ.؏l].riUYf:QMېZkst$"w}. }$X:7i=Z$3 [UK+jcD]vM9}\"$_f 9ߎܭ[M!*IcÈEM?pMl|k3b|= 8^CC9GҤ`cff<:߱Kuf;6V^ҡy?΋d%-cjkBpQ@["V}[\ɐ|1n?ސ; lIrGR2!+gYZu+DXizo)Ԙ=8g{ 7|} yhO)V~C9{,곓rw2ϼ1_^)bɳh"r<xp!Ҡ[ǛI{Y`L}aUM@\%IIG,,ԙX,7=uhILJ^Du7688ك'ZeCbb[=[ 1#pݜDjQc6J?LCVlԘ>zYn/ 8T^O~4x<!D* }D]EGǩcݛ \1A[*lz lk{@a"(Rѐo "P7^2D5#\vM>B1|ض7K#ӏ^kRXH ?w1R!z{{s:_˳X T(tb.]Lm> d Ŋݎ`X "dB>='E>e2ɔ﴾JC_̮@yjnC=xcr^=?` =Z׍Z"=~3{qޤ}]gbG9 !9IrV2cu[s[`^wEHkwj, s.H~Ӝ۹ ȧ=CPfci0'7&`uksh:rDZtT(_-ongAڇ|%V+!TPR(֧Dޢvu3e[VtX6boR7BsM$IJIlH:Hy&(LF0=j}JAUڶ/ٳq9U v8C2V(P eЊݟ(>P~cj.6!$؟PBXP+>}nbNӯ( i=&^ˬ[ҝPkZ@3,*5&;wlY qҮZ< [4B%o|Oi0x8*'ƨ"U a:!.rT +F{A l .2r&cvyOhXr !ۺ^t&#~FԽHebX۟6|5m 碦Y[؝ "u(r |~ 8G5J۩f#qs75m/s{&Ɩf/{@bK Q\9ބ1kWbMGHٻK]Dqp[udVXcaR6n1?:;|87;gj(sqS-Db:*Ф}Divb龢`!bquR+x-!,ʿXUB$:|Hb8,Pī 8 "qfw\$F|3aӰXT*x'TPv[u\_؞X=~YH'{pXa U"hG@E{NȞX?mLҐW=JRK X'rshjԦC!zf}ӒsJk!8$tVy;}KkJx/oR蝌y\YyA`p a+07:Ȓ.1KRrMiihӹZHH;S&ISs̛WG-mGe}$ 5UG.4Df_ZqV[}U0maoͤGTx^Ws[/GշW5܂]Q8K>GE9eV)*Wm(Jɜ}m|xL 1@)@B] >_MFq7o9VO_xNp=l=(?nxTHxHNJG w2每E]> ?wŻ*b!͓փjnɄ9b>UI9>Vo Ä7'un@)Hksk% VGoB2XT ͎ 1$p(¤%PyVȦW/'UڳZ e(soH)!0=4ݻvw*-;y"zHx@x_99ud4vwe弴> 8G,476o]uNOyd%蚋FwϷ|gVȦ\D5Q+avqgJ+1N]"OMAV{-3 4h.;: eB3|J/J~TbLBaNVӏ}o-FO~tӕpL0>E!QLpjmdyS9^XA ϹJ2Rn(U{zδ3 2I b죎, "&| th2Zʿ=_Cx<'Ι &Tz>ʑƕ@.w͊mQ,PMVFR_¾=, A/295/Qcz7ç/u(kFx>4"Y'2?O?-DUPЄU^p))ywz -VN8Poo10LT.ͧE:~=ZZ8ऌN MLu^;O`)p"voyA4"_sIPN"!X|C8_Am$v=p2ڽ{u)l`z&owC*ǃ:Y l9 Χ=**&((~צrc4JBYXTww)6-&Z]6 ,txc'RIxkROzJ7br}'@X.qp㫞,XڮBK~5t%RM%Q 1o:'qL?'ik/免t]5Z6ж5ĥd=@/`+.UNRD~ykۥ<8Bm|µKe/䒤MW6>Eid{ ԎQ(tk. mg:^E;]-w/0C] | 5Dov r%vh"J?PT  @8) }EyƹqB{Ì8<ʀ!p/<怺EXs7zdiEJX@( =囲R؋/MK0/^^wd 1Ȕ-4A6r'⿬Y rzq2FABeoٚjеx<*Xɧ̛q{1 ʊD0"^.>C[zM^2cM2g KsnYLZ#% |NYgLA89&Grot"6Q̋yk9<}F7փW u"vQv)볓Ck8IY}ce+cmj@" d>M(Q\}#|&?4!U>Eⶉ3Y.ͷc.9^nJ|_{+}{f%㈘4L,2ݶKͮ&Υ(;+pH<37w˰1%C1`l_ 8d t­t:{ҏQTz?[G8xT߇vɒq-bͪ\ں PMb6UMESh;di_ hO鷺o;~1㼸4vm_`>B&ҠJ 11or{ry o+9m]@' G"fzrY,KFF%[>%s8ic J5V)̀TsYmti.`ЧȫJ>,mllnznyWqGA=k{ŀU#[5@T#x]&ZwNrBeM춮^ʸxvzQdrP琌~°A\qn7"a4Q4Jcn[WGdmI\hIX~,J̉Wr5+3-3]_PZǶX,:zdct <;,tͅIݱsĨXs)ÿCMwpPTn#,(Gc|X> CHW ꭘ¤/ҁ uqH'n8e92tWGd+kSϯ蟸(Ա.TI=ϔGe:$Au޶I&k+5+?+uIZV{B6<˸h](dp  쁣k8:<@j`, d ߺC˽pIw{ DKУ%w = %m -V>چW!|'v(r暵f2t&8 G)L#-;Vjqq@1>s[߆ *aU0`Y:+k2v:n%:L|+ n^4]a=%ϊPb[yа&ʃ*4sY[*Q 첏zƧkm.|?cqS*uV986[odgM;N83Qj)~)dQ&-1f =ǩ6 W=!0_~Gz5Q3RrߠYzBhM>_*[ 31\QCO{f)S ?0<48|T7Qnfb"R){3D9ɊK>-mvlzGe3Oų3()Pܠ- XJY*szZ7&3+6j'PcAXǟ;ufo&9Z=8@nDE4r:k48y1 P/ꏕ`.F-4*k_&їktBe$eQs;=Xϲ>W3-X<g۫cZ8r]1]~c  04࿴Lu|bUG}w;b7VwRAQENݻ iM˩;#?$sk>Z3?QN:+Kb鐟k'LczMYO6Fݸ|ѝ5teL @4\ !UGu ?]ņ;{z ݙ ͧAPXچ(};SA|'|D&$f5dnFAlhGU5*TH?Hf~8Qb6#szSF(XBR3v5YNH%ᅱʫLg6X>KrKͣ` t0ĵ'jeo:ZqG O IxhQ0B>ЯwNMS\/mBtAIʳO.eG!uZ\}/Z3~`@V[G˻}PЭưl]Z݅Uoe/K#Cƻ7'VZ+SZ[mvAyݕK& ;c?N?@6cPG}i(K$pP4nsqH=4{X.c#naˡ}I[9I* ʠ=DzlhdZY?$O~6L8 !$-B]"7֔LHx4o,C]G C##R+EM/&Ʋ(^bԵFh4JauX(R jҬ̼\&tVueUN CSf`t+@ }]0G\Ֆ0mf1f$ ZS(QK' +KVx ?:xU-Q%IsbgKKd ni"vu ,|rJ^>y[x4@Z; Z'F5peA>sR]Y ֭FEC8Rܥ#YWˮ)xSh4GUiO!f+N+Қ/kr8Ci#  _hK)Օy! 1ٝ!Q=v7XNݹ+T zo-)֏!g 3GC-ˋWKɎ*xw3#$j[V7Wlۣa|n[bt8d:2^c3IͼOxkn}`LL=G_n!Lnui.ȧIf}Ni^ҏcX ִC ^j|LOQT;I DTmg)#VΟ܆sp:{ (/=-'D ~+8c]Qmaz5%C|8Ug^(DQ ; t}*RhAwG<{̜a5%%zO]hgtw3I-175᲎ArqFVcwzN_i mE.^ˢr)n!~۱ܤT4r`xCrW8F)FX7ǍЭۻ<] 0ݑSǟzklٖ~8IfC5R' dq6 n=k6iT^{k-eL Xń9O::B<5WU 姢d Х?@7\o/ڿdbըnp3Ќp>BkbŘ̏myAGJ pjr/`QVnB55coya*P.XIݧJ" !A`ƆX88aq׈G=mt@[t;z<(O^[*EL$Ⱐ 8l4qTCb Y&k$f7=Nr>|.4^H/YK#l:VPKcn]+HѮTq>a]v¦@a"`U}5 K?s F@첄y:8/1;ښADK5*Y q ܠxR?LjGrb`4<L@eJ0"‡9VG2WggΔT2Ӣ02nwP s,6Pv3U)I;+#܋Tt?o~:(zn>2 sE+Mb1IH-ry U;pL߸ӻ*OL ="T,@7TB8H77AWa%ucަ:P) pJU44gىCa iv5e QWI: Yscu_Ɯ ی BolGvلxZwwz? G>sXHj~$;ƞ`ϚMSⅳ{]uK BaAujm˛zM~YM[sQ1 ~ Q"S*P*m3ǩqGQ:He}wuHKj;2t Fg2%*-waF:q G7>JzzH 83)v x ^DtǦk֑jt/EsJ_^lr'h @1)?(౫r@OŘ!;&lcڐ/Fh 7g(*.hS)1%Œ`xB,)7"5)#1] I8t#h#ǷЀ7B=ͻ ʹջ3C٤8X2aWG5d*tQh-)BطY;[e|Hhp%')m䤹S _ |9l-3'ՉeCifmB$0Eԝ˾QBHW?OqCڌB% 3}y&.g l?ϫqϹPky*G'y‹,h3XHEC'y:7f :~qoDMgKu<r1ZF#k`~&!w^P~ONb\Z o[;*Vh,{o7;|to. 4s0c7Y5;1L`#bg: :C=dhNm~fy$G-6?-I^0ڠ>ˏ> l(a];։UϏSխriG8:)|D\HSpKJ݆wE"jO}EzidgV4^zq'sAOh9)Ckh!X-/9*>zd&QcQNKɕԏtE3f;iyKc$Gd)>K7=6sz%6]1G;^3Iɘew6],O* qc>lWPȚWFF[/$t&V` i_R1M3MʊAx6] i'!,9# -#ɸ5A>>Ld/+;aD(v6Qb2wF5#ugXzݬ\騷ۦ7]R$GTd8ypb-<dJM XвO9[)C<w{.s}ҪikҖ/IlB1/W3ݢFEȗk/:{#niӥ ./ V).V9^)QF 6W.-G\kS|\{OV嗖ynn~!x!e'q}Ȟ.uv~Ęz `{C;nQL?8ps N|A\aSaJ:eQ&YS, ~o:3Y^qHLjs,PJN mWl!&(מhŜXXh"g‡uf?*s<|REEBӷSE 2=*QsOGx]\!V:?ǟ%7bJg)l9z0f`&i8 ` u=9OrAoL*•]:Ɠ3V& QAzHvݦ`< Bڨa>qk%yÈl#$ :p&tZ&#Tx3Omy ϱ3ftX%QWSZ{Lŏ*;oyOً7oj:~Z^ŒBʱ`pG |4*tV@xɓicfɥ[A# di[FS`F E[ɷNQu0:">n4/_g'',\-%=wJ/kX^VgA}R.BaBb>J[(~]r$-5%=MTap0YkMLIqP$o'8P2R5p] ^`bdunܕQP{IRF,O )oˆʥG_|\tϴtCx!5zAirc6W(w@hs^p{W]Y[c:aU!i4b4J٣YPzBJa @zmc02 J:[ߜ;tT>Ȳ,aO75b, H2"曾%vj#uԨzkKߪBSwVō7,+ܠJx=SF3=2=0`;:~|ꃖd^CMN hd95<0qwi@ }-/Ho} $bFѱgYZ 11L+G% $Quick_Sort_CostHOL-Library.Function_Algebrasdocument.tex7zXZִF! K]A-MՋhvG"uIBm5q\:K Zo))e_H(Tz<{E`&nbc,RclxJO?B%>W{r%߬<QLfXfX윝N໳_Lo ` R2L2v:f\XLs4HxMG[ C7l)2:?. NzĜ~_-JaSw@ē_+]p& ?Ϭ &,*MFcD薵g,Ǭ2f3W3:vǗHݡKvINnP{P7_eΉoc+%ZՕ즒8nyX0ӹ)k3_*k{R|/g]YUM%z2lYlL&\`c)4~0p !p(;Ÿx}A/DFy4$yǙ>Frf _ _p/jnø}Gu)ץ`i1JJI B3veE}9EYߛH> ^W\O>FCBWܢ)I, r@jɈ|{SlP-a6LMR=6V'G,o%.[ ~2w1N%"L(,kJ=D_,:I΂}9 RbVmWaHYBW Ǔu;7 \bI뿭8wr<6BpTE՗Apv-SZWSiڻ WO  %` ~k,C+e!Wތ˸AuQR i?{?KD-7ha@5^q2Ӹ(R㟝Gܙ*1<zn.#!4>u#1Jj47V)^œPR\[e(dÞ{XPf%%Ѱv8z?sW搴;I;lVkz7`.pG~ $^2ULd\'3߷p . R28UNJ՝1KxG˖fӒz+YJƹFovN_sz9^(|4 Fni9#uy`ߐ4 *LM_Y%Fa[=_Z:)&DuyRzh9-t(rճn&OfOVǶ4:ReMN[bSNAa=ŭ|nyEX1b8_$WX Gyϵ>#W'[EP55}2 d`H{LZȵQw6,I93gD`ᵑ͆911/@X,*n$ōllӎHXu;,Rz>6xmNk{nbLo[92ٽ28s~3O:]M<W'29"?8Ll'|-ujܩR!~6-yb l֯q0e[^յD#+R %fPRL3rN^( ޏQ~C[4Ze}BwvIh860؈tx{+,)%8u*~v+:6ሗ:Zr6nuX0Cϐf).{f*AkroC7KxRV7>ۙ6Y`iX^t BwLt;c2E.F=%B梖'kcgED9y*w1(_n`ώ"4=am@M GHgʀ.J!'@! YzM}vZvk1ɞBհ}xP h..}}2+ w&@?%Z[#E+ 2qʦIiޤ]XwpnP=D%߃OVQ6, -"KnUOp۟x2PZI`Gw]Zn;@K)1 5d_`*ӯIiG}< nKgeƲpL!Se#k&6tJ:7[(vn+V?:\B1)>ς0+,@!K7AlxZGYګKƚYt檩DU33Ⱦg_|v8Rה xTv iͦ.7zfmAY% Of荒 u]vv ZC5JM&vPOqaOIK%bItQ>>ֹ1π jgVlbf` -6@ʸ8㌥kc`nO44dFA `߲׸%T[b"8t혰KVM?{-`<"yrPP6vMmÁMoVAbn8\ vc!n<(J>ڂq& bV@!ecI)PJK3i9\w #2ƼB{VkF&)4`&Oa0 k;؛H'<0J_# O ۟lfr2'< S w[QcVnyܑmV~պd^ٺE f$\(r魛@Fudu)jx;h#v_bAKZׅML[A=XBc,cnm2}=W`zʟ"F!!͘- vԛ~6ZJS,F$Qz4r=SEe/)l>焫9@޴Qg.Hk _v)ӠY |T~QvcMΆ uLGOb4~Ѥ0}|oJEAD j)JD"-a#wx'>[͛NVu9X,RȬ,  C3m^Hsp \ 䙑}'V ~E90%xUD=Wͮ@2sRfU؂Y{^%KkEzW6hjf4\J֌1ƒu3ʟ f#QY"^K30ֈgi^TګΡ:cN. m$+~OfE *:FKc5Ҍgd3TClbjQLB(DS(# a"`wm?F-7> >quxSkfEY}d>?V*raBϑ퍫͝Z&XH#7&S7k`.ƌBȂ.CK27쎠?XzK*pNugu~9AdCx[aT0b1w*6@,C%0?,(87=Lom,AXKA"zd#j--IYOTLm{T6T7uw7mgu|J[c#z- ad6 Q+w;ע"om;4<>ΐ&N C)N%fr;~McgJ{l|`h=Rc]MH 3)N.Ϻ*v;v5 o\ֳGnâR_,>|BP`} &>V)2ywOȨ-v˛nm܄}l1kDbnl_ 6ͥ={ް? nҭ#`\ݥ'i** ^}GiYS}d$UAhuqB!YT֕[)R: |A4#I!@DV!cdphYbI==gD齶*PC?c=u'0@̮#QWߩ\J!=%˽ ֌3}m3٤a (GUз4⯌]7`L&h2b̥?S0dww}9O(+{]XjT2?Of )6j7,lM!T _q.B OKx.h؅Hx~\7 4]*Ԩ8NW'# { ,jd zxk%>QT5+e_.z2 jx J3ʣ/q2 IZN0pk{+lBqlxpVBўg[! .Ws4T,22*2_H.d5 ΚD_* ܪ8hc|$ҽa0ƦfJ'2^Xt@0LfHQ6^I M'|\ o–3($tV_RnT qG\/U$sl!\3WW<+TXU:v::׿EG87^ `p+>:[(Kq\q:<(C[hb+9X0V@HYdK7S)w` L'k4Z/ "nTXT9XxBuF54WZeRGq0kw&2{ l9k)!rd>!:>7/W Zm*P)疆2̡q<_)sd-?qpQ.y: BȌ`IWS'7"|A]]g00U\۾J5 ie#/ ؚoQ!P8 J2 :J4.  2=! T]LlU~6µ#ߖfhb|n4\?<}0fh4]pxN2` S#`h@/&Q#JcNX>:/a L}É;[~?[ILpMZt\]ݢR/꒶vf@YGwrV;G\ef+&ɰ&k 2ㅵF1 ݲc̔טO*l _ 7_;x${`ѽ8<{u%'nB=mP 41*Q %;9"WyAA('d2pnGw a-v~H)GS,TuSSwzRHT7yP7#G3o@>>#kH蒜#M/ܛ>(e>v3ot>#q+9gP8rp F\/4OϦܒױ M1J5O$ h7ap /MF>y!̴:=߁ X.|`&ǘBx &OC'; ʥ2t/E8@&ȶ&}(-Ky(.\DCI30h UIa $-! c[9WcB~.̨] SJ]$?}:!_ˋU:Jn>x9?-{j%]JOYIYøQF` WnP[ǠQ0,×fYlD]4=Z&rsh'X%`vMVef6-_w[q-j#wɖx!J_f-~ҰIUʈpa45kcPɢFn8JbƗc|I`k@ENVs~ 4m.usw׻owd;|LV\0]٭;9=>c2dh# 2E/!oX9:4 oo5lc:pC“:7wop-4|kPY ] y,Lf{ >7Xç%p#\nVÉ8KDJ2i|T$ReG]^?D1' GjӒGEea;A{;p>$EʙPљY~rL.Sg*E"zXXE +ŵP5|ٙ5zs,8eN:s*1Z4eE'uegE-K}#xZM5zu!Պzyz-$(,zD(:щgݡ`aU侣C߁| *End|"h[)md)/A֏`W.:Y'@e AvR%CQYf3^qei}$n֝ʍJT3%}!G{EWV{.&7q΍f%tsz.Ieot9nX!xGX[GzUm Ju 9 !KO+~4 ,w y.@ m;fYjr bÚWA1{yVm,ċMX˞BPpB&پ8oDX}CTfo{]-yv.ܜ {@cjm/W2!di9\1H}.Мlfe!,iv6z:ɯ&00q>2@PyP]“')}^|V1aj%bD|銑hU5bPۂtK,D렡*lIûa~?8R&<KC/ q0!}J0S@ bĦT.^֊Vx-ص`*Jux|-1yz%*;; 8; m K?_;;5{ΐ=i%V] '[+4bÝ25PJ?A{` r=OEiJ6 璢K"L}6;_ps;_<6 m籾dK|ZN)nu[i;ڋ~J̨9Ur>+Z))56UjǡCppn/.sB'43Pj rϓ\- ~>[KwM^DAY fqtzj?m10{3EyڎpME+]Et=穮)9SZ/z|w Hc'6YʲV=l\6rkv E'l =]ڭT 8رdX!xg|/5 E{ybD`(3HVK"g/<^0&{ʣ^.A  hݥ$~ݻ_\;7YGDȠVƍ\O)^n{ AfIZv"}_)-OkX*`Mo;5mh39wה$%a@MqR+T!\dnZOSӅ'ju@:u.sukI I/FoudGJ/* &ʩ<6uJDf&LHɉ9 fPg=l-`MF^ 60A>:.EoCԏANc=-8QxYQ$N0}=Rvm +O7p0JʁA,:;\_s @ls9R0Ǫ?#TwNx$}&MSVc,v״x"\bUYcĐ鿔T>_~KZ 9wKl @oJ| R=iRZҸaOkM)]MO?agϫR8`j7Ρ]5yFފ| 9 V-^]* VpAz5; O0mAI j{R>7`n?^ Pb)tATs+堊\ZIBQ¥(h_fx,\vMq9`9>HpdD m((Q\B"8h#yjF.ߜv'_2yHsb+[3fG*b@!뗦U W(-$DӃT wU 25W4eiIkÙ\n?C1Qxt4ݲv+t,t]nd-uYFa=b"8*ll ћA@v!\+J+4 ojƶJxY rTG% HQuV/qY4 **`F +_k3~*J vE1o<uOC4O @]Jnm8vU$m_7uPI1$E": CzR|SHX TR*Ky{61[ 4Q>uկiWv QA$bq *&L1e:ZE=x f FvJ(b$`9AhXeuTW7B1DOQiYHk?9D xQ롍\>!IֽtJn0?|C L 21t:Qb>k4!4ma7e7 >NmM/K |k|&B <ݏ']}R՝C&]US D9eZgt%(]?t-XԥB F-(1Dmˆv,ݺwR՗hFH&WZeK:FuQKk>=]j]o^576lXa@Kɺ M|tXūAUC$lZd q4L-ŋKFXҗ+| *fW:ymO^%מdj_=IV=/@(ZB9%jzRM*E -rf~l&4sZRoDLa}?a?ژ[wMTD0#7/0$]eU^Q+,[jFXT02:hz>bN| Y;a~EZDDi)B4eh0o5 5Qgż~wCelJKG1I g2oe{qKCSI$@ sʌ#d֯gc_+aԡ 3mo&\8 yNΫ8Ktk wెKPƲP}omTc s|ֽFv8P**; juM';fv gwE`3rv45Tm}E)iW.AFۼjQdqz|erduT9yDsUMkɥ/T\Z@ͅ?PN)j==?(S{ @f,c]ϳ *:o3 ʏ ^x(ms;Р[SVH~w->` xڨk'MN&@ Dd  !̺#ˆZ; CӒLZm]4:WPҘ"EO|;L#^а3};Rz)oXϵ̃2.xNɘauӿVqJz _= J/;4>r38NSf n8-8fvo+lВNK3C3U)A}/e/FVln2w+1>/̇O^++;tlfH\dIsX1_xfƫklVqH~흗;zyNqܕ~U'xv'Z^E s@ݘFPP7(699%*qrT 5<ʹ% % /àfEIXɬ`J;Sk6a4Kj.{&c)Gvc*p!gLr=w3M^fK;|d #Hi[oQZeɞş9oNׇ $Il3gU]/hEf}vV 5eJ]~=qqN&uO_?/@7 ӣ Rs5,cV5cpHR"*l; L)gIƒDkmyWSN:uW .?{DP6V0Rzu k,.|GKb0f2/#XB?>E\q=% ؿw^g ΄[`ĽDt4b X$ ƐLf!b3G"?瑓 {ICUz@*lՈ3I ag ]q-F'>'\*{ 0\?iz r/mB]OU=  O]QD{?ACab3:E;cnMÎ O `4PӋ7=U˄Idpހ4%UW©qLTߥ`F/o&/X':k8x3B:68_n-"&\ɳOIZ+^<ȗa=`P D[QozkkG*i_W-)n|L:$.̹xlHJ"nZ58Ud]3! X߀-Ȱm֘!đ`jN@\/5^ta괒2UyJƺѠ 3цhUPj4kC=45~(NR>3|-C-_ܬvZ*|8t6y5z\?qr vJt}UQޭw7uSgǖx#7&aȈM;(AqH2lH[WwbHU;[)9'ăIj($qs\Adϟcsȅe }>5ǥVSS0:;'<7AQk[BI j =m͠h.z}C*kgYZPu@Qiu,FhWa0\dx5+ x 1ZGhNբo Iw3'+Q!}LE#8")wz@euqQʆB5_^ e^ZS=, H尣Ǎ^ dFU0_dR)P /Q;urMlH[*~lV,Zn O9.Q[5꽞1O0Z1V" k9e%MAqEUO2A߭< ~q){ yY )Ns(,t^ LP}>L<}DB3 j뫳hoxYw3K{SWc/ݎ1sULt*`k[Qsgrp}!<|EFdNMtBt]>)QN;6. .ҩ+#>Bkzul3lŤH2쮺٭$+^S Y$lb'KȠ/qf}-P$Dw3J j!r#^Odjl^wHm+s]޺Ҹ,5 @^OJoZv;(N y.) n_cOԘtMNC=eߒ=Q`Vrn\/B [O0XywA1q9hr|^ ~CXBfƂ9wk%0V@4N JɟxYFU)n:$PI;er[ N<ŌTO2v=>tgP H`#~F,[U[@Ľ1dkfJMOb:%GҨ^gONoH!6C2Urҕdvoaqjɉ\Zᴅ!M8 TQt1%U@Gap1.GkPEń,,`D7O18Vy T$B rG.Zčfng!roZledtًgi}gj\CဤZSGI9'CZ`5^g&);H>Bva 5ȃ=PúQ^Bؤ @4^ )ٳeG<ճfzO939g "IKkgl aIfs?G{Ǔ~1 D*T]%vCP۾4B#D 13EՀnN)Kd}%%S2;d ,BD& 8xbZNG-|)C݁ԑ䴪 O:K˖J9g\:[^$kUܵ*(^rfAoAjg!723M%cuiƹcoEUl{;\7g 9ͷd_}:|֜*ob7QmrCt1+Q3'tYӖ#);eӑ90XM`itaAG抯v6a=-ZyA%~a6_:*!3 D'ta|҇|!jyCۏ`Q)74:mNš$xί'7rIFpgk5&lH=p&"h'7?"0d4bB6[o6K\$}ټ,.„;X6DT슖naK\uv//ٌB yDHO66-8 {nNފH%eUuyA=I^lh}ᢶ_RߋÏ:}іf5.?#?& ?fe?Fj=n-'N9V*}~}ߕĤGѲ9ϟ_o5Za57F <{̫h5DѾG[?[nW&Q}=uY{TEbI1'OP%y[0lC1~xikRgB *{WR|`6oqD?@+s g8ywKnCs*A(;-]?(_hv*ˋ|$h);JBhݨ lݡvk*q }YQ+dn6Yk QjHY>Z7](D]._ءPI`oCCkBQK) '7mJ-i}ޱӟ x|9̃wY]!Fd@R^R4R^J.8h;6n?)Nē<KH 4օSs>1u@1c?d${u e0;lwEo4|w%^#W jē9β* DB2ӊ1;Q]b !.)U'sHK5Q˨+/5N:p?sG" Mڙ);Ј}8#xW4 Qhkf`cG&Fq6M A1|x=asжJ!?aAY &h E #W_rwgiX]?\mxDwڱ K>\j;s+ 6C2n0|:)j"%GOm0'!x YqmdߺM_yV E^cL/8d7!xb(Ȃ za3[o geS[!Yk4/kc^#BP^.(DNrl|~p%Pkm]~q|z.aIjNb*0:e2}C\cB,ލ,v@>Є&Єa7 gK#9vޒ:.q[<#a0 icUX [mgmYq-o vm[k5jaR%de*2_x-s8+ ya6'CΖWs'=q%d@/7La" 3ÈW갽n;\d1[4ouBk%pL獩mQq0jL)'? e{Z_"%N)Od}E)ZaW`Pmc"_#`0T${3+sKQ՟7wzLNzA׸* ΍>Gﯡhlb1zV"a’Jq3?00"t9&0RX'Oo~c䂛Č+lJrAv]Vӟq).L ]f*uLH)5ȧE~i;_my/3DuS/ mԖKK0-}0i[:|iAUpeͅ"p,r``v6jWMiۿy;;ţR"Ht'eT좌AQ4ZQN$rT*)\6.O!1592,Ga'o6;+H8?b V;A]Nc|!Om,QxsMQ+Tla5Y͒c!j5_$@o$/a :1-TP9YRYN阄ˎa!I-/~Ӭn!kl1y~SF4 1V 0 =he>2.7O_{?(6{0R4DBrؗ^W7s|U@NhC3V)l@~U.cw%hZ2ז ꡹;?|56kA-'҅iNTGjgQ 7B ŀ~U^:'sR7& j'&wuNlלV>*uA$'՞FsDb]t9sbZ*aNyAβBIt?e pqz$:,RU" m?cDޮKH7=ꇵ8v EE5@ʞ ^\NUW/\VaeŇah=Y`u85*hஹ@2ĐscFiyA* GUaO C-Q{ $0{!9KƆbO`8($d{\u}>*rC% qfnE ާaO#E';Q{mU+r TP=,)rvsXΩC; y#>y6e27J io)5U=`UO8>h=S頍o-}w[btn[STf/QIH?D  ?!UiD9S#Vj8~A?itAG2H"*=v%c P $a &l}®c}FW|Ǩm }qz7î"bś{hu]F=XE }w )c)/6Y-n)ѣ5OؿU芲ْ! (q|76{ۤP/vU邨+`ihӼ'6UtK< ȂDnp*eV;S)^=Ɍ&~Xeܲ;6~7Mt3]?\qW`(F 8^J9=>€ TJK:z@vTV|$JH{'r q}uW%2kmIϴұgK"]n8c3Ⱥv;0mI^()^t%Rt v| Sqh;N|.^y~_qP{˵$\J(%LYP #cCU*6$]f dnPY0,adͫ# lc;X_9lM9{j!Τc[13@p\Jnƛn;u>9M&ΌeC^h{xjMYzc B|(^5`/ﳥrn ]w~tpM 5%5ހ#cG7;T>OӖdw׊1P ŵT-@zH-nR3)fڽQzIY'! Yq3aq}:7y:2cQkϻ|þo=鉺||#~thj( njdQA$G\K.s,DIjȳadˤn>^\K!N1@:"8$\l8Y >* f~q?`eI2_8҇5pΗ+qX#9ZW.OcwNWw0|l;"тK dt\|yv!.LDE67:HBÍӓSl̢0p.ci*E)>8DFDߌFͧ> 5 /yUjT4Ci/>[qu*r"ink{B- Q{ՀɋLW/VC7( 7|n7N"j F{ ]Q˽#Qq[4_-A=.RG4vc :?j1쉸53ϤvSyS2ČE1zGA8zgQ $eV>yބ|DZ*kiSGfEO1KwlG]iv@c-oW`.(xNYp #=[0M#܂?.Ml;[O \}yy]D";(W@%6CV%3g,xUTh| 􀝴yuޯ[LGCuP$NHbF*}[q,]Wgb&u|EPvׇw*nQ))38 %(=Ck%qCu#AUڍ~8` 2q9@&*'#-Ц4X% \U`pI@=6(y#ԊN[)a0Rs(o񠁴)S)'3WL}b4D(no|۵~ALX辵&j{]`gGM7%|!o\I?Qm>9 =͈\3dYFzIӱmKRXv~d^ZyX tEd_,՛d{g5_:4˳ZtdnAK^U\1gSIƂ ݤRuBeDkt%coR.+sox'Sb4k*LID"'_ }w X?uԑAS3Ԩr̬w&rEi$= 3R*K)=Y퇸`XY/jdn*4f *P8y,TӒ}˦Xo9AIQZs<Fy#pX06I?IdJ/&Ȟؕϱ:A/\ %bcQMÉL_hn>E_cj\Y%J%(j7|G5Mu()rw ڨ 4Z=,HXgϏq#~Vd2+MQ齤SRB,bkDC1=Pne3@sψ+Wʺ܊Fy&|}EBK9޸N')M& &[/7v眂j)>J *2/ / / X+*b>ƃ-m9^W.3+Jt C&c, 4 ؊Sb\:}[xeEnt6/!UQns}M,Bc^,\M'B #PqO^@36z24~۵ާݡ<QcμU)0BLW43O&v ĕ `BuzTi;I ?pn+v+MYt|GwH>Mɓ/<~v&tx,jb9.6^Kכ]0UT1 UC:K3]7f޶%QR7EX٦L 1t5X;}M9Ҡ3wG;`.Ӣg5࣎ci dΎ ǂtd d@m6rI0vxUbLC|F$jgYZ  +A% Z(ӭ¶˄)0m8yRC3jKF3@~:Y6 at@(I#n9=%Q-k 4e+ mWƄCi[ݢ.H @ss]#:SkُVuXbii@]CTGS]\U/?@uP.&]j[ie8蛌܃<(Ƨ,xff{DTp[SiNw(nyzX!T!bz.y0+Ja|)fuG jyN[\}dc6֎DRJ'hyAݐgkx\sQAXS5=VEtv77߸E<<cΛMUR:wS%~nQ^dQh'7->ߌ˳-EO4DIjqPKj`mdX[ZRW.3xjWxIj{E i ͡L2_y gzhŴr`o?6/-7$\VN'Y!U3 kPTl6_>*| WKuΓwJLqx[r(rzCQ YmY.pD6c1])nޮWpwAlI6hQb=^҄(P&~[PW>$- [=s"A[媙L> T d0Z`hKIPe|*t];JN&Xh.n!,"gD BЯ6ge@\FJ[?qA/1.ODZAK 6y ) @<@DS,Kّ7eNHyT%2Cyd/jv8<b%^Mȅ^:%ji"nR܅Wz-Er=<VxE.Pnd8D[i[}RJS? X{hm`Lw>I ǐb+t$sOy9flb,m>fMNʂ; ؎b[ uhs%]fؘM+Y1L^P ZDR_ıc]($MAPhJ7u{\Ʀ(ƔO|s%_$G*uxAmtm WHr*Sl]|Dcjtu]*bY ց- Jrnܠb;_a1jRH vj^oGr˦H;8|Q|B$wvj/eH>Bs$AUMIAW*Qd~e(,Be&kX )xPfb>eӑxs@%S8 nE:mH^9^jиD CܼW0xP[zu+Պ7 7K3 D9> t*7?ct8^^l_/Kʋ+`&pEY,G z2yœZԝ~Y]ӶWVLp Dgk9/{x۫oT!vڂ}}H 3l2w[;.,W"<?w@s _Y-|J==!̢Mlؒ9?߁@K1$~1 U񟘓Jlv[S@AOG= ~1U uAHzr=AYR|:$J<9Z Z\Dg{`1#@SkLv"Р1 lslt,=r~]ȼ^8:+?e@\g%^K5,+o7C>!a^ x Q%תT /{Bۻ6*"Ҍ+C@zjӟ]tbEn~Ɩ;dXJ#hq 8a G"X.`)'>.e9N%c}p8F`1L"O=g1VHy kHbQ8=uUp$4N,dBC\[[NhZĈyM_%9|p+Rr?JFzXa*TiEU<~UX uLczr/,ܢ}ĜIJs, ĥ gciA<|,?9?>dk)ࢆ'U{YjYN{9{ s\Ml6k'4𚓪aq$^<?2|g`4H:#( L ބYw#:w 2ݨÅꚻڽ 47eʳ[trC:Ǧo#zܯFƖmCHcĔM=Vg(VTQ,$`ބ ݝ!ڴA:lhte&((7Q0gjINHjF;?\$êܽ z=1B|:xޚ@Jd+B&Ru:X%K I+d e!8TGH<%@h=FH {=lHA>lIXR ֺ`f,'#:3 d7f'u P̫?vX!_[^tוi8pi mrdEI9fTRܹnи؟quea_2%5.Dl2Vip?ю żSzjHGjsH ؕG -T! ^Z{j芣SQnN %. Jy7 f7Y2:+D7uoAvqhЛȺw-{> m|H;,iR֨"i_p D@N&2i MR)S~ nB@-_C^t=f7iz@C $,-lid)Ή׾ n1o!K*\u̝f萶.s?oCLCe&cVco|),RdҩS*`zsjF2'}"ۊ(cWIWİ7 Nnaͤ%Njw C&CPwӿtf? vV.4iDNq j6l^F4}:&=Q7ْ->V)xS:lMѝtz=xi8-J UDZv y5֚q`ߩE䀗:. Gi% tV|iPNl}XPfc H'j3#Lg?Y/aDCqP}Jg,e `$0)雮AAI.N$Ma w> vK I.ZN_wXz϶qR!YG*ZM6[<&UaK+yz[X%?7*E!nk X z?m+8&. QwNTl=> s9nvh9e*ehjƹ1t.LKvn,XQ8I=`<[p6Z;BM0dYWsvx#g^+6uqGTԥcDJc&W'(i'nWy1/uXK:4oلPOb72A7ٰ"RCzoR9 j*"ӧH;?zY@xK7O#1})~E{OƒuTND3 !BfFg*ڗ].ajڀ20' e2:(iD{5[Dhq4\T]\G`]_$TR tRi&Uspn!' + &;h Å*G(bȯG\ Q?b KcΜ*,H ug܎1ܯHVs&G{mC|QMκRG3i:}Gʊbi9[s(rKqGoϔ#$׾h?^\Hͪ7;*γ9>16nahn8L_2A h&Ⲷn5^f,>xơ_}3ިgsyh#>S fSs0LHu;HQ kJG“-E4O$(K7>!͡}tI>Oic pg`c o2MlDXtmiL @n؍ߨ<|l?qoGZpt N6N…b.|4bVL&6{'47K"C)BeL>5!"q;~$@D&Z]39,e&:9.Flơ3yoB[j\rs/VVu߽V jn_ēX4Gy@Fx w̟[EhbYVRyJpe܍=~g`ȕM!SuIWdm3ϬPݠef֭(-}Euvj"5 lK@(k%bC>]6OWw]lȓBuP -Mq6|Z>t[X-d!0X9pR}jMH@eݽN] *P)d|,Z=Q{bL%e^]N {xx[2xqL B2ߌcj1n !bG< /x/PcƉ^4uStۜ8~{ ۿKu#rOS}  H%SEdr\]֬=R3pӟPّ7**sCkA3':y(< Ӳ|pC4 ) BCL%ZPNyMwq¶%O+n'A sG{-x+(4[$VǝdfK4IgԹmQn{{Y.V̐E͍SCSM+GAɒ a# ME%YTj ^,ᑔrC/Q _FFFOH>>űQ)I''bvhLj F>@D+[qLiyE_U7p#P! Z.ƞ]hB2W|&7oQBA5M tO^ȸ؅|0X /+Hzg_ȡS$WD~4gA+ҧOIAzP i֜u}(ok2عI:jZT'U¶Xً۲<0g^1k3vG3/:q7vzN(,;n7hn>f3&W}A`8 0i|8ZDfw /Us˭;"ϭ8R;ϯdA5wx{q lD&҂55j^X7J u, 3/Fu+|Zx`Mŗ$jJPQS0C'@<"nO_s%dlJi$=XHkW+LZcrfdp( Á' 'zcH=XX3FUOw7uGP}3D1Tl$'ba Stz\,YQ]L-[1aڦL} 9\9\9tdztÒ:U:[\F-Kq&fRcFmuȢybi<P|㓴B 𱈮F*rwEO&׊UVt^(w!`%Gfpi2JyѽC\ DfI 6ɦg2_`KBm8rI|,WӌKy R۫S"gŒN@V 5;×/)ocxrƾ#ϭ/y( 7ڣAk(? }nT(‘5?ARPzۿT{O,E1iPdK n#%̹(ϒWTGեbIUN{O4 5\2Ke݂AT.3JQQ5fmENC byLQ)y ɱ%6?uxom%~VC0P-tK63EexT]=5OyF5"Rt3vT!ʯFlyZE1-|Z-!,Wsn';LT,;~ dSU0Q{ip~^U^񙳫QɦxǶ4{qq;`ĻDMB4z{Gc/ǬIsȘ%Fu.mQhp{H$(2 t\n(0/@ѱkqۙ*͜4X.|/9\(7\h@i'h}uӱ(1B4 Q,$#ލóE˹B!z#&N[ǟW%#j7IV?ȆؿNOUA:hHeLo)ub3/AH0ŏA03>2Tku|KF_'3j) _*,ER].ٹ1o[wN m?z ZA qVqWDB3D]n!u ~nAK ߒFuӫanѭtaN+O={%릫-pɐudӁSl_9yQ(xDDKft1X;|y$Z3zuA3?<"0T(r\puix]ν3u/N-e5wH}VsT^TR~/tsbRX1v[wRaWqbT`(.YM א5eLF5%/R}(:Qu <$Np@56@؊c VuJyP"ϝ2@{c(̑÷a2/ ~kp?BIfCʣǙ`!jҦ:?ʄS“VyM9iwX?.A].d4(s[!et|iFeJKҋjx!駊Fu<yXKςAK0-*y$U@ΰ=XA˵`Q)n|mA &$x.Wi3ur7XEHٟyq욳bN:cnqWN0ج#[&Uy@5^ iRCw4-V*y-lB=^Ҕ%W~i6ҀNŁ5AiLJWr0)&T%$>r (a6_ec_`i/UqITbUu}HGÃk8WCxW*묺'aH~.M<|U,I`D\㕯!B-"E);#fL ª^O`tӬ+<bX0Ps}K:Ww߆12( UA:yVmkh[߻x.sf@ǀ`)%2LAp3^ 6Aʠn;rOuOn9wWطl3"V|t&2eu!/ܢwn y_j:j>߼ a$Ek_}n#$5ǹ!$F"nkOoKdYq-|gqys%]BM+BalDv1[۵'6./!8M$swB=QFB >6Uxw23?\o dj=3;fC><4Z4m|[[//#wn"uUM5l**vf=R_s;' dV^BV/Vː~QڞZQܔAQK=l_$13p>а-V4`qfl`&| 8"T PTvS 鷦i O+`3~zŘѪvCpA[9B~kPLT5k&ŵX'GpV)챦k?lL!-s1lHZ;z(bq~iM;1j Nid%2 YTi0j WQ9R2?~IEr\uldJc KL滐GWXFMpk0(5CkaK._%ɘZܔ9D1)&򬺀Ѩp3~Gb`3m)2MGI+㳵+aH`Atngݨ ~>oԑ 8^Ny%d3ڼ7޴PU c`P "T:˙{liOi I#ħ>0qt`v ":o"əx2{%i-o6(|PrK1 L"#ϽABGFL;.s5aS @.ԥoFOF/u C|7 !v_t2G,pOBmMj仞JLQ$ 4$}ۦe)0.\}C>_ A!Ih"3:FB $¦[FWN3]+J1>PTkc4·SWƂeXT&r8c}"! 2TLǗGİI-;Bq:xbSK 3F TJU;{=kmێD'Jt)ɑ:(8;Ĩ^ }N-ֿr7駽Noe_`9ZU&54H2d ~/v\lB#Sр"l賣is$- [`DWi#Fb77FpuUX*\0 bo;"7<^=P7c5*0qiA]@GO;p *Z;@a:#gWdsW|_8AƗ9,5wSXMRI1a{ H3`hiēi@*ʋUѦPXƻ#-5mb T;R] Ŧ/v')#LQe{!a5BE9`]R-n_l饐( @AOw| c^KiXwt{D&K͠/}[ȈwI7=G}}+2NGģZ&0E ؛Ǜ?B=+$)i,UCCnc(tlH浻-#q`8hS;wKGȯ/f\>N3#$[($|bd+:{ޝ[`&b3+猂15jJ+@z~¶wCv?OmTl ~=KkT`d|IQyud^՗ZfҖ.Yb|k^Ԗm>:KRdNjsHS|?vpuV$v|c倶14],B~fBA6j#J`֬$ RbJyK3!/=n:[:D`D|N!rl7MyXRfZləgrMEPf Y7pLYvA.q(e0+?& 8byrnRlD7U㶍үwO׆|~|ᝌq FQř HheFA o"=rK-=IiN\I֮$2g`h?9h;thD 3U>Rw1/FZHj3ȇOh|3[ M$ksvAҮ=yW %vz;/Ahd{#`1!Du"Nʘ:rM n%3zXNmZشڗm5I|3׈in+;u۠s|"Ci.'÷ombiʢ~^|gDŤE2BjxZْ:q氁%7g /N W;NEG0tcaI*xRRՈmZHͽ]lEO*fA5k=2}~\$ Ίzġ}q0MX.ˁ"8[ȺCnWٔoDJQr`!el@E/ e;g44EЬ,I7uƋÎխ*󝡢-.{<k\l\܍`h;#ZMGʋ|%sei*8L[x*7lc~+OIb6ʈKE_ ]?b`(nQhs-[ys³%$U`+ RPg_yP & nb^KS[ o=d>pܜ5[2F{* h:g^E ,8m u;9IU跩0ǻU`'~s6|h4*h$b x3ɔSɼjKn[s׌wRe!g`ϥ18iwDܐIs(dHr+(_/`5ds{"0ڹ,5}}zfE-s~>; Nh㏪vS%efl9X)~ʅ8Ҟ1LaSz8~5 Cd Yia 򝶟6* %YVC`讎G;. EYeT[I3^Udּt%t1-PxN_xʠ12&x"6D^yJGB"6-玿5M!O4WQlR>θ4eiKL}nLfSH15=[CL`(r>P"9>P:8Vd}VՅԕ$L%0آ51@w@񍬢fy>f@8FL+D{>FlCyt kBYV" D[JUXp/MuJ < ϭSv=&@+ (8#d%R/M̀>(m қLKܕ(aǴFö0L&Mlt('QH'(~FM̔c4Iy$ᑒca=զ"ζ; Bq2 G_h<5a+}jtA3G$;XzC}[.cߗ+/y`DNܓmOeZ`Y,C_J@sW:z,CU踱~4vR 쭔ӆ[F &2ضV 8;$8utaȵmԷLw&:O{#ҭ?>Sf|~D& C].⌉+~q~t "FKnC^LbXV?eXezPYA=2G=9z| .yD*2ar:yyi'kS9ՀD')}F"4^_>{lw̿bHS?ś#Ds= \;c1cE*kC֮&T-,T5x՟aRwE?e_yFƕog,SO-r 8p1A,%䟀5sF`3Cn=Y.]ehnBextDt܄n2:݈ɢ4cm 糐+Y9\cӌWfy> v@Lָ- SMIݟZfmAZ~ ÂuN-K2h U)􄉟{y3`OwCF -u3ʚJBK&1H/u'䍌/Nrѷ #E~A/ג`osu'FBNc%[M^߻YϏzˎ-"1YnWVg7z][@FPwaE|󐊶~!?RY2zy& ϞfȎSҋu4JMMp ̨.$>McMb -eDmB qnn% W R͕|.˘<"n6@"'CW.b0X4zf54[Y;.e;N"!VB0,]&GMX#[ 'M+^;_{ X浵7+ .]H1s[MES j9ΙؑNj7 hBqqc0};ȔD2dR~)#z/~+(H0w#)JNXJIe^)qnӷ׫b(']֠3ưM ;R~QZ\ IDu ؟)yF&&oȒ[/)s5G rJ.\MmW ƫ'SH.A$)76r K0JlrFqu`*dL T ach{AZvѻ JE3ϢFo8S/7( ] []z۬%$hE&Q۹MZ|=mruρ_΀VAVL3Nq؟dc8I5֡L @21wqz I"xc<}jGynukΝJ& Oݾ/+yUِ|_~0tXi*^kd࣬Ja?O.񜍐AU g j2ZrG7ctrf[o@PGn+F s2L/[u!3 ӕ\Labj+в-jJ`>_] g?Eb/D{V.7dbz,VSZCbq!zw QOm_6`|pv(}j"a=3ӗ])Y0N;'?=6sMlATu %DV՞yR.a1ozcyCUaak:{ّ:$_sdslOl+fi ahSYcϒ=(`B^-qE#"j edCzЊ@Z~W Gh{i"0:bUaE`^7v"]98c[ЏX[\8ȉ<=#nt8#nG0:tA6_ 2Þ n[YK/dwY2,MmX!syO /B c&8ކS(=_}꣼J ~-Jޛd4O]oЏz_cO=DX *AClJ9f-SxеS hn[N hpJU{"a!ϖ ?m8[ݕEBHnxv0ɄۡmC6Lu"3ݟ6q | _BFHyܓEv 72B_`didr1-'ic?zZ`#ѱm_rffǂdR-ou~ W< @Cǡ̔Hrr'@Lm`TFKV~I0q% *Ή÷rlU'.(/OsP=pٔ?gzkNL񑥞z<)9!ȞoUrHhą8b_Ǥ}w .+$HK8dH9-9}wiG4#=c0Ò83>Fʹv֖H_D#Xd\$'v>!5nNڳhosJZ g;Z;P rpmrxKDFGzNVc~۾_{8l#o~XeQ*|QGu6N(#C=2~*9=3}Pfor# 'ˉQ"4\-9WE!BNTFJO>E('bMXkhF?BZ$~(Uy/CHDJ(זb2a83wurdiF&$\0G1ߗIv{ 2MW\ dp´ vso\"L0UZ4L8:}iB:^3@tOƝy`O'f(F?y?G8o2z݃si W3gPEi! {:pVh/\IS&pUDwH߃u84J8m̾(Nb}o*kg/pIir" &h.ߪSw b$4G _12ާ1)< _peT=B]TؔIS̐DV+KBHMjA,U&}d^;C<!wnsN/2clfY㤱dc *JPD]lAo8T:Q)NB!G@ȷ;ܠE:"B Leޙn V )60?]1KIiSE-^ӁɢZ#B;5Ӷf/yF}̴sI@֌5mJZ~gLG'&*@[Ԏ[ _@S c,}:0qqsP+irތ]MաO:(:"eeIꓕ\P&y&/:rS'U𲝇E!Frj]<`824c W&GeocE4ꂈJE iN~2fQU#>&zټ=4k]kC.eXE;B4Z;|R`#m dj y'M&L IzHdSF`~nVzL\;wfA*Ĥ$c9u:&Xo%FB,-;Tx{b[ёr{SgKf eU8T0:{Wy`yX|wHʥ/ k(PU=Dv6CjK }I˽jmԝ_H2WWDʣw3?pjV,\9]'ki3 V#SPD E.*p# B2LțXPSԒ@@Xq5~Y ql4 Ym՛-S]q/ay2bP{J b6>d䌳moMnqFG뿇aV4^$3fܡp9*f2&搭F3z ؾ:!-0d>[t!8Sɬ|-{ZTx|ø NDN$QZp)C!_C|RQ#MӠy j^"^,<<6Z 85`#j9w/QfZY_@o9ףD 7L0)|u1kLXɔ_3 KLԆGo$# WZ2Ќ"$(Vh S+LD>Sa8/$!ёC x$1|8Lc9W7>ffu^eW[,QgYZ II +S% 4Quick_Sort_CostLandau_Symbols.Landau_Real_Productsdocument.tex7zXZִF! _]A-MՋhvG"uIBm5SMo.NwoXH71%^ԅ@`Y,zu>VFE!v#zB utp5cVyҔo.@Lg6Iu dV?q{b$c3oނ̝cvܹFٶHT ;rrxA!ioVM<3Ws`_MWO'*Ԑ$LP#ՍfsJ92Gpz M@ɿp@?u%O}"!hԭc:POB`tz!8vHvW>%D~|jp?T%](W9]M``v)"0͕z³j`|;=(Db,>*#^0D ;( 'SҔ{*i+g 6A]?tssG֣X'9R9ԑ/ t=\˽sL8;q^jCcE[ \KA6n=@2S8v?iqZ1X ɝ T@7xfR蹑B!F'i3xanf!IR2"r%5T|2ZD} 98(tNy%v~:yiRzN:LӼAyiaWs|Ȭo9Oݢf]h-|͵p될liE_NrƝ PZμ>8~4 95]Zv>+y0еO<5{} C}с؋T>ԃgE.)bػV~w'yzU~V2aGou>N), !JB"Cv,PE`xL7l0:FfJ,"K !jko}9лCvԚQU!de@Jl7M;u!v ZFH6sFIƆD2WJ NW탍zĈؑ]VMЉisP%#h;HIsfSG*zdw-Mpt TOh,[jfɯ+ SXA^վBA]M>K\ۏLKHGCoűC ٣q,%^Gb}#>ڵLƜ}(coꗫZM'z$Ƣ\w?㳶̔j;k`+W;' e缝[Q +td;?B ҽ)7Ji: "<ί=M©H4THciéDEXYG\= 5F"D'R4NK*b%7FUtIZj]{ȡL6Riv CH|5Y"!<}l7A(jQvx*x߄#>'8O2Z$pJX_~q I&RخRSVsht ԶJ0jm7>P>\1G*oIjg7[G ‰绑 3cyr؛ B(l#X)6`w,YxUUm']+lc`oS2$7sqDiӲtκ D2InK['Ԏ`mG?$Zʐ4^9<2ԳXu'TQ߳ ڕ;0,$L=eT`{iAԙyO1>,+ ',[[ E̢HŗpaQ2|Ej4w ΪR_h"Uv8vQlZch')v4:oMSHu&_FY~5KV lս)٤%7]ts>ID{Ym1QvoOyRZ'%v,}SfY\'xq~3@ḣ>u%x1,f1c}Pr6P~MJKl$eF.qc^"2NGӨT_ޮ/٪ U*R<\טu%xf+#Mj QAzg>&toa8/ 'b!n2Nh|Fu[v1f5JaHca/fJgn !n:dXbi.b)KLT#̶;=_hF^t&dvDt-)ђJ@#&ɐ˓+--t_ ݟϪ Ut }ܓ:[³xB"ocLZg}EPcˮf^5+ICb20؟CWBJŏ.[\(Jv 2cl44Ueˠˀ_DbZ.Ǵkm &!/Ѻْ֋SA}P J:M,H,;G>׶ #r0z%aĩps@BYD8l=E5YVCI$4hVhi  AIS].˪!wDv g}`'XV@{v)4q$ K|1m&j #yNDEСP _wrp[0Ğ3d~pی-%Tig\_2z7b?Tsr :7䴄 S˱16f" Bj"Lbg`olOh9o1qr!Y_2TL+|0!%,$v/N’ZtyڏuڌiMEX/kĆfpМ4Z*Z0áf#cFX&T/ocBCf笳Dvz4-,`XfwN"̈Skt9At%wY'q5$7;J dN)dEi]BB fHWgל!%!ێaֲY,~Bp"m|,.|,Nywy٦.:ndsOb9-幤(h=x!! Տ]69IZ_&f旂3Vnq])]l]D"]feqJ=jngYZ7zXZִF! NO]ŗXiɟ1˦r!q=4!pƹ $7#+КX+`XZ6)Ji8i ܭNMEЃz%Y&hFDu'xZ0mfj_Bnc_]4HkE yb)I /%)םR.k}a¶baMM@iIv]tŖGC۩o+&3e-=%BF. ˂>}uWWU,֯~2()@:%BT=5C*)h~,SJ oZh aAgYZ7zXZִF! ?]ŗXi%BzTDW餏@S2.Jaw(y2ESyʦ8U( LՑ|8WL-Ybt[T'F-.7{|pT\|P1r@mK!sFeT0^3aȸ t`! 3ƗGvg_<5sH qr~y --|9k+,eRѣhT;H<6Aw>y?qe!m O(ֈYe# s d2ѽ6-8-]m~36KDn}S~+_ AG+_Z\5Ƴ tXI \m|5q=çRuPq(zoY+[6sROLM#BySvLu#2Vo.akn{47)@'f{ؾ|4l՝Umĸ(Z;̓Oʯ1rKۗbburAv JTα~ͶI2NΟ&$(A^&;7CǷ 7EcgoE1<;B'9!L#ɐ7uT p8.s!շ<"HL/o(R%@_NSIu4s,RwBq/}luioE<2H1E^5q)!SoUEshoLj~aAz Got[)ޕ,$[5(ݦV 6 lgYW>=᳚i9  >^ϷG5%}spDݺ$aB"'(0A!8lqed @TARS\K<"ձb<\04Fg^nV!ZLC)f̤};t]sMGΘg'4(rqז C4\"Qذ :q'nޛ$π:芛++k/PbS%z~qy{FI|'{nh)90ؒO*@GtvfKL`}Q44J41X5.~ȶsh{萡&-w[oz_$6$qqBݑ c;9Hge{KLzK}C~/Wݭ79֐O6L|I|րwJ7qAG_2,kf8ґ3"@MwE DI SOѐ( C_fS3gLkߓ淊~=ٍD, rkש y %H-]|X$CI FF9[}%x7I,}I+,6 ג,~%qgB\j!7^=&d^|0~q" @; \$37]_X?!ō}e•,n,/zd?IRjp'Til `{Oߊٙ[=qO\@}Ț Q^p+^r-5q$*znE*B>FkGew%;M NYEߎ 2OU? lQ>'mуQ^RlH6ςNOoq PXf*'1 `2e%zTSYv\ zW BaxvC3Vue ZR4J> ϺTM7R_G $S\SOg]_ /}ւU^6P#b[KlJl}73}uZQo3Fn%}RVV>s=>b&s_7|NJRІʋLBK$qf'wtJL~B2?G'/Hjxr-!0|d?=AhP2Ի7,OS>`y.g-rU= 9us]GnH;(_7D>6@lzb(Knu{^C9\k;]D z.j_/ B'BF5&< 2=D.h/s!htB֩GMMnxl&8w-E>8ҥ;oa-.U( c2òI<%D˳IZ/SmAtNA8imr=3+$sNJVjx3gz'r ==;^r0gYZb9f5a6cabc0ff2519db823546d8915b251b2230d96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2abd28a29f7e1a08ce09ecc87dc8462d66e1909f 09207677660f2e5e303e5bdcb82eadbbb4d07d0be78189019c598333c4a3bbe662dfc707af574238