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 v-9+hrݔIq)1c@I9rE{u9ZDP'%Op^!Ϭ k<t/; Ź?9>Mq RgE?+Wȁ R2aƣo@ 4K;`I״Lb`G q4GWv WP/};C!s:QaA& &&@M7_}G3uzck6fMjPki\>leF\{°]';V& 5w8ϭ11#y0a8'irg-qѦ3k9,4*I/Pm d (w7_,Jo_-jJMxOWS"GpnD;FT:utݝciE7w<#9xZ\b }DQ)dm(bT6djP|eĭPa8P-!{r@faO㙣/Ye^GH)?|#-q`ꔇ%v8_rQ5aOMă(]3mŜyvPgLZ`bJʸ͛CG9= h7ܩf(ZTΖO:.`YTEL&}RS8?7 btXi ߾R`ք+>+sX-Q2?ecBXy5ՊfsS-D3m]rHzXc:f 3"B'&#E)~M|f"N}m[`߲'nz5ɰv؄fOB&?8mJg4>bȢ{vJ Kݿ(Q<`QV\L*Z/Ye^wߪ1ܗ{wevuDgZF_{x=<"+&G]:B8o*8BM˓{C}]E%2EIZ$JH(ۂY )O˘be>V$ͼ`\g /$`) /5[UQHE<f$Q9SC\JWm=];Ql:>yѺ{0Xj|'8g 3ߩ%}dy Ab? X#M Y䘴&jj_[1j'C\ۄBz0mlեdV[mxY%]`;N礵r)d~nL v*Ძ9]{$Az1B&,LVy,R88 W/9x2H@.~4Tqc$ZڒJf);AIhSRJÂ2b%J ~&o6wx3k,i 1:?I*יKV{vvSvvSYG["Pnd%MM \R3BP"I~%Vjf8ŗwyvm'epZ=G] u*ϤCCFkקg oĩOB/''Â⚺En? 8W2Z-6n-Vo3wGYDO?w2_銘SWCE2gw54P^Dè?(Aj` r QH+jӓ*F U{SeS.6B#MբlX5{Rxg(d]JP) &.)W# 8M}F);:&0.4R-y(}R~Ѷ gtF-zH-!+ekt$>'T}1Q"!p5*R5a )!z]yt.0!9F;x]gdM,Js2'~ciz_2%~ɭEh(6Kr>*gC<?؂":$+]iP%T.+;kf$!e:o:VLհAT[tuo`pX|"p/5JQPp5f>{ܧΤx)L{HՍQ%V[GZܐ%7bBM8Go z (h5#f{'(Tv;WUJQns0\$I๖j[y.)  s3K-_%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.tex?-G%HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.texD-Q%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument.texG-Y% HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex.IS8@w:uQ rDR n}h6-qP!jIu.7YwUAu52UPverW/鑆0`s/^ksQ qǘ}#w8fϻ DZY'®իUeHଣt[Kr5&iz|^ݯñV7.1&`xɏ;Gs=clX] ̴=7bȦx_8HaLf])~  O1 \8uצ%S[偸JOB_6JŃsk*4Gd|ԓV-wfrYmcrQɯ mc^Bz:#|3?i)TO\tw6Au)U!'O.)md73Li $ 4Z1Fzvc|K񹗍X3,%)XP?XH%A.o3e}/_R koS^Bq~`k S7xgIl)AYN*KDh!ZӲ'~PW}߈GTrT*Xvq.ŀVKޕt!uf^@s4l l:`X3kezә{UvZu{b{_zٮYֺa,beژl<}A1ʝl@Ċ_gj(;众 `tbω<,(}@3Ї/܍O!4GE֕Ɗ%p}Ki/QX/9_1Q((J.X|uSNOc^;e}}[ʽ}_ /[IM.wgQȰ-d$ =N*[M<ϊfI{F9r5LV+XpE0ʹx%]چG3+z2` ޮ蒁r~͜E(Pg|X::ʃxryCJ_[iIxZGקțzky8) O~d^k<3#&C-5,6 ]8:K^(Ǵy-vK̹GLM}<__C]􂪿n̺ǫyD^G@KGke0>TG8!+ɝ[|7td4;N=ݓT; $AqNkO4Rv͜drEh(z$͸RhE0 .zBct5t]Ġz|+ 6D ..}26-[gmnd~M¸K P(JLWUQ jܺػ%ݭh|H$#V0NDV89osbO A0fn*3xzQ3G%}\nPuP}0J3ȬWO45#Xt (:#.3ЬS.AqPS7xZBS!Q b?aW]nwt>FowN~UEo @\G=Gֽgf|vhDШghA S%lC rIĵ23[d-[τI"k%~z UvLjⰖBG_;{{pnAGT́ghNzJWQ G&K.*.ik.HAi"k³д(5k/B6΁Z}wL̾E0@潮adQTdo,Rďx2A?6, x $J >!vޝ@XM J;]k #Wq(C}tnQ'])emNM=œկZHbVMVނ3HZZ]XtEQab*ٓZY @It1W(;m.xxT"j&dKI<4ghcf& ~pW\ _yz\ͅ^CC7z$S9ն e7 +zo!V7\v><5OU_JgvpJ!m/i:Z3{lrQbˉ[l>[w~ [{̸X!C#"3pB)Gt$cOd.ܨע` jN8;{by?t5gt7ɁBu_Һ:sY)?!$jS&7,NDبO!(YB;RPҵ #euK4vc׋V%M ;U'y@G#JGGo(Y -ﺛ(!^,ap.R`u]YAhfwXZx- WN+K=.rv!dY,@v14[P--x6$7MÔW#xeNuP 8ufA\Ys*{BE Om7 B sMS,E3A/6OA?m>/rOv><#q4iNyoq9A;^Z]Kn h:*%s$Has~LMЇ:ⱙ(Nb9hҙK N/ȋqj۸ Ti\ ro(u{+' RLy%=Afk s}9*Ԃf;{gf]`csi)=)fQqh&CZIu7_bX=i#pWlx ɼxN+t* GlγOuZ9M|)coi3;PԮ|Um܉UOery}e?)_3.?vG[lƋ(ܫ._^E=tI4NFBp 1I3J؆/YV8wP 9t׿bjS#Ǯ\^7q.]ͥK¢a5a}XUJK3(2$*V6eļ' DXg9ƴ^-Ad Ф,#ˎ8HN UB:bu-|VTk8k6 ^@qg4=pp9Kb 9BkLvN}yk߇#Y`JZkPP{*~ؖFNJ*'x# :5F^ u Cݔ>GƊ] dbJFgb[{gb5Hd,z s*'7ce z$V{ >@/JcX;K K>̙FxkF#(w/3BL XDWԶm{k q>3i箩9Sy"ۚi qIBT(;eg S偫8Zt``6~;5{Z()*>CMv>xᄐ.\*S°#[V5^uYzǒ{<%(G r{{gU /GLs9tb&61&@CQxQ [e[Y=~ ee"G%C 7G:mU[PN?Gԝcn<yANJxlt]$>rj[*O5YnPmm^UA&1/NvAEΊ/tSzs t%vv\d,v'tc^nTܧg;*xq2Un3tCbkUBhZt%+|AM+C zQlȅ:1=ƦؽٸfEn)ZO#E(ɅcxQ Q:ΏiW[j :DΙMБ(cp[ e>resco(n|5UaZky{)Y9-hR.;c_=TED{ 4*% ޜknͫ{Ħn5-iiJ ȞwUڤ+DR @%sv\6)?J 馇8uպ>9@@Q&۝fh;n/f>Z"w^@=:K!/^\8oPAY90 \d7]!խbh򈐛Fi$kjgf58^>}  ?5 JX?ѐ(RUtY$VLqs3uÓXspWq`ܙSbFD?cnplQ+2,Τ6+<ALƞn r|PY"-ar>6@QutMc515*W爈k0(޷ WӣAvV $e9~1]dʮ˕ J8M->V~b-$Y4,"t=Z=6<"X-bpNeV}ěͻvy66ƻ06~ɿL6k9F0GKXU7#_6*WN>umgyߍQs3*Q&>:\H[H t0C%ܷR}{fʜ/XbD^Y횀Y/Uz!Á.HVd̺?(3^&}MʢH96'Ǣs'c|L^j'i1C½0wf{ c?~gYʍ0N_u{`!7yeq"V_m?eéwG] B>PV߃$^KZp~=kNK0/LTa7즶ݣɩ?\|9a[ <ͱPaSW:u>8"Űg7)xy =PŶE S7f1D[mYK;r{-T^"Yk!ߘe8;Io!n%Bq#Z⬨<`ԗ4Cnq6,; }w yfux6=m?7hmgX;)$NBC_(5aZCXLi6p'#rZq n)]>y :iT.MeQ!A7ҟ!̏!'j`z ZF>&,=LSFĹ8g;콜oqXۘ\ڳQxb9e;AjobZRq+.Yp`i}L8dZze $h_^qVd˟uY&#Kr%z9 UW?-zbCagHA6*ÉiKSvAXB;Z#(%zD9©ƒZU֚jP;.%u|/~zHc 6tE{{e?7*.W 4D|ivg\Y=R\=r̴AYb̾?Q a-^` w|ꗲ2l\8n Rg`&]/[:i-/7秸]!?cc=kl!/LBac|sW0+ZTi-jI-9ojʡvΛz*Y4vb+ѭM4(/T˟hMM!da&H|g< ú`O3x!ZJ,=;lE7įSՔHM{YL]X =n1@6DUk+ML G?$)v10'fF@yl*Wgm"ߔE:'38/L#_FF%-!lb n>ʴ r$M є0' O艹Q8aoJoV-2TC %Gk4n2aϑCMg8| MKbRs+_J0%PIN\LLNp~٥[qJ=WP-YLN,\iJ͖<ȞV1S+Jw b\u\6ԧw1n #3zrZ"Br&wxϠ&N z3Qa#>5v}_PcR6ɯ8-t@Z}R,(ꓘ|X VO7 #oUM9E}>;/g* o'! JpyĜ95+]q/  g* o]ζ,)t$kq3BC2a䑴 O%㩷5~Z- ⎭CC"1DZ&qetIg#R})j+#<%!_p?Ke2OnҺK>c݁iKr|\tzUZJkx KǧS&,ݼIj`Abx'Km]Aw6菗/Ò' igHrΒUuM}\F&VʛrR_ AِIF4;:!2a@E?Ռ#ȟ2ɭQt\Уlh y ޵l%'cR'x&!PXx? *RHGBbpkӜH2ұLM:rϸstYX]Ax1{ͽnZΕ9oKUn T' , vMu5<>/eP|khhw"vC%:J$n6t}}@6rPEyf^),* LoFZ?x^ZKÔC_O鐡VRhcTovYD{iY#4z( N*t Hòy@xBc HDM"1Z.+Џsid[4M:!g=rT_{ ~󊯃L^L5Y!)[=zRQ(zWVYL?E.]#—*| 8 `ݟ01'F q3b9i3LħFk tj|SUNy1JЊ)J!A`M-,GV5aH Py1U{jw(hWɕ!0V=i?,["Ӎ,Sѫg@@ -.M>=hGrf1>k)V;;eOc FL-OX90ď-bL~YT [ ƁSL!1?fg"+<_TTv]MvHj~`f]Ѱ.>pU_MiQ L)fLl)SX#U*~0jV짣jKw1nW;n`Xf_M T=řWCz5J[F\gH _YԭvɗVs)Tv[ *7OAp,7 oc&rL_xS>?g1 5?PUyeC6M A٣#)h5WZ+2>#c: t`l""rMb29L$%gJh6ELGP?~rZ $y-ju_0+B jWBoK:*p`}pq\h>Ñ|踛}y 6=;}m&S|rIܷCP#e:2[- n yckE>4[(( %h_{p%Oqb͙䮄i= OǪϊwUug]]ʜ<1h,ˀ4M.eN(?AE6:;tԲـ2j0)Dqk=*h5ָ%H,/7m+|;$GVKWaSesNriz haAUڔ Ҿuna^(4=3J %~"_0qvS;0L]Pqdu8_Ɗg+LfO9 ,e$J(#2%G*ˮ-u5&ma:i/ᨿ>@6>o0B qe';*`Qt϶c˹|ٓFRiQ~h mTaBPhmCJFY($i O#ְ˭Pm?|AAy7 7{rI' >WBF7LXZoy*7o\ #kK 1|^v>՚[X3ٓyOLXj|@%h3)޹Q[S4P]+ ecif"1G}.]n 2X~a ?l} ".=`uP=᪚SUEJD)<{u'ۤ%_ HÜxގ/ ,Kt-4#q>цݺ`} -S RwTq|羷<| Ta>xg{cNBY󫕀TةiX;%PTf|M>qlIXT6ƾ~c־)[I9Ia\ ~w133A(I?;!.x; Uΐ<`w%˫3]& FAWO=H )SOE[FpгB)<~RKTM~\PFDP_.f h l1vD*qagL};(`C9)~$X3m8j]\cŐV-.(vcVāċh4qEB3#ޝkr W` 2 &k#hHŽ׭7φ ~k%lޠƶo5l9D*E)vf~QV6m\hB6<6OK0\24G&oxQ84Qءg(PTR#hthpj얫 􈢻%63>y8DBCQO %LjMXRYj1][ۗ:s<69g9Z5)oN7VbGA3_#8j=i3 pة9r|IT2`e>'mUh$+(Btoc@&I9\Ь,׊ (<>J)@2}FA$zƚŘO0&B׾M> AX^Ǻ*a@O.qxe$[_$},I8|SrNҷF6LU=KVeʑh"pRf!bx+yKeU0]RN#*xԷTOĞI"9@ Ie $lb?;GTN UA{.S;n2Y[jW;f%ʽWi=g!ѓO?oTS:[-M$|uc 30æ(],2{Hbp`KINō~_'ZJtp[0ɕQ.|E2"KP:D9g~KY DmJ/)HŠZMaH忝Yj~h`{ z^^E33Lq z:`M*^9-7}QHs1qXT5x5T嬅ɠ+Ήh} PA{ z'{l#^峔fk7zCWkdd7fMnBr>#Lm1D`\gkڝ.jRS,\h,}HUEq'b&Kj27-cEswaT_bM8{ɛF$-X&]@3j~h|3&N .~YFiA %m =*#\ 5ict)c "ϧhB"?ݏek{hk@vn1Z'8[LYҕQD-rd#bNaAVXeQ1`N:0uӗӮyA4Fǒs J A}}<0eBF υfˡꂟd60]uhx˛O_rĐ^3MLN2 )c1S[tVTA1-n+@Dpoz{Ru{H0]^ZWݗ7 ƻe˰\}O (T;bxҷ3a@3j =[B[=/V@G0o6`%=`D;[`QB]!0+[W8-/ΜYg 4NLPJ Y&O~h/0Ad`6GOeLzb9u,e5u:^=mmѨKq:5p] pk(s&9'N4L°ՓY&,YYTkn0jwVg<ӣJU)"#k LsToI*Ze'y !i#M<3Ae'![?P?f|ݧy's=.`Pچ <Ҳn-f ^ngRۜYh|OS/#ѱ>xlvTާ:i}ΥyMHi12î-td3e1r ؚWAI쁼S²PPʸPGZAIʮ'?"_-%{^2B(I7b/\υT?^#8:swTU0kn^#K\ <F>!l/}ϖ7]5,?h*ᳱSvat8#weF]*[>n^$I qHF37BIot#1AP RpRi(e;+K sV,#e1LJ {MV"y-{jR6,{s?VST ŽFL0RU/@X¶IQ@tXԩp*5|NhʹŎ6ٹp8!#DG[k'2dO$l0 t@C4Icɡ?=.t[C/ؚ&RZF"ee FVL`OӾ'n{i+q4>T$0g*c {/r]0~YxBt˞)ehҳ!6Lx``5˚ 'h3Ҡη/¿Iq C`hlb"f`JZp-ܚ($:&GdWWi;\%$z%T'^ՈQ)V%ټLѰ.F-׹do#-FBX#O!oӜ|/䃮:F5S1oe`<0PTu%6E5 d4'_sw}YVN 3U,LM6 s̙wřU@ r'#þquњ$t[{_ED ASjSC,^GUrs=reLuE}DKu D,#3@&~~fyzF %4uZ:OɒW0S&bS.}3M<eMCIu?}ZI]#jA/yKjH/أ++H\elmPLHs#F흷&-PbVs9&t%_g qXWNda59!lBOY5WX_[fg͌kPl&<.G.EфU *N׌kZ31sTTvvk3gSvGַmBv7)q4PQLoA /ưSv6=_Wm QRЏNIA洲݈gAZMNO>,+J8Tu;eS].iu?)| 2@ 4e8a3^+MoZ#M!nQ'R Cz7/?* REi]^ot/[ zq %||)?AfVê2V]5dJE)vMq@~ie:KUJ'*RU™QbP9_rĄXX -1qY;E Iow+tH(H/YU1Pc4=\"%4`a;af8q(_%t_\XY BV?[{./"܁x Lf-A4޾c!}pG~ʔ"LH<&*|SHg&0c5j 4liEߊt.Z*rېE%X *^]bw''<#ƭC CנW~"&EH3;j :v|DZky19>N[Mx`uuåL8"9сC7E &|K(rⲾ@\u@O)ɞgy-K#D͋t],,j}~!g-dКUwRb=2+̕_҈kxu|rj2J0@/zYz}Ƽy\(6$@^P˯lE 5 u0T ՐVF8#Е ٻ߶% Q%nt,(jcKU@߆53Z jraٔ֘Y *A;B)o}`_;r$Ͼ)7ɺPC(LǴWtv1Kg-R+ :< 9!*+;u>0FЁU|Xېjfl "z8b*jGY(a{1J fW[IG+1{+S_$cw%%-7r50拼&mf"~'jx}23%S+#xH"^A2LCK Sp5c- HɇVjҡ97]M rd DbP8;I)υW*DsKh+@Sܔ1&$^־ʉJG-ܧ޾6F^?k J){?!_ОtN 0E*&E@(-9 S_d6@N 5iZ D qTj܈YdATCmBݩ'rZ(o\ֺ$E|>sVIU dTZ"I泌ܛ;#yam9*7ۘxOj<T3a"}] _ 0\;eKQG$F<6bL$[1d&e4>@T>`b{!`b/=Ʉ%!WC*d.Ɵ!ETB11-e3,;gdew^Э#Bmk 9GQ?%<8E*a:7ƓD 졈~[ l K`EΫ1VulE ™q,ըd9QI𝕑&H&Gno&yҰ`ỗ{T۟8aksέ(|7萲U0,}?GzHC{8:f":.wTh{L"Ť2# |赼 oX~ EG@L2;sE@s"CC=8eGIFe&GvѤ[i0s|%K8&xNq X Bl1[IcKCM~B.0nXWg6Qzm$8ĭA'|+ G61A u>}d(ja\; N{z&)q9-B.^?ln-D|uC>> AQyi_)uA(x$ K/L?\A<gPySQ 1\sl;jH|4T$}J\GqlRi#Q  i|\Q%6L˨Ef9v!]coo40^ 8,K ulU hhR 0ZXuL> |`kj91,N@9)6~Rժ|3vDI?HeTƌ6 Ho tE{XEOOHϱDŽnN˓d+GQ8X'o -m3 m4 0:k ֩RjUGwF_m؞CO1fy o JSHE#^RkkjLJ[~+GRCTǞ8y(Bf%{ʰ8klF?F4yqK3uy{&~\F3%9`ym+ c[\s= bPG~%=Ծe8dw,&1豵/{v J+PkcS><7~U aAuh c?Gr Ж7cۭJ\; l"&ّ{}\ݚu1M%XѻaL)KwYdTՉ&[bW(Kb0^׻I&5 $ߍV'4G}iuӛwCsir/)M? ݵW$<7rKQY=x!R&Ԍs`!&[l:;~^H٩rTgo7Ԝ7d`B m$;E荱gYZ  p-G% lHOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.tex7zXZִF! 1p]A-MՋhvG"uIBm5l̿6ILDs|N=*Fi@*ژ+42U{%pOyoh )lz05bQ5d %`0>9+hrݔIq)1c@I9rE{u9ZDP'%Op^!Ϭ k<t/; Ź?9>Mq RgE?+Wȁ R2aƣo@ 4K;`I״Lb`G q4GWv WP/};C!s:QaA& &&@M7_}G3uzck6fMjPki\>leF\{°]';V& 5w8ϭ11#y0a8'irg-qѦ3k9,4*I/Pm d (w7_,Jo_-jJMxOWS"GpnD;FT:utݝciE7w<#9xZ\b }DQ)dm(bT6djP|eĭPa8P-!{r@faO㙣/Ye^GH)?|#-q`ꔇ%v8_rQ5aOMă(]3mŜyvPgLZ`bJʸ͛CG9= h7ܩf(ZTΖO:.`YTEL&}RS8?7 btXi ߾R`ք+>+sX-Q2?ecBXy5ՊfsS-D3m]rHzXc:f 3"B'&#E)~M|f"N}m[`߲'nz5ɰv؄fOB&?8mJg4>bȢ{vJ Kݿ(Q<`QV\L*Z/Ye^wߪ1ܗ{wevuDgZF_{x=<"+&G]:B8o*8BM˓{C}]E%2EIZ$JH(ۂY )O˘be>V$ͼ`\g /$`) /5[UQHE<f$Q9SC\JWm=];Ql:>yѺ{0Xj|'8g 3ߩ%}dy Ab? X#M Y䘴&jj_[1j'C\ۄBz0mlեdV[mxY%]`;N礵r)d~nL v*Ძ9]{$Az1B&,LVy,R88 W/9x2H@.~4Tqc$ZڒJf);AIhSRJÂ2b%J ~&o6wx3k,i 1:?I*יKV{vvSvvSYG["Pnd%MM \R3BP"I~%Vjf8ŗwyvm'epZ=G] u*ϤCCFkקg oĩOB/''Â⚺En? 8W2Z-6n-Vo3wGYDO?w2_銘SWCE2gw54P^Dè?(Aj` r QH+jӓ*F U{SeS.6B#MբlX5{Rxg(d]JP) &.)W# 8M}F);:&0.4R-y(}R~Ѷ gtF-zH-!+ekt$>'T}1Q"!p5*R5a )!z]yt.0!9F;x]gdM,Js2'~ciz_2%~ɭEh(6Kr>*gC<?؂":$+]iP%T.+;kf$!e:o:VLհAT[tuo`pX|"p/5JQPp5f>{ܧΤx)L{HՍQ%V[GZܐ%7bBM8Go z (h5#f{'(Tv;WUJQns0\$I๖j[y.)t GG-_% ,HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.tex7zXZִF! X ]A-MՋhvG"uIBm5v'y()i˴P7mL~5< JE}zQ$b'ڟLX5#"i.Ju-bJj(J}UHBC p( )NHy 䞼yvUƒH"K4BESbIw ;IPNB)ƠW5o˒\^T\[z%eD`p}(6R,ʏh_Ã\gm2:.mwf;ʂ-,6ܓlZ&7 \nd_l&ϲD`긫/s /){ͥ_g`gO~J,XuX'wf gܑ ;#6yRC,]e=! ӭkjֽbq:H!} #7p48+gnNְ7& >I`ㄳeɿ FǴ[xP4ڹ=7sWS\v!OVɺ8`_ҬꘇJ +HOp/^u^Cq!p8 xʒK35#(!3Iq9ֽK Ie 9 s>~%DVW@|0p]'8 9m6I˘t%N'Mˉ],- Å;SpU?E}cdbcj] X_x6lqzrxQpa*%a׶=Ui!?;,tKO(Н{W$Dp¹U˕Gx'ErHaH?=Z1Dt!$Ӵj8=_鈺pS`C)h;?9`pr$ G wlny$: JD*E)J-Vq V\UO{(s[k)zt ea8dxcpƳ#jz˒xgxVc;>&J)d88HIyꛞܫ ѧe5ߐ[v(SbUy،j O`shRlhQ@2hA˫M'Hӈ d+M~j,g̞93m5$\: KKGR8i 9x+M8E>?CAdRA!!(t*$$9XCBV52^+M[+N/$_&6àڴ:~g G3fVΞbE/O-X6&tyoYS6 ϸ+u[u_W-&"4%x R4azNP$\C[iYʣ`uW߇gVdcM}W¸]N X9rsL\T8跊h [w?@*N rzqes<|{[R {37aD${[ʱ>lV |0;Q>O⩪qE}S{BCsz6mHȇΚ#;1׭';jJ7'`? PJ~T N6Yg iN.rXAXH*ZMT>ńP`'U奄RylJnϝ8=1'zPp{Ic~b$4{TƮ˰f*jiIq3B_\Y5ﵓsFY LiX8ѿfʴ>JޱEGfVyBr99Gһ!PIlǃ bIIͳT؆J ׺/Mnh>'f n[=fn=/S AwI:0iV/*+ffeukVցP$8A WjGp_S—q\K18O}4CPmQ,OE&/JKԎokJVԧrgB^s-SK *j7:g6XՁ!i ˂hʦ?Q]$q: ͬO/@ړNS"ipiB8BFE$82GBhj# *tqmX_2-鎴s MSWI+ub5PTChQLr4*PCV30aJџ@="Vn{n^>l+Zo=Nc=>x/jg -[\bՅŒͨ{ 5j|#azؤؽS'f ':Rk\kB=%Ai"E(y&_+4 pg|D3:3xX0: k^ƔB4=Lb`\9"{rW"ڛ{NwjR2#XQy:LbhewYb;\ dT\.~KNF08ʿLvUrui  )ET7CtU$?7Kwz/. \:.: ІLȍ.=/'9ۭ+옉r[CL괒F '3X9;N8CvigYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+W Zz-$V[&԰eB1S\Rq-e􁸧o:SJFgc|@-0M<pK\t?/!zQԨ~gYZ7zXZִF! 쑦h]ŗXi%;N ha7C~[A= c'񍰆T4ZՁK@̸jwbrrLQ$w_GcM>Cx?c[NYZc|㘱QncoezBZݠink\V`A =uZǀ6ć_b*&n.`=Eb?C) Ůn08iw͛F\UHB$A@fY#"6$8VmB$X)X^HZq*NL/|zx{5 WW#ĕ3V zhG5AK?Nk5wI'yDY}-(LJe(ԷKūaFV.jX&;3UhGB y= O8EUXʺV HM補(~RȤ3(n"ڒ9J%>BAA=NZ^`'W5O;@OBQ,P>4΍1;fQ+ŭ]^&OFv,\±>#Fa`E+Ŕ&-JFǰFgi` 0P2||lK;] {>5TT:oHmzDĺ>L8i21SR#aյ9 ŕ% @&9['BP`I_QF128?>8 !ivbţhs|S g6a0X'WE[YVcrX-Lꌃ xxZJھWܢI*[qx)ی|_9"$z~"}f]zI\lW@&IgO|9XZb*?+-nļc҉2)\}խBĆ s ؍RVE?NE[1ͣ,:HDH©wm饯4..wF&xqw M_neZ !Of%08|~NS *D g#+aC1ߖ2t>H3+N*С5!H'ޯ@k*쳩\0|I_0u]Uh͈jrxZ4Ϛ*c4O0,O#cl󭺻zzԇSQmƳfX0d`<mղ+F$ a3ZB^m6rKpUWtZTbx @Z DfyPն}1aI ++4jup@jbq:"؊"PwtJc[[ LzQlNեw~<ۦS+*)<)jj2&<+LѸ"iqP E$ZE<ʹ#6w5_FYByQáPa-`E\&{"!H(iz2C®vuyXMYf bc7n9&h+WoZ [7&qt@ 0q?ӹ1|1v8@5AȋGGQ˭^LS1AdAJeAd})1gCRՅ暺'pS@dRR$<}Cee>Xr/3$io4GW͚ Mj2C`@sJbؔ|[mhE):k({J6x7.IX` ?c7mQlɑ@IT2?mFٱ`>Gl0V.yi*(} #3_ {qnnD1m;ٲOZmQ +@}=wRWKM g @9 fڜGРyy{|Pai"S5fO 8DR.~phuz]Z,3mbaQ Njwc>Y&E;/\$\T J%iA+>S\ݘ"6OJ_SN=ۚ {yvo&[ N 2c;Ipl#?Q9`[%|[/|WڱAЩMQz]ò"ʎWnzߙ &TG{D5VgNo`o_tYQiC Fh3s=cD@uߗY%q0+ՍH+-̳RMh/ ۖr։)M7m-%"J*_A&>y%x"@p`'}7^9RԈ9 mma%/N}+F_c#[X3OWFomHm:f|'!٨h{4.[Sh4/m zDYT['GТ5cBr]f2oOEs,䁮ϡ-AH=BqZP/6.L7%3Ro눞xɔF-3E'( Ȼċݝl_Kţ(/:hkq:0V:9M?xVWxr D_x) HÍ++iիSNEg_8wG_mn?U^XiE*-[G*oybՂ5ϼqW'OY_#wFN { lBJ8lwhsY5.=.AGG(A`%3oAXUK m4ԭ! HC[x}Nٜ@c11:Azҷ M-FGy[g<%\H!b'ʟD 5fBΗ ljnhk= ǿBM ѶT~>')2ۻyB.UIf H]{Cڔ梽N+56G/v.j(n)JtkxQԱ Kci*D9!Nav`GtKbOVZe4ŤT$0y?Tgf1CN9KJi)Kjv""XЈ'$hV;ϟnJr B͹y<:R&y5qn>dxㇲ4[.PP3(#Ni3XgO5/s#RB"p>jK O ` X| =n iv1 Ŏ50?d)&D1YۗA88&x,,{jUVrΚkD՝Y{n=oM>è2n-!2oU-@HUVtjgOHݜ.Fsl7qɨTzEh*aN|~:@0VNlc m4ug*[?6ge8Uw[}{,r"M=lB xJ ,%/U['7zbzpǬ<#loA;! O5Pvzr V._NePE5,fQX9o*JG; W׳5aK]G\F=؛͖5ZC?˜ð'{ttyHwD?{zT>+t0CrH??Í:BV#[>1 EwJ1t^݀m&#dtȌ \ YyRmC^ Aim_q۽r-3<3xM Nqeċ6-2ºR`3Ui?PU;OfI>ͼIYaCs* £UYfIН)yWCnQ ~y[*Ql!ckks!unt^$  NT_@ pa: f!oܮ*N, BsCKdiMfNR :TX:Zb堶X3Gx#q#yķBj|C%}܋̆ ,. Ԝ5MiHA) _FƜٜID^:U%斥'G4JAU`KUJ 1m 1kd-RpS^rSN?MKf V S%;S,Q&KS]3Q@|- nmH%~qpxuVXۀd{huM@sPCb^Ownj'#))㬂0_"WhUNݗ~J`@ڊo= n_^1oc2'!\(X r8|# Ƙ- S4,:{mgL.&Y}Oj߲D^=B@\P!έTؔhfݬQA!uRŘʬv])Zs/{.PQtNAKa9l zHQ,bFJQBݷ0v,t{Vw5٫9i?neZe5m뭣n~LH%J~+);MI[{NYCʰ1tH]ˁSKqW~~F 1(т,/ -;ӺWd%/EE g ;4qpjOƥ8Rowx&*jw.>.J-׬N<'*A8v\&${kyz Ϛp)].@-<8$-•z_¸z9C$MYIE:ٿ23!dgk3w>A+#+ea*)@쳂шlr T ,]ju=MݍmĄxvX/hR UfSy PWwLy!Ve;<4 σNMGﺽʓ3!$NSp JU,˛1v{w-uqmyVyϒv'uXnP.;[?8D΁㨀Jg8ރVLj I+B<71f8Q>r+x]sh5[ΰtasOLP#8'%2܏\=P,zH/>Gt.jb:<3l 4^Uܚq<ԘϬ+Do6}=}J?CwEwFhju8B5[t{ymJ {StMUpWOD< V$ mߩ0gƜOG;\AHs԰ŋӦXsvc6A.l@ƃhd䫡 7zTVeuG.n=fn0'>>}[59)mt#ŭfۓfNsܪu-Mف\P 9uiZz3R9>Y.Ƚ8pX']bw3fP|?(K.4V0`8WEKѰ{gZ(.{ƽ~:waiC_#m3k@.78t6\15.r1 /" ӟkbfgEoj].dtio xӪ;IĤ^pK6y㋈!f]Ě=1zy(!ZyLu|Ǝ%nMSĠvc*frI>!0eGĴ +ۥC, "C`T /~Gh|ʐC J`Q1bf<iKՉnQH{ZF%P+_cqxta8Ojqh&ˁT1RGBd,M{?LV QFAToî 6GCCaO VSKݷs%FVuڼUQsDꞀn\RaQ~A.d(6ynk9WNUqVLұźkhuދ Q.OQF"jgBd(HћX 0KF+SRq'GMZv gW{'{_*,ةn0EwsI^siy+c^x'3BdjLwGy#qBeD I1(m3bi:Y]oSKI@6Hh# MCx]aBne/cvՃmwK*١wO@YbAG$-@ XcRvEWM'o> ۊ`RrOf-[mtePsd0́Fs5zxldp5 ކn":?0IGR\PHPc h NДSwnij{q"']# ]'t5~VZ RܟJ'~Yp-U)'Йcb@IXeܳ-C_PTb2ԡfvY@R߮47ь8 X[Naf½6xޱ2^3uVmZ=Aypd[ݼ UL뺰5>V-Of$[;Tr(\+C7E3z_oxσc8 @TD,$WIR+2& -h[oʨod>8U:( Fe J|%:] !ٳkҫ|^>A <4y}L8t~lQTop-3T]k5޶Da"$$SKU&֩ĤaŝCG()ͪZTl2< x E+yE'soԐsK r45e7wI Vby!vZx F9-kk0(4=W y`8#}Y 2C73vR߻e/vu%8J]T}eok]o۲^UR%cQvFxR]9 +/_cobc0Ab=w]F qiL{!-]\[UuxBޅ>Y4Hj<|4SK=`P0g퐃oqee+_XB"07MKԤ]1?|2ڧƣs쒍47r±cT >$Z0\; yuY;m6zK)4GG yJJD^cEP*˗u)kHClGkZU ~{u3Yp0%Àk"~!nP-  OI3"ӎ:գ,q6[d"2 [}vxEp2fA07n8$q:~nݷN~d D%NzkW"B8STgj`Ƀ0w3zmIdс7y9(E5 ܧD[NSg(K0dC* Wzz1r/ rQlW%Vbł4+_II";VP;?Zۊ,P~%/bwoV"Kju 1zӘ 0աBT9/SxBo L@ރ䌟jd]eE38(DEM滑EE51 @j6jۜ@{k&- ~bNK_>16W#-[YU@\d\Ę+?Weƒ)B:X,nl̚JmLjy{ ZR@S( !73COe~yt=_>o}gԦIjT L>~ղ)ޓ+"LTRɶ YD{ZD#<:ݱ@L{qc!>I[X¬EC<5 agQ8 |$d7yH*߿\<cHȺD/p#91=.A(Xxf1yC4KC=>彊e?Km2.d"3_aYUUsCN_4G~_7`UMbl%xٜ*VIJu51mg򷥝4: ҢzW61Ni3wںL/)Zj牞#3! ՛{RxSTؚ8Կ氟MhO'L2HM+|OzIv$mB0CATœͶ>>&CMAYw"m'458rHug39waֹWpOBj7)S>%s&kl=<_ fxck[\YdlwzZwA%l Q\H|aAlNY69®o!P4Cy'لpTv:D$O^pGe+#9`zؖXp؟G]c$ꂔU.u KGO; #wѰ_l5J1_Cf" w%<  !?[)fN?dJq1wB19z15j,8aI-_rʭ]{8G1v#L/H+9TLuɏUM@ 0@ H%xUXs} \BL@x} x?'{dR|+]; ol(I N݈IJAE 8/74N4m'^S+?@xrʏF4IgRC,EW_4.7Ig LMzQq 9˖1OY]2p0oIG]?kp~GBQssV).Ap@/^ "}Z}?F\dPkH@eV.%* >XQ+vLvɫ_h׀&#OTaT?< uץ1Q(^F.B'ůPC N|,gŃ XP^G5mjZ\lQ=e&4ܣɜRƟq!VM@HxSMM͝)ybFt{ K(|SQ_)/d_+48 :^}D|m./Utidnpu~ D$b3ylVu%(+. ec2w-/RJ^w(BF_菩<*now j1~ r:ј@?&ȋ>r^.k]5I,9C"/ Ei勬$e8x 6 ]R +}3|=Gq$VODZ V"PmEF>5܏xmm#^'< I2뒧Ak"Vxj<`S( ;A=Z: o4̤ʌH)NHt#1[ I}qg e(=5eڗN}Cn:E"eeDoP'`R2!])]x6ePAW4cCS'N׀gjXeEP+6F1}A MuT5,8#5zWjkQ*d`t-{^ FpFdX<05:b74LĴ^$qՄ%<8wo95h߇Ky 'ޝisu@WjO~W'JC#i͔eiy7OI;VՄ[H֜7" j*>k$"K*(N#yj%x!6=k.M!3ۂH&Ϧk`S-~kqSsK؋X) Ƭ}29Sj4wLy Kdop!v+4t[^Z)˵xBCL,*V :L>Le٦N8bzYXF)L]] QDlG[37A)k/|%+!bg `6~Mۏ5g?}NHXǺ'iMrA>V8&-|.~|W3[:0ʕ) bs׀U}U}W]#X>%<^vqhb^ƾ zz+bVq.Kls׸HtX nL8`؏mV[iɩr;aUB }{Ț ZP8 OXśWVC \ռM%T@ s@3#ch޼uW0t#ꘙ kM?#$*}HUg ֽ 9f.һz :V{30^9h(.XGtq1sXmX 4 K93Fx;/|e]vyLO2 WY-ckשYag s[(_;.Ǹzx̾ʫǁ$/|JP rhke;yz(ʸ7k&4K[OZW2 \ ebYհP%|j\ߜBDZbBɬx*v2Ln |a^کhNRW @wHw)p*uidrUսFra;/qFeUJ)`4\@FJ{PuLLXL{Gv@j3 ۯ{%[56Rm ַ!dǖ~D& >jW[~HV6XE6J>=;eގBZ@L+b6+i{Q/>ЋzqRxC,n}(_ntuy(ʋע\Vu/I隶X*A1Fx-2X{+rb饫y|Myܖa$/2eYGۀ p4i.9 y{^ F,56QK^LJij[Z%K8 fMd_;bj-MLV{P t2%D}x`{n̙\A?D7dzT)[Ns':\F EKgNgA(#Bk2 So4^zȽkb02}*ͻ3]kIinׄyyMGpd\![^0OAA 1:E[+Oc:`.K+Rg0b JC0\f\cw=w̫uTn#e(#D6DYnƵ6 mB:Z<<?)KE-$֜a!7ZM8I(nIfTƐ3kjw7za'r[f8,+{FR@)rՒdj7fx</djʎ֨=m;)Aɜ㠔MkFA̺FPL6 2*KΉ/d8|DKط`'/ DaOM^DA>sD V]GLla]3 :>BpY*:DF6tsԢ}JtNͥh\.٬ry5 2Lg?+k¹Q`Ͷ1z|Dm%(iۮA5t`m`"btc8@PVd7+ɖh3s`1/+n؁#"jc:p=wZ,Xbp+\L\XYP%3 ?͗{-f !2s-n^t(Mf]5a@󚀮G:Jbt'a8W]FrQ#004B?76JE"aH@UYYK ߙx\݄k앖[Me~DQ7,w0FSߊ5{uYڤC"p%9+*L#90i&e>x k`k?J'+%ьOݭƵ8gc~I9nJǢz+fJ~p^[Z,!W OS*1f|>p+mJK?V 9,Q"[1Ʀ 8N[n<Կ.c;ye",TEh涔p|Ti_ nJadeΟRX^)w6h6c#jWt a;^:U]Iz"N8mOZT?BG~.vĶ' 1^RfY‚ eT&oƒ[ .}Ю+k {X1sPׇU+*-]QN1(KXƲ`{ xwBe')jpܿN"yCK:$S_ӗ]l%/Sf%iЅXw@qsSI_xR0037}: zuWtxuѣN-A Vu3@-,MWr{̪dп8yEɢT:Dz]>#3&YnFhrb!UTUNwpv˘QEb[SMՌ0H+m.S㾽*Xi]!6aV#CBgbvcMZ1}I낗fY*=%; ÕPWMD4 b:5ևK'9-c =U]sKPxza#*)&+G2ԱRd0]5D底KYpg)m\[(zT(\YaIj--ҙ[R -y J'.S}P0Y}0PU>7_)hrw+jC͊n/07yeVI=f@7'S9:I(D UQU|&YG.j=pe\8V|J yܔx'Z[Tc= tsŇy$ͲR„E&?]!WT͢ssE_ F^ O|V_Kym2B@>LFBR/F1}Qr Nc ןJjDd2Z ߨX.#|Q$oisoIpX*OpUK1ʚRpE=N6媢a܀ۋh&(sv8It)V pǏ<MԵg^wfbhLFN`MxnK+4l `qT@rwlǖܭLxKS_: _2$&n^5a$3I@6cLBTr)gy,90 毈?rkfL[Z_J*Fe5Q}eևe\Iyļ}~k3;N_ؼ3#ҋy]ԡXOtjo1ǹj!voݏ ccr u(+ 0TAsSU]4+ 9d}O4}bѕ$4V5nw7Fhrȼ`^=Y`?펵%9#DD- ɻ8 gK1V VKPEZ0sk^:mN)qJl!&i~h'brU5sF\YdҚMaB$᫄ױHhp[@|;nmeCCM:)KN uRX*϶K-M(=b/s<mgN#Фu wt/~EFdZDlA^O Y8zm9JnS̷ '3tCv>v-Gh-c94 ngI\o͕=s}FA'i0Ry}W dYU87/$ %0g*U _ꤨժIyI&,ʶXsc $/2&}&O'q"}3WAd:]eLdtme+ᡡ_:@:0g-0:ċ&fy1]K(+ǔOFH>?Rq=#Ǣ5QB& ֭eL䍣̨80|Qy⢭ 8>$ˊ9@$_X=mqMW t5w]gBĉXJ_W ZbQ\k:5_iӔzTNx /.k6nήOGwbzn/a2_m ʃ2e] ҁ~Fx¯,ǁn`7 (OAH.Tؒe I+EB#%S4*,Uc|tbs&]z{[oxa -GULi3=7"r秚k,QwƔ6Ε%4@y86_lcK40piק,N)Cό#m.4c."]\YMN>UH QIy*- 7h\Hc]pGA]-4,*=7Ao_hvw4s =_vB a)H屹б) p%ףe>!zǩl3"g & }3&" -Z! şSC p( g6~l籪]:99`Q,E$TAm#3k>5RhFd*h5M5tU;rm _ lNC)h/XE@9sLSSk81Xr`: .p-tVo]gr -ht~y]Z&‹yth %LAI`2M+XRYCa*=k}qu&1΄Ϲ4 w劧;iqj4TlM᪈sVt,9gW^.B8=v4p~7k)@s-#c3(wyg#f?4JOr? A|u*[~Htgg3;vF~_Z ;%,6Ƅ(禼c/crvg,-N\ 8qm_ؙ,.Xu6HpW!wC6(h-α۝bg_LS,<[upGz)D.(E(HMc z}oq6Ack"X53^bQw59QR$ kY$v z~2V7T5gvٺ&!1[ާ'%/i#*\ɪe'*7c=#Yk#ESr0y-iK?41ڮp{Sv gZbp #iDrqMHq*]V$}g2Ho)0 0qsvLo$ؿPeDczh:b.X lN,8MMf;=Q{ V Ҥ&-'׃.7"IH SnH/|ilQ=53MfS4i%?҈x)af%BP_({a(~h,Tf:$?C%bw2 jpzdeA0kszTZs{#o%I'n{hBR) >< Ο׌^vsI/|HHJJ ̎k$[ZjI_5iq"s(?WXN5=@s pBqT]Kͱ5a 2xD$mBv? rCY%I;}z5qfRWe_S[Xny׼ n Ӷ̟ l ̮iv6ŇԲ.5߃kϿO`5Fh\Q AYz}VM*^0q \0bH5t_A4MQrF Bڅ6 \׵,֖.}`i5,@MOiҕ*^P\׬++\ 8drNݻe8 fq4;C|xمGs>,XpI+*+=mSta*I+иo[p0"1:fw%0EBtP3%h󂬹O4->#6s+]MugxaDNM E?[97k$BLS-{հhVY w:2{T>X  b? $窙t!`wq_2XGbxgxva1T7ISr=KCs*<,Wo5w1| ZU_S-(1;n%5e5>Z Ө'% . Q:+L7T2{ъxB^"4vjb Z J᫒Q@ӓ[_X<*{kP{~sCb[a7;^(38|U^sq0 ]IF 'U c@>`R[tƊX`ֺ ~K3]A}bzIM+W ={H$5gy[_wueF\!q3n 58lCiv'`pȿy^cV! p")Z1mNWO?M4srtP•>A ؊ķLT'nuhNVx}8``m~DѪ;hqDB QQ1ii k B4v}LqK*dĜG`Tu/XM"98F5|Ea֔7^G\]g%&zq4FJqxYD乺SoaIA-%`)(3˾nRiLJ &Y & V2gYZ8fcd49c12c18df3341de96651bc435e6e9fbeb4a1478cd8cbae6c2903ff8b7580a1b47a0f1487a38 aa8d72250be55f6a4c5e37b817be58eab22b8e4e df3ab8a8cb074892e1d309de8e0634e2fbc10e78 93a5fcbf34b778ed29d710b3ae2fa70cd85aa1c1 4ba1edafac046ad81e679af8f2a1123c68ba7c6c