SQLite format 3@ .0:  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%d\L ]/]HOL-Analysis:threads=6elapsed=354.675cpu=1815.440gc=84.592factor=5.127zXZִF! W)]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/DLn)Ҝe8NJV(; V`Gog*[y P6?zdN@4;\kYL!G=-(cwiH,u=jUږo !&X.4.zþ=.Ui\/; &\${bb[rq}.róng?b9߼Ӳ~ .(}+n&O bJغ=9'ɖTtKXtz=GߛH qxa"37Gmyox e ׊r|VuP5} t1`B>X sax0 9 } l@T3VǺ\p++x}8Zqa(s%rr:+!5|(O4~k|˼i2,U1YR՘\oՆ%!W~L9Q#8hcCRe$tDURXwmuyf)ޚXN.ĸA]i#_HēH(8rMDǍ3MD1R'm1,mfd#IG3w3Y7 Pbi3_"ȗ^qw2UKq{o ~eJ cur!z "*z+0eCpM m$5PY"lN]є8-+:J*1(^O-Pv9cb*αj'#ipN액<̻ ]9f'JT/Ib\+VOArX*'G0]yńP/ja0َTk!MU;#,E_sc1܃U8bQ?@=h!'}kAN鿑`r U2%1,F*$w5|ۢ(ay20,ۣͨI:~-E'kBߝ*%)VATnb~M &WM%6޾+)`J,'ß4ް9.˽DD"g/3֔pth+W|#; HŃu**}HvA5 3MփWh"ōS8=uIHã=R~RRfeέ7Cd7~`+(QNS>ͬeϕY ߍ1/y7:`9e@ۍi# U s#"d++c?-*efKJ)l|A#״:AD [r Y^!k1iS{k-9Q^&MFkB:z&cR ϑ*3 (_ [RH2-}"uC?9SA`qIs'|ƒWLS %B"duTw؎6kb+ӰYFj{v\r8>M"^N|ȲrFl0(2+B+0,f=!IV$D1z;j@"^Fu=Om|M ~m^9N"D:LӞmƕtQRMvaG;j̵}S&j:(jV/4(z߮r' pUQ6?vq8qA uwx$ky|/yhRWbN.fw_;٫)c0&g%c ;'e dw2ɸ.Es-a;'OKn.bˬڂګqb3οUh1֢Zr{1}>TC,>A=+֒rJYl6 Ahvf~jz[^Sn'XN<ΫއzBClޙ4ϻ&][_$ <]f].c ;{ZڕMoO'ک"9u 猗"a;$MP,"def Yت!6wh/8t/yZgc:302ش9C؍9@P#S8l!}>P8$~ƾdqIuk'fw͡ d80KrLPjHCiYXT8Ө6.C93 % HOL-Analysis  M})k *[Nw,]P8=iAOuui$k" ȅДu"pE.q:xÃ8 j 6L6 a|zOA6OOt`{ mۡUna48`WEv7u͑bBjVPu%c^s'&<ވjjxٵaB-*m,~7ǾG#G` mv`Dv.Y0+:<:׼$Wri3'Q(#A#c;2k;_al 0VBV eΟ'{5A;b־O%Zb!Q'_`1pJY6Z? kO,mP_kg`6w-WgٺZeixKXLEU9Z \.e\68z9ͮnJ"]ؠYrq4ɬ.Vn~HE]Bw+>(3TS%6= E,qt z{Ȱ^^Ea$9 x*rXxr.ל:L^m/{Ǘ]ƌރ)_H.]]Ma#KO¬|Xx> Vv<h#KI5hAdG@ne!ꌁ >K]eT6>ĥI4hzLQk6S3+,` %MnÚ;f&^yr`T޷}H,2tqbҩq +X'O O8v͒r?G1{S:Ź8 83ޠY_knU? D8ҷDMC%ALwC~hh|ܷX p { a)#j]&WAQ`;a!3rV(iϸe|}û~GbB&0Y#Cx@#f`5F ^97xןx~ 33Ο$⢼u+CfsTnv)=1Z>!g ::uX4TVny#M#d1QHj)X+ NF$RW5L]5hYSfI)8fLr-0fqh,J\fm5Q=aQ4Ĥ6CJ  yVޖR*tu2kEc@El ,%:3iX@* HDpXToTYN5x$ihۯ#htIa r[CH઒D^8/ke~oƸ?YmP ^fQ,ev~imbfP˷:cP9hD[C ?HYu!M 8f9@xbNf1@/>c|PI%@V tۡSOy8vw?\hNt`-Vg3|Hxb]*u.ʜpN=AfȠ$"flw30& Yn ,2"J+Yao;!EP~9 6$o zaRRj7}^%c 8[Un_V`q@PrS ۙOVg3.L\Y.T.-/zWzO">9Dz+8V)s%>Lf9bZ+aU [t0}t^Ff?I\C1N}HS/e~>H LK͓'YۓIieʴ۸ޠfLWt?X.*Kݠ0ФwUf1Yt=ri<[5\W_.UZĦjU-Tt9D@i^]}9nN$f}Z/1_)bFAtclC`E3}$U\g*IYh=ǃakGq60 ۔e>˼>mSJ:A_oS3zw%y ek' c "yktT.JhT}%s }GXZF"V3scyί$m5Xɞp16]21=k uT9,ph8.PkS-1%RK%(U甃c$SDASs*ӹ:;IJ8x&8y}|`np25'SbJv&Yp]֌I 4rhCقms"Jop@? `?~൷_)uC[/n TT&h:F~a t_Xeq"_Ro)Q Q&,ꂫ` f.ڭ ]|+٭vUK%A8$SAs2l֓~N+f=@m!;6l橿W e}$زߓM; Ө%_B-3_q =@s~&-%>RtIGm)YW#^8[24KPX]S˫C?Rpׂt%5 [f,Ѷ zkJW: |ǓwK %7c1f-]Hű|5X\&͍ɚYFgA_s1Ol0QK_2Q#, 8e,{_k؅pD NP)iS* @77ʩ5>15cSv#e8"s,|KB 0%^`t 7 &_/[e#u *@ybҝjB?-O/ȧe;"ZHi 9y7YT3EXr!Ol<(p`,vMdюMž% [r"@EEмpAnl lFp5+8#GK2 ,1.yDƙHȢ&'ѥk751u#IkR-FՆ:#=)>:vTBMP, )/|8ЕdIje`OMJ̍L\͋#ݥg9^]d$O7rFkא}dPnDnbKO6{,YlWBs9{=a.7N-FFU|$I@Ӹ.LUm%SY݃DB'XEܷ3F:TJ̡ A0,Mx f,.T./=؛yc<ͫI.]Q׻:_m3,!<&Niy uQM( 8ՁbMqyz%F&jƨ,{^&nEυ6zVA?(3 =ۑK}2JihƗȂRȍx혖S6"F OTX72փrh3-*I"Ӛ"|*ӧMaX "yN7&S&A9t?x;qTM׻LQc)|A~md峾7_(NV8Ȋ-ɔ%"G7хM*fhb .(m!9A!~t]՝^ "ecJر Do%^6w㆕40+&o}GL }O:"Sj!8윞t5=wj_ERP(ҎHX4n j㤱1.DScn]8Yi+fRZEHB,Q B e6Q3PyKY> Q3#$7 &td]S*}XPi|q.ANBD-`bM͂_2'/콃HYR`[`&4Z"Ae ״7bL\te"s=DC>21ZL)y}t{r$Bo0q?l,́xQ0 9TO7 ~5Nߍ7EUAV7|Qds7?x`Wbɲ㤷2;#g~?_-Zre@2?kP'J{ƹ;mޫW#mSRt; ăIs3;+ ~lX6UvH:&X:PxЏlbU%>ţ&lu{/++ ;Fd] #_ߦ{hUhf҇G7ގcx&7 jlT0h tK["cd rTzaZ.kKz=mQQyI,G̜Z?6ToEd0iX(xЦ=0Ctii1ժe-]֒s9ߗ CKN bwlC MQ~|#N_$oUre.K`͕o!6`7k/]=;x ̻|cHnRnXmqGu6[ABb)#0Qo }+d/Et4\(yDPg{O;i[@gs ,O8xJ3[k|^? CXXѐ܋pEݖf n1ULOSbV=$&`.ڐ rivIY"Z>KW~KL"rV0P( lhYS-16G{˹q Gdg" NN J['ڙg#B(cVJQI$yيnv}-.Nw:/ QЛ"JlR>M }K or߀o *Z )WMRKpv,ǕIIT`XJUojYlW!^4$%d&q<7AРZ+ @̦[ ;JaJSq@GF=TT dkA$W.8}'QsxF{:w,>fuO2 sD6rp>>FY2W䊁m<0yq _vM-䋽ufJ6Q':~z$\bbd\h2eI}|y {=Mvǰh7UM '{y# ˴ X&ӹ(ΌSэF5_pq^}UK'Q{ adƖd$uK[9q{ۀ`~{6$z5R4я(~@2zt<bmw ŝG#vؾ+b1e:AO9[rpɝK>PZyr b`EmWqZL[{ǩlݜ3{*#nvd&kbs\옱l$ϠlB.X"a-.3pD#?qbiPG֢t5Mj+>?:)k̒XtHܪFo1g.;&?.6jҾsjQOXKGXCG@l7Be@-2W)cԲt ~CLw$'LG2kDdWl>yOdn{NL#.Fb1]5y3V:Eτ<9|a{>_o|i걐`61Iђ mhςɘJ%Z}Cd xV\b!En;WgQnoUM 9Id1 t@EQ8\j]rp0Ѭ81+DqEخ{6+ _@lL1\ [4.55ֲ]s5o&wQ,$SL*M>mY}폙s/b* dLDܔeUt_c 1fhtQ¶${K%$aMn~ ,N7^iⅧck@Ӛt7#n!Vt#6H~Q 3W̻q /Xs">X¦@"xwTG=Fp$=uoW%aQeX.E5BS&hz~Y[(!oԔę/tH ^6B hb$3R^Tb15HtzR {PgpT'pX>C pXhSząՇq:uԳ2_o/ד|,UB?8\]]"7qMkuizU!,g,o%ulER,)&K ;գG݅z|}Eh& <t&^Һƒw\ӊb*M(+٭-wehHA 9;A:7>N+Tr࿴FbGlO+ tCfWl tZ"G2-p׳TKmq{0q bDSӹa/y:q9o%Q8>x6e肂h=EĖlI:N|)Iv5[v0| !NcCþ5a~McB\h9 _ /0D2CNcy k2Ί!wQvJK|wݱqPLղhcyW[nl^o m` \#bcIpxFk_s_-Z۠z'ڠb\<N)q}uNΞѠDӧjU_+աYk|7C{FVuabpZO,DG<֨H k"}jv?{_ƟIeuinniI#֒F~w, IyñQM}M: "UTS 1--gU-]9[MfW٩,1:ÞLFq( GWzzAҤ-%Iq>+ '+~D~i M%UtP 03̯җi9 e>e},b]aKH@}AE/$z ( ge~.٠:*m=.}!t,}>Kaiwmtx nf6*fх^ L|>FymN[i+=ܻ {گj- nS|UKA֏C­*H&\L|cԴŗ r-xKj$iSЗ>D "w+A18@Q'?Rs\l̰~ѪŭP , ™S /S׎oTe&]ĎuB+'!,dc`|5WQ;(-!D :B:<@v"億YPBmkvҿlS&=!@xVo: hq`,tj" 0Z}*"zϑHHL!Y7%n"q]|k iU&]צY:5䙟ۀ8g-Qw5gt8+W}>I sc\Bkǀ6_dl9Aizs4LheuE<$Ѕ)nߙuLҮSnX/ a{_2X&jPMa7c]FZ-4['3CEjQa)̵S)dv(yſy9Q_Qd-("@Krq&Eje3&IqPE#ZKr4q{zI'hbr(P>B2^$ajO>iM`BR%)s ̚)AB2.$(GꀕMT_0)w5=œd <ቂ|E[E؊($6i"}J江gEWgptIXN'x-c}PzMCUn (ӈƉtRp1mWC,54L(Exm^ha4ybWk%N: .-W0O4S^ seH^Oq;$Rtd""scΦs"=r8a(vvwUZYst*Gx>(8JթLRZS2¥7E̺ɖUduKxh&d@fJ矲K|}A!N/nq/|lwP%]!xrJ)6)]'jXոkκoz6a^MO>ߥ_l1#NH^\,BqccΟDt?$|K?Qld6}P}WN_iuͬ*o3ӷWtu=~6;!_=#ZTW}ԚzlxoRr8^ /-ŘYb~lpD =ff Nf_poq JlwK "[OJЗi$es)w4h[EHf`zn,01ֈ % isxyNhwjq+) Ԃoms'X.E`!n c^eaBz~J=X6`!Lߎ A[uDc*M3(OGB-m`ZA'%@C+;?^/@%NTI,# t6Sa };n!v+ǭE"wӌ# _5ԠEqp&yx5BzwYVV*6=CE^}H{0L!? %NY& q߸h$RqC{3RTyiK AJmh;`FMrF.')&#;WM }%xY5ɳoUs$RU798Czw3ڿ)'C2P3']8=GŬSU&Ry2~{yE}MCr':\%[ h$» kTx.fj)w]9l0*Sů.2t%3;=yˇpq򿽒ulݔyhѷ`F6 КJu;fB/ǔ%ov˿"Q9ΜZL/1;&y |(cG,srTkTU{Zb؋˵ZOv\Nl%-K۬珈SOB7ڇx {"Rm,U[P t*\u2(kT%Go`x,NR_Y5;{H0M.*#R/=A54k E*R>ȅgp]g%Eڶ%Lytv,-4Yӑ][*){`z2 {;z畆g &yR͠‘)uMX8ݘʛQ8ޜnPU'wJ01G~麻'`}:[Cs 2^8;?5KJuS+R] -CVp? eV(Oɛ'CZA'22͂%ml㸓yQ$FZK7!W,T@0]#FxDXdAVr7KkYm ;hlt"1q2Ci,uB?C IKw.^ʬ0.:)7@ U9C|^@|nKw$l.{׎a'5=mDX%EPPP[K7РBh2~շ$c#??Ϣd|%+Q;%!pڮ#[e`̃P&pF 6hPdfGRuRx^!ɺ.[."E`h7?y|121JdDG Y}mY;EXk KH^&Zkn'۝ul:n 5g^ޏ5تxg6M81 X-1 zɄvZ'[}Ga٠J?9>{ZQ |narn($0% xHU0@N ڛ+i4>zϬ!ݣ,ИDvr<74,+atno.:=YiS&pm0wɵ2"F 8ɭv?NRNs/:+ ׃wcYRRQrchg}Nay]`A"CU RJǦV!Og#%M/ZnIg1ij^|Oqnpq50~ʷ:O!5=ܱ>~QcaIGRtmIn<=mJ(\SHg/z5S1ɺ% g"Gt0BQ39ЁY#:bL{%_&̷(mYZ9|$:j]SIFDPgʜ.qCNY;7!mЋ |an~N!`feT}_PO}׾"jF j"dٶlKqJVaz<<|.!_[+DpA(5d039xڻAC@m6yRF0R7.E6.p.(jpoGȂ? #U2NՂK҅RT<]9<Ş 650`>n 3.@v ,L%Nb* 'ظ;7 LaCq?1ySUvľMw8F%w3n:%lK4Ϡ`b,1g9F6b!ͪtaN[K!#u^;+Od}` |Q&PU$+ aSyRB6^ptph煢qEZ+?ؖ:M8bϢST4Nw1*$ 96Bמ\zjRV0yo(jh~T6xȋ<:M2fڥë0) BZs&6X='<C`/\>(CbK 1ԣ)M6сLB[ɝ)knxL,x W$t/;)7U *k,;.'yBy,] 9:>0D\~Lygy\ե˳G'"#\R㱄"]zWZbM&Cd hiRF饺*1k=G^KlI ޹'%ɷSx~iS?խ񛧁@,+ykg$e^C-ZtEQxl%NËk?;sdS WN% @<ۛ] /@g݋DX[h0v n0E0$b-0-~Jq7>`ߍ\IvQ }b"l S&N_Ux#s)ǣ}ga%ɕ٩Xnzdvx%o<6~pC#c;aq%&"d=lmXl.L(/V8 *WFT&&VvlȀmFжbwѠƾA9)={Ćߚ[Ic)nƒ0\I2EF@xq!h`o%b&ƤLi)%%n߰J6㦤85#=Ui5`0vf«G5枢Yfoa?YN{z!-c]0>)뷐%L.PfæX #H mӈp 5e1R0p5(}],wE:[e# U2|A aWz2Eƈcr}E/5 U)K~߀ŇEXpJ9h~˫Tx<ټVQ/"x\m^7kRIɗUN 'a2&ATsf^Le׼tWɌw'QmIS̉1ٕtk%f1ԢŲ0h"zogܘd(y<Ҏ }B^=:9X.$סѠo鋯OF4,DmR 5u<lNHKq/}.=?ΏEWl4$VǂSB=UTq`^,ϽƏ: [6)p´cG$yd`ިQ i2 *HBPc%ujuŮk5gYZ7zXZִF! ( ']ŗXiɟ1˦r!cHkMeBd4=cYd"9L8 \IתR-+R{_3? f+q>4iIq밗mn4gbiW(g2*#$hJSASCL7).ϴbQ%;껐Wbr<@\CׄmA@b8y9L 8p}0mL{AgT? Z֝xE2cGS5b|dJ$ʳ>.;]<€ (klR;хvuBsw>]KsىG8d TVo+ePN". 6興)'I*E,*i&p*& EU );pE[ɹ Č'75-Kc3ӧͮykGo>VsVG'Źte˩pPK]19nR|r:^.h=b_a ئXDW/ nBP_k{)@5 MJ}Kww/w"=K*X|dW#~ܡsefoL qI1hL ܌!^*E[u5,PR۾l#-J@7)|s/PnU`]줊sLO4Xq !xnNc @X9#< C8o,AZң?WAf 'U Êm\#YӋ+8:HΐoT"@P=nYOy8DWwRIv⒃``+r)15Tg$*=hŲoQ}y'nB^[rџSٽ+5HMɞ"||@ѩ0\w'TvyJKwY PKq u*va *2E^kY@!HN1[ iE/+.O0+`P؄g~} Z3^ c%ro ՓyY9vN&DU՗IhOPaWGJȐlHTtY zlcj/o %50wC 8b/'>4rҸ{\BACâ}ހ5t> ry5D%(Bum;~{h4݊jz5FxSG=vnS4fv^VvIW#hH *7M0=d<`D6+Vp> ǿPzw{vC x CC iO:o/5ǍYβ-75wRT4ю5G F8DK- 3\1@G3 K|F UERZ Tz `Wn!o_)4fЄgS; >1uV V +hBt@>mXp>YfhR3uKT nex͇m!,CbJ4n ]#kkO?"QtgYZ7zXZִF! |]ŗXi%Gl$b빴W*k0. !CjDʞ%#"ܪG|MШGqW%KQPUO5: y~%>'"Nc }9g- t _1l\}Ug+}Y> pٿ)<]NN6Cɧ@.F0wC~r/(R(Gͪbv~Q`ß5i{iiWn̑cD]D-J&h Z )1S !j*,i rFH/C}бt0GлՕ d594$,8*5)ηÜC"r%|Eh2{Zu"1\`߄3 < [( j7rvHbm$2/*GR]HxT1'cę^,-5Α֗  挦EI®,,}uU $> F{O >A,3*B{cOX<@Є Vmڃ=m܉ l|_W2sJHfr?EzI0b`l'ۢflk^ਆApr4^]~juNoIbdY7ftgAovVd~![]y\*5)c_"$KM*f3BJ"̏OG '>՛z Mqj0o4T#ëz-zS2}]S>VX)pmx7ER"l9jhZWzNqppG}3,e1T.'-e4ɴ_dY|N7c{R@ۚT|2"-_dсtH~-^{h up>: xѢ= y*:Sqj.9S'E'QfCU%r"!- /96-uG?M{Wv{YٷwC 7ٹFo)֧fGFF~~&IxF`_i,${V6vNKO&KPV8&vFr bI3xZaFͣؼ-Uʣb{į] OY;Erwޅ}سDr5]a4E[Z/lJ JNgNeYQsq&0fِeGÍL9qq -Ы2<dzJ@ɥ/!tfg7|ь\Tt EmCEqNEh$aR/z{(-ˀ:;#G;QaZ*TWHDhqI$a|S&9!)_̯G$P+r%$})v;.AJ5,CFT?4S&Sgq IO\͆8w-/S2|;H:^mЏ5W5Fi Qפ GEmwq j] Ys?W0H2TZ=;=iwǵV #|p:xx XŠl2O1- (x9{*ṽ zΤ /1 =Uϡ%\B/YHOIL jOA2 K~vf@5ݩw!vȬ4˼vM4z:Ϻ"v77iI,)>4ľ$֐}6\ #Lء~*5\0xSN`:t֢& rx@/Ǔe]< -F.xR,,.ovʿYn0 D'Xe[ 6Џ)r#Рr.Aad,(Dk%cM+>dl4 mZn-rgr =ڏZ eSz?4'J$#P%uC.IQ:fbby):\`%?ʣhb8Kv$3RW&W˜tz"8C gw3Y ?~ o' T M' z/,f>?wnX@rqŦXIqIׂ4}f8~Hpڲ!=엵$𗯪hJmD|өv фg+Jv"{vv݆Sf!革A+r)W^U{tܥyUq=Y2j@W b&Eޮ2/'f JJaL1QjYN:zb }Y \E7 f94ye?drJ sΨCd|ck2xPzNUWxo@+>؃`N"tnpUD{ 4U}*c[E3=E~zOӧE$斗]ۤK1&D/eĹ~2o@gBğ4Mj3?a< \AJE%3]`mOq:DƥܲM5,r^+UfM:^4"d03} ɍ g0B/xm'M8_Y7-8}s,~w&MP=.<쉆PX|{zt}VɷbQϰQ]hu:CSi=Õ$ >1^9˲"?,hHoӗ{߅e99Z㈚yxihW&ynhHr;tG;<>%(GxR&%"hefly"CM^^,q5nϳk@qq_[g* A5Vb~}QMW뉵s.3&r ű Q{*iTQۅDceJ;2u\"0ͯ?Ah۷0$BuTNZI*b+B/BC7-%_(.vFx.=J7!V py7Sң9vX-44ϿOx_Bk?dH:S<~#^Pw:QrP,1D9`TD~~fϠh>v)AI]gu ';r@ޖHSDQkӤ?_ luLA - nn˯M )ݥ Z~{MF䲸;T7p(s2hRb=0Pf}\KOkQ(32ؗ_E$\sz Q+KNh-ž=f%^UZx3FKdnvf ݃ͺMJsLG;L[P,4܏aKW9UTn+OѮќ F Bo8R/Uυy)̡7~gK*o $%v"QUjږY!;< أO3l}2_0!? MkR\<Ⴍ:k.<,qa~mi{+m8}4`OT̲7;Y,j^oIY${G+ =to!Rm.ߦ2A)~<rKM.W-Ƥq?KT|mG~}ƬXjٹ `vz៹+Pf%c5Z_@A 6ZIau<OTSJ*&}|,|Bb੯Bo59T֬XƹBp_ Lb z,!1OlP4 Ȉ#'!9w+B0kO5⡝[o'-BBɳiyefn'k -NW0ɞ4B(!T$u8yL4G6vE-3M,;ȕ7&:1CMg|(J x(u\?.EfJgB˯h9KNx+C0)7/c>t"Zh*T;\. $5NI[PnfVhXwC@P.Ye*mM1(Ϩ|{n7BY(8dxh/4BX2ͪ9[Ґ}X1 YGR8d)|ͳfJ?cmhUb9<@dߘOSm\"?0CAu< `ߩ0ްT1)BQDLb#Iq=QNw H8- LrKй1Z),/r!kR3wfwef;?FǔEHƪm9O0.Ai?Fn gzeh6)9ZXiYW [U!}2/IOfpvʁѠlRv9j涥|2EnBEJoODʞ1`ས/8Ufş,8M}?{,0o'-=i4FSS,IzU՚{!..IwszUtvNC$vqqlYsB;'!9>ϭ͊J/&~ٰИ䤈ȹ A 7PoUr|;etMS[kN{M?2[Ϳ2i17y:٘R͍~g(,^.8Uwah<; m|1UyiLī9TZ87iB'Z9fڔcaXXu+. 68Br΂ ;S)^7ĭOiߵ@<è Φ@*}瑃1z2Eow|WFY//Հ R:oW4,U~C 'E-]xl4yONfƮV/buuOXS:W2yowFtT 5$^Of ︢&@ /IgФ\`h>OQ7+>8\ԵUsU;_<4]&":SCD,Y w6(Z+$kTGoR{_G[#D'#_SߖHVkUt(ц#hf!jΦY~O1;0Vާ̽RmBi_2}:EVq}1 B&dvwjUlh+Wnm(3}"z\$"4nЖ S;{\VZT%xNd}+oE b״Dwx08!iB cxq@ׁ~bHaO1Y !@ـYME>5EdsM~lYEAӤ S! ^/@$'J:$4]ҒC&ʝN> jD8MŽCj*_+yk<ʵ#l (*Է߁LDȬ~a ʠoǦ9AA۠ic1%+7 ><aģ&XS Y'^< R ۃxi듹g%ZU`77R{p~?e|/=2&8R*]5Y_%i\clB?eH+F@ lXk|?Z_aXH/m6Eb!PFDՋ] r7AL)p@SMd$Av\Cr{C^_B͋fʶ^3WǭAzTm[=I gqLM!LLl}{*(3MTlT.&|^?q|ovUՕ7s'Ȉ qI;oXq`T 6Ĉ}ɩ$o'܎bc+}o{Ie'z *x5Vn4Oo|IQS]'ᬿcf2' Db3UV.BvQe5VOvO)\k9ȟʽ]V Ewp%XQNZ3, k@M 떼YVō]$ݶY+lwC"P{bLjXvx WCG$ d9C rT?թpZyE1NMbzpт&B{c^^X0lO?h0]V+}c2h~gL6>h}(mq'8No]@O4KZ1c<ٰꋀ gV$l6ttݢaUP>TmX QhC#9:˓ι7vhlNJߪE Wj dPV`lHC@f:ǯ%t0W%Toxݨ>ۇoӥN+H̘⛾mO<}|/~̳%<Ǻ"Rkf]A Z[hR:5HH+d&hJFWE|dc2aѱO3`* S 3Ѿ}7fm0sZi79.C vM7vX~T߰5"q xeu {kA|/MS ,P:H,7: <'͒S(,5JU(8- Lݝn_y.f6⛃PyFrJjI|s*> W^<jfq`&=*L#QW8ѤlJ|-+X`#!7QyFz;/9fioW֧cF*~Crɖ/1vܫE<.j  AZX3TS}z>@{_[/x}!T7Xg0Vе"U59CK+%ZLOPSj}>9² [)^yty˶hmlٔI®·ݞWW< vWz !l4tw7>o >:>Hd1p1 p|1y {>5ԗ{#,hʇu`\UgT5H2[k?\ͺWmfRP kj}70xJX^b!h69AzU"[8J݀[@q%Yej#5dkgR(!{ |8hcHhcq w x@ ,&-I-^%Di<3:\2`>]S UOD_=j 5;9{` VF!m+X t $`XFQ-oZf!ell)6Eԛ2 1ՇBf#&8iCNI@~J 8X\+_|%Kۍ́R"f eiEr'0 fZ[ЫsB`_>J#di1a^vHQȉexNNj4'!2S.h@`thdꌌ:o `:[}MbH)0ckkR8T)\㨤-;h9MAct WxŵlXT>>eܜq½+"˙C{$ݟXh͞c^hEer> İq&".}# Q[#qv!P 549F]Xog'UEWD9xaZn:!qYrɨ %H.yϧ [ēZ-U_Q|jq٤n;$m/*j "7f<ϴq{;,oSr"Ͻ#T Z3$ubtu3!aXNhAZYvlb}Q؄PòΖ> ͓8Q (UȻpEtG^u6b2"XDF8>Xy-{.}o.r x%U-GQ%%JۿoQ`;] U*R蚔{R:9d&ŠCȣ29^hW@K1o tucA,bиK{qOxOkSsHIg abð8$/-:<ڧɳ#`5!:$2g!7"6LᆜvkjԸZٯCs2¸p;=UMЙP[[6X$ή=z0"k$8R7-qIwMm0nW5_k4yy;OolIgY/@OQ0d{`pBz1-Kx@2Û_<ɎTZllucT#|gY`[tZ[<躃TRiX@m ?mlw>XXdF\N_/1'}ʻX F4"FZp{ % Ӗw4vv{_b k8 v%Gw|qQ\fACyC(sc`B{C<}%g /qWN P_9HIM;s0BhfR<ʄB)pDuYWa*'~ǩRj|ft6ۀG7P@~-߀)0 $WU* o_Yk˶I?tp=FWw_A,C&XYa^ZO30 xzI pAu"‚9F2|Ma!,x+oO{BO,&A*tEyexu$z̕zR$#SK0j|lQ 5ӇӈPX+uΤWWNr!>B~3yWd((dObyRc\!bH#eaz|Ŵkd}\;zQ vy սa{WG*S&G֣`&<\垿enO$X{ZVa{ DYQ)z4QR(7KKvש_] gގs7̥!_.aA#g+*Zٌ7o5neTN `@( 9+ 3K -^c:gzwpxq!L1')M ߟ}%aHmzCq>pU$;o-24بɪ a1Vk. =6nUd2ިOB.S WFi%G!)M/Uug'lY(Yj-[돨a4@+i"34G Mѥ1AIX{rYR1RЈÐ<0Ϙ/֮|SR*`[לAX>mfH( Y*RNJL|G#f_Popo#t[8L֧wTb * yK^7M1{:YMſϯ\vSz,ƵuOn *x\5Ttm03`QsR+wD]qs. &dBhaeedJ؍'$i }!|2W|UPůʓ'/h4źGЕ&ucZ9՘& Qsd/kH UA) VnOt6 i:*ρ9UL .N(awH;yVUw8A,!Vz ^hcзmאWc:ge;;}]|zʊQJ&lks2B;t5H_A6X_En7.?]28HIFOCp U3xLXXzh`³MZC(Rݨ+WƆ*Xqrs k#m#{K.SX+&9~j7ċ#3aDh}^pUʅTiA/~Wkt*,{ !TW&G6 f9YaWw[1z':4s-Rc&glk6 !tjuֱt]ta&թÝ*)}I>YӸ=Q1Q…n.624 zS P]e#OԊ&ǵ7!-bDTo?JԌd|mLOEI33AjTdYr2_Kl瀇wDx%{GU^z\-|QQRaJ Q+DlF,HNP淭/*bÃI$1{|-sk'\'L^R7-g{_ئM/ۉj~ 9;k:ȭ`AU,0GU^?CQ: g5Wx إ?캺l0{𰆰<)GNm!lӓ" s +c}6n ,liѠM*8c* HьӗhV0wX7 SFoV6(3kdց>[Կmlu5 va"t0M7?ݽ$t2r&MM 6akd'J,մv Y q&8قH:u޸.?Z!3."; f؎-dF3 .uQ(7y%cDY$0ceEn1L2TG〙%^6Dc*=PFզ0jкF8 rNGZ 25 a tICQ!;~25&_hQ~ I,qnc]Y_pTimq1ÎCb2zsa]tvJ/a2R#&jjƅ=P̘Fnl%9p+~a%_Pz;%h؇ZgʉngbAy/6?XtQQ- ' em qo00>Vj9F xZ㧳m&g- h):F9ؠ2e4]7夵⫼!K]f֒rqQ"J^k),AD#Hj@+9ҸR U.6/ih,)ݐA{2ÁAzEqv71z+/Gj?!)SUJ-#qHj 6"/˪Bl*-/5z\5>ؒj؂,{jQzױhcqh>0/prX4yM~t;/guC\zg^_i(U.-5wb!{XQ~m~10Kj$$,sMշh!0 ADMz˕L)hr/` ?8byK*:kg]8VޚIʱFPTj1&K\l1#NU !F 36gax3m' JgfB+2o-M!-lI1Nfz^K:#? 2wP0 jx}꣹en,~(sׅH7Yw@rRn\ okpejjC&{K *3gE?/{! N~WwX{΂35nL ;c`,%:٥mIAmVq'(aOʁܸ~D~qL5e5ՠ;ep7ٮܓKτD(b@ R 0bkJyP9sдݷ߲Ӿ)Rz~)7rNݦ瀯|ܐrm?nݢ'ք̫O^z f2!Pg,m>e-*3"QG=6 (Zy!*R j, t|%ݛ01Wa2?Z+ҘY3B'(㳤BM7BDBZ\+0? 7S6a[ȸ<1w)Zl 4͏+K@Rpy<ҿSbUHB/`0(*s=|tIkbt'%EׇFNٙNhxKI K!iYf,;sE„Q-'c" ٯA=D饽#0dAEʝlKH ThY *kZߚXz0KJJsrG'f#6$F{[5\u0RVUhMR,-7g%d[,|w,E'y\ HO˨)n > \$0Gz}Dڀwb@{Tɾ|68H kީɡ+FW]DCk6LaC:8رP&`s>\*>P89[WyHm Mҕf\ҷeDNU6b/O9%Jyu{Z]zV7fIįƥPABp3a3RҹƲRku.r..-jS*pƔN:fz0h;ǁP_}j.vk35迲;hݘ%:3'7pUWt,`R>6LQw -&m0̯zкmሆH kb} ԙCuuqL9\Ze}s*9?>z*bu&l&Υp0 j]Ҙ~71wX ߣpl mF'QC$?#'\6WhYVQ̯m@荳` Ũt]$1.H?a\|Z81)%&+{Nf"Gc~zzDUl[{sIPQ)im~$aKS|9Qiʺ7ė̹x~o@ HCьOۅg&- *(tUJϤA583l4F\aN[/&`۰ƭdKFי~7ŷo%3rd܆ewD4EtV?@پz_墣ƞ&!r5)+ɲz>OJ6C}b|_yMBF#OK?l)D^QOϝ5L,JIa5ŒB!P7h&5MQ"H}5.E`o=ANJWi|ٕ^2h,ǒ[XI"kLШ/zu-qakFo}ly5@l)pOY}˺0TՑ{t\aϟZ18=$=Sm$@1 f!yQ:t@:\DJe9#`xQNww5Sh9Hm`:tcb%D+t.ng0Ȭo%," ] ز{}o)/ib:͏;#: vC2"obj$h#hkSϒA(tsT6hU u?-ip#X4hܫ\zzHTs1YaxG;%]na}qK~_240NAw'@EzgL=V[a W\><ב·>ȭ7 0-Jkhv:oe<Uq`,)?_VZoQF}oxQ*\x&5)-PdN6-y$(:5 +;B,NMHՂg ?qq \ ,Qٿqí-u1__987 5p7/O3bS4l%8z09&X@DZXYympZ5+drL RGZ(G.F5_c،H1Cg6l^Yt&^r_ζ^u?õہݑ XVɝ ֭$JkN{ ^ f?tIpzT]~ݕbLkWgis )Jf#xb{Ʈn]%ψ](W?)59STGPR?hV]tBdRyxi ( L%*؜N!>~_\wvk`%Z5Q`nh̲=-8Zt_&uf[t@j; 6v|tK=i O8GZiV)M _j7l:9\Y}x';_.Ie+wà4+{3m13~y+bUnuWQyl{DMy2NfKATk-Q+u:T'?V;-zQQO 4(d9E.}sڷ*θ:;|7~ ykA@u%i0@Cow Tߢt"#yh! LYHtC>f%~ =)Z@)IDp3 "CCmj=91tk .mhAR )~@5a*R.”zFtdY.IEGOFGFOw0ثC7,|6:ٞbrj S¿ uong֋2XF~ݤSRiLgFovam*@Piπ 2 ,z2fටo<Ť9]Xh37Q~bVuqCe CPbU>&O# (!VUyq(=G TFon2K[ڛhbb`#A:ĊRH;v5 }Rʾ%۔,cSRQ{i LIt/ ʮքs w@M7D eW)oe Eỳ:DgQ'/Ka cCdd$j=8L%)ӿگӥ?֣#$+ )FlnDh4YlkD6tG7o#\҄5[,uwK4$``Ar$V $} 40;覯0~< T1q}m"0Kz밐F$pް`O“w?-X?,ݴuLU*f02(N1h"hoo wQe<} @f < *FCZ&_gEۭ],&Ïى2 4Q^wd*lH[ԐHNi97ךq9WX]FK!99 c*Wͬ;i#9x:28{H.ZvK?Ɠ&\pӧvr$ШK n>+VBQ7N$u|a>ݘ E\bjfNyzS7dӡЫ z%k,lі]ꘅljpLكPah)#8< ܸUo.*'LG\O=(p:rȗOm+* $꦳V/h?ND~4St{#5ŵ/$fgf̊CÛ@q.|qj[8o"S}Ӏ [:NbxEaBh8@>(ܝZV52-FԨS:g hjOM庖@{^Rvn݂;"cЧ̑‡)1qݖWM.xRC "bby~&t OPfy\E.3qSlR7t8;?I r6'%>qwfUBtV],')2dBbVw>S^HLB1l>L{2W7ua#u&3 pg!ĴkVHWVA.ZԐ!Hm8a7rG१H,gh A9|VAZ$"Sq$Sqh,1s>T:20uglMQopۏoi'fH7=Cir[%gTщӑe/7;27MGni*8meAh>}.Tq/l+{8j l ѣ PsǂZO/;)d?(`lr)3mOVG_Dn?HIjஜī:_&{ ԋPr.Yu;^tNd5kM|-i Ԍ0Ǝ%mfVfW]kT/ GPFbD.Df8\ vJ`jޠc\Kv]*.Dz'}&i2ѵSH0̐I/7[s`XV\5Vml'g}V}~:4 wRu^1`cEatS WJ 5ݐJiQMjN vP֠yHMp=R;S5!K'q0Qd܂M#8GpiҺue?*) JDS]s)K>0P 4yW䴥Yv\MÎUSjve\1-i_HjI"z(=!_9tnz!f6B^OwGb"+FSy|O`nRmfP1HG;NJG4Qs'Q/W ᾩC֪zq~ЅǰX紁@>_wƃ2P>_). x)I$W5re׺A|Ka]꾗'_~pob| L;Ya.C;}>|?8xQC4#PZZױz2\7 ]i)w5m[XzR${iں &*dr{`"^H'7Cΐʬ j://zX L09018GMv,\{#_3.8`~7$c5]Z꺛ӜchuA|%9b0 h[!g z ۰l[͐%bԾۈ*T. tx<݌`hjjiGtx{[b,cɱ|q=Ք} h8ݡæ< w"98 y{k{.<(jGO,} d޵maNObNvo֋i1?fY>_fzc:RR@$GgQ9FN%56P6̇߉*_G#,Jy#ݝ>]NO`Ah`;V1w+?a.t#d|V@ᬻoD'E@lkXiس1U͜wRN3BY Si˲d UȢ|2XOj(hڲ)qյzYryѭIiF=yBUyNHJxD0쳭)D%h0𘗞Ljo*Cܸ]Q?cUlY0cQj׼Ur3&++E2/iPedyse6=֌q6qnT+.z6gn77tREJx+Ȧ) KĆ0msEs"l?gvP:Ou^Xqd'A2guto۶1W+23jEJӿW<UUؿ(^,Yʑ@#= h35piVn۹ZZ!j HhQ~wv ttK_Bȃh᜜t(2BW=u 3h@VAPSs0l9讍0C[XTs?a/W:<Ԩ|m\V9n`;ǘ+(QalHW0,< ,Cn>4̅?G7h/y&gK`et=4ŘZ`miey(͓Î ;1YBY6>ZBJ +Ȓ1laIi.k>R+!8뇩PT ̃&}ϑnщq3Z ;ԠE.0 VHu\*ߣ]քBqx ~ᗣ0Bk$ dZO-K?w?ioJ6K^> /g7m!ŠE 8zsZ8c^+܃ _I@;2Fj:qѪormL5}ޯ$j4qM{K Vvs\ӎ9շq &NUUѣ9"a Go%p;<:&ƈ/ Z"pClh)k,۱8{…=u̹ʠctjӷ'zN.Plyc .e̒||qi 6kR*5H% RN\EnA /{"7I ЦuUD䄌s*EGGB~4{(c̆ʄ.jR=pӥÔɜ]5yWP6S*&[E_FIm mZ~2=9 oۛV3&U{#0B^DS4"ۦB /(;SF#F82h6ݜnrM21H%Gld'57wsZhnm q *&}WDZpu.D/! qqnuWki0[C;PL {C`c2 (&  >t3+LUj|]g4 7)6뉓el."wc&4堭j y"w.p>e 1yJtPヶ (5qf'.Xpj@r#1e?/bP\C@(BMx֪$|D`xe9t5񤈠3 =4z~"%+]!YX3n>aHE3`Q_*? p8Xu]WOHx*sHU*C9:{W7xy;ƺ)x~4:ݼ?f/ވqhxOH#n-m)br߆wFp~V)Tӓi\\S.N@{Vq.yDӐڐ<[x#*Lb!v/'Po{ f|7xM+S<28,¢'B3=^V@2pzAݢɛKVD*U |^U^y@*_=[ ˨bm/;W6`5_|ǫTH]PزjLV]`7xD4š2ވ4gUEKLˈŧ7oֱ~_P}q-VB$93(]r9wwǸ *G\򢯀f= : LP1:).02|̬?Preg֕FKWsO&}h[eSi"N *j:;Yd9Y; kXkk;\ #uwx-{ƒLw9 w9ryP1B+_BWЫ M k-GѥΩ"G]Ң÷$x*#~A%cn8nÙƏ_M=3xmxP0(-陸7"n`UJRNYBq<j쒄K%;<= S׶t +\> ݑ;hy'kPKHZ唳>  drOq,Id'݋6pNĩfUTƚdE^}ȍdѬԱ ؽ0M rn_5R-?atL4gnwFmo9 TFEam\gQb͋KJ +3mp_듻p4vfBsWY=sW(/vo+8}_e.:Jw0i,r4jZ˄%l