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 T-z|\\ ]% HOL-ODE-Examples:threads=4elapsed=610.550cpu=1747.036gc=8.9367zXZִF! 798]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%tn t8og?l^oH ZC]>̮0] R>`os$9QF!"LYyfE`&YךyT ջQon /4ř>*Tե봾ivp?rƴ2utXp4|V$NF3i7x=2b%ws;nRWŰVd@zOPmH7<ᬕH$D+'a3qd[r@Id[f;РLPD.&i,4Mj2Izy^U]h-8~ D=[p&*$a ,e8ڐ^x;Y2V=0S̐h;0?d9Op=3mMp5rg"j҃3@cCI0ɃK*c.8^ĄՊfǕY,h+YaRJN&|eG2ϬywE{Tj :*DrϷHb4Sfƻ0*#' /\CA/Ip)>gJ1z|kxgd{`0._\ɠf'SC|ظ*5v:ROHeu` ;QcO 5Ȓ 0REJK漃1~j>`3SI_TI|zmQ->t˗xrDǭlQ4Fj ;b]Ρ N ?.&f>V;Ⱥh ſFMg>bt<-Ek7W]/Q1ziiLJZha#-{gI_|x`RIkTm4NZn JgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+ ߊ|qˍy#쁁K*vWy4:)_`]$p9⃡ΙtE, YZ_w5hZp|픅_;GmhwawF%T|ЈNW=g\HVXݱEP_Z>w[.pMQLnJLA:Q=0hU>; 3#E+kָ%v\KݡFF7ɕJ X<)TqPK_% :)I!B0sk62ә ed)drqU\C7 !ΝiQ 7JU_Ňrn{2"S6+I0v_i=Ihn0'ϪE(|pȁy۱w46"C, ̀1M3WDŊlIEr7/T$?P덎7=y/,lorq 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+gYZU-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 |3K-_%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument.texH-Y%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument.texD-Q%HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument.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 G(G^-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+gYZU-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 77>-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= 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_' BYwXA[^u$a"SD綊:m+{,~cVd|i(K̺G@:+x"@y$ڥG>6g"mbJ` q hXAS I7/emg4nĵEgR ")lBՠ;:p&@roC1snhtdz{ZI``0pfYV50V0z`yx.yFNgzWS~iOڇ%oG ^2 h`ԭNL[km,:Z3ZsR4ݯNL}`?pg|*dؚ"cDq$[belDKN7S"@)^֡>9ɩT*֤=83 +9ͥ/ekJhC3 @|L8$LIUdtaѕY]"-%kxN|_uu"DpH[y샗!xZ8g[Dtc];csCgzN# eEb`sa;yN^quD,vl?̜Y1!8ΛDiQ"m "YaEHgjW0[RB"&,m"=~H5+pE4ɶ*IDnɼ)SxLğ [ieC9H^ 156pr86\No2C~T*M5a_پd?+@М,BGpǃ*5lv:[N(Z|&mJe+6S 5F LpCR6u'b74/C nU_^}2QaFѾ?R4aDOU?0ބPyC=B(G:K9:@fWfKo A‘1`[64|yc)v_Q>h3x.x+yxϗ8ͼ"W|O`ܱyQH(r@$V?snŧWH$</eBwՂWsƳ)И=<JO|38νfZ(_T'gtWf+o0KܰhEX7e)GAߥ?a$Mby[":6 LL2+PHq4$(uI y]Mhn_ZuX͌zNRGƳeEY=BRψ % Wĩk^Dz OԱR{螬Ͽ{1?< 2A5f )o >O ⬺~=WAdb: ̫'!Nr+nV竁.임9]O&,{ęMAUr-/C/9⦦79~> }3 lp,Ħ_ekQúFn ܴijJv9Ut$RJ;"0شWAX,O%8K}gBץ%un6T>ì}֫L,Hxf#BH@ Ҍ.A_I&z"s>K0X&cISjQ@->!yWN =%iyl95sMWj X)S+ﻢ%5 lku|KT/_O;`9 5%*gY}u HVmP%Obln'ߘ ]λwNzUN T.uʘ!(2{=Hd嵩abTiJn0 ~04`$_!di* 鄫Hna잰'OeЭh21_z=a&~GC(3iPab/:Hu-ON$Oտ|Y/K0mSswu1PlIفmzsBe5S6z E"+-~ S.C{XBUo!aC@4k9 n:vlE4[x|B /QT_hfv[i\$goBL@BGXx>tćm=fU;$$~kZ(e0N)Ɉ_nO޲NFbNG1+\{ỡD rq'OLNxƇx ^$+mSq6g26~cSG,OI>b}oՄP\e`vB^U^Rwyr1\w/\ R:`VC'ȋ{|0ƃg wgm)p=.xH 6lf n)ܔ]PO I3b  5x?w՚+,"'~jUhPN͉S!BpY_j$n,$Mg8DH\iʁطO|OYC< Ą?d3LzzTtE*sF3{e6% 46'q&"1ObJNW6s$J^Uk gRLڕʸ{=A0,N"gYy_![i:; *c yL{I;]' E @܀Th l,좢QK CJVGɮ= 1sO8LH!PuPg'fatVSO޹n{;`Ԧ+`:1]qF:qzgzѬk9Q0^FʢU["k) nic;};i&d;rSOj'1']E d%+2=LZx)2tKvG81M.m[ hX. ~oܝhs.Z`cn|Am yq|%M 4ݖ*IsīGP;od T\xZ}Ȭ/E ^LRiV IP E%5U΋nr|>&#<}%12phRt XM/{ !ᬘ9S 6Z<> "v֖[ہF'WWgix N“\ T'!mGCA›z|GÜ$ipbJEK,"m 4Tc9h "귚Ck)QFbt&U\s,) C$wW}2W$&`6S6HyD;^h9@-!a|W.RQr!X!6XDq鐪tBFd)(ča.r&Z:+;n42F#dPE9RU۸ ]ll0WA)eR ݠլb=Nlm"qCﺽ 23U~ Gǁ;čKX_Q@Q}lrOo3E|>/ADAQ8|<2. 1MMލU%3is2a(=f$dϘdP p#|AT#S;n"THyd/ItqsXy2wR^#j 9..5Q@hJfƏU4|mg+}P8r sNNK5OtJڅS~ NJ*bHhF$S^܍>?"pؘ>ye rF07gOj8U~|Gri?/0^s4WN8c?6ZSb(HX`n iASG<?Б4]ϰߢW5($~"5d6JqxTB[~YuE'v:cʝGs+#hh BgILzD,NG?l&wS3rhHj6ŀ+ԠTDz 1Bw_i5duF2pU䘈ƅ0lR!e56%(,=XjJau@mZViq W5M?8?CW`'*4"0ꘛ ػDh=,?G4;@Z=W/6hiN&W>1quv}>u&ྏ 9Hl_z%Du"?HZHe'(3m`lXef|Ymz$38`1HniBѸR-DkQy}IUL w`'Cൂи"4;eWc#:ք$5,@I)Jɝ9s ڎs'B˕Ulwi4S%*{XRd,3Ue(SY.315,jd+H\i޸$B'atKދB,.{ ?14t&2 Q)+w]S]jv*jb--НmiһJD=\GS{ұ=Ѝ5Geލ|r569 cjJw7 F݄?xBrQʛE]Hj]=e8gO֏GVrG%T84!@J52 uS 0K6V>N1}(OQ VFނCjPROx>6kbذnݯVO@@?S`x+[|M;ٝ~.7V.Vy{]R~*q01< 3GF!9K@xҨSFo᳙?0jb|_;j^<1򔗬Q;#hQĺWDB8͉QDCK,]*TSÞE$#d]*Mljo 1`Lc3}RLmy:yEg=W+XukJ\/t(yk-#xtaO`nSN{|Uf>()H2]TxGd,y*dPG)ynSF &@օ3zMD3h/C%FK^dclvIpBw4 6B9d ~&OܕRs&I-b镇ͬ%:N@"U\5-lgVpC hy(`pf"(QIcKHG8kdC[Mw<`/(<7xKmX3AJXH*A[k3巽?}] IWx[O=[pDOQ 0A|-љưzYtug W.|ݪ5LJ%KX賭al; ɘ~# =s9c6z*|Ҡd <q`EV2~P~\C6䚄笃? w?J/ywf>y_JO']eU"c ,t}ڞMDm=лT=y^jC>Ke8VJX.ݘI y%2QBӏ(%B |+a;]`Bzn]w/g:Xmh"X\ն~T8IwśBS0?yP2K|ymF)=sP4Xɪ;q@c`$f#|Wj|5Vk^k ) %#u2`&*cGxR[{V ]gm i[XNR72[PVFe꼪wu{])~gs>,^ڌLIfU]!,*³\VhG}P#@ [;#˻k^'^XSiȡ;-L(,y[:+$֛"cie0Gm-1njE@_ld0`h" @-BkQ]6HQdlNT,pU+,&[Z1I`ˤx݌F?nx `вwBiy7J6DI.OѮȦ[{$SSP|h"ڃz%l&[ѫG-CR[ [+J1b-yGM Y9}ɃE6*GjȹϬ+)tǪ:ƁG7ly2p=7pO{2}ʣzWWuTa}o0kmpy3H 5\hO'0'Tہ74W{\Uz==Ҥřq̨Ӽ鸍wGd _e9I -W&eC';5l!-0IS;X#Uk">ktƿaP3ϓ/,g B'$z>CְQz u-S#6Uyz[>hÎ9;}P1T5!,.ȟr4ѝ@-Fb r0|`$[@,S@W̪Fw%fbWZBz u*Uay& _Dp\D6f+}#Jضd6lHs7̅{j5sSmyw٪BPܣ/>N5UGԎ U#C+zj6b͇WғC񝰠sΑ/ʹr^w0G*Q90LJWm3ݢ+_Lbf}* P;od;w]3k1ӥq!:s+K'{ܘ1E8۹fnL:$_@iۿ c`>ӛQz X?|QE]}DۨMzB8DӹzR[ #6~uzzXoܙ7j~$*~g;Ϡ[J0IbI)JU4T*|μ4lN70X'錃-4otgyڢWJ72ART4K[SO /G$ pU [ -I&q H/vH5w! g7 oGWoL؟3B`ݗd#txhy_9q O1-d$(B7G̴%*p sBfh:o5Ék# -!AϿSAP^|sBLo.r0@\&vm[ v@(Q9TQU陑xH?SM cβx;/ӷbZ➽ƫ@웵r모sx:h4G)/fDP׬¡mu]NYdho"ԩfE[E琡'6qFGWJP']#~"C2DTN(]n 1f0!:mSq ĂKH@څ,;_ [ f຿lm/m~`|l,*ȋ*XL\ldnyA*Dێ1r#VQɲTYvY)> 4͋/T>,ZbSF+ FHaI7D"~ `߅by0*|&Őțo&G}.02uյƒq3(B&NRe#sjȝq2\z̛, .H܁BTn7䅥i+q%Z-v":>BRomt7bȏC> т-)dSGw 5F׏L#! GukTY84UoqЀ Yxwmb/?*XD@-g~>? Zz=?e! !y\2&#^XI;)#7}0lc煐tV7 4򠚱B5 m1N1!; 7=J;v2kybsE?;Xb' f4V[I44Nף%JYnk]+GAQ?v'*cr;>aOr9ƲVw;֜[aߍXP!dǵ{$Z0WpN")X7E +_kQ3W6犯F>\*W@}!F`\28YVaCU!:Ԡe}I.TXYmNf2^1{9IvLpR=J'1ަHI*eLp3xj0=r$S_Kvr[.TLh"W ~ H֙Q𺺈}\Ō*&RO34 ( |<\oC;o{w yܕX~'gEzMT44Yz| "(m y ~utmY*u"I[}.ʞwޞKYÃkŇq nOF?w?5,0.]cc3_'sYj@+I8\ES ֡!#];̿~.q>kO eg4{Y(SҠ>a狼#;Dw`lz! Wˊ,HE&qYlMP>ᦘߖ.֛PȟoсدWʷ4Yڣ^TDm+q`nup.)l[$ z* pYl ^pJ,a LP@ŐV2V=a:U'ivb2ALTp"R*WEQ _<綺k_ %%Ɣ~Џ@ssE`M ,%jy4L SŎd& ';sEe\VF_QVHج t`b86!6 %+I :#I"!>aqzx\{I^OyBwͬ-f;\ Y0ӽf|'dc^24c_cq$\Txf\ JQVR"0#ۇ!Ow X`V=jغ@$?@SLAb0Y &7_6[ N;MBJ}pnwnX2";}YŇoefL:՝caw?5?IB4ol xЈ c Yc +z BnBayF\^@:ZkpD}~VX08H-jNXP_9+,e]<5J7cPZ B<[T,[*Q9]_ўu,J۝sGG-q4xSt,1#۴fmwd ҭkE+8=dS'[?U6zz$ߟ%/QAS[JF{|+6\bVii=W|->kRMŽe$ѓ= /Ƌb',mvn>D(н&0J!yAI?骃K̛PٍDZ*0XkP YQ6PHOSڔ qwη[˪+'=µk] 6#7*.Qe<73\" s.-DKKol }W2R1z+W9ZUjY/.Z_$ |dh%V+k{PҀޝ'Ǔa= nRT?7sNFMHh-H/J^Bl7Ņs% 8`1@VBߏ:,9@_ޏ*gAr@;艗bB=f'9%/zƢ[Ȧ ͺ6w`j-˽vm1)\O;˷hOVˣS 4wL?lˋ21o7 Η0P1l?l RM@EZ^PB[߾&iOf&Cu a$91,Ȇu}70@. zC3ُфD̄bN4Hz.CZo6_ٶǓGWD~J ^X9t\EtuNM sڕxt0 5_-GY:&2t 5Ql&y @F׆ٴxhw"r  Os7E,'9s!(ȣk$u'+(@ RSP^?#HLQJ=Kg`.X/ W9V"Z*#^Yjz {2f}"Uvt1֕ujyD_{!Jj=MBT@13#Q%tƂ~[fmP9FWZN0pb쳖Tjqtd U3G]egbVB$3G# *_r lijU uhNoE uùo  C͑J/$CvŎFJ&?x$25ั]g :K e`U^#rʏj[C1iBtLO{hs&p XLBf3A+2pR|f+Y웢4a1=MJ:Ж.P\P/7̉oceh_=yF`Ք ϯ(O獿D l7OdA!0XޒyG习 RODe?S7}SƄ0/p:ngÁKq{qF~+¦vyQ"$siÇ+g{_9_&1<;tͯn(=6?e}&1{2,u=GI-'@Asra}oJv'SMzO#oL=:ۢ XV,>wrK$;{]qoBYI^Gw-7#i*M!:ahG6^O ]6kzgW5N9ZzВG݄UN\): e5p 7Z %1f>|ҘFi4&J\"%@p+,^wә|4cW 4_y0;#LZyу"hm>)a/J- c塎nOMR8 E" vv*(ḰsZ7L>9;w99є},Ƅ\h̶lu@6< T_g{m#[WdL8ս'wDy h.uATmcP?(Hd,xO ~:01sOרYvyHn\)Gy7?-H;p϶"^mH~ȋ71+ڲw|SX_ soG/'!iYU6RfM,r #kXtź4GǞ1Nk}M۔b~˂\L@z& vDrb&+> tlB#'g2P-Nޑ2O 2G~X0gF >;!v@U#Y:vQќ+#8rU1k/&L<6ߟI?lPuqd@.Sw9f0?>O夆GH6PtZ^$a@L%i~x`e5D2٫Mbpǥ''geUttaٻت s<=YM8t2dK8zm频v[Vġ&7sݳpv7#"]T--f[Sj_sXiKZ߮jB+ׅՅl =Qa=C5xȫ0FCvӳ҉GɒZ*Be$i{o~1a7'޾(YzV*OqMnVmP=p+W#H!BtKMHA8<G6߫R۷~?T&XyŦ}G1!Q RQ,5AێWdY}cz5QxcՈSõ(Hدeq9#b6FUQХtIq_ˉzΌq?P%!< 2٩P#jqB,`+dܐ;mI78|? ߻҉7T4`%׀B6u6a ܰ}}4+4)H&iYW _+,:ػ|^_C#b{Ȝ}X K- C<1K 4Jwliɸ *BW%:gH2Nw/Ha!}MK敛Tٿ:Se5+!hRmQ(ViD`d*e O]KDY[r?,J^I{Mf3 zwf!85bx,ietKFv<}-Ab墔ͼѕ͏"j^/hᓤ Zmd\`C&m S-~ smC iOsZ;}gkWSQ>[ʅ|Bpfs{;5#0t2ı} QY }NiYbS]h =}.ZD@KWguܠnymQ[zI2"T.[shU U@CbWH #?5ˀ=T7Z&7nMu:$>(||i^NHY7!{9wpj`,"Z9+({gqI$ҥ\IzVxM{K?tP{_\IOFseXkړʰQ4Bjt?j'^ygX@b ޤtv^4ޚ{16~i88˶ ,BMfƊx$yxoC77I }0ժl"FTA lq6$Asw ĒmRޯb\!`,@T `Bu-E]c-H ;s2=J19Ԅ*R!}t2hL:àr \۝ jzfד3шM+#hYC^sz)i/mky?!6{A;yFM`dy/L;/ɗ~ѷ@'6Aj[)Ζ-1Rao-$rBb4!!NGc4 @dni7|i$NKiH /3EF#*G[N3  sYb#=AMxѹD=M_7UJk܊P#WȼRh%r辳S]"2Z埊4qN~${]Y2x>R0rϡM<-CXnQCo|O}&pdXIub>8>NlЋ5Ṵ+@,~7腰pR{Sa]ƚ2M!_{ 46 H¤zZ>q<^M*?J_U' sA־RuK$5^d1ŎDH'%W.}Q/$UBAC"[4z .}1VhI񦻓9-5neԄ33Z'jOI=4*ӂ`ڵF%5 .w3,oV37DITq˞EB|FNsc̿ZQ= GmYWbDS)^gO)rb{ۇ~t1R(aHA\}k=o+4<{rLU9 [mW J`東)dqEx`c5P? 25w#wku/;g-i;{Y'HKDBG Ja-ގGwx֌Px|Z]"YHKT/*O6Qah>킅(iNɡYJQ yOEcNn"pyS13&i0tef|%dbhd\P{k BBe㌆qm޹Y{g /H=gM}6vC](؀CP86Вѵm'mqzouq&м'T^n}7;j?>ߌviak'iML9%kLq p)\*B3ϭm8p =.6 n_ѯ"\nXyr3v(E<눪`Bdv R^E#4\"HyA7BHa zHGhs]wW|DI5'@@9HoS`1o$]L-LN/oK'M@0 eƱ >% %b0f={8=O/\Lmh×Y FKx0Ƌ%e)oEr$]~fvn)ojɐHd qQX P.8/8TaX2о%lm1UkH)4sH)`,;x4-uƋE08 p7j]<]c9v\J}B/$3yS1ys\qл =mԦuhKLLa٩~ӹ7ĐlǣL$o.M)gd~޳nڇYOFWOP *?:a-!3X{{'0P{cdgJj%IO2cM}角tRa@A䯮7B.1Q{>5fX&Ci2F wj3m{H{ 4N%hHфtTP)ǮvmiN #f:a}nn )/n٪YdY,'P'G ."j >&dѨ7S#LYM%Ng?= oI/C6ԟI Z9N[&A_ S82!E\ :Qd%$A={6`qܟ<^ďy>] o:D>Qe#Ql8(|'9.y@/1$S(6!}X5$m4c6:8lZFb U5aLa.SdZڄ7~0)x-K|C>=6!˛.h1lʷ7i.--RV3zFوmb ;5H5>8>bxԃҭtc˭ݙt{Xվ;b(FETU;r܀b\z!_q5/ uE6je.kT4ד1<APbzuRT?A_?mi\[lw6<~,Eq`H4T /s9Au"iL"wbkgO4o.f̏al*#"n\~!G(hV)I(|򹤸ܶC냣Y$ mMBg$,2l}/VO_C4Vĕky^a"Zxiϴb~ 81Y#2Ÿ~Xڶ|KK]LѦ8e$J1m bRx㡸W-H>iӂ.in~K|`EMyT/M#k-$ J oX48:Ujښ7>)4|SɩPK2Qo|T/o:z>b!)K`po 8)~$g`428if@dLQ`@ZDEa4{pJ#>pFeD}bfIVH{1ܱn<3n$g2VJiwe.14 1]j矝k?f,?.'kw.|>cw4`#Hͽ[;P'!YF0mvϫEhX#йm[#B;o3= MMf2@H(P# # wp8,JÎY}hgb݁K8@N_}8k{'kSHL (بK sU`iCCKVh-4qаfĺA:H`읍\ϫ"e\g)np9zyla70܆IT{6 YcWN 8orWOz'N^"щdžUJa QہSZ7$т=9@fW/V'j ;$\ C-HgV7e ̗'cCYR=^dm4wbg˛S뺒0ԟ ~e-gD^i&hLʧy{ 0B[k?{fQ:ZL1 ?V: Dl8i:[!u.?e̴J108gQ^Pu0uLA0T}E[_cPuMX1q~!&Iʤim&<5Vs[(Byف^`YX`:Ҷ%'ƵRX,wr]&3L*qtwWM$U6º>lk*AyQキI"ʒwR"~~؁łh"`&8N|5J| Wl7?hq6iGo~1@MEV+WCZ?vr@'j8,S;UJ?M%SDvlEТJ{uQ"-i43?/FƎWDm'9*yH$ nU˙ +/ko$wp)йe;$'/UqJH/1RL awl+_}a; S|@=Dϵ\Ųd ib vka ch2[ 녃ڢqL9W,x˄4Tic ;Ql_Ad[&܇1\#   @H5̚zIwNEiyʹ3]IGf!PK7]6T_~mnlI`rޕiʸAsbʳM#ǜ'z'Q8 t!]kɦߣZR-D6H{`<䚉Vk2n >}˖Nx <휁«GhqCsrLrXhÖۈ](;M$.iN|{n?)@ΡչCF/뫊Mnz*qh5Sa_-j4xş4Zޏ[[~a쫡Q&h}h|=:L-ss3 Mln %0g"{xr]PNxm8khc)[y] @Sh9ٝ9L0LP¬6dV oux*&?̢ĩҊXN9Vq(,[v:zze­zhu`DH"!sRi,)!eI% - w!gWn_}j x^!.kPLLY/ʫYxV7C^4vIIeiŒ,;82P2lH5냽BmM[}_IP:]oZH}lu\ni0wiROO9iH\'ڴR!wVv;KN/Mܨ1`5bT EJ7o_6=id&G*HcN &Й\!2 J#qw1^OFc%814 'jȞ1#t}]U(íیt4@UF#pի>k,5^8{ ]:\|u Xbт 46$ .-̒cݍ=d0 $ỿ I˦m:aڷ߸t {31e BeX[sMǷyQj0m2BZR  ċh/Z|PRh))9G-V]+@eçp f y8nQΏ7hx˂L/R"pmFZPgʓ&C.[nnXOSPp |ճ5]4T%pX$&=+W^1菉-TvHNDdZgO"V]£voU4$$8HkoVNpw4'r/^:^.W¾fo>xY|y02T&cC\J㳄/I2~3R:eٚ ;OB!{Oo\߫3Ҵָ#'fCr}*ɸzBNv BGd^J W ƏPz mQR>Y"tf?o@`/%xA'\½%2".wknȖ]7!>:s"$JF!HL0ׇ)p8UxHЗx˴S^_ 8Z_M iDoͻ H`Χ=RJSlt#-#ר.sv%,Ȑt>LEqvəymvL!wĵ>)е4a9&kz?/$!"ՙ0aV_nDdrLojMk8\k88D%;_4P0R3;n ޮiCط-ơ<[.@Ҵ6!0r4yK0٫BM+/9Wpm.¸F:kA|A[U&KyAٲNia:}+Џs&| KOaNU4'91v:F QA<繹I欟= ʴؽ.bkZ7k,fLQ +#h=W$-C[ɢKeZrXFZg neE*\CUOv%)Q:".fpx"HU6FuuHNA|,3drU5~P惹=Y1 4ltIPI:GV!,^}RE=~㍉ <,q&ĪXҳ[,"a_g) Ն^P8A16:V~=c-JqK:J0]<-㈏Vۚ[sw|6cL̖Vb|i`LdIsz3f XvEl6t siU.(Wb:ت&LNM(%:a^-e]p0Ț5ڕp@Hp13-4B ̘TO5Wz;[R'0 lZȲnUپJn2#U^eȎ ?Lxez?zgP'VDjzU !-pw S+ ñE c8m Q(QSģ=sUyth49֐ *ƎѰdScW(NT+S?UÌ.ͥ擸 ߙ)EUN0h)ZCg*+#0P*tYPmP7ވa2)Mh0 "Q>l ֬PtWdByɆ8گW8 y.V/!$PsC7 ROsgB_otb$afM15/$ľ+S&> F%a'w#!R{:ٴ봞Ju{07B;?U>WX9֫A 7aģN??j(lϯu5F7Jӳ$2\CiM$(Pe@WBI]zsEgSVM.> |{,:P%9Bx>9e8VpՆ9;OUЅC99P ;,v#>>Oh*BxZB&CNzJd2gU'!< 0ß6ȝE*u_r6I~<pqwbSFt6A|D3Q}->x2~ %<3ѨQOQxȸEK s+AJ'2L.+ބ$%`$a"'dT"b.?8 E @_3#Ѐ *PZ|:8X(:VJxvԌȲMZ.jQז&3s!~ ^S_-?['Da*Z4IS^CFYIp"IF}eoM'ݖjEFwGfձɈ6#P];Px\{r*DM?zzn'RTkQS6tNғC ʀx٨'kug5()K *!v!e/DZEl7m7eg;tvh?x t5Iկ߀"=xT&uQJ*Pl | ʡ#4tt8s" ̄-qTD ϑ_$zrINgj_f4O<ۧLHai]0!LWy?վҿ^-z<3Xt #W_POM5uf(pٓg3~{'bͫyYie, XSN3 |e$di0:\iƟڹ#J)ȗtŹ9wޱdg7ۚz%HѓAۚ:[qixvgCb̓~eڃ^>4u Yh@v4݊: \X% $Ćm]Wgsϝ`q4^O$]70ֿB?>d??\ ̣La% ee[!% 9ĺ 3x:Ӻ{^"pz[$@M"U1 Ɔ0xvn<؃X[ +2F408bOd*ʹ/NZ@탛Y . ,P2q DMj= /Ѩ/Z9Z*{Tp27+prp B;xE0bEACBwSU Ca?D`0 JCW{ rǹw&1ոjIXO/ySOϏsn}?{y2{u̗ڙXHz'ޯYƲ; !aM@r'M|/{ OOѥ|keHlr{$1i]EͼOD_lT9Q` F74@ƦT7TIz{,Cu qAƍYP_^sq.1eV<8US|!|JPT1rՇvR$0.Wۡu7k6oҵ;^@uCWtBs-DoL9ȃɬ`t1h%^ .z$!#xDy1{/9WԀ|(SZ'UR7Ov? =9 pCi0):VV~艳"5ij1%\꛺2ҏߖ*@0HfU2o1[E1(l CʉW-\;xNu=clE$AyIˠdd5Xݭ]CrHo,D8p4DEG'D #W}Pf '9(hPk)6&_Cm 4il*.X9n.}JgGb~1%O>6]eбYw r7x7S9Y O?s*%cb}ewNϪpp!aƼkK 4r{_}_gpHϜO c 85j'7XDRK w_s{2vj^+/o=@^6Rot~>(mGKWAaAH`R!NC `9 ? g j=l;G?g~;̷oJ @g˱o:>|lrE{λ`mhNTw冤*,ZjFca[1)Cq-9ڭT&PmܶHA2gWŻ[ VDgpd֑ ="+mrz&UhD8=V&ۂ <2a mxŵs DdC2uE3[#V>C\_:$–H_o껍{moSO @,8Kg'Χ;" Ǎ?bJ(0 o2=g`ݖ>!VRehwޝ.>Dgٶ[l o/IXVaCȻ.̮xā2 >>jYgר -ҋQA4qi01YWUlWp1Mv̏fnivW=l0.Ow45}Ww;SoY_^ 60I{$kZ1"~ n?:M!u2D|H  sTGDr"+#OF?ux ͠M>s & rPX-%y Y.bIh( ፉ .Շ30yUsb?gVX 0+IRmӃd{} /ElE$hfڎv=;eGiєAKi}8IZM_R:xv~^c_WO% u=]i@8i1X<;3CrۀO~H@8H W&Ib X ,^#l 7i+h^{Ԩo\%sF2n< >P=?2 n ›S^Q /!(:|mglfJ9Dmc%5}*֐ZעYvaJa%W=@n8 lZԮ`_3oKfiH9OhZ-G 5n^OeZK{5GiPtLO|t|򂛗_O ?{ŽM:Wl҄iӹHˡZK!4G.1. ۠&glSh0.8R`oggLXM #UU_pa;7z`||~?%]ds$kUf@bm)\ˮSX!Lc/@mV 50IEuz"2I(`\GӦoziM;x:fL-Bggl[ % \];vT`)uCq7AIV2A5a$$iK;@ Pfzߐ|r&В=Q 2Ԅk oq|թJ^ ,O#3^w5Kˬ3 _-gAE4YM iiSs0\m&ى̓J նM<xGdx vTq;,tO~ x|)T9Q^+yH/};'ej!{APJE Gln+H/89[k\ iI@OK8u|aM]e|Ц#=}.yV>qCG"neNHGJ|b,()i;9E! 0}F!ߐOOXHP:i=\6\WmdvwfWarY0^ c+M]-y92ө|3$2ժrHm÷ l&} R)XKO.E JS]gN"zueXUZ+BaDag.D 5&|hB Q2<$q6rp,]-dZEwE3!Oy: kS!*˦Y1PYM$t}\4TSxPnj49SVm@+b; y,0r^g\vhh &*YWi489bC -z?KQ;MŜ@8:>3Bdx!/57Njz e{2Pb[)p*Nb&u]d!镠Qv!tdn}J{ahhHT>k:M+ȾITp;i_M:Pz³iJ.s9xgd+7ms7DTkFRe .l6o3FX=M0ɣ‹Ax'd鏕-δb34i#Ɲ*~ޤ8\!6Q@nrI^m’ 2G|37;CTw4W?ŭ;$)Pccl[40Q]_``gÅxr.ܜLV~XL2t0m V|ʚI9(B%SkDXq*ZfRe}U3s 0X (R9)jA%\4TnvbV]|ƞdA: &ĵknzA$}0Vy-vP< ~IT_p1-{m:nl;n, Ѕ\|2ӝ^1~lXA땍f DM,C<3rOHeI6;޶keႢ< .Cըv< 0IZ ,z+S08̣J0#/Uer92v 5'Qe;2B㳆>cqJc&^i)㻡cC|hgEAXsxz.K'ES y6e\YZzXF3[h=_]L{ ðF#  oFuDjң/h]O` f=,'dMkt="S5/I.?9LUyY2/O]%H?f}kb0r2s-)byۋ #TTzj:l9%)C=NFoZNP=!JT,trB#-s3{H[_nʳSɋB𮉋xBk\f:@ʘBTFyh=Z3:0gvpo~, #nDAj`5b>՟X;z gdIvw:g*C:G\TƧO4a!ha,f!~F]xlzxj_Qo{sUL;ssP/u/8[YL=Ɩ+#uWTvBU©l1?<[MPL7od33K~%'5d[+97 ՞qN>T?.B|mŽHKԽ!!nm #np\J52[IҍER7JXUy8An09L@p-Sã6Ks&j%Z_'ȥ*TpP/q,[TwrP~|ҲΒHiڑ1 d}ax'v-ܙKeIBk ı? n34Ts 1T|l}?+xRDWҹcFm;\jY@rr`߀iy]dḋm@*?PQPH1=wRu s/gSa7;[.0`E8)ru3ƨT+f$zrPh9VvרCc9a";}hn gHP rXX%r-"^8VR%/-~*^cF)'{Q_Jcs= OiӴӑ"HVHTN%`нW?v8C-jcp9j>k(K"Ma+qf.ctMp.8q4}4}B-4+C2ɦZgPC8%Z"CυZY] %sf0lER0zg}sf%DQ^3_siwWkar#Ӆ,|nK)Uw!М! K k_$}g/LZBP=҇;%X (P-%kirŒTH!WGŅ 9>|uq,7+;3S Iޢ(hKg_?푮˴h3Ԛ>n12%@GvAJ3{}H=Ì75  (Y`SʫBb>[pQ%ҭ u V|~ '&H0ྵ@ʦ04T(;}1VR5\߅.^^1٘Z`pfɶ$L* ~L^@~{gGGB1/rt۳ـ?KhQX5N&ȫ LaXоX!9DD+ZJ^^p[txa -}iA;7.C.7%?ݚQKh-{4 +"c Ie &pOR B}#/@)7h!w#)MZKL}˓9ܤ4 Nk;za>u7Ȏ;Ks ;[ ZZgLG&<3E2r7q6t l]Gݳ Y"R9x#mz!}._9Aw>E^7)w0D)ʠ 3fi?O9b*0A&I~&a92?qlwR߽+N%xaZY~7Keb Z̀{ (&$_ȰqȶDB${hZ1"\O;7j7 qf`ZrwsF0﷬.PRAJI9k7ALfֵ,ѯiCSJ1!d;*G-g e 8ZR%õN%aE_`ɠn`,bo`8VYl EI?pRQMWN&r8ZJ ƗX%`7z- dSQ›ԞJ+@T2-v `X*m&HmJ9y3:⑒*TkOi ֙3CzwU/v&^t'.PuhDN9\Eu% ݤEW4tfX]T@GTG+EC?