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 8)tL4| ]/ BNF_Operations:threads=4elapsed=10.579cpu=37.568gc=3.8007zXZִF! ]ŗXiɟH)0%o);ŅeJ3?L \LVf٣G3E'c"$DPŘ"N'zc„|Г kL?Auh6D3""c];'4y-Z۬f_vnSs3G_|ySeBCܾ2PLas`O2a-0m{#KYsC9+EK27j=y!3DqQqET t 2l(j+nQGBzG~#l4Dt•IӤ"oP5PHRxdb!mː$-bvͱyo}xQDiDAWa`a] ~m2}':R#~ pK0 e Cb[ 5/K$> ~"&+2җ+@+ c:e'~dȧY;B*V9m]/BQsR+ (߂ 1y. q=6B/7ʫQplux6#|zܥ9\Sua쓭Qde\!=:9pAT˺NAgbg1Dt>˴: @B-[0Y )uA0Kke# >s;!&'Ό9CfFٟl2 t(-R=s^(#nc\Q~2~O8e C.E$XX fu?[+OgFɨ{I>~ڿ"f~\N;c<0*!Z%JխpBq-jXa_'(uҖ6WИ U5 zl^Yq(G4SmJ^ au ?ͼBdic5`Gr7ϩ eH2UH;j O7u;Iקk24DςR7[!E\ ӸG䦓$QtP 餀W=|/s l6~O\O;2/N;}9;'㢘4*@ gG_ =1eitCsvzSvx|g`V$YB <*d9< }OTi/mKh[l_٦U܇%;(.@wO]x#ŏ&P4QֻI,E5GNFG)A g V@SD_?oY @aWݾM۫yt+AZ'V8K5ϴ6 !"/RMX1FHmzw n_.psa]VgגN<bj)) U z(OfPrrm /mJ@WcZ=Z+'B$dj-AbW7**!&:k^1®PmYשL!IJh!\!i&¡`h$M(I#h]P8Q^H_Z?¬#D>~,+P6+9>5!1_hN蘺Ӝ.,{v=Uк >ͦ>(ǚ-ZSؼ v57|3}v/H +S[CC)m(_ʩfr[w}p 3VI @Ծ(T~#rQV3 P !4/n-nHmvBFOx7υ6#{vKni6>Ad?]kv1ٯnP=/rvGg#`º `=Qx$qq1 z HXȣ DK$?r;ػreQ`8(<݇(;Re dn&FJ,- JۦBTLkȩ#  ) BNF_Operations  IL;RVP;(g,KK-pt$0izcq%ض..FJ=m7: Sq*XzΌ&BL};x0[{f'xR =b nt:Oh.㏲޳i|vr^,6V> JAZ2"Nb2v$⯳;]V\a|2)+vm2b#ٳгׄ"^ aə TcOFGmYЪNDu-_NfnfiF&t1S1O<'v, .tH`\G]h<+lW೷uqImp @RWW>E9a `L%l("̩E!^S}`E>8>-7 _xf9pv-m7Wxqz+daDtBS>!ڹϰ7Ү{H ė1:B%ts M+ra{L!$B(PlpGkiu9j4e-VB됒]ip80 d>İD_qQO#hO%eQsd/H5v]Lxt>/$LweRxT ﵟoaB<+rF8>)DϕG7S!r -CICh @`SgeMl 6YdHȱ߉wM<,?I=uj:Y^џQY:܊MmVT {Q4*x Q%D*%t=s+% ^W,!]{]^+Nm*c\yj*v[T@F ;D󴯼rhpQN"bv:@؞h!J?Cncڴ˘yA&k;sz-ޱ,erv+eyEDkzRkH?kK˳|DwL- .XS2p cۓ"LIQ=cű[. [/m82zՐ6tX@Iʫ2e%bY3p gN&۵vSy`v.e{Tmj75"]iCΙ-Cсl[0F4x45/PnHL^dc*1UoLrG$`,Z҇RVl9ǎJZCwOX@Qש^:KWQZ20SڭБa8'xYwO{ _4~xױpdž@@ yHgig4>5vVsO`lgzks܇*NW.+Lѫ-kl6Mj!#`(WZZվ{]Ω:j]ƋA N1DV=#4?~L*;h5ѠՓ js֦C+l(1>$pmj#@kI,(3*T8͟RS*&ʄ?~L_)Dhe\I2' vcB59)b(e.nAU=ĦC4X@„Ý $'WU*5r2p ?.wF]a4>hI@-N ezfP>3]M)'@U!#97 0YS#r\`_夃Ujܧⳍ|*|Rlo(عQh}|~'ےQ̮L|3O>[a{=o(HDcau# $ Ūr 7 Q ֒7b?<ˠcAIU,kJbxm:KFX4RIWX&~(#8l H,S~r>)!6:2c; O8ra>laA_i7oK&{'EcS_Xk|9>oW.[ˤrgAbbr&jHLS,ލ{Iø7~g|IZ!H30ʂ! {vn!(K#CNE_ۤ7h)H #Iu <tceM]]FENrnC{K@}Qݹ,*Hƀ%TuR !x؍0i(5YPVZ7@)pOv1AxmI ߧTJ-VZ^M7s)/]@ҠI-MyqY UL# rd=(jQRApģqz}x<.: FÜbXNzk?CKphlg؆6\֤]$ԑO{8qSZft,e:>ө!th̷(F\ E"F;GQ7Vޟs8qjWsxwWٰ({\ƭ]CAcEP`~2G`>`em 013!2)*){zR&ĵumBQ%ȾA7%IN2˥1DK)HA+ i0v~Q;B y1b]Ba!")@$V`#'B 1nJF"?'Dk@X &q/aPGhrZa0$aΫI")!톆NۛnnUȤo1UdW%Z4]^U+#=+Z x "(EBcFedqގ,z54&Nq! itE|629Ƶ WH饥2eq>&jT*v9\Yt0ÇbRJW|$Y)Axn+Jh8ElP*V#+gzL lԍCK.>UiJ-ik9Ȃ!X],mԥMakBl_;h' խ)\ΨW5Z]*Q>vTk3lu:G\5FUJN!$V5pt ކ'ZqCװ;_,=cS%c:p/sI}BKX{'%+nBX[}!# 5(ȴ*P"1lv=&}b{Gng_[Aro JGQ_wdj?et-[J*ܖ~7Tڗ%dK1) }((Lduh:nJ/9ea r2/ɁV .{sbnhRrSIJK8\+>M-▱iD[DO%!S%wR|緋̐"@S ]q+)QN76c&nxmZ5GNeaˢF9>HH[A֫_UYZo:uM=0͙AW+ޕL٘hT|j9ww@yZdڰ %ʤ>ݮ JQ tWc2ϔNRKZH;IV\9j\>'.1V&{Q<~"e gwl>Xv| Κ@\C9XPط@xϦCZs[5?亏3pRh0'!Pߍu=fZ$8255D20/JEm-E5w}5jB[ՀcJS*n˶@`37ncHU#i-JGViݨzR񏭶-wyi3~ PiAQ[ 9 T@Y5c_d ̌αpb[J_d}}c"U~7E>acO9}&٥*p'5pQpFd(zoz8G&QPym,֓  W2 7~ \v6yWvdpP*/1VEDKoa㑜f7Sאt(V ] -(+p2q*L1PmV0Qr/rıE8? a>#p?]p0ѯ9h,Hzoޣm?co(WN"V( 9Kx/V@]3C o0MAer)d^;ES|8[ow8dwOo˓e!ؔB׳wOV][Tdo,]MnS[†&ZElQl27, (@>-cT^i\rNv.LQvMQeD6a mɪ[P(^ٌ/:Ԗi_ (*5 G~OcPoDEO=Y S [h[KؼZ䲷e ,ڸ \-\~1اT+gsd|q6bsKIhȾA4vo˦r g*Q7mSď17T].[bz ovZBM\t7,|2~c\WBpۜ˲I/ZɃ\=)ƴ$\ ~$"us5VtO5pzOtZ?;~ܥ.+~ JF8hjQZPDzJ4?E}c{nE2 Q:=;%j+͋@9 Z!DRܶLaSsD p˧/i0訴*>){ύ( 5 [ٺ˫?U7ʔI ?dxO`\3$~Xq*R xQie 0UTI]UGFPAd{+=㙟ӡCm䲊zL$u.#]do!V֔Ww"A)DzW1" :́fHv B|3@Q$5iƘAxMdF&t]CE`) W1E瘌o Z*[x¡0lO>$O\DE5}%E SA%V/ `@r"=[bqĻ%*I]Pf-x C ]}&(4a e=DO&^THxzfʦAkIX)35}/pGBzW:.u+DB'X,H>p˜\L̃/!VvZrۢ"<84F;&fg.[yN!ak뾶an~u{P]s|=ᮧt;+~tb ,I*&Pnu  6ݰխ+}G=]{8n`4vdH"ڮWRtD;چ8>IO>f< S_9,UTvjzB6s1ZP;;ric@8<3ytvˉ: R^_w^ww@T˲]4⢟I~ȵz!bU vA 5=u\ΨΘ8!KIF)N ]-2I} CNER Rd0mĴ~*"h}.@L|9Y.دž m5҅ye #XlʯDeD׼;Va[<ܦ4rV.;?W=ysʈ]Ms'NົC+ u'Y+î5^cF2n ;o[DM,~ 8֩7&_wb?Y[L/Ѩ\Va=Rjh9XI{pBw\}u;butuL%dޅ  wvkh:{}.\97Lm*]sؗh<&e/K>7@%nڻ?`v>7mJN z 'œ =.PӸl}*V_fY 0u|t1@* c1oh`L gԔ TؤA~j9 * dY Z^Oa '1P:eoyPndȬ%R#SS#c®ƩSHmtհI_Rz_Z /sEprgk p1؋(MafZmz7 jV*4)* AN3ç0Qkam5+ pj̲*us`46WQœ%al9Q]\ f:5Vp邺ʈUhbc8$D.Rt|4C`p/P)H >QWeG>c=jcv9S G,;/F尿CD;{v\d~)" ?4H [O`:(N}*DeL9 [ -kt@L/4OI-jcmDUg#~-j/R@‰mm0KUY0@ׅe[,(I+i3IoݰO$8FEp|9`ߠv|9 {N"k{}iAAs7:B}u'Tb+w +U{ώ"4T1䀱N Z1h7_ IKX7u(2V,=X\`~?'b3=Y" 0r<+O|_9pL7g`QW6;vB٣Q[[0g>NRiA:!0>/n[nwÀ u1D+ /H@TɊ́v,LgHG6M<>ʙ{u6wWe7fh.'} @g-Pb]ƚ2*{ rG)?Ƌz;i?a8ѳr"QYA8}% 1Jκ)B,m:G8U,D,  {OAp>q+*_ZսV_,/bkxRG?jAReR._15-Jn-Fp~I@bYWIԧ[HJ V \l&WP:|/P5KLUc71Eኔ[AI+~W8pbڅC: PrQ'ٶ{Q%~y i,( asQ#+T͇[Xx:Mr V a}Hg|x䐗_8XؿH NRPc@ (Ax?:¡u>e_'yJ3U[O 5Gt!'@]7Tf"7q=q٨ƃQ' iϧѳ4]xq2BAqze$ ccF 9r9S=X2xtXf3')-1ޗli#g8SKilJnLH^]oh2PZ5[5%}4ߒ7VB HP$ߗvن=4v~XڡGNQV|^PŹ9Y tCl6z4&^Hh}O6DH}zt P[GtCbSLKtVvhΏqYꩄGH,e.`3&=d}! DifY8cL ih,Bm/"u)Nz$ 1m^-ŷ\ϮʼnZs8t[]r7_3җr^/+ su/D{*;{RCwT5P?e=z dZ:y )(07U1{A"|Q$GqPj=:݄0\d^jY+WshO8dnalVK,j~,ƝJRƯJ^=Ul:xM+ }Rd!ؤbՍႍ [^Wy%fC=C_ߨhG;2ѿӰftϔޡb ojPe߅:j܋ % ۈ$7(XyX~J!b)ષk'"h;"iK1w>?O>]:I"4D]A^2";{CB&-Ht# Rع{Qlܸ-aԼz^*Gy"ŃTWVtn eW"&Ǹ ?ۚ]VuًDR8P KW?N1Wc}#3&m&kA.)?R`@.V0u %1٦Il=eX+yR pˏ J `kvK1bJ|m rlFA؂i!K#kPxѴX MB00 %6-* [ȑ.聻ֹSjbq&et)#s=}*>xi또8 ek AbR~;Ry*RjWlfGFz]1)JF{@{}}a y[z uzS C,Whѱ|}~Dލ¸W͡ⴳ6)s5|Fה, 6nh?A Wm1)DS,ڃ} je~2/N'ѻmOцkQx%J[2j-O^ ?!86z3J9Z/lr1ʷԷ&NgƍPNXX̭{hl P}H TiY>:j1 P2uQ]zݫIĸR"QB0V-MK)F2þ&qM׫[ 1go;iW)݈>I 8 U:ē"T J2=3N}DDEM70Zxpɋd_) a#2 h"0ά~ 1Pq>ә!`{ŏwo|)|CHq0韛nHyMy*83S֧nvL&1(p!qN3PῤфeE"ZXDJىZ6u-uH>< n\27OHtG %u+P<ćڳ ;n GIcxwXS}ד*uc0{ANN^_J-c⚤oy5C"PŀrPI7a2_ϻֈ}V - } 9;NGawzkꥒȽMP|=s;B\17sIkC~P2FЯJt)uN3hO  @j]\2m'!U:qXPƾ;[c1$I;Trۢ&0IWBdbz#Ք pg,‡YJ0xibx͸?c:`C蕕cܺ}+Yl`Lzc"[r)'.DcneF,kL"/2SK%n?qUxyIϼL…,r_-9Q+^VHuH2n )Nm[6ici<(DNm$Xl!iMM. Y*/#@OʋCJI6|dfB3M ޝJ`+` L {\sMx;hFkgO yXGJ0zkF>!La*U>-twE<1%Tvbvߢuƒ-+.brn T}pmzj}7;.n:w[aS룉ru:zJa t^p"Y^=P;]ѕeݞ"&i?1ÃvnCGGhKUV~ "ׄ07Ft1`W= c~s88~"GtsIwEFmKҙ]bk{эٳieD蚐vrnSt82êl,!Z).c Βj k§GP3A3V_ubgzueo{QғR+vvHIM 2M<ä#ːE226%9,[0ʺaZeڛtY "*vup2O{> ʤ08bwPDxpo8[K6PjhTDv NkuzԐٷt7 Xy03kILOLLU}C_swoS ,sLNY1F/`|dWXP{/5خ~1 RW"/%3L) EzV{?16}q~TT0U XV/XtI5 E5 \n=Hz.U>l61kNf碗!"' "!(j?ڭ$&),/(7: TwiuG[yl1~T2;gfb%~),t1EuH\h. tDҖY~#]b^ΞǗPp=)4ȚM=aд6F%=yɾF#)+ΛbLB(8D%#^J4AjŬ@+8ҧR i!@JJi/ΗXKP#{BJ'[Dي +_rS/KZ0bUG}F^K)c5]fg07_K:]U zraH[j(!nHSJ~3=g\rA\D ;(~UI֜O~WXH'fk1C ?.*(Cp@˱ \T/bBkp.&G#г A}gmy|+4JD5J# ;C2"ɿ*":|Zm+wja.-[&ɸC0qzSl[uƩWրli- >;rqrHH!L^Ժ>K |Hyp[:Dcd{콗 FK /) K e;+Aɠo* u;~qF<3tcT_>Y; >IW12K~ ;ڐ@e-R1arn*irեk DB8IxKO6&$0Bh>ey*q㻕<:KO/Ì!$E->2G/* 2LzL(HխP +5kZAfY+ڞDֈ/-q J/q_:ϖ-S44rT&Y7<""ZFBI$"CMJ΀sAy@;҇|@3[`iZ7 @!ly`&ο'[B|J.ÂK#r(|gPetI @GF ߪ|I`d(LT)\t>iQ,1 dm|C￷r_eiw~1n,4pt7Xı ݥH ؑƩ JN'房`N騃inOGN)!.]|s.}k g/c It~~JoF^g{ElnE>|܁պ`d~`< ӥJT*EFlƦ~,Ɛ ɻlaE1&E];^w 0HĿӋ #.\\aPBQ͓󀧑@mÜ`HN{q*-t3t/Nk?Y VZZDMD"@[F'ˈl G{1 }W՗f|Y :FXr&WhU ?M4'?(;1|)$w.` 扖uB;nz5:0]Y]Nñf2"5‘_ "Lڕc*' CZl O/E]F ܔ l;nƺ ^ O+w/g/īK Y&ɸ~m Nl%Jwą|}vڒHTz;V'SQ*7UԥFq+t'TW`֤1ԱFwǿľީ,8t)98K[.CA}%vr`avt|T%_j+K,+?+r?9wzc)? r r2 /b_?h"h H  Y*;b#a'Pv$8o{$}>Ƚ̗W)4IHr a= tf`lt,-8-J1OP x!gM^g->뺘;b|2PQPvvrޮ|6I4PQ*"ci)+Wt5]~C4(QtspRְ8<8/ @. eqB]ru'ߤm0i/wk44RGmtn P "jBHpal/Od&"`e^͙?>=POcUWLȽKgxۋ~6A2E}*;n~t?~t1z4<*&'Pbm)J?-\s$6V{p?sz k!_( (9.d$,>ɡČG HW(Мi '٤ >.-<?ViU2Ŏls;ho971u3T=V5ѥ/*6In¿J7 f+Ł [%۔ e_*Sd nUwz>1E9r{ ZC,AkTkc2mE57 ԩz5WGy8׼,dvX^Vnr{@K#+;1iCb`,r7}CIם{-/}%|k̲jMn P xAb"ȴ(ԍjቛ,b`hE{qOξhL"pW)ʃu:U_ʵ塎`ӽnDSZlF$I[p##lD DZsq;(PnRC&S'O1O_[ Hʙsي|aw7k-z\TJe镂/z##~`}ᢼ4b\GZc^^بӰ,2YS3bLqh[)tCi`YF `H8 KJxF fQMVw)/ >P+%\L?hI1ۭh6SplTQ6ns4nךu7Csϧl~SocG1H^ޗj S,'Xaհ!mCgb cۦUo` AS2G:9ENzn07Yw/~kkVŚd#i$Na |VpVUI k 88FKˌ)}HvѢb$ʯc`RT0YW8ZÖ6g# 6Te8 ra_4S D֓]dWX޻_6pӌpŽ[_ڐDsOmo:=Kl{cR'&fi*ښT3*5Ӓvr4̩u\1 H*CF)yϱAѵߤHN}gnJolj84q@ F[T d닆fEXoI~3:UJH4>7ᰀ&#%Pt۴{A@.Jf\`zv]&fL@h^lt&<y/rCR0؛*سEQ{Tb`H`Qw13,u.c/[7\VƱRUA>N $σa :-۽6C<;QGt6Nd ŴGk:hr!;-ĻZmzJss G:<%7I#GuNȗ努msYYE5ص)HAmP~(i_I XϯӠa㞺Wq Hw[eQ&?Jyٛpє #"ko=*%M:hsKǶGۮb+cI h䪾9&t7Mw38}x;&+}{ %0 4=Dz4"1U0]nȓ|Gx]<ͼ#V<Ţn_Y-7{^/l6 RIkBGX A3()6ˡ7?mشV P, V]fϕ/gG s~kFY úNjN$U%z=: f|^.7%x5-zaF\2gU=SWo'/_L_1QKXȚ%% @)| 7Z +m +~vc6USBC~l+[e{ i"q'RzkpaQ|)eqjߗ@pdGu(fp bt"Fe,+/.m.2ލ_\څԊ>| D;?#ˆ?޹hRn4mz8 k 6C#nl^>ٲv#] F )rv5F8>N.;wH6}icz|މTք2 yggЄ[PβnD >{-Q! Hb}?ڃdS6Vz #hB#cd.Qք>|3@2-8k+\:2C9ֹf(LPS0!_aMaKq a ;\ÒP?XJN FׅU+xpB#QPHǦp"ඉ1ȑd^?K}PEEs~RMVkdx48vf}mf8|CJW 5('Z#!O";|)NHAb+Bi"os.Ji{9r^HZer#3Ǣ}-WJKyZ:k)3 SFH]7%=D]zj k/W?Ex/k]Ke|A,Spl_;ꏯov'2hH;wfx~Kh$bRG [k^M|%7=iAVM~aN,mkƯˉ_{Rr\ 5 DB]֑P@HE}wp*/0šH$ʁB}<7ᓜkSάQ̴( R.6,>|ඓ*| WzR8YWc4V5[^s"7wNڌ3b4p J3>pѯ;jjd_́"=x \~n)` <vDRr˾jOU tob(<*F LYP?tyVV&bq]Qͅ 'l3XG)~_bK8C*[yTRiWTZC.p׌.a+D'\a &Vϋ }ɹ@bk&U_5 2Kn 仇IkOQF& gty.mpsS!WPpRc,GmW4Ny[7S2SGOT^ȏ:%3fMk$Y\v 5aRiW鲉хˆ5N@\Q1W@DٝɹbL4I܉%#]}>P|J,X-vsg4s*^YZ=O$.ݛ6@WbbXO|߈PW.jTl:1//5pULU*58.j;eGbR˙i3, 8;<*mQ2#'x8 Xf/fG v7_XлDW/5̚$4apdܴ 9CWY҆5oFXTu1,XZK9;ɡs;%pweEF_[ Qӛz&OFS?sm%_n)ڼMy6}USIJ=[xK0$>fEҨk?i5'tz_wݧ6bt95u'|"L۴אdͥyO)Ft ɷJq($qX(T,Fzԝ[P|.GD]^/Ll*A=848Npy+®>s) A$mAnVug7 K&( 7;$1r 9B|O~~;M%:LvInZ~_OxF5op3*\+'wQH-NJҡ4)ed+0]EofF4@BtB,H['b j>Q`a鉵SbX9]vt^H@%yfةeM$ 33Kb318AҎ^;>,V#́_G Et4Ylujv= 0RE[9Ζ6-n/oX|YWpbaiε/v,Bn5â(^QLs(͘*# VMC]mTeRv#b, 92?f)cUwKS#q쮴~m뒸I*,kp {7-v 2Gh&/s'xPa'6SV6^6KsyT9#l}+eQ0/ʔ+2[k!n6=A^Gj:e-6凷 {A' aC-$~RD> y,pym37i\D[LAb_5&yp Ѣ~]<&&1ճa4il'!:8ѤMvʲ38o_cҩz D@r]曯W'Vܣj ޶tpj}Lo-d(W b_7VoW%ƞV;@◁!ѨDp9,D ()mJaڞ k 6X9~-6uĢTtjj{ X+>ΌPDlO=kkl6l#ɳ"vr  d*?"6nۈue<5V%s uҾ&R H G,7Oh ?,?Fsy\a7feUv?"]mDmstMQEzɼkx]ۄsH(tC$!@:A+ԝ7cG'=i`bX+2-B)iKr# @T$]xhbُK^&f$iWW~NT %']g+{)nhB6`P;pXQm_G Wx:oIru,Gbߝh$Kɤr?M"gA![%k ^xc Ik܇c$Di ?t0b{>|`h.Lu"Dp5KiJwAxcuxQvs`H(>-U6E?$С<> e|Xǘ ՞4'SD򅨽HzJDL[ n ۹&D+\wR~NVlX>$QQG6޿) p'3PyHmu-~O'ZȦQ%QՁ08a7MFCEA>)o@PR|[sJ>+hIq|٥%8T@WZ;WHyap'.#~=f5r4p޸mmf=?F(AM~9c}\L'ymEbs%V y&L3_ rgo))!Cj(eh>~md +)zQC8ho$.Jv/*f!eP$f|R$<6ÄՈ,B"^ ]sU׋@fu!:5Pvj7S, FD e5*w"{PrtC =0f'dwcuϘz̨V|/*U)M?$̤ LWyF:K9WkOa@װgApvö Q'#1XKl=;n;Ji}/p z2]_YQ48x 2N'OeKpyyc% s"T[8(`;ٗIݪ Ę%fAT`OٺQ) o~?V3[(fs:ynpݽtU\}-l3#&gʉA=e# 4,|7٨@Hvl<A\x\$da=,uxJP贳 WD+}?V5lMF]y7Egdv㌢d.p)M2wB|cŲ38jeQo>OK;n L"7CkY Rp$!')Pd>{qWK}>ٷdI v 崄2w0' b(j +Faj؞73+*&S_sWNOm ^$HҚPA_4 ޤ:$ -HEַ\kuO\.灵>m4uˬ7M@VEHQkCP/k1P J7-iVsC76N>p21QUc ?P@r]*,2فpNusw_ң(޳ m] ^bI;imݦ /O\?C tb;peS s%gvȶhoY7]d:?Af5(.֔؍HTU5- VRwz|`'*Kfp밙B7A*H jE%Ej֥~9젙싊fU7zfg *qh N)9n?xҒBTܛ]B}\v oMb\L*^e4lEt ت%m'|n P*YKȚylLݱve9ɪtvGL=3u7}{%yDKm'V1hE6moBw3wAUyZiHמA6rWپ0~$߹+l3"7!f(4V!w-K.8P,w D:O-_歏#h>Q:ԑX=ᮣcsg>`[fpf,EZHjl,Lry9_.s.q9t%L-NiS X ċn:fQ9Cg154H.V$imvb0_8SD knc)j迵X6B퓕edPMgzK^T}'_1ɪ kcǖY\߯ @:9ZSf>睳S~!w>O #u-K^=GWxYq/=6hRϢ7)5p^[SKgFZÍ7\KV3HaǖeωH(R,^HkYt28щD.fv] UqnHjd)Medp3le/!ߵ`yJ*I&"ֆ0}DfH\xe@bdAcBm s$ڍ9{׻n3]b_`~)52`ceb;^Xҵ'TH=LLt4hh b^ 3"+A>[KѮ*kANre|gjldzb,S!~))—%_ΈV\:F]l9YB3w~ psV` jXs7S;1!d9;^+st\d yŷW#=/eܣWkw@•18 @ !"Sw\ߊ93SX.#O,$ :ӏ<[:Q 9m:फ8=ƣe~lJKk^`|ǕbǞ@Dy5i)sL-U>$}X+8ʓ yX< }콑P4\y.#Pv̆}vo`RB GI5o`MX=*$5rujĆ'>\tȋ9tdL-X=̱)y/'yGƑwz1o+ &ӓ{ Ra'̓1 O `5Pܴp3L6#\mb=@ $w~Q +Y5.20i/9j^qҼ8*˙sUwFߝ6'ʉDz.Yv%t,hT i99#m*85_?Ekp$)/+o脖pf .t%#3/JSϖOqv(P% AlDv܊Lk!hLPY$P&A0/yOiti`HjS£P?F_+j]يztA _E;!;}TzdTX[M[A -(Hk'ZۯэO9̈ϯ6^yDӴ˯\uw럇эz 9^ I)B6%8 `5Tq4 G̞38`Lw*}DXj8u>MIuclt/1܂FDAJ#]_ɓyn .{ L~4> ￧)CҧG7@|'"fgd#dOa탾]3śTCfwFXɧ;^7|R3DP&O~ ':,p>KgYMcrрSyA ' ]'1xpoPӭ94 [,kLj)yZ~k)N%t泤M:(kpηub`Fڰū,5QA*DPI×Ipbh>v߲FSHSE:  7) vfTyA\j΀e{Vc N&kƤpE[9eܩ"SKLA/4<SPSRlՖ2[ܗ2 hpTgzw2x&|qoƟQ , K*) =@ )V"xKQ-@<_ӽDnb@M=}G"~"IyՂhoi!pȷ8QêZ)(>sH+Q?:w$כZeQcBz><- e^D1I 3<}2('6'ߎdTY>Y-VAkҪTZD}On@c0è}:Di.#[H9Åb M BF?+P:|?5rW2D P[ӓ gĄ.BurWUШ|MwӼt$a ­Ep#,2Ah_55=6;q'4Ⱦ1: 2f|`Bm-j;ɁWHM p4>0Xfo IpU$]c6-Ըz[WI6> dMoՑ\}~.1T#Kq`4gl`]3]Y=2KTfD\B7_h&"^C9$yk|v:Y+ލ eI ɄweILlO#g2ݲ=-6jPDca:U*حQ2S@D*9EiGD \ީ0wIPUgYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)Rf 7y HbgO5E~ se,n*bN WoOcXuLIڜF/5R4_rVƅV"_Gi;;mlXW!ƔNJi/xm$_w?. *!^nCJ`=ʚD:UTFrgYZ7zXZִF! I]ŗXi%L&J5J51cT#V$S\yΫ{zP%q)3z/"LQԗ6>JGXBbAvz^!+cͤ(mC̦߬aVj@!5O9C H)و 0RgՔm& mأuEb`9st!9!2hM,sy4wb?MObBJUͪ._qB ?8H~=MT=Up@Bkya-JCRq#l: ۏ,tv:~wM;&,.15`#i:^ $x+5 Zt/o|y:= ={οcݛ b+O~AtH\3ۓ[deDL FA+il*߀{3KP ]-Ex~zp!Hi` ʯsO;j?VNK%+T">_Bȧ#\ ,Dj`0BS/ˠЊ% :BGr{s<a/?o~S_ c-Ę,l4P J\;SGUXQ(=۵m$WxL)Hѩ3/ye]cF䭧NTP@vjAjK{q89w69U!Ud0`/r ̈́7șef&5Bt2i ^>+*l5@l/upX.ME2h </c(=!bpc>DEb-5l+-u[pxFr'Jw|9c߂;u~BcoK>I28h<hq ]0(xdžvX.'F;?&g)Iڌ~pHO9ML5 ReC2WawY ߎv8TBBfIQۂd+y Ҹ92'`X-.UAJpDR)h~eN}79~Ibh2ZQ*w%8\0ȌZ-C g3҈&BK0ZE g1iкT\Z`+P̔>y+Ϥx}:!5 㺒STh_mA] 3S~<}p9aq-@Y}j~5 ʇt&"zQOoaΚ8|j>XWš^P`+4 ᄓ♭J6Agcn̅Y-;8CakGj_raRPBoʾfX;^ZRi\$Z$ #)P|_A/_-Z 6ѶrvoйkyL\Ь EgYZ84bda65afe59eef1f7934b170ce3a35a06b447619aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535