From fb554e5f7909840d4ef209dbf0a8a2385e074b6c Mon Sep 17 00:00:00 2001 From: Nike Dattani Date: Wed, 16 May 2018 04:25:04 -0400 Subject: [PATCH 01/18] Last update before going to sleep. --- k-local-quadratization.bib | 13 +++++++++++++ k-local-review.bbl | 14 +++++++++++++- k-local-review.pdf | Bin 386911 -> 387346 bytes k-local-review.tex | 3 ++- 4 files changed, 28 insertions(+), 2 deletions(-) diff --git a/k-local-quadratization.bib b/k-local-quadratization.bib index 8280544..8bd03ec 100644 --- a/k-local-quadratization.bib +++ b/k-local-quadratization.bib @@ -735,4 +735,17 @@ @article{Babbush2013 volume = {525}, year = {2013} } +@article{Shen2017a, +author = {Shen, Jianbing and Peng, Jianteng and Dong, Xingping and Shao, Ling and Porikli, Fatih}, +doi = {10.1109/TIP.2017.2722691}, +issn = {1057-7149}, +journal = {IEEE Transactions on Image Processing}, +month = {oct}, +number = {10}, +pages = {4911--4922}, +title = {{Higher Order Energies for Image Segmentation}}, +url = {http://ieeexplore.ieee.org/document/7967759/}, +volume = {26}, +year = {2017} +} diff --git a/k-local-review.bbl b/k-local-review.bbl index 957ec4c..ea0c050 100644 --- a/k-local-review.bbl +++ b/k-local-review.bbl @@ -6,7 +6,7 @@ %Control: page (0) single %Control: year (1) truncated %Control: production of eprint (0) enabled -\begin{thebibliography}{35}% +\begin{thebibliography}{36}% \makeatletter \providecommand \@ifxundefined [1]{% \@ifx{#1\undefined} @@ -370,4 +370,16 @@ {Li}},\ }\href {\doibase 10.1126/sciadv.1601246} {\bibfield {journal} {\bibinfo {journal} {Science Advances}\ }\textbf {\bibinfo {volume} {2}} (\bibinfo {year} {2016}),\ 10.1126/sciadv.1601246}\BibitemShut {NoStop}% +\bibitem [{\citenamefont {Shen}\ \emph {et~al.}(2017)\citenamefont {Shen}, + \citenamefont {Peng}, \citenamefont {Dong}, \citenamefont {Shao},\ and\ + \citenamefont {Porikli}}]{Shen2017a}% + \BibitemOpen + \bibfield {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont + {Shen}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Peng}}, \bibinfo + {author} {\bibfnamefont {X.}~\bibnamefont {Dong}}, \bibinfo {author} + {\bibfnamefont {L.}~\bibnamefont {Shao}}, \ and\ \bibinfo {author} + {\bibfnamefont {F.}~\bibnamefont {Porikli}},\ }\href {\doibase + 10.1109/TIP.2017.2722691} {\bibfield {journal} {\bibinfo {journal} {IEEE + Transactions on Image Processing}\ }\textbf {\bibinfo {volume} {26}},\ + \bibinfo {pages} {4911} (\bibinfo {year} {2017})}\BibitemShut {NoStop}% \end{thebibliography}% diff --git a/k-local-review.pdf b/k-local-review.pdf index c902ab0e09d9385c1165c7637df9505c2be364fd..96353c915853d1fe2fe648c8e491a52d7d5a7777 100644 GIT binary patch delta 48846 zcmZsiV{G7E6y|H&wr$&;+O}=uU)y%4wrxzOQyWv;n%eEYyPIq_*-h?;-$|Yi_sdD1 z=iGC5X0THhup6bF!8mwRRa9tzEnPjYjZW0S*@j(m55=&3sgTV8RW8Spf>K#RpALs+ z)9cZulKC+y7Vcb5JD5OBYUsVL3;jWTJot8|=?o4#J>HC?ugWdT zY79Q%=Rh8U8n6xr>B!Y-MU+r5$(Iv*806ZKJwt2AL4?30gW!5;D4Nm?$4rMIWpamB zkbOPjrDMmGro>;3QtA}TFEET8(fTBti^S7)QW#=(3B7CrkK=&-auUy}aA#Yt6#*p| zNUZ|0rs6i6AWYnG92iT=#Q=8*RMcnPnm`C;i#a(qDpunis#m>2fo3^0a~Q?FabBE8 zjQW4FLei%bQt38@2#7%;Y+wld6#b}pD;Wm@x&!%W8qV5ve7^mQ%M(rc0(~v_TYZLh zW+{*EPHNIYNxML-3HH=|r_yCL37dF0Y*~3>B!!w+~|NlIhFA6Y|y-dIfgXx=;2tf*`P_=uf1X(li!4XFRnwWp}X(2 z2<@Lab;4(~-_tyHIpdm9o61-}=6UhMY2_)?G+4kesM8MX2EQ<3aM>76Z5)gK(WGxb-_bO z$oAwsM>f%*>?qAt==8utM~#{CWP#C0??pu;JhOcX7o&J6Cq*hJ#mDW7(fF&i+J+Ni zxxi#izyqdIVNvq{sT86Q&4;Sh`Uu?b3lJ=cFX{Z*1SsQro>H@5xdve(XR|nStFt{|_w>qs zns`>MJ_Tf}ck2rfc&Vm7(q}$Nwv-a-9=~yqwi_*7fFvo zYW={)X#&J7bJ>J3Egm(PE67XsHx;sl-H3Q{dzF3#slwEAqF+s*l-D_ePjQ`LK?5}T zS4k+D1dkDqlpd#@nxfE~DKs(X!wIetWASthKiKKFNHxGkD6kf`{P}U%FyEJ}R8zv^ zSfZL{j=?otqSabOQMrTP1|djQ65E&>Lfw~jNy7&KKc%!nJ8 zn3yd`gmbTp%$i#$y!!05%H8bF+5P;Z-QvbsWbS{Igdg-meoZEP-sJPkxn8hwnm&cW z6+)IiDLte}5shXQa&2c(S-8mrE9E<^*gzo&#|msR!+^@9=oZ|Y&OW>qfdleAoTkSf zb|YdTqw|J+e>qX>H%nV=`9Xe-j|JCPEjOWW-O1rd^^mpfNr~`@q;vjrDPW3IPeQ!S zhN4jDuC475*E9%;u`>(FjJGw(N_%N(zwj{ZQXY0%p_)3^G>1(`*D>Cz9pj4Tr1ewY z(`WJ<-3u|**B+fr?^n1^DFCAEHA2{Mdb*V2^4;x6K>i>GNi&uq3xm><+5J6*Vd8lP zb|~)|DJI$TbpKAF=%rY;N=0YVDsoF!(SQD)v6PgirGkJR2U*aw@4f9d%gjc-*YfSs z6@Czhq9s9gXkcN!GwI5;9JDj=m;2U9`gz~07_Xm%!A1J>ugGW$2NkgMrmRc^BYE~o zH7$qo=3mh%rtl=~x{4Xd+SJ(9c}p+0!H*ok8@2ydGG=z?`Beet)7owk;7*|;)_QR` zQvtU2T}8r|;vXn^XAFji+CFQRN>v`ruIRB{IdbGlQ&bM>PYO<uavB1_IXp zy&f}00tV0lo{YcZ#YddA!oxb&gvf)PVnd~HiDOTJNF~cEroq!!>MuYcwhEOIf#oq@ zf(mCi;3;Q-DZ!}_I^`w`+XbZOPFKALd2{p;{)8sEgpB^0cNX~gvUs_dTqk58jmNd* z2>+lhkL&K$io4D41PLm|kRODoq)}YtK%qS>BFj=oab=3_I@j&-i*uAWLrlP`JBLRv zz*VEu>5*(XbuTM4uZS(Z+x7CJFTk)vS(uSzN#faoouN7STBX;To-0@GBQ00OQ5dldA%hytkde7>~vF%{Z0Zdv2y^Rsh@ud9rpjuo3ter^+j=D8Q3>sa%GUmZiIW#!t=d)4Ex z^pfTI_q?=d0yfa1aL1>pV+V(U?$zyHu00#pid4q-yKS#^)k~;jFVe|tR(48Z zE_97ieQ?Yk4m)I%`$hOpgmgR{2EF)i&%2);eI{Zq!%xM-3x~~NTKuspMH`!a`uVQx z+yVJs38MV&i9g#k33LxM)8Vaje6P5=5q`fE@S(I5M>D;Cva7L2os(UCb zdBae*PBaiqF`#HZBf@PNDsgL3Cp@f3urUq)QU|xqSjoUD@#0a$mdqtsODjWi!*Z*o z&~8y;KEQLxlY}lN~^oF1Gd)RZybetJ*X@+xJ z)lzcuB`{rwJj83+hq0ciX?%poLAbEJsHv(&@*FRCb*9xVq0QtESpkxvyx9!aLdW*a zqb#Z?3Nv{Djii}iI9)mWbIskxKTyED$|Y`KH!&y;NVM3jpnouHyaI_?=dj?NH9W#G zB06g(5al`DP`A~_^*>>oBl@tWI_@!X;Ik=~V!%xZ21Qp%VkXr+A3N!nV2{TSJR(%* z;AkRXz21+ zNZmpHtYepFk^4;n3AQo-WOZ=#QSb#!?eqqn!PsrbrVa?Qh~DT0+2ckm!kk)pBWgvq z%Ps_nIGwQWZ#Tv#dby`_GY7Jcw+=5R{Bia$Q3u}dCn1>Efy7i5H;9MSHCr1QB!3~> z1nSAx-=+dOo(0A47pvoEtpTjxw%aYS5R}JwLO*jogPm?|3?~U^EZsOB`|o8(Tx%w; zKP!FwT$;}djFhYjrKV$F_uZRMb3BQ22Dlq?$OS;Ap+j)ZFtSW?2es-}LW8o@b6HNR z)+sPmBlEv@fShBedoQ=eUJl{7ikfIi;VZVmLX;-2OQC3eI89bYnQLE~A@vB%ma;<1_H#WB1)pc%o+8|IYNd;P>Jf8Ex}Oyy^# zR!S|WNob(as4}x$Qy?Tw?>Cfu?}YZuaN6cvq5L2 zN244gZs-~loG?;Q95LulY4AsQiS)=j5~S0dBQ)SAdG{wp@s7I`J%HiN_fo!WWwnjY z)ahpvKx}pSXPCh@Al{GC4kI@^dT__mJUOa?>sP1h4A<$FdBA)@o<75@h*p>4s)?}} zWEV>SEmZ7g#4GU_lrx=XyY@`1&3kq#MjrjUcqqrBZJhieLkhKJbcPM$aLRA{E2xSs zVj`m$#0UD{dgbLqkg>IppksQ|UycIOS9y*WK%z3(ur`?8=|a-nP(4cT9vFuUSciyD zQ&wIfxcnwD7N}abQVoeW`7>4}`H)Q7)b{Z1YU=HpeRJoPGc+9)xqC^aidNm=V^L=l zs13&t7`=9u7jGe=LIus5*DG~P90Eib-Z9H$DLqmRvP$rinDa5swG@qf1xt~Xjg2B1 zV8OBIv|As=N(arKyJnq|VAJ_J6X~-_QGbhDQ6S?F-)+|OS)7Vls2~e@FfVM2WE-dl zQPri}-*Xqs4g=N-(v_|9i*Eg(dkd)k%riV9H;sX8rgUh9)ixK~UL)ci!hN&(2KH_I zQ#*f#wbogT|Bh-QZK;r&Oh9?kn>;D-`>Xns^Kn(^UM9e=%BkULb+aS)-P3Ky@p@zW z!gJZ-@a@TMCvfKTefl{-xa;Zr`Rb7pB$Iw+w$Fd9cjsd#vE<=1Z3*aj9UxXZd#B9} z^nG1Fs111Mv}axKsa-PCrS-2^4MU*SRwZo53(11O&V>)Kb$ZHQ=8lAhHh2f7_q;jt zXLCBHg%gc#pMRZr`u691w`L{GuK%twXlqH0{e9U${5n85EBx&(jq;c9C)P#s0K_4y zJ{S3J%3>($OptTnHWOpe%xKik{cj%m|&nOyc0Q`q6i9C~j+~w;uf6QlG9$M@xVZ1>i0T*X`M+;huI$C5fr0U;cXIyenF5A|2 zY8XfPeh!u8rhZ8Fie`cUi9{nn8dfP-CoZpbie!ktW+N#GC$7@AUN?U|SxP7-o;Fk@ zStPb|B{r0TTHJG9F@X+%o#S419_^PknA~1Q3%J0#5X*jXMsV-v$zG4WPi!aLNRAHSqKEj zl3*CM&34{rmq5XXi#0npIY-`n+40ov4ob@4$m8g0VWNYt`@`V+`a+_~C=fP($rtjDstEzz^|KE- zXl@?H*=j1l!Jj?gI`^qd9Pt>c%mV3^)E!nqX4h9~{|6it34))W$7tn-K^Qxd`0j8d z};MC zqe+M7_`X-Xy2}#B-Xk)CDV|@F2o3H5U^YJG@yWj1Zp_wKsQaVA*gaqAPj!qmk*O9vPEY))@IQ!{4tDE)SZOFl7a)+oPAm)j!;EBB zC%BnqLZLIA>VJx5rWKN^@@#Uh^I%eY@I+>diu7d?AVuN+qVN0$H!jHD+a}o*vqb!( zp-7YuxUdZGapuV_IOBJYq(M>q0<}Giu@Y?s(J{fJS&ONH!TLqtkxPZej~*)yrvR~~ z+9#_Iel))iR`D~!56YwwTijr+wPleR0cH4LYIV`*8cu7=A@ieK-}q`&ZGFyllL^jO zo#<^;9)sd_!$Ji_8JSk6KzTmoI@D zg~2}q1mygGyN*+p2+V*o2NgmjdIyn}uLhQf?SMOLM{W&F6kL8{Vi!ZlnW(VMMW4Tc zRrE~VhDZ1Gg0LsB)X7bFu$2I-Mw2m8YVC));OB8|(Xo9tNHrp2Ds}lq#4gX0VHs|y zSN@n_A`iiZBgz65Lt{Ziu>cN>;<(PX1rE(IcF#-<z(AAts3H98FTDPq-qi!m(!(WUWF>i3W2AvP#$wQ5fHO3>PTFe3%*^;wo(7&m z>UcdvN%C`Z1sqV`FF-*GOY$m-(F6EtucK-xwgUQ8fFUiSFLAN)6vR(oAaNSZclh^79! ze*nxHNmzlxsznL|;>H9KzTjlS;=XJ{b20K>ox}7r$-B}if>jbr%84^6v6!^)+-<;| zOUY>34PZe$B9rWeoHLMV$l$wfS4wiMSiC-fqOmv4<^W>XzU`il1#k6sB%gXW?f!~Y znJcPHNw_fTc|N{vPFr)yODwXHm#tSln9nz@15voamznX4X%4Aj} zRfapoM~@Zy>y~UBM*J9iyNmTz1kW?blvO&VhRtzPR4b4$Lz@h8*jE{HE*Z7SNa}+x zKmH4B&hKOQ|I(+^(U z*dPoswol_3?T%yvy;fJxlrlT~^U+TiOI9XCVz^E(JS%xA;O*g$`y`nxj#Y|Vxee-+ z87eF~T8*l_cC9Wa+QNJRJEdT1!3qSnX80rp_>ptr93+QijTPQ(>%S=wHStv(0XYtK zAo>^kZ-#NI7@v}?y#!dM+YmppU8soA=sT?9JXkXsX_h?-P+clCBnp#3B==UVpG-F7 zO--$!x1-#3P4lh6jqZUz+rj}vRv3D5e5C@asiX_Memq!_D@d+EQc?0?GlCbHN3Yk447VSDdU4dTu@2Z)AZ3%Fq9k_+$B_L$#HflSyfGh zxH1OcG41g*DeL&~Zq30amTDI(hNZU1jBu5h_$K9!)?h&k+EAqP46?yoQ2>XAMrlPbj%uuNDE?R`Pt=-2ngp?TIpprB>Srr1PBj52LaIzT zr3JJ{DdlTAjy;3(Ze4~#SJ5R3r2WtO-FnG7@(nb6*>KaQU=@eYLDx!rMJ3}jRr6#4 zha~1$zNL}hA!Y3;Tr9SzGVqzo0B38kN+gFas7K_S4qaeo*3j1%iIAxi=ZlNy(Ej(w zbBfAXT%y22nv-UYS7;#+sH%7&6Z)eek0m+yR*3h^!MyA&lby+xX5Wyvj!fNcATMly z=Ejh>h&&wQX*`-DIwg?XnSm@p{&4~~O!A?JzBMlF3Yi_rn!-SM074}h_{++`j57`8j*^z_g0V2m9f$>@|J;%~ zqGWiDcp`C^xh6{-6L719KvmF+7x3aJAqi-Ci(!lMDUbaY7h@zUQOA^G5p) zWG%O|(plve{(Za8q>G`Wp0?Vwn~b9W`(*O{oNSXwVn$lucyP=BQ2tbG*OyxIb|53m zDVew*E6V0i@Z24UcaU_~QsFb=c0bX{Pf_Op2EM%7Uos!8*E2$bmv3)Q;;O=0in80- znx|!y$YS@~km|;%nGso^g`iZp(=>0j|7y#8%scywW)UW$`Lk-r(}8HD*^ID?)P>XQ z_I1*g#@F~{FgcO~COpp*13}f&8uOQ`aPiswL>wY64f9=S&jY0~ytI$-#WBe7QS>=^ zvJxdaCZc-H-f>FRnJj(#IZlasXi9%hQ2PyCs`Jx$sCQ<$S)(Z81JQNnq^ikItfzX$ z-0p$h*aRiwQDXjnzlL@5vl)e_tlNpP=CTD}gI8fjn%?*h*IBUy z^k>gmF~j7VistmBGW64N`OFG3^Md~nN$zScCqMkXMUK_|x!g-`Yb~)%9B8^BwokX| zKbhse&La*#u`Zv+Z;jq3+SPA*$`5GAq`{fQ4C;X@l79p~Jv+ zKgeWc&}(vb%%o>w<1_2H$R=l1qwE24&bX@rB64u>J92CJ>8!EzJHK`c>u~wvSK>M0 zz9)U4Dwat`WJ>%(b!y4Rgp#AC&L;zSKl=|OSd{qXPxKfxpj{>-jG! z^!NuN>`u3!xWZprVBq?f1(>TZ@i~dlt931bQlLy&-QIP;FtU52)UY>*Q2UUgGVfIr=dAFmto)<&FP}fg|6|Lyn7lUcSoZ7v(Xaudh*XZOa%r36a7)Cr$Pl^Wt`jjR^?Scy zuR>IFr^E(oq=u&OJl-KY{!gOczIfirQt-DU(0v7mwUBasvwPGU_Sb=?W-y_pQMb_r zvN}Tfo7JmgvCd52E`NZL;IQ^BN`o2vu5P z8*^R->)1hGEf{Ex8+*xBQwjR;Ub4PW2uC3JCm#S&ksi;@G!X+w&omYQ!|AZI1QjvK z)V2h}&ioG%I%fWWrn+akSAtqKj;ANDVQHlRyj2O5XNhWDMICckw8F(l| zrrO4T+WbWDaH7nCm;VIZ_27hzncH{}m>o77;F^S)>D>R}(hE2&S!T2u1XjmA9z+pA zCXMTVSj`QwOP_fL{3j?hgNQ-Od|vwxg$VSYGlOGw!*fq6rqK0#3J)&A-;UvZ2gd$T6C{{<$}EbU2fie#DAOii^J+WdLF@@dDqA_g)n(WnF}%uRFxtYWRN8dTRWc z11R6C_!{yGum%kBu+t0<^01N^7;UA8lrXfEhs!XO@>lZtAY5TF^-^3JqhZY%qvf76 za;{ETT#ou7NcS?>{lLL-oek}vZR8OPz-)Rs3iKmPj;0G6Gvgdv;{W>bt2c*iw zs4`}dxIktHy1qkrd33(yel4#p%zO;s%%SmR=YZ$Q+so(Ye-D5B{;J^r)}Y?|Ruvo^ z8XCRd*?Rhx`cy*7V45lCvV546p90+QdOoHd9BrVd|IJp)tYxpEv$1|fZjCJO2?scq zD}HlD-4$jRy~%+Yn>tw?$Xc7)0#MT=PB(Yll%z-B`4bP{Hxgd}$?Z3K@ORCU)-Q#_N2*B?f5oQh9WL zk-GxY$gG_1gt5PW!oY9%q4+McHnpHHu(~yW2)a(mhw0Zc^nXXjeS@)nuIeJ~?wg;9 zR^E5mOO*q$-^4pW-2?E2AD5Ni)Hg1?SiBF`$o|T2{Jr=uapUju_*p~!cfsp`KSs*o=GCpE2SBjODW%3ot??4;njFMq0Sawwv48sJ}ccjGnIj@+*PHuMsKje+*{-O5I*-}m?Ha{7(qYYEQXK0*Xu zAC9t3o$bxND^HMmZ%`tsn2BQIpo8`@eHGL8_iaue{+fS4e{97w?k&?K?{!E?`jxMG z*po-UCM4pXI`RMy5G(C5Kl)@gova(F4C14r)s)TofT~E@?eK6G?yYpA&(IPI z)EsojtQGP|xu2T7`zPxY#ff>E%Tn%%XLJirLGBb=Bx67hk(NzfFxc6s4W!mNH}PUE zxa+iPMZN-AJq5eW-$*lOYC45asg`w>X}B+t-sO+&kW3*|2E1)#75AmHy|!X3t{yMD z%krn@@MqE+Wdls`(5)ZgTr@1o6I6 zBVj=c-(Vo=540I1vE?%nx-S({Bn~LNcN~3}(k@}+SU}`S9H2jKSVm|25ue7Io3I4v zp9GsMLUq=bp}WEQM`%zgzF79?In7($?c*2P`>~ZZ2y@7XfAh8jmON_(o)Aj0>y0~h z=oHJK?Uy zECHDuzBRlUcAnfJS~Xp#Xl~oqKnIV#fK%Z?Yr3A*2FnAwIvIEmW8Nl9u3ot&6`N$? zQI#abMRmD}{(*P?m<XrZxCv1&uj9j|heXWlmuW1L0O`!mUGlHoSeicq zt`LgKWMV5%eLLAr@S7sKQ!~`bdFo}%|GDkQ08M9g?4>7+;=A`)FHVBe**4Ah*ao?V zIV}FcALvZ4-aD(!ZTe2CO>QNOV7Ow;?wP|Zy9!vBCkv5It8rMs5m_SS-${ebRM>x_ zTQniO2uLY_59z3M(m-E)zlRTxcd*4=U|yDr-{gorq0sLX<(7?Wl!^3=lB%1V2tY%h zq^HyU_mw26J5D=qA03Q>pvWWV*2C@A6R2_q(Im%Hsp-?>I67I%X0510RJjgR&C%B5 zYLXrMHtBGs2{T=DG9txtBi(9S7D};>qQW>!U=7?;qu>4|YgWtBi&bf?VrRqZ;V`qw zQd{&yekZph#uirqF$blBqc`n*J`m;X()(_o!pHFXVl^UfX%8I{lESnP%dA0^k&~$C z7n)im%o-!_0; zyha^|D!C&&CDXv0m7HPnaG)b^)V1MNcc-EbQT7XtT-vaJ@oN8Q)Q!ra6VOLHOMFuY zyQtds*zrnSAQ=p(vJNk#W##%>Bg}9^?T^P%>V)Z8826l=``s@WVr<{NuBb| zaKrH%+O8{WmcW%8b6PB8^~NG5Y`>}LU`$;t1O2&j0Umm#s=-Wh@94HofMoVfiWMK7 zZW0Hv0}h5NFhP9Oi*cja1Q_4@US8io)f1DUgp*rpSf?21f(Wt}Z!^X`+ zbk5-@SsHNm|8w1ZQwX(cknjUWv+{zP{NL@Rv@(}ByZu?lOX}x=D3Rn1EC#8qQVN6% zB5u3{9{aD3BDMn0XY1glJZv=g+1SeGy5Q!%U`30a)6#ie)gKN>(*W7=toxC?iK(}! zhr<*${|%9o57j0{OynQIW7=PeH4>J|YCLMgs65tWkAL-|ky@0sW(FYxKf0vte~s}P z@kGk`@%snglY2#isxhg}3q7|p%A+O4QX+3 zF?lBoal!C9Z{NnURp>Z?;Or1#pmT6>uoe#fbCP;s+X_s&9*-^861E(g^+? zg?g0I*C-84fAPKV;8R>A9R#LomA}u@%KHuZb3c|E{DveVUzViWa&4SDa+tN!N*Qg!$JXIc0jP-rlFsGal1PDqz>eM#P2Ty6CDjyWN>NIMYZN%SfF+Z?@VWdc=pHxC@qmnVk3h{j79^$N+e%Q%U09JI zbl%v}s}(crmst|mf$bOPuVdN66c*wLffduDi$=__5CT;35y9teJ}1?gZU)C&V zwY?b|!Gt!wp{ZqxoH@T*`m=Zm-+If^7I|EXvrwF}g9jNIqM72mvlv%G0l{aqaE_qc z+J32FrV^oN@I}KE;xH;YkIy39P!WH*KwVcMWMH;C^rF1w*;xd?m^O59!eJ@IjZ@?jn^R8cM6UtO$_pdeEv*L8MXd2g0U>)YF`p z3$T3+S8%ro?SnFQ$0T3}Jw`ovL-iS-?OP{{>1Zgs|CA?$xNEDzJ4_AmbvFi3SP+9c zrhmglsl^V7Osq<(+Y!lVGg{z~cTo8bJBAnFL!HvN{CI3UOu7k~i6Zp9*Ha!i>`HFj z?x=pwoKzyun#aVe>cTJTwny315Gzkl00e%eli`A_g|wtZNV+>KTT52@%i>D?g4BA0HWVD!#Y)LB#6vjn|wB10Rm%=qCeC1y_CbmqV%2){l&>GxAWOqeVB@18a0O_8y zwI3)2B3x=xQvqZ!^s%#zdYMM(h8njTh4{W;n&USR3pjm;JZ_}f(jLsXG?X@Z2O844 zLPri+Z~uNMn>-!jRTMKIBAD%8at}fT1lKB5i`*dx$Sqe#Y`#fdjq7RrUQ+kpTre-6 zh^Ti?=f+$pQQ}bCuJY8iy$BG^2W)j4WnQrOZ?lnc%z{c6UQbH`mPNOGm1gg%&Ym-F zDn*-j?gEPLrMHHKqNQ(=3hXs(BYsoxLAUw$sUNNr(HF642_%+rIaXxuA?Ii-ZJih3 zpZdka)M0A`!md77$0g_{;!K1)Ls9mYU!+PN=pTD_<6~bazPS-hn#q8>07$Ub+K-s- zd!Kt_yA!(R$l~Q4WXh7qOPzTAd*F!Y634y@8zd0D0(a!d@?t|__M7v;O0UPo__+HJ z=vs+J;=YT2@B>UicPh%`6kcz@51ysG8u2j`F7`F4+asu_1au)bRX{Q5!B0sxH0>PK z54gpRWxF?;F+@ad{`3v&0^w<~KdNvB(KC#;qShFAmDc)-SJcjjKck?m2|Ayg>+;#w zf18XKQ4yfau4Dp*Rb{|kL7AtjFyBk0cBqhuX8R9aoxur9hz@DY7NRzJmP)DZ+!|_%vNz`X(vp$NV*tW721|8*OILXuKnv@V;pw8i$*{Ev5hu}LH zjIaNC=BDYK`8IgU>Sb%6ql|_TvY6l~`w!!5V>iK{BBOVKkxBTnB7yYfg|A7G6)2;B zTS9n8F7*D3QoFAgbGZG?wUN=$DJWbf(`)|3<~fK4N-d;bXn`dWN$1q1_gH_`X$gqv zAKsp`B09BWa7J8=0KV!uvN#Cu=+q|>hP4u7D-sACC5n~@;@Ufr*-f{g8?83ZV=YJ% zinm7VHS06IpXZ)k)|0)$Dsen~gaz0oWd;opX+!8IkfyYno}Z>k?C$wj{R%=!=HO&` zYn=Xbf3R;GyhrKi;JIQVW-2dU`N@=>DBOim{%J`1VSAo+0=6bMctsRSb}5Z@%|bt{ z|3w6NVbK}DVQwXU)#3KVNT+lwaQ5!^`GX^@)yK!cZw=R^fe8>!?DYTi78Kd*;~GvH zaHiH-#~(qJtYwRqaZSz;SAzSKees4ipiiw4TRsi zrL=XEayua^x%UCr zfs^Wlb%}fC;Z0EO#LyPJLqn{R6L%9HOJ~I!o|VRMq;(h6W?8rDksx6W51j8Z@6*~1 zT-U^7hVlj21ftB(d~(@8Ts)v@s6isXq`zdz1%_=@BvyFnLt&WdhcE9sob}v!CCPO) z*JYBA06QZ~{N4Pb^X$A0vxw@Q#bgURhH(CRuq1dz1d1M=mj6b?8oYFlzUix07LVPK zzpQ)&-SXlRb@16U$EV?Bd-9)nZ54+Q9!UdcS3DZzG*XIBn*{?(TP3vgc~G)^7Z!~j zLXB(X-haM|JhJ09osMN&kDBs4I0ydeGw!sr1Lp9vo1t<_g9V6l$|@o09zqc%rd56~ z^;Tsus`>}o3qy$LdFZ8;KX!mT>p^rK{Y%7WF7MRq(6 zz~Y9v{P!6BJfwsGe}j8oaiyK z=^@BKy3Xk(2k_`JSJ2C9+5fG=3byM==La3A3gW=!rVtIYS&Av2f5ek24gm2;V{m@& zni+r;b1pLfYr?h1_)1z-p}NjK4Buva$hPvO?v5O>lLbeKqzO@L>+nu4lv+gv3eW_I zlqet@mN%e;R4Y_k6%qldMZ@3FqLKIIFx;f)M3KFRHdz`2DAo+q8LrekucTw3xq2H> zKW5ifhR>fN(5xWFkl!n^51FzNzMDP_1dz!q1?1nUZVQPL31Xf5pfg|?nBO%+IPIq- zlO(wn3OyIt{?$TwBxB=q7jRNo0cL!hNd6mC(*m7TC_p9H3I#(zK$=uNhZlWjl(3Q=6U~qJdC!;7N-$7pps0{XG|e$ zz`lldVtVJaxhkg=-B)x?(A~$ht{Iaa8Rp5-6tPvMXbv~2OP$`+)+U&hxOA-+`#gzs zQi&pu|Ge%Z^A=5GLhy|B1IW0wFgs^XnGuH+CpOXV8^!Aq@ z?XmjzeqygH&Y11Z798=~14G&{A}HDR#phl>_#%}Ocap7zA z`Pw=DduSruX+h3htarX%Izn!5c>EANPWBkl#XD~K>;X0;-;>TL0wnC7p84Fn69pN`)|@z`KvHX0}xJuuh&5?Dt)lz!IANcuQH zp8oV2t~WrDkkrVFDfVugD=Ub~Uj#pRkU#feM&r!y^qixmwmyj=a_bgSHlt*BY3&Vm z>VMdfd9zfxV-y2oAsO+f@mIa{TaklwqA%snBf}I<2-7^lymE6kgPUuOYl1~}76w4! zk;xLMbMwik4isSoC^SQ|u{byiu{pb2-&OaYdsu_ao;7ob3FPDnJ+eJ_z3yY|LGq;I zPNPyAOs%5=wp$`NtM9ncb5Vz|1&5&%rjS3zuSkk!p2U5+yxqn8lpmQqMNk}i(#x&2 zY$qk%Z+y&uLtBaPkwsn`nmtJX3LbPCH0- z%BfXAuZYQIZB3bTx45sJ%Ho=)p7?gek=|?=yA8==k9dm9E;c|m>^^+oRX}58*jyaO zY=d(5r*03{xf|4^qAGtBpw^)MPzF^#9dMYtRqKJML*7OhCSS?&d*fOHPyXf4Zm+F} zcvdOw;Kq$Ba`#_;@Z-t0#rl{%P$qdB}C31S2{OPj-`Iu!2$+ zhf6C4SKd8sKrlBY*i}Pi8GAJGbt)TYxk*WE>1Ovm^^T(GXV^fnQ&CGf(9$ZLg4{zC zC2+5r(n+{4Oy}(!%y}aB_VfM{2-cgov_MlU7(KI+4;HF=i zdr~}PLY^h>kC`s%tgkeIlU5V&q0~FBA$H8@=)%>U@A?_0_I|+5SaGE6IBThhAJK0X z2dt}l0=;>EedonDjrTXOt|nP)MoK`>Ex#o;onjcaQ%CsaV8Wmeo|al%LL#6^oFi>Y z@RzY{c;i#AvAqN}{+Mf+f*sUY8UZl>j$qh!?ed2H#O?asaRo?eD}R~JU1{^a3E(*~ z^6#kVzNdP-^@IxaV-WiJQr|CA{aLhh0D3rytQ~V&c;0V`__R-99RBlO;#4U^tEzls z`OK{q^M0}Ti>oa?$?_v;jqN?iUqgRr)-V{$yldS5)V_QeLl}U!S<%;;2|z6dDSjd} zD^^qtPK%98nvo2?M&t~4PWRpNY{O>WjJT2F>~0HfPo7S~ZiV?d4o5WSkVeq%0C!kF z;#E1~RQ)&Y-{V}!%fx7pvB4=s^3IoMS!Jw}jH_Wchqffui4ORMHV=N$aYqhV&@y#? z-FbXJ!dw!51}Kk_$ho`! zDtk-)s|~3%zW0~uk51+=M(3zM_c7Smam(s(Vj&<^VIP;oyLdA>(Y;*q--i|9px??J z@eih_hQ$*UQly!I#zdMd=e>Pt!Bt|=_rHQDyWRZ# z3x*K_Jej*5IBVm1a3f<8!NQkGo8sau08$X}A==;YJ#?p&oG9cGqUN6m=ZY&hmS68R zE7aR|Sf0cW;VT{!8~AgazurVR^4N8s961`ryv1cf?ZDz!LcX|ycaz>R zzH=tdjMeDB<({D+^^P_5uT1uHA*jW-Mfe6_tGGUITsREqv;kGB+O5=-TUB*@ku_^# znl2l3)hW)DuFM8(Ek&5LwL!1q>>y_#-7K;wA9VzbFoQId7~pYEMqe`}o7gVM-1 zEI;K)szIxy#;x(^VWFGOaP(ro;a`Rv4SbL#WvA`LSUzPCwbwRwtI|`N($F1ioccR# z>^rGt2j7`ENb1B3-%PJ|&w&j`*T!TFR1?ZiS*nT3N>sF#yy);v3NJ>(ZzZZEghi6Q zw+UgF9#8|+8phS}X^JD(e_7L1{AmTKXUND!I(b8*e`H{zHLJ5?Vuwq#nK9jap0$8kb~CA zLfKgs4XqNtZ4!#7@|#&7=SV|#`BBHFR?Qk6U)BxPZK`3cu=r*)f224Y4Jz@ofEKSM zB8y#JF^~fnZ$q_I(3n|&r6biiewSl3@&Xp`XgIjH)=su8Em2f{ zK}Lrb6u%pYDRmG?ww;HOOE+d)z9JQGJUUsgRKL`k6fI3e!&}2jsoPi=S9z0UH|*4G zJ2l?-SW3ZTf1nh)?T#rky}}2wy>-6YF~CiM5L2opqxIM@e@Kc(V^Z@6`_#D;#R2`yF>4URM&3K>bTyHqqB z2dP_Byz$C+ApVfRI5cte`R;~zZ#${~o>~6wlO=KZTODCTh;_PjAB7B)f0T7Cc!FX4pTi>DPs$c|UP=}u zE2_l0Pc|~XRJFcBOWI_e{>Be6^viI#`JvS;=6mZD*e=xZ~Iivlg7&hRXZ0XH=m6GRXk=I`U#2>%wJ)BC>#%;K$xN=~{Y|4hLo|VBT zR}a9w<0^1kLrHNn-i~FgjNFSEZ1oUd7cT-OnDlj)K2BqQ78*0plUL|c-rt7g=G?Z-=p)j^NeLVbX#^;n`Ne@T;m3bczbd?DG&iR65A)_SN3zFbj3 z^R{YM8=*WpNt?22gBeccd}1E3P>~B+RrU&iCvdrS1uZ%70DjI3V;lCr% z>-o!27Y;#TZ*NubRbz;EI<**!^0R0<)I93If=_RquomC~1eged4U-{xx~PazdNafX ze_O5^sHj#}jYAR#OXba04U8yf|KWM_@<%T02M$D!{a$l_*Dz8C6Dqi+y3O2-+zZ4a z@A>)|fST^($OH!bSjlbfSk1CX6^?K<}F=qybGy?sA&fbyZ z(=A&)A`gEI{D+HT-VY2PeEHJle~{*7M>hth28}?AeD9d})sHq7-XK|2u6B*3BSCYJ z9ISD_A3m&o(J2UXwZRpQ5?9bSTpv>KxsQ_G9JEqXJ6)?O&uW6L0UTH}t^JT_N`Qvy zEgFu*g*}{z_ZTbZb8xPSKi@C_y(BanQ+mkpwXF(2Qh$e;9>?3qR<<5!94&`#oOez79GI+Q4LpYGWUQ`h@O0QId7ba_zzq<1TX#Ae7U5(8PQc@@aTd0!L6t{js;@PvM58ckeWN7i}TjLosJ z#$bYsC+iYDV*2QKf5L^Buyv(QCGIAdf+oo=N5X2EL~fFu&r_RV6GT=k7vVRNx1=Kd zdrKgH{AK>2$EBaEa|agt6AeYYrUo2~_kT6B`mbw@F$U?MS(gC43DmjO;(xptXC zvq&Wl$y8->d)g*#4GurX5?#{S%`F(%&hE9?%6G7f^MKO{eMc;5b@GanaP?9b@1_#&Dk1HI zC1?A38W_Bcyuv|{oggL`Cx%whEzxA`_(7RPJv?rpR))=z za#uxqNwYrLHUImDFl z=rC|r=EMkexU05yKrK*XsuFoyBH#J5-s`5*$a#aNiq1IAeYo$qq;P{?R{D_5<`jyn z?z!rOf8ot>zy#Kyz(5;B)AQELJMk-&|Fr}T5J*N&gPVFEc!af;=uVVOOW`?C4_P;C z#WpaA&8;LGZSFNAKAJXy&!S63c<}o=7ixT`#bTMA9yx&garWt}-w!xTv)<b2m<=nyfSut+>fF8YqECa1tT zIDE6pY3~UKLt*qnx0$A0!vKK^+i2M-+AN}jY)Z4JnW{F)x&N6JUi!ugm%vX)4<7Kl zp_%P!Hp8(Qt1d-z(d#X>XBQzkM+}dK@?L}8?}nJW#5f_sB9mun_rFz+*Fkzuwyl=d%5#(H z)$U}AF{&YsqbIU=C7RqHv`Beem375;cL*S>Od5L*8K6^}8bZCkn`x!}V5Z8_&}vlR>1JLSgU(Q8dsl9^dPF0lV9Xi5nwW6A)s0V`6m&e&WUpaSxU)*6Cg$Sgn+&FgQv^G5bOL3Ig=9)Vz&hf6x$TWMie94pz zTvj}bq1J{reM#XG(OuwKIT@J?f45MQ*Hta`LqFs^TYi#IDNc4SFRd?rv*}aRYPn-(mf2z7IV(M$G z$1Fn3DeB4$Y*+3F>5R&B87Q?StdV zK{q9@vDY&r4}wz1q_^S(f5|U7^es}Pzu8UoXTgu6@e(f!Q-; z&#S_tbeHnxW)3pwD5%L@JFe-?w;x*8%r1>?p|3tBWL-*GMkEy6e^=u)!me#!J+l3F zCfXjddU+Z3jHwAnfx}$Ru@jmGqr8>$yO+ED++*W?%~p*oswFqM0BO z#4A&_=PD6FxZs%CysSldpMD^|GtGAI3)94aWF2z|qVFPg5$i?$sIaIBWOwADRokr| zZrZY;!S;*cA*qp-f0a?Np6=jtdYG#Dpff3KV_7?8-@EH62J0gdTS2H`Q7#4JLU{)0oS zBxbzGfsvE^JHAg221?rA8jLH*P>+10rnNT9n^3o9#eWHne^|kf%u2q1?kBJ+gEKCe zoi{5L34VW$On*(oQJ1>DH~L zmU&}wjO(-Cw%da3*49he22D|apikzqUG%~#8Sn!6@<0r`he`?FEsKmP~PKwhT&5pKj%Nnl> z3%z2qWzrjsNX9!op3UAvMs-J5%l6Ip?r!Fd z!r?kl3H54<*OCqjrX(+ops|oGp}NG;V*LY5s8j3E!MS7eu*hWlSS-F zw7rkef3sn;*1!|houMLr(2Mg@)|j7Y#4$z7&#-hRt_OT5g*v?EDCuaziFyvs-Y?<~ zCvC4lZB-;e2o%m%F!W4sn`jB`u$)l2wRb=B^4IWO&h6z`P}i-4eYOKXW-=m}iEB)d z`^D1)d*v0N62m^>6#w92F4dsDj{$pV@?bbif6b8T@J^)isprsG9ksLm46OexsRGxz z{ZkAz)vFq$PqEai**i}7GsadK0=28U&0A>tVZ4MZ+A8mBFXrPtSA`l>@&r1)#4z*9 zK80iK2EIKQS$DMo$u;fxdqn1O*$Qj+Y1HjMtTLv`P}c z=INCc5|g$kxk@bYVW>2Ptc%AEtaT8jf1H&oRxAh9hEQAB+a7|Qxg!|#(a^r)fq$!% zfujMC7B}m3)1B1F41%B#xU0aY+<0wdb~9eyg9})nD;r4HtzDk)1WZSznMa{k5zekB znr*5x9239z-zWa^Pw{{tW%JpBgK4#NUP=53RwIO#TUJ-ig8YN7D(fAOn>^@ar4Fck^*TB z+p%H(b760$dmJS}=7*2E%X`Q>6f&$F2Er(i>tW}oNHFx|kgJZH81*|@av$7Z{#P-i zyoF-c2Sz@0{uQRE&99llJfkR;e>wusbZ+v+SFBlCFG z!Qu_UH@7NACoKfHcq%ace=0*lu}hWKq|svjeSJ6KF-8Y>F3?s>7ZPh!ADI(J&QY;~ zmC1>plIp|y`!U$h>Dnt(yT94bLxuL5F4FBK6pX2^qLd|1m1U9p_vDKcc|U5U!n70@ zGYniFrp9gNu5gt_ZfwA8+yxmo9}f9M)>usU`#7}W`> zITr77cfWqyw&asIl=Y3L{~g`E9TFhp)poOy>DXLp+MF2v_0ivp{YP5f;>nIXUW`9~ zUCf`S%RUJ*Nnn$j6ev1%AiClyk9^v z3PessKT-O6An_ahf2eey?2vISaq_K#E?pSiMoPWslXO*oFIImUBgTuS>v*MT2BC$= zS(uIB+8;eMJ|PX~Yy2sRG~~`DS*Z4MJsBse_(@{ZU&i*6bhOE(a@y*AbV4YoJp4w6 zGEe^^84x->7X&jpD*Xp|0?x=Jom9N_5~HH8TDVo`)6MU4f6vEM9UA@+()Q$jC*B#X zZtFFkZSRqC<3!#;*v(k3gHHI^%^2Q!Tw)GzfzSi3sy^Hjn%NxGlK`$Daz0nrZO zF^pH_rFl|@Nyu!q?F|f9U7UPPhGh8{hZ;q$Nc8G6q&Ch5SgCHO8TjG~JrYZ7_)fYhQk6z6-dZ{cBA(Ui{ zC*7a%)o?}Z70;rz=-aq4GhzGT+oU3|H^B31o4R8C@oUd^dN#q<*oAoxg==(@>U#CT z5@)RaBu`aB7A;-q{F~Hy z9qJDsjmL|6;dP!Ps`n%do~l7FH)`>y_;*Q|jmwm$mcc$bj($WDK;$$=;Dit+O6a{b z1@4BwE`kRvsJ5qx>~duTgye4Y9dI_?PTC#dJ6q(=Z$YzPD{+U`qD;*u65ZiPUV-F( zVm{T>fBlYELf#*-p}`vPOb_Yf8t2+;T7$8Npe+fMxhejv3#U#~o@n<%g$>+Lx{98| za}R!aEaSO*@EOeK?EogE)nb(E5zC#`zb+EIJyGbwU4-l7&*Zy}_^G@4G1O2bG<(I7 z2W^ArY|x#Wmy1xo5Rv_hk_^Mc zhTXr4wytm9Y+y=`C&4#h=A2$y))EkZdL7VN+J7SX@VEoL!a#JJ2Ky|Tfm8n)t(bAJ zF>E+{u#xjl7i-7kLC=xdvqm% zW8>47Nr!;zu%X-6wM0gzv5YoCi@i{z#KT=OdWAC1<|)G{pm*&m!=g!6WuY@eJ+Igl zJ=q*zl7_YrXwjAnuAzB%epg$|kgP}ne`j1MV*rM4yt&~)L-A>@Ah9qf*Gq5PPV}n) z(b5b>U=%XoX1Z+++ilP0DEh)xi;C*&OYbmjFmPEw^-~Z|{k~OJZUs}coBfa|i1*3@ zn`%d^?5@7cOSpgk!ec~e$7;7J*>pxclUQ<%#Wfh~KDT@h5@;@5(6xQrPD#^=gpz zy?zXEw+CZ)CBxn{dp}q*o%}eee*x;IC|)Z&nRskFIh(NO0rMuM`T+Mb?R^Z}i$)^2 z)-!`Rh>^TO`7)NaR7wDWiza`nkG*YTA4_z+z8|}1OByh$WC>kcC!L#6>zZ?DrHe6H zt>*6Q9}a{WFz