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 VV -TT\ ]% HOL-ODE-Examples:threads=2elapsed=668.124cpu=1278.252gc=25.568factor=1.917zXZִF! ;c]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(0 ?ȴmH< z{F@ D[@ٺ]+z':mlaK:.kObpWG%l|-RTah^A:LOH]{neSZf RH>0cWW1ʅ!4VUWμq^ѳ_Vno4cBL1U]Q&n,N",Trs_yik?gbbygJ";9C~Gl?J£x-~l bD@SlhnCVR!siSj >P{JlW"!ϴmg*=rqv$!2}$5kk-$mk-DV+K(Q<te=S2K_[_0##*^lWCˎq(񝇟͠T׀*6#[-E6`\iĴw+|.M*sJ/kFCSȨ2fKc+Q#mq.=SK l,Z l; ?(^ `[uئ&0aR)KO;XywƼgYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+:r g閁&$6T03G-&,q} "gf&ȐLnT= qFzw{H[t>H"~_]jozr9r@\n&i'VAH؅@1#|`fz2>*hb㼠irŒ/C09>GByNY 4hP8h囊gt6 ڐ߂g *tXhEΣSx-M(DM;eWtzLv>UkyVdUHōv6O$Wm*ht iI-mO ]J(MǗGP)*:WzEylS~˪wQ=ٚa{F-xAN "NЄ7;@KYY'Z͢ r:)O!N(:.ByBh«,F?41uSICl ` cC7 Nn:N4D/T29߰F,T{,Y2yX=nr[(DyWkLΚ7 b}w!OLb$~0.bH='rޤc*w_Laby$&¡RtD=JY*7mYʈmδ7AVIxmF8}F`\Vt s_Ņ+boți+^r{tڏFB"ih,wM7_e@ R[<αPY mɣޏԿgbѬ(:POoϋU}nO+se5 B( |ehD#u< ɰPQ‘_&mWtʔ\"Oc& # '(8F툆^7+3ޝA<'tvx 3I`u(qEɻwiQO1u찌B)CKFFHgZ]-]/|&͛<j!֯hjʀPd$H@LVA-}b>rᯓXݱU`+[I[霈9 j{`+Pi5HK-#ʮSk::Eh5NdSѭ;=(kV1pxa Fr'I)Bش@FQjt8;%=+ ._# K&)BiKlr66j|XEY?ZGAiI祎X)8#3mp\zCHܫ g{?}9k%kx'5.3[O" E ؆-p@+1BWZC}>Hz$iKat+bϠ>oɪ@4[Ã"E PW5+w̍Pwxe\_7͕?*1c# 9bIc4zony(#[wPCA#ruPiΟo0X]!%I_+"5ݙE8Eq́[lX$׀sAk 7j+Bx(0jkV3:Y^ݏT)a?<.ѩ1c&y\,"v'›2b%ߞl7[K*18#IdG I"Yj.ը&xC*Gt-nP (pVd_(CڝL;B@,/1?/`qǤ#7> I/zn,ńw{= p5\xqfOёHtpK)G{x%:ܠk@>c(fc7۳; .Hh-:bFJ^>,* - 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]b_Hy=yŲZ )0{n]C[y(6ՙIk9'5AXyj K2#a]uR~(fmnrNSqvGE:"|+ʑ`z*Δyx蚫Q^zkEnI;ف'_) E,lP뗿[JY:_*FXt`o$;Tړ*d ]=!o.e Ԗ^ ZT]s|-`c6D= '@Ozճ2^p,n0~lb/em$)ۂ5U0O̥xiSPm++^۸Dgޘ'gڦ0B(K֦WRr޽D$QC2 G kFl؉7UqC Ҧ|[yކgrOrG 0`S] OM9[5(cה2%!QK@YkM%IDEנP1jȇ!~ $6SݾkM=N2A?P'b/VJeÂɘn Ϸ6p2n )1R譓tbg;P =W_x~r ̵y3 xiKQ'uc (g" |,HG0@x 8.j 3Pl?~xēGG+!l7rZދ;GЫD_ݔ,%.*,lab[У(j; Ha$uu?Jw6Ź 6*]rE ZzӮVTA4xWɧ~y ߴ?c7gbg܁0 v͇^ o#Zt&l(((`9t7\w+A.sm$CLV9/ŊCF,sSbSĢ*l/GmCBCul?iV$|.vRb/V3L+3Uc>vZ`0귿8%#ݎݶK2/Vo߂E.x20R+xN{nSR7;Q"sLe;~is?, ƶGsѹЩ(UIN Wƍ^Wb $5SyivF}׋Sx*|/4kzNM&XH^ /ǪK$W4?"#ԖYhQ=<-?˾3de7}u evx&D͙-p=UJ%SDxfg#YaVU[l?9a€n zMl_/ĵY{)0tx dzhJU *KI+ٴ9|{KIH#w?E]w:5JTxԒCHΰNDJ~δNPe.QE"olLjYDE/c7kxsk*@Oe Ɩ3.)8ķ(\ǽ%Bd?e U> k'<&^:==r Y7[֟tB. l^_ޭ$Kw}TqI1P.!ZYOr"U[H&N6˘CcaI2sलHiI9a:|okHx^'g#}B98C s1>jo;i#~O2nNW+CwS+&#p܉'h9$><7h?i'z,~4Vd, _]:e$ZMzniCRc f;eCрk:_\)q۪ȸX{FSy~cw{#(#B}(syy;(J=El`3z9`LXl fC d pgzg mTsɒmD@2h{}_)\x7g%Q8 t.W$, > cl5] 6L:Drhᚧ<`m&uz+V}Xځ{2"n'NQ#I~Ą{㶕NO_p$䗫78c x?A#Qhe%fyB 4i(`[Z˙Qz@Yv_/`<>فKBŏD 2l'!:8u0j-oœe׍Du\Oy-=iIܯm(Dby\d6l >awZPXZj|=K>rS70 AS0cw`g[ }d eii$֠[9>d<2 MZUPBX]:~ gcȴ)40Z ;p~-]q_*͘N[RWv61X+5҃o-YYb ,{0zm1Mz+B> *M Uψ'=;\㒐R##eJ"9.,} KV!?pqNia: J~( ".+fҘkvf<'nC□ñy4 lM(i3:#X ʏQ&5iw»EW;׽,mLWptD`/%@+y Iz,<{2\;t9|@0Q;KKb>4$RKkKKT{Eh_JOyth0><Ѡ(n xA;嬁^H0YQ\)w*"G~@’ӌixѤoL6 'G<-cړuM"Zr%9]U%u$4}~$OREowɨY MuWRt\%qd0}TQ{6epeBoq,sep~K@* kd"l||Z쏫܇aGRoKuÙ͡hP8QZOr]Hj4~/Nu ^Py=6ŋ=^ 4E:V\J1yQ~;|T:3?Q'l[ +OsVkom:fМs0 ~*:Ӳ {ҿ*sw'aYS!n-w<(O6[d+I]-~Hǧenީ/|Mѩ'KX+pAګ *mɯۮ#xYOMUC(M.xHeO(|=C}=.43E[*X4,zx@dkxMT!|pS^ {-_j+U2Ւ!n"l~7$0Ordg "-6*/ilÖٺk2VsapC'uɕC=嶺qxx}_VG@%) [Lu mcNуfZ$?!MF~[pIC#tpEDȩyt 1q:}O]ފBs;2D 5R2ZXCV x'$*^L Z[UdZ@=KiuuZ$QGA>qBoEGPk-(*6T%]A" {~ℜo)Bf)τ/!蕴U٬C6Eww %ye(X:i< 5Xߣ-Ai9F6TIO q#V-7|-rr >HY,i(bHHkѬ4#L6"AJ|6k30fo \FrE Pnl)%;1}ZbzK֜xX "6T~`L #\qT󯖪$!_C~;ü>s{-9bQ1COgNT;k7!VWDúx/f680wK80\--;ˑ},> `w3XbIaՠ#vr:L!$`t5,o˟eWQFm@CvHƦC6_D(x6״֏;NJl Rjsa%ƭΝ-+)5ߩim̖U(< vP1Mi|és&Sy0ja߾4)}+NB"$ԧ:zj;Q[GxQ|(x/d wO,etqW@Q0<<ksY)֘=5dN)УV2- foT} O[W{\n)TV}w`?6>;q~*^7$)>X ~qQ^Zð/6Y4guNׅx8. iv5rId ?;*!H5Csjran=p_?OW2 z Z()q$-ȠNsu,ej<` ([(FY Hhϓ^aθ=ؗ?GN-cfj{ƩQfCM !oIE4%-"=ۢA>BP)Fm0qaYd0;Lϫڳ&@ÜG ۚ_#%U;3J !/sXl亖`uȚ+Z,AP9+#=8]HWb*@+.WlX.D - yBr!Em07Lp/$O %(v[K*ut_=+g h+LRJ]`7Zb/e>ӑ0zVsRsLO^r}R X@@e 2Eo} E[[: dn F{037rm61S$," ?h(Yt<Ч6*WNM7;˭4&H>K)14Z%UL:eY/[cE IS0&p6}Kfy egRf?8Vyjꑂ([G5-sSۼ((ި@Tl鹬M\l3樜_+c5-x?lG|=nI0):Ӟ;6kk%nT퉫G g[خQ҈\4xnj:YD0tNٹjur MX[t3 N15NMP9 iWw]&C@?f ݁J3[{S)14Ey.\z wu!oaբbsx QC`gINaV~cae(G 3_mez1ҽr8,[c{a136?c C 3㻮(y/ҿJ[RΞ /sDKkHaI~bW( #nFV-5_jARZ?Nm`DWcl7?M|mGFy-ůmr[(|0hy Ϲzv*1en0?.R2OmY/`\ؓUHJǔ}dG"|\V#9Ym&ԁX"ymZbcmSL=hl3u%: Y_ϐLF/Ңܐ\gOgx 3(egyY(Vl.qرl,hƯEjmr; zpCI!.n2N<*ɧ+}RH^!H4 U˾@ɗCݱ yqWԷzC`O7݋"hSA (;BD<幌TMAS$xK'TG3$1=ΨWJb/P#)aK|E{>-Uc\8ޢ%)֯Qm>דx4fs` ]b1ӺwDu=/*ŗRS"ޤ_,g3ؤH34AH\٬ɻ 5j + qdA;ꬂdwj4?/Y]p-YL9r ԓ[pI(q]8K@zo^]mx2lB 2{jQp lSxw$CSC.^ ?]A']ӯ=Wb.6<wtԵg+h~;kۨEKo1{l;@5.i怓xByCrjHS{y@a eL ~DowJ*&4Gh[#8 M~/߿dVWk 9G]P^*j= ;Q&}uM8+@37ѤaAYJº f4V=ث0FHyWQ*/́ke$g`a2 zM9s 2sT`(OkOwh ^xZ'ɖޜ-w"+8MQ#%'w{3զmp4)#{ob>V:D}*L"=:礢|?6;e7zV!QfSl~`uge񕆟JE/&֢~Hn:vL.Ƕa@*088&fo&k28;F|,b<{$=dSn'xԑ]iU&WO0+l$ὰzWb[ Qo8jYbH&[1xN^DTD-rN9Ecɩ\8 FNV)=^?#2Oy=y=%@xPVr}˚onW)[A1H rdQkuUz$ 7h`[%T'p20ep1A4O]8XX<֨ ~7Uȕ?!AV[t1Cb_ΟihRyH#Cb6 @tF2̙8N[uwNL9EbD`U{qvWa'SHbrK||l*:k'Lc33$)M-cTGLJV;\^RH?xHюo/Ygc/.=y0RNDF2GDa),?'?Ց!nK[ݣn;>9{e|X~c|! 3x2yx&*$OPEw٢KZD{3I[ץ`mP=٬b{\⓮)b\zM1V'C.p>ҧcU_|}+%!P |a&cMiSlÅkhN]b K6tQ2gR;78K"nȻ8.Mx-27w^P󇓤uh|wqVJ@=W zI?oGʔJu +@dcvԝ)iW(ԨZr8crESq9iaѲAlvk@&64z?L5^΄PF@Y@PbST6FGS_ߕwR#X~L=;@t ,~JNxZvùHOjY%0 APV>/seT~3HD, W^#~?/&CCu&zr6{ā A,!GXiA+Z+ruZ,^sKa)Je4b9̜bKd!p.iN:ZsXۛ]T; o9[]Tnh/:wo,fƤ8 򠫰ߜ˹C'wB%xea@w =z{!5e]چ0RhVk:3|jiCoth'1o-?L&^du_ްEB )WD I^zUy͐WQ"sC3+/|_pA(UR!(wۖ lڃӲh* }0$&n6><Zr]Lq40 vϔ+{=V/nぎ< 폂,2hP ]3hW>F͗Dz~Eս%a \vk  ~]& R٧g(!.mPq mO- T_f'.tKNJ;_8Qr3;9!8:6ç{fP_nw5lasy<`Unc8,۸*TrYwF``z!YmH]r`A\xE0—Ս~kZ^]|`U͐93r@Sa ܲnWIo]oX(%0{e(S!@#H)q>ƯWRT6$ DӁ;5LK]([?c˘*0J?0-VwT#df\Zj땓YZnnً*uGZ22? GtܯJ 5+Xzi7wniπmḭW-m Uƴa̞Vey> ?_2*Z{?^zo&7=uOpn=΃=C_v0$|AB/aOy;2}3^~Eȸ]`}189eNݳ%`WV;k /96Ĥ*g_6,xg6 ݍξAsp2Hz 'Js$ X) "yҨu>QKtMr Zh5❻GJC̨֘J("v +/:77lۉl漹&9VA?iIݧ3'@ε/V)>5ɪD_?xwH :dK5vhq*>P9_/_?1w;' l[Sv?ps3t=4MT RH\qmE&^Tbc8Dt:Yz#-8 lgs?06߻:>N/҃m(隡-S|nZ9tzCA5.R6~OʌQuad{z'W\oHh׻X`"0i(Q)sfvLpY~  ?.g}9 n(X1N]Hcb'"%̕ QeBF?.4:r~o"EӤP)/rK ̤=mg.&a{{m·!R8W7 C"jY&lzY+2G ]L\j~R!⡦)"kC<33~1x%"W̆ %gw?v||EY9RcN";KY w x@,6\kÿ`$QNȵ^^.L2kb$Տd)7d[} (g-gٵxWb(0pF dcdQs1~RO(w z0!^aU>~s/'$+2#\C%o1YW{?8 UrFY NE87W28Vw+ڡ ʈeu/)KɩaO0y(/ڮSo LIBmxr߬qv֓0O]إH1լjt-0 !!;!Ir#3OEu񝶯3T辯NMZF8~娕a ^ j@i.繂dKŐ ^^,u1݁0a°/s" m_Œk3E7BrWU;QUo_uˍ)돒?Ue{dF[pѾI+ E01 ;C,GXzmhؤ̞~↡} н廤 Hw=dIKqS`!n:[`eƈYDAs{Q ,FQw)@Dm`:t_bB9Q:XsE`%֍^=ԭO5`4cy铣0tixT w ̚&! Djc Kabv ?q!V~~.ޡ_O`[krmiJ=AV.w!`®09u>YOs,B E/!Tu+T򞣨 :#OP=hwT\QZBcF4Jsqƙ˫KB!XܲA9$B0TF)TFnӫl&㬋` _/6g,D [Ym#Ji@8VOlXuϫo}F`x^:h}ۛVS_3=1Wj߭\Tt;eU<`;>A3 4\*_U?}l#OPNzT~9k|5x~Qo\(0SfYX'hnҼX(c@:IX(Jl` xx<'YEEt-z8`$|H&ra pJ~@V;qkv^A)D#C}UT1|xw;Q4.pc*r}!0%fm6wC`=yQc"Owr#9SXB-KMxP5J" d?Jj߼gɔJ(Md.-P%i'~BwWLEEvijsώ}Q. '?]08 6fd/u˱fP? C/s/ە./}Z}8;xdi? );8_bEHF&Vd$ɛ+̱W v={]C?2+!7˜SӭBÙ`bm9KU*( `iefǶoL:,|wHG!4I+ XK$,sZD+yvӌ*S8XA=ɔ (O #jP&&h8SZ({l;/.%wȼ0@d 3#I `+x3C btpI:t$>@g.$sB(<@ ר$6|h5=]kEU{BĒD/u1]Ir`FucjD%F$,m_rW谻1OJD;?L}l%Br#Z:Vvuс'1XcbzT½xLȓ E!zNB.+Mzv;'.' XȤ:|/13?+}r|jau $1gj g1?*@9X]8ԳoxbEKlB^LH>Ӏ»{`"ZtF4$u>ˡ|ŕ \݇"LK|uJ v&Nt[݆ 4 P O =*آu9kZ鳅igkP oyRU~"g՘&A* vy$T6). xcOK`$ 2E.|+|Ila€:Ȋch Rdi[6#:8ʯZ;YegGypz&6[1·B9u1gT"! fɬkqI40}bպQI&ݹp:# ZUAV{KE%֘ٮD>0iP,k Eic&dA%]3612G[hJdwv̦?ߴpb̂Qɒ.^f/ׇF01='BH_{F8Q_AԘN\s <=շr({ow6V${Z!Lș݇:S#̐7%#tSQu?ymUԱ)rEX3@}@q4"q.34jk88E^ۨiȎdq(fBiD~pHb^),+OdM2τ;v&A\тHQU H~8 }D>\uCl{ΩծŒJbEڅsl9[.sT|67v$u(6Q゘Kms=xQĨk#:iW w鯴/4 ,]yL29%]"M}Ѧ'oћ:b߉p"АϧA;Н^rYйD IE;\T .VKu;̏E1AlHDM%R] i?td<倩1+IWZ\$ 2].ȕLŪռw*K p{XAv ]gڻhi(ۈWM. .}qk4g)۱Z.#PUTlBj7pM̺Ϝ\&r]UyX#Cw4%n5Qֱ8غ!}&E)Cs@Ɛb}>:@D#͟ !H>LX>sj _4'Nx9PfQqN|וNzSc x_z2Xb*pL@΍p{aWIb;1[>(O; xJ?0y+ky2|.bH__? swO_j;YH/`8l'mhg4 喡(5UE5jCB , U^VCc6"YCͰZ`*&&Xү/7$`:To@+s[}E*0' )<>f`gI [7=j"}ͅi?VY K|zUk Ky,I麥OwjAd;D2%TfB^s4S##7߀uR D!Gr}Nr6X۴تypԬ@;E\]`ox]ǏNi59-ߏw8*Y 䱛b آ0%CО<&I]}^6WrSe& <`OKES{Uw&զG sఖ?+% 9|pOj~@d904Mq=6Z8[PF1Y%ע@BgeCϨ}L Lȉ.8d&D<r6p|RĤ^n; 0FEpY59r-Mx^T#J6V+I>H K#KNmZ̀\4 iG\4m$08.l|VY=ߺ݆J%/H;0,GTm<@ۨ6)hj̶Ep|pNu&,:?pG5obnlp~#߶B}f 2KB}x|RjOmZXP;EqEl 0w5@%°AߛO +sdo2ǜO>v kD @~$WXg< ߜE}vyokB{yTx$2<}Ug.mZ+|rǨ_e燜H{>;ӒV/d qݤ`v jm2.T$u*dKU<;6o[')gt7,Hbsλ^"Z Ra_o%XM ͎m9S?)sMe8R*`L2GA1 8jnuH*ra*_gewmz qgõ(־{wVgBjedsJ=lUIC3dD0۾ n$J\|Ԇ@{0:5oyvMJ_A`(xCK{q#~F,%ԧL*`|pSͭHںB9H{59PneWCAJO1 P-(ߺZLNФ( D]w/UF<ԍu$xO}%y1˂O?(T[4>mkz=2Œqz-:juA,E3&_GRާ bZM52 ]Gw{A4vQt%f7o~Q{fTBxQKH@c*j d]o2@ga/p{r2csetK':H : `DrٌbNEg-⠡DtF=XosY#ΓQ K5 DakWJ\zoC4/"Yój DBޮDiYgD %c9q2r#Df/H%Z;Spɦsw4 'xqg;?A@TqpG 48z5 bK2f|j'3Tɏ9(#]c98pZ>&覥Fj3/~tQ_+uжv71 23{WxAmV8C6Z,-l0(N'0Mrar|V1㑆TGI8!< Vs(M|Fdg8UTh4cV8 k@tyq26FvjQ9 > Vד --2b %%3N/tNgM:.L^h{lk[z㨅"۝}LCPf~֓xeCjU{3IsГJ%,ed&Wq@ rl1&pH)/Gfc %f)D講 ^a%wJzA5E\îN΁,nmc p|{+WW6igmi?V m&Kriǚ(ܠy?q:!>JFSP#VSNSsG_"EXq5 @IDg/f[ WEv}i?+)-A;rLyL$\xWO4f: ޑrvm)yM~CfEMHl>7AYX kFb-iࣙnNՄjJ{B(1g/{PF_}L9CtI`:i%Q[P'VLy'_qvG6!a,D|~  Y^-qW1ovG`oEpl+2\H?4:e>> تI#+h6famXb yj||x+wxM('n)4rh1Pkݽun_ӠA'ٙ[:KBЃ=vGSuoMZ0kիݒP7ڌ\8d9@>Ư mv x#Bd!*-r0-WOP^2O5Dc AIH\MzOt+P/ˉ٥kLw ; oO1ul{$>Q5ϼ *mg֯ ,˄|8“UF_|l2NTQ>aˌ]Ȝ} gl)(Ԡmʱ)-]V(Dq J~\" U"RO:1 İj3 9ͫ{I&%Q:VYDUP{{c>S-I>"6TtRHiWj :o3,aJ̕Sə<=}AzK&?r4rԞLU8{7חy]7UGAoaq4s@C\$> d4<]Fo3M6`i9^ݓr#fN7ҘPE7Ӿr/Ga%1U(ǣJ%):v,ƅ 7 -s=گ 2' }),O;y`]%ΰhYU >9CZt{R=& K ;6KK<4p! 94+]pURAa)y$TՋLH3]1ܤA.O Y:w.u!Fw@Lp'1Hgv5]xkK<{@`@KE_$T.Q\ (ke5N<—룓o18qlIXIH\@ T (?ytڣ7Gˁ,(3VquW>3}ӟL9,tP^yfZ옯12>)( TLiYQADCrM+(TBy:,4x6^ɉ.ܝFMa gY=onNmHL=4^RtQI ^  ̅^c.c&HD)tNi?Ӑؼ6vvov/4hq" C7rUBuݤ>ą!'VQ,etzq/A7Aw]Lss5A"[@dY7Y@VY]$Ɲ{9rWߘ(r%DߧNl5 \$Ai̼漂am~$iÅ=1^f2K2@R'@+ʭ$Q\GAUC !$3작~EQKU3j߰ AAnk`mn*lVv8g=Gl9 5?P6]]dm8ܱm^Qu @CB@34R7Oʠ4$0^LJ#TJeJ-(:Pi6|ׯ <2爴i-1r2Nol<5%ն1.ξ|E]!gۧI,1ME%*&*^1gYZ403f4ceb8092736ae8a40f98545f9b463686f2956b223331e017a1273774b77ffd0c2fd583138aba 8b2f2f4412b70f786362201462bf6da4955f0a02 74ad3cec2bf0a35a8a4ffb2b5f81d75540925274 f24d8f35ccb14af219d71b96ba7d51334a78e9dd 64f25c94b5c70c0a307a35c11db61d8757d22313