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 ffb/|d44 ]% HOL-ODE-ARCH-COMP:threads=4elapsed=725.444cpu=1616.952gc=15.4007zXZִF! +k]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7X0='~\慜]e6xcˈ@@#8L72?*B')\\-k="B 3MR[!/?42{ &RiJbJH#P"eqZ=$|8%FZOdֹnnP4E~A\:ZM>Dd4XIeJaFWx+iKkfm;zs#r#cx좝UPR1C7ۓ9Tŷ{F}}|^aO=-PHx/x-q52(M[-%ʠb4<,gYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).e|\'7BHHqAX O,[s\IF}YZ7zXZִF! Ǒ]ŗXi%TYkņK= Zw0h&z\DoN6ը3(~=wT-UylCZgF_+9M~9ti&PZ(+cY^؃K(\AB{T " S~Q¸.? 'dqF!0JR&K @/_d){_S4("%$P}ziƅ*bpf q2t<> _O|rР\%r\Ss0%X8/O[PË9SQ+)@HS3=a@dd_j1 p*"!/3~yuD=k]#(׀IQqaJpi9w?dK\GZfz܊B.b/|7k[,s ۥkY2p OY@&M wBT"j&uyU[~%չ\푾%JQ߱OS+XmGsvTbe[ς*13!5oԙ"Z3$nYsj~ e1p-mɢϣ PPJ÷*&v񆁯t /4X2_5[VM(?ribqzqz{7=@vYM\Z-0 Jly{LԿ,K⨀V4;QIp? ;H 5' 1NM}3W[۲F5Y,x{V/ V24't(F&Dp| Mxc#]ZYQ΢5Ŀ삿N'Y\v1UR.Z݂ udz`,['0FyD\n &1]=~ް {c AϱiEBAǍF^wݧ%&.µD]9_x۾V8$V_(7+3Ot&.JegsS,b*r`]S9UlgL'(8 nߧmxl8hv %X"qKƊv!jNFoKs)Byv%S758Pj{L3<!-5d:nlF^PeS-qnGւW%|93eB0YI3eHS0#BJ<^\ku , ; &‘jT8Xh¶ ۅ)98 Ň_Pj!_oC ӥ6QXX(6s#JA6꜖:̊q\8;$= ƑZZX㎘{ƝYp4l/r 7>iRxI{lTjnfx")vCS\r:['%@}WF%D@{ ab>=sE!0}U};)9Ď=5WGM-uoBj7qTu)U)sivc.{_H%B%EZ,[1CxZؽ?7l{ljp9,ERorC'X8Cfo%]x窂n<>JO ) Z8m<|α`Rwl`H N=e,lUWխ63a`zDq%-\[380}ݏ-!k>wLȁq(6sNUnٕi0 ۈxCZ*$񸃼=# y$orOyeQ[YOt#&i`]0mn(QqӃtIN焺Ipf?obCU֛rl{߽blBu m>wXP'aƝ*xd;xLk+pMy?,/q3BaLHKy"†箽>}ݹ,d/Q*Mہ\{WuUOeGiRm$S8C8X AϱtҁOO-&bD Ǵfgj|=Z1{W+weu丫}/mzQlq^O!iUΫkЛe_bZ +5:,wZXiU)v_1^a4Z-zMU1 ;Y&#hz*H"XDM᭍s!GJ ^aZ?ѱPz $dPZC6TjpO5qZk@KYp^b}ꌸHELҁz` IҠ|]M P#nx+/*Ty6ya{)C[,Rk\OGPB /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 2A݌k G'SCGQ ˠS֥DdwMlz6:tmq^hz;emU T9#0^\$Uo}/3y"T_j=Ѣh&eJc}#g*,HdWKn-)ȳo>f5Z>NjncTs'!$c+;oUm _Ҧ `љG-Oi$.VZGe˰V{>O6msWukKYjR9)v;ٰml"PbF`4r2"#"/:oa& ^.;Ԅ9\| " N Ycf>~YJw pY9yZTrgN& t N1Ev}B#_+bhTp#Nw$%zϾ>lgV@'')LL(ݙMǗ}Ys܊oZ1y׿|ց|~ `ԔNHLe֯j#䍡 $us:6( r4[p8D#@\([fÚ̡sU?+3d%(<wަڹw>+9 # uR&4Urt?"f~~-707VE=fFY+0VRv_^|*ћfš(-MVKh#6{c4*6C0{~nXRNi+sO*VRRj3:@eqӑlKW;iTqB!!i<Ԗ-sF4<~jzN7ƽTupێ` =xio~`o='xJQ;jh=.5>!(8[Ok?c5v`51lO|Rh=FZ5ޠ8&O}g2,m~ǟ!.kFY`͛Q~OiD=MQ^:й:{*O嶺d@;'p0YN}%`yfP /c,q ;4BVi:di<_ՇAw,c9$(n`3tépt0IϷCȵj*2T(!b{_fr?TuuF wVOe -i8˨]}*}|U [P>W5gߡG;ceuz(H4o[/cb\Y Ăi֧֔7f)nFL,u0՘LV2cg0=>W^nj7 l}"| 9z.;1<(7xbT4plEI (a”7r) `~|Әz5mq_z#̬-f*+URBEyD֜-H[C>޹'@Gu8e_ps[Q0Ax ~DC N[rKrzI`Js޷3pELDDgK1d߇9Y['X~\vuBhdTݫyUn%) $wʵMj.#@._SB 67֓oueӓH|= n jpzYi$gHiTj@xr˜M`͛9G?'0^٤hÍ`P},-Ww+yӵ|NMA]P#A9jga@/kZM?%V8ёNzoSq)%\X$g{7TOt?>sKp)m2S-W$.k9$p&TD'b),s%Z[ ^&+G%i3枼TVAD>~efr k׺bfp h1Oe&+y"=^xHq06ZM<f8¡{XZZ{&DO+lӿ#]i{ď/u I 2Kꧪ>pkk!ɣdaUG4-I"k7_XB0Ӹsbex|j]E=;vq]`r+ dnʸn܃3wR܊C$oh, ;sG}A,)ZaH%U?Wb .ꡲ!PDqJVt䚥9DAf:E_xMFcrd$?avT޽t Mdliz Y}^=s9vhǘ G񏽮AP͒2vW]W|žr-yNMaCȰT=^2RʕC8$oqQjϧ; duݨ83B|]HE/*)>C|ϧ /u}ȽQ%@N$(֙e<6Zk(rk0m& z)0F' L8,p ͘<;3A8 FPqr{QÑo,>y?ehy*`BhPJ`W"gw/Oau"X K皠X"Y "fKR\d # ن9Q5[^IWm VE2.+d\Q62f:Lh{'77mW~B+)Pd9G#zlem\ [żĸf{ao2vN=Aha+QM!"ׁj(%'ijLc~d]NhO 7V$[U1rr̴&R m餧 o'їxTDuCdp? ib5AH-X|?mw5ϖgahwdqsoB!Ƕq0#dc?-gx-!}!1 'hErW "Eʀ"~.BRk{vV|uBe~2dt ^cV~)s/yd UyIa"ȷ0[>%0Gd80P]Bdž#‚Rfl|GYX`EmΘm VQ*[`a'?pvNiTsF{>I.XƷ$/`pHſKbmͱ<\Ez5\;hUJ)<|X 9V *Ω SQ |AuԿ7tM MOSspIG rfhl4:JK[\9%A2a#F 4}jQ aZcOj KJ&/'ԹN#LҒAXh.B2^{]ӆ̶IQwY Ȝ7{)*rӈx [Oˣ}dD~=6Ny,|gRE }pQFA,"J>3a(ȻI)}uR7Yj2ޑIDw,|Y![zp:Ҧg`ZT Dg0=~K9 O~`I!j2 zB-:W.&Hs[Z1^l.?ےrUVq"9US\xky"Z $1?` G/mp} -.^-UU!4tHDo^â$t-vwȗϵ)A`].fX=A,#m>`ug"G s/A-Ģ>8X$`!.][>HpFnxZLq ѳ!LRDBtӖ]gq ͟ȡH0Qޝ:l܇6.Mh88zOq:?HT:#EJ-,M(%3fhO8-WL(1szpKjpayoD me433j~jo@z^5u\R^~'T>?Tky)ɀx ڮ'Զw˨JBMtLă:gMCQø^aɑ_s9׃d` l* 9nUx;@H}Li u{,k `IJ&Y¾s;$ >v[x|4G O*ü qqح")k(&ih}.瓔.֣tb8DT@]=pZ+ `KkF>O|ʋ#LJ_̻ U[`fG ?*kT |ŀ><@]k\s^nv+ Г| ʂuJ+$aOg,tz|o]yH # j4mFv5`5Gy0Ox,nub.oj>^Ƚ"6LZC_R8톈^m&d|!\*#^Ub>@WS\]b-!)>;hWO:i 1nzo4{c&5f Q\Pe_gO # sVi5̽S!HT_·{Сy 8\Ue] .0Ẑ-DEw .&T*0tur4IȚWBLL,qcd/Ops`9zӥwJͿ[,dO巽$q5SM QQ* ,@'LVk 1ZRUg:9n|]dܞ3C2|*a fBV .4O^vrB{SCc&MK[QZLLJ.f/v1LM9ک>q |Hk?A8I.ޏ< ^?(T0e?,Z`=#_3|/@kKTA yĄ* 5e|6oͩrs_(ȋ~8cL(iӪ, rRdk*Gӯq-h2K;P';o%~ቁ-z+_T(;PrI=}|a"ճLn?/PX$~~xkZ]o"v ۦ/9Up~dsҹ^Jk2O @qmJIJ̫@_MA"sr|;%47\iqQ;|H|Gc! P<"5<*.q֟G:*0>x{ݨ$F\rS3(a0x]`p4H,(Mhb6BNϜ+i"s9fQ݂D/nJ^J~#p,fP?BH5܈SAp;@[qg9TV^kbQfy,l%]PJT"v[hn[>mB(=@̀x)c$n\TC%7-jE._BW_Sq&jHp*ip+sm\<>PMb :4(I|1P6]x.jeը\Ĥ\C;&y؃×yXiڠf6}"^m86(#"aqX';Ɂ.lb`Kz^Z_ɗ UE2b.&#VD屁t}i(=%~W N^cK4gcv5ۻdM.}jۼrOOD"i=ϩ"mp{Eߑj ɅAݒ`>QqK"_6bo'q nc+$٦{J5t(qII2}J4қݻ3ΛZ N+is,;r7&@\_GUwulmkĚt#v䈠<)B!ՎVSH ND*NfDnn.QP0Qfe(?%\ ПFjz~sBQH Zp`g)p{[gmU_ !1s0OngH2꺚rt/H`MU|hGPfUf%y摶`06u@{Vm>FBr7IWVdBS')r9ȘP;Amϓξ9b^{M:HPWauVR,r??tpP!¯iRԤրjh/盁xt6>%10[&E'M+β<@ۺsҨwka ) Oַ/<,O |׸^ GhnPjH¬ܤh*:p4../K( ?G:%Wn4جlDA)R(0 )HF2zd3g $sq K\`#HS?^ƘtQͧHWfٖd3V&Xf2&8" J!y{MxW*{rޢ f{|M;7"h>/Y@W%Xy%wJ[n{'@I\1^!HjΊcNZVz3(1{W\^E2 $ȕ I2XSҢz;CiripV&5SL"y ʤc;Û D64+vCĹ3^P^v$b?ͅڂ:a)1{X2*$IA؏TR%ǑlT}y.H3Li2hw0!JPcSQ-cim1͸ xz[~tV&o^KpI,>&!Cs^d s*b:ycK{_UVK QS ęB$;c-ܧ?OLTF4X#c;g7肴o)H o i-ԓt=UD!NAY?bMW&c)Bnx#s7z]>+UB B9#8"Y`~7S(K$Dr{>?e|f=nM:]խBYAC9 ",F춞*J YVOiRIX@2A0BzbA4SBz/O^Q@xk3[͢=ꊊv_(#DzY<|/lY9QSZkA)=ZmRT@2~跬&Jw:A#xɬCMC[~TS-0,t.\5t?*wT&S@sHwx؛xNL7Qϣh|z@؞7! ܐe~ܟs_|77pb @X@#Aa6G%9Y-lA]w +u[c|2+v?# o..Jb\HuO = IK[S"Ϳ`j饫f+}b}tt <v8o\07M?o4O9W}z\%@儝L9m' 7%'z#b?Ծ9$7ror. D5@u\ߠhYη5:lZ(<K\Y'9wD{őȑhd%+)k{vyf%πI)PGM IzR\Kip mt KԿ ޫb%-sװG"yPZF죬s{lAS 52xItھKm7Bܪ}Qzw1u(>$ ٓvogrcdAD:t7dtdF6C9J|4)iDlĹU)7I}9TpV?LT$[I ЍZlWwjQ!W3{ʓ3l3=x- qtK=֤rf RXѽhE^]ڜ%qbꆀz{ -'_3D`5$IM]R1ЗֱLX"_OۢvwZ٤eWAͅwg.(duLSpv?9"۵YaZỤxL&]/T\߀j2(-EtS%yv#4To,/yo2(pѪr80yFVȑS[J^ΘւhNߧ Ő~?ؒ&XE?_4zS8:S=K3zhk6eơ:*\-/DHqS1-FǮ}OWgʍawpX9P?^ wf! "6̪_9 (7x\ w1 vYqK˹my q ApdR6 mYd'L3v j߶H/5%<߿5Eg=v]yJ sύ^4+OEE%7IIt(*rK/"IE?*(^UG~_2[_|6W])韏&TɭMs^͘[U od %*}W{r7J]19OGŨ9#^Uy55./61>K)6K1^<*j;ܙv>jNWy^>X,1z#m{XEkOTi,W.:`C B2TyX{l,> h/ȭw]?Ʌ@Ps%-yz-vAXMO+: kd V*YWRzw⻠"M;ig&(m{h&񛒗+?OY&m^#`җ9y0k7#fG>} g[GTpsb" Xb- ހ6ΞQ/ktB&(2;m }=Wa}5Zݑ0+ |S:yґF@ eroAґ-4 gWv d@*j,-c\C M d)7krkcKZo[E 'GC-LP AOfS@m0e! ldDݢNw[5$Lu/z6 =?Hipx^ r<ɹNK&5]sӤS r'Zl- maöF29]aMØ|z+Py?CL%RvP&#U\l=4ai,#, 뼣'/.Og{Њ gI#%pʁoxw[}cJ^2G(pþ;u;ފҼ[$1|S(\q/_PM,s}{ ׋)Tosb*UFI89PGisAIǬp8v'1 _$Q c/o .jl]Snci}ٰB Rُw#9Ko}NkƖ6_!l LF UFi0'$THy(u~.hN%˘5VÏ6Uwyx+uOչ% VMDGr4<[!Ϲ VޅmI /S% s;#VLZFnCʙ*]K%8dU-V`㢮.pg񅂾i(UvsM4(G)>^Ęl.Ҷ6{Tu8hcEA* [VQyބK֩ӶN嶁lJ= s[į Z: ml"XCa5\[a A=Hp*_.e zmcI%4.Z9бѨb#>pC{~Wv^y"_i5X:)ߕI j:dw-KkAc,\[oGΗZr'ŖVٽ,G0?T%@4 i^dEF)ƅy|?`,w$5f/KLn f32I^&߱d`4g09s APِWQ_Z!?W~Dmni twps[/ezdB1 B=E-\?~f"Hc߱a N Dp9uĘNXZdWS0[y*2j9^+U[Ÿq#$bFtHtnߴ')8o=\5tMm2mOfƉbX O gߎYn$Bˤeҟ[ymtli?BU_^#0Xn+Pg^GLYJ)ފ߹? dbk:L V Y*w=»YWvT~}ʭ}0FʞxXs778=I8#05kWI e9$ҥJ|yoz<` #+'Lav,6aΙ.Is86"a=&wmBq˼Bf/?I-yL纊4vrޯ(6{UIu* Xbn9W_/ޑ\+"#Y 3$g I<$KbFIajLmF}TS95H]&|tV䮄A9(4$sGh&: $EC̛cML;g+)?(:VM/q7ju|?;9V1zb«_<9Sӗd%Nt0 iԼҐp0H#mq#ڣ]}=ir3@\0yT=R`'ͣe[#:IH;XS$~Wv A"f?|4=,WȐk]؏spLjPirQ%vSVUQ ]Qn{^eyuSOC9"u'hҸl̪ 0%rRHn|F󩿆==$vbx/R%2S\Z|z;-fնRBuyC6&oz`9yK!b>CK%{+xFr$w?\Na:jER*^Gjp`Uּ|3 k ?$ybzdj(iXsf(뺎.w3pG :Ԉg֌%7΀rQ%TQwvo+9g01`qX|ƻUn%>&-^;of?L>q9 +'?z[Ow`{#.\pk: áJuB7ƈ(P[wɨyѦJt#)%i#x$=&CԟTAZװ$ܬ}DnMF -L_AOl~%w|1oȐ3xFB'Q)S˫)8T`WJ6rkhݱcPCdi N Rm]p"} ]N`W#P2dsyT Dt ?OGYݲQw&\wnY$ca&Em}T a_'Jn O(KgHc_CT0檻'oL/hBVI&޾6Eʃt4'HaD.9:~ AQyUʞn)MPg GD|;F]ى1 }cx_,'xKG0m (|?R}B.r/N|*9dgBiYO`:e4gQwVkL-@-P>^:N0apbZ1H*c'\,]XP j?P@-tHǧ.!yYRӉ+݉m. .C~CL&DmyvھSqFS$L)asz\{Ըd]0 'M̛;wTm;Dc[ 6ՑF hEeiZznE!nwA]EHd(ɻA?T?ֻS9k=ݜGZ)d"vwtD5!ɚ51 2=j8=Ґ_ fJP1'Z * tnDM9&!DUrC&@E/ym`BG}_blpW ,Y.+J}_MCaһѼC/>%yjB\.W̋i/V?5S*M+aG {Q"vKKZvñ_Kыcb܆AEӔ=M}o h]. AATzM%smyYw%c,zJJ@J+FnVKfgA 1s,kaL2azwQn/=(B$k"u+K XE5To.TgJQ^e dqP2&>#)a*ŅX(wQL̵.H OM]4dxFK->x[!_Zr }GHxθV, KH]KcM oC dOJp[a~ o84Қ,>H+{C8B ͵ƑXx2Γ+rjA 2z }@pGLuadC \MVc# Z(ug Y*}MX[L$1ry,vs1X dɉ3qXGEJu;}]9ԺhTekq=Ϧ)s8SoAX= BQ>n;SwwV S.џT=:*>(!P飐Nƛ2#0k-4lFꁳƐR#a)[չ[ }A׉F[2erlnˏr7T'Kvu #E K{Ƿef\ۇn"uXP7Rm3^^ڸ#z`RNY][YBI/sN(bWWP4WOqFwhUUZ`j$̛}1Q}_r<ޘ7#uHܹnڐ/>[?_ys{!敲U{)oG#q'fnpUBjWɻO;Gd>17hZ)G2q|->[:*J^IJ0%l\pi$ ?d*t\c/{lo&>QiI[1Km7 9(,Ly?eNvo]pӹi wS=S.5ʡj dC.>9Z0MV&}`]:K?s Ui8eQ![ES޾+de!v#;xuz?o '78#e,_}FmEK,Y^d\胶o _ XP*:S7 ^"A  ˄)H>p/A7dYAtv4Z%ɧ M*VN_&O=0;G fFQM)3{k"L?_J v0k Bnk"FKXKr@>Z\8i'"5ړq)gU!8waW1|3HQeLVY|R~ƷX\p|=, 4v(hc^gO߷T,s  _ >]ʈĄ%P1]q1(v2ޑ~kѫZ\"+?47v ;3tj=|ȍLC]nዐTo]o0N*[nllPnÞ?{qu-'?W(Euk?jKƭh,1[3uep]~N\DD8 WT?LjFUX7㴼p V2 {uoj`4d^j^=t=+,)%{yj6(+%pM!U󒩱Ԍ2'![vt}wEÜx@KT7 Qc\Aq>F3#7g_Zmp6B7!iF&N+S:ap&[Y@ԘFZe%<^B\WKC_e4@~lêͲۺFz]B7cSx&Rev»#5-r3V/v|%)sa}/ly\9$̫h%Tmsh0 Bpo_tXE%Q F҄B*"uAq/,&hs&ߞ/bE(;r|Ch,u u ׵Ǚ-{†ܩca`{^i2"h>&m/thWW=?i,ôr |!b"*:|V|AD1!Tm"2Ck5$?;ju7rL[w7P˦ZU{b|Id+%-gz-߼)^u}{q|/0**̲Rp,ʌxPYcGik^Ym CS]MxUo+~6AVOx+ X2y(Z jn Hp6Q4!]gۀ3y.rL+ tP%L3^Fti\Jbʵ} ^*WUw>HϽ3b`5VS[` kV2>Ĵ2:{$ydGҲ2of~z Yh,H{P@mmSv}W~h;P1cO-{ݦrb,Gё1]~H:G{k]Go) {PK#nZs ݧ8^tӮIt_/q:Yn N08*R?KJ]f˘a\^.\BaK$،f/h*yv>$c-йv,?z~i  >k@0c׳/p/:-u`nPISTgp ض,1䛏dž}A,֛Qyj@foE)N޸2<I$&mJ`:xS7 䟘ڴ)[VL KtXM2SL$_ͤ&x.Qm5m3)pҒ.Ns YI03%,BY`Ӊy^v0c+XlO:7ҽ8AKgYZ  Q /U# HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPPIDE/markup7zXZִF! XT]:F.o,?^>qnGւW%|93eB0YI3eHS0#BJ<^\ku , ; &‘jT8Xh¶ ۅ)98 Ň_Pj!_oC ӥ6QXX(6s#JA6꜖:̊q\8;$= ƑZZX㎘{ƝYp4l/r 7>iRxI{lTjnfx")vCS\r:['%@}WF%D@{ ab>=sE!0}U};)9Ď=5WGM-uoBj7qTu)U)sivc.{_H%B%EZ,[1CxZؽ?7l{ljp9,ERorC'X8Cfo%]x窂n<>JO ) Z8m<|α`Rwl`H N=e,lUWխ63a`zDq%-\[380}ݏ-!k>wLȁq(6sNUnٕi0 ۈxCZ*$񸃼=# y$orOyeQ[YOt#&i`]0mn(QqӃtIN焺Ipf?obCU֛rl{߽blBu m>wXP'aƝ*xd;xLk+pMy?,/q3BaLHKy"†箽>}ݹ,d/Q*Mہ\{WuUOeGiRm$S8C8X AϱtҁOO-&bD Ǵfgj|=Z1{W+weu丫}/mzQlq^O!iUΫkЛe_bZ +5:,wZXiU)v_1^a4Z-zMU1 ;Y&#hz*H"XDM᭍s!GJ ^aZ?ѱPz $dPZC6TjpO5qZk@KYp^b}ꌸHELҁz` IҠ|]M P#nx+/*Ty6ya{)C[,Rk\OGPB /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' _ 5-ƼQYEgS;2t)KD$'1 Qn'+nᨴrd2Mqexπs?w%/uG{(mdv⾍7i𷏸ṱoIJY ]V&;DVci䌡ILvaʧuS٧eYu&pؔhZ>? Hpe'en;/soK22HCJUa w4֠:qeɻSbʢڠ1E6MV(fTVϛz$lR4nADx/שU,!-}n཰(2GCMuf5`jXB >^NGhophGN}/CW2BUͿ plzhh&LHp10Zz8?t6nց2w1^M{CT"͆$PGo祮wGϻjg ٫n+9Pu*9Bab/.9E*Q=>.W\Ĺ, `39hqcUqL[wG {&r,6T.H_gA|.Gog@D{4̍Wq+9.R0:c3W4$"s{rAUo ?1RB.r ]ΗAS*y0JxR!̀(êgh lzgi`R.FJ>WPz"JqJJ RyH<iDDʷ~9a.wεmloy]8U~аp"a }za`d e쪼x <*ek #~׬Ҫ^5t =lLDMWnEz %<.*ZnE<ýBqnK#P6;_[{#^T򓰲AMO4GEEwK bh:eaT/qd ś>>aLGz?pl36/s`9Ru'w+szKe󌍬^TzMYU]w2 0w) ɐҒ7?||AaiR{(U7<=^cIӂBT.]Z ~M]R8R1UO EZ.\[]77BgK8ҙĝd);2~++A ^Rbԝrbf2HV=$no5y0 Ó941 ;P):Z)ϸIuӛ<ؔ!3/b;nn3Y]70g7 ⿖>@$ D"Ņ~[?Ya7@!tuUbDW_esZd|x]p$A9R]C^3ke*~CJ $vs >hԬd'[p~\eQtL;tlk&)Fty8mArU% u>WζL$iB r#G[H࿗Ola[Ѷ msE%%cgL1t/J!P\&;4Uq\.U2CFx;>*AMmݚ3, ELW+7n*ҕ> U#|'IuZaٻv<\XD@ڿn?bEQM"T裴!nUD&"ծgbdsvI,C+jxl}p Dl_MlW t(}hԇ Xf~ĶqdUԞ9LHm *e)s`@7^5_ \ cTRR4疏234?PX5Lt1 <'۲m+'@O f-a!WTKDQ?{؟ms:)N4J/[!Í & *A^J=Yeԥ^W_ > ,_2 .Km4=MB)\h@+)2s羌(|`}QpNn4w]\߻<矣XY;ȯW Nޥ #vۂBYvhr?@z=BL{W~r >&3//)9pN\;ڣ& }1AYETمhQ*_cᴊ" r)1کx) QU%d)CwF|般EOOgnTL3N-HQ77WLX, Hg,7 ^I=ܳv WJ9Y265+qu:>8h#zĦ+`hJ75<},":ϋbhg3*J0žbj&EBxM9l@ʹ{_QGHkFYո?6Ů3;(Ħw\Y6SӷDP&gSej/ri+N(8)(k`[Ã'3UZ+ ~&E_yM۵EIf`(gQ߷BHo #G":L?)K:/Zp_-Dx‚g7Rt:_1ze_YC0#q–1rȋTumU]5}aU-iAjR]5eagotq=UM qf s66z:VV(1֕䗷-QW=fymv#_]fGZEjkZKV"|Vt]Qqג++d?~J d«JA"rW5S>6 5>EKBbߥw~kCoZF)|iqJĂ4IT8Dc?N"aBw шץC_wA _e55$w$ٺg*3jVg^O}QFqgX@Hf<:ou`f@[)b>ocyɜSfۅͪcZA98]1C~P]>aW6 ZKbDЎإn(`š ײ+6n] ViWӖЩ0 s&A#WMmKn c9WK p^!>N %]tUeئȐHojT.E,*/>+XH-և$RCѮ%>ۨ~eIpׂɲ׻P`{0Q7yFOxOԷ^cP Qn-YQĬu(WUu Jehh,3rAj-iVCQUw*i6H2CFKĂF/5o}f AR|F ;-9{yxCQJcftɳ,=lj5hF?O=)}fE-><1 ժo-ZJoem_|y/X1w"_׆h"<vBF.J: *.8 T"1⑉)GٽHm|fQ F>D}ox=OoR"+\[\Xӊ3͖͆%LZj{dXwOu%([tʐpw}'k53Q2h8\RNYKgd+A`։do(rd }mmt]D%˱,YaYnZa).e[xo,.^S^+MK +,ۆn7rҚ5Ʌ['Q/X?(z ֒FB:Upk|tq&)Łk5,%Ӂ'O1ΔOKer[Zc7 pn}L*6*flY̾Tڀz,NA qoW Z=Lf%{1lDK眊+.sW Zˌr%E3[d{f\uTK_EJһ-zg 4InuB&VQF`Es PXQ$Gt+%`I(U䴐F֑<jΜ\NVY|TmU l0q_zݱkWK$VЃV 6z8xe:FgvaZvaA[h7#v6}1ÐVhhLԧ<7_Z4}: ŪOs4Ƈc"H}k4܅<WDs;OA ݳOT-JX^ӟX,*Q8ס^Z6"{@2cY+#,xz5VmDdt_@^P'땀XgjCCrܖ&4nHdӄdT$2 Zb:A `~t Pf5- k%X0ʙMʂqk8 xtݒ/!R6n޼2Ԋu.WűvuLHy2@ gBuӏY^!F(i ;#=]Es{=wW:;4v—Fq>rL2w 7w}4JG 5 lT>rz3{ 8'FFƅ LYb'ʿ++J V Qr!  d0NBįj`앉:o6zdvɁkV5;w,13cE'jQ^,ڡ >سq__Xk-_Y+RS[{Of= ~H>2jq|15wi,{ܐ"( 󥚛7]agZ'9DqD.3Js> q~-pzy0j?1/͚ rͻ!2!LI٩L>yCB( CosѣʆѧN&Z9@07J]B-`wwoo!RC5Vx%3{UbT!r-Tf_dCA[Fdz76$.[V_73T[ی7CHvmRS[%|єY*] ZAo{HNhg\ؐpA3N^ojiz3es,[d%^/O#'}~52,ucKb1lRuI)>P "v-pP[ɕHB.а![{,dx|7pWwGեn[\ (ݜDB =z $Y 8݉>GF9~1)E)j؂ѯ?G}[@KR&XCFO^ux My]~-wF$_\zuW=SJe.MtG|2zXCf kJ$כ'>6Uܟ2%NI˶(@OLvbBWFQ r)ꦩT ,-?^b(q zSpGx~/Z!F'|6rF`0_:Rw|τ W#oLuzGNy {w{3"^@ 8a;Gʼn.CMñ]U Ǹy- tTßLS)F]MSċa!5>+eYpR 5N.|ZKuOPe'9ZL_YhPX.mv vݧpmRk8sXT@Z1v[m5U\CWESxߔ }w }4Fl3ɻIc;4+N44،/gHY>n=r RM;O_y7/n/P.HKڔ)hj*/Ym. +V_Eyi&E[RJ޽#L.q׳ɞ&?u0"-]t&hTuS3J/GN3 φFy6Kٺm8DzVFA "V!4exO]'LfuĠ02XF7C>8IkKB[{5lx2X#?}K؇ fd,W3ĵN?0X,z` tWx}aĥn)ƥTLcdŻ>&:B b7ii;ƘQܼinտ:#3̃4{".GhB*^yO^}h ǂ~tB qh?޸OVZ^t K.e㬛|-gO1NMCzpO3Ѿ9dg9,jSSTanԍbMӶEo޺+:>eɱ/Y?ץaM?c>FQP׬eYA&S}\n$%^ e!{ 8 M];1҃Ym܈sMęLA3Ą }t (ݎ}\&,dO:L 9w9+J\=LLߞBJYfmKI5V9Ai8tgzVҚY.0rԱ Ir=:*]\I3ީX;6wl׆yڐN:Ou|ri0"(Ϋ>NH*+٣:=ڡ c$p#fe pU?n|J y3j˕a}nt彻Y R[zC|д4vjX9M./B"[t3`"~[1$ ǽ}AAߥ_뮯C͵, |&\뚦j_t$oF4F'"!;.0JE9J~Z];Z $d"\z![4nqX#oV0W!@~¿#`@rx̌NZR!y[ > =Ms/!r_e]_hM+AKFp3#DKC[׀z"gߩ?730 $ԞKAWoxDt(F}'HT(#pr~lhx3jKKXHuNi=*6m9dpm$OcQٛqgi[A,(݁4wGÆ"\`縔ߋG~Έ\m( ; DȞ0ܯ3 G{ᱱ2ψ};q:{z JrJO빉\C >kǡێ !؆3E צf". axZ0'>9̃4JÊeQbIqhMt"L/ܑP^"}w1S*% G\Z43jHIpnUgwE R`ܦAx cZe9뙠%ʧW[X$hoO hΰ ~{ieSE5L|q>rV9(ER#҉*r)@<@Ӡ[^1'd-j"d?>1++#X mҭ ң]+>T"pح F6cfjqr^:\SW6>g>PSCzADM@DorJl۶Cf-TC gJjhxU@KIjh4)~__|nu㽍x_hW`G_#1L:GǢ 9>Ox/$^!-GH⛝΃7fgbT⤒EUѢ=Aj߈T3Vk p=oóT!(SbuIбRߟ +M ˵s YJ'wH X] 9y @TBʻ~rG0wH+vlҬ5+cH^;~ (*`s',[yE?.Ś8TZB̖z}%9z_ *&HԹFtA/s_b*f+TbIB!]㒘?+iw+7>1!ӸfĽ^(rl!^>˝XG˦V,xj O݀膋E[%!S n8’ wsb:2lv)YXRC>Pb_hW@ڕK rFEaI*ӭgÉs8I3XkLj/rP;>^fC=й%LPoŸ P,:2̕!(vСap! /MG3rizulb֖nn9z?cBC;Z L+Ox kuڻ)`])pdnUj&]]VP vJr߃xxk`:mQ$l㷋wFoQq}DI1MmW} %AkfA#VР.'CDYs+Pe% Λ(-ښ7,3B; X8qGp>fOvWaُ п_*Y̍Tg->܂{]y8WTtw:5OíM`a.):\_~g<ØO=7XƸq1ŭ0ELLW_D ZfoDho G笩]d3r%ӟ!|#\J;iNi*jD -+徏3u&!Sq.i(gDȐ@b#ӄ.SSXbrJ9W~5+--h'$NOn'2 &A-%>8!j  vM%~vg&\+(hLOԵ'=Uf~"ySn@doχ vhɄ Bɏ0{zU%[ڔZEg Nƕ|PioʕiwjjX/7B!K@9Z%kqߙl|i2=Rr̼/(e  [wc=~P33 5+vDCӊ1)KHG_| oN !4:]!Nç@(_75>MԲyC@z\@؄x_#ߔf27|z0dR)he wWl6Ve(5^ }&}T.h#)%7§OPH?b̴8iMACp(tFS:!ut#wF R^+?5 bX,NVQUy* sؖW9k11?Mƞ-,.aU%6aU?AP In3u) 7ߌM%v Xr\d@id!M><"=x2T)vZaЃ θv,|r-aXgSBQv-{YURƫ$r]Pa [{Dxm,jLP3[+?xVv* '{2]5QT mjkL %N0g ʪeio- &5I=h@ؗlRNE`iC3p I!-~A[=b'%p|KS7!7eM?ce %g#̴@Wxv|@:eKEM+ql3]J'Jѕ(@1B=[ڻ?oޯ \_S0?fI 5n m's)VJZ2)KͮH"WBLh5w^.|Iî&it["{ƃϚ.gSUt(7T\좪xzHafhF . ĩbb=s,WDIŲC# 3Tkηom6!Ԟ?'ߕ8!WS+?G(LQ`*-ײ~|`7'n674!,aDv 6 ɸ(}?a5Bb9K1#yZH6iv9y 9h؏* ve5:\CJ10p)h')^5H]2/֘+hz(!+0=0#AD(2p)x uq?d+>4ѦbqFSmT%e4UPe!"d'*SsKpk| ]**~ެϽVscIʂOQ.0.W[Ҭ`qTTM/!\XkY 2<Ͽ"'<͘5x_<+jkxYO<֎1h7UUwq0w&6©AZ14'; +?z{]qZv hɤZyrK a0U-&Z08K~ [y.$*kPwzesP/ނa$_$l WT7=u`#\_OlšTB4 D= > \(zupyc &#Y 7o~EyDWKvOz/f p D3ӂ]'\:&A: E3F~PsnAJcLlxpp5^ QAdpᵈ:I{l!UvUșM{mfx 6{$*ftih会9yK{4_.~b%sE}ai{>׼b@w>` (`'+_\&aSkx:ubn56GJdvqr0'XɖqxĬ(Q>KsD>W|f^~f޶jWe+/GT-0[FA=z\?,74x[jˈ8"&mT1CuZMJho\`]w.}n SOP F)%۷S:9 ܨ>ل8 /MԁdGtWJzFGәBFbPS.ɹDlpXkV}hdCG>U}H1=H`S;ֿKՑl~r*G,ɫ/0 Q<(@"PLµ o糜V2Wm]9.82ugvx 3.WbX\T*npؚQRwiD|%Ⱦc[lG򙧱t_h9*B8S!Q3߯a{J^w~FAƞ[vJ^k n?2C=]e Ⅿ{p2 B6a$ZY0, 8164F] c2l<m 7UԆ\i#4ȬchqOLXrjHsuCKc`rk"wPSa?iuη&\ ۠To82/B` ݚbC_oʑ 6F6X$EoDwהI*g?\{y-n))/B7#8=/~5@||IWX1މ6YEMRn+U}Ѳoٖc!)&B07h(2Cc7_nLm@-㗓iԢVRWo}ARo^tu$єU-52Uht_ra諼=3؃~FqX}s5ׂH⣷$ӎ~u#ШP6*|/J?gFFD ƯjSh6\4&Y`D EAc:QdWu%)w<蚥5Ofr2S!1].Jq޾][{C]7cxXtVVUU%vVolWig173O&Or$ :}:#z_ށ3?%ZҽAnHM#%6l؄f}K ϗY<\9Tb}>S.4UD I<_HC'y0 tśi 0ߩhO_ 2=zbFX&*+w\L!Sc@ze")5Ӏ}s!]@~ƾRyl`~M  Fn0z^6 RT$Q&fk5G~Y4˾_:܋ۭ'BI%!%9G}%!z4wv&J1ku>,N2> R뿌K{!8de)Ox-*h r_ xNb('bi@ҞKyh҆8R׶[huT15!vH)ySSF:i6$ȼxx 7Se456i%+H yjew h|>zb5 kSh8RW_5yĖJ\IʗHK@lz eSJ* L.ݙoU[c{S@bE(bWǎ)2]SG W4ysϦn-/SG6^10}ظ7 jdpS"<EWT/Ӗ?@Ǽ.u:BbW3u,_m#[?%MkP Q"xr;Q N?^,T3a'~ܫ>~fs mLeCM^\Q#+q; ]&QQ5Zn v0PA*zp9vXЀ,yBpnpjg5˦ )`7jM_`v)/GDǜbOƆ:( |E}' * `4N RXjafbDlH ~IIGb'*XGljDDͯE}y.TeiVѠ@8?ueXWȞ9& H4 fqa^̪q|iשB5Ժ+{yC_-/U:4q۴T:o'TR\ꡖ?!z0x%ֆs|m*p㵳*h 4xr.*ωR[@1[ d vHEKBq_kXR}ܾ')cTΜEv6/OR_g`De/Zt)\RB2#@~[O,D6l($2_gGB[d׷ ^w-m:2(lnm.?[L;"Á ⢢. UIO&GEwU>BHL$)'Nq!$|RrtԵ˗ TN\1!Ct hR5{xJ~wl&Rӹ EaнS܋+Ckۏs#4=r)v~a?g"'GK(ڎU8.?X9:шgN|#+3{>eSoghq!,&A~wPU[Ō0؟úAHg"8Kb,mY4j&6\%[F.hX~ΑU39m:~8=}3\Zɪ*ky6oj >,zfBѪN¼q~A)D0n; +R[StٲR 5Q<<#c :(oxgA~`#S:Ynh2Ja[OݱtyjJPU@۰ I<iYhƗWQ _&?i-9c X7YuOYJGVE͘El I[U!iڨRwuqeܹdMMf7z>t5kd ໔ vV#2N3Qz(O_旗nH%dFcovM\U/A(MPhY׺ #Lra-Fߕ!e+ԬK zh+h=/ }bJHcM/*b|x?ޭ9o*mq.tof)Xx t|&q˟)!<$[tk 3xC3g 8>Y#-s0;sQyJbG%нIdW"[5J&(4}ډo<4\08nq_:t] J=I?kB5*$\}vwGڌgEqGg ar]&SiI9c;д:-N/J.@9' ,^Ϡb1B8ud/}hm28t<>n;ШuS)Bvl§1 J>!g̘d!P %5Un ƭLXU^{R ]!`c8qCZM\%Tmlt~>X> .S(>a?)˾J׶H??CkgMDt-ަg{ H;2J &gB <4U:nis^[Un bgĻ6h&^!`ZUF-(Dtfo? &)ApLi9?AΞ"2l}8˖=ɛ9눈3EOi3ޝ)ZtԔf;ol]WuGn:o?qQPW{S{ÎUV<[w;YIdhNL:L`sۜyVL6Ul.Ùh<>{n/L[ ^l28W٤}<sC5jZ!B>̤;[v0V, ~zk}(SyAl+q2ہ֫*^~1@=-2L+9m1Φ=odY`/S)ū?P"Ϟ7_ur0vE@9%ݨK>dy-,y?9Ț]ͿnKKBVl&N!py} 794LUلQsnŸ4=h;c+bax~!f laHcYޱ猠eCN NG\pnqɱf=oŻXfqrt^E6:0Р ϼ8*6]4d9֯T">.YPgtpitIï TV/Q[$\!a:wb$>j3K-/ZPπ_Cڬ 46J]r>p$Gf֣/kcNC_oTsڶָ E1[uX);ܪT:-v]9;rN*LV ٥K[jZخ =TGCß) VxtnYlzj-`jhݭ7T^pJXa?HptM7q)AĹH+Y*7xJ {UMplކH= +ֳ(rwt?N "[*nW\A[{gU$k'M7aw1++i{Кm3ՈC-qG<F?zG $5*Mg.[ژ-k)oAbVK lť@׫n>Fg@vixCJA}u8 HzlH1ybVy"jUoȔtS*Ka_Qj9KvR̵, #Q&Kܠӌ_܃SMRngjڀpn'osSgm)" 5Ƒs 긑D$wʅĔՕ ̗}2sѕH~V f88m2AD'kK:9<3gujY(_ ೭.Ip\wVr6<26cOFK{>lRhfN0`S a*{0KHZ+Li]t rR㐻J[1Ks\{F4ȧuc풉\EjXGgZ?_ -+CL _5S/c.O[, ߗQ|w6z.D ~{Lo2tn aUqLpF,/ݷ TB4Ӂơ+jjx<} v*a\A+*b\M\8ܯiA U%iJzuX Թ0:1[WS˖☠Iܱ?{,U`/xS[ Yx(*Rܳ 'x.yZS4s&5˴r#=0t~ߒ$'Kq,ߛZ4X7hmt¥Q]Ile*Һ]1{QA,{)s)ne#*]_E,{j}#+_4xpek^_"OTN?uVM)VoS&uy>'^02#"`bp(I [0 Э,acK|"LߧɸO|~]kl`E O.a)飺ă =>풸yf@8,,&G|V|s)K(_]oD:%dިi1|-ʒWwn*QDNaD2_:n@ַ1!2HH{6Jɯ)=Ibf HYуwn׬M׳q XOi.nSUJ,bosP9⪗'a~ALk7G!jެ4;DrCy# RA=8y#ˎOӟξG|ɡT!gѾ~~)WBf拙2"E^.\|t" ,&f1w][($Zgp\dgJIsCH%Fy4 t:iKI&bgcܻtA>$>nOJ!0W$љK'&u+o 08.P [0;*A]Ec0ؠq~yh!땐ut-v Xv[A6lj27W5C-;q#U&r*M03a'x:5Oi'{>M«U~C>AaCEލ淟Etd7-],q+C*s*Y%&e֌"8K'hB߆UCG }KdA{m\@(u3J,H[ sĜA< Ap ,&ED0h,L¡yur{w$mXo"Ž<7S% s2G A{`{uhb~#tصP~ZT31'Rtbr)ibD/v *+-ٺ4C! `Ԙ5d,gܱn~(Kx(B羙Bc?e%i 2Y2:h Qpd ͙+zYHS@}LsV*-MS-QUXaȟmE&ߤM D$_92%]z?^gV[}ʐ^4&[##Js 4-Sj, l"g?T64F^Ubh,, Øpb_U\7±A68u9;b3 #ev+b0Oa8D6x+TT\+'%Yzp7Ơ\%8hot6[^of>W޻sC~5j#ˌ^Hht@0(䶔rbtK#j/MxW}0FJt-:P4d^A^e 5`oDOQg,Iv$Ks"8,M߭@ih #\oKr%GXHbx/Ш,DTA&W>.~Ų"OxzTh9ց]esϽLgbY`M598WD 4zQyUAh)+t+jwTcSAmФ$!km7ͯ>&^+9ؐLjq V%Es^ ,%XiAA XO^R}@$FPoTmkޯ 2L2$LBP)J sUe U].%b0EPb‘"0}@[s}\.p?;sGc@:jw_Q8%=z ;fbߴ\;r7 K/Gծ\w"gmHnT@rrۜA{YSV)T@KLt0EHMwWrQ6[Ob>cUjJ)SW68qce/5n,ɅHR.lx [ZD!^?|)]:G4yaԬm#槛Q'pQL]]Cݝ@$ߪS-֌3& GY=B1y2hx8o)~aȲ-a;q.f` A>>z(cq EL3ꑛ_ gM+Y:&1}UYD_XF,v;U|']!\IXzPe(M|#7xub(la- q$ ;(tѰuWiF?IhSxT=,QB +Ǘ=ICh֝e7տ1q#-fS{)YɝLil0d Fn7԰ }u| )mQO (qڵ=o!Gd a?iB4$Pa!uY:{9TJc \0r̛i$thmN(GD͹,%q h ^Qn~c<OM VR^EݢJ$/q![= U:&&A5g4BýO{nk՝ADVF ɇ|As]Rs 8A yub4*pru3JKo!$a|ޜ? h X0jAdotS:7*7a i:(|}qYc2|*{qQ&|t8:+l W'w~az$߉gr͖4c& j^ R>^WyIt)GVW ё6킅vm#5k╆yy 6*}wcOp |N!^,u*B$2'wôKRf _ 9?܀ɲ;k= ޱ}ޡl̢)*yAe^²%At{w\;){Q^\n)^ʍx`8 ;{t> G`0nS>̆܀KçŃڛc]].g}v[hW`0Ӵ'/Jy3H;.@ec8:wn%9jQ.WJMi_}*8Y I}ED-g={F+3piP˜N\<0BCt2ϥFڳws~}L<濕}h%_TP-ZQv?j8_.RГDqNA' rKNG ߶ …lJ(,?-Y1TdͪOaq˚G7>V9:maJ> y7(RBփNe dD_G ӑU(PLl+.5 Zi.',>@7|-}HwYb1ш ckN?r!@(%(1fof`pnWrT3I88UF $/X\*6A~.MVbo\tL48k+>RLcA?~\VY ^ͩ|)@X,r%*²xB$;yy/uu1:*8!̖2R/[ܐuŹm}Fc tZyv/i8ȥ9E8#wUZ (<|F,[)w<7Xf:D Wj.cPA1AVjVUFYc|p +{,/ܐ7φv!6QQ$0!r3>ni o~]&ͱ 9oAzֵ} ;~ɱjLyrgww4ɓye#UŠ:VSũ0:m A2 t[.lV˷<{eݫDдY*b A/^킿3:XsDrV9}}UA`#.!yxR'7=ѓ!uP8ꇍsjZhc}Yʵ0&Ԋ&)ե6ڲNa:@+x}+qrkYQxu@K(645׌ZГHyOwpPSoODcv+,#ˉf)8o:iqvYnN'q{&ˣUPwAu=GlhNYuQtcW1sA!ahڽ B^Er](8rF"gMDu@)!eŝ[CpS؀ohY*a2URGZ ߏ@.tiA>ܧ)hpe`!C30 V-ӡ9]'&!%U$SMeYR{+n\ySO_޾ ywtF ?=a} kdiiY_#;^j{M1] P!)z^2{lS zc; bD dG"0ߋc_W5;bcI+Lv"0z76a ^.}7D!xos\G[Rv0Hx$Q5mOz眄w(#edFo@*z78U~KW)#*zնPahpOY1)]_H&11#)Ռ(Ӆهܷ Q7:2QhwˉEp@'o Ww| ЇJ7.53<6/6y(Y<|`JmJ(A&g=ZZ.9>F;1[Ig eqR㙴5zf3h7ޓ#FށOo}iW] 9QJ)E@g,i~gP<#o!"%j!5FFsQ*Kn5W~b ›gtriQmc(/Jҿ6 8"4m<)?c䫧Blɞt%]qhUf>&;4#o8Gy?u-d:ȼ`q- q˭kUd1 Z7zu خˎҞ`+as'PቊwI]!M ̶ nHB^鍞5ʛ Ѻ&]mLcO A \'Vֳ&3OP x+dD~%9ⲹ3!Xtc-E.*JjeAY;g{i9@\h'ո:~},9L&BhP+t1#e9`m?8M?DAsH6SU~ovx_{W!ԇYd JGRn F| .uk:PP*6(4QM{ ߐVR)lQ% V L!h kp=L#38 \E%^M=J+i .(2|v_rL-iɒ|Z[og,jAv$ߐILB9, g,"0|岡'ڔM/])KvR( R29 Ca"fQm; pg x1}2?G|ȝ,59^~bmp{HFmX> Pޞ4I=7r_A[f %N~eFT"}Ģau]Y-7/Tc}*R22(9ɝ.\fC77?xt},aVY:ZEf4̞V;tʩAhQ<~'L˗S0E,2+픆REz@̨I>U0)?. Gm5G홸ncKgz6.>1g!(JA̩Xc+Y7e ~)3fP^lMh~+ZdfɹS|v^?mwNMO02Vpv#rxy:[>ʋn|m2 K<-ۤ6"R"iĝzdbO?L1lw SZ1zJ@V]ZI. !Go ֮ʈ}pҀ(e_/kSaA!q4y4ꯖl#|6Y]=j0,{f,mVňѿA/dSmw,фR\0 ie1FZY`8D$`ݐ.km ڸ^gg=ϖ|yTWJ;.cRLzژ|77|D} F _8F+H4ZYѯi`.Fs$"edl@꩸QSG§&\أC$@SW#F<uZQe,R m)ŷХd7䆢Kюg=DV]Ma˫:0Y:c323`w 8'PS|StzDAt)Ӽ6t^YnBzC_pgWš' 3&b֔6pxWúe+QxPeLΫ[5VyRW|sG.k'"Zdg=X EogT"x„mtNPa*y<צ&BȊuאn"d*w/mR ^q1\a fG(w:mV}F+KJm9y갋CAQgl~efZ <;桥hOM˼ UJڱ +ᆢi2۪#X;E7:oxo !.RUpG]WQvXx;6'w]K.J#+'P4FX8dtM;JTh|FzJ n dᥪ_o8koqБB7r$R;U*pذUNT:NF߈NHҙNHd^ Ckqu>9UI-Ba5gMXy+='M,G!o+yi=:S~Ʋ]>QPe%߅{ =i ə}* dC_.,s7jw3[6[CChDߙ(!% Lhy\ѡF`!ˮ[(;\N*E;$m'Zp|:sd>&i=1gBwlY`癭-:Ĥg!9暘ح/:@pLcXZ}VY V&ew&=R\˼Y3[:=7{jFIOX'OZ䝨''h ei)|UQ}JSSr:3MR1uBYR_=?LE:8=,TM(TO!DiFSxG@뭗],#eæ'+B-@~J]o×|&dͶ ]vm422z v"(!TJy' QA-̤uxŔ[ͺSm|GxepUA#G"@c{Cg5)S( j5& - 0Wq@Ixo0CJF>;_9Ck-њytM6M ZE>ILPBd/jȕ~2!;!^#XZ gn<`4؄4@cg/}YY!Q*58V?+58~@mtub7l皩v })b$Wx)1f4DYE >UnklNmK9s`* 8$Q.v$hƨNj+]%x6 ǾɄ|p}~ԝ-$j_̭<\F t}g2 Gr`PcDv[z33bo}X&`*M2Y;vhưȭ;n]'?~;,+Q%Ҏ Ah5ջޢ_ReljF{\,UbLx eQ;Fv'p%1S/Fd-80dFqXnj-/.xX K7)˲ìPtv&%3Þ6ڤpd+LncQ5`'Z!SJv tki 2.@*[X {,UjsdHw5A>C0p\ț(CM!`}6JGl҆S1Q'0qe]hWoHy&SjiԓLJه]{4ߔwkܞL}#vJCV5VV^mkxO+΃mZdT j"_)90:ȹGrWq@:+S* 0Ona-h>aݤ2j VKZzUg8ٟVTsIn-*~:b) g8Iq>f_*P'6wk/e5zHv$O9ȂPfNCk%+{"jR:uuOgY*L.-&)3Sߢ֊m<"QǑj/L^ cB$rCp>72 sճ/./j\oɠw6°ZT( tt=3B%;\gV]&aJ{BJ#Ml=HOEEB_i"[E-6ROFۊMş9l#o>&ڻFKjcQ[4/&@Q"B`Z*T/;\K͐'k#W4O v ::nW+ V.&vGE0^,)n8p2 Q|w$wͮ[ndb.Q G+N\"(d2NGTiƑ6zh+CMe6ֳߎN*vC|[DMp3^RQ\ٳX M}3 ݤb$6Ԉ3:CGgsH7$v;LK&B&kMj6+_ XW3Yz02Zb* o8PbNxv<-=*Arbb~wZVfr@N켖6aw'|oпu, Y=1l1~n^7kE*0SBK* u6N읋?IkbaFHFlj}-!R\k.S`IR1hj!$uW Nu͂pˍ r:;֎#*? u elze7.f}=LY;oDWQj4Uf4Kf*rWKIK -ra| 'Ӷ!;D5I߯4)38|ҩe,e+lEz+h5ʊ^B}L[+)=~hD; K5v{ߩ|X:Fh$ Ft>JX[XaӉ"g?n|S.)(g \MGf*wyZɱW+:^^)P0˸&5ĕxinxbv(oY)O@D5֢ +PMɆQS,WȺhױ 􃨅X2__3}0@(vvxI˵Z?PEB5lDF[ק1Ɣ4r=9ⶳʪ -5pL.&V]&+Uu@ƞS݈nmhJ~TbgD|q &}QBwld_ B34/r OXTys|!ՑBS|:g,6$̴TB725)_GLC2H|!CYx_@HE4' a$qC ]30E̠Vy' B}C׷ř ng؃)sR @&Pۥ5_rofB4(c2 *um!t\KoL7^?!_A,Esa[$YJ.Lp Go6 iMf?JV5 jŽ'8.,G E-aZI%$'rXd7>ЧB6$V".(PpRP8;ζ.Qdcᆾ^azԃ8ω 5LqڮvBdVˏ9!XpYN/b.|KBԼ]!Pyʚ%wGA/W+y rܰnZ> 'ǰ&a ?͑ԚQ3Q1Xz怛;uVR}^1.ډBPŠ)p؄cr4MҪ"JIřy ?o_DYʭLɁ}^ Y-ᖕHל-; לr BMQ  E?uÑ'%5W0Q.sPꒉX4w)6t0@z7ς)#aV/GB/Mx22h@\vZ0gPJ$s"(s: _8w_l4"*s)[7 -y-Kx]4"=M̊tO:@Ѡ}*?n5Yq'n9- ȡlqy4kTr{bF%,KZQ4rUvOQ/]b\xMs\_`ɣqleH.3A2> Ɗ MqKA$\`Xfl΍؞UMe=Jm#ݑDnI;twL,)sbI1HK6Zu[@mN_iA2Bҁލ`JS4 e.;V$Q9@ftu !Xn夡b{3x| JY 8[O4:`w%$nf9F%D [PtD{ؤ*ek1ma nxM!l?X+hlX;* q&Hޤ#ɝo&%H$sd16O3C޳<:4I՟Ä\En*!F\g^ غr֒nk9R3'!^'{ɋζm2]}`CU&zo ? gK)6 m^J<6yB_;nṬޏ]N{)wst) ]j>ËbF[J4cHU|+ME=F(eK}L"W4bZ~oItn|hۇ{{R\r4:gfʟ5`f^LF8A=hZN3͟ N -l8U?c5Bywx̪Hc'.`9"?[$6Bp.u⇌R(dD JxBBhi.|X[s+>"2#RQ/1xyʮixw㫋LE/ֶ.lVJ7,.Yx 9>'k" GIU旦;z'Ћx0Au yFoਖ̘-Iؕ$ԁN 4R(YHcy0mZDDy+6 y+Mj&̷XgZzNN;k}KZfRY_\ z߇pMdx5nŖN@&E _"/4ecˣ`nBdVگG#R޵-~{ϋ9!x80pa;%Eb",f;W.}#/煘{e4qxNhXv`+;s@%% Rbu9$]sqaG!=g gPPK*GuaTX Dp^Qdo#wg߶LxìM:VnBTy* sd ?*]|:C+ސ(szB?T~UCC7YFO-mM6Viٲ^`1𴡻X<;tG~X"V~i+U0 ({ EBY)ȝ_{PY]#4 >-.1/b-IMP^)1t:"T*[=8 :s'~0)amʗ895JּNzYL]\8\Te/(8 ?au|j7w0UGO3YԵBZ?PUH_Q`_ɤl]?HiZ?exSM|e缛L*BIaQ/_GwElB٬x3me˔xﻷϷ{'yb"3svGo0>)K1lpzkẳԞLdL'!0Kؙ +X=88/ӓ\ל72yDP3{LB &f_IoyŚ[qMs[ù:4soWn=& D5y_0~a+)s`źmFRA~ jq34SlS47P>> (]ig R5NM5wGvK؆L^iH/\Q # (Ґ!k (q=5(T 8&\+>䪨lvkX߈)t.ӓ0M 䧳014\ Blt?+Mhf)39}.#w`ѽQwLj=Cv&W+kLveaHs"Ոzlx)`.X(RŞG;UN$B۴sVřG :Ϫn!WCspTHkud=< 7zrèAC)R*!DJ T3,_k*gDKYL KRI7Ȃ: L[ E RWp-`q -kd L'+Q#NBahYr0?XpN\D|u-S~xbg4 K Vq4 r%͒|.ܚ*.p!̀CL/)ƒB:`"ۤz9ʮ */_}ʡ8 9y??NW9=z~wث}cO q-ր|bbUYV.hHg aD72,څ}MQ*#Dʾ+y?>$|S#-Qn9/tL@)4y!fG26hDgXߙ3ocF@zHRm/!Ϳl ^ tհ! ZWIJՖ|j}~Ό&72 ƚiFۗarC޳Uw^O$NŻ{k5}zAPл*\)Bp@:"cePWʘ=-{Ucg ,7u.0hj:dO@z&hKdt>^BS31y Prfp$8xUu"p2Y7tvqOgM4Lb>'>ceqJױ Dt\ܻE֕\S\j@"_@׃5DtmX_z>pi"⚆ynEAZ0(T]1Vg*C3a5U(&DvghL u|T<(Sйn7m![}z#%x&V0.\10lmmoꩪbRV@ zto#1xsſ60\2DG/l#h 2f?9֡I/7;hiz+7dXIo# d۔loP>Ϋ@ Оh^5lےrUPqd9l^&C1vi *eBֈB"SB _wX&cp=dn> >hexH9H/IJy1 c]iy{p!Gލ,?NxQJ!>_5qX|ٗ j^:t.;T XYZ| Ӹ <5|K&FDuSl(RבPײjުK}k~t) m)F׽-昱k.ڮ;0`cN#՝nSJUa¥O/&0Ps-?l~6)þ}A1}N:»(Crul&L4u/)P z2fm[%E5Ď@7j]|pMHʍ-OxIOy-D@`/o/ Y{5C;KFEx䝸{Xtb?Vx6MII D\xEL@޽3K JWϊ>5h44pNhonegUۏ:v@E hŒLttC >~[InWGVa~Gr(l0ИQyR [_Heڎ)-7)eNg%XydfЄMFsßg+]g+;?C|hHbH`98Դ0}7P}YG S6A]!P *p^B*3ΤlT].RfB[OT]|5>:^ {TX$yK"ʩivF,0P ߪL^b zU`☶ډ6G" M k]ߪ)=XRr-4q7<"]y 5~S<=pFԈr7o AӚ|75'u |q12H۵w4QP ?{gOPȰ`-v )7"R0H1mG*A|'C/LG߯ڥJ}ࣨzd>9 LQ ;g>ܯ`dcVEzb_S2pHbAq";`VkLԘQaч9oe3/pEk]ƞq4qw7_Ǔvcq 3G>[k 3Xj)į}4` SKdN|͈J(ѪKB=G^39`Vlx3-ᄣGІ`?9:;^ ,`t)-])o읭^\-V(a~{yh|u?|O.*(! IꁾOtD 2~Uޏ@/D~G 0|Zhq!<c.A79K7O交_pT+d=YE!Xb|Ld02p+'^(DhtOϯTֶ: }Yk1?51BYT uU -_ΥsW!N+JwwGbeǭ*J8ҺwŴr(o)Ѳ;3V?KrxE^fnE ; Tg6!9@SԚʦ/HX>@U5=˜ @ltvSG p: hn&̞`Q&zP ޢBgi)WDM &bpy {|ĬRhPl`;“9+pFX °AVTz=OPoHzJk~*5Z_ZbOYSW{˫n 1hոC mZ5e40nńB]J:q;ޛּNK4_V=P{3eldܜ+`zrUsb{aD |x=Lrlӆ|3@m&*FW(TtP&8L\ xg5$OpkN!d$m JXTg WYaCel+>vR-+-X%Dv "T49gWbm6esݜmgSDJ)"!seSiNPc}K1 Z8˚i|f43y _V:ե;* QD? LX8 ~zRۤV{Piy%mO ēEg c&bu;EYǧ"Z'T[g9kQlr;`=|R-"z,! "wI <*;PгO_H ᲵkQ#.m6*{Txúb9i7߅N(]'*9sKb/KF, `:/)4ؑ!+́-6T~Ry|3l Z$@(؃VS:))()G-Ei+xMZ@ͥejG{*-7U2v^٥[Z(‰ӳe`bf!釹-hӢ@m .ODLgC-L%*FX 6Wlg%C8ӷIɷ`t?Fnc@5} d${>Or-ُ7ừҖXMBTq#3fܑE_oȁ|.(C:ls&|ͿOG0$_rԕ\nG[~KYmZطUH?9]HHM$Wk}-l'c0=c`ݘIeTt 00B~ 1!ZSQC,O Jգr6t1oyߡ3ed-̑"_i7r#@.MDpW5ع'ysYC5,Ng55g`ד6/0z!z.LW9+MW+1ڢa aDA=eq 8Ơ7fƈ"ZSƎ9d^'z ԝG{z]ߩ V՘O?FC:3JpoƧ _z LTа%z5'@Aګ@[3-<:4\h0CGL#zKٚQwRZ=q8D֣jMdZGv{Fʷ2ISL| Gdras l5+kkvg@+lbEFh5G w]M5X~3O"GPJυ]C`u-HߩWR[AI" cZoi55̤ZVjK;dvK9GCy P'8^LwV{!n"'B6zzP-#,#+ޓ!1:_%D1;UȨ"<֢r^0FЖ?jZym4z27mxAQm'Sg)~XPAd.'K࣯{e0iC߁Eݨ"ؚ.FBb#@9p\.,Rݏk{:ߑ}~WdI5>YoNk}zXo. ![F&Oކ7U_X)' )[(?H%a3\g>ĿGMH )Q dhO=Ɵ@+$"!k6`73.r+]jšiĭ`j텴pYǢJRUqA~iƗ2/ŇebEr B7Vt귇/-?3e1sDQ):'%42#Gi-0˜o*5d6dp6:~Mp: |m4Չ#wc[-~fn4D`T"=<،@\g1Nj5`WV5,("F՝:(YCYLڧiyĀ(aQ"a=W$HmqF+%\phG?x c_J3 7\~g_)7v8m-A%!KkF=com9F1hv6x^U蠢)9R p}= u0p X7q Y }O 倦VSSzJ'4WZŖqf+mt讥z`_;D75ZdsۖnSG|`Ǻ\K.N&hTI$S `B`IUaSvO/66}8+r\Qx ed3eD}V֠6|"=a | XW[jx)k@6,0mƣrBՀ#K( vhv[/娨kE-\*XE~6{&3Cbc)o[eAKn5Ȥ_iӛ(+?SrH_qd%6q62 ™ibbUL%cVגu.0EPRt9 ٯH[( _ySi+BA#@Q Khd-5gi2 ~uM xw'eŠh7A\B-f6)Z(SK!uW(fo_;fjzܽ&O#l&w{P4꣌)"6 SSAНΚ,Vs. 7E˼R3 ax|%: NGZ;NU{yX2JX8/GYzvvA4y(AJ a0_`? A"oz Q~R%.v'Ø~Z:4\\8ui0c~~PdR3A~{X޴xVSwmsz :MHJ6%\U x<*حoAE~r=/|3M;#רΒ1Zn,6lYypOM\Y6_39*188ѺUy4j*C:XoZMxa!ElMÿt^X` \2bZ DY(k]j±roX@1[+GbRZv@ Zʒ)/7shDZ֫1B1ufa5PپND?0YMӓO_2hGȲ7OpH)";Dc9, b,32N鞹d>AŽߓ́ƃ{JҋM?#qkqe|{Y [*r'$̯s;+C4A=B읤:y/(xzSɪBڄG 9b&c-}~^ƈӽׄMW7f E|Bo|SKg6sWSs/p-̾G1ye > GGdx %u/֙n?m\q+!(|~۸gFG$Wڮ(kNkB Ԯ/>DyZvK"k>@$D:$S9nsiA^K &q7k7=(|3 9DZ]Ö9 DO D)O4j&:{v!Evǿ͛w{Ǖczmȴ(juWEvERxmZEA[{{ǶM D3/qy0+eE& iajmHsюvk/].8OQXFG̳)Xsiq3@Wmf4<|z `)wICMSi"ii`eʞt<:S P*vz48Rmo3 R~>sb2(O{U0xny?`92[ޔfʀ0)W~Z>L {hN( RiRDro`ܾ#'秫b]>!v*r%*qzdP:p]ؖ(P\37.KmTJ,LštS@fn?I_Zoj tGEĈHC.$?-*k$k_#[xTYbB^CFzy![2LHSMtY2#+b',m*oX +h L+ѽSPx`1)9qlUp >]qQʼn@~wgYZ0d09785abad370422c13a682f497015a449f0550a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b 41c0d8f90ea7be40f59b426bbfc21697230ea515 47e90adeba353f3a36dc449003054c4d0ec90bf9 a5fae16297b828a544b37dd8a05af9040251c7b8