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  4%,td ]/]HOL-Analysis:threads=6elapsed=315.866cpu=1549.716gc=59.880factor=4.917zXZִF! QM]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[.cA~1$Ԫ@^pAz E65bØX,Ro7S+brDE?mJ;oi@3%1#QU o/q3짘~OMW CGZMx+DE. 3ݜB YjWG* "̤'cOYGĂlbߘzw LlnVԾFg2(u*. u4P M(c8Z~[^l9zrD'YƈW̿~TmKWԔϘʹw WoXha:Wȹ.+HXõ{)tS0dekk37 GeznTU % HOL-Analysis  z#CdB@ WEX;ڙEI7PYM`.Y%lN 05D;8iօFiPSeJ?#X2E<p\}%K$M,%bSi@!)jJ GǘZ̙~o8tku"`OOfY@jª5rpZ(Qc! \K{(Z73a}K̮X 7+F3D$'ݍy>N,x~,Y8KB#lI,iȆ%DOߌ_M}qelUL7~gNT+O]?2Î黩OO gdFəg%S&AJYUfO_ JZ88"NPK2F cD|ӯA9/H!nIrA޶t [i }1 Yv .)|׺lG Z2**803@]=b &<.bqP_%̮u$EUT10";$c ݬ{XmUz Q2nBɵ+Ob6je=ɭ $UO|r; H9Jher$iI Mi9-MF 2܀x. 6hM`j0FH!uϭ.&"G\E!Xs )+o耏)Be~d8\擣j;i.IѤ°*Ki~jXKIoqLj)bXNBmX<5IʞhO+'UWJWe$#YK"Jޔ{xɷBUb nHQ ZG- /l6qae#]cZA.9zIQ Y;~!7Fk?3B6:ATcD߸\+BM5uWG@T9'ey粩BG<%3u`+~³_JcT͟Zol^hIzn/:-.+BDM9 u%b]qhJS],&Ia . Ja7f'7A*߃cC\c4/C2ҹjdVXn J#? Yp'N ?͕xʜ+OQ. ^:h:Ejbk]?s%0>@0u~+{|"|c)]4J.U\>tJ:1Ҳ,ؘOD6 !.?3wrew0 TTgNDCJLt8zD a6E#i4Ë5ylKBHG{*Bio ̕tBJn7T-s-nE!8DY0BD#OI?<Qd@~,( jm&(GHsU)ofE QaBUuqi1rLFI_d(E왒!Y)t/|Cﮩ^Di¶j*I,{.[]^Oh)/PC!K,?Gx/^=O']._ioKx@4rlLӟ^5))t MI 3KWp8ϸy lR9ztݝx1N!1M"ź~?Z 8ZzYC_af8<1Z1i2#R9 "cX[z*~);NOZ֜:_{#,谚ND}WEXueVdpݑG)P4J7|M7ˈFXIG;mCكOEbʽw FSI;UE(}CLSJ;m j CMsC=H@զUWk}w+S;6P"3&JN<\r#$H - rMGw!0Rt˺2gmv$/)d[ 7/X/BrP=>s1aw {W&eQ_ VS"B}{uX$J .87@Ӏg/#ѫ1I'#R4 vIf(^pWɴ}i\k{pp$IB@#xLdTvXHorF);I򗉲GSvA"KaIoLY28GmF脠VlDZĠNN0EQ]o#%lLEDp9K'IuI Ruw:L9K VJk<0"VqRO)Y\&S9>)=&hR5aHS:RfD+\7d@gM[H =NbO/(E<}Aˉ|i )$"a741ʴ?[_Y @7c;P~w.Iާ131n,Tk~8\ym |bz;AƱ}#N;@~&Zaiڤ&µ獎[:h&[$ i%75cO[( 8YdYA&֡C& $] ER+ojSLUEMx,GW8pB1C:#]FDvg/hM#$NC;'KO={ :]?OS*6qFX׌BH&k0+XrP6 8oѩiZn6&m9E4z9#Ey@0^?+Wa\mv\?OriSDqҀV¡CRKnADT{Oݕ$˪F 7tcPle:.(٘AX9e 6gܴL~~=ށKdѿ{KN^fvH\4d 0=%"wgxNSn3G^٠?ԬTlȁ+kNM A)KjI T\1P;xC\ 'A69XqO0j]W[5+R.r"tm4n4J( }oQc~<c@SӾyN4J9Ayd|@mEL w5y1v{ 4yE@n/SEf+}dQ8 %V@15a͘;.C-9S,Oek:o1D^v#Ҕ ctIT:V *DŒNT]mb[?k玭&wOٙ!A^v4 7KZof:S`jF>̦ʅde>[t[$ݿ}@]:1?NvT4f8 \۹uL܋+KJ A0"94ygvDM\Ly;6/ ;\" 2Ppi("DZ8UY+LU YGc=gFCF*IC9/Ѽ^O/zZ@1iלa;oj|\翗kW4UY$]6Vwb h~-1ުH&E;Qdi *o(^$*~ Iv=j{=x Ǣ[-=N9Yqoqq\⹝a.  pNyA[sw(J61N Jv{IՏ SE0ðʹmKǎ>Od7tӤe枕 `Fw09 Lv2M|¼6PAJ7+:u2'D뚴jpO'I!u}Jz ? ¹ VK[UML\ke K"Ju?VM'҇&#९ةzfJ* 'wJjGkHSS Rd#nv[q<7pp;LT/M*N΃z@- W!6h?_hngFxf_v咜g"2o134zi)}8ũ ɣH%! mNv%恛sZgQ(=% kxa\p%c@FoYq#D^;$:ߨUxx h:ؙ辻vqT xE[FQ{ ҹ|{oJwpڀ˶'cHef0ZJfk-t8, msΛZ4j'sx`EC4{Nc2Vfb;tՔHйwE 󄓟?kA;5穀L`&!1mi# F$̅-7jCܖAx@TOʽiأ1Y# }=(r4 s 鹗,ݕzH/hKqL9b4"I,$Zr@,7k7pqt :쬡|݆.fM BF LiZ[aK(]y"c@#ɌExch&&ZÚ*&Xغ1lPh&0X\ Th=谙;*@K%5|`YB h\ gup2t eB ?ɻFXaJۊa-?gҷ \{O=K#T]zn(B eg}/,%p3EtQIk|oJLr)ms7g(g``_c<0HK__Aw*N/̝!S6" |##(BF[AѰc@F1"CtGVJ1z4׳ٱ-ۭҐ6\E(;Dq:U'^H-=9%GI#lYH&;jl*pm[B*}gSۈcP  [MijSnNY$)!rmj }$"jR;rn֠J{ ."j X^1 {C enqwt5WL=LK4zy'(H-i`Iyi/tmΊ@ϠiS[,% t? 'j_m16T>h}?B \v7dXyUB#Kb?x9@ðJ_@Uzol^ ÚIR=lxevb7ijI/M.ץJ}QCM6$L3Iq.[;[0;]w(̪)$ Tg25@5M3NfC;)J8X%nEvsLw=2z~[|\T:.mf]{VM:HѦɇ./G9/{ߧjpZ &k=ax[KpD^@|.Pt6p;~HR,>R؉?roȾ9/k9=8*RirKƹ^v7- %_ U0%9<߹fW^.cRg@ na4v^/*m|'js{Qdg=5iC˪,kXpᖥ' o$ v۸G .s>@VO>$Dip0^S:~m%#JK%/nȭgzpO@DZpx<u#^jk6a^=rA+Rxߩ/Ġ(>tzb:9}"=cWb11 "ak& RƏÀ:$,1aaNK.F 8Op4MޡTΫxY[Ȗ20nW& FyWM!;*B$;TsQѼ^qDא5ሃ.\g VD:|'g3+20^Bb*'w7*Ռ2^b!W@%O;q8# YoEN|_Q>moЪBg2CH7f_مT.'ctU?'? D1>7wX9*j?:w%ݾ[7E0%*VOb͕?ɨ3t:QJ]&oEg0].u%%ggDrYKlK+Wg U}Iм, fĿO'RMaB}ۼ93Ѳ޶JIH^a/VPy7PN>xa,}Rw|`f!6^fqJ OwnWGϴw6Vr}YnEGZ|ISNdj*y ֹEgOE6 H{%k]Ij7fn~$yQ^L-e "0E_WЄGe:]Lc%~ hHwUТOCJ00t{(ڎ0)ïhzt#Z Jޗ7Iqf&?'aK6)mpVaS~j#m s຋j9$YX ogyb;Y45DUv4)>kE 5>sܭZJ#Ԇ}L4Ԕ# "y$j>LwKE bWMT*VFjpLAB-'10.9KA7 A-qm- ]󡟦%+g0̕ lp-GYMY8% IIE=9]. >?ܰ ի-Jmsw6Ӕ4 :_Я ˓Il ˤCԈ_*e8CT_7`Dj"FlspzѸ$"Ω/nMtÄ5Ѹ "Vc~w(yԉKV;ݮN3[1YOWH L0L/(`r1_xRD%W@j9eF{>ۗp'4[w(ks i=;/^5áM51 ?,0;U Y"jj Zuz\&̈́3%a[SZkn:QMn@'"Q! K,@#&Jn;WU0NFkyYi mq#[$~abQV3v]}k}84_gGm\_-3%.H,k^A-}Xsj"${Ɖ@f2z}q ECCTT,muƊ.-|4HfQo򴫱=J6I&(kjfg+duSCS\^՛@]W!2bdjZK_( 榠(͆?ѣ,\C ܗb+XYQUic_.pKcbV$df6kUoBعfG=pTHln뵁8N>܀&WeGY{ÂdF -N97t$liBbfSi)-A]煕`6E7Őׁ-j ׬`D1fJtr!Ji-Fp3-WP/@}>ҲCnၘ-~P'P/ (2ϵyϤO&kTva_$ ktb?OO `0iUn!A%͔+ޭꬨ['A*1F89zuMbH*6/}.RyI D eL Ύץ$!Y3V̓IeKo0lY<7]dJu a_8qa//4"\s-4⋒ II 5qZ6 J%"bXx[V)Xy* D+H)uW&q8NϷRB l*?;Us4"_#|ͪ-h>7mKҟp=lq"0:8#D;Z( $1tZXwi$~7ռ;-L'7T+:)h͟iZ'%Ţ V*nbټ^m-<]PNaC3}Qߞ9#f[#ZG?zySN_$4=6_6[vUn c\OeI(gvUgߙ @#D*$`$|6քZ?bs8/CqpMY%yc{|wD )IPp8W*VExE: L3F[NG&`4/(i&{8(78hx>\h/K޾Y/ ߬y>h.ni-g2SA;ܿ9 A=X>+R"Q*/a$DI'#.s0!pR VlRJvC[@`{v74wwvN$3 ZmhtUIRXetz&4J6I(1܉rwX$Ϻ,͏+Ѵ%:P{Ө!O魢 =̊Y|ӂXU'Zh$#u @sppx?4[>ȢjJԮb7s6o~%.I}7nȻǥ(V .`R/77cu<]qusx #2s&r{\(Ɇ8M>xw*ɗ6V7P*ۜWhv|=SnM]\^NK)=_zdΆp0{3?ձ8u'5[:hxpD =JG=1) IkCf6d٭ #%C6,?\l8HU$=]h!MR~̪ƾJg~aR2ՋiMta.9Y)_ @]&J9>7ݱV3.UmѠL릾Nϔ1J|RMlj\/dGL#y4SOPŗDf'{>A!m[xgxD?.RT9]iȡTce7#k)eUjrWƝQL8ܷvvP@pm^=n[P_?@ `U}B%lvzl#^BU dU;>;[[dxL{Y'y8ꑌ2[:~줪>zM4݃hǮoY6`B]pKcUbD-\$3[̬1=\p5Sа-r?p^60_Nqr >m>uqOdU^n}gᘆliu[fA8d 4 YCz 8<+6bŰ5tnT],&<܇6+r؞=$F& eӇp )pe[)NQFuW(Y|M]K!0 E9ZK76_.pV^!_>CREd3Md |6f!!Qaj||5&k[=^=ɫ96T"QBEoI쯱yi_3!BZYdjumJ#PҠ'YmX O`CB(./bRL9cU⏘Wu HQLدI6 ġC#T/b}^OHi8`(+!p4"i Ezt^TN͑МV&*-j>wy_1@Ӹ5[MH\XBO' !{9S#1e.P&JG Io v@^F=21o"BozŠ|bNC<^k+ǨY~P7dV,3W}c ]k"8U$oa"Uj'O9 UrYJ)* )=%(^Zƙؼ30lVkSwnDJfO%i] 12_NY]kg|I1)i;V0l6//DL" ~6JBTErLO?G{ V[Mг҃gumg\Mr \9-DWnRv@*LH?jRrGn .E`Wp X6f>YzBdd*j]dVwA,->f9'è5j7gynj@JgM2!q@-M{H  O٫7)f)H'HkSB07K.kB;,Le@NcB:ӚwnGC@M+<>E`!;c:#G ܐIH6/(oGmi`eS+a$ΐ#۪|* CdCHo 0ޤw4Z][?VD J_ ],`N <{%@l? N ЙB,pK8':Kk1ۄ9MǼVsw])XfMU ^P" uH ;FMK o@}jCζ?%1>#J/K$1Y o6Rh(YQ "[օB}/M [!14# -Si/(oe0OBfG[H%Mm,=V+DMm/<)+판?"jfcDzS;(F(LQ`ht#\ ^r4N6Cc}٬ڛ΋{c;Uإ<U)yeb W5"YW1w , R1':Ȁxu8y J<޺d}!J=%}T.KAewDWaO$ad '՝nHUzw'C|Fa)I )ZxBTaS ):Yf-]mԌGb&oTRR2bz m|A7Xk -+YE@'-r{~5Xb i0٨VU%@ԙ~K*.kv}0ݳ06w8yI~W RQ6ojmJu6YT|or SD{jcQQj:뵗\.Ux wU0aՃkV :[fB{=RT,6B oaT Mbu{*gßv)"m]6k݃+fh#ľqb]PΒ(iU.MX9 !M?e< R/?Xzɂ`&>DLY$Ҵ z/;]hr@mJ9V'wʠtX Vlg*d>a zλS.h'b2i FBIeMл\R ʲDbh3LMHCW7PcV6hȈ Cя I{3Lmnc;b t Bta;)enj{80yzee>ZlMwqJL賁s7 즞 n[Z E 3 {Z"+"V0^ eѵ+,oqR| gY=Gۜj=]uIx{`៽ˡ!$GN$fZˡJuELy|7Dt|Fbf6JNiaeH,Ɔwe7pϞ/Ҷ#oMoZx^#s!x>ٯyV[S.q 1)0w &v=Y *77Գ-^qHsI*%d )Ծ%yߙNWM|g]=?%JlqD7t^J7ea&,F7.舘aN~Gb=k =`#ȗ b4D9,@P\XU9ןILFvv2+P^̈"\Aw=sL'P|0-шF'tQ)To%!6|VϏ);vbiTw jY= -[/ep3@EhT'q|T2][|D}h"&hmlef;60 O'Q:&k!y=߾¤IEˢP  REԛkΐ0_ %}r|Htju\⋁|(;_nSTjTyɱLqty/:Y):կ|M/zũGw)hY])_&yo~Ml#5}T?/_'k7K{"6Y\ZqU;#A((PK U5WLY5728!s-DOvSR?lI-u;l =9}=m/܅ýɩ={WӠ2P%`tT\Hq{nE9%{|45̂;H!%X vX9[G"?hљsHG=ʸLarnG ڂ`PF݋0F3+M~G‘'_rXt{ƊW:H.$Q~rXj%-|1cTl Avafpza_Ĉwqi,ۢed1+RUE7)2*bqxC7'M|a'`C2p]4b% [QyM/'Αeni#-ɦk>tгBFG?4+4D;/' c.c[{`,vMԤUCe0;L$'/!!J1tәTϟZi/\O$}nP*H|)qdD}ay~PP;ck{R z7 us[mW5<=#o,1p*wF *̀׏s/@JQte{T;&% dAź{_+<)OvYHKCvMkjB3BӪO_FloW8: P凧4ڄ~#rihLGn?мaL WVh~3%/%nbq\ÛNl3߄˭RkOws)_pߜdJxbdkBOO-!)iqtDj\]"S~n_eHp1'+N ֫ca8b bCi߳tB\פ1bIի,>¯51&XlC22{ "_2KP:$@9{̕SP'DT'VtсPz v{wSHONAd{\&ghV,:pqCNQM3|O3lM`vAz)ʫ%m#P_h&#.Y`JӸ7E^yJdm;l*(:=QTzŬ(EO eadDRgv#S;#sQҨqƄ ۍ`^h4J,(26 Z%ԊɆ4 ]^㏊,6ɹo g!ԏ@i`}f>#TSchxvѷhJ9#(= oB^Gm~]Oٶa&2yuY D?B ?>\@|f hic _~@WD*RVSsR]c_RSh N Nz-AVfdž"p-yL+GB޴J[dsær!"7Bo9kJi?%:Sӽ}jφnpcXAS!X%S-Q%ޱR~ltʅMN]Ĕ6\T<3"Pw5D?3,wk<yApe6]&y+l8B`{Ȕ?h.1"Z zJq2@,x%#"a`qnl{h%gTٴ #DV;NDYDHq{+˓LEbH&@m7|uX_ `R"QIџ\'F]OS%KP=c%\4H6ŹCultZRnhb^`@,['ZF]&#hm!&I'g\eXb?Ziec#) wG`7ʦc3G10x盬r$\cA\Βz?D*ë[&ui"*RҬ({űgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4ba''o+tVxjwJtRY]&WJ(n 3ӚU"v x6ކ#S؛n.0PQņMzFv D3X2? DkQVg$(~+FK"Jpsu-foa8~@`w]S }5F1|WkJF|6%}FP~l1"Guf-d{'lxN/-lovB`~tqɉ$o){WL fPOeWQddq$R_V{a}*:j luvG%1 >J(.ǩ |Xn~-cctIr.'p$4@^{4?Q.'N_(UTU∠mQġ†\Cg8f~ w]PT "1`z*RBP. s( `Զox َbHo5A{=o.2v-i]Gt:A%t8 Q= /hIEC֬! WdGQ /Tdl۰܈{g{f($Yw;BG}&u-RA%Kkb|8+KT% ÌP5 \B'+=mݪȄ?m x`R#ra8N<985>bD`}NS;S `SoCNk8H6rѪ}tǡ]"iAOVm䅒&ă, vLJ +'@Y(J>Mf+ ]vDVZ \6JB_VlNC1&̻ܲмe8^su"i+qxH1Vnn@&;P=[WU%YBTeP$iNoX\mA^bxj0l]e+L r?`B]jkVC./r{8ZDC;::?imK#8]u>i#{ȟ!+ O02>$XhS9; ~{m{,1 Šj̖VvzL|@)(cD([N&ѯm-` J'eY ;c"0.ͣو$2Bj0W2t3áUքc`d4Tsµu*GW6M,ӟV` N w$@Y ezTɞޭvЯ65C,AYx>T {S"p Uj%F9˿ܢUG MVm3 LG>xP N]|EQ)fмmMMcaf&ҜA#b\ 1apsz{'xߢb Hc a69!#.𴸕W[2e-q.@󪯝f@7ZDh-9QHdov@CTǔrFR5ү<1 [D爟%^$͡A2Auo,靎|)gwּЭNKT!*<-Xȡҝf<5 e&p&7l#-~E?X2dN6UgYZ7zXZִF! i]ŗXi%B{:KYA: U/5LV8K7WXO#??t..<7 UGŀ'dzU0Eٯڬ1cm2lNڬg0,?ri.ceF7W"ۦ&-(#lWO YȆMnbtxPQ4>[68\39 o\b3 ؃2_|G-hlGQ En#W?u.{o{ozöm#@pź1\x U$anՎu~~۩0/2!:E]' ]| c+'ݓ/W|tyo6S2AVfQwXJx9.W.KC;ŋbFrncf_8B{!3-V\\C}U^T_WR4G[*I"n LCe0;GIu2br^2Rc}yrEo,Yj:.s6 _pF_h.\6uڽ5>"I*.0]#h]֊ޡåMˢ95EW=-a:{n)Q<T>:Ji`c8دAd)k|,]Y֍mG]_A?ĦU͓9 #mԵ6]fve2 U%p + ǝl6E$5doBj(=Rϕ1!7 rOR|j Y 4P]}H;yaXQw, J#e-Nm^i*V̇+8zq6pfxz?xIYw\ A}S%@+:'4NJ/|eYѱyY%JxiwАaX>mwhɊRяDi}B܇K^r)+jEfm6j!:}3/w!0qKd4}A% F@@=0 C0J?)4-u'ރ3⫹ݭ;x̠pKAV,Ax˴w:sI6v1]"!mr L H Wn&%;> [Sl&V'PȻbKʴLuLMA_m=GReI2*]1_ 8OMP{V]+#;1>d-kKNXtSXZ8]F^+.b|OqnB$T>68n0Լ啟8 7,'L${\;C1(Wuo 1`J0٪1C ݙ|Ц*\n`# ~׷3~@,unqz_OϦ-o|k l+!4!fM}N]C,e+M>Jm`[ (|Bz]]o z"ɏN)䖠qh>iFoT ީ!OūS'˓0$%_10]& b~6c7kuI {ne,(O o fzE}zMːwf쏸*+jޝ#hܹxn/E.! Pg6ko<&s~yTajZ/f ZgRcP[=?cWUd"cs>rOZ Y rZ}ǿ襝YC]{{MےÓpnC|>j@ qz Tv_Jސj#QH#T'g6IbMHF`m[5QbRƇiHyH# L젍aBԥݰuN'sԃo\ F~%[ e[V ${X7X@EyT(6FS)29UY(&h@^G;+?Iyhʕz5Я8Mљ!$.'k?Q$>Zn,_f0H - )SY,h+/_ݧrJt42]NmI,|~lA(M@ݮU_I }Ȫ[UFyucMC :P(F,V^mkkNmK%ZqQPvIwf,Fnjk`Itxʓ[Zc7Zub F q_;?PGC?_!pdJ?v0;˻pOPlD0`ne6ăkFU8rCMaT}/;x ܣB-ֵ>fwAG7k+ p!ŶH,LTiΙm +-}g݆!WL($"5TW $;AV@'//5i]<. ,/;YFe?\MUw?.U4"4Q0kK>9۟?ωƪi4=j?%3͍D! ^ujBҶѰRs jX-0CI9 6]ᚶ-M-j-K[RWi.>Jg|I*M!ߥZUoY )dwx-8z=Ј0dZz>IEfے.J|ER){Jnv0<} =ɧR%~RK{ͬ5 3ctb#JJqI:5 8jhq,g(,k3Qh{y^ 6AxflŨ y#wkAcJx J-C7o:iaoaT'iܿNd"nmTrٯ,(ӥJ,)[zބZ{uG,Omj?ҋiÀ XdgA6$A8Ʉ>|cQuڥjLo"KZLdž{d~=[QdkDp=_/ \uh9{h9sOwibfE@j^HQW;fv%Z\#wG#wE.`%J˨ CG7C[YUգpD ؍&)b B=ؒK P% a<@pf:nAw Ld]}UKV.]m>+;=Z'!T3i]\BgUͅ:Z=:dU(VSJcNv[Wv"{@LENbM9ο$[QXijh!5nCjJ1_I n2?6PB>WEZl￟H4lWAPbʝrUYyx$|$$63'v~)n‡yJ^&'s J逄ԏ329E8#L:i\PoF1SdDD6ZS%ZEōdyWv^$P!Tq*8p,h̍ +] z#)7N5::\j n*FSFs/FD;8eoyӍ#Fh i=˜0L:KꃴΉݦPh,_rOC"lUeaN%5%9t_F5Ɍ#g2(D)s[êVӢ$Ƣ:Ѝ0Y4+"%>f 6׉f{,v hbN)$1'(2.27O +Yun9/Lzy{GNv>c9zD$z1K$,P:ÃHW R?AwRx:-E94 2_ضw.^:e(A҇|D'tP>SGrܥQif"bDL"rMZf*BڳW0㬦x<&7L@l"fTrg8l2e3iÙFDg쌯^] x&~yf޺ʤ)j6X1i @03Ɛ>qLd,qk g?nV,)o3Gfi-_}N/eJaj4Sմ\.DPc2v_#\ p@y<α!EЫQHoo >j & yg=ybBV.9E@!J[%mӞ`VO[q;C!Z{׿gIO~w}Bډ=P wX*OE\ŠT+m#n48"T&IPW(,sԣ F$. m.0ӏ4? Q;EzB„42nm1#y+^t2Z NGx:eoȀ_d&#ҳڣT^Z.H=3c08[ɒJ6xmA F7M2>k$LzPeaNS O nE6[dz͋Ŋpaq 'ovD]9&O%@ m|H% %=[wIfp]P[8Ď^ $!$΃j:t/CYb(_b)RBUlJtPFAk'Zn@ʖK0N;L3cѕ@ZCPdYp$?0˕~Ih] `x&!|m\}X'Odr>Z_z+"mֻ12_a!Q1pdoC(B $bXregM]gat: av2e}|eE?9!V+)!vԔ)Pd3\8:c.J4:uM3,Ļ)uL~:,ΚT!ګovwXS-C=%zӂ@˾,*N\.ˆ$~:p{K8H,Wx =VYf*H -0 8~n`i{/ŐD#YK;"\r]iqk%gqILE+=f"P:o[2q5'I*TtR* ۮ_ccT0ʩZڎ0=WRea)@636F]FK+Q\۵xiȐcQXDa1ϗ*Kz,ҀsäA ![#ݖ!gt?\r5*XWd*a d,xw=8@vDsHRR_Z!vޗ-g-P&!_WLzx,#Q@%mZLJ|f|KH+c.TA߻q wU]L$HB ،γHeTi>7iZ,17HȦ4 Q]`Qh_:h<3;'dwxȬI3Xh #@DA` h~gta5}7srFD7C^x;gKC&)MIn/\ /N$oTx$LzyknuI&I!pY&]7~ϐq(rÓ^6샻$ I*dFNV#}_~,א n9,SJt.)uT ^]si:$_pDZ#[' jZW}I37_G -%zM>|",oiD0$g!_p_L;&XROzX+t qvcқ;vDzmTC%0-;`O^>2g 5E_=U=UXjjz'MSd-PʁN֙S>DBՐ?7%#YcɼoeHE_Ke/dZRl,"BMԲUBv=~l@M$!/z`Qۺ+sM@O%ۿ,esԕNCOH$x=QI$CٺDx~HE @|Ա;B} ۰=vGq#OȀ3[g1dŊ/5ޯOi4s*4\xQVr9$rI<]YǼM 52Y8iHYfmE60|ؐS/n[3|6~_[HIqb^YnS_Ļ: .|N6 ӤV]15z=[KՆqT"KC-\ ڃfc:DHG@ևT֮"W7U1⟳ G sGvy;/Ulq.$,oP R\_%2`0G5kj&WL8BѡZ${ % p "LSB2vd=;&n?PWΟ kb&dYσ,^"HuF?L{Yl# `+OA^>ɣ&\-p"rH#-+4;Lf Obe SLe]$sLkhժ=I>߂H䲦6K9S-{PnB)+r*o$fCE(b`yCmyQjk㇇ZeLgG ^x gf%qKI.uGҮI0h~4uA/0BJX2o٦)U GxڵsXZ!M6!ؤȒEbxxs澽)J1[W˷}˼rsRoDyN]A=i ? -VDŽu>QtCi?\C?\ÉԸѩ#%†+jea_v‘z?XȨ PcAM =BNaOq~ۭ,j_KJ,Ly5:6(̤ud@mDZ-YoZ8VW sQڷ nu:cu )WP],ak%+SkEU;aul%!d6~p|wMsÊ!U-9jYEN,:C0=߄ B3 67qU!=y8vN䑇 Ej=oF3qGPN6>CX,( x2xOV #h o8l&iSYg`. |aۭ nۉ_1Qvj t?^%H'x'*\<=]{,/nBzb}hYyrc*!n5V!x~MK?{GAȇ'}6}"9xG% #yAL =f#veN)ip( VYպ{|+4f}A67tt?OO@{T_~ n/o>sz5zmd .a4򬊴ɼ(0xPliI m&C޲I "{)ù0|gB5zl)14>&QC6G.UjJGgH}K^δH6Dm!,m9ϳ|9eglө^6@)!q"ڣk* fvdce>0X^UAj،Ck,$KȀh]2t7M􅂊LXec$ r fдpbE¸8g7UTYƒAF;t>K F5RlVA1RdU&}w-%k,r#/hZ4; :K,$γ!>̑plbv&ܕf'{ÅvlݝtN,.ǒ׭#nco,fΧg*M-̈[E/wΩ uZiY&+n5j׭c$LKQ+ WO5KͭtIY;{! -bYn\n( DlQ%]Fͯ?صVϴ=i9QY8|^ȆDp(W2=F! M4DbZ]Ǘv'쬹jmhz1f1nc>EނsyopQvY jwQQ՟T%U{]=ٞ~4U^cע%-L؂O^plSdG!V/JZY1`zHsB?|F>d2C!kl]:|:=Bg!-r2V0;;8Y Z]8~\g pJqv>Z>xb^IpՋc*ސ gjR>,ѸBFղC*62.EڅΔ33cI뷗SKb{L]EpA󢅶 &jofC`iFnA5xL:dŹ<,?dx pK_j?WanVJk+-ߨzhɅ$V#}B@`t;[Hi;ٱm4HMTP'V#ٜBPei/ᖍK2hJ-Z&i}!8/ַ 1}>2P5f0;@iD˔욪㊬ XE [ιs4<깛- b}gt.d31LZ#tIW~,˷0a0"{Z 0J:t壤J up|ҡnO?T Ì.cVR](Ծ<  ]16 J9z'_cc$\1SPvsJQ@hs;^cQ&[ 4bSifDDK*#$4ъ] &oXV_D <*)!zk5E6߹ |򴜱AaRFcqQ2nS~{w큁cdikeq/M/jݰT]ƠZ(Od}RR{T8'!u}mfB'?Ci^BKn8<-F׼Lci5v|C+>Gsn5j-76{A3kI[a+]+(d9(5. 2Om'&F6r묨hл :UOϹFyqYjg=e]eneVث`P!Ai-AT'h@/ 6V;wYvDOIbDOg cJri9?*Uϐ"~ƾija;`ɹə] 3!8]W8;{:)eʳ=C?G˰Qnl$ٽ\ɣ) a5oZ2לQy5S-Pҵk Bf*2OFB[⇳IގOٲnt>ޚ} ;/PЪlFoapR$*pңlJ)ׂNhsgN1n.l`ǀw#^SvT#17[U+ոf`-/!J /5X% $+QqIX}->MG0!qSvqt 9"dð5E=G*6qvdL^J` )zZY)G9B/Dї%)+ $H>\㤢5P& B~UDTȷdR|覸"~y <[«$vVZ- B!HZR.k3{_@$RH#n}v}>[ʼnʂg}VVs϶Eq [`Ѭ4)}2ɑp:|VK9 6+ª04Ѫ{4 |c)*PO\Xc9`EFECxuc:C҂ƦgG|+[/}*&i %<,ͬՁH12`tk;EG_?-}0f'spXGȦ0kaqi'QHt?R7 {c0^P+,F{}i bsY'la (z֞(Qu۩M-FBB,*G~{ݯz"k~jyZHa5F02,otf[[Da@4*2]1.K p}$r]"p]U(S2^)Ul_ZK}a!V(VKI? Rx4URzRT -Q`fA>Nq絯c<k&NL[{OτWXw$V&]˔[ә$o8q55N8Wn\ҍ 3?s߾Ӛ6a'zaGrf;|GG&O%ZS;V!",!>%9'%R7À\HSC|HQBz&"b)fEW+0DF[|Z !kI: $(#cOp`e(O,.|b)$^.'[>,X&j<ݻkףej4P~z[ErRLF{SO(M@s#:.gf5pLh18?Daor,8(%S8{ ο(*TGmP'9L:R< 2>c^` Gk+$$`L+&W f?%ko簅sg|5Qf592;.10?gE{PEUK0'UGb5;w#|+~ eΕ\]H"!p0?ʗ%Pa@{Mq">OBIÇnƖ>b;ҢT4W.)Cb$өmdhZ^y('wmџWءbNj=kќWqMR":XлsfgqGXΙ:FZu7\DtWԮPĨT~bW,u6^PQbl6kH2'5^ Xk΋cD4| `6Y5 Tv sQWuaQU]vm3\Xgmmzv6m{uµtAQ oֈFa>\ykKbi08yxUnyTyրLddʂGwhՖEg]fyD5غ;cPҁUX0dg8l3:ۖ#Ve&]_Ჭ =ϗ::IM ݱ 6f@WTkpRHDd ahnV#نDڽf{fTAciaܣ1̀Pp az{FЃNm{גsN}u˔"6UhoR]Ӹ3'b jp$g2^1hF'\Pf_Eh?y\GL p.'7MNqG })I]C b~l5M;}z.p!SsE;T*+V p^ ->U>r| F5H{TMxGIZtGD3@H$TioIp2!xZV߹1K#78 ɓ[DX9ev|!GLHL`@.忤]F8҆"@ HEV'g'ssEi:ûom{4]BbW;LP{5'~6ro8hV`Cs]nEwE%F=-4a'˩ϑ&QzMr U!< asX L-@uaw^?<ǖ%9KͿnWm@;x(ju8YtֺHoF m$O\/r&UIf:ԡHx`l'p(atCUT^ ,vs-C󲥛Mb%^uNwŬד᠎m /5}XZnh-m#ɢF@q?%xS;Fy7A0y0h:=ÇTn[ #Glݕan:p(b93e6mqT@fvCx1N#8V15Th.ҳbBLԢoxlQ"EYjJ "&I-  }7" ]:.EP?_Ga I'JSZbE7NOJ &Fy| UE D'!Noۿ`HP8ewj%h?BdljAv Jy +ں`UZ(ګݰ&ٛde^m]`߰lTxz$&L̀ [UFgӵq]Vwq\ڱt}1q t;K~z!/cXpua_[c?̭zx ֲXH-]@p{Oa2ý%!d: A;D:-6 y>0FB*3p jJ6aW1@CR%Pˆ"ym7qF,ۆ~>o@|X@i++͋<޵`|y뢀bLڼ0.oLèI\űˋĜ["gO.dKh507m&~u}Bk׽t?T-EW/YGJ] 3UR.3jФ*Yr3)L /k:]Q ٞZ6ܟ|ĞR 1VkА:5fh|.Q2shъ@OtX| Ly9V$uh)faҞݎ @]nyk8B(y;{sخSLmv(jjDNoE'{wy4,t|JC(D?P6lLrR(.`ibW.WfVC4a܊2u_eJnP^q :uR3p U|Ch%'B5(79a;EKB;~k#MJGes)Aw1c=[\{@Y Gf %TVA *`h'ŭ5h!+xX+!ve&DBcŞ87@I6~K8؏Fj&'RX(;\a f+ B8E@ݠTRN%K* |{5wTPgRormc";P7ç`Uw.ȳ7QsPsޏK(%9B*Z~WʈM7ZzK_ NuCں&ii'%^Orq'23SǡQ/Ņc8Xq OZu9).0w+L9`ѿ+:*1M7=FkZ6Df[ס>22Od3ۿ< 7wȘ~il*_;B PJw#"/Y\6zKpﵚW+kJ^ $K ?WREڌtow R@%RcH0?[؛b0=kO:P>!à *b;.8֊H*BdPe^&81%JfLY~2레ŷ1{vH,q}⃄Z^`뮴GrBIL$ /"ȏ!YϜIDrG6B{ VCж{GUsf\(.9-qdDlӚ!D̋|@Arzj8#Qo.ڒEW2wCQZƊ^>C'mi"B^uO2P^i?2fx|S3i7i^F yW]J Փ IG{//n) I|r /mLj5 q.`vOn 25KIm?;(mFMkh0 5t0I ' "FݶNV"(ak ƖǶEYu /)!1i=5{6 X}=DdX|=@,?zAb ٿ?RNqS尚A13ٺY mJʂR1#)ᅦ$lI4N-c Hf55ٮkS.=wi"ˈȻl_0N:-sG.\T󶋆FR&!NA:oWZ.ׅzg(N͈:q*#Q/7'oH1ԶƢ bɋYhBaaNیeY<{b3K]+|#U#8jqI%nREBƫ*Yeܚ' N #7#ϼ[ c骵A&0^ɿIn5&has҆lbfD'6tʰ16o۰tV٢< W #d~)cIr,-alm\-{Y'ډj"Q콱#gmLhx4qL 'I) @j^R!OI  ;猍o@k_ C7U ZS@WJ^I87 b(sh \s9T -Fԉo˗ GSI4;=kfms?DbR;q\iG󍅾>lpiM xj'6zY7u,]0rpB[j'W[#צQjpHxqNQ5q< (Y\l)a"O SG}:k.q*{K^n]ZTK >w#jݓl B n$8I-(u:Ž>mN+={7gkl= F̎~uc:*w I+Q:ɿ0ʓ~}'wᜥmW0Lr=NA.Illiͻ~ӎ-s{U& 0 .ŗﴤaox7 569lcTt dLXuRS}/z!2yŝ C jp#Q8ZVlo*F["ms}r2!JȑgoTi;1~m @+߄᭛(S-qyDL_}l2-(k?Y3wn \dJ00>N)ײ%`1=x*>9?ދLH`Y0z>xd\bjё+ӰIBo3p֣"!\!T侭ue=*|nzfβ SvV=W#GN+5Lm?EoU)#{t/Dp:~lD(R[P ͿA@꼩U=[m /ob&1Dp*ѣD[!FSօ"LX&6]rMkFXƘG!//~YQ ={TTl*J7*H[t[GZbZ }}%#g&&%| ,4zM}"B0͊n"ݼN7EߔԊ; L+tU Q EE=b#Yp$`يV3-p/TN,ı).) ktTO-O!+J(r#m*W^Ftڜ;/˟aI?B!udb8NO+=Wdx2+t]޲ۄo; biY `&WjC%)B .tgdJ,:p݃Yr8'RhK l|)ٟMt:(8š1.t>؜?dctkQ9EF9ߟcba`D.rY$b>]/x3r3y[K)a?KA;2=2&͑e߿w+IۊȄCi?Z6Pbp.v5$\.xF[aHy8G&DOtWa*Q|y,{FFk)2bw.>1kmzkBxVR6_:T,zK掼s(>xoCqMb8mqMD/@.g8:SN}O onKbGy7*/,+"BMF5&L'Sϻ_@,Df1 nDgLw.Q#눰Ʈ#dBKRTԮH}GVBW Ovq%xY?s)WM)ì$ʉib% eG9ag0T"`^}VrG#L(B+ළ^}|2k06x"I쯝N6ݘP# Xu|Q{&)0 ̖9uu|Mb5{,:yUYMțYbG)-ʉO>e&3< ]|&x#'ZQ;\owW,Az8~j.G;S@6^YN$-H'Vj8 O燨R+U2CnDZ| mK7ԎIZ',t;/4W 5Ub軨XɬA?92Jmî"/S2$٪Y_I?vCEB8N}SdaqLQ!e9o'0e=ߣkԳKԩ%R ŇmehR\|-,kl{>PS2cv0ISxTKFdUt;JUW4_;:8),"G%~)_q{nE iDNgYZ5a51b672aceb1b714699800ec4b79ce2294dd685ee1785166a21b9974f34c6db4735c02d08b16eed ec22ff8536ec4b5c34ea2196ee11827fbde4653e9340fc43a8f91ca8862091639d6ab41c9d70b92b