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 22t<$D ]S Lp:threads=4elapsed=28.381cpu=87.432gc=1.5287zXZִF! ]ŗXiɟH)0%oӛtL.[-N> 7swzj>jp{,j!ǯ{"+wdwN콍*0rSD\!o^پR%5uZU,025=$;0#ĐPo?W[}L.-vT]Կ{f' <]4̉Vɧ7à`:9B]1er6H'Z/‡r M;sBv!faJnvрw-;cV 2/yxx jhmB!iz5! @Y:.?{OjFn+Pn1]3Y3=C!L~ɖ#h[*߸@UXv"0G8}SA=qLO/>KSb2HA>v!߬ڗ A_68A 1p}*[e)ۏujI,Z$_tlb h$\o$qT57]$^ rp a-q_k)j%6V hkC1p*>$?p*r_HKiXFċG^РbOx<](K֩[c3H鏒 ݨ5:j xIrcDY 1s L1*^C5BLBıQ&uiK- ^IvɈ eDWb.k>Wi%;8h::2c 򇤣3tEY'BJbm Hp0|4TgԉJ WѳS9*nC &h n;emѾ9_[ FР0ݫLҡnb5zL  Lp  vR )jrLn:.|0*+#N0nEĐqʃ[ n+J0Vd@ӊyh^9Dr} QnBCSŋ ib\POʫ_?0'D,#$"=g{7*;Zv]V?q"~CC8ʷOvw&3**Sa }gW "4(di* “l8o rX#[=Qi#ʑhdžт5Cf)3ƪ;zEJu{ .X3]wd٥7R(u)#u@h:鸷%" ٌVArE" AC3q |"O|ЉSbxi㩡=𨦆09Y:0uoc6S=.4`pt59{*Vߎ%J\?4o'(1jE8+fK{)&Ag*pT-S>7tCskm( ە8=Q}Eʰx BmKgg ,Ǡݞ{h-G,{'8m6J%efXUWp4^dX ('Blk!Y8ZQXqZnA8*.N!Fhn,)61g9:1# uM4(3 eGl7@:9WVSbR/f}pr/'AY1j'F AC4\P|eoHt㑸"踈r?GL) s5-Rk6wǍ(x"W$6@U=`ȸy}=ܐ,KGխ?/.Mg`Y/Nwqsx/fbyc"1ںOD(VG]c#խ&9T]tU UU,bmgU'Yg8Ĺr  :F;}k`7u3?4:Dr &S$F/`?/3Di|b|Kc;Kb:XJM8{Ŗwٖ8TNSmL[m6K" 8b ZEHM׼)ʢmvdE(4o-*W*@=)sS٧V/:""n[n!̍{BC#җ-S2QhgO"XNn#w̟4\}~Sh?G*pfCܽ1j4Nw5[6|$'޸'I$5zpmgd=%M H\ke{ FMzRLRr;|(F930B!yaX6f755H%(R]~;-GGdf>95wh_YFPwuAo[,ˍ6- -ao! w8PxN0eFUƯ+|ȈDUI ֱe7 0NSx.g]֐ixцkA\6M1Hf|]g+]h (T-PƱ=L8d^fb';yN_<8n(bBT늡3ݢW54sV髮@" W'vlsͪZw>܂An1eî 9DlďpqtLѻy\r藴SLӺ 4Y`=`< q%5"(&buPƾPP%.BWi7۷H?&íU["!E'?/NPhT6j-mTHT6m:j2#`Tmv1˃۳d@'%s\S4 k*UMf'I<%Q({o%Jg ݝ¯( 7TCp/~.ZtFsqCB?y^bR t!Zo㎫t؏#%Vn`\Ă, ;xu2V',-7f q^'l簀 / h 5xڡD!Z^yLYb׭JX`9nPGRy|FpW'-E#4d)Av̊#YnMy'%ߑ [_U\!u8t獳?ߑgC-vυEr e֡lTwd#8(a9P5MG;jYí5\e|0 pfVoqnU.@'ٯY[8vV~%7ì8WY.) j2Ks{f2F7 M)-WXhXG3T9ooSud]&}Ǫsk1ԾsӳyMs5źtҫh u"XzTNJ@WYfoZ kst,>Ӏv<4Jk<@TU$B x(sٛ=2!!&o7d9%sz8N7sQ[g\!3 /Bd$;WNPA`s"L(QٳEp~Hweu$< |=|BQ/}C|i}7-Nϔf D~p:o_4][抣&" ?ê>o 1sM6JV 0t;j[,DkN?w#c/466BO~{ٮ, -eʥ18kU-mx\##ωTS'q,~H>7jsfR(OܓA: ^m;iต%f/bfE15<6N=g<ձ:2Ԝ2ߜ%} H& )yRMNcqgl/nERU@NjһKVA71ͽeESb9i2THez AM$%)Rp\½о =`78.tLײ3`A[a' Ar[X"C&Q70''LW9p<eEe(P~ϷD$|HxwY2R_+̌Zk1FeOzrZf_9ˏ埭%g0$(gb|̤cQY7xGxqZ7 %T޸sI._Yv;_cVCυؤ;'Rppuĉ'd7_Y*?v`~~ӹxM$gKU"YN 审!~D xe~ #El,6h9"ʑ tߢE;ytDJ u;m[? }Z ͺb[a.e%#Z!m"3JaNg"2O &bAQ8|FvפޡܽT\+,_ WBēÜ( /?IeY4| !|l[|3J9=9 ddY\JfNmDۿI e\ʠneLu.}6gIdwm)8|Uȱѻ`NQӣɠbO"s㔊ƷfWi_VGܨ񮙒0:>˖X3Gt2z]']BJ,sCQUpGU>S3]#ih4iѻ9O 2HH[)av#&v*)El(Um`6aSԖE̙͸ZwtqB$,Fy/1qލ dd{J$}y|iUe2r*&L08M]  kR"jzk/cYI];9WѶ? yUK&(꽓1{l/TKhKq!O3rZ6~+١DƯ+b\GQ4o˅ڳ^;.$ GiZ_iN3f31^IQd0hif̝z}sゟJieh8<C]ΠVg{. Vׁ9ROwgw < h.G-*N|Ha|8`|DOgFc%B0 <XS=FX #$oB>N":-46X@sͶe'3&2@8)SSQg}fojv8 Df4gD_a.=i-54CO?v$S%AT$&uQX_e=K_G"nC4Iܬ,^xSXCPzzOx +)DVEuI['AAT0wb\\03ӫkmaAZM> 6A8Ӹ+,-D*kpU4_;xy/Vͫ |3_Q4z<Q,߅2+ѶYL92:0[=,XOܲUZp cˁ1E"'7.G\Z%"s%4fi6VH3'L4bS!YM}ͳe؟z" $0$RyYiú􅱗P`+ zLgq!gj{34֓e>l;{D|t*sPdaSB3.@UĴPߩ BijP;6v=U[@I}F\K?B܈ . ?BzVUHVXN?po YBpqIg4m霫SP#^,iyU>rx&l.(2w^z6"ͲWom|'0Vod_w0W)FGf)GΉM%zTiƈ#GYF4OԪv*f'Ė}9WSnf)U-S]/@ˇNM'CL={~!ŗΌ|׿ ޽܈=PbԹqkEוr:0.&zlk^[?oe73 s1#ugV/Ϳh0w=02#H*˽aZuG&pFrE;(̿i=}@Bj5p& ʰR|RյV].Q@U%p $);QNh#&E!N]X x;Q0 "DhDN&)tiTTJ,AäVʤ.*i4Wc(omVh2,0CJ:-߳6bNO5'C7Ӊ Ӿ#iϽt mfl~`zɡ .G Kk%-~]?E=Tt62$Mx0D/N2 ~U(VW9)vI[iLIиX`AbIbDT5dh"∣?&ˤh2sG=,Ys'b 6,1MvۄJD'EY.uS(:3|I(kL#[DNd{1N$ta܉LIjϋ5G_; * Ub%U |:G3ZMO0(-o}J*:'R˼['呬x){gvv|lhLILu_.nVv6%Ckj5]C4lfr4W(CD v'Cyڣڐ/ۜmg$]SDSC΢˾(k|Em3tOd'cN8%tR·/FdQ@G| #OҪV~A?~P *Jy2dT0Hu2FRuq,CRڻ)/|vܭƇig/3[5 X¬3{w-YWyȹjRZ;ViƱ츰9,A 2'T8ʀn%d;֙ջ?fO%EIִƾhoBT?ͳDZ/azbNnr~cX,YbR@7lٌ.Y .Y:hf3gǭI t-)yS sl̦Rz)li$qucD@~U|jF}LESTLҜX9C'ZV+?:6LsUg&2-A58''>:պ'c&Ăxr2pmf@_O9:rtcEg%~"4{Ko"r#s5_:d[HҐo-N|x~6qv\=\g!A鎹qe#Гto#iF'\JpN&1%͝4w̃H8ݘgf$FMtdj ФxNVo[~ >M3}2nE-6Nmee/v⪟kZ DI͘N|d8,NXٺV~aZc s*?sK{Ӳv0)ukH>I!Q6<{o"OmŽ{ 7 0rtyȿ笣%p Լ4H&8~][~3o=GksH&`DT@$aںdly ~$ir| &8Gk{bu_F#al/HEg=yWZy,W77y3Un4'ۯz(/ #pg\ 2Yy" ֫c'e:rI|pNHZ{/غ^Ά0uN%1#H X b ;(j8 W_Lv>O,#7҇s]Y ΃Khnm :Fwc*fQ(!@t 94}ЃFq{D#stxJ~K! ޢ%ށPD}v?'*2bkي~w{맙i='QԎי5o3_چ vbo}qeZas Up`{ޘLѨ8hm:gpCTJ}WpWUVL H(d)¡S-nW Ý`L=t{䣈YkNH1&@лS"yJj4?Tiafx)*K"j<4DUX>K{ȻB>H L8CRl1H![< ROmya| ')g52fgUR݅;(1a?eޝp`ƆK({YEܫiSlČ(*K+}ڶm~>ptw^"9> =`ޢRbs.~? NnC^b#?Ygn=iMzt'd뼛jC޽,QihܨpbٴmK ϧ)WA-F̲ )t^ !@aeof&f9xv jwJٵP_2 "R`@7ܧ.xKLε5n~ZVӪmEJVc\x D^cFC$LXؘ\pnKX`o1$>Dw 1% zUST}Csm笒5~>pz.%IӳIɀ]Qg(9'/D9=xn\ {*aJ޵{)uX]CsWư R!H*ɐٙJT' uٍfV)'ί$JJUAZ~F!yWX-'ByKհT.(mSh?1Β(@s|g횶3ԓ,n ۘ=}+/u|E q!#u9v@R>5=p#jџM &֢n4Rwsl@}|.Nb`b~eKH2㉵{dh/½%`75ux+o#z8Ytp~CT_ﻔkYj=ܻ!P澦˜SF {Li/ $R(.HȀLlG m'?h? /Pg$tޢs}P)7# @^]ΨxIaTʝ}7NZũs2| *eMH{ZÇ;I3מgdO!Uq|O-@>z|yNj՜ls~.wS.f$o<#`K\r1oU?_ݍa8 vSsWVS\r<ˉ2݊]ȢPorjCckVML,_ ,trp nA^a$i}{oͭ+B5H\YS_om.eNV˓4ܥg}9Ģ Z Jǯ@Ʃ24%~g7R8_8%~`+|[3)( *Bڱjޭ߷|Ld8f!'cy զʪr]Rnv~wct%=Rg+kb5_R.q g988apgMYiD,}Aơ'(u = a佭-32mH3YcW.Yr:_+^pvuH?`D[=E#c-l߅ܲT"W奩 FM |:Jt?8m/ 픇r9/$6@<@B=36"Z5ŀ$)wֿGiWmX>Z.>IDOLLEdq[r$Ew,waClr8C˩uID偓Te"uS%N!BQ d-uݰj#CkcA)W n@ )^|@U拠XIfh F쀓R'$Vb$ji_3|6hЋA]~wUo\Dy;-T%1RSS3^/40;k.Lye#h, zJ{mڒ) 3O (6~U9[T {ts+9G4sTI{X.G!mN[_ؔTObnGJ5_0-L2.㊬NZr؅ 0X:Nv TX=e4/Ġs8_XSAB*+Fg|ʖg {O> 4ml f u;D{9 Ê ;[Ss{{T_7ј͘SXmxm k<\p vĂW[Xx7w1:,/)$ (2,gEޚEw.j쳂v»&6l'wMu>i@`[gƶ61 %=d́_>Ө*Zmݘ3!J_piCv&w@^w%(7۝Ebœ(/s榤Σen5;%2Rݷy^B8K8ߧ_oS 'R57@IelK1"ZeĞm>4%oW~ȥ;@?8")H ]hPzPV5*~,ݳˈ7( hwxFRm%XY,VTi]5E 2\^LIff,Y{]/ѱ-)U>[ZBSr6.;x`AC3EIٝQlP;4p{jڳ{YLA:l{ iRi%O,hb/ vX%X4U2'ٰ}ܯYj$'.<üCѿ&Bz $) `es,pCoͰ &Y.;[ >V`$#oJJSyO"~x ;? [*TFPo=y"F':0 FRw+OvIG)V,?.yb}zQA:CobRoVdG6 "›CMESImwPr/ t.WMICGقaۂul"gT-kg8a%ˁ_9 <6oE3$w+1F_x\,)nyڈmtsj]`ȒB.@ɉHa7bI]p1ipK/BԤZHFC!GbgLjCtjC6!;, ~6VM5Z-h5ݕ^ͦ:2~|ʀGRٔ?nC A< =} s|$A$ sT|E/F0?mtM/J@EQ9NKc(YݻJ'#QSLD:+pTqndICt%GhŠn ~Eq1cu3r8CPJN^oH8S ?)P?Qv gVbBxhy9S;'w*!a.BoXA]muJBȟYbOG\hCTw~R79b ˔r3`:-mNryv]7VP`װ4(MMᒉ7Yʑ>J]VvLB& f>)oI yͻ| J'fkh`_*Hy=x9˷ҧJ݌&$6<'{ ̶7e ;("̬Hc 9j"=cP+D 4K͸XYmmQP}A@ ; 1O?r=y%M8w&4^ɼ94}m/(֯&s;af. ݱgQ^3b;mP 8h}9PO%$]5k< NFS|Rs[{v>ʬ/ p6 %i貆&Tԟԍy3ayy>vKP  dLMnrC\C[{O:Qyv, B/m$C.fx"Y[KE{޸f\9 H\~ꝶϬz@UրH T(J9鸟)Bh zA󳠽Mlg0UI?SJ` #mcYYh1Y렲K)eYD&v hFQEY3 ʑL=@O\ž㬼E p{UVjCAV B+FǛ? RU\,|?/u)8EtjXJ6 ~.?=ۛ{^LpriTe@&M8M-SgL2_yv~~z1u<ǘ``,QuKr26]g")D+R}09G=n<|&U@A&SB+ 㕘z+0ɏՏ`򦅄/Pq]qBO0k=x/ix3ԽRX@8R\ndCV`9`+Asڛ;1<> 9_O( ^T8`I]61TᑫVvYBo+c8CKr, o]4s V;>&,ӴdL͑eop*&#a]$bkmE+H0k&xBXO $HBs?{c:2߹1̀0;!7+冽5tyO0MPtd|}j抷qMٞ#X.n 6§MB3HH݅lu-丽\O.N`%T!ę@m;闢C՗Wm4Ya3hkQMr=G#tQF`̴xmS9 l851quu dL##ђMn=[m`ܸ{GOa>gH,璘Cis2OFZ8'"DHNEৎÜ͌LLjc aVD_L؞Yͼ&gI[ÞBHΔ))j^۸$*)3B[LD4jXۓAd,".92P-ҫ_h9]d',oZ~:R̘sxKxDkqYShIqJX&T?FᛎB[!#/XA},/O(ɱ #1WH3)qr)^C!%(2+ Oosb'M"Lpe~ܭdG 0 =ޚ ?#"7=MOr˭+K$A!3'xO"STeW.CF+}'R& `-R [k``X= v8VV\+޷>Ab5x[mh` T$?\P* q)q}̰ XV;|MuSn;7K0ЕwfZpjSL+.Zy ) w6zc=>$ˍ%+N3յ"ES ]w< :KB0&/hnRt L#py7~{!Krm j\C2=`WvXt,t`G+ƛnҼT-R;yx/d؏ZBA{"։Pa8BѤ _ ›AIxScy)}@ZpbnԌbXThjC)D RSn2lH>=;ߛhX+ߣW=+E81GHy{?gdڽ,٩ɴS팢 YuPd]2%6}.JC3dT+E>v`>jս#o5HcD԰UuG1cI1XƀŅ8& 465H&&}$ImZ#.b<C1)aTLPL+?uh j37zͯ v"ka r~\Z_ s {4\L!e~ EӾ0ȍytٳWIdziދOo"6@g 3ư_? 6Ԟ m@%$J_pMʁ lP|sE]!֭@ CTkX~o~=7m#ezj~|Čw7 weԍUDۍ6PLVI>mY{2•qaS:>?T|>UOkG\=ynI;X=_W̪m{qEOQ"$lddM }oPh#P_}1ȖO)ΤJh Uq/fPrXcl+ 拹劉:LzH+[eJdm+{ e! &`(S]q_[LaN>p8ꆀ-yvPUT楆\}.?qbX ]uB{Y\e ى =v{Jj]s))8 *l=|.v!5͵r1 ^l>hF.c%Q bf4 ]寎yeM9)AJة$C z0NYW+HgW1SnpuM n7y=rh`ܢ qlT(WR]sw&>j(V\hj``M"C~$ [';\?ԋ]..XZK_+yˬbL^ z]OIkWH^f#+)ٵ4}}Ni\c2]bԼU%5[)սFpDkU:qZBBO-j(W2:M$.:8216 q+$s:|ޗC4\L㣠h~c@=BkHU$|CធA:d=W ␚ȷQk7NSuE c˜f{_m6/KG .@%=lpK+OYOYl9LfPRh[9*j _VM(s4jiSh9Y2Q7秚HEu96t<}X|=ͥDi èةv6ru6R7uBJt,*^x,#f8*KyJ brWyfywf[fpx@\z2=_y?D!(9KHطÿ "ٽ 10ۊCPƄ B&j:Im+L|J&T CL9!x~ʲ֤dV[kn`vϮ/?ڴie=KE}&ղ=oJHc [[n$\jE@tr;Aa*DGffRPc(;>wVo^XH5fsX7ֿMcJ+݃BDО"d_=b6̌dmjz6XR/Dc7=PhgJ2f2<ɯtJ|򣡀kJc79yɥV߆W JBf-NsxҪ1@7|rQ%gme f(D"-f-Ԏ\b1B ?%A@y2y)wp5PEٗc.{IҊe/Veԝ?TpӼbGINvt -Oxξ)yhsePqT2^ᓥٍ/Bxxm*!iSk$iPDbPP (67{B)nr+Rm6= O ͼRԏcfp Hw+_*CISo;S>!ym-f/3 ]Eq%c~?,sCwc>luQ0t 7^d>O5? Q8O յ/\oK|wp*l0펅P'AyVlpXvQmV!<;yR,@Lr- I6}EL0D6Y7Qib[d?"˒ x z&E"%"⡅t> 䈬ܓV )鷻fap?ۿy뿶@N6Jk1EќĿzuDxޖt4.1 OcÂa2dvn{AF7,8z~Lֹybtx;si f}/QҧDo5k;gӭ3ε?8|vްK^ 7՘g>殴Z8I-Br\- ^϶k}QI\pjvܺQKGWKhirOרygOg˟tj1 # [̻DrbLتٴ)i&d8[F8jHվI%9g=㮜[T)6vd3]Çrꁎ6{53lFp ҋTCҬvꜚV)6y&gRIj92,_j#M1VJ֎n)Ex=I-K5OS3:zYfE$T.a}zlSaނNi#]}hި$=p/qWWUqF&&JZ/6\Ck1a/ (Wh1>H77ʉR(#oTJ)iC% q*+Nz^1Tc-*A'J28dkU0J,3n?M@mSdB1[Ea0-849UMB+ S!SXdr3% _Aa&g ?W즓بm]b5Z _4HhܗiBجX㠜_ִ"$ﴔH$Y.9ód=A]I0zgy3Y時y^TtfPfa|H}{]/7K[2s2!i,k]jG&xk*Wx䂒J O&u9D28Ne{fb7e12!}12nw#->$S#n(b?qcA\7FdKvGas" FwUr":fBXfY|&~xjy{+Ozh\4SR\ۏR^[Dyvد87Agu\ (\h ?Px6lzjjM,\#o^Սj7s,Y]_WWN TQ^PV4ASɯgqglx-P'M|ф:2Ď {^-sJ/B:7Ʌ+~輄fzKRY*hY}3zF/46F5J/`ӎ(eN1Ӕ봒.(SrN~ú&km%PG.rVq RgRa =msbp辶mz$jCL}%&pEy9`7 z\sKED%n7bPui V"PLԆ x^rЕ(fx!t;G_X7R$X|2A}DzVqJKUP׵yYSVԀ*t+3\ *q `yn T Z>tf" vHnީ~=ŤD/cN~$!>7dY7`B u$ѐBq¥mVúE72-3B2J2{dj EDuCc!]t\_zxjAfuUƛgrOQ21Π[uQ2aa񲷣{db6w56PAwd}3eL($OX/tAt%9?B! ?)@x4~(6h-sf<8b\jqQjD1mq&8M*L59Axwg_εY<:2F(GABz/k4= ˽Co<* slsTDp@ESd||3"֭8R/x .ZZ~CW"*^X@K|h휣~@&LF,۽_P1T04]KJG GRm&2AIz#ⳀOZt/EC 1A_L7h,lo2q.@/яJM+DWSrsNol]j p޻3Y6J3AF†ՠ*([v8E7#垱}K9[gh=U#fqkոomf+J!γ: 88Uu9ЍH\6X!yXd:@Łknv63?b Uxv'zB)H^NT,z-۽\ Weba""C.:C/BH:Fuu!C;Wiw:\@YNK/ !C-:/m9A=WڦqxZ>)[XXK?1#5@%&Dž|uWb|u+;o(`cB }I[ s*wlUAhx&fw UAnx?1SII>]QǢqlaw)A6Dٴd..cfGѽ4ܟ ~{#ck/L'=hraXOPQSHJwer ^y k#f_RU+M-suTW=.3hWDѫ]dZ96aX\;R+ZpL9eYH,!aVxf&{vM$(t6UנdxbTr{$󾪽fϜ9= <'{),gG>g^Ox{.~sPBz2F.o Fu2(}eW3-b21QL_*3![IY9`Pi^lEez%%EwO_9AW.wqQ$cZ,a'ZkoQjI2ޏt w|D(E3NDgqhVtB*74gn b&][ތǣ(jk6 El[)s-ƚ62ofɆjd,$/AiiU4l׈$j\VϳM2Y hYy_C?+0FRuY.#QKĿ?wGN2h k꯹}^h*gG =;d/v )`B>w:HS>㋾Ki"}B@JYT,0 @<=P_쒎4=xlAήV+S߆ ͣ>h!lLބCD06Rl A9n (\Y]^Nvt$ѩmƓڃMtLþXɿJWKM,Izb`8{2v{ѦQmnz2&BzWA z5̟$H0||b|Ǖ6MLҿiݪkڔwz$g~,eX eZ ͭy~UJ$h>N${ 'GCJq-'N4xo5Yq~bTa+ʇT;DrjX ͝qbust U e9to yo9IDyg\<mQBYHD .VE,H߉Q>grwh5Һ8.b-Iz}(  B/sX Ys_uf`ʊg(敉E`+`΢$fSnS]JJYkP V=v`tt* I܎0(k!`[YU믷=O7݈l~?L*J Qodo%@p(Vw,)`'Fh&H2w|6t$[.=XuL#JɊ +KNL pZ%;?rltÄ{9B`vIEuzV_A[jq゙^d:=v Vsݵ'"=wa;esy.%M"NjiCц?R2lVByi<1Ll/]Rů{Пw~7Oy;FY7z$uC6;n3MGj31@aL1%\j1/xe ii'FFȀMjѓX"jR>ڙWܓIc=MPl#X{4^S< f5Dfq텚+xI $p )4 pEd ^<|Һ!4 ;rE8c1& )]Zڝv;irI]5*x*Q=KuzbkNhHI}/6h`P`T+}@WBfP6wzG]#m@+HϕSY~2:t(ԍz}/kdI(?& Ҟ& iEo4J|e6~&FZЕwbSK8^տ%' 9v>!kZ\mZOY@o \Yر? !It#،੖1X'r5&1Y&vhG88*{I#}@vǣDvx]2.~Pi6#jvO0bxɆL~0lJiFXixC,sM΋*ntƻn2}vBj mvZ݇4B>ƻeIF"T7\C6f[K(`lԫzϽ@K5Ĩ4ĤLK8-X X!59*Tzs\NYϷVs+g%|q7EcA|)x253}s̷f۝HI 9J@Wu<= )fJUmI]Z恳GЯ߶fWx?h`k\N8~fD2>*UɏV ֯_kdWi,S@0754!bguJZ׶ܫoLqB M+h k MeM"5w _[ h띊 ݬ12Ne4Y74iމ4[ xW/%vi{ `HTl;&Iؓ kf}#CRoq-6>Z !֨ Wo\6;ewlČ2~al,k뢤ys;dQͥ'^Л@Ϸ?3+g9r>ͺH\ `g[LO316 C]N{Iju\ ϙb e8 k1!];x Zs8w13+ݲktW狵h_>X>I-ˋY6|ݧHcf?ˎ=?#n5/(rE}A ŕ%vsH륿XAOU"2uVOsi ?)rAQ!V#IMP@:ο{> ȕuݫZ{ٛh6oض9֍'1 ,QWoZ/(hwe[~O%efƨP%-?ml&4zwQ0? Z^ۙw"@^#Ǥw %fYAѤU?4ԩW zk>ۆdՓt<}3(E~ƚ20{|>n?Scj&`$8̕BC]wĶ4 VmKCoJ%VAD/Џ֩1}ө2N AFsg*bדs"ec)9'SڧOdX60@B~aH$d̽ 9 4ˤQ;CWrkP( 6ԊN <:R}GӤo] (w6HF>T F/f7$5)O<*\,' ʈ>Lɍ]$궻>:h諝}x+h1a2^/Z&;ٹgOVqBjmߣ8 Moommk3L#}:"q@DVV@Ot}d1iu3a-wa4c a};-(^ Q- W$?DE@λ-V^Z 'NU+WSqtEd;6;ln_H:u@}&*ڼCd%vHXuy xl!g?Rڅk8 /3+ڰ.6WɭYʴ'~ :UdU)eT‹5(H0q5Yw+Kq䊹(Ժ{t=˶zٿ̲ 2 ^jU5(PDjs!w3A!]^-?έi+Y2HR,6.J7fGtb#+r,+C&$Lѱ>qvb( &n<n]7 }=?v:q8ԫg@i-(G<8(\z t\5k,{=|Rs87-fXZsVٹ {xj:;m80唼/C>#ou*]CEY7OeGC_ԁnxSץA~L+/[Z X=킥|.m@) ǹخV^aHh+f ;|̕8~{SYeT2ok1 [oWJh L$n KYE7?g=דEfꥶEk1.Bm0ˮ4tww^y3/ Қ)5-,XhX'^tX4Q DqqҾKٟͯzldh!1VuՃ9yL=w0U|2f %7R'6/ZDc Q)-W^@i,8enB'fէ# l:U& M* E/C ~Ϣ-jRWm<`kxd 8Լ񔀍8]{]Ieh6 X^b!Bf%4 h*",d峁UDuQ gEȅ/- rS"hmTuO4ɝXi@MJ1'43HT1ڭt~$͛7{t*u5N1u(瑻%T+"DDS%DB\c:]aЧvV}-\̨M[$ B|p8$sͫz$XК!Y̜~׃6Ȯܠ՝׻CIC-XH7Zii~Tض,)[Uy4zbN$K:< \(8/ƦC}mJC2y9 ā m+/aa/زOH;_DakvдB9+]ce;1)(=@ YcO69]|$΍gȳ D QERP݊ <@!C+%澯+#mp(e%A, ĝGĻnTZم;m4a4M1onY|5Kj%dqVy|v_ANGߣb""D<#Ro@eЁ@%d4 ac4~DIIk>JRO0|UCF+A.^@ ') (eNsCf'TP7/7аIGU_+ 0?$paE%0!2"Jm=YGyÍ3g2"Bf -a7Ң\ K:㷕)~=-ޞCa&-|<׳]V|>,}WΏ:-#YB/&(=n&s0of)L8^?gHkI[)TAek^7Zv`pFһ(6D ҅䄌*әpdbSw~jl(B4Ϳm}3t# _C[qyFBo1-!4zJT\S3 U0d!R:9~nat]Ii+eHnrox,#h57(.zZ!upXl+?0~/cqW!֚c7)(=M.׍zdn 1+k~5{Ct]}Ycjw$i/ )(9yw*풋sMEݽ!FpFo gc;,7W\}pH 5M ]]8cW\cwr絆?* Qґo=a)}H/Y/풬Z;<࣐hZΥc/& CbtCt"IWY{3 Us`K(kķ OYJy=S,u ~%d׿~kc,?OƾI$P =v]Ѩ)JOt9i%5v$ԈUS0[·v}qK{Ϝ@P -}+Y-8ne' GHFV剌ʵ8ܝ{Zܗ'Eі.$ 7$aiG|VΑfz'&-z ~_| SRgcGn~5~ '#ف|@s9t5zW,NYCgocngY|1 ' Fh_3IY)R bg=,WBctH+́¤شI yR|('v63{CĒwVRšT]+Qkjr)i㋗!᬴Xkb3°u }jfیOsכu? V+v(uZ. XL?IO|6 }z9H֪FdPAjwƔLiOHb@:Sv+ӛ7έ&]b]@(o=z׽=JT="AalC;(FȔ tGL 6&aPRg tc}ĶA,1EVځJzT#'"'|viPdޠ&_X6/;$cs@-9M80U?_Eـg}:iD(l'xialw#S~̧RnǤ^ ^{`QE-%1 tVXvΜe}8pkgm_g9"vB^ǜidR5(JE6R̾6"aYU`J|uſZU9@F);*8}5j ?.w+}m'mީ!_SLHR \ Do>;FS.xWI~d8mƈ@S'8-Tdp|$bx@Is$}PKe(jLL,3UD+xn ]JՉ\<8ksM<:F<$J77tʲr6]gwűuc., DF/?0gε'( Q5E k(oAO19dlE Cz>TɜG8ۏ>NNҀp>YAg WhK]5uj@[qt|ľB;f1D"g JM<1>ɴN)!KlgBw@>c2z!I0goYr= Nvr+֮.'z[cc 4 ~֭qas7&}hF(B>gN+ӲˁɸJ(R\u7}?Y]5Xq2OoN,bl`+^l '*o e֧_AW|Bt{OU;^7>^*?IuO;A>w?E_T!Gy0ndIV3 xojwc%(xàec6&K7^!jg]|?䵤<7D298VE|> <ÝUҸur -d6!ys϶U)&-eg](ʑw>- Bxi0zUIa"$mxeGyw>h&we>m"}kDɻ$!eku%ʹ4Ux|nf3*ngx^!`t(!i#zq~_X Yi6C˶~6MZ?2>r;Cxf&є^j]vP{iu]"@15A.eXF{(n`XKXռv%(UAtԆ8a_f `F2Zl# Cʹ= ٬M8Bku6xǓGMU ^,d]@ bO.,Ac5U$ﰒۊG<1,t(M_dKSjmUŜ-9#gvSco],He)Q_w%`c5n|R_ HbkxL0"A3uH70F t}҃}^A>TO0d 8 p?0, Ɗ)כgN?}um ֮^P r\Reϱdark,֕uG"fEtVOEEcl&噍66..I{1SbuQUgE{%aRN: ^7LAtaы ^Ոgɭ&tLŎl\ڒ'utXte# doAo؂١a b w+IT֬/޽I 6BdOm)?""+ԬZGzP,܀Ґ7i+ŨD&c+6 h:^);󐭟 q9OF< `+p~12(1mMY:_NI 8}iVw( nf~~tk!o .zAV-q p֌B~jjn_R q%!Ẏ !89[vsgQ,1G>8IiOA&;b-8'`SioS)S/CAkOJ5Iwwܽ }\$OA.N-,wƭ!/^~ 4+{V0I;7Rֱ9+5%KY, :2~'wX u\*p }.~XyYpog ~Fr%K7DOݜ% d 9N*`shPݹf30Z\QraܖZHc;|W7} FU1xo ʤ=Aq_oV;N^BDXBte>h7%7V>{'i\a}kHjQJ]Z`@_^PmVŲ"fbG|<{v2V.'[Y )&ۄ?Pk؅&0;dNsxwjP{xoF"hp2uIZԩFesBC{0^g YDe_7AU ZiZɀ?$6:Ij^fpr<1!+X^h}nn-9tEK 6G->K q QVLXfnlVj `U?+x/d_ݘQpu~ф /Z"˄ǫG'hZJ k!h^,ĒH1\wΪ)6yt U*z+*oQs1meK3N'|ޔx暵Mj775t].gFz,nY Ys m#^1Uy^9qH?DъI7JxуnO>8'fIqzF›O1~as廦D?8]2?tc"BAk$q4,=(#u#sbqww$Nt̓vu:H4Ph%1 KcZC_OBB%%_Z\hvu6?)wqfsVJΒ}/w~߻E2`  hyRH ) Sa>ptD]D񖡪ಂQjZʾ`/N?| q2|GIShb4Iar ,֦؝skۗPPc2ju+Ҽ쩻F%@{_ŅZ* Kp6*Qj؇Sԭnd3qo񦭐n8)ͮ00{ 4KfşuJ.\]! Y 9C;w <܌o2O;\P30XSِ}D:IԆ`ɭPsT0=tXIGHnv4X Ne oBԸYyg)9Sm MbSG]ZQ9rr{7Rxtb/VŁўecJVRetJ `1Bĺ dicE8h<,w"[ONI3:!p}?a#)w"Y LW8-Ta0/p1hTr%WF~#q*[q1Gig vUX.PF<܃V@xLGM:&0':PX8ِVџiZuۊ'WH\ཻTVL f^NZMi@*o4 vp-&&NӁ}Av']?8X= Tv ϭ d#E)5̔sޜ;ГP=OfK&7lK"o+ Z^/ 8%kYVnL+8%$)L' X2]Bcy6wv97\L<1}4HDrsO)G&~.>xJSR>~\QMWt|TZ4s]yī~(jƏ C:g MB)[OKDgzzC1t帜MH$OzR1x Oj$F|bԘ{ ܿ[0 :u5{PltD)#ZO |lOn,`1ر$zrMnJMbB~PSX+wHك""3 !Tą-tpN~cq1J-@>~p lP^In_'#$RYJ cLB%W^ ^+(NS&ETE099D6T ~y{GRGLYBi[u=#Q\
    kNv3ݓ $q)!UAӦU6868Z|O5E+6Q;t ߛ~ׂ?ޚ *^L˃LO x18XH"LBFt([\ cA|/3zi'Չ1_tF)(:9~$R%ֹi?D/Y.OYpе.diءig w#lڹe&yX،RSHH@GεEoO oi58Jˢ5#D4=@} Z^0_+Ү͕o'hvFoB %, br7V{m~hGw }LΤa:3!gK;n-%{1cF6FĆd"ǥ>n uq'`tE_ed,@Ţe3*oq9A6na~5t ބajj\ra;F$|q$j/P~V3u8~eVvˍM޼# TyX-C#*?Kg$ES$\{뾚W.ɦ-; q!O[)dqKAVf;ԝ՞LXkf`~bmt SkDfH]W͇(UۏmO6L _ g򒅅F;m8=pGFp1¥=W0֑+qk\&3]π(՜ fEbHJ2OF*;#~ !{ρ/hi!]Ibdb9_hi88Tg8lۂM>KwB|yEt\\H>}Kw*6Lo<%S&uQ[fw}iϾ (Ϝ59&k&]wF(>Wt&Я:RR(sop P@'?Q2g8qN}%OPq1 ֿ.ov4ؗ'I*V<gDmfޥ}#Pq%Y`ū-JiYJrL]ɿ2G%-_2Q\ hs L`IQV"Y9т}!9inLaѵ J4RndMM:GLW\=[4mY  ?[ M+HeEf+ !i(Hf2ꕸL\c )ARWVc0=o⨀ r3>e}\0_C$ ܍fW\ Gjk19'UІLzϣ1Z;JƋxxƍwOEn76.-锿Az8 Ӗ&Wld5aߊb&eKTsKSFP!BOnxٴYʪx@C[` o+y ˾,ufΉHV-Zo+Kvg!8.; ?+[VXe|۱nLcC 8U4rE2h?@$:"H17՟lpTh:z[Gfy%p.VwYmJ?_ cUaSoa;E׸ _u3ەY`cnbjSpeJESo%ąFR -azq(^lxcq xRеU95^PҽhIţ ̶{l ]}ظZSs)(|PCW0u5.'PODKpniTuiZo2cG y=sB4shO%SUD[Ќ78Dz4[*7 4OԦ:iL*^7X@ bQHh~,yF$Z(Y3MgBICJPVfYg4Ծ,>tk4Nm&s^\.S_&mElwrC40;y(W ]m8jMW67,<%ˎ7fjFFZJO}R"F̘2yPdtā$.혵heXEbt v t_ 44&`|Uk;OBeRP R| 8]U9y%Ufmoߢ<"]*Ƌ6R# BۜP=~0^18>ܕYGC^ X~QMdHo隅<>4^SݾvatWEepzF0T'.Mt98_Ń>A?X`շ`VrRd d OM,#ں=~dnOĘ0o'SQ3fR" ĆZ00dAdFdnpr_wCۍ Ytyʮ7".6G[}"ڭຄa!ǙnoFb[^2hsxs6k`2J,REf#7g'p*ZWb,AѪT4_>9x]BnWlXv g8R!1HțGR M  fAmخ < *O 3zH1ĥ/7ȲQͱKGF&a: aƷ0 GfnIݞ}XYݷ;ϻ7uNj9jcUBM@^)gVjb=vy)ƔM'Dbm iWmm:xp`=ў`˵x5~य़LP<!IͲH[Ǐ g֮}xֳmmClIxfܱQx:dm49}wfT4# I0թ\m=SҴmTGϢbgs|WU*[ j)[Q:ٲ[F,!Ln f?T|\~6xA0/(Jtsy\-!.A0X4W.YѿYCFu ]x|Pcwԃa,CFܮ Q?~Kg$ v}Ig#i ;xy>hy!sk#S0S]bw{ X a")Сks+㶒@{ըRO)=VX . WjB sPϐFVQoElqͽ v vnx5(ދ.RsʚUaTs]lrWl 7~r}G~iwEТL~+CngjKg?dxŌ'^X+ L.YW2wY)sDCfDDhWªi l1\x_wn 7C[fBYEPqꋫܥnu{guDcQ9(+6rⵠqz=פZ" --]yU7pxKӑG^8t/Ёl7><6WT*[w7l}C@_ =bV3+ d/I)Љe[= AeE~ x?i1 q0 _}t6NŊ肻B G~ؿ%HU'.8vȢ֭7( :MP*e"!ρ2: hׄE26`U c&oүQq6(L; x@g 'qFC/>k(OѷhLX;6-sTrS#^(#FkEiKyvZUnՇ| @3gjQ=N^(ILZyO1˾ۣ:Kܸm#!@rMhB/wtk5.X!"Gw`(o2J?B(2y./M9h'"556u0Ӊ!uJ&&^`]ע{M@gP60ק-Ý0"E>݇GKp a8w`(F:ӣqp[Nf?d-ӭԢK B_)#{!e-Tg 籨 'VgkA^>B읝uͨ9uӏ @IG.ly-{/OԤ!;;s0Nh~FZ~h!F(4`5 P/J.;唡'և606Tx n$ 3>4|p?[xZ6TR#`B=d$NQ6vb{|΂MMgb~1py {y!h$=*0;~9jHFIZ 7ipeq@Zا,-knB+G`ke+>lEFgkџ@ڥ|݂bks|X%[ZAO%ܰVra9Knyb3pC-.f5RCi6?"`Ƚmy}gXUW7?z"+1)~h L. Ǔ%YʚXӯ5?:T]~ySR,ps\6)*hφv鼫_~(!egYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↁ5\-I>Տ|LgTˮ Q$t^zV,d(|0cBsᬐSbmyNi7 ]Pl]n }QdRnt悭&++L$bP׾B'OFç:=%BՌ6&1V붒mm2ݒLwNHu4"OSz%uY*wN E܈Y@2$Idpru];vb^]h (H}`rG<:n;jc˶7nXc` ^kKv~pb|UɦL gbЅrAxvQuYF*NJMq4R9v@{1mD MML ,0H)Ɨ;^$dfsk,JXt( l)^2&{S(j׎ EweMm k_v2q#R&O5 ⟮rbmn;q L|nwt[4Lgf-chӗqٍ,jp֚޴GR ٹ i]C֔}YGLgezx[Gi0S@L{~d wCw$gJK .s_A Þ\cM^,iB -Z'b`g'xx; āYfTM} >\uh2 o=-s‹cGHj6]."kԸ&\0/%*<_ RG۠ߑK֜ j ^Q Ms yiwt@$ۈI!p:m:0,ǜ OK4d(7LVeDwae".Hz8zg8i<#|(pwYR#k1۫rrN֥s4dZ3[)4OI(me>or ٫g@™.}Q !k..##֤@/x{Ƿe(K0rX{y `%KbWTmr"Q5ND^hx ,5@^H 18̩ ޳ ¡,1z کR#= 4Ϊoː^n8 .I)%)y`1 Y$/UZeA>Tî pBiIIU"ь9nU)Eؔ6P- e}q*ONͤ_#x<4l bgݥ\P@>a־/v' rtչ/WV?y7 U٧ТfGUwzebNߤxvSlxe;gZ =Tblې#Rd[[FB/9Zd?=6h]a( <+LMEPՇKe۾[+K}V<{OdO8%(a0L \|Pz&0Qy*=~Hw[UW$f*tܧp[kh2ybH.Z#kHG8!v2YӬuV&#. ^w?4z2.q{+m'%U;^G U MkÃkn._ s}`TΝ x׆dnd'+pQَg~Wr惇֚;f4<h͖Gwuq'1}jwE܇BT[ vӹi۠]E%0ADҹqEIJ6vM8mҾdv?7_