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   :/|44 ]% HOL-ODE-ARCH-COMP:threads=4elapsed=801.530cpu=1679.752gc=16.2167zXZִF! D]ŗXiɟ  Q Ʃ?=l. -\[M@MQ 1$. WOgea&Һ\f.U d܊2Քz"41PŠg& PkL/eFUsl u{:3΋4'zBXXP@Zpq83ܠ讞8x8d4lYáq""Q[;6Qgmx?> 5犠YV4{!ٖ $'_C8A.<54`ZeE QwPԘ #eZߢo9KvpPsV T\T+1`nM-CqsϜMu-:cd: R&W?;٥ೃS;Xa#1x¾QI6M4)ܸ~i[5ʊ.1;2 ^selLN@Ct>0LsER `k(BIo^`Lh (f3Ƚd2/x( IB. Rj(k.nBo)Kg@\-J0ύֱgYZ7zXZִF! [X]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).t <G/^X!,a_h^>fУt\ }YZ7zXZִF! U]ŗXi%TW b%[ a5<8d{nL*3{c ?󏪘d_No1_E& %GPBly󊷯6qJʋѥ *< A^$hN ©:ȌIM)9Dv9< C_1> B34)p_ՅF`ga:ZcHgrI45s Siҭ| 6Cq]R1c6hfqjqY^j暦Z@lX#2ײ2mntmϱӚ|P-MM--DzOW u # cH e"ϧoAЉ "pe6~S92c14 D߆ޑ=(s/Vne $jTziLs8,cЗzjb54JXAi2uA;ܝT`ї蒷А׏eq4(j@;b8x'T9vͬ}^! d9hm&5!y(FZֱ)ow1 {B3B)za=_[[~-\zvG=by&r* ?]"+˽5ѝSDI%=zQa&RJ†T$k_udD=G~N4p:ՏU >o'*ifښDiHU Rpv R۽zlU4z~$Vvicm:f|8b :&kÕ9F$>1;ttj 塛_NJH½.}.=ד>,sq ILz齅K@S3Eؾ}0pǟrj3X8-V2W_8]2i@c>7; l1Hg sq,C{lr-\kԎo * Z(m>Wm8*ci%J>/\}`z7U$iLdkwMG0|l?Fbb*ŋ5Ⱥa<* qeCĒf .EΟӒ'e%*$w\G\{vm餪G2.eCJ~cw֋"6|S%ڿZni3"F_7,]M v:|^3oe`-3ŌO!< IT`7'e{o&n wOq;,}o %aH>9أ8 / HOL-ODE-ARCH-COMPpa /U# qnGւW%|93eB0YI3eHS0#BJ<^\ku , ; 3~R@ sЃ d) 'd.!ny]iٺ#NgVc\SR{fLǨ:No>S·3yYu:mpvH,'9߮#zD#@SX=H,3M:5 2OC-塐n)졊Qp.zP=]Q0 ?ӲQ5dprE`>!ɁrĤ},8cq@7畃qP|=Lti ~?tY FPu15+ Cy1? k3+fhZ.7 RhnOZ坮: . 9UVo!HS̨ҋJfSYT_E1\`>"}&HWwjBvPO"КN96k0( "sAH^·ucX1n6܇(}\Ӆ_ƝЎe Y>G`\R;!QjɆ-}SOsՅT<AKMu,Naכ``!@(fS%xT%xo?/(MoC;ixBԦ:Y!+Iߠ 3)EDSP/Lk5 )c3ߨaZ0@G]-gG E{#">,f} /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 z!Xn&Sc-D `؂/[*:.N2 M)7GtamkHGZS9d|I,Z'^뙱96! 7p4QSO#?!mxs$|sL*Idu7uN/#EG"ADSpE(ߣb>B?P ?4e y?.龒-hZ2H՟UHuٗu a.>L}E3@6ėXimC=g#|5o -kfZ,ˮ<YEq!ʎBM/U|SU+>W8 IGĀ=dorٗne;$]a-p)#5xR,v6\o29(%P|Zw5&¢V5TLB)m$&ƢKIT*RIld?2f~Ίͮ5%\񆔸`"٦qH 3peNM4Xbq1E_N5Y޸FBޢS?9+IZ@}#y ڌ"t`#H0hd #^ ^2t4;M 6ѦN͔ы^"F#x5/n^ PCD.e+J#!~-GX|EYg/fZߘhƫUsiʯ9!l`j(]z-/ۘ'5֏'!g=i> R(Ht6bÊEgOu^2xDq*|!6?cLg]N/Izix,!CLu/vlM\.v6˚hVFN#  VY?z,-ON[2n bNB`?֏5~bw 8Md'2P8;0̈yQQ' z<_yX͏-a[*x8R{Oj[N9M"rs(ītjxmwU]~kQ:\ćvlY UH1D7-LYRV5eJ (WB(Z@dfLʰ"가Txre'M. A=Wю7$=#J2~qm|{4o4DUqv&H]?TC3̆ZᱡAwnMa2q K8o@*ح` YlHfPj&ݔEr3(yV}AʽSм^X8!q=xn0IJ늎Z\Yxx>q{eIK19 "cH~ҧhg0jW5@vlLWq*3Ja<}K "$;(9Nna)atјu>MMǛiAG\'!KNQ&;R' `k1χ*S\YzIŬX] {$Q\i_\B+N$2<-. \ܤ&/9:6;hSFjPʣw 8bY$<&ϯnzuC581)`ޚ+kLKۃX17 8NE8=9Yx5~ ;:%QPUj˿ ^vArOFw9\@S٪ 2aft9aD|Aud|a% 6 EmXwݷ .%kDxhuGZA΃n962XFY/U8<-a{8|<7#+ӒZc珞4U~K P+ey }kх !(œUT٢YsއO[7l~iK |A>6Ԟ3tQ&-IwoO#u2VE'Jꂣ*P@4`NsBe~RIJINoDy؊uOӾqFz<ЗȘgV|3#.̉m 7Mb^1xѧ 4mhrѻϲy1*PE5g7} ;riXnd$2MO>$e%;FP }z&ﺧW%tASuT.@{ F 0_P"$z9р9k˫;[C, yra]F^q>OH8gDrJNI.=XQ;.:KGQ Ɏ}1= zof^TpyW D$Y ,f䰭0f?['b kd06X7UN,\㻑iAFiL9I*zwK>h=v$n+o! Eϫ]Y.zmpM88Tx- wkY>RnaV&ῘݔVqӄ:j]BQyډYx>Gl^k7OlbiX 8}?.xUZJ2G>3@5Դrvw< MZV0};M&~5E_ i Il3e-*Zo2}OZS)dq p H0=%9ރ,[Y*A]a緲G]FpRnu&} 4 Zm%(þ,3"g_5x-Ǩ}oYX.X+j|nKyfݮ bwSϋtP8e1 9'.zItPdc7i73GHX0:7&crO+ʸgg*&&6;RAC|KOhmcta?`Ӊ::ED1QmJSlL!NĻ HeI$hetT3n`xZ%yp5 +1ي1~vI5"dw[xxp;͎J:>X, ()T"|r0Z_7ۖI4%:A Y ,98 >P.l,şN4ȯ5F=dCI_mOŭ]pߝX;כ?܎tʚ͐4wsS&0.O8c؈>?wyCTE#yE a2C :Unn0BG,v}2MNr^ Li͕ʯ{3^ *3'~Ď`N#^zҶSdafH2ml&.*uM܉d,=W\ǶIO;)"f5]_.ɠ\eXq2 J8~P{5< xv'=*& eb%^Yeokx N[`&gbs&oqk27iz?egw#;D87'Z|T\D%_yaxosO yohX e#ggUGǯSǔgшB+wG#qގ9{z6xE60T×cY]H1l]?7Ѻ2ՅlpY| U0-!/txAg;/-kiVfޮ̍+{>?>{tݏ0D_ٜV@x*g/ L~%5KGa?YQx^Z;,`6)\VՇ6#U1~å NY|-SG‰ V"Q+h~(LS{r3!k}瘅y4Ct6"x) 5 ux! c'cZYW5}u('s7{:`,Nf!%hn4@[R}dv-SҶC/{a~88F&ܷsfb7NؚСl#Tm݋CSCpؕ-{P^EI)TL+\.y*N"X4}|*ě4TI[ H{ZFU( 0O2LW]4CU7lܮM)TZn9=2 o!m:}ImJlz (\ SY?ٯ*";r&P!P݁s!<(i|$"w|Yܷ@OZe˶TcQbݓBN=Ce[`DCvPV9 ˖?{y~v#$kY ! hg feݣ e,KU1/4yyjzɽW"W" Y4U9 Syt8tV<۹ #ĖZUa&s VBoB!l@ત0a=:`Jhl5@\:4s}G .i lO φ6"f%?ɆAK^Fy7ʏy<f,:#Wh$ޚ kT 0w]80̦> @*(ט=k_*𥪯_.2VL4o.8p^6HȎn0wL:c@`iK: Hh? .Qk6 )SG1:8cCT^QWQ"JZ[s%q͑; ҩj埳65D;SǓgW1Z73w}4`Qnq @3oH3Xq rT?\D%m`_}& ZI+(|:rA "/ZAFJ-' kNRsЬ/>xDNZX` l6|ՖkS26>Z \DVoYqOW._}I=,@KB9G-+4-Ґ0q" X>'W-b}] t%CGP9o@Pffʄ 3"wv|f.D$AcJt2!&DhY½~(5 eܚUYW6.wڎ")б o9ֵKY7y*5; /X g"!FhRuѽwB*nIc]/juNMW')@c\ۮkۣP%tG^s#ST/+2z~I|:??xу}>)2[ 0 c|aQv\=a;sm?zKؑCV nɶA1Aj] ix֨M)'O(ih_y *L{ IKی H=I0Y΁/G]LMg?ᬙ5Bv47izo Ϋդ3[c'M4/Y0$WIt>͘<"C_wR?Eaiן)IU:A.3J3dGDJMϮ֣z0~$Zz$^pԷNy̗5M- 3%}t=4e˧L)[{6O%lA@ӦpMQK;^l`HyRvJbz%ÌtއNЌյU{[s 8Zn}wӥmN.o"Q < U;kk'sYlU}FBF֒gl{P`2aFxAk3~ I/*~|5XeBi A%Ya77ɞUg|W~qLewMM?rԔe%O|EgAbQ#Һ RT[;ڌ|GBq@}d.9n_!W>:ra\5O҅ n+P'HQж-/ӶLVV~&7y*D?h ϴRi`\|l ,œuM%F?DzLwOlO3<޹;\,pJ6wᐃYD6 R:g^+~tjr3\n"Dkvv+m|Ezkb#}Wr]~ʅ[L;H*n dC=W_pl ˯l(Z .=F 'lۻ]j`7"|'=uǧ@Fk,eXd)]n"rg0\_s c! > Y`vb!:Tt>,ڕ_{|y.e֧ަc8TvYw3i0Ny^IJ03 >T'aʹ= n28Ư6AC>K[.@]|O/fDuN9&m>M*1@u">%!LĤٕh&762! 7]O3[A 34:]]|T[ۛ쐰#VgݜAD E%%}?(Q=7 WwXDMLE ʨ涓¬z1%$VmASg@zEHƊܜүkհy-G7)6dhMֲip{*WާS·15ρFUC&drTǫ(P'}lU6GT*Ҍ"Y*L0 5, ma VN?xC$KH#hI*ʒkcp*,ZX)*Fv2Bfg%ipmHETnIN1=wpn;U uBf wD)n <11MΌl|^LLս8/ @]U9>jdL_mNDD  VaDޞƣ^[ tr,v1ȃT2aOܮ bb9MUU]xÐ1ݤ]DR`8@Lf3tQ-EUwߨ f]dLJ\So{3h\4yh-"]HH Znwqy_d&\0h]BjndFˀ;{.-jP45 RHu$"ʳ)V}0.5fNq?`~ǗIe9Hxef?~*K'20؃ƈsɰ#ޠ? B$Ž^DݨDqUj13 qr9 x5l"dGڙvOe\%6 V ysַS G(;O~&2VCŽ쮃8aRr$u~'{4o$Tܯ\dZڃMeƹ\y*G$Ԗ9R)-__f˹:?Jat^y۳(ư7}y!Su5I vJ וx>h6RR cbvJ\LhB qr X4̢=+9>Zi&W vc>m`r9"$ 3kF7<^pf-HaC ýP59 :Z80`J;!6fq J:k-,*IHhW0LFe0dcmUHi9cŠ𷄟$KGՔ)^Քse@z֍#-1lFԟTN1Jdj_⫇^ th{Ͽw߆Ze3хZbb6f*qho$^pj=hy,./IPsa*pIa[3+`4.y6d ?uW`|W?vAB|65Q:PΞ֫ i$gӒehl3?#6V4t4YyItVufM^%o5Gnd1Q$g3[O>ľw* 16s:R dW=è'"@2Bi>hI"]FNmJ_p!eC7 p~F{[ҞZxH /a3c:- )p<ܴ4e>jDҬQGlN-qW0RZپX9;?AM޴(z1)y0_s,fI*!r"/ V&V9mY*G&B ǟ'os5WV9 afg %gL~!ZXPG( ]fr0~u(^Yi? s4}]u%A1%}t "  󛴐ouW\?]@_o/ X;Hύ',X?rZR[]@a~E!$g7WUA>eE>Ȳ?1]g+ )hV뮙[qJ? tgS<\'TScA,i`5z4TerWEzֵ>2.h zT7!طZy3OF#”>:Vmr,"ܧ>RRɆS/ڱwc[l*ьlb>ԆL~Z޹4 `apaݔN;/׶ͭ:IH-AD'\}P]pzHcDe[`UtaH? x Ib5*"e=#^*埆!*t Sr,d;fAِ wM7MRՕ}z-1$es[gTLpҠl!00'Aɸ-t@d|,%^;2&P:Ȣl]%ž" QG1> 5h!֗DF'Xq:( xQ+;U 6S-EMMo;}$%LY2ӽFyVjޮ4R_NTD$9Y7SH> 3l"3W9j^xj7S^Psc,?aWuw- sU'>>Bo.%HV,P`4P+hV/0%h8 K v\aOĀq>ztӚPvum!ӫ~p*3 }g .9Hyr/-߉OW8hn㒗v\3h'1L^H;4y缬ҺsZ67R]җTf? ZIѐ- XH gHt+6(#*qse/85x[Vh|MDewQ7jo#Gu;qɻQ ;.jMǻmr6]ک1'D1 r#$zo/e`1wj,&7?sN(q2<2Gd՟ӹ_ڰ>|i\RVlNP2!Fqa/qy7D(*iq=t/-ihyh,7o QE]5M[XD *nY"H:e22[IhZElo.9I2tW[5j1ug}' 5.$4?"SEvZ&vJ ?𚀟P0S\pŐ|}^lHeyD?搱PF MrN*Jc,˝\jVGMx~Eϖu߳VJ@-;X}{9e &SR )\ k[ ivjx_*Tˋ43>Z)zߚqv,i,:|qs~[;лD{8Ņmc(;2"jVDū9Hb8Y[uAw5 HR7=hLílʩtg.9ؽd^ T׷ s'adCa .<(9eֺUJ\A J>{U -nD[ @}$lB]$׼F5s}t@;%΍)sQ|yNW@(VT%@3 LT P}%Rlj)'TK#<9K|)^[>Ye't4T|XoԴȋ]"y#9LmPd|3V18%|e) Q/d ݮ2_1%P$i?'_/ĕi8ۨ=r: ▹(g1/{Z,zeXkY]voޅhW,H[F'Q^ *(o nWttשC:y"UvlΓ^7;3 ʑRW a~o'QAINK({6cjSo;& (<'VY-訥!q '߂"ub0`JViLsݟWqYS+2@0Ct?s#ZrPֱ8S/BݳFV!T 6ީ(j"7./)?5CUлEu~saf9cOlv5cAPnnxJz:I=c{|K>fnp#2-a &a w49nv?|Be)?X/XNAHAjV5j){C9|v'_52XCWY+[9cf(tű1W3KH[%D4$n(C(b;R2Ӄƒr契{>&`<|"؆׀J$"wJ?![)`cvjz*{L C ho0z:SmCXoӹ#unuũ9!nV]"tqۖ35(? T"h| 0Vݔ3=u*BjWj‘ktVL ܄@ wp7~F=8ǵΔdj[m"=ewO3xLLaeCעa?1QL;`C!)-|񷺺1aZRݬڭ"i_A) A? ,;J%L#h$؉AhAVE3y^]4s$60)ChkpIP3pg?̞ 9W&gݥ' Fήg3:-ѫ.M1!mts T1uуAG\WoS<ĽUužvi'iҹWcd3 5{Zq7#+\<T?Ė\g+7'!o롙t6vy+3u5ʐ`~/XMxӣM|A@ZYI0(WNU_"FG+%_9qKLTg7'9k/aJ' ².;z,ef 8 OˏQɲVu5 *Tc9 Ua]ކ6d2TgYQPEqzFܟ Ӆm٫*~r*#jAP/^(h笺+BqǷ *xӁɭ]1U `o,Bma\̼M(g)R{5@m4\a}T\շCbn^Z$ւ霮tot*yA|=:̖UFD`ƶe-LgƁeũ|f_ȦMXDuOjq¯#;^a1&a;13la_JXs /v;E,Fަ}c 4 GGu- 3=sgPǫ {fk%A&K{C r` h!9~ⷐbF@RX`#I̾ m92aJR۽aVAg0el,L3Jvznǝj!_ќ7/\ `eսA oCfJI??0""d-+>3tC( 7dSA2>lckoObVZ&bNq3Q. Kim& .EMS)`Nũ5,?lPchܡЇ䖅C1i%C-o_)t!L `ڢ+2CVHVźbA@cNK H4_$SފzZeTW{$nZѴ?`O,7𲑠uR ]EQyDшi]7ȑ+NњtH8]hښԘbPYFȺ4auEIi/{TNCt$#.ɇgf`l^SWӢl5W fQRm#ղ/P)30oE 9s]# AxDޕ*k?e ;` ZЛcbv 6zfJ|w0/qxY&E|dЛ}߹_xrjE`59dɝv2MT>̍ԉzR`F_ .CCUXB w@y)!dB} gvPO^Pq&W;&١Ԛ4B&MG|;R#E o`ݽ'o@ZMA#+ W;dp=Qi__{޺:o58V5fl(ƚ7- TS *y2o C qIv LtlSO0 o!hmj { P3 ,h+qTb1l佒O h`r_nRՐ">yh_L6AʗIiuW9>6Ob@6Aqy?р͂D8Fʦ߿U<%Ea>9?;m[:zW)yy OI 5UuW3sC4 n;g '\졕ˊI+b5șphQPl8;OIgP y#v#/(] |D"a|8܄oM:҂ XXHH^b<5iJȥySR8y '~Q :t1_KiD/wM}^;!fhLl0S:3$d9)7z.n~nB&'㷪@ƽta$OO$4e֔'tCwyOB삺f8q J~?^Ȯ5HϺe6>_J$K=ԑG&ëv?,Rͱ*/uJIL\ޕ9ňE/]N$k^ⲹG}u(OGc!CCR{U;-q\4&R1PZ8wIrDW٪o˕j" *h [(<[^EQsWyW6^v\d?&=.Fn-(ʆvrI?Z A ltum%!j]yd!?+ÿ`Uix ٳ~=P`$gԌ#>*5 Ox.@`dɐ܀uo|-JA9"ef}^$m@۸s 7]bɭX'-qfc> =LfW;U yK} Ƥ\MI,gߟMVAMhbPWshLPpGb.Yt|vZk'X!^K?Ic76B".uAf5SW 1i:s݋>Tʴ>]8YwzrpTnyS#yaU͡X2 KЃvFnΠ٪Q@McCR52zݷFYtXB.9|CѺ Wz8ɏBoM3e{H~Z/ (2t\VosRiW_|ƐZGNa>v+ef*JVMA" v|^8)űţKؚߠ6>P)Ekh…EQ5F|-b(43uqxR>RMTi\cn眪w_ ˜nPt=ߏLlCBz32M(3Ixódx|hȶ0ʯFY*Υ CHEWIӦ3hj1ux_O꒢9g1ULٙbuzP > ҟTCh  '΃Ҏl'm) oOD+ɥr͙J5tR>#vGڻ**t;8ĹOGjqVWɎ"!PN8h<=#QIA44@$WN{J[5 ߮d-E$sBLBkiPyh hWBlΤ5JHC73p'^p /tJlFĂ'aIIWɄ-&4`hDH5g.bE{w4vUW8ID^Z qcl!e!H]c=Np@g5 jQs%trtgwÜJٕ*FRZm«QbeM? J 0i2z.W2vaU69mq2).>CӦ8ć Ta,L.kfqH{\A6ة-S351x+:xdS='ɾW>4Ch?P٣4m_'.82`ՠ",!_yا& oY rfYHf渾ˤ@<)!Mo]RUK)Yr?IYړ< ;u}EW6i1bR4Ii;V.x^]oNATǺ~%#~ {HycFC<ǵTXW1j x1SKk@. A յQUd7L26oB0n}-M5gV-,5%Uo5lt]wޯW2Pb9[ lgSB>k_ɼyO ;hw|;f̩.m,/mt݃C=̲/9:VDn:suDeR̢wp[RԄ;OǤp$>`"R-!sT~\C&T5yK꤇L ? g̨vٞYlh iTqa]U3kbr.-<-}*![/Ȟg1U P V} 1 Hѓ*O׶> q^?* 0[oevSs i5b>bD(tWdv?@@3mkte( lLœۨ4Q=U,jG R7bL+܂u_zь2Oi*. 7Ȃ˩?y/)~A2@tpFb'x[pa| <2ƎqĽ5JVG%kKjn⛭0E[ߑ>do&T u St暜N1ڑ&W/ʬrV8 J!}WnXn.,+SӃ ׮ofnXWPmKGR 7gʘѴy]lɖct8ny7NCcNv~avǺ$nD1Y< G_g֋ϑyRIa;un=L>]+LA^V6Nd/H ؓXoX ٔah.-s& -cjGUȦor@+IޛIjuD%J" 6`+3}3It dTtdˠ U]1}h淔CEˡ  ;rz|ZW~j^P_rp~@Xe؝z %+B4#;aw]IO 괚%!xp%(wXxD+rjA95l0V=Dc${,m/4VpF(gS^2N יQ^nt Ky Ⱥf[k~ "U1RZ(x26GR[*EO`+nʷfMjM7-xSIqذKW٭^5ʕ䍡cZ#;rzl@C\ą2O4R.2# r\ZL!aiܕNx_*~72 J%_5#ygV,CPWEcd]Fz>F? :$c|) ِctⰘkHkI.YwK=?;`#VͲ7X?&=(mVڣDƯQ?\1lIO Fv8~WJ2 A ; Ig >t 2mz^xv/8;)aͷyg'MM{f.V'G:uJxS)2s}CEnk(3e,*$d?K"Aȡo>?#MvUk8PA><}K1G9hn.i+,\&X -St1C &!5W"30X90Ʌh=K:aIxW/PsGhECA& x^1Q淸UWXh)i2qqn4&7G)ŗ|ֈ""WǍn&0+1ҟ7ҽ8τ%wgYZ p pa /U# qnGւW%|93eB0YI3eHS0#BJ<^\ku , ; 3~R@ sЃ d) 'd.!ny]iٺ#NgVc\SR{fLǨ:No>S·3yYu:mpvH,'9߮#zD#@SX=H,3M:5 2OC-塐n)졊Qp.zP=]Q0 ?ӲQ5dprE`>!ɁrĤ},8cq@7畃qP|=Lti ~?tY FPu15+ Cy1? k3+fhZ.7 RhnOZ坮: . 9UVo!HS̨ҋJfSYT_E1\`>"}&HWwjBvPO"КN96k0( "sAH^·ucX1n6܇(}\Ӆ_ƝЎe Y>G`\R;!QjɆ-}SOsՅT<AKMu,Naכ``!@(fS%xT%xo?/(MoC;ixBԦ:Y!+Iߠ 3)EDSP/Lk5 )c3ߨaZ0@G]-gG E{#">,f} /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\omZssq?ZCsL)[ETMF9Nry>_FJ w*a:jkCd^ÕEw`(U{x RnAD=l`Rw^Um! Xz`@i\t{JpB͌-i= ҇E[mRw08~-͟Φ6Bv>AM)EmRe$4!9C/vGL1$nTGQBG"B僣ŝ*S bQ#=A)TB-on`t[3=,O47sYE L^G_߃3JN3Ʈ/Z; -F);I遾6JϭZk'yE-#ؾZ" KEÑ{]'T*tr@-m TrӘk bg0UlEE3adm<;.kwН и,W:% .\u6Avjn6K;Y[q33tI(J Rdm>O6H<^U,_))G)Ͻ,ً y@^DdU==+!eSh{5NSH!ϯcn^YΔU|wE`I-GOhG }A 2ݢJ&%AKc_%b?:JJ d)y/qڭGD[b}|n-7w f?͏GP߾ DֵgCRUHl55mfw, zV`u_W ݯ:)RS$1c.yӱ#.f폝Oe=5{\*0Fmh۝8Aq=uKlѸ4I.l\R,[4%Ձ+zg݄p K_&:̥F0Exs\no'~R!g+m![d~*<ѷlI{f^d;і~>oa2fM,C5%ӶL6'%a+E603[o8U_"P )`? zJAlJX]D i75=+341zwz|P@<\V%?)h]͔P<)I;/ Ry#<;#AM8 OE?%K+<)Tmp~Q:ȮApj wgQ=UuP84W8$D8LS kPvMB!% #iyߠjb8V9v<|vqFlTcVi~K4)pP/78C Qwހ=Xa6Yѕ'HoͷPv g8уI*%& _^V# H!Jtlқ̠Mz,u‘%ğg nG :c ==;!9=3S(cҤyDwt0e'H!= Qn8{hݗ׬;wAz?\1LD{T//fQu[DG|M^t^G%s%qh[>>%6Aq iLSL"89[:h mdM!E@ ί@pV.?jt1)~/ߖ[ Ի|S4KDJ/4`G'#+&z4 րpE9~oaP0WCVȕ1>l)B .vbf#;k\4PO ?e;ln,y[56'f&BrȑFMI3NJw; "ϴҝێB|9Ǩ?Bm :{DCB?e'f.>w}?C3',Eug!?{o!m%('L1ƌұd:E \#${ d5RI*[}pUr*g sRBpdBƻ1.*P\;࡜63u|ydQbZAхNuEMN( &9/$DuA]D` ){"qR 7Uf0LfZH eXoKUb.W+jփi70 uh!mdo.};6-W4k-ץ6j15 iIS,YSQz'##AFfI)[o9Ά}BתIUDX.sۏD5$%Ů%r f SĄGG%8'0:ɦ])}oč7Nz9.pwo@" G=2;P8(uqq:Pt'\Gs[Vyl`NRn%Vn0|$W~ݍ5 #)/ylbҦ),iX: 5֬$rV*\h}hu8rB>W5rE:1%>d PRtKPt&>Im[~-M<󡸹git ǝ3bʜiH*A槚 Q TZV_tES^ 'P_i:5=Y-Ԣ61h"pbA%VpE<@-!g4 [ ؂~|ՁDIlF@pC!uZAݓ3k#᜻nk}sVBBrIfИ?h `S\̻Z;KM_$h 6SALi/wσY_9T7zǔk\0Fs@ L1-QԒXDjk(Sm}3&zaYX FiӶ 稤Q$uJ$Y+8AX/? oh_T+7,v/:Fwj"tkwM"u\̸jdw\lꊃnS>LMًeXfH xvT˲F mBtNhVɥ; Dk Q RIG1Н-a`YIԉQM3eQٓSE*?|Ր%=aqV%] qLխx|L zz5te : qyl"4qpڦp*\#]  z19Yd!ka 3 KՏ,` yqW&L(5YIveAye48&OĨRgKnePs1NjلB1,*^6:[nhXh秾fyT#yڀuV`Zq7 qjXřy_j'әu 6Pj!tF{zЬ睧TG|BpY%l # >UzFo:Fw!|Vks]!-pPԷ-MF*)hX IDy#˻o46Ō+8ri$u.QFe{?#6;_*X"j15̹D`1;+n{38,omSIv{drFULHIglu涉! j1*đ>HJ3ZF\}ȪU ͦe{*냬tS(d z|B4"͟upWMWe"-ezܷlAftƩiY.͙Ym CȼSٸRկSp|@n{~ۣwW[i'xכ8!"ׇu~OIp0ZF;&ø35͖DgZyt?4Qk'{=Ǥ}A \YqaQxdM_bgdp1վx g5H&E(1l CirH'K4ZFEtխ)3 "yDA?+WqeN=n%N1muAB=1ޟ Ҝ޻Ţ֎ .eh:w4QuhWC" xߟ4إ9<[> fMc%rYfmtugև;Cq3Q7>,G`Gk:Y7飼f~YmoͳܖSߧ5F(Z㩴K?],T;l>K؜Xޣ:# 󀫎>Ja-E.|]oD4C^$AhCm,iCS<Dž֥9mSF1wMw:K5PѥࠇqGIb旨ї-6T_~7YJU)!ӃS'^2/"?g&s "sf=ml*v*.GDxo!S97q EݺoAD5,K;9# ;R:Gw]aN^e靪23hذ}eɐ{ 3 epMTYn=6-3]!/Vt l昧bjaV68*7᠊{Q~i%h`G/չċbπ _{hul3n. IMH94_Bo`{޹<3[ep w3OěgJrp:"W#Cu5$K@D73 GX(HX @JI!)Ɖ9 % [rtO,Nc ^BWH:PަdUpSCYn}ː>j7ߙ :"' LSG[Jj 9,o)lOh_!9\M=ƺDv_2Xf6ٙz*ěeGw)Ěa`@ٍY#MUDq)O@ԻH"5'v{'8;x7C~&@(l}vPQSMeھK7UmLVC 9i66QY62u>4ӇD_p{k >dG[d  4+Dִ6nk.Lt>ѫ-7kʅQ3 ,)hz cw|xl{GԖ^wqˁePS0rs9(e\ʼnB-ߥ ƭM¢EWJy737CNL1xqW{y;eo0${f$1C.*W,U;gm>p)ϗAUPlH8jBUQIenlAݜW{͏wAK.V8D|^%oHu#y*IJm"@floד|ͣF9᪟|* RaD gxZr?N fg1]D|Q*Zّ=~˦0S`{%P ?/$E7?ˇ5 ekD6z~s0xJ_}2J?RZSƼMh&J@ r#! >^iCk-vh}&n;Z>hF_/~Ko1@0q}|L )HY08IF00 Flk1& g\Z9UGNЄR\T,G;d{XmaSq(ex!Z\՝ֹB]1B jctz7ʞBjiv4PacY,ijLqZ`(nN$rԱB7sȠWF\ndߓ} K^T "?d F_ʂßta=B1Z5F@chB8ѸSIj_@TNXEbNt8Bd-'` z'Fi^l{6bm> \PҎM/\ν;ö#Qt-RK:F4|Z+N{>Q:L;r1oʕEM`} 547&zYBmQ02L2 }h&* 9잉j0G=h(+ .]g5APsS,,@ؽX4T|M:^rrnqQ|kxF\j\z(*~pMDmpjk5;5A mU  1#6s#p {#W;]ޚ\x {-Jj%˔fcgr)~&PC:ғVy:4q#L7f py fV$R!S1I|Qx;]\LJw.q>0IX2F^rEB.n#9 Ώ`:LTCAI.>fQ6P'&j`ȇ`< Os.J%2FI$l< Zubh.tvD=s;XKS֙5YW#s}2 w7>^"D6Fj+ӆShɤ7|qbJ`Vy_?2hUq1CQU8(GT2Q?ڻ>s;XT`/B<*Qʼn bq .L4׀Mkz>eЖ|Zlӊ||0D6%5zz$*eSpCluc7P2͇#:1g^ZO~#>s%`~zgS ugɹ=bɲO#?WvYxX :eŵc~7 m&Wm Pi*tǮMm! G*@UL8.ˁ,p\PeRN%kWΚnfPajA,ە5~6=XOCJ'y$-*h{[ 1 x_i eӨz lV:[T\1 T}d;AvRSA*EBRyǽdk#֬*x"oCf9p_tPS V^(Uv[~CT̊/!C'~H} T!Ozwwg(cM^oA4i1E>uUo6-x O-\,т|([nwȻ?r ./II($g\d)QwSffELx2oo6_#&x% X|,nwDUs ۭ ̻:ndlDkD!ѧ]-;0~.}ut|N{D$C5Ea"عdU`>$Ű8w-8 TN,Ihk9e9 R>kal}ʰ!Kd=Ո<9g&> J8V,OX@4pvhPoRUPT5/hw֞`ERZEIpkMӘ aZ[yK:'`FvB:*;t)͒t1|_E{;G)뉳yBSֹ'}ʍj-}wX4s].1-.ګ P:p9شy$E4 "GR`5t>8C¢FPc>;t  ۣYOzڴ4D+&$x {pwzV *pfuaN}x=70&6:AԭÌ U>"#7h)} 8]HLJ(d[m}Σc!M zQD%ߟ >w푄ЪAyaL붲JkCdWIV+Ʒߩ 2abV5ʹבkt0d8 fj &@a/d= NCϜv۾kZ;. Ri*m/(xSe_0{ :2,TaVv%S HŹf05| HnӚ-@g""i=̈́B t!jTԑ`paB<%7xAHkgEoKY s)?ɦX8>!t\_^BuW>=S ٠ڈBƦYxl7mДMnɴi6$2C!0-I}5叝]=5֛[.dmh}yNA 0d@0a,鼁R]lj t&jeWU s7[zN3(%2~Qf6;\/wnw'!KŅy Q;~~(TWE_;X9D<XmY;[ЫRX ;1L8z:53|@F^+uǼ\{tu\$U{KGqaHΚH 6Ǫ1 J#5ik`{HEߓ$*u^  >CN}ft v.djr|WT]idOC,ZB%,om<H#;PjpG%DxD 9_*4kglcPThܘ٭@UŢO`Cbv@I+V\[vs U?,6F>X8R;d@QݲNk㋈Q] ^~eXdvkŒ[1DoK>Db: <We r{|UVS,JH(vb3FKfZh]լO*P54?V;Je>hQST jzB9k-4W4p S_/ORF˗oLU"Ը1xƍ$YB٨zJ}E|x5`taԂUEO0H%t] >JHOg !yܛNgib@G+MZp`ZwhW ܤhTv"EZ+nBt;EM7ѥr[iafPflU8zzM\lu*$Qm_k9Ѫg&HcgQv$ "b fXpĵhxlG^]0)ښEr7ZMoCE;X+"IKfoaFc׭vN];\km?i,_`_U|v]r0)}YL]Y |ﺜMoRE^vєlr\qqw*8s_Ij2*V1pTCꗃ@xp;Y;ld߆6EHvܱMu!#k"V͔t~$W68+N:{ dZHUٔc( wQ@g,;QgE?0i>P1Fv`!?*lK}9'4Q&oc&q1vX*H[-JRF=W1! ZFs&ToaR|QWM3⁼bmqTL &^( qdp(#Rd$㤕bt3!GW~ٓ)e)nP"@e:/'cc*P1O*]wYD V w^DN(! ; fDS_XrpIkW<)noYma )%*uǃ!S)XDy\2JMmUyB +(fAZ}ع䣥jڻ=ܕ\%Xybdr#qH:fFd{]  9:h^RS'ͰJ]D9i Yd ϼ%\!aYzgE^V=حʿvuOKɥm4É$Io>+H#<|cv?3>}ݶ,ȗ-Zj+47J3YfcN֖m6n O}`&&AkH}6rңoɬЃh >2aGO%Y=q5T WxśԖyU`}9SбFJ*<3]+ŭk"B\+#%)o5x^]=J|_ en˪gWng +(|҆^5ޑE3y_m( OކR؛Nl\; ԤE4OT)"Z+ q&1nGgހzAP9́=ӆ^ GQ.pyv!ϔs J`ax̽o6K`I5܌R]MJ( GfHl RxnFÈC@q*R\K'qF;G&Ilh'OМ޶PNRQXCr0R79_2QaPKi(o-@7ՁXʁL"J|Y i_"ւ u cL;i,_!T;R` M`eEd z{ _L WP=6/žb.FjӚFM:wWǕ'-4S>\p% ݟRL3n= T;W])$a}-W]@:yNSxT \܁Aw&⡜S9Q ֮y x鷂#eߑ(mvg#%2T@+2 ޔ{N3/_H/(C9akNdHBu&ڒLBsQ* S8{If>nG|\V5V:@ Gނp3>Ιq4l沋Ѹ `gC숆`Uwlc-fu5Hgpų[H5y׼0d OOŊ-y;u3RKVu#N ;D֖fNfm&P۝=Ae􎒌6ɋKb1y2n٢t֥=iwjnRUv QP d LiއK3c&#Ȅ uhmצɽXzkq:HJ(MrӉx,.v>eVTW MƳڀτDy=_ѣ3E/sGDVxVt1Vn}b+? d?MF6F4\!JᦻtX!@6¹D^[;ɕ/, M?R0½v6"0[7&upN_sd{un$Z+˫̴9VtC/p@˪_W C@Sd"y9z\\{gKxՌ'M/ep񇁆o Zߓ RvQ6nv_6o ܮ?cb*֊~wX[R,,^M߲г'5V=~=fu9+1Ǘaį jp LA]|T tN|,I48IFk@iM*2@d%DP\Zbk"!gƦpn`P|yK̩)N~7^ LdC 1BORҷϑcfu ǫQR }X0L9ɂz~Skx?PBK_=N> VnC}һ2sG 7DzOKă=s\9Nv/,qǠ뮃ˏ?ꪻڥeCfӍO MtrX%Mv*(ilE$1="#&4Epپ:Yɿ6_y("Emaw߽ ۂPkL)hPksYsV54crlԯ*bݘY1ԭ>3Lh~0r>WNm}MVz'ikڰd(b/8LrXXc+D|=n5> 4+ph)w%-F',}W }GĸmU=#n!>5(&*Qxy5mԼkS  x&qi@D[{Dl>{b8ۓmg׍hUvCیS"ueh;g ~gu;<%jX (ԝmxb<"%K+0 ּMG Q/A831GeCXE,COTHuq SVuLk !x/[NdS;ˀut,Y0 1PG}DlTS1-SҬ% Z~^ Iq ͘q~ve0[;J,\S5qڪk`7q1QcI/Vyj oBJ\aW،&틶s!hbb0/"LT$PFo_%E+ϊ! аa:9)9|Wf Yo: Y\e6D*hjs:mk7$:3h?Rh5 xO٩W8ړJc;(C7;+5^TƳ+[Gs:-pmq+S227yF8)Hj.Ӷ7BTaf&ЌS9+) @5bwfSo+H)Jgd omS5)ʳV;$͐qzl4k ҁ>zk6@QAJo҂h߂3*C9'(wq<ѬYd̕ݎZgpgrO$TjN0RWB9Ls2;Z.}^#q ?J-Ktͱͣd=诣o|:DB`rVu%3v1Vv22y/ ӑi3;H 0uU+211܌rz !?S:48-4H8G(/|&FNKg$Y_ `S02}G*|u~f0ZKoҵVi |,~=K xԌ;R"2h —0A[ۜ*^mODp 9lV*ZdzHKG$>~hjx/ww$Vc?ld[㰑ÕOeFDAt|gZ12 tc'7X FmljΌ_pEB abDac$19l{~ AN ֙ u7l$w#k+gxbNq. .vZoJ2v;%wf'4ߓ*PОU2L[6iجAK|nxr?+=-׮X@GU<& R>R}4d[Ov'6a#~EVDyE}#'h@,i=ts.ᒒ2M-z l-HkQ㽏lwT.pޮg"fG[n3xd,0X ~p'7%6j~m[<g[u0[A00.'E}")iΤSn`q7`0׶0/Yf H!.óF=%붊TH8~D9"6:wvg!$q˴bk\*;}{I ̟LN:0d/jRq: ,<_PR/DuF; v ܝ{4W0aRʏaub_s\?d bcG#9+[OYY\AqVn褯/5Y*cn ݒOl@)8ruǫRCqMy|yooKTq!Xf%l><C7^jaiL@RJC4@㍾ vժz%X/o B(vpGm*lKwaG$:B[ @ъ&`zGt6Oi|}X,=.J"( C2SV<8E[0̄)uQ&w@ 8j59'[/4rqԻ^F q)$AŸw䘊`pV_g2UxP/w/syHo!B;ֵ?Q&& 8pچ*}5]~|4"^3,_oE-uɹ2*6[x5 eu -"G i+?ڮ &s0#]0ydnn%+^3Q}R^w[˨9] }V;:YbD^"/:<Ҹfz4$'q],s8Ȼ$('LAva! Sn" \]d@sxgň&AіigZ4"P<`[}&w¡vyG7)/'Ifv6m'#Q/zf g8!&$UpOb*4] ł6".k+ZL4QHНF!8qƟnwU`Y Sw5,K^#jv]ݔtlf1"/-(nBpNg4<@e*G\kZ*n'(/f-.T e#-^m@"!"۫'zI~ݮ@+|g @x_>L$ԗ00 ;S/WKvbwe UL2aM;Yz"6'S7 x7ۖJJVw.!6Y2wPwd&X:clCYkBϲF"f̝'BVf|G,9iwq\Aq.3q?Yn&Mbc}ߓy s-LB*3K,gwbeOqFRFXxsZ( m$ǍrP!Jh ~⨍T]י1k>%>gJ#FLׇ,hn|U=}nEl!w+$7Z`V9 Al |k_W>lg_M's\ŎQÝ$F7~ʧQp:@G+G⍩TlRnNjA*dN |"]|TTzM.׶G;aSq|(3A-,2M֨紀 o/m:;wTᬎ|]U, G$hO2ϰ'0@](xQҤƴ=Zrus(NpϿNFj (众%@h2mwv@^QgIOtcx ߉.e_39y2^l.DY%+֊W)}gi e/};N Ip|U@!@qzɺ/o4vb-a w趷ydi2cXK(U0k3gRԛAtO;S}K.5Ee7Yp™ZCLlUZ2eYpW0v_"D/Fy_\*%`վ+#-0yU ܥIa V  8ÖVE ?rx'ӵ:_CGbDpJq%-T Mv͋٢][g(Ti񊟜Q]BywżS%} =2^y:݇ vk( @jLV$HI-՞ gL;Mniﺹ>h/U vLZ8zlә5#8&*m-ðɧ[l2[oED!|툡6%%a+f3syeKNx+GC5-Eip72ᆽio+0)v0b0'Ce.\'9sW-} 4V)^Pq+*1(nҗ`'HLo.`Ń:*.b{N%wZ"p _p;qOW9~-p]6VYqAnju@@۴#qGϬJV nHXGL\)&hi.uq(@32u뱱_o ^oN>Zfʏr->R۷#l - ~J>RS<<{y7/U"5L߽e^׿@[7=y 6{TUGyT.*U Hq4o zC&ݮ,[O^MeBt[v]c'힍1\ 0՚2~ %+NMc o!cKv3U75I9 %.+mhYCsڋCqSoތ>nKS.GM,3:wu}ó"QQ c?Ϫo w@+>543/HJH^XRhw}$)bmY2DPt浲opzJ*jQȉikdm=͑vZxv_8JJyPaa- FoZ[zYuJhg1DJ'ж5nRUi,N1 ]$)eex+ N TX*~X hIy,Xң4.*d<2Td(QJήUq1(If@{L@k)~ΟedL""7FIh;ˊ~l dlލ@Y΢P@U%G^(T/rT!H(7Qϭk^PҦUӀfU RGF odhsp *INeW;rhU 'pq5nI#sVx;D@Z+Sja>]#m :(/ .uuyDvU(t:N#XD~A37.Ƿ:7m c_ 'AEcEۛ*ݯ7#E3uP> 3Aj5Z>٤ْUt۪2ŨYxpcKeK2 *؎3*1OڸqdF7 9q5pzv[1xQ{ KĞnXATlT$\BC(߀KSmzƌ0`P4+-\#ِBc\H`=lr} ϕ`y{xJ H{;:[: "([u=Jveni4@HX05v"DḾHFiC!ɏus3ԟ]YX*z$y$k(Fʠ NM!'Q4b=T'p]g`q73>Am8*+uͱ6 ޜֱ|j^jv^ڶ$1@"gyougb$~ՃFP33Z}wZ~ `na|G2ǰXJbqXv"3mɑ<]7NM LOp~Z$oYo*A_τ⣤Xw{GJ2C?&Gx3:ъr9.-RDDZXn.Z8KÓ "#S(}NXHMy9g*`.aaiWD6"'=g]Dj4~hʥL6)>.g>;QDf;/ސ|LKbƤA@CTj[d#(v/<7\&%JKOS9c};/ s_ "$9~/Vj~vejbצ %߾:Xѱyɑ`,azD6e%+q$R}yC.0M3w{,<=g٦C4IOu^#>HEQo{5Z&֜b]%*2ZuuNإg`&6hNq(]G]u +\k^R :RڈS'6Ξ+}R»i:~כŜRz[{=*uYW(8w WzrD9'? ͸/HZ:Ͷv7Ab7CN iobUJ՟L #ImrhoU-rYI6YWք)EY Cw-^l͔ToCVG%AZM[@]xA(pLw=ߪF;R('ܻz>%Ћ5~)q>}8yF:V(a+ ^ HO[I{ 7z?#Qp8"Rפn'AGJ/ǫf'If.W" H-aDŽ}0G|h}7& ||U%nN6V[w p; /mqr TI0tA@>!=F a kSU)g6~ ;s$7϶H!oV23st<+6{3eVq'.!Ejs4jSgoUjajXNfrj2IeL~8Ax?M'@4ֹŎN K7":蟍  xUm & I.":i#;aZe(Њf3V}Ͼ;K*8,0W`  ĶU?)U=Bri,kG_:!Gv|D-ǡU˼2򎅯ɉɧ`8G;J(ܹQg8 )FmXӮrv %G5WR%o e( '`+MWY9[WMEFWi t긁 v:)a Ee]ϓq`\jH;Ǖoj." %u_%->"d0D~''1ޤ6ztR IO3@jq =8:t6sqx6Z320gA:~`1^!'xyU[7ŗ8(d6i~F7x ޞh` 8>S&ɟ8;Sdڈ.Pݚ-S{&tjzt-NE|jE`UpWDJf2DejM?)&I*.0RN_Ȳgbi*pamjBoVbE=]ކa)ޕ޴X&(3)QHʡ6PgGq1x.v|lX!=X![sV""GRs% #ahڏ&%x /_oǙw6K( w]|(0B0`3nBWb V?nj -X9HL BbWlkrZ8ݵЍQ)t6<vE]-b?>`@"Mer[/ݮqy>(`VOQ,vɲM/J sQ%4+5}A7jz#^. ZSOٌ}7h48OZgS={AieH.LΩ\3g_swĒqPϙs~mq4yP4 /;:kӬ[ԚzX1e7~z%~>KE㎎!#fӯYG]@aua[;?J3; [0'A(߾K(Шt~B#:sGj[1^80ޝc{qhЩVJ"V 1B # o3q=o,wMU| ; \-m@$F@=ԍ<ϛ5hVօG.y5Ut^Q~w'$iPˤڇKѿ!\R T>ڑ[ǙHT̛F }fRi* XF8_unVͰB%y=w,x;رSYąaaM~h@! w Eo1LA7ZGUKTjLSwpOOΉNqmgӞxAVdIIqMU}(۹yGtE9>^ɧ\uP?!/!bh&y\)Z8+chkPaxr;k x d d=a գ^i/.Bg1 RFst5KBJVUQGhy&]kzgDkT:XD`k0.6r'pBatd1` DmpM>!Bɸ:E2mO0g"sPJG*IP?8͎]7 R'ό Jy䃲HkFe.H'=D K ] ) ߷m{ĸ=x;yE3 Y>;hR6_˶%?VmUr oD4DlY/b@65Gz[Gvá\HVܘ$/hdwb0!#(w?DM/Ep~sHg{w1wC#ҰkLFqy֧Яh 3GAz |rV\M マ!3UI0tq+`r/צy&3(y2qeK AG]5 Dr@@y&\eIZ%p^x0Bo[f4R2ga+mֻI8V3Ulյh+Kۏ-qP=/uHՙQprN~9kdsP ۥ/Saطf%`|ԇom }80o_hbpm昩4OrhSsfX23lݟ )ʢ ه/JՅĒ>Psc0(W ٕ1Ei6Ҵd ]rf('C.IOǘ~4X#kȚ:C=y0ÓpJs OCfCpI ̙ݰ+uwoc%&w8XF<ΐKؓ.Z֠LBT zό!fyE D5%]ی %,7#=a_M!/o!>Qh=I(_xa-w(ҿ0,0)mãQ \6W1*ϟyIǘ;TQ[n&T2n*E'@Y v.SڙhvJJڀ+ 'dIEvkD϶,0W.{i1iuj bd5s Cmk:%%B>lsf_!A;ǖv@U*Soh [NJqO]iT+]HB+?u0(3*^>LR_+ɗU0ڣ܃Tu<"#Y`09:$frHxȼqh$6$T/ɇ뛫#+*.<7/HLAzh9P}qlۅ8WxPwDb0P7* $l_N!Olrn)EבDϳT:#sux6Ky0>{ʐ2|l-LZm e#(|?F5"/f>fZP0۪h e &h)p8t e6pG #g{Y0v]hOŭn}Q1λ!)Kx$鉆q%蛖Ѷzj1Q ! .ܬhw$N/)p*N嗑uX4!?<)!;/Ȉk@(0_㕻G fflkȜ<5C uہ.ܦ8,)~SftᕓdV3?{!dyěk]/o䜿Ah^n||/H'H\?UL^BQx,*>Ennێ$1yFZbrL\u֯f"!j)gp%E[W\jj9a7#t<5 1di {`~|!A5mcCAxƌˡ/D J)R1k Jz9Z/tͯ[/ KJZ58W3|_8upRiYmJVU).:mUX*WXM.ȼ&8!~|f8adV}:4x9X [.Ѿ V8 .`/cHM^ @{&1(R{TL%؋Ad_դAFg-ƯZIN1/e:X9(R/B%{Iҵ4oNvKAGֹ=,ߠU;a +Ȫf[Y"Ahj-SŐ@%iMϲ҅3C6UI3:z@R,O!JY5j9{l9;B4!\ËPaj%9]ZnH:GÊMonEKwkD(}c>9\:VqTi`yf=ЉOs.+a7)ߓ#HEӅQ?wD0PXDlo=bW)~k/g>`E|tW,*tYu絘Ɠ+MC %e.e2oRĿVTpIےӹ,̛CsOar[_TjˌrTEs]ܦ#vk`@3idý){lR,m+)CWhfM^Io,~*/3e hbATM>k#0ql| p&UwD@# [VRGJ dR:TcBd.l;(g%Ї3Nd>p aJODi(Z(UEtaƽ7۸WJ22>2O#juapyȚ:i;r6;2y7YP-dh|U Q°T-HVa;,8m -ӗJ.A7hC^t/cWQQX`@5 ~0U6y>`D5E)\mQlK_{Xa"lS AT Ӡ kedb+$P"ܣ/SqsXV)&6'I9ׁuuh T-7P*)~ ^%A94:SF:aF?zDXWIpUfc*^}g&?>YI>}{$ PW߶.ۋ#_J91+y0$5|”ZHzIDCJAO14־ױ)#I SzoYdf\ܚFn=.R<$oq$V+%&QOSRTuHiyH_I?N:㾹Dn݋ &ɄWQ7ѤM8 Ru0ws\77ۯL({O'^zV3Ķnָg}10A*`tFsssۘ.H]3MTM:*ՖoL<\FAZƛ=>)>V0cE Uɥa;e{lFËfRpc1 f * @aD8o9Y)R$ĝEu,{Y />UC'zЧLGO'}!i2[ m)#^]uu9$}/qFhn~d}F"ߧdy17[7~S,N\,oZ|JD$O~ Q<a:H- YPU'^M&v 74ܲGCPF·>+@&m˭d}ndLrɧYH8dS*T@ީU焾u#j19V=T^HO(Q% 9_QLhuNw>E ({ 0?{=pRvcXv+0O%!gYgQ(HĜcq;1< (-}FJGU2~ XzA*<p)"̋[H$^ + 2 F별4jfd$ZhaUwK^6\qFTM.[JoJ*$tn4+{7")᳏C1]آa8n{/Tk s!d |?ݩ4tNۨ4! p4yME¯pԝ٬N[JJXi3$>p ABF3>7vr[,ez2 {Jo|֏ /"0Pc"̛ !IUoy\N|6HQ `G4aΕR:HXoG>AG1 $#.oIs9'2,R?V:{W>ܵ; EhD]N!M7FH,F#Caȉ~:jPͿvEV1 ̂I i7*ZF{`*nw2aFZ{ɆꯎD?9Ϯ1&j|hYciBtt<"R$J;;Vhی ./if m_? _!K&/@G(D&mym~I(ڦ9Cײ%H.P(Jdu>̎m k{Ǝݪ~ $PRoÊˌlK0cӿaz)dURRtY ,m~zv'Ƌo dgsP("HB!.m( WÑ-郙GoEg;&슋۵Wcc |c.bdο.,'[)`Bt.7˲ l@̜^aaƕ2 ozf!%M/$ Y"3ep$px &u("!9-ӹ1 ur^ظ>+3\TKuj'(A<1ע#ax1=2XǍ%+4AGtI֞!.h oJ+B^(A <~\F.Pma}OSX#oR]oixj-H;;\"Cks6kA4ٞ5VO@$:菡idJ9YAwVS<(=z;76?$>̓WT%L+^²2 ~6U 2m[0K`HIF@5؁!ЪI.vLǺ -9=j @er9O{OA$Cy+]${b~j_apGn/>_^k0Np@qMIYYux IGXƲE]iO9 ^:uABiȪ9(CnLX [?)F)6 $s/{6k&6o.3_0H5-5VHO#%2smmvaMz<ÎTy{0#lqnͨש,mRbP νH 6'ׇ14Z |>CeNr}gb^.< ڍ.jE%b:H~_zC~]UE3eƏi!!B_664gU~&#pCJW^.v 3]O3 c`dzۅ-:7U4]!8f^ۂI4$A"kV gs05]g \Jk Zbsg 0r"0F1$*\h~[Q`(5lxL8tՇʳ6|G)@AIoOį=2>XbXLL}f CxvQ9KpKS:Oݪ|w(3(AM *Xj5CKL,C/Bmv?+K3;iv S.swg練@gb۞hzg=?DZtjaW\hzp/䣰Th|+gyݳ.m;)`32qlVPh|< u>;M7m(n{ /Ç[\@DKw4U9P3.[2OIY N:>AtZz,m}!\Gv^]!.)lXBdo"bC~C lf\MIE`e!;B iQMc;Ns :W VMƚ*F*dn`Fhx 2D#߳gl>1dYϚaD>%_nB#րzֵ=`H4%s #*AG?BE@On//:Xae;9yvcbFA"U9ǘ˥'"~{r9ĤNx[NFa}ŬЏ jnSjU$vsФKGd (S׼]-,2PPz@ hB "(ݘ^_vjPa1Iz \PbcxDyc_q'ߟF 2 x‹9Umk\TL]S.}o_NK͘㰑PU=B1S2I@2ih@ DeaiPGh<CD".3YflUalFqm23^EhG xO ##&:OYxOmlur<29jxq >Qb뻖ħn듞$&l> DK sArTEG*9B},- z-ALK5c[XHL_B haWJ0FP? \c9 z- ޵K0ݥ` NqaxxNk~pM;N!Pqc $=KhB:89ಆ T -iA&yzJL4d(?k-(\ NxÎ>HBƽT0GQ&8IҀ,㧇1Lc}M(ıI)G;_`  Ft!IREw'hۨMbK .kMZWg6AӢF#f$8 R/WIryUPĒ:#HA W%4ww|Φy^vL"-O@;?rȁEdv+S!/M3w qLA̙"JE ށM# f HƩ5G?Z\@&QI Gl8`B)Er8cAkhBA+> :ߜ(PUy2>_ VSbDq0A̝7uVg6W2-݉^tq]Y* D,X&hYӦ!`O$4Rن5\,?USy텢!@4h6P[׍HPy AOlؗ{dr1p.SA&d0w{;Sc=Зɏ{6 ;;2_/JEKyΐm 3*ާ 6\Y@*Scàk/A4ۺԦ-wU0""A #Kǜ(fok­af'y;_+Z=*Ax8^yrX, tυϨaȼwX\^vʮN\a~( ,LWoѢw!@x&9; d≓}nIt8ҤܤBB4J C3gkxeutk]xPmqu(k^<6~m5We T1[CXa{R=C/j Be[šP.(ƁwBwѝs`/s T+Hۏ8^\%7Y4[I)ǺݿSp%iݬ(;G񘊣LD 7ap\О(ǾK*+\ʗ' /pEN2- ە> Dqaq-0[?/e7%VMY+՘LM{b9.I[>8B;grt`3b=X4tN⏇ O' I4 *U!ԝ޶r+She&Y\1E[lzce+M# j;LQkcHC_cL_^cyig-Ci5hI*2T`p(e_ iHajs8Aqq0+z& Lr@Qd>vȩgwA 6D0zYnc,ih&ss=Ɔzm$m? o]>r>^iénxKoeWg2]GPLk q,}G)P8-w`:^z>V '/ogV!Fymؕ󖍆|ֽ[hkhWPɱnj0' bm!-8jN $DaSTW,hMlc}~Yާa]T(S<˩ aqe/FuEY1(Mer s]xKRu U%a [#( /jq ҌuO}bwj<hܹ!w4JD1ݚo yDIK9R#m:,,.ʄy$/sԦLQҰCs:A|4tv2^͙sͨ@u@15^+k oѐYkd0a#lKεhW)q'r}NV@JYС)y(|WuCs$TVp[Bz{o,`Klt3.}02'eg4zM5uvssw<(!Nh ̄JZBxszFPtMѻ.mz}g.c񷫔Wr0)B!d;bot}a5ϜWe*oGkcP8>PqX*&$a~ 1JUje+w"U_zt8]aFDO t^;?=TҵrD6VeQ6󷯎߄o؍/nCL /O:\nrEs;OT7,a66E݈AҎ1IAJ!{F| NQHƴUܜ㉠y;n׾.mt5ᛅvoh@P;u[/ A ;2o쓫k 3c}% ȥ;5o؂fj᧔݁٭\<᠉bGp󔞨p4bQ+_AZ3zUBa  rp!w2-h}ˆOlL#VL> <Gd W=qG>uZCwHQgfJ }X:0i55qeOX1$NL9l"y*|X}.]p vz_"1 ΞWT&Ѯ:t E:򌾽džގ#_m4 5)N(〬 fT>u҆^ɫ(3r= `ޣ܀8s64#"dc#H z9l~r f*ּ!N_BS{ld篟mv}ZD_Qf3!!*:DMas`MS^; PĻ!ZfjaZm-p_??4$ ~Tv̛ GJb#c]{FY zH c'15'n% !l!ٳnQIi/JthNP= e0f 9\f2sΑ,^[/^׹%Kq6"^xEd (n1^⻌͡Ϻ*Vs]Ph lVFy;JJ9/q2Fz(]L*U5"/kƒV"T,;rH\}~9'.i@mGy)+ aՊrz!1v캨r-L=Ԋ=lz}tCR&Vx$TXX 5mF\O\@dSEzz <=W WcJ0;|1~U[EP3TJF܎ה 4(epoq,C2/%mI_yݓ% jr:YEmx/my0ǚ+$Sw*r W?HHEoMU~'@G>3Tf >`m zq[<`zw-vT^%Ĕfq]-צEel6p g~*5fuЇW-[-9K,YƬ߽犌s8;_N!$ zS&> i-i!=MXDkGn8({t&:x/.nAYy#OM?(UF ɖ2JWo5.щJy C̍XIHR8mSѱ)_.7h ikh΍Eaug >cdp!m6Lѡ"eu;*W-:y(N`)YN{::RabwEUz߽eŒ!p[rx3l.H{`"ʼnFXMY~dg.$tƛ +h?)@aBEk9$g䪅\Z-^{)%?գZ\e8:T<>z>^XV>ЍKtuXNGmBz}~8ےQ)rաRWV y.<w%$g&%_zj)v'+ܤ! X /Yk@7LodUPmm: ¾``1/(E8 xMVzȣwe# O_u·5}3+b^/ȏݓ2 sqrNwl@hH ޓXS|#.& ׵:Ә1#xcte;*_e MB= eZF\ƞn98 -^~nfb!{Z2Yd^z}W Y\ΐJҲTTbg?y.`'OBk5@j9|-`Mگ Vl:?Ni z۾Otژ&P~D?B~4"gP=*TߋVoM15 DkA] 5ޘ;]B 8`RQ/ɳd|۲ۨs}Qߝsr5:6>!]Q+<>ʑOuɜFpOWqqù1HRP!"xT v"l5~aI-n,W {?=c'6x쫴?Fv|x7(#A`.ZM+ "d+֢p͚׽9Y3n{{;G YCm2gF%8 6凶71JӠLd9T5<bK\ʟA]ȗeo{Kk,쒎y/^0'k+Sp1xq⎂F,1.݇CsC )W#6f_vT1g4w0.t98׼!@cظG+&ʑV5UMU}9c@Su tLq)hu558Ygo|./A}-^"|٢uJ"w ?J7va :0R2HJI wn5]uОTRpi.{WG t!QVձJd'8p6EjkWD*a/1u35iv ifv~F\k[5*oIwSXpQe՜ `%} 2,ƣ;:LO&้5JU/p<;؃Yn' xR,UKsduDY;("ؼrw15/3f|oA9 EDNۡkLfΑt3ڱ 6kRg"'VH.kRV)(g-{xsu_GdP=U4NL!ƯkmιoONX.G!.GE-cM . TQ&R-94m6;O^C[6Q~<1l^HTJ-Q&WtV7fǜ,-#5l.!F7=r礅ܹ{Ya}2QŨcN·(L04u߿ "3͗olAP˖N.$ }؋~(]O ohxANSZmq=O%(*(dRsZ=p.(Mv nbn V,"Ko(N{Q2 qoŲqs=Åwa~d:|!FDQ<=km FţFnoM)5d8x.nu˭DT oh.\#⬑u`ˆPԙSMpNq\Q}|Okc !<8F,).w?$-߲ \.žZ)Jg/UrLw;,+7-*E=#`e<ڮ|w`V/%j *}qM?Т~ϧ̣U/O=[>fgfg5ZK2A6OY/|6j= ­{.p#rG^YlоqJ )sF>ޟ<>2ɒof`.Rg~ki *$LHLH@qtpz-:OՋLᵮEWwiɇ40',px=_ (4lCU3Ȓ`&-XJ;ȱm ??Rv9M/w}yˋ^3{o,Ȃ"m<޶`Zh)};y(!3 |dp"!Q:\{DZ<6gR.|K圪&.xhRˆΗ'O/*.)@4&[qoW6đă T<5hml&zĖGt8g['dQZ<ΤXo(tLsu&U-v;Q@ρx_D =^uf0e,&Ey.L[F1$XB+S>a)o6ˊ4 e;w!Thᬻy@Ev:.@kKY =3*p#Eh%9C: 3DjofP:@kNQ 6CHPxgʏ hix Xg%rd_`i>r;HhHLKH:-y|G+GlG.CVę4͇LJ؈q ^vqn ΁>%lRiJs']6ԵA>lI"K>"س_6ipxVgEZc1f 4CpQ|od >ONhV;nt;FE ^[ xgQ% ͕fK/*.gzXw\%$ ZvF$q@ap$Պ7מ;C6JNcas4|"ֈm}W]t&){SFaW床pubOF3 $uez"Wf΅ N#"tu9!jWfZ𝾲i({ 5"xGb&SPq)ѯP.~M4"ԥ3-o(`$ͷfËv Ȃtt[èSMZhޚX=u찮ʡz?@ϯ~uP4 0ϖoAy,˞MD\P"׀T@Uz.}fIQ;z:7o!lޣ9<)`U$)D7uT?Dg{HD-T>/x4?C^1grF g xVGh#DIö_uгv-3ƹ_0ڏe=Bc1bz&l,T׎j+t;E 9dزk:Jh9UTDyah%C}q!݂h\7[y\8w~67SjX5='Ri / gkB ٳ8A9{):~HoEa /X`_iD7Pw$`=qVLyD&[;g*wsd&a[O=ky< .MzRLtI/2AW]7 Iи\`ߙ̊V<清Jqu0Nl?`ʶoH0{̹<w%v,k``ם)B<6QjJdlâ7lh`*67~hY/`U+51;`hE`I4Av4XB !ԆdPP/dV. h 2ެ:O n$^#AIW~XSB8( (IfHpQ]-A>VŶ I Z'k~E*b1ˮYHbZ/fyKF hm8"-Q,}PJ+ Oȴ"u|{’'=Rʈ>RJC(>? \gkUzcV9L݀k%sx}dh[$1gVuSEFkNgX?O+)w ?[z\\S;ި/R\łTofKVHP2u3V(0Qg3  *=; s(I{ (eKRapr+/3HZ#cIj5kf{!M!}$ LcHԓpלS<+R*,WEMi2;d5$GƩIŐ((Ûvp/ !u|5f Ýcv/|r,(.Šl[&'ie,m{yU[W 4xM8tL';?އs_ExGQ;N+dBHR~h&EM (:[!I(q~` ;:0Ψ"G`&$N|w#3,FCgYZ0d09785abad370422c13a682f497015a449f05503cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 8ae7d4e6e2e779fb95ac84c17094ba06785f0b0e 1d876c6f69ea107d299f29e46b981de6a8754689 7c397e08ff9195d4efb3555c47f244fd5478ade2