From ee72175941ba27b330519b418d9714709b1aa6e9 Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Fri, 16 Oct 2015 21:42:07 +0000 Subject: [PATCH] Initial commit --- BBlog.sty | 46 + Figs/3x2_skel.pdf | Bin 0 -> 1783 bytes Figs/3x2_subskel.pdf | Bin 0 -> 1637 bytes Figs/Lshape.pdf | Bin 0 -> 1501 bytes Figs/Lshape_label.pdf | Bin 0 -> 11372 bytes Figs/bethe.pdf | Bin 0 -> 3573 bytes Figs/boundary_circuit.pdf | Bin 0 -> 2338 bytes Figs/boundary_circuit_label.pdf | Bin 0 -> 13842 bytes Figs/boundary_circuit_naked.pdf | Bin 0 -> 13128 bytes Figs/circuit.pdf | Bin 0 -> 1573 bytes Figs/comb.pdf | Bin 0 -> 5140 bytes Figs/enclosed_example.pdf | Bin 0 -> 2068 bytes Figs/enclosed_example_auxiliary_cover.pdf | Bin 0 -> 21791 bytes Figs/enclosed_example_cover.pdf | Bin 0 -> 21279 bytes Figs/enclosed_example_directed.pdf | Bin 0 -> 11956 bytes ...closed_example_monomer_auxiliary_cover.pdf | Bin 0 -> 21272 bytes Figs/enclosed_example_monomer_cover.pdf | Bin 0 -> 20765 bytes Figs/etareplace_cross.pdf | Bin 0 -> 1139 bytes Figs/etareplace_empty.pdf | Bin 0 -> 1329 bytes Figs/etareplace_occupied.pdf | Bin 0 -> 1330 bytes Figs/etareplace_r.pdf | Bin 0 -> 1322 bytes Figs/even_example.pdf | Bin 0 -> 1967 bytes Figs/even_example_auxcover.pdf | Bin 0 -> 12487 bytes Figs/even_example_auxiliary.pdf | Bin 0 -> 12442 bytes Figs/even_example_cover.pdf | Bin 0 -> 12786 bytes Figs/even_example_label.pdf | Bin 0 -> 12753 bytes Figs/even_example_label_pre.pdf | Bin 0 -> 12444 bytes Figs/even_example_monomer.pdf | Bin 0 -> 12323 bytes Figs/extended_dimer.pdf | Bin 0 -> 19552 bytes Figs/extended_dimer_triangle.pdf | Bin 0 -> 22197 bytes Figs/minimal_circuit.pdf | Bin 0 -> 1414 bytes Figs/noncoverable.pdf | Bin 0 -> 1730 bytes Figs/oddrepl_aft.pdf | Bin 0 -> 1396 bytes Figs/oddrepl_bef.pdf | Bin 0 -> 1220 bytes Figs/simple_example.pdf | Bin 0 -> 1571 bytes Figs/simple_example_auxiliary.pdf | Bin 0 -> 11040 bytes Figs/simple_example_labels.pdf | Bin 0 -> 11641 bytes Figs/simple_example_monomers.pdf | Bin 0 -> 10964 bytes Figs/triangle_3.pdf | Bin 0 -> 1309 bytes Figs/triangle_3_Xcover1.pdf | Bin 0 -> 1140 bytes Figs/triangle_3_Xcover3.pdf | Bin 0 -> 1140 bytes Figs/triangle_3_cover1.pdf | Bin 0 -> 1327 bytes Figs/triangle_3_cover3.pdf | Bin 0 -> 1332 bytes Figs/triangle_3_pre.pdf | Bin 0 -> 1133 bytes Figs/triangle_4.pdf | Bin 0 -> 1442 bytes Figs/triangle_4_pre.pdf | Bin 0 -> 1124 bytes Figs/triangle_5.pdf | Bin 0 -> 1608 bytes Figs/triangle_5_directed.pdf | Bin 0 -> 10716 bytes Figs/triangle_5_pre.pdf | Bin 0 -> 1145 bytes Figs/triangle_groups_l.pdf | Bin 0 -> 32303 bytes Figs/triangle_groups_lr.pdf | Bin 0 -> 33548 bytes Figs/triangle_groups_r.pdf | Bin 0 -> 10718 bytes Giuliani_Jauslin_Lieb_2015.tex | 1642 +++++++++++++++++ README | 53 + bibliography.BBlog.tex | 33 + header.sty | 15 + iansecs.sty | 509 +++++ kiss.cls | 47 + toolbox.sty | 46 + 59 files changed, 2391 insertions(+) create mode 100644 BBlog.sty create mode 100644 Figs/3x2_skel.pdf create mode 100644 Figs/3x2_subskel.pdf create mode 100644 Figs/Lshape.pdf create mode 100644 Figs/Lshape_label.pdf create mode 100644 Figs/bethe.pdf create mode 100644 Figs/boundary_circuit.pdf create mode 100644 Figs/boundary_circuit_label.pdf create mode 100644 Figs/boundary_circuit_naked.pdf create mode 100644 Figs/circuit.pdf create mode 100644 Figs/comb.pdf create mode 100644 Figs/enclosed_example.pdf create mode 100644 Figs/enclosed_example_auxiliary_cover.pdf create mode 100644 Figs/enclosed_example_cover.pdf create mode 100644 Figs/enclosed_example_directed.pdf create mode 100644 Figs/enclosed_example_monomer_auxiliary_cover.pdf create mode 100644 Figs/enclosed_example_monomer_cover.pdf create mode 100644 Figs/etareplace_cross.pdf create mode 100644 Figs/etareplace_empty.pdf create mode 100644 Figs/etareplace_occupied.pdf create mode 100644 Figs/etareplace_r.pdf create mode 100644 Figs/even_example.pdf create mode 100644 Figs/even_example_auxcover.pdf create mode 100644 Figs/even_example_auxiliary.pdf create mode 100644 Figs/even_example_cover.pdf create mode 100644 Figs/even_example_label.pdf create mode 100644 Figs/even_example_label_pre.pdf create mode 100644 Figs/even_example_monomer.pdf create mode 100644 Figs/extended_dimer.pdf create mode 100644 Figs/extended_dimer_triangle.pdf create mode 100644 Figs/minimal_circuit.pdf create mode 100644 Figs/noncoverable.pdf create mode 100644 Figs/oddrepl_aft.pdf create mode 100644 Figs/oddrepl_bef.pdf create mode 100644 Figs/simple_example.pdf create mode 100644 Figs/simple_example_auxiliary.pdf create mode 100644 Figs/simple_example_labels.pdf create mode 100644 Figs/simple_example_monomers.pdf create mode 100644 Figs/triangle_3.pdf create mode 100644 Figs/triangle_3_Xcover1.pdf create mode 100644 Figs/triangle_3_Xcover3.pdf create mode 100644 Figs/triangle_3_cover1.pdf create mode 100644 Figs/triangle_3_cover3.pdf create mode 100644 Figs/triangle_3_pre.pdf create mode 100644 Figs/triangle_4.pdf create mode 100644 Figs/triangle_4_pre.pdf create mode 100644 Figs/triangle_5.pdf create mode 100644 Figs/triangle_5_directed.pdf create mode 100644 Figs/triangle_5_pre.pdf create mode 100644 Figs/triangle_groups_l.pdf create mode 100644 Figs/triangle_groups_lr.pdf create mode 100644 Figs/triangle_groups_r.pdf create mode 100644 Giuliani_Jauslin_Lieb_2015.tex create mode 100644 README create mode 100644 bibliography.BBlog.tex create mode 100644 header.sty create mode 100644 iansecs.sty create mode 100644 kiss.cls create mode 100644 toolbox.sty diff --git a/BBlog.sty b/BBlog.sty new file mode 100644 index 0000000..5448d80 --- /dev/null +++ b/BBlog.sty @@ -0,0 +1,46 @@ +%% +%% BBlog bibliography related commands +%% + +%% length used to display the bibliography +\newlength{\rw} +\setlength{\rw}{1.75cm} + +%% read header +\IfFileExists{header.BBlog.tex}{\input{header.BBlog}}{} + +%% cite a reference +\def\cite#1{% +\ref{cite#1}% +%% add entry to citelist after checking it has not already been added +\ifcsname if#1cited\endcsname% +\expandafter\if\csname if#1cited\endcsname% +\else% +\csname if#1citedtrue\endcsname% +\immediate\write\@auxout{\noexpand\BBlogcite{#1}}% +\fi% +\else% +\expandafter\newif\csname if#1cited\endcsname% +\csname if#1citedtrue\endcsname% +\immediate\write\@auxout{\noexpand\BBlogcite{#1}}% +\fi% +} +%% an empty definition for the aux file +\def\BBlogcite#1{} + +%% an entry +\long\def\BBlogentry#1#2#3{ + \hrefanchor + \outdef{cite#1}{#2} + \parbox[t]{\rw}{[\cite{#1}]}\parbox[t]{\colw}{#3}\par + \bigskip +} + +%% display the bibliography +\long\def\BBlography{ + \newlength{\colw} + \setlength{\colw}{\textwidth} + \addtolength{\colw}{-\rw} + \IfFileExists{bibliography.BBlog.tex}{ + \input{bibliography.BBlog}}{{\tt error: missing BBlog bibliography file}} +} diff --git a/Figs/3x2_skel.pdf b/Figs/3x2_skel.pdf new file mode 100644 index 0000000000000000000000000000000000000000..bb4c7cd867f01223e5863723491e7adbb05ca007 GIT binary patch literal 1783 zcma)7do+}37$1@NFikR1#HS2H%zWQxX3Qv*88$*pwk+Wc^BK3fm>G;pqUfe_DYPbW zDkNPOB@xT0RjD@J5NVe>o7=h-s@+lA(>d*)_C4<(&-FZ)_x(K&!JFl31Cyu#;a;2K z2|xoOP#6*ktXc(-Jx~Ep8V=H782oeqvTH=N6cvMH*JzFuWuc)$E($n00urehbKpf4k^+q5=YSlOPI`=}=nTw0ZpD>_s&7LymCnbbJgHPm#v%3kgL#4$k6yBBBLzB{=U+B{P@Oq}8iNceF@wolp< z_k81DZsNH0Jm{LorjF??j|Tb}Isxql7|)HPHjf^*?ketUO-M?K?o#Vd^D;~2yh)G0 z|EzoGyoVKqYx;o#Nn&9#$>Yjl;A#)i8p(LxqZ4LARHR~a#TN_ZPjbZU^v0$?OeQhI z$0{aD=l+Vx!{J(95Uq}7K3@=Z$IIHOuyDRRk=2A|X0Nj_>*zVU{1jny`?B>~5zP8m z9Yuw8+-8Aq&^He%18QRo#_wtj?;-Fka3ao& zQ{_f}C#w{4v{(01S#HDoUeP|jRRTgA2=6Euin^P0_$@Uzw^k=c-t4BWo?(`Fc- z!5W5OTzQCFV39HQMAl+=TI_JqbkMOku}|w>FNX`&HPrpsn_lf{ER9M_+5K3aXr|tm ztJbK{3jDJim)5RwYNhWxd2DY|5vbAa7O+3^!ijWqX=)ceeTqkvHRb%2-Bj;wX3$EM zDpF0g6{;;`r84%__BxIC_I23Ak@acu>Ovb+02Od&QKO`05C=nFK+jt&_7kwz48 z!+cRcB|<3>38q;BWTp~oQlV0#6n|zTgaVclkRXv|k3cXLhG1I+fhiEhUuoeftP zSIiNKP_7cuoM;IOkiC6f{79~`(a|9sfnX-SZ+L_RRNhZ{Sc4l;u|ydTv?ak5n94wC zR2zgu`<&m$tU!;5I24>o#1f1WairlAlmo`i`q4-T3AUUW8nboVeNnb=f(Ql4>q8

HjY*Fv? zG`^muB9m|RcKV!Ka?r*R*~>fqMvH^I4Tz zz}lN<4VUS_^%t(|T{`)^weD2?h5TW!8(o6Vxv|YDEh9hpgc~^A^6b(mmQ_hu{z2y# znrJ&Pf)7*?1obAC)~+L}kFPoelVgHi4EJ`JCo{S#@h)xGYPK?MFBYg~guZc@8q^x! zX&yiJ;Ii+aolbFo(&bcX=g}HV)A{e=!h(`=r;$WS)Cq@bFOQs;ORrn2ZgT#Yp9Fu^ zQa?5t29VtZTvP@IKp>0+0^|)5TTmqhkT-z=Fo=M#QpOevr65D;&YrOj6M`RqR8|4K6bU1BLvgEG`=xE`6WWy!4U`1v4`f1qk5McgxHvNi9;) zcgsmENp(q0&QD3@va{nVE-6Y)%;l=MwKm+b=(YjRp4Xy(8Z1;)gRXGb`2B7nbj z!tCltZ4Z`jP5XXc_T}TgcrV?_o9El-&AHqO#03`r3Ypp!pVbp%lR7^+#yC=?@RXC!-9v`ATDR1%a1?4fShDepR-@tG znPC=D$zLt6?ljrB;n}O;IN{d^*cR`ZQ|ohjmBZxqJN3HUgqB+znZVz-G14=fsft7R z_=jxiVU zx~DI!eq8f z&e@*lCz9|u$+qAnS0ayq+Tx~=69Ib_XO|J5@eT2xWK3N`U20??A~4K``;YS z^Xo};KWww3q}M>6W3r@^R*J?{hqw;%cVxyDTf6 z?*8m^I4?7glh?C)&x?hJgI81+DF!&V&rP?i(!Lx0KKlL9fbZ`1nr$Bn5@zMBGOM`K z;%PmBOLFN9&yTKJ8_$V`Hfrz~bg+j$zPP1V^U6P||G&Q){Xfb-_5aEE;(V^uycB2> z1+qZN+t2_hod*=#d11JiX$K2QcI4C7|z=eYn= zzk-H~m63s=siA?Pv5~Q{sfj@pP=#-P3U0}eqQruN)D&R$Nz5ru<?#GH%(7GkkV7;T zvI`PRGKy0Z70RIc%=C=(3^hSH6zXqtByWdQ7NjcZ`zK`um*jHk`ze@%vUgE&iGr~u zJntJB8xWoMeftmQ9WoGbdH=8LCzFizQ31|EhA6%jK~ukoJ$=xYE5dnnVy@PY-|IXZ zUw3*?rLY_jq{i%B!9R4^^W^%vs(F=%iBZV zne#4tQ@_2nS*F-;Oc7PW@%xkKv)UT5@;cAVhW8%1;T|m z@3D=73<^BV8_S(MPI|qu=TX(&aba$QcuB-91IeU?Ha}8>3j=fQ{1!1!#SD+)lEk8t UiXvbL7#f?HaH*=g`nz!f0CaR8|4K6bU1BLvgEG`=xE`6WWy!4U`1yf@q1qk5McgxHvNi9;) zcgsmENp(q0&QD3@va{nVE-6Y)%;l=M)f(nKX^sKU-D0kI263|+xqb$(L;4ItC( zO$}WqpYh@H<|Qj5O%%4SIe&R_0_XliLid(Eon39U&f7!r__k@kfBm!k%iDf5x?-lU zcg**&L;F7j9e;e_<8PkJnR~bTc56gb33gLT#)av?B`k~s4XBlZ-F3NH{XOuj!Khp*KCMy$y5PQBAw2a60RR?L|b+FJT--2raC zSaWAb6QjTKB^mDL4>p|_e)@&uuGw7Gwr)Nh#(iyZHbH#c6L&v-XAmSOA%9qUR($aO z!(T41%gSCjZN|LY7dzs=%-S=3sp5LSs82zH{vS_g#6MrVI{4>`PiB8WS56v9%Aih6yXY2X>W$Pi9%F0>~kn3fTpTB^kx3i3(*y+yV8sIg+Rp;mzjEW0e zqNg;^)(c#s)%QkMtN#2h%_*m&=H0C|j!tNFpTf#>X0oH&Ri*YwDV>Qkg;b5QuVgL# za{Rl?h4<^!mu|01k+M8=s%~kC>&5xb?tuy64}1HXZ~x$))yiR3eImE6I!bkd!tF;B z(yqU5X*ckea8mYaZ5~?ejdO=4f%S+|*EN=H0yu=0<*Jda?5V z9H)AR&+eD4e@R)b`Zil^^Y{IilXkt;x!H4R{b9pJnv<^g{;}R!`o?cx_~%o9`{bV+ zg$rUyMur&S84;A4#-;C>my%kc5N)7fXcWt(ADmg03S@EVhbu%IDi|pk0>y&z^Gg&g zf!c#Ws?+inz)2FsaZ!l2ad9?qHFR_`HgI+`b}=$AadCArbTKh@c6Bv2H8M1DwNoIh z1ZWAg^fWPnMxp}Y(v$btMnMJz9_EeZLLMjQP02Z4^1!K_DegjIW~$KSaPYVy863u0RX^)Qmp_0 literal 0 HcmV?d00001 diff --git a/Figs/Lshape_label.pdf b/Figs/Lshape_label.pdf new file mode 100644 index 0000000000000000000000000000000000000000..fe692bf5e2cdf4b945d68bc62858a36ea31f266e GIT binary patch literal 11372 zcma)?1CSlBN$#@7zamtBRwk^*R?`b9-9q%*v(HW<|cnNFAeP<4Zv-v zos}mEgp)H=F%;h2b=0v7!I?tv;`T{Vgs&sdrd;wLKjpb4?;>STzklZj)afQ5kNGl7 zb88o)|FpsrX3QW?VPU_eoMRmzx_zc3h3j3>T`vSV&McO(R<6PyWNzM`uJljM-jL2A zQHPZ>K`UfB@njarq6(3D{|!mM1Q})D(AZbj@CemIE-T=c-LdOuFg)4nz}Ot?3f>S* zLO!U+Zu`5^n$AJ324+Y5*Z}dQwLg<;m-}VWb;eaCMZgzb20 zbR%$Y&=x*HTUln%7Q*j`1iUg@1xCyAD~5>sRqe2S!k%H7;^dKqCI6|VhK=ZQ7g?c2 zKd%khSXzqDhAF6>-UBxgE&OZyaxU=XSWk=Jagc{n!S7KA0h4 zUc(q^p*Hs;)HxQ5dY{pe5(~`>7I?&ndM9Jla~>@;0_31`UWHl0j_oO-9S58!YE=C$ z)W-Pi-cg}0^Vyrur5@LBc(2>mJP4jXYnMzT*kT?-=%wa-^yCGfz!Z<^&EN9*`rJw` zrhn4ksEY7U2@Xm4%2rr}x2rE!g?$-%Q|;wx07f(JT%0bV?cLXh#hs8FXjq%-kV71; zN%_X$`1u9(nNrAYnC+JZ98uCP1VJ4*`zNQO4nBYAH#r%$W5h(Y4rArkDG``0?@mNT zBx3i8O~Y#Rcign$uu#Y}P19;=q7Cwi4urVF2=3LGDOqivcUX~*_5x^ z=a&I{xc$Skf83B(_1RiJ(D?XDqPuCgi|EkZrw>SHhh1P|7z@B;hPNn|RI7JBymTwU z8cUdJR{eYzX;#JxAh?c+H9CUpFHvgia|*ibG6qfy3Qp7pf%5@r`Jf1X&z(IA7^cgsw- zDv|k3p+PtD$uhfPin|wa56eW78+EP9Sd!>%W+lL_h>g)y== z{8zX5YyHz{7#RLr%V7X8FtfA#y8$r**f?0({_QaV=>Kg3*g4o3|9?AEWCOTjf)+Zf zBvc=Oe3Ra>AC_Qla}$6I3Jc3b4+}S!10Vp1|8@!S^9d*jC~$NkryzjCf8)NsANsC- z^s-oLJHD_OUR~x`=B0*RbLVDshQbaZ1c}-MzV{RMwa04HMMMNc+5z`{0j8#YlSP5O zV}sRY2moy6LbaTDgN+anER}FcZecm07yJ5vD)H#@*8m}YsG?9)!+-$43IJlg!3ksX z_}wgIN^oWU(M!U7gf@Vw?V(igi5Gf*IyFyrC-FOLzynl;g;U;TIAw>x{Q}n1`+c#N z$i+g&H=~-C=yUM;&|m~!KUAQd?Zi;VloFz+$H&8$*9J4ueH~*Cb|BmZzf-J9fOsJ~Kbt5mCO#R@au$cK6KTo_+gpeV$}7z)A{Bro!(; z?LaGcox4FR^{ztNJuPG`$S2m0Xm@0em-t06adRGVd%I6t*9mj0$X&Eu$S>GLy0(q3 zq}70}$%1X|e0$`se6~MFg<=uc+YO#~-_MORccJK7wzq?LP^?Y9(*rVtsj`7_&W?cP zV!yc#;6XmH9ei?p1ObTRs=`1}cA$bCR=BT!l9!+D0zd5hy!%~XK|VBpR`I`cA;kcd z@Elwr>>OKPLIdZ;;KcxSe>;9Og9G{dI?HOH%s}h`1%iHQeZmK=d>d_R@gkkUF@tZK zA;5xtetp(6cE=~u+2n^A%Y$3qJseUc8idD zHbcE!Gp;Sobg#ceYofOBfRNv*G`kExR7dfAqXE5d_xA#ST&t&ra4ib@TzsRoVv0i< zdOQPv^GSTljD2VKd8@p3hkkft%Rl(^ezmNAzkKsqTcDFq9AEoz&AR7YLGXjxu|eE? z!?E~%ury#Ha+L&+f4eKmF1h#vKwW%39U^31L`v8Oq_M;5oIWIIymukGi(w%Gg&KZd z&1_G@#2jCle+|2^sW(lz$OOM<5`VV4r|aDHzC5zQxQJNw`BFC zQX#(pBwGGcIPl=-bHwpEnTqPt?%p2)J|nu49;#Qs%siPY?#U;!hv4cLp8+VPIRdjr z(hwAxp0@B&ZgXxli;Wd;F%Hgw0w)Z)s*!NbaRF6B=ZIQ}!Te7Tgi_oeG>2TOWq|!e zy4ze88P%U@Z>y7My%`L;gyR01Cge$`8YS!vB5bTJ zio0=Zi$fK))C%xZmw??@fxu;l)vXmHuicsqbec8+8;#9I`9#A!1{fKYVJ=&%6z4}H z9!$-%Jv^*a3C#-l1~hFqyX3Nw`WjS83&&C~^yr6d*6cXClN?WUVyUOS0@{#oulglS zt~LJ%vHMzTOzip;$)w3nryxF?62sERhiUs%&*T|S(r&m4Mo(NdqbGl*6jW&ECD6eD z?IQg??OI03Du_Z{n%_0u5pA{6WjgdXaiyubrPBECAZi<@r`=@Zj@@cN!h{?x`LGjo zdgH3HbUTEtnc@@n>bH{#T{+R^$t8|#9^L%*gm~JddQ0YhQyt`Vj~hFXS2sh8`^z@n zZd8XSJ?-Nq^LgaUIZD*XztmvkiGZB`FyEQaS1|YOFZ%Jr2PHr44iT_7X#~u&o0jkG zTN3kJ@5gzcAzAz&KcEk|4N*p}`$@YAJC0bwTd_BocI8P|%o$P?Mk!)&d4oI@<*f;) z3&VayMCRK7DoSzfGfbluQ3>2p=J zs9GZ`%he+Mhu^SSG_kCZ$(Sh(V3E6L8=Q6?_F$$a$IOsrtR(E2C?B}n zll+9#I%{>VHif3`5;E26t%0C~1Nywo+U2 z#WymwS2dhC%Q8wwjQeb)!lA@(AR;f{g|o6tA-KppGe z-rv*X80$(TR0PjOutxh4hGrnFa2$Krlc$dpf)uR|PyXm(PfnpDXQMD_*r*0=3=-*$ zOm59-i`S80ZrPhu1vSjL%&eZ$;#*#h74ceu)zw}edzfin@IDWAWG!10vVnx4xX5&8 z$UGx|hJrgA_WWMub~6MWrOEba3NJ_Tf5=kMnQM4Ny~tz1#;A9BaPi+Anqj6y)jL*l z1(i@r`gwPx6Ncm zh1do+BN-z}%teGrpqq!8ym7E5+h{jpKn(Y-=)osir82Q@Q|cdKo;Cj-jvww$qtVIM z_;Kbly8XxpniN{mf{C_({)i5Qyg`%U;;?zCKfepsRlR0=rE*|(6fQkeV)81VHjIRq zKzN%6V=p1Z!*ZyR$C3~rlA^Sb%T^J}r~tn(Zo6WD{~)fk!7fs{CS=F5@o07F>shIa zi5bQ_9Wu}pXj7xPG`YqU|2T@(bSl7{pSt@fyR@V!TZ45I6vrHi5cVVU>&Vw4USyFL z(sge0lqz47{!1AMccQgMlREt@( z_?`&*#qn-Hvy{J8K%5#vSZ&C|o=650{mgdcXjza`N_m{F3_qoo-Dl0= z!lNx|H2KT{fkBV}XNTi4C_PhvgPAAOeuxkMd}-52!N}A+hD)rtBWw904Ce>#LBwop ziLrdIboBelFBf^-PUa@B6Mxtr>iMs>%6|mt@{m&Kwjk~?x@UQBJ*r=C=(yAgS)1L? zBh&+JLf;`GIN4D{CyrlXDm{PeoGI?}UQ02~yKPEWj;L`$E|R@t)*IzQe;Aph7VDv= z;pYzLeGA;jr`c+v!Y5mw4Mb7Y0Y1xy4+_Fvmj~dGW)yiu?sEWdj$_2~?|T^ZB_Y;1 zG3^eH_jkIAG!0H4xpxvx&y8^>GEN1M_+^rGxvF-OSDsX zs_ez<)D8XK+(he*^3`KZ!>Nr^Y$F0TCwJ}c(g&?|)m`k*W<)CVw-_Hm95EQDgbwY; zUugxO-X4&tfz=W9tqHEWQ(_nb;{uwx44fw4z@YQlV^U+-Ij@STu z_N}-`ix&U(Cu}a`te^EdO8y3?6=!=@+1Ec8`2v3O-PpJ$Y2O>3`!zQ+y%HsV>NZ!) z)S8fg)*X7NZI5-0H2)m_kk2xZVqd}Fi%OFwCE|*ht-Qy`l8riU2Z}QxqQL1W!n^{t zoeEe+wUa9FdYH)mg!K-ORkwo|8j<#-lNl(KnR+k;%CuP&p&$+9PSNRDp^{T=VD-Y& z_b$4m!6?AVk~;g|@0wMLT&Y0X1REtn))xg{HOM{9FORG@GGZE&%bz-tK`Bz(q0gQeA-8{k;k$PSMH6&cG(gknfDw z&eCA8U;V6SPlC7jhKGR4AltK&Gy|*eU{acK>y*Gsc0*Q2c_yW;J9BJHPf6`)r2Ku_Ml=M>O{Q8S<7fR zcY`6D%lU>Ly0f-~Z9#3t>X*cy{sZk7LM0$v;-xZ{H^`?IQP`rEzg*(#c{Tb4mWXPp zZ(Z5UUl!8D=wXUzA*GqGz+m8H3xPJYrJUQmsGyS6!||TL$4~7V=MK#Lxw2*j+!-ET zAaB6N6ysTp-}^9GTxjXJT`<70CoQYZn4ccn(tW?uLfdp-OVC@)Q|)sYS``>4Jtn zv`3*@p|R8)TN-3#`#$!dxKMYf_Y;Y=jm1p0sypfw46pK)T;z$(LY_4lb^V*Q?2TRX z$|y}nI123{mMDhOGzW>hIO3nK5Rs_Llp2;yXvVh9>EnX771&Nvxr5%llu&o@xMIV6M=k0%jKzXMTm3>b^=8}AJ=W_$Vc z=-aO!J9`TZwexbHjQz=BZz&3f=Ioct%0@aC>z>>{6#^>@f9Ldku%!OSBzWuxr)mhfmr1ecJ(8Qp0HqD1lz5MH?$EJsg;lFwS;ERS0wuI z!S=^D&7C2q!%)9-+Los2bskY38!EPU+6>cCpljrwO?D0Bls_hcYu_a7HzhF@DH(5S zzm=V@4*G|Y;qf|5jPxJ8<}c#`y#r}9!_(%nW}Cn+-yiL#qA!?Ka)Ci?pq|i_SVqB> zl-%h#hby}tQ+pJW2vfaqRp#l9N3PSerW&>mFUgZd$DQ0CW@mQgs_mYR$xN#5!8-F4 ztIwX?1beB_kSBGG4ZYNWnVnTHc%#JRlrV2;$C=v`$Vssi?PH=saTNwuNmEKp4??aZ z1Zs0FpWj&*XKQ-YfjhO|Al1U1R5p#XJ<0TYR-I4;AdlMPr({Tuc$J*kziM0D*8Uz9 z8j+{?{8GDQZn?Q52)jPS*qW4={2l|={dFV4(gO0eaVM|M*n^sG(ciToFc6#il-KfO zQ`22%f5UuiPs2ZMjgBFg@xrtE>T<}#f>ONMD^(xZBQ-_@S+GRRP4@jmeOT{)kDhf|p$62Cj| zaNXxZTaPtZ%yg)Y@f5Cajb0-()z$D15K*6Y#8Q>vM0x7omgcHs5|^(;7K0iMq{Kb} z!!DriCDyp2(kMF%&(`%SZ;W*2JULV|@4G`?vtkwRrRO)|&ns*Ib~0al0aVE|v(Rg~ zhjZRM)6us{vi656?lYna9=GI_cXQ=9{_-^aBH>KehDj?!Bq} zoOYG-&6*Wv2KZAf>kD;=NrAcpk*TzdJyv(P9QH4}^tzpB*w=FTDLiqMTLPAzyG%Md z>bwzly{iGU`#0yxvSTUR9X#4KsvK4THm^JS$vmqSDO^9-?AsyT=aW_cdB1=FJ-t!f zD7sg%(y^Nt>Ij)ZRK~uD?au=u$HCVZxn(S^&Eey#^FV>*DMHGjVdy6}5=^2Ls%D|( zWX*y3z#$kek&P z4njomv#_xPzv_&qIPVRnpWPMTNCW6nj43D=6|BJ_!=G3S=VpUe{#<4_XFyWMtz%M_ z%Gf$s#kIyKQEeX3sog9lw=6ntoPP#hz0{rSy}rIGwApXdzak|(fch#x$*I4s(?n93 z{UU?6BN8iTi7YyfYmRU2Y@SXckZ2FOE8G8~$mYf5gT1mR)T-;#W+eE<=AaR1CJlx7WRucv+_UsQR1C4RSWuzqGVjSc$I zdzr9xbd6P$PRybFwB59r2HDFv%@Bx46D`T+@Hac2okbm5{ZAo@yooXvr!__R#9@f2 z;8Tsl2N9RTVwC4mHWr)Pt8>ieN&m9JaSklp-@;o{^d~2x>6^d%H5%K4Y?%u2cDmT;HLd|5WPMk_!XHZfyMrYi9AYle& z4p7~!I+JKOg?xq=us`ND9iIo!5(?7=!+Y_4zf1#q_&YnwUN)Z_hP{z&jNR^_oZAjR z&ST<&m89e7RA^~Vu6fi$>%LdBb%$RBsS6mdjK3oYKb*oZcI(92J{=QwB!m11ecYFa zndMDBZel>Sf>(!VGP&FL- z-aZqMP1T%JpSk2Q+5p^IgoxQy;Kao5Rr^nUwX&hjMazu%MP#H<_8(U7K6naggDVWP zskgm)65k&4A8CP7p>pW(Pt@-o(#AUybQgE^H1KmJ$)V-DXvAr-BVq8!+aR}oP|Eg( zVJQ)rVK|Mb+xI&_K+(vEpS9JiDl5DFU*{#TECQ5MzPc=UW20{QAe~N^C%(T^eX=o`~-n_+0k+hYY2L)>So5RGh{ zhX@LMo?CPizAJ85<)l-5!A!f0`}>U}6tstD4uJ%pKFzd@WUzb6Y$}F@ zZ*$*}N2(wLWfgbs|LIV?VsPbcR3F>trO878A`3ON=ZC1i@Th@wiLzUy;#3+!@`&TT zer_SqZzdPb^!;K?@v-nhnKUOyyT$P5C3@c;&bSx&z3-R@8p7=}J=v z_GBc*3ZdS>FCr@ed_CkHn?2pzeMyO)o>s%`hGa~2Lj>SIlC*j%g*3?J-e*5 z28nW2)C!$%3MFIV-vVex=#$i3LGeXrqBuI`;^uqnRI2D`#s3 zXn7TJO@jtYWHhFDLKt{9aFlsCIw&U);Z;Mr+cR#i|-Rka;DY{U0KIu0Wqzp=_&UqqznsJlkxSuODi2IwOLvBlXjx=@uW(315F zj+*{pnA~SF+M-UCJ2l3vD8GESC4VT>aJeLo?)A+}c^) z-`6kMv@s~r*UC`Z$=oE_aav@4FLXj&xrnj&sdk}sB6Q%%$V~F`Hpp9-8s1;M)3QOy zgwzgvoo6UwtBqytKN{`Uh6G#9ndzj(2oY9U8M6FJE1L9V)<+d? z&CFpvB}l7K!*Hc1rn9Fl7;b9x!4o+Vr=!$$y)t?FX2vHjB=W#;v;||UTxd^HA-D1h z_FRt84NJ1^h+UGMD@kamMCT`1VPo{HvG(J4qV>*wC-meTFUWRBl^qkXy-g1Y1EIcVPXH^PM!aG_u-viv<^FWN=3R04%NtL=M(#RR*vCNfD_4OO1- z7b;K>98l+29_Rocgz?l`8LfM>ku3567Xccm4MLt!m2ldW#KePoNuu&buWDrmep(x| zXxb;N12$pMq9+#)T~U3(tWo{Z;D|bY~*?@=W_PLS%&4o`~SWr)AH~?Eh+8 zTJld>^@6{TOxIcD_A_I8!z~qMj401*5HB2}AS&~*V2MLW3|haasHV<)78O3XO5tnS zH#MjJbgPB{Imt2Nb|k55Cs5C*+tO{AhPPfUZ%7wGEGV4f;?*o}g$o2mo&_=HqtiWR z)SumeDwbelHsQH0q7V)DjyuN5%B7LE6GSeH%JMM8s+i=4tn3>*WtE&7hCb0S52-~m$VAC9l86PQxL|R)I(1ROUiU5V(kR1$~2(y6;! zqXj`P0jo1PNe8B{MHRD8kaYV|>`uo)NQATt^^plW?It41D#nF(2PXUZUU&uhk&3q| zN>_^wtISu6Iy;;W*PGLS67rci+hb9w__<=%v6~uJx`Gl(hYB;YY=Sl@W8j4zD(zg= zn_TA`z%*6C$MrV{<0zIpWgwHADS0tz*j0uSv>%3f}e@ zx=M{*VLP(MkWZUTiI%;?h&%AyhBm5N>X|Go_cP@7nJN8kAFBoaV&ihBT)s;2q?2;) z9uZmohvo)dO*WJdWEs%VZj;|`gdNmsWJXdq3h&-kUX??$QT??$ z_PXbH35CLE3`-=gHk>CkjX@&gg!Xa3h4@LC;SA552>#{x?F(#_<0= zsc5ffYinfq7beuRbTERUlT{Q^r4@CuwA9zLw*Du-qN$k!;P3gLbx;G8jqDx%rUNk1 zGB7i+a4@p6&@j@n{=2^as0tuy=4=G`rw|H&g{_{Wse_Ro!1-VIvC=ZqGEn@(EB*^T zV*f9Xt>|WJ1fY}AH&<}9f}xZCOFjNWJK8%q0$BeqaKy~Y@}ImB;D1LUz2vnl*7*@V zm#bHXllCg4b&`6(EL(p|q$66!H$m}e9yEIHi0@rpaDI1r$eU)M-2r;1uBIj~tzmhE zV+H~IhL~W8FFyl5ruknGg%uDZ3PFkxA$bjBgb6|rc-Yt1T$c6omXkc2gYG0f$s!Op_R!U zKSKI=)t@`vLmldnXwLmwY-m$cj4F%p!ryu=3-4v8lVEIA?!0_Bxs>L$BkfMN`9s5Z z*i5y{^d|-`+KgHimMBe_SJH3gnCFJEh~a*3W5HVZ*HB{XMR$z(6HZZXu=L;|X&*_q zx|{4{hZQ`SWOviULyr~Sm*;7yU@wYC>82#_4$z)-CX`DD(}lXA5SjUG3Da69so;D2 zJ3AIN$~=r+ZAtiX-P-Led@iV(F##N$#Ow2{P0&8PRZE0bcflq!mW#g_n*OYfxkXNdmfm9%V={L})$LHyvd24U)9k$B|M1qZ{5Sci${QKO z(EYMDG;#%K&;uA)wP5HJ%-oIsS}=4f01XBJBY@%Wn7oaRBY@#A$_9}CC*0WPFYxv+ zM;M^N&Cbp)$R;fMSL6&VEbM|TqJknK>}g+H1YDac7BMi=$SDNM6N4YxTq?0z00&KhGvZ- i_{f27|M#_VaMZJRbhZDx8Vn5dtgJ93BqB1RF#iY7-Nvi{ literal 0 HcmV?d00001 diff --git a/Figs/bethe.pdf b/Figs/bethe.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7a02d88645484c57d9a09a1bbcdda307b4fde88e GIT binary patch literal 3573 zcma)LSKF&H9y<)g?xi)9!@7=yB}BiS+|V;jqiJ$pAxzLp|MB(e@Eg_^O8 zgqXpf?eR!ub%eIFNw>D4ZCE z^9}+LtJ1G^xTR<}elQ?`YgnR=HcT zkGaUp1*m_V*q)g!>WH5M?*{eI-Nq0*qw!Wfz|Y;L?M;FRdgoP~;0|evA;W6>;mM*N z*?s7lZ5H{nJ#-6nto!xyy4n*aNn*O6)fYp%D9C0>HO@0i=r6L@S&Mz2_kUTH;HPY4 zml^3L%uLRgmR_y9p9|mF5JX5Nyq}VJE4WCB29N3!?ujqOehWaDbx+uwl;XNN-7f9f z;wgT$x-bk|FT;>Zz0o`-QMo~F^We`iAI^CcuZS6)5B7AYH?#QW))}&=`&6r_24a>0 zJv+fv!PSquF|V|9-yV+s_`al_UueChU#C63(POw4|4f*@IXkY5JZnM z0&?ybrJo5q%XN?5?X%o`1*GZhFLPR0SmnOc?lrFk=NuTuRqag`8hKICe5J0~`G-$l zq@HWHyF9Vt4Gk4%Aa;V9HF;P`vM6n+|7GgKgZWN_*RV6zg)r4Op%oQ`V^Wma^_nw< zZb_{Wg3agzE(nP~`J$wZJUHo)y8a_3qan4v>KP+^{g4x{178}b+fk_Yr~){CexXWW zh1_K$HCrruOPwv5QVNq}9WZqFnljdPWriOpP(F+W$=P{DcN-O*dcaj6R}r3S(yUe- z)RF%wy!^GAhuo2!R=xhvNbtmLdr4}bXXpm$%hA~%@ECpEX>rKf*hx#w4`vgelK*(_gEr}@ z>D>=YN{a}i*VvfHEq}H?^3_&utlQx8tKhY#c?L&k5RBY02sp9h?$G@gun}$U7hA0& zvi08iF>k5apR=Cy>c=ti!k~OXSA@#4?%yPr-<2}W(A9V$jQzw*JGPWXvB0ShEM*p$ zxyZtqypLB!+bU*3ev`6X zVId}a=WCdA63psv^)zf8J)32g)IH>enkess2cPC-Hqs+m4yaIiN&T zf(erC-xS9UsA$p~ZQ>D+ADnCo8NnO?q!u=BXZ0(%vCXW0VtQQ5vGZQnxR&IED^yb| z2%S;sTyTwi9xbERbS|U@iRWY&o7Z}jui>n4gKjy>6Q6Sc6nM$_d^%@lyI1C+N##qu z>iPBP*G)P3wVkex>8j2^ov84jQ-j#Wa#LqjxdPS3Ydoq7oCBD}D)Is{pm|MkHs_&e zI#tUpi^(BJIxynilwYly*M2Ow!{f_DcN?x&i@hwh4MJ?(z1870YDykGT)HCXCI99X z{?NAZ?i=#=+-L2kORwSzqM$skFuZBPgc2X=^!=!UM~(Tg+$PvlYkrL*x;bL*%|2nHswekL5;vaG^O@2UL`{j9KXbU_V)WrG-?eo{r(iJF|0Q;Nt^n}41(mTOliq@K5-zoJuHe@9e$UDMd zpRCz<8p~X0VZARB`@Zkf3S!t{JUpRD*sFBSU79p_Bk5_ur@N?#E6tZ1e0=njYi37i zQV*0KTQ8nW%k){y_I29L$UUDPbKIEH^tL9mWm>z}hk_2R7KkcrdgG<2sN=Z*oV)a( z^GK0v-n@(a8B{Cd;UDeX31MIPZt1(!95GX{oBk$?^GPWqr#g$QY%VaAt(V z?r~{_mYm9S(L}W&IDDLW%Hq1ryHj{7r@l!KC>}cujaURX^I&4L0Ti3|>Q>+&IfVYb+Ew74N_0li;yExUM zkgV=Lvv;7cUyS**I}$s_lYJ!~g}PWv&9?9*xG!9;MpcbE?k~a8m}4JAVoyCMM`zNj zC8Uvo4%89vMq7S+e~T6Vmy#(ntDGxyNe?$Ww<6d1*JGoYH>14VsfiEGZp2*;Q5R?s=;@yab`?>cxfoNWTvJY;H{{gdYZI3rULV-3tXu~(g#yZ&mi z6;1xfD>(_q&n_fk6ors63e9v)NY;XwK9SC(9bK}@JvWGMiBECsOmYgz|H80*#9#Gf zOOuN)<#vg4i^;wYNA6X-L((RQGoN*ZBbZJ+X%jnGZ9TK&r#*}fATEn8*~~ipXxNhi ztu02h&)au}i|=hQilBjuRy4}np4Bto;o8s}OJ8W|HaU?m)936&tweJc!Vg?gT?nk< z@+8Lws8kJcbGYgNE~Kr4B68T|UQ6cf8v(*IWeO*9J9&>H@6|?Bw#`ji_PjT>`H;bD z7?4+s>jk+uECL<-%^8A2LB~s*DEa zkb3FOjvMJ$Paw^&Qx|3j@ZT_X+ZPrwI)}ALAMZ)CJP##Nm6UnvhmH-{oSGL)qC#pD z{}`+9xR*oKcrIAe|0i(ow9$NiGF4U0T<--XnF=2^q(!_G*%(G@C)@iI9+xUz4}xqA z#@kz5mq}M{%00AQL0w*sFVnKVgl%@~oFn8W^xZbE>$S+S5}#5~0GDk<3U|$&=8A+K z{NQ^B)S2DfK<^@&(MYpP>1Q22G~ZFF-m(&X>9DAlf4a{vHDqHjDY&qXzsp$G+)v(n zas>R$e*|oFBHMCpY(V+MCZC3dXViClNl1d;s?EMeTMmCE9Iw6wCVJDuPXNimSpM)m za@Yfvv_h(+z%Q>#L%CiXN^<X9RNC*zQ$Ftsn;W!Y~ z*3lFLL6ZUl&wB?4|H|*^hYtt#=09|(0?xRw@V#_^1_Z7N*FvfzwA9ogh=1z)OBG;= zkH7)HgeU<4A>Ks4aGW;~@%tPCq7H#8{X*v7_tyTGYdc1V-~g!2d4C6D5D01wX#e8v zuy7)vf&4!hSJ(Lmiv#~1#;vl4gS%lush{IBqLZcig|4LPFde{7ca;~#mc6=#O^rjb zH#6EV(ko6u1EM1~Zca&_C_E3poLm%uJtv@fjRt$Be(Au2bD7Kb&w55q<#;yB%W5}d zkM}1QZ}7?Tfz}w(Abtv8DUtDMdd}7g^DHa=rW7kGpi5$8>r-x}OC6S@(xVv4JtJhc zfDX&djT?Eq_IgfjZP4#{=&T&9pHf+omT{rwbG6w-9Y>hoND3jlx?czPwsdB_kx5Iy~Bu6VS6ReP}fF+ L^+$}XA^DRKKoEt5D2ot~H6Uq#u*L+F$SNSK7E*SrEQ0Lr z3N#cIp@?Bq5CK^PDXoYi7*te51RB)7({uXX>6|eJKMW+6&8=lqEKob-zr((e{@&8!EGC}d}zrmbq`fwQ*dNQ?04`RFM8?~ zPeNYuKF9iIl;~HaorAPpOUbeK68ut{;e@ahmqXFWtaFH~=WZ@c)*qi%s|Y-AD%hOYo{=+;U(vYaV!t8uBK(1fx4lF$a-?iT{n87?N}%zG??A8k z7M`M3{zmZ~F+`u#Jf9B&R2aU3^K)6C}Q&c8wRy>5VDYxv2d1 z0!(ixpNe7!cT~xuM?HY_4W?ZC zpD%8_-0(R6Kw9{Pk2?txlkVQIm}g;UPy3IlCZ$ft889c0$1?HgMh~-8&BXfKG}F^u zclhOw>^Hc#M=EzVWhPxquDsJ3L%BN19WW2<5AI6R=^irm)VYlG$dtbd~8 zYgdHSs*1=1(ULih^bNPTm;<62ygoSx`};k*x7B8b9p;C-LdeNy{B`Z@zG8DG!cHkq zmwS|=qqTz+zJG9X=S1G1`m?xeh&&d3TE*h#L+_T2h)Q=ufoVxR1^-*Jc#O!>nASc{UQ#J-QqgtUI;5wkV;Lu;;5hiv)JH!PlAxPOtuOcB(bpBy0>8O zd4GU1Ci>F--l@l`7-!4lhf0-%Pe!7 zc1^cETpRMVBqzZ-U)Ph7{=qoNzxyW{N3$li{7Y%+RHMSO!1IkML?vAp?q$FYD6FcU zr8a7eK=JoaE>`k3FH{jI`keQjQ%lSr-sJDEpR!=Ttl-yQ=nFo6cGJqEGX?`Fy`FlW zrR&`3rr?pq8LN7g@D4HK1U0th8FfWL|Xg#z*k<0&n=ULsH84yvn;P zl1-vzY0cNl+hq%O52IgdjrDJW<*<)OJJ=S$r+m5v5?RTzJUwy@5y4{5HFxDm*I6NB zZw5{H&P?$8`Y@@TS4dN^o3Er13%yqv1&f-JffB0ZofW$z`@LbGA46{2Gx>{t`1m2v z+{v=1S?20Nu5|_Bq@s2P$JX5|*bT*kdrw~;f`?mFEfP6APAWo)Ftdfqab4lg+fE7SO|?J3q1}n1OE4>D~lQ)P74rH zKb6j=0Z5Xoji(XuD4p&{WiZy`y9S4_L1F)j!w__*vDm_JAjSy7LdIrjoG}7zg!>EM z7gV4_NCXXB2cidtg;P1fY#J4e_;wCwgf@co*45=(-X?!b+ci3z1|psOLJx8d14u{E zWL=tAYz~Mq`;Ts+G3c+d1^&Bk9mr~BB%@>r^Q-AgNn6z%_NKG;_fM1DE}k>F+p6WA zqDT!W)?Zn^iXVGdm)l{^43v@&&>bd`W)%yA5*07*citP8D!&8q*~6^Wj02Q*)> zU!311ARCUZWfna>>LI93Ii}K!QB|mq?`$cGRh#3#_p7xKd=!uS(Ifu9yd~%#MfG%{ z1p-K0MgT1e^hSXY`VfFT7!pGh&H$tb=na8r5E8DrFqs_COnBU7-8+y8etDPc1_AW8 zAXwR$+F&twG|JS*j0oWgR@P>a2@y?%FlY#e!&rjjXw2l<@?W49;cgcSDsNKonnN{49oxIqrL9+@gyyX(=X~S77(%xuVz%ee7$RH zS(tId7?iWn3CKUb{zLBUYtGEZ7_A+)OKRvnRLj3*$F5Ff?RNMM;r)=lQ?PC6qIUbm z#-S{?+&4*IeV_8Ky8EeUffJWNuz4Ix7MiC(cZeg%c=KFkwaqyF(qJyurW@&JV`^< z`E0l~^IcpL!6@LBwW1==DX@l+lF^natp!6BRY6mc!#wx?b_S6~tahOfYgpp-&S`;S z(~#8C*c*)f6=CHA6gBlrkVcZ85_H0#xiyd!#H{D+(Wsd%7)7fz=7AIY5d1*G3t%L% zNjeOBXI)aO4B`m@fU1|rx@#j-`T%mXLCJ*fVIX5`=0DHXd|w|Yq&bHidR{>+M5LpX zKck_47@&u@iSY`E#_>o{@I2v34XtHo$Ks13Y$ABI2vaheZ?R5dBG}m>F@Y)dh9dH8 zV&DVzMTK+R(;&UUj}Pq*3FWCqgm{`KE!1hC%Zf5!hk}~v^K^j*lo%mFQE!x@7p+_6 z45f?Zun$}$wl5LV==zs)e07zb@UZs~Lk@LKA3`NuL42IIPKRffNyCF;S5=RdMIA)^+bd3&;soAuZy|yyRrwNeK~_hD_iT zMz`5dNYeo&YgduD2Sf(h(T$iSmAgzBhd@Pa6OE^Tq#OlC&Ge{6DDNX4?BYT^w-}qg zSDA9M#l*W}wT}{qei6D2$L?Pq21ySdvFX0Pf|7;$dfN5)7|^Bz-X?6o>ui(fpz>?C zsn%UYrl+oBYnKM=iuTN>#k4$LI^F*0>T6Ru{hO}#q014Y z;i31ahfhVTmpD^rp$#e{d(5opQk#7E`VB%@YcVke@!;+tg%QNClYv`v=A_I)%b){# zMJfRdAOceEh<-&tB9&vtC1Qu97-FO+Ar5g{Hjt~jR+2yr0Yasy?jntDpoW1jL^5%8 z&r#}mWsv?Nq6@pBqEP^dkI`gOAzCBuX4(=e2(=k8p9*Y`>HtbQ$uMc9h#(rg->}gq zr-{JC>*%*+@?a7iwCEiH+k_z}x1CBag}W*c42ZQnra%;;gigLEDp)ddZVavQDgddA z+>1>;>Qsw?lmjcyBE9%np&-T$zGJ<=03D|V&lK-82ffj*O++i&uY8K97jIc1JGD6O z*2<(s+k~zq99U&bcqf`n`f|w&kYqB0fS@qgI#6tV!M8rVFO2AuYr-b|2m$+SDARaY zu&Ilnl{?rW?~r;tns?wRp$UuJ3miScfhMg!7#aQGXx1F#^AC83S%tz(yu2QhY;v4c z=XJ=@GYZhKJbflOA#E^FO3p?YLK23{^GseGFcr*FI$yIRrWqH;DRUOCSq-CdNrBnC zjhSX!xdje=tMZ(6GTI`SQ%D8pTjo-p>+&k`lua6Yqe)@}HC>n4iygUktA1qwG0e0%u-Q5&N2`E6vHfVof|VD z?Wy`1Pn7p&o!?BEz5TyzREV*yNdLH^s8TLL$Idp{J3V`LebpKau`;OL2Dd8q+58@Z zewmmi$n{!r#886D9Pn6sOfSWon@DWKws#2c+^J6#OA=-U;dy zf5?eer1)zSA@oMH)D=OB={%*$@l&9|AiZ2Qft0C{tZ|lYNIKW+T!(7}5}OrRHmq&a zK91TV#lj<-clZek(F(o>V8fdi&s~ZlxX_3dGcPh1r8+dzg)b{4b(g>LX1l6x*9^4D$=()&}LCEh00#7jSUs%W0O7}u?2M8U0MTAFqYjw#Kn zjR!fZKG}8FbAz($Iks*rYxgp3+&5rNqO!ljI4$59m4hoAmLM++uuM_Qc=NK#D0y+} zg+Z3XGUB?&waPr9=afTg;##zST8f(J>YkIFXE@u{E@Zj2Z4FMu{FjcO?OLTWy)Wj< zv1<6{SS}X?oac7&aIN^HWkHY);n>IZ6cItV?!^UI5HMO;@W>PuD{MVLA!_}ZMf_+T$AETo)p7fD!WI6&ZRy!i1>I{ zsf5u)#(s^m9QF&)bG@`#LeNzyq?uf*UMG?Dc3CY5t3-mhRb8$+98(bIo-*f~h8$zg z+56i_=(}VYZu^8bam~j3_7#NY4x>0l;Tc03S_srv;CdN9nvv8=Rcav)?MUc*|J zv1S+rSuEoP#r0E>;?Qi}vPq@sRwcElii_IYh^r#Y!7V+$TgCuRAnJg&7s1fy+l|Ar z=1xqc({k$M_NH7eN#5VHCb-TMLAOlL6IxnHH&>OP5m$8wW-;z@j-C2jtfJ{an<+`$ zs!I*u814_Sj0MuRt7A-4l7~$%j?3ObXt4vy(Uj&J@r>k4P{RPt4$}%TZ>zD0?Vd44 zkz5VRp!Ycqv7bO1Y_xs zUA2o%DaRC5iGPndCk3y!RMPk;H&~8891_o=kL6Ok1oWi-z9|HW>eKj(>`F?&I`Z#|#y)k$L6`9dzx zUQ@yeoiW$MYQJ!SV5{T&A<>~d_}q$2?=&}qO8(mN&?b<0V;qz#?I!4@54Tp#1;e)R z9y+iA6u^Ya;UCh=o<~PSz^s~M1C(jJJL(1(6ytW|Ab&M|ju#fjSRHf0 zHj_swHYNbE2isN7zoN!hM2ctP9?wWfBraaL;eM`-ZkLs5m@eL^@xF(>~_&! z+BVzk8na97d*k}J>DWLztCJp$qToR#z3gxGBBvw%1T)_yT)qBR4xQyi+-D=AN7b_X zv{Mb=uwZ@{ZRhHNmF&Z%-ENh3W!*frKQSeDz3X4dUSOSXIC9%w2gH%59~i%bS5FqU zZ+jqml1FFm9B~SkaQuIwgLh;wSq>uMb>N;N|s1e#}~=(@9O< zPs3J|+bFZ1=w(vKFZfyg%$uFx=^b9;T68tvXxV%DU;P!oVZ`ujr=U&kO#Z7V_-Fm6 zpkQSD-zp160!CIw&i}46m{PeKZEAtt2MozG{HNNY?An!nq7>VAp+(ZBduu3~k5ZaBE~ zc*aBn$MwbI^k&ztO~Qul1KB@9hM=%G4}1mq_yBkM_z^hjr00Krv#Ot0-Ag3Awj=^bg@YzN|jzC>}yT*n< z;K!{?0)vnp|4@T87a@Ypp+EtAe0)7@b$LDZ)6> zI0%9Ry@NupKh?K(KX@SE8G#$L7wr-<(C~-*9R$|xm6#tEAMOq;{f^fG9(4EP>+Qtk zPJrH<9b@rk=h%M=y{ww3l)kk0sdV4p<^JBTI{<(u$OnM$LBIz*W|G{VivFotd`^ zx+2u8`KeSDUFD$(!kI*Tm&Yc|kwVa~?Sca}Jb4VK^>-N9(FPCg?d7t|N!Xcz4mdGn z`6=|)pyf^rFCBOYO!6=9h0l7}QRfR>Yg_x#WAr054ETj(cM$%?a0np@i2(3g74@#Y z(I){1cpBP8K%n;udkO*|*g2kWBKbIgev%&nKZ2kD0f2G5D3RBdbW9`-_57>pb_tHkGDerte5jcb{-~>u9Dd z=u~t7%iF3m{DfN|tIZy;XS4VOBoZ3{lkV0sAn4b2HCZ;% z$C+X#XmdZnYk;*fXh~mGPQBYcZR~lf%s=C4Vl^?Oa8MdsLvY~Ek|=O zMbW=%sg6yS1Llda9ZQp@4XMFaEJ zqdF)?y>2mHkJwSy;(7$&oS0YPG_!1Tq>%jP%zq+X2fQs@2tBa8A_UeBoAoirL)`I{ zAAE0!*kxq?+;L%kbabCuw6hsQ7flw{CRDd^rj-Xku-h(Cl zYQ51!znX|=jzlw3XJSWRz@*s(&x-ZcT9{P2%-%X`ey=Zlo{^2SX7I{W*M|eBX7DFp z-2hEMh>{czC97qcv*hvhedwbPC0 z_nY~w@=qxYHbtpie8FajO5G%hIrF5Pf%PqM;!3({Df0Iw1@ymduw#VBJI;b#8Uq%x zrSLrr_LzaK&p14<5pE#4C+r^2K5K|gh_(BHlZVx-YG?ehw>9dbSmGjrsYDeo5Yg%1 zQ0v+Zq1a*XVeXgi$uggOIj&gnRKI@ZOxH(46(p&+m$&?%B+lA%zC~GeCl_-TR0#9_ zcg@yj2@7{pcCS`LEeMnE@8{>R8H7^S8On*tyi7Qi zdz<2B_FQtJzOE!-g8CNn#R$geR1z?+tw{ZrQ?h~%uJp6)ffp{qU`65yF7;ffBBED= zDzh2*U|W-0%-mdP532En2oI^Lwt}{T_TUY$mCj44pXY_}s_aEy8*XzdK9!9}LEUI2<)ocMefF(9dO=fy*sU`b@xZBo~$8(|#X&BO8BMGzZ3 zs`PPc^A_WUxp&(71JUvZ(dS$12U*NwHR#H724>;EJ-S`?`;tWZ%ojzgS>W-oqWZ83 zhDsIiGxhfk9Aq16Z#^99*d;Ot&raSYZ#g|_{r*GLjI=L9jSS{q)aHzK`s{XZgI%j5 zb4jWh+rUpIOx$o$GsY+SQ}MXY2&h#|#n_Ie}D^D#e!N8%a}8QDd*&WTKz_=Na)N#q}Le%wBKa3Tbvv zT^_A5Tl56VKZheb5huL66Wl?&KIT#(qE&`ayT;&&2Zl-!^R^8+JiFZV`iwXo$%}~C zjAdTC$YBo9#n~d#U!w=&^ejt#V2q;O)?x4@z%GkJy`NF8V%)#Pof+b$(<3{z<-M11 zzlk;R?2IkK##>UwWGz?Chq~HuLDV2D|k1|-l7X)OEmZbT%F!OZu3|^CoOazxRBf4rrHY5_0rQh;6z{7m)nZGb%R#czuPA# zsV*z2XTq-+KBD0)2vWu{)7O5&{I}W!cQh2NOhwJrrjz`W@|Ui7+_}tgBBRL)tOV|5k~U89^S=ybwfOfitW_SQSMSJ@u2t2%*@;3| z9Gsj{^4p1$ebm2aeU`J|VSZPyaW%gwk{pEIRWmG4`*bU~_TrLSav=nPW#m5g*H4w4 ztM#Jco<5~1Q@$q=2gF>BcpIf&Y;<E=pZ2*n)6F}%Qc^jN;hym;vJCp%tgE%Ao)bUMpMRKKv^f2j5da3l^{^d0`h5Itpgyhx(kq1l=Ut*`0m zL(%K#U7|8mR*i||3jw(-MN>4SnR3x1iekCXc`@Qv>&5=zCRLn$^W}oVs&E;Ki(^JF zbj4DQp{aXr8vVZZeR%?MG6L(HqB7S`Ht~1d&Wh#Rci3lAnVB|X9P>Kz&JI7s$5PU|6Q^&S{!~~6`e|g%Ea#Y=kErHJGwyU}1+Afr ze${A^Zkq6$#b|S&T*RafmZtfcI(n|U&xVb3C6+9UNz4W zR}G_l#^_eCQdF0u8~V32y{*{}tX{Gsv&DU7{A=$Z2+pD!v-m?R#kBN^)yD&C*Nw~JNU;6XJufK%%FAEw>q*bRt?zxk~{TR)4=D4S#fgDZ~Hht{l8M$=Q^_#R_2 z)H2eGG$+@}n0!6b=6pqr3QAVChP02(_;}}rh~_38P4&9BZD159e}3NGpD!7n{Z_?p zNSnc>bMXNaRv~hd1nDux*jbdMp<0+qKuAYmh93Pv$>i@^>wc{;n&wco3-be#!j$E% zMV@a*pmt6>Mpv{>>EW$@0WH82W96v-p?M-*IvN(1$WpC|jw7M;er64gTDV}0)`a|B z+uiB(RCyS%s4V6Q@9TWc$4nQwe7f|zrRd)k=(qXsWst&cokXffUG!E1ZR`5)YtSJD zbTCIv6L3!sSL-3xsSZZnGJEa_LZeZ(PiyI@l?*bIMl)yOM`H%2uIbYj+&6?M4d%DNM8gC&IRZqWL6mfGC;bl|b zIVc7-VBy@Pt2)yM`a44vbn>d~;+8 z6Y1{fys#--uTY{qEa<$V(k?(gVugxLe8`$!{8)iP#?+~!e?kzSI=O5hT-gaGt_P%O zu0N=Fo(`?3^Pci6HpNGLxtEztJKAl+HQMZwuC#Tmnh<%XA@i2RuTm!Doa&RA$31sHHX(p4F7nYl{Q;7TkwqN~ znnf}4A(@299Ado?VdO+5@}$nmpPw!EK7UE8MEw;8v`;*KF;5HbLT8re6Y41f zNo{6Q-AkK?L9k*QOK7c8_>|y+Gq7>ycX{2O?d+7Mukmk5d*3QjxzR_O=!a22u+)fR zWAixg@vH<+*OIAl-ze?% z<=~kmU4E0_R222K^S0Y7p|=S|V_+MiqJF{cn8YiV^|^zE1BqBWjI>%aaRV~If6%MJ zfb%J~8&j5PZ7OCrH+Gw_!m8V|I`x&gwsN0Ak{;%ARl0bSuv}Z#ng*e=o!1xK1e>O< zcqUgJdRo172+xmN24VRnHTirGLaz`^PUZ$k7mr?I_T1L?rI%5kL{Io~2;IS)Ac)e8 zv59J&k~Z>j=Q>99EWwuHzQig`79CF*eCWZoWO@gzj(@CvG9RnGKSl4f+rH$q%;i|m zC1DCg_9;~TbS1;X?=X-L&sPs=hm}YYM&R2%p!A-S?XTN5QdZ+w+;8L~Gh_RjzQ9xV z4;PZ*O=S90yCTrFcue_F5`Une6zrD1#ua7H(ljEV5s05jRr4S(@JcV*Y~`J)|5yaLo^SWtnZnQ)KAhFGn-gLPgN!-?#(v^)T(eW$k!Z8?%c1 z(+@jge=Jr*ej|f%`d4gYCUwz8tV5r}JP+;gG1+;9BsPP2?_s{A!VgEH2dIOkFw#Ep z$ND`)QfReXia!QyXNwyLxz_GtJxOe7VHxPE_s`pAC;7L2I*vBTlni}1TlW;dO;Jya z%x7qC$?Hou+TaqkqHS=g^*3x`)ES-ZU>Y^O$^YTprL zE5H2W7)Le79?v^i>&lx{_KUt=2_mIBBYwkdAU{jhJ;1{Efr6a_`bgkD z+L5iGQN3KkU?IhDIoneMWyu_9@TM3~@dNb(ZpDW4#2JZ-7L^K4BumwF?~NBg^kMs? zl}c}+|E1lx<-mTe-USTYmeeOBbN>`f?(8XiXyT786g-+{CV~|dhQOJ;=lV-{Mx#Sv z%B-D~e)PH7Bb#O1Q{kT)uV@5|WzvcSZHT}%x$V{@P@onxYbb2SB9`$^G3gfRClOPx z!xIkQ(wM;4z{@}Lh;MPryl`RP3pJ+QSYt0Z)pFLu%%}NRL2y%2QL%D&(VfotunHVB zPx!L8v!cB|L3VA9dYM+Nyo9*w0^gdhamGQ&l`oJwH#@w(ZZxz1P;4=TbF_9azfqas z%GW$jQVq0Fv%xMga5H3HSsH!yMmv~l`V3$K8>-?szc=1y7c-w>-w_g5S|<~p(GMB@ zsqhgrQGPm(0dg)%7Y7c5`TpV$>tst|!c_=Afg$!gt4j6R_qcyArucrq9w?Zk#*Z5} z7T+(MDZ*RWw|<_M5uH+%E~3w7-~o4tV%p%@a`4PFMXp;?OcC8@$Djsw9nsITNz=6j zl9B)91tHFXKz+3GDPJIuqe6mrr1;ohf3DG%+okY3*1!+%QIBFW9KHE~-cP_Y(bJCdV$kNW{L%_T!qBFXT zog2Sc$yl|wXL1?1m`qh8`PGpVwUEcFuaR7Lz-6pi*~c|&rJJ;ZjuhPqdGQ{Aqn$dn z%Dj;E*5|mgtG#hwQfyo9h)?!TPh||T{gP;o%u+-@?>gd zGnfm~3*C029|k_o&%+3RI~`H+qUg@3>t2%ukBCyWvj-UPAg+mti|b-Boi6;FHG)5^ z`<$?b!b`AQv5%)1lxT~^z`fEzjX<hZEISaPS#_lax;0ykC%VfPBgSD zUT8*E4>kQ96U$*%%w`{H9aQ>T632Gp7~JqiJWi)9G}_#0>_+iRX&WXf%xWq)(YX4n za$ioaic49)OZa>Pl$;TgnZxJzDAj+Qt%0|0%JU{>woAxz8zM%~2DzC2dT^o#(lRa{ zCls@^rL6zGssJ(ZvhgwbwR*MBw#|N#b!rUEd1|n7V#SbIh+#^G`zyp6GIkhi^pEq_d?1DvT?Pnu{ns%#Vkc4`Q8!4kG?`>LR3;2a z|0`!7((h{@Z+x}OKL?Fgw=T7ki&cRs-BWVRqy#%Hlm%ej<)+)35l!%KmJ?(6qnCw3 zdLlR!OTaWte7^A-tvc0n%WbY1W#mlFm=;wjYhtwAVR8M!t4mAiE$Fi|?&4Fl*& zp1>Jvn2qoj3*p@xI3TW19!518bqq6<=^r#P--mDzU7_vAkVrH+2@L=zK-m7ETOn*;DeUppUi|1YUqN8E-*y)=&vq&tT!COw{SnURRoZ6MW z%l`;DwVmsr;mj8XU6L3{Dn>BB?;1&yCgL>v6=k{CpuxtT@i>zXKBt$_!*i)nwKHbZ z#ILt}qRI$NPd?5q0wUM*2tC`|py9vLDLs*g7L6JXD?_E0BJv9$>-aj*PC5o%5^@!M zSTQmUhx7Eaxn$CaUoMP;2?scsu%Z}|IbRlCg3ms7t-Kbffl{e3BTA3igUi-xOE|<} zo0Kt=6|d3~D@YogS;U5ed`J=fP@GQ^t9IRI=!))WWpv(_(!5t(Y!0^?q?FH+&by;U z*Xt&@9b+v>Q<^nIuL4>n%qn~Y`WkpI)T%Kr&u{iK5yv6y zOXMm!yd7#Zak`> zi>Ylr$?l69kt|ms)XpfXZvuyL{PIljI~8Xf=1Yy7TDJ5|97g=F$-BgB!HXU*X^C@o ztJLXD$>r$*cu+GpozzhlbQV|F0+>XF%^h2rvG8?NUmhSB@Fa_tJksZq zE)j21%gV|x-MMun3jf%N-9H76sBFLu`O{6;-PEHXTD$_qvGU-cY#cs?Qe~ObeYc65 zn2Kp5wFYmKORF&>sF9m_hV+=Q>e5P&=o*{zbpXs%$}*-7P5l4>d0)`L0lJjvjtsq3 z_qK+Yw{!>lY8{2NDE)dt@_q1OR(MkIKzbCPkKD%8Dbsk=%2Pb5x~5hk6U=Ugrh0!4 zc#T`y+llQ2dLn=)6siIrpErJy!Qk0}O1EEpT9p3qc$Yj&r2`$dw+*cjbh9S}`&en8OKyNMwb>YiwC-1PZ&0zn zLmyc~l=U?lU_tJTiZfLULQd$+c+AT*J*oNR9;q#n6(!iueSsuN-&#$vm zcsa`m~yC;Ruz^j`T7|Xa4;%uQoij#$oKMz!2-EZJO-Z{>r z#lr>!lfipcdX-VYzbPZnmZZg$4eG-3%S*JS%9)+pA6lm2SD==l0|w-WHV&Nm0a~Sw z+sop}FLZ*8{t8+{vBR6ETZ3h2k}~pfFSBclU|>6W&3i>GprxjnqE1HNkdLM3B%q94 zZ|%5zNtl)zriwcsYfnux*{s2D%GO~Ew95el^4Rn=JCmmD_-M5uA=4~#slqvR2x2bN zz2;i~WPufI!U}Y&dDF%q71`eWmpFWQhvIp~wcgI`xp&9H3pJOK%~Y}hEhZ1AiK4f( zoOz7DF=S-6uOa%aqbVFw>58XhB~Qj$7Gun)Qup8FY&KH`o~wx@@_1$(zmyzjL+w_k zO5@Qxv@~(kL=6S@i9eay_?H8ZiD$|U_DvL6j@cMC9FS}3n$g63#wtO{wS77%FFd01 zkXa2{oB_(}K2_^$NSLTL9@yxS&A;Xld|rEK6#7{Sdbd>Qa{|aQy79c=Bc64U|Pvl(|t7?K|*XvMDma230OcL-!5St)7dig|R z%$V^Yw+|B=JPw{NbdhHpfk#GF=gds!=Ov8y*W4;_$3OSYQRry)V>KgjA+d3yr(K)^ zVv>oWex}|PG!?D9(sj%veW8XG@w7#>cR-uJ4iG#b?mFC=C&o*!h@ldFx~eb?<&HJg z8?$*$DPNqa{OEPEBdc;bX2&l!x(IWyEzSK$oHaJ|Ps1fCkxDGFK-e9Owb-vKQ8-=K z*)B}#n(HvSW+~N9Hy3vI$nHYH_i+sEvyw`Jwo*K5x|W#wl$224`Cg=QNoS1AI~=yY zk=vJcO1d3VFln%D0QF9*c!*|en+DRO%PWaNX_0TFPL3<`bT$pka7QJc%E*X)sl0Y8 z&y=tNn?LqiCPkanv`!*yj8l|;y~=0}T9J5!GA|&`QoQ!ttLr$B5#!J5e_IF(C=jyq z5IQGq=R@Fb|3Wq!>tAEnsR=}12;ivCVlG70?rl`# zTUjR|=Y~X2F;#HHdRN;#tW=DxQ|?g0GmD)8TNFW8DNH^!2yw&GYblMH>HPau_XjR) zTBQkTrow?hb5ot_Yty1bKCdvZb*hli-juAkr&0~;<_F;9#&-38AWpITFT^PYCwmiD z<9`Ya3I`K26;q9W$_*9!o|eE$jZRU zz{$wK#L2>{_0L1r-sJy#P{qm6!NJtzpVGt7#@Q5_UO`1vgHFuV#>U9d&h9_+t5{e% z6Z|{>Ck`3{HB%?&f71~#(=oCzvT`!9vC=ZpvHdr`|AC4?#?sA{;6Fep39KCqT`ZhU z4GG-->pnI*COSsS|Aq7mu)lh=+jkq~5Pk=AgZM7X$vhEjyj{@#6V#0b@ zk;$6h7e%SY!c~1R=xL(QO{57l5)uWI0)ix;Pds6m1f>E}K@ng`BcC9cB~hW*11C6& z@OOE-3@G2{CDg4RJBh<~Q;yb+!DJD2Ahpw0-}0e`A>i7=__2yxkPc$c-=mBDsnPZsRHo9QiPVxnZKh+^vKWkDcbDq-Q3PXleai@O2;?d9xl$$12P)Kd}V>L zu(RX8R8s3Ra7+{H%9kEOg8nMW&p$7-%ieIujo$o(e^#4HcX<>Ts_|I3#zC==pwTt` z$J$PLCBk`Z0{k2Nn0K|||FC*k|F<;KP%<@xrkAucG4&wOW*}f>(}kv2w)8UnXF=1e z6KFFMFcC2R>r=9~cOhW>M?@r0`j5MrJpto?mg0XJA_UqzA{-3D48p7|LQHI&LJX`d zOzc9OEDQ`nY|I=&A{=Zid<6e@mw&VTm&l5h{l9Ye|3~r~8yLLK4EFYc4o(V80uROr zO!kiU&H#$mFk{VvEZ_*tOb^EZb!!3XzvmnXK?=uw!2w>Vpkx1gaGYHXom@Pe{)K~) QnU(pU1dLQvUJUyG0WPvpcmMzZ literal 0 HcmV?d00001 diff --git a/Figs/boundary_circuit_naked.pdf b/Figs/boundary_circuit_naked.pdf new file mode 100644 index 0000000000000000000000000000000000000000..9e8b7faaceda1831145782ac238627d8e4f56454 GIT binary patch literal 13128 zcma)@V~{3Ym#)k1vTf@r+wQXMr)-;Dw!3Vj%Qm}gv&*)5`knc{I1@2*VopY8#9n)^ zjQh?VYe%dfS5hd7NiYBy+2JT=7KT>fIEa~v?TxMA`1s(MWPx_(E*8WrtQ_3L|8c=F zNm$yr0G)`LBy5aafMP%sds85sfB>Acixbeu7S3bsK)a(}ujSjtl}4>>i8XL=GyZPdb?4+_*33uTN@RYYJyX%81-+>4@B+bu!v? z5p*Q3@7%V78n^MgUtg44HmQ`9XM+P)_{jAG~Bj$?JU4mtGmjC{o*6jN|; zO#e8xPgRY0*1AOu2B>^LfSpr+3S*@d6|n>D3L1~mBEVaXV_)hSaNvOaX^Rq?K(bu; zEG8`}{qn}d!29(O2&PPi7{jC`H7nsS-5@Co#FGUL9jbh%y>H^~4I$S}rKQ@Fr#s5l z*JKqN*&WE}AXdktC|pLoj8Ni%?#WKIC%5!Xq@|EE&(D&Df_?IZBXr0dCA4s2p(N;; z2MM4()x1*|5Ie>?)GD^Vh8Z62t(9K%0`@Mo{=*! zGj^P^hp}bP84I{oKv{%+*}F37y&#+YvpSNc=Hg-mM9FWq?o_Nlnlk5qYHq|iu01XXTjz{S^%Xpnc=?KS z$)YgS3wKl(2Fans6sb!IEiEIrQ?VdO>`moKuvUTBT~<&Q*-O*mK!URU3364sB5)p? z&jIgOZjOOW7n*M-(f(+98h74S{eu?;82yRA9SAUn0Cwe_^ywJqVWc=!cl~T~i{>)i z0t{Cd5H2UMTPkrI`MPTh^nuRf^U;{4u+5e2r*85-7RPdL&LB?zXdfeZIvnb1$XQ>i zpMXWJQyl)m57(a|!4v1XNhz{}DJyF{_t&CX8Ll^flo2Yz)UY%LneTV)QEE+|fF#D} zf@qdbpr{NAcB(6&xx2Ex!RBdgiDp`lOs*~jah%#20;6QN%wad&FNr=|I2F@`d-7gy zJK(pQcuM&~H)vsUen~=gmBaAbR8t@}HH@*ORK3K#D7WNQNf)$O9Y-|&u~_k0hsveg z(6He2o?(Elvbv6Us5iwlj!MI<8|`}16k=aEf_O9EnxQZg18MKXDfTJeytagQC7}H5 z+i0VGm<0nKS4L)p>U?+K7!?-1y?~Ah*g?t{{?y}5BFIXZG{^lbe5W? z7y&=2jHA*hwnhui1<+xRtKy*XMOTB0SIcFWRdp*}1L>0Bfo~$D$_$Am*lsDb*UG>UzvGYpy}yo)OGH;%=TnxmMa)+6kQcbO z{k^*_qx*o~d{;|Ou+_>C+GOnq#|%F127BHsTHG6W1PhlX&g}jRTBL4mI-zV~`ULg~ zSW~&oqCh*{xm2dLp^5H(LF4G$OMNrwgYEcQATEw-kwoBPN?7@p!n#`#J;7n!265k- zoy{9p)6L}FJ##SKC}{QDWK)9{`*JNPLsJr@q_n9kLX&UW+-fIp+LRmAcr$^v%#n~e zuHJU&b(52PtcM-pH-^vE;DKkm`OU|n`>BMXb~4RHA&yJqUx;!otlF^_D~o-j&oyWA zx4UJF3Yq4Ddv#;@5xK9{EuYP?+639BZ6qeguGw}9DaTjuFXI|@-D7w>LgW-G+fNqJ zQi`_&M=d=cWUw1HpoAaq=yD}dKA&3e&sZPJxdLBz7gxDqB~i%tKKr&A#Wu$yulT7% zK`G`|SM%(N`s^P#^(4|>4|j~KlnwFh8ueKDDK>R?GOk}{;Op9=g+H3+C`=|(+wx~K z*VrTB?{FVvnX+aYfcQyMI)`#a(&)R7GCnCZ%E(d47Cj*OJnFn*1Bp zQ}kMGMI+y=wU4D-FrnLR=u1kzLFYm$;CyI3|Hdn$G$3DrM z&*9!3Oe+X0VLro3+8h&7n>7BhZSI9Zy^Xc@C-pFCP^KN1Yjs)V<60E~6Hn#Hf1y}P z0lhgQr;MMx9OCK+7Ayb!9W0!*{kysuSEMYUhMD$9$cD9D}25Yz#t9@(R(k{*XzAks73?co7k2gPu8>q8zRUAAS zo~@vxv_&Z(CCWv8?OF7S5;>nR-4faz>`MezmeluK?5SPj7gqB_6{Dn18kuf>lA*tv zc=hb*)8DWq&2${17x8X9|1CJx&z8eWQdgS0#X0EAHMozDi;w4v{&`N#$Eyb{0HWX* z^bP8yDICzw^k2Qy-_bvP7y$6!8ZrPefE~d7@Aiy^n2VJg@b8F~nEBsBVs177^Z#$( z7SjZ&imr{tAuBE8ji*qb<_H9Q0Ayf>m^eQXHOPgGghp>JpG_*QF)?WF=Fda- zQ_Ppa+1pYTyYpki-nqvk4ki?VFCn)#r%r7m9zq}Z?g1J!wZ&=RGl-85Sf`KA`wBfh z6fy+*J7@HyF+`}h$cEwWmr))F^g1yivpC*haCQkELf#=HWB>#Rv5{kZI2RF7KyIAE zxk0F%gJVEJ4Cf$W-YC4Hb8sMkofi7W#>Wn_B-P*m`xg(`$^{n)F#v#a*|P!aRAb0B zI0XeY(6_#NFPr_L7%g=kPVu%7dprR z>^P9W&%wTyf5*KKgaJ?EI(N*YP74G|9(h`@wL25Me*_8Wawo-KIb+KK@7drI3kA!&Im!#l;D?E}xXK9Wlq1$_mW zd-sUmZ6m_=cL=jzJBO!mp(K2D{zs)Sfx#DqYnRaPtXfzka@R6czwM z>Om#~xz98uMGDLNLM$`^f8mY!x>gI}ZUr6uG<};X@duuNaDuLU=_4Zc`j5;xc^fid z_kP+ZX5PWxtn&K=e&&{crj36Q4fspG^d!9dqbc78iF_$Hd=-CvmD%c&DE9PxBa}J| z@z4a3YYAfy`1n;0c%GiK3c4WCulcG}6JOz@55k{7c~!t8$&o=esO>_8Fgm&qWAJwv z*w%px>FwpQ%ZcBfh6^|{V*4ue)@0yK3o9MC3rzGc??uYI+tv^WTy0zZ(g*mF7zKR8 zx7!Q*VBUw8hCv4LS`qiIy)qz&0`WAm3x~$)74;Mbf#&3TyowOu0{u$92l*0)01<-z z4IcLe`b-4E$@JUxl_Q5~lHlOG#@ypA&*U+Gr;PE{=Gh3|H+16uS zya~SvX?m$_0ew96Mh7t`z|*5+8G~>bFScUhsPdY%jZ<_J;ya$givK9%%r?|H`?67| zh4h?l7h-3f%uMEr)ld!|)fo}pM$+4iWR&=T32_I3#~F$R`f1Qw^t)0F#qz*+bOoy1 z=l)WS)hAJd)m?}EiPTHClvaHmdn;Jo72&r!Fmccl>vzXAgZH#;ylZbaWfqkT<(Yy{QrsNFZ}Ho5N@Tg;sA;rM zbMI_Z=?kX&4&?QANp?05rptnk#RqV`tvbVwc!e_C>_Pt6EPM=RO0yTokgGdL*v?g` zS6Ud0#RS0rbZZ$9_G`PCC>!tNPB9aJ zD~+ik-g9U1WnqgIAfBRDoj|yjXw769R*8O$-io`jzf+M{(+<(rUMCWslDanruCeF1-bx^cM-9nr`nWLV?=Jsc7-gUCn_}qk)RSJJt<1hA0O9tE(5aP4QN#0aScj}yLP)iReuKhC z=6+PKXB78P0pZvwvR1uD53cC5^?DQ2N&=xdD*Z^EsU1@Ri&hg7JMKqoVPfeLXX|hC zTLaP4^lbc9!)Ly_K75dBW`C-cb%=Q6NNLd!%378QyB|flH8OQ0Vw>Dz?A6$>zZV&1 z7EEQIf;FC?!)Eu>nb#nnrHUk<)IdUtZPMv*#dXP_Sfy8|&OZMdxWAE8PRTiJq9gAi zCmSoC;FXI{*T4YkjC9$4VW|hL@QJ2cc6>R)at(zb>XPuBYw7w=wSpEqt zMf=>KhC4J2cMSJ<#h8FsM8X0xP^yX_l=S#lh;?ncNX)SJFz-|MM43;%JWmW%s$aiKhU>kNDymHE z(@XwWB6sbnz=E8HlZ!bU2DEwqt5&cnCPDZwHe}Wd{rZQ@GbO#f1Kq>1`1uu$5EK9!9JR2f!j8QhdUS7Ccy;6F5I63r)=yg;b0@#FGcBtT`#ofr1$ zgQd}2wQ z>e1`6-<2jcU_C2Z$%KkS5H~-Qg` z128-dH8Puf(U}A63^?sx2D?^9W)s!Yx4<4uS$Gj6r%jFwCgTX4kuj=Rit!vxx&(h2 z9Yc8wTu86mPP9F0AHvDugcQQBnX{VIix0nd-**%cBH%tIrQj{tc~5f)OZ5H}_M}hPs94q7T9e!GyOmgQ} z6`{iV1^vfps(8gD74a1|SMW+#6Lg05PwEd9i{2mi3O<_OJs(RdD(h1|m}CaKRiwVv zQ`prbZ8w*1aarmuPD0pNp@Cj+1u3$3UUau63Ir`+xz{7ISY7(NU!>TweWGd!D{1~| zHy!Wi{CY$=N^yN9l(5&IvqGKuqoIJ=m@R$;>z~7woq!+K-3jHOQy+b<7~U#NqEln| zzz0vOgmc}77M5KOygVWMiRwj4X2v$BQ{*rU(#72()?cF!?(`@}w`YQ`)7D}5AjBz$ zPq&+1u4>Z1$eZ!QO}9sGa?|@y{Otzr_@gtP7zckz6^8{A($A2h`(S}K;oi7d8ruOx z0~KdC-L~m_w^fA2hY#PVFU@FWW*$tG#`F5DIvu%o)MyTKaw2iTk9(KfFz%ldcvpgMcn zk};KDJ4Dbnc{VjH6K~iS6dbU+7`^c)pu}=3A1YhdN6T1ioXTK9c{VTGqwz$G?B$&+ zj*Qh*L9UNRt^h+zHtU&a3SNNprRi5S-CGx$Hn`-8z zDW7gd*Ioh&OCIDP$n@O%{`$$1Q}tdUTI~x5=?q17-^kF?Xu?##?Q?DwzJX_>I(>RxJv?YSeG{-natJuaQysr;UgzQpE z9Yb13j%qCZ1!V&2?7k)gdnxsDu0Q`LX1_eu6ZV=EpCe4YKI+3R|HCfN#!vH3o|IIs zL&Qg-icG^kH|uKc$p>+QeebiEEC;jr#NXIO`@C*kU77804xP?&;nh#ZiUNGY%D8Qp)0OhG=1G;)9=qq-=_yqCu7LINm_HAWK(~~t;`sK zU58y3)#)i?z^K=Ohi(Yf5{kt3ZT8Yyn3tB6Ym!7tk+Mdq+qWS5Xx!&X_|z-AZ|wn3yd1=a;(~9u|;}pp!oAJg#xtM7k0)6u%UDRxKpBHzsP0d?L zrglVw4Xm-yBbnQ>GQ5MCy;`0nfjV~iwDGlYrMMn>H(b(pCR?*@1pQ=3R*T!pxaZzM zaQp>zR>`|o>Q|qs{gA0eg>xke(*dfNw^Db&h{~x^w!yWU@ru=1ae|yHQ1V9YXc?Iv zGV_ThJ==@|pR}urfU`}$u(oQ1J$YMpr3A~i9S_0Fua-XqTH#j-sF8XtXPFhQrzzLZ zbDH{H(k@-5h(g_KhbtT+Ze78{LrqwU-T0!?dG3{6AEHFVrV63!>cjZX4g zeZe_RJ*(9zEZJ9BuW@`?1oxB;}XnU;Ne{tsljw zRZKI%pp?d#LTXlMqL`@heGhS%YXMAR&B?X0rXTkVIUnJ_g{3Q7f3%NI`*`R65YJ6K znCx|LTgNU=et*BYJzX?9Nm9dWNSh{Lbn$@{RV8(j2JbP!-d>QVr=6dSNB)V-3ita9 zJwvc-wfnikc#2ESF4PZH21ky!7HzH_na(-w5KGBArH8-z38H{df}N}Wi~fOP@nBd~ zDpRc{Dwdqa`;k2)a{deur3I5z+uiB(P`Mwlpd#Uk;aEZZyvJX)XP2C5y(Q z+00$|)|if?2YlE>{A3nssxA0N=Wz{x)d@R^w91Wb$;}tidwL{bL(_l*ABPBt90A(F9Mc}Ei?Kx=8>U4u+CHU}=`2dU2uZ|vCEB^_3RXJo9G4cqQH*FL z?G)23EC-+TpQ35sH09bB&yHfOVe^WL+hJX0I;^}d)G8V^*+gFWlSQhXWqd@mOqoxd zr5NxSmKVGVH>vtp+A5mFr?@p#q}kprW^$$78T#TQwnID#b|9EQERhFJ3m~TD6jZB*A$~D zC~Xcsqgmd?IUuRh74z9f9eg8o)|P^&7xe^9lW3{yYv*jYmP4-Ni$)>W#l`)C+i}R2 zE$ed!3kMQ#w*d^=)3F1xU|CqzkYM@LTa7783^o-r8|ynwxS`eUnVkkIJe#?X;E8v$ zxvE|KiMXyUt4)Kj+0JY8Zo*AdR(umH4n3`2x+JFuErSSx(pmz(dm$Idrbn{_6blDW z(SO`lcfT)TJcu6&SIzf}Bnc$JuI3=#<6U=t}*0+RQLi~`ZG+l5!0>sKwer#F0 zSEos8y&o(Sb$uGGqTtY$9Ma!}LT@=|OS!b}ed48}Tjw5_d}xX^A}nR%LKIQc=3Z8h zHnt^}QRv6t$in`}ofqLSQ!`D|595gr*=%P!xw!y_ zNHdTqgVuY@HU?fp;;CyKa$WOx&14)a1y&1!`I+W;U9;#1z7An zek3$QdjG+BN<|uuzzWcSOaU-F2*&u`MNn(ETT0#sY-LND1i9Ak;66xgYU3K}Y4p$8 zW+(c$zB~SIkS!T{bGGg&ewn135}Qlc*;Fw2-e^NW+KRc(qu$@JiCt%Ww2foj^rDc( zHxg116dqVbt(?E5S zs<%goYuK_j(Gm(>I!&01ML`)GC3WR|kCjtW-m7n3*qE&PJA&B{UNL$h3F4N_j{ObF zPv6T9BTTm=yj7={eJYb13gH1>&gI!XT%$udlBr}B2em7BT{_}v!T|#S|BA5_77c&c%)3s zf_LAndl)YZj+BXw`P&hHTA$4Rqr@04>xM3`X-?5q$`#x)eV|-1p)0?IsQGVsfba7a z6O-J@)>{}|DybZ4y1vZz^dZuw;2WGiFSD}h8|u%s zxm$EWi`{H6KCAf7Z9_#n2dt66UCaYpVdHxF_`yQz;c||L2AYyth~NzgzT!K&JA#UJ z=kXJARc%^T{0O$HsopCu5b?XMqgGn|`TnPN-!C4R)v&-of)H}2>Yezm;y zFza#tMG)eoOk|AwO;o2d5rQHY{R5HQ^^AD0Pmo=kqke`JJ3k45hR~;$Yph8STICar z?$tKGuN(c$Ul*IqVO*^ptS_{t1PV3x6SM;@bQ}na%)HDQ7na5!y-^N8EuR4#Fe5d5 z=hw#T>|)jvyc-g-O6z2j6Q&{KtO_4tQ(pORpq@Sh)op`9ElECh;SNAP5R zCsnCFyB@c%#nhj7cmo9!bVRXZCX%~l(?x{yyVj3Wvf`6!-;0>Cnfag`B3ah?HXS@O zfM|7#N-5&IoY-_=t|JC{Hfegcpt1_@{NQ9c&=~htKIQXNv9zd2j?{0vYmYTL@;lUi zhnhrTJsOcLM#Ja9zI(cJG1?_BbI>g9a2aSU9UqX9@tNP>h3==r5zS}B{6jYo-x(tt z>zxa3W1Tc7J2G{$1(0#hiWrU0V`j(BmeW`4?O9v~&L&dT$-i~vM9$~&8)zoi?eUms zRrc}BSm`A$W1&WM!koPZ;OnGLuCUH$zVtaR@93=GmK58TI}%a8l6o^xu@VnMe|!uv zLR+fJ&Pn{Bh`O{qgWNo-yuV?L*2 zHhLZ2G*08V#k6(P6jpUr{3rs075NV*SEa?wq!Iz&0A*+7WY(~`KQtO&&emX?SLJ!* z(_1B!xeehXn1ehlzdX3H0vP}chw;U1Z7FNNE-JuHy=;6;zpY&Ca%^#)WgeS=aUUBl zA6YSH6k-D@3BLWXhKU)^7=~l)kU4+y40KsRU_-~#Q44!>`Hu&mVank`A$|} z03Yd70LdxS&4X}g0qxLL+(Omm1nx9JqcHj6&9=Qa2P@rQ4pU8O1zjr1$D2s~JZrDf>e{7NdZ8*XrF&AIm4bM? zg{ApP>AH-zy*DIboW~eplg(_!gQyF^E!l& z;tH2vB6;BGZCVhS&Fiw_bu!2QS(jt^E_0By9YsbKT8e3kmEsK z1`{FXgwL5`@bPCE6B3UqZ95>FK5nh$9Ya=VYT|x&0VHBAkHoXR4G!t!CygiC(1LNp zer1TvVt9T5Or1an=26F>OMI@P4?A{-(QuwYHjiu?+0&UxFv$QH3vMI;jr(cACHUlR z$I5G-4m6b(C%p8KGq`NEwuDOpp-BZNS?MAzp@O`@nN4Ci$cF;O58e4Fp=!r{nz87H zL00!=G0l6~#b$rAK}O{y@w7Wie64Pr*D=O|BBfbV{34)L%B;disIP(lOrr{V4~DA8 zW}jvs>HzZNETogo@X&DvEo&t1_GR2vaA8M=?JoSW8QlkKxN?}dyk`{=^}K>I0i98p za0Afxm_2Uh@P63fKDW`&LKcg>E0wG4@RW#I+Cl03Jlj;12pl4}_OMn{)alkz{`E6?VVy=G``- zFS}d~XFFnRU3?vVN?n*$GRk80R>hJ}kTNDYYItJNUynr>p>R>6y=u6H$A`g?^9rF! zQ`HTfGsloP76jL5F7YSfW-PLxi=}NX(e8r|g)&z$#LhUfZyX;mc77uKnTkIK|DjGr zCs%qR2`~A}^i}G);7OmKqQp77Rp$7r*eV?@&Y=TW&0rh=RkCZ>LWqJ9V-s~DGwSUa`PF8^<1_xL}{#4UtH{EY= zZGNHR7zHQ@4lbWUnX-(jzUzby9Hq38TEmx##g*t0jEIdqBPJXKjql3$SehGibs#vY zG-WIuS_T0iRDD4Mdss5!+pOOoQc9EkxR*zW|1`I zxhEiN%yu)4E<0Nfn#WyGIAcX*Q!30{tYOnQRJwf=(5CT6B0T3?EFI{uy>4iQW}G=9 z-o;IOUvvW*RiBAQPV0U)_lA)8HT0G_L{nd*2^r)LP@1lq7jeR3C1hQq?@7(4@ ze%~^Ur~;z|3uHiHXnoIF5JbDwacfBu?TJws;IF7X6f?YWyg68gDJ`oI`!ut<013IB z*Zil54Wbm7A?{@S33Fe1N)7?&dTA#RNW?kUIv9$x04i<2tv<+nE9>FtD!jJg#~tq` zE?S2F)g0L=Z)pB&y6Mjmf#^8{bjV4ppth97X@f7H*9B=QZK*yTM0p)9P(cJAkIyHY zp2#(OU~KWKdSI--4rLnR;f*|Pf%1}>%v4}t(R`5!+-)Uk;nHrx( zPQ5$kpXhjuZ6=cq8F2WxO_jXA%bQ30o4`b5`x;?gI|30&OP4*REBVq_GXc@RmAii> zXLA4*`7Xv2sp44i{ZewAjdWUBDouXhV5Ug|6Eqb$$FnlBiOvV^6HZhb?3<`@9ka1* zxL{T_w4%raOjLuCYx{Ilp7_KSU@{xDxdT)*e5%$~QE@PAJn*n0n!n8=`#ks1EB3P! z_im{zJbHzgmUE2WIA2W4xhFx;VsR3H%bc3xwrHWde+y*K79z$vbaZEiO5k6TsA_`Y z)bCJ9mZ@{~Oce4&mKdizczQ<#q)&TL*@sFD9tKYpx+rjrAfaJsaA*7!csrA-8d2Vpy02Ws!}hd!*YD28vf+=s9LkJkcSDdD^1bJ7CUT1_!{*xww+06eQ&=s>EmHRnt$VUsvl*y*&&Ify9AGPPy?1%Rky|WXbW-$0gA8m~1UV z4bo?{`AoRKK}|eiP)Ex=nGlHP;z6PHJ|%NWMh}gU{q25vQN%Y2N1Z;DPvrB`|AA&U z+P})FTN8*iAHY?g$y$h^)7z*nu)Ic2#S4R#0#tOweO2GsuT+YuQ|VA9G>e&rToA)j zElfT({NaYH-%=Vq-TCXIE(l)7 z^#$VO#&PjKfKzP$1)NfJvNv@#`3tU7JD8fO0yX~v?`+JB01g^BCegp-x{LkamA}*f z4lV8N#QyT_#MELuEX;plD`o&2fSa9#g+=>shMc|W|9er@$;iP0X!;kBH?naC!Z9hT zifb}TxZ2nl8`;_YqpxaV=}i3h{!btD#OgpN=f85qtc-s(*tuCa*cn(DIsWbMKU@*Z zTDk#=|1m;CZ0%s=V&M!lB6j=NdmM}`i~yQ{82o<$V_g5`vsFDEfW%A+##SmWws1`H z#DKqWn1rR1vkNiD|HZ`EI9dLa5+nZK@%|WPxwv^|_i6f}tA!R#9Y5^?A+_f-or-lExn4 zrj9*;Quku41vk9G~i4*t_+TgmRZ!rX5R`z&ORbkKX}1Zt>p#iJwGe~5&}cx+0m zy*V)s(j;B<@c1(I*L^TvXYWp1GBw@LgnfuT^tPj`|lW4DZlGi!wM}GA{cDHi<1+&7TEXC z4K&F}lE*bD`z=GF!EA1nOAoJ=pP{t}d&gqmc$_7ATEve18=s?W-rVBb*<|w;hK?Bp zraDI?w*^JxVUO071WS5)zQ#&weLfE9V_XHoe{i8aOA87ns_t+$Ja}U@KM{5yhU(je9W5VH^i{>~}e+q)10{&I-K%KxOB*%Jf)If?%SV#GRp9L!we z;>;2f0CrYk34kb@I5)ExfJ1^)giVy2Qy9Q5K>WX_{8jnauPN-D|0>=8kJ>dcG<=>O z?CpaXoDiA-8;lm3=>6S04N|m<^S~5ffkfclk|0xp0tvQ)NdNDf bR8|4K6bU1BLvgEG`=xE`6WWy!4U`1v3Lf1qk5McgxHvNi9;) zcgsmENp(q0&QD3@va{nVE-6Y)%;l=MwKUAJ=(YjRp5LNB8VpoCCOqISDyx3MY$W{r zLCLb6Uw*S{PF&_<88%lkS}dVJJfdj=Pt1V>r%&4a*jiX7! z=Fe8@SNxGsz2)|~^$MK4o>mPf`FgkBW2$~4;HmKJ`n)!f*G;gm_M~oF;Fp)lF~#Rz zF1FCGyFPVG>q+(vw@PGeEV{!?nvK|IeOwjFBY2s?D0k+kUC+3q)^5`^QMq(7FLc+T zt30vBEIbm{F7G$2{he#PZP%{y+NPbi^P&oz)IM$&JNsg5#<@&}nQW`#c+zs;t~guS zT%@5>sJPlq-R(24M77WRagEth8RfAD4ZnzhY)XMepv^TqQj55At3 zr0L;|k5i_G%r(9HUij&RfdBuuNR|A`nvi0x@+GIodfjE= z#hK@_WPVobhxqeuR6cQ9`|(bZ%C`3R)BZECt@`(qD>W|#n#O=EQ2I19KuV|qMfoYE z$-s1}QIL`rk{SU_&n5v`p&?FS&|Qw0Sd#onfZAxz~rl-;bLWEU}$P+U|?!! zX=q|%90gS2o1cPPGNdT6pdd8`nEn%Uic`7t143LQ^xR5wa*`7B@<8^7WMmdA01?C; zItpQ_Ma4kt6pZx@O$<#fjm%7Sjr7c5?gP6@!6&mURRQD>O@-`&#FC8S)I^0cs6I12 zBRxY+P!@yw+Z@T;A(aKG3i|#@S-~Z_T>5?r=AispR9vE9Yzfc2M#jWvUf=$+d4~)H zTHe=nRWkj#EFi>L$iUUUDro8#v8NB(az!|gPRtdk{k_gJx+?PI%0sR?xm3_TFqfM7ipAe&vwh)-jwZ|I zs^raPc~)`#s>sC;@BTHErP;D6EdN*h=`Z^%`&oA`m%dnGl^1>H=KnnImpi!2FFWny zS>BK~b5q@k{j;s5-`@P1w9V$-4>rxnaC%7b_#@*04;$Q!zRYiQdog-G0b~xryzrZz!8J@A6vh~ zvnoDqWIoGLaa7B+)V0O;)@TWORJp2^ejRhrcHVpsET8BH%IZet?jL zYUj)M-jA^EZ?Qk4V5L?M?_rp6nXnqZ3GhkQMd_v1$OOcXj2-Wjzz$me33-~q))^nh z{?N#oQZvb!N=qA+`D6F+my5|+)uWCsR}-z4rm9Ddz6Ze&*SCDQb|gJ~#T*qupE~re4+qQsI1u3P&D;Y8+vO^s`6w(m;h- z;~E=}MQO*T&SARSw`Al=REMf>o~Q?X!lbj@<1jtz!ho07$5H8|#iIEUW`QN*dF-L$ zjoZ1-eP0t9`j>>64s&5)z#Q1g!(5nu0K;BvZoq`@)3Bxv)vi3)<@_VhK4-S_uv?n* zTG+nHM+2hSNS{8u)-80BYTc5@yY4TepS!khB5t;X?XdAhpOy17knYGl>dcsWe zkAuT*+bjE}kjEEZkN@Hry~2>u_U`%jH2t-f8xxCiS$bccn?4Qk^4Gc+b1Z(V{IKtg zI0MNpcO`9h#YSc<4^GLH6z#Np8^NvYei58nC|y6jvC7NkW&Bk-UvyLx@r?Pya1)Tj z|J=-#4;`+08XajCna>!vy3$GZ?_%~`^#rcIqa~0(H{a2cUQ`@uTAe41hB()JYxq(g zn)kD|eSS;Lgn#SkFo;@lyI}nC3PalDfn@cixM)`Hp9C?S{VLeR-J#2N&O=I0!i)%HSn#gt5QzA#THhiRX zC}ncV=dKw~?Na;QC6eCq_!5jMCr5E3dnS4&h*o)v_NnCUhTA|~t+O1N1utR$u~#REy&P8n!(IW!$T224vkVaI+CcJaQ%*umsMV{pP*D`B+# zhi*{oWP4Ap+sKS+63BO;6^NW2?0Q(c_q<^-wzEa$&RlB%2L4_tB0tEnMsly=M(z{@ z^T2;8VBhVBy&*mqq(1-3JL7bduCrqR9`90Wi)@cCXbo`t{2>Kk@IB<6`)t_-poy>E zyh7#$hMG$QwgQ@y7PJD8McV~4+LQFf?7JDvojs}QkugnrJO+v9C!CcOqZ(Fu6H8Z1 zK#o`7OyLVYPKkCsEfj1vI(GXFuM?<~0)$iCtkfe2)f( zxWMEnV|p_RkBZp@xsCfO(KLG?mi=U}m;qsxMgvf+jpw!@=Zj}f`~n93H|yXYvV$VL zp#@xhj2H@#R9_QXUXzwn|81TX&fBxj;E2vH!wYItbcDy{K$*9DCzxJ@*)oy+*1x}Hq1VT z#yJPUVpgrM>bG@+N$%>lEL5%s@uAnmqW3`dN<6Lo=wYMceODl$QfwmqHQcWVF^vo? z{(e{ELHrfA>i55hU`G!xKH$@d$d$PDS`bCs#LMrZRFZwe2r5ecd)-&VsW^?d+@8@w z85`v9U!<_$N$Frce^lTjcn-+3BzZ@(SCC{>nt?1%UYRfXKtW53q&{Dnp-D++C{x*1+Sk--3VFhOui(nk)8O9ybzL=ACe z1$M5OgJAlt#lY|qlwzLEdp!CgVVtvy0i2^GKv-F4_o#}521v||Kb9zvpT1_a?mox5 zwHsZvw_bQ4xDma&$I`KxB`CsWX($dz6f-oscHgqNHuCwir|f-E*nmx6u!KERsApM8 z5m?rH8I>df#ekbfl<`hkW$OJ5(F zr(?!j1VR#_P$+w^_u4^8k>v2qoI7p$f{*)Gt?#zx;X5C^I3QG#niGFPPmKHvI+P6k zY4B|QTdW;}--KQKyO)nxb%eh0KyljJ)|! zAdrmZ1y^=G84Ekiu(g<-jOBwpi7thW(P>=4njNN~EK8|1nlKniWBz)so+dx`zzt7} z@s$Z-r!fNIpwvY^toO>_4CmX?EjOYPsRl77^cNMC2JDCsKqB*MJARYNX|Rvi(V=Pb z&3CllXkpULiJff`x#2$UnFV|pF0{*`v!C0w6LBPNN{oDx{1sjJU|+|C)d4zis|XN- zUjt61hYp%oIwt4$YQNaqsc;;sE!WRL!Mi`PYuV>jKkX)g`$Hv$EWmXe5t*N2@zF7X zc5non-~|b~u<+4ysFoGi6ljJHoc(~RM0$K?LErXue#<>v5B7nhl}^?rYNGg@VTdzn zU8@Hpef{z|@ktanjbqpq^BnJMpSiO5o?r&=Q2xyF#}gyxi4w{P$`WIGmzUIQ6}K{% zHO*p1W<*Z9y`A)@0Pqa zVilg7X>!1bFKzq6VMVxHzgwlPEUd7NIP zozjw3Tczsaox|GQhYj+m+BUg?nJ1HjKx-=O34Qk--f?7)5A4a4?C15OT4~kXH?^J_ zu~Gi8R2m*;%gO-`3>=?tr4G?HClQriWY{jZX64xKS_Qry=0H6mxTp~#OYOXysK0+I zv*oeYZ{GY_i8%O}oGwwgDI+kr1sIl?^IOe#vHhWS&8a1Bo^eir%Y7rKNRcLe6y4-q0re$qg#*_lSY$?lN8$13O<-D_c z`u(o+2%qWOg9mQ|kBjF}S1%inE>-EG(C=zEi5zQpE_lDM$rVaOcO*=m4|Po3#U(h} zTV2jga72^ZL*-H|Sq92^7_a!h`8HB4J~*QimOVpJkYO0pyq06Tl8+yjxZa$bV{>RF zpPRBB9h+$jE+8N9f>J-8-QhxL*{4^Bk|d3jm4&uU{kRdPhRQF~D`fm)<%~m#E-)TZ zQ)W@q4&|q2M&k}Up%%!>md7cyB|1sJKwo;^RKxB2J?&UJmNOcjgLL?rs zo$17w&0Lp(r9VjSit?9g;pPd4ita&`m5D%#m7K&u^~ zAR|^nTl<7VrbTUft#wTK*ESdEBXyzdls!Rc$`=Wx+3G89paFHEkV4@&up75H_Yub$ zl%}xMqM~@r-g>YyT|gTtko`ccW1e>e?J2JuBX7UMjjwB7;LQB|TknPq4KaOnqnBoqMh) zb1&t3QeMd&Ov=8Ul$e=Gzw!P1d zH{_KHiI}2JvlOof)X0h>0)qUW_v%LX1*P@`>B?o~D>^Vxvxq1a=nJh=8M2u7BKD(2 zx;2#r8T$r&J=*%J^I>q^A-^p?>nU}KyhyyQIJXgy>~ zPt}VG5L>ou4#79xVq*;Cw(+e**)6IWYG3I|&>ol=5eR^N zXcFQyf}D}!+a$Rv30<)nP3}a+8wG;b_EV?%<^U+vNY9)Z|(*Fpd1qY6M(!9++SM)#5U!LPGm-!oS z`AggQ8zW@==Pna5E(d2UA&jN*5uHheGaT@$?Mj6z zFh|khD^&#p-$8=)91&^Qj-J-(3hvd+xS$FywB*+_;jN}7ufr}LDxEGiD&e?FH*TWp z5yvE}Jy6<;)cjw@Xk0Qs@mL!pwAp;FX9>)R0Xz$QF-e|%;J)qQVbU4e+t)ez6q>gkqg zv}XB}9Ig0MT4o!Du0CjMoEMxr)CO9=p=+?VCHPS3KMbp)ez_QK{3rW2anuI3BHF|G zVI;H#f69$x5RrUIN>LBx=mIUL>DbDJK9TRS#V`?{!C2W9bBj7mg(|qTRh9#?S!Q`w za_rN2%4sGgXH(6}vn;A%WX}ILd3U(k;MxHOd75r z29VJrs}KZ#au2!rpDNZLr%l!>AW&^(Sr}X%rUXO6kuap3oCDdy*x&R2?zFx*{B;eN-r^1%i{$nRfyNJ4Bd_#kpPh@3PW0hd>jRgjmG zl~(vCzdy5r7-54kkl%@jL9PY36MTX&?vUWW{S>5SrQu?~^_0KIjr^BkTZIN-ATp-t ztCj>mfQ$(Q`CE*^2N580O8>3Y$jZV05^5m-S*bBjdx`6V0i(a%Nerdp-J+vo2&4eS z5iPR!IXB$;6cVG?h85zwZqJrUb&}SP-ua`hP_~vIQc)`GKOOkBQkSM zK&?w8@)q(6LtCRq5j;e4-j%^Vqs4YM!+TCEq;$`%`A4dVyTF^Df)nr(yARKNX*_sO zl!S2p3UCUePCHxEa-o_Yez+7hUg+?qitFc9J36-bZJh|ESHbc$h-V#YMFsZbl*3iO z@}2H#?&)TRwKHF|9`Z|4I#~`>b-A&DGZ>y--I-vAZ^xZ>w8`~4`O0{W?xp&NQ`koQ zFG~sjZ%pkhFkS!|eVivI1mXyTz-65QGM3nz7;*_9V+(PFLu4Uva+`&}KLMgdcDML# z?d1>ob6NhbXhR%TP%v${rUpVz6D5n()K)+$!eA&lxT3s{qP&I@QUR_C`OhZgApdA? z@_$d{|6?YZ2V0maAVBKg&Y_sxV}_4upq0oB+7Jy!!~4duAAE49XzTYy*MI82KlkF_ Zc?1#M@q`dOnE*l&fdmK(qfB)G{{<;W3-JH| literal 0 HcmV?d00001 diff --git a/Figs/enclosed_example.pdf b/Figs/enclosed_example.pdf new file mode 100644 index 0000000000000000000000000000000000000000..2df64927107eb10b580133cb206b959935478c01 GIT binary patch literal 2068 zcma);c~q0f7Qhum;VZ}z(5Dpm3PeaMNxqPU6y&iaQT7;82vXE69}o!%gaCpYAeKcy zDix4TaG@4i1PThV)D=`zAhO6N3WC%K6!3|F&=*?zPS5Fkr*F>uaqrB%=ia$9=XVFm zpwg`%3=u%KciwvjkU$(L<{kj->;SAgEDDkagAk5F27em>mM#!VVF`$(3prAl3iHH# z7_heoBBTPK}zQ_jQenr@4FM$|XyT?A}5CW{Y0U z{m*F`dVK1jJ#%sHd$fsBt>K!cW^lbjn@XXZA2YYVU{p~jr0 zm+lZuXr^becFGiHLd;u5?Dj#L*L;lZZqHD()GowaL%_E;} z$ojaq0_Jszn!~h5qg7BkPuAv@zMZKa3r?BOp;)^HG1SY6OF^!EItoGg9QAB~8xAo( zwJ#@s`MJb&#HB81tX?q7iOb6vra2#%PYze-pz>1PV&)na1H0AV#ZUm^Sk3$F4x<<^ zqf`6SU)SwnjO`wJv^Bo6D>;A`Z;BXdb2;OQJA36tcZJY8EV9380@ffFe2X=29QW?a z$^Ske0P;7iq4JIPhNx9IP51gbm&inMC{oTu8K!ny_J)N+39bbnj`D50;s-3-5tg49 z{}c3n<_oSVMp#-F+kuSBuPiEC1xbP)%Oise{Jh(mT9=pEXkq88yM#T*dw_03|9>=8 zTgWTfLSeVlCUjwEKn660Ft&Gh{vypybfAq@cI14``qcYu;KJJU((XBvEZ z>#VByL||Np%}7x(@cOOh)&&2a)ADt81G>XLG97MuOqF&{NLWc?K^Ih1(qr!?+NV9V zW%9|Q9@(R%y?-JEb-Z^1nV4r-d+!xfeJ4}2CAK1T8s+@NX}noDH0pGT@^bBh5wDru zI%O1aNmnTM-y zuu9tcuA;y3=c?et>GSvG7(S~?rD@dU1T}Nal^&^9r81wpxuncf^2?m@%TJ8E{BRl9 z!gDY3SqeL^U&2~tn~rzXxhldgWs z%&9g=Wu{4V=-i{^ao3hCYHwZmg=gzjcrFrslC`=l&qd0$py2W!)R}nJN+OTF$F;2U zz}#J8m=(z1xT0l1;Ww50xh*GjNb!07mE3<_M<~D!1Ggl%YGGffb7N{sq4_N#slSBZ z2)zF2W!UjXQ*;(RAK^&2f-dZ1J^Yq@?!3PHrIMG~S4)MF9nZg1i!A1%H8d_g9u#(# zq?xpiv?!Lmj=lJG{f?(;9|2gzUuB9?THz6d`xBTL5-~rLr{s`j7(b8&vz7cJ;4lyg z1z??(Ad-reJIduhRDoDTRpJV?q<(?NK|}}#;UO{+Pr&a{T6l>0|9g`q;e>_3d?oKV z!U!0^GFUV=h8`&taycT=N_qMGG&ln0fKjV{Bn%z{p;nN(dT#Qcj?Ib*gF&np_kg!F6u^3dFTJ)WqTY zdv%r;D_u}OmXG!hl54jF=JL+ox%mpE_q`f3*OV4-4zW%BE*_|3F3cV>AJ^{xM($6> zX?=P%bBX!$=>*w_?1Y<>w`~h!W#QybYhCxEA79N5Pm^46d*9zP^Q`LWSmU(Ac3*lu zG6hT@Z+1VL`PJN%B3;|Se_M*7+RKAIK6fv}QP*}_R~M+OYcn;%`}2=I5E>ZV)w#4z^R?`l)M^4EGqNI4SeL5Z>g5Sgs}1R!Z%bl~4( CfpMY$ literal 0 HcmV?d00001 diff --git a/Figs/enclosed_example_auxiliary_cover.pdf b/Figs/enclosed_example_auxiliary_cover.pdf new file mode 100644 index 0000000000000000000000000000000000000000..edfd9d8eb254a093142a9e179c5c2fcef8a1aa96 GIT binary patch literal 21791 zcma&MQ;aT5w08TpZQHhO+qP|6t8LrnYTLGL+wRpm-#$6}>iidfC6&xd>f*VWnW<43 zWQwBVbWHSY&}8$=BkR!Ygp7m^#@5ihywD7?X7(1YmV_*9%$$V(?}BC!x3YCLb0%aE zw>5G#6E!n&Fg1hb=ZAK2bv84ygZA7U(dA3V?SPwk({Qzfuzl*9m_KV&JCSW=PABO& zWlzv`lmB}A?ss6H$lKlM*PyG-T3KRVEpm@4)~g(-3v_`Q}_Rn8h;$8Y4 z?XT-W$#P^VeHFnm<8Zg+r32-gIc~6_Lcmt*as%%BCNyfu9>T>}>DciqO*;Mip&&rV z3b($hSh5w{pl>YSH5Gyj115b7@uqL2DyUu&D7vZFA#%YORoTuvfSK8$ru&LkbxJY0dbh+IrM9)-D7(*tLEtQTH# zM2Yj^J4#IGM0pZvBdsH`d6+>jq5-s-yEv@cghS*Tp@5rwb0h{|5Q?%oD``x4ENA-Z z2Wg!yE!ASxpkrkx2w0W8*eS!E*5DTf^jVY5l)co|D&ArRFR)^Xv89g;3@hZ+W_zan+I7o_LGVFauea?$bStzSN8rP~V2z5bv?ea+6@w4w!3~P*;IysWzQjV zsBd&74}mBLn}Rp13whKy62BBj1ebL>Bv8CsL3Q=zVMYZDk1;3~cPA7= zlf2(@dSa%icLfd<%sEn$2P2=hYwK*t98do-33bBb(NdU`HB)c*t-irz(jS4S$}JlV z+UWix03yQ1Bz&$&S|hDBSw9RFmlSLS2I1w`l+=J=i)(2g(hH8QDB5scnZtr#OQ?z& z?xxW}>Hy>iP{)wLbqyv?u^ZYIAZ3CWr^X-HWO3I8PTX}uGM z+A=4Lh{_TTb4r3=Br9E8TZHYsXJyZyz5j6l<>sEYWt2Tn(C;^LHwJu;J4$Y zTv;p}xMczLIDh_Os;y1nYa~btA1D51%S7fk#ozaH?KOTca_{$P%V6*4tM>fDtl-2Z zmt>%Z65~wJsNV!i(4+DUU1oDsWZd|yNS_6Bj=S3Gtgs|wGn=$XkWnLV=0?=phGaO( z(Qnz6Wg4Bw{ryNq30+b6x*OUh&FZLTHZ1>-_mWnycigiV93_){K14EK4Rew)>dt5I z0DgxIPdaL4<$x4kO@Di*H=ByG+4ptZtbm3a2uE>+j1I7ZT&r+8;3qUm0h8PsF=wUQPxZ1Ai?%5#+ z!JQ&CcjsBx)nP8r&FrXJ@oC=n9w}194IBr>JGsjf*AdNt9`52qSHb865;a_bucEw# z2UuLH2C0WJo7Q4$$zxP@?eq3{uk0k#M#*MB%V~M#o*O8tYQ@iQQzvjTz2#{_Pq1l(yVa4Nz+8jfAb}|C9_8HidrMyUYH@^dsdM*@F?^- zhZQ5nVI>LNu0PFEo)cgYjx_%wKURF%WQe7RxeYB>y$hF&(Vf&YFeuj7e>OxGIylCt z_c5ZeUi~FFamU18Rey( zJ^d6SX!fOqPhI#{ zWIPqLSf?IDnPOIivaJd0-QdC%QLi(WbNZe%S?u(gA1W8#idZ(yi9R+= zC#7VFrzS!ki=%Dxy#l`U$Frdt#sP7|Q~4;qazlz#YMN_z>RFs31?+h8TnE=;Hniu^ zLX!R*^&V=hcp4?@O}J+T>MV1=Z)DA-1d0JSU_ZAf+QOk*gN@g(C%aSNg(iN_o5lX0 zs!tM!mw*+h_gn4d!9=zLKEm9NkD4dk^Mp^y65Rq@@QB?%$b->nfC7WKQf;Zgw)3*# zoee@~iJd=AUZu$11Y0vZ_liu|r`ys+rHPh;XJ;Hb-;Bc$i(5oqo|S{*bizu<9tNnd zY@Pbk%Db`Rf{p7lKF&U7r{usTb%zjZaoJZSV?491>hLI3A4mH8G|}G z-33lLy3PV!O-4>a?xL&6eN)Z6>XT{|4`jR2m{K)Ch8jI(79$s#9{^^vsSUT&)YGoC z5@y)J?7w4#4MG#+fvvl$MY0nst8GGt^Gw+ne$C$vn(pBd&mk?nut@aaO*TD4pwRhm;BWLV9Q3-4`5*C5epsydrmCiGa=c*`_0PH0e;8f*=M?W$24 zt5!9jTxe4Jx|G;b6QkPW%!Z=MjQxUkIV%gQl)=0fTw58uEe|8d+V>_H92PQYf0O5%9V${v>vR8;!QEQ5vlmS`>Krpl7&6_G}@M-zg zNZIKm?A3hH14(OKZySol+-s@Qi{q&bDQb3Zmda^Wv1(h2kUaTnu4;9gip_AXuOn6` zb+>?ubIq76z40LqvK*|=<8qCFszKgGu9`_S2~|5cN`);i*qb;}A}c=gFZ+_En`W<) zC(YDqaa6nF7K-#1eNWx(LyWq*u%=SD?`RS2+SseC5^GVJM>gs!O%rjR95{P5^S