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 E%d$ ]/]HOL-Analysis:threads=6elapsed=323.602cpu=1534.028gc=128.256factor=4.747zXZִF! jK]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4._kԃb} ]g(x诼ZQS8{1Ra]=L{V~e@E(^Yy!&C̠d;˻=F^#gSpUig1*8^FqYmH~Ǣ))e6 gPYjm&vh,?xWOtPRhb®rw>oޠz$g-;%|] JJPhLW %0sx4)9&9Gw$m]^|ftaMɱ.ޕX=$I(Z%{xh!M fvMwԞ4o|ECYWX<8Si"1Md/P'?<0f\iKy\*b.ʛ"=ڼU jz4w`i:Al1AmBB~`ѯ*"`qWbTAmz U>4urFLm}(ѷLM]!n;3O|6` ܷD ߏn(ï`Izꌙ̦٤sb2L!T}7U3L×MJs4H R< =~ff(L1]IHv7O` X|X-'t8Gb#ŏxVe,&`&qLnbO{}LfsF> @*p~vBwh=ל,ܚ2`#RćcE5@8Qb1=(KtQy94܏d:_sIBfiy<;`r#Q|g\wDbOsވ@#4TؖDz$jiA$,`:]l,k\qiW͓os^4%/#jWrTc?7ōen_m^5Fdqu]ɂ$"@~Yhkdd`"ߗ1wʮ#Wwk?czlRęGndXJ4%HCi|^k$YRXvպ!KTr.w-npIu.ěI0\, .d7Sr!׆(nI}a hb/ Ų}XgkMb9cc3%?EwLPb6GBL@x۠cZ P{  XM3oq|$6,Ķ2ӆ,'x <焁!Lж_*BF\zke'[ F^o, M4$0s̗oiZyb)wlYg& v2܌~:evȆoGiq{:M)JxlL$j \Tt*f dJ ûG<'l%b31[(:_=.nVenMWw%!j h9ؚ͞TdFOħψҕ˛0dN~a%#^eYd{ު.<9KKKnF,Gh|x) .\/e&'Pf qqq31~mBCbYkH7$.א:ꕃ%wE Gvܶ+uާ{sTuhh=0+.k*#x':OeϖlydS7 a!S 32A)iW~0rv̘ OeO v28%2ɻ-;!pUD A*,r ruNM>W,t.!o,_$޴w2d+,oC濖"?RZ"f٦PHa:wGkxm\bw|P%-ƕQ&TY] ?Q[hxh헨l*UPzf'-uO0.8V(JpR=7VY6:~.[{gjTIq>g@I/N  $-yVJhćfkI` X(+fǯÔPGJW_Okw&)VaR !M~Q۹DY?J) ҾM@7Ld@1k]?; ^ WиynszP#ZIƞAW:93?FS«r:f6x٠ѽZq14*E)TY5UdY$*&]*Qf=z9؁bVG)Hzwy_D b )׵661^A&tKD< ^!AŶIv+ҊT̥· {#Ot YE "(EPv0Œmu?Q9H+PBϽw)O!?wtŝtUd?n$T q SUM\*/Ufߨ2j˫ͮyT宨&#7Yl7 rp~еNkƝQԉxTYM&dD)T7 +9K-g *!LҸL0u:Krh]ypم}=,rM#&t@~ӫ anѐ|8y<$ef‚dH fqEԫL{:(s#JL4օU?ZzF q|qQݯ P֞VoND[4ɦ6~U>J v/t*Ţ()V܃w,,v53lw=~=p%+9]&) X#?@`.xҚΙIFQ-`y#77PTX8Y =ՠȕҿ {M 6SbԿʙDVOqxޏ*?\* % HOL-Analysis  #wT@SjD6~t$t\nViT׹%6J"xlVZ"Zybѡ} 3 Mȕbb~|}-Wr%J18'{!%81S>sUM.ֶ3BǨVB1p'u}({b7H_ί' NvϾ&Ь2r'mjZ8o"vP^-6xȝ$N1R( LC%3.9(xW!''{sXOjԿ@9xA_J+CUx+[?1 *W\ ";jιgݦMϭ{ڔڣ?聊׋EBn xbzhee9X\?2OJ]EU[nc+=5DDsPy)3@lic8h%i*B] .t"ʷ1 ,?źfuk3n~ҨwrӶ8m2]͉b%%X. ^@ҁ~k|+Xdx69']9q\¦<яsNٮQ֧}`?=eVEO=J?iiPQ9L^uIx9`i054BCpy4gעb8ccxw`ߣ6yZ%cMZr<g=q^ P:~ 4i:KoPz}c)BO6AXǼl}cy{zED\Z%īynihg?Tߡ2K WCmds/8Pg};>: kdaY> `WԸ7@(`@RIF]0"s4A6|}w8QHaỵErO-*`.mާ|` -0Nۚy >2}80eɈa5Qbნ|\kCY}=vof9)QORu1v3=}i \Z$Ix B1~9^X<{2\lFȨlߤ;9N B҂OZGD2Gy3Y* :C?e!dpzf J7Ԙ3:6ڲ# ל_ i}Rik]F) U3t} &PkW^xrI>vVլbzg Ҥ;Z%hѰYAM>Hr^Ҕ<0ܐ(#6-:.ʙ~huəסZ8v璣 jy[=~H K>#%wEe"VyD|]Yk*\^wSwfHUªoӌ띋l4_44𔭪Qs̮7Zy#I [jKHz?il3!PK3Lkw|Fx]1=Fnfh܁Hsj4U0mf {).y!Hٺ`1bk\S5H{ p% ydᵾco]۟)FʪO$SC#WLV &.U ψx~ >Q)+ˍG{FiRp>ۙ;97!;,HĸJr=q>00 qcroEઢr^jCvԫ|PSu38 "6Ƥfl"qי;{ѯTgeB8 Chhu]NNhkKCm!?,Jl Q<>Zg] aR,R3207D- B3qv'jkdO5DN"RJBU]EIyZ\:qPF;xb*Cոy؟ D6A90ϨaU{G2GͶ,L1i~; C7cftE uT Cƴ:I$&@w=Izbh`r^ kp hM=`YQd|a4@Sfoq$ b#`ۧmG>J 'ί(dK+'͵ZF(J?4ٕ Y]S"LUၤ%1g1N7JW΢F1HM\P@g%SFKCruiKTA1X>YZ1\@-*]0tWZ *:J7|m|*y8YDgc@U\ 5h]_Rr:ow{lf E+4'=soTSF쒔wI6gKR8oh嵄*kPBE|Kn]s(cfv/x#Lt68=I!WBR 7=@@įK|*ӏSօU\l9( $oV:߶)P4G2w&C$Uu])$ I}d? -vASނA"yTDY,s"f72S/ANeSD؇:tmOu;édw8}tqq!m(XB@GۈQ[ խ#.R#'}:A@GUNc>6F {#v&,bt1d_}J(XxmD@B]á<(cDQx 4tZBپRuiYxx~ꍉYWRiBB&)=52ʰOtCOc O:\_ҶZzA4<`pa ZEFYR&F B.t;_VjLZϪD928E|Y|6:0( pG'W_x˛:*꟫7S &FP$V3D+pU'ioFI?W4a<|Y`ŀ^&oO'$.@gYsN#no>u &)IufS`A1Kv4Ʒ]ȇБ@_ks x9-in6F*OP CÍQo\Ce4unEs(A˲"^$3.\i)] ϿZI53yJ@&Z~Q.# ~[Lu  wr?P@ar[&Og&_R)$QY+[BFAP˕#n}z4;ցt"-8 xX}آxro~L{@D%ci3g 87]8WhM)V*kȏ/Ь=WWsɚNHCזm\CeMHJ~ꣀ:c]gQ`Gdaztagw`Z>ڄZ,M1>8II "s/Y1z72r"n>吋FSsa~ϼ &JQ(s-ؒ󞟨^Yh\ ҵo16)ҳ9'HMǧMaZs'ueq049қ m@cqh|QWf9V(Zks PS.mT~*w_cɽWCA/A5LCss WACܴ戨|^+eLfm-gww[a"!H>לMpFM-bVY=>HQz%2kj=ۨQ0S9Vߞu%[58`+ ~`2qe{l~U)a=.e z>#"D[@;0ŭ I2s-h'HN}} Eډ'Z;0dj}t| ߇e).`B3&Xۨd&qa/ɀ~CY+ECK7Nm'\$EWUyn*tq#bc] Qe95Ll8zb4^<51;|aYρBTl;_ ھ3+ ~Jsv/c"Ӑ(^3O. mU Pw0?R&"yGJ rܔVrܔ1r8HyTR ;w)$M#/h;yzZKI`B)ݜ%:ǡjDY(^QoUQ $]ښb@#uEZ T-l6 D4mi?m>ѮYo@|ɀƭ[7jmh핓*^?F*vg˗\5zJQ9lK2ۏ!F4aA*խAz.lCT*;v'[POmjM%kZMJ H6]`TwJМ9:yz8},|~^]B(ioY\2$<G֌Jg7yP)9ωO1x(HO*\#4h7%xRwH6ܩdYm}GA*љsv^=_%޵)UQgKHfƒAH $ֹ.ݕ)DY J V+9G ۍ4 #hŹ$_{m2ArLŤ%ORx0ǚKݧ!scXQ X$FTPE!- nRghl`36okgyn;AQ@YE$/eܟ*o,qSXfN>~bR{=&89)U΀6;2JWC-uRv߳3c KB%UsǍK#O$}'J5HTf>T>VJntJ:\?ѿg3)xhKjx_,yGqו}UyO-Q@?JtklWGh9P hiRnI‹y?_ˍ P߮Cbf2.늆iVḨOY  %`T(Xl8TJ[w'!%`%(~Œ !3gSARo^X$ynSg4ZЭBG+EWtʓg4;5JXTl]|>}ߊMGfvP8[פw "k>bz~H :Fr4:LHQ(3e>ٕm }GĨ;ڥz5_L?'?N#7xZ}ox!&҉%kcR,5bc{l%K/LĴy]Vf|;tKA}9 A=83|ulIqF*C݇v{"6 cT|r +Js8uO+Y5vϴӹ [Ryr$bgbmPLoʼnbL)>mWog\*rI,A+YGUbďL`NsFz380sw_t tXB)TW[qK9;|,Mz LwC4+4OΌ`S n ,CgOO¾gEi,\9{@)t;^d;4F(SДH'cc6}rm`!WOWk#2%NEwq߇CE7B)O/㿿0=—:ƋSF([wT7x45m_ګ>Soc7a!jQU4{‰7WR !ĽF}xWQ4p)rk =e&B˭SrTyX26ꑕ砲U-Ere]+-HD PRƶ/3o㝪bɮSd1 )ˢjf\OAy$sgg$G ?>8ؕePXx\n~Ug5|A>SEI T#k2ndK]u5RWMe֣ԎQ#*~nJa `ÑD)SDr'~ʗ~bBAt~Q 'UҪ0n>5*&2ֽ !8ꬡ J#i21:hxK0Q N '>QM1~Wz9x RM-ח ?a D;uHPEYFdСJk'H45+uCih/(EomRGN7{KyUaV}7/:Ek3 cZs%9JZ Rb4 ]9yBu}(%5( ->S 1OVUVM86;((:1S,/؅G_KmIXb$C񧢆5CºqʥЌ\v'THt^*%GpMEZC= !6,]<)y;+ɘm;6m*+9ɹfD!Ɨ`vX)ŌohRaٯ >x* Bfц.H"$sK/⚗|Ul ě+[e{ .in>?W8uN6)-j:gjV$Z#oy9hybԠPl%Wr5 }\L#'}`yDu&5mH"O&3IKe:v/6ybȿ``B`(3fXr)H nb,A,+%!1آi1UY6BS`: &:Nȭ޿68X%}r] ׀?6^i+* %[Vѿ1B:+v҂ryq$oՉxOLT#F4N,l|&UA`w? 7i\˛;8c<}0n["ي\|QsHbziwGwĥgzFs0-8gv*3J1b(n 8{^ b@͛>/SvXw֤Vӻs$,y13 0#qY>ڗӽf:]ܵ[Ia-Y|F&L04v((iGXayZqE⾙7kM|PCR޵۪Trپ5Tob=}NTT$e[bH)?s{y^ׯ*|g*ОʈӋͣ ]}' 1#KQ) g϶Vf؎*q^!7ZMQ4Dϊ?>ѹ_쪧gh+oM'VInH쵽blfi=S+I ȱ!\ yBާ]MqݿCZja795"X~};]sA8ْ[x>WݒEmҾ~Z\םll5G9Ǔ-M~)XdEg2^fT?wOꢈ+X=ة$$4kqDw&_dK猊Q#YÚ]Ύh`⍞TE)#<[#w+v:\y |WU8pI2~]6h)WCj[`DNv]-Uc/ P*D,\(zH|`h:zWubx%ʄ"Hy,XVbQb؜-PWkJ#[2^$De$սL:)J(ECgJ2>r~ݫsP "$3[D  ku#.z bk2O#i7)=p ݗd䢈~%Z|!!¡R4,"hNEɴ4ݼ,dqjȓ |Y<M䴜 ߘΨK- {3PL)i섃Vj{:>` PP CreV7e#o~[fxP׀cXqf9e‡&8PJJ7_@f8ti(ϳp=M z19(]u VP {\FhxkYԐ.WLfzZ#NJћ bIym6zkazۘBV@ܒ9^ (Zˌ?|N+W|ܸ4R5ŨH>?Ix:q2X0cl_[`j@n.MeH,߁sRZ8O.dR~(( )Gub^4^9|-R-}=M %}0&o5PVÏzW}82M}G m׎R$^[P2= 4SQ؅ݢSl|| G$#ᇃL1+H0#CZnV5Zf1es}I ))?"ٖ:4aCΖ{Y%/qa #Sn6n5L: ^?hEPmoP4ػm,P$fj!!^B;|NZ\ҁ;\r&ca1}A"B'"gI8E=*2[K.LEӿ[Wُ<}SjR=J<,f2 LHh)JVHb /^,]&0̠A,lep%浺xK.F.ol(5 @cq]3'<anBNI4JbjiXG{^Ϙ@/֛(XGZp /Vz;FdO4>}Ryo0 (cx: ExGn'xc?ZLU70 m,?=;fP*euY%'.Wf(<#Q)+HsI!';jU '렑u "6N1޴T44{ο sz+QO? #oŵ h88Qk@<:k}H%͠B"􃭄"Ʌ&ԷMU GJw`>:¼v)uX];J~ 0Mˊh賱$4}-R Çt!7(u!nz4xjjhZ6':E@pNT*0f 4ŷ H^i`A c'{ffLu~y#KAv޷)!N~229q,B"pRT:nZ9jKMd#oD9asyDkp@ṓ@Nع<;fC,ٴOF% EDݦ n8dѾҎ1DhH=#l|k"R˲OrOR36/h;) C' *A'PlU3cV0}"!>ޣ)[־Dtsi̇z ipM`שjʑC%p>+ߙ%6nZ*[Ԭ6v47=Z[wr00ĉLjl{"DA×c˫{O4#tF0Րj·I zF=qm9 b=g2=h>bUlNM)nX)I;1~!țUݪ9eJ䔀?*h~4b=E>*08׫‹Y/-u67c"K4J=+1Ն3_!M铫ycz aߕrp.Lc_޵ @m{8cUu?5E)QNB$MZdї7+N`"LU@Ӱr Azv)vF颣ϖk\<9o^|/U%,X1i(rR>H(/ {)Xb%2b]^ n?iZ[K\Z [v sq ;ebOl.B,qf,Fd^L xbPڌEJ3*%r-B-Aq (&Ȅ m1gUf0l&c Õ#N7ȴN:{̃xg1/ތ<6"7z_Ήne"ZxPƫ4k 3q|"p_.7=!D͊C)1WCY?. ᵍrx# ,ןRK,qϴhoAҹTv1)F̤Lq9y>LUR7|äG ͭviӃTtX?DW?&DkNsg\_S2J ػs4 Zo{|Q$0M?E o 70KIP~ym$tUos1Ro&Gql TM˘oc5 pGXedS=!MfaaN?#B;ٍy9^4g0wY QA!LT|L \ց +fLi!mjvFT]10QIBzVP!@ |Vjή VMy֟zMa?91w!21P` *K5WbXD6 s0Uh=2W #-XvEHz/'"˒5Gtx/Vۛ5yFfJwPl羵Φɍ8L3**}aZ w!gu-#["vEh]߈aѧ'o7:>s&  ,bais2w@FcEmC2oĐlw[}bؗ+CtIJ]5AMyMZRO;Q1վ0 EXVvFbDu{_Q7nabTǽ9 Ua%1孖Mzo̬WX=qmWY'P1B=Qy>8ŸHŘ~K¥/]Wǩ~ԛDoA n?1n5z>> -ŏʥLhSB@eas04@=o ME6&])[@@Pwփp)d?OfLzI^@#BD)7y^:G؎A7aS8o3G:r\bǚ©EK8խ܂)۶y'0Bm =i% XǑ|}%lSƄ ?h{#9JrQ,l1;;U(U7_*rΧbQL(ԫ )d^A`ң߄9#T5+ۥz2I;癧XzYwJC]uU?[jf6E7͸ǚZxc^VZ-9_z6~|3d(ѯ";i] | WPB2]b)g͵|ZTჁ 1M ~t/CwCB;%rj;ѹ.[1iqPȣ@YKF.fJ>eF2}oM7K#y9[sHoyהѝZpXxw>p Le_}uL ) )hԑ UgDU8Jx񰊒:fE:J,2yK@wB:QKOlvQ5s ȃaQi5F Z:醫GBq c*lkAVϻoaNɡ ?P0"bKK!%H|JM;Z'Z[Ӹqm/wRQ*:`/')G6vC鋩3 |qEB:B/ DL=+;CLh56{4_d;Z鄚rgKMFDXQ*>wIGⴵvI'JSB1[Aa6{:FRqL!qHQĤK-<8p !Ȁ{]i~!?D<fjdv'Pjn&qsm^L2)rg\e`Hwur]wA-8_,H1'%ŞߖdWBA>\2iA9,k#M>(SMMe'g"o陥v8 9IwW:vb)7fORsUs}eqfkI%hE[y"> lG\>AyrGZѲXsh^1PHKy&$ &v'][7 sxu$Hđ/9HΟb+5T  ( T6+%T5GʛM=G#G!Ч5;I> K;FFsLw-jf^s%6%hHJ{ |3\ ͙0±x*s)ٸHGaNH]$Y/=ei/y񙏑>7/0Cݥe 1E 4|^un&eȫ[r Q*q"GNC Qty"璘yCN=|jT~[t8xHFOdrX6Q.J@_섺@YqHweTv S5*0pj]XiE :Y|jIk05@ 6OM3}D$/!w%`n`r>2~k8~q0K7v#?Q#BR/}EDy n>j˳d:M&?;|nl@JB.Nۗ#mPuDdLp4jm"hdZ\;hYIĴF G{2`= hهi2rGa$pq1M]<,d2]9|VΛMF,U[*r+i`s(z~q]+[LT݅$\Rhj/Q;;a%6Rn }dU9Q@}ؑʴOR/]4poNgCAD߳s(MLZhU`CBU&ȫԁٓ`<$\t1,fܦ>SsQ*`Kxuʳ0޷;Q֘>Ա;yi=ovi碎3z rQц' ϽE?DU~8SXYgb¼.BK*GM T-mL(L p;Q'ְ % sع4^$uL6gkclrk&uRD\L奞y]BTgIL uHK7VJ xGmA9Ad1 РƊ쁡*r/amu)pesjil ~~:&8?>>MC6Wu3H: ,yzղcT}K؃1,=t(zqi" !AJM[r"o;G_8QTPˢ<%V8cf{NPiNm;"箢5I;b++1E9ha]!TIGr) lb]Rp-ٻ]Paw3en{üޢc\[P2GAz҆ Á 3qi u{W\nZ_m/ AQ `qwATI_Q2듟R3]PbխI޺]G1)=_~WPx.K~Xx쎠U @|B;@7g(Lfaɪo)gfj/3بP4:"q@70KQQ[D׆]REee#Rbn[+=ly6#G]UNKdz_ߠ7d{M>s R=NAs~I=Z i,,s(#aJ{&kCzK=`y ioJmh';0Q;7M6Q4_LۘI\/vitmѧp Jg5n'O7#l3~=Td;&m j*;yUqϞ# J`h"Tz˲6 Eǧ#~x&كj8i$E"/‚c)K+ILyg^,N7vkᶟ婊Bz:ݠ1 I=G=\ ˾kIܠ2y&+H d2`_@Z^>V;ٓa+ q* iⷾ/> K |$jC]\*q.szt YvO664'r.Ĝ{S8/.^! %x8bWt͊ƹ\rlx;(&CTZ~EGĠJFDK9ѷ@}DI(!_b>џx^K휆Zd|oHx5 kB/A!D-]',{ s1Y ōg1&m}vt{ i_Cb/ kD?٨R% !Wg{bpg6%VIǻٙx E}}]I2~52<a]z'筭yMur*Y(kXDL4M={;/]X&,M&;T G{Bΰc/(]wX5_i*bT 5ܢ7> +渽X (U.Rɽt@۞"؏ngHXV}ojO2r:{ QȶҼE=zPq-Tp#5 yBTu[dտE-66s(Cd2Vi*NK%b6n 6h\R hc ߣ2GԿR'݅8Zp ϮH DXNy|M=uj)1}ΰL}!7`OХX\z h3.̶53ERЯ A"> #;_zi71pZK;Osf6spyC}o_R7*p(_>C~ v$0oQIwKW`+ec^r97D$o-/#YM1iͻE->1|UZogvW`wzCrw+2,-&KODH -01`*4>)y E W %ғ˽ِsA4>.A`,<ċ PA b%,D8'S)I!Z@E_s<굚au i`/^0c5af;s 'Ud 4[Zk%gb`do44` Л_rN:NFs3G-_ }܀A-(vj; :s%TzC,0g>Zy{ -HkIf Oɨqɚ._Wü$Jԣ%5Q~o\LpfDȭc>VQ`P4X?,W F [W'O" <}*L#N*+(ĦSCʩ^nD',~|Rs+e^/"SzRP!ڢNK,TMo Oȟ<}+Dw˴. R]{ŔͯP֋ pfsqG"-Ia1:G}V b<{d86~SDq<dUd#Gf>;.b4h?1#{~ rj1D{.@,'X+B?Ro-G-JVmߙѽq2kc:Dw$|zSxԇ^d. XRj%%9y}lk}o5_[}(S2sͮ..Rzx1螽ZY'L2ǔ́nI \§]_/La'9c(EOҩWbc)$Tw%KSɒk4sӏM!vV Ҩ~E\BO"1 GO*C hk{A/>_,MnO41P5?f/nÃϯ=AFB Q JNR*n8T䦩kŬPN,P,=?X+vG_=ɴI惶ɼeh8(Z ĶӤ,b/<ٌ$N6vw;S-JJwlSa_CSti cbl0$cƱ*"}C:av2v㌙AL^Na#Uu9o1YpߵFA qg2L%!W]ޭd|₼, 2(|-(YyLEڱr4MQc3Ak+S5(iN}$!b~'CM eJH~?G@?TbqF參| фA\#A~dqt]c$0"ԇ,A oKt%o[H-# ,[ūR_Vv|9% È4KOim\ЬbN|5V!!MbLn VqP`I %4#tj&6rٶ=JAN6@ƷKAnIh[## )$\Ў <kK!ZzF /6G!)S.C=9.B_}uYnDÑ[dO@L~-M,j{v@hӾH25ycw5{Rii߉z\m풁. l' m=Ғq2Yy[g sqcXjq0|BD??b%i{E5dRԒyʎkT<3C R?\AФnG'̽ym>Ϯ 5xNk  :T\9\j{àya>']16c[GVeRt#9+`N[`w 8W'`|LPf:JM"Dr8VHz8vʪUz/u"ٵ7ep(MϨvS8Ŀgd=8v|DQk 8@;[g"QU :f~{e8)#R7#đf X)59`σ=gwX\ = q'Ա!3|l#/0c4 ̣iD翺Sh(.z筇e,zUT9QٷAT>^LdzBjl^Ț q%|ip[x0d&}߰Ta}w A~wlFQ}T˕0S'W_T[2mR a|goxǓBʧBոd#N˹F/5ďTI A{dx/2 T/XL0zhzDEWHwak tV -a\7(Osے@!}N(VzԚg4jK7&=bI،JMRUI`4K"箬{+NS[25Q˶.^*rt~7tV&ػ1Bv`QI+b^l~!^̨׍yy~Q܃$3dck yfKL]Um'_khR`xf/5y%f#׸6jh-l&ؗ5E;XVo,|/XIr{G?bm!1f]Ae?!xڋʼkI9 Tg5>&zphc$]GΒ1B#2lȇşj}Nx {Onbx4q^  ZWnS(v.*f3#+mugZ$dwҩ ۑ^ُϜIo 289k**zlg uy'7E$6Ҙc4 J9Ʋ)WTkÄKX璥1m )@z+-y'8c ?]ċԼj§@6ٵij?/jD~x8 (˝q10y!IiX%*Uf[xJ=߅Õb&, U`UR^3|ڧ ۘ5dg*gm^IT?Pgc)%(8a;LaPIBVP0lL(c(>k;,RS= }m_$k>E=YWgZ'6J)oOZia,M8( #ɞ[}E!k?0PKIHfm wQyDT=%!7oR uGA*鏚&˰4M KIOhF*0h_G(q(˯xkþT}L).@…hb)hݟ aTHuqFT_㆟YdԠ8#F֏/]iζT^D> keUm؉!N:qC-/Pu`WrҿWRP.=Yȃ(Jİ44TH D>Æ%%XugWSo)4ĩk]\,CBN/w6{@Hbm8n^ gygx<|FA{ZKq;"xGZtFHr8A!/ mI hLSǚ(#ѫJ+]AZy8sHF))ؒ%KJd{r=^5:Ti}?2@_sJ,o mD3.>(}#&} ^WFo+ĒvrOL)ut{(Ij0/= Z,l$&j}s΋Q*a#b`Ӫ').:t+N%-ZT.>0=NdO-3-SGc*' Ǟ lUsTG2 -/0NmȔە*VPsT<m~a eBH9Vmf7!*?,Y.:|a)(Oq~hŢBFv+:1.|6RiT=GŐ|$$Ƣ#Ƥ@cB_΁H&!rcZmuѧ!SRP>,-N: [2//oWєq5ٰw@$̅nN2ʦ5c}4/.{uԨy{Kf ;nmEh,/$m*h[h iܟ ;{'#`Ah)-H>l}wyz|( :|:1h?cILzqjo>=?<[ ݳ~$^yke*l@"FW ݟ1 V%cZ W;[eDгVCCw{ {QIBLM1޲G8@ĪB6jz" TKzEO{$8Ze(·Qr2iҳa>rM.C5f\%t.&!NIP-f'v_qJS'T\^FN_b oc gٺ` )(j|p{eI'>'Z89@!\7D22>4FT|*hު/Kc`%[[l 3L1dzTQ_wtf@b.ӕT/_MNivW!te6#},"hJ>R8=&LBkp9u$)KrON{E,imljo]dNF7ʗzG܀`Z6+ܧ=H=JtyҚ&}ϋp{OFc /N׎W9 䜊mE5Ze/u0w-Rt# vސtͣ3UpMQMM!6" +L0 @y&X~Z %U@GF7G=}JBf`@Sh0xTPk"[/`+|$ihKo-WxtbeyӀ:p=ZC agDa)悒 yT,Ea'sUB4wtJ} _Ÿ݇_ T]s'.ЮdO`hTF`qY|m-U*} K?a?,O ::pKr\_|ʃcu ~DR?>9\Rj;x1vt{dK}G J ey@8fQOlPT Bm&X*_ᜊɎJuʮWJsHY pS6{xP[|Dg) 33Ɖ<}Xߏ,o|i^=+eI!-Bw%pQZFh-7̄:4-ʒ&:uEK1`·wMί..o$TVF iCXIf60Ud&ZN k+1i؅(]% s5MǪѽƫ`\V60XVמOyZ) imvz$Ll,Xmh}cBbAcˤG4^(+2[R^o9f Ml8p0uxNZ&F,}ڒA \ޔ_lk*s(S On2$X&SSF-}Q(WPcVbZ;14lVHtɰ悌ޥU~2ƠʭhIbE`H.z2u#|~lK`K&o-Eָ30ɗEqܘvvrֵ^0xgslo4cA!wjcF$Q6,"H8Am.rޚUn6 ƚV\ KDʼ5*6ԡ349ٗPOrOTbFO5 `}OV;YMWʠcz rZ+~j c8X.|WO"^~͠pR `)$dUӽ| *H^ݩLs6Ѭ(unUG^ -)~=@gQͺ_#^PɃ]ZH wrG5j^Yn #OS@LvwMmM+N!pjܓvT9yU1{TI$kl$ᣈ(u{B& Ұ#w '.n'3 [}r |,܉f2pc8ERoSM6iAIelj=/m|X!jܤU8!h, [ ?)AѕBtRo)ϱHms;L𵗛o+a3'AL&nǑ(w,ZKDp ǟ{hxnN~1o/5[x70 4ҋ P38N"ԧjE}(j,$ev<,)Fn4Jx4`5ԩ`)5%O&_,W֫'MVHԻ?F8 Գ=LYT7cqj"eޜ}2Ԡf+A*R~*j*4ؑwjEv/E$e$kxb iGz{HhK(˔S R<7㲻:$3{9u ?`[SDP4Z\{KK0s}hY_|[\3v}GЇMfĚw=*mH"SN.u-g3`;|pJ(DN%te~RT먳^@J* 2IT8ܥ2ID#:y0֝Kle scLj)MJ6Ra|Yh@w&36GA!`.\0U6WfNrSOl6/+}=idTD.= L f"DGnNNvs:͎'ag8؟a/(LZ-e9 grmdi,o+rҁCTXԀҝt>'BPa*wW{rFq\ /|+uĢ$wIM = M7Fϝ 咑|\(FHo/CKRC=hw9ңk$?ς/XIØ%^L}S gI{ܲZʴlMfMMlD0HHy` JD_"(ð~}I4O@nҊ[' yLip_բ#{GF&TicN0NkE<ҔYZ+6/\#%""{$`u@#AU%8Ї!5vNdɖ`$pxW5Tiݟ96u;#[_vtU_)̽"uT$"-{S6{Laҵ&R9TcrJ)iؾW+ijBmID?Ǝ납BU~R,?݄/hd3*0h>UȨڧ]g@ pijw;/܇آ?\CCn 1y'ddЩ5.2F0ݐc c S;fBƻ|; T+jz-]33^XM7 8n/mw@PDF7#ԑ3k,GY ~IJ9#܇);l$m#Х,j ?ݛu$z>*f|S$‘EBF:@/C̗@*@(6.:IZduEJ4h>‹Ę?qLZ-j.\Ǽ`u8g4wn1iߦL%^_VR`|//3HFYf PмS\ܞk0IPZD@Ĺ̔pmP' ,}Ix8est63b\s>b`O~k%WHD؛Ať;vr'46r#KsTx.T8swvHHH /Uhwwai且3K)xU`7#3hv8au9nٔ +)*R`>a}MCkk(5IBK ,8,Z}mCRȨvf]`˸@ co\N5?fzǩ 'mamꮳ˖4:wA?3UXq8 PIH=Pgwe44Jr^;x9N9 R~boNn.xK TSf4z9ASQqkx)cDv"v0.3Mhadfum} ~s-N}m]2WB8/a"N`CPo)G(1ZM }t0{ ӘW^Ơ(,'JϤR(piZ ~v rZ=آMp3EP(0m֣̏eg@\!(%u,ƥ4 ihwMD)wI|P~Oͨ)b^{+7ſMV>܊9FE !̡XΚjƘ!D;:zoJ uբr 9эX;4%ܾ`pTEܫ*0&:IQtXsf DO2q9Z}?꽐 PT]2w} U4FgxSq ]"0)vZLfk[/1 c*zo^ kΒή.uV q >Dbضa”K;lj,!|)5T"H#uy._-W3FD V>ZYR)żlr8YѐⒿEV>=I.txkLn9(TJF%] ,Vў'\c t( MŠLIw6 $V%p%% X 'oT^Bb!'3Z%J#.}D}Nl=_h=] ߚ~Fa #cU]`> ][ۆؾCH= )qU△';Y:oDÉ/ՈAK)I*6z[S|;~)xxUD," Tt腥D:m^#BM&ӊ<USs@z9C8[(N"h26Eө0rVe)?P}T/IMVu>`bz+uc+H.{H=+!җ Ubtvs$k"f)yw.4Qz*p\cPZ\ σQB3 _sݐ Ruv<~qU;Y'C)6˽J;(Dc9_zG+=.&DGjl S7)*ݣOO͗O\`4jr[ӓ _dA %C@7\D6l ~ă]i ]/JփM; C[L>o藟ii(Lځ,[6o^4F{Ѧx_[8H%&Ja Jգ^ԮN -TU9Bs/ޒI9CƔȅ3+%G*g;' Uphi/0NI K :g+p̍}[L#Z|1V%O Цbj؊FmGP"G= "D8^9Vy6T+AU"wt[..;i24P"n@3EXNH74HNzur$e#}wOKP ׻2}ߋGAî'F}Aػ"`sЙ ۏ$mB@ C[E{_iB:pcxylu*J-H^;ż|2vLQ%^װ'`b%lt:rLYx/&[F[8;8heU$oI,kԓɘ%~Sܩ!A;UI*#6L.&^N<T&6_4E.v4mcb>O!_4gSkdD^$JhMJ &z v]bWPyq+6$)+P*{Ң [م_~3%Dj|9VDXPI|BSށQ){G[ȵ`뽞Vmig~>unfNdJ-i0π61oYGR݁ZQ#EOrC5Xo F?ίwyaR;s0z$TLLS HP'7=<NoY.. W2̓:[6Mp]Ci DpՐp;J5B:|\Sϒai;Zrko(9 I[ Y޾>!AHUXcMo; it_8~qA@\g^R1kXū *O~ Z|q˔qc}}[ cLQ7*DY}*D*~:\&Uʐ~/̡b-W(/H1DG%nۄ^RX\O_ {+աj_53l)[){`J`D ]|&3=oUt }&g&Eɡp`qRK!Wg"PENJ E]vPI1PM;bXn>̼&ЛRu|o:"|`顖uc5X 'TDǞǵC174PaƖ1f#>]9s 15gNPh^d< A'nCD&n0$tckU|b=6 C$FEKUMۚ_.vGFk빊??h2 xn\&e>KHG<dMRiKZOϼyɅoՅ= %ŏiaZ8Qv9C_|\h k Z>IsV L.|>>%2!1Q:^$# p6P/z9ۭ%fɹS)ܨ .wD{T9̖F;=Vm3a2p:yE,X˲W쀈]+$+-8sK60IW7@DMP-YȿZY۟rN͑2^Jʣ4 u{,ıx2RrrvnE]~Td~zTuёp1t}r O\gIV)~roܜwǝWϤ8}K`cH>gGK__ǖa2Q%( riY^rs^+Jk@zc^ eE@> ,j2^6 k&ˬN6I4q{HaJ29 {a4I3__vHeoQQ}qin{zOs H72ɘl~\aa \֬RBc"X<+WÊ{ %==":}(v1iwdnp [[[6BX6xmPF1Q> f-8` Rtuyь"#X,Wa%pO6 ġq4)y?ZgῂkԳ<54:T} 39La2$ .w^iSk)zeXVLjz1b1x>iz sް^U@Fi'S Asv:鉃Qt: oֲ^c1.ݖMwm1Y[+hsѣٱCMǖ`N6Jg fS yb7:EX ۰Nԕr*V?-4[39 L}0]j07MA(i (BxSk'XC?ߐl|X(INckₐ:R35:$;{*wUN&+rco -ߤ c[ޅw)7 C)ص̕ڻ<>W%!M{!$ZWNDӃ~wKJcEB]oMQ1ʯEQ{j3)$31["j)!a6mJM_\49Xg[p/ FhIXyg\0/¡F6p<-eRl;JM;2WU+U="*Ag"miwT!AdƠL5Pb<]?Ԣ׏&!  +DC2aR,sf z}6"m:4:kqlp!M`΢{++'GM0fռSCdbOiښ#!^g3 #!/,ob-S⼘Y_V&[ p~@)=y1*T|>HQ 0UcSȸ'Mӝ^gԖC1 `4cpNnp!m(w(DQ@̣XU|Fͻ'2N74θ;e DduQIʯUwSöHʢg6=cs*vG0Yx^T2+ q${,4"#y#[ H@T$)7M=>r)ce;_ʞf*)UzO-7}>;h/謏6[1IY .xc;p.,c6HWd2!B@㺑_Ԛsj,Lr$sP|jطt"[^0:zekyBuReAI@cy_ʠ3ސyg3vϤ|*_$Q~D1]46f~mmQV qdkGI$ ozIŁU="v(k?'ErM$Ih8|ag 4Z_h@35g 8εro&E 5t&pGвHugiUh4b&6e?V8+)Vx ~vwj5-*!::4uI~JO;/a2LRƞvjw_Bΰ̤۳n@1Glj/YLWE VEEt:h|DTaܻ2"*tcz^tq-6pkQ-g*-eЍL=o T0@;mvEMf\jҔfrls X"??gh Y ]'2!=GT:(h_3[cZRF'(;kCsTX@,xKz9è["duB XƊ %63%Vvs-`l_,A<yCTKYT &:cjZt\ɆnFԽͺajMgYZ264cfda2d4b77f04e4fdb156af03a2f8f31a670e6a4a8939512f5187f2e67f11383402b7a93008e4 c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2769929fdce85e02ccd9df844fde787ec68fabc83