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 B-\TD ]% HOL-ODE-Examples:threads=2elapsed=676.337cpu=1284.620gc=26.108factor=1.907zXZִF! ;h]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(؛AE{ oFY13q+^h2Ze{zl*$=0F f/sfYQ')h},", 3Yx*:dH--\MhZU d aZD*x\K_}oKҁʈ| Cq*Tlu.'bJCS Z*w% )MЍ\nSA'/YiQFף],ˈ3U~!:JI! :,pAE(nV([NudՇaN {!tܔ5]aOD # `XPiw$rͿ ׀ jFUyr9+v'űo,PuTgjF*Ani`fneqde*/bj=Vې{c13ȉm8Xǥ*ќHj&3]@L=p.HsV_}|*Tfy9r2/Ŭ @s&Ey_Cd丑lS*t+>):/ I8=[ic^𻜟bP΃1on2t,6^b`ě_{O&kAf$t`PJхC:XM *S\\ȓV9A2 `Z\emQ6(Mކ1POUJ˿!kO_qO7lf@F@|'84[cۨY !iK'(\kk؜sRb!3M=̰| ~7<.:2X}Р^^*\;켍 4bx3g߳~^)@Y:ϷԠ\>M|J }8k [U6FC]PuI"A>fl1*j4miy`A 4IdkN04hF߀OV/;,д eG;gO-7yuޤny,ȑTk&a >w!s|렅CrbEZ"<~i9Ufŕcx>{(Z~&о LxHtVhr#KS1ksDt䰝:+Qd{?3ҏ7L#ǶsӃ)NB)r+: [] _XvinEcFCY$&X&Nd ZyvjOZ]_ixnzM庝I[ު:j|x[vybz*ѷBzmf;szFiQjrxVNK0NK ^yв( q:m~ITUdA7.=m ݻq|߅$T|({!\#-.n9m4_7zP觉ҬXp%1CLmZ٘D8 ZEUvOE#@NjLcjF <ntm/&fRa6G:5>W/o~'B y1\w5$DܯI""O=q2\{"rHBq irzX̦QL3O%ݙ>o@Bf+^O<|ZsI/K*뫀:_S(~8xXi1I$OhkK(q͉WPhP;SS%~*=AʫVsR/-}xL),tAk1ݯ3-Pj[ L~d` YH/%(+DDA6uWuSy΂;$Sm]W!=kW 7ESWmK+uٜoPgܙZj(Ũ:?%WHn:Htc #Nt )B<smE1H鲴r6a&AS5)>}wAHl?P-N&pxF$a+WR^M8{XWLm{@%d#MI= 7c[sm*)g!%,>R~:(I<0a([3x,7~%!}V'f; y74p΃U_'<TH3UCm+J*Pe5E= L_o('-P_\|u}`&!0yYFL?2_/'\<Du+"C#C4ds8+e 9Ǿ?ygKg- UCҦG=.F XxͿ`ƤΨSV:r}ܜ}E GGXPuYn8jt{',d(* ~jGp[&@$к=䎆.fdSovwtiB+A8Ik.Ͱs)rJ#&˗%VЖ4gС97(՗!ET䬁OꒋW } |<:Q;~ZGaEe]-- a/B&ǰf@@L. <̼5[7KZ%ԫPoTŧѩQp5ozq$NjK_-gJqflȑ9+^`3m s+Ih`,@9apjCAC|*Uu)zq9* 1|v=qASh =l}lk_ tm^(Crg3A- (`A)73$4p8rPnm.KMN0 }2:q ~ GyNgMdjR=n3֏v8i=;$V Ҿ婨zGeGd?JGP̪zƽ>_G喡<{R!w׌KDe^^šH , -Rs7ٍG(\e3֜岏zQfP 82ăTyNLO}AⴻLU{u:o}s@PXqsqfҽtkU6cl}-NўhBD+JQ/Xlx=2 - HOL-ODE-Examples -_% ,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 *j7e-Y% DHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex7zXZִF! Q[]A-MՋhvG"uIBm5v'y()i˴P7mL~5;`VHщlK"|$ ?T/Ng z7 6t"#Оw\&dw1##L$b we٢H{ CINf%Sa;.pD_mVM P5#p,mKe1uF*:ƣ!iCPy:,0bKv)xOʼn$tT>2H@.~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.)  l,D-Q%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument.tex?-G%HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.texK-_%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.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 W W-_% ,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 *j7e-Y% DHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex7zXZִF! Q[]A-MՋhvG"uIBm5v'y()i˴P7mL~5;`VHщlK"|$ ?T/Ng z7 6t"#Оw\&dw1##L$b we٢H{ CINf%Sa;.pD_mVM P5#p,mKe1uF*:ƣ!iCPy:,0bKv)xOʼn$tT>2H@.~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   -Q% HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument.tex7zXZִF! KC]A-MՋhvG"uIBm5v'y()i˴P7mL~4Vłd+;fQEULk˕JZbinQh]{ޝ#ΖJ_`8qWˡ0=`35?4k<նמ^+ 7_EK]M>q 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/9x9+hrݔIq)1c@I9rE{u9ZDP'%Op^!Ϭ k<t/; Ź?9>Mui5fy}01uyɵ ۷ 9&}bLf(=Q_]JrϷ(%!)\6A<6md"ch*b)@Q?9jDp$3ņ0N,);̍qXGKC 'C}f rfb,3yy\gRZg]AEg~'Dz] zi;m]ENg,[?Z]Q5[I%/뜘bd^3و/a8B >K JᏩ5]˖HF O/4/76\؄z;Gb#Pmh6zB䁘ԣ4::e3M܌8i˫Z?B_`e?/}H= V#g%_n aoFUGr3o2(趀\Qb3T5 ,[_J"'Rm$2lVcKlc7yѫaB>i 긆coH1UrA+^,6 \(VH>)Tr?(iSyg::l}[P{~ iĻq{dbVNdTU~YD? Ѵ)#`a7MًskٺVi]JFu˓T:& ,F2݌ռt8qv+k;Ul O-2s]&i=K8ά02j4:q0-,;U!@}|x1Y| [qe`^#h̬P"?挘T"yYows1Q.k7!0%_kF{) F#,O4.] R9IdEw(axw}ϻ*[,\J5hy;JpU6֛P xt#DPQuA |wֿjv];1}! vpT DԗŽ1:4? 1 ;C̬ ! 1AX`vXƇ^|c,UuˬqjΞu3pB$;Vڃד~䵿eBpLV [x(KF#X5.,L[7I2S]{h26Qn?7΀OEK zu.>j 34zQ:~?\4QI mo,zo7P:؋*qJRXK f`MU~>It>:"[ȏR8{AاBd<[E`.2R< Є+70j+*(cO1g4myuU2pΖi>%-:eL 4h{9xY|F"' ۸b6/U~J:NK5C4\'/($ԽeyߥҋP6Q5ٞAX Xߊ^5.gG~s !i;}-MVcIZz[-[-Y3PRҁ%й2R%75Ȫ󻝞C?(<'Qz>Gq`r"xjm_y"AZ P2iw7M,47wRl 򴦁:?Օ:XQf0G6Bڌq'cl;* T?k 0ʱ>:UI#YB:"zO٪':d#iyW8s4X۹_l6YOnRe7k+BC.ޭ8_<FD:Vjb},~ȽOi`KUDJ1ڷ+졍ġ"4Z@}G7C=(Uv]!ˆ )7zʗMdfZ>^N-r/JfNP*PyMZv aO~+q+6Hg97n8sܮXWc dA\=%߲u,8s` XTxSfP=$2z 540sSȨ lѓE) xHpM}k +] p]WU[9âIn<Ң)'eYla~ۋUssE(0${.Mz >:džSkr^*|m eYc-~-—UDv2yM[; [4J/IO墪XUCٌvd֔]ּ, ݍ bp#O<*P)wGr!ܵ Įa|ykTzy XpaXnxl&Hܾh􅳓mqjz4iczfxh4W]oL~Saȩobr|QɎp G2"`JAb澉mBeCfz'`ubU}ׇmB^lfAtwɄ`72>SȤ>2 RW MǏqdhwOh{ngtJ8BA^±׋rqp[r. F39ST] mt6& 5@%AuM#-I1JƄO?Lx+*ᑔz_j=N1S>=Kk 5y.iBb[aG0g|7Y|0p:y1wd/Ap^6&-uijՈ( -ՊSb\G`Hyu;Q[UR!Ml1p- #{ Z*+y Uy {֝^yQpi9Xz Ûĩ-6~kY:hА(ЍhevI$ )?UIlp=5vڬ}eϝ~IlCD˶.9)0gr3jK[+TM(zlYXc?wU5(>2g%57ndajma #] 'E '3%HH؛'4C_n+46c14Dԁy1K |'~5y`J5!#l7ĽG5VNYT_,ܭ(0n.jc eNO!nCMDhQԇ)̈́fD4{\>hxgvGC@#b[b᝿L2{&х B*)OW~#e\{>4bńT5zlj5RpͦL-j'fG|sK4瞏_)rR4]y,F3`$[w.pF#B]c._?eg[.!9@}@`H]zs=H 8#* ]l-`\'S *&8GNaSO a^]CqJpXŖ7UCPԇ'jJTºyHр5@')XcdbLɐotAF+D6b _R/VP *Q 1\髶95&p*,rܬ7; bm,@K4:KLjLX u^{ J̝ tbȋ6cwԊ",Fs&1 ؆Lw' |Zrz=^+B>%ܩx@YXhY0mSVS>CցV3%̠֮@^ukbl0|/VI66wNqEotֈt9gt@4O3Yٴz@T]兲h:R x_f.2@B 'λ\}]K/]e rS n0ĠCll- `ʌES{x#L偾9CV4G-L-1 pQG1GSBc_HTCsq̳k`E҄`.ҍ:ݚة$M]TH-rFdosY_ḍ{D cȈPsidp,pwʝkSр]1чf GR"][7/?If!.N65XAR t_<AWx(jew7F} Әs)u%ZjD $zOC06n|ߡ)'/'{e< HVDoKտ3O(uUk?ie`Qk  k'H <(Saٜps\`<09fh:I?UuLkGvkC?B@M=+ܶL`Br(S<ג]PE]O<{ 3`IF ό/eQai{w-Yga@ݏ:1=Im 2qFJJլئ^^}q+i-Qpy36 5!Co;Ye&4PoD̑,aJ[ZfёuI@[v}j+]C%4DgV1_KYN+C^gU#zCYJʣ^!JX+-b #\G\3G >H?]T bRF;(6?]D?h-@`ѡ\~w$믋P M)G+m<ˮ jrWJrvs|yNZ+;qݧ.-c&B~(je V/T á+A>/|) ^IVWc85O;-qvTN9_hXb`IŤr{'HW]lը~_m6`Y(T3qOWH+ǧ#୅;mπld4,v6FwH Qw~!.7\54AVzjy@cJ5sq!T\Y`.+6|i`QRA$Qv mLGCc.jl{Tm"UOϖJP `Atklœoalb } o]%Ȳnd&]7&b?zfmYdmQO('-$ӍOH •' Ԁ ~xUZ':w86NLt> e ²Ρ>hORɡݶgU<"Fj6+\D("@4~j?OO3à? Dtjt)͋dCtajuC"JL& 0}nőYv^]O֢dWxSÅXٳ],/WJO(#-Ww?ITșφ,![ 4Tg6MK9ȇdO2\2D( kڔU A~@& qW"TWRU\B:}Y: yFİcTd{` mϓ8;Bxԝ|gǞh;!٘K93ѬTɘ6dH5Cѕ G:]<5EQQe6nLw#baBn{W|/JIR ijiH/Tu,`iV ʺ5il@(s޸:.{oIn|&jbǁc–^ڦjqDV.6uv.e0I> ~ be"cO){;p߾S#AΠ{djy?- .KP8ZQ\:+q[U?R=d8ҁ[2f=7DNzQ֧t@k2gdY'QFNP x#oYrcȔYezI*L8b29}*XZQt11?F?yדA9 (Z!9يó`ץ\(c`?|\I{9r)4VV+̵Z(-X!bJg~yw=O8`ߵ&-nj1%[tҽ6կ$DA&h&!)!=K:MAFwu*nԗZ*,mcscD,Ij#T{;L͢eJZz#%e7}_FoZZY6P=#4R;dbs2SW1O>Ot6M׏N4.e: % ZEQŎ7ud[=Kz$ǻHޡ42*&[r巸PݬZh0rw}e垐TN58"2T9$Fõ=D'CIfܪx6 ,@fnpn=xќei5/ȯsa[(Og2ᲱqA74C4re"uO`̩U؃2NJ,/"Ņ}x].ڐB}0 ӛy1 MQ 4EH(}w:Zo~ \*TD;泰 PLĤ-y`x2=D2EB Tj0:M.Zќ#7r~Xãa/-RZPpu2\U=D5C+R7hc|ӻSevκV|,67!k5J:@%jOkQ]%6#C3VS>bԕnG()=i&?NUzC m<^@@mo|Z8gB/MZՊgĎ'4/~PM762GcZ'0Nt4%eWrDvu5{@:9Pqn]@l0ز#pa%@zy 2O'E=げE`" ~j>AGg՗!gx(C4cɁI/1CM&woy 2OðAY여@{HX@j;awR.Ąs"_OW66/]~#6ܣMT =Ȝ4HVzTqfXH3ѫ78e)$KJwT]Ht*] QTJvĆ&'`B'J `= fe9aw n?}09T+do @;mJڊPtjQ_U&BӱCDNt pohmQ(;eh#WN,ݙ@q eA)O]D?E`#wGm{8/+ÿ=j4j ڂ![؁?Җ4X;L}vKcO% ;bSI}/z8E%1 i~gtk\O:StDz/-I yLQ36H8OJ W#>Ƭ5}?hL"q79מ4}4 Ծbj6#epvpcR]t*>X UKOU|oͱ2o2$ GMndW"Ng6HnaTKr6_>`,]_?րgv=Rܝ"3osF]vAc)%'4=<ɺ4˳ ]̅^F.Ⱦ5׌wH~tPO+{/Ŗs_9E1!b-IXſ #TP^?u\V 6ِv1#{#3G to钛E̕xhC]"'CLiM\?KeQXsP4N?ó-M:{"t^ V yFӏDomcUϩ1Qk9xFsx? SYύCE a]} ٫?zv2eRys+o΀pfG/ETR?{&XFM ی!t%eҀ6#Jz(a{7VQ;&m-,~ hg|$jp%ؠd/CH1X[y,&z$iٚ;ՎMh+SMJ4DR~ 0Su,K:C`;_7mKU6&XX\L޾-?chzl_ݯTt]rSYA'b|]>^^`"n:%[_E ɰU [? wJv\n풁*.E =ug ϯ$iBKƠwv~pj/#mel[9GYj7s=XH~M+aNVGЄD'|f.@MJ oGjdC4Ǹ?ҿld^dɗ_[혵Q:O!A0]?mwb7)忞05%Ŋ8eb9JIkTya6LR3|Iu:K@0"`Iķ1ǪE5 O E~Ei9Pټ$? J?ºaK)v΁L3ڋ0aϼ6X|%W NxFRJ $J,0ܰeQ[UY'ч۠k~H?Raa7Ϲ(ǝATv!J@0v%hZ x 2Fßm9RHF`[4eb[Mn.#_goMf\e}u]`xnr !A ]O?ȩX-Wa,Zᣱv|so*5HCs^U5^ MC z4 l!n:Z5P2zNNtԭ-Kloezk|Hy7.^( ,EnLQ6KWɚӫ5Eq/Dg/5pNοQҎfG4ӹXux RN!@/Уy?:!+Y>z 7ja^CkF/;U%Yw^)no$K#:ʥmL\M, `+Wx&^Sn\Cw@V =5jW<-I\11C!no@ܶ-c\1 @ڰh°[#. 8t,pͅG+z΍aᆦT-@(Ny[5]dvqp=}2ٽ*~%9uw JX<+$pW눝YWz`O8}ÀՕ'pR`EI'1 H3ц~vzw ķ_ߧf5+9QNJlA T'H0t2PvS>·C;*ÕsKT#O<Ͷ.r,*N_'xm @z5 [T;''=0~+jO3r᯿+i 󖵥_ qWyu-mӱ^EOx$u=cyfQ}d>.ՠa{b׮~u =^R{(~>4B%?H~/DB=7W"F\m$1T-[=<~Xܨ-hc" 75]>dq_ΠP >Ai Y !] tgTeBEޭg 53O45P$Fxh(O]Ẉ:I u)WϤ=p(ƣh1}Ooh#:cj%_E3*! _/s ؋pWa:|<i*#].*4hQRBylm\GJ"FNgTUeDI1dPa;q. w'zL):Oo 0~Q F opcZ}: _ؑ]):V) 7@f*/gbHzIbTOiA'ݻw +uPkM| `(l  y8mE3>HⱘNNwN|dzC^(!B]i y(N"Y@9Ҳeࣂ!]**i>?oAm:Ѝ`иїǓS ?O_6c̱5:QJy-'y6cM`ގ6Kv?&P6 ێAD9I zSz&LKs29i'zJ:PGw&#=د֗&KݥjШ fh{9衄 0~p2_t -dU0sKE|*'o߼ /3!uEB侧\/fOb2^΅ `Goɹڟo1Op<%υɨB rvHgb̌2^CvCRi; ̘4I++}N8hςz Zƣ5iTW"V3lMVhG# x)Ug {}L;MLIrkk^T"RbUZxZ@Wx|jlSչoa P+EU3G=ib[mŤܑwJ!Rs<%sѮle/xeڄ APNWF u ؠ` ; JN}|߸R7BxpawHe`T}nᘬ`ٗH*M;\B<^W1KI%ڔ ;f>pr]qZ AsSfS1Kew=O=;M|]ύZ7䄅6A{q0>h {@!9Hy٧ggo򫋨у,7;A~|LESB=~+W84j`ѵQڻFj<X׍Ԭ:>QMs{fy)v:F\H,3Q37I*@ZՇc(]nAvTc4UB,gSSK!hG.72P;TZHG3R4hEktujY^=$^$vUh`^AL=pӀ±59;zo͌q L|g~藼ٷ3;pF>R/྅a8ʰE+굏WhNŐ^v:XnN$qlf|d{䏤7_6|_x"8b!S+iqa\;6(*Ă& #@{}\ .4E>Ix)7a Y2娷(дS 0Զ3t`uc#b_Cݐ4= ЀsY/0ʬJ+֗n݄LP&TO)W;#\gtO6`!(=F.v~qUSA%(ރ7 M'yOW/cQ)~S'32_̉1p.($l\'j{PxqXp4B4څf9ڒ2 '̚q 5fb y@v F/^3ĉsE>(L#n =1qh"dkE!e%L*$dͺՑ|_R픑Y; 7%2i0c|AH j`MG^8T> !ԍs@˃nRهkykG[F& Umr=j G)adg1՝%QFน=5X3&{SԐdY* Orퟴֲf=%ILsN7n^'`Y>堃<r j(=K@I7>J`zQg x?a&# 4_ }p.e<_@?Np "p" Ě1H!:JZOz[eϷ'ˋ "3W5Oy"-ME|'! fgZu>5PJ=̴AP33QGQI lR0iA0Y99ҸlXTk̍c[\9sw;ڇ& P[v.l. :Z4UapbbITg-m@X$I!.9|'fG1M- beeK ݚ݀n$ KmiU1R1gb ~U< b:CD<.l>5\1# EEkh|?2ˆvKD !a$~زiO6\75疋 Қ!WٶlOD?7\v[ sPXHˡe?b*a/S C3 Vx,$7Z{ee,g=ZCׇ KxJO8)vzZhAtj̋Q>]2Lbɉ{,ސ1FWέo >SC+xaFa9Iyf_4IkҬ(mwW@l0̍E|9hqYظHV$n? ˘#[}?V IFr8x cA]v_ m/UyIu /Lz{$ Q] c~=KH~P'E@>tm&dgOQߕ <{*qo!`llv0# X@wN-P)GBAث=ZQ |R 1`aoD̟)%󙲪AW.[@rQ-!Gе;BzT #w&r^v4;N_f Us7h/Gj7ao-5NUNBH2YHVs>?K8 Y{ǯxD^XmXf12uT>B鞽i̓phbn3?,܃MD%RƱY6.l* й]:ʇ\#NuY`g2#'|E]i&!zp}-E,Q0@<ոb[:Edkͅxk9?$sD}PAwj2Nr|4{#M'Xm0Z]ԳI{4{j%Au!Eٲbb d  ECnK9+,¥DfADDt~UT)|P6xn%Gц˖q*!Dco4}$zx#aOӣ6YB;?M TK9y3!ɉ;hFQ,%Οߋv*^534s!0*5vrTl~8(t\BRl6WYxj|F7fY.%8Bc(.(O$Xz*^XJS G79kHߋQmQį9-oj0%EB;ZNPp\nYbtz)Nigm&; VgQR}F͹z͹3M.#>> )׼GRV> ا3oV T>W~F/O>Ww?܊#UE62&|l,3)fQ9^&v2ޢ"v #.t]/ }L]˂U hB1 Z Ə/8Sw>خ&(5Ժe!^Ofl)R-ix0g8. U71+*WqpJEiY\t__CF﫨2lv % r(6&ehN ٓE( 9d2WPnx#>go &1W8R)n-;I6h])1?EqtqY5Xd[R-j036oK]_\Xy |REKM?||6.pvTv5~+<% nIJKek5{ZuՁztSvkӒOWl_"ZݵdAR%nnAXf ‰f /4E[8g)C$/Bm8km(Ҩm#D+\tWP.&lTht Ձ%#}њ!'ÓڵP+ +wp9Mzcm< 7PN~sa RZ:4]F; H'ںh>070%sX&E#ɗmx&:IR[47kH9&h t^?I. k5 ^14% ͱ֢}2FCdTCDgrllpC^RF븇s%OwVѺ\jqxQa!(شa]lXɭE(u:dΊyPC:ʵX%m_¤B@cWr\]!%vP@( yvi f[ݕD1ơ5*A քwI-npa!_u-牙Jm.,Q׋e;`6eXt5uB?_ƺ"㵪LD<9VJ~jp泂I Ӕftw4FJCfz\@îo ],5jVS!{U!MGC%C'4tl9p20ıOL0X=4*{KƐ),6-d|m8y<;1ߗI ~-?X:&p ܏hQ[;^~EUA2NjE_>n)O5(*ͨ\J.!iR'Q _"y q_>#+wu`&=J.âʹ\sV N *$͂l|l=۽dFy<-_3|d!&VzWޕS(Fo1'[USfml)C{4r g-s]\ݿnquHo]٠ƐSފ}Q-&ȣ@ Hl]U/./f!x$!y %_4 Khla |ʓm5FYuf'C<ܑ:`Ymct@/bʸ.(SZE $c^墸[qM.8e_ .P/dhV],juu'1!.).̏Y*@'z8@}o+5D)z+Ũ0TnVFxRt/jP~D5:D]gY7Tt TE*HU=Q{?6xNêY4y!moa3AC\eڅI6p*O7iAO(Z%s:+DB }HU:7JxMiK&N<̊G+wI7BClYq͏?9V1CM/qYr_x7Zr2sa__#Rrߢ:㸺Gde,'܎(*w;0 :c'i!VBB5 )de9;S!ѽ4b& h@_W#%dOOp!#&Q:Ե,;{7t-ppk]A )qSAaTGT~C޺DT|9Our<0j?71jagYZ6d39c3b6256feeb07a3d98d2163a51e7dfdb35050a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 810e6e5ec911162a1e454beba7951235eecc5f46 22cb8fdf0adf379406a3a0191601e57e596f8626