SQLite format 3@ *A*.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info %3ld\ ]/ HOL-Data_Structures:threads=2elapsed=502.621cpu=805.792gc=27.248factor=1.607zXZִF! / ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%K8V'aڡE_ܤ.WdPGʥ]Jq{O=(dA9G:<4 v|.Kp-eθ!ms5ӰXtzl@l~7DvHuplI8,ԅΟi"smcvvWvrL[}_d9jOSpIC5jHKx"Wr|0̓4Icԟɭĺ8W7Z &0by.VSJ҄Fclr_.wG8: gC{z7 }n8:= YcY3I|,8G3Α/^W=]5V6etY*Ncz4C?0JmMܷ崄H=H8]nZQG6tusMNf"bYh#.4 D'g`.I9پQnq|YON8>L?MO~ۛqp*]ݐ9~39sq".Z?(OքP- s! -E(@<# 5־ԂBDi?*_TOƫQUg7EyD_Q?תT2/$v=ּL h,RگҝG1Gʘς޶d {؇ɉ,v^Je#ܞfr΄(.8AH҉}؁K-[MDlTY{lS+ *2uopg9SUoNe SVJ_B8b* o@rTV䁞=hH>*W >jوCyji+^Ly]-a4e4L٨6}ݑ5{ЩDzV13O~Y+w_'}?^P/5Bq#E8H( S سnuh~1UZyvX@n e@ᯚly?+Ճfv>OOfF ./s?tFK쎿}:v(KBOCѷR&ڎ#<]X&.hCd_J>kQ4"cD+I۔,}H''pG9~.5/G< Yv1S+XX̌Bic?=0j>=лHtdJp22 b5 X$6o-'@mdθVJf Pm f:RxgUA"tLF(I:rdF^BxKܛjPv}mkLh ՖTl qp(2jj,xQ$Sh7KTžpThi|\8)YBMRŰC<#2wziitztzY ,.fʝDxsbFSZrjYPӸZACL7t9RFW?e$|w(14ԁMZto ?z8xM! L'myYG<c; Mt?9@L!@ w/4}ڭwbd/l#V._kDEdV kL78JB3—HH 03.pi6"NG8” e `CkYsjLu{Y0=,>f#/z{_̕d|%+Iǃ%>}%GQm'9T]_r6tbOSMfiK1˙v&"HgB=qkz< 3 HOL-Data_Structures;,3O% THOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.tex7zXZִF! .v']A-MՋhvG"uIBm5o]Y͉eJOjNbg82F=_C5/ |N1 yR1KђR"M{Vj~G<28t;G|#̣ gK4AGeBq+} ɡ͕5̡vG~KYG.=bTrga p&AкnOFuټضGV +p]]ǝɥ>QWJh4'olh-*?)Cs*sq7'4ۦ9&݆rht,:qIjY\^IvNTU?I)xQkh|3ym 2FKJTr3b!ri5PNjĜxRaX?d"rF+,50&2xv ByӓgXLƗB2+|O+eęϯTr܄s4M\NN*,$slvo"B'Oo;Q}'slX-DE$SmލVk‘3ݚ^/6am8"dOvinrYRXD4B} 'H=,բI\8xu[dNRXBy:JLGyf,,|;p71-YQ\Fd<3l6k?a#K!c\o-xϊ۫V'`if7w9*@'n+(#+VPYobH.{ Aij"ʿQ nIpQ,>@۪r\e %Bsx D(2Pm2J0lzM:D\\oǀ5dcJ*RdJy DwD^qN@Ru?CW^0,z|U-)Ush%JTe T =P,c3?NSGܙ٭VDTrX ߢB+=Bxs1{l7s ݃8⦞ |νӫeȄQŒ AΥ~+`>#i1i:5 !_d> _Q$xYT/>Z<}:iN*@)\AS~n%B2sz&/""qp&Ь]/Gۭhbz+u {. ԓ^%\u`^f]~%B+zoa?d,һe~b. ׿~Ң l ^LoU`4#Lho_$u%Aˡk~nlȟ~DzwEG!7GTM]pN[IR9b҂agvNKԁn׮0;q[),?K`~:%9"87654321/,)     (  M=4  _=  N : q  |~ ,u 3D  { w <3;%HOL-Data_StructuresHOL-Data_Structures.Cmpdocument.tex(@3C%HOL-Data_StructuresHOL-Data_Structures.Lookup2document.tex'>3?%HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex&?3A%HOL-Data_StructuresHOL-Data_Structures.Tree23document.tex%A3E%HOL-Data_StructuresHOL-Data_Structures.Base_FDSdocument.tex$>3?%HOL-Data_StructuresHOL-Data_Structures.Tree2document.tex#@3C%HOL-Data_StructuresHOL-Data_Structures.AVL_Mapdocument.tex"@3C%HOL-Data_StructuresHOL-Data_Structures.Tree234document.tex!G3Q%HOL-Data_StructuresHOL-Data_Structures.Priority_Queuedocument.tex <3;%HOL-Data_StructuresHOL-Data_Structures.RBTdocument.texA3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Mapdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Sorted_Lessdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Mapdocument.texA3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Setdocument.texB3G%HOL-Data_StructuresHOL-Data_Structures.Map_Specsdocument.tex:37%HOL-Data_StructuresHOL-Library.Tree_Realdocument.texB3G%HOL-Data_StructuresHOL-Data_Structures.Set_Specsdocument.tex=3=%HOL-Data_StructuresHOL-Library.Cancellationdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.AList_Upd_Deldocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.List_Ins_Deldocument.texC3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Mapdocument.tex@3C%HOL-Data_StructuresHOL-Library.Pattern_Aliasesdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Mapdocument.tex?3A%HOL-Data_StructuresHOL-Data_Structures.AA_Mapdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.Leftist_Heapdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Tree234_Mapdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Set2_Join_RBTdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.Balancedocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.Sortingdocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex 935%HOL-Data_StructuresHOL-Library.Multisetdocument.tex :37%HOL-Data_StructuresHOL-Number_Theory.Fibdocument.tex B3G%HOL-Data_StructuresHOL-Data_Structures.Set2_Joindocument.texC3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Setdocument.tex53-%HOL-Data_StructuresHOL-Library.Treedocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Setdocument.tex?3A%HOL-Data_StructuresHOL-Data_Structures.AA_Setdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.AVL_Setdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Tree234_Setdocument.texE3O% HOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.texqƒ{ F:mWHO2 ܜ!Q1FAyen=L~Z*?p01̴gwH72k 2%M=&'äM$SN7,=;SKWJ?jW#dA0pgu+\[!ϝ뜸7v9PG*@w KO1ȼY}`(E3!f'|bBz!{;y"K"E$ϣ')R3D\՝4+F; ON[ C~F4/}`Pg,EZT7.[bb#ȯw5 ?Lpgl(ntDIrC]WDB-\ݞԁe>5$SC uh XU n2:fAt/ G'@.r5YmǨq!P5 fT*H}a{fzGsHpVjù3zh ),{>4iM$g L$|Koʏ_Ăku@\\[CtXEm-a$ Hz}ZN?N}C B_vSɗ*s&m\6S Sү*B},Q|ࠋ26}'$*J=9p'1 buXSȁ?T2W`Vz.{%R+"<"2J}GU"K3?xC"ZԈqIos3ʴ&[9V8Hz $ :jAD] x%+lDs))h/B;#vU ؁k/=55Oj֣?3WcDΕkC&Ø*lQj%"f|B|OLj:LaPTX^V"k?76*UH;piݍxV /pFɗ!6%1r+X⁁=A a5ڳOjЩ740 ]u ~mTPy"8SP`O_u0W7> m+C*"&> \ȴ5=R'T|H=94n9P|/j>NM l)f)+?lʒ=v+nf*8Yދ+ub%bJ؂9&.kE1;Wڈ/_!\#MG,"r$Џrp5hFlC}Kz, (P L U Q35Cv,UkJoCS: 躖 k_ns-˷LX^KA[KGrg AM[KiwT|{cr [z:Dt~ig:^Ym(GkһݲFYU]-U.F*ظ60 ,LE <}:a `05-cIn9_Od$˩EM+4,XT N?p6v׈T}_#2p1gХ7 =4f-[+ۍ JE#&:!/# W><`XQ oyTKBRoQu=:ʴ`ol2xLyV1_ z1CU.o5 b0ȓ(69kBj[բRb(`Mu'E*2SAn1W h`hʗpRf*Z>NA\a k/\&(T]k%׆3nDAolx0 %HdPwsi(:l  kNu.Mhg\M(^wR}2 G;"EC+<&lK][$Wh+:4/~ )X9[Ϲ(܁cDG8I'X?lk.mE*'ևgV4rQm/E7MYݫvpe@J*v_o~N[H弌)3΂o%E;|43cf4K䪝 ]$D H?i;KY$([3֑gj-NMhQ(|JsWlcx_qh^X2i +WTqvk4i<"q <uIQ!Ӆ0FG~!kpwp_#o#K'R-.Cdro\-v Nm)>=/ "$d4jp4ih Q+탨= 7X6Fu|67@Eֹ9.!Bg.Ov!Ps퇍@Aw<3E+]e!a l;swг7Lb\Jt?V P)BxZcwokjUnaPn(I\1T&Á-M .,ՃC3iY@H< Qݿ<6B{&Xsqܥ o2U*PF2 PϘ̨6cZJ\'fL[g3H{]-iZ&$}eŸDmszM 8]b;L',){q,>s S;@P`wɗsG?ʭP(o(j!ZP dV'!SBUU:].2"湕d<2耡w&:gߞTJ+8P,Ǎ:̞@KpXgIhYХPvo2A 7^ fߥ-Bg^ ĄOf#H[w.Vz EWp,<+u$&ɓE,wusg\@QjZGlFނu j=FI l[[iA FCʱۓ<혣o?`[nXÐD{,!۞{vOLKR~Z&M3䶙fHiSbL1JrGh@EC_B8F*|ef;&T";T:ڀxKnjG.XuZ*}ge-I##&|1Zmbx@gEw`urzO'W wĸ䕪tS.>=6AYbMR.cQ!rsVYPǚXI>k-X&eeL6y y!'%#Uw/8wJds\KT-L]Ɩ!.E3F:U{\3\6w7 ^h=($+Q.)vu{e:lQ(fo^R~ļ BDĿ-nPKUS5XӡzrJQzo5?3Yy+F9h{̭ .3:I$\mʹ$M8P,O,L9vM8p窙IhuܔnS c =nuH}GTP~%eo.&#s[6† 9 >W%pʯhʘy\y`iFI8TML;=W"c/+obD"4:ԨE/NhM8# (mUHmьQfcR|#̺L-|'nq@_K{Ƣ]Qu-sk+)q';xaO1t:Nd])or PMĒ{va`*b᝜fT('UEB1jD}1yiݧi=3T~L~5L_ݴqXoS)O+|&<-X f +?ü*@"U=9CBeߒ+D/ik=Iw2Gٮ5}ۼ7 /(.U~X*S c9+9GKC/a}"˾ɷ{C9}uEπzlX >qK |G8Okobx4A]bߎ3}ż{j]Ғٸ5 AbdK>e&h}۾N]K@K@>b"ã9_0,4NBl6i< 4'L_}T0:XfTzYa, kW(4i=WoMۉMI2¹>bVXR?oaVq ^׬NsZe)o$GesޚDWR%h  AB]x V;U}>0ST |TLplTw>Dӵm,4pNqD4:u3*|06Ȧ+*+4Y@|%;-1\$J*HҵʕQR1W((cPbh5SCJ#~|xWS5i rhĕڢKӭ/t%vk*4S2ܭkW>uG<"],Nլ-pilܶe%+𧭧QyFG5wPDM=u;""kΙOO,kv\[Ò%|r S,W8I\p1.X\ÑJs:?C%PeG&-xOngYZCCU!295ȤĎdp dzgE-"-ynCvjG"%.5&IEE>̣*[2_v6A3hE&(xr-ƧJYxK G|Im,е_fZܛ,O߫y"hYsx2=Bk"zq,DLc6n,7n; Fc= Kc Lk Um+騩;~ O07-~I\J_γ, !"$njw c(͓:El$vQnpu=_?,uaBJ1[heҾ7+OTW6I(Ż1>̽ ] D'̕y)Ѡ݃B}j68҉:^DB\ ēE4&4P\L+#땰)?V(n tȳyG:qxS2h70e0JyIV jo~]H(TFϛ8{@o^c`?^aK RsPC;QQAa_77WROՋ7wT[ptNwU1@ ˏ9iMe!ӻCukgJ׾۲30vD|Ug81a6 o*aϵ9G>1,AͿҽG@g -s. +dynM`+N>P$-uԉTd+ *L1/uę0ρc@24dڐZQWK&儴bȦavzB> '謲0L -O<ڗd#Oc1Ӗ7 dfCzɈ' ])f OBXeyͪxc¹0ƙKJ-ur_B?hgUAWl@A3qThm43o7bHO>J=$VmiHޜfs멓 }Fb*2ZxDTYDgM𮉋6 HȪ8VV[nB&!5qKUϩ ~y(چ% ?A:Cx_ҞeI#Vl>:f#haST .[ $3;6=AV/Ӻ#t6O3pծk暋;Ɠw3 ]sPAa ȇ#B8=A̜'8+Xyq XW'JcH2{QBèfzF"+_Љ~\Uhx ش \gnbh=$j'QxS_"'H/Aj#)f<}f2(cм6tZ֨Kfh; 4O@Fű͏f:d굻Cfcآ0\ͷn% dy X=߮Hbe{vV~Guk"SXgrǏ8ȴ5(9b؊&`S^)M]ۓGΤ y~Pc De}5%f*=?[1U2l5ȌrROxw0,,am5y DәdC$, <a\4%>&c2t*{ҺugQ>Y Te9iqc|j9n@x*gϚ*ok؆>I&!pF}p)ΖB&aS鯴Sʙ"UŸ;*1E/3G@j`v` P&ZR4Gׄ]M&Uq6rfL=ȋeI 2"]m`/$!%|&03Q3>E9l%YقZ.unoC܆qHmkm4x\ j<W8nϘXԸ>F jv#x8GIqfgO:)f2ۛvL.b>BeZzH#3 Fͩ-Z}F-_bȀr'BX0+o |M?c ށɓn0EfdD YLc)AZ65؉@n3wd;QQAe ǐV=$*T/M/K$(@KeA_/ږ{bg/'tٖhJ'ZX~6N0:U)[$/`aН5Lw s0Є8oc?Ȧ t&+# rFMPS[bOȆ,VN} wr]6ȉoW\LLŀD ̛ =ip 2+u̲'^7+"MB"Nr'cA_ppEuąqdZ4lPz]L>-3BwW#@uR#u /5?xaȱԝO[?;?HwyK4V=d6;*wv-C!ۥTe7#`'B7GN٘gZk \5E(S;yʆS7腨MuEJB SV0wv5K_Pc?Lmh"L Մ Ėꢎٕى]gٷlⰆMl'17(xjHF zP җECX355nlx=20bMrp#z ۫Z D͐gWY6݊YgYZ ,3O% THOL-Data_StructuresHOL-Data_Structures.Binomial_Heapdocument.tex7zXZִF! .v']A-MՋhvG"uIBm5o]Y͉eJOjNbg82F=_C5/ |N1 yR1KђR"M{Vj~G<28t;G|#̣ gK4AGeBq+} ɡ͕5̡vG~KYG.=bTrga p&AкnOFuټضGV +p]]ǝɥ>QWJh4'olh-*?)Cs*sq7'4ۦ9&݆rht,:qIjY\^IvNTU?I)xQkh|3ym 2FKJTr3b!ri5PNjĜxRaX?d"rF+,50&2xv ByӓgXLƗB2+|O+eęϯTr܄s4M\NN*,$slvo"B'Oo;Q}'slX-DE$SmލVk‘3ݚ^/6am8"dOvinrYRXD4B} 'H=,բI\8xu[dNRXBy:JLGyf,,|;p71-YQ\Fd<3l6k?a#K!c\o-xϊ۫V'`if7w9*@'n+(#+VPYobH.{ Aij"ʿQ nIpQ,>@۪r\e %Bsx D(2Pm2J0lzM:D\\oǀ5dcJ*RdJy DwD^qN@Ru?CW^0,z|U-)Ush%JTe T =P,c3?NSGܙ٭VDTrX ߢB+=Bxs1{l7s ݃8⦞ |νӫeȄQŒ AΥ~+`>#i1i:5 !_d> _Q$xYT/>Z<}:iN*@)\AS~n%B2sz&/""qp&Ь]/Gۭhbz+u {. ԓ^%\u`^f]~%B+zoa?d,һe~b. ׿~Ң l ^LoU`4#Lho_$u%Aˡk~nlȟ~DzwEG!7GTM]pN[IR9b҂agvNKԁn׮0;q[),?K`~Ut@3RoW%8"t"qHo#*QK׎l"kMyAfy6x~t\|0)QJA? i3K% THOL-Data_StructuresHOL-Data_Structures.Tree234_Setdocument.tex7zXZִF! \]A-MՋhvG"uIBm5r${v+!y;f)U!fTX9ՈV3ýPZp>} .)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̘ҁ1HPzt15J7{tIj{d`ɯZp}Sq|&D~ڏ.?z|kg7q>)~Sؒ7J)BFR7: 6! Z Li7Cz2 N=Ù??Օ;"A!S(xCHrTEMvFD90E\WH*\D uze̚?.d&k˱# 1UT9# "y6,v iqK|fZ$HxwAC1 '@UKd? Dd/9ʯڢ Zfb[K]dkO E+Ū;-jY叕E< !VT5@l>VYڧ0kCvǑLEvQ L2~<;7.W *1|-ЭzwRYsnn>n}+paWi|S7vB[@wz-wE5 6>nd*}5'٨46H?lq^׺J {i%`QL0)0 SYH=bڈR)E&[`@JNcF(q\"^|@]/ݡ<#G']S1Ō!: k0j;鐉D)D&[Evт֬"ehb)vǛ4vvS`ovRC {a؁_SX:NV=g5azEZ9}AV;`+M%)bZLAqcÙQvdaC]zQqtа ~iX8/"!Tj6c_J?/U*D(0[Tx֜09@-5 @w[PNާ" ҪvC6s|H5>P2mɾC mXDVtQXʉpMjQRtO+[Upu]9ń7+ L̮M}L';oW4Js`n3KQJԤGp-N#5X'TrdjF>0{H'\TbnmB>R|'I@)F 3h9hB*Uˎ' BSr[9a큌W԰=La`KQĀpV҂қkh|m"6Ze,eSQ K]jI&:8=N6"~M(铮xM=GRm`j)1X`XjA$NwaN^Mevuto%qy mENQ9ԨgW D"xoN)-PpŃZ2|o;y(c]GO&xVQ6`"VRXÁcr59 `nkCfC -~2$Vmƀ!Fꬪe'Br$&yϐ}O:ϱuԼKj'9u̢Pz?l}1p8NF\C ^-FVGRxLKjUgЫ.n.崜!pxhhSW&YԵ6MW0T<xOJX$ ىXo SY p8 i5N]ڤݽeE쵉w=QTL]5HҘ)+^ۊZFQ E(pEǺhz\ ~roo_ 2@~`ӆ-9ޔdT@tH&/YD%Dʼnڡ(y!Ѹ` 2sfsR96V&h<嘑ZkYBX}*u倢 6[lx%RjI07v`F0QEr֡ƘЛ{N[Ow}란}]{Ea$jE%U+^!cysWII)qn =nø1  7Ndۨ 5~G+ fbKO4>K9anaLZtG)rudQ:?ô0yUd;u-rFFfF ϡ{p :ׄMbM !vͲWgSUIH (g602 +Ў&"%%4[]I@}lik_MJ鋓ZEapWou:)h Sjmۅ7>p!+yT.4Qi\~b+5sGaqy:K~Z:$}?j.}nVwOn|+~?*^d%2v2' >z5LaL"u=I8drgٜNNHq.?OzNq;2RJ.6~ގ?iy525/'2{GE+Ȫ2@}h(cvA{e$=$EuM"W 0sPb8 *(EM+?}dM<<,!FNP+n{bAJ몵mh孂1ό\Ԥ^j(4o2-.TfJc{Lx>?`X+KoV{Ɣbs ,7oe]]⏻qxW]ff[;1.Ip58-'1:jH5Zcη1h3ʲ{4`D2WlfhVLC_/b _cɳ܇7zumc+o.Vx F)Ed&M)i R_|3ԖKqPROVr'?azX7?m5=@&vbu_=*399d@cnd׬>܁pEpT&P0mB2mi3ZFX2#  14#\f_]>GtP+lI#_=)N]e<7s2q10?35P$1KɌg&&9ꝯTZT$>^g6_#v45-+S,&׮ r'a5NrFاY{PX-RՕA@5 x 2 GNx򌢎i#a7g6>I}œ K2$Pto1B%?tGDCwסlEN5kDNY\})Eݽk9;]9ͬ95O~Du##.ʓk[NԈB˾s-Q!р?G8k:=| L]VW78`ߤ~Ա 9!TFhӌ.[l' [8gcPHǃ1fs`JZejuȃuTgv?ua*u`d1;hZO*-Ch2;0"g5Hjnɢd"A;(4#VX*,Ͱb AJm\OopUևe3Cԧ @~w:N}Xi;3He#e Rf"62og薃OH7X{3&μfXuj{6$lr3o TjyL3|pͳ_O0hˊJx@8Q]Ch1r'zA(ZOE{5m=iP!*S~Tҍ"XUsU/$DԞB붧 *Ƀ`uno8G\ݐ \`|Ҩƥ].D qR-}ț,0T|d}˞A[B|RqqܢLt҅V|)00Z`Û'sJ('N7H@ iNqR࿼s2<3~U~RpDOvF9x^ё^?ڰ˅ul^-7f;@_2H#p ]tN$BqF/Vq-2N BAqOæ/l*=W\Zsٌ+ rޝ5+X+ %/ d(Or? up\_&(Ã9 }oÀ7cJnEI,7oX*vAaa=k*aSZ 9ޑܷ? 6,9iلS!2z:A'D3jIn=}ZvSlLK?֓{Ύ ' .ba+X %Bn*nCCL7-l"K&[_) .gKIs Ӻ'v[{P c)z6=}V)Ȝ6"/m݄wt]ų.7ǺvZ;3[>oAGR=kQr2ƨ\1~0n-;wZUowl͐s;51ϙH 1NDi-^9 O%W!|r[lYv\-DE`D! 3 V)'2H  ͝A+Ȋ=5.Nl OMR 9-|4b!`i膘QǢ@LR cN5A.VP` /ڜ"P@ y6>GhS\V0AopuG{:N>2&41Ӹ3%&[EFFrvtW<.NLe"!LfD 2QåiƁU)I:|ZQg2H>lION4')p ޅiQ%к8ɺɣ'Kb7gv"e7BFuXـy؝BK&t=t!IUop'V#QA =jI B%SF-a]χO]M 𩈶8qm Ɓ|jK!)AZ0w/^x4iʘ¡Q.El6P(V]בqS95~XE7r4:s?B`Td ҿzvl[/ yx>r+0E0l#mvqn,-@ w^3l$<*Vj$hNj:hX:m-uIQ̞N}DվȕDϢQ?lnk(oZ\U9Q;R\j!i3hZeEipQ9[ B߁oM uycQz@Un=qוx$Mz/:37\8>,yCgYZ @@53C% tHOL-Data_StructuresHOL-Data_Structures.AVL_Setdocument.tex7zXZִF! (2]A-MՋhvG"uIBm5sVeUDrR8T)Q`4䕣0A{cg1gvD;[Ur') ܌b1}E] Q^`b?SKx3kJׇz8"aq|+@5LY@?|`6QRvI9Tx˙cdpGSvJ= NDlO /XHv,KJ6Q*m{"Δy:=}^Çm& #/|B],ln渙X5ϽcU9 NJзA~*cxC6Eav9A-Ip~|+7E ENGQ+-΅\ o^ғ*zir C1E 67Ô捆WTIe *sFs~މUi{WD]hf%+O_U|ZUbaFUtZS/%8TzAX[DuO*+ >VDDA6$eD}3/i%bGwrGF9!a;C&f2(eqfgxm p"[d=JV#E7\+(*ahZ4.7 H`_JGAyL8Zs*|\YCWj&74(7Y§*{Ȯ0olyqJ@v~ &4)ؤ$?kO `(᭤\ PߗWt](~钠TeC$"#Ä}V<9Qn)60{J_yLXgz5t+yFjQT 6vafÁ\̅ J=. yZrܰnEȶ]/5Ч|#X,)|(m7h+8T}oDTA! %D_жA2X}J8ʟ]^ Hs}^("#xl=x,. B o^-!` {qk!ds\L19qLt:J Eʸ~N~Dc(79(շ/:wKS]=Bo_VφΓ`78A▣FɥU`Avmgtz,6F2rrx$r$xM.e;: qx⡅sQTb7n W}>6Ĉ%7m?/!/R907SfLeط:8+>K]d-_Dž o㣒`9"~EdI^FH=5,ŷ舭KVx]W FPKUa|M8a˓ʾ\'nP;F̓~8ˈxH!le\pagsK=ǙF5w)CY0ޑH$2Ң6Z0,% vty%`~ N]^!Tse|OEH4d0K~7uWx9NDmzC2 %H{`CLģG|AK?{???]!%a t[;7kLpRO'~-!sg\'yxQ&mRm`); K]Kpy p%`J.Pf[9=q9}jfHS.U:Wi] i8+ TnEW`(\<ǖcU:i!T6g1V]-r6fAԭAܸ2_ᮈk3.孰 ֫~CrO\'i`>@Xo੹2>s֍8KkPVtz$~֊Aܬnt.=TKIDXO,6:Rx20+K b/>o1tܤvwGGWu\h`G !G7aFP ߛJ{Z{޳y,~-oY+85oab)_fr:KxU]Sn5 n$i6֤V0VJoD)ub2C9*H;?vgvhP"$->Eۀ lL޳v 7 2|Fu H,]Wi[bxØ^A1TJ&қGS?VݙL؊jZvf#7j k~XZ5s (Mx4n Hv PRA&N {dߦ=ٔy||%ҖPYzoPŢ)^&K*TMIʓ}}34x*'Q>"vGֿ*Kɧ&I f*ۘM}kk&ރ5_ JlBP:Б· #h/+(}ipOAA6 5zO΅(h[CZ'P .69:d{j(k!@A UY⇳}q)s9x:qc]M9ɱ dEo7 Ic/X(Sc\6VSTG^L^uG(hznEǗX<'%}ƨ\+ЧR%'tGqK/jU<ؓ Z>ݦ}%9Y=EuƟဈYKÏv֔-3" `dS2+*\ g 11}7nkD隺#ՍCuk@ %ght^IN=21U;j!Cn+*6gfd%?&9[, 3iqp7, %g|WW;pPdoq* s-WX1D2"Df=EB$OMP%[7( e G/5 ET ֞"/ 3Mj &C%IDIi G+`Ʋ6+vH) ;kVt#?ꧩ1VW[=FT 27l >F¦TC8Knv¡J.\2`ED\KR_^h.+C]!c Fiz`ħ_KWߍ<+zz4J_Sc>M3)g(}]pbx.*G% |[ܦ\YoMrBԌ͑. fw#\ΤkD¶Y6!x;vaȵF*kegy;2{.QNG8דGJ0UGsχpUH}wi5=Q CN|RHx&.ⲪԌY'So%]ڡHBm:MHaλT@_Ar?cDؐ,,`FQQ4WHyx%=dش?MıtOOP67Kf"գlr ֎ܗ#Jr]U[̍{ +S)vh_^Ϩ3ha'pJU.ˌ\QˢBoԌ#ʔ#땈1.a]+]p {=%Dq-4fq  .ޠyƶP'˔Em~G<9XQz~De*Y \ja]O/!MXHS j{O(98+-y\e{2Vmm0cMʇG&20P>*PK)~' 7G-z9V-V_yJ.5,C`>Ka&rT0UY'x%\+ɣK 6U8^UGZn'̄:߆Q> JZie}X-ɿ#Ss 8ۣFR uS3da* t/'9upAJю}H:g(B䥴&yTaޤRʽv;)a0sz/{ݑF` )s`f&%+$W|ous%q\-+"KDfx$ŁNj(bHHL4!`22{ H7fݙ.KN` 22"j!J(>7+mJVdcmf|YT6h/vAXk!M!)^R'a$&80:b{y{dOi5L¼IT pW'biu`&BZfHI0wxG,E؋ ZP8OC1WgܭjZc T?`dt evi+׋wg\p]?m۽]?+`)Y_KLϤ/~ՅKTEΟDr~q7P)TIXe3QEWfzż"0JxSI(-sk5SAqb:oMG8-7Q K3&gYI,zj-cbu!?\Ӣ#ĝ疳oCSV^~Ҳj)&|˫T]%XrNZfkiu]Y|X:ez^Ě|0GiRj4skS+.ƞ;X}WrSS3ƛL,Ww~sܗLEp캥\4(Ȟ[ZepÖѧYWd5kv:[V0- cJ $fA(LZ:ɻ-Y?Z`,[S Tvjr5_[@6R;K5¤*C%E;A]Q_/rH/kY_=: 8C|ե]w~N"L&?la z-/ݐ3KQpX0/NB@`vgY$y)L%-]WXulZE8,5eiҖ]N1|9v`wF:w$גqb * b_y.h*,- &nXčmMoP2of*;yƋѭ F\>:w@)*FFND1A&MoA[SXg7;*3 hl_d8WZsO[9c;nؔsrNp9tW8fԓOX^cq Qa::a4$LF-L}->u&IQ8RS"vAaNeZ;!|ˌ\lKmNOE`1Ƚ SfSQb銰YHahPaԡ<i䵨Ӎ2وw4uWaʹʬdzL3%M&Lgfu˴(W0t&p@)ҳQ}>c!hk & w^5\:ke0ҨkHUGjӌn0 pu/Go`STr/7;=H#N5h7ݕ`bb l%gWjz]qmSj,Ĵ| sɈ~< Mcr*P"$yY8{X}WƳrbS!ShVeǪ43nkkx`!9&A.M_ߍu|Lk^Ɋ ; N *൏g ŜwhEk4 t>u|iըnM:sv`V}7W|`UA%4jn92GL943l^s)˶W^ LU1z}j.Q;WTᇧm̟mv?gN1Ll)jKI4V) H4}JGھmCBb0ΉC؆ԄR@:z03]oz|M'3>+%vǭ3Tj:~@.qP2Ԝ#z'%qC2KF5 63F[ p!֬(&v4t jv6ʳ.C~^6'N"˨$r<{:7ȥ/b[E{wlQP keQBɾLeu$;x6H\~#zA5 v309'xHiHyv {k3C,pe hervˆ 2[B vj8?_:,=KgG3:|Ӡ_:3C߃anQ^dF\V >+= |^ `U+xbЎK P0(7&cGOS5ܫ1um%ފRʽX?Tf|uhjJ2Lvyw/*ɊMEzM'1EVy)~ul rMf:,FT<dGR6b .iƪ9|7[?'e.3wmi\ xɋeYZputS@ĬJb֒|w\7J3#F;tƖ=L`R)HON:{(`f p|W˶\x r,zU$ʧ-"tW/48swUgV!n!D}o"pa)"r<(<& VKc9;Lvk#)zn67uI06v*e_r|ťq 0YvΫ0;d@ 5tbhHS|ESԳbg/TP"^Hyn7 F^c ㎷`'R (w\{HnI(nL<݋On+?H n?f;[\(u{ihiݦArkFHiLULmen{$שut̫|Ę~M)_6r-68K+dM)z%P_X"b/!0Lpu2S=+/[!!zjndsbYG7nŸc6h)!!a˩VnEt>y= K~D4ĠI8GSvA\tf_F[得 v!QQPu=V ˰)uQ=Wd^pKKyYW2Z4ns,1KɎSw_Me']IwT)GG$qzgYMSg&:[4fv C, Aiz!A?=ˍv袓h!h3MQgȑN"Qϋ`Dc0kf3Nb:dH >^RSD%6ۥ5b#lk"|xiN2%$?"+N3˲s63p\J|F`.ӠvHV*঵τ,Mz1iP/]0آB͓gYZ -3A% dHOL-Data_StructuresHOL-Data_Structures.AA_Setdocument.tex7zXZִF! ~!+]A-MՋhvG"uIBm5i#zaLAG*)&M֝@0O:m7dk^x@;eTE,P$׆KĮ/@bpyc>ri@7rD@Qw`qGV3yRe B8s{1 8KڠaXaj;Fd"<! fSq (K/ _0&Tm,%ZEUG1q#Θ͉k9(LH _r]  k~mf;=^H0rK㛭.xܑ &S0V3|nE,XM@9LzU}hXBiD/(6掇!VniM6 !}Z&ʠ\r?invϸ3Zޝ?C=92g%C ܄E^ ՛.73;\LMj/ne(a*cʔ&n>QxHL.&z"ho"иiZ)Be 9Ӄ Ȼ\U3O2*M?Sʧ x~ߏ͆|5fZ6;_{L" &ImaҗA;:'xTNf凁q*%F!v-oSu韙U ]C~_WFy1F!8nY^_)ܶZRJ) B+0Zձ^Hy׿?W؈ҨpM]"W|~y.Umֿ`׃@&#@3 g|#"o k)ܰ.mM(F7v4FڌxKJ:h7-g1K$n\v/éc*P 3w4}5zsǪ-%x2_qLso/,'K\8SAzIsl&]rjC>QͿӫ!<#qar楫x- +f 3D^^PdۺSx],|ߺE{+ȱ2^3g_s@WXpH>`BPd6iЈ,W[ڽI32e56SHw C|n._I"<͵evLX/s"nk *1;.y,IDd2WJjϜ&OPKʌFPFX!rkjfaSze uW;sv Eb'"=l*sCdO4M 'WYB@Bڔ ՒòA w %1¥8mܟW㤽˞?Oq#̅2^<M8揃sQꗓ)$rUC>O,}^BENh9zO VC~8Q@?S `t<jnJװHYm7eӤ߄La+S+8!k[`k3@ 2􅺸\^]gژID :geP0Bǣ2{2Mu;[aԭ-X,=;$FBӳMb\ʹ0KȬdgeyaV}s-E9 >?"{kvI+%T IK(KO`Q@ډmhk;q̎ 7ENRmu,f;>V$N]SQe˱לaGS$Ku>:XE^ͪZ^F:?Qw.]+1Q(xBVWXmN+>"4%q0}.Q%ąt ,sjCLϽrqn?+U~ .2z 63/;Z -+3T 5s@k,t^o"Ӱ1 :*b2–p/J %ErKP̟꿦Q_G@XŲev``vRwaBs\&өk.JK'5K@3jR EY]X;-W B[VT/={Ҕ< ǁ **٤\omB@;RhlN#r㚤j8D1zlg|84G%/#sQP(>}}vgg;Nl8AMen"QnvqѾW\ DQU;Mf7FzбIVbxb1Ίɷ`tBiǢ>6+!&Ɯܩ $o`, ͚Gv CȖ2(²-fAY>_WfʩQۚev0RJ' ~윢:h.;Fnqy.Xz+%SP!i v,= N9Q+kL٬OQ6k<@X!e=,v'r:n1p,޸Uo칢 vJ9&ͫltm3i/!).QJɋQyހWq,X.Aez@vc9.17F2#}а-wf8]cԣhu]֫"K 5sC;h+4$WGrhzQn ,[+".B5 *6(Z#Rة̇׎+Il0/ fKn}j4gԖO :G[U&Y j D}4CeCjrcv]\=f3x X&AَGc;8{#gYZ _3O% h V2eypa$8r`% %85>͕͟d {_>]P.~dlو ;;v&JOeJz K[f=Q^:nY;Ea\&vS ɦc W;ea]X n2zͬVeMB}f}.}XNjƲd"q()LUj(zd]J)leۏO);D +<~&F,_ "QR Ud1ZC觥B@s{V]n)8v+ǜ0yb2x_k?G ~e=\jt_IH[{1 ƅq#ps/jƝ^|ڣkW{v%> }dBswgY BL3XU3D4b-)ŅRl@w:ĘhIIb1>>%o?pSLDl>-ڂа:AzKHGXBC5(X4B .8wDc 2H_1 {:Ut 7qA ;Eh:ehGϾʢ\"R.\SnL7]u Vz!=WǞ=<Ӿpb6- Jڂq|Hs J $ݐnƹVuPhkt2gYi2ӑ:49@7!&gMkpg& г+RL>0pKt^DC|i@P#*`)\((1u],/lfW[~U?5^{'HW:$l۬񥡉m]4a!YLXrY/#95WC÷5Ԉ6a8lڗCӑK9M $_ xyeNdςAD0MmWNXIP]v &mpe\3Eh| `Sb a+]?#Exqk ոgym"9ߗ|T0[g%Q jfOiRނ4sO$iQE$&WXT<1i"yG˦Q/1vF[9+̈geW>8]^e-7u\Bh\gA}az*!6TP5T@YZA]s#.<,8H,6"ȴq'j\w"PCp* mb^Uoiψ9v8*A:!pXYZ(+R7Q4_ $r ekx3 TA2TE$qTZVMMq?CeZ UEQqL gZ{rn_*DWgN-iU+g\nźv'ŤqdQB/g54Inu۷Hpg6  YԳ;b>ٜ`qUml" J,t ^Appb>^*&`]Ba΂m >F>SdWS$'Y7/`5 ] ~r[+p"YIUlռ0S%իhZ,sW2C ([_3`i5iYWnK2 e'E]6FLN1` (8xy㹆pctE*fQ,[I?ֈ9>Hwz ·"~&jQGӝExMN6Т2h|gi3:P䚨X>WPgѿ'JUk_UBM,ixZk >Tm絧BrWi &jqLpG(1H\liQq4.cbJ,uQ;vC8q_!YL0s+:Ke#PY mRe֩qr3еE(=~#z3F$ʆƓENpv# x5Pu }\Ue,yBs%R$Uѵ98ȋ$*u|?Q/.2,#"!Iꘄ(ްa  =q#xJy 2VZM.C.ڡ1efx,Yhȩ*9{U<#J  U]+ahY?diRŪ4|}RUV.zF9uV gIC׿Gs?ky\1c6?ŀe2{Lz a:սx/Qޭ;5%πtLMcbRE0(2= Ll[zmk rMC}wm&؀VymJagXȉR cg.-z`d)&`v*Ud&h/8 6Ϥ3d~;PP[gpPDZYNNXn |5hW9*| د[*1[3MPd_2:5l}sUcO:27!Bj?$]yFN x9YX{[-Pvmc)K'9x:m"'ݦv ,&w1L˺.Dkj80\xU%eJt_Ʈ《PF\y ˠSub;>bqdu߻}! '3օz!VOx:[Ga&]z= $XǼB{_!8jH*n>ީϨ!!5DB{ȇjjKu~A嫛U*pJqUn*sZI -DPhٮ=&[~j r9zHLZQ/iթYa,tpLL?!WD [#I6! %q$.o(S1F˥:x͞:)Jn?JD#fS/Y}"6|M<,!4IY}>\OQ硔<o[:-M"TCZ'n]+qksrP} d`21JD!ۋsK~s'$i&,;?Q$P6Ivh(lsࠦI[i/3% J\ne/rۮ'/ Ig^]m߾O `RMP{﹁~id/%6߻PuPΝjAS 8RzUJO,4+嚮WJK3+ NI=ƌ:uv;"DdyA T=!CaQhIiP̡!NnLG@H4v j$x:@pнJJ,jzLU8 O:gGtFiMn`>酀7SP3&V]`]#ڕ9YpՑ5ԻD_AC9 t&z]  ;:B ܽ]ΘU5?vă ρF]u.6f: k?kQlEZv :Kع B@^2x4+2$Ybܽ:ݐN3L|79c)s X/J˫=WQ`o?*ʬq4xn8/wbTxp}nP2{O|.I;zyQd  Pm$r!l 4a)`Q#uRsCil3vȟcnL`>UlN5{H`3t '}fŅ!$CdMn/E K fxƫNDbW_Zƈ,ߞOAg.RjCSU< 3\3 8i7VO-%*p.cXd/HWIvZzڨ%4db͸38IA̸BG' Sf_>Q_ [F&O=DC~ 0ͺxKpTĉ۪%0k$ȱwz83utNDOnPU+@5#]_@r5v ECÄY5 JZu˴%WݛΫakt_xP =CHK ( ^!kWXc6׻,d p(#x| h}y :nfNz+ u "Gbˢ?QItFwJ{Jݒ.k8f5⬎[C-&t>PZC+o' 9Lq_6;`A G&E1<[vU5ۥN8ls˃46ӓ6L zֈBMck0L4 B\6"I0mŕ2t z%"8[Z:@/&W-@v.;/&;DkP+r>{J&R{!XEy`1O"aNPB?H< j{}#>=W3JMFu_a%e<%(|q/Y7! *١a+zy/>&4ZFڝEgL2ݔ69"(AћmHeEy\>EEY4âk38g`4l 'b a>{ 6‹o H.+Zx/Lݩf;*l5?l@߆&@vg6Vnysқ i[XAZ{Fςg徎8#RL)5ǂVs}ʼI9$߫]ǜ2[ }OpW^E 坥ANxTp9kλ[MC4Ám:vx@jUo$&8Qp%gYZ ss3-% $HOL-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@Ӗ(w֟6f@x WAbkEi'ʃj*qR[;HYbOˆ^i/MLE 4*Q$lߦ Ԏ^,!Eq2(T0#^@;sL8>'<F?DAK*.&mkOGq? `28c.Pf(ܣHX=e]^tpz_M7B&| #@ s<|g߄PLe#P4ezoD5S_Qe\FZ~I9N!K\r"?2F m KB}<`X{ 8{xsS] F8d+v>=ጭ[[M@)-y"!- ZeJ -F f;uuzub)dC^F-@G>`ݝTV Mk:Q:$xvGD2ѳwW`njn85iD{!7'}k^@iDذV> !5Q%jf&z sߚ8_fʖuDя9<ZayF[5 A& N2Ź TY ^|WR~߻sWviZ=i|NCBս2$R@sD?&zmgi 0 e퇇XFE׽NdH12tbIcЇU֦[LY\ _|# )䶻7xyU -/DP)J貤A!5otf }C^sf1G#M~TgkSNwˤt>R%ϓͿ#Hؘrng("9.险|i,ZLܰ{}NB^og[2g YW_Y ]N&}E}֏ްR1Wz5;?/@:wy_ '~ǠHJ]MMƩcmN\&̧24 Z}H@H0S"qc`pUPNksK/Z hەLuwu/G. -vPbSDfDbxz>E+aA w1s\H_Rk_b-6} x^bsս`Yh`]DƊ Lj+W!^ t #/GZP}'d8>pIϑLvh.'ÍDB+Rdh!b&$IG=vCK\؍RG*$GQml~~q$؇cv MEb<..'!@ L'Ͼ6+R,'PA~3}a~AOP b4Ͱ7RBu9"/8om gr380+} "9!f?R[F3[u@)`E[kVG}MId:H/3{C|BS_ )(%@GH>Nvm֝I|3KmEѿ4=" tMɷhͳLPܩĹ,\3v8PgT)1 Jz2Ԣ9npav9ry)/z;#*jtr8?Rf =/'~4SDe,}dl<(T~ = @fh(#""KBcy5)]٥:g&0!oL\K3#n}vgqr5*D!nͨab@ʧu#]D#ٺ kF~':zTYP.!sQ~e˜ⵆM5U%(YVy˧oRbƲBE`8/ r4J|Km-m zHvVIIUoa8>mcJ|.Z 'ߧfW0q3ţff>FH/v#00.Vɏ`6AXeN\Yov|#.=Q܆ժjQ4^CH~~kf2R=^TƉC.ھщo (TcNBDoG%\NpACK>+"ʰWઘMOQ=lٰۿ"@Q,p?u+e*$7gw0}Ὄ5ZAp(S׋#6t>hS*{ec(O-J~oK-'Jƈ) Auӯ -b$gP[mΦ'Q(wrq?:l.m]vAAIZX%u <:-řD_]b0I)d^y8ƅ&iн!PXړ}ǂQcKkV9/6|{k1q)[d. ֍{ԙW˧,BJN=>lOCk}Xl#cVnD]pT>6d}G: ~C{CY99 rw)OKzkX:zBKpĚ>|Dv{P ȶMIgJ?uBW<َ2+IYrkп(4Dv+z'÷J-8vl\wu _58o-wh7%?]ͽ7^F,*iw]"U=:̆ԜKhSk#pj]P$,}_ C HZ7rcG>NPQagfs1$P}f' [D;ٹМN.'v%f/X":3f} ! )6G0o a8^X8xӄbthכ 3,X2od4W-\*#bjmW>/7[ַ>>E6o;M/9!#ψ h l9q[nv-E1)I.}bC C.pdn.R􊥗LCZ@%F4]kDZgʒdcǟԽeT̘gv`.v3TX1M<1OQ%DBbjPøJyJ,C3iw hh^#۳m-өRPbuję:l;ߨN :vo) ɩlLK pWHH-*u6ØN_TW E-LEpF4&al¾+ mVmD^(4Yfͪ'SCSt-O 9z fTC V/* DU{a.ڳZěa q`Ϧ!}/ggdγd S3 _&VŀE9 v6Jx:'Z>qDQPG/TkƑ_IZ}YSNin};+[ld=Bir0`>Ǎn;1dcبP߮ފ(M̳Jʀ|U|=W_N9:Y5nK~.ޕslXz^Oz@1CtԿxcyiM-s'ګ4'ceaT(RԒ]Q\e,E!PIk5j?դ1V:d_C XbK++~b}ld ,jR8!v_οv=I-#ܺtّ֟,{#@Dg4 ߵW,Br e/_B)feyqtCb.M#RJJO>CpA%b_ ?ZN!z*!s[WedKWqL،NiXYiL]TLsݨI註zATCz/Ead/Ls}'ͧb,ZfEƽ n&޶)h$ȶa.kDD?o ખ-tڞ+Ja;,f 5dNJJYM4djNWf+76K\@nPGe.l+k]HCX_N p^io@"2g1 H/n;e/+g5EKMGR2w:X' vUӥP͟niݙ8U'Y+xe'=`,T<{x;voimx .0 e&h/61/X>S EQt iX B@3w-? =y&_~1x7H:O۬X5em=)E(55ScG ;i@ @UC79abJ(^΄4{`L,%lIP:p`by)QNGIz4{ڡWmBg/E4mK?I%;,i/߸@8H+ȩ Ud a"@G2ytвrƜw5 sYB{MPiDuӓG%aӁ?182wۢz Zgϫ/iVL"2)տ=^7Lc&YlUr{ v2dsp(+bl&Ӻ2?^ޮbԹ T ѕ7\oZh_? 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ݯ.ioX#u2㧪,|Dl*fr>(GF_XҼ3C@^mvXIA;_6 YE ) NjӋ.*%ItyYȑj3Q7G'a19読5ZY4#y)!w5*7+B2/NB(8nQ^f,\DM-#JU;}3#ppo:̲>:gZ[+-GV9ۙ@@3̬L1Cx)QBxvFQFUEc\ң}+u]9jΊ;Rf BZR%su%kkR"lh&I 2M0k_)7WFؓ2㱝yƠ~x@!ws@Aj,. 2Uiq?Cø5L]FX^ Z83c'!s=Q%ENYwi}ou\/hڬ[;:Ph}f|q6N ]u66k`Q>`7)9"[ );q ָEEõNAУOmrn^*j7SpDޢDb*wUGM:qR.T_oc ;7uVv7?#kuݳ%&yujB_bs! gDZ.pMӮ:Nf\0}m' wa,-+.O rTq"SVfj'i,Ԁ~.b$d txEg=S~)[18ɽ\֊4lxȜNnhɼu:T+|b X5 dW%$,ZL/Қ{嫭 P7SPJrL]jo<wNU}J4[}ڴJaq"[x?𑺞mZ-eGX2p$ʔ-PHTtrL*0bIJeICJ,%lx so4xC=m @9f/p-ѩ&]n}F,>N֎x8g6מ5bE7Tvu0媲9 @q? cȬVamd}A6ai\fHt>5gVEs+ʬƿ"1=~︕桝R=כl[j/0ѼWn} D ` A â1ܴ]-ӢX4 Uwvb8:v;ß)$aFhQrΞS1 !`Ǟ *+֣ .usrUou@c bt SkUT}fqbl 2c/HqV)s:$ D#f'e[vi󍌞k~D޸*rO.ۈŠkRF IzUP rthWk/A:e`{_XzS),RtnNZCN<>b:=1]l%AMYdOx)mZ{4Ua~GsKnhnr xi xw54ִ ;õqF jBehsyQW\Ble#tt}R'3- K7.4߶Ӎ6W/3!Thǻ^LHV)zǠqfby^%C4B cݕYKXTT(KG5Q'Xe:R;\2A[nbIV!r&b vn=KoxW(j*ҧtj"`Fq 3' 3?>3h S3=jx<@S'ߦ|0CQWBҀzlq`:ZP۩U:Js'2aE2NEnb7PUaX(JnG ӽyۼg|P2ô*Rw6 Zv?n ^g8ťͯQ \+7HcҊ@.SI} xxոVP~Qk;9diٌ]2(| & *69@νSkXy- 뼞M@l+Ĺy,~rv2\"@,ˏ"o.@ :>kVfp׎{uosmt:G\<CO!zQJ|zn6VH%gVZ[3NS0G. r8{+YdƩܥMU`e\슬g~/,&N7\<ħe~i߂C z0^JuBwö I6\se"V~+#1 |(KߖӀ㟉C5#LH@?L <@YŵoI%[:"b7@ 82HSD\5Q3jb ._6g@(0ߖ~^U披HU8tb] JHҁ?թ?b=K-7Qu#Bԁϱp|١Fb'ew3F4rƘ X 좉̢,ѱ*B7M"M8+QT9oc,H<2}8R88"3YP?)x^)^2i &47$_:xm=$CMt)U5"ZK)S*܄=a<<~3.ŨpI=a(yt7+zпN-GM$9k '+@Dv ^쩫bS͒8,^.yh2Ϥ7fn<5(*jioȟ>"Oi6+Rth9 >{TbP@b^_o?AD{nD}0O HxΘ+4Rp߰3:Q^W)HMojw8RvD@=~QJ\y~]\fH72̡_АXe5r-)ca[,d3!AWe0TC!?͒1,RH A!sR{ȅz7[/5(6kIo5vKBAp)|(R|~K}-e]^&&9|Vt? *aY |E+,yix dR+hn)E;"uZ[A+>NQ\H.WTY7u2x*Y9g)j&|e\ 2 w(쭱b͘9 7w}D:O+%TZ6;w,򊮒tqm{^+ghCW{LQ˵qs濙x&/\;K9W95Ȑ "@:Y"-貖h@gN*_G2;Xd ߶hTX>=Վܟjr| ]f lւFǝ~ԧLC~$q`'Ge>jcң:aQ]wƟsTΔn:Tܖ*OVugYZzE-l g\B8 -ߜ{y]y)9s DgDdM4 ța U af<\ شNR(؜Sq^%eSdA{6\vo" N k>{(VQd`#p w#$%K@R$>t洽϶_-΅o _ ކE pݽ$ S d9 o-|C[$IG^PKg}G@6Kg4ys>I ,6 <O| zqAřysM@B@unyoJޜ/gU(\h3QʋjzwlȰǠr>6(K};| {[b:GVS&uO 6M n7ylO|bOS^tR}E\8uKJcCCؒM!q|{yF}1rKwOibꆂ:%kLDS:S͞bLeYмK0z `~Oe'You^?FbdA(7{Ly,oeۭ1\B҅YC9 !r[@0M۠t*%_ޫ=KysΧ.߄WMF b|j[WKPJ,%-weĵ[xb Mrr"43{{dHfnh&ցX>OPl'44V'HPN d R8-LT2S0-EtD҄ bQ a9POTjx[^ A5/Y|+H%`l&je$ΆFhYv]Ct 47ƊŏeL|Gcmn=,|UݫEm]4o%g/Laq7I;hV s _[]g.~ q nЈ<w[#99 ^o^F&r*% ym.nw!>,dv GyBs)g,@L.=73ݸJjILFEd#JwFDkPUQ.:P .H8sp5h<2&46#uTjWU*v*T]\)uG -͕ 1@8x Z[tFGA[8+je[>oWն^)ڏoeϩWD_idyˉkP$r>?Py-XOS= ~y&+jy+ #S4؆my Xݒ#=[`d/Naub^Bfp=װ\)xZy8.X:};9d`9KTy-B}?JMA:bGGV9C(ȻU9SQz-/%kp9]-h#%T(W5#|kWL*0 O1OE J=y@ICe)W71&5\iݼ?`Q]<>ͬѲ}CWi_9rvj:Yx9"(\~h{tΦJ~ܣ-SCvtt'+q#0Js8;Bn28ٍ-Y f]pjˊ4 t6+ zG Z? .nwI ijU&OEU.#EQI€AY m,ʽ.q4)X+}O@#CQK&ҏpSLljq2`?c:-0k$ªbL4>; IV^qmyV(НZ_ņX% ZvHL t,諷N;56R`=ʠg*puZ9ԧv:KnV CRӲiW8-2h(/:"km=&7C3j>]U N k]L"glW/K"DdzVvuŤ]0앒m&/7EWuPM16z@<.]#^ UE}*wBQq<)KJHМǜk'^x7\ğ5TrRkH80AW% ȡ|v7*J'l2fWsy.ʩw?a'lH6A.;`$*=v s@@5gqh5=j @X pQ8:iWGѯ2taFbyVY ytʜPv̞8}nLdu(|~UJ+I<_ϕ*[x͜ضJPACID`# GXCK'/d+פ4J,l]OlJc@ۭ_d*QN"!:a4?:9nFӢ ; Hs\4 ]Ly0޵2gYZ v9 3C% |HOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex7zXZִF! ؁8]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\óYUgo&1CR[CӐnP('UЮiosu9UW~و& rIVnQc d &}DV]dDK$U \6WSQ-.%ƒW)z|`DրqCNhMQ~IT5VگR"W-H ]4g1L#cG?6Rtzd9Z&fS:#vɮ3#;M-/\}Z5[%|+6tTmt0Nὠlf!eteT[`z<7=p();1:C'+ 35% lHOL-Data_StructuresHOL-Library.Multisetdocument.tex7zXZִF! ,g-]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~< 37% HOL-Data_StructuresHOL-Number_Theory.Fibdocument.tex7zXZִF! ]A-MՋhvG"uIBm5k4ٟܲœ[Hʓ n<ǥ(ܮEʸ-AȝH1f}xKזtvťq6]ވRsikEP'?9~>;@?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+L7쓼-\Joy*muiW~SCp5'gh6Sk۽ncÜ+^Q7N{FT-J)=ֱsl,VsAGn>鎕r2ۑxph/tD$ԈEO6_+lmy꺼\)͖׃YY]$xiṞz 9/=-i0?˞ՒOS|js38G3m&wDq_?<E%f{PD:?K'-6%w{q[?[ߋfo{e1@&k\MZ(|QcꎪR| hP+>B`'I(%JQDCbI\)2/.&LQI&k! ,_Io )kJQ*Om5Aj01q'PChHtZK!#85 fnei\;ⵌEL~5'c`R^V3mCa,DT,|Q0A P1kzJ.lhśnp",2Ҍ1/w#]ҵ@ a@G#ʌPg&NJ3挨=i&VeMfꤨT;|nkQlQգ⢜7xd3i8Yk( |C'H^Kb}K=2&Y2^8 %Bb`NeMz Mó Jl.Ǡc3$łMYNbʶK<0Ԩ\"@^" EJeU ق;@޷%:])`7/ێķyQERު9'Y0/2T\~HኢՃN}T᥸U "?T YS$Gso8鈸LC(a %A2RjV-Q Ppg.U):;)TZ-_Sm{$בdBA8a]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,@6bPaWo̮@vae^Dh/P$ SωYպċ|`ܓc@|X>_2^i ؏~'VeJǰ!eNfK~B}\ݚ@n ;Y,#*$TȘM'R1׊U[C\I5CP7[ۈf@C[3%^mUΞ-\}1/ƢZ%fP;N3y|IhBn- v¾ԀڊcI$o I k'<]gȍ!+F4<LC3sG΋$TiZ;6VIc\cQsU!n9 ^ޚKHRrCJwS飦K^h*\qk1E)NF"oq}ũ}b/-: {r8,ơ #:,?~2]Cv|*=Ugɣi0:e݌>[ d=PõGMRŗ 8eKBYMϼ`0\ ueJ|X~C IADs3Pµ;a7Cت"|Ʋ_B,+fMgҭ &6cY[Ϗ<$?tL?qu3KŶKjc@V [/hF%CBEOCb T螥ejk;pmCNua47`Ԙ9/`0mVŽRrhB ӟ -2gJFa.fo 1Ce߶$,*Dy3bH,*`fH|-D4V.ő:ܳbA~!E 璑 YWb !_;Kg pBN`}Ay'j]eY7A#F7\|u+* HC.A͂ CQaQj&c%R3rz{NZ@ R^)L۩,Ǟ0FߒQ~>+O='R8hK\!hxRi4Z-ՖMZg̀e+c?ʩa +J+NS7ڤPNf(ǟIFt3ڶ[#ǫ ڳjSkFDiwe|\EfDO<71N.Q2Y2X!6}NfGMř-:̅F]QZM !?EkکE Zr:N xՎoǼ);-32*)rDB'{l0uAӇRAT9.|<m4rl?C:-E+Le As$%]a/VlR%FT!h2+dm9``+=:PޒqaH]/ ٓ̔>VPtQc*d(Dmݶԧakuf?Q) uQ*TFu#2;Vl"4 ZLO#^ܫgDԾCU$]QzQbBټ{}-f&pPb{T< c#~A1VzocfqaAڅV6?.'&N9:C}.|-!ۍ:QЇL, UVI*F[ (x J/Y%7$lIA|㈐IDedxmTko[9ʚ~{K!a+{JoGzkҬ)j{`u8k)@R%/blܫO|B]6Ar}gR6|w+Dxzb)ú\'2ԥ@RVK1YۆܲZ5͝l8 K0r8aocL1n nQ ('Ӯ|~ـ{a^{NW-qKkF["[-JA%W¿-z$885'+"ȶfW= FDӋ@0tsx ԨvwX̨4ftK[X^¥d< ^#gZD*<>aaTF1.Ďһ~f]k<qU\t ?VROU$pX;%L.q0˟8,M1%o* n}KiuѸ"q*"TJ+=xRFo`|KTӜzc^3[xRZ5?K検PR"@S<ր„)8q8Jn:pC T/?W7.< {N8:>Zc)IMWnG6>4<˳uqlrJr<ڲҐO!lzф".)I>li/9lJX|VdGvcOK۞뎁2k_K%At>]rNq}BtJrZγDwbi9"ftB}n}T;F^i4^B!Cp=yg]Ǟ%?$rIH Io9D@N)S!0ZTp@j> 5针>l EЕsZ>,b/Aτc0ĦF- eſf3׍% T?۪6gX(^"2B pf.:q9 LMbiwqt,ؕG3iٳw r+ze=žQ)ڕ)JBGEԛ7*Qjt )iPU{!ܺv3YLkbA%a%)/*@D_]=lApM`O1xDCp'fdr1 bD jUJJ,pzH6qIWew^3촵Z~i˝OZ.p_zc0E^ƍ*YG`KaECk|;ь~vN7N7ҫhx=v`KE%7FQƴkFS\/Onʿ-)} Y™\mtdJ@X^0> } Fz(W\jD+ 7)/,so@\kБ|l3Z聤qGW}^u-U8HD!([Y_ނe0X5̒"Z)fQ!+ ¨gfEE55,/߅$^ KP "嚮Ř`| O-&ϗ߂ 4_ i}fW!ZPyvڎ:m\&_3A\rm"8=gtl5"P!թ \\uZbZC ćW.Pc\g'%a,&Gfu jKrjw|:H/0DFwXth `IVvfE%O C^;o$ҚZkϸwzbݑRi.I㕩+!F).[oeTHP`vl(Ib/;:AP ECnv\$F-L9zTe]4\&_XJT_(H#%0qO!(\q;ƌ*eE Z tZLeSh ;&DS}}":\Jᛉ?Lߏq'Ʊ[.)å>8F!7T=Bc@4voN Bڟ\43e`E\pJۻDfDW{]O5GWJY`^oo s@JL59z5C8'|liEKi81B©3jiʧO6!qWspXrIs5~ܐ]M,-56X/|~Ly;OwYߵHüJ u$jh\HUf;5=pz$93gl%JЌE?VYAC =itA1sO9́́_3SgW589Hݓ =T !Օ%@E6[$DOZbg ?<WU^jW'+R%lZlobSާmDFy[5M9 2C-6dsF| $Һ˶3=߀b aG40.%*J !)AxpFd D?8)iig{[O%U,N]L I@qr JMoНw$Ih?A-Ţ)Z^-U.au+H-+#igΓݨ(jMβfN&Lb@Q|e[+7b'c{ȌZKT*=bG~~W?sޣo9_ᆪƭnT.43pN!w#XA܂?#B 1BRX_:d2AӊI[X?znVPљ=s3;*ͬ&eN:8?V+Nf Q` qEXmkYfsO Oܠ?O7.dh m1bqӟD O3vjL~`i7tSixh[INjpoQDW--A:3dIoП;[ɿ;:6v0 cn M6ɀC!6֗$S>vhL#cbZv/bX5|(uȶ,LT(u7@)'W"2Iת02HQ` ݞ8&BkMowI}l3O5*% * ( }wdͅ@À=5k֖>d6BȿqZj0O*1U2'HUm\$fg;@ J?ܯyܳYSG-ж<++g;+A@ExvgO[Sqb9iLۓ5ij6 .}&iP>NqJdɲ\Cn0*dT7u*Z_oH Щ?Jݔ NN }aJ\f"J iP1.p>y ?}\YN߭6pRڀLaKBz2Q`#cډq7ƭ0":"ȬOMT%LGÈ_fр9Il']e־&Fyi5I;O:(0 R {H*;rW82Eam4ɯ$! {r$E"D-٦Auxvaf>[xuЎ`"~Lzrsc`eYfrXQvCE1`m oDQJGNo]F|DA:ht` wg*>2dM%{Vzj o規;g^0}v#9sD;bYquH.Jh#)JDgSw8 `UֻȇpX' `'Jm/.>v/w50kL|6~1hz j8 Mj'e'efyDwci;0B FkT=S/&9+|m.HOwmV o1Dr\E0>Y6(l'`>['f]ڻBJ|!%1!9CWC5@+AY,Z- !Gfy ۸yp¥HeA8>t-Lq\ifr FYASXcqaoӪQMIrTHC`~3\ѥ6Ok|D-X^v͘W@WsFP[c b뗵3 W}fs[bbRbGo.z0M:tACzSx'm n3r#n G[KYo%ɾ՛!!= Td ax&,4InKI5J[l]؃L'MD0˥ RʁKQ|h.q]SNEK1w[Yׂ Q'N{)N uh5TAmB* |܍N}N)zfpMS "6-VYuLn.YE?&K.w-L|L" 0i/%`<+eXU]S,PRNi)kLǹ1SCm~huLhW,Ӭ`,vr:tNpޕ'·vjX|- &Ƌ&b54pg2;/ )'(}:x*FB=I!Qh3+R)Y>Oq-sM`(B-SO#:;Ev%kIwA0X<"sǻvObO?%{߲:r(\x ')DaY0\Qчm|Tx Tk ShT=p5'2u IB<0Vξ_e1[g797Bo8U{/ 2!45+ϩ83s}D2xؽRu`(1 /З? ^m!\Z)FBg$F@;^pG?7,&i j =ݓ ; + |}_FLr|"} %^ǎ)sܑ*? DY\2 S.LҢ( YɲN&8qaצ^ft#ל2AnC2͂ i$|URA7& U:!Ȱ [a= [=v1v0E003ϑ(٩۶k-CKV'P7P/w5piy ;r''9x"D(g5KRMĹ-g-~n.~1麛>:[@D W9`ET4-ہSxỵ~%S}m??õ3Y9@OHulK~qv9ro`SqhE0snKHRV.wzNf{[cj%H K&!|&C9q 9;!{`rDr$HgqQ,,rUΨ޿Rl¢*2F32Z]wa2Ox'eD [byZ7,7+[6AqXhfx $bmA:42Va3~/Z^5K0]ٞnG=E>lw^[CD-T D? D#IPP3[>EsTQ(ujOU?p$]duzQ0ɀ·Ym3IN Iňt!WY PӜ4r2")I=Dσ%IDW }¨XH'{x $6H 5QM=ֹcʗx yqr\'W~Hjo4Η'Ddd ьT?ae :!6No &7I:1̋BaN:m& LQp8WȐtPBODà %d7az0ɩ!{gt}$h5hvr,m*83i~4{an(s}΋eZ<;a)k,/͞<u ]{:s.. $(0j/ig†הp@\SͿf\?Xi^{VKH)vOEʤ`|^K֮h-kMuBLXf'KmĩB3TخDNI|Տ@7:9#l1^5e uxji6Ł&o5?gOVY|+"9`I5FPƂI%PU{Wz>M4'ԄMi8Y>}ݠq{̸H TeP6E3e5j\*\}Z ZHMLޗ 2fcX+dK@%)hJ4 {Y! }p1Lalq4B*E U]bGpp.;6scÛmy8ٺޙ#^G;a 2 &9oHSC5P%7W\Ϧi Ãu쁞Nd%4uhuW`KTw߂ ^rZêvnۮ.ӰSr]CڠkI:RRN[Xd{rF  M4J4X_^є:/ϭجQzJ)PoI=> \2hIO`^AjsD@jc15}cS8< j5b MTDžT&& Ic Ư9wqDp7< kw6kF@1RA±]rwclL -v#Z0ַj4.xw2v͞%mތ#'!$l$+䔸ӊ4Ϟĉ? z-c2TRs)H"qF?y*WحH FFn@+B&d̜BfrnDIo0/a-m,7;yDZ[| 0fH;ޕsxp&jP;Eڐl߱9^>ϭEb~5Q+v 2yӴ'za1C mWcvy;_7gsj i_^~@Jܾvyyo>xP,[OUz(j TﳦDbZ["߽RƇϺ˃ߖ^i qn;rjNl_x3Y?Z L) Ώb,#0I!$KڳXȒ0,53tUB\_#9}.Up~Bz-Yqnk$ ژQŭ!OV5)j:KngџaZ}))K5g9\Mh{J=-0 Akme.P5*|2=<l;j_{fCP ..*ZgVцKO!Gr 3W<]Јqa,niy *.#+!-\pϕ?[Mx m!۩d]ґkI)2|3Pd{cuѶZ;/5A/12n57{"zpXY3_2mܰYVU}jrbNST-]]/J,03ש8})=Z.gȾL|"T`D+_-GS^Ll`\"P  +p$n!?^eM:@>p5 *K:s, 3&%PFIyK9{˦5ʖUfSVw?xNM2,tJA*7q0 A}9K5zQzuxU& ԔiȞ[q`3՛]@˃2bսX"xf-|ul -1ߏ7 տaq_,::@I#% 1¹kULeBԻ73zy"JRq.5?e,z(Ceyi0p֓*b^q]aٯG$|24z"[B4+.MY‰dTa56MFr}J&q0~8䓩AWCxRVڷ}qn/O}q>rD@ i{$QQI"@U^+*U"z^ F(g A_ "<,ݷ ~8(:; s?]Ss(:5&C1b>HfqܡܑJ ,u.Yqg%Dgg#8QN͕CAŠX@_5 SpBh{a GZyKXqGx EZHZjQC' \n)DTNrZ6#(/?.IH<;Hl|5_'jNu1%Q5&kXYxBTyvX(#yr 4C' 'F!ͯ ^~nVc&R=nT"A6šAJ$}#^1:)IqjECtCЋ:U w sD/۟n}դfbZ8_=:t* H}SLփ~>R-^PV#o9(óa!ya3v@,(s냧L~Idpw$LڑTnp+xb:e2#;tx%[&Qi`}eAAM#3O!7Q`'U}{>A;D +&5 H2$*AnMj4?5׺NJOv:f SC#_f%y\R^T8 d<ݏsB@R-rX~׈#[ov- 㗮DynY$&n~U*sM ]S4>(,Q-mBPSJyfyt /o5 Z$s~J9m%'XHEnJzp ۲`+In)Lh%."g.utZό%g0j^n..9l_J4L(s2| -H &N_K>o儗a= 7mD]J^3j7y0G.axFEGΈ_{oY N;gfsP !D^ ~5jOtl/&c],\m:C}t+5z+o9Ÿ!g:+gɡѽ-0HRλ`jkҩvYYT~5\]PTY蜪"]Q_α}J;5(HՇ&IM&/Tx`9 Z0.ň- gl٢s*4P4w"HW7CFfu,M"jVr`|[@bfu oNq YSڄYOYݒ@MlGEq47#19F >Hp0CY"x_AnӐ lؖ\R_a BLy0#6eVN{o(^{z; %쵲ϥD%Q xc~M(\/g[w>[OFVVU=W hCd{[Bu?3ԣ5 {eW}GQp̺uC 6Q@)2DMᵛUwYp0G2$*ju,T 򆡾}˝uRPI̟/ ܸ3tBsrE @D>j+}ygh6$#g%Ka_^),^J1"MdǺk&C3_bqv' rkb xAW5AR*d#/5\ǫa!\s):p@%j \Oo;H!}}R UJ V#H|Ю!k`򕡲j!l",#?뷲9& ;=FUd}D=~Mqi=Edm0J֑{*% N}$-g7Qh9mjUsEHn 3/ТHj蘤a0 ~5":cC;3Z|miev8yN<ļOg 2u!Y$a 0x5W:}N;OUP"b. % WDz҈DĢbrEMXm:LZ9i6T1o"C* hRJ(=JcE3"Vod&5$ft?(QEdVCslz7*naaHapE+շ甓, M^֪w?i2w2m_2nᨋhQ!QG`L u|?bI|=8lH}4*wF:%]s9?a:4l4qeQx'L2SDc?T#iN)hMhO39?܊a8%WWϡ4`;إG"I힇ak6>SW 8& ?_Knmؔ$ %q3h7="^Nʆ*;pؕ79Æ>+U~1ti}-(l;Zq&xEaCf;Ƌ1 ,SmsXYOڝ(3ْ/>_kt.)x-Qvqo-`G ijxH Hڧ]u7P2XLHM@Xvq{&$qV/2Խa:D`jv{H[yLoDo˞?Up&f)b@pknZ)h/gf1V9 D$u}J'$B?W Y⩭ |"1=BE1eLhW'Ȯ% )IV,¤ppFے7<}=]h'Mpt䀰l%vz~'RώL?_2qd֥k :%CDZH€DuswwZMYqo0c E~ѥv4;Z(]y(]tlyPnNEKc ࡥNf5dښYrCYgĬk$jp=5 *%SB)ٗZ+Cd%?և,BgR&.6x]qsl^`X //+|2;F<*Ҋ5nO]3Cc"YlCz@MHn\'PRi^:pO9 gLy"sG%d$nz~sZ]RBUPEB:so_%PIכAmd1XthKWp0VSW:ln z`r"ze A k}8{Bw5A]$ή,'LNyK)sM JnA6ąiJ^˺M"@ c]]46 ? =^,:W$(spźFIVހ@ȗ$/9~E? _\}mqha(bz]9Gͪ)q&q-;xm)Q *,’䱆 mA=s}^)G3} 5O}h hw%|`!1dɍ(U(MF6: oyW[,^E j^W mAә֛߱07ψ!/D⋹4'V=A|VV56lZO>,E-<#ʹo&zQp [V=IS j#gqzX׸FtK$c9𯿸+E>_ ;fdrF %p'tѷ*W.JXش^GH٧J2oqtܬ⎤MCtm9zeuoTմEW=m6 L(1K_s^477E;M B $uϓ }uDw.ߊ$ 9ѱCľ:$-[K/$qSkmk.d1| 7bt`F ; 7TƋ?7cZ HQ"$[TsY,wT!^ 6ַ _ZCP$i8g-[-)ۓ3]ClaB?1c~D/%4~@A`yZn+>%Ld҈IiuS/ievZ!ފbîuQE!`B8ƈ#-L$ WN~\g8Fk b)#mb08qxN %?( D,1LeATƶ.'?׸pG= [RW2ŗhQTs1胏7,t b`KOSg%UVȾ_`=!Q ^Pi:{b`XWr:J "~*[2+ Ws9a B3*L0&ko0B.o]8yaI1qH*.\wȻzUl:[#H0X\>O(uL ~&_)Ci $ֲ[[+3@6# n%vJ叝;ۼQȈiU՗+;7(͍j/N(Ai)bi3t/DX doXc4#alM\J\;Mw`sX$IZOWX1֔~`ejMITw ;nҧxxiy04c؋Sby{Fؐy \IcRJ j ~v\R)$Ƶ7=D9ܮ"栧dKds= , #gd pS_ D#3F)iw1jS;@ ȣy<3UF빁X~_L]dO IL8bV u &F!ta= k=&GW{"!?@lD_ "j7Cg6voٿa;_3eH c:Fq[쎷tƋ8DYJ3'qtr\ٌ6 U%7D ^ΒT7FaEGQ"yx$v]ӚiM<2e#.;GbTǷe]|v6Ex ɔb~1,LNrnւ2ZwɱfM0vj w4m 7Wg̯QȞA(Q*UQ,EU N,KO\҄ԃ\.纮j9!t |?<%+\'[ũ k($u,$ϰ!MϵgQSj;QZ4`_"I aֿ]VF&;_sjvK2n="͵DLaأ'v XB ()d|ˣ. "9mـc gAMqXrl4dP׶;&2gM=D*ƞԝP/)92N}۶m)#2D 6yQ߾;yphq jQ9/OLm]D:.)ar(i8Oћ֏ l ِ\'r LR[L̏*Ov¨uE&%˳3~,zEs{ռA|Yx^=:=<9=cqʼuS~(z r@ÉbVw9Y<$hEWjZpu_Igz~ԽA<O\0b ].Z~SLZG-Knm{8hQ&

c'JZh0qPe$HۃSQ @sPd-'?x8bJH& "N~@W dTPc)">-fbWpGu`Ʒ<^Q\g|v2}֣S,Rw WfJ<q{͗ :U2P]!gwֱ&g@ -1% Z\wԄ+lJ'<IhhX Ԃ,:"2ՌuÉAtj5P9NGW(hS{ug]D~3ESnp F?n?FJ>ǚw.HykUo\&zF ʶz.:-OuLlzHM:yC6m lq}bF*ɗ}al!snh۴mXBUhqhA#.E7(/Ao#ZVNw_r<ܱ\*éaWH2|/1 o.G8p0"9nZXnܠ&j``4EeSO!1HD)W&ckʼnPnMnƊЧDɦv1+ˎ_F2V !/m*3PY( %1i@u=0)7G?ʋGL,jMf~pYkpʴ/ <纴+a_Adc"0KdP)> K!Fe1\@gRYe+VzjTC}AS Q~nϲ7z$aris?iL#?I#w/Bb%ѡC7:T=mxqpXCIp1PEKxtsYPF9ⵛ)'ΆDh_\b`1},@"- ;}=45W=zS:޷ Z)읺,%/͈NՊC1/08^Jvt(tD[1I S7R K\|_֊Z?dwɸ{)cqMzEւ:aIS@Y. N :t泐pQ$O]}f}gAKj( 0a }+d:ڢԜUgBU;{]9\w)\9 ~09R_;˄W:Oj |i,zښKsڥbRj[?[GvĪ5Ǽy`OwbEޱqSb#rjrD?e|)p[;IȔRn냮[=`IxNg3%x}\YY”3nRg=FIfN2խ)䡄 rhw`( !C: J1k˄8zPr6!I=毾܄gs,v)nKLǶbԿ^&& KWnFR̒#Rޤ|v5v[4=e ^8G ._>^ xIDD <%nm&2crw9-XsPՉq\̄{&R8{VmsEۼʄ&v:Z̼]+ig*ʻ22h+`FNVYq9 ,f_|x`X}hx3F{H70@[ҜI\@T%k G{.0Npw*1B`+OJY-&Teyu]`>^{~щȷ[Q$YӢ8GLut^@d[#\<ݘQc6.,&d1a#}^ήT e aPjxJrc+8Sgs]m,_A̮w7X|i폼XK!!Fc͂f]?sÉx)xKqUB ̶?ƴd=d8ߕq1KxYoe -S6"E-Sv Pwt5C -$%V]XS bDz;F d; |=ɸEA[QG(h㎯ r7}++)WMZz*jݍNԏmz!4_ ߯ kO.E(Z^k<[IHc0cp3柟§{nÏ`zWhK&orHKߝY>_zAB3԰'(%zpP`^)6. ,d U!+0$KnVY VJN#sP.<ҕw?¹\m\=Kޕ#Ax*XKƒK@Gu yOȑ,HR&ڨ27#_Ds_#_^D+R'ag{{ L&dzx갰r?]RH(\c[4OlZe,2J5D-`IYcJ2XEZ>> IGK ޲*Lߣ'G{$yv]Y]R6kLq<]$#^+צN- IowVQ5UۃIƺt4(ml&Caj<.ĺo~?dԍ٠7xB\(\qpuFވ&85jQ7unLury|ys҄5八Uml.lRy;m<4{ahM#;7?ÅpY&ZARsKu*#xyf؊aߡa[Pu9TI,jШOTVN+rt`IJCӦ$d4*WTPo̙EN3G #DNag57ʨbh$ebiŜRhEpdz0^-剉v6^,m 뭍"D(VUPvjmLa[}0mAyDF7uQ_/Kdq0u?R&e,L-Z$ۛ&gWIsm'QH,duxcħGgu~БϼZIKu~50"8p/2zZ k.ڊkJqJr^2xȽN-^dF(v w)H;ku|5SUH0YNC816_ \lL'qH <䦮5MOSvfq+aWBN3T- $tᆏGo„" R*|cogkW|/GV@q>v0c K)}mG^s"l1pypȽ!Mqɽ#TȲx$1Dz\m%i__7^]$*V>Vpt`($͕?8T?`>YVnb b#y5@45ز+Je3ű,6= 3aoxR}@ ̱QVǣrXd5LZ4Em\w~ `}UKCtdxʠc_e$C?ld^CuaػV߬7e-eDx %'D1z-'ڮ8 ::+豙E<ާba&%H+=xG^d@3Mu齶ƈ/:&em4 5d3JXYNwWn[LKݥFvX x} =c#K gEі lW4̜ [=WLAr^)pcQ'`)hu6nH8Q",NqRw)/- D!"d?'틽hyb0VçTxI,E3FviyyG3KqS7忾{}ZZuVPn&3-`讔gWjM Rɚgt2јZRGD;izCv(HM{ MS8a y&01*v ٸb[[T}ݗKў;q%Ya:Ҍ/8^^?xoR.nƨ3𢐡 ^{:ivۂbqꢌN0`@Q[}Nj#* j&n [mc=Ihҳc-(V|BJ03!Glz y'-9{8!o޾JXܸ >mKUJJ~e#!J&'UnxbAa~ '5GbJ誗>eG5Υ3k󰃎ڒ"-\8,^oI Y1̪ؒ +Ɏ̷?ʹ53pt@|^%ƾ,>bGs`&<qAGB7dvN%yR+xO2cQqNɉ3@|pJHmbKj1dwc 9f.λZl]9WW(ØG|ڦQY^gs  9,Wdžk"8[s(ng)fhP'PJjz^~M]ضa;٣ܖfIsxEk&ځ#G :4'lrw 1uAO/I'yC482PZ$ ?+jO:FkaIi+2/[\\q$ZtA;3b{C<}s0Ėle! V|HrSl^ө^7pz] Vj x;dj-q߲3*H`sfÉ/Zb*i&JVz׼ixG-d|^$ANt-Iw5M:t'g'"Ufs176R4:0c-f%6ri`V2Fg+ ld24B[)3](@L.ytrFCSubʭrO͵k9E4,I .*'# QJj5(θx"sc'Q_BT 3DylY#OF]! 9ӑ*)끇0+zb}uDά$5;*9U'w5w>q;#[^yWW1]K?+ Q,uj]K{xy!SNTrVG}čQ߲W8|}"%dsof6pÑr=*ԡ"ZզJ3Q;]m4OHT~3Vw$zP)T;nfIC溪gSl} 1H3 \N2!/6E:2LjM= VlAZYtN3gDve&o'ZrӉ9So e[6f8KRеA D sg *cKE di!Fvc'gPd&;hf~+=Oq1<#a.4>h=voo=9߲4m TW)WKvT1 N8NYB|,k-K)mFDKț0 a p;N:e'Ñt)+)ϞٖYbXk0!:}I *yxe}7BOrEH^Lln.ŀgߡ C &PZԶ)kz%eC93PW9ARԨzb'_"x6/_!ݺ|DS0n]eIڢrg G)&mՕwEߊ, h}=w2w޺2 Quk\jLs5x{ݦFCu,y9bO 7$? J8GpOpUDVncd3W o).`u^"tcvGY?ίotE{>jbǂ|h!OEJxf,6:P{54RC( fh+lh)[)MIz-bġK*pwqYSuݷ 9B9♓n߮q\B^b17X6Qm`Ed6 A h\R*돐ZDN5ڨB@$Nݱ3_nǶ&;"zʜnU8Q,Wak:A\07pX37kj3Xͨ}@e9o>jDIXU.klш۸:wpW *MLSn')Gm Sz-^Y8z.Qe_$#aX#œ })J"^B|)*0`6YA(yZMCs "pIJe_w88i\Jr 8ؠDK/*kmXxdXm^/7S_m\!n=j:9V^I;L4{> =̊zF3q   A YOlOJ٘,"I$Д?V˄&}Р36vxb*q]`%G fs#KVWnMi+"23z(to_D*ΎR(h|)CHO &FL w|>L\Nbr[vocU(QkZrsò^G\cYSg ;֩4YXQuԯLޑ_%$v̍wWV/pP.{w6䘻TxGys4~qג]Ey0e#ij9At~pd^5}zӾ\  C.UBR|ӵ3oF/?ǗG^`8,ŕ XiLYg7bL3 rEbp$X%wLk; e^Jb MJj^K}o7%?9 λݕa+rC*6u*p'+Ԧ-E:cg[yNH7%.c`Mދ|4:Z/Ebp洫h߿~YRg6zeN96#|;QAҕz5wwy0F G ]6Li%H]K*X )+Y!=&JP "L\/Ԩ79/)rtt{} j 6@^w!ȅ] K+R)%(D hIh `h'r"Td5֭6o!:#~ ++q?ና";X}" ɒZݼ\.zn-ʹ]]5;/Ս[Ѻ?b2eg#_}fł)Or9J#\]@8}S>nj #LlrI4l-r06o^Tt|6fuGz32kzDBĞylz9¾sfn&jo҉]`).{dMH е xSgiTt<)0!g9zݔltI, 6zj@cEz.-:'=g Zia<#7OY!d2h ⸨FRi;@6Gqe$D*`T̑LJ7vXm=}v.IWyÌΧ\9|׽ȵJȗS" 7'Ӽ5-eJeR1zG?j`*qm읂Wsx[sCR*qRzS&1VbZO/c)z靏mjޔ_%{gù"nyU[B>ޘIaCfR\[.9ǡQsiWA9l7X;in#9c A^>AL+5YsO f8{dW ayMWgx0Wi=lcBu6v-JK'>*砡'cю%":d-'EP]mRbY)C+*@/(ӝ[)Pֵ}$Q9Oea+OCIA pT+ic9UQ>$_,mpm֕6yJA)ibKĺh/ZCJThApr]riy'%ad/HoBZ$r(8+"1'ܟ9X(E#Q}sa7G̷WAqWyW Px-d44̯hQm %fQVLQ6<\dx>Ъ؆p*i$%Mv [7 6uT7ueR*'j"u9XdjFuw 8I̽Gc #FאoGRzR@}=-8N RRڕQү=u!-%%ұy=ZЊ>H37-,7*0 ?4ȶo^{;Ѳ[) UJ}SA4D!aն KM_wk _5фȍb/ }^嚟g!< 錒k$- cf 6| -@sܸ3cz]%ק\HU6L`o:Y=ιd-$t/ vFPp\# $HƄu&L>>?4|Mm"],F7%&SP@K_$py5*Հ[}a>_05ƔCY2۴Ho&4VeYz)(4EgK- s O !%ICߺ1Y'}{ Zʁ#fPF\ 1)5U@UmɀT2we+`J㦻2sF SN@I\bwAQ7ʺ\%\l^;MB:+ Ӻ=9p\zn+G\ޒwd#^}m8oO xR)8+֓)+7sD;zձS@l50$) 7;6b Jum!UDEz J갉x)R-QR[Lԙ>Qw-G|][s$,D9ֺ!ޝG9X~^GP }k z;a-UN͚ m[َ"v# 3wrI!)+~ӓE?YCß7Sy_4r7eJjepm_ZηpY[lYV4"~,кl;p)V jǽ0LhitkGDJ'員sv4-jq` [W/4oFV:eC%y#on7.߳~3~0710{C^ĠV 5郙in(gv̻ ]QS,4)Yf U-Ӥ=c&_Cӱ e{]d%A8Fy9 ּHMlkL/FuȌq7ʅDb*J-m}ҥwvyDcnpo&%7_2{0  rJ->'Tݷ'RJH}_0P]"1Jj ]ɢmGsgCqm{~ƔmtO)1KHsIsLyszfLn?=n\+zI$aüb 똪h@["(O"~)cJ6?ThϓLkk˼fQ1]c߳i"m1òq^*RH(:"Ϩޯ{|vWy P繍7oLŠw Tt/j#Wl).lGPv%W[o4'?:'>mt?z=W&+F&zE5kDU\DwC%}nib[S/d[̦ ) #\4~}53 c2Bcx.x6z`[;#+JMaR-EIY_)U~~.\qZ\fֽ6q, ~!4<8sW {6[ W<Y> $촜 .JeW2Om{9W; @c8ϑRD"-cS1*4o]5D'l f(H = e!TyN\hi1& ިFS&]m]`y݈JJgKoi횇Ι2v YK-OB;eg>}PuաvdQf4i4EtcK-f_E\kfyN Mja3A !}Rq^0K>nDyx-rngZlTV>Wx[ayԪ0BD 5Z."?z T_Z`B9b[ϰ遙Z1qcb+3NGTG\JmfNd\ -`!n1R5vr~S0mKV!Gߙc I3uɚ4aKs7XX8gqK8djgQKϡFL ;>W yEZTҹP˂+udKxPPTڤ'k=pXYO(nEHbaI,g0^1mF%.K/.* gT6@uyK}ڨ% 0>qVŏPC Gy-wJAiijJ cJszSgJ5 Ku2 ``4F E3(xjↅ [ ~6*Aܬj!CzN>>,Eu<",Q߱a̒@r[º1RِV+k _##!Z+ $EZ#j1 *?!*3}`EP/W'XP0eb=qn}Q6ƸĬĸ`{HO'8h5uAY,4Ÿɘc8N=ajc:Y.itqƳ+!Rh& /q1]S.Ef<T~N(8_=mI8D3nbIrtKn~h9G*< :Q$\^/sr@E$L &N63 F;<\T`c'ؿ} ow\W)i1Cn#7Ct^pb<軬6zB]AAs$]f,u8Ì(?q϶BLm:,tatnm- n$wQj18G0i[en8\q9_//j Fr ր>·EʷZ+'xNw#>,q]ڳ!7z$[> v]ۍm;;wX <U"cpx%]_␂_,7lLV:2yylژ$Bl%/#?:}Nvt l/,L{Z_LTR㊱/p9| px,f+2/XI"h"t%H2$'!3V: Mqɱ_kR5ճY( *_:;{6t KTqu2 9=)7UM!փhP^ѺW83/% [}i^1t Z$3rؔd?P{CJ5eh}+ɇ!PƊX!ኃYkͤ{2^XGYm*+#R_oQkJ5,^a"iWHfl6>mt %nGmЂGFOʡY?~Bnc(bu##2R` *ˬ+KI_ !׺L8WI"BCDtaPW73PutmSy<,B+ޭJC="ac/zL윂.JDv-~{f7wk-AgȂHήl OWbU7L{&>i}?Ӑ`^ FME`wz4ͻ m4![ Xo2#DE7(]\c[\>V ^aq(ǦzUl. Z:H `ntTKzW/[n ^_MjY )JdJo`D rF^\Rá-ywC3PՋvk^B58N:p4.LUQgcȈ?Jz 2!$A`>uR?]!+Q[E.LfW%g]j9P9nfC\gɽrCo _m b-3`8 ޣzfpjzy )$5;ohxыE8A'^mӶgEo:sI%`::zK0×&:W Y`SaذD /t-FOE=KQI>x✉tEu3\y;Xf?q D RAEȦ{e.'JQqFs2k5/ d׮@E t0c+.ָnhO-C,KQA2 E9.]Xj,MSC7,nuzA(HCך48bq7CG@AZfQ>NXCs#,5@` a==Rߌ=k/weTTmgLƏAO%: yղ5,e;߹E CKFߚ`$oEeji/6H4+43i:H8M>\]պ-zB>o# ͒Y Fj~ZAԡB4>(6Oޤ Xt=R#C|iDX b[`Z̞})7VŹ=v1!@5 M(E gEyL7ۂ-y /E |8cC\(SC?unu?A|IHų(5C/!HGɭ>m7V"i6q|"%X]JUC%Ј DO|Ы\;dT_#FI<1#3Hf˛h֩Pg5Q@K<*Kӑh OԝrEN5q1D}e;%mZ„)eum} SXUq7${Y 2!?¥{նeI ƨ*cxwjdN yUm;*fej1T_W|aqXksfWh^5 RHvs*kGZ J&XNx 9}RW}{GQxE`9AtSȁ=#]cRNJ_Qdi7qu'QӐԛ@R.Q_.99YLM/3$q5\CQ{F0ȚXs*'؄,V+^Cmؒ/k03xH8-&9s+}8⫯9*Zn^dOX(};O&Pvp8ax|Hun]R|uCY2McMm֮\sB.8;IW_]cKiQPvb5#R| e.#ů#h+sX\x7JMomEټ"Q# Sȏp"M+Ed<5T-{pa$ HY] Fmu(Ai|rq %X)}2>.z4 U+t(+wxβ7G'%<\v?B/@9DjR4rhN5XA K*9JLhxZ'MF}XǦv h ߻.I':dܬ.%}-c``@]btektjv~o鬇nnmLiT0fUs=`P{ںlɖD Nd O{|J*? }%d < ݎ3g϶FvuRVUI4P'x(h@v(evK(ayίqkAydXE=38.hL& %(nO߯ݝ\쉩̊<ɉV K O y.[憫<u!8NqAdIo#J%@ݫx!8_Ox=`Au؈KaRʣHcϭ"j(H:Ò #?2oڵ@1v\,w%H2*0Tx\X=zv0ZuZ]Xbx+@>K6m6d=Vo&a.d^l[?9CrNiN8jȇ^{(E׉Ijec5YU1E1fr8eYdgoxZ֒?2#͚0S`H)õ4WHU{ LYɢ!eр _lذӼ綃 ċfc0T<3-Q_ 6׆xmȺ騋f+'CS~Nh%36l #k;8b9# I[ZH ۭ= >`xJ[!usH^}n| ׏B̛/ZKLE06, #ce4{-] hA[XÌ6/[ |M mD'!=ޟANO\D&ȐWTfFDt"%/0+&Uݘ\O<4ۥ˙?_@`=N82)?,PR^W9d-7 9yK, N(Ubjh262O)2AHRB8T1Q <8e ~9B7dH=?yYAH7R+6B# (RuouכzV.ogZ]|:"BCœ;BȥZ2; v%C ^R2GB#.eMD>P(INC}}~/з }h/LJ j-P8W U4-pL;{@.7 u] tn.3ԡ謡,SYOq2#6VgA\˰S٥[G(R?2e.J$!>buQ]wDf H"04OD|G"*1` SK;Mӽ9fljM.uN|*ngըNa_Uk?4hB8 Y^'2mxxYUx_ yR}oae-6~-AԨ跟)EplF?42g:!);t#5* %4}J:8:3J"Oi1[0 LVdGεXK!TX֗@Ž™7Ħ(rcnGrpZn;'-hu5 G59 g6=wT&'RTnpIJ%"=TQ/ _b:J7T{0s '-b.@͎=)m2<8 _U GS0p![*WS.ێג88 YIζioiv*xO` o/u!/%E!kJ,_kڻHceB⥊7iyv}B&thq?((&9|\}梁ٸ~/pܒg4L(ZvdMd:kPh櫜6D *Mxs%+Wx} h셪͌P:?=7س#,=]g*Σ!ٺ K Ia:snBd`q.c_t.?jfϱ|,+g 🍺ƈyv lFHd2Xh5Y}1+=g4Kl"8h+ہL vϳSsb"nERs(6%JNt%shl0N`ҶՉ.bhbt%9uKuRem\𖂣+ (*>"K*3'9:K,ay 883/8\c%aAd ݹIZXb`=kT(WfϱQ3vG 7 )Dk?'5xY׸oow?-!~vN9:/@<Dc'ǖ L BgLЦu ERq&;1-4:OdblYF䨂 +ZLmuƫPSJB8pF7Oa. tdhZ'GNgSUK*cF pJTCmp!ҥ 'C(TBd#|Xkw$ÝB" JWF5Jq+[XϯX ?dIa d.({jԊEX9oqA12pz˘eȇ5ڙ3)C+usvM~r־BdgVQ{NQaU] 9Qs7/éM 4ɷY-/ -g[wm?A$͓uTBK{Ƣ^><~J)H$I`+ ރ%Pfe $`ç:8u}Ov6ĔrZkJ\wGUsnoLu)Zɮ!Swq_ "K63ZBg|dbB/԰>3"hL:,NNќMzP NG\)- AT$+ew5jbocng9NU+"<u-3Hj*_AB39Id>sEi:,n[LǖE?r=# gM}"#="- ;d$RH3!6LF qBєpSyt-#n:_xCRg,?lcR?vԼĐ QtBAJ'7<>:#xKpͥFC8q Kd$VJ&++2rn4_L)dLh].vJ[~7M8gV$4:: )p2nx{e`uD| ٓ,c^V4^H8ڄ39`vSp6PHEvvl{n"x"JQUޢau͌@EZ#Xht;=ngi/q|#+G`hFCn" e:\-/qB75Έ~*--{Άr]r?Y5eP EkW\pmua@Av a 8qcmʴN#9!Ǹ>DPFcF]gkKڀ!o.G$҆N0Ej2s|,Uyc9?Cxj,2ؑŝgXgE<.0 Q{.qf5ڤz9;uJCFWljs)Le12BC>"9n W5_eB\>vN$U{wW$G6Lz{]gWFCk Ci3yC*(31U\pg26Xb4~ln0RZ|hv2J #hx5"fv^!ų 1RkIpX첀Alp+;瀟z&a&ʉ#1 B:+K,R*F>n,>*C,83ymc4Sx_NYiٻ_>iwef\` и<03ѩ0BŔc7+Ĥ 4H[F,DJ%A)^?̑Xc oey}LjkPkw#4.|mS r T`Eun=πE-LZ었!h^+WTT-u1E"By:㙞++l;4 q">L5HT猵MB)H i 0a"~Hf||HLKЕ<,>+G/xn$70O@`Yީ$EM,Xo<yzVTQ'c*k=Bb8_l %_ظaÏ`SHCՁ܉bgOi6؉3V_GӀf/Sq8ȎNzSS`S.NfXN ,y/~э<&z qb>:4Eʠ6xoZB@IRo &ػ5I +aM)E5 _ !-dpj=ΒJ/MEְ KRkk4yuY˝yz DYh_VHh3' oSUzpM T^+މd( 9I@z%vf_5CJc$Iw]*w&2awM}lg_̽4&E#o~ t>|^"Nᅲ(5_/b&~8[jw<^Q$lU$pwCfߠT{&?p{P @נݓQi(2=l( )4|˺W\nGQp UϸB7]%I+8҅AbT㩡IozNt,,EӮOvO9%ਲ਼aCfJ Пč0Jx֋X7֬_a R7:{Irޛ$'f{#s?{ ng{;<$4 g*=mmQpĔև{=Սt+FA5hDZVMi[R@5/ј}m ц(Mv"st1j6߁TIWw5֎kHssR8chq\+AZkY tR^8 a |6șTuft ΜHr/‚E!r?b- s6W: kȢESir^4@"Xa>Q.}OR!ɪ0yٛWzjF!N|d bNX+0>!sBLE|LTxfF̟Ï]bua-s$SwRAiq1s,#bc]1=Dm-@\P{΃#wt? YZNl&m,ݺMO>˸M̘OXz)ZFt +S{4HT]E_t?\,Wd^Ȅ jd{/dFVg)UTWPkй6h'cz0jMS֘8-^x,:%›K@]N/GT#nC=`>~C\Gc?=G?ɇr;/!.UgԀxT9r /?=qR̶;`ˡ󺟉}eMfZCLNW^e9 fpxvXyE]`Q>o69>WGfs }i5=C m ڌ|uԣI1OFWv`fG,,_c?@ZYGLI($̳ % .ٓ:,]x3apѼ_28:i4b~^4'KDlGE0j^"5d1ǣ:Jr@KouH'Lp*Y.٦15%Ua}c~Z@G'֫xa*c 2W{8 #uCW, 3Qwi96M+ JS(?0zhюP5 Wq8sixeK4vsHPo3ggъCHLj;l^'giTX5~'i1B< p֌+_ڪIUgɱ4¡=E[6nxNh:Q'b?5hy&Kgǚi]Um0O1΂eI,_y86RRlx7MOqCRwb蓫+cviEj?5!/{z9EtT"M)[.F fO~qcn1VУՔE6N2 V!9XP yrG3y[yԾz*v-stAĭ̏.h̹+m9f 5(ޜL,2bx%a0PBf3&IP! D*Fo 9;f r. aMF&z}Y$L7U /":/Ъ搂g} ߪټ?3(Ǵ]} nNde0Wf~`tVx29CaD~z!ΔlzZqE&nmcs1^$ B6-'fw~3l͍(/UwsDpֹ/BOPnUe ukK\`۠OĬɨlkpV +zb:Czߕ?XkEaqqakcҧ5!D_3 Bvb4!jDG U*9傺6WBp;ȭ?f /2YvqdZ?I* ƨogqF\~'O<_a;BiKw~eL^H|RJKF}Ŧ^VƲ^e·78]|B%Ϸ<.,>.ӠanT 4p#)98C\5_\+z9ľN4&Qw]Y֭!^ |SQjIYHI3;=/ON)f̃+򊊓+ؘ0U.t a)CʽBOַ](nJ3jy[ř.ʻ>=)_~q-wPFNF1{_rB ɕ&OOZTW\$g6ʏD\NKE28H-ZB ]eV to?#$ z\ɸZZc;o\K -,/bPc#td~x{eK/z8)NcfV6hEF a꿦YW;*$0Dv$@\6O*ykAӶU9~<{@]!10NR Si$8'G0LhAxPsiܸ=9@ť#wlpa7s6@u`el=nD5tCM9N׬n^) Jmg;e/I9z$S)ydĽ`pJVCï]1~xcA޽Z_{V52z}8r4ec@rSiqȥTee;M!(ǜA 31ԯ 6t;/L<*Džԡi>΅Zeee^I]~SNOS F$owd N=6&4NgYZETSlMU?`1`Yys9YB-ݟAlsHv"&5>[,Ozw""d( cyN K[V^*eڇ=!>,À~#QiMΞWCB~֍tdH8NZn^oʼqvRa6'&? ] =y42S( D̄Iz1AhiR] &_cW 6S풘n"Yfb1l l! )RREQ„%.Wj5< Uøk&4ŴYdxL璋|qfv`1xNHjФ? z]Wm.g+dz#;rGJw+4SM9/u#&}[^Jj Pvor($}> @ETJ'59>֯*>Z0TƘ2 ̋vFju!Ph"$Lk@q#9ŀӋEڗ%V[n{BgeRs=/2c5`jK-P$ v8# )L u"" ,*kdBOK0Cڨ :`?< Vkcw/OX(wM4bh.d:{-V} V.B=~^P?Df#w Oev1?'+q3*5/j&d tjk&InKfIP{yZN_0d!'9 ً7fdo12(D'.'sxq5A9m44 v#}8rxheȜhW@kzyCO,<ݘ0wY@5w{CWY8CrJS$&eN Q3R&qNI%]Ajϥc20R N$f-Hnf1Ʌ:|!]\3`4۟NiU9Axj>gE1Vu.9qB&2#b3dyp팦c$'(C abİ=nYeS JC!jnWݒ}|Ċ |w5=jv//(1sʒg[AH(z?~%_eAh f |rr4 'pKM&1cd&lAN66JY=M6$=>`mstTkdK5xP(NKNUIK@R <U $G՚>nxkP^вG$e:wXQ[OU0ldJq9zlcXDnʼn:+N۸7sGB-Kq)[I똛ۅq(Gj7jcKZ_G*>ucd:5 !.HHr︧uҨUc%k1xY%*Yw5-|NBgрH4ِ(2o`45op[^#8/o %_&WKR[|Bx5&֊ ;`v&*u$&K xflȴ4xdD7ڂjJY}0^XAhG8juȠX$V̒+96_B>eC7 UEX. yF"i6XchQgꏮgEpwDc?E#M^2K.;Xf}>m.h' g]) E6-f3n~ o'*\oO޲7R5e/ :VWLӥ(|Nn0.^{Qr%Hp#=PO\L "9?,uR~'ZߗrJJ[=Dsc)n׃E9!~g n_>5ɯrKӢr' L >zpT ut~Lʲ8ҙwѾQnXcnɬ/oEjuIӑYXNlCqk@WvGɼI'2`&(Fr [+*&d^#_,*N+{aee8GgiRo7KPs>vꗫsڻDRzna'G3t \l-75Zt>;<׷i 3}L!a6;;G!$'`C<uG+=u+J `ǻZ_w3BH!?SaPug2srݣsf :ٖ -SVp8̠Tc/+;? ૪M,@Y^@%wM5`FI{2 oD9p>,j9&&cfKUd_>j8J5* Ȼ2/l1=-h)pi -Id|% Yi I>(1@kW03;ni bv=!K*}jKfAۂBJоN|ajh 8W%v9,e|pSu0.A1ŗgx4jB3ꯜ\B7*z+lH+uD?~8ŷ7C)$\g,H L{wrSxV1Ds~u}#F;Ü2 ]ܝ)]rCԣN_R+=Qw1g` b i-|4Efɓ v5 Խ@i,|<%ZÚsl)h3l +W kd.9^=kmθEdq95]iԃd{k)󳞸vlm!z}^ȲW #r5oq-9uv 0&ka|fNjSQs9OB;yw<*,q#Ii,hҽ(.§|ק0)[t3CnNkp^4פә%_$tZֱgYZj&+EsKaVV՟ۦH5g7~cE#P<@Kn eY lӈୖAnbS.r%fx8|yٖ˜E. >6/ef)d̾;+u<|Lg?ݻiXJscL؛Q_4 L:V'^V8': 1fB\`k/l]$ J%Vcn!icŠ3y&p4g]tGͦ]%,}2cB|X!~4ZCNV;MaTI{5ϡ/QЀw%o [Z4!Nm#B&|=uS U3Wn2z_ q-$?A)JOY ;y?5r?EK qE?[qjʚ3}" U}pRNDSg\J 2'|@v- 7Qu4`g\{mќfӠgΗ}S ZxZHX:w 7FC.;|NN+DK#ʪ,$s}]t[X)ÙNܗu?Iy-ި>VҐ9nq%*}~oA)I`׼:k򲤏 3yo1|RhjGrAJth 35-dHֱYW|UP*+܊M:KNIVnDLnEnZ. yJ%AP7gו6%rn7Ims渦Ӊ~gϚکicID`>V3k;OJ#C{fد 6b$L0YtMUY){wqϐql6IW`v rCMuS-Q6`aXWG#^Hc4X|BJ(0̺֬ 1GKY}2Uos*:[\'ǭ՚(,u3@6uSɷ[ˤC*%ɘQ>*0ײ'ݏ @ !ߵ8բǮwVSD LE."d K 0n|BU?My]\H/Dpox=%2+\l NpLo90+Ttw}YඃP|uQ0Y.;dA`G/zr܅ l iaH:TMGl1:Vr]!$Gc#rOcDY ֓9{ \՘tdNLh  "V meضtUkPWuj*׮}W@ϋꆐpӲtXv jx BDxƏbB ׳vͺI8UA23q6e8ʦ5j_Z^3k˗']FSAu 3ctCO~ZtW+2XBX8tAm ^l=H vY^4QUXV XځhE@CL3YB=nX֒>-R n,7o+Yd4}O*3S 5@[@vOaKWMlEA~N =~`P )ϛ?w邤 ^Y[Kߋ"}`t)q<:tx1ZKqۖx=Ⱥ1zT ጣ:N\]a;3[q+'4(Pl bʔDwOI0ݎ& ka|C 7GL1.}Gl8j/UzQ+q9o DGǚ#-;8tc"SЬọ^ۤdg1}|с2q<ު ^T}/Tżp _y(jub7q;J@e dEVW'D]}Ԑ\/H) !^L:a^'}VT#q7[0vp ؠy`<4+~Vf )ȧx.+9~%|VK3%sYmH^fAWz-dE͓E)w݅X<B|d帳0}o i)"T#ҥ,RY\7vׇ[ q6c[j]K3 v3I;=I_,!㱖?5Z eS 4#>n*!C{!+CH{q x j,ڗSE UYNpt 2W鹣>buSS椈l [>S"nTqN.7B}e8[_f۬EV `Y|rλb74l 9hhse* 0£kma!!?l6~ boR' foזL7[/?U"4厢-Fa b(NՇqXdmԍ05.(aeTc7ܜP Y~ ɱgPNۇjo3s!}'T-kx;,[\؝}Ւ0F$_uݨ̼nrAY9zZ[ڽ0z[Sr)IV+N 2_I7x`'I<S=>'3®ANt/} Uζ('c4S<]rà$:_6Tbylx4.,ʗ5Fw6ǿ';& ܵҎ%Dǫ^ײC .a(2_#Jܩj(IO=؞^\ rz e$o~Q5v::i8p5OA_ k֍ɪsި_g|NhlnbUmq{CSTLC춳Qt?d P<҂jѬHM/9WSل?2F KoNŚD0XMW(M!DDP%E r>\їMAH6hC' G_ jx# RIeC>%,#53_֦aMu]ۢOΣ )jdf=_xħ=(jDZ1Z^[+ac MZ"&9֪0\ 1m ᳍ C$]k/V;~N]&*J*gYZ 8 (8;3O% tHOL-Data_StructuresHOL-Data_Structures.Set2_Join_RBTdocument.tex7zXZִF! ࣍2]A-MՋhvG"uIBm5#=)1 Ytϲr:e]Pojɡ;rMY=ukC`>v3ed{z=Xk!Xk4j-ohQ. -P֒_6z\mYP`CE1‡ϕ+w{Gz_d2M*2ylhHdDN*}REWYh0~U$"8iŋ"~UNS\mHdaI>tN1}ku~] ֨((䳷6@F)NPö֬!&VTB@3X<Ύvb)G)Z̓ͼiuã 3$%V-v+4"P"jy&9z0'xp!~} pX[hY9CJh̊=i?X& jpq2_#\¿яӈZ]{6*]:)N!Ԕ RFGa9MQhvS>d4L3pM=೜]Qɇ=.=ڍZ"Ѕg.qs.'| @6͐`զbsP_$oZ,{0xΗS 򞾄;}[_) toV3[@0 j4p*692RH%\3U>_.}/rc { %OuGkndeT( z5hv!(;saNM'4эc;KجKy(ɸ S(y >q+R/ܞ̗ʎT#})[,:kSE.F=-#g ȍ_1U\j_ąqw pӥB],"fZp\E{@<ܳ*vcZ'v3 >'uPc|$"tDVoNjiNKo4:-},fia︃mzHf =6z_B y4t1?j6u(BJKCHoG 03M9YWT L }V" EdQkgZvyԼG' Š A7VA0;:Ӹ(2)JQ 7Ld|c97ڔ@GIfκ8ǯ YV -TF8Wd83x7(ǙwOլv\3wT|t9V._uLJq?Xy H=9;f~+Y=~#>J8˵B#j 6К̳PR%8递n䨷JбLJA*Jd٠)#!ep]iܽ::]N8,*ki#̿~~1 IPhrac{9pPChϥrBϬ ˈ8E*#ątRW 4,qQ{hei̋;8N Vs֧U73?PE?^ {|آL"o ?yaIǝ6^r9@1TϨյH[\'\3A(-fFcRcTiwBl(qlYC.dLsY_WJ'n; vUZXͰVcr9^ y5MQOn>e3E%0'E$a|bKSUi;mɘ/oWV${ȋ}}R@kA"`*쓅0J@H<0t3m'y*RUqPnF/6 E =Ϝ~Fy06 ,TЛf)~(pݠ X}G@ynu\?mS9*ij?!WNjx/jY ;L}Dr!<n x3f1`pM Juj]4srW` rrZ 'Bl$ w~% ?d%*`&u*_l6KxYv#D:iT# &H[!PQaSESqhvQT;R`yB̃zH}O0ۦ*u<]y՘c,SԺܙvGHE҂+)n{eX|v6$ HJG@.0xf {k @`V_tmu޻+ *lf_=5*řrV7<>9]CV]v&aJ0 R=bJ% P6dopv{4}]sk+F&~J]'ή}N5]dݜ.t';N<|Mrh_wJ ^˱wMPOcc"6x4;:–|2`[BS/z@ޙ0{_6X)SB&\]\DuM6= a,  >7aBo:X1"([~)!c(#٘ˠe WI wYiL~+=^_K1&Lk;@l4QveX7ch%L9SKTf' Č:h&urzi%q)D2L"IdHg]Mc?" Ym.piG *,tA4l˵?10dNT~QT}p+Q"+[%OEm]u\{,,Uc3 xQ$5m1J.vŘǹSC4UZ5" %vo#OB:N2'}2\Tb\sݥNyM\lҾhߐ  3]N+cr!kxvN OݡFs*ByxUC2ԉsZg3$Z:iV0 [a3ՓjL=I#wV]쬊'^<t O3-%=hyWD%K<:T:y=ms&źQShYYןdeyf5qRTU*> d0W9lZ[qt#`f>8rd}wm&Uܜ$|xhfSd==ATƃKJZ;sO7BM$}ϱS@u8VQLϷfjgFgL3²o<07 7zuaNb6쾀SXԡCIς+# )z8E7䐪oOLN0Ȃ=*z:SX|6FZn iw]`?Ԥ/Py0Ҋ60c+{a읁]/XFP)cBl*k! AM;N)⛪bK\H8 ݏُq|I|0j|QA~MSjڜB'+l;<[we+]; =|#5fL5XXGۇ@v&iW|''ku %VF nYR6(^D\"1gYZ,܎Fg;V_]ۈ|ly '`Ns-r-gsO4'(WFS\fQ #YH6W}MuUj+e9}m؝7*(زk ĽyБ̓NU$r")ǐJ׬i u{@<: tT@u0h pD6ǥ|J:r89CmL#cerD˸wE) B¯ͥ_.2qeK-K"ѓs.gS<\[ ʄ"p D#TDN=O) $F 7A<`ܠIhWH%:d@ qb7?ҷ+K %Hd"e2=pn-'My<@ZNo+ }ktRwwbT8T+B:mCw-ԣÞ7|3+ քGC:65)Pq fg%n-K`ZZ{6xBy5̧cYaTHũ=+̱&$Lkip宅_N {5F1:f7@Q西_\G¤XfHāIHskK}]Oqу!̾3uQCvQe YE׆Ch SDj˥m } wVh( o @](adAL6 )Kv}#W ds:L109&&x|zy+;V5qo8l}W@i0>fgKm/&_"?u-i }撸$gM2OAa+oʬ]y(&$'%*$, =ǔ Ma@Dc{!W@j祺0LupIew2!rP ښ3pDn̉.AVO˃GI/e$yU } Ȋ i\ڨm5?+;>cԩ5íCޢBj3!y$qqHgZD~]|w-`m`G$`0GUBk:PIf{ʩ)jD%ǹ B1DF2lvb |>WKtBDQ!z،) WTjU[f#$u8xAQeҘ0 =eyYVC7!{%PR s#I HLK߫uk,v*|#ώϊoǓ[w IE1 ?pd E߮i3@f4ָ;82 ;1ΣD Qɡ&ìO;I<9w ]D״y?vt@̮1i'y<@71,_K|6H'ۊ}NԐ}S,dot5 O/Oht;kx1b{Ňm!Yi!28e\J1% }p.m #eY]W'7V4^4sqܗ1;tHMPe,X+ j{s 4yjk)j? HfK ZJBH|r\c! !$¡ǜNBWBlVtvV֍f@-hYZ׷1iQ؅5; .3 E4RU.)_zn#,&TnX\r]26XPhV8\ѻ1F ZZKwNN/a pf%rMDc{UJ_nCHa4B1'յ)+XTxg/Rl5$Bms5%xhvfSrO-@rN&=X/bkQ\17t$4`eo)OQD|&sN^7bĠN3@8u -H=  R"9] pxeNh,FHsɤ23[=4N8ʤ G3gݬFv!H)fCbP_0<àRf̙x<i@EX¯4OZ nH_ɢN=XiiFXc"P7,/i0JJ#cV]wocqua}Pt~n{2$E>D85])ܬkΠFX;AjKٶdz`{F '|ꎡJ їXQ#g-k! +МW5lp$+f}u;%łY@|㮡cz5<9C!֢e  "}Q*'~'HٜCui֥k\b(CzvXW@ LIr^ ߏQe3~ڡX0qD<,i+prܜBƾ4Y8(Y]p=`Ƹ[3i%+7eE )JHOV>z} 6fKA6א{vj f4o&4jVJmF(_z Iyd]䯰VD(+ R&gYZ +L+3M% ,HOL-Data_StructuresHOL-Data_Structures.Leftist_Heapdocument.tex7zXZִF! p]A-MՋhvG"uIBm5!tUCg`-)!dr~S Xҩ?OʠŎϣe00ndn['^R 2 ՗-N"qK(j}k;2[F6_U%[.a3"@BunBp-<<ڪG0hz"hKKy-Hٌgs-2gy aVS`G͛Tjlԕ9THU߇:&ILz6攝yFc<n Z_~]]=)N&&# b" S>*>A<&@w{<|axI} d Im -c|p^Or*Pxl[&Z C-H.<-9PZSE );ȋ+!?coH7E?FJVU\ލ-gmƎm=}mUl(ERmose̠U(Ɂg ]芁SCadm4Cɹ.>2> Í!VN653pxx C(pQ-13K% dHOL-Data_StructuresHOL-Data_Structures.Tree234_Mapdocument.tex7zXZִF! " +]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=Ltmz1iU}D` 29Y O$g* rf1_z ^U\boҘ| 7J]P_m-81v)f:ў$QV¦9:r0wf}Ȕ[bnz^luk1V[mZڀ͹. 3H[FN8q0| wC{_{,Eq@hi&8f#bm#s ӯqQ_™i|Ene]3)e@̺-Ƿue1cl~d"EqOhvagAC4923STM{WĨ5k|r8UA>/wu]z LJȭUtBQ7YĞYpZ]wi)0Tfy\DYW1n=}aǽq߫tL?eZdzFa᷵b/͎Z_pI v|Pv@7`pCh^ek]<%^<7J+{&v#P>Ćם ͈~2e_ļVla`evgo =paOI/7c6ŔoB0# Zny3& v%96JU9XnϺQRw ٕgn~+FpZb|84$G}HDW_fF΃3?RN18k쵒eKx+c ϻ+"MLK`(_j_*Ğ%}4'`lr큂 ?h󚍹Va2 & Zf*9=^*a`Q K2)5MKZ%GAśo PZ8>ĹJk-і*/P*q 63Tj3~Eສr.ZԈFtl.~9+ Ypy۶zװ;ֿZBZ#$\a/>4\\eBB%|wrHCk)i$g1/yUg*ErLiǷYv ]2SA`X: SуEy0ɂQbЅiM{v{2܎I _֢9cў 9;tmĂ|'dlFgs9S\Ĉr #sR~bu'pWnUx^ӻ7:#Z/6A=͏´Mw6tK^L囕[e$D@7^#,-  L6u 3*}w(#f9w=T)ca|8VPCO+0댌qx'ڝ@2d ?WK+)U3ravyx%_|of/U:[h~r;M*/&gYZ0P@cO}2Mޥy6x22rū |݉]`rc_ Vj@_ͯQWH+z5i!ꖨ+0j|ҵ`ߚnKSS!^pK:ezCmsţxJJk1gp{C|ּX?Oࢂdy@kuV>VkO%Įq,OãnP[]3L_!og_DžR̽'.!^0[i[N~{*(0yd3؁!.KCe7+%1>k%ๅZ㖐m\s%=yqTT񴛄)LktZ/>6rt?"b$4T5ۛ]L„H)L"Ӣ{4IƛHMQ*ϥDp>i_AK8D)Y4*q;EI P1WBʸzh?Ǘ4 Yk){r(Gi}Vd=&lwS *BND"La&jW-ut׎ͶRrE.wJI7I +q.@o tMA4 #&3iɗ8_N@.3پ-M=kysANߡ{ZvazPrF Z`ַ29y1 7"ƍOO]͛'Ip)|䏱=i(z +whJiB{R3X~^4AqNje=?T[{Prhp먩Y=jzn."IhTY,wI$<>&z-gUbLSʛ[0xCm[`L~E:S}"V$x1[iJ\S qPQdv5kd|Wjg0PR9p_y; #'alM@Wm=a^pC稉]fd:wa6|,X晚{bUT8mR<ۃKΘ`Q )h}IR<~C]WP6qwH~v` F.p`Z cqzPkQ<L E푠& aKP0~}S~@@⠑@$^XP4…;cPbt;狰,kqv V9TAE\ %Af)"}f CJB*;gq 6=믎u[0txʔPpPg"q?OꩂzI`aU8q`&"|M#GV2WVBH1rB<5 "Ki9b>$-Չ2ckK"'݌\'lIìjSrq*i>d?kR|0/٘_ _9}5_m+)ݥ۠ _Ǒc2 SGtC$_~.ŀ.r^D @AcW"u!a$a_YȩeM/G%Gz  ?x{&,@ҫCxHؔ1!F E ?,o剮 ߾"|Xɼ,rc[Ƌ)^] ɻ5.qܩ!Eui:M ١6vHK?ѳ0K"+1Ԅn*fڱ>f]b"i *~kM.:_=:-|x%b,.[['%i +_/) U/omp+?@ȹ gX,>HR9N;u\%3<6ߨ0wTNleN -mdxn*iןaad*8"coF`.~d߫>5L/12y{ @ /БGlG.J&K}pEXUTڐ)WR}V=2yg }T^0y;yÕZXcI{+;هMo:˜lHj]!f/C dZΌ2|3F ˂5.{4wd",lWQ'Í tƭTuEpO>R(m\G_ICG7Op,3b TJLk5Zyʇi2B O";w&Ozwu*C -g8UZ,FẑF4g(ЪWƫ;л=|\P88LVp6c>cp8I<٫rJ=չ]簢¾|c2T᪽Q%,ӁҢG wd3C:jfq 6>-bpN }j% gYZRFxL Pү"2polN7nIDQijg4e$I6W@̆κ S@ogD\*{e-Iݝ~PD>lFQ<8 f"¸CSkuĨdh"3Ov7\9:Hv0\&D g *gE-6Ovx1: CnF9s āk;AT`C 2?3'3φerJ 4;W=e;AёU,m %+ F\XW)@[ m[|ofHEJ}6aK0=⹘aKU<"PH<7 X\!a5KNC$ MՉ7lt'R\FSG{DUa%10ޫKZK$ zﶣw /Ŀ kYǙҦ W68 ;Wz ~ti06__ GwqH)Q0F3՝)Gnz‰}єtdMf$KufzpU\84fܣMBn+:^?u}~ +LtL56!0 j )ƟuOKE {-*, 2uv7pX~)E[o-U;F搒d/zk*nȴo5M[^kP3#XqofT+lSna7p.fA6 e[VFT"^GEq9TQ}Y}]"TR !8Ng)OKsEEmǡUQ~t6 iީ|jLzC~ n=B0]ҙ0,Lߜ%N˩ƴ+5ŏ jIv&)=npUAZRpViҒ6} _~+=k#4iQ`ikkLNށ{n3&^1ezX8(g}1Fe Bi KRl_O3U]=TkW$E-f@mۧsFf"oEZ6nG(U1Ajf& wY6GJN891 r~>wx`3Cqo foV&<2VɞG?ASgLGx2 r+3~=}nR|k' nES 1fbB_G Kدf`vKLt}0{!Ȩp=ЄfWqZ7t[KA奇=/I`?y3tlʹ'$ p*/d?_rhl+밲NonE>_G2rAs3TkV ڍ &`e:~0;$Oϋs&9Ќޗz:ӊO`-K{)j8c޹jr<6ZP=r;I:YY/Q-k0^n3LeR/XI>`o]# ްᛶ5"Jv: ^w&9Y`rj w<3Kg-Ѽ=g\3}#;UEꨱΉ\_mzj7]غ 9q_%DGŵpUR _ 5Վ HU)Ӊ\xj[PݜZס (nTC&J͕ctUsKETsfrkr3u7Dm ?ykh<_ѿȷѮ; lH 8*VӓO0JO)8xM*jAZPCQZG}<5 / B  E nmq7^ܧJyo--~)줗vj&Pwޡ'I\0+W$ӻ)  m}4loSwg a8KNBB@W[){/2jx#2b \g[;x`M c vq38]=F(zoʺRJ.(RM7;l)}s?l8[W'dmQY%pWdv~_{>Dln4|#h'2k>|ƇYBl_* ebr3mIO{9IӪUI=Ũՠ]`=7UCAct5)5@ҹyB >Lӹ_*={ѪQ.0k܉>`=8ȫ5QT_p}Dz6 ȇ- a,H̓|$Ѣ0[H!䃩:gS74%89BY{>OφK`^P-Ȋ^tQ~hˡN%@ogQظѴM,IuyCnM{v%"_eaw@ѪQ+Z,[WϙK?wx1ff ;BoK,.)<<9"Buj&\T6h %a7 5hZD ?qejYh| źeމ+s+Yz9Z='d9gÚdcKҚf:NA\㼵նe6OZ]0heG`c;WTM+{aqIʄ{sLv \!Ӻty@D60$MΓ7@8Zc2'OH@iLv~HIg| 3_A# ֈ]{8?Lٙ겐e>1$aªLE 6[om_(P$*UAg Ld?/UC8{`iD3?U_mAT셋ݴңY!!S{gRmAehTQϣF}CNǗV~+.', /(TMj:Pf^2nbolO65Edn3r)#H+pgb>*5J]Zc;'P0&ԋ= JPC(6P*͡|VK)djuU˃ '5LXF$ 4yyD S?j3Z\7>ιxeݏŏijò/jUJQAAܫnAdžP/K:u#X>_V>A~*V1X 0ȏExKeBM#sG"=VL:mL$1@b?$┃x 좕aGĮ]%t } H`}$]5$te@ue :RL$6hH U"p}<8pKDIc .`VӵJ@7 1c ȃ_=-zjNv5ss ym"%0K@ض9̲5,$ ̨&"gYZ ?3O% |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+X$`؊ȼ&MWyMzzoధQ9%pEl;5 >hk՜̅Z[7q? LNp×媘S"{K4*gbbC՝܂dc&T\uN.󖁴 e|Pۗ^fd·hݒz}aJ t#ڤ)!DԾ婃ܳM1:^5]OQ*5B~, !~ -LձJ- {N/#m|޽&]|x֐43w1k֟C>].n/EtV :"`eZ؇AL}22ړKΞ~7nEZq3x`bOJzНgCHZ#%1VD qsLJFp+9P7Zp~)5y/#Ov7{3'قQ|ȨjE>ȁJ=T_[ҵ'60xyt;vJ%.jyv~M{i %Eꤷ~}nruq[oqd(ՈA 령7@~2'Bx7)3uWәu߆pqdu787NtS2:s$4(Z0n*c-qd=7zq&7e/'i{-lkPjw1q06%&UL t}[]~u ($ cT#^wa#K[VOSEi y&v]4auD>T՜-E/z 2ѻ|qX͆6df~Jm`u#slRzN 9.HgYZ 3A% $HOL-Data_StructuresHOL-Data_Structures.AA_Mapdocument.tex7zXZִF! ੍ ]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. #U=|M1Umv kqi Q*5ٺՏצ#C2 kRB69n-D}#ɮ$ ]}f{gF Ղdtc^j3]Cm%"*, zd RU_ sh?-^IRl  -Ő+c1J;jtgY\#qi=@3h~tBVlI„H#[6b8m n̺~*2J6 f[<.8e7j67Iٜ\B}Gt/^4Nwg| EWS'U/Uh2uFއP-W:(R\̀xm)pbZ؄s.-SxH"Kc6M.;Цԛ7GPLi^!Ih6U:j#,Vzo?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\+äqxH!mÕ?(Zg#P.o|핮CDɢ̢9 zÖhJX{y njm6ԡpq(ՆLLzW*٪OAƻiGhnYW_iZpFDEL1)d2-Tkosg=";5DpI8N-"R-2nקԁ/^t$#ОPʋR%A" ͍)/mp}A44x'`HS- `6zΡMb6蠛}o4q8|c?wuGE[2&W5V>F4شjUCر=D@Y/uq^)1*h8WZne*IiFEd.C}Udt3@U^&:PNw2jb ` QawGҕQpmy}6QdOS~I)ǘb̭ KL; -Dw1*;H/'[R/&}iI S$4 OFT9 >IDWmʇ ;R8%@@bHZJm,&trT_m9$,`:Z^I5x*50@͍)&řh/Ԕٛ&s2NX \~tc4@ĕ^ Z~XiT{Gm- K-K{8fLS!"r~c:C\J*JIV1PVܴ6Kz!脥ҚQOWG!wv*-( Fz%OS;7nlQ4\H !(Fw0Ce *׊M_P)uK( tK l;!n̍I yuhfk̹E-Ł" d9&w7540BbX5*87 |jctc7CHGwcjmզm N*4.;WZAɖ뚘M&A w1(%K42Oꏊj; )#M䃞9o-iٷhLꀈ ShJgYZ 3I% HOL-Data_StructuresHOL-Data_Structures.Tree23_Mapdocument.tex7zXZִF! h[ ]A-MՋhvG"uIBm5r${v+!y;ʃh%yJt,( id֍u t*c)iFlܹn=$C]3VlhC|ʶ;Q;~:%ml HJm+[j;fuN敆VxMӤ@gAa_ );+CFL|*ZHCZ@`( fu3K5r l/3z@2"1D-Dl\B UE)Y/ESx گ&3ycH{aY?[⌧xjAq|M/@dzle5*bT_4o?cLr^ijaɩU14O N&Ǟ;Lp)jE/Yfq5zy:+?U;%@+NmAdPs?MQѶ3DXRZH Oh[`q3+:',ԆZ< J9d3Hǀ2L%a0~兦M4A" "AKkRޑZ锫"[}8el}d0Yf+JXıZWLa?l=p|SXd`fbDoGFxs3IZq#^QO2uR""7RmX~70dʁe~GJsa ^A!x?~zP E?ؼXbKx#z(k]ދV,= vww&Qsa5 G:oЅ4<l9$4Wٱ@K {3j DUؽG)DdB^3y;:V}MhgίcL\̺gO}j=*UbR;^HWNܥ `1$kw}Rc@}e|@ltb={:G앾m X>$Rvzd/{qx[70Wzo.`nгf۬F3Fr4p?Oa `Hj?l#$O Vخruñ|_  妸ާͷĚX1TZM$[Ͼe>W6-4VgW3 Z$vM<^68TUtI:k$DXS-2?ښ@b9U_@" ĵ YCqLWB{zMb` dq%w ?t1V!̴#1b,^m-DV F6y9)&}"%,~l(!@pI7̀|˕+7P:Ղ sD$ }v 7)\R!az[]!pZ5;J|9x gqCL-;\\mG735o]- +:BxdޠC#Ñ?+kΐ-Sn}&Du"Vwt%&s-Ѵm>hz;t7'8񴷶?q!M;Ȏ)Κ@M|V; k VRUėWACg|5,}ްq4&E3$WHZPjU<*ɍ5@ϋ0 ^+Fo5諔) l֞ E{eKZk!9gYZI3C% HOL-Data_StructuresHOL-Library.Pattern_Aliasesdocument.tex7zXZִF! jE]A-MՋhvG"uIBm5D$%MiKcfl90=UG3UӛP)W_f8xؘ3v"߫n+s}G1Lt`Hf:: )t^q{3x䨨oZO$`_]EZĖE_ͦ+\/en*1\{EV 0z,cѢ߲IlYk` AJ<3FtC=P6)1hF㙠 HXkqbJ}A8g!A <ĭ#BؾX#L(¸j}x:~b(b~\+Td HMBQ(#ߺd0  3M% HOL-Data_StructuresHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! h ]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$ 譿dxD\daOM6Щ'Xp2 {hCq[].jwM5 DxJ<\zfЭ޼fP) "Ax 8gf\E*=9k9)ǿT3ÙJ1d$d W`FܿBnfTCbAp+-ʥ%;R7\2G j}NTHtǮu3(IN뱕nleFz [%t^Sѱ}PPE+  a*=VA"  ǖ jֈzLOڮǷ=p[j-uH7';]"RAϡ>{p6·hdi }ΰHg<ʬ o>И?"> ٣4hx;X&DniRC[lL ڳXi?&PPV@&H o[9 #^w0"q~= 1KY5TƀY&?;lܶnM0/FBK o ?Xr؍DI_%Por>ªn("`J"Eoܳ$rt([(?Ux)w v8qԟ)&@)Ԟ*7hdEDEiq:OgXc7'!XI^N څ蜸9 \J |Zu{>V3_z ֢9 ܶs*Rxܝ6]4:C3\ D+6瑴YN[{n+1G`IB750䔥'ez^6TUKV/$:lSY:XMZ @p8.3)|%Q<UeYv9@_Y8 vsPot/#g_{~t2'>,/˷Dxf+%o `p햆vdTii2jLEO~o#yEHҏ9!Y&C #\};S1h RUy07+B!d_""'+`qݢUbz[CP2'R(D Pwd)إ}.}X?GAv[Ln"]]A;۰~V.եlA%AɜCeYW*^f*$X}5͔er(wŠm?^O >dJwԃ;TUH &W?*RCtvfN+WߛGH觽3_ۣZϣJ)'nP[ w\ EY"G=|a:ET]N 4T I"Rl̚mi}Y `cLrdemVW):M=:0B`z\7}L9>h>_.GdC&-cU)#0Qw|.Y Fy bm vXRX&VQ+z='cza [e%c~aIi7r5{BLPheHК3:r vh#JTKOUQv(ğ8_hS)Cp]0j㮐). Y7!GībkPHuT7pY?1)à=J IKKjR8BeFK nqz2Lmu%e#HhQ<;dE*EgYZ **S3O% $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{܊ㄢ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]FBE aj$ ,m*I5ѭE;۰\\TJ8phbaU+RϘ3eL~KEiE~e Mni!¼.\Lŷ|ĄuyCa8]xY)!di7Z/ۗVrUD9HVK—8im&B%a`iWm!iٟ]~ gg-z\wO 2|E9V}KɹJ OC-sg{34kXw 댟6Oγvs3|%7K-i]ıg8඘ r-Jb*2 䁽֘bzK}ՁC5ql,ʏ<`˫~пgq ͸ ޘ4=Q&j4sY= ǯy~>E< +yn!7Cqq~Dԛ;w {2‡D4;knK/oc?eW;]QBaw ΞF0i]KQNZ\ݡP4vUѲkqSg%lrD, }0' n s{rLނId{o_ۚ$|#Y1Mve^\yc=ҔLz<ٱ'ju ۤXJWk&LIز0dZ9$]K-E[#'} zֈ! XYU?i'KdVV 9eEEQƄ~ϒT'C;0p'0R)߸_W]ٓFSBKTG|nۋzZ7#`ٰ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ޑFngcK@/z@Q0Fo0B[! v} DADfw9Sm!;bK9a$K)`8"kp%3WƟniw!ԊqE0_D_rfPaéF C@Eݮx; $r:+,_6 /ā}%$f6)ؖʎi9z!%< 0K)BRW"kOc38!C0}(Va?pg( FkP H3ƵRr/ [[hڈSV>%9T $>-;L ( D.c*Ph`t" 3ӛPS@Th4IG-ƒ㭞)Lj{xZ*}!lsId^Ob39Zf|%q e|0u.tᢚQȦܣXڟgYZ 37% HOL-Data_StructuresHOL-Library.Tree_Realdocument.tex7zXZִF! cP ]A-MՋhvG"uIBm5r${v2_ET;ù4*~9aL8C~>b3 %Ce;HA@v-Ejp  !xj*XИ$7SZbF@,^F.YO?+QDӖ_׹ؚt2HտMgy:hJaA},(Y5cRY -{K=*qvt52"N]ME&X^~,#J f/] qVO_rDF%C0tʄriJ)aZМMw^!QC#3#vikf%cw {"2fa;x5zdbػZo{𱇙 H?ޭ~0JZ" [ɤ%9̈ds-<"j#ˍ 8\/oٴ{qjt &t(wT:-L_41qij򏆶ԐS@3CS$ SM'ёGs4CK\4xQG㭂[Ó-fRMk9@ͣlqElXtnDd3Moߧf?hCg B+𬦼Vsecvz]t0ǫB-3\*;*?+8B^ vG.$ɮHZgnUI.ig5^wb~MǬm'!? \O7E"6!,=Ҵsaڍ6WW\>.Hb죉jw5,eY_! ?hH!PSU Ji<%v\4/Y۫T0u]lxŗW}n]BĀ|_mwimxH|lkb!׉ |Q|hid5piŤ&_aANu^o}ލv^^L-0.igeUW% 'ثʦ)%;V \U%h'V?iX:$|66דqrK>[4=8馝?e\8]uᏜU5GtC頣PVIoyF;IR7GsP E R#J8 kpY/ا`r*W6ݲ@< }mBhׯzn©@\NH%EEA2ƒ=DG&Dr#:0Ͷ) 4=N\H ׺fi2>Z<.21Z[>CVyWX;K0,.yaԽƃ,$_gtE`w@UgĚg SE0v#WcxDzPwSZik[0lߌNr4Q}cȁj`Tp|P=dn1];ߢ{J) cIǾgmFQ$-G!$[xwd4I虙DvUסqP~8i\J',zR}i:sV?$qD*=*sQx]19xZ|#LM>{"W_MR\7c%I]*cCT&*8,ߨm?AjgTm$EoKX3,ԉ\tXTXvaUJǞ=w]..}HvS<;2f3*rh)w9`~$An TUY瀘z~ .򫱝[\jΫV‘:cC?rĴ^6rImeziBdaeRI,ևUQm1)qnWF݋A%7KC; 򕫕p2(-6X˯ϛ/y(3G5Ty$$"K{.{5rJ~¨; n^9n~u)c>];D˱2-ChT/]i.ɏ@/ $R7 1KWqל[ٕDA:%rŅ0 EOpJ|=8h_ּ /ipfc![00 2Ş|t?%hzSnd}ej~iFC'a yRJhMɂ|JRr9D"rCCTw$%X1OV+U471]sycK|#?{Vg S_6 ʪEk,L$YsU t_RmRiL ":mZ;zi9k* ՛Pz)%{`PbqDfNܩis{>a~c:3 2xі9;`K ?-}C&o\ d{BvVB\!>X:m&2wvٙM̑HH⹣Qe[f`j!7:WEya}m2ϔASrPyFb{*Mn"@+pt:Xzve ZgYZ33G% lHOL-Data_StructuresHOL-Data_Structures.Map_Specsdocument.tex7zXZִF! ,]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@ۭZOC63Έhvӈ{ByzhXM |NV~@r6 ۥ 3wNzif ͺ=?p/RL6 }O>smoOk)n d7WÄ0\udS߾(?{(&\];RMN:2lpoǻꚏǬ(j'D݊BGQ\{SKU1sZ")#3VK TYU\@_-Jr‡$&T"&EɏgHƚju5+k2W CǴ3?oYAjM74#7Uuv:tUhm8;ǂZ.XP9$tɄm8<Kv:!AJnt@oPe{IXЃi}&[a}X|'C k1j@a{apzq(M 䟅SLv4# F^V-m >-Bp쬴gjMJvFO\z3ؖȐ !?ܾ@u%Ї!fAYw>nb6ZY՘T##=EuU@V˷N5d ˜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̞NgYZY3C% *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_2xCN7BX-TQ]XJ\+;*("J*yyE -ǯQ @h7wOZ^»9ƥ-VSli%O\yҽ(2g}Rh(*J)ce k  "`lB %ThD94k>va%r((i," xwLzTIwAZj{Tf_?ίXDB|El<- ~΁?V29$rdAkqɟ?!+;w5%H9VརDٻy9`C6Y.71$vOR|sf%_lgzruvO^!o!o-4,IrӁE}=u D+r y!ZP Cr, JL}!L!^FB&z+ :LVK`Qy^Uu=q.♖^x뷙V,)t[ 40=evvJLܡPVN Z)ͮJrQAr(A.O雙:ض-#-R-X`N8u]@PJ_;b/sy4?g衅j\;/כ]-켴c:cpW ji#uǁ<'0 5'Sd7O`NްA1w\,ˆ-.o:2tl %rd0~xS@c0jq6bҺfyhC2qE o1dA(\f.9 Jah#mKɎ&"kkO-K$;vw4=<Ͼ2p0Fa"CfyW(7h(/àN3I0PN^D智0 #dEgK;$K;XTJ Am`8-Eco͡$[[S"N}$<#kܸ9um4f0Y+PW_J+bn"Tzbj"bѻO:ΈZFH;EYA>6<k. {ІgYZ C C]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^5e5hiUdA5 ʣ#asɆfԧ ێ3Pým!pѳ/x;^S][ ;@v5GSF 3 [X 6D7+W绹706%J_P[ $@>-&Jz36g6ةz\iG494N%]\Mw;kc-Enhi^h%gM֣:%mxRtx1]l4^0,ڷdoE\qS zU8 ["A˱gYZZ3E% _RʗoW8Q},xn[qA9|A={y9b"~Ku9+J#Z.>Rw@86$IqT´cqNeI,5"b{"okUA?bߜ VdAN #ɺT(8PD.FfiM4U{Ƹ_lmPIT:o&5*s%|z0 +$S8ksf K[s6? hٛG e㵈!ӟVaMVNKdJ2Х1f` PCxgYZ  iU"3C% 4HOL-Data_StructuresHOL-Data_Structures.AVL_Mapdocument.tex7zXZִF! "Q]A-MՋhvG"uIBm5sVeUDrR8aj92Mᐢ+ꮹ>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)<=@7@E!nЛ́AR wZ0')eh9W:J+?I DABžvj&:䌶3Z_('lh[s~Pَ)mLb U^$n]E)zMxѴOTx]HyC/:hb_UwߺX>~mN1J]$[FgQc-o]<Mfx$2xO*;ҕ{D^_SG2~%nu7wSY 5mrR,ȊhQlfLҳ2wzI[]*iWU0Kr[l4]Ka9wPNdRXLՕ?7,Zjh_=M5zĢ5+ + Z¦)OZ!^outs εf)N*B`'< a"`{nJ!c$o#KFB )=8ȰJU!%*ױ† -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 κ! }OhG`BNZ_:Sֽ|>"vśW*ܭ#޿"8c+zt=(/ ܗqh_?iDêTpy6aK8_G,\ʷ'DNPI漹/u~-HF; W}y S^pm"Tߤ/Dy%:Mi*r stS`]꺁|syypGtA+9JzHyas&Z~4處76'1~?]W# )_9m,&0 Y;.;e2]Eϧu Ȭ;q| ?*7z*Y t@+ #'iBah%>Q{mu{,r9V!!/dHTz@PCBa{1D`%E׉߼JN/i'7FbJn,$(:H>z+vQ[t`%T_*1DjgiX6ϯO C]Y_tLw=s[.gSJAkR ņ|{/v"M(R/lpJE"tRMpixM1bZGqØp2X?4#ޫgYZ Z :YZ|%3A% HOL-Data_StructuresHOL-Data_Structures.Tree23document.tex7zXZִF! J|]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ã)R0&#,cFOS"hsGJ&dPo nvY~+<9c<<;y Z]%6{E7O93WZGg0]y!^xhD:͏bH $64FC U_wmsXO+Kc@/v7&QdecgF, &kOiTп'Y5c1I,=4uHއ yڽgTlYxr5$>,\V+ #XCo4ϕXvʔƖ;Č_֧>YM8˕," 8Uy3K W5jRWk,ivܳ!`C[b z8"N7WݫU>ᴍy: :+gYZ^$3E% DHOL-Data_StructuresHOL-Data_Structures.Base_FDSdocument.tex7zXZִF! Y]A-MՋhvG"uIBm5Aalɋ1^̻[\t<; c>>~2i8 t~ڄNf#A kp bQnFeZF]08Stk勩~"9LknbfAfÒ=s2cһb1H9by'{x [L)ߦn=_SM.UA\Dcʶ2JS5E0s5cY^i֥]w0uD'D= ֝vawD fU<20v>nbu65IO!31k`ЖJU1cQ[Y^ %G[/1`(L=e-ߪ8n`LQtd@]K3mүX񄳆a,ݗZM#s)~Ph]ө:'j?8p!m<))L9$<ÁkȈ*83LWWb3WHW p `]Ԓ:{OE:x"T@ٷ߼z6Nq0SkO+VA]!r9k1Eh ^홛|~i cVJ-Z }XCnwқh*Q隱w8b%.]sMJC1c' ԩ} a~X涯<0ŸJ q BC5A;3rZBdPaW14&",AyG7׾c`g+i?=%en}E072s{񍑢WHof{!qԙͪV:+xfnX]%sR8Utc"6Bd^Sw:R҂r*m%A5#gtaA @][[oY䣝]Tdk<Ԩ?đ&[!/j=h8 vh #*fCRu.P -ھvx"nG\,W K%r^a`O$fsr|劧h-50gz;85>֫i`/<`FxvFH * lN?bwMlOBn[ĺzUdw’mP`E{&W't2.sm ^hx^-nX#kh.cig2\}A%x{:ۊ$X%('"r';33d18WBY@5=㝬)(ɲP#N (\|J7 d<ŕ@x\K,W'i$pg&<f V-f<)^_q\%R$ÛrQjn2]1De,]$BZf`@HWBJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZ%'3C% THOL-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Ξ s腝@lpmH%fz]ׂqi:Q)bpC #ƿ"ЈD.?|}0fD;OV0)<GqRiqǕ+k uVHfыޢeC&^~H[%D|Ie ;. CIVpZ&-=~'·28[ SgAFJD07E &2'bWy0Yu͎BT(z&5>ă Ow_\ӷNxjz>S ׾':ן\Qxkk+(|Y/ [Nf @w3"`q*R;FT';⃵-;hFD, AgYZ7&3?% |HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex7zXZִF! >8]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<.EO߈|+\vHŠ\jxg&z82wA1:Nn/VA,`k(N2[(04t,՝HUd=vUBĿrsVw:JΚ^1NI4VgNS4Y9wܡ(aWĖQR xV{lv|HsE~8d A0vPr& lDyMuƧǜ$eesi䀙;b &jtvLi6c=:]05`dՉ5Nn#V7pnA3Wڰ#2^,69&l^.gYZ=f 1̠sJQoڣ6ⰼ5Q&& 4ᥑpW]VPbx8L]rɹ`Kfe [^B) _OƊ/PHQ:0t՟럲v0wGRx߃C>X2㜆uKNcs- DN6;zZ}򹉱1S|k9+`>q( svk*$d=tW QL 0rC5;pTjl~`-b4Lވs^m GnGRJ'xUG:#DvUI,rrSHʚY?O*'EdHK~Iz̉4Rmrui1\@(dٹ[ȧQ3!FݨtF"tKêv]/zw >D=N=ʹ CByi;ϗAR s/괜`zZ< <gJ gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻b G+U&o㱐:99*ݣM¥ 1XXIw4Ljki]W*ap:X0+AַRK$ Kpyj">kjQ`"9]q+ XH@)3)Iz>e 1 Yq1p+bQ2-w+JR$Mq4pپ*(mQXIzZ!H>Sg R/[8aYSAts oWƼH`=$# hL2-Z2kJ_2QnuM;Gsb-$1sR#Ό0 NSt@Y*e<ܡ!ؔyWxX% ]+_Pxڠ959Ŋ#w;uyy Ђ iK:@[RA}r^Â% v6 (4K0VWх4Y&%Ձ#kԪ`\ylC+F3ZOBa+$RVH jE% ztQ&e{"-۲MAĴVeVz>1R+FˆbFei@V>ȽZHB,ԡ GK6[),j'8=7|@gYZ7zXZִF! j%Y]ŗXi%;kև-;Zld~,>pCĕ<Q i|f/$[0A.f.y#jiw܁qF$FFa qb^¥@M᧠|$I3&E-S!FOѫ>]k:< IF1 NO9@ i2PWFPyD[11YHu4dw*tX`h CiK +1˜-CWj{<H Lf ᜀGk䢧o\U^!P9/AW&Y=BFL37qxS%:!}9ݺΣF^F_ѣ ҁ R ]VkTW`N|wXhⶒi2v?ii,\TI$2MPxN?lS}#-f:,WFjXa,`#WGU[٬Au r}.SK vAQmЮs@Jg9 /}|wdp-,6 R% Jī:OX]{*w '׾2|l*5t!$|բZCaéIu*'vOixrK`$eOmZ^jNBm/wZf`{7x;X"YTPuJ3d3?c7ge Oq3+/:=K И"Ӭ MqVH1D^u'X3 ;Ά?レ^61됦˚].l+m\Jnyr|Ey'uZIN]K,[]M΃&_"znd2oxLfn f]DHU8ڬ<2EĄd'ؚX[p&Ω*Z39Z14XDa.;- (#N1ʫD <4)iya3w>;@%f'UN%P0TwDi D- xt椹V=Sv G<'/nVlOK`;Lа{qArO.<*R`kGO~qf&i}J[k6ͅw]Q{F LVY.S]9֨ߞ= u|'WnW@Agdd~9(l +!skw}pbk!̜9/FRWP> '3K;8Ra+f-XDsFs6-,+C.\p1B|PacDF::W+l2"Q[kO/&Gs/'uKb6muCy_Hhx1 #<ۻWPhs ?Y}4Z^tXB,S䨡 O:o ӪG\~$ɣ'+RȯR"\$+̳dc?p25p{n5<̗aX>oMi5S0'Jq4AK.rytIխ` `d8"u3O. @"Xj-uAZZOJ6V.'ɑ_OYZӅޟtI.?u@N4eS &8+՗%<9DpB1WlxQeU^}ҙ_ 0ʭtb;z(^yB\ڵm/+wDʈ7{JC+߷2)пXUp',7bp$j#ց.&Pt\ש3Rk7*m[_ tݎ%(O3R#Ǔ/*$`Cvč0 M-,}`[kϧ <͏YP DZq^0`pLJXJSͳTYӪp]ٞPZi"8Qw@Y-:EgpU*GwD~' Ud('-&SMC}A^_'\z2%;Y:XidrO0^!K/re_NG ? qzvXqRѫE~Y>kug.-jJSl=%jϷ{s?#>ʀ'V0e:2_"?{'~ vr?UDd2z>o>z]` =ˬPp< |wFM =ߙxtpf\H@X,5[-)r97#g[jg GG|,*̳~~܇wY`.~KDg?aq> ?7iV=~/ݏR wjjAV^HE<0}Pɍ.3C]\/;s~6{n4[vCKV# 5r7dڣ#R bZ cۨ/oKW!cT(UGO]t,A /}300so[N.dG[ErAq$MdKޯE%Lf3bn_|!,5SR].>=F{ά`RW иc;oiL.U0!RPIHϨ: eKl#788.vFd^_L6몴iSAwz aJ=*N 3N%:p7ĵ8ٮ*F[%mJT z8c2|Խu4LM$GYY0h# x:sd7)<塥\brb[F5x*]/gjӹfii﯏iՍv4TD'oތp$e.VHVtdd8,h97pC+[D@ 𛹅BI$zyje/f6u?Ⱥ'Ih6t~) 6"`l̶rƋV39t뮻xy/UJ 7֢: sA@&.VpH,"!/j(E4-*XJޫk}443{ۑI8n?pIul}HДcȬ $ 9 ƜUk@'sʎMlw$܌ce<3$D: i4S2Qco hvyp7Wp0dPIO\nBT)f e[J4$[C7̢tQ/W* h?`yJL#Plao5=Q9QYՙƂ)1v_rҪ ?\kҝ?22dNO3">9ڷ (2ц0z7V9*8KpXOvf]:x}/isMݍzrF>M% L3k1GeO .X!@{%yp3d/cu=s˪ axddHo;yLH{2_͗u J3荤b녩ڈxQu8&+hm Ax @G#Y_2iN^.XQH\P)~APy")':ƭͳt]ba$kI"00yp SoJKZ6>lRׁ>^&>m;uWf6Ejpтj u-9clBHۤrYKRq18j-,9Dt1)Domס21H :#.L~~c0XX}[AWJ:QӔ Q;]n6)ޥe$ۯr1WYe[/y;ʮ~PgTl%Oˎ|PVR.9Sm3Q.>&hgFdE`'z䵶k>Æy;3#i&C?Fk R@W`[> Ő+S;qXw\n؂ېľ;2B!'wzƠ`zXi5f5K)Ik N6(%]r#ΐǘ2wtUXփ'ڔ*U9)ݎ]gHxДna8%{G F9hLufeoim?eY:0Qc:{EyzuT_Nǩ} ב͌HХӇ@+?k?U r&Eµ}zlrC9xqXJ۞+j]I8Dޠx\!~TپNu5PcOY:[ffpP m"Gꦮ24GҪ/'^S;/Qd1"d.-q7,gѪva(@9Ʊ*7u JB|'52[ak薧>U0:QUf .CL!_TO @;^JĒ=+li֓gcL Ȑc . (;w-ZӮ9Mn#֟u2{3+ǫA,]A;^0,t=$5Ӭԃ>sLEsio9s\F6.oL=.@g8Ƅ-鳦(TԮ#&MG}eKN4 ߫NHN7^1htkVY!jх? C#4(nA4bDYՊgッ]䵊4Pk&egj{6wͯȔS Z |3ۿ$oF~[BgѨ| S,OWLmS:6`쿞(H>]~l1> ;Ēzbtq~ܿ sV h6d6ajSFQJ}i"*ׯ`틻\8?eJ|{5s߳IsxR}]"!!^ ~Mllvldq%b\%rTp߹$aP*/T/^/4TdE8ƕe:ŁY)"(AY Cu(@%cH?vuT¯tAok_w^5В }r{\xT0WU$%| 芕Z(&nn<ZäZ,GQSf4-Ю30p>uw[WEQWkd+He}l=k w-Mt$8>P~` -yjܒ䅎hv4.ɂr7T&>PcXEQEDkGޜ@Ck?9Eba!T9a(mk$)_4 1Ld짹{Hm-MT0쏻Z#gwQiӂ;FHˮзְd y:J#=xUgZx{UW] 4oǼ {c$Ux:~&T?%y)Ƞ rK=F+TtG[v3Zj 6WK̆^꧉;XZ ^wǘUYISt'X, H"*R8W ש7VP'6 ;eB2\ZxL vMGΔi@_Щ: 8?.LfltXwNyP|>ػRW'&u 74ZywEYN62ABFHaLGO!ӻ R"B;Zy] R2OB=Nl_?2F^3zWC w.)?;s5=Wd|KaZJA0clQ+TYqLR, ˞>0{8CD?y-|!ӍZӖ *WPMA1'۹ 4?R豖?=<$ag%.&F1.ϕ8$iPt{^ԢX)#i*'j$=rn ] Xn ( P?v+kPJ|߇yZFg_RFpRqOqx1gS9;YV&waT{ )s)|`l7i|{:3=o9>']Zk=LKnCOLe{lrZL<{+>љzBXcuCND]ERau"*͂T]-myՁ:qöʮIknTܞӵd~PR}XWG#>ŤY _@Z;zy^2tmF)E b})J>_<(Ur9僚{k|Îo9zO0,NgM J$2'B9n"ȱzoH>::&'LgpK#78&s&ޠ!XX8JPʂoJ *iZ7ˑ= ByW_-!4&Vu,2BS-j*o9޺ɽ W- mnLOjףXj#?a*Ȳڜ:r+8.nW%\CJꪟ}ar# ERDrs3ΖgNj κtK(h +ua4P* #hʖ<Ǧ[HmzCޔ{Ӭ {XѓEy&e 2m%jiqx%"6;$a%_"uZx򽗏2^8 EWŁ/FsI $~P$ ^dPՐ_t״p¹=Eܡ$9n4s6C3sNZ_҇_/LlW71t{Fh mIK1OU63Zaߓ9wQxڽBk~ԬXVWC#yF9= iFyVK6(UZ9xH KQcCU;Z 1*?( &8UOo'o14$ 2TC8ǖD*CʊC]{M2pr/SDKwu wI[ٌ}q ueyGFgm D!B3ќ(aqtV*ۦ u;o$ ZB )DeA] r?hÁ*P[`^$0 !z ~=^ iX*h'eWңףn-V+H{cM%MOzyoxpF 'lz7hT> 򑗝v+}X7鰦AϻzJꬩ:.\-hѨEb+tذ$lűJ~xJkӺ Kf")Lg(U..&6:,P:#$A@h! &Yiۜ6EEpz05,+^;TJ<aKt$bNYޒf| ¦s.R@.pʔTpd$"r&tj[-oyZo(X,nB&XYɘeNՂ_$]?k~Q`4k3;kn+"iˑH>$'̐ߖ>=㕨g"Snf^L~G۴fZ^_7$Mâ;ϘSig*i6"]eX.v]Hk>1F@k m rB 6x&"{ GHd/Ͼ޿Upx*:D>2*i@a}'ޛv|Mr@f% 3p 2EDMw/lt"Ӽ .Bd}NVCzӑ=8 亪!"5 adTQZq_jdt@P觬7s0X&0cWz݊C!Hz TeN5-fE+'p ܎:OcQ{Fk`qj4 ǾvKHʀ"j!&PrVEoy;#\JVw <̎P,e4T}M.Ӈ cc  4a(Ebvڨ[hg*tJ^dx"VDb)r}!ic'ɆvAkoTG.xRGՈ HXG~ HiPZ6c0t *l^`=RN`#'}+ #y,h#WYQAbۮ? ix=UaJ`RVGٽazj: ݉ɍAdj*BfP@){gɇ=ýE UO{c)~VpysFXGn]mӗj@X"9<5d c'jp馡yM1,lUH:Jy.iq%+hXf-TZt `ȯUW$*Rb98VfhX Qnᩳ!+os[Cf3<&c);u ar`2f?՝sS64=1Sӥ 6Zk2ȕ7a.)fC`~əQ86m |Zn1.C) -.60c~p!'*8A[??uOd&7i O8|0 c3bR7w D0 I?,cA|  ԂW/1oMu؅,`?ᒃ^*Tٗi)sO?]UGJ;=w,-0)\eܵ!0\D]!"&=],#T"p?MГ` !br"F li%B|dĜ7KdX 9rJ=M(ں4-Z3A k'{}fZGjgYjɑ֌Y;^XO\,xX$֐,TI n8GR5^ucκAS3,I=ola,#A>8հd@w#_-Ox4Q΢\˸{=6ވ<Ix=bgE'ў?8dQ5 77!N^l{#; u'Vdeé\Wsmс.^'a$U'ַQNGwcڦb3|X{bQ 䭵A F@m]~8_ vLG̕P{D&2zz16< X婓Wf(# Tķ?3H, ?Mv8;\WOᛑ| Sr\jDʒ` b3 U @ IA2PF\l,fN?HoG o}{fi_]s hfh!d@䜏gl'MXٞ+2xkWЬRytoS^DPql[ݩ4HWŶ }T)M̉Q |:*ERIhiW^xNy݆;܅P)QnݣKv7"Nhg94?: ȉŝқ1,[dU}\l')~y10@@&,ҔMJ'2~1oVP6Sc :j}y@a-$.A-2k:<~OT&_fM='| p~VF.Z⪊qd8HICW ?"}AFk7H9g_Ҥwy*Pw KA,Gz±Z X{i܀vK,iSY(suo i!'}[Vה31.&<׶XٛjY;6(}\q2lҰ  }S]F9ei pO0Kh6\wwlxåt zd GŒ a:`N*Uz} 4o˜@Bq. TXL#Mi#?/RA+~߶j2wP eA/(:F7DE8F!aTB"^ME[ R+Ga#TQ³8syWnF{?vטX1 u_BiznF0>YY~f!`X"d&lj4 4 L060ed(diƌeά/˒~NƢL.O67 5r1Y4NCM@7jKXЄ]I1ۂ'FTcFvLGCYwaY&.4>Z-8eQy6MpBoUJ 0x/\9 ^J˶M nưdxϿSھ*DR]rZ7}l]+u56KhkhslLU;ZM<uoA}?ffBg`񈻑'U= Z]3Iܗ!eh}42?Y0u167{⇥(ˆq8 ?{QHx:iSh,r]eFh;aflrh+5$g87gUz|D`7y]dE/NePw9s2nZwY=B=Ԋ8ր#$OOD$OE?eݺ(]^O9b4I#ǦDclA+Tgr(=)FMffӊ3r`B`XV Wc^bT$9IZj1a 0hJ0g "dA?q5ZsZCk}`nE"y@w@nq;ch!7<@‚'$Y;H`fYM' cɫ}}ְ{s\.VF&H)6ނ]//&OƟY6!Y){q ~ՠA^f_esȴ2EMj=upl@f7͎! =u5s/va 8u+lr1`(Q^n F8aYN!+ES%dYS݌>uV- jCJ?:'36^fX`.04uD˕L|̹za,Z]d{6T/m:yd>1D:oOH.Bk`iǓ=u¦0>=zIZ$Bt">[bSל_hl7o؈aa_Du+ Ek)o%1{T-K dIY^x,cL0 Og`,q /LCōaԠA x\霣G__;h&mW4nҦO\-ώmV9 |pK1J 'x?*To I4 Qb %;qHCJn242 >=*'bMN;`:avs,M`c ,yA+G E](:''SEG KEF:d)jS|PQخ `yw@V,!p]Ksg_3*{ B\܁UX\nsrji?)Xf+i J_lY?>ľNˁ.K5a/+7 !T 3 ~d@屪ܑL= 2DRO'N-xH>/&(tYG 2P^e#^oG>r|WHNRރÃ\.9Z$]Gt]6f '@A\z$83 g㆓XwQ٧,^YĹb%_ZH:p3&, 2[+ۨkz`D}:E0s2Lg_7> D~m@6JRmun.Lei Cr;QƞK ⟒!*_S"E}_:|&l^\O@J@3'24ww&۠kC#A_N1T~Ѿ^E":14>, v-\JW ,&S6k$_U?U [yw QPn)9PD'1Oɓn$J+ߊ]u Ёr8!kU`+Y',Mc|G2?.B|*ܭpߐ(wT[S1jSFG@5yaǃzRKQWd9~Ñ'm?ĄHS<<ồ!EDM7*& lapZşv0>35]ĵh!#NE•3O+lM3x4E >quXdBaMl*"fhW-,RB0 _%- k+ʻִP5 ˨X aBݽknxݞr^(^a-gl,>'.#ڄyީ!g{!,}^prl~u+%ߣu:"^9|hO Y`F#qX=zj={)A{'`qf&qºB[>OC .Yw-=U<۷7tл۟-LJ`u*mVB44 # >Hv (ξu܂a/d@> !sr#cǖw^ `~(+,~)sHCWaQS6P+LJi fK//TGܴ36JCzqk'ꬮWYI\fڋW-$V\ߢx_ .ҮUpZSĥ,'`n"C7sll N3laiD=J?zhMiYDr!FN: R2gS'!P[b:,HzjupY> (E2ARUbyHNg퇡cVg3Ɓ6 %Oaa$9%O{>iԞM,x64p\ dVHBAttAw|dU0lJUEJ?eEө&!DL4e6ܻ_o 6{U-$>A*d֯pQu=酢PDg?y{E‡B3[)ﭠ@JfF|^T;U:[D r^ _qif x2$HK=(cN-vJ&sŰFlÙjTftD[Xl2tIJoVQ v}L~?4/^m!s6՞XZѭHqb ;+@g7ӯy\;1-PAzpz{QȥjBb&7twȿ㏁FeBI,(uVh{K_-㩡S'\Gc ohV;S(ɻZY1-ƒUK|Kt&1dB$UDln̓jf"QhjU56p@(6ܳ#Y`XQ{aYR uwnToiyyGܘȄRm]⹉พ`>4OW`a!t6K/ NkA 8|BDk` 3Q3||*Tn4'0k坵G)g:' ;M ҮS'aO+bւ1̤9bDz,3D2%_fa lf܅e&59t L!}!cנo:6p4Wü}TL? hx_`t=BpgH$u;Q @\X9\%g}O|QY )oxUpLX[l}<$w T x%sIZ,Z*-2VK2Win<6Hso*Kk9&+z]7sW80NMׁ4+s1,gMEfsA=*pO8l- o$"8ԣ稍{f?'~~\2JJ*l];H~+6wO3N.{&Y}iٸ-xa'?y=oz%$jޅq{?Ft1.|}z~Gh]¡ _C\0颔zy|=&ܤZ28U5h[nfN"(;DXH/xwCNܟQ<]sZd)Z+ڋmR~Qh+rh}D=YԽ CnoK/#uzī`>΢2=Rw7P cC&62HD8|63z>5!(MHNO̸M k/\ c=kϊch F\퉌JO:*֯9O!Nnzox6L|S5D٫lo#Y\_^"ur 1[ǹj.VT,n1yyue/8Xa`xm݅t)~A Dh+‘8͞6T(a  3̴ jWgVPxaS/x9̳zi5_q#\ԧtdo`'1@ʐ?w({RVdf0rc/%]4* 3 &y;.-C`sDi i1iyiZԱ6VZN?tx"H<NZU\>)Έlc{f< ky Ϸf:[,a*-u%^$^|uzv< !&ri еaKl2&AvkH~ꦆA+iYJڌutJ>y,`xCv},׵q}hϱק@)Y(sK & [9KHDKrP8_=>a_%N@˅(oupJHBɲ)D(hrh=!j6K&w\tx1B`8v „A _x>$~pT%㭳ƹ} OYTĒVL0&B1̈mŲSH.7L7+$u+X}RT4U(iTf .~&mj9b8IyжwYl! AlH8+!ؑ]&&j- J#M+`iF1Z{K\Ƴ*H\%[*)Ӑy,UBH& ~1Keqc eK~D.G<°haR'˫Am 5ѳa#DTBzq8GTVnPn7WA!\D^=l鵥w‘?_3ønUbK5$GVlAAxW=VPxlMsi"~ÜG E,3ktۢdOeifrV aJۉ@8A,ŔyK::-Q`bZ5e/Au^FiI0Zc:*4zJ+yhm7jBO{F8 QP{B+1d5JRM*fԟѫǯ8u˕,I2VF/RFyqQ"M( w3zًנg+ldE'Ƞ:T0+.@쪢QQ!&P@|ht&mޥYO/hȾ9s~+3nNG6iY53ߕMf53i 2Jڱڜ['5ؿTZpg'/׭).oUSIJ#"E WF0X#)&8vxPԓY ]n4jo#b#A) u<:PhWCw ) ܟ5 J3r{5$]vN2%%p~xi"o{&V:Ŵ[JBiV=u D\s%FhcC }n,0*ePu{^)&/6DqЪJbX!=V2s/`&@ʹ:Zs#|"!\SKțpxFu֩o_/n#zND=l1 r~_w_"_+NГZhVIy7~'Z +U׶auJТ~AfLvԆ8o"'~Qr'-ʌTDq #I;U} } uEgW@֏3V֏(kib },^3b?L "*bH`ӂ6VLr+a/xԲX,3,);Os4KKsxt ABK+ceh:V$awfq+}zSlW&\Jv1j*^8\ʬ\HFGK/hI(`]igl6y$Vk?&"6rsO4ׂe^ LC|0?}0jX}Kk=XA?za@ɗHyVd []ꞪES!qlgVg$')U`'"4sokU_pM>g2Adͥ#[sc Bu?-ؕ#? ½"H Fg xJשL9q蠜9[Ib&rd<=kq~feSV֪ɦ2UR :.9qwظk=4Y,X^yR5 ]0MNp )U* c֨Ô)g׀KDkH֜Y jNT!榭2ammp9KpU4Mk/gh knDFEnq͔|{Y<~b&