SQLite format 3@ * .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 $-z\d ]% HOL-ODE-Examples:threads=4elapsed=595.095cpu=1709.524gc=9.1127zXZִF! 8Ag]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%8Va}Rqn>Tx Yi"n$TDq TÊYfB芅OqeM_[3 'I8^B}zi)}V;!U,n|1{>dvwF?%`N]OBBkLղ4Nzm2w4T:am-F'pg(=W(]BօfFdʄM%c!4]'Qbz>W׻\ZS1f\@~!֠";dvQjJHN?/ 9N<\lť23݉q6X W3qֲ#C.r\'WQ,LnxRbllMfwi0pT]WcϜS٦DӮX/Nd>A^] 'T{_E˄еދHJFTeXN$-'ւG ~ۄONW)~m'@w QsU1ezۘ2H)D7H!CW6D֯s!cr`z0VziFBY{ ,BT4)&> z O93cvrf][h#>$ao 9=4=ẈyMQ,Q@]#7MՈ+;/!EY\J/ TF)4֎6߇Hhqױ2Qw-{1AC4 βA<=֨-NNH۾PR?0 ]rP<:s?a%iA1E6OB%!+=) dn93f+(6qA&#PsԱN;7ҙȔ.(Elq3ەT&KqO$4Q* 6|B.N(& ʅg/3c(awG(9qe5f<@r 1A1YoFߝxʹۓ} V! lkV a R2<99bcs pޱgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+?AɜxfhDJaM|xx*v@@]X`8j)`%КrI7ĺJl#z @\H]ԗ<ث#3ϴZ UAL>Eyw$/NGjW4@:v|}ntO p{d>Sfv<4xv!mBGdDF&{x4ACWf&Ǻ\UDl4#!џI>i`M/;?hLZН^7!ҸW04֜J*1䕄&FucʭǜN՛Q$<_/#O+ nM&{v@{DپʔWFYNDjƯ#5`f6,Umh2@ߊI!GnN+OSX2*"䙊ex2@q7;VJx$Zeϰ\PkDlQD8,CG9p-#>U ]x)9@*:2/u! - HOL-ODE-Examples  -QI HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument/Examples_Integral.tex7zXZִF! g]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( ̃pmo~GZ1ƽhmAecNOZI_ Kl{)tZ7 @z3tAQ-_~lcKǖ) K҄6ko*B~H܍[ RsDDAN#_dފ3@D _:ʞU {~%>G_2S+iAc۞GrՂ78Ǥ܉h0|λKĻ #q U" Ruzx 9sXla"\5t3Fϟ=Ѳ'/fl+\sQr1&Lù(V;Ba *F;v}#u~6 "&BZ'qCK[/FUETd_F// R~… QOhe?2q>w~1[3t6w%u [5× * Nm~)] aJO@v04C(x.a\u:lQ^FhεT獸y7W<4p5QzPL@E=`0/TTm@K Q:8$luxPV)p<+nQХTURML;A<⍢@>6oNԷQ'yO!-.5a7~GPNBe?,OSt0yj!@gj[ ("ھs!u9'-`k-׻FD2O}'9<65\̔&٥^Q7t2 So TH^h߆ktDɥ#kjFP⍸T Jx%LPf:o&[  V? vv`=,-J3e +C{r}ΐ6J>FJ(A[CK]55=>9AG4HGy!4<ݥ70&KCle&cuIXfw$chtG/ R.NgWI@سza1^%V;WLL"KT&|]xvݺVW2n,,xAhoP1oѽmKD$ӌm]9%鼕[Y.mv.V3?"D S!S)׸kKYq8ΰN@$=*{SBB0}'OUHR>~b@]BTܜr7  `axU-#ao52+;b.B|E@ҪCqN}k[bJpqCEȺl&w0jkɔ^2z}6^;"-|XP?a-r2j Q_!3GS;ݓFO ڍᛆU^7O>8Ume>y񂺱I?I}L?oA=R ]R"ێ܊|}mD0H9{bݙ=0 R[a 1 g<r7x30GbP̭]M/d~-aDS[ܟv63n-G#HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markup=-G!HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/filesC-G-HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/document_idN-Y1HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument/citationsI-Y'HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/messagesG-Y#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/markupF-Y!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/files L-Y-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/document_id L-_'HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messages J-_#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/markup I-_!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/files O-_-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/document_idC-Q#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/markupB-Q!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/filesH-Q-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/document_idd-_WHOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument/Examples_One_Step_Method.tex^-YQHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument/Examples_Poincare_Map.texV-QIHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument/Examples_Integral.texK-G? HOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument/ODE_Examples.tex  !H* oA+ |6 30| DV,#H8_# DHj|'/ѧb 1:w!P>by{B82lBq)Z @u4/<({_ҹt:ɍi;nyr @K^PS[pMfN_a6Gt \Z<7~XI ∕ |UO@{K!rh} <:9%!kI_.u1S]Eߞ (\MރVm#I 4T/=+Iq(CS' _@P7ii)B@9z At>vWeD=AKLU"TߐӍT=\8P(Ueٞ2_i#*\YoR^FjJ$+%S\xtL~֚"BVP$C0gP}6襫&ӾVci3 ,D:G|-m٠ } EF3\"kRF~!XX#VOf/$6u럈<cѺq@.5H'> Q0dC%3fF <1)LT۱I6p-w*}u~(bCR$"P9ۆ]݂Dh$t6FmH%qͅg ų Vmd/ SKf@a7Wf OYIz{obɚhδ@"Z97GAJiՖc*.{TqG8 oGvSMxO<~Fѓp,%殛NT]8= ʾ%5覟"lBN̬8a5<hC{䄬k5{*s9$sCE^g e(eaLE#t!jVwSs""فc^(ҏ2v)Wq0A`xl8P~7;T06MZTÎ5 me(:YA:8*ڎ^"V7 JD/BA" ) oLrgWOܦe88ZPY X 덾!.] |ՍOJ2kwۺ#{hY p!~v~i|!:uʫ]eƴv+5߾S,C{nf+zMoEayo^IWWZ^F=XH:Yb,{U\˺#TnJZow%?E!#ﶺǝR0.!.<k©aWX*HTZ?NÚufH1ԳC-*n*7k/}55]GXٚqs hd= EcUsm ?xBa_tBUӐ 6wHo֒VXj4)w"drHÈ0H@>sQ#Ȕpivt4*?Z㉜M:1m;gYZ  -QI HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument/Examples_Integral.tex7zXZִF! g]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( ̃pmo~GZ1ƽhmAecNOZI_ Kl{)tZ7 @z3tAQ-_~lcKǖ) K҄6ko*B~H܍[ RsDDAN#_dފ3@D _:ʞU {~%>G_2S+iAc۞GrՂ78Ǥ܉h0|λKĻ #q U" Ruzx 9sXla"\5t3Fϟ=Ѳ'/fl+\sQr1&Lù(V;Ba *F;v}#u~6 "&BZ'qCK[/FUETd_F// R~… QOhe?2q>w~1[3t6w%u [5× * Nm~)] aJO@v04C(x.a\u:lQ^FhεT獸y7W<4p5QzPL@E=`0/TTm@K Q:8$luxPV)p<+nQХTURML;A<⍢@>6oNԷQ'yO!-.5a7~GPNBe?,OSt0yj!@gj[ ("ھs!u9'-`k-׻FD2O}'9<65\̔&٥^Q7t2 So TH^h߆ktDɥ#kjFP⍸T Jx%LPf:o&[  V? vv`=,-J3e +C{r}ΐ6J>FJ(A[CK]55=>9AG4HGy!4<ݥ70&KCle&cuIXfw$chtG/ R.NgWI@سza1^%V;WLL"KT&|]xvݺVW2n,,xAhoP1oѽmKD$ӌm]9%鼕[Y.mv.V3?"D S!S)׸kKYq8ΰN@$=*{SBB0}'OUHR>~b@]BTܜr7  `axU-#ao52+;b.B|E@ҪCqN}k[bJpqCEȺl&w0jkɔ^2z}6^;"-|XP?a-r2j Q_!3GS;ݓFO ڍᛆU^7O>8Ume>y񂺱I?I}L?oA=R ]R"ێ܊|}mD0H9{bݙ=0 R[a 1 g<r7x30GbP̭]M/d~-aDS[ܟv63nͰeEW|-;~,&wOVKdo=yl+G'T*cdֵ T}*NUC|p:~ u`7ǩ2LӋ$qR%P&B_J#' ι^}D9=5n.SoAKy~yr+@YUd;Ht:p #gl3YWDbj5M6=էs3(|vG&tHƀÔpD񴈗*x)0l^{G$轴2eR~d>$O`u!X$q 4tw~)[4"!)~SJ zIiGʲ*Xoh~py-daΪZs;sK>G nYfBWmD) SAa!VDk"Lwq•4@LѦu_˂hGAhB8uW?'^Sr]V@V ROThIt T6KƳ/O@p*-LڄD5ӤaU#̗(ʙeI`il)'Gыe-b]; s:΋M\hz,V-ͤ6fji032= ^sή}`&H7~|2c$f); }"vӨQV(/i&ߝT&7 %(tA\ E$yHUaBzRP| FVH2 I u &f`?Yj~z&n 1SƿC=VyO+nf 1q&@P3T#JUj05&?NwhX35MbMh9 L`@TSMA5s{]^"̹]5GT3mHK?NӖ rPqѓN#0%#fU4b_SvS "(ist51rdn"-HVuc+H58p0B\%OFq!ba@NS@7FJvuFx}gUJ@Cz^\ ss)*wC]P;VY1\}472Ըu]QFé#oH`#.Q[ƐKPbx,ѹÌI>o.#ckbº"_,LKpax>СhZA7?- 5$d$~Ro(2M8urHJ ְ鴟QUF `);gBI>Fw" u^4c .z?@9C}岍tˤ[ ?TrRiy$! K\D"l]=_"YXYz:J@ߟ/I|TL7'0'Jhן⼽Izp%317DS;̞KLA?WmYK̩PԷ+>0yTWASri[A6}o#2s?dAV8Qf͜/yǽKY o~5ssެutYO" `h c,-Zg1\`IV#;6a|S؀Ɣa]Ralā]e|(j) ЯB?Ҙ iR daxtpRjf(=`4 [8~WիuӢIV^%^i|ơa̤q[>**,=tXsѡ$*,j4yhm}S`kO /\Q' #7"ӝ+:uŵWY}tp?c&5sIk2$-D1oq49. dca5FT6IukwݷmXé_%Mg3mi']`\i;Nac~qbeiC|+w:f Z-\idH,;w*roT(/$\N25KAjdԳƝ,ئ'a[s5Wkpf& Η@j4!n}]Qw]'7M59{pQ\~n*9aaZf7 :֔ba5D_XnP4+`w\|eaEFNEA@VȻ5D8|R}uv?f;&3Mi=D(pH>;[ #Əfh#t8,i!q$cQiTq^yL2H{8R1ܵ4wݫ7PGj O{ӧ]~EFakaZg@J+fr'#4Đ!h=uvЉ'[@I7ɧT;gP:5]nay Y>rKg,_w낅Y]iiX,1{_%wX"ړ,]r4-+T[cR;- "FQc7,CA 8B5è 9[*-VG8!WzHix0Oߏ-Ip-XP|3 Tw"S>ʦk+7z7vמʜ, ֟Ҋ.0\ ˙GY,.t4Ti(|'n1U1 ⍡ޥfؤrUn>:طBFWbTṚ@u|ju+x:oCzqܭkq 겥̿^"A@wwgǰPJkr֘bI2]2MOU5CRĀ i݊|߰Z%{S.+wl'qi Jͦ)$:3n%9őB 匙C :.z4$Tp6`k<_F Zd^4> j4N-8x #>=hQ_ $taWГ{I[9pok6혠GT.g`6h < sl VT"0s̨owJ'0K$ɍ挄7m22;>rtMЕԅ/$ V0sȢ ZS|[Qϋ@5exp"MØ0|Qw@fkx:ޑ.P~&i&!#.j|Y C8jeT񩌔Ѓ llIԿ>16^t1;Тo#ŸӑLo r*o\̩B@Õ!?H)W:|Fg+4}4f5#vk9U¨ g-y7lU~Ǖʥ(ac ~os }C)3oSb X6ƺG.*﫽WLۇ&9Lw}e'l\Qw UoS)&ӫϤDA1v"~pEm4Tk*,(n/> u?,%h:OکAէ/oT>=֕JsyVj5hJY{rԀѡx;78Tc<^w aChj^ne]\3jGr#TTr!Anh{ģ ݪ6-%̐LCH#E/I&:`7K*rXF.;U'q6| ^}Myܨ/9tIa; .9"vnC^nv{{/jtO@GTpo7X3vBVjv–ϑ-2&e_.D4H2|tsC5T|X;И_m6kA6لTXހ+37ᝌtM%bHU$jd CP|^{ QpjV!BJULtig&?1{?,=v%[P9wN{ {ʞY7? gX9֣cVB4uhRO˳grNr 0ƝS=WFp*c/=3nk"V9.PQ[[]?uu*= Bw8|$m[٥@wԧXDϘS ,Y~VZ:8<ӉIR*k VG S|rѸ.\Dyre_lsIQY= )$hOt҃,S۶ZY]ΌZ)qmV?3MZ,{EQ'==u4`Ԝf!y {O7bCFH\W| 8\'y[e24~CiWg\-q[6¬l=jE48KZ^La7*}bF1~)Fc9r833t̫j8{i~#3>RwYfw#,MWnvR1mt{.V^T>IGvQOw_IɏZ濫t|9U8QP5@=;?!uo.)罅۰R}ˀ+xҥIiEDWu'y;/Oɢޫqٙ5 2 +yEXEȉ'qww1S.e8['(dj FV=4=~ESu8 6dKӦlnŧ =P9AO~n: rXp, ,9#֎7+&:4`za/ybwGI y(6 ; PpYO<?BC)'(EF$EZyٍvj6}"q `S#!I :Xut66c$:O > JCwlv)aiWI*O>̞/hZuQm?tutspGP|6;jYb0 l2;p(#$R+[p^ߪayn}HW~G\a|yӣT9pcvliFfo+Tc:﷤8#kj" >PM^!G苬L_M5{S /tf&[hKS 1(z]^Kں'Q'lS-x+c뤹1p DM:KJEhZߵR~ Ffvh%L$~zKFygbYf(%?_QwԏBQBtJڈ, bv2rP ߶K%2$v:ɝ)(iyѶl<&^U]/|lP4WJq30Я Tttή|ejza}DNV۴(ľ\jK,d5d_U5 c 6bz<FQ["MLGY)7 $x,vU#ՇRRF; ?A\[pzD1&*=[d*g)Q7LQbm)?}Pu>^wYZRᡍ'("A j;&ЯóR,+c'h!cQfϖx~֑y _Ke"UN-rJA(Ve|*bZq2t oOUH#Vnn[CtLf0& hq o&' ~#J-3mR>I܈DSLK.A޻IJTPzr"6UM[Fcڥ]^VN1 'kfiïPޝs`,9X=Mٯu+`~Ym75xK&`ǝs>,xI0O/e2sjOZܝfG,,LN ӂc]Ө>C:$#mqOXbVDPRߠ⁴H#jȥ2pC|(TVhis3Ef,Rm*va~ee7 Ry؋o#9 xD4{zUJ< RJ]2f^b7P)l8k~X\'FY oo8fASS@tNU8+>tZ㧒 _۪Fj%qXGO8"D28pAlRAxwl C L/Gt/"j-y+b:ޢiħiY3=VI:)gV_U\?`Uv|tK$púH(iJEnQhaˢ}d lfY PG?w̤Xq;=;ykaSu{DwxA!$! vXMύ&#$~ױ%T8gl־U~>? Z` ޓnnKL>vƸB=ݵщH/yA=Fk+"{D#1Oro4@u'6UV;rEwJ'-&:Ft6ww=QwG`oׯ>xK :d}X <.HPJm6D`Ob$AU1Hn {wGPӰaB9|e;g $0]tX~=h"\3sxhAtu}>0^UKn1Kayl6i:씬輈| *Q  a |%Xc - 9Y}ښcn}54Fl3=M*q}/75yp\EPD6`cy#I/CdJ}EC*;4i'ZZkq=ko;(Q0fWhA$0u=5|d>{䦏Qi]1pi4%wh?BVEեbU% ,(mKn9ՏS|XvYyl%Զ yl7FO )%=ĪbCp~X<9arv}CjJ-I!.0 pB/|t$)&\N4FZ *ni~kY:.9d Su.-vdt-t/Skt8"SY{`SeDl#J+ 8sɥvmӝH=rֆ nukUh=?!#Q]~vqe!|پz%V?-IŠ)rsN QR5F;|fULq>_0X4q uQQ}1_iwRP*AUۃ yZch{-_Я2 |>,uОi%cDiYHdXe5%9CG<:VHDT#P\:L2@ځ0dTfGH8GhT˨_Z37iF4cSEM $|wjaM%T`m" 3هشX REl@' 1L N)n#Dub9JP VFNF 1)!@׊ `(:Thэ}@HaZ_"O[j"mKB=hKk0 r}jIߊ @I'= IʢywC UgT?>kO"9|}t;*z(ю!}0 vݟ`~mT'm7qUK$ie,+ts *]E^IiM ?p pY s/3b w$\lyX<ߣ-ۈ % .}dFLUxi=.e_=6!?@ ~g*㛨=?xDz*l{3v*ܘTX5AFC/9탙f| HA{[CaI15-m }Ҽְ]^o Hzhiҡ|R{n9F{m1И|BǐW1]dbJĕ#dqtcXZ1&YN6/8P|ţݑV:q`KOƋ!^v# "S}NDh%S~$bPYIRFu]S@Xx8Ff I'I^;OJ~$ [P9^][=d p 5^ 1{8T-yvQ!Jv־T%.&bljd'KP}늣n挞&G RKD#&-.GR@EMMJ.\xJ;X\Y\Lß2k `4 Oa:GWLW(Ye'Cz3zl=r߃l^AGF Ud _]ۤAHnNgWv6ԖMjךwtn#dD[(i"mO)CRYC~Y#~ ;62d&Lr⽣׻`,R$,k[f6`Zku/_|>7g@?Fa}koW8R{YZ2ֽPRNM^H$cJV~/^"1`m`Zԟitđ_ ]pqIsntp*YZO]ufEMisƩ0fDp\H%PLz8e؀luay/#qdxjH P9aL ^LQeR(ߛ4擪PRR`83B^ҿ|lIsQOoO`]2֒nX5VX?_>-<@*?bX_vYV ֑ȩ|e_^s9 jA  XE8ݑ&TީTs\|G(й- 3$xn$3 (2u0DguPA'C[* 8E*GA _>EKFY BuM8ny<[rBOWnq@`N\q9"pkIh ؀ &IHFqEKT3C]AyH9ՃGt=jQOȌK~6P ;Fq ?_6v^n4=ȽR ^; ^Ux\_c=&w}XRg{S6jaJ yQA.ԍr(<=7#M>)?A ׇ;x:CȎn0SƔ-MU&}9^s&uB.tA2Vo1C *uB (Z'iZ֕U*3S\NQ> ScE`akfǍk#bL:Rbbgfzn{gے~UQʈxk{mJswC"yF<} c||dGg=/Z\ zeCm4qIwƏ^IiCEs3f/>,NjԨUIW',ܼzPDm VV ^Fz nCU/G/ұ3goMnU?AeLX,OT6ܕ̟V&ծuݴwk]:7ol1cG,kA9.1ai&ۇgB5bͻjP\A}߫PWD} Hwy$y 4:'@ҎǿK/t] QeqYS0z AFW{^>Od57 "4-gGSp"hN)f Z/1? O/if$5a(_s^Kl iɣ:Cou<ˆ7|n'r~Wɠs4TYCbNe~|L/;miFYi!}Nk*n48^k5lxȑE Ѧ4>[5vk#? z{C(?\ӟDy{A t[," $Cj[PG>3a.H y@Х!H8*8Z%\РSNxsZ ̦<1zϥ#(´{J՛On{gNqF5*K}Ip*GVOQ@r.jTl`^F)hfgmR/-Z,yL7[,.C)v1]e%7,^,>}dbG$bI뼅͹_7Zýp(ΔD6`|*+*Ŧ fkѿ{哘CImk 'I#J{ :zU{RGM_qT'ްG-u3Ku<~5h&V+XWE0Vr HdI2|ZndKTWfW÷ :F!ɤʿ01TS=iY0֯H?8ϙqCSݮDwŘtkD&o~6}^@7{">o͵Tղ"\ q໘{Xp&W]da_YxORT4 ~O4raTo[ݸFݟ q ?_a9OCe 2pyK ݰǩܾFyP2?NaBeeky~]gI#rybrq܂Ev ?hH~5"wM}X DZ!ԓLk0KD 5b~ӌ7r Teν H [ع Js VEp6_;Ґ.и]05rÿyWWy{)(O.&Wo)Bi~.m!$Al0(v#og"NQ-w6i)[MwߵrY9cIBm8 z qN./Lpsm7P"-#ەņ6O01qWT^%pLvcW\KkG]5A씒Bq)fp#ezRª㑴70X:0nE$1\ݝ|PCć7 KDcLN0.vtsfFTw:oorhф,L4-XPBOV滜Bs@g[O2SKkZ$2ylj/jV0e}FW9hքW{f<`Yc|6pN9qck0Øv>Т&~QB0"Gz *[<cu lcuD>3V=k۳yAb+A2bb-@ޝ H۵޹-#O-.A9ǘch?/ bHh b SOID ݴS -DEfȆ"'ǖ$G JjIOwVСKSE7D~EElD<6]NYOjXy_,%p2{ma͵D(GKI3Kؔ-5ydvE;*a;7>%N;5Iy5@r9K7ӇǟAPEAGƮT>p/2_D߯PR!%J>e=KIűhVr V׃c펦rI@ATudlfO3 ^$X{[Y2RRThP&W@}*t|VSSkb.]'`~ќeò3Y;*_2ѓ8kHK)5G@w>^5ZH-&EcәYv4ȣ;W mnH;}$u)tseU߉ -bf &Ge?ў9"hG}WJ>S(DuIjFmvJa TAtʶ qtB"N5b F ~].Bw8{Y=ApXb*~(rR7";YjH-: Z~c8QO( b3s!ZZVA4lr99!W!+с`}CQwuC.t:.'oo§ٙe#Ԯ"{DfV?-[|%|tHH|Ilhߓ.* v&8ΐ@J2ЛN82EW̙c%QLdٱgYZ _-Q!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/files$AFP/Ordinary_Differential_Equations/Ex/Examples_Integral.thyL-Q-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/document_id928; -_W 4HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument/Examples_One_Step_Method.tex7zXZִF! )0K]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( H 4˭̒}.QԾ׭Ϥ+迃=%!QO5sJ%1a?TDCfƼ?/1A!êI=V h5#.munOUVHv.i!gZ>KpA4#:,ɒKgnuVc ]<2,AAg56SAUjwFWfN&Wj KuE ^*[uv̼Dr2@_0s[`O@*ļ$,KΕuPLԮ$b {&)2'-tOMsy-hHp \T)wXG=m~G_ /<3 `IG?=.ޥ7Q[sċCEZyP~u% ) U都3(8jhO j\c=zl8C`N-y*nS`zW8 H T{v`Pò=}ֳj hGa [%sx{2pz6ₘ}j\a^d/2o|-aGX'hĽּ7ٝ[1P%3E"TN5&o%;=hWkRS;e'.ɲjN~cť=j,`)z ([IEl/螣˫Ǹ`|' + 6r sW|*ugk4.9`K. WݢwM@+j18l1 k XC$/OLD/n?1`zM\]LT6CR(7~؅+ΐVfJ_0No=CVZpAk:"R&qWx1]:P.̥+%Y尹61O6CDL[8[. ŔڿncǧJzk$:0=iL0nGtBPd`jyJ%;r~DeDBڔ:!w[&M[Q܊ي! ?J)[QETTv bh$2W<}d%>„v6 NxL/rCƹR՜ѨWF}z!SLlT (ɱ꠱hXiK8[^NxNcޕquT/vӝZ]nejEhe!G;=}&-j]9iΚYBo2=c|CS ޴ >&T_oPXblxol–OfRtY:~Y8>E 䐕&hRZҜ(P/VR/L ܸűX!keKfo9(XJmg(D6C tP۝Y`Xszt:hK#C+ngPGAÝ I8vq !ʵH+~Kq~k%:WySF s'; H}A ?Ǧ:< $e<׳:1LZ4;VШv"-AK9.B̭mM9]@cאcĸv`NU]@DݎQdpkI|6sU U?kB-4ŒLHbS䪴jrS9q``d͉9Iնanqa_i$QVX,FVsdFdqJ!)rf-ux~YN,uNHsy*K7pQBOn,)̝&F])\‣l/iu$Uj(=}N _ڡT~Ì/LR-n?^beMcB4g~hU=ÿAW//G*Qw\Pk1Y=ӭ7U6 LQDiA/g6QLM#F$+VHA+ʗyފz2rs[pYcyii`v_sSv'ɣF@05E cHӠD zlwgp3z;o؅>J'+m:ySU7?r Yh”;mp|{?XoN!No7݆;cdw.⫾pMmrEyv6v~v_ jw2낅6*!,la9t0.j (p `&bdZ#~E^ŖI3a]b۔l.Wvv!ct*$^;XpШik.'i_ڬ>9?%E^\{ <`5X)K/bB'o$̏nG<@z%{NYf/+x׬mM:Ǩ| OˍJ] jt¼qŤkFFYGfDaٗW\MWf-SEGHH=]V5 p4U+-h5ɪ+I^>6K耻n]茯8?,H逘i\VY3 ova5NI*ѡL]M-wsiymVc/fzh×ƙĿ{],y{;,65>RTx /;)|7_!'ϐgH{/f(QxZ5I=SvP^7$J(Gn6MHeNjS ;ILXHR7q;hrծ̓ZYo35qDYh^73<}}w i+ ߐ35FQq7 y#igZ0%lPMxUI>dʙ|0iQ9>)4YȒyBU8w$FO tVW3&eg@א*Y|8΃\QVRh-)w' aȦT[ZsS@LyzWgbn1 兆-}pDЮ @Z< ;#hיe*לweJۀ@6m'ˊL6a)ܯ =ԓ;W^`^eIlԊL8 7W&o:d/\jYYZ@URq'9u¡)DF ++F(F-jF]= BVRRq6|x+Zz\Pv/qb5)(KO*<;\5 ܛ7sGˁY}l!nR0!Ztye'+:CYդ_m%]~ˎ`iTϬtcDy߯ñŃ6]f7gSͷܸ+< -]t2 6k'"S69p\ۅY#ش>a76֍,`)sJ;UynȔLP J1M' *2#A7Q.rAϦ/!i峙H_NWN>6Y6îhBqu!ZWjUᄔe-wqmCG\ޙÀ˰4 ƍ%TGhRB,]b6 mQTtL=N=ӛ#ˬ|]bQ 6ցАt ny6ַ*ۃHD2 {)2)AuCtT-mY;P0ReXq06"~z#Xt5T\1*fHWfth,j;Y*NѯmB_ZiCU s'ƥ"@~Y4Aj@>^ƇOזˤJsea+i׻j8(cLZM2fq*YR ,K9:b] *blNG7S2ؑfߝX̜mskś_ wi#Ҙx^)Nw:IJlΚ \fXY1WfWnHޏ8q³n5#ƲhWW#gDfr=A$+O-!!ʹe{rl%-5.mrqP^5'3ւ/fԇNx| Tc9vhәUjVG-k҃M2fݝ祜@a?FE |yT?S <d]W0 ݎ7=}pd:R cWnTQKԆ?xy_}$LmoOr̓\_FyXxq2۩:Wc5Xa6pj,=)R||{HܻüZckر²PM9U&T`&Dv@g8.BmY櫠ٸN^zTAJbQyx C͵}/vCZTi0k A(([N5Kc,7KoC Oui5ܝ?8r,}x:]o<>16SwGw>|?Tg ~ۀIñegZ,4&taMJ9!qv4 򒔅ߌ9|tfŌn7 \D" >\ L |D|JYTo[=mt/í&9hFt`Gq[Q%9ͰJe^X8#WA/Iܗa)SrT j =a@!sJTWIR (}ԩLɁvod+lozuF^NH)/#T@xUE>`rBc nAHTAwnAY:)0:.7`p=p=5ӪR$n8g g|0 @7*R y pFd.|AF%zx#>M}{!;oOԂUm%fk#6u²Iޤ&1OevyO>}M:Ve:v~Ȱ` 9E-(( 8߹<$|R Fa5#3slC7}/f.9yRje>: v S`* zLgYZ  T m -_# |HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/markup7zXZִF! r1]:F.o,)h/i|f\O+hQ92Mͤ"_OH.MtW`DQQm᭠E`rgݺ7s {6 =l6 TQ~$*6qK^V r;2.O~5%+@^=*9H6R.sKk|7Lx$ WvhG /7y}>wu[kmhXTn%WM}c"5=zmeCa&"x#ҳ+.$(%zE.ы-{-0F=ҚQj쇟}W0koz^NV+< \SJZREEHPkdxtDBehӯ8MXm@s-j8 ?~8Etn';#"6&On5ғcsj&G6"Bx^5C;.߄N?8]k5;-utrʬ7l/ Cm#w;1H1ۿk(NY[@L]jl Gf!OTP r|e}"OwQ3p>~m5`/ߒdGzw>wG;,J1&vVh<%-bDzݓy,8U k:gҐ Q.F?פ20U/ue>M:mgQ znԪM7!Xɬugiy$l Ժ. -/3⇤,U|k2+N?'dS$A{XMTUtYOJ(.% !I0!?Z--ϫ+8\ A"$X1"0;bO~WG!:0|.J`GU^Y># -_!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/files$AFP/Ordinary_Differential_Equations/Ex/Examples_One_Step_Method.thyS-_-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/document_id930!-Q# DHOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/markup7zXZִF! ]:FK4=6AxQ5p"et#4dNZMB RL]ݲ&}cQ+c =۠X7ipq<3gj8kxa{|U1! rUD~Kn/yJg1n1H=>Gx/ģv_ląo̖wh=e03hHyB4/bOO/賮>Jӱ"C0%y9C٘DjO~w✡z@) 6w<_oX7;*Hm'L4|Er<$JU+uX?N k%0&uS"M#|yR"7Ssކ,$݆VY .r24aU7o,5|1tq2FcbDx~- \o!q#g;՟x[WZVwyAZ6񒨒AܒB֜Go[S}mz@Ц%|@ Y*=K]GHAuLXrx.(E[Pe^3 "~#s;!SLGK7571wA h#)݅/QmDS#vC^9&g8 V+M\f)( :욁\ѬwN敐YN~4j:M^u7.NMw9ȓڌcZu7 a~mQV VOZä:>;4 $na rĥTВB>)7/nW%i" Kym;tNM\ #toj\a.^n=$1 Q>/N0ְ6~,#!U~:[hQGD>4gCvvSQ/ڗ9L]udGQ-Mޞ]3{HA'7` )iGBݞ79%H'o~&(e"KW<4$@';3E/ }@,CUI@ۨy]5]>zwY\mpE#| ~uA>H?2l1Z60jS O36d ${UN00|38Lsi,rmbAs6o`zJY(QdQKú1%Z0HAӍCPsm>Dn*a)к,5[=]LJPoq.<;^eAp^E7vW kkSW>ߜi;F](0b*A:T$N ^M܉J $Gvz@…f{R_ (gPI{YgU!uz(<~Ы%"U8]4 7O+:J.-$x_aV鏩\JiCuHXn!u8Qn+[.^)Y6m<(^vض2c11|˿\8Zu7Udnz)-Č_vHw/ ޳W\;%-ETW{<"40(}w T:GvPn`/1ȿyR˒{D[li}(«q%5|pI< S@{bF$oX*t7'W2agy*tۮBIlx{ڶϲ!U߾I΄H@2@nINRx88 ls!axx+ <;\L3'tyGK;zUys.?ѭD~u5{({gZ9'n3S]yS$“C7)LVoez7u{4cjկ{^vI^g7SJ%uW4^Wǧ,$PIYưc,.<\KA,oyelv?83P.ZH9W zW^,v4?YUiC5:Y0Mp-S0)i)eXd|]KZ &/TΛf>ؕoaXVji@RO4JBK]E>bUóPMLN(RM,EQKͧC2"LNVp/ʋ*r/Z/vJLo`6 ;Gō$m] O.Po`2,_;+ttAs%&l\!wryBМHݧz­P]-ޝCQM$@;JBJqX9M+B 2] r-rRҹY܁ kTo&TMx(σ]R+d'xLU#,ۛS(>VIS|bo`p`uQʐtH'#֚5 '.Oқ;@9tGIA ,6ls($Z &RT h] u?bdRFl&O3{|Hh~}~,8ƞD}; wM42,/MaQij%t5/+Rz|F_4̓ YF ၵJkͿ-كӲJw$;@ HvYsw/BH=R!V7pa1ji ; Fr`\ykq1G2>!T{ѣ ʝeF{=_\(ÖTF;[6 zi;կد@<N)`+x.m }9R}]Խ^%p`2Z:Aއc8hHȲ =#.zTn-@a!ܠ{ 0嚟oL# (8)JPoE^,(^dᖖ )%vۗsy̼4koE_ep w7bζ[i |ԅo3=fy7K27;W7}*':Y_92~ `*֜ |i2o<śX-DyB@ AJ|Ѱdh2QBFث@X0/e@-f:`8ܪ<n'9Ѐ=Pq1!6UpN |$QWw+u$Q`>CNsu'1Pu x`Hser%Z|c3zӇ/h|B Sku~bZڥH` FQ6V/Gk!QAeũ0S(#;y:El0C2K3Au(ZDy̴ pD >ru1MCTܻ |}@7mkږXL9nj:V!xWteݡyW PQ%4q:(OfSrH E8ŋ11s`0HlׇEAgkƒzşF-%^:I8a=fwuMӕ`N3 a+ 5HO`$zs1{\[-# blY3IȠ52֛oڧrز@b9~tJ 6BH >sq$ Փ7GjccmeˡQHAcLܥsF_ $4-(xGEqCeїmb$Vo+8#Uv[ x"R:2ӺOH<7pŕq~tn͵軽ŸOQ[ƊYMk񞂕,/8Y~Y-gtL}LpiKWeduӦa$8of tL ^yb@^9o?K5+*CE|֣Lpw(\/k<-ەLS:Х6ZWH POap_=>1oHPx Y)Nlz?$( 蒓8>d wxn8`n9^1 FՁέ%ڲkgP"ISI5L#q+"`۽ R)Pp7!]Ơ `G\Is+9;?ƫJ $h&֧?w6\W )L>^m'af0_`h_.[PVSQpHO!}= GC #]S弤#J8_bNjʞ!ǽ:m/5#YM !?'yi'VpM}Epf/w eR̗;^3ݼsOB4qgtZtY6}3y^ybBZFxV\K8qO꬟wOd#0PîNݶ0[:`)Q#O St'gel73$Tq[N{jBUkfZ:WV.ؼy6@K (ઊ ᱩ͡o )rTBstA=4 Xaw!z:aVZƌ{O4 ;>-w" EM1Z53lX'NuS153gmP1'$2q Dtm 2w7ô%-\T* F}6k/Q!=JpI1kJ=8{di-W0ɷ0^&̀`"-HXYĘ0Bk =urKuߟ }paHHSf5md'z<6!!DI-jqZK(zK>շ:F^wh8W?"n78%cQ:\d&v5El!"b2bI]LY&j"J)9@Iee+xSAcXKp,brx¦MԈV}ķNf]ʭPܘ|3ZЈjTQH]f*. d0PI2<$w]/}VQg{@o58rUli֛_KN~ȕ0hّێ4e; YxSu82YBd:2B&d{ZN^#"#HKwՍa:-R/%wS@L*Ur6*.b>=ExJeJ$-p^7$p [r  *|2!i1 =U]! )vK&)#.؋=Ohk4fq^P+z 5]E( qW :2 =r9&= -?v|H, GD$f^uBEyP1&rK1. CRݔ!izt?s+GYm*+G'n-΢2jbuW(YyAwWd˚zw ꭒMS%fМ)\cEtA= w4gԻ "sh' #_/8ABxUW%U1JvfUA,CgAyr9G+{!DcXEP=t9:J S+%:MUҋ>\jHC퇝|n\E<*G,5VFS3$sש]ײngS"?o|t^ѳnL4 [+SH,a4GybUk1)q&?;j nu d+Mal@x*MLכ-kдxbWE0y,aNZCrg`61'dȈ)Q_@ew J3~jOE _;)Z#Z0BCcVhz4ig=7)V~Xǯ-R3Pmkv]8CyP ˞>QYWW/I%aK` ZyĢ̳ͷ$4QXR־>ynRXaN&츊DiܢQɬ(45>ܵ Ց]F`g=gl0ϖc k5*jqA!zZ}gaͲϣ٘R s. hn}ňo}lW/?Muw~͸|ZX̧E(dx/5bGwG䤖*Prk?7_(Hq qO~%̫n${!fa9Fl9VYAwbhy4da^t ,lB>hri"~C[ם ]vߴv*/D5Q-u"-b6#*?avM7og#JkI/I:#HgE"NY?[֠ A0{`:ɚ"VuH2>^.»kI?yEJӨ Su_"ܞv G1JN CպOm#vm6}@AuXdʹڬo4iAt^n]*J&S1|@>v=O.='ҧ.EI#CULHV-|06dF&-5*Mx\A"%& ΖoL6d7v s0%m.΁#})FTa.]:3ЈFYyD2W>)϶DXv")ic8~{%WP$/~-Kp?.?>u VN!]o=c@ilN1/^h4`ę4E#NІ!+,MT :01ˇ0#sVllPQsQi )TFg9r5wV < 6>-%y琜tPj$z ž`Co\Pc T\k=ȯGjʹ %  D3qPߪ@v\CTȃ!awRMC9##:o hּyQ"H Yu E= mLKt~"}ZlWt198`\qx58n+ ėU5090:og'Uf^;fxZnt̝U#B^4/R^Kv㟎({*gɕ} =l8Q6%yk~ux^ 1ڽX!nMBVOཋěGӝg#sy[AE(lBU@JP]h25;kcCͫ_e 07dHz_ ?Ea Rw'8u(|j4`Wi:nP6D"1U%[0kE!Q>8Wml#sH'(;5&eM4B{1sCb,0-ԯJ 2>#3oiFI|;!vל+3Я6+ˣ2Fk":Y~P"NBX͆,{dwώ H})|PmfTw- ,X%>IBP )_8Y!Dz/oөī$t(%m߽OߥV/oMr:UDS1G/u_Y*xΜ1W7jA_ c{bYf -`qBk_(\Hq7o/ j^6t? ܴC ZRG`W&~7l#Du{cNZ9Tb1 o8f2AN:G4&mzf $Y4eиm;gsa=h{2eL3"1ć@mUdMhL#Byte&2E<p m[hc2~0y 0R،珽oTvLGӟ/{ЖK{'LGmfG:}_wI41. ȑ-B;M;Auxub%#"Zy!*֗,wz^|]z*s_2q.G™!R %ڲkޛ-V~5'qO^7M_SM$Z'q$>qUKJr)pWYTpP>pfgiLXn)gpp֤p[P W{R:e]Bm#Yo^N+ nCI65۝ʠwAu5>@apSʨa]%"Udw:LEAX9Vs6ȵJ/~t,V>[-"w2%)Q|% &7 DR8!H%9ru*y=hG 냙<10E.z&.cY$)ط^V|E@#mrրv/ViI"跂;F$"_L3`Ԗz fsI AORy/k]|K 0өS) 7"^4MMO3Pe\@֖Ah)lҪR)1 {>ULKSy&eDc ON%k Ugꖛ zUgfw(ǵtfsx-F2pX'2v9dj.&'R*kMhVRn&'GiS B1AdKnI$,aP53JL~,*^'J9$~e_^1:%+ + `ORu/>o7k v"  VRbnwk |?XB$B+N&%~:aO4uي9P[,CUS<?FbK1z5GޯvwxFT98NNvD֜@ZaVGQfԫ_sx4܍D>iN*A7.Jc6<> WQc,Bv,@C! KG--ں9&:?CPJ_eN @U_M]֋C8cy#'MH -,=Cj!:ocÙאɸۑCgO&oȈ1g0e_(ҀM"t3))k}rZ[n,VuM~n>[~0JU<$,.t|IClw;h!'Ϗf`d7+%}j\JKȏ))T[f +bXp5vئtbF$b',Ǵ23m"Qz gen獽UF7D ƒfS<4!P+vFT@,d:"P!6Mj!Y0u{SSf=;P!J4lJKNa%)| VOJzkg})}?2)cjH!ʧ?=]Dv-8 &N˚TIEDpDn-7T;pVTˈ즛>Z2sϤ`#6R|/FGbV%AsN ɶll.7i}m a?qnjT~MsɻHDDz|],CSm撽lqGiS|d3~OE~\*z?ll? {9h ؄L;UjJi;!?$=>?,khrܖ! "#(st 2cG Cgh~haxw DcF&V_8A-` }q SJ. },8|~7!q̩ϰ; F++e)s;1tcWD3[|{ ,djYЎ~!u[GU>=s1F14vV*PtnvZh&/!`9e[Ld PAR>?#=!Tl@rϏXLdmgtj&n PR2ƏJݾE̪2ԮlDZ}3 O 5Fg)ׄx4|BPX\C.{| :>)CǘȲeAMG57c n aX(be+9'L[$0s:Y? ['~<مHr{˴ʤ%`AQf*N/lPGT#%W%h:m"YO?ZvHj<* !z 9&8iN\(^C_<'CB n56Ѝf^-Kb| *܊6r6^KaKjW貗F=V;7Gcq^~0pB]:'`"@o b1A,zrͪ,p r}cǦsk0 ECh{f:*US%C=\Ae&u*&p(䳩f3ey $W.9yDI 8cd"G(;2$aO4bd%6Z!) gZ vHTٮ"/&DŘ8|TEne.=+Q^ux=B5<*gYIjB;L[,O4-rJpC:1ףۣRX u~R˝1,.&smswd1AK~v-50i9xq:3A#4̋.i%b~XTZGBgTn{g-[]po[p#m͌{eUEM+,΀Bzf Ub{MpUgsJy|搛ZOVvi$՟PNx neJxwKo);:G =_ 0iZ63LZ Z 0G}vn_",>O\(ɋ5YTu 18yaT5Zș@WhAKrz1z P \TqӁ"G="$jVmqF0ݯi\ң^Iݟe,M%?kaNUU4f:R (k{ 8' EoFhy\|-5|;/puTG=Lw~|ݗdHUhW9}iJJW#:7( G2tñe]WhoAOB,@ŒKcEDqxD3c\_ɩ79cwېsqZ+ۡU5 Cq/QBLb[Ȳ]=/>a|ڙ%LTYMȋ!9G%PPBN$\Tym[se#Y{S:LGtr&"9@;}5\4N}mxsm^䌩l_j`f^-fG3uLۊRBm0ͥl1(R=jQ܆i8 (F}鲜BJ=ь0?|sm eteqpߞ%:}78opR@7E妠@^z";d"]a9P_ebM!ݏ?tUI:08D^|fxt{F/gCx4F4Vi1l'8J`<}})yʀB,.6ڞxϙwK&M>A*N'Ie=\X 2&r; GPԏx cNl1q!yI }aMqoGD{NͫT'!`dzAR0=uLga.VD\U-2"aU0Yqk GMpXtusn iutr6XG;*<ٓNŊ" uԩA;CCt4Ndp[CQxtPJ`-طhġ_fc2(MǺS"A> O R@!Љ[y( 7?Y>fXTf љ[obˈ|0N&m,@߯c傈Kge ==֘^D5o^54@6d \V(81lV^zӳn{ Ω D4ZV]kgÝ!-E+wh BG_r]6/0+dXҞΕ*;yaeTi##@M9cs4;Pεq!7ASO2dm, ?N\|Q>f!?8'ʨѷhkCgžkbK{ĸX=YG,\dO籯˴l BZkz$7cS}G`Th&;ȩO vll*n9; !@>hP1BޔУZ&wpw1|{{)}zr{AB>﬜->V~o-d/SPh N( 6xZZFDJŅ:ALBǰ0n1Q0^*]+"%'EN!љÙF9ּXKfX=@5x,/xPBa`zl ks]kz!jWKBp:6[iKK RDոGL\p2IjT?wi2Eɷ{!+Ȭ$=-༲ܣP5+xUm;C\wzI5ڌQT3Hצ X zȖ!%`vl~,foN'<.J2i\|T_w%ƥE6eJ| ʸ`Dj3}HAl\syVa*BiО)@Û!.+?T* !gtbsAC Q#^A9`ڪ#zּ6`b7AE3ǽ7wrĝ7-p)whp eӟ]Z֨c5d 0qo6_T_^)ʆ?D~˕_ ':pzN'-P5~{ז*+d-SM׻zw.77b1϶+` aKM_W,PLϯ%= &~/3?g2gT̤5[ߥ#l>rه}x0ox`v% 5 !YW&8;N᜕͋5kCh"uVwNڡ ҕ/Wg?E] ~W{V%_FbփLPPEY6Z6VͤLVfTJrtޜ˜}BBbnKB>h@)d$3A9y-x7.x`(=52B6r1ikůU\sX;rp36ed"_~x(L&St}k&;i%P sit : 3ci@H/(\Z{]Ln51GaQ1~`:LF7A5@%ޏ";[;Sw ƵuaU$NGp2a#eK {Iw(tDҸΆ޳Fq]h4lгWqpTm``ޟTȏi҂LWwm9ԃGdt (BJA0YX lPpW~1N)ܭsаӆ*( ݛe v~ژWzObN0Lt%ۨG?|F_@' шxۮLHv֟}ӻΪ9K/`:عsoZK#(Ğ]֐:צ(n@qD{NI!9LRo0>< Iǀɣ%R,?^8MڇD褐0Un쌂hZw x"@ؚLmVpN~, 6&|U饤&V6=%^6{o kNQCU^("$e0"ѫ$Y]"C44gL =C'H/&|NUbE&&yvCMtuVG=^.@2QBl?[3As'ɠ3"I2ˆr,sy%{rr( rF4z˳"qJ޿āN PFT/-^U" ih0"vYw`&7#uT`)v:^.v2%La-SSzՠ30oO巵+3˥oPq ˈU0,c+!vj[K'L-w\fi\m&}̨SJ[Pxr JԀD jm^z3q!)FI6_=;V|g!p/ ˵ce6B^3LGchQ7aC}W+ /dDq[X$sikxE;B8&r#Q٩(s (]<_,T &rвT1;D<8-HʂE`Ȥ]S}d. UKUrnF;?q}D(5j \v0Evݵ#ʘrQ睂6H ߹>?mnlěvp T%qWbKֽ7$'&ihش䤆U-pcTAXͫw\$d\SN2 o}@1/g2su[^Z:޸ k.ܚ2O]ƳkU~yFW N xyОW.`IA@E m[T;\ Kx`GjR o!TP' L͏UR~iu$SdeuJE>: f~8 8h(*ּ}Wպi$=8> MԴL (pͨ_-jgTHx1ORCrQ-D~BfhH:DƮ3WU$EJmk5v_ՓM ==}ÈPi^;=txy7bV&&)<P@y b hu/ޠ,/mnSh_knCcO#ϙtWj tz8imڜgbav[Ⲩa$]@~+d,SkjBчv/Z#@S"%ig)D>:h (v"NV26F߯[AFU'rŀJц6PF|_4 MA-P6\D|;%ԀgqĮL/j\=Km%3[ψ,Eܬ۟״SHcZ\K౥Yka"K72u2tq q!+[ol3ΡPg{I5=1 Mw!3>$e=tq^q|Gd@N:;I}ÓBdn -'{,oҕx̠6g'#' OGUv":(T>QK#6Ʃ`(* 5HD('凥IId~H4 ?8@5 AVKgkaZrr2L7ݏfc^T^r5Gj@@Y+ R@YK4ucS!Fy)`ιYrݣ|ަu%"R9o bڮ+P} >vqђ&kw2bPH׊&4X_`؎ֳn'js3b\߉034U2”}R<@1tQ4&O{~DM[kFI/OO l^/!nH;(5@GH#6=,pC6um "8G֤)h\ać|[Ǣ-0ЩPf_pb;6Z9(0=wGΔԀFQAC;Ϫz~MJ8w)@EpV͠y?˞JJQ~P!];k q3ZCK zodGSY-$1 řyډNɗ"{C N?QFe7r:o+(gYUr2:}\:JLNtt$O^)&Tq4B-.)G l$|wR3 Tur9I3 j^J_@|#\ZGmR _x =!zϔ/h}QV,TK\eӫxrk9Gi"42%4q1ޝ^`+#K{es.)>kJMT, #^FkYj&lOllb'}N;" eLSB;!z/䶸@ ).?cPYlV.ԗIFIzO܏=3 ),e^soXb4SlպW: H53 iA,.jMB2+5vΈ/,A |ϑ ,nlr]0Pxo5 D6FP1кu.upPQ&#Lrz!Dz{CmN`gH?ΰG0 DBVBz,i5k"zϭjl{tJq3敪I%O+8gaHcG'Z*Y{bfr%0nxE:숖\V~ޡIIII PS)y}X׽,~BfwiVpK[ f^9ݥ&njo~ $ŖN##$v?NnpgrFvG:a`E&Rz g smz,L'v9<xZYޕxnXvVp+C']73Lo2J>L!?¸[TMAnyḽǴIر˅ڀ]k?˜Hw!AK4C KZ:G8BG2@q~s7$kxPz?yv¯v&5453%j,ZYPyJtA0)vm]Ti g70- c5bff)NmHd޶K-Wt,N1d;r;a2 P{P:H]nPNI;V#N#6Ni[m06t  EOMЩ!ph_@eYZ8$|P#_0C|e1$,pY-l G\4Lc{Me#Ze㆝RI)rY`Dڹ@kc'ï̭U}VֹUGw 1Ha'LsgLw sQ_l-FpuHV')QאZ^q<'a`[`{PW `i#cBx>]Z[*ceƅnL̃Yd{2" TpR骊>A7 ap 8ɕC[ϜKi2_'ICG~oLFgͪ!ragOu t2QMp.){cn%-ɓۘpunƣHHHo*HX 1MGq3Ń*? 7+ BL8V}ڿ8A {g#My2A'+Dё(BSnOp넽9EJU]>=V(N26ic|{‹g Ĩɐ*pa L<,}yb$#;kВH>|:bF9s Ss㠡sz/uz)r+i 6z3)&9^wf8ˎӼtgr˗HSDpu:iuhQQ`3nXCI< {nݡ).]PxՄvTJxHD\D Ձnۥ#2\|݃?3eg',d+4m|*HmiF6vibV%@O & ڹ1 `K!,A{ņ?&=![!k8SݶڕOa^C^D])ޚHJ`JH> N=!(4O~WOLA}Z3STVkSC..BG럜ѩ z{I!)/AW2yj ;zEO"3:$Ekx1j=ڼ ߎZ"L_ۃ[LgJR}?!r4|(CDnUjۼX$砦4TM$M+kzT?`CKو'z?T[-3_h4]:%zy^F(;pjQ Wfw$@ҳZiU3@UBI ?[ ̬7ŝ0;|bO'xX;hJ]l0˓"|PQ(:'k98Y'O)2~ [GG(aI Q/_RMw4@sGrNܩSN]נEC]=MOA.pvgcKs%NfD9oT7_DUW "#^b+ԈfKRxP=s=5?}Oݦ|Y+z@$oXQ }B՟Q-^dmYu}Ab $n-L]trjmߦZi[9QWSOsզ㒾)57].Sξ`{ ] uTGB -T UPi0<'n9:Ĩ56 ,KZ3foJ-Լ.t<*(1N,(`\)::]b7<jL>"5 G*ZB8v1"1s6:tz''B'MiˮO3-3Q3[ o 8:$:w n {LkED~+Koau JzXdϋɆڴkě(ş ֯5*uSu.haupN9T ֗@`zrOŊ]ƼgeEoa79-Nol 0_薃͸w.=jD@ȿןluns(*9GQ5)ѡ-^JDE NZd)R Wu;-pEd(܈Ƶ[~߅8caٷSP>aYHTmy$7p fI<.|q mGmk4TbkC)\CD6nzѝ,/ `+ˆcB,eHgw5/uל#0AqQ:r!2RG2:aeD?${~+k^s u<*<0u/"+ll-CI@#f7NY tN~pV}'ʽEpqЁ)wS=qg$z QgM Xi]TW"&E⪒SE`߈7MvQZab;yOM%g>HEP*TERPgȏ} q:ڭcD1Rv$G(=)HTAaaK |]G(B7[ 3UUVMbJ^ղ ?0&,fp҇ qz2ژkNAHzhGl/{ӱSψf ,΃ j_Xxn09H&{«-TмW7m* |TH&ٓRDbRcלAfP!xdWYo]ʏ<;r;G[ͩ0`2t7aD7Aq2ڟn.k-Cܛ~P(Hʂ?hmQx6v WҰBUul-RoC )#aL}f%`^qJt8u[Z=gEVh-`(؛Wi˥"!q%hNijfS $9 YL_`chړtEFy۠A)Y Ȓt~Il|hZ6aMWa Sivsy3X^-hYNb"H0Pٯ=IX#W:MRJǗm˨OvΞI\qR՘,X/y| ^G*]tխUa{tt -cMuy%oz-vsBm/&@\@_XM#Ta?WTٌ%\׾&霗Z8҂k`/ٿV>4eK6(l˜$&bGt %i2/u:SEQrg6:=[#Vl(S QԈG֑ ~6g-}Œb[_JmCJg>̘uO&C__j.8%/yxh pDxE9׫ g ;0YZ a?a -Y!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/files$AFP/Ordinary_Differential_Equations/Ex/Examples_Poincare_Map.thyP -Y-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/document_id932> -_' lHOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messages7zXZִF!  /]D?7 {?:fH\S[WY[ۻz4oSYF|z+GlUjrI7ƒ*w]λZ8]„_Psm;]hO頏5I78N#ƤϛlUc'Ҹ GJRc.Z-,YkLʪE!H-X=eHm<*>/yn0R_AXG-u7OľTY:;`~6LeݥcJJd<*]NdP@:S>22N6Pz.ӹJg&XZV| -uT֐@.`5z:} <_NV[:<\AU؅N'ķ69ͩE @ ك%8Kʢ)AnooU(c9g#awhp/V?3dHmUp)7!$`etdȂ_?5EVn40"ygCy ik}R>ލ\ %Ș([4M?Kݩ2Df/.c@cbA'0DCzׯ[ZG}U1eVBT7nn0zH<PG%x -G3K%1h׼+oYN!Ⱦ"uMZ R+"%VK_2EKDyBٕQI:*BN)Οfś+15HZ'LB jfO>C|(lA>e'Q `́b߳p-*J2?t3e> djíxmbJgwkZ?u1ME-!m=JVp`)e/Ĕ[.42'F1;iWʂEX/}c,ӎ'\6]5<9 p(YLǔ)u|o$ /r*[@/37#!ۻƁq+,Re;sv|2YT6ҕ"sk㷓cEp-: d'?a0 }&X1PU%ӻkrϵ"ӷ[[H_Am/{Mĉ,­EJ :<4;T)K5N<+`x"0Q^ˈ(E]7,n*h]bt?Q& /"6DW~ޅ24ZQqJ~6[/izHmDRJqA߶꩐حs{Ӽ}"ȽIeZmDZFMj:olFVS]o-CNֆh~y5~}Ô9]*9"ԎH IZaZP/9vz`N[Rx WR/AUMҰ `|llJEJm==ۗCL@)'y5ӕh1 dZql ͼ`N:3zp|qÛ:A<!r$_`dqU2#jJj>ܡ^>`p3\/,rH1FIM~ee!g/U(43-*Bw)9Gыפs&E[A$`nbѸ]ܜ6~xv Y 0ƴ@bWՄYy/y&3ĸ^֕V@ gޱ28q#ĩ4qAcPt6;==⼂&:.}X2aYuU0xYfN}[w zN\Y#u0kOo^;,'x]5_;0 87?9nLEOWrg4qbI`,dy.jSBgDw̗)ořvPرXa<#>ǓP R:X&+JzdX_}W k*,lcZ=%]14O]wvQCK江`ynX vUPQ}lfCXApSdͨV宨Șd*oC;^u',{9DZQ}i樹c.n/(47s3x3xovŠΝҮ[1$:BU("xL B !ٱmk@cB7s'٣p 08NpziB5a_Sۅ ɴD\lq*tdϧbY % =gs[VUѡAS` ʸ´eS?BI'I=͎r86Ñ 3>eA>%:r CӌG|AΦߝwpqp-͘;ABgH,0$YƲ&Ur ]^˿Hy1)VsUZnWiUdypc̖'rk6W&2lK'|q[ֽjl" -ˬ;k [MNB\:¾6(ŝ宠4Ѥ#` șW6F+J澕 ZggYq#N= ׵6&fP9#R/b/ gᝦ&hwNQ˧ <tb!z)`%מo^(꬗Qq7I?nZfpfqKvMЬ8\ݧjk_1"ɺ …"RX~^D"Z͸>WAy;JR @wˆ6t$S\X37U0pqvTW;wkA// J(,>ymr \^ HPw&4XYaScyϽ5iSX-̧g֋H^U8x(t1=헪"or"z[A=T֐˕:ZʌIB??C-W:0 DDyY[릙ƤR%KP&ɿ35)m1Y%n0Z^$ pƲt/RDT{9 "=7|u EGsxǑz] U| 0LylEՒV?9eu.L/S/ ST*Fe"JI`NM}D[Y50HY[дO>6;l=,hJbon-2\/W3SMSBM<$*Y$Pp&N{QY8i}yE*mMֵ(S#M'( 򑤖{9 >6MO^tf2V?ҸKZ u*%egN^ăYJLm(r$T.Gqg~msyUqQ  HV3dAlw`f{$cۓ|lGǸr(`3\QtHy|Dcdd~xcXȐ8P$D'b+0wi&kk$wYn/wb!AOTT3ᇬ\@N'Lr< Pյ7KW}VmBKi\V$[)*qP.!*7һ=HI[8:ܥm_>umI(|*1N ׈G>_\,/φ72W`* f)D<|M&Ū43#+.\`ãk{ yD.hNkjhƮ( K{`0R>v X=QƸDye֒|1M}> 2m?&`4, צK 0E ;`v1,fe4U`pBMt£ Ξ [2aHvt\Znb[q;g{ !4eiգ"xi#Ml5%b"kzؖXq2H g1̶ B0w{[0XIq#ODts?];]~C&ZH{yYNJD,C]ngMq,>cz0٠JVy?aeUEx%\Vϸ*JLqC"lͶ=}bAli1a ߒ S5+rZծ[(.?9Ƽ>_M}<.rDN*j7+[nڞ>*u;X毉rj_d `B sFf]RS]54@=9_RKHZZR:L^ Ctd.>~ks%+`~]J1"T˧磐M h,g׉7I)מ֝NIOI,XOK4WD~rP39;Im-}$7ɳz6f<਩q,jH罞z^tKiJ`nl˝rP̱Lc/\h|xZci{5#\Ҏ/]ELt"i7d@33wbq Zevd70s2Nv'b@ MEAOMP ВdJSY.5ϮDPr#you'BO9/NOK~oB!,sKE~Y{1UccKfz I~B[`[7X9_yfsbD2}ʀJ:4ԢڭҎ]S j٩'*(e;I؅t#/\Nc&N/8g']B|1*gUh:ˠT o"l߲c$OZYrE-;"=wo\ #_U-G [<>}{+&dOO b`ɭn`AvE-sv/84 :u@Sit_ę k),3va6`>h ;[mTK߄,S]@DӇ|/bHhF$y%b2م@yR@/0XmiU}UF /T`v Ro|CñgAyb \ ,λ[t/t^zEjfS,qˍnq, *бyw0"xUɂ,`엢.'JCY L,`~$}yeL(qȦkcnzId|$:`Yz1o?+3wo;7w8u-Aؕ  CfrcL&fox|l9Sa06.iܼIS0(Wkp rd>D TJX+RMs].Ew;zt-ǘC WvyIXCRu 4XYI 0Խcp/<<|//*!yRGݦAh=m_T1lP~oF.NM-j*;-SEPp+Sft# wJ#>ؙARl['ef^Wюap]"Ű|ӵC /AӡoشÐT[*>U}sGryΫc mv[{okzsxx"KJд6O*GWE^Uz,gs){ڴ,bI^B2,.=& aŦ†>'o;?wl멉&dV>]h0| 8S7Oo:I-z:zOVg,uЮ^E]f9tB5II mA$L[?VN<ɥg//~2m`I-\F| U&޶pY8݆#ic̗]?m"+/YtF0VvIqv%01@%xpv:W3xx/ea͵\3ju Cq1T42T%.ς&SA}(LO:f4Ĩ7t}}qP ЉO]W- /QDLBger .cӆ -ߢ{R 2=ohV .Iyo^BBid2o+):SBAFs^"Zg"Df|Q*J:0p?ҍrȪ]P }ဦ5uQ &Sx{'fRQOEIĎO.?Nh:v/6 8lcT|累x"%ġ13(^88r 1u΀e_jMIF,vK ^TxܙpM#~YdNRd:_1O䔶Ybv4@^s4 \vGIDMKmKcJf7U"Wm Lk-P4Mp []X ]V`r7ϒ zQ)ҩf"0YQdk/g5' C*Cy?%v~6/3rs·_CeuG*/k7b^Jߗ eV՝LS8kyeob l>pCMS;?Zu[)^ pPtrV71[F~`f<1\*-HD~;T{rOr9T ;Gw݅ڸhbF b0@A}|%IX2Ԫѥ6`sU]zQЦXKmbUtBGa9`TR7\*XdkS }dbjPbntk&G=xs2.iRT\dMMPƵ # 'CXB)O;!Q3v/qrwapœ%%ǒ3`O.,IJr$`Xds1_Eޤ/"&܅S˽JƍC@rJGF#|]5@L/Yi?΋*XغLF/;>dSoneKGYDVw3T !'" HYN&R/˜JH}N% Uy;Wse5sWMgga,/W+A6 jZ'BRԛ!W<\s}"1QZaM6){/#S( H;oyw&özі!/oM3@ c+bn-BSِB_]p Doo,p kx6Igf뇃٩F%jEqA ԆVa>~+y@y:\#ȧ$:.t[,A/S^yF_k<+u2 3JcRvqTzaCYw)Vb%O DQH[,ݤ=ـ഼-${p2dw ;J~]k#S6(l-ZH"D%ҡ`V<1YMdM6PȲz;ɪLF'CJA8g%3S-L!,UtUɁev:]?ep,@iflHneFwn1kkO*>:Դu~ZD)TzԎ =D\(f?d5 R(q:<5F9:DQK-#7SLw*?Z-bd3 ?_o\Rr ҫi,"}2{\6ixl 5 U\+K,îҵy`QQ#!rۧ%FD\#L۶W%pROX;0Mz>JŚᤤճ%Ʋ jŎpk82X Ska_E l0\`,?mrդI I>np+o{\?:DSVOX^PXEQ1.#g28\ \_IA{-]+zY=Gk>$?L1a/[6|,bWF}\=_;rPռg5t,ʛit DOŒNINĐd{!WR5bTFmra_|Ŭ_3sm&sK± ݡV@=C,fͭN`pbĚMoN..bqзx Z-_: }s)b@ʢUntN>rK:ꙛOo.YaBy|E:W8N,]X\˲puo'qpPe?oyK!d0aћ Q K%[qBǣ\LNnnyM'dّ r(v=jlsUxm]pPuwM rb2iѵA#XKnx>y倒AvY7N`;t5CiAu,LCM 7q#qP9#3" 劑 gm/p,`Ͳqȶfl" M-;s5Wi=(Qe{!la1D +ܣEķujΤ ϑsE_cNU55C!vqV#q'GU^09Iy2z.nkMq?עvB)~!\kRzN 8nEssJ B~uDjZ;~/1i }f?hǗCN(iA)R1$A€ur~N1{\ Gb6},ŸnF\,„.GC\p{ErXkqumpﬗ9Yx3?D5ƻ}my|/a'-cH̳3M pÔ6)!_ɡ]#(tҜP4lp%@ȪL0m -l)S9%̣3ËgV ӥ Y*h:7nry!}sDDv9tU4H|rFYH 2Wca q-P |ُ[lT\"(U]s\ 'LY xN)Н{)Y O/q$3d5K5UهˊP&xC+-ЍԳ/J1^[FnpN`*N1|Hkm)ecDztÉFe,*Z:i \ğQ׽^= UWu:-n , (t_eu5E"r)rr9t>b(֨ҡ$5Wn6 5nl?>@:zmXH͔w6$* G_n:I ʌϠZVE'gc_E`m8' dVuÏ J\-ꆔ5߼xM)QE(]Y8R6Bd:zi:=;L 0gպuy(Lij(R2}Is炱'T$#F?TIy\ H_; r_jvMlZ+o=IŹr'^CZ’(JCwӢ{Z=1Wݝ%#Y _dH?]%L}_Q"=l%]dp$y1Tѯ~pDEjPglqtTH/]9 e;y'ǫ ioWHe^ߴ3 xcܸ.؇R=/ͧ[IU VNG'*gxȡEP%0E;δ&!)F]N3p,(D+?YԬa)WP濏$(T#vm7I!a)i5x0yu1' |pdw-31u'/Rf06V൘v~PtO%v/hgtWX3-`9@t'ha=ZۛiVXU`grZ M}DN8 h泲>:!0'vf&\ z V3;jB!>v֭FH(Q>򤞙^zF'v"/!| vKH=fpOl'g\V/N5C#r6>ќ {_*~~BggYtWaWMD.ňQbƅey):N AZ@oZJ&lrb34nD$k<%ljh`ah~?ʢB^ ,98 5EQ,i`9Ѐ9SEB-<_=  K5B ΢OԂLEZ̄H7eH&~FuM~+ .irSe!{ĮQ6'-oy6qMO =7x7r>^R2*@..f&$黶fŤm%k̚I '$bnsǦnA`WL rZlC\4 VߌFHY+`z*v)eLaZۺgbJVftW>,/,[]W.EdYb>Bf{c<)@4i;ͼg7r>ܴ ޽:dR2 [J[hI fb\#P}u}I`ѷKz-mEZ (=8g% #0}zCe%^Jǒ߉V/`_x`t^j+=>l*rjVwZ/Mmחf04a4xʺ} ;Ң1I.[LluUV;h2  Yzl. 3g樶6?Bky2G㑱'.5(kHE=umL P-~tb۔{6AdK`hP\0)I/J`W:. U(E㶊AP y%^!\,c+5>.#@N酦s [N Fa7(g$@M]8{\Lѝ]uV|s e?Ez{_-Í8e[bߑ%/uj Hcw_?Bk%̪5e-6s @( 'evS &q͍8Z, -k܉Em" ξ+<#7 A6d=ݞ]ώti1m vwra6$FEUwfBR ɤlXpTʎg ]V~!v!xO2,sk4]靟G+sԊd#^Mf2GFlxL-?Bor(`}#~Ű2*x`J|QTX#ݲ+[ynnD q(v-G!|HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/files$AFP/Ordinary_Differential_Equations/Ex/ODE_Examples.thyG-G-HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/document_id934[-Y1$HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument/citationsbarriertubes/-Y' THOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/messages7zXZִF! ]D?7 {?:fH\IZ`--J{wtbpqܞl ]y s5+Y:jbb`##XQb| Dtl=3`(j,i[i.kM6bxX xB7| l|Cbɰ# OYmxZ)TuCMXE{Y/.bw96MK7Z&>8SOoF6}F fT65*L JS/^L4imU?+,=EJ1{+_?}ET,*l ?CmjPП!8;B܂*P.eTtg!Hx(:c5>K<{9 xrHu-GKRKuͫFJww \JN껦*Q<؁aANzoWԯR7Qhl)RF ݁.Ѷs%.|ؾ/E^oxN\!a8%ҧQ:ٰo$KTWc2Zw~C:CBjy6o [K!#ƕ< 0Vt,@km9L# Bqu6mv߭o 1ْ[>`:& =[dh=!͎<f#e2Q--l3"(zo&Q|%[!Ҋ t.?]!23' 3 ?2ןrsQS92n ?:{!`96^0ກ؅OЉ!{2um[laNdE(RK8'{0 d$0Y/kfؑb+5>jEGJ̼O}Gbu2:"Dwe"9D?"Mu/r1,!XȬ签 #9QDrRe"5PPb։d$MzmVB6g+]:FdrT )!4per]v67~[.Qo22ATZXy4 DϓM2Fd]9F1}XRTy(*bnm,d z lpチ>JI))B}HvkR!3AT읿h܃v-ub–V4a- [7_ޱE(g۶[t` =fB=vu)O vkqK`Зj PbܩH )sv[4W]y@y߿HiXBaVu w[cV| rFwW0AG9r:)C|-)P\bCbHKcɔJzhv`b $!)mD~e%ǯJ| X F7VZ"Huu ruNjؒEz,(_+>h] vLak5ͅ0EЄy: /hfyCO !Ll=Cn|vO*uw ڛTyU=5/kkϯ/J%E °|dR7m , hE%Yr? ]*nH֋'XcJ\݂*ゆCQzSP#\p6*olm7}8cs%6ΨCgۚo.AR:"iȓ0@ɘϸ'' ~j$*!C&/ӧz#{#Z׻,;U<^$^oۈÜl/q|&ԝ?&67:vRгZR]QMڶn-7ntYJi](80$(`%?0 ,`(flO].rMp&.|-ÿx"|MD#նB}ldbM]s(n 9(¬EL]Mp}>ɁljC`g*_T)9>O@ua*g؟cgYZ MM0-G#lHOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markuptheory ODE_Examples imports Examples_Integral Examples_One_Step_Method Examples_Poincare_Map begin end "ZD^tT,Rxr)ru3ܔg'ȓp RNaޡD}rȤ,Ӷ@B_&T v&IWOYyI%#\Mjxu؅A ) "]J鯶ŖtnEW!LffpO^Yu?˞JouBk eT|G9 v 1M-B&vJ3 \coϢ$K*1Lfg?R]BpbA=Y,St2*F3HvJ!:  QBLcC!=B`?Yȕ HeDUlIAr7l7%헊@R#ʠ?,?OZ߇[icSIB.VY54"j&8˛^QPBB/r߷s~%o^)`4q |Q6eל0^M9z *y`u5"8IQ&_wmVXru56rԒb5 71GBWe ᷉\#<=!)A_6ѯ''OJaW<쭎~E \=@椆2zqk'pPMfZGOɰe˸1vωyye}t|\ۥsv7iSZL~ί٣.)…/2 +7 Dʊ-7nj*^Nn+U62-'2EtNYaus:Cy튝kO5Өߓc0ȉVj_PFڦQqn~ $Tŋc&ͽ-*sjb>U 2X#mO~p,0t4܎[PIm%h@iws6oE.{,0^n͔-&F𸅛~~!̮3̎FI"M9ZS`II]2HIK0 34%b='-ѥ:k(덟IEk 1g=ViːcSqn5Xg,橍 շ-Tw$ [dld/4a, >7}VuOk[;c3 HzMcY'(ffUX_sC-H_ʽVhfRh-ڂb䉯[;,F"^F4dEݻ! TGyPFp:14 B5+t\U\W^ @PZ쇢7[6n)Qr(V=j?] YuC/.5aB`s&y#.Nöإq+ܙrё _hÓ=My7>~#9/#8^7ՂA*u}9uyw~33F[ٍcsz3r4{,|eIτ`"52_fI$l+[o8٪* -r4ؽ9&ƨOLdp(DQAьbdJt ?/+R`w+s8. 젌W hd-# +d5r^ߕUR=;h( Ksdey.W0,Wq1'gbjNQ?$s Mi@i=n)'"@7Dm N "NY'7?w\j5JGnH3dϵh}`E빋# ;{ɗO$;j~ ,HIk:͏$iU_٣mlJ z5\Hã/0[elIofo1?,\?㳎l z h͕ă**lINO__\^OIwkHO[ע(ҔCH#UhG%,X~VR@Fw *B҆jvWD-靠e[xFk]CDr/x'H}?4P 4iJL%z85? 1gl9:b, zGC:=w,dݥ:)9e{ V~;M*rmJE7<^}? 6>ѹnzxn: Mh 5Ղ=xb0)aat|0uu9zӊRz5%*X>yr{}GkCɮ:o`2,(e۶~\ؓ~[A[HЦ Omj%0=,XcLDZ&/]B ESZ ૞2$S:,,U65 [;Jf&ܽZ= .JW2R]鏭p]cn(v3\| (U+ !  2Lᣑ^@g{+G<fG=VrɁGdBnoy }w46#%duA8d-vtsRf*nk\>")^n ;X-;4v1 9 =Xԓҧ%zjޞ^%3_/xD7)Zӧ"^nrghg@?Uj.%R~ZR{E䶘p *"aRUjûPAG:7u?MT~xlRIlQ27L;V9:ߒ鑲\ń޼7 38 L>L56@% [\uqǽ}&-^H+zoBL6|| _<ۋKI+}}a %p*rHh&N&+ .OyC|V |yVً?'#tY"Ik;W/he/z"kAw3iLf[6hET°ȈK>њlG}Gݶܯڂ9l~֥yD"<. ~/_oۄ@I~D~R8ϤvK|OT=U}YPuNF]+Ud6DP;W*]3)eS)w|L;8fN,WV̱"u*lv).5Z?/Tu jO2mƭrlf@4N4'r ze4_?.}/VL*ĺ77肓-IdXܕṟ·JOɍ=!jz߇CϹ9Lk T_A4d_>y}t@sʈp kAvjGn]n=ƑIb_BJWMώn*1(svMα-Zfd, ~OER\~waa9d͘EZА=L&vI*dzJyc_|<ʿh?-e&:z(HXQp:)pkx 4}cs yR ׮G`/Ү h }oq.[F"G_̻+pJIJ##MlS=>gy@,쵘؄>ġЉ"ã6}c0ml£ pF-ZFT3_u̯ds(ƄTv>g^@c"]߼&HC%/}Z>IE20)lGseibRb̐f#>RVör~ ື(+[ZWg(53v˜BxEaQ;*9*@)U{4;3ӛ5%$"J%` hXq۫.n09/B$ #C \VΥ(c kZ5 Ҙ囍@1^ lfΟm,[e#`66{(K(d+H(ñ񌜉=\$m./EˏL$s-9hߟ]ony_&K*ȝ;9FlUx77 ^#>3vL%]*d[_|7QsZ3MN0uw? !1ş?(۵GաxqEuZ[ݰLD&%s3rZ**]5섥 w_??BN2 Y6WJe5ޮ!2ask9Z͒Ȱ%VEte(`[fZc|۵NsīGMxӇ}[)?_AbˍRlGZKjTJ38"jՐ>x՟ ~h<,co:h'*P FMD*BG绠  %Zx' ?,rUU\$Ih[VR;5>*"g؉5uh _trFFG;I忚]˜쟈)? 8NGG~% 4ao̙4ag`?8=E9u/]M & A*tV', ْ8VB+O;?Pgj`UeOF>K"Nnޞf@Y5EP(u4 ]\CK464hp<u1g*K#P v4-G'.M|]Z| \a=C2]뇧;e6/Jctٖ oeq1b|5dEXFves<,1x ,KY}/ȃCD)6TP sy1Ⱥ=8V6еz9/~:3JUlK㉏o K>̪<LʑgLr&Z L|#z5=]m4X"oƒH_*af^6yG۔ =f s 1/.8O^z$cG=Dnl]jB{JR".@*r*@x ĸ@]ˠ}8Y8}c)_bgLgذ  \9Al0= jXgXT"Koa ~!-LZ )IHu7Lp}Su۵ͺV+=Qo.SsEb>=bǐs%0Z=:F+aPdQNKn#*F5H[0hx ߉:pupQG,YBԸv׵NKin5#x%c/:u7R}3@?5P;9]nSh׵9=^pHt*68!oew?.3/3/M";肥ר80NNf$", c5t u `GmSy k -Z㲘y+6AoJ$)oe:O8<s&4ey¬ϞEt-j#M(ο:,'orY'XJ uV7Y Y<*n&4 ;uΫ7\R& fEA`IZވޝiO<͏bK9>kNqP !Yb:ס_MSO:Pny7[b"c0Q/w]UUCUc|+&r7Nv`0݌)Շ1!{+DH? USW2`6[Fr@Ć^f=0ȹ̂wd}ML}PKhӣEMҳt҈&:5f:~ ɗ& d@^W*PP4p%a\ցl?K1(LL g>#NU\5 gZEKݳ4,' qYHd%K>TKV9tL"*eU*%EK0R k;Tr*upVhfMsvHfSJwv=p.^6i#Z6O#= M 8*G+&;+<͟ HHNG'5ʢVL!RX))wE3ᤕ8`ޔ $̝+fLٳ&$tmSI 'vSKZ(xZHHGb+K۝=vwB=T}8/'mn7 1X[qSiI~U*Kn$wĜv#GNI[mT2<&zȢR$,4qʟss<лʖE3E`wSCZ;фb2f60R)pKaOCpv/J .)%o8l82OTc;#\#%7ZPx|JK?xiC_gTe>í_RWk]'BA0]/PZťUu>%\h:c;?(."9O+ a-ӓad88=/g07o q79JkeϗYD*!=j$8Ē,s%\yxZ ugf}*>&CSZi)W* ǻ"tEb,u$ M1Y{N'vD %!4AW"WƆOפxGnHcÅ+{z.m;P}o\dǨ8`Q=޾I0.}Ma hS,>)u7IA,b\Hɹ弣h BNly}8#l*NPa<ד3z#jE@OAfm1 MjowcɡX7ߪ;&ENˇ׻1O@6>3T^IRBv}D8oB(T[;t˱-?=3.i U༰eD5׵HZ|/RќeR˴y0HAyw^4L_T4s *W{ŮHrZR0Z.n6nSζ~JFY8Gv)7#HQC1q]լTv`:[ŵ4qƣ!gC1Z8 )y:HqkdF3(#%iLJ=?׸]= +dz&kMߖ =ewg-OA$Fe]w0ᏒRٻlƱn/<(=Wg=TfbYS9ENETVR>!NFHϔFC1ϔ06' 2ls;zn"S\BCf̪f%\EI@5/$OeśwX٦NR4vڟ J5u2Tl~-ڞ!{B}JJc3ȑH+\ɪ\ n! c|rO̸:27VHB{, :J &cnw)oQzl{ FAb\ΕS~W $^S={+is Ate)=J%+ݧ3Ikʁ A $hKOYg)"z2d{sZ=(:ð߅eY{%ݠvGmCeA /$kG3ebX<~z5i.T}.%I. 6/ !Rp 2Կb_`vIclX鎝aekȱ`Nb'p6P Tc6b&#"/Ұ|. <1hGn,T"yt(phQTSdEM}6=^O?^Yv}OJatM6* k )Ӧe?ǞtQ=8gsp&Idm{ˆTԺ|ޛ}7о6M#A, Hj}:6Z3״!hsfk1>%n}nf_FF 7CLl#"IZzDqBzhPQ(Oq,",Hkh"[] -C"?ȋ<;ւ?r )D.%B.Q 9}ZBZ*{b /{/šoHJ𚳰56@{G\Ibtw2oZzkLWY)~XsĞ'OI. se49öx7Т4_޺fY+tUї!H*~EܗcƮwu%%d@<@ڣ4CW }l f45.yPVO'j9i5C )Ob=%zFm)#ğ[ZqR$NF\Lj62 FoUƫwtf,1p>ՌhcO1aQT`ȸVQ7|egG'y_DF0hط$LT?=I)!\M-{IuzHq1@ݥa<صWe9_}lˑ$8x\I[;*ױ}D8Ta[䨶ZD-Kukt(BOIM km$" %ρa,Nv̶nnZҊv} ;U*3` اN!z~BKZTm,W{ op-mm |XogXWގ ߷eGmCV'Bq C2SR_ݫU]; ~Wxۨ〽 Nzv:G;Ȣ5bY5K*{숵|9zTZ(2t&J4M<9kꠠ'|HHjZ./pBQPnLj7ro׫@S& r %|ѫ5/Hʷ q "*Hʭc/+ Kʊ;YZn/pX_0I-dtUѱ>ݟq$VCt [GB_)t 'k\V#9zwDX6K_<9#*b&JWց9kygDv K:QN$oE؀&x< ߴ/ gζ>}GT*|=:L{@ ˁ02ReB"g@QzYHK&1R`wsdw OP4V+q* hL+)?FPt\&tC5tk@?BCut/ [V"ʖV`Dˎ]7@@Xw,(^@Sodlt =^,<JI.FŠUEA7W'x~ C`=>Fu;c6լCpHIɪ c;z("Sg(P;tmhap(Hƾ\ W$R W̘Bt-Hu=aa&h~]a+.nU Wߪȁ-")БftoU8HzpOb^Yu_L(b7QLUX |{aW[^xgiADIi+ FC#!9tUIyHoT G1jQo(zgc2%xVB \>C0H >2(s= ׵!G˰(.5 vX"黀;{O ds%\RK_إ[U6Whf"MH"}} 8h/JZgP(YD_.[ΌpQ6fކ>Ob[2*{3T`H\ IC}x[ N=G/Dg=h~6:˕^xn,!6Ko@Ct +"Ny I{fbU\ToS"5o 8Nf~/$yk}nTw>ێ~M5n03#[ R蒿]jsCD1$;0헤rJs!v,}In^@`)B!bf2aQ\n37"a-(ONłΝ -6V1ɒbd;%@"F^0,G# YLt&T N{oVU Y} J}^Yέt*k=>hJYl@3յH;2 dY]q=BaXRɌt.Ψ֗4{;gr,^boƥxytC9>v2?s4&Q;kIvEW|Qy8脝ɃTڋNrmO~y@g@#,%ݔ' 5kIfCFw={+w!Dix4\Y)6pkf|v{BVXȡn[m=>u@v)+K,}mՆ)sQsNd3f?[gNxxYe$♶N޺K$EwQWzXUv kTD8(`!Є Ka!_lQ>,G9d#/b`Qh:64iDgq!^LA_|K &O0D /eZ;<3NGSӄPvረulS3s~k,1D55k\n0""Ɲ_b o. ȇ@+;ӍJ8"yMsI}gL$a~'SĘC\09CÔIz2Or9LI,|UK=brP2ezXI@JU/8{&4]^! X&zDocvn i#s CBJrNJʕH— 79Afh'͇%f =ʶ%C !gXFVv5lV2>@:MQiSWa@|/5]o36boy*H_~?q,rNG@>;2+cIIx[M74;@y qgb3f3x[X1c!y]E^?;D/h=.'?{H*bVqFԣe!IC,&dӲ=E͎/%rOQXWy%@uqY Zu G|?QlXh([soy-t:9 ӀA ;<2N1$!εag;--DgdiR[Q4[EM<j]J] c)-\s-Or5C­F%6h]=vpۧ"tu˨O]c$,w(\4ۻHmHCS@ 5J~XfRҝ% 8/Bc+jT nKG%;LE/Z:<}+Q1lcUP T+zK]RZΙڰ;6?se|Z"=զLc)|Uͮ\/3#O(E_(-wQY˜-@fxU=Mנ3e,1㌣-`쁝LqMV&Qgl?U\#g }S&,lm{" _ә78V +dX> ȭ\EvTlok_-8[ɉ|HyR,":gLJE'|Ɗ- L-X[Q% *Kֺ,[|iQݐb|mS9cc^复㩄@DHW18*J]-jDZ6Uf <kPmyӛۄ@`7I\JQy)?$5c|`? lBPV6Of{̛d/wԦ]mv^&^jki23}Zh1H ]U5t˞uh뢚Iv~Hyu?aX9mMOUV\z $Zziafp~'{ tm-:9(b>[ iw֪QCLAɿ{tX 0<4 '\43( OrM*PK'j)x-"5v<ԮbM ^n0{]vF?dʸÎtᦱ΋Б`.Y6'62ZuњmM{p?MP9<%UJ_'~tpRwK`Dw2C^|C?2Tw)RLm+ /t:e}YRFD* ۧLsc #7'N<Խ#UeRsT&c>NզyK OxhE.|%E&0@I粳&Ub[dyUvLb,T𩭷>zku˚&:i J{-EXPxe[UA0ʷ^L] h vo9ɺ_mPbX"0;㚽*"I %o^~J/\J,Rf i+\`{ '$oܽ.,zж0ZX~h9fDn_V ,]"B,mV@Q 5 1VK)'sf3\̼ ȃbE%SM~ųVb"S!8x4/ʤqㄑz ^ Nf:5!u kk/ڇ٠ONat9yJ-٥d)YnH6w1t!x{ɃPC2WÝ(MΎw$pZLU[jkw̅>fi;6$sWy;c+TDLzrhR̮=а o)dB)T*mUoݰc&Li'9\͟)N~T3 叏G<>DRHrS[R6cϡ6 ¿5ykTÄ ="NкM&<~d _J\X|>8a:u3=sk.\Pw zJDw.4K6Y ]ʐLjEFġ*@NK0}Snɹ2ܼԒ`s+Xo(yׁo5R8ii BK_2yN>7 ]D8FmQ0 ŧeAQ&"\ tؼ:Ficˋv $?z=5ƶe,HyA!\M**8+nD{)b=!Ul |"曮~K^%h ĚFyҡRQl⒚7a,Xc}c0=tsIiFNпTg uüxwYK49"fUmɴv|D` B閮lƚ6ՕWJ4иTC foei[;#knsr=׮^\DXާ򟉂|{יc-  ~p?VQ*HetRGz}"2SD8vny->@Oш~M#l xۋ s7). qkJt> c(őсc gՌ Hw;m .Ie3q,>OTky0_asIi:={S'ӭwW漀 hDܹ"zGI8M4j26 >B8+x19sA+Ňp DTbVƻVKL\QpF5֞gXTu\3-$">YέCټ)rǬ2uʼN=5*iсRlư,HjiW(d)J.uJ9Ҷ}X״ y\b) ~MoUPZԳjS^r!ksJF.L41ߥMՙ:%ywН|H9?Z*v EG[aś1{ ]Ԩ'|`=tpaxc ( 6c%lƓgRðޅ[iRZ:LeP޳&?JNgҽ?e_⚆7 w Ā7J)N(Hvh :’Plk^:i99O\*GW܂v=CÊe_PE0FS8*NZx^%5'K룄qcS6O#;or0>(ŬHiL=?9,oY@B&Xmx?_.@f_l WҴ*ߛ]9wzm9*j lBd4 dD,"?Mmـt͙^`C&'ҋi(,Uިl_W`4G2=Ko\s8/*]d:6MuЭUGUvD4~{^vQ Vlhjvr`),3]Q)NHS޲4kIFRDsT<=bB{ojP߹!ւ $iv [qIЙy77G} !^oSK6%Q%K؅\a{5z7+A;]R&lht:?sq誵$Lbȭ_t3D{?;wrP-N)n=r^PsQ_y.F r.y O GŃ%)ޗT Qyd9KܖM@B )nW-%Z}Kl[E3fgԴ #0RڸyLGj0rbDfI7u\OJHoIL3P@1*I nڇY%-5Dm`Ib]G,%G)Q\{Vfxۖ tk&(1ޯf^ݳ ;c;700q#3޳!sDH]c-@JpQzI"[ oK͟ˋ3xYZ`(]xVjoܯgEʱ&ޤ ZRF3K_DuuB̯;j(TÌ聜?UA:f5n3#z4+[~uш`yO5mA|dQ=5 - jaBoPB2+}4x E&=m*l p)Ŕ@ .cu-;-Rju,3[y<iLWDIקsI93—q,{tz4,D ,V*T2RIaْ<Q R.>d w鲀LE[Ti8v`f/Ky7&DB=]j^p(/q E46@S s]7a#،ZNKLXl)bZˊ{ V5Tf汽=(zjkP3uܬ*PLkϳU7_L<#4LH,7Dfף8½Wf)!c 2uZgw K֌ ivJfeH3MXJf]'Z3ΦJFGYk8MiVUYk*wc)Ly9O{Z+UtRR8=R UKK~A).i|k]E0G>¬ ƢPO2YU#93ʳg&u\qHS/YC89'}Kk7U*:l_#ei;+ N3sGs)D0=Kor @ 32q3hkm HǤ{:Ts|U欚T_V4Kݱd; ;_OAg08۫G⪫SɝE 7k^ͻ[b!q'^⧂$6&+<9R]4 "J,&y%{2ҧ]z6y(}`ml};0i_49!0&O$={3kkvݑvb>xDm}grq=u=& t=!PJmWX-Ph],lJ}IIaH%Dkٍ'0tLg%}&2"y-lV6ThDN euzfZ "%b)(N>*$_i6 α0 !)6_+xDv!dNI:`(D,qQLѷ1hF(L'iyo՚qj:̠"6DQUQìw$fwQGy9ՍVє2`Ha7 wfv"@>[O&?i[?~cw簨۸LmKqiOSA4JcfWrԖE3mJJɚ%.rdl:a+W;& Wc $MNwuM-ɜ$C]AfR^\:RIXѣq&Vho<0f 4_wڀ GVd.0vq W®ɲ=$nD-~M.\0h<$~kIؖSt*@z5*&@Mk-_u0a !'mjګsY-s63vOsƆs7^+x;Mc]nẅ=!R_^{۬{r F p5.3"){zOB) .*k>%8]ΘUcBla,+AntCuA1x^JoT+2ש/kw|W}h8e TV5nbX1bn1 o9lPҼ>I[e՟ዏsE96x!/L`;H>t}i?QB?$B7rNDolV"fz;R${nLLY߆M ްR[Tutɥ!8 3WwaҺp0fT`l*(86UUk_Rl?*ϊf6B?qImMہq2r;e6o6U7~ Y?HS K ;Wsr?:18onr!"| "H$eFNL6U{-'<5N"$@e8`嫈;+Cra75T?Q8K~TQ+|xa,*Agt .ܴ9+ fj[U׳1^JC n靤׫ c۽pGJ u=KA-q_C5LKbrW/q4:kVdVל q6i\X[Ĉit/އ<ض6|o3>{KkeDU8;Dc"vw0  jH5ObLM !4Ϳ/ Y؏7?R M -LXا޴O`ӨbVhpD0.F/96@DbSuth$?.ZQT.%xJ(* -`iSm(ήd@<@%Y=j qs Q$Ȋ3Q')4tP*.gW}x\`P:hhXuCX g1g?VkFdW"cXMiR#?H\mz%q![:g/7QBudu'|Tb iR\N 5 &I1[_*R͍7 *G=)֗/%Tӯ{:ȭ}G?^gAVp,BQ]Vpv Þw7\߃Ofhv/=JnCJ'&G=vȦҒt;KMV,ĥs 0P N xni/!ݏhu?Mx;^[CaQ<5е\穙xT:O< ¡[&P-xǫZdƌ|,6xb[%jgȣj~; p$Cm-|Z\% &=:7\ptEFr2F2$-ݡ޲4!U>.rqԠ^*սPn) j|"m[dm яҷ+C~Ht(vMlݺ_j`1y6:wD2V&%P'*M]c8b+(i!r= qk?ݽijJ㰐oHzHgI".bȵq5i$l(| Zڑ]J|y-6&n&ѿ'QBրݬA<^׽Wz{bz#E v8X @ tV,`0h>G`4}rMgR W{NRla+#svocn>.|V@ώL.ڕ Qfh 5;z)ifR w\G1+J޴ Sh qBkh /s 欮!0>.9}"DuGHRݡIe[vw7y& PiryDo!E0 (k^%b6} Z,6^[&*pft}'|YoV&lh=DZnu,$)m^u^KER F5a;vI݉aSw Сz2zLpV鰐i5\g)࿇2e17B|ym:koJgoDDErV9UfHN;P3gV<'ixTgN6fr)[X/5L,ږM)tjzj*ݧy&E73+顿?ӝq %:v-Ԋ޽3`$Q0LLzt|[Bj ;QP=st/ֳ\2K*I)sl]+N9#(bD,8grb&Mק`;Y}Ğ 0۫ݻd_CvtMg0 6O[2PBbDSGTts[9PgߠDf|Zg o%ٸ%)?mF愷mjǠ[ɞKfrMzF\*'vM ;5.w9'e`/$*): %qIR<ʁR*#9jqUjY1cIހY"7 rX@`'e%Ex8KTRz$k=5V ϱ+]Rơ7 ^Ǘ Š杬 HU"V#^dI4`ƿ,nlu)ာi˙ u[ X,=uѣ3I<0ڔ?k$=cט؂<8C,謁{7smyZZ٬ :7am[sjO,t?4!Wj:/ukhnt?uʮ)[]O#.&!E~Hwy_?lDU 1 bJ\a.UVgG=|Cm>'y ؖbxyaaXQCc_ejk867ƕKVqݵy)L*)V 6 Ձ4ic&*oƲڧi$۞ 'm+•T`u3hU)DWբ7 &{Y /} xҊp}<ÑvHi-O(; H%Y*r_ާ -Adދ9?{ug;{@-]D~5>wUC5 fe0+XxIq }EfZĖr%H_'5nBuX*#ZI /Mг( L0 HnPA-fv–w 6j?KӃʔuVrh,җfۻV~``BN7Rᱦd'fE[⃏$Б_<L}A*nZ${FFl۹"R1B 5Ͽf6oAֹT]1#je \&1AʑD+ (ų_kbs){`[6|)f$cKqb @/Cw>%}I3S# =*LWA]Қ=gFTk*<6@̋wJ 1j*zQ@ ·?r`=Y4dlB}kL3kb(ڬ]pL|'Fw6dZDpW0u4 ]p_fZȇ+}"Ćᶆ[Bt'[3[jhq+j_BTv_t)%V{$`\odo W9uR !`ߡU5w꠆ |)wl2:s>uSJմLB97CdҐJZ ThZ?;!fϺ S4>E(aX ;vW2G9yS>YQ*I ^TIyimrFgÿٌio6P397 *^]J5O š6x6Zz$/s߉ E\&Hz'EYXaq'}vALntép_;|MΗH&gzA/B2"=P[_k$o BC7 fNUeKiOXOGz 9X$bǯI)f\a "}~ND=S~7f7śd]wZ"2+E @/B@GdZK XSj+T dJ=%[g>ݽ>~TA? ["!wþRy.A+DaH|3p>NJZGݽ(`ٰFt^ozz?9Y[m}ueZ{$jp~ݸTzc$1凲ѩF qg8pℿ [?f#c>(x݌[fq9pAѷH0`XD MKs3& \5]}*\x6@֑'Ý{dx YZޞRZd==.cs)WZ3h~}m|<pL_I:ɼܷF6k 44Z.FPG[ 6{S2  q@f)g$s)')5mkJ^RGx fѸ1` >%8n5`mcˊ͙c_, I A`Pק#' >>bӂ{T #$3Ɦ[h %[EW+k~1lK k~;Ggw^ui6}ո_Qt =dh(G8!+:$ro=cB0Z_W~;[Qyl(O؊G,#ExLQ;]izv@m{$)b{ce^KVEܙ (4Ov{KۺWoH7%Vx?&?A\P>>;Ső @qU=yXHʚ(9ѠsDn]!K+)1O$z(YҌ>XwHWD$D(Wڟ9s^*LuQ௵-jA>{!sȮ*B]\;zd]FZs_.KAMm5b܈ hdP)M7l8 b&"XYYV(/X>:%\Q[GbatW,bA櫨kMPS:$:':_*/1Q^mTtPٞ>q* jv*/[ZHa#,xz]\TCgϦzjn\%/j\cm7l[V=GB@%l'N!#g=SIeRT:ђ u\XaQGwh1ͣDh\Bk$D=-XQr:ww[{@]7mʧ33+ }!s uWQQe-h\H; rh=4P}eZw$pOgP5}#@\ӭC>II%Iy `Cgw}fUTAHղ.%yU_ɹ%"DE*!Kh'Uh$J^eN 6䮄/Yڻ]=J,‡13HTZsR@jƧPX]uA>M)/%*)ĚA;賅XP6C? Y%.VhbA@רCaܣ6%PEmYA @i%gy);xҺ(*w/!~E v} N[ }pv~[lF7OiO&?[7z8/ؖ'g< S_$=_Ą,EC0tBGA_h'+aKI[1xQmK@Y++n j0$ @zj!^t8?iŝjg\f܉Қs6oۮMHG_<$M25vOK>vOn׍48xU\ ~cBR3j9YTB5O5 @_}>gSrhe'RV樂䲪}993 Q7QjjU~ڪjrd3z=ӸWw';Y7 _%*\rܼj[7`jꀢ#=: q)p]?r,}g+]e Kqܓ&řBh /rͩ|'sKm2>YʏZYRB aW3PFq&d}ā2*kT[ @~ZM< F}9K8`-rY}}'z{uNF6&O.ؚuOo cFo YHAJO`e/!+}3Ej]NJQ%ɭHL4Ua D<Ϭ -T5TќqPgf c[&R`׾P jH bcPanJ!Z 妞>܀}Mi[1O{2WB͑8-!x šM ̪8˥FOXc,k{+ҿ5]Ay-'S=N3Q2HU6|(-Ts I^9M )}S؜^lauA½{nyF3LzbrL8u?|4(KK@#K0i@ ^?خ4Ķ4`a>cZ9 Tqt"YW<ްZZ!G3v73+jf߀ϯ0|Zsy:YXYD!0@Mv^_(XSgbV}MlT"+wn]AT] 1AXFcveyqjicSX>:W}qL8*ust &h( s2(o3yna`}[(f`( c}d1([DϪXߟFǞI_ `L${:aQڂG9"i5;;&HAYoh=Zehkl[g8B8L אW]{tZp|K>NrPZw rK0t 4@BI7|"^lC̘*GP+a %ϐR0(Kc+t` )rS#IGiKuЭ0\j tVyMC5q:^d\.;BN/fJ,2ciF q7=@Qk戟n;$v#<(*:*ihD ֌_`ġ 'DKD[a4ؠ+52Vs^.GFZjwjC rhAǢK()08͇0soi$= p!.VՑ +L: cƅ_1١ȳHt]SD#:எ6M ʁ2lA+76ܵ{a$(yXydݶi#QA~ǓzNy[W ꂇȀ 9D\wשVuzcjGc$xB= TL,v텶CgŸ7m6ػ W`q7({\!Y74"mu; O5^cD(hi pعH'+%b,4h0?$B\ Ť 8F,TK3`.\QܾΒѰYyI=i!!tq ǦF8~ hƍ0f(:<(bڄ?{W[o?C6|EHm!C+O*/t6@੝G_l8.p>\"6NϘE'2KшB&ݧ[^L=_Y7`!5zľ\S䶔hLJ> _hC[rS;'+x+5V1WHؙi!5`z%Z+I\>i%3'juV޿2`ala[3!,  [5\'$,-[xAШ BbvQ R^m ?t)؛$ >Dj{Ç/vN; tfL+y݌ԍh"jzt,R1ۃ1"Fqp}|[C oB3o< ͢Um GOh&ikdG?6/4܈ef`i 2Z=X!lez,KO/[~5jg7q*NTۨEi'k3,V>FX:`C9JUD6*sk&sl:F{Aq@h'5޻"-6g;U {I X8/5:Z;)INǣ36&}YUcp "%ڡnyQio\宖d&NJG+6>'}%|]n'ỲVn )"l'lƩjrM<&O4<%&Z f:/][XLum{?r&9iE-Duvy9 HBvRXj|SIrEP#iS@Aj̔{Kq(?pAUf':v"LlVT-T9}4T 2ZcBZEw74k񉿘H3.itlC6P?C(A ½k>#>4)2Fh_mmʔrHaW NO72;))v[gsRR> bGcH8`s6)Pd!yF#7Qt=X&Pjؽ4{ B/y1>}zAw~!HC6T'B 'U4 FbNL,qI(4P#IT" *3p=?B,yNstQ܎T9k, ye}޷+/jGTڈR,B ?HOB`lgkwٙ^QSd#TDZRKD'O2O.<ұlH ZdI=~\d ) z^rI0"weVuۏZ9ٱ7wf%ڲ yˬ=O [DgժAP)h'˟5eũya?္6a"r6yL<2Pu`W9|Ht0r7Ų*K-@bF:ޙOx525Mv=ad4(?_)n+Z|܌0zߊ,~z T.">¹jwjlaci״ y46_nROo.:r` fP7h?]FjkI*,{DZ1M0!'9Qw}Hw4J0 jpp ɏX- v,9_9>\c/냾e65fnx!D/Ӥ2٣W'1BK=?[FaGRR5wh.͔d.u迱k=QIׂ2g@ CHnݠ6pi[Eꃘᕋtb'׾kqA[e]CDrg®QGdYy++&}79xmELyXVF!i_Qƃ(1Z=fʭӆW.5z IQ?ɚ2#r~ WX+k#^mR[`JMv~J~~9\X\k2Oa'Ll蕢@s2!hԂ!ah\uJPBPbL:gҩռuH"BT^KxtF ':%~xU%,pK]tӧ,Xz+ՅS'h~gDOlE=4+*{ǣ 3VO#[>l3T2QOrw;N)X'\1ʝUȜ%ioSV'/pH+N޲hߎֺ:ॄW 2(D֫PeCrĹ b3ѭ.T~ w%jk\L */rcK~k}D'`eV[w0]~.Gg[NVy8-g:ZO mf OR_V}hCAQ@ڋXF+gE仿n4PIlZZqgKX cMDw} ٽ%h.VK缿saQkަfj(tz}g5K lšV#E:x ?4)чIƚ #b㈦6ѧIxNOT1+ҝm7wKUk|6 0]@nRp5SfcyL\ep>1 ˜{< T^ , yĎw9m-|Y};Xڅ~2sEa(j fwje B'b\[̛UrMgsÎ`;Z=FB/'yV-, \EGX/?cFRhQX#pn0r9CšA͡I>lP :[dCJI4cxPE6 "{d%e0y@6Et!&Wmp6đXy9*0(uq0 }KL"h@S׎ sc3)ֲb÷h~ol~:{T}KEDP.~ZLgFr-owrL8abn=ȸĬD}WWjHqdl|@SW;9Z]m9+=|PDtp63ALSNZQ`6'+8-A wH gx"k X;Qv("iO?(JsVi쫯E- NgA[.8]NpZSy Q\I:a Gt V].'[޶5y&Y@.pU\!%,3aO|.ŹD{i-K70Q0O%5f;ȴPcO~-2 }U4mk+`g.gNmn͛R&8U>in9>DF=C~,+ߖ:H$QǕ$9"̴S9D_TjM0Z[R FbxצP3rhv<0 TхiFࣺrhClyU CB"!w.pY'T8 ݯ W3+j( 5-va,A9:dؙ G pӿD pr}l/6tSŠ'6LF}#BA:Ll4C0XH^4dV@\6-E-T016YC"u1ћ-elq'F*l ސj.(E%Z ^ֹG#CA!"gzXw{k?Hw9߰";ZDa(U{pVTXG!I;kI.?34Ng29a(o&㭁# Z6AV)(J i-}^Zķ+lںlTIFl. &JtGq\'wʑh]=t͛7vLpȃmG;d \&\)mNFE Uk%%)x( KdS'Ã, 0l=?=Sz׏4_$fJI:_I^eO%.P;d,YXp:ic*!d2{ % RҒ x:/-g^zv#~MIo RE0bi_AC0SV52#expx'|U{<}0Y<20?\kvaU '#5;sSXeqWdy ǖH 1n6;_&pg) ɲ}CxwG g T|ǪFu'~i\""nzpLqwR:ÌL}PHJf 6Ҹ h3eyx ^[7S.w!Xغ UU)|#t7NHy{*dC@8B1h S=%T둣WYu1GZFgA`VǮ8 's V ݁O4rq t`X[a ""%leq77UfBcٶC][OQVʼ?$wݯ[`/רh5n鮿03uѕ˼Gn bո*}jWW"w]ϥ62SDm|ֽ~ W|H}?K1br *b< ,#)C`3lv͖fv;@Fi jK.=JhET4ߔf xB[@R ;mpټ]HIt]-itw5D򆢹)T\E{ntGpp%]z3 rBSIJ ^ qp.SNo&ض)܊ 1XϮMAC.sMK8]M:{ܛϦ=|oLXT!M v x[᏶g:ȩK;Ͳf 39U.;gm`>7 V$Ƈ^I>;dC fW2fZx R3xB"mW:uD+<0'ջlVobu x1P($;`ii),` >E=T Uງ4[Gy M4 WSKn3,* oHR?iM8X&wR+Gv6'P[`jpJ<J'Yd(pզ-zfDQo޼ArL̋iJ;%l,bSeק&(FpIV[]|BiG'27o|IEwa?&4'Y68s4Arp 53%)QP>CAކ!:Jvs^p!46.WIz/f%bڳn Z<)ރiidžtŐkͽ' NP+lpˣ et,$JUO>ق)s?<84}ap~e680 {Ba"ǚ1sq;xS*ܥMye<.E4pR(%NGǡ" &]!$JMf`/ۯV^xmtRhlnH\w 7*ž0\psE?F0#,2%1Ðџ?~Azz'ͫfOobJ*EpHy#fhVY/`U3F?QFP۩J]aOgw\ĚI=EZcX >7P$]$kBf} ?Ж -?T+JL/) ` <"V/ʳ2r:bfỞ5Ib` ̛(Tg7i-{W[SP)Ipʭ-VZ,lE݁{Oe'_“buT+C0Ǡ{4AF;~mFǓixds%|(QAj[hfJzƠݱpw1&&-Huf(a@P! iVp%DfAʬ6t+-)$8I6R5FԮz_});TH(9eƽ3`@ oS\4KTd^סO^#fǷ"" ' 29] qOQ6ѸRZ唖lfi oTkf n%G}?ґţdQGC'p*[%^]uZmɰ>MX]6 /v2Y$C=#&PY~+<I>7zebEŜs52PQFq` ,5>_KDbְy 3|~Ɓ@4ު2sGnq'uJ`!_ɃKyd^ݻcAD8zٽFMO,Ff,L ML+B&EwnXP7SKM?J;kɗn|cʆ3(쾯cdX$*gVSւxH!$A4. %KbDDG |7b,.'cN"z)LܣLJ6uwz oo@[Ⱥ;T;gij~^_`A/ \o O&;.c3(;^ǩq?h]il gDvͥӶ!>V|6& ")"ܹ0ڻ1E=lsdSHc`\%KTVaz<cA]E;ӹkmSayQ8$ίdIk0Xv87!N7½aT-;![~i :f*+:fS|3]kTP50zBeBeXxMS Xg&mo zb 9""٩+njb+?ɖM"sOoHХ0.[vԹn#mm&Kit&:lэչ+u[ZrVt昏 W<Τ/u< Z A8•B[$BtJ7(qBMrŒnk XMX:YTLVBrAbB7- 9LYhP,2˘? 9ZKel͚}?T[ۃb.z.XzX o?B!ZGW^>yn윢ZOw<%nX22RnY/FO|ֲ{΁UYWaѢ ,,OG;beIȟB()M""u ѹ`:p4QgYZ33d4cb2ba8dc06b250fd1b733d57ab3f12c4a04ea8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b 41c0d8f90ea7be40f59b426bbfc21697230ea515 47e90adeba353f3a36dc449003054c4d0ec90bf9 a5fae16297b828a544b37dd8a05af9040251c7b8