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 CC%l<| ]/]HOL-Analysis:threads=6elapsed=311.520cpu=1663.832gc=121.012factor=5.347zXZִF! lU0]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT鱨thnh1* C^,s3&Nۋ:;cY祐m:+; ^ab3>la'nڀ)E'z$h(" ES]M̤:7|PNT%y2`e[<a>TjE&(·ÅwDF8|m02XMlMzr}&u -bѾuHՉ5`[O2W.5gPsinK>klȏD(d]_6K`yv,ʡ@TO z+3([MP>abb-+(*=#&t&]l__tQIav.$fm+ F[hmm[I"xZkܕ#/ oTWZw|UK-QϦ90YO2[bAk:綁 :p,Xqɶ }O oU7[6\tΚsm&yxꂠ&oCߵf <؄29z{t X+- n(ˀC,<Έax2U$D܉L1-ω'.age jDۈ%idԄ=wؽ\Hd2kOHNr٩H}J6gzᔃX=٨?!? nr tsFŎYM5e J-+[b@^ȶ[Ih ZqxliBrV]+7u_92M p">RnvTdMfAX}2"Vr&B89k+^~>p/~U; ֽ?7Q3:4PĬ[Da\=\?B@NMV@kj_+gWq^tWI%q﮽V_ŒumPugUS;EJ|OZRxi7rr8hl±S K,mǯ,PN~Y5յV=g^ܲ﷌-[Ihs|@oj%:@۬{@, %DZT-U82LѯW)3n~B@(- pSl]^y|o&_䆘9ٻAbh;! Npb.] `ji= Cte|N~ -yd(X'#:K9<(4*s%N7(53ܢ]QC4$hi5B7dzH9yyG516MY(X߇xb*ŅRSUZ`{:?UJUXgPʦg. kݏ+u7 +ZkQK+dGfy^~0疧*ɹ=Q(w#`6Ez!?hdڏ9 @gڲpE gqzh fgF_lXw"L$pRey%,F8b2+5!2kҏ[Ye@,W-/D\a: TK;ߤNnٮ[U\gM p bvRQ6k~7O[vc58oCPljP^͔#_kj1|r=t-Np6} RՄs;C\]I1 OqݶtWNՃVH:F =N*g*ѓi7IEhxG509t Xb)n6}W`p#Slk.|^ڪdtXI0 Z`a6IUcy^P͗/ًS1H#]1N9(vϻ!1p{R @kzf>1eQ3@kWvQUhrܷ5͌hwW\j5 &_pDlbMn8qIbl5PcbuL w=vٯe UVѽ;|Ls`98;6[3-<1qW-/U˄O\eTeP.>*X`A=ʌ,v [yXu|}J 80 -z'{=PD[ wU#l(>&,|OjVXM90m63$sAXm~ЙyU_4U7YgnR .f/ @᫘L"pLPs0KFP^\4*+B7B_?C 8Dٿjun`l>sh: \9 uz+)#>/<  % HOL-Analysis  ^ 3/0|8kOچYx5LT>t u V'$#XI*N: /2z0 ;$fhM9(? "J1DJR&jWc x A0W=QS'SLm`e5g5&XRuk#Y= 09Di:}Aj?LG5 生r^: ==ݸnNӯVVGKdsX.;cmnOخ-\kگcƋ?wg#(9&)&}:=qu`DeҼ#MSz(<,|wH9īs)<6> 5"GIԗm,Hb˴VrnW˽(,K5,Ÿ>CJ`8q?3=i@'JrN֤X2z7 /]s[ ֠b9 C,A\}#Mj[/n^Ly Eqd5Yn_c,Uyorstq/>}dPGN K;:F1 $]Π>dgd-0}=d t{@D?#5P:s7X8otuJCk1l2<٩N([͹̧Z@"HkDKMwI1gz|5Z 9[GRyuBaR{S[oᅽ~oyqVΘx\|M [= զM~4UkMH$XVBsȊFB"Nq5͉!ApP{wL"v5wQG= 09$^V0ާ6=9['}YDDc&06.)^& `>TSk&R\  3aZؿEnLZb`,CYҕc ̈hGsPY9Qag}+8wyM6Atiuv4-bnA?IfA4l}zЧ({YR27 XJBk b|w/ՑϹhAeJ(wu"Ҏ%Sc?You󌭐EojQz/2+Vaz\vmԙw[wvG{3 p̽xof$.\Sb5|!$bDE7Eѵ@"[rf+0\LSiֱ(t7JJRӷ΅|97?Ea_7J:Cl/`Xt]ȖXzJJR/'*_& d:ېv#L`¶N@ dYi @ 8}W޷y_YFvn;qyӐv "Gtz:\61+Y@I[MP~!c`qaGbo5'w+O/K|tۍcv / R n^Zˊ`‰ݶ [z1>6cZbrp%Vf[A.iw+N*.n])H>sEbU \ūĂÂ}X1f]"(C uXȻݾO |cQm4ު(QB HhVDX\@a!x95G&K6^ToBI3 _Y/FA؀iB1v#v%?="lvuF:_Jh#;8%F cUW'Yotu!R~_ 'z?)=6G/`qLyi@Qs&ΒKA1m!{ꋣrnȯDݍM{vNN?'/`d"45$27ڡ`>mж,MevpC0+&-8i);[>ȧiC-=~y#__&n|&V[ƼCǃ2hϒ>&D |g޴Yu&ғẁyʋm#'WpdݣeyZ in&r^ i?B}\FeMo@򴇤y8RkFinju'V4j DyYЪ}3iб (wmVΏ1X$7<%>ۏ W+-!6s `Ԏy3 o]~|0 C6Z7$̗g|֓ގ;0*aR?Imy%4""57IPp?uXKgz+qm~cJ֪#wИw~NZ_yE8ˎPS=K>c mf;ܩ|&\Zwջ6edt]QdvgfQ7 ]P8?efב /'\/,K?rjto#gpr+C!k8H.lv2)`5b@][}5 >c0]V8ٲ_mA'<˲NUfT"~ʩGrSek׬SΫv$о!lnJP'Rqh?u0܏8G[<-W&oWcoΞNt"7E_Z} F\Υq7%m_W]Aa_Zq Z$w"^‶5Lу o@͞_4XѫKY(/;!V,V3.|Q96#>A pAAXI {V,~;3ohKW4y \u [2R?qv*5p2bL͠ ukyqE6 [Ffy_RVدKOJR 7s8'c{I|<>Oʯْ#2*6aWZ2(M⮾?[H4 E{znB_BKIxWۡ85ZyN{mfsbʸ> O\=W3wjZ|ƈp< jur!/4A IIu_4=N }vش#&Y&ҘҌrl"}ocW ^o[ǥ {bV~nX!}²U_F!A^0vGǙ'9;s}sXO Z.5Q9wS~xŶdZ8B NZ%uqKGa elZQh_$9|czԥO|ǀC(*id h/zhB|G̭NҎ:/{~(rfhdVC]*,^DNzL23u􋨍~Ac K+مTѼ6=@qJe,%OQɳ `T98' `6&+6 8W)l.Juq/M࿦יtZoUEuؔp#AVpx8X%Le8FWW|zV~fŨc09**y~32a]62N;3I^!By⼯zì(S..t (%|5f#X{eW%o 4->??܂=MtXl1ӡ8EV5W@ ka4 XF%Kj>KT? :Ke\>)j=ULA+< rzYl*_!OUcɰ}SRmrO [̤_LcGYnPϧL'tAЪ3x GǓcA+&*ȼao Da`pK\y#5k+:f5 4XHXSƓ~-w-F2aEhdrk,∢ q/HU_18 _pwA`ŻYԑ3Q>=._l)FNBe>S?>m0=q$"@6Ca 'ߏB6pVlڟAÃBgMe9~3KAN+Xl's#_CWvcvle(snxAcАzj@+;d9(K >ϼz)j <0ߌ]k!(Kൄ0ةRWAͫNqY&k.X #o)7Qls|SQu$5:Z%>87tjPcTēvChJJM@(^pB$'oKzۜY v 7w&{ /c4Q&tˈ;$YY~s1<^厹1X.s5L@6\I 6LW0#1*)o:!bU@g X 7gCk.RMǨ񞏙?'9X`΃m\6 qTG:w" |BRn.!=M$/+X{e9~UXU;TGz1.:)&lɽ`IPSg @Jiz0CX/f' r4a4\g xHwENQeĵ &twW puD?_tП [l0L!}cd3̠hP)YxO]7zd!..$78z`1Iou ʈf֎=i6zʢ",4P-FF^伐 ޹;=B/X'"@YhZSxQf Th)v>)Amg?Q ƙj2E<(E1(^tWP%CyPg쯦;҆?8(:kNOdiYLyNq]e]G*^(q?>59jЌUK}6&3%jnC|; NozCu7Ȼm@d_O@H,pC p dsh^^dt5r)IW]ƾΰKM6fO&mT=׃vW ջs/|<103g) :X5tY[4.ǿBLi~Aa h(P4(|I* op$sJO:QB:8Lob9afMBlM P(VbLJD5܀<*LT~5 HZ5mAbzAK`wIrgZ5'J9U\K4c 1]&Wuj\6u0vvAu[xcuaU WH爟 k !jڈPo+]Ř݋S6H =/J\h_+C#=k | 22NbNEr6Y:ETf5Q6P "co ډ=scOx,!+*wI |1w |d=-;?m69-tV;ƙFݣVo.iRk9OquF,U MW f#J4$ЫH 1 a8BȐyfΊ>8۵8 @O~Xd|zYxh\vd#N2ܓITl,(uβL0-cֿ*Ö+\܌6 %tԴsmm$Y)]=y"KP (>FszofNw~f{F&-`c{> EϩzPf}»usp^Yp]7ɰ$ ӉUAc^#@١m퇵\(B3P{tf 05= *R*jflG#J7<%Ii ɢă(ϼ_~P}9+mFȁAj6Β}/Vi!Α!6/ F`"!̅6J這āmw]!:v֮#ͮ|ֽ H (jJc6{ ߀LC jrt SսVhڀcc_y\u46 s:8ᳯ`᭡:HeS:S5md_%W/RRT_Nu^vjpV7ow%1s14)Rrc:bڐ8R>h ~"))>rۆ ,) 6]]Da$|1~Яk]2U+}E62g\\k;1lMښ".žw}q)UZmF,PyTk}X}f"Ʉ#XY-0$1cfyPtc#,J2x9Ȳl9,VJ ?R2p_]z@ņ#;1Ы6;2q"4+L)5_H[%;ؐ]@>3fS1̈́Vy{Md{L#U5=m`{EB5ajRq$:G'~AE_X^EȁLl\z^4{^0V8< ᴸv/q\7Bäj(ڑ `K|>g4 ԜV\Y s쏮o7e٤5:ofMbp*mo VV((ۣ` uW8^Ok}O6GnR4eȗN=| 9m^=`#WIk}`D0 6×c]6-6mfJ>vT?h,EkxV<Ǐ_$@D"%ϓACgv$i*̃;jmhBd]iKN!(: @}4B,hђ.z.rg<_]p_Uk \WPFSRDަV|fϦy70c2ΖV m(\THC5 >ˣ3/a]<ddY5Qۊ/}D:F3Pz^\)obG) Y^Z}}Qu,^muR7lVa-ğU!$vYZimg@f8ڛ*pO p+̭⊘D3pj~sקwb6SRdqј?Gpz ď;-/q[ Ff2Αme"]_VӇP(Ơmb'w p8.P3޿+1["s*4ly, GCt䨕߸еqa|^?ŝ^%rEICGLMp7x 4&qy_\_V9%ZӘ:?'R1 9RǙ vn"u1^7TKȨ!1 {`oEQoKmp60r1Wdjlmꫨ(߫oCS?\Kl,$Um;$%%` OtN,=c75 􀃮31xh8:bpaoLcs|}tO~R_mpBUԓ&:+lf3JZBg$bZ#7(fmAk)f!6bfX N]$#3<?I$8L֫LGBeP  fʱ/StCDťuvCf0!W? ,ݶ%϶XԾResv@K6lH7=@"IwUPvr͚B :F] buyOBD!#0 9@~9g]g2 Io=kV&d%vXX'NX8H-; [7wvo4'8Il h_ɯClأhy *[:Nogs]WEOl+PNZNrS) Rh!z ?}79n~rby|՟!Uv“B/30^FɇԐ2J} I 2&3O0TDLPqqohjqT֜JQ57o2G T: Kʮ$\iJXDdl+q() |<\Dk_tm\N}y ;XY ߡvj~~64%2+ :XyƂAb\KaKi eZ|$j O\.mT]Xv7/(fˠ-}m؊#SgnP[+زRQ:P^Oqy]u. ؏I1x\iJo SnU.PȈ$լ k9h-(7Y)9zZQ $fL cnNxCx+!ibtH,t'!S  T]:`="&}sDGc {Kھ};[rK vV ge"lBË*;a.io]zfH}BCQ. W I\μf!/vq-/􎤔Kĉ9Du&z (Lp.- +B]9iXKl?I铰+T5D-b޳3D _F ~vRKl~a[.I \üp% EvɖgtaRHJވeb?K|\1^e)"[]d{@R_?bx Q#oBR3o@zs@8Ö)*P)ק[<bv 4LGM]*_'*ex>@b!TJM E7}K#]вgV\`KiUb,r*Ĕ*I9 ĈZ&K [Ҡ2?Y/]?yevۄ-IQ~ҏؠhCA ^&В:}ޔ!eMpG^k-'6bu&‰M}E PZ8O@Fp%F'ycϜW^BH"iO(XHGi'|L#=&XͱhOYKKИ ܼ>d+jCwτh$9B:_Q>cޕ h)ۑiLV$/A KUho:~Gpxw,ao0Xx/I3!=]C ]j햚a KqmLuKFp>IK3/*ƘgÕeHsAK繨TĔr2f+QK%=h*T+Xpv_fY?D*x N NEYtNuA`gM)24:t+X{vrWw-w!1[Ł v m]Ё$=ԓ&K(D*Y Z`%ձo/.#C&$>C,pA2ݧm|(xO3Ӵ+)jԧ;%|Lu?4%ޑЛ.@ܾN86 0d.tz+i" }G3"/9vQ'I<@5fG(xZq4x_9ONrػ[!JTGjn@ (LR*K`l!1@f0U1>5Y7W @i16iO:jvK]E} <;?_h(\|50Gc -[ \sN~r⛷GdaqjTa98?A<UڤB@%bJH'YyL]&wl<nkYJTnuQ|Aw!W1_tؠb:/Ad4LnK~B)K9Lg4/AF3}== <]?㲍@.\oi|&?*^F?Rq پ8b an"& &da{++cYMZ0T՘1e(Gi*vBoe(UdnW6[(Ȁ7Te\63ij^xy`# \urTQ.iw8m mZ4t}thyN*.U[@%|͞\U[3Ph`z&aٟhiw;. g qnzMrx[o-jƕ2 I)u_G40ȃfؘ_7N*w/ /L%D:zPDO2*󔼉ϳW[趙H@ k\|>˴xarX[lAJb_ќzie_f,tI^!oA .ۭh̿Zts/lQ]f6`|Pԉ6EK-,U+#*HM[-m6ȣ"%h?ek@r%>m`xg"䀕3oJІjD Ŗ2.n/=+MfGQ‹dSk(ń:"vu&.o01IQKu.׽К\`M/F/> &K`G@.EkHU!Y&d6E8@mKIt<_ })$jvQ/e缧 1}+GX茜u@vPg=zG4<40'hW4&MDz`5*f0(E-7׼Z&9Sh-^̴ȫzaVli1LuI1 )&-Z"yG*-Oeewѷy[73I^aℰL|xmXH R$?Ҳ{m;X @aߢu0$֚:1x[ j6s=Y*:͈3p;zc_I&2+e+Ob%ˀ<*t=ӎi^Qg,V]g{ O7KZ/X)0sqvTi kjIh@K>vY d2c`#YF]9v䛀pzz^`"ޯC[zKG \^ y4#htPɆ}FOs*g%3L *Is <#€ u2=&a噱L}hD/![\}hiXYWv.KV7GAлPc!&Ya\cy9yA?LCEymY8w:ć&'5IM 9aĝE,))Ux  v)osWQQlp1l1i,L}BIC ?H.ߐBs ~:w$` dmEҟ %uD`&GՅl8uc 3Bk #X<(T19T&-ø&|w9ڱ% =ZYlsi@ 勏nWoik5лp|lea=Z9p!;/Dd>k%UpנI:l;*1\b,Pm{T #1 &cW^͡j"JR>wu6sK > ?xx79ة#G˱i̕>rO g_B4!5XeSs>Ԕ YfWٚ ]ڏc}``Mا(_hF|EQF lU#R9EЂǰ呝·uƁ˅WfvCt\st@'?G@p0!hʇ}p i\E^ߘaK2:},-l0DTCXn; p:҄b(>%iK/{&K/cg!K [TCYPG p8K;"iG0( JnwƳt>ۤE֤%h-T7Ar.P 4<?AH=~O8=zV-5bqžwoGVMpl_2N Auge%L-RT{LkL~X7=Hm?GxS̜=`3Bp25j]hoO>"'M#;+R-2ƍFAR@}l/|WY"cHvuyc?lY3)ҷӀ%-<1_sܲ(>htEC"ʃRJMⰺn%]]Yv4.655\'\ďIK'r0&eov66VdJP~ DJЈND/~g?t';;Ѫcg3[ue$sAYFR$hh9a%h`.!Ċoǜg+% g$ʷ#?mh?w EJmٱe%1`@*V.Oe+Aq=*ET쑧Y2vQ_4 ^5RXsEz4yUmI&4jX\|ˤ9qʻ0Z#fU@۳/{N>`NfJG=KLI iv_y$M \t$4ג6*[j`rNH 17i{G=[NLr o7?U#)7^37 <腺{0S*^WE:.zK;KTp*xj"`:̌CTv|M?N*Yf_]U} K}iJeXQ\͌C1CAњX"帺cl)TP ^(?e-IwNVVORfAŖL9}P1cTt 3}pP2S_j*8ةwE`XъNY &MbXd`\h/(}MH2yj-u̪D@gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4s Y:ܞ|О=l¦S xɭOZWV\>ѓ+dl8$Jg;gMl*Ǔcpi7֤͆ +X8CQ+ I88:[f@JGVQNYswT`I0hr aBmONQCp "v$K.(JѻΩ-7,{&IZ?nPi3LE+Xm8N]L\djq21F(XtJ.:J7 ?|5}~WlTU,T`D5nn PR?4n:c6jOiK t,rۀ٧h``G=lkLd%3? \,GL z*D΃c@Wnpolj͎8m[(3.̶w&bAVR)>&SLffG:&Psrlf]S oh h? BMTտ'-HFqWj4b uGNW hR?`:!/ dzCoK`y'BߎUdBe19=hR &%k/\nSi PB©:u࿖f֦[vRm+ lJ zw`җ-@ HTَͣ4mSxGN'~1|pHCWI|z!,%l# g$H6$ '/Cnmbr|ZDo 11^cEvhc4+(lgPhAutV+_8Џ al`ݛ7,j1H_D[6@(K48NkDh" `=!b֡R}wyCsgv"a[-A9{dxn` 1l2 Õ~NW֐#m(:Eyfey*DvWMQm{'`gjOT#උ2j&y]tkv-sqۜ!'`Q /)W^YG YaeQJm{+gDUkSKx\ AaeoVЂ14wΘq1f-lӘxX[`T|۰aG&vdHu h8+J7!d[N!ŏ+,}D2L? z,ڹVIw7H';v]@ś4}XF5CpRݺ2n^@)wgsLʒRz.c9P*WgYZ7zXZִF! ku]ŗXi%J ]Ƙ4g*2u J?r<)3 dL_hNXS7r W\0!X-+}ąkմ-~;燆kYrѦH4z'[2"̣Pogr΂RnsG@A\m7~ u<^΁},m$u 4 \f -ͦ?reaY۳l<1m9M @W}_`J 5GPMэS/zyѺ[ 4_XK2HXKNS>'/ه](uQ9OcnsP@pFxE Y{[zoeDEAU.ڧ9=pyv'3I8 Ë!Po{="I;ԋrEzY9 ?)sfb {o1OMhnM^rR~x\q *:mJOR\bOdzMW{ß̳Wp86f9{+QA 4MYիy@i2;.S$}^: $O=+79}/pKP%ԉ#-% 7Z9wy ބgPZ 8j19Wph$'&p AE:}mDBDbK"Zj. Q.ǶˌP@= ,ugجƠ63B/lۚmF=>X:ʡEgǥUYn![e #jay 07G^Ap8ߴrT*FTjrw9g>F(#FWI3=G߮Ë~o ap%&vS0@Ό1yy$έLq 2VEmi @,T8,([ԝj9vF `I_+{KT6yFv9LaA!wI+i"4l#ȱ7Hi1h*.,hF5<+eJRi5mR8(4P~V \UqNv@L*%7Ib#kgMNW$/:a134ʯ;rčbm}BK&e h"l 6wtN:^Y_W6'#;Ais &]{⇙hE ?fSVGQWJ>.*hk{ puR s\t"+<#,b3獞|~9KH3a]"RB}g^Mk|cL"Po&0p c.I *0 -oꀰ8QY6Yz%NSZ4ҶD ׹m!\0 ꕟ/=<];ƻFˍ9Pfܛ\UT\I./4%x@jj~&b 콿o%cT8cVz?BKP$\mcTr|7c v q@VГI% {X 6bY"s)я!qq*dB-.#U)I>sFN%5STa.0:47%ق4p- XIxGT"UJz,5ƒhYp|= Аoimh[2<!} xY`pnm+aquګ \UȔJ4w!vg݂1A9t_~P/8NT֨0J~ne/gd5&K I}{Ǽ+?;Ι5mnAm4\;Q,sxk#&9dԴ1+8M==;O8*0evLJHodnY Mt^m'6BEwM$-dqbU%* (m=JiN&L<"bGdIQ}Zr0qfr7Xϭz>3$ltEP(aWV$yK3RcwE`63B!casIycq\ ]@QUa)ۊO~4z/mvۥ&.GY b*3}(iS:l8hGc QT9 ~RfLM`(x8X^§*h|oWސp1G0۳3)[kC3 ;3!,ZT%?2`ȴuxDsFK7@0,.89.="6pFm]輑eiPBmH5_A\SN:)>w?Uc@'alQ>5=vhmO_77u% ,ɫlwɫpVidS"Su [mKzv'k,g)n[юoS4'J~!2PBC|p'_խa`uÖ#nwCN oa),dj&MyPGÃilYr@HZGo6e l|YSbH!}̫JpTXm0ϓ?:^8FEcNGW<%H5sl;9v63ܪW5ƚh|jƑȕ ρO6T:=CN]!Yhߺ4w@3w na剅Pmݪ]uǑW%g1t^<Bja|LCaT`i?i3fM*UoR§E )W Ҡc@jT_k*Čo#A\uFԗ}i^ry?N~鮎;$4X`Ƞm)U&&}2)1Z/7LH=)I$*32'8q.r lM| '&S)C vL΀ot;bXgX/HR҄~[q2d⃥~1.䥱έI^k T;ێ]10OQLUBYR65dj'箟Nz`(&͈51aW'{rV:ľ1QJ/]l8`(tmh(^T'0Ё("7C9GF;1f ,]tP"aKGN8CזOvTS!`vCsRbXn^D(YV8,'i5?آ$,G;0K"E 6Q6QϹ*|wޙuξ5r;bw 60$R xw.~Y2~]+Fey;:! (b8.r|&0⺣ )¯X>W8JPaXix^K9^`sOOxe >B]tvE?x+[VG!hXx,ae< w;"7Т jY]`/vQ@_hl1Slԟh3"uhϩU/m?Ż-'ytfGv(t%/7r4( cv3Mx}300,*٦+:+B}_njt!9Lݣ AH'm0kbCE>^zk<,)k1nv:^ 'Vb!C$&w̥IT5#§kuszB#Z'fySSӠ8ZUb+^WH^ ECC*O෦ơQ M&rNb|)[;x L'ϭ 6z 8`/Ǖ)mD=RsIaf%JULJdR c+Ix0N.ܱ)LnhKWV} \`1#m6^N:JW@+:~(){l> ~g~+6 c|4 k\@U@5;+௦幙)%h?V.8Q+k9씡zhF!QhkZfw/h)VLt66~w {YX@l}7ktZ0ms2&2t/,¤f(WeW.Vmƨ-h'P,vHCiP'٧lboi97Ej fQ,8dB֦K r͝nѥXNj\iYeܧE7 %rEz簊̵l|wd׏"ʒ=%y"9 ûQR[&|I9'ziyͬ~ݶDs]4zT3X\TSs,h^!l\-Ň7GOطFbψqjeUZvzW^IT}pV['Ʌ. nԹI $ßdBvn -Ń{%8@4;V-a6njE e9bXk̗]al';ҫGPq G{Y:5)@pN|͏q}Cy#ZQ*8I$|_m&r~l+Kk"ʍ?¤I`QsW)nۓԅ T oS ,qL8[/Ze 1!$d~} zld?S|I51ZtvXn˛6VåU,O4N;ȕ"˲4$kn׋dFLA\'Ms> j ilr5 qN-O!b7[IZpELCO,Ot q{V|=@`W ;QLZ2GPiu|8++Ջ虀U/YYRZoSB^t~VZoH5 ~\cpi-pѰf_!R+>JĄ_bWkR+'v: ).ZР#CR[ϑC+x 5:>>2cznK(j<1q0U zcɄsUW;S}e+3IGrYP` (JJB<& eD=t;>s5stshz[B QZ^SI3K V 8qx@{KZWkI,N8?=~]o{7ɰ!/|(ft/!` o4B (y(`>dX+$zkUL,;|ek M2*p0hQ-̡9zÖQ,,b,5pi=ؘ=gHo Pn>9xol|9aŃS3MZ7jFK>oI" Oxx+5uV3*𒬁)&iIVoH݃Vyi:``4b]ʼz%Ns岁Uv&`!(?=fKn|vn0]/CV/W# 5TvaZbT.y l*}dC:'8a]wK*}&WPx8ڊf, S LHwY,%M$A#)mSi|!n[}8}Bd\V[# aR ]>eDl5BTeP8Y% )n7A =ߜM\5E_=\Z dβ/Y]q`x3V"hǵ'uoO聉~\$q /&CUp m'7UrvAQ2z#yx;ͦ2ۗɂH߂@H _.k ZDA H'e8$|hǵxz|JbYoW=Yڶi5G$[Tu:3NZ3?;fF>j=~ <iq})*4tQni.{2{[8 >RM̑+wb[-~.MG!\K}Cu5M&05iMa@ޒXKZG+ZF&8 P;EFCaJX:,cɃ߳4wࠥVMBv59߬?R O3E"ۏ1 GY`JxLTߧ6fF9;)-^zXˉ0ܾ{4Y3VZ ހ/E%< _ rѵȥɭ$TMQF<7].~ r 48Z6\=g`Ϊ8dFpfgij*,CO]&<Z!z㍀+ 69pWBg{V'~퉱*. TN5/FkD%fcmQ m, Ejfy5كZC1dFJri$ۍ)@C#܊]0Lq6_"kNW!qtojaÍ74T)oUr.>lNZGd [V{bt$RGwb,nG+ I٪TsoB@-4w[)D6Q un'0縄qtM5*v) Ou rHgfS̸OjT΄T;6 v8O\ @M%z.kDh uiO@75Pfy=?Φ8MLG=FseF?'TDS믘z!a$kn)0$:(:ަ69ὡt3]c}.vjfUݻA"`򉼻 0ᆷ%H1.DP4)- J՞R|OA{e~{0:+(U)+a[$Iro$Rf7P"'bn'Y&/nKԭMpo1-/!]o2&)ԇa"LX0vк,lK [oUq8SP޳49ó dÊ{^Նcdq:\<i ߃T雝|׵|h}r:sZf 7nhZ-)1\n۬(kfc _ov銜+xq"H~wH^ArBuo% ~H' Bx䞾L̠a8Znff[n=\"-wT*pd<2w&f;.֠ CV$&sϝ8i;!8Q Pmź kNo`a "|ߟ_49}+ƅ'e3*"Zώ]tkXR?syfcM` u)] Q!$.;pM?o|3OKsW\k(biWx/ϑM Y0S^ WYƼ^7ײĮY2P zaߧ6X*?ߘ({2BERJ"6([O{\BP ʄZz8XvLUdxyTMĔr%^U?X+AQsd@ *rkȴ 1|-~TPBOx$~P1?-Vֶo(jJOD"~?BZhvՐVbnOXMҖ,jG!Y-gD5EGjq{tOX.3$,*~K$FCEa`2D_VG+bТP(U_z(,V'$'1SL‹43|/V۰RHRK)+9eVJ԰h{ĝ +s%SPe~˰GV72tQ bVz۰ thה_gM$FoOzKUx󇠔XRnju"%1_n NS5Dtx8?blt虿y\i el 4V-o{5D`~DfQ <} X0#M HXfԵz=-szFFmfo=%,;-wV&R*Ċa%:ߜ"%Tm d;-|5%P|[qm[CJ q;S yV0:fZYEl=5ip#2qID]=oC ]TN$c!%˯ |?1vzbW{@4-0rwͰ0oMxa䚢![ }fn>{ \9 ;y4 SQd܋;G/)w|ED)znc>F9F^|$-/s*x Lj R帄pz;2Ȉj%a3_C&CJ?} 5JpY[eT7Z$ (Z\BN0fCP֍0tG6ܟL7õYST@S˶g?D6ķ bxh{yaeyi*[ BX&MՖFUW+ 86֕9y)D~yZF M qA;FC+&n!'.PS{S/ w`f694I90fB#"Nx'7BSFMWr8#ͅ^RD!`9K'T$@I0e[=ŚìU#v?7esqZyX,`jK+3E wGbWtڥ\]$p`O Voˎ˴70n "/mMF]Ɯz$@)LG%@c+RbqY!;J Lb~ =IɌ3lÈJ)@ZD&y{3#eCJS}} 7: 5h{n)7|Pj-|"t߽{l'N#L̆<F:.CQ th-(Vq) ΁犦lٓ(}WI'w xz2P>y,~Ae?< 쏄m|y<샖ڇrrANW-z$BfJ?[lF  p%:;iфfk'ǍIvdP1%a6!ȇov{?,g@)l4 "7b"^ i%sD\ñd4axKD^@eAt#e_=p3`{w NϐԜ8P0/~%{8i.DzLۋFw& /ɣԘ(ex}TS q:? 1̴o%=$|s $u֧)/ӑ {A󆟆W,I LRú>zkr8Tv_̃)'~E휀՝FMNxx<(S1z7 5d2)mMCIPOQ 7XQ'i.`^QʀѬY]!9`NAcKa.7k 1תyfHӹmi%w.9) ґA a !fT?ѮęK+}_RD*Р'-ܷ뙢"wrI5OAT}=btŝnR.\+JuXz܁7>J]6*eq[:ZҘ΄;0N'1t3ػڐ;o)K wd˼ze~Fs 9GN*(ܳ"9v7Tt$+8՝ %>Kkg wȴ뺃xo_IdJɖp? BV,ȀPoN;+uxt!U<1:Zvޏ⑮ʙorrmyOJhO w>YiV RuVQsz80 uםERËB4d+lo錰2bhsU7!hˉ ߡVŽM(Ss*SjDK=$=g.&nv&'wsJ_LF$I:ez5WɊD uv,XfMjGK83Fnb%8n(\[F0*iHṈsб #\UsR]=Zu Q!%ҙ 0ʱj]:.JfK Aŗ?3"\$xxjTCfūs%ToX#k!6R .'ȡqn1@u'> @D&mJ\3142`@]ܬ@`ߛ7#a8>"#/,lRZ sl /&YݱC oUX#lb;LfeMAֳzϽ,wׂWIlLRF(=I/@*s?X, U-HڵX㘳SJB}6LJH]k 2# _LՐ#w0N :\N(kᮃM!`ḧ́d ޝ+b?B{ޣ0rҺnK%SH^ 4A Ou*BAzr!1 s%V szNBT֦6:EV|т$~NI@JA^t7hsd̍M3 At{0; b mb)9f7n(r (k78wYMUH`EFH2| S BQdX`]ɶC]cQ-V[6-W3tw#扡ޔtb,KѩԶ){g2l>7 F>H%\, X _A Ts8EQHHd~؜;F_?n}: ˔3^)C%ڀ.)7?B=ׯ22PVNP,>-m^w k  &HFOqAdž-k@Eԉ^+U='죁?@6R~ǂBgS }Ӗ,>bF)aPjCc%RRo(q-b#CLy%-H \䠾/Hoy\dU6>}px0R{q5x`FPBJL18f2\wcmEX }7_XWBGʹi'28e5&h2c.FHf<9`B}.]Տ6 _LCGr^c6OJQ) ϽjH7ۗZ|Z!Slb\훜hpA= xER+}-W.MIZءĈU"_>h75aVX̶fÀۀAlZrWh/%hHVGÕ `c%2!/4*= [31}h㞜ġW//NfCJ0qa= DRx#"' -5!^]R#d84^@^CRv@r{b(Gj9Ds JǸ1Hh6v3M`oT̔S'HMD~Ӏ2aACv wݸ\y$vġbߢrm:٠#gSjèhsƕ,wxZ0=4*մ乡D#5ؼev ^YQCˁ`wN;$]#}@]AeSwSzpߛP pMKx/}gI-&. d?uNXr*:)_Y";oC|?X;CQ.`Oz3nII5mY9 f%{dqjv`dg+$YKT($1e1R!0ZPRKFQY x !}}T!BvNE/^eC11 >g Lb\H2t|Bf7}&k? Mʺ:bT^qXjFC܈(\rXD~Tpq:8Wq* OAVi]CQ*;ǫq<K'/׈iuK0ELJ=]+u۱{0OA(.ѷlC+IaWIp.q%!(OY{00۴KMK4ݗ[ Nzׁ|*C߁nHAДXMhq R<ŗqTe7mgݪՉn0d0 5~og$89Jpqf Rٚ޶Fgg{}+xM#gjf|W {]Λ =bzkN ͚\W% c5Mz6j"_ q?h?fpLWⳝwg_Mҿ>D!,a~r Aq"1`<4SZwyVK^I\;lb'`%2 <4Hš8M_R߰3éL6ZחlOZIq9?LY8HLmuIbfN2=7SDCCp@k\3Ba}QI}H ^z̝˷Q$蓪Ȇ[QnOEJbw bZ̊MiV`pMa\ᓺ!eW!oU8r@ aA02I+z4&xlP3>}K_IvO0QH/uJ`d\t4wMLokZVc3b'ɣ~ s!)SRM 9qԛY&z< !Sp n~>KVRK$Hl|vI`/}Uco4g/.OS WHkI]'k$aKJ]V vRNǕ.6njōȼYʐ uTވd>@FC/~x aC8I!ut;ᤈ1ʂ,aX sD;.{=^z'p?3͑g#PZC4!)q\Sg~Y$Obȓ+6Q(LE9&uf~"E Ajz`:K͎!8~":sT-Z ̷`U=[]kut;㬐.E,;؅4EdolRg/d{^p!³Vd[ 14 mbmj|,]jsDSvi y燨EBe Tvω :LJ_;K5M(F[Dҷ_EuExKk5]h,޿<>,R}*pIWV?_VW.w0ep2qݯSѓ#̝p4Gp?q+0Uz/φO#`ÕJT+!ua֝{VOM!1<,]fL d3sx RwjBnP15Y,U|_Lk; F`Ŭ{4*=\HoԈ^M"|9zWݭB,GBdyP2$Y-H8 Eiy"6gcSop1,tTYxPJ;:ǠU~łxL,A{u3Zb`][ Ԉ~v8fps `VTK 2?F9VA`;\`Pd~nL"<sQlCJ ]I1Gïb[ :OkI6OA|@X("Ri\(iz#QՅ O{ݑ7[ƿ-hv$!xH JrߛP8},bJswEF{8+o>Nkl,9Է_4 Kki/[ **1y` N#d)j]v1;EDaZ Lͧ_Lj 8c\)g,|p\=4|na\דd8~L4;^NVwVr6`J%$V A"uLv/>/oeեY~-=`5U4*4y޸:w7Kz9PPxh a 8iG[1^Vm| 6)gi*UA,!o0:J^`\~*%:!z%ԉ=p2a77B2|(ŇW;r]T`,{Whn8 /~2%7q-O1H@~Ԋb!ۙٛsQ`1e ՘mMotz6+f|%Ee/ Щ=l;xHP6T5N5'7,lYв+ȹ [ q>\t7l$mA"~'}ߐ5ʊ(_D6D PP{NԤBll v߹ t5%6֩ӂ! z9z@,8SWwB 6{wÕ,螄FT$U1sD fH?J<t[oT$&-֔p ݈NٞkN.MKդrDKKT#Dw!PL>qc}?AȀY:^})\=9 uWDO6q;'^舜ؠ!~G0Gh6f*lY+"ar8 /A p_dEx(e3h}ba.B/]P+ jSG(-_:׺<ųhzClI(,ӃUDlP P/տVS(0!6C EX@ )Hk,OK^Q n:;BZh:|ʼG 0SQ۰*~q5,R?kpN;rG3EaD:`̧,K#e@]IՌB#R*O`ށf/K,܇sMT2:w\j*٩\KN8e>ˋ ` $,}lE^h,'wtBH8؞ tw)9$$"'<"jjlqYHń.1Nkjr2|eO(QLuqsr>!:X RjQZ;%%c! ؘl'a_Kfbρv4W011NC-1/E]/ɜ&Xh)D1ҖM84M^A c QaMBŚP [l)|d x}v7^g4? 3̢!ⵋgٻ 6)vshD*3jZ [ПV;]!&E}cvXl2֩,r]CWYLJM֨RM #ߙyJ<͕Xak[Wzq!lU BOҼ{y(}mA,{MZGX_?Rܽn UE5xFJHC %SZ~3"[p+-'o_ :Ti J BenŦ;^|Ybܞm:E(SĂ }Qvab)NՏ`z}Wuǻ#Cl"U| KZŅW>7ErTb]^\C xN~ܩBφjIr.24[z} ̆n\C{BҊfA}/"suz, efjܡ"'}قkBJ\L$#~R _RuflAK 6 0_qv:]|<'^jĀQj9rhkٺT|/y|l [Gn#xksǣ/|L$(!Vt)Lᇾ ؗSa8_G9l+niy& $TO-Y4qZiڣQ%J t&pQ {@ݍ9`=[QhPəiON?4W;lyV@2mV`Uy:r(r6 }ƩeY9OOb&T6鹛;ύoKɏ>o4`eC X^2ӃC¤tc2j [6ƌgPtuw1ז~A$g%]2Ohɖm㿜5 G6ê K78}WmO5d&ijn24UtSC(&꭫sdG(4Ѭ3ً v)L7Lq:>KZO|xŰgݖc᡿M*t `lKfavO ɘlcrztGq;n >{go6tuIg a!Ɲ1h“yP E ̧)x"KJvohWZ Lt'ӎЕ$vIWkwd([2IJ>SLGǗ"[gEdd~f3wRA)[}ŊtK?$1v [sK@@"גQV 0nҐNk`^w?(Zs&F{R5"өƤz3Ȓ܍f8~H_tS;=XH.F|WQ5 M"ōk4VO\X9"HW RV-^O"\(%qs`S *P~9̶ͷ5W,1|LڙՍxbjid;κuwf{*:(]ѥ=MJx^mEnc$Rͮ~q(`R '` (lV s'ևX~`1ߧxSCr,OGYēLƈ/$6ڂoc|LFlXr#,ﶠyIdTPrxT6OR7k\2)Bc9W  jK>hAIę2h%]o.PFN;y_-aؕKA 0vÔB#*J{ GnnRe9z#C"T"ܛQdZ[DnEzc9l *q ձh~ %N/@̇lpp ) ow-RAdY9/RT"f8h6MȄ$HUFpMq3y-G֗u,| hZ\?x8ohljN"_SxBW8-YAtV5bIjrIO:m`m1"}(A.^h(凡wYR)VXi?,7b=Le/Bg>N{u=k31±ꐠ$#l`uG.,V!( @Ŏ3HqP.pžI(eDl:ޢ Qu.m:9ohKVTyBWn]]lYԻSAT2L?Em1pE硩^&[) x٧?9rKEH݄ӵ`;Er<3N$E5f3T̶ Kwn_&8}5. LZr`H]'%w@'-EJ%ѩZ&^qBO)!9'?0%Mb|^!/Gczr^,<6=Vk/T JH߂&hB@/|<;TfOr7*C]GSt]g7;nPY[Vߨ:gD>G'Q܆Xn&ǧ=d0YLP 8@ff >_FҴfWuHɟ6i)]y9> 2bcƟm 2zQ|nm)dS]"aYR9M/FR'-QQl*#BY*W"qP$1j=I!k PM6 V"'Cm)7٤. h$4.ݒW@Fo9BkLŽ tmcKᒦ;g֯qb$\vTQ4:| <,jjLIT_t/EC[6Q&c![H-"e%R!V'51ځVol  ճ);tF+.C,u^IXQky`٧+DnPqw!ei-l]*d]:o-Z,$ߖSRx k'D-0'$#iy c oCz!_aN^xD #UB`+ xy`01IbM0]eɲs A*=֕96 1{Jv6h KLχ?s~?m:luәlOCe$P ҷb3TF̮( z^IzH OCOzeC4㭙 f )[:poJQh@*s\ ?Q-r&kq.D5kmAp'm*.qCWcL ڟ1F*ŀՄ3~ FTW(TVLV\gA1 w.葜 pwOb/iĉ3lWUZ…Ƭ%$q"[ X%-uooҼE J7G R^tDD3y[+kv{YeNPgmz+#_i{gYZ49b2c54c3e443e29d7f5140d7d9903f80c3ec41597b6005f23613ff7cb630f3272a04a30fd86006a e2c67592afbd2f2e833f3588c14571d7d670c53494e0d041b9d4b933a8408a1e3b11c7c564d7df79