SQLite format 3@ " .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 + |$ ]S]Quick_Sort_Cost:threads=2elapsed=25.123cpu=48.284gc=2.476factor=1.927zXZִF! u]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Bǀ~_HQetέ/+r)RJof=bEB3yҿDNqA[sB&;}X謪gxaI$43y&)$G`ÎߡmUpC}7I G<7 Yu`:/6y2tRϙDh;f6:[h#X^T<;JO=ܼ w'$np GAdJr)чjzqzg0و"㒖E/TSĄH9r ',+'C]x Xߴq$mȊxV탶7DȤ`NL)K2+\ c_# :,{|]fFDe&=ssJjbP1͟xL<ћ I6+`'xA6_z9iJTEڔtN6pi!\%/T#gJgg{G|pO ;IW c2ΈDI&w֛OO6 sY=k}m+~bT;}M@TW@ >#}*B2[e8E_@Ta^hM-4e.g :Jqlu^~>:̯@>Z)u%mӜH=w*!ּ' $_ 5I7~2Ӵ<78w0gYZ7zXZִF! KJ]ŗXiɟ1˦r!q=4!pƹ $7#ӵAEB z;Ŷ4!!Fuzi~D]o.C*xs# I'8޾PNޟuPI)nvV$w-.l` cٺqVK*aV#p|QʽPDA8&H5pg%6oV`z@1`nưSOƄ4k>1)zEtwծx<,ueh0HL=5b ck#V.RAgYZ7zXZִF! C]ŗXi%; GMINrak_hwՐK#R;T]4ƚ؄4m30u V-N* PTfhmO:6h lRloFQPa/)'B)MxNj8%UKr;NnϠte8l44k+x7ߖmK sx6. ǙAe pkuV v1SPB586`rtVUMg!Iqҽ_ U2QzЖ~pN7/s0twi!54*MzWM3様<|CЁoVbSBPci ߠfTIry3 =vʓ kvh/\=9b]@ț5Ĵ+UzK|wme'r?e0#C# gQsia1c)@vFVBKFqX $ u}lpxX1ܕ9Nl-w p8}j%^;t!l (V}6CAHK-k^Y)Xe5Ib@QGfUvZ>Fg#YI1fU:2JG $ /@Wڭa{cPu)ڏـ}WYpGZZâgŒc;e(hbJʑ MFYWe^AN:; 1{Qmr\zJk+ɱԶK605k\{~0=ƴ@HS#U?/߻,q1 J{?":yvgH fkmTifgHJN:un&lV"}zx@+ё\U} )B|eӵq=?q͟?ۼAbM*pDs,Oͣ ۈ2cN3oIs7Z(:+ծw5Y 4MoO$M}vis n`#Z6"HoX̺޾=4%]&3Ρ݊.~w~Y[0v^2(7$i%Uh@75Tl_?ʜ!&'٭xX# Uu'Ժ@3:.|x,sT!:&mW#sayJ҂.f~.q]e i>`AҢEvX:9t?ILwrA t^u迆w"y+GixD@8mN+yc/GfW޻oN>RUA{\QX1?Dߎ:X)ndޡy{_2qx ֫˭w/d0z 'Wu?sՖi#8fү_ˑ {;XeIzT3-(H>{oNj5LjOTla*߄%HɩUm ۻfA'}7/,k "+Mnұ}FGHW?ٓ?lofFw:;=]ͱgYZ02090decaa03d9bb92a8a9851e2fa94f91cb02ec0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 f318faa4a6672ad86098bf4947bb3f6b089d5a48d2cda724853732d53a65a81de9bb8c6e5ce1a91d + Quick_Sort_Cost"M+A% ,Quick_Sort_CostHOL-Library.Landau_Symbolsdocument.tex7zXZִF! |P]A-MՋhvG"uIBm5SMo.NwoXH71&O5ayR@@44#FS-Ї|KZrS*O=rk]8vy&29T^[#E6aqZ1_{ξyB-XY gm6+]`H:3[P[Vc Eļ xj9Ak͐&+OS%B"e,Jw?<7`NY{6~^m {L;L-lU6; pks. X|~_^{Uu -+g?AV}VE21GӀaڡBq!(/AKB]f(/Ȓ|C0O͢X35e6f*q3ؿ)׽VsĢh9k B_&8mˬióPMڎPIs~@ yvv']WNy T#NZFǭaُFRWǶC'/w ]L<:e=r mjݞʏﮋY"FSpe??,E+c&潺d^ZwCzIxA &BSI||(0d dÇѫ)|\/ZQ#v*Ŭv4fF$^%^RNv{ǒ]e22T&zzSڗa.Ei76u 5fn)HxW9jB(3t92ʀ@~>|#ѬC-"FzgA-Ϋv]%IYI.s#{8Nsvvfu` ܕl JE(Q'䆧 ztv+)s uajffR*ԆAi3%횗J*|++πPs܊h1Yg.h/h;53"\wmq*c9\e#M`oOb8/<8*bӽ}?065Xv5tSڀcB;`֕$#1饬z\ӑ\QR@Hjm^LRT*6X!\FJ8~iCL3wWYlx!Feމ?P!7~7LbrqkKH k>L6 ]{###pkd0Qnd0^hL%_ ;a8|!h[:j0v2ªl4śo6'eq#Yɟ?YkT{%L0,ȇsߏhE T$Z7Vq Ůrd.&G9ϭ$~MxWL7^84˓e;+ YQs[1xW\ٟcys|+!|=Q%ȹvE[sX۫5=W`mu0^Rc?cMHEyrq׮=5)a3U*iͧ$h6u3[kbs㒁JOۑ 9UnE T1͆'xoCt,6oc%"Z2=W5m[괒l}G-Xx(_tZ+6,)AP$́("xIX#]c5UF@C VܓQ"+z`g?C(B@MKˆD.lŅ@L r0w[ɞ SꉨsZ,1G*m,V9}, sFsi[&>x.I9;b>Qr!A]L)V`&['mVOSeY/:{.#UAµ"NLdWD]堿u)tLhDI/v%7)c_D55N-iDړH/BܡLRO&4#A C٨3-tn Oa}qAhWkPT:Qn 'Cqͼ> pa97]"qX Ӽgv5!1|(}b#5=sKlL[+S z@r4;\T&L>nMM7d<++Mr=JQ._ͬ6KfUiȀhgBK-0~L,|`⋲.dgp6',(<EEgB I]Bۨ7°o yH<Ae]PC<㺮7RmNsr 6QYl-w1B[- FT#:#Mۿ=u"bY{n=͉?;~*ڃ4rQž!O~)oIl-V=S%E~ n PlɦLQ=v/:|~UoSa2-L @&Xi̥!B`!DM^e62|ؘb{0)[bf+t_M?mbg)^;zգzN&+?=柖 -DV14n|4ؗQq_';'=|2~d ^|.aoFC0;s)ܖC~{E$."t6p kȽ45J' ZC6 H.Hcj-)'EY߼k۵)M%&KeUDwc4)xе&"~S'ҥjnڣsT-pCMhOfJQ+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.texF+W%Quick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument.texO+i%Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_Relationsdocument.texD+S%Quick_Sort_CostLandau_Symbols.Landau_Real_Productsdocument.tex:+A% Quick_Sort_CostHOL-Library.Landau_Symbolsdocument.texCԹ(Q|^^f Ԏ2 Nݻp9bLi""WƙGZJu&:}]q_*xOpOJ}-*ݽ#6]%*]H>r ؆2 ,$~4QDkI/ҞTu[ijG$,>U-qAj,twK$ |Z 8$Vt j{{S9V3*l${Uȵ $$1 ΥC ?]vloLS[p)~^8ҴX(qP x: ]<ˍWG*iMccz)A`_a,dV/] oB,TQJ1 %1&2@wyȉ> 0WRc54+Ә8m=nz@a= u!r/}* tQa(öB]'CŇc'v 0CWw7CHQPl3%:ݲ793E caQgZx7Fxd+Yɐ}Jwwi3Ǭ Y]bX39Yܶ.3HJŁQ9cZ?ۤGɁ8q=gG/UF#cZJktcZ_ǘKOf] Kw-`Au6* 1찾z`h{\OwmO4)YԾ UnQ/x(uj<ِ;͇~;GZM{~f[J oQVQt_vAZxo^[,L)?J=9¶EZZеVw\lns ?-$G"s-SγPT%6L JMb C,'~wL3 ]1u[~- nWXHEF"(*聆%wJ+R墿Srk>H6/jVKQKb~<&ۘvNO[K?swf^QDp "Ί>'̾_>=kĒµw_`z(M2׽=JI^=atE!OąڶgLƼ7"+y fKrc]@ߧ`QY>FƪQ\Z鞺2+d[H>wx u mU+*gAlv{ړ$KP,,rƈJbL'NaKNp`>䣣}٘14me. &Z8S3yMQ~rgU%&,雗~" LR#3~v𥁵^|a)6;Ut)Zn&so/1*(YӯuTFel?vlk] qE( hڈ<{[s冫5`gӭ^j;6[jRP#s#F +Sf? [j`[d3}p m"'9^Gf}LJͥ"`no&X&25G7ڌ[Cp%4'r^<]1Uv]r"\u7Uw I 2sSJ$}ܸq5 (?M>Ncc+KYZL:JZzz0U?6`"+W C/H(*C.M>rV[!k~M4t"OT^Sl]NI;ʜx/L,T97v)`D ۶Rf7(s#}H14 u߆˫ VY%)'upe'i[m’ZlIVj$![""0hA %u=Zp(_T$ro^w5œmG{k\Z^ke7|y~`u9~%jnyn:IfбI:>+";>nE4;'F^~3̾F$Г6˚⼂!}4htOgb -4 i؝d34#D~b 2xٹNF/A(QS"MbI Ha+DĀmQAA7Y*)6Ɛ;(u`^77܇_#ml{R.b`jIF8$Am;"&O)X@ʳړtS^1OWpB_#` KQ^(;^8mq$|:gyfhįa!7F{f8XRsg0'GF!%:oȻY;wd3̔LxL3 xk>Ϊ$p$5ii~- WGrLn8݅v*|ݨ|;tYOD^-.j#zy.,sz}F7!vwX%pe7Ey?nz/$'ow6g. -lR%rsѢ%$&h vNe]kS]?mJ\ڼ$xD[ϗ=;¦}ezתsݣ2ZzuTd4S1;5v:sl.qo0&""\d)c`©4M}Xr\Nam1y"A %D>e ٟ=_Qvʳ|>&$gjW <Ð@jd-qHnҥ8(U(X^ BͼO}aE'YnB ^l PW锡ȹNIGZ;" 7\&!b!ӷ4lVy}Mμ:!a G,(]-W i,xDSn "HH#_eYFJ*)Fxz<UhSIfA =OhŨ޸yu$|dZ@Gem.a+&gcuwpP0qb;+VBLkS.0\ ϰ2V/. L ̽aP@ƪ ^X0ifN /kFy' :?Lҵ9 eVc"|'1(=вr i l>̈́@3:p~4}ULɣĢH n0i@1'8_K>"OfK㐯 `ŻüS僔掅-sr:+6i]ks۩jjT>7t7{P[ʂ!/QYu_v4YQH[E/¡B,=cX5Gӧ/^g6?ssɇxlή˷ M$z q+Kiko/%6e zP_ُK%}̏"pma/5ْk/Du60Ov]Fk7\Bxyv6_ j:yrWc6%j4gf[Z =P z`0sY" Z9ϗW pB135.iqWy z#71;DBZ9h(D [ғ Fs:$[s5 D5>2N^T rOCqD]XL!M-59Wg͈6l:RŠKMA4Trr se |4'Al RIdx nƳQRa_H3ٵ )>֬Gmџ [0VJCڃwe?ۊNA;iGb-!",8S~I3ppq񍨇kqLNY 'v $u yB*TwVp@t6-ʛ^,>aqX8Q_N 'j(xb=lFYQW b~@z0TPp 6IKTﭭChWSxoᐵR0Β;)yQ.V$TQ.*z\A +{k\zT8ܹƋE8>>~S}IS2,[hDS]r];&Jq]#dw$(XbXNiǻ4ұsvఅ%bt'd㝯J}%f1v嵦o-|_A85 9K3T1@aS#M0XVOrx6\v8TVof |:ap!εt_J<Eɗ3Bux F/7mbK)'j8ENw vRYn'Ҥ…gKw63Aϕެ 2agkl*tLX @1Nz"^]Bxp,>LT 뜱Z͊k'Zb]l'юpȉR=H߄L?븲uxܝ55 BJVTUXE莱\f׽ yhv6lnG $B C%g I')^o1sQ nhVMD!ѣT'T$v" \}dN6 3]:} 9`S\Q^TC`U_cP (}r>5ϦP.ŮoBrUkaJ~X[@HVՄf}ŶO1>oKsXaY|X젹Ns;:ce7'BDf{wrg򨦦ΨnK$u&18>B[zN@9[Wﶜo57eDDqmqFʍհ.FP y5u}waҖО faX3(P$x5.`bY:Mƃ5ǟT}4[ѧJqR"&;* ~K|=˯B4qy9n_h?~{Wv#wU~8"}FX&LBRSYV-mRxv&rf/ =؝<ؗ8%uAJTLQ^}Jq;,(^BjjXnw'-M!]C[d.L~%AD80 ٗRQ+5Ÿ/`gh㼼@=]@ `Ki o'lgxd,. 3j2Q,k7z|;6PÃhytRS($BwmpMQߕS>ImHٹPS=l};Ň/C6VZbU@=2*][*5_!"LTgIYIFN& ``bAl*p(K@YZ4Knb_UUeYXiLa Dyb݆XJE0|q s:(Oރ=ޘߙ}fs ' )t '-KVX9yQǻ rͫuѭ Z8Q{H j>iGp]c|].3ۢT} x:C}f2(OVԘWOԓ,>-'l%%I 7D.o!ԜQ1?n- :w-sAتC?VyOygf$6 !E䇻uj{Xcind`< sx>FDԵYRzu_("U O^ DR,;8o &Z (&L]_70Z4nb7s(S|! k٩QݑHk:wྶnI8Mk7N%eAxb:'D!y?@mI0_ΚȾąǓV胞>&0tp^Z/(ڝHda~I)A!#/_gV ?W,w8L=!D#CAZn9,9{Jۚʦ$;9?yň@B~EOE;IWSP|ЕIWUdxI]d8?rMo?Z`%FT?p C9XZA>g\um%d;VW "xn&Ħ\0g/T9} J_cNU6non@,T@!NJIoGvRGg}&@w#{Dlz9k/!(9h0+HrUA p ٛgM|5WaJ5#*=yu!iB!GgIm^ƈO(!́l 9i3fͷO\w)_<N=[UTu#Xk۩c5%#4l9C#Y~j9@wتdKH#<ҩ'" UDΚƓY[(z#&7GFFB|NCp&y\~"P8i!Bb\_G >nSS5u=8"X V^ؾD:Һҥ3mUd<5%C*xR߿#g`kx"Yݶ\W3NDAM AVT92-Ů* 2/w&Ƚ Y IB'Yi,!@Ay,?8Cw' 7NIvR-^M/8N\RD}ah6#W"lFM#8豂c.%Q R|lЖ$Q.j߽[[;|o?f[lRɳ,w9.SCrБ߇l6pA!~9m`ZFb<0R=* !{wa+G4tC {rr 5~e{:Ɩ3jMԞh~CR0tĩ(J[C˂mX3~/SX^jcM)OC#(NM/⼀!T`M!2߁\ e-c֭WCk]'ɹţ0uOE850هd*'+p\yx>Fhnm 2EW 8ڒN.')DIia㙎 >uӳt>jĊ!hلZeBuّN5Uu@ gnÚk-WIt'W2y2-dSL e#t֠FFNoI P B[]pAT~ rl AlgsνYjKhnm)? GTz 4nDv`$()S +DG(2OBhz\vjSy8]^rɝn.1jubtw4 xlVH\|3.e%ЄNsD!;tʘ2 O_ %5Ʈe=ݡ ##9֊cT?Hqa۸*.]CdVxU* T?T=%-JO97h!\7O4uٮ%`-)Li{Z"8Ga´z}xM?y;+,0}(Ojq%HN[ ï'ez{'s{u24|72| ͏]b>kZgud!"6-Xo X6*:,YBqiX@0?˖1񫈶*$\3A׭ && ;%IAxmBy2U|j qDx*߁xFڱmirU;H#_i`^ThFq_:wP@L5t؟2]/fzǡkXR,;O$Yf67MШ6Z̶/?<J`Hk0Oq3#CK kBS̼-.n,d7ɪ)ދ0uӚC{`GMr9{x׷BSsuo?^v( kpB|lV=rH]PӐk<'KHPEz]m^F|᝘M )7E2$ FE< euͼ'%yD|@b˲H" x2_^oϿ1۱c5=MU*K@+n褳a,6ix>GT\pՋq_yHg3rCBTс=çܐ-9nXnK)ǙjVp'Susbɐ$m(mv}MZE;b~L e:ev+x|y3Att/ug@O̅EߤxDcI%U=R6=ӯk,4Tiܒ(eDRN8 zٿ gh}>jΚU|O,+ 3q}#ׄGcfi%P0AW7Gf8퐢a*l{ػ&>䬨}1wxtc0焀E]bm<* zj iv3eG;mG! FNg:r4*P8 WY5]kTjU@ >do:1]y󏞿&}jJ@naz$%C5w߳ߞv ,[Z;qĭUSHlB-.g|+YHpJL #_ st͹-ѰIrK\r{ 8 |##=]qYiݞj )z8d͖ .QK'bDge%zyׯ35_)ע-gq4Dx.BH擵^pwq&*>9Mn`NarwϜm@ J]&잦>XұdYµ#g :utQnt-tix/0 ~9*cvnΟkLΛP0 L--0,øNr^Vx7 ̇{.2ͺLkZ}@04^6T߉u\ZLUݬr} sX;g:S^* Rw [Q1Mr2]O:4#\.&=XVc7Է8q7X݂8:Y Y7eN%/0 q)H|_[(3&= o+@g/I"iMw|b6,_O@i J L j fUADDVKSZ܌Tlj %>FD58li>~pqU$6lAHfI {6ζhR؞ S3T@C],J;Yَчu 1,J7j-oX88wKN/vɸ6]/\:uC>9q58Y8ufkfb%ndb2)l4[7cucjZ i'l YNj [=e-a`" A,yTPh j FYUZ;4yŋ䟡PlV}F^^'<*HHG=2de<ߖ1*!)P 6d p䮰EAոg?K5w*#HǂW,u'$9BdWq-cEҺA ~햊ck3OCÑʊWpe1|"JpWokC'jfͽaG|(rh7,0[*lx^,德4U9Q#z.H )P֍zP|S=Hh9b5yc}G Ny;w>tԷ|(fKDoƱ(.)L Fd7]Ǹ&nc/ۘ;*&1ŐN18!t Ps*PD*\)˥1O66?b$m Hf5g+X"uN0蓧MZ[3u=u_P7.Zƙ9ǵv}^/௦$ >Vg4!4a;0-M"M(> VpD+f|* P*G+|%DRI5~͹36k0-0n>i6&NS4Xh0Nӆ6FtGbVLh}"#%j<T͹et gNMlKE+${!Ohנ}U+^Ƕ N.:YL懋>aXknP[ *J+n[xKLBG9T ĵllڲ'!y֦GB-)Q~±JL 9Q ">U ؟i]bY~ߢ;:H&mPH?3 (z7™,-ɉJ6O NX|[F\u̘ÿAaXl.cIӮl11`s :+c'`>=TE%PTay :Tuyi]73ͥ$)厣kf }GL(=NPugXta3S|3hVa 0'9ʚ1pJ T nDLn03:S3v\xh J_vgQC_͹ZYF'ܮףKn:>Ҡ~ 2J$5}櫺p va3PB z9Þ?cW)15d"SA5 >T5+U62jnSnuIǎiG[yX `6#c,!Bv PBA;& qOI?X%r0#b5aozq۫ 7Voq§X't(CեT';l{dtF/0v $"ҘYݾ #AM_#)Y=SZQZz.*Tňnc?Ҝ7=E0³dY{{}^ndžaY\D]S0\ŃU`0iŨ˹Юգ[C۔Vl CNM0Fu+p(O_4=K~_O.|&4nAm5[^LN$|^UZz%-orV %[cMWP6euZk 3-4jcQq@k[lP] vr [CH\2{8uz^A@7/fu0 8$-~lD"+^QV0 E(e|imb>߾Saؑw쉃vf>3R?=EfjTg, %v@QGט^o0Cp xuYb :qS~uy['%Wߍ%Q %[Z9MU/ 5EiN;?|%/GȂN yN(rwg645ҨoqoWBu,6R *}d^EH߼! _fnU{o*o1`%y#z@ 4nSۏI9(=sSn_Ia;ĭ hhُgC@1 U[pP -QOިhPη$BÙ(\qFcEu>cܽw)/"njٱ0yU_?n> R4mBc.iH]%H-7+A܁g8uwT.Wן5XJHE |yåG')C| ax.l\Xd$P'A%|6]h⸮{8-J㐷uB0ut!޺h쐞^hqdѪX\*dA訩Gr0#9D;j D1dD cl!(`!5_V}oi&нhOU<)}& @Ke6BhyFmoGcz cۄe4JL!1Y'ƚ7HE=B;Li.h-j)\\Z'#eJ". S_UrBEV!)|9jネw4 hDPԩv٫mc V\!jQ^?/ڞvhfK7O̼N>c| S݆X់!q: I廆DDd:#Bc3eVp+& 69AW~Ф4n̸ha.{ղ8s3t fKOr>٭aȡ "2\&;0bEXKő1>xBT[k9頶 wK} N)FLbekHקg Q 򗌡1TP&i DC UQwP1*[U&~m$wggj&]Zm/lj+'9>P[s1?5ƥ.kFr]0|ʕ90fg4P6Kv0/ѝՕ {qֵP(hDedAuc>lwյ8OΣ̶ۨHS%3OWɢvޡŻ(yϦL>2aGw tvp!-1Ti']Ri0~1iB1vc{;̊= f(v|ˊa;gc@MH|auRʶP T S+V̐ k.M 0cwsݶ )=TeEvp#[?#"l<"xw7w^Q!㻡j[o1hr"|o`Kz=rXƀӳN=RHP+| d-6wᔫ:"7%\rzBɌ: N! q0'b$`6lGF>P1;NL=@t҉=b6?g{*= Z,H 8DA[ A dIN+/ж%8E^hO g==4PSk{gf9Ijz} 7dY{E^GMlAǐ{/:Ȅv}tTiESۘfGJQ0PQ| ׼%넓*2r'.2͌e.gxqmn`3#{100UăsWt V+5v049]R6 r:]׋}'_}+1?!fX4W *rvp'>y= zZs6K%(k&e*+t{jM'%da)A,2٠rdTI"^1D}UZbY/+Q͸a@82e09@t"Qtyu1"Hn8sGGyGJq<Gs6(kIծku V&ƕ8d( =[䅀,83Z"\T֭\%J2q._"Ec5 2Kg3wkJ')UOΜT>:u@bk E 1~u(Ev%f^rȑBmߜ|d.F}?N>y)S>+qAn/h2F:M$v%%l\AJ@a NPQ5spYё$4!9Ƿ| j+I6Yd37Gj=a;ҝ̥'-W) 8,oo'GB'uFHBizNA [LXFDTtsx930DΉjvx/.=RTmmI?;?$l 5?jb:Be4M?UG⽔ s֙8xeJ%^-5T؀5\g 4y=.P>LpԚP .GCϾO1>i/YdL;Yg 7l!Sџjdx?$J+mr.f@Z(ԍю|Q2%(0WX@PVʢk͈vZ~jJ+ H@NדKk%S8e3m1|lA^ FȎaDYZ%Ez FB< j/8 la.QQs\8Kiqk>CoeDo^)`g/t49ʑ5:;OG "+k]W VMe眠*GT#kfpy@FMG-66a[bZ}vNIGdMcah LTgz_=8SqF*vZVY{ 0tҫ9"Pji Rp6cg4h7HMa=_8(pHT+U(&<͚,edTk{5hX>UMub)HH4ؙC ʡ +TG_},Yˁ )Cτk'zg)np ,1&|ia{AX}Q[36f|?h ( A6N+jb 4hG=7Tl:9Zo +1B_"ęKx׼:vb(i%W)@:&%` K.J t:`LP.D=J]AǑ㎌E .̢gϟD-ڂ)yOboaV)T,';}U4M&MXjkظW=_ZDk䶩,B}gyڥ,r-TFS ߰-ׁ'~G޹mFň `Jqw/|=\!~ a$evy={ē-N)Hӵ@;}:o gaA .F !N@a vN]åX sS0@d24-O sd+SNlY c9dշv6v{K&[1l)/F{P案 hyp{ʙy¤Ảc}10c`͓>Њۼc0i~d@ #j$krG^2}I"+ ׮.E#G3"yi #=4GX4wqs SH[^G,hu|R޽|! F+qzJ A׼zc)1NBMR{F.ᖸc\U+h>`kR]{UB4: k }}2_Ru5.՗XIj W/@`3ű1|`mp#=x]b츒j̄^AGAebgY\W2YjX@六DfhXPl qPbGog,\"q 7cA  :ϒH]%U ni]Y{EIRf\b/Dg0Y}r1y}b!5ODq(Ҏ4),R%^^$ڸ~UT- /cUlwv{k 25>=/| >eQzݳ($,e\zm5koIg <;Gߕm N'FTE;< \ux%#qu֬>w{1CB;n?׾8@OF<) D "5sᣪRO=L'SBPt. &2+9Z<}A+]4*-=^96$_ Ǜ(͈J yݤYz6m ;{Vx|Ο^`D]I+kkEt'E#Vx݅pHZ)T6[nnk/>gT|HVeKq.xUM']~kĞX vn!Eܑqd&^'.\y=`xH7ȋr"/aD49_,j HS>^+u>7?]Y G\gV'Uǫ+G.\u 3@ ԩ 2K"U ArQa[Ć yꞸAͰфs-e6kڝteӑ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 l(-{mVL#VGC4yÀI`Y "o+X!3@4K|!cg9)GAUin<9 -"7[T;{)tT!$%kH;Óc,M@iW䴑L֦ZWf@4g=iD@VE'q\ _~ Ν%+:3~NвD_ՄfWćxjغ3w)ZahxVGf3q|{DT*  (՛* o8ZIZbM8"3Rx+Bh]H)Kj<ğTuw9|4̑0s7pY}"Oi71s""ފ͒Dav@XV(#TwN81L0J%-`br>Z ZW~=;y7M^՜*Qړ[= fï 0n,u=BJC!XKi*NָmjZ= BDjG@0k~&)k@4QXRW/, IE#Fm\ /*ev~nFƿ'#}R{Br:lIk56ڼ,m'yjFPnIݝpK R }I xjDpB`]Å^#h@Q,jbs}w?/nȫ)I.#?~RC\4,ٍ^n|tJR:Iv$Z9Yg4e{fkKqv?`\;cx*V</ݮ}+%"' ;] IZ%+ʿɹ_ő)Ù?@@R,nD";tѠ>{Xb0# 5[Zۮpvӊ%_|wz6F3w{Z W̯^¿mDMu0è˓Z7љo-qDeЇD-~oJ34 P!Qpe+@}HECFOQcFA("o9$$~čygDa(*/)k_kY WTˢ( +3?zDOʃ|8XZ`-+bLhPi=6#cX{\ - =Lsl8-s&b@|YJ0|xffKcP-Syc׎uTDB޴wH[-F4˨6>HMy81Hiu_bҐ F,V ]X?d%{WNxKr:'o!(F>@ZD. ~T', {4not Q\20k8q&I{cV͵g"x].c>"B)) r°; dV~C}| GAz ^l4[BTyX?2]ŃC(j/3~6 /W賖cK 6չlzkNߞ]"b ?ȶ|Wo;@N<{`&lϓYRWL7i ,:";ʫ-_A#({{ݼ`/!EuFkĪjF]Ǫh5~,j|ƁQS.QɵU-ZPO\=ʁ\nܛt`kj83}AX$B`'* (uh8a 𺠈!U @Ј Ď*c7Up{K:g(u_G,4Z{WnV S'i5>'^]A¡q+_L(;s\,TKz 9@.q8]6A8 s iC.( 2:V%&{e8]>/Oo'I0nD!+*{S ٭T(cRe^9F5k$RIɒ=v?3ۤ0.n4~auDiKt=9xm3EVgՔ:%zV3v'Ð;J"jȾmB'_v6k!0M!- SV`MIU7 Zw j]u:$LX.5b_(H!d0Ӄ^0넝:l_fJj(9%[/З# 8 <><ƣE~PP~&*yZkQz?#fjX`COEVcQL2ا}2 b$Y8O4Qe^M&myu]Mԗn}eI`Vժw.l5V >D_ ep 7捠2zlۘTx$|% Ze G X7dGHnӲ4i[C%r5ɒ]0Y3#6߯r2l e?B䶹CZvyTs8ybxKB~09KҶ+01ROpj "bd>1 `>GL7͞NN^~z_Sef#1A&)aZSeo 0F.l!+J7mS3 )w!x4Cw֥{xq}A8@&<\ Dt?M*.=|,M)T}K}ԑMJ.@,"  &&*(XiUjEB㰖"lFHl5o jv%jRNBj\Ik4Â(zBթ+A՛ѦSZi:vOIؾv TF f@ TgNmIVe8RկPe40 ?y\=/u}9ZALd+LŪ 1Ǣ+=kԺ].Hd79S# gaL*٭]?%O7dV֊ BÅOoϐ3^Zjg<G U0 Wn;9A屠P )Xi?/BXDi~^\ʌN⧲hb3S=9G327!sUh֍8s}yVB]f h6yN50,:%3ofJ=fݡ3X#5B[7smz+ۊZa2k>8~QnzԴ"8. +Ie$`E*\}ܼjl=1p5r88U7fJf3#S$j%):=p& cWg1[n+R|]d$ L"t9BWb4-F8;U})}p(۬jq[({"}Ggc.V}Lܰ9{4#=sLJb7>a%4}he"|~wߓT9 sLbq +G|*c!nE=Y ۮ i.4涎ۅJ[XepeCSRT#h-a/ j/$c/t Zڧ].+t؁z?-#iqXw|q7 -%+O7 c=q{b!Vul`7g+8<粼a<2[ܢEeЪԟaPe|A LT~VUUVGlV#b#ͽӻN9^s( L(?6І9 Gs0ᮿU RF+~ef{ ]׳>WkaHƇ&F{Ot dA'U 8:-=#\6+]* Ep*;鲰w6D) ,s}vh̬LX-'b^I=@/قa9IA.B*gd}hhq^S,NK&hf@yvq&2Sp DF~b} {[a%)h2 c.`j28ϥh#˩v?afnWDl:(wWzĹW\-;S?<DhIf"6|~oxbZ R⽬j>ˠRc8t&A)*%3@G7ͩ}aJMv?,,⣎DThR7'߷ STM3ںEUSI9vA,ڂq='9x[(n#RQM"hI,!;f${$;ViEb-yg>wD$=*Oie|}eĺ:0ũKKG vVzbdHu_Q8I$f. NύPh7  v.$ierJc?`nTg SpѣĖD݂⏼,}-T܅LcqjP` K[oǢZ^kjpी"G.eo-E/1stpyD?\ъlm%WN9QKQ 57ZlbL\=xÿwKs.^6)2|vNz(E'rcpǦfenuv D7q𻴐*  Jo` @&_qD)P"R_x\!YikU1mUZɵv'y%;Y6-R"kbQxq/c^FrMj@"#@UdO_\kqIJp3cɖ-\gJ"6 .kT%4 Mۯy@.rOx#-+: ˟|jRw2*?00@Me~W9 &F7h5[cH?Jj"vSsTI<ōcSXo5cmԫ\9ܧ=ݤ'eZZhAxļܩ*W k./Vz˃Z$Ft*) vDQ MBadȚDR8}/n P>|s ];Ot w0Xb4m.=_wPxJ:i.CG4zCN !1AHhUU,c xzv \=t, J&~QfS{dZn~ _"10.=!StiFIѬWSZr(\L1 Sb ؿG덃x.Ml*g~@GyDWCAEh<>7!_<5uF1 ;bZUi $!'Q$0B"6w|h ە3HQ%R@̃KF{I-4]JETz<;0f1ٶ(޹8/:L~!}CӜ.KXS!"9Lttwh1luL/yu@+Z#wSJ vf;A~k(m>aG)4ÜcRd 6~]Vgp)LGT`R/zlgg,r܃}AJ ˶A;x|ZTr;h$%R6Q3R(‚ FOA* 28ިw\,n53X@+3/~_c#X,v+\0>΁=g+l?#F B ,mTi/; "Vl86Nގ ;Li!n-# fZ!~qͅbYlSzCB\A=-r)}y1Vǽ[{PiWh`ҩAk)J ^E(ٰ} dঢ\ xS I:pVwf!Am]ivIQ4[8Z[UmC>W(q\b-f&mC\Bt -+t]'_8mʮ67!`o>ͭgLh/<&/OZjI!P &C{75ao2 HtzXɟ۸sҐ[k4:ju;\pfaYd3w*'}]/ ԁa5e&?9AA؇3=H&D-l]~3v2Q y"0qPpIķ. 9~wzijxWx+nFmծ@}T5@ˠw  |ixk%Q,o!/}ܻܽOD՚@8|Ɛ~hc1@JtauMKJ85`O#sޱBX=޻+fs1F {.?{I&:" MI{I](+t-()vww:੘R@A:!~̕p@FFtPm<>Y,Sk=5>7NjA/_͆Q"XG>KceK;~ָ7n,I0 l ɫ$)Cw,cPf ݜs=4H8r_a.SPZ#LY9IT%ފx`[tt@"q֠7)Pjve_Hؽ- I~J)\ƻ侬4/4@Hv&GnjB]D.Tu~}5caG5I{,Ⱥ *nZq~FtϿYVlbu%"}{ރdX atuf $Hg/&AGM!Ӊh;:vƐԐ_m&mem>M5%IkA{VEmSn ]nhP[7rA{كs&ZT:DZSʌ9ˈ+Δb v<s)3|i/*NwRXRjVّLJ+Qpd1D e& թW|n<T;LZ3ӥ%T.F<;?ztΘZImẾ9b -.ihu"'F6K9TfYD@Sx_Zڬ(4 O}ZɊYLǂeIt o6R)J_ -xC/ym@dbQo*C)<&s=FaZ't卶O1[1:?k.Y K[XVAy$э mDKjxR;VDV-@D *J]l/NBwV7>nD\6,!I.0QSL`q+2=t|}tpWb,Vnt %tOiS%Q3c?k?[Ȉ~X?UUx0r iH@ *%y.i\@mG-JRfhBh*'泽dmg1 /1IC1PP%="x)v02]. %|8OE,=OzhoWsvbƘ i>~Ρ_t PD^̣ǢXK6~ e_i-d>0 #zv:HId^I d&P4M9#;;Af>%F0W5>šG"SyG+Ԍ*Oի.ZZ`<&|aQOA6[Z%`GY?1)$˵. K'ڠGvl<M^I;j?؅&4τ\h=]`O uсF‡.jwjG4k+;Z -=la0gΝ&kAbm"D= ztpk=j 9 vCoj|-xݔJ 9OvCel\}@YQ`Xq`Yp uV"S(p'l${H~(!K dJ WSzLoEwH?x-U͈<e7$Êr.ӟe[lFT@jjhTΌ{KÁE% 2My^& fڲe:1GnϺO$Ӵ3 HxOCiˮgD!2V^fbQ sxp 1XP ?>"5'ZE}۹S=6EsI~*2 S>"Ճ2b@})x)Z/2!7cBTi|n'P>B%]Qc ό6[(& 0pp)iۅ>dU<Τ^St]w/wD|szYTHwGxۜ+eM{MGspz`+ofH@;u4%~H@e4މ:\'*^saꃄX֟VàI$B cy~|:I^Bj\~FC0tg@ê纻O pfϷ ɔcg1GHB jt$R9̫UywCwn6_>bݮP7kցr>_VcDuhjhF׆c Z-N`FIhd~VVm&. 9 & A`s,ܴc)CWgNS2K4NI<@"KW?h#v䛖m`*:By:ªA"ʡϞ;fǃCw^P.t{<ܲEx+#p dݣP,eQy4Oߒwpa=_NfV|R!=B)J7sYMwʣzim-cmK+"n]sه?!ULY*f>3זe*)nf2d=AkǕܛ2Z?GQXB4q2NCe -g1bR'XOܘ O {Frb%3PS%{s[pq/Д/ZsnLc̕.&v|<*Sg1RK@9lt lY^n:b*.em,U=r\Z~ԦN952(v?߂TO$RuerLe}˹}Pyma_ȗn\ݯ(%S>ۣW,-uNmUMYsQSaW.Jb|~ut䅟Թ`ؼ3Q},674}[i3b9$Y:ôu04v3C RGh81]n.a"ֈGr΂k'%"\peu\f4Z3rUm=v|[ZwJ/:.٥UI\ni F"/>'fڇkjg/# ^+YI0dt?[0쿋leDxHڙ^hxq)ȟuj-q~G[w?μ,G%鋚c S3 Ic ˚ kNt BwJxr8Hp|(AiP,Oww1f"Se|ӥi$7$K1vtJ-^C|km-vuzAw}CnCf( 2՟ƱTt|t*?xu |0NC;`b3E* z0Uȿj rpCj`z{h\NU1Nup>-%S -N%" g;{bNfA^#RQzf{}xs޶ @V=`*KFm*m9mn%=cShvIB>Ckz_/ȏ))\@)T" muUI|7ٛ: vtVu^<K]j<'S]S^~/15a Q8c2|ϙ?Uz-ޚu j \+'pq|6zЊ8UщrTpm&~9Konkx~clv P$S1gD{7Ű m<*s[1evLFMp & p ct,J:2zEG*Y  4R3X#4@$)%23Rc`@a+N%S8*'ݻZJEHhڕReCrٝfw@kҙCWCOp%Bj܋@H#͙lтCcx_^9wjP&ڥ@n0 sǤPF|l(cm*/im@@8PHԳҧI¨`]A tఝ]jl3s-ԀpGh[?yK (\k) (?sLRKdjqP| !O`A3Po v#ApOg*:A#Rlߓ$#GU^AgE0÷`]6k%(HI ~ǽ,vދEZ,8ּ'5ҝh@\fdM&ΧZ~Nj0 r3kbJAL3..jnߵ d!%'Q3tpHs̬l+ʕG@b/!:-C%^^L3ށkX==0⑅!o5)}Fvw+,gz7Jj\dH|#6xaMpOq BF>;bI,6WnMʉnI`/v`i*b1%aY7i4pD(+]Q?љz0iPa&4U_ DwKrWbwl}|&~U{E0 Kχo"{gg6M~ܽ7t9@v.zGMnڧ2z @{F_9|[j{tVl9TZn?pCflڹuuK;i^9j &{G6'+3Odq?T/( rūJU3`:9{Yk/PkMfй8ibeVIOn +ݗLExS_ZXN9,ĸݑ+L2 J;bV^okȜYyC[$|m|Od|Q8[z^BF47RTF"z12IS Rrngjw}s6f lM>nkaCVf"^lŻ M ENv@>>mբp/'WKrء%}o&wI+lr8IÏ,'2AI F`^0AKy i/ H !5޼ȩQ }xL _[$,zbj }}ץZbaJ}ar%o/`ACZr!~{O u&S ,Q9 ,%UӼ*k>kscP:M[}x:˓'[̊H_8긃d JwA{Z=PTaZW)ݨweBB_ T]8muyb`B'{V`tJ^ֿl_[`->UvՓlEsD-xD?-/p:-'*rŵ.Ѷ6#J.xY]fF Ѭ9@& 2njOvMTYצl-ϳLٰ.yݡ:(yшΈ`)t WƟ3Mb4߭H<7y8DE- *W,Gʌ8EũU:vXFr:ktЛrƮshK)<>\>#$&=Cf]zDK#{@|_0#ôk1FXYr!@Dig+JV,ƣG;M=8[v.7# 2v>_k<Z8НtGQ8Ôx4o{M(rUE\F=p$D|2Ap?#n{|Jƹw|F$`k[R²8RC. [DC$$̟BȸS+MaX?#W/:%./\}NjHSj3mqK4J :j=JX)ƙVу!6MEK#6*%<߱$*2oHXM6%JT+qϋx[XU i.V;0sFfh=X  6f۹'|*[`E{]>em\&iV#dݶt=Nn [ XYw7 2wkfZ]0X{Yr!dR?j}qsݝ">lzO4uhldSC%1/.(bJJDAnHM~JK󦹀MK `e5zu֛8&XPޔ$Z5AJ(O:ْ'*<ؐ. Yc$\ #ͿA*8 3!Cq[TNt"+fNeׄ&:6-搰{U*!r\ml( 혉:.`_{KTvVPFLfbirIXUB<~dT9`1~I=GOXgYZ M+A% ,Quick_Sort_CostHOL-Library.Landau_Symbolsdocument.tex7zXZִF! |P]A-MՋhvG"uIBm5SMo.NwoXH71&O5ayR@@44#FS-Ї|KZrS*O=rk]8vy&29T^[#E6aqZ1_{ξyB-XY gm6+]`H:3[P[Vc Eļ xj9Ak͐&+OS%B"e,Jw?<7`NY{6~^m {L;L-lU6; pks. X|~_^{Uu -+g?AV}VE21GӀaڡBq!(/AKB]f(/Ȓ|C0O͢X35e6f*q3ؿ)׽VsĢh9k B_&8mˬióPMڎPIs~@ yvv']WNy T#NZFǭaُFRWǶC'/w ]L<:e=r mjݞʏﮋY"FSpe??,E+c&潺d^ZwCzIxA &BSI||(0d dÇѫ)|\/ZQ#v*Ŭv4fF$^%^RNv{ǒ]e22T&zzSڗa.Ei76u 5fn)HxW9jB(3t92ʀ@~>|#ѬC-"FzgA-Ϋv]%IYI.s#{8Nsvvfu` ܕl JE(Q'䆧 ztv+)s uajffR*ԆAi3%횗J*|++πPs܊h1Yg.h/h;53"\wmq*c9\e#M`oOb8/<8*bӽ}?065Xv5tSڀcB;`֕$#1饬z\ӑ\QR@Hjm^LRT*6X!\FJ8~iCL3wWYlx!Feމ?P!7~7LbrqkKH k>L6 ]{###pkd0Qnd0^hL%_ ;a8|!h[:j0v2ªl4śo6'eq#Yɟ?YkT{%L0,ȇsߏhE T$Z7Vq Ůrd.&G9ϭ$~MxWL7^84˓e;+ YQs[1xW\ٟcys|+!|=Q%ȹvE[sX۫5=W`mu0^Rc?cMHEyrq׮=5)a3U*iͧ$h6u3[kbs㒁JOۑ 9UnE T1͆'xoCt,6oc%"Z2=W5m[괒l}G-Xx(_tZ+6,)AP$́("xIX#]c5UF@C VܓQ"+z`g?C(B@MKˆD.lŅ@L r0w[ɞ SꉨsZ,1G*m,V9}, sFsi[&>x.I9;b>Qr!A]L)V`&['mVOSeY/:{.#UAµ"NLdWD]堿u)tLhDI/v%7)c_D55N-iDړH/BܡLRO&4#A C٨3-tn Oa}qAhWkPT:Qn 'Cqͼ> pa97]"qX Ӽgv5!1|(}b#5=sKlL[+S z@r4;\T&L>nMM7d<++Mr=JQ._ͬ6KfUiȀhgBK-0~L,|`⋲.dgp6',(<EEgB I]Bۨ7°o yH<Ae]PC<㺮7RmNsr 6QYl-w1B[- FT#:#Mۿ=u"bY{n=͉?;~*ڃ4rQž!O~)oIl-V=S%E~ n PlɦLQ=v/:|~UoSa2-L @&Xi̥!B`!DM^e62|ؘb{0)[bf+t_M?mbg)^;zգzN&+?=柖 -DV14n|4ؗQq_';'=|2~d ^|.aoFC0;s)ܖC~{E$."t6p kȽ45J' ZC6 H.Hcj-)'EY߼k۵)M%&KeUDwc4)xе&"~S'ҥjnڣsT-pCMhOfJQVFE!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ی-%T*Qd~e )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>~'KSNM\s"vav={fmLSڥp]_9&yi$r),|mhh2R*^c̢ß~+Zәމ>0T@| nL ;Uۜ./RHMªVL{ee9/({Q.NKx2bǧr!Op^d_{EdE0Öd úJnm2t 3^w:p(WeQ͜1,g6AWWa6r~4Œ0uPch-o4]s+MN/bo]7k2IiWH8Ow]E$[Jhu&lÄϛF>+,Ip½ILG4(4B?i7"D2m4jZAଁ3^x(@ed>0S6a7/'#Lr*&eȟg+@&M?pUy} o F89 t`<09BiOxn 2,[:UMeKIVMٽs]_(Ou.!-1u#3-V=GfJU!;DA~<[:-v^FitΘÉtӣO-Dcr\` b1d%]U=R|Ͱ1ywӯ72ZPeiFǺ`9 1TOEH^F+aU~ϩwڦʝ^h&[Bϥ} 9%Dpx[YX<Rȼf;+t|p/.!w[q/8EcI';ဘd\'Dvb,ȫҒ!Ɓ^kapoE#D}d:)3%2@mH8c3LUW=F$gOz(TpVP : (ۆ`S|`Ջ.(~gЎBG"8 {gk@Jp7)xO{~ڬ@$k_wD0>Jł=ugYZ  T(+W% LQuick_Sort_CostQuick_Sort_Cost.Randomised_Quick_Sortdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5־Si.oP}tH*Ge4}j`m}K5!^\J0jµ03W YX`8 4%mNR.^_s~<^n3wrnˇ6V՝ᔯ|3-XӼܬch,,V:gK%̀ˁclT|܈YbWs 4?5Y 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;+i% $Quick_Sort_CostComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! D% ]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} Ȃ&&ώ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|+ nY$Ն;XBcGMEv[`qHyw_pUY"(stPY`P,+qq^] _Ρ#V D`VrU8z]^hvP63f,e4uiBT0CaH/5Uio.!2xP.!۠0 2n&Id 1MB0lL8Xuo ]{KV}EfC;NU4q2d EP_L y ^:/rTbY$ː؋3K`"r o"2AJ@= 6}IFr7+vmjBr__:1Fg&) P|t%nh7)l!GnJ?*̆FJʹ> 46p #?)-" GפQ; gE_= >qk\YD0dsLnĖ2c{&3(fEdS Pdoغ<=؉IO0\.&U$Jcٷ7,;%J&b*FW"ka#*9EV !XW ~cMK-Dƹyd-Ջ*§goW,ܗM} x2פw\ASlP$$@qH4@xZ-qY98agګ>iCF-6}:<\]oYMoEc|Ny}R(CG :SM[&]j@4茳ʒK5V;WHkN(&s]&| vMKw _,i7FFE(7a6lr }Ԯ R* Qn:FDթ :qEEr^,xIt uhp1?iA$ QS6 4R5Lr|0IhA% xh*j'g@5UiX/YVE CٵxRD.NN:RաaqvBxrb:z]b(x7![kQdq d .LĠKM j"+Wr:J Od"+‰Gԁl ͥ"o~^:9qXhsfos51 ^2DkD#yS쾿*G H<- BQ_&wl(i^RjIJ\,:ޏvxY؆P[HTè}r ک@` $"4WO*0^n2/#,v QNuai^/z}YKe3 Oxd 9Ag\J~(|[ôCЕ5 eKكTU[E#_&SbB@IE^>)nZ<(9bu1ýLy"_PNGetck,F`ԖR2䜵7Qbh~w_h|9&3_ȪEWQuM+ P|^՗?᷍  u!dLV '\i a{=֦X4n/_U>C?^'KjUsGCk؉*{J?UNH380ɹ T.|𠳩>n[u~eJorM3Kv61t tj,R_CWwЙ1գwǯS06vXI\+B\UBlr6D}\+y?n'}(C +;rXiL}I/'1AtSbq99=tD\x$h f>0hYhL;T #nw/|OsW! 0I3<*l?ΰ;[ƚȰ6xhOۜ Gs5V0Si 8'a<@j7e{qs'`¸#G2ѱ3ط\.:+ԹXD,]@HqLG'%NqPY [f @tlݭ9>m|Xi겨@ky R=~Y~TwS[- Ri~E#gl f #32H;v=Qrt:U~wMd= ϳX\`%&&q &q!XIUs MUSn.``-1 }&q q;ŊgMrwqIfMgFz(Աt## i;4$! >̣03>d= ,=ťɦ`h&z~Ч?^3H6 7GF[BbC)O# J0ϫፚ>V"^(S7r^OUuzZY, 6쏆GSv2I厠`GBgJ<>| J^)2]m4nse \XQ*_'JC}'k;5PvVbXu \~,5 ev|3)ME{5+OPv}((lmbf_G~:q0黯ږ*@ŽMAU ŲzВjpeuwz]!>\TLB#p E0 &)[c`]ukC2M}JHMt$ǿۿ@(t3Mj߬P`DA1!F^j)( yiKqY}n8\60!損6opocN,Wr{-h,*i ׅ_ţvK1.Hx5;ꇎ<fn&g(wZL@wr$[  Bugž= Y*r gHb{]q2Wi&\x܆y!y¡(RGA&^uhKa*~[ys}r_%Ihq(V$)? .AF ߂ښj]kIDe#3p#qౡN@[R?;Y\BLu(&,dלXHnXg\'/^} Nh2F!mSdf3FL<&:;My?="NoY%. in©|D˞R'bxR` -Ty;P\kh8~.yE &$HЎr|?2'"q%AAfj-; n Qg.%4 3QŠZ0~:\1"o;J.RA}m2ԛ;+1^N]6DMe`JqKiY:i4aUUXk=vC@>R҂ *3\ކлE5-5'Eyj PqL=:\ @7:yymRqц\i8`:4?d;ozԗwg&h+W8!(~Ui = ^ h=V%㵓jA'%F5DХ sD0V/%+@ythV??s|x:cKGB'2r v=."|a/FiE $1 f) L  7 zy0!д?o dy*c|~N4ً!.vSA3ʄv.1!(ΏD@B>\FqCg[V fts"tŚz5N-y^8# eK]WA0FPZvktH1̥۠'#tNgl ?h\g ѻ)H cp "FeK^F;5[2GZӂ pd% XciD8}MngIH|Ia| gmzndVi=NJ=,95i׈G|ŀ mQxu@#xl2U/\0lﭴsEEK%O@fG[wsЉGM^N;|ګ\lGG-GxXĴT^\WR={+PrUA\5I q&q Hk.986s/@R!lVꑺ[5LPγQѲ ]ך-là9A2S"aqHs|/F:2Uqj|T>63 `"8GU^^R٠:HQ<kb+8MfpxS#+]+\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 A,хl-s4vW$ ς 'Uxٹ89N1zDS~}$]K ۤۉ"l}V#GEjD8ib|ǡׂ\W;x@i}znLfdكC@ߌɵ"? @z;ϔTPm-n^K2{7a\gr 1;b:gUy 0< "J 6ipQ{nx Ď12NFxU׀7DQ\"Ej_HH9OzZOHs ؝K"t hb~eLT!#Z b }8mQ#ȀL; 8ջC^'8gUqXffTr "+3c^,~[h+W[SqFX‘l>D%vrVrhec?z =m;t -ۛɊo:43YM ʛk*#{ C\3Omol>/ތ#uc(?+}" dTV4+{mT31A\ƶ"N+9^c 悡A;+P:/UeT\i8 G+AˢيYjAF/~4Rǯ©J۟`[g-UQbCͰcB@V%Dgt. d5uzin:y0%vCȟN*WꆙG& XÐԺV|n#U As`|lwF @*=9ǡ߷DJ?':*Wa{FkcTFyDUY8~%CXM!I6Ȍi2L umvԴ:=]C]>.Ed;`~>!`mKQ5b6Y$& 7/_J{ ?5b?!37 %m D  l|_$I>. >^?!)k6gYZ   +[% 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.it46u+DXizoT+7% DQuick_Sort_CostList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]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 :`+A% TQuick_Sort_CostLandau_Symbols.Landau_Moredocument.tex7zXZִF! Dg]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*+yH>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZ)Ԙ=8g{ 7|}k:ܔWq2"!-32hs]x>uSw;hSE|,yˆ}D&ya[: Yqچ8bDOѕa *PyTQ*"{E5Q^eP䙶lVo!^B>%`PIqq-bcSC{> Д ^ucX1>W\P@E5[W'*K ,;ošmY;6lzɘ箑ySG?I|Xo8jE%Tke\ tE5P} x>rЛ9_s3#W"]k!jMQjq|CgnykǮC3Bdr wE^Zg97D~t@Nē䝠N{->;Gx;A-@R"Ą5OIn~$9ބdF :5؇1 fyJM#\Q{(YIp܍=}ts̟]lLQ$ormoϮV"iwuNwCAr~n` \[l!s{IQ`O}8} q]E@^z浢*>@ {崱q&ZA'r1:(:ᡏ׏a·-ge#9w` :4x2/E~so=;?pjZ4]A{caSەYo KtW7 03gSwGD:WNn5HsԍՐZͬ{B|e[PxMGR-آ \PM| tz47Yk=2sMzv;nf>%TlL,Jvxd6@(s$Vvfdye?*hQ??pvqe+\Ms} %&̼_KMŸZrxqɠTZ9q+U^=3$5]%9m<'h~5XNJ&K;4p5F"aYp#V{9K2&%Idj'#x8O_ןų",V+*rv}8NJѝ[g+B>ͤG>G[/q`/; :` ~&smsSe Bz.3+G L jȏ{uob5l&{蛬`us/x 1.x>qCmPum?i43N~H Q2FD[?qIL!<Sܙeb7!_(LkS 'nײV2-:5]qvÓ#v=*l t ?+{Fӈq>g &#Kh^$@+(Yc6/zju<6d*s.NHS#JE|;lxt;s%JH}"t"m2ý[s5i)B:74r/`'rʒ ӈv>+&y-cYeXGFF}5$Nͼ\I`_!VUUי2LajFZX0WA%{p/{cIOQۉZdmr@N SgD!GuttFaR2b fvt7 :\ K{&0A^Vu WG>/>Cj(f:BGk)|ٻ#MD!O|wҾ eڙOCunP_M6͞LzF)=t/;&ʤe6rw(q<ښtŒp+Ĺ>{S Yu, d4W;7'! Zq=w[(~צ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.v]`=2f%hFZy"ZtʇS8#;+r\5՜S>9Q!_>qU|Q?xϹ8RbYcڂDJz> h @ ۻ| 8Tp^M[e?CU]x@^9+57 /EW1~W\Ȩ7@ U˟E:RO33j7|,8"Z7)2ik%*rj.fcښjx$x3}DE*7 mGO <عsN3{-gXoOb_8ڛ?J\?.%QN( .mNDŽl6v}q]B?DwުQjGfʌ,zJds)F)/CLG.rx8#?o-gvl0F<$ôWRPZ Ir[E-EhU@Gƌ}yYa/?[](مxb][k얟a15"2:fP̠$QOv~߾kwHU'YJb>V=5DE'vOY\5,=N׿(8 .A= ,Xs{vYر2+<..&KLJ/,g7fe#!SPfS\*}VdH6ғ78~A2Y{ cBg/3F{te豋$n#+DhJI~xTFҮO4,8_nTsdLq fmӮ9:}v x W#QB~_ Y3aO0\1U1Pӻ-1F*LFP~A59a)__m;oo, 6!r @-^M5Eэ10s;ВzV` vOkqaAY-י0UҠnʫʆJV!P*2\x$+rJ?(u fA褟o|DAA!pE0<2A|gYZ  +I% (};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= UЩ2; HZ zh pxDY:Yim.Z?ab*}r ik,[jMQ*5/НHaSBMW/vgjFB9 ^K S#,`: VWepw&wƅ,ԱW84PDߞCFO&}JyaOÝt Qnw9 (='ޯZ2N}l ʌ<ԛFREO)hrBI]YЖ^ ן=uOh hjqdP<D!~LPDڝJ-0bd4(BJLfD_9q;ςi3f\Ȓc''ɴ﨩e磥1^"hG`rY$slz{[Wl;DWskqֽk}7pgm)[{ L8p q?B\"ϯ JY`D ^! %0i;^j(t߭.B>$Ʀ'GBĄ(LޚSĒhr'2u>Včǥ4ե6 @xP;צsVc*U6ȰR <( qP)--N`8ly_^fޏ (m[WgydV:rPaV-kaƙ8ʼn;;.@o&0jc2XByjfZ&My[qٚ@ߐ̞N: :垫 1'Hp>9} ܹȓ5VL<2 KS5=P|Ԙl:|9ݽGECuy5?梪gn 9M[*|;q@CCSyž<չ"JXT؝Ӓ@q145?~ѳ?Y+_ ,$S=@C:O,/y4F:؟ "Hrҏ1"Ms %bjJ cE3bLֳ(Żt`ֲwn%kts”>d{T%c|9{J8Z9rDu~u"Uq?b& m6rywm!"gUI],Vfq!7Ҍ<Rz$" RSBe[_V9~1j'۬*FKRaD[4jђVK22*͆qU.PXh2I @fT4MH-2+@gnq CÊM>Els%H^q=m1^xg9DFQ'~M!x[^]-\JH-,LU/xway\]N%.s15̥CJPW sah@m<_!%/QxHW8+>͜{^7+2R`=\ ˂ vVGՈ6ˁ^;0)fRƨ$-/u$E.]baf7 52&<2BH0Z8qiJ$H?Q x:tE7g>$CpJa H׻,i4y} 0Wr'OiI1ERg䨚<}6K'%?- H.ƎyJ=lC ᔾ5=D3*Sq;W4=?aHWE#fj&4tiloMXWGtyNnOE=FFS>TOo ;,=tƧ:_0p'VྊfgxG Qa~MW7SQ3 fxa3 (_sE~- AHM~q@1e.tí]o7*/Gj{Т L#FLj\v+u`]K|t!vGqLO-{q9Fqb=a,`e.un,Fs5c00_71t 7p!Yrм&vgGГ2iqf>|m0f <{ Qm_]'pWTS]$,WN#QL,}o0Á++V-(2. m2>`l sV}@BIFg8L!w]"y Idx'.$!Ϸαv3`l;SiW~(Q,"s-7b v8|9F᠀#Z~i(-|6 ?Imj.iGSUfCЙHqk:Q*Roxi͵TspK$kFQH:m`]O*O r'RF.ͷ "+WN5w+wRpM5v^MK9Kڸq;/2IkV.0TN:n #FUG2 P~AQ3>pzSnQy6mTANZWb?m(}v9W>Pc,%hgK ~o1Nh<;eAB ʙZ Յ$N<6vBUeZrOnҎ򬑻ol8CAmW. 7u= rԼ!q#4-f5+,KO_Y/Ԟ!ZD4E xvC?/P!Pz1 X[^п0s[Y,M)f϶jD\jcuEjQgA B-}ȭxzTOzAҊ zS'Eɤͦ2leO+NyNg* /ө$@fᯧ')O)@sb_ʞ4!?v.;]!aѺ"Yrm17Oȿ }$V:)cݠ#<1I¾ ~ram\c*=51u Q؈eQعXa^-xz|U[Q [^mIPf >!? r47\!XJmPu~Y>~;Q.]o;(Xs{7XzW@!^8j-k=B!p͍DM@ItDOEQ@LC|x7ծZI04ђ D $e"ӱgYZ 22K +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=