SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info yyg# \d ]S]Collections:threads=4elapsed=237.678cpu=609.108gc=41.804factor=2.567zXZִF! J&]ŗXf[&rԿK>ƪp'>'hO, ~OgSBsh&YjNd(wrHbNi8W\'IlbtwAhX:~y69-/"t_X zCs93 Fl]7XRw, 5PW ~@Ut,wC9\2NAK6n!34>_\J.HX"">5Roo.2ͨFۈ̞h{n x}p5X.=9Ն&%sj7vvbD{Gq׀L#Q7 aÐM xjۘ!6^%6b7 X蘖#@@JWvœ3U6m ,Ȃ!CDư3ެǟiGyL9E`eKpcc!VqgenзMFv\ ^NbaKiYN bD  q2[i1B^r 5ZFIs ,'zcD3fڹ\9N2E]ơ{zϧ-x+y0&R kBEbJe=DpB2%CKla2C<;kpgۛCKP a"RQO?S?[fZԄܕJF |ʂ#R\᳻n=c >T;9>8yur>;[_\j4r_nSayVP~7 z:nQ5S9n 9ƭ)O%ڇ`G0G0%Ki|úu&I ?J ydoG׌@h>)NUSAS5zXRdZu!ڟecLWzβo wuIg,ǩ^§W;³yG\d\Dk,q6LYs%]<_-mPLI#|xۀb^$x|gmDگѫ$n廢[{;g8fzz5&"8&۔|mR?q[l0tmTEUb^K/7c;֧p^MB WY\^HE&,::^i̙͖\ {ϹV718Ч\Tu= P }O:P5$6<$*[qN]Z76']okFבt.NWn/ pOaJ4ь3n!݁MFpYo9 WIN{[ݺ&'r ߎt%n [ C@d1 @KpU`Q?z@|.&fV}׫~!ζ `+A-10jɲӰ @>KSˌ;Bsqpj?_϶%i>R0rζ\;˿ N͊ =ZrhQo(Rev.$VTl!ٝQrQwŔIP`"[O>_Ւ݃ڎ&yM?WZzlP+<ǘ?;'^&e yMmqXJ8ȣ l(fιNT+E 36$HYכ_4%)0&9ꖯr_sCnݎ,Qbit=[GhϪ6 }SoA;2/xigh4goi~׌t auɧ9aPWbk&Ͷ(I # CollectionsG#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %Ag 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按fQ~v9S*Ż=r_MKa)Mu wN.%>ޯh\+u02{%FADzA_5 h$&Ѱ~OW-q t}m.>eJ%p\]Eʼ}a:~)'-To_&dw*> J(9 քܲup#uux*6,^>0VmNTz+>8h KkW"iěSWx|9[[KL.$=ĩ4Yph"N6;=|bͣ/NZh(pCSQGh7l_W5 9c8P[F}ѯlxR πfG|u /:D"sdvdk;_v啥acS piDt[6js1y,9&и4Cf`GPFYK8 mҲ`|d7{/FVtgocJ'>?f ݟM=8dNt{\_`: @^:)a&کENq2GI GT3Qr'ڢk=X]-o, Oq5!.&U/ցi-y=h(GnX1wZk&r*brzk+'&DG\7P٨jz,;IԸCXK q*=0fCbYq&>'XIh*Ș}*9cf 95&N]Sn!:hݕ2fǂ1~ʡ)mxR8~RLWo^*0h/د9#<(3s/y]mAE-T(ѳNn#(6/h/L CPT&п4䎵ns?;|J,(!u݄ .03ڠ';ڧf[]z2j[P u8jr98g}G&r%MDŽxN+*SBC}!z05Pv;)Ozb+轟18F Dt{ҽ[)h?k>7)>3e0P;0xkzTO9FøI8I{QcE6<2+H_+adǁWxlWWԞZG6<.̜p7qS:GJ@|?=<A%Q 3 H@鷆}譎v ]U*)p"giEDTxB$K*Zx@*Ùu63]h$xoY%)T w^_?F )FZZFЇz~"@:P'8EgocuΙf'7/ĸIQoE@H>ta+vD=L.zȃll`Ԟ%,}?x$;ྶB;ǡýX!"`?Ҵܓ1IxU'Q@[T[=aFAIː$M=ui},PH~9`u>2۳qQln^^1]̵haLjiӂkk>6Qw ˂A "s/rRON,Ղݎ5y&QMOf0~m*,46KgZUxֶ'-x=@=mN3q1D3 cпyYoϯ8<9{lI\L"RՌRF?z|!ۀM'#ήq1H5\yO(cqQY'%|AjIX΃4%>cƐ uPŎ~$t87mTWeܼA]&b9VS ]v2āe @AƆǔd+( n"*lB`ڑ-Z'~@}Ci7)!:HJ}ӠfcQֵW;LƦb@qY"w/-_2_‡=%BmB-QuGi*n1dlвۢ n27 w?|j!pm*-IAQj@;5`6<_ vT$8к&SJv% Li)!{c'1᱖xlpQCI8W?AxT68 KpfG*(}p&ĩ~>uxJXZ@UwNbIxsQM-(N6H?na+N9Usc1b؅Nf) hkۨg\k[17pnwwȗULV4K9]f#ï$fphےGT֨T=5+PS%ԟDw>| V\*1V^=}b?}|s a|U S~7ҹJ{UIW jXfIQ6}.\LWZn쨇 @?|A,)jRHƍ[i%xFKn۰Z4 y[KhDNbq12fDfj%.f425.j+"KcXs쀎L릨~2?gQݱgYZ7zXZִF! 'C]ŗXiɟlAC/B[QZR[}ۏL0N <#M?I!-%{*C6covI[K1j=c}Ap{;v aۈ@dq:R(eAh(_ X?bs=u4H8J١"7m J|e3 l=}t:l=B˹m|"giVY8䉡lfh~XV>1];#H3. jVaGJk2Gmdڟg7Pd;sMм8j D(Ki2-\b8nY* 4aCK1з;ɏ¦dy4mGq?Fy(ԡȐf^3pq^0MIض7ax ͞{<*T1 }ڵxLjr(ORTӫS)N`iN]/¤P`pۉҳ8ᄏR~iYRzv)ڶwnn(^T*zzawTD5jpTx]-WRPZuR`o:!*  9|YCK*yIh/W,X+ٔP)_lpHF$Z,uU 3-S-gK0D"4Բp%{Y)s?1LM:MG#޻#gS=ߗXxx֠27]gl KJX0U˛$>nEX%li`=J-`,O&E/~uZ/^ɂ- ,ڵ?0IAӥ~WŻ_dzL* _=[!;}ѯPښ8^#H׈i#F'.OoߒCFy[3tLՅWrQQV?d45C魓"5ڊT"|8Px[|{j4]l)9хiv+3qLδ</eP?YiǢL8i[lvD1zM\p `YIS:gs͹lF~-l&\`] ()!@cॿ~19[1o?-Z u8–ҐZjtZQ.#)ڌɟ݌\NsK%0/5rx{y U/w~s}N]֐'',6  ujPq0"at( '}\.RQ̺G2߀BaC5rVG$=]$SEߜi9MM**G -z[ }F0?o&bR8Sk`  MpR s)ٽD=9E12%+J}HpkkUTl~rPFW~;4W߂G3T Ww4يBZߕnx:)7UC;6v~ ZI'˜Hv% Nsl 4D} =j3T=7\ݏJ2o:o)#b*@#nNn$hPCN/sgYZ7zXZִF! NA]ŗXi%Gf|r脿4Kʍƃ#}.XwZ'ؾa hed c *k||b^edaUQHrK&u4b1r_ȈlBi6U:IM$rۛަ*yf([&^l }7%lhACƛt89d$- { *&UGڑ7e^ +3ojŪ0y_cÅ#cpؓ\$v/n{Ƨgy6 .G[[tnh0C7{APNCxm *ĦrZ_e >[w%#o~i#'ɯ_׌ZȂҹl:d @X$ 3|,]i{ 6yU6[hVQJo)zS7m=oh 񇅵Gֹ`)5V P~λ5mf.}xM] lIncߘ< cq~R\a?'stek @A:~Z)ϛ':t&W%^+K{er4UQۛ AJrNJ}#-1rۇ+7d{ b]<0 nmb#Я1jE;bk*^1woSvo nB<=gγycPB95B#S[gk+T$U;%!)AU <+O0 "V;%.2i ⬙ ӵmKfʬP-^a9 cq$DAOMi3OŽ";䧟6Z0BP23%k" 8ϳJ?C@.MY`Z-BhזoMs3#ڻAo mR V|VoԊv-B)pw:I3 H1f/ʧWZp뮳^[2zQpk8z]NgXMT􂯾Z=ML 0[TƷ L>H~74ˤ|Bl, <ufOoHgW[f ZFi3u:o1eGe\zRL}c= Ԯ<Dסg8h 9$H>!7yX\(lKҗ$iԄгywb@.jgc&3mcw#oNFZiWZkR~ܮ8߭WWiK e5& 4zmTu-%k<ERA=')UT@4BZV(Yt"~ͩym''Uy)N2&ƟR4c 7z!~rdhsz,H,ݿJo~XW1F$i׍mٟymRG1O}U1ʶrV|m+ g۫Y0XsUL"C7 kK$bb->4Fzn`{fnZH2c5JJ6p;1EL[ܚʄDYp(leށ>yyʥb/*dd*aN/D?cyvC) vg/Mj`pw^HJGUD\ 53TWEx8Yu k\Ѭ%;v4I&pPZ~+ͧ9fekXܥcT^wFX+&@UֲWSWqAyR ,^ڻ,}eDhEiV}  ;I#egOo0ѩOW YSکN8nvO JۺoVx7G% ֫$39:&r:']㾀.ݠ$cځB5]ĉqY|ޯ$"F S.yPF8EK)lHX9;<6r?\0bYR:Ĩ{^ PsղΕ4 49I6Bl-Eai0P]~>u@Z(d9\Y78L_: uc*J.CP ,:MόÈ5FnpeД@׶֧9Z<$ 3ޠbNH@8&'{ ¹o~v/dF5uo 61t@daY͵ ~<4\̂gfA:5P&><ސФ Ҡ!Wlk`4@=KIrLvS"2 =Je:nteWF+D i!  :+&R3L__bȗ=5^Y̏kk 5ah Ÿ9RS v9hR|Tyii3 B̉.ľI;CSfg0ِԬLsp>ɀ9H;Oƛ{G0PB#-cI/>집9Te6۬ŬU.xgLs^Q/k50zjwA=R #uC p'!Apq*ˋRd#a!_*˹v 1&Yi"'xu/agFt|gaYLϺ"4.$Yy[)__0}1a;>J]ܯ'3Κ DI=J6鄃1*%nE*ELGW2+DK1byB3yP :VTv<[(Fj8bF7*9טJ6Ҩ ZV|l#[ڑawl${@ZE>,QF1>8א RN: - -s x=bTA2t,oD,4>iIH~?3 C8D \OEbgJƮ;p,Ɔ)4;7|4[aMy ?@4OoI=5̖8,C]SCT#&%ЮSYK/|n"Tv݃VIZfq! NoƯj8[{c#Hom -r[{^8̄j]"d%Q|=AODKH>V+#=Bq l2w;@5h0$ihPr֖7`lOVqͥzFY[m@ξ˅\V4 Wˍm`ܭ- AViE)^gr:0ƕ򒰧#}4vI퍀j594 aT/`ԥ(JIo 2F*Y 2 b0גmAb <[>t>^3 0U#(;-.) zub |=9J3O&znq|(kBFrTbmBWĄ MH3 IcCDB6AςZKԙj1@c'#u,`T5K::r n2 uWo}9u5l3OHS56ۃP[qQ^ =%qbD"gpH5l(g#&Srʃ(1I^snݖg$y7!b\P[&~XW?ϩn$B%W` U<@ByES6wy _`"Lt^51l]u-g{ƻ Vbc> B)~KKxn W\&_5* 61R!r覚䃁akA43f^ QXritjݭ UՄ!hMl~9H%!qrt7ɵKܡr1v6iM @pF:fhs9S1dg׍o ΀4޴"IɌGle$*3Z;{nu/B=5ȐdNa[xR;՘;K 8`.mT[D;Rz\e[Q i`ד H*!&\rܩě4U!kNT7.wa^0܄*].}ϦvG82.Nh~?rvڑ”*)#PU8˪`N]5"TƯ2݌{4dיbLєc~>zPke쫠5mV7{}u*aWxd&9!Ǜ00Fh[qj,;Fha]~ vF@|wqdw uƢTeB12B7h7Ȇwe%U=ϸ6GB@5;pYP`j癬Jc(HtRW<5BfuafV)aK @VJ-[ <7E&upB>8oR;;=* $nׄw2\@-N@-X\&[*'27{rHѐ9&b PEe( ve  Z&`bo$nAEБgW%;Yc v FRT$hIL |n e4]]< mÁ|>@)ɵZ>ٕkʀI`<1,&rIg {Ёl'pDg*C~١@w-G}a4wx[퐙CyL<-)eOСlߊ6fk,<Swoyqi;OLqd_K7QHBG y#YYR2%e'A4 rV6 h{n^z3{F6v7%FZs`c"z4͔Gm)ޗvmVJO.m1(Pa-V:8g2p ؔ.F`ҴhhV<;.Em'7Ο*(zO"U3 |m ]y l/jqCB~wQ ^u; se5"n-/O%$XPܷ%X;b`uv'JK"d (#1zd2%F#%IɌ)iJ9WX+G&{'s6Pϼ̦d F`:_#pm S&ǡTM xZ'f]/~Sx)0]}®k#2(QuZyӒ' mevM{d.ElrEMٺYw_5Aϕ,EO 'Ar1d'2(J k _rfT-"9c2NqZkƞ6 ᣼I(\7Tߛw ; Gkszw vrH;9`@Ei&jqk2'j߅m~D<}](C7v9a6Vk_Z֋Y ^JmWܻ}dnø^nh(I *L[hz0*(-@H#'42Ŧ/-Ӎ$9t P#," @H{U+fE Aз*ײZԅЀ`&Lxko)!;CY]2L}`OO.9ɬL ;; RBcaSxn%U<56ҁѪKmG;Uq&io,?&-8Bܩd"|8L.{l~$5JYjųWo W>L(`]u?2} 0ϝO:"oGN3AfX Ƥ`RJg*;"*hgb3bv/3)!0ǎPe %&zjpC>?Gvd<.pP2PB^/1jw@I3RHFg]`6yF(3a[ZLz?cRF䀍|ט+u{-r|Ek&ٮ4*3kPfM`vd̘[?i[_R"wJAlZꇵ{.i"Cu,v[+эMg;#=[H?G_f@xm?cB$u JZ`p&AnNH}PtĄej[pű_7tE'W%3jhͦ79qyiJrVaKTҘq!Dί>kUYm1q 6| ⫓ ],˯wm!}~,˚[ MBz`fpZ@X`|~s?5j]IPhg8ԫ>O݉>Io m4jPɂA+D.Kc;Nқ(KJopS\A}ofw{~٪!ow=x9yu{ {w1&L#0_V5V o"18T)$ X;HIm Y䉺2V֍fT1iPp2o)&$08ӊ߿-={/4o[F8S1 |;=2ttNz_^Kʭ&1yg؃chg+3yQ2u?q2h$֙ԦYIqVLP$O%?/:.p&:%l1;,D}+s‘d1h)f% p~-7t`cx ;f` 8QH$6]?jKˊpN ) D-xUs0dwkV6mxLMF٘w\ɸb“OgijC%AR:8֠uR1)E]u,nn_6*4[X;gjm4}rg ϣ!.3-ͫ. WK,X+-<:|bVB"_*n~LPgP ;zyM$rE<GM&KA1i~ xcOʎ I] -R$ F-XmU(<;UU>강 C$ŶS wiٙO8_H;YMq4j^ |:,mjiypq Ql4O\'.تߦá&&\6uk_-p$ |!c0ۉmS_*s/3p0"_*9v*}")YAR;y!TSQ DQݩsg{.;#|E 'n9W졔HH2ISWۆD^ԈxLk7Z=cO͓ t$>glIJ'@8ѺDM'/i/g(
  • Hz~W' >KUC6\b>ʉypZYܯ dXuwjJ w&T&,+' ?iaۖOM<>`1qYVV a$&>EAqe%ⲿ.sv"\ Vw[#*RݠF~` :-ނ|>=?Oy%"is+њūmE$B;>ut_EDC/%[m6>z[Y(7h1"¨xbtr;!Xއ#{_:Cfk%l[nebakܓ+tW3AK^֝ "z}7h%~ZV9R5 tSbС?ƘܪWl`#>qOƀsyg%!w'[H e*ۊo֝OS>ssCøޛƓtWC"&_"CR.opnu¯k:aLibhU k8ƆT0ڋR\Bp=o\eԱvyh%tMRk. -3'>C2~:' 'r:EӳyP޷bѝn[,_v;(%>aEَ@/0?_$_7-e- vpHG^ڎ|H-5KǝԟdzҳѼS@?'&Y#.:-\'TKlarS>D%M168ϰkm܅2G5e88_Bh1a#5OH6cAx<3i rVL/j8c=M4zۚSྒ|i}.LPQ, f=sC,0.3ƇeW5Ֆb+R2ZA ,T&>f4x++Ù/^)9[-9j{xb Vc v]]^Lja*-_fDe73erVK{2oUzُ$/i]5o)̌H   O.k(VG9Mup`c9ItL& ph4{5rHQ5R ko8=:F0pE#l*eZqR1&.ã,^tخaiٰڻfJAE4}|j6??K! 13)"G7)MlM O5~<t,v\`q1A!U9a`*$-MZqoMVhaTeճh@0=V}ӿVKvw OKwAdvoKa_=hu!,V&~jzJ*cx) d)quzΝeZMm%\S o^SLv xZ锷WP52Ž"'OOɀ-uc{JQkF2qU6\ܧi//֔d-˯fV_IN1|qaFɰAc|I"@>6ζpr&tr,yBőfqW(p3*{brYc18Dq $'զhKY#~HJzUd(%f}nP'TXrQd{vjMAC BG^%EY$׏̻Oc8 s5gVZ6 :`-󆑳t]J3㭶XN3`ǎOѭh-\ښ `Ӥa: X:ADVZߵl x‡T0t&#L}sM4E5RŮ~B!twSD\A` 0*z< K$ gՑv1.[ߗjd-0DbYp*t*}D=K*5"*08[Q7w h=iى' XB3 Bwyeܮh9D iQT3Y -1p?,Fm:-*.ԵM\.jch|upe  465Fj3w%Q=[5?H[HtK,Yp$=e),vsOr:_.8n喦E*#T1g *H=F\Mڡl.mfmbpl{-im(t -P_vJt]Ҧjl-jWcw01Qѷ_7MxO%xEрKdtu No$hEXKzHy8Ν,:V?Qt(lڭMkwmynQ1``{/%A90,(!EZqr&rJS) mh䛽 m |NpDD/OqƸ&فϧ'Vrd3 Nf;5kQ>NWeP| |v9XCGdby-=R]^ 2]%/b>@ꎅ C`ml7e5bbg{o.,5' ,3@xa8Iܾy& vٺmE^O]o4d/4w#'J ePMM\]AIECOb_DUfg>[?'I܊otlhTJkJV^:ŘdLnJ~v  T@ 0=VNU%'2Z6uY(OǫJMzJ%bZ9-|u؁ *ոs¤Ax? 8=J\#PGhA^=%Q=Uޡ]LUm'0vCZifٜǬuE[U9! J5p^F=%T}Hd RNȑm'F%ЎDؖmtZ3p *6dPE[͎ xK/gI葨 _Ed75c0ӄTf+9kVp#H7d"yW#tͫ κ4U?sȩlbRGt9tX_Al#'UonoS#K4RFsS-~W77xbl/ybD/1l!zTqnQ.!빼XH涟dhh9 r @Mw8؞:U_cB\7cGc0Aֹ7̴IXxqRr~tsq8TW=VmT O< ea U\ᨍ {S?}zD2t[VVdH! ڸa/n"yޥtSQOڲua.k$~ ^I߈ꪜr[-`#4*U+AՁ79/y.r`n\O')pO (? 2 .S@R)뒍ɳse#^~K7!)G~)~34Hf"ه$$icҼ&VJCOF[uP?O{uݚ>q2yLCs+Aw~aU?+zfyI pTCE?SWp]-E~:ҞL"\֔j|JʄٚMlx s\aU<e` .uT‘C+Ӳ5a}H*"\='֞hÖh]ꞁ]ĥ YaE$,; 0_ʟxzx{z} 冀 Մ0Zzo]L=m2J-DHآ7/O5aYц}CJ}m'ݗId??;DHjeIy