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 NN-t\D ]% HOL-ODE-Examples:threads=2elapsed=671.354cpu=1279.200gc=26.568factor=1.917zXZִF! <q]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(؛AE{ oFY13q+^h2ZeP"n͡;N&CT0rjJ }SLod+bl=5VAN8q+6;UY&Jȕ]<Kةi[oA`p[xi7`F<- 2,z:'fEzZ3qٞ~4Vآl; n,1](> q z!IđS2[Íio w:w]x_/̩whwM"d0.xi~GVNU mݓm?yk/Ejh|ItMLDb!7EĀ_*U0x+%$rU9y;{?&qŚr&%QccV}dEWK!$J9E$sBI0ݚYD{nE{SڱfNIt" *);ƴ,W5#m|~޾-O^_q[O\׎ \4@a?ASIuɸ7.ѿOt띌JαDa>an@ ֹ kz@%&i꒢WL >j{l s sZ&B^$ ׭="Q+0T ;%8GXcO]"g&h{#7`v,^*ISKQuVcfmsJ+5`b9nXj[b"D-FU6bY̦#Uy/Ľ(uAP I=]PZ-n= 6K{"孽N Wb/]kn7Nt!@`nqÌGɓ%V$'챔c?Y_]ߝڗwFU9Np`6 m'o<Ʋs:^HS[EHn#Y]uFlRP -zH 4)#tZ9N*:ve6FHSO,;|$NV -RDxܦUH X&,QpX$ba\7itLk3e=ylIe_>5.IRm)sqICq&|&4(7?M|܋u/M$!|QgplE;,ʧZ2c[EG)X{ y@Lˬh9G)SĹzS7n[J%+9+ħkHa͍gKU=ߞ!3Jhr(cFw3 Y.m囧~U-2L9`TwF [G'Âv|%=PuCl# W=T%*hmm6FhdzXK_ionqA6~k;b"38X_VZݪ&,]ܭY:RJJ'~7DXi:1soubݓVq8 |biɣorfsIĺZ_Gy#qEt!{$iM f FjREwJ*2' ˏQ;s.'1feUmmsN>Vn[[|LucOW@MIЙ O?+풰8( 9}fb;r,7v0w67\Hz^m5@?^5pS-L_Aw_1p#+>FGI)t#6ջQ$ieWjR*ǥ"|W~*ы-o':$CU݋9r}S wGW] Y8+sc\4q1#Z >frf!ȸ҃a)H` 6wr{^\5]/wYKb[ʕ>CO<}9KAXh5j{dDzr8뭥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ʹa8\;P7V|y nꚙA4  8{RwhMqJ3Z_p Ӈnz42Vމsj:;pm  ež$&PP gNHL'aG!VJZx{0FZrQYGޟ@j>ݶǕC:vW-0;5bHEL8?F9t-ﻵ%_0S6L5,spTOf\WeskraHimo"e/:(m%YnOҘޏOQ u18)N,RJ*Eo25e8zfL4e@_SJ-WITH<;z[frX9#=3 0>I.5YlR8 |#j4?TK˝_;1# P,/SqN1;>LB_E(w18 3g MnsPL"Cbv oέO 5'xH͓Y\ M1V7I\Gi w9@)J. 1h}>&*@e5SV]90pݲ/}!*/ 1tIx/d'*X6 0ʼ4FA^?voq0H^&La²vn%km. IKNc+i%Uҙi23VKb!pADzע&V#IZ32E &8!7OJgYaoE zDrtNۑd`Aχ{hQY.07{6BEOsO=i)M32 <C ӪT=$OYEɀ=H~ZJ DM]l'`Fƣf>.ʮ W*!S@/Y1+_/4,P0EayJ-xdXixFrD$vΖ0?YT:rng~`"lӽ/uey19|dRJEI2˺.^2nf:~;$۱j0MF$ .3&9;&qE ?Z}a kRY;SEoqB ,L'KF-OU-K4]3pbT\U/=r8":YUט=}'U1![M;K5q".1$/;v<5+Ε>b=!(ޑR5ث>'Oiol]Fۯxb(CukP~?_`zЫb ]&0\½ Fn(r'_9[>u W9evvZOєo/ՀVnhp>+Ŀ?lb/ 8ÿz2pdVA/HA~H<0[K'Wkd!($5H-ظs%%AحĽ7(#p ^ыCׂ1}Lre6V-BpxI X (~'Νp1-.%$kQ+ff˼$n|eHTwÕ8l楱U`q>waq~F{g8Aɓϊe)m(8_&Uʕr)RWJיZ#A@a,GV%n/fq;\duA]eeg/Qusؚ]Ti OzG lM+1QUTBQ܃3/5IàoZ i=7(Xl{JVŹ[ӴP|߄n}6=10L"QqzO!lRl4 )@szbY2x| $sֲ%S jx 9}0HG~mn9\-VQX!u9/x9<-% X&#Yt qbO"#8fغZ,p )^V8D%u&9E'NbuOЦzP;Gv:YB{^j} -= 8ķ,J7jz.@t]dEfEPzR`ٝoU6=}D-WFS&]h1!XmwCґjVRE@DA~lmK8`% pw;\#w4vˈA"ɲUy6:z| > -f }Rlj6UDzrx Ӓ(q@'H^|jH t˙jnK[fQ +/ܳP}nӇ%ЙV:;p@{l|s؞D"Cǜ|?J'Ҧ(9LJnڂUM6dn\ona\Yi'"NqAKu*t|ʠz=$)\l2(xeoka@+wkp`к|jZʹ't,+W_+ #AG8pft~d .xxY>ܘv)2fhb=j)1g 7b!0?1 B5m0oZԊ̕h_@Is;&j/@r/$(pD3F;m>n%~q+za-0H*o4Jܷ9H ZCN݀`rDeV1-lu!t=-|ZϷ3n`$lѴi=$|] ̟dpz`%Ik*lޣ$ /Z]0G2w*U@WY+5o0d7%ʧPS806{-;0bAAkLuF7ck2X{[cS|/Po_ *'N!|zl}tLڎfJԾl.G/ gor^6qpADgBL lH׭$k\Vi0Đ+iP{S3mEe%uw<"Xo|FV_8j ?%|ۉNL- c-~حS|i1̏xij䧱;^ZOMS.6+Tw;@4"rIo O rؓ\9wAv\JΎ/w? Ѹ %hdK|$?#L88RPiGpw$?EE/qWmpr?۬`]Ok{3KزL% %{yYŶm2%ݖũ]>7(; Kn%6sU[&҅\#O -fΔbU& ̤O?,~ UNN_: rIW$sHٶ<Sj5 /_M.Wɘ cx/SLHDju^|H $a~$O z5z2z-(gY!}@) I+~m16oδ8"XeW8 h=n#m.펭_KEspVYYZyׅ(Hd3۽\)WF뢮L6UO-iP"k$WA m1̿cS"V.b[T@"rN{}f)HXsAC|GQ9WSoXYU }qck(utUڂ7nQiI%ޛ(cҵEo`BoڱGм6MIߢc)lr;܉o}8 1mڌȖ~V)< 8ΑVER(M;Y'[3/muuXK:&Iɽvb#] eCxp^` ݞUТ9;s:B ŋ'W_9^\a +9oi]hqFnB? !4 Sx*?q(YڤPoZ^!:=~&* !M[ $wF7~Y,>̲n˛nRY)z[گP:N:BS=FҨW L5"O{9u+]YƷՒSi탢7|7D>Q 5UtY X,>zfp: g.[ Kk#E7NWVnvLyGo[;dȌ3-Us_SAe^K?VfӠNL<.e] |6ZZӳ۶h㔾0iqt&`޺c]stBEOSghYiRrs%REW%\f^7񢱈T`7]}OPjғ[p{yr%% 4tu7߱'dL+SOj[ۍުѧxB7N"H|B,Vp* iwpgˎ>eZ˱RB`S]B{HxGSz8T }_H!HN≙4 fBs(͟PxĜR#0?dm]Ժrb\=|9SAwga">/ f%RHqVhχ%T N!n)%_~Wt w5hpcė?bj Qޙ+V6l5F> @*?/]H@${DY# TGΡeD"*4xx a VWӲ; (N dןkF* ۧ>kq Sr4=~J]]E"%T%u 6nH@6PMZX'X-fI!Z)4Qk:81Ɵnho^`%k/|K_jCW [dzZe;} T(sډY PO;ކd1 ) E4A!O;,9 95oaыNUP,['̢r%3u M'5FwER9PB#5#FOPdmmLI8b(].PNHp:8Oug 4.@l+@UYY£8}/(:wE- ּX_\"\, w`bE2LŢSnW5ؙge2[2 uXD uF7X}ew Yy/qj,gIG_J}8S~%eh"!5fu%Az?:Ď1}z~^R$3q|bLm3s0md _/"|Ɩ `*PvC +Hr} ^a*roiXfX :2+Zq%}beyl `DEbw `y 2vҕkXejZ+ +G#Ydw }!0Z-E~߅G}g1 giaR\c] l4aYm)}r`I'5M]%Gt$@ZE!K}2FfDr@B:|'%<"ð Ha,Su!񐻱HQFz(GUʼ^1Kp-SDX [QY$q]ZGuuyZ3idl=hEGP'dğDP W 1]1 P)y!OX"Zf}a\Iw> ]o{SNpijC #~'4w.^w;^yT' 2wML K)]//[ iP_ٸDQ ccN]g0̝KNǮ{3Nhflbi."ц?+jNz%BtʘݗW}]Kn#ھvq4p+~_$*T.8Kωkoy$!.S] Y?y .ҏ5QIxҎM)1 b˜s#!aKm m)/G7c%? ߷4V0uZ8$CkߕgtϡY™Ju c-to:Ngx"FƲ?}{k\KO ;x(^ Z"%zgwԞGX 8*uj:,:>b+)\\SӁ1iuEki 4:" lbg3ħ Df$9ϯrMX8hedzuTF),|N*;T^!WbI:6]u]&>x2{4szF,QKb]H&eO[JuQh54!s\g %jAM^W1щ!}!TIbhƙ.:$O "H-~MM <^l"2y:jt[arzpٳ/H\{U<ܺIg s 2?_ $/M =戯MuN ICL*UVnS1Ncyƭ't8! e'DQ(ՌwpCsb )Ml ~ՎD5?Hؿ\FTO IhuC~c0[T-Ww7ޮB^*%tydRAzu)i&{X>MY&I'<pbV  9{~}#+KKO\IMFp>-K!kxCQ-SN2~_#d64oRpn[ Ekp\p65|i(~ #h{w}hXө%63Ps9S EKK^7X3BVQ_֥0Yq՘Ї-apNY1p` 3wl؜㆞W:uEm5gM0ViC`+y\~?ZE ?50a8~7tb2d}xrCL16;_v# xF؍X x0&d v9HM] =jeE=N Le!>80eU.3{hXsʉpX;Xwǟ 8xu5Pmݏ1`1sՒ.5U@9ׂXxz{:*+>XeP9¶+!dW`*|˚%`=~XÊ eNBp9Hrcay'?ԯCϦ;e^vA%F#VмTHEp)p]Ir /rij~.+\4 FPs[wx>#w#N,㦐/Sk}Kq>zNm϶]FAF".ZF&=+tùQۀh9öP:b4Zc2@! s yں>?w3U׻nola %=F$ _8.C5d%.Y{ec&_yV7iD?GK6{Z '5=+#&NuOO@%OLs_]{T ōJ>И#,ʹr+77mEsvBzj'\m(!1ca,s,(moN-{!@[tc;mc5x,#hR $-H]te.;<1z7SCՠbwpm&pag7[D|c) [tIRoVU1F9IO"JՃ w8SIuF(}VUbc7Ҏ셌XW RH?E+|ذI!Y)k Nwk`Nt#]I@LCVy*HU瓜y6>Jlf)տ)Q^$(棴PGhHT@MkaDg±Fk^Y"(gS@\_"g7hOyǣѝ"a;o:d uԅŠ,C)Ne>)@% %+,k Eb4X8+F$Ѵ£UhtҢș [JѠcvB<Id[ ^.Qe4"R 0YwK434N fS@d{ ޸0C1(QP~{`^?S}گ&{ F B>fVIe'.dpG) yM~] bG tX']`e]#cϱu",&eչL ^fmoC`!st&O4gV.(9سȏQ&"(Uw[Aߦ@& ƸeFʉb`wMf u.g8^]T+0^\Q#rD޺&`drjM K:&u8=?8Rwb5Z3FW{,?8Cc׈3 w-YX*\6IY+3Ϝ=PHGO]itLĽ-l= M`!=˂Klo nDzWJ?gĬo+-R靠(V,mPTe )a$alj{`` ^DכoJLC6g:Qq@!n8LX"B !;^/`/)G6Hei .P Z7?sp4AdE@ت]ɷԱks8q2.~y@PZ_䯿~3& m!k?ד{ }tnWdzA~ā+ `no2ɊM0(sL&0-NML)~vgu5v)kѶ;Hbt[^~_RN91Fpos[#g^;Tt\~AL&pGJׁ*8@TF\~Ui4[|)hl'8+Z!LĪ<ձlL`zK\0Ь~: ҅G q"لP.z :aQ& >| G`D<"Llom +zx`R@Fm5EeҠrlqcҀuc}0;14(P9~fť ~h\$eD5'N~GTR?`O9y7GaqKҠ37]=VDQQUn׀lXnDuiF&MM,y}Fbì_&!ZUIFpF")a.>>Flua}ޫtHb.=oole~Rm}^̖[j :v:j]]f[fʜz##T#ͭxq޻˧f`bJGLn(rLT(Ē)|$}Ղø\t?hl~5ęOأaVt>C: Guimmh*$F_65&[VM ۨ19E*$^I)q0E`X޹ĥN*6H#_1#IvhHUG$-x>,' ]N=XʻpXCj*2 ț3Ukq~]ElXsޞJ98[wKv|Xnٹ8Hآ?~pD2SM4 (A%9V< I/ hsvAO@I,0"μcapqD-# '?7GB l(yvvK$\6<U!D.ÊKHG-(:F"&ܖkg̮ 9lX&-2eˉioi9Y4fN;&Hnt!e٢vTբiSPpRne-f35 9BNo(UBȵ<ڝLL_0஼C;XZSFf7!P.#?WhT>[rc vi!|Yod%;&N  zjapYt2)eYkx +k Q*'Ojv?2uXkx_ݥ|)meftHQ u4/ML[ rj9[5qgf`syN~";tѝHKs%Jv3g(=BfPh}ﱝ?T-%Y֣W\r@{>n6ftC-~^? 6'gByr9 Lf$R ;P`@9Z}%|PZMb< 1x+K[O+6oƈ Mhx|8P]€ҫlИOX ޺LnWz+ z0XnBnSOfJ3zw&T" Wj{0_Ґ_+9JO! @Yݳ`3{קSbf2'vdlNn0ñLv [e^eiǗ,hC7S_LK ǗÊf .8RFurɊՎ"pyU4"s9 s~i.xVW},7_dTN5~Ɲ/nj~v٧eU/A}ko ȍVaֺzŃ1uDPo6V7x}N@Z>\>T\H6:vdE3,TI.I}w`H]_։׏-NA=@̘I-_5w1^Ze1e]/D Ν dS zsCK\"n5-D5G&ȠBjvO%J Pvo/SmED^o=8 e]vSfݔ!sj"0PO-$pEa5p.ƓSı+?9ZqOd+CEq* x3$WәTfbk KF[4|B&:2.SHu! Pa 6#'ғ_hH;BwE40xF ;o䤧@Ì\ooC7N{k _E-.{ r f.4tWt7"8 T A?reS8ʧ~R{Db"UB) HHMGg0+~˯) ܆5rڅ2PW٠.2zidZ=: 6Z+t 3|+_u,}J|!\%3E2}xP$c@"/C9CW7i,Ǹd5,mJq}:-/@tYjf{2wW{٬9C[k/M?d~|ՁX\9^5b'),CJ@!Q )T{:SP#洊ֿXj#؟/o3ƂPKR &/ت'`fGlR.সj,#3;\fDp\mB݋;NsUK$GHoc+QDlj c-1$AE8 k`ٟXCuE[)n l[b!c Ųd(S×><~ѺM-O 1 [OUVʳ8J'{=%Ǘ"w::ݱQ4kUGdq@}O@Vߋ2)V EG8 |,N;Ntx)w7%=3'w'&m rס]\oc /zԮlQ`=b 1R+_tZ Dz&< j0r;Ϛ&4U+,CղI'Q-'IsQYD;smm2|lFC 2öeFb?Ɯ7 h)m ) -M:q)k]XG&U-.y񯺱 'Ǎk9xjbLߵgKZr ScB78efBr)iW{ȃ衅jbSjRfFέ% h ?MEKQ,ƉMWp}EU* SF34RU{1*|hqPvcc~T@굪QogS\ҏ$\ 6vf܁xbDZ4ͅҲap~77 p*L xUMTpر 6D%pO&g|$C*.HI_鉦wz9<;hrSG3HO(kbjpD9`2p0n(A"+ƾԱ*RBi7)/,Sӣ؍X5}?8a藳7rQ\A.僧ڽii w}$셖+bFb'R:&&-ó,d{hv~R}ueYdۍ2: SM\ǾˡDZeR~Hen]1+vfL)E_Xp*%AӔJ!6gF$A[[hӯfN߰Qé5SQˬ ۔;Mi~vfE7*DkX?` VDP{ôi,D{flg,hs _ut%\' fSN={Gާ i/哮VQd$^KW^S̹ )1rpl!{mR"[5ډ- ʄ Iz[*ewo`Y1)< cjr`,Xwbƣ `KwJLA"R;H+"Wމ *& \_B̏\/F*&T up,̺ޖ}R\̎d.f1'o9^Hcl >L{/Pky&wux:){C,2^de", ?jma ~N佇o?ʫ Pa_V8:^T mi(4a=g a@RM6vH?.ӕG7/M{fLE0l@Y#%G?%g*52SۻW&980me_'͚3"TA髧(o]X,P23c݆ܤ} R[m(U#ИVv_]ۙVqguG0TϝړU:ƲU%jX/>C|ALj}4nhrej& -bCА*[@G`!;bq&Djw$5F#@9͘R#E>9p"L_i ;?o Izri|KlQ@?zliG,.RzQFbpcı `[_l &u]W[+Q'k]hF@T1|g:G$vyҿz JlT!߭"C3h&\}J:eKaoz}]dv÷h< gGAb(F̷-L.j 5zYڶ1A)iTvkK$^o|&4QxM^,m/#xL2Gpm t\&{ _;#:Dw|c) ~tpʏlKYMVGŨecBle3JkSk.@M>@J%wެB^oW]b$Ɵ{hH1RIoAmZwA]jx tRvI.]O[oRqqSj:2m Rڧ[<=`{ {rmM3FY{z˾_7am{Ā^.1d0?φO"8S,Dw'`7'ZچNFl-BH7?MANj<+ȪN4e6b,dX2F|[~?0/'ܡc40<ߪJWOFT ײEHCvGhč͋rW@)*e