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 %L| ]/]HOL-Analysis:threads=6elapsed=327.079cpu=1605.620gc=67.108factor=4.917zXZִF! P^]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB '+qVMɊY(\xs|QD4GgAUbHX^Jaq%Rpr{,C/ 7Vd1"}Տ"G`Oog8PQm:U0P*b*;c9Pӣgld9Hl~עaڵ˷*bmڽej!3@>1Smu,N ƙea7ՒxK4**9w.XvtwV8s?YE=Ao/UqQ|Cqn;LѰ7^;tPW~{~wIJdR¤>bV8ppN"N?oW=To'gjtf/M?dњ=sF͑Wfyar;EŊFa" |\h5dfbm@[,F%zj5Ϫdy?0VQAȏ`X*3$_|ۙ5Ќ/S 4U ts\qأqZ.$d!2~N-97$!6ER~ xi'bRfEB*d/h>f"E:C$KxsؽeIj65)Y**9)Q_&ydyZʡFPa~O<ȽX!;H?,@عEi>pퟩTM5ޒ,LeIkàXEr"}"ܡ CӬ >Ւ|襶::3؈E:3OP}‚H`LO0T [!isԋye}̍vJZMΜ? НoPd/d2M[ Q3\3v*>Tµl b22mCə+<^}oy8-}x,vs[>- 5.9vxD|Vu%.ƻڞvɒ|Bנ'$ȫ3 }W9j2<4cv|&HqY:|֥${QOvN^r̓O魍+m QT+)-;mJdߎ{j x 5|F8hЎe3du6rj-E`_ 51[`_UP0߉XϖW*Kl܃wST+{P+O -5 ࿥D5 QiF{M>m}Dhc2q۴ ݢxҞu*8Tʰ&{{;# p`v(H?zXtm!<ƕZ]GB0sTyrU';Mkdžlj3 =t=GNF}&g<uĚq%#q($7L== 8i+x,7:VRƖa-%vшc PP+j+++PpbGbNZ!Fhg,YM]?DRϻ($U *TGw\6sS>OOkހ_{*!@GS"՛Vjj{)!~9%_qzpAH'iSQ܎!#3Yrn"B]@vU';QemPN vgB&z}h$:*|ƶ8 A߮ӎrF +,ד.85^$oFwN4/W69ng|4iXn][;1kE&{8URU"XO7 旞II3d 億ܖ.#-w;=Π㗧.x™ïVS ?4J#oxE X :Jvp7괻.1[v@Q18Ǩw @ 8>[a 6\'B~xiZHԩW@5P5%n XUk֐DmeOlES'+}\}UM<0!;@ӱR3{jM#f%^{sP4 q7oC\w/-y{7 j9`j(Rl3$Q&PEy)j鉰D ʭvRyRiPt۝uƤ8܂X,[';TX"=^m ҫaZ=,BT?s' ;ElhTYufuhpGc51Kuj/!C-SVˆAH@KC꽋E A'X~ksJ!n)-Ybqr.oѬW K Wz<#Y+n\j;i)~i !p!vwaii+y r6/mA"kfэK1K6ɪ>=ɹ֜E()f+1Dvyi|rh;v3$Q {s0b䏶P.S≀%>6Ap\uAcVLKtg sX. PbV.=i_d“Zm0Mm\?%1l3[^5 FsRyo8]67Sͣ!O.<%{̃쬕ďL2c!t*Cz>8/rV=Rq/WoKಇ/U:y-uԂ;Q.^Ic-su8؎9=v ia)$5+Xq٪j=*'@Ww<)ݐU!;[6A( @а e!wjZB(; P6~+MJhK]'zUcb a-&T3*'{Burچ C kxE(cV. I¬; .\vv[EFD',`zXL /S_ٞH nS)$DGI)3U4S|@5OC dw/8 {ϊeW$eП~GK]$s& Q9zRS0_k 'i`KS&:ƫ3ƸI;=ld3zh-ĮÒD%S^^8buY?%gW @sXxkW?|! dFB,_1z__5v ҵfn8ɦ?t :v̺4K8\!bF9Z:cVI|;9j'([>-AHw{mO&I>xx *#- qMnEO`p:g톊_0ʎ<*d`H?87Ǟw/f!:w*mLThukᬠczdoJk;kd1&:үğM詘6#;eZ+|(SܶxI lцɈ\Q-ls ̗T|?`/T睼!Ľ S&#Vۉۍwb4cuta6:п:N+I`ե8rn"NA=TŰ|{weۿ'VWYI(A47YJewl7{).n4yc.bTdh4t20ќ٬@W"ͬٹKEl5p~5~8qX1LGoˇ(s1}):aÚށ;BƵ\dž0ذ.qB4kv[p 34-˹\?K+#Ч hPGAun"/语 /rGJF0+=F%lWPnUH+ߑtOa3T%ӋqZWesBK=^V.k-DSL,%Ml* ar}{b'j@5r9 Z"E_.es,Ȉm t#[(F{jQ+~DsSxEZft\W|=e3f 5 3q+L ҥ{dE*MOcQG|9,/[=kr|gJIjYd245=KKǑP.(l߾ iϣYp3ź;9G3T~ t}5nn{P!z͎8"AS"n@K}KDnGMC#TxMoCj6ԦΨK:ʐ,,teŻgw@3*Uouh `?4RPTŻUFUE(;gS&F g[t9ne,MY/gcj 0ߊ7{" jF`SQG/KfMD .X[U>_>2ù7䬩&98UݍkxB2?@ؚkTj3+ =)s{ Y-_ *4, Ł2LTy)6Ǐ..DƝ0עrh6(7xs1`i/}`6{go-Ir$ sP̰ t(} ; t(+\|ryRl>Q;|kW?l.bNkq㋼U$Rٓc5~i1܋>'>OGIfĹJwWE>eB[ h@,7ÁAMJm'\4Ro3.௦40*XVvFn8iaJ J܂p &U։73%Z7Vh"Y zgKlj,6 z3 w7t!bJ;s>u}cF{($m̘ \w P{ լhPvnVʳ./5r*> FAB&Od)v8#œ˖00Ʊaǫ5Cht?Ы]DN "Z%<[ۢ9`HX,۩KE%U,wc,!T όMG/@Tօg}͹Xn$z4$&a]bKfY)5x*Q0M:HW`ZF)r)ºq8Y.·Y#BN3YDU  hr3Ps p$!=z9~ʊˀZBîJ,"%N|ߖ(;u jW:a\i˳B M~ gCw Z])Y&d@!^eKj=o1=}u\?نY3LO}*"iqdI.k1A4,j! a7Ce{K'PHŁo!YǯxW-= Cn ! A 7̿*VxNTt3 aW N IW ӓxA M*OQ awB(ȾEXbIJ7H0lH$לZ헭9 dmey N,\R:m3GRԬ/Qs='8CdB"&Fh\+Z0I8>>XDY=fnNDwN@V $+l]0Oi45X1Rd nʵ8,ӨA 0g%&CT I: (?D; }e )x.6HHJH?2YSWrz#;fU,aw 1^s4FmArT\A`Qv7HQg>QP\>Fy?W8mj{/γ*˄~G,mo @ $2)3%)ǟR*h/`E~ R [_ Oߗs8OBZ*ʚq\\˟?/h^Y}ڻډ?bp/O5_e+6Lo$$8gaٰE1u_%;c-'A>;A"2Z',^'>? wsf6T} =>om lO0U6,@fX'%}}\WȮW/ڛH<}#!!,Έԏ$j@ihpf"[՝R'F_;ՎZ?edNk0`L`O nB:Ʌ' F`&|5ɦ깂$Ah )aΊþqI֩>N<f0ΑaqBxQ-P(&T{KdZGFmiedV<_`ge#ƆZT2sU+[OeIș گ19{grՋld̎i7O^Pj,p TCpK $sb^ݝ#$Z$$74CXM (֡[}.R;3;̭,jpCevV{{6 U`NޖD~̉:R8), 0fτ`?aOoߍ3Y?/60-t[}Ie,@g12-Se\F0^d .<3э[O}Q;;εbP5QJG&Tu al@Ԏ{ǔl㚿@~jN+oӃ]eM23+Lk6>_OWAu`aP2CAk? e%J%FG8Er^`yt @C&W0l;gv~ ;% Ti];2lR0j% "dkNr%`lJ=8A@ jz#%zs4EIKs6P#ě3ũ)7_9c9b}A? DG1"*6jSIeg!&k|5 ]`N+ +YdLV ill#5 d#t׎?ckw@L !ǩR^[!&P!SaĆdB*LMÍf,m 0GHs t)%fvgz@W7ilÞ.Z*1! /"JOH p5uw &ꑯOD[9MN~dJ$'ÕbGi1p1X}(rUAc ЗW7:N2@{Z,![K&2/at'`5sHHs bpY|l[/ULjT?ՀHJٞ):$]*>r{}`Vj< 9{0C>>!ms*dӸYUv1 6N5Oxuz8wINmD/B{gF?^0C)G(noAthR6t[$"@<%j %GF"Yn m[:?뷀 Tj$Zh7# uEWg6_ټ(c[ĖV=1{[5y"V]\4$F{O|4mu*ߢb"੓; rFF9Yz "BrmW 5˗<#r'ցw}z7u⊘6tJ;y&8G6{O<^)l+æRDOͧ [\@"J7 (bu˓SE~+|;0 q7VW0WZzyq7- TvcGfwMY;o\jVzv3Ud<p Ncr(I=y9]2xy߻k(&\ƨ:j8Jqk"09zR0u}xIaa ,BE%ȀU[u|VU $$n&nN.YV a1. 2%aKJ@'(Rѽf=A.W+{bnh#ϪR 1*sa"$F6U鯜j8]bU s/` nFſ\ѕ$VųY}x֢?*P;|qN#?׶LHPZ # ͢_w+#aYnl`P?rKwA31B &1hCԏPxTQrrVHC9z;zwt/#q`oaT6zpΤ.j3 ,w-6+Ak\F U/5\ayba>c2@`ф,<8Mvnӱ3\~m-_h'(%u1o~b{5]ڌ<4fQ.H]+A;m o]vdR = q="ED#*i5N;&mz8ן,.;WzäG .w}e4L̫b 4`HvtŕJ'hfkYl,e]G ]d_iS8@1*wUh^Wx[ ;Zh?ӧ(io6[+DzvG@&*cX݄IOxكF&]Gm5CEoNs#+v nRw;0ƙ5ݤ3T.^>2>p:ʍ(oTՙPf.jEd}8$S 4DOlŷkڋl6Fvg_AoF.>yye@dx<ȆEh񊑡n3X,%gpS&՟ 1ls/fmd0`Uyy+͙Ll h7; `ȚO ݭXd/bY̠s2Tf+h! E ܘ-clP1Zd`LU ,0 Tr><򑊉3Vjt|LPv_4Xdh.yQj,eio3W\+[HڀgeVZg*q2 ;Ս<_݌Mm4rw!8q8⼾FV!aLF?8SRS])9.DI•Ф#u}٥[®ū#Sr3.J.i_yxS9Qڏ{[0^] P>GbqpaMs1!]mc i$^=F|˧4hO}zŷNa~nt66|]za5_Qq =l c6-`k&hâHuW'9_d] 4X<ytk)N|>`Q:>2iY[.3{^z7I^< }{J-g^Yv]e+}ؒ'&ÌP'19G.TF:i%W^Pwc;qz˂Q9>-"7DAKYB8 h$XJG1*='PJECRxx1;¿{ Uߗ1ʒD,TL o%T,Rc/DC4qz;{|3doڻf-P;Z$Jqh˾% Ա^viY3TXO.{W/q }X~󥫃78}c\^dPf T vQޟ \EPy\7+)8@& &PVwaM:S'X2-Y>ӺE9*sۃMO{^4!' 9G{i'J&+F,]cE(uSH Hgd\q8)a |OtѬYE j5L\$ z0 TWu)TlO~٠۬G<'Z?N)2I 3+<#?\J{g*_)yl{ C 4ѽ:|wS;ϐؖi"{ ~[%ƼG_C+ 7"@f}$mO:LU3ͳŽ3fh!&>PD)%RN%tzɠDقQj_7o'K6h%U c2c:%YU{ d m\j,0E [P;@}WWj.@L_>1KTzտُ\C-n!5%~b;5z)<"H9fcvud|QW侃|٣H@5=:pFl ܁g(Eܟi &q-qPLJXKUÎ V.$2o=olڶ݆0_}a}(`VV]a\B`l f$̪? ԓ ' O̔L[]N |5 +q*^XDuz5#_oL4VTg4}< dEJH/Jʃe=0c'8'l4$= \&A"|E6¼S-z!ʩ@]ʡ=,e^w_F1irwqKKU]fm/avu@W5* {hD-17F>'b5D>]&|VM!([e#6L zTí |l5>DMb(pp]@UP,u6 &U? Yc켙ϋ}9:CmzgટlI}7 ˧jJwGrNG,\3*Չ_,)"F4frz9vٰ '2sm#A ׈:CZdx ȺH^ǚֿ<=F<vj43ƽ=h|/*?)vy17\:I HgsaGVu4w+Rz>;<>䵒xlGxJ${޿LA=r {/g_~$lӺ>106N{c;IEfC.BB,X1`CۖX7[a]?#$1ՉNN%Ob?ɻ7WځF0:rQ8 Ε8zljJ3 k;3W|37UD ? d#ؙQ~`tMMv}gZ`t1Tl QSmE!ћG1 &r78Q#`34ʮb\틕UnjdbfKI_2d!Ħ(\OMRB b /-(ho]cCV_W9g#`VN \(K}Eov`vbVp6j (4OzzC#E/v,m/7 ǼYgP|DC3TS=߮Bk{.qPoJԟ͐SИzcMP~7K: j+fk|YP+Ǵ Z #0w*/I()pxEd-T2`iv3'Ac" lo_P0QQEUf"SZjGWVIe'{AE!-ąDA}gfʙlJhh #E}G0" dE- ^?;SqW7e-fJC#6Ljx>ir3jG-c6zM _UӑFw_oR)2%L.vgeS=N.O8Ďvak!.'TWGI&Ʈgn9(*B9a#Lɩl Kдsi'L4!ANםC`30eN#ՠ \ӗ%@"DG[hnrp5Gg%RhOʍZIR:`dFLΪrzTHѕ3U槍 r={G]@FkU)\Gf/bE(ՀafptV8j##jxE<%C:~֭ \:uL*bVڻoݖ`hLU3\FZD,@Mb6)^I{C?_*u8ߴP-0ĠP"[E48[A֞|"pB8,qlZN;A]<_ّɵ_ӨTa +&G2 "&3HF֕D#a5Y>.F_+ve/GAq-{?y~˃&)sWG/{+e/+un( ӯ=3F^X@U$r6x;\j:yP[GsWn3NnxҨFfXGB3Ugg5V;zJ֋Z(@9U2&uu}#ZR FuT[L!9uG5e=,l^ܞJgi]U߁Up!޾bUhVܥH=o>IAP<ư”y4+^4MBݱLdKM6K`x48q!/c$"@5#ڬ9Mqg'۴ M^z G:4E\~WX?t[h.>@L?a hzD`/Mx!>v-(?X7gF\`cLj[Ɇu$MZqGO%c;|Z#8}\y=32P Bղ;𛟵(c\LM+"GsJK?C!8"P@{M8[;}Hn0<Tp,Ӥ)15N|Z2]+jCA tS ] M9-_z_r31C'<¾b0 4=dZyoYKįpXO|_l,O9 "ZTYw5%qI%ͼymcR^WJJyNjt_ PS:4w̓dH3P*E9ͻ579?Kr˟>Jo92Zd_4ݿf#h%-ȍ]YPKZƈ~'g]TF<;z(vO:swfZ$G$9?UQsāVf+U+l C<&'adQWD^cz\iӚ!9̘|P|%]!*) g$vxdR B!7a'j"R@x~1[zJ:MHf3l{{għ aI6ln'?ΘDJB xw;c}b|Sި:ޤ* FC䟝 :rq@_@TPs+x.BXB@£WVBJrKTsk*2HTCwضK` ffe(Yۙ^%VM>Or)okor?5{U$4""U>"ި[aRݧr~ L8׌=ɼWL,PzY6W ya9?@I7DVpsaimv%Ɋ 3N꟧ ?R5^BX&;a^8L Q/}r|X4/`%}Q+\͡ނy0jF`60~ۿ]uQ}Y3H4PVr|CH_}Q٢Ta[2z4p؇ao5{[0A&Nx(}tA?/nNDeHX~0{^/$ir`Q6eW~Yio(.nخALjr\*wn{!`$X5X:sqɅ2z-骴4}<ۋ*eU bv{xvE쫼)gថ +]XV$䐰Z·JQscGI$U9=TToU(:U\IDVwɕ Ncl*$v\Y2 hgBQk)s}ǀǐݠ>g֝4e 4IyRʹQ'Ozs,|#Ifa.(U6rM./ tfxRZSAUhL~rEf^Rc LjuX3&; =%Ňd1爁h9 P@e:W)\+kOpAs*3Fg`$s-pǕ4nClUrB2@SS?5O>@p>h_&>C6XCV֞rx-9&?9Ԧilh?HXEP؛Y0%zBtDs}2~쌿 FB6}53 q]wE#zOќz۷PIZvPUAVzJ`)Cܔv֯,@hwҴdNerĂ$( ylf',?aXXDI?^߯{-z&_l" rRjmDqXD)I/..k4X,&4l#=Eb[ak.6q Ձdpkm"p I {ċg)3GiaO(W"qzmT Wz$PUEmDzǻt8ȂpBZG$#y/vxޔ, Df$kc#`Z` H?TXgU)PX43q_b9/T1ࢅ>ޭvnhYqO Tc,a qjL~ٶ_n~Z@̓.Tїy]&Z`_R3qNThiN =SMr`9dBƒYf^"o+l%|Uu5A [7^D1jyD@hMBYjg "gP7Ɓ5vPgW1u&s˘(:K> {K|(2IXPbsGk& 170UG-V)`-E053(u𓺸 u-534ڿq>>O,u~ 5lἃZ{LKK!iYg]bnSvS% |9u齻ºiN~ { tq`ՔTz4r'\K2LY s<@sq/{4mRg'7 n(Q2NXdfҸN&%7E_+T=S^8on:!`2xk6ِwEvUn+}D|ǑuTñgYZ7zXZִF! %:]ŗXiɟ1˦r.Hil c`1X14yf:ںC¸TPCn+ꮴηe d:] /R ꑈ>YaQjqꮻJJadC{Z9'PCdfn#;~]K>C3gUmOh#H_*YKJzC9//Va:5vT9q[ͥ9PpRD0_.YGMv6?nsqĜۈ:y$ CG1<.m ۰˿[_JKdN|~zC)+z\ {Ι|{hB9bO))_@G.ʤKRTd (媪Ji59s5!+OdtG`/`LExȎzGۈGHx<#Cu42t^@g-&YnFrv 2_:9p*d 6IylCbx4 R]so#`3omP1ZcZ?\]72:BH?PF@XYOۼj`Q3r;߫V rb\#۾{ `kU[ k?ۮb0_h|4~姑Lq<\sUB&Q { }7@[c6 `e9q\_dvu%Cј7Ώ{Fhޅ-q9̝Zc"m]f{qiyKkwfq#$W:mSc]jdul٧}7f,[9 B ]1,%˚3qqVIr X KNfv퓟4crfZ4CuLNr'%n ؐ||YHYɝ# ګ_`P'X~b !`[֟$GQH\ J6xGcYŞ՘43^N(##Lv+鏟,.m샄 CKfM%2[sJ'} kσ=ﻉS p4c~6TS ͌wf9qF]i"wL$.[6@s)8chkXE/fmoKZ-A|NTm {d+Ϙ_IlJnF@ax\g%%z,F!0(+ⵔue ~iT@%xqIl~u)k ;5,/MOwJd'ۜM2XaHy+α>%:H/zn(ٯ zDkta9 ]5Qi).^ ]9໭LJbC_U]橾ӈ$P>t:5^(., -{jlykTkoOydSs^j_s+9sH wBfF%G2ܒDI@~ۇ Nз'6ǭGh_15nt n=]&NEs) UjZyهt._(X6q]AV+$W0 (]AR\ <|"̻~W>J͎F?tM[|hrrg9FQsF(52p l ]3kFOvY4Ĩ6Տy-~1^,u.'@f; sx"|?!3'Y GI)gCN9U+l%/ՒFrbA% Ba=EBSK\6/k7żܵ@FvH2t7Hdϗ\vۉxr&CI'a[HDyS_K!$A,ȣYlvo>"Ф0g$ukO}~fe# i@~L%#4^P#7su+Btk@h'DFx]wC1s.r9`W3QUG̉uGA I)ʚ* 9-Z:Cs ղ~[E.+K e /W>b:PO&jjY$9QE\bX!J&gYZ7zXZִF! 56]ŗXi%BԨ`v.Vh2[(i)beaͣ^s߷8O! UyTok 2 t`p#k{1"b MgmVTqo;8ڕ}Ѹdk{")[Xus횃b 10'ҪCA4y}Uh7Gꢛcmup'[A"EKGlɋѨ\q$ƒȥ_ÂchV(}9!˪ W0jě_vA9m[ V fjh_ilWdgGd그稵ިz:%1^܃<U!w$h'](rd3qຫpQV{hSF"]jCOjjj4K| oF%,V=IB)PO-"-3  |FMjtk=kOCUه9tYRΉOGÄMx̀$|$l%ETŀ穂#)~)}}n48<Cv]4GM emVrbK3ǪcSu%0i%(*7܊NA~Wa쓝HF<ʇYAvvdV(]hc30d W7\fjVO!29D˟!$;ۙpPxQRd~n0| 1&jiMI@(umsOC WȪ:461S%}Ω icz:`LL*VlRy_j+AObȇGgf:Fdd5F:2 [P+Փh{qxkar vpZx~lu0ZEY496[MsXxv,S.\NChz8;Ss}>Ւ߂.•5 z_fzii$)? TZQݶҷ{;^LÍNY bQ+?]Op@j k $;C̹V(t98)ʼnCzsuL^xڬܹU|֢@::Kzʦ%]I`:f|ZkcpqN&Nh*Z$w%4PH`ˊjwEfSwx&=پ8tSAKݫJ/v]*s^UF^HCbGl+zDGb$$f<sXwEʿB%+uGX3X"^g,%F52BKK2˽0{S9.Nޤ&Y|'A:Dzj>iThƫLШwsm)C:h؂U`] Y5ͮ/h55§|8L/8gXa8]CC74WGUU2˵m+%(cerb!߽8D?IpN%B wt&gړE[ЏlT}ZYhMIЀ-Vit6b$;q>l鼋ZĮ/7aW*I= *]" 7(Fc֌1.KsEEvI9n.aC)4. MA6tvw^QZSFy N>}Ab&h3e#&rY;S/1Tщ#@ 2TdAJ5Jk4O!Mwޙ~8^^ܟ$2\EpBe GTA9 nwV_+f 'L4~ʱfA "IrZJ&)"?etfx2t<&TYtt|ixbm :2w*B2۽뿘tz[FM[/e=~GQ0x4* 2'//ѳN]lYDrn:E{'1!{hT]]^M!tnbBlyA mr,稊iR E Ll~&gTY:`aη;XPr ȑIZ~C/=NiU~gʆMcHLT71ò_d=o7-`rKʚz~"}3 zMuM2.! =djŰ" FJV^ ?k ro~3:qN f0L)L_fUq͒ȓq.wLMrEz϶-5~$LM$߽.x%u"H$'HJ#]P+?%9ʁ` &DBد 2i4@cNT >#X0:HgpfL`lb!Ȋ {7*4S8k⎒%X4+;n Wal8L,M5|DG0҈Ȟ熵ߵs 3){,KXLm:w2q.F;|M>8 (ou,xحkZ4¾ >U"UZP}`ZkvS7S$O[cF˃/Olj4S,K5AJdv`}>X71 .N%`Ηh#Mʴ+!Qkߐ'gٳl҅oW_h\I>c-fBfPy_<ԵHDA/Fwko"0U,-[7 2CD hL@G }ӯC7uodY* skĬ}\$Or7O ښ)'j*|Xidk6v-_N~-I񄓦+8ޠg.rO9  k<}r" DA/-p طb ʭ%U0&aT8zN+XEbb^m̊3" C΋< ?!!*i$YjQ`[ B2t5l88 2MbXCq \sT v5Zε ޔ!#16J@(@uZ$ätҷ"(@IB'voaWZ>7][r@*rj)̟Xmɒ؟ŋ2cD(c2h?{ֳ=? SP[ w5 #x[;GFF"IRG"T`(ey|WDu&<#S-AWPcI 9=䛷Gpߤ i_ӟ$˒ kP#ʋ6C`$᫲͇MKf²u›?XR:,UXV)-VC1 t^AobajAΒ,4+cy^i$lԕޓVeͽ>(8iMGiZf΃[I(9agq{L^n]RQ'͑$]жF/"Fl6MaDWI3t|kW+JRWOB6ǰ44"' 5xa8m{jI)g99CS2=&Vy0kgBB1I~{|u-M ׂLsM dot*q 6kamtД$kwJ86Bƻۘn#e(&eKjL:LƘd'Ȗ:@Gn `a->í5aӟD RLCNr)t 3z&y(Yijk wi EIc.+Y[{X?e d amJ{״d!TXO H>J _ : F-;F; GW*':JPIwhjĊ Pl!K9>|nwۢkmoc&yvLQ;vn[T:J8`~Z07+'nӕe]C/=F໵)oa8ChnA&e D#:IZq|p)E]2uYɎ5 (a*lYLL,]^:/Խ\I8`'㸹RR/b.Wdl^hpސ"vvB'+f7EeX=d%NzC!ݨ![ (ߔ9"\6d.7MTm. *P^ދ$H8'qJ zxwOTIy;rlRH@IHx샳0+3!FS/W03ٹ S1+`$T;~&m-zr?(Eަ6 /;)^*s+`=Ap@- @`3A&7CJ:{E'c? B(ث9(OOIc62/jm2a~bu+nZߧ}bQs.pxӴ:¸K>7tC,ر7S`0ۃ_QbsjtEXkIl#RӘ&Zk'm=KiI:P;ITS3s}PfkLAivi{5||s.߼4&#FG01\ѹ֟N+yԈy_o)tU6So,yՁ K բ :Ua[:D+/@zy9v7_r-byv0S$M4hxP#wg&Xp'9*JI/K1& DD*5o6BaѲxqM>{o,bV\3IJsz@5]73BU]I2 NɧQӏ(]<GUm{RтPȲcﴰ^FJ}x⍝\OYQ3M5.y7Sѣ|-m0}X~qTg-ZIS*po ̀ pY RJ9!{4̣G?y ,8'+<;{=DZ4òA6Wo;9n$c%Gn*C f1OQ#&f"DG?O>squ:M  zC7ɶi{ Er[%}_J)IyW+-N}u~QvY@j112(4dJOu52(\X9M愠S&k_lK4 gCg^뭛x@ o=ݡ?uwg^b7tB3JqpEb@mhwIDBU[Bߖ{\:$ln`RD0(Bۯ1-̹0|||duRY̶=J|LD'd2^ ]w\l7 7EӀOtO/6({XAd(+J5OYg}kFXƓ4 f\[ 1; B Ϝ/w7UGhUϳiA3Ķd,/W=.ldcKX'6)"eǪ@ʯF{wS̓Pl^:|&ly~(R}*(tr7b jMdBΝ;L*ɼѸgҢ AR[ҁ[\)/+V.g2X jֺC!u#ۇ#Neu$E:>T[7i0ZcDt].So(yВڸxW™#q;iiR*X>yqIlTqfL &m=@{DUbEgeU8U(2.I:MpMʒ)8v h18^C5e̱M]_]{rK$&m/0PS9R#.SKf֝O5s$Nd>[q_cChU\pD*9{u *#H}:-KjY(ɟF~ٽ@8PK(N&(e xC mŠ:9pA t7La e_;&`)e3[Dy( 6†&f^%Yh?˜36 #`qwQ*dH <%A 36ޔn$9ΏOh" h(귁Y9^&K18g0?zn5=HW pIO,YF}Q A;}eŋ+* 8 n23?$;9{wVV*|@0b+uB9;Y3ֻѡ^ Vs+71pf Q&LCLt/.I5|Ma䁈XLkPhts4riaað+ةc #2tr m::'8.lpM%ԗ}N} cD-yH Ԍ22~BS0cn{Tff+7)U;*[B8d^?!vlm1 Wv>,9pJZV~;޳,l7  B N'(H ۳ O}bI#UgH)$Jݲ1hu6\6lZB DVhG5K8 -_FlGZ.%,EDv6ЃƿEm(ooh; - z )`~)xQ$ob u-~'1E&Zx9Os#Iߥr6䰣q,-1.@cac~#47U;0_ =ZTvڅ]GV= \dpfǔUlKe0ǢI9ʯ{Jsk鯃t]GTX찲bK{c*7z|ev^~Om)15l5?EL9z|88k,<6[1bùmNs007 ?DgWǝb).nلNFL gZ͖ s <"9x~< qʚ_M?`Իx `T.ftjKDNKK.Xj:cp`3;qff[W1 k٠q(wSML#&WB7 ^hG<<tZ#rh|P.L [*ꜷ4OvWJ5^. Uߐ|+GGV\ׄ$ h#k2e))V38̫=QR{( 5RȢ*nSIGՔzF;eZ1:&?ol MϣTye 5M6d1YUbNa1aj fPߨhJ.ДbWxS r#L[#"ͶㆼijaS_o\; S#z{ZvD` ٫dY3ysc˿XV hـvy6T<*/l)$>fdS|8qTO9pU[RUr殪L u !@v/N!I~+NQ2mt  4q]RlP$IiF'3e&nZM/2NLx.dhǪ?.1SMK+l-b쾚0ƼZ&b~rрL /XiDsVc2m7EvhU0P^H '_NtH XK°v$4g[_Щʞ,,GU<r˟%a6ɹ[`ftM2z.釋tA~N!.dغV8  6{Sa(|ϫl6jĂx4DM$sC\ hP bЇ+b^}"j*d+lZ)ֲ!F3PMQ6a냡B,[5GsiYum?9jUñ(_oӿmz}$L'7ƒ~ljÍ}! ػpKg#j3Fىur1:K?Lxtwy$ d᲍VAj3'ٵ ) Btvjt{F++iy OO%i$ @JA ;- @O;':&{@7h鵺0 H֖u5) 7!u,^CL^an?$hH)a*0T(K zAzbY{/hNK!El@Q0 ΜtVg5u_;nMP%V̭zGBHm;[Y˥˝s#BUaqL鉶'+RVzn{9N'#ߨ$8y')[aý:gtGC]&YAQpq9M* tSیh nẏb.$#uo1nuNN1 ;"T ٓ6DaMAPlj٣Wsn7ڴN+lkȔ!Q2C(6Xd9SL;!KEo{1}BL;*qq@ۇӨ(RG^˙@'h7X: dOCH 4ȍ"KAD!znI"fDDǘtق n#M#:5d'EQrAJ-[y+j[ڗXa+ cr0|MJ#3ǩK^3E$8p5x)ѕֽB—3ޙ8CĖ% <Cc' @sm HTS=:9۩6fq ln9LUG}g$UAP+ o,ZA:0'ra|QGZI@!s$=)PW;릏%PNs!!C98ܝ!Hۙy"4g!~@[l6eHzd9FQz9xPk/$68,CFk2WNӜb,J"=YwySDƍz^廵d  2y}#FƴEp (+H!,v0,M<xJ.ԠK!Kد.GoXscpЯ'386o'x ˝;~ؾS~7ٞ9_~k7<i~D ĩm6gL]&mbbfFD,_8)P̏-:{1~E"Z/w?'*¸=2N4֓oH?+2YFng!fYAA#8<*`ˋ 䫦v]$;,"*\EcN1MFX$9hF:Б`Ǧ G`γ%'!kқ4r/HVO3g.Ŏ~#bTX̅C5oW4AYTx o@Ӷn-n&蚫l{ 7# B*}0e1)e-;,w2k\,;~v>c |0% ]{"ܽ3zɍ=rE釮z`(;m3\UrXjPe_pgl pqMe84ǽs耄}̝ji@0VG4f1s7u"D׼>Z/ pǺD6Rm暦N[Épّ,z񇿺!#aS}ڵXH`AÔCbU8(-}۶tTH Os9d?>46m)wVƝb'bѯ&oe.GI10C 1X7{97! q=NK"c{ zD+C}vasH̙%< mJ 19츔,|*R/ƵNq3c{]FX䵩mTc3g!i))r[ʧJx0 YKו/ @> y>YVg%H~J,j $rhz~9Ubl۶ߢ%'@z(fBE9u %KCLG:9[ U߶-U£Ej,@^c T XZ+^uA f9[\Q)uZpԗfU~F[d ,T_JS!f_Pklgi{?Q٧4h箁%7gn)\RI0Zx9l[vi Aa%LWYqt[!/M1t-~є\+`"('` b,-3:sؙ7z~Z9"st7@,(bfYSO~xs?_J| נַNsB:=ܳz\6 _ԏBb܇-$Y[rulQ :|OSEpo?X;t'OB=ꗍ1yb$Ϣ/ЙF@3zHݍ/~R<s7%r,W7  l9iD.Dj+T9̶9ҵK}8R] Ww '}a. &eUj=oG!dIoOǪ5065"NJ#T &>UMzTI35ΚX-SnzГZGRBK YA<U"OLxȊ2!~?*܈@ߩWB[y5hUmkM&D9-yA5vopJ{@D#fTS,מ u~y,0:6ב@vm1k`NBdCdʊNo&ձqv oϛS)v`WNna)?mh,nLPHʕ3򑦩f{0*+p{߁s EL+ QNGɗ(pi- \t3gy$64BTDsȧӢ|gHҏ?\ 8"ukeQ X-Djh VaCb\dBMa:Nx1þ1[Ұu鋶|xa$v37}}ݲL̽eH=7x*Jfaڢ q@ܮY]L1Ik9m!}Ŕǩ4)$Vq P@N?]*A5;NxTXHF&D>+4,A 1\Kx. J~Sa] Q3\<|cC+ʨU]JȆr)/t3>_ %=V+EYDn]g7SnEʌ19у@4~ڝ=n\dG˵+IOP D2ޫ;yo[;3K]T`='ef7MZم=ŬQ|zߘֲj10h!b3=w6c E0̐rik7 32&Uk&9<ɘ+_4""dv;3&g+T-B2мQBYQ@s-ou~v$ P[AҌ#Ol7T&r(r7QLT>OrgK;!Њo4Bgu,hes<fLg-̘(?EP]ryMu?#i_ceY (w=~EXyvۣpm~ŭb~GMf+-wntGn7j6+d_yvHWDŽwx Ge\mn<, ҋj]>8"MMfJCMH(UaZ]D!gyou"1U7c9i~/,J(Nf`K!8L=aC C2G/)w(&DdK /O:* 27 LO~*sAخ+{?V-%K1l'8 ǣ`6۝[QB_tg mxҒ+7j5c|*SۙQj0,|tQl̷XH \;0fT]d|k< T(wq cznAK4/CsUP,fIRGAE6ß AyiD3;g㪧ϣS#7ϴX9 g{ D˧2qݯ.#'#'CM@ཤ(P6ܭV,A~뇇t>B%^WK[tv>h m //ϺĀ$jeT[ \Hv|`Tbh|a5wVf;j*Z?XlhFNtR6-ţIFC=9`"Cρ f')<`3lq徙Yص6=llg%-솥Jᱳd#`Dk6sN͇5AH\ }7\o-tN30_KcĉV7tlp ? 98={,e k쳏W *J6W -:'h-qdI P~1^ۉg$kipm]{ОA:/ Y[ՑȪLa] lrquh\.qXaq}/R ɊbsqzQ /"g\YiX5@sסa`襤qԦk(t 6&E>/Ttu$q7M,8Fv"|,; GK!{4NM_B~  ۘٛ NZ-m {|3Ϫ8|~ڍOzGCa(TP|~VX!.QpWJO0pŎӚ(I_ e~Un JxP fto[ 8 ,˃||~izq/@/e/\t4O)srf^wWWM@=yt)-p1u9Aj%;nb~ ?%= )( l&PstH&*I /[x*d"/e6'g3ƙo|+ggw%H4ԜL-6v?&$gtcPb{EmuhKȼ` Gљ\rmHk:D.Kj0-Ú#9ܺgCР#I!LɚK1!N_~E?FGf) EH BQkx5Y340 .ņ"ohߴْ3xZ ȱ5 #AC07az׌N`+{lUXcxֽ.&BP]w(9r[5D6jcѱm?f˹׺š`aDɰ.p }=܆T ~==0/FJWc}Zc8Q a?+y/pI[(:MGv1BҜ(KU[RHeg1ћ;j(Sb*Nvؽ$SDOHu# ȯk+(r IV7s4g@JeL`E] R,stN;O257edX@WIF͏eE4>9'wf6@1_Zf=^(Aʶ` x'w֮f>PZA*st2H#.]ZU[#vRÆf1L]ҽ x׆#O<$g/Nݝ/aXr@ .4YvyM//0@7.ta#:2~ȡe˴9ϰ"3Nh [;_@2>YO]S<BsYݛpqbH`Tgp`׼$ľ^ uy{1I{c HeIm>1Dݖ'܌hY[eFĉ Z6pdt%yRrHNΏcӜd&J [*1]`޶D\Cx/MC^h߼(& i,T4$P NOmJY?b# YJ^^ĝ7RAh{ aoFk/:~q0 u&btRsAe} %mIS0G8ty}”fa} +@˫\0SR#l*) xXaHOL )x\/H8Vk|/Gyqz†3qA?x 4m3\ 򳠩,1&1&:  M229nYqBЈ$,`qLE|NhZ*&’}(XߞF$q';S~QM! -\Kߝ*f J=Wh޽|UC"1nM(/ ?$wJAgIȅ(z`KW@ ˆCCzm9TZ_&H֮I3/Y[6+j7T%&.k qV?G$|}nvrs,Qqw?UŬhePVt/R"OhRFT3i+I/NX8lBl`/xDG 9RCJrs("e# ,A8˴=,D#:"@4/X K0VZ·e#lNⒾKuSvbf;; !s1"%?Ӄc[o,<{ )oչ4}]T MEF Hyn))hѫ;Q;γR>ɏWx1KX ;9A pj[ bUԂ|&9B Q%o׵F?x՗JiE{b)M;nKFT<gTgp3Xw3T[qx~TUkΰ^U̟ w8+IpM0 oW>lKS}N3#KՋMfYrp@rś7] KTmE(o4&l뒤6lM ,tOy< 8MdpsD@г\Q iƐ"Y?AMZձ^a42JjaAc}zOusoT\4'uy M /g >Q@Rr* ^IQ)_ׂ$N˺ s>a3JF508P"z')$-|[zNrS9 kQDDK5~8#>02PvOoC=b#A+:L=:a"Nޱc0AvV[h+g5=H\#j}#rފ 6@$}uZYA2MPDh wa1vU4/Kv%yQRbbۊp 4W8rIQ*RB% 'agY@=vX3+&3IÙVaٳ>Wp3gص2a<R k!jHxHm/qQ<5rQ]>:lYx@);=>4lrnNצ|ܣɽhJ '8<ɾ TSvHZ_eOOj~)O%]?QhVPzHӆ&L.o,"`||͘gތVnrYj1sH9^ޢ6|U; IJ6NuR]k=bh Yt|xnH^~2 dEȝ5=IBpn!]6\Abq[0oIjX 4̳" aq繾@N\~gg-X7Qv0yѰޙ/jMlil,3VL bY9a6J!Mį}Q&8wVρN %mj lγ]; cVmäCj9w{Vf/n+6VO9uE/@(̀=p\?yOHNYoq{60lz4aj8W^&I@hCjķcWX f3FKÝ+%X[ml:+αEyZeYJĕ_6T+1k7dATȋ԰7.P%$8{,b%:;჉m-Uo֒X[ '}ciaS!uWzҗB|o$*9.S6~Lg=4T%U\(p+:~tRe_en_rѸ1 - H>183`]=! } EP }Zoh0S+Ĩ8ԛHpM?mG띷y,'4YDY/:.CǻmoiOzW°qP<T6ݸx;\#"c)e>s_ԏheSFs?i^+ǧ3FB*A#k  K#a仌HDlw!bw!n_AͿ7FR3o\ Na,Q`-?FS}Z~e&rZ._+պŸ qY+bx@zw,oK H:1N!ȊR.5-MNSȽf+2z٪8Q_< ug$R`*ilam,HL=Z K-^|+^gڛ'CX{]8~e <,䨽 IbߗL.{xzxM=Ȩ2iYl!FɄ0$t&mo>MKb?IQ`ZoE+gϭa{*6wd^l+4IsIHk C4 /a1R ?&P`j 636!{ۓҗoLXrQ|We.9CTe/Q޲RN@7Zb "N|c̶XD"),0iNcمF fMf-ZKÝAhA]T~֪DXE%/Zʳ-,NgnEWj2Xr^.%('cVk`ӕM%`& {Z4mM<\ f:F&q YT^rI}Fz+5rE0?;J7ܐ_y57 {Z'RP'c70߹Doz. v'(V`}/Bs٧byv?4rpGĥ:#J▿N#Y;ˀn_D=HD1!E[7& J5E?'u2& ]W!R(u7}%VBq>+̀x7K4\8 ᬽ % 81[J[!e\Hf=Y뵑!w2IsthP5ʊ5?2!vݮW!j\a?##y'S v%J"5iiAA'`$ mj86dm",Mss@*/tkSF?sWq4zx0w۹[,TȎ}h |6/<GFtF{AtX|b̌kM}7q"py}BAA3S .as֟x釆lcVmPqW_]n!|Ki:D<,D)4|ߍ1-tڇm;{r}R|.&:8)CC;1k[4.ϡ"UxF`h_0w%{!VHo=!@jl$IBafBU`#!Ϧw#7?YAe\\Ȉ'Qc?M(ÑEdw7o#yUxz08f"1Vamjߔ@ƬGyq7okƂ껨^dCy.Q.vW-a48D*fT&wekՇx8kRȇ`d>E|u'+S¶+/F;Ó.v@ ؎++)ݬ?T{"tU4"aۄBЖ!z;'e3+t di9BNRy~Gd\}{ ϸ~Y3b_1acvk.ݙv'.eEIB9[#C}ЍB ѫF9qa\3WuDm7dp G]y xc#qirZE0IJU93]O\t.V E49S֊WMBz\ӏ%@AU#M)qJDuR-Q12ѬN.>=6`ţ%upb2K3~VsD멁{~B{H[#IF Cڣa/ ReKI,)pB,*[| k˱x}FAHxJOzU~w5WAk#kȀfߞDC$@O•0rijkH8l)=EƗB#l& (1#I`#")LsԞ'7cļ_":DYL@LX9feC1 *c&ָFd*=^Zm@7Qj T,ѱv?Y]Ùy$Yw-uJo<'q.}7&@Z  U18Q z?hTVO`QPvQr |~k؆yn WTh?FAX~X  sjV%l΂^ARAY2o{GNTfn=q_GIp{X7<>2o ,Df>#;L5' Cr.7~&{O#9a7O-e<9Z+F-~ Tpu:Y_о*A,<nZDxZ4&`x-ݴ;FHy-̰C7" a|ĺ6EMu|gHE` >ъc7 cQ g5~ W\gytM5'_-v;/J]#"p3$dhr>hr(\vI9]%_On' ##uAeϼ܊WT~|>?Dl-PPjm8$*s |w1v n`@F۠$emJw^m>Q55l0a)c Fx߁!bе\bWW9ns/`)o "GS3^AlU[eU`u֙o $DgbhȭK~"n0 \Wߋ5WWzxN>Ev!-Pe:&9;ӾvH%d7PNҌ|+#6]KccE7b) ߛ4GgYޯJ Y&^u_no|3q;iF {o3'pߡbL4r uzFVT 2jwGҝ=D4|YwJA#^IS3،TS-NbN^[:e{]!u9 &EB>I2SG髃o5yc'qk2IZ|8~);7G8}a Zk7==rs&7ZfLJq\`,Nzk[j'C^u#ϭ Hc]~ ˚CTP}!,aB->6F]rOlGxl0UC#; %^r󃂇1)/u<@ʷ y؂$YK7LbauBGWcţʁYEĊfԊΛNld1p‚ƧA* Ph/*5Q%gr~!kZ%VroV4Y }v]5VTWw̻LOL?ny%a:Kԝ/E]TpP=j3v_?&XxlONYS$h=xtawͶH~q(@|Ḱh߹|9T3r7ݿ[&%HS'YZ`GNh[STٍQ9pA. **.ˆ7">*maQmQfDcYaL^@ե(y{w,W}pqt< az J^wSch M\Q u؞g1̥9Z d>_A:4յ7քZN;&#nǽbe"H)ϲTߔ1iɜ36#mA,#[&w0uʶ6+G%Cg9Ij6[˜4-sE>}b>FZLt?scr<Ѯy2Ͱ$Ka'jߐ#&Ȋ6S"Vx{ N-U_Ʒ*WU!1Z~Iq8B\^qC:;E7F9M֌|n9MS{doPDn2ݡ4)<.ұ,ˬvJFnQa7;Ւ1;CFj zKR#0=}8JnE4Fs hljş 1[~jm1X8V!@GXЎm =~6폩*2^B\7F;2 J1)< ZnFoQKJ|sx? p򽳖pz%Ll%ȮFJ#VtMt NK܌>)<)=}CN(yeш3VG>[N3pwTC97%C@_m "P4]S| n4Iag,px3kMby?99-3,)TUզBp#XSjܪ,[ƛ=5h+F83|@aIxH8 Q9.>x I4/ `Y.Y;ZE2UVji۬ Yj|.)Aw?ϊ)Q2w8 >-1U`C 'cztV{J)-=OV老>P:Gz:NgģwmOC{#+|`YA8j2\ A֭j1.zǑQoQܲ:5;mB<׵ĿQ-p)J>tGrqriXq>SsVHǟ_~Q0Q,88N}F :ѥHG2XW.ufW͎ff}oSj)L-]En`uiߞWg"\]PER>LJ?蚟 )357+#Rb8rbf%9-Z)m(qBgn$lqі[`8AڨuuIVlUUV'M'ۀw1 %@55 s71Aqee/t:mi?Lj{ gBeBq,1; (*|;R}5&%%oxcڛ@88*i-zT9%CO,yn/B;´5+ j|yN*TU\N'B7ICkx Pi=v?,R #K2dfDok(DGM{ ?3$R&o&dJꥊUTV1A'_Ͳ.8~΍H"U_qk@nmK“WGnP3vZQ{酲bZke(hu,MXA($!@F>)ȭ`5 H-ͤ6oEcQ/@QA Pquo3!^WҩD ;[Q~X3bz)TnLmxź9˿U調·%_T4 1sß JqLؓv[*K:;.xIהt{Eo\xFCi}X7 5wlxm2 Vs{_w6U yKaBb$Zl9G8){'.=Az0Ce0+knga12՜^@Ջ4ԪŎGz=#>q,9u1T[fJywW\QbZ׏C2v8ê73%R q(Rdddj-I+_i;8WYh6yecquJ.NêO%x3X~a9OQEN 2R?.m0DQQ%GI:1 X/$pb=J0Ì/tJyfa/ ޛW*X pAE,J/w:s5#`Jx/5d U$-jq)OF 30-?7M{BۓiW8Vܡ% {4L]%0#_5Ͳk}O< Qm3"@Zƅ;H W[ջPa -xLV.XX˯?Q&՚ikmϐx#@t^R x.$Ng"C%;ܿi=ѓn[h"==bjK,ǣɰ&GcyO6-azj)0yzͲnW@_+F9c\3s +,Z3jp)D7sKÂ'L׍ DkWgDz~-.^4i31T]K~@B<۲>_$` k8ZbL,8j~D憗zmy~)^=3JxA'2vCng}Г%_#ȯ;7ڄ5_"ۯQL̴Q[i" jZTKIL`*)p܁l.|ơmA4V%. b c}2QGt?pa†M)J``[Lj}]%Xb.qqأTR)T)?:.ݛjO;$ \%rIݸ.Ψu sթHN jB!jT̙(ak37;*O1G̀Oc#˫>4G p8׎Q D\:Z2!1҆9PgYZf8995767b91d862b1e53f8372c9d4ceb5ed48dbf126b3e7210b637747af3583ce8c4a1dc1eb33510 86dd0d4663cffbd9fb337dc820aef4a636e6ff506cb2e3cb45f82b928d80eb2b0cbdf0baa4782a8c