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 }Itlt ]S]Stone_Kleene_Relation_Algebras:threads=4elapsed=87.919cpu=232.840gc=13.004factor=2.657zXZִF! aq]ŗXiɟH)0%ouX*lWѻ ԻY=#wp&b(WBp3ڨ@j} ;, q%Dn|#|08?)wHw3!%Wn7g~GLruD fxN,)p鏷3Q'lSEPUE"sGC+0 6& >)*pk 3!A-~68tM>Z~3GF{SQ]JQ*m v%ڶY_r|^ =>uH僐Q`q7 kpk6j^|/L_ɗ>x)ڎFtO 4>L=qD~vjsW:z1jOeWᄃ(k !wih״w{_/ u7O'8!F~yLٍ󗒒8: ,ƻH۷~Bf :,ѥ߆5"XݰFm'=|- cW6Y (ȼ@J%>#@,;ܱ1+p۬إa SZ\ ;m3 ,׎{By$4dݢt%k@tkA%=K;!FýFm3@~sͣ3@E9{!Ӏ%ݤ\239Mt4"3!\X,5vl$WŲwɘ1h3#H)S\{'QJ>j޳\4&(Z3cdyCBڝ 50O⎁5$a]Hr 63=S^ ?V}~_qF @!,b̡qFPkw$seM)01P[/7 dvjMn xE|B- !a(99uN\r𩓐 gIXm^vgD{!Nè5dMɌ7vILhJsL(g҆& w@<"ˉhޡh')l @`~NC!ITu0.DWl%S,3sA% ;p< V[u%iD >!{S*xDm}-m+"x!`Qž m>D{Tz^54Woa['wXGTR^휂'2ݵ9}-Yl{Aݛ̕xHWE+) }֧2:P05y,xH}8¦F=Tmt28o% fI ZߩT3'plն!{'tE c)huZhwn 8MQA-} vhy͢ÐUX.au*!(= ;CHLtݮmezvT[խL:Qkb5ESXx3eVLS`Ih mS0ԉ1_Ad-{]_$Q~mܯVc9 "M#|V^-.taO׸DZT;|:%Pmt:̣EL*zD$[fdZk~j"5?Qt>8Jyn>ݏJݓd7OjS;2v1[YҽXI攄>#x5z3Z%leSֱM"K=NΉr哺o91B1T=%&=JQ8|Uŀ! W;Y̢7ZoޑĈdPu&Z~m,;#Vâdx=E@( K1tT-)#v.Z'MxmA6=ǂ#UhhDTn;P 2woe}@v *Q@t?>uACoR~Z ]i= E[R^%.ѦP Uz)dJy]gZMf BAZh6`S\)Cf$w 1q-6qV%XPb CY%:W&;_t|x3&gCŽ,ˍ+ҁi(I}Bt%"|,EUջ.!$ɝYɘ7%_f4XioӮl!AE8xR.%& DDK#޹@+p8<U w!ϊ ƴbwʋ?'}8S4_o|YP;dsT7KO94 5 kjwog? 8  淪x=m_ nfb7t/_MQw8dժD8ȏ)84K!񠿛?ltT;+&R@ncPd>_Z;lJݘb' : }I"yP4Xj %? pxŧ uLj.LXئaeO|G!.d-,=Po#ofV 恵4(Ư4rqʦo~d{O꬧ iUbevh&.;lbnS3b`zeP}/ڋ}VEѳy& tG3V(hqa^'>ܗB'0xhGVB^lXh5=D؊#qw^8dže*C5Ⱥg2l߹ǶN5G>]Q& 'Y>:7paF_Zpx/a1L@_8 n( g+QBldx th v/d edz`|x CQF (d~!-Dž:JLlB 9wD7OB *=FVE5etĶu%F CR`djܬk:`PoNLbE٘EȎ'gҚuQ4Wׄw^Q60њFi"^wig7{8w{&iCy󔹤ɹ:Z {#%GzL~׮kl1GC\%8+al=M^hv7nII_d3d~&t\F! ډe9<tpO|8q 8@f@)b'- .H tgY(O/M#dW^y I < QN~\?9{PrP@o i;["ePL;~wx;[V$˰$r V@u_qT00\}tPF5:U2%[B2tlYrB165f^n K gDs9te7,blh0[r_+'jO?L T 5VJøu| pFѻkP5e|qż1F3dkV*GU宮aەPA\T>NJ:O W\Ɉ2Q-6.Kޟb.7-U^^JAN!}& ZV.3p<F(2Cac/CȑG] '2R )S/_'. _%+x)Hبܑo̫-#qh[@.mo;/![31;ש~(nqLutuv ܼznV5WNz4vgOTI7l=KxD`)J+&WLW j0 }TMq1(9~EN&ЫlWnGk". W"^o]`!9qiլce| ^JיfFS+21OACGnr巁RdŰ M>zZ^f4yG%ޡ ѭf*,p#*xpd W3K0xϋy^pWHKDc*_aHIhw0;wOye}IA_|(T&2ǟF5%.)W*K7Cbeyx 2e `+Ҹ1=qdrS֖H/SN̫Imyo˲GaZal]悝߇K|K{- *ʽ 7X.aTSDȓe  fَ!|I#Z7YM o&)<|m,&I"V lM1" }4C7]Q>e?dNGewW9̠0p},ZUQ1!H:ҹ CtmɃ| ū͜=OA+%H7^ve~I'?mI}8LP ݉ W]jP(Ё׷GI;,$Mw"Fv^s/H*)5vޫtc#}/K] P (x8<|d^L-ZM!woouElj2%ެy3f} 7HyJDR7OxzٞKPE\jjCCqT=̾8X,ڎ=Ze"n{sl}Z7F,P`遴#8e'(Cȴ#&!pɛ&4&ww1b P];4osj9OL'r|%4UV&4JHύ|S=4H` 圛gt:aANu}pW3^! ~s"P>0"}29VwpT)֕^鸫 _]] '|J6dJ:BJÜp7amՇv0KS4VMuHr}MDBg-,Q'Frugys,Cϡ%M`}* (ðC0 JN]S>/ $%܁'>kzs !:!?H&L/*;y^`Y'.U*/-ipゆe0ڑXvJ ̹@~Σ!!- !p&n4Qmv Pѫz.\rmKFy-ۖeVnh8Ұ'RsIezu@ge lک;9(˶Qjuӗߧ*Th>aay.d(2WƤqOă G$^sta.fXcrK%(Yȸ~)$yL<]^_s." ۽xS_++|=hpqT0@R fͶֺvgU6Q~b\2ipR61uuX@w0cu2FlaJ1WCQy媘ҿ8B 898٩|]B}62@ h]To}t!:hb!%|xmXf#[ H}$1H* /T|,QTvف0N^ ps# C}q<`pm}"(Oj]aL F@eO^"xK{ȟwZ%AaKh?% Y")GtU+SB4"zI(F@_8Tz \ȧމ/L .'-b~(04&In| ;%iAp'!*ǒ}m؂ϻƜeBhhW]zD_{yCQy6&)mszd5 }>@/9 kb!&S,2S1MӦ1R\ ӓh,HtzBlB:&ߎZ&r<]>=hqY/H@Pd$MC0ئʭHE 4` %Svf\nwwNj`15v2:$QJ#Ooanh3tf.Sk"lSD+h}@-lܐ@ l]li8 L?wwn4 q5lwN-oEp}X=O'/h$(,Y9bՉk|OBJLy,ӯ ?8|lmOt S{~F U>;``.Pj;.!)*魗Ň̉Cڼ7,pzf*=g4fCyIR4e ?: V9[sesngA!YYً_XNrpE#7؃ `6ehSK/r^+%3~2-kd=lnApO )[mVT=4U#Ca%a [&MPJi@i֒o bQLvq͋`hUvj މ>x:$g)w !e:k׋I+k Wp+J(3zz7ՒVZN@M$*Ѱ0E]oFhmM-ܢHSAwJ0l._7 3*i̹ucHiLYI~j F{{}ŧ5%+*bB5ƍo)wGUS2?m3िJmڵ߹=tP}Y6k>:(gq@K9+*a <Gs"ְkBBx#ârD)XCqfTg/Pj6(]>\:ʖ`4\7#WPR~Jn4F"kCCT~oݾCd@p]>p?lU ڎxs,7k;YjxمD?mYFaHOR {ٔJ7`ty|'3{(l\yu>.np'.m0Wҥ0ReHt}z E,uj/–o@Eћ e< Dц~sY۝g SS@uO_ا:?XmJVH*Sy }QCU6#AN|ӪX2x> 0sFiWdޯ^4j,hF4Sj3o?(SaH݁K./t"Imz]N}Œs7ڒ 2Wx72G x/T݊ x}o;؏sio,n$7N>:.;:pP=+&&8lrWUc'1҆p=W\X`D]I=&~זm~}?rZ[XgeG),!$C|VEۖ>u"mʓkϱ:j\c~@kLvT$*1Ņ:4(xe^Sfe=j80K+9x^#[1m2z8n&Gw񢲈*mEτflXGٹXо '^i]w[YH%O|{?PIҫ< b Ҥ-6503uDu3o.kD>>T86NK \I3&,HzQeпzmVya2t d5)bY@FeoՕo4 s3-vb-\Dhj%-N1:%;=ڗعah+=:ܲD?$*s*Da6EpgF;a-ԧXjϧa6N![." 42y%y)l @r+YRV->eug;&2b:[;e=SN8/[i,gA0`G RoګqӘ!taq^؛m.W˗zcsC\d\9*L WnӤ ʝqYLw)[=`\$c+5rRzWUd;cceŰCݦLu߼׫e0ŝ&Rd%]!z@L⅂DּAhV:Mg )o5d<܎Joi̴«ASm.$B_3`ψsdGFs6JИ!PbUwʟ2nM9bɗ^Q&`i5BE7/3G0v~l2[%؇ wTih>($?M+Cb˱ѐ 1.]̴Ҫ1즣:ow5#` _;. ŁNYDֹ OT$xˡ8}PP EoxoȯG]JR^|H3hW:7zՆ!E=|8B[缲u /r-Hi\,5-/_=B)e֜̐vaV}~[̑@I־56HZN&ǩb* . 2s _ ;iTB~j ~ hd8E MV0I|Ip' 4)bG7,p@JN1vȉ>H}IN悒dszLKȓ64]_Ӝ4~'D^w6aL͆r6Z+>VҔO@H;l81kI뛴n_h "TM k`NVB'M1|#1g9)KzbKxt n;,V]Qn(h ;৒W|ŐE+pk*Lwjz Ev4f60kWYϜ.\SMyǖ$-U#bm7UlN3g|*fdlB"A4#$"=) (5‡XP6Ey!6mRv'lKӤw<㸑sK /% :"ٹߝgJVKdzKiz/#,޿nu3o(p$*{)rYd~zUC_@&BM}ԍKX ɋ|-^BåВE-`&]n!mV( /){j" JY 68k,=_I^/7j=?[]ܘZin,.^~eJ*iZ$6 xam8Zr~oJ8(G4Nq M)(hkfԏ Qj?;B*. I1$GOU4EٺKDP-mm(-"u`}Q'/zD in > cn6@4zbרl|74B$9cߛ鶍Mxr7*h`6#di~MT)` oH睧/ &r]a&rVmVQv}opۿނ9 TXtdYN;q$APzяd2'!F \"DM'.q{$-_(((+2ᜋ[$Q XRƼ8宆Y8U j[]Ok"uSsV ~Q7Cu3Ic&7P2\fQ}U4q#@F <$Zx2[gǮ8:}džZ?p\ <[CY CT%0tc iƌ#:Ee>F: VKΎF'u ʍq};n4D@˯he5QokRV[eY/y#kƋ_sلx9Mdu<ḐWK 9>PTRAYCsfĜufNCS*F.houh8KaVzJtF埔x4#6!PnnB&ZA\,I{w{-@;7iS;(72` nXo_kFUGtk84,E՞yܹ3N[Ml&V5[*Q;ޡ|/$3x4`$ 5H\EBqޘn]bш3ř8c␕җn06 =W+1Ho9HrE&[R*6wJ"۪ç"c}?6kVķ!E|=΋' ;s](x4L(y.^l2āЛARyÚ>za?>+bTC jϹ.Ch vߦU =Chcdk}.xF1$b!Y\(c5(o\!(JM:Nߔb 0BT6w<ܑ,L >~.;]ODxܒ̋&ty s҇0ҫq<&GGjd.@MZ cuc".8mߔwj (Kޏ3c hrXZTt;W E ef#񹆢6h;Enjˌ6=Pqk2$0Q xt~J1:y*];‚19^f.UQC#=SW/wغfq1(֩yg00%µm(-ټ>zvֽȰGLXb5Դ';sUd6Q9 tR_l^ug{V-~t} 4.ZL435{ hkLn 0&6efbaRyo d5gj-^ /HV5څh٩797ܽV3U~}Qr2l42 uA˜`//va,kp f4'iXT/Rc_$1pe&"u5Ok2@lRDZT[*J^tۢ]*jnALz}|q p.ML_>klaWZSVe`*]pښiQ01\iJ.5=_^tے>no8iy$0DO IQ(*Xl 9@}H?bByH OaK6fo@N߸ܔA3:)`HuiWϋXh3"*~WϷ҄yLSel(IErYޓ6˲qeĐE`hd{WLVVG{GҌX}R[$Pڅ?T 0LD7U<D DID߷;u[)RIj9J<Ƿ$;A<4ݻ0,ǴaBR#; Y-z%j0)2'"DJT;: tYx( }˼uwzπ3.pXrC:$PTX1¬0Fh)PiI캟3nϡ[RLɅcz\mb@c,ES(ͮ!Q#wz+jHF[;˅NP?dJ22.V<^ƳB1{3^ |,>=\gs*>w/v6@%e4%*neΎ|NYzh>k =Ht5TK.jBQ<Å*0L~Ye=\qJ­$ĮqQ mM1:5Iҁ'^/p箐.71BSm4QubƬ짃C MD(pMGMGX!9FLƸYj˺~08i S\\Y = ==AqܡLTD"M{On^ ո>׻VcdaHٔ1,ƍTnj)I ](/ ĩBi*eAZz]#Y;s)?1qR>>RD_ PpkQi腒&'w:q?/w8#!{\Uج90S85S487t. pN({AY Uk=aN _/Dvmpc W E~bI&F2c.D 8(Kb?+"#7=oHjG}?=QfW eW#&e>/fd@\ğ+ eglD-#s2Lz0kKf5P >r7Q_.ٶ!Pƹ]0{x})ּmTg$sNSJU=zϐK@wӫhr~XK-3Y?EkX\B+ou)MGR&=7̑(7#W,W<kU2C i7"(&j%8?,!](*~n/N=~i?+n\{L{mK~n4Q*e3WzmT&:)oٛ\H(5\ r:vWFr):-w/`0zohh>.ergiK샣6`j,l$h)tf*eUJ|A A:pX ]J^\s _;^Ǩ+;Ved1`OTve]+0z:WqPT]R.<:/\hr$x6;fgV禣9F$x+f"V6#a9E@I ܹ 2~T!g^lR|N%,u \J;t~t|S=SÏgpo_1"72`%_c6z[_" &|w 1K\$i;wC:K hn@I75~jbD^J٪8ȢxQH™\c gu\}KRp:%C+-X)H7jrf9>ȕ_JPBos⶛E'ĵLN]ߴYrC:%DB"@4Q]Z #RjV >k5"$ݭ S+L` wE_GHLa08=-mv&{XPi#mوx4gVnD05, X3NmJWW!J0&oA߾9bF*})hG0C?P.VmU?N9yɫ&~b+&Ű Ȼc>ط/6FխZIS9)ilSioҟpY.p[$(o>IXiB'1E rZ! vZ]{.OO>sih.xkXLZk Iy=$8BȾ)GD|$! dQd{d=VZÌ6 IAVnd Xw;oD [P"V fX,B͐ ,DhYëi{D9h;VJXßZB Fp7<,6V5+iP',]k-x7}$ #ߦ=> b}70IUci#D2tB 4 o_WtҍiJ1I/ڶVd]B?%_^tOq$I`,$Ugq8a\#dX<-> o&JPyH}v/3Q ]6tvv ÌbmFK>"*cwcXt24%s("b/$2Rvm\ BEI] ;x@^n|w"t4E k)2~MYɐq091~(iaX]**\ Cpgb.C!DM_)>9ĔJqPػp59Z\R!&ȩL\[C Z2%&ĬTqϪ?dJlp $v8 i7CUY$ xf;.ASʑUq ]+Ў˴ CY⅀CVnճR(6&ԭrr.ghYM]u}~w.wibع%Gq{qTS-u ?+fO@W"$SRbk YC8qS|w%DZDDX4E=Z”ΙĄh<}:IF>Jܱ%,>FbrH c-abw;$idKg6՛q j,U5H:޷a[dC >vf::P_XXYp*;tͦ?HSy:6;#7 r&Һmp#;x;lq@!:&K2g|v(i/[ J{c;aŒ}U=1Г.8ךGNl@oM y ? 0DJ/ ZGUd> %ꘀO8A'X@C_7HA2,&$$M]kdg14,2K_~dnd/B| k-Sc$A\D& L* Z9 +Cg uT8$h")[FijBWy0&aA;'G(-xiwazFb9-mרLZ0iU8IRr8sǡ?adn܍A||MB-P# [++D[4RÈaYnX_>id 9#~Z̡_KcRzWCTno8ΘƄ =HǠG; qtpfSEIdF=џަ'Y:3 t>`!fQLC5|l .Db9o="HBƬz[6XnYT+iTY9B?x^IӼ­2N E3yQ,}}(JBYzoddM2(ʾPC;rV }t)secn s^Hå<ש痯u^ChcA >ua*'~vH*sElPu':^v`vqHs6'&`D̂bakL`AA/y30>}h'˰bŹhN-wDkdiT2C;:i3WkMǔcYRƄDC+Pc)$@eb( K]Bg܁F,ƥ I0~ O+H6b <T^"|`x#8҄|uA`OLt@%_f07{V,?8[D-XCnqYGKvtʸp҂67n,V@rmw~q왇4$5h bcg%x/D_ח#j;[!K9hpZ^ez_~-}u͹7_7{Q0RgN z$`4_rj5]4zn|[8/oJ3rזWYԍ=qX`:;lG3밄{ {ֹ{@mիL6K.4P|/qAg|'{;(ÜF^ĊKw=[ǽ*g5* rf-I.~a L 4E$ '68Cgy'tT{t- 8`fp/^/oYtӟF ?s3 lL`Z21wɩFFHРBGBܡ"t]lr?8 sH,uK MĭgFFtv0NRqʘWʹ\^Q:BJ|BNbZa@!E\1ħ֓U?&APk^ԃD>} l6e=%!ۣURT6l7p4<}{kP;)LoZ5}X^.mjÊxC`tNdnET8 4U@٫|S}%ϩglMf}FG/~FΥʄ }AE#tfnP# ]TFQr *"۱- bn}p1ץ-@( #|sFIϮ`V~pĬ%+Dz.TwDF_WxælB'Èd/:XKpjfLn.谮a6D轮D77^,R*Kv6Ebe,ב*p5C;?2=d!mG_u@@x6G+QT#bl^8zYt;2.njWHx˾G艃 yΗ/ Zr^,\%d*Sj( 4ﯥmlK45^Aѯ,D}Dvn;65k'FDneG?AՊ`p#wƢt(ХIICY=+GiG7sP=h2 8>4"|^s$d24"o-k><+Z^Cd<ڕ>)~M@7bU: X`f֍;Xr:CM={_e0~LL; 0 m{!S6⇩]ηv;$5WP8=mr[Y[Q|2ANBMg#҇@t?<ȂPD<0ߩ/)E gX(̉_ >f=0Ip_DLT֑bFO~4H9zlmM?u m)u1mu|nU5$~"nu,q} Nn.6M3M'V*0ʂ;yK r͍=\\Ԡ}D{Q<>y V6}; k+xӾұEgz!}R:"~6TYěIcUt TQws1ژ]DdE—O40oՙ"IpqU|>fAhLv)vtȏM Ts.r%n= e+ D>!X>p=pʦ|?0yA?tdor]$|_)_Dey)8KyqqO~!aϚW=FsU"n\dGC猖OXT"'㧶 j'GGBSޱG ַ1'98~YG̦{n+^CfVcdGw ft( |;^A5L&UJ:2%/d5$3y~BYozL=aR E <98UK-!R]±KeOˠZ-yn މ׏³6݃Q,ԩ@şpĽ&ӱTeK4*^$xhxG.]) eAC? OyU=Ubx3sZ-տn8mF9tϿ8`: 8 wָa/ڑ 8U)..V$ͤs&|CXK%.oI x[8+aeæ_OCCBu͡FR)5#4P`t؆BV%כ]Ը)g?E;N1c(_x80T.6zrma*Ċu`oXɲ0A.XSY, poiNX%+_ra=`Φ'(,%#m߈yn"*.*4;~- yRDpsyj2QLXC$ei&QMk' ~6k>hDf0V:5xz΁!|]@?@-0[\>kmNd݁"Q ".3_ a/sBQH Ę툢2 ZNߍTl nGr. z// nıoE8?}t+W/ԅP gXC?I`,[d\r2+ "qje֕>6A ʯiHiRqwt;3']+V;tCg`A5dpecI`k\4'5Qn:AvѬr,T]hp_L`v9"  8ތnZ/.;@1Şȷ=JD¢-PP{zp ĵ)*:i([VZRv:Kqƕ4ʫQ^ҠmuQj.?=`"OMD/b=Z0/Әm!z[#9PWjHid)지U-@.ΨKrQj~"1ⅸ]EϮx +zR2x|2|e QؤelzwXo}73gxrä ߒԑk2`]:cG)ct~#CM?鉝9(q df|#[_j,i_BSbkM IܨIflwpC_nC@^j8[,up5!~/7rM/Hz Uo />o4WfDz*C!iq;,))> ɋ,_׋?1G\1@ku~#~Q)#r( NҍYѽm3)05|,5FiuX>|sHiH `_Fڝ'6jZ,r%Q#c| 4 KbeҊ"Q՘a&2*1?ϥ -;nD/~xzll ef8KoCXOGcz^UdT򇋢b΢c:SmP.ꬅsCFdWcD&]&plf=*'WZtY#x&ý= rZTEN!Q'_oK̻%D R**cjXhzcDhP%^l\< $gx/: ;XweO0::GqC1Q??`J֎Rȃ^hcAP{4"vgx,5nRJ7K O 'JٓLN=YGcY@Po|HѱQ*k5N߂4(YŒhT wc Ep;AɉI$;e(FȨEW]eϼmԀסIGt΁x8͓kk`xqZr_*x6k#%?ƕivś _8@2;YQrA $`<8xv F)TW}k^"2-yeY/Ҥ>A=!q&0?9ȟzGqK@¢bl~0f@[f>En^@Q2Y.xaFsOQ_ݦTԒ]$5S`$nz ˉڄ_SQO׌8[ )-{$9.@p:qo PxP-MSs G_͜ǚz{cъz$ ׮6uX[(7q*Ϲ@R fetHZV5!ٝe 䆵kE.9XIPQK>xb2SL/B/N(>\R* "]&.g {<#3'#w6o J:bUi~}||[줪A n>d(&6 hdtރ;}on˪`;y ׄLJoF(y[㟃gcjH0ˇ D#ZJ^wI^1< "19dXvòApT3! Ђ01gq0c:tv*o6qlZXhv#ʗ$g16m`>x;fnUz$Ᏼ~ aRjy2Ȉ3J ET3|D<zāGHUtxJ7!:XOAݪ#çs˗BER_"\N;_I@C"U@H-#X K&{,ĸpNvH˝(=.,9IVqC"r7&~26mͅF˼˛X)$0z6^݄ч0%MH0?eJx?IL #UYxeS ZvP:Lc7'}e  sn.G( 2<.O޽/+@:;,G |F?zVYS~$<`h0&zlAC_{ f>XBPs+IE[|q?_IhbZ4a/\WfzƮ|w@Fdd-6^a~`a+ƯE4Rb?t>Wѱitac$g zxC<#S}Z4 ^wKeeA~ǔI΂&kȪ%|#jnX`1#BC8bᮨ-"rKnY؜ />j6oD'Sm\;kڸG|́<d|`l RA0eNJQ!9`Z:tvƱi$>b ݿ"[ FjAxzC1"eu(e2Q6#E!Fa*,k"щcY7[:P3(FnK ߶*к'!ޅ6&hN==GYLJ±^w%ģ VF`9VKr{у,NZ^lwAP幸Y=;biEW#WBELfd*ALrB7ҧ|l2!끿ABҏvHZE؄dߍ+}9G,"q2B r6) Bkx9:F['Ee^0{EdFە𖤇]N(gL%i{vІc{yZ4Rth*̥?А0̳vSCcJ,%0L 0ʒ״poޔDfD>SOw*&YP⁨ǰH:}ue'~T\׶r5&R?qGzKCCQ˒ gW\f]k+ T{Rj׍c %bb(&r$]:#b;u"C&ij0&?,g0n7J*XKZ)"d} qys1S)D^BwN(ARyu\s N#))<պv4}2o|of7w"ςBeVc}Z&ѓ:Op£[`J1jcR-Zu 7 .*Qgw]-J·`ўd$k!ǫ?ª4JWD kMOQ5VD",}A*]κ R4lTӼbgX-{JJk,l~6oI|f5!5}(ٺCMduݺl sMxԐ@ql[8F#^׋0UXl<>mRɖHPT֖x; /U㫥91d)]=hu c@k$[6YӜo`r#K"o/k_Os~[gͫRBZ#iWEzS h@WpDҬɁ9ÒrrgA'|p0¸X y,Cl\ziBZad/l˻^!A׿aJY z!gv '"eñZ6Im<.y}CGt(hʐ6H)׏OUcȮ;BR|;AY!P067V87X.Tx?OaF4xL@üU}bIs#>N\ ZeMogB%%k(;tUu 6d"zr)z f S~pR=1\@wԆ^󟮡0<ew !g2!;m`8 l\-dmC/hO rj85f G붙-W,ft_1Z,Xaܾv3(d1TNϳC쑘Qfׂtv`:1x*1{C4 VH*p"qZ?9$(r䠌jv^;D0ۙQ#h=rV tRc0q45W|7ܜQ${ӽL9 Xl U#d`SR]*miV( VI5HT?ItbxL_n":pk=bϟT>5S1X۞9 HVxF?4aY%0nW(qq&;+g(>ئ46}$]aH1Y 861HTAf@m*ݐy7&)k>6qL %mF=d-r{g+Ņ] /]sJA[/Deh$HTO8C|^MEur([t +uL-R6MlI}"ftM?e?MkS>55 _߀K4"CK]>wR$[k?1`gTlBDLdIWS Ckw9A'&! :@֐e~r\pWݶh# Ps2Tut:՛QQfؠ8yՕTGIΨT 92 s H3!6;h`>9QU:wHg+@07%UMC:4<[e x,{&&j97 F+x 'A9#RVZI@GB\G3[-sfND2&]I*IݖB֥j҈J1,j2yaKN\T>Q{d{'2-> #4$I(O)֎puY:ݫ^dד*=8_ ud7t:~zy22c`GO鲣La,+?gCI>Aw R>99w~I]V6}PF#7)/%G_H+tA)h4t늤^Ö۸N*ghaJxzgE'LB iIʷkz0]%xntلVcyDZif VN'"ttea Uz(FW Vi_dB ?c}~|z&bt@.# [di$Vo./`*A?T(V:Ym+Dj0wTMK 67}&3f{݊B]wAP?.+q9ԥ`XfIay hiw#7cń"k6.}J;I(8{rXtvx؃{.e̐ǓL\&ةZ]f7K{m#筼;3=-E$9c$XDQ(*<۝ZX|%UJ|pXH?F.-=%;x+uhxEW$oX~}){-s84k/D㤫ZJ7;s㮰XbZqH_ReЃ۝e׬Ea]H&j RXl+3A5lFr.gDȞR.Ԣ +?s nCѡh;_b%.@C,[ryݶ)JmR0vrWbft)s )ozuWlҢb牽1MLtOˆ5 I7ρndS-T9$^.^#$kO3? o؁h#$9It]4\~-K*YŐvh7p]Xn,x> RpJ+`" (m/`=a^ +4doֲ/k*bEEŘn{SL6A[@D `-=T0+;oO%t"rިJ L GmIcTc%#Mʒ8fGSa;R@Юf_ο" ^5xq韷IUY=YxdwRn&1IE sq'O<$@%AHe\M8rIj%(S@ls* f975vXekW$`~"RbkYp ɯv޺IjiJ^)Mv1i A!p Emݖl6aRWAhަObJW u4"+J~0y7۽TkC)1ЂN\_k}Ҹ"q [ܡ?NlP-JlK,㚡7O/[-Ǜ>z҅P!.#>Kix^(}k G,*/!4vnI'J#*djIv.GJ=duCW$ýLWO7BBoI%sQ饔$@d_B7canK~8",aŖo42ޔB20rO\GYN6%HD*X\E@0dCR=8S`րT80u%$aD`X+V +!տb7(= /&=셡X]Ǵ7V;P.?"Lm 6/$M*NX7nw?ֲVdE@?9v2L95G-X]fS-:W!ed50'SO#r ͡1m-cToFLN';laTS +5oYw8,WL`&Lnȡe4N2-h2 ֋"y|V*I nǧ% uqG GR%KCRnP|[y z:9"/3j`g2ᅔP kW v4А;5}NouGC= ( $ T@[f9xʴ[JyXQJ#A}0n^Z/>6-"$b@!dmmb*1E$n2;̮;%QbMCJ:i@GXtZ~ MMߺ[\/FTVUIqK7(nnc̀,Lp@?t IeT4<0 )}݂w'|E +Iށ sN.x\ߛ_ ^.}^1;l\kQ*t m40vIsQY.@yD@=Vȗ8C:I^'5xr`6!" al*bBjƼ4hpT/@n[j':osLY'4W,s I o!u:-LJK.o=gJL^YSM6xG۵0y|Odje>[x̑&9He,1jG6m@ݾVѐ X"VbwqwF_,o.7&;/Gޅ\Qd!υ UwǂO(^:s F$B9ᄦ}^;uKeT/GL>7p>s@:UAɗi&\j<ƗzD(9@qpS4@ ۨ>l%M*ER$I+G|SVgC&p ](}"(~+6Sfp#>FuF|dzWTL('YPDeSp%c~\4tRFn:A^lڠ_$#@_[[8:ןV.Җ[roj#gZ}Jd4U{:'*[ 3';SRF50[ln $fd<釬WUX:I~Ew˶$-@,HDx)MܽQTp,cTUV߫w݂Vg9Naֽ2 ,7׍8^lu/_0:xJ`sJŢ6+O.ݛ~4 ZjKogզ2Bhj{P?S[B+ ?ֶѮqR0 g8iVhȏ^b.vZmy&;+vWn$@.!C?=&N;&NK/}}vIZߣ*h ӲskpK~K[u>"HV&%{bfl?~GY6Ȗrk^$TZ0wQ5M8 V9NR+_F!0jh{prD1u\厃C|o[kX؇AKՕH$PV@Niex 'P]5v;Y(v{=3)@eTՏTPBnR[ۦ4rpH0Nr6^,ZjU$^_ыꌖ?^Ñ 0Ns^f; s>~ď|Bc{J͙bGRfj݇"N2H! Ƃ%ehJ#nu@_0Y`.24$!Bu|yvSzhA9οK ~嚌4\jdAA$cM`_/6$on-_4kٞ>=x3Ŭ/X P<b@, t?Aܿ&,^D*NhGSs ҔH!c\zxAf eu9:6p uOu }%ph+H^PNvhE'ϱ=VK{@Ɖ;ǟR񈂛 ϵ O*oaLP4$ֱzLr1pWcۃVOa(w[k4bCr^_1RG'Kx&Qhc̊u`}6,y; n_+ABٽGքwvo({UgE,6 H񌳦QN1h&Pp\)yt#1# 6R@G+S.R49[S_x(Z5irjz1۾7  ԁ1(!-bkA|Avkߠ%K&ı/.OnBesGpQEnӑVg2O8OSFMBUQ\wI[9;M =p* #7Z;^mV( |j`>N+LHUqQA mvSiʏ`,ݼ>Uw#vRM ku*nW$" @HYPvT|M<_13W7E $*5GTKL(aԕhY-"CG~ v72s>I$dxq8U0&~k@;ŃrX c8f56cع7TgLuU]ҹ'ݧ/X(DFd|3G,ͽw)%8Ŏ$ ikToݦ6G/|PH)ʱdidA3AK_F'UTyMNRVʟUzl̓YTJSpd܂/F BͨPm)rǡUueGY?{+ԶeˑG#rYJVLkCt$i)EjQ ýzBOf8% Y2QWZK22]>C50L`$4{ i晹!WGJKBmɇJt%,s=J) RӬUh:rb5T^JD񃢽'^L5zq44?vDw0$ʜjH-:8c;JpIjTn0B 4ߏ݁̅&{JfpJUrQp/W+LĆ̐1k:awzũ4PҪ H&{M^$d$MЮwn20C+!Smh܇q7v0f%Ӎz?Y9 SșHZ"Tyaأe#Fhb_ז6=}#g90[Y2AwyO~Ï[ Mith\Jx& 6FUPIScG[MeZf6{eBὕxֆ4LjfgJ `KŪ'h zDFqoJ:Wz*z25hb:]v'{'="vH[/[jܟum =l[B'Z}THf)"|]^#SWfs`})sb1f!?*e9Ͽxo%EXoJ9ԼF#AXէnA~Q(*o kVx\9nZoi.jDG/5D$ʢnZ9VsʾWjqO5;M-3a_۸DDq.O k/ Rk![LFfJesLᓜ"M=G#Zm$#fDGf85 BH,,N n!W)pss6coU|zHӇ[pc|K0O4/9)@$/G~ jk6(,7*.o;T}ڂaQ~1 \6աm'$^Di3Vf ;`ޱ2D:znn^pk[:/gHBlՇ..'RdMljCk2#brwttά5ޖ}"v:dG`VBM\~))a',:Jv]l (w|[U03B31q4#pʣD;"B(xMѹ 8큎gχfMZec{S1xh{Xj+ժܰs$ >-R:Rc& Ac?7kv+4Wz6$_G<VƏ 2hdכUJ?WaU;>9HO_S`dEƔN2Z GCN)3z!ח7bFB5>5WT2q'/.b QvNEY+ï9WLz@;5s1EB[ƅl=kϮ^粄&:H EM='9W0s8gg*y:g%A4;<)C&!nPqǾaU^'r(gà hָ(,@eB`R!g%jV=iVXQt7 #Lؽ{݅mˠ,B˘iܐE߁1T})D%K7ܩEup"O]Nzť 0Vgc5.N1⼽Z,IT,“%"ɝwTݗG{e0*neZB@bHB'7Zc씴`Qv "?^02 ~ڀ(Ty$ XMmw*v&5n .vaHs%].E苭y _;9AC4pV*=)'D[ݱs=[]p~S`;L[ڀ&Q$6TtH5w+aЫilytS B](7>vW<#6׻-.?\9O; }pmaѶTyJEź;L&h)jdM }wG.O"V4"L¹O.Y@eN (ljwSKu&Ƭ2!88hNKc62cM(\Ԏ8ŏqpKG8P#9#LO 7% D3CÓ1VpY7:RKetI_1W}cJ@C^מq 6IP: Պ{>b.&QT 3}XtYt= vٞ%n.+Jw探ɢC"?ט)9NRZˣMWE۩t6 )&ۣevڦ.#=Qc"/vJsƘn=Pt:fO'3E&HG8if̂zILe O>) 6f:I؃{\_ktb_贝/R|Mgc,NL+S__0]S1Iv>'(9 1tvEj2$4r0|BLŮ/]a> yV0pal6B#}l$2xu^y;{`py^[eGt;C^Qj\Ck%gTڎKa.$zt czx-2x0`BH{kl燭acI.,Jٯ[MOΕ| m{G.Sg©=HyqV~ÚpIy e7_D~sTS#ZXr; vЊ)^J̀V2Ahmb}d](!s\5t^PW-L#桧{c֏/:6yikx-|"`xSFVr,SPb~ߚpj`K#ELB;rC!)O+Sz?ك[= Mv @ Z~ c~aOa\SP{4}p ?%T@|L77k*g& ʼn[Dy̭:#&,A9;J+l &C啤;oWYS:PR\E*UP|2i!̖]NsZ,+=w?K4͂V{oY\g=o]gۑ#Ĩ%fn{ B1SYa&/ՅMʅx1J8y( Z;>}XJV58ıTtRr庱L8ʏsӴ-@0#͞=osd:alJpC7XtX"1o,*!| 8ix?ɘ57=`JXVr ̋X@0v QgX24ᒑa܂$`.L鹕[`{" AH(/@UV="- dY@/2泓C8kH$6t 2첚p ]D"z]+jL>E6A[b!!2EUЧ|'Ǎ&NB`DI7i0<k t!7ua˧EYcrF)E1{W%8#+ 笛w"2pz{:5*}s*]ptN.з >x48+JeFr ݐbvŨeKZ~'f=KZ[N`"i9;^wL7|%|z Džv̟ufg@ƅ-j 1x O~ ڔ! EfF|`Y^X%|k8q sr_D(d|r=Gs̯nÇ ZF0e@E f2_^B*7u"Xt~!4%58{?Y{ygrStMj+ 3W H [c!=Pٽۛs~{1xW7 Ƈ&Z[BύA;VE4սCPcxEr:y[&9 qf\qhsJR%?Po3JR i{&-,>I3+EgE_0I:>e:Fw^`{LJ>Kh/@X+zsXŒ]_߅u ϛk7.w¥"OB;-iT02昡j .V}r<bqrw0^{@ED-lAY|KQ>HcPt[9KJ^hjh#|lE"|Ğhq[̹Q{_#a`Tլ}:R*(j]m.xnӃk ocQrW[rjeoE !ygIv}6kKA6gNG/Sov]3 !Cԋ6 贆f2}G<~8k릭Li?Z pPdڮG5&U}oY/v*[ϛ+cAiD9]D׍lNzLgԽ6sbEI25E 3an25S`~\|iJZ|6MGq@J"qz4~,<fR܃e wV-3(Nªi60gt+:(-0l 'uhGݔnˊCWM69P&e1:uA$Z{b*!qގC表WϬ1eo8YXG[AwȮʱD_ߵ2ct뜴uΒojy%G`]ָ2[7LdDܑ&! nB(NtE;>F H{:=15 oKjoB?E[t}<4tCُL(gC1P'n+B ]!#ѯȪ@"3bn(?ރ۬T]4`>ոnL{^*5|`R{m9 Iɱ?eK4uCmb_ UʥN'Z͋}G{wKB%-JuzZkd͸Ms6Q:`d`kF[ G`A*+F+jBΦzg-`}uU;g䳖Mvݎ,p RЙX6Ə7&X\ g!HH2+(lf @J55y[V4d1CC 6t4Yg̉9W Lah]`*LK.v S}+ & pzO<x.NN_M)^(;W5*bOH`le+VydS'iijEt>PaAg ]!o}.ĉZ?G{"OS]!2Q{Xᨨ@ӞDǴҕ C4㢶1)|wyϹFeEr##IR1:$"ggqfHXTN W}ۙ-:K >cn+iL| 4P8Ah6cځn)]؁흵~< K)P˙ asyP֡4Mp0FɾV4){0]Cᭆ:69WVfࢭ6D@vǓ]LW Xg gSI"W&q/0ժ`[>bB^u@v yɭ(PORҲX1b?W4dIDkSkRYFK[Q }L `łJIr^NO@\H3)q`8>D1YyJ w;s!?`,1OWKeښ~PKdq_ Hʖy¹{?{'I^D4:IO\m"M=v:9iK_ <v`7/)jZbV<*5?wauu&j @2f7?M/νاm 9Q{aж+yX,-ss9L|0Z(~?XCʬOޡyXQnR݅!.(|DЃDm܋Rk$&zp]) !Y@jhuX?;1Q<koYZSȆJ>-V^~Gv]b{La NY:mUۦc}ہ3ʖo Ѧ*'!{RQ}/W8v]dn)w#?|!?dHnnPDQUʹf׃˓{#XDI4bDj Ƒ:imCO߾t-%>hPqB}|=q|;*ckuWF^i|lI{HT 8'˘攦]nM vK_Ro{xzMAf;m[c= 9' cgPCB$UO~g:Ֆ᪒σbt'[ޡ 8^2ƿZN'uOJQS ж6>ޖv9fF 2bl Yp ١X/W1$ bD[glunVq&T>Xoob~4TNץqHؘn_ܫH:oƪHh@U21,W9f,,dnX# <ͱp M,g7w5Sj|MhT51:jQ:w:9Y: w"0ɳŁX?Bc5Gv_?9MGnQJՊ ֣ukk0M4t4SF|j}DvRD`Kk;첁Ifx2BAdcM Xxiz^d*6P-ᨧ+o5+;}rӬtMg*) Af6G>.^@XLa>T3ڋ^Q{?XT|UGaYY`7վ9HGCAzY9?iCvV9+,Ȥxu3:8kjcq ].ʷ,S|n%9@1CwTh ҴTã%_V'KK~~ruz(GuנJyGAir |buDo9|B0Su@ad4.H `ϛNs*ylJ(pY?gyrOJ$4#s ~8eK/gˇ c9kuͼlexN ^tF~:XޙnɋX&J*p;qOX,=73 cYpCGo8agsq]# 4 =-¤OMqOg /.±gYZ7zXZִF!  ]ŗXiɟ38)=X<\3~Ý2. 䴏"!e1"fWbVXGYʳVi;3^rO8o@MY)zJ@á0 ,,I,8L,uz?S+30O]Cd@/G@R8= !gYZ7zXZִF! ]ŗXi%L!l+=Gqx.Åf:R%y8>^ŤYEA΄>h$Jډ W10K;e}5cLlEKh&7Ga$(d*.* X$DB>?tKV OSjN(?B|$^ R)iRx|sT ?&+L-I2{$kB _<_g3U ‡О264 /ic _tj0E4h0&=íA+wBEC7bB9!($.Alc?EZ ˪ָg'&ˊIw2%}'1:clvt?`7R6I1w; HAVfgtBlD˅YoS-־*T  ) {:FڴH7M t.ָ,.#&o܃sH @$EҹISJBL`IAMBJ~Z:D9 DkG#A|ЕXgx&8; D\2%٫GHD ߱XWrXЌH)cy%,XTiKf89O.oQEq5e\(z4$pOpQ+!g@C)W|S TniB .>R@˨-#Ө$5&Y"1,po-Wn5HDBmkR 7%y_>\fH L-Ki y^p/3"ng"ڟN ;DnJxP!mi*/%@DN*T(O )ʰG8?eWʬg+ ѻ_sɭCVO0EԻt%1tq%+?@͕m n# [%*C"kf*\1v ?K*a~K X-I0$/5?_F,'_Q<I#ݲI@`J=1q:œd=L-"ML0TIIl*xt[kN/A|o~џ<&`C#ŭ{GxH}T7Mb&I*3ipPnp[zz01$ιt<|fڒb5VB),"V}e%Gr_٧ eY;p d7԰3Ǥo_{?CЧz~K՞m;ŢuUKߓ[A0hP]BQtFbb'Ev1 ip}(K. JLU~ާ^Z(̂5eq-{ ΒMD'Cx0l^Cw;ZEv٘jЈQUF_Euǫ]j\6ǘ](L~rMAſ;'2tOdN0ځ C?S3m~v֑ͨ,?as.hfXuHzɨzUU068u11_ vȧ$KaX#]隤|L" LӥolA'.20aG?v7v"Gc%΢c3/Ft51xCH<{t_' "zvA=]\dJannh`[sQ.tT{K񎟔Xlqn a \0tsyWxVᵄlc*SdҗV":cfר[luƯsԙ85E" }Y|H.\r?AXNMҸ`1}>1"@ֵX)@f\ sLٌpH 7b څc>V6utbe9"_߬C)=8cW3ۀ/4 7^2=mR@9[ M-oUs8|Ty8AL(2ϲٖ;OSo!21v* x=cp> @m 5:4`ju.f1-/~S*?-0>/Q t4KqVDD5Mrx"+k^.qa*(+[7)+_3VK R`U6J|X8ez`Lھݺ=PE~:D>)Eْں,L|zWn$"jZ t9mP%o( Pɾ_HEog\uH{8z;znR+pCT@Y<{ȕBpDդM:Հ?Lzs6SfCxGςb&T[3L Ԉ#\e!y.3x jQnWoN"a|#tQ$^:yd{E1t1ۡ ;畗%ȠBqv0> ?*'Οj*yPp@| Kdn*G܆&سEĽiܶ+3 ! 9!nx$¦͛ٙU< Qt?reǴscmӭ=:4kE8]ͬu\@ cڢYP1{ eO2JBwm*'rRh:*|ُox7 vrr}A [B7㓗?۷c}%tlcwlR:hM׍;]3Rvح rVYZVeJHHlؓ`b= mrl w+0R!h4˭.-b0i8M!{[ Ѫ)iz4|s/\9Op'*ù!Uu-O»)`i7< VZ>VPn H]%l |3cduv|x:F4)k?EPBCZD2Pym D N8¶E 1=Wj3LZF5:)Q.F,t_Nl 0Ƽ7BFo'TJP3ioV^zC|lmA(A iEϬ1I(clhU>\~ Q8 +nlF2VCwVǕ5Ё56Ğ9X0o.cX쨖b{|HΡ,|ZBQ Sy?Zk Tt}\`0{/PO9cv}M^1<l[xWbB=KzV[Rа"]v׿{hÌwb=-=Wal;&@S/;3J2+ to%4*sA5WAnWvvG["2M Fb%tD,zzZ+tj}STtu$aI?o u tOn&,M,ޗ}Q<,0 2h@uLXϺ-fCQ B84" %s* 84e4WB N=T:;_YRu>[YpIzNAuy#>uѧ].Y1Ⱦ,VE; =4/IYڪuMѻ&Ю-2J!X/l`JU>?]}͇mS_iye?CcJܭқFVHςr&!G%&D9 Le(x\-mqȇA-Yl`jtgHP[=0"O "EzBޗ0vTi^ۍb'fRݳJ*ap\-i1' y;Oub͠砵E$)>1 ;0c< BቿΉy{3/sY!^S6 C05k6|km157{bNl^*#sDtP5Eho˅herT, ˮїQU@U.]pPo b>8j֗R4([kA_4t0Sip9ĚMAHoH$¾ d#c_e++x$3;n3U-P,1XNn|=)w5MXDK#&Ω4c? TwJxmc e 68{)$zΌ%V1Qxur E!Twhn>hsQiJLHH ޛ?DKmb.9"^p̏c2v ` a4OL#a W;4}[Y&_ ~]:D5^X3bǃR'Z *q:[BpҲ3lS.yV/Eee3&&s7Tʧ|--7_2#& *bd!Vc\H :UdHsW7?e@2}iz%ՋYcc[N7$'4Ibb$$tz S`Ypg@|EtDZy}K=0a^AJ}D{ɢ$qx";TgG^Q4-V&Q; .d}5-例~ފ>kٿU}ۮd}ЬkKI=c lbiS }AL7s tLdѡ@9g[]]C2Rq‹$6_ m*:b=t#x|ΜwYOu-%[3YAzG0$ԷD H-yvn/ De4b.MV,Ag'7 Cƿh5_J^k%8 :; _libzW荍[K_Y+ %Qk+_ $sݻ AI$]q-N2>),N3<{n5Uz$}bGYSꝒ֖} xۥ\u%zcOu^q3ñ0ɲTU3,ZA^_hkӐwn&AA7ջ\ h@$r!:h8w,ךp}#;֋x[H:Hj@1?@|?Ͼ@T^Ac.+0a_1^ѲChHyBcLYXw='xu@>wdm1I:Bph/ ;DJ܃;RoWt8?cNςrCmZ.~9 ڴ[xǣa$aT1v1v#u^&WOVm3w<)BPfǖ>< 2W]eTY(2 ~lWW9e!oM`v%%>i%̹Q18}W (ɏRc\ʗ2&0޷'{nKɏ>\X#%P?PeիKA L5*[Jem5.w< sJѣutpV q7}Ubbl&]b Mx?-4Ϋ}7gYZe99a28a251fb423014d96b0773e6c908b73ce4c28215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 3cc12054eb661e048e3a792ac4703b0f2f7f363b 6e3cbc4a6860e287d0d71a841d0ddf0d92553b05328695442060b60200a2af4e11bb553d026ff63f