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 ~-dT4 ]% HOL-ODE-Examples:threads=2elapsed=738.319cpu=1387.748gc=24.736factor=1.887zXZִF! ګ=}4<,厣,a+VqaoWm{ǨoLzPs#$a] n(Qh1)D‰]gӽhK}h[ y$4x;r>Jn2*!ASlh T[0Q=c)΄f ExrhM>vtY|ØrW3<+,sJ:}W癮[hE/[5J~1IDOz"߭7ǃJ)fW@& i'ÅCtǡOB1C b唷0^_dݓ0$ /&[7X ft%}wG`^(\WÐ*fu:5:YoI;g0 3`)_ rQQjm<ʪK3aD2|nxjR490/1J>WnqOG b+E_ǩql^X ]<[wǚ9>Y"Y=~f 4i%}H\j47aĝpzRx;ecoJV aQ7Žon{M؟"蠟؏"rӲUQ"+14(q1ykn.g.~Gx7È]۪!=s,/dO[u~x:Ԫ0ke]y,^Q'~j;/mnN#ٴ_CӲk*HMnQiHb/]jo%BOOX+D6ѫZpy=HNjFIF^~Z<ZOo7lTVuJ^F귷OZ2XI?$2. [%ƍ$PNJЍ11E:ҙN<1!9kW633'Z x3hXgYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+u~*'419f5Iiji0+U)(TVVOh RAN_/P%/8(OP&s=}ux)t@(z4rG9gYZ7zXZִF! o]ŗXi%; !0]֌6ck/Xk6RŸ aSZ^DƝިK }~宥G!DI< u {cSmV&-2+C W*?K]*͡IR" I8+A1;GXaJy50D+ZE G.Z0#qk}Q^ $]u+$mg$;p޸Ad - HOL-ODE-Examples 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.)  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.\\.ouO;o<\БkQ؂Kה\_1]Ck@5ϪԫC|;up^wKDva ˱ș 4rksי[Ӷw瓒Y_v@$BeKLNHu .e<%yqX? M,T/ f vѻ}yYlͻ#W>l5h8~^YODrY,0,* 4UG՛U'B+hܨy_:jx q[խ n@t&٘vUv:.O4Y7ujBӄấogT3Ng+^/󲛷I3ò,टKڼiWOKp\']~9шPʸI(DGYf-Eva iHN5ҀcmT Boz=nܝyQf> {ަU2(3+a*녽;u`ǐj7k~nܳ=Ct]=kP4Eö$j˖|,_MWxH:Y ^oʈhPըcП3фEPC/!A_''][ZO7԰ Ur\r]NBϒqĖ8z(vSmiejltd9vLm~7S~C8ov1fO]EY$b_SArr{~W?@\> #b*&Z F8 `hEMteM;Q fIU~i j*T^dF>⑬Ƌ]$ԝxhdpv~}6)h-A.R"\7ۡc2R[UQ8[G""|b 87XN 5V` jXKBD&2m:(seĢ$2d)3! 1s>dCmmi+];Y}^.K LyyR}FWk3 JH|}]HD\Ï@#nKj}9ߍ`7.HnX8cb Zr RQs\_d<\'eTsaGUEk^2>Ho',}] \3p(йW\@ۦӗ+SIEJ8JtJԔ#v ̱lp 5vAesH攉+>dK1 <+Qve<Ʋ>5lSMީܽes#*ERF)M⭵n6;'0 -4/#7 xPvxlt*rmvUymCEx1A܄tj I(VH(qq]vEfVR^pI&zw'Og`ڈIf>acTďy4CXw]kh;BņH}ηLJ. 0Kj;:h/E@Bl ːH bhF5 U8,L~c#|/]re!Se SEFx2frm~2! m.7;cMO;2pM((3IljF8JbHRIc$b,T ?0]Vc;Rrcݩ U)B]:S)+MP;y(!À*߹2jn{GKY16W91g_ kK{;L3C+bvƲ&o=a+cɀIOq7 @Wz|gGv{(mYD ā 96 [~C?`νGY$ I*OqVY}L=]ÚgcW+#gZ@ f!adR$fd!qFq*STRsz\bɔz""J T1;W>Es5'<)? n&L4b݄eQkXi vcikJ|iK gJhW`-x0×:I%7vKOơ̼ v'^:u,8*C}աrK $€_~mnǭq/D[D`PWor.,n6Iϱ΅P~"죴u6^6HVR0Ba`ɠ xO1LNWK2NF-@=:q6Tp" .Qyk[6ܻ89R {[S#r%2)pUur~xUxU < 1XWܠ?_u&>^u, ¿}.X"c= 9=S/=o*`DXv T3BqB)#1y/%:1P1s,v<Dr7]_Qh,>p[`>}a;NsŅ0`4Cho 5hX)F1^T_K43v9 ]*8I1OovD/tjT-@?7rYHQWsѬֻȀ\.䖕p|AO-Gp;sbPh:Z*([{=>(d~;V-3<ǹ#a&n&s_F_NA%VV]qWqn|&ECn0QCt0cb㏫ݴ@5tՏYss L.-o $i4j?)YxwM-˜RͨX֍[ʋ4ٍEnEQxũw5(5S^l-d}Xp:&7/Rƽo J>ѬXhܵ&~Y?{Q`8?g؍Tz35 kC>rCM\:J靕Yǯj@Qs0tŲS,APme9}.mWQQ%ϊs\d~+,MZ!}!K;S'.Z@{Ls3Hk$|LH"ɏZuI 0q1^ML,,nPZLQSa"S,m6R6>ҥ(~ 5xL[٘ͨF!@[|q6߭kzpK@ cn[9QݼU0pu#2<'0$4'U(b5-+>ǹOC׶1g J rFW&hF;>R:P1<@7j菄Z}>=:IZrܧe$nG:1i>UMm?Qx}[#vu?6]+)0D+ieSt-}bVhl*u9 roƇdLkլV[я|&v_(@vʳ$di4?L.0;/| m5d8qnI?i2א"`W]WȽ>'r%4?C) ;BMU "/]J _~KA>.X/G.mZ㩽]<6\̀ n~&aX61 w47ߕʃt(Qh*;{{J5v\*U# +LjE r}6 'Rqz5++Fd=UHT,*bl71aL&NhJn/YX a>jrG۳%2l̡p$Y]*$Ab] #;5Q֧̙Bha/̿(jf I 2%_4'9ND^R>@NT2aRdsg:3*W(2_.0fF*?O8:x'9QQ2݃ v\PTț\'DwOJ9^WuA 3YToGٍ N]Fv \tǠW֊i15Ō'pcRgp K87 bo8&$ZF@h}[3-@Z X#+4/t?l~՜S-EGBE$/p$0WnjwQj3\_u INeYvwPz\Ws⦉چFe5S<s6v-gNQ[)h|ጒ/"Ktt>,vF-Di~M$C$@^()8_P >M_X!_9EHM= Z9bp$ qPg-{Ѱn;Aވ8g*],fXMEuתm#MAj{kc_'i)Xmʳ.E /qJ>v4pq.dI N ޤo7}l bM!.E{7 z7lĿ1sb R]Q ҹTa# Xw1j~f |Kd,81n]Ei.=#qOީ2pEg{XKNMo HOԙѢ88Vh#*eo l\ayՏ`bT+w4Xtͷ1ρU2HKJjv0O/,*`( I$)^TjNjOF=5uJ2A҅X82dVUwI+?O},K+S[ZP'E\.Kx GoC?'B[l^jF'535և<$'{ 6QșTP$ӹzq3 'eʊ ^q4ä8g?'%^taʯ/zj<϶J٢Po+I40^G5O yq{,,Q79+K஻VG5X|&̋DcEV0k;`\-s2֑[ܲJmLW;i  rqXcڒʊd oȻMuvрS%~sH=Vv>!!Y~%:2㝎 .TgC`NkTl$zQI{ Zbd6 0x,28!dg뵪eq_, Ɣ֙{_'F@ *.hXKg @ն tz%w؞gpE-L,w#q$:NXgh9pB<2&IBD,jyLJ˫V(@Y?_s*z-NҒ [:Zzypb 1貀m$%HOXCt'^[1eP8-{ 2 XԲ>tY]\ G_ˆƮB? d AS4Z8nPCGك<5yq}v\i;6@޼ӡc"C+MIi#:d/߃\V8HصŴq&^Yb;si[\.-a(w>GN]_bh$kx1&o'RD5'9CILW$7wYIw?OL2 \z1> @QI%&BJ <ѠbS_2+sJ7ڍ$ؼT(yKqkrPy †D>[HQpMm$j(Box(8jq&#ǦJV_O(=I3R}⍢.W  ӤHkITl^KQ 쳨q;jr!вQW E3M9:KMFۈAOl(xGz<і|=EKLoZXXV-pg:F'LEyTh!g X?|GN/W}hbڜa`4WY8nI}[R^g)afg&X锠08b -ַLv_t'S$ lcr&$5Vۢ_[v_0ů}\ !h^N2I_NZtNEEy˂DaI9P4p(@Իf6؟RaI$k& .1j6"Ji#qiҧ'1>+ F"/N9:)FGτ=5˧(9ݫ@Q'A3mzwJB*MqT`W"ͼ*CRM$,ZFMt#:Pg8g:w(%vM e: >aI<"فcNc-Ø[7~iTkݛPU]?J޸H9ۃ BH3ÿU rHgY$wsq1:πC ԼwK,vL-?S6YJd 9AR^Agb ;b/D(X|[j!?*B.eA/ ̏/R@\m~+7q*5dl#yPP##̐I\(㴧( >٥z|\l~IGc}X9.+,`yfn$![[~Ƿ!7 pE},k/?>bys/em:ҹ+t\S +u\<=Cz 6sSbe9V~I ykҘ9tZUj_{:cLQNbO Xs@mCS_$kSwJilu5wULCX$?9Qf8##"ȃ2'h: =& 3VD5I3,p]K4Fbg/D҈ĔBj<ô"Ka:9ֈIɗgIM1R7'΍0+*3@R]MaoS<0&#br+ nx(ZPtT$/(rI<~6mt y=,4DNfpVP81BxpW Ojn;ߥ@xHcѪ!0Aup%AuA-ŸTVxe0ik8hQ37?=ad'zmi}Z=uS|{52& 6jWGo%ҡ$dY߀_X"u@WqK*[ZE"zfF04"9 Y#A7}h]ݠQ/InesvӓsԳ0@EFlː6>a XwCyvsyzm\KHD~:O hׯ}>Tܟ͌"+ (uWQC}l@lFSqi~4y ha aML;r !֑T$=o-ĸp4`fri(g^:+O1 xr2n”klf AfRQ{[t$kZ>J{$h! ;03 (wm6B %޲r6[hcs6?KZr;*&٨ClțSY Q hE׶g~ /bnz27ުɧ|q&ت5N;TxH?ojre0YGeCYX3[$68yT!-wmu;=~ 6=;OWX!AϦϞ=/d Jhm gi }X]6T VA0I-0'cˬ 7E97QkO/c־>䎤;w;`]z(|ݡŊ`̢׎+}El43!J(F$ ӃJQ;2UN`T6qWxSS(艱 xߜ6H)֜i9w$osCk2 {l1?EWAYS94vgma/ ;sjήj1̷ CTء;!#n1PCIZ*dOG0>@ VS9X/Rc8+{V(=F'uzX6JL7Yimd@zC5Y9`RQH1s#EHA>+~kj(iԭ73Չb?*6_ր]^n{>cۉd`*|iRV z$n_uhXKt#y.XvLF3%Ӓdo 8D'C=¹'>$d (;ץWfHT+ mǔj+D% }!~gβV8z~DB(d1"0absؿB}8%X7x uDW/T8tYDQo!kbۀ=@e+,2 !/k ]8sDWMeWGv_vʼ32tR\Tvt-ZQ_euBEf18셤0Smvt_eR(Kdk">L أv(̀- }4<@x:Hك @~g(S!ϣG;n(,(5="DrR޷i.L H42bQixb˅0FٔgCOm(ԔE:[{ =uߤr̜++s'6bP1"x̫mgPMdwvD |;^ e%&`xp%NWA wx._X*k|5 c,3!"x(C qee[]-4{_ʉB^ȩkaZAzQD&qar.% 5֗%_- YuF5Po_<*Fӈ9ӱoڑaѓ|o>Jhk61g[D)2]ZˡB;rL^Φ 4ĭ¥{5]}[Ku}lt](zuMc1;4 KUtñ0KzՋM\Z4[Rj -VH xz(oN &ͭ*X4z^sq'\"T\{)k8Ed4N8&#懽,/ϨSt*H`hdOH@=ڠȊ yaG߂R`g"b'k\l)Xw+4DlblOc`xRw*{@GCO4u^=Uu)$ ꡣ,.ݙ?8)ߜrtXgE< Xt 6dnN, w,I~4-"µ+jGv\"Su $^Q sɰ٤Fxj rCC1RWI[ِ#I ГW׬u0uFO 7aO|v㗂2=0/בXzzaHO]Y'jXxs@uQ0HO9]iQ$dHK;gţ쎚 N{2ecI}UHh>;,ܐՑ=&#@N]le;!FXGIܢ@?僕At tB<μNq@ o"Vrs+Ӆfv`N"qp2zگT{*?;49DS%. ,M3<|]|Q= oҠҲEe! i:rVo=\T2pu/B~`?1$o X_oCwP<2 >`z,= wIl(;v{듚Τ(̢)sB:+# ̿뽴0|9_\B͏a+7s΃x<T:ƪ 4Y3 ǣea߮,YCᛟ2et6·#>)kO / x68|2BF;qo Ԯc JdzU! (w P;&&#g(1j9[O"M8 %vB8@`ip\ѾpW2}(Kkfgj:ΘYk"<]^C@_DBh؟mĭAF'ꖌ 8K, R!·9v]JISm"qVaPθv-i'?wMu6,v(2; XլF(u4nYiel1G2`idnݖ7S.n՝A@ EkI~r}fu<^)|`7ʝ7zI%"YVEKUq™u͉65tuN/h:Z66w12uH/|BЋ`$!=s]՘#!\PPۍ#'*)z1 j{b$!3!꺶eQ^Le 9QP,MLd?7(f0)3뿸%,=%,'DiӍ/i41Hom ]ījkqWFS$b{Y@{)Ȭ#R[wp8O"XzR-*+&8Ӵ7=M[{b"Gc2ctd4ԿB}:?"R?sI[|Ҝ7Q$vq3ȯsyG40kb6SowK6+ vـ?`4C[&pQA )}I LYGE;ͷJ|=ͅn!OwX&+ 2I<f~ *B)/eztR"I93e&5CšS`Qz7Mx ]QkPmMG;;HԷ3Kz1!TjjܺepJ׊3㟮cLq`,ӈ?a,AV_˪ o pHfa}%)>DJtn?̪^Q$tK}4;}xȯ@V!֛P4LO<UP/&6ѯQ e,nѻ87=w -W@shzo!zoLx9ͲHfBRJ7 GTAw CH} ?.f_9l9W @&X©=@7H8M !{^$ƅ/w,dāᅅؙYψ,t7{x7XI>"[ : ;D4a3A۱bc"a_vqprhkfl.́+C3^Ltx]q.άk 9W1XkC=b+.ozpE%pn7 @vĉMN(Ġ&?Z2ABVEFLQ# QȮjjF02AUhK xt ;Z*>C/^z˖ñ?la\Oq"]9n%{>lv]/V(@ ˁT6!rj?B}l=׸jd)`vR|k\6١PrKA0+gJH;kAE3c'mj@S *^qܳ(,䡼PU;C|R^ڀK ݬ 9{=6۹GoXTg@M<?b u'SAc]ҞߋYIH3{9|ԷH I:ǮV'^VsH*>B%6bktTo"i5.P!D>@Z\!I\ 47'p2'g21[e տ{nwIHwuHDe?AOh۪rrr __'Ҏ.W%щJ7@S3.XijZY8*rY4].'VqyZaLKJjp~\\/0Gf_q(~埁 5`H5s͕mn llo{'CuFiʷþ:_x߲R|V7뾒ZrwZ$P@jҧX$lMv:LhDƛu:iY -n`mpTE0+0PApㅝ*f;`l .*܌ |G6m{a! HwtJ 1p뉞ڵ&[1+-ݣjjQZ6}ķWH4y+ek/jHՈ[|G^3mu,.C[أxDjħMLyve:hZ[MNq񇱊\- xM<Ԟ雯)ׅvgBn?K=ltypJ\eu\xa<@6~:5IجsSQH|xC>L5n 'e'BЉlA<3lN?K?eʋ,jeҏ_) \ a)T_dw&}V烈B,mӎ c~Ipz⡘eºT a4͵+Z2F\7DVgٓk&Pl T-KқlXP'(*Wosu:-l7Woչ4ôHR Y׬|{bm7s|̋(NTȑ"m%/$u A5I7>z?)Z0 QbLfOmsfDag p.hݦ?MX s]gz蠟޲SD r@vzɉMڡSRSfo(CJ8  [D L:'ȃ+M_@Wmְ*yI{ݻ Ga%j? lpfL k@EVT EtM2Fb;d>\5eፒ 0?|)$m*0w5f  Z+bMD ͻޤ.pj蟺x\ 3]vb.F|9_*2b`QLb}T,H5O0㴞GsvINɦ[h!dF e (C9}J ~2|B vG>ˆr,eȏ,y2zn[^k<Ԙ vء(# J y3 4&+o<`-Voޚث~7Y$>x'SgLgګ0 Xj/Ѳgꕃ&`F)\}dS{DK P0=P.-`(5N#uMDF3I"} A2~`;i=(>̚21ۛ)QQ0Z 8j6FrkB@0t[Xl[;B̺:Nbd]y T ed0-ZLj!;,1D"A1pAb'@ 1I_V"a>" "' 4a\A-XG]P,C-@ zȬ ^GP#;Zdn!Pq2:\1T6vU2F1:Gc>g/T@;#76\ϩP/G$?zH30kinmd@/- )ƾyWv\5MjHs NZ (!\^ [ʻ-QGӠYYaCM|1}?qLpcW AV╗Q -#dվib~(NL0أB&4ʤNp|=IBf=f;g„ܞkS %_)ju2L"jexz{܁Ȑ|C~1Щ9|1k[NjOPP\M0;ˉh D^x .bYdLX"~o , nge1mg&+Tau8sdc] \'\ fr Oo"o[J 4^t\_D#Bе݀?("pk^6ä1PbSKxFߙy"Y$.lhuG8s{U $y\~vL G -_$c^[߭(aZc/h42Zũ{5MW?GKu|6`n|X~n[h_5l-΀Op*zR+bCљv+("M 4dL"xnU;֙&|1Ge%ܪl.ᵂ3XS TCzU!PPg}5AtG@#~u,bYhzbB– At_}Zg6K * /~7<Ň/ +g8UDRQg#f,bRt .Vc( O|HI =GWg# ~k a8k)W1{Q9_; rE)P7E/J d彈M [W_jjE>f=-PWXopUI7i[#y>ݓ?יgA~@N ~Rd*"༐ƨ0SQS9.j@G0Re^l͗w+u-n n5t@{JъYt@ږ< $sS{w`0O>>}|աnJy)/-*?@Y$mNBV1e389'ARa \,v*2owT]BNOIĺR™VVOipZ=_Z|dM,QmpTێrGZh@VT@:(y%X忓][NtY /[]"-;Rߝ줈Y%E ՙКRzU wFS.Ё1x4玛%JY8eM(1ߘ2EfҨyp>NJ%:ڕn/Mΰ5TbR@2ɯB6шo]GRcU}Bb*("{te5(*EU -9zj4VTJwRJ]IxO\ɳ|Nky(:WG+0xzhTWʪFة.MsٟN{KEnN]l*!uK>ӃTʼBWJ [2z- A 7ݬ@H?dL<#P&W\4,kadd| _QZjB7$-wM@i`+ w[XHCw 1CM9^y ?$iXLɯo\pP^C N$ϩ2!?ʜ&`g)N͕KL]'FNT`6BϐjBTJ2u1zeLFnδ*TL1=iN {v!_KBUӰHy C\yd 2㡣fܚ\Jb t= jxϠ^;G x8>un>/fW2n:rW?J%jYTˤM[jy\UVB[ au2C^fqQj5P;Ͳ:K -̘'Gz2kʡa"W}ukdc26nr~9kSgR3VZr2*DJl4#q5Fh.u_D;qJJ=ѻkҸ:Dv/EtG^J(p| Nt.,Zm :B==kv9f/h(yc39) ._m>au@l'O|| b3^թ:u'V.f7dC/6#eL[7d*Mi6]:4LkThҀn&0:ÒXt6ie7(69!.x 1E$A/UR%UwH0\fC]^`߸rR }$&i{oN-R1@JAλ@Rh\:M(>?* 1ܠ^ ~|i/wT尦KwTCeHN!ߧ:TUHUkC /[K}3(﹗: @,(sFBk*.GʆyQlAI`>[]E4Kzjk v _"aj蕫Q`DT)At*OŠ'4)÷GMw˷( ZXc@ [ZUMUS.C?ݐk&<r𯬩T4BlP~4R%Q2'yn[LrGH3s9'"a>Sd؟rp6br#vzI >ILpN=EU}}Gɷ0Y7E8wװ3ߢucp]5',Q:뉲vk/ `р@B/Fh<~@vgPJF>tcbE{Zb!d Z,kb4Od6(Q ä59ypt\$ muPM ow6wʒa"f\Fo1#~l>tрjw!ޖ~ F@}p;"Έq/r߃h1/ t`X[?f 7#_>vMVo$|jx0[v -A[ šԞ﷜J癭Ԭ4k !ʚ|Pq/J..#6XZ3!Tl]ej*ٶmJ=PN=~VJZ*+` ^y9-+q@Ti;p6򜨬&D(Sʰ#Gכd4lVY) d"ʨ5.j5X?׬ч vr[;E3S]p^w$1!8fDPj7/_^$vu!vC5 [h/D w l\99!|2K̛ltHW(5j$kQNU,"B21 x p*%H{gaĺ Uh$?i4)ku߫L"C_<%vKhZ ؍I5c oZtljy냚.4u+b39EBټxgJgtUPD= *wAG9I mda+Ֆj#f?gd=M_S$ּKU%Iԋdٕ8ɼVUnqhsFJFK̒fstEh|MTZ_G5tv֤ʴ~,'8'j@ =ɣ3y08|>'$FSI)` ڃ|vPM&mHP1v8'jl|?inQb;%3_XܔXB۔s Ʌ MyzKP+`pe:rvg#Ү.UJ!h7yQ2& 1vƥ|ƫ1 fzQ}ʖO?aZ_viلl#DaWmJLt;?ÓP?.4GZ$5fsDǕHA𾎛a&.9Uf;/YJj#js-+9#I'L}"gJ2t]4~RFxe )JD/$6URPyYPkAB>4ߏL]8s߶կ$-{J ɿNž&rNbY?%Yh{<+Š+SҩЬ#0HSLB,T-Z&E'*J.Fa1l~B|ya4M>LO:1L_ܯ~DXL8|"pq7UtLL2L ]qW$%gJj2؜W70>CT#'oZz8=;ͤGzzN+ڧk!- 0P9$_Et}$\/;#`Tcb~&Æ-c &]`GY4Ybu3V3U,taOdEC0w~zi|$`kOQZPM = "YDWF4Hd6ښkj?ُM#T t26n%nQC ~6`J\?Y]:aŷx_?7q7ć h֛TJ(ڮt=, >_bܪp|*oYHԎ OXO6u惖.U-4 oؓ17/W卛-͈MdCOIVjȰdIO[\+3\'~/̇x\3GЋBla,~L<ЎU_( [8.ɻ~,4XSP^* ̲ѣe;Xj}\tCi&]xˉ̤.+$%XX_+۬y۽{86LèV_H➷O!a?qࢗ. tU^.ȭN $ءZ&={ܴ/$Yz;]زrofV3SNNͮ"̪Vs&Q+^s)$(pW7k +5ǃOZ溠2^ u Rw:>yv' #Z{gn?+2zɇe47[ܒ١0l|Lnq ~'^”U!{f; B <^®1!PfdtF~?O̟[2eK++9bm'{k'rFi14|;WH~t_ G,:3@ '?/.~i (JlE0a6uL |!g^\{?:??e1酗w\Ft+=R̃:4vm׹ΈpnD=z# ]P;J `&y/+|YI׹6"E/։`?i ?Ie+F7`v%ń:1{emSØ,D&?z Ž2`yBfÉ5xEiRi񕾃䜓p&9GBE鲪rXpR"͢!\^lqOt\ gbC|Z.;Ȟ<QUEr}+d#?rg{31OI'?E :<ݵL  '2ӡъd(03ՏYrq* ~#HRgj/Cv ⴔ|-ֿp_OV)t}ZSgTΡm2p0:C4@P?q*BS.7#LQR }Jr o[V뙋3H;%eEȚh.&l;.d=ܮ wp'ڨHX3Fߐ-=F-ٸIKA{;vbeC@Yʖ50&ڎk!wn_@S6|MkNRzZh^N/4J퓆}"Gh*ԃ&ObQ-";O0Ɓfhl`fEc^=_^jȼAXFD.Du룬MJA86ř=iXALs-iUi }x:gRf'Ď_pZa" -k(`+Fm6\칩a?s^n>]9g'15MxNMLV(Il-uS/Yu0~ M}t9v!lW'b1l@^ZC #NDCU670 h( uRڐHjŧFTEL[1{\H(\N0U]SN#fKj~}y|tjd=_߳"~1D~z5zugy*Or猎xU @mzL)NH[RD%.[ G/%j ꁹcɅ`] jj3qRY=\1ڍE}L7ŒN|(o۬g>GN*$dxCW-ӿ-QZ0FDn T~Mc|vFHG]1v~ߕn CkYWFsb9KiCOK7M809s Nzsoeɸ@{R<(Pmx@׼~TNR'ƌ_[C& SH0Z^}丬+o6MP^V|%E=0$gIj3])Q}佞 Z^fDp"qS>C|ڛG;t tr/D4Oqw"l\x\Fv5D_Yj] cCq*}NtWoQt"60H SlkۓcoaBzjÈw=*~ɸTާbr$g|Pa[)pvdTQBZtvup"~%V_Z8'c,B p$Z@=>;ꖕ-nȿ4쾔BnyyTBa.j{akԘ}(Y.,O[Zhzف E= ~we]E{ۉ`ufX=δ1$/ ";Pǀ"^-'ϥ,(mbYY&\B1;<1?) 0K;>hȥo ۺBu1;~o>ZBX)@w3kNjl&X?|\'n_`dc FY3 N*aس2oXMm)i&}uY=Is@/dmd( uV/Wb^,ƍ{;~3nVpASY`w'" .ʟ\*uB 1T E_nABk{9rhNAס`8,A^jG1غo?`,kMᢝCSei^G_~Kzy\ܲ5>fop+:&S|ٚ2lI( CMS)jY+PVe3F^)0lp=n| -ujzߋY azw ;_0ǨUծ'̸GFf9l Q.nB(;]0KX¿W*8$:nF0=b;sX?{qX1; ;8 ۠zRz옍8>ֻ#ߪlz$9I2wi>Kf U k^8M[ G&]?a{dDO&k IJEVf @}+4*=8TZFIJ#j!|z{`ڵ;4wU>_DѮ%W.OTT\8)# b=!(eRZ+咧>f0: q>fwvzXƈs/ZNG60'd\ 0[\KJ948 H4 oQs+$˔ۺb\Ԫ5dсBzWK#P/`ڴ'm_dP1V8LG6g:!(#-c_6ygYZdf71d68a26f3a7eae0050a313e48e6070a4fb2680a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b 700a9adbd9e175b1c66d9e7c8c3cc0b484406f9b 4e7c454d88259826b48d35231ea12a93c3ea8c87 b2c6f75fdc73e97f3766f6ae99a1c4729818057d