SQLite format 3@ *G*.  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 CC3 D4 ]/ HOL-Data_Structures:threads=2elapsed=634.563cpu=993.296gc=72.724factor=1.577zXZִF! ࣽ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW% T`-℃kHW$Zj£_ƛJZQK-\LJvm_ MĊ3DXCGz{}~1@>,Q$17~ !r^=Қ_PlJ"gi$HU3bw"zfq*ß)/0?}P֓ELBqn Zyy+K%>(}3/Wt.+Hץ!G5bLNv._z>a@S=&)PыkH UgO+3UʜVZZϵ*?LEZ6]kuq%P] 5Q L=֮C+;t}K7qXP6k*x]՜Mwo#*#" kc䘜iD6_b*,0{So$Ut C7厍U<{H4E߯ !RXC'AYڥMeRHJk^~^luNRimQ{Kre;ѭ)8w+V^tk}2DrcSsbb0!%?K7cŚf;l/o,QOJT fbU+0%n1c_%dq6z4 2/'&D.AVHۯN&ݻ< 3XbCZJlāxZ#Q>Q1Ax#x EkzgIrr9)xM`bzI |ÙeJ&3 6C|fTLZ+RԹ2!L}iՐ<|YKfQ ]gf8`kS)RDm7 8Y]fEE6i0i`inRc/*ɪE:4^jq_^o'iTd^fEU"n$n !M~ɒ`;#m~yϧi1И;VEF2:D`u]e&fp áJGɮ&]sV8G7;DҗpgF7/U=GTG!L&q=ǥx*WOf޿eSs3VϷad{+=wnM%EKJ'%cr!mgJ:*a5` ؘA3 $eeT.NȺW38jZ찛 $rqN2VmW?JoNO'.l&vM$~yDE6q|39BpѠ_ݾ|j@|~N Uju W2墝\68ك @2cԁ{Յ_nվAi$Yim HBNSS 8Lቑ%pSFwD9e<:yA϶Тs!IُF? 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[),=&<#; :987654310.+) & # !    (  e4 | == ~M  ,  := su R     R {@3C%HOL-Data_StructuresHOL-Data_Structures.Lookup2document.tex(<3;%HOL-Data_StructuresHOL-Data_Structures.Cmpdocument.tex'>3?%HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex&A3E%HOL-Data_StructuresHOL-Data_Structures.Base_FDSdocument.tex%?3A%HOL-Data_StructuresHOL-Data_Structures.Tree23document.tex$>3?%HOL-Data_StructuresHOL-Data_Structures.Tree2document.tex#@3C%HOL-Data_StructuresHOL-Data_Structures.Tree234document.tex"G3Q%HOL-Data_StructuresHOL-Data_Structures.Priority_Queuedocument.tex!D3K%HOL-Data_StructuresHOL-Data_Structures.Sorted_Lessdocument.tex A3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Mapdocument.tex<3;%HOL-Data_StructuresHOL-Data_Structures.RBTdocument.texB3G%HOL-Data_StructuresHOL-Data_Structures.Map_Specsdocument.texA3E%HOL-Data_StructuresHOL-Data_Structures.Tree_Setdocument.texB3G%HOL-Data_StructuresHOL-Data_Structures.Set_Specsdocument.tex:37%HOL-Data_StructuresHOL-Library.Tree_Realdocument.tex=3=%HOL-Data_StructuresHOL-Library.Cancellationdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.List_Ins_Deldocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Mapdocument.texC3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Mapdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.AList_Upd_Deldocument.tex@3C%HOL-Data_StructuresHOL-Library.Pattern_Aliasesdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Mapdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.AVL_Mapdocument.tex?3A%HOL-Data_StructuresHOL-Data_Structures.AA_Mapdocument.texE3M%HOL-Data_StructuresHOL-Data_Structures.Leftist_Heapdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Set2_Join_RBTdocument.texD3K%HOL-Data_StructuresHOL-Data_Structures.Tree234_Mapdocument.tex@3C%HOL-Data_StructuresHOL-Data_Structures.Balancedocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex @3C%HOL-Data_StructuresHOL-Data_Structures.Sortingdocument.tex :37%HOL-Data_StructuresHOL-Number_Theory.Fibdocument.tex B3G%HOL-Data_StructuresHOL-Data_Structures.Set2_Joindocument.tex C3I%HOL-Data_StructuresHOL-Data_Structures.Tree23_Setdocument.texF3O%HOL-Data_StructuresHOL-Data_Structures.Brother12_Setdocument.tex53-%HOL-Data_StructuresHOL-Library.Treedocument.tex935%HOL-Data_StructuresHOL-Library.Multisetdocument.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&-xOngYZ$&(V$Zҽ,(#jRnY/'Mhg>㬟XZL~5ymD1(܃LJEvqs+Dw;5aMq%&0P;/)=erJü*Py#v7R&;U24ㄡ`eRa?xN,.~Z5^!BϮ>zdw尟`3ȉ ,3V)9Op;ILPE:2^~*htA)Xq k]h.rŕwc,e*-U1„,vYRƍI1.npS_R֩!) 4YvA*Br"^q}Ffvzl5$TF8ӝ,i]XIA]M-Z'm_,w^LՋr_~WwagT:QLG#-/3;4|Bf0$U68S'k Q2~cc= OIV9={HֆD+GfEC5_Mk7O& [6x: ^Q-Ůu1&'<;3l7|a a6ŕp XVU%]EkKVH.K9ĵYǓlf,֊ժU)R$ W0mF~ỳEUH8= wGlkto9Ķmmf7eR[.P"}`7])*;7G`kZ~[ʎCp`j`h"I=a'J~3+$kTF4ehc#}.v ݸow*il4 h,^W0K `d:%{*fLGb-R5| ئ?xx~* ΅1׵᧦]ˢ/5Roj !wJ2ej6 6i EKjy"!.e*yaaYckUL*9b$8]=˽~|BV=M(OC, MG3J` \o jw'~N"p83D#b0dle2oQoی<↦.[ldjcb~թ]9u=(4{%jA×G}U0K!tiՉ0E lj;K+agں/wdɡ[˷\4>U{㹂bYڱG:~d6'C7d"=Pfwazc#8dC )ufS3#ߚJJ2Ll3>b*YԄn5/4Ū;5č :+\ALI#WmSsDyǫ  E0"t9Ԋ3g@!Zp|K.{ݖ$3CQl=4x6/D6M+y~A::keh>õzCWtuhM 8 ( CŢtho,e i_9S֣4?>SLQ(62{,&kT)g=,ɏ%5H*V Hb`qvJMܞ`G)3t\h%CK8~؛(騮 -:Ԡ@?1o Aew%Vilutbj,Vd>UhPQ4-ߗVKp6QD>TMI> ><5\3# F Fc}"e8W^淋\Dv^9'AZ W".Gn(,g`շ~`}rc2*r12 ,{(w|;UxVp5fGx^j(/lID߇Il&}jwSe-qߧo.GXv{ga`Y%I`%%RF)6m#!奍ZP3`4uzjc6hiX|-6Ȏ=gYZ ,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? DD13K% dHOL-Data_StructuresHOL-Data_Structures.Tree234_Setdocument.tex7zXZִF! G*]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̘ҁ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ǫRtLQr4fc#wN051^eyn$yF +܏dn~@̍tXy\Tj.wuˢXi:)',rGJ+Yo# OvJҔvx`75Po'h%t=9W#d{--\8m'X;qb%pcPHwhGg[hZJ endUl|sFzPg#ue7D֞ GS i *}|>(N5E|7x6(7_`+KlE >W[W4%=@ anV4]A4ٛ'emR$tg˕K3L}yr5ݐY;adh\-G+.)+U 0"H=oS!Y^ˡS8][{&im"qHv8S ׹vXj'[VA`oWwACoU oF= [6 `8NΫ{vdܮH/ hWLzg k 2LV{=3@H`zw+j 31%$wi=B(Q{66ڹ?/2@vQ'D&is-d%ɪ1e|JQ<'?mJW:RvL. # jUT`aVHk~|n}Ak'$ӗkK^%E5yE6~C-.=X ?gLC x& H ̳@Z W0Is=|*"q/Ӄt7( /X}#Oۅ3#W*ҽND[M%Py "<ꋨWg w%b$>!nu1(w}⠖RtW 0C\}}@FfLT&21^8ZZdW.,=OAHKCdٱuҖp ̽8EzXpŎRZ$E#Z2V'D&;\gB d/;{ &"/%un3ҩu6ÀBL-)_CpЖ72פ%JNH[@R7r:E1>˼͂%EsZ[F5u6]`Z:yzVb>AԦΚPX Q=ZubD+ iVXu 5?ܡ 3ld:ԭ1є *LQShUfiL9 됃RrWG>Qтƍ'D{saH]2nCF4CK [ :pTJAK{5KZnj1]Lޙ:BN}FSUF$R(F[˹jg2I^:K8ɖHO@, k+Ɗu }I .[9 ej!Pn)_Uw>+ݶ65sl<+OA bB J㇃LCVXw DNK~E(.+ ;O7PP{`XtF05ģ[h#ϑPcDX}eWXI;1lwJ>0@3oRnX-26E i X@nAڙ+K60ݞm#-9DlE j4u0UVbuaQ2 45zu."8dVr25)\le=UF;.~WINՍon.NzjTI(%Y<\|a B _k yAƛj۴-z r }T(GK#=}QQ88Tꏜ=^lLc>d[O:%=X]V32vnyڦ;Oؾ޵k *HxsO@`jt!x50Ը$e.ybX5r}R䎶| @jk#? 0]el4'_".6bIoTKi$HH >UߘUj/Xq=8*/;sE8)CąiD)i0@%`FI')QoУrt JWIuD2.z@ZE.RР-[o[ ).҃Zw(w5Jg郀>ʸ5}G8xIAW? RWKMM&] H odw;D { )˪/}nXq%¶?"I)ҽަ 8;5<4P[[#ה|l鶹.~~OJ䂤P]3zmAA7Q TRi!JmmB%S }O7V}AMgi{^o?SCy2,g9X{QzQߑ/Z"H%(S牨ȺE=c*Vx|,="6; f|̻WҀ)_׶-eTw~xu$Hc'*vJ|~g|걡+ydf7(9'o%86tlְڄ=6bo }"e? 僟HV=__|𽒘LH音9x4'ב%8CN>8xP_,b"(z8' vZ%l~"qsηKᶳf؛o5$4 `*X.#ؽsDnrRU=*ڕG&hJ4 {T`")nOktRfQ6b@!o_ccf)9m!E~Us[i&R w;G`J@CL. ]R Ux<>тM#>d<<|m`}Div)lvx@e>226x7Ü\;_̕LOLɀ4 2H\Vr3(%~rwn!b4Ml@/}N#@h}2SOUYCqF >bxef1 u~X77sy)j&Nna4njN4V`۸/R@^ͽZu2qsU7y2WSrx j'&=NAZ,tO0.h{c!։* &98+߭۴cAW|򟚶Q t3B6CB$\uQYL mt;.`jÂMXz[ǡfͲD&e!B@m[':}*B!*Nt Ţ%T*[lyݖFXf'l)eIp38 Bd//.QxUY[V!1te#ձR׋j {S]q/C" NToG9/B:OqAaVá -O^>:7NS#0bB w Wu?=ĬSKgYZ E3C% HOL-Data_StructuresHOL-Data_Structures.AVL_Setdocument.tex7zXZִF! C]A-MՋhvG"uIBm5sVeUDrR8T)Q`4䕣0A{cg1gvD;[Ur') ܌b1}E] Q^`b?SKx3kJׇz8"aq|+@5LY@?|`6QRvI9Tx˙cdpGSvJ= NDlO /XHv,KJ6Q*m{"Δy:=}^2Zk:4%G҈5Y#SiAxR0_'N? k^( y9x, K3,vS#!C+ɢW[g*DiCRZanb3PVȟO2xځʺ*!Wcn:XA.94I缱M'rS+ڳF^Q@T`ǹr~ MDH8MS;9,b,Qubp`zLLF`H>\ҳw ǾG )>@~@F؍Cp_U^Eo:lY!gv @%Dۄy"݋9⇻.& =9gavAJ?[sfA' Hw98~R' ͹w.ތ;A,>.Ϧ n +'Ce#-<(No-KÊ`]? ""uǶKA4oǠHj/}M!79)y\-hJ5>)ƶNodJxJp f Hg2agp~⍊&kW$} ͍d'E]߅@NA^yXG;>I!unx0LH~_ wD'f [;Ի7T#!u&G#]vlS <. Zw\;@gk6E2pW'`L*&qN]U1p59G^) yQ4Xg4^ӿ&䜴,fjEC zF0&r_Ca+δDgb` EQX-];N0:hdJ>,+j8m&((kU+" ~k!ZVZclLf#bٝJwt;nZk^]3o6Q|XAQԬTy>,7mK$L77 #Wi[G@#S54@v{z8M.4'_ο˸Ê{F6 A]@g}7]ouSz "_4'K]ކ1h :ruCk̵JlESysI h"?X1ddJ= m`To ~_bn%wdnjuu`bRxw=PF\jrpSP0vd,7̏XtV:G~!;>~U1ڔZH&]F 1Bj?| لP1q*y"̏jf_ئ|kU<*07K1À5h`ؐ0RR`K73z=23r[ք&c Qw3Ѷ_.pas]5>>hbdhC`Lo. RˢĿhW$+pNfa\KA.\JVthʬbTWxi]Txks#~bewbqdn!F=rEnv,~:1&FQvL(Mukx! ݓ&Nsj=Sk7 6?鵓Rtw=v?|^&9< 0qdH3ʕu+"!wyǨx\{z*2͊רh)``v ~'$هH}=[|AK@-Oݨ`l L3epJ()[GvI-Iw(8 {ֺ=Ss|ػaN!XIKɸGh-a`Kx AR^aqP#Ep@+W_fc$Q}VT!PoDt]i̊+|,~133K,]ˎ8kZlH 0Ww<@h 26,o.0J%ή!ץ$XF(s/;8敵W5̚I 6嵕(m`3G,FdIܗ?97_v;pqBY{:?Ȏ:%' s#ϧs ܇H,:l+.:g6KV$0b7ȯ_G@]B37okvT}/B>lڼ1ŷ (WY<_"N LmFr8W9[u[!Se:$Sbj+$M-([14g"  )!w)QI$2\O>#7-iՁZ߈>oXQk iW5zk Nۜ\~tZM!GQY::"Vih#oXLZj0@@t b٪p"AKaz!&h%K3leUas-4 bdz?$q)Ȼt@#Q>z?ʪ PC.4oZZB%lFv8{3E,r!xn}| |<ƛVī_}`IyS4+yI̊xgqdQyYVC)V4 x!V@!6-l t^$^.`]#ŸT}3B'hd1sK<" &&P|}D}z (Du?[y6,_?FM :K4b^,J]N'Z_bdTAW | 6A:HH&:ܱh̷r"v* [SƟ| ^RE 7<2gucЋ] ݇LJPWe`PtWښŀ@ѦcO# XYClr `gݯ,aqaq* E7e%eaM= 3)r~r1,\pgHc8FOdPf6]k?}^ kJѴKنAbBywY ,5*o!0N_;.\O Ҿp'iU0~޽]CքiOC?:!h,Io!ւ1S$Ilsn+~jP?){H">pN x~ \hLUOC8ݠh#%_bxYEouKm ?G>%;#e|=&P$ ubȂ*bP\aNeG ׈Խơ-ZĎq%HOHt6dSՂC~?.BrDwMfQvB5cSܯ^IU/,?TNbB6֮ xP#~ i o BMo&2ºbe66+avsvuf&qqxɲ$gCR{)_(J;F,Q}2i<`Fc0 7ЗX5#Bt4LLd ;_[t|v' ?)җk䎗_!|/mȥNy' /g}|eۑ~VQ1(L*H`υqep}j$_f.P,O-2 :;$&SiWQ#QwFN=ϕgL\tZK&R؄n͆ yɧh@\?؆-.LRkЯK|~32P&yϧj+(>e|-#; mŏ ϠX9i . B H r{{㩏-4E*rYg@ ȪuhCRIܖ.(NbelA0;=7kF׃%(tJu |2X#E%Xc|Cܯ'ܧ 8-_ /l_8) fyG iÞO+i<]coWе7׆dŬKS)~SVS/|)[-ƫl\d9l@clӺ>Qc7!/!lq|y8S9J&30כ`gkεh¢`nʌ+h_"vu(^9J E1v6mZ&`Nҙwy$nϞje&"qCdE}PBK(s_2!|ybS@FR!Ex-0ɲC9cOL#Bt UFtvѿ{xy'zd]ZuVbDK\1k\ G*A\}Jړ([=̵zRȷq;. <ZK,W&yڬ[΋yNy}_%i 6xEX>{Ԭ3_Jh|ކ\-<'NbƚT3WRa֧ǿ<$K0V P-١<) &,;jw"lݎ)h;TpZf.bYYD@C&34w >ԫ`3DzQR/5'r#qc i/9حR!nD R1Nㇲ\`X)}G &{?#R2RLRk{?5Jߒ;=`6'Z@g5gbL goPf\=0U O~U8,bFgeiy=2v"6Ns:&\:o0ZOTwlz2T)9uJ]1-3Jp!u" fXc1CjTd]´M*>Yڸw)jCeC :0=9)K^ G񤎌m`Sg"8y\qm AOzwmAA WQ:یuc]o.Z~Pp: Zg2BaF|MՆcwb xj7-´:<ӶAEޏJ@Rjvɼ`E0Vj>kYYct:9ㅪbV+m8PU{I{-L׭?bZhD j5}FI/53k^’iP`a->?<ЎUӮ @H`[7ON4;H0D` ş;"D 'p ԀMl]VXoARg 2cE/d@wREySqdm +8E?f}Ⱦx(IT $y;ut 8FmOV`peIh A7Jf 9-j ~ٱ?0/N$DM>]ǽ?5 `07@L]qިXxcÄmVSV 6che=WV(a@\{qnhGXѺ}Ȩ{jM>gTNWy] tp7G(KMl n9SB3U_ᄽ. i$UZ@\ڜዤ @u3ZN4J' XZBQYiϽw?~]l{뺬"s!f6|j-B)Zl iQ2K0,1,ޞdfnK#{'3}f-?I~bx-3t@% }ԽDFƹ=o}e@>(5sH0%'*u3Hw2Xa7?ՁJBFl$5ik3 :ў/z{CtȘR*ʂ*b|OWE `*Hrf0x{R"t_]dCVʲ%yإ@_~84n@2jasӝ].XCqxvEُΤГӔ8}j^Im}{*2(Y)OA$%G=8(|B)e*L3#sF׀p!Ob7Z^>S?%)9x Cvc71H Nݒ4ǡRO97>S^ĠlԴO{ q\یR}KTa|`¥kj }s},_*+y]TVg1g8W6>EHH:(s.#* c+퇰iӇYZc}'}Nf->Ar!̽bye))S$*0m ƞlDI/cC2+*Y zYV57sw(܄/; "A@`+zu}^=&,'%{[9?XJQvlO~P2SQGl{~# Gc~I{ cOle Z'M*頢c92R f,7s 'X^oI?/f|Wse*N5,8 B1zekUp ~dmha2*;Quѫޅ}/w&0bȌ™VI7[q:+_Ϭb*IyME{4\Ȳ1 ]▦mﶻ0seEP=UiR4dQxQMSÄAڙt*޶[${X^+5ȲpΌ8I*-/,xEP;jΊ)2 M4 LzEB |"va#I87?slleg͈oH25ӟ 4k`A t1X;) y53X-`x7V2gmvoOGKM V1[ޔ=@$V#k` 2FY_u~- zq&`!osVZuђS%ψU_~DmPMZ{qc_3+"HoFb+=2E{11C> 撦x}m"?x}~Nf͛VWw; hͻS2 “ɚ g$ m`~2f;3T/ )3)n>V uQǢagzqNm!& 3rևQV=j):Pؔ (\ 36_V߈$ۆ}O>&6CdkU&$WF֑_1qXp*Y>XH A3r"'WUl!vN(3ߴvO88#!g@ul8?n]qԦ Mͨ Q .1t>:#.pd^!r&ar=ZL,!jsuχj{6bu*LOD#m)4Q)#@]05r^N@yNK(*87u^ر_s}"~D|`FekZ*u_8izF2t&UEZה&p ߅3w/Kfvh_|$ fPEH]d_A%^ أ]&#q@-$'BHX<%|G*qz3n`e `³*MuAHޕn+?یI.ܝ2YlI{eRǪYD:E -^/.E^' Ӫ[sr<>"^Ik7~?nlg%{BRȓ7l}M,BU Z'%ÝB{HḶ,efdlgRh>tއ4Ø& o5l;Ja_5gdۄYGQҮ"ln!z, @5EDe/_t))%|l*+] P$['Xj{Ex`'OZ +1,W[xz+S149t~mv?;ޔ1< 95jO~*X^y|2Tu^ȢWB΂BcTgYZ  % %+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~<)3A% \HOL-Data_StructuresHOL-Data_Structures.AA_Setdocument.tex7zXZִF! M!']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,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.LfWg]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&4NgYZ{. WjٷDEc E9NVDRb8ޔdݙ,jݎYש ΀?\]Fj<ΰaIL0:SKN`F]4tr' Tq28t 25`pUk5<΂0Xhh%"U uK}4T{ܶLەY5?Xʒ vRK͕ B+3L-&]+bQDOcvFSl9(+PoT&-TԒ. =*ĊySiY#R}`ᰓ|E/b*ӽ_q%Gh_&L (Q]*`DFoٸƬ>ս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_ ,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 rr3O% 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 QO"NʅCAE?31VFsEy Cf٫9۲;8lcpA+<+$4gޱctMjXp+)0&pX觼Hƭ+&~:g V}tt+9 AXY)j09/z# pΜجTՂ.đ `*{ Vmz~VD?nEٕt~s_y£A7Sq^4 S濡WO %@6"\ aX3=m #U1s`<.17LR3FOń-umRsPѐ`?]}'BI9&G+nǦg%iTkL)Ǿ/i1v򃄦zyJްQhv])ڂ~_ ;OBv8=sa\b6ΰlW%p݉75eGr)jDh׽@Q1ܩ[ Y3ڊ ?i#ͨW>V䃲cw{2uպ 7EM &c8eWۗ\`fTε^sP$Ւ#2qE ?tb,%Cz'O̵ٚ?!*Ӵn΍b| &(iC#3PB0gtL 'w 7qnDG:g P=˜oQ.C[,-FZ"Vw5uV8d _3욚 g"ıFI&ka阋XvsRKJ;W%9P p7DQF)1!tz5<"9tI ]Ѯ :`oOK[ ( 9'ʌʇ;vuߞ\6> 1 i(2ؓ#%kXX.d QͤnERհ;͈|"9C}ڄU&4a<Р,gxB^W'W+RH->+@<h:TdxNf#mdXJۛ/(#_xB).4zE)/o W9DLrvfA5r{ށvBfj]i'yr5!6Q4o[ysjG »m˗%Gjσ4G]W yZ)0i",y[w2pAN)7!cni`5㨖 MQZ1Tx7]|F ]"h8 0)߸K=S.S%TΔ=xPSt9<^1/ 3S?MILyS0wo˴(2n꣠Z%PMLĘmXWZi܆D;k<=(j!?.3P濣b5O<_F?Ӵg MBUFx"WǿIgˈkVŲ{Wdlo8LZ v ~\t?R\7PE[|^}aքk2/jU.NHIhW7 ߧ~}ld7e*Nj?EKKNԒ.V #<9/W yc^g v~RTnL7+:_KEۻV3n6J(Z 5~7˛Z&oR&QTK9,M NaƼ2V"/;;_^Cgϐuub7m']*2;@%i_<"'Q:k:{rIa2&x&sIKLL_M`qu_=p*PcAS֯V!< U_,@0wQuw#9z@iaQ5(N=zٜJ܈бzLouy85AU r?M*"^>֖FB[&|^(Pr`u~آ y {Jd,9gYZ g Qg_ 3G% DHOL-Data_StructuresHOL-Data_Structures.Set2_Joindocument.tex7zXZִF! Z]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(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{ vRl&Y>}~*|F=Յ4Ce'7xڼOM n!]I,iؾAQ¯eXzmo묡AQ`ڏ'n*|F8Lm4L`*vG_U!o][fqc¡I' е8'׷žCq]9RTytkmLfkluU$$3I% LHOL-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<ғO)b{xZvw`_ލnbp,Hl,>xU64 HL!lY%}gD$ݷ/ {5tbbctwtXWBGr:߱k:"A]S]HT9'astBhX.@h~Hp'w`weg)yd-Co""ƛ 7=eWjnɨů~s-y2Oȉ).V\t.%y,x%W;)T$(w@JNdB;kcetr`~$5T,D &n햸>e OH⫖eiNE SY'dvˢ}T^"_%H6-Q0m4I"p=ZIۦ إc'r䯯KbL{C~ZIjWsçA[XUX8OEqٝ{!gF*^UpAP#+Qolkox/iVͭXkڠ]{%dmjڅ+~ʌ))dMl`b)D})~p~ -@ku !!Fm`vЅA&t8^2Ԉn7{W*z잋L=3٫`ҕC1#>?>em~gS@JC_ :#j}.K "vM"%T ='1U@nf#ٻ(z͟?Ё sҫJr7'bp[BQ_6(HIw0 >z쳬}JtV{d\cFQL>J%-8ȕ(C8CL]:DuS,\4Tz in?ʌ5bus?$'~/emFw9 ARZg(US 1zu)\91 Cn=Ug9U*ȩY.5=eO"5h,UXьm{3bb.2p.veƜv6Las&C1x^愳Tׁ'VWvY*PSƨ!*ӌ'wӳ-6$G*$`pݝEv'^ĤjL3 B=\>þg Ǚi"z">ceJ4ꍙz [=dȠ7e9'6!V7^ is?َl:qEn ^i5 z4Y.ȧ7mc?R[DvC|AG7Lb9ĽL)tHvʄ`DTؓHROn3|=qooW =):/XvY^Q\eeR#V4iغa6ĈY0eȄ9&\$UhrSV/p-Ѻ`WqM$+Iʆq9џ.@4apymLҪ`|Y@wd#; W $19[Ǻړ}ڵIR:p@tTUɾkk+uv`Ft :eFw++] n߅ZՀL2\X,§?K^rYN\9Ew4WP1Xn$y?<9w)u=bZ3T!.p96 ^)LqV@ j2RS̷7 7HJsYw5>P75hS2nvAI06W N&4D%>j6ˉMb&q5KզX+™{&}42ʿ(xMyiaU"B(T>Ԭ-nSɊx^pa5ߕ85WGHJ2㮙bӇ5ma mdǨ !)S31 &s-IMd7r;Х\uQ&Ue/~t8H\ȴn3a8Y?Sn)W)!?Uū]#%y^s@{S#h?GOFLvٚ1Ȳ%Mzs5|R$F>k䘜ěIaV N[uZ.DHBm O97:x2ћ$ALnCh} ~u-hțx+ ODז} c~o`T{6tfEHDܫe􎨲.h5'<ޅ_yx>qZ};W7e]t2ªGPR3C >=ZwBsae- _Za>HUL )fش:X~1[ ]ۄ:SW%[{mv8i2߲o| ;irwA 2lXv]V!!j?wVk g#%)cf^9S8+à 83Z,,VH0ԷM+,]~|~,z߆`Y mcd_OOJV(+'";*]}Sթ(V,r>GewxLSF'^XQ jŚ;Rr o'ۖ3m.Czٵ^a8lbn.8EϷؚplkdӀG<.̮&w7[cށu^na8f) 0Cz;ڎ9 Ak_\*4gYZzE-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 v] 3C% DHOL-Data_StructuresHOL-Data_Structures.Sortingdocument.tex7zXZִF! g\]A-MՋhvG"uIBm5ȧ]SҎRuG3 JޛAW,("`u&;FbVƇ>4j-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;:Ӹ' 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'%j&+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*gYZUw$KdSz%,{QA9#r:i9X#1ԒهNV%!uN#x6k!5)Jǁ  " Xg>a--p+*J~y9dzpd&kQ>dszzBs?VeSi^>.2^ .Ψual~L8awΝǸk4JIH1:,U=B?r޽: p8ӕj[Z]+dicxN!U/+@7=%\uo޾jqAsRb}'Z*\ci^B[8!)Դ9'I/ =`жe;j0T"`I\O亐 xz-ȆN.(}A⃚ ;>uB!eX_Բ+i_~Sq r ׅTG ع⮚'+Pq::=|\'o8܏3nT?첚LJ{g*iW0Y(\I"y@?*ԅ-%okoHZeyW4Ҧ|׏ړɨO+'Ei?~9ԶFڐ?CS*⥮I$sg`%N j~ymZ ӂۉyOq<!殥!7pTvۜf gPO4 Rk5Wy54f37;8GpJJ\$?<܂Ӫ5僾iwQ\jStTS6)n5e˚lQhaC5fg"8kd *el[h`}9@x,xk~[(W>2'mw_dC>K5Uuqi~X%%n=FB9&* 1[w_^*m.aߌ|Q,T ˛k$A<;iNdֺ6<&@w/!$OԨs:ִH)V/, "۵mq09 ,neV w2&W-Ki?s}lz[ kc.&摱,vJ&#0GyVwLA;'q2$tݞIꍏ. ̯mvH,,|OKw5j'8 _M5[vyIPC`ЀlqQANh[err>;yYG+ibE@Z)PD`6d?!q@, "{ƌ QG2vMK]XI`K-9d_'c*53)? wMD~Á#z"4p_(~~/{(p`75uK34dI01O7#o*:mgX01 7 /^(V 9fPPOK' Cs}D@xzTTPbZմ>|;?m:%'o "741VcD*$ȷy3(]g,D2{\T̅n| ܸrXjXC8JLodF̵ I}N9DzeU!" #NJftŎ<8dPj0s-EuwS(K^ ٯ!gDhmHB:x~.Aj.O_ :Ln;AdT8=heS8?IgR$έt}HdAWbz_k;!(Zcz /vWm|r]lR漉W?W -;oP&)oh9AB2M1' $HZ.,K~^)iK; n~CRWP#Dt츸iE3H=Fψe~)i׍fpfx32"UG"{Ci`7=wx(̰5I0%ٿUیoC<`W=#hcpQgcQ"O鳌0.P%L.QV*V%Q i¨_v/W`)H~捏g8ѭi}\LG6"T.ݱcFuvtb*&ULp?jhÔql$ikeƠ>D ^ܶ'&}02FFyc,ktOBtNPԉݶ Wќ֐Wkѐ8IT*qʚFb&ǝuICK 0# $E|6_Z$Y.9ek3UA4z#$7PlFħ0T$]q tL&*m@ܭ򚓣^M[ /Rl{QJz{n,!0{ J O 96~ suθ.27eЫb@es{. Y9B4 )jnK7#k~GAªل{ c죇m=}rFå=.rr2>=ݘvu{JvWLehc έͣYwbax0wL.$߰zcYӱgYZ  $  $1 3C% lHOL-Data_StructuresHOL-Data_Structures.Balancedocument.tex7zXZִF! (0]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 ﹲ*a 3C% LHOL-Data_StructuresHOL-Data_Structures.RBT_Setdocument.tex7zXZִF! ^^]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,Dmiɔ*M5VPʷu{]+\m(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 TDT;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!Xk{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%|ԉ*^MBQ @ c bvǵOR9F ! ]RA89Y7 Q;) I72N.xU7o /mWu[K弝[Xw3vЕwVN)t,/TT1V]ýż1'AgBMsReqA[H4jHgR`c7>-!Z+SroJCIRO]\r.ܹ\zC -2iە^Ym?s26_p=uٔ)zM'ĜAw6c M^wGgt6lMcwpLcО+ 3ug]JލPMSp}|ޟj,Ѕ8R ߸WA̢NGJ{b4j[Ge[d;X 9FEm{7iw <CwKu=j&NI>a5g <#x1DqDGԱ?*R$3a;8闶k9e#*mu UhZ!gYZ,܎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&gYZn:n(Nl~G GsQq~.])_6度!'~ش歺Q\P=(N\CkDhMx.K(s{r8<ﰂe;/ my}G'f6 7z|+ loh`rXZ|,\uy a`hX;9ku&馏JzcC@f\M<[(y(?uPn:BPEȺ3o.+@Z[P\e cUva׮x[/BɈ;[udub=CBIK P<+dW ..YY@a !gc"[=)Xjtwdf}#m1 (OA,cW#~>4^&7(ڡ)"pk_Кk}ȁ+I-Z a&7ZܩОs׶Qaw0@ƒF@d Ԫ̎5 h|kQPв`A~DdUzހx3'0#@܈G$GqoxK@ գ9tz U^"dr<ҵoxhz(n@ ~]˥- TvPC U'nSOڭ]WDip1zI{3?f*½ޡ.ؖy*}-Q}{L[Ce#fώn}g4n跏|\8+ѤɚzW+[u:qD꺱da$kfFs_hyϽp`R?OC HY'BsqoD=.L[@x){y-y5p[af> 44Cq"c0QOUH.G0dV8.'Un(۶U^pЬbeu fd".YsOGɘ-O3& l܏h4w,}YiSmwzh@\,heHE>L pT/\'{ *RПH)R(_c1aL3 afΓEhrռj+N,fL1? ^OM.a+-HoOvفւ`y+ f1 '?ZFZvaHnњ.5ϨX ,)ӰeJxlbcrpm^<{fsZQuBwiҾ_Bj1/F x;5dLQMb|=i4kR!/3 چIûzraȬ)଑CW7"rA6s $.8;;z$2"W#T6<}u<o "Cw,@::X-uIz\fl 4NE誑c QKn S̺̽=$e 3KFǵg}mOx*'lY9⋏)k\cM/f .NXϖ/G9d g7"K^FeR"a~Wԓ#tZ&o=*Զ';jѺ f3(,.U^*x\# &*e ,c*,ʳmjq98;皵4/PZ{ j#)$W:V EqW^\gXJw.UD75\fBwÀ@, j>Q?Any( @0ڪh:Y%4Rpl ə=dj"Tbd}L`p#Vp2IjP+t1]KӡlⲈ8K'HBGD浘bV/®t?̯h՘>brQ"jL̺5'Z2j8d;qlLIu՘1O+,Z=&oRw ԈoS|x,ISP.[3OϣIAq-fh$ђ63]0Pp:ق~k T*/93"!k, p’:/)hFTj7M{1lDYsdN3 ^4 VSmevыr ̖4-gBol,4O HFW[$ݮ/2c@U~6Υ452t  o*"i{& zI.;G~?X%u=_AtZd>gFqаp+FrPƭ!XmpFXmGV_8=TV4vΎ`#.wjr.>Xc۶}tU)Lvֶtex[-X$.ndڧ2&R ??V0lqd~Ztp yTտ}Lmx;}gILp;fv jBF7X]}-(ve[b9pJJZ3amáǷ{#Uq`)u) c{H6mm a~ߔ="}'CZؽdm٤ndb,q趍[nnG'dӦAvs cZ f~S4t!n>}+Xx\Nw Ap*aJ/JOzoŸG)B Khy?4֌ .ڮC3;p[rFK꽯6rq 0<dR[U-IWZ]~9hO2N[AlW<6uj_j*nU[vު~pa~J;<¶ZQJGiEnˋ%ۿgYZ  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/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'A*A O:O2· xkBZCOUq_a"{k* X*W~>g^ƓO6)v#Yо|ԬK!-RFx8/MH#xs.cz^{Q}pkF puK܎WVSsOB7zeEp;w"G[F'u'Q7d:j+| [WF{zYGdd ~IMί*"I'$³h+=ClEs  eH6]Ǡ:0;Jk/H/rN z05k'BG}w' ~@y\lX42 gt7q lY:٧ݫ^5qc95)[RVO>r\/@s723r fV鍋UȜȩ~˓7G bkߘ|v(ʙf|Η tD0)08{1fʼn=,fHTF7 LCKd)&',ZZF<tՍY<;>0b,B˒+љ c{-nϚlXs Or^")wZ{E[vn%8?zX?, 8qEZ4:vSR\ f #OGDr&QA]\C9>Igj̄8sjI+ 8|qB_1"kbwĹSX!OXNScj59JeiOq6N!9__=BSMU G̗j6dTjFnߖIݱlDvlKyx{T'(lPKϧWP~CR)X!Z/bL-q CXL:~C^̄N} +OyP@9[H4w^|2%.k^Q67Pc_}kF\8/oaPdx&Nv A5ӌ)e1GawsTBJDs7<`y1>.GêyU|UՍ7#%m1RįtڛWg_N5q#;~T`mv=QyzQ\a!ŭP*FT׷N(!;OLÕj*{I8Q3,yp-Pb; = iwyd:+;UA,s4Fܢ)¬]w7DU|P?1;Ԭ$(pFKI$` Ο|}%ՠN^e=KկIX3]HlD3W#$̯woSB,4*w-ʗaS_Y)LVKvyTAV^9݆Kt,/|Q[~Vxl&+FwA喒x^Zo4r?GL$Ui0'_ט5WܟUg}~Y3B*9Cyz0E`Hg]ۉ)pg3Q%W\Tw/s"+/zoD8K{}aOnRBB UYXgxߏ4e3}l^z$6]1'a!P0ߑ/QG?غlhuoL`l5wZzBN.ۢ 4FňBC*' $ݑlCY^5Jm$#:$ w-h2V$$8tD`ML,7_PW@5WH++ZyixB$39{^썛C262v #*NVKIpRkq%;ը̝pVTzN/yk`ep>Z&dvxxvTYQvUpv9%Y<+Uujʣ)Ejm#8>{;)&3gspm8X;y P #'ܯFv>:I-Vm輰 7gg̅Onro$`+UVh8@}4u\3RAgnJYBb@(Cyϰ XK@ꧺ:;~ߖx ) ):kKhİ/7+S8Y?[2(7{A+r~.Y J ?((*e\t9:x2 =.vH*8Lv%Pz(A `*;IHla%7!K8j#sOA 8KPl~m-#G&uGg4&Uq08~.&o;MǞv}4$UqZTY~Ft 8&<6WyH̗+Pp<6n9җ,.dz%vL L# 9]yՃc9{ѦH!L3eT+eՉCX)) H֭Ù]('af׬KmWug 4"gb*Y&D4]BVd"L Tg>4j'Daa_s0L'"FkuĀj9OsQQƜ B|i{&lq7mi"PgYZ 13C% lHOL-Data_StructuresHOL-Data_Structures.AVL_Mapdocument.tex7zXZִF! E ]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+?w_OI*+h@\XXG1%oՑԄ0[>x}AG2ߐĄH &f3#mAc Err]e{ J gA_C,>]Sav;n )]M^'a& ^mQ <x<'l tzİUcGe'x{ob-tJ6W}TҺNz\lؚ¬PM<*n nvTLo-M568Pj} I.X^`ynΖvAlUZYT_f;=&2\Is&MBP#%v(e FG彸^"6j t4|~u`n,1 ճ|¢8R Cz?Qd(|LZoPKK<^#&nTfS{oVOUQGꝁ$ l-H*@ F ?ByL;7Q!R~ceqxS2 opKVeEXc'uodP,839o6w@Z˝o2sTB] xUT_`Qegv5O%(%w}}Q6'O}39Wڄ}[yU8D޳la%}{"N̬yA1!TcldYLɨ8۬^ rcŁM4g{k\> @Nw.o0g䬒aw+p1jo] 1`[AIXԾ ICXVx/5lkWIeI64Կavm9;"ӧK $_*Pg2\9C~iUœ("pY|9Kd~ L\%w<- W\8ykj߾ Nj \1(y| XK Oc32𸔮$}[@,{;9DkkyA.R0`>%% ~=7G1a,Ka'ӧcBD,VxH;WHmͭO b  u'J=V$bHn$G>;I-^AxDUZa;syະ-cpz*VUebȩ:e/CoX6ǜL/Ye5[iȘ 8Qs}=</Z&}GoD\Mjw˔rra>JG$0rjCdEgkeՀN"5q6 e!/mZh(qOsmNW9۽RE__K2RF1btMb֌RWx]`Sv;y-IyR;>ԡ|Z` WSpFeX)G6E:1މ?]U↋CvĿ.n3 ^Ka,<95s{܈ `kH$J)#[.QM&n08 ϑ,kb] Z\zj[ -H"\0f7]ZrT;N#Yn x6AmTxDAZЗS."Hǯws~G8u=CS"ߧL&PWsv{PG[aiy:0mSϺc-"ͯSk Zz({ a*DI_- y/ʎSsֱ]熧. `K%)|l&VЛZf6h/yGe7ͻ  imU7?ڬ:쫳Z| 9  |%1^8!NhZ̡ ?1޵ b&06F{akQ}^|a!'d7e&]jF|*\#b!nk7 Vc5l-$וgP(bnEFT? -emCd)4(rTgRۊ= 耘gҏ[Hnzc՗^XITG\{wYd H GZ)[5>%C=D}4"P A !_LeťCr5~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?\}gYZ #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 **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{;~:%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{9RbDax gKӟ,ˆ\VĝWwiayAbz+q!o]M ,ijM1=wuJR.((j:#^·ւS/Y\I_}!҇_~C I,7)5`g[˪v.IP%@k&Q ";-ܟ3)fXQ^\/G9/%/;O&UCm} )!)_4lG+(d2~aDlߌR)l']z*7x*j! vgS}$ ԽػyЛd!;a],TFs KhFْ0ȹ^On6Ȇp]`Z,&F:$FhJ=Eӝ'D*"Jrr/LBNqG+,{]i61tEruB\yl.#_6x NVO<%uŇ 2re{(ptu7ԫŬ_/i"|޷M6)?y]#`ݵ n FZ<$n*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_2xCC8lXEqiHG}rrAQ>=3TL%+HNQRUp3RӧC`;׋zQI45=G:$EU\SM!Wײ*MHi [Qt9HO?eq)=q_L)$jWMQ HT`_4#{%YR&3‰\"];=do'oe)}p5q>CZ8CeNNad>;"JJTiၼX]bmLٻӠDΛMM3{ *^f^} 0dۗ6kڨH}s ]Kdݟkjx\1pso 7נ|ViXAgHrc}VT4L}p BTzZ" _e=_P6я| "Hx ckYe~~Du ɝ0tcXCv`cy9*~#+*6}BKU 8=`3 D[eǗsNshz(r`7yˋ&#IAZR5Fwuµ ;z(ƍ *0m4uo& H&Ha+tD00Y;qG:XSZ>; 9 aUR96y%˄dTtvIqc7"/I Pз9g;М4~R3GT'M! OM@J汳ó6ev/`h\ Uq^8#8}ת+2)"s?>.30$$Ÿ' {d`6=C \rGۛfPs~;%#o\Ie ⽰;ܡ n)MireޘDP,HE]Wˠ["UWZ: ¦Sd m- Ŀ%dx16(a茴1ܙC"3R2 #ɒa=q[JqߌυK?EƱ_]T }$+Z{R*7oA!) v97P{]]=7Ml^;S;衘P)4(BjguAhߵW fvb{.FWsߵ&+ jPô^^)I8Rm?%cFǾ\ aFh,Q}SN4&[0*R~}Gzo6vԫvA%@ڰhTMQּVL.sƂG  dVn C&^Um]E,A vamYd)ٯrDܹ17{ؐ/D~#UOَyDܸmߋ?4^kPD] BKe4Z¡v`\9uk1v![B6)y x̜h{Leyt!,%Y+t} 양& A'3F  #@xZEc*|p2AmO@ޒH@T>FB#2$U `t^jp59Gї8K Mœ&bD3*I m [>Z=A0{0,LThAp;'M93D\au{ b=:v8#ꔹwĞ?DpZyUOhXb?!?3nNW"*cy!%Y"j(ּv^z4JB$O Dǯ9U`#Ò+UgYZ  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 OO.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ޑ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,ԉ\tXTXva3E% HOL-Data_StructuresHOL-Data_Structures.Tree_Setdocument.tex7zXZִF! /]A-MՋhvG"uIBm5r${v2_ET;ù4^"gmxƵ#@XF=6}CJ/0i?c8D#XzzxwKf}C\}.ՄcVPY$m*&s.Wiovtʝ~) `UJɚ <~$n.B]MOz &͟ Dŧ#hPkƦ^jl{sQy@}82׋<;dH_L*j2oxdq=#ȭ >bN@6{+ҩ(R"Y9BPs !~ϪabX&oYW.TW!n1o@fOUM5:#Ww~ !2䜷b~F~]L7ƌmV$#{Jw,o%YRڋss{in%os lFꐒaM;/юɴ$ h$$ЭzAcMߵ8c*y%y1TDSUx*i198R ^ƽ;4xԈu6%+bu:ZKN/j؊Nנf6U /hir$Z.uGh*L}٫ͮSf(erG.ݵ;0 ]eYv CnBx-&{!,~❰XxC0dSi5LSЬs7|)ڋ-9 b|ltq,-Qֽԇ9r < {l<*856A×CgJصѯp5//󤿵\GMjsSKRE:>%jNDW49W*8gO `!n9Of\ YbVcr?azWf7D'dV>tҝp8ZqW'X˱._)'j+ HM~OH5{EzbZBeU!.Fxhpn<5@|v#,eK:ZE|~!Ȭ.9`(Z܊ㄢ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 6}ŕShl\('ɬ7<ǘdѢúm#69huϽF-\ ao~tGfzz4+ͅQ_3%,3ڜL&u&uޒVINk7D^y7B& 6ywYsv o-^R{HX <6wfnTy&#NFs݉\Wp.፰Ϗa~ΰ( #xoi9Jw8/1ԌIzO_hn:>~`Ni=ǜRBˈ&tIoF??#Ŀ<0%}P6))0stKVHbnΏ:ƾ>gͣDLC䰵G)46/2Yc5W~ rqo὞9~)<]l k) .cܨ'ha+d;̷K`|.n"6JXX5)F$./"2`:&tF~2@Eo N]mj$X*[\XԈFr^B+?/U98ƕsؓ+'|Aheiqo9#]4w]DfY6d⤃j#{2| C8sjDڙyp, ǚMjlU p( Wlc :h{.$Q@.iXcN:eM*GMÖYgYZ " "a3;% THOL-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^$cH/嬘]vcR8X<]Qbhꪜ+{+1&bQd8~x&`]X^YQc1J'N&~ˌ`yij+Ķ.0Ⱦ~one+*@ˀZg`\FkI%_l%BI?=p{+v$x÷?6y~6I)Ȟ~ O\/e$PV\w{,M;%Ϯ\} I1u=?}0ΚlR1@hĎU'ۦ bA)e]~y]fzRJƩGtVZ+n=\b!w3ԅqkkG\AW-ls9 d,]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Ȁ:mj>*Lܼ%' 9 ߍzn-%ixQ^L[qghviԐmJ1Y7${*!7}́OԴGHe%lvྉ2t9H R'ם VJm6\*ޢփEdlyb^a nCQ:mrN*|9]}Ț$C;1IJ٢>]Ҧ?G=n1GGgBT=xƆ$ov[Y'o_Y:n}jM<W\/mAzJj",ƨO *09nCr.S*-0k˾rdsšoI =f|SC5Uclk4Ɵ̏-P&rg[a&SλC`ߊsq֔뚜fOCE),:T,]N`Wf[:ec|YgѪ%d^.c6 , :.r u; lkrGႩc7>x:_En%xkN?Fdz9:*W?PhdNdįGn2۽vm 6@%tK _cc,m^=]8E#Z@lwGO- a}gYZ K KM 3K% HOL-Data_StructuresHOL-Data_Structures.Sorted_Lessdocument.tex7zXZִF! *j]A-MՋhvG"uIBm5ȧ]Tȥ`R@ņ04tqu9|D˓Ҧ4:2.x2wFII\LyK\ 9Vn1;_w)g񄗭Qɿ*E`#x4*F?(WZyf1Э7lb]ތ>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̞NgYZb3E% 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%#1vU+i?=%en}E072s{񍑢WHof{!qԙͪV:+xfnX]%sR8Utc"6Bd^Sw:R҂r*m%A5#gtaA @][[oY䣝_+Y0#0m:ު&ݓ7CFֲa8߲^xu&$#,Y@0r :깽m]t!` bz֜Db, ۸<c`? .? X~:;Sͥo@ubK^NY0+4U^_ǩ|墺"W].G {]Gmֳh03#E 2!h\%M-;EeѰ96*4›Lb&y}nhTwfulx+wF#n}X9Jw ըa{n)JVcbV18;>J}>QƣҸu&:G Aܔ^ל Ze<|Wٳtc|$6a 7$дG 'PcKD9 8 k2HI9Ê&ChoJd!oH8 DLP0.SfU? BZߟql3f{Wd:cHU4 ֔n:48j_ݙӽrlqM$ v]du'~|S'(YR'YvVxN#8_rlsUW $$tS4iQ^!TSGuϠ5vt vz|'(qLS6꘦:|WGaKa86G9}dyb/'xp湜Ӛӳf,զϜ*7B)<$/BA~0b*Yy . 9v =fgYZe"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 κ! }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 b  b;&3?% HOL-Data_StructuresHOL-Data_Structures.Isin2document.tex7zXZִF! >9]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<.A|+YFu mMMtZ~ߡ|~W5CGg2 O-Cwxg%;{l"vˋgF {㯤@C72Wکe&6DӺvU/;){c6 y:]G}-)E7V]](pvkuh\p`_%X9a2A4/q@>!p9ݖ4jX=0[Rwn 3Lk~jk#K~OuK>r$ͯgAY: r"^%ԇWθ4NARI_b9_FZgYZ^%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`gcCN=+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  <%(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' `wcp(9xFqx!jȀM$Yi3}wvCWU/*6V=W&!V#(jOJ<ՀI,G4"W!7_T:zjj2Ȕ1KnE2hPy-e\v`-9CH{n }DڹWy9k8˽۽yw) &pe|k]J1.k=, AgYZA'3;% 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/jgYZ@c/LMMR t^W,W0"=8 Q8B.D{0kQ+/{;vp ]NڒAɠ#uer5y_<`A4Kݛ[?Ke -Y-ܭK(c78ˮqIe(=qy~'y- G ~e@]ְy*KZQ!$2k!yq[ @&Ozi^5QQ:ݍF LTհgLȖ!T˞&;,RONWo:\U_`1 V$-+y!$¶8gTe\y$P ^?mWtd#HdΛʸI0[ ;F}5"\;@E/*RVqmOO/  +Ck,wCa9]DX!=6j=NF=ZR֟FЙ8b1p3VU߰{ ~ \7g&Y19+L׺hJyM y!p)MKA33tW,4P:^׶lxMĉɵy <Ʌ[F2HXz<;M6 6m }?!9s .|{2= үoE4.nAW'ֿxMA.TlP:N-XДkP_0q|"Ќ׹''.GYaɑ~4޵ZEJ!i+m se/A~sO3G ZK!-  'TW]h++!-i6=X ]H-֛ c47-I$1 G*$6rT.!e1]1Ѷie7>6Pl|@\pWZwM'jҺ,wgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻u@:2R6vNN5l>;_U\;}ca\q"4;|^P vCfOY1'eh\5LdN͗&*3z* umW'fȆJ'j h@=[_3EYr;c7F Dei])8~ R k$waUfv!ҍT"\~k=.XBߍ:QG(Xa޲He 7߆Eo_l_ PG&)Yb'QY͐ M%FjokO4?A1ք^ OŽl ]%~D`$>2є2Lً,` q5U\x~ g!st<o qLt )Ķ>MrPKBpڶ_Ҧm,ԏ1e2\bC*IfşyX۽4J%b'L 6ͽACnW%&77z/k퉆sṁo)6‡bTv^CJSnfQgYZ7zXZִF! 띳]ŗXi%; ? gΥG5Ƶ19(jn}%&f커ObU$4f| t| d+gA~Иf#ʍgQQEțIwزQex)"ΚGZoLMBx4[|+{+bu[f vJ4R(g+aV@`pdKLޙQ pB5,wm[u˙kj<nS酽{K钜=Z[+rQ1E@toYcq>2K>h`o)m=%CWŻͨ}3H{dsPD^:b$BjחHh&7b!VFШxrӣ Y_h vy]o[ˏj_WAZR/8<xEŦ$a52txZe GR %MȦQejغk:n 8I]ʀD@o[oŭnw7V))IKrA+$FR$i(KF*6}մ M zޮcykg|J\]qo"Tanw|$YcoT`fKF?(D}>emdM-iJ)\;Z$C{tĊJZ$8@@\PirSl.92|Ǭ FJK0 (wTuDƭ_\B8%b)XĆ0uSc%2r#\A Q 8 ,IYg\b xxkF{C&ކ1KtO-W^Q`g JBf Acl^qvVo~̂Ib_zH@ ~b%F\,{D|^z^ ^vsh=Bcp" rV8Q8vp17Y v8n'wY{6 C5pSبpd5&(RreBxWv}2I.ɲ9%AsDԷ33a " 嫳/թ0sT[nf|cVWۛrq"YmfJ|B\]ݺ۾8-{A!@0*ڙj!Ⱦ~T1SѬgbi1v+_]d* 0)Z",?a >'D5/E"p>qX9eLAy,o8fR-Pe!|OƦb @@e jԳJф9dA3\~]\xrM--吗A%0!spUcUQѬDZq#u$?5W* io.w^3VJMMTӥGۃt=ZO괽Xm3K$hdՠ%7PCN? A [5ND '0u)޷-i.jxwWP롬EtT\y |8+'PJ |r䘤x?徺)4A--ֹ]f6O9wy6*B ӹk!:~.bRJ+iӹ+2 hɤډ&fr}boO[PC f.ߴ[X4߳M޳MIu )Ft8]jvc۸HuoՏ6zJR;mYwrJt n.Y"mXfǣaI8 s'_p)l/nǩVkoBV\䀡_FK(&ܩ%Ihs3F8;BSX7xoĹ Yl4f of&ztEA/>gK 6V[srBO݂M"_ʵ4 +),=$:{R>@ "|Ra I'P%+}Á!7i[m6m@s3jЄȝ$kJr=ٰV8/[aI+KXp1tT\æP="ʹRuD \Vꑠ8mLEN5%?\~n[lfJ\g7鳼9sf\8\V,Ho~6D͊&R?1 wˑ8!k ^6~ Mu_}_ E4'{)6)Z{*; 40$3}&*:Aax'\p#vow@ErQ 퉔;-zf)[pɕj6ĝGѿJp_ PFWeMhV-J5aE~Ⲱ+wBIZRF';E  !{bFSfx& b{ܝga!ajh K-"45G 0/jy(h 4HB'3J1_'~O؊S<c~YЪFe#}R4iΈ gW(ɘ8".hO8.tB@+(Y>ia2fHTfX뭊Dh=;/i33$ v8^v=gWF-B<@XU7T5%pӰT -LWPg)ڡrl .J5-6e2?]vP/o`& "vq֡#RG!$[򲼨*!E87sCN姾՘S 'Die0pJseXi"F%9"LH5$`SfĚIpN#&Ti%9e=Ib|BT'> "c!/7r'h75(S?2 j()׌YA`Y3/aG&l#ý4_WHKLE/X6h=["j,eAf]]u6cEDdga"@͵8ϫa1\Fم+8`.E~sQj]˪Eє%sJN%}eOWr[@b U.\/*MS D H15%PV8 +ܖm| QiTQ6W כhBp/:j++vdؗ.s7.r)C#3gWH,1t;aʗq)u愛yD ya:V}uw:ir܍좧B'?TdwL+U |nuCjqG;~}gfFńhTT_4#||T f]هx4YIO@򁊛D4B(ziE'@.%*㯱LJwVȸ6.ae(χcXeưUgzӖ5q@Σq|lGy;y쯽zzNyH0rR|4`-sxj첩P氪9/`L_ox/X 茸Ӛ -*qe}mr#mN&[BݴJpY: t4JFCL},|>mŁfu"_0PK GO9v -Unh&{G>c"rқH q^T"0%,KJEI揢T>bݚ$R]@wԌ-b֢jz=:g  BYZBqiۃk/ 'mYr}H>Yʦcat? vd"8IN NژO =-+d $qk\Q]fO0Dsb_4= 0a˷l:L9ÌU֟khGV"=DZᄇmcg;8 26@ӹ˖`/C*-^obr+HZ-DF?֚3lG8f NTo0{ ʿ[oh *ՎB_Ւ mG՘SH؎ 0bg"GJN*տb#@Lԑ?l,(\zc 늹dJcD(_wȐay\z)_|\'b~}W -3]X#GI"휶 w#TbfB7 sJ5vt1BrSI'֜MZH 8|%OyZ'Jl8~U/$v'ʙso^\aH`OʮR)ލIH5q0mzpLhá,JQtD8["BE|$ω:F_ag_ M27!>ˊL|T?Ѣ;O "?pk–+mIHZxklڗxr 'g$DRy0z8]YIv|u*=a2mZGՍUe2"B󛊯Wl =;GJ߰E5L2Ix`i;"\is%[඼GLx˪@LѨCo.yA=2u?t|G7 춤3+8$ mƵYBXkyK69<>ޱP(5Ljqĺkߑ"hU4APE&ĝCX)[ kΡFP3>bDS1 Tm=\0XPOcUVt( ksBľ(eز(jaY7]WX˹svDX-v61E1&TK;O6wo$DONx{rjϤ5\FFi6Ŗ=4YHh.n @lZ'OR>eX JwY̟ZFN{ֿ ^NddF,%>h! 2OIљ:f %;T@z)ybc\hlVG=r3wZ/@+f1}}7X1d8W#;E̺8En~chdB:sVWIJh}\y(s~pVO_ϵTpЏ,&ij80(}_+sLCDL^|3 W>1pP>MHweaߨ}\d[o@KϕWBɋQOӱ SUOqG#ž۱n3xD,BV3 pK*2YmkBPL pBaN@#cFZ,SjLS BHd4Eh LtFkb+'m܅&NMF4;ֳOL3M0!wفǂPz+05:p"<\i8ؐ 3t[WdE:cXkώpfƿC}σf;[Oæ2 ?!|tys*So:{~&ޗ -"2t3b& sqŏ%A+q~fd1a(MEqvvɃ rIrοOIR9]e_BO/ ;n}y lg\^B,tzs'~-VmǓC:fxg gJ6d3T32wBq9y5kedh DZ 8Z.?.6ٮum~ ^ B.Eݑ9{[wOb/o4pmled\!pN 9- =*8G"G3W1i+b(L 41멗0+Ip?-n" T QCTۘ7t~wl ^Np~*P?"oP;sYؤW03VQ)3q< fG:<+-(@ qkIz: 8Q6t=N½)"7MK%i&#l'RK!$ f.y :oG|A8c )R󡈏c/']`Hpcv5lA]nwgAh#lGuUtf *B=3kl`Ehk,{{kPkO`U[F,2 o4KtnÅ))pUїհĠVH36MR^45Vsگ:wALETt{GOBp s<ez~82IAD.;'WM.Uisgz""bT\]]ū^:<%]*s+|C~ʄ'kh_0h'\uͮ: xL; +8yѼe<Ow1L\';E0]/¾ {z]<$|ei(PokIYM jA=vÎ* %P8>|n--;qZa{yw 5 z8&~;w'21f_ʌK]Oni5U<[$v:(6y& Ԋ=ƥbŔ;hDOף3эA0KvPl(/ Xf_Wy|+SG$PHx gPqn}t\rzx ^s|G`xھ'҆ oɳuO(%W*]I^^_:#"s63.mT 5qox՘[SlX/$ #^K 1Ӌ]s9҅/G9`jc~/9lfK٠}9F@;Tu_=vw]Lpju3G Yj(T;G'dN_$ˇ9D- nl˾ B RC:)x]zD G}栚"JJZ؁H0.E*Vq鿬\4" &rAv!g\Vß&AZ:S˟G&HԙB9vlT5B l*]ɉwg{ ] ʜ ;$GLr FdC5pGD~ۈU1ٴ@%sei_[I$L)9 Hxg]x"s=AѯgRe+SNC@ޔHkWyW_QŠl1-Hpx# F /7ݙOUVs @FB[B [8*bPJm/FL+Wb%Ev\݀e:A}`=Ki3UݨWڹ![XM04*4prNߜxi۠>8n>ʋU+e`ckbǃ*i?"ț CI֕xEVo^ILwxS`aq@`>XO|Y7雕7w< k &c =LfX͑CX*lN!">3O*<[=Hn]̹.0Q'W2Ϥ[z5LVm7+Q1>v;R +I˿EWPhHa㭝yXe{"X;T&wtWPGFE>yBMkxU+CGn48\܍P0iGn hI.-;E`a"}_Da aՀ@ʈ܃v S{R :k 2fG+*?V[fO)cv0|iu9vCf3K r|~`j۷LWrgדt̻^#B> euל>q8랠!(Kc ld]z@x ɷT2T@>N*y^84Þݬ6bVjun-o'W8/ yl8$qMMc75MRAg犃d͚ɾ3*M+QW 6=!h"Kt<Ƀ!a):z >,ЪrMfqV5w= ۲RZͱ$+svX?5DBoo*Μ1ׂu1dz.Ï*s5Yzβ&AP0$ NE4D)볐+WC.֓2"=Cɝ2Y$d+ͬ9mfլ:9 *#QX` ;HdD%L7=O?nBQYI+wSvƤW^N6޿6ngN_F}Nֽ=HNC(qH=p& 3zvNodg0v_EM<5sI>lA_b& ^`|e" NO`YrA $>Љ?GҵWmt,N_l;n.^fҗVKYb6uA^mU>_y p>w'd\yAL2&i)~N3e f_?f/M|>2D˩fbÊ`?Sfxۺ58MtexG(u=jizpiN/dEӘKH8%[`_o4vZ+oAٶUv +߯As>-B!YFm2Rqؘ+VJI1h sUĮ0,^Ifux7$T!o%ڑ'v׋!s`(Sy:L_#Pc۟MOa5~ Blc/ 1`pXg<?%{ V=AAɻkrxp&Ut]!i'R;輟9g/n]qokJ,W40*0>E"=u9ά8+PD[]|+èn/37ژOOK_HJGZ,A*܅f9Jyힳ;"?أY 6>)1*\Ώ$"Y&y`1zQLXP{Vf){ZU+Il*;4fD&+3x"^ q*C͂2kL=/-o^b>ZM qnd <. p YDΝmoޗoj.X7P[">~)%佢)wLAg6)'M/+xa'e Y(O줞c[31)Hz2/qQxϔ(x c0{NvQreaWCr%'Z¹C#EJrN|Uh$~Q٠R1LFz1|JIzח@ /` f S} x͍n3/cW-33=X܇HoD+-=D.=~tj([g|a~E _ԂmS^5,2B 3'R' /pGrMb?vIShb͋9a{MDn1c1r+ Px:jpgߧU<ھA֨NV_,f g}rAZe۬.,hTzu~&o@b$϶Lט<`}ʋz)(wK&N?4{ӻk¢S ~\Y$9XrhK>rѥdM\# 7m+WFeXr>#X&υ5&:: #u(P.U'b3fE/j}jSDpC_6DXasz}$P1|^4"#H׵eK$Gؓ3y'G ,^S-#OT#FO}L2r,tZ,xb^Ҥ! 6,̳_c<@J`Z>iHɶjp>3jU:^ԱL .8##٫0Gfb( X66T0"f-"ewXi)Kd]_Ud>dP N*j˪`5) &NueT/! zema͖wDqf^󮹘9&i@ЅkGVŗ6Ïp+D}6gq{aTfb,P|#.h>S!0CT :nr uW{%e*\ qږPQ-ȶH1/!d\єWs!4gW & `zmGy#@pi}ggV}3CQ{QG̏FI4J4HXwPo,2Z%{ ]C&#K{P'D< QmW63FW"]O+/!!RnQ`1۴(,[ǣڸB _uR[2r\.;C=yQ裹HpZӋ7G\McEZʬ}2[) -Hso3ۿJq017~FABd˙q m,|_nT&vPD(kheTRg5<R-%ݘ aDI0zcPƙ9+A_8q9N?ߪ(85 u]H婮'?bڌFJ&0nQsgk( ٰx_1 ,]zv} 8~n \D^ NMaBGd-bEP4#t~aWf>Ćw&#SZo@o>DxyE80]OC}+~g2=7%Z ZjJzOM Vf' HJuQI,FoCIxɷ?;8m; b%{LNB34$ub2L,2xɊ华 x"6}-}Z{YiLC (h-HzG%>lb7~ j29t m7Jk7WeUNv*Jɓ@|jN)\)]~.>HrW$OOJ^WUf"hX(?tL+/6}'yu\pͫB^bң/y^Q;luVf)s}sյ#=~ArJshۍYcBV_!Lra kYm͛z##-Oޝ&MPg[68D+I'?b>?$"Ϣ|;eդ HuT,g(%5foպ8K? XuVK5V"}潶_V@Rnտy! ^a(#jǀ !/?5aŮF ܸנ &QBrk-3QH8N4v-󼒮m< FQHG6}թ;n@?bDvVy@AH*}B̈́Pn̯9Rn(ƥioU#\g5Dn!*??ԭ fܚB )oc5;ԈfX0ņ/M]Qy-`a DP{4Hc -!3Yf9IG^̭F2̨y" 22UBEБSٟzYq: #_l/I?7xe$|F&+NΖV!xp'/u8#R`XavL_| dXhbYۖsB4 O MPm6#JO3c1Vٕhc\ /TL[Uh|'b-Jiѱa]-Ԫ ,8<k HfvIEcds`vZ7P\:U'xW`'.e *1 >Du|}USU"uw7?q:{m.W5 ~RX*Yh*<P"jz"\B) He;:nGF`e/C> =|30.BeǥƀK: Όx"犞]NyJ/_w"Apo׉tڤz%`2*EX mqH%cU7ΥEyR@Z5:v6ك45}G ckӧm+pPynGictzc>\Szф(+}T{z=5I"PSaYs֭'Q~.7ay*8M<][cԶItdx.{!%RÚf8 yaY6krT$~-o(3AIG]u QNhd_Y'ww,"@|lN5"9C'd84p¿"ޮd+#?{47;IΨ.槦{88 YkFQ c|F<D{ S4]E-{fci1hڞ>Wa5Ӌob 8ru!ݳ=ٔv/[FB~u9!:!j;9P.aIFTM{}|ᬿUz-<1¶J4ˮ87G8w.azٚs G8V~2iVjJ-@ .H_y_YD]wv\dDY8:,GDs]Fq`WA> B%RŢ6/OĀ6JX_軎$1 k"4E,CWU^)YχX_z6b~׬n%pjԈ{/鯌S&;%?[;e[sx\.qK]2xÛ`ҵQ բM:|VQ񑣟DF­؎GLFi Lfz3aexc=^wN>|*R(o"t?Ȫӈ'gEw?0|s`ۢ0ͅ,N1z/DsJω*}|aR`##/jsG0aNHJd[ug]BQMx|u/D9I*xu ˏ`ش*[GhsOjiZIU? )(0j7o-]dI d%H#a!lm`gUmn}SW8o?bͮ˿-4{+U! bJMd9c@,/|4poǯ$K.!{% +tj4fr ?*B>ނ@O\T42;یL$oi' gs2du<4FO%>pSh Ui=hXҋ ܾ>§ Z[eq_<2nXKܙE:Mŷ0ǽr?, ׂؿE܌7@s O?Bg[Y 6']F7+j:1}=6dPzN:y ΝI_vSw xmw͍YDqHj Mu}qb#a<`YG':f$N;oȴu$-8} CaboBk_Apulv2Wlf KBAnb /plrL񪇘|;h9(ϫ;t+WWg E u+xm$h:cCZ&dJK mEa*ezg|LSgCy⥋z!88FQHsQ(UVڪ H[D?%D\D21E҉IşkdSWP.fv0D\\Bټ[&^ m]pTpP:\%&kaɯ8CVmxጵ1raHaWPu3d柔l"ǺglXi=OElw =f/JVӓhm;"^j^ .{ah 1XNOtZH&4>{6`T1^$FD!Zw/oa[%'ԛVpR +MSm|/{#_5~f+se(i`s9,Ŧ*J̩ڱ?dJb/K]AHgEDzNLum{gn 흡 [c^ l@&t$ ƠEwzlP87 Qe>/I%~tP#IcPOIn ,VwOT<,]Mñ }u(,9 |ƯG"@8j283vrfi<@ɍMi0o%~p*yyz+~7v,6Y~p-lݽH Tn-4 #*d(5,eUEmpqZfaUŗ[cU|.EgEL)A xA.hX<䧨J:JkM43;؟aT"d [;˳zCđvs2EOz)UJq+9֟͢|*Ia)(3rڤ<1PPG:\P'VڟMJT1ɣsjj!eYl^؜\B;jkyNλmtEwa 7"_[#TX|XY7Kk9Iݴ'ppK1@236I\281,@7vU1!㸝NRd-͆ɢZ "0iήm1] kfyin6}eUs`D3s{#D6 E!( V=fBx$e 6Ӆ blkh>d+^{1{K S=BIbGP'aL@,<]z6#g^7H5yG "bAɄo[ե;hkXZJ؉IDS9txU:BJ41;V.(pˊ|16*IqV>Y `G8$zNW\ƃNh#٠M{[upCQ^ *QT>F$(ih"F}:>cfT<#<jVqT$_LJ5[ 1Fi+t2tFN %AB FGL_PP ELyGNo@w2a> {[bi6ھ-e!W,qc^MaO9:1T+H4}ȕtcV}r]^/ pfPF9T.n' YId29f7*F؇sk_J1V)WiRӦ9W;BJ ac;%!L͋w[b#m1ikgpꎘ++|BULA^ToCR'\GmY'ܔ9ZR/jd͒evkE'\ hGeM64/|v_ߊ1ǀl#Nc1>mYYhuGԐ6W &,pgw]INήQ5+=b-jJv]-#@"{ (܀.{MIMo0P ۨ 4 G7y-|SURiٖE#ҒxVcFջu0;ŕb7(-́@SΒ1q}ڴzV||H{ȃG< ;; M4b̲IiL =6;zoj( %o%KEU@ u ~L7% Bl c4ZtIS9| iRO2'; K1sJjKo (-R )Ģ9@ddYΌD,&VŸ!TsJf0 cT2.ɤui!=F{Ώ @̅̋#ӮjBH])&tx)Z/5xLf^c[镱K`\]fSiݮ3Xu6HBBs(%y9s .FPJr8Rꑉ:]mlMID^T )+dRB+t?B ['fM[!yIu7Nf=OPJތrS;'v `  v 0H J`6çeSS;^szv=Hciq WY+ G|R_Z; Kx؂NXrRgqc먽DU@AS&tY薲5N<{oҥWZی^L`!^#]7 49TdYyFcOsC]ࣄT'r(9QaN  4x\~\:Hۈ6z4jKxf[!˻ \#2axOe[DC=HBʣ'c/#- y!bldR3 ܗ el1 $q)fЬ$cp;/ 2@dFSpBI @} sw E J`b /qpu9.l"̈́S9zl2jsvFn%ko.R!:7ɳ CbC j^ i|$[2ay>=DwM ofjl{)Uئ)E#"/h45]DtSԤ@x?C+&sx̤s'rJ)":X{t'hݏaaG{s1U0;?z lϨ) di`F_{}GQV1Qep ?œʁ+G*{\͸klpgfD{~8YO\F/*eFӽy>tҎobOa?X:>1It{NW5@CByU)Ĝ1좟k`%z\Ahu#[.5 hYBKoe'/T I˜ ʟm}`*nA$(_? x^٨uZFU/ xdBÀ,V ~=Dz8N]/Sb{-5N$wG%}iuIs?&@Չ(q<(rK`, L?T '6u }$^خ4)11k ?hT6z C p*@&B;X 2YXL zΒ>Wѥ 5mA+/ONޏpo3P/k0K6n{Ͽo->d8td.Td vhQtxIS"35f&(vHI xYИB|qɛ:X\gUu˾dT}pbz + 㕺!m|\NB9R^\gn'1oC՛iERбFߜ2M' q3E/@H%(VzIS\gϱwRb[eq.85뀚ͻk:N|lx>|DqϨN uWrM$̂atoIM{i]ሷRS ef 0#k즤L&%ܮA%mqfW8GtT;7vgnqLsJ,G"!D JɌ0?pᇻD9$4@cQb8b6k&7D5,>0 [Еh;0[oØ "nA阐G&/)pdf=']yE"$"G݈i=~kIJ*8"| x6O*L QЙ8E^iCۓ6lys;Ĥ IЋ^r>H] uM [o*@ ;Ifē:D9/˟yQ򅓥lTT˱nҩoY(muzDVڢbxƉgT }'OS2U~Z]_d̛^mpTlB?b: }`I]s)RLe84ha!XZ//tp/7a}`/|JR\9FXb+DT]3H pAU<>3 ĝry0ؙ-Wm[\kXS,gݤR,5^4ܢ%A#Uju{+9C&}FL^ȯw2'e3qdׂ50l N< $61RAI SH@)M%:Z{hL'ra+L4 {PE<9l"hY))'^loʁHy_qtۖNKi)Ӏec>&nZL$ğ *V=9K>$ujeBys>W;aufѦD!8QȼlR. i,yԎgG>'`! Vg.}5p#>H`֘*>|bp4{tjBUӲLŲoɒ|wR!"yѡ_bF\ G(L[奔%fl0Ū4 &A懲 -W2EE?%%?m𕒨p(_4Xj2kGapϡJ4lˣcql)wR!l$I%(^LɫXS ꍅ-M8(Fom3(KIJH M'5 w-ĪGp]Js?0i_6J;Wq>7-:zӁPal2=ա*=n1գ|5.պP7o`Ny?X'-XrOgg҉2GLX !I.! s6!Z/@Qsz5{](pu-&Uu)An)i/;zAd(z䯏aKl指N}$h^uZ$P=.^WP>7~8#'7m}6oYLqZ9NyF$ي~C] ];r=5/B#k{7j+KWHV\_@+Te3x_Gobm8*49ﱚAͯgj!Fś<0)&BY:ߖ#3vrbdz~QBefo? hkǰJܺk+3=@%ɼI2~d$/$!81I8ܵ+öŮ(!YAxqDtl;*Py9'qeix_LQޢE-w!^#sB%OT;pGZ lq/\cVWgK"[D _ [DffU*YzL`TpYBRMNW^hkh)dc7ط;k&bџ!g^i:+pbl~j%}ڄ(Ҙ:a2SEhv}QsMsCG.7ί}@|{JxP6/s4@?>x*u hiDsr_"Sb0e4s;-o`ZQ)hQ{aJ3v)LDͻS!5D<zPG~ݥG(N*c gюΒ5΅tR`L]46`K1 Xߔuab2ĥՆH_uj#;8Pld 䋾Ǹ=Xܺ} :C=aMzqXtxp$)lP?m?[odSF7~67;}~8ܛŔa}Mk/gi]YCt4RlrƺE4W}X\P,QcH7^cb5dfč֖틐"ζaŝ<G="$1hh}Vlr~.cmHv8T!_ݪ?|Rj> ̑hJ6eD~mi%,#o(~Հ4 &`Ç5Gl>YX*ȼlVNF flg-\YxI%dáj{QVFDe:- ϗg\f̢ Q'ȟ`򽅤%R!z]ㄧQI ( %T˒GC` #g&PTK՛ :Bo,#xv[ H* +n 3j'@4*8zuI:u9ںҊV<Ѝ0{@a?6Ƕzqmti]Z!}ocCPr+wjH (sPq8lKrɠ`8m Aԧ{LV^pJi6x Ip3IS6/Y'iFc`WȄU/ g]o*YN@pryRⳈj¯kӯ||[^=S$k]k'x} 7[Vλʅ_t 3CΧ_~N$qjvB']GCCVH! ,l|M ڵՒaes$Y^8 hsP]3UJեg eGk5N3*J[l04p$h(K@!/+@+i}?ZSL`0gg*17SC NIEt9簊 \Gtm'TΖH: #Hw6")U9]¾~428=%X"Tg%PڼܲC!"p@C(ѻteI&KrqFdوl,Wl cMWl[N j[KT4xtp??{&p7ҾKpLvI_nqއ^0+;=ohᷠ2. ȷCVx7A'änqfWˌ~  -p-Nl|%Bh%\$la9X$Q Tʯbjy%%I.8L`8u5k I+ q9Sm89pƢ$îzׯd!N6{{ 9}S]g9(e^3VҙET"J}1OMa"U+f.cHy u,jj,xK[a$O`7=M'sT\'l.`P[S"`Δxoʧ0T/U 0ޝuU:<d|@r$^> P6$ '_"Ӛ1V?F܁ɻqnNx!Y4O-7nTi]P6y.6nAcW@MKN@Wg0Rf $P!vy R^Y}6]sdX gU5Ʈ#V'mÏA_-~}B8J h))K؄E4k˲ow?\7 3^;MMu\1qqʊI89F^ќw?8!T2jm4}bS\xGEOYJZʅ`˝ˆBanL|O9T 0<#rxd%7Tp,[˳3*P+X8\d3YJN-< GDävfn=>DʮKhyfOO=Scg; f\]lj΍uGBb?c1 |N>V; J݋8ugL(;b n:Dg,>ZlLOx/) h>jsxVk>KŨl~tηK^H̖6g3x0JXQuwm1y9vk׽"qD~ *4%SN+ o=T wV(Dΐ3 #QcI7}IX{lW; /֎eAGSjzODK;ӛl 7VK3SA$+)ր.g80yfBmVw eևQ=7ȆC\s-hg2`Y8'}o7i)lW#ǂ),Wp=*<$$4d X9]3١8:G6[_+fN$#Qam]">lud8!IqI _ &=|*]&hu~N+ATp3Y60˻,]~. h\ڒG 8ٙ.0ΠCzp*&xQpG|2tk?tAwK'0[y=^ev}=-| S41G^ mopF1Ë?[ʊ0.dIQMC&q5DUhp s 2`ql`T l39,(c>+_lL K.#:"gg(KU S/[Hpv,'~tP慯C9[R6Fl/2xv͖_#Y)UBrG? }-cZ