SQLite format 3@ >- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 }-L4 kw HOL-ODE-Numerics:threads=2elapsed=896.666cpu=1659.576gc=53.948factor=1.857zXZִF! -T]ŗXf1-q恈͐7ӺV 0 މ}l3OM>j.혉B=_ղUtK2@C_3KT{W_ƸѵSLGW;R|YxT|~,/Sɖp|jF2\ +|H3í~"^-3-/W8rmtE4"iRRz쩲[۟iЇ۲DZ}?ߝL%` ED\r@}{5.|!\]fEj7 _%`tq!jb];<=̺lbҺP;*vN͸<]151/ş)iď G & Pz A :9lZ8tpӲ#[zI1EJ2 IY;4߯~ WjwsG`d8M 5gp|E7k)?/'r 3*qSc_$p i@K?'膉ez+V缄0+_mJy׳'m7*_{?;Yl*VQ5:!c-bX;Kl'3>HOC/CL)kJh[ (݊k\ x5@ |, |`!ŵ3 ү\ځ {`I/"^t"9FD坪7qg4&N9czfGˢyn\5}<,.-rZRA,zdlò`řrg\7ؤgi2L67tއKeh1pBRGW"RZ \5J6:c,Bh} My7]uBU,X(W!t"oTVÓ8;*U٣yL6.>LO !O:O)dmUNA,k,R(<{g($U2TH^v(PsuG(x{:j6#>eġ3S%6 AQMD<\Y]}xc_:rTKdMn޻m^%nX\=ޥ`_]s:ƀJBݱP]k 8@Tke~LB/'$SI 9A3C*nc4e kNj 4BIG\ j{6+ްz jܭ9&A; I0 :7;'üdM\pZ>ET~k_}]9zX R=ҋTQ11VC+!,q{ 5۟|‚sG}.5d8@FSΠzZ a564E,6yD1,9Yo]u ֠Xµ@A xZPXRrIt̐ukflj|OrfXۿųC@@A>H>H{( I=dwM˅ c8[\plR.8^b,?UZ$ f,ݞf^oUtl%go^`5giKlcLȦLWh*F qǯh}]?dlY鼫0(pdfdڥȠ[&zNQrXa>w膟¢!:AA lC\3(a˽WosiJ`pX+J/@@uV>$wey<*k)/m[ M4:KQ(GSrect6GTI_'F|!)YxVi r4;;dr%gqXj}N'SHk#,"Y@w"7^alRK8TcV2d[?C}d UHqLNФۄ5U_!@ >[?GG)ZiܜzP6v =`lcdX`@T^KMK-8kcHfh@6ngEQ #ܢb[yF:#/{_niL28)uR)e쾌LV0 #pT?$;ػz"ٺ݊CD %<ݶ>JxI˕#{0{('a#&+_f^b(p{xx¬ VW42-!; ;pܿԵ5o75 q$5F r6dz:rx3F_X=ThwXRHj&y>&/N,Р^C̬)UˡWLӓz#iϘG,-=c_"77l-hOJOA]x3p*%RCz˾MN=-mw9}CTqzd">ruyU⹗+v0j,Zܦ`%^5ݟ+XQt_g=:/G:膭@'Y ]c@W0𤇧ێo1vEۀhh{hEr~T-Ed&G1Pκ&[=!TjAQzGk|67? -0|J؎ ү9/.W{/K*MVag Y< It`̑1@jl1sAxg> S)#:|/`?gzT4*Q))kKR[{:yq6r%] 3wH,! PcvkޘZh^Xm~AYxqȂkP^@'kL^hw< ց-Ox ip':TCRtyts9sV BxlX 7ŕ1AÑfc J[Y11*2hŠynktFHPPНN<RXZ9#KO͋g1{mBu,Ȯ>h4zY Eb6#RQ~B-`rU.E[U:he;LjG?VoHEv1\wyd׹x>͛N0d͙*a!ό>E&vq0Wg@smƄ$$Bҽ|4A"Uzޖy=&R/$<#a)?/;A[ <ً* ~S6s4Cۚa=nO {[Reۄn'H`!V2:#Z'NRVZI;^$勺 +<v_E~%i_^\ ?we|~Fp"Xsa!E'k;y+e `ݫ~+ MP<* 5s;>W_VH.dA'DTH"}'Lyv?TՂH]^>zB"~276E;|bShDfjQ15t+3T^h\o)Ez9D|{pBp+O) w4C41=P_ 9ho+"6y;Ru,B 'tuEG.X*Vm h.XCBx>o}⻨HVWlkɡ6X f f:ɺe n#F>$o0BO/z _W`z;o~1`ȹ/ l;,8!Y%5܄ϮcRUkt96!_x-H\\PQK5G(-oBFԷةI _5;%0ա &ˣQkscbw-<3BO`'a8+I&,53"I׍B0,;{&y8hUoo xH8/ƑRk i\{0y3^4'=QUaEqJףϋG6̮lgAdi b83P(d;XhF*DOg+Ц(c]ݜe1. `c)g.;Ȗ<DZ>||r8`nW,팬imYvZ} ?v x^AF:C'~CSh5$TNp0s-islXT pXv 0N:Uj܈íw( QõĨw,01Hic%d*1_C4<")wӶI}#"`. ޜ}vtIg=EMҲrr`!+()ɢ ( 6)_FrW,c켔qeJV6wG`݉tW[EEYEwp"@}r4=?cY].~__5u=˫3G–uF,Uy- 7#l[pq6RY7zƑ01`_[jqzN/ ^[]:(Iݺ m8A{L5/-obɉFqbh%Qj/"k޵#5m8ǰoCQ,Α]@LJ f{@M|B %c!1L>%Go%ݫuj!YY\HDl٥5($-s'=;fकpӉ-G ڳ-w!} nً4aoco1„~IzøT8M6FFXГ=N#9vH(J.>r/⅒T˂B)2wUX?Yk(]6TF]P C5hwްc8|tuԼXLn^G|OL h4U0~pKaûAZX((8R3Уqp}kT qac!TAV.#fJ08rf&1ieb,Y[EAײJLH-t\Yo!UTA@3e7%Kɝǭ;cFB"YK=+ Y\M)]3km9'<ԩ 58?Pֺ{@VO8F/$+&!y29#[YVXf>HͺxLI:g(4g)jV;2gz*l%F*`!]*R-T`v%`&N tw/_wxZf9wQ!/㾚,aK@ֳi_|&W%Vm)lP)^ě9 . 5|[;]D*ό.$p?5U>gٷRJK7CYܽcd !1tQ1eMq[A)Q]ZVqZ]Rڪr}V wRC;cʾ'hGԃfiK#Q8M/GYjU%?ٱ8ǽZ c-ڱ7[]KDROM2zxfF9Tt,TI -_ +?6x~L% {aTth4=1B0S=@?D[B͈l哥5.Y;J$?OD٦?eVQa݁F 9\|,,JDZ=6CB$:m b%VۣFs7Gڊ+K UEɉگr"!>#$s8u)?vKw@ܑ >W`d^FMdĎU "sS(Z,e %@T`KhNR܁"Nr,):WIIw{΅N><D :o#KM{x}X{#+J7T8 F[BP6bE`!?WE~迖m!Џ$A2QCΝHu aљM wlp{1IG}_D!}{v}M,QƗ&wubP𸵨wԈ&"p x]zw_[>I ?zFH443 okmnw,b93tSy%C^՗)J:!1PBTOnߺ6G5涔(BE%N fŖ9Y&hcv537?c&3=Š:CBPGb5*ګ(+`>N'hUtW fZW`NUuN?NmGipʬ_4X`UրyiYHW`wV]A(3>D*K]"p>F ?\&ߌ) Ic $PFH[ͤ|y;(;&b׽9e <#EέYo.ch4ƶ󚽆1Ծߟb|zct &BnDvNےΙ0ypFoV >99XQN[oo_#iZZt#X+ d- u@xݵ{,Α30b1W2fGyͯkGߡC(\QA)x"'+{RlZ=5276'(H2B2L_Q2e>:Xv7?!ICrݲ/2͏!z`=0D?yȣog\"PT9X늬&)ڑ4D 9u(I6#X*]TyM i(O!HzBk<MHf <+Hpbܣ;A4HihG L<@i@Q R~SE%*qdd\*pt< dSV <;wy;)_x!  vzĘ\DsP97Ż\8\P޶AMB\̖mٳnh8oH! q-̾g9 '"ʋ92k NhsZ6~{I3t8c-b&3ve *f6>p޲s{T7Ey] e}nU3!\wMx`jİVg q`eԟYhu y+C "qdc2 K`PU֛2) wBڟ#[zPMru̩W/e/2iNC2f?PRS_sT;_(=rQ !:.+{0o :d &3a%Wv!O+:IsDFAN2S(6P^j+kpVһq;C[чpI]QSmc" PsI諌y rȧzET j[CM&4lnv2wR}4_,NPWԫi50EՎ\KȑoF͔9f%_?v-8VNDo|sJ|! ~;'9:d鄚<3~$ Z$\̟; b_l;(0HK3Ez_eOP~iSE # 2&w܄44bY2ZְQq|K/Rȿ5֡<,mw;w(f<&U/MrH8XhIeMF*xe9,q3Q@슃u}f=&aLMc:e{ߖl@ ={-DEB,P^X`e,[܃V<G&݌ vea7ԏ$];iQcӲQPYBO#7N"юO3cWss0q 3}' ^9l_MYmo׽E^ƝAU%|VpMg3FpvP^~'HMn!9 |@[A9Ys I4E,H͖|]2Bkyލ`0/u>D} G^.TLƙ1ĭr?RzgY+€g"KÁ*-c {M9$%.Tr\4(?s: LE H[[`Vg6eZeH#}S߈<3`0pl_ D)A*D'!/[ ClY&iH2+ÑIk8ڰy}eH^nKمa1 ydVEBT(dԞi=MYV|3,AٌP@^ˡvA/"54GH:xĥ]̵0B͘ >+=w%J C0(o oDT=n3j8YF#Xu'R71t\f\`x~bV P bFRR;X 1HW&ɋ/ 6Ekk9f:6RZ 4LX! G#)Eff+K+HR6 >| R#:\9rpr:T+iy%MЃGDB%`l1E#lbgP%RnyΥU6WWjat 5:aZ9B@iL^B!:RE|я)]DiOU Rwuzgu5*4*9ԶE_Xop,K wu,KT&0񛄑DLM]Bk& 9q\ct׬CS ݯrUCN$.&I%?9̞rR+aŸp/__su2Qn@Șf7ʨlG b.G,LS\!¯y 5">LQmH ZvH}@YΊ@B"cC!ZADpw8(\4 ԠcuCrV"l(zs}|F.& v dAN5PwS4TsMUӊ4+&&+36)|5O̪ugw]i5A$\!սŧpcJuT$(Z\Acm|YIn&ȏ8N31ƻ_ 7bM}AGza#;ڝB p7\+.keԏAIQc>#Z˞@2^h])xq'U)s͚:{eyiFixKQYKP,.t>K}fI#m{_ok Dee6p_:ч7IҧCNW&esĕZ ej9?E܋~`܈@FSŵzIY~܋Q*yM &T|Yo&o>FBDzVXjـ"D|*i:˾p?ô [ 8V Pr es\[.!]#Dĺ0P , }9wU܎&vOv6G[SQӠf?nĄKo`7Ґ`zaYH:oj͆`>d[?llQ9qN'Px~țӞA\ƈ<ՍR^O3*H&t209 Fvfd `=tkbcMbj!C Y | _+bOmٝw6Dw =cGG'6/m+_Krl?L+ϳo!\b"kz5V}B3 u'ĉ8SOuACh(Ob[5ߧ=`-(<ةv\=yjO2M>yNEQ}֭F 51B"t`_:7/t+ي`OkN6rXz@܆p?)jjXNc)VN$r+:C8SNdK4c)=~*AF9uYn/'\fuFbjXY\9!ځ~2ec'q(/2raLWW\d]G@&&E tPh?低E7hWYohF8{+5!DήV\&|JEJsalұsב(,pȋ!dl˯ɴU%O /+V9z#PHANi$J۠]n`6ǚZnW7Wٖ3IRTۿ3B[{m\g'{oF5VWVVh%("D-z$tN;\A 7lJsO0}oh%~w/ؤI\EP!#x\ĪG[17Yy5.8skX93y1 "X[?^u^<a-j<˨ZB(0).KW1~˞ُ˝AwDv3hu㼓TSrb>y-$SxsϻPy [V'NϢ1#8MGQ@N.xnj U[#kwQM^osY*&3󵑒uQ^Bx^'%ъ'?pwncl'iu 7磻 W9*w*RkėSû4nw; >rROK XFusa-`9/~49qf,+`t rYۯ[YTPDx=K3&&/}[uACG/8d+笺>)J?~:8-k8TG6"08蓀üv("iS.8&!-Y}Xw/DVL_".k],8KΞ{%TR.I=d됯Mm`:E5KTkf.\׼aWQD+Iu9~ 펹dӞdh9{9Rnek?Ǵܙ;,@Aޙ?TXy4I>iSم,ӈBy?xLpϾE\brK2UK<%\Y@+ 7d/wmZuSGCeB-}~XQ!BñmՏOQ'n -$I> e<'׾ 2Rm7*ǜ(YQkls7\", o?qjg#hז62y4Ln5J]N* = 7" .FiQnT/Gխ쾎 w4B0T jU;u1)X}7jbj^a0$<;;;C%!Bc۫~Di'dR;K,f7 /_kn\tףRL%JRwg] n{pLV&;DžV !"M[ i-N\w塊 |hԄ3qkf@"*t%}w4i};:  z$=t`nmc9a+8\Au{Q'R X۾k[9R)= nFoTq$oXID|K*G.]G/,= ̈́818aR0F>im fb^ϣO&0J;{Wx+è",",; qAgY? o4mNebi^>M_c\-~Iƪ򎦓rnwcmn}#9=~Ox̯|76-mond`؍;&N&",hUtv 8@خ=OkWe<6"yJ:=Fp/ø5|XVpթjhrD| TMB%.@: bD{q_3$rBH`u*R3Eg{L)%dZVL{cc%W2XdE]:TvU /XAbؤߊ2CQG# e!/Ajzϕ|.0KpqE[6Γ&ux醩M wucKVƝ.+-TL2Drѥ[ W.v*RooL4qN+v^ϢIcvYN*3QlB*UQGq*c(D`˗OU<1j2Y{&KS_9`|sܹ27/#C:AV.pCM~5C$%#{%>.'FIz!.EҨN(vힴ G^G3M_4Z{?t V */D0ѣ)iwh,kA,:8b5metA<%JNɫzI#BVK]^x3;KѪ]8f0-W+sqj:KU{%bRu°@Ht8/֦sXK\T_/Ww$^{0]@z`<\gFSoˡh[Y }1kt-Ci-Pq7n?M^x0o&/Iŭ!N3~!jA7օh@Ԟ[0D&NT#0I9㵌Cٟ~Va >=9@y/F ݮԮ+P쭒{乯Hyj8|[b[{*lo7AHNu2g-VK=Q`oE?C%]LW+İ)8ћu6lnf*+-d;w=S)tҡY0>%.MKx'WIO=Wv{81';E,ضDPh$QU\0B7YCȈYs }K7zi ڥNO XI 2ԣC67n307g2ÔMU z5!/vߋ@|8"꿅a$Uԭxlf\:Gm߈i-TiaSDBP[gS" to6{.l4ʦrߪ-STN**~4FHZoUIoU0fvbs5u_󛁤vU- F5Wɣ$W?A-V bG9XO+ClAcz` Q*#&,oiciZ2f2S28KDvGBm皤IK =ol7|5y|wpQ/ſW.F⧢C;nzAc7I~j(a |ĤN3LP;u4c{,fs&ӽCfBKZP ƞLt>bBȝ!KC(^Ml+U^pA0AFh^XNV8@ oBW#Ğ,Lvwl >DrO 0֔2;+2G:y 1e34I(pd,A2:]lٞ/YJ&\gWCC{rR Od1MVx2Q)PJP ²b/́^\@"V}. ]}`]Mzxv#bM-"bBQciƸp:E8YCMyVlfI4CF7t pd:mlH</0; s=PFi5haߑ@% b$j4=i|A1+kɋ,Fy0-l: B  ohJOCnԪeyW&>,2A,?͗wO_Io"CVf@JhZNz.:aqMg t ,Xsz$\y?s;*Vm6/Yt~= #)8 rC =\ĪMfTRДL>XrvrC[,GfOk毌|SޮU]s:10 !nڥAԵۥ3%d!bO֟ |q͜#ajei},B cV |fh`m!)!w<[^"fUאdAX>{Oy*VG#H_)'.6<<mIf:۠w4=9K[iQ '1EOYe[wC6)y臈@Iޟb˅_:p>3VA;-@XzS5_͑,; 0[:yMl*.hbdL3@ wȷmE(# M}7H%BβK.bPILtm`ym݈.ߕ-ݹbNn4YHB`MQe_gFʒq#Ӛ1ype`sHY w' ocG+| DZ1ȶ”z_'e*U4frB3e>$,e+ ȄkY:MQd%׹ q(˚HW [~m\&yixmB`ԉ4 ,_썏K149:Qx\H䄏J*2#I\y-Yu$:Z>Y}H֗GgYZ7zXZִF! ?%]ŗXi% -^ga0ff|MPJ-U d"Jˏ"=tj. z|:+K {OF 26+XӞ BZL`R9xr}*smPs$oUK5fpOK/&p22CUKPղrXmtebY]=tImZS_Ȧ|ŅoCovK)sW)6±H<X6\quJHH'M_!ۻFD 8tпNhuA"C::bdjƖMj\gVUu+?\?Ʀ'+}֥\?qc7|M8sȬU3UҐb+b5Ǭ1@Vfi=Z} ?WB/΢򔭨sb94B8 _l K̊jlLA ZL.W-R:h 9 x6y4y{i%L $6h<<RIk+PfVJ%X á02 L##+|[ !OZտ֕,wݖY #\pxUF7"Wi)d"ʇ@ޕ'X4}hWtgڢɔy1ā񶱔'=L([1 MZVO| d5_1Pڗ(rdĞBg1DВL-E|X5 +1=r2 L\f6}"UMQ'l!sLY].nwڰ)2GCMŲ|КiwJGуbR 22_XP{1HAJI=0;j kӲ 3rE55˵RT'*i;q?o&Oyؔ71uV5U')|dC+Pۆ<-}$]Q\120>įkKwZ3Y"D ُJN*fke\ʣr 8_OgFn|b<֑~+"!`բׁRtY"ifY5Y6¬F?]ĕGm (Μ㣥daV V POj֭ G{RAŦrcPрy0:$o)HP}+4]9n1NY=O:* ^)/jB \+Xơ*btT%"mj.7GՎwaa}0!y$:f`S_s_f4o8= B{0*'fUXc (5grCwت_ [EC܌nSp˓~(+ y~ݚJbC cT̰@+od= A.ri0b4s G9X&ӞulSKNzm|Em r{cjfQ0'E%pFKDĀN+n]xN8CA9ife /"3dON<]&~~G-Md?'$&Q" uB(J' tu{X]D.5 jl2^&Y0#yosAˏ6B*qϴ؀&bï:*_ t^ 0U8町 ~踡:P0hq?ºLr6 y6Ch\qZXVRC" _eطq{=y(J\Z?0D;eD-)p{ B gyFcr[WK) uIe<~%j),;}/2Zz$TURuU\ ڛJZN7+d3`>Cq`,;m߰:뽘ڠfy(3[ v96Ca#z/6jzb;V`К Mn~`zCHe.G\!xe yk2(œtWQpQiʭŸ(ӫdؚGvsCa3=KJ8 >hGҀGzke]XS7n+cH4GPX˅ȡk>C%vIh3l[G/HvK''t_*%8\5@b_=3N1}\ԑ}!):> x8m._ کe8=:rʴdܚ 7[?j͹!'#fe^ێue;Kc-G<3}цV2(qq/)m ScwI,Lvt0|;aKBmoFc-+N5P'Q+%OW+"is)Am\jjk 3nQc+kKϼUyY=v(KH>m2ABpjއaen:4nImɭYG6 bukz3&Ÿ-irBk"ָ3 c=8c?gɢ*rZh㫄g|2~P<׊| r DOf?,a,1^%wfiWS..XU1X37\!*yH2@P(A@-&N4zV:QeŸ=핐F[ϕB>JfEI,{$Qz:dG.s_Nsf׾xZ /~󒈜]ХW"()]|MǖhPD:e EYl,7xS8LЉҺ{ܿw3E҉kD,ypHC63 Y߳.Cb-aQX俄܋GP{q5rTxX̞w!9Vj2ASMHǮ΄7 +. V>Q!aA@zm^h`;4G! ]ԎhC dA8j$N!e?5_%Rj^9-年fS҈ц l8I>K7|窸\{#8,OXb([N7BYR7h"DQs[mKToɻL˥xy*S qNdN!BT>@:BŁ M>\5U~&ts6L+|z("gn<+ްY}e7b,d/o9 /.t!xIǶʸBYRbP 6?s|?$5E߀ZoZ"z"l l&loCVVְ6Z3Eǃ9#K6 y@/j{s*_ӢŲW"E(b(6#1d^K'D[EeWZQ)hTIO¹~v!@CpE52~2!8g'nh׏Ɨ0,檿P<ճ2Xrm߉"`}^s)' B ]ă C)IU:qZ!:>݇ 胟WvRfjf2Aӌﺙ/:YfxyQЖ3C]A9|Ŷb5N| 3Xմ6t/BȧD--HDF^VWwtҀ!c;lv[l`keƏR?5yo$o8v+ l[hƐNOR}.Θ**?fKCftظjHdS(,;tRZ:p#Qu-hCF\tj1@+<,c.sσ4E/a _.Y~ݎ5W(EtTx"1Y.2Cs ^ ӓ@xdF -|KJymma| ZgMFY.2/X;fsUӵuB擰/9ʀѭH;[D2be8IPHhR=EW^mUyuT_s^R ÔOZ2IV$nGaz "{צvϹ]{m~f|uDpb~3Vaq{:!XzL@2F{9K#XkV@2"l#5 `LypxSzi|~!{gq P]2ʕuNU(Lu} CW$w!I~Gj5,e{6| SȘI]d2Iw/.MOɕ_ALG:WTIݷ^;"tJa55?Y*C]0up 06 OiΎzvi)Jpm 008 [^K݁2a".#V J < 2Ddu]j9UeY{xHy L{wN 9_j{gp 8j+NhiN'_E"yf)kXn}?;a}z溭ɿzYAPM6BmtUq|gX>}9x #5XK7Mj^s~RN]:+{y&pD)wT%9&bo66: O@ͱۦ~ џ{9H!^l=@M5ͅI{ L6毡ľؤ.iW=J&SlmhkdKFXWI_4}|$GٶF V&ZQrNp"GXn J\ۺ[),iZmH-ZT :ZėHdL%3%ٽU*UﮍOjm[": @L "8˶qay ;5+ۚ,[ymq%YX*qw)rynhTyJB{n`{drۆFQ f~Yeke&'*y@ПV{z'G;,VF; b g= } $]$Rn1] 'vיH _/*۞޻Jͥ3zbZ9/P#8SClBĦ+%ySh (CWH~ %#d*0D` *U A?lUf <ē2{EZ8N5{fT 1I-&J1<&rbI9LV $C\UٮWNJRP.sTM AI¡9)sn_ل˗zO0xjoXyɆQS]Wp$2_qQ ?+/K}[oe :AJ(+;ٻQK= X! )(fN<UskSE.WPk/G= i"ZakDA[|}ÂɺI4 R;C i)@&&~o !7.<^ w%{1QkC L9(~lH -nd([t%˗E2ty^)sc}YIX'7d,h`E)D2t{g'X`^_exoRKJ qHX F̟K<&pIaJ5H֞(G*]g_YۘhȞf_9kr aw_?֑Pn9n$f3>(%}(`c#`s's%Qh !-; ZetEb|dE `l~/7xeA f;Hm9[x 1a?J)>oHIT[y_*ڗG7;b[<ܒo1ݽ!*g 2+'naZ:벛xF@1>tfoEz:w~9^]e2ܹO)Elp1#ةZJ$#vr<$\3(W_ G#7Ht떑K>| y"5gMhCkj$ٿKA-nng1LނS(|t 1'Vq%p; 6{㿔V=_!i pDx~ ]W+a_kTL~_:?`ZT晗^:wI[e{~X ՐTuH ]zqԭt-RD%/"#خ6~ԇ3#ˈ&#ܓ =MU=8 v ),c54PÏk<  K-Z('ʽQ v$#zSѡlm n#^s8i)'Ϟ;,_8bk(@m@]+-ٌǻ(hT+rV%vQzdJ PcsZ^X$@8<֠{bG:c$,_{ٵa]҅3k"#L.@pGgΰE$JFwu9xy  [u] &rotnh`€sF#td\M;u9U&C:G\oCieVK@<=dMBXfDcۡqXefQҏZ2>uVn//Ϯ!{J~zll ER|5 vu{ +8X?FLsbzĈi+. XN4z)K̛0`%SQlY=Fڇ|oE4E_udPCn/n*/X{ y|NE e[i=@a l2%3o(inO$}-r<[Rw4\#qI1G٤ /y_A%C A#q_H/VZ|NTzy^cHPb}OU~6? ={ծ5Nڧ'W5"2~")Qzxm1p'FGpKFY[(?IM:mh!a.I@xC/LG m7Dž2 v@?8mQ4A<נ.,f.0f5]Oꛟ_aBkUԖ\&N^Gfn 0tIȂNpsye7 (TIi0TgB~RS/ XwlU_CW7S{+j~ }'Dzn(-^?݊˴E#iZ.4[rLQZUaIċ#_FN\@4iq/RʅPOLod="13oV '/o&,BKxZjN f"a{@l [',ҦǒԅL?Hy6g2%nĹ̘[9Z 5Y, ΡKp2fOm#e?PNkJuəI,XeoW%M k0$3=_u4Yn'^y "8&_:\nDdC?Ʊ$xE ̰w}wpRqb7ADʡoĘR_!S l0jK# 6 FXw?oMO>`G|uOͽaz Rti T~@j`DdJnCH 'ђ4c m~ϝC3|wBg,-~[E!bk[Tw3(&5ÇyH_b!v(+>}#S"=' r8>}'"Bx%NBpXZN&7W eR0k`(Ї$IJN(K) ^J/ Qa9u]fd+#)A89# ],:lC ss.oLܗs[R/zVxSb5D>T˰9Zص2v~kNn.u 9L8ƇVxke!>!zƽ ^+.9,0@&ȾFa݃DSJR þM}|ߝ \)>*ؕr7,[Z;?YV ³ 6\4,XXAP[xf%mdVo~,桋TD+3}e#$&fDFǀm' 2$]dhoj: M>(;hV|ޜ( x2c/rYs'!KRBqCBo.s5zp&F Aa mԙA_~A ڧ&߰Bi~4j)64p\BY^i$ "OD@+g)ZktgЫaM6(FΙEA"~V JM8w2dgk0p0((6w<`g QoޡWqHl]醃8ѥTҍs4|PcC+/Q=9BT:q X̑K?Dp -Si=v`f vs(CCj*(mܜa-"@t3;>,ԞPɛxT䈓eȫC E@ @SgNzm=Hg$'Rғ0ʑMP0gdo-0n˧!T4;k w.!Gnpyo*D %zw*hb=jn߅XHdk~-VDp~0*J7JeK/')W3úӤM;ڑϚäTitXK9mOZۚg֟qGG_zK܍AkG= _s$xdy[HCT"Ϲ 7EH}#6ƝUV8eTh+ {Ys ^. $u'4E@G87)њlNέNԝ_ιglC#~11y6_Ŗ+q橌_ֽFQdJl ӡ0D5% 39Pjg :(mlxӠ1+m29nEvQ]mS X|oƚEBVK1@.nK5H(FЃa6׉s<wY`ڲcA"4ٸ\ asC:8ghD|\_ª6"?ӓ}j [cӍB\MYw3o1yZ MJ'v?J']W&݉A[oBR4$9iy2j0C z@Hm`n lxn(ȣ8Ud? J. tO3Ud̦+SMI " R FdeX G~b8v*X}xRo0SGZEb`/#KL ^l5帏^ٱ4A&*zsh0Pe@o0smE:Sg* ,nfѕZ\ Do\v!PkTˡ/Ts 9/ 7t;9 ԕW3)Xr' -JTIcmM8ae<]C^@q͑# V]4J"VO2 c< c_ԩy=8Uc_=_$eMqtqq/`bԃŤx3 H?8N0ɂO7<+I,B5 `&QsI#qWd;BY|f R+m1z?%qa"'- 9;|OfRڟCWSt#j,EXr#m?9sd G1om-926VcmS/F#c;w*)P3 Y@8^>ݕ϶t;*)fGN)ϑFx^L'l؀/BJT)R ™+^02Ngk*8=rs3mHDAh4:w9{v%5K>"CB;E޴k)r _^A۩{r$<9Dzs0}6Pk/x]Sƚ%|땮W-qSz2ܧMqBh ~&٨gȣwꓡ2zc(U^ "zbsfHw 8L[Fgr?0!ylV'be3NFd0?[Bɺ;!iA RZm_J֘_bwHH-O]#hV6`ڦC)>=g2ɼs‚RB ;p vo}w^sUe_.JX+Ѕ:m=D쏟 /Sk d1"bRB8u{G*TXٍj8D 'zpa9)>ia%%eMƋWcZ$bP 4D g˼|kl3p GI8B%`?$wG;Ô9.n1w=qeO:C ("dse%,%i5Kp~)萨L B1.:5p8^g <[cG+GjCT;hY `"t=l\0CJ3 ME 0ነb @-dB- ikN6 2Qb1r'U'cVeZ3zsf?4ۋ "琑[Mz|q:TTMQ@5) !91lB˷> O?7V+g+OzAK0Qz@Xx.>ӵ٦?'AXW9U;vV`*I"?[Leэ-;pFŕdLJ0]l;Z%r%z^p:hd1,Tv5 2aN[glDvՅ˩"h\Kb|ޜ Oy  ޠ(+A HԤA9n?q-8uF.o!MZ69gF>a^hUTZ.9 Nƅ,l/ggoQ@duq:SyQ˷kSdX72PNh%7 zmh, | ,"0GΓMEo"K[s^ݐ:{[d/R7:ns : K T*U&3c(|ִ{Y~2Dc5]gm>q@2P9H,(iGݘ[' ZU24l^kdZS"s ,xFs$G UdRyҨdQ(-JCw² Yb$&bc;T@j.T6TknpBCo_0{G}`;k~C(4 Ŏn⽩Aĕ=Wq&s쑢8?$H֪_x?%s0 &R#Xz!nq 2yP5ҧUごؚӗLK SeH;Yf<(;+w=.lHDLVC}TIM$XXۇ> 8O${$zMkmD:{+WAB@V/0dIJ=  !ѽ ֵ$E Y=p.tW"De6H^\ n{7[4~L~|30O_ZރAŊXcU c Itf[.G䓉1njy2x tqY~||@.Kìw+0"`pJI‚ m@MLx0fr;'2eǔMfŃ(ӈeh[  DǥmCoW֏8UxraĪgHﵳ~^(FdzK[uuUϲQt~B+k5&Ő嘔?1D/!֕/LxCQ [ VyR0: ߿Zm Y؏ =1Dd պSSQcؤ-QKRHYيEŕH˜o+}6ιI)_eOL&l:V"8 ]Zzŀ"TDuמCl2A*0ik"e 6Y F=}qZ.i !}S/eK7uF9 k4[)P_5:?MGD@A~cLʝ9 #S5tц);+]X]5*I~rb0z"EZl3+x?KTٟVlD8sc0GRy ޥkOVyϔVԏI%-i"Z  nk2z;g4+H^$sDÍduI0>V@-b4w-w=beo *_֧c9ȸ0fL;F-ZdUzmfMf̋5Ƥ xb N Q6,,s!piŗs0^t2gs)!Ze*tUiwt7& Qx=tlտsE%'%'q}I[}-u`<3cZQ- ] 僊"s^{/Y_HjAU;گ OrZZCo)QJ,{n/bS`Y=΋y  }W6[ est|#>bHd67 6v@7/bLHkJe۸_Kh#[4(IAѬg=$I$1ZbT{lοU@h€QDa zi.~wgLv<*EkD\C4Z%; ZX;fADN{qį /::%9WevZtSf7'!oŻ~LUGl(˦xe;PڌIE̯*zeHXk#'RxƠjVA GalU)bfD1quX G U(V*5P%;6Cjt|{6 0uh.b2]_ºnZǰ%g JvٝqEUu:{Jwge5Nh4gum YZ[1Z gȋb:#G[q&ˌ"ô|j4k645sfsCp Dywz~Zލ >̯HbǏ'6 XtK[ZCK2O0O Ȏ:2= `j=*wp۟GWq&` x XO>\uLkcUGQn} 82ƶBU )xQBLJz~MTtuٕj[xVW0FN:< JE ]7c)]f)҆[k ai>d[8jԅ3d N-x/6 /_3#}8 qg=qmTH&Ems\K1 6ja9l{)= Fyy 8ܮĖS- @Fn(NXoZ0hy 7A+Xm PumUпVơ*xbX #atGxJ⫫hZCi936 ݏırʄ-2"~,^ف,8M%$s yOCM+%!I}a#Ŋή\ 8_3,NF?J1\7=moCAf$c1)RX?VVIe#d0645ZaCrklưR#:t-¸zmb*J9fl36]3/>ٲ^nP~F?515, ČZ:=/0!iU=xP6pJTL]`-vz\̹ɨy^Ւvq\.˰Jʰff`,A* Sܬ˼sCݽz(_gzwM ) aY`05U^}yt2{T錉]HP<zscW-#gɥM z?Ǫ- fQqF**ItƔ)%$#'Ac2v+M04z'lbm"znc"S6;.sĂv>X\a,iJgŜ8Y?6AR I=.V`<̯־\¬VTJMTb\[ΆpY[ϱ@gzq}KafV>7>-V&DŽ@4nѷWlrMMO!gs6BwKޗG-ԆX9|u).RݿrÀ0B0g]WȘ ֶ *]QLjAmH.fca4TٝCb=ښY5 jՄddGU%f2Ͷ9EU'Ѿ~#TgL8ŐDMA>J2[XYu$]֢-WdӯjBk3ՌwMiJ=&]ad r|V@Dl!C;bWmb֏GջtI蚪ԍhݍ,=y7trڢ0< 1X(jpuH_/z9 8_E- qR ?R}U|>9g<1x6V986;sx+j@ n׌?{kUy2It=ޓ%:8mE~7+Nӣ:N@68G8Չ1EghD 1wq/}j#^MN&%AgZ޳wP(>m؝?ʸ7; 'V `D9+ˍE(0gIo|.*k 8XQl:Z>-]lk.k3G9Q%1#g Y:HR% 3X"! njS ԦڴzTU4W=&hg9.g<ћڝʷGtӋ{\,;Ia'VMx"^Bb5t/I I[nWiƋ|0@4%4[M@//c^{at>vpV{Kco%RUV|dW0mc]c!Gýٮ"mHJg?} ~W+w;zyKSi=ѿs0&xO<,~hdhb`ȯؔQ|?K vښD1|b0׸)?6$S'sV܌H 9H01̤ÀʙxH\I*+ g9AT,٥uTb=2[:.Q^M[Q٫H.dV i!0H~z.Fҷ^eΌNHnSQ#hظz%$e/3L.#=^phjYF}x%^fyT YǟtiK["OK} \cah2ԛk=iVFelU$ʒ̓7m?YٕA<. oMpho9@2R9kPhvMWH|I:N/qD~ĚU> ׼E4r;w(GM22e{S_1o,6eSN<+Ӻ7s;7.f!%U"7_?4 FjOVXwsK'qe~y<T}|T5"֊/MyOY"+aM2uqX YQu@x ߱P)*&lAX܃ I;|뗵وmQh!V QW% BE9d99z AFJEKDHf3W9[??'xs (&g{i)`ݔTXxgrB%|DG~_{. p]'NS^41"ZFpT^zBQr:&P1`ƍ!TVa{~ ]lh zgLx]*F cλ8Q ɺNzxW]ߋF`1'˰-|y P>ǰ1ڷ4iZǫTe8[]JvO:;q;_VR%*yS}D̥kż3Z~eR+sL$y*ք歙\~lwFEFP @/*]o/+[sjHg`17zUu\43*y׉U6 ' Efq{"Q?Z~8Zx(D&BZgo`〛iS~6ըDJ  { h}q `:p[$n`vL~]eg}) ŚH_DOedžCWoQnnj)7oղ"}u~ω?34.'f+"^߬ok vX ws6V0 ]LKۋxxP6?SAhò⛼^`;rIۏ>0[,-v0Ͱylk ȥHҌ ?^0&B2d2YUzmͣQo(|b!Q yl"2nzm'd:7rw- ,M~ZZ޽椢鿃lᔍpOͲ|H[ozani^j򞉤Cwa)zmIݗHn ZN̥DM&| NMBD{2% }8 ud_ϹğŖ4BTGR#MCB"!/'!\S.C3EO.K<9@ oy-VN=?uN*rF $+\ JS2ѥ8 Sr5Q:}Q7>Md7ax^=6D~ pnDGиU>05*k9xh=\pشTڶ-Q' LwO4E/G+;ChhHK^yybGǔ้ C$o4gYDP}m$MI`5Ilf{\AsurX0m"hTFRo'"66¡#,X~74S"7/ƀFJIU뇆za|P&s9S?˯C+fxJ#@*j"$ׇ*h5ġ,XKu38g^chF=2 9w~%%X4"Eʠ Ǡz2j,fH$szA` øUE ydy>@W6Bf7{ra<rZn`pbsT|c qZػ9Ӏ&N*O!#PԃuRߑ6mo*@S5]w8QآjMҟT\BBD H).ܺL*-zz?\}"Ԕ$t9ü6r"|ߡ?ڄy( S _tu{ >vkϐ7X.wj>MoƏ5`;V%,AH ) B?Jqà+hɣd,_,k9# eW)?c>mH;3tBpԈͱ"w0*hf^@3mfыQ&hDߙ:e$̶28y1}6 {QDaOik{:i.:k{!Lc>zϨ7Ǩ쫵8vquFzOuISwNi29$oғ~")z"ɟ3^pK5Rb jq4ZgO^(FDv6 '}ze}0|eBf=PoV=, [ކ5fb@"ml*uPI!%m(]9⼢D\G@$&7+{ I3]y1vZ 5f:jL+g\BNYEy4R|;8yDܬ`&E#V08GPBevoZ#4vx!|AW=v?3D_9ySM3KXG% vd&T!Csd&݀?;w< 9΢6rS`?flOW6f902w1mP|V8\Y5ZI&nuVYQv7'WmuOd^ YBͶ%*CL)%Po|>\i(+3l_(rK<=IfTxy`%0$q6c4<-mgy(]HCuK.p ,VwBSc%y]6;vP9iq4r*ɀC$7~1ZiOX+> MG\DՋqgzX=}$g槔,~s ?9L1☙gU61 rZ5/hajKCI\3=A8jɎAAwX l|6oΗ!N(RNM>=p5P@ыp2_uW1‘Vظ.D3B\I#HPņ"#Bh{.e4X=P{:!NNj(mȋJVv|^x&J ۛ׽uk+ ꚻ z%*G>jMWV-V,3HFh*h!R\vG2ygtuɀ^slp~aH ~LpHPt1Tsە:k.9 #}R%PHr2.9ԂJsTM^2 Dno="jN{υ9|ɝ=7fP.6SBbmM E+wFáϙx/i-1yWWs-W%~tq.\/<7նǞĂGISlDpeݹO8I4Vzq β*)]RIs Gf\kNo^j-m8[ ~s! 'bufjm+!Ms ;%Z63)B\}Pp7cz@/MKPʓ#?0%pх7'eI`59+% k䧥M!=?b4;VĕGsP\v&E&7BLUP`;z!N_qd?SLnY'a`<֎QNGJ+җͫ/N ^i,ly)Sn(MJ">L௛8.\.EYc۶^ ?><% 96a;Ī[|9^ukGHAvoaEŦadskHbˬs}b>QhUU+qEZDĬ=34@*0_z-5jd v(7s%~~e&4+F JlJTW~4.rpvou(2@ĸL>3{&C,F! 5x e(7HnJ r˵f&gr?t.<EX/ *74> xgۭfeSV/ ^!f󥹰J02C"4`~LpS0#5o@+ߊ9`Z]kĭq 0yY;F*< 'b(0.Л䈗LBK5f&qqTcaN~8E֤zIx:TBS$9ig͹RsFs<(h#̗TKn.\ &a:.7v ۤɲ+FHC?/NDg0Վ./-['eԠ.}wˈƅ=HV6K#V:Aǁ%6 IT|ubtgHhY' R0_1iά^*O|KHcρ^T@sn˿f.\I}|SL?#,k~Q5s$B4Mn! ̑g"TҚ1(8$7ᱚL ϱٸ̌0rMѥ;:kOhkD93Ӕ$z&HFE.%N&TM'6kr+azY~#R*}yv725<[_8(ݛE)gt%Κ.+?Qp_XU}.9usNaƐ3nT+ի7rN^fg ӹdD0%j%j` u`${Bs"hp=E&BR(V H[f;}46R2Z,Eo$=MIEo(W2VL0Q w6T8#c'>U :tl ?6LhOy^QuV"{6grQɺ-Q5!g:'If- ٞqapMuE壋{TEXۇ`|E9i贴ߛ{ͲYR .w);@=w-a-?Q?Z|Jǟ _K~z`ГwN4F3Ij) $v2?]`[u8JW_;L( \>>%14zk%'+%!8H-s1zS xvj(S&R%״X  bCEiDzb3Hwb4ݚ}nzf,APO$"Dfy }O.!RP1ԯ|(>j.R- сm&֩B8?i_;C9ҏ a)Ȱa4& Vf.ޜ*g+-oDlvuc~'NQ\]%pF4U%1VAµ|ɽf߆Y)x0o eCWdU {cA;geLVMPMd:G $G!9Xbr|8ܙl R5b͐ iH=WE 35#QDh5wIR_.sMzFZ▟ 5(Q0d"Ε݋{=2\!+&s`:%XUz@N-t Iv6^? tmէS-jU9bWi(v'caEDu}l6j = ^;֫ ] 0}ʳx4(>Z 3ǫruqof5^$KL;j=qluJ@k<Qpng)Tꟽ!b@d4~S×,̽R swY>WS9+Oћ]TXk*NL?ȊjvPZ0 %SVoMMcB4 r0u \D15~kONy!po\9԰ JNIRRc ˑ\bN9şȐRo5J,t'(F`Z=,ϘAZH^I}ٓ.ye'Ց;D!Bn*Ƽ'}O6س"e #HKnSplBe^IL9XOouX|­X.d7&W5Q& o$rΌtf_{I%/=rY/w<"7Yxaa=(Hw\>"X9h3LZ5 /NO_:}ɰkroJ%bhÀ;$^ DSQÅZ$+:ӧثaX{Zc Ӌ,@ȤG#QuD},eZ3/N,&$|J'5gW^k'\S?Vy /l&?AxIV:$>jjJoB*}IBC=DC-Uqs'"WߝݣTcif8*$`VX n޿$Oq t"1,D QvIa"pZRt@2pP\' cfa?kZ'b~s;_ul|R/uN#DF,¼W#:6 \zY*㚺1gPHUO>LnSp:q/u9+6JB08`,cIN7,w@X[J:Nr ٛYL|3iym0f䲱\m-&Å\PtI”gg1꩙]6Z4%f*Gwor8Jl"E!O47u5)cMLU5l,ߎ uԸ7bHW`7wY?O@8 kgQ>9 y?j%ζ4[b1'}yeŇ*CH]:83ڙZEt/u%ՠf<wdmQm38nbb 0d/L $U za;0GGʿU\=XSMWvHi 3nEq+v >9)gP00@ p"=*x8I5:3%QXF.~f9‹9B2)1{`\<_Pp3Ne%lƞmȨ/~HJchdgK)Upy>3>-D&]~%qؽ$I/0h穄fy͈ƃxA¨+f;"@ԃԆ h02}Hlmz"1;H6Qu}0D=09y3"(:|\(WZ*x.ծ&ۚRozҢ?JK ӧTA ؄ 0/I27~eg&iS2y[:!HLvbmxLK -s!NhKۚ7yN9R߆ lƕޑ?6U#uK뢕7?5fƒevqy p[,3œpO5©*LFf n0T j#3ql25j9%*`w>+tHHwx]$ZtrM#]k`s-Ab"u&k(Jګ$} AWO!]qk]7`eieBwN(YC@ޟ 8 n9$V59z$'zѥӧlt#-kZA',ћ%oO̒ѕHahtx h=Lߑ&䧊p3#=ZL)/SHAS㗭}iLqCuU";6_ jo`jdUX>H1ņ9w2XxS̸9 G̷lF "rT* 0 K')M!awK}}FȦ +M7G܅W)f"dSĐS}袉":)|ݖU2 OQ:0BE "B`WhzTʔ@K 4"/pst95{T6$^*?6.Ldb1_wAu]CDq3=B4)k-XZ.gh#J >ҽ>WihFbfy-wx%IpyL䦫Lê)<)lS%},-P,oVE?͙+Ed+TXOm͊ A58 Q_ ~!]AԔ$;LШשA^#ZS -Bم;n:@+14=-J'uo|(w5K*Fj,5W{1H{|گHk)7l,qW#M[eDGuti=D.XIDqqU9[0QJ4cͽj}%d U_x@ݿ8, \lC+g.\=J/# s9b(\i0AfىH,)l$gӹ5U~sa]W7NhW]M5Jv]Kb{v=+4_=_fḁzy0j5B%q3U+qkI$QiASy":,C,qJ5KޥIcu/8ie} y%cL_Q5P5TU䵺/yb "w0&!7u;VG JgO j'(FgSȝ{qgR=l7zVn[WFcB֢ߥ}'; e(S"LB)eX9Th 7 Y]:"() $,Lw}seWq+/҇Ghu:?$}PCyf`&\]O ^!IVcD:T`egQ0˔yŸ\$GQ\+iv!v>u91=9Nr/(ciJEyPjbB,RavrHV aIڢ|8o@ 2\|_(37PnyD01pVbQR7"B ܷlW%%Xs>Q%nz K+<ܔ ky^͇yU T→+B$"sr*]cEQxDbX%WO,)` ![ /jb~޵'fFgAv4:oͫA;rʚ/l#$f "v/3P<^=D\=JӪYU=TD%{&bYQ?nQ}FY-_1iTuUנF6lkSi㨦qalNP4`W2 xzOc裾&!e21#ȣCKga~ENQ8E ?בǫ ۯA`](U9u 4=?M x&f8@<"gYZ03d2b87de7cc5edf32661c38be6b6e329f0f4972 0b69d8c3f70856201e8c054bc34357b13520292f 0f998f25c16154dec477659a65cacf1a7765cb4c 1437e78289fad976268a1c53d4c462661ad4f60d 271ff21a>fb294fcb60b3e0f95e8deadfd318f7b5 2c15b0fd763e01038890966542d490e19ac50df9 2f644181a9eef18046b2f747b3758f2be0bdf9e7 3122c5b55089566c74375976fd6040cc34c326db 31755525071793d62f6b61cf93fb27d5793a7c4e 322e4d6615177054deb745ccf037dc2bb3b1a688 34c1821a7e9f51f9406003ddc413e27db70e45db 376a006752ba91a78287bd22ed408721d46367dc 37e048eca1afc2c069cebaffb562a02b039bb22c 4132bc9034537af949509e8539839c161ec442ea 429952f9b1ab48f5480776e72dd795c832ab4fd6 42dee07345f60c7de0bc5cbd4b4841655fda552c 43011728c87fa39af0b5c62e53c9beee3e632c8c 51a6f02d8425062fdea7006eb07feb6e634bb5bc 597fbb094f16f328803dc816d2ede8e1a4685fa7 5da4f1f8a066e90a66f3844d13a77db517e4322b 5f3249c9a2080df051ec979e03e69f7b6c37b568 6c10a5f6b21786dbac5c9b1831d1e19d584a8a97 6e2b45afa35cebbc9a7c8301fe6643aa6a831d5e 7515bc3cd3b2eca4f9bd38d8fba0eca1930dc073 756d0b05abffa326b94563fb360f88f98173443c 79cde99199a8c3d8d9ef26c2f8360e7d07fd0460 79f31440868c5686b204e83e4f26f92eb8d94f9b 9169bfd49fb8e5243738d07d13499130ca188110 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b2b5ee5e9d4386b373571d3c0bd7fe787e50bdde b492aac05bf91987603170f7236a5e6af15d9a95 b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b6c97269b3af80550b4d02b597f59f238f119a33 b9c5555005d2457d66592f71382507c4831b3f89 cedaf14907e583e05ac48792aecdfcc5b04ad875 cf0eb34815c10b600e671c786585de3d3713e6fc da5c1467f508e7168dce856fdf021d36f0725b44 da924d0f82345810af06bc17547396680ad830c9 e541638ddb656e591b67cedd6d2fc74a597c6f68 e60dd8a11eec722998e8518d1bc3e18b7b4335a5 eb02fe96e93a587b7dba35083655dc750f4acea4 ecdb956ca90467fe923eefb041bb7ac70c793a34 ef36663308fe3932b01f93eb89f3039c963b9089 f0fce7eeae1ffa41a6f0691e21062958b47031cc f46048e98cf60d1b708c07c87d1b19ab03cb3aa3 f975e3bf5464df6bd21d33a7ec5174278bee7c3a fc4ae0b9e83eb5cff2f8eee603452f00d118e8e770d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f60747b440ff03a765b404a47b50b781d9eabc9e 7e392a1edb7d49f67abeb2d4b156c853660397a1 55486adc16911d1b7113fd9cccdbdda38497efb5 c7b73edd6f4f70bc0d452d68d59a52c8de99b39e