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 ]-|$\D ]% HOL-ODE-Examples:threads=4elapsed=479.309cpu=1348.784gc=10.4847zXZִF! 4 ]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG71rHF/7?x: ƹP]e4J۰s+LNt'ϱwKgbuzl 9!1Nbw ;ŕs%EGUoHSI Hs_NɮtSLvt3j/lПYNL wuUz SvYY^yq* pNVbm ))1/^D/-:;r).4_84LիUK^߁kC - HOL-ODE-Examples ^-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*^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_'  NJ?m[]P@פ;m;po>/ZNpfx4yݕyQ(ǽ2;d-C٨z 8lVuxUNz~stˠEPy/'!i5o<vGqomv,f~ʠ؀vF^cm߆m.jr]^)A4("Qܴb+jrHJo,@gO:1k% ;:~^^v",̲El_sb&o (*$| .YA3t4ucB<) R j}kp ̐U-=O; S^īRzyJH&4MmHbEnDq![%w3dS!Z_“}*W?|:U&fr6/;E,HVl{ {HS=>INNvGa4$R#)Ĝ(w<#'N 2}GՅ}Y2_A0DǍ aT"\wh;E};+(85^Fk2QܵCrdCd@Ig;Х""NtpQhO}oo>l0tkI5Yl@;LCBE+LWUKtTDoj8_2Eq DiRIq̓bTXS$Dz]EyrvyMSP\onO"3 K @zD J}1Ћjgf~ᦃE._KeC%GйgqKA24LjcE,LE"aj ЂU+؅CZ66Rċ[ 6H)ǦVV sDL~ ɦOSuKpO# , lNco hz!$'QER>֧`(YA0uvap{}S?>?a?kC[uIPqaa\TM&tyFe؃һJ@_8H.]8[GI: a6J~F<5qim@eV~F}!Q_[ȋM3Z(kAh(].˂ d [k[h<4kb<wu˻_X) +{dC{~3EL~#L֯OUwKmC̠C߫Jûy崪fP yn^3O #½&dJ$fҥ̶P#6QBӒiM{m rd{K!3 ?875?"Zj<#B>f>swv@6EI- K ]v*wZ\Si:٣}_+G(!7E5^RirAm~@Wy頓~B(9car)f6TE ` 3dtmYq|K)nA9;nB:-)>4ygk-|iscTG[8R9k >YЪz7EĺK%oKZy@Euͭ 7c(V6AZ0 gZWƌBvٮ!4jDU+i& *;ܒ6冲#Hj]X"o1׀sFDXG kN sɈE]n8!(wc(1JcW?2.gV&7[\K6dURthͩ]wX^&OQtOyNcc& GgG*%OVyMvV1^|Cc4*F^]nPnj:k* r;6D5SI9&+3Ԁ3%S{b `%vg|حjnhe$WVDYZWY(q&PV_^ ~S`7#޹$>r)E6#ϲ(p0 l]rnhH%JD `+/uoR.AP}TH`݈ ʏ[7_`WSw洉%Ǖ]fYN@(DՋFf\,֟,mn-סXY^e*#}+<==6Ņ<˰~0.KHtfmFUhHyYhg5;讅G.AzUu)|^7aNv˛"v3HZHHi-, C~BF8hB%d=`9iFdSe攻\=Q;؈v;K8(mVpTb1=v< k*Wkas=Cqgt2$/NXQn;0=|8SV-8^T$l= &s߭~tI^ _UrN?8Bdšh69|ZLԈx7[W>˄J!].=z[7Vp;ˋ1T"HñU3oq@}=1J1GՇZK6|VJQs$ĎaN*ſVSڡW` yu"[˳;lCO4R 'Uc xX=X2WwhΩZTD<ĩ:f%b@b^)S6f6Crܓ,:'"b wle\%ow6{84:ITkR^`cQ`m/" i{WXN2 siR/ VAl-۫Y[>&1/dƕ[fD?pP ʔw5 O*N:UPRO.;*Zlbu;C#[і+J4-OPdn@j~G0lغ+G&őX0 %֠m=>_Y,)1uXd\f_w:  갛Y^&7Q U&kxC(iHXojIlox*Sp,v.cyS`?Q+-T8.`5"'M4B]F˩)a^V s?C(vh&]""-vЕ+x^%&8b|rugoU7ZwiH/7K#|G'3a(EYT^b$?SǬTIL5F;?[>WbH:0QU{Tm!I†ThjpPd fߞTAX@o}G㢢I 9+#'S *o/DNg4''gs-PK{S~mM D"6յv,&Wp|G l#G惥Po.fIA^~ڎN[Sʱ<(]Wg(hSP_@e؀-TQ(kN.&֘1-]ȣ;LE)$=l5`=J[A;jEiLm8`24'Īor71[!t gW6[d:|""}.P>WܬCR϶ b@D75Y6UKtj͗#Qq&hmr)R JzĥWf z3t.`b/DŽ-y" 6?.>Uah(e_R[ڂCC!c/Vdfr,[>[|M4/9uVԇ*Aʏs3U1JM;F+Cs cîs]pzyMxLW$0ә#D 3(R IiLaV2UfUOC+Ź`w1Cj!j,A;B-0HQb= < z;C =`%{7g+u} h*"'ɛu;d7x+W}3dݬWot|Cu H(}169t>[D~Q bngBV֬1G'gV{xF]fcJr}j)et#Z3)sa=5 @WtF[`YJH+,$E9!8 !hv(qeGI2^ɨG N]My+ 9<}{}VGv/~Zr k-$Hfw}s+))rbaɦPm8neOF [$Pdmn7tcL;ZKQ2T}UJFvwyFJ8iZq&3@6f"o9tB!T+F-u_Qq9ò v>s;'%iHiSXp7JpxagDǻAjHD,ɒ7T qi[`"[A?Z,UGTBM1&N b~cJ)x$/ZpW䏏ROVAKB jDN !b4r^@_'䴃CiJiRC1#]e>`T+>ԷC.@ښYD"$>wdS*Tf8} f։SccE%*KdfmpA"/Z5 Ip(+Lʋ7/bwc!mK$qu mxgk N(r民V||i"XMυ:¤:i@%<6ծJK)a<"}c`A/$kkNCZD|WhS p>'Z(dU =2>a;&KM\㙧Uc](+c|Ttr@^:'fcu#?AJ'YQLQo 5X[뾆/7KVHX39!,\]}D=oT(n/:@^ڊxK%u5`y,پ0:ˀ2Jޚb@>vQHU/Xfd5Ol4I&e"p4aN;VՂK*Qh|*老_ ;zEq/^/;mhn[u!8ؾO5(ZDL^,_ӕ2omȤ24/迸r#/B ̜}wsh Oe-g׵<cLL/y![XiW ڎHI4;ԛS[)8o(b` DM' "$s(gG1=H Sdl|Etwp4O@Ogi{_m|?9OOR&Gjt-mxPjͬA">QEAs8q*rlAb{խx տUa' _7vATRN^ёB(FKg Fԟb.MɠH 2x {#nl߬`h&S+f]*` ާ$T5@iC{W1L$tTxϷe7BǴth/ky0#+K_m΄J8j ;8%V@F'}UOm# }4/(KBQ2to7cӳ4KQ]OGWfldM]d>u {#i4eOYv2T(e]|k7[MJ%횵듪M Ȕև (tз$⨎@>̹`c5j& @V`= om2zů0UCuX`)!O˱Z>R\Tz]QecY'ic(_֫@cJç+CVYYC mh}9QuW>j*ӼK aQ!F[^ZZ c`!Ø)1zXyfV6sx+j# g_@f9.yk3ϖM >ݺrfd1YJ/Wv3كth.\L3sL&-^s-R۟_j.(0hWI_<3 kB52//A"ZPUTN=gJ>"hAW9M!,l.dDfkAi ȡ,7At)B3PM?4W vQbS9f|]BNc`ـ^i돹feJ!a{ot {LgO:2zKŇ@纃e硔ytO];} %h.boQyN~)B%{تs1|J0V/q^IF`: khC:8&bm'ۘd= a톈X$-*7˶ gFr}2_]iRӑŒnOH +1rՂOv hw5E@x cn^N4VK._eA^2Ѣwژiڣ&Ȃ'D/ΉbTn} QMn QndUDžcKQX(X8u٭]{fοnSJ-w/0qkeҕ Gi}AD2Y'E };]toQynEu/ pA~#V{ >1拁?PND4MRS)վf3YL?[>7e  yU=`o+vYٞ$~JP 7~ alN{]Gcqٌd*A 1:gEOZn1pK?X\he@K3b-B!î1r.,P Dĺt$D4w0Qxq1ꦈt:I;#Vֺ]ʊ{QBWO *(;b/!9pWej\#y q29\іovu4N2.Xw%0"=㑕)b}"BSbXr>ElWZzP\.]Y=_p0{HRZxQ>^Fmi6(^bC$!$ CBi̘6V _1o C:y~ɍ r\8c9fzWʂ?zwȐ6AD<ˬwa ND]'[A$)8pt[-cfhЌ\ ^^ٹ7jG 9g]wf1S C9vNȡpa vnħ;9H3pn\Uz)3@+:YX6@a$K1\ YvzQc +}.fE)@':iCзj[R҅*Y[k|,ZزY^ n0HV[ϡЖ&HcJ$h ҍR,nsuk1.vqsu`TpzU% k0(؃+GSAMy WRvzo5՗#qp.Ɇ"7;;%q,+{03uŒF|o;$< q/Q<~ybD2iH"ʦe3Zw(=rE0#D&%X]3=[HgXow t>֣1Cm E?苙>v慤7gg]F[.$S%PX%&)NіĬوذ6.(Lo1E$*а&mi֓S0*0~GL=M yY`pGrSY>5]FZm}Hj/֭7{M}謚7z 9DҤ?< D߃V#'0 j C^.fY"\Ĵ|+›09$+ofX6~Cc&r)vqdK^F+c%x[zW"0 D=贲ڴBԜ2{5Bt Y˻5}~魓R!hwG^C3|*cv>qOa"/63h:i.R$J|T~+ TaFN.Tߴ#ZP l7F‡߁r)"kv1+k&_~BAJb#PK۸Nm,`#`wظҤp]Na7}棝~/xl%ѕzNcY+yL RTUf-_fC%r:gڝwg=oبar:z( ≞=ɰ+pqn=TnfuF75AMdxmC5^掛KgE> lҐJe|7GHK Hp,`8q%BONwaUk$jm'6Q@ [3,гyCb4hj9y*E^ʭ ;MeVcP:L%HBcvD  aQH1؀%p.e)3?]P%Q=%CF25FeisH}z^6u"o˹,O8FE)4sf杫iGmotE_Q+?3|1U`gz3aQ?DhϊYh7J GU~#w&\͖k:) dl!kEټCw} H'fҒ}?]|[!JBϑa).i/7bCzr㱹 neoȏm}(d~zqdy>82ޠQa;lo7>OS-KM_ mt.dMi|D]"^]/B};JS9.%ARYe=sދ:nRsz(zbZP%Ù;W3MI] NNA y)bX .3 0I[1S#x{ɩv ׏ GgL{pߴ("0ExT0kTt;~fCHzv;!Gpfu'7}G2D,N6oCکaX>˒E@X&$czGyΛKn>j|dMv`MhYyu1%XޒHܨCܚ¸ {ĸ8ZyS>E ,afbcWǼ+g±< 9|h~}0<3*,S?Z3~wNGI(Ӊh|Lzqqv+h}غcatn qk,2EF:<#V yƳ@tQn\Žb'{L*1FGg/pN@GjhTHm{m󥓃[P+86H81C}-tM siqy*  &75ERLĹ92}UZPŀr6e:Afg5rNЉ/a<ͤ- :p%",G`Y#j5Ұ2ЦF Q[%R>P<_0BCDs{,Q;ɘr ֨ zG$D#k{_ 1וTZ׷6WIa)ہ"^PߡVa(E={~l;/\KYdL`)?pOF\kPvff,MõdP&Iy[\ nL?3,=z vE4 wrg{E,:, J:><)K.GXG2[7Τepp=xJ}@{h3/\|ro&*ɕ5K/ T͘a(qg Ah:sx϶fI=O̅Uҧrcƍ:>}4+Q6ĉЛ^WlK06E~Jot#)iZFO^hbǒ:FdΈkEݳXNIse}$EEc[oUkHϚܟ.jy_<cß:GDW (h0pP5XKae}Y47(?1[;Ct*}=%A 6Q,K[~ e"f+xHv:̨+Xe{x([mfQ 7_>ikD8Sҭ&) {0]S<ۿkydnv ܲAIooĘСr׀K ֶ|$b7B [d gZ|a6 8c5i!ЧӮWd>߇hB:)xGf?q(w }+Kꕨɿ(kieN]#"ƠGL7D@z"u7Wc4o`茄P*h tymے>'Sk(yun iS@9rhɧxt:2pf& ~?'AJht0p"^74b"C[ sj:#fwNGQN(?խ0m׃j,d?4jK:jZ#,4 nw<7 &3dЫ}l@]~ n=p1pכf#gf$ ߗ<ʭf\s Q.oWMPR)=#R}Wl#{<;Y iYDZlPr;p9S]RDr~~ަ>*>ֿs)T`150^Vq!}v0 g7hXL7K(ɕzT]uR0}2_o^xLimb䠸.D(-L~ZI΢I#q]ŧv-1DDŜ[#7ה$eka`C[I^#!_cF =aɒ< z_f Bz ѹs0Se+O>)D#|9ZaU[\XcwZ~O#PЗXYU1sfpXr~@dh XbY-mD,1 1t`zI۵GË:H_L! R*{E nM-g !dR&,8GR{'8VvX1~@.2"[f()CA;X}"YVb 0yu6QR˰]]4Pm+V\-M|/A'WH<,f,!/ԮHcZW/B @A@t'eQyy#6{Mm c/̖%E=tw&Ny{LkRNv'9P~&8qL;4Pr"J mouK0=j_|Njߟܖ3=*I]# /BUB{H0-ua6=$ƴMBr3&D10m O꫌t[J@2M9|>B9?Һ$Jvt!!ɩ%=^7JaL٢ǼT=t CR;S+@θAܥH\8!nx_/!/͛vÞ4#*1!'Z{efShP{]qhcm/OK=OR^DZ@V)tQ sQo 9z`9*4QGpyor2薌 ؑ[4͵I#cuspC;Gn/crjW+DN= ɽ5 &.cBN*:xrOOYYg{VA5y{fNR𖬶+ Lu~Q\WTL4Y"D\sA F* VKgf$N [WOs&&泤 ѢqUPྑ#c~GO&j93P ^9>fG'n,9֫Ӗ±! +i0c緐{Ss&I-ey]q4Jf +Y2PO4: =zd"Y?"cIA/eLB @=~o'xpxBַyGs0h7_Q=EG$)= SczEҿmI]L(>Jy;LbaP+7sKzYQT|IEC Y4/vCFćamXUb.G8Z #BACZJ>A/xSN%3Eyܝ"%03; ĚKzl,?'r7VXY "|7M_=w̔Ә2GƐM_ZA+~+q Qw*[$x0[ڡ,ބax8Jk󄝝knfl#G~8Y'ɰL"!pӫʿ8nzwa.*ܣw}"6{BnE̤qO$#cgxq0, H $y|//&;* BE( h Bmq>, knÑzc'jch.bl_f1]20!Cޕ8%4n_Ge 7On|z|7[tu†h-&  (-AMMQ3ՠu\S_<쓙 3([U $lX]Hor kbl]qVA MZ*"c1AD+xPFfnP|¡:jub[I46+pd8&A Ā+sx76fV%(?U7?`5[NN r 8M-$?Ͱ5TxFRCXQj-4G+фy!VtiDM16RK̝F[ xFQFB:ʌ﷊3JNl`N&r0$~Ecp0(|K]Z'SfCML~ښmP_ =w,[Z*?mdbt@5Ix]J ZҴH{~4+]uM(9aRf#0?m+>Nn-s>尫}a^0JO9xԫ1D+m ԊIf!q#2kFuzt0\佪 [y4!N^.xEx#BtÇ3v)yd pvMz9-蒴 .{XU&? \@ 8ޖ&}A>aLsMQ,$3+Wi+!go {Z|+8U#a"sl;W01CKnKCcGz$~RZ7B[&/ (HF̟SpH 4]BXm2_e.= # QHCz2>gTeLLx wy :t_٠'byMÅg\ƽ*n7\T@̑\k{^b斁>@6R0LX[ `L@F,Ŋj^Z!L;Ӱ~R|%d= v䧌 vt3(|d9U>v QȏRҵ%b؉Ap-2m71ǽ.wF>c*z)HWb:_2DZ/SNzUɺA?o7,?ޜH?Tro(`In_؅w[R Mz! |p}`.`iY ;ZjV̖>xlWK%BEe^]*dD/Ʀ WSkJ唋OlˤSw{c.x6Q_fs AT?J{;Δf.3dԫ>]JD"(C m%ĭ`bO.44SA1 s}h3mdu+YWCʒP P<]@)͡n']7ŤVB -HMPrF8މFX2|{m?կ,$BWtv4SY0 ?j=RAnݦ@տMhT|ik9˔ڂI=s$!e NŅEȊ;لH!eEOMSeYT1zH|LƝ^Qa4s0}8¼Tz^WDU3%x?P-3LCuPۢ O-'b[ <$$!3M3YW6#m6 Ix OGGOeR1'ymYӤ˒ tgG׿)CZ",p^w!DףEV7SW\>:/$F['<5">/\7IAEPm˼K{nEc{U8R>8n">36oj"4ʮ͚:kA.đwH2Gi͝3B0:@Ǹ ,ȍSf;CCW 9u&2{t(w7rOCb=D?e"-䜮mx`^HXS/HZP+asOE*rv̑98S#:Y˂Ԗl` МԸ-WsEdy|.шd$v7N.y?Z}הKq&(@0w5([\z [ːia;XN3DkˌօR*zG K xfb#c+)vwϡv֘ܟ5U3aLMI4iu7j}9IpJ»C U38 rY\d5)"LPcXԤd bG+MS% gՋ&2E?b}:BUhAPN4شUry0X$IʺjsYJ;kMs ލXX[U:«ӟ'p;#qAz3ϽK)혇\L겢?>"2k\S{Kf7Ipڃ&"XB:k:;ɒ ѶPd_D.]m2mo֮> 2]XGb DBrm1BIdU Wx l|μ[ m/'nj@?j-@vV3y4tI¬i`tݢT+"P@6oI"`/594M63k% U8 d_p|p8L)*_n6U@0Q7C]\xrfmUl<9= 3;ԝ83E k)sk$5PH=o}\JwVT96/#D&/Պ=2`~3&A)p.ǵJǙH%|؅K^݀E']IL]ԏxKWBEOhPq 5fթ qWMvŗd-b(A\U)UHd/8 -:Cʢ7oɚZG7w4#6Q/k˛܂ox7+pmNaw<: 3ZN]H)9%*X 7KRYyQVyCU&:{%%zYEu4Jt^ߣ!-7|Lp?u{ᾯqy@^Ilım)9 yS&kj 8@ບ-ʾ\Rg,T]$;d5~*Ѿ d+h*vB tGbz|TmC$ztɾ_qVo]zE1z LG@!(c.}9b'/~|Dy!X]nu`Gh^f:Q" tݥ`ĥ36#^}nЍIefEBo4ՠh+ ]jC0A]O@m $`묟7ӧY3\z#e,\e9#(,O> 5c6Y 1LՐ.E2B"0_kmtKNc~Qָ`-?2-!oPm81VPy@8!H^H?$cw^fIX+ӑkp򍣈f9FaB!i B]{0{;-ri1w,yV ʫB霚$EwFF8/<\갢7ñBLzI78 ;@dōr">9OoTwhFvBɟ.:mwٴFn xwbQp@[[.*>0xE fT"ePbt0-ձ/3kEBTO^BKo;4~|gSeVr Ԋ-&KnKyԺ@Tq "z:mk)n2oEOEm4xϥؓBk"e:L< .hl:&8r$Z JBʹ`ODB6 jY餆l6VaLO&7煽^oeL/fP+]$͂s 1Lz0^[o9Jmcڿf_5*hщ)nfIp!=$a7Oq!b@>[Q-uMf(r,Nj_GW9S64U,A4W-PyGRAGpv.랡o4t"炒,%omqY+M 6C>8=,o $d?/DWL^=H5C>59﷜6NW[)ҹH v{<~do1ŒtQW1voQ9 LBV> )#c1~J:|Pr+WhBN ie9ޖN4JvxdR 0YrE*: PW-)$%v5yR\W6GcsArQ'X54'f>0[|?u﷛m,Pȣyj\Wq|H!/患`#,?;j<e4e `p 0NXYOL9}SyU@EN}u$TF 2qf<<]>[) tZ,m9|jѧȌ| G趴hufmZJBjNP˨;1•r_[OPP QCv9\PI)Lʂ;`0*ڡM<+J &3薉ɉˍ,y(”>C!z R`9g3nNe:WFz{ݑam^ KO j,Z rx+ ]Dy\{-qBnٞ$#@F<h r\82 oI; .3~x tHCm5):# ʰF#%e"T6z:73Ƕ>]P?ш=K"Ew4> .N L0\G5R5s"@Hʪvu J=@׈rN9p5P7:7ԓMB9_y5+> =%BpTa!ÑyD&(f"DϙotU]&9; +M('4ϱh7DU9%z:W=}}1*¾l3@ipo,1K^*ȣ_a>9r!ժDG睝oT'j`Ohy_SLraG|E7Z\sQ7Pzia~S?{h"[b}91N 4/h=XbBؕv9uZّtT ' }K lm[ZD] ?R]sz+y.2$ԷEnqw!҅ᙼ#?,*'kdG  ˡxj/jjb϶>2 Z17Iz}Z ]Xp'|.\SspcGWAbP-=.͝U;X]^%_R2!phCH8̋YtÜE\wvYjb"R̟Nxp^Cqj鞎m!.JiWwOxv;>: vE/'G "š\p[_QVQ zI h \ @Ѱ>7̧UXvJ XWpN|˙26!r'o{r@@ |UV&05aT*$k`V$'""w4Lnz2nۚ&ߘOQuots!Gׄʑ2H!8P14L# ~}W[ ޘ4j0^"PPʏFSL|W8- }nq6vvZ\? @(LJ'y{ffK>PQ6q.U6ͰI 9 x% \o}Y끛}4J/U<Q>In Aě}$) Bf `pEJKAQӄluB􃰊@&j2w[vK|F}ϡx ?OOru=ri;~gh:?-cSJ2L<ꏄ򬜓"掺Yئɴf]4 `H;"p]QrIhS1P-IwjYz934酑hv^V4$Oe}wgimevK,?b5uu _"t!arb{: BfX"i+gHlhqe|턍UKc&j 7cnDZӝC nLEogTDR+  /W>yԕ9oZ_ = QLt_j)Kk(!ѿ-媟BRz^L` MLINf(8 ^iqKP4FB5 .WT.]om05Ě܎&3o:y棣Y defE ~MhLwhza1k|q$VƇdE^~|P`%lӫ)LH %ܵk"&̒]R<:S0_:@L<=Ņui8FzAtgmq@sVFsFFzef\iZC>7pK:  {b08?mG:{dPllbz׼ AS)L r$Un45eAElo"hE޸?r$I'?-n5/G,>(yc"pr(YY@*YJM/;!u͉hJy9!4J19UuZM7)5\ *kunfvAIJ\SAXhLi r @^l( R,/č(.mߪJR)V,sJp5b\(e*06EaDbe%I~(rJ:qv:r5 1Cj.\y)(ŗm3Ѓ6&pď83)Atj ̼ӊ?-BQ'!+#).&.O <+tL³!:D4>,IKr2GG a1i*&8_ ##{1T$KLc>0v^PFHJiyBA\t u3 KJ^ #̍[{3EyCTY&5& ̢-]T{i(Vk t#3Q= =r;v]H%;Z)YosVobF#YS;7{%)9-.iVc~:cFжJ*[SaN`xx@ XbմL5l.( p #)Xq8J xTA{s7~;^YV,.PNf[f ̦)ʽM^dQy%fw5q;͗5R?"jUY\[;Nn78=X#= _6L{x\O)jd} 1چt *Zi@t;޶<^~MsvL#ޯFMeztOni^6ЛZf"dkHNpUUwYJ,tjLq* 5h֬ޘ f%팺}%?>eIR)l=0yOѴdL[Qv8Kc8:})v*6̍#L8uy#>߆ P"ٚ˛\B0z鋎-6v?*j4g*[2qQkph*=WDZ/Jb).&]J BKpT_7$,➦~׌gSG@2txϘ󆇥S麪ank~ó!-KSEaeT{b .rё_]L'v\u\DvzRDkLfg$g<`d-DXe/^2H GTIO]?_ҿʼn-7$`A?Wa0Eg`oQC/9ZdhOuCNN+ L雈ܷQPf`E?'o87s/H.x׋Ȱ ag-4mvɼgPa'rj%j^}BMRffSQ_pO8lX:D3mwg}jl]Y\f=0Aai-cRԮ|5 䋒T[;z.$m*Un-gYZ054ba581db1ee3eb1ce8470c3058504eb9e94a22e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 1339eb1ca36123670b55199a5d487b279070cb0a 54e85f313bb98269e41f7d310c827919149faa88 5bee07664c0c9fe868682ea1f8e7791be946cc01