SQLite format 3@ .0:  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  <!d ]I]CAVA_Setup:threads=4elapsed=653.808cpu=2318.936gc=227.884factor=3.557zXZִF! 2<]ŗXf[&з>V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs u2E ̀E0tQ"ta5r,i&{lG@AI5[eV~2[ڬS>g 6zºVasޟ-!~4|) RU7#6jjr3䅆ĔWKθng}Y/ajU~c7[ҚZޢq>nx}e6¾iG*|< sGYn/QrO@Y:5tϸjd s[~ⱇ2E^4ۑy!apρTuޏ~*Z.e`b0\XJ'8;IT V 'gt&YԨAcr=&5^4<+)/_1KaĻ[čpe.P59)'B]Mg3ծ`n~ 2;V.)X ,W^K4.й Ԕ8Rg#L-O81"/S]lYfh>RٔMY)\`.s,&)݉]hR|U-L#'9`(ORKfQu\UV6cìv,CȌX:o]W4qE}4&MӾ*N*EgYg?UI<^2ʼN3fux!G&!E=P9+~A;sLD W2଎ЯH290vrX ֊*MC͚ 1K0 1 b![oh^tu+V,YhI  ! CAVA_Setup  ҋ :ws3q[ET+Gr R+VaRf:焪 厑-Oo&D>s/sЄ*D)+ܹe,f\?VoHXikrepf{oہ~޻9\%+=|nw bء^946NQ?*1,@ܑ,1G9S\L8Ti7k8΁ `$}.y1α q 1%ر3ŊXP~se$I4˜ƸζD;c]?n[t sc7[@`LvvfiЀǚ.149^UU2qH)-±#g,A(nZ,8xaU^M syBUn kM0nʟ ^Xk7bD#0(+tiL2o^B}=Z5}&iSuF.fFtܛs4Y lG"*C 5jWEy'}9fŃp@E0 4zbJ#Egy\RL*!K:c%4K#࣑5“)\Ec:P$ eOg-I[ iеaGhTD.קO4'aT`s^p 𛎦2"i e<eX׫ t2Gk^w/V,ӵx <} HC4.*N>#qh)H9OtΪu^&BQd i3v>/>^@vh.Nm>v+n;FS+[3~L*BބP0}:s(yhW$) ?(=Rro[(_ʥM*HTڏ S]ڇojH;Zsۓ]Ћ66})ګ B)fs@ F3"_`NJQ%ĵ0]iF)'ғ0[;y%4]X I3 7Cj̪ eͰ.7B8rBwnmR$vc4%۬cw zx΀uH GV uce#ڬ rPjA"l gdK0e=KUI7Zǀ6 b7Mz'/C=$ۨmی PRΣtHJ˩[і|}A,/1Cת@]yǁgegdd>+t\-GxZPx6+:y9V.L4. d\ge ;f5wd=MV{FmsC0n[^eq&ݞ,*q=>Pʼ4:\^ ʲRFMSRA*[z1M^q4ר۠KH~MԌő(8.;G|.%vhyux$G F"eQmV ɔR#1HaS_q_T!frC5=CV78M/ة)k t-Kpxdu.ԧ받PJ?}/S7[w z*weop#SF[ʿY sh~H&6C7n~, ڲ-~?4ˠ(wX ӵ8̳>vƫQjkKҨy5aL3 /K|ÿBʼw'% 5Df*/,Pbtc^IZ P^ _RNR\%ݘme+DxL+t1갼X.ujxƧ>JhTҾlsϙT,=ƻ3 Ep1޴9)u0K$=?D@3Jq8l?EkrX/tׯ1x58u)*4L'{§ǻ/26i%,.ȑEcjYOEvjnddT|b&Vɞ?ē)6B@ lwb<tG^`pbiuߓ-{vkc`IāafxSJ&=3:e~e ߴ6^eʳ\C⤁I+ %_+ )79Y~#MSt@D#. ͕Od](WygPv(yH_o95ĸ8ntbx7<'vi5tswqȹ14* 6JG@vfpS+7|53JVц<@N֑=81+ʪM?H8ց#S,}CVxf\%<2=+N=N碇Ġp^5+0x1‰04mc(cOisw6NoDʜႲ5w'FpOm̴6x7堬3AJ},$d(&ܱC$$UVNWũA+ $]60>o{C&u]3Se*GΎk&&a% R:G?u،=LOb ( v) @Wi4ďɜn6ΛìV1O:$~|s:dQ<=7,lr 5IV%RR(Ja"ݎʒ1(:2eOn)[Ȑi )MRvߣW!2v= x2u-JêVn*vF$ݲS.wz1H{Kp8U,a|Ry*``[o%Ctx淕ѳ :A-8t#n5E(GM6A:x*8\30[x\ڧ X3#vDJ @t.ư=#jtvs5?7Y&Z#33QĠxk1aDsVQ@5v%:E ="kJ RZkD+E}Po1qkWWvMlb$_VGns+.{wÙ]b|ځzEPWM\˴,fA1^Z>7Y7$G MmSkO ca=mm [ET^RUrjGG02~e^mCuoPw84p=m??18lM;0^.ހpD K9Ǝ@ZV}Aii oHs $'cŘK~Lyrw:͏DntM2+N#ʿSTp#"߈/%P:lê `] z8꘲ jMIcYJbvdsuv8GԦ5Tqhei.K#_<O=1eH,% YΩ9`~ܾi`5 `F8n?@Q4$p8{L'W.FD4k I*nCkwCؤ[*%y^=rJJdx\z#n3-+Y žo[wDJ[턤/tzUQӍmLCϝQb~ˈkwrQݞr'qZp2nJ<]5'wku%nNDV- 릢Q y1"̿dA}|SdB#@A̡35RgU$PѳE02O-(yrFVCR@*L>/˝ͯlr" /+©1(,Bjru$HT1zDwB P8F#HsEܯAgybRD4ϺyJ!EZbJ&};xewM:Luvn#\* cJ+6ٿsWGK{YdW4 FȦS^w,aIxtqB22L[%MÕ~p@3X@(.qpxZTW6(C^bM|r;(8z.m ޒHP"g?fK-Q{NoDC譁uZN{8ϻx ݌{;:/;7/p;Wr|uN)rSzknvP K=I9}_B1Z%\(\|NYG\,@g.qsQX9 iLP!npcFW ^M &/ߠ5ZץxTS/u|b\Gh~SXJ8w&yBwcQl:sDu1̎yA0^Of-!T.!V&O+FqocZMZ.cL0rqh SӭW4{'Df}o4({pF#+xJpߗm9HG{\A:gl}!2O ĂjrlܱgOg(d~ N Ɖ8N2-yZQ+GUa$16UP>i@k "Wmqm[[ϰPG"X4 m_V-d<;)Hy4ni)W9-םRsD_F͊/`- ,;ǚ|Se15@{>վDHje`!=ݺI5KO]C"U^#y%iUSjѴu u3D@^% 3l-R2:XdeȎ&㌈7N}7>pϹ&laR兤a)tCTQ=> Q=b,V^+w*"JG)gp W=8oIQLbQ.LώI189l#CUl qHO&ӜF7`oe!\~-% \M1_Gb~ED sPaN4Qz zsb7$29Io]0I"~ri<)o̶ |lo!2O"Lw"!+_OaZǡ ^tG.7ƊĩW6C&AigJ]$FF`ն ~ r.K6wVJePkJ\L\w`@/cL M̸Tz1R$!mU 4 N>}W|Ӏd҆Cm":8|7aK];7 iGcc.͘Nx!AVϧBm+!R65y%kY- gq&Z|o.>]VoX/ d}L*>ebGq<0F'-R⸤YOLVi/ׁx㚞o.QƶI++6HX3mm7Y٢kyWկlB7Km7MQRG+yąT\tX~FcՁCS>5'f&t_gLgd* ̾զli<17 ¸vWKQ7ec=tId%T@1݉ۗ H^4ncR(~ŧH809OcznbxVFC/z6@@i=zjVh-E \'fq'oΐʝ8˙f<ЉgSyt!=] 0JΊ',OT*̂-P}tؾ7iq3bOoxf#C*3]R'՚s>d ޵d뾗@X(P G/%20FT.^x\hWe&Ϝ[lɆlE{VcĜmN;Ip_}h' 3J6\5L ,$Nkǹ|}Ğ:@ӄV:F#݇=C`=7_(sWp"Л6 %+bR,Ljc\ދʆ'sl}"˛QXt$]1l}(96(c MVmV%ILEX-*JVL#chcV8sthBrC ܾU4/K}o5/Z"䖅2{\nSO-SG7^ @\5r๩M^Q_1=?i3GzN5t $frDR_`'5.lc$59 ]v0N98/#XUapV=&]5㫎У`q8fϺtYK9(Pd>C v1r_t5?,iˡ8@Q(04ܡ^ٮV/,w0"9RfK i%ێ1* YHp7qJ{'cǪ|X48wi~,a9v=G0Pw|.֢ܻ-_ orpӅ[/›7\IP[ؒlj5MbcUj?\7Y&`e%I9;gĞ_N7bJ 3s%^ݭ< ,8nkGTg6ᷭꭊ"-]ݴJ[Rs vgcwDNzv65zٛ1SMG if!b/ѣ$r.eo 6̃(+Q-~NU3īT׮P57WnYhFR?wf.16RU=+Tu>tWJ>M51q1Q% ! ג7})`W( 2~ 5|u#HS2nmq;E\1IW]sxGtʍZc@zCw;DXHNqkѠ2ϓ碢|Y jrwr `  :㍯]Fh5\-I{ebA={ r05gC1 fsi'csdp BI|^ TpΑ_IS.]@.+;ălyU"}S7k.F[[y}De&)IKn'цb&N1CfܩċRHZq |2b[,>i<ΒT<8[t[̑2TjYUtyTXR|Jhm!g_{! 741VSʧ{b}PU[LmsXՙJMZr7bnMFEHqy OᬀkZg7ǟރ]QyRk (T䂮T#r+oӘ_Tt%cj7-HQ#c0c>д N^Drq:9y8 s5ǜ)ˇL T,U <!Oafz]=ꨠx=Qod ܕRi-:)Q4h6v0ց,B%q{{.s\6\n_2트bD;>/l$rk-"Uz3C[qe"v[r-+XVe^'G[EGQ&mIg;¨/~ٿ%jpʒn_` EcCdBn~5:™qsډl>$C _"rRY F%Y"6Tշ=It}a!>@:Rze!LbN]5`dwP,U',s$0}3شNh0DfpቱcX'f~14ԟڽӁ4s;Ҍ;U)ـW|2G[P$VW!,أ=!C"}i8n wו+׳:9UC@ C\] `OqJ3;+]E$%MxpB9>KC_IkH'U.b)DNg>߼BBUޡZbb8 z>թ!-8l<ÉCYUd=_Vj14p? Y*>)}M(&>S&/k}F|bKm޸Yel1 _+G$[j9Ģ&s#Bvq[*ңhM0؉(N-EnC\xݸ7o<-P6SI'()#yx7==9 0M7$t+N aZ܏!cu{ 0"ز֛KՇwh_ۃ#dȮ ͔{B`ԍO[d"M-{YǏA 8tx9nFuD>ruWW'1#bTN0-B!痶UsSd}߮n&yoawgP^,Tւ;پ*݇*nx%O!}ʔ|6ܐcF,,ҙ *σ[o 5QZY$r)Yt`5rK|t1B:k@6U+au‰=}JV2Bt\ĺ:#S Afn*mTOu@-x;7\ S1 UiJjM:;}-1-DElCta4O+4TΆ{$2,F;S$8ZYSJ.qP 20tQ"kmn'he礎"Ж<(Ǥ*9htZ hÌԚ6H%R2׃hY'=;Wb.'>X,:?Ÿ&̩3{ʕ C;8qEPKXQyf8t%> r(JCȹ%Za_Y^ڇl ACIOwl U'+RĿyFڏqiY7jfD)|-KcA60le;Dם}M"Q `D}EC<ul>sx%1CZj`fȭWY;.g+h99[_]<ń> ^.P3FQ-!O> +s/daL}<|s[?MmY]t1S b}R2iE~QԔp0k9lc}&)*mO 7y{[--hLMVK amxNXdX=0++q'>%h:rDf 2ժ5l7L+d'Pp*&@ •3/"W(=b}#{*/[\cR>K ;a){KYȟc\lI>{l+1=ȋ U_y?h,5C KRh L摉sJH?I:\JYn /`XtmpsZ%mpkt4yRݳ-ǘ 9NƙȤ8cȺ rAS P r=Eߞ9.FN +Ȱ#r~9 e8lkNz'K6ˀ͆G;/*+]6w#n s|YqtM P7i0K06QЌ W,ut 70E<_K01V(φhRܐn~4盭n`itlW I!K FC(~Wm6q'ʆsyDc9g7aX"nrޝ}vݫ8w!"zgB/_ eqB ҭ%s)g[,"T,B! \q4>"=,~}=pJow1dɓC;&~3\v3sɭdu aV+O qFv O;"޹ : rLFpk[$q=EN* ҺVH;kiӡ,m%QcLwUM\V {aw VjqOi*qNo{ f*vkdAA3%zSlYL-ߏ!`ߌu+xbMJ0uJiD;Ýr9<fO ƛ-'; u'AjecKvs43'[rfP_bYVm0G8R'W\jQ™'}aL}w_oj鼰qc١6>w(;xGӿNNL660aQ nIo L@<َ;-81Ez!"g֨м hP!"iwA}2DŽוZcc"~&vl"q'>=[ ij=* u0{ _ ʷ!xf ,dS$9=/,IHW(/nf rF,i=+"{LȚdA@ ʘ4G$Ye@s(6:";N.mKʾvjՃX|NbwOmg]L|($z~@  EѭcA´a:dQ( Fzy J+\gYZ7zXZִF! !3]ŗXiɟv s3mU!Az|ByR:'0Od8FBWl"Q@˗P]'3L %[RI/Vñ_s7 f1pGCLxVQr{bl:*%/ 󟔗?>BrC~"F ꎉq=_=rNe|@W@a \f^߳L'#+$i){rti7JX1zںr*4'1cC` )piUДU gtin8&Ϭ^lrdM3u:0=YkxcGc^sSTW3R}CxAm>LSrUT2؛H=EWlk.#T(ɃH`\Wd z4~rtq:je| )'ZvUn—>pyxf+#sm+MnezA\U>*8eܯTG81O7e9~vm42ژĉ J˥dewQNrf: CdS '7(*V+<.+3Y DANԏFP3\E>?8ZA>[L]eRo@P ԦJo7zB&<0|$;Y`(^7">M#|\1޳L0=FTov$6S -V 1ij] IӒr4}`f>:>|u~=(ZWչ@^?7'cu&f,fO_¶?9X08i^rfB5!{P>J}W~9(-6l"wn9VSXX+\x|\42T̨dBeNŜf6FUj,kexC(<}^Pbi"~F+=ܥ&4;UI33w,OԷywq,eEMY,->5(0Pym̍HUUIX|"RXvE.2o\4ۤ i8|S`tST 0BO2ViKK bWes3LQfa0zUd<]|gG5T?d|.aKRt|+]^vZL.mױZw8Tdp$$QRX!@P%ro\UIњ!!5D3 tAΓ.SZRRϒcx*"9&{,]/P B4RgYZ7zXZִF! l]ŗXi%G̉LS[Pƞp!;)5o%nyˣT9M4Tna)(Z]Lj%S}\O e1[(")Ĩh$r Y[l%-$#eZPI.N&NdeaJJ Uw^&M,}F>I -jGjXl>g. inOi+L-LXf˭ 55W j0>)*(kYnLh]>Xosr|/xYCw̱#Fc{fX`fsYp?M$8D82CMl׺OY -ְpMGs#CnĶK٬P 61$MjrɀL&!rV~\! Z~OMyeuS>"&;Vp.%w2.ۭ͕gom3G1d쁉 abnh-# $b3Ȧf6 `,wAhƂb}'ȝQޞgf%}t4@jg.ZKw%*ʫtYg ~( m ;J6bC˧3`8o;aޮ}XC}rH +IbĽb=D"$-BdqƐ8z%]k Do8o2N"xτ bi d%~U3͓xbyoC^i՛foů]I =s=~$d202Om{1G.#vK@[DA_p8v@rvK!zVWIuF`x CO^PPoS-AG7c}-(RA흏{B9k[ ȇ̟%@3]&vP_+F枇Xi!7ؘJlQ48[+TͿ ')ETI>Ueђ!A͒ݞ},31QɆAfF=>*9Ȑ'4&ͧw[2*'TLf|0L4Nu7`\p5Є^)+f=,x6,JfQM9rzT@4wT,E,?A$ذtX}<_P`ZbQvcJ\oX} VY#%ɨӼ_M: TܯdX VS\B(bzl*6?3Lg4?մD$M{*I54>I"V^嘠 p~22F:qucG.?id򸯺ɺ$>"ݏ#Ikc-hc`OZ#f:9?I%i݈9ї2KqHFm5FFa ~Jbor8$S*U!>޷U}Q.4TL5 ((^WdM aO-GȓI^v{>dY]_$ na6xx+{TIOCPE8~B0{ߍTϟ]=2.9iN$ WKvDK3/Z 3Aii-xKg?u-K #Չ[ G3C<.S_0שI&Pמy5yi.9vla/FpJ\dwX?HּM"eif(oVa.o  jxZb2ɖ$9EJc[Q}x%|Os4D5tʎLպ vkW|('XioPG8zXHqf7y)*:z j݈;+pg.mKz'mG+=M!`b9Xr&:o8aOo?o˴^^Stk@P )Ӱ槣KHӼа$Vs9⟅Ùɔ,F.`W0 `S1+OBȼ=P-;!Y>ol9SR? c]$7L㇚Tzrr鯰سɈT +G\ƺ3T&ߵ8;EG AYƹ!7'xY)2-BnJ.u p'dh^ΪPʲp4^t`R#"*n]J?g6b_U%ioEhush 4K3W쾂UH1٠Ψ _qyۑHH w$v&n]nLlm+EBjNU:!'fpRSޅ<(t5aa|PKxWFniO*V 6bk vM]|_)pr +VÚ E|W2/+=}utd_Kho+GK 1~cDb[n`'0 o*5ܔ,z5D^k^uZrKstєNOHg7֚>09ƻ3O Зԋmw+իM5a'3{JW@n n9+mu0;JX.S ݃۠[v#)Ox C=,Ƚ L?1wP \BMlk=!bnŪ}ÍZf!07Z'֓Bz0 =JCAY" $ecpZy+h =G 20#6Sٍtr@.ꄠ3xWg ;aSd5CWb>zhR` \.f:ccFm,v=5y*NYaY3d_idetGiH_Odwc_#Z1tAϯ+/1(0k$7ʝQ ?JBXK%G޹b(vɓm3?vAlZ g`3w>F*ySd(9vR,u[_1'W0N,{_OwI5+'r#0Kdmd*N(sBE*H{p(ΞI{{P%$|Hsrx]o-[.0.t?.Zqn(b\)o{GI;(SA+j܇4ϡ:Q `S9O4Bxq+Ro-$w$w\p։ME'O*?%n_7\-/(3{f/oCbh$Th$y*Z1 G۩w5ЉLP$^wyQB~qpsgQlXJf$Y0e̮Yv4@x34u턓V&g V8.%.үέ* )m_۶1ea0D3iѼl SAy6h׺7 &x7/<|>}SsO)a$hFyR'P5}iFSzdB̒8J=Т`k: ]*ULl_P}yS?44|CYƙL$[lE=wDS텬ʷ/h׿uh|TXUy{c͎ OwВ{E~wcݷ(/[g$ޖ}⒌^f6O0&)ΚWg&~(}ϨTB<ZՒ:Ή~=!+b.Ǚ a 9SU*jԛi$C/@!bHJ)Y@P7aܞkqU _5Fm D@p:^:LXEܺ|7* wg9)w }K0h 6+5!GU̖bZqd3Uف *]B5v A(lO b&Աph,Z+wPqZ#Gx1uvC$zhG#íE1pW:%X"g } q}bzf. .?mL¸p%([_1fXu 3:`1104\.ݱ7t ]V&0׬Fa[p*y} J1~3_7JԎt9m =r<2~9CquQŻe'`K|db骧]EV4Y&yhFxM<$xc?JSaR=Z453Fo?=ao&BQ'; [0s4 ,3 :pnT5Ah!U5lb C-r]3N*=&JGMMvK.ƿJr;j d V-.(!G d5@;Qq} <)2Y`[3KT=ʮd6&J{Y=8\K<g$)œN-s\~Ľ w|Z-m=pKo4لv 1Lm~HUw?$H<PdAyӡ'3k}iXf;[; 2<$zѭ׍/Zp{s9!q=ϥch.h"&(Y7R V pn45k;bU8ᄨ!͎2Mq$϶G釟TRg[3(@H uQ}Axpb90GTi,s7wN_]kN,l {Өw;5ƌme>\S0>}˰n1iTV89է aIgW:x^},yIEXers fE'C HJp*FP$p)/E\,VM2K%!a*ڎ7 SnA@o0:2: Xy~ q0_=;tEjERG|(]w;C[/~>{@vysT68O(L hT񹮴y4jqeo9|U29ͺ% V)Z_Qc ~-'ѽn(Zyv$Alsd  V=^A;]b_+K~3oia"3]f7*RZX%c- Œ".!oɵ;R堄# sO&K0Zuʚ.~i"4WY"I4OZu, ҒS?D F>QuPv־TAׄ^+U08~Qe]w01}(bS|26c;WqY>dV½YZn:UNGdwQUAQ{%z /[(4Y|?Jm0x&s}p?kǧ&$O8izŲEkb{|T:O tC;.!9W7BB=ZpJzSJi߲I{_64 &㞐@{ Ţ fV8fѸ1/nbhYC;Qaw }W-Gm$6G,_ W^6TG!%'Oki|7̏]JC;ֈٛ^Ϳ{!!YXc˨MnJޑcB-Z-]j-1&Ϙb0V_Ĥ@_P)4t0=nG{;ji{<_qq}/"۵[DPI6c:6hd7p*@~ zkX9N5Ua5Ft3hh- }gmJ[J#tQkJWf\ EQVҕ+@``g ɛOmKhHFa(=~-nJyYQ$=Ikm#Ad_ZM!]#6D5HV?Un yqec'Θ_[ (Αj umYax̻x 3ҝs!+uimyc2" iV3#KVVsoc[h `y 6Lxt"O:U2XSA/d[ ӹ2;^%`cCh [n}Dzex"\, ?949t0fz,w6Zfޜ.i< 7XR0BMyȐI١ޏJ_g0/[>Hݸ877:uXOt3Mɩ+'{ I+R%/--+$kʯR:iNbqx] VjHVQ{xfb3E Գu5GiYݽ>dI"G&~gujExu+$ :eI0 ]>9A3/{fЁ~ &vNyY'2*eb\Oz]k!t4ʧYd'?1| 9!"Mhuto"1ZRϑp?\oZ3p($ O\mɽQ_>ЏhVs)RJ\U>N꫙lEfڄ`c7,~%ӹGB(<5J$ʊf<- pݡu0~-r+ ϲψfPl`2-ݭ'<yz*'+9G7ʄf$FAgRQV#{IwF?X5$ES .65[״ZA)Vw,P5$s&ڪ~,] 1 U͏skdhB]RHLڿZ墎;o Ap`صol'%+,5D(^]فg sQU VBH ,Px6j gr KRY'HᶌE6smAy¹pltΆH.pWXRl|-y~ʟ8$5 g@Ak^ʯ-4;;#GC b;S7ԍ+qg6&>{:Pzy=vF )<iXw^o{><}3ZrUU6,쉈hG*h!ix`ŏ>!?YւSKzWgZ$bAC!/IN9^З~sU`@ #<[: 8ceιMX5_-KMXvk}@b[ެ?0P  ٽp}@k,uHz}j&k ۬eA?P7& `!~44ןXk 3?'ڳrNi+gZx@kf(D؟pՊ3 X/ol)> 83jC(Qk[mrqjG, 1(c*HHNl@B\F'EȒ!SɊ2b$k dlw'f6eVK,k4ȑz暧HfB[wr>A5Ժs U` 7.:+ѻIúM,Y踰uT-SPBSHYF7)~:k#ׇD#aۢ(WʑS_]=37jPT'A%E/_XcU4@ ROuچ=uv_yrA]G)JŽ:ąGYATFVLӵv쉄/s9}p-x7]=}g%e:=wCzbs˚ڄt۩AF)FE=˛k꾶:s!~2'x#]c2){ mu3 hm GiyոJj-:iJm" <"QJ8>s(\ 8\ԤK6[OQeTiAjwOÂh>!IMF쾦l76ppJlwC5M,cН?p KܽOc^ 3`}ѹQhcwyY/Ou,ή _$+7cv?KFU+A[e'86ߝYH=tCd/Bi꺷* BOzgȡ)Z[_D5Z <J[9ڒY lsU{&QyǻBBy[KիNM]69ΪQeQk.#k|p1FG8'/~0,0j:4! |FakBc~衎ZR<'!DzpN3L)c :͟^6P.1m>gt}zȄi$מ qY{4ra-YJ'=0vaEA(i?0r9P.ot4>쌧0v0F~snvGgTd6)g.?j-u-UhF0Z}!J7M,ًfD _~@=QvdkoT $4WET7Gyyl byO,e i%a@cܚRmQ0)m`D#ifV>-l2cCo -H!xwVyߋ>fŗ% bz*bZYIГ5ԞCi{Z%a^LJ{gZV*>!RƜnǭuS@YD¶ -ɪiW %7_ C._'rtұc@<dK9֝8.(lJQ*]s>H0QM H$̩]@pA/|S~ бv2pLbC΢w%Poą . I|C!K܃5#I$vs.d2R1ǚUUqͬ9Aʾe&8*?PDs8+IE\ބq.c&yڠ nNYs78rq "vGx9]s %Qvd_l;dC)g!H3V$QDDw((:3\1?z/9¾RPK2C#{/:7g&Z6 X{"EolwO$D{_r9im&=;iW>݊Q?ˍv0Raא58mK>$ v^?ռ`Dծ8SEd9!l(Uq}4qqjH@xKtoS1?6ڡ6v`yejA&4hb#9y9DĿ4f]Ԑ~iu^xyc%Zᩭ鞏M`,vy*JM.g.t+#"k(XjӪ67lkuRW <^9T>:T l az?+6l&Θ`:)fGg pH@|L=}cʍix3eArl.YITS+"{q697Myc;dڄMҊ؈HؚnYFJqȨX}<|BPwVWqL@bw=!?MSa3a{=Jl i#%`z6Kɜ6(^>COn3[Xq4ЫJk?'N+[àt^uwW֥2E_>YoBnǺe?( ~N%s@[u1d$\wq=Hk{pgS)s]֡\ +l ; p>e˰l})RGwUϿtMF.f (P!X xtpZ4Q; ] X";3{ D_m=:N2hЮf>T8g8lD}:Sִ,Pű 'h) E]%n"nG:f^BP )խ,YĠS:rKEmre,m]l9X]4:kzȊIh1Jؕ?PXixJ=v%y/ywۿ'r"+plsR1IY+y"!ZMX.I(Z{QI'a~NtT=Eg,Sn 4 'P?t@;6yq"¦ /tҞWI3, BLUTQXZ,hؑ}sXF y!6JlঀpRF}5݂GVA&%KMXLA6h4t^:Ya7`ݙ2z[E~(ocK o"pGPxڏb!md{&m. f0_́AFt;^x7XIn%HG#7 uSGPP0]G&EaNSSA0Ti /Q>*V]2YpP>ӈ/e$V-&o~f^-u֌IH ;ÉwEJOg-qŔ{Ox+r\FaM~y)~jʹ⇼%f.(se'V !QNwrɮbzTvyhC8t1@Dk:␘!uGS#ke &jxSr6tm7Cp[i)I *F껕ٚw_ܯOE9/f eIMy~ii%$%Sl$;uݰzUr޸?|CSCC٫:Vy ,>+#EkG[~poVK0*|j:X(V쫌Oox҅ \Vp* ,j/ wr$R&#`4Lݼk.,?X@+6L]D))YH>[4 Eh=%5@].}ĀʩBBHJ;ԂMF_ݏdmq/! v!wAvruRnmye.<1'U=/2 QhiBbf?룶ϥQ0QKDWpN1Y nCջs^Z #SlᘍنtBlCSJx`K;"7p*[Sڑ9&'Is~>p .Nf++ ,k cB#Axn\ Ǎ际#޽=PCjv8BA.M6ULW˾|NEfթ3}JDUW" %f@nSr) 7Ճ 7o>LCVۅ zGI .LQp+f0~GgTt*d[<H k1mʽ\fTMZϏoDCa^_?׃ KRRJK (_k C8pkx!z+7zCܓzII[ɼ{:>Ri+#@Prg]WeK;9 5K\Frx v,%qnsy*mP*Ʉ($p'R^j,N$?S-he: $tRKGQݗe8z|֏Ɉs&b I;S\aţĨLuT-i^ZP1<.> KP*S+b6i 뽏."]F()$A.Ep*TGٜ;$aĨogdnp;Y~9@:6k JU;LzS?w(鴄XrǺDĨ^G/3^[F4q"EMWtX FPhIC,8R2u&~-׬pk&@¸/ 2*fZ.cY|;ȲzI4L@G-ʆCW]D/O](خ)pM -׮썾|{ɔ,ǩk)/NIU?Fl_4;}}qE *SX*OE׷ %H{qtoŇc7*D$dQ;cVG#ef?it\Qf~dFC@⭬Ɋ425po7wP8cF8R8[#'KCK6:Ro6kpx#y[ aєA6>ܡ0E3:J[B:BqJ*}sVA㺞^xl4Z%疊ڞ#zD 5-<ᰱ#H-]h'l4s§*ٿаv[LLltu;OU4<;Heډl!H"?P:NrrJÔbu5+P1=b @% l ^Dzc)ӥEf4^[ CMlaNq,S SqKNոBXw8hiɗ= `<[d;%mi ֏jzxP90b~#UIOdap|ZF}v> )T؍` wPdy啸[*!zN[LI,ů9/+r?qz.+Rҝn Q ,pSYkΝ ]c.BMaZܓPrF"|@Dq>ohڰ z׃ƷF~y BޝyQ4Ul;,6*e[ ifwD^PMU"2|/6: ]3dXր^zzh{? -zR a;&I7)g}L]|e[gx/=yJBK((:ky ~UjH2׈mdLkP3ߘ\"Li4Oa2VB*易P;.<}ڧ Ȉg%6 '8Vv/-e$p$lLtwWEӐJJpUQ{^}aRi7&}pZ@Nfr  xݘ9\efA6q˃ b"%rqa}6)hFON$ֽI9HƾXJe鬻 1TE3 ^B!Aa3,̤Ml^HPe_ЄoӍa+&~؄v&A)/8\ %!sxJfi2{%V?}Tڝ-_fPh~N'Q_F!a8"@ 2^B_oa"vY9޲Xs?$z՛ܾ,_yЄc^'%〦  0wGۖSV{xBWR01t!DT9]X@ Oce= 3A;b%UeR*پNX q| 'ھhhMQ6fsC(Zh*'&J'V&TLՕt%v0MPBt2D\}w)~ѲFvL"G`ɟh>~|eռGHOpn?Tp%6mZo{l'KƚiB8e\mpÊ? N9^AXlI]ԧ.ov?0];֗+ro!:`ug眠B{ ɘϴ33ժs I^oUeSYFI7jR*HdJNL`l"Jq>-5CCh6bY[݈#> &+6&OQ%FڷNTXKe.Mfp[KBLBB?U C66HS1ߢiiG5ⷝ廇W{Cx)OЀG9[ $P+/cSr`h>Hz`ͽcBHTO -Fk%F]J_.Ҭ7}R-zrj PeG1&M _jxҜ3R0V)OfJ >N'!?ߙ. =rAVXh W 1'Z3[ A)CJd'%/bCsaAr.: _E2@04:vMx:4'ھr2,6o+zA=چE'4OԻeR1 .yb,3Jx@Dە7զ?dHܾé `{5XM`RL,2cLfpȾѼ_ʂP<C>_p 5 K/z+;c'efK /a)L}37c58>mjW/sUiyC)Nm$vyiOIvt3*P PG5n_JYWZ*,7t Sl^OqstVjŽ/"@DGxիjӠ*K}H8^`3,r Т >^un qj_hsԺ"Xr6 )`{(통A7rI@llkà>7; XS 뢴Y8-)Zb0A'k !}:0h /{% J0Ta[e h@НњyGZfN2;uTqؿD8j吭%VU.y6d(ol;cRi>^ܮuAvA'#,i-Gj}&Q.͝+{~;~-^d3 'qD,se[ޗnl+vyZd8 fx wFVdgMmYuN+m t&wq'5"Z d !!>Xh8qP- ]!b kRGVGG1%^Tn)=E / xY\=E%mp/u,VşsQp 7O0KX$eL26:lg߻Sa#iި43a7T?Xh-&;>d x C\ ptSr1FQ@?KHĴ}AFՄ7y(x]HƐ::gsb$smH< :`2XHö'Wl4;=ܖ  B,X2RoŸUxC]P/ ad53H-MBU|غR1_-?yomKVoz(:r;s;V^A;%!qvT5La}؛өMb񣡓E/wxuûPSb\oF~YٜaT+|g)qo#Hv:i70뉋9J?/յ{ai:A)Pxu mR+=<Ii}u$jT"Lɟvٝ逫 uZ߬@(2Ca<36u%*}EƤn A!}llbKԾ}@ #fWg DO t1͛Xݍx< UOstD°VOD'UX*^ˎƶwť¦ʲ> mxD_m1L1qZrQXaÿԝ\8M,e^pЈUG+?" 1vБeȞ\ UOL_=c;˰@q%g ;)40O'Zڈ><}rvpi.4J??+#Od" cCRv'i@Xl 2f"m2z#Ym^Uۨ!߲ʎu;^K} dCJD=r/KT^MX.xfdYtp"Egݹq36-]BIչ$PBZ]3+RptUZ |xc !x2jG+̔AJmuć7'Pڗ".wRA%d64գ4f[_01F/s (ƺ@*c<$^玞d 2Ocqr+dK'aEOZLUNG#m|, KS7yZf:dS[$a1Ԯf)f2U޻2´Ee* g&"5LuIѐ#6fHިrʜæSl<>gxzL1Tuǰ!i\ެnlq?֨V<}Fch~EW%om9/h:ݽDEl3]!vX,n] ^3hY+yȡr?S^%:ت0-<ᦐϺ-儐d#+kbtVVThpqi8B!‚0b\9׻S۔5|i0_R*ӊ璣NsdO7S C-w=y1!,nw+sؾ(WF5U0C6ӓ"C[qE 91F~Tk0>\Y0o6]ǜnPND3s̸'sv%ؤ|v a5z*$B&5'\"KJx49>Q((UhO+0Ev삡v;Y"HVzh+'M$%#fM?:kτ 2yKJ;ۉ&hK!ϝ@r6P r-М/+-+L[a+<`31fl,aYRm1diJZ^A=5C h{EY(Gؿ"T]#lKoPrq!z^S1A)f7 }?^ڮ%c.[~ρݞ:B甉XϿm1!<ſ\K|~!(PwZRhOɰ;T~ḴT熴mq.{BE9:\[_ 4Жx&QnJU}6F_)Zi$ ܎6ފf@@Aqy}"C]OW˲A4i@?a]^q'G Ȝy|~[_F,^:aV:e$'BEul=G>.D[|T-+0N;(&+̾<5kjh<VH-[],'o`*ԖnBB-UϔwQ."ݝ¸_Jz)L{h(*I}k"Yt Z.9#JMcV6.ŊZuPO(tݒHQ`ٙ!8_FV\IfzyvQtM޵q6VC B_)/; yMeYTcぢnxB*Nȱ+ǨXԜG9)ݮqiaYG^04ytFəR \ZT]VΑLFt+a؊s|7d(N1Deɺ tMkY2k73f9 j2CL8@i-h Z1w<׸bE ύ9Y :` W .nv"g Q F)O#v6s[D|伳Rϼ}vZڽ(1pʆu+FG H :cZ4*V%e!*{~F 3DŽXiyp,{Jm .p3涁EO..!HK-7@H<*O" HZ&ZVe̔7,MwJ߰#Mon=v̟gǐv-{v' F+$ k(aMAP DB *_* 8g}GQ Z`Sҳ EM@#k(]5TS0*bE SV^} t9+5EA hxYHd@# ccAAcQkQ%]X@ٔ4XP.`F17) CW3a V_ZXu{=I|taW]QU/%UV7Eޟ3MK ' S1]|y'w#q7J0>!oXD Aʷd\] f7ҥ6103߷Yϵdtzh#-R G 9OrlD.[C$2 9 ian0fXa* n~io.~D~~rNZ]vMkݖL :ልdxv33&frR:N3{%m>/yK ([&dMI>[kҸxw1e–iR:8>/ ch)Er\L/F:srrǨP*/fLV{h(ĢL " r̲xiϱZ$͎Ĩ L-n ߇pܚEJ,AI755$FFRoHd5/AExz+O{;k ;KUTHqs'_~zv:W]c w蟦;1QO 1,|^I.EU5ё9ƕ ' i b6+(҇BBa 4c0>^XVsgټЬ˪PqJF fRR^W4, |= 4~X~ثIDكګaN]8 ӦDKZߔX 0oRr<vNzC 5%O8vGJ8VccF9w!fnUI9 I4ɴ7$; a {3SQOOĶ; -n/ًGUr! Y J`s={Mۑ `vL 9H~r8\](GѽXp9xL,j IK4./(N{{ѳBfoj˻:n@ 3h@=d$7sN5@ QU7PZwvE*S+SR,JjoJ#z4p&B{Chu+3Y`8$\ Xwᡛ LR Trgs0;\%<7=c(*.\Q-7S,>tcFa9vT`ޘeע˻Dtb')6$T'Km+=n|wB'qc -H;c$ Qe^:4Vn/g"|Xڷ8$v;kũdQ\8*:%wЀ<֐h\糞2h5ȭ%j2l}}X2d,œj~r I4 םZz =ØH9g?zDܹZjl#;amJ>+.s/_W^U~t%V&|Rxnz<{Iv?5!= '\$0JwYsZO[U%\Y#_΅~gVAd8t%in<B]./2%-U|Kd#_$ Pr5ne1\3vYd ۻK šW[IڌOrؐw{|1 G?oV,8@KuA\O1|KN>[5D&=6Qƌb䭉OOA0QwI|;tȾdqYLdP(+ %_0|s(\GZ0dyc f{Ad~Tj5h!2޺7՛ mmꎒO׈NA|8},Ih@S`E9MQP!{;8yNY̓)K8J׏ FO(b/%ejLW(Q>=;[\q gkJ7S_W-SLAdLc/V˥ą6:¤\XlJP(EY8XezІi9K'0 -J=5.g_=m䒰+ ؋qZ8?I?!9HW-i1sظ 0h99pM}K$IoEK=@3ena@VbFp$xSnj90CA^tЂP_ ~[fL|K{i¯!) cKL5Ga/y/׮hQ]V1|j5?,/Far ϒY&U֌Xu3&OYqJs}@~D~Sſ: ,Y' ] Ͳ9Am9jG xsTιպ{ύ$Vd"dYO  )fWA .F(4øLǖ_1a'-KBA] <`FX&ɡ杸 N\ׂ+;+_!v뱹=73EQ> DxD5#ErqK f7(E5|t^k\ t!aRٙ3=͑ȵHM݈>[!T: MD(J^8% Hf Բ 2apƦ hJ6tFK$p.::><'uB=И7EH9 $W{ɭ1ϭ#u7}C/Y\{FIۓ<ćy3 6!ʒUp {e:J962oI5_&u HOu,uM,#)+zϠvu\J$~f+!~sŦB+䱭z`zSfGɩ&.[LH0ǔe"V)K]* g+ɽq:򐌎< $Yr e~DXO}Uz/n9L&rLt3I=T QѳP5#RƁH\XsqsSL76i5T؉"{؆CM"Y %Dr`%NcR8 DǡgPҭq&Zdjf *RD+>zN E(i\?{AfJxaI m' g*`D[kB˪~|ʬҩɉ27[F66^MIGDr}yaYRxl9kWƷm[l,$sXC á5E`bra(A-, BC3ik#}%7|Q}AY, *#5]T2Ǩh6!aS63}DatIjkYg&v{Z?)'믵sI.߳Tn kA"5+NsaJ|lK r${ht+3%K1lkfDB=[εz'l0 -۝ٚXՈ>%OYknnDZl>fB!>YϞeeEbd812j5znbZ[f'!ڂ /9@(8^0_X=H'Af[GvNhy&(ωB%%,HM?5o7g=_O2MPN: "3$th%%*.% I9%8Տ2J5<i%-z'v-UEsx$ܞ5us~lT$#㡶7z1gJ@ MZ$VzoN挦f-%cxmUK֬, Hm2hAH@G:hVt|Ky`КO3:؇m[Z6;ԂPr+9{ܻ7X7^< [Pޏ(!zHdvj6hz*R,7fسh[Oe?ޘp;K)E? d2*`{-M3նwA,Ժ10 hϧ El;O>oWmqakJI91ч2M&xhs# ?ܩ(L0#loԺs҇'O96&= yy8BSM@o˨aQa0*+7ϝ }p_۩U.ӄiqT.ZXv^UcyQs= ؊> lVß8Jߺ[4$eD $X$ɲEIhܟ*0]$X{, {0&ZDWbz5QN'退ys}n;h/V8b֊QPJJZ_w\7t,L[rұK%r,:H鮎gLcX!vy2){9RG:&ݍ$"|\-nd͈CȉxQrC$c."ife[U}eM;qX#Ss=8DuK SK߮ej1UNy)ԸzO F5VS%kU<kilf^臰fl:ž(5|8n`5v:\}I191 )1nv27[DoTJSi h <ħ Hh2HGE3jDc$ƹ@9ĴΞ Y Iu^"6a۞pY1z+Lu>9?uenz4 $g[r~ D|rl{io;ZL?戋Ǔiȝ_caVS{r8v#rUħ a3FGXmǔc[[zEh\bGu2U2npz9n #Z.)ԑi}ucm{un<;A%2>4nA9s"`_Mh|oY :8U}wz oz*Nd٬H޲ToTz?"Bj芇1 QBt0:'q-]G^J#1esrDU-k*XSst+*:´!5[Kuf[_U Ws?b#ng)bߐJiNQkuEsS`5^";^.3ds kE(<2\2+#ȄLJ 6Z^#)RK&n* ve|R`ayixkwvV~&6|(ָݗmmK!q-5I&&9U?Nsvv-)|LVybWm+Ϩ b@֗\lȟԈXlۛmtaնiSd_bR$J |0w!hXv$Z0"}[E2v2zt0mfsMD"48oLA|=iw458M"J/!/}Og7xšLadYnyWD 6@x=m4XR4R*+ Bfvg"̼Ⱥca'lh C$V?,4h\.|ҎIWC~#:?~)ot{C|'p\PnP׈-DҖCc  qa* n뱏<ǰBEAw]Z^ WF?Vٙ 7;4S4}$7~Xpi|D/bG@KKzPF#lU43Re]pL/E-$pឩʟQWugd_2Ĉ| K('у0R̻` H pںpW;FR?Ev'=Et쪥 9ov):U1fJ֣+' *ur'&@=Y9~1h, 5"<?ajz,iq7I;uq8e1CT[PEuƬ=qY![GKIn|+wɾQ16]7 - r`7)ruJ&Hw*!lxLI2J 1 nssľ8z ak[ m">Ae8uժ5| @f+ԮY2 Rl hC@֧UqS2asr]4՚ qqNkp;őIL].ADmiO|'3|rf V hIC)3lg42GzXWcեM/k?DmlC ~N5FtTy*HclVn/K##i//OKj!%we89/HJ;ˎP3;v{WO${w$O'eӱ$蓤Zۗ8ٮ.5:R7VHDQ4w`Roc%B>5 ]%잧CQKw8cΈ8 hOv'5% ,MV@xCRv`e5pT7OAybҎjNOt(' Eo8X_X4' M:mS~7nɫxm C.RRP cեkx s[Xv݁@31Rx#oD [ w- P#K ɋ't 4Z.W$S(FV2ܚK,_ Õl o 3mx~*Or.\"H@fVu ?ˑ`#؞L [ C`5+%g Y,} fFOS!JV,oEOf!xeCuDrAUfW9o5֛KR1Qw ?cw e uGKzr#+>;l76' >IiǠ+LXk~L=g? eLHS`(s[}4< )mNK^8g1u` 4ع ·W"E=FIX[UV}S:o8,Q2)<8ˬ)<#aJ!)}4XqNڊ4@!k֩,sn ϡsGy KqIzmBHjnzT6Siֲ-ѝ469B }uGPR"0]XFgPXf쫍ӥaRЫ<3CN(]Jr |[.ʝ[ˋGŲE늭/VJGiC5ITt1'2?ќ> 50Ԝ-Dec"_m.j m洯 @A+E|4A.pMcYL" }Ӧg׸) 1& gs&w1g[o( .!P>f~Z#K{՘5UU$酩ʇToϸu{l/viHb8!t m=}2'jL(f--rt֩)N`WbjQNp#W,6MvwJv j%}G,?XCN2%?]3 M \9}Vț446,WS%2d :];hj T^ ,pȳC/Qnٗ7UV _DPvs?>*X= ܐ02KXw+6<*Xxv;ʫC}j7o3`z WvYLkfjsm^;7:w=?.iַI"Aс=*b;<-f̂BP89,&jHXWt*S)_Y*p˄xғ1-Q"OzndPᛥΥ_1{E<,ZᢚGKrYZblU7`61,Ȉ+o+  Wgx?m`xI{u 8yT1 SD$+#}>]vb>jR"7^&:.W?vB!_Qp(DC$Zz$rWX\I[YL#ŽBc{K-OjμY bпl m朎}=WF:t"Xco'4 J0Z1!8UH[㧆C'%r9'=<”@&\J>6@ T%amgRTU!K=PH@> yJNOn&Y;28^5:՝`*dUݙ^i26FgchkBg%N b…\4 fǠ,I6%u)~SUK\9YdPip{#ZtAeoL(ȷkM5U HDP9M"?r@y0:U|88qC'wŊiף8뺗t~[ @7ЈZdز:FΏ o{Y`o֎IDEm"G AVR qs2mzOE'/g=4Gа#~USie1tI@UoJS97{MEV /Nh1n-hN@c~5mc! St环^KAU5,>ٯQѻ%TV|SqRL740|]+cvT 2~loi$mё=#^MRLb>Y<{ŏRo:Hu؜fERO?]۟ȣ0Mi|[N;2P}l)-apE>~H: jnݯUSJ߻5pxŀį7ג;aLʶ,ՑԧOH2cde╭F _jLyGoT73dSPh Djɖ:/1d\sV`ȞP#>XF #aj'l{BnTN74:o*n.$~uc~! Y)QKcO ̌(iKE&ĺ ~!_ 6= 9Aqn@L_K$kQQˤ0& 7uЖjgl# Rje@0d ڊߨk~irCv6b<-{=XwPMm8.k$A,<@.ރd*DbLbsT tMoZKswun})=jR0ӄ*SSb[[\Ou_rя?tӠ|(eyww>>S`<rjN c2Hލ"E z_%Q龰 R7Xq6c#cgifR/9 :U“V$:0;PNyI 2sN+rx8'pPv?c",6YhJv6Nӟ5b٭ý%@;6\.QR*MkQL.l" |GT.dZFn,"U򏻱-㇞K\]P{ΖV($40 wt+Bd7վ ` %`apUVaxSp˃Jdij iߕĴN,ZSy[JhvTbogTg%FZ 4AvPuq,.;Z2~LXdzQglJBu\Vjy}lvᎠA~ PmTMdY効;2_-bjA9 ;8z7qyr])BAWW2#^ [ǥ1vf=\ K ([wrCf\h{zQHDϓ,L'C} :rq5{,Polϥx]DPD ;kƖڏpmڛ}R.K ϫg@KP3Wm,PzT8Q-$4N $m Ȝ\il#XCm,`xt"u,)ӖieOtvNQ 5?PKΙ8򪓐QTϬU?rl&y jwcy+oH#G+<qKšnبjlβk7j> 7=+x\3v=2#njѐS5ʜYgYZ9c6dc08f6bfd746c0e7902d6e830a784b234caa878a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 388404ca9f9d9a44acefae5395149c5a7edcde3c 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c 749960aee6aa2f60467f1ed97969bc17fb49410d a1dc7ef0919aaf3c7acf5188306b562523a7b0ef 4b22b46e7821552423b402026ddeecc5bc3713e7d42d4c8a028df71a2a18b47ddec7c28819a49b75