SQLite format 3@ .;  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 D%|TT ]/]HOL-Analysis:threads=6elapsed=320.691cpu=1675.476gc=96.788factor=5.227zXZִF! HQw]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(m=6Ws<9b 1bN5 qň}(8ֹRT~?7raduMѺ$'I)Ob57*'g$:cQ'K%~ƿ9! Wj+O);L6sQ!9A?cM,Q Iv7jdկBLZ1ZW&N 6Z .yl#>&U,*EkYO Zp8KcogcLu\RUpWVsIJ¶_kGB&r\5q=V\?My$d)X 3!"$?}l=q$ut=G+lƗвuFy$rqReiBi֭9c\Ѫj*N=ݖFPMOբP\x,{A;kd М/dr5pcaMpm 8k(@/ƈVW%| he& zյLg႖Mwuz>lzNMO_'j冷RbqD0.C2bi.x Q׾33n(=Й1*4z|%0*ͷq}Hk H_Xho=F4ƦeH^>.UP:տTE@RhB[vU>iFߥ_.Idbb4-]"(kpVxc깱!Zژk3ap0V@,KO/|# GA/l0 *Q uG7 yӜHRMThsԸUU[N@r7&aвWZdKC1y[O-k Ǝp A\ `C%@q! nl_h舲Svk@fjdm(##g؟0GSk6sP@.,\hS|Iqۥy1}@b2e"gOjQc}<%V=$#^g%o/SIV2D5/fY(d:Q3W79. x$Z_vnmV':. R@ Yq: % HOL-Analysis  w5['d-Ljc |U򁇪Nd// QXswRremF yox 8ԵH^e|fmфōS%xvnDq}j_i-&R$xM l,doo8d yO,w İv<Tt Qt^(,;ѲN!k:5n"O?dwRf =z.\n56֋.\n{ƍO>(z 5/|zg6&6 k*}>rt.$ЅЁ LfҏPTax.'9~5{ŽQR֟)@: NZzV9SӊP-u=#>;?M<&u5OGɀrT,,V"3W@ c3o\!ikd)suRr{vsetgLx+bdEzXb"f}J|9`Vjr[rKsd_ZC(mcQ:bBUhkQpq~1OT 'Z>iXjdS%2O݁4aNj3|8+rQmZZrn<R0C|$눠]Yok L/&nƒMYqe<"1F!")2GJh{7~Ѻ._X\$Qbw炀k,BAw`(#z%ܮTs+9of U .Ï_j܋?h,f(w^wЌ4Hq<+~ߗmcdKƄ֪O9:evX>omKW̮^_A0TaԒRH`IjG#HV9Ӏ0v5-B2AV(MYa N#ۦzHH)5/K6uu5-PflaZ)u+2-l7'tzK#祧Y9v=$psܚXfd2l&L],* i6yᴙ(% jЖrWsE2_[OB咆ȇ?"Yk.iL R%Y~@ɥ)_ԡ-]ne@-!v &79U0Oߓ#4#Jq}}j\S rc̼x #e]W^0{C*Gղg].*[ִ.aҙ2ei#Tժ:Qbͭba6(ss跊yl~} yÅȋpOزjTty44ɳ\TJ3(@܌G/Vw,\u0B`3RzR# ;,iYhBϮK ({G.F߇W]`vLl+Xic4H*?%HtX!'̏ʄ N+32V4Y)eb,(㦺 rlTG\E" ytKȵ.SuC g~JR](ORdP:75bkY$d@[gm%|Y6ObYqVQ$^^镐E"xbO 3Og|"JWs3lx{^TXc<z\.]S_1]Pm%|7;7M]R~` y1FnzCSRQrYzR4 R||I_MF^?4Vy pP H(õQ1|ChN!TEzH:60n" huq;\ s'%a ï8a0!|Tau0YR!Ti:c V㐋i4x$j7Y@!vg"|W.g] iB^Iy ;KJXf>+Jh9Ϡ@&lL.t5NC5yP:-=潷KR0>ɟ mO͌G-po;``LNkbaIŠ2eAo;M#9r58?,&^+N1FnN' K$ꌚ>}pBrT]lRç }ZPs&g4"tR-!K5YT=m*Ph%QńsrnYd|-RwJ,t l٪ճMp@" dvA0AO}aX=kE}%xԃ^% M(:GrRА`Z?}CÎϭY:9*#m7_{&KQ_rʻXYEXhhx͑>Lf% 5=[u]us H͙eQ0\o4eu IBa_ϕE|֕Y!w}I65 WCYmZRSz"9Kc̐_?O\>a,#\ ȓt!$Cz2vf9#%@6c2'E!:>|q-nRj&Sk)p*p뭗 JVoUҤցmH/W¼~֩<ݠ3Q@\ ﴶƆs>^܁<_h c#yj%4ޣ2> $m<|SǛm@ik^!ʑnz?o>ޤo1QL.|\5`Ty?8)ZZL&R !|?L(X>:RpaV ;Z6 |TRSq!T4B⟐ Uoq{odHf8‡4>3roY2'xD^6y73__5;d,.v)g:GAPwNLsqscYVp ŕy!g \|룂@G ] ;qYpS'"4H9 0s , PqS\XSXލV#yHlyڍtNoxqs ǸM @!,y;_=#l/WtLC#U#tc'e_MYrR GZ@$@YJEs֯KL>GPCA)GT+U񽧪ˍЂ?i=2*@*?ilXm<%sNn5MrjB>0VM.e6դ^zj.pSyi*j/7Wx+Bs ª{96˾ تd}dldO1c2WSem/Y$\|rJda,ٝBmy  ]̡TqR`[aM006ѻ0j{AcMwJ}H=nQ&&A\JvKB6hp{e \"lNISFaY>9J~e?,1#+&d ap jIFJ6¼r{}3$σ5DzJp-}w+Z XEZu7'B:AfʁMV`0xcɭ3n.w݌^k ĢF@WH%IP8 id4 |B|LvӋd)]٦L~fK16j2#%Z/ ,UIӕ' Wo*VSXxH*ކ3M,VA[M_D׆ =-뤉\)eDA_*1/S+>'Jqv `U)Sq =DpCnMu\e*T%z0a OkiF)w__6 jȠQ"ʗsϩz<6b>] 70J-9;v݋ixϰnި݆JGy,J./11j;cZ97"1>҆҂JC:N }<2X p$psnG޺}G8Â<Š}68{x}Dlc4nZ)GO85SO'wٮ:_rQ8'cZ8nM|^шX?e7ͅ5׆L.`;[mDRzy%^+6 -Fcb-|+%?R [G*0h(%9_sb+,f݊ܓ5>Xy lbB8x \x0^ Ox2B0]5XDv 6vXЫRW͡ NYB6> ٣Ɋ4jQXs_'0V/ZR׭ol)`ضzf RvE6d-*E}x4f;K5 Ο&ȼl'!}7[BV;\!%[D{K[.|3rI,,4AɂO2o&b/X1/y̼hf$!+h[by;HG7vE2!*t' Mpw mA8?@';Ԣ~?n^?im})\oS9Ӓ=roW[,vӏ]n/"ͳѸn!Ґo4rBwp/dV2Ϫ${LW`\b2Qo´QH;).I|MOֻO>ev6U]mHMU .3f[0%ߦ9ڑk;fU2{0OvhF\u{ބXj~Kj8t:ټ"`E Aơmf\"_8jL idBYrC,Bp^v= 6,)x'M%$+y(&L-f-gہRb43?PZ^º |5A1Zx^h%)6t&ILtjkJ#YaƟ;۪ܥdl$HܴͧXDp:8#l-^1fQ=ؠ@ әYՒǕ[;{m.JTXG8K י=|09C4kمV'_w&^ p!A% d̎Um-c)w۰WeE.Ʃ6fB31RO-YU}eU8\Ԛ8qBMj 5Zx/>gDBP2gR XxA[,i0=T(. N) ܨ9&_%i-UתC<&/3)-Am/`,^VaW]=Tɗ!AJ=xdOA#3$hR K=Z{,A79 L.Y͘=T3$L*&tka fxDaIYI}tRO\N!-CAzv' MS<[T v\_՝| I@[qa/}A`$(gDrg7jXB weރNޕ_>yfGbmTY[]* Cp rrủkAa%Ȟ"|VtٻQ=-K}.2̋j_v@ː "xv-ߠBq* dA(G8#ZbBc_mwӠL<'Nai+b"p.Gt"{,u"Yׁ茖WNe4pKm{Wo܊Y%Gr) )M݀ݜO&?.]-rD3e[f-$q pv`8"岁T>擔J.8>i)ځ9K<3!+[GYT1bSLLdZl&ʜÛcFky߰~?W5&ȖH qcLPyKa18(dңG6bY?ڱД7e/ᤵ,>qC2}-J28qױv/k9s^OoةtNax8%P V8q J̨|B:s U!k4!\O>uLD4EF| YÁY6|KjD>q* rJ5 k[]-AE巻H }Gz҈2 >h+ V#`!:JRNoWp؝T(E o`sH.AE|ҴTv}`L.0%S jĸg,nOR1ref-կ'ތ'jӊݥxPҽl[FWbk6טkbMuS0f k,n:|a>쥹ܢ[wάE@٢LF E1Nۅ-[%N Iajy&T|$TLc3ˁѼv\d} 8T従1u_خ%cs~] 2>?8+%j?Q6Ql_ [TdX,']x:Lg%g ӗCv݁̆!E W~9_B]r>JԝD|A,~2/l^)"ګiO&'㑩͉4~jOQ#ɓ7I"dcX]AS;s˖BET[MXuwn'lٕ<΂60D59N=h[2IM'':܈azyA i4mdNmGsH:c_ސA Mbsr$sfGᐔVYkʟ,osK>a}qF:w@~Ho `)9s;* X@RWN=G(qZ9Xy>Û!uQV5譭7?*T<n+poMnԶ ;9` ämek}""ee*rcy9EU$ qH1_g~foe49vj58f1u?Q.eh*lO׻KgXt3Ql0#87ESE: R&J,gxTNE 簽1x[RT2iADF&\IZ9 alCP/ EԔa!vRn\-2T|ds;,u[~I!(^g!.J12!Ŷ؋JSgMtR$`FrذAMrQZ]=Yn3۟t7ی ż CҳxE5!ƾByunl5L:dGqVXy]5>vb0-P%q9СFfg1@UaE>߇\+ ,ھ{@qsˊ"WF P14' iwQha*V: f E@3*NFs2  6Y|U|2ҧcplE`Z:ǥsor|~՟Y7G?vpѸ{VLGMW#!8Ϩ(qXW^Y{|4fREmvX~M{KYF H%])T󃤒d#+[ܹz&%y$fd\$Kɓfu>_:%@(k&8q"08h29:}nx͖":Pp cC_yknm6=cTalMbEaD{˼w[g {흽2X ɱ#pҸ{'>M5)o=)ADdx$Gv{϶3\z=$GA m[ k &ǠHMJ584IE'@ G:#@ \-΍PW肹}G;Up'є%~*InxUYeE>J&<"5[*l\R+p iB'=’s{FHpZuAfKb5c7>N>F3:e!BM"1ܪMyS${\vhY#ys<+KrwL7j(CviZn?[z3׈ךEV $6G=Y,eZ@UD^A9o*(Pi{sq5WPh'yЅD 0gFn!-"Ek-G2ʭh ;kt8Fb25pTs2BR[3㡠z+Ib8F#AR~P8`C;s[rU _ w@&7*EiPf:rcP:~]N'eZi42Ā.-(PcZ[2FtSJR7VdgOfa6Y8 ϑb*j~y{#x2MLD*۽NZjЇ *_,_SL9]'Dݹ K=<4,!$~Shymic/0Q9ty^DQ-Bdk}6{i  VN$l "(+y Nz'E`.4Ӌ鴠Qi4wޒ)1(*(Bdf>pC`תÞdukȽPqov=צ-&% ,p*c]B5c{y7@E&lF:"sX>I< ,5XecRJM%IOo/+' _%W0U7n;G CÞ"dWd·M\6b`UCvJ##ϋ܆MFwg,)o hU܀aWM) UqpL{+7S` 5d{ 'H#2!H~d:h.?CFHRYN*Ldo@яFn5ײxoԵq)<A*F{3vVTDm\xd庽s5WɧOm03-0c8e EcwsTTlRS06 x9وpK &$fvZȘ(HҜߖ@6)tĭ::}c,7 z ӣ u)]mB۰Ujδs T%|L"j+AG Y, ftq qz͖YnL7?HKӗC}9k DVEnTUV7&A"q틴W#E^c"U5yʮ^ChQg@mR;>yi@8&T5_wKu %)>J>ﳲwb3Vuu_b鿥A8޾Dzg81++qK $q~{<'pr`E4dE53FRG˾T`P3#l<}hDȔ7i6LDxTǶ& v>ej۱(]F$9CcǸ6yFE[¡dB]uR7Xn1æ'LZQn1X/i3, ~AAYtljcA&EQ$_42td*bvz/jtdstH}8"[Y4ss-;0ސnV;F&.<m{^UU4/YRj5 p%rp}7Xz2r_$6QyT?c6 Oh\ENg f-TŹ2ߕwNEal6V$ <&5h8RQ 6QJ |s}.SO5&׆c;6ԙ*>ss9^7ƼX d5ORږpWf'<tѻ 97TboS o'2ԡ[,]]N96 i9[f6)N~(( ϼnV>CNu;?@umY,vHw|:wE\ >(=K`$&^voTRG8. ~CGܷ E=[z^\:/_}&U &ѮVU֏.u0޵vdnZ42AKA+%!ʴw6퀼Ә+QfCP ORXP"G4 v/Tɳ>NtyQGJxKF>|N%EPkG+.*֢ Һ޾rY3 ؕ4}hՆK>< d2(uLd" .=|u'*PݙMl#IbS̬oBXQq(pŎP/Ig3a ctfs ) ? ,+-87ھ =VZ<{+ؽAfxqe6^$ndK*.AXh"VL`?jlbӃ &@YrpO ey<5A0)1& ?}s|7Ji߁J-3$מ}DmL!E o wm Jx{4*41觙8Eac8=^Bԉqe.߯+w/䒎"A28X&.aYZ<ww"z<dp4w15+GB-wSk)+R< &|t-qn  T'ٯHW!!KP9.x6Rȩ4kKwi, to.jSia"[g8 󺙪A1(Mcz)νIJA{qFRuhh0#N*QNtj͇oJVbH*f}'㉝=Ɇņ(C)tzVua}ULD\\&kP\ReI~:>,lgdS'y]%Bq U^K.+CL!DjZ}"9^72#V}TD͛jBQꓻ(feGk>ԑMДC IO§|cfVWaĈpXf|yu\}ຑd}J_$gv+x {1GcLu> yc_)WQ3w rpÊKɘΪo1Œ@e3ِ93c[^c{:O{_ƣZ{كmm~O$m,|,LϗrI~(c#H+3A3 xvzʍ#n.ɝ['Mꢍ*sJ];o\b8Q<'TH8Кu{kq /0+ֺ#ǁp0/UQa?;{)8"eaMCU.XY͙xB'ޮG^Պb`0 {AU0-Nٟ([}c-{*Z{'fjONb& L>e,sF6R`Ug8e=tq4:9\i‡O\WBM$(ņI9lwc~*g1yl⹽e>]sALȂӍƂ,C!+0g1J%%ϗz0y\R TוO {ԴGlt8hT.ʨd%詼iMspehƃ\sg]e2:t᳚p"T(K4H^f_ j`i_: AT6qyډj׃4=B\M{}Jfϛ\%3Rw}30 {"ZU}X Ci^+F^ݡ Rt0HͫT|\FlUq!Hs52Ib!4y {N kܤ w po߼* rq,9rʶ\96kVyl!|Ŭ8a, gW>\h Qvh O _T&W_θV^@:"{(7C[Sd~[H ^:UnAEBhs 4BC"/i3OښHأXYUQ/ kI2ԓI*K_STX)' hc5v,jFR|;*txC%1ie;3 ja)͜t'G,MAv4aJ-YBOÓľ%w <8z5X|y{|1_tw?@i # _=v~Vb!.bg(8)y٨|y| ؼحkY d i F'kDWGm5Wvl=*`P\lKQf ;Xe=X %[̴:[K{.D +^=BUSz}^~%2ZL)q+xhY!BH\e9,&W76u3yb jKQQU.3LS!uO>4'Wp0.#Rʃ9L0-ᒦȠ%˱t;s~=|d3[lv VKE_k nM*YL/?O>3 bJ|Ͽ eyf#Y_{2o%r;rq؜9@s?f!(_ 7gWl`R&HF#K٣bΡz-6c%C{pںgFhnu|r<$y!~Ǜ9cF4ba4s>p8L Y,#!BKBf XRtb$n-1rG\RO4 ׋j-:45 {xBdؿ߰\O7RO#gO>\Am GM cyXY2]e !L~Z҈^rN.̞*ZHx( gkeo ѿܻԃv*h2kݚCxXbP[LFGG){.0׿gl@uрf#Qۙ$V&c U xoRy0rs\kKWAei5tp*.p#zvhS) *oƈ Nʜ܆"ӪRҫ.n=4H%! ɘA_ YhD\o9XkAƔXGAKI_c,IF_އJՙ_+3k';H17E;)|Q_u+cL{7E oH^Ae"U{m,8La(uY_~:W '7g zKrq^_z400<_? # Ldh 8_)9QG?F=6Jٔ3ƴia^V1M(Lmjj/sJK-ɹwcTeu6ZnD!!Hn4aOnC(Je2 >/2s̠kE[ܕ32$̃sYJn?ԕ")!au^QŹV +gZNQE* ? rLeǀxO-Xj(Nĕ4ռrG]{Z}-❳E id~8?59hS$ُMIYZ0^.~Y!%$DH=6{ UjV>NgU.hWw>?36Ub X`0tR1e/NPFY/-fUO`"$ HZ+=f(0wr3kSw)*YhR=VC8g)NX*!禟5 8l*bYocy&5\kĈ뭍 ١@:I9Һ V\Rİr"MO;9$:|rĴĭ}vr< ->wuc %CgJi78˕rENzx}wW/(/Xk;158dPjs-GjL+(D7.*Q//؄;[X. %;]XS(y_zV7v4$!t+|hŒ$7~kc͡!%|BXǣ{{9R^KJ=9١h+5D6SX&Ru4ql I|+Z|z fRg\(ryOR5wa>/Ԏ Գg;3mO g b$HjȻG#L_F!, @ٳ?U?z`/I, cgX,'U[/E$.9לM֡(=BsB{ҙGbfsk abx!,J aWTv0nR ՅZ3yp :fzaOHYlJ@x`lNvϒ96t}zA^.×`;v3;Ɇk"NPDhX vn|Cx᢮Id|L5~xpO~44Zn$9R/zL&huZ=O&τLj8V0MlzSZDo\ 0>\g/uGq"q>CW_3qS"ΓC1FS0oR;13@,(;ʝPį;0^ '6 f0l$n-"#ۿ|}x:O1Hz[}peE=!oy5|d5"f9=#d3NM6K76:;t ǃ _d{`̮]pEM̟M<@O~z9 `2rΟ@BbMۣQe]m uT3`*zB=/ŧ_| ?,ʔ9PK*3hW1#cv<5`!jFdv]G^vMV_EWmPYgЄp$JmHv?' DHaV*=ܨ ؤF  */CP hU5MFD*Ht=#pp̭ׯL+b_yZ팥 <Ԇԩ]~Mn_sz]&fb<*E"p-dbY-u1|j7Z+\&`Dش{g9T'3ܦʘI ULpFnhuNxZb&"GO4!z 'HZVh]g{YZYbd& rPK< 쒮4FR٫x\"9{*e[|"ytoݯϴVI\e}3QI,R{iW4dF|Dm枞JIJU'@c&w^|d,%P^5P¹/(rbn] ,In.]EW1@moCTS7GSu@<2haR(-@1@mcgZ'ƶdJkR̮ Q6"} 1$6f%THn6 Lm0}lz~kNj9Q!/|SY|- [9iEMa{2pU2?XUc<'ʣ5vP!XJz1ctضgt̗{[8t=<^,Ȫ0'l׸|d36E@]%_@[u3E.[VeT*<֛_NnK9;hl›J#'] %K@ZRS,t7z*Y{ zU(E"atWK 95vu1I1 â@*=ج6kae 6 IqN1$].ǞZ=;Gŗ^34GlYĈNXFKq_ fSdC=zᢕ/mZʼmak/q8)[?>] yu'KMrZChb=~q_.j omN`x $nkV0O]][}`pzgE'vA_K"D(?Ȣ 9LÂ[jy%gǞt׍צUA[o q۳HqY zT@7)e67v#>$i/,OWώ/;9dGBgmkGYB P#$0wbSATl\ِԍzc=C!Tk@H@Ǟ UMo3w[*>D*,/P /IP1tLraޡ*Bz )"êIRjIcZ#]g7S0Hb.YdȫcfH=dL@06J $/'9X @8ݑV~E6xC\g"kqz]QӸ]n<1=_d #/x %qΛ2_f$JU#R٠{~ڢo_nB ȩ\ƪJUm08S#?o2z#o"zw?/`??:F/jzc|z8MDq^15p ׳r/kCYTpM2@˾/Q,u13ɝScd._m@^ LrŏfY_iIM]+WgGA{^U80;Yw~<mLX:%#Гg0L eڰ 9(ŗl`؀TB̈?G&c1#>:- V~,t1VO RG:Tl BpJ`(j@BʏEzOlelvQhҔ޼ yJ1)VM^݊{<\Ujbo8Z z'` W[. iDiM/yߏw%/ȄHGEjNO*,<25EHl]}AԗvZBخ[K"QuS37f-2[82xe]ދML8\LY~*9SZ;,_(^T/,{S[O~oχc^U/]3M7uq]YM,Q nv) ֱ ]]MV,܏фER-'81[&"Rp_q | 9r{W;I=&+A9_; Ed6I ݶŒZo ;33Nq<t0kE<9qHb~6P!9m1x%L4ܶV4JTv!AkfƉO3-&y8.ٱ{ SYxXs(XiK>,w6F9SD)!{3g^M=w#ZsY$DOU8lYF)70Ek#14=هCݞqN-l$0P9v0qT8i߰#Bs~Ҧd߳Q#$:3fOrbfk83Q8,1x|~P~ ԕ+偆<('B'} f6:'>@0]]n{ sZAPې?ֆ~Cg: ps)jm~EQ(m NJ` xkr:ЙUQ[KY1ƛ$ Q:^77Hxm8fBY4f+?FiǷ rcp5wHW@=eqByvMƕM H_L?$͂1qju=HNbA'}-9\ ]փ/3+sfl Dy8y Cgn1޶fR$9R_ό MٵwWZ*o t/cqG 8"T|,Doz{MnndL[RGi )qXş D;qCc?`ℎnGymdVPRT*7݌QsD-j'CaU8E\5Hӈ>ۛVYT1}$ǖoUWlvm1ex 󶧫m}^zD t#TC=R2IزB!+pA0ocV%01 1[hGT$ :[*q w/JՈ^ot )[ R7E-!ݤ YM!h/ϴ/շN~9ȆFTRQgv|BZbvhHQ5@EXለsFv=Jx bT)*=AjExM 6d1`8cxbL pQ̎,Jd+lAJew\JG1ߜA* i=G׀hB=|$'"yP^;\Մ(0PS:Pm47+9ma 6 5onHzҰ"'pac"φ9?qTHB՗ưJ?~қL[AgOk^̐n4oF_D %V! B6u?IKI!?DžN{Bg*vGL^9RyD54/Hox!tC G:ļ7֝7$*I@)-l ctBmd-J ڔ־VV\,̰`bBAn؈5>1!B'sEEҽ<30݌u$=xUh5j&!ǒ"A8}E+Ccr+0PQi) ǙU:)qN=hs؁S"f]̤DճN<|X3)PQ;+{)61k+p=JUJA?NPy}h44茜0_-ګ]pa72\3!0wƨ_Z\ oC` +) BF`Tk=dr??#+6Ӛ <[gvl" f*f$RNߕXM;C@r sǍzƢͽwZ8eBPHJEuva Ls4nJ D 5}4NJ?4F1|ho! I~"s|}oE`fEO6/cNM^{j Y:̡ޮKd834>L{A""GyBn+OK$L;f>t-I󬪢3 Qy6ŋX&1}Drd:;8SCTo5q> ??K9;oBG(K_eNw|Ҍ]IH/Kn7-D܇̅_2!я$2c92qf{߬S<rm4p yS#[9Hѳ8[8#HGhl62hf"0kanwK'O* ) % >mr*xؖ[Ia}{΃VL,(=q2 e;Ebt/yuLX)* U-g#O,2$`왬aOlw8بO~" ^x CK [9̠<&3m6֠,ܴ.GQ=";xmf֪ﮜvس&?]RugVWqVm;t ˷7U+7^=;U(=AJ烹C-{T*WҍRK1{bW~)/p٠Fe ^ )Rd3?]lӼ<+P@Ԋ.+XC6yu\lp.Z`u2//ܝ mfG\--|^CuSՃגK BP(;$ Ȯb8C|\ۨo)'f xCn{mO)amt\?JW4BS Zph~֪X9ֈ8q˩{`VΔ(Q4X e/(X.,= slCh6 tqkUXQ^2Є㝾;9X$03mhkOiCEQFno*wMYgNE<.ۉ5#Ά"@U@H ;'i6hggX!Wgjfq&I c :mu<0jPxn 89opomKn\=]j'sWnlWH5>ӠhiRO-H  Ny*F P_ԊrILjRXbı.:Lcr젘2_0>A $t3ˇO]0Sm(rrT[U o*Gi-8?Gg}MRZSal/fs7a`P-(b`M l=Nè.@L>W5.$<5awQ+_E?t?}h'Ou;fV{\Ȼ$1`;q& s`1#Q;dܙ!@e F'Up1 czi $`?BzaNy7{ܑ@`Yqte2RvMM)6"'̖iGdee?:,c rfJx//yPeRE62emSaI(RZy`L>ғ2'kf5>VR9 eO<\ r=ӟ Xaet2$DEG b+< 3T#VEE3](까hW%R?{ܦA xĦ$C;Mi{cõGBM22L`( s<į$|1YL;m,X[)7#A/X6BNI~(=\.k=9-5.i&2E;Ýh5; /P,|m*r.#w-F_ƃIy69OO֞ ˍ"X#=BjHjcAȇi"i9 uu85c|qJL-=gѽ5-YduJkoDSWef[ Qb\@5.NUOH,Il?-|VC2bE7bqpM݀ }+iODRGfU}mmWCyVK luM٧exi@+,C 'ѽQ^ 5ʆ?..^ F;JUR|.|_(TpR?=Ɛ@Yǻd2$ׄ\^Dfh`\[^;%+1u1V3]Ӎt)4ثdEW +2aԗR09ЋMnD0b1Nw^W'-JjSǠ s,ϲI;x))U7s z-RĦRC;Bay&NNgQʂd ļ2꫍D #}q!תżO" WcpޣT, 5wmbԱRb)q <iF H>;?+Kj!]?[BU6jxKwXP^frC1qT-[1J^V:QqҠ3~x) M/̡VkB $[7~ZF.V. ԡ_2XDuԋ]GDDJRE/ ,g C#)' bq5;sa5pLf-a;`8>Q!\ {LٴR~zc*$#0{|Qq-Y4"ār4IFʑS?pWV۠ˢ [Qb$e*Tg*=ĵL pϬ*KEݾp J9L2c}F7ltsiS=in!#zr/\/&\s776Ux1Ѝ0egX)_֟ɁExy<[h[e =81*=ƊMX#?XOL|*$ +|Y2εKQ5%蠑&~ XzҚK]F/ŤSVreܡ+nGBn,M,ezhӥйhy8oǘxAQ.A<ݢ-="p| )6h8Q}7VNTawRܺK:L'8Gm2wyr\Ӂ CCe[ .J9-W.<c"dVq-(2<%; >% g O2/Te4;INq)s'NH"ěTECuzL`5Ẑ٭9Zi(v摥LK.mdzhgJy\t\vk?D rF'8Aq=dbj- ]mz{x *>eu N }/Z0]9Lr3ڔh nJ0#p|yFOȋ{oyID$kF8}*iNL)7wO3jZUꆟvag#M.DУR2+23xji,]89n,>xDąDÇYv=j^89̢Qj~g\]qR00C\ [zX8-bVA9bڬ _C:v ndCscF."Os{IB>R=LH%@\XΥۗĠA{pMR}>oCI(2\CA!zغPSQwI)?%PpHFMLH9 ';,xxn(ďqOoXmKA_Ȱ[RV"OdCe$\Ď|{7Z NCӮr v'>ERg !XP _ovWawUzΑh}9 2" 1Y@YnYM+DNUe/ )TU"0H%ho&h4"wT.,fj`%E"2 _#@Օ9A NX.\-@-Ή^ٮX9JD=}wAL.Fce } #U XDva2@/穆 :ͽY Pn @E$"Y.<ͺL5r3z-;TгlGFjEOv/_p–N./6D Tv5gZ&i }s^ MfѠ'|Z(6Ĉ9EEj.E6$Ι0B$˘j8:2AFbЍz: mP҅tw|I"SM&bz&"%A[4&冗J9ifzYz T)ᯚ/oL+e)WiL[}÷ CGV rɖ.R㌊-`;{2As>gwyx!pU\4a<pm\c\Yɰj_j:D,(qvGdȘ  e$X^q;Ӛ~AP%:ڳ|])Lث%"Ki>Q xdzG gI3l;!DuK~D31=,s4ê ~W1?b(\=!.wd3B5ޟImRYM?` YaWqq%c?/@E;t]|Ir:Iq{n?>|>&/ebwȶ?}V8NӹOpՀmJP677U~FMŗD"כ+Tr~sO2ot/)fm'm16%0zһet+ȝ4~*Yw 8to/c\Wf"hUJa2;9+'ܫe @?sjKlt2h`,&HjwɨO}/螆rPw '? ƝG/#j"Ċo5I[3SwP&5A!W8IiBG*̌\p͉2a4;8q夓>Y#ҏ:_M-2_\ MTd'V3o6bjd5)yW޾lzj^*#X^08r` ܇WEUk&^V쿈O\dS阏S!3W8]신nVpQ c9>5-y&Jj*hT tJYg]=`Pݐ*muRP=l<I)rN*+l'q$'8\Sy C9D]x7NGpYZneԾb@S /,|48?Mmк%L&-ߡ߫Ө9Ԑw:]-Sw[!zWQq$ߞ#ƕ;eqp)꩜Ϥt3៹xcN.˳VX~2azSOi!u6)Y|yXpិaٱ!R* bfR`*Ésj߸zoaN3T5OV"TrCAir ulW6FIu2z&+Zκ$Yk?OX6 #U%nͷwuzNWRdōCῇ;8wdv[caֹm>57jJ!?=y׺.Չ#sUw joE-"h}VzAT뀐kP?aœOV ޱ \Kx-IoԀ tȧ)QSZc ^QtZc Eql79{r7{)%@`]r}էN8`2".Ěa%@i ᗴ;qsؑ37;H9ZDXjpOئS:~gkkz*P_6QΐԢ6aյ7DjG& td6|̊_N*ɕ_ R1Kwכ z"{-Dɓߧȩz);w0:qPސ%!.5\ǾBSF>"6;s^CrOزF K]鋶󧛻kp)Us]EM5[l\OْC;)jcO8 4C/,%yNdDtl) Jw\?Sx8ʡlVXx3.T[T#sV Ѝ#Ƅ'|xZ} !~$K+%FsM 4]-ɨA@Q 5Ì(Armm^sXToRf:&B(Ό'xSI8U)cHf5'o?[1 ,I-ߜMP*iȸ`<=hocOS;"q]"M}{F2X=4BMMwژ!aEB*3Mrt e]=ƃVoESu},%_5 15dhXtoEb}~ū-GObE|#őJkNv7':U")qĉbg@!_฀ǁ(9mx&scMcҬF_\Sߊ}cvYq0'>;o*ۘ''t Un/B/'Qh"8̢ O_+ʫ,xJWَ Tjuo^S<Z_d2ǾXפRqו2{f8,cRA񻃈 T)IT>*@÷ {CS1V{,kOƃ28zC !ڐ)oIV =z]J%(EkVBDﶖͻ=D >Wګ>xrD ةK wcO{sAv?  ,O֓,—j8Xj)t))|4m-V(c0_)^ƨm+ƽ৐1c߳xvV*,Fe$o*ϫ1Zwz0 ApS>;C?Uƙcv/V6ރH ~%IUݹeeT.S{:Q-\ujֳ-xYؿB"aw򨕙Y QwD:aPJ|'& 0~ݩ&p ]]l\vJRT(6K$K?wHy"y1ʘG:K$hbyJM050sP18W28zTX"˶,3j֎֩ԧ+zlp]A~ZH=tY70v_o)D2f-N =oOEjM~@5Vbk)Elsp55SE>+);,=Gm %d,J5ߺv.aᘟIgRٛ$οcEi/ZځP^1O32S+:t&yǥ1??o#L(>{xHkypQzHmW"$X=Y%[5pv0tAL.p)= N~`F|'9_@YIHr]"9F+߬*dקbP&a0nz DķssBNi9*r,/YjXkʎ&YE .Lh ^zeV18)`bNMcۊO|MYS2c",׉*@wxf,Ks$P% Yowh jx|BcirߵWAwJڀݴt4䆫RAXFGe'-h)08vYˌJc'эlF']l F+8zg~ҍܖt Uf6aSŎH͈4|K/:MU`mr4@qe+.jR}v [hh0*Q}KF%P=i+s_p gF'! l' \r80YNLY΋tr+Af4OAXhp>v9pc8>%‰6s'Z' (a6pӺ(')?eweDJ2)`ě 'ȡKrGѠAO<~!q8rN-_a ڡ\3ɼKPNF] l~h0y\'iTڽ2]F=!bkZ^zDGK6C*:F;i#?= ,ITxS&W.1pR 6TN+hkl-?a %g50&3ߘLH~򋕠>3>aC \dɡ,$JXq?xui=E%/Sӧ-?N6"u46n pfA* [ QCpaLs20f|Ɍ)77W)3}w-h9'Ǻx?pɕq&YYowzBXK%0\>Gv:g'Z_W$cg-] %g+G{U/& stbN \M]`ɀ-=fwRT B5S/G~7U]T<:Lzs{q{( ob{h“ؚ#fG-RHCȓA\4˧F9Q=A 7aJSR ,Sy3P 3:jfwZ.^Ľ5~ъX[@wZ:hZ5lJ Ҵ9%\X:>_W;ZR1c+W u>Ru-Z q:5 Z'Zݨ5d5D[dI)8iyʶv:]=7BHRiCc?`aB~ƿ@Or$NpB| /Dx*&=0r]cV潄uO|9UK5|T[f0o_ہgKǦdUˉh0-05Nu̢P5Qnx}]z"|*{cK<l,ˀl)ǪЎ$.!CP:dnn~P:!90"j驾+B}b2\q$(4&oMeZ~*U/o:Pj&V ./XٜR)>J8KM/#M}/B[\b;]#V,@gD)r* ex bhr Bf@st"w-hr!LUQǤ U{h-Z"Ғo+>U(=kEo+z MЛpZG,,7w2_s8Ħ`6`B1AnCUN]44 &:à o^%;$qA &G[@|d/std0+K_ Ti}wI&0ժUǗ9k̆}ikz4J1š m~\J&#KR SOxvTj*[NؒRك)0¬p[qr;lgdԌٜx>n1ny$]K;\IV6pbs{9BhdvO(]` 4#z& "!.HL $0Xճ&eiyE᰻@D=JtOaO/D@7iMv2!_LLhrZ?VYvjM `c$zY<ח S ,(kx֥v~%qDAU I2dH?Eeb dfn@L[$7qB[Édbdqo +;gB|(n{ %WEZ*J}w;{#fR=BWr |!.fqfۿf6ܨI^h'E.׫_B`~ƣ7@/oyDėX z<yEg!CMBjhQ`QJFsJNjOZ0i M8"VyzYԍ b ?͋i8s$3TA^U_˃3Rnx11e(l]>bc ۦ9_ %: S &Rjwp'|1>tT\b-[ %bϥ{&RJQ>2_Ywn $scw5\_[N׃Fhۗ\jgҁ]¯Chmvq{0oH+J=m2;;$_v&ȭ2O}4Tn^]IBKG(21R˟,oo@ vdt)J@&vuI/j_6=* >l8'M3EttIIHe vH>q1pcE_K 7؇po l'=f?WҚ@7 we9/V4ANķdQr3v!(YH75Z2o܎ hJ4^%1NI$CLKXOX\mrZtvtׄgaآo돡;UCDdIOQWX)Dj+kZUmH쯃vi$C `ibGլ9l73-X+c4 BH%r(˝mKV*j+f3 ]N$Qb0_s*e$[ 8o?CVpHZ w{~\ ;D@qӉam"bMRPAFG{%ƍ[,2(dEms0ak_zvsķq%b.Ӽ6BI0"ZTx3/jw*pw>s]|a,O=)dPRG%sȚ,u ,4g0bw qj|14F=tgL؊ u3ذ5 IrgjOZS#_Za)9q7#wsr2{EL?BےS*i(J ũVXKJ_]k)k>WTa"SRߊқ< 늍Bkn%YlJ3&T/3 REgDvSw, /EJi׃+iLgZR gf1Bn\ewXeG<.'îcHM z"*pE^ /) !u|9^hP|fn6_Prg$1J1ݲ7CvZMf gm2Mns^$$GQHMA6~7WLtvEͰ"eZ%էTI#_/8l/θ&ol-.AJ:;QmЅ`exĤ-:$QIYgcv&B` DM y=X[@k@l[Zr^%uSx w.tg]И7tYS|]a[-~Uw=YTfT1)# <ْsb6C]=3.>TڳwPiQSl ׁNݤבlKJpE E;jͧPsL3cZdbd "R:r,S@HY$4-=O+&mf[ӛi#w\ 0!J3sѽf老,| >KO0OKD)yׂ.5ފ]ZS3iϡwn>n abeSÐU!!1H9N [da=_Ͳ,1B"(f[%]R# ?/>YUɊ6۸ִa{V9o]eKhl*273^3k[v4]elV8|4]i]٘BJzȟmY) ,!0HZD(]验Z߽"/V͠0we276u6 ,^tuk]o!aȬjp|#7nޘ}v5RE h)_Ȟ;5J#л+z&\gb@;B+g$ |M\5FmMAɷEXU(r J"$X| Ѝ9uUsɹG~;u6uր_\GRm,av~oI +fjZnWJi3:VVOMIycEȮ/OW ^j\L3fomVLu%}\ʥ >0 n;:Q=\UØ5͛0kgkfq1Y}R<޶iI][UoG~VBC"MbsRqBxPڰuDߣ$ ZW/,8'5+ITQ(|}G;~l"^ ᥿>"vD'X "l <DϬ8Y,I\#˧1XT\UxOW-5otvm} g_zl)d؝f7dvBd4AEM/0N@8 u1)R:iLVf 2 +$H1Z?0ڧl1ޮ58C]T~r4Tc OZ}f*& >刚 4',HR$b+2dM N[+E:ymѥUe3>wSTD@nN$AJP7)x7(زlI@dLseI6W%@ 6E*oD䕄IpIHn ٮԹau`=}kp JvZ=)Å#LIuK[N&wKW2ED@Mr`_Z7tSͼ L+ܶ7%pc2oag]@"S!ނ W{08hGn%kh ޯ K\n!"  ӡqlSBR=JP7!W'60NMʵSJ mD9*`ق` V:跖'ܳ\RfN1F4]5`Y)"C+,4FŚWc[sĕ):b(ԋ?g71j2B! @4Lo~UDf !ό냈Jd;a5ǷBQ c?5AB]MYHFZPR4[ r"y%SsJꝟ2LmT$oN"i E"iBɲʷ2|3|6'32}Qt׫1.M><Ӕ=h/eXb3;G*IW-Z8|p,>h?LTVxdw L̤M>C6$p?`/#6o&![ʚ!O[A@1Tu2y~eG;#/ϟo~̭Zd`' wo8$ S08nWGG49j?用e_-^{U¿ XmmjU$C\$<T"N5@ݔUMMJ_ś.fo g8K0<#1A-Q9>;]R@[Pe:*H§ÇWТP7q 0#1*0) gyƄҍ%N詀KT, 3» e/6{3Hbi[@tI!׭KqwAj< X|7L;~KR_;Kwzg|^Ű()F;,eLzewEi"'}8Eg.,[q,oDs-cs]&կnpF9\d+e4;ыΓ+ lTjnWWȼwhzH8/w;VFp(+#nb|p_0ull޴"vgl [(M*Qu4rD\aOJ&uD5*sFhx.&c"!xF1γ>>]yKܛު۰>9>5;;ѭAp(npZ}jpQzͬlOHn\QV/OaAlKJBD=fR9.ooYɅ/PUVhG"9↊]o|3QƮ+t|>WMcYy'0(j9ʥ  `uԗϏ | j| Vó>$ T/N˳+N/]ц55J{zPέMϾl C|n9}SvCє}Zp _Dʠ=l>;,[t2EDγ36o st7_k\WYBHd:dv2.XN\*| \AN՘k&?ZoUL+JϠ>;{? ` JLi'X3gX,W3NӳW "ƠQYq)gJM;Η8y84OJ&Emyܭp:_l䕌/ 'T(Ka}OcWFoOþkWnLweZy:zׯ{Zn ,I5s+EO jf_G}yuR!hs W73:MҥǼKtSOc|6BS"1 kˊy; Ũ-X{ \ Tĕh8N  `tHCvx(Xْ2/+PƤud)ߴ`r ]o?GW*4+61\mX0# an ;\S亳Y[ft,kZ][UP)tGXp,E,dm^6HV5,&uD3L l(\Rd`|[K(/@~X┼ A'ciʕ|/v×w[7X\PN͔[8Xhg0+l|u!, I釤ʤ6 5-=+ F&KKz<}=䧡5J #qH KTYgYZ1bb09b64aa8f76965d37fbdf8146384fce63b07562b46d030507eff717bda6aaba560c4c46c9bcf8 728829bd792d2c691813ae1727b2f161c6b300e46ae80833ebc07cff700fef788f99865f4d8fc8de