SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 h-zd\ ]% HOL-ODE-Examples:threads=4elapsed=577.416cpu=1669.700gc=9.2487zXZִF! 8k]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7r3#fs5Qi(gF_~y/eΠbzpTB"RGO?RW%R_ ; /yfI TLz#{IɭN0@'Pb ev[8Y?L׽ ?UNw3@+BWkyv ; Mk~snF4sU?,N# %zdi^'~听5@Wa ?w^)"k{,%X޹go gfљU[9 - HOL-ODE-Examples >-Y% tHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex7zXZִF! ဖ2]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/''Â tstljcsQ+bh_#5 Hܦq;L&<`QJ%|,/ _0el"\"4^Ej4g?YA ԁӢc !oLQ4 iۮ}`2<ϓrI"ȨTbs~;Jbw}`GJ,=|j뼒*J"YzKس\C7E"pjk ju=:k}7TG>in{ eLFPNsE^XXhAE ;JMtOtR }8G̪R||Kr+%ҫ/fNs}X?xai࿌#QtSLKFݽJ왿o[6G$ IToa<:,r]n9,?kZe,߼A'>łֺʾ{G$_꨻nW]^Vk)A!hP"sI.A&L.bÍ,<&?T3L ]+Zq|бcWOD{zehkR&p0~<ᘘs䥞(q@D>Ƣ] /bj?\ct qKb(ƹh22KV,[15xH.Xm۫?7x|FG<`BX`xVlJ;G o7Cu27NQss8qkdNV-iNX}k P8,6U. ӹ{w39?luH'
,&_Ћ{Lq,+~,7a|/5X]? %>~kšͳ|5|p\bI^ *$r˰G Llo6M~y5dנ=vN`|b){0TaxNX-c֢An&g˅Ag4.Yp@Mz[Ն/,R]%Eiߛ/ =Hd.5239K:wVك`eF>?M0C{A/2P*VOxe zG P:ֈ6Wrѫp<G41gVϺo| m]hU{ڇ_N<ܼ0{`C_QK1s]>c/M"h-evR?W=~#ܤGjpoz\av0j:-WqngrF-SfyOrlH0IӣIaGcfYL{\z)JC۫'ypV7L=U-G% 4HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.tex7zXZִF! aQ]A-MՋhvG"uIBm5l̿6ILDs|N=*Fi@*ژ+42U{%pOyoh )lz05bQ5d %`0>9+hrݔI%d0)jnU;a/m$"'l-#=VPxM(acMb{s3),SR:jCY53 أ2;sq/E$( Ej/Ź6.&Y8p͌'dHxϔWpy_ NȤ#L2?`G*^Eqzk 3xK-_%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.texD-Q%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument.texH-Y%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex>-G% HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.texb=Khe{zdkEze.2Ą]g'ȧ/VoՆRoƮKL;׏J 6.B򭈏^F$B}O <#}X˴;hNfiRKYeZ? >ր$E=sb,'-[xM[-YluSQ g^#d80vpiz;ӯ&4߻b7WnMX0clȇ$ew ĔLuۖ00X(Fлs+&r2fPVN: ,) g}&Dz%swOi|IpOТ@?>'1N< .Wfp;ѓQ8f_w~JEFd,/ {u34i^żZ&E '4TLB4J6cǚyTNo ˍˠiBT~)q#~/x<GWQR@Ȩ0\ M6iF rsuQ~ߟ )QXu.|'*,\]&ll1%吒Pt>~)BLGe>fzƒ#:dCAZ%E/>NjCV}bV {JR152[/]{(# {2b8m .պq{ "F2LzɵI$N=K3z:i'3w}$ I :Ùċo,D X,ߟ ɫ`K眢<_h02MƊ74/5EQ1j`f9 îPs L/j9̔ܟ(68\AܣGa{ZEMjOk:1Al*fTWxA#xEtJ~ֈd?װ"OA\oaf1_Qg C#9bxǴy؞*#☐-?ru߉rDT-5:'+s'TH[aYl`3TnJYKd 6C- ^8i`m'd &.4f [eAzQ`"-g>5:WM6at)CBq2ȇ(L90}=XGOvP+~TmKf2ssGn]C}G#>[ =1v7Rd95›hOH㨷k.s4c88W9dKC>Iۿ T+ny[k[!4A\$;T| Y{{^$4xnB9eNZHk[G[UKS&d- Y|GĞˤ*"G8yZ^w{|l>c/v9 5ʮ5aL&( mFw}6pmܻK4 m&Vj!mV-_l'&B.ٙl7'ՅXQ:VvNϫimRJ-SHؓ]DUWstt%ڈDtM{mv,lyo'*s!\耑!6 /x$F!1q~E]_{y%V󾑳3={(GXZf*8R8(asZ|2#@w 1/aQhmwK U>4=9ړ; e5x\WCRKǁ;5ږӾ4iIaZM_v}Jw-d;*" w^tbm ݓUցSJW1Z|1f[>jy5='ߎ^÷׽&PWl/NafHFO GQ4lmՕ՚A!X-//-88/)L*dYjtij?$WV&^H_g}|,G8*S!_rNX$ZjUu-ʬoIIPk62F.}S&>KƂ|TYe*ޫq;#MoGjtvRsQs#WY⎇08*%BôX+= ;湸Vea)B],5<= Flg˚/4,!!{f?7"7"Y; ֫ǭ6]> D_'!9'hT}LxklW^ygܛ"TC FU7W)ܠʾ|Zu!z^gIbsM2{F=HPKlҰPIToO=sH<*$s0=Lgh92U35mP7q,~(jg-=@-ݤr,wgK56B[r^_FDdj$HD$%7j,5₂0߱gYZ _(_>-Y% tHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.tex7zXZִF! ဖ2]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/''Â tstljcsQ+bh_#5 Hܦq;L&<`QJ%|,/ _0el"\"4^Ej4g?YA ԁӢc !oLQ4 iۮ}`2<ϓrI"ȨTbs~;Jbw}`GJ,=|j뼒*J"YzKس\C7E"pjk ju=:k}7TG>in{ eLFPNsE^XXhAE ;JMtOtR }8G̪R||Kr+%ҫ/fNs}X?xai࿌#QtSLKFݽJ왿o[6G$ IToa<:,r]n9,?kZe,߼A'>łֺʾ{G$_꨻nW]^Vk)A!hP"sI.A&L.bÍ,<&?T3L ]+Zq|бcWOD{zehkR&p0~<ᘘs䥞(q@D>Ƣ] /bj?\ct qKb(ƹh22KV,[15xH.Xm۫?7x|FG<`BX`xVlJ;G o7Cu27NQss8qkdNV-iNX}k P8,6U. ӹ{w39?luH'
,&_Ћ{Lq,+~,7a|/5X]? %>~kšͳ|5|p\bI^ *$r˰G Llo6M~y5dנ=vN`|b){0TaxNX-c֢An&g˅Ag4.Yp@Mz[Ն/,R]%Eiߛ/ =Hd.5239K:wVك`eF>?M0C{A/2P*VOxe zG P:ֈ6Wrѫp<G41gVϺo| m]hU{ڇ_N<ܼ0{`C_QK1s]>c/M"h-evR?W=~#ܤGjpoz\av0j:-WqngrF-SfyOrlH0IӣIaGcfYL{\z)JC۫'ypV7L=U-G% 4HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument.tex7zXZִF! aQ]A-MՋhvG"uIBm5l̿6ILDs|N=*Fi@*ژ+42U{%pOyoh )lz05bQ5d %`0>9+hrݔI%d0)jnU;a/m$"'l-#=VPxM(acMb{s3),SR:jCY53 أ2;sq/E$( Ej/Ź6.&Y8p͌'dHxϔWpy_ NȤ#L2?`G*^EqzkgYZ ^-Q% q RgE?+Wȁ R2aƣo@ 4K;`I״Lb`G q4GWv WP/};C!s:QaA& &&@M7_}G3uzck6fMjPki\>leF\{°]';V& 5w8ϭ11#y0a8'IVuuzEg58؂jDx+y@Re'BԗŅ>rZŗwI;MBQ+`olk, c!ug^/b UF6غj: >QQ8KPbxލ,Ee}u&#;A28q'k`V *0ٟX¤r+Ǘ1…o?3 E J7獂{ _?WXb|B~4ōN? d #*Wx.xpq!Xˑw#cӐ xU(y-i.Nh^}OhVx4|xV|#rC원aǁR57-Ef/w ?2( KY"6 qٔ{2#ixEJp݁{H DVukc$R&aHo61%~kjOџu8qzl78-0Du,Ͻ+:ku iXψL `@TTm]C;T!`z.bz1w\;I( ;l+k]i fQ|AkY[SG Geg1| c3^h2 ,7@ַLbjXqL?͈rtc]a.G`>Esyxp_:P&CR#ǃ(jm8sϴ涶jjTeR>, >j^'IO G"geQV6=\$uw(yVYɐ+J@[>Q'~yHYvl$ =1X4MFzRzx;H%׏>iښT4XasO{b6IE='sPMZ8U`U:.௱!N ^q]e_ sJ \gi%Gl{$zw]tr?i9(oo~¸l:7ٜ6x.XoL,9V8J=&.ъdoԯW5#UAၠq!I˶D1b;X94JV_V?oy(?-חp'J->9Hk8^I(g*F_о' )93g&1ER(º0Fr@5v(XY荴4[ou19IrPDx3(iLמ5IHipT9o=yL;Yҧ}"86liT z}Bol[Epз8iD`>'RbA"F~ &)Ҫ@ҏG ^fu dm7lf0й8c4x+ p[#oQ<+Ь'sj!!ϥv/ ʬj`f+gYZ rY3P LP:M1[$9ؔ%Rw ݪ:71/Dqtr8TSo`&4:Б@J;:5 ]ͧe& i9T?b`A^I~D 4|ghg&}3NN1C"e0|mIJМS]쭩]+|CWF9+04K9S#4YV❾EaIՂeвG8/=m!Lux_݋V 1\`bʟG ;Bfr;[MFx`76zcg]/h3)rq6 $_#CIJi|4o:m?5yOsohqװ&|E @HDRB)wu|6evJ>{"} `;Q@N )Zd mqn]'m;JGc(?׋XS?!@n_>?r.*߹p@WT ;_,~;}DlSe@\߿~BPyyzϡiƕ=UALTh㳪JX"  GAJ+.dV!JQXӬ7x4JhmpZeMJUL}:|aQTbSՆϒAԽGqvE>2f(O.ʬhZ;FJM*߮ErxK(ȃC%~W[="r`1dghSV Cq'2c0l~W*`()ű}s%CIH1wi 1jDG w&9G˥@9Y@2=f44hȦB৊d44eGԉǸjUO$7_5@.o-!Ly%Fg03D^5yu 0w(>I>CBT/m9`&0f~,g>w1'gN <p6Q4&2G%T 0dPQVo(Ԡ#Z`܊% }76:g?Q͇-9=dRðWɛxc:+pʐx1%[!J꺸8s_1Nvior_OӸ$[SGwA[VZ*q(3 _0ߟJ;;[3_fK2m@f]҇F+n>Ra'7*Oh֠"F65L[]s3R+1`6>>Q'aͪ@@ܞ u)!M1,f!f(ЩTQi KQh%;}7Zf٥(?'DJ|"n3{n(ue+-:,:"(^ n;2"*Lz͈#!Gz.NN\>AYP ˖ *muC&Mdjqg:@Ec1ba&A)[3:,G1XprO\6f-Q6@Ë^:/ݩwV>|#y>8b}REͽl4²>YJKճA2o?]G>"TYxMv: UWOσ}MQBq*O"m◰K8qb+SԥZԕc[˒b;},hl93[KGѥ-Da9^ PAטBL7ս)U!7K{MfvsB-Uv€1QoCO[9'і/ZPU|"(kPp{(d WD{m"ixYeֵ8|inWvH||4cM!8G5 8 HGio7|Y,$+Űw]8'_d*[40vψ='>YC4Dَ21a h,9TX]Ey2oQԐh zG_5leRD"rYE,Xawe,b@TFr!r2g)c1} .|zb=clÕ~, dEbr" YwKп(XN3:xG嶼Ym3^2$ybґ~./9`zCPH V9\p J;@˭k PN5h[ɎE"|dEqF3da0_ v _35h\ξtK:㫂W<٩(F]ѩ]pW\\6pijPȵymg)5ud4)+8!Ȣ^##2,JoAW_Z.,j]ۃ-lۢ)4[z;'ۋB>Se.2K&gY M//({ߡGp8Ip932:L)|Gcy#$hOT@3\Iw6*N ծӻGOu#&~Q*׾;3^y'EeɿjaؚU?DBNg' E*8Kć-/+MՒ re&ktO>}17Cp8{99eGZ'Eo*-G&OY51y,8٪6ʫ(ÄM1̔/;6>Y atG"'J$yQ72uοXaq(( Sav\,X7԰){8ՒęM2bBE~κ&.16ҴԤcdy]P:-#S܋wc+ DF*x\/!y]I\o 1!-%͎"ړ;KжY1=xks [,bUd5RV8~Dm:p:`0w8GKzmmsq:t3At,$o&2\/G|hGt1fithʫ@g>/3* D- ˚qA+_S S*1C߬*NWvS}FR 1қø +xaT*k@E&4WV|N,GJah=X;Iz+nI$ a/rbdGinLq\@Cnms5>seךd^Ԗp%A?gou醝fn+W]zYL~]ҜDؾ7w҆=52qo8}qխ q-lEٰ`R*\F]7BIBCCrgwt;6;|*h,~}CbK0tMEL _xRtB-' DTfAaJf R|6zxY:OɉIw)=&3w:]taNI}Fr%uSĀ8]EY:'T耈7W4ʅpkrbǡJY!k5Q.u btc?.b'RD"[R?"aXަ~hs[~D̷l:$EQ´P; eUa=M3D1Ƥ,qyIPzmV}QOic&K[JB:q'Oݷl$_v I~g\:"5mb _M WRi_0jH^fqhI6S ǚ $f,<Ϛ(aE" ?Ue.!k'$ C1 }@,^cHyv[3.-96Ta-.:FBU&؈9L9yH7'co3t&kRAW~][QjiDۭGtQԄO!Ψ"G+4iN[ź;j "1^hpoX!KLx3E{~?4C#"sVWQpd{rT0ŢYrxPeqSq-q,y帔O}ױQr%drF@CV,L6)TR ]. QG#HKУgOnE& u]Sg!͓2hDJo'SaW\pt 2pVNV5ꉃ(eR^g ="!hݕblT/jEڢT6: | QWdҒƚ8tsI=V ǔT م*Oё&N$cAP5EKSsT%lVgVG`)E5{i ,k lX5+j{[d9Ӄ, }h:3M*6^U($cEՒ Wm {`5ۄhrt-+oU"kenh~,26d#gڨniYuG"qj{##HBRJq拠ۈT;ʷWi0if>VI %eHX7Kw;QHGD`4Љoeg6_wЪP9ۜڥUYcz#5K!OT\¢0TrFn[yRːy!L˴ 2p`|cjEVo1AVx8wklޢWQ9얛t H}Fi R#iU>U8W0X;7uc*cCr/s]a,R*blUQW^ ,u|jQ њMɜ?e3kyȔ#$BiT/)(/u@DaqBn"Rqu&%y4Iwz'HNιbЇvE9~=A7ʊOhDn)j箽CZ;¼OٮMbE3}Θ^g81<ްFPZ(69EB"ɳlealw:ٰ9S]o,6I'<+Bt,JHmXr&;T ը8(8c8Z"(JH,2a9fƴN( LY6'w,;6tʝ퀥4FdԱgzA ?HpbDf#c 3Q_[aCkkͮ>LWn F䜗h 4ʖN\I&bN硥ƾfV[(M o02Dx_6oȂšZx$}Y̆YvYlZqlч#/ PO=w11͆Ԕ#jZB-EF#W%*/C6^IB< DPRH{^t8_[Wmz~_T?!_:[rx? 4 FG~#@ʍQ?&3j^5P$C9xn\B Ժ֙:HmI~J;lfpN];.I H:m^K,TnA\bػGy ˌ/鴀ph9غ (,np$VI{> .4_suhfX9(je𡧍Hl+ k ::;K7 z΂8JCmUbȔsw( &LWv NJ`a%R`h\8-hK~f ,H4=>$EYhmvoeyzt5D]9>@ NէL|!~h/f!zyY/39FRgMˠ,XocD~bm9-?:c O7j u㸫jzAcW@1&*4'r >8t&i(\mXQ/QB(,VDq Cz ; Qpkwn{fmx:"<6oKHab*ܨdqKt=J{}ito&#hďd5ؠmr7=X,^E!4ДL>z996f6ڔV A]q7wEǃ"ɷ2 ϰ/3B2y(QJYz#;jw%b'zSdw֝Qiă 8 ϑdfVan[Y \ȍa\{xx`;xuLۿk.Y%: tjE:/m 12[>IRg:|SLfbSò`6͜\?.;F%k>*5ĩ[J,|tR$U :ѧ [@z߱fvznĶMm_݉M[AJ7;Ղ!qǓAȨƩ],|àh0TyArzGn1j#PLR $bV81ItheЫ_4jMIcI]fSx r\n%*2.vn`Bߎ/9N6N]%mZ/!"șaaeg=Jid~|p2;zh=4ĝwlÈ۩PU}Eƥ1hy*- 4|> [ɜN"fYuO1N `([F6KbX)Nq*7|QéH07R>A G`9?]/o&h9G0_Y?%Y] `Ӷ_c|>X7;7Y ?EҼTL{kPLTFVAW6~5"_Bx9TFvSI YŋE"يe1 d;^)_F{†]3}bIf#B&PV_$Fɵ9ouf6j "7J릡[-f:rde"s@+󞧎@-P l#l[qcOv¼U TTKo=0^ֆW€ME>pj60Uvt"*!◐y'Z*GV=*=]:Y.aOvj.qܢ=5 2,ˌZXO|RE|xͽ,9p*="f!:z{VJloHF}͎/u#%=DVt 5Ű0s%%oyֹkPңߖ=KQjx[*Ρ4kO r{BOr+ȉ=#>;DT[lcDN"!B<DB=A1fs>#ǧLѫ*_"Xܿ9oYSp&Tv\z|]U4Hj+5l}GNuqӿaViQ9(ʷUH#MqJYwSO13 qRҦ5:C|ȆiuLI;j.*j'!1:LZǻUoK= g+Ԉz&B Bj'ON m)gMc!逻c̚{61fz/ VmU(u^+!Tٕ,I|Jm=.,w'4V4ڱGjFN&\N|`2 (X Mъ3@)3[Kứ [%e=I"OAT=4q#%$HT!aB1JV%0rTq\NYz2:TjIȊ <q儎KXGTe: %sWNC YU r#-O`(WBB8']9yI.@c7.W Y <'Vӭҫs:-6J6?LZicQ2zJgZ }N%}m^Jz?i|[3A,/Л4zIi3yE 6X嵉=b7[ x-Cvr07ƩQL >WHmmO"0]w`$ҷ,o(\\4/W!{-ėdgpl\Zd,BE6`¨w Em!`Cv=El6zHѫ[Ljh܈6!K|k&Uh"M])#_}ى>-7$MmH Qu"Ϋ;dWV;#}1tKX%J87(TжO+)"S[gܾ#eHu-/LzT/Η.wy21^kx;h9bE7[枆f57C;iuDF[1,BV‰YX̜NэUI8 :]~rm%TL]<nr%8Do^^p}bCrhJ_FR[bU?_V ϓefv"#,q~$ٚf#dqJ~H#pGeOq4ZKZb 5pRx%&w4aB( e)r(_Io >\  cMlj󄜪嫝kb!]-S]P\5@ OZ~*L]fn:5yF)n wޅc>ҝK} _[ @) @pa?_4n 7}}|9#2d)b NH+tf5/@s'o;|7%bLytjKē]0qGTG"=c5n+z!<$>$-{ \V}tAP)/ܕ3ximXpd#44}y.(*C^$c2tԘW*%)5Dahv>Qܫ1@-}.ϧl^f v@4hK$YA߃'@W `AZ源*q[oad̲qZ&㤰27^1&(X_-@c4W%oU06fHNsZcp0c~ zX -IitzwXӾpLJC?%m!yA锰BGyd; :3vj -eFȉ5)+?!JOZ+i2aՙS|X٥Wa79A9 M.m񣗍7=4iyOi ;/T 4FVjhO%U# 6bۺYhfwtBOe.kû[|.NGgFI{ЛQ1N;YHAkcV<م޼&d g^'rD Z%'φe*DĂTj:OBU !-ӠPʪp6^ZuƋ~(Ҡٿ֟iT~XX%;9 175T|h*̧t,< 6pBMe_8,Czrukc a{Bx݋ }|.mƬmb-6`=1VJV( e,Sw4K V>7(&qkG-w"+i{>2( ݴ2cnsꚒUosSC)sE;^30 $JmNS74 Nl蟁D⧺L_.w Yo0j:VJ}K:HSO@8 rIX3%Q!x[R-7 C rFlBQǢ,X:(`MitlV|(7JB+DOle!Vh/Ga[/I~C0iTV!xo;|D) MC]ŴahDdpnl\F羕[iu,f?'@C9 G7וQs %w]p%e=dvp!==Brlk?o(",4ٰ#qQRxĆ!x@[dt\@3@fi%,^/,hkނ5=5],9cjyޝ͂qO =X8-J cli`& ǜp؅16xy)8U\b]׵OO ن_Ut248`ǽZ-Otn\VinGjSWEibKxQj_^{&ՙ+7%SZ3T,1qBqP|,.p}(k&RzvC/ed0T(iqa>%Wp%z'MD/VxӛE)ɞ dKJ6a{tn3Ԗ{ QQj3| Tq\|4)!\)uGP/1 #NK=0jB "?d}2 m?Uh`qi,jpjj XI|olœ:}mvTns[>oh[P6 4%|z!%$70 8l&>h< 7]DT>Z0-nݨ!T:sVrՑ׺uz>N@@׹4ݰZ 4]aM|Nucs8t=ߩ(M U3A[@,;w+nnV17' `_zAB V7:>|E o_л!U ?p6X;J}Y,cmIeҳ\Lw*^&5u!֒uڬϛ9DձZ6eP]giʈ Fn]rOI%_9`@XG`nKM LfW*2Y7',v_iX]{^5cNJa**߯}Y~x'b۬irԓ_WL!mmj[c52 q EDq'c͟!Db 3~!.(Q6xjŷwVu* W.DvUq#(9GFjrbkDIRrҙGRUIL^TڻWD 53Ž%O.*[#{nk ,,Gm٫IEv=<#oE};3_zuoނKO7>wmQQ[R\iXJ]Ά=oa:#k'WRۅB6u_C4C\kxSVZ &֗](> [WR]L qEZS1F%{bbQ89<ݲLgpB9A\|]k)q\9\y}yZϿ=8\?q! |V_O 0eX K:Y2JGu'OP5SqM6U q%tw'0H̪z`?T,ؠ:͠B NI_h1*,95%N5\R?D.;4Ad~c*#clx9<-ORlJ?+g |~^ڢ7bx HJ?߅"k㥹1rk m'. c0FAbʍ{tUW5̦ ?=V^-ڵ" k:j܈\r/J|W9Cƽ\ My:* ϥn -Ѧmt f[~clE0O"oɐlƯ<*ЕSmsS'5M4}ɓ> rVTAa@ .a> gYZ rrv -_% \HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.tex7zXZִF! "I]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ˉ],-$!;@l ?aoT븧.gv z.tzS7S"z L3:ǑxOOGS(ňfP'G /5 c<";?LKG &jfؚx]`d>H#Qvr N9H 셮v;|{-1â< OUԤȻ t#JOt]([ gP_ C`|mG:I`Vy Av/Toy=臷pzuw֮r,Cwp) #v K˦Ɇ.@('`@Y'h FtRFj~IHA7T^R@PҐD(~Ol"a9rkH9`pP?I&+#6N*u<ψbWgCkR՜<ǚESS:gVD#,Y7WO;o'Y@#Ao>ԷyMV*B@m<LjT+紳-Fݚ_6N 2A.%.%EtFi^Ofp2aĐf8+twX958q?Y+/9[nI4lb>Sdk̯2Ұgfyjm޲ 1|0Q" BOO^l6L1G:,il0|cL+Sv` 7ỳ7_eΤn*/km ߒ@U+ Sb튻9*u#(=$gP8O|Bׯ:\i!v(t֋jr]AR)}$o\:zR]In˝i#~lhC,)54w.&eɦXfv(-4M^9>hX8˧gPuw.%̥GXA10ROJ2f)^W¬֎`/Kg*I;VNSo |GY iƂ'*:\ݸosq`X:v^ِD\{;]2 !ifKYuq%x($9\6 L&$ +K%M:<wO7<6s 'NWydex5h}V3k}q~}wktzSZS4bB^T{#g k<¬" !/y0>2UNDjك pK)&*lR͙%m1a)wDÔ>QHCqdꥣ  My-(0k߈V,Ӝ T8Uđ&7uzT-ŔBoY`M'>IL4DfT/=!ڷ ρشdTFrP3yQ?Gt_@ BT@\${fvQErdKTb8~dƒ ˊ;C#TCQB 9{O6XP.MTOS`Sgr SVY}|!L,fa}6B`M ]q4Gߢ۵J-v_' M^T>71JKʭ/DFPe~\{Ʌ@Sc"Q0?+f3CdE9q_tI4K;D"튲<Kk[JN9!VEf!R'cnĸ n71/#<4DH͆4KoZ|X FXeZBxwtSYKzX: UYdfatCe0Ug-@F ꕊx>~G ==PАsNqA t:)RtzXY=xgPguJiYyj'# +C/qI^'`RBCh:YV>*oJn >#DzR(jwmJLvM4tZ9Mr\ls^⣤8>$n2twLH84pR0Kz$87ėwGR,aG6~朕hHb`/Q蚶YhΟ!yUGS ݾ% 9n;QJ !]!K@u& m96^I Ezw_e d2wo3br*E\+!9-0#OrXQ hmX,? q, q2VgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+SQ^-B@S_?yIQ/2yO#6Yϖ¶&O}+fŴ K؊RzSG%SdT;n;p&@#qOH . `/=ZjGjruR#O6v5^kےIF/o*ح2`Ӛ8CJ}aybpyf3.qSpIVBqw|1G&d nS5y3$EI_s)@$VJXPq!o %K?ٺCˏF&*)7hK\n$5>apNgHus 9T_TUBhWн#MpJ"s,-w Hk#?+-&WG( @ܮv`؁zPFʕBЉ^!@þበbyv"q6,*Gz j.a./&lsi^ e_ǣJ*g?#8,]&x#~R옏 CTʷ}zǼAub7`n| 7L?r"hy1 80%2kǕF g&࿸^_rÙ`bplY >MvZ-C7ǓEz .P xfP=~ZVdvꅹy5a"ډwc5c?eH(&^ QA5&The5&t`?q&\>@mo,!,zG%qVu"~sd5[aR`?<~dQ*ny`&ڹ֦U{DZ|QI6NK;SҠR\*좙#I$Ve (co=W=2DddF$-yME'WNĚ͍$pW. pc@;8 a '#G Ө=ΰTږs9derwdR _jև> ^=@Z8QX qh|x+ře`BѕE%bLӠ|qwE ]]{Äl@c3cA)G{g6~*"RTdMbPҟV.{ozohh\dQВQkyDk(z]Iӫ13\n~-('.&[ Ftp lhKx58)bhb?i.ġ4t|oΨ3IT! ]xH`fjigq}cF͋ H;u7-=u*Q"wIsF2KU^,nTdU$u|;AtA_R?݄xp"jw;K^ !zګvF <RGm םVU3GSb=5D~?n?o(&1'<8PU/r`ySpK!NhӾƅ4jyE.]%gҙ-Ŗ'6$^ p"%?C /~jM>-f-t:BȒb%D !|dZ8S ݡ̽GsmL"äAh")25C>Shb*:_ 1Dc^]D +3iȑYL-pgxdnJ}%Q:;y+3[0ԫ>uYFoqt;M3hh(k_CnD4 7ӫOX"=M5&)19~I(O")\(7woȦ 2('Xoȓ= J;D2\M ?@ %Luݓ!j Zf G1qf!/)\4vT6=QX̿X !byo0z%qGcbkȽ'p%HJQOG=`bҎNs%buWv<eI buT˝KA*#8hWV-8\7W2d$cNꋚFbNbShq;n5vEٗ| Y;&b=,df0|Q6I-mfZ3BK)dz0|^Ĭ a(.wˠ= 767GBAaJ\4O FH`.Ԩ W;\+Bl“uXWQ!Z,47k1ͪw"Ϸ c?Q1^a|\)pl2SnBds>N HN5aXًha#"^Dhcqi箴0C)+ s;65tM f>1"Js-cIOVNj˰أ;ZEl _ ^bfn,ƭ ԷGwv ,x'# #4R:J~feWK3 o.6!-%>y8O,6Cās2ZԱ'io=?xLj8P kq.OabՔ]R Y@sFkl h1Z;F"Qb&a.m$.ON _wyO"qɃ+md gI+6jZ QJ7 r5y#?]Hq.)䂕QnSp>=Y&>u nJNh3T8d-Ʊ>ٞQ?lswkPg w4)y-i3 J P /˾mptн?5}OL''b7,(y{|0fdؐVAPĻB/n47>N SSq!2~r8viA0<ܨ£NJIg 66[{@&T.A`YkQrWSw\\s1t9ADS!{?<&6wڎ]t`e૜hfc^5ӜqϧВ dΥUg?j98gWi63^mF?{B"9G-TRB oagWc-X 0Ds`FDއ)BtOkJߛt=Ʉ,2@6$gz>wzx:Jg5sZz7GZe"~]RI-@AglΜzJ&ҷ~DĿKLwS!1C-QFw{*-^_VP* O0/ai4IWqOO鵆 =ZݴdE&[RM})ZNyVLQ_P۞E\ij>1$4:s%6:DfhHLxh~>4I%P3F(R|"Ifzlual A~c-\RǙ?tz[҃#X¸\dMG[lT c{ߙ.ɡ}+Q%DeiFd^pWXDݟ~R l.chJPܒb=#$}|i" Fet9<0cV&^v*n|ELekXbıT 饏VYmDD*]k!Z$tr;$':N_.|[E\pmBc{E*rAZ ڦNsڼm3V[@_M8xU|g@ΞCf]ߚMm"QGQ-J0ዝ֬% 0v0.vbi% -VHP /`?ZA_?<#({]Xb%RcQK}!QB.URٳ )(-L²d9: ҡ?}Sr;al &ITn?᳂&)(eP-j[1V<8ȗm @87vhJL~h!ڂYтEaDK\`|/o("Ro9t%Ԥ_Ka+QG'%Y*R[ͱޙRh$ۨUq$ ]p7[ ;/;:K'IT3J(l-7jPalndH3fuuEp/.jA[.GߐU ]夋?*{pl54q VԪp}ϽYᘅvG3 }AQ;ugiP䇍2 EDeH.@,5y|z$ n1,룣/zOJL'DCwlI*s>4}ApŎ.E.`6L(e rlhV@2r0ּNPw>r+>Vmk^jYZS#nA֍C9̈Rz[50h W!z G5JpqlawcjA $mҸ?ő9#0lGd lҧhS/1jF0ej>5G ?&y+7$58eOI3 `o76_1~;Hۡ|;iOnQۗ'Pҗq``V ɏVaBA*)_*Xɐ'T.H63 7hrOrl; EI+7',c:úĮ.|+I`kn)^rc.u3c)z[ekY ĥqX".{ėf-VC6vkY\lkGN8G:A$4H8P ^tW߳!րtdo9p-Z[>)ӳ2e]p5`@LwShfl"SGprjl5S4LRg,-é/ؚŶt,ID(ARi:z7ƛ}eMwVF$L7;'roG6@5T+)o@՜"5?I&l|9 wpTu-``{5\ ff4UhM/T?XKLg u#0'҇G./0mlʐ>ٗZ~M!ݺ@ ,`%0@AY[~nI`` k~LFTȘ)maHD`dYJ b=pƇI0km^7T9}H GRhلD5TV ȗE[%^Sf1ehP@9 ]%q~ 8cOl-]  pޤ- T{C)\Әl`5&Ѣ=R&D;ZK:8:/VWNߧaQ7 '!p"H3oHNMa;&""Ȉ1pnmjMO3*+|ģ E(7]ؖ8#4dtޓ4ᓣLrGbvrBJ)W: LfJK/?=f{`~;:3ȝZ)g9-㝢 *sDd oF2LC1US[tɠi5' 1ŬqW% "tJpWˡ8q*'p\_W;̰׃UX %.A=5^AΕiWՂHr f3WV2!i"I0%]I&ՋR{~ڊ̹wt'yw{SpT #. W45.p9O{EQPZTn`v4f5Y!%Ĵ03.1هE2䟝7w GkMŬIGH: ռ\%<6i^ӜxL >7MTN$I7 V2ݧRo6d/LaPbw`+`;?Jش,q(g 5SARLvlFZdX2 x]%-=?W{$dz%I4u_U+C;M@i Ŏ~4Qz'oc*ԫRK:5N{C/:tvFAwj4Qm_zX_e+XJڝihȶ CC g@L!:Rj1.|K/SN=s=K͸m$\|ՄKC#+:K{p&S=x& &f:gg.~?.OZ#U(75RS3[#Ki1X\HWϝj,.Ytx Dym#L6qV\ %l9`q=;Ӻ-rE^qJ&?c;ս=QSCŴh P2, b`F1J;!E>B;Ɇ:\t KW&"EΌ4=$˰ܗ ?'h(QE<5!VvD,? 56/@m(D၂j8=>.A(^t';S~]pl0JuxJl$J2Dp"felm=Ae( }pg^Rv&0>z{@GvxOF!ZU>k! th{PP_ū? ջK[]b ,zI?}m.yB5VdΑ-+w_c[܊+FܙBߏɦ9xـߠc ХHҺp!ԑ8.ų-5ELW?e Nj{u9r<x[*ttO*+yۦuzBg2=~N2:Ũ@3*fUHќnxZP%G]?X5-ki0%?H[X")onA #Ki]Uy";&`Gwx]8s lsvNYPyeozdzXv%!嬹[O:mfv/+yoD"t5HQofgRҔ; P7W╎SN ђ0<kbW! ^fџ ]mOw8vfj+4H~LfKA81}Jȗׯ$8'Hc;%1!=#C~mYMaØY''"/ @9~Zt{u{jiYψt~_fvmmH25g2lrI "6aEupΗMy%6.^Eqc$H(#PL6M\&#WRcLHfl:2~ K6|H `(j*gY>V1 8׼ \"eNBNPEy>2 6% M=*]<ǔtG`9`HR*G$>Qϲ@с$`71zz3Bc^l 8 DJl_5 ރiB[ʃҪeIqۉ+R5S;ʾMSSGs TIq݉dL݅-U"AjtN@=IjX8oERN $P&pOzpMvKw$Cb< 1j !=D{t#=~ U}1ZX;?z jBΏo9,_Za!2xsDHfGӮ7Ko}Y:Lp䛛vc EGFN&Q5*yn 36Ӊ԰(G gA'yhNP/H#5!.3"mj:/a܎~A JS! H{0F3`zsAS5 qnmE IoEmNeXCec@ _M!=A[v`T`<qLnf`/H[cZb?]TlDj_V:?IK^ԟ}V7zlO.UpOt~7ꭀ=(3k"$mTP 0r)M+1>B&AǙ_޸\=qϯYV?j6av,65vɯc& `dfR0ʭ,39]fkz+;JA{)~iq>IPzڔf1DFa'?6߯(ph3PP\r{rĭĹmw-=T\\?tgjFuel{d(ܤ黖ݡԩs m NB$ I`~z>٪n=A[a~(ʾI%P0a)43 ߏ{fEБ,ޣ'U޷qIL ;@E%(A3i>oճ?ᖾ*U[B-Km{U8Ih[>xji'aDtAu+G $hem4ee4b"']`mhz"ɠX#{Ip/- 4uղ3̏BcqR׻~fǓS{}* 9l(蹡vb[l Ё26)k>zcJj5nt2mQN xIPz+B;' s$\`Vڳ !v }&jl߳` “j+pHn80}$-{a(PDb 7 Ӳt*ݙ C'LHR{Kv\)4ՖL[L9|UpR9Àu4-,DCjAEa(N} hv_ ?plk ȸ<ȻkdvW#)8Fo|-z8$?>}!e1χ%$ #Ň 83!͘_N )kUdlWR * 1?QϥJ܍VERfȹ|c}paqQՍ}?^Yz1w~# $nU kMtLnS*x*R2iϴ唴m}):^OcoGDvEpoE(X%X&1 VzC8T~Hz 4M5݇EZ R&lt^ 7>r iHM-mCsu-G]z ȝy!#rGO_bF*Yň PQu-0ڧVAZx|L;G SKFN (dgSv0{ !_Xl $*221$!n$ Ao7[s3\JIwzC`ގufݼx6޶VE!e/'3HGf;?~ QhU.wRl!>C\O,(lVX[LX;2e{] F߂ܲxPMKn) 0=dd Rl\_>,hf>IB9D*3Yi"ЮS˜30 8=S9>['%G܉ӵ/++?(L,W/eLI?':Xbm_q I"i3_ iˉ́al3 ,'tJ۫D;$5Χ?9U |Ա뢨ȒHFrl  5C*b.s΅ۃ!9ObPy6D k_ ?80f)];R] Yq$x!VYͧ5s=OxPEVPXELܸg}F7u<25<՟ik{{m?!3*'l0*^ ٗ\QgOexbIDN JR'?a9 !tMVqBb`(IϠGtE( w`OvvF;k/ J>0{+)5bi1Ep :t[TZ|t8 ytQw[LJvD{ F ?k56PmЫķ x#/%[1ŗ-UX_Jfo"ovY:5Y՛يYT!{%{K2ܒpW(uUNV:9"г'0%A5 q6sV!}EnreX ^CKCÑؔ K%]COmnOILdC* UbN?_} P"T6`Rb@u6g%MT4j~!)RR:uܑbhFB#q0~5FDri۫J!_V9dV<- E=*%>ܕHSNJmlzi^X٘ʆhԑqMl !0yH1mX͗{]`^يʁgF6 9MβrQ JNT.2}Z99/feH,$3ICF`qsAoZI9B*aD uO'EWoRLOo4!1|LnpX P|=(i*AC1KPf;vp=teWK9 vѳwh6?2& f*tU^?Bg0cy˷F>f^ͣ8-| ,`*+Cf//&xt PDō hͅ7,\~ÂiFRsp<-d*N(rh ;rJ֓"&–lUd8Ay;#19Mn$SLgEP wd{^@p%o(iqb #_"Ee~/u (p%TdvaiľܬI3:s2 ́ k R. 3WٯvC Hjm[csk!p{wl۠^ "hG TMfcқe9XF;W6x^m`-lZq' j+LY mPk~E8G qϴJ;; 0h'8Xqxn̢kw^5R;MyWYvα3^)ܽx0+&.g7=k'k. ohVdKHH&tM* _*5M IYg6 ΅{,-yL״?^C@ 7Wf~fKmFE͡^F>`K)o)+Ay]_!H/G[V3Uù4ҹg{f? IM`Mh *utE;WH3\(Qd` j57"c_mk[vEu_ Fh[]XNOʲ0X8Z-➀2Ae؟VG"΍WWTM$7g.gIXIF <LtiW VMJmq2,9ëL-Q\e\]gv@ڤkk: yð, OnbREu5CpK5;O]t;6gDSM:{_2>[x< ÿՐfp7h8 +FHWI)Tw*voglpw1c7a#dWLiFHaԣ5UaɬZz%?*x|2P&Z (jKx]No+O;E66W$o/.k_2$ 2+ɨ4 =(bG|T\StkPZ+(4 G ,nW[My ɰ'4W/coGzt=8l&͉"i0vi͘ɦ<hr-Kbyu5?4iGB]˷K7aJZ}0\WUP4ZMGA. c)bbU㮚ˈ7rIr:}!(fSO2KO x *?XSt R+nXYࣜ9 c|too![;~^u}mO:ڙkzh}lxxC+┈-xVK|"x,7d%Y\)m ՜fz\ / ?u&0<p؅(FW U`x610}RB +ԕpwH,7Mf^B~8b40,  i3() !MHjދu7( };-;O_ F$+ C7! ,WAeW^jÜR;f-13"C/<|*&i3HWLΉ8dn5~]ohvh&=F?\q͟rOH.v*Ĉ40z+SXB=c).8շ6K npr 3釮< .I/|x(y#YNs M/QUZxSH!Iim*–SiSb~,i_PޮX{OJdFQЗiS3W4S z~t*ޘ&09H(*Ѷv?:\˨PY tH<nkV%#kD1oHdN o抏/{6E߰b$P1d R^[q<6Ҥ^TN5nG^8٤!7/"٤;+ 1sJַh5~žDvzljs}_7kkig4[!4_=o1Hz4S>߲>4Nz5dz5pfS1$.(?9^JmQFH mso$9K[i!ÄJnBT A1QcFjCg݆qPlU_tC'm0z!4d nYlh],v9|5SbLFgޔoW9omBjy]ꖨŵC,W'm  diYu!Yk̢BT9.@ @@isk8"*/iPN/y7qkM%yආC `jXN1 v#58Ǔd}om~g`:rqnyi8f":oKZW0ř8ԺXܲ9՛6}$,$!iLn'.g\OhAaGMol59>w&`$:9ʱD-|D~iPX~z8ԁFTuE;(QqK2.WI -|;ЃLM PFuSTv ]|9RXw%$3gOP}# ƕ(i?MmÐL\̾v}U]S?a ¢3}DY2Cng2OObdacYX|U!ÇfS /( YfgA+>\FIi& rV?>=`o5': {"gUWC~D? xu2ab?C-Idt`%qRqd﹢5`GݮR1Jd&Cx0B22.B`GI O Z~\/\MN{'j\O.q3uT!;xOVxUv?ōy}hPk8 (1>`S1is^;Ssۀ,2ˬ gkVб`1f7yht":`#tqlU(؅A7WM7w$s2Tc|n pZ S14x: Wh A,fvb 怖ޕH t[V3jMj)2? f H؊ɯFׅN|ɽR,kJ]r~#|PXVT4-"_e Åf6{s4# x6 fQ,Ǫ;WJC$,nvpY ok0ȚT>dvʙjf8b#}QDXXBd^:gӰ1\J۲dI#2ȍed!Gt9 jl?zPD">;+s)~{Ǎ1o<ӍDIô!W}Q c4LH?Vq. !5 #aRMC.-\n^qw '\KufG]Bȭ<(9<?=>Քʑ&C$$M*(;'#~23 ~WR@)?9 $yKUJG: O5/ JTWCQ\=e^YD[4ET)XSVWDuRiGX}a߀O'|xX ŭBn]fv6r&R8q7Rs1NSxZӋя5C.M;>\隉qp5I >IU`+jk񷦸xr3-{yx%ѥQ*Si(w$0e9`@"&5u)Y%ExONFL)'ax%jZukh͇IOa8x~^9$^՜&y̹Z畣 L!D{'&\臊~ԂKrqmzi+Zq~LSm]j)lCy&R׽yҼ_6|FahaMdjI^yKn5q5F6'_l=&sVՕػ~ȧVud8e;FQsX2ԏ:NT+쭽D~[|zjjI_WwsQc}kj)_UQ0rb/n@T_/d0ȿhь0QR|7YQa7&)ܓnp]rw79zX첚7rU:(U )P;.Ǝqd%Zeh}4}h/ dVgN$} ƚI/^JU,2-p3pud%Qۄ_O^Ox?i3Ptu@;  }ƈ v?5O{+'{\p Zy^$Xaa_b-"hں)c1\KH:J%z4L5 ZB%V7d@ DrنCQ :tcxS#.F[Ȝ,drdl¨a|3zRq\D*yd ϵ ΛeG5TFWC`.ĥQvsiy@LzELe*t4nc G^m#wiY:˱5ca~NJ,QG"]. c_{k7 GMjU^5r/,t$4?D Rޥ0Ǡ)4H@< >/$6A;ԼEe m9UFuC0qHd6귣q4P3`3Q3,>ҍiT֥灠hW? p /h=IJj m 1_L=@JCY6ptN3҅@(dĢ EJn IW29eW[`Pq(Ҧ| %`Spfbq/c$7GJf.q wު'3B0)$}cF[ŏa^Yb1IX|ƙVes3ۚAN[)✹!>? ,gMSa&CmA2pbl7KEjˢ;FiUgV&u~t|; nMl粥ze Ou et\)?˅˲a˥+.PN<R'`59M+~" r+/)d'iAe܅̈́L&]QlB" z1e^OAq<ǒ`ДON@xцyƝ䖣NOyˀ-U?ᾟ38a4 lf0ɳODqb[[Eo/QEFj-{GH"GxFfai+ bO_#" r-fCR{S9P*4ssԚ2p8^Te_J݃Pa|Q%wRZ+ҪaAȷES.RS dS),t]bI闒ZPin FtO=]|M l)qkF7=>Mm>;~:YgWYse4H̤'r$lR~~`45dₗ}%2KW39F6h oǻiMr_ab.Zf*4'f9 E _owvVol(RirapDtzz]Eh@0irNݦe8S@3rFlӻBkzH9[u!T5o0#"F{Xݵn-7T̪| }z~XT7& d$"RdfcR.JSfͰ'^v^P\׺!c7LN0L0['+8 һń T53ŽqBʞz~-^VI̻ʢoWL]:Un=u䵸{as9Gn]JhWX CΧ zqmB @ ?HZxo-!jYwz]~mS.?e$[Gq,hhpuP “ѧN\+V%ˆ/̻l{>hf!,I_fK]={- 萓Ī %rJ&T)E{5跻i+׋]Zvj, Y DIdg2p e*P35Tak >_^(`gIhC1 ޮ *6-gYikڳa=/Tn׀-$kV%d9H뚻UT`O(gs2DZcgu=Ut oP9Pdta3<]Trf޺6߲%uMN7f:7 يZJWC K5C005F} AQ@ͣHXBoXa7Zث\+Vcs4lT"^ J7||dS8ʬY4u8{h("$Y0<kN.P zY&Wpӫ&i?.- P#}%-l[x#%є9,GTu Iꜟ+4g$ިЇj7#`RQ V(N tM;"Fy7SQ-fla}liT5ibL2M?d$W&MJ)M့72-)XKd%,NJڰ rAk6"m'IR1&hF,T\V JB-y5(An qP"Ίwov’胲Av F #2QDZ *)Iǵ-H ;mř&rdo!@zAH>w~P?UZKW7`8WW 8Sr s+YF%L}{SyPd.T㷝z{W2Q,>ks\7H/L_wTRSB,{I|l5qSA"fM`W7 EJ9V\3 $iX's >b1k@~CcL[7qU߃]f2zMC&+.Yb6QVyj/Zvia8ks%z>}5Eu-lߚ }-OFlk{ӯ2#!@80tTTâ8}gn曧wb4@>]rvjbzƩ Ǣk=ź-_L 'uu|jk(LF㢠A@#{)nHRG7!Nouv]T* {yrdwƕA! 5(]ʝyY5gJGyI7X}UW@C`l+lRY\ XX6fA; 2Ou3YWR-֎Иe1 ;Ezg#ao~`9^7?\?zsN%30HBn>A &n`lj.GH "IJ?E\3 p4aP߲_S UqmDH+Msdt3L$ŸNzꚁT"+Er}S3~c(YPu/N528Kb/n<@HB*μt/@ϩ >tPȑY1.Lyt\kSq>d _7BiY ;{dZs39oLBLX*6N6׺' ;N(CK_n`>eHΫH>=XGGTUoo诒1~z `74rZE~QQ,t2T,Fѧfv/[[nwf˚92K/Rd &n~PgE / ϭ3yy`y[lX-fjـ 7;TTFϣ Cn@. NLZ)kӢ,(1)5>1t] ]|(G@<'o>%jz@ozsԬ\CLOLF¶26 MǢOrx4/8|LhǵD^aVe4%~Gi֤i{3fT]'Uq|[_k~dK#Ks wl9UoE){H {D4p__rLlY *bž6-5j Slʷ֍&ǐ)P p,hĩG_OB9HqrT`#9 ֞X FeJ Ug{InrgO( ۻ4/}nX$3N\&ZdA2 . PUL>( e gq.S2I?HE=9{@[A;-wP9̚\V 4t?B } `1I,&ZL\ |?2j$4JBn|%àgj*|;ъ;?ިN[I`bi[k9CXlb,p[b. ,/W>(Z"68IeDdס^\5q|d 7W[D*yo`z\*Jpf/zfa wn:OT kܴYقI0[ya~$ & A %.Jg%r`ѻyhc#V~oXCl)#yﯼ{օu]Lpje3 '> j>ZexYM[mqЧΡ҅eH`Ȳ2ǶI m07xuuRLҘnqf:G&?}Ӥ)~=13Ô΂ Y&=o)Ы[F,##JGteX*ٚzDIT%:xg,,ք۔;JF3{5 KN7dN_9D0:zT݀um]*;zr-h9F}Q`Je.2}>hwG}AkԨ_7,-,i&[}8A_G@ vjwӨ]Zp)^gk7}TaTctQtdl_FF6oN#5Dq͵gD03k"ȶ5x))/ %}(綂IuTɹYb%'}ͽW9[7$Dw=| F$t_]( J-[J48I:ϬeUXYк{5$4!>k d E)] A}*Y>̝OQcבK Wzb*xAz|-d&hKsvKPm z2e$kҤT vx!Qm:QOj^?TG$UPߨx;;jȴ0!8J=!@~P FtH! @|8=:'x+f3VRD,Ъ{Ň /ZMoQuj^f-տl5a5/T[{qU!l|֏jI?f,߈Xk]00PQf{\3)׵Ŋ@6Nm 1҉+=,ьF: :oWQpV3`;eXϷx?~#k; Y0ۡbTSϞ^fs >yRV{<^FcRgoCFJ?gLDRy+r*f&P"F5)]JOL{5KgS[ۛ!VT#N) ER)2U!"Ơ`^RMW,T^_NorsVelm) u3-E>u;~5.6oYhձ$A}^SBίpHLYA-+EOa$5a.iC&%wVY>SÂ-O*gVJemh%f-M#OQ)5SySsRDcKbRJk=;7_)ɩpO¨Rjd'=DݯըH$U(Tr)Ӷq~'x2"=2,~Q4_KKU@9 zU ^v]b=S2v؀ p t?;BQZ<:kk1Q"fI`u,2k|ϱRnNz~^0p+A^'{&@W[y*`8b@-pBv;,Q +R:/<;rgl_T@ 0)BJOI;'tg =Z$}KߞGJ`.H@hE`o@`ZԝBy}(-,ÛaB5>Pe`ZA)K>SR%+"NoGJ|ܮ .\zN ~-l)сv*tXDFXiPز!*KH#FS01oq NA(^oG1p1qk6bsA3Iƌg;=/;:nD2x2 b#U`~]ڑ>+kLס(' ]  !wsp0굥B}dMsU]fuG? +s&'V(n1RY~Ss#+}KAs8sLӸSl`$;h<%j#RdJ[b="L&-FL73DC>ÃPh"HY* lB~ KIJrmrIv '!p|\[VHw;Mj?MӁL9ڑPÅq蘊9T`>#݃tc}rX旨N'vTέO|tEek}́de \"#+rЉ xN^uqW+zY'#=dIYO+wn"I(E,aZǐ+<#~Q_hj<귌&W)vM2|OmG/0⹺|caz;B Rթ/OpFx)\ .U =pӉQWT@,\オʗ,lWua!^+h9CqCC]s‰.)>$"Yi+#f!lS7f!FWS>{?}Td%}6nn.B:c.Uu 7̀'L i(AV.x́Q41jȘ"J+Pjy֧^J UɖF(reN8˛<^}'J cu,o샼 x\O]cvʝWt, ƾD\ԧ% GeH/.|M_⊡>Q(ny Kk |[R>bCĊ$Pj$ءdrJ/CmOm =,-.z۱kNe<&@{+nfFk*3[Dxv%󉍱ZB,+>$i![UC_;Zj%=臜ۣwKpSerjS:))HQIsBfo^R3c=MM 8rz\فP@MՖ06awxD5e$)͑JULˠ '_T?<؈ƘJ8n"4. ?h,s392VTLo^#;ؿЦStZ~XVZVU]cL +ITfNdRx#w\ZDF"9f;UY+_?1߱2x?1_y@8*qmLV>=6RgKyA…,\JlKEP-k'ڪ%A+PX=aE~)ud}ixjZ Cc$||ѨKci:$SfuGgVՏ/F=߻1rޛs7 DEMduLѽ09=KUs }m|5OJׅW IP50*vcx̹rtGm2sBQ&[8)GBOB|u9>UѳW[i-FBCT+e&?{ڒ;n[J8 # 葸Z,uc!]q\[zʉ9м]>=Xc|lONaox $bU c-3)>÷ YE u@޹amET&`(7&[09<iwJ?]µа2~2;} r.OQF!؎^ϗV%/-rX5kt܋ uiO^ՍK(ɾSǭff3 s@?"owc᜞ LG}RO-_.CV 5W u9ҫ[L@` `"8P]*@Sշ?0302̻CwIh" Izk/`o]'GsBx40Sm q&iuoYM$K+]ͳ;_c[v//}@ҭh}=w2iEYˉu܊n /--0#9&RB|9VѦ,0(d\<Mm8QHgWlT<.. $5A\8{ |QM>rBMt31d\椏sWjUUs\VaA+=LZal4Xv UTg:RJlzԎ<թi. A2!ߠ@+ O907 y~z?ίfouaUm{ a;K 18T5뮦.s^OLIHVr1B*Sֵ Ѽ|7{:Ӛ.~ȱP\-_ e}_3l(i++a[U[?ߍJġ ,IE^>S) jt\`?Ha3;:+//݌"f{S‰ݜ1c"':TqiIUF-)?2KoaȬ67#t4:uj}(X&MW=jVƷ//8Iyх6D )MKwϷ ٣њip ey=Dz0F_鴼ebРnp?i)J#S5X@g"bO"Ecc0[jl`~i 4.*Po4=F Yqv:RWΖRۼaʼn2X(+}no9fc{mea`#&]C%m6䗐RI1!LN{JxTʭlq$j#퓍tG,ѣ;+'q*%!+nIF3,IL $ZZWl㼑%a\N$T.)S`Zm}J.+3owC>F[3hJ,8y託/07oҀx]V5:OퟋKMk*#%6N4%F0xXnoe$TK5j)td, %C%JS4,-%0BhyÁǰÖRstݹObݪg|x?ѭq7mohD9kv۽8~NӪEϥ9lJ>*Qߏ;wd6SJJu y-vTv4pKĚ[fA9H`#1%p~UL=,8Yi쏾n\- JE' ;Hi8=pRe QˏuΠ3LW޻BJ>e+Ǟ(- BA!Rp6Eo[4ƸI~ *(STlh?9)@QLO< ]jYrLKX_䣝Vq]7 [c{ȑU1XCg9./p3,eM{* tڭ2gE/a t՗L]i #a!P"GTJ%m><|]"*/&z,8t4{-A$V>pH<2rHTM\`dF9'L:{OzB$t^4l[vv/}ޘvJ8qEGK#5n_(uIE=k2 $1݊biL}(dQg],8Q cU,bVb~ TfI/Hv^/Rt:6PS'u{Š nU*3I6zQ퀕<։;2WQ/ ]|~B01 4/+ []!Y%SF3PD3α\jߊK74 c1%֙]:oW`uH5<)1lOD (ȱoWTR$zy5 6]ٹFK w=#fxNUKșb 8ƑƦ7`g. Ȣg@SA)IpvҙҶE'5wzjY G&SWF)i{#9_%{̙ĂӕsAL0Y?o9P?J95οI8}Qd TyV;gb@֫v6#-࣭ys_6l*$e~$e*v_s˯V3Y^ݖyi_g- 6Vxfj]c8EjE6N G]]6&1/7p5c75, Ѧd<$/Ҋ?)r. Z)2;Lq i㢇})y]pP=w(۷8fPVdkd{Zb5ٔBV`D"aԂb7ùo_<$Vg~0"k:wFd`pLCHǴJ{0b%0ԧ %xYP >Ȋ-#"()Q0֍4, 0W ;@0Qnm-:1z,#2KUr%t/Q!1X|CM|*5j-yڽ4@ʄ#&J rOmz}%J6f9=;9q<6*li3ƓC2۠[-󼸩QGX|oBZ Y}l}fRXj`P`b{hB+<- jnBlfIT &G}EO^ζ|fqg~&l *S-/{l[9FnrOn'*OAgB Bm u Ϸv1O)Xrgv/²"'YǨG`>X=gg=o8#t"e3wHNPiʚBziE`&M^J{sKޖ1ax76߸iR5Q]G'o}Bl(Xw-9$NGJh!-j`SshO l+ _riAHHޗ`6Z!%yanޜE@6G6 0|򼵠sug kiT Û:\Ŷȏ k|$r6.ьzc^ߤjS-Sflj2$tX(a8d'RJ,!81yJtUueДd:M*'1տP)I3'Їj |aYJ3 }Tע94um\VwYFA3Sк t:ۻ@hT^q*1E%VJ}$o!T&yP4 Pk<X7Z[-e =#-p O{ii!_xT\9ػzdoVmڳ)CaIm w5OQ̥MP C .5 rqMbjeۛKᵦ0Wk'#׏͆$g%~Rl?u\ Y([_qc&4lTT"TH?6J$,+4ik0o;%]6 w-h`DcHyWZuVXN|4W~tw:CE5KPsU)*,&&˚NFZq\L4d91D#DuHnrh̰q`lr3_Q.*6zIѰ"\c[)Ӽ7uHu4ZR:rۛFj"Bz\>En)yJ"Z{OBL~-V)'D (`ְ⫭KYX|ٶ$\87` بPUpOR @k^fYƋm7w5Pj0"b03IbU -n9Hj7}0-}#ssbϋ:ɿD٧(S8wŧCT'DLja9\Շ^3H~-%ڹ8G;=sV87PDz-br5m't˵ frgnRs͹PR ۼyݹ5X`Iq0}s47%IsQ7c:3r&tvcK^Ǖ dGV1'<K+<ϧ;]Ory $\ B"N:tXL\#\'KUcf5]7]rj>