SQLite format 3@ #Y#.;  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 "3~D|| ]/ HOL-Data_Structures:threads=4elapsed=471.006cpu=1687.020gc=107.6087zXZִF! ]ŗXiɟO}M:; AuO||'Æ.DңoдU"ѹ z{(;VC, j 2 J硗Dk*8'1=CӰ^]XKhD]3IfY'sp4;ԟ8:u#nvzG2vA!}+C!. U$ib$x$w` ZH&@MΎ/Iu@G,EJ<#R?z9zW8aGgEO]p.z~ #-šSq0~ocgBmS>=&@3 ̭>x0@v`ԉŕٳɥ %^M 3 HOL-Data_Structures![>~ytoje`[} 3O% tHOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.tex7zXZִF! 1k']A-MՋhvG"uIBm5o]Y͉eJOjNbg82F=_C5/ |N1 yR1KђR"M{Vj~G<28t;G|#̣ gK4AGeBq+} ɡ͕5̡vG~KYG.2̺Şּ.+5fg#6l6.h,7i<>%P2@ehNa?3xї 3B$t9-Kp^e Wq6ؓ:{lfJ1- 3*~lG&zL&eplhj5Չj剅rPz1US/>r~\;~L}~ML ᥺u-Ԉ,g(.!U4IVeQ.o?'YG Ul{{ udS#'.7~[Le(,ZBCN/G_3K4Z=`AfZ@WcXnӂgUZ}c2Y`I;mZX2oɠ34N щKF@,+#n.XΥ؊,56i4jh 4XrK.pZԧvU¿~^QY-v2ƍBLb%!% ƴrP6 ꯿F \M|([X@ڷ{L \c4Q=lQ_YR~ڄAԄdh|Ӡ}8_I% f,O!)̤(ou/;3s6: ׾@io@7 eq%p ܉XChe%|}UJr  gTȠ5-%ȍ/Eӧ ټ.â35 Sݗ `B:P+Sk|? 'Q-pҍ["6%/8 nRe'2|>P6:]tI_T*xq Uv?XbbC|efdWp;v~JuY<3 {G gN\/Y.-ӵ!8LXK { v-uRsX!lIJl#Y֢YK2Q*o- eZ:U!p@RKy,s>Zx7iSl3?%HOL-Data_StructuresHOL-Data_Structures.Tree2document.tex3@3C%HOL-Data_StructuresHOL-Data_Structures.Lookup2document.tex2<3;%HOL-Data_StructuresHOL-Data_Structures.Cmpdocument.tex1>3?%HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex0?3A%HOL-Data_StructuresHOL-Data_Structures.Tree23document.tex/@3C%HOL-Data_StructuresHOL-Data_Structures.Tree234document.tex.M3]%HOL-Data_StructuresHOL-Data_Structures.Priority_Queue_Specsdocument.tex-D3K%HOL-Data_StructuresHOL-Data_Structures.Array_Specsdocument.tex,A3E%HOL-Data_StructuresHOL-Data_Structures.Trie_Fundocument.tex+A3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Mapdocument.tex*D3K%HOL-Data_StructuresHOL-Data_Structures.Sorted_Lessdocument.tex)<3;%HOL-Data_StructuresHOL-Data_Structures.RBTdocument.tex(B3G%HOL-Data_StructuresHOL-Data_Structures.Map_Specsdocument.tex'A3E%HOL-Data_StructuresHOL-Data_Structures.Trie_Mapdocument.tex&A3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Setdocument.tex%E3M%HOL-Data_StructuresHOL-Data_Structures.AVL_Set_Codedocument.tex$B3G%HOL-Data_StructuresHOL-Data_Structures.Set_Specsdocument.tex#:37%HOL-Data_StructuresHOL-Library.Tree_Realdocument.tex"E3M%HOL-Data_StructuresHOL-Data_Structures.List_Ins_Deldocument.tex!=3=%HOL-Data_StructuresHOL-Library.Cancellationdocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Mapdocument.texG3Q%HOL-Data_StructuresHOL-Data_Structures.Tree23_of_Listdocument.texA3E%HOL-Data_StructuresHOL-Data_Structures.RBT_Set2document.texF3O%HOL-Data_StructuresHOL-Data_Structures.AList_Upd_Deldocument.texC3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Mapdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.AVL_Mapdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Mapdocument.tex@3C%HOL-Data_StructuresHOL-Library.Pattern_Aliasesdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.AVL_Bal_Setdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.Balancedocument.tex?3A%HOL-Data_StructuresHOL-Data_Structures.AA_Mapdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.Leftist_Heapdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.AVL_Bal2_Setdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Set2_Join_RBTdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Tree234_Mapdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.Tries_Binarydocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Interval_Treedocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.AVL_Setdocument.tex:37%HOL-Data_StructuresHOL-Number_Theory.Fibdocument.tex M3]%HOL-Data_StructuresHOL-Data_Structures.Height_Balanced_Treedocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex B3G%HOL-Data_StructuresHOL-Data_Structures.Set2_Joindocument.tex C3I%HOL-Data_StructuresHOL-Data_Structures.Braun_Treedocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.Sortingdocument.texC3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Setdocument.tex53-%HOL-Data_StructuresHOL-Library.Treedocument.tex?3A%HOL-Data_StructuresHOL-Data_Structures.AA_Setdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Setdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Tree234_Setdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Array_Braundocument.texE3O% HOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.texRHAɲWdk[G]23V+_k'!WyIޗ>d Wo]$\99֣q_4œgxS%ced 8b9$ElK9otnH/Ts$1))\&>Dlqu,o98H.CU ym}cA!7/}Pc鵫!EG-vΦ ךiAP2j*\`D۳Y edA} >mr@%+4Sg][pV6G#즳|21m+*+XFX bt%p3ua|s_܆tB.^Xț yFpvq B e@;(Mb‡].^ ɢTlt_Xq+}J3i2#/33CF> -a^T|_[N25 Hh6МOGQWwC拈JѾ*4 q{ xnUBj~ aEt$f[--5c>䐬'2MCYxJWu s a2Fv8(G]m9}aiLtQE55ɟH(7a뭁n:EF+m7;#,>yrZWiZlHK? \+A͜%k<렪R)R^Km!īfk@]oW@Lx0r!1R"FQĹd&t$lVbW\QZ,+nO^[radWU1,`H5I/b̹)*\~1ł ~"8[Wy u"J~tʼn5e}=b֮A{x5(!v:59, ɟRcT*=n :Եգ2bP&63"V-[欲\K#? l-L :szKV g ?ax[H"kH\Vo1 :o@8|CYَm@_TsJ|^:!SڌJ+0-BwnlȐ(^f\joS~{wmn"sD J7=[$l}@Ѽ>#) \Rf3F1k2"NƍgMkpJKcg渁{SO1@G"U)2|8y i/~/e}S'ɇὃ\3PDnS،ٮɽA\Uen"Yb#k |b*̃n'ɟua} Hv(t8WJ,{v8.Rq/)GL6̑IWZ斅0]B`"趯gB5a(4 j-x އ?fUuGŰkK4vAP!wcp35kSۄdf hDdlD 678E^W.0V0T2cP+A޷K`Jp89Iyoi`-Ȼ*8YC^DjeiЂuh(.=m_Փy!-8LCh Tw y4~ ~[fvnc>y$'T|T~"V#$ &dn~}EOR]gwxf|̥ `S+2_9ir]KB}R.̩۰皵fiVx/1s,ȁןh~A X\=^]d؝B(R]aӈiwiKiQKGPc`obCrNCfBkdjЍS4oDRWabV>';Ҧ7y<]꒷GiE XBtN&du`AtK_,0NKV+氕+MSo.X<vqlnQ9sdF\i}ǪXmalBۼkl^R" tpز iTÝ+%m>fӺ͕6 ^ҟfoVn,ChQne1>$(_I\_r Z9f~L^˭"AULf]LJuwRv!|1-+wApK=l)I"dܔԅfU eڥ)@2D1z(a17ޑ'Kg2 TF9ysWKdF `P`d;)ٷ>6b +CtfrxQ(V!--n?Ɓ9*Ԡ>Iz1fR(*} [W'm/H"E@A"jꀸ A}H б>wƈJOںh∎7JDgu/t@l^MJØ38ԱXp",?[it_١IQUh뉓ppʣID1]Z'D#=t3$ۆֱ(hCJtkG}f$;(BؿZʦĊ$7Eƣh8w2V_y: l.Ԏjڂ^˥9_sj-BFQ~ KUKz^.6vdm{ł\"K5w14ޞ.Ncx )-`,cs H_ JRl]+b1k;w)Mϭ$."+tZB!}A#cD-_yjNaKEP}"^ .ZZڅmݑ>~mxiS. wO5B+{#h5Jpbh/$Vr rQZI [HxQ"`U)> C\>VH_ZdqX'vHfG9*c']VaKv*IR z(42PԵ >JKj蚬p9D% =Ĝc* ^KTΐ 3ՊqqAnў?xѶΪLSyPS6-ur;v]4܀Nw?g+[PB+F9hWG)㩞  _wRkW(ڢ H2 }Wt'R7j-/L r1]t#)QXR[ 4Y M8_Z贞2񤙾`zGNYat_ȏ+d&Q>OXGg@D4 H^wQ=삷"@wFMZ@Xra=+ N n @m=tQt-)NtFԚsQ_d̉}@zڿξtk nksۄ%ZB>S- $jfpQk>нtK$t+n1!7D~eR*~I?897r͜ {T_]zEɩ#%Q*6>q. y /:@,ބuwf\znOzYets)/R-9rw_-jlA1XeQɏ3޷̽6m@ \IϗqhQ,I9}bnDwlYed9BS+5'~NkxΚXMhUn8<}]ѤU*M?۷$9T!Akk8KaSHV¾'퉳fVs=^z%i? 4{7fJ +?*]!I'R[1|jE=B.JG=V6G*N}/?lO)9RۧWCŎiHMˀ-y}93Ph)[KQd ӪشC4)kdvչ(=:t0}.[.tuwЫklz48nAL!)NRQ9V:8uqy%64暙p |RW7[?8<ョ;n#l~e$jWKnjO%5/\գ܆F6(~~eN)3xA-'mGw42 _b㵳mϓ;(2J:5? >j@蔐Ae|Q.skq:hÅ:e 2IC`Wx)]VEaުbY'8.&3(zU9rX~hOjÎ YQ6,Om9.*A&ZxH; C8Z]]Q\Uɋ)AA)Vo&~iqb ():p|c~Q3B6GFD5 +ZF28-'PƕaV'?XEљ$ᦵ%7+K!V԰x&G I`  m̂8F5dGJY)~B:"@!ai*zdpeC!aR% 46KȊ;~b9sX iV>&%C}m RC݊HJ]騾}i"o>ޏ(64LJK|B.- Ke4+9ۅ31Fp?<ɗ^G~Ev]:%w(V; L!q/3Ψߪ)>1"~wkAbA`;5/q.UOҐ9BE D׋TۚG*sbDB^1E<7=^+NtV93$QR]UxݟeV boѐ `;ĚI(&Đ8K$3b5]c3u~3{L%}Wt@C:YҊRs!7z.P𶢜dwt&yw褈(#ϘR'U@VP9~e\.0 VEn /\?XV6wjhj #9YSž5kCwޞ;/U,Su8:*+aPMDoiZ vAX&R8- x#BQE:CO_4J2#{c@ k*.$Gq^ tuM1@OE;6 z"4- G}Ts- ߉;oyZcd>#}A{7ow8Ʊ⮊pXzoۚ!aFpւFm}7 q6QR /4I7ec GSgZ > g|bө V/.u1qCSw+AJ嶸ꇻfax>LhhWý 3ch+,p^n]5r೨cɐ%W.aPv$Sz*,3t8[Uk=jb@~y,KPxM*<~"6`BͲ6*q,hm+`_7jHΡIÔaLwNMqhM3*4ެ !F_v"6'(-1PYM"jn|Jsj# <А7^>O#N3 =tv֕5m2wG5Xxm!7+ޥO|C[?y~։pFf"$5$KÁ_T5(F(_l׸ӪHT_zQz+"SrV ;(HB$tO7v+c @nĈMog7dfdZ&:GKN9 .P-!2_p5M9GU-m-DeYv{ "[@ʛv;G^Mo &/?U<@λ~s! =;1̳}ƹ I amLB զ|Y$,nKg'a ں: ŽNE&nBVB(5̍~*[W^#)m-ҍ8}z20.Wqnz9$ (`e[ynuH׍omGn24 OWf͌O ;픂N$(xR=-Q2 k|&~= +N:wiCЃAw,3bsg"E&27iWBj V_uRrˤKWwpw0qRԎ.(lKFNZZ &?z@j7b]] T΢L'RtT9?>tAqLeJP򟶒RAojELioF?>_g]RZ|񬗗EJ~p;MenBjM;tBϪ Gk>:#|{ t2* UOkڮ!Yvͦ״اW$MF,Uc"ybzpdly輐iK *'}#6VaI\blTQ- 6$׈X]-IdV7Uz8)l`QS4#۫P!gYZ 곷T}k{#M%PRW_vi/}Ѯ~yDlFy1\6Qа~&:ٟ Ei;=`}rC+9 kg$_WT@3E,if83ZQ\h0]7# )8%#@Ѯ7xe_ȆM"dƃ`zT :`* qat-j13Pas Ս&HT Q"vT,J!2.|/VB@_,UH e!j:CN&n9q^򗨓J)動ؒ57?b<ⰰCs2o+f?D6-c*e*iVΔ^#D|3nKf^XJuKܼpe7^> ٰALPMԜOZ F OB1evU!>oa$rq*1})$a-Hbb0ts/E$GsL~Qdc6qV-Xلw8oD,cC"MV7nN>f ͉ϡB1V?PZM7njɍTω@,m&p:_9[5!pQg#$x!ꈠ$ND0"MU2p*a(=VBuM AIPfEĹ-yko\ky<u`=c^&+zzM7h X^^-5.5gGe"UULҷkp|djثdy>OH*R%:M-sg&Vd 8ez:=);-/A\6(܁Pu3lpϵ`<㫐ݭAP=+CJr#RapK~_@ܐHBhG*; JՈ@?U5,^e@/{4'Z]e/4ިj%&}ٜ\H #XY頋YoZ#U12Uڧ[e |v_x8M3ByXRT#6JbV;щԲ. ։[Bh߉eUQh-eמJMa(y7#q 4;&*;*r;Z [ODD[Pd.lcMۤ(<)(y& <؞-*Gkw>XQF: 0 ('IR"_9jO5ONnIz8S7AGE/1a@m{kOm26j=Ppǝw/ӛM2Gv f^ͬ bؑ f,]TĎ& zEa6fg.Kk>)93li(F&GԡK=-1:OՆGadNddkRx:$|'RW[-Azt_Y4n6J%IvH#ߙ38Tni@W(S:e?:,fG.`wyepg3jq;cF5Q xႌ*Q|p1Ėc]ʈd|l>uF=z3 hzsLfqS !ZT;)t:FKX FtcKQDGlǮnS/-SuQA}Q"fGDTW/ed.i^H?ѻBcZNcCP_9C]u[Ͼ.1X|'7_!}FTjx=4`oVfEͣ03¬C.T7鴡5g*dR[^ Bks # +SL%ƖVMaL0 i hߣǎ Z>Md. r3_V 'la[ʉiL櫧W~[݁ʪiTVOsy%ePK"O'.xKI,S"E5&H >]{j-n#Xd_3s~B!hxCJ߰A_Eq;D;iSԖ`yo^S oN#65]o@4&m<&u?t 7WdnU&'2~Cq"QzSZq$Zw}&]ଐחM@ЂCa{d3k^܈Bt]*s mUf7ѽ0^:@Z8<ӳN?ŵo"yFG)$m:mCT29~e 'Q[%^I(Փ>ebg%JG2˷tK IoZ\ trzH$ 4#AS#gNq>yP{L7G\ "gGHՄG4_z&;wPX'dEZY:֋D-2!f7 !O,}u]%覜l%/ܢ"lwtaQa0!M,Ek'3?5ɎM$j.%۴CPܴ NVo鏯b4NJne>X}YL XfTYovɌ 0jE(#:K'}SP4_rɶ[XTmrL9[єqpc Ϯ+_]o-[e.<hQ43T6,e>nq$3VB&6"5@uaTsqǔz?ס/IQ@qt]Ͼ)Ѧ78! gV~d /0舃FhΧ5Fchq#׵ Nl&3(Պj<䘏Qׯ~]z(ӫ;J;eȟIZ0ڽ} T,lp}cl}8ѪwMk\!xX#GD<26P|pf- [$]5fS '9znL^ʛIˢTA(BdeH9s*~ve\bE=G̫5{?\"ΝWX@ hEJq:gYtPD.lPGvٰ@H+Td9 w PGG`#v6bL}j~@d(uԍLҞ\5_Q?w" 5|mu7ХԹpf"yQ~١ʊCeomGNՅY%1 ԰粀~ !Jb 8m'S'9ivlSXEeL㻘"^KFK'L4Yjx].F`7k2S E0u cZ$1Q<)e%\pP/Z)(GI%E}Q"y E*?ؼ 0$I H㴟CBb6*DT3KTߴi,~C1O>5tNi0[3 #If︸铓͡yob״4%6 |z'"A/ԔXDo,KlTL'{ DAd'&1Fa'xbUr*2OcщM/:Py!=@Ln`SR֕ MY힄:t w 3Vpo_-0zܻm;}+a=8NBWb;'rGj 'g+?-hYZiS^&Y~/.P5ay"< KD&br/=2. X)qB9 ͛J,4=O+mSt +Y2ҟr[`J`yQyRWH?d0 i֥v 6b\bX}Qo59AIr7a ¸kOXE3c.nǝ=ʹLU8}$ |E>Tm'w ri3,B7) (#0Uல+#qlJݩTx`,GkcЯ.!7+[r`&*ocK x*l(^l44q+vĘuT*W3y}M>Ex*a\%mk~+oˬ.֘,/%QttDk AR\8Y*#bAnٜӏn2DD7`4^7Qr\SZ92;:\cqmٞ/]fÙ[{p/7{"4.pMs ݏ H0>S^l_Y|5AS=S~U |&:yq+Q>A(b4ulݱen@qޗ Whct`3z6Òr1ܜƩ@XlQ׎5U7tApt%A X\ww n 3+-8DXx+Df2'Ոw1DOU{-[4kEwb'EzjM2ieO^5pXZjj v[uryLڲQ.X|}3k]Ъ_3efHK‰/F=DxdÇ\ g bi c-ղORxN u;Ɍ7_u\ƣ O]bw؊$*'5Litm.YM:ph X5}k 1gi9I/*_oZoZ{w(+.?Doɽ7jz\Y1.S8<хDLw̹9N_l+La]\V8̴ G&f WkW nбs͔^r (>/\'/(踀‚a:jP|qV6Xf~m1:w?1yn7](CnF?s^%pW }Nu{|}R,WG/o.24QƅwͿY0: Wuk δ%]Ku.2JACJ8\8ŦـG8Z##GyMv4Y;LEŰrі0>*C;ABIordU *TߧJ4A祿z(\.8,&2㤛L/Z-v[X]ng7<2yMR g^%SNƓSq(C8 ",#ٓKjL^m(xG*OVTΣDGQd#$V5e4PXt&ɬfsX'.$N*X7w"q9ND2,}Qz^y$+՝Ċl[`_{'9(/?t1 # w;|c/eQb vIgDtf OH鸘tl5:si&vj jI,o^EajU#0 <^A~ HJ=,4ِVSOnXɲ:ßcY 厚 xi0#?z3-30BCq hUمdԟF6o |gm55u_,mz悝TzW;N˛]R es)isrQܾ`SLm'5+|^ T C}OIMv)&`f-W҅XU Ӵ7j5ծf j |5\$coUoyа4_┎z8*ݯ:]*\zAkϵcdx)eJ3Ǹ#ZfY-5vLګ>Ņ8Nj՞?UpO"\YR.{.{D3FFS#Nڲ*iʷe!Lr/Pgr$EFU^WP5[z+Ky/7w/'$%|X3bxRY=_~RYNT>gYZ tt} 3O% tHOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.tex7zXZִF! 1k']A-MՋhvG"uIBm5o]Y͉eJOjNbg82F=_C5/ |N1 yR1KђR"M{Vj~G<28t;G|#̣ gK4AGeBq+} ɡ͕5̡vG~KYG.2̺Şּ.+5fg#6l6.h,7i<>%P2@ehNa?3xї 3B$t9-Kp^e Wq6ؓ:{lfJ1- 3*~lG&zL&eplhj5Չj剅rPz1US/>r~\;~L}~ML ᥺u-Ԉ,g(.!U4IVeQ.o?'YG Ul{{ udS#'.7~[Le(,ZBCN/G_3K4Z=`AfZ@WcXnӂgUZ}c2Y`I;mZX2oɠ34N щKF@,+#n.XΥ؊,56i4jh 4XrK.pZԧvU¿~^QY-v2ƍBLb%!% ƴrP6 ꯿F \M|([X@ڷ{L \c4Q=lQ_YR~ڄAԄdh|Ӡ}8_I% f,O!)̤(ou/;3s6: ׾@io@7 eq%p ܉XChe%|}UJr  gTȠ5-%ȍ/Eӧ ټ.â35 Sݗ `B:P+Sk|? 'Q-pҍ["6%/8 nRe'2|>P6:]tI_T*xq Uv?XbbC|efdWp;v~JuY<3 {G gN\/Y.-ӵ!8LXK { v-uRsX!lIJl#Y֢YK2Q*o- eZ:U!p@RKy,s>Zx7iSl>3 3K% dHOL-Data_StructuresHOL-Data_Structures.Array_Braundocument.tex7zXZִF! )*]A-MՋhvG"uIBm5BG%ڪqcXD8՟N8_iݱl=t*0lO|,Ov玛ߤFn! y%Wr4͕*=K4>ol1k+dfWR˹OY#]sgs 2e_) C09h??: R=pRQ0T%[Ƈ4|l՚E<&ـvҘ ͜{b99D* E 7CDkG0JXw(0:rl>MP$ 9E{:d< òEqj]ެV ?G{Vv)鞒MQH `D6o t⟷ځYK) R;3نɻP(i6{5.-D9qjwV)Hؔh8T>xŜ/D1Pش IR6_u\]! ^5ӛQ8Zd9?4&^㘱f h~$ukL>SHP<ǯ <4ؖif^Δ,ؽ`,ة C.s~ÝN;_}8,TPe9h`2F_3 5<g ;MSҥ'cOra6DHj Uַs6J ~L4:k9ˈU-@Hد3b'n 90/]q_}l ɈgdݧQfC͉O&9L&56鐟rm'mਁ ԀC4M M^k9s~C >AHZϭ,a|sJ b )Wӭf7qBrVPa{ʑ)\'C5-E]c΂GrGr5ݥ&N>;uNae*_ҷՔ-l#9w>!!LՏ>1 k^$5i4Od ݺ5{7*2c>f湥Frs3IFMZɎN*+T$0y>VztO\jY.[ְ'-?09. wC('.ra7skp6Q$cTw!rX6^8=7`oS.?F ycD^ {ߖQtyQЉ Z:@/0zƯTle?mFooџiZꁯջd-ÁD[:P%?}8uT|ܢm|Fz ~iBcCK*Ey9c^M3=3O3"z? QaxY@ @e"V呵pv= #+VK,&AM {3VDɕsRӸs(ЉNEFDaȎsL`L<ݪ5)~6hN/D4:ݷr1`Xu0ߝ u/_5lezd^VW$VsU֤\ꘙÆ;v@՘VT֫>, $I}" h Ԓcpޒu\u-g&}FN!02SyTrHk?DHºz k9pb,`&4jr(jmjA?#0LzL`- ZETK2ۍyOr[boF:vWH%p!&.ۙGzVmZ8v5}9=o,zlzq9`$ RY`+ AЅ7oR~Yip dc!ڞ(.|I'3c1$P{ {w.; AQ/ `TJe 5 N LJQwrd?<)V;V6n^b[PA2xubA7~sfxj;ޮ]{Gp M괌 N[n-bzfu1u*46K: SRx!a"pp[ꨊ@?M[cT5.9gMhQ ]$A:4U&!D^0x)'ɑ0iOiLl].xyee]hVGQt^QB ZϭA1InvKt2*Ж%*SnjʕY?E.| wˆ6pn2‰.Eu4B]<˾2 ,)>p.$,$m @\T%BL{]^h`ܸ8tDbfNzc[J鈁b,? MzcdR(/Lq.LmA% ˍ=#Jm՝ fKLJG4ffS3ԑD%<O`@x&ZVrȔX;JN¸NodXFY5l|ؠoS5,=ƀ%BAFGÞyZ-(ȦxW)wB*SuqֲfFZî;C'oE/:򅧕;h?m^'8J $|y'vk3{</fsۃ\ ;0:_ cu|'keetJˮjcNJ3t6D/v8m&vBGխHB1?] /ϵtxR7P~7H)CG^e q4]K@Vp\~}CWASJu ETۉu(ɫي`}jJv}TbF+qE@yg.T 9mCۣݹ¾ac@hmª HrJNޖWHͬ$G2Y@a3ZX[t <׵Y FL;4!Y !ij%eP:lv=2Qp%XkC1y1ϟg;%X}-cԺP!Dudu=3Jh |K`}`a_]J7F ~:㺢bmS?\_zߙspk4$c""tV @O~ݢTB+-vPiՎzhwFLg"܅/~1PKuž'&.ŕNأ"7Ksr{p½imQsw2*d=_ >t&d0 )Uv9чnL lVd*>>mԨD-~Jo/C4B3,_WW _ WTKq' ipnYwy4b#I1}w$r1^ (` W!^[ç<%)rXͧE NOkh$!}E`,viTW0¤wCi~jV[I>FGߞ^R~ IqE/ܔYˆc6ĥ!E0oq3[f]ҜdC\S-,l'THrcF״IJ)ZK)nCbPEeU N"԰22@@>Dvٕ}zP ˇ'sB:C+uI@m* 1m2)!,ҠQ#Oe$}e*󞙧Axm1ikDa[sU!8$FjeT)XD;Rh@:bmQe@%MB,{D^uw):@oA;]Ru\>$Pg4?"CoQğM̿.2YOд/zݿEC )<=q-z~ǼH7ɞ_:t3y E"_^jNd$u8SgƁ`VJ>=th9s$*۫jB4鹺.X[cE_4ܻMsrrS)ECi.]jw45+ai %v=>(Š(QPoFgM-*{'h .LB0a/84U3{Bvz% K^w_;$Z,nqƩG_uf &e88tˠ :t}NXnOF/l$Xwm Nq0!QvsHL>mw"*ڨν&((MV9"}maF4;rl.&\bhZL%v@bvszjlRm-~5RĂіcc`Z)|:{a|?.3z>Ipz8 -MCG ? V}ew(]Bk+;~fp>]TtGӡ!Pn[08C;*B]j _!g=BW9KeMX#ю?[R.45$I3 aQ@om)[dc01F:S#@.1 QT'..Z׿_hu):1"9'`tMXcT3pU>4Ful}j7ϻX5 |)j(-@<6k[!SsҢy]$4,Rm2ƾ\ bn.f7ͼӰ+E~d6ӝ_qnXbR=JК\OҩL ֤rP;}l-v'$u#)3jS k͟4s MT5Jnx2nJ&z&m8 oD;+= ڙR$=UrOvmOp]'?ֿ&ޭ>"4Xr/ ;zq `0r޲#wlŧsGNZsH)O ͧ_ܽ Y :1DQup G){^P!)J54.e?2TJ"mh0YHp?Sk in/} .)C嗝P4 yORCO&_xF33ᶷ2aU?s g|g%HWz> wle\2!ÓG%MN:t6zP+у>u쟷qu "lQ LmIF#zf+DۣNzat0Y BB .?4\`VGSI+-^i1|ulC̘ҁ1HPzt15JlӲP_t۽i`adJ1|_[ӷ0],TVaFC50ѓ e-_iij;aKR.ALQŧ>tj-!? A1<o0WnYkB$yoE1uIz!Ăv 7LÃ2-feVȎ9Ȝ3)!cjyw͢ !a?t!xΤ]8^=*xjy=}kk@)?[Ӱ/DR{>oɔ IP=T vĹ~1;*J*+5:.q',fzd.Ք]/2y+,ծ f-Ќ4 Ţ7?BK^7NH';B糅(47pONq %G|7LwnW5[7L?tG@?8!,%ցFI<3՚D&?~Pccfm(.RN#$ =j >|@I, `Q:] mRʒ%isZtlBH`V;9ެ2a3-?y7nq^s->FDҿi7V"؍><e}ށBg/]KUYiR2NLgT]mhƋC^J-?wKd ggWiVCiJ5E{M5|L,;ftgbozdP)s]4d7MtvaSeNKL%PAf `8DSNэLL>lw0eŠxfqJυtpL#g rqN\|Ebnd8<-W251+k:""EA{a_m$-g-ь-b so{roД[*]JKVrCU\t!Ac| .d?q ;#K;٩h._0&Og4 U6]2艖P(u8}r|@I c]$8v@tfсX0歾R؁])aq۾dDYuJ;,|"MKV zjتyq8l ))D-쮷Кa0NKLH/\pJ 2^QsXI:af/x ~aӣ7;'p.i##3=b }\!bRI͙=rK";[$C $ K½}驷A 4̴48AUT[]Sր&R uU8:$T?xtdTu6/ K]WYV؆=k,f7wy1B j|A]S@KG2~Y KS̥%3OWߝE^j ,LAoz=b V[L:~ P;X(*s`u2~RdǫRtLQrZ[!r;#=!ScPr!n3C?]#lgD{s!5A-(Ӵly{<:Ϲ䚨 UBG^ɱ:Sky`y3$F]5&%$/ZsoD7Ǹs ch۽*ynCxOp1dž]t.):ɻ`uB^ ,zv#i'|]|=/VfhH⇫O~|^m\B)ToL \Ts|w疶SrD74Wy67kܼTb[!]H}+qXH#ګWPCE1(》FD iKdXMk:Uߙ-X.vt= s}xu ?pJ g:X/U?Jj(;% ^T !5&9ݯLRa!x)yYh{1ӠRxdmm1-zһ ?3֒ 8 By|pC[%F4|n"yHr{ɍU[3!OѱV/xaòkwDh'zĮuSJ&+KVˉw14Y O܇lBʤ#q,h*T!濯?Fd~\pJܬ_@ Uuem У."ɋ"^~HU-_Xj5ǢEsY9Hg&t0H(8 xJ翠zR;t:!)5,G+ L5P$d_  IwO bD4!g_ZFqK!XۈO_ؚj(HLo ~;NfYt(^>DoM/OjJ % =BcBX]@U0@P] >YP<ţmsQ۠X^ T%Q`5 ApG҃(P ,{kFY-&y15rXRo~3КAe|nn넲 c ziNDnD*v,,'LNz %fFݖ5NJj7<Zd yemH چCԢ ǁyK,PQcE= g90OjDH[!y.i8#1p1!qaa,ZGTTYN=Lubw̑PrJ5e@/"H'1`#9C,S\ x̕En\Ejl ;INwvZ#p gI@k* )*"RK0׍di|捅 /#Is{"|;XXB4-oKpd=bې1WXPMᛣk)BI| [jП{?1Œ`*gމeϠ..;0r_x Pwhwi8x %0 2Q h;%^S;^'X ϪV% Sg.\Rsv(& _oSWK&wیPWQoDK&ҋNTǙF&đ9zULk"Çb ]Mb*1Q`Tg3~ƺ-Q,W-.̶Y5B6Zwjϵ?-}'Jv@Բ_mtAhLK¬ EXnf"KzMDi\ϼnxnmMv>~mj@+# IPn! 91$l9%{iEr`,L0ƒLwFy&ky9UvDby$ t.ktſTM sK P؅)֫ر=. ZQ7=427{z`e6ؚ_<+,(*$ 7\ԯY>vyn8j>MK;Dygkl1J5ؐ ʆ`ġ/K)b0hH D@׉hIl <Rs*Z<ٻ,oщ+=0u}CŒPǤ# GkMy'Ր-0j?Tr*Ou=[VFƗ.n)nr(A(kWّ)_;ubv7KJD[Vcs$1nȏx'v&M86x LIA2DympGS^qx>N02mtw6 N~5ϟ1#s^T) "}ը=a97 A9_\7#=H_A0kRw@':S}j&5yg%|jPЛ_/]._,=ew߿1<+%ܹ鸬Ul3jM7x\TB^>&ivDz}ft7 Zi TjJp-5-5A-_]+DG'E_v-՞wo~O{rQ0*lL,Elk3 _ EԠ!&ΰM½ϏS`eQֆsH8|!N@Me KZ> OߒtetI1 F.|@R"g#/#?gnZ QZɈ\q¾26W^Z5*WK2b~Yic4P9jbyx0" @XhgDL>bu.|Y?>ZIM_9{}UhjgM:(u1ަV㙻: !Vkމon<~ Bk2nv!G1 ,Ni xӧ-!otǩ#嘾H1s_ҾUFGos1U)Al7E^>^_qhУY*tY׃iv`S⚳f)e#y-_-"xLr!7h&wn{013cyǘr RBIocAɎ; )SQ_&w՞l3U4^ Z B|FS9TB#]^DijihZ1Bki爯\u 0 Tv贈1]bZX0OxUx,* )g[X@gJPԚc0s**IRA[We 0HDH*<Ř鋯L ^ף[*9E6 J+t#&Xu[hR&~G0])3&t4@ }v6qtG8jY)I=lڠHRӐ{CEeBF1cIMu1icިC.7-Ѭ]4<q2gYZ qq3O% HOL-Data_StructuresHOL-Data_Structures.Brother12_Setdocument.tex7zXZִF! ᣻]A-MՋhvG"uIBm5Jrrn$;\40Y.$& #{@&TM @ -ךQ+#Ε?#Idҳ(P&Td yNe1! fLnP"Xn;^=77o+OIA0=8dhd؇pZ g v0ByHGr\-Զ  vgOj` M&Z]_yK 8MU[5Z@2ۖ>h V2eypa$8r`% %85>͕͟d {_>]P.~dlو ;;v&JOeJz K[f=Q^:nY;EЙ~ZAq!`mt>K[!11&Q O$+Ҁ:t, &.B$R-#){:[3Z`&Mdz2_ /=T "FZϥAH'2R$zV?+,$HTuX גWd,-6NCFQVCO&3>E>6 ѕp\==rPN;S@\OYc#N-*Cٳs _;UFܰ\!-a "Fd&.pӠ Jt]4~D2H}[!`leK1zZ)7vG`Vu<@ʨP/僌$O MUM\]."&QE[-덌4&91]buZ9oPnݥ*}?r0^7wd1ye~fóBÈ4E)"DOwH;ŊLfO.r@Clccbf-^Di>WwD>n*?X@SPyh]#+[GvPIVީqk2ҊC!jI7DVoU}>}hJ1?rO2Q?WF_YO*4" y 4CoOFo;nf%oM,q᳙[#zC@uT5sAlxc)J-7_ dUrޤm-=M")]:6#5h#ڇev*Sv%Y@JkoWaۊYydO 6 pTGT}dJlO ԧcxԛ ݤϿC#%oǘ%UxPtJLota+me$D_z6ԈV t2_ǍJ+*jiAI^5 zHțzStb~-m}pXP!`V,Xم I4/qP7!<+#<+M`Trglm]DILb;hUb&,1`!guR:FM9Ȼޑ߯En=̛f$nPf]_Rp!MK=ؑ_0boz@H̖]"[ FpDæyG 0JhpO &R[iٜyS&'~A޲hBdQY%L⚛F_|k!Js}IfJx[B1!+^d)fY8)7d>DPL?A>B-6bF4Z:nAF^@5yvcy4e}{TG K {C`"ۿi| 'W0Ў]/wVy-,~BcTjpzOK:X#VM13-Q"mC:f9=$nJzoºClJ^Pg},Ԫ٢m /,ȦR`Zhԁ: DK˚ +ď cm’<w u>Sʸ.݁ҙ$l.Hx Bkb,ñ-kM<8 zIuG-OQ(h&Rzzo(O~cmL`t4.TOf L6OB)pe *E^_ &"?"jj/w~0u2ef"n) k@q (&PI9QqmMnï9+Q*#k*;O)Nj#RxtXtì1m̃e8kiosB1iR*?(^h ~&0~ȑ;&>D:u@4T}ALe.Xw ȿپ Y-?[OBwЅ7pr싖1 h,ʡ$왓l% 4ˡfokooekC ,4LO١ @>WϠguuu'ӁMdRc(K0#x&cQF=Z X2$.O@lЂ(6E[LIQ^Aˑl*-vwOP}*YĈ,7c}F@:lg75 _[~#7̕TTRB Z9w-Va)[QxԌo82ȫ@`y`y"CyDr@as;lp*]Fes#w?5Ԥ [<*BO&%wӒ҂aO+bPo~jEk[^dFy#&R毭>!!ѓ+FqChd"fO .։ *dT8k$A?quMg=9w mلoR_{sJ鵸GjxK&~Rx6:]a}2uϧpyۀm?KOIhJhQ5UVYJ+Aa+, Yrj0s Aa]Sct;y*̪{1ٜ#nEpM+m FBUUE× lN۴idj 4CVֺ3?kYn᱌>6uS辒^M&]AXVsswq z<4d,St\0�a5i%pgZ>Ga!/23.ޓC<j_j}g0MFqGy2K:S%Q1Ad]2$6[zjE1Rw KXfH] EŇw29Ŀ 4f&8/\c`j/J7YD RKP^WzBQ<{oA\x@䖵EafǮ{5K9T;RMpgf SsJɿ}ɧ19RUD 3k\/۬ztr,w* wn{ӎ9!} A4К,XZ{atg1I ,`|}0{DȖ uA`mlJ0ֵ8k-F W~%Ջ=휤B>?vȕa *DzdIejk&𫣻funķqzk\+UȨBn0Ra精ܬ0#Wxi#ieƟdSumJe`|UPA_;Pu:&4)l1[CL}Yh.V&m[qS_4&vV3 aNw K^)bL H}ZZ Wvs|j2lM*z*ߍ~S¥|z%rOdX" wJd9r>|aH:Np<v_endA>S;2<ܜL-I@mD]@Z?kSJ3}[%sQOKPJ.~[.?\~QڰKRv"NM[K=[sy"(,}0oUk!9W*Mh$RFnYvEyJVX1QOs>;ZB,tm!8=Fbė"mVT3HqM~bFL F$U6xI>Qd<xJtVg*3uRr72'[7"ސa2qkrv/{ڨ>q4#<\@uÌ-W.( zRG!Gx AFZ8r FyvN'v2*4W@ i,D*n} |dF> <:?]5>mz_ISh =fּAE(X ZA$MCе^kRQİcn)%WI4,:Pw I~[}:IjoxAu:׮i)g6!ʶy ~cwPJOQCU9x4+J /Xr1j %cAb\_ިms@7^ =;r8V|X}Hid4hIW&xMPx;F( #X`AW5|ƨ ᨜НJöiX:SzJࢷk0'76z:H^3 [,TUO 0~w36k(u#U>6mj >,X"' 82XĴz;hX*QxPmjщVxsdR}:Cc2;Wzg\`QHx>NHw+H&R ssGsO_A\jRu%nŐn:zB !T NnW=%J/ԽXS zV7)Y{e9<3 rpyuPϓi >jd6"-ٸ!d!6:_R[68qF", o>1BI7aIS϶Yœ>C.AĖ}6$ S:$HY(<$&4,# r  >kf' ͚hfsfb>A}.{@8"r! wm d@яw;"G iZIu # : /F%mli;:#޲yZu7x+5AWaڀ> t>DOr`>֣qȖZ ྌ^V KjLW6c{.) Mj"!Ϣ)+8 $Vl- Lcӻ!<0]4 V5}<'-6o,U LĎl¸& Df1OK>ךdKgzs:z;ȚwqX{KeCBڮ-wHא؝fѓhB[BJZ 3$_Qxkhi\]X৅G?;;aRIp?I~EMd`uj)Xqv^!BSJ>Qd76B>tk$sVe1Sr=tc*|ӛb'HNrb?_yŝيalY67gMI`7dI9󪤾*o bX*`!*l ] _w;&;ѐy=bɚ r]!KIN)>0ǬA*7G#%D~St/ݠ(/lpBJT]\<&+xTEA=V@jg2z<}@yH rG#²ZY"'2n96 s>Y9 FDeхil~p0HwDgqߩ~ Y4*:a! M{[?nM s`Hm;c()KԘ@ mH_TE+fC&WUHC/N]66!ynt?*5O쿖T ^>j PIjSql&6.FkWW˲S*}Ak8T[U1 ?ACU+?x{Jp;WPpNG<({JC"!X,\FM N~Va8'/Rɏ;pgN. Ppg#S.p2$iZ֥~-7 д`*FaFI247B4A 7zX ,ej?7TK+HfeSytD4@m;܉"ɿGc435|t1/tʚs1^֠q&]hS/wŊC(u1f*sXУun/ī#]g ndA'vft5B8+<4'ĐT4Qw Uð 䀞°N ?V%~96u@@: ֥2m\rB{o.!ɞ6 Շ BpTj|p%zW*9 ΢_ʹ>} $Ba{aR- ޷ʿ82g!aqL=n!q!a3{)>s:7Mպsɣ3:lF~(s3JC/W22JkQx`4&HTD%zAmatETk\LJn?n턓DzuDXAW MI$}Gzpu[r -#];vJ0)8 #8!/ p[OKͺRb@=Xe%uidԠ>*#rc ]ꖜl٪v17,|7x$dK]̿(9˫bz^rt$R _<E`YDa{6C𴹌 a5r=߅KXI~v]e(zSt?U]:Ҧ/2&sudf ?ov1%&=nQⰥmA)ꟶUpm"~@% ])Vν/X6+vPʠBo6gh_8w 5Z]B$UH2 W*#n xFqͩ;m'`c@ɵ~CQR,ҏ8 1Ȥo$6Q҅$ܫ+7PNMoM9qrB.sΔ g倷:ƁjEkqn(^zlHޑ M}v$ۮ뮯ul7 ֩!M+ʜ TCf.ۜZS93 oAb{)V6)`\, UR hm~m! &]@ $l))AğI Y_u:; YRfr̨\Xd8]e.-̓i`pH ׄ(JXFүyh@VLQAٺq]^}~43؏W=XUN6N9Ri+$< ,N;.őwWuAE[ug6N Rr1o9L ' Ľ>t+|u(!X7S?!J DU Y f0s;>B~;95C!+44yJݛаV ̷*Qne 4DٰG>tgYZ 1 g1+3-% tHOL-Data_StructuresHOL-Library.Treedocument.tex7zXZִF! \]A-MՋhvG"uIBm5r$|e|;s!*92A7E;eekI:*ҋi)dGKnL`;6:M g5IW#;7,L-!PaLRkiiwB-|+^VY¬#" {àFD0KTp_T\SVgOG`틑66: #VUfPsS/(cG>)nY }UhC0B'QEqkfw#ZJu1,2pUœWG۰4=nƶ yz1g:>t骦 <?q1pqs^M_K*,KArOC RU>EjY!تB,ԣۭk~lI}1jIw71n2X;uNb/$t~lT7̕yV''ӈ*ُ\)ۨ,dHTU f"bgrʊ$];oE:=Ɖ%h$%>(8OeyUgxƒa"2߱ ~HP^M铀,k9W"@~Hp5eFIИAPP<5U\ω-9$AӰ!\.fk;b~sce*w$O S4t̮m9KeJKl* @N$^=YRAx&h|2a)T m7mtM֮"U龢 :)螥>S0A`8lPu41轶QT7][MDM {<_oFgp΢"0_ȝ^'8[nא%=şvisy[ؔx܉Duɲ {$O񪁤"Hjmᑭ•A; >iD pylj_}ir'zTjc#J(^^[n4W 0e3VwgQFMٻdQb'woFwmAHJ#A *P0bFD <<7 pz\E2lU–s1օ*19ۗt .@j'5o tqsJ1CG|]l=[$O;5"jbPt`]gu`k>MȊblVFeR}[nS޼?*cGU!/8qUY. kuel]YWeᮣd>;!%V#$F3iHolrD5BL&2 )y tH4Г9a={32^Tޤ &sUFwhޑ-cJcWd`Ff,y)SXiSPW #7x3 knN͗ _1r \C#BfqIp ҫcS|blh_+F!>5e __M#⿿[_b&YN,Ztي0:POtp}z o9|^}XL5cZltfC5=֘۹)/WJAł Dn>j`a!t GbrZ}tlmfh_CJ.d!U!YI^;MY"'0, ,HdaItFK ?u@U{u(zpfm[NJ3bla+!qwlT?e'o(~mxq&D/]g5#z]P7&NW UJe 70 [y!13H(~kiv!1SDG0b|L< goLHa cz^YOj~ rnf !A"K Iri@7rD@Qw`qGV3yRe B8s{1 8KڠaXaj;Fd"<! fSq (K/ _0&Tm,1JpSzӧ㜢1mg1APY ƧyS4A&K\Sifpo\>FMK\6 P=z֌QJC/`B'B;BU2SZx,)L 3ɛynϗ(>QВ)erT7\{q|mV=јz^&@4U a&8͏8' /dU>s'-vC9s|p?* p+LYݎ (<y=T)=3+DuM ,r^߰c"Y2!Hq݆v/]:`hQ]sZU| ^rI!KPTQhrqc٩D$d_]hQ)MO4=.NlaJHMG At5O1}׾'grG0sp;)y5 ׀QljXV&LGVN񀟡<޾;UOV.d聥N`qx,KY@ʂnj "SZ=wRbƯlX@QY1]vC|1iC(bH䄮IJeW& Ѓ}[zV‰7~,0֓>ۦK0hz{WݖaZLq0y ԅA-Eʓ=QZ$k!? 36JIPU `j#ǜ#2qзlQ'UNX<6 sWL%F k6ylџLb9QH)gُ<46;k ObTO7*:$v[# un4wXq)OzbpkڪdFv14#Bö3wKQX6tMPaf&Ug}aqeA*#,yviG EˢY{P+!eF#OB:j6r0kLMi|g8f (4h/.5 4o-DZԠ 7پr S{ p r&]O=_Q]Y6P\3!7X$Hn^ d. ۇ6€,yN MA*&K2,tu5~F5;ZOsE@TL\Hޞ9hJNfkrș[1;u"͸b{")7!"ջ{MnmIOS, euPJ3tRwIv8EhitiՒI%%EikF݀6@\W~:K2lG @C S`;6ke_=S2գsr4G6 %4#+X,t6ӔҲ>I`RinÞrs)zR.9ivm%C.=fIy<=ma{bRueР)?EY ywn+ϼ# ʘw 8HO b$p貕xVWYOrnx{~x3flqNaFPTo zu0x/$Ҡ#q;wEpo@Ty8N;Iԣ.U} h,VY4j+]~VhHӵ&DŷHI`nFZ\Ău}%DG[skBTu(.2Sf}22[vXxT/^Z}C_KyXشΡL#@e޶!/ZSrHdق5,I"5ƙ&N/Ta(X!WHV E&]O;Sb{&Rݎ+339NSQ=qН[}* J|ԥ7~5DQ١O܄{{sj]a׶"~2餇UN"qPSr$|6s)iT7mӎ$-g 4TqW?>?^` w6( 3H5m7P*1qѯQI aeϨ6 SZLdy }bfpΔ2??#?w V Mh8x/2X*|%Q=+ڹUa \wn<VsMLؐ36 gYZQhqB/ FFEDp߂3G$P6hZRTe&am-C}"ݱf>-NsE*5acoﱻ sJ\m'޶_*8#KfHcDN9@[GiBWh'&_:|XY>ErF1y̘;9\\0zM <)1U^]`PMt?Sa yhٽ̅FgJ%ΰ@ b>@ 7+\>Me0oc.#%ed󻜊!,k5%Pє3vRuQ;h4НB>6'l 61a(!cHAFb`׽5k+30-Y儯\z&GL#^)gh& Jw4Bo4yUљ)K%˾ chp󰻧 1k'h~ ;x  觍nwXA hlԴ0ꢀ#gDq17K 1ANJ'KN ,%J&mU,qpFI\V4rټQ=mK /Aw﨑TA& 63W\t͋>)&}SM n!Q8#l9ZwNƝԻsVǗϪ:(9ժS m%.DYyX^HFS!ByݫFd%4X)G ]>J<C'i1u5_İX*D@#gƂ4QFyrKgNu Tm&D张C6FLΟl#[8Cߤ. )*rkF#;L w3JtMiff{3xA2݅rtڗG#bRҮH&\U2Z@מ{G(c4yXNЂQmq,Ap?#\;a78 ~2ÂR _.DA{L |b'IF PƜ~-P}ħF)὘2vȹcg|:Ly !)M4ʬp"J)V5F -ך%¶)z ["? pe>+rA\颠u&ʮu0QV`CF;A˶hD7 gdN{ڂ)*j*K㪁ysRƔ+H]S 32ɥf9.C+On`j\.M$aJ` i\-WE&6sTr)kxd$?Ǽ=` JKSZY'˙9|Dh*0] .B PwZ G_w?UϏ_( qTW.8e{hhH{]=O364N_<$>)].[ˈʽ y'4z-pG s}8A!*|\zZa:;Zum/a=:V - n]7P4Qǟm[:s)S>@cl^VdPXٔUewZZ 8U/rUMB~4- 37O,msC,BՔ↼ ŷetai+a!C'ҍja,O&Q! )#OZ4n~X5k&ğh)j{;L*Po$8~qC~0N₊뷄Ԕ:RD}HvQ,HۚB][U7 Dn )+W\_e1FJrcVS|KV~ʺ>?KG۔`hc[Z fJz9 Nu~G6> @eט\VUiC!fE\*-jWF-wS;̉F\R=O-3B 5yGĨj AOV+ljrZN s ~MV0'볓/#G| (vGZE8z X(Xq8w' RW§JM=2 cޮ >PvhA+~+X Q O-#=;Hwn-Ӂ9EY^vـY$DW$xSLnAdIT[tg:L̦RwŽGho[|wj{Bwv!۬+H L "gl(:_sDjH*o%HZ0I|wt!dwMαT䲍R$t8JξAp:{fw[\ŨkW)m#o tN2I ja!B'xa2d|l(D[L]&dտT 9ZjJ ϊac];XEAḸt`/cpDEP{];pY&&M6D܃B4Fn:?CN;A iUYo%*jH2@{ I O7ortb,? rqoN5;m$Ǯz*[ɊMG)`yCC=]{' ' 2[UMA Ÿ9;B$m3Fpdir^,ɻ@gYZ  T T!3I% DHOL-Data_StructuresHOL-Data_Structures.Tree23_Setdocument.tex7zXZִF! "]A-MՋhvG"uIBm5r${v+!y;ʃh%yJt[^ҽ&|]]RɺUȟ/O"^ERž1U L|n3=(il}ecK"4k5M!MW:@M8muy!J{{ bh.bH&ٰ =GK š?z+z0/^Q|'uT DY4&e]h8sRZtf648p+Oi;QJݯB&k:8,I |d̨'S>Žɔռy/&|ԎE>\́ p57wnڤ8Z2B_ *=ה icr^wԩBe%y,>)HO8v_\ 5E\X aI ay'=AxO pdխ90iֶVZ Z]tLQ 57=Xiۤ$Tfk<ғв B86m9~h"h|%Q .ocW2qj}FlĠq%88agu] lV%;V)d4R"Ȗ@=. ;/Wvӟf:d1u=ׇ 0áF0F!?*tP'Oj8da*Pnosyqj3fK:K$^:^K8Rq{Z̋&6x$ h :)b =iRr:rd7 &Y,F@o@_0bVU\p$# qH&\g@qrH ]Qػe~lڻ@&۰1)>L5Ne89gOB=ǖ hTc ݾuS =증X?fV.:PQSyJIKSuj ϭ2puҍ< ){1K$d,BYrM^ , :hH^32QsKy(}Eţ x6-4(k#gK+Ob^w M<is܍fE/L1Qح"9g>aE?A庅ws,D+|o_/D( ?ͨ@m?L_ymd=QlG7QNH1ojbhE$qTߵ &bUSr*,j Xyv,ac^7S](*=<+zL?1OH3;!4OKG~u\Щ{RPCд ?+wUk< -l5Bm~]M >* {(P 僡H`;lJ}cpsg_-g͒ Gu). )<˼Ќ8\rrEt m+s2(x$Y?I΃xOkztFz> ik)ߒb&_`DNGdB8{*$줡JiYt_k{_cY5, m?m cݜIGH) jR¢t hOY.i"A:ֺ4osF%O^ec?#B: 6F/G.0zyxc9}c6=| ? 3C&l\q}Oӗ >lIr2oB>PIz/wF{.({oaINSۡhZ{rd8dL6bK~eW R/|=L"+f4.bY$JO@>1ї;S?qHι<.+_萠]AVIz؋h'6ox!9S^hFoGgHzSZ5@y E#Ԑ>GQq6 afWf3:7䠤ac;l@V"JBdUt*(A*Se3oFF<}@&?ИeQ oMϛPtC^BtmHa@Qw)  vGe!VrΝOHzң(\(!d@j7̪ZW٣]"{` סu+eS.Û[E5$GT/d:cG9GL.xk][R,$)S (pRJ"DM<\\w1웓O茗;1XR ^ڊS9:eR3Z/2r@ bLw\#kP,iiz>\SUe\?Zݣ#MipT$†P<Zvf޺SPG\p,[s]GjH%(M}~xتmTSvMņvUQXP~Sb~ʴ;J$*p]*Kvm0M4{osB 1Pcu{PSKh_w,`ٔ +,x*E0:&)`{2r2(\?-7*TO 5X`ԻNSŋ.U{>] I^as6}j)]ߥIKRa Mb_+HQf $ JYw6& XvgaM/HHjڼƷQpcKL0Jtyny7k{b0`eŨ4Lʘ[d8g\H@ JS -_8nt8)B O"O{Kfmj)>qsϼ*9!ܚm 0YFwQ7i\9"mJ Yhx<'=}rlfBѿ 2GW]aJ+6;X}4x(/=cnA돆 ''Q7]BS;^2\~큖0$]YC<[=*= ?)WH8USL͚,!։&,pHhf5|`W%"6GU9G[.È S3bb(daJ2ȖB)N)K>8W67i; ܰy)mڭ~NQ !mI$2Ԭz=e2/UgDбX>?)at`2/f*`: OśN /u¤sZ8mj鵍}s!x?-Ҋ3,J^r݋$G1:Ƃ⹚1M۹PC`l]8Cm+1^<24] R^KUV{ JOt*oqCA"3*Gwlͼ6Őُķ᫵/PM-N}bD |Axhq:l)'6AoWҮX{D YJ_9ۀ G)O*(> -:b+ CJTĴ$I?p@}i"`yXu{VzA}A KW4_`SZ5A"hጡۊEmiMO-o/ R^{T_Ƙa0|̇Xe9J&gSl6wUIlm“EC?8|r[Q Ivk8Ybsj S\ KH♾hvkZGqB:|wN#kEU/ -,k.f- ~g]p+fn:RTp{A{^Z+!q8OYPq&A3/#E˱N΀(מQ@hD _L KT@I+M0Q2OC-_*<ʌ@d=d=yEÑ&ܚq}nZTW܇;#y\kwΞQFgkm$Lթ7IJ:vu RʖPnQJa3w{}b4SMn]DjB+IniX&߸ ~ܴ@w(G " 1eOSW{s?;֗w $0GM^R̃^0{bnd].n]zgBꁖ11#RI)#J{ɧ?E]ީZ:2<\ l% _ҧ5_D¹9%!8Os$zn̲wc g^ut5xzؚEk/:AXNY9͟0[SwbLvRc8|w@ås^KmaDž+,=b>aba]{ ( o-:躨G瑟WZo#<G@ 'J"⋽ȏ%2;h 2fZXK𠒾܄[ORAmm` hءzm^щ gcK,U]# gz!ԽX6l̈́(+=ؗj;hSqF^τV [TSI6j_;x##-ʚDa2jODž\z#NGSRIky[8[^$tl`iw(=,׫2!;g,ߌ8"r?eOv}z\Dp &^nn5z:jI0 0~X|Ji`/Ez mE&6? ~ tg>)1A_pFYCO2`#G곓4O@"߻7__Nh"`[Sib63U ( ބ~g(ZM"c9RwlyTUb]:Y'|qU.m'8hRBdF mCgs+ R\'PPFcޙiZ8B)M`}$mup 䣣n57E6V i rMd mѨp./ٗ%ZA"}E5o%bGc*\ݜoN~Y%GQf*/7 ҃O3gqםWA> ݉ ]*TIcv@"n]`Rƞ^ Rl'aqBC؎lõC5Lla[vDΕI~їnp{ӁcxiƦ^7]/O 5R۳cUH"LCB>fqmfYo@49%svڒBO?sOZ N*qw+ya?%AvLzXVn)L7zpJyH "y@ץ]ouvuUɃ+`nˎKntÈٛ?ss}I֧܎7q%9m"S@"<EuV7CTAJWim:V!xH^)gX#uPg/w65~{Ku-XuvwHIT ZCFmp`uC5Kq altPFHilyS q7ƋAc7X2MY'mv#fS3e67ݔ%=л䳛~i!'r@?k2 -cd_jaDASY}On<·,Xtm吮Y^ɀQo4bKs u/2LIc ZVim_۝*?2ᰍ?_W,[ ~lxf2'wݱQ?ʌ7QB 1C(x Ɓ`uD,~'ly`uV|כ؂i8c^@͛(X]j@هn)g@*HҜ:,93`&V\@k3JDؐ-4K)/urkP;[ѩE?JS $Kķ8>ٿ6u[ CV$c`?'|o}>^p(r|yDU>Cςz&}s2.5ۓPF>hҹe^ۧ$7|DŽu#o:ܯ/o_%j؈/Wȫt] ro%D>jXj[*|6ebq6$u7K”PHi]z͚3첈MiIE*ӭ|!*NhTZduKsHgƽmW'f&ʖ_AaURc.X^y Z\:L/ 1c'fph{xkDܤtw02Ը`L J!A/oiKmx1m Fٲ?[PK *9K4 tIM߱u2!.{Bc qI:K JvlP7S :6ͨ$gW$XYn?X29/emGUf`2atf=wr|o-)EwJQ%[!"q"c&%"ռPd7c{XGٻRZ%0U0 W\_uoν:{vfHX,QcjΞeXF'4RwOʋB8S)lQ ZoHl v"/oOLc#{n=?覭*usKn+҅|]ZLgXx P 03 ܦM( d]fmM9SD~ pW~F~$Ǣ} ly0 $ $u< 7ʺ6޽+iu`nq•Pe4`ќ=2vǺU%8\fq0[^SBϬYZ.HnG gno#GvMg=W0*xxt ,!(9E ׊!*2Wȡ54Bȋ+xi9L+.e3a-¤ux 9mhDPyOW,.1Tr%jDmX^s0c'm{Ӎ{{V\߹SO#^]0Rb s& ¿ZNm$y !д7Q;024KItc϶gۜAG}3Fn!Tpln9SÇ3I Veteʭ\"<<q4ߑK:o>}рӈ.^SQ 8].P)o569olO#W,ڈ6s%$װk{]%X7Z4XRēDgEf &Qi"X Հe>CN#^Z/f9wPD+7GxbT2l{-L=MOI'O~e4Zc\[z zY>*gDI`tqhqxoPS_(Km!,| 韭xX9Js_萅Jk9{_-qMscix1vM3w0V(DO&@OZߚFڌ&!gBIC100sƠj`4R7w5e2ZF;%ef~DĩzaOgb1Qs8%3 y3~,} @-gYZ.jҌMh쎰9F(jU'?8ERVNDɩDֿ1NtdhmsAG*G"'O.&:Iش $x^"4ֹAGB?:KKyʵJe!yl 7B LKKVa~S skiO}VU(e楥5,krɧ2y73?H䞇 |)B\ Vm@ /UHe B;D# 2AAK000rf ]Qك/M *J]|NB\d ܹV.c^٥Fĥ1XJ܃Pe꺩'S Q|#C}ƥʂe =c_NyTA##+0kWDjO6*ZūȔ[baXtס]_b$ADzW5ևr<pDIr4EZE!fE,7XӸ-_^IFέPA pi fnBhhP'L&}Oְ5R0×|58%&:Gu܌zC#B8K>ۉӗ'ʣALAG\ȴDA!>Ԉ ]b 6:nr3 v6S D>92*0dJ8dk{j`)<,No]e2 R\ U^k@ϳĹ"19|M3]/;}-7#5͹ qp3$z:rGS}S"XËa^h7H 1oZBr3,sÇ j N_!1 ԁk'K_&H1~{"] 39rXH+_(ȖIhm. Vlَ>zqi|z5/aG\fh}(ruoEǰm 7`)#z !bɶN |΃ R(1-v@q O\L'k]05*)y{xoJ[1 lR ۲w^$~x"0oabV N{5^kl}>LzGuN<z)=nS"XTtu`4{g#=Z+rJأΗ&nO:b6Fub9+zMq7ƋifbB mzz-V;>!a1;Fl+;_:ӵshH/JߚYh ^XF*VeK쀎}R>iP Z2>}N=C%3`j?6|y e{q;<ۄWWu#\ p(n@ 0K.L=H<4%|0g~櫎8QtתN ROqѴA!f^0-D&n.3sh$QXjlsu8G/3FN'f7A7ͅ`Y#gsٓnvbWF`&\yL a .vnUTϼrU6<%t#Ugo&< `H BIBGъY@D1-щjfZ]TN;e%Px!xd`!s 9褉eL>7zn`r 0q01]yWIS#JDCu - Va5M߱\Doq=&{1p_ *v* =~w\.Ƥ7{-WmսIm.h$eer:X=+ &;/HsӬp`ZJhχ~aFݶk[7,}/:sq!Z/Z2SlJxPf.Qo}:.㗞HsXVrM ̱)Q%~ߣ |R2 g={zjW{K ?5C?.-Za~[A$~s83T>aYYIɶJ ASv6{CYV#^u}2qH`qC2SL5M__)~v\刉'dWRT &ksn_;ZJ`ˉ\BI1 {HyDĨNLېԡTD{vB$u_%+ Rf}QwI0".-n89W~Fߍe}۷(Z{oL[5 JB${?ͪ]e',`fZ8 E }PFnEޖ}?Vͱ[,^Mb4en5w~0UιW#F9R--=m*-x3+xi\v|7JkzH<> \f6aMb…/gLR Rkn 3C% dHOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex7zXZִF! vl]A-MՋhvG"uIBm5?)e~~M{{d㱘ڴI"=WwsU^Q@ۡ5UVlBfcQI{hI,?JaDKzm v) -pkV<XU}-g.fOg^?-)|cg\|<Ɂ9rYώ Wh>tK^'S(#s" ̳@2h\;:e%[R`Je%CfӼ íʛ3mazHA!c⅊O8CpC*3/C(khC! I)-$B hZ^Qe1̌,R#7E1)wS[Oᡇ~)^`YUz;ڕmmӅVO> S?{Z,OKgMo~پ f'r"{;24ez+䝲r@?+WL@{Uf!2E* JYF:[c"BI^3}Ib Y1WcUg>h,Dmi848J+&/b(+'Qnߥ`in2%CBt 3G% lHOL-Data_StructuresHOL-Data_Structures.Set2_Joindocument.tex7zXZִF! #o]A-MՋhvG"uIBm5#=)1 Ytϯ,LṊ?ThثvEF@mʷ^mr:(G8"Ju&ؽu fhꬖBK;P|䄭!08}dߌ2Ⱥh9:Ϳ +RCßx([YAJ~RpYV)t!k$H[덴xY]+xA%*qj([riݼF5Faǣ(Ecfnt TсY0_O*M$/nw'vl=~>X5em=)E(55ScRW,Ipp͖[G fftj6ЪRv[šb"gU"$Ct*'}$MҏOY.mXKN?(x) {..aHtQ6}qpwkD1D }cRu?,Ϣ2o;q9q͂o<VNR@uc 28i/"\# <ٵ'=*YDYfjeA3vG'?GhA:+w;xwy)a4nDobo_۠g$X7Nh/;!!t&QU19V>no.[5 TP. ~X8rú쳆˖)=1Iٗw5hdT$T-#eB./Ƚ*+@N'<d ۅyQ)Hhg^v4h 9|(PQ8G8$9=xb~ ::)~R5 IsL<#,V_.}\?j>ӄ6KigǚO`sD#iSio d/HNSjHGV<E<xW=w2dvX6CAʧ?44vꫭX20‚'7bbtL"u$. 5D8+ڋDk1ݣyw$ L4kl3ח]nZIٮhf,y_'5v p^-{mvFw(S_i+' ZX׽TF,^m D}s 2zplM&]Z6 btRZؔ񻣤xɎ{&Y ;eSF'J\#) ҢպKT]žc4;)ޟP, !v/ r<=.e%}Xv-=?z`.N;ǽxF&\1ή*75eq;Mw$y;%B}Q7 _/i!S ט`RU5@pVEkbE]hS7gPv%0U^>@dF5CO ?y&J0ۭ0Z wN6r+>-3r5tYӔC75q=r.&+ ٘4_~ߑ$wt,{Zs?0gw:fy` f} uy@%>?<"P`[AD\Åu^|9nC^캘 O6&"p.78*_+1F^ԍ4%>vVdĒv7̅kؒ&q" &[Q%eE/EjP0yڤVe@dH5AOqOuf,4\;#\xTbC59q³}۰?w?tۏH }սҠ_)Wz[KQ %XPWC#dEt:Xa*R|a&$ՉZZ^ ĉ᳥?W61&\%uUZ!Ikʹ/1#1bWc˥BŔyDڲzx$tbgց5@&jS[䊸NWۆI~,=-TE!M@IM^kl6Ll8TY>j̭iba!JV`R3e-vw@WʂHKC&$"bi3I:hgeePHw'v9hX\" ; {o^g!#_F'Zldžb_Ȍ2 *7C7U\cȨٹFߛ)R`ϵRe ŌZ-`X"<ъ,$Ɓ6a@Z0n zyį R,@ ^+,rn ~ٛYBd2)X!enP),g":lUe%9Af6,7oŞ ;hM'L~3hGFZ)B2=_ImI ]pc|Bt%&]nx;wO|i.|7D龨/ifmO?Á&wRu2^f ^֧&V<4KxKE:;⮷\ faoݧnr,r9( *Iz6GrH\#:#Z JCyA6wW_WqzKV$se}o>ć?9N[w ?ܩKGTPl,#&9s;3@~_ MN̊m^W+`('vj+c' }j}Mƻ-lƗap3=h(![zŧpTգܭ.U1 btv!~20j=!.TJw'踻f3~e}=A LLInk.1s湓py0]ECr,9RRk2G/R qv`jug4ܵQ#UEQɍMQ$K\MzLEࣽ8@ǽ"17/c>u?/5Ǔ0XP~o{ T׌`y8N"y.=ŻM-'Mn,/i@^iZB4oP[EG<8k"peGŪ0EX~މlt Cj*!ȏ_l`~@92. :Naal·W~'6X뿙4Cܸe $*=n*tM0ͦUOB땓8=YXwPRqɌ>c37Dڵ.=,> G<:!Hh'y#v6Ni򱩠]VbԹnr%I5&O9 E-dnQˀވ{ܓ;v{rSO (p{VS15ECj }!Ʋuf+||rm~+cbEG1u-^IIrV<"k $[g-i +Nu-3Zt#(_xHk]iH|i;n{ǀ4**.\ 0!tpu)ji*Dvj?K7&XD3í(? _0fx (߫HVYӵzP/ ֹ5<8$*|e͓f_LAC8`*rB^&TB<~?B,WŴѤ6Wawmxs8Zb_ 6tNf}ՎUw)ˌ;zm/`orҢ׃Z7֎-α/=gxl, C(b=)#S LtTRo+^1dP{dD(cWwq#MkrhZ%-gYZ/.Eb餤|֩2(NI6&F(Ēg 'N^,Z,  vFQ[~EGE'v,I0GٌTJe#k +AF##Զ\7gL.%2a1J"I:,[(Wmh;yI K3_8b6Komc\OZSǽ M<^Jky6soo>R>L[wW`M珸@xwt$Ú=B ,;>N{蛦u{_58Rcis42J; =(L7f4Y'aa_C!"ZiGC;DK 3 ̬.sԤ u0jXCU*o.0~7DC{XQ_QLNlzYU8.@2ee !뫔HFa#|-4;xB>y ok}#ZUƣE_rBlgReqKB|~ǘ2{uQ$@E4μ@Ӹ"琎 XmP# {>交[H-ͳ,E, T Z/_ \zDm^$fg&{ŀls}!I@ȹFtM4x!%ҹ4:IMp>ͭgU}aw/ًп^Bqh[FmGC &k/F.MSl>9MSp!wM"c 3M-3=}"a7Ŗ10P i<=,& FUd9o 71U6I R# m:!ԹGn3vsqXgI{rF\c sr<薺㺠(>O 84,ayi`݂:EX]0;vY̑HYlt ˼mר҈ @48&F;iE/)J6OiR^eSO@'TɓjjSЬ +ee3, u/Ѐ6 %rf%spɁ͵njƂG ?;%/*M|)A_+xK JuWɏ˗ Ɔ7|jZ~tF]AP=u|H|ij#B'N(9TحNo\Gh|wЋݟewNb%H B;"wg]6M`؏r؃9q~UFl )c81bK*ĥ3-?р8~O!VwW &):u\#F]/sW~g&O'M ]lEl< =+u9L+?ղB<ֽ~7Y-Vy[}E {8I:?fg4)G3a*/ka>ҭc*p#,4En/5RYe88p]1 -B[əH6uߗNmy7DHdocNXZ!֛ii0#_F_4 E?o0n1WpD1ޜ7 =*sl1NDTj[$-g8L픿_F4BZ`U4xyQ? h$NR@nqEZcTܸBhb8Os+'H"O֧&,BwpE sl|Bt;`piS ncd /Zb7m7nfkQVs{g 6u}Z?$6xpaȿ;+`Y-NV+ݻ੝u4[Yp,-k${bjlTcswy"Sa(P[֧]wѦ/ִ:XuXW$ g ˁ`ྵ)e'^1B" bH T͹8^6kEsC48˱;@SBЉMޫd98:̍1W;V˺!b/A I]%<]k6㺠B!m-D \7DSsBWk*xJ,˔ip+-ä2z91e_0Z ͎H!5sr$S$5kv)z3TZ|z9D"M<L y )%BC ho fVum_e}!=, v1ְkyTBc;K.zVd,'<ϱ䁉s}jI='3"_ %X \"Kg𜏒@pWg|r+pM}Bs dPQy % `Pw _$d懻$}hzSsVif>[?Tv># FOݘQӴ(w5*DLs/@0Wl洢l_<>iڑ5; 1\SҭvS7o{-s6ʟ39Ć|x Xp=Ͳ?ģp'!{yW Xhݴss bnhbOeb{SsRc`  aՕT6 t<13|i/\طujXhAxm1¼6_];E2U0,/ۻ+[YȬ N!6tԋWi.0J}Jڬ9hE2{!]d>UcsD!4eR.O[>H/ᴪ 4`ว[d~.Y(8 *H$4MyJLjZ\k7#} IpgCa1׃ @R Q+:Q)QDp"~FXT >kJOհ*X- Ɵ$/a5G*MD3pNԛ&'&\aNwΠE-(>g5W*UA̜:-i)CweT,h|& >UY k)2 z-RGc^Iw@F'BO_Ӂ"М 0:3,=oV߱kirSL,ae,Q8FO)휙nƚR]O0]H3\]=`K<)Xr6J5ӆFǎX)[`\IlV& LZ Fռ0j郞F6 }Xa?'o6~^(6#Gs!~÷g!,m i!Q0y_*\ Κy1^{4h /e4{X3$_r;3u s"YCMHTD#Bxiw0Y(oqwvTzJFuػZ p bǭǾ'Rrp,EsjqBYbY4tE* x߯Ⱥ$R\D:\h4j&^gYZc5כ;|z! Dǰ= vS`?(nd('6rP?՚6-\-w?6S+ /_sAQ0i.y=4{!E# PD_|=+Z+9l:֊7VLlˢ-s蹑2 E|52Xft(1'LXj g(F#Ӧm[<[E,fO{276$QfUN7'1Mޣ h{E쭇RJt!$l96.2av!MΓFҊĩɱo4g) x ,c CEuO'=pWb#_"q?71]0+5ٍڷCˬ}z~g $—v=08鼩eqe6$AJ-ԯȺ iifX+f$?2G)Hs|O~wLPiX?BwLRJG2k_c*E>cq InKUzϨΩ=(X-2s }PELIgX9)Qn̈́QP@~{!7ߘ.BCy_ڍѨlO|onD-WN#e2Pu{U(:U^:a @Xc ܚ܁qZe);({h\vlK\I?բџ׵*|˒_vi`+hD9''"bᛚtM_Y^㹝pt܏-vm[RpN>},HZl. Ovr0~4b0 c#S(g5]qd yzv5~فmL۫9V%ԘtqBwJL{{8k# vMFи!?b-yw0h'r1s%́I5ΰ!3I8aF CS"v/"D|RFk|hsDӰG= V7]m>ֆ`qs MD1sꚇRYN @Tjew@=J'w~ŭv[aס"s-΂LH%lߋ9O!@ %Zm'+AL`6RyYAaA9󨽰Y8 gPDE3AѠI]_ co$ۓ W'ji瓲"@~-h._ v_dzۀ|-Pr;:r7l RwՐja*(._!MjyVI@<'hq&M:e;Ϗ`HD/1(RL`v~fi'!emO 2!F-![z+;W&=ea}5SWӍ >5!d( u@ -Ag2N]^3CCXU?K > !5MHpDJ5s̓l^ {oBKjW,_bn>!=3!]0gKA\ㅤ$7bu~ M w̮&3[0ps_²G48/s!5N .K W":d3"J?7u{[O{ AmV ꦯbX.nmKO7Nq8ҿ/5 P2{d|<2M`,g 7%W$#{tn-eYP^~?k'K?u WC%dwԂ glVmR$ueXJc)<*~-7N M9Hh._6ҘuD]] җ?1)-IP]Ș@FW-xN_ RmCE|C{C"WlۼURqv2>g?5^LN7zÿk AhNY$2GԵIϥ;2ŀJM'Cvb,kGUGk>XV:[J7ZpA# {pיZEiN6:s$vZj־! |wp7*Ů+@ҕJ.dTvmё>1E* ̕ շ֦fm-F߻d ϡ9:T7GJJjWVح?[R kG^VΜ&ܲ!žȭK#J~|a|AZh@h'$,;'ֱoOfŞ>[wV*'Nkt3…qNrxZxZ]:]%@ sl׭`,_|O%k\tQ$_;,zDagzu-iBO@xha'ǮgѮTqڍXG]i>*8Ta蔡IPoK,\yqBΕ+3ڃoaR{Ge`uDC+#jLfL /{NR"X+ڰb ׌~t}0wB˝j(`o]I[S, '"Q;nQZ"g7VQmZWF?mDEc0dgHAAU=M p7Z, n'640fJi kZύ&:\">}H~-5f{B(m UEQɧ7.*88}^b RWkVz#_9M;)FOa-4PV0}װ2\J燿$8$PB=塆W^'Q:~Z hSO+KaEڣY]u'ys%޾VLò–Zb!,E[0EfTGzI 37動:+hq/qu%k7jO 9 Ȟ·1"U5>q hu!f=VP0ˀ 6A\K0U6gYZ p%p*3C% \HOL-Data_StructuresHOL-Data_Structures.AVL_Setdocument.tex7zXZִF! %]A-MՋhvG"uIBm5sVeUDrR8T)Q`4䕣0A{cg1gvx*i`ѻ8|ˎ*aRxd]qxfDA! }K~N2J.nZ>K7 W\ٝliH-.7hE|Ͻ'Lbb ճW{?` 9 D`Y"ŊW@ΰޞK/I:U^5997ZU&32PѴa+dq&ވ4~}:Sfj]!(g7[I3U;Qy7zFcԥ=[Ւ1~T}hi ݻbIi6 R 䜕ly6K*XDž0-#B XR;:|$V8 .sP#?cF4Hځ1n~|,1X?+6j:1f؃A!$#<ݍgycv  q}a+W^ԹLP_M7Vj\޼BUSm|`־.eEŷhg~*6DPݙR߱q@F Yu mX"rz:KJ}UD8!N!@U =׶F=:\nxg;@?E1LY?8z`}P@ߵai;9zG$֑߽ShMAebx1]I1JH,9}&q0SAB 8^q}ؘՄ~Uk2[o)ɀFmm̊8!']w ըhP6 ~-VY:8ihS*M3ǥՃn996R^~Aܒh&Čh|?*2+ZzoU{Nm yll7poEl 'xWF^+OFTW1'zVeFaZ+,+Q^bzٜ &".ΧkI}|y Lh.W|YdMC:O/u8ZܸZƭr]d&Q+;q5O6"vBGnjPqAqP6T2UP/ws DѠǴvp?2Bl-Id<4O\g8QOMp"-'Θpt9"oSEɐu6 Q9p-L4]/k hD 3iW̄Ŗ;]]0# O) 3\~MFL_V*Ue'r\w/:>H)s|FK%gαUL1BĞ"џcniW;FAe\7& g/`3{Xq0٫MQ5#Tp_+<zwzN>ϗ6n_X)0cᣌ'* "gM)(}LP: 7߄nU"[ga\EQnD\HӒ3G-RIuJAW:CqьZBNDdu *u\hNg90ygݩ}g !j N2AzgbbBKVv`{CW7ݯkٛ35j?DO)#)›FP9eršPך|K= fPE?%}32L}G(QJ('&Vǖ8Aw抌^p)wfLm&2=ۙaLJ5V,XDM!=|7t1^ =\7AՍ#uc$(/"v`Fv Aa ;<se1D7TA>-7O e ^Sth/۔qWAv.~yM#&ďDۖz7þ.iqU R.9SXm zY&$)wIP|i()gdmG U 'ZǮ=/ǶKzOR' !'twܿbq)_}g%tGTl)]\)X]l@t{Plہ(`8Vց{\F!2MoѾXrw < w]4hTw@"l7ADN~v $f3wp* JҚl.~NSC^W?!Jt^=C )hXZf@9dlg%keüwJcgbj'y6c:酶XhbLp<_ Aځ8PJoxi!' Fo [xQb~T7l[T#'PGa[R [! SF},_!/iX{k;~U~Zc`"(iA# l9"c!`(ln$溽H-F+&^=e7☨(}.2љEW <7rQ 5y7m-HZs~O'w8h~tIׅ.DufRhP_TjTe)AU⬠P#<@n71 ;66(`}|ܜ`3[R^E#iO0%eIVyO`%UYR3ُ goSd4Z4&,|~ TUzڵ4zK9G &tV9E_֙v~͗dmoJQBS`nGȾ^tWOYV(O \ZiߪP)~!{qOx9` dSq8[$X%ʉ26#73.‹/]Q-z3Bf 1s>МQ%ŬD)GS9p&;B*j^8y1y04ddG@޹W_LvМ[o?`vi&@01#oS_ʴ Bjo8X4 `"?$%m}hh(ѳ;mEd* 6cu!hO۰9:QVpj-EWt,IG; 7.%%@4)ZNT<+ qLMT7yV~Zɚ^d`\S[$֟_"~_ $|'.~1יvE40;!D,2^0Tq#eb4O/ U#'iT#)z&#I!bRޣPShYp^iMRgY.V<Pw|-<@#ʮ< PfѐĆ_z7Tr $gm6LW=Q@|i 4!q9.ʅh←D<7SSH\@Rt>luGI_<-a8'@&휂]I;Vܚos}|*a*+ `:$Wۡy JŗWOs`*l&L9~Ge?X֓|9^9$R21R=S9 ;Ti,rJpF9G\TcFK'oOvo T[-Yo1[E@̊x|wZol:E?\5H*Z  6ĹҌ7ȟqlq)IRuW&qhv 7:#apŒjmw?f[R(ɵ anȃ?xֲ^KNHUk0OpQՅ Ɠs鿓`t&[i@*kH 5<%-B)F/5 )|bY 'YAib0ZjEhW8ZwԂ|k "٠COي8qw&D(R då"K+I|E55AfsȨF6ۡFXW)*iEDt? زCFck<k⽌ߤȝst M55䑸m>_7bCQJD9b8h5{q YS 7ߚy$/'.>!,ˤ[ -"0:5Q@BQ}bi٪O[E|r&!3k't\iͨz8B❫0X1e+S%ARXA ãL)<y:TW՚T]0[T2y&G0L]w6dJ\g(mgYZzY|-TZ IL)4T@xȹף0 Mk6_@#"lr֨R>ĿvW[ve:/??'oDX3DlQ0x2 ȿki5@"VH zxC`ح1Nv"Pb']=aHxf a"U;L?—CMy߬QO.uɰ#Z{Ӧ9ds$ Y[" 7#p@~ņ'ّ~ANϜ Qf(w’ٔĪTAgaO{T9҅8ց@ag(Q `CWuB&oZ?f gFQaEWe[oi|4p?PR Z3\!iP"6߾jDU&=nA˴QNCBB{J윁D96 R_ oe6,ힲ}Y~jZڨ;KFAzzDlRF #%=, *>ȥ_0o iID-NV! A.>}8jQ6`^Of6Y#2GݴX KdnJg)j:v`N>zGPO_fnj/qqXʩrȗ}_؂ '{4 Lx#R8tөerVƒKi޲:# #UH33;ps9U|ʁK`'x:%jxg(Ko+#ˬn}Ԋxx!OEϣ||mW`n6|g9 NCc#:V1fg@)D 6FоT~ vJ&u{86g ybCUug{/eG( +Kf(5J/ VLo:Ke_f#mih! kYUi8@V$"[8(@|֡QL12LF Νw!rS FZmjϩ܏vfgnvv U?>/μ»fӭ MZ̽XC65te_L~`iT5n?Ҏq4 ~`br\6Ґ3YԂ5vEm0^.,@-|巹/BM9;+0#hHgV ѭ*AI^`(NH/3K!MdTxg|ܪ`e$O aYuӛzf8]z:Oxj NE^VE@3l)nIn_73ް"5}( "i5Hd ȃ0XJoqI!n9>ϚFWSQr*FCˤ%&$(ZbNvP{K,IlFFOQ\}?9_db0Zd=7L!ߧr)n/hO;P'Č8}Ù~44.<=vwb̹4kSA C:}WkA5B}z#hٮ^"// Bo"%Pox!4  ob1XӒÇ70:hZ5_}Qބq۞7Q孽:3WDa-l GJNjdD͂m/쐍Н8 Ҽ"Vpz/=2"ϳkz(X*|r>pؔ8'9Q%2 hVtj1<Q,]P+&66nJ4B\\1@h|Z,9VJ~X$dq(-jNN+zTTvh6ÂcCp?57O)w`H}Vעk9 s8aYZ콥`_KJnj-5\ue)ygڑ!k(EwiltFB  0ZyG*[4Ѳ)U#, f:Ci t\ Y~ǩzX#.-TwX(x Tqz"~I$,v GJ*;֑+To,+z`5͡P{a˛sK-{0&d&`42 }^ ?ޘy+!7) җ.WT0BA둦ߕ]@ZpIO}VlE>g N{lWF:@TɴdT ddӵhj8C=ȶɊ3ucp #߫1~/o#N6F >ҾI\ZVpOTG;Ubgp:NR|XŪF j~u.k"ErาnӗqW] %%@aQ^٪-vDe[H@#z<a_u;6JWp V nc=΃xы{w#La9(g興Ahb8,P9wC+<3Glj|lZ79~+5)$带覇sM̾|B޹/k4{~ OԴ_2y%*ۉ_RPy5DI,7"ooXT qTFe8t.Z~TgHN"0ƣozݍ]T- ,+VR/C"Z)+S"e(:1YYv!m|4ez5D` G'TӼfs@oQUkF JIm/7SJf>E\g1y cd wHs aʞMx6ŌGxժ\`Pn L3h7!$:˜E/p4+ p60#jJvA=R1etkbfn^lr?( )f5P k+Ym\DIX9nY2Oj]HJGtW :,I׿QZLrh+%4_~݇SVk;`(tM )o9^ /#L{8Ɲ\$'-}OhV UBv1X="% u-i6Fd96aXR`I͌g'fH]sѠpPIfg`ʑ3z >J`Rpg6uW֧a#~֟.\̯ YWmxh/=QNӳ"RKE7U^d%X)Yp~խq޸0f תG; I4aQ D v"lﰭAzzT@6de*pP2OiTC`~\,o㓬{ 2HIcv6/+!(oVэ#YW`CP)4:Z5똾ܛXyv˹v=(="R،7wC?$0HV6>5|8W:?ie3 燍y`*L _U\#Jri+Kې<|k:%4Yv1'h*F<ĜIt-3V=GB0-u򾨖dmC_J? kAL2i9y5/i]FЅ'w2SgYZ  3M% |HOL-Data_StructuresHOL-Data_Structures.Tries_Binarydocument.tex7zXZִF! w]A-MՋhvG"uIBm5r)ʕ IS3?ʜ>_I N.vdz+n;ڒ E؇r%%+ j>fؚK߀u:_y &a$Dsnx8и Xa:Ҽl $<@RI3"X3O% ,HOL-Data_StructuresHOL-Data_Structures.Interval_Treedocument.tex7zXZִF! l]A-MՋhvG"uIBm5IQ1}7 󛚅C#7& IwDNX H@3`LQʜx>d<.8L$7bP5k$V"/K5{XtKgs'ԕY$M@jX;7TӪ>Ԛl/<3oh6sWO;V̕JMC(i<_&ҋ^*TLu&v=?oiB4Xj9;LiYl6-/,6ő \y1CnN@l}&$/gvtb}VXwaiWΔ-G>vG#[f5y@"+`Ba`{ox%"u$HZBsfZ*'.o_:Uf>uȾ@?3 ,hݵaf|@[ 1#U ӓQd&t-Ck. sm#,Wħ[Y47²Hbpi>R3 G U/&` 5Wh'{wȒG)?`;Be Ifm77'h\ntcRA& !Rbx:c!Rb3c4yٌС "@NAv* k4`Q4G\PJ̷<{rj-Ϡ(0N|d+?y9%+{?Ķ#}ت:/ QF/@6LHp3}"#H:h 3-EO_%4 XPIF/4m!YY8uP͋m>Ԭ:AD })z--G28lgam1"XSL )g FxmE 1!PnW9'8G?ϰ x0F0F҇xaUTʡQ';4$B&!2$/#k' ".sr8m8Y+X(q z4`)C ޙuS|q|c 1+:"G<$cT&MSz ؍[w3"5^Ђ#7 oKN%Y}-,ث5 *ݹN# <;jTU I=gyNƔlQF#K]IDt3mP0h&% s>pfoYhGR2xx_^e!Sy8z/?ُj>4)U_sg 7Xe6AjE&|]c/fjze[M!ӭCD@L+up{ZsXViKKX$*uFϮ6rzm#9'a|dEqnzݮ ݉2/G uDUvV{=E\yނఒM'"T!g$Sr&Ԕ}ĸ 0&*ZɀM0EUH*&xl7Qy}%ŤSCѝ#zN@&Ik}VU|j#|َt1P NѰ}/o,WR VK+A'UJH)2V1_o7֥(:^Ģ-P_JF@1x*ĺ(t//۩+&x6W%!gȂ. iٯ;̓fT)Nc#"_Hŭv/D_5z|9#ƈ_[y8.HչR'jx-1Wf2kuU3u9ˮ2;>z z)i,A_h8K HY=4}PQM1+9愢WZ-7a4<>3rx;D#Z8Qr'~U>SoT~G[iYENg,(_~0Մ;k?:@~hEc/91&S_y79>B}+ \TO<v+u$`o=~$:0#Pos+fcC^R6V98 ,W]뼚hn/PZ_kI.Lۡi7S^>>=3Sޮ;WRH5&V!Z@Ŗ#,6%h<XJ@ #,hn9pT(9"On<喑Xԋ4JՌ`O0kY +hQ-%W+nm <;uy(YFuWpIƘU@I"Bl~_W¯4%A ]'##W<`q=am BM]&} RPX!`=_ZΦ}D I$kX5VCTT^ҕ67+^x%" ѤI6e0"8f#~Vaxu;nO9/>5%/=shEfͻ]~?_]7]wViws4r AaƖDo#[NDelE|㸆>j umU34ẆjQiIӶe}FAKn7)x|k ab~)S0+ɋdYtv"E 5"Re}{nɜѼ'(X͈֎~#288 !)O*[b %PSз.Z';{f-{S'u HkF%ISgVl/ejnX}*1A[Xl_f=8Ԝi_҆#=k?ۻx@B45듞*T8SgJjzP m uSRȺs+s!df^#O߈b-xjw[p0:0ɹk ٘BmY%yI њr(2F1sr͑FWw((8f%r@Ͷ[wRU.Mz('2Ah&EbF!}>łDavsܲƿyAeGTp^$XŐ\X!jy[~ 1(3.1p(lMKZq& Mq| ~`{yIk0}IhL#>4z 8Wz4>jkUYo 2tqǥJe̮/|ّeM,'s2AFbѹUh|mHg+!;)0Nif tOl=}ruN θJʰ2kz"Lsn)2QE{{%GJďܮU>:Zj&_w:t&DxU\ OV&h9w=cН/VSI{ht m*"}:D &MRȋP%͡Z+|ܙ. *$X!}hD JY1BuG A%z͠@Ǿװ[OJÀ-,kkp7 -̝('f!WKfuX#^0IOT\p{ :Fh9J ?}tf.Vj]ni]+-Cq(8sZZʅ'k/gg#v~fJ鞗O(F-Vo~ {DtX"(pƹKf;x,Hs.pHoj.)'mŗ>9 m-@AUldnUf<wrrO+d,ь%5gc1S2H?y§F~?/O/uwy2`L"Q)pvJ7oXf W: t7U/+0'{\ AΜ7O:S!G^S~jREuDsn7rFW*8pGyQA[6"T\h7T"7S3DD2)(/GE6-@z3/Ieu ]y2p}mhb9쥤[4B Jy41DRSk8v"R-#}_VVgYZ GG63K% lHOL-Data_StructuresHOL-Data_Structures.Tree234_Mapdocument.tex7zXZִF! d -]A-MՋhvG"uIBm5r${v+!y;f)U!c6z0;w8|ϮrEϧL-̂ rSԿMʎ9^ +J5m6sD?(l0Q~R9Er~Ҏ$V@bɷ[쒥܋PHtO(1ყ!nJ{ưF+%z3T%֘;wA\qo~JtD#F6Nk$+/;|?͂)QdG-@͘&]P>{WO-/@_ab`? \1t7{Cn.֍:VhV>F|xڌ4u)[(m<0*az6g&HjȞ2뜨glX/_ `m]W۰LoHɰA4@ܵѿhcu8O}*VAg dz9c*d']Y_"@L+U `n*c2~J{ RD!3Mi/ueGbED쳤L" 3^MzqQb(1 XkJk8 梸+*j3⏞e.e9&lsK>º]=#3HɘG_RԹ}(<NŨ [0ngSٺ7| .덤5$z)m-]%Ixڔ)Z4؞GlTQ{$`LX8U@nLD%xۿcZ523+ZjcZ8?]cuUR"yDm|8S" 6ݒe\j%`Ons݁>?M={Y*]kzi#ˑ!~JiL;AW[tEg@0"5}X%1$dwj|1eCJXGΖ0MCgt#ueUL MPe;>}Zneh5D 4N~u857]RLLFl593CGȽ΋LlS3_\}r;LeLn5|/&TU[rfl$^sgj]c$:Pb7K=Ltmz1iUfVdD!G/kDo'4<{+/=rќrV]A`B0kg+I6P<S0Mx1櫰[3v>H$e+/jiG]Z.Q订GŃ&PX_֨ȸOgIiؚдgM%WR*;|0e7RY!j֣L 乼x*Gy):h]c挗6t?Nʗ% f k;PFFg}gmRh)x iRe`?VYڏ)oS3N8 cP*œ. .{A.Vyۘ `u D{34HP-Q>W&w5nUW2-ޏlX'_ZE\ا './ S}Yw>wEZ*&!yҠz73~V+>< `,nq5̬yCAZcLU9qƅ%D5ʑtrJz|j? 7M0Dz5gP5)ʿHU (ǵ6{h\¿S]++;̆+(پ!:le e|b[=/(Yg Gd}[\z 4LWj<];hQ|?far-[ue6JG K \ )'Bm)!5*αzq#JI[pLq+Hm$QS;ؑqϙv}ʆ@LC<xõW;Yod$;{D'q;ТA^+5&z+3!a"K!:0 KlޛlN\UFCҜ(hd9~%SI?XdXZ !rpHgVҢILȀZnfjh&NiH-Sz%r)VR5<?P+ϽNy'CP|!; EobD׮v[_tHgpwbX7'dDHq@$ ~z^HQٛ"r|zÜ#^h*p ٯ(FH'_sj?Kt؋"lE!4cMx<=ebKcHs8n|{?賉 foat)22 O oɐIB uE}i3L_[ B[;bg:٬sRgIKh\iZx k7}CC6޿]xZ$݌?9p*8ilx ¸U/@NיЯR;xp]أC6k:X: O P'5INH4n^>r?՞nE y?-B$-^LKV4b ՗N'2- YX) W"Wz ƶϏ#T$kNs Zc5 EM0ON4}i`GޭFE(,ALO3}~}s#hx\-xL(#3~ dBJ! "~JPLZgYZ UU(3O% LHOL-Data_StructuresHOL-Data_Structures.Set2_Join_RBTdocument.tex7zXZִF! ]A-MՋhvG"uIBm5#=)1 Ytϲr:e]Pojɡ;rMY=ukC`>v3ed{z=Xk!Xk~]|!L.|]QmrS~bG$/,+@;:g.zj{nm(npn91/1!a j*@IX.XaH,[sh4fRC&v50t\V?QC7x܉6pc1&st%VѪ4b+1XPFř NIf[x ~$; dUg(ʐ=@o~晃" 0wɥ*9M B̍x(u6Կ ^آd-}^b]F}|1eIuIK!#4ؼZ$m֠+/Zy7eK KNq1\zBBEuQZwsB+PR\:(3T@'7?9}OcjOB5|1DH7Ym+oY|FϺ]JǶW s)`ND'oTSZNI_eKn:=Q.w'Zq&v37xEvUV{u(1m[pˁZShd1BU/g jhZ+]uy¤u0Kg@턹znLdyqd^׮Pk>&ʺQ& |"`7^87tnl͊˕kcNniEQvp6lY{ryl5dNU(b\#c kPAVwy?ت{\W7kg0ZeXֺ:09Ps>bPQ*H%X]Z'ۗR(`Ec26R{74Rhob_ߔRoVq[bj#dK6&'jAU-;ܤz aRfDa)oT6>7ң%UN0U +p>Ol 1mr>^ Xw7pE\n)}hUYiTڰ-%N@Zyӊ'-eKn0l4mk,Nyjc3,gzƮ!eGWU]]n?IBVUEf U'Sv!Ц%w-K8Ϸu$Rkb#/3{r~ lڤSA#=E)fmH!W F?3cXt>I!WsJ{8 ؆DüEN v vY]#11ed ށ.nn>mŗSGD h rN^~:~_hp%l~Xп4fqr?e;1әfB*BUrtv47x+T %.7x7 ؿ>=Ә|&'O{+^Ɩj/\7h6S7IhlRc0F$DR}9dЭ_\oC41' 2UE2e>{i<á!jw7X`5㱗~ Saⴖ@B<5]WIJaVH]w0L0[Fp "0cgɜ? \SHR_ P=b/1#.*= 3$RPx(,T{GڧqlNf`80~ ү W/1.x[Gf&Z1BdiRV&GMlGxBَRrvᑣО,q-o w"Qz?*?p4wH&9ZA+}$B?X9b$jCu[% t462=sE|/X=0vVmJ m 5e ~}%OU֨1!RcMHtܯE Eoƛze׏h.Ds<ֆxFt<%baI$ІorBJqHMZS~,ZjB"9NDG,{d`t zy +,P/f\54xF(Regyl QsPsEt:q@QĞbPVֺSrG(ҘۜuU lej|? JFJ[ȇ|M:xFL/"=yXιA˒aϕgZPcv/z"CMxv0p:JWV,Jb}ѥ`m!-ޭJXXpW6GdmH]^jO5l*gYZ k3M% THOL-Data_StructuresHOL-Data_Structures.AVL_Bal2_Setdocument.tex7zXZִF! c]A-MՋhvG"uIBm5sVeUDrR8kqίX ܥmGoOv MVJ8!f)}n2D?(wG (` ;OYg\xjacp70!zZmrκRp{ym6:$bT=rpD>?܋V(q5ؼ gO3ʑSınS%gOI O1j[;X :znhƄ1eP*Qd-ƖGRdjΒ;%sMOzU_y e ҥr^].М9σ "~7lCN$?HV5X8'È*mfv+UX3}mIylRMkh3"vؼ-CZKUL1yBE+pycRxS+R7.[B%!U WϚ0M$(R)i+;v/8Tj8"VI7~R `q ưRbcV=x ~ӓ :_:}I2-L/# yhM~͓4b b=>CChOw^/E9K\颤S^(\XG mImS%3e$1@37U]HLԣI˂Vj3QxC 5ܳV=.S*uvyC1;P(Kؠwl[0y~:[HckĚuv5`9] s;V I~x[1uѤ N[haDGiv Μ^ݦŢ֣36#jLT l7^4v{EۘuiileRݿ6F0dhj+w{*ctE0\4ŝ@#[̴fC[SzŠfa#TjÓ krh۟F;[+'7Չ.;L #.-nYG=RK+* g2XtP2eg'. fӣ} *~>6/K06%7 IN1+nC`fbV侖KhG~6h62QFB??x+#TY|30:8f`2M &y^5WŴ"yMfu~y"2e{EO@؏y1VNyi;G$5mnvrj_@4uwSdOA@W"t@$t%ّ:-_r-u4c]m2ce.$&Ms6yU{^s8-8gА,W͛?TjZ⭲GO+f{ uz( nOM[>^;gRSoo\i\0t7J3Мl(qd"/g&!cO4'LTstE|:_Yv2z.x; Qܧ*gYZ+Y:)VEM~f>Wc.yfjzKw%`0W~US!U[!D;K="ŋDhkr+ iś'p yZn8%b x⳧K$)MSLKu YZYuMҝ 9"!ƭ(FBspb0l`vkk$Xx7$z%YW<6w<u)aTOVWD:/Gy'[A_K@|p^cWˆA&!](0Jzܓ.9=&X7_ pE;,t.Y!&ʝrqb\s\!~xnho 0]ӅqjFM$) {+ݰij1N ~mx$RѿE߰fZ|qtFq$#{zv661>,P׳:1>TNr7J$٫ʣ!0YaiKd>Z@PBBfS:I\U=z`DTƌ}OL[TSa,96<:P(}0 TUlӫv): ց #X/El.:e45o"r0{D\6!^Ȁ#ө,s2|ԑA@INo;S-w&fZ@Εek7.@A\yO[N*%J&#J 62#eZJֻ:'-UC*~ΠpB-8 bK$uD06?@Hb!:)dʒ;F mnX.+߁~٨A9|MI|ľ^Vtް4I4 (4wePS# *6/`9}8[2BJ"sUl#` M)O8o'쉝GM1&m(@wWd ~ Y|Wƣ0_Ys}}ۣǾW/; iВd/}T/GbS 1 Q@)BdQ+:F(V;̂"4pQr&?a\O#U #[Ijwj$j/9^Gx|++[wBT6c΂+#6wvq)%\%؞f#'{,PS<84?vX4B,fmv 93#HM? F2P֘zMflm\AvXcG)H7q̽30q+S9āG9"j6AQ8c7~(B4/xaȉ_XfF:\̘SuAV HvU!~ɩMjzE\ M3x'Ewxl? k Y.Q$B ,- dTZ>;qα'.sŲwI PcoWʇ6.ACAڙ(+\w 8F9ޜɮwGJ5g 6(PsBDS& ;r$qtѮ)$҉TB aѤyMF e~?~3$$‰vDR!L8sCTq%BN!1p0zD9m!ذbv FXsOd{}9:Tц85T#?菴L4 PXF ^H{e ΟUT@lwm03E|xJ,%s+y:66t'㡡9չڼDaSJjHbǿgvӁ~n0Rۚk_W'0/h@ \qHnWci$0vшâUrz[c0D֩0;ި(c0(_E-WEWͫGwߚ1u{tWܛwhd|6tTq\= t6E@J-wxo%m"n۠0jTGᠷ)\I d0jFΓSO"8ό,_N/)q-;H1 U}M@ZI97DJ 'DǼ!]e!3_ 0tb2 CR"[XyAACjf.(h~e voT)rO#_< LK9Qjӌ ŦYi#!ZIgK44j#lg 4#{apΡ`z?f  /3L[t_E(1r$rgYZ  V3C% 4HOL-Data_StructuresHOL-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 )Q3A% ,HOL-Data_StructuresHOL-Data_Structures.AA_Mapdocument.tex7zXZִF! (N]A-MՋhvG"uIBm5i#zaLAG*);"06U9-Z&9LU1 {#?BٳԸ=)ZcËr_\w r B&`F@]x'3X2~#$~'M}QkOnT@<UZ5v wh sHlAI%;j$Z~1&^`=NclQ33$qK@G}ROP`ua>He4ðL-cS&#Luv#\/lsTo?EOrAF0slXCǓ<9IQ71Zw(o3M% \HOL-Data_StructuresHOL-Data_Structures.Leftist_Heapdocument.tex7zXZִF! ]A-MՋhvG"uIBm5!tUCg`-)!dr~S Xҩ?OʠŎϣe00ndn['^R 2 ՗-N"qK(j}k;2[F6_U%[.a3"@BunBp-<<ڪG0hz" /Zh(*caAԯa0Zsb9wns6NZu# 6oH#9Mf"P&/';̮)X+:rOInUo+?p^̕;`X.}_<C) DQ&rn8&2m#gbDē2Ocp{W.Dc _%8Kzq!o_.k?l_5lVqn9O+q!Wr4 3;%pKzI6Cx,Zg> ۡç+p/Fq &RFx8962)z۝E:۫0%~˻vVv?.Z\I(ẅi+ cD~$~aCM:Y/o&P&ئTM[߿) (hj <(qj`.y_q],ؖ{MWxüm4SB0@*vd|K8ek"=ҋj1 =B23Uk!0*MKa"uqjZ{^eԃL]JGaD!|:IGw9˜kfChn . '~AwضRA [<{zdX1L\-VCy9h,lGٜwJse{:S֔w+G!]U+2O*۸09C୍mFD{WKN3zg)j^7+MFs_ g' b"BT-H^HnVc}]LTʕ͏a4j =-o}nDZ, r,>^_,>A4HfpLG*`&dc|HPQzvE_qyX+ jq-g{DuGqH߂lWyF\X銫* -=4d]Qd(@h/;ศZp}1]5.-AͼG>.ڭ~*lhs1EqUJM<M}.K'tow߆fYi`@2?r%>F HUznk{lHjF<$^FH#8!"GaK'u۴x(kˎc4q z>5$$ B68_%Υ O f)sU:(Oԝ Ee4: .+6p1\誢gG( sBoH0}?ЗǶ\0RlR~~W6pM4Ł8;YKgn>ȼ'{>G ,! 6~t2RP˟f*\t^7Ft0-2,`N[N\p2Qqfzh q7 *#"Aֽ}-zR w;S"vba)h|g۟״0ǦFi #j"g3A Ds4=2ɪ8Dcx[uxDe_9ҬM=Jص`GtyOJ]ktB:t.AZ%9nW6&;%>x]r vZRvvj94i麿̓ڟ[J:0{lyg0/`vخ4u@O4%-;6 V>ɤ|cjhV B# 3է\%qh'- e] 5ª>p|eqd(83nk@.ٹn<9'=1,z;2˰=-R3ir ,hUּ5 b)rjUR &,A9 :& &GRM9c-6q tjeMjT,ihNN:Xp]^B8QASjB03/\2XW4yi4.FBR* vj%<|6p>}%_%2ʪ yt-wCeWqT;d[AoszYhԌ<>74~]p,ϣ뢿Ag{ ~jTMGDE*B jH o#>Ӎ"dRT>X 3jh('$Qw̽Nʍ(-E1o1xySEtps-4Ux>IEwc?GB|w}|Jg[`W+j vK̥~])﷍xn` %֞ýj()I8j%NTɵ4Z!1J>DυjWZ4ef4țݽ{Y}v#`0+PUv$:V~lpHLUP)F|M‰ұJ0kzA<ˆR %)/Ã>ۻ9uOaVo<^f'r‘yE7aBga@Ԙ=@+ % TZ(p+w-6.{l/y*w}f$=^SL c9>IRK:u8AkТE,5 4- ̶KGa/o=YQ3_ x]*H7 Uynn3pIԽXiwq) hPyiZet)>j,,YXZp>/%# lĘ%ᗣ|X$bS}~S?$4{H+oOg R$M$ ҥg*v1w[Vp,|ʙ> H''X 3rјF=Çϡz'Є'&^ ͼ6@PT2HY* k[H+KHk=Jp-`*k\Vrf?4?6UvdY-#2NVːœ<86ܰE9KD %*:U9h(2fO`g.Jx8pWP12/kL#oT5.r|IGd!$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 23K% dHOL-Data_StructuresHOL-Data_Structures.AVL_Bal_Setdocument.tex7zXZִF! : ]A-MՋhvG"uIBm5sVeUDrR8k17oB)jIXAm1c]+U=4]uѾu*mӒ\>񨶸jLD0Es[^:;MbEIF=Dm.Җ 3lMǽ&ց+e43P99qa>}ҕca+bŝ4HV|;LJGh)ۊ EzrNIPZ  rr ,/oM©2ҶjM͞]V%>ŸM5/q:u]YDL[4q1,CKbQ:gVuҐ%1(ij!̾?lNBn U :7 I) 4X9Gӕj>qciG1|kF 9$@#`ڛ3 'Tt2ؤ؛7|3'I < ~2!r"1D+84#5)MvF;*AX%}ۨ- \,Qu.G䅉^j+ߛ͆")qH)A*XMYB#~ Z= j#沉ۃ 'pRHf"êF&O9wHn!y;x1chL72 2LB$bU]<۞p'qwmĕT{P_%230O]&lӓDž;l6:GIF85/Rc)wʗܖ_Ap&v] XjiwA*}$ˑxB^ڶ$tvYsIa] ZN "[YyD sI@\I=MO:ҸeRPT(A .5O*397҉qzpxq%sl uB6ŭ "W˲uHR%H*UA?{y`1A!gҀ43L bijyA,lS@b+ٓoI`KECj Sm#LLv$;Vr&Ed}ro-{)wGB.+7c>:]lc?zU{Ѧk,uk`&[ bh&8y#J#g!InxaK*6M9g,b(kY+u~׼3"amh8c /@ݻ9g!鶋e}B0C<6j 'j ȼo: kX@^/{ܡYpl/CfV$SJ{\r3K&΄~/W4S}U @u'_}uV{ j,C0$u7WC#kR'(=f* @[3[א\>^j5J$XQ!]z]({&'vFNPT zǽUX}b*R`J>Emj߲V"' 8 CU{40Y-W& ħ<[e IIu}wUf,:*\ urxu ?x_t v6dΞi'%l xK,CC WɃh6DXó:Lڿ VL>;hf]'DiHPҔO{ֶlR _IN}(> s0a*4m7$p7Zuc hC(9X>0voxʥO] I1:5ϪY'lsdf&ϸ#e?|QC$X>!hup}1'L~LR7RlZ,5$V'x/ (m9HI2}vt!9ˣb۰w{\@ʥ; bnImv%ÅĹGW{DJ/a LGP2 U*ʥq(9!)pH} p^IO |0-C$*8riml/72\8Q>I74tEE}K'YWn\{ 4ԿT|du{2e;eؿ%/ĝM|sfq? Nέ<1>2I}Դ3'bqOٛt9$T}SHu;Q[|$^ę1(aOMī6:܁ _U6!.dx 7?_PԺ~zmIGXF#d2Bq  : Xi-CLq)9*Zp&"jӭ*Aƴۆ0[c?\^4L03N&DD]y8H#4~U u i5*:3ƉƢk,htuOrA&I`xзBPJUBi:kpxqy(9m17UZ?uW4(MN*m,:֕%n~Y}O,ڊtlJ̀D X2E񰠚E1ltboT~T?L_GoV }T39 v&_m@J_)!qߥ{ب`!4@0* yO<`D"@Z8KTCkjnӗbhD g]\'Lx)^>^ Drߥ"2N^6& aDY)y珒rC6  W(ZQŬ_j +" |Yo=ufu3FIj.4ڱiG,[ C!\SJ;FjfX/1UM~L&K>jsz Λ/ #勸e pAԢAp<@? @z+rneo*߂tDz65A_Ӧw·s'd.ndt?f`κ))rTde١`* 0Kɿ< Z=_A"ZeUH/\O43giZx0{UNy5hxvqXs7oʼn ćr Ug`Zpoޠ2,RNᴖ_KuF!G^בTv5cinꋂg, 'EWuǟ,sKL?PFBq6o^aF(}8 / ZPkz&%A^soAUbH|>gݗJdBMX4۠JEx¨ G@,O=)%Bf[nealvͶ[&ag,!  j\B=8\Ѳng6P!> Hy݅'NvPhTUC% ̝%]| @p;?L[Q^yKap2߆r\+äorErQ Wsِ ,+#Re]3ta΁3o m\ Q ;EZflϾ-\A2=uχʭ%|r G)u*~.1\)W\챪kq#0#a {VqriDn6)SK9;Fnk+9<^¾ }L  5+6{J7:2m?tWN@S1*:A>e\g_Gf. eeGmt)^$Q>Y_ɠҀ nm"qm^'\Za8<$?]460ÇQOsJ]bGq2( 9~ᾗ5b"N W_C 4j8[CY4C"ĝe6j!k^O,{Y:je (sym2rX qkͮ [PMlbfĘ9аҸ_:oT DH-O9*c: JfSP {Y.xv-鼨uIDZ j.$3)H~ҮEk0VxR#dw}zD7 _ރ4DjʃsI4BgN}lF$oS,PGgV~jV>h@5Gtfie@HB"4}y` =䨞G5ͺ54`B$X?\:'hrǟ2J R'>He* :@{U^9V?>|5#f2?YI, n[R }B=[F#9CJ11H,HmV%bǒ:BN  _/92-&+ .GWhBe9t0B$yf $H5O3f")7_v_PÒA(S,\ "Ȇt¡N2DciG}N$;|jy62cSJY2Mp bs9,WS^8s^3wl2 Ͻ!-DFL37yT~Vx|ߊe=򂣜16HwE[# zaXѦ<# ]`6-FQ<]8Q{MҕhP7|'eX>s?DtLF$%SPq+v#PPvwU4:pTa; ]x;-e$F3nw3sB{. m-3NdsµsU!2=<.<"K9]9;徣B̴COΆ- RoCIPQ)G̮:1/Łۖ[\ȸR| wEL9 $zm_4Z60w.fH C~FQCz5 ) ̍2UDz"=jV8(> j8_qHz RC? FIml%#LL#S 0@HLPPw%G>XzkɎE=|;@t66R x\Ϙu<:$= FP֕M1uӪN}w _Q >4Yh74o6s9PKyMdcѺ)˼M]+z+A7;6EPPnŐ'&yJĻ6:12!z,peSJH`Ќ2!ȳq1te԰n&to?鐫.0<ج'KZ͚FpF1| URmk.B3,U̹-.Nd ;u0qbP xG0 }Zj+MYW5V.JBERE"8 g(ۂ|v&>Tᓧf›H?!L_1;ۼZϽ<+M (R[WUB8%V \gYZ P3O% HOL-Data_StructuresHOL-Data_Structures.Brother12_Mapdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5Jrrn$;\40Y.$& #{@&TM @ -Rv{Db$c**w>5~t.STU,(*bO6:p.s7X&\1 L1OAF'k}]GF&ȗC=j;$7XdY>qzE?ٸoV5M0ƙj鸋}*"iU/4Ȇac01OaGx"MM!qN1?p{I%#A, ቝwA{q`eU8;DҶM?P=`(ڇ'HńDE>?X?>(1"leE"̅QWDzYuH2Zy\ئ>g0Gp,8DD:}@qj"Gy:|hQ,NEFK;su+5&4#"lvl 7VY56}p'cl?U/*)Eqp^$0_'0:w*N=x&(+yλEGPԎw/W91bq>$c>]߄TE|.Gf*uzӼ"%18*N?cв4ߒ 4}\VŒ27wp==ag-*vM*U?+M PXuRME}=-uS6bl,qnvb>ByGȏRK~}aNp$D'ϖq#-ˇ1qaXSFXɏY+R;=yC#4drʒLRŖDO;ԎR1V!iNY:R|r~Dp<mx+e=U2 %냋e<eJ}Ԩw,r4L=ms#PrYbU @1zGiĝzN><%н!'ʮ-H h僴jy\cVLF$/,3OKf o%":a\|0\1 sY4["—w#FDW&ggӝhȲYyt?q&gQ- ? ՞Z[gc9e=mnr̟FG-;0|JQ*ú"zbk5v|A8B t5~*5?/tѢ!^gf1e4ֻs >Q+j> ~OgW"2S!6Wciu36?}SߠOdH3vqRE-T}7\F~`:=~*`tr[~{a{R:&ٔA`H)>s73-a˂M@u瓽D^6DƏY^,겆y4GO~5dשg@73f4k}LK|;})u ]xtBڲظo9>uTdJo7?{}{1x~&m u <Jd0xGvz}UCH=K-T%!êME(^^ "^Zj#2[PhEB.PeUp6W+{۠M0wGC,졲TgDBpw438Q^WE/.p9MED*){=]|BI&X%9aIWJpYX  CTWPƒ|4 T`1(_4-β)5aڏq'2u 2e\y>^X1 HsgE МSi@>z|^yC$\2X->Ә:l4= (/Ct,0QBg2vc=*` "P.8:tdY g'j6)I%g u<=^%@U v}Q'('c:i}Q7%x4+{l[u " (p[{A7)>5Q)IϨ ^BU߮״ы,.ͲIpL[;V68@nCK@HƂvTrVЦ!^B߽4b Fҳpm 5$PE&.d3R󅈖 XCQkIY_i.*y,U.'3L"hxEree>Kr%6u}:=v 宷Ӌie:0Gq>m)[0㷸@#6"=K7ybDjՙFEwބԁ@P-,e|Z)Am܏Zq)g3 9 M2Ns4] +#'RƎ~JVSph)n W~jL$Fҍ3O\7Z_S;Gֆq X|k29<\d?6drVSP 7c_#gX 8ZJA$x؝ذR<w8G/.۽y񤂎 "9R 1&CM#+.зZ>e?\}gYZZ3C% ApRQJd$80lAqhR9:g 51tбžcP`~{$zżm+'C87F*z2I,%56O@DhL:N9g' #o "H;h= >k Ū:Q)wf6Kxz5gm?L|M2j~@mLHѣ)UyL";,Ԗxm%',?alLYّ>Yߌz)<=. 8HGl8ZM;eDf96Kix5޾G~Ts^+(qZ!=1FiT"\``8'Zs 1N̐W- %Sq>΂-$]cɷ=luoxƓ=Z.2~UEK>]>z4S!,u_^"^ŠG(m[#?%f4~ۤέ5nqӊ(99?N4CfxᄗKB\^gT,+8,]KS_k7Zq]DXe`b [`AUl5M\>Gi=)889ުG}[4V֙inN8,ä2Jm@`#jJ-X=~M%<[0j@y!*@R|aP 6Ė?S{.bICAiavCҹ 99hz5nfɃznT SU76 L< ͞ քF(Td˦;ѻYv8>4k-qCEGF(׍M oK3"b2p7u!Q^Z/ l`jWtwlUkj!dS'G(QoݫE:;-n qZORG]zuAp/pOME+4Md`e|ȠXg=X7$#7s2hC(ܧm 5GԭAE`RhCmP[iɐ|F.~ Z0cIS+P} ,ߘ%1KvBA'W3\mcM ۑMvNun$ *8HDp>U4G"~btTs%˯7;Ml uji/t_9R!)kQѺ;cEdxѓL+7ʝѮW_YOz7Vm{$!WIS9\#mSHEFBq*$"S&~ٕ9H)"mؓ &3/&֡]c1^8Jy կ)Xr>b3,`6HbwłHv(L$azp\bc,g*Zrq8^;mc[,W =C۳(%I[] *Z֦" T98HKqkPNUW drwnOqoLlώEOR#3fF W^66̋QZel x9}JLqoI2B0hΌM98ܫ`I)Q|_5ӊV3nzOҍ B=QjPPh&ȴUdv^ku"z㒿rUcYcPԚ*_lcДy㋅?N9sl$nnw1GC֦f(6>z6'3/v#Z>@ n)1)uK^?Y΋-k0 ,&o|=Kȴѥ+mӱ6Rb(\ĪwO!H>ߌy~23QVFGطhjހDWal1àEF. -8H9+28d{23]@B25<3:5hFue9=3&ϴסyrBR*eS)K ӪBiNp ~-#sha[.`A{NgYZ hh3I% ,HOL-Data_StructuresHOL-Data_Structures.Tree23_Mapdocument.tex7zXZִF! i ]A-MՋhvG"uIBm5r${v+!y;ʃh%yJt,( id֍u t*c)iFlܹn=$C]3VlhC|ʶ;Q;~:%ml HJm+[,K?ɋζ&#J_ vva?3ʂPaub{IńZ$ā5H;MkOo yҾSԇpb l?jR=H(=y%\ k@ӓ3V\f>jMWgۑf:bs~Gm*?͙g4#he-'!o!0+Y}tS0z31m?uS hO 0EU>wR?sl#CËz$I>w8$pAƾň 3vTӿN |8^BhH2f+dKE=*ր10]reK /#y"1BdxE# 顅Y#6=GmRNS@ptΡn<`$,7P$rH8PwM UX-6Nm?r|pLX940T+,B+PYv= c4&yuu 6ZsDb}M0STh_#=X{:ݚkGm5 nHZ7x#"v} 4Idq5{C&1qV߽ ySli5B3 Ykr* pXc808tg+W'e|O7yRY& CPf l1dqZܺ5qψ񤔦,80\ "-b$*P25/=!FR-G2i4'o;S?<2[ 1;A.)n vc#Wǔ lZNW,UBkg\p[#:Z0Faqk%"zD; xy.6qL/ #xDzGG63hT?y! APjq;?dvMRbE׻Sf]0Wal ZNr>֙pYQDpIJ d̅UV| _X0*#;S_锘 y;_g2nhbfޖWQw&kaWy_ytS橋rLLpj".N_^ 1WنO&ڙ|?j(Vy0}I>wvm!ܰG4(Stc gi?"B̭nڡ3Y"bmo9]e>Kvci1 x@ Í[鬒">/d/*bM<,$- KA*dCk~ Gc_|I aKUkl /"!Akw;# T<#bƀ$s7j;|͆b0A&*f*3'^+ v|` 'ٔImbEg zAG`+N)bM8.L@S°Ah&.*Kp3|_υq.EjiGgAQcuB#奌" |^0olip50q74cDVl20d ' B&t_@,qFܧq@/ٹvYOaj;!𚳍6g|VW!䂙K $-6!X.WG1uY)!:}ߤ0X#1%JO+Dnk3GKjw͢2ɬ]*K{TqK)؃TP@L#sgYZ ))T3O% $HOL-Data_StructuresHOL-Data_Structures.AList_Upd_Deldocument.tex7zXZִF! K]A-MՋhvG"uIBm5nВ *(OQ Z:P;Dy5'Zxu@43%b>#  n7s:IdTjٙf|aP-U'nlճQ'4v>O"EemOR\8NQKe@IH9\Xdo!iNJΝLScѢ:F骻 7BҡcgYKr %uj /#yZ( װ|. ^DOz1e$PzR zMZUH^JXZJ[˴}geַl*SԕPem?>Y}N;UQ6OמTd >{̶w|;T9컸m\YتK6]sOj7q5ݫڞ7|dh?]gSfZYw>j`Nt 6tb{߱\`՞ ۶G)-"1P,MD.͉4Y2#n]^_h98+fë4/E^aN\YT;\B6j{)bO"U܉1@19#c8i{!=iÖ\й'& Hఖ5s^wk+օ9w63p5kB9`"4Yko\Jfjt}XԞnΣDf$jT2V9g?[ ^Cq*Fim ׎"?݄|7Psj-2*IPDӫxhKKF8qt% 4)Liq|U3# 0tN?uk)89Պ0GpaL9ۋ)Cc~լ[#H_1kN]'&g0J+SS-yy,:L;_( Xu,(гiaV2.ȳUԳ&oQtti3$uߤ%Jq:X0 TYk:Sݐ͘0'y5!{*`P`TQr.C1]4ZiBłn  pW-vRW/SZHǍ'ףqWihXӲezvMAh]1Z!+c ƶs|/!n`Nιqc&OCĈv<.>zE:@X,2${!;z̟ /&cTYl_iJӯmsR=f#}"]mv*`HW:fcxix*Mwt{AH?r!CZ)}k C\  Re .V,wݘDjɓ7i`g_ϷU?w_*bCZ2$3äQ!Do_iW>Dž/cb5Μ0ρ$Y 4lmZԀ2OvNփlzF9J:G:hSalRs?鯡qï^g ƪ,{nяPn}!jgu}pXh\vpٗotMtSPj .խĸ}P~NIs><}EV7/עwnOFȌԅ*V]0ܤ6,RTwղTmw_ZYPPHjuI釜Ul`%š?Lrk8KXE)=}te yt*P#QՕAF7ΛTOH'`~-=J%2\)gi/nQڄ cS2Guqȝ7BE2N+Uzox \eZi_/5{4ɋl  Q>| 6@/.u^{ (4>R2 V4sZ}wU>7y9OzZ2ecl! C+ZG Qwlٮ#e⭔2s֧[7h蟘x daNu jbD?z'_lnX o;urFn2N7D"lX.vƈ#xAY4YYEeYuF4EZNӬg^o@:3ҟD I8-[ Qf:߅Clӱb]"l~1FK3Xsyf2$Pd9RIOb5hM*^"UjV0t3ad*scon J γU)m=m[CٹF0枎<`t76$sh{4GW㦞ЭKϑRjtbn^`}^'Y9\gulfvvr&? ݝƩ6v[1I _Qeq1= V HdaYym6!df8l-?U qP'&}j+>|TD*@k>|ZORM`gU~M_f_P"K.Um&@K[M](T`N~]]nM.մyGj_Qjvh$10XMcU%PU˖p3)qnGHResU~EIR;ht䬓h%"=Л<({[Atuz?潀;:hjV )Hj)ĉH}*}Y\ @S[ HBȎ;3A &q"[;(=g5P^=jOUV!1Ot:FadߢuKH8/=)Q=05]5JnαfuhuԌK?!"ٵXɔjӎi?&~|dP Cʮ$EIǫ}RU\*Zǀ bH wfc.dsh$h TPQrr Rӿ/CFzvyN-RIcG^Cȩia)L<vcfАG @߫kzh!{K8`ze^)/f`4CΎ@[ۈ+<(RZ؂=O.# 4&ǭTO ;BlCQ?RFH~Z!G.ou[bOv 7*MxReԎL:KÆ{_AD=;d]o2_sm`^QE& o@1(LɉMےN0Pyj>< ilax~J=ىtjR3E o8˰:Wwo!=ˢcW#}^uR3^RM 1ߐ F63ۓ4l&X H91(fT3 1; sE)"l,̛E.Oeֳ; zp#λ>kӈ,kJFseAKvNz}dXynmxehyBgE-ϧ~ݩ >Uu?Ԃj$=HP!~:Qvs =#om TIROMlEv_X [™3fg꡴齎ʨoſw~ qThDhaRXtPM5tģҫ`>)NazzHR Din.අ;芟雁)'߶mK]#;BAGxwfժ ɒkdF/l4.0Ք}3*xzd"j48.%*#x>H\{EdL?'SE3xOngٓntޕ)8 ۄ ~WK|"ZFx:[ðC##"km~6bkEA-ʍSt*XiMsϰ`J">.7)QI.kj'ed]J$n\MsD/qt%oe_8eϗck.f`/x$ۢ/ưQgYZ ,,Q3Q% HOL-Data_StructuresHOL-Data_Structures.Tree23_of_Listdocument.tex7zXZִF! |c E]A-MՋhvG"uIBm5r${v+!y;ʃh%yJtY)yC e[{(.BӪO#}B-{Ѷ?0,$$Ta]!z'Om! @- azd_oJ.h0 j:)T`9#g9" Bf9r~ Y!+ރups`enBwL{7:4 =H Dz7k3(W]0`Ndo·<^9`>W$ 8"KW= ZS^@C6C_pD9h☊=,Cq@GunxVz'Z`CY f,BrUc4C>>/u頢<΍3 a:`8Y5H xC%f Qn`L1h W,F%n=m(=PkF 4Oįݸ@T YXhmʽP";QAJc;J$do2DAU&Hv"ׄ ۔k* G`qN>[M!>xGy#QIcarW+XIQ#8߫;چH67q5)$&8~[ |@VG G"DΎKlYRj@I0erТ>lKxX堤Ѹ #)=Gz+QJ9rZ:j@Q'ԍSa7y!iN[^O}7qu[P0J"[tFÉb18Yw!:=:䆵wʹLҔfxFcyT2]^fב4j+O.0mT{ RǼx}->čr?,xXUiv b筲g؁djsP8FvHmR/Ygqȝ!F1^.P4lMl6yEיnU)Y(`T_箺 :!M m&0rhB=8Œ?Y,lR{Ra`64@A1/;e|H}1 ڊ#L3R,Ső5$~& KMx|\T Vl^z43Y~m)_c' CaJ10zgJdr!i)[ 7ck[%H%d3-ڄAie92IT*jZcg<&Cv«[clLp0 Fŝ xW'&εG %*!ky\a2vj\vx+3r#Qlfj#0+¢7.@tc\-'7L隢Zn@mxE .1PWv@`[N4ctzĉKr{ p v&9c.NCjG11O}nJ1|_ &MT\s=.q5m&hT[05@?ȝ~YS69f`WޞHSg ҳXà{g' ̡BSB_2xCC8lXEqiHE%prwow<@a+zSNTCоbC"4O}^62V_6`mG6FU[:E4N  d;"(+F!TuA_uAͦ&.Seǂn4l!x'Unsߐԥ3tl^GHnB/XJ]ࢹue)B)R똯A1;O"N2@H=ozm%Z"=Pj7KK MNM+.aLS9,\Ceϧ̆Rf ~}jY nG?kіs._xb"?)s=@-|O C,}&ZlrMBm>|6ӈti:] yN Jbsm6a[3"G_=@I(?1e]tIΛcHaxV9wy [ȾzJ q1Y*s0>@dhbw*ozxS}, W)0'')-Z_z=H)jeۮ:>wKRjlԡϯQ}V?xIzܘK/88e,ZĞ@hOYpڸȅjVKTTC01_2/4#<:rV7\pG'-cl ^eTF{ގrv_B7>fHf %6誉Twx.3U+S-1CjnyhGXM5yݣhẛ?ͤ.q[pbv8Tl=[N ?5 F}oV bDFMK;|ӹ=ҫIb+DMQWЫX|3O|AIn\& zノ&=eAWB&1~wVLl\^ 8ho'vXDy"@o%N|@B^ԦY01K7BH$NzO{+b[@'a#}<^NWf[yv󠠪"}kf@l|5Y>.tү{D ~D;`@R@|?!5|Tm-?ا+ @{DKWe }U}hWL((Cߦ ]FdKH$c+cƫOxuj,QT>BGa){Rڛmd( 2Ra);9LڭjdDǠ 68vRFO@g+ z_]c>)!).y]opnr!MԽ[#{.]y~>(P}ͮ}aH+c !$3Ȅmn){gϷ"r*,,=8 R=GT?\ET&FX} "&:lW:&` T=)K$ ~HK\GD0 sRgDq `߆\GO:WܵD%y}͛YFՠ7.Jė2.&`l~ޥ&snUl;cZ!7|/Iϐx*֟gYZ NN/ 3=% lHOL-Data_StructuresHOL-Library.Cancellationdocument.tex7zXZִF! O/]A-MՋhvG"uIBm5 Q((2B}77_^(ix6kضHү>`ٰS J:>pv݉$]}٦;Dt4yBW(5y3ps !%8=\7')bgzFd=i޷|`'2pl)gUрH=iP0H4N,z'LZ(tp9A ; fZJ&%[)r* Oc$Xiy<%&sC1 ]fsC'tۻpޫvGr+gG3WQ*w斈|D03F@[Z)Z- wFț<(ƞ%̑6fm.꧛(3 mČ: {&uTxߨO%խ)r&"kw칰!!Xk~@&9G]w-HW:.~r qNw^[%kʻMkqa4H)U0OvStkم"Y w@M%ЗGǰ;/̞­=;aFnKeTcx]?mN.]J[)o@., 'V%eֱZg ]&jU%x/tt8?^D3 "c#P~BuU%/x#Kwv6zp.=/]4stYgs,ڧlޑFngan q&l &:EvoC,H5G(I)"G4.Wz@,!77 @v{I٪y?k@;tXҮp?>N}I/%6**-G)ղV>9S}2Z ~}~j*!`=m2EKb(TN3ž,K*gIC# 1ISdq3T 0ņ3HP}ↆ(|Nf]jA; SƉqLz(N6\)kZ !MK}꽊5U欃VR}5~ߧuFPXq6,zd%vzNxvD%q#~yCIp,'T@:y[#M)`F +nz#Dy?:z5bo_:MyJfFJ6X1}wf@<[y*[бgYZ ff!3M% ,HOL-Data_StructuresHOL-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 `"37% THOL-Data_StructuresHOL-Library.Tree_Realdocument.tex7zXZִF! ` a]A-MՋhvG"uIBm5r${v2_ET;ù4*~9aL8C~>b3 %Ce;HA@v-Ejp  !xj*XИ$7SZbF@,^F.YO?+QDӖ_׹ؚt2HտMgy:hJaA},(]ůF3vOwF37A};b֙zxzw-;,mLPf &M! j}%\j?O ؀mH!ecNq7a.Źve_M48iz[`~~C2rdgnݿ[ Fld"軉悒'@z~uS![OMsAVqs6PH7D{;@AB~/Qz>9\&Ԥ۝3©n,MR^T`I!6\u+x{>9*b'N\lU_}1<g@&o~C.CbJ >//o-zgA)e҉* Μk ?߸1^ tcEG< g4V a_@ 0)Y% v6qR6tA:]rS\(>adP '*&d?bz:RUprn$Bj(I,5:&lx{)Y]+8?ҕo1E1ΚrOw 4b LohWϓAW`nr[NO(Io';S*?E N~y!&;2_[PMD]6To6QgTd+MI,U HE-*OepճJ9$Nd?w8CN+s6rs (!,P󡵝sg xW+v&;_.}R,<4\Iy0N,5A^Ԫlg5qXI۶k侳։^76̨l)l9BӺ,#@ H'orbloH,د42 )g'UTR8v(H ŋ^Xm-VYDC_ g&NA7y58;?iܘca{Z8O|^e2fրBha4RiS FWx'iӺ49=SҒ.ğ71/YDdf =IMIo3 pgP_)d hl!Di*Ѹ3nē9&ڹ He?H]j H:OK=<ғչe){&K9@юf5^|SR`J""Zb)3fen-﵆3T%c0+xf-l -JNRhJҚro@-PHY $@"]nuKΉhj ~ի CR^goswjгya`Ѣճ(|K*O&n_I?|N9[r"b$My1z;?,迌ɲytN_ î;৵a*U(x(pխEb&'D9 9Då:Y|Cߘ(ga\7Tny 6?LL UN>K3ȰZ:"jciGyA7"O)DO&d68P-XN gYZ 1$3M% ՉkfdgʊyvWmzho1O)(rAΖh2JG+iѿ^ !pYC?s,6,M/QՕđ5OZKVnIٳG'Ņ:!t͎dݲգ8O߀#~@}EHx\|#uL6&F]p0#7Oi?7f,^1IV2b[) [G^ U3|`J'!SJ<"%+`}-qV!v0:VF;Vb&^je gKluVUב9 yO!{w%OŅ+8&ZTۭWMYA,Zk0 PpQ$1soc1ߤC `+};Q=/mYPSlg9{k c7 iafwH /J=$$ ӲRhWPͅ#2\gm#|L-F BΡr${x׊;U"W7Vdi<\$Xd9TiUTƀeT72sḜM& ?Fk{:u]ﶞkfT,6hkૉ ~sS?qȯ 4c["ȋˮuS΢s [4ݦ-=#_B7}HZHlB AkG;s_ Ga3g2.+OCf,2mbL} f\IL($b֕Z87||8tN. n=b|+Ub-[^F[> Ӧ@-¡>[C:Sm+>ļ _Oc^Ϟ?/8;eK qR0J,҉+y1$o!"]1ߚ[ gmB0 i-NP x})³03WMƞ"c'Z pg>d3󜴶MwWÉ^m\]J&Y>'^5Hټؗ!wV, J65pyNYՎ9sd7cI򱸷ACV`$THH5'ęmNվ"kY]o#˭jsXFѨ[. XG*z$sLA$5A`J3Kn%$0ET>^ 2/Qyg7N~kXd5S@viqhNjEΎ x\ M| TŏuCmV*;dq1'qLL`!(iu]//.zy[ogYZL#3G% HOL-Data_StructuresHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! BH]A-MՋhvG"uIBm5#'NQj`d>܊ㄢ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ݝ`! iUJɚ <~$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~[قٲql:1=.D|O7eel/ID|b3;VTIRpΣl˺0+ں|]}'u/[v:fJ5?z( )zvaG%g}wa2#(&)ii q=N4Ğ׋Ldly3&-!jtWPG}:k{~k~oz#@鯻Iܯ z&Bi@XI/hX-}^~Q}f¼f껄&2)i[ 5~osV>#Hpq@Z}a'SO6 t6ԟW&Y>>cl Ք &@,)o|v5Ur pvw(6ܳ-BRBDH Jmgb S}OD1Yxs|cNs6㿵hcK^Woڶ{%uдrԖBI @[Z3ЮCO3M%Xr `\P.[>:ӽ?=?9xZ%-ߠR k"w n0 @X+IПzA5~vҠһԞvo2Yݭnl -D7w/t2Rʻi35 '- ,x*߽[!i9lMQXLYpL9c/[,qfvw2[Qp_f?fk* l;,D?@+N޿stFMfqHNuT^Hi?u-9P/TH 4v^f= &[|\9[>F8TUTh9za1$]$GLom =,bZD&*1WA=JLEN'FD㑾B'5kQ?r| ,8t)7A1*0{_Q %tZA߮.6>ϖC09# pf$et9?<|?zȇ U}&cb'ɮ +h,) uspS ryb5D` A6N'{UW3f>'V@a`M,vJ A qg` Dk"iByҢ·xLLl@z  셄\pD ӦU`KS7/K.~܃gNP18TC'R.:|%U ˇ2, q~t г.oOLaƦB4=qW}:9BkyCB5oX^)1 c[ݓes̿%mj|3`§<,R?6I|{cB+kIa'%(K>;0漭|,`1(O胰bdu$ C,>Y}qjpB¯!C+o;\0S۩jsT9-AY/H@l@'0僅S]Uŕtęp$Y8${j}Uiȣט}OY%79jW!xKg 㬂>\0t ,<s.$& tn :uάfkq@"WTz[sv9VrJ,+ʾV*N#=FE+9 [ؓ%VtB Y|ZX\x9XѾ 1c2V ik_5HvqخGX1A\++E(WwxڡG!\hAX2DU/b3S6"N˚FgOC&6E-\Ukh!Qnöbk2DYUR/]@(PAd z) ::r z+QfpGx\#0n9 fש2- jڷlY -r PcK%J㘡KNSfgLzXܙ4Tl`ֈLgYZ , M,(3;% LHOL-Data_StructuresHOL-Data_Structures.RBTdocument.tex7zXZִF! - ]A-MՋhvG"uIBm5+qr?Dy8o:sYd%TQ.==p2G6UVRrL|m2$x:@2`7q'4]QQm`NEȆ,ȧXtn ! 9i!>U^H@{`Y?Qݎ:76c2z( 3MJ-i.!6gW`ptnks+CzC1(@BGփ3LUG>Eݎ!ǵ S7?ߌ >]f6<A|xRJTMqše2Ii?b#J\ w~wnOf8|yPo txSze/hR4Onv'` b jMWŊlP5(0$7r dq aN[%A#IZ+s0Њ [vG ƅr~ b؞T?ύx9+83ڕNȎ:ua4[Bɘ Z{ۖgYZ0'3G% dHOL-Data_StructuresHOL-Data_Structures.Map_Specsdocument.tex7zXZִF! 2*]A-MՋhvG"uIBm51!/.}Tfq+^&% *y~hNDr[6cRλdZ q@9w]#Z/Kd,R&3,34삏YqGl N<Z,2 '#IJU‚WU%])\:RqB]婘>uXnTb$w#[#S׉(E;>;-=3Z8*(}:a4y_X(EPQ M)H=l3@VwL R7s3ɚEJeslUz}bZO=]ӦVK#Z6A-'ɔ\B!V٪  { _B6uJWڲΆSR.r37:[/5VSՇBjg 3{:k:>x3{Xۢ:(kNkZc9 tɂ,@+CO`L^5r@7;F?ؿiEfE~n O<%1]_q".wpWy+O4eٹ@X8mzxk; V+/xl;ϔ=l X(=p.  |O*N`.Eh묱t@+_ o%(ORT~ ̼ $VoOuH W3}fvl{jD,?{Ly!QԚ Yvfז2_+(l`35p97mvY88?a˹wr |!*"WӰ˔RI\h }?8Wh Ah}: OҔ%>1j8ؘ#katܒIKL:?W,_0i1)Yvi$s{ `׊hFzn<e##Rq&y3^,R>t31iM`^{n;/>(XQ!XoOAoysR ǫ9* f瓯 9:MX)c(OqbN*>xA`>\Gܧ^qkт{B=6/{T|I#5nVݒ1nU-9x-0‹| pYq(,ʙfJ5AQFPyLZśvO7F\ m3rȺhI45XIQ>) 惸5؏§?y ]RPx00co wpaeC{`dNI-@{NDV$? RhTy;k1u0ǃsGI4ϲl6wC䃄_٧sMd"I_\ 3E*k匑Z1Mn^J?  e4ޭgYZ I Ic*3E% LHOL-Data_StructuresHOL-Data_Structures.Tree_Mapdocument.tex7zXZִF! (w]A-MՋhvG"uIBm5r${v2_ET;ù4'Hҡ Ep~[=q73ѳ^_p;M#NS?";VQ[80._ò0_RʗoW8Q},xn[qA9|A={y9b"~Ku9+J#Z.>Rw@86$IqT´cqNeI,5"b{"okUA?bߜ VdAN #ɺTp+.+%B  rJg4wcc'6yakKPt-7&1v{sS/dZRЛПB}\PRl[VA+缦H/*]bGcK$yZš!-~xSaY] ƽA"c1Lұ _s-\,'|Uӊmn>pyB0BM h܍K%#1vUN5d ˜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 QrQ,3K% ?` F3 { _[Sa<n[N ?gl:74d {~bwXn}=rF^qIawL,N*F= ц+7pe^:1aAH,/Ę>roO2VL.P%ILs_k[w/ΟR6;)d8a ޳puM`S5Ld7%'oIY!([rz/W a`ݶqangts+ p'rgof6hYC Q)(8>Ca%ݔ(HJU3!dZlYZ9nq1E4 I&ᅼ=zp*QfHဒWA"JYP$ܴϡ+:?UIvqlU-Zmi W-ʡڸ؍  >ܶ0-`GSa 28#[gYZ +3E% HOL-Data_StructuresHOL-Data_Structures.Trie_Fundocument.tex7zXZִF! 9I]A-MՋhvG"uIBm5r)NԤ-`N4n[ 5jZu8 1QMn0~)6<`a3YșeQד yacD!'^w~u-Qmg^娫+T :j. N{/ZO #q[F܄ygY`N/E1|*cp`jws1| kAep~4Zx34YKl~*Ln +RwJߜG>ë5*}$,̌g7}#[s>8X V&=CyCиPVQNXA+w ɹ8~G} g]W2 m,:eRɩr6n]VQuZj RHpO!B+l&o k}G3lҵEVDtq&=RqZwYE1 ZAwZ: gWj8ZAXLĢ7ou Յ4/-U6~V-xhON4,u/C \./쉚LsW*f Lj c*l ! |j\/7*G:lV f 9VaCQ̨vM‹߯/|NX{r9€(˼8ҭe.cx'EO2w{Wt]1ӿý)WyًS/GOȫP [%2No$ k?KD@ҷ44uv= A@ h̀{.yW.q@hvn.K6BUh;+0e&yM?R*4vZO =ϩ5u5<4Ѧj;:H6 Y,z'+(0- j8=@ СԌ 0NA@J3֊ `m4KlUvTL] `ݛ@rjg(2HPnCddStrXo7V !X,xcb_؀IUݸNČcG]׉GK>$db"GEφa[+cN u6/&^,&o˾bCDP6s1FdlDB ů` yUjˋOq9';,~鐣 ֩O\0! Mdsc^<МVzWNޜS`ldJЦBiy~36j>AŰ̉-]3< uc+?IΓix 5@ND!TQhBj4ޜ~+ e-tO.N 9p48ǛbVϣ`I) i߂l`'Llx?77 ?#4AshX.4D#uSOvfcNU]q KBƋ)VBGrMNb0HKLo1uh`xp(=#b]eOMĆbV23%ff6a9F䌶eFi3=rA乱gYZ ] Ja]/3A% HOL-Data_StructuresHOL-Data_Structures.Tree23document.tex7zXZִF! ]A-MՋhvG"uIBm5r${v+!y;IgKGz7['ny`S <"5Sv9G(}"Ʈo8QY ңx<@~\tC-SvE]!ae2Ŵ/khDnm+3N@Rg<1$\ya]dPv1:/dݔc Ag" 23FT,x?cRN\k[Y)Н9i\ h!q 7ʗ'~(cCN=+U.6Yڍ5_&Az5/ fIQ_Q,7?mla̎:RK͍P'AD{Nt$VZ dq319A ~{8.']'1%:Ӷ<7Q7j3,y0Hcq4toB4JyqL9@*!FPo ؞8,ccjq%xq!=Ta۠IS%vAҟ)K0뽸ʖ[d˟Z &:h_콨P 3=7k*.DthTdnqk8$}<&"YZäf J.$O_rpRC`ʶ "ހJF)wd(5JDL1grBK *Mú#qBpMOaɪq0BtɁ^C5`7r;:iZYaSLTStbѿ;c{̐E~>﶐"j7#Ǹ7X򓊿"&2#y?Vzmw 6|5ePߌM%ޓ:(is6vys\۽)T{ +t>bCfTOJ.|k:A`~A'Ad,6H𸥙B/U#RhF ;$ֱgYZf.3C% THOL-Data_StructuresHOL-Data_Structures.Tree234document.tex7zXZִF! %a]A-MՋhvG"uIBm5r${v+!y;f]*8x7Mu> -J6] h48^HqGiR絘=LxmsڶW㉤  ɟU0jÐFA]+ ;ɋR҂RKmwpbz.'u%$@Ѽ- Q-4e֠3 "5Z Xy gfksӱt̴iS28e RF!ܾ IVLCa.,VQWA1HOڨHUŵn!|Qd#h0ah1l n%rs 3%|Tr褴/P{ Xw.vIo侠=1Әl8sBְtBTnm;7v yy1C~k1z,E, qeUU'% zͤK]|*}=bܺG`TT-e_ynB{FsqKWTb8~\8σį{``O\K!) <́pBs$45pm^,:R}v|LMЎ$)g:ys!]&+sKi%Ա~\f !_Y$#䙽5jd[νπo=G*ќ{+W+<*<5+S9ϙ<;-I_J,TJ wRO:)+|sBs);-,`~!EF̦M<$K,b X8%[~3(Q!,H(fȰD\tBmUgM3M%"{!󮭘Dxqt κ! }OhGOt{s}bvK7C~ Jɵ5N #99|*Vz}?޽%=z@-ŎE!2/  Z{, Μ3,P{ .Öp"]||Fc_˾2Z3KQ#1,;wWPuUTBI'uL-O\!.Rs\2dݚ0oM)3*}e{?]y*_: @긜:n_h`Xj2fQvQJw2-lW7;e8B1~ ZlTXC^#21 Kpk%-#kH&\MHMI: [ub4QpCLt8yw5wh A;W1:i6)Kz >Hb,=)_wpz42T!Y{m.ΎNS*%jAܗb葇ib_8T}0Vi K5AK8q6ZbEgH ߋ+EJ(N Mc SVFjٸb @mObo<,ndߏ!eάmLIaN14hGqja<{UZ`G X [2[j4w~/+߄ZBH0~QlH'e%7s-Qo$:7%s|!nYh]j0ڵoo"x8\vVC$s5r?gYZ  -h>23C% HOL-Data_StructuresHOL-Data_Structures.Lookup2document.tex7zXZִF! ';]A-MՋhvG"uIBm5&*ͤ55_bm댃\hu)ť*T6Y:!8̈́3ܠjrT=dJr7^=P#q S3b{I~ eTQP+e:Zf];іl%]DNA*}c_Cehmذ TP NFq<$ԑ%ZO~$iذ~dTFNغ+DG,Zxe?/v0 1[@gLΞ /frHT&ub*vebfeZPJeQ*LqX`"= YhTr.} 9OIQp$v8^J4^ʔWGW;{TP][53|_;c%.[8h =8x)RhWW ::eL]~}2l[DŃD})E=.ltrmntSEgpy8/u`q0r#ʓ  )\ȎC0j*TH|^TT>D44oD4!PDН'G! hF ^Y@Q"j+"\ٱgYZB13;% HOL-Data_StructuresHOL-Data_Structures.Cmpdocument.tex7zXZִF! A]A-MՋhvG"uIBm5Y;dM;him6 iB?D >BJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZP03?% ,HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex7zXZִF! O]A-MՋhvG"uIBm5mQ}:)Zo]^y'[v\K#b^&~Kf=.D`Q|[F]D\Gktr\~N?=4۷Z“TJNpU Gh&O3⹗ryZH{gV WVf*as<.CZe|.Fr;]WJK;.\zȣ>UfK{yѣcz{;<߾/_g |p]g/UgYZ  !H4 35% $HOL-Data_StructuresHOL-Library.Multisetdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5h\~"EY$ Sht)KߏEh]Ι>2T pY*X+3 {k3a]͗RR9Yk.rҵe4fGwؚsi蚊 c^{+w'&৏#71k?"^b/;7QU QF#%YςT皏,;/ʲ?fj8??~`9Ĩpg+CRK]'*I6#.=5Yb/%nq cr~OdVUc'ZȰŅ~t? pX[-˲DY=xp^䱿4a-HZW2!/l¹%s~)p"174LW*Zua2/3It[2 _¿GOAJCJtZ{NC(E(~ٓkБҸxKkl9DGi959Y`dm']fUХ7ENq;dg|^;1XNUgK#tq__)I&L;$lɋ3~P%X5GzLGLNyh檊,>EG8z})w.4/Z>hbKh%!iiLN V1F:;ק܉{Ë lPNdCMf:nۨ$q3dihF82)HUo>ݴJBkX*.In$ Aa uHEB1=T]=!ATk[o!°^u0^hc){b1-b}>OBqgߏ  >;*%lQ;HK(^:> e) V&о8^WYC38.ݟiK&3yO (6Bz`6zL3 F̀-KL#+>jP喏#&/6K,;0⫐E.6}7T>TXvS17 `grsei$:wuD9+6/ʥ(\؀v!<< F,hmj>a!HuYzls'Si qфD/ZḾ[ƥĹy!Lb?T;c CD)e0 /ZUPϱgYZ@8a]TBPtIFr{JjolMwaMi2e' $D%]]?q%8/27 sV$:%kt2+3WQy]no%zE]&7ԗFX #U}МɦhiZ關TMb)rrקtsDUD"oo>N s7BPJ9 Akmxgx岣GJul鈒 yxeMԈqd\_jor:V-ըz/~5@(!k*ۢ=AP|?ح5$ >fpܛAG 5*5 M`P"!{sq"{E6SkCH*~L+K'"fNsV/3X^8hہ4$ ,|ffL6@lp|TWxna%eukjJG#EϷY>I#ca*pQo-Lm[{R_s\gÔ2Z~={Vi¾?O"AWf+C,!sw|"aplS.xL0w)->+Ixwŀ̧64V30cF ox?5yw/˧}A_DZ/C{,g͟s %o1ʡ45/XM$ 5wq)]9~J3J[Wd"O*16h$%'bfSOe ռ(LM؋[)Np# nry'͌, rq6E7|yL ^w L.ȟW#l"``A2,+m< zxylWbsm{*@9ρl,@6bPa,;ȗ:VQ-`[1r+(<}M@CQ+ll~ \֑D@H]bPCeÀjU Pj8zd8t4FGV旐a\5 H\oj L-O ًx34 d9W:MLڃK<Ͱ2B@Tjss?vU=Dvj]_մ0,hj;! K!2j; (d¼-L_;Z;S0MÎ?p_#̤[ú :]`&vg.SyO!H2VׇQGOk00Sp==qȲ9:^rroD 6Yoh=ۺA;C.OlZoĢqlrM(3oe bnT;!dz:,xO0B8*m"`HDb.ə~?" ]pXr/?UBעfjm/hS&REaUƩxyr׶z"ES*2vѤIás߃*tIz9MҨ1w5i{^K'R(b#c1=Uu9zI?bd 5? xNX3h,6ɶ+CP=az~L`܌ՃL\$E߸Y;+2lt^qH۴9-?MڎU\j2eY@9ٌdFQH鰯/Tq~t#P^:m'Ifn |IH|6_ tSZS/ T3qi;U$H^KIy3,.4akahBʃۯBӋYKK u~sd5鶩M|,[TA (&D֕`'*>Dr^}$UpmаqNY֎0 qDUk఺a+7;rڈVaͮ6r4o.,x_B͗LTzܤe*v%ap) @O0(ڀgon%|Žfs5JfT%0Kivt\2E-j)*i2*q~yX -#@Ân|,x5!]^Npr\h'WBlW#u~ @zĭxV }ޥs?BTn(Qt__v9LpVKU++{4w<|9̕ Z@ !'"eVs]Ί#nP])0qa蹭d0UlzNRq4\K "Ff3e_/+C50Bu+-PڀCA~Q*Uov3[b:5D*Cwzй]^.tsj?:u!hTiޠeԄ,ڮrُDl39bDΈd*>_D(Zo7`!},j, 2ih^P<LJA{^87<&{bOdSLԎs˓>CeaU8N1:Ǿ0D)w>MZP-a܇4%.8s8"d`a7EAsauIS??JM6jɄ{Tˑˁ2\Jj)7n3?5ae "͎KbtXJ$}mB`)ȭ7j1#Љ%S8C+CkJk'"*_#eJ(-^G4 KU7g:wm<Q#mlQ8x~LR:_I%f!P6th& X&nNH5diӌ*'gk oMhr79`eiڂh,#:sV#k*PpC=jjǨ#1厥7oU&b4tx~9:5|z瀢AIQD[LD?{`a@C4!~ 1/Zw])f/MƦ\BNWա/<9TZ$-E x@AG!IB7KEg^IA=YOWA;luZ\FԿΓ> ;E [ܨߖz4iU֩6bpٴ>oݝDj525|gPn;Di$taք2Zd+h60mufTu Zqa/p'WsN5ɑ[W: P h/p.j5׷Y`-@'yֽwKp;xDO,Xxdxe c~-|K@LV}x$(u`3yjIk (4::&j+|rA;rˑ%_,'ͨ~@l4*2:5= et/yNq'VSb=_Iu|::BXM󇇒%Y^`>g xz f,w*)yuWl]g*6Tۉwu)Wv / 4x3?+??"uMT1?W6kvZ.p=T#&'pq/!v_!x-S2bq\V n*ܙ-7=!%^h؀WT})Csj=y 2`H0%]q&x5)4cK$1]y12t>¥zHa\sXly}Qg`ᜟU1QaRJG޷/kS@/Z1K4X_24R9w6kcFP <]Q-"kŐs!Ys+Q8f"c'K]K7u@G@MI4q#U@,D>>zqUU$8;CYqJ9˴GPpq z{7V)L2|j'K/߬ic .( aB(+oi7qg 5+n~E2q4Qkuet+)%;_x1s>fEZBEƄ\5Ii{ Dɐ:2.1bd/7[. &{< ;Tyx׎vO&dKwRNrǭDPS&@B^֥NG-?dKjJcsm8nan>(zLd)h("6fp ].d5hvMZfTv0 MCX[>%j/tUԠ3_GeNa8/ݴQERt~A+ P a!, `iKz/-l"[16X>;#Ko,߁ZN/Aݎ-t0oyݷU mvT9x?n&_,00I(ozF"~ʟ;5yK1y$y0@Tr5mMu@'֟qU@b&e4DLJh*5[G? 2m󶺻g{Uv=E-XU' @L@o𿟾.;zKȴ7Z B:^;4hIF(lJnxQؓg}] S' k7Fx:a*BuسUYC\S;,7Ð\AFo9Y{D f h7;0<&yLk⨵"@{{ќ"t?yMLu۶ge juwKѝ ^ͷ7%еer?!r{z'dԮVv1ձ!dwP d>^UDzRLVvcriނ'1q!Qg5D !Aux"Kh}?:d5w : }H&J@{?K{ûHsHA:2+^A[h*7 hkf'0\'153a^<"qeGdNE_c7*xu=bwp=BzF(2\~U!H "6'vhَߎU,lIa٠yf],"?V)H'ksQ >wbW$>jc+&=`X_6韨%<4[8 Q̗'b^,8G~WZd=6oQ|;PwrDX)EU k!r ^!(%`]ʆ@%G2!Y}ƟuXy҄ +Qfp.!{hfȐ()ORX_# ;Eca(d0"tȫ޷dB26 wJ &\(H#eOa'3G^~j8!ۥL},| $98*]TpA /yk|?Q2rC5K_ښTui3=A'ɦ{;`IBrWo%~E-lxD+C$q3t0Q)t:idi #;ypu&';59W>k2yxG2\Gp}q|Y>"3:AC&!$sN @D酏yk]b,gᤎ@/I;f/H9UЛ0Y) a.zuQ-<1GlB'V (Jo|\P:y` dKOξ'-OCLBk l W`J~1VGTZ"L@hfME,UZKGD`+o:FujXG=i_ep] /Neʠ0[qݶ=Dk#$USSx- kzFg_,=.փ>C]kz3SI_A^E \&oɒ;YrBL+L%퇅ܑ:lhm~+m?Ev%'bNY>[$ݚlײD٪C:. +1OfH}P-Iw! ċ~GeW&JÉ`f*Ycvpi,<ꑗ(c `(ЫD&~lb"1* م3cV5r5)Cx Y^܅"mz~j Xo>Am)гKfNlleӯLfKhoS$bκTHpzJ^2r[l 6bA.IߩvA}5R^m + ҆/&αoj/,bW-/L1ѯtoD_.6/f3.#&ZyK$ /QYI<gsҾV3] >1:fKzE߱Έoeܒ/i1hE]|XKDotwk U&;cW>i.hUrXq^0pS`!o*M1qph~%v[i-Hѣ2o!7v%cZ*t^kðoXt~TYqPH WZy3&ZUkl՘˙UWxHo3r?%'/d}uLP8S++-pWM*YA lb`@ٱi &Bi2spW~ /h3 Ox vm%TZ:'fSȃsU.П |2NK)ZS's Ll}@3l@xG܍_R^b~So.ɻPc'@%GICQuaڲtE:ApPm\UmĎD WD7 G\bmse#4Ok4Ņ,RyS\/q<޶8o/ȍ ٰ3yQv6'"M$$ Q0)5}JroN;3%csn'z7iP}~mbOb&Qp[FZ[⃴;WExC9Ї-KPut%`#BDdvο$I3oR5p Ƅ*NrRy^[rpxlj*qeGv=ҍ]&EGdSN"qݻص, |H%zc̙7t2q "2 tҀۣ<#sz }@&C5M4 w*`OE,mY]CKH:$t P()bnTlApub v{94?yh߅{MFK/)b3h#(yyiNJH#_@3v3A9`6&#!#?#r䡳1. Zdܸ!fQ,\'yb﹏Z,1AL֍PVra;oJ@W n 8(Z*xji'WLnx1 Qqr6ھ>oI޽-WiC|MѪ$p! `/v ET(Q m/ GnMdQ&<[V!*K [d) 1 Z%PKQ3{1֋rݦ0WP [X7I6Ƀ&f̦ K㐱%7#{+ 2EE~ufdiQfwd"%LTI_yYDW8p\Ѭ#Z<•fBvR@ >J8S))HXPR;7ѶY~YE_WN,4ֱD:}g'E;aI>9e mh/}x$ڲYA\>yN8}Sb6E e#6I&  ^WG#~|:'H>5``"LFM[LXz{c4Lb׃mڳP?PwuEqcA,,+RE֙>.ߍ@YU3@nI+ `)\l="pSq181uC kA]]OE ]mI5D]Ft2\C# 5| ?I>hr٤t &Ni.J"nRؘ[ـ1| ۮ_./[r ؎ zz(tQVhG `$폊OAjDUhfvWƿiqB"Ƙ_Dg}!..`6c2 dQ ػg;"u*OIǹ$['>V܁~\.#GlOsw~6ٶ-%GљXUĺ4|_w)H lɽ.ѲLhE^YۉT"qcSfՇow@y:%^3NDVecgZ :f|+fdXt Fbcj{](}%<qoKC@)2vA/:/"*5H zT$eRn}~YQ:x]K;Eh;*O&ol LPpH^+'׈Ql8FdV|bk <O[u/!8";Ї ¸ rIsd_aB?!'6aR,gɌ-ÂFv,-1",󠲙K*,I: ע!B:)*'%tv8?ƒ!QrkWz`&G>pjxn8[gk3YzԘO}iHPB|cTJ~؉0nn %,y0,17&-c* .Q& )/1lF5 ^PEՙqֹ֧@+), LWG+ۍ֌2^F{<m3U4>oNIHkj)H ,b4yP ؛W^̅0 @7RGKs(GwRQz'lan/)L̞{ e㍜]:_OazԚAFS`ղPMhHf ˓%Ѧ}1k7"Ĵ6x=Ш(|kvsZ,.Deif>673<%peaniGaM=$jP^Q~w=_K&:,iuhID#mAF,1 /=(.e^;Ao7%Wmz-d8\TGj|bKd'x&hDGYO}Q7a<a!`An^>Wc~^cA*s6"9q?C{<@!&!8[I΁$,#}jZE_{Z:r[9Qe~@Y b$|Dt=JD ʛA x{gpc7s~!9jSWHHȟ-jub1BJ Xw9RFaC':y`(4 >~%54ljyD˚Vo ;u!MC7:@-C& B;_fEu|v_]ޖB.vj)zguNCg0W>Y,<ӦSaۦu6 0Sx 䟣=סllqf_)i3ξvb E!!];̜/.ܞSPCr?}ecs]%lpaMK+}V ePf;cw5а\HG"瓏 0/ /~:_kv}[MD!|DW-yu6G)2/+j`p{hc Ѡ *׍ ML %%6?qD,?f+)JX ̊3SV*Cųp1B;%;C8|tlkVr#iDkDLP9џUȁ&׮~0-p`"7}۳4Pj!zi}* =gG P'dH>^zxi`*)`ǼŚ] c빟 e6UwJ<>;O0dwTYMl@z]|/G)==1Y9i#o*{n{'avޘt݀Ҫ]`|'O%U&cLk/J %ߤM*4jvJᇇpmcDzUžLK'27ލ)>ﰃVr$*y?r!n] ->e,uv?osr0*_n]t_nЍ%=>UUٸAF\jO~]mܳ[kXYGDp~ń16X=\@{[xˌZѦԘE+\^,|Rxޥ P=k5 =j3,ϡ+~0h \]/7 *!9Yx{?Q:Q%9L,g'kXZŦ@. 69eݜ=RAVrozu#裂$bH+npYioMŤFL^!دIdF Bv(93 {8ADtwQd-xm#$ ZH%%\m!H80IEDzD q}Oͩu:Oq= x|&(ǥ{3D $3;Ocax*HGq}ɺ%t[&F! Ӡhe!,YH(RP* WتFaHL۵T~3l*CDoWE{|L>J rqGl%3 UKO F\OUB3cp‰c$C{gBH'\LJ=B !k>ͅ.lF j` Ens$SHM-_du.ҳ,a_"xJT%ɵvPIY騘;(M@tt 3b mr ~]?e^v/:!d%捴_ngJā/#>E!97<ԑ*g01 WV.eEH)w]8,)~{I0C3QyS-;3ٹWOvcwiu^)f$aOP}}<&)U,ʓ<jFy!{Nww2" Z9w\NH]a]:~TM!&v{!&å~}xLWω'hۘS-9yE\|9GRoFlY"i*\]w#݇|1;3FW4 | L5Q29|+BudZS.QS9[֯4&4NmvPإoI-#]6@SVP_QH<ß=5IJVQ)5G?+˻J#נ/!OL@OSnԭڬjšbQTy>ĩO?7YI߱Xs&iN#ozuTm ^uZ<ȾUwYS(-LNp5&69RR(z3yG/Jد3*!ì Dv!%2 }gKr᪶t 1y_/ \cQr0raG"9m$ q^F8T*,WqazK쮭GWx"K``x,-!g%Y9oNf#ӌ;9=ʲW) aC0[Yx^xs\]VU9B/fw O+{YjӜS sOj>-\ WP\cJhhV,_%Y!j0nC1_ecNO|W}F06^ό}VB{ׯJhq‘l:f_mߦ%a-p#y7IJsIK칹hvnE4 41xsc ǢnX &G2˜WBD ]Wӭ>^!}ey\^LJ6][0{Fl쟎A~e}[mT}mۺ˰[Ў*! /pߺf>DDenO-EtA mj-ߙl>SS j>4OB;yL.9S&ɓ&J'%A\B`(6#/Ə_=^FoyGuRqk:k*Veڢz}~svdžŭxWr¡o?W l{f,A7;3"4P@vBZ6qwmSojd-6܆vܽ`p(A^NNTF=j>C=pE5\җ/[YvzMmnjÜ;(dXDFoF8yP}D, ]h]cJ55&D|P#"<Šte]R) J27}E*eR&S;Q  k+yq:iChd6CPUAù*4g"l@k<1ڣCx)(󹖣󠿚Fd}-KLr؝9%s)o?U}"-+g ӓCxw\MK. w$u+c&wUG~`Jb.\fS0S]SsIݣLۃ?Vs*5$Cfu30"h2je1u~!O|ٺTXg*I $t߻gs+ x y(M85uZqS%пG&hH7ȾQr/}sz5:P:D)I&6jns~vxՙWGڦGHMOkINrP/NcId)b%͗  uJJöq\)fm~TB*uIT6Opdp!ˑÕjGdalG4>T&eVHٷsKb T!Vc] h}4F.`jV}涞F:B& l/۲ 9p5ƪyRbۙICVSv\8kPF] )F( *ܻ1A- }rON2@[ 4&#&M 7EIYiS n*(KhaoB#ygT(_Q2@<vT)oH-P.{C=J"TԿhPh-Adfs߾Yҏ0Z#Os"n;\!I]K#'ȏ]R3-{`έR##7wKKK F%$x93m\tlR |o<+붬0`̳.;~ 9 JE2'j={Z=<7NOv(XS+?>74bFbv̽ˮ<[W5PEsExibXŰG;LzV~7J d>X&tDgkh|ipJ2ȴI_hrMG|Xzs[WwLjۇ#~ O8&_k'ےQ!E"3ep7_/(C$$SIH5q0 b쾰qMw_!tM}<-#}8iɋmnn|7G9 R,YK냪Ң^t$s_ou&W M&Śv7d~^`y[IjardA":aȱ]u'Q_okbmee/HgBX*^L+1 8N'NG܌0?xu716h\4Th. D+b>=Ѵ^ҡB\_tsjԨ`Ӈ&_1xrd:I+*^ P6NJWBjd5m pm\UR(:^Khkk5^e'_vE.wۍyrNxqTݿog!CWV,UFKR/Sayʔs.5G:}"MzhZKZN)s\`5I6(hsK5DwW*f#2> CWox~!D>"#P?PZyJǧ@"{a;dGLvZג8ⱕ`~*Esp3Y݊=nj&/mWfϙ(fUtojsOaM?DDbFǭ_k 9nP%oFL~ȸD>237S|?Di\g23xC 3YVP!v +vW$5WlTW*@.HA+$Գoz(?c]rq(.Q.aVpc&V/teEkIOT.N5N+oQJ:GFcڄf*X}rq5ۚGb8ZŌ\:[qJ  C˴%^y> HND[ ! a9׉="{_u3F"s[S/9IڥS8[z'FnMI]0_>U @$'^B#ITKMY{#8m璏+;+3dB: fYw4rM xi XxNB#gwhUOؽ0ֽx.7][\&6 ;? d *gO C+ ΅IҰ3Jbp:hV^q9T] ECa$:Q~mrQIB,v"yI{iᇘ@Z1&DDB D/NִV.Y'Fۅwטwk%DmK9IRM]ՠ*]cL̿l'XWYoYLkǣdvH(WG"bȇa>mVȶ8<dH[Rr m/9~J q]vhș0c,qϧ +cXX3p'-Lb숤ݲNmy(4;MsX>H,EaX5ߵɦlyb@p7g;oQHph0/b#0{/n>FJ6?#I/|ٻjw so 56ύ7b웜=.4hbDK?+G lm*w̨눓<CN&ˉ$O'AԊhTZ dŎ x}'9{~}Bp11D$ߵgK%!E9M:dV1Tk$kth/%efH%:{wki57ًsr*/[xקطܺpL̀N)C&q`e]iBKܙ4U64ic@PuZ~XK:77k|ډ#.I-U V̊ѝ<Лd1uoz,άB- 9wg{PL2*OE\ !`y]3;<<#_rwJL2**OM S8M Rfy*Tg DtsYյ-v0GEc,'Q01.RK̑v `;f+{hY4 bu攄ɣnz(n~0uTޤwqg9΃S^ь% .0qHkC>˰M}KRW B F Z/vsM|3"(" V5rM7Ex}Ct7z`MU>!/X=wQz@)eNcKӎ?u뾴-C&1QsIe>]rew%% ًݵnJTsw_~;+߯|ӄf0lh-fP4,jpݣf'^h*#FW~C1ɮaٺ[fxNvPvZ (neO3v$>wfT-ֽ/p,p?%0Vn]w+Q_>Rʆ~_m. tj!!ihvEgv։Mqn>OEn>*Wm UkĢU[MSua[ya:\eHݬ \2vR5 $rƗ fѭG )l,|ɴ) xqu:BG#1A-;拀ea?e?`9lBIj$iSۣƬo)[Ynn;/9+$İRW9^Ug h1 8r7KGڛzhܜי>EaJNx_G^1ό{^Qf0%NWkp70 ;uX4bslo!}Gрl F qϕg k{33gڅy$m8/$?QT'?B< i =+c]!R6Y7w)cfc S_0%S#`RXL9@%32:QOLb[|7^ܡE=CiXT Ki=kvC1tIfSʑ7(4wj_pz/Ͽ]IsQZ@[!y6%@pNdvJgO򌖜eO 3 h6:cnd3~Z&*an| 2;ng7J19ŧ61{t?]M3@%CAQ40p@̸l6{& `+bh_+U^b֙2=D$s \'HG:CzO`o GtM+}9l!Af*{A@yOQɸ]!6SY]" s_Hbmp̡Uu *cN XZ"$N FߓUmrFL[0X/i䏖[|{ f?rf9{7n.  TIAk#"?׍1sAKpײ=>oAK'9g?2&D̋JuDev6A7 B7#jbjbİA( >i`#NPȸH-j Q\ٕ5iSQECIwke&;qSq)ę/5׈81>ė%3]uc!̼ȋWrLbWQ̵&G]py:v,V쵺0fU/_B3;R_MM:gt*WqvZT6oaȡ2MGUI)֜vS GIE 0pJ󥈯j;gA!2v4#8#y8АA_{XKž֠o/ 'ƺ7ehş\䧪clR/4/,g܎χ{hW2syHQ+I/Oa߃c`7k 2){Y`"rG:IB0"ص2M9[Vc6|D96%m=UjghR7 PѲVqO$TB퐳6.jhކ@tSm۬uֹ7Snb][ jqFN..e Huۍm Ŷ`PHuJ+6 wPt!57+i-qF|F#Fa0aQBϫR" gYSN, :۵ZRP_uR5k*%BJ`,"ǽPV,cٝPN=ȡ>vֿA}Tq3m5zNzt{mz^Q`R:CVE4!rN tG,q>AҐ8'=6VbRZ<ډ[FӊZatLvLŖ :x(AƼMHԨ)J8[-_$*NM3w (V^_߉b7Nz78V7z ǕC_APML|gYNqOf^  -&Pg$#i]j4^s ;k52/4?pe(fxHt㗸 1fJ(R*tKxۨHY]g*OoF?a ‰S, :n(ark Yk[SPD LQ*9-@)A8 3#||u {W2]G{76"&++IiܖĠ,G,Ȕ]Ӕ4[(6 -qM M K_sĔs9|fH _H#j)Iܬ:Ɵ !8{f7XK^,ؚv`HīzOɺ <Fo"^dIQ^~Ox9T1$,Q1ito":jQyAKzlDS!Do&8:"IX<yWIrRqX.K0=ެ2gߘPXD!k[YobC%yЊsEnJ(yMĴ&zWr}+;cxŔ=K"b?ޙD j&]Y|w.}Nw4uYw׳G*3ݥQ9Ybʺ%;tAa+!MB>ؒaU=SyO_d%p*/:i3x M 2_(IDsK1Ǽ鈿2Av ޜBx->+E1YJ0 jB@l_, ٠zjf;vh@.np 𕖿1T>HVV\'~Ƥu%^6Ƿ[7G 0w#Lt<`Mpǹf=B3vD[ϓyM9Tj)i؛kLðtzd}+c-^7:d~!_ßҲP"g_jґđēKoSڀ P]p^փsSyiۋmuU\B5R&gnI]pb50\UpNVk5hC%o\PeVr 3\AIPqɮh%M-&>/~#Cr,Z/,%)L&o[+b?z 8y>1KtM J?O"c6jXiJtS} 'I>*wm]1|}b'9*5z?n<Ns}]@ 761>geB :&X<"`oWKSGp !G45 ł5$}*S\ {< x?rRvv-}p#c| x:TOE^.ׄYڤb4oaVK^J@s/سG 9BV*!J;-<0ǖSqAȾ/b]MxnСM}o[(؉e?mF1\ b$ĜձI4)qX3s«V:]$VE҂{ݿC K3ݸLW Uc* <İ`$%WNOε)ѧPJ;*QOPlIu>=B oq[z4TsϠ$o8: pˋ$Z'-(Wsb՟Y̓HSV#|_L,G3.`F.L+{j#j򏲏'.?;nk&tI3B\SX cF=,1\F7?^Y" E|yzlX,>D Dvס?H|xo .A:2jpf d6NA;ϔW`v,G~]v2Kj'e賩GԊp'ܗ^Nj#M'[ tԌ?* w;|8l|Tg޵'%-qvL_L,;Pq?mW7|]yL"J%& ޕnBtҨ'l3ipnibKG5D(5fPx9Md1G>TNק n6_5Aevwy(&f ƈK6UXR ]PϩX^%;Ir"_S_btR*MK_Oˁ{j~ٮ=2*izĄkE{mQq-GDzV)o%~tU+dfmg]pT^|\{Nj!]Y.j]g;˽SR+G] 7lN5Gcf*򰹆dk:fI.nZ豮-akf'V`.oXڵ{M5MD)@)=N\0J KDK6EI qm7'S\Lvs>[7u+ -+הy=7%?M_5zHХQ$حeJ ~ bqMҚi@idž^I絰k & haDCou(Rh)Go)B<7 sxP4/? &ũL5,Py'mO59I;S \G VXd Ŋf nJ"- }/MUc瞛I(9_^@;ԦmbiN퍚+ċ^hpfhZōdadvm wvӸG:X0{fZ*Pu2W~F8] %I3IU\F3Sz~L?H^ڛ-ܝu={:\S瓒L}^̙{Hˁ1KzG\KsJq^t5Tt$0/xoB8Ə`l*1^vh@&xVTp1:GQƀ&h6=DuOokޝА8(QCP'(ƟN//JNbv"`u:912s^]m"8 q,'8&5=\IIa940|)};Y'&Qd&lmR4xΑ 0"ϊ AqX7U@!-de֧c0S2u evLqbpEW9Ql;rOqhaM((;@|r6 JyGe>]k٧|čR գސ'ۨ%(񛍁iۻt|F a#<wĒ˛O=ٽ&dEM7N=Cc-/T9SxJ mgW.ǧxӲɋRدK@ W]}S]p<ZL(qcnƺ).']2ڰ簵 T*8#8C!.~&6dj/^rR}tWU+4F4ŮX;]:(nTSv:nLWq*+yg V񹖭B| KTj}`>Nq!A FUw#m@"d:9<ĕX^-ƋIm 4+/"{0%@Bp^*ʞ4%᪰{gu9fx Y ~low&*Oאơ `&J%^wb{XWؒEvb\s*]?p:} !l4L5I][sI.#4tl:qg_3VF<{|r}u.ȮK[G/j L<5 񖺀ΧP/}Q( )pvʼn%?9xkv"in(QpBė' DTn碄9llɶ)r{[.D&ƃT~7j6:\}`ߞCyaYT1L|g|R!Rw_WY0jHfuQm (6bG6Ŵ_'ٝh[`pͬl>V9['8gYTٍhX"i8z `"kȐ@Qﻧgi #vaHkUa9(RԘnu!HjR)Q*mIE1hZAdG\1C[ $1 ,HL}h?*&"yS894˿6= ^nSB&17 @I2Z95Pd31RT%~#&Oã!dp;%%`s}3ͼ8+ƋfpҕF&h;`U >*j(H2ܓ@L8JЄi؁ע̙5^Y]ԄvvN'a #XlofUhKAŎ Y2<lD!ΛPD/U)zx)g'r(1V-{œ$ԬgAA_2I(1 *iߒ0I7~=+-X'nOFOUTW t. v -I{|}c$iҽa)9u2餔.G9\ضժTıN}99+u;1ƾ%fI8#ͽyMF9 i98;)`$ҨwEv]t:5T!ġcqy1YξzOFXx{j: qU㽪mF JXsHQn0ӅU*iEBxS:]wn.i51?Wc SN_p8%h?35}hGA z3RZ):Ҝ{#%P.O:d=D*.0ǀVG[S\׃I2'X]X,KA5Ļ^^v`Ai!ϧ E5 M8)-vl9ZѮPE,y:Pdtygxf>нl E!Epp$9(rUmdWz:D4% 6ABb8 ӄGC\da5n\1m@_1xڸ\4ZP*Eض,I:k'#ۗ57tZ"}&1WMZ12O{x `3'qaZτ`h? 9/G?FSA(C9hw(UQs\8!av!i&ZrdHa6&1@*mT_oNo$H=Rl~[p&ːey]οN0Љ5у@ `^b[0Z̦To 9@ Nlh`,~\^Kg. d],($ձH <~D"t\\Z\jO SʮD}4-1:%ӯ %/%CުN_oz1dxCwGEuB~DlGl9UM]syo(^T}Wǩ%޽ǟ J?MN ?%(mPײaHHUy"ab;r:>#d u'>c8T-7闀bH-.||kݲ6ƾC Onj!AG& -9Œc?klfT4^cل 6)=m0*ҕJꤳKJ4ڑ43ݶ_-8݀891pE-!ggqkHQp(B})klluBF pם3C wr@$?SBr&9QZm k*Be0 M*Ҫ-6Լu)iIk6S6^izcA/s2!S`<(bēʉNpa"P/菆*-dt.8*L`I֮gǕ9{ÄBoav-64Kʎٖ ,j>{=9 ʶsu,(bæ7| ,683'pThN@崳>KM6}⾐M %|3aN>I_.gO* щr2<¥`+3"Y#6Z<ߛ\Ke {69g6پ5n1 >;aZq h}㳱y^ o۵ª:N|p~} y@|.RR@?H^?]Fo_X)?|&W$8tW 6%b`SD}vRxR?h(aNEoI$*^pҞט\{./QEI58' ȂPB +#w{h_+6&zTW$FT_>Uf)#p+wGYkYFuPqޫv;m}3PgG"J ٩݄m1ɯ#lXbRJzpo%*P?1&,W*>$ʹ!{]H,R'B:Lh4~|ݯZ7uפcaPvb: 9 .>$(&;O>Fi2cL}baHG~#fa".^lQgEHFJ!W՟:fKt;IimJpetA"Lo˾ ٦JBy31kLK O`7@_4Sl dx`ʊHvqL\CUUHI7L4HgHʾMq._c<,~Vj!)c"Kl*+ v$?.7wkJ4.s@ `ϧv^E^QjRBw=;Ŗ˝ypWi X>{eS.Io [DGTN"7":vT:fsy[sGaC&Oy B`_&Bօ7` (,. {OY·h'k4!ŧqS}%x$h[g9ۓQOg(1g V(70$DlGI 5dߜB5ġePoIU1ҠK|A|՘:h{lȦ{u ¬A.w@:0{?G30OLo3cL~? <,>|A?h-@IЀ ѺBmq]fb+vdDe{Xs*'E!G>Vĭ at6OY=QJ8 Зfֲ"嗶>T!f=`6O*FPʾdei?ß 쟬zGT.#]VqeoIyF,#~M6 Ī'tƢyRC"ؒ./q;Bk tU xTw2_T<9/@VCx%@ҡOqjIzzO/5o^!n/PF9|5䪆e϶g`R>6Wt ޏߒ"J [U, ahg> *OQ?wY|H|:޸^U<;=m-;cE|%DNoM`yoJ É} f7E(WB2QVzTGvְ01ë'rQ?}Uio&[Bk֑r Xy? Ͷky4 +*_䅈4@o:것'X#Cş+7/Y}C(rYp(]C@mg f3~6!mPG,V n9v%H=Ig@S )QXG2"['&Tq_F; _aIp5a͌xx=s6(?wA #jP_c  o^mTp0:VFŵ.'b8qTɠoysl!Š62f| 6Hvn}W#:&r]k7E9wW 4kQOzprjϵw@`]TgͻLiJ3~fk?ddbdb==kY=o u4(5a&nVfO*U# D@>'PX۔IĬEGeEh\ T;GT{N惂T͍6ii~U-qT\U㸶];r}XCS&N6Rݘn_pB/o$9t{GF;8#GKW }oJ;=j :RBӴ#.ʥbh֝^W0@w ROJ]?e 1{yr,9J*5)ArX2a6N@fcɇb&fИKfV$Źyml{'AL(9Ȩ%3"Uv϶aܸL:ehܯIy'#qN8gq0j2Y!7wt A7GJqe6]#6Gk?A.ޢ{? ig0G'q `]ܧcc,p'=ZׅNt?D;vBHr-']y]mOdSs{ېM(cl4cIu߱X?ӈJLu1g'+RAoDp͌dER ^ziEbIrLɂ"i8zTPvY/ZAC҈s;tnQ<3i <ȋP탾_N@R.e,h[x|ZRwr=BΣì11D{?LYox?բpr,?t7ThdA236ރjgxuL_`k\FNuԲ;]#4Gig4p>jfCLJyzS DS{v=%~/篛DŽBszDZߗM|C!ݫgE02<~uKg+1PA( #pp2]`PVEâMRs)moMyk/p- )HЀ'3he+w3#8wQ'.ZHz˭s$= 2"{ Kxd(m=DոkxqpNĨ`J+YqJ2gً C_ RiGt>{ٲ+'g:S_7(%{|DVV@=H6D{KW_+M3&܈3ຐPzBQl#pgb^@p:sxʅB/ &tQ]SuPbS-HTz2-z/3xb@Ԯxχܞj:_L _+(WdAc o͜(B^;L: 5׬! 2,F $Թ#ovN_^1)jK.]EQr!g3!sCSF,b *+~(:s8 ޥ(+b9M%qQV ,/0D%)В`"LI%SǯgD${\b. raR D8X–psց;4lHgC[ ly~Ѹ9Y7@|MnQ,r*d{ۊneqxYځI 5ƄJᦚ0a:O!LBi R0Y"^[C=Gcx6l$&N4킽aesAQN Ja1CgfkQwhA͇YP3R[ i&}B5pz\8S4NPu\w[5(dCp!6Uύ iot%|۷& Fz*Zf(ԇI}R{4', MYvIfR&)k?y`7w_)9{c÷e@㯵_e:ۿwl&Mf+O[o[{+!dώk{6*!otguK|1`{:a!@/k rgN*' >f6ڽO]Xiƞ3j$JV{6R,iTyr"T (hTbm@`ߝ a~paŵԃ,RH[b6agas(NB˩B#bjۏJ5uiZ(w |z\z&$_>'/]'WNB\r0| HK;Piq8ɬxjz8Q,幂?xh $zhw n!JMy٩ 98e(Mdfl gGxS sI1TKcWPg{bR w0SQQʆN&r#tc[ظd\|xeミ=&jzCaB6Ө_ڗ Bt:}WrqCGOo+4)Dl^'@ )WP ֶ`]*;4u ?Wzh&LA;(V11 oWe5Bߐx%Bx%qf3>G Upy3F3qУ[Q>s+uQu?#.9_鸵(Ɍ&h̉\cdi[!ӝ2J”in3mMNyrH>xDo!|TEʼnT{;7jOH}oDw&E3%U 7 ˡwVgN+t)@e Ԉ#}yawSg[]Pb/۶0.[+ ROO*9g2 W # OU7tR^g3--~aٸם<LNzd$\+>7Dobpz8!5&^$JsN]L&lNxTd? +ssЈ5Jފ<:8S (*jɺw/=!Ku#DB,I+=RRסh^ X {th)zF%-ǏYR p|εDH/!sz>-w!4H>TBh͌< 6(]|*!ZX-5!}Ibv3ȘY$`?޷AG!E؈< @8<83Ay#`Drx!u7t"Ox~&C!/Ѩ!"{PIʽ.bٕ<q#9" b5\a=]V f?/"|\3{zTM$v;ydd$p*֡F[A2 ƚVK CQJ|pf# /"룯6Vea/inG%*9GP?5B>`̤c^ThS 2ewl# yۦh>1VRD-@gtžU l_[AȿXU?0^?B)od)|F3_@\.O)a-D1 df@9+Q@%1\r42p 866o]/1@z#F]^G{3D*`x4.n)M';.4{H}YTNSed$a?4z&6b۰z6_ŹAoS:Fhc#Re;a `B<@کaNݛ8&Y~:^riIw*+ɏVLfmg;Bu'pۭ2$,s\j3  (|S:f7C\Df:3\]{ҭ??T/jqؕN*#Fɟ [X Z#?3C%]fRD{FD9xgJ$1n(oA d8@bl<2,kq,W +k(a4SbKe{3M џn vz8:ȘW^3V2w'z½ Z,U!ޥZ߉}a3Fa6ҿ &x!ijnqaoJNk+pJI^D^ ʀ<.gDH6s3NREԲ~h!>(2+U9l+5y8ZґU?y~{ v/G(iΛcD]kA&Lg#eٕ0'b+4'Đ/IFGDㇼc";ha6׭ nZwrLG 3KiK YqJҤUs&uξƃp& Ҕ}cX Z[#&OC}c*-[*)]9tt4q yRj3l{- 2=f8e^^ O` ^J:A0AFҟ.LAD=i#$ge*WgS9oZrOm޴zZ6rdGk%?4,qVe~H0JӜV^2I\A&pd'})}pC,zJQ]w3y Q?@Reb>ɚ&ڬ_Ug<'MүCj b/ӳ=V(,D)]bdd[ox&dc(({}xF4F=f#2Y|`!ic#elrs85} 'YI=,vU 3hy7[ BPgc[3!XKmM7<":t\4YLKp;/hZE_n~ -F ʀNlfGբ*%u%{dsjT =*QpWuf pŅ`rȋ&.).CYm FD-fwdHIf)vWu/c !Bw6m4CtAlDk,wn9nSMiN.%pI.bOQd"WZ89Y6#.Cҏ+ô 2)%-W)3@Wi1qZ7jD>S2 |Ld nt:.fF̕ %gq?C@%0.گEͶ$.S;キ?$3T|V(QF炿ISI|K;2a jlj-oO5{9j{fGA>cą<ςFZ9p$3G JExZsjCdl szN0)./\9k8Z|OCs"$!Pri0AQnqX|ͷagRnOr6 )Ql3%͌JՈg{to ÙI9$׾~~ ^ЋIt)h3,WA|8,bbĞ(+p+Ms:k"?t;6W髱@ytgtU2rCm_=^̤8!ӤG'f}6:ǚZAF\NbDz)vƆ= ?-PkcM[$|-/2 tOH5$$>PTA:tP9ՠ05TpH1U$zwC؋1xf e1o 2Z;z~>R`B3dVݸ47A@#h{V4\N^>zA4U\f4D]ȥ\w 鞏Gc<Er|c Wo˅olrĎy=qY(nE9JJb< 6T/F ])k02Q2W,vOs~K`ƈn?@zߓwsrX}[2J=WtvLʹ, '|UWqu5,, 5Mk7.|)T7gījcRjǝ'UqXM!Y-qjZT<-T1ֶAڙJyp_Ѿ{.7$PT>X; t*j;r"| xUk]eFn){s_TW,mAWǐ$^bӰ_ɚ8܍O?vb%DKfj.7('oA " ,mѯ[Cm ^1AEO7?w{7m$޼y&!,4yPSp<O{Tϩ}s"LMNVUy8-n@Aef='d|6 NvҫdƓwڤ''lYiIHIel]I29p!r^MKl$ 7q͉]QMpC=`nZL؉ɵɄSʲ)Hry6[4Sr.*S@"w(W=g b|@>1o<*vÆ^^i)8cP/eBCC97%>6,iPU>QKZ\xtIu09㬖,g6k;e=;OzII0ᰖ-#>vaw1%09 6gzn5N_;tMVՆ!8x͚҇* Tqj.-dP˅ wwHQΞO_x_WK ՏҀZ96br_:@:I W1+/8{39w;Zw 8p$5b"+yJ{O ˚&EGzglYh s",jI: vp<}s2m*o#L͂` J` 6Nxg :Vu|:R&@30 LCjԚn]Oq!nj\S?{%h!黼š"Gw}hjg؇+vo)B跛l)-fzOԩ=>2&SqCAsY"px8"=MBH[`+a%}Q/NX޳oGkȣ+xLJp&mu@x"cͱۤVH?l[@ƸhPnDsH2q9Oi[qpYnJu弢o[,5q$6Y,EƈqKSΞN;Q eK,O#U3"g' )AEc<{2p yQ$!6cME'<0O20V>-HΕ[I`LƀK t͞=YQHUH1 +$,SO^l CWݾ%Y*z! A$7e.)J̯Ml *b(dxT |m`|ɐЧ0A'RCk}_M{ =R=$z -`bh 5 KW-vC k{ r8R€Vq uBwbwԗCS'û*kY.q wA:s;UƬ0l1yF7~o^zzTZ`* SO{ mUT\-b+`vjB z熗DeG,V_ 9kD!cjr[c:.}v 5>o Sr,jQe\Lc`L̓|* (֨ܣ+r &Ʉ)4` Dv Y7ԁ4 .CUs `ͩU3\XLE!'{ ާ6hH߱yGs,ۇ j=UMBJ"Ÿ1JN$o}UB##~.1|!ZUʂ< ({s6ΰ5)-^ u%A2[,R1Znd<7 rbf[}ڢlcTӣ Zy)5 '\mi_Ͱ˝A/qgM!-3yca2bK/o8e{ɯ6N|'!>h?Dd!3 wUЖt78q>)<ϩ.UkQn L > 9^ggXbۯS5qw k4=rFp`(Mj3Dג&2dp1kv^Y./}RdC_c/h2=CEQIy:`7|:$D>Fr~(uGov8^v66ݯH4cYts%0ҋ-8@ufww 4"w0͐~6ɥ>k)ͮLWX-K%2yt,B1,R.~i06s͔TwTbz`Hb7PU+$*N,oUk )̸V4v=_d߅s)NjEf41˷,ZQ|igvrپx'w<~yH~PN唅P]\0ѽ4j43lKn-,ͷS""l%ԆW(u&6WP::x1KCM|%N]KYp0=CƃI#/E|ۘ*j!%б_~cԂ|5>zxl۝j+BQy]*H<5A.#?&C$c8:.\o5HZ t~Eȝ Hp_L[|BG܌Yf2]brP^0\Iks p.Mpӧ*X^R1fQl{_V䑑v9LwUJ'u8*U0ZLϒ@  x)u:VjZQfGJ< EvJ L0K dz9?0vNŮy(j,eʔ=9b-}EQf8`jpѣFi,$]|kkyrb7=~C-JRv ; gȒ}Hq|ty\xK=+&_mW!X3 uUWC(|"K\BXzCj@OFHALn$|I-b& Ui?ȪRjoTt1Ȇ3(5?;kml~Ck)䑗6@ϿI;V UvHmOH7 vM?T#+z#@gNГLLy2Eأ8|gm=TmQj JY{~Xgjjr 2&JZջDl:FW6`c""~#3id.(e pUs}X>_[hU/M !ce\N1 _R/f'V*z>&yAm<ޛ=˨H lkSw;m>̋y!"\VQk6kjWu WUp?\ݯGhQi!2z/0p1QBʥ^*{Z_` EW^U w!5?m/ 2Sݩ%I]+ۘN j>%%^ =A2.p!!f>[U" _*D jjNX'H]WظѫC.0F@K/![Tq=֗V=|-͈;uoEYD }h(d _ix=hiL`3bӜ dPyhiwg BGsMpw&_tu1rx'A,v Df|ͅ@p h4;P")Wv*/#4An5ǼRn+̉3)cWg;\ H X &f\چǢA箫\lԜ2PBj{k Nk˚=9l©9/BgEUbs8T}2 qu;hsFe1WPNpJyq6 UHvdC;|2xgZlJ/RR><=zP9.EAQip`~5yto>?E umcТ])$#JD62Pm.kpr˧QL=`USNz:(޻t'i&IA-ݧ $W ٞ1S#GQybtI>*M`5\7س07Ejإ~ \-i呭Tm3U Lժ)P xx=a=<íH1%ٳv $+|hDݰ`6:1L!Nq?XC3z7k++hT9U|;!!BϥWӍ̯4qǗ5>N}I;( ( Z&oSU.)}QI~Ց>$,N3]g+@@oiaL\o\/o>Fc\1x09|mA㶻cuL%[]bf쮆G f[qC htj :RC=X#X0dXz =66S4Rx2-> j#7@3m YNx nqqO昃tMv8k7.vl(e.q  aV^@{N(xAZ65hb_T?u;UzJLc> -Hm.gkR²6ohH׾2 X3yk\⧕(#\|gT𺲗nuef4żBZtHmMyJϭA\ m1= _G.920ꒈ | DG}Oz*G;0kLi\u|&KjkMi@;C돣Ќ_a7(Ie\29(iX,\7_'숦1/-!ý0Rg]nHd/)C;;z5lG esXn꺣p3ep\"1-|D (7FDC.h`i0\uo@7W iJmVg-R /1(6$Ǐ _xXE=Y>R6L K-9J ptkC.|k76Ϳu|dxj+Qzj1>Lh`=O+cyd16IŘXpm l|A3 B?DRN>Á.*|0۾j8nF(s3H!I^8n"V7zeM62ltp磨}caߊ]d:: J< lЩFf&*a.ZxbC=4.]a@@uqnPT{AtlKX8]-`++TWX'~^V<\?s#Tٺb6qHf^{#aB0V.9opQ?qeM %횀Ql\@ib<#fqizgp]eNmhmVpp}DkgVsڂ55M8~RLrsA(r$xʅy\@ř6&"=⇣ *R/qI+r2(P3F5gxMĴپa4u=8lt͸{:hKڏ2~: 2u*6ql, p.Ur)F ( )#ߪM> "8"݌Nl~ <;sŔxz$h5u|rZE[t&X卫۠P:[1htS*6דdfaɊ;:Β4ݲoBWo9oLLb 6N)$-E>>i礿BuѥTf0?j"[z`!:8-"4E=xij#Z;jN=}=wEh9⼍Og^tLs62r Ӵqh»E#FYlU !k#QO!vV]6[b E'#9;M33FNpZ(ifۦZKHWD!Ek=w4L9VEiW#Iȉgwq9JµR kD:+7yt^fЍ?+@7^XQ9Cl*qdsѮ[eOu(7oFG".ݶRWuza[譶yC>@ R;0ḱ7X[n..hxG$.Yan/Y!G4&0uqv͌ q8)Am\SE' O ԩM")U8iUB'Q؂@:睜gNKcR<ʄd40{ j SPiV@5zNnMNm_o"/ I4! ׫AЁ=vOɽr_$l/^8RȔ,._ma.Q b=ԅ D] R}{ T)`rd۔aݪѾ,=gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떼ڡ8PN925!mO}H>1UC ex^T_i 5G`H@O]kc4fmM N(KgTzzy*h:*qpv f uH,8;Ej[` q}`Pv%{jDt{''<$P1FNE,U]^\4 ,&P[zg<&}> 9A@zgVeK0A׃(09g W^n! {SDv7LB5{3weF@|0@-!~5-T^2ye1]@UlHDNN5wW-abk^okMya|?Ss$>MLPl."I|Qz5N<-\7EhK -PEyQ7 X Bnk5Yq ~W LN>[)LRcVa[wz7M֒<_<~&tv.y/mR$m;^GvX<}zuօmމ*N>Oo2oA$K/^S‰7 2<]*6 o8#EkTr:;Qh$췁hΧp 'mPըUptpt5Ve"3gYZ7zXZִF! Ĵ7]ŗXi%B rhS|r9sˋv_DF{~4;|q7rkeb9C2F:0<[堝?wϒ8񄏕>/Gn\#~ }# 4D>FQzlB.<ٝ23`cgR%AQllߴR\r̼b0l>B^RVw#?ܞt $/fen;`b,;Ӿm\e`yq±x^a?g3IнjHJe{5yu$gnqw_OUqMpWq9Fipw Um IY_A%"80fSPMNKR[M6sX\bZp*'փظ<rD5(FQ]G'lo>+TTSNV]$Xv@_o2bFr Jj5SSm 7DMg޾'kN$ADlˡ0 E*\=2!g-v}U$yɎS@a=OyI lͣž<^ʅޣ @׉ĕzXxQ5grC/32pt2MuhԄ;0V yL"2!]$D(c(19Yn:?̹Rw>~3:Dm7VO)!2 0G9.6[|B!DZ|)_Vjg%qL( Cf>$}v{%c!U:txt]a8"/_0W+*L\0֯ -ȁ~la$D^Nw\MWV>*ˇC0kO(,e=QOki~@HUJb,!4v!}%j<\e-^D<jhŊ .3ڽ ąL#jn5;(1(~c|j}N`?p%*7 xf o\qra!!dR4րDV\7T|dtd36L=cakR \[&F=uev{j\tkrn%k~O_F:Qѭk뜊UJ[z%拍vdnG0VA"m@ Ӗd)IG;A%(ί&1,wAχ4Ө~Adnz'gqV,솧'*ՌB,*п'uNQRrm,D8fP!3nǎX$-jgqnA$`ʲBS6N HHwE-g<J&J#__brSĥ{ -.Z"WA+XL2K|IBΡeiUӹoL&՞y./RtOSf^`DM!^1ů'J@hAKǎhnUKyHS=|_7m~+ W<{@|>av{ Vne50N'^o개AP4\۴fgk[Q1wv ;4&5nQV Tk+czbv)й$zr}^<M0GAKM(!dynzJ;6yyõ@-X8hs Н9Ad1|<(xc^& s݇>1ww?<ʘ  eo@A-m{K.tKrӤy`$De=c@Judi8U!!4kܥм.PQ`߫=T\g)p@Ћ G&`r)7?|#P,b@ Q̊ԕ7?5Yd[;( 8yn(5d gPZRYKS2ϛI.ij9Q 6$MXuFz fӆϏM"< qo@N}?f }Ng=iZXm5m yi.274+X% i8ʮ!h||޻7A#^CȆ~[p%jմW3>'J*^ M!&X<&ـN3KT-4?<̚NKVǠXyXR]j"NՌIJ/8fLq{'/x*@[ja^ zy{u}oql~{`حT2zz?5ccoP#@Eoj<Q2 !j4Nu<# M=a1^W5}4~RsѹrZy)0S/޲{Xf#WO5rba;$d^H}y$]Q>0+n5!zEXɆ`JƷj ˠ΃P xLkn.#L>D̅|5èՖJ0{ں搣e.)Dl?CXnm=Kߑ;[6 O $⦒TJxbH:u%Tr#um*p } NΙ @xs(~;q5VO<7,̆Pm^V\^ϤDJc3:x]ϭ_Gq P牺'o98NRĆ3c n"Drlnyi k5Q0=(L /#ӹbVn%0}e =+J]K6ݗcVV ~nu-qD\2|_t=HZqAf(o~̈:Y ^״zm0$_|پT+|uqmk.5dr(PKSG1BgXs"/laN1iVX+3nxƼ7wn|&]O˕8n1)y]yRhÂ:;+w))`MbkwTI@C1&aQڻ>wy=4Y'O"*_ -_ @Fr 1OQẓ%&(/JYӒE$\Sն:Dlgi̇dzMS.Isjȑ$: 1w +mi-7ފ`=wyvN 9CކEcLMWi}:@=L- |CE$c#1j̃ғο&{k,#"t Bvs|[r6'/mBe&epzipwU]߿Dk1aqcEz#sѼ[5uBЇ )Q8Qu& ,A=u$Rs/rkb ɡA8+?BA&%VHtmVu_C uwD/ZкTi,"vi̮ tu֎ܯ Vha0?YFcBviw 8S+XYnzoSVļ[qG\U|;ٕFP 9?wjNMjg1<"J 5}1/6zS=? ݽ/ 9ef 3͡gO9n& \S//dHAK~Wl푺fNAڕ`*8Mڊr©耈_9 ngm_z\TlysЉAuJok4)$9WnJqV$4;iZW\)!H&`)ةmOo-6)p78cWn+jM1J4+I/W_sPaNJh؂TrU/>V|Cx+g^%FG`\(y. D^=j`Ae0?2v CuUѝ8!L) |na`WpCqt_섩Js΋Mo9r:F@wt" <,?B$mS +k|%G(N4Kğ8[yү)E|Ib)GA<*R )KkDM/:g:jdXvReX|v^m$ M6ERLZyn39 Tn_e0ٲH2rٹڮJ~TxZKM ;Hw W9/- Ŏ|JFiG3]L˳ür+ WσmJhx/7/s3՜M[=2]C ̩@t2l:X5X͑r~$o3|HY%(E*eTtQof~ɽ~ʻ1gۃP};{>1h2Ե|i:Q6P<4C{l:f" Hp|wTPhp*zteϙtR,z W:0%m Gq.)NzѻW'DAڏvR˓(6[`bzyġ4‰^%:O}FXd2m ,c*6gř)hKGF~˴T hzn-F9ܳX yOĎ X뫱?%4*RR[Ryp~lHAAVZFC}ُYɍY- ?ԏ7[sP L=k/xP~u@VshؚB3Tw?{q@kɟ Њ.z8gc^#kS2&.$GmBSɂԎK,Qjvjhs\ew*yz}O'sCS|&Ow*w\]?B৓~stQEĭ;.i,Dhlޫb{qSԑ9$⹋aHGzFr$KOpOD<s26cdpO^*[g3~2Ģoqaޗ8b ;x3'>T ɮ"-ӾtFr&չ~B|!| Iƅ. W7'{*wn(fl|_CLτf<13`i RE&ץ{f+% #쟵WCҺmO}2@Ha?_ Afw@VO{)yLi߲jg=)&^+Y( ِcRH&3 :WRads75*amTKʏ|ػ'n.7-ާX@Gky;,f2q^MV"n3]fT.hG0i{fϚ3hb)+~(3wQroʲ\)'DCdk7)kZ n>zTA@UH%笮cAJc;4V$c;N$ {ɵC@ a9ZWkGiן8GhYyw'Zl8K"dX[g=l{젨L7dK=CfT&aU}8Kq]a*XfQvzZf8‡\⛜$!Ia)S)؃[H|7[K  )Ep+ ÅlAŏ D殘l|Tߨ]d(FmW\S@W+x @TՁ\Lx]aY-/g WQ ,E>NWZVc/qo3E){ p&DM,x*}υK SClhJU/FV(.y޽tt/GN!3hpT^I?Qh΢ۓyLɧN$ m u=N2vtGwH$Өg1FB kx@qD蚬zF8G2!XZ|hsלQ+N.?}]M?t0  Pؒ{_l#g8]XiMث$rA)oFF:*=S)Sʮ^laWm=Ff,[abeq>0G| Glowmۤ\{?;ӆrlx:$~۳1ŚE7 L2p3xnutE*&5K crT)i-xg5$YY_K8sж)F+u~k,/5=+&,!;Ӛx :=3v'*R8m*-+o7s0 \iW?T^c ]_T9"ӵ1ƔW ǻLҽGG3%ptd1r{G㞺~FwF dKhW U nܰ8q셬Fz,_fԅP.D +&ѹgA6My/n Pg9vY6Gބ)!jj4XpIQ S힚tOcZH>M),%8%=I'E]҃ ?_ c|qTkT߂~<pВ1bԶ `Ջ^Nw5É;+tT `x t]Jίb=&k< XKԪ t•_Jo:g F1n!GGk_Pg>& L$v̄aLB^ϼȳVA44I[~~sAgʃ$? %~Q>p)  fobAn/ U) Z6^.ڲ?ʬvWZhCDM+ZttsrF=@d4EֺMtNuU$`=kϼѳ I13l6Lހ>&>r1"Ov5WHb:͏v,v$MDטj"^#…|oV'Z`k#ˡ4Zj׎C[J=bjeuol8`v4Ue4;2>gS5RinL[grs }W*@[e!g/UK\hgƢ.s f9 ^Ňw !l~hd]N+ sD Ze坕Κ/~+`Xc:-^Lu|_&5Ve>~]`4t\1s`nhwMU 8E &bo \n~sމot-֧R,Պݽ_E8LÙ R㳫| O- .,gGGE[kTtx#2t`miheR1.MbG k ii ^ܱ POQLM`~ POt|{쀻vg\<,:GV)_pθg_13.eXGSl&?Sm'Vڌ7ww#]{/x}!TKU6FoXF9)i `uo'[U쿒n^:F%I呓Ƙ O:#.4fv~ckH'.R֣X. 4ǖ >\3`N+ f9Q@Hev:*uAc#5HǑ9ʚ^wA~N|o[bWTuyR]v #u/\="pV>=nm^)YG O˸./Ai aXN]F܈"׼ʤ{ )r;|a[͹HN\KCƿ6/TH)As+e4xL'%*xV$hs8uc(_va=pnz@a6֪x 1㤖 A.¼!X ;KxbUwqPXlkEc^8 C6 "w;Wd^swGX6 T *s=3.gQ*֠3(o!>PNO-e摗S"p|=AUKj7l|ӾZv$3YyiaAkY;\u߻V YjcȨ;+ýNI:I@ ;2h,^ ~XdUzSqb,Xn!5KnGéjY9kISo\Es2zϚ/}}u4((ѽau`c練/H`^}+ rXOGg',^^{Fh<\)דDe;'ё %aPi  Dh4b!qS7(7JFMc?4kMe|6 vF/os6\0g]]I9Ь0+1e~|p*2՛*7O*gr"fߠ58q0qkZuV>jɞVd^9)M~!p,;螀7iNO'U\M3t+DAVHO+9CUZ/ΐJ7H\lRX 1WZw8{?úy#!0=SgxCsDPx$BV8lǛ7s~S_*@,3 O4e3$=>R? -NP"^#\OhvPRzy1 y< sחU/ݒ.3&{Ai4 DV o:_3MgWSšeǦb&v0;~b/`fX 1QjT?0e#(2 r5zQ)bkMgDCW|K8Yu{H. p~4G%y'3t=Tjᅕm2rd.ypu$IA!;-ηʔ14Jb'v4R! (&9³'aLVxxoVQ:ncW>K c,D6L]_Z ,¦%z+ {yƽE m, Ħ;|}5{!]EfrbhZ_t, Ģ5!LWAN%~yG\ Nb9Urh;)qٓua$",K@Oe ˕<&s\G0P ]$ !g\< 7:R!b:Zz5 l6aY25ރ,\fiWA%,5-\$jA rw ZaBztyПs5m@Ep)½C8JKGn&:ɗJٜW+`N*$i!3jY\p%QzS̺!86瑖D|T!&z.B.pirTitk:nk.OL0;UlSF#z#t] ^iGm /RDUL#nf;E4?Ij]\4Wp޿]OE0@x[PTe(,P |p+Yb=_x:%͋~mS PGzTfN+ŌVMRQ~.z#d~ Sr5ݱr3Ir IQ;Y;ZuSc g$蠡V_H˹@sS.I2QdB3U)T@^ dmD~6eM֛ oᷡh8'{}MiF):c^չd7Mu0foPX׭@a֋\RHrk* JElTRg+i3gѩBR)Z vˡP"3J\+vP(=Ba+<'u VKHN^lkf\W;v a z ?Ӫd:rF[@b`:zT.8>i%}Qp9? AS+qd+n(}ZmmXIu:BV1ŕ^}G&N9z!Ĺ䘇S*؛A٦\ dag3H5 D8Ҳ4jj5(>ս$mE| >.)nNk٦(ϡ*!f9_:[Sv׾GӃOS)60DM`=_2陂J5`!m2M{[0+ɲh*9N:d5DӀ3Nkƴr"mPGjmYƄ/ں 9ykM31*PRV4;=yM֐xe K? ˲QLguR;yM'i;yβnTf?v& *rWĬ!adԠTSMhF%Wӛwn=`GRrO,+?J6k_ lJ p1T0M5J%Tk[Vs.3J*3-9C^JF2㗷SUWmZz^}']n0_I޶S;9| jؔR+pA28,.aW E&\'tH" }F F&T(!^~s⥪]pѰ;:W/fgH4Ъeܨa}m.zBx[xEO<ΖN')qxʦy\r"bI.I+2K)̢6yvU!$?u\R|eK72úhsaX.oSsI-nA\ AvBV88 춌y(+׹ }A}0 ee8 qrFNUk(vWlgs֍V)(3i_ba>1"o(L.'Z9>T8v 'b7nέiV*c󒮩1Zg ☶UeA7pT˗&s(]ڞ QkhgZ XA"dPɴn;H0ׂc ~QG>8Ά Ad@X jffkJu7u.JT![Y [ ȉG1U~]XB#y?9$v< ƙaQȿHpy:bDVҜ n+< GW 5ԔHc?%D5?BƧ _:}Iu0&6k\poE_8o I_lnᴃƆ7M㊓\䉝zEܞw0a C&U nX\)H8ܟm."XC<CE 7gmǽ.lbyE{{4fisHfݶ{L'yq>p^A /5ɑ?3}mCGڿ|q[]xdw5و픅s hcXm66?[|`\1Ӳna{z '&_[Y28v!Wz vȳ* CZ{ ݻTr,(IŊ>?psHAiaRo 姎k"-àR]7S0Ok~v J,*BGO@b!:mMzu 2$i*. /yarphP7? [s`X68Ŕ -ܝ&e;#2/KPo[b,6]$m̖'ZTHǍ}.2JjKqPn>џMqy=3}s0|cR^O$YdB>L,btwSq\gUBh@n*KІl67y9'hZ+maXp Ь.ذV p8{H- r^J`:|ay;QɚH 5Q\l#]BOr%j#nue,& \̥=q6 kadhUBgVz#+ΗxUA{{a5BMCvqlaa,oVE+ܲpNչ^at@u֝DK|=F7ǭp&ayVg ?QҼ5j68 D_تusgJBifXvMns'4G dd~a>(եP&C?'-'BK-;iT^݌AY>`s(Ɲ*#V8W?z>O\Sӑ%sœ(k25ﲑnvaUӔ8L`J]k}O( M+cᦋa7 urlgM{9\SQQ=E Ԝ Z=e!ߨAh{`f@؃Fhe|VL^T]x~o:I" M 1%vh{ GRǓ=OO|)%G bѲ4(˼^!u8DZa' isl5Inґ7?i*FCЋl"KLD|$s&?#ִw.^G7"MTK0oڊ+A a\?QPCHu^A%=zyd9>[\kY7u3SH4%MFIAgM/ZCM.4byA1GL<^5)n*EFErr=/o?z+GC+DӍ1Lomi/Y^urD7Zxe([3 +\_oNtr۪UĬ5ꁂf,1e*c>\=Df6D2T 5WbLϓ08G0?UK<HLvtv*rMvfíԮU5FuJ.,5g3_$ !夽:#;i-_M>*L@vR jI ǡzZ *3D햙a攼n xUx/mfm{^ sDTmտ9uJG5al8aiG{TxtLR8VCed/1P蟗8-{۟ A⤡Z^rh ɓKzfDC !p5a^iXB(]^sYuqc]U1V*×:>9J3&h:֘D̗( Nh~9:$.,-&=3h9!Ѱ|jyYe&| z/ؐvZBP ]ִ6h<q}j#ۜL㳗|Š1)sf07)sbW-:t6V΄)ptL]>UU@B5%40_$*!(Yk*⸜jM~uy8L#KK?3'xˆ3\H%Nl= jV?Ma5w[&DW{ 8u,Md=bծ}S41XR#ء)e4iYQL@ !$Q,bm.8;]d8U -Xג62zuA { Njhz<-n0z{~l/D_%> HYA$#fde،y%<٠VggMU-xӽ*i*pw}Oa{6<^CT]-\5>~ W$*ڗ0aXXwO$X3숅|pGI*)ߵ2{&`v఻ Qu:9>_dV@ ~GV uk 9qyJBԯԅ ngMr,sH^mz/~I^Ky[GM:|_KN~F&>F0J`AĜUklYoodZγԄ{nѫ]g Q5+ClikS=E}XGQ3]yi(@K sKAQx!E߾`1UfrkMij_Imm^r7%{[KhXM\!RBޞ _eUPIC(`1MS/F$i\Ojo8+'}2^* #}+!e4[&Ѝ;Y@~:s%AK-;-xm!mvy>EEABEB:)@G: !o Ӱ؊ljccBqq*{ ,oI+ҍ{lΈ| Ԛr'̞{ulzvtꦥeݔ_KxRܧp3o1 Q ,'R";+ K41>*wKJ>ŋj,Tw[]8zpT2K[dP=IH;@8֛NpO:QD3uϠ4}#E %L4f T|fڑPÛe3{jA@|Ndg6$ bǶ@ NXr""k#YFtO_F\1H {ZO(0?9RCN+S eU9~z{BQ5 Ѫ44i!5 pK]hVL\qlCm쎚êLIi3z.=\-`lOul4Y6j#Vԓɵ:^h/Hz ?.lXmvq"gkhsdZίO{ZDrrf4 d/E?jR &̟|}M3~Tc<'ꦴU'r1I|:9IlGBcX6#{q(R9WǰoO2hƒZt[qs~]jR-~A)=<~ӎ7F8]Ոb䥛 +zdqr} I0,oniiya"_lw5qRuэ|_5h*Fl"U; oPNVdㅛc䤠qNvY{-5;1H't$Ð!uya}zouy,md=j a*H-Taq ̀FƔ p 6OE *x6{r0BWyB=J#xPƌJ Ujw p|@'%3l˃"sDvqG6࠙?k?' q'u|KU0@ &bct-j{Rz_U)U]ce/`e!\暣iɺ3"'ogސY{JJT0orido4gAe7;_(U2xR nc䩼.&By\xۻ :CB:}>k zUoEN3{:deSc%箅ZV -?_*lmDȊ5Y,̑vF#[f |.; ,@#A} ӧք;-RзGֻ׺ W dDP3Ǹ;nӍ- ) J:xqE̯'E(FoFbջ;OP˅+_q+vk ^JY7~YV__?( }WZNpG@C]iXb\ajywXoF8xj_׺+[l1x B t_r>c3VJH0i+x~Ht 8@džF;04ux]hJ@ bK':NZCEjsǎ5t7/,y1VgCY>^—Ku~sF'``$n|s?e8ie(.Y- NpEGF²ga0Ί*zR6SH+KИ8!TlK)Hrrabsڽ1SQq3]MZ֮d6j*ku^ԓI _mUz6]7]QE'v<^t,^-]ɭ)}xO} G8i_4 doݽSߑZbX4у9{9=67P$wm0LeJF5AOpՌHxGi.&^,-NS3O5 icavE_(joL6ncB |)wW@TܘԌI5.%fi "Bʫ&&2N2b,NO#lCfhCO1_X5>lܢfY!̃|/c1,q iz*Pи `kH8{u%_{B&DDLD>I{8 FGrB[{>^CaDrI05X6SΡM; ^$ב-wG|rPibOnPЂPl“󋱸sy6jq=SQ|4R^ xr"yLqjKFb%bI`K8ػn ߑ6Z̧PO;5p蒧NRkqLZ$Bb';oϿ`sX4 .xKCL gabīP D49^җ5b^ec d& ?aذv`I6B W[+JGL+:e,2;A1}ӯ7ZWi'pҲJW{I\m$[+zoA0]b =?/Í58s[\˖.%Q]?  }V2DVYuɢTx>zw6Z&d^yHd3xr ?4vIL\ 9kJ8zX39d(9@~>yFp8+b(0\7u,O]jM<aH5vK'gR2L )~8s `0? |c\eM)0Z2"aZw x-l!&妵alON\yo\-IB7oQv%YPCj^Z&֘[ﮊ eԺ҉J;uГS+ 'Ys=M0Z-"2塍s@ugl fR蓫:)>ep2<\Iĭ>Gm&ukF) %/x6[JI*tX_l&0l4?Xdaܒ $:i90l @q);1m3[1|%> ,,k_@מL⺕m]T.j&m T;#2Y-auJ3?.yko![Ϸ$i2,O帥c7oҞ pT˛C&WR^Ui:DyӅ1v#kx%Ī0iͺSsZ!tgbXNf&v(IK]v'+A-AI,3C( x5=.*>D>d"`!NCͨ^~#/WhHźH}Qo_ǚ6#;a牴"j 7mm$)u0ʰ -B$Ǭd{(۲k<~x1wv6 nt:s(BHQ7d'n[qeC/xW/Y'AٶI>L HR6ϊo;Qn ɍp-d 6<&Ê ]⸻l4JwO8³\~ց2{/9xtM\FcFiv0ϩ^Qwz+TMAW a2.&rum ON#њyLI۳tA&~aߪW ;0qX kWRN~-{obHaU8IA;e)c:u]~> X (x0:֮LZR'!( iLϕa=5PARoo$-u>xtASI=䰪4U W ~~峵q2Dij @2=ǵVInCҐpp4b!h)?!G0$ZO' EbzG%(ЦY)%5_0Ojf=+d3צ6G8@#s<)9:l}E(gf5[­؊H:KpM UՁGRH5:/ -L\CU,Ɲk o][#¥mݳ+T4Al56VhH1kS$ANI%=>;AC4h)-p$g'^e\3+7(/Ob)]hv^8~*BCFs+6r`gh -UʂC3iбY:9(ohlm\_S$ulgcG{,s.1jv ȣVTpsO:\j"f ?gټ *rUWdDѐ\5y pD q1?\/zr_Ja"*ٻς>"i1JrKғ|QG/gһϊj72,S ;h=Zb=Mu 史q`S) ~tn~`CCx7ě =? k+ rLf:vf`h)ףZAX G?E?lkŎ{RZt8nG֫2@Dqlh5 g̢9թ!Š} / jy"rzb/z{Ġ6E3#*V A o˘ikA^A Z\jцؑfYʮvԃO:jYx0˦* &@4<Ե[F@aW=<Oŗ+| 9Z}'TPrWĆ]|u?h{mN~YV]?.pk| g vD'A6!}Zx3+.ySc@j-rv6`ؔ!wTqW(϶Iǥ ۈn* %&.].#XT^((IЭ]lBrȝ~L6Cpڇ^h,"K73}k5SjFROx yC/?R0hx2υe.Јq^>^rv>Bo6[a2SAh~Źi|avQՐP}+b f [Ѱ;nG╘9LA6H0ІD촭-0̺- j,Wd3)Ez~UV ZO(X|)JFH!I%4|NP`T߯SUvV(ZZ?)bro3O]p+'I2z+_9RN $HRaUdTQUk%_x[Geə1W=i݄~ed O.4!%)vS++z n0ͱ[L s$hk oU}Y A2vjl 4f ePHEHYo{5%/9ƫ{ʽ{wXu/ڿ7Yd۲! >X{8Fl64VcK1ㆌ.}!΄N4f\uVb `z5wy&n4#sX+(S,Bs.I-K&rZV.vf&1uX0H%)3Q]?~;FrLfa .tPM;w90"| ;ɽ 7UJH1wOD`GYZS;μ[gkJ?hN "-b=˒Kʹ2h,{` >H}4ZĎ5a\roٍH_гZl4Jg0uTD&W{ 35@W0ѣ4=AJg i7ƮUsGd_%)k!~e׽N2QZo>4R _""i6ʇ :p-6.Ί5 P $B&Q`|4xoRy#j]{Yj5:ܗr%]7C"*J6B>!DۈJpzڝZ4\٤?{sKS}225(М:A+Tv1k Mo5 _`]79{/QKo'zN]B`viq)es9ȴSKϿ12w7K0\UFp4`1j&3Te3cY_/.qYg 4Y&|rBu{jP:/(ٌ980VYԍvH4!^pD~dn=W[]18YQ*0 1HhڑZ'w_cA=^bب)a?; =E3,OZrҼr㚮|{IP`D,mptj `F Pbk@\]h;]lB7mw4~pUeFK 树)pXh=nwMo; F&QӺYVI' 6wX[1LMP6pN$JppmQVnPADI|*C3 z ) /JjQ+`,2ӃwVl|PBCQOU1$b@5XPĹxHtg W՜i;u+9܉>&s~쩽1kX9jx]FAusOV ('x2Q8g5PdlC "?L%=}:dܧ߿Df /x{sYӀ[ Aºe+Q +=s.Ma#cOM-t ~ w 8$%t&X'^.PF]-\tYI*xrIu*-dyC""R(;U)Z>l\3 / >"=.tTdqq60˕c'u]wMhk]ñ 3Θiuzo ]_D Uiki{(*_i5uCenP:)7LV?"OܯWTXb{Gs7KAΞ=jewX(Bݫ&i'.MΧ4,]:\bGn00=Dz=26ܬ=<}U ᕀNg4j-LQ)H뀋p !uFkwբӝ{ ,c#Y B5].t@5-r$TXajOĪP/sy5綔ƭ2gΌd8g<%Vcx^5 ڑ:^bO;3(^>UaanLha-~Z6rKoCsY?RO[ 3NW4:hoVSK DE_]8ۤz?0)L~+m8TH `aX1V5 j,J{,;/ PU،[i]rʏ*@=+xb҃.0t%_I3ݩp 7[ k<*>o 4"ŢP'۶{fKS#VMTıg_xqvNQ4J~;%fߦZpКFqUA,W(9BW]?78+aS2 (לj%1Hp^2X\&uQ|ʴ(^c#>}c8Jy!KQ8TՕU&/9Ie sw%Ҋ0_m&0+[ % "_)wdQ%} !o!W8yL`V>+=b+ 1~IvN6?R4Jݱ u L>jK:muB E:6)xc7ZYdver)ֱM5ZVǺ4,(2!uZ*ԇH:o*uw$+ !]_ѧO1>?PTjpMc2P;|SL9+2yX,ˁiih D~}If2Kӻ8jY#2NWM]0y%PQa§&V5*20n?3W͚ 6'\hsT}|Ιdd??&e"h]p!h k] G1v #ל鬮,~@ &*!Y|QU_{|mh$V~7Lv 9e92& ?z: 2i>mK 8rԜVf]qى 4M5Ṯi3wtџUMu0d-YaXcZQz@pP\wXx-tuA)T*LDY\EGr_BN}Bo ״u!{wۈO ȷ#C$/cҖ!j̩CG0Z.&P+!W99H }1OXZxI=E2թ=g;:i-fb i`]T+r:@7z.Mok7Ȭ{#fK֍ 2{ʘǤ{_)=IcE+"82%̴8{VJ] aIUdÏ̙KmgeH35y^F9esnjt_J'Y?{L&4MWF1V_ZB}ۀ3z;/_jDڶul3eVwˆJ.AFkܴlc/vc 19ybjuעg;SձN2I.cp ^7Ph/~&ج|gik=%̼| am W;n" ԚU8@? " [&}"D#"22d r)SD4B<qn*lL&0ŐS]e᫶sTTSĉ\lyi5-&vhd;4z+CD\^ڭ%;D2-=usQ.I#ze1oTn1ǂ>KL 4Ir^AG婰_l!gsM[8 GN$^mN_:)&(+8E~iIV3W{ƵN3lO\@/F!T&E*/L[l&=?eAvcGid..$V\!򢉺]\o6}ӨzC#6[ 0:~B ]TYV<P`4'lqݒ '$OAu;St /Z91ΡሌT,v &e$OUU=$@E\:} ׻Lqnۢfn.,~4Ge?[TM]e'k*mPd1?ŲkLӖ6;G߶+lDaŮE`ep6s.qU䤃NQqSht1y!ZBS//A)d׳I*0%h;nv}5hbqdf>TbTġڞ!|ZdGyI۩42F1Hkm;E~n4^lu 2:UIDKT܋.& ,,Nlm;{nv?R@8e: .tJq0c$)Oxm7wkb&B{΂j޼87e&bӅ[Obп?l#d9bW^%H@ !R/Ǭd/YU{tѤnnm)Gpvz )WzgGպaԗCJBklb܌, PaP{ "D{>8uɎ C-ӆ߲[eZ(IcCC虏p @o+' {v:#P)zk J,e.r]a86 1FhP=N Ep")ۜySr%7ӵ5W">@eɪMAICPf%]?M4aM.4!t?h8Dr$攀+̀)TgT#ۏt*jA2r ƹ&PCc? 9))Ϛ  Tp_P9w^F"j`Qa/{ ,fb8A&j1 ^n{1TQqZJL_*-fS&V'쬧nR6t8fW,ŊY.pq a(|WO~A0L!'pk:&s 5qIOwk˰=v Jr05xIz)$Rx)z]ahkn7d+lK{}Xjv-mVR"&'A"Uߴ!"UE/`ś`+G+ks*&ت1T^h8LP@;z+yƣ\ՃR 0XJ\ c~Q+O. SsIܚF6i1Ad[<[s:/(Jm[ʽ4#}zr5dgzfguz,t^~xL qFW Hd-+PJ8ʔށjgxl"zpd dua~Zi~y:kU50FF;|F~PЋ"UBA9p$zO.* Fbr:5k[LJL]'$`LeY Py{f.ҿ&pip+v!R帇uU"_WƧ[b)ֲPs`}m@bRO {Pc$ ^ MxDgbPxo®%7AnB~0DeXlb/b+Rq'DDlԮ;P!YXo6<ߓ5džhtAT͒nֈ "u$wbCO/n6fZ > v ^ߋbE$#%O7*|\HSڤqG"+6.Awȳa 'W>|ιcZ$Mɓ푫NЩ1OT0֝'XuTR ~iWtyuBI@pKfVw*o$0 B R3Lr!o-vs7$\J7#Ù#pMfv*^@UlM UU51q;T'.oV09Ʒ H/@*/x vk6it׆+oVc f^yPrxk B`0ӣSgb!YmtĆi(Un ߌ@[}[ң:"c N_(W/uA~}xW}Z0y9cL~tUCS RYZHVGQ"j~,9&?O'77"n4e6#\V)=ڇIBݯ7F a ֵb<%x57xwLeRX2at[2ڍB?knxu*o[̫|aX "xyJ6aN]ulw\׬6xT'*hܘrD](+?٪.d r{LR]r|(QS_weR46 eҖ.Ka*ZUF@4܍BzLY4T\.]v JXlӶ Iŷ.7.Z'X|ACy!^6D_ԺOA9>Œlb %'7}VTCz^Q dE!e@4̍PWt:̡粷?]{KA w%CcS#6)I&IH?OsSOb'ֳf؀@c ScwO`}f ;x1Jɏx4Gl3RgҴi&W'W5{րB2'lK# ބ.^x7 t, G7 ne>+ TW-Պ7KIGr3>E=coUwH/ʂVډc c`ήCW`js%DDp#?%iqU:s@ ż/;%|(?SAIus@پQ {4N uN79R H^4oN16أK}ja饛RXY 41fZ"ڪ/y7ԬHš>OoSa,Cg }9=A*NfEʙ?#:^ 4+ '1TQZp}?ۅ T(Vzqҏy&e|!?\2?$ GYz)pr9hl.v;Rs"DȟmBUϿj}H{f7l8L>d6Nۓ1(?`E Q⽁ [fKi7{{zmnjxDj"|I02^B 90|\*6J ddS˞t%m13K=rOH`1!+g- EmzC/@gb9ex,O۸ghAv+1 Uم5ɶ43SInҴv(Fst);|TpZ0rzT69!"3O)/-̦VfO/0wpU.@w 0;5+Fw!ҶtyWMQx km$"c摪n3]rI!5i7n)5+Dw/AQD_$fy ^3hVf($[ϚGI[fZH$/0^lߋY`/kZ(}̯Ό 5+b L& g[;Nwy9aBfC[v;ZUi$";`*s:L xO֝d!mGW8zm`K18#4rObtКY,rb(CIX 2~h*GYX1{^%h°o*_c3r`Q kRPD-6UՁ(6 _%`Sw0jY>c۝ˣ׵R$gOw}4 ݜZrY԰u$9K oc0GL鲈OGN)V;Q0. S{~9g W`$af7k*I~z׎s86ːaXDc!ꦧR<DC/б+C6!Add8,ߓKQEv y{+>4S6vF@"[ΕQ0yDsu­Vف\v`= %28["ZFK@<9Cgvb1eFlorUГv@mOoRbx-yLn-ie:O낯F#ݲTªcc6]"WSe8^6ir]`(&〨$ 6繀k䗡F;anDuЂ x 6@@A];K+uGiGSSReufRi] )]^KXie \vDVoCtdYHn}`-P%wMv==U;C+Gy^q=^?dߧKoZ["YZEg[+Sӆ&axJsH-LQL-1%cF3F¤%&U o=Èb!LTZ~nH[WYEJoS*WE=ɣ[2|W^C%$vA:ρW61&̶2,/1,Hxl;h[<9J[D̜?m8a7ؚ^wFt {p{Mk|aȜp94I*pDz(>Ҹ;hWxh 1½~]> y+5)p瞅W[#tn.v\^Pvq;td@P JXF+AO3CTUz)>%ȣM׵&4̩BJ>ôC[aƜj~AzRAfPv/LJ $SQOKt/{QH\c$IťMG`yw6gu)-+eVnbȇW,@t3e@'ĝ u9Np@T~$=:W[HSQ֌rR'Tn ʱs)Ns2N<' 9ul۫=]aMS;H Qbk@~ыk=ϳC|dqB9IFzJWsgeٓ^ST 򍚦1Ht9>(zZO5i}9(%ƥ V¦j7z~s,FNʢѝܱ[$,|%MjEF4ż[Mü-|૦[y߲!*mgH/}au(Ӕ*Z egSv>u 2hsKv} ]ςZ6IMq{xoGOIƒ$8rӊ/KFS*X?y V]vuf!RT!w\kE'WĠ4c L!\SJRgmuYW_rcܼХ)Dc6(Z<,?6dVm_tiL.t*Sqk[q͉ k&@š?sx~{ATtͺeބ=\.ASX&扩it^S0Bme'&e7=pACʽUTKq"'m6Ga -hl%e^! Tg}Ŵ & 9& l@<6R41lFdf<B!ƥR Rp-1\hHڄ;?ɍlN9SdK,Fp8"߁@$ZORŒ D+t)Y[*O$uxkKe5!'Z=]qWQbꜼ%@Qci'@* h1-#]2Q[Tfq WGvٽ^K-Wц#M10 'Rd zD?EzMRyElyތy`BE 7&` k\~r2(eY@~}w2[ @`< *eX.){OK`~䆝 6k=lEiK{6L*o^>wRosQr [LmSm.+&dP=X{ ;d G{׉jg0O.1ڬ[ztg!9i{u?w\+*Et>'/ͺy1ɋT`휻Ƕ|%^0#LFJHVIy 3ՐLŃИPQ>I)¡@I4V =D0{v0,:a9ĮSQiNF_.a ǗWIkk^dD[wLvpSK(΅J'|pZ(s@ [`M i* rXk,ζ⃶P0 _=V숝gK1V rxy:mx{x4y~q78N9X ~m3\gbEMbk|c2QW?A1%◗D/'i;ME0)qz`;Y4LSJ}YbŸ(2n^#&r, gnpTНo a]B'ī[x)pQ/ۋuEDBR$Xr&E-#d0W&024gPS-VY1Cr4F`9ՑޱN :}|_PMt.PF]G^-8X-Q4î43ӹca+ dWڤL\ 984\p. Ag?c &2gAN'i BՕ2?ˁVvv;Rz|Ov-W =gq=ǽ &7\G<Ե@5NKr5?'d #FYax*Gd M ~m/)(-& N<.C+ *C>&$@fv#0Ev}PŪFD7C쿊OUrXGҶ|E0q`MW!0^ gAm9@P2)}|(j~0~ #;.d$)mQPbʐb&gߖaJhmZ:L)J+Ej`@q 0$~0 R# &31{Й!.d*.3""#{IX% ۅ '"ݰש41$mp w kGp GGRobcX\oGYǿa EX\'&L&;h7&ZiyTCsY Ϻ9J@~/­5{f0^B}t*O @2RO>?=wT)ɠgI T[ &03D!è̈́%"Rsk%i{|{FgOZ1lcκ݌;Y%;$ZZ#(wT)@6ؾXkT`擄y]ϋE)]d}O1ߔr+*ۖ%p)Z.1$Is\ӯ5:.y2<(Tk6v)LbK,=*2w"J?<$2\AHlWJRiZNr7wKD-ČQ, QQu!DO%@ؼ,gmf$3ïSɑ .x~P%GO϶Pc# qD*u?0~L{`*K*@NzȭZ+4"i"d#=ۨwY8^όgdN, \>%?3<x ك1rոmr,nd[OJCab8Զ죅۽${'0 Y{ P+/~ZD̊j6Y]?5vR\lr^t=j{+9"yZU"7A`oُC;~M{8&n%OE;I6Q@"-1[ZFooFPփ>TynocbSCvmՄD&[" h&w)8̤s*{jfY<-}v)YOb{}3t@P2낧ezsI/$ȏ¿|LM5 ώ0Ez@%ԃ9淵a B:-;?,FR03!Os!"_r~B֪?vugD撙96Vba'3/ Gf}7kmtA]_h*f6h L2k54u8AzT''ۂ} WKP<_n;,nVX5GP D&0BP=ľ| :]t!P|"zb64ٹ?+Ա,uĠЏXQ,L7[w`qK8(O'm~ ikS7=;XKvﰔvHQ `H>RNM- J?Cnؼy`$3&L$ݚKT5ǟh$8,COS\Ȇ;ɡl2N@#sťiE}%GT$CVe7R0*S4(/ˊue_-Duf<)S3eҘ?yʚ$jF+]CNd<+iH( b}R_rk?tJTꜘzW]H3Zݒ:-)U9 "tTBd0#S1҆gʿhٌ195 ,\=YR̥l w/{P5gs?@zM& Aj0ȸ(XG" TbsQ 4X`KBנ+ՄqOЭF-L&.FnA"<[wZr xU;LM9eRg. )j=x-"&0a,J51~h?n-nOTcCCxhj>h"9$ B>?֊KQtdT1 pG!,47Uu3҉1X8ٺVJz聎hAf}HE'ƒGȷX%' 4sҒ!+KgYZ16e0dcf185d37988104a7a4e55da12a0ea404611e4d79c85096733a9749503fded0b49c9d45651d8 236eea99afb1a34d6a727b632510aac96f68951c