SQLite format 3@ .;  B --?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 j/|D4d ]% HOL-ODE-ARCH-COMP:threads=4elapsed=732.489cpu=1661.420gc=15.9687zXZִF! (\]ŗXiɟH)0!h]?W _QdoA7:v#GDNi.DG7X0='~\慜]e6xcˈ@@$ߥtpD"nbDI$uSoRe?6Ugb@d" {.y_¿0(F?(e(zYH@ BEm=ALt8kq$LO^efe~.(a|vk땶@W_gvw!d  Ho2.wS1m@`S %}_EVoל X d^Xkgln ?ۯS\n)0DڍnUe_8HW_O(ژ%P?Ҕ #0:1Xek JژKG+Nb#ąќA@%[[hƬϬaQqp54UߌkU.xpFF%qe S_{ "AOqY֗ކa\kAo~CGDM4Nyu./I ߶kB=hi0;jמ `HM mŌ2رgYZ7zXZִF! [W]ŗXiɟ1ϵ%t};kg 3ag3ճr> ).ػUFVT[|y{z:@7)G`ۃs\IF}YZ7zXZִF! +N,]ŗXi%D3ze"Ҋ.?#, ym%:U`P>f\ȷ\t&(;F{٩jɿ])}7UxF[m0 %~̳EWV0DAnIfD8KB( YɌPw.UZ.\OvmzM0R q9Q` †Id}6Y khxhlUt3e4&k xQ+K@/zHHep?x#>}_>sO] /+{W1 79v:&]*Hkv)BSZ_Ka%}H/(΂Zcnf&Ui3"0d\S՝;%u5qSD*: J1k{ gV):v l73eTfg[:@m7U:廃om;O$-8Aɢ^AQyȐ gkH!0-ߦ/*{ 擣6 5?*mrcP մ\{U$O޺>nTr)2=AEܒ(߳waPΰ&*{mvW-!`&:孮'o‘Ny4C4YSC% ı̕<*3l=;;  ΔG)15cZL-kE=s͆e 2_Cc"ewQ];,%=;%'Q5tzkQg4,}BHƆ̛Z0#Ҷ&=ˢN1v:/=RG86 P5/>ooǒ76B~1.1!oqTy0Wy45FyNvT%w* (Xql]S^ЌcU;C U,qb˙( Q07~~XrKG2Cjla^5ݪ2/RZLI%gnO; ]P6ND:X>2'C쀓[Q4+~8R |Lh"z2@︍,"xngrTNq?=u?jڰjHg q?V|{Q3$Qzi~n.g5V# .12 ̃d ޮ-KYw|盡좢mvCs6O V'sl%f [6% pU=ޅ0ʁ!UBJJ~"R-y%+mX\iA;@= ωg:u+2nz8A / HOL-ODE-ARCH-COMP  r /U% \HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument.tex7zXZִF! 9$f]A-MՋhvG"uIBm5v'y()i˴P7mL~47rz5Gݩ;.%0ia2^E+e0;lݩY`%YNj bc`asHoE ZtLHO1҆dbhkCQo<5~\g("VM_^OatoMՅ41l2yk ͹wBa>\3i7a<D(~-΅ tKzs/Dq\M(A qQg,o^m!:Ѫޟ&52N:i1$~C.4wԟFrvcErv.mW_$L5k2]iS\H+ &3j TeibfE+3|m?٠?z)lm+r `BH F/U% HOL-ODE-ARCH-COMPHOL-ODE-ARCH-COMP.Examples_ARCH_COMPdocument.tex1;DڞT%ktj5{^[P#nsD#9[n<|2 ؓ:~{Dby9$0\|;8u'a_\i#$4Ek5eͯn2uևX((LF'5f֪M>(c2 ] C^MKia^ȉp{*CcImg!ҴokE-(™Dy#\Yta,ԐImyI:#&+2#x𳛕%ǃ0\;.ϴ`[eJ918%[98Ww9@B> A wy; [~rEI@r2zf3O{B}CޫN#*c` +{OFu+ ݢ@'v120Wd~\;$(a c@>ΡuM#Ƨ[ȞOa$^B1uDoY_oY|(ϛN7m,SIXX55uRα{?D+x6?J1yæ[˿h=,*DzzJܱcj6^A o~T #ϜL-,`!m o!A '9B.NWׂG)"xs yajzZĥ@POl$VJE'E5.5/M%ʴBMaj> ;U DԂC\CktEL]XO*/8x#cD𱤩JL6 u)09=.W400t[х9zdc{ߙ- }}ɣ=6B6{ƚǽ/uLHUim͍B_mOf3# OԎg5O1rJO[ARmZlu& W0@6˰œ57TC&`#oGs׺Ya jg*$Opal^ u%^7KbTj$1i&\ rU4Ud)}VъP:|pR9T/36,Ie~ (Pi$rGHu1vmc(9J,iov&|rRÇm[Q3 IY<γe3IjB,fti^;5/;.e No _h=vcBě&RT{X}q?J&udFKp3e:bTEt.{Kb[Wwe XU\-Tx[aJ#+Oq[v: /mɚli*~XJ(KVVq?W yI&W+(tneJ,ŀ_az rHY| 6¯iF*Uܡ; 4:omWoN34̈)#5Y˒jMr;46,[OpQ8)(W? ~Ei)O-6_'h1tddֳo=bt әGPC!. n.)p _ҬyrmZ|75+Aի ,PՌ~q:, 9y*Ձ@rJ:gZ0ZKolDv@$rSI QHjk$EICi!*3U@/2N47x~bk#<';8ri@]aD>A hRhV+6Lt Qd uE:Ъ'tzSqSlx~<<ʥF(pcHZ18[ƭn#f~x _}N" k4@ 8YxkI9kx@,9rJ%UNɅBE6v0<vNmo]r`X1NǑ'/2y=fR˿/"1xWpl{fa=r"F]RE4f|V oBk| [Gm2MMĊTNZ $ú&tCyہbC1O&夗k=AN*6&$ ,9h㌿ʹ uWM=U Rz {ךkh0W6^BɶPCD}g"FI!|"a_HQz50Y$͆!GQ>."cLeRtFvT^ïu %M]MH Ԃdʢ+*'eb?d0crp"4ť 7b]1Yvagʟ#G>4['0keqIBLt+E1(qA/&PENWQK)T\ Sygl5tM;zi+Fj Ejm4 `vS1#HpF$X-aJF~4ٙ7EoKp+V"ɇ,[z -ξ vrTϫs︜{l{k5< +81ⓔS>N` f+L 9(mm^͙ rL4Vה`iX/HL=WAvliǀt4H9sr@1A=dHĪ7{K)j*:GQa5s@&H[*{wrF81o7`Vg I-n >ip;\fzOOq= }DmyN$4\GtGujs0ΆN\ K=XUU A 5p,sIiHLAXY8/S%e%iRj' eXg#2%3Q89[ْހg ;:9]붓Ȏjm`3kt̟¸{m]~p9 X}(e!-6jpLUbl.fySirC"^*ctT~BX>:]"xAix)_d͒6Rj?" ic7Jr PkfHҳtƃk6nciTP;| قߗZ /in*z.]$ho)%$i|D"wLق~VԞы01-Cv5;HUS5#`g-YlUI/Ghyq;7eEF궻>ݧ}/"%v'^@hLے&p]*udhXShEUxQUml`uW?jŤJzj02 x^#/ِ u/8V =@]L?/GFb~-hX >D\lN37Dqz|'voHxI`9wy Bҥ*&{ɄpD֫H# 7 EL=%x^1p}7c#ig<_V/*}y$2Bl'q3o:λA\V5ptfS1S |F~ ǽA+$͸ 㸼H:*=-_"<}iV-Hy튒wk 7iKPԴ4+vt<h^0Lmݺ,CΧ ^ d!SBZ֝[@#Iդ]fr!Y"1+p{ߴ5DY٨T&uJXd vBjKy%eCjho SMi68LhfOi' ` P^(g0"4KM9C̬8|dױBr+XMJ_ y 4 eM`2A._%ŵoEAyeʹa~Cr38Ee닪fKuuI?7' ٗ22vDXg@ Cz 4|'[V$1rbeCWkR 7xXsD"Rd8R~oKʖC1 RKF5C8eܠ&eVݞFos-<7tY ]+,NM   P.&䅗Nł-OWnks&kh;kWn@V?0+Pq$VR~^5Hʖs%=29xrzt4^}?#H<Ưf,zlԔ[ n6WЫFMUm}rZJ{Nrq'2;1Cln t0 㹂@מ2k,ԲhѼl̺!\ ul?wpX^>9JLJgVWaU)I,~ZOL3Cf45{Yy%yfzѸY@Jn#.BCaFsA\LDU儌|mQkU_=&h7o+a$pP3 '١“FMO^,h+(\:ay. 2̫nxy6  3꤈C/zg |%*(DB ۂ]yy_%'O9aeljMcF!'ATJ2QVQ"Qʐ:}Μ]2KIDz^zo/"SBfH4nua,8Vj.eZ^Fݪ~n#+b >#+nn^&v9QM膑V%`F[cM?{J:BQ'oGt.,otدOrn:ٷqqk<Lm@0|QlePK5{Z87 ]2"ޒG@Ͽݱޓ_FH|R^X/hf,TP`Z.BZ}UÙN 4mU * :* ؃caşFݓŷ!f[J^T*(FN)M>ho51v @Ks?լt;(:`Ay1:cTMj3m+H ;LQT&Tvd 6%~KѰ͆Z2ƥIΊ.T1a3hM8mBdr\u%b8ӼCyVu̚"ƾ_(}T{rS~ʕDd}뵏}# 9ٝoOg~]rZ0{kҐH r"e"5obFJX[`c|HU_2an"1ֹR.ғ,e$GUl8>weU?vˬW@ߏÀR2~ pAae`(Hb4[)i*#:n+I #H۱gYZ |f۹asBNeSe6CSސy\ϞV -ɐ0σѶվySzA'/@7˔5bB#˫Ř Sw+?C4ɗ#/|)ga:C:PNeD6qjRB|a8XeBkܵ.6~uLe8/ {2t- ÒpC֌pyTmxs,XJ: &RЬo7bl{EєORMx0zLCzE}LՁ$vI_ٶPa7p5nUTbF~x U%#bVrOYGS1i!2PWd鎰d=+WiV(}*q#&4>f]e_1R(K18 &NK|Ն4Ap<ł;{ycӯE@ݺ6iykP|_̍"{ºqAKƨ;5*~j#%pfh}3 UA%1J9 Lz0fZ%bHy?4g6d׬z"R巿!7WeXˊoY7ui$1;ݏ}אM ⦼DG LDYj=`g۰B&Iy?Y|6csK'pO";ȶ2ؿÐbPleB/VrP?>WX|Ů e h5f{;3[RU3J!dv<^>M fDZ^g;Ut/D M8YE~#tUuGuf;cEPF3WA;*Lcgӯ!XѮƴLtszfi/yY9ǽ[O>\q bE:0թGA/u_V0Vj*B|ͦP{:mf긺7ӌ870eA,MLDe{lO&lj<srub AcNbԟ:*؎ ņIB=:51z ~ӎ#nd9@?yr Hhl<{Yt>Q9-zSm7ub2 H{.Y"9Ziv<9{Md C¼G+ZG}QӺCȶ=PVkj HW 7"u-t/3d_m7 靔D q=Lg`=RpUrn$"opD- D⑾qXaӞ9bY,.i-6/O5w85soSa篲T1 ,J|ZтRG.cRyi(sȇ!PSſX_YJ [N`Rz+[APt|Ь8]7s/RRUݡpy&%I9xiᦩ(ޥv 9DrZz75* Z32Eq<r˗M$n9Go.|uؖ)42;9Ũ{ѲzМHS6q\t*;6' ɢoFhlczd  !?g0DkUj sזŏ a2:o*藜d֦U+Xwؑ֞=v(۞2,dS$Uv|.fN_Fs[ IX9|  Fv^ >i>]  Hɵ(t/QVl֚miƈ}=La$XpB:Zi໇AQhS4EnU!n2.77h?څ$+lŰ岉(9S? AGvj.Cu>5[.i iyܴ2,t]k\ .C$/Boqb#C뾫2g _oJ|iNE!Q׏yWFh8h_+VSzd^v\ʀ"1%,xX(Ic;8M*>#Kj ;Q}=Wۂd%X(~*wX BЊ%C[4P#{O\7vQ!mB(؝lX^bTFﬣ%w$"gh&o4]?M. i/D⨮+qߘ# JBQp%꨷exe ,G9GxQhȃy^FQ9Y^S A)ٱiQ}=Ovx8zwߣ\4<Rz}/bDwQ`*jՙ 1e}wm$tt`^zΦK 6lS9{"oU~JߤfA퇗%= ?ۣK-&_$ա5aV/PoE,Ygy 6QnƘ8ZӁ 3ޕz=@Av3qp~z%Ƀn,O. nN=ca`HYQ;*{'SmU5_ X<.!IU|Ch;xK@6\Zc!X "ɲd#@66zfrCT9M'$#Xb+]=r)l( MR`XNvBIcw]Y+ jFk[Ct ,{Gdzh8W|mDџ|fSɕ#9-*R]~Ī Ώd %v)}iT TgZJR'~[ BE#.Zuk\xh9no%D Gw ;'lk#-8L{F3o(mts N-5\FomByd.έ Gy%j2+0,RT¹&Ǖl2 EUb# U=؅Wt%%y0=y)2*b/@K^Ńвmgg:&]n >_ElXnO2@ 9RL-ץz$;)+\I+-rTL8w1A,Ś dk1X t cqJMG?H^p1 "! 8 I&uAM׏guW8pxLeǛ WeP-/u/4ⰍZKi/f@9O,a|*cw B VfWT޶x VȆdcߓ(W*U;GMfօ,t'k{oB7^c]SX* Ļ< +6Kv$%Y٣*CO354| z{$~Α5{*hYW#%kv!n1ќWS! ya)m7',n38&F^\lTB#7[Aͦ!Qc ?bz mxA kȆ@NGgn -3"+׆d4d⧅*Ǧd\dDVGܬA-eԹiTd{inz%:/2'>37Q6D'jz7v=vWe#xzW!4'mW+ :Sg~IlN%L/u3QLVX8ɺmqaX5WIa/Jr s~zT96߹lպ3jwITЧ6˟PC0ww>Am!7uG}waNo笼,2̎>O6&E[Ǿuwts. nYѲ3*Fuݩ:թJG`& QZĕe/gNcn(9@|TJ V>>u63f'!A8cx 6[ dd(P;yv6k&Ե;\$k#7y%t"uTFˀA~<1x#P 3?H04tX)F႒5 nO!*P+Ӽ #Yu 5I4Ù6Ȍ:_t.2.1i|+,__1HcTBzZ]BtJW8G|X7:S؛^‘( 7g VO@@mA+uW{@38^]igG@/PFYɈ֨,*>a .ȓ# WɆwDQ#+z}U[SMYK<=loYՙRUʖ%xWA쓯<(Plej'$"vDs"j^owDl_1Z3zր+2ȯxӿhT2_~;6N_7gGʋ$4;bW-T+;F_/?i2ÀD|0\hrB~@oסT8ar}#4cA\RsY)}y8@ɌMx *zNSN nYqڇ_Lp!`]nt41kǫK="dk7nYFgƉʰ,MzfD|,BzPBA^>SD S-!-Q'}R)˵ i^c^$~-Ǻ7:%TOC鼛W?FZx2Auvf$ dخ t.#x%;a6 ֕{&WrjOxB>e_Hy.,^}zbZkIAB|F7( rߖbZ dn(PeL  P=pB>wH h/~, \ã:zܳ @%.~ׄL \☶bbiI 1G!׹NՅ_"sa_z omx&Y6a s^N&7RNhn~+bw2H!췶aƗێMpF}VMgH PpyʯBIPX]Ѽ_v0EK\09҈z<)Zl!&ݠ֝^Pxts{(BАG TN[{֡.\'A5?Ys#~!L!S< ,1`zQb̕y]sgĨrAN7E1ZԮD-Nx~Ag.0 .'.+®D>!AMq(dOSWA[ fFjf z}2:3b^ K?BB^ n}%,^8Kσ!%'0t*Jmc@8 V;y q1G@>`tT);P{ 9/Ku(E$ec 8"akJ nFmSɔ6lDZtl# {o_g[Mp݁X '?Ni{.[=Uj[_D !M[o9uGvAe<ݯzVC&ukl~o׊D @’h4\IaN'f(O;rykV,ݶsjzR:FRS#Uq '+eN^=ѩ'x4\&g̙KGX ||E?U+3h6i8tJ`:N!)O|m)TF@iY>v"*fuT",5C+LJH@ ~&)L;x %-(~ ^JVIR>Px,J ^foPݩS*idHE=RքQػVI$1P(ܣwd%wލ}Gi}^J[lgD'l>+M'̉-2[-ֿxnM24Kk{lmPhd :giNEmIa +?@5P.{RK@`. },1f f!CK;d7M-8c7\!i.Gaǫ 9 B8e}2WTsݡ2MqiߔMC4{J}a84/`"^Xe_ʦ R̒pG!hK7?2G cc [gQ~3X;F@R!>z5Be* 2QG)uCr+ϘMaR -ᐄ O0~NjOkԁ((EK{N$6Cký¡Xz2LϧVV$;-nԲFmR!sWn(pJFvKh1`W`J["0*'NKG17`/Y ɰwյeXHF`^O*}nL} [L) —%ٶ&<(q];d/ scZ wlp;" prC2R7im: d<Â%F6Ko𘏮Q(wsd`J7rW ɐ<[ՏXP56B1PKD|uYq: ?:]R,f޾+JpNDfE+T0jD<{da0X:Tjgfo| ŃQcYe4N03#K(9 ey ?{mˊMֆ<^/_5p#3pzTv9YſT7ߟ>jd&ъGDE5#K|̕\{똙29 +?d%%a@ࠎB){ډ.cӞ'BTŖv i_+AM1[rt;ebgϻ$,v:d矴9%I"4 }Tb#!a))kM;+V/p afg:VhRcǍmJcIW.dպ1="J9IKoY=.V+G {#.|)?QaF^̊Qel=q PLG-r G+O-]\/iSa߄z69\ Wq]Ntcw |$L~4՚EۼыU@&>.8_X`O` ӊxZ2nTjx0T4xgqp.+&3 Oo墯)3p?2Wi+(&{ӊ46%ۥގ孹}G/)O哒@/Zd 4͑Sd+^eNϱcL-9@G䤚wj^/U O6z6q^;0'Ke7|%`*w #4 K]%K>Tj]ZAr(s{Ya0mE#Z۩ޫ1bZSdݿqyCGMn[չ8J?LHwvheET0%xDi<lN l(na]Lu9w?I#b7=48yKh,޵ oT@u?ƪ',7Re2MtLaP#}"E_"\@,y+ёb\5nlf"_JWUC _MQY{<9kX'м\b! J) <ݐ2B>ܮJN-j^mxp"u Cj>K L#\=b>28N9lMc甆:^,GP{#ݛ?=\7nڃ:n;2İ6#| rM2)AUDAH5ᐟ&. 쯌fS0:RmySo|Yٞ+S%d֏ꏼ?}rW+⫳hwvjě<zvZ)v!|4Ezݛ s%.Fw/m[ѸGP̣-a: -&I)`(>l+⋛8{e#^'u/V-)g+.Ktw;م"IWB^̮ոb@:ގ,f5?vф#o_Wr,Ɓs]d[(oΆJxagoz%,GJx1g'%W泊oaqoo] %麼† Á,Oρν7 X+TDl4ˆ7U"0A78q8 ǫ7P 2A]Ey%KH$o߮`w+^8%F2Chm{/l$ޜ/gÏPAe-?1~LڍA8 л$5 8NK&|&}?1-fɎ1 4;$=Q8 gXoY`f?M&B\v.J+VW-=Wi =''eO=cRWV X-fCĢ4h]3ys;AVIrX7/hW>[Յ2„n8 -j$3a2 w,i33[""CK(<8J =bͫR 7bO3'OMg95ieVMJ\ 71 @)L0wBtCXX009|->lXku}n\gA,aeż)o>xG פn6tEG8V/_-9B1U^HK1bFq!ζ iFs=ep2.)Owi 6SZ *wQ|`HZlEuy֚S֥A]a3 X0vX'`^g< &J-r4 U`>Ơ-me+~r22iÅsbQZH#0]$Yql:|5 .zw@zCk\kvX2iX#@| Ӭ>?HHDX-FߝQ`K<^wUΐe%`>SC %>EV,4}^=g#G y0M~Ox}bC\΍&"h&!+8aQH,u$1ٞ$ {bHy&]FP݁϶=!ժmI rz!H&igI{T-g/mM0`ÆQS HVyh;ObNJS$QEVZ0%& .odwl(U7Q CCmf&~VܺfQ :Kwi\txUoxڵVeQ^kLU}cZA)DV53DrrW5Oa1i:>2zU 1?bOshicbo@̃Aڍ_K<\J?U0 2I:t: DY(j괶E~s1 98˽EXjKzf"6ǾݪEHrg_b :KR2 i^"Nj"7ogupdn-ZRcgE.>Qr܅׽4#]#sʛ˹#A0Q 8MUWXsG(%0q{oe^Kw['_+`{EƟma3| %[t?Q(4W/ hYݢ 9<ç!}ȷnWlyO(vBȺUަ<}W[ .'hc= & c1Å?'q`=ixe5p@.Y?u^}eϘJ)UϑP Pψ$p0ةHeb?׺j6 ??5}{ } ܤ$c H{ӤPGBc/$ω!6̉eT-zVq(W.ɽ:%Znj)r67).wbQS+mÏ=Nc,&9QG;jG> ݔ@hOekĕ>C*X> }*3""xu+:az1GubnyqE.R!Zs`)paT~\:IuRϺ:d?! 'DA 59q nBޫ1INFY+N|*i\p&Ċׄ4 nTq¨FJ73nm Z}M-ޔOE-ټ1|D}TY3q[$ ~ n<&Qؘh>N`81fm(oGI".E/k&RkNt6(x#S<]3vM}2C%DZ: )]l=O\4>`9Aet35&< Dg4ƕ6t (bkNZÀ&ԏ 6X1|vuQJ&XPSGE bVuezR}]bϚ_jiP .?:wqrkhTaqYm仛ޛ]v3M>_C 7.sSddz|h0=(_^ "PH($3fC3@14@r]Z Qh Vm,rwN2JCbUc u.!?Y91P+J]JaD4)l,Eu ShX,=}ˏ{`̙#H A" 2tiyb iȲ3+Y43|WKs=`ij_~"@^\&BVjBjNF 䦄2BG TNvϾ yB|5K, Ƙ^i-Ue آ#UB;{\s!-Xbq˽+鯾k9ͩ̿{} Ta^&㍶fG&K~q9b<c J%Kr] Hˮ`uLlMBaӟXt$LPkKUxGv䌄S#Cg>&FrUtwAd_kmUhX(!!MMJO`F{,K؍=[Kᇊv+f#w'+s!\K| A =+4lmZ|* 87MKo(}:[hN`F^OHGFhtQvp%"I]wQm4J0+:@m>nH<"M8Vk$#R7Ts?<hRz=*qm>%TC3=E)flNXԶ{\HH%}gsZ|U<6{La2S\.M#zTA:Ö ֩Nc }NE*o^} 6J鋰m1z 2QPW9;Y^؂nDN>Rz/_Gn@S"lNh*+2-In~@IKeUk[Ytū{wskllޒz"3KH$o^38R esB(5-;vL  o([:hXda.s g=Jy?RG?ncԩU<2j}T]M}a PPYeIyks-A'aٶX"~9 ۆ2 9v,NN|^W~ xY&e(+u q 8Dxc?+raoMjW@}O1;Hpl?<\)a 4yɴiZ~瞵zpb5@GL"%KK$*:EII qdp7 D3-q=%7,O'2vzVyȠd :̔pe+À@{ᏺ@x$LGA*AJp4v\D 0?ۂIP;OR{nC_Qi@Em˫'MM՛ 9(e҇|l5X~@: ,v;ˏ5`(| r.8vƞ1KYD 4#7yOAj#2j_Mr{oibEj.2MNo'qp]'+];qzu@pùO^y*IaLd|"޶Z0 #- WddNKzM8xYC>By`T^u  x?.>Ltz_^?X!H8Or+!F&Zw2_S2)3)KϾ-RC$ S<5Cd(O-j:o~BViNDGT[\񩞬xY [nY6@"8-d}P4#($FF+CƮVR&c nDR[WGO&z~bu&$)ܡMovze(;~ 7-Q,$*{.AI:L ;೧wpw6DYW+\O tSƸ[{oϤ?thF4Rͷb,]9J1CW bA]8nΩMUsY z-Wbvz9LF>ZC8U{ 5], ~-q2߹vF=Dfp26 CFgUm=-m~B:C :$D`ÄzqZT{N 0hIMC`"KR 0&|ͤUO8"52 dt8?SK9,uz.^9)-]jJT3L:=lc>! F䜕*ŸƸ]oۡ<-^dv @5zKr%!S|vw'`Vvո Nȝ$᫶9T+ =6)eZ-R^UC^u*{e_ DHRE^YbL_ :zŽ*܂Q@My+ Iu̼aM*?oRgeZ'E "k9Yf.{uxs\6?6ؽ)܌_R&ˬb ?( SNt"Ł4>H?0oRQځT?}M0%Ú8^՞UB;eoqVL\ EuQt3(\/6T&`a6OIv+<>eaa178fհhu51kFD#舃BC0ŕ E .e ۖA0M8g:dUφ7k}vLlCksW Y |ґ_a2w vrÎ#V/;OFLϖ-Mt{@"ڢ7XEy~Biip' 3vi A}Q˼S#E_Baǐuxph͈(o -0@Qc'hrw5+ KǷ3wmyfL J }\dZabO bԅ2s;Ps Hzz+uLȏ*tJFm3b(i9_㭩CP"DĶ۽ ۶ bc1oudT4P^1ϷZk6C(2qH׳#X-~8x YM5/ױFZI+m퍹b NG [ۚzL-N$o_ _v!5.$ v؜ĐDÚQv6wG@yv&z[xdx#r8hJKAYjdۍc9sCy(HF#@ITlUTl9E6 U5e$8tɷ$U˽;[K`[ݗw%X N9Ol{8oǚ?wʞ+H.CvO_@*|))"* FI{S,^1~!zDD.fZ!S=n~x@KW#|B'<$\nB #fM@9QUբ9=~ nEuQ=C%Fv=24xkvleQ" >LJn[*){Tw]p7Tg^$۸ vwz0 -F zB :(3YWT# 0*WPi7,^g]78-Teu17M N[WX8ˍsShT~u%@ʒȼ! v9ȲbƤ5cMr3g w$Rs: XdetTO2?u7-ް`UHGnhB߂1* H9+22v !uUs ؼ'%IE_j7b\ijRQ pHʚU7^pQr3\/VpDž<ҐWM3?t u$[ufYYSNE("?" Cy0^z꜉ |3gPTRZ}`Fl=TN.̧10ヅQX\a3}D ;|;m;`k,tDޱIvR{ 1| A Y!aCdtG'sYPl˂hՐ .;]&@eG犦,{@P⻐7'&[jˠ]o==T{FơKgӥS5<* w0 :eZh;_G_?LUw&jU?Py$zR!%E%z߶n˻rSodO".0xg&YRrHBP\,T]Zsvv` W;-PfL'Ei ?+VNhVd#unjK"=Lug%'㇢Dy"2a *ДT4zk!4U'i_T䗡s_)s g[@PuDK$T~E4Bw5<ر7훵+>gkq rSΣx[tY `c3ybt"S6)&Ƒ Ƚ+bA&*PK4$QIO& A:KBLi4PѢ^CƾpytpJzOM^L=?}-ݖPEWM-tl/90l9u^l_ } ΀B!-FX4V(oެl>pqj^*Lenǹ-@x.`ZY#OҧϼM9QVPpJԚ4?n`Sp=YDmu;%CR;1N%D>Lub`brBE UjJ(_M j}й^r3.'}ztZHϾ_lCR@om~B*2'NuOYDP=B_P}#{pJN?0g 0SҺ-jXA?~wz^#de8V@zfN{gP["F_x=6tP\๦l*nE@8f|"۶$Z}aPzX\p{6N؎Ģ{}kɬ^b[6}q,/8vVEI?u()c;ȟ,_2y[Ưt8`jG?OĀ*- @GBrh%~TE zq'GCO.#HS-kd'JFU?OQADa@Ev:1OXӀ7jC +V3?!E/@UJvy0oMܜ͜K;Ba!3Hgrp ЧA^;>RэoY湜szw*fZ6cd*_4* W?,@% b=30A ;{ਘB~&?)B&&)ɃqnRsCt2AipD& M9\q[, "ڍΊ-pO=5 Vn=S?[Ʒ0S_Oͺ5@02ћjq֙*$e; ǹ({ȜBY X0¦6UxE'#gli{@V :W+xBvϺX){?&SФ9q9Q_}c-*lA:?(bzBqoߴڑ\=2?޷i0CeW 4WugAz23],jjD:h^[p.~'T`S٠ x8c< EG|hNX~);п-|UC=@X,/9%K 8z#4 BjDUiģj*Q}j@g My W+wu+xH>Y3/\k:kK] )XRBQτ{uSx SeotmWk,SÝ4IĞfN Pf%v|+ONjX+>NZ05s9r;n O tamt(N>aȫD(L1t@$L7CTbTuIQk3{Zш(z `kd Q#4ɤѣKj 9Pۃx7_8w%g[3GquBl'I<MP4ڻqGN,Գ?_l*YwMo&:''[R눋؋(&BnGkyh,y3hCcdJȵl9N%n6BkBoC5:glzf-]Q۸zt^NY@7#j| .|@S\ &zT@IA0qR djiNO&䳣Rn_y +uSpOʟ%2c+X7 һJV )"uO3턃.TӶk È Ey`k] I& p=ͱnqu5_(bv_mnT ws>q9F-\6}7 US(4tiXK0ץn4uG|65qek+*WCyyԺsƢ>\:Zʮ|/SdUw'VS3ֲ_ nTˋX3="V#+8:WŴW $`muEXq/I>EفϱV72[J.^4f<^9#-uw6k)mO<. x Z"%ZZ1Gl :4?Q P +x e1?}~E I,:=o:ƺ@` :?$E)QC#- .,i087TzҜ5<DCd- Pls;Tq ߆&4Հ!l[.E|лL9y3|EA tfGџI]NP} 4 I!7Θ6p7#ԩ,')$a}.TI'3Xûy7͘1$d3Z#mۓ< ~ܼuKXjh^0p8r(o쏽1Bzq{ֆ=&Ft/{ѹ13#y2>jB0^4)@׻_*XM0K.~J_[ܼHgypϟp}&0"z&H1?"jNsB&fOhdHo&0w$/LȂ ?fSg{fGÈj{طchF٠'LNSx#¹fC|Ւ|[,j,_>+]0ɚ^9a7·s1Acwa6w73bRFU="7 KyTWFa^] nxH&Vr**//p[Ew0AKz6`DWnfְl*^V{(pd Z9AtLlq|I4%tAI)W̶} z%l*hSXYqr,E #!)%'7ëgk` Ur$wN¡2246Iu5ynaqǧpq>^MkV=jd9΁.D|""4vA`i„G^)r}ے+shMry7D~Ք]"FOR CS'7ckqc 3DgCj*.L%^/|lZ\Pjk~a3cMÑE[KhoNZplJhaOMhua.ὗo'+R6}D䡗M|QrbZhϮLD,Gwf|Fp9q a5!@ޒ*jkƈ~WOS[˃;\S|AeI m\Xbn߷}ACrXj_$@ř\B`2rqZA+Juc錊K!}Fl?8u8$k%ԵCΗ0=/u+q(Rni_}<l1-0aO+5em$%:p{"ùs`FP1TTcS^ es'-l8Xt9of}5%LΪM3e] L{/ffVUWRғ# OLI4:JE]*j9޳QvP[w^>:]ȣvrlj[,cv^DOdyF>:xV*~_TN`JkA{ybL:pR?ǫȨ{zwdcZlQ2ʲU4pezᄋTBǻ_TDSw {@,=ܹ ~+EW+U?[a |fum3OYmg7 É@1e}U$lfO1Uס̟@K$t~Ʊp*uCN%,8fe4,ˤo 양33z^9/=E^zʤ V!7.k9zWR0q4m5108O6#56F(i|iޒ]>,N/XCJkYhB|>hS'.SL >()9Ήvڹz;gJHtsc šٯejxֲ$}O„,vd Tf Nfe'ĪRħ+Ip),J9fUY6Ŗ6xw MA"$*8Gju6!m55^:bz6\ 9O? h4j>;iG'X]ycĻ<;n:KUG˒1l..J }?CWu Abǒ!M[&4 {:} _ L$O~ 2+KQqDuvGȾSSP,ۭ s7 pIT=K>r j:ą LTߐa3h+qM* !ԠXbk}iG6 r nPվp_&ѥV8jYOްG Z)qz5i7oԹ9nIv=b3CU_۵^`xkaOQ_K4xu'$NݵZw#n5!GhE$@!HvCJT> jNy]Gg] ‡yQ #(zznŰs`;XHZt`CXukp3Wcxlq^<,G64vƒAƳ򉋎3oALG,$ 6aٴq6fR0MJeK^ƭMa Mwrf@g07po27Ԍ!&_+HQF^gPLpEGVhX{{}ͨNr}YeF}A~;V$!T<i*~TH!sBWH_|fnJSΤML^"T3;TU:xZa܀q>jpF< x'qk ФO\b4sG?^BS*˔7:Mg:)xs᱊UtT[M4-;jyE9fAg&h"aM(O1T[Š˽yU/5^Vxxu - Z.^(cWazB ߒhɀmACsŽcXcT]zi^<|b*p~?dcw6* ~s@Ae_cdSe>*k"V3׍D rXX(eGREhAx+ۭn?p8 ~/1|KbKgfkj@յ5 5_.һ{n9E`A27=E :@`YWW:^}7g`[j")J!߫WD׽V:V`s!_ ILەueA1J"2Jʰ[h0eT^`J 3cRCm8+`0dJ]*h -,)vF9M {3.Ni&R՗=# vM`rM@5=n3q0AmYf360"Sa٫c FRZs2KF6W0ۢܺІ8kCM={y5lfi6ʕdϦ6k p7ؿ$?E$:JʸP3#N37OlɜJOaeѨ V?[DW,MYiyR {z̥o l 0peҴ1:28"a4GWm@ƭ|ʜ]Teƾ.,GӋD@BGi?-4- [(Tcv`0RC xtZem D [4_6hی!{Fwhn+.[ q>׀\. ~l.&Ţ.51̅I,Q7 ?Ӹ)pR5oTdžEDQ@M~*o? hc[x!]s@m,ɱ-*uU]$ #|#B}+Q-.e D $9N{D1R8w@^a$'CTUP%WPŒ`|'\v3ᮓ.&bi͝.\\M6͈22E,x(8+MAhuҶ^#Hi`Xˬ_߽w\,H" R/kϜ0D[*i`"1ic֍vsA)2qb(yʄ[SD-Tm&Y1S;,Dt:ܥ(g{wUvd>x^pǞK+wt%؋-yhsc6!3Oj-1f^(;cTjH$\5 muQ;+ʳ?"dGxvlU4 =F044q}c% , 3t>SnѦ N@'c=s:Bun'գ$qĖ?=~0Ry ϗXmnH:^w P_EF_{Pb?m0o</2l{Mtm66('9ƴ;V[uZo ?x]&BR,Dyw,2ǵK vDz{ugVPzBH -S9=&^%,ϸ;ZDHBtO,7''IyNct2W`r œ6VMr'+P$qQl$ӀB 4$1jR"VG.h֏B+ǝif ,{sov4 0y=t?ש:; 7}_dpG`m=۵N3brLhg"ۉ< 81g|-0 H NvU|=d8,( Tu#"^ƚpkY0t[Kj=T3 u?u@%$A+MVLM-xn:q75(" m,wF9!(Ρ*DM ?T#|TG4}S{1P rw粽ւ2 2 Mz5XS:;qR"XAr|5v7,|Q]G-n1]H`P}%6Ö"Ȅ.I\wwS1J bdu*9U Ln,BPmY9\d%y[x>h3Gq`iTvɇ8A;S54#K|<G|w[߬uPN^EIyaLmc iQA,\R,)yyPs$.Kնڮu%+{׶[_r`EUu}hL GLj2b&{<uՆu')OK5觡1 |r6O~> {gY?J5\T`UCd-r|nLM@W߁yMpZI 2Ȗ^PAqBJ$=|Dd۔jtMH*YFKX(4bJ+5YQc6A]cQ 0O\(XHU\ڵ*a^Ux: qJjT:Fj.3o`1KmULkq%wE"Y&h)An%>{F(^GG9|G12rD[,M &GKuk&;Di!YJ ayZ+϶EܮT͚PlJo軍2lKwn[iW`Ww@J>TJvԮ'K_[ODqQfIϧVX28[2O6TS =h s(kIcQwAFp;0)ҵyN}'_TלsX(`:5{x5pδ%Z88 4ZR!Y/Vo_`./tˡձ)OI0721Wpfg qV ̹ɞ4QDVosL 7؎q*-] VVJۿ_cfǻt%P"s׃0_K1x_u%A8@h=~z m)\ ttU'`+UG趒Wj$R'*"'en/cOaєYk!BS<Nf2(oj;?*(s RZNNG_&-:nZ>@C [.l{zu3uM9pO>d# ]+]YH;@:FFGPb?RJZIր{N_=`ϲG _H'z/d̎Ga4QX, A"NĘrF gX~aS;(B.EUbipm*U "*j{5߽Ի.f[ @ix)+R Ƣڻ]},/mT n`{Sn?zsL+߬7 _6_ YРeT23 eG^="q_Iؿ-L>}p1?:$v*VmTtq["dd3lXDDЛ Wi6Im[nVn4R g">.VXzߢz CCdJ $gD]2_F@a y,[;f0_r&3tz*a*;"|ω '.&<Áq^ϱf0:N2ገ@ Sq1`EdM/Ћ] A#4zGMYMirV;rTcRoSQ3% |̵ֵbZPTGՋt\mFQDtz kTRfx-{54C73GS&C{WU+L|Ut8AH1%\xm2_ wXJ^Vi*zzw2Oޤ^*"7;΢)ݱ̝1h6Jt8 ?bP !rq @:2ꂦͤ_{#ATQ1~"ăm׺ kaBtaz)PN IࠪƩlͪ_ҳ`A>snZAd&(Iq/HˊA赛i!QkU"hFgߣO:ߟ']>">Wy("Vy=iXIQ觸)BIS">.;t\dߨMR`-hԷw86~(|1[]%=J׬1N }=;:m`Ep|~+T jx 0zH!2r RV+ڪu{P5j eH'/4 y|~Xv$qBoqqS"l{tPw;|1%g#_hE9\6 eB̗71+= sJR ϯ4J<1"-u SvWE߮IZ4SGr'R7*OkZ[ b%yO&_/=Yx"FiXϞf1& fDGa%K^7L.,^)>^fόA ͏F}4N)$`gC:^#T^R%-o$&E'LcڬZ0T`fW2P{(@֡Gm}&`Ubs{oS!AR2V3Mzف,OÂgλOr֟zˊUja/-]6+ײ*rDpv> I Ovrh;ή!F t&ג~G[ ̤9֢tnĞB޾NY)BzE(/P{g 9s9zT70-*<΄RV3w.(ă,]_(#DN~ɦw]B}F <UH8+|5JӏU)NaΝk~)=-)YSS fZ/4$_Vr(DL4ؘڤY,,rabQ/Ebuh^ ,h!яdSǸoiqLڬ~*:A9װ"riWR>85e:8Yi(NĄ67ت ǰ,>ѱ2GY"MyQȿ0wf)>^{qD.^2YQ1y4^΄"!Imm(hdO SVд؎w¬S~tCN0–I+0b`4:嬘wl M |6r_D8nMxԜ#j%;d'm ^g9<7;%[ו ݐӯq`kKR ;18Pԏd -ߕkfJVLWe!b)wߎnɫDЩX($,,i?(FߪBOaʚ8xMz5{[j]VX? iY3OgOm5&!/^|a A{O_▽V8ì(cNQ9^H9GI6,`# jv6/_zùtFTNk,u]:qڞ59+NCÍnQ!0Ct74aT[A^ bCG$bݖr{2xѨ4&;3GwFUkY~+9 zL:d%m5F5G"O,[4=l9cj4,7~9m ך!"gǿ?xBhG aYqZm ^ޕ+ I8"T]yU\ <y/h!b'SW0aI?,E m[S5!|~ӎ] ^r_M0,]!`RS (<8^`Ԋ۶{b䓍M{vuOy`XiW=?bFZX]ǡHE6վ'z˅Pc=:Ffuv\)ī1ަ +T /w4  ȏB,356-S$_f ʛ|>uYe0vZf7f8|8ؓ;5i0:ftsZ-~ޠ,:Ȇm‡JzO0"z캃6>LZ'+@a)[l־έE(,7O [)TrMm yh& CK.׿8H})}9~i8b s+Qn \ < Bacg`@ *&)$J*"hy/^㬘粟Cqs*SVM" =3S:|d JyN'ʵ(˲9 aMl1sϺT.QI(=ָZq8.LV m8Aρ_1471rK"~S-wXK. jʎ6!kkѡNQYSo$ X7 ֜^ڃU6}=+<ʌP͗>1/Uްf<^=hpyq/-S +CPZBeY($'coiݏcCdydd,1N($Е#ijUiyXXC nsH-052j/EDz'V^IXzh,Rٍ`{C:&wh ?Zs;ûE)`Ɱ G&it3N)"mIvwאӤ }mOZ.:1)6s21Ǽz{)V%)h~RU>i 4bALkskI_top$$͈Pi=y-!qF`O/'>EݱtڈҪ V +MɁ@g; tfAnJkJJ{AGMh7BZ !e+t2.( ~xIi']js`}ڻ.8s.q2Ҹ B|+],(r, 3 #ˠl;0VW'SH2 ~͸{@5, qTԎݭFZL/ Uo'/i1)rbz0Uldd&#<`0maJssPx &MGy`[Rq%_Ta62$høA{Y6>ez~bXbJqn.T;a:iC /:fmx2~Tc1$/AHq4¸ jE V効P1uyaU+9%0靡Q י2$ThR߯Oɼ$Fg*\ IyNQ9n\d-CdAQ{T01BR"'K¤ׁQLxěeY-ķ#:]Jh0*1 ƒ,bc2K\]:I6Ϙ\.U],%OZ52_uVi 5p^b3BЎ`/lw r:,sdϏ*]䬃K4QtPn7`$l7`}8+4 bPDq3͂43KI U!ۼpJ)ш2n!iCtc".b5̚_]4>U\&\P߭0"S&wH`fGsHhCې9?jP=WJHlSr+׀pBz"=V] pDg3fݿp;+"AёPŻK'1 t_=.0IkX_d;6ї2? cV1v`2vhP"ﻘ!=_v6$EZ:t4y@v=>ˈi_p7( y}}ycAnt (v-ɖS hrJVԯd/mؑT7z#ӂ@X&,+Ff# h9ʍ^^> b/Tq^cI\}QxXk6![};@/3' {~z UmgC~b!!6olbU%x J86L^T2#BZlJ\s31/m CNH]M}KPr]Pg't\NoLi^ofR9,Ӡw•>'֘#nwk:w0Ml,_:Ȏ{`)-O ꬣ^^*rKTzX#ʐ:Ajy+hY|N͔b_W\OGd_,-iЃj@*MS*IO΄9l t7MR Eb!$loE HM/(H[tY],Q/~ʼodjƮyNqE( 1?K9ljihd;M סx/ 3>q9.ZN/y A7f@0[2 V8T lM2FJBi *d&ܔ6@W8Nѭ7y{d\7Y/nMxڐjna1Nf{ΠpD *7,z;Й ^聆dS,cIC3'dFHLeo[hhlJ9w!ZKjC*ɘ-^6zY0oQ>p7oIc`SzW1ݝ)m@`}܏pyu7Z1pL P9?HH@s9w'Ԟ%?m G,'UlG<ݻ|E!;$L _LœQ_c^o/(\Ը$F/f.ta+BQҘ3YI[9UTcPT%8cZ)1hZsO5ܙAROCyAFcĎsL!f}NI6x'ͪHPBEi;UsbLd?>/^i`hp<+h73x!qa(Y< ~XLd cŁxHblXXMFr9(~b8+ApImS;k 0`_ީKDfy.?[RFPd9 :-:zR=!Jv>='osfD鲷o((^|6־I`Eh@1U  ~)" ;S3bcUܓz59ņ:5bAI)%sҧ:i~a6?[.bz1s4΃05ώN J}KuyD8/d=Z/8b]\xPfBtIUt飓1NlwZ46b_wAO(QGGUK*.)J*lJ5O|j.H&%en4*hm$Չ D`!nȭ$9b=O¶+t.v (Pu /y=Ŭ,HuPt-oz'kaE^)acoV`AF c&&ʠD4MbǭЕD-s(Z_h\ЦTpϚӄc% 4I);_Óm`2mW<'ewd+k12#;9 \E,7N{Otx551̪4ܚ14hb vs|3|+ b~*+cMK1d'SNITötPm{C]'XaO(*Fp'}C* z1ٲp`yw+rg)3˿PdvA`@e mow ,t-kV][3h!І8^>9ywkVrӫ؞v ,)5T[ˠ.W6 F Fa>r1FNT@>ZLf*s*ew&qlAF _o, A v !YZ)e;4'pHE78<g*s?cE %VR6_c-=. FL`nnFnQ$+xqגQk:;ӡ٥טk3M=Le-H'7') q5#q Y|e:}f'Ńx( "F'bȤ"Jw۩9Ǐv3@]1KCB6o6&5R ᷜ|fj+lsօUZm.+/vTBb},Ѝ<Ǎ쵼Yˍ'`x Diee_?H;gƍZOl{]Rhyy$2֌bgouL?hk-'^C;B!AjQD}` )ʚ ri T_"z0etO ;CkU7КW6-)D bd/a I V ͏}/0a~z @ L`܀\5bokU>,!'q)(Dƀ_^i [3TlHC|OU,mzJxVoPFW4$ X]$T-h~4(D1sgb؉2uRw= Ha`Ml#694P=z#`!9,ҢǾJO{"M˥_DL?VM΄ QW.Qn^珳.tPx*ۼh22)PԤk*%7<0&T Y}N}Pu޺[BhS{| vBMr}P>+|$;c̜`B iXҵ+YbF-{ #_ϛzVc#ɰuh2I%>lmbSS 2҉>@fU$۩(dyp+c'abuF)]q` sEw ^l ԾM՝1㧣X_/Qy$ݮ؊(-bSZȊ'0/vt$S\H!E 9% JWf)W7'uHhǝ!@M%"iW<m-=Y@M>gTOmix95tB\a/oÆrbS3^:qYR͈e4o vs'\C7>Xt;ZQ*5Wk nꂄ jG%&^*=0ol@cZxYGaΐ]eGǰMgu}^ BDsӌP1Ǿ1_Zk0]۶}pƋ=Y8ݞ#PzŞ:=O*l2ɏ25ciD*f/57g>.n!F4l\7y@#Qot3ή;Ckma2kE(ւ7'O;]#R)Pu( ,ZHϹs/RhzO,F|3׿Mm7lu܅j9^\x#N#,aW٫epb@pRs^u(Uso`2EZgzoN7S0:Uƭ1Qi&68񹑄+]S.I>bpхl*)s ?\ :4 &Zp\Ws.+߈v6vКDefQWO~ ޠFϫgT qg"B!ozˈPn mRkbӴٛXEQ^[{7'-XQJC0҃{X~TQډOIL@]Fbzx Ƞ gdj$4::'TM yjuKϜ}m\hhJ4^>Ud{?PnF/EjMBm,R2PCt7dt)kn~K&liNt*rm Nםmz~|hݐ&lI]^B ^dRtN"a%Ι RJ/2  y|h"uk3v[i"*oc2eeMhI^O9>:9qAF ;aaqbؚ[zie#܆w?{^plǵ1uH^db?$sb,-.{0 l n,ܕE|ׅ&T/2ea!Ȉ@gYZa0be8110a3d91e2c72f727a603db0784253908e4c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 d22039920e3dd5514e6a0f7b0b03e24885e7e9c6 d1d47b2b08d93dfa5985dbe1f5a3c98150e915ee e938529f16ada56f7b3737f1a496cdafec89d948