SQLite format 3@  .C  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 L-zTdl ]% HOL-ODE-Examples:threads=4elapsed=571.599cpu=1638.752gc=8.5727zXZִF! 5M"]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%cpgn x+>BOS)^{[|C4}А.,ZW|{0ِ̳^A9j񦷃/5z{6T_VPEikoCp2AP\{ۧ[DI0f`hȯ^v\\cH*|㸖dB 8:a$fE:hfatj^3w\Wh1Ggh4O]TOlV@AfeXG?- m<#fRLixD^]xMsUV4t*iek]=ɹ" _\?M*鶘 DӲ櫸߭°@0,xNäڣG8<<Y6}=Z-B !;OQK(Q|Wc5 i: =4Vd3#M f|-"(ZVtj^Բ)$_k(=RgA3c+9{t́0o,;疏CH8K K``d4xŝ'&x9'`I7UjE-SG^YJƞ1:v?xSV.k}~if^¬b n뚨Jrhߐ9h``88sd1gĥ23Wy~Gc-x?obt?,p`ȹnSѾ&g%Zj&F 'tMڬS`161ДjҜ M"8)7?73:O)B2g"ȳp"3c^VC?Qp<^>w/s2DߔVsJH׬q*,t]gߠx1# CJj:7gYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+S"=yݍ+^i}X`Nwnzs7vp!lu%J>$YOe#Dwoc?tǨBjڗ3@$(^#pz33RS&l;+qgYZ7zXZִF! Řo]ŗXi%N !WV|]xw:ӴE_eЃ<Өv^./Q4+d6N]Iy\d#-pKD NVr?FXR)H%p8ĕlud6Ep=MR}7X_+\HNW L}iC[@oT,Z4s܀:ms^׊4 4mi#(KI` DTQ^&$jZq1-x24(nqڽG* {ί A(#`T9g FTyHebsj'S&PJfn O|eh~n 69LLBa0ŜJeG-`o7 xU[:3,[0{]2}FɲXvrO =Wd_b,zsBn[VַP޽&:Qp@RLL22aG!a l'hNF9ĉQq0hہWkQ&ނM7hp= *yhSOýB),8dPjsp[8ENLׂSFQNHٌ)th}D8[3PEψu70Pa@遶x4oouURTGw{+M`'/I?'BJy(sqxQ5 5>)% +,MW8LsF%Vf9U'|Ů$\ݭV&o1Y0~sS'a # }䱬`Έ/tQ՝uB? V|*iφh&إq@2ݵӁQ@X G +꙲>hcބTuHw%;a7VD}l sTM,AȐ{h|2BedV C/X,b[5HrÅ/iU;QCf[O&q}IѱҌ(_~ppaj(?*j@CoQES@Q@ojUQ#H#,O`&:% !)z=Xڲswv]쒄T񴝈hwe H^JC˘a72"6Vj3; b\NwZx92.; 'X̑k zAs} Wg}2U}'q,R\דR&I`ʠO-&&Tʊ0HͿ2(s*T1>2#2&?E= 6)e2:=R*p]W!f-bZ酗S'ձL&0Re,n-^5(ڔQ z%t"0řQOuU=<" -ڬ_2 X;C5tխd7EH7en OӼB1Q UdnBQXWQBi^sGr ,2SVdI.D8;i(1gB췿:.I:E !R'ƘdXjKnQ`O *B}@6Xu'բCE˔Y5G_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/markupK-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 9 \9 -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 ު^(3(ti/-5h@O8j tyk$ό;9+NF{ŨHؔr Ml- #rt C6bVʙG(I64V/`O;>@>@H ġ{u%▽g*ɿq8o&cO5.OF09::Г"Ÿn-w桸2N{Xg'Cw˜Se Mpz4Bƶ<8'p=  2Cҟ9<"g]RlqF0ulP4 }[v E~&3P 24\\ߍA<̵2+{/BzW,MS+0 crk=!TBr.6jKHa=Qiv+P_6;_=F2r9?gYZ-YQ LHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument/Examples_Poincare_Map.tex7zXZִF! ݶ]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( ΘDmr)] #x#pk\_9rRэ,yj?5>Ͱ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 ; -_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<׳:1L0cn*.0zĽd2!?tN7-v3pICwl`9:)W駜SLsw#k8l2з cCy:`fs7t?,ّP`^BeRU?-?.']1cޞg6[aW <z*L `|Tܐ KJhk)~ D)JiIȪ/8?0~Qߦ?Wb--E!֐ޮťul\͘S&*bO}(̀bn e[OT%hOћSiM#{@8|WD,LdDܶi@v*9p~W0ծ(P?X̊mpp"|y/QJpDaP%}&-W~ɚrG3c)iN@Iܹ3ɸ0V hBk!'P&cǥPDTB]q?0iZZ!|Ua$Ci BK0c/ϛ=^ĮM'K:гֆPwN:w˾hv9s\jXoj vB3D]bEPmXgX!ԸёWϣQ`$0nrrG°z)QrZW5*(򳞞2xX"6567JMxOq8C:VYfxX-UX:!B|ӡ&%ԆUᐦ€u'h{zq~8}7T[-ھDomD3VjZs4ܴ9oD,Vef4˴_fl󶇣 KZW¦~X1~weHMLqx,z7Y5~*Tv mE|K^xM'zc 6\l?! qK;t*3[s;gR0P,>}*XjbZrb ̥ `U6x3 }KJI1k%4yh0tk y%-Ն>7~[ЪP8G>VӴhmUά|w=mukM״ޗV3C9$M^Fؚ;HRoBK)ft+mS,2V;ED1~ҡ1';X/I{@F2;X 𐊅7H 1bXzpx9*o{!ު[7I9Jc$ _"k8jURO\4; ?sV\d ٱW >J%b} Fb + );KwIPfWrc8 _D檲ܹZPioVZB\. p9nc.Zm5͎hkIIK4˞R&H9Q]/3?Pn"#uGq 6|qXݕ7U}׷:Z&Mi3V=6S|<ZD.m!k!Tu5$z|[8sXS^=證mڞI:.LZ3d:ycxf]V;Sy qgYZ 7-Y' dHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/messages7zXZִF! ]D?7 {?:fH\˞}ke~DնMi$+MHo}*PnuyBnBܜ@afu|'oQ 8 ܆8m0[q凧أ_`/VFX6:9|N" I~֗xP/{jܺgRPai9i4{lh٦GV ^mwrWOQ5)3A6iyU-:8,& N%ɺl.ڣpr}F7EUL@gAra˞h|Ɍ4y[h 2 &`!tcCϽcFV`f;U㧵#+v V4(')-5.3fx&lN-k8QW wAZ=TO#hژz͡>~ZE!'Z^df2{88#_/Vm8X]*wDfO5!:$1z"IhDyzedjb#4ϊtMޒ@dW@OXр{d=ߡ*?Skk.^&)*~i 8ߩMAkMDNAx'3jwtcE";;iM@cU Гȑ( vdBҔeX&sPpS_${.2!BwsV7q-,ZnzLtX&okЅ*IH71G.ώ}JybJp,89>}q7\ޣ[V_g s٣W * }T VGattq *1ŝ7F2M\R2s-ԍZ]A7(!>(=4,2;/q1"[/\MFFan"=_mNy)HX:e :}MY{AˁϜ ?G~ \Ri ŗR{Jg·Kr3E0A-8߽p)WҰvGIvpĔwV1l$ǷvUׁrIht1B9j({Q^'Ӱ=Սt)^I ʣ"V)̰wW Xc|@" 'w5TڄYfƹ㎥m"T\J0,F +D9,-{pɄLbȮ: @O;̀-"4gRƁrJ/?M&)WF95zҩz"6{bIN4Df(A? 2R6b^i62wZd]>?PMDTǘE poB6kf `6'``ZȜھr$5Vܴ2$[F˟wNw%)-*-T<WA"_aihOGexk֧= {U#[1٧iC5*움Tͺ͡eG UhK ghvƚ)0G7<\*PV8V)yn"V(3pU@%3byy*!GIZ_%I\ 7`.J}_8ۘysFNR.o(hEz0F0De&Џ-fభHU7iMaZbk۵g*Ϲ-)3CGٱ$ 0@e ZAEN"#['|TM;m~ЈiB4n?#+-AʔeA|o̴nêaJuPgZ%*\ 4FKͨ?ez%1q"θ$oof0+޹}'EK0# s!?$^ef!"x?eFvY/_-(D׳ImY~ 9Xu։1 &OmV%|[8&KUjGALg =11ЎUA+x-yCtN  3m)E\`oeݽe p9]/7 'whcttىwacz&vF r?ɒ Z+v^m.@xt١/r gn0̄8X*eҦ _ VGymN怷?[1-euᣤAKieΐlש 4 +JZ@E+:8LFo:\Z^-kV`a?SBmy/.gp1OplMuPa0SoYy:ėf`d T\3a~Q\vcC@=}&r `T YU^74-Ź}iW+7 !s{M%#H~$9}fýrR@z=CHb1z90pY +du MDp\ZJ xDύtWpCdjI/h|'sd҆^zj(Y~\Q?TZ5ic5ٮ} =k :Vm7`ɪt6 31#KVQ@z;BKJ$bhd''SML mg4ڲU7􈁳'dKXӤ,bxxni^Hv}W??Tҹ12A՝S(GSLLápu᫣qE Xa`{bt Fnr)ϡoHU7 ;YڻDiRysUm8ۯFgAȷWZ3pl%b;C_` 0,2!*]CLi)M;%_iS$Ye8ti0"2y5kTl`z*$I8՛Q7NS/"u l@s0E@_y-MR}[ wl(^o D }jb67+x#Y$HY7\|̇z26<= et=!(#yV~p~~4,%-+A-7]JX m.Xϩ4H5|~l )\?YoeN;4vԖ53<ۛ6&vM%3"Ci+Xǃ`rʎ6 ~M{&u6Pf: s MGtoT>Z>?瑴ˀ'BXswrqV_i+Ռ^חegCi\we}hecCD_ӟߟ1 CH.J~Z *0Թ86s3>hA$SR5"|~AY}~-T+t~tU= o!ٸEJ>砉QDfd)w0eS=Vq8.jƖ%dy0#ga=.t0D5(@?v4RRhr\d)AFnKӳ޴!8}^6Lⳉ Cye>U>;ioL*'L̏} W5HGvG2[7v(CRyrpTP0DXmAC|@=ؠ>孈j>b1{ sUNjCz):rxIgH<)(aacKޙ +jK[EM?u;R?k0z R]Ω4R"_Eӿnk iDsSR.@VFoJ+AMZ~ed:,q+!ILbܙh\dg1 Pn`%"!! "`Z|OJ` 3EˣP(2+n;#U(;}I2ͨrbfA\SP^:G!X' _3*|2+\Ñ!{0iPGX'=lZ$vn~o#f PshT.8Í`ɉtwQmAK{deG꩏I'0}2!1!|G PVFiw~,,WV?rq:uue \FQ ;\||(6[z(rmΝ;AH3d"VwI-FwЧmZ^mMtiγzHNwhqUgyĠ KmS:Ζ ^ 7mo%PeX dDM:@-]XߣΙ PrUjn^Fz h&WZ,5@ 0p]y*F9JGPv1.xK sH1u[fpO1+[v.⃈X{)D2ZSӷ+%,rq'E&ú$$Wѫ0|Ca$9H趁с)KO屾s/!!O׊  X /-wĴHȪ;l0i`"PUazu/Boj5߽rR+PBqN}$1R ]F@9"?jQd?iL6*d&=pRPmGچ?͐W``Y뚏ŐX ˠe1Y;]}=I9Vbu:6 j8*rzYqTGYB4&j'@<0v/t*LWB*W}-ˡi+|#ņD0@@vʄc@B1 k&fqz-6LSXB^FT2IzApBnχjl{p+7>\3ǔ-\:Yɸ@X1d''v ߌ$|@Iʚ_xȁ\mP|?v7~kos bcC|xAҶDv HXC#QQqz !pKSj5X-UW<YlºeR)F|w6Ha2SqszUk*@Exx8VBSP'/Q“RܻmNڣ)5,,bwXeמ݌tױV`H6z'M0`5@$ \rw CǢԌ-i!dk_V1P9G9 :cA_*;iC XՁ[񨡶pf ڎƲ ;d5Rܔh흩vj$.1t_כ,3Z'M* #o"E^cgb+^5t`խP y"}5s P A4:v*6Y}/MC4BΈ { 5.-=Jھ<4R1T:ퟑ^( `<n210 2n\APsAT@q;jO{})!bCA+kUZ Qz(2E~G#H1EL.=cvKnlNa~

ݝa &kpa൙ Tۧ,Z|:-&A3_ԨHXfTC؊To!F޴͛z؀V*.p0#yįӋOw1.&U[e 9͊EAH Kedr"RR' '-dD# $s8KEÛ;#cvfKZJǷ]~RV9=*U1~}JkX;E 0x䘶.0y_O$}_< C;!,RWD.SnGFgxPWk؈!%Mx0\-~wP$8tIEIU^z3SЃWpPdED8 W`^(hkDxsmwҏjX2mEwnо;= GJtSZ¹yBK |G`S4\%qhC}71򭼲f_$NwR3#wpMޅVRyq)NT%>BU?~D#c7u|8?ⲧOqPj<6_\`fGkM_ V~C{b (m{Q2ä vZV2EĪ ޣvV7gLniWܯH*f(PǎvH'7ym*ޝq }|4!nG$(̺7ZmUhqi%Gw.}*[.v#T ZF5ShWPkxNQiJka[5niLrBO]w.GxgISm\˲tŒfT] JUta|q[ИR&ZImI]-iLEnhq5gɮfa)?vRxy5W?M1yF(LYt:' պaLm&}|S8m7djcLPyzL,%\xhEQ[>& C,$q7e_@Lf YjF١2.|O׵% ~ś ƂހCve#\ Ȟ|fKCΡ(4 Ò?hLL{dBp?kbrb҆DbPfVݔNj慺.L%f,Pae3} oC#sghm~wj/b.ީVg|F J,y]= J7T|O{3*yh4g{6w.o-ɜi񭁭:`ɱ5SCY&O{|z =^6Wl7NVȇ5 3pvVן.z }򏍓 <]A) aK[<͆ֆק0RQW̰ \W@hßmSB!EfCb5Rx7UjCQu~s'Ihއ8:d%0y(ojv?nedm6"]= žU/P #5?r5r`4ˉFM5;dK `=ݑ_SK&J6=XEub/OB>?ph" 6t* 昐\`ܲ-bzznX iQ`1G{Job&3!+Y$py~!9&v2ײhlY֍[)J0Kc֓2۷v\WљփQ'{W6CA@EaAp:q68IT`6Hfgf})c]ű Uħ;[Cy4^/J5NPz'2j h_zV*u 0.l8[9PM&t0זKZgnrիqh+#ԂŻj +S.௝\l2IRS7RSoymtq0Sbݢ1Qu[U^7UF!fmOj%~n ȋZG#P2ڈDKߠrsHNc) m栏<JN*qn+ *9%`==n &9پa."m) ?i4Y*k+ BЙgfօ3ЍLiQӯUߥ!ӱgYZ  -_# ,HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/markup7zXZִF! *]:F.o,)h/i|f\O+hQ92Mͤ"_OH.MtW`DQQm᭠ЧBg+HOGAI+|fw"J?+ 5KjbT'dF  ,AyEwto1MȈ:ﺗg_=R#EqfPzM$wQޯ2Ƶ N -F5`.y_oBmb׌&AB%džnu&D֭T|AJk.EB\>od!m bN3=#C^džٖ6`yZL T1[e mK`:g]qB{TI<V#K;OYf5 :SQb:exqh_ 6Z(%~Ða:eME2 HQ8̈́$\xUۜV^? Uq8 ^X/ BV0ox7s- hH|7, _'ِ1T5ԷrjVRj{8dKlP 5MKAW 9?%o}.7jAL?&YgE4]ow;jB$Ҷ Ľquo9Pl2Y,}s'a`?QwmD*~UD!4^bVyvt@h^|scky*fGP߉i%1|wUr#SDnaVƐ"l PWV'i@LƱgT|)t |ف:/XA(_ Niְ-8(+i.q[.F-㖠<#Y @jρ8t^)),V]%@RߜxhP27 \t{p%PQgY/%p*]wYEqzH㐵s39n-6dZȣa@ :1oFM\ = yn^`:e5MΩ=" `R8D[3%B .^xX//8>h"3 -1C;TYiH03N-;T/ͨ+ZCUCfQz^^?AwIP*rz@dk,vb Sd1_]vUYsЋ`'kʹ#ێ&z`Ϭk|ɥܞ@@G F. ѡiMM֖m-4H#D3W11s.*֡|t sL`7&,XOKsͩrKx<:q2VXal98';HsQ /o9p턒Y$%Z{|.zXm297 ΠAԥ *a'\+#& |΋%KQ~"͚LB)Cՠs@_ KNثZl[6zB~@ؐ,dwЬhG)C WW& -_' ]ZA`z%\d7}(,t̖jQ߆7@u~,b3FjӉ*>Ju0wj~~%#u Eny2~!!(i+ʠUf 3"E4`KGz9ی3%cQ`I6(+^܈o/H"oAk 7%ǂnt}l W&8Ѕ}8~>bGg E-dK"K: *y3햄xKFzxwje_O}Unhr\i1M&ZQe Tc˲g֟ /ge, ڞS\̴k%[" P*ˈVH_2ykp`CQ\8)nt+G>6S%(2O 5M৺!'LPx`*tP^~.Py0%a9oťޗDd `q/'S#i.vεn3SZ"Zrbfi)yPè9>Eܨxz rq8QoݿXyLs|5H[WV21,@$}8?%2Uۆ|[釆~ 68 h˲տG*[ΠtAgi4 3ۓ! * pLv@"e߷2; g5"rbؾϬ V Ds<_8Ԭέ3!'LiuAsQ7 7>*s:wf#QsrIqB0:EpzYtγ$?'!A^-Bw`!٭~%NB6GI$fN".݈|G2C>I1(l?׉لfcJ0]rBP ={%.dু0Nnhvi3R|덹-4pR]O8ւpX,yL摇\ʧOo[( !NBEB~1Mt&[ u./dKg/QK"MI@ Ut)cMG໛h nwִj%j-!M^)5? dlTW^yđ>J7OtïNj7W(q,ϽHS|ɲ*fVгt[2 l'ϰ]+r(p$xծ'FA<'! KX~/01. &`UO]s;b# l 'gmKuwTOҡFgzi=Ѵ9_Iv zqY2^xVvW͗ %@j8J(77Kq;}8$ҿ"$wvo\ nlI| S 6["v44d&G+5@ \JGrW'GZl~aG+ M<E6Psk[Ǜ.&;elrr +B᳌.W_;DSbf63gOP.(+CԚurkYeB+Rldh핇+tk=R쏁~7ϚGgR 0v+hW@V0W \a&'f\>>J#`J;޺"η@cMZp@ ~CԝgYZ\%mFGE hDAjiW-b3䄗SqQD @Ex6 .BV@+nm~Eֵ1c:]13(EU!qtip1K׌NR2Ӛ;~D¡ v5_J Okn'g+P1IJZ7ΛhڝæJ$G^#[qSEB=(^aB] ooЕT*=u} nLUr -~o/6(s7bkv/1L]| D؉iP0{Yp_u%ooB5)YHOk!'Rth%oEV!.GnRf~$m` jFfSJU*xmȰoԡӳe!rlNO:l.3Iugi;E&DOeNJH`ZP6sW MƣJ*ó(I;RzwL}J`*otra‹J>Zk(Ob}y$=>kB_о`:zKyD{324K͌`&)R~nXlNB$2+/ ">߭Nˀ mWݦ3K R1aՓu Q) Q.kbI@hҲuoL`(_bkK!XVelBM!\FJ_j&R]ĄH%J " Is+D/Arαc``i@`s3 ,r<tH lwf 6df0.}C^Np"x{W*2箙! L(@7*%uVk` (fWa>yZ匯V}Oeen <d]IJ9 d(G`Ԯ@0s Zaw?1Ӧ[ Tu󉋞Dו Q`L|ج?Y{\+[u4#ߋiUCidm9R"<]y/ۜ@F"p->Y ?/#߲;KqX|eȪhM?7qF/ljW)y9,8O7*t?0>0K n)/k~?rU~㧎|U֓Г;lvOAg?.bPOō@z$F7lȃٷvEK&HBYA%C0v  aH{=:G}eGD&̽-Fb6#>FT C„&iЅBv{L$g:z_aHuNd]C^M~H .Z׍G }a+kz &WrlfƝ! ]NnϳDr{ShjK]pKZXg1/Ay0?bhE!Ǿ,,<+%ſ\CU1kp^"#fZ+,v!aȸ̯az$$kOgM+[K"cxJ\2q-3$jUa\7{E[ D8Sd* Eb%NBWBk!gVewq>gz){(Y1cKD}`b-9R6]kwnNtW; {4yS$b %Wh@Įrom09-pő"D$0)'cC;"K (dS`G6HԎH5* ^%x=ZW(<ȑ HXf~)c_ՊIңI Dn{-CPh>/DpE9(lBنy,a``sV6b-}GɧS3fuy :tfEikD51k:usܸբ wTH0i[P{^1qն 6[E  KLj))r zo'i>BVoK(m&0-={G4ۿOY.JS=a`s6rjLrw kW tLMWqbsYRctW C;wn$3H(^!&ʧIu{jl]`Q=30X=+6n1ޖۑ臰p4r.@,:,sAOpV*|NQng\`VR&r,(;I 9bC!G}:@bؕ"'x6;P&墨wOxЛUIՈ%4QK ΁ij&ő"eH'^-僰ۺ=-R!j0Z`&Ȩw Ơͱ?bZ{Ϙ4)APqXMm{0;ˍ(ql5ҴS[A34$;AG~h=ǎp"Zgc;)?"' UPdRY4~ANv:JЁPb+@>ʗt PR?U7@"VԡaMH/GCBD펪t9Ðg 9DC|LZDi4E/Yv) *\X1rn ǹ2pyb'iߝs.ҌfJ XiXȰKqL+GSǺGXB+,nV3rT9,8n mROVoShS8QU~'LOi|! Mcgs5(q, ERUH+Thd-̇(4y<$8/ӹ *0Ow|SoбWk5Gtsq2ZJUFfNý۫1&to+p⊂>iI.og_t>4PxV!N]_Fd@_ϧ]vԵ06 `%[(-Dsk i>&|^%Z{SLJ}=Dkqah"`~u)#.R+A;ckh)'qq>J/1|Q,ʽ%t:ս^9\LvG"/82YJ}א ^;@ԌS؎~6py-aq;[ h9EЀTK>D9h\A {*O1H]N."*h=m?+Xh[rVL9<^6saUKH\❠B xj0EًC?lcAakc%>WCjaI7ZwU~K?.3V!;kˤ&Ɯx4Dd)ocYYu_Ri,Baw+b z=9&ЛIAI'q$Zʌg\ * Vlnaj~J>6V*!UK^ uhfkD͓Hw0GO{]50r.G#G>BJ<{F$z4^JVc0I~i:!i Z[ ^ܶhYlO=?ҩĻT+Ʃf;},]Taz`1qM\˂H".lN>!X JZ1n r UTK3\.ӡeJ-N P?q& ϞٷyZ`[l(*_bG9Gz>8B%rRY= i [Ha@9*݉S5]gD;W.hGg'klppjtQ{ŃhէLROi2nYs`rL7 B ևi1k [ 8y5*n7#0 0vN;4`aUeo\}@5aK^9.,Yue@",ź=3eZ^)u!ȱ*d$"l9ԋٰݡ3Yqo1ȟn+} UЃj?2届:P ؗi6 yx1ٙ"G/S/@F9$?ȝ:*m`wJ6 nVU9;Xw}Vdqlbڹ"0?H?2x'n:A{0(䇨&V7@Db ?SJT^Gc,wD_u| 6 O9<VMN{WNEpsvƫ8@N$b*谐tTǨ.v'QEaW<"[Qjf,Z|YOt@^u{9; HԿ tj'q+^X䈸RveQ fN4ޝW.y\GSn(fpTB*պ"Ut 4o';+畽BAGPih8dLwk`rY~89s '87SaMz笮Ad=Q%%'Aػu"ԚSaث`Ҏž\ @v( ob|phQi^I"w ?{C yhVAOs{J$Ge,}a@_$IZQw`#=s_]'S!W]~0="8h+ᰪ- \#NYl<,j41zEk 3+`+iqDj!Ct{4}vA)Y"`|rTHTuC5\$K8j>fQ+V*ކ&^\c BǁEP>?~TP-F7@J\$es ⢙~t]}E6Ii? *0KWXVDiXO)͛y&0h݌/`}HK$ꄰkr ǛRv46I#=@?;QT҉GmUP@7͂|lZQp*wB"_yEPމ1c3ϹWW(ֽDDq04 \#dTK: w$00 pďy6W1 ZmR3(,a sqU\j!|!6O [-lr 2t2=>g6z/0+ ql?n_`1Vx[++?ܷriRlK% ˦ j0ĸ$Z`Wa .i44O=Oax0SvG$(h ;DF83j<^CF_@t&[e-5¡7Y ?}KW^Urjݽ=uyyU;m/"`!&j#q@BI hNBo/H֒.ɻ,IPF4qO6j~=يZzU&l8auGX<jҨ -~B 'Q4mK-?[`m ,g Ő cn=֠fJW]zP'Bd 6@Yr#VdA2]vٹAe6@OÃǬJ/]oe4w( j*beM76읗)ALc:W`'Znoȝ$;\L{.F}9粑9__Ӫ>]Ă<0({.36f x*c Q5Mg5n_q˝saRIX$"- XU*92 ;: ;._v*ad~##t6ab$縏SAQc")D$,.%O(0zaභ3;-!bIt![c 4\zL 1:oIlmga"b{0Q1VۼytFkZ]$F?T}}^]W1z }L+@)&IPy6Z| U&ٗ  @ Pߎa.V(j('Ӗ'Q4 Qnni"GIH$T pYO-CZ $7`9W _69e@Fn7x[qLr [,;d71lp}D[F>zCoEGc;6X XtjYő´ؒUu@P7QD 'bmv m@M28眠,KBjJVƾAiDJ6$ߵmZ'J@4TZ^e3a|4& ؕpu`Jo:֚7=E߻LmytWn1VY75K j2[os[-W^x6w!uߣw3b.`GQևy91p\䮫cѫi׫zT*Aa lD봚r5I<0Al&.67o-:V1UP03pNe"+ (Sɝܚ!zE4 *]1.b`SYڐDTƔGè@f!(쎊5ڣ8|| @.(sty/,NXp|4fE4b!ּ` # <_ ȶDy@_st*;u"M*XN~+OAx쑯۪/+T -~2S#t(KTM LrY@;^Uv%B%Slrcton A,}PI-ih4Щ9s#k+G%֣< KltE]MT;k6ݟ9h 8{?L$5$Q;YAE@DtE j&CzǝhR;Mh~^#;5%)oa` auXEU?.+[s!KBL/aœpEWWBl`yq.9!Ei)>s64dj~H:b}h,bU4D]iDŽEVq_͉&$ϹA! 4|;P1tNT#b#5vs2[/1>.2֭8QtjFHQj/"qM=[gfo4;˫)^z?6G{ΑIzD9&n" ULa^5m@w%Nߐ~ISڟH4\xȹ~ 49?L=Gre7z_ vAU†mfOд(㨰<D~A{z%.(|;#]q!ߥX^Vib훖 r7 [N5܀ʧUf$?}Hjw$А+e M2Pz䡖!d5:27"~)_f*+CvBWn3^9 Nwlj{QZw'@¬gJyjXz*W|ZWSO:Az3~JA@eVj9:frqKA=<rt%TIB]p7hԽ aݥvT[֖z`vςAF fcyWT16N%f)'!/`X8L@~ !uYY`ݐHnKAïI{uiS j?Tp&f/#s.NLG]lvt^ i .~ 0?DXޮ&*j@6;JYr-t& tL $F<ҧI[EqHk'"p$"ƖBP\5m]: ZM2Ie=":eH\Ř}+$0aiD*Esp-"F͕r=trvZQF0^zUh;Ex &D*}Ƞ|leS2N; Lf& zHk~8%5]qs qI{BrukC8c[ w Lͻ<^G맙zvtCi+k`!s%:2tiT̷\:ݯqtt;[K G-km~oG*'зB#8l©=cm yr/ gmX(cs8v]\Xy{0(>2 s4þ}U9Ze"]#4SneK<zƚP3Y0s=;ҘO.uAr‰o' ??f)p5 .dw4֐g}! Ư^ş`C$߹lewB¡IC@n{ ;ntϥƵo>ޝ9ʼkůU x/I΃s¿$Z+g؄˖BVU{f$ePV%Ra+Uz@LO̿ gW`_neS\1cƎ)6yT^8l>Ӗ焊1NrXou:Yre,BP`7P 5+r[y~E1}!"a :<DW>?:T(b$mŧR9euƷm(=Eདྷ &Qlc؝0Z̓sݙ Jt|?5P4]o!mCzPgOׄ&жv9 h$}HJ=ȧh2)] uOlPzי2Y~%f~WTʒ/.? EX>vkc;N O xh;gA+1ccI/4cJ>Qȁ5%&t۽_8}fV& )KI&g͏~ J;=o6Y-!B Z2"wnq"B7N~QZh#(8%f&~p<kT /:q4rLK,n~ئ1A^wc~Fê ˙~Ap0r%f5dLT";% ]>6}~y)p~/7YLVvy ''A[T0PH;dB\X8y1uzEy N!xi?R3={C4V!ڙ㨤V]#Z@~hSXXٛ҂ûwV2U&tȉ;!7Ewx䪮q/eyal65,2Ok1 - ChO͒xCvLCj5 Q;$fJ ?" n PLm/Ň] ֭}F7FTJa#OFI[% [.Ao> C>ix_wMxNE@>JӯXǒ~<OO ,hel(Y+M{#9 Hή/{ /'YrafLR TZ2"Γk؈\2E'f.Jmmbm˪&{е\{סt (DyAˢ!q[貓"zEE14>=2Y` FEUB}Wq8"I,/)1csB|r5$:y3PDxhEGAshхI,Efc`Q{`+\pvq7ڝ쩷l/B F1(\kTmvJaZBV̼Cn)HG*M+.zx _/\X˺ KdZ:jՕn^ *[; |4 `K&R}XRBFy͇|:rD1;K+%|Yu{w2c㖨g~}gץ3dk=lylĐ:Wx#zQ>FXq|lSi }qp$&+lU8zgl;w*ž$v Jik# sorXo Ց73C鰞&1w#q8j17Bk+M3k%T';ݖaNs9D}S˨cvUg`kIe/qr\wܦdҚ[I fFl-!xSl /š (7Me3fhˀvT8uТ0IG;8+fD2G]WcՄzb+Vk,kUNsDC mRDvvqI"wΧ Unq>}_G,MQWPy[ QVl}桰%cg>+zd Bnmw7^x>Ulvz})Oɧw$ ;z"NRyW(SJK9"> bŹW-+z$3NdJbcazQW1Y9ID 3MJellS- y1=y:V֫Àwz+uƺUߩ$j y*T\e[^vpt‚ڄkPS+~n/uș5`/eoݚJ0}+Y `3E"*Fo2ovXr }l= yoIb93Pkt|45ujWk)7MES}n[Fy0X 䇕a6̢K*Qȕ:3O}ˡ5;2S}-1_җGDi4@ӯg$U@!/* c7me۔q;@hZڥHu8 "gF/V`=g|eChElvy=RcSzLUJ0磺-)q^UKS*EqlO4_isy&G߂- B7s r2jTS, -%́̕xf $ִd0w'U<\i:\#O|;xKom<[wma3pQwOB)/zbQOGBqRQ 9/;x?BR*7BBqٜkE $Bt-yd2vtMսq:5(~jRzb#NYtR\`=nt0X͑R0 g'^:/Y$sdV>R9QL7EhU_r3\Zl͍R rT3\W%dPrOMsZ.` مqcQxl9e.sJl󲪬@Yf'hȓEs~ 4.;D|Xu"CN|eף;xљ* n >k9M`CE&  'm7cABC!2Z.X0" #O{(I}CEt|ձT^ȱ\]']{ݺ׺~."͇Gtb:u%Nt;%ƂxgQGwۥ"ƴq':򕂇G fG ihJ7mON4_)Du Vr5$AаsɓnOER5ʣ6W e`<7}cwL&ߋ3eEB-VX@;ݳLDѬ4,OtvxtTcB4SQȧgI4Bm-IW coKnjA~l%׵|vI!L€]zAeD֔%Qsdo7U% ]Z/6UKru[T5W,4"s3t( fUx@ [HHqE,v ?pru?w5g85XϚ ]Yb-LWqn 9ٝ^"&M/Qi3V*h Hd7< /'n=|ZbY8Q`}Rtx+h)sh07OytIzABxPy= ?Wg[& תssp=;6S0ѐgUY|xTV8f5ɹ]g25oNl޴%2*Gb7@Kuh4X-xحD9޹Lz0tzpeڌȗ0裧#|pe1F6gr*1{:tBͶS퀜{JNqJc;bk8\& ~mpd _~;>ln$J>g8Yy8vdFכpy^=k ҠAkeB>v{-A@ LFn(E&N@m~!u|'ѴYAj68Lx\w9ЍjZUY*1Ab:+z >˺הv<8+}P㺬8ݱƙcf Xl4=D+co|YUgރW\ꎮݶ+bV1mR*(Bn'OAȳ?I"P$ܡdY9Zf& @ꍥSHfD#8Y0&!ӍEF{=jiI !4&&0',::}A6$*Ox+v GL A&ݗM廘BlY#\L\^jM+-UEZ :j8 'cs< k`%B0tf>j60HԈZ'/ziWsŠ}`Q $NbbHE6&`J=蒫k'4dUn2 i.e{qkH £߅?`m%p1[FFe]흟MرM`pgA. oJ*p\kpݘҾxL"r18ějOh3Khj B N`tud\N_pZ[q2Wc[fJWs(WOߝa*<5/Z˷TT'Vj[BĹ)~X0]="YX0OmiKrg -Gjm:k|ٓ2cT6h=bojO*^:xD.sP,|(9/L](UuP1w$BPe)7)Ɓ}J.R2O΋F_abDgE,tGdQ6Z+&a'9B1*f4Zf TT Vm t$)s%>4fʶmz6{ƼG׌-; @1_j~(jM+Ml55mi 4Ud3X|ک=4 }"HdCL-<&8[2b'On\Hhw"}ӕ, p ,b h?/Ǧ|7o&n—3upma!hmقuzD8\V,,d<oNG%" B#yIulYK{şݠip%[nV*T-FG=[ausQOmH]9WG.9-tӿhgﲂiOoˆ E31oഢ_}7PK4=gp79k^yZb&ݼmȕ_|wjEns ׍ vm)4yeptXl2s^<(J~xd/X㒳Ɏkۥ~4(Dfv, z^ ^Gˇ FR*VFV72wQ|"|-$,VE]:w!YP9wsD]GZJ1] HY$IRے[}CUJX$nC^ՅT{*f{ Mt }RdCKB#W6}7{8\l%0Ksk寜>GvU\I`{7Kn}zE02HXVr-8nFf% PS˫Ьӊ@F (trv.F]p+fD9"IOFJ&씩HIҩD}hY Y7K9p'8oRB+ ShqP9:Be<ތ) (Z&F ?" MgVW\5>s)"lC!1Ty a,Erj =I;P>G. rf KXe#6x\OS{Gk[ 03簸$4Q!=]nի▨> |AG9"2^K ujKhh  v<7-1Gb&ȶ'<*^Q9B`8`ӗ7 9%An&x"AG7bcϥ=.OVm̻8qXm5KmbwfT g1(B٣tl\S Ѣ>63VK3YIŤB(WhPMɡ\GkCXm"T[١w3V-L"fxe:i WwXsZLvܩ f8Dٮ4 } dvN^y@?2^OZ50JP]Jnufh˿IJq`]~L`|w%bausb:A!kDF:=:֭5;c0bCdsU U& ږ2}e&K8;s`G o1>)c4F[T`V 1$YvWDjZRNTF֦ٴ>f6o z M.tgm#抵nXj[K<7sAje#5+6=%geP6:FQRL:RhAUJO- FU=yv(dʌ5Nm;BPhpOk$p =*}VUy!މKﮀiH.8P~2%Y~ {L9ķ[ @'G*84?oQDAY;J&+&RFfU^qn+g-twn0w$$]}л&Im(!ݎ 3 ToG 5KkG׆_,7a>e0{egf$- +@5TN/8F ^JlW#[sLSut3e'S{Y9Ȁ9Yb'q$pNHS䖴IxSKOzW@XOJ'{$0d7]1f@It,x6m lp<es|Ud.h(ܳl\1Ux_`VM.ϵfxp;r5/D>TaPD~T*@5) BU!e2$*_́2Q½*pJ|<84amڜI{(BO0t"7@!!̢%zXlWq*2-&Bo6/h*k ._ߑ¬k$ET)kx6}JN#Q )"qz4]0|mB,E"ϝsjۡ\Hof[4 Wٔx\\|h/ND(2j rJF,W"[o{k`zS(% ]Yj8𓒗\SС-7HK3Ju_`X0jHO;[֕#!" ;TlЀOUzd! %:qEwo 9=yGuҳqֺf]}thG>rTQT(ih03glٻ c7eR{:cp,w+eiٰ27D 4zB^vb)'S ^jB7z~Gr*I*8|_7${skFvm@#KKa~ٛ-iӯ7A7pЃag5NtՆfNv?.VZ ;9,QܨPWcRSDwnR]ήlfXLKB0c>C;>sbI̤8ǥ-(/ -=E =( ؗ@W*jT (3D#?SG] `ebЧ_bA1sZz}vM4P:@I{hì(/?E+MKwLÛP[CU"N;Ciƃ/9S5p%Cs"ҽz`+NacehR蝿 m|p] Gh ۩Q6BC>}%I"a3! C|o?T3 ~YC_iؐHyRDك&4‰@ 0duX Q=,;ׯ}H{`{`悿0e%Z?AžV R4W N|Ilo4q(E֖2p{9BfI /C/uvL.lE!oO5(4 ;hv mKN+eDe22IhwH]ؤS<Ć*v- cy$8 [*58rNن<{y`9U"fNf(y%P.&'z6n?yY"2U}\_(DzUD4~NEzvp2#)9ao0p7Qh8)J[mLo=j }էhiñb3 TsTyy#WR*Fn}w+rbQ{csÂêu\gKL|z%Nʂ>5'3[{oVؽҎ$aiy/9493@@2c&3)bhF$cnx0p56C,'QrWm}'vcÅpi <D9GAޫ A sr` 9 iz5: )7a*qe5zw >Vh _8鋁 / O&K€>:`H¥zRlOѳ ?b!"L>D9sZz~"%7{טtO%Mזʹ6;]Tfux_;dj [jjcಋcfPmK%- ǑJ7wesx3G!_ 6I&1^~%^#v\="A}NxBj`ؕP6av=+0MJSwr $*~Q@`Ĥu&;i[t W.|MU–?h 0pQr/wFϹ^Bebݤ]&)_y9C,WtɏwbP#d >0l:&j STM5+<Z:մeLs PxG>]v\̹UFꋐ7z(/z~VlMvI :9O]%57l =bqwoœ=2K5"#%ؑ Qs#^3ٸ'4 @[ڴFT6iqe'W֚wl\ rVmpMvK -]C\\w"n߭ow f B2't(U$ Od2}+) xI'wd^|%PfKZi%ZH)Pپ(BVӸgR)MJݵ-eQ55XA4OPPJ;h7gcEBw,/iDV$k?lܻg-1ݫbsa9?qe THL_3֕ T_gKܥnӌ@^uazyc4qnc-_|4go7d!&鑸V;`dWj0 t{!׮~d _;K9 vٙ+P]Oo1 0И}>F0sqZnG8_hկ;gQ&'b-8i}NRD8:@uQM+ASCh#F)ɊsݒRs&xPB,l& pxmh+$ב.gϪݬsg#uKf*e.  &(IA^+Z??? Ղ,f&V=RUV)I] ФiH ;"BB'鬳cjǺ[~īoxU_75u5 ="E/V ~e$Ph5DV@$$&YEfek!pƊTQK>ttxw#n Ԋ .Xܑ(6Xa{C"SQVLZDe 62ZSr#XoQ9y ;·(k*h)daERZgJdb8.s'0cjr4ʬQ+r`p@W}u6wd1fHN[ Qy*N[idpz80L.>j% azw#\w_9˞|7 وfF܈9ffnR|r˃uen *װ[Ĉ7`CYϧac*aBŐ/pآ_AUϧoß{gK7RM˟wq== FóM O#8{QDy@qE/+gAwZcɂ[+:fPfЅѩ ՑIK񑅌*.82UաE]IW.*(J? bm7: /ۤE"p xS\g\D{űkLڌ,VƴB<+4k4kMe= 3@W~Kx|DHZʊ 6)uz-ReQ)r}U^dn~/~뚎H8S$gp3 F/Ou~'kakζӜLWj|v8Ku~ŝaQaw HSGO=>OtM XWȘ7*~bmG:sL_B6dUwY91ZhMo k稼C~$I~xma8CZF$l,nO0kUaPɭ))nu1[2Z*tGhdEl-!`<$Ks+<54/hP;;Xúz_>0ʐ ;9p/^ɢNOp j[I! "ƴ{=_(u0jZXC}{ udK. Ip7>HG4h4=MutH.#pDZ.a71 ]O5X] HyUL=)s cޫ&-NIE6k1p7{HA#q4^!*<$f7K5)|+OA-AgU&g#/v]jqQD|ᐭ$6ՌbF% јȏKS| L*' *JRVbX(8 fWC|1 K*TV"pOlkd7'؝J]QB8 L!d)ӕͷCe9g@z3Y.{{u'MFXoWLs !'$sIG \=_4j\?N PzcN :{mId1/:~EIl!$j-eN/;ݬCuvAU$sFQv[Eku5(%HԷ,-:.ǒ%_¯pvZoFKnlj&%"WºvoRJcuw{qf2EH"|/)ɭ<L9q>Î]QNp/;N2hd9H0}svk1xh#ꃾq o!`o'يcGGsip5ioUmH4l".#lb5@JYe:3Ƚ!yÛ& ^Wr"']xZ&݁ b^ zl<ۆߧ_ Ur&9ܫK" u(}J$)"9w˾EAES|NafSZǤ'q\:G0J=ꙘOpv /,C#r,`'SCH/*n_D$F"5Z~Յ߯ZdגfrWXMZIW_ɾϑMcRhuXl2ppN6WY'k[P=m3pucKXX$oScȵT[Mz▙n:d%RKm6P" AO 6q*/2B6M3oxG$>MˡO;d.|#υN^aHf#njX% яB=xF(CD'9 Orz촳ic`f[/dș3ۛ"t[ҟ\ `cfUT's*gÉP\ђѓqH[ '-hLϰT`.',%*g^4IC#uDiZ$2)/)FJwN_䛢:vBFs]HB`8颮4h#\YZ 7hğ^)3[^)/&`HK:L8_aYߎ(,4 Lы,2pV#clg}4uUԇ x4g1dX l~t1KnDK1ft \(Q.lJފJM,ǐ:ͼz=dѐY re>ѳ\/WYp$$ QA@4 @ &xkÂd w{D*QDcvSP1Fuu^ދņY<)S t?:n5>y0J:0S )۬_Hx})(1N'j|-9ԯaLmc4( PG?#|5jH? pn'r,a /r C8]ɮGɪ}1jm<&K`3|tƽprXD׭}bo>^->% h^U O_bt፫?}ryMD>#.<+C}@~y]r?V }ryV8(4 l(TBM*C~U?8Z^;{W)+mTug^.J{׆sft^'uѨ'gxkxVe,m6mDs &u:w"C4vCaZ*`V_ȅ5jU>JKUݺL,r"0%Q/4"c2#|:tB+|"Y7q13( б­٣4P~SLC9-CWvc/:J i㩯 $o}8!lAq4=!zF6?5:;MC:"_Cf1xlrP%0Jr]DѹM]FCK#LoQ<& [AZ9< :S[=y0}|`5c)3Qeܛxku" 5C!yo3j//7ٔ Ή_[?u U"k=>LFdblW! :ղ*A/s˭tE`:RI0?Tx-ulTaqI-2/s[(@U'D'IeޑZ͸ӹL:͖y:Mhm{ɿ#Y,ø+[u:fJoy>=[M;Rebe$2l#06ߕb=JGBZ&ޡnȔžK;fTI\bj H+25@:^_i:̜rl-LEՖA}Be(+%! ="2O%nNAos5=bDMwE+`uOiT)yĢ+tCbŕV@ߜK?vR:!]qÿ2I'5Bq yqV=9a,T,?WC~8QتYߩ8a42{g*z Z0``g; Z@ⰲJB: Õr\\-a8.ЙV,IOK{p4 Cc|)Yiq??M *bZ %7[GSN3폄6Σ:qV4fQM@G ƤأumuܠnsH9;SBƄu;sGf 8kಊ4 7zONoq#k!?x"-rz݉vٺsA яяl'/ezw-kDM#c% fzCV[Т`?UT,V?<H}Z269RIK^i#Yh$fM pk8u_js4RU6+CE6jLTs,fbhETu?MMP ]ܶ#jP⥒O;i.յ(8 ŗϖ4A(mY;U5q>I;պN/J"1)u;`xJ:քI`3 IY飌/|IoO6qj PEE/ķ_9.+حoO5C cY@mSY9wEOEMCic BLͦlnfj뫱.inApЀcF5E>>3H>-2E8mpi5pZ;78Gw}lt@4b5{v1NcB5zT0yC) H ;e.14&ῠv9Q fvٌs[CPΌW_AwC?r~1s$$k W qQjsE YX8\ VoE@nGp)r.pe1heSWZ{"w!BF*P%PG]*MO A67ȧ:}@jhr. -I+'DX}sƶ(}-|bn*@ZA[{2e{hh i^818Zey@KT=ϞJ9(=(w"46oZ4l:OlŰh5e;Dk8D@Xv{"W-7+ʹ)/XngՆDK>r8HHS dli_MUxZ]!=Γ&-'dXNO./8/q~ezWJ !,QZP:(4#Fܟsa'BN(9(DuQ}k|DR'@$&ؠ 0e^gPG 5A gZW+eP/CI1EL4RH\zBɲJ,RQ߷s~Ga\/B ~ .,x.lv1.v`M>K,N­>0lЪO4ԝϹ[k9=x+%N nssWѢ[>^wU9 qdJ %n ('qS^20m<[O`%^Ev1Q-MEux b^>+I8c.Y|hè:* jP˴}b͚e#b:غ.`ҩMi8bn ,ŏ5(_!YƚQc]#gRqF3dwniin|y*z(u&;a_Zڃj0{ǻρR,E`1e@ȡ]9"y!OL|Y꜏*&PZ %N0D3$C٤{`5T$̛LJPP|?=U[d6>aۗ^ =u*Y\ywQL֩2v<}<\;1d_>4,Yl0* ֲE4㊡U?Rx s`pgo,wK%+lZ~%ݭ&Yɬw"b4i&=g$:ǥy)5HNI_{m3yM}Ht Gmc)ު$P;繍NY1ԄGp2q0RMA" '!ѭ 'q 3ꊏ" B@KjXޗ$Ց -2KU(DkXS5%J i8bo;mRg)ᜤlhߪC}Q=}C=M'%%@7/En_KpZbhB7DU-ֵ6MU?'$e٩+ Tg^cf WJ~ g[bnWck5\ y lR򨻤N`$:eZ^uxkYi̐%cXL !:MV_/^ ~ ^Ȋ:xӁ6׻dOi. 7s t/%tN%'s CaM%A1HZli^%)".%Od_ K1+Cgfa[Kc,tYH9)@8l Q;w A5 N>f *BS6;5kZbT &*"S3oʼ)?IƓD.Y4Vg=b9ED^^e x^2eęh0}EmCRVM- ekfH>K8( NhKk(0% OXvYo`e /xV:(@:_@ab_-[o#2#QIeN(>#çٞDIGA50",A;Fx:Y H!sqhEO䍣j @॒ y0d_KƑA :za-Z2;v:`*#hKLSZoE!B얍f #O.&H]+1Qc|0($ʷG 3"iL]s1qs[P[s AYh:aycl׆%Ϗ xTK2kiA~jbl{Qc -`CDjڌſүu06|}a_ěB&#` A6>rji\4z'#]]7V[NI޷uSJ0ʯs*& 4aCl_#5 iM?J\+J`U܃"G?yh忑_|dfAy4Nʓ?ݱ(Z$ր.Q@۪v`r3_E9 +=uMH^!Ƨ\{K)E4?{*3?_Y  b"!~0ъ(6kzӯZϋ/MOyo0^uS9t&o)/#"J3ܿ~ ) ɵW,(6DzRO3uo}89ǂLC8-%h:Ht{k)d]>:GXR̠dȒ*E&8Q',pl008J^*@Eln' C`hwj!b ;6`6ײEq71rqڻoUKs,TGЋ2btB_J!0_XrzWOQ9E#Zlhe\IPy|ᑎ, .V#Cޯ"1 +̬W8e]냽R ڷC5rϏcHҏ.ٱ?)?Li_ԭH:2aNWEP@d)ǎlhY<څW[3/ ,-Atfok<r(]y*ʚ7g5ץ^g>(2!yGUHTںHz z Q)8 3q泙X*h-nKߗ4=CՒĘת1cǝ|U%Óp=7Cj|Qki)h TSG'm 5`_/JGC,MI=&1{4k&[WGV~u phChA 戣b8O}I3`:f9.-B 44]Yv;1, `Zi4*C~EV<CC3*Iagd$1܋kU)4T,82lwEgYZ70deeab57d35f4a4db770c5daaa84d1e695072034b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 60a083209646399dc33e998f5b147c9049498a09 4a7899e4e973864aed2c49c3c39c6ef5f9b6e760 b1ad317e48cd314be551ec3874c821c13fc9b214