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 T1zL.p؊WUL>.P)hڻUl+p1ǦnЎs.g !IّC.;Ж|ULCa j574(aÊHh*GZhl*M o""I| " ×,Cjh]ԯN$ +>Ŭv-52(D#0$DfbiQ l  Y?c'EWۮ:11rP~UIsڦ匇E6VVG }_̨!YT[#>cIB  vVbX];{ké] R|^\mޙQ&kĖ7h6A7J]ep,l?:]p%ݯ>LU +#O39qż6[j:BA8:Mٴs`M_/XGԱF(j4 !:;D-{h7q6m)7_ 4qEZEp{[!"P"!-{ ( =#4Nmt`̰4Tz7]9dVX,\h=?> z!5A7m8da:e=pW. &aT)ȼfWLf1 ̐k:} efzc REluѶQ7M"0ÒWLr vg"kaS8KPPj˟DF!6:XD h~"j:*3S[Ŧ?'׼kvܓ/`ϛɵ5KXX r$1d U5;eåw92M>%53k^6y}wcqx㣛xţLͥ$Q*V_3O6Ό$hsXN$M IGM4ol|u_݊*Fl9 XJw\JwLm?8/!B*:h@+( @,JXo=2Fv?TS} h? iq]PaR\%mF )J!p2y™L #yۍ1&ʁ墤<^3Dgs>cP05WQ L3%P&Im` "O\UgQ$h {j\χ9A|k)#*n2wSTeMe4&l).Pߧi AmbID˯UoGYi7౏$!5?ryMh\6Ф;Msb>jM5,z IS?O*ZE':&mqFtFV u{1pt V+6_i!XPbw*Z0:T$X>*e4ʃ}bj2>iFlBnCm[piûR=qf"fm"d@B}0Y_@KEy_${AwV[_ #L۷L'̬v_KrMof(~K0.>I1#@} p$m' M˃0|3D B)7I~O |&ZSP6J݂^&M/gY:<W?Ė}[e" PrM,_*ò׽D@|uҀH8o2Yr 4GB"U^9+0V}&IlFAZĿ(s:mdoQ\4\|V-?B){n1$vHdE Ͳ_w'0gHme*TY;,%Hv*TWZ*wMOs[-L/鰊)YÎJW#iҼB: 9U2>[K֪o6dQH@L̸"Q£F3e!|yzgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ֏8;'r6@It>NyD${,.ZT>foDf(G8ZV#hLu0Dh%>Nw 'ZDa£{*n,j;3D*^KMPrEPtsf[O6}l!t ﰁ]%W@MNJI}1a: LM5nWLKy6TN5At%q(u NHhCN*Qؙu+[]:< 09f.rH,iE`J( 1 Root_Balanced_Tree+1_% DRoot_Balanced_TreeAmortized_Complexity.Amortized_Framework0document.tex7zXZִF! ]A-MՋhvG"uIBm5~h}^"vODlX:aϔ>%#|yWz^)+(y.bËTXkT ^GUO1׏1eI/@ 25PS0uW}v` kT]@d/G6sq3䘚dN.`p}RHW"I\Wb*DL,X>ULojohIDg*Hpi>փn5s{..|V8!0smv س+-}LBDM_KG[JknCR='w?l3=Q.u_]8&!-E^@:u.`/ޡ8 lmDB_V_ZʊA*<;Wf;%}Tg!ݓӭ/mbZ&KCY[?l^q@)@$s!8yHÿ"wϖF\NP:2A6ٍڟsܟŒԃ遨{73D-6,])?/Fz@X55>Xm)(?`,4v{.Ý,38ĄE 3c2ՀU$7ZDCrq^}$S[lC7vMؑ IE bwIw)'[nᛌą&VT9흩}fŷob~ Ȳ" +@ N-|_nk5 .ߘ OY6y^+F>|k"tZt*b 1oЪ{5V |2E-*o t(%ƄHBVү1 UX?ӁVlT̲CVPin WZeҫT[.L*T'E.⇋/YY/jظznnQڡ}[ˢ jYr%#*@ܫk`N B?_jjCJa~JVy4e'NSd 9*YDJv6|3*6Y>/ٜsކ{?izieVȒ 1N]S}3̖<]'F>\p~`Q88ťGN)Md:e~d~>F]JXq7DQ LUxI^( *ٞv-".gU|;N|X+rQ\' &:dG1hqiXF&v[n۫wB*}邱7V˟{M+31p$w& W,wfs..ˉL{F U_7O0=}=wfZ su0Bz V…JfmJ'D $_^n=cSF2$<9RDqA #$WF`pZ,%$h)i4Dpm[p[nfN[m6cT?f̷;@HbL|A:JQ9w3NX͐e)R"S|]Rtu+- @` 4lTl*$ɷR`N5~:ISݐ编ҍ~QfYJzzq5SHYegF0KLnh]*aԎ=OB )˒AkP<*w+;aqM^ѝb{G~15PK@s\ VphCm8k%[}?4[fD .ZcutJXr }ɗ-kd[ O-h7C!!9 .An.S:dR   3i  EO $ 3  K1[%Root_Balanced_TreeHOL-Decision_Procs.Approximation_Boundsdocument.tex?1C%Root_Balanced_TreeHOL-Data_Structures.Balancedocument.tex I1W%Root_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Treedocument.tex ;1;%Root_Balanced_TreeHOL-Data_Structures.Cmpdocument.tex B1I%Root_Balanced_TreeHOL-Data_Structures.Less_Falsedocument.tex A1G%Root_Balanced_TreeRoot_Balanced_Tree.Time_Monaddocument.tex C1K%Root_Balanced_TreeHOL-Data_Structures.Sorted_Lessdocument.tex@1E%Root_Balanced_TreeHOL-Data_Structures.Tree_Setdocument.texA1G%Root_Balanced_TreeHOL-Data_Structures.Set_Specsdocument.texM1_%Root_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Tree_Tabdocument.texD1M%Root_Balanced_TreeHOL-Data_Structures.List_Ins_Deldocument.texD1M%Root_Balanced_TreeHOL-Decision_Procs.Approximationdocument.texM1_%Root_Balanced_TreeAmortized_Complexity.Amortized_Framework0document.texH1W% Root_Balanced_TreeHOL-Decision_Procs.Dense_Linear_Orderdocument.texlCњ(XP|87=d1Żz\,3p)^>˯q7ڀZ ,w&ӈBfo љd܅uhB8t:bFe&]V6/(<{ecGP`QJ !ؑ@PddiCq;J8+㏯;FR&\p>ڻc w\Vb;.X5.qbM*̕e[Gk"LEXG 3N*0bv 3N 00O\"dG2Ošeq .Ga[_.7~2cғGqֲ~৿AblUB8c:fPYՠng /_׎Hj GElaN|!i: 9ԏeI"/ɥiρpB5ڗU`QԼ%ub^k&d1HLRǺ >V&$?*\lK'v;hw162c:od,mmg5IB120EZk9 gXR^tLg.ԫ+y6:ƙوZhrϘI&B#-#櫥tq}qҦ\m~ы¶j)oSX ze,C/#m4dխ aOxsKaʜ88 wdn#i2,N/$f6t%I Sr`'N=}@UUIlIh\MVJ0||HܖnIp#tc4):E vLT+ԙJUZ揨'})c?S6]xN ak/QBӼ })QKP&"qgqkN#!u͹],%%+%ڒ~zD1I-Qpj?͎jb:AG3MD^0zA|(@%-) Sq:K^K6a#}OfCxqķz.Y*4q)x5t i a3+!9<~oȅ5t ed%d ׺.`4Dz!3/ZOfbs40~ * ,+T?ӁL׿*LnPmS;-DD^S3E$OGWks`=¿y4TS T7KgpUpyhl 6xeM0WUbH7WPrp8qn,<cÊ6i.kKjh %}}<:DHA>_硬9i:r5Ouon<29:O=&4ʀU4es@Ba2.L݇4V&*_g|؀IϐKS6Ty|̡}*PdJ؄uUcI0+KH"=Z,O`=sdd4z~w6V=N-n)lw&;-}oޤO>q'<T:7f pEO5\W6G. >uLhzZB~/Imw+\4k9XlWڮwTVm4"l 4Bn2!¸}l^։h6^7:UQU pZc@͔= ;q8ʆQW45v{n3U3.7ZN^cF|`c&^,7V՟<]Jv%,;Җө-aY˒/ե$xyU:F(;Wx~bׇ>x/- ;y _5D %@ xOܞZ`^ޡaQ_ |v1n.)uQv(vj Ќ,(V̖!Nլ%+@u__(o #R\dFkI`(7v  t*-\ V*pg Mo4UG? )q=ZOali@&rqTy4y~h"^I]q /ʴE/M~|Xp>kh[CVl &1D>lcnUi3 3Qؙdu |kGĝ#hlG^`y'6i2uL(gw$:m!) e "?Ex5bE/忢UϤ!9P9BwhSQ"ȨK<r/DZA!!4j5bsXQ[_?ͫ*8^8+՚m Y;E41#$8G1&Ş֭h[[FYXSYQˋ?@$P*X.s PVİ7;rC8iY}?o˫\^+ye\1qq5]y@K^. KJr([w>"n|hn0|b+׉hC$'7-}_DDxHv5&0*4)xI\q>K[B+ CQ+v;wI?MUJasąDUD6H 'x cQ~j#.:Zp:e1 UNY-`N/7|:f!bqO>j*(*F˟0|6pB /#k-YBo)vӣc+ӈJ 24Z6& ŧ2U=^+ r1tf;!^'X1>E}?}n6Ɍ=(̫*xx c6ݢ;(ͯ.=]42jeXPsb&AZR23]YL'p ''ɔjm٦VbWCF@"*/F nOVg=T #K0v#: +h7؝V}l$Lo׃g`a/ad7u>m)Sm{PDo֦&xNC'`.Q2NկQ8C,kO> S*auć,OO n2bX w]x`V} |D{ŧ3@=Ogt7d3 @KַsqGe1cWE +ܪOm@&,n Nb/,?/Cw-0 5a/DOeEO[_)ru@'Rr}g覔 ~xj;_i %g3sTnf7Իŕ@ʖtPc׭* E#i m8~.mX$=*tN_v_OJhkN(jD9dykzP_e%?5q2#A23|ю>ueSL1P-53çy wZ]hĢ0ԑ,3ڐ!f劣ճUg.Թ;8jA@0g .o *X,~|T't!mJ}\ռw\YoC);D2x5WnQ5sAa` n$yA *9 cYi+vZͥu( G?lr`ﵡcThC$GFdj!5ѳ`'tf¤E HD>׉1&S-'dm [&Quq #imfרɟl 1 +2 \┾ɛvZw'+JtX1ޓ$ErY]l u7.ck%6&2VV˘P߫BE/N}rhlpQF+ޞ ptCyb2'v9qaᴱnZ QOB=- Ήj;/n_Q1N;YsU 4?`?_Px47Ēۢay(Nx ynD@F>8z+e|l xr k⎑'I]֠oEA_w1b#5ӥ۷g(EpWى iPoCwR a@rɞFlS-trPIfxS-JJul~Ȕr<J2Rw20i. :kC V$;jJZ&x^٠a;QuYenN3qHӏ #c?;8نUԏ;!KK JhPӖ+_Dވ=[HMYr N \ow[5"04Κi6]2yG~ub`v:T33~CVK鷫2ՕS:jG';s.Ov|AX9~ݷJ8l6E`qν e[ՒuJGlWh BcOO5wRxS[j،\Z^:OUzؒ}ASo\ȁGTKI\>vxVbXJ1^|SWP1jEνii[(.5nG>ښXNy%Ǎ&ac/NX:䇝m-rS>HvZEm9#_3_4ۋ ?UkQvf}&8y^8y`Ei5Ԑ~_ 8eoS"?`嘶<㐏Xbͬc0kE? -*O/8RJ?{S2؄~Δ?f+8`7^vfKj Ӽg[5+i{v(qDՔxcW7}5k{m˼ۣI._M1qdkq+ۉwPg&-qhStђ+0^k$M!2|1K.r;4(*a}kdȩ Ttalf_&pbzJ]Zu00 pRJiQU ˬ$yB|"w] eI@5{C7mj< ?e/lj%LlՇNJVPDBbK=*zt= dž2G]KUrQE*D2pMi0r\J}7BbٺN(glotTTPZEF$aOVKiAx8OA +rXԸ!PfB9>qwazp 8Ƭmeepmleڃsznsg;.wS&&˻Uoa] m )حb·dQ--gg? H2nM1S u/9$|EOw`p?#4&eڔa9(R/0vK7f X%jfhv$[X̘n')E,#; #™ Oɟn@׽n6kecVemw0pBj~QEePRgTMh#tCcPfz2cBfuTit?®xÄt>MS$WRH)b_PAuAh16KfXQ+eFP>jk9 |(ۮKJ{2|0nzhXq(dUS ~M}8$5|j7<|~WǺB{SlUCCR.a xorF7˸DZ:Uze̳QsY gmH:N9A<ϵ[kS,^ȸ@:[0aҹەk;' |}u _~@NO\^O}F^< -Q#6~ ڋZ =!yaSOʳSubN.ٔlrJ1X.&ⲊD TgU.Wfa6םNS g,pb՜A^w*ƅqHۀI%61%m2=fӲ I)"]'{rW}Q[2p;mskXҹtm7<"xC) %=a½oMRnf=|n-hx*VVVI&kaP.{ 6}=# ,HYCW4kF35).;@/8u/]Z o4y41&TJ17)mqjwyEщ*p 6,ZmS![2䫫%7TdЋ_єF?. o]~0 Q*QaWVesdZ 9;, fa EAryxwS1I+KI Qc# \ʵ7^ ![r~Ɩ5rlK2} M~!m}N i*4-.å?LVB둹8kdh1V i:iw8hDEW0E9>Hg}QluέȻ*dJiq@{Rʅ!F-v^:+T9yy٫@:(K%D~apCiY&!nc}N`l0vzh6)[+$t|"Il'|J2lU%/):SQ3ѷm c!@L(4ΌP  yZE[rjg/A$yd}<`k@e6`S + گڇ͚Ԋ(ee<ٹx]b̀5cE3Z^]mϜܦf4B(67Za5u9q_"=K? .\&N0~;%Ҡ=?;*z.vGΡG'|P['35#᷂o}CV?ܴ)dꨧ)t^Lnqr.n&6tov{wWdwQI^AJy)ȬG{_UrЕB~s"HOˊlBigYZA|CGEAo=)U¬EqXUuLF{4G&91I COɤDձesٔ~]߮x"3H 8so+3-Q3N@Vnb!sxF9hKDI:S gV 4.w=$qy l]Ws5NjQ-S!n'P359dj dH3Kn`=aItѲ~փI~u#=UҳQ($onD;X&U!/ pey;Ap1o'sd;'X  0W=A 냰 Zt񓬏0Ock> /qĘ(u5`4F,!>}~Wy4hr!cs4:v\WazEʮx#wfN/]w=^GA>mwx?ҍ\__W`# F% y'*wW)wIʱ +~&;sn1vZSu4TZQYYbּ2ky[xKRcja#Y62*fb-RI kD|[\NC0u2I@a v5iUPŽ͉f"~*@BВv"̧SG+!8a5S v qPrTg/g:AMcڶt%2hsFlU##O̤N5/`#s!Fd)ݩYeŨ >IdKou|ٵb+Q87]e9W#5]rRSD&OC:W6юtaVGnfmhEǜD262$\7:#`i*Y J2}]H]@© g>bŸ; G;d1 ZMaʈt^U lPM!/*ƯoҜQ:C^ @@?фDp[|8=jf{z-Ә? GK`%i seCq㮺2's)]vbT$c5R]};q G}5D9b]^7t묟@OZa`["U5n4YQjiq'*!%+cgIgI6T ۊHEMbY6'AS+^a=W~{/GQS@3T0Ƌ̱Sl<,.R !lƕdꓼ 3Ў8"Րk+P|/PfŻ_:tDf ~]!)a\h6g+v`C?iLUw]EIВڷ5j0!_EwRH^Yލ*SȮm?zF84l/">tjjǎA!%D+E(GmPc`av.{[f]ԖU-{ScP[ Cȑh O7J2p?œYYC]WEGeb%SJV)sFl4KZz|OT+C[7ϝ\^__pyVV^! `A@ K<3ЫzKƾ?<+o|I HxŴvHz}N@3xjAmfN5c<3TػInU9f%R%τ-ڲiZ%};0AN; vA12;?y>vXvXHvJ l%YqIv_1,)Zg/H+l"6o\!'䭅 'I*OuZؘIg)#@Tv <`&`! 8@/xrhs &>ڠn0>YY<3Thx|Ƿ+R-^=J:-[ dۣcagk phw2:Kg[{Lrt DJ4}=P,k'.._dyPRҨwp]RsLD;̳oz KW57\Pm,F]cѮ~'fP6TΧa51~B-d/u?,?OvH|Kn #7GS1#^'M?~ d(=u)nM)ԩGykCwxt1C:AN+O5pm'0^b|72'&5yBlIZ֨MhSHozW0,[_~ϒfusMZ URehD쎣e,RƓ}0Mg m@EC3/5PJ{jB?e8\i{KiO G\7F3c)z٦hTJ޼PQ6@˘^3D*'LQ,zxq :E{7L+R_rd((= /~8NeYaRV8g< {Bf3-whF5V(yc{]ɻS*؆HAt oՅ$kvNy3]̌=&T47`[_Eq7TL mPJX%1Z_G1)GC;>@fd2Gf;ӣSY% ^{FG3Ge쪞}U;= L6)&PL`bF7v7.P.$i?Ri'"vy]5ӣܚ]=إ; {P*4/ef=S?e)eAͳvRC:?Nmc kfzɔ<>O"`t b@wG)&~[f֯6Y@ CS{1o˿lA'K,-mZ`:-l]Acd&(T#aAM`aaM==┕zsD駱|Hj@ :IPDtDdzI[1(%5܀I õEed>`g',2֣5[ϑ30| : (t d&IWL^Ԯ-Gs̷:3:ƒN E 5L/}Pn2m<n_hZ/1|aT&f`Y)7 6Faf&GjoU*i&] W1˒_AlCeՂ FNp?c衎x6%Б03'0^X(*_i7ndp:rc*v͞|zdL;Vb_|}pSȑb8j@OHC4_w{#Ul.5`ƈX\g`v26'e5Kmw>qtM(Ymb,Z[U69j= >a$ƹau̠/жr@ xs:%N20itܢ-H)'&Hυa0O :Gkr ^McZI$UXiORZ6\ 4OJJ0Nç/iΐg?E(i@ C][gpgisۛ#g]e<ۋqtWq'F8<-h:)YslCQ -͐=gYZ 6 X3"Cjl{/" F9G/+Ĵl+&.&"$e1ZYy:k˳"V"j@7i:R{3ϲR)}ܰ#ggg~kc"ʩc%\~T"7%veZ^K eq9ӼR+({76?(ӿ|0CV cTrcDh Un)嬫;ëB&s"w uՑQ>a#FYF*N0|hN5!qX ןKr)4˷ߣ5_lsb${P)}I>\ʭ#}\skva& ʦ4kf曠DsHXw:9Q7QXC#d!|q'w&th ]!(*=ՙтrhvw껩<$KIP*˄i=,?e<7OBUj,6nhGL?pɻ;pj]9V~QC0MhvWbBjb?Zi9-JjNQym]f0بsMx̝jHx8235L\=xaG{ l<kǜ&65Q7xӮpx֋ 48g ȶ$ f6Y[>E U@j E_I]{}h(_۩qMjYp3K@qTHk^MɽcȆwdAHPU}oפ="e)'^l4a呅T ;c#='y'c)2e֪9oKbI:BeY2<{bg3m>X`*QC@~[kOȣ,.$K,BsR ꧥ<1M'6 ~90|J?6LeO0#S^C9c7TC IɌȹ'ސ1B\HT?nY&=C-;Vú{ #s7z% L3 lJRD{~*PDٟ ]Iu,Nj}%C­V" dSJ F(o}~9\9/5 -̌_gdB<D\ft=;o 6s3cѤX."cCp>yI œ"n@go\.>13 6g$lC%K^r3c:)[gnw+MR}VWx3j9ݛ/;q@b1¾S8NiT ߠ,4DmgͲ]E21?ޖ<gwn D*$*N6% 5žElO5tC5rIV6 UO`_D}ak^YGTޛY fcE(Xv<Յ8m 췀F{o\k ٺ!;sKZ{TW2hZ2QܤM!DY QR!YGqG ~_nn17ֺ-1ߎ_JOw"wQE5fC \!sݷ+ L`3c?x\ĎaU_z²kmԯ_'e VzhxOeZ3uf>4``٠WLHX`[6t7,t>kx1K*!MfW.Rp`Uґ9Jo][<&S3Q'm/%.; L 7 6sOۧuBҮ+åDG7#%ueE9-ЁKhdfP]2AJ[7Y(xTkYWׯ}xU{w1{:F0?ἂ$16ڳqZ~Fܿ]gr.5%>5L%(p3dFNRI+!n#Jjobϡ֎z,0+IA엇T6$QX3ړ8Ȑ=3rUn*9;*EawI)e|@"9~L\8gJ%WgAkl!crBJwV UX_'X&Pu$ҫ[udUP>jLz96uDB"gi6l?@9cc8o'M;5?TK&H>?l[c 0]`Bu Drt~\so|&'ok *ա`V P/w(HE~f~ϠT 9 brۤh)ӋdHH+.Hi۱xN؋nJ>33؜,LuDt:IYֈyͩpg.5oТZV*O5HFhyqU; !Aj/=,Foft95G.O E=·ݏem`^;`K:G8Xb.G ,2Y-Л;qVLGl!mK39%èhdͮ;=B$^܀G`}'Z|6 ڎfj6?ն͊&WsQ[[Cr녔L&l"d'J0d¾51fs_8;buiLAa<8j=‘[>ѶʹX&G6/QS$O׏(^-b*)gC@$@]~g,?N~&ÉI>pkU^䋵M z O)00hOBfV>dCTC&_ل٧Nz0 mi~xxLh6%$Q.2̗JrBБ:rGY;.x(wJ_qu 5et\]Fl+l*wDkJ&]z |s_BR:G/t8y9.3sGRQ ?`5Fx,7fEWI?H!'tߟz5A)nJ: l@ԧ ?h}xNJ;)|ÀSʛgºXOzzx'}wP.*сrPYP":^ Kc96eVo"/$3eGTzaI]XcG\0:1_?,D\_@R~kS'V(Y'p',z$dB@,A+jP&(\ܫ½ð6A3:B:UwL*;ꦝ{T$jOG`F|g^pȱKHE^NVJfM+۸oAwf{Ug!fԒ! CIO Lg,=Irc>e(o#Xrd jl-Z[^fyN@gf@9yu}rј<տTG`8SpQoNn(o$lfW$Q HE 5BeҠI̞a&eQ.7 ÔTC l{~rb6,J?B!:n_Rc5*|٫hW|j>&Z0r@e4(#M,[0fp^OMo8-4 d FDVgmP8;!Qs^_`3j^4e5.ռд.Hk-–h+:`cGYgOuEQxoo$#cPG m~&!3}PoOvX )pC O (; !a)ұ~LXtCn-8bE@lÊZ-y)Puյ*юγ_)n*+U !R G v퀷S*4PߏU%~ݠ0Ϛ)bT/9GDi`wcE+ k5)hѓT&D/H\dn=H5so%=C,+"A -v$$U}HWT*J$"fŪ*e ~Oꕃ* ..8 ]ʔ($|[ l.25i{|gc?Ӷ #Y+F+ W bQ U1_9qξM1rk:-vEg }דtd<£fHbمrG2Tg'ms>O5BU2T[dizֻ8@^뉲0p\#Q Ŋ36Z\^l)Y-urwŭw99&+\ @%P$F/J?k}C-䥬A, 9ه|ԣw[fOqee8 +" )eken a7 !(a›)]P7QFpZI͸?sRE~z==x0>p, SBRN:85=0\.{=BwƊ3UGkgn#i`|stq6Q.7#W?_Z& Ӯduf/CWv,m(pGSr6F4NHtth)Hmц]ñ2跞?%p|uSdJkiIyoy2B칼iw. ncn>llΊVY{HAt!MKv. bI8!P#q* Dx0瓊@(?Ty_A۲~6_%PaђI$ڐl%*,Gױ_%[+M+Κ +k/F슬׽GŔW\}ہ`͛R:j%UFj^uꚹePcU8&X1/[/8𱉌xFM a QAF4|e.JI|+:C:|a aA_mNʓ6 Au58hy$- f7r[2e(LM gف|!9hCuP&9 LTL3X[?BT%4[;+و!-mGdmtFUVvl:^qZ\P8 Qp%2}jx<XYe!_x10KTA@T `$^ za_ԿiD4/Kʅsh$ %fé79 3̊v2mdl9$2u?Q:;="wǭb&%wK8a@i!<w>C/qކ"+BNhJH9^OVb޷fbd#C]N%h]?x*ZA;GGyQ g'Fnz>m͚3rg%=-=aM a;UKa'TqPvoY>sk|GۈS:yd:^&ir\wV"g)Vt9lC_8",HM2M;'KC״b̈[U!iKF .(: ^`ZqB0Hl\~|֡=0騷@n`ʟ"LD6Ov e`SO֊R4W{qNQ~qܚs/ĩȮ #5$*G :tT;ů8[}?P&{y*?+37(MM8Cߡi"V`<:~dbvYu4xiDHy_Gjmyʐ_R ɋ'ͮT uZiG!W}֐%gi/;k>Rre&󁞋 OD>'#z[ 8nD˴uR/%|9ߍח {E/o@}\4 7d>G1ن)R7Z "N8~\&_hPOɑ\6#[GԪY|'5S֌eߚ.Z|%:b, eY({i LX5آGYf%a>m2b@Cz4/PSYbVY׃ߊ,_q0$41kݲzO_gq!wԠJ ,_u*Da7yn7 t"cczMw3 hA <۾Sa)u\A3$<\#bǩ* As,A)VDkàgToAȂ= khnP<`=v[Q'wmV} 5tS&+I+"!}H{CaWUd5W5.$aQG xOl`x;5vyu@X)^2t*giZT*P` ܅ 6OӶwi+>2.{XS(;g_ðFa) 9꼦FpMܶh[Oak0.XI2a="\d{jy􅘱/b!ռhA΍2]pmcy0\4 0-F89~ lM (w{^F\ʁm"68k~ʙC%P/~; 9$pEX\cɬL~KIk_goCrQV )6:!f_|ϳ2LR!t_;=ˤTK1\CP@9ߩf H8|_&ѯ]R^t[;Xz`33oqX"(w!x$v|f"Az(+ Rmj^%P2UpAdVd9:gg$ւYkrBF"&*p OVUItgzE63dkxȇ\}!Cfq`[2KD.d쳖BwKi5 )$~͠G٦2]"{0+N{E9 ipqWHX1 .ǹF9K@(?bm8 pIc?Bv:fC vfT HWq@Y2l T9,d@" {Zl5+ lEAhT}2g=ǯcWj*_@* 8`0]Y,eZO|)m)ڌ6M E$ &`-NS-M`6%'5g8|eaܰ쳆#B +8#"_&}n jG e; xP$5$:5ar|b߭W4c<]>6tcVYd}#nf6g|P$Ua7h{Ī]z+,N~4 |ά &Z7_vSe2%FUwW7fqh/5IׅԡpGWqA{ Qi@5{ne 9ڷv-ܳ;EBY"IMqa(=sڣBZvZ8%AWaߡ˞!~*6@$aP9I=3`Vpk@YA ? yM9cGש\r/JCƸw[2ő9H\wZp<"|. m' ۴虶;UMnU>Ύ!X8vC:q[b5Q΄N+@L9iHy-Ϣ{; Qr6n*Ty|^&5do0Ye{L[JCp9@U`ʍuT ȅ)z9#4YT3]ݐ/$($~`m L "u\zT % Lfsw :{ULFq)~)_: t-c|8'7J=Z aJnks_ӊ".i& Oǚ~B2ZfmdXN* AX!zc#ӰyM}["~Zy@ۼ> Ik?(T+%bchBBU;%.MIgI@%bF`Q@I5(jFH.c!<66c_VW#C_Nzҗt-z`uێAL1;k^Gwj'G^jʯ#]A‡IoBVv}3 I;|fP4gJZs`"ttBÍW)E*PTQD<%V< T#Nc);WCyZ~t.zax|Lfi\y5@(?IӍثLneDH.!7!~ZҲܗD(-5xO WVf9y }gB`*?m~L .dk&ŭ?@D0fnըR^Hk1"m>qGbY_DL"!vxόQ 8<ǯ&6HZ`3$˴6Y܂cW*u0+~hG%qrHR)BVA:ӥQ[X G@:g \<*;˅7P\"ôw(TkZ4{iro6Ks`ޤ񷴟tBoTQBgTKu{IrW%䈬2:8l4 E vB$j&p38فr80`+8:Fna0VV!ٚšW9iUQ1At,'=A[xUN'nTEJ>ӣX]aTc;|@5U"|[4rҷs6Hѳ<V#mB;X b\[NG̞A Vq}y?~-ƧٱPhKߌMvQFàQcmɆA6~,q-߄UZ.1Ces_mv Z'R \\VEҲ崾9{zAt矅N" ,`,v̲uE:\ 'H=# D[;eC2Pw- *RkJ\L2c;0} ZkO[f4`T@ИLE {wc)oKvVc|]x_8Gz!ӫ/$ߐ0㛐(7:3Zǎr!WXmvkMrל5]`XB{)׾vk j$1uDTθFo$ zƘX^H m fs͂<|BY`Yf+Qn;y%: gJ.ǯf(%DKGᰒƄe-jCqMcn?\KD/`L>L:js(=b6Ȁhzp$9Gӣ1 . %K8~4YmOd-}BS BaSO0iԎRL0W *]k\8a  ?JecޥR{lx$·oc W"RC(HG^IDkꝙJv#ƚ-^kB#+k XPGE-SrxLA(}N&#ϸ^rS*2^c-svre{fGfw_ |Oz  YKY(Xj"Л;2J)x Y}c}-Y[ Jb?vm.Qpn_YE8,S},&36ts3➈YA9ۺ bI(@AcnF, MtY,z8:j=1u c6[6,9IЅ>&/X4([G Lֵ|pLyػ,B vi#}51pA6Jc$ojckG gjra!Wjvf뜦]k,%Ġ7e*S4oEKh͇L0c!嘺VG*1Gw]KMkR&j\\&C7{:U*2m8LVpÃ?/1> >R>̞Ħy>;[!Q% $l8ӇoPerB2Y{7Jӵӫgf`_g}à1BV@1+l15Z«7jW4w97g`r=)t}~X[yeIdA(i .C EAh?Gaݨ?2њ|ue'BΖW,p)S?N0ol6HÆKVs8%h6U8Q+2t*Ϧ˕Ye#{aWAM)0f /JƉ7@aH{8RAFD6Z1)=xݩ"+Q!oy}NV7Ӈ:O%ЬٙUw[ncRe˯Hx5|N,6B՝kL\xE]N&}p'ŅHp= QMS`lE(vl0Zu^%n^EAwڛsw_LR*E n!oOIFH^QWg#>V'n&5 ?,|JXꈂqÍ{XQF_)n^`hmcL|z`0SkiL0\t &ɱSLf"F dV)=1wzퟪq-*vN]J$j MgEc,Cd3ӜS#Qe*]o'E19ȵs)ku+! Η/8Hrчp(&ӱMCh]YA1Gts56% Ltf~5t[GȢW;"8mJ4׆yL̰X '1mȣj|Q3[&`ZF#0h;(R~XgVs)9LUeԪy çNJ&ɐJ^ x vk4 L7^NGd/.i$Z \؃[A1;UmDRė.{g%K'UdvH;=rA~qa$=dN@34 fawx+Wv}jv|[;`otY{ύO2wtmeA>/c"qsiS-.nHޮĻd=K?#v́*G"ى*ۨ!j(@x-{YNK}(D `_Plas!v= b@LM> aHfRKdy+&ݣZJfVbbY;WpT<е-.0Ɏ%t ɟ-k{F0=u7`}jל aw1׋0 a%ڔF**ȁlQ< NY $R=֏Vn7xWx+FxIA`Ā<2ϻU6|A^`OK=g67Np3i^oMTnw g|H/ S"߀C #˳2=iQG15p7Y AUB32 B%DfBAQc>z H3ğ˘6$?T/ĈY ^!Ӡeo@.C&T^XsPL57 Sxμ\ J. ,l9.ƯndyhOZw /##2"| 4deinvi.Փ"J7 lڬ*R XdaTRْqOgYZ  A +1_% DRoot_Balanced_TreeAmortized_Complexity.Amortized_Framework0document.tex7zXZִF! ]A-MՋhvG"uIBm5~h}^"vODlX:aϔ>%#|yWz^)+(y.bËTXkT ^GUO1׏1eI/@ 25PS0uW}v` kT]@d/G6sq3䘚dN.`p}RHW"I\Wb*DL,X>ULojohIDg*Hpi>փn5s{..|V8!0smv س+-}LBDM_KG[JknCR='w?l3=Q.u_]8&!-E^@:u.`/ޡ8 lmDB_V_ZʊA*<;Wf;%}Tg!ݓӭ/mbZ&KCY[?l^q@)@$s!8yHÿ"wϖF\NP:2A6ٍڟsܟŒԃ遨{73D-6,])?/Fz@X55>Xm)(?`,4v{.Ý,38ĄE 3c2ՀU$7ZDCrq^}$S[lC7vMؑ IE bwIw)'[nᛌą&VT9흩}fŷob~ Ȳ" +@ N-|_nk5 .ߘ OY6y^+F>|k"tZt*b 1oЪ{5V |2E-*o t(%ƄHBVү1 UX?ӁVlT̲CVPin WZeҫT[.L*T'E.⇋/YY/jظznnQڡ}[ˢ jYr%#*@ܫk`N B?_jjCJa~JVy4e'NSd 9*YDJv6|3*6Y>/ٜsކ{?izieVȒ 1N]S}3̖<]'F>\p~`Q88ťGN)Md:e~d~>F]JXq7DQ LUxI^( *ٞv-".gU|;N|X+rQ\' &:dG1hqiXF&v[n۫wB*}邱7V˟{M+31p$w& W,wfs..ˉL{F U_7O0=}=wfZ su0Bz V…JfmJ'D $_^n=cSF2$<9RDqA #$WF`pZ,%$h)i4Dpm[p[nfN[m6cT?f̷;@HbL|A:JQ9w3NX͐e)R"S|]Rtu+- @` 4lTl*$ɷR`N5~:ISݐ编ҍ~QfYJzzq5SHYegF0KLnh]*aԎ=OB )˒AkP<*w+;aqM^ѝb{G~15PK@s\ VphCm8k%[}?4[fD .ZcutJXr }ɗ-kd[ O-h7C!!9 .An.S:dR@/4dYlJD{xυ !!G 1M% Root_Balanced_TreeHOL-Decision_Procs.Approximationdocument.tex7zXZִF! I=]A-MՋhvG"uIBm5=͢){5sp]2Լh3rT-s@WjJj|C\"XÂB2kBPc|K%[r8yR& ZviߟR mm"TBnRi7,E$6c7w+,DB+zci=HKh+~3ɧ)j!Ў=$PO\pT1ޗ7<3S {S܀¯,GP)xG&# c7r)!8tNI^hQ^eYDlk!]V^|nmI+D¦vZ;8i=z!" o!0p{-QDcl?[ 2~cy-f1Ơaק<y mq7Y+M唃hkMi3e hڞ&|rn_e/1qdLEt'.Ŝ:: WC1iF%R0F|voҰC&>IEKO-b%Z_-2*?'@$,4;NAe>Ҕώ,彽ɜ\kFR)sph Z*BGj-h7W!fd;K/HtPF /]N~qJNU[\TX4~rMr \7k`A A1&6qτykA_;=Nr?I lEGgn0/9l7*5vö<ޅk5=md/~ȳ1XJtㄝ Zk>zT'6[^\ # u|wN gje(Urd/­*%뉹;Q%N x_h~s₉Sr 6yTn0ߞ`qvȷ&=2,(bu:hi>.@'z0~:Da6 D*. ~ E`m^i $BɆȒ /9L*%_0j J/~g ltg[h!sA LX+¯⦆KRf]h4>ORW@VDd|̢u䦣y(s?^l`mmʥ ӡi7gEKM Ϩ' 2C­}#\lΎďJz4@$i -8+^+Οӌ Ah@ۺ\%N%a??!Y%ǁ0;ev. !s;_7T$s*̂-1Okz ]/lI.^U6wJOꇏGs>.)^ ϕhnz̶H4F pOEZm\6uBJkVHSz~::-8%d3&~M#poX[Գ3q`|w\SyJ &2f'?tۭ uaj4ތa5?FyL{Yr}4jvVd$w7lU׬'wzC#mA!5 [T<q7zq/uR#XQ%m+[f.c= e[1rs{ĉC͛cy`ɫw艒o-"X#d2BLn][3br%Bo=SOT{!٠kccYKmJ @l>ZÅkV^AꑙF34ًpJ&)ɯr9U}Fc + MgPi]O Zdry=PQq\oľٹXHN<[,T[\EĖcá gg1M% ,Root_Balanced_TreeHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! e ]A-MՋhvG"uIBm5gq3P`J깓Q$}oroKB%[ 9H(.Vˣpq੓t߱8Մd Y$⢖#mwG.(gXU}Wtu8=}E2@ELÏX𗒛6άcH1PZ-Qxi] 5i4ĀīI^  s׎l5=gfڷb,+l 8x8X31$UH&e ?bu2D*mA_a나-6j ?8뵇 |o?-a>hv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 'h^Ksrl |*pPɶq ai̜'& o^ D6 SH2}J9~ p:"+ԫ@v4ROh_Sb[!$g6D ;|jfeڷ]7b}N" ( yi)2 95h{o/]ByjU WCUqx>ҫ3!D`!vћ=.UJ~$`i,`  K?u/;\/Vz0W؃GvL z.J+H hҲu΍ <貍Kk+?B>"P"}G9Xqb8XsR+wKmn[!Cf {Mh4NmfuK,bb ?_Cp.%f+,yO0'@NO.*ɮYVo_/0V)sRqu4@J^\uLVޓ$ĒAθG^ɩZ84 n{**:co ?Zh'"*"sor,UOwF;ȑSb#O[!ǂ %I%%k 40qKlrq ()XU ` ĚÝ"l)2dء^II5׵}p:92S6;sgJ~w0,E D}(u,i2*t\ܩ]yġ!د7OFp1ٝLI{w22pJ erj Yt_=Y4;bZUuz Ra;@(V[X >\[쑞-? g"z=OwKsϦ92GEoqlb J][Z:gC5YR^#\T)tJ1ܺW V^`7"ƕ[ɽvp5K^W۩*5fC4a ġ|YN3*Q@P,s?;bUȶ ,4rO2<^6'0K/)ա@/g7ovMA#`>̖9$C`mmJ {b\XKri¡FgYZ o1_% LRoot_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Tree_Tabdocument.tex7zXZִF! aY ]]A-MՋhvG"uIBm5 F}Reږ Z9p}1*i zQn+}f WМN?OZyg&Ŀ}Oq%G6y#&E]M۞VwKw74s1-oIzKmuQ.LfӴv*g/@HFlZ8i4x+[ Gؤ{+j$L҅,uYK;"OS,kġiR`Ӛ'(nn\b?0<%W#K c뵒8s~aX:^]%g*5`IRg2e#:e,pGMXm8 :`_"ڜB~a1Wu|:t#O4X?ᄯ ];n(AìdZ@鎉#Lb#6ڶȀ3 `n}9 l@gO CvbsՖwoأjP_6dWhWAtZzUT tX5DAPE s~_YVGʣ?p -ٝG(wؼuW4?AœlB3#.i7V6CXd iKڄY8Ww鳦/r_1`A4,&1HG3:RUؠqP7GQ]iء8TTfG/E)q ~u|ַDAW`ɣ#3iDbpUɒͨ7|^B"HyM|cӟ`T3MbfT:T4Kϲ`巷QbvgCh_`VR$S}J̪4B5<hL'?DimZ%Tɏq5׷`Ln@w#3.41:sXS4O+r]e݂{&9g0b{@' |2=BȠr=$k+$hm`R~7wRq*ηhb|J zWI$Ѡ᷻*ɤ&M2öUq"(}<#7xLi|?b8A#+q>gnTH"v/@8\)F hxCsėxR=:Gkt[$ dr1= N$-;\ xuIAH d0FJ].30cBqh>W%VLOX uڴtAMYn>t #ѪnV^ !m:|ժl @uI`Io)R\@o )["R5k5o^'9&a{tq Qvz~z dc+g~I9L:VZ<϶HMϯS+ @@dW+y+prP$Yړ3'\x|y# bf}O*Xr{HclcTrH\*J); d쀸a8 o-O 6y \$#>p} tB.R~;}O қ u6$6\[x.+m5#ovTг+kߔ@̈/\* t t;!U&r, s1SꙩzN# n ELH9-#2泘QR>TǏDE Ug/ 1Y_!uV}y]7?R+4C n9hIs׆ +&9?Q%]dGc\JVމ,WcO|)J:]Ӆn ab~ o[kG"#: ™pLb !(NE=ێw"3珱{`qҠ_ c.&|W_p<ncd^ۼE?V sv*h7܊ㄢu $@BfY+uͦʘu}SPӗ -J!48l MoJk1!юhȱн&7gJ/>\єK]Lבeg= _h n>oHFBA g2;H_44F {P'hbom?W[O^,ٵR>T#; J*vF}%3E?ە6q`zq tp&EMU}ypUYrˆ8bHf|jkyJ21~.a)iȻ>47 UVߴ1C^袅?Gi*|vvPD 5- S͠ݐ5njxnۏ.]AQ:l"dTTUH0-5)|}P惀UMD<틧mIz$"n/yH㻌>2Y"TVBg3iB6"4 ;廉2"sizk&۳C%g͡]!.rO _-+JT{.7vMF8~˟0擌"s>uWyMQK@R2DѤr&**P@SM\4.Nݯ$tԤ#+_oB{Y{VZ;t6bEPyIݨ߬om!:>:֗5Ofpj-%?jaGJRM;38d3’Jj_\?'JEc0ՄuVJi]bEc3(_bGK cZ qi5`pRP~fN3%cFƚ1Ƥs LQ/#hiZ)phiQ #o9rE;aHwیQ@s ;`JEq~pu 'of7ХlgșJD#rdB&@8JhRj@\6[`\K$L3ZI,u wx '?L*q_'|A1G2$3>7jLA-EW^}MĥvlZMc Xm M,! >Q`aYmzj ,f\\l!rG>'.c|MCv$w#_Y+ͽ尹}-*ܨ$$7yoNuKI?a RwQBݝ`! iN5d ˜At]F< UeMYD{S f<: h Nq>ԙC \4*RXTSK g7`eR0,oIA2ݑB}}2sMc QF+/s XSU5ucn6_Z!yHm3U/VSxxDRT]8r 0_`5*__R=@]KUZ-`@ \gceø>0bRh ︧=넃8󊙠ӗ0P$?ngauC Pa?y06 !4d$"5ɑZ5?)iRL^)!GDSةPL 94 Ime 0փqஅ̘TԎ T̞NgYZ^1E% DRoot_Balanced_TreeHOL-Data_Structures.Tree_Setdocument.tex7zXZִF! I[]A-MՋhvG"uIBm5r${v2_ET;ù4^"gmxƵ#@XF=6}CJ/0i?c8D#XzzxwKf}C\}.ՄcVPY$m*&s.Wiovtʝ~) `UJɚ <~$n.B]MOz &͟ Dŧ#hPkƣd )`QK.\ '(geEpS 9۪ml*4 e)+>*q\!7}u:ш-w{5@2Q@rnI IOý48ȶXӰ@B+#61sua#O#^FqT eU>^॓^[;pc!ێT^KT|JAG~ݣ#:13EVT,q؀2z*{ME]O^BA'周MBH๲~SOus4YGQ_2q!6<¦Pћ2GjBDT*9+6}tYp.T7^.B; *gFlʆmFNtМC9vl{K ;bHŦpX_|[Hpx-`O5C,Ƶk@'Z$`^ xg 㦼gkWO&p͆.bí3sfQ d9h4@a ɽ3Eao$N׊$Ͼߘ C(g01ڑ4?DhUT1ݔu?ئcۄc7j*zooZ? Ȑ|\̈]Hs$E%(&qCS|V(\{ G$(ֶ jJ2&叩·?NezZ~&n&Tm0Oo3b+iś@;aak6}8$v4oxܟ}({EZFzۤ7\64X{mfq&9v,1Ƀ"twKQᄕQHIiqOnD^Fes^ۥYy[NI6\rEWT W%;2oHZ:p ?߁c˩b*+rM_qq48l"Tۢ-kzeŰx}tInbp&Ncb9d(!!_$"SIșMmt|ɼ:=u*T+"iV7WwP?XusQnqaS gj4OTPT @=")^kUY{L]9/Lgzg45zz-tr.LO_K{. w17nHl3\),&}O뎜149m~[قٲqlBJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZL 1I% Root_Balanced_TreeHOL-Data_Structures.Less_Falsedocument.tex7zXZִF! ]A-MՋhvG"uIBm5!J &bMe]qcx g<TX]M۞ѯSw^gRr!OHyZ-$Q <Ϡ41Qy|m.%ZԯdwTErJs7G2u/)>|_BvFWh@+`f_E~IRa6HW]i^yX PIY}9C&bۢ! 7M,י Z5Z6o^= 3{Rz9Kxm, s%3@Ѯ~:Q\+(GA<J\@l{[um , QѴRĹ9Sج:B@˽D _]Z;*Pz/Fg YvtiiH <Ϝsu#3Vh7 rhPb{t1S]=ozJ஌ȂG;0J"TD- oVI9dKv:pf#ns%T̲AsbT+IT 'B;6Upޜx8 نe-n!L5[tpPST45Bc w㌹ TGho:(kr9 xR 3sn,.xW~1K,AH[i+VCD5toXYdo>w('4X0^[MAU6+dOKZ,2}d?Pm=w@"Eyz!4Rm G= 8ӻ*E#CZ$ rc-\)mJƑދ5#[a^?6 |l1p5a2r | Qf[ 9Wl2~-ݠ^Z;/z8.'EL, @,'k- < ufFg?EaGPf3QQ[Du4?DJHB=wk=N^Z\}}c"D}I= k獃ɵ+=Q1/嘈LywTk%wohNq¶4&AD5`o?Ip6@UVCt{twkiJԏ5hblj@^Xhܓ/^ce$b~Q840;Ӗ9tw2ZTZ^_~c#!TNͶd Frڿ{"59lgi_D#;`,̺Bp;Vwk+e>%vM 2[c!c+|$ F G$6c)Ϯ(zVSr7/0cO:d?c+h,]nv:Ys_-?1/>@[H㶮Dm؎jK]v`S-_(Zd :k@ܖJ~#Q Q]]C>9~hVxOJ?M#H_^}iªOU`r( QGLYvb;$fXyJt7+ٴ)tbDO.SΠv$qOḡuV֖8Y~]?8(zR, WzTLX;w{e D.plݑ@RID~*$h&줘,hs83 -NlV|cήH\(eN0D}eA׹*o+K1.Sl_%G5=7JqDB#PBE2SEaihqAR_7ix`4 \r1J߫qˡjkmpKeM˰~$,"US>@+*m5llxMnX,1-aj{5CffWI$!|mrW[=)C9hIv"T%ȯ˅32Yw)hP7e" ab%U%rq,-fL'bV HRZyK]ep n|۠7%M`hFfb/*{/o>l-*e{+K‘c͸{UBHD$n%NX twY[ݘOd%{Szr?dWMc5HKIO9/q"0$f8Bo#|:|,,ӒvT(C]# }ΰmc*׈d/bg k&$q$ˠG rR=il:5`J١YW9-5p-:tyu R*wG RZ|Ռf.0.; ;7'8Ws%?PՃ"U hݍG>\` c,XY T =gd%olSTrUc]5^#fJ;T ߷^pXs  AY?`c!*GVWp/ݒad[5w 2Msi<bikixč'Sb MDSr{XysR#LHv#lVMק\J_+Xĝ}M:&-*1b{Lv!CŦy%_7k%DĿChzBwj_qHksV0qXjg*|)^~&R+y&89nsV2VJ?#<^]D ̲DmڏUAqXžkFd)Goz*UndڟwWJ>ap-k{^!ױWiXrh5)_"®C3GӝJJ Kc@= uwJ'űe7ȏOm]GQQ/-/:xh9#-@3OoLj[-:Ff/X<nAщ2H5OlX<\SVz`a9Q%toaug:Z9Ĺwv$gљKBd B` qnjB0@%_~( ?ǣ#V-Khg}C.wْW2q_x%<$4vrm0m))I-h|Vr5ab۬&}asU>N~ko9jE-TrdiJ9n3s5QzO,WQ& No15݌#9J n "!/Dh>Wi?EPN'gi:Ws:@h}ެrDfִUq>dK&q5ņQO*0\9jχFB|hByoR}}/HT r>үc~;~0+| 98m Y2"RhxKeTgW4ɄVM=NU$UvӬ]&|@vHgtL*w٭0U%Ks͙C ֓?ΑV64Sf_qC>|uAZeO6ҩ@m |MkW K rz3`}ƄcC:!fTt /Q~d>ɕrGރ 3{dm 6 n0h쳇Rsq#lj]i1mA (ᄩ~䓂Cd SK͞ƻzcvAbvdّd(pYPځКDnݤR]a 쳬F6h͌TguD6p^vXx83(MIV.G_@Tirʋ\\m)6qʒf"=4aXD7w.ĻltcbFE`S3}GL a=CZU 5څvG|F.I9z}Eva3^A 㸣k bVm<YH2CIQ)]洴9F]cg儗2^)pYN'= JEG@wfGvx]P`7 KƉڀq+fs~0vb'R0%khi#˄4Ep@Y"1 )<' x'Yg !KD\'8߾]g]4ZO; ߩ-B̅U+t%\VnH:F  jc7)38|Z4U6ƴBw[5?``>%i1 Fov' OU-8 k4{ /3!:5*;onhIo)H%x*U([p53%5)ֵIbRkj͗ZǷīN6zLu.4e;89OtE2r/ʭ$=fwLJJp死_sϛ#Qf%2YJ7GRk'Gt(p#3bʄOR{chb kGc Y^e1V U|J&.B4 }#A ĺ--8{ߋbu~:q # 79舃[۱Ytmx1wq)]|G*]xXpvӯ뛚8xhN 2v^'DUB+B=?cX*3`A'JdHx]MQ. V&a򍃵3H? v{_ }~j8:8YȔ=Ʋ -qԧ*[>vR^do<Ȣ9u\Ĕ1.R-3mx !pI<<0@ ͜T#,4j@9061.GcF20~C6:ғZ,9wOxT"r pIw r+g.W ,aUnsLpab}v>yzZg5t=Dđ tCf Hrf50n;`!vQD>e+OxCx*!:O|"<1Ze@j\02^7xz΃x˅1&!-i-+:5u _>\]q81e"B||ؗNߘ'*k^MD`>a-+VLbDF)!"*K)3پ4d 4bDUfAIUL" ׆tbT Ab7L"0Ɔvl^5]V/+ )/.7|5>֌zFS qlgijPiꊦL睠:6pX w@$Rz^n+=PElfˀT&(k>o`tX<(0l`G]3_9[~!  siym3s /jCRJQ֏ &bĠͻy5^E]ՈV-"v'>;qDAĶ'etz@>"p0߭ KZ)njjn[Łcd@>BdNylg,_}.nG}Ia4ոǑv>Pj?D&JEFFU!90$@a(eDfudx_{~gCo ^ ,s#A.UE'7Xo]nS`oBZ@Ok<ޯt iȪsܜIWշ1^0cXrtil]k ^mk N׭!2(N~qo BqW/F Ik ouf$dzZ dǬ|U=K)M vt.uoqGJgSQ2K/ۋjb _p4$lұք:R'fw;s!tug'ҕl\YHO`1Dr#Hݢ Yre8PYь;F>VaRDz"c.ݵ ~A\CbMաNU<TP򢴙f!b;d:;~w;p;x ֜2gMȦK.9$nAcrO@v. GOpFQkBy*5  $mG9\]e$t+b|>Lh(S{M=FN3֗^iGu2[DhZgIhU8,gDmΞVg:OyEtSX.WL[_0e6 roO,i?əfʵPɆ4PY Y^yz@4YAg~p\ Wz?(^]=+F`<  8ւ# .N-|~;uP6$l:PYcł 5OҰAJ_)|40M%r}A;B.:p~yusx1[SN"_)X@62Dctm'Rh;p$3^H_Kb X@(2.yqYy0 Pĭ<&Oyⅱ+RVe\f IVW$yoxP 8Ce^QHrNn<ȀP L*7D֠㪣1za]4BJ "t}}".σ- G,b ƒKۛ#NA3w\m27kp{p ?J23~KӉs!$ @iiݳMD/ڨ'd t[/`Q<ߒISD0S+U7 L龰rS wk)cjHOsld!u 9livV//T b) Q:eh_`NZAPsWPcJTb7n-`*:YƔ 3@tEɟ7S]&IU/D}_t=%u)5yHBfj8/A!ƿ .>_D݌/&=i?aPWH*Tz < ,[%1Xо'n8"AЧ $,c,5f%:@D*{wE0b<͂Tzvt#VVuDh[m|knu+q)X㞝\pzH"h/׳c|aϝQw>BQh_=T2;*< ƙ<W{ >z#nĝ.\է6htqI zk5a?pg]p|C3.OAALw,:""q R"}gM^@r nD h{fb='3CQ}("5MwWj` C֪e#9_o80P)~C r:Nй;Fv?oa鍸աۊ @Usm%ӡIXzoH=!JJKJ<9(z9 wzyׇDj*+ b҇݉s<Թ`SÛT~ÓتBnZ.FD4Ÿy7+KPp9&``'zNy,s)\򐏅lK癃dAo>Luj{ /@ޞu$ݫh=J#.Q2nR~ YJ58_*\"i#sMtF/:6!fTlD;0*`1Fq֐shn ?f%Wn VͷUl; 8-H*ߪ7|sXSV-ha,MU:5"F<j$1$q&ʎ yH/ZB3B].kzܕ(Pp>̆*;)7#&]O>n(DJk (&Y"O ގd7c+-#Z$1o#He6)5Qk\Rp1{#g(`9t` Hv(U'y lDOx|<䁠͊$.Aۃ"chنRUkxa8mWRNa9/1#5FHWYFQ.աVM롵 l$a~=?~|k_e|B%:lkx"k2.~8:"RE](Ae`ŻC VvRWz:"28=A_]~7B@UG [ݺ;H^\a},Xj \)i!6EB|nlYS :A@g_J@#*$`o9Ȋ4DEݣ?FCfgphw7L(Օ}v?GI ˚~O] S8Wּgkzs"c4Njզ"Б9̥K tCPcFMibr(kjn,O agLƆYIB0]K"OU0N^ޡ33;\ڼ0BNщmTM_.s|#+J bȟ {u7dϭq&;ki_0lk>]sSSki%2*/#!H< Lr+Q{i&ޞ#(ZϮeBSت9_Ȝx I>аG+ެ 0?դC tyc^EAa]n}&䱵ea:zq &RK UY h& 6=AH"(GkALH(gIy} 5Alu']@2 u+;OURyDX·Yi@쬔|^xDZS-$HǴ܅L}- *:yb~=jFj#&[KGw/ۥLv֭&ˆ&TJ0,(E`t?'QDVdgFL3n[ƺզ]*|b/ Lhc`সerpV%ƨw!'Z4ϟmXqXOȴP8&:Q"eI\Yj9n`\]\_]ƱfF HLAlӁ3<Q{x{ikGg}r5]/U٢Nnp3I9RW_S"@ #">)^o B|Tꥊ \A8Im#ڨcicD`L̻ dg:)ޥ/A1;QdnRtIgmc*g5֣v]PCxU#k [?^dbyOS\F,n)B!ެ^\:rK‡G`/ޘR *V=$\b<_xC~c)ͥႼ4L毮/!(Av_zM0uCU<يVKLMP +؞ίc|rs^jYTH5xp~SJ*3Q8!4`\X`F^GevGJ&FKPË5έ \>˟u@~$\D>c݊}{۱Jv@%Q9~E96Nk0i0, .>DQbq:=4lDYetH`m"Qiw2r=< uez'el)ܹU5K /`޸I>ˈKT#\N,p* 7CBͮ'U #>c,3B&:rP'NWZU2B/Q/NfXUs/Y)eL&?[*ZJ6` "4Q̈ qs_G)Fe4in⓯jfG0uD!1+vJZjIv$0zeۜgaw !Un(_j$iVY{wK V Vң|!F<)Q{:R7"&!>DM n# >Ae+2T@Ng/LŤrcY¢W]HhJ.9egvR5ȒFRca|s^?(Xd&q_!;hhhnEfnZKi,}r`oE0kI#QRT1Xو*{z%ĉp\gB @Ih^wZ3MRͻx9RR<٬8nz;x 泝Q-׊_i 2oϐۘ*⋟gom*6Yca:`ԧ|j_5b j1![8v ~=ǟQ|G!7528ʞfunҌxF-)J$#D)auՔJ= ~\<9սSget.CKF+ ߋJc1>Ʌ.$ֳ'P;J䈔] ?0RC NT<SgŅ:SǃyO>3+g\K{Sc:3ImlL)b qEzt(>.;ta/s[zwl2w$[ÇaL5쯓V ,I:/žMTR y4I*q2$̂ G!OB#TkXg+2{b> Ʀaoe2gz;e+h&Ce#33!7iFTAvrMl|F L8A>[ljQ`,0LVBȸ4N['n,x vRMWg'N*t:u;]zthR-Eb6ɁĨ .٢R̖qHLnV;r{4Z\OpN0B:14κ.."|:G/:*y[A_x]X؉uߓ=[dEJꐦZ[Үפ̏Ƈ+t6ѵd%~6o7몈e l5A#-eʔtжEN^:ׅ̉~X݌a^(/F?m! ON&{q*R^U_@ ti8_f8-i&⌟tu'+/ .&'?r!d Q.8*YmWsYpTQ"vNVk{qN}uk u͇[7U ̸r= uz& |q~6kyWA`S#PL .UONDN36%$sp8u/"A*=A|iU[hSR]JcnA$g]V߿ DUFR,W",͊\:G*J89^eDXdaXmz  Oos^@qؿQ7;4mEiKMrIlkЁJ!Hb0~|q򺉌4.YH[GvSw,cM'je(DMD鑨I@D<Ĉ:NvAK nR#ʱ+ZoK ;@<W)Jv)^| e<9_NqIQvrzS0Z%.C3~R ]AhdU>7!Gn5ttUnUU⫽oCd%a(v+{,Vcs;S E960 ?GLܟP37LUkU5'Tۛ^)W { 0WuZʔ)Ki Y"x&`Z^LQt fFpU8Oav9X=eLV^7 oOc+,٣Cs|b8Ґk?t9ctSSWd|FB&{*Fop*Fbjr=2驄}h 3[oЗgEܹ[-m3Ғ؞ TWMgV?ŒTb,x1A~E]R*',+-yvw`NV: N %&K}mVEkc99+CB(oe'A6qcVMgD&Bw! eKC Q fBcPwCqAgvvLB!&:iVEY4dS`CeJ w~LUE O(m>')3p7 Bd 2PuםZқ3ZN5/4: ?WY˙-猛_>~Nsm"+Y^ ]ߘi9$Mq+QI5y4h@F\ {OTXFp *ɍ@&ގS-K-T'NY$ƯAwA7RECj3^Hv:X/F?LU]X?' ˙u 3jS$5`~P 3⍣ź! z5RAL}(,Ox:_M[k-3|hz7սMd/2|*%yG-o6Vxᗄ QYŠE0\V?13{5/LO䪲4s6Ofa|8/*f0! aI.>2vE,WOfqG=C2u=;;G"FvUQ4!jDXt3.iH%v˭ۮuCAs> w7L@D V*6rW|5w;7eBcu)]hH i OT1?!4b07J.bM/FJ0Z{9h]'RaiQooPW2*U-z3f(nVݩ3|kpPzвRfh7hzfljJЋV]D8cLanhh.QpaȣN[DP))3[56 O8oºtn2&T9,Sk*H_OפNw+I4drڕƑ#k:"pG*DD&E)p6{_م&hCUmܱ{\(xo▔$HLЄèhˌŶtv " կ^>U6. z+XZ'AW T".Y+}(j?Uh泌 GOLx'jQX(gm:BxⴽnȲEd[k%o<ɸt0]ƣ b{n[VfqHgY.]ԍ$J, WI_`N49oH;NV Bye9˰lZaY.)Gj(Rd%gK&buB:e?HYlMM篔Y ̼ˍw¨Pk;d*HJSsf^ k0*]=ůjwM[*tyM#Z t*+:6"@2Dm`EBfa\OcO1A;vB)fo#.)zH?=Qm>4;/#,t)!A~h&._HX{C %g+Q(Qv/'{v^ X=YћVVcnD 9S!u4鸙ȵu_`}Jذs72 `OvU]=U]gvtD?ElxkF@ڍTIuQ' {FNk<#j0 )y/(c-IÊ+ݫ*emf5 2Fۢ|cZ`c$Yrt\A.$Y!3W!F-%'zU} uœ!5/?j0YstCd.˅{Rp})hpheKD.l33jl5'ekkB+(3?՞¼A\HgKdI<b4|]U0ةȕxse $I`g|ueaLr1e}z 4|Հk=-Y%Ǯ[. Z#yViXs0bC =(1qE3ז2#Q߁w/LtoNvO`j^OPQaD#1Dw ˬq[yb}|nsSa;ih8_ప~euj~Q̔]A.cKK%̯.udާu?g3i)3 BP򚀙gj[?BMlQo9 Fקp%[7 ^QsȄHȣ4]*%g}BDۼ%jH9֎A53N,ӨM՝v;a8q&<6̈́t+D]`~E07*uX2b׍uǑPĦuBw@l9;[aUG?z؞e-Kׁ-rC0" (HBCrb[#ڿ]a,@Otr89ǔs.'~`?Pe}#ԝ#-!9_6Гhiw9W"k`_-2Iqe:i _ZnMԄi w{͚-z:*n!^AТ<ʔX9]{`1aAj_% ̑_R|_?Y V٢wh4ʼnGɽ%VBwjiEYr _nBI, ZۈsGv {11ݕ}f,˓=_ơXO }U؜Xa;yeS1T[$ r4C{.P$.UG_%Pj| l޸rEfեw"pn\tcsպ_Em*?g)U_n0R(,*'l^* O 3cR`D֞>g#e4ZKHv.s GBX[T "K~Aǽ6 ; Y!U=Uixj'Y?>:ddum .瀕:T'k]׮DRXkyh:j<5lt; 0ȝn=DkY;N hirׁޑZ;~1h+k+_ %g?kgwnnx#x]0`42@҂P @؀ z{I$ǔUP+ɮtn[`PiAϘ6׎[q>n /vRޟ5i6-~^"V^;ӴQF7)FV`*8B^o7KYԫ[Y9:@O0]D![hL4m~IR|8)Mc#gZ6m j%fYEs{W y%#CRXRD%tʝ8u I <<|KEONtPKCh*Ns;Udz7H|-tLRMsJnlz"R)"zwqn9TbҒ*W .BZ]z×;r/D>AJ#;L;Ehv'u'5Ry64ȼ9BU˸.(8bU*x7@e]N߱lBxT)ͧ2K( HAJ #,Sw<>T$ ۜ 3YSW,3_ ŔN̆їnLj`y4iw@A-u @lYk p+ ""}&"_,Dqr5*oW:6rkJ 3f`)T3뗲`oڳ:6$}/Tģ(DxHH32! X9hKs)`Bp-n~M)ڸ{ĜzJà "k&p6l%"0۶o~S\ϒ'wp:}n #X/\Zg Ѳp=bFF; '(b( e&j!#U}'qpvbʴC%5Ҽ6 BDjRP{`~;cZ/N u)ow8#eU.J1u4eU%#="p18Ӻ鯫۴Eθvkb=Dlg> % xG$Vֶʱ!wb´wxJVyn&0V8H4NkOܫaSG1hr'wSxUbY5!sU>'4ufTYoGx1;2AdN3hpz5%4@⻡Pw YNOR qW&fƐ@2qa5}[A[*ÙU{ ˃ f9|ΦRh泣zؓk*ۊOP|T(MwoNv?iO*ts4K:ף&?6Fae~~/ z=FN֟$n'ƞmmDzгۯh z<MupZ5{ęzx1CSD~@z~Ɣ2P6MOfY9W #w<͵ ȪhϘɶ!| 7CzoZ1Вjvʠp£%?`jf[NsE1m|Ɣa7 xLi4r!:]F #Qf #5ۻ5^B` j` Sk\OdD^ʉ]m:e"%AyfJ{8:}@D:AXgYZ  2 X h 2 1[% tRoot_Balanced_TreeHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! q]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@&)q=$(={Hya_ |1}^!/ b䔵CƐz@D<KxECNGJ j"֓0k6W014KgQEYy+")E40l\j+w{=]Rh|1 e3oJiAJ-R y "D~xN⬡KJfIW\Z-U 1C% 4Root_Balanced_TreeHOL-Data_Structures.Balancedocument.tex7zXZִF! |T]A-MՋhvG"uIBm5A8\BʕbiD-Qc*qD,Q9Gi]$ -t Kd\:h_5Wvq-KCǓɘŕܫz{[گqݝ d2!XF+J3}p#g@P浦|2-1@XJb^T. V_jUǸa,C5i\Xw gXp0S63B\[hy7䅈'4bYϤ͐ń8x*ܵ}/3UV;dKMx"M-,K"QT [/gLDb-zQagai]Z 3 ﹲ 1W% Root_Balanced_TreeRoot_Balanced_Tree.Root_Balanced_Treedocument.tex7zXZִF! Ka]A-MՋhvG"uIBm5 F}Reږ Z9p}1޷=c +ĵ;Q3zp_9"y|Ujw藝7z5;nK=wCv%AWŒx4,p]bJ߰RpJDx\ EiTQrSNEMN Tz(jDtnc8PD1Wv G*CUSI䖓1+=.s %ނ7/Ǣ}Iu< yLT|Q 'T: Vd-}V|!d[S8Q7uwW%9t0"cԃJP=F'^Pa z̶Ķ{Yjxo81I6Mz142)JQ 7Ld|c97ڔ@GIfκ8ǯ YV -TF8Wd83x7(ǙwOլv\3wT|t9V._uLJq?Xy H=9;f~+Y=~#x}[A|n2}@ ya(jsn&Z-_OX$ }Xt̴ f!i2o~>$0%?2g &K)J@;uzNG`0oߥ^=&@\3LQNBӆS9) qgaTڰ\ Qto\Ayz˘ev}Q FxUd Ijke8C@BWo3yc3,U?X DdQF4.9_T]/ox7} kkk|8SȭĦ,9B99K5pB+*wS(+0E ] WDOESm$Mt23#@t\3hQj͸+U?AUߞuJo1X&I)w1Tꅍ^<7о–_]鸕,& Hԡ)bV\ 1E`hY1ƒfI_Q{;1Y5݁,E{eWtv%BgdC;ag c>pɵY; cR0 Ge3Dčfݖ2&hZ%5sTcgM0_]NrR}"O{>Ķ%>䩡EԐT}%|ju:>7dṳmoƉ6g`-9ޙI B"hX0q2 y9251"PiX[7*l.,? ,$jfqn(Yxj$1`7C \F5TQ0 eX/o̰&iY6Z=(n[\=%u6Hݎ؁+΅5Z Zp($98<e$1Sl.ڻ(*^kgS0>W6"n-3T3{,,C55ŁJwXQRk1NPݨt3(},mi% X "sl3[Pkmx6N* a]N ηrKI4i"6 AhK2Q Ƶ-u|5V}emD2pW7 ~k8E7`'kjڜခ" R,*=-OxvBw$G*{T不1{(u ("ߎt,`S'`7'=%`j3 _O)+§Xߛ4%{-1<en.kؾ|U ɞxb:e wquEsOHK$EěO3+P HF|7#z \T4H>= fA)9 Y~ l$KF#fЗ)v,C8l)~џҟu`oiBHQ\nZ 0t]q"4Sԙ++;jTpb#?=P8;pnq-X^DH' RS{SR @{e 0?ژ#Wd=3=Y,oY^.tDIۓ}f_' R紛4d0?拞 9mgF5K5߉1H^㞟5&Yܓg!lFtlQpz>9;Z#jUs!;Fֿ%{WX?9jdA>=*N ݙ_ Ꜽ5q3t. F.IRgjg"$['p]xi<ǗA.du_Gq wLXXr|2kzD*$$~ M|{r %V K󅭟$0c؆?.EQv8B٦lBZ$ncϟ2ei4L"};W3yVV*BgGt" ҹgYZ'75y*A*bԂӍ;1ǥR:$ ]>+oqb"|ܮ<cʧԅ@jj)'g 2opFKi#e9d+W8tx}O4ԓJi7xwT?O_d͆!"H*GddS՗&؃7pzniCGQkX,pꊘD](IǕz,?/_uuĈ[:yar+7PJ@/z1@b }{uC";1T# c7H yVZ郢g eU5~ 'G3O9X2qf +mI+N=49sLp~_Vxp~RS9! ں u?sF>$\cyXLTkVp_1ߡJ~; )9t[K_Z߫G¶Y'5A2 /cr=n /yv CG,T־;b5w0 4OQ@xǹ 7h*_} qU¨5pa(}k}{=l͖gߥ  20Y 6xWsE]fmLz枡-4lq LkL2oVO롼U6Pw)^[~Ō䉴CtMFb䤊%̴5:*9EHs2h 9>6]aӱ<2YMƇ"zph}F0= cOîC*P%v27l,DfBm{%Ș_bW[P`e7ZSgm0M)]3oOhooצB||mr!P@qPP-7Y(;b:?mˬOv<Gjazp~*\ ZݧX?2O=Hrȗ8%83kK'edeҕ m˗O *(>p[#ی8QlCEjC9pl$r58@|edw4 z"_@xOC$J`mG-!P?k:uY~%[Hc.LΎy/׻;vEpֵVoC1AfrE 4<נտHI  ,K|,RU5mg8 oJ=" 48 t.P70|TE3c?CL׶B_4xl _'0<MPQ@^(I UQzKYd[F$A&YƟ.unN(7ljv@%zITn3a"9XJAUi6lP@"(KmGkf.Ezdd R1%WzvhL"UAϐ)mOx3¯e.8b-]],+@$T(A.4 GSD7T#O }[|/!R Ǝ.~[VS&ӥLNҼl+`X$dfdL?2.Hw&9fȔ  脚gie\%evܭhhi6?kŋt$eQq*튊}ɿ B?:LmF(e&{a1Q:F6ؠU>18 J$꠲D#w Jk_1NOXX}hԃ{;Ѽ!{:DB5JL&Uko!&oUH5mnyAH](ws+Je8yhk սg:;ʰ(d/Dɭ2 wT Q9%F{ℲM+ !Nȭͺwt*VJ%7y`$RwWG t̙-\\Wh~eǍ>y[ܥG= ;5lMhO.==orE^7 Fj'șn* q1#ns@6`u4F~^\|%JT-g'0o5 z7'.]R`*b4&E6Q@/ePACK2JXr@,PO#fg",= vi!X?;o#_i|kݍ挑^\-/¸P - uV"B!%r&{xDڞ.py`$MrbGţ./STBk#3Bj&PHmA*>)G 59R0 ڑxR1dBw ҷ=[xVf_aErKނ(H@\'-ش}6$*)~)5!ZhF”l['>q VTCҜXbIQb;;# >Vt jN]`n[%<SCh[MPxɦqm -uaԵ=SL:3-jǘs\ Msse' ,#F&4G߻ Vltj5sS3aZxe9w?_2FlĻ-Tbr h?D(ҪLGDUX:!p  y$LVfđ~{J={f$Uˬ*9LXQ)5I\WHhF-Cd4(*k}hI %p%R(ΔE(PPu]yn_`H0N"xRVVap29pojR05@b(ɸ 5LS  >9;M ALY 9 WVNY32OM@1nWO"ͯU=KLޮH0@2H JV%;2<9壪k6j!KSH꾸\ J4ڊec"[k`,\0\A 69oL3027ͫ+Kc|z^_jG6el?rH{lG00DQ"u4Qs!L?Hآ)grdpog($}Ov:YHQK"r'gۦ|("5yQ1v]H^<Qll84I&4˶?G 7tc8ƶRVهbWTC4X=yJLDIBylJp~[(J7jqa Hep9JYXM3FFD"0; ໫ss HTJTO*dse-Q9a{-2-gxiJ>!:(LZ F{L:!_mӾ9HLed8ټ2X3(QostC|94gHUkihz \С3fr1,( 8rS5 qpΦxN#^E}}`V N`fNWZsFbfR=4 kQv4"->v .JT2|e')#c䭌)2&*1^ /*u8qM}DDм+"tm:VM隍kթ-9c@+DTy:mJ'"ϧ"/D*+2b2O%g歾6r];\񦡈;'ǒE)Md551f=S{:_?ҋgplYu;ܳo\M9D>,߭3nCcNKi xXo;d2n`Q fi4Z-nUXɷ㮰~ou2D`a2m5FѾg4|yl=.d pLe1;"0gz*v_.q\{r /bDM8ԬpgµT-F6 R"[Y0X`KXȧ@  v @wCޥkâ+[4u:.o]#X; h&ޒ{T}"J(P^Ujz.-cڦ̅{1PҨD1F6uy)&3 )~w)MϪYhb*z<|L_cg82BYn x^Ez"[|# wW6X#f^֧X_clƬ(6Xw;5sסZzͿQ{ɀ簮ZMkibq$eu |c,*:Xj_ت!=F>r}27[5إ-6܍8:|Er_! 6(PKJ #G]+,J"CГH }SpkAE$F.>Y7B5yИs3F {wXg1uNNWu7+\ 9oS!f6wl fy,Mpģ5Llh$0r :uň/etg'7iZ\`"ڔ61k[0yյ;;dwId57cSď&2apimF}M=ʗEg:aW`qMU9pP1K*>%p/ZF&ԉ˱P W)Xق 㢡5vLԓ"fE|/!Ӟ rdƳk`^]rqxBs\#%T%!2] ޗRɣ;+"yS"xHi#h7W4&_wu%.˲xA= 8Cl ¬r˓f!<7컖a F__F[,#L(WdXB"2Q 3%0 AurH^Ӎ]yT?~D-!-9H̩L&>SFX͙/u V^l}SóTŔע_ڨs]@arkɢ,h+lTzǧcأ 099C=4mZF6O#DD(#; K_]_ Q#-& 44){2);j~{ _Eô冑R 1M?LU =U'=&!rOz#8gZ!hX k5xBez1+ϗJ#8Ӌv$C.(ZkFlr,i:Gg/ m](1ζƥx<`yh4qȲxL+aVsQxJL7%\S10|-AS"|R9<62-@nCV973ܣ,mu!s{f>ƖRj|BXP5 t,2}[4Vu)![Z_l-u_- |{#z/NT?!I IT:FXީh w ocSk*tm5`cҏ杌;gHLp AijLypg"neetb7+)aFz/8@%)o{XLHey DEG 6g$D ! H%:p LHvU@caAI d0b J}5{ߍ]U!nl')7'%/*TEّL?t]=`ҩeR'bǃpiשvvi#TtqwSN>7GZ)r.ȟQt=zJoQbbu/Gu8/i.{ؽ $x~ͤ@hahsYoO]׽]!lԿ* 3p5e-Ռu\GGPTWQxj@o@2'vFeq1*) ,*E7 NXxLAc+sv|ז$Qǵ`sNDzNꀔ(aN;NoM?Il_%iۂH5wMw>`<363./i&:?9:.}I2}%}@(p㋀Z ZqF]*0Vt[`ՊjlXHZ)MZh Um|?qd&r^gk($Y,b ι0z/ ' :)(mIL"v/9fVhǝ,_a ) D@.gV|iċnY?4?*ejS>Ӫd?@AN rR% zbt>Na  cD`aR&HgV0|g数6_ޏzʘ0UP& ī"D7c1_7=aw]ɘ(y( }`D]u`Xi" ^.*`6VQ8>2? b>1E0|EFHUOLhf`lmI <8oGuzn=7 hL vu0,ACΓ/1rDHgڷB8 i |Nܛ maI=ĿxKaVl^KJs3Ǝ!ybd;I1a30Hv`LKclm3ʊfU}5W_v%4I-MBJ:+Qg%\̾Kc[ ozkZW`S{/RRofZqh6QbpW*bȋ=b8C3=!k?í? c- aX7Y\#'4PLee]A[|9I6}NфFvv׿tOFJɵ6[CuGj߃GFJ&挗CfTu(}QjfqFEtSOi ؽ*Q0ݠBN፼|1̗Ю<@/ U[Oh @j,RyUlM }R10%QPkFI^)E8c2gZgFdpЋ_#`[<]^WZ#yz0Rl\uLHM@Z E;Z TAӎ3vbmn,F_4SV I)$siIDObJX3psnrV@ pFcȜϷs41Q5 @[7q 7:3B8ʴ=zP;3QI/{߹X"&^e% AܤMuy'~3=WYK;D,jvCEpDJ>;ix ebk\lJxڰ%O ṃƊL73-S-ҎnW欟H].s=$'j+l ~&Fnݙ4Cٌj.b9N Me IgA{AT:\l?=wlc.`J^ۑ  ɘMZlc9CYӘn|.!N{w0HL dA{;J>Sp JHu(8!HIySn9bEF V%ԊHU'a102+^;]C~ney܆1C6e1$1*ǖm{MIt&U㶼HVu/v6qה71 ջψCLG8hgH8f1f4yȐ9!yn[ s21GW\#B:2(Z6iЀkmVJ)BO"Zr)6d,9?Gc*NpAEٱ+ήia<Hȩmf=0T)Ǥ^+g0D9_\\q^Ԭj+OvG3]_YUWWً Ccxo֏A07T@o7~["{xI2MXEgNBȔ bB7 cxK *#uL73bğ3}#M!-cݯne@tc~ŏ}sKŷ@]5/xS oB 1ÜtHa!cU7GNsƥ,`׸[/_2*ogQA)pa8D)/8Nj$ \-Y=׻Srlú u'.0/ώw0-b¯<;Lm+?4$bkHDžc({]An>Do]p1' \r-,bt)SQ#xAi>jL<["́FpW/`u*[K䳊zT!휝Q #Ur92ݲsѓpԢ?@4h ڂdttiCͨ)~KKoUGSJ.?HF\SfRT=QıJ*tIÜ(>01C *}_-ߐ ɓx`r<@ ҥ=:H| ]9C2¢2cC1Q7[ CR!Rhk&4yKr٧S[BZc\gN v0:cyϜ_,|{%}k&wվTƑE]M f(" qWST=*zGR14e6(/h'mJPd"Uv%%׍`ȄIQ{hP=qbk a4mk&Pkh'8 ad @X B)%ʏ}U)axK5+~=J05{?V\x'm?arY.sHI\b߉>U~+Z1=MUtGʋAkO S!@ .6?+HeW?Kqb ֞|dzPkL=j?މ+ed 7{~~>G_$]Snf\UR8^n (ǫhK ]n=>1JH $e͋ɑeӨ(}M7\-nZ}I'vu(eb'O87rpӇvBt1M`RtVj(;v$@(}׈G`dRZo, e:B.R {w}83#ALf_u(κXVpq+_9 l"v\^ĂfwVh1MTgTVgA RՀyNB$HPA? -$/1bwNm*},J%^fƒjG+[ۮ)LD7*`g꧲NL'wDS=v}RBrD\%-Ȭ8]bE6˹C߇;}seXZ\ém5&%cUhb*IPħj hcY-84.(e' c0 b,*u˓;Z Ml>Ss=%ߩ(Cj N<+ tJ_I <`!YfS^[u԰1zhإڍ! yy9u8=Z|F_drRU2|ɼdA.`M'x6cQnjTŕ%*j6b/8r+,S3YxeaabU21aSP\YVZ1VOC݋?\ٙd$zp+x )XҠ_AqL^)-ӌ;{ rjSl!M˾첣x +L7yrEj92nBUN$šxWR(ljR\XT/7+82 SWiy} 큫KM1#d;l#B3D}/E5{^Mssp,:'Hf8i+YS}(~xNa/z]pŸ5 t@{K.\lN22T)IgmQ^|'Y( ]o>Gu=_X M/p܀129W}-~-%B2 (έ8vh ϖէ 4t 7/!azeDXw9+ Ri;duH|.)V1oׂyrN8g^Q"ޏLHa;Z|QR44#xe7v*XO&sdװpcB`eF׵&?SPgw:OէR°<}KH]碌%gq Rl>)waj#wDMJ`kwLz$Cy/JV (kyH8Wg@"pѥ͋[G",$m #j&ռPޝI4*rTSf?=_ S̓-jl-tIMWl{um 6,~|R~DrʙQG~Oy ,PbxAk #EJ?Q?◈4_Y'k[5`/큈j'fzB9LSS N&p*&5Z e1Fۑ]"PDBKOgX~0Z%?.Y^3@=oJ/(ی m-YIN⣤B @ Msq)zH6B{S9g^|. r1Z$_J^@vәxbM+<22O_O7SKEF:^3'UWݎǑ;8Ĕ/}Ba@<]I{wsJusir[hPpY9ίc w|?r@'Vӝ; 9^yK Cr3 qp NnBXS;Q<UYξ/~u]qbW8i!4)`8xQ!Pdu-aaSkaFߋ,1(gr[eĶC9g^6p_qTɴ}3fN?:ajuGg +a8L$_f.-=R_}L建TZA!ʫ U> (b<5Z)mll(z >o ~=s>oȩ4Qֿ=YHȀ ʱc'C~A <1@"Co$8HҁC! MnWDl/P @4 7b LSvq AZc zJS'y޼y1)e9c "]5`*Z։ݳ$µ5=] ~"`T(e֌,,i.J"=oj88z^9l@2Hɶ?)ҳ{}~ZGNS0zzJclo6Os/ӚmwWT;4hGѓω a1Ȉ P30+ z$VWMj} _ =coʤT;mOpNm->(=w>dSŗP MŦ5S94f?Ҽ56+Yeժ>Λ! ir dCf'{пBc-ɱ57Xo ܫh󖌂[`>)Ha1=y0ʓJ9;ʷBaM dO"{D A5GȚw5ĵ- }%0?5eEy8C".z{4xQlhŗAƗ.LLzx E-^Y:Įy {p`SЖ`1#\r"^꣠g>COЈSFu5}?ڃ9G^%p6y mo(HNp*ݚ__sF2X',hb[e9y ̱نE#ib:mib􍆪yiX=9Ψ]DX,Gu,,* ךsBWcnlb+wA?u$T5>U.P+NTq 4@?L[_ɵȁYȠ@>t~S=rvK9p*vBD_OZ yhzFV1ܫ-E'W~̒:kJһ^ʿOCcΈg~p8d,x;fp<ܩEJ7k!1+kҍ!vh"qeyJ+Jt _S7Qagkjs8++S@=;raa 1CE'<y=6Spwr`}z˗ | Ppvj9M|x߷ 8ĴÚ'{34o(`HCs'p,:L`,1KGe[,8&o "|l#"8!݊vUb~^V;zyq4Dg\QHQ.O-u5,U!4Vgge*JH;b Ƶ$j|9˘ 7v+ʪuX8%W]p mG&Hs;oJ)" nhfK:`{K]8M׬W~[%VԸ#ڠ PLР4B̵\|{”z}%BUcԝZI\X(N H p \O5y,I%Ͽ`T)q؟vzF0FġPɸrU Y/DOKu76`UM>6T?%=q@dM.N%#L&"*1fZ[}צ&u`(Bq5'0V=&=>/=p.p*_,Ox zmv 1br;j CNQϘ |/p>FE[UbL0~~<MɣDJ29mΆl%Vmoզ]P k}cSw`kS:WI8-[ zs٪Ƹ R%)= ZjCZ?ԤѠ0h8Z]2i;{pZDӡg旝E K(,tF'qn!H15|g8_cT€C>Ԛr_q$V[h"r_sCWqgLQWKCZ2mJ=ŗDgC;:ŭJ;A8ds0u!/IyNJh>o=E-Iv˂Ԟ<5 PjNś<5l{;12pƮgُlSf, }dYM\.D#QA7.\WuUeypt p)@HձaLي+<4l c}P3QB=&i20EnsQ'XNB{,5r!pء6;Zr+Bvew~aDm&-OA2PFeX9сXԮuD82>L0@6xorjV S,`*BcB}sV-MjbZSn6s '`Gy@v" YcӂTb ƸOx%$W2|ޚYikZhu ^操PEXD8e;oBSmlUJ,m&cXqY\L~4_V@]}У.T}@ ?V4M*eyُbq_I 1[4jTN M%)8§8Ja3y|-ϕ7DјfrX kt )&i%f2Ӆu$CX( gl0Ĵa )Oz.lSŸ.DjApCh ,ś - cazyp78Jԗ!gQ roA=)ݪꀑ ȶDޭBGZwm^ш_؏ f@5 x%qY7Wḥ 2{@݆{en0t7B'~ELHupaI}gm uE,%}22aH#*ת8-N~ѽ?G鵶o0H/)O֥mD V\?Ha-#f}-BZ^1ϴ%SSgyҽPH%ZhW0O.Oh`M6S~:]%vٖɾ0Z G,vRNܧʇiaY>aAlTQ*3}{駣x-vJ+*}GB-3T^w_n-&cW I-/Yj$,';n r^Wޠ=']k%s+I6A(&i@'yrhӆ(Yk6qT^Zslywu.*tx47TE&lє\NT=}\(#eB)DLV_" Z6=[0Myy8G7Qh_2_Î 5J yPyrAܰCs.#-JqԳ$LzGVU>FK*m5 AM0 ?Y꒨b+j3 <&3i.Yxû#_Ǒh\MZ1vk?sP/${r9 Jjk0)!5Vg⯈CR~ FEժ2d*sR`!X^ 4RU"tFdƁK8ԞWfۖ0T[F/8) X,[YKHn;W[~?L,"tݑˆ=VEYYl%{%}>4QMj mPG~S~yY0U*l /8Jn Ό_Cp=Ё8x~\/DUIw#˖%BW8sÀKq>ӛaTeG/>x~Q @ M(,ʇO~)LfC P\P0<vveV ,h:XN6ǭ#6ƀ|O#fɆm:MF4?Ⱦ%vj;] !H۝D4_2|Oz;#ubCS e }R]%hKLyԣ}s!MV.~=0'C@"͆mڗDA)I=*z~/=]10+ RnE=_ CSr؈3w;to@&.ű uWbWPlzvcқQ%/K[5&]R LE9ֽΣ;i"@䶲)]x%GK#Q͖}is+zgXؾ[gD $]L6dK~6allgRn(.oUݞE!_S!{~2ĥ>!>%a]Fwq&ӆm nNXofs.\hB//- zddg!~,-cB.zFZVDh<%yy&Yd1%'$$gI|JS@ Hc0Aɸ.8KtA=5ECqF+^Z?S a^#ysgwU(݋AhJGr4rgWp 4o]?e~ E 9v}*Ajel$P9Fe<_6\e5 oY Wۄ+TSQ my3OH>?CkbORjt1R|B<+j4@[z6zKU&*?# ?񥡞Nt[kW%LJp—nN#I1ڏҼnD9`ddyWy!JO9-}jUjkm@/ep,ٿ4@{UC4kd5ES(M" `l 9׿V3W{JM ($=5|XwL-hq2&)^7ϒq4I==@xD$sZXǘ$B! )g{.i'lIIocekR++8]yv͸ T)fvj#1p )ȇ5?{K?ZcK]a7}{0:c.lUE5z1 #n!n/J"2yjRV.EF*:"d34A IjBxқ dG,<@BZ,q񟋢iSQwh!PP67v T$Z$R8pzwcEăue#ǫZIP33 u/h9N$&GI! Ec\a׻b-N,U0{>0WK,y+5ObPU#vwLU˟zāMyc!?q1 ׃q6dC/MxaLVWx,96[W|~Oұe rƭA+Rۓ0.7ET{P ʥXAp^AzR#M2 \A9!K4wWa}MAuC=Bp~T.Q/fSAg L,EQX!n05D-h3:zquC^˒毿 P(k&!Z|k0AN`$[w#!?Q2 tQ6o^Āv&$H4"')BnNR]aվ/'(; )=QoXky-raBSDw,+ayۑڈ.zwЯxobW 2Ҷ֥4KrVdeՇዼo$.BMgmoᚧ]h*̂5N[g ZbX]s+/iW(^.U<b~!uM*d6QA1N&]zƊ#)Ɇڧ%( Xum|vI DcMSB-?~iTucS\* eQPzv| ;\.ݘk؏4lʤikر+"A*ٓKKR>|{XvAZ$3!$M,ΚK@5 iTq=m7wJP4`04 ɸOF :}i9',2苤" Vp _w<T/uK~tơꄘuBFWGy`wS!?~`zJnLr4n\_$0G-?{6$v50E@naeQQnʉ}"3H_0K [.8 O#I$xmGxJ]*naaSwǕO͘Sܓ3 b3qW9?r/ǹ7 dmtg>yQ2~jg)ZoY m >Lul&#W :0LφO>͡F6r~A -&g]`2(IFIqoabQQטtj?v2X0d;yi^Okn@a E{NGbxs=_Շ>9dz2U}jSp]|Q <l)'~q[?7洈Rx!$;=zp`v!9XĊ mCr'}51uxy|iSNm229nKb] 2mJIqVp  QCN|x-LiNz\}d7]˸9hR-h 5'8o>( 4$m KLbiZ|Ca0C@(m_U f7h6jHm]&|UBA$hӉȆ$Mro׌a3 *dw")n VByju|F SЏ!·>[K(bt Y8D)5QJʥ)m絩[6&}]V`SlY$*xļ7M~d!a^hA9N䳮O;a{*HUV0]{R%:iK<zDjO]$}BWql-iGtLQBVX`&T!CaGځ[hnBU)\6 .GddVAy.$gZA#SE DѲAlɋVVr)Ҳg/'/JAj=s.y+j'KO1  &Šy}D@8ÉNw'e^gP?Y0/Hj"y*1mfC,1H/pң&eZ+Kb"< F ~&ogEe'L!]}*a;':9ޒ5 6g+eA89<:jc-^E>dU+W+RN:KK^'hѵE% QLmSSdm# Qܮ_DhHKa 5x%sV31`ʇVHD1cu^y8Y8,mgn8e1%-0ajޒs&"G oGQ_L&ֹNҖ(\gPFs ޸xKB2,ֽy>ע6G뢉ϓ&"01,xg1a )5 jw'XA_:A Re2:]N[an AR@םrjNDYw߭ 32@3-R8{LEI?( ޥ&b0:ϓ@ve7zoHH{V X*qJGJ 8ڗQ2ᔪ#Kz݉#wǔ}Ǟ*Nom1m.G^O ƫ}0*̥SG]xZLùTbwגԜ׮1_xcu bK2QM')4 $)-Q PNA"-JKnϳ[uY hA`R;D*6(gw֏/w,[%:gKDiVHaP %}F$a { * 0,_u|ͣ gW'9cjy{/{ZVGWt-B19MEZǐpL@-!aBx{b OZZ+#30 HS{ŋv-B^FFz4~3+7^eňGyYढ़SHRMR-’e.`n;A9CGs~;c#645%v+*yiӃ3C6Mw۞1nc;:&35֨r/jFǘ:sy5 <(6;|^b%:IjVGE .[.\uW87>mORYNxuʋ4Vҋk+}wGz oCX,mD~ 3H|qnKSןZ4IKSg0w7JOa+7"cw=? zEFGMc*$N9(%MwP6X>StH 8U6 Ga5"$6=a8[0,Y VhO)W̅7&aN.)KV2F lbI-|3eF?%Gle$ fo{6)A7<lԓ 8UH$M{(M} KktsĕȻ~>wD-bzIWM| mý u|#OYo%WTTM7;O] k6f6D& %pT` mf.Xi4 +ā=<$c/ %(߱uE@B|x_̔db+Uz4y|רDBg;󭛷1ٯnqZ#+@g|vW 8![6$x#|'@vP7 OG['|)A:u7&ʧzGI**#!՞H<.'N觷7"Yf1xVrP܏֕G-pL],?_bNqB6i~+[R}․ }ځHXdA`0 K5ߟ?G%LBKڍTTԾ7v\'2 5ȉQP Jɵ K:Kqcp9e iG{+1"WYM~ٲS0u+ (mР + lݏnɐsCttX<Nv;4~K70/d/'Q-.Rc21=doUG/bo}Xy0 ,Q) 0S礭u ?Ī`Zl/뜟*ഋ=OTb7}Ab7N %~BUTTP¯L".dcZ;_!:./]QLⰑ+w~H ~ |HH{#.iTY3-; G~,mai8\jtr290&jHz.АJ  Ny'c#z|G *zy%Gؗu{79P6Uۅ݅d(o%C/زQzz;elhz:U^@ Ir"O]kЋDN4I㉝qÊOyFapQXop\ڏ 1+i ,|ipjkWCt+%p m w9RYSZլtJF"r}^֡߀5(%h ePtlmCkf%¿Er7^it?Q@dX+l+J)%bDV`Ef,#~x$rlēgX'`JMnՃ7de3xbPV_l9%vG+ uN,dȌ֝N3H X ''vWlrf骒7łlݘEL uŬ ˓?q8I0* !-|dUqqy6~؋N0R l,VQcL/˒ai>Ou R:)mx81ea6]4 9֠$:.Eb5f K//d^|l8QuP_ߡ>Dk M0pZL\j! '6rB "a1#ڋÂL>U`P2+Epe;w8RxڜBgX]:Ang_ңa6C$kD qp"RSA&8 qlP]0RiXR(hӄg7i^}65.IydPD}ۈ7wϫH쮈%&υ& Afu>Nu=RsDH.M}76b0ҩ9 y0Vvw$ŇS QlsWGjN! W1qo<ᢸ?/FURK.zA363nZ\gHaB0ooC Ѫi(~6̮IItn$u6`-ۓ2aZߢi6{fނ1~Nj_lI_%BXAI͸RjKf:j[qpFQU6mB{.*7"SsN18af~.WUIB1O 9Fk!#>  G_ &&7L+]%ВȐ^K~|_D@Lu,/qhRcH)"|\@&csoviR17<ҵ;0vhf V\.hE9d:U$ɆV5TCEho'*VQWB oyd-Tє{ǂ#<ɼ]vGz.cc^qKi&FJ;[úE^w@!NZ>0솷܀;T`+]1k{tQ{R .ɨ,h;X)hׁ 299 ~TC:k4w4ٙGtq "t Xm~Cb2S\WXQS˚[K#Y Uq`P NkʋIFZeY~\oΑI-5UL²Rap !]M̴2_)x[H[í96a>G`|LKÚ9eboI\@\$UԦ6`|~:Q0Ty(tzY? -;\c\*+6~/2ILO*wӀ`^<ىfʭٝ|+jQ:0u%l3!{sT]X[@2D&XLԕŮ[햢1ΐQ|ZMg)Ʒ,q={E5a=@]Nd &[1tQr#%<6E;T]7=[V|jnfstτ@Q*)7l u@9zz܋wWם B.lE- K!S1?`ιqAQg<>W7Vl|f?,Xc#gJ{C8>ˇ h?b{ɯ і>-`$\V$@ OTEyIͯ]Ќ܎ݧ7Ef7o.9|e߹Txg_4aSv6R^H\ȒPptj; n&n5fAj[ 2't՞od"&%˞ ufpT$ >'Nw`,YtGU?J? h̛=ޤm0`C! z %6vI kF~ᖛX*`&žRhm@42t܂!}?5ͫ=dj- Un \{܆ރŲ++5]!P'#b !OwNeCr'tcv{ M78,4Uu_hc+`;e8o.,DQA\r\_?Yd ,bp9~ #Bٴ'-mk0GN5Ј-v@%]u [#I 1k{Gw> *"ppyNMIW ݴ4j)* laJ׮H]:,*9t, kX}h1liTmВIyÞ2RJ%jOj#7*T!9׸ ]F3 ŭ YP1] R)VGk rmPiۧ1!wR 7_ ߥDIV4jilvW}3Αwhl)Ӷ(?_ĢYVaW#a4{v=Yj:WakHr>t.BQ/Gu;C΃gtݚP ;+.r๸350J!Y+fݿ\PJO%zpIR=킕5O?.>1gpF-ȰkGmD>nspn 3Mxjt\+DKdZ$mzpʼn$[Stzrx.Vq,lZ ౒i: 4;gIy{90A—1zLGx`J/sE4a\W (^E.'j ~"pL~k{6$ .Fe}V/OX އШ8!]n]9wH>#3msg{X&/Nwd9u3=/;⍗G,@M0( qwqtը'Ѩ9""*ӇnWe K9*C%Op24FÕ}l NJ7-֢ׯ-_4w&qHtW~|,8"XR6GzNHCubVm6|R 4Bp,{-{/-Jduv^n ^HdCLzIZunCPp* (]x}Gإx%d|-ch"ީ}j+^l:_V|a }N۴:ȼI!#Qʼnf|NS$">L= ~O\ڢ"T'4~S,gsOr7zeR[Va99i7YE"^_V[E'haZ  B)h`o 4Ѡ lc 0ak}Ƕ)SFd /Fjd*%S X6f' ̛>AOә̱ Oԇ2*c:7L7 fF*o9NcAaۇMI%j]g@lag Ȕ3Q]].,'˩,it,K?*g\2]~0LH(@=]xU)TJw]Patc/j.Nb4g{PɉvlaJ0 wyvMТ?zӹ$iskЦlA.ԓj݉+K䆺A72+@*rgβj gg,]K5B m9:A/ˠmC@s%QW/'q%K脛;pd1H#-4hୃ]pD,rAld'-a{~P#/(JZ%FԙL1Ppa/N!_H k\&|>i( 7] m,\A%$!a44e]^1GQ%' )U(vv9z synPd71@'Wyl'I)4i۔#8Ap7Tx( 1Sq{6 DM^igZ*rCO\p۰7%so`ڟ*TϞ^dှz5܆{tMt-tHfp z9tGUa ˚SMoE!6 ݒG6'1l.+I`z9:^&4U,rE&bޣ;+ObdoV!C<.+-;n˖,Qh`=gbS:Ly(G mEM ^*LJ S|[Irs k}nݥKG'C,P pi^]-z]| xEy#\SP#UWK:8xkaXqd$K)PIa4p$ImPE[hV.H9=| $<7ПhoY͘ , s1z(= .L JW7S}76?c;.]3 ƿScۭx!/E㾆-wY+爬=W)$0=8WC]L&‚;$&qX]C)sX,]?w k{nXꪂZ 'Uryz8\?~aJ,35UJ#|ShE~ #:Kd;E/>J׈`lt_=2/_~AD@ y s3P#'$;c s%HE[(ޕPDh"k:fb?2b^H<@\Z}[CtӅt2p9~Y&dZh0ۇ~RO?\bqSC,{ ->…^[vAq3ar lR؂O>nhqno95?2Amfo9H*YdFy LLoJo&U!W[g{##Fze/*023οE,[P0 i]ģDWQ0,U*)I|s.nqF}Ԙ#. NLv[Z7N;SzDս48TV$2 g8WEl@(ҋP&~%S3 .zERfPo]4p߳;/";4udk?=P_¹4'"U7RxVAxS=&S\^Fm瘠(.SZ΀' +w&R}08Ph'0h^\% (2U]i暵0ttۅ!pPP78/$j{ܬ*qKs ", /O2XYu]>`4;甎 }_;' 3@ V h] m@}Sp` HZiܫ}4/$ b_J1C<-FH^qQwj~q}S"y(D-|o1TJs>Sp=Q4upgي2e!*ˬ]WۥF 2F[2- ,[Ҿrm Ʉ`~-ФVdW(=Q63\ / *ٟQ>z^F7pTI4"ƙDGbCKyn:$fI d R}B.3yes/sN~ vY -vOx7\![j$<`tbc+!Ewھ>(A)vŞm.Rx{ƒ-6zI֔$ Ϙե=E v OtIMό4| cAu`ݯxěۿm'}o;]1GHyg(YBa('$K&fj7R_#KšzCP)@}2c&\vZ ^ *oʏhW~QaWhZg񹷆Q땯bZqoALj]y[}υa#;*3BGm`> * n:lrݶ{MhLÎ"R&QjTqd]pvI?ry NEm9 (*6:F rN O+= ø?y*9ˮo >938n.M&Oϥ߲p'<7&CgCB }rhE:}+{QNP? &$HsSp 'W݂;Ƕy5̱/yWAqU=LV v^T"iuç\ p၄{W?k֢:..pemz͟Z=ƚ`sQ )wadr])**6^, Vu9گ29Uӱccr_$9KEr+6ylk=5h@jC;NǶ*RЎMF^GN)+Zfޫijk}ze|U BKN`s6x̴j0ow_-ζF [Tv>ƅu_1?',AvѸb`@tz!=pu8cM nXYLaw?R `&q T E]=L8RiN]h6@s$ې""(þS+.ʙ7yQ/]JR# =it|$Vtq#Ӭ+. Ǖ;2ihiETCLXb걅~ٯH~z~6N<2:="29^(2qA =jGT'?;0SZ!IǶ}U#1u,LiPwQ縨|I3 K Bv"{EJV-U:(R2%Sz6KN؆>=.PAHG/T MK|7"~W"DK{66ѹEd,! 棄+; q-W` i 畗y0GË0 CQ:{q%:C3xXៈj29 DBrn\fBԣ&=N6}Xt0TE܈aW_68i/]R/!m~4pWR" vOHO䖟!^X5`FWk}(mon! J/=8)q5WmuC[GN23O}6j%\ꬄ,f!tF1,"c2L#]'Fcm~#Xvo >.8z_mՊʁKg|៙f(aMO_0cq[,_{@#`ٓI[R[ń邅 j ,ZU$; Z~Q4hi[~7t˝Ulq&Μڼt.KMh!3G% G&Y捀7l%W:IW+u<+ӷ3VB3HˁV雮^;HGtJT4DTL1'q̆t%OF=N|T F/d58zZ* MudJXF<h<\Z¼ݭ)n~l&%,yy ow}ʔ 92Բy_$i Cb_|ƫ+XЧP;h+M[k*B›GSzm1K37L|?aLSEmg) da^ZyvнZ]Bb/Q)jxW6 -"U뗉C]"謊M׸@^tx[A7zCkja&| Ύ:{ R_ct!˒>E!xl|S=:% "7k Iqg\NR$wőČfD5yzZ&H~gCK.IKu/ TO9!29C+!-~ K3_iKYS7S* wҺó\h ~&T_ݶ/  83k_ VqeGp%OWJ k/=Ҁγ a>7 ZKǪ}FFWEZ\0.([ylY׺ wt2~\֊v+a㈜hZ۸k'3ĺzbfjDM;. -уdUHHzgZeH@;$9D׻kPuJ@OMgxe:%@i8^vx҇Sp,d9v g|ITC\TdL2m4`]t I# (K#I\sXWq`LIIu)TkFO%}<+@Ƨm"^ sP/EugQ,}z)ݏ8y 1Hġ3'4@Û7A?"!zOY`R4)wkzmOCMGѽ30c(qKw&> ոWmKwYVbVP+ Eٝ4Z,T1}ۀΟ_:F'el`!ጕD,?,ӯ4z?BKQ6)KXa# Bt"HL f/e3JQh7?n r99z7M;zn"?]RE sFg-11̱35Ń=1PEI➿  ɄĐ3ZS%1vC#\3:ew; 'Zk9 p!鉒KOMc33 ~Ah215 fy3^4$a p\3hWHI=5'7O 5iUP?%HrܬȾ'Cn/KM7~z8$\QlN &P#x.azn]L~ &k? tQmo":_Oa}|&_xIEO^Z |á x:rA9`(,.qBG._P-RAZ-v\rspRi}_%@2\y 05 (Sg@ 8Cw1LqgZa2e5|@orۼDإ}pYq!oq~~Ҕ}-qѽBրTV22.'`kz/#[3.< &Tvj= 5!3XNɝ:2& U ] 4A[E% I!1Ud~Bk./1Z6=1E0)~j~WI>PN>OVFC7~Dd^OFaFQwK91\:vtUG !i ~'w#@؟j؅WT@w|ib`-싐N Brj e D5TnJ uI,\gN4n|\a 얟l;>i7W&}(X R#'6]j4rO;§"L:>4o:O+f[FP]&\b@OHX8p (%ER; qO9y_ BZ>$McЋ+& 8yM_]7cQ%EJHJv[Xt>2Q{`'qQq4,ij6X "bq>p8s=d^c?"!PI8q\1oT"3Ϥ_R +ޢS{&}]yu?:_J#vr()d]N:VBծ@)kSl =>{ bNd2N-!+fMnH,io.L2`y?k$+ALsNPq/Nx B<T6a@̧.cs{N{o"-jʈ,gW𐨵rĘ.}?y WÖ"d]6vONa\2Mb8;!/$=S2 uM[*E* u~"2߸icq{|6 X!Vo@dGC%!S.DVP6X?N;A (F;ÀaxqK+waU^hpS1p˅`CU15qȐrXx]oۼL ՝NVcȽa|%<{N מ{c = 3jvZSrl4}جѾZ|<.&qf=Et΄4yor2~rV F,+BxE=N}Gd/U>'7dq`L> ċlIPmFDu3hVt:_Ĵd?~&G%D 噛"7mbLDeuɻ<* 1Ap9nqă01~0q) ~z}NƦ0$5YY0#B++i mvKpI'M.Fm0 }x[.lY\Y"P[gtߕyZ>,^ E˂1&i9ϵ.IvMJ#p=\V ^}ZBJ+uހ^/mHp"͎g}pYj3YeMv#Jg&< B7u!%xvbl74 ;wWӡ =ܤsxD hٌ λz~pTϙ Myi2=Cܖɵ{uU;tWQ\7%|+\e6,hwݺ<#!JJ !c>cLhYSߟAnvnWJæVƵ}t7;bUMğR;W~Ӟ@S@ z @3<&I5 }򄟚n_eNE+2g$!B }VIm~+/Qk3jWAE˘WV =kŻgF9 J9/^|Ԇ% x;>"B/2Lh75(8[^DѺ8C,|Cdgŏ lzgU#Er\y 'oש?Ȼ!:TݖJ^w#Y+[w& N)cq!@o:ņ-‹V.|꩜e͢4hfl4Ă*)ix^P؋Rַ(̛ڀULrgf|e:+DFFp3m#xi" <.es)z"jD: eecAmԾ'Dah߲@Vu#et$ .86~4Fb>L# fh.tL~uףzDc 4ռuGXi#~&- ȚWGLѝTG) ɍ=A#@V!nH9ܤu5ͬlax!˶?65͜X) ]ZL&S =ՠRJ^ ꄼC5o2D~췛O@zKÙ$%G 8*>@'Da}>~]:㜫E$ZZd=s/p#mrxa32Pq`PcK)FA>X #rG劙αU>U'}ϝ P?)C&E5 Nj!AꂶRم8J`Z_ @C!YTGMeuJǘo1ϊmOɺ\{왈$zIٕ' _ƟKswpyC&L+F|O%6AVt@-K-*{sZ"VFjhbRS\J攡VGS ' ;yN nH&{To]ԋqvWgW۽ʟO1n$ aF8L+ FCIjBU#Q #gǴIU{<_ @. bs5Q}cN7(񀺋}Zt2Ǽ.͖$vCi6ڟ aUv%U%N`=vhˬbK"Y**qvG,!f _FP8c^[>sj.RS*#*]\a/,Dgcnp2^v4)< e%=hؗEA[b0FmLW1 Wg&X5ڕ&ZwrSIc 3;ʩ(vQ7 ٞ|NZǰ