From 53fab13a3847e04b0364704375ce2749e4e5a54b Mon Sep 17 00:00:00 2001 From: Ann Almgren Date: Fri, 23 Jun 2023 14:33:03 -0700 Subject: [PATCH] Add redistribution to docs --- Docs/sphinx_documentation/source/EB.rst | 169 +++++++++++++++++- .../source/EB/areas_and_volumes.fig | 69 +++++++ .../source/EB/areas_and_volumes.png | Bin 0 -> 32423 bytes .../source/EB/eb_fluxes.fig | 38 ++++ .../source/EB/eb_fluxes.png | Bin 0 -> 9858 bytes .../sphinx_documentation/source/EB/redist.fig | 41 +++++ .../sphinx_documentation/source/EB/redist.png | Bin 0 -> 31904 bytes 7 files changed, 316 insertions(+), 1 deletion(-) create mode 100644 Docs/sphinx_documentation/source/EB/areas_and_volumes.fig create mode 100644 Docs/sphinx_documentation/source/EB/areas_and_volumes.png create mode 100644 Docs/sphinx_documentation/source/EB/eb_fluxes.fig create mode 100644 Docs/sphinx_documentation/source/EB/eb_fluxes.png create mode 100644 Docs/sphinx_documentation/source/EB/redist.fig create mode 100644 Docs/sphinx_documentation/source/EB/redist.png diff --git a/Docs/sphinx_documentation/source/EB.rst b/Docs/sphinx_documentation/source/EB.rst index 0233abde0a5..446e7305e50 100644 --- a/Docs/sphinx_documentation/source/EB.rst +++ b/Docs/sphinx_documentation/source/EB.rst @@ -4,7 +4,6 @@ .. role:: fortran(code) :language: fortran - .. _sec:EB:ebinit: Initializing the Geometric Database @@ -387,6 +386,174 @@ testing cell types and getting neighbor information. For example end do end do +Small Cell Problem and Redistribution +===================================== + +First, we review finite volume discretizations with embedded boundaries as used by +AMReX-based applications. Then we illustrate the small cell problem. + +Finite Volume Discretizations +----------------------------- + +Consider a system of PDEs to advance a conserved quantity :math:`U` with fluxes +:math:`F`: + +.. math:: \frac{\partial U}{\partial t} + \nabla \cdot F = 0. + :label: eqn::hypsys + +A conservative, finite volume discretization starts with the divergence theorm + +.. math:: \int_V \nabla \cdot F dV = \int_{\partial V} F \cdot n dA. + +In an embedded boundary cell, the "conservative divergence" is discretized (as +:math:`D^c(F)`) as follows + +.. math:: + :label: eqn::ebdiv + + D^c(F) = \frac{1}{\kappa h} \left( \sum^D_{d = 1} + (F_{d, \mathrm{hi}} \, \alpha_{d, \mathrm{hi}} - F_{d, \mathrm{lo}}\, \alpha_{d, \mathrm{lo}}) + + F^{EB} \alpha^{EB} \right). + +Geometry is discretely represented by volumes (:math:`V = \kappa h^d`) and +apertures (:math:`A= \alpha h^{d-1}`), where :math:`h` is the (uniform) mesh +spacing at that AMR level, :math:`\kappa` is the volume fraction and +:math:`\alpha` are the area fractions. Without multivalued cells the volume +fractions, area fractions and cell and face centroids (see +:numref:`fig::volume`) are the only geometric information needed to compute +second-order fluxes centered at the face centroids, and to infer the +connectivity of the cells. Cells are connected if adjacent on the Cartesian +mesh, and only via coordinate-aligned faces on the mesh. If an aperture, +:math:`\alpha = 0`, between two cells, they are not directly connected to each +other. + +.. raw:: latex + + \begin{center} + +.. |a| image:: ./EB/areas_and_volumes.png + :width: 100% + +.. |b| image:: ./EB/eb_fluxes.png + :width: 100% + +.. _fig::volume: + +.. table:: Illustration of embedded boundary cutting a two-dimensional cell. + :align: center + + +-----------------------------------------------------+------------------------------------------------------+ + | |a| | |b| | + +-----------------------------------------------------+------------------------------------------------------+ + | | A typical two-dimensional uniform cell that is | | Fluxes in a cut cell. | + | | cut by the embedded boundary. The grey area | | | + | | represents the region excluded from the | | | + | | calculation. The portion of the cell faces | | | + | | faces (labelled with A) through which fluxes | | | + | | flow are the "uncovered" regions of the full | | | + | | cell faces. The volume (labelled V) is the | | | + | | uncovered region of the interior. | | | + +-----------------------------------------------------+------------------------------------------------------+ + +.. raw:: latex + + \end{center} + + +Small Cells And Stability +------------------------- + +In the context of time-explicit advance methods for, say hyperbolic +conservation laws, a naive discretization in time of :eq:`eqn::hypsys` using +:eq:`eqn::ebdiv`, + +.. math:: U^{n+1} = U^{n} - \delta t D^c(F) + +would have a time step constraint :math:`\delta t \sim h \kappa^{1/D}/V_m`, +which goes to zero as the size of the smallest volume fraction :math:`\kappa` in +the calculation. Since EB volume fractions can be arbitrarily small, this presents an +unacceptable constraint. This is the so-called "small cell problem," and AMReX-based +applications address it with redistribution methods. + +Flux Redistribution +----------------------------- + +Consider a conservative update in the form: + +.. math:: (\rho \phi)_t + \nabla \cdot ( \rho \phi u) = RHS + +For each valid cell in the domain, compute the conservative divergence, :math:`(\nabla \cdot F)^c` , +of the convective fluxes, :math:`F` + +.. math:: (\nabla \cdot {F})^c_i = \dfrac{1}{\mathcal{V}_i} \sum_{f=1}^{N_f} ({F}_f\cdot{n}_f) A_f + +Here :math:`N_f` is the number of faces of cell :math:`i`, :math:`\vec{n}_f` and :math:`A_f` +are the unit normal and area of the :math:`f` -th face respectively, +and :math:`\mathcal{V}_i` is the volume of cell :math:`i` given by + +.. math:: \mathcal{V}_i = (\Delta x \Delta y \Delta z)\cdot \mathcal{K}_i + +where :math:`\mathcal{K}_i` is the volume fraction of cell :math:`i` . + +Now, a conservative update can be written as + +.. math:: \frac{ \rho^{n+1} \phi^{n+1} - \rho^{n} \phi^{n} }{\Delta t} = - \nabla \cdot{F}^c + +For each cell cut by the EB geometry, compute the non-conservative update, :math:`\nabla \cdot {F}^{nc}` , + +.. math:: \nabla\cdot{F}^{nc}_i = \dfrac{\sum\limits_{j\in N(i) } \mathcal{K}_j\nabla \cdot {F}^c_j} {\sum\limits_{j\in N(i) } {\mathcal{K}}_j} + +where :math:`N(i)` is the index set of cell :math:`i` and its neighbors. + +For each cell cut by the EB geometry, compute the convective update :math:`\nabla \cdot{F}^{EB}` follows: + +.. math:: \nabla \cdot{F}^{EB}_i = \mathcal{K}_i\nabla \cdot{F}^{c}_i +(1-\mathcal{K}_i) \nabla \cdot \mathcal{F}^{nc}_i + +For each cell cut by the EB geometry, redistribute its mass loss, :math:`\delta M_i` , to its neighbors: + +.. math:: \nabla \cdot {F}^{EB}_j := \nabla \cdot {F}^{EB}_j + w_{ij}\delta M_i\, \qquad \forall j\in N(i)\setminus i + +where the mass loss in cell :math:`i` , :math:`\delta M_i` , is given by + +.. math:: \delta M_i = \mathcal{K}_i(1- \mathcal{K}_i)[ \nabla \cdot {F}^c_i- \nabla \cdot {F}^{nc}_i] + +and the weights, :math:`w_{ij}` , are + +.. math:: w_{ij} = \dfrac{1}{\sum\limits_{j\in N(i)\setminus i} \mathcal{K}_j} + +Note that :math:`\nabla \cdot{F}_i^{EB}` gives an update for :math:`\rho \phi` ; i.e., + +.. math:: \frac{(\rho \phi_i)^{n+1} - (\rho \phi_i)^{n} }{\Delta t} = - \nabla \cdot{F}^{EB}_i + +Typically, the redistribution neighborhood for each cell is one that can be +reached via a monotonic path in each coordinate direction of unit length (see, +e.g., :numref:`fig::redistribution`) + +.. raw:: latex + + \begin{center} + +.. _fig::redistribution: + +.. figure:: ./EB/redist.png + :width: 50.0% + + : Redistribution illustration. Excess update distributed to neighbor cells. + +.. raw:: latex + + \end{center} + + +State Redistribution +----------------------------- + +For state redistribution we implement the weighted state +redistribution algorithm as described in Guiliani et al (2021), +which is available on `arxiv `_ . +This is an extension of the original state redistribution algorithm +of Berger and Guiliani (2020). + Linear Solvers ============== diff --git a/Docs/sphinx_documentation/source/EB/areas_and_volumes.fig b/Docs/sphinx_documentation/source/EB/areas_and_volumes.fig new file mode 100644 index 00000000000..9bad4537b26 --- /dev/null +++ b/Docs/sphinx_documentation/source/EB/areas_and_volumes.fig @@ -0,0 +1,69 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Metric +A4 +100.00 +Single +-2 +1200 2 +2 2 0 7 0 7 14 -1 -1 0.000 0 0 -1 0 0 5 + 1800 1800 5400 1800 5400 5400 1800 5400 1800 1800 +2 1 0 7 0 7 14 -1 15 0.000 0 0 -1 0 0 4 + 1800 2925 4275 5400 1800 5400 1800 2925 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 4230 5580 4230 6570 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 5400 5625 5400 6525 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 5625 1800 7650 1800 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 5625 5400 7650 5400 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 1575 1800 225 1800 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 1575 2925 225 2925 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 1800 1575 1800 450 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 5400 1575 5400 225 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 1852 2845 2430 2340 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 0 0 2 + 4372 5275 4950 4770 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 3060 3510 2160 2610 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 3690 4140 4590 5040 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 3420 6120 4230 6120 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 6300 6120 5400 6120 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 6300 3420 6300 1890 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 6300 4140 6300 5400 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 810 990 810 1890 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 810 3690 810 2970 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 3060 1170 1800 1170 +2 1 0 3 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 4050 1170 5400 1170 +4 0 0 14 -1 18 18 0.0000 4 270 375 4500 6210 Ay\001 +4 0 0 14 -1 18 18 0.0000 4 210 375 6120 3780 Ax\001 +4 0 0 14 -1 18 18 0.0000 4 270 375 3330 1260 Ay\001 +4 0 0 14 -1 18 18 0.0000 4 210 375 720 2340 Ax\001 +4 0 0 14 -1 18 18 0.0000 4 210 555 3150 3780 Aeb\001 +4 0 0 14 -1 18 18 0.0000 4 210 195 3780 2790 V\001 diff --git a/Docs/sphinx_documentation/source/EB/areas_and_volumes.png b/Docs/sphinx_documentation/source/EB/areas_and_volumes.png new file mode 100644 index 0000000000000000000000000000000000000000..97a2dfb8d270c3df6b8ab642547e2557a64af4fc GIT binary patch literal 32423 zcmeFZc|6o#^glk9XhYsAYlzZjP4;XF*^?y83{u3{CI&+WEtYIaq3j7EhOCXTls#J! zBSMC3V>g4w_PZ~(#AJx3>>)dnCIrrRi&w1YaD(t$UHp@Yt zgD@D3Md#Yp8!#9%4hCb2-OmVGxSG>rz(4eN^t7+SwnL)ZYQWP0_iN@JFc_Wa&L5A^ zDbNST?5Sg*$xNa<&cMX*k2MC+9rW?NdE4`bt+$~212=m|=X-*l825XEj&^o1*zKpu z@h&g!=CEjP7ax=eGCCl}%=m0!OYXPEEpMapL1{as3!!bkY)_sS%pIFbotqMPIDK8` zum7zURTV0^obOYAX;gnH@l6w-?5*~I6`dRJ9J_zDHVb=icfSr;JmBTezv(_v;=3iF zArQUQ^j8mm*rlub@6s&eblBs2`TeTfoXOS_(>G6F`MbVMZ8w~{ac_I^;p%)R$H>N$ zMRGu@>ha0W&ggC1$%%=W0NEccZSi?B0ke|Dc9W}}+jp@vYTK}C>B$-@J z9oVw?X-@H)7Uj9jT4OhuAFr}R>n29D8e{es z9s7uIud&J4AO6()s}ez+L)gbELczx}t@ly(JF&>*N ziQkHo`+e+%=~702qxcVA;Rlbs-z*p|>PQ5R28;$o$k7kWZdZp!!;rsWS&%nFEREq; zQ`_SVwzP|Z&9!+&T)b1LM(zX7i;ph_Y{|d9*&f}z&*;fa*auPk=M;yc*n67C1LQ@` zT{FJ@PWo`}Lc(<~qSx<;=9?;9v*tg|bEHmx!(*_5;<7yn*U3yZF=tFAE5{UW(YMJN z$=@Z-Ssk)jRt+ETxlETqhhXq&l!}bh_mwSmjvW>p+FyZr=R9*q^mgW0L(%aRF~K7F zuD8y|kKDd{pFRBPn-4yiakeXi-x`8r%dVFs;s^AH)?cv=Gh$=aCDaNFX4F21I4}>g zmOXS_F|&serF@61H9r~!WR@+R6b}hwZWeI(G9tHFQ9JUeT5mts_i*m(_E-Bw!MM5yNytOM~THw8vBzGC(=~!{F)XvTxtvgHHStVq+3kzSM_A4AhUgr zukJk-#~g`BzxmJklt#u!CY=e@A)habFpZqVm^a<|X%WF?$5HAM5#HVySijLM@8jp0 zh5E(x<5Iy|#rom10{bKw=+b(=91#DopSMGPqcw3~B=eOX}_b3_j&4QSkm|s$lW&f!JCxrYJ=AWUAROTz| z#KEqXf9`5b6x54UdF0g2{9~o+_{dX^ktzK*UgfnjI>(?t_z)6RbgJl*0(``K@CQ2~ zS4C>f$h2bkx(1C#JhTrXQp@To2_NmchZe6yR>$3WYh1h*boHV>Go5zGKbH)0k8WP( z_|S#lpYdcXY|kN1r@M{#S8oYZ>vxrHfuyM-Aw zc!GmKUC{){kCK#$`r4rK)D(FHp8%SKd)=* z#Zy&U%=Z|(Lm#)#$;w6bq%4RhK4p01NQOC8U~!Unza=T~J25{=zY;w66V6$}$BGww zblm8^Tc^I~{%0izDIJpLM=m|>R6D0+s`=U^&?B+|QF5NqCW!mG7bhY=?74pb=)TVv z8}8db6uT;*X`Xm-fcV_g+VG5zV%2^N?Dwef8PyHacdWOP?u!CsrUCEAR`o)~XY-Q& z!YkwlSEhfwAM0942;Vwf(<58YG&$bLtDCr_^2`2rhKp!$=4wBKUc3OC!@bH`;=+su zvh_e3N?z32}y!&2Rb9)e7AAC#^Pkz?Ri;yp9)v{L-y13!7w{p}MT4X5C1BzoAX7+D)7 z<>P&-r;gr$b9Ozkl3fh8kno>Z9``)3{DR1P)>_`5k`OlMcQxJmEIZ}mlXth(biT76 z@nkLw_UmMc;aGa1m7(xjn(jnC>*+MQ;&-=8mMmqO&pf>tme!E2LjxvGBCr+;SCDAXBV)3>^LOWx`qrHi@DI$TdKzJEOA{ut%l6ZY*} zs4HWzRcIO;|3Q}NQ_^;bU(9TC6$6C62O`FD+!nFfP25jhE4YUex?j|$eMTD^2_-&P zHF`?eig$15_`QKK^qz;CR`w40&8nt$N@I*nSLfiHDT=1U7D(KyT#z2amNwXQQ=uRF zsRSk%EYNw02RwXiL4v=VMR0U5m|)`n`~_FCXI$>Y_A3?PK#egOKz=ut2>yOo;qpY|F-mhJKujVyZ;LTr%W!>$mVO; z&v0J;JouCcJq(t{h)EvZYDn!IO{bg#tMU4ymXZI%EB^l#PlsNr(7}Af;SE_^DbobX zCpy@r7^0+}sk(k}nL z%IPS~ zy#Dok+2T2WU4%c(2@oXU23!ZZitXc~bS9(^iK!d&T6)v{h$Tv%EE~Kt)HU859T{P* z;b>hpNBh|ehpE0GN*(}j*rSr&r&*LE>Kcgol@BKm9bsSM5veV+6m2Z}Nsu~sOv~;> z{9<^1B}_;NnuRoTi-vnv6<^=nyT(~6aB?$at?rHG_Sr4JIi1#kb^Dh`$iCo#YZ%pOs&x(d$M+$vr7eF4UVeB11-bRAPm$ zH_C4k!z5|8#G`d4pY+AGSJc3whiMT`eaVkp`7-pby;^Re$Hd8ke&O4|mdor>D!Hph zAR*M$*)EZvRDc)rKM$+(n3aim=2Cw91C3lDAVex?AZ|~W%;ySd$PFIrS13kv7U~1` zbwELj*&hqj;)X1LXfeg;{+abG&s*yoerGpZgARNIWNLs6vIE?rXM72M^(ytIQu?~u zS+i*4fKtkqgZXBaH(gR=FTD0`GxBU(ndK1!B}4$P48NPUU1&#FS4x8C zSBzMqC%t@qDhbDl-||hJM@{fXh)FBDo=VDuzm?NV{Xg6% zALmyFngfdGB?haDKg%o^ZuI{^oLUrp&nx1KTXFkqGCN&N*s64r`*Tr-k7h>}xAB4; zA)%%uYF5yEvy-%KLM!@mV0zf1hEJwCFPVz+vRPWunEg(!$@A)2=&IpMC{&H!Hrp5; ztx;Go4G`O^qO6W?^KFO8(1ND)OsAw13e9Q=%U@4@+2{LrHBGm3t|~PA#)ZeKsvKN- zluz~)U$adLDX(|&(|Dq_|6usMMZ?6K=(3dDavAIO9FgC{rqtGq&(4{}6%v#Tx6!#K z?;E(zdNPlsmliJl42ThZaaP>FvK_)#uP4W=Jgw_$7|9u7XYVob{m?ROitm&2uk6pP zeDk!s*Kzq`BGODE;Eje=c3y?3Kdbvo7w2xfUyaEqXPaCrKNjUR{A}+lm-63fG&F%c zPG1UVCj7mI=IF}jVYMs#i$}*3jci_w$#?>P`1W_Zlx)A<(qEYYDA;dyT?CAyr3uUzY~^UXD99{Icczt$K-OEe8-kB;&P?^IvSx`op71;umdM? zvG>htErqKpxWhDh@ua_Kl^Caf?Ql*qAB}k`cTs6tJBQ7HttQ_;5xXK*i3EP+#d7cA z@SE1@ky=V0mt0+*^$>>Y-W8Nk5+A^pOR4jBKpDHUEFPG_=;ORb5pOQ!k9s&T`&9;f zQ1H(^FgY+?NAxR4b+3eW$MmX9X1ofJ-m1HzisAG|t&?jkr$pyc13pLN3SoA4DLlS6 zmFqQVTmx&?joXu<65Eg0^cFcs1NugcLZp-~WmXOr6|4?fm!Iv|eArIL7_s0|?#Mop>TK$Ck#G5` zLp~|~P2#XW_Zht!f`#0M#=U*}j!#n)Q1h;%1#>4}en;B)in=g8em|GHx+q%^DfF4s zv3rVVJ#o{_@m3}6PrDG0?4JjJWDbvw=WMeBB2{nUu;pGWG04eQe`)b9y0l13o-N{H`FL(LLB+i-*VT8;yxkkK%m!bV zwRgc7*^H0LM5v)Hlbb3lWTM(Hz6*a-iWl}WRh+ANKl}ul%$l!>DF4~p`kkCyBs2M~ zBSEI{6o|BMeLtww53C)D&g^9LHB;?)NEw))F0u`;tZPj?Awr*afo(CJ*0M+ZuHUr0 zM`^UL&C){Vu6v^1scGT0Z8paHALy{Bakh7ID{;UVzDa6QiCU>;h}E3#y2KkpKiuUz%B7G4eRKptob99B>}fly z$-_boiP-M%KNdo}vqQ`b*1z&r2G`Azs-%#CB5t5UcF&!bb?sIxD~dFo@(3Ee>86b; zsq8oQ%nPnlF+y>cdlfVFHBHLszdZrjZ0vohOAb!EvG z%-74no_CJ9!|cW2^&XWtQYPoTKNH8wbi6l0`K8JkPz>oxD)51S{wtW$ ze~wDa^L(9Kwq2#z>`%6{io^Z_96Zyr*yGQE?S)=-1jH*tPHwTNh)kGPnkF~ZJ>;L2D+lT0L10WRkiiKFr%fh02FNYbzmRs zIu%r)Jp!DGb}aFA#|)NhS+)2Xi>76 z%{MpruL5W}d<9W+sqOv8d+p%C9xO=QJ8P!fLv0`J!E^B)3axZYJ5CG<05(Z!Eu6Iu zdF|J7w2zr`9QGw3@NAi+Ug$CDBwDLJ1MVI8DTauqwIf^K08!eaT1HB{CT@FszTdXo zFzejfSYNaL1c7umt|0piior+bMMY6?jWx85<{blIBM?O0ytT}14a?rcfGpU`51!Xg z^?X{gE1eEPZpr~8z03VY%SdEbcAw|NW;oSkN_!tb?gSzba%AkgpM3z+tJUYOa(#Jg zQQ=lH{}NN1BV*LX0?UAqeR4qZ<5v&@`M%G}?7r_vaB>XIJDU}< zJ6BSOS-<2C(g%u8WZ$;Z7U{e7I<8OP)5~eQDPXNE(R@(#@&(5D`BZiF<`JTbL28~N zy*Ll7whw@>YEh-$^|k7_rG5~&|99{$OmKi4`HA09{%hAp@|xVrul3<3)rf7kDHBH6 z@4H4QIPGX)Oy0SPo3B)I4(KMXl}yZ$zZSF>kLxhNgcqO!Vqf5dKC7xal`GnBu3F3= z3x+&wfJn_!NEgV>?mEK^6#q6xb)36H^Z}NKb~&RPvpkJB?^ih^;Q7!goDq6}bPN2n zH$l-5;looNA5sSw zsy`O~q%ZOBx(R?#hT5Yg51*FK%SbAUgiQGGcN^`jg`6>T)P$KuIOL`cFNoZ^*$z4` zJB|mQFj#|Wr5%3}jVE;6P_8e3FDnBgmCffdbb-VuF-`^ubNdn|nXHG{;h-5ye4Pvb zrB#ofS_V?5y@TK&CRgEH_*5+Pd@6(ZGgsRViWqula7s3M;$YZJ2ok@&-sW4Bb zKv;TkX{5`PN#Gm=vfHSEy6kp#an}SLe24ORb%d4mOBI&MH#?-1)3|a+IPGehCFCt! z`ikLh=Cd@Uy%uDty1z2H25b)Y5Xuh9)~%DdL>(LH3poW!s}ppU|inEL(p;>eXq;0XYe0&KG@&jS00L4Kg7-KE%}sMPlwyga`1^3TWa z4B!bjc9ab(nf6h?h-rVf;|si;Mbi|YJRr`I9ny?-t}F}+d19{vqn+Ft z^NOl)I}m^yN(&^VTv9KA{Id}zxlhd6Rv>q|%c0G~@mLMz!Eb2)X<}-Uf=)BW$jFyJ zm+bX}q3K+ra(-TV6Sm_dS)S~hV(Mi&gA%Wqly_PRuyWrnV%twaatZ2LtR@jT9ZhLc zUv?(2xqEeTDR<&w2$Y$^1dX<1%fWJ?hctSA(j{X%X8?E!J+$fM=$Ud-`Zg}8qKaKOhQ@@|{Ts}frq^G&Lbm?zm?Y`kxp$tEY(&6B}Q z*u>>FtqjK^h8B###um+hzw=-%C#ovf7lZ*2WHz{~RCMs6crm&y;|<&P{D7m|X_UVJ zBmX9W@qdHgcg$B@To~HK#-YR;yfc|@R>MA$)2D|ryINKwkvEouwZIT_L{qTOpW`k+()JNMH zT7OCq5IwV*yfS?Qv+7?p7rTr{Jz7)TJVJ5ok@Rx81B|1lzJ$*N7-!hfa0VU)fC9cB z^6DGsH}MC|x`VAmg28$}dI~qtuPSp{$idgAn{jboxR=H9(Q7V9%mjifavM~p9|*2V zg4LUfSh(sQTiYf4tCAe}tr_#{a{6r6nWOaUc9(nny{)v~q3h7ZUB)7~fgGc;c#dLn z6E3=frYQ7AB-C2Ak(wU{ZNr%@WG_|#mo`_@6mvs@bB5$fiST)n-IO(S^>PXS)Dz|7 zg3f+S#TmssuRX1ZhC8DPlH~{FNiLDax$0S zp2L;rU^}PHc+P~@to_t>0H%Ody&!7q4fGonIceZ+eb>Gdt+j!^6Z(h2;@~=f@h6M| zTz0I0AKS)=;-~}DsHK4rIJX1V-M3QS=$jg0J`Y@z3}#)HFo-Z8H;y*w>j1QmobocGPPx-$x%A9veFLTh+nKu9L149SW0tSqRH=D zQcQ06lTu0an+K`0&GjYPen*Z(RF^5bW=jpS|Q#L+T>&A*N1jO zRD8hRSwmBg5=&PT1R=LdBB;E>CjFi3bHnkE<}{!ZMS|x^if^R~4UT}RIIEACe|3w6 zd*d5Pka`Z`_X~_$-Xks~RA6W3f!mSmX$yICdeqnKgtG4m0}NbMnE*yuH6}Zm`E8c| zCq+i7fmL|||B$5AWfGo-Zo^|Y`WaEc{%^;q{Ema4foEs&1r#Zmjn*$@PlvFRoj3)M zHD7l~9*t2|-~gt*|CMa&i`_^Jp5I#7i0*NzyI-+0KtnUx|DqYob{1GvYzn{Rr8d%i zm2V+bu`ZB()TEa1#ujq><_|C{75e%B{_h8#<>8U?%pCQvOGj z*nmak|i;VB)gmePz&d+%vpyizMWnB)#Bp0ktS z*rIH`blL)?|{$4PcJ5L4? zB&?yh!b)5t$Vi9;>`Y9GHao+0Ov*eLgI{v3ry{HvV1h zk~`2y@9ii&_di3uuNxs4v_C?&xFoH>C;trUY$E_n%nqptTL;3i?!4x^19;a$UEC80 zOe-HDP5A1@+|!ILWE!cDE0|z`0)UujN02CB*Y~evcg7zDtxh|w{UCiJyeNz0MI}QO z3nYZkju78K;gM1V36b<=%>B0#q-t#rklT7kZbQH=bpMY2{6MW8UJn4*9SMI%AnHgv zWJ@i`+wwb9ocgRG`*tSSvtd$3G!9ZKO-T!9o4(Tp4*WTMXHq8P2*LYw2P%MkWPj>) z+Kdfr*LiF~)u>%1b*V7;N~s(=wMtCV2o>d7181Sm9BZKBp$q}vWz}M&3)8!8o_H&1{U#x z5d8F7;@XcwcA_>fN?igJtI?Y)p0_F)N9+Lj5kv<=kI9H$>96?Poh2D2xOP+KmW zBc2pb)3m2F|FLKb<;(d zrND~fy{KcU-H|BgNyE~-_7SRaXE6;2Qg}%VFhE|rmQ@e@vS$76iTHqB6dT_NWoiW7 zi7=_7v#B4GX}d{|tiYb&7^pX(orY(kVV?}GlnJ(frS;h9YeNCloXH_e^2L(Ri;sHH z{!Si?3bJ77u9IUnQuKl|VKR4at8#)94TFse z;cUI4eun1V+N|hPEFi^u#zt9^xqPOc^wjan{_))p+YzHJh8NZIp8xINEtg-}Mvh26 z-hQV9{_1Up3yBZtYC&m}5OW+*4AeMxiMW!APj{x3;*BSIhPY3nS6>55f&AH4w%@tF z=eIbke^31B&N(29SVAP})|t2fQ?!W1hyEP7mwV$lXe3~ih=_4i5KV{zQD zFEnpxv2wa#^rDL8(&4BZa!Ul)jlkSFb2QRP9u|>I20Y70oP5$|Yjyr+1E}rA+zWT+(O5RV4|#IN86QIS<*N0`5Rq z;lo<{l?=nl?_Ecyo^;=CkX6ZEFHs)xvpq1al`7#h;s2w62SKCI1=ay-aHzc=99iKS z-4Dc^avSR;iEQ3!k$#Wbm>$UrW~jXi4D|tk`N7A6LCoiF6)eSDtiO`5^xkxCkzO;d zqb!(p#`YV0(q~}~)Ok*nGO9^cY;qU6 zH8~6kOJKyX#J=nxRomt-u+8=!#Pzf%{zY3gOnAo1{tbCFmFGH2O?pAio6sIyZh*WW z&~v;ji$wVksat7-Q_LlM^sS;uqp8@_or2S<6?pjt2gn2$fl`J|U}h`lC@98;3J%B9{ES92hTT=C3W6w@d)n+$wI z=1?McB~xGvFa`T2MBqDvDJ9|bQovD`j#GBXHZA=%fTtuK!R3$iiO7m+>UJ5HLvHcs z3kT7!JKG$oq=7_%Uk>8n7^>r_t#G}_{vr4$CFM7aEhEmK1 zYX*Ck*16<{P8Q_TfEl;^1&eZ&%x@zOqUh)ClUr1?^36@NaxP%-Fz6gAFwAlNT~5~l zRl9-0TWhX?f7%c!t>>}aGa+Hf<3gMNgqXDiASrJ$9seF&hY&_P!^P?CiRI~$cMPBR zb5{j_*D;GkKCKbhn)NEx+m_rKFHYPN+$u$2Usl*F%sIu$`E@{^2wk`Vo5YY;e0b-! z{|1hE?HuXNX^eaV5n3^0xBCxkfo&o?SZ=Vqr}D<4xw6(aM^}SP_>IAa^qP5qT0l|m z{yX%jmKCus{}>`~zTro`Olz@f>O8cJroeRl1C|kw9Eo;&&V__GCdKtYERh-x| z1B?R%gri-WzvP_jso39;2YIuS-e@WoW)mRCQU^03=)&v$Nd?!qC|ijGH&jH;mOa)x zis@ll*AN=0sa)H5a+8l7MVx4mn~l)w2CREGlE9r4n1~KS!*(hQ6;EC^7IXdK4`9jT z`M%Cc{3=lj7hr07OFRd8CZHLsoRnQ@konfh~ zC^YXg+Clpt;t>$zy&>z|Y(bvALxDoG*NJ=q@q&@OX_r@sjn!BOW{@lrg6TyHfy0Y; z%x<4704cFBhUIbMmmMc*R;{VwGs_eJ8L%g~%T+5<3=w99xOE$Bse_cqYE0(vechdv zE#7g%h5;t2w8X;(4+0-4(faPVJ$RF0Hurre-G zcB5r48X;Ye^?_rNP(m=Bz846~E}d&qTV5Np{W4AaWWiwzxM$=IOe9=TJ_@u$pm|+x z$p?Vk+iaF(1q}-B75T=w^7I}I2wm3sa11fAwn%Pri{25)ZHb50Tf$EC9Hp)OY3C2v z*ss3VMK_@hQZhS(etq%J8UYfvdQ65giw-qJ0wKUbx@xZhmJ^Z;7^&L-VO(sbd}{BG zVHm(^w=CRT94aBe^#f%;=pC+qo=4e`=r`y0tK2ye;ui(@74$cR^fla-BRRQq8qjU} z+&A!q%&-B>pho4IK*@~&f8y^h7@?6Lqc*9PI~s%i_DGK%6>Eq(!A>3UIB|@~PS3k@ zic}kx+vI~e@%KCG#7Ss$PLR>g{iQ72+It3gaMB0-rY)wpcdvyF!!ow!wMo_4dj>i1 z*xC!?nI`lTNJjoKndj-g&ngKOQAZ$Mg9uDZR^COa<X>*DZ z%!r8yF6cW%tshTd(z*&66r8v8Ud-$|vk-CC*#P3BEE1xzt&enVKMKmpERY}_xoV4q zbaw|@jJ1ynMRMoIQ9nAL^$Y@<-#>)#KFj;<~Aaqy_gzeM;!?U?0}XH(<*?v?sTGGx>6jR_UMi$>2Rnn3fbZ`s<^0 zTsGdg?rHG{V3VDXeUTVxMWJ0*FGX-hEB@xi*4#B&7j{{xnJ>{i2ZUXNOu}|`Kixv^ zu8NvM13hoFh3;~{9z{?A7(cqb-K!=`Z?EIICE86Y$7eA&t@1scE{;)ky6~u^ek##Z zZ&#(WBcKpYct4xsSD=^5H@XzEIN>+Hy}c>7y|KL{vDJ_w;S;}=F+F@?^K4dTf97&U zK$*lQ=fKgPkS-9zYA*v}E?L`E89MZ6Om*AoZw;=wY+#2uH(D1}Roz2tVz%xX_eDXD zb6+GRRnP?)FSFiAaZmYcupz#6WlsHHcMCp^Gb#%3UkEQzS&|ohQY)?jdE_a~poK+K z`e1&f_41>=Ha^VY(1=gjx(sgr%tgo-G-8NinLX^7Dnt52Ge$3N$YX7r$z|eq&_B#R zU!bo%3^~$~F|=h9+{^_d?Q~$b-)1Z^|D8d*3Z5$JrX>~x4+c^K7z&>}nqiLURx^@Hvq=^Vi}8IM0xe+N0Ws@$b_dLns5E72Z?z?-|rz@S3n1Dk-i;2&a&;JLvPev4yIx+zfISaf*^(bz9J+zEx6_ z4;I)B@G-pQ%eFaUiO}xQNxF!6A{^lcJX~pSnjHZMHYL=1g1=+Ms^ruj*%icm_v{l_ zi~(}bCVmi*<()(XR%YC5vRuNOuV%FW4=qYi3#Q5dj%aPavu7liW-^l_um1-MI5afe zlY-9(x&k0nJ~fiGHxcr2go0PS-#ahf1!qhOF}r%X^I_ogAIpVXk%oJg;~ND_k1M0( z*>HWTO63%;!FqP`H>V?9`4#qwevcc;dvRb5r2l2-a@jHkTK*%5hd?2GxP`39x#&jq zp}0I0-Gsds-*uMXM`G*9l*(!#%v~u>!eNtoIvBVLUh|^EN$Wkn#IS5aD129(!e|0E zfBXBrQR3Zy`tI!qA^c4XnX@Z*0=mQM0M1BJ7twpB;lONmNpgU*o->KNeE|kja|-wR z@ScN45wIfgddcoGvpBhoLwgeey!O+`@e{=a?&Kr8{1GpRs@KSL8N?-f&#Sv0>tl%6 zzTbCXAU;z-+~ef#Y;9bF+6dLx^19d(KJE1d_s?qd2DoIs!4YQGzjH0OL^G>vD(I=3 zdcG^y0{B$xeEz8Of&gA8u`4=Jfqi%6oh#-+-{r$YII1T;1@P6BT>g@^VxW*TDYsY& z;+4w0;7&k`zH5;SSBzfw*+jhtMy`GIE|wMCpG-AfQ+g%x@N6hV7e**F7G?C-9k+83bCJiTka z+u|4&>C?Nq>jAu?Y&Q_tyawPx!meJTF@#`qjvZYB|A4*NW7o!omjH94J?5H-I{IBF zt$opqyv?}B9Bk2t_6)0c5@##5$DA7gFQI$Pg9yQzyM_w<8%r#d++{B54d9o~0+%-@ZxC|k)Cm?=I=DOZqGe9|6_L|>}$$Z;e!Ju?t*bCbbc5EZD zr!fzPg->vIuDXSAL67%(>ViX0aDw?i4|vh-c}g4NbP2g3oB>0xR8CGt5tyQOV@I1F zK&}s`sRDdg`{Lem%~A&d=bp*VJtwODs|$9C=l-59jfMar-J6e!7G#>tu5?_|AOYRm zw;I6}gfn{sbUu)ZSyx2Mox)N6rAq_l)^9mZ+8uNc`y6KSJNwh(0DTDS{YyfB#HVg_yrR zIH?rG1$6+0oaoo3I>5I;%k;3@Oc)jl7;jOiut5e^8wgk*3W7JX1&M(|iRm;hCnmK?`rZpA4qgU>44EG=%T0#f0Yt#}G}y>@_~`?8Dr8*ZnM{TT}*AYKbr@>zWwqqg*N<19LQ(Qx9vHQ+!E2WFjxj^4o7FfxE{OF;*n^S+3b>lR)4*w)rRi| zPCMZJobTo=U7Jxh?vUf4e9uOiuhUve>-%Ao_3t%PFJr*H5=mPe7BkVP7MC^~J8q<# zx^QaK9BZTf>)?!drs>8Fk7XC?N&nozWeR*-yhWx~BVk8^h>5@)r8!pxnlx!G&$KV)%NnM)Cp=BiwyfM)FF* zXZ~~=nascQQIVW(p69VtHqjTw&s-iFnmMA!)UCH7Tpl__kVDbG-WfS|lLBFSy_@7O zO~C`5H#Tbq4RFgu(i?EEL{gXD&(kRzcFX&_4kFv&VJ@#n0h;@arh9**0pG!8gJ0Qp z#LxR~mvvZk<~CKhR^*Kz6LR5|-RI|Y`5*;Mp780yrc?P&!^a0Tuii8=meVa%Q3>i6 znT!6VKqVKAs+68MF)*a{g!6)5FnS9^s*!GDuif4Di? z_O`@{t5Q}9oWjURI??+b?!tSq^v%1a@MP2ROEWzzKJ!q3bn*@HfORQPjH?6nK@wx2 zHT5sld!y;8SfcFM#ofLS==~U1jOZfdF-bznG7sC~NoF~UxQ@JX@JU6+)@+x^iAuhH z4{$S`h&r(@a>Ug#GLk`5&kc8o{re^LjrCBph0Ml7j=FQu8aPuJKA^f!l0+#treeSW z>NeT(-EpszpmO5))yyx z3TRvtEOw)fI65clDt=+JQneSsQ}V1ew8VAees8_|GZ5ZR?VouxJ$$e#DbP&SuxR^y zC0AY57->f^9^0i=U1rhg1F?-4v^vj4voAcZwJD3*pa>lz7%>c zRR5(~{3X|eg~Vj`#0N3y>n0~I%`#2*sZB$f?kkxk+%Oc8+uCJ_yr z_~+uRkd^Q8*f?4I`0&$ZHoqzAiIrJ<-gBZvN|}^0-|x&V1SewWYQ(l%b=U|v)n^j9 zYQuSbTPw@;AY#BV5S`J%wmu|iYEz~M=B2dVvZx^@FTki$J_%QeEs1* z`PfHm9wNcgLQ9HGb>Z8WOKp$P`>8bnRqrdY6wa~qo93=;n$;j?jKdR8AdJiA4ANRg zV4c7d7rwG{)EgXjxOu~rcG%_)xDB=Sj&h*$M{0xH=;|ltPx<<12EaZ6J^}LXF=DZ< ziRuK`D=5BqPbN3`JDl;|8ub#L%9Z^x%%8wFwBT<#JtG>#09~ZIIRVbfF|>#9`x~## zSS(SRS7%81Maaf_aQdvHRmlAPfy+E=7G27CXxggj~KI)FFR``v#6`6|Sx+EoRGi&*Hlk?d3J&YHX6I@}@CiJ(w~sG0@AH8j zPp>6kDb*ty2W*_-sN)8ignnG@oS8+_aDLUOTd4}zyac3t57)kbg@Iqo>y!Oe3UGsw zS28wgAOqsCf98Y3Cv^?3QruxQvvKsugHCZ)xhB`8eRW_hygM+%FD8Z~n|)L+;gG9+ zaMTBW&B5=uZ20Z@Do&;|z%x1eHm@a4J}|}^D7rFFEuT+b7;X~g?+mkaHowIDJNydn zkQwt_&1LGa_aw+bM2u`!-;x){R6RWK`o!;dMzW~=2w7~Zj z(t?G4-=y`zi5XegM8S?wkRcvt^eXTA$(~U)OGsh5 z?QQB2P^mBA!y7+M%tZf@QM-DWf?wz=!hID9mF8LENjMNRn4=OWb#_X7`NTm4MY(7_xi)muJm@pd`qQ|y?o_!)U_JQ5j?nt@1SaD zDJ{N8LL!oh=7UG)CiD_B^MV~8`9*=d&(-7O;40um&Av3_R$E6BZQv;m@na& zNxhP>>b`}^z7PDoag2Umzrd}Q`n>T2*r|_RZ+|bcKkSiI-^dzyb_K(-&>)CARO6Ju zRUJ+aoj&KJdR|67NeXyC+x{6V$DYsVW~$pK1pjK;IIe_X+$zRZt`X6`4bB07ohERT0&?(y&uY zI5(uf+&*!Q@_?nU#86dE|ERNH{-7x>NxWM`D8I`bA7&Jp_iDIIQM~pc%L;zMbhBo4 zSUW!tURU$&){$&^B5;#2o*7Z9o1ull%L4vxli4Taa86`3g1A+J{*|3w5uWYy%+&eL zV8xwTc%Gd1a1{1f3^-`5JD|;!kbTmc^NmQbwv|~;l(}_N*^1LbBEYWq9R>Fd5>5;E zW$Tio%HHP&3{Xk^6Cl7I#7o3(xRO+`QLT*?*k{!$u%A?~yMbZcE9i98oi!6`T`0N~ znNWH6k^EDT(q%EOgy9qDxxQ0mon9gMw-x!>1U_sfk^J54jtb;uZ#;&zeJR8pGQd?z zs8Bw*@*dZdR!@2hVxT4c`l;7>b=d9--I?%mX!r+%GPQCH z)#8^7592JIKRV8`TnIIJ4$P}>Q~s*gz|GlEzAq-P{+1DH$d_@w=$@7K!^<=WD>IjP zJ%)sQpft~!VC})DS9{=f3JHRS;3y|SCTMV_sCTFzd(ftSvAZtAH)8qLs30+aR55qZ zn7t;Pjl}btSpy7N)juTb{IajaH{<~6s4y<*HAi2*=OwV~u1!JT;1>7_OrYAR9o~y& zG@q|B#2)bu-r;Bdi$^B1o-$mP?jv6Tx0f0tT>FNkghC8vee}=)wFy$+uAK+FH{Q?yw;4`kE26j-CfRiDHL#H5^5|lZ|bwE+_ z4P4+BeF-6%;P~pcD8$GcFtULd6#z!xAw~e|tNj9@_IQX91e}k7D-{q4_@YS=qWClh zLKZaCQZq6T2eo7aieadaA^5NiD+tDvk0dbpXn`@^4}wMe2pUrv{D8{$G$6%w2*LdZ zYTfrx)pQ?}jF%v|5TIoYm!N`*4^&n&5X34EX!`UZK8G*a`38_a#iZmeO)=?ndR86qU5VVgrT_50lW>s;^id$0F- z-{-pC>;2=suII1g-248nd)@0^_gd>-QzQL28DW&A;+7VlRA4nKk83OFms zWIT3QB4j^sE%Cu4$43p}v4Zz7Mfo5J|1YxnWq_=LuOKqM5WMgh!V_44l0p9N7ZSla zfWADhgfS!i2-a2vTqdDhAn@bt#sbDzfQ4jNN`esCU!6;JIQ;@-P zrXVuMWDr1ztZ`TbkU22gNC0^PBLM=)6&Ow70Rl$z$f34_2zZ;~54dIKEhB$G2hM}V zPqpI+=MiRWM@IcTa;WWaRm>x#YX@cK5jgQcD1?xTFgRldSsrBr9DPuewH6$N2O=in zw1D1gFs;oGvE8MdvVXmx=B zQor!4DZjT2(gLkNot{p0@Sc~iI{s(R-i!Pa_di-z>SVeNd^p$mEwO+7#{F3I-t>+t zzaZ|k0t1$L1X8u<^hLczfgSUsp|Jed&E{K&;HnnHyf4!`ewVWoJ_Bo4=9Qgn2TbH3OywV8_J+PR=5h06D}U04UJ4f zFyuZ&O7K9ij^dORX|&0uU|yv`Tm{X_FY^%L-Hf-ihv~p7Y{8n|0=XVGMm)D1(~|(F zJzV6DL~2d|2YxeY{~Ng|OyLRO;LM4b5ob4UOEK-6A}$|@P+t7U09R%KO>pA(fgI&w zPVUVCn&8CwgDNVXbB~0znU`qb!~+D0DhF}KyFtY?=EMyIvC0EZuF--C%>4*(8uM~s zen5l9+!L5j>(~ThmH(MLWyz#dYr*#9M$HlC&zXmd?+T$aw4L6)LKDu*Hef#CykvG@%7pVW1ei}aFIft}e8PFj%*B)m=cU*>EIQ%5ECDl5I4@ZW zKz+h_DFzWR;k;xaxJykqFU1g^pKxB1)O2dXdCAlO@CoOo7~=7NJ1A zg!3|115=3e634Y2D7w+{y;vCxf1VfyD#TNXVvr}fJ5XH;IF{KI(+n(W55=2pEpbhHzB8Ba!?Tdyy2-B z-bl}G0wtgUc*D@KI)^5PK?$e<-Y_&SXBy3*ZV=_r1w0HbuucfQ2_02z0t$gQeKMv8 z(bI`75^|omPn4VpLND-c!bkEY9hlTXRD&~(-rEhhT%aC!z!R{3$i!8(Bfx1CiG9Ke zqNhIqCyLSja#kj$ET2FZHVCtyrgH=KOvF36@V%H4P754o963ji#$_?t(L#DrBJB<7 zSPBPaQmk$Cv8X|9!i&JeYXmf3MaNQzzT!-xaZ$oX4gW!J6y9}?9zBfSN)(>WWPM`E zaQ>i&bD=UKmFPo^09qn6<~=CVWA@RQ`#}yx^3hYQu%-=k61eg`-r*cW8gpXXL<-VV zreQdR9>y)Vp(P76IYW_$Hm8b!pwT9V4rd~GWk3+2gIC1bp(cV?GSDMTI(Wr1c_xBa z>3X2aMDU8(J#_G@Dax$M?>Kj=Dk)YT9%!K5sFqZ>%SGugl#r;M3$Zb!j_;W)1 z1U57k9aUd9CKedJ&qc~gvip>slniBvH#|=Pj7>iE_)iDD69(E(Z{0QWxlr*#+cLgb z<0R`VPKKz3J2yGwi|T|CSsfOhO&ljFF->ma$l#byK_^lR;Fo&s%k&T925kmswK=s00}GokptsHER49^mg&x7a-9^fj^n8Xu4ByFm7)$%Db!7Yrp6@r-nx<;x12D!|$V)uQsxZdKo;O4UlOesbdgXfsWwh(k0kj4>Xg}w9|8q(U_2R)4%?Ga(hD=d;@LRIabaEfOEN@Komg|~<2t5y z_}8jO?63nUx5c(SxjwEw%x9M#-aRW-U)` zBT1X~1mYz?v<1ZI$%9A7m!7+*(wm4pH#CZw&DsOE+@iV}{!RoY zD2PXn+|s6^7VdinS814I+&J_IpXMMVhLZ@Efdps-R_^P3gbaStd5l8Z$x?T* zI$mtOx5M`?Y7HV2QCLM$CExzZSlt((wL&rNm&W+E(O}!G(Y&Fys<6aCmozM2FpxEg zISlxCKj}V`eB>wcD_AsZbVs$nM!v%2mJJUPlX3eV;=I(VKZ2%vll#wrXazM0wdiI4iYJP-QR^l99o#(t%IA*@}Mx5im zrA{Mj9Ev8V>x0&&bL$fpsiiHyeaIliPwJD&n_vDTVou4Wt(8+*w{W({jF>lX>zHpf zziTqS(Nv?vfc}B*A z=i1N0z`z_h6Daj%={dWwK`ei(ZDpl;v?Oq+ETOGnH#J3n%Ty1`a%n_nx2W9}|BLeY zj0h@9Vs5=fQcRLiw5(_5x8uCiBpUA3+JL6iZiASnqf$v{azQ2XpeN?lX|~tBX4~!y zNGbEQJ%km=L+I7|fTlnMQ4Wkz^3lLvL`u=+d@|9{l-IKKk-eQsT#>698`iSLAx22S5CW&vEAfD) ztXhMZ)ZJVTPx62zdSHQ4nse*NM)E(tbxCZLW>-s(z3Y)cO$kIFJr+ejQ zTTRW|c76G5QDH0950CHVaWlQ-)A)FFt(-KtGpY2O?x>sd^Ni)C?CMoo$|>{5UxT-a zVvjw|@2zGPq2XO%`#i(JR6@&`RK+;84cvMxH@1dP454~TU`~BuQrDoI=PBn=b%(Y+ z&=%c<$an=(XCQGJGd{iz$Tf~Y?zndGqlZuVj^SC##QW!uZ<$`ApXIM=m?Z?ack8R7 zEGUrB4-Xp-69TYCcVMaCd9Kt|4f|(AI6LF*P9f+Ww>Jm9oK%`ib@lYj??xRhBdfvm zqRz~%Uukl>=4ai?O3Tn)gr_t>)+u;?;-JHN2f1qo33ZkrLzVRe59}n10U1Jl9W8u3 zd0K}8DV?$aNALWDBRLZ*lAcD?*=ZepWCi%Ecs3_F6bl^6PGt9#f=+J07oqK(S>yv) zoz&Us9jz#&;&pylW6TsP!=!$g@x<`1H`ULf=1*9#q^y zXmfX3M+9&{2J^x7X1L#0*gJ~-x zc4?p27v&eNlR(y0`pm7c43Fa{>#rGSRwl;W{$(i@Mcv^MRZZUIr(H(i?tgSQW|2CO?WuF+3XN%Ib=HGRfj`^h@?TFf@ z|94Tw&+w|%v&!H79mI>S+Qj@C54)pO?X*Mt<%d3Jeea<+f`T?_ER=C(ETY%nckuHs zt?@Kl)jd5VJ%U>QcO1rU(kW=5!jm@P!$DMgLPK2Rxv>0(k>uX}H^+YNGglNOM_43l zd)~uTwFF`@Hg`Neu(6ld;ep{wG-A%a}2YmrVwXT;xX7+_S%r12V5WGGZ}j8$C@ zdY4+?$XO<`C4NNgYMo&aW-q*E#!N67ev@8P=`iqepC&`4##+P8OQ$SKVJ%2zbJUnv zd6BV>34vy20o%x#DY{N47|t`vl8|#6JaSMm9)3qoNBL5MUwBQE;+uM95puQ8#Y@(M z$EI`T*uIxbig2?d-;roL*u0FH~9<=8&_A{ysUMI`I^q{3!K^U;JEoZA5KPW$W?Z_ zP>ttT#rT86i@D{x8YWH#+B1%op(jw}eLExJ9pXUW@FQuRWb-@3M0tZ7zxNJvLbP`E zk!e?zt$CyGl=wF|K-H+D8q?6|VOe>b8K|$Z z5Pa!W+w2av>TKaUGpwOxBIGhW^gTSRhPZI3U`8{?ct0sk#Zs#}`nhb2IZsi(MjZ%x zJ!R0nQ>@NmW!j;Jt`BcMr{~(-24*rPY63Y8#UuNjo)X&b?=;T+eYke3J?c=VuqH3G zV``WD%n-+Q`|jMZ2HmY9@!+L`e{0~3tC*5w3;m|hAioQZrdA=9j`K7`Dcz~f8WOWT zeoX&CSY0HX_EfN96(|1!l*p6Zy;-sms*TU>N#Y%cKU67Q+w|2mn*q1ii!t{1Tbd3AIeoZRZ&F#mk}V?pZYjB z;ZDA@ZK-`c5fQiX(dp8o8Ne5=8fxb1^ne%(sR5JtbBc(wP{=YA@J+h#wqp3nUpBml z$Rw3lY_tQgI9)LdOoV91s{}L*?X$^w@y6K(*PaqynjT=;Suk#Dt~e7A;FJ@{dlc-; z{k_cI2HJ&0L1Lw9@-0%OlG;v{oVx^Lh9d+p;qAi5ai${phJ;0Y?@6}Z8k~(0qAc*5 z5XieH6}OaPL+#PL&XG0t9x55F#Z2RRI1 z@Aa1%Q)3A~3M~`OdUvokj;dhhbFgguB9;qQ!d_wjS79(nQ9ru-bz3MkH!qy$m4 z6Z_Mi`0kM)|ETf%>PR(EhnjWwaj+EoVWz%d28;uW)jFzv7#*B!AQaI5=+XFiL5PK- zBJf3Tq=zF>H9L^i?;7Cv_6J5{wq4Jb_MM$ExJOTKG}z5*SZ_(8#lZ1#q-RpB&-+~V z4bNNfo?U7s?>pmSYwv&&1QU7&z;S?{3&cSFUw4&1QI4wZO3h;TuY0I1U9AH~Xc4oU zp%9})G5E>7+e3N0{I~jVUH4_*O7$;*@GP(Q7ybo!%w=d8jo6Rb5GvAjRKiL3i+}ac zFZ_S^LnA3+qzsKrO9$Ty?x=A<|8!OrNg|<89BAwEtK%FA_OIvDvHSPV;a?sQ$!(-4 zkF^dTzWtQNfw=M$!<%AgC9AFTok4YyH{Sp5fd3`n|NH>D{pTMV_&>-89{aIw#U$g68l z2I<-FXDs?N(De2LEykwKA1@T`uEuJ2VIG&AsQ7%>Ftq>c9A=y(4?@v%9IP;i~*($safM)RQ&CNc5F$ zyS7R_6K#G;OIqea6&I2HU**ywqFhi@QFNO0P+wU54vqPDrp4^u6D#qITVHFut3YmS ziFCo`dLU?cL+vm@1Bw zClMN%M*8I2^EdCZ==ZyZj_N2?*YvhYaPQo=GydFZIfrUrpTD%!7{t`lLtlNcfvZHR z&kCjO`&XD{tG!?=1ubpP7H4v{LAV75c_+z#;f`_cgS5?7hQZH$Hr^u5ckm(c6(aEg*wy1AJ&-It^~WRa?F~m z=(ngv$@kKR#yn+>!@k}_?LV6{Jghw2#KNVt*T|87mEryEAlSC91x>>t{>r|8=4{{Z z{oouz86R|8Umtqh;8yBsdH3icpN8+TX_)-MZuV4aP$76^$hBJZe#S|~-i8C-&fXqh zLkewwoB#sBxhIA{*-t!E^soL}*s%PC$v212 z*6PFFLlM{7isQ_W*LlB4jx1WyRFbZiED`JSL7Dn|Y`6dUnf=_MJ=Rv%*ds zF)La#?D=N6{gZWV+UfNzKAj3|`??IH;QadiF`sh2l&;84(z%0;yniko?-K6R*T3v( zOJdtV%A78*MA0~p)LJh$&ugVW)wfuh#jXd*<_O>SNjWJ0ZHN2ps?OKlrJCuQ?{=r{ zd9la+1n+l7XwJKWi%|pN)^%yi4|6j=?QZJdXFrtq>8RvZ?JX`#{iXREbfK-}%u3YK zzOS*e)a^7Y;>vz5j~nc1e7fs+os%59PpPHI$gt*qK(#P@n#o#qDXSw6Y%?l+n$i_y zVw^J;eEox+w_T%5U)9}#h#IcR0``s-@_qUe;%X8QJ&$b{hJUd-QZc;k(aT)dl#1Xr zl}0UE%_lar4&RmJ)}K}h6>!=C3>>c&`*wYH;nq1iTuiGidha`aW9RHAjSYo$#eKT$ z-lz&Faj??0_pt7h-f_}OLfm5m z$m8}zV@rf(#`p_|-q(4DJD+s6Hr~GO+{AD{@xBwc!1?Vyg+KlB%c2wOEcIos(C3c(7ksp)<&Q(vh5N;CN6k5XHUG_hdFQDb&fCe%3nqqbt6DzVbvYWY zX%Y9W&+XD}EUeq?nc8YABmZ5^s`S|hrT5Nc=DCC@_d0=hm#~l7PC}K{$|gG>ax)?l zej4K_-sHr~quG^8=)rxiXshy0J2<1_yh*=Y^YoTYo(tQ=5&}Jf9L!$w#q7$P!cyUJ zgMPM_V%!hw*A+RfjnX?%YEraULcBhjToGlkRb}|>7F*x^?cIOY_S8NP);RAMa+{lF zPHmVAF7dspuq#8$KJTgZ2lsWKY9iECI17N|gEE;eSM9Kxl*$HftF39FnXG)@nl$Uh z%_s@HQ-KUaoJZotQ{z>!i~{q{#{+%Rs}#0nHLBbcXj%zBvBAf)8+00%SQM8&Ei?_5 z*NbTk5lp#*>)uRV~S1m*N^_*FH7d2SSK4sbWk~2n*Uct5#`t@@alI7SP^lJEyyC z>|7=LuUco;>{oc=^kn{le7-q&G&fgCuQIaYrxKPx$>qjfx^F`@@&1h7mD#%}b~)}O zE9-uUw{8XX82!d5mbF=lM*Fu~s%aTMcyp~pV~Wds;hU=F^6wl3Uv0)-b*|)w94)_| zKZA;DZ$_gr>fS2Mq;!;VDJUulEQP*jMi2@V>o}%U)Ls$bLB&P^Q;Mp=g8%vC|24&$ zm3=|-o)^;XID3vCq4`T=%OZEo0rUDtPuPP;QnljI6L0^&qC5 zG#>vqnW5nq->nr^Ha#Y(xsqQP;QIebjZ6le^;)J4f41 zP9Bt!>Te!O45f99b&NgwGge^kyuat}J9^U9&dHJ5skcQ|K~8DO;;rf)_?_Ce*;p@a I6Z7}~0$5jPz5oCK literal 0 HcmV?d00001 diff --git a/Docs/sphinx_documentation/source/EB/eb_fluxes.fig b/Docs/sphinx_documentation/source/EB/eb_fluxes.fig new file mode 100644 index 00000000000..8274e120a68 --- /dev/null +++ b/Docs/sphinx_documentation/source/EB/eb_fluxes.fig @@ -0,0 +1,38 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Metric +A4 +100.00 +Single +-2 +1200 2 +2 2 0 7 0 7 14 -1 -1 0.000 0 0 -1 0 0 5 + 1800 1800 5400 1800 5400 5400 1800 5400 1800 1800 +2 1 0 7 0 7 14 -1 15 0.000 0 0 -1 0 0 4 + 1800 2925 4275 5400 1800 5400 1800 2925 +2 1 0 4 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 2925 4275 4050 3150 +2 1 0 4 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 720 2475 2745 2475 +2 1 0 4 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 4725 6435 4725 4410 +2 1 0 4 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 4725 3600 6525 3600 +2 1 0 4 0 7 14 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 5.00 135.00 165.00 + 3600 2475 3600 450 +4 0 0 14 -1 18 28 0.0000 4 345 285 4050 900 F\001 +4 0 0 14 -1 18 28 0.0000 4 345 285 4050 3150 F\001 +4 0 0 14 -1 18 18 0.0000 4 210 405 4320 3240 EB\001 +4 0 0 14 -1 18 18 0.0000 4 270 930 4320 990 Y, high\001 +4 0 0 14 -1 18 28 0.0000 4 345 285 -270 2475 F\001 +4 0 0 14 -1 18 18 0.0000 4 255 735 45 2520 X,low\001 +4 0 0 14 -1 18 28 0.0000 4 345 285 4455 6885 F\001 +4 0 0 14 -1 18 18 0.0000 4 255 825 4725 6975 Y, low\001 +4 0 0 14 -1 18 18 0.0000 4 270 840 6930 3915 X,high\001 +4 0 0 14 -1 18 28 0.0000 4 345 285 6660 3825 F\001 diff --git a/Docs/sphinx_documentation/source/EB/eb_fluxes.png b/Docs/sphinx_documentation/source/EB/eb_fluxes.png new file mode 100644 index 0000000000000000000000000000000000000000..1af57732bedf4eba1bf16de0f9b8ed988b234392 GIT binary patch literal 9858 zcmdsccT`hdly5%iC?Z`D1VR&}N(TW^dJPbI6Oj^nFTns`ETA+g0Sp}iBvcVlihzY8 z9Yd3@K%_)KFcd?{T)%m&^S;{V^*m>z>~|d!K#I+57IZ@9#c^nCUYy@-Tux zASOct9ZL}C92WS?&{G3-oPG?a?z#9UbN2!-@DUIufxs)dnQmCkF*eHyvA$!;@YA9 zwn=`BnAYA2{Ch#~|LiXehVdv?`rya&F5BOa1Z{bsecR7OdQMBq<~dt`nwuB7^-JRd zFYg!4lcq0^R&#eQp4k%OZe7Z}4gv)k7%z33Cnj;dqy%CcO43*9~4^71sn9O`iXy3!#x3 zqjHy}yZ(|&EQl_UJ|6M~bTcu5{p+2Js~<03L$ZFMqbs4^EMagc<{P=K?DWVth;91= z;__oJfk)y|RKI?*WM85d1cyEP`;&lCqFQOvWg*^f+ThzaS+s=NpWa%24i!G%uO9&x zF;KO9s30Kq$@~+|Do@B2ZoNVQwoj6KVtX__5S{@Y4hYi(h*0b_LB(`yx-8h67M;LZ z8uMAAiACdaM9K76`}#Erou%UQm+wN8AB(%gFVls-d)pu@$+_b0*l@3g)wg@L!Nm_0 z6VK3~`a?c7-u>$r6^(q35e}}zm2WqK9D~bSc;*eAxa#;1LCSyU^&viv@9sr8zZF?z z;zy=^T>F~z6LsYIKuS))q77gguC_Wym6;~Ay~$uTO7^qYXlNWfA!E(7gjl6oNTpdg@bZb(M;x`Z!MVB zmKK&QmYPAd#)ZAr6zCjOq>^6eL?9zj2agU4%_@Dzw$|Ok{zAxfJdQ0mL!KEv5-gQj z7G;%sWs0%E7~j`ft-WRsb`LdPCIjhW# zUX%OTvgYy$xxX@4Gek4AGg>p6GjfC5+dw5*x=2ap8m~GuBLYgs*CkyHD;{za|{-s zVkFWAh@X!81GBY6wXSs)7h}JcKCgq+206Q#rI&kG=3?ziqU?iho|fD%%PNMJgz0W5 zI%W)eh&5J!IsFms5$$11kR;F&1PLM>rl?z}bEu1`wJLV&RG%83$38`yZ_yd(9EVPa zyjiR8S8DniE~n4Q@#NAc6?!jw15yG~xJ_ZE%ELE@m4<_*+OlhHp4gO4-SI~%>8l$a zzdS(jLHnR$E|oTGh0;~N6?w%mc9BsWv8bM^3G0;VUXnN5sl%^Bse=KL-B}s?ckG)p zM=HgKvJX#bsc4rjm@;KDBTy_ zJC|23+HXL1|Hgv!>(CX_2m2n?k=Ehp#hwX| z#zAY_x77*6*l9Us8s$RAq`9~4t;d{)vCQa%F8!1~V{<<9POo~dO~Q8gJKqPjc#$!r8>JnNja-Ml^Z?$s_X@RL6nc7HqmaoD{Fk+*LF(hwP}R^L1lh%erW4* zE3WlnUYOF>j6%U$e&hrB0QtaB*Upf$)RU)D^HNNX>9rP)$FFe#*XNa*7d(#p`Lg&7 z)nmnFC9laGy_Apg3M{$(?chVdvvm9HGo5Egy6)|@5!00TW5I6;B^uR-(4F5lyv`3Q zyI*2n-EYmZg|F$C@mI$>&0J}Z#17T`_@w!va{`feFt@E`FYQujs~P={c*~Ziy|iWd z0;l$=D@8Ih?XCdbLrZQkRi1aO8C_;ah$gyd> z*~M$BLT-6qUQ%sQ*06W^o83W!t*N#tRiA2~BibX+7~NH9pdom3Bl1;O&)f2H>(1sH zCjUX7JPnT6%`;fvxW*QIi;1r$HA6l~lsH5z0>{F`rdIrxfFL{gwYf%A<1XlNHkhuc z`@MY>;AZYU`jh7HJfg#P6W{KYlys+KVH zq;31f60tQfxGOSh_$Ps7F5Q=zmw*1j`oYib_1Vwg^#4w~n)W!2fnQ&%FgoL8bz%HR zrSa(Nw3WW3q9l#_2ZEH+UE3{J^+%o`jM-Az9?G1$YUZt)cK(+7^@f1^U`w(^jT?ajkhK||zO*BbT zN0M)ka`%E^4M&+nm6=7VMRc9iaW7m3>_w$*5tC=L$HOagM@9n!192ef(&uj>mD>$K z?IhrCU}*{h!9_u!_(vcR8Mqa{4g!VCfs@Zhb`YYhPSozMC+Vxdk&vGWGv3 zd%dnrD|ku0UnM9@8G8Xrc6WT$TwCs7T|U|u^xEka;Z@pUWPO!`HL40EkPruj(}2jg zA%ERqfySFqqoxeX@V=lv7N`T5X~l6PJbr~r^dGZs~YFbc6pK;+u&$ zqfutd!mkN%Cp4+dHSQM?VMSn4_;EM0DC1z~I^UNxqeFU$9*o;tWw-wHST%i!_}c0H z)Ops&bu3WE=x|z!bT2k6`JpBI-pF4#R2j30|0#S&eSl)8k$q-3#$RD-G0?X%s_oS4 zTv4yI*xqFW>DPmZgPE3hbqCJEPo%-%Gxw7sJdw6Y1j}wADVQnT$R;VhHMy-s-Q3SsaPh|qM+!gP)eC3-+?eCBoWHPl#h?NXF*PwodMWFhnqse6Y=!p$LQl&m`9)`)+s11E=Ay@zW)>)Er9L2^FH@o3VbBjnD@;>8kpD-wP3Dap(Ze z8=XH|&n5-y?-(;k)YMj*OPzk%JEVGgr-hGDaM;L^94Pr5}G@Ip&Wg z!E2(sPTWU5?he7XWVOrts+wZef0~@_lW=S!S_^I7udn;=Cl`M(4&OG5jD_;l@Xu<^ z$|D&~?fD*6$#052I$haA1jSDdO}I;+vy;N#)MJq|O`8NWX}+!GED*v5B?fB{Hd?By z7JK}4l9$DY-Ps?Oxg>GE>Ss>DZExOjd3d=`AhoURy1y`XtawwRZWDn!+-)Y!KA&^5 z?R?B;+z8Jkmv$&`7&FU_#4KRR^{z=>Ua`ptY!LQaVWuu~))N_Xn6o)a8P%ms&2jPh z6S*X}lW(7L>{CDJZ&bm}R>&X3LL;fynYAC^F}cTUJ9#Q6W1&%*m#f#UQaBZJku%tu z>?p)fSN`>q@??EgySpo`CYb2d#Itvvz^)bh+*M;uya@s{iQE{jWeRh@ z8`37-HzsMk>z%dv`a0Q6XgKc5;p4bX;HtlS|MiH+q7J#^5hXExQ9?Tk%23L((rJcgUbZ znoPCRb=q+4HeV%3_dy4D*94f{ImQwbgLQbOR&0bOK3=%TW44r&wbPy?20t)1@2whpRQ3=} zD_6@Oa20W%d%`r9DCgDjxoaj#Ej2NEh^T*196Kdjv6~f8VDndH_z8VDPhP_)DdB9O zE|U4}ti?+}@L6K?&At$>cnxgdi|#vcBP+J*uh3Yv?eTH!Rn%g)#|5E#oUY7gtHa{e zGL&aB`gLXSrKPtQcbcwFo2dn#kON&#^RM!d+qzD_{&pL>hu&VP+hb;1wVezk(pe8x zsgR^P^*O9>_6UgX#6_I;wLFtp7OcW9N1QsHwh|9>M&lf%k|e5*TVEj}BP=$tP5%tgWXdUyD}J~djr(XqfY8Fn~K-#i@H$D8F);OCI$UEK#y zRyE@1-Kysdw%Fn3tKGR6)Xbd+{bgsGf(|@YUXC6Of9Y^|K!($%AQsYkBS(Yzx~l4u zslKsm#%WAUYL{-Qo7P5fnrNZ-?S@y3Ys?s;QrnL#7dnpO`?%spT%`!|+smb7%LU%3 zJ(`~%%^sAelP;}Dpw2||ay(_$R+aYU4Vcw;=ni-f1u+`wy}KbJpB`_e9H@lMP9!|} zp28Wye~8KyEM^hA;KS1^`D8Z%zqC99Pd#o4EtOVS%MzL}OkNpS$I`D@Ui+G*-J$wG z@A{17@<D%IB-khB>#Z`7A)_+Qi|B~YV`i1E zrb%mcti0HPWz&{V=PR*H=$%+t9(%KoM?HrsQ8x=_%vzNl*}yrxnYI0sF%j=m{m*jP zD1kPEE4IOGEG#Puk{we`kBgNIERQh`HET@t5{ly$Jo|l#M}u=cq88y0p6;gD^=Fic zWXKiItl5CT*GI0dmL6?z(OBF=xD|thqPBlN=HM9{?H4eX#=s}-f=S-JJCLO36XWEQ z;6vrUBiA&oK&8y#$UtPX|ChNnZRR$<>K6+Rh?(*-MdUEy&{-3{$j$VMeT$(5q-j9M^ z%8`5ed8+hDY{bTm?98g~Ks^mCiBlBUXYet%TiAu4U2Rz`r%E~LYIRcWVFir*T`0ha z!s~rrTguE*OU!gRWG&@z`%0mAob5u+nf(|ia`s#X*&Qz{8r&L5@d(vw)Vf;4O<$nKcX*+$vE{v@e#PLT( z1q;W$(fv|ns4aT%CJ}eG)24D4jz<88H9B8j+n>X5q27V_IrPd2y9icF2zQLgozS-x zEtk~x=QCW`d5D>vHgQAF-p*)qZB9%&>QXO)E4?qoQ#Yf8_xT!+#ME=H6j|mMzs|yJ zX9pa*NSZ^$%^;4(mP@k(8T(F#PLVkZl80~s1nXm)wx^cjF9xvs<*N! zzWDX*j!5{Hu9-~L?>kGYN6U`ex2TjXt=qZuUC^fJ1=Ga z)mb_f|5sO9qE?sl1En0(nVj*&M4xo&#g2S_g-`U&Y$MTGWEV3bu*8a$!ySnFvQsA6 z!mPxUx>Iy9T9vpMByY5twUJ4y{}Y3^?A+=YRRSIOn*W@(W=L zrYbQJ>Xop|rvCG1>1QhoU1wi^54M<$22UTV0~^=3FM?Ybf$3aucUZqp@!tqM zz56k@M{=PDv2O>rHtW&GjSxS6!;P$EeKcKmjAORuE;+b0t&as?*x9L;fLpKw_Z zv5d(Wk9JZZp<=I4wtJ4__~WEbhj;9%-*6VG02O~I>RI3GZG}q{h3h_lM6sNo$6R+w z@b|8BmvTsFhaTKs~frR|dI3Niz5^n>2m2eFhYo{{)QLBtlY#LB#|JGljai zu4m2%=8%{ge?yejtM*jF&gZ?<>S{J?t>BvC&cmhjgbC{A=~*CFM7lOr1Hj;Wml_q4 zEOd0{A2fMs4&$w=EK!~1pW!oe9Sv_ba)3%~BLsLKd{e)2EpD`#kl2+U!ZT^wmTaM8 zve~dH(GcT*D(%v%vX$?Zp|=a!N#W~x)1poaPlm+QGnGMA36E^5Tl#nos|hBl8}&#w#J=GGhnpj{r-ymEnIcacby4$mq?R9C%=kCTjl*1#yJ~%q4f@3BZvnn$9CO&(5Z)&oZIcQ z68eUeOI>rZl&&n7627xnzAir93&FoE38V?U%2gN17L}d6)Ca=D_sCCQ)XKP)oxO-V zQ4>8Vs|ien;y}2k?Z$2;d1LqRG8IoTG*7w7i8E&d3@;!2K3< z42dQ@2R!ftjD5RnVM$<*V1q_P$>2g5k5#Om6&w_5?AI?BO{WpqUF2?iq-g+Q^00lJF+_Q)Hf3n<~Ruct$A>y zddA)$RLQdAG%r(CjVCe@=p|xKPewvB7z1Zk*E0Q%KKddDDh(yx3S)V-E#2~pL)Z-; zGiehHG8nHT2R;jPWK*Lq2y=j`Q6|D1)F{6ZbsWqN&g4y{Et1!0wy9uhRDX`ZAi-VW zYdJ0;8f*`j0uIdnO_NNur-=>2vDB!cksG+oT1rSSHR{KR6b`5|+^w`VVvqw2`SzB! zG3Im^O$yYt3Bn^{I9N-#%D~?^c`29$6NqYqrkEm=`^ka&^$wdXA#A==TBh1U zgWu}AiQlYHp0QC(1tRaT7wcsVf$7L(!nxa-Z>h?Lzote#A<5#7^-8JSCqhNA3Kgz~ zrYm2%>YkAh9Ke4Fl{%AdM0LAc_qG?06!L`T!t;4Fl}h06K;eTf*2dz>XfE0{|gx z7+^;U&;bA#Ac`?~Q9uU(0Ba1`;Y1oS0|N+PNq`+%q>;IS1c5=KLlBoGiX|mtEVGO8 z*E5U^kw&9H2fajx5H1UhB|XPjJ}Jf4}YV^=zq2hh#M z;3c)or-f0X3=$e*I0b#khK6CeIC6mdITXEXwZWmn99eD~f4L_P(H@j>rhBsH=eit- zulYOh{@A7A3h|2s`IUh&m?-?gl7vy_B}WV8IwpwRw*l7ju_<+dRB zS1=gNS#J9f|7Y((@DKkTYI4VDQaf-3Pc*#pADGK!fYHVFRk$+!m+VnI&I;wR4T)4iuYGFgpF;-ykbrB9XXaRu+KHd-cyp5P;4*hJ1r4 zk7O+)^!_19@25)>jZK$2?Z{9WzSy5L(pC%Sk&N~LF~5rYL(H=d_C=zqEedF~A3NE^ z*i{lms`Zu2ZBsnyCGJ}euSkQZ+$R*2G&PiwjK7`wz+fApaiQKySZ)CEwBCFpqM1!F z#dX`ab}4Ui2Vrbog}<}G|3Q@v`l-UfuNMmoFWnRaq*=`yW+`g_a9=t)`*w6O>@4Ye z`w3~TCmRZ1kklMEs_KY&B_=DcTu2{R#uc7Tn*9Bn93uH9Tr;QDNz>(V*o$em3$Hbi zU}}y%hpT9Gw=h`q4JE9#`YwxWb^YY@5&53-hX{yrBSUY)05Mci>xlTgp!l{8al^{E zNVT(zcg{s-+-{htBaheX}OJg=%X zxY)aEO!wGXenq8vK;A?$KoW~TwEsI@U-rGoCh1KY_+I1ZF2?nn*>d3qRW!iVs@bB3 zPR13Yj<11Bua-=O(pM4Os@EAw+VPb=NqxQF;($h)OZ;Eg>F{TL(ylK)@?Ki2v z$3xwaj7)|r3dW6-3MY}0nX1OsGZl@s<$3x!EOM@NQ74=3*KR{f#8+~A!-ysnM0Sh| z-L3}0d}$>{qbsaYD?~lRkFL*sB=!UGEij=I1l$;V&PF77(RZUh=N>*7-R+h^adg(tY_y^vH zc}D-A6+9V#)Bp+se=G#u_f#{0S$c%t4h#>t4-4?R9T){tl#`88xFLHT_%V1s+XiIW m|4r7$BP0|S7yyFk=t;>*D+ literal 0 HcmV?d00001 diff --git a/Docs/sphinx_documentation/source/EB/redist.fig b/Docs/sphinx_documentation/source/EB/redist.fig new file mode 100644 index 00000000000..7751cd12f07 --- /dev/null +++ b/Docs/sphinx_documentation/source/EB/redist.fig @@ -0,0 +1,41 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Metric +A4 +100.00 +Single +-2 +1200 2 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 1800 1755 1800 9900 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 3600 1755 3600 9900 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 5400 1755 5400 9900 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 7200 1755 7200 9900 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 0 1755 0 9900 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 8100 6300 0 6300 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 8325 4500 0 4500 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 8550 2700 0 2700 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 7875 9900 0 9900 +2 1 0 7 0 7 56 -1 12 0.000 0 0 -1 0 0 11 + 0 2925 0 9900 7650 9900 7200 9000 6300 8100 5400 7650 + 3600 7200 2475 6300 1800 5175 1350 4500 0 2925 +2 1 0 5 0 7 50 -1 -1 0.000 0 0 -1 0 0 2 + 8100 8100 0 8100 +2 1 0 3 0 7 56 -1 -1 0.000 0 0 -1 1 0 2 + 0 0 3.00 180.00 360.00 + 3150 6750 2700 5400 +2 1 0 3 0 7 56 -1 -1 0.000 0 0 -1 1 0 2 + 0 0 3.00 180.00 360.00 + 3150 6750 4500 5175 +2 1 0 3 0 7 56 -1 -1 0.000 0 0 -1 1 0 2 + 0 0 3.00 180.00 360.00 + 3150 6750 4725 6750 diff --git a/Docs/sphinx_documentation/source/EB/redist.png b/Docs/sphinx_documentation/source/EB/redist.png new file mode 100644 index 0000000000000000000000000000000000000000..6184740c22a4fe5b39ffc2f550f32bb9959313ff GIT binary patch literal 31904 zcmeFac|4R+-#>myHLbMDnzg8qq8P*^(jv53B3lcUEHjD_(;~7jZE9pHrIJ!ADqGpZ z5GiDzsj(EvzJEXGx@Ml={e1uaJ>S2c*L~lw&Ybf;pZ%QA*)I20b5rAm^Tg+27`AZd z4#RyIHirxU3!F0(YBV{olHs2jPP>f_vFYHb@?7{e*JFn@4Z{SK@&D06I-w6n^4ht_ zh}15ye2%K}nEKOg7&gzx_kfkxK1XjE532j|6RyW(yv}(XlR0tZ2!>e&CEPq6d-Tad zqv`Z{>o1tiRUyp`{X3=Ey3NAdETc*Nh|ao@a$n)g(a(F9cP939O8a-2?;JgEQL3*u z*qtHyuHj8&!<+B7izPQ(R0Iy~+?RBsrm?I<-g~+xKCo}@+4CzWJ-DxZr=+(@M@Besex}dq(po|Jyc?UylE z=egHSog4V>>GI~Mg?RMj;j4xc!sS0d7(WadZ>g;wuI&A_^Vt~r(4D^J!N+qGtty&_ zzm3LQ{<5Cd>pk*#$h{Q7VbUo5odobmqiMkL+24F#93UhrO$Pj}2yOH)hp$y7`0 z)={{$i6!nF;l5zYFD+$lQ3t!6iJWovCX@U+&dF$Ac=4gb`!S`^mq zx*+(94%>YFr#S{Xr3V~6G@izP+r?uFoitG>KI3>a{no-1cj`v!d9vKh z0VVuyDzJMyDm!k8WNqPI^&c5NDl{AMZN9j5}r| z5~!tY?e?ImmGNxNx?ARFzn^UlFFBwm`p3H7`pJe>RqxLQ$f$0vy=C4#J2yu0pxOrx z*_9thY8`V?)5h%oWp{Khq|MW%U9=D8%--%iR_4>^S| zMeeG|yws|`?<%s$>Zr@&u%O$|e9rw6HfX9Uyb|};{PmspKTMj(uM4-#42avho|5+b zH|1lnGpR}Ft^bK3%j4Mh4Zh9xMz72QAHMx3s~UWjR3h#CsZFylGq3Gp&h8=A;`idC z4UZ&O*&BHDK2+{g(h9`->EbgEkY0v1nX^kg?awWJxNEj{_&SEYXZ>ck{)rA7Dj#p*->!JO&vJ*{9yXS?y*9UeIJEcafI;WA_lKUaGNVW32R>82&ugC}peAx_NMP}T zUHf+>|Mk^0^u4a<-PuhMy17L*cwd=|m%+AquLP`rA1Klb+Mj)Lo!1;AE9G{h6(>E(NXwKHW`#b&f5g8eC|G%jpwE8@U+h>kY4h65( z8&fJ@BDH%R=}5+ocRt=%OW)Y3(%*mI6&>M{ary5Z?#l-ShX=PkEV%nAB~SN)_71^U z@&^~Sa;jW&Lmst!etIb7oA&n9xWsiQw~#8Vmp4E4IC%Qoss7t1!-{Y0_0#uS5?S=8 zq0+bZASo_bEqbgioKo7opH}qsd)C2saTDz^XH%XY5Su-q)pfSZb!$J#RV0#O_vfn0 z_PM(E{nok~^tH;IE_ZrhG|_ZzH8cFsIFzZZqt6UjBUjjZo`w!fWa^}Kc{;phR0 z)AqDTPR5)4ryd*<*E+3c@I)rg=?Z{ozTyv?_Y@ z{iOF7q?QCb>{0lzzvR3@)b^jZ7S$X}FujuHV(+URIk0d-v#(jS*=Nt>nb?N&FNBh` z)A#9b-xxW(d#T6Iv&_E_ufP6W@T&Nnfw1Gc6)z_ruY5|Gckj|xM5=n5|Liv%Ge0vl-j{{!Hh0im;8CQNY2=E!UXlKQBHD6Bj)$ z6r}Pvy}bLM>L#bR1?{rOr~^!6^ZMUeD_RzhJZTR*wXQv&V*_jRJ&T{8Z*(&+gpiEm z=rt#b7x|9e*zJb-zq~gvN8#2#5!bj@iM?7V~XmW8de`vRj=e zW5P~H=OS8O&_^nxY2|pU>v+eW6#rNle$ZvRR*j%D-!XhGt$m$-G#Or zgRG+)UTP(a9`#7x+HibC+bw0P*(NNQhD}G3VGl_-2DfpMRO$F5;rPjZzmm_Src-pqGz*a zWbNI*s&|3}FP`YePG$zYP&-=1Ag?@0x_r;zN>Baa6|W_Q-m6>`F>`URH1V1f`g+~~ zOU-(bMo=YXjm|-%`2BQRM4{d5wKE+qh?$>VVV8O}+N6O!>*K~km*f5_hSEmXcQ*d` z9_?jss_3JgJ?Busm&mZ+`V;M60=#v0#XdjvaF4{RvaM;_p}lJ7<%hbd23=ntbE=1K zg-tEUt=(KOyW>}p#I8I4^cs)1J~*v><>7FH;O?8!!p_G&{Q3U(_qJ1IbD5r6D&_&# zG%h}hwb*E{J#Vjg@C}D}%3$=&kR&Np!Pk>jsZlv(F_#Y8$pi`Gz=d;1T#C78jrHrw zT+AOW4dbK*xx2lzq6)Pu-N<*I6FhQ0R5(1+J_A#T+3cXRMWjw&VcEXJ zE2=NsZtlBsX#M%#Ex)|x_Q!sgP_oxLKXB`6kDuW^d!@w#8!snWQFeY=yvU36_KIKS z!kDH1Vz)ma$EyoSr3$TL3Zy4lz5ZvjsYEeo<5gziz3px-o>BQR*G?Obt@sl&vt)N_ z=o<|4nBHl)^?*;q@1{MElRM9~a>q9vOL{%K%y{$5zm{dIWVg?C+^(HnMbZA;u3;gg zR_CF8QKQ_6=^JBYAVLnZ5Zr2heb4J1BDHFFWG*(%ax7tetru0f@A$sq!-BY&d8G;_ zvt4igP`6MhyBjES=IQ$`#`N%bpYCwK?RVEk?(W_-k5qHeVC+iUf>=%%;-l=@UaP^ka$Vs5VPwEzRH@|s%q>BN;5-TMCPRd?x= zA!ku;s#?0A9)In)4t~%Na3uf7{&ABUJ+B|$do#eRH7H#wF;{t#o;Tk6;IV83)x;`IPStrGU1M7_=2iK#BP&Xxr}ZdRwKC%RHm zCf95X3rn?c&2_vdo^P$&Fg7cY1Lc+Z52U6;`<;H;dsZ*Yw*ZZ>CnZSP|A+tBmXY&! zc9LcQQ-?d4zFM@t{r`iWi$OJqb zxFi6-(pX~*+L9KfNe9&SEWOiwRB^YyDEiSo(KsTFFnQGfL7)A1(vcP9z~q5Tg1~j4 zvyRa}*p@Z$0RPo7;+R6pKhYVC)&L!qePph}%7uy#rKRB~Q}c+0?0jt~VPO*9^<5e( zuT9NDzs5EWnU9XjbfB`bi!1ADCbG(I^mE{dKkKSbs|#{k-o8gA1>5%l07Wv>Ol&}ZNi8M(SWOC7ahP>uhmt)jO2}{&$yf%(D zQwj=n`RjZ(k`Hb9z&Y|XR!i9TBL5ErHIjHdEkL$eY*>(>sa4Y9m{QZXwfGAa(a7GD zro*l9p_ONR@I>zOpzpMh&0YGyE^Vs-o-9EUXrH63A-PNDTFA4+Idy1|T z4E*AixF(Cd2>Oc9F8*KQMLh5{)k2Fv5D^IHPX+GLS<5wO^|F6o|6n>?47@yIjSLXam@i0E4 zM`;fH%B)#@*RWM?^IdbQjqh!(Fh2DnrD$HWmR$_L`QvtQ1yJby5jhpaQ(^k0<+uJJ2VpYkPA zz0Q~DZHh8aqO`+j_ZUX&>v0{659|_zt+cn=iW0>YaQW#B1<-haBLSj{e^TrgtZm7&eraCA@H;-(AI5 zV9V}!o~&cnHF#nTtUb+R(XpQ|f7OGpJjzV{Ql6p|_gJ1z^yZ{W-VAg8gbbfd(p8=! zRZ-jdGOWK{$_KjeeLcXu#|K_|#0QRxm+^q9r&M_qU#EWL17EG?3-Lj`f)6~&*WmTj zdOq;c6+STRHh*^db3&I-@zE$BcteQKdbc)z#!~5&;{zYW@qwXke4vCje|k~rSjz)) zzFYH*SMofa*CqO}H_v!78A5zZJ(QJHQ$wPXBg?fVCeo6vtaBgnxlKlp%w0ufn87%jT^l}s znd^|b;`mHNe_u-0Bzk`}VZ9^zFppDN;=Dewv~N^=Zhm~7k$!>Tn80B~5HsCL1+FWP zq%_%i9YM08glt2`NBGz6ta=_vRVvGrAh{`qHbi7Ub78XcdZO}8G;N4O$VMVNyYrAx z`HQFoEij_;XDOLPD51&32#NM_7!L>~ugP&GOL4<6 z7m&Fw1j$t;WO<@l*^DJth&MZ&pt5!l&1JE)?KIp5RrD?Wm#l;kkPi0&r9h)7I%Upb6;Ugd69d;)>I#$n7Nx|iUD`D;6I9ezXaaz|H`+4TN$6(Z_Bz_dq34d5mhx(?U9qw$B5PGapmd&QC1aNZ+S&ESHkPO$0m?cWgSe?W$k4|9JNa3_)G|9=^2$LPBn%*Qj!_ZbGd~mLm zoIq&sDwg)1@Bv4G>s5|hr(_4KlbB(mqZl=0f*^#VA3+f2|6zilEk}|lz_ykUy2Owr zD@WAnawMM<0ZlF;XAvXgs0{b-5<>X^s?d5ulP*Q>-+4skS*p-?qR*K)S|;Jt$MKAO zV&G7+Ig-3YaB>wljhLIv70JO1369#OWLIMT{5(D(B0n5>hsFZ?AVw(9%VYLy7fO3v1#7hLb;%HjL)MS2x zk$-`Z=oLp&i0E@of$PBwO-XVvFA+Q}A@dS}(l%Bbkq9VrsY1L&P!>lMB?Pv*%g9&4 z#mKAXNNy)wcViV-jc`+%0y&tM2+Cq;w}`nkZ5cV3mk7$DX}5^EG;IMnxRkK)Zm1*# zR?{a3^AZ6qj&_R}eroFhNkj`RmUfFUwwg3KSd8f24~&BFX-I7aIXIqI2{egBphf~D z(Y*#}5{W=<6Cin&Kr^1`u0js3Co1>H(yZu2r4%`smk9R9(5wjI)fSS2d5K_uG|h@9 zJecMpVeLMSqzDnq;Se6gXmkK;^Af?45;89lNSd+k5s9D`?yh)=pg4x6M9dCak&JB{ z2y1WPNX{dyEu_dbClY~&5;>Si1oV6$NhAVE1J*ra3eB71NUkNq{WtKLM-a+^N+J>b zHfG%;;yF(bDv3Dzy_#!IOrs89Ou@f zts$IRSxQzQMAwz)MiasHH=MDJHz+SNwyni=q%*c{{O^S-9daC657bd!A(e&vs(S4ZtQ6lLkX zTmRD@c^caBQS#wH?s~xGI}2>k*7$$qs*Kv*U_X7vUv%-}T=7JeNf+RQHF|Xy*$4iN zb`O-FVpr!1JnO3&v1dPE=L}AVPCp%}k#74ES($rqOyI(bDM$Y!pxF8;&rai+&;7|$ z!KsPUYH*+kicLyQE04DnO2fHbweO)Zfp70N_5282lXGB9lm13;af@D$M6RfF%7=%E zQ|9@Rl`m9x>&yOa^mxmjAHacA%fjc=0TKHB!|T2t8A+G2|7$!I`B3F7x9aiwLU-x$ z)D>{Xlne(R^a{9p8yp<@c_epmYp3&n)f~#A{m!^6G`vfH3#jBO$E{KmL}wwdcd+iA znEf0|E>VnaH4ALPv{fs~!9`-3a6-r2L=~z~_kdFkiVe_pZiPEN`r8t+S6&`EYf_1! zbzHoF&PO5pRm~y@Ze!hBN)QZUY||tN&L#)DiQ)toQiY^8-~{J$B;PyX1SkHpqWGs6f0ncf{=E=Mwx&`0t=OFkcQQ;C(3|1QA|^wo@Y;U-}W zNTpey@a8vhv{rGVc@OKtDV(;sCYj_$Fb1bu<>SD?SenB^0=S!X;SB*?M<#71fC(JQ zI>I++04PrYcd#y~5I|`%=`8^~55Ug^>lm5?i2xe0E=Uo;6=c%cjkwN`XX`HEN_WX} z^Hvhg!er7Aq3fX%a+)I1dn@b079whds6xLhaN?VyX{{I@4N9Q4AfdJ{nIuH?hMcGs zjT8SIOKYVNK+x+FK}Ug1igdt@O9dbiX`f?gtx5zC#FZz23jj#O!$tt!#wqTKra8>S zC4+t0g~hnwX~23r9)2htiy#|u;ILSw=xOu+`lB>uh5km1!a4m+DgnixxBSLW)0?LHqHK4dG zK@t=XBNSf-fl4S|1RS^G&7xp_BSIi$AWn=uPXOM+c^5(ac@n^FtP3-6DPY4#nn&mj zYXc=>j1LkKp8%z3zEbvGG;*9mz7IFgSGZe2*Ju7sQf8+pmcMIpEz z+Hzcq(RQ3!)j~39?MA{eZty5#InLuZ0FL49X$e4%kQx@w2a0iFegIGw2fD82Qi2Fz zJVWpxJ`VF%1CSW7-KAvnH8}8@B9}r;0cnv8!R3T{djLqN2WtlNO*jy?k(8e}#lLGo zG-86Ygyt=HGprsi%p{sOkV#7jMTOjs<=X%`l_Ncg+|M3nb=cJPJ;(=LOsF3^V*vp;jw zlrdH|>g2y>s`an?_%6eVZ+~;2!Mhanf~F{4hZIX5`&7HrDr5nqu$g31te9t8m%rA! z$pL5&2McJ+tJ-c+n*7cCX<#gD+eA!gNziH_Kl^#lf{fjGf@GJFqpQCNT8hXCmb+$d z5j{N%I}Tpi2VJZ~7N|XF)71+pewa7|a{*WGj1bNI=N=(&d;?=aZ}E7a*Pvaeq5yUX zh#ul~xYVYs7t$Y+X+O3TqYr^S>j>f|u9+*M+Rqy5_PGgRYPnz#=f3O_JOA}liGNy# zI!99R{~YM#20xeD;&DuNW8UQ}HEowNGsoul{=%^NnP>jI2-M4YUzu@!nY58%!HV7b z`d&S|`;Pk$-*VTLW?9^Pn7EQTE8obrptRQBN0WqEU3OfzqsN>5hMn`p;3)memAJOa z%wf4-cv}cVuryo5UcW~|#c;Oh39TsUg3;a5e?hjiMPyR7&cB@NK_!^{0>%7npXrCg zRJp7>f|&Al)`bADibqnL#>#A~fC+{-4Wk#9kgL-B+nx=`V;ptc0+OdMJHNR?027ht zQd*P^XKR&s`1!mZYTAzL0YlpzY%S@a6(#I6=@)?`6}XgMK-QIcY}CzsIWa;;&@g~{ z1N66}R+w-*tH{g`DRqq@2!2n?_gKHO@Rzq(HWJH(C4hQ6Wp45JU@MKL;Ii^6UGn$- zyLk@vWH1B`QP(1mjakyeo0avaZsFpWk|~!#SIq^^eV4RaMvozh=0(%!&Op=0QA@0+ z@IgZFPeWujB?Feg-SkCbGIDZPYJ6TF8SSGXbSR*?fDXyNAstx$fs9cWQ-%I+m>+Y2 zwJ;;tnDl!|KN!}$B(+)?JHS!sDg5zJdIs}ao9@crZ`O0o+N0#<+5?p*3oy!ytOUWV za)YDH{rRPTWtv;o{W6@O`mf4alAAeZ+L=5Xg991t#j8bP9aSD8(gg{ExuwmL7*mu? z@&SKQys!B6DG4=69d`$I(F{RbXW5NaF>OPCKi)Miwg1@!P#H2Qvxh@ZQN^A}d0m^p zwGEA>(eHr#+G;4Qv$x!ow&x-&%%oPuAdF|e^@I#7YT`I@OHe5}PaE8_P{I_rxv>4n z`t_rN$mGjbbFpp+4~>&r5ylcXrKiv7UN!3(5x`9pN23n{i`%cyjP@Oy@QAwflUL0Y zbYD4q8VE*+nO-rL*gsg4DPh*$+cP1H0BdEq6jFeuoemzT;u{&o!cO}i1xUIV?rf}Q z7bB-UrZWVkd{lA*8Z{3Ab0;mal?CI#zQsO!ak9j4XBO^}4`jC=gX%-yklXiSTx93D*L=+0V#{g_f1D92JIG64H zSKL=r`(bm`H~)&7k+T!Y-}QbWQ;SoDyz;@+is1LDh77m6?{a;Q3@XSu`J`?Bm9>1j z_1EyVsRRtW3zt#BZ@yG&^8oA6Xv<7 zw@@Ob*wWtH`Hx+~hm_%O{{IcteWfO~EULvW`-AV;#JcZ2v;Ex91ZL9MOKzY6@)X9m z7{v08g)3}sNZS{2Ersp9^U?q$KqdVLa1e_CuIkm(-vBQKVSip!O1 zL)yXe*9!%bQU19JnavSFdXbtIFLLbDr?f_Yq$DGVi~yOWeH5bgM%z)JMZNA@c1?|3 zf6?N>@EG~4|VSc{2h|RH_jzfCFil*Zl*z9b6f{Jme zbg_hH%hP&ahAyHGS0Rwlx1#0EPhS5M&>zhhu6$qk zogeM19X_p3h);zD%qbB$XQz^dSHj*1?ys~(e$e!9`3Cai`oo$7<{(o}xy{}IS8zmO zb_9G-W$B(8xZXL6&B2W<0Y-L~rOHKRFE`4)(m%4*b*x1@iXBl~q@&vqJ zdk-LSGj>6u_7+gsuW#zx15T7?U@wbD2X+?-ver3&bVPba{DS0{r$_s2BqC$=GuS+R zN=wM}pb~3co#Y7zEwNFWObm>rMR%q&EAYY8?cK|B%*OYyp{9#ZnEH?3a@V=)_d-Zn zEx9&Mw!J=a?8A{j5l&j0+(E;Fn#|mWzS$K$pl*O-j`tt=XmE~^;m?bbNhCnjB%I)PeHfzymL|AW$w6v7cuYWh8 zH3Y&Bf!D2JGF(1CX8$`;)8gqxB@Sow^;W9-uWzo~ax$~U^WQoYdHaCSiU4k=yUyHR z?lp(+VSEnSpy~V4H*+lEa9LDh{kYaSG>er$_Oo*W4=HXG&pO${ zi;*OhJkl1uJNdoER7--jTYt${Hl4>FwxF3s2At3)$<61~7?OQ7=GJj(UPQoB5w#sS zsu2<*7)8YMZ;oW^?D;V%Z+Z;-rNkDt106gLlOPFbT7}rAoXI!`t9i+@yaA-h#ZDn{ z|GdfYXG#Q1@<@{*#gqYQ)hji9`ZKB8e+l_rE-(b29h0R#RMqrvY?jkLQwPS>?63SF zfJKKg1YI3KwPe_=YJ2_l{AV@p#`@W{5ySSy(C7fG)^K3n4p4C>uVn zii=1j_t`CLA`kGG1OX*SS?Za$6Gu)m7IGg-3*W$dA+Oz*;bJx*aQUUSqZ7gx7DQ?h z0};+YFdOR-+xTP~{qAffZO;*&o5lGJ#X5R{#eREV_dX^}%UnejO1l(PQYxBx-?Nyf zI8zKN;K~KYP4u*mP}{wUj4gA{5OoSA29xb%@6ZEqSl;N=0EbC8dHnwjdQcJvK}Q zQ%*iap84(mnaERW=Fcsf6@=k>1+o}^nqD8>0P>t6b8+hJI6^}@Oa>TkY! z@?6YsY+u&7Ml{YICT8z;&Og^_On(y2Gt40c0HiN^H&4ehC+Dw&R{i*?drrj=LR9rN zXyvxUlqE29T$Z|gNaAg1h}PWsF(>l-ic96?oCeQkjqjQ>2uq~sy9`0eJOj>A)dlZk zTA)?`t*`sw=*`$jq~rjEoD3STRS}%+Fq#X)lGrG_2vCJQ7R`?d)A=oJxbS^U!!0(a z+jf-{(SZUTXd4)j)3WBDO4u9;$&E>~FmpIZ(TWZ#xjr5yA>GF{-NlZK6U1KcVF?I< zgnK`1zS20+((Qa{zGag7m=;*923XG#k-M4RuhHKUI?XOBR=uoIEq0Cp>`w#xnJ^ND z*0+!8|DAV2LA}tEiqUVt)Ua3CP_<)BziO)OP43jVCvETVQ4hPZmyY%|Qi>$ZY%V~%! zoY#41%#WG>E=P=;-1oP^m}P19ZGr9KI$Og(l0du;4iqFS3^)dEs+Y3$4xQP^c+vBm ze8P>k_#o=~Gf`pUC$t<#xzXIr~8m{@VC00!qE^tmvFlpMSU-&8JNJpBEc`H-TS z05Tw4i(pHU0agCPd{%dn`Q*XwNuWi+uMhe*MX7QYuz8;P^jM+{XNUxW)k|3Blu&+{ zO!|?=we39-y_>p8sB65{( zKg>UW!!0QBQL+7_#}YLiB=95nRwXWd(K$Cw?{I&{k+YFDMi4H7W}gg>9_OO|a5~^H zTSRVs&(GRdHpL)X)OQHQ9Vg1mkonhu;0u%u?>4=?#L_{6dw&lwt6Jd>_0&c2Ex2}R){zzto zhK!$@{r0!2(`=li8IU|8`!D=$PHkFcW^GsJ?F%XCAA{Dd{)L2vLtBT-ZtkYun%_Do7+nUQct6m(fg1aXM%zz0XzY}|5wvWMXrF^@ zrM#6TAOhy+s78(4j*BoZ>3vaO#IC%11erJugX|0gC0*xm|I6&+R0}h3Yr;ZRTTdAz z?hVLz^ItAHcU-gBMo1KiYr8a16{fFjG&JCHlVk-$Ag-ZTI(k?-BQ(?RNNX3ID30Uv z4;fO8==>PxH&a_~Prl&W(dM6URso8cRS+{5A!fcb#Jt{yVrKZevQ>_AE38i-oUI@* zl)*)F|M)3(M1v1MXzEdQz>FkZE?9zuy;^i`)S+F^bf6IsZOSj~9)t*KuuJE7wyz7+2l<=iS+OQ(OxeS5~lY57TjJJUOUg z*L?P$Li3^QZmId3@o5-NpR5=`CHt)o_e?${A*ZOaM;$xI`-%jn$zCN$6*#DN@Pvpt zQuAXsDGEFuk=&=%Y}GVqC-ehZ*&G%$%N%6?eG>ZMwmc;n)_Du_H@c#6MFAt3gZ-D* z>1Rl4xh;3Rs`3Hv5eq%QX)~V-8=Us1b%uDZtHX27MUEsBGNEF|=|z9?pc0=PUlEnY zIvi<+@XCyf7080{C`up{e3vA6&k!ZZ=3hI%Rf=agEkW@C7wH1?z?RqY zEm%-D1FwUa35B}Lmxiv1W;p4hz9%6TjI2X+?;Upk0d>l#ZY|UWS%+kavMs{VBu{}$ zd#2X>m?*E-y)ICPrXF;=kJt5A)60(879GpdWc(fxVOvO+BHO)hTsw(ji*qHS*u}68 zx-{b7>Ab!xLa-&=$LC1UK>h8-%9%w7*Z>Ql$FSijCVQ0^W-c#AE@tY1`DQ^=o@r2mz(Wb1 z>%O5LGV?)xSRtr?AiJIMEik*c2KfgztJp#Ck6lq}CLRH>_hjw^S$~gZ*8cf8PCk!9 zS7tHvy#a&!J=yK&BqI{pBRULZhUGX}ETjDhB6Sp2eam4+vM5RonS*?~5tas_;OBL0 zi_5q~phGQ46y>=Nmv|RQ>rv17IJZ;3WG`5@h;>g6S*())D{` z4uDxb2>{CBHk&FD04_!;8%5;IDl-pu90Q~hOtCScOkN z(i}+{GE67O8rN<@ruT)w>ICOYu|Ya8ebrnt$pr@8(v5D{@jNpLTdmoUgk;$kJ8{5L z0D$xMZ*aRFhr;DNEPYlJfKKGRDmamFfe{%8fN%tu1i*0sz#{J*4uB!+a)kikLqG}w z@CpDHvn@{G07U@63am!W?RpTRkPU!G1Yj->fQ_{a%0p^y2e;r_KzfLPaX7Ci^(3xl z3xpsU>;Umlh}!`SrBQ6a*(sXwG#-&mfRLLFdf)X-@kMGuKxvdh_JQ_T)DF&m01-*| zOqqw8DRAJY0i)<;xJ_*_7#f4i6#91PFTl1qh~^497dTpr$VDA*d@6^A*CeUfH*jB zM^WlLG`#6|fX6xD;net42?4B(Spv5KAX=2V3#}N@I~1lM0g%K2yIBI-kcX6j0xl(* zn&*qiNkf#2At}?~j>_wk0cUZzjS3pv*jv!c6ij{5GbIQqo(FeaRSRK)Kh}8C8t(z~ z2^?$UJ-AE%s|J>I55zJKvGCCcuW3l=tP(VN!>nu`2|@bX!n||%<)TrSqSVj0ET=#g zb&v)0$LBbYOF$XUB*0>8QM6;k$8CKmuo~0wneW307vU6HWrQjU6y$8Uu-$I0?vv z?_tb=MJjrO|4Tnu-faW@^7Pk0^1|R5fPglPI|TZZ{1CneqK|<$zrzCjmM1)^Py)|s zgJT@S;k65Tu2uzOPWX5uyug?Tf!6~P$*?Wh6T3R$jfV`}EqB}vDhb};wyDTN9KMT! zJ1`Dp7EoP@ZDA~K+P>BQ)xduE;vDA1MId}hX6?(BL4Rjqc{4eZ^t45zYDKA$>bi^I zuQ=U;>s)jKhAHtd={Ksy!%Wi;b`293bM5cR z+1K@r2G+3!!e$?Su39`Dy?H^3<@CSu+^sXg&TG8_&twe9fBlq(UaU~y{`&vNe=?p= z4pz4NEneIw(Rb>h^gQ-e^JVooE}B#$=d0R{;;XFQ`Y{u1MV7^a-{>uujfwn`5Qb8T+~(0v=Vdw%FG&V`pv(~c9)@I1@GnKjx}EqtpnaAiv~H+NEBDzTXzJbAp) zzDZ?LV$W$Gs!Gd*ldkO+)yV^4Q*#?_meS;=x@-MT<(~Cpjph$c14)&b-9L#!fC-BG?#&anZxS_}$h!eo7RD(YY4E;OquWomz zD>$L(K^t5sKPef!dDC4O#@Y$7{1du|`rFEC;kDHQ{7?q-^WBoO{Ds+IzG?epn_Xv% zi-EAae^RRL8`$p(w{wburHg;yU`U{tpPx#On7ipPTlLCta9p4MquD9Rniox1kQG-J zR%ArqE&37hXZs9{sZABi+uD59`_Z@~x9@TMy(FRH)GMS@M_4u~ia4=vK#cUt$T_vA zC>4g9b476P+t(a%j1DVHjFfJ~ebii(iY6H*JV%gqakGB-|(_Siqx%yvwd%PS6N^7n}%~ zJRMijJ{@U;r@Vt8)78OjqvS%*b!cXM3@akFcdU#Kjm>Uo8HWwV(6HlQ`a}{Q@r2$E z6is}a?$=ZkLVw-K61cS|!^TUTrzSFtdY4z2=~AB1kjNd5PoDmA;wT}+Q!q^V^L!QU zPM(mk1kaoC{>S||f1Z?(>6P!lP|<$J13-Stb9&!!Kkh6K0ESY2{6Ix}Cjo%3U`P&o zvt7TG!kQRK4GV5;e)sV((;`Bx9Wdc5F~fi*p#@riGed?lI*v*ZmevJ37--ksk8>e7 z!22;Q^h7|I>1~2Qi4hQZ`cp;QnnwT@K+Lp98665dSNQ{hcJb!>agGFmY9O$-s!Jqc zj3**2h?q+v+`c^Fd5RiK!=8TOh$Mva0Fb1Za(_;LdE!k__=f=1ts)6)c>r|)Xh#6R zg8)$DfW_D9{|^8sE6iPc0N_dhV9AZGt*sJCc*+wRk`UABwCk5ACkOz%bjJ>)#;9mt z4=2Jw0<`$N>7`L}D4{mIlovG5p0M#c$x{=S*w~t+mizky2nx3$-V|c|!%W+F9U!?x zZ~vvDeT)#AsX`T^$UVvESjIE-Hy}`&)O3G8&(QFEA4`g(g_*|l2*dyZ^J*3CuqZ+# zSP#*!?Q{EL&F2V*ElJl;hq0=O@T!9MGBPi{Y`jDy30Izl_A@W;S< zAep|l`M&xfA+;9-oQu^P8?V(;gj&sDxIHPfFxEAm-f)@6Ja^FTOFYk#zF-(H<|h^H zIG!^TK?v2aZ;hOJ&g_75>#D0=Z#%+ymI?q%Nj*6k#;QY7l0SJk`)D*uuy*N_uski0 z$Fi&bzPcMyG15!i*>iE!mFv%7ZwaH*>(PA`ZDZsi))$uDSmIGBOhyId(W!O)LZ;$9 zHZ?~6(9~1vhQB=tYz{wl3}bmB$<;sAf2%Cj#wc)gPDy@Rcc1nbX&nB_?CiBO7#%Hk z+zzH0ap4@KxKyk&T2~%OEQd(ew(t#OeI!UURFFR)8bN?&EpNV0%fo4;`z~=WXz~#) z{;6*bhXU|erYifsjn~jhFd?JQBFb{u(*1=VB3KVHEo;1=-i!K~?EHrBPq7dLMv=}q zR|3>6U@2lb@AQ{?d{&{wfq1U)S-G9kOC#s+sH3tm>KIMKe0IVh`hlXu+4B_~SitQj z-Evvo{q$qV7Q14hCz=);(|(I2R3H`hlaPQg+2)DQcmHCogQDV141$51pS|f2N!WzL z)&mTk`8Ztq38_UaV{E;YVsZdt@fp2Jp;R}L9La>h6|ECMc}_5z6HLZi8y<1FtjaVXWAZK*|!v+`Ed_hYEIWQPa-E~%;>5D>5woYHulYquT51r=hzDE^{|DxcG`NCZoRC2OAD@fKk8XH^O}XQlo6NyW72 z7e$u4^=BMJ_PHtgc7}slzZdqtCP04PCL( z8y$glmGKVF&a4%^MIY9&L$RvGDbWI2b$9yi^!*v>)6oB|v2vm1w9I?o@%rE^fpFh^ zdFEZ)RHJ}>V_Pvge4B_#whfM0`0E5{R0!)_9S$Cc=iq^gI}C~hFo=xE{zLxiIZIm- zx{41k$Y3|s)}-Y6>UKHT{+ZwR4j!62!je&b<0YHE_>rIylZj6uiLz`ATMsUm{FC6b zB}cthSSRX7{)d#}#fw#PpQz)1BI573%Jk5rm}$GRDO=gpcw&(l3Co0h=5YDl+YXA` zMmSQ33`^hZ`sG4YsTP(8=a$&^+h@Xrl4O85yq(2v<=NVJF%i-nxk178%RNQ(15RV} z4B^Ll^aGX_^wPTf+ft57VoX)45El2!DELN+7Dj<5%h>AUVM3!oozjGUIEM*YqaX0P z15-~k3butlGO!<{#{+>$^aFPH^m_P_ihjTyHC?R!{;+Rkg`|*%*?2wvbc`YWw-$+)nz#-&Wdq3iS$be5u)W{IK=~yN zy{XR?`|PqL67A0i4EA(w*#P4zCW8hWD;4c!-tPv}n}J|8j8Us-742)UeRXvs;v}SR zcw%(8{lG+yg$WsDXKgV?pjR*$fDmCRU)$Rv|=-Qhi>t3YEe)A-t?u4#5t9Tmz)CD>RWQy9r-xz=oAce45 zXpOCzJnp$7e>}f*L>gXL!natMQn`o}hG~TZ319|mYFUtLtwR`WgWxL{0p>is625Z5 zU=Br<+n`bouY@x;?BGiy*k7K7eDXM41^!e8db&ypa{VHJe`$a{J&O9k=LDGf8YGFs z7I4PN`uo7V8{+Oj1!9g4A(&L0WD4Q~{)Mv)$eS_(xb*PF3bwNj^{IqDNw^q>sN{rz zP*6C+DQ7khS4$mjL|~ zE-MO>XSmDY(*(>x1<3_pdkbO`cpo&n>s-cEwEM1B=Pm{QP3Y*}JOln7#t7?x{%_r> zmg-!1N<4Z_hlHKIG#0c28e~KK}LUnU+wvvKMzKftd96QiD!;z# z)qwkKn6}`Pq`WzC?q5bv>WW+BKWJHV5=wtqueRVG)FazFhph!c%Ero%8NI_?4<<PVc@)E_N1 z)}Jhs4jf2NG@WV+<;{4@MzC1`^FlE6po<=f+${!E4+iZiS7Xg z@HY$KG9Ee43f>A}CZkv*EuR}OxR3{3V1Pet$90~I)R*1w5 z1{=~(BB9`0dW_zMO7P(WMtOt8I|HIHQGn)^K}lvIh#~{4G)hmXlqj=*pLD$feM%qDjfsaFk>VoS{~73 zfP;fI2$E-rN@A!~fJ$&zkL8)5(n?e+N2NokWPnPrWx?`3iI>CMOX}e30YL$ZKB8tI z{#kqR2HhNAd)N=q(bfVB+7x@nl&xU^zgK}u*mb1bBwj+R{6DDMF0gl=FOa1C1mfss z0HZ8F7_6&-wa(b zKaiX$f=VP*(g0rc2M{0VA{@(80F5nBa zX@kF;1PtJ>S3pUmkNRztJyJ8$7d~wr*dLeZKTwl9(Pykb-WekOZ+@S&@`UkB^tK89 zF9^P_FTS&QL;nx$#Bej#RM^CywxO=l-_vXG{RKSV?+i{0*b<}dRB*`>W1y)%&qYBBGevfGFa%*T@X`S&Y2u|z_7Q%k1ERrUOOeCsT5CM@b5?g^ zRj@n+4o%m+uny!sx)hLUK*PvE5iI`}ft4uL0!%5;6q^_0g}ItXMq895JMei%keFD3A$>bF-8~Isf{(l8V{py zMJ32G82tj2bYaDT(LX}T7Fm%p11y$^f>LHKunT3OBXIJK+!=8RAxWk|6xi z4Pdr3)(hK+#B|sfD}aUjtbBuAb#NVEgV;Q$gjEJL77DPF zIBYGz4&g9yfXzm*#{g5pVNU@De+LO9Uk$K*I7|#+Xib2*0IUwSS{Qa4U_;3DbX9=i zb2(E2l!2pf2uFZf;js4rgG*R|$%1WmBbVo?L5EeiGD=_vc+CW!kp$1c(=Z6p*d#%Z zJ3860P{cg$eDKt_3+*k)P0jiDAA^2(&XSh*Bi&_|zAfr`=f2Ze<9*p7AtO$@eqFDU z+3`?x?d?Z_A39!stniDX}&5lx=*OCAfi1pO}>_49q&flC4m~iaX!P+AD~?-Z)XiNA38WRW9oYH9mE^?G6*p{$)K+dcEV${H z2-nXJFTvOWtL$3FH(V5|itj~Eeneg0(>onaT5;Ezq>aZ!=^Sl5(_?BPnRs3S@SP=_WBtZ^6A;UxzA(M>jz4KoG7@xh8Y z&(Z!rtzBzyR7DnU$jA^j4kVyPYDNjK03mS_0%S%QXGnmEAx7S=qBEF>QOtu3FHK+) zHN!3sSqmZZ$c(!b;yWr;LSf`$6cE@=R9ur4F+4QUjT<5`2~5=e`s-S+{@AMhu~k&@ z<>d5t&pmy*`}DbeZ?r`;;BAA&J(33Wtuk5h@LLXG7{FDbZZizP-U-gm0-c<-#H*mg z!DygYU^_mg0o!N6yEwIj5x+ecahX?LD%Iq~Aa+0vwR)({fEwqSy62%rwhpL$Pqu?l zdz5O~P(z^&Y&(Jx`^Yv#s*!Cv)a0&EIOCv(;v5o|4NxQ75OmuWvQ0-f$h28FJyoV0 z+Lp637;%bh^T2k6Z1cgENVQQ=qis1Gp+>fOV3P$*A?AavkZO5Qqis36f)V(R4t|*m zHoQ;|G#hMqiyjw6XUf7M>NT)!3)xb^7AD*5NV_JpX5oCO%2bE*Qc#0!9dbt@ykNt( zR)7|xj}}lZ9%?9jLk+eqRcc_vOVd&fY%<>#&H||6ooT4SwpXbZg&5f?CvQ;=UQSiw zNd#XW``&{q#K@+a(_m?x!oD9)B}0FxczE!xNxL7!XfWhQI(>GebUKWx9yN zidbW>cNy2oX;#dM_TqdlBsaT^6g(U4RoSJ}US>5u2IWRLK!5#zxv@c^B$qUB-M4 zi`}EzHI7){2L?+GN9<-qDn1(o_Gbrs-5jyb$3eysnL^fyV)Pt zE{|4Y^hUsrestgq{p}^?M2CUAL}!7P67`9+m*f(~0o_mJ0-8tU0m>q(1j-IRpLM+Zm}@ZzFF=%g*Dk_#F_IjgDi7OJg)8j8tKTWqjAtk~jR#($8l8EjjrHUMf& zwtd5)Mz-J}sF7{VjHb#Pm0FB9=pfsl4VJxR3tC;q@5nYLyQy+J)y9F1Ik|5f)D&9` z)X26MY(teA*f<0DUN%_9D7F-r@i^J`f=yN%k+Fk~sk?79)D#;!^ElZa23w3$i}AXZ z-}V?RD!B?GenK2@4})zg)$HgkX867&sC}2+iB1yMSDuLOx^`yZ>XMJclY)3{4*n`S zZrIh+eWtt5W2@!g;P7qw$?8e1?W@7Y55B z#=N_Km1#T!+}ht|+)8U=F3?<(S% z*1WXJ^HJWw^B&|j2fD8!DAV>0ceM>ndY~RZ?{eB!hSti%UZ=`#b5!Ktf2pXq^V?^7 zUhMgP{T=V&{q)-_=S*3Oj~HpKYbO6x{MEF!&xfD8?c9#~&WKrEa$hJK5-uM5?9xpG zlOFtM#jQEjYg?q>3Z zI2<{}4P02``64f5lW&G1_dUJG|5`^`rrZSz_kxgZq>73Jn8k>%*;Zk~+dNP`dBWk} zLOb&F1L@NkS`)y^HOhCOrEN2pOYJo1aPSm#D?rDk(Rw@R7-X8mKaU)Bjd3?fa|Ex7idv_%;CqMpng;c zUk?wP`%zv}a_GQsej0o?9PjXZ$YefUaPG|36CGu-OpLU%^|^tD7igjR%-oR8tVWFi zaltjq7unoa!jx0Yt!q4+M#J{F0}Z8YlLbGh3AyH}3e!wZ($?$4=1mMe_fQbZS|;j{ zAmrxK_XiLf*fDbvV`|=csku#_3x!^8N10mj+$kZOe9(j`2I04iH(#@1uVleL@)4E5gWy0q zYk6WW!bU9I{kw+2k7$i2V$xam^LC!Xw;U3&)Z`I=32P3J}wlU!x-qe-|yk7#lVpp_{ZDLN>Mk z@Fk#oIp>Mbo7=3D7@e=b+2~<@Bc>d7`2VCD8^UI_J<+a56S_=Hu50u#=@F;lpN)cmHZDh1an8P9F8;mCOpNL14bD0;}Z#8&sB3j3Tkjb6a7lg9>Bz)I_P&sTp?hglp;l&$qe?#cv@rdYH z5-!3Gs3f5d<4`46Zj3{={I(h^$=FFOo`a#B+&~!8! zGG)GwWN}|(?fVr%6z-#a zP94QTrXo{E$&k@Lr;c19+bP=T)X_bV(LSe+Jdn{or;bV?qkT>tT?d)6Pe%yqQ_4Oa zje<FO(AHy$m%!Ww1HsV}w_cRTuyT6{t#U1Gyu|Mx%T(|bqF?&^>FZr`vC z4M%yWFY@Mkym|JAmgV6;kz!3wOSC2@rXi^!LcgW8EXfRA(p(Hooo>@32uWVZJ@}k_rqJn9~tHi|A$*U%&q$F4qtP7v_z60GM m|IuBLx2&wNxJcw=%t%a5N*!jNX