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 /|D4< ]% HOL-ODE-ARCH-COMP:threads=4elapsed=785.092cpu=1712.108gc=15.5327zXZִF! 'Y]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7X0='~\慜]e6xcˈ@?ny5A^WmXdœlV*$:g[IGW|yD^N'J\"?ɪCs&:Bx!xqE 2s[=x>"܍IZ W cEfaš;#v<8AfW\V;1iNSh$R> 橚XàT>X&d7ʡ-Hv/S+_m8*=4cy`2|(RO:~v] 3 $P ),@mnIi"U%E5u+YՂb C h3P?mfƌ*^X6><-0rS#H|vjjPDPkC468iKP{Z1#]Ot'NOR$Zr9餞cЍе+/?WE&r55^o@+2ܱgYZ7zXZִF! [X]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).qwj6(A]P;2gexS>&vFTmFt\ }YZ7zXZִF! YW]ŗXi%T[C2IGZg{u[C;Zǡ!KbbS" >][$VYpl⡁y'H@݋.k>} ;(#_[wBMcZ0Iqq̏p7;P l̤ o${ZyIv`IPY"I>' "~tRl+#ţABwC֋ 7q> k\,"'6Yњ @RNj{R[5'c-YݴEhfe_մv,Fpʈ-BA! 3P܍vqM}ძ+WGc TdHߴG{Y؟H^ߩwN X5zo @'$nkbHM?H] 66@lίHH{SHZ{zDH Q$KYF6zeŹ1Np!rQ3Qk)<.`fQ<ݵsH;qDjJ_/^%9K=f`0lqP(1[jFu=FoXMX 8C=O*n0ws&^ KYU@||F#LϹ@ڧӳC,KUV d|`X,}؃#_zMv+`8#"s@<`ZkyCQ{+wNJ6ι q}\/x+onu7ĩG`?o ]܎ ߐoC,Ԩc_wѶuL(E~̿@3N/q]%©C'\D9 :D,\\WQ^N T 3"9]NS-*&NQ+~aO |H]<aq?1^]w k]?3qg_MC[-H%1JuGAYn2k1C"}#eE wdķWހC~/^M0Iwm7UU"Gj/۬>(̋̏+aL_WrYYߝotaJŋ+8ZEȺk[U8 ǀQ%?Ӹ*630\jEdP / #)|C6j&0d P-)7a Sr 8? xXP1YS!nMO` ,\,ʎq{E0G *:| U3#qnGւW%|93eB0YI3eHS0#BJ<^\ku , ; 3sP߳o/]`#qc)yi|-+dN: -=M(ZTZQɒrnd<, 1dY@8Z!n^NXf|9l7ր*E) R(FwCjgePOg7CmbP&4*$bTarR,.$4/no,cHЉ$SuݫIɐJv)h6U d" ýxsXo*%V] :wj|(+EqG ;3hGgnI;^[A8߯P_r ?ud0QՐJM'G}lL#VŹ̻ "CkzL@d8΁+MʸMJQx !ev+ɨ#ld`A-VOGVv-U$(1vI=֫XL-,v5zDis'p>pVUjɿM0}J7й}6wj mhб4~282h[;,0]uB(Q2F|ϑ=!3_`{N>d䠑ċ'4厈0`e[1 =5E5EsxCn rJlLn?d9}yE7փjrL4znҧspe@8REg(N'U ۮ'ëAҲ FdۧtqB﹎xM3nk͝5crIh1xU1la!ۀd=N| /U!HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/files$AFP/Ordinary_Differential_Equations/Ex/ARCH_COMP/Examples_ARCH_COMP.thyO/U-HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/document_id928! /UK HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument/Examples_ARCH_COMP.tex7zXZִF! J%]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( ɸ7Z>ASq=طS֐ Z)^`]r\4G jh: px%ÄPڪ `89Zf=p-8v4Yp}T-@QbVቛ|zS Aw˕ s7.:j8&twf&|g#4O+䦑ؿ('*Zg0^{vzqQ"~B3&Uc+|Aˈ)_![kQ€P@?^Xx != _[E8) ֪)$ɎJ0*b=2ɇQ zR du=F" FH+Y GyЀk.5PcZXu5Q*Z-\@t1K;O: /OM].ˌ+hV_M6Nd*ơ Ӣ(tͧ5^ҒC;QC"W]ՖJul!p*<G7sY,үM翉-DtqgҮUQ ˳rMQ+_;+WʭIcJOЫT:Í%4@Eu뇔|ַTvR!w1Wl Q_P/Z\PPidiX?my6C4}(z*WWr oDD">O{Z*I8":0Ep6kK|_K GbÔ$Yxb"dX3N*9MZh<;G1Kٌ7i.qT7Mo;3oσ*3"dtB:mU< ၦR)C CZ  ueT7u2 YLAhA!c}1p*\55>TTٵ·]79ۊQe0W`X+:TssB`T@,F!3?R~uݴd_i~,6"rȢsx1#A4V/sU]Qe7j3r=tQ6 'i:߳r%CjGkHZ9dZ~]T(vV{tKj;#øASdEv(y/ormQ^~55\ڒZ$fT*07’u&-~zonEM;ls)Q@o~w&+@HJ o_,`.lܩ TQhU۬SՃsNDZH6ŏTւ;pNQ'JPF[ x@ ZH/U'HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/messagesF/U#HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/markupE/U!HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/filesK/U-HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/document_idY/UK HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument/Examples_ARCH_COMP.tex   .%0x[oa48x"ŠЍrAC `it&w{L~"ubkG|N)NwE{n"tU7vxI2uH|x>V9220e;vn~*X'ڞQm>d4TbjQwՊX"3ou3T`6Z4widRnIWb&s9̀Vtx~3)Q?94k1KX4pHj%oZ/K<7^p&}g%GWbg% S%ځGVyCc85 igO,yEYR1s<h./H~]9҅BfLzodN\$y&oC:D_o_ uX_.mu1 Ԛko;fD+|_Xɉ>AjiErA;wh$bIYK62um%l*8*1!QJ6 $ʁ{-s79gh; {ˉn+1h_]4|l#1\v-vr P͌!~zǕF( v aO|.wTB`'%J"R^*+X pO~՛=rYJe S.m6p=l $-[f$vKUQϿNS q6c,=.t^PT]=/@{<445b<?E,RSK=sDnY1״+QTE„~bߍ,^>M a07 uKİUE95A0uDtVES`<)}й;Sc:0KGqm:uSs q(1ОE]gGgUzK᪍mϨQ|ot\:-RNLQ־i1yCuG L㎖Q d]ck? ^7&"-\݇:^X8?+^uaDH J!MUSM>wfyi)4!BY#j!R NHdL(J\r!fPJ XJ>7 6վVҧ7J ˫4ÝV|BS6`=eZ#Hzis(xh$$u_ՍB9 Ae-wZBq]C//^ otcRb[ ?{>8C[ wmrWo? z`WV[FdJ e)Ha}A_0z,/y T =w!a_23uS߲ӲtS~+S]s uG~e>| eFg>0]M&JcvbjlTWv;Α#DjBHDP/840ڴʲ9~ډJ"u})ҥD5Nٓt*=-@%aGᆭ7%Rb/dkT%#[f;fKqc4\9mQeЙҁO_bDZ|WB=|Fx2 l@*w8FwEüQ ts7]oH(Ӽ;;. sdzx=ɥPL]m< !x/X:Nq\IdAKê=)k\0;O=P9 D`k4̃^N C^ AG* _+v8Vb=K7ˀ<4hczURfRmY5CLV*R8oGWg;.N+\DIUM_ -6*\:76r1Yg""E<8 r"!l5TIƕ;H#4ɺd+,d:9* ^\ ^C]Zp)5{S#^eKU St-)p"p8U-1#?}3VShO8tL!cy>P/N%,P@ g^I+bs:`PZa5YNw'K@zjdÎɩV=+uvf#͐{OH7xTC+,6)drX2kqCP%9! es6Zg=GEQmdو~*j7^!&W&%=S -`c&Fj+]w-<22䢈KzQ͸ZrI|xK,h 7E%0@Ҍ/. I[XAA]VbS3\&(V--5=*xrµp3/-qǐA9?})01 @;rhEe%ퟖFӵZx2sqšxrJ-'#1jS+ի_儳CcD7iA#]U}5# 82k;(Vhi;.;9,Y@=] o !YkRN;а"*UiZ nP?GKYKls&]D*2ӎ 'Ƥ$yϩHRG>ltmLȖ̊UYmIg43'j羫KH#E.B(uꡊp.)xi-wB$Xți(T恵:0ƽɖ$%,nr}wQ1Apo`ל8|QezbG(nYOO#v!P[Xף;B[b?Wzb&]4)Ƌ ̷8w8ܫқ~/^AXۖUp52&Qu()EOջQ(2gͥbL`z/__&Q$`07tC@'B5gDѥ/{O lQ4zVw{P D}S328D9Rd3vhqf'_^7I=@uUFkqKw;  /II+9e/c@ TVxApż.X 2T\j3,ʋ;j!>" gKhCcwb \L;pF.e =l;9|axK1(ƺ g.ʧ5QxHyPpxXڟ ÐVW¦-JOta58A2]3Ó VF 4dy`L/7%6"j?@" 0wĨ9'#Q[ 0Oy+&h@Z%0 ag4c%CӐүhwEh7ut)υ_5aNcb\ Uo8808jEjDKI`4l WLw޽AG=vu'$gFQ״l$ 08G<5Q4b;QmU mY:6 ԋAr}q:WmamY?AxL6Eˉe 1l;Lݙ -KYiy0ﯺ&2oMU}ˢ} Ie-߃{Y36҆5:X7p']:# $>O-~C< zx .%ˑާN\ƶ0w5GKHLG<Ḵg̬r ,;Uh}^A. kUW$|Vt.tB&,S4T[Juf܍w/nYS}ZNP\7,ڝSeHH=NTwuiڻV~zLג}2;I[C;G.fw=1w@*wtkD,}ž+o,rԱR|u$ eCk-E]F|@x 0>8RyݾͰ x}hd;40.XS %ղTP|yFt&[g*7.{) w[}Sui5i`w&|5XO_gČl. [{د3? XJV "E^kO ]\AX(1vMIJ2S_I0:ST;kV$;1gQ&}k~SKyϛOg0iUM5؎@0XXjsȕBT3b 8!;֌|Ʉޝ \ +J':aCeL'}EQ z󛆕B)?a-EK^lY[jnhŪFI8گv*6uъpX3, ex'Qt@GoקEp{b;Mf+' w`HҐ+|ЖBX؝!$iNjrx&=kw-F"ɷEg{JODPLrguwo[`_%NUio0D4#)qt}:;g]k5p-'T% `'O<)qFWPbŬ^ցx.QZ"mɥ&0ny&tyU\`g]HP^KhC8b#ɐy?jRGK]c&cMw+&(?ò 6),p]^E;&ffM }*DކaPB(N8ȼ17|lw ?m "]HNSPǝRO9m~"L.[ԕ#=tf|3*֔X[.KՊL&hrdP3+cխϦT$|[>%ͻ5uZE(-) 5:Y-C ov|r K pGgYZ r&+s:#녬qwt1y/G6 :}y⵲χ3%xisA(㿝3,( *J- RH)@J0Fy̥(5r-9(E=|WN Ya-o)0+9RFP?x @5=`eGe_,̮٫9[Ӓl)EG5ՀlU=yWrk=&>V![1V1lٗnq!p NITVFPf,",H 4zJ, ];雹?q'\ShUs)J5%IX= bwx6ht.Ƥѷv^g};[0}V|LؠC; 5 '/cn :Mj2kkt+09>˳ih+׈xMlO0{@L]1Z5',&*XQ{#x**yd WZ:|ٜ9OH=d>qEI`tjt +"T-[4aVRqqYZKw$ |A;̢!ѷ:O_'G<Pgi0!rR| 'o3e$rǨ(ؠW5 WCa:Sr$H4TZl>)OKSSgC4ߛ[́; ~ Aѷpxеh~ط@~Jb{L UֈM^0^~iXE!P;ϴHYEQH/IP&,ЗO7~dj IY7:e 9hPܼi:, )SBƧsYu&K|g&C:#y|޹$ P ZaKc(lf^-G7b~fs# O㽗!<+wI nKkBm0['|û;4kZ nU 0X~_Cd B;wNj&棦z-ޔ, "t˹EU]js,B#9pK BU=ƒic (7p][r޽evHo9pnzh4ClH [w=-KwTY~],ۦH'k구IC}hzD~t F~v 4Jif=%{ 25[n _96ۅu* 1G#dvG; RSL` JNum*[[D ]n_!Y7hبS{չ,,&O]U-V Τ0G_HTL9>o#!T$FSʕ2:Zhk gIWG|!U m@z#ӀLBsm!*OZ$Shm^;p2ʘa$΍J <4 ^eMYR.9{ƶp@qTq*!O@p}Py8Ŕ-D?SVtLbk]}G',4{G9f3,uΧ6J9bnK Z,pQWR Tȶq8&/EflQŖwӐaMGṽُ"I(2ñmR~Nu:7Shb?58 w!mf4Jkzb \a`< :QY7+{XW+M-DЉfڀz"؀CjBHb2%GϓRN@;+ᩕ{ZҀEq0uĢ[PDSs;#EѢ}ߋʢwl=k&kO/lۓӹ KewoI o*m]֫*TekR47x\;;8u p`qJ6Ŵ dI¥3Yto r^h%7dx~ T>Hj̷E4KeyxQŵu>fAoM29f!_ȃdy»D2/FVӫtfFbrxcG 3h%O(~K9t?c%՝.^OV 2>BeT5a^tp1/&˷ d*47i;U$R8Uz;);Jz;fڑ5"Zy~p]>4eů;pAe X0ke(Y$mTMoO#AܐRw7Z!N3jf~a:ۯ aY53{]I"HwKkPU~hKPI Y%53!fDU+``u/M mN%UOGoXNZR9c ֫veDdg 8_fǠ#ASZb:w̫[*u$Z}]w(ʮX] =/Їʦ12xWf aƯrWϒ62!3Ղ_py[i+#w$QܴU\j/?h!m58MsFu4˰3QK!#}_ Q!y&a0UM2!+f/l6Q/JyΕ\bA˪jLjseQ8b LJ&]n<C7x/ 7DPBHeOG.85O]nOlpJlD1Ek/Mahx6lOy]g|xK.xN]r8U7N߯U\xn_*!7|t)CrZ;os3;) /6pD1aj o`Ƴ|YdO!-̋C@0^L2J*2Y7 ί4 "~$& EubǏu?a)ZI)O>LoQ:[KMW%ӌ~@y 6{40T5+9&=PJvd5IcVl9w Ly\)}ڀ&Tanb -9;E{ nA=平Co={mG;Zиqu±6e^ 5ſ #vPI;zL-bGTSMگq0,]i?BO+>?*1㪦!Y;E稺@(,In`k9dxq~ة D j n]=޴IByٓ~:5~Ŋ  (z?}P)N\睹p|;^^31SP(աqf_ Pn׈ ]iHA#Cн ۼj4w з_5a Q

^؈-LR9J^nm }EGԶ1d){_ Ԕ6$3c8P?DԠ "=#!قNt厸MvMCih3q\n4/޴h86kz2Pn(sR =NngpZrv.C6ăk"PSsRb i~8qKU}kt|\ W M6b1} _W/䂹Y] n*1v6R;2h}M}Vv}ݪs{A֯s50(KUWʦκ=i |j,ܫlLkԔq򧁎 3L, y.RmOO`}ZO (#ݞUbm+v)]X[+2@z̷ceKe'.66fmܙp)fa #fLSz{ 00Š! "FLDHP 0e?{mxHȄ4gD#VNky" 2eqM|4j]g*$kk35Mz 0A<OH,GCS 0a31ƖGwPRC[?HU bj9.xYV ls*gqpvj(?0nL*ݕqSƲ mm5I?K} s`L%[ed%1* i=l(J㾂@\%'likx%P#C2;3,a&͈:Wǒm *:|eJIyKS6nKjmx$⬗XF6Ӟ:`Khh,j$e @nwl=ڍSTVot w X>*}_KnhVxaT7+]= RPgwj}K"eb>pS,NY V^brk`ј\ƦLrZpԻNAq'n"]g'nɕU JId1GICDn}Z%169`U}uu#>'Ji-ҭr?/#:[I&'m)eE!]a@$njmy$YV<9zjU筤,#dt 97z`GӒT?NHYd:=֢: o}<7O! #x_Gc#8Vat &?l׸ع/Qq~w{rV3epԖvsXsCt֛Ɠ b%T'6e pY 鹦v_˻|.CHZҰc/^]uܹGF0D•%tsܶzs%#.}@R%5& 헶4hH,,/LET^GϠ۵$Mxw F9%P.+FRpKǝ%َfKȬy%DG]VMoT*/ ΔG3N6I_,~K[gxNd&L`hՎT&¸EIv9F>fmRp:Cnil4b#I 2ehɑ=d̜ٯL@dg43wy>zY1~ZH1P;S˱_lz)%˧|DORfῳF%++ S$;`dӮQ0ߖvDCܳ!\?v}"n !%ˋSao,*G5Cݏ~zÜ=T}6c7|ġނy6RfiL&>˷M|Sǔ"(C"f#WQ}ˌmFz"$a]Ri"@4GY|f0%6#3@2IϺ xĕ見k5@eF qH?eN4./ƴNp7 Ҍ x_߿ۘZRI+$z[J>"Wm>; 2oҪ_^!,S&wH!t^eV[ow,69Ms(c̉ }.Re} ;k͑6Z>.n_kD NbM~5$"\Zc?x,j<2W o#^-GHDhV8т]z擈q.bzg Kp3G8$̣'{Rvf@95HA(އIDY+3O kFӟjkzRwtW x-$Ȧ0~mq饽[,$yG| `Odਆ] BX; T x'ShNrZzL ǔ{)|  f _=}ID$ *vRB;xY#яJ0Þh~+هt+:Z% 54!a! Ew=.|i ۩E Qjb-ҵ(irzuͤe)A*g5J>IZmv*WgQn>,!35Ot\>An31*FՠmM;GjIGܱ>X8<h]``İ󤴽ΟWQbk݈" Alpi4F,Ɠ11)F~)@ϣt,7J=x;$!@͆hg=ȴ3\(%hwF5˥wY`_m;@C'ɕbx8oyn攭 k]ٻƁ#B%AW-$]EE҂Tk*H d-i\0Gkw,H:'o6@eSd24cN=;Aêde2U60)k_Š4{Q$+ڭMƱ(.f qR Gp9X}e=D=HD?A p𑰾g i+K3R} 3#`3EU%,tR:q:|lV 5>n#gySA+w\M(8&F}ZIYD/~}*5gH!1ѫwC>T57: 즳d55 7=dPAJK|!uJjsQֽnBI\'l]Q'i{J̺;;kGh#޲EO>43Tsfmd8F ɳn}7ڤ꾧2 /̧b<"o"#[nB!wj""d }h)_?ÌinEcȃvݮ8 ,I)if|VW+.,ybhx_2դ]6ǼmUī?Lw*Gj+x58JeG ,AQҧu0ɞ_w`x (T#KNhadbMTۦdN&Tٗgo1$Wgco|H]Ӣ[Wx Ҁ3rܜ ҃SkR\CH䡼MK:MD 68A@۰j\_NlBns#5oA%=~s"?>q/) _2UЕ"Ba\7 بz-!_GU1ʋl6]z{cғ)F0ei6Xd%Ü-J),QR+GLˋXdÕftOC( '/>-IRa+0+Ϗx$ epÒH~rN?vzQɳ =n+?MXm $'C(/RR\eSY-ۓ $\l}ܒ󉗕wBP;v?)[^Gpo\T$z28hՓ> xN21({=5o _,B'z7``˼V;) G E`zoթWtL"2E[% 3sN;ccW|$;6Vj-Vwd 9qhPxvdr"7ll*BX"d_^<5z$!? go)0y!!ﺯl4 4_t"Q[c#LQ=W>O=KtCQi {CوH.?MXg3< Şw N1dvQ's/h_C[CB7?A%xHRR퍑F!OR)r]zK+(իef߲Wf{ĬbZ" $v>O1/?b2TE4⒔O?ߝ?Q,Ҿv{XJQC6&dG(ǣYҵV&ȥu2,> }C; ^! 0RDOjC 4:d[_Ү'xb @q^5\*CT&)~c OFq++*.Q]C7Ǡovqoe܅mȸϯhvFb니MGF(7.wyKCd0D` SBUŀ(dL_"Mċh:&eEY_mC98/7ÆDFYӣk0,)yp P<\ʙɂ~hpᡴʴ; WV\3 TC{V"#mdm:uZA)8((9، RvlG!-C " .2\JB)^ K7օ爗ҾB Vq="E܆p߫5h9DReE/C"ݐla9(`Mo( f|]izI|R 1m{fS:'+n~_]1pBʣ" |R;;1^_FFͤ+J,+mK!)(S2?ea5鐊 %Dm[z95e0'YfI Y(sDt4?GBrWXVM)hk#s5N\nxF|WdS"\/bX<, sQ<|7)RjEôꢯ"MOzfmP+wmDjaߛ 7+=q'(kr)U"^anTXz㳔؄㕵Aw̓<|gծ˨Ǭ䆇BC$>9Gd`oJWS_)v朴}`~%`mYCTsKB m2نJʻ+y]0$c~e,̺&`A/IƋ !JToG"|& 1]?- Srȏٚ`_ȸR>4YaAfG/+}VB563#e :\镺tC`bV?u{zx(t"] \K"{OnWMxs#buOO5 J^ȨIϕO~xܛ ˩j -^Eɇ)e8039,reB&\9C&k4Z=jh)J<8xؐ8"\ Gu/X:tH9NSJ"t}`V/r͵u0>y aP $$B냕/] Xv;-s֩&c9{F;h=~Oiĭ^`|* sWrh"c G6AG &W&Ck }PꠟaߣB f1PMDGVVcig&Q" 9O%(Y˄zs~Dc]Jrt򳎎 t -[?ku&XbЅ u#]Cxf`}[Rlz˱Q')T(0汁ʛĘ4iRn7]ڣTWQy'ZQ32$F.}tk[N,sD^ '4TxGGd\K@1DllLof}gO8 wsWjQ>ZDvǸ߯Eݖ?&/gV9+ -8F 8;\IathlslU>/S%ŀxM$5Vow#ru/R $]'$$QOO+ Cx!ܘbAt ] 0gFºPO ?un*@P eAM SbH%kJԼԵp$'7ADOʛ鱿A-F^(rS*ljFrPYip)BOAô|mr5}x$*Sm_M7)I Al`a<&yݚNuH5k(x3`ɋ%E欜؍%?z3I?~—^Q޷Y 8#nA#R<Ŵߺb($C70dU}zv$hm(8L\[J}=Afֈ~s=̌HxEI^M}odz5k^Ep`.Q?Ώ>=0kݦet^A02bJ`NLC/\D $# N 7޾cU lxS~s^O<$^ZS4ЏwI\:P]"k$wR'#19C :Dq3Gz Tmq;TRWFB9Iغ=tNb\}ǣFXRx N/Ǵ&3Axn" 9ױiwGb0 sI!mr#VLR_EIo$NL#GLyye &90N+h~ << ~@Fٮ0iQ|!ߊ/գĢ g =:5EOQ'Jjxѫ"r=cdybi,0 pMζa؍x@T*1,F"DZ~\W'Ǝ,TJv+ل5 i -_#j\|IUQf , u7H"]YTbh5QiȂ`즤F^D¤E{p" MZ GW&7 DH*O~Ɛb#8nS5Ӧ42eׇ+֘%~xƕ~z:Kݦ2m=hҍ;:91.|eOr44ڠuuXOw4߳O}쏌5mav%/G-r;a3"%Ehrfx~@_[cf/pC@`S6~U5gZuYc x; Y{K'[D8l +9cιj1U}6 tV|m$ u r9l+ gjz|jg[ujJxnaj:yx'WTjk#iv34~#LNҌ'ܞ WI,W^jWX3G~c<, c,bOkm(͇ol/22vUju *3a$ȣ֊)ͯԮhlGpP:gvH*ifmwH2JY :D%^#v/p5To95:y:irQk1#`B_$TJD3+ɯI![4հH<_ 6BT Ӛ]=?D6Z?qTtA/TċKb?(_q S 4b~R&Dh$e(ִ_gFvyy dRzctt!NBc=)mbGAɼx.1j¤G!q%O$S?qj$?݋|g/@#!N[CJMMބ梔5ƌ6C?(4 ڤi^E5`ŋl'Ԉ,ALg)qdV C&!!vE~!mcIyoU,5&L ZD,e}L/aTy?n8#>~؄XJ?X_qX_0oևS3bkO4ePi2@a("v2ef8?xыBT\hDEc)U*+\4 ʲ lv1CcbyInR(1|dDVv{}id=Ū.wG!} M9ApMaK{4>*_[ Ke[^ꂋ+5^uìfX-JߕZw1vy =l!@ھ3({d\;;qi aX(|y,1j*|VҖo<ˠ$Tx-jtOQN( U]^<7sCtځVZdqL^T9 Sq&$  )3 e^fx]>#N'=%"=o1u.k(.\$<Qy:> Ic6 ŝ|$vttHawҤV#8+'1q,0 o$J˕ۯ4Q y7/IGc3fiJM ك)|@'|f"h[T*臝EQc-]hX8Y,*Ô 9FAMJ:u;as+^ eNſ3jRa?Ĵ'پe'ekYsT2kf1Vt*zBo<"( ?D}uӜTCXq.'g?9vI*^Q{=[a(݈\P|EJ H?dk_:績eqe蒟fhZjgԮM:˱2r 1~5X7PgLg)mSp OuuhT=Җ9Qyer]Zu 8҈XfۑK)߲)%Zo |몴T;HSfϰcq ZVMN؊G2"v^|ɺhP43!(zuM4thǼ/`rr>PAlLaX/xd;ҒQjIWw}Y2Os|:*/q~tq؊' n=>F_((ų稠 taT Gg\FL[J] 8 :2{^ S{OH-{fG AEP4W'P@ GҨ%R5A' 9:[:OjgҠ1zNkqnGւW%|93eB0YI3eHS0#BJ<^\ku , ; 3sP߳o/]`#qc)yi|-+dN: -=M(ZTZQɒrnd<, 1dY@8Z!n^NXf|9l7ր*E) R(FwCjgePOg7CmbP&4*$bTarR,.$4/no,cHЉ$SuݫIɐJv)h6U d" ýxsXo*%V] :wj|(+EqG ;3hGgnI;^[A8߯P_r ?ud0QՐJM'G}lL#VŹ̻ "CkzL@d8΁+MʸMJQx !ev+ɨ#ld`A-VOGVv-U$(1vI=֫XL-,v5zDis'p>pVUjɿM0}J7й}6wj mhб4~282h[;,0]uB(Q2F|ϑ=!3_`{N>d䠑ċ'4厈0`e[1 =5E5EsxCn rJlLn?d9}yE7փjrL4znҧspe@8REg(N'U ۮ'ëAҲ FdۧtqB﹎xM3nk͝5crIh1xU1la!ۀd=N| /U!HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/files$AFP/Ordinary_Differential_Equations/Ex/ARCH_COMP/Examples_ARCH_COMP.thyO/U-HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/document_id928! /UK HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument/Examples_ARCH_COMP.tex7zXZִF! J%]A-MՋhvG"uIBm5v'y()i˴P7mL~;~( ɸ7Z>ASq=طS֐ Z)^`]r\4G jh: px%ÄPڪ `89Zf=p-8v4Yp}T-@QbVቛ|zS Aw˕ s7.:j8&twf&|g#4O+䦑ؿ('*Zg0^{vzqQ"~B3&Uc+|Aˈ)_![kQ€P@?^Xx != _[E8) ֪)$ɎJ0*b=2ɇQ zR du=F" FH+Y GyЀk.5PcZXu5Q*Z-\@t1K;O: /OM].ˌ+hV_M6Nd*ơ Ӣ(tͧ5^ҒC;QC"W]ՖJul!p*<G7sY,үM翉-DtqgҮUQ ˳rMQ+_;+WʭIcJOЫT:Í%4@Eu뇔|ַTvR!w1Wl Q_P/Z\PPidiX?my6C4}(z*WWr oDD">O{Z*I8":0Ep6kK|_K GbÔ$Yxb"dX3N*9MZh<;G1Kٌ7i.qT7Mo;3oσ*3"dtB:mU< ၦR)C CZ  ueT7u2 YLAhA!c}1p*\55>TTٵ·]79ۊQe0W`X+:TssB`T@,F!3?R~uݴd_i~,6"rȢsx1#A4V/sU]Qe7j3r=tQ6 'i:߳r%CjGkHZ9dZ~]T(vV{tKj;#øASdEv(y/ormQ^~55\ڒZ$fT*07’u&-~zonEM;ls)Q@o~w&+@HJ o_,`.lܩ TQhU۬SՃsNDZH6ŏTւ;pNQ'JPF[ x@Q /U' HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/messages7zXZִF! |]D?7 {?:fH\otU]*݅~j\g2-6XN[=CMEdqܮunR%2Xcv➛TG1HQz=.<%7EMNc7K+bS&'<]'^|^lgiw_s^࣯D=bK}3T#4IܑZ)v 2IzHZ%NR8B~9aXGɌZ{y!inBpXlD8 F2#5UV)ǃכU诲i!UCE:k:T?Y B~7&T|::wmt>dDChۤ|E7(OG(վG&DRΛ!H^>д:ho #8{Ssh1*0OYp)|hPpͺc\;G#ɽ: SJ ',{>يCNa@Ok{P gX5rO?q2uc})e=*6)~bӿ9VErCkB hִ|ղk .^XA f_x˺>\_(-z+D'(2u ^EV} 6Ӗ#xX>a(ǐ\H'Iu'f\h@]8&QW*$/YZ'Hy~%~~/#TM$1>t٭*Z8Ow! ;$n;kC:\duQ1hdV>cu9'x?ci 劐ep˿D;QUqqy{7>J8Ph o^,/Fv¸ҽjjZNxƅ2xme%nOwhrՈ} hY4Pm7])XN][ std©ɘ&8v T}Ny KAݒu;#vT/7$?↎e4%%Fc4]]0gqP63lXܐxV|ü />TqAL h-m54`u|F QMUOp|Ӓ {IXHą=AC ~{(텾}SʕеVηAFiZ@ 怟6E۩Ccx * $?uP;Sd:3ɁJ 9}|a#wAKz_ʱA-@AOڽ%EBCDv!diܱjA=}^x/{:`[ 6 `CeS04#FalL(E|o/z0\ Zb¡/ݾظyIŦ&]tYY#\9q]Tg})}zJ<7GQ1:-֤oˋ Z=ͅor84=,RK e/.Se[d)Lf'ː[ut7*Է>x3 ER=j >_uXu2\Z4Yw?|fD/s?EzKuv>l3CT" Fa1S-aG-q1 +{AТ)gC9*ȆErzܥx' a|tf5mЈ.QӹM&zL*Msߩq۠uV6Jll۟դ5X%M$8YpF'*p9̫K?5DH1Ur \Z1yź[c9ԑQ+&AEE&5k$ďzނF }rgy?0P8%%%`"*Ȱ ؚǝ;lO.\؄s=hˉ~fV~x'&OteUNiZ\O[4IL?3t'7D܆xu? OHhLV3 o$^6;o.8|% @PDA^Xp[pzc}^ 1+W)gN&=?*}nO4*SMIߢRgWҶXMI4Mnޚ97ZU +Y&E'1=hEM nh9xNJ]a=WaȪ g~#tmD1뭽FE90\!ױ>m1B/YF+\|ŘòBmcY?w BHWq~Go&!?Mݐ xw"wD1ErNO~U#%cK "fr|<%\O}HyHꞏ1C;0ƒ+O)H'Q"6 p7{"܊mS7A]9!Z˹FKcd)3TC&+yu[NdbvQջCDuVr>3S]a*ݰK 4)d^_&^hzL gB@Ȋf)(JX@6_5F2ےlHU6׸=FN%dʒ!xDhTlͰj*ZSCoIFQ(a$32!vF& kM,|^|PSr+URaq foۯK6+iw^2/ºUK fMc¨೼#P'h%9 Sscp5ܶn^S8Xj;Ϙx2ֿ>vLXAOZ$yc-L,U3_Qw N[ZBxHT=|Jq 3!k7L]dlWr nt"vL1_ a~5)ɪ_Dm8j&;5k45i_/~s4ѱ,,mʶPpn1 9XUIW&_צMB_3֨$5*p4lfمP2_\ZYVr-ux:kZֈjd~f w}*.uN˴{"iT `{I݃AӅ+վ.A'ߞ]ZsSNjwC2lszW;z*VZР3VcJfp޷6N TAzhb/$^ GBf ??o SKY8h{wN De[둛 \2ʒvD*qgA#Kk7C7RӸ)KbD~ Ei¥{9ԬӌuU!6eCٹ\,3V|^,CqXea@U` ` q#3/9%ZzWh|Tx'Yo wExc~Q{XO<( *m0=jk="G5xoYaL޾OmM}PWޤO/Tfs]دxdS!ONFbE( dl0 ~HlS.0/`B?k ݪԝfMtUݶ"OJ>F7J(}P΀AP Ab X.gL]^ԠHa]^^'9Z1}lr ;蚘ֵJ;B1}ۜ:tiKNA? Os@g9Q?k[ |Yh^:k|Q S q "n<)No$ s]@A, x|}p s67p_5V&r&زgqخ3'ԳUzw$Y<p$ Ы`6+Q vIRuOVZ_]njwqq;O47, S5ciCNoڧ TOP[_ɹ^NJ Dk[)ni%E湦70@mw%O4Is;^v"nX8!?:"ZtXF` rO&/X-LIy"^-7+ЂV#'?zAl GS\apO{ jj8Sj2Ik@d\L}"<57_$z/Fx3czOqC}xxȧ]AS>i[ʝj4#mw~G6k=mJʼnmS6"]c5"Awqoiz\T. %F**GvTAd>6+^ḦloU fE)+K|\ Y:ď>@2,%K1rIUX[;?%~odov"|{- JzS҅˩ؕYux=HBns֋EҩԌ[j$]P6 =j0N6۫"a,F#^2&;FYvȤL:~,"*w˗'m)٪=W7g0r?U=>d8!U<%JFнK,Vp;jx##eFDrYUgFٜA55b^d'@GPħ $*mS 6G"AU51Q 6#Z7n+@mu@>ſZךtD[KL}+I)w Q)/Z0-kxoG58g]MRK6 K&[J^QL۰]Ff" ykSSvzsi)7T*0wTڪL[}[M葀5,ijć-<~P0þam.9W+G&|$qaclӍ9}j!a{s.ʉE^P-M=]0' [^4 YBV=gCl YG|PFɠi(NY7:ZjQ%&hv`7UB}zFvۻu}'ߎj_pVuFJBƋ_}*D@Hn]U3>s-:JcUv(<'({ELfyV[/RqIUs DPǭI՗XېӖrtH2I'Fq;ϛSͭ~BAh|< BYko]]k#؇@+ͰJHY0UP)m#fP <%_.H%=\K<{h@9dlKۏF@w]}.GWi@L -֨}c3PL+Ewht4 'l@{Nt=r&|&heLT "VP{79%u5]Ag>/x$u ( qqx7"686X~6SJUT$-gZ>h> &Z}wП(L.̟o%ڃY==7`RNudyaFdb- dsU&g>'Iש*Hx/^,MlƸt}>ӭ۟o oI.%.=KIiz-1 bM&Jm#߳%qF5cW6(q*E4wyrkuS2.%q | 6Ƒ មqD3)&O JwR?Oehz?źd\nlEOȖ%댌pIPyH~G k3kZT;wf4$-gw? K?,(ܘbPpi"pJA(Z{Ϯ"|Slh>@zF] 4.U@)̘6%pDB4yZb:tGxƆ#UN9O_ ?!_ ;Tw{b-\@5ro:W2vef,6טqvsdj3u5];10ˑtKm:*Y̅ɭ.ES^hl@6?~ *d3e^i]./- '˹iE֧RY7ڴ#On eHԉe kO Jm'!'-}zKk}"h'A7C?gP4eI|w7"AvNTШt*1i}[G Zzq{Us q_Nt%U}LM b>˱y-nۮM`TV0(l*蚏]V!RܲQ'ϊ.Iqh =BSIKL0X].xQgkFDpZV@diFrՃ s'J Ŕ$H?m"~L88Ef v;'<ݙOW9@ľ7J 5O6W%A:kLb`^eq = Ju_!nAl`OtS-#enEv.Uv8!TO#>1ژ8xGP68˃D 6EE@RuIZQwAYㆨչҔuMwwn<&hxĮ^j; 'j=sD1wGi3<6Q'^H kJ`LdžAlR,pyH^OdlA\ַ Zb|M~mc*W[<$'qtNW\䲥u@[ĸXK]xD*KlT$Z@<1`& zD/[O21Xc폟fOEmCsg1¢y{!LXzy5RW0xbzFTMPD3|$a^50z`ƬʱO;ni2ډcoE"E 'z vjJd~ou68+9Ŀ4T^J!ee9z=.؃֩f0{um~TM |6f$rDH }]\ X8{}(@ ,\ ]m0nDL b|+K̞C|>%Z,Ǚ/3L{k4KfC FAMҜ:}Ձ_"QkZŐ`"?a W0)ЏԬo=4n0(f Hmg}L{V%;FeJ oM%,d`T]8?\ ^eoKU5=Hj]*RPB q-d"` ? srH2Ĝ|%Oo#hBM'4P|]U,r с"} تP)Sf5D2DLGYyJ$%R 'Ō!= r>U? wꨦ s~xS6acJ\!^QlS;OJUp\a*7Z%Q:riQH@wLSXM:u5 &T1aCc@k2PCzazҴ[6M([r p XTewaeGl&;3+٦"„~B(H#O씵{gdT1Y%^gkX:E`:p>:D ?ӊMCY{ˠWT3Z Vɀf;{9P\#;M˧씹ֆ1*y(l:H'o$7d/m{#88ٯbH7CvQ80+'ި\Fvcɥ)XwNȗs L]4+κT+(s=&U~g~>fOӶXW(*ۤX7 $AB+Snl15qe _Udp(S8 ب=Vr  C7&kqs%w3Pv&u(9;#;">JNγH>cGqcӘ,i qTbxɟxntsY7a3D9(ϋ9ae iZn>$_f4K/\vtpy#l69Fid&TTÁM\hCdY)?tdlڣ=elᛍJܭ>s'@Θpgڱ9\vZ}B@j a/*6I4F$tD?D~mZ'6Q3w]2 ^kJ lEnNtMZ}N/0CMOv_"3/,===; LP.|WPg0=\(1wpԈ5>d@HF J㾅v`O4d>hp8o|>oPel840r̈y;>E( tg6{z엝i pS-n\yJEί$!(BN |TXg;:|RX:L0w@ӎեt₆:"zgK1ÿ>{NdDqк2yqdCB(F_cKcJ)x4ͳWE;H=Vʈ ߵ~cԂvV)&aA"֤ryS=O6NOH$2O)cxCﵴ6gqN9"΋EVR-˺8ZhCmNIJаfL9V$NZv +ͻ!wGs{MY2^GBYfUAgK]yΦx(y痋MP"T;vtGzv(d}-j S+Ȏ&"CK o>=ՀsgNn/ { GTzgzKݦF=k: o15ݑ93,MPgOCT®jh>hw iB%duPJ2% q:FkTwLPϑ`pn?C'1u|ogjT$j3|\x9ENyp_Cm}1m9^[arYAWk<>*_ i! KG6u@XoEf$-ćĽkFSDzB$1ӋQ'nDeV@43fҨ -b<74!J֜8D:&~);8<=k1 >wXkmEَWm-"P2- TO63K >n9607yuƹS~S l =yU O>?K[$5dLV 8 M#b:sO^@FnhnJeKiO2VpT O 3=Ĩ&OkkSX3Ԩ\(B|H%gSFӧ#gNX`өCY?M3NSZo/Ҕ}*}9}AW>bx3))&xrkjI '$8gd׈4|\nzB8Rp_ӻ&O1r+)k݈DHO6? {)}S513RC;Qq孫 Q{I::/e?-[D;:|1H۱%)+& ɶԿ2j.*i:>::LA`" \ء.ѕ4tuPM"gg͒ylTJRC?Ƕ,>ǚp/<2Y]@쫑;W_ oʞtkD i (M%KHJX6'=orFVpi@ 7)RJsFt 샘HA9Cy\遗Kl9Mk#üC7Vi滩ʂ{x'²cVHVDP0#?]AˠԫM$iF=ϺpyXs+R/ʿz^p/7{KHJS$i{z3[,pԼD4&Ɵ9dtl-֥:G^dq7ÃL,O'+Y@@.^pJ 7*}ECsX[G.>cH0̌pvOR++$%t4:EHۛ19r :V k2Z$c!S=tjԪk7%Y{RTUэ(,?'B߮7DbTkRtnS0*oZGaKsEw3h_rԆһ6qi]EMM|B,8qk@d똳 .QhV:;37 ^D^x V\,_y&{#r.U9&nɵs@,Ƌ\1ÔYoL=ե]r'@`T 9~^En:Fn3&w=J[D̈`kQ.%Kh OGqIq{ _x{/ lrzhrr=xLQJw4c_Q8>;n4#﫴NV> Q/ӷB妮qWR_M%$F K[mn!}TlnKQ*Wf6xRbc'qs _YiK.+*ѥU'?!yiPZ0Ob*\jG u?mB ΌSq%֭ EXO魡LPbjX<} b/i΂1f4Gp߭5F3rM0)ǨmJv3HBTW: pAc4I3)Y0h)@|M\#9G~!JR}"żl`+}@-s(H 5UjR Ka$zqLHd.Lb>M0E G ^lSC1 yף_Hv,J%9~!IqaĔ-hNH7v&.s3H؀(\s߅&PT͛VZMU6d>@I3qA`}<ΒYV1x bwVH{ [X,JH.yWx ^:-/ZraA}VZCVCʗuαwmRŵ.G'FJ>r L}pM2,*:?w# Nq! ?=3}K|\skO>8 # dZ%C}_V|tET75,kʯ{@Ubv3UBPbҰ:ZɹsB.8pΨY\$m=˕fn17\c,Mz{xEi+-`Pel漧]s /S9Zh eM7BZ39EKAԲ¶tӿ^zwTe1Tw-{jAZLj@❬2g_DD:d6}L@.h2L\'mqf?O?蒐؄qՐv8%gJדLeKg򖕲5uedٶV|+`'>Y?U(.E9ˋ6«գQ--U#g ?o >}zg`0ڇ.fg3j6I)r><[+p?fEu}WWHO5D3' ˱epn9$YI`9,@2xQvmb˲$Jㇹp؍tp& ArԭZEx!ĉں^v@W*a0cgMEQMs)]=bIg]5|x÷fcr3R,h_ԢTaZq0 /alJ3/(Z{]Dӳ,x$R{R#WOtKHPD$?VH1?<=Ƀ Ė'yё+eߏ-hk>&t }`̃'ΰwcHR29 >`j_:j|,WP pݘ¥n(YE[`2؛uu&+bc <Ī֒9~5rc HjHG8"tŪ\r3.W>lo/2Mn]6 BT/o>WOQiM%6p2Kb(cj0'= 6w#b0^ygJ6\[I ǴQߑ?L^RIj(b) 1jalNZCs]osѵU\!=h210ت|woX'gWZYlx%'AD2t^+9>rJLCur K\C ʼ|;Օ05 }׎{o8ð@aLi޵31ςYq".$@(sY{{)2@+VtK hm$'l;eK̩P{D6ssA \ 9I𼉏)90-3bΜ [ Y`FNK# S@9Vc:BYZ'sCN=.{YSR\)~KE=}+1QOd9*Ґ_}zQjh>²'Vr9ANh{#wU H)]B@2.8N^ 6S TxzlAӫeruʸ%׏̈hזv2y0NPX7_dM !'wbiq 8bjQ-acU7"ìqNI،}զbPddDwAr±IjjgWF+e$/ÕܑvO*mqp^+1^Hx@m Q!$76txI>*y?n]!ա X U(̜+ϣUkŏ~ږ":gB;.Ը3 ׷ZF ƹz1*l_''f1%ɡL?5%sn{|ƨ|+әlRC+)9}x)x ʻ#cPgA(( SbYvԑmp"@ÁŮ`nf*p  Z*oK8>?B{([njSMnρm,5c#R+~l+^iD7"Q9G8[jO!@u|HQB o]kWm o F|KRD)x3SЬ4͹Z1H!z~~ǚ?[TL{YEga9ᑆ|`2vץ9>=~챃 ƂIQmF*nW i,`L'詐Yzb2g_2Ex//Ԣ pywMt`NnAw}w\65ry 4E CG_JVl:{GQM:^ty'몼?qO/oǘ 5Tt#Ǒ-XĵE{Cz|%29I#^ *)q2\#܇(E}'jb@%nEXpB \Ǭ,*fƩdm,?)G.E} :  #}Y0?1N CpEE0pvVI3'VHϠrK,x NGrY-EK?M&6U?w_2M.UhR:"P9!xtG*/ @cHApSb۫WNCy'Zy:%ba_. &© !%>R\[&(ab"9&mh" Cs暗 e8\|(!U`#_Q58"k$Ef]H`Cs!`#rpBJLDj1IYƌpŹ9;n |0xi;p;:$+! r)(GoB-$[Lgz Hp\@eM^3&ΐQz:ա3u6a,ézЇQ(%U}Q켍 5r}:A(&I$mf+6iV\eƌ|Ԁ6g~Cŧf$ Kji1y2I EhT!B}2bwvjD@:KevD҉Fi㧍 11_ ?k^'Ib<"ӫ(%Z-W))eGn.9-(nA?{#/q6%!B=V)LǑIEŁ S  )޷\̥/%ShPGi2l>~&q}iP3yMFO`{D/ڢJZ˳P+t0ρo~'nWQeՍB)޾E#|R!PH  0[w 6l&1E^NL ^PMEl_*NW9A`qEbxK,>[2Q2U3;0du:/Cd,KyeyzM{ fޢ mQJ gٞy ]-eB9+mݜqtp, 2ÂJOy* PruG1\Z 9>p6h'_8k1lKpjbm`CKU1D1lPC[ћp?hf"4fTk RKakEe: r퉵~^va9hRC6+pqb`S1iĦͶn<}<7 :b1b]mqb35fF!Rk8{%Aʦ( n^`-˄SŴɯLe_{|@3С)Ɵ ؃2" zLI |%&Cj.+Mf~/0ˣ^"\Q}ikl<Ύ'yYE1˞ R;m#7y2Ysdûh ^h_ /|մEͶo=8AcJßMO9o{E*,*{{rL#Elsˌ%&ʰ#){a2X aaJyf@gQA'L~sz;Sþxnko\yOʩܗ!_.j*0E*(W"2ptԍ:oF]Ed7FE%,v(6Doz[C;UHAhny:⫡4 ٲŀ(BK.;~hKhӀ0Vcn_nvwd0S*M9U1$)4NQ(~Xs|`z #&D!Vj[#`E NoywK,g8T][XX@A)f uY^B 8A7oaFDAwgx\a8c u`+.oVU1^?(+G]0k _Hq7gC$`O!gyr&.ڴ-wg0de3l#-|\7:{/1| ZYqi+vvVKicjld[#x+!&|ySt,M[ qCRx h=oyk)3|rN7 UZWT@U++ݝ ҰX A',ڬԛ̏dP07Wb^[*NJwXiiOƦ)Fow@afѴɂuV0WsǠ.Kwe<OGDh * ?$KMQOݘ:v~iN#TP ,4ww u|E2:r̢3`$vĂ}6F^kf 3xDܒ*{嚞ewMf!(čN<\>xdZX.` ߁Nq0 D=ASC9X|G ź5bX>NbjSc$LA,λ/łK 4y- n#u<Omڜ˄׫J?%)\o~Q$t=2`+j+^"rmoyfP<j4; 9ݘyFg<YY!XEGXs;r- >Sg$DQFP͆ '"g@5IZ͏uB73mYs|ߜHq sECl&R"%_NqXt}RBB^$̨aG2s/ Ӽi/<tXoFhz`$TfGXlKKÔw^텀OBTu 2HXqPOR`!97tIN`'m2@CzYl Yٞ$X-+&{ T@mpfbۚl~8sedI|z!-ч Z)On[/tR_6Lnm +?bk kwA֫vaבYqĩ:פV^ 'Uz_Nh]5}X98qpuTU[AXby#-;H"LF&Ǐ3I PN$5|=׍D9,:x[I?B˪䇎xoMƩa~)8MhdW oOއ>< I]yt;(p TAh)RlvͯwV7 ~88G\k&xHd=YԜ|7zT_WaYM Z3b*D¹hSȋ}I8.^GT3ڰ7g /[KJ߮'&Hyw J{⪃cҶݿ oy.?Z l_m+Sqң,k]e_5$#o1ns=홇dH94d/,EDR*:ke[Z?Qe(=;{-7\@ .>^r2ZDVl[8OC=mYNLm# _Fh&#j>2Jl ۵͟eYQ35u;6L'lP d2Wf٢Y6k Ǻz]Epgb=aZ@ͷ ^8*zS s2b{5W>Db<]03Y`d4F0cwbD +OMKG/<*\mb'Ɯ?ny LUK7wyC$!4C|CJWxCp- Kե4,05j{Wwȅ*D-) I$FsIz "MYt_,BZW'ǯ : r~ߖTt/m)6nIs<'p3*9cJ"&ʣ?KڶV,%DEE+0n@)һ9P+ 0yB1\lh##-ݞHĊA`{1>ɶ?cWh0[b z,‰(?)$¿uHf#\tj4]KUO L,ҪA+mm TG;h,Td<܇d|˭"y5l ~gU)rZyh>|cUzN;D0* oLbe+Y߽RV5@~y4taSTc(bkAq]V9 XD_F.ޜY>FM ּ.a2 vn(Lɕ2`K\ Ҹ$%*)] w|M5ju>6ьKFa _X qρ z5>&Kcd엄;h!_|E[Ƨ <`*Y$1ڷ13GsF=Ǵt]VhxB:@# =yTF}m Y&v -R$՝v& #ΊT.$×u(y>rר8h`wR5UP}/~56dDgW< >jҜ }֣pechy}IW_wŽx +bu0^ZFKIaXdL[PIנ/TZ a U"Z3wko ~ 4GHzs<2)4,Y g!]:2~Csp˾Żf`My"zwVK^${<>bb#34Tbiz^7|~-r6ƑNp lVNpnWDTX ի[iRޔ@ 2& hQ9%Q{{[U}Z]m+¼x1L*DOV'XCK8 >7 ^ܚ/k C94L7pm~1X@~!&q/֘Љ Rk. oaI֩4;3Obi f}&(Z"$C>[Q">x‰GJUR,St_Jd]|x^-F.m6jfSX UaK4RņgV.ɛ!Ĥef51A(fƃ$nY[^%.&,:LŘU0PHY V 嗬QRZTj2O:m|F^][ق,@4D0-'[ 2ik5ow oOdDl+ivH~ U~GnkX>#ė(XfO vHs"ߡTegzdڴ|ny' KajC?gM(<B<$lG'3,uQC⢇ n?nf+އG.Wq4^w`Y>;V1g9Pt=3 4@,62- l#)-C"w蕰nUտyAyôQLw,Xfh Z |T93wu1*i ߛ `*#ņ:.6q*#%9zĒQbE3RvZǻ[L3oIGwAɏ;Nmwn2q|dp2󍃹Ȑ@ [?&u8@G/ [8?gM5wVy, F-~6N#g@XkRfNE 0\q}4t$ @]* ]E5z .d Y%c: o<\S]!HR=Sv->8^wC9bn ERSȽآ^'qAhr] \> %#h+5oZxF]`L+~!/-!` eg@TT4]n<Җk{ttPN:*<`A)LۥqӟڞFܳ} h/$2j2@?VUXR-6dcTSqPbd?M-Ndn6036>r<ޘE }IЩ]H[޲o\*!ѕl4oV5jg/ȹ*WX,.Yub¢KKeGfM@#YvSéG)\w!UOߑ]@2IdO[瓺#3hp{<#R ݠsf_.u Sȡfr<݁`pߒvzp>'\4Jp*"$JB]t˵^k֦a&"ʺ7֊W^gpz.تǫ\b?%c̷Uw7񵏃{|X98h*P"e U ͉st>ٟ$ۉIgp:/|?0 mcV*[_?kƔ␡'p:;Ҷ/؇N? (mEi2L<-C^M(19Y-T6=;26-!e^&:`~^xtmS7g[=բH̽y b>~෷&+??nI.~" Rg dcTJt0~yY/`0я'߲E!K'~!:D񣘙d:ʡOlRvD!(C.|jBj^&<*wlxTA˝st\)Zbr #h|8%>BlKA8J]xxH01O~Aۓ*.=WP*'A k&V-_+1. 12yg|z՘c- {)UeE+Ҕf \FP0%v;;..{MR{g0f4ÊuZ<`9a|{= 7ӊ*M)-J;wIKRI4o_|>(^<ζZf v A elFe#ܫZ9Yo="DxHɊN;9+js27^Ogq:嗧̭>{aj]<39VeFYY23CUE#Hjbpyc|pL)Xկyh&~o06tX,-Ӱb@ݴ`6Ċ?{ouy済 aZ">uQ Z<2kߧM/Q0?Fe8% GnN]O2ϻhAH1d(52]!\bQF[\%9ܹP 9āl/l9w`9CKXTdMw{dgjo\_( f&}sC(-Sљ+Qwqqr_ Ցp 뉨2u5CF#eL)I E|+O!H\fllՓXhOhJ tu ܛ;mx&/? bjB5cesX.F0/lJ̫vb R/mW OhJ)V}cS.v՝G K[,%{dKgFG7kE>vRJ[qfo$a6h JKɟ<;sfI |Ue&`rk~ˉޮ6,?;E bx5C4fgs/;o)xu?|.=!4l^%GnS\K+sw% |Ouoɿ3cخruiܤk\WBޣCZ.z^:<NSm U ̨CȾ <_in) >qJ!^ssqY=Ss`]Z3SHz7]mW)<Ĥ7>(fg?>Q! ?myˎid"&t)T`9OvV1ǕSb{P`TJ6!v'?+5]a@ʷv )a=/Nqb+e-VϪP$ʵ.sI[0HD!- ABx͓S=Һj㫺׺lv|7ol_wl+Ӹ)/= J}e 8 n%%pb"-ZpEk̴×>xLa uۜ--cIh$6] _-}:n5d]ҫO ~TMTu!9: ܨ:3C3: #'O>`4(^ 3re0w:$* 6܏\F!@n%zxv )H-ԛֱ0NY n@-`,MԦ%ƒ5^pk) dU% >Ia\cIЍ֦$6(m3kOmb\zz, t)Y{)fg\! ~Î=jvr4 DR\_+_d\݇8F)!!~ȓbon "O[eTG:'E5]},iE&Pn[zYL;~c}-&K{ʠC*KsZC]T$% v#O/E@.f1 Tb^j$ݘCegԋ M?c/M7 5)}QΰǛmvU~i\5pE圫JXĮ%02R3172r8ru`;U]]wTu#ӆGeʏ33Fp=-{JǽSs{Z"2wyπCqZx^I}dWUtvԐ+ ՅF`aSHΓCh ,#♊} Vt F 7f4̵l[bfh AXF @ 2ø@2D_?,҉3)õ-Tw3D mQ̡J&>ù٦HX=!KpRA14'qEd笥ffahz' .f.I>] ԏIuMTKjl 3 c~Hgv.BD`޸d)D&4M{1@tZZ*q&Nt@MH>8 ?]?&h/\Vrυ؄ :t7UiΦz +DS8%<} Fȸc S '> g|2.})J&5Re].wpZGr+rP6$;l.k>wƓw@)vve%`E pDT ~Oe۱|V'MXh>t=]:٩JĄpN{tg}a;dٚ+ Ph{ʿ75ntJޣn/gUwDPWNhT!5ٷ)ŸSVw?N/2nz=@HԔj܊ɶy𾍢M{T?`*:Ŕ/a2lJ͈ cWu`_p FYtpILS4Z=\g@g )_ _]iͪ{PaSd]5m;5r*w y.Y;g |:I_kE/-gr,,cR-bK7>}2{{).u(1$۱-[JtwnYIRb>OUM?MrPQƴ9Y9k +%mFPe3dadS=-!w:>0+n1HkzJђs|3a#(vM@dw_|E,Vhiຜ8 j 2Dj}07a=c@Ls,#5<ϱEE/TNɩc`aKɎ]ܗ] g>v*#ؗe(ElW'~Dqԥ=!!A<2VJcљIEg3~uCLls$n֢/Y\z/1ua_UJk.DQ^{F'Ф-;SS˓JN?FMj'9ZAVeuk18 V^_sg39Bb[3|Ec* ba'wP1Ϣo=z54뀱 6'#Gͳ*3T @Aཎnݺ 1>[5,)X3Zbbbo_^7ug>] TBnL=ƿa9ptPA {BGF|p2x,@~ }Tfe;Yeމ`(|mk *3X v,f+Kx0,90d^v&bj Afa- =]Sb`U$q&ZM+ΣAaQ#$.?1i'5X|093bY=>I)"fAԩ:}r6{Qt=PʴB))V15~WalQ˛g"Ml'00|AeSxsMNz|6DTu=a1&܎j2]S]Sˮ5$jR%:G(X+<#Y2É'[unrOK8 * 콭Ai&|ḱ4%HF>: [$΍hU/@[~4{[(K$/,x!9ɼj͗uh #~_e0P ;|?lNQgFn@3&A-s*;pRҁؔXX1ьK-w @00(D&  mwNsTS2' qr`!MaFur:O3d?h%Ȝ|yP$X_,/ #0?`%߃( nujfvzzUmx Db] bBZ ٟUMl:ꍾbmd{ TݪYiKH»{¼)>cFc/sk2\j""bRD;ʳh+I6@977FW]z`G,Լwq'Y~3gv-~^yr gM!A4*WY!I`CzsMC/sÏLެ?~+^rM4RG#ljp uK2~]F$no1:0p2g#8Ps?k(t6o hLc_O!uvZW<.U̗~mv=Ae/([C&6ɩz7-yզ{F8 .h6?CdҗN)1EfdgIkЖžLy)̑Ր29ajӉ ʔAbJ7Kc$5tP—$|Kvi}O U\/=1)?z`*u( ~<mYo=g05w{ӢUs ob_z'؎?CZGvvoeCvX7B 86V˱{ɛJf[V3蠜WaJݹG%Yl^@V[E/'D3)*(5U4Ӳh 8krשfh/I2݌oZsV8Blc m&&]$j{ 4eA}8Blr jb:Kb#_0yHzGxfXNQ5:ap[5Ie[ VDEf"0`5GQ*2]_+ߔ֩CU8auxoTmDq2`ᢆ ? ʓ8!^daE MǰJLO {{PIGD3y eV0H_~nY=+E*Xz9%;wsTy7@Pׇg U󖯊Q'_|UڑRiQaH=::B(|L _^$O;%Ö8|-v#ڔ_Wa?51年C>l?/fu(Rh^헉L<1v줻EC)2>Xm]Z|d]a{vFy@''j4[Nnl%\/}NH`ZW(hCOwX垒WYh[%UĂD@--Bj곩L %[a]O.7z6*A[Շ8ԍB>ͥ`0k \Ný\8;) H`\G_zGыg cB'- *,@ Box`:gkp<[%2vz+àwe!잱i-Ԍ{5ܒrhŭ*r4ʺttv Cձ z]$ &xMά?=<O*L^ncGmsmwȕv-<$ֳ'^ot~i9iWj}};μTz XUAx/@`ډs$ IvX.N{S!+A+!L('~]+S\k`K*uIlm()e,z-?GRvkv-R0s,c?@VPXbs&/!]' nEebsCUTbFȞ :4ύK P}MȊt^VMk #[]=?TͺKB-ly<å~9x7;K*%v@gzc`𤔯ge90fU=ӗ SBK@e1R*}4~=a5 ^{Ѳr >(=)Nn[7&f1ф_o!ou<䠆1CI5QI\פd ([ Ecc~nugWHyH] mId ̄2v"sypc#EAA;5C'<n8dGוҰAmsOk2٤M-u 2|}rt7`_5߻T?<&i#ZuJ,it` HVvc>ȑhv {H9ߣ8{^v21㯴3ETG0&JZIlӳ7oi}8cͿ]z<}/)f><JPzx2&@oKSN^uD g=% '|D>п`ӽ3:߶7]l=@zw{a "88Ȃ+~RKF}xLbY'M0R]^/OIjwd}t^̉p 6䳫q; 5'= >zԾ%b) rh7j?o$Aj[ '*L@塠oy )& cJ<mA-"YLƤiu8#6Y岉)fBh({Z1p D9ϭNyT:10xOCOF:ϵT5@CS,PbImO .}lsR߂rvOT@QI5mF$x}(ZѭqscZ*7W8%z1MXw}J5\&6»>==R6w }JSդV]o8:iʕ+Y0alGCG]UE|-eU V1J7'GV%l( ˔OcMkk$<:RDgc0s1fqq'@f2)SR>S3j)-<^ǿ([r&Fyl&vtV;6—M#NԬWH]L=*ӞU]WrЩ^(~dX"[~hʹKXwr}<,D DKC{Ai7vy4z;鱶Z__ #AIEPXh(F?)`A0Z}s{uu*R2MwUlgIn_yx J"yzz1?ə ۑ (2pn{\NJ)r/N38Ro˔Bm?7 Һ&E3+IK~eT&l=( ?ad ,F?N/Z{h>gk֔qK iOʗ~w6Efn'VqY0:d0GW%3~ϯ^³\<vu]1EfŜu oPr1IRe-n-VMjdeAbwWP0aTdiU}#%ok&i)*Q?b 4wx9֑ɸO GUcmXi[q~Dp>HQ{8B48*1NF1NsPq4tL);ֱy[L@^Xq]C$e`VU( rSӈCؼXx<#WKq=#ZyJ޿cYŀ'hNs3@Bs*< Aw} qȄYB7x2g ̱AEӑy|2cuҮ(iE&G[ƀ=ZNr1hָT'r!GɣF-@N%G{sMv6*9W)Qxh2pc0}3FRwͦLnz=tgg7BF׏̤U1anFHD%YMuq} 'B40,i& 7JNC *}% VtxH&%_ݍCkA%>Lw=4'?o*a|LEz$g%w !'$ZMlڞX=3L/sV\-~ wzz5)El !oDdy1DVdҹ%foȃGKs}]Px<x>߭-V8iYCJ&(!81۲GۡH\R֙'ZGrFi'WIȜ_ d^7H3]ahJ’7~qOoE=0?JZ$}ViO"rRC*)_ux)~ 4cW+.:Zr!~Bw9EVۇam`RK3}͍{FHU}ϝYURDHXf] ޕ`{&x2$ ,_.N&jEHn9l *0ݯNH< BV,\9@fWd~٩H[f ~6,f̉9`7ѳ%'LE iyX4 5rf5CWn+ƶa t7z,]y@Ob Z O_@}"b [Ȓ9Ҧ2ɖ%aEiT l"ک/8n!0Y#FֶXFnSzz+S^fdV՗*dVFEl\v8{UeYY9;*Yw]hk9Ⴑ۾勲{gpe T\\'O9)vGD(&x>up37X.| bǴ[X LIXz< yə`=,87w))\Wr4(i24nS >+2J"? @$Ps:4%ez\o\ܦH i+3B<]NcL Ci1K4TXysQ "\(_7ҲئYJ˗^64~loMغ1F۵{,CO. 3 /be+;^ } |Z9&,8ɼy)ir,4 5Z)xWK0SEzq!*~ɈbG? kx|CRa;>ծiKZkb,Ϟdꅏt Ba⫵c@F`>B;904,Pxܻg GQZ~F@m}(t;'Ű:тr8+L7Bv]ԏG\ War( nMA|u 7Y%%W jRڍ Š^9-7vkFPXdk* mTn \;ؑgى(A`L/;pMC7ߑv|bīsZ.?fjUfThIEi7̾I;vCjzx9}ma=inXӛɥT!VZj]_952lYPS_ӎX&z#J?b|R7l4>HmViV r4%P`亢@w LG"V2w-՜~&b'gqɅ(Rm||O+Rkp1ٍW ,ݻy) >s/$ ܪ~s:朇.MNW:qѡ_Hש\ kK~qcJ}%u{ʷ*_VN7UYZs.{B:.̉$G66&|' OGiy6"arnyAuqc8!\9kȊJҫfK9`2XI_RIꕯ~޸"-<Y]mlk.:H.G0X;1t95 䲀)^az(!gmMSáWЍCE;?׍=+",a+Yۊ' ǥ"[`3xJ*uTvNg̱c4_\cj@ =") DYLT lBѩZÐ$Ǧv"[%Z11}U*p>P+{ K_GAbE`Z-H7]8("5q:l n]Ҿq J]s{$ 0uՒG넣5pziX]Mygr%cIEY~QoTz3i>!GOBQ>Unn2sTDJ&`#`}uWIg D0fAX ;=ˍ.fJZ GN[MȪcpspx2":xu'>UoloZ۶3k ER޲7MO7D_3Nm阐RUP&g8,<(( Y8T\Lوk&iN4A5pVޥ^[!=WhnU`Dw5̅ϯ_KIe ]vPʈ_g ڕ Jֺ C\gܦ~qNj~3 ]M:ELxX Ke&9Jmc` 5NL:r3-=`F.شCVyl*#vt6T I[E̬w9o*ojgt ;P)^3Gн+ٻ|t%'Oa/ wd%HA%4܁دNE e?Ezf2#+^Pbg(zme> iB~7o#'vrWԳhZ CO$hY Nx5 gH^٭vqE7y#6%EUwm ?ۘr-Kp@ܴ95۔bFO[SWBԩHG0f.;R Tpc[nTRl!<lXB JɽIx3?i9%"`n[v2P[^G7r+ Yp.U:5T&CU8׌\AePd.Yn`tOV-pmwZɴNN&eˏ@Fڑ;"ba)b?eHUDRRz\^׶O(m`}j9ET_95 m)j1yJ5ـWC뀞Z ,' }s'÷a7u5G|nǡ^FƓZhe+tE7Sƙԅ{m~x K9ԺbqŹɃN6xUOE:[Vs48 Su<#[]I~/ u:EugBC[YQXiM_M0 R ppD$DZX؎~կl[a5q9c*Uh*]ʪqҸ9r0CkE O1 nf./)>1ZqQbx8( #m!R>a&j?o0⧭-\@)o#>ȽC5ٜ [s. y Z=Yug"tRl4*`}7saFPèSM\=*\qG9G&pU}Q9'"v<~Q GSR0W T >+Wc hUA& n)[Lo/F 'E!8 %z,SϝM59b)4N]S t}V+Y6 D/) <*K =d+C13Z_Ov{ӻme;nid;ș;*~AcJvBif, $W5_sG؋96){1Bmk6ѭx+B&a䧸)t䷝ӡer~0@e ULϷ`dv{u]"yRت.Iݳ$A{#T'9y༸sXHR^݊N@d]$]9&;90mf`U^Z6@%Ln(?@-0, dTtO"7yn*|ZsGTxAB(tc`DF;- dq`;[G%a"?(u x;E{ )mx4,H_L%=\So&qJoXJT*1_[n 3k*zI^0Nىkl$ ]kpZvq5^J5>C\6Ϩ2ͧlj4[x6e??6@RG ϰY=ѿwu]_;CSeL0q\#vkRH1Żh`A06o(WzгTodj;rbO2j?ɖ#_9?W"un HoJo;Ds@ p6ٛ:+emgf7yjr^=*1p!JIR˺Ð7Elp[=q>%4=Irf;5Z`ωp#oFJ%rHuIy>J7sHQ2p09g榥> iMzWC1gXAUتC,$ Y:Š;/~o#Ф(}f(-ԋ<'A-TyXz~fje@2Ã*RϏpSѽi:/tWJm`sPV~(Q$ę|7axH${jo/eLkk6JJ4@_Oۋ@6ש+w{"͹P"(HJ?iLďhR)^xl$xG3ϞQTSm!Q{-wA% _fТ~@g"uHhp E{c]S;%BwCI-FA@/eo}`=xs-.Oqi a+q-PkǙ ,-j]KVE|S΁)h`cpg!_œ Hq6Iw߫ \溯=m49cmgیBōB~V4 DR=gwΧZL܉7dJ}i4&]>]OF`6mB:OVo'ɱyYo>½W`8F 騍ЛNJnoE#Am,l,R?G CѸ uW/[u[D2ͩ(qDX= ?a'e޽=T9D*PJ3 f040ˋZeq;fNn-?"M"hѲ[$6u a>5b0E2O r u{3U`){Zb12,[s3/ֺ k ^W7 2j K9؜p.RM2 .r?= :V/[ &^ X$#~Gy)ɀDi+] $)ЯB`9pd'b1i?(J4(A : ͒jeŖNsr]oX&9tE+'3 MAgy#"ZY-›ppt>H@h L%HMJp%"z{SToq1slU,BǪWX̥'w='U5 )VSPPe;*U]xG=fB$f͖PMg̗9=݋b@#D_6 ]X"[zn`-*ckKC5/S8xٓڛH%%0Åm}Pű3v DM(r rAc! ãLr ŻO2y$g MRMpPV{_0:kQRא'7oA#PÃ="7_#q,fmѐL>H.Viи^q0 ?CPhbG^1p)C^Xt}d;g7XO=u!xNSH~\7/YcGJ`HF uF` XlP"\tŭxb3%qjI _Y㵤o\#nqe9GPEF(?k{NO >b: OM<*J;,9Vij|L,9"qz IBˍ=3 gMM/]9$b=PțLs?A]aӊ}xӕdŬL("J >nFyPkJ"^_1fxy):02X}0>c5%VjS(@20b*/Hkusqq}"x^)>v2-x.` 'O4ϕ,䄻lH-ǥ,snGcdqՔPQT'|lђZtktTmWƦ 83IcfM\ Y =CHʊ&ƃozh5=p&%.9RBczqYw$6޹@rN~旷g1rJ~Xhy &t[\#`y¾C.ts&'N7꥔ $ۆZj_T|w"FG{] 8և%1,7?)ye]Z7T+姧&q2G?:L8 0 5T˲MX!8/бRi6/SېV\ҏoO"pL',W/VJU魉{=k\舔O .s2N!1J#gpʄ)r|vDŦ*&RA@If=JScK`?7mQtvS|DτWJJ>nɡrDwѩ}y[>w.0x`! =T{Vg;Cŕyh o7ѽ|#1ݔ`тXsMESح>ƛ *^5A~fS|B6f]g{&D{rڈ+5cAok+`yVI}k)'f"Y s TLsJ=uV?6Q1QR;WWjJ廪>-[Чv_;{n# >+o)""UC߇hdYrg.gr6o;SEOzK 8W([8ιL2:~IT8騞.|UE1`}?{Ꟊg1ւP9!l<ɷ4'U }E.،A̠ ?P(6r2J]4:9X'UBo֎p&m{zx_D$> ކ*^3Gi1Լ*JF<߆[m\%>?FaBcUmbR)g}T0.^+IqEWO_ Bq zb)^9fl$>\ $`2W#.RsxW6Y-\T6EX39:5ERkEACYn>2%FvyB"澆wȾgf)7=[@ :v\1TV< 〉k3qp3xăL77uH<dwI1TG^߅Rcx(<;? 7+TcIQ+ jH&tEgl.G4ۅ,l9C*bI:Sq汗)7%G~?>.G5i{Kg-\ċY+ Rt;-/_"\oמiw+)sG~6;pki|Xngێh0%)&# [ɟ7w@C@qKҙus0@1>17pD>|:9t#+QQ5}jɮK: sCī@/4H6 'E-*pJM6rʗ¿o3y" dGRxK›FOjnCh7qptGB@\KZvvjpnCjߍEtGMXo`WM9XVPA2j C:Y~X|Zm@%[r~»! 38˝PIAAC2}MrvӸ{Xj<4ەs.>^mbLxcUPuS2ɹZ TeމnI_!.'!9! ue]֙_IP,NfkcynoECp_u w8wxx4^pzږn( ]쌟MM|%,Zj)UWQZu&Wg<ؠږ l_\brjyQَ[>㤈R+ڐt2QM.X\k ^l38yIJ=DX?JIbt7`RO ÞBN:a5zkRupНuM;ZZDҨat)p2?_I±3^߃lx= 5|ǍEd揨cmwv8 H'u!TIi' #½&N83vX糑FetF@VW/ta$-z)%74LA&I>L,'in801МF1+#˅YL@3v8n3]n;=*IC]^ -4-96zQ[)8U] (g+tNQEԤ%#GI1f(|9-sJ­#3kuIߋ/o(zik1/̕.t0f>E{A(\LOnOܴIB lZ=OX P^_sY7ԜBm{ܛ"rE"ǜ0lR^厷d+@JR7qTa9Y/EO3g4Nsd&<(s޲\u$D BE:8_{ ꝡHv3E=-" SnAYW!SqJbp=Az\'Ke௦3]ƹltJYaUfsob]5N(1qjƐb_=m# =Iʤʩ^]zR-igmr/Bkv#bv ǯ%Pn(=)To}^Œ7tQO2QtǑj 6肁ƿ'%8}0vC36k-ЉUZY?X6?</Qo]sAI\Öp^0gb: Ps|%@g/ۍb EGb_ne^b2w(|a3g2a ". ϗ29l% M8nf;к>[SFMRl>) h}DGY@K㷁gL< [* zU9Yq$>2Y >A(\b}WQ&Tށ~h-*5v8[qz^>p`E}h&Rz)(67f̦a ofG&ذyj fዤ_cfx J|I|UW\ LaHo^vbAX7WC tNDOL6HC&IM\h.`ɤCyjh;Զu)+b4T9^Ce,yۊJP+"x`XтbxpZ ۩3f/{S_QJg6@>=Сba٥W<D[β>qjlĞ{96@⏘X=7,Ȑa١-Eq{ķ!NamZAiEZhNZqj1bT@.־\RvEFN HMiFz9.Lƛ#Wn{UE/dbtl@6Qu = +6W}[A9HgHA WzOI;#"L',=pKbUCh2n5,4:Ѐ Ulܞ-Ȉ=ήP7ʐPPef7Ǧ+ϗ4Shb8Kcmc\LB_SM7b6uQU7+040 ĖC36Z7^vT+EcX7p0tB9a7` ʋ=C(pIXaجOsиt`.w[[QDJ]-3&*PF;I֨@Q2\Eu6?7E < (E8NQpieI7bkB8P+цh Mъ-i\|fHg{omebR+`o۬W/32Q G7FL]H^̮A"hw>4r2sgv@`n׫gϨ ezp-/ٜ3\bpnv9Xv-W*4}I wҺJ5͒Ja`o b-I]p$1pKW{X{^"h"L|Hqٷ}qR&sF#ҎS.*aN {Lo3R~$D҆w-qL+zO:Cn%Ăcp&W1:}'ۄ%.$Ʊ2PET'L F j$Dm'5ҭqiG5up/wstt!PZ{]D+Ӿ[Lccdc {[tG+&r50C΍۱o5x_u|g=?%@L^(rly@c9`dDJ'z9\&_f;Q6 [KzCT عǽʷP-x=qN-u qUiz#n-ҋ&y \>c+L4";w8c!SyY펓Ur%STˠr,2!`ݣ O4N}Z$Hiv0G؟׾ZQ;֓A-䯳!^:EDs Kz\/iF+JFSBW0Mh)^B:QpS75^ck HxϕUIȴ{Bs-֧r_'Z1\n}ٽ1X86}ԉ_YG'R$p1UiGFc9udKҙPj $Ӊ.S,OlɵK~p塳-R;Z5{.8aɤR׸ OYbz˪MY\dH?_Ž`-GǠ=8l57R#fOkUc XLfsxS<3dz1=^vMJ>Ve̜̞ݟ6tB]oiiSoEl<3%$I,I&~`emed$hu03]L>l.!#> WNY:4ʜ<|5 pS>gN. 0.U6cuK? =8CʼRpGkKKcZܗ۫&/U2P̣xvHM.%~ .XAb루ƼfS>kܭVأ\u'nfd9vS%9Erp|xK=QH0=P<`6k'L >t3M _/.5;#oI[iKP@ B#&B;VL $FK_KP @JW?o -HfCpC uxI#ץ&jdLuCC>v4r9gyBO-b'EW" {j _AZoj$0K:=D"/