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  4-z\d4 ]% HOL-ODE-Examples:threads=4elapsed=648.910cpu=1803.488gc=8.9087zXZִF! 6&]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%IІS|x=w' _S^b.PFIRy!§qonZ6\͚v.I6&"82M%PhzH;(utrʲlޓ@3!l7\!rXaFWh2C+-$_~[2#qڻ[˶OTd+* ~׿S3֮dRP^O,$%;ԮBF'{.*ٛ2r T"ȗ旵$ 7)0;ϯC1E6vʺ IpҲX5ZZvMkV[&M`ʥ BinCXx vLN3\')QcK) Z 7'w~)= ,{:(Ju::rΛκ]@ Kb~:8 U]⑸ovuzbg]b޲|Vb9j_J#ū:nzxXELdX\1ٷ_v_Yjsx/T^h_s6LbH Y_BbNQwMsvèdJQ[(o:xdj;xʡvkޖnW2QwA# '@9sjC"4]Wr#͌qyИgcƅ<5eeGqEĺK=[4"@!dϢ dfE'{E+F9yb،3p%LTm,ubo1hf@"׸uu`k}Wۋ›+xٱQy)18q7{WCZqx3J{A?;+҈\䩴;lLb[)cUJ;P3QБAƽWc7cVFI"щfa2VC!|sY/u|Mז!^=.gnpmyAgYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+#p)Q^-Cc{5"6Tv{$\HBďRgꍐLN17q|[<p["! - 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 C-Q#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/markup B-Q!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/files H-Q-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/document_id L-_'HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messagesJ-_#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/markupI-_!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/filesO-_-HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/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 X-_!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; -_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<׳:1L$NR8o]u15~iEf jbo gU 4`p^ScyS MJpl~HVxGʚ?E_ 0d%2toCb[6bǹ&l&qdx3oE= /EOY جWu.Ni\@# mL=ĶcW2:/ߨz9-quVfa{˃ZnSi&a@~;̦Ad/XLͦ/]\ a|9wozE  iah3ޘ%(fG:=D^;LT GQlU#&]CPcɢF"QN J"#.PH[;!8eVZ\ z=nD?1`ӏP!|Э=Z 7'*kbNaXVO5OPoEYS51{nȹhlSS@\SZ9AW*x({]PҔfO56D; ro e;cA2JP8Z8ٚȶȲp u I:bd9$Bj]Yt q$(hտ@tsn2s@& hDjKϝ&{hY %FvUagQwW(G{:CZ- hC/EyL.:}r}y0i3jPpܥ:3NfQ6D̴D`=/ ƠH2 f6XPE]'/\_&z^;Ċ)ZB%)NM]WQmP!fη;/ٰd HG,0ܡf21tsD49jR':L.W>Mk.}=65VPߞzҙ/FRJtԑ"iB$3|#xC}bcˍ )n2dDbk0E{}H"iV9 kzQvLnᲴ'΃t>wU?Ehܷ.wapgEqamL`W5Y]X9-ͧWYS~o~^qxQJ#DdSYى o|&Wmi s5TU 0+\2\jF2,mX?n0_`Ro*_'KM Old$si\4)|zP^ 粎1ӁMdgtJ,fu +ӿ'EACe.Ju톞f-/,16e/x݇ywČm$0ont ~l$j Z(<(}/i ֶ\`fhcM `>i zz rb~gԮI rґ'tQ~8yk+0܅3~# MSj 8vuYD~KaA*2iD6r,2, 0;fP9akPm0G>]쎣a.A2b:5bZ-H:R<:.y+5) ,Ir xL~ l袋_YLjBw^O9krao v\JjuzO6>cU6*³~bD Xu*ʣ=~$'N*N>XrjmvZ²ہA23gEV%+ޜ5=>ǤW=a{ܘ闎 EoC>Fө3~۶).AI5,)}ob5<ƒU&QBZ1$XK#3T"pLJFLH}5c׽Ih/S#lFc:( xzxϲ!Ous>xD6C5Y:4'MZ+XGL*Lo"Sa]7P㯢&[DAqCzМ9&N{|qY&Z?9~_}eQC]"5: ~'mx= \OtX-od\-xɖ#Θ3{"'@ m[ >z?`~S;ȝ<׀Ex$Vo@ʭ?RR7Ge7?zmşr׾8 8BxH6:wnkQ9dhfMuϞs EמۑR^P&V,r/r0"]MzLj'@Nj*iQNeMţŲԣ_dvΈlXV&0 \T9oW {T$Xಳ6τ&F:ap?a #:F ;W2IHQ] {|ؠ낮d[l? z|P3fOW?eP1|U? K2Q޴%pJss,Ke V 4)7NNɌ o{u ϑ6 yR۩'22ufw:=ʇvH? 9Ce @D"U6$P_ݍ"@M2!"FK~SHH(>TQQWOg[`/t}w:?27glHv!FE]oL2>sǠ懌-Ig[? Y]Sfr{-~<hm >?PŒX=1q2K)m㺛Qԡ3ODXܪJ|:N5;|˄9t ;)AT)NqMuZF =Nxw-i,HK ? z,W"lĥ3}ctJH a}@=گfͧl5\=qޕR67AbF&FbMV◢l0x`M-2(4h))+ҳ7¹!Ylߛ+T̰9/;hGgf\t`[URckZ +n#C+mu2V _tWV~c_GH%(v/XүMBB9i_uXek48C}S{#WBL{XѼOҎlZ}q, }HbH'Cu̴.s 9a5ZC7[üD!Yh+V1gTS~xGb|x1vRJxǧ=ߛ=7Wldt_ wY Qf&Y?X 5JkCG$JħɏdwHYvTKy.7,~v7d\~믒N9}`œ6)p 1m6q<l΅_EGC0qY7M~uRLpHh:UU-VC!>W XTonW32}K1 Žy @>?Z {*%Z]>/=?0"hZ.*n5Kֽs!JO C PVۓTwߨ%qZw/E'o8o7}zM܃ PF)n 6Dh1l_:CʡcYyR1n>˺0ѫ*E9I i=zoSaRXC3/{-c'ڋJaXŁmѐFXAy\VDzݩc//7緙n"OK.B6k|N&:pzPSsIrIz@߉P1&T'qF#wZX[qr&n"Pgi>ˤM/\FlSK>(&]OM WQe;%m-g8Ǧvu^hxK"Yؑ‚t]=Dq里YzK| j?w`V 'E+̉ܜ2AoNyDԨ @fSEDWKkDnBpEĺCAOp7Z5p-]ՄY$-8ۅ*7^Kx&c/UAZ({LW\J֭/&BV8VU;>|DdF/G7Tiм]'mo?רra™&@OZ_ VEXaeuk0VmսO o'@Ǿc/')1#V|a Tue3HZkP"T !W; 냂@)jpjf~jI~G+لmyl7g=5:*Sժq&s`Yi7`Ӕ' ɰ{@@IKpl|LQ5)b"!ҌA|-6]VѳT+/%1~h=J~ӭgy%\ ٤l}BT_y!J/f(tj~fDx`_4^`KUX$1Kxo1i;[/a!vKD/_E_a{,KfLm0¹:Kϸ] h lX{!cJ=QHvxC/"u0X}j^);ͳ .)71LJ[b!@ +7hWA'Njdvr SS&Jf9vB^Umڃy0;> tܫ\(;Yw9r+GڎFפnX|RJۋ0QC Z;6#Q =I8]]#sO y| C  ,('t,F rfԉ-eU x%jzOp`6{[Ġ:ʐƻ 8TkRTj!y49wXz\ѺneۼDu[Q|ğowN4dk:^R+uP贳;:S~7ԛq_'dGWTز|[ז@6Z2}7p᭢&NHD%8Z9W$$`ⱑC&jߒoqf 8(sL ߖ+y*%) h%iS<5A,:UEp ɡI>z *%7EZ)=mXջQK}i)E ./M؃ KU_ qP8zQX-:UyOH(ӴBtlGl1 Vtm2O,w7 f?e[lk"GA+\C,z J)Ċݾ5>;] \Aˉ68(`.S wm4ؽ2K&:;~"hC[4BkiV8m?(zzꩤ:hfEX6Gw/?,=ewlz$gUQ7ᩱ!Ղ x>Ffѵ9,Į\frN@a^4U {O{f]lD0:>H,QZA$sZInQ5|[]PX13顒ƙqE6hH?8hc܋<|k\K H&]o2ƚm~*ߠ}ƻk.D;$ʸvFσ3 Zs'<[ϐdmFZ!*(@u<80~=Ӫ@q@V&a6;2g aq(73$U# shrB |$q<~W\񅁱[ e !LO?eΩ5k@PSVX]~NqJNSE#%I/j7hWC`!=`$۶f4Kz+g,EGmXcV~GFD`@˜ ^N^׸2hu;:ƚtݞEȒ],IƎ^'^QdԎ}}B0 ?6Я ]>F0$~%tl{6 ^PvTfrnx;z-D=/8QV2PkM\ (W dz -G]aT6!(ԣ{=eu*8SSq&I)g(87?XA!@2yW9ׄ=_9v۞.~vcuo:&fVm .ﵱ';8a(Ceۍ^rr'kq},0gmE'aɈ`)sũAdj\̼壚y'l:-fpҪH,^Se^T*Cu;+[.AV7ӮYތ_S)PcKPHZgTFscPNֽDgGsʘ!$99pr=* C7J6s?S$6yPHSUER&d9gv卨SZAVqBǜw _T{ Lڸv9 C]֬s~!8{UXY^ 2ë e_8IDrG{b=uq^`R7Y9q+1pA+0I:!jGH7hz %-ќNyL$[Cdue3HJsZ5_٧]xK,6O;2 Wn1*p~<= t[yg"đN Ԭ1{}ą)^^Sţ\Q~*"hVk^anvCJx\+KDtjLp8V>@iAtbɸVtbD\S@å-Q IY/sX\Rvn*[Dv<I'H:/X}ףIu/9ela@/+![ y m =P{mTr99:CTf`(*h ??p@wC}',FnGh@'o3UiR"<$x΅4}tٺMi;mSڛ:u<('(Yb ~طFwYbn=@Thu㽩S48B8D$\S)Gzxx˺dmi~&8~3zKKfk>pɐg}o՟7YxgU0֜I'rGW3Ư3= QY(!6b&cﯷbZf&ce/>@;z[Ȭ~a13ȯzCv9P6&Awlx1ލTW+-/_;O/c-AXikIO#,Ij9'>O/Y\+T(w<r5I,$i}AAsM8>6b>{i.yX[RoB'홲nL,}2ws)!Yh\bS&'ߨCz~)uW.c&( 5NO1"bJ2rg:SUn=eSM!c6U dֳJ'Ӊ1xC ODJ<PU|wH*W *JJ;LCE@Ć,kZ6Ȭu8Ml =pt1x<AΉnip҅/Hl뫶gژw AҟTIrYivhv{^كkðD؃.nmiIS=bbZtX{Ȃ2A,+7udMĖ\WOPLnBGG=3D$!~/ǔekz^-qjy,I)f_ܩy;3_MSG\F@yę $2@OJ5;S]@E*3Ұ6 B=v@y*S$QIk-]ǧNZ-ԱY {$@`/ bƊ ͠s<ۄJWdNW2󈏎iIP0%tng.̖%twN`wL|5㷯[.mmJEmͅ + Ў߆Wf3JK'9-K6fWf=7fZɛ*_d! nbw/`#L AXjxY#)P0̮*L,k)P/}ܤࣱ-\ZPߘ?j cӜ-]d0oH3C^WaS thl|J\ۄ _|9&YV=~i | "BNlXU׿6bU>sAKz/GY(~؀^ [Ig(R]؀MIá{te4?']mvK;}o#sdbT*i-rnw07df@ܞ:V|-aYQmi"+A, Ib4|FER"JLfcOgyM]jUZ gyJǁqHD7< n=0aBפ>9b%<',״0] 焣9pOlx 1|u{a XP3kа؋!Xw[k|ނ,>f*vrR,$"e"r^|VdX?2sWȽ*,ÏXdaNt LUݱ'*.(/ND&Ӊ,KdX !yV7{f\|qMRI> $#N4 F $K c ?pa=϶7DXUiTHkt7[6T9F|_֕Z:9DhqP^rNlh1DjqX) u]B'G4{o9m nYq [n 3eƝqc=9VDNa'ۢ$r=~܃쬾wPoޛOcE| ӒLnl\=_F-ȜN]QZ" 91[}o3r)`$6$ZA{y.9{X_*aPGKΆ+L W )z B34 sj1Q!̯dyfTI7Bs!>] EŎ[HX'UdQ^emG+XKd:gUiAڊ R+u@7K7!#wk'|BQ- 6.^QHV@|t>I}E0UuW:Jhb_.'+%ٴ;{űۜE gۋi&:6NZRV1cl%‹Z߉]/ξo:Bo{Js^@=]oD '  nz goMhX 9i`cY}PC݉KQc"uZ@@7 ::dJry=xFxku~°8%J$aIRy^Jȗ~UlWవ,M&19EׁIâ/ڃ:=^Q$dRÍ^F(ÈEW#XtJ%h#g:ԜL wBK-ļY5-6Ł8|B2*3F^յk+Nߌ@! |>x@O!^n ͱLl-B=h98@$kgaW&BP,Ji5[&s\׍o&|i i=T$=0xVΫ/d| xUro[Gd@8g } jJQ*Bʹ'`6鳯{Kw;AK,%X"8-w{Hغ %:*2\rm fCn2lfP_QDS"w0ߓ[8|Yоk/og7&oV+f@.w t(4bV= 6sp$`c-F1H鐝 w0%Cnp.};:曡i, 3C92B0vŕ2eV4m)eHJ_OڵQe,v|OA~}K2mT9<*}r#Ouל$j+2.&C7a~]zB6˞?'"7:utY-Tg~$BCM[ oziH5/Ē+XmB%d39`UPY !~6yHƷc@唝~0a];o~cXA)q +b=bd8Gg$Zܘ8 *'jJȌmabГ1ELpԷL*P6ܣK]LRkjgHw*YNb1db5WRNjWWбE.ZjL 70cd JRNh|>&O^9N%)<e,2Kqj[1 :@7M3~(qń9-XySNJ'H_X Fi[ $<'6Z_<- @$۪q٠3׊(!Kӵ75Q^V]Wcխ5h]sJ2G ^aT)gv:~U0ĦKUN:T鰶3VLDK$(gn)&`A^WP"y"~&ÁK ?sbfNT+]KEpf1>bw@#etYCQ_%|v섡[]©% RbƝ?$8'UKy-FHH'i8}^ 'DZB`q~hOlG9ZԸ:ۈLgv?dm!:m8%7*k{ܢ~qP%CF=뫗hﴙ, 8elk&BMJ~uBG荂nyо53~ sU<,-"9Vl#O/!_2w _ő3=2zІKZ4#/;K ԭ L C+^kΘFJAA<7Y0V1 iVjuSΏ9]ÀGк7K*{5;\Z_;:) Zj<|W_EYyB_)6B5P#њF2&qe%vkg:Qe&/@|3y#w''^|VO5x򎪶miubpхfyRtѹ1^_Г{=d9sZ|L/ k!h=NkBEo:y|! z)28I/ o 5HIǕ8B9: *ꞽp\)ܨj*j"QD\|mA "\/@xV -y)0QYEK;˔=Q-j=1'/l|M~(qD*$zݹaeKɦ7j%5<1ܿ!gj Z:~z?zv;s1B;H+u`lGS'E9Z>)7fjP7qw ؖ52XH'XRmDH.8M(ȘGfOVWG:p|ekwr8HOqx#7 Lb[M9 n݊\#@=ӎjGKć&j>;o\V#0yq)2HIHẁ}u=Hw|,j!LAH!njYm-TipEQP\ y>j&WAHor?4O`^Iʭad0sٲ](LQpܶ"qAjNc BNVڡ32?E\ J+"2p[k˟[H~-1 'ZYb0YxVYF^8G[X6b.]O@ 7W3\߇0e_&6::|[֑q\Pxf G,q0VC,$7S,C)4cN18wW}g}ߑW |'VU|z ?Goȧ,A3BZO6~H47"k`Ы[侙Kl2koӔ+ZP1KV.psJĭl7Uŭt926d/D͞YBrt3Y*3k[68C8T|? ؑ͒-dn=XAHQDR\1Ž9MW"M,J`餞FqY??mogAeyo(n/G^Xa»l`6ө33>piP'du;0Ɨ4\❀(IY7. =F56;[M0L(&‹3Ө/X[;&Rm Ucc{>&iO2;.be8kզJC~շO .AҗOk2%%[ M#xlh~1 }0Hx碌׭Rj;aɀM{tCHِ&o09KbgNy[s|S|Uc` ^ ;ҥj( EgoR#6iHPkOHLܚmpcw@ , 3yfrm N{z:ŘSxb&ט8Bm"3eK$Dجsr\a{>~tѬ~g dn什~*^yNI雳2bv ,=/A6WAC(Ac. vS* H+&^]Xѳb+IA*؍Nbn~[;ZZ#!!X=i8mw5US^lީ Xfp*z.AB5|Zke^ rNtu 4!`v Lf־Q[w&VQXN#ޟ8vl3d9h!QWzM*Hu?T{pZ嚻 Ѭb\ޡh.ni%jYCG{0B &ڽ{kή/Cl;9r5c ^YQ {k2L1nY"2O#tT~N諂$U E?|Sz{] ;*'* G}qak8Y"Y+]c 4 OD_7UbmsRpTiOUNJL(z@kd^ΈH* ȇ2Da.6kyOI,=׻OGH=7N.1O%*ك_d,( LNgljA_Ox1^gp`Xdl~θtߛQ?Sm*/x. ?mZ,k֓hWQB~vEW2P4ՑHm>AyYXґDA<:h]Nf|'=Ik{ jESa;  bㆩxéƥ |厳J މOK;CGqQw9`j|Mqh>uBqGBvqT+ssuUO!c7\Rt7IXGվ@M/֘ÌOۧmFr\K(xuXjh. Η=Z$|Iq"twه[IbrK?~eu}SMҐdj$-rJX'X˹3xZiA,~?:wucj}Hr$bGq5CUjkz>ȭy6ԟdJr%+y)290'Db(m}U*#/bo_`v; SCfh+g1R$523tiNO3I~^ydFOi6&ApjHAIe_Z#mgtp|jŬu^&=N25K\OZ٘Q-Bj @;gx/VHUu _IQ9{w(X\@YY'|I8Hf Չ.4U^O\aƟ,緜sSW9LV,¸W|*f&%n[ jq~Y_,HWM0:=mb֨e vor)#w7^6õxz#=`@I[FظӣHޚ]ƧWOǣJ87~6`[[?ktXpcpwV6vr`tt×JPwVv冾To~ݚ6Q-Sh#]-x͗:ݱRu yX]jE}c 6_R;y̝G9=J&R-e#4G_R v ?s=9Ȕ6Bq,3.H}7ྲzsA٧e% )ws1>NP X' s9>ଜ̀ݟG1JXzG-15pf ui}+h"Ѳ{aXѓEmwנSrJ;46C#m1 W*^~WV ;H=61M 4WpXD9ƒ\bbJ* Pܙ dJ<n皵 't'cB]Tg??{5 DӃ>,wJ"_ :A^L9No jQ{?NEX#! I^z-FMHMȍAP{Ԇ6,up:>p6P5:NpcqJCW` W}‚k,G b]mp|Y„$:)9]C[;>Fp!_L0YC|jiMouKtT2v+Yɋ f1,"Ð\Tr^2(}c9}t` ~9d0D42y:ɡxS+Xrn ؁E#t'X^yqvR. c>ᔜ3k0NXR1ۑLס} J1Q2Y!:VdžL>8׏e&JO{(a=oX3]/M/Wʰ¤w$.M૖_4ekT/_Ԧ,l\]F^gۍ;ޣ <Jʯw:O1Pڹ:uk;gUФD5&@/ԍI9|$Lzo쿉GX4R\!#mS =O@G˟+C+f4p90&yhx)7] L.Za!Cxɱ tS%}V0OdlTN F)ˍ 'ѱpxP H7vvOoiop-e4 Z Q3#Vn2Cy~%6xZک}RAVZE|yԵWtʮZ031y${\Kf4h{+26'O/]7+"{):[SA2{R09S(jE ㌾M@KׇD.7Aj%%Vϣe Ē}oI!+ةcXEV5 vB~GN8N1{"7G>;JĂUWC B})*TD7 p0//<a[& snT/,\. 9aҔr:]N(9'N 8W4^^u -R>!%`S-|FOUwNJ`4T.q*fڃ竒(Vdg6(̸b=y. {_KdK5gF,҄`+צ@\,% icuk< ^+GW1 fͭ=nH¥)|`3#fQ9 ɋGJ! 38.ĝ}UJO+6tq9 Rwasp45ʌ!40tGuCأ?Ӏu+6=)J?L/(yo$np@_#6FS)+]YXcNQV[fQyT"[EKmp Y] QLf7aGy*Y9zmXU0Z +UĹj;9I%(@_dm +JkH|Iz*>MP*DCtZjE Mf{F#Pn`[5w2$ ֞WE_ [HQ.J_\^--gRAHeAISx+ˑN1SW/@k3;D_XX)N)q`@"A7b/jS^iTg[(p(ʜN=Y0jD;K4T9A GZþRU?bWfcymk5cGb,sF󡧨9J,AڅAןq/8#"nktFmb(БneoX5{P*{P~$2$4J.@Mn(90Ece"J9^$NteEeZ3.,o 9M_90Qsi$|<)7w{]h*,eczYژ]">*^NtFx|VAj,$^x`L|E4kk7߆xQ %# ib`q2ahaT=~b2\աen;OƶsB姓$Bpc:Gn_@<|xs7_6١s9/]$'{bGg ,  xF-_tzsz r/&)sr}^il^3WHe.s}(lNӡAmrz6} ^Dfmqм+p^cZ(I:4_6ǖrq!l٥QQc%ptK,!rEq0:SĽa A E[6+k)ycE)!L7~7Ri^?czEuU)1Yu6'2G4Ar=tYW|"6OX/7^][nϯdG1e[Iˡ~䅬Gn=\&\)~{.Z/4>;(,:|#Z4 φ}ҾG4d>g2u,z nߧY\-Um.ٻH$E(S۽,nh)ƚ.vyL#掚a QO^ CYO0-YJ,s> b22TzclXpN#j#yV:^2ZjYzn@$܏מ.wi DtNαZ s|>;oխ(:vl54>6~ꩠ_`(<Ǧ$f(eIb##qDNK<50>J{?Jow[7] N"J5@B^F|8ƀ2R嗽8,pu"u;7NnnԹ/cp} 8o)+-sZmwB)1cFxWIV#%66 vIj/ `jϓAaӣu&A15[#8{bi~mmV :v3lfz1ETN(,+Ĥ:f}S72!B.'.io)PFrndϏt*kVbmlv^L+\Q5SPv{ 9ERYA%VAt=Pz u`f-&f'7ݿ"n3J#v/QXx"<\x/vhp`rzYX9]&hfxlfKY&To cE3$J\]ʐ?ݻpqN#H%-1]K/?I\=ԅǭ{hrf_/:$zxpԫfre&KϜ5SMF4o:djZ\uF]L|7#8JllNkwB*_SDZ][4Q`Q'1^+NkYX픽=pkTc:OЪjŇz?st{1mCxX ;k{3D1j`Lib,;]w'ofT )[ND(/(<_~ͶJp @d1;93!,p,,b#wL] U)ǔt(sї]Yq4 7!^~fv!gG1njrڞkD)G--alabenkqP爝~:ݟDJUTv{x*,CPQ !u_4qsmGn+ ӷ"/YTmGSgc]P8~D16L)W.XAcdʺC8hT*?g,h=oTWK1Z~27B|1H:!M '߂4rpDS!ACT21y5ZI}PXu? Y M`^K8>2xJ*z%Sq3U$0ua!H`8U{t!I$+(^"8kB%0C@Q]Xz4ø"NP+}4~PGC75ݳ+֧=nar(3zYCyP ? 8BUl O5vj6]e}PyM9&쎃w&\n#RUuzH"GZ)J9\Dr::O?F6]+hFGXl׷ ŽjQ5p9h?#:X܇`DNT~\ɭ,i;dt):ˏd%D(uM?Bn8K,{H}NQUYo/ޠ/ =3ݲrhgm4RZ3)q$=) I/H-l495MQnBi7-~0w652 To< R t9B08J2Bh{hKUjE`[d_݁aVԲzQCH2N{e.~Jt; |þB|k|2|SW3j?'2]:5Q,{!QX׫u;0YZ $ $ -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*-_' DHOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messages7zXZִF!  ]D?7 {?:fH\o@9S-H ]&-r_0XMZQ0 |Y%-s ;svZ7()1H*m&^!D5Jޒm͔krԝNۀp?؅^Dl?20EyJ;Ѿ$km߆DPJg*Cڨ.i9 6FdY~ܧϷA2" ļW[Tf|B[n,P"Q;檔K)ITV-G驠~XԃN`o 2Ȃ)<}XorKGjY|npk#$ c*]KM sw =di뱶bO[͵V\esi/pDhܱ2q%0h6Fy8!uKaBK?p٠-GnS[!pȐ?t۟{$B *杲l}-o!A<+wze+f_5]u[S",jy {5fӛ$K&%r"H f?9ŝAbqlI*]Zs ,AR,2rxuUsxpR ϴA^!Qz1,`y;@Ao\!!Z sfO.,B ȀrNhUT0cY!<+,A!K,aQa%+'Y&7I_]O`֪kjZ",F,1Eo~xXρu6U) n`6n@γ3@]GZT<vH8w9>X-BA"IԽ5 T4pO3bO"I Hi2Х`\; %r }|>Y+]xT,uSa].)zwzLИoq<9\]B0_7 $`Owu ]V'A*mkoIQwSULAXt^|HDP©ͺnSh9uNX[@v q5ۂS'@'4f:xxFl|juq!!R^+'pQFdmW7`65n!+mQăRZJ|(0 0ukʎa! ǔKJx~sR|gil,dPJehA{=1S`lh#Uj>[sR e.>' J;ƭ^Ua`>,l ǸŹ#c{{ hvPV$tMXgjco6!-#XXY(LVQZ('&6'ӳqVjȵٝaҹJb6%*3]^Rg'iy_iIUfnc@:k Tꪳr xX{ _o~b^ #</?Ȣ&O!{<+:`5o trחz{_ HO{FR`age<fz&vzqH 6:|/zW*`y?ό`e}s56,5YA`, &lI*ͷS5:ּ,~r=}\ËȢ}btO䯮[ d Ɲ:H]&lBp3XPܬ9RYü]՛. ~K`6;%`2|> vT"u a#=PTE6 Tf9>1ҌM=zz0):<(Vmq[+!dY6>B"0G?eˤ Ԛ0"'m@Q*3Ja$'PQ4t K@BڳI][;8$>?)  ;Q% Lz E<0seEUByՀ`w,rAd+n9$6l<̔ƀǧ}ہٚބ+Ԟ$Kv!8DVGc|sq'BǪ&}q|wOvo}"yMKK^)  fi{$(V|y0SJ^~XP0zg3yۂu=!(#TsME9%&b2JM%˱LHU:9*KRXkƠ\D'{۹:v g1B -sNR°Ej[J1iJqY1+4Өd^Ī&wc:)M<:Ǜ+);q5!4ʅq|iy0 Z>YLFi3:L ֧})P&VzK %W K8rIJbyY_#;3>P˯M#EC>%i I aũ'+WCAnS7nq0ö#oQ2T1y TW;Z0eo, MtDe_a֔|~֖Lф=ɠQEH %-:=i(C4` 38܍TǠhԇj2غeCdяV$ڝᲰ`%3P h2BJr5Φ.֡f$O3xT,3 sRG>xGICCbY6:s |:7@a&5rlg>F:jeb ӌ۪NtT=- Ge01TcMM ObRWCu)h _8}Ho3[ #~hHn, aޛRy/q4I`f,-Ȥ'oϐirܳ١s6[|(!OYȰ\Uphtk [^0S%0$ki&&ڇh-)O.b KKvMyD}4xDT˔D1nW 8V}PAݜs)ElSBnfF)a4"kا>G! 4pED)Q6GS"R Hw4 @QwutȆno}D?m ң@7nf_aې7{/q^+m]v8b09aVoQ4Z|G5p 7oVu?aA@zg)7gVZ(P%DhJUNяO~8Bj( uzbn^MbF#}I;S<9#} ۗOėEtJ-k DXl ɆpgSg6ѵtߖqV0E?%x0~?E < =Pma/Z;_1ޟozhn-3J,a骒Ün?p&̨gnDdWY.V30yH3nZ*Sx}W Zfdal|]t0:oCjAO "WLh<%)x&okHRKj<;nm}ՋF]KYSR~-Pl$Xn`XhKDBhŁX"c GT- q"$r B[+@$I0҉!nR V8W/bMLċb/wu{69'&TΔ#EVSEWF ! /}Ku[SkF .@a%%v˾]],] %=n;k:/f)\ƛ20V}dS!q4ѻ)7v rqcc" qMؾ{Nr'n1̷I%X0!x;1'CgIH1l䩟Ls]=wiP|XAֈ&"V*VSh_z(;X.ęl:9H" (-!HuIVX$/{Cx "?;6hJf{:(ؒ$3rC57N >TkWFYp􉋜 1#U4Rx F[ử$B;l((dꐪ X~J< i.5Eo, K b#u|3fo9a56ȵ YR+{ѭ  z\s*Dwd1w'GtJK( I$њgr+^bߩ~ 1ԜSdBDaB(/fSJ̳1?to(c+!"+\#~C2ɍ#KUS=n#k̖U,wJtRNdZ8a O(;}6ޠAXn鿻ߝdvURNTÚUm94ʙ7w kK`ޜʄK+&/ߑk-rDtz:.QRqkա(,|MCHK 1گΣ@ ڟci?0g \jcͅ~k{E΀d#xY6FrT8G,IV7b.^P><8w)h qݒuSzV{!z:Z7 nwWb^fM؀<&',nR( t%4/ ewIRݦDӱ|=gd'Ί:8QԁmҌ X}S@A% LGDBoSFJPB>.х YBឺVmȣh#oG;g8x2ȫTy Gۢ46XPZ6`MB`QM')#iyOw$cRL |SSaQh;}uE&Kc>ްL+SK0޴/iT{)->G{ ek;wS;Րց3՚Cіgi<<1%;|j54 lj &j=Mk JceWs* :gYZ  z X  z -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 -Q# 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[UlHL?\u>5?Y_sfZrP_roV kDB;{ycC[d<~Yg3Z}"u(nflp?W~_K%"JE U5qfcjv"[t٬,[6 \X0L8^!E@*+*9 (QK3Mt]$BC;p337 ɽ /ujw#AKO1\n'N?~F&SH[/ɆO@w d5P%*AQ> Xw6HVhIYAjh1|`ړ h]pX¿8ŏ5>9s%fӟ,=uG{/AZd˼CXc 3Ԑ˛r妍a&pp~zqީrDipbR7]PP*:81-6`VE"kDfAxɃIJ.reQqt swT14Sۘ7#U /R̟fyDO[uP2DR# \>;x%Qs!\t9T4+KWM ׋%U__U]v@uON$=96Zj]n@[>jQf=r ̪ari (-) J##$L`,Iʹox[v;an^NCVѠ/X]'Y ǫPTDn?Pբ]g%?"#y7 U8pt,1vEtykIu1Ȥ ;B+58`$19SY2-FΚ(Ax$FV6APܲٵ!IV 0$7b膬ґ9hL<,=IsEoKD4SOEJC 5*rDY+xG;s5 R.]OZO ]|X?5H<".I?Ua?HRl~4U&@e<_߷Qo|S:bИ'>A xRyvSdSƒ<&sU +RX+ȕq,6ؚNq{DZl\0<|4 }<#|P/]e:J9t"6]yp!\γ2/Q1$@;8[7R5g?PwN5Xx 7^go[H%ނĸm8d"(mǴDOMٵ,מ'+Csz@_ҧ1bZO{aw{Ua4VCfVUFFc[Ot^^tR}As{HTN?H0dul eꃬTZIc+Sd$#7l)r^%#:nBHlow,M}TxW1TsBb^5DdDeܡD@aBJaQx&d.#G$uʊB"E`Zɴy$Z>+7m6meN) ANJUov k%I )f׫Kl /|%N=R5Ate=H!_;%g5GYn1TYɡ*"e;uEn&#?Nr V^m Y+S%a\+:RgG^XkHeYݚG,%ȐL<·h|b 62q?)G#J+_0cJ#>+閲IZ+9B_PA<2i>>}VVZ=}JӼ$ CUN].}'J*y-бpWu}0FOmez;LcT4ѕ\wyqOLZR1h)OO|50$ صF9@m k쐥fJŮ.$V#V{vF*/&-Gp}-{FRnjx ikyZr84{yfNF)-YB,C'{ <ΊI;۷&3Q 0{_2ùS&[bK XIt)/Ô~~vOq1Ó0%*fc[w) G#Xu&q'|;g^%ҢZakIѭ3yh,YSjxl]V&R5A+&LhU]Sxi*Y&SXCfANBZK7XшB눞>sIj^"҉"x +aF;oĤ0:6N ~iܲM/ 4߻*IĘ*Ԧ݅Ҁ[߯/"c;_g:]=hY2ɭYµtBS~6c å*^~"i p"&3 }3x_EY*{A Cc&ݬҀձ{ G>׸;եn{l kyr8x]uMbaA~Ϳ8 M*+soh43s 3u5O]G&mG|wm K{'<)K ʺ'|Zn C3L#XRuh^rmkM~/] >Sk2%w&d?4Ko(L/'WgYYwR"w&@zLod,Fm v(67ozMD`z|j9m<?!&=?)R 1E4Vo_eR_ENZs b.34-RY{x0:w9gp|b0dy֋pC%YPxG qyzU[*T07v !N̐໽6$a4- U͂U@׉vh~|O$"/7kmٺҼGW)3vTk 2]h8EkZ;)8{ʰ-SﶚL`kTX$&߾d)1 %BۤrAv¡xgϏO'׵.ךmjh0 5cY>x]Pv|s[ml௹=TLlmaI>< YF]*DQu&dmaHw1%[yz.Fq%`6O׷ܻ|AUX'MJU g9|()r.6.M M7|QKd0>i RJ`Xx8؀K]!Gxnaa#gcWyQn/APam_.^yejLe|^j;#۬uˏ("FX5mH|4 8X>@eg{vcQs|Q+C}Ki2 4vDp zm7nIEAd/`+\Aհ44aZy[ Yڏ{ŠR>ߺwqjfY"Gjw5Ib)ubAeGK5̂}KEaX75f jZCW?q9{o!ԼX%NUԳ4&@!"Fqީ/$d RHJy%+ȕlf5-~@ir/msC5*K$#%C !x2 B̮`,D`ycYYfWɺmEê\/kL@271@,d"D55q_lwYw`Y$I 9qg!O^M|1}dtiS2 Gy6nߑ@К23H21+?Rͦu_rcO iL} mH$g*ۘ AՓ]LA|7l1ْAcCt`2ε, YITt'HjkDm+)ِU*XfEmٛZk2y,{5'JɼƈUCZZ =`%#sjzOZ%Wo*m%Jc٘3=9ݒ= |q.`*9=Q\`aͪb>QU5TQdxVHkIP)MTe ?-n-\fD/C 0|) E[%o+X:pֵןrt;@0m;5-3˳v i&UH [Ewux̗A7ЁSPyPNs}+x200sJQ pe H`rf{)7H,mkw8h*&v;n FQmUdaz 2;iL2^ 7 ZKP*_(WPK#h 2ng~<6)`-<]rU}630~jid ٵS  Ey^NMn{|RulDST2L`R1lrڸ&dS@*0ޅ#f$ƞ8ڝҴJ Maԁ6(œ1Ĵm=p{ ؍H A(DήT yD~u#s| )y2gWEGy]mnq^e8="אkʬ5)VN7|JSٿުbqWj_}WyCZ:;lN)*]ˈ+3Vl(8>Ov,MV}[6E8tʤKn$va-U-j]P1>o$n.7  ԶϟK `Uo'o$=$\ |1y=ܸ3>#R[!py!)B*"P,W 9ܣq̐4 W.gaC&_P˧n6gjBVqRn4~[#~Cy'.š|Ö\2c%x} *(SM<|bKGg6rѷsqF$;#MC EzXk ac&w]1.pTtas9P{\ʼnwQ4Bh_<1V(ez|6ϒĆvw ]ME*8!mF;ͥ\itx;)l[n{kxfQD]Ny/#b+CRb>xp1_^G%Fc1"Q\ \jcs@}ҼopNIԩbUo;0IC%xZEDcw]+_\[_G"HtӶw/٧:WȌ$C4ȉNU;~螌0 ^ɗ ++tѺFℙ; b#PN4M<uxm +g  t4}eZ".,4z^X*F)/7ۍA3%4۠:E2-U"%+0jeK,[fdZ}H~IΑ54 lXؙ \>$cJJXnr0k2fӗ x;Bp!nadI}: ImAƄQ0GGiHfs_P]2v-Tc@8vOQcqDsg陋j5{ssrDQZW5~&pvm;zɒJC5#H]1!>QEL98vZp͈ duk P NdG?5H3$!份 r8{i,eC(+m&MS_1 T;w T3_GaN*UGk}P@C:A\ckN7MwMڽ#(1@Kɮ"b݀gIQ,2cS3 r5zv&L/g8*DCt-TAفbvXQ"b ^VRݸ>@JΚW,Vft:q[=B`"X|MoURn><%0 X|!JѼ3z=Ta1&9jB/^qǃSwD?AW˛h-*(e>~kgO.s1֡ݛkXm+l!LefZמtk(S wJ c[s086'Z<s]Sha) I ,}HΞjNc^V;acrbNlOF d(g=p+]R#Q^45|!ui1Kidd,/S2Hwl#%t9PHO,M*>U l2>Guq3c&Wi^~#`#D5ּ[k^caԦ ON Rim΂AWwR`펂284=@tE{f3GPp]PlbشRptm  P@rE<d8zLg$YNHNNju4I^TluR* à]ɭ >U*>VH}/_@1&w;sQuH8Cf2,B}Fo]o#qۜ8`K1a@%&QHL_(2Z4Go~-AN2½5%LYEElzۋHe,cѫ<h_/ClgY1z6!_FSdS fNeVfB` dTKmQ#M8HfB%BWr-@F m5(e#u*kE56{B~Gg}nW˧O0NlٟYyOG?Y%T1z+( 5rv2=RCωI"g =ҥ W%nr]Ah[Tl?ŹZ EYtmnxS:/+Cư9ʪH}BxWIwĂ)4bRՊ!zGJeBO4Mm1ZC*I ,vFj<Ecן\VB7OOaqzS8 5 cX(jɶylر6; Dղ7FINft8 7eTQh"/ y^9dӂ_T]L{]"mgjkT~ďJB_|'Q-(U-ޣ$^5Xa{ۭgi6>j!4gz4V Ϋt>^Z9).-*Fv/l)S[+yE 8XkI㔪_ `B :ޏScjD=SK 05q^^d Fބ WE[]ϧЁu@W1Vs4۴ɵ+_grk|yS@/ξMGmޢVyo^O sr^\!Fn"; V1*:9j'=i+c/UMkV56҅˺U(C,i &:$:17Ј5mcZG:TbrIi2޶d9%-=*6V}?Bb2Us)2]5p/.9zrk`[N]m~꜃WYg6q8ɂu17y'[~^LQuh߂C <Q#1'$*Ü 0Bc{SLTtL5؟EW|l|8H`VOذ<.§q?h99D͎CM+$`Oaȫ<2|Y n2qΤt[b=6mWkgå.ּ;7,u󤗉ѡZ{g=ŏPPB".=qVcc{I},lدEZ[km.#\uWXGA)&gM֔&(8GiqKY:Ob>! c/ᖵ0RDәF~㾥| Pl(IPtjFkHNt@萉6N7b#҄?//3f`qgft]q,Ĵq3p'|WJ0oLv*S^@wkI>/mm?6W+Yb*4tPv<~ U޹p^|8fvx?<atO*6 c' lk][D6ŕꊿTv`8e=?ِ>bmCBZiB]$@W[t~= xoB-2XL8NB[Y$ l E, @Dݮ (b{AOv?7w|;'X9-1Lvjnuo \zcRhvlF28/!UI/ڢkH͎<uNaz,&MN ψyY:0BpL?c5g'p^h9%.,'ܬeS q* (hX, d,rYC-͙^Tl9P!80;$&N4UL_&IY) >-jO勗8PRRέ|ykoj&qۚx-@OZ&'{=U՘3jwhCATm1ȸf5; ҽ1/|q~KµH=Afa<_SkhFw &~Մ6-f6Ȟ#ઁ6q -CF1Pς;}zJg  ݪкi۹G0VuLpCWSRtFb(`wK$(_2"c'Lm:xEw}c-%%`@'`4~>L>xYޅWJjV{w-=3)KnI"JWrS8짴73t~ i)d-zbimzY4bn"t˯5}58gYZ oo~ -Y# tHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/markup7zXZִF! W9]:F.o,V[hZGz\13 C1a _[V־\'%8#V&S icr$/hc [,]/5vq[~va^TCY>MlZ+o=IŹr'^CZ’(JCwӢ{Z=1Wݝ%#ƨ`y/J bOv5B.!@1)|mgp]pI0}GNE Z ?aվK$S]qWȧA~չpDpdā, ^)igrT] =L۫CkGjZ ۚ TL0xIp6+)JA=w܁>)bl; OPˤJz}K-$O1bMf :m/|WU;%Yv f !s79bFIƉ< p&?GwD*tSޜV0XNlӵ^-:_#r$dyJ*6IF{^Gvr۔c! %VdބaE  C[FɮY(S*KG2!qI슁8+h8LW@gtukWbU^*Vyb}Һ<q LD*bپGm=c9]8gs!k~"I%JWilH33e){12^Yv2bT5}l`ۧ 1;]NZ;4g=?Px_]`ݒ f SļCW =/dWM規0fp"4}& : m'mǧ:U9: b+ C.u}eͱ5[A}7Qe2lR\y0*7Ǥr&*##<) hT,)i0c/&G!IzQDnkF6T_vhg]XO= 3Vu|;c6Ӄx˰dDEҊŐ#rx]簖# 42$W35sP+V C 5!rR \xGSX}M(wYĊ4L*nwn?@–1}Q;X2C%'ܱ#[iLLȟqa7O.rԍei}ҹm8i-o?yRB2-r)ӵ7(?h0hE-t<: VHǫ#8K S+{KDmSYfN g!FmNFW ſbk&@#w#)6ܙ }4v-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' 7ƫӄ`aJB9FΈu Uͅ#N~U0ҳ%}0'xCBnjxа^Jpi.M j -!LY{g6D:F$gm,#](Rd{cV'|@6X}RN㕵M=<_J;DK[\8WE@cf >.hİP2Bgl~qERDKk+u v^Z1}-mi6xU2'ɺYnyМ%0o[80sýyJln4գ\"*z 煥2}H\8`١;Fwy]-}NuEli۵3x*[.Xh6<7߱# 62Q +F:cm+g.!Cs?]K i D :WH`vcupyGyZ\ ;OV>tHdΖ:?Toe~TfDU,χWC\ N^\X]}f@kP' .k>DWuNQ.L?*-iZ9ps2CTg!Ӱ7R>ړ'+*N<B @+Oev$CCpMk /=Q> Rl6VB~ra~Pa*s<6. 툫pUWD.&~ .܈]|T,eM6FSOoֈJZܫTѺŬ`)ܶoOs'8 %Z}#'O"UKg,1 CnZJUw(,|n!vn#U\hSZJѝ \ҋY Ss2~@Ϧ=R1U:v/MiM΅-wz0`r{tKS?8B#& 睎d7nYިRL/r<M1$2f? 8l])oAIתy ku,zh|UZtJ |ӽ8;:v1_G: 9g-1/*4lTU؞ӄUu A2|s JAV^'i(PmƳ6OdI>T>f{ʵ~BadXSTP(2!⋯*l%~ ֨1+D&8,Jv-QD_CRq܄jGqkQ|Cpןwi`ޓbU=}O!7ШQQ\g.zaOuR5R"35va>- L٬L9@/6 #ZCj=IfE@[+B,w۵!yKYN%y#z"`Nw85*h3"d7 L\%^<+ݪ,ə+9zwfR쟠/J}jܻQTg濣l_m,F ưwϙw( ΁_6f<:`*iKJVМCqurW\o@"F' cksp[DE]F&o1k5MmvW ¸-UM>*/4DlgS8,Zg)BVtiul:NvG-[LήO~F6[d6<]0GO}vcI ly⻡iV1#o+p,# r{qn{0:,Qȫlq.wU(mõqD%o]o VS- lTUAށ*G3mOy`hx ^ӏ=EⒺ\K_mfZѼDkbIJҍ\_@6H/l]sPiəÚ@A6]XD+gG4HR`pi%2ǀO$rN<:stm~FJlHsݿYp` pB؜dMr=Х5aF (96u\FtH]X.@A3$aa ڇk`/š+l!\N|}hJ] )\ƣ/̐@t;aYYLgSF~T?Dsj s2t{ BK5 vѾuJy#1O7"9>ߋ|u ǻi(@tt*6D7>'6<7ˣ!E;6Rfdҍؘ/!ЪJS"ƙmq2:牒)N#l1/,X 9kL>n5 hu`Нv-Z*Io^B6׉<~Ќ5S[- &LF $b6(XMȏ-ֶ=`Q1;āq ¤62nVȸ)K2C \6KCV-cل"[ޫv8YG-eL%(A*|;^s#+T/vd)S58AMi&c|.k7cƚsb0h؟gYZ MM0-G#lHOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markuptheory ODE_Examples imports Examples_Integral Examples_One_Step_Method Examples_Poincare_Map begin end "Be̐l0 19]ǷPA 21MNɱgYZ7zXZִF! `׮R]ŗXi%TW f?X<`{ֲ@`b*m8=O i:@| qo8DS(u mΗԍ+JG-(^aDeo_#P;*幂֚]zr5+yDD&7D0:6 /A^`]u-ݫt@̻S[ب|!CA6rԕqN-~( (}[ 0,*e˒Nl&}`4! SBHhAXڻ&J <IԟYϺG3:vcwsBHy~-Л)5 Tdk^| 1ru%.&9,4_lg߈]"+Sy3I∥k(zEbG]luRŶ+$&Vc{ uE{˃ H|璼~>()s I#kpmj7Ӌ%r Rva@ŤNݑ?`ڰňllhp[;E#D7Vq7=U_lu.[ERo $l]nU"+;rq&>'+~aI[tg .hշ0L[T 4Dt'NwS){dE>P1i[{}Onz÷CЮᨽIi% ļ o!׷h;c=jّ'Ikyc[[p-ck`jbMjXfnz(_X\ÞKR$!& YsEيI|M caw]_@> 1"}N)?@вn͍PgphA*sf51k9nѰpBdvG~p,tԚHcžL,}'R2mriv΃8ޕUL*„~;vQн{6fXϩQ]=) 誣Vg?9}6kEbhQ^bNLO@% [QhINctBdG:]Ф2/Qrt}Np|эTUQ74o?̢Z,;@gYJ_4".U/8p\l|MJua1̟]sZȣ`M f}:J0Zchh/BC9beUSwm"VIʸmlkcLMge*P6/9(!b 5BDY󊩛J4 w| D9&ж@Ì -񾼚k% UvTd4Hr }H 笏' xV| NS6JFoҎs@y`y+QLν{'!yq շMoqO;hOfLSQ?m2e^5~X&q s/V{#Iƾa7+qʐ"D-i*5bG|o+.Lqg[Tc:6J0\HWR[Uq)j=]uӍ;kI63˶|Ѯw47`⧿5R;!uO{5. }wu=&AeGHBгjQbsATKG&\G} 2>@ʮi+=pfRɕ<R(i(qqpv ".H/ĺ<7h2$sF\`GYv_ 8GcU5c~aeIϧGGhV!/à=UG!x,yzQ3kwL~@9–o '/YLEXLA= 0avCg |er)tRMu5MGPBsz;6mk[6?Ҭ%9W9q!JG'Nܝ^m2GmbBJC-c]OVOz,$gycҏNzhaS4fG 1vn-d+Q*:=wkjQY*I44* oez C2c{6x sp,63[ ,*{ԅ2\E%ޙ: 1oܿ@Rޯڧg"(gpsh#x~p}ekD37=޲>|3 } .>)"GU_GY1՟UۻRbV|v^ק-@ؑijVu WTndyF`ӾsORϦL5QJ$Ν3y95:>Y rګ~(Ra)(A3 D"Ź0s2o=8n 46ʞmW ì pH8-[\NPXduo}!M/Yʙv*; C!F/}W׾/ N!a=KFK2gxG [Pj7P08D)zY"oMu0 pB>g*D1^JlG3d{\H,v#ٯ25b'{mL*ꬤTβX<AF4~M3 qWEQ]zY?BsapǗ:eae"WLjw:.6Ϝ' yd/#/yyb f/ƝSnFkΝO_3Xc zJ=0SaR텽ΓU,.XzueV>r+!zd:O7m,<>)Z4@97̇MU~zn9Ww_1$-hʤ%p{͒6h>P-s/tBf-t~My~կZn$$;>%J1,Do u h /GP,0ۥS73l[{.et9+pɩًw_2M{P߭'ڑjD8 v șwB*W)k*SDȭ02ܕ &}%&wfA{oסLPO"8^bO#:]|(/ߒ +gA\&Y k (LP4=r@boI?h$k;I/DE\^h-ȅ*w@Ja~%WJڞ3~1|`1]P~vT-Wf{l0GsO.ڻ%beJĕ &H[#7[;Djhӹa ~Ó~J0,˄̙/#J]?T[YObe x6lN[4@[QOwd }JȈ,^5p_Uzդ9 (UfUteϝap4K#N3~!0Ar$HEX%-<"[^ʑ~f)]t̝[ Q6ڂdrרY>׍FxWLS*HtV$ǕFD]#h6^*|) )eD悀fcM}c{,ԣ4eJ!I$>$:^U5D;r];R/ldIf`B"G~zAqyǛM*%^̮U<cS9i~ަ>BpYe!LUV8?/8HÝ)rG!\h-Mns͂_TyrIk3nԢ1YIlZl_|$\+ڢ'&#B Y8rN30| .0y |h(ІJ2^!To|_EB|۶2g>|BDBކ +aTt. ıuG^k[xyow1(+Nc|j07XIґC*.1cD[N$D| W?)_z >a}0Sd.q3R[/Z߁8l~*U/R$Y["R'B+` Πfb}fɩXp`ْ~]ʏ.:wjYX>_>bz/ hqeA7skb xn'Ɓ6,!Vf`*> 6tslI^Vn # Vp%g:2|dE(,{כ8'hޘT&n^e%4GK:>81no8CĶ%3&u1w5dۊ1 ( Dx15K#6,Dh({_?+U+J",.Fɟ.Sr6y L77goTKݧ5 GM7ZTT=@5Wi{,sϞ2>F찲_D>]}SŽۖ9Biԍk}DwR/9{/u0Hnb1)-|2$Oe\2=ZʊXA SڐB@5i R_GH)h8] 6!-(3 WW''vLw Ts&M 4ҿ .o)>n񮳟?6?Ip p7^8},% Uue+9 >k>cZ֥xi#XDR4܏<6]߯=9<戨g:ޣ` &p&xA^E/&$E395FiW )vC7޿vTߎ₳h]Zyݯ_7L7=]ZKcp;*I"*cΘ+J5a[$$_bT鐡,ۖ83pàX*$ǩ2LNi#7xX5DK~V幄i'=̴fT1 &*j]»h4zpKK@=c\ǪZ۔8~;Uߺ]a;aۖ/`CފwJ/@SȻX=U<ܜiV(0cG*:곝UY֏Qm sܐ FeOy{)S9f͌+Q񮺢~F>?  kd/qjG9m/T9Iҡ1ؤaqUR["<8 }?7a[}MZo;es&]tl9ͤJ%#H5Z)h#fP ,agD ɖ_,۶E5 K&aX( 5)`QȾe\K3CԇGk⭁T-t;N4v3i8gWa /W l) vNY6P@b#$ -veVKR*hB)j՗$d߿gNi]ILu^Qt@Mpj0xRB7{\clK\ Ÿ~&GQɗfT5dg0*4=ND,tN6h>[X'<QگhoF~$ZG_}-v(8IoGo3?7dfoT_VmW էao_%kp7 ,}lXPQ:pt45sdwE\⡲_VR4D!p%Iyio ]L/J,F ^>^3[KAfg-ռ'd+i}O&E-)_f%ҭPԠE/ц!k<Y:;*+JP k=a6kݻFle;l0?pU w\CFI\?䨊SI~&r|NaY#.j}. /$F@аh--p>Mk߅5fȪ_7wTKgpƯb)P+ cHrm2ʂ፧49KCcd+ E^=3ܹ D +R (UϦf१-luԏώI*_Gif@yCܨ.V+H\(?)Eiq6;>+s.V(JBF5S 5pVl8s|ꨚ̱A:=JV?+6Yoz(!Zle5.zC\ #=4(]itMt Pk9kf=Oލ\#(up+xeXБ>]8;tbzW<ul[r+֋^-<ͺy#GtϛL{.aҢ>-p$ g4Gii,W#-Qk.T^/pEFNe?A5zt(y \]D )g}0bTd쉬Bj3D%U\<jrsuDַ<4^ a_Gnj퇸lW󥑵HR]'goUkհg 7! !@IX[ֽNLmie}v^[D 17%B;2KartIO3$*Vu3*X :^e@la+N$ X@}gȷwi>z4f/X#-\ȯuJ#."̴A}HOLd+3yQbob+;G?}@ˏ%}(މ[,ok+Só%Dhx=OCz+5^@Vѵ:up@'iA @}5T4XbEl{Ȉ\s߇gG-ɝ?O@wܡpC 8pӷ 2ÆSIF3 *T뾿zPһ=Jt Usz#u~dxrjw; xA=;Sk.JF,{FPeP1_yd$&?ȍ`Fghz?ō1ܴN5}(0A ,ɱ hosg/ڇm I[wFS"cɃ2]ݏ͓^M qs!<{o/B`͡UYWΆ"׷{YuqJ N>Vfk7(R*# C# F1;/gBv ۛ;+m fCPz%tΔw1[0eǔCb6w/`p?$xElnR\xW+*B+2 A~`/l^a3ޏPei<능6EP8"Ue0r[fNJ"f$ߝ+yݏZ[7jɧrB C&S(MCSLEMN|ta.^I]ԨiDN$raߚ/߷D3} s!Gݪi#f~eV|לg%{΂5_o\M_P<{GԴ/%?Z~ U,p8Ej޺]r:(&Ozm+X]ꞇ}uU;U/+UZFK50 ݺ=% ;p?-qa6) Mnl`JZ_]k˚x-աq)MҮ`nzg#&ahJ KZv 3$\VܸɼTz-Y#HL'9 p?>ۅV#Y0PLs0(捾*O SB,9[(]⢊hJKn[60ha~(! ;s>:hS.Jn?^>X XYc{@ V`J]8ɛ v8EJ{6 $9@Q$r5ˣuk ;(yP9eͷ{@6`(N<]M Q6G]޵{W%%Q]9KTF)͒_6~UE>>lfn W nE:a -& ř>IR@!$1̄e&]lv`\M+ 23o6) 0 2]mMgBPkU4#~Wz;f} Rm:j{%/KP (6oc>} Ȼ'ɽY%cgfro`& jecA0:J^i'ܭM@OYT\gjj8E,1 WNj9U+2'a]4s+nhLҋsO1Y*on^_WyȕF_Pk Of&ߔ%mBoyHna\0h[Rk eER"jFx"3qqhpZs,SS˗1<"3"Ϲ/lْAfʋ 2=OƋ  y!/KVF>d('ߣx1u f<:T$qַ:X΄s vpJ[lCU @/S4}3:>}k^S?I5+Yv/9oWkBzqȣ@ʵ 6>ktJmL7043?R$}ޚi>"UUqaΖ3}erLhۣW_\$=˦ufVn{,mw[\rz1,ȯG6ZP!1;,? GB7Ii!Qq. (G.@7t]]ƼQċϚu&V%Bؼ̎ӟJ40yB]Yq1H@7OHud0CjX]!U ~NnEI(-41xЦ:d)T×W] eK$NdKZ}M\OϺ8ΞVHlJf/ɹ`2  O@!6ҥ,\D§/4B4u%08r2b«_TKE4Jq?0uc0ӗպ tfՕ/Iٱ}\sذOBphWSO!uP(OI ̲'k'4I#o Qd.^QMY5D)Pٛ`M1]k)ϋpo߮rz7jZy)ꭵBs)q'e.냴QbI4ˤt ĥ:4lX\}>hp:)O=/>& E? t. L?̀=pu ZJJN}CyB-n)Ѫ|P'[:K/+.>1 Æ[ՀlCo|?v>C3*|P)Sƌ.!.O$b5CyG-o>49s8$Bk,AI.<&%>}~^QQ9> c |$chwtđ|ZT,#t g ng՜yosZbI tAU@IB`ULaTᩙ]Ene6`\yPa!7!l6ܒY1&u޷2ԆA4$]v1EA]Bܨ^B~3lt{Yz7th" }?L$ժxLF`# +[9P`U@I8:JSxKB Z犒miqaଈ]&Sufe\Y͌v9‰ݫQJ-l^,؄>3oW9>}砟:,Q+|`GopY*{'UcGh=^ *hХd>xbq#Ɯq3[Si)9 n M)f(ǟv Œ ia~Yk[YbN5S z9zIk-\A/zeVeєG(z!jA0aw+ы2)a+߁ %ӻIPV1Cuuh2{ڪwZʵ?UY 3"nɸ 8X8̀A<g@{M=8mUM`'יD# ~IO!=$]} fŐDoFKSc]*R6 0<:$E֥N4ĎM^ 8ڛNiJ7m}| C(\bWL=e7*2a7,eleILdHϯdlGB>h+70$fFh뱵IP$Eb,ncpj**DGy7Oࠀ~W(Fdr!BCz8cpӐ Kqsz[QM<fpއW _1<+~P] 4EOVjXFBbQr2v萪cḏi'10[=N0lCCKϨv%+BQ"BUl屬rB#SVt{mQY8i7,dO*;@xݎ\nt_U&le ePn;Z6qw|-Q5yNZ>EΜ6 !B̭cc&T_i8Y븴e+?!cBP-X]6C-E"F2Z~q-->Pu;Ю $([эYacAd-l882Q\;d\y#>62n<&gN "Kgc| &iwP~%N;i} .n W. Ngw;H2^w Si[9_+$4vU*Lݷm|? ,ϩqMߊ(2^m1 B(G1pJKE4? qqg`Pz(%jxȅ=05)T| L_%{Lw[I.H*ɶr'yaÏpG#{{QiA7RD>ÃQ^AT^od$45!1E\?aN_Ӗ7 Uq_N 53W&(skQ&D`pWߜ6IU2cE!<IfY{4[\ІPw̴x"Eycd8#28v_f|̕fd3t?LB%&K~d>/wUXPKs>hG/PX]A Qr">]*[T&I9MւG*6 E6@&ajXh0>/HSJ$u5A^! % '@31N9@Pj{5wݯ[!C;j fYP;<{ g5~V!iGIN{xoL }#ZD]b,`{Yq_,HtucTHgs2I'ܨBz9vq"^?}r&gO u6Mw^[ol6ѦA*v:qw)itAz5)y4V2>rWw$Kf3U˵@i̭x[r)`$M40>q jG#"bx⿻W;u~OkR^QQocP`%u_i$;`rZSO]0³}[Ԍۧ~_n)k]~>}<亄ԦOf 嶷{`z0Cig }-i,.AiBx-(4ǣa0iZcӌʡj@B9R['xksR_X~FG‡it[F #+T*;\gHAN p„}athu$4Hp}gF 1+h89ԟE͕<Pdyڗ˶58Zu3Zq- zKT ̜y;&_R&Ju;ZՎ"dȘVrfЇ/Uثqča^<.$6R @R0'<p.h?阗 Flk} dG+sE[S{wL@ω)*}V(˾+0 B&U.=H߬?0G &;Y>">qJ15a,Rؗ`3XJS:tا P AM>fOڍ& ~Kqw4iW%_W?gV~=)vW*q)3GY+31;Ro< oAN9&-qD۾s5E,$N\(rZRҰKk,TѮ\wrե$Q<,[l *,M9`\hh_TSP)rkhf2r$k{尒0D~$:K|ʣDz$ˁϋqyEgOYV$54 I'ԭǿ$i l3Xq0}mw|`)ӿ*cgO|Uo\! IݍS)ʅ;F -VOƪZ:m 럎-7ҦCck_¿?IlТ9vxm[[#[~ˌ?fN]"N &C;[ Hch{hXg'!tPC^;g*r-^*l7[Spy^*.bL_ $8SWL$;׷%d* +àKB,vy wEiס/V9[ۓm30PM@hw 1AMWc;Eס굌`%s10 pРd?;D 8S!J9 $4Żw1p*7RW9xUbnc4\(kӺkyD/KAɇhrg:h-\\BϷ[#9 ] Z;STj1ۢ314=XBPv_>m aO>6i+ bL| $~]m9HܠUWKWda+2o̒܎zĩXG9\M$  JJʥ.,733z\>r'i ԛx2,񔕃!} WfkH⁩Z)fP̖8{Opz1Ω,:Lz(II^ VH#%Hޙ?jF/p OB1Ar+;F^.tTBqhm7Czۀ~,=.Nr MQ/v<1m,:*Yޮ]K;փZQB;}5čU/ :6m\ ~KbyF9 sTqFw( iU[@>wbMP ?%R>A6.h{zH}5; Y%R0 Ž[⃗§5nzF\:\XW}gI9nyNQGSl\zi/ϤM]Lp/ǰ5ECnf^c/gb\ah(bervK|F,WekX%vRbO;R(o^L}uj`dTAM׎ɐo߻0'Mt9odƮ8& SjH@vOKovI\JFga=3XrT|SR]p]0MN7K{}*,U>6'L} ۾[ޝ({`(3OxcAU6 5'PPàӌQ)6$};2߹@ؒvlInͫ dmS dy;MrO5lTqK`C+k=hG4uB4&'[KFU۞YȚia~"5+ioʉɿrfYp0d|h RiD>TF FQ]NR6 #z"e:f+.s]K VB?;`ѭg~,6Jn`d_,-1؁8w[k4/r38*&Q#QЦSYJo05*b6g/M2 -,dRzԲTBQEpJr'%ocr֯U*fPn[%CVD0z˦Q㘻fx#păЁ; 41ųUD{O^*AÆZ\h?N9X8{诚ʷ-j;SXtNÈxW *u,yO<ED ݷ6l(5{osxn)E)Y1fY AcB=R356ޫO{j>8:9%XBO6 kW}>ojbx-d:SNm P":w3Dz#?MT3>BgP@A U%+v]A( O?lLƉ;/ퟚ*C~hw`ԄRҁS׆rz3l|҅ɞtHV0UZa0Ta͌.KqEx\n _s(.w~(vTA/zlw:~4\dqw*sc7/9}Kf>ޕ08EiD%y0ϺоZQH GQ.I*`nQr4ߘ6I'T8 \}FjSoS'ʄz"x fN9\n+~fdpuqD@i:XkvW/!۬6Z\XpS@$i/( ! ,sSs nEfjNCb]&WqhYun*͖_Q\m5Dz2iǦ8B1X"jȯ܆4Z=SKCW5'zc-aD5EnOAE^Ԩ+w81Q4mneiKNj;vK \s,*qE ɽ@k/UKCc_J:YQ xrl ޺)X/C/LDg@#ƟZ^ڭEGDzpg d8Tdb% ,D&^?Icj (<+џI= ƩQcTԅen[\ Cٶl;]2}vid$nSB/K  jI,Bun$ѩfy:Mds=u2lrl@ Jz^˭"`4坣S/桷~@!Y8^$BwRdK4ʤ+0Dݢ%+!B)tytSTцf_T/^oɦUԶQlq20y(cPd{8|Kl [MlJUAЌ ;,mΐ 4'W_j%1u9ET Y Τ%r=Kp0 Ӏ&>gs: i3Ӈ,顑(C_eyqV)#b¿*kݕ-i$)^`wog݆ H}hVxd ȱfS}o'O ji,Zt8FmROYrkN[-^)<%hO1yG`c0VBCH!,@] h]b|Xj|`T.FH 8sXh~e؛0R|5+#i$R0r/l{Pbv`(E 0̓k=3A<$"P2NOBbGP}H;bM~Rdz,FHFX‡źMb#ꕟQ>&n:!p] v [bc.Lj!WQ4 w~;&E~"q`==n!I @mxG JII:x+UvRE6R2RSxZ''hDc?&, P9AT`Hn7W٧Vuux}@βoOpO&ɰTk6إ3\ߍ{8b ۤcGj7DQ ucb5Mb&[@)k$1XR+ΰ`r4ׯȱ]f!vYmhDt;h42<ͱ TIT;8TfڪW=B]#lԫmj9Bw4;LKo\u.:$k߆o/8w'. -M?QU?aJm{cw"V4~jo*D7s}STEqЋ!#kR y߳(~lPTTM]*P:0"AIQ{J:CMKxPw:mhGC7‡y_VNS "&6AP\h6=oL!&izEf  ;, ]a1fM?M_ZؿX \b@XŢU^)Q{؉eR8"3~Uߎs ~l6KHHQvsu7h]6; ?)zXȢ&+|SZ?>{[`P?pYTW.#6 $y!ï`/b•0^5-G-i'.b3h }-aO69W}n2^Kx|Zc wC7a$.j()X 7?u νOhkׁۡJ 2=+ʤOil6V%<;k3'lB:(83,g)qvSBK\U5T [q!b*--=*,==wQ\|;xv@[/ ! #RLOl63ͯlI>I+BNI×vhSxb eIAuBM1w?Q()5'܂ٴ 3|ChOe!'Q1~&1:@`$ϩ]ժ{>f &n%\k&*ePET8>Urq:et"(Zc#A1`Rg'/W%x\훌*(5:%Eի&1SP+!=E!I_Ԁm>z/R4Q\{DoM渋ЄAPB0zחA_l1]qOV(MVCmƸe$cHK?¾89'1괔(/5@/D #~A1Yc Vz+^UUgk E)?Bcb x'Y# R~ĔngbXb(~$ŧcWEMv)i6 3(\SS(9 saÚqh_v(at1*b;]Ki4Y2083@[Rշf>TL]1M*OseJm:ejkHSE?D{pAxI [7+-˚Z;,P}weX_!=C(++xc;%Or0?祇'i̫{3:tyrp&VWzbⲗ<.<5Vƣj%?EOQ=&\WoJg"dU۳#@?6owTYT,,PH&HC**|R*&wՙ1e w^VQ;"ˉe]JU^# Euah*ϐc+O`. u~0-5eJP`#E=AֳDqs?8?4~(23S9CZSctOu+vQ2mrJ=ثzipEBvG6}VD.`LL&0$sOWJpAɨޣgt}EA]?zmwvƚz~]`4Žʨ2Q*"%č+–W0هyc@ƀaq_Z wZZ70dn[1^"7>V14t^GV+NaG4&L;bJ4 ^y) SD3 ڮ]W2&yi+v| 왻\Yݢ kVErnyU @R`D˓'`LQiYHC=Q*R 9fEc|GYX 2=Hhž5f~|kN'h;e8A ;:| IrňyhhDB~8e'+_l Az֭`Oh8tصI\p9&l#D{Kld9C$RhP9>mL40o_9JUÑ*p'4ꑒlIǑu <>[6:J_h[kBH]Yl i\;H\gWظdiWu m( 4 TJF1#s%PwYgZe}%~&( -^,2wUNrDOZq)x$c<)0߄Z :-7$S(TDXDG5;HT >H&]RkSիV,ʼ8{P`5 ]!? i*UUED購^BHO? Y6t7DCMhNF@8Ƃ[Qw7vOEb%hpiUQrN&J!RzW-tr3{rӚ 4V䨅 Ѻ }`64ےGî$ ug1<9M,8k."T"c#v,B_wE*ǠFĻdߵ3O{v"sevӖ9)0J{*7w @XGJD nOS]djM\Zv*G+$O7Ӈtx/Xi2?e2YEr\CKRVg>> 3R)Iޯh[zx .IidKk'(% s*xh\K2.:Tߥ+qft"OݽO$n:a*((p"\UcEa)L=eZ 9Fs nºRW(@6.S75#ͩ(X]>1@9 ~SRm@9CaCZr֞y[X{2wIku#,Sa}$B0iKN]~GN9Q#BS֚ ͻ-&7e DR9BD|rs<>X u1":.ONqtiACy*Py×WKN`۱ **g2A۠$s.u7r܋˯~ߡ,q64|ϷwZ$^!N#o/͕K;mu1[4r"2' µA[A3:6OٶtWH^\C_`0w)0;Dj+)LY-MwٞlQT,p&Ö^GqKjZtWj/6>>cSCiNneL=5Z`>#x8fDHf px lGTp9K'|y8?tl0m 5t "\Uf ܯ&22YlFLc2< ScwERhhx".'}D+hVU茞+դOsJLWLp.{$L*ܕ/%Jڲtcѹ -M9f7!Y֘RWI3Vh BUEy0|-_[[] XYKĔGԖHvb;WˆsI6.^<` "5D4gD=GI] k&kX&lKӡҦ+ӑúsmϪ5d. sgTo-~ƅ n ^. FǤkK1Uxqⷤ6L`O #d.{}lP w2>ԀU Ӽ? X2D{xf')XxE@#(b~ ecZJ^cQ*}U)B VE'䮸Dpϯz/Zk)){:i, ~_=_nb}^{,Y:5j=2| WTϤԵ0Z1~3atIkk^NyDC!k̬xZc2煲v3'w<-"sfS(ɂ,{!n׀FzySPKOEE1x1+`![y6(C*I[vgtgTORr-n@XFiC;,%@žtEUe΁0@g$bٔ!}罧?f'4k0F(b!?.0=9NBM]#=TS?F4^iG%C߶p D{zpYnJQ=%M?k~+VnP2ԍ)XW.tzϐfNX%v?5*)%u"}ڼyݾ,"~ޣ>? :V˵ dKv($Ap< R9Qg*HG~!/;`IIyZ2Ue/T~0߆nYEƂy}5["y`7Z-dzV!lr8^nT=JFVHEhVϨO#v|rٮ7; o,&0kEDX? 8]><\]=b9X%Lyb=6~ƃIή8Ȓ|aꥫMlYޓVdQe>E^W/hʤ 4O|FB+.q0!tLҒgB>L,T Bc04ښWD-X#R;þF4؞o~gfW5nC9`'pypPiOnmib5QRjF%Oji.X?:n}P9Weq R1$CV&Y2!I2ρHbgzW`DEE1-6 !7m0Z`ി4D.! a\♶zҵOGCҞFYQg1# T_NC&J_|zTeV TlUr5E>G*zu25 9rAܿ!3ȊR}k\U"fgRromT\!K6U4WĹרVqlK#RA-“1 ƿi D.>m:әTXmtZ.+Ӝ-|,RW `udsá\ ʹ\&͏lu?LIm] o@gI!֠') w؛Lva2dG~'s>\1:lxA^W&0Ƕ,lhzjGMP) 9N|Ng0Z'e-4Z=V*iL 9|iC#%Rˠ5@TI} Sjou=|$Y/.V4VhqNs(B^ o!3=8z6_vWe$Zx4\ Bgݧ(*!0u0ͥ]Lg0N]3-D'׭A&+TeU6՞H8mE%\yW6hrZ2+F{Y-ނ80 :7VWC,΋yIS!XUuarz$V~J@z˛ǜ/&sg=1Ss8t3XT@.z@ܣ!rV>7D5XOȟhN5iLHnD0kjg7.vp(83{ 8xޛ1ǗTUG+H o1"$t:)j?JMƓwJhxPNa|M$&#UdNWP pJ}6Vddݑꬖg|W}G@emoԷmk&YѽXOo4<Z_eJ>3NrߌW͐IDџ|Ql1UR?49a9{yQN;Hb PO&)NPIu$cyL;M 4+,< a4`SacAI\8nGLO-q/| )1CRs$qx15APBV]^ҳ5Z=?{z3a+Ñ$S:pW)N%D r뛝nsenPCXzqk1u$6D T oKޙo钀՝]jQT#CQ-zdПOl[˚ĽĽ1 pT3Zɔz۲K*x{EVUݍ!fv7eT2)P߮OK| c B.IRm/=pb;\GI٧E#!@R;_ k' p(lJ*&$[_KG2&p[_SZkTʠ"Jo;E#իFpv"/V|Qw~C:Jtn50)6u7,yE }Ӹf[k؝GR'q0dC%$'hp4ze\;l7ui *Յ!)^NFd: !B<'d[Ђn(#e=Y_~T#FYwu vb׿hnʻYJGRx z">ioD>'[ibL~70GL=8sRx _U-!Y@KI"ݮ0D6_JoO 1z*mfמ]K7O8A}zOjζ=~8p 4AeOYs'ͿHjWpCCsIv!g`QcSjV$G)ЩJ N -0o+{ATK۝, 搛\jLh3%K[ҘXXZ e?4kjRaӫp۴PH c̚U3`SHAr:)zS٪:,.\'Ӳ c$Y;zu.&D'Q Xd(ӋB| G_ymK~"y"3 MY\Zjh(r)Nt}3J^P1J1̍_{9_f0$;"Æ4 QFmm΍GoMl3,(B4d@S_' CC`UO'#a;6Z]"}Y2T\/YNӺcqv[Tu![7|T #8ɨ\:nMYRMQ#wp NBD#Rl'[#B yT^HyR5d }'LrHgjU'1U4ph@!Q_~ =]4Pp{٢vŽCKF.jޟ7շx i[#a4-҉y][&(15㜒mGuóQ ~ 6,n8zɦz{&YX?X[Bf++>e5 'Y.Mjh,"dUtXj-.6ےkalaֆf+iĦg60a.VSgmb%r1ZEB]ATɩi['EVw46yJM.wc1vjOM{ Jz!yӔ.`SB#~{`|VY^Z~[Ն\YtFS:j~ ̠d;Ǐܹ+ _6 GE}9*^85:1l;W@!c=tk6l-LEBtPPKabY}4K[w@ׅ/> T^+(6@je;D؛ŹjƪYbH\4 5!|܀SP`5"&&2!f pQ0F3`.]o @2Yz;u:l!cb'YP[1FʱD]e_mGD:X 0T"~R|@ڢҡɂTC`[ G!- Nxn {}QDS9˅M[LxE䲏~p9_zxo;;)QFBS[o_qs!ja# Asa .W+QfhCUdQ?^b•]UΞA]jdEt }-/zyB}g7(r+wAh$bօ<Ք(B O}&Qi-#N,Cޠ nvl#n>—^典=HJHi\5\&c(BUyTnG=(5$VMa<({sq0JRiv(i@b;TAhvLm95~,7ӔۆjA% ~`+MzOмf,e;z\24>=ÝTw =|e6Re@H%D0rR +3`ئ^lv#gR[~'MkpEzRyWlm۷c#0Q+rZ &q \D}]`aTR| _ DU6B˱ !H0§uA!C竉̬гeB@%.OZLZr9HQN1hLxU,GM_OR;ʗ!L Bq,~B6 FP@2 *ܦ(wW|/l?wkbLEVظ%ZAq1f?@Hy\x}YL$LڦKBW%4k_/ 5(B3N ?KZAg[O5nb(.0e߉u¿/JEO>lX\fITJ,Fzƪr8&Yg/.MgIR yqNNM#pH܃ ;i۱*EfDo8N|eT1|K)=lb=K^2)MuJX!daI, wߡIa{a [a`]D(Р;Ml>bC vO{}[D!X8s#$ѵcVAxzb NvI)21vj>Dpe>)犷ݲ5\ OzA $0=䁂fJ'pA Ɛ Ǡ6ςOd~8…IٺAq7#rIj;zܚ@qzWC# 9f+xϩHI}H}@oh o OG؝cQMv%vc٥?#UB;t i%釀7R+2&\W>` U\8~! SBM[G =kFÕO)/eGc4+EB^մ}: #P8O+( ڥs<{K(,Mȏ{M.ĩڍ"Y]E-b'WKjr)!\da?&([+=[nHߩV: ,w=T'M$?H$rvE3lq>? r[w[To׷n||΁wվN %()*Xyu-A#S4ƙI?e!Wtpޮ֫COWIz/e5水㑩CO-\0;6=Y0T>urY93=%1$( g?y7bt7f\ g(Dȶ0bH1eq c%2n4:La HQ ܤOJ`d221/%g-b0ʰ}31q>k,3`/;΍@ (t~U$~v&&K Y00$ׅ7ʷ;K/HQwK#mG |V3eR~`Z`m1`Prwn6Bb.ɣ_\I#8Mwr0s'^<ٺηpV # 7fT%9IX@y7 B Bf2Xlʵg e2:l7^KA*Ċ209[?5ioQ]`iju x}0 |?mQ5<.DDQȋ~|+qތ3fY4L+h@k>w9B@C_e,+ ԝFGiR0."?N⤇wq|ޡXwc=n{qv/M 3 F<͇XdZz}2o9lvFq]ġ`K++GtK$H`6xA [ "m}˳kF7gAmwoV)ؒwupc+[|Ƙ#:F)&lXm魝`2(5:sGj jdP?nfR (=uוS{7jB9P`Y/N q@!qSr%!O[{ڠipz. (w-~YW4ƿ؇.rzÚUeӍ(G;ӤKI,V ۮpaUVz$(#1;/^f1dηeMcoq}deP?d$03j-(w]ONEm$릉_#FٚRrꨡQYLKqj<PyHցs, H J?'y{?G;jcgK0Fs ҦmAw><:$Sj\F9$7i 7J7Ww*NI%.u_ӡ+O5M6.2S2gP^ہ͠8TsGVn[2g'H(ԴZ4;hZN|X[d&I4-$QIMhfl$"w?$ޘxuBQgQp .s!SqpRSw}Ljة`Fl)*wx&Aų,eM2+jJ#uGkd&2uR@ϪacFXF| JCl%@tao%~ tW- !x^=ʬ\rRiV:13-`73 @ jq^kJq_եAC[Ty#5ʲa5hy|Xjl@ӳ(={(rͮ{dUҠFךɉjA][Ud>EN⟆XD8] 83t$,Rɴ<6V::_i9es\YRXaU5Cp?<1d $ >NX(mvjsZZV!S)B*Z5\@ .ޯvϨ&V-kwwaOӖ̜ĽdDa%H)ܚyP[r" jA#{ZlxVuR@I7+{A,}")H.{~ `~+*n׹u"]äjE-3vp[ֲ;9oIApF,jngօHlYے7\JTlsMIBsj ȒdjgQ&)˃tP@t~ҀxfaS3X^2 Bi麨Vf>մk,䅞07 ~?G*VB=lJbYq)o݃D8 kyUes[ưQsկ'ğ*‚ʕ=m@UdxT؞ 1LXXOGuj}++{%0q;(O`S*~.WWaIK$ùYOpq\m\~ O'L/YnP[|'*SK 5˄JUH] >Ph<,r(J1)MQϴBmϝ֐|BLԈp7c| w .R˭Oj–&Xk'm wցNF-e]Jk 7-}mʛ>`ؒ_:[QkLJ NcVY^Ң ŢhyzZ)m3, e~b'ei%n8kt?Y"h..nuA% D}vnGF|87ܭg%!4%m}%-I/==DVI&ȏL[P$=7Atwjz (T_=Uqɩȫ]Cax٩?.wijXy݂C߇R5 <8"-˱+|gY!dYfH (B[D)ځ cj5[ňg4{ZYrܡ{dÏѫFvxv@ l,#6"SKY;]M^M_@Z-twXe+ yJ7^5lΑDY@;vguJ,˜ţ'#s?Ge5)1);X&ח@ur.M9"USJCu2àXjpv(s_nKN Pe#oU*5X~} 7%RF2 Dž-ޯ5JcܺQ4jgP)Rw#ĿªtwSDBxd$ϰ&C8~ Jw3[ӊg{` wn3|i?OE.o1*ϰ&_1:8bR⍆'Jϕ3Xu%WΪ>0}$h=[3Eˆah$ʺзuh5 > 7ja (j޼1$Ps{-ƒ2m@%7(*kʘ@?: F q~QA +=? lQ~µ}5$p2T΍+3e" ї}I Bhoj\+gҙ6WwބL!-ȩ`761q"/_m1}^C(y@]?0; d9,Oyu=r@U&b?BVqf!II)Z18xW؉~T۞tBq.>͟q~m{ހ:D$^܌U&GD:W֏6i_ƄGxؼ@XsQ$;-NZk)X19K|KzhgTSAereҾ>u 7ۅ\/myHUVXhk5 !EG(l=MﳄC"[6 HN]`vA/;.Y6< }3";݋s0 ٥G͹ RZ^j,HjhJnUcq(|w967.[㥶3{?5Ȕr8%E@CBJ34*B ׵պDIY([z6TٰUܒ ;^W6$qdA ? o{dR<ܵ%v(mV6VL$Q,l;['# x?$-}Uw+q+rmX=&(E;v(Sv@)9bI0^q~ &*lyTL;)f/@c @bj"V Ah#3;_8$ׄVǒj-.;yfCIwj kDZYZ5I~ܭQWlJ%c N2-GH_Q.p<[OS]7ס(NrPA:q{%:aRO`- y udZ xWKYD]DBXhk<n H{FөBЋprw'E.€m`F>Á,qgg'jz~i_SsοBC\̑Qw6'm}I jge$Ӄ/xWHTY.1PaoAc/ZpLWGwಞAayiiTF{XY"iI]Tz lwt;99sigYZ33d4cb2ba8dc06b250fd1b733d57ab3f12c4a04e3cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 8ae7d4e6e2e779fb95ac84c17094ba06785f0b0e 1d876c6f69ea107d299f29e46b981de6a8754689 7c397e08ff9195d4efb3555c47f244fd5478ade2