SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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!$, ]]]HOL-Proofs:threads=6elapsed=622.459cpu=1471.320gc=227.868factor=2.367zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbصW]IIM4äڿ]n"[C+N;H@+/- 6ą&r.l7FewHaiݱD7}3hhMUg.%Yxfu^u>iTIf:!:ʩd'mO7<+Jc_i iu>JV]FN r H- HX9kj5 1J alS// { K )**I JkVQQ94鎋 yt6˥IIx)y F`;nf1nk %0p+ˢ J 8E#g;➜, v3S:fe9p6D OZ2*6LH?%<'V-peU xS&Y6V/]ߐˆw$9}Z/gimG` Uf#unS^0&aC=ULֹ{%rg_y'zY}[BeuPi =ITv ;\鲂~IYxߩHPVo=eZx7!: skģp왫z#ټd5AD= X~8kx+̖t ;T/MI%]f==^_嫂2ec2~bGxy,Ův y¾:O{bRME7g4 '1 y+B+LsFe"!2,<-fB(m2'H{Vd "** ^JZ$s Ians>yƖ) v3^ll75lM4ᣢޑw̲aWpo` /rJ>R{0[Z hb\7**>\΁)2B|Ӻfr  LJi(tNbix%X|+sTK6 OGWq8 RBﱴ4+L63Vd#] uOee@M:IGr6A=bNu:`Ai襐 5ۈ!]Lj26'Lkm҃󥹍pj/񗲯l}mi ]$w6BQ>g8's0z~CU-p2eж̕? 'p(qvpap8" óbTCPX bs(?:k!`yA*zWO5D- W% z"jM$L5b!mt'Gnf<Ӎﱑ2 XLeY%o6LrrJխvY Y#²ߑ-@ԝ 1WԭO-BZU+bK}B]۔XBKI|d4)~=* =FI 35*gHԕ.Nzo ,M JĂk^:6?EŬ-C.VzETwHݪ%zzwҿjxL9Y J+nkDdiiCv.$T$0apu-+R2ǜz? 7lFKM,o,GX Ym+CP`΀f p,N^Y3?0' "R 3d1XIxYJ/8g$uF F1vM)=58ֆtV+o0uvN ǶOMnbYc{sևKy`(k56|N~עk<`qDr aK!Zx8F uI\Y\լbL^yWcYp>/VnF<-,+40 rUc"_f:n8Fq4# l"tt]EckOi3+u7heސ+I7rrAި} +H,`RܵAg[ 0dzm֔Ɔr-b!j 1s6RQdua5)2& w EV]}Q\dt bDު"%|}Q^)6g  ! HOL-Proofs  gŪcuXI.yQ I5zLrg:{K8X,*(DLmcLFMh@ :̆6O#49[? xxĄ B|j]C+\,\hǡ>vCKOz`[a{㏆>|rLu=g6ɵi! G@kM]|Uc|k&wjE'}xsDCLm9iކ䑘8u:"oS lL#l>8c;btٓNR y:Rbp[TdVkO -T΍c/x_6sN׉-fwG3C;И-ɠ&dž= PS-i]/н3q1- J4᥹^͕RK!s"L\84ڑrEP$Zv뵌DG_]z;Tu7d;v>:Z'ݜXUJ{r ?!:Ӟ`o|:LcA40RSzr|>4"dP`/޻\>ݮLWAg.Wƿ;+4^ D`+nWAeP>1fJ-.43eZ=Ag$^Tݍ2ݧVllLiU"AIIhɈS]Woˬ f1Yg>c9`@eiQ6m#Nz*sv5vr0r|8iĊ(T 8VY0*T/D($FKαF`YBPB_%S|We?Q:.ry&:s/zg?-6y;o\qIwurz#:M&dQdTYתͅ}cW]# ird 6jLGAkl%Vų|B3f?qގ3q%U0^L3..FG$AI !r:QwnEȲ_p`\g::EHӌMEqpjd| ?sA}57 ԥOOEĝ+̑Ƕ/wh ؿRr^a2vk g)U~vTVMcp)uDDm$\$[<-xt]Z}3NPdzso.Dzu˳Q~wqqv`f<k av%j;"vC d2n2dYC9)KfznEhDIx_`3燃M٧(`Cp+O#2ԀA#5CF܍0v6zp`NjnQL!lO):TM# 8'FZA[DIXݲU_IV\_D.E-'J^H#ȬAQk!Dn7#iTykŖۉ–UkiO3%pz+~yPyth iX>D:KĦu9?٥"< S&>@ ZJ$U25;=Yy!k+D(}\9;ѐD2ʳ^j< W,xpq+.g4I;OOLW\j/J!޷U{bH++Yk'=(Iq{ cQӤ<^%;spؽY~¾$ a-gk^s^<ƖyE#7g׿uV ]J&8'?90@(6^%:g[awR.@LrX;F4B1Gg&޳Ύ(=NRdLkH- 'dE} N~ޏA82\Iڀ,dc~${;ԐcpSm8F ;ӄ^/Cң$JŸc&q=NdىU0[aX^fj!K'0q^i=NCRiZto)VYwhnS!._teDQ 8+Ρj "&_,e-gɐ һ4] }/13Ïپ; jC'm?jC﫤(QK$63q-ZAgɹ2xj`mFr}uC ,Cr6͸5ǒ x.qsF ?g>KMF=--Rmzl; a ލ \^R{H@EM!!*X8 x~؎FXvWeAҾl&8xh-v)E1UU+p~kaepm}7P (iT wzͯF.եߊQ23)c08BH9#99x3ftTYkG+POJجğSs+9D a3g^ zY6Zps#w W .L+Uh(3G m$|*ILۮM#=9:٢| N=)IQT`y"C烔Y~L.Nun3u&Y"sm!'c(tv. YnMPe>&0@|vS#Z%!2^(pi=@o%8zǭc֘',q-Asz2_A`uHsTFft9zx!F(BtUzO9YE\r o-@_(5T SEA\"XVk>쀘r/1P[`j]@GkR)4AK—G/GRf2t.|LH+{鶵0-Uet6V܂a'!tD,G ;!Age%'LPkj*8ϗ`mϻz55N7W+* PO({qQ*D~T{.zjPP.4H cOA4Su&ՉU1G^,?fm=4c]-#-`0wW67fDLi;ժasmХ >,dx+r8sa-tlUKJ'*I?Yr^+KB{ Ouuɉ*K =tȃ耓8zHTׅPʝX?킻kC*F[lJϭ5, ג&7t;bi1H;f&,B4fg60Dn*|WArѺnKu1X2WE|X Jj>w6Q13D’R_hsOM($TLA`]7of73RVBͩ*ȅ[vL 07Е+2G%>_ٰo_%v{5O>(UAg2q*5WBlV=rmKԶ呙QS{,sC!yKl3\Rv 2ŐױgYZ7zXZִF! {]ŗXi%;Ɫ.,P*)9?sk'e7}a &35~lP|N =D]ǡ@b]?V_lQ/?)ZyJPz4%b_Ar_Eh ((-ѽyEebJάj']lt1-*H&^zd2QlP0j0 77IBو8ԗꚋ 2&ԻI0[ɲ߇-K?(EdP-,@СTn4 +-+ۄ ͘KDv)YEf,X0;us*l7=I8B"i\Lh(PM!O&Pb9̬c5 V9>ofpGtMoʣNND2{ٞm4Cd{G­佭u B |^/'BaiP.G6orW"xԄj_Osk}?mDIx^SE##+Ul2cHEK~uYٿbuJAi]U֬FIq$.d 8@JVDۃxn$gǏzU9P^O+V5&7 f7_T;Hx'R!W:]XyQ٭wTg|av|؊JwZƢu>\7gڠbzR§a В6 $?>9b" JHDV3jt (V.]#?Q&^}l4ϗu+?clSAEyjFAl-<0]mI vͨ4]mHBۚc|+fm Ε;M"Y|8sS-;" !J(g6f<5"qJN8Mks|:[B nH_6ҝ&8'D]lKj rez:c7VWǴ);GƉ'p~h-C u>zx_464L g fL += =MVƂ 籊jpHV8Ϯ=@lW֘DЁAc\zOb%F(n]EN;?D ;~d5(RЏ PBSy(vᄘBLF&5Y6>$_q|`%yV|Uр/&U$6bs9Χ%4YGw_L7ȃ*{,OʂޛqڐWWH1`wx-UAʁқH+X*aar#w =qrs`fM 7L5i0{,GO@ {Vj2UO{Z 9p029m%Ӱ)j{\ "(*q3mW֛yrį…ED&4 _c y`˶WiQiNGT)++kZGW-~Y0A2`m8?$VԦ<#,XGZ(Zˇִ@Gїyw~ijv+UWq'n mĂƸ 9'bw]] "qw Dt\P(+> ۞%ܔ@’ , iѹcK,=y(ޕ?b(~扙v7 47Nn"x YdL`qD ̍n~`qɿ>qG׃zj~uR+^60դik5Vxռ?3d|T̝#0a-㠯sdo=#ȟʨmb'Bk&òa YdV3js<i `M\?V+VU`Uk<BUoJ򭝹|uCtjYƚ:®")"z74ַJa};U^>zB1B(v'|-Y`?,ޗu+ϚB`v q%L36`@oj|C G]"8=%E޽*(Ǜ1*v]i/RCE&cK(Q֚h' #"Ж2譴Vڰ')^87\'>C%t!&f[Nddc \RtOt#ɽ`ep9㥚/I } sPW`E[yt/ήB&}yӜOʝ| `.E!t3Fۻp, !\/d_]J,ꯥG0;Xgm _w%+@^Sr:#9˜0z Nr]y+ ?]$"P]Wxғc;b me+-¸i317dgţmyMR V,PI!dgt!Q}b^]/p<3J3dBq>^ /#}/J.B׽tEgۜAaow7"ޓ5S8u]8J^#G~o@"gSHSa3N/hYbi>cHa)28fuEKr5ʊVhMVN]qE;#ZJ)l9j3Jvy@{u X4ݸ<1hY -V OĹz~\XyyꗠŤVY"dфQY>W}w:^Hshmr. !Juٌ}FP?c,Q4wFì<*Z vUߎs޿6h_L!nc0z(UoqӹoDk16CzO;SS0,3KTwW&ԍθWz@-e;sn1  og9MZMR]g13.ާD7 @C(0/5jWOa~0hɩ:&  W58mD5J5uid1դG<ӸXv kF /) k%ʻ#81IdM5_2d@b%4q 1 ¬")Ģ^ҏl]462<#ߛcdJ3_r6qw|eq{2uQ㍍DO'{30=NGsŔa67@Ycr}*syQl.?:O +\ BnԤNTBE[V$C$zYqG>r"D'_1p8BT{.㛺ʖy; ,@31鑝+s=PSp߃YG^<[-a`Q"bS7/w/ ]/5+uNL\N7UqV~ݦ4 bw "Wk&yÉC8QB`3`Ռg@S :<+}鵫y>uYk ?Aֳ=W #ZiЂclKi ;ICl?nqr ^t7toMm9y[,bDJV)v/$/J(x 8WX1gǧBsA%:žxX{\!ɨw[/\HšS!{',2pw!L~!olQΞ[R2du@Ɂ*P5 btx[c| !:pwjxi9H̩;vu4X,7,j%9@q4p^]Mp6h>oC*@Be ˚5EԃA5l{IOx[t+=3b5WydCΨ "e}O'Oƺm#YvJ的Z4ڦBv@Ixl%cCn2Mc] oʻP(Lu0rKG3@smY*V0t~ 0('J:`Uy7&ۅOZwA6>⯵1K.m?rYj=XZwg`Rgvuq9%ŋ4 jCpO%Z(#礭Py-O= N-4,9֥pUlxf0+t=Vo1\`C՛9=cͥ8?xI7ͣdځs^&y~fnx" ^ i] !+'SG-Fe-S-.E~c#)os_NNQ:@ Mx0N`r47(wN=X6kȕu)V\ C>e|RBKBT*8b$z]SUO(vP emiL;ֿ5>BVJ ^ʦ`wa߾] Bik3$_|aTc"KUM$}L u[ C0Fd)3})!<'M5tAAcΈEF I& Rrezݘx6X˭u/ 3g AcĝꋑgAv}Ln=|)_[ϬudMȾRx!p&^.i"l1XF ^Z{>I ̤@c!0uswSA&UN@z/%d!FBOHbEdYQp(˞`ZB ]s2)Ax[ux2ˆAjIODI,sjlj~uZ^ ]!J0XNa9uRܫ)v[%;2$ ųpVR_K*DBʔkﻇCwbf铁QH<:8[2װ>ō_'CfN( rhJFrD&PFML׏"WcOX)5G>`s)gs}œO Q'EɃ#Tm6+!JXeģ|nAaOYe" FQUS&E-4)>xqQ]4H\o^aN ȬbAKi4o[uSsg8Nl@tlkuQbJbU*b"L#Ze\u1 p$3q3p8{ghόlGh::ݽ-(4I,K^>VFj Ǜ0yNDxb'w5R,uRYl 6ha3JIe-Ao p=B< ph/WuV͊ 2ج|vSM@\i˽ӦM׆hS=) 6Ըa>PW"ՆEiGx3cCk[:0/Vf)rAfNP rڪ4AQygṕXUoh<4$M##~k =Cc%N_[A V  u=adC~<#gG݈g~Vĉd;~K.9wiYiM:x}|F_[ '(dO4=˭:PF)aЅӅ@t (W7x7v_1=ږJ%Rf~+ /(_qMƎ:od˄> 7%7:faH A_LTAQFc*eoI62[e*xU2T i_pazO4ɡN' ray0q@$S]\0sM:x>Av42FfūU.<* &"\A3i'I]P*`? 'O&,9:u}fE_sS^ INv$-5pF|# SVAnI1CL½celWGc(jG/b99bUUBF3)VVЊ,2[#2{l_X -3kؾ_|zʆ{!RRg*gaǩ]H!lcW 3GwR̛¶mP@tkiC-v‘t'ԟ>WoqF9S譕LOj9hU0;^_osT1l_xZv!wj!9$&\&2qՓrN*m `KSzE䋥}.?>q%j$xn]cs(aVlԳ򫾤 QN om>|loNe·pK_$]fK\k j׽`h t.sߠe/n佦R;yaM@~@:H%-^s0ĎNY摨赛? żfɨ$ܿz\E[)߹yoEnu[jD7l[nɲk i±?΢%Kɽ{{F^"j.tjKk*#Ty>~$vŲF^W$sqeY72O wT D2Dyt!V$|ʉ^:yr ȉ2/ \ 7)LBJj١Rn}ԩFJ h+&U}ɬSuk'8U$u,x5T{EQ$8duJ*zפڔ.rڧym53@ 9Hs,I#DU=\M9dl@{AlbxƏnϙ|ҋfd}@!cIp~Qab~.8|08c4ĸ7i~FuO4Xjb|.>a  kg@ri)\ĩN'ts*I৮Z@0gvcWSQ:`o^sT ҅pk+!hvYF= qAg6bz  [d\w%2t`fmѨNn-;^0 n(-˧:%\]MQ3V d?(>%,с?/ xm$Kaf 8`Y_6[w&e `Ӱ\jD_5~V.mUzsv;r?][&3Pb˛>7gD =eÈs/b8̊bRiWĪG|[Rx]A2~-Nx?wJf? 6hT /en؄5&nZS kY2W]i9j:²nHHCPhkwK]=Uikm=!;&o_g䎂{Uߪa:?݇ymu(YLn]'FGaԪ͓̇ 3|^H!xxLS.$0$ >Ԥ!zjB?=ꕠlU)pnÙk!QSƂ&ze ?w ,$'yʴ}ǡJn&d[J6ڭ!s'8y,Ős,4hZ#*dIi }bptMΗ$e =Y[F L@$CCCXۤdt\slJMF"7AfωSs崷O;;k8CB~CL͹KgA&MO"$L?ofU|.rni~g 'DŽ|z{-l /Ld̖O E y'1tКt-l&hϢet]Ho\P5\ | {eD9{]N:/(Tw2Z: )nzD'{xJu\=im+v\Qmh13k:]_u ivҽVC8Z%$]7;nқU,|E mg'yX[|<$$4(]e7}5k9$ttj%Oc+7 trgI?y);Wjh[S,Nz٫'1pÑOha }{>\&h\oО~P8i^%UB~cԾ1g{ CY]k38Ƭ*֚U d#HB|5x6RKʜmJĚQTٗiyrRv(Kerp<|(JH 5\}9ijǙG(Ɏ׏-Ɯӭ ;ojݔ5:{4jqB=EgZcWc!-0e4>(?i,wDbgzMFo+aE[F@nJGOÊĆ0 Zw{? 'n`IWB '7Pb"|idJYx2%< |Z3UTxO'Wڒ@9 Jٍ&>JEF:ouR^#892ն Z9k:OfU)*U8n*E~x jvbJv8* gs"=~v;S̖2XOw\eѽh$FfAQbq4*yj_zo~ _dD Sjvn{-0- l_UwPå3%e CRX&ɼ!_应zTtQ߅iv3z; ь8ټ73H)jLټBqmYNMp7}J_RMxԏ2}dEDv1h_2 3U񭍼 ;4dm=Y\E""cС(Zj³S` /  nko{Pr>Gհ PȅWO0bTƿ 6#C=d\f *V6Shfd/ QM[ juPf6 x5l ϩ _]OTН%䵳2|j7=[Y~^BZh*;bxȂ8` vq!#'7A>s]L5`g>uQU{[f\QoFn8=TuƏR i8 ?5a_x?-O$ *:ǻ tl){X@%Ӝ{c/L g2P éjtfs>*H8%6@i3::K|c#!uZpK~!I8/rmS>Eٵ YrDyf蝣CͰ (9PYE"@ ؄V bH/y"jdr wޫqM&ܫO!W a}nxcIe*ycw, ]U5dyvm`\r ,}B!9 DG;s\Ke =LWF+^+; se*]bhb9#jV8rMs~ *x9<Ƶ:dzV z(G8@F* zV< yc悇9 x(QSC왹g_B }ohuk:ZG`3 @p8 ߦ2F!?G;*z`ZR&=.< 2P%62 pȗvU,y+,n< $NmiT0vI;Ώb8>%6*B2" `緔"ǐ jaUC%Hrg0@Q? *YxE9τCKYy}8HڻcTN$e:{YhDy;|38:}mz!ı\hz00yC DMcݨ y&qq͢jeBz>A ʾ OJu 61LIҁ5zJV5yi>`M~$d^+ȿ̩O8v՘fԳ qv?E IB]ReHR6PrCWS9͔K,Ũ<[s˴@F])EA6kIgM3I'xl4晨'LdFB>-G"\G78LĊzƆo1 ݰ,‡gf}zI^S'Y]'߈$?.vEzLҿ5w|gMf+׎YJ=<i9SI=$̥qG fmx#T?)8fWn`-ΣJ L'MKp t@+_,IgrC}Cw{Ē %YTDK6q9rI\k W=*8lhY܁dfjG.GPە9ڿ &wFQ@^bCO֢}N)3 HoX_emcXĞzyl?a-q]of y.5(VdXiv1 G8{oR)ݙ yGo!-+KkO.g jV}Ddio 6=w<yB5r T\ }n:sG9Jt H N5`{rsq\U% ϢSl[gcYqqU!'dV_!]Z}^0:25Ju!VqzBr#?`tLtNnªM}XQVoinÕ7Ai*.ʪ$mdeelU yK̭GMCc!γ_8 Fڠ$xc3ٛ`[vyaΕҷ!s6Ljh:pմ9< (5q?>@˕6*uf':5AKJapesƔ_mDÐYZSN'H!"ũg{'/ȳSOlbfg4ᗲ{<{61d+"$o(/6 uPZBWb]Smˆ0ب#]5RX*uQ0[?F;)69B||YWef*jR,,2Bp\eEZVE╧Wg>2h行h::,`1?V?9q$f +Jt61'֭)ruLb/fޡ}0ĝ*{R˝nl|GڰuԷ sY< {*12)ޣ9xFEDt͵xwY䆀0%_+3Њ<*8in2C j|b{=hOs_y)?zWo PH\.|a#6WEW L;XcUն£/b' }AB=ȘǼ@׹X~k >*Ϭ;piVzm_U9Y۞7MOn:4jĎ!Fc{7¦^dƏ^oRUGN>$L+@#_-g!sS/}\DLB]u5ZOv_ri>E 'ek@bʷSV" :sde|a#9&Tm"Y#"پpUl!aNb}o<`9Xg0x1ߓR.1h.anJz"(Vj5wG5[`D}t9wDezwǗ(MVC/R^) hPΒfzޔxP"4KI7d$GF9 ü@ZO0 p$=Wp]OJS3;͠<@wAgmXH"//dsyXʠ/85f]>·"u?GXjmC}fZ.u5TTG1\dcV1Qz/)Й d| pW\7k>"j@ghbP #b**+E<xtxߔΛkTuf*DeLjv6cl2N݋Zxü_3pdϗt(L K+bғBådL?WQiwVʧgϤY c/gK7LG3y9H!UkMVvsiI>W_d^avt)~eCz?; j 2 ([e=dCojmrW<Λ V7> m ]@ $$6DsK;[}v#+t;PC `5t',Y"pE fA,aK5 fZeĪJKLQ擓:Z!`M6h'+{ǚd.sf- ߎu NKrxc%ZDIuIܘsq+,!Ͷ I3/B\2,ݕ_*V1UF絙[)3;G,ի{b0PGpS04Xh<$.xBK"žmKp(mRC֋>:XT%#KZ.΋!tqnck}{MOLz4x i|7 IUA. |G"(ԁDd_/Ν H8jH w怇J9~wQ5ߗX:xҷbyz `ŭG\\jOC׽ 2}J]df$L\sRM};.5hKtQʽh"DG{_A8ٌ?ze_ ^.䰭 ipދYѹ3}Jpj~HNDBnt)2ނOҤJܣ}A S$% };Sݴkn㛉N@UQ9o_WbKbr[4%y~Ȓ"%зۅh靗NJw6^ݥ>_^Q;6gClxZ% Н3ǗM.%+ڇ3[`i˔߅ҲP !82fiWNGG Z/C`&dQЙ$Q|_hSTɣ-/G% 5W 1/NY׈MPR`Ekz1aMʹ~Pq4rn{s/BhxSȂ_O 2y[fl3LsXY|WOZwq9vfI^0|,4 ӐZcP0A2+X G*貳WYՊl"}kį*#.hS:N ==H[.;GD.4PS)i~ 5J)Aj0?[*"o1_MI_y+g+ >i3]`0#7`)_+]NvaWFgeǝ!qLN/IKQAϯˎChRYoroۊ3; 5Y?m݊Rc8Ar G:; ^8{?*QpŔl(LIho{/yYw7V»Cbi4[vu Luıbhv0p6|4 殲m6Oo5Mf& RCӓIfY`bHPuIW*7:AlG QaFE_4="ӰAC{TEٿ#f8 }Rs2i=Ĕdr ;=t[G!3)QҔJ;QZh wOrkQN _3E| |YlWQ^}gH_ǔÆ 4^oT6gtmCf*pЩ:[z#qA°i?SFooVݦԮqaWpuzeT)h^C:Gjeʖn(?3mۦڮ>[iUֈI5jmƫ\񨵅[jl'm7O'{K / YaqEhӷ% lUh;)6ؽDcdPZrҒFU15G+nbFkCnb rKGl^Q\nfN۶ )p8?Lpܤ_7\H4q{BB rT,8WesHGs:ozlo6۲*_ %DENm¡'Q,MwfВ[@B-Yۍ5yhA5I.n`N8V2yԲY!bK dmEUAO>w"`N;K: *)ge$,.$Ow[ daZ^`Lŀէal/p):~' rXwܢd>BvJMj8+u3.\+[S Ys}eE6k9Tb֒kE1M cu;`.9́v^6&;-ˆ)YDyƊ$z|k:8N":l*G3+Gg.X s8_X@F2j5_Zi?m=wv_҄wI%V+JJJQIh WYdsR/eI܌Fсrٵ]Wy9|]̭}~R F ?SG,@fWr P(4,%O~ j ‡t FH³ Hh;*,G>泹+=_ ]Y86EHu.L?DR"4B5+zx *zp`tY}ߏd?}ݶֵ5 kDF%ƞ*{-O$)MM%i(Vt<H~ÿlbyi(41tkO飑cXԘDݤ|[CMNMvH1:b@܄2Hll1>onfx2m[e(lg-\eM/6 Ha__9 DŊ6,-& HQϨ/gvAq3niWl RdژBd*mѻ^")2LߟBa._7FP x({d[fCU)t(Ѝx sGGո{x1o ;R !%FG:sCu*ӁkJH'{L\ZҪsQ%;;.rL$YU5663Nu(JoQU4Y-FҼCwg}ʔtM**給P:'Yjm@c;t]HK!c5ץ׉ZPSlZҁD맛n~#J.OAį1RZ)+-Ohl~Q AaKlR{pȗ%9K}h>2x111GJtdp6a!)GFɵu2}__I 3˭ܙO`@+ Q|4Af")XcN8/ @I3Mߒ="V ^r]$.gfw~BI5)$'B@xG$8;Lp%<&? nCr'^۪ۣIcIh{=ț&zE1Vrj #w<38@R/tK3 ԊfP*7ߋϚPB$ܪt\?{S#\ ?3>{GXإǬs@v|]vEMi*֕iV`̪> y ;fn=¾Qg #aC1DMV͂s0O z|3冪 ~ףּʕH+u:yMфhqgɍ+$JN5CPbU)h'54o$"ar -)ܰ|0|U07|BVqL(h١Vl[L= S0v2M}ǾGj;԰)[A4>ʜ֕%/R!V& ԼnĪ9NpN# AfN=T Fw2rJT{#{Yp"{\-{>KҎ\20aC@(](s@տC[%92B\ܦO"U d sR/0H;7Ek h՘XT8*rHo.cnQs5l xZeQWěLv0ӂQwJd3d{ rFk{J4uGC %0:|29{ٍ , .nM os]4(${!yA{BQ\31@bp߿߁5trʽ54)p*Dʮuѫo%(E!FB@t*\"{TS<:`UFpjKϋf/pz`xcv*IטGr㿝{14Gw% | {sle2gz 2:+L M7 v/:f wm+/+f}7o͐`1 Hmj:GAk?K=FC:$B0;+k=-d[+E(q G ׈->i]k|ƽ5>\Lʌc7xzqrmC׽? tfdMiuOgU>P[Ks^zdž8f,P$g=Й?ٴ=Դ|]@ .&U|NE%ݯCdև8ge]3F"t>E$?w(b(G8\~绠Z46c :ژ <k\A ƭW)w倹 jfsGـ}_ `Z/і k#|3!N ?=MȌz]'&@E\ B.]uV3C[r<gEծR{-e\uל Ir Avo[t ;AIgVK;͸ ,%3X1IͶ (Kw3#Lgdb;req^5.`oDѰX8 F}nd &cI<8֧)7b,ueꖥXoOɛ9ٿn&.uӅ, ֫n[8ܷጷbBvfL>6~%JU'&j8kqo)p/N)޶73L> "M-b1%K *=nS>,k'}Hߊ6,RiFI܊ V13H0øe&C=Z ls8Pn !ƒ&ߴ3XT' 6nJ\~$j1nObG j3E\~TK^x'ZtD7smd^[[')ʭ,Q a>sjmKat֎XI@1=UU]ۣy =-=x/Z+yl p1N{H'4-01 {:SlL@qVw* m*Hk>'A;+(a0JDƇнU PE#3l80?z@y"KO9J4kDKO%6aʋy:SbA[ Dr,.B\MeJ;\u29<.nc>CZϕD;Gʆ/xܰjsD f3Ђm` I9:à” k~TҮ`~6 [qNrM0cҹ-bt TmWd[xj$zKv?}/( ,s|qM|,훞Kv e1 }M'^M}zݠcЂ=VFڕWpL/ϣPSm3eUDk=[]$ީDd@T[,F_F7PwPi;iݰ!uMQ_l"fF/r-X]ZhܦǦO+%#M#iJ#g*EASQ(R+Լ1b;~N%UD΁ NUWR6z :jzxT2ZJ JfjxC2<ߕYv@Dk\">!@UF !^ʔVϧ$-\.iR;s8!Ns=OpW}u/0EvuRK$4{1ͳK- ̟amSyoR+g8~d_R,^OxgsOnc>Ly6RUVM ͏DaFwA}$7J9D57c/p `DP! ɶIw5QzJ$00ofj{5&L4fߍ@5 H^eOfcQƱJ:(cӈqB[HjY\uޅLy{?4ݸ7ʗz8DKPHE. 'yJx=IWOV΃gA_9ھq(+> #? R  efYH$DJv8+0iaR-o0I'IԀ !<7S8I?. ګ r (~sZÜW[μKuV!Ae\4b K?%\[Je;zVֱJa@8T)4Z3?j!M~b..NڇY)cnϢ!,/=Pog4ibZ؞,)טּWz"~%cfo0E7ӝ^X4BA~@/N5 =/u@aU{VoWvOu9[kP!a\su.&-u@Ǥmυ6 U+ꮉ]s7 fu37/d: (j\OGz}Q@񗶩kdr~rxhUq ]4$nܜ&/ѨyP3ߞC+1y%-VLjpQy/m#:B\<4Q Lͯ7(Tgw }?(#!B >8=gkcَH,A-䒍;lP;Zwh\F1xz>uhnfh bCfJ4%'\.>=QT%F{~>o8sЗGI9Nrҫq:O$n1|f!axC3XYi_ L>3$JRt$\gΐfNuQwm }n m@KN /[_fz#:vZxN-:b\:岄筓 Ws21LVqSO t2l!c/4.JZ>ȀetHttA$RMX)Vl{~xa_][FjQ.'n6}<˸+I[U]PA?o-ūm<"@҉\nd3n5'Ft{;!^e!TrDCV[p<n|#e?^9 u_W VR'a$G]HFnOjrϙBhRGIiOH4O]DZ; , FHЍS3ȌFxj `pyIzkUdPla!>bhec]$1++Im6 ?٥g[< ݨq+'G\m.N ٷ8HNB\?ATVA?O戀Xь:&ӫ|ٶsED OWgW}^uyw{3x>tWOj Z}pW2mFHJGd@1E\xlQ929@J*تBvPHXѫ*I>:q|chKHHfOZCt_ھf2;Z*-vl7;ǵ|6Az|zzEw7h}h#.[$b!aJؐ5=v,L8qpȉ9 (d-mjT&/Fxh٥#Wy2 E4:Z9c[L4E=i:DzW̲["( #q~}t_cjFR{fwR.y$@2$ǣ݌>:eikmo 2ଞ) # `{*H$$o:=dz4F DDp|~> a^eRU&nmodo,*iհQ3fQS.aNC&y/N Az8pPTRBJlJk>1|L|G6@-,mKmt(ґ*,GFaO cTHdكO𤅿s=7f10|yZ!cA #* Zɝ=Sjd!bmG$:4m8sT~&R# 5D>cJXQRz}خ*<͓TNAZ4W~gFЯ'kw7/ґpZt,AlƢ4\|+7T  KPN'[#LF|0fqӨڠrZqo{bsdeH6וivQF{^!DXyCb~.QRt0ꗨLxg+І el {(* f y5vܾO J4o9 &o_IkU-_<+ 7.PmWiLPJ8=nh]?zdiUه稠{סrţzc|y$~M"D: i# P]":P1)RvFi K!|JnUIJH +?b 9h@M e!>ku0HݕzP]r#S8pdLS>Wll^W|x򓱺#/ U6?-}[7y<_3{IOjaעU4ywZ7z6ƺ,-hLZPniEo74ެp5_Y,^.Z8Aʝw"e+ԆKJ&VA0hlQn_edLmfAiln;fx+QޔrFt [IKT. I@BV֖-_~{nex1HAUM9n !q4Z=q q0+\V罴0c~Ol PѲv#})KzF`iQ?|m6[ݱFDrh(]z)~NX%'_nQn⧹` */_kNgf =ʵNjЗ*?oGgYZf9839653ef435687aca01caa02139f201f6607517430d2c0a1b08934e5f6cb35e5fe155e1341f0ecba13d44d8aaa9bc658a0daad8864c56239a38a74