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 ++1-|T\< ]% HOL-ODE-Examples:threads=4elapsed=471.449cpu=1345.344gc=11.5287zXZִF! 4#]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%~{j|v0{WvXN$lE`/IZ?xi\ sdrx W"?}&. qDJw+<ޞO%`ETPSƓkk#4~YkT_E):Q87;jӳ_ Ր)0ʏпg7`"4fDM]][k gu_!aq*dx?D/EN;Na?7:ߓUϊHRqVcbᢇڟ1H_I%Jgsu $1e!ZZڃ4jf:z$/~xOڳe`^)KBךXW?S2[ki-A"=dr G=5rʧA\OeBA찮1! "% 9T7NOs1 s,Jw2e"r  E#:G?7ln{n>!!fu):%-"P:(˕Z3-&[~%2,KVZ`+R2\[:ťKgteNaWƴ;/W=6=W1uU (?Xkd#d'-ѯƤ="?ʫIdkBKIyѫfeƑ}RaHc1D[KUz_LBȀW墾nUZX턫:ҿUآ{Чzm.]VڋwY& Jt[]z(Q괭p9In5RJ. " *NY=9oq8fFSH3\pn?23ejN Ґi(gYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+$y^`c4!3Q@ih&9KlU0ae}a.=?]]׼0-VSdvh6?M]0yP|+B$K]T|PõaFD[ٙgYZ7zXZִF! kq]ŗXi%BzXG.X?m%-(K=ےbof ϰVu~tkOgc?yh>xJW^qvBVK y{7T@oP~Gh6ͨ/u!8re:fwr-Z{<6vWkNHL"l@E:b"LHKUx 9or"'; Go8`+.)(" ٙ C-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_' łz1CRɑ/z(,MB |&$*T4دI-GQpOH/Qsq&T`5[ Cš9}O kR*e 'M.DWޗvF|y)_Wi0#u4Bs-75]qQ:J33ג(l|6Ћ kT̨,k9{JYG~ԇjNJa]w$-"-#2\DóaѨ$c![N1P< b$g W/Pe5/X*wy{U%4XbἤKC3]V|gx4~.yK_@4GJL|kR@)TѼgv3NgPⓈG+ a* SLڅYi#㊙`y43oE'[Ϯ؆KȨ`ٕ3(u:X6R|s-g*(FiucIiY4W_<Eȴ2-^r=-k@s͍$+E!9y& E0/K4V@^B?[Nc%MLؾ t+L/Prͮrhp4&j:;F6KhO"dsk`ٹ}c~=2XP?ɔl@$-m Ǽy'GXkc1Dx% ;,hY&Iicp%9Uwi',TD ^@  JكyI~94lus`مfW FNUn{ ZйHsUGˑH٫br)]YL]Gh'G\ @9(?qj757tvl1qU*ĩ=\!x*Ge*YЧn'}"nVVx= 'VT'qBV,:p lBPp6y2czp p`HNJ8Ha8 ~e/>AJwM y;Lrm/tS۹_YIW1'2Kz27M&Y);1'GvIH(*K9UyZ?\o(崞rN!2$VKٚW4$*FrF^:wAHm"bh\oeQE&6jέ$Lwm^{zr#x'ETcRZF邱#6IvƵaUr˸T"tS7/IBG^)8F%qSSf:/+b?J '"2q+o˱L)ΡL}ZiQAV)IR3®r7ݦwW,Sc38HچLv1mH ن[swbBqwT\7rص3?;a`giD{hGRK3UOo }of蔬у-cG/F>L&&;oV/>1#)o/mTx; c䌄9E?JɇRj ky͐ ,PeÍxޛ4:$h?Ҽgg7'Zz? փ`BscŤMcoӯ3"^8v K00v*ni7 $a 3`"@s'55=?劄 wS'+ׅB;_T?xVGG/Ȭu˿պ) &6CWW V㯙1B6\vx0:**R$5G73=hMG!f6*[h!ߋT=*%S%H 1 c6uFq8?È/]>|?WD3اXe toy#ݳt,KVÆ]9S0M#4SYa{EV7\ґ.;}G"Q sYA#A g2Y;Ö֢`3LO)Wc*jx1 =9y(,ta(A'0p>\Zt,\Ӹ% =fmn"Խ\)`*5wLAOR66?up J^ܡ~̚R)VMeMMޏ=#\bs&!|y j9\B9]k63d9@Uw×}$m ̋/ZrC+aU|N~7+ !WUIqAI¿HtJ5~o*D!L>SQe#e=X-EeJCRb)Ɨ^Zy)UPMz8Tni\SG7g u+9>l3u Vrt{(E3 ^w2k "%L};~l- IJx uDh{#WX5"NP.*WKΤݩiˊ[%pL k/80F -M:\Dy+ 4,J(-vNP-iZH&bB)D^lJ5qVb[G44k\꿢NCT1]o]St~8sޟB]y"*yowV Pww EXSF1hRܮ.%*×2x?RzcsVƿ?SSi5LM/Vؓ 8.K8k [c۝0, +6{a½|FF-a{,hOq0s vЇNDt!b}#)ӭD\.0Rh#l"UO4ùYnk O0m$7>M.7]5Kxwn'3.3&uncaCp䶎wl-kXUeSp(Oni 6,lw+DzH<Փ_c}m搌&x bfT}<~h靮 F6 ZvV%ʛ6ɚk,3sS#_)^Z^#RT^0 xl/}zmx/ {tFm{J r]͔E}xKz*?lzs` Mt@XbɔS~+Y6C ǁ:ie $dB`Cnvɭ CHT :&/[ T(ӣJD@ Uو!փVٲ7{l;(g'=A|Ą] `@Rf4b&8`C\BtJ$[N=ZX Rnq)!pr k1h`#<͉k[ >G/Q9ǜ.?9购İۇM<6qǁ_' (mj˺{?L#EII%$@[4-$ =Q] {kAbK"!R>_V/ih`\c`Y!xjSO(q6# )w{̗Tk$a%DO܏b!>  /$%R.q~StF4yE[8M&$i$Y`Mާ!L\o*~+FG]JG#ll_E=8;#T*3GxJw)i:SSsk8fnp 7WH:g-i#2%}^<%I0lWDQنӶ/ibB{jyU:Y5~,#O9$Nɮ3an֙Xo{x=$~ Q(\EWl#C%Ɯɕay-` ; }oOXlGc7J=CWhàܷ| lrzC@j8I(Uˈ^K=,tUjՍ|E3,vL qgx\TAbz" ySפ(3bMOh.}ʅ16SCzm`t %#ЬDe]ۧOcaWh?5 )r=k=v  -Iu{Y\U߶Ezm|;S{eK,*J*n7]c]ퟱ_XR-sXU4y5af́ bԱ)b>Sk}XD(~({0/Y_3?d/ԘLY$oKv(nCo]>l`3;@<"=SNPH?f=j ~QAe6*ZHvXW+e -2 {5_g`E 14jJ{d=͓LpoNvAF/%P$HLFyZS~! 뷼ՔB}<\ ܖb6oQ'W8;jT~X3+95cbQlwyhNZ\&U҂Mc Ped" #ю8% &V_ \o(IⲫCqH4ٙ4:Wnz1k4;Jֿo)(cMA}?z츛Xt7JYu\#E-Ү7r{nzF)Wt*\B?H6ؘ7VC]Lcp?ra n\]; S&h߹>U9?SJ}pZI\ M{|7n3vngɎ (3Y@o0yyE0Py z5Q͹V~PG;*I/Mu܀[jEt<: g_) RvgkH[Qy9p9r*C@P6Zޡƒ;A// =rˆǞfa M̓GQ +ϓ3v0t\ªMfvR:GۡܕR`FC;[z/k20f a6"1TSoTq]WUE ؗ-6Bs"E\S:C h ğ|@uEqYG ka-"gP8vh5ptߤ]x4=>4sP}T$QLNmt?\սʪ qb5h=_e_Jh&֊'fv |InM ԇl\j>ao}-#Uauwݚ吊psߢ|$P UmӏG-507R_gpY/ Ev~e-rg\ ٮ59yIfo'AWܒl{a&ߖ5#E>J 1 u(+MLc;xqyThj[ Ȥ\6f*8_^(-lG4<\rTl_hzvp*\#Zv+RSsS\d»g|.b[nw؆S'hQWOTй*xHT$ٮoxB8f-F>{ob1k%虉Lco6k1]ʬnK$+;Q ;x`Y05!h/7|gWp7rDi VWU/=9Ɉ" GI \bĆ8UΞ{ϫ󀌰  e ,W D4_ oaJ$sovhso^D5BK|: U8T!=h8˄ us/dͦV-Uh1{0iWuV11v0XU Rw!] E_[IVo2o^:K&}V!*~:072BC_I(Pljkv"`j2w9ޡKCŹa㊶"שӒ-(/eT jkaLINǛٯۤG'qtotӸG!шEGQ (9uPkx}#ѣEa?= 8ex u}osu$L}Y240B =!@Dm҂Eە nL{&fK~X<3.r!;RӇi5s0, qxNE F%Z?_VV̼%FTkbO$QF-$J(LvzS't2Ne;kMf~5])]dԒ$Q? ն1Fp%_|.`1F]z'Xz/B }|=As7{_WF3dAз[`ynplt1#?u4r7Rϊ/X-X|T<)ּ#I ];C(-5?AZl]M^p(b挱I\+#^$k6ju~r*?M`3wx;ipW f3[t^iWaÂFf74 bHFf'~"Q1[(]xV)aThÆ~w{xnTO ;WkZPMr ·C "-L+7t1J]|s=4e87/B(dsap {r3tDS||mA* Ӹ3K%cX(ݒE`90,찫4#$*|oK b -CU&d~ow@7jygcv׈e(馻'ֈlJJu@|!ŌC<8e̿k4mN:3~\Eet#Rrѡ/R{F/h4 U Ȯ(9"ʸ,X}8p05/8-z "cZ:ƤLEuͲLvV0~hأI>i|fdaRڄ:9 'bJn3mwS [$j ~Vy.J|!k$}/L ˠ]+)&EvH7_ª5coK!,&E=PJ _+ ֝ȅׇHpM&L#,]떹\v&9 rD]xNq@՜j0.M11a0&f6(w;W.97%評YzcqYC;-lķ |'zDyG/ƒ0sS(() +=O\q6rGL Ĕc`pl,p1| / (}-YxLOওV3w*4BJTL;Y3ưX]-ߔ[b>K4f$.%>}7ot#u˴ =RXzMԷiiOIw"}^dŐȤn e8Aܯ"eWuLq/*myXٜDgYACb,f_$HrvbloxI >9XKO+ݛ^w ob^RQq0nQ n$./Ҁ.NG<>Z_HyҝqUƖ?Bg45Iϐ?^NMrTPl<#g.\()xu .ܿMQ(pOM(YtS,׾v?Z6""v6?79cQ5lC5Ճ؇(9ڻ1 [}] DpA鳋z"ܳ %gf(ub|'v]oKc/+)SHeNm ,7ry{9Ȗֲu8T\ܗrWۻצ ~UϮ=/vlSjPJ$mdž _&PGZUA˜ߴUE(9bE@6(bL Z Srkf3B"m$Į#o[Mshdyn{}CBB@UQQ#:-Q1z?J^xdپ/>]I\ ξ~ S ͟#Hե41aW[v}۽YCR(?LZG}!'}K\-A}GöS}1:i^; kmv4ڨTޑCd} 7{T4(x;ntnRdFA,fHT^gH=3= { FeZ R(7lq&,IEAHhEKj?I[v{9X_yKF|*[oOblv^4!$` Ϙ+dWzM!Y-Rd{1a-씱 J9qyp9![V ;-߀YnεeA`Sp1)Ԙ/?w{cy %Ƀ;|c( NUWFkɇY`-L1I 7H?%)iQλpl9)w6jqnS}|>3q aUF$"Cni C}v֤ؒ 42"?8lQeQw"UƋ%@UNӨ5BR߳!<3nZ9IlbeE`ֿqt's poİEqBRk޸H%$LlAbmkX딄! me_lNUe7ɞD +l!ќ{ pJhEpkŚ/c`5ӲKH|'E֦8HpGYJ =N03J,0ђaƗ,h.W(Tm Zϊj)ߓ1V,nȨ=lNsU3[. J\R2**aUՎj~]6kqT;#g̈́}۾1 +s]~ʌaqUW|(<5?&=qE j<7*/ IK '?3ghrKM. g2ƉXMdݘ|_gR4I&:K7*f{5-"Fg:H`0]#ZYyj̻LE(WܜwL?֦=czd`Ą8"~tQRD-mպvgeaIAcNJ@UQg'.}޹7}% !ot-Ճ|](2$%nc0FKh`]f, &3d!Kv{d_ @A &^[Q$,i`b_m3}E(6uX:ˤ3f]I8)ܔ /Oo?,,?iOD 6)xEC :1B0Rj둔{2_#|,Izܠf+l<ݼYU>X|)JSgcХ#Kܹg`Sхӿe8 0&,0Vcm}mlə@R]z֙զϒ+UW PF45Ѷ+v֛:[%>oRl&Q9+Nf>[hat$aˇ@W(2]j_g5)>$o3PFSx (phJ.^-nфC)~sʴ~({; ^eUOT!:NĻ_IՍsXan_@yNbuO E6ڒ;]0}wjɉUGOB+ ?8;j?yvz@eD/(Y\=p;2iɧsoUVѴoTs0UCMZH( }s fPiʼUӺ3OI!;5oa;8TEn;݀B,XAfYҫG&K2nN9X+P8D,}jEZ*Ps4RT#u? l5_>,tw-sg_;K0 UQ},ԥF^ԙbWNS%N;Rk;Ʋ.V8Bv2aХ~PB#X!EC,n²/ `0|\='e)JI )fQf 'TEǭC@0 g ۝hóB@v[e*\Qh:U)^A%v >bJ/DZ`u 4=]E+!KGhH";gi_ !~{oHm,=rr:oKF2un`o!XA'`\jOе~ցah5BX Wyt%oC`֖`'>u6r{r>0-XjJ6ygmwZbPg\9<kNٺiQ0EnwpG>5^ *iX>oAޚt)@imgMT+>$b *P˳7:Ab S \]/ԞoؠYk/=B:;15z+- ͂H:LX1qfw?xM/\rr"Q;N)l)=6g LHk׌Lܡ֊3s O?]&<:C Ħ,X.Tt2_q7zv՟B Q՞yKE(g,vI qarC/A6p&FWz+hM0Jv=8?^}jy=RÝ?NR;+Oٿ [3.pAurkɏfKs#A.B5@gT fQѡ'Ǧ/iJ4 ?q} vӝOkGkGN[|W !޵ !mMX%UR Hέ5yuWƤrN5)x$}C 8*:0khy%eKa8k!Og(-;7!jD& #TP! u# }M, p ĎEpp9E`GG-8)V%_yX^JʹS:*dqq2|t7a(EN!TssaJ| I#vĖ  L4<_(@|g'ꙟ}ů'%(wq07l ւ y#-{ jIPeD깵q1FDCG!F)t!'kW2?r n'k&%Ь-A_HEg3P++o\RCιۋ ux1Prz[qoŚ/)Zt{e"/PE~* t`!!sULj[8qsq4YN+ dIw⌥|aZ)(D3DEvl8&Avٟ*!ǁt6E 7jy&D*f gTQHpo9rgjIsVaIZ?!˴x"tMd$xNn K~mEgHq_Aom)X9 lA΢8 LVȩ%5 'fd{z%:'u|h2mrfS-sAf=aX-nUC+5Z 'G{Nd%oxN*'̕-M(c(5s3h;DUMc9N@xf+*eM~O,$g!)ޜ63T^Z1 K&D'3]vQ)w(~T !.2{B Cti&ÌI?v |g(I fIY+f@ bdQ위2D^ Y*UDGjn5n(hV;E'dVz5î.@G`NW= J?GC}hX .zD_+ 8w#Fx:mpXf9T`8-O^Ⴡ@H?֓'e rrگ t]lAg3*_Y7-%7_!6d:>ߓpPPsanhOe__*.ً>r+־d=$$d8%z~ГѪ'uBȸKf\w7ZVVFF4ytXdv[symRrr9 ?߅އve=L> C mx= h/PM]P@˝z摲epCX\3p~C(<2rajv^ ҂Ĺ0 =4*8[:2iSFRSjN\6c b!.?U1&dg(i%býșhҾ9!y'b9G{(iG&%>dGF oXp$din3QV8j4QvSr`Z9NU뼟\ׅACmm-r_rK+ZP16c pە| -^+@UEKcZi{E2rFvo(f %"zl|1J3[${ǬvClY.=f Ug:7D&#NC&/ {#Ǎ"R5iŐDҸg3zL6L#U4y=TNGv%+M;$q{d7v=-v.Z-VPoU-])W˦Fo (ȷr>(t'}-PR3 i9,J d6>bM*?[ [5F[xPa9"eLHMH!kb]L]cx>fV]FǬ`_%stuO*+Ci*r( :\' z4Tr }Sk9AIX*=聾9uup * mc&6|9Çr; ܤ|rk` ?!5X>h`iUǟ{kLE^1owqm 9ce+M XY,ݔn8:gJr6Wc].ok`QAr$?;$zRа)%HcXd@{ lQۊ MVPm~G׿8W*Xo) (qsw\yP1捳$q՗ɉoyN|#u\X*_T8m9Ԁ$ r'p5&dCyMzUyluVmFL WD-*.kKG.}ڤfyEv*UaGvASw#:Xծg+eN"|6簽oKhzuxl y&͒ZhW9ҝZ'.T"WPqoKh(,%PŶ|x)xaK JlD[0;_@lWKҌ€/}| bc]v xBfNjMETJ["W[>ogGG H+tV=:H*gd\u^&>,&-vv:܀i Au?o8^2=AJ1'3J0UMu# +8@7% CLïڻ(+BSٱ`;ǼZbh|{HѯŹ=JBIsa[f`/7A!P%J%1C `%/lE:QxBYɎ;tvoǨ@n@=ePӳ2{KbQe8tusJJԡ6.,{M 耵d\;jb>أ TL-ed4HI_T*N H 3W8BaScˎ? d+??ҙE|#$4oy@` AI46QtNGo >B*kt#ڐ<lNhј`eqk)f8ȭ?)Mh ifUKŴaR>-cC>^EQk=F?Y#dpTῩ#TesM2Jk닂j htTJ_^j b9+mOoiأ0i@jxb>peskNNq8yܒtާS)Yz!e\hnP=DB6@%e\ fiDL? +q$ԡAV[ˌ.ursw\H2׀etû CE`/ -]C13靅eg-zeC=OD7#C 9oBdJ<}%\z0Aԕ°ݴ#gQyJl'%j;:G&8aZ}TMjfXT"z@C7! ׇ4O6B؞ܣXgX@yZ /<zSFF^͙[zμ. ޻ ]!HK~_\)Ϋ\D1Bj|9`;g||FH^|AF[][$|Bl 蒏"UXؿa ~?|[{- tPBT(U6/$G~iI̻:ۮ8= Fֶ=fz kUh2+Jpm(*l{"ZC9̸p.^$K.Br vr f7'eJUEHxN?1ဩV@| xI-z_ ۟/~{C@4&R.[ aw\g*HE/I)1?P_D(){l# ˜lχas[[Pđ3bg &pTr_;?O[N y+ID&Qϛ@c @c\qJu@$y7p"֜CFyF鐛y@'bGj4c“m1""x?M\aZFy|Neor1\rD*@GSҚFD=MݸH>Mk; Q~\[*OuXN` hT^j8/!n ?\,>0&Vʜ d&) ' Z?#𜬟,a?fIrь<ݴ&CE@SU7Sմ6a8#"r7k/Jtgt7TsGQ;>oE9D5`D|֭/[.N`dUM GaP34v%cxXkfyGD?gT.y|j|== 86e/vJV1BU&eh&t Y(*ۋU ;[bOfYw{fzF/K?fQ4_=!.vpG V$G&Ue]e7TK!YFŊdW;H 8)Rx7Y4SA kaCɩĚ̴K|a wJ=TIZ?[e 'Iղ9N 6#'r~,$O1>ٺF³3cT\ ݙbjf.5Mw>Pm#\m"`$~$>NNl#gGjlR?[XvӸ$㴲om9OXU^Q픘c 4LW.&ςʳg%)θ;(r #V{wEi:R=q->* zy7pV5+e/jmҋ"p"σܣoXA Q&6aEssGnY{]<.*n`̭Q$xNYN%ޫWe FXdMWWu6̩1ߪL%ɵy`]rUJ&_:R4[:>5SX ēhr-c_Qۛ uFڞ2âQ'ݵSƄٓ79 `*#-^Q2TN}:*?'e/}jFxF6:Cr0SUi}ycD)LXde-tP穳LԈo1)QU#ӛtE*׾BgI l7MJɛ S74[91kK q:SF";h:/Qp%L6疇@K3؁B&ⁱ~~SiN@zkCR z3x4)o)9D xn 4C[zuK(-kA@OID?qvE#ZRPȗ^wn}q)Qn7` ! J{TQww-$RecB.!imV"f *C$q-'J"<c=W{ۥ{}\xZvz4^m+~"Eey9 Z++rtM.+bRnQՇ\Qh-%9B*eN}YSڨnoD5x j3QKYQC} LZC\i.JVG}q+<8i,+fG9Dt;*h3JxQeF;LvpBzӔ4nqKǔޑbH 'UrwWmU -:ޯ,zwD!IpK'E-q֎| }]5 g*T8PQ?Ěz$Yˎ87kepl QT&d)ն~puHDx.1,r2:"Q6l(gծ',BZ"j\YsvlZ̘vf0:!/QީO>3GX.o +{E7 9bs"+-8/+d@\6>M2ŊF/E(^5 y"}{oM?ɿbb(k &Ѡܚn"FIdw^{G/.ozI!UJ8]iG2#S)npާOfv\ 4DOFDs>&[?'8_x~/3>B$)aU'I_Y&á~&D1s>l2Au}bQYR<&9\[I(vƳa(-r v?kzq]BAܪϷ@Ұr5U~cCD#[d->YZv_eO%-V֔;ų%A(. ˶/c4fcD'~HhކvVQ}d[~䛗t;.Ŀӿ9H@޳&k3sRo Gn0/@ (q,cY5mKlt&'Dٛ|vo(0xY"Qe f|=|}/rDNg1s <8\CrĽRsY gqEw>7dJ^&v)>#ű0tzm r4ZwN璠\9*JWoJikz CtamP>o;;QԨE ӫH3Rl /CZI}VtfseC]rZyt jFb& dI:Ɔ (oé(u~gt;O\A .ߖ̓oLpK݇-H'k?fzf~Bl38t$LEBh?~IU]A&Hh̳#o-6d؄?;;,%o]!ĨF-ZreY9JKt9;}v58#}ڙ9RPK_'7G刹@,Kzr9YfphX|xMei6p&QWx|}%_Ao=$Dr8g5]\*%p)@ 4-Ȗ ms'ÿ%&yo :8H+H_Czf_w$ݲY501A p_{pY.Ǥ(/%&5v?Of /MAk Ih)?rknLs}s 1 k5xbې M8j<i{>-b]y3 j[nW#ZiEPૈ-:mIT=a$|"R NsbavB `9d mP]M;h*fw?&5Ig,mSzBҌl-aɦ{WkR ,}{GՐ#3A|u;݉ST7J Qܫ;Z$Ysw띲9Ÿ=9CKGY 5M?#YywKۑ&GZQJpN p<6)awy;+-sqPMϗiݭ*ypT1Y@\z`34;eiWE`r7>(%&S_}{\# eLdhcX#wR $F4w\℉H6B$@Bl.^Ծz J:ۖ+1r=JkkZXk6@_Ա7<9o< ֤bՠ:]=4S5=!xB@m4\9mLFLYq+$cSHio~!í1CGȒI4ǛPߗ"iQl5ޯ/XnWpZ#Ȁ*hcԔ}Y\InK10CZtfѡzJ4<}j8e(uS?p?ҵz":w*ScÔ&ye%~MĥO s0H' DPaz`A1ulƕ$"~=4K:-o3FgNhJq[߰%%/G{so{r]5Ԩ/"GxPhBzuі~"1 )tWe{|F))y!v뷗{,j2 z-]M#/l$YbN5 /θ_TP+֤JX -q&7Eɉ_i֏ %Wh"~차'nTDwKFo-%gHWݣ*+!C2 Z2͊d D˧9;FbdG16cQை* }sW&xxE<çSdlaf?kfMz^Ջݕ'F&M` X HIod_̔Uom4 Ć@)C`HiJ3..@!ͶcT(ڒj>ivKwaDp獎~, lZ;5V]զ̢=bE"ʠN>BY>of3d#:N6|e#clvn1yeaCf]%_sr&9?#Y w\+fB0 (yr7yZe2P/1/.O/BlYB9VNߗ!{z"v65}7Ԡrmi%2tp 7b,{'K~j\#X]._}n07ɀ]s Aq̄Dz%bs{rA@>w}brnV b",#zDHD7R=G 㪔8Ϟ*e- 9X*DUԹ։ܱVE!ؾ ar k?c`Ւ؉JmZ9h*XRb>(yM@Yx8QYb,4_d8.6o!+6zla38<028Bz e [K3.HATĤXR综TcU+T-blh3|KӅ6iLOSDL_bu3mk澿<4,? `b;IqaN}`DE˗?0hð\paK~㨮W2%SC/ 4oGOm5Zv*꘭g]tx$Hvy&5AS`Vsk{$aS\EwiFWqvT30vi"f VwPāU[n8/p;t3pǾxeѾMr($6zW/Fͥ1+ ,h㝑ƞY ĥKF@Z+ >Q'nz`6[vAӣy=_ wdv5I 9 qlCt3M.e3K@sƙ0)*J1gYZd7f34e33c25f46efacde4b3e1e28c2f568e60e7696398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 2abd28a29f7e1a08ce09ecc87dc8462d66e1909f 88aa35e275e22cdf2adda585ac8b16a86c5fe773 fe60d19ac793058b88ed5fa16d2ff3b55d0acb19