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  @ @ -z4d ]% HOL-ODE-Examples:threads=4elapsed=663.090cpu=1861.976gc=9.2767zXZִF! 7T]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7gf?ְVΫ[%kj_%܅ߣPκr:+TYƳQ6D1xˊt 'daxI{̠Cڹ@x\P)|_~EEwBˈ27gBcWh1AkZ8 q[ߣy<$Qش@K<zɸ!6P=ڃ ?o*/i.pTN/ۍ-(CW@Y-{4OR1RڏWicpxsO= K+U Y F-:KA:󫆢/Jv"\'l[&FR tcJH@ ^aՕQCB)LKmnS+7\̣֝C.Y`SRg~Xg+z Vn $W:\&+W`te_!chY9څ叐C6ԫr> ˺ @!5{{dԴO~&;q;rľ@jᵕxݤuY@#qX<^ +|~_;/N>=>[#g@5dxGB.B%@xJ"Fz%n /hI.f.%>߁6ϗ֖\7X3VfG{PS!~X'|ȅEQA]4UnlY-$HhRgedZPLԨq,FV-n^rLjAM0uEujj_5 ʿmj*>m7B˽7fMqmÉC< t0=oz̼gYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+;;vne/Hl}ϵD[F4Ĩ./D0,K2Pœdލ`d8?,k E+.qWOW-@P-2><hC0{ - HOL-ODE-Examples -Y!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/files$AFP/Ordinary_Differential_Equations/Ex/Examples_Poincare_Map.thy0-G#lHOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markuptheory ODE_Examples imports Examples_Integral Examples_One_Step_Method Examples_Poincare_Map begin end v-G!|HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/files$AFP/Ordinary_Differential_Equations/Ex/ODE_Examples.thy-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?-n-G? LHOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument/ODE_Examples.tex7zXZִF! ^]A-MՋhvG"uIBm5l̿6ILDs|NC?":3jԤ= 4 2-r$'͋dݪj#`QPx; oȃb1Y ՎL[DDoyJ;Ċ1 C .F(! p"sg u[ ʴÒ~R!0I3/ u.#֙ 5nGT|&/q#{bUdS?ͧz7( hyxd㹼h.Ԭ;)<'/L,K ,:8Q~`SC'XVädR3        r ' CI UL-_'HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messagesJ-_#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/markup I-_!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/files C-Q#HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/markup B-Q!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_IntegralPIDE/files d-_WHOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_Methoddocument/Examples_One_Step_Method.tex V-QIHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Integraldocument/Examples_Integral.texI-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>-G#HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markup=-G!HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/files^-YQHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_Mapdocument/Examples_Poincare_Map.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  Y -Y!HOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/files$AFP/Ordinary_Differential_Equations/Ex/Examples_Poincare_Map.thy0-G#lHOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/markuptheory ODE_Examples imports Examples_Integral Examples_One_Step_Method Examples_Poincare_Map begin end v-G!|HOL-ODE-ExamplesHOL-ODE-Examples.ODE_ExamplesPIDE/files$AFP/Ordinary_Differential_Equations/Ex/ODE_Examples.thy-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?-n-G? LHOL-ODE-ExamplesHOL-ODE-Examples.ODE_Examplesdocument/ODE_Examples.tex7zXZִF! ^]A-MՋhvG"uIBm5l̿6ILDs|NC?":3jԤ= 4 2-r$'͋dݪj#`QPx; oȃb1Y ՎL[DDoyJ;Ċ1 C .F(! p"sg u[ ʴÒ~R!0I3/ u.#֙ 5nGT|&/q#{bUdS?ͧz7( hyxd㹼h.Ԭ;)<'/L,K ,:8Q~`SC'XVädR3%2ҒV-gYZ u-Y# dHOL-ODE-ExamplesHOL-ODE-Examples.Examples_Poincare_MapPIDE/markup7zXZִF! 8 j]:F.o,V[hZGz\13 C1a _[V־\'%8#8XsHÃRiZU]Rxn$ù:ѢbI.O\vx蒤qH J{̼I^1PkxVb'5j& 6},۪ʵ:BV00cn*.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\mvAJw[fZ㯴sΖ'*5c tztQ$k%{^C0T;krL(k!TnqKrM xDtxki \4oКkHdܳ(xVzS֪tܮaUI iϒDpOZ5u{^*"hK&dw6CT kUTI-pfd[ڵ}WehE4(߂Oq}5b\lуk&4}D4csaPXGŌB4 ұ]D*(ZN4 R6A2xWBDq !z!bɖ\% Q?[![YWL\UN{)q!e` ~~"u.h;,{묺+W:GL+|YJ8Du?B4'޵C 00ߦonR.C%;2LaUMCc fm>{[xTŨח)d{ tTÔyh0A( ĥ4@}u.E7igeOw3X1Vqo!B$%O kkI3{U{+5>C̟(4عE5PQKDTe^cǬ౓$X\`CToR ((c7B @][^/ߌ 0.n[)Npl@}w@gŊO1iݫ8IÏ2WI2i,'ߓM|nKSB9#NҗHx%-_3=SjR>b F%&^[/\hP=MhC}V:9@#6j(r+P0 KX=$1y (ox]Ut՞Rw(<5w WlOo-^RF5_;g?k+ >r9 JΥLkӻ޸*-"3d|~x9Zkloc{ƸC2~QL_?mE6=Oz IkNߦ$:[[_&F<Fc66 G%(rmx #bk1?`|=ND1$}H3JZX `Jƽ<e G󶵳~9L a qrM蜳Dv r ^rɽ'oa 1/5r{ 5dQ'ke9ɛo4"HD+JteKtm_+ަ =GĚz!?wC0KA{Vl硖n0Lͼ.q칢r&[?VHgFTf.S>CCЉluFܳhs|ݟgھN]LtH_Y3 j-n-'3< ٮ?iiSAitFZl"YM.F)t>Ov_hwj-kA!&# [=-Ozy*Ш[!Ē"ΔbGN}c^$B^,*cњeˑ4qþ? ej-LC&.,,T~ Wk'nQȂ?,Vp<\+dC5 v*UdWxhzr*|N_z5G Py~kv9q feWkN챒GῬU}[57@`EAK&ٯϠis :U٬C"WVA__hMDP9xV}γ@hf*|~_:S| X{\K8rEs0tah9 1hKvmy61?֪ Lw))'D٤utht+f 7fm 2 j & +34=L9Ur!xe 7}qTj$r߯gW:PI(h\6%Sᓖv4xSy5"??ͅ"o n{Plbv!>.Wϕx3dq#|d IR(<(@YmG-Z WQI''95)N(cL@u_a_{je|˼lFK &6/;)!}wwKV^ibG20^>OCC1d::G] 7sx@6%)9e{Dt|dyyC gT' >TF_j X8F#ϊ. Cj%0]7S7"mo 2|$uDPeZAx  &4g~j1"L  voc⍊R]l⨈r22s,]$0Ĺ` p\q-hC,7 @| jIOʼnSp+^ 'wzoUєIEBKXɿ@>ɺ#'|,j^Zp /ji[0̏p3I'QGp'U=gïD|`p|M66k/a.6~BoỤT(>fCQ1\%!qprOƕ}tpJq.>bv-i*;zE$2->cVB/o4|QR:s@9N (p_^ 5G#?jJ U>8\)^,zdnld6s؟w:IgYZ  -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[ܟv63nFw" 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.thy; -_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 ު^(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.-] Anw@Y+5bXS"3/[IenN YmZ9ͫsVW:%疆4:T68W]tnC䚷2[ r>WA"_aihOGexk֧= {U#[1٧iC5*움Tͺ͡eG UhK ghvƚ)0G7<\*PV8V)yn"V(3pU@%3byy*!GIZ_%I\ 7`.J}_8ۘysFNR.o(hEz0F0De&Џ-fభHU7iMaZN[SG+.&=` Qw((ʖDA IY|6W%|c" ~ =Fo)%r=H{,/S Z~Mmߎy!+=*H?92=O%_OJ{IB>}Y%UYNomr$ɨOGb5 Ft^ :ݯF}$]lX_`FJJX!&vӌ\R%K>S Y\ h./TcP5>3.# ^~G\j%dȆ{7[e[eiLݎ8/x1/TUEFފu va҇/'B"\xzҔ'р.Wo,?ޘsu]'J:eٍRJ1Om)C'dC.!OͧŠl+Xb5 ˎɌC2ߌPJFE΃B;qZɍ\k})FSc&x#i/zOC|g/f['3koN#Us)nY gj<ҍ'.5D)>~A3vr@6Rz³-eZsx-Uo?)guNnR+ Ґ&H$KJ+.G~ҕw.nHZd:T<c.]̄c#:EFbmߥ[o7X,j/A7x_QJa&iaZ&*3Y,p@OoS*'7KXWDtuRqRtȆ u,.F_=kS볡 ܌Wy,m{H;\( `A7G+){ޥ; ~R}a3AA0(A1Z7FBGB速PNW \v5>ir[?,sO$ܮ`x]y`,aוj0+T_BMteG;a6Ҵ@fe%oUĵ`v= 6ѻTs%C_(P Ǧ{MEw\Rfm7SY(SUBi95({Y9HGQ`ͤ+IB ]"B͐*(sF߅QwI5KUVoRi "r_ wKhԨHw8le|^f,F>Ts|]i/|cv4OE@85A@գT{! $HF69>8Lw臚{bɓ\j%.T|J$~X/˘0P'fϜsJ+Lt'E:R9$fGC %# ڻQZ~!Dq >!G(`0/[Kh Ľqf[xZ^ s5H}5*tJi,wP<8ETm.3ə+&uo' Ҿ&m\D̥>sx&o,Ӷk$TYi RRT5VŕX ǪA;ߵ?5HŔyk 0dOxxpO;r1N"V] !qrRʏtZG`"B[=JDUNHd.nJߗ9Eajmbywe_Y䶤OЃ_۷׶x;EWaBwo :zn!x"ۋ" wbČԭw; u =ZzC Ev;&q^]Bx1#A49Bc~EJ#_nK%?\ \u(Hl˃w~4LJAP=e LqOlq{g0ȓՋ 0J"1g4F$ecO{mۛ P͜Uf2԰ޙ JZk6-Hn6"ByIow%q aKjPKLf0.INr_gx$ZXйOhzA+ SԪ4|+ ~Q&JMg#EDRk;5ߕĵP)%@rnhkgv벙A0y< Ͷ[TnL XBu]앵=6ȯ%NՓ P4GZ OiP}ܕD^֜FnΏs|:\NJOjM7SS~~w>sV DvH\JHbPa<H\?=g@]\T 3o9[!I<@2/ɹ1U2S$u9tdǼq:6A<ހ#|EUpXHX9~F ["XL,0:8Z3GW ˰ŕEL7ﶈXFoN }ZFCrٖoH\,BE.cEkJ+܁U}9'U(dmIW~9bH ';bODvB6xM"øZ SΒ=->Cj5`-CaS]`,vK\g<%H5Ʀ6(Λ5S:$Y^㷨CZoZd/I:^7S,~6[o)9K @g݇n0U 싹fiG sѦudR ؿmR 깄sz\O/n-j݀k3d[MzE‘5heج~ZVF|CL=҉Nf8G,r$2"׌(Q$).9 M9 ^#QS43m_7}~E|MgI'zlmhׂ?o`9"9$yFR`DH(~j7v%|RCv. %۰#IQVmc_Oe?9!O#S}ptH_>SXL1`s`(m |#޿oQЄ5͗8IMxKb378œPWJ]p(㦢 9`8]uzxKH xmZ9>qq8*l.CODF x _.WX E ̖9Y}i'Tl>e k4+`F j~n?u<6.jV?ڂJ^Yڒ"eJN7Σ!j-pAtnS{dM ONuNAgaka"nɥ'q{=!L6󐢫=UwD4SC5awg=_lFKḾuw #:_AhG5#l.ݜ,@N jF=̴6֒Rۈ5IlZhO <Lp{jԲ;"QD{ΏTv="Ƣ5@1'; h!vR}60H}.m+R*zܙ%f̔"tYJ:]\B0rT` f9t׻)Z/]4qmępL,O:fvmա'<]#"s}lU s^] l5묨!غ7.u Yq`F@5nK x(3$}g2-3"/3 7eH ;18[,J`tx aSf 0+۵l-+dV F8ݼ>B;ao6TY+?]c9€5ZW'>w+rd抦^\bBu:SpU[bt4(\vd7h0Sup!Bo÷e51V82kTGp([}Hm}`%yΊK̄R9z˛]R} d8UG+| /q!Z-ɖ&KkUߥ–gYZ ! -_# 4HOL-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)Cu OO.-_' LHOL-ODE-ExamplesHOL-ODE-Examples.Examples_One_Step_MethodPIDE/messages7zXZִF!  ]D?7 {?:fH\mwأ[(q"%~b#>ӥjxɼo:R7D-r0TmNh:{e|;#EPk4YFZRE\VA9uE%IT(p!j`h0Yb?=Sj $=s:qj͓mةJ" {/M7gť-䘌O͝gFw~wJ8|uWxbm팘@hF,)`FqHA@tP`Yw̭=-$z2]%MB Sxx2K2lлDfCQq-@@~ >)Lғvu;Ky)MMRO#s{G,cav),DnM_:LUIN]CNM|M-3\%,Zӊ1~\,? b^5bi=ME)'q _.yg@]WSԁÅRj+۽:;/1tߊD($vo"ηF1^SQa 8xt,,4*Fak.GPCp 荞Q'*ypDg""YoZ79bP+lz;ј|  o.fvqsxҍ5Og}4mmxF̒< زQ..7<Κc#Cw9)5s6aΌj8fޗuiJt YƎ7rN+`N>zpDwWD!&鑀?Lh"LaNÁwc J>;2q>@cߚ.އ)oh;dJ\+b؋ Q$Ø}xC^{t#F#1;K~-WVHozԃ&W>@ay]Ni¼$ #2p,:i/;[C~ VTWesٳdoVUlAER=߁Prf0&>.9)=gG14sP^Ϭџ{ӁEȾ+@5XyV%@0R):"3Sc.j[@n xnwE<4_;rXe umZʔ]Hͣl. {iW/%( ک U5y_OѼX>]´ƔX巪XHx^peo^h̘޼] ;p(R/vIUY)ärMLx }A6U Ȓ:8kJHkzᵣFGj#V06~wqi`pmrGt Or+K(BփԿφRx]g-b v0HrP JϗͤEykJ`qR 6C,vH7hl?]:IJG` V3DvEl YfW{㓜z@Y1a D`J@h2t-&?2EO,v+.:ϓ7Ņ.5ţu-PP(m|-)K_i?] ^+Y6ռ6"ʰr7C*Ĉ3B-3סÓ'\,W"ThZwWQuLו.<^u'm^WYIG-=0pщ+cQv!(%w d{0>Ahl(l4)śSbRbނ02?%چa;奓0E,9ړ4lk~M2L1IQt݊ߍ"I=.R()qSFMp,L&$8$! kN[!xm) %/>eRv;8}PۯKi/:lx{9۟OvUɬsWbwqv3 tA36;HaGh{(tuǞOCE_dzh#+)fy{rw*W-P/Spƨ(O~@SZEen6LPA}Ӣ^!p?Pg.ǷWBAl}F}@C[L?0Jy#j} su:z".@i5AGD$ BvV/\tz{vʹ@[|-MM@i%jsԼxX|[6%"5Lt}g=ݢh.Di٩ _pd `X@^y2Ⳇ(/Q5yt=ngZxvvVÜć&YC['g9bǻ= 'U&D H DZ=f9TH}0y*"Q61QȂji7 )X-[`_RH)J aU;mR5,-u*BW6)N:a翟 '3:Og2حM 1DXƦ> pN]1HYMYD iQzQzUwwA7&&Z; norŋThIA|9#7nZ?k^! s*ZC#r^ؤ q$Tarp@-;5*tG]{EU;s~@p"Ӿ.O2ځ8EKjn!vaSDtC'zn몊a<ҘqD|yZڽ7Mͫ.ӹAgʔT.2$&grKuLt.f7}cwIoU*<PYk !x'o?a[mXj p JWx4C^w ^tͨA܁ߺy~B40J>vPX&jElUTLVJGG8y3sǵ[\R5- CHh3g+xa_TZ+w.ê1Pm_SRV!eš܎1:#ĸEkOD / Un*.v|2s-?>,l^S<*L|@&W%ށ~B͙AiNqD7)h"D'yY dr|Jam˷ Ԕ* O{F}bHH>La6tŁ$iVa? v!S^v֞iyNFYΔyP<oSW*jS-Կ]+]%ؠFRPa 0S)$v[E!|G$=fo}`szɥ咂ЏߩwIU >PIL8˘ ?fޑia|*ǘ,K! 4o?qT(b4{ @aD˽[_&kr \[$ o9B^z=C86GKD#)@W3[ {t_ aJokFj ^ؖ+z:zuk} H4lxzf$DK_|̯5#bUBMǚÌm6pxiEg1 ~j@}Br(~ ڎkQ\ٺ+`"sZmMSÛ׭.B(^bobN-QE]v%A+!!_Rhns<msbB?=~+ۣwϾR5/gʛ M: P(Ã3E*rLhwD iqX$tJS ЁU23w0*Y60ss>lGe=woK_ =p gizuH^&MB.U :Wh46As=ig袔͇S5.I1E_5⒒Ր:$P޲H,uBd3S_X˚sS.up$6l7g*)Mb gY4pQČRq3pmU;i`!]?,, bTVuN7M)гrrO#ԩ]`ZzKid媖L2v qyTw$#*wY*CQWѮr_T⼼BPZCxކkNشR_0P.$H9NL~jC[*2AIʴ!*4-#|"Kr$ݽ+nq>u|%#4Z~:n*Xܰ%Y[+]% `KZ $*@N-&EP'ⶲŤ*sqՈZAaԑaΐ\R}yI _80qEC}e4nFvqHgB+ۦepnL -“|pw8/wͷe⤴~ej9qjX].Om^ Pknn\`X2L4U qOΤ"aű<>_٬%J֩Jh 6>濣;B a†jY0BY@|"|+9eC}Lb=(s\+)4̠abG~}RjrU_If hO#&_x2b[?vDiJ/x0D~ \;1"U]Qx@=raK0Z97)~Nppϰq(puA9~E&^{}_S| ]'STFc^ &%`3VLwoYSGnLrfC5=Kp`Zlb?-q;v_J[+AP|c ,9%cx,t_ F\l.*STWY 󔚇@8x|SK{ggdaa^ggRvKY$ywsބ;K2|MFHXx'3?Jgd!gdP:7 'siu:q¨#"N&2#zn oyd̑ y;h]6uV@ Q-XFSc"[凷/=ї!<3-(-Y5w{qd\H"V cO*MN9yD[78N)žvxwADa4]H!E_r4j___9 Bz8ClUS u$폒ٝwIR lLMҁEtB# g `#mn82>pp`JxA뫧En2&zeH*3xMSJ֠қm(.% eNCS PICǾ fVCwL|Jgdq5R kCz(8]oy<@gã-mzBIiJ~3PrL>[rO t8N#@n &_lO߃DɆ#Kba8X5E̴z,4&^2@oc)DaJ'*@4Xb9۞>Zŋrf'h8H.A\uVt0j' 09ޫ:iᆻ^&̨SIJ™[pv9%d ]mO\_~񳣙@{+7Fgh`K\`/hVQ}M45(sLOZlەmf pzNJ;j0vS(/IU—զg[ z(u{~j{^"70p!"#VUm;%ۺc7G˜ "sזi̹R|t $9yXSb mN텪MگUb>tpplKfXF:<n2G|TR pBR"&'Rw?dz] #[虄p*A;9t|0~iC7[JY. \&O.iU\ N9MQrƙ <_7MCƱcv épޔ9܈trc շ+p>pR ºmD'vZe&6ˈ&I킬y܅UÎҳӧ$^Tk+Ֆ''H%sHQko86Ԗ1h- ΜMǬGĶO!4^FҔ[nMhQ7~[;)0i(9GO2:v9NmzCJa^wIT#S$j!g lRZk|ցNkH` i,ge44$u0\)Xn[k };VZ[{Zo #iDuӯeŵ*3as gu ҎT D~2a&7]Wg&N \/)H]$ < }Tj5vuF }4cQ|##Z?4^qңR~~5 `.([.2\-3)fb{ ZhF[@$VL<)~G[1_#J 5͘etCU8RT-MyPg~Mfrkp= B[f -T4ajXd~IG:jJ0޵a[t ӶlN [tQ5sʣwYs0pKڧ&cp3wU&mUJbK1:' ҉8Z~ˡ9C{?JCmt S[p6K~T&27W( A?8׏6 4G| ̎`!sw7ugaK!UK걎7L7~_5M5(z=R7?B|%@^Qa&}<_EfF:9fc=)! D1I}5K4(2*˱Ic˾X7#W BW۸DsK{:[&'SCY}5 JL+w춛v'+ylrBؾ:uPx,bXo&z#]Rt\AyD`_"?8m ,~.l.,; =w`*#s'a&5mUUBLW]"wqЌ. INv7LWЀWO0|2lO@,eԅظv(ܳA#"Hk^,SrRGq"Mr1E,R|k5o^H-e3꬧*BTA㙣Z]\  EA\ c/x7tn ڪY]&8z8DðEN~l blzF^\apHāyLc89]? ;!M@–!:< @Wg1,>;υ@yI/& }eEuSQ?{^\dO?.cH(bk+LseDQ!0cA0UC.Gnvf9L2[CWz>Go+>o7% sV1Gv*e*kp}uлKQCymMy 3,%lbkmsBئ(TNH>pVsUuji=oa$xP*^ h 8n~\OvBb q#=2R73Ǘ\2\=g wrƈSFt3J!_j?L#dSᔘX"OQnO).E'+\H6ΆZ{/]Et$I|;#a u=|]_n;oVtio]>㿰宥4NmqX#*wbꍂSg9}fvM%Q49.Yw2wW7pM2?O Vyq5XA*%ĂNĹ<IjьyRe6aUBKG 5zCr9Ѧ&Wa*L| n#=$Ӟ { 5CjO5jS {"'\Nn9HAAdy2{Jcϝܣ(V9\?_ݺih/)S[%K ˩P5TfU*Xu;3Eթyb]ٹz7+kkMnVU.t ς709%'R-6t߶ C}}S1Od&0UذGS%GuP٠T8Baձzj(7pGm>}Xd[!L0XÑ cX_,7A8r96%Y~tZEQeDjGmov8O!MI^jNtR*r?(ԈWZk)nmWDL8tc*kAm+@sјwW|@PUaY}À{5br_{K0QWh"Ys~-/Jxq?zAcrIp)eC„Z!dy)H5qn6wq(AɢȞ 6 P>B: y*MR1?1ZMwBɟN*=, WePLCњx @$opbzϰS2F%: l($lZꓞXYXƨaN7!(ǽj# P?*S_yFJ[ @uЗ Mk VKa 6 =ԬO?{b}q}A_@2e9BXOư|T Ȇȴ@ׅɔk~ԚpdP: / ! P#ڿ36Ao`p ;_X!PbPf~QG2*! dG~`a؛}Y&Dڑ.]|7v b5pB͢EĴe) Wp$Wڱ G.Ptk7b\3ԍz=|xuOB\_)ImXyq|E ºދhm * 7 TlݔвN< Cv~W K+Xk`{ʠr|B[,fo`V:L_[,=%Qp`2Fd"BFrM| ?QSġI[%KءBU$phU:>PiLjnGyQ:^kL]IްZq%)]G#ѢX ޢxԭO'9 cg=>6 NP<<Q5[2Nӽns6u~I-ɨN$脲]}uLC^Pj[N >mKQǬl+6TN3%^12ב ЇףEVw ?큛)-$PQyZ&eӨUgôS9)sBYK&~X':$wsb?Q@`,3MlZ1QP}:nqpSr ?|U?ފN xe!3vnH&] cUGQ!e}6-i0B~3$U[Gkw(XeY PVEPS^售5m2"YA1͟)c=zypgCc ʷjX-J;RAf. وnDa9{=^u{-L׵O'eZM:풰/,B>[׆'ЩfFCj'LA*IlV0[}#>̏ u7* fD|)!FUqVڪy(o=5O rz&3UWϏiUYyQ@z)RF_tNYZN񼞥>rLBq(Q__yu,Jxh#q{PQfH /"epЯB=^9@N?!ݻNd]Y (`\S'FgWZ `fT(#")HR $no7<ϴ$F<Ѭ@:\ul~Ow[ixG|4Dۯg2^}P!0203-̶e1G_^3ഉo]~3p}"BEoE۲7T-,L&T.5U!LiH0`Ѝ`f~&Ez-z[+H`vJft 5bاTܴoM!ǏۧYOe8.E왆=U^p$4 yL\R- KF3QKS1_¸R1ʫL(C/#hI6i[#Q~Oۂ,&镭E3teRQmUTȎeiT삎6coW˜nؾ <IcksH\&3MIi;rIPN ­ $b * I1,`S-]Zm78 nK!%I){h~`/м~(U G!xG>zx|zYA-DFAYhte'^1-sgr;)J͠Tά;Z ٻ*b97 "9z{w!nX1yE~#,UqV7p[N9۠ FoG EYW"-4eQOFs_UMM.r*w҅, w؀תreW$N}_WƖmP> _PPDq 6Fq'W;8:n']idg"1Be[96euv +B //,k9 S|CӐ?}p.DLᒊ,UڟIlNUV7nY.B!TZ `;I%5r&dwd LDE 9Omt@Y<Lvȹ"۱4T޽|""ϩcYx̂)("J^ nNMfTya/QAt)2Cx$lx,Oor<+hGFs4|~:5ējAh F6/u_ @XW'#‟چq_D,W3_M!R䋢)X~>suƋm(ް1Pzf5>eE C@kޡ(T;L# uf2P%?p'(C/R^asb^yHSw.^xys_%x57'Pz?&4ݜY3u,508ΫMt*F[r]Ir\<4%[JT6Ŝ{o"DO#f^=g> =A\pBn`Cws60*v%ī,]~<֧;kP˖`pDy7^HWNpb[ U6d^#k\8 {$E`zTbSD\cχvnϔc /XYs7k e)ZE 8)$UхZf☊eёAaKW%9UB@ʐsb,tFk(~Β<}Z Ryy~u ;7,6g:>p^kŻ3uT)Xv4k;-zĀKǼ<Jq1$c"$,ɗw]ܥBSNp ^"!Zz1PsV;.;\/Mg2.2;ㅴ͂[0i-z<(}qe9  HJ'}:.^У;^MI44~B}Ph|cZg HJKVHy T ;2`p6clI}2'WWA_{߈؁J^abmk{ oB>s)cde QV2dծxw)o+qɗ/2 kcu?.}.q5Cn?o}Ց3j*S7ʞV0 T`g}SoXvlG*t>rį _}bT1Ų,:eMCj8L-t֣؟ _J>09Ԡ5~iX;X!L'C>_S Xng$d֧YnDjv!cޅDLWn,Zb u4L7uz?R2E# ٔC.;.Lێds,́ƨO`5Ol?g~nHPн{OFfA`JJh_"mE S-F1mz7N+z Q\+:Bh)Xgosn P¤ɑPi|s\_E.=ג#ϪK43%Uے7=bW%L㺗߷~_^9SY6xin}IB5\>tWK _qC..O1y㫰O%$kPj4Ҷ]@:(qoe _/Cm Fޔ[wץfpy\b f9<ú8o.#_蚖؎WB)y0",ֻ l3U6QN#N4uNs~?HHg $ fھD !^023|tbTa 2[j`sYێ.8M>a1n)\LAIdeL)BEI24X$BK3?"&\D^cEk:LObh{_$K-îY3Qb()a 4Fs\V2uǛ.*خ }K1NPM5T0)Rr5RsʟV|W0żE幘bd>?9%O܆DHö jլM„i&=B"ͬ*epr^њ߬QM;hۈk 1//o&hß-kr0Iߎ}n!j<\EsJ>ԗDBO M2%Mhw|PÅ$l.0Blʅ(󡩈P"I0<Z L`)f\xSRjhdˢ}[O2^x1kaLXFCx 'CF`M;KOqg _< CF}gGټu7ʶgy75(äUUe^7T4H_yP ڎu%(*|7yo-EB_

~]~b=Ei˫>Rh΢nC2Brq4zYXۄƫ9Au7I9]sϋ=Ô1W7\oG/ɾt*H&yT$f#PrL@y?#pJ>TR%k]CiL Ac6"Xܓ~/IcHjFQA]n= bBj#A`D[)1u_uZ>rjd?2Y=@"yD2a)0hf?Z~ٲo8oZOn8BU ?%"Y ߰HV"GӡYK'G[4V?lN2<ڀl Mn/GJ؇|o n_3ƷeI(U3жǝ \oE`d$ZqҤ*8Wedatq9/߼I>x+l0Z%uBt5;Yέc2KBwwMEWR][IN R=AC}ǥ2%^T+<&{S;{ZPA:12GR>W^WQp\̊ 5.DmH.h =̓i'Oo2(Х֜'?>4R*'%չ'<_0̅MCG19FH vu)%9"Č.àLi: wsB8T?/a n.%GyFSS_k@ӿ!3mLnq-~UW-л:]^{1n+q>Z_˷d@QK%~j ţ#,cH"=Zű9zo:R!+beFW[&&uSbvT̚X(7pmX/ öw4,핹Dm? BG=ԗxHKT5m0+pxqR_D:| ! db& B1Nv. @ ;ĒԱ=4fs%C7;{KQפq}5dI˅OJczo:dqw#= :ܯ+6a=ʠ=iI㠨ߝixA*{sNֶƜB[mq>0%j:Q° Y5K[*՛IԖr 7dֲ\]TQ]A࢙`nP(!9CZa!*pw8 Ӆ} &%!{.gzL}ҬWM_Tm~Ve^pܓVY"@%GoC240;LR|<n\Z\RW\}I7|O{K3{AyAJ0#-DzDS:["bW~X^qO !:gI;J6A C${:8Ԓ7nD  @kc/M d cM nbmZKir-Ъx# \:T{G= ?ZV^q1^F tNػz6Mlp6"e׳RrywnJ/BIF ZlYz^`4 Vxh*th%0/ŬDf~Z Uek,KC璦ϼmakBRv8P2oPqp J53袈c xQ 5H4gֆL~['J\d\Yo4#E^ tӀ'?'ƷnE n8:0[${>f`)륁AX\EX eG˒,s{.@E*Yg"i fgl%˛{+ &;Wu*orRWbtN]9Uj x[blPG*JV(MtH\,wlr-0-z.Q?cQl3Nɗ츎'a*iثu1´MS(+äd,Lz)1Q(lhO&؂bٖc&vMԸ#ŽV0#!@m9gѣ'Jg9u}3zcxmd'0Ȝ78ѡC8%IݽVj#Sc/Z}"фQށ>t"S`>eMzbQȡZʓC$P[ L؊7=HuJg墚)|SZFIlŜv;ѫ]<&MSRFZ9(jd3x4 @t7|[\>lS)FL 2F*Kc(q{O' RأO`KWUOsx`QD )Lܪ+̊rYL !8 @*j O_J ֡)\6,!5:Q#p$u y@*hS =G=۶uTzfk J:PSV)fE߻AlF͖gٕ1(p=SX.㖈`{Z楸Ѿw'؞Hcː_V֬>1 O2@]\J<(zQoT!4f38[{Wld* )蒟Dޱvhjk̼Z+(P=Gͳd쌡#mm&~tHr;+I+,ow)i#/G4:1C 1B$#c [n^C.$| <_99c_Uio-ϚPa+sn|NJ,PW6h8>¦-KՋ\p*TM RD#;bz0.6kT\-ּ=yⳕ&i/ĸ 1(>EV`)7 VzqI;XcVw?Ò'=$^#E;9ju}JH]0L!vC+vo_ Ҧ"V9aWԯSq~6 a=:н_&YOCFQb`sGUQᐝw-%$H ˜ ~)ؚ]K`| YD'8+ɋ2=z0#IfEj9ve x+EB?Fh8 yLIhԇ#Ƌ*+w6S[FyhZFy}Jy.Ŕ̅Cro݋%sj6:)+"VEihlr[d_?9;8؅F[GG < F1ؠaP)=P\t(GXոQTuH˿~̥51'_g|m5l#%a;-RoM$1jw::BL ;в Qe;*D1|V`}B@mAx>]b倘(V5bN 871dML\l}05K/e/(]A4L]TR6iX:96wI(ϊ.9Uw |VjzVc >>/BJ_Jq>S Yyȁh>x^iޟ^l5&[V'|o8Zy(KF3 T^AU50Nx [}3LOi-l+>S幅4ec<sq=_ FaP2ب羧5B[ SkWq^t;8~)rRZLT*`zE&2 og_B(rǖYHW }wM$Imahj*Y-#ľ?3,MŬ"r۱uxYe$`j.4?_uTO B()jg}-A2)aX<*ibb!wb.]fy  bȉ2GHˆB-8LcLCWg+W e^j)JSSLj-"M 6DWZy{'x+Cr%(,UPJc:3d> D"(W +HV'cqyb-M%( }LyNG*-!P-u;zb hp^Ҡ9Սe@B?<_f(_Kb@HERD\ĘQ&ma8y$76U5=X7gu;+Sʌ:TUi6=xA+Cحeo4Gہ2KBgޡG5WMkٸ"T9__=WU4Mi),nhq% ~愎붍w5*ϩg%NxQvOś4ҢQZRJV,݈JOT'H 3}M3xT7@WK_%U.0W'tZbe7)&~{o9So}`Hmd '5;qSǧ=~Bԋݮ`{0KoW~ 2^A [Co:s:v cJln1E)с:g ,L39<}Q.` r&iI2fбg>kwchFs dn}v{|D`UStDc깱Ƙ_?-ʬ[ysZp)yHHZol/ݠ+Ut=jWat ӟ+Je eCeù %~JWbiU |%\3Vy:N)ɲ"99MV_aԀ 5ᮔ6OX, 0a_8!~_;i|S Q\7d*˹x0(x"'#MJm՟B-R4+&iRn('M` "Rs-^l XB!JMJ*|isS?p_P$7ìwC<ϞS"[!V._?'X"p$_;0%,{]rdVτD*u%v@y&'U>fjy]Ѝ3#|ͬpJC}(&\qf-EB%[^*Bgѫ dlOz5!d˼]q.q69[ccWu+{?q/H) ġl vwע>613ګ~a>\bE5]Wz+0S(?%AڟH5=6K!?(08S?]Gb*Bz u/㩘6sӣbqn{MGrN!Pu5BstZd%v^ 0!`J7y2tg1X0"1׮fYa/lq5O.$vL AA<ގd~`pG+WxhhG[~;)Jebf5ԨT@Z4Odfo_P(Un4S8EFH]n|4nnleґcMHm/?HޞsLVk̶ H yqg,*P6Oߘ[oϤs??Phbx7\~7A~r[ Qob1tj$wD"8@tX_xBdn%AQIă fa9upaP؄;!:$f" oW/6mHcNP>O1&z);l- RUK/˹'s೮au#]qY6j7Mi7"F\Bn cb,feMA+73/oPidsSV0TC͑5 q.cqJCl@8aE.~m,"G}muc_<*V:Cx/ϖ+|n,9:3E ou .^ 8}E&*G1D96' VRá+4Ep#+Gֈ9%hUDTV [A+wiAL_,+tQs1Uk`OhVLvŊd4jQɎƌ"y"@PPL?]9cG.BSopM32JA-v0b'Ejk@rά։OKIMܒP!V i=xL^G̰<˂wgIA{Q Oզ&ܩdԮ_F nYHiKp\2@0ZQ_Yw)sA˫PQBq+2q`sLE gafQw?hC gX V01֖Ȼ:∉,3 5sB|Z$fE !Sֿ]#Tɐ"5M+t¢"FZTP@oahOEՍY>RkFc::,fV|ly><%N.16VH(8Of=l`E XqvRo'CMNQMdҍRLn ]U}PV&஁ [~" mg\I g[g3ѿ;ps晚G/WH2"ڰzT[ y*eJPqHҫQpRz nEj >9{ZRӀR 㝞 y\% #^-jatq $wx{jh $i^]Cƙ>CpJpl/gU2"yd@RtuiH1Y ^h[(E9NC%&jVK0ɆHWiG}gN(!#-bK{ O'$6 0#ȯ{:]h7ԩDVTߌȍ i:r̳;+F1vrΘÜAn$$W>s\tU~Ia0MQdt&g:GxVf1հY" wSxO(4[! SPP:z@ #a+^b YsGVX{!xt"a&s z C:O~l$#,FW )NMt{Qv{ɭ,l_8$zA.PF\'FӫANTh[B}3I Zu5-jٌBF!7NhkF;.*W^Ɣ9!EmɂB:Z[m,'Ike6ۮ _$CEڜ/OǂFn1W$:ܥ#Q3+n iN sTC0uͭBTAx=\U ޸~֌w㊴1!NDq-~C3#H?٣qp1@(3VҤ$)_7 y,e|9fu[̂3L"~3[ߊSڎ'~/L ܠ C%P,ۭhUi0W3&3tySB Pp-\ZjO"eSqr<TYL9#ZwZਥO{ _ f}%'s3{blnr^ (̈\hUi1NfWb#4M!g9>1M|\SJ˫-:/7<2|̌heο6t- -!BJd´::=1_\?ߣo 6^2Ⱥ|hTE7!%l?(QUD47uiGVSMe!/v]~gdxWYyȴXbTQ'Adʮo> xr SAgaadڪ 9ḅ~dA?_ryq 8w}Gó%ڔT%>|}'m$u]g<,B Q֍ T|;2ܩSӮbjj0 H)~b5K"ӻciRc@˭"TQ38lpS##p-6O z^R-7#S1z~<~!l 2ҨHTa:t*Z X* MJ f7cjy|(ұB +VCJ19e>5bAEةqZfӟ潞Rh,:ݥd*-њfOx%n]_Ylj$LJvgAwK Y s?|RfӞUe@}`!~?X~9? F!!gf~2E?[ٺU㇎axi&AQQRթ5OOC,ir~8,h$FZl&!Ϭm`ǧ2{\eKn:MV'Bo Ԯ zS?tJ&aL'ÈumajBhJk*k 7muT}hH]15X`n 9aiR#zFu9,^ ˋ$ƔU)0пgXyLyfaު9_uc v_!%\sHHT'y&y jKtS2#54#Hx_ijo{B=xFM4j]GF&;rTn5iwttQH @9 _1o܃RԶO37yQN'ςR:-7:`/Rz(€᭟Sd7M#84:D$,Z:|P|w3=pm6EFWq본f ַlnR`uyyRXX\!3\L]׉Hƅ̛ o:ʗvo!V]gc UX;KfĎoHnnRZzN^Qxjd"m+T)QG׎D:*/|2a4 7붋eObp̜tRb4 RdV2M8xUDtS`Lh3#8kkZ4P?& 8h Xn芴% n|96H !C+xT@~+OLKtDߜf=TJJt[צFK0[}J "MZGrL}HC%*l32H#D"-F5fPcw1mrWeSTPyW3PWӦ޴@)ʩYy: B:=ڲ@v@ 'i,ט' "rͻqw;٨@J?ha96C5FY묙ƈ]WۡO=ݾ(0Q30!={zM܌xuXF˲Bx@EjI(/˳%5]1:,,K;XY 0<ek$ϔ~NPG<?=X/>ypO9v\,' oidhxj(9u8MdϙP)'Zt6kcj0^XW-$`iRkE2%?`CDŽI^& cwA,VƟ?<(;o _ N.L JХ͋˙@䋀G42I|*fP' q(u%8T܈"£獦(3M8`QpH՛# @0 Zq֘O0|N]_|E9y u󐪅 C1p;F4c\f=:H{bjxSU %jVˁ8-,` t^6h0&wiTQp3 0;H! 0, D7Haw89@ 6ݗB)2i D@"EDRK{y$g3*b'ңi+~?7sZr P.SȮ4 UPM?(0.jq%@-"={ =+Bu䠳ȭJ.NM|Jk' ,smʭa?,qC:ffc6l `ku"$}a%ص.jcE6ic*bf'iDK]ixD53mӰrZ y @5hj[D8be:"""vwj!6 enc_ =?o1,hZqҽ`̘>B*;4sÚ|M`ͧ-|FE!fK9۬׎<-nʭcߏ ZߞT6x#N3_О]bN0aBJ ~k+'SjrT;{*.bNȊb-j|跥9 w7 Po8Gx?֐g?ێj >H.("#bmh6^/:d퉺Oƶ:.pF:_-ńqY,1͸D0q~]s)kL@0c5R _8q"u2`K6ӃnflMznyCZHyisJ SV^k W gE)߮غq,}SBg+-y.gg=uF@]v4 X5#620y!$+Ԫ.[^u ,) a^-1b <̚cf=QЫQ?p ʕ!i4WSVo-1DTlM0CWg[lC]_y$NW4Φ2mG}/nBƃS;/dY+ޗ)dn.EPFLԭ o!tyi5zA6 C^u4Ļp1V##Zf`"SGLvFTKCx1}/Mċ[r&j́X mHN-(S-蓀{_/ۯS@JY#=s&jg" Nyd9=qcf)1;" <Ѧ XFvBW$t֊_N8H$>yd?Kb!.!FuaM:bxh U~ yA\Q{M"}gwYs!jє|hzNt{絣)'T(,4dfrjyRĞ3:v}@߁N==$״7You{ϰ,k9c6sORUBTWF\uJݰ5V1RrVo??_tA޽gXj!LCHNeF/L]4x h&Vw+gD J+za-CY#M]lG*` QQdEB9;-o?@p_x8qâxwģYtST:k[Ȁ/a~n,ɾ9[tk# lO-*էm{ɝd;"Q P\StOsGL>H> o=z9]$tXʵ׀f$;,3|7T]QOiK-{vZsTv+5%[nzH.{AVY L֛%Ϝ'V~26RLeU::!-0 ]ՏJqbI|F-3}R1i- a4J&l`>Q Zw+t)~3G{9zi{6IuڃuCF:QFws[q6EY 7%Wf)xݔ3K} ! 1x2zQ?HEj O\NbyZ/Ւ 9zcDplG ɔ9r,7/;}q8TzDw:€Z [s2}60`EV\9L'udęaysZ笩4'ܮ:,h" |XZP_M"~/yVhwD8[TZ^u@T1Oj?9z5ypLw=t\,VgqgXJyVZs}ojO>寃"YXڵ-|Ѽф8ތdвy_TeS.R(e 6+[`AYKV97JchB4a{=//9ah ϵ`F$P 3%#[:AGLܫ MlwQohR`yt#=SLu p2nIzeQ)"\$LW8C! U {9mu{Q# W;)AXIp+R {fBrV[F\~=2HTp =;4L }6Cש3r.zCbsk4QRa(nsԘ|)-s6 M|wh4\Lv@VTo"ˋ]b'h`Dbf4IUTp}>[\v;DQxP㩳Λ4[V5Ú5U_a1X2Zv\^ޕrTpHB{GŦ6ҵ$ƻ f!62znHr$rzf?XAV,M,m:Z Om˽"NE#Kypӷ.E_Z1tJ6$ 9(1rBzNO+x}b. l//iZb%=H @ԩCOFˤ@5X>Rj6Rvz @ȌE)aM.>^$S*v(5lDsN&yn4ՙb *L<8A)^buh @U?l4q~p1z{ 5[Pͭn [W [*u أ^+*RIb>S>†E.Y9^h+oB72^xVgm`lD1v4ƿKusqyM e*Nt^`$HՑ>MV{9b˚50&ہ ^X(I*`Ҭ-w|N"|et@P$}Zb+K6Z@4Ez g=[;,V95-̹/g .%cZk?cƍS M fP[!Skn46Q/#x0x}]}RZ8dfѕ@p6箛6ESesFd1F77sکgSw{-*)1ӉE"C o< ,蓓!:}Sō|~z GK6wayn,!x S͗_ _@& B MG!-cX e#Fg5\ ٰյ5/G K,*pI_#(Jd*S$(@L .~X+xjcN`NA/`Arvop{'O&c TP:z ae YYp "y\|UFcr $ÔY.AB'![˵̲-\o*;8AْoUob5q됟$>-k!GUL"^9$sd7=~zsRไ4%) sa8WUw8͘ip/2(}hl_%]+YQ+vG&}z [M\[d! OP 㧭Gb0^{ٖ|$g@崙X6ghV28qKy>YDb4֤m Ʒsa֡㜚~|聂 4(^9F8LU. E: muS*jp`kM*mR|/i DUxq}t&wp% hAJbGu~Tưq'f+}O1M"L :i' բuuçYlf:WYk:L2. ^  CjlN -V-mbeM)3sq\5-kݽ=yI3;BΡ>>gr)m>'ۮb;6CE\AU9ap"Kۘn|JWn

%GAV&" 잮ȣfIɃps A D"At~K`mUk׎QWnxzn䃨#eqՈˇ%g{GDeZl$&$/RYHA p ᙰa`ڡm"I>g|]@:JpP;iŲ+^Y&HbbB,u8ܭH\" T?"21聺T\y!V`Tb.y+Q"3}EAG6TspP?9kL.U/Y+t4a#փk!{. E,-U֦Т@;@vqD1EBAh8.Re+})Ј P3};]o1^GM@K8'Ǫw蒵E"jZ) p!BR~g3Wq2 W-R 1-EIqm/.$oG8J& hCJ /~'j_ábrH#}=-DO5p؂VH:vOT/Ƚ\owH$yjIBVU)IuH#^(ו0>PcvoTY+64y,c8z_kpFIW[3!IRFa\ڥϗC]]H-4e[uLS3r^hpϿx1Gzg;3{GVi=DW-dNo]C` eck:v9@ءV@M$b?YzmmYFS?NQ3'?rt[l)Z~N>-ݗcdK"`Sm-,Oh!6eŴZd֟*e5y޷^,!m hzUN$Bo{YXA`( ^16ɎniQ_sN_l3∡*~oN`) vOcW= r^ԬˠlY\}qN=2|h8pّ cB*_ rCmE?ڝQecy7.6ϑ,>ړGt;W5l˽RĚo=}bH:E!/eE? 'G 7 ǩ {⬴>¬P`"_b}>dhd˛OR. Fp2n\leN=¡u/n?9m8!uf #y*[ERڎZaSie]z&4 FDwDvK왓)N>[툄g۳@4NR&CqKWϑ #T%FdRY슔ItskܗC\?d;{dŔ L0g.xC42f".^/b6h4f1#636(b;R(t_j[Fٟ^:TqKvb7*3fioԓ:gYZ40538a9c68b64fcbcf3448dd5835eb3d200184577527c097151a176fe2b7115e283a3ad22f3623eb 46d6d70bad25fe7d15998c1bfe8de29513678f57 34f017f50e8f9831899f371b93beca4f99c352ea 3368da5687b5dae5fbbd3e274cf9a6abba46d378 715a0a1912d5801e4edba544c2964f2899e7980f