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%d 4 ]/]HOL-Analysis:threads=6elapsed=312.171cpu=1633.432gc=90.332factor=5.237zXZִF! R,]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjxJPb`1Hli{W] ld(9ˢBWp&g'(xu`@GOU  >]eB6JldGsyP't,0趵Z`5Jn\YAjUi۶0ZzNXN x FfD3 +2#Sӊ%J -qTnmHyEI&`{emB38Ϥ^uYʌ:|Yȝx }f ky}^SN`=/XsCPމ5|et&V*/Τe0w:eȩ":.sMv/[.0Y\?JЮž9C9&1JRp f7梪#Yr:vYGN3A>M[ƠiGU8ys(+mh-Ҍ$KG7gErgDIGT1dR%Tl#%P*kB`h=R/2v$9PVXn(~"?5+>vaq?˷̑dxT\# !Q9=OYJ"3I& NLuohįpF&xʵL{?:fp@ !*kNHS`h:>sl^&DF eI "a`Ko{̀=:݊&A.3L5-XDz95OI ,x&z3j+/&oС̜Et1LI7/c)5K ~] Ex:{Y%aVO fR쑐]sww lWVCG;be*O]'fJ1Wrح5#6ۙ.r,hBؕ"oL%.d3JgKdm#'qFGvXJgb<"A=OO8MnO[Ddon: Rv >T@FqꜦrqC)SiY3Uʸ=-|hAY]1r2 \XSHV Aڰ֋Bx8'b)$;,71o>]j-g/e]'V죈YQ)J錅 W@w.ƈhP taGw o!G'ڃ_ܥɖ2N=s%jє g3ikMש/`p7=R~FD:[J*oiҵT ӎ{=7fG" y'be%'eg(&:Tv ۳e4_JZ{w72O__ʦ]j [9, ' ԃ q|:R}1'JQzغeE k5#C#q_[O IxE5-cjR{Y90œC®V]`[ 1zX.B#`!]W+ V&Ʃ VN)]sgomc{,k}uN5Z^J=nhbٷ~ 's;Ti+ށ4GjOzT? lR<d`t}戁|l+t$ҳn.A /gBl 9p#} % HOL-Analysis  Y{ȏS`!]Dwp3Ww"Ԉsxp_ zvȴ;6cominqG5^Bұ&Ei iڻ/{9̢mYzm (x~JQyHؘ/jgh)J$뵎|J(;}e ӯ#pKId) ay=Ay^̄gY%N6k:$s9G4VeK)kiYLs_u 4a"I'[wvJ,`Wn> o>'gyC'1UêCBzq @dVŖ)J%-2J/,-IRh"Q[vRĨiXLO7b~J.pCiriG20࣠8a:] ~~*찦Ń\ ؎8&")VjeY*Y;ba _|8+t=4a@*(>:BL2G2eR! of\l<ᵦyvH8?y0^q}]e_}³NXuIz׿zɺ^8Z{˦MB4MôubA/HGm^ >]1TOTr=I~J*G'(h6Aΰ>ZGvnpoMNɦ$M&[ q}>=]W|`4NyQ: ~G6iи͠SSʸý9C&CHp=+(H+ YsMCrM96\Kzqb%&=LdtdoXd.:3`эyZZ|8⻧D-MZճ8 ʏ\Vw%T@ikM:k%B1`hl5ȇ*S&ny^Њ7eŷTi͸5Jhzo9ԢT >$ʁaa,#&}pq&%͢)cmode"|K> 1E^6{W`}U%Ayz XY!$t r ?(N_ΧL>O I?%Tع$ >M.EHe*ZToMq nS=u!{Zp$;Z&p<_bRI,4= ~{0anjTEuO_ڢ,l\*%YGrXwZև9Q7?f5a(yљ¬HgGtJ|K;"P59KSDeܹeͪk$Tud捨aZ66p&0T5E{qɅ},P8ׁ}_z/?te4TOM}rTSw%+S="&Q$c#867<ֽ" 0VFmH^b3ZdjMXSދ0kTsm kț)=I6,I@YLFTL!Q]V{M&b >5!e%?qڐ$ᮝڀoƄB"s s&0pd}0$3/n:na XVavوδ5)‘6h+eo;I8`O[e&(Iqlsjtlg.댲MB:UR' |$b_lr'Qw7m1כyL^v[ʰIAAAHM@y`"oj0*G)Zkk)2̼\/oO:/)0ޗ?O/\hm-5NOmy3h 6{gؘ} {X ' II1 !91lHY=b:{[ellEnj`o QչtR3owOxLW1!.b39p]D-/r;^E-`}gf+ĭK{F3ϼ5#$v]!Džr_4O..S4 "8./K,~w{S@ByD0Vۘ=QhG<%rWsuԼ zI8`߮8+jeW㏃\pA 4s)` (%"/p̊ |*H NW gQ$Zd[檬Y ؜t95 kse{~q{TӊԽ{]N(mJ21jí1Ad@ӂ}e $A _7?'x;^= Ǭx"E1=ZY6NG= xxo`L rd˯RH+6XET|ϮM" ,3?z;=I!ylf: Y~k12ʪnOSwyG+0^(0! @u{X/1U>95-/< ;+Xkق{׳Ûݗq 2$)i!%MĜ\}MrBhFMi|P5=9s+t4F vČKo q6?֕VvG<<&{Z ҅Wu# Q|94n54]Wx&eeKs=YQvauDGg/ rfUTٮJW[Wӥ8*֭I["h'^ӽ,sf.ۙo+4Y`bxϴ@PmVWֈ3qVltUBʹC Y|H1*ѥR7$HFs_Vnʡޜa̰NvN|jHKܦt_ ϒ֪l/).su8fVy !4 `ή,/|r`-"e+'Ƕͱ 7}볚Y3l@8llr,<!g]4#a9tL=Mlz-R| 4'3ƶT\}󎂮,[OLi؇?Btvrc;FARn`|gJ+}DsH4Jx!W xGm]#i,oGǓ5޼S5laAup0>&DS]'vȵt{Bzg1)+T_S2X#ێLSs@K, 7sr,QkXP!^@x" {xYQ]ztQx]ƌLFW-rƒꊁJߪ/{rL JƴbE(<\g])S"C̝FB\i,1sa_f]]_w|V UQ_x_ ~c⎥C([/-&w}d'Gv|~Z*5IpYu @G%8do|]ic6!֒& i..Jqӵ&B&Ra]tAp΢6{wLUķKٖB {@!pYUapEDᕡcc6M"94#ZS戾&ʏ]5Sr?݊1Od \!1*NzFbW~7TXA:SKtUb~ |7ܘ-+\ n>GbVtH3ք;r2-Ԇ7 Sb иd| 莂00/?J)EnɊ飄Or >VnپuLE1$0nENp&hmỲzILEoF4ǹ0ZM^s{&» 236L:K蚱H:}{zLk~CkS&FL IhLRyRPދiibrR-v";p}I]ȃ=QcMy Z_XFTv}r[juH۔O i:dy][uϳ۫]DK!zƑpꏱ  N6Vr}_4&fnhmtCEE %Xݣ-|Dmh̴S2S4y꒣RGwHc}'VVf`e}pC *aB#&Y݄.ooxT`0÷PEg}1RD]7^ CeW@nsͺPM*vyۭZ'R5ejVҾ^py06Os"iKc~'4Bcp菝 d_ìǚ9EqNDf8iy2H{L "m˼Q!:a(U (W *߽)kبɬ,kbZ^сL߳E)ߔPl8Bxtl<]^q3mUZOs{}%FC wˍ*$d%]Br8_/[NrVn1 iލtM0g &ފЁ3-DZD3;j\{@0_J(k!JB,J|7o @+ÊS–(Vtz~1t8w7\Y!3AMgfНHu[AH8YML` %Dӹл¢mM7=UO(^ދ*(BtRuŗkz2t6D 0Q) BHXtfGg xj*O8]<'q%'\iwh-ݶRn {oVLVITy|M`:`|{,2)K[m?4|z[>nkT5#@zZnELqzX |_FaѱV>d\2*?xUCHFX-BsqH/|8\Qx:(ru*"#k|?m62N~/S ̑cotpzp.S}hO'p<b5 UqyQ1* ɠื1];XQL.K&SR|h.ơWQ0ws[Rږ9-*df%w"G*X/U9v +>zbA" *T71C dgTXg/ }ǥ>Ox8gwR'+1m i Ԋy Gh'vS-Ǡ(BiV[vYh!6Z^{khZێM B3/ϝctŒ4HU|oYMo\ͦbV?[@b?9ַ Xn+pb)hRF9 Ƕ|ثĉӎː_~jΏ)q#MQx)znJbTN!c7K.{u.ˊ$|?K;s;0\+t0AT'ݫ(>CwUKpK@>yt״=}+t4}RWѸU XD\pf$:z!$V"<vM|T3׈5]\vzGٚ$ *̸-fS}|Nsd[6<'DP-cxyLqN>D%XJ~+i >˄W4)HJiv8ʅ I<֝'}!:̨9^v)qwZSJ)_,ŭ [p.v+ƴ/Bz-ՇQh5 iDB{.;[#bRע5_sj,;?ޯ۱y]"pAF#V;')/Y eY̏+˻v22اw&_`p`4,tDD;r[-^ޠ1NcBrޛJu= Zz"jPh*DgRika*}SյG e:JF$<֐/ GxERђWrǿIPOD:vؤQxJ49+Zy!^ ϸQ\vXNA޷(>/Hl?Y}8bHWkֶt -D}U`qЂ`-!Fџb%wDߚ/5ph\ؐuj ܄ :H: 5͢w]u|B(%AkM*w9 3x&Xt斈Ud-Bt ?^4J˫ m1C!jޔ)-=PkSDJGSAF,}^Em#ĬZaqk^X\!xۗ3t8MjdyҺmnꯔo@+Yk|$lR"FQ\m.O>Z~:߯EW0yFU~}.P#kMUc/~̀݋!oKڣ~[x>l-: Ӑ TW=CwkA^[ ŷ%^ʼnph^ۀGn߈| ( E m )b!g+2gO^;;&#{Ql/P\`\dUBItQ7!RԜZ 8)_O {` KS2嬉TlZckbx!{UͫTӐAG1r]HT yPmX(73sL =a:!, :aSOo|mR}=!:7.G/M b[Quh(W%+>s`cl",` eX tB->X~w~"katnHYUdԧZbg MouF,\ǶIw=aј$f`Q 0*'n.ǖ?ϞnDm,"F q?1ABD8Q)T8u @cֈ ϵ ] 5/10|wA9'6[ofF|H0_چ yR!s(VWɞkq \71ی¶;{$Wv}E>.)zhIx'2 Gx`߸{+ \q|c8j0+E*A}6'N 2A钭2/9XbE1-mVqX`Yܘv¾4ʞ͙H|v߿A\MSrXUC}[;?t-IB&}5`&KvWJyR 5.TBB"KU9(Tgw? Wha 8Z@'Z3b=gouze!IboZ{[ KQġؙ r6,9":de~ElKH: 2 Ħ syꆙJsScQUāӗ۰ )2릂294 [*uzO.%1{*եJܓI? m]Eet6fLVTv|$ޚumf]<ǿ5g͸7pɔx!eҺ8ֹp5u*ʤ¦(I6"YI8>,Ԩ Ĉ{zLY$4{P!=-X.T$)XbHQFY n@m)+oWZr$^zs#jG9dW/9S ǯxGHTMvv%ADpouk\U2Of . [#ڳQ-Rrteq񎉒gHզ_E`lmțXjlMwx _ЃtwLy)M,Xr񤘃1}[giR 4\8h3(#l- ׺vԪHmL[Xm; ]?v[ t/! .ryG;aAO12C2qIm,|;Yr}[!f#=Roc|Q#ۣj!o8$v)|Sw~N;p\4՘}YNUǞWB (Ռ]+9H5k™3LU*\Ja лI+9?ܚm{V lxjtZ.ndr#diCj'/\k2ƟDv4Q2Wo!Ӭ*ݹ輖KQxq +v*[ E'o`%Ӂ{݄'0z^;׫_&J+9YגQa.]=.kGbD?Τ}@By0}>6 /bv,Vpԉ^rZ1lX%~M]Eq2~2 7(A8_8w[l{d/^?'ۙ:kx f2ugĶhQyVA"W_< ?6?'lURh`"ui;Xj}CC!LeQcG0}aϥƽ ҞSFťƯtQz.X8DЇv?RBʞ2]u7X<4^ V1`H"NI&)5\4S &MlB/7)r~1k,@ \vni-RfDkb wZEFmFGtq{uqKB[bu;g7ur,͸1@ Qhv,R07::BvS) /+&lOPaT1+LGmf5(@ٿӝ͙$G,{U +)&HSƹ)0 "f93%8n"%A^Odpl20d B7,l^n/&9e+͠ܖ;Gn0*TgXiY@Y@\nd7w}Lh3ІJkhvPO_8mG#`!r@a/ޤLOʶ; L3\M7.\2WPr+HP$AlωC+o0֝2XF/| CF1aȲ _uScԡhߧVYK}{F;٤B&~l/>qCK>h./UvīU&Lgkp0Ț~Vȋѝb6@$xMł4 uI %?#!*ǂ'sKi3{ Og8{rҼǐYsx &q[7.L; ObFwZA 4D;UIywG9}[*̧iƼѫܧ:J`P*:ReW@HYT1f}b͓\=]{KQ,᜺25K^A:2xM!5o-('V΃ҾY f I& 8N Al R2/z"GQyn/xiRSe#=d@OA1o Yi>>q.2mD%ꖣ*EʡX++/ѧq2o-U3iHQeEm?@XP1%"H!T-ţγj2y  GJS칆?S|zDpx=k)6:PNZAf (;4ŵn&+V޿#7Sw4?7MJ=RNKnP.rD`iQlWNnx/[/ 狶^9N?Ek!dP> *p XnRzm)%uMa7> *1ZS  v:9T Lެkq]{I^ zo0` |,z79=(7u[}"%5RC#|upgmrȽ?]ɭmOmMZ1I!-i F;Bt{g*PɧM \5A 9MwH7~a3g5ЫAhŮPw巫.1kԥHNWF5?@ܥ֘?rc<@ o7PTo:gg.rQ\mf=E5p^Gчa9/ D\>B7ZvͶSrn&7^sNhA贄5mOL&RlsܼG339b=SyB:w?QbZ%mW_u(U+<+|JW'%|)(3 ^Dׂ @}6Ld(aa ~U,}J/ ʹmώt8  Gٛg:{#DՒGwp1\܈mγ5kΪoカaq|%a耲&%lsw}`{a#n]H5Zq?WR+|Sy8>3ƭ'0ڠ ?9*=R (kPzk;wOV!4pLUul?&()TJsg\%aŶ0D{%|q*9$Ε!T4~ې}ΆWrK']܂%-8I0%:ͻ](+;9Rm,wx}斯pB1e ]%;^ MO QybB_>ZON>l:"& *` a353C Orm_tlY\3?K+뭈9 ԀIc RSUS!/_x' n_bKk W+g,s2MhOQ @\בi5?vl\:4B 3U^_R5H:ƌ΍ s6`{mNէ RSx'#4kV9H,*y u.oUcj5S(NӋZR>?Ayh+g #;HhžJF<ڭ-SX䏟k`;1\I+~Ђw;e3gI?F=_,쎯ʚ.i!%dP|yK-.I@݊zz倴/MZ/8GLHFʧQRziEpgy irV}i"7b⿤2~[HR & 5F$(8$U96@meK]= ő_if?1'?uKlݮ+EGjn|fp\ƧkwXʧ:fFf3N+>?\ysAN0(%+G&FGNV^訾gf'o:r C1zŋ.K^a_ ^vxyxwI#P[F):#ng:R< ` 'h&̑WTCj_Q'0@x-T\vMLꃺeˌjn-WW?D^UwL<~/>2+uZ 'X[s9g_p*:G=tjD%iX5[V\n@?lq[G9 tgR(<魐_REI?/` ak㳝\=]֔0C<1IWS; '[VlDw+nL1Bt>,tCJ2}# K+K=sA?q@cg,1从>v9nsS :fNJXjtC?5IMcшu;_L*?,v`ez ~L^#l^i[`}L]NO[Q 0qOy))]KVX*OO|k[v ՚xWb(ϭMm҈~L_n ь3R1;t7/nƁ%BR5#ΡT&cG.B,dw:v2lVl/(rx`2@'Eb2SIPF|hKпPOfbHDRY1g%B9wҼ=<>fz 6iG1~βӻ+.שw>]U'_fͅ:! ]׀I^ʹ] %#_}%)"hF~C;B[M"Kh] Gh!e;.vÝEc}5UaG;lw͡۹[H Bخ`kG0M$ \[hw*,2,l:hx b>|%aOZvz?Um'JcjV=6~, hvtQoZtϒmQ-_}b;`lK)2<158~-%ᬯʪ,%- <'?x#v7S3 +#En¸rš;pfJ!q zU8I@dg@f/.gRr}i@S܂iI]mOZ٤+b!+l0|v\x ÍzdNH 5z?}YͯmLOYn[[O;G)~vuurrjGT}LCxƇDiKaaȋZ`>yk"xNz7 GtqH3Zν2Bь5hXRqTO5>S#ơAp8y7Senb#ԍa~`szY3ڨN@A /*VhBL@Yюw8҆ J3W9_lzIXO> /\a&UfL , u__h/턌nTyW[*ܳͱ.񑹭s2{r>Hz|x@IRI~"pڵ |b˜WeRأgAlo||wn=V׵v4ƾx++{|k}qw 3J%+ ][5k>-N~%`+pB2j`qԬmz3FvKK9QT:Y[y_6w R5It/l,%@'3rI,;4} n^, p0^z& %lvD@cDDvjQg`-XU"XDܑ+63!8qD|Tv|:zTu`< Pqd@eiKV+Hܐ."N{ޭҩ?䢈,b>j6!+'aKbچg 2DSh)d[ô Kl]HRt~ I-E)]a$KHS2]_r",\ٶq> SL4 HJn&sRȍ!V6Wj|v]bˌ@3w<: J蝫OEuQ_H#H\J_QOvLc{ ׆K,#4t3ikO @T<;jͥgoV̒ɤ * 4\d:~i֙FB.4~䰨V}O>p#( M|/6nÄkR2wl*`m:Ԯ"';`5T(H)X%ɱ6%/@˚4pW0RK1ys2aQ%-C.K!qtȂ e Jg0Z=@_lua蠓Nģ$Zyw6'IIj4G]{q Y~ÿzY #Y'dȤġgYZ7zXZִF! (]ŗXiɟ1˦r!cHkMeBd4ba''hR+5+0Y"*z=HNrjn:/;FZXNɑF%[6[ C&PwBgDI`At81g `Cτ_+ӑk[Dq4<ߪjK-Y տ>G%C2rcV SᜈhD˭+Ң+ .glяQ=vJAwӣHV{n\_q;KAp눞1>rn&4LY#q368 SreIو0%\sTr_f {5Kzİ6;~7{ʂl4K);63vYO-x=adOvW}_܁`{[T& 6]MY*X.T[5 ^r ;.uvZ|F]DF3G,]CI4)W=w%6D0gz~UXtU>,X44/Pթ Ca׹9k lH jjUg5N5tLx4?$GiߤXҞQGMbǎ wBaY1k޻D܎ʜmY4R0;h8ݞ<X87Ne e@+@;@ـ+'Dd) ͛6= 66@$7>(7:`XO.(=k0>!z ͓ꆖƢiHY6&cz8\~YeH7;kM&,TΏrY}[5gn٪܊5v T2HY0?4ܹD^s68W+ōԴ |AꇝHHjtMmsA3({zv}WYhD # М}<3 }(RԵDM0)a fקMg͓Do1G Uax.tSyu^<~kww]/;76m4clJ* RRWez' P PgYZ7zXZִF! *l]ŗXi%LkAQ%\ף=*HSKMe:/ur' $!phiY_N5  .d(w1S4"i(P(ogA& d M%Q }pl#cyVUJxDmSl@c-M!>yK.'8"u$w~ln{wS0\SA_ۖQs}> m;#~Eԑ;98nLc=h$D,ó1Ecj \: ^/ϻ L޻ө$iK -p*9 qDmªLa,-ڱ7iEyYcag$Q8\i[ *vERdLE'kg˴~&kҁBL6|~n{h 3gwEs]֐LG}9apӽAdrhfw@YWCURuhd>rDQKV>Heǡj_Y2Rw@Q6%=WEJ1PF*|XBʻ3MGg\Cn-2@|'V'l;V դ81jWzٯwXwfx. ޟ'~=cRB,7IT7rV7Ϸ X8Nh:ɼ.rBxFhI]oqT]S ل 3VKrQU!"Ybjxc8t-S}(Oh 0!2B$}tfR$<~n+v"t7V$@{Ɇxu b\>|H Q+28&l0 u\Y;ȂTrʼnp ׋\XQ}i?; Vḻs)jfh/L@·rIPqLOӢc=ϥiI}P@C\X/`s?Ҙ{_=۫yn%T4P4zy%Ǽ*'l..g =xG ԞSp@})24cqUviLDHq*}/P}hR1ΟXxۭS.uI 펊r3_VY^?G-5O iHCX_[, ,Drȉ[bN/^aNROξt.n-'UJø"~Vsp3isƇ ۽4' ,'F5ID'͏׫L$'6%.hMPbպ#{Ďn-7^U^݂_ eFf߂ٳª~`PeOmd1CT CKu*V >KDP uGy{E8閻D"sKwBSDatޡs2m5g[=ÖL=p<*7 +b ..8G ,z Z]p=W69 Co&*p )gD)N!5zcO9`w!7 UnĢb~ 7lZs4įdHZX6>{)fGW=~@2mǰbME[y=Q~re3/"(`ZV4ifdGtyl )zaBŢG\jXă C0 n/*z=:Ng |E̡tw0`Oh/*=jC-1!jX,X`N<"x؞6ds[60H `z*[E5LA vpO#~^#%ݨy('~"cxd¢zx"J~=$jH$妨^EARD5QϿG![9xOqiKiZ VkxGc3XT e H"{FH!uq$%! +%W 's/tn0xJI=;&8:.=Qo!J]}KaݲFZEG9yL>}aẖ *Vk<%Km!2GJ?"f6(Vi}[ b(`yʗppIXmVat{>EFj$G?ɺU% G:[3iFudUqRapkDBXÅS׮~'¶m96 E|MLk[qM]-h[fWMj;vb̻J3 r^~9 ~fX3r#0'O4(aFs?DB3&T=m\> M F(9נeXtF%^be߲INQͶ_,**^%{=zF2|y%`G#W6Vx f ;^#t \xd;-P/zJۢ f]ܻ|]q'kƏb;y.b7n5wl{[qN~fRIbbv]4E<5WV~+M\;_F~'=yl23BrsG13 Q i .$"H\c]3 )l"<ޱj+uӽQ3AN+YYV#v9VZ_G7p}2@rɰg8YNgn_)9Y0-a"i-vȸi|}&?|nvr~lQӀU7ep`ꑔt5,>m2yjC*o[^ёy0Wn1nDQ^NbBa܊6A`pkLcx^Q+-pj@U_: o SV^Zɛח6,x|iZ߸d; |:REXg[أ} Mb0s^bt`!=3=ՁcSaygH"|,ku~ڝ*K!2%sI9~ArB̴Z`+])'fawXU=s"Q^TjGO>VS" ]M0ZQ)X)!'v~u~Yr06s+\=k,m_>Z@?c?cDBum{9ELW zvCo;KX>q4`]}s5hVY$^af q)J>iUum"C:#T|UT޷f$,>>\׀H Ih5qsuWΥuGU>eA* b5V-X7iUnD Q94fǁ Ķcʮ[IxK* S㍰B$NVLت# X|BvD'p:(s$GDҕnB[%Ksxxa,ձ%gtŚnU Ҟ6zU%Pg/5\쓨eO̩b @ĸvX' 2vAYPS:ԗgp R֠(xjha P|v.,hᓦƺ@?=db|*Zj}$v4?_MUj97#H,!OH7>n.hX}i>qĵļLzYsLg!d2{EՓ,c3#?γnM*P נlj 0S~fO>+y3We^6[Z@4EP7!͘ta~ץ}uhgr⚗{j1ypΐn`$dU{:W7ڇd+__; Xף }jӇ?V&l .Emlj9%"m\&W$tf^Qi3%)zӤm./|*gKIa eh6|u[ڛmQ~D2ӇAxdG]mft cJ1$Zl!yd0>6 tpaX&A#=[uWSA|LD+(O4_?pi޻ d[rj<5fv6pKP*?sJnopp[C wa=r"1&yi8/ռ6op`٥G,jP}ؙ7e@:Cds$Adqf4`l{bL |QO98xACr1B{"Gt`2s5]*Ɏ&M[6~$ /jWv8Y6}4lQyiZu9Ɯ9 d%ٶ@܀kc)]jYy撎(WyiO +"i4R ev2Bjf*8{掑zZ m:.|gp<WIP/Y;;xJK頬.~i{p?Ut_ 0 Л *<?PˑNU55iKc;h[֝Γ*V&hF*L[Ztۭ!^3$,k, S!/'0/3E0QjS*ygCkKPDh~Ƭۍn|ᎶF̨ 1h_g;jaH vz a&L \.b J^cDd/EuP;eX;c˄i?բ'+/,+,fذ7t Fsft}PR}6Ik٧ Zb b lOK;9 AL=M]e5CM/)H^,Ys|!!u Z_7`[Uzg))h6zSQl=R_Y_eS}Gρe!߈ba4~_ ́g?@vBylD=g~ԸY4rk&$ඤ_~;-xwƧpOoNrBHG/s0Vkp9q U}M  ͶMIᙱ %zC $R*N j<1-A >y1?iu<+P{s@ a-hdSbNGڇ)92Ql)r">61gPbIwyTbrl+ߠrNMв @ulQS 1:Tyg'&t8uxLA0??ޗl<(ʫxUB,t}0ڬCO`Z'E4d\ŖnÙ:'CZr{_8eocm`- =&ayφgaݵl8 I8C $*q?M4zltwcUqM`$J@԰+n;:w3 (ϳ ._m Kz^^%9^ H7)bd |T[UпSdi}lJ5l%"#~zu8A:=D%b6f') !FfJe&>Y`׿.%qNu/.&썓U,9J>Gʮ)^y~ܨf ftbUdĪ3vJ_az,ⓚIr=''쪄+pͥœWdv#kEOZX\h 2_-@n&PJsqzJWWy^w̙3ovTi{<,QT y ǧ0,7Zڞ3tzyc* ׾cbqW5Etltu˜I6s? P2e0 Bi.ATI_|.">e9Mi%n]SC=ד0P1-BjI$ѳc!ϴ(LYVsCO*"|窰 >˺dM/KO@g>1.$U$R)dmwnH'6RX-o3w\^aݡ U|%,>Q,G =I#;UNOQS>-MɰP'hEq(x Spݨ;r*5&0>~98;r5^MBS Z%-}T˴WDuu(u8+a-~TJw5cMe^BWm;hJY Bܞ6?p'#9ޟ :0!ŭ5s$SLoiW%!3PYP40}%?6 &4Ŀg$_QPӶn,V?Os2  :[|9S i$sP:pģzmv*V (OE ʛTr UG=mNxkTO[XQd(&xeXFx/qcjzAHu' i/3_02?} xYU)݁2Þ*mc9mtIb"+P wfgC,4JDSЃY1zUAE(7B<#nja%Y,,gBO+(>JB p.C~*ƿ2܋I7ST|n W ʯ?~ ]%BDE,"RK 0xy &% bdnc9ppDwYM.eu t:z*&<% .eZPm33E@J+0Kue+3}&$l&^ Lgͪ ĢԍK5J3̳C7ɎY)):y1!=Q(b$@;(iPBφ!{=m$-fb4CrP_"(}GfJu݇ɓpHggFJ~bo0.iFWR~:hZ9viOKá2OQx@J_v-&f;37le1/C *kwbݧago0xYi\=Ѻ0:YMRI85Z "Q*1;2$ Vy0R_ {0  `"Xib7'\Iq=<ω¤|_%yM0~K\J]d2#;R]2ŕڌưd7VVi3:W?0dͺo5? }g1"= oNs#zflwk/_W^ir/@3 ;=vx=4wYzgc6`i $F"pH M55?LG)oA. Wx^vv"dK_¹Pf<&*h?wd`6k>c0ZӚ'jMހx[4wųx0 _w_μM| r4. h 89QqGL@-SxZ,XӳP\)X+i2,z-UIm@R;NC/#/€-dɳܵK8>A3 ^*E ϺoZvХ$mG+qg:jA !W8OOCdΡVAUjB*}\3f<45%baixT-)ɉ%/$P5MaE gaXbz+@V#1P=hн^[ZhwTq8[B(2-{O/ilZ/ >>JvWT/(ܤ$轢9ևbXG\LVCn WMS(|XYC^ꃐY4uݙA?%)syB_ӫob shI`jJqgk!&Sk|F_G=taTPk3sfL&k>b0(}\B@qp緗VQ/if 7~wb ev~8D])jLZ Bcb ]y$6իiBV)cQA#De{ ?0퉤;i=]Ĺ*pE{Grĝ"GP J4>h16sڗ( ;@~T)±;0YXj/x`Ib01\s師bh;p\msPH<[:,B|fN_K66)څ>^O/[U-mgW{3) RWM2I%~ʾ`AX䛶ýnU!ȿY?4 m2h9oGVjx~ilM`@e^,rJ?[Z\wBh-_o1-@yU sExFFj68y9lv/#<; (K'_H}G~CF[R d(6Mw2d8鋋h[ΧP(HFs!FlT=9~J(rAraIE2"yVa6&x%xV(7?Z}DQU9zBhk{,n)x! űmCu QD9砉r_Ǫ@. ֺtOrt`6lZK<]ŠxklN 2.kÁрƈKB ] & ]P@ .d'3݉Ʉ=yW)O}69gru`GMv^`EJ^L$Z}Ϣ1H0|PWG/n-`PJiq(gV!}CLύt9BF(c׼u1]1=盔~fDF0U6Q!m>zXg' N-[Q(w\b5ey^=VrCŐ:Sr+Ŷt@ʖKϫL iߌ#K)s dN8zi9;ҙ:hê+˥'f~n 8kɄOL-j |RNC 4g(^$Z>6N&2WxG| Qk CMoIپofɇ}.mS|E/6"3R 9Nt4vo ɟ!.6:\%!eY? yN4r^ i{7/>P="؛XrdP701.ƺgnbX4Y #V~FP{IP蔍*gVfц{Fگj b~[2Uͨ#cZ.L4hϠ+Nz 02WN`gнs5BϸcN:ԫ+n2Ndr0z5<\@㢬W?2p %[sd2ˈ_ 2h}R2F1M\3DpwfOm](bSmdr.@g2 V~; 2jH^ʚ/җ-2+4^)[W*x}F(S\zXzHA/7&FdPG/ڵb + O RLv|(XKcuJ)ެc6\@-,dlqR -cƿ C/Ҝ4Ͽ ~e,-Q=OPgxB-Z뎞X$8$2GҞ:lj/ehӗo=vjfz_(mWH1̀7#|LXfwka[O@]#8Qh#39<$Y+}ǮVb>7f:m {P54`p:9xo[e7lfazo~i^QХrm:&.$䬚lH,a-@hH 5oA!A d⢼]flN Lj#C;y/ͣ֒{-'mfLT&^ZD(d_N{؏eC]>aHJC M~XQey~@Zv{ƦX!2ꗫ1~O6ͺY%*4mq. FCYKOfy,CC6RJ~= , G xUpvxSe\>ܝMf.(QᝓGs{x>$i}].&<6)ˎ86P6yYHh. 3;  31h[qVc7Cͺ1OcP s4,Ddstj9%G8ck}V.g-<.>R_{zPHrz_>ps7I`GU:ޱL#q:;SFD4`C@eq4 .Aоs0`5N psɢ v gۅ;xUKjVb]9} _bF"?Nw໽1n64`_8dW$uQQڨ5H` y^|C١rKؑ!Q56>|$e)–>A{%j&qZ:b9ҥ-2`'Xg]z2@zx%\6 YE,e86b+6V1v91/*ē[UK6`; <_ \G+D׭WN._iA,Q˦z\r<"!Q 0 2{,ѹ*J ٶ1dbSpsّ+wS^\% U*hњgc|(kd:R#%?eC?똌Z7̒W0$Z=xTpۤgٟg-m2 _遨 3Ayx(R<%i2 }sˠ۪8bIfƹ|Oe -Bo*3gJa&owz, j# ƒmd?tѫa݇~lIiI2~@ڍ(&|2GԔm휠ޥ~29`J2r3K:7aZk_h,Sr4jz v]JOaA#TZV;l~: iuP*m9yQVyl,ݚe >8?\>b7`-+zy\|{!bY/.&Ք/<9 ۶5\W{m=X }#4ojGap G˫WzGV (z"}xN bM<#CfU!΅U?ߛE` _szA:ډa+:}̸T'Ľ~I`QrQl6T\ !^}๹~(|CJhb3+w۬A#] Iʾ.V{|8WOT+h`[g|\D "$)?3@AL]02~**5>;~>ax#NwJ pD>:S vEh5ZxsDGYeEV:] !C˖V7 R>O•|% >Thb& n}+൫?.l^j-z43yoH|T& ť|5R&{W~¥̹zVЃi ؀/2Y^q~UDns#0#PNW[Fә9T8\{oMjk"!ؙHZ'<u A)!oSV#8G,|ďX WCӈ[aF9,ð:{C_?t2M?BW1K w-zHm2*QbmdTLRv iJ=P>2ۤ}~ 5R''&NA,5pGOZVuF Ve0 ;vrHy k ˈq(^@"N 7={Gp\>|hb@ia1է{a^ZCuPA?] EC ;u+xF3݃-bCYs$@9 eH-pU].n$ˠʦWeXF\p%3>9tA啮Z 7$h0^8ݐVwh;ɣ8a/pE˦MX6Thu~|M8il*&Nౢ҃22,JW{mG | Ğ@bZNRZkfnaR40F_A- j]{D(=SBoy8vt"56 e'#U-P6 ߴwo 3B!*p"",^ Bgp:y`~B%zK:ZYTnKYA4a%6Řr{_XI:Uy y6g{c)曉. uةmy~J7v8VivjM_j%ܷyyv@ܲ*=oKq n=w(Pc;4|85_AæbbAk0 ^%$|qؙc HͬE 0NQqԯfy7i 8OJiyC+r!BZ']e賦l|CfB-l۸֡)zQ $Ź䂘 sD2b @ݏcW"jһ;JfGY?uYT gÍ<爵n==KJAɱNGff=OcXoLe?Ҏ 3hw ;վ+Xit ƻzx,Iv*[Ua*d 7v\v*@.H,{k{blDI>+2<2W߮zh؁i.a!>o RBb F>V(UnXvfAf֟6M 4 G<xxt긱1 {ГF"^H9D]sƻ"+<(J0J{lKjFV_!Ob{gt`S;5 LNeAtjqri ✹[EqSIc^.D#}^+BKj!:Q'KY5AKB| 2ۅc33Ţ4Mķ ҵoh?Ӑg9}@{>Tm{c`;dt_Y9_ cpqe?O4=dJ)ow~F h~_)n2w$6Z瀭k4,dFZcE_ 88u:lۺgp|'19Fk #fШҹZ}Z@yz~G$S'y/.J.b5Cs!% !m M[ oI4Cpb@ÄOK̡ q1J:.@})DglMMD e$L4Z\p{HYL/دfdDLvrį<2{LՕ Ty ibX2{d]S1P"b&c=n]Lä, -/AHǢ؉0ѢV/clK>}Mt(['c,c9odW6;\{X1O$SrQ"DA_1h0ՀٜhJf{@??:58:Bb {vRw~ 멶o"1xN [g Ti®~? Đ򲙺̺/ vE7L3cwS!g a|Y%5; w(mo~fb/_N2K>ST!ͬAPJvu< |q!H2__`/͓soAQ[#mhw^r_ !l,bEc#Jd:n/M\>E>5+10+bG8`;1ZN5Ű`G-Ů8q &c,Hj-4m yXˁ̊,c#}DўKwXQr'|9Q E{6R!3r%>o8aR3H^ꢼaQW HO]4ЉHAK&i фeL^{J>Ue]-Cn5"{ <wmfL%M*c K]ช;a|OgK*'=&YjctϤ"%'yFl/\g)ɎP7ڗylIb< @n, Њ ѵ 6(+7ߵu}TcKU=3G:1Ap8YalQRg@cǧ)Ȯ%ɓ \6O 7֝!rދ7hL :Jp1Q}"h5hK*AKI)ah8fN.eS'-HN5R&ԜX$4*u[W[z$j= AUMUF+Ƣ`/!zCArG }+[]BvWgFcNzS߰:fkR1x\\Cb7|J~}!pؤzA D?/2jagC[[ޥw}`yvJL Pejs\K$g>~*V!27L4oB #5Q'dpQvU+ k#Fz s#Y\$pK/5(t\* @:ozB^xuɱna(~ RoGo5X`rSXrw#PI桞7ɿ 'zw"z?5;>Xn¾FƎ>鹕߂шfEz)ͪ >8 G݌ SAC)r ~oIFiIm۫9zGP::76_Ad3 Ux}h[}[+|"euLڱʱ+(J΁]ㆣX6 N.Eij=O i`wbܳKS.dr ُ*J,WT]^XޢdMű#˜^u^^+EWA 2͚XfOK1}mR%@G)=.#rXsUu8N"S6tyƬln_L,b2;Dd)H^rFXZn ml:M#A]G%r,BY Q9ƑS6uV6ngG}zGV Rs%Cnf7jdopux_/hl6,SĥX/糛 (*+8͢bv72Eü>N@eBM\H1JrJ?9 KL hI=a bG*UGKXXQ ru #l6bK^1b!EDHG,e1^v]KB珱vN`_A:8w*Z'y}ް/"z۝?FJs!tƁ}{Jgs2RLo/ KK72sSwR`i3m+#veN`r2.崙.0S&%xcM:˰~>5tb]N"HÓN՜(݆PB1X}wJi!$XYgGw(<ӯBv6UvWI M͙߇vԨ5˲*-O<ѹEZveDЬVցCD*n@]I^ۺ:݉{*anf͟V殱[a~%B^Vs\ 5wMnKgyXjPХz?x%8$vj}۾" )*6h&!Sb|e=_8D֩"E$TcRE0so)bӓr5=E5 ^R|٭c?{tdƙenţ#Zˎ7]%/{ _᭑U,+*hetLĨ֎[CP9i?1%;:nLTUvFo#gZ1?` >h|ArӻQϡlT.|[i7նD"(Wuێ؃[)i %s[;'p&*Vb|2HFZ6? X_c%h"tIWq-zg-9 ^[yH*w #L-C̠kAtG:(ޒR㗴6Z>?P4VDUpﹺOb_Wx4"ŀ^ }yNŏo ?NeRݼȱ]b@wB q:YҫčcBVGuq~gG*-($6_L/J|rD_'j6FuMwnr>&sa;`! tM/9ߌ\>m6A /(ӹy>0x!*ɼp[m#o ć͌h?}X/Xkl}ܶ7pDVW?z)&BN[. %ϰ:hLTh8x'Dҹ6B K .yD QFE4B:%E0<14G#.R:֭ڠh*i;˱U8e[{ʺ h;-՘a%KמQF-[vJp-+|AOn3-윇RRJuǚER /K鷬no5dG"ʧ zI y;Ip̱8و+4F( '<] LT=iMӺJ1B!N>V8{Nf/?,!ÐApDzt9n=<|uKF[YP|; SoD{#^nR>0֞;r}p l)k 52:Yv~;p*hJ l&Pܰsܽ 0TkbH̳SaMgYff" h2 t^6~VޚCjr.I6Ȭ:$([Z֪2(٤T7*w?*s~!XA8<6IVD H 3f[% B^Hî?-T KPBDT&$Pɷ@чQgoАW *~Qurڑj~fM:Qd eL/.+WLgC*gYZcc257681dc87dcea82a988e7db99aa56ae501b87a0f0a66fe4b4e42af65fbafc96b4437732b5beb9 5df07e4c8a7f31eb67d22158450f815fe237af54865e41006c862b872fc72413a3c49bfacdd4f23a