diff --git a/TeX/Germs_Multiplicity_3_V0.pdf b/TeX/Germs_Multiplicity_3_V0.pdf new file mode 100644 index 0000000..cee48cb Binary files /dev/null and b/TeX/Germs_Multiplicity_3_V0.pdf differ diff --git a/TeX/Germs_Multiplicity_3_V0.tex b/TeX/Germs_Multiplicity_3_V0.tex new file mode 100644 index 0000000..682210e --- /dev/null +++ b/TeX/Germs_Multiplicity_3_V0.tex @@ -0,0 +1,1535 @@ +\documentclass[12pt]{amsart} +\usepackage[colorlinks=true,pagebackref,hyperindex,citecolor=Green,linkcolor=Blue]{hyperref} +\usepackage[top=1in, bottom=1in, left=1.1in, right=1.1in]{geometry} +%\usepackage{stmaryrd} +%\usepackage[firstpage]{draftwatermark} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{amsthm} +\usepackage[all]{xy} +\usepackage{mathrsfs} +\usepackage{enumitem} +\usepackage[T1]{fontenc} +\usepackage{color} +\usepackage{stmaryrd} +\usepackage{bigints} + +\usepackage{graphicx} %This is for inserting figures and captions +\usepackage{tikz-cd} %Easy commutative diagrams +\usepackage{tikz} %For plotting sutff, drawin figures... + + +\makeatletter +\def\namedlabel#1#2{\begingroup + #2% + \def\@currentlabel{#2}% + \phantomsection\label{#1}\endgroup +} +\makeatother + +%\begin{enumerate}[noitemsep] + + +\newcommand{\Cech}{ \check{\rm{C}}} +\DeclareMathOperator{\supp}{Supp} +% THEOREM Environments --------------------------------------------------- +\newtheorem{theorem}{Theorem}[section] +\newtheorem*{MainTheorem}{Main Theorem} +\newtheorem{hypothesis}[theorem]{Hypothesis} +\newtheorem{ThmDef}[theorem]{Theorem/Definition} +\newtheorem{corollary}[theorem]{Corollary} +\newtheorem{conjecture}[theorem]{Conjecture} +\newtheorem{lemma}[theorem]{Lemma} +\newcommand{\Fdif}[1]{{ \llbracket #1 \rrbracket }} +\newtheorem{proposition}[theorem]{Proposition} +\newtheorem{claim}[theorem]{Claim} +\newtheorem{notation}[theorem]{Notation} +\newtheorem*{convention}{Convention} +\newtheorem*{notationCounter}{Notation for Section \ref{counterex}} +\newtheorem*{notationInj}{Notation for Section \ref{Ln&id}} + +\newtheorem{theoremx}{Theorem} +\renewcommand{\thetheoremx}{\Alph{theoremx}} % "letter-numbered" theorems for Introduction + +\newtheorem{propositionx}{Proposition} +\renewcommand{\thepropositionx}{\Alph{propositionx}} % "letter-numbered" theorems for Introduction + + +\theoremstyle{definition} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{question}[theorem]{Question} +\newtheorem{example}[theorem]{Example} +\theoremstyle{remark} +\newtheorem{remark}[theorem]{Remark} +\numberwithin{equation}{subsection} + +\newtheorem{questionx}[theoremx]{Question} +\renewcommand{\thequestionx}{\Alph{questionx}} % "letter-numbered" questions for Introduction + + +% MATH ------------------------------------------------------------------- + +%%%%%%%%%%%%%%%%%%%%% +%%%%%%%%%%%%%%%%%%%%% + +% EDITING ------------------------------------------------------------------- + +% For author editorial notes +%\newcommand{\note}[2]{} +\newcommand{\note}[2]{ {\color{blue} + \vspace{2 mm} + \par \noindent + \reversemarginpar{\color{blue} \textbf{#1}} + \framebox{\begin{minipage}[c]{0.95 \textwidth} + #2\end{minipage}}\vspace{5 mm}\par}} + +% Shortcuts for colors +\newcommand{\cb}{\color {blue}} +\newcommand{\crd}{\color {red}} + +% For segues +\definecolor{blue-violet}{rgb}{0.54, 0.17, 0.89} +\definecolor{Blue}{rgb}{0.01, 0.28, 1.0} +\definecolor{gGreen}{rgb}{0.2, 0.8, 0.2} +\definecolor{Green}{rgb}{0.04, 0.85, 0.32} + +\newcommand{\seg}[1]{\textcolor{blue-violet}{#1}} + +% For red comments on typos +\renewcommand{\!}[1]{{\color{red}\text{\Huge$\star$ }#1}} + +% For double slash +%\newcommand{\sslash}{\mathbin{/\mkern-6mu/}} + + +%%%%%%%%%%%%%%%%%%%%% + +\makeatletter +\def\@tocline#1#2#3#4#5#6#7{\relax + \ifnum #1>\c@tocdepth % then omit + \else + \par \addpenalty\@secpenalty\addvspace{#2}% + \begingroup \hyphenpenalty\@M + \@ifempty{#4}{% + \@tempdima\csname r@tocindent\number#1\endcsname\relax + }{% + \@tempdima#4\relax + }% + \parindent\z@ \leftskip#3\relax \advance\leftskip\@tempdima\relax + \rightskip\@pnumwidth plus4em \parfillskip-\@pnumwidth + #5\leavevmode\hskip-\@tempdima + \ifcase #1 + \or\or \hskip 1.9em \or \hskip 2em \else \hskip 3em \fi% + #6\nobreak\relax + \dotfill\hbox to\@pnumwidth{\@tocpagenum{#7}}\par + \nobreak + \endgroup + \fi} +\makeatother + +%%%%%%%%%%%%%%%%%%%%% + +% For sets +\newcommand{\set}[1]{\left\{ #1 \right\}} +\renewcommand{\(}{\left(} +\renewcommand{\)}{\right)} +\newcommand{\NN}{\mathbb{N}} +\newcommand{\RR}{\mathbb{R}} +\newcommand{\ZZ}{\mathbb{Z}} +\newcommand{\QQ}{\mathbb{Q}} +\newcommand{\CC}{\mathbb{C}} +\newcommand{\KK}{\mathbb{K}} + +\newcommand{\dif}[1]{^{{\langle #1\rangle}}} + +\newcommand{\m}{\mathfrak{m}} +\newcommand{\n}{\mathfrak{n}} + +%%%%%%%%%%%%%%%%%%%%% + +% For fancy letter +\newcommand{\cM}{\mathscr{M}} +\newcommand{\cN}{\mathscr{N}} +\newcommand{\cA}{\mathscr{A}} +\newcommand{\cK}{K} +\newcommand{\cP}{{\mathcal P}} +\newcommand{\cR}{{\mathcal R}} +\newcommand{\cO}{{\mathcal O}} +\newcommand{\cC}{{\mathcal C}} +\newcommand{\cJ}{{\mathcal J}} +\newcommand{\ff}{\boldsymbol{f}} + +\newcommand{\cB}{\mathcal{B}} + +%%%%%%%%%%%%%%%%%%%%% +% For operators using abbreviations +\newcommand{\Spec}{\operatorname{Spec}} +\newcommand{\Hom}{\operatorname{Hom}} +\newcommand{\sdim}{\operatorname{sdim}} +\newcommand{\Ext}{\operatorname{Ext}} +\newcommand{\Frac}{\operatorname{Frac}} +\newcommand{\InjDim}{\operatorname{inj.dim}} +\newcommand{\Supp}{\operatorname{Supp}} +\newcommand{\Rank}{\operatorname{rank}} +\newcommand{\End}{\operatorname{End}} +\newcommand{\Ker}{\operatorname{Ker}} +\newcommand{\fr}{\operatorname{free.rank}} +\newcommand{\CoKer}{\operatorname{Coker}} +\newcommand{\Ass}{\operatorname{Ass}} +\newcommand{\Ht}{\operatorname{ht}} +\newcommand{\IM}{\operatorname{Im}} +\newcommand{\id}{\operatorname{id}} +\newcommand{\lct}{\operatorname{lct}} + + +\newcommand{\Min}{\operatorname{min}} +\newcommand{\fpt}{\operatorname{fpt}} +\newcommand{\gr}{\operatorname{gr}} +\newcommand{\ch}{\operatorname{char}} +\newcommand{\Der}{\operatorname{Der}} +\newcommand{\tors}{\operatorname{tors}} +\newcommand{\re}{\operatorname{re}} + +%%%%%%%%%%%%%%%%%%%%% + +% Maps +\newcommand{\FDer}[1]{\stackrel{#1}{\to}} +\newcommand{\FDerL}[1]{\stackrel{#1}{\longrightarrow }} +\newcommand{\onto}{\twoheadrightarrow} +\newcommand{\connarrow}{\ar `[d] `[l] `[llld] `[ld] [lld]} %Connecting map in LES + +%%%%%%%%%%%%%%%%%%%%% + +% Alessandro's commands +\newcommand{\ls}{\leqslant} +\newcommand{\gs}{\geqslant} +\newcommand{\ds}{\displaystyle} +\newcommand{\eee}[1]{\underline{}^e \hspace{-0.05cm}{#1}} +\newcommand{\eeep}[1]{\underline{}^{e+e'} \hspace{-0.05cm}{#1}} +\newcommand{\p}{\mathfrak{p}} +\newcommand{\q}{\mathfrak{q}} +\newcommand{\MIN}{\operatorname{Min}} +\newcommand{\ord}{\operatorname{ord}} +\newcommand{\ov}[1]{\overline{#1}} +\newcommand{\ann}{\operatorname{ann}} +\newcommand{\ck}[1]{{#1}^{\vee}} +\newcommand{\Q}{\mathbb{Q}} +\newcommand{\ehk}{\operatorname{e_{HK}}} +\newcommand{\ps}[1]{\llbracket {#1} \rrbracket} +\newcommand{\cd}{\operatorname{cd}} +\newcommand{\Nash}{\operatorname{Nash}} +\renewcommand{\a}{\mathfrak{a}} +\renewcommand{\b}{{J}} +\renewcommand{\b}{{J}} +\newcommand{\OO}{\mathcal{O}} +\newcommand{\JJ}{\mathcal{J}} +%\renewcommand{\ll}{\operatorname{\ell\ell}} +\newcommand{\ctr}{N} % For a generic number of items + +%%%%%%%%%%%%%%%%%%%%% + +% Daniel's commands +\newcommand{\Pnr}{\mathcal{P}^n_R} +\newcommand{\Pn}{\mathcal{P}^n_X} +\newcommand{\OXn}{\Omega^{(n)}_{X/\KK}} +\newcommand{\OXR}{\Omega^{(n)}_{R/\KK}} +\newcommand{\Grr}{\operatorname{Grass}} +\newcommand{\Gr}{\Grr_{\binom{n+d}{d}}(\mathcal{P}^n_X)} +\newcommand{\Ox}{\mathcal O} +\newcommand{\Oxx}{{\mathcal O}_{X,x}} +\newcommand{\Su}{\KK[x^{a_1},\ldots,x^{a_s}]} +\newcommand{\Po}{\KK[x_1,\ldots,x_d]} +\newcommand{\Na}{Nash_n(X)} +\newcommand{\Nn}{\overline{\Nash_n(X)}} +\newcommand{\I}{{\mathcal I}_X} +\newcommand{\V}{\mathbf{V}} + +\newcommand{\Grade}{\operatorname{grade}} +\newcommand{\Pri}{{\mathcal P}^n_X} +\newcommand{\Prix}{{\mathcal P}^n_{\Ox_{X,x}}} +\newcommand{\Prir}{{\mathcal P}^n_{R}} +\newcommand{\Pric}{{\mathcal P}^n_{\Oc}} + + +\newcommand{\T}{\mathbb T} +\newcommand{\A}{{\mathcal A}^Tw} + + +\newcommand{\GrFan}{\operatorname{GF}} +\newcommand{\XGF}{X_{\GrFan(J_n)}} +\newcommand{\GF}{\GrFan(J_n)} +\newcommand{\Nw}{\mathcal{N}_{\sigma}(\mathcal{I})} +\newcommand{\sd}{\check{\sigma}} +\newcommand{\Si}{\mbox{Sing}} +\newcommand{\Co}{\mbox{Conv}} + +\newcommand{\sz}{\sigma_{\ZZ}} +\newcommand{\Suc}{\CC[u,u^3v^4,uv]} +\newcommand{\Suk}{\KK[u,u^3v^4,uv]} +\newcommand{\Suz}{\ZZ[u,u^3v^4,uv]} +\newcommand{\Jn}{\langle u-1,u^3v^4-1,uv-1 \rangle^{n+1}} +\newcommand{\Gn}{\mathbb{G}_n} +\newcommand{\Mn}{\mathbb{M}_n} +\newcommand{\cV}{\mathcal{V}} +\newcommand{\Gc}{\mathbb{G}_n^0} +\newcommand{\Gp}{\mathbb{G}_n^p} +\newcommand{\Pnn}{\mathcal{P}_n} +\newcommand{\Pnu}{\mathcal{P}_{n-1}} +\newcommand{\Cc}{C_{\mathbb{G}_n^{(0)}}} +\newcommand{\Cp}{C_{\mathbb{G}_n^{(p)}}} +\newcommand{\bfg}{{\bf \left(\frac{f}{g}\right)^s}} +\newcommand{\bfga}{{\bf \frac{f^s}{g^{s+\alpha}}}} +\newcommand{\bfgt}{{\bf \frac{\tilde{f}^s}{\tilde{g}^{s+\alpha}}}} +\newcommand{\bfgOne}{{\bf \frac{f^s}{g^{s+1}}}} + +\newcommand{\ga}{{\bf \frac{1}{g^{\alpha}}}} +\newcommand{\gd}{\operatorname{gl.dim}} + +\newcommand{\lm}{\operatorname{lm}} +\newcommand{\lc}{\operatorname{lc}} +\newcommand{\lt}{\operatorname{lt}} +\newcommand{\init}{\operatorname{in}} +\newcommand{\diff}{\operatorname{diff}} + + +%------------------------------------------------------- + +\begin{document} + + \title{On germs of hypersurfaces with multiplicity 3} + + \author{EAB, MGV, ELC} + + \maketitle + + + Consider a the germ of a multiplicity 3 singular point of hypersurface. An equation for such a germ it is given by a monic Weierstrass polynomial $F = z^3 + a_1z^2 + a_2z + a_3 \in \CC[[{\bf x}]][z]$ of degree 3 with respect to $z$. Assume that $D_z F$ are not zero, and that $F$ is degenerate with respect to its Newton polyhedron. If it is non degenerate, the partial resolution associated with the dual of the Newton polyhedron of $F$ gives plenty information of the geometry and topology of the singular point of the hypersurface defined by $F$. + + We propose the following general method. + + \medskip + + \noindent \emph{First step:} By means of a Tschirnhaus transformation, reduce $F$ to a monic Weierstrass equation $F = z^3 -3 b_2z + 2 b_3$ that does not have terms of degree 2 with respect to $z$. Assume that the coefficients of degree one and zero with respect to $z$ are both non zero, i.e., the product $b_2b_3 \ne 0$. If either $b_2 =0$ and $b_3 \ne 0$ or $b_2 \ne 0$ and $b_3=0$ it reduces to the case of a suspension that we have studied elsewhere. See \cite{}. + + %We propose the following general method to study germs of multiplicity 3 singular points of hypersurfaces. Firstly, consider an equation of the germ given by a monic Weierstrass polynomial $F = z^3 + a_1z^2 + a_2z + a_3 \in \CC[[{\bf x}]][z]$ of degree 3 with respect to $z$. Assume that $D_z F$ is not zero. We will be mainly interested in the case when $F$ is degenerate with respect to its Newton polyhedron. Otherwise, the partial resolution associated with the dual of the Newton polyhedron of $F$ gives plenty information of the geometry and topology of the singular point of the hypersurface defined by $F$. By means of a Tschirnhaus transformation, reduce $F$ to a monic Weierstrass equation $z^3 + b_2z + b_3$ that does not have terms of degree 2 with respect to $z$. Assume that the coefficients of degree one and zero with respect to $z$ are both non zero, i.e., the product $b_2b_3 \ne 0$. + + \medskip + + \noindent \emph{Second step:} Consider an embedded resolution $\pi: X \rightarrow \CC^2$ of the reduced divisor given by the product $G=b_2b_3D_zF$. Consider the usual stratification of the pair $(X, (\pi \circ G)^{-1} \{G=0\})$ defined in terms of decomposition $\cup_{j \in J} E_j$ of $(\pi \circ G)^{-1} \{G=0\}$ into irreducible components. Pulling back $F$ under the map $\pi \times id$, we obtain for each stratum $E_I^\circ$ a \emph{quasi-trinomial local expression} for $F$. Section \ref{3nomial} clasifies the 5 posible quasi-trinomial local forms having terms of degrees 3, 1, and 0 with respect to $z$. These are the quasi-trinomials forms that appear at this step because we have previously made a Tschirnhaus transformation. Notice that the local expression is quasi-trinomial due to the fact that $\pi$ resolves both $b_2$ and $b_3$. Moreover, the quasi-trinomial local form is quasi-ordinary because $\pi$ also resolves the discriminant $D_zF$. The local quasi-trinomial expression will be non degenerate with respect to its Newton polyhedron unless the monomials $M_1$, $M_2$ and their coefficients $c_1$ and $c_2$ satisfy a precise condition. {\color{red}In principle, this precise condition can be defined on a subset of a stratum of $E_I^\circ$, with $\emptyset \ne I \subset J$. If it is the case, we consider the corresponding refinement of the stratification.} Moreover, the degeneracies of the degenerate trinomial local case are either on horizontal faces or of the form $(z-af(x,y))(z-bf(x,y))$ with $a, b \in \CC^\ast$, and $f \in \CC[x,y]$. + + \medskip + + \noindent \emph{Third step:} Make translations of the type $z \mapsto z + h(x,y)$, where $h(x,y)$ is determined by the local quasi-ordinary expansion, to obtain a new set of coordinates such that the local form is non degenerate. Notice that after the translation terms of degree 2 respect to $z$ appear. In fact, we obtain a new type of quasi-trinomial local form with terms of degree $3$, $2$, and $0$ with respect to $z$. + + \medskip + + \noindent \emph{Fourth step:} Use the stratification principle with the stratification introduced in the Second Step, the quasi-trinomial local forms and, if needed, the corresponding local differential forms to compute \emph{additive / multiplicative local invariants} of the singular point defined by $f$ at $o$. For instance, we will interested in the A'Campo zeta function and in the topological zeta function. + + \medskip + + A couple of remarks are in order after these four steps. + + First, these steps achieve a resolution of the meromorphic function defined by $\frac{b_2^3}{b_3^2}$ and therefore the irreducible components $E_j$ of $(\pi \circ F)^{-1} \{F=0\}$ can be classified into 5 different types according to the image of $e_j$ under the meromorphic function $\mathcal{M}$ defined by $\frac{b_2^3}{b_3^2}$. There are components $E_j$ that are mapped to $0$ called zeros, components $E_j$ that are mapped to $\infty$ called poles, components $E_j$ that are mapped surjectively onto $\mathbb{P}^1$ called dicritical, components that are mapped to the value 1, and finally components that are mapped to other values different than 0, 1, and $\infty$. The image of a component $E_j$ is determined by the orders of vanishing of $f$, $g$ and $\mathcal{M}= \frac{b_2^3}{b_3^2}$ along the divisor $E_j$ and (in some cases by) their pattern of intersection. + + Second, the trinomial part of any quasi-trinomial local form, given by the formal restriction of the quasi-trinomial form to its Newton polyhedron, is determined by the valuations associated with $f$, $g$ and $\mathcal{M}= \frac{b_2^3}{b_3^2}$ too. + + The following reductions are possible to perform the Fourth Step. + + \medskip + + \noindent \emph{Reduction A:} It is enough to consider the associated trinomial local forms instead of the quasi-trinomial local forms. + + \medskip + + \noindent \emph{Reduction B:} The strata produced by the strict transforms of $b_2$ and $b_3$ can be omitted, i.e., the contribution to the invariant due to a 0-dimensional stratum determined by an irreducible component of the strict transform of $b_2$ (resp. $b_3$) equals the contribution of a single point of the 1-dimensional stratum to whose adherence the 0-dimensional stratum belongs. + + \medskip + + \noindent \emph{Reduction C:} Bamboos consisting of irreducible components that are mapped to $0$ (resp. to $\infty$ and containing a $(-1)$-curve can be omitted too. + + \medskip + + The upshot of Reductions A, B, and C is that it is enough to consider the stratification associated to the minimal resolution $\pi' : X' \rightarrow \CC^2$ of $D_zF$ together with the trinomial local forms, and if needed the corresponding differential forms to compute the invariants of the singular point defined by $f$ at $0$. + + \medskip + + \noindent \emph{Reduction D:} It is enough to consider a minimal $\QQ$-resolution of the discriminant $D_ZF$. + + \medskip + + After all these reductions, we will prove that ... + + + \section{Power series of multiplicity three} + + + + Consider a the germ of a multiplicity 3 singular point of hypersurface. An equation for such a germ it is given by a monic Weierstrass polynomial $F = z^3 + a_1z^2 + a_2z + a_3 \in \CC[[{\bf x}]][z]$ of degree 3 with respect to $z$. Assume that $D_z F$ is not zero, and that $F$ is degenerate with respect to its Newton polyhedron. + + \begin{definition} The Tschirnhaus transformation associated to $F$ is the transformation given by $z \mapsto z- \frac{a_1}{3}$. + \end{definition} + + After the Tschirnhaus transformation, the monic Weierstrass polynomial $F(x,y,z - a_1/3)$ can be written as + $$ z^3 -3b_2z + 2b_3$$ + with + $$b_2 = \frac{a_1^2}{9} - \frac{ a_2}{3} \quad {\rm and } \quad b_3= \frac{a_1^3}{27}-\frac{a_1a_2}{6} + \frac{a_3}{2}$$ + and its the discriminant $D_zF$ of $F$ with respect to $F$ is of the form $108(b_2^3 - b_3^2)$. + + + Denote the decompositions of $b_2$ and $b_3$ into irreducible components as + \begin{equation} + b_2 = \prod_{i=1}^n h_i^{n_i} \prod_{j=1}^m k_j f \qquad {\rm and} \qquad b_3 = \prod_{i=1}^n h_i \prod_{j=1}^m k_j^{m_j}g + \end{equation} + where $h_i, k_j$ are irreducible and $h_i, k_j, f, g$ are pairwise coprime and $n_i, m_j \geq 1$. + + + \begin{proposition} + The discriminant $D_zF$ is of the form + $$ \prod_{i=1}^n h_i^{2} \prod_{j=1}^m k_j^3 \left ( \prod_{i=1}^n h_i^{3n_i-2} f^3 - \prod_{j=1}^m h_i^{2m_j -3} g^2 \right ).$$ + \end{proposition} + + + \begin{proposition} + The singular point is isolated if and only if the disciminant $D_zF$ is reduced. + \end{proposition} + + + \begin{proposition}\label{prop.non-deg} + The monic Weierstrass polynomial $z^3 -3b_2z + 2b_3$ is non degenerate unless $M_1(c_1+A)$ and $b_3 = M_2(c_2 + B)$ with $M_1^3 = M_2^2$ and \textcolor{red}{$2c_1=3c_2$} + \end{proposition} + + + \section{Jung´s method for power series of multiplicity three } + + \subsection{Embbeded resolution of the discriminant and classification of their exceptional divisors} + + Consider an embedded resolution $\pi: X \rightarrow \CC^2$ of the reduced divisor given by the product $G=b_2b_3D_zF$. Consider the usual stratification of the pair $(X, (\pi \circ G)^{-1} \{G=0\})$ defined in terms of decomposition $\cup_{j \in J} E_j$ of $(\pi \circ G)^{-1} \{G=0\}$ into irreducible components, i.e., for each subset $I \subset J$ we define + $$E_I^\circ = \bigcap_{i \in I} E_j \setminus \bigcup_{j \not \in I} E_j .$$ + + \begin{definition}For each irreducible component $E_j$ of of $(\pi \circ G)^{-1} \{G=0\}$ we define the numbers + $$N^0_j = {\rm ord}_{E_j} \pi^\ast b_2, \quad N^\infty_j = {\rm ord}_{E_j} \pi^\ast b_3, \quad N^\Delta_j = {\rm ord}_{E_j} \pi^\ast D_zF, \quad {\rm and} \quad \nu_j = {\rm ord}_{E_j} \pi^\ast \omega -1$$ + where $\omega = dx \wedge dy$ is the standard volume form of $\CC^2$. + \end{definition} + + \begin{proposition} Let $\pi': X' \rightarrow \CC^2$ be the minimal resolution of $D_zF$. Then, $\pi'$ is a resolution of the meromorphic function $\mathcal{M} : \CC^2 \rightarrow \mathbb{P}^1$ defined by $\frac{b_2^3}{b_3^2}$ too. + \end{proposition} + + There are four possibilities for the behaviour of the numbers $N^0_j, N^\infty_j$ and $N^\Delta_j$ associated with an irreducible component $E_j$ of $(\pi)^{-1} \{G=0\}$ + \begin{itemize} + \item $3 N^0_j > 2N^\infty_j = N^\Delta_j$ and it is called a \emph{zero} because in this case $\mathcal{M}(E_j)=0$; + \item $2 N^\infty_j > 3N^0_j = N^\Delta_j$ and it is called a \emph{pole} because in this case $\mathcal{M}(E_j)=\infty$; + \item $3 N^0_j = 2N^\infty_j = N^\Delta_j$ and in this case either it is called \emph{dicritical} because $\mathcal{M}(E_i)=\mathbb{P}^1$ or it is mapped constantly to a value different than $0$, $1$ or $\infty$ under $\mathcal{M}$; + \item $3 N^0_j = 2N^\infty_j < N^\Delta_j$ and in this case it is mapped constantly to $1$ under $\mathcal{M}$. + \end{itemize} + + + \begin{remark} + In the third case, $N^\Delta_j$ is divisible by 6. In order to distinguish between dicritical divisors and divisors that are mapped constantly to a value different than $0$, $1$ or $\infty$, one notices that connected components of dicritical divisors must intersect both to zeros and poles and connected components of divisors mapped constantly to a value different than $0$, $1$ or $\infty$ do not intersect zeros or poles but do intersect dicritical divisors. + + + If the strata $E^\circ_{i,j} \ne \emptyset$ and $\mathcal{M}(E_i)=1$ then either $\mathcal{M}(E_j)=1$ or $E_j$ is dicritical, i.e., $\mathcal{M}(E_j)=\mathbb{P}^1$. + \end{remark} + + + + \begin{definition}\label{extriplepole} For a divisor of th last type, i.e., a divisor that is mapped constantly to $1$, the difference + $N^\Delta_j - 3 N^0_j = N^\Delta_j - 2 N^\infty_j$ is called the \emph{excess of the discriminant} and it is denoted by $M^\Delta_j$. + \end{definition} + + + + \begin{example} Consider $F=z^3 - 3b_2z + 2b_3$ with + $b_2= ((y^2 + x^3)^2 + x^5y)((x^2 + y^3)^2 + y^5x)$ + and + $b_3= (y^3+x^4)(x^3+y^4)$. The minimal resolution $\pi$ of the product $G=b_2 b_3 D_zF$ is obtained after 30 blow-ups. The following figure and table give the dual resolution graph of $G$ and its associated numerical data. + + + + + \begin{figure}[ht] + \begin{center} + \begin{tikzpicture}[vertice/.style={draw,circle,fill,minimum size=0.2cm,inner sep=0}] + \coordinate (U) at (0,0); + \node[vertice] at (U) {}; + \node[below] at (U) {{\small $E_1$}}; + \coordinate (G1) at (-0.5,0.75); + \coordinate (G2) at (-0.6,0.75); + \coordinate (G3) at (-0.4,0.75); + \coordinate (G4) at (-0.3,0.75); + \coordinate (G5) at (-0.1,0.75); + \coordinate (G6) at (-0.2,0.75); + \coordinate (G7) at (0,0.75); + \node[above] at (G7) {{\small ${{F^\Delta_i}}_{{}_{i=16}}^{{}{28}}$}}; + \coordinate (G8) at (0.1,0.75); + \coordinate (G9) at (0.2,0.75); + \coordinate (G10) at (0.3,0.75); + \coordinate (G11) at (0.4,0.75); + \coordinate (G12) at (0.5,0.75); + \coordinate (G13) at (0.6,0.75); + + + + \coordinate (A1) at (1,0); + \coordinate (A2) at (2,0); + \coordinate (A3) at (3,0); + \coordinate (A4) at (4,0); + \coordinate (A5) at (5,0); + \coordinate (A6) at (6,0); + \coordinate (A7) at (7,0); + \coordinate (A8) at (5,1); + + + + \coordinate (B1) at (-1,0); + \coordinate (B2) at (-2,0); + \coordinate (B3) at (-3,0); + \coordinate (B4) at (-4,0); + \coordinate (B5) at (-5,0); + \coordinate (B6) at (-6,0); + \coordinate (B7) at (-7,0); + \coordinate (B8) at (-5,1); + + + \coordinate (F1) at (1.2,0.75); + \node[above] at (F1) {{\small $F^{\infty}_{33}$}}; + \coordinate (F2) at (1.95,0.75); + \node[above] at (F2) {{\small $F^\Delta_{29}$}}; + \coordinate (F3) at (6,0.75); + \node[above] at (F3) {{\small $F^{0}_{31}$}}; + \coordinate (F4) at (-1.2,0.75); + \node[above] at (F4) {{\small $F^{\infty}_{34}$}}; + \coordinate (F5) at (-1.95,0.75); + \node[above] at (F5) {{\small $F^\Delta_{30}$}}; + \coordinate (F6) at (-6,0.75); + \node[above] at (F6) {{\small $F^{0}_{32}$}}; + + + + + \node[vertice] at (A1) {}; + \node[below] at (A1) {{\small $E_7$}}; + \node[vertice] at (B1) {}; + \node[below] at (B1) {{\small $E_{15}$}}; + \node[vertice] at (A2) {}; + \node[below] at (A2) {{\small $E_6$}}; + \node[vertice] at (A3) {}; + \node[below] at (A3) {{\small $E_5$}}; + \node[vertice] at (A4) {}; + \node[below] at (A4) {{\small $E_4$}}; + \node[vertice] at (A5) {}; + \node[below] at (A5) {{\small $E_3$}}; + \node[vertice] at (A6) {}; + \node[below] at (A6) {{\small $E_9$}}; + \node[vertice] at (A7) {}; + \node[below] at (A7) {{\small $E_8$}}; + \node[vertice] at (A8) {}; + \node[above] at (A8) {{\small $E_2$}}; + + + \node[vertice] at (B2) {}; + \node[below] at (B2) {{\small $E_{14}$}}; + \node[vertice] at (B3) {}; + \node[below] at (B3) {{\small $E_{13}$}}; + \node[vertice] at (B4) {}; + \node[below] at (B4) {{\small $E_{12}$}}; + \node[vertice] at (B5) {}; + \node[below] at (B5) {{\small $E_{11}$}}; + \node[vertice] at (B6) {}; + \node[below] at (B6) {{\small $E_{17}$}}; + \node[vertice] at (B7) {}; + \node[below] at (B7) {{\small $E_{16}$}}; + \node[vertice] at (B8) {}; + \node[above] at (B8) {{\small $E_{10}$}}; + + \draw (U)--(A1)--(A2)--(A3)--(A4)--(A5)--(A6)--(A7); + \draw (A5)--(A8); + \draw (B5)--(B8); + \draw (U)--(B1)--(B2)--(B4)--(B4)--(B5)--(B6)--(B7); + + + \draw[->] (A1)--(F1); + \draw[->] (A1)--(F2); + \draw[->] (A6)--(F3); + \draw[->] (U)--(G1); + \draw[->] (U)--(G2); + \draw[->] (U)--(G3); + \draw[->] (U)--(G4); + \draw[->] (U)--(G5); + \draw[->] (U)--(G6); + \draw[->] (U)--(G7); + \draw[->] (U)--(G8); + \draw[->] (U)--(G9); + \draw[->] (U)--(G10); + \draw[->] (U)--(G11); + \draw[->] (U)--(G12); + \draw[->] (U)--(G13); + + + \draw[->] (B1)--(F4); + \draw[->] (B1)--(F5); + \draw[->] (B6)--(F6); + \end{tikzpicture} + \end{center} + \end{figure} + + + $$\begin{array}{|c||c|c|c|c|c|c|c|c|c|c|} + \hline + &E_1&E_2, E_{10}&E_3, E_{11}&E_4, E_{12}&E_5, E_{13}&E_6, E_{14}&E_7, E_{15} &E_8, E_{16}&E_9, E_{17}\\ + \hline + \hline + N^f_i& {\bf 8}& 10& 20& 28& 36& 44& {\bf 52}& 21&42\\ + N^g_i& {\bf12}& {\bf 13}& {\bf 26}& {\bf 39}& {\bf 52}& {\bf 65}& {\bf 78}& {\bf 26}& {\bf 52}\\ + N^\Delta_i& 25& {\bf 26}& {\bf 52}& {\bf 78}& {\bf 104}& {\bf 130}& {\bf 156}& {\bf 52}&{\bf 104}\\ + \hline + \hline + \nu_i&2&3&5&7&9&11&13&6&11\\ + \chi()&-11&1&-1&0&0&0&-2&1&-1\\ + E_i^2& -13& -2& -4& -2& -2& -2& -1&-2&-1\\ + \hline + \end{array}$$ + + + + The divisor $E_1$ is mapped to the value 1, the divisors $E_7$ and $E_{15}$ are dicriticals, and the rest of exceptionals divisors are zeros. The 13 arrows $F^\Delta_i$ with $i=16, \dots, 29$ attached to the divisor $E_1$ correspond to irreducible components of the strict transforms of $D_zF$, the arrows attached to the divisor $E_7$ (resp. $E_{13}$) correspond to an irreducible component strict transform of $b_3$ and another irreducible component of $D_zF$. Finally the arrow attched to $E_9$ (resp. to $E_{17}$) correspond to the strict transform of $b_2$. + %$$\pi^{-1} \{\mathcal{M} = 0\} = 2 (F^{0}_1 + F^{0}_2) + 4 (E_2 + E_5 + E_{10} + E_{13}) + 6 (E_4 + E_{12} ) + 8 (E_3 + E_{11}) + 11 (E_8+E_{16}) + 22 (E_9 + E_{17})) , \quad \pi^{-1} \{\mathcal{M} = 1\} = \sum_{i=1}^{15} F^\Delta_i + E_1$$ + $$\pi^{-1} \{\mathcal{M} = 0\} = 2 ( \sum_{31,32}F^{0}_i + \sum_{6,14} E_i ) + 4 \sum_{2,5,10,13}E_i + 6 \sum_{4,12 }E_i + 8 \sum_{3,11}E_i + 11\sum_{8,16} E_i + 22 \sum_{9,17} E_i ,$$ + $$\pi^{-1} \{\mathcal{M} = \infty\} = 3 F^{\infty}_{33} + 3 F^{\infty}_{34}, \quad \pi(E_7) = \pi(E_{15}) = \mathbb{P}^1, \quad \pi^{-1} \{\mathcal{M} = 1\} = \sum_{i=16}^{30} F^\Delta_i + E_1$$ + + + + The stratification associated with the resolution $\pi$ consist of $35$ strata $E^\circ_{i,j}$ of dimension 0 and 11 strata $E_i^\circ$ of dimension 1 and $\chi(E_i^\circ) \ne 0$. + The former correspond to the elements $(i,j)$ of the set + $$S= \left \{ \begin{array}{ccccccccc} + (1,7)& (1,15)& (1,16)& (1,17)& (1,18)& (1,19)& (1,20)& (1,21)& (1,22)\\ + (1,23)& (1,24)& (1, 25)& (1, 26)& (1, 27)& (1, 28)& (2,3)& (3,4)& (3,9)\\ + (4,5)& (5,6)& (6,7)& (7, 29)& (7, 33)& (8, 9)& (9,31)& (10,11)& (11,12)\\ + (11,17)& (12, 13)& (13,14)& (14,15)& (15,30)& (15, 34)& 16,17)& (17,32) + \end{array} \right \} $$ + %the 13 intersections $E_1 \cap F_i^\Delta$ for $i=16, \dots, 28$ and the 6 intersections + %$$ E_7 \cap F_{34}^\infty, \quad E_7 \cap F_{30}^\Delta, \quad E_9 \cap F_{32}^0, \quad E_{15} \cap F_{35}^\infty, \quad E_{15} \cap F_{31}^\Delta, \quad E_{17} \cap F_{33}^0 $$ + and the latter correspond with the indexes + $$1, \quad 2, \quad 3, \quad 7, \quad 8, \quad 9, \quad 10, \quad 11, \quad 15, \quad 16, \quad 19.$$ + + Notice that the minimal resolution $\pi'$ of the discriminant $D_zF$ is obtained after just 11 blow-ups. The blowups corresponding to divisors $E_8, E_9, E_{14}$ and $E_{15}$ are needed to resolve $b_2$. + \end{example} + + + \subsection{Trinomial forms associated to the strata} + + Let us consider the birational map $\tilde{\pi} := ( \pi, id ): \tilde{X} : =X \times \CC \rightarrow \CC^{3}$, where $id: \CC \rightarrow \CC$ is the identity map, and the pullback of $F$ under $\pi \times id$. The pullback $\tilde{\pi}^\ast F$ can be expressed in terms of the pullbacks of $b_2$ and $b_3$ as + \begin{equation} + z^3 -3 \pi^\ast b_2 z + 2 \pi^\ast b_3. + \end{equation} + over each non empty strata $E^\circ_I$ of $X$ created by the resolution $\pi$. + Since $\pi$ is a resolution of both $b_2$ and $b_3$, over each non empty strata $E^\circ_I$ of $X$ created by the resolution $\pi$, the terms $(\pi^\ast b_3)_{|_I}$ and $(\pi^\ast b_3)_{|_I}$ can be reexpressed in terms of the multiplicities $N^0_i$ and $N^\infty_i$ with $i \in I$ as + \begin{equation} + (\pi^\ast b_2)_{|_I}= x_1^{N^0_{i_1}} y_1^{N^0_{i_2}} u_1(x_1, y_1) \quad {\rm and } \quad + (\pi^\ast b_3)_{|_I}= x_1^{N^\infty_{i_1}} y_1^{N^\infty_{i_2}} u_1(x_1, y_1) + \end{equation} + where $u_1, u_2$ are units in $\CC\{x_1, y_1\}$. Hence, we have expressions + \begin{equation}\label{quasi-trinomial} + z^3 -3 x_1^{N^0_{i_1}} y_1^{N^0_{i_2}} u_1(x_1, y_1) z + 2 x_1^{N^\infty_{i_1}} y_1^{N^\infty_{i_2}} u_2(x_1,y_1), + \end{equation} + for each non empty strata $E^\circ_I$. Notice that these expressions are quasi-ordinary because $\pi$ is also a resolution of $D_zF$ and therefore $D_z(\pi^\ast F)_{|_I}$ is the product of a monomial in the variables $x_1$ and $y_1$ and a unit in $\CC\{x_1, y_1\}$. + + According to Section \ref{3nomial} the expression (\ref{quasi-trinomial}) is non degenerate with respect to its Newton polyhedron except for the case described in Proposition \ref{prop.non-deg}, i.e., the case when the there is a divisor $E_i$ with $i \in I$ such that $\mathcal{M}(E_i)=1$ or equivalently $3N^0_i=2N^\infty_i < N^\Delta_i$. + + \begin{remark} + If the strata $E^\circ_{i,j} \ne \emptyset$ and $\mathcal{M}(E_i)=1$ then either $\mathcal{M}(E_j)=1$ or $E_j$ is dicritical, i.e., $\mathcal{M}(E_j)=\mathbb{P}^1$. + \end{remark} + + + \begin{proposition} There exist a change of coordinates of the form + $$x_1= x_2, \quad y_1= y_2, \quad z = z_1 - x_2^\frac{N^0_i}{2} y_2^\frac{N^0_j}{2} + \cdots$$ + such that (\ref{quasi-trinomial}) becomes + either + $$z_1^3 + x_2^{\frac{N^0_i}{2}} y_2^{\frac{N^0_j}{2}} u'_1(x_2,y_2) z_1^2 + x_2^{N_i^\infty + M_i^\Delta} y_2^{N_j^\infty + M_j^\Delta} u'_2(x_2,y_2)$$ + if both $\mathcal{M}(E_i) = \mathcal{M}(E_j)=1$ + or + $$z_1^3 + x_2^{\frac{N^0_i}{2}}y_2^{\frac{N^0_j}{2}} u'_1(x_2,y_2) z_1^2 + x_2^{N_i^\infty + M_i^\Delta}y_2^{N_j^\infty } u'_2(x_2,y_2)$$ + if $\mathcal{M}(E_i)=1$ and $E_j$ is dicritical + \end{proposition} + + \begin{definition}The trinomial form $f_I$ associated with the stratum $E^\circ_I$ is + $$\begin{cases} + z^3 - x^{N^\infty_{i}}, & \mathcal{M}(E_i) \ne 1, \infty \\ + z^3 - x^{N^0_{i}} z + x^{N^\infty_{i}}, & \mathcal{M}(E_i) = \infty \\ + z^3 - x_2^{\frac{N^0_i}{2}}z^2 + x^{N_i^\infty + M_i^\Delta} , & \mathcal{M}(E_i) = 1, \\ + \end{cases}$$ + in the case $I= \{i\}$ + and + $$\begin{cases} + z^3 + x^{N^\infty_i}y^{N^\infty_j}, & \mathcal{M}(E_i), \mathcal{M}(E_j) \ne 1, \infty \\ + z^3 + x^{\frac{N^0_i}{2}}y^{\frac{N^0_j}{2}}z^2 + x^{N_i^\infty + M_i^\Delta}y^{N_j^\infty + M_j^\Delta} , & \mathcal{M}(E_i) = \mathcal{M}(E_j) = 1 \\ + z^3 + x^{\frac{N^0_i}{2}}y^{\frac{N^0_j}{2}} z^2 + x^{N_i^\infty + M_i^\Delta}y^{N_j^\infty} , & \mathcal{M}(E_i) = 1, \mathcal{M}(E_j) = \mathbb{P}^1 \\ + z^3 + x^{N^0_{i}}y^{N^0_{j}} z + x^{N^\infty_{i}}y^{N^\infty_{j}}, & {\rm else}\\ + \end{cases}$$ + in the case $I= \{i, j\}$. + \end{definition} + + + \begin{example} The following tables show all the trinomial forms and differential forms for the all the 0-dimensional strata and all the 1-dimensional strata with not zero Euler characteristic of Example \ref{extriplepole} + + + $$\begin{array}{c|c|c|c} + i&f_i&\omega_i& \chi()\\ + \hline + 1& z^3 + x^4z^2 + x^{13}& (2, 1, 1)& -13\\ + 2,10& z^3 + x^{10}z + x^{13}& (3, 1, 1)&1\\ + 3,11& z^3 + x^{20}z + x^{26}& (5, 1, 1)& -1\\ + 7,15& z^3 + \color{red}{x^{52}z} + x^{78}& (13, 1, 1)& -2\\ + 8, 16& z^3 + x^{21}z + x^{26}& (6, 1, 1)& 1\\ + 9,17& z^3 + x^{42}z + x^{52}& (11, 1, 1)& -1\\ + \end{array}$$ + + + + $$\begin{array}{c|c|c} + (i,j)&f_{i,j}&\omega_{i,j}\\ + \hline + &&\\ + (1, 7), (1, 15)& z^3 + x^4y^{26}z^2 + x^{13}y^{78}& (2, 13, 1)\\ + (2,3), (10, 11)& z^3 + x^{10}y^{20}z + x^{13}y^{26}& (3, 5, 1)\\ + (3, 9), (11, 17)& z^3 + x^{20}y^{42}z + x^{26}y^{52}& (5, 11, 1)\\ + (3, 4), (11,12)& z^3 + x^{20}y^{28}z + x^{26}y^{39}& (5, 7, 1)\\ + (8, 9), (16,17)& z^3 + x^{21}y^{42}z + x^{26}y^{52}& (6, 11, 1)\\ + (4, 5), (12,13)& z^3 + x^{28}y^{36}z + x^{39}y^{52}& (7, 9, 1)\\ + (5, 6), (13,14)& z^3 + x^{36}y^{44}z + x^{52}y^{65}& (9, 11, 1)\\ + (6, 7), (14,15)& z^3 + x^{44}y^{52}z + x^{65}y^{78}& (11, 13, 1)\\ + (1, i), i=16, \dots, 28& z^3 + x^4z^2 + x^{13}y& (2, 1, 1)\\ + (9, 31), (17, 32)& z^3 + x^{42}yz + x^{52}& (11, 1, 1)\\ + (7, 33), (15, 34)& z^3 + x^{52}z + x^{78}y& (13, 1, 1)\\ + (7, 29) (15, 30)& z^3 + x^{26}z^2 + x^{78}y& (13, 1, 1)\\ + %(12, 'f')& z^3 + x^{42}yz + x^{52}& (11, 1, 1)\\ + %(16, 'g')& z^3 + x^{52}z + x^{78}y& (13, 1, 1)\\ + %(16, 'd')& z^3 + x^{26}z^2 + x^{78}y& (13, 1, 1) + \end{array}$$ + + + \end{example} + + + + + \section{The quasi-trinomial case}\label{3nomial} + In this section we consider the case of + $$F = z^3 + M_1(c_1+A)z + M_2(c_2 + B) \in \CC[[{\bf x}]][z]$$ + where $M_1={\bf x}^{m_1}$ and $M_2={\bf x}^{m_2}$ are monomials, $c_1,c_2 \in \CC^\ast$ and $A, B \in ({\bf x})\CC[[{\bf x}]]$ + + We distinguish the following two cases + \begin{itemize} + + \item Assume that the monomials $M_1$ and $M_2$ are not related by the divisibility relation, i.e., neither $M_1 \nmid M_2$ nor $M_2 \nmid M_1$. + In this case, the Newton polyhedra of $F$ contains a unique two dimensional compact face determined by the monomials $z^3$, $M_1z$ and $M_2$. Moreover, $F$ is non degenerate with respect to its Newton polyhedra. + + \ + + + \begin{tikzpicture} + \fill [yellow] (1,0) rectangle (3,-2); + \fill [yellow] (-2,0) rectangle (1,2); + \draw[gray, thick] (-2,-2) -- (-2,2); + \draw[gray, thick] (-2,-2) -- (3,-2); + \draw[gray, thick] (-2,0) -- (3,0); + \draw[gray, thick] (1,-2) -- (1,2); + \filldraw[black] (-2,-2) circle (2pt) node[anchor=west]{}; + \filldraw[black] (1,0) circle (2pt) node[anchor=south west]{$m_2$}; + \filldraw[black] (2,-1) circle (2pt) node[anchor=south west]{$m_1$}; + + + + + + + + + + + + + \fill [yellow] (11,0,4)--(11,0,0)--(13,0,0)--(13,0,4)--(11,0,4); + \fill [yellow] (11,0,4)--(11,0,7)--(6,0,7)--(6,0,4)--(11,0,4); + + \draw[gray, thick] (6,0,0) -- (6,0,7); + \draw[gray, thick] (6,0,0) -- (6,4,0); + \draw[gray, thick] (6,0,0) -- (13,0,0); + + + + + + \filldraw[black] (6,0,0) circle (2pt) node[anchor=west]{}; + + + \draw[gray, thick] (6,0,4) -- (13,0,4); + \draw[gray, thick] (11,0,0) -- (11,0,7); + + + + \draw[gray, thick] (6,3,0) -- (11,0,4); + \draw[gray, thick] (9,1,6) -- (11,0,4); + \draw[gray, thick] (6,3,0) -- (9,1,6); + + + \draw[gray, dashed] (9,0,0) -- (9,0,6); + \draw[gray, dashed] (6,0,6) -- (9,0,6); + \draw[gray, dashed] (9,1,0) -- (9,1,6); + \draw[gray, dashed] (6,1,6) -- (9,1,6); + \draw[gray, dashed] (9,0,6) -- (9,1,6); + + \draw[gray, dashed] (6,1,0) -- (6,1,6); + \draw[gray, dashed] (6,1,0) -- (9,1,0); + \draw[gray, dashed] (6,0,6) -- (6,1,6); + \draw[gray, dashed] (9,0,0) -- (9,1,0); + + + \filldraw[black] (6,3,0) circle (2pt) node[anchor=south west]{$z^3$}; + \filldraw[black] (11,0,4) circle (2pt) node[anchor=north west]{$M_2$}; + \filldraw[black] (9,0,6) circle (2pt) node[anchor=north]{$M_1$}; + \filldraw[black] (9,1,6) circle (2pt) node[anchor=south west]{$M_1z$}; + \end{tikzpicture} + + \ + + + + \item Assume that the monomials $M_1$ and $M_2$ are related by the divisibility relation, i.e., either $M_1 | M_2$ or $M_1 | M_2$. In this case the Newton polyhedron of $F$ is a polygonal path. We distinguish the following cases. + + \ + + + \begin{tikzpicture} + \fill [yellow] (6,-2) rectangle (9,0); + \fill [yellow] (9,0) rectangle (11,2); + \draw[gray, thick] (6,-2) -- (6,2); + \draw[gray, thick] (6,-2) -- (11,-2); + \draw[gray, thick] (6,0) -- (11,0); + \draw[gray, thick] (9,-2) -- (9,2); + \filldraw[black] (6,-2) circle (2pt) node[anchor=west]{}; + \filldraw[black] (9,0) circle (2pt) node[anchor=north west]{$m_2$}; + \filldraw[black] (9.5, 1.3) circle (2pt) node[anchor=north west]{$m_1$}; + \end{tikzpicture} + + \ + + + \begin{enumerate} + \item If the point $3m_1$ does not belong to the set $2 m_2 + (\RR_{\geq 0})^2$, the Newton polyhedron of $F$ consists of two segments. The first one is determined by the monomials $z^3$ and $M_1z$ and the second is determined by the monomials $M_1z$ and $M_2$. it follows that $F$ is non degenerate with respect to its newton polyhedron. + + + + \ + + + \begin{tikzpicture} + \fill [yellow] (-2,-2) rectangle (1,-2/3); + \fill [yellow] (-2,-2) rectangle (0,0); + \draw[gray, thick] (-2,-2) -- (-2,2); + \draw[gray, thick] (-2,-2) -- (3,-2); + \draw[gray, thick] (-2,0) -- (3,0); + \draw[gray, thick] (1,-2) -- (1,2); + + \draw[gray, dashed] (0,-2/3) -- (0,0); + \draw[gray, dashed] (0,-2/3) -- (1,-2/3); + + + + \filldraw[black] (-2,-2) circle (2pt) node[anchor=west]{}; + \filldraw[black] (1,0) circle (2pt) node[anchor=north west]{$m_2$}; + \filldraw[black] (0, -2/3) circle (2pt) node[anchor=north west]{$\frac{2}{3}m_2$}; + \filldraw[black] (-0.5, -0.2) circle (2pt) node[anchor=north east]{$m_1$}; + + + + + \fill [yellow] (28/3,0,4)--(28/3,0,8/3)--(11,0,8/3)--(11,0,0)--(6,0,0)--(6,0,4)--(28/3,0,4); + + + \draw[gray, thick] (6,0,0) -- (6,0,7); + \draw[gray, thick] (6,0,0) -- (6,4,0); + \draw[gray, thick] (6,0,0) -- (13,0,0); + + + + + + \filldraw[black] (6,0,0) circle (2pt) node[anchor=west]{}; + + + \draw[gray, thick] (6,0,4) -- (13,0,4); + \draw[gray, thick] (11,0,0) -- (11,0,7); + + + + \draw[gray, thick] (8,1,3) -- (11,0,4); + \draw[gray, thick] (6,3,0) -- (8,1,3); + + + \draw[gray, dashed] (8,1,3) -- (8,0,3); + \draw[gray, dashed] (8,0,0) -- (8,0,3); + \draw[gray, dashed] (8,1,3) -- (8,1,0); + \draw[gray, dashed] (8,1,0) -- (8,0,0); + \draw[gray, dashed] (6,1,0) -- (8,1,0); + + + \draw[gray, dashed] (6,1,0) -- (6,1,3); + \draw[gray, dashed] (6,1,3) -- (8,1,3); + \draw[gray, dashed] (6,1,3) -- (6,0,3); + \draw[gray, dashed] (6,0,3) -- (8,0,3); + + + + + \draw[gray, dashed] (28/3,0,8/3) -- (28/3,0,4); + \draw[gray, dashed] (28/3,0,8/3) -- (11,0,8/3); + + \filldraw[black] (6,3,0) circle (2pt) node[anchor=south west]{$z^3$}; + \filldraw[black] (11,0,4) circle (2pt) node[anchor=north west]{$M_2$}; + \filldraw[black] (8,0,3) circle (2pt) node[anchor=north]{$M_1$}; + \filldraw[black] (8,1,3) circle (2pt) node[anchor=south west]{$M_1z$}; + + + + + \end{tikzpicture} + + \ + + + + \item If the point $3m_1$ belongs to the set $2 m_2 + (\RR_{\geq 0})^2$, the Newton polyhedron of $F$ consists of one segment with vertex corresponding to the monomials $z^3$ and $M_2$. We distinguish to further cases. + + + + + + \begin{enumerate} + \item If $M_1^3 \ne M_2^2$, the point corresponding to the monomial $M_1z$ is an interior point of the Newton polyhedron of $F$. It follows that $F$ is non degenerate with respect to its Newton polyhedron. + + + + \begin{tikzpicture} + + + \fill [yellow] (28/3,0,4)--(28/3,0,8/3)--(11,0,8/3)--(11,0,0)--(6,0,0)--(6,0,4)--(28/3,0,4); + + + \draw[gray, thick] (6,0,0) -- (6,0,7); + \draw[gray, thick] (6,0,0) -- (6,4,0); + \draw[gray, thick] (6,0,0) -- (13,0,0); + + \filldraw[black] (6,0,0) circle (2pt) node[anchor=west]{}; + + + \draw[gray, thick] (6,0,4) -- (13,0,4); + \draw[gray, thick] (11,0,0) -- (11,0,7); + + + \draw[gray, thick] (6,3,0) -- (11,0,4); + + \draw[gray, thick] (6,3,0) -- (10.5,1,3) -- (12.75, 0, 4.5); + + + \draw[gray, thick] (6,3,0) -- (6,3,7); + \draw[gray, thick] (6,3,0) -- (13,3,0); + + + \draw[gray, dashed] (6,1,3) -- (6,0,3); + \draw[gray, dashed] (10.5,0,0) -- (10.5,0,3); + \draw[gray, dashed] (6,1,3) -- (6,1,0); + \draw[gray, dashed] (10.5,1,0) -- (10.5,0,0); + \draw[gray, dashed] (6,1,0) -- (10.5,1,0); + + + \draw[gray, dashed] (10.5,1,0) -- (10.5,1,3); + \draw[gray, dashed] (10.5,1,3) -- (6,1,3); + \draw[gray, dashed] (10.5,1,3) -- (10.5,0,3); + \draw[gray, dashed] (10.5,0,3) -- (6,0,3); + + + + + \draw[gray, dashed] (28/3,0,8/3) -- (28/3,0,4); + \draw[gray, dashed] (28/3,0,8/3) -- (11,0,8/3); + + \filldraw[black] (6,3,0) circle (2pt) node[anchor=south west]{$z^3$}; + \filldraw[black] (11,0,4) circle (2pt) node[anchor=north west]{$M_2$}; + \filldraw[black] (10.5,0,3) circle (2pt) node[anchor=north]{}; + \filldraw[black] (10.5,1,3) circle (2pt) node[anchor=south west]{$M_1z$}; + \filldraw[black] (12.75,0,4.5) circle (2pt) node[anchor=north]{}; + + + + \end{tikzpicture} + + + + \item If $M_1^3 = M_2^2$, the point corresponding to the monomial $M_1z$ lies in the unique dimensional compact face of the Newton polyhedron of $F$. The face equation is equal to + $$z^3 + c_1z + c_2.$$ + Therefore, $F$ is non degenerate with respect to its Newton polyhedron if and only if $3(c_1)^2 \ne 2(c_2)^3$. + + + \begin{tikzpicture} + + + \fill [yellow] (28/3,0,4)--(28/3,0,8/3)--(11,0,8/3)--(11,0,0)--(6,0,0)--(6,0,4)--(28/3,0,4); + + + \draw[gray, thick] (6,0,0) -- (6,0,7); + \draw[gray, thick] (6,0,0) -- (6,4,0); + \draw[gray, thick] (6,0,0) -- (13,0,0); + + \filldraw[black] (6,0,0) circle (2pt) node[anchor=west]{}; + + + \draw[gray, thick] (6,0,4) -- (13,0,4); + \draw[gray, thick] (11,0,0) -- (11,0,7); + + + \draw[gray, thick] (6,3,0) -- (11,0,4); + + + + \draw[gray, thick] (6,3,0) -- (6,3,7); + \draw[gray, thick] (6,3,0) -- (13,3,0); + + + \draw[gray, dashed] (6,1,8/3) -- (6,0,8/3); + \draw[gray, dashed] (28/3,0,0) -- (28/3,0,8/3); + \draw[gray, dashed] (6,1,8/3) -- (6,1,0); + \draw[gray, dashed] (28/3,1,0) -- (28/3,0,0); + \draw[gray, dashed] (6,1,0) -- (28/3,1,0); + + + \draw[gray, dashed] (28/3,1,0) -- (28/3,1,8/3); + \draw[gray, dashed] (28/3,1,8/3) -- (6,1,8/3); + \draw[gray, dashed] (28/3,1,8/3) -- (28/3,0,8/3); + \draw[gray, dashed] (28/3,0,8/3) -- (6,0,8/3); + + + + + \draw[gray, dashed] (28/3,0,8/3) -- (28/3,0,4); + \draw[gray, dashed] (28/3,0,8/3) -- (11,0,8/3); + + \filldraw[black] (6,3,0) circle (2pt) node[anchor=south west]{$z^3$}; + \filldraw[black] (11,0,4) circle (2pt) node[anchor=north west]{$M_2$}; + \filldraw[black] (28/3,0,8/3) circle (2pt) node[anchor=north]{}; + \filldraw[black] (28/3,1,8/3) circle (2pt) node[anchor=south west]{$M_1z$}; + + + + + \end{tikzpicture} + + + \end{enumerate} + \end{enumerate} + + + + + \end{itemize} + + + \newpage + + \section{Contibutions to the topological zeta function and the A´Campo monodromy zeta function of the trinomial forms} + + + \begin{proposition}\label{formestrpi} + The monodromy zeta function $\zeta_F(t)$ and the local topological zeta function $Z(F,s)_0$ of $F$ equal + $$(1 - t^3)^{\alpha} \prod_{I} \zeta_{f_I}(t)^{-\chi(E_I^\circ)}$$ + $$\sum_I \chi(E^\circ_I) Z(f_I, \omega_I)_{o_I}$$ + where $I$ varies over the statification associated to the resolution $\pi$ of $b_2b_3D_zF$, the exponent $\alpha$ is the number of points of blow-ups needed to obtain $\pi$, and $o_I$ is a point in $E^\circ_I$. + \end{proposition} + + \begin{proof} It follows from the the formula for $\zeta_f$ in terms of a partial resolution \cite[Theorem 1]{GSLM97} and the Stratum principle for topological zeta functions \cite[Stratum Principle 1.2]{ABCNLM02}. Each of the $\alpha$ factors of the form $(1-t^3)$ of $\zeta_f$ comes from the intersection of Milnor fiber of $F$ at $o$ and the line thru a center of blow-up of $\pi$. Each of these intersection sets consists of 3 points that are cyclically permuted by the monodromy. + \end{proof} + + + \begin{example} The resolution $\pi$ of Example \ref{extriplepole} consist of $\alpha=15$ blow-ups and the associated stratification has 35 strata. According to Proposition \ref{formestrpi} we have + $$\zeta_F(t) = \frac{(1-t^3)^{15} \zeta^{}_{f_{2}} \zeta^{2}_{f_{4}} \zeta^{2}_{f_{5}} \zeta^{2}_{f_{6}} \zeta^{}_{f_{8}} \zeta^{}_{f_{10}} \zeta^{2}_{f_{12}} \zeta^{2}_{f_{13}} \zeta^{2}_{f_{14}} \zeta^{}_{f_{16}} } + {\zeta^{13}_{f_{1}} \zeta^{}_{f_{3}} \zeta^{4}_{f_{7}} \zeta^{}_{f_{9}} \zeta^{}_{f_{11}} \zeta^{4}_{f_{15}} \zeta^{}_{f_{17}} }= \Phi^3_1 \Phi^{15}_2 \Phi_3 \Phi^2_6 \Phi^2_{13} \Phi^{15}_{26} \Phi^2_{78}$$ + where $\Phi_i$ is $i$-th the cyclotomic polymonial, and $Z(F,s)_0$ equals + $$-13Z(f_1,s)_0 + \sum_{i=2,8,10,16}Z(f_i,s)_0 - \sum_{i=3, 9,11,17} Z(f_i,s)_0 - 2 \sum_{i=7,15}Z(f_i,s)_0 + \sum_{(i,j) \in S} Z(f_{i,j},s)_0=$$ + $$\frac{-1/26s^3 + 2749/6084s^2 + 1969/4056s + 1/8}{(s+1)(s+1/2)^3}$$ + where $S$ is the subset indexing the 0-dimensional strata of Example \ref{extriplepole} and we have omitted the symbols of differential forms associated to each strata for shortness sake. + \end{example} + + + + \subsection{Trinomial forms for strata $E^\circ_i$} + + \subsubsection{First case $f= z^3 - x^{m_3}$ and $\omega = x^{\nu_1-1}dxdz$} + Newton polyhedra has three compact faces: the 0-dimensional faces $\tau_0$ corresponding to the monomial $z^3$ and $\tau_1$ corresponding to the monomial $x^{m_3}$, and the 1-dimensional face $\sigma$ contained in + $$ 3p + m_3r = 3m_3$$ + The corresponding candidate pole is + $$ 3m_3 s + 3\nu_1 +m_3$$ + + The topological zeta function $Z_{{\rm top}}(f, \omega,s)_0$ equals + %a*c^2*s - m*s - 3*a*s - m - 3*a + $$ \frac{3\nu_1 + m_3 + (3\nu_1 + m_3 - \nu_1 (m_3, 3)^2)s}{\nu_1(3m_3 s + 3\nu_1 + m_3)(s+1)}$$ + or equivalently $J_{\check \tau_0}-\frac{(3, m_3)J_{\check \sigma}s}{s+1}+J_{\check \tau_1}$ with the terms $J_{\check \tau_0}$, $J_{\check \tau_1}$ and $J_{\check \sigma}$ given as follows. + \begin{enumerate} + \item The dual cone $\check \tau_1$ to the face $\tau_1$ is simplicial and generated by the rays $$\frac{1}{(m_3,3)} (3, m_3), e_2.$$ This cone has multiplicity $\frac{3}{(m_3,3)}$. Its contribution to the local topological zeta function is + $$J_{\check \tau_1}= \frac{3}{ \nu_1 (3m_3 s + 3\nu_1 + m_3)}.$$ + + + \item The dual cone $\check \sigma$ of the face $\sigma$ is the simplical cone generated by the ray $$\frac{1}{(m_3,3)} (3, m_3).$$ Its contribution to the local zeta function is + $$J_{\check \sigma}= \frac{(3,m_3)}{(3m_3 s + 3\nu_1 + m_3)}.$$ + + + \item The dual cone $\check \tau_0$ to the face $\tau_0$ is the cone generated by the rays $$\frac{1}{(m_3,3)} (3, m_3), e_1.$$ This cone has multiplicity $\frac{m_3}{(m_3,3)}$. Its contribution to the the local topological zeta function is + $$J_{\check \tau_0}= \frac{m_3}{(3m_3 s + 3\nu_1 + m_3)}.$$ + \end{enumerate} + Similarly we have + $$\zeta_f (t) = \frac{(1-t^3)(1-t^{m_3})}{(1-t^{3m_3})^{(m_3,3)}}$$ + + + + + \subsubsection{Second case $f= z^3 - x^{m_2}z - x^{m_3}$ and $\omega = x^{\nu_1-1}dxdz$ such that $3m_2 < 2 m_3$.} + Newton polyhedra has five compact faces: the 0-dimensional faces $\tau_0$ corresponding to the monomial $z^3$, $\tau_1$ corresponding to the monomial $x^{m_2}z$, and $\tau_2$ corresponding to the monomial $ x^{m_3}$, and the 1-dimensional faces $\sigma_1$ contained in the hyperplane + $$2p + m_2r = 3m_2$$ + and $\sigma_2$ contained in the hyperplane + $$p + (m_3-m_2)r = m_3$$ + The candidate poles are + $$3m_2s + 2 \nu_1 + m_2 \quad {\rm and } \quad m_3s + \nu_1 + m_3-m_2$$ + + The topological zeta function $Z_{{\rm top}}(f, \omega,s)_0$ equals + $$\frac{(2-\nu_1(m_2,2)^2)s + 2(\nu_1 + 1)}{(3m_2s + 2 \nu_1 + m_2)(s+1)}$$ + or equivalently $J_{\check \tau_0}-(m_2,2)J_{\check \sigma_1}\frac{s}{s+1}+J_{\check \tau_1} - \frac{J_{\check \sigma_2}s}{s+1}+J_{\check \tau_2}$ with the terms $J_{\check \tau_0}$, $J_{\check \tau_1}$, $J_{\check \tau_2}$, $J_{\check \sigma_1}$ and $J_{\check \sigma_2}$ given as follows. Note that the candidate pole $ m_3s + \nu_1 + m_3-m_2$ is a false candidate pole. + + \begin{enumerate} + \item The dual cone $\check \tau_2$ to the face $\tau_2$ is the regular cone generated by the rays + $$(1, m_3 - m_2), e_2$$ + give the contribution + $$J_{\check \tau_2}=\frac{1}{(m_3s + \nu_1 + m_3-m_2)}$$ + + \item The dual cone $\check \sigma_2$ of the face $\sigma_2$ is the regular cone generated by the rays + $$(1, m_3 - m_2)$$ + give the contribution + $$J_{\check \sigma_2} = \frac{1}{(m_3s + \nu_1 + m_3-m_2)}$$ + + + \item The dual cone $\check \tau_1$ to the face $\tau_1$ is the simplicial cone generated by the rays + $$(1, m_3 - m_2), \frac{1}{(m_2,2)}(2, m_2)$$ + The multiplicity of this cone is $\frac{m_2+2m_3}{(2,m_2)}$. Its contribution to the the local topological zeta function is + $$J_{\check \tau_1} = \frac{3m_3-2m_2}{(m_3s + \nu_1 + m_3-m_2)(3m_2s + 2 \nu_1 + m_2)}$$ + + \item The dual cone $\check \sigma_1$ of the face $\sigma_1$ is the cone generated by the rays + $$ \frac{1}{(n_2,2)} (2, m_2)$$ + It gives the contribution + $$J_{\check \sigma_1} = \frac{(m_2, 2)}{(3m_2s + 2\nu_1 + m_2)}$$ + + \item The dual cone $\check \tau_0$ of the face $\tau_0$ is the simplicial cone generated by the rays + $$e_1, \frac{1}{(m_2,2)}(2, m_2)$$ + The multiplicity of this cone is $\frac{2}{(2,m_2)}$. Its contribution to the the local topological zeta function is + $$J_{\check \tau_0}=\frac{2}{\nu_1(3m_2s + 2\nu_1+m_2)}$$ + \end{enumerate} + Similarly we have + $$\zeta_f (t) = \frac{(1-t^3)}{(1-t^{3m_2})^{(m_2,2)}}$$ + + + We remark that this case it is equivalent to $f=z(z^2 - x^{m_2})$. + + + \subsubsection{Third case $f= z^3 - x^{m_1}z^2 - x^{m_3}$ and $\omega = x^{\nu_1-1}dxdz$ such that $m_3 > m_1$} + Newton polyhedra has five compact faces: the 0-dimensional faces $\tau_0$ corresponding to the monomial $z^3$, $\tau_1$ corresponding to the monomial $x^{m_1}z^2$, and $\tau_2$ corresponding to the monomial $ x^{m_3}$, and the 1-dimensional faces $\sigma_1$ contained in the hyperplanes + $$p + m_1r = 3m_1$$ + and $\sigma_2$ contained in the hyperplanes + $$2p + (m_3-m_1)r = 2m_3$$ + The candidate poles are + $$3m_1s + \nu_1 + m_1 \quad {\rm and } \quad 2m_3s + 2\nu_1 + m_3-m_1$$ + + The topological zeta function $Z_{{\rm top}}(f, \omega,s)_0$ equals + $$\frac{ (2m_1m_3 + 6m_1\nu_1 - 2m_3\nu_1 -3m_1\nu_1c^2)s^2 + ( 3m_1m_3 - m_1^2 + 8m_1\nu_1 - \nu_1^2c^2s - m_1\nu_1c^2)s + - m_1^2 + m_1m_3 + m_1\nu_1 + m_3\nu_1 + 2\nu_1^2}{(s+1)(3m_1s + \nu_1 + m_1)(2m_3s + 2\nu_1 + m_3-m_1)}$$ + or equivalently $V_0-\frac{As}{s+1}+V_1 - \frac{A_2s}{s+1}+V_2$ with the terms $V_0$, $V_1$ and $A$ given as follows. + \begin{enumerate} + \item The dual cone $\check \tau_2$ to the face $\tau_2$ is the regular cone generated by the rays + $$e_2, \frac{1}{(m_3-m_1,2)}(2, m_3-m_1)$$ + give the contribution + $$J_{\check \tau_2}=\frac{2}{(2m_3s + 2\nu_1 + m_3-m_1)}$$ + + \item The dual cone $\check \sigma_2$ of the face $\sigma_2$ is the regular cone generated by the rays + $$\frac{1}{(m_3-m_1,2)}(2, m_3-m_1)$$ + give the contribution + $$J_{\check \sigma_2} = \frac{(m_3-m_1,2)}{(2m_3s + 2\nu_1 + m_3-m_1)}$$ + + + \item The dual cone $\check \tau_1$ to the face $\tau_1$ is the simplicial cone generated by the rays + $$ \frac{1}{(m_3-m_1,2)}(2, m_3-m_1), (1, m_1)$$ + The multiplicity of this cone is $\frac{m_2+2m_3}{(2,m_2)}$. Its contribution to the the local topological zeta function is + $$J_{\check \tau_1} = \frac{m_3-3m_1}{(2m_3s + 2\nu_1 + m_3-m_1)(3m_1s + \nu_1 + m_1)}$$ + + \item The dual cone $\check \sigma_1$ of the face $\sigma_1$ is the cone generated by the ray + $$ (1, m_1)$$ + It gives the contribution + $$J_{\check \sigma_1} = \frac{1}{(3m_1s + \nu_1 + m_1)}$$ + + \item The dual cone $\check \tau_0$ of the face $\tau_0$ is the simplicial cone generated by the ray + $$e_1, (1, m_1)$$ + The multiplicity of this cone is $\frac{2}{(2,m_2)}$. Its contribution to the the local topological zeta function is + $$J_{\check \tau_0}=\frac{m_1}{\nu_1(3m_1s + \nu_1+m_1)}$$ + \end{enumerate} + + + Similarly we have + $$\zeta_f (t) = $$ + + We remark that this case is equivalent to $f=(z-x^{m_1})(z^2 - x^{m_3-m_2})$ + + + \subsection{Trinomial forms for strata $E^\circ_{i,j}$} + + \subsubsection{ First case $f= z^3 - x^{m_3}y^{n_3}$ and $\omega = x^{\nu_1-1}y^{\nu_2-1}dxdydz$} + + Newton polyhedra has three compact faces: the 0-dimensional faces $\tau_0$ corresponding to the monomial $z^3$ and $\tau_1$ corresponding to the monomial $x^{m_3}y^{n_3}$, and the 1-dimensional face $\sigma$ contained in + $$ 3p + m_3r = 3m_3, \qquad 3q + n_3r = 3n_3$$ + The corresponding candidate poles are + $$ 3m_3 s + 3\nu_1 +m_3, \qquad 3n_3 s + 3\nu_2 + n_3$$ + + The topological zeta function $Z_{{\rm top}}(f, \omega,s)_0$ equals + $$ \frac{((3s+1)m_3n_3 + 3(\nu_1n_3+\nu_2m_3+3\nu_1\nu_2))(s+1) -3\nu_1\nu_2(3, m_3, n_3)^2s}{\nu_1\nu_2(3m_3 s + 3\nu_1 + m_3)(3n_3 s + 3\nu_2 + n_3)(s+1)}$$ + or equivalently $V_0-\frac{(3, m_3, n_3)As}{s+1}+V_1 $ with the terms $V_0$, $V_1$ and $A$ given as follows. + \begin{enumerate} + \item The dual cone $\check \tau_1$ to the face $\tau_1$ is simplicial and generated by the rays $$\frac{1}{(m_3,3)} (3, 0, m_3), \frac{1}{(n_3,3)} (0, 3, n_3) , e_3.$$ This cone has multiplicity $\frac{9}{(m_3,3)(n_3,3)}$. Its contribution to the local topological zeta function is + $$V_1= \frac{9}{ (3m_3 s + 3\nu_1 + m_3)(3n_3 s + 3\nu_2+n_3)}.$$ + + + \item The dual cone $\check \sigma$ of the face $\sigma$ is the simplical cone generated by the rays $$\frac{1}{(m_3,3)} (3, 0, m_3), \frac{1}{(n_3,3)} (0, 3, n_3) .$$ This cone has multiplicity $\frac{3 (m_3, n_3, 3)}{(m_3,3)(n_3,3)}$. Its contribution to the local zeta function is + $$A= \frac{3(m_3,n_3,3)}{(3m_3 s + 3\nu_1 + m_3)(3n_3 s + 3\nu_2+n_3)}.$$ + + + \item The dual cone $\check \tau_0$ to the face $\tau_0$ is the cone generated by the rays $$\frac{1}{(m_3,3)} (3, 0, m_3), \frac{1}{(n_3,3)} (0, 3, n_3), e_1, e_2$$ which is not simplicial. Using the expression $\check \tau_0 = \mathbb{R}^3_{\geq 0} - \check \tau_1 - \check \sigma$, its contribution to the the local topological zeta function is + $$V_0=\frac{1}{ \nu_1 \nu_2 (3s+1)} - \frac{9}{(3m_3 s + 3\nu_1 + m_3)(3n_3 s + 3\nu_2 + n_3)(3s+1)}$$ + $$ = \frac{m_1m_2(3s+1) + 3(\nu_1m_2+\nu_2m_1)}{\nu_1\nu_2(3m_3 s + 3\nu_1 + m_3)(3n_3 s + 3\nu_2 + n_3)}$$ + \end{enumerate} + + + %Comparing the contributions of the pairs $(f, \omega)$ and the case $(\bar{f}, \bar{\omega})$ with $\bar{f} = z^3 - \bar{x}^{\frac{m_3}{g}} \bar{y}^{\frac{n_3}{g}}$ and $\bar{\omega} = \bar{x}^{\frac{\nu_1}{g}-1} \bar{y}^{\frac{\nu_2}{g}-1} d \bar{x}d \bar{y} dz$ + %we get the relations + %$$\bar{V}_0= g V_0 \qquad \bar{V}_1= g V_1 \qquad \bar{A} = + %\begin{cases} + %g A & \hbox{ if either } 3 \mid m \hbox{ and } 3 \mid \frac{m}{g} \hbox{ or } 3 \nmid m \hbox{ and } 3 \nmid \frac{m}{g} \\ + %\frac{g}{9} A & \hbox{ if } 3 \mid m \hbox{ and } 3 \nmid \frac{m}{g} + %\end{cases}$$ + + + + + + \subsection{} Second case $f= z^3 - x^{m_2}y^{n_2}z - x^{m_3}y^{n_3}$ and such that $m_2 \leq 2 m_3, 3 n_2 \leq 2 n_3$ and $3(m_2, n_2) \ne 2(m_3, n_3)$. + + Newton polyhedra has five compact faces: the 0-dimensional faces $\tau_0$ corresponding to the monomial $z^3$, $\tau_1$ corresponding to the monomial $x^{m_2}y^{n_2}z$, and $\tau_2$ corresponding to the monomial $ x^{m_3}y^{n_3}$, and the 1-dimensional faces $\sigma_1$ contained in the hyperplanes + $$2p + m_2r = 3m_2, \qquad 2q + n_2r = 3n_2$$ + and $\sigma_2$ contained in the hyperplanes + $$p + (m_3-m_2)r = m_3, \qquad q + (n_3-n_2)r =n_3$$ + The candidate poles are + $$3m_2s + 2 \nu_1 + m_2, \qquad 3n_2 s + 2\nu_2 + n_2$$ + and + $$m_3s + \nu_1 + m_3-m_2, \qquad n_3s + \nu_2 + n_3-n_2$$ + + The topological zeta function is the sum of the following five terms + \begin{enumerate} + \item The dual cone $\check \tau_2$ to the face $\tau_2$ is the regular cone generated by the rays + $$(1, 0, m_3 - m_2), (0, 1 , n_3 - n_2), e_3$$ + give the contribution + $$\frac{1}{(m_3s + \nu_1 + m_3-m_2)(n_3s + \nu_2 + n_3-n_2)}$$ + + \item The dual cone $\check \sigma_2$ of the face $\sigma_2$ is the regular cone generated by the rays + $$(1, 0, m_3 - m_2), (0, 1 , n_3 - n_2)$$ + give the contribution + $$\frac{-s}{(m_3s + \nu_1 + m_3-m_2)(n_3s + \nu_2 + n_3-n_2)(s+1)}$$ + + + \item The dual cone $\check \tau_1$ to the face $\tau_1$ is the cone generated by the rays + $$(1, 0, m_3 - m_2), (0, 1 , n_3 - n_2), \frac{1}{(m_2,2)}(2, 0, m_2), \frac{1}{(n_2,2)}(0,2,n_2)$$ + which is not simplicial. Denote by $\rho$ the cone generated by $\frac{1}{(m_2,2)}(2, 0, m_2)$, $\frac{1}{(n_2,2)}(0,2,n_2)$ and $e_3$. Using the expression $\check \tau_1 = \rho - \check \tau_2 - \check \sigma_2$, its contribution to the the local topological zeta function is + $$\frac{4}{(m_2,2)(n_2,2)(3m_2s + 2\nu_1 + m_2)(3n_2s + 2\nu_2 + n_2)} - \frac{1}{(m_3s + \nu_1 + m_3-m_2)(n_3s + \nu_2 + n_3-n_2)}$$ + + \item The dual cone $\check \sigma_1$ of the face $\sigma_1$ is the cone generated by the rays + $$ \frac{1}{(n_2,2)} (2, 0, m_2), \frac{1}{(n_2,2)} (0, 2 , n_2)$$ + This cone has multiplicity $2(m_2, n_2, 2)$. It gives the contribution + $$\frac{-2(m_2, n_2, 2)s}{(3m_2s + 2\nu_1 + m_2)(3n_2s + 2\nu_2 + n_2)(s+1)}$$ + + \item The dual cone $\check \tau_0$ of the face $\tau_0$ is the cone generated by the rays + $$e_1, e_2, \frac{1}{(m_2,2)}(2, 0, m_2), \frac{1}{(n_2,2)}(0,2,n_2)$$ + Using the expression $\check \tau_0 = \mathbb{R}^3_{\geq 0} - \rho - \check \sigma_2$, its contribution to the the local topological zeta function is + $$\frac{1}{\nu_1\nu_2(3s+1)} - \frac{2}{(3m_2s + 2\nu_1+m_2)(3n_2s + 2\nu_2+m_2)(3s+1)}$$ + \end{enumerate} + + \subsection{} Third case $f= z^3 - x^{m_1}y^{n_1}z^2 - x^{m_3}y^{n_3}$ and such that $3m_1 \leq m_3, 3 n_1 \leq n_3$ and $3(m_1, n_1) \ne 2(m_3, n_3)$. + + \section{Reductions} + + \subsection{First reduction: Elimination of the 0-dimensional strata due to the strict transforms of $b_2$ and of $b_3$} The following Proposition shows that the o-dimensional strata associated to the strict transforms of $b_2$ and $b_3$ can eliminated. Each of these points can be added to the 1-dimensional strata satisfying that its clousure contains it, and the invariant is computed with the trinomial form of the 1-dimensional strata. + + \begin{proposition}\label{red1}Assume that $E_i$ is an exceptional divisor of the resolution $\pi$ with $\pi(E_i)=0$ (resp. $\pi(E_i)=\infty$) and that $F^0_j$ is an strict transform of $b_2$ (resp. $b_3$) such that $E_i \cap F_j \ne \emptyset$. Then + $$Z(F_i, \omega_i)_{o_i}=Z(F_{i,j}, \omega_{i,j})_{o_{i,j}} $$ + \end{proposition} + + \begin{example} The proposition \ref{red1} can be applied to the strata + $$E^\circ_{9,31}=E_9 \cap F^0_{31}, \quad E^\circ_{17,32}=E_{17} \cap F^0_{32}, \quad E^\circ_{7,33}= E_7 \cap F^\infty_{33} \quad \hbox{ and } \quad E^\circ_{15,34}=E_{15} \cap F^\infty_{34}$$ + of Example \ref{extriplepole}. + + For the strata due to the strict transforms $F^0_{31}$ and $F^0_{32}$ of $b_2$, note that $\mathcal{M}(E_9)= \mathcal{M}(E_{17})=0$. The corresponding trinomial forms and differential forms are + $$f_9=f_{17}=f_{9,31}=f_{17,32}=z^3 - x^{52}, \qquad \omega_9=\omega_{17}=\omega_{9,31}=\omega_{17,32}= x^{11}yzdxdydz,$$ + From the formulas given in the previous section; we have + $$Z(F_9, \omega_9)_{o_9}=Z(F_{9,31}, \omega_{9,31})_{o_{9,31}}= Z(F_{17}, \omega_{17})_{o_{15}}=Z(F_{17,32}, \omega_{17,32})_{o_{17,32}} = \frac{37/858s + 85/1716}{s^2 +241/156 s + 85/156}.$$ + + For the strata due to the strict transforms $F^\infty_{33}$ and $F^\infty_{34}$ of $b_3$, note that $\mathcal{M}(E_7)= \mathcal{M}(E_{15})=0$. The corresponding trinomial forms and differential forms are + $$f_7=f_{15}=z^3 - x^{78}, \quad f_{7,33}=f_{15,34}=z^3 - x^{52}z + x^{78}y,$$ + and $$\omega_7=\omega_{15}=\omega_{7,33}=\omega_{15,34}= x^{13}yzdxdydz,$$ + From the formulas given in the previous section; we have + $$Z(F_7, \omega_7)_{o_7}=Z(F_{7,33}, \omega_{7,33})_{o_{7,33}}= Z(F_{15}, \omega_{15})_{o_{15}}=Z(F_{15,34}, \omega_{15,34})_{o_{15,34}} = \frac{1}{26(s^2 +3/2 s + 1/2}$$ + \end{example} + + \subsection{Second reduction: Recursive elimination of exceptional $(-1)$-curve not intersecting the strict transform of the discrimiant} + + After performing the First reduction, exceptional $(-1)$-curves that do not intersect the strict transform of the discriminant may appear. The next proposition shows that we can eliminante these divisors.. + + \begin{proposition}\label{red2} + \end{proposition} + + + \subsection{Third reduction: $\QQ$-resolution of the discriminant} + + \section{On generic projections} + + % In general, the $z$-axis is not a generic direction of projection for the embedded topological class of the surface given by the Weierstrass polynomial $F=z^3-2f(x,y)z+3g(x,y)$. Therefore the discriminant of $F$ with respect to $z$ given by $f^2+g^3$ is not generic inside the same equivalence class. Let us describe a situation where it is possible to describe a generic topological deformation $F_t=z^3-2f_t(x,y)z+3g_t(x,y)$ of $F$ whose discriminant $f_t^3+g_t^2$ is generic too. + + + %\begin{proposition} + % Assume that the functions $f$ and $g$ admit factorizations of the form $f= x^{2a} f_1$ and $g=x^{3a}g_1$. Moreover, assume that the the multiplicity of the polynomial $F_1(x, y, z)= F(x, y, x^az_1)/x^{3a}$ at the origin is equal or less than $2$. Then, any pair of deformations $f_t$ and $g_t$ of the functions $f$ and $g$ gives a topological deformation $F_t$ of $F$ and a topological deformation $f_t^3+g_t^2$ of $f_t^3+g_t^2$. Moreover, if $f_t^3+g_t^2$ is generic, then $F_t$ is generic. + %\end{proposition} + + \begin{example} Consider the Weierstrass polynomial $F=z^3-3f(x,y)z+2g(x,y)$ with $f=y^2 - x^7 + x^5y$ and $g= f^2 + (y + x^2)^6$. It defines a germ of isolated surface singularity with Milnor number $\mu=41$. The discriminant of $F$ is given by + $$f^3-g^2 = f^3 - f^4 - 2f^2(y+x^2)^6 +(y+x^2)^{12}$$ + and it has the topological type given by three $(2,7)$-cusp with pairwise intersection multiplicity $16$. Its dual resolution graph is pictured (left) bellow. + + \ + + + \begin{tikzpicture} + \draw[gray, thick] (6,-2) -- (10,-2); + \draw[gray, thick] (9,-2) -- (9,0); + \filldraw[black] (9,-1) circle (2pt) node[anchor=west]{$E_6$}; + \filldraw[black] (9,0) circle (2pt) node[anchor=west]{$E_7$}; + \filldraw[black] (6,-2) circle (2pt) node[anchor=north]{$E_1$}; + \filldraw[black] (7,-2) circle (2pt) node[anchor=north]{$E_2$}; + \filldraw[black] (8,-2) circle (2pt) node[anchor=north]{$E_3$}; + \filldraw[black] (9,-2) circle (2pt) node[anchor=north]{$E_5$}; + \filldraw[black] (10,-2) circle (2pt) node[anchor=north]{$E_4$}; + + \node (Z) at (9, 0) {}; + \node (A) at (9, 1) {$d$}; + \node (B) at (8, 1) {$d$}; + \node (C) at (10, 1) {$d$}; + \draw[->] (Z) edge (A); + \draw[->] (Z) edge (B); + \draw[->] (Z) edge (C); + + + + + \draw[gray, thick] (16,-2) -- (20,-2); + \draw[gray, thick] (19,-2) -- (19,1); + \filldraw[black] (19,-1) circle (2pt) node[anchor=west]{$E_6$}; + \filldraw[black] (19,0) circle (2pt) node[anchor=west]{$E_8$}; + \filldraw[black] (19,1) circle (2pt) node[anchor=west]{$E_7$}; + \filldraw[black] (16,-2) circle (2pt) node[anchor=north]{$E_1$}; + \filldraw[black] (17,-2) circle (2pt) node[anchor=north]{$E_2$}; + \filldraw[black] (18,-2) circle (2pt) node[anchor=north]{$E_3$}; + \filldraw[black] (19,-2) circle (2pt) node[anchor=north]{$E_5$}; + \filldraw[black] (20,-2) circle (2pt) node[anchor=north]{$E_4$}; + + \node (W) at (19, -2) {}; + \node (D) at (18, -1) {$d_t$}; + \draw[->] (W) edge (D); + \node (Y) at (19, 0) {}; + \node (E) at (18, 0) {$d_t$}; + \draw[->] (Y) edge (E); + \end{tikzpicture} + + \ + + The polinomial $F_t=z^3 -3f_t(x,y)z - 2 g_t(x,y)$ with + $$f_t= f + t^2y^2 \qquad \hbox{ and } \qquad g_t = g + \frac{3}{2}tyf + t^3y^3$$ defines a $\mu$-constant topological deformation of $F$ whose discriminant $f_t^3-g_t^2$ has the following embedded topological type. The discriminant of $F_t$ has two branches. One is a $(2,7)$-cusp and the other branch has two Puiseux pairs, namely, $(2,7)$ and $(2,3)$. Their intersection multiplicity is $28$. The dual resolution graph of the discriminant is pictured (right) above. + + The topological zeta function and the monodromy zeta function of $F$ and $F_t$ are given by + $$ \frac{-41}{168} \frac{s^2 - 283/123s - 304/123}{(s + 16/21) (s + 19/24) (s + 1) } \quad \hbox{ and } \quad + \Phi_1 \Phi_2 \Phi_3 \Phi_4 \Phi_6 \Phi_7 \Phi_8 \Phi_{12} \Phi_{21} \Phi_{24}$$ + In particular, they both have Milnor number equal to 41. This can be computed from embedded resolutions of the meromorphic functions $\mathcal{M}$ and $\mathcal{M}_t$ with the following numerical data + $$\begin{array}{c|ccccccccc} + & E_1& E_2& E_3& E_4& E_5& E_6& E_7\\ + \hline + f& 2& 4& 6& 7& 14& 15& 16\\ + g& 4& 8& 12& 12& 24& 24& 24\\ + d& 6&12& 18& 21& 42& 45& 48 + \end{array} + \qquad \begin{array}{c|ccccccccc} + & E_1& E_2& E_3& E_4& E_5& E_6& E_7& E_8\\ + \hline + f_t& 2& 4& 6& 7& 14& 14& 14& 28\\ + g_t& 3& 6& 9& 11& 21& 21& 21& 42\\ + d_t& 6&12& 18& 21& 42& 44& 45& 90 + \end{array}$$ + + \ + + \noindent and dual resolution graphs + + \ + + \begin{tikzpicture} + \draw[gray, thick] (6,-2) -- (10,-2); + \draw[gray, thick] (9,-2) -- (9,0); + \filldraw[black] (9,-1) circle (2pt) node[anchor=west]{$E_6$}; + \filldraw[black] (9,0) circle (2pt) node[anchor=west]{$E_7$}; + \filldraw[black] (6,-2) circle (2pt) node[anchor=north]{$E_1$}; + \filldraw[black] (7,-2) circle (2pt) node[anchor=north]{$E_2$}; + \filldraw[black] (8,-2) circle (2pt) node[anchor=north]{$E_3$}; + \filldraw[black] (9,-2) circle (2pt) node[anchor=north]{$E_5$}; + \filldraw[black] (10,-2) circle (2pt) node[anchor=north]{$E_4$}; + + \node (Z) at (9, 0) {}; + \node (A) at (9, 1) {$d$}; + \node (B) at (8, 1) {$d$}; + \node (C) at (10, 1) {$d$}; + \node (F) at (8, 0) {$f$}; + + \draw[->] (Z) edge (A); + \draw[->] (Z) edge (B); + \draw[->] (Z) edge (C); + \draw[->] (Z) edge (F); + + + \node (V) at (8, -2) {}; + \node (G1) at (7.25, -1) {$g$}; + \node (G2) at (7.5, -1) {$g$}; + \node (G3) at (8.25, -1) {$g$}; + \node (G4) at (8.5, -1) {$g$}; + + + \draw[->] (V) edge (G1); + \draw[->] (V) edge (G2); + \draw[->] (V) edge (G3); + \draw[->] (V) edge (G4); + + + + \draw[gray, thick] (16,-2) -- (20,-2); + \draw[gray, thick] (19,-2) -- (19,1); + \filldraw[black] (19,-1) circle (2pt) node[anchor=west]{$E_6$}; + \filldraw[black] (19,0) circle (2pt) node[anchor=west]{$E_8$}; + \filldraw[black] (19,1) circle (2pt) node[anchor=west]{$E_7$}; + \filldraw[black] (16,-2) circle (2pt) node[anchor=north]{$E_1$}; + \filldraw[black] (17,-2) circle (2pt) node[anchor=north]{$E_2$}; + \filldraw[black] (18,-2) circle (2pt) node[anchor=north]{$E_3$}; + \filldraw[black] (19,-2) circle (2pt) node[anchor=north]{$E_5$}; + \filldraw[black] (20,-2) circle (2pt) node[anchor=north]{$E_4$}; + + \node (W) at (19, -2) {}; + \node (D) at (18, -1) {$d_t$}; + \draw[->] (W) edge (D); + \node (Y) at (19, 0) {}; + \node (E) at (18, 0) {$d_t$}; + \draw[->] (Y) edge (E); + + + \node (W) at (19, -2) {}; + \node (F) at (17, -1) {$f_t$}; + \node (G) at (20, -1) {$g_t$}; + \draw[->] (W) edge (F); + \draw[->] (W) edge (G); + + + \node (V) at (20, -2) {}; + \node (GG) at (21, -2) {$g_t$}; + \draw[->] (V) edge (GG); + + \end{tikzpicture} + + \ + + + + + In order to that there check that both $F$ and $F_t$ define the same embedded topological type, notice that + $$F_t(x,y,z+yt)=F(x,y,t) + 3tyz^2$$ + Moreover, in the left-hand side change $z \mapsto z+ty$ is an isomorphism that does not change the discriminant with respect to $z$, nor the Milnor number. Finally, in the right-hand side we have a $\mu$-constant deformation of isolated hypersurface singularities of the form $f(x) + tg(x)$, that preserves the embedded topological type according to \cite{par:99}. + + + Finally, it is worth mentioning that the topological type of the discriminant of $F_t$ can be realizable as $f_1^3-g_1^2$ for another pair of functions $(f_1,g_1)$. The corresponding function $F_1= z^3-3f_1z + 2g_1$ does not belong to the embedded topological type equivalence class of $F$ and $F_t$ because their Milnor number and monodromy zeta function do not coincide. The topological and monodromy zeta function of $F_1$ are + $$ \frac{-5}{21} \frac{s - 16/5}{(s + 16/21)(s + 1)} \qquad \hbox{ and, } \qquad \Phi_1 \Phi_3 \Phi_7^2 \Phi_{21}^2 $$ + In particular, the Milnor number of $F_1$ is $38$. + This can be computed from embedded resolution of the meromorphic functions $\mathcal{M}_1$ with the following numerical data + $$\begin{array}{c|ccccccccc} + & E_1& E_2& E_3& E_4& E_5& E_6& E_7& E_8\\ + \hline + f_t& 2& 4& 6& 7& 14& 15& 15& 30\\ + g_t& 3& 6& 9& 11& 21& 22& 23& 45\\ + d_t& 6&12& 18& 21& 42& 44& 45& 90 + \end{array}$$ + and dual resolution graph. + + \ + + \begin{tikzpicture} + + \draw[gray, thick] (16,-2) -- (20,-2); + \draw[gray, thick] (19,-2) -- (19,1); + \filldraw[black] (19,-1) circle (2pt) node[anchor=west]{$E_6$}; + \filldraw[black] (19,0) circle (2pt) node[anchor=west]{$E_8$}; + \filldraw[black] (19,1) circle (2pt) node[anchor=west]{$E_7$}; + \filldraw[black] (16,-2) circle (2pt) node[anchor=north]{$E_1$}; + \filldraw[black] (17,-2) circle (2pt) node[anchor=north]{$E_2$}; + \filldraw[black] (18,-2) circle (2pt) node[anchor=north]{$E_3$}; + \filldraw[black] (19,-2) circle (2pt) node[anchor=north]{$E_5$}; + \filldraw[black] (20,-2) circle (2pt) node[anchor=north]{$E_4$}; + + \node (W) at (19, -2) {}; + \node (D) at (18, -1) {$d_t$}; + \draw[->] (W) edge (D); + \node (Y) at (19, 0) {}; + \node (E) at (18, 0) {$d_t$}; + \draw[->] (Y) edge (E); + + + \node (T) at (19, -1) {}; + \node (U) at (19, 1) {}; + \node (FT) at (18, -0.5) {$f_1$}; + \node (GT1) at (18, 1) {$g_1$}; + \draw[->] (T) edge (FT); + \draw[->] (U) edge (GT1); + + \node (S) at (20, -2) {}; + \node (GT2) at (21, -2) {$g_1$}; + \draw[->] (S) edge (GT2); + + + + + \end{tikzpicture} + + + + + + + + \ + + \end{example} + + \bibliographystyle{amsplain} + \bibliography{biblio} + + + +\end{document} \ No newline at end of file diff --git a/deformaciones3Edwin.ipynb b/deformaciones3Edwin.ipynb new file mode 100644 index 0000000..f526b43 --- /dev/null +++ b/deformaciones3Edwin.ipynb @@ -0,0 +1,517 @@ +{ + "cells": [ + { + "cell_type": "code", + "execution_count": 1, + "id": "f6400f90-c61b-45a3-8b92-dc7eba58c6a9", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "0" + ] + }, + "execution_count": 1, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "load('ZetaFunctionsNewtonND.py')\n", + "load('zetas_triples_general.py')\n", + "R3. = PolynomialRing(QQ, order='negdeglex')\n", + "R2. = PolynomialRing(QQ, order='negdeglex')\n", + "f = u^4 * v^4 + u^9 + v^9\n", + "g = u^6 * v^6 + u^13 + v^13\n", + "F = z^3 - 3 * f(u=x, v=y) * z + 2 * g(u=x, v=y)\n", + "F.discriminant(z)(x=u, y=v) / 108 - f^3 + g^2" + ] + }, + { + "cell_type": "code", + "execution_count": 2, + "id": "e5efc244-1749-476d-ad26-ed7cb0736fdc", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "[(-1) * v^19 * (2*u^6 + v^7),\n", + " (-1) * u^19 * (2*v^6 + u^7),\n", + " (-1) * (u + v) * v^6 * u^6 * (2*u^12 - 2*u^11*v - u^10*v^2 + u^9*v^3 - u^8*v^4 + u^7*v^5 - u^6*v^6 + u^5*v^7 - u^4*v^8 + u^3*v^9 - u^2*v^10 - 2*u*v^11 + 2*v^12)]" + ] + }, + "execution_count": 2, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "h = f^3 - g^2\n", + "Zh = ZetaFunctions(h)\n", + "[p.factor() for p in Zh.get_polyfaces_dictionary(compact=True) if p.number_of_terms() > 1]" + ] + }, + { + "cell_type": "code", + "execution_count": 3, + "id": "e0adc0c2-f648-4694-ac46-15ac55e26760", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "(u + v) * (-2*u^18*v^6 + 2*u^17*v^7 + u^16*v^8 - u^15*v^9 + u^14*v^10 - u^13*v^11 + u^12*v^12 - u^11*v^13 + u^10*v^14 - u^9*v^15 + u^8*v^16 + 2*u^7*v^17 - 2*u^6*v^18 - u^25 + u^24*v - u^23*v^2 + u^22*v^3 + 2*u^21*v^4 - 2*u^20*v^5 + 2*u^19*v^6 - 2*u^18*v^7 + 2*u^17*v^8 - 2*u^16*v^9 + 2*u^15*v^10 - 2*u^14*v^11 + 2*u^13*v^12 + 2*u^12*v^13 - 2*u^11*v^14 + 2*u^10*v^15 - 2*u^9*v^16 + 2*u^8*v^17 - 2*u^7*v^18 + 2*u^6*v^19 - 2*u^5*v^20 + 2*u^4*v^21 + u^3*v^22 - u^2*v^23 + u*v^24 - v^25 + u^26 - u^25*v + u^24*v^2 - u^23*v^3 + u^22*v^4 - u^21*v^5 + u^20*v^6 - u^19*v^7 + u^18*v^8 + 2*u^17*v^9 - 2*u^16*v^10 + 2*u^15*v^11 - 2*u^14*v^12 + 2*u^13*v^13 - 2*u^12*v^14 + 2*u^11*v^15 - 2*u^10*v^16 + 2*u^9*v^17 + u^8*v^18 - u^7*v^19 + u^6*v^20 - u^5*v^21 + u^4*v^22 - u^3*v^23 + u^2*v^24 - u*v^25 + v^26)" + ] + }, + "execution_count": 3, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "h.factor()" + ] + }, + { + "cell_type": "code", + "execution_count": 4, + "id": "f90d0141-c0d4-4ac9-bd07-8bf480ad6354", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "0" + ] + }, + "execution_count": 4, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "load('zetas_triples_general.py')\n", + "R3. = PolynomialRing(QQ, order='negdeglex')\n", + "R2. = PolynomialRing(QQ, order='negdeglex')\n", + "f = (v^2 - u^3)^4 + u^2 * v^7 + v^9 + u^13\n", + "g = (v^2 - u^3)^6 + u^2 * v^11 + v^13\n", + "F = z^3 - 3 * f(u=x, v=y) * z + 2 * g(u=x, v=y)\n", + "F.discriminant(z)(x=u, y=v) / 108 - f^3 + g^2" + ] + }, + { + "cell_type": "code", + "execution_count": 5, + "id": "fa1280f7-c380-49f7-953e-36aaf3bdba99", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "[v^23 * (u^2 + v^2),\n", + " u^2 * v^7 * (v^2 - u^3)^6 * (v^4 - 6*u^3*v^2 + 3*u^6),\n", + " (3) * u^26 * (v^7 + u^11)]" + ] + }, + "execution_count": 5, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "h = f^3 - g^2\n", + "Zh = ZetaFunctions(h)\n", + "[p.factor() for p in Zh.get_polyfaces_dictionary(compact=True) if p.number_of_terms() > 1]" + ] + }, + { + "cell_type": "code", + "execution_count": 6, + "id": "04f7177e-79bb-43df-8dcc-f9b4c8cb394d", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "u^2*v^23 + v^25 - 12*u^5*v^21 + 2*u^4*v^22 - 12*u^3*v^23 + 4*u^2*v^24 + 2*v^26 + 54*u^8*v^19 - 12*u^7*v^20 + 55*u^6*v^21 - 24*u^5*v^22 + 3*u^4*v^23 - 12*u^3*v^24 + 3*u^2*v^25 + v^27 - 128*u^11*v^17 + 18*u^10*v^18 - 128*u^9*v^19 + 36*u^8*v^20 + 18*u^6*v^22 + 180*u^14*v^15 - 9*u^13*v^16 + 180*u^12*v^17 - 24*u^11*v^18 - 12*u^9*v^20 - 156*u^17*v^13 - 21*u^16*v^14 - 150*u^15*v^15 + 6*u^14*v^16 + 6*u^13*v^17 + 3*u^12*v^18 + 82*u^20*v^11 + 84*u^19*v^12 + 58*u^18*v^13 + 3*u^17*v^14 - 24*u^16*v^15 + 6*u^15*v^16 + 3*u^13*v^18 - 24*u^23*v^9 - 168*u^22*v^10 + 12*u^21*v^11 + 36*u^19*v^13 + 3*u^26*v^7 + 210*u^25*v^8 - 21*u^24*v^9 - 24*u^22*v^11 - 168*u^28*v^6 + 6*u^27*v^7 + 3*u^26*v^8 + 6*u^25*v^9 + 84*u^31*v^4 - 12*u^29*v^6 + 3*u^28*v^7 + 3*u^26*v^9 - 24*u^34*v^2 + 18*u^32*v^4 + 3*u^37 - 12*u^35*v^2 + 3*u^38 + u^39" + ] + }, + "execution_count": 6, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "h.factor()" + ] + }, + { + "cell_type": "code", + "execution_count": 7, + "id": "ce0503e3-da42-46ac-bcbf-224978d2f563", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "[(-1) * (u + 128*v^6)]" + ] + }, + "execution_count": 7, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "h1 = R2(h(u=u^2, v=u^3 * (1 + v)) / u^73)\n", + "Zh1 = ZetaFunctions(h1)\n", + "[p.factor() for p in Zh1.get_polyfaces_dictionary(compact=True) if p.number_of_terms() > 1]" + ] + }, + { + "cell_type": "code", + "execution_count": 8, + "id": "cf6a76e4-21df-437f-9138-9db65a93d445", + "metadata": {}, + "outputs": [ + { + "data": { + "text/html": [ + "\\(\\displaystyle \\left(\\begin{array}{rrrrrrrrrrrr}\n", + "-3 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & -3 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "1 & 0 & -10 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", + "0 & 1 & 0 & -2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 1 & 0 & 1 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & -2 & 1 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 \\\\\n", + "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1\n", + "\\end{array}\\right)\\)" + ], + "text/latex": [ + "$\\displaystyle \\left(\\begin{array}{rrrrrrrrrrrr}\n", + "-3 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & -3 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "1 & 0 & -10 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 1 \\\\\n", + "0 & 1 & 0 & -2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 1 & 0 & 1 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & -2 & 1 & 0 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 & 0 \\\\\n", + "0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -2 & 1 \\\\\n", + "0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & -1\n", + "\\end{array}\\right)$" + ], + "text/plain": [ + "[ -3 0 1 0 0 0 0 0 0 0 0 0]\n", + "[ 0 -3 0 1 0 0 0 0 0 0 0 0]\n", + "[ 1 0 -10 0 0 1 0 0 0 0 0 1]\n", + "[ 0 1 0 -2 1 0 0 0 0 0 0 0]\n", + "[ 0 0 0 1 -2 1 0 0 0 0 0 0]\n", + "[ 0 0 1 0 1 -1 0 0 0 0 0 0]\n", + "[ 0 0 0 0 0 0 -2 1 0 0 0 0]\n", + "[ 0 0 0 0 0 0 1 -2 1 0 0 0]\n", + "[ 0 0 0 0 0 0 0 1 -2 1 0 0]\n", + "[ 0 0 0 0 0 0 0 0 1 -2 1 0]\n", + "[ 0 0 0 0 0 0 0 0 0 1 -2 1]\n", + "[ 0 0 1 0 0 0 0 0 0 0 1 -1]" + ] + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "cf = [-3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -10, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, -1]\n", + "A = Matrix(QQ, 12, cf)\n", + "show(A)" + ] + }, + { + "cell_type": "code", + "execution_count": 11, + "id": "8d16161d-985b-4f65-a6c9-d869bc41951c", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "((0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0),\n", + " (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1),\n", + " (2, 0, 2, 0, 0, 1, 0, 0, 0, 0, 0, 1))" + ] + }, + "execution_count": 11, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "Vf, Vg, Vd = [vector(QQ, 12) for i in (1, 2, 3)]\n", + "Vf[9] = Vg[11] = Vd[5] = Vd[11] = 1\n", + "Vd[0] = Vd[2] = 2\n", + "Vf, Vg, Vd" + ] + }, + { + "cell_type": "code", + "execution_count": 12, + "id": "4551d2ce-12ce-4c6e-9c04-7bdc6bf2b8bb", + "metadata": {}, + "outputs": [], + "source": [ + "n, Nf, Ng, Nd, Nhs, Nks, euler, nus, pols = trinomiales_general(A, Vf, Vg, (), (), Vd, total=False)" + ] + }, + { + "cell_type": "code", + "execution_count": 14, + "id": "a2b33242-627c-44a7-a7c3-13a0ff635055", + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "0 (z^3 + x^4*z^2 + x^13, (2, 1, 1), -1)\n", + "1 (z^3 + x^6*z^2 + x^19, (3, 1, 1), 1)\n", + "2 (z^3 + x^12*z^2 + x^37, (5, 1, 1), -3)\n", + "3 (z^3 + x^18*z^2 + x^57, (8, 1, 1), 0)\n", + "4 (z^3 + x^30*z^2 + x^95, (13, 1, 1), 0)\n", + "5 (z^3 + x^42*z^2 + x^133, (18, 1, 1), -1)\n", + "6 (z^3 + x^25*z + x^37, (6, 1, 1), 1)\n", + "7 (z^3 + x^50*z + x^74, (11, 1, 1), 0)\n", + "8 (z^3 + x^75*z + x^111, (16, 1, 1), 0)\n", + "9 (z^3 + x^100*z + x^148, (21, 1, 1), 0)\n", + "10 (z^3 + x^124*z + x^185, (26, 1, 1), 0)\n", + "11 (z^3 + x^148*z + x^222, (31, 1, 1), -1)\n", + "(0, 2) (z^3 + x^4*y^12*z^2 + x^13*y^37, (2, 5, 1), 1)\n", + "(1, 3) (z^3 + x^6*y^18*z^2 + x^19*y^57, (3, 8, 1), 1)\n", + "(2, 5) (z^3 + x^12*y^42*z^2 + x^37*y^133, (5, 18, 1), 1)\n", + "(2, 11) (z^3 + x^12*y^74*z^2 + x^37*y^222, (5, 31, 1), 1)\n", + "(3, 4) (z^3 + x^18*y^30*z^2 + x^57*y^95, (8, 13, 1), 1)\n", + "(4, 5) (z^3 + x^30*y^42*z^2 + x^95*y^133, (13, 18, 1), 1)\n", + "(6, 7) (z^3 + x^25*y^50*z + x^37*y^74, (6, 11, 1), 1)\n", + "(7, 8) (z^3 + x^50*y^75*z + x^74*y^111, (11, 16, 1), 1)\n", + "(8, 9) (z^3 + x^75*y^100*z + x^111*y^148, (16, 21, 1), 1)\n", + "(9, 10) (z^3 + x^100*y^124*z + x^148*y^185, (21, 26, 1), 1)\n", + "(10, 11) (z^3 + x^124*y^148*z + x^185*y^222, (26, 31, 1), 1)\n", + "(0, 'd') (z^3 + x^4*z^2 + x^13*y, (2, 1, 1), 2)\n", + "(2, 'd') (z^3 + x^12*z^2 + x^37*y, (5, 1, 1), 2)\n", + "(5, 'd') (z^3 + x^42*z^2 + x^133*y, (18, 1, 1), 1)\n", + "(11, 'd') (z^3 + x^74*z^2 + x^222*y, (31, 1, 1), 1)\n" + ] + } + ], + "source": [ + "for a in pols:\n", + " print(a, pols[a])" + ] + }, + { + "cell_type": "code", + "execution_count": 101, + "id": "05cb4f7a-a5d2-4533-93d2-d54c6e70268f", + "metadata": {}, + "outputs": [], + "source": [ + "zetatop, zetamon, dic = zetas(n, pols, info=True)" + ] + }, + { + "cell_type": "code", + "execution_count": 102, + "id": "51eca906-a9b3-467f-abb7-c3d7cc307f09", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "(216829/1151514) * (s + 35/74)^-2 * (s + 17/36)^-1 * (s + 127/266)^-1 * (s + 1)^-1 * (s^4 + 188530063/48136038*s^3 + 407335205/96272076*s^2 + 86507587/48136038*s + 34382075/128362768)" + ] + }, + "execution_count": 102, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "zetatop.factor()" + ] + }, + { + "cell_type": "code", + "execution_count": 103, + "id": "33a6a453-3089-40cf-81c1-0cd60c2f421b", + "metadata": {}, + "outputs": [ + { + "data": { + "text/plain": [ + "{1: 1, 2: 4, 14: 1, 26: 1, 36: 1, 37: 1, 74: 4, 222: 1, 266: 1}" + ] + }, + "execution_count": 103, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "dic" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "c10b8f88-2472-4fb7-bbb0-00db0d1d0ddd", + "metadata": {}, + "outputs": [], + "source": [] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "5a0467f7-1e57-4039-a968-1a8307e48864", + "metadata": {}, + "outputs": [], + "source": [] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "bc0a2841-a625-4381-958e-a2b1ee373815", + "metadata": {}, + "outputs": [], + "source": [] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "9be2fc1c-a52f-4bd8-bd3f-be31e5d26b28", + "metadata": {}, + "outputs": [], + "source": [] + }, + { + "cell_type": "code", + "execution_count": 9, + "id": "2fa88cbc-151d-4a5c-9c25-2bc9e73d13e5", + "metadata": {}, + "outputs": [ + { + "ename": "FeatureNotPresentError", + "evalue": "phitigra is not available.\nImporting GraphEditor failed: No module named 'phitigra'\nNo equivalent system packages for debian are known to Sage.\nTo install phitigra using the Sage package manager, you can try to run:\n !sage -i phitigra\nNo equivalent system packages for pip are known to Sage.", + "output_type": "error", + "traceback": [ + "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m", + "\u001b[0;31mModuleNotFoundError\u001b[0m Traceback (most recent call last)", + "File \u001b[0;32m~/sage/src/sage/misc/lazy_import.pyx:262\u001b[0m, in \u001b[0;36msage.misc.lazy_import.LazyImport._get_object\u001b[0;34m()\u001b[0m\n\u001b[1;32m 261\u001b[0m try:\n\u001b[0;32m--> 262\u001b[0m self._object = getattr(__import__(self._module, {}, {}, [self._name]), self._name)\n\u001b[1;32m 263\u001b[0m except ImportError as e:\n", + "\u001b[0;31mModuleNotFoundError\u001b[0m: No module named 'phitigra'", + "\nDuring handling of the above exception, another exception occurred:\n", + "\u001b[0;31mFeatureNotPresentError\u001b[0m Traceback (most recent call last)", + "Cell \u001b[0;32mIn[9], line 2\u001b[0m\n\u001b[1;32m 1\u001b[0m G \u001b[38;5;241m=\u001b[39m Graph(Integer(\u001b[38;5;241m12\u001b[39m))\n\u001b[0;32m----> 2\u001b[0m a \u001b[38;5;241m=\u001b[39m \u001b[43mgraph_editor\u001b[49m\u001b[43m(\u001b[49m\u001b[43mG\u001b[49m\u001b[43m)\u001b[49m\n", + "File \u001b[0;32m~/sage/src/sage/misc/lazy_import.pyx:409\u001b[0m, in \u001b[0;36msage.misc.lazy_import.LazyImport.__call__\u001b[0;34m()\u001b[0m\n\u001b[1;32m 407\u001b[0m True\n\u001b[1;32m 408\u001b[0m \"\"\"\n\u001b[0;32m--> 409\u001b[0m return self.get_object()(*args, **kwds)\n\u001b[1;32m 410\u001b[0m \n\u001b[1;32m 411\u001b[0m def __repr__(self):\n", + "File \u001b[0;32m~/sage/src/sage/graphs/graph_editor.py:81\u001b[0m, in \u001b[0;36mgraph_editor\u001b[0;34m(graph, **display_options)\u001b[0m\n\u001b[1;32m 78\u001b[0m \u001b[38;5;28;01mif\u001b[39;00m graph \u001b[38;5;129;01mis\u001b[39;00m \u001b[38;5;28;01mNone\u001b[39;00m:\n\u001b[1;32m 79\u001b[0m graph \u001b[38;5;241m=\u001b[39m Graph(\u001b[38;5;241m0\u001b[39m)\n\u001b[0;32m---> 81\u001b[0m \u001b[38;5;28;01mreturn\u001b[39;00m \u001b[43mGraphEditor\u001b[49m\u001b[43m(\u001b[49m\u001b[43mgraph\u001b[49m\u001b[43m,\u001b[49m\u001b[43m \u001b[49m\u001b[38;5;241;43m*\u001b[39;49m\u001b[38;5;241;43m*\u001b[39;49m\u001b[43mdisplay_options\u001b[49m\u001b[43m)\u001b[49m\n", + "File \u001b[0;32m~/sage/src/sage/misc/lazy_import.pyx:409\u001b[0m, in \u001b[0;36msage.misc.lazy_import.LazyImport.__call__\u001b[0;34m()\u001b[0m\n\u001b[1;32m 407\u001b[0m True\n\u001b[1;32m 408\u001b[0m \"\"\"\n\u001b[0;32m--> 409\u001b[0m return self.get_object()(*args, **kwds)\n\u001b[1;32m 410\u001b[0m \n\u001b[1;32m 411\u001b[0m def __repr__(self):\n", + "File \u001b[0;32m~/sage/src/sage/misc/lazy_import.pyx:225\u001b[0m, in \u001b[0;36msage.misc.lazy_import.LazyImport.get_object\u001b[0;34m()\u001b[0m\n\u001b[1;32m 223\u001b[0m if likely(self._object is not None):\n\u001b[1;32m 224\u001b[0m return self._object\n\u001b[0;32m--> 225\u001b[0m return self._get_object()\n\u001b[1;32m 226\u001b[0m \n\u001b[1;32m 227\u001b[0m cpdef _get_object(self) noexcept:\n", + "File \u001b[0;32m~/sage/src/sage/misc/lazy_import.pyx:267\u001b[0m, in \u001b[0;36msage.misc.lazy_import.LazyImport._get_object\u001b[0;34m()\u001b[0m\n\u001b[1;32m 265\u001b[0m # Avoid warnings from static type checkers by explicitly importing FeatureNotPresentError.\n\u001b[1;32m 266\u001b[0m from sage.features import FeatureNotPresentError\n\u001b[0;32m--> 267\u001b[0m raise FeatureNotPresentError(feature, reason=f'Importing {self._name} failed: {e}')\n\u001b[1;32m 268\u001b[0m raise\n\u001b[1;32m 269\u001b[0m \n", + "\u001b[0;31mFeatureNotPresentError\u001b[0m: phitigra is not available.\nImporting GraphEditor failed: No module named 'phitigra'\nNo equivalent system packages for debian are known to Sage.\nTo install phitigra using the Sage package manager, you can try to run:\n !sage -i phitigra\nNo equivalent system packages for pip are known to Sage." + ] + } + ], + "source": [ + "G = Graph(12)\n", + "a = graph_editor(G)" + ] + }, + { + "cell_type": "code", + "execution_count": 54, + "id": "54c20ec5-3e80-4d4d-9586-2af443c62f95", + "metadata": {}, + "outputs": [ + { + "data": { + "application/vnd.jupyter.widget-view+json": { + "model_id": "62e83ac19ea047aeb488ebd6c6a0bad9", + "version_major": 2, + "version_minor": 0 + }, + "text/plain": [ + "HBox(children=(VBox(children=(MultiCanvas(height=400, image_data=b'\\x89PNG\\r\\n\\x1a\\n\\x00\\x00\\x00\\rIHDR\\x00\\x00\\x02X\\x00\\x00\\x01\\x90\\x08\\x06\\x00\\x00\\x00r5\\x1e\\x98\\x00\\x00\\x00\\x01sRGB\\x00\\xae\\xce\\x1c\\xe9\\x00\\x00 \\x00IDATx^\\xed\\xdd\\t|T\\xd5\\xf9\\xff\\xf1\\xefL\\x12\\x92I\\xc2\\x16\\x08\\xfb\\xbe\\xc8\\xbe(n n\\x88\\x8a\\x88\\n\\x8a\\xe2\\xbeV\\xad\\xd5V\\xdbZ\\xabmm\\xb5j\\x7fU\\xab\\xd5V\\xebn]qA\\xc5\\x15A\\x14EQT@Y$l\\xb2\\xcaN\\x08[\\x92\\xc9>\\xff\\x9e\\x13&\\x06%\\xc9\\xdc\\x99\\x9b\\xc9\\x1d\\xff\\x9f\\xfbz\\xe57\\xf6\\xc7\\xe4\\xccy\\xde\\xcf\\xb93O\\xe6\\x9e{\\x8eO\\x1c\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\xae\\n\\xf8\\\\m\\x8d\\xc6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04D\\x81\\xc5 @\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x14X\\x8c\\x01\\x04\\x10@\\x00\\x01\\x04\\x10@\\xc0e\\x01\\n,\\x97Ai\\x0e\\x01\\x04\\x10@\\x00\\x01\\x04\\x10\\xa0\\xc0b\\x0c \\x80\\x00\\x02\\x08 \\x80\\x00\\x02.\\x0bP`\\xb9\\x0cJs\\x08 \\x80\\x00\\x02\\x08 \\x80\\x00\\x05\\x16c\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\x10pY\\x80\\x02\\xcbeP\\x9aC\\x00\\x01\\x04\\x10@\\x00\\x01\\x04(\\xb0\\x18\\x03\\x08 \\x80\\x00\\x02\\x08 \\x80\\x80\\xcb\\x02\\x14X.\\x83\\xd2\\x1c\\x02\\x08 \\x80\\x00\\x02\\x08 @\\x81\\xc5\\x18@\\x00\\x01\\x04\\x10@\\x00\\x01\\x04\\\\\\x16\\xa0\\xc0r\\x19\\x94\\xe6\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\n,\\xc6\\x00\\x02\\x08 \\x80\\x00\\x02\\x08 \\xe0\\xb2\\x00\\x05\\x96\\xcb\\xa04\\x87\\x00\\x02\\x08 \\x80\\x00\\x02\\x08P`1\\x06\\x10@\\x00\\x01\\x04\\x10@\\x00\\x01\\x97\\x05(\\xb0\\\\\\x06\\xa59\\x04\\x10@\\x00\\x01\\x04\\x10@\\x80\\x02\\x8b1\\x80\\x00\\x02\\x08 \\x80\\x00\\x02\\x08\\xb8,@\\x81\\xe52(\\xcd!\\x80\\x00\\x02\\x08 \\x80\\x00\\x02n\\x17X#%u\\xde\\xfb\\xd3MR\\x0fI=\\xf72\\xaf\\x90\\xf4\\xad\\xa4U\\x92\\xd6\\xee\\xfdy\\xdf\\x83)\\xf8)\\xc4\\x10f\\xfd)\\xc4\\xf2S\\x88\\xc1\\xe4\\xc3\\xc4a\\xce\\x89\\x1f\\xfe\\x84$%\\xca\\xb9\\xf1S\\x8b#\\xd1\\xdf\\xab\\xc2\\xf9 \\x0e\\xef|\\x90\\xfcT\\xces\\xc6\\x96\\x0bc\\xca\\x8d\\x02\\xab\\x8b\\xa43\\xf7\\xfe\\x1c\\xe2\\xb0Os$M\\xda\\xfb\\xb3\\xc6\\xe1\\xef\\xba\\xf9\\xf4\\x9fB\\x0ca\\x8f\\x9fB,?\\x85\\x18L>\\x88C\\xf2\\xca9N>*\\xdf!\\xc8\\x87\\x9b\\x9f\\x1c\\x95m\\xfdT\\xce\\xf3\\x9fR,\\x9e\\xc8I,\\x05\\xd6hST\\xf9\\xfc\\xfe\\t\\xa1\\x8a\\x8a\\x80\\xc9L\\xdf\\xd3F\\xab\\xf3\\xd0C\\xd4\\xb8mk5n\\xd3\\xba\\xf2\\xb1mk;\\x02\\xf7l\\xdaR\\xf9\\xb3\\xb9\\xf2q\\xed\\xec9\\xcayc\\x8a\\xfd7\\x9f\\xdf\\x1f\\x0cUT\\xbc\\xb4\\xb7\\xd0\\xaa\\xfc\\x7f\\xc6\\xe7\\xa8\\x8c\\xc1\\xe7\\x9b\\x10\\n\\x85l\\x0c\\xc3\\xdb\\x1d\\xae\\xfe-\\xfa\\xa8EZ\\xd6\\xde\\x9f\\xe6\\xf6\\xd1\\x1c\\xdb\\x8b\\xf2\\xb4\\xbdh\\xc7\\xde\\xc7<}\\xb3}\\x89fm\\xfc\\xbc2\\x06\\x9f/\\x18\\n\\x85\\x1a\"\\x86\\xb0\\xd4\\xde|\\xf8&\\x84**c\\xe9}b\\x07u<8[\\x99\\xad\\x02j\\xdc*\\xa0\\xcc\\xd6\\x95\\x8f6\\x1f[\\x83\\xca\\xdf\\x12\\xac|\\xdc\\x1a\\xd4ws\\xb7i\\xe9\\xb4\\xf5{\\xf3\\xe1\\x0b\\x86*\\x1a$\\x16\\x1b\\x83\\xe4\\x9f U\\x8e\\xa9\\x16\\x1a\\xab\\xa6:B\\x8d\\xd4v\\x9f\\x1f\\xf3o%\\xda\\xb4\\xcf\\xcf.}\\xaa\\xedz}\\xaf\\x87?(5\\xc8\\x982\\xafo\\xe3\\xf0\\xfb\\xfc\\x13*B\\x95q\\x8c\\xeby\\xac\\x86\\xb5\\x1f\\xa8\\xd6\\xe9Yj\\x97\\x99\\xad\\xf6\\x8d\\xb3\\xd5>3\\xdb\\x8c\\x1cm\\xca\\xcf\\xd5\\xc6\\x82m\\x95\\x8f\\xf9\\xb9\\xfat\\xc3\\x02M^\\xf1\\xa1\\x8d\\xc3\\xef\\xf3\\x07+B\\r\\x1b\\x87\\xcf\\xff\\xfd\\x98\\xeaz\\xec\\xd1j3\\xa8\\xbf\\x02YY\\xca\\xc8n\\xa9\\x8cV\\xd9\\xca\\xc8\\xce6a\\xa8`[\\xae\\ns\\xb7\\xabp[\\xae\\nrs\\xb5y\\xfe\"\\xad\\xfepfC\\x8f\\xa9\\xaa|\\xc8\\xa7\\t\\n\\xc9\\xe6#\\xb9Ks%\\xb5\\xc9\\x94/=E\\xfe\\xf4F\\xf2e\\xa4\\xd8\\xff6G\\xa8\\xb0T\\xa1\\x82RU\\x14\\x96\\xd8\\xff.\\xdf\\x9c\\xaf\\xb25;*\\xc7\\x95OA\\x85\\xd4P\\xe7y\\xe5\\xf9\\xe1\\xf3M\\xd0\\xde\\xf7\\xabfG\\x1f\\xad\\x8c\\x01\\x03\\x95\\xd2\\xb2e\\xe5O\\x8b\\x16\\xf6\\xd1\\x1c\\xa5\\xb9\\xb9*\\xdd\\xbe\\xbd\\xf217W\\x05\\x8b\\x16j\\xe7\\xcc\\xca|\\xc8\\xe7\\x0b\\xaa\\xe1\\xde\\xaf\\xf6\\xbe\\xef\\xfa\\'\\x84\\xf6\\x9e\\x1f\\x9d:\\x1e\\xaf\\xec\\x96\\x07)\\x10h\\xa5\\xf4@+\\x05\\x02\\xd9\\xf6\\xbf\\xcd\\x11\\x0cnU0\\xb8M\\x85\\xf6q\\xab\\xb6\\xe5~\\xa5u\\xdfM\\xdf\\x1b\\x86?\\x18j\\xe0\\xf3C>\\xff\\x04\\xed\\x8d#\\xb5\\xd3\\x185\\xca>T\\xfe@\\xb6\\xfc\\x816\\xf2\\xa7\\xb7URz[;p*\\x82\\x9bU^\\xb8\\xc5>\\x9a\\x9f\\x92\\xad_\\xa8x\\xdd\\xdb{\\xf3\\xe1\\x0f\\xaa\\xe1\\xe2\\xa8v\\x8eT\\x1b[=\\xba)\\xa3}\\x1b\\xa5dd(%3C)\\x19\\xe9\\xf6\\xbf\\xed\\xd8*(PiA\\xa1J\\xf3\\xcdc\\x81\\n6l\\xd6\\xceo\\xcd\\xc5)\\x8f\\x8c-\\xf9&\\x84T\\xf99\\xd8#\\xbd\\xbd\\xda\\xa7\\xb6TFR\\x9a2\\x93\\x02\\xf61#\\xa9\\xf2s\\xb0\\xa0<\\xa8\\x82\\xf2\"\\xe5\\xef}\\xdcP\\x9c\\xabo\\x0b7\\xec=\\xd5}\\xc1\\x90b\\xfb\\x1c\\x8c\\xb6\\xc0\\xba\\xf9\\x7f\\xef\\xfd\\x7f5\\xbdh\\x94\\x91\\xae\\xc1\\xe7\\x9e\\xa9\\xc1\\xe7\\x9e\\xa1N\\x87;\\xfb\\x02k\\xdd\\xe7s4\\x7f\\xe2\\xab\\x9a?q\\x92J\\n\\n+\\x93#\\xfdY\\xd2m\\xe1\\xffQ\\x8f\\x8fU1\\xa4%\\xa7\\xe9\\xf8\\x8e\\xc7\\xe8\\xf8N\\xc7\\xaa_VoG/\\xb98o\\xa9\\xa6\\xaf\\xfbP\\xd3\\xbf\\xfbHEeE\\xf1\\x8e!\\xfcz\\xdf\\xe7#=Y\\x03\\xc6u\\xd1\\xc0q]\\xd5aH\\xe5\\x1bm\\xa4\\xc7\\xfay\\xb9Z8y\\xb5\\x16M^\\xa3\\x92\\xc2\\xb2x\\xc7R\\x15C\\x922\\xd4J\\xe7\\xdb\\x9f&\\x1a\\x1ai\\xf7\\xed\\xf3vk\\xb6\\xb6\\xea9\\xfbS\\xae\\x82x\\xc7`^\\xef\\xe7\\x92\\x1e2\\xff\\x91\\x91\\x12\\xd0\\x05\\xfdF\\xeb\\x82\\xbe\\xa3mq\\xe5\\xe4\\xf8l\\xc3B=\\x9b3E\\xcf.\\x9e\\xa2\\x82\\xd2`\\x83\\xc6\\x91\\x12\\x08\\xe8\\x80\\x93G\\xa9\\xe7\\xe8\\x13\\xd5f\\xd0\\x00\\'ah\\xf3\\x82EZ1e\\x9a\\x96\\xbf3U\\xa5\\xc1\\x06\\x89\\xa3j\\\\\\xf9R\\xfcJ\\xee\\xd9R)=[(\\xa9u\\xa6\\xa38\\xca\\xb7\\xe4\\xabt\\xc5v\\x95\\xad\\xc8U\\xa8\\xb4\\xa2!\\xf2Q\\x15\\x87?\\x10P\\xd6\\xa8Qjq\\xe2(e\\x0cp\\x96\\x8f\\x82E\\x8b\\xb4}\\xdaT\\xe5M\\x9d\\xaa\\x8a\\x06\\xceGrr\\xba\\xbau=\\xcd\\xfed\\xb7<\\xd0Q>\\xb6\\xe5~\\xadU\\xab\\xdf\\xb0?eeq\\xff\\xec\\xd8\\xe7<\\xf7%g(\\xad\\xdbY\\nt\\x9f\\xa0\\x94\\xecC\\x1d\\xc5Q\\xba\\xedK\\x05W\\xbe\\xa4\\xa2U/+T\\xd6 \\xefW\\xa6\\xbf\\xdf\\x8f\\xad\\x94\\x14e\\xf5=@Y}z)\\xa3]\\x1bG\\xb1\\x14l\\xdc\\xac\\xbc%\\xcb\\x94\\x97\\xb3\\\\\\x15\\xa5\\xa5\\rz\\x8e\\xa4\\xf8\\x92\\xd57\\xb3\\xb3\\xfadtV\\xbb\\xd4\\x16\\x8e\\xe2\\xd8X\\xbc]K\\n\\xd6*\\'\\x7f\\xadJC\\xb1}\\x0eFS`\\xbd(i\\x82\\xe9\\xf1\\x88?]\\xaf\\xc1\\xe7\\x9c\\xa1\\xacn\\xe6\\xdb\\xb8\\xe8\\x8f\\xbcUk4\\xff\\x85W5\\xe3\\xf6\\x7f\\x84\\x1b1\\x7f!\\x9e\\x1d}\\x8bu\\xfefU\\x0c\\x17\\xf5>G#;\\x1d\\xa3v\\x19\\xce\\x06\\xd3\\x0f_ac\\xc1f\\xbd\\xbf\\xee#=\\xbd\\xf4\\x85x\\xc5\\x10~\\x9d\\xaaX\\x8e\\xbe\\xae\\xbf\\x06\\x8c\\xeb\\xaa\\xe6\\x9d\\x9c}x\\xfc0\\x96\\x1d\\xeb\\xf2\\xb5h\\xf2j\\xcd\\xbc\\xef\\x9bx\\xc5R\\x15C\\'\\xfdY\\xadu\\xbe\\xd2\\xecT\\xa5\\xe8\\x8f\"\\xad\\xd2\\x16=\\xa7u\\x95\\x7f\\x07\\x98\\xa3\\xbe\\xc7\\xd4>oT\\xb7\\x1cq\\x85\\xce\\xef{\\x92\\xba7\\xeb\\x10}\\x10\\x92V\\xee\\\\\\xaf\\xe7r\\xde\\xd5-\\x9f>\\xda q\\x1c|\\xe5e:`\\xf4\\x89j\\xd2\\xa1}Lq\\xec^\\xbfA\\xcb\\xa7L\\xd3\\xdcG\\x9e\\x88g\\x1cU\\xe3\\xaa\\xd1\\x90vJ\\xe9\\xd9R\\xfe&\\xa91\\xc5Q\\xb1\\xbbX\\xa5+rU2oc\\x83\\xc4\\xd1\\xf6\\xb2\\xcb\\x94u\\xe2(\\xa5\\xb6\\x8f-\\x1f\\xc5\\x1b6(o\\xdaTmz\\xa2a\\xf21p\\xc0/\\xd5\\xad\\xeb\\xa9j\\x9c\\xd9)\\xa6|\\xec\\xc9_\\xa7U\\xab\\xdf\\xd4\\xc2E\\xff\\x8eg>\\xaa\\n\\x92\\x8cA\\xbfW\\xa0\\xdb\\x04%5\\x8e\\xed3\\xb0|\\xcf\\x1a\\x05W\\xbd\\xa4\\x82\\x05w\\xc63\\x0e\\xf3ZU\\xe7H\\x9b\\xa1\\x87\\xd8\\xc2*\\xb5Y\\x93\\x98rR\\xbcs\\xb7-\\xb46\\xcf6W\\xa3\\xe3\\xf6\\xde[\\x15\\xc7\\xd0\\xa6}\\xd5\\'\\xb3\\xb3\\x9a%\\xc7\\xf69\\xb8\\xb3,_K\\xf2\\xd7j\\xf6\\xae\\x9c\\xa8\\xe3pZ`\\x99O\\xdc~\\xa9M\\x1a\\xeb\\x94{\\xef\\xd0\\xe0\\xf3\\xcc\\xd4+\\xf7\\x8e\\xf9\\xcfO\\xd2[\\xbf\\xf9\\xa3\\x8aw\\xef1\\x8d.\\x96\\xd4\\xdf\\xbd\\xd6\\xabZ\\xb21d\\xa4\\xa4\\xeb\\x97\\x03\\xaf\\xb0\\xdfZ\\xb9y\\x98o\\xb3\\xfe\\xbd\\xf0Q\\x15\\x94\\xda\\xbf\\xaa\\xea+\\x86p\\x97+\\xf3\\x91\\x99\\xa2Q\\xb7\\x0e\\xd1\\xc0\\xd3\\xbb\\xba\\x19\\x8a\\x16\\xbe\\xb6ZS\\xff2O\\xc5\\xf9\\xf6\\xaf\\x91\\xfa\\x8a\\xc5\\xc6\\x90\\xa4&\\xea\\xa1\\x7f\\xd9o\\xad\\xdc<\\xcc7Y\\xdf\\xeaW*\\xd7\\xee\\xfa\\x8c\\xc1\\xb4m\\xaeY\\x8cl\\x95\\x9e\\xa5\\xe7\\xc7\\xdc\\xa6\\x91\\x9d\\x9d\\xfd%[W\\xcc\\xcf,\\x9e\\xa2_~p\\x97v\\x17\\xdb\\xbfr\\xeb+\\x17Uq\\x04\\xb2\\x9a\\xeb\\xb8\\xdb\\xff\\xa2\\x0e\\x879\\xfbV\\xba\\xae8\\xcc7Y\\xb3\\xee\\xbcW%\\x05\\xf5\\x1e\\x87\\x1dW\\xbeFIJ=\\xa2\\xb3\\xfd\\xd6\\xca\\xcd\\xc3|\\x9bU\\xfc\\xe9Z\\x85J\\xca\\xeb;\\x1f\\x95\\xe7GF\\x86:\\xfe\\xe67\\xca\\x1au\\x92\\x9ba(o\\xea\\xbb\\xfa\\xee\\xde{U\\x1e\\xa7|\\xa4\\xa4d\\xea\\xd0\\x83oV\\xb7\\xaec]\\x8dc\\xd5\\xea\\xd7\\xf5\\xe5\\xdc\\xdbTZ\\x9a_\\xdf\\xf9\\xb0\\xe7\\xb9?-[M\\x8f|D\\x8d\\xda\\x1e\\xe3j\\x1cE\\xab^\\xd2\\xee/nP\\xa8\\xb4^?\\x03\\xf7\\xf9\\xfcHj\\xd4H\\x1dF\\x1c\\xa9\\xac\\xbe\\xbd\\\\\\x8d%/g\\x99\\xd6\\xcf\\xf8D\\xe5%%\\xf5\\x9d\\x13{\\x8e4\\xf2\\xa7hD\\xd6\\x81\\xea\\x9ba\\xee\\xf9p\\xef\\xc8)X\\xab\\x19y_\\xab\\xa4\\xc2\\xf9\\xe7\\xa0\\x93\\x02\\xcb\\xdc\\xed\\xa4\\xb6\\x83\\xfa\\xebg\\xef\\xbd&Sd\\xd5\\xc7a\\x8a\\xab\\xc7O8]\\x9b\\x16T}{\\xe2\\xa4\\x8fuu\\xc9\\xc6\\xd0\\xa3iW\\xdd{\\xe4\\xdfd\\x8a\\xac\\xfa8Lq\\xf5\\x9bO\\xfe\\xa0ow\\xad\\x0e7\\xeff\\x0c\\xe16m,m\\xfa6\\xd7\\x85/\\x1d\\'Sd\\xd5\\xc7a\\x8a\\xabg&|\\xa0\\xcd9{\\xe7\\xa0\\xd8\\xd96\\xae\\x1d6\\x86L\\r\\xd6@\\xcd\\x90)\\xb2\\xea\\xe30\\xc5\\xd5B\\x8dP\\xbe\\xe6\\xd7W>l\\x1c\\'w\\x1b\\xaeI\\xa7\\xfd]\\x81\\xe4\\xd8\\xbe%\\xa9\\xc9`wI\\x81\\x8e~\\xe1\\n\\xcd\\xdf\\xba\\xbc^\\xe3\\xe84|\\x98N\\xb8\\xebv%\\xa7\\xd6O\\x1c\\xa6\\xb8z\\xf3\\xf2\\xab\\x95\\xbb\\xcc\\xdc\\x0eS\\\\-\\xbf\\xfa\\x17\\n\\xae\\xa8\\xdf|d5\\xef\\xa3\\x13F>\\'Sd\\xd5\\xc7a\\x8a\\xab\\xf7\\xde?_y;\\x96\\xd4\\xeb\\xb8J\\xedp\\x82\\x9a\\x1e\\xfd\\x94|Ii\\xf5\\x11\\x86-\\xae\\xf2\\xa6\\x8dQY\\xde\\xa2\\xfa\\x8a\\xa3\\xea\\x1c\\t\\xb4j\\xa9\\x9eg\\x8d\\x95)\\xb2\\xea\\xe30\\xc5\\xd5\\x8a\\x97_Wpkn}\\xc5b\\xcf\\xf5V\\x8d\\x9a\\xe9\\xac\\xd6\\xc7\\xc8\\x14Y\\xf5q\\x98\\xe2\\xea\\xe5-\\x1fik\\xc9NGqD\\xfa\\x86`\\xabvsIp\\xc4\\x1f\\x7f[\\x1f\\xfd\\xffQ\\x9b3\\xee\\xb8\\'|\\xc9\\xd0,\\xe5p\\xbc\\x0b/jc0\\x97\\x04/\\xecS\\x9fW\\x1f\\xbf\\xef\\xe93K^\\x0c_2t+\\x86p\\xe36\\x16sI\\xf0\\xa8k\\x9d\\xcd\\xc1\\x88\\xd6\\xf1\\xe3\\xfb\\x17\\x85/\\x19\\xba\\x15\\x8b\\x8d\\xc1\\\\\\x12\\xecl\\xa7\\xdd\\xd5\\xff\\xb1V\\x7f\\r_2t+\\x06\\xd3i\\xfb\\xd7\\x93\\xb9$\\xf8\\x97a\\x97\\xd7\\x7f\\x10\\xff\\xabFn\\xfd\\xec\\xb1\\xf0%C\\xd7\\xe30\\x97\\x04\\x0f\\xbe\\xe2\\xd2\\xb8\\xc41\\xf7\\xd1\\'\\xc3\\x97\\x0c\\xdd\\x8c\\xc3\\x8e+sI0uHl\\x97\\xd1\"E(\\x9e\\xb7!|\\xc9\\xd0\\xf58\\xcc%\\xc1\\xb6\\x97^\\x16iWbz\\xde\\xa6\\'\\x9f\\x08_2t=\\x0esIp\\xd0\\x80kb\\xea_\\xa4\\xbf\\xbc`\\xd1\\x03\\xe1K\\x86n\\xc6Qy\\xe5c\\xd0\\xef\\x959\\xe8\\xf7\\x91v%\\xa6\\xe7\\xe5/\\xb83|\\xc9\\xd0\\xcd8L\\x9f\\xec9b.\\t\\xb6\\x1d\\xea\\xee7\\xd45\\x05\\xbci\\xf6\\x9c\\xf0%C7c\\xb1q\\x98K\\x82C\\x9b\\xf5\\x8b\\xc9:\\xd2_\\x9e\\xbdsq\\xf8\\x92aDqDR`\\xd9\\xeb\\xcd\\xbdF\\x8d\\xd4\\x05\\x93\\x9f\\x8d\\xb4\\x1f\\xae<\\xef\\xd9q\\x17h\\xd9T\\xbbTV\\xac\\x13\\xdfm\\x0c\\x87\\xb59X\\x7f\\x1bj\\xfe3~\\xc7\\x1ff\\xdf\\xa6/6\\xcfu#\\x86p\\xa7m,=\\x8fm\\xa7\\xb3\\x9f<:~\\x81\\x98\\x8b\\xf5\\x97\\xce\\xd4\\x8a\\x0f\\xed\\xdc\\x13W\\xf2\\x91\\xa5\\xd1\\xea\\xa77\\xe3\\x1a\\xc3b\\x9d\\xaa<\\xd9\\x1bUc\\x8d\\xc1\\xb4a\\xaf\\xfb\\x0fnu\\x80\\xbe\\xbe\\xe8\\xf9\\xb8\\xc61\\xe6\\xd5_\\xeb\\x9dU\\xb3\\\\\\x8d\\xa3e\\xaf\\x9e\\x1a?\\xf1\\xa9\\xb8\\xc61\\xe5\\xda\\xdfi\\xdd\\xac\\xcf\\xdc\\x8a\\xc3\\x9e\\x1b\\xc9\\x9d\\x9a)0*\\xbc\\xfc^|\\xc2\\tN]\\xa1\\xb2u\\xf6\\xaf[7\\xc6\\x95\\x8d\\xa3\\xe9\\xb0a\\xea~w\\xd5\\xbc\\xd4\\xb8\\x04\\xb2\\xf2w\\xd7k\\xd7g\\xee\\xe6\\xa3}\\xbbc4\\xe2\\x98G\\xe2\\xd2\\xff\\xf0\\x8b\\xcc\\xf8\\xe8Jm\\xd8\\xf8\\x91[\\xf9\\xb0\\xe7yr\\xd6\\x00\\xb5\\x18\\xb3\\xf7.\\xcc8E\\xb3s\\xc6\\xd9*^\\xff\\x9e[q\\x98v\\xec\\xd8j\\xd2\\xb5\\xb3\\xba\\x8f;9NQT\\xbe\\xcc\\xca\\xc9\\xefh\\xf7j\\xb3\\x04\\xa6{\\xe7H\\xd7@[\\x8dk5<\\xaeqL\\xde:K\\xab\\x83\\x9b\"\\x8a\\xa3\\xae\\x02\\xcb\\xde\\x11en\\xc7\\xbe~\\xd9\\x1c\\xa5\\x04\\xea\\xe7+\\xd1\\x9atJ\\x83E\\xfaG\\xafC\\xec\\xed\\xdf\\x92\\xae\\xfa\\xdf\\x15\\xb1\\x87\\xa3\\x90\\xb414Km\\xaa\\x89\\'>\\xae\\xd4\\xa4\\xfa\\xf9*\\xb4\\xa6~\\x15\\x97\\x97\\xe8\\xdci?\\xd3\\xce\\xe2]\\xb1\\xc4\\x10n\\xbe2\\x1f-\\xd2\\xf4\\xabY\\xa7*9\\xad~.}\\xd4\\x14KYQ\\xb9\\xfe5\\xfcM\\x15l\\xb7wK\\xc6\\x94\\x8f\\x14\\xb5\\xd2\\xa1Z)\\x7f\\xe5]\\xf3q;*\\x14\\xd4\\x97\\xea\\xaeRm\\x8d%\\x86\\xef\\xdf\\xa8R3\\xf4\\xdd\\xcf\\xdfQ\\x93F\\xf5s\\xf9\\xa6&\\x98`Y\\xb1\\xba\\x96\\xd3\\x18L\\x936\\x8ex\\xce\\xbb\\xaa)\\x8ej\\xf3\\xb1\\xa2\\x8e#\\x9e\\xf3\\xaej\\x8a\\xa3\\xda|\\xac\\xa8\\xe3\\x88\\xe7\\xbc\\xab\\x9a\\xe2\\xa86\\x1f+\\xea8\\xe29\\xef\\xaa\\xa68\\xaa\\xcd\\xc7\\x8a:\\x8ex\\xce\\xbb\\xaa)\\x8ej\\xf3\\xb1\\xa2\\x8e#\\x9e\\xf3\\xaej\\x8a\\xa3\\xda|\\xach\\xe2\\xa8z\\xcf\\x8a\\xe7\\xbc\\xab\\x1a\\xc7\\xd6\\xf7\\xf3\\xb1\\xa2\\x89\\xc5\\xbe\\xf7\\xc6s\\xdeUMqT\\x9b\\x8fUc\\x1c5\\x15X]|~\\x7fNJ -p\\xcd\\x97\\x1f\\xc4\\xbc\\xceU\\x04\\x85P\\xadO1\\xebd=p\\xe8q*\\r\\x16\\x99\\x15\\xdf\\xfb\\xfe\\x0f8\\x92mu\\xba\\xf8|\\xbe\\x9c\\xd4\\xa4\\xd4\\xc0c#\\xee\\x8fy\\x9d\\xabXc0\\xebd]>\\xe3Z\\x15\\x97\\x17\\x9b\\x15\\xdf#\\x8d!\\xfc\\xb2]|~_NJZR\\xe0\\x8awO\\x8ay\\x9d\\xabXc1\\xebd=z\\xd2\\xbb*-*7+\\xbeG\\x1aK\\x17\\xc9\\x9f\\x93\\xa4@\\xe0 }\\x1d\\xf3:W\\xb1\\xc6`\\xd6\\xc9\\xfaJ\\x07\\xaa\\\\f\\xb5\\xc5\\x88\\xc7\\x94y\\xd9.~\\x9f?\\'\\x90\\x9c\\x1aXp\\xf1\\xc4\\x98\\xd7\\xb9\\x8a5\\x0e\\xb3N\\xd6\\xa0\\xa7\\xceU\\xb0\\xac\\xd8\\xac\\xf8\\x1ei.l\\x1cfL%\\xa7\\xa6\\x05\\xce|\\xf1\\xe9\\x98\\xd7\\xb9\\x8a5\\x0e\\xb3N\\xd6\\xa4\\xb3/RY\\xb19\\xc7#\\x1eS6\\x0e\\xf9\\x94\\xe3K\\xf6\\x07\\xd2\\xcf\\xe8\\x1f\\xf3:W\\xb1\\xc6a\\xd6\\xc9*|\\xf5\\x1b\\x85\\xca*\\xcc\\x8a\\xef\\x8e\\xf2!\\x9f/\\xc7\\x9f\\x96\\x16\\xe8\\xf3\\xf431\\xafs\\x15k\\x1cf\\x9d\\xac%\\x17]\\xa8\\x8a\\xa2\"\\xb3\\xe2\\xbb\\xa38|>\\x7fNRRZ`\\xcc\\xe87b^\\xe7*\\xd68\\xcc:YoO9M\\xe5\\xe5Ef\\xc5wGq\\xc8\\xe7\\xcf\\xf1%\\x05\\x02-N\\xf9$\\xe6u\\xaeb\\x8d\\xc3\\xac\\x93\\xb5\\xfd\\xad#\\x15*\\x0f\\x9a\\x15\\xdf\\x9d\\xc4\\xb1\\xf7\\x1c\\xf1\\xe5\\xf8\\x93\\x93\\x03\\xbd/\\x98\\x10\\xf3:W\\xb1\\xc6b\\xd6\\xc9Z\\xfa\\xecK\\xe6\\x92\\xa1\\xf3\\xb1%_N\\xb2/)pA\\xbb\\xe3c^\\xe7*\\xd68\\xcc:Y\\xcfn\\x9c\\xae\\xb2P\\xb9Y\\xf1}\\xbf9\\xa9\\xa9\\xc0\\xfa\\x9d\\xa4\\xbb\\x0e\\xbd\\xfc\"\\x9d\\xfa\\xaf\\xbfG\\xd5\\x8feS\\xa6\\xeb\\xe3\\x7f\\xfc[[\\x96,\\x97B!u8\\xf8@\\x8d\\xb8\\xf9zu:\\xec\\xe0\\xa8\\xda{\\xf3W7\\xea\\xcb\\xc7\\x9e6\\xbf{\\xc3\\xff\\x16\\xc9\\xbe;\\x82Fl\\x0c\\xa7t\\x1d\\xa5\\xeb\\x06\\x9b\\xcb\\xbd\\xd1\\x1d{J\\xf3u\\xe7\\xdc\\xfb4{\\xf3\\x1c\\xfd\\xe9\\x90\\xebul\\x87#\\xa3kH\\xd2}\\xf3\\x1f\\xd2[\\xab\\xa7:\\x89!\\xfcZ6\\x96!\\xe7\\xf5\\xd0\\xe8\\xdb\\x9d_6\\xd8\\xb5\\xa1@\\x9f?\\xbe\\xd4NP\\xdf\\xbd\\xa9P\\xe9\\xcdS\\xd5\\xaaW3\\x1d\\xf1\\x8b\\xbe\\xea|X\\xe5v\\x14N\\x8f)\\x7f\\x9a\\xa3y\\xcf\\x9b\\xbd\\xbb\\x9d\\xe5\\xa3\\xad\\xaeT\\x0f=\\xe8\\xf4\\xe5\\xb4C\\xd3\\xb5YO\\xd8\\x95\\xda\\xcd\\xfc)\\xbfR\\x15P/\\xb5\\xd6\\x85jg/\\xe7;\\x9fs\\xf3\\xad\\xae\\xd6&\\xd9\\xc9\\xb7\\x91\\x8e)\\xf3\\\\\\x9b\\x8b\\x9f\\x0f>C\\x0f\\x1d\\x7f\\xa3\\xe38~\\xf8\\x0b\\xdb\\nwh\\xf0\\xd3\\xe7ic\\xfe6\\xcd\\xb9\\xe0\\x19\\x1d\\xdc\\xa6\\x8f\\xe36\\xaf\\x9a\\xfew=<\\xff\\xd5\\xa8\\xe2\\xe87~\\x9c\\x8e\\xbc\\xe9z\\xc7\\xaf9\\xfd\\xa6?k\\xe5{\\x1f\\xec\\xf7\\xf7\\x06\\x9d\\x7f\\x8e\\x86\\xfe\\xda\\xf9\\x1dc\\x9f\\xfc\\xdf?\\xb4\\xf8\\x95\\xc9Q\\xc5\\x91\\xd2\\xb7\\x95\\xd2\\x86G\\xbf\\xfe\\x8d]\\xa9}\\xc96\\x95o\\xda\\xa3\\n3\\x8f*$5\\xea\\x93\\xad\\xd4a\\xce\\x17\\xc2,\\x9a\\xb5V\\xa59v\\x8e\\x9f\\xe3q\\xd5r\\xdc8u\\xba\\xde\\x0c\\xb1\\xc8\\x0f3g\\xaad\\xf3\\xe6Z\\x7f!\\x9a\\t\\xf3\\xeb\\xfeq\\xb7r\\'G\\x97\\x8f\\x03z\\x9e\\xa3\\xc3\\x0e\\xb9%\\xf2 \\xf6>\\xb3\\xbc\\xa2DK\\x96\\xfcW\\xab\\xd7\\xbe\\xad={\\xd6))\\xa9\\x91\\x9a4\\xee\\xa2\\x1e\\xdd\\xc7\\xdb\\x1f_\\x14\\xf3m\\xbe\\x98s\\x8b\\x96\\xaf\\xb0\\x0b@;\\xceG\\xe0\\x80K\\xd4\\xe4\\xf0{\\x1c\\xc7\\x11\\xaa(Q\\xe1\\xe2\\x07U\\xb4z\\x92Lqd\\xe6n5j=L\\x19\\x03\\x7f\\xa7\\xe4\\xe6\\xe6\\xb3\\xd8\\xf9\\xb1\\xfb\\xf3\\xdf*\\xb8\\xdc|\\x81\\xe3(\\x8e\\xaa\\xf7\\xac\\x96\\x83\\xfa\\xa9\\xe3q\\x11\\xdc\\x18\\x15\\n\\xc9\\xde\\xf5\\xf7\\xf9\\\\\\xb5\\x1c\\xd8O\\x1dG\\xee\\xffwB\\x15\\x15\\xda\\xf6\\xf5\"m\\xfff\\x89Jv\\xed\\x96\\xbfQ\\x8a\\x9at\\xe9\\xa4v\\xc3\\x0f\\xb7[\\xeb\\xd4v|\\xf7\\xc1L\\xe5.0\\xcb\\xf99\\x8a\\xc5\\xbe\\xf7\\x0ej\\xdc]\\xc7e\\x1dT\\'`H!\\xcd\\xde\\x99\\xa3\\xcfw\\xe5h`\\xe3n\\x1a\\x995\\xa4\\xd6\\xdf\\xc9-\\xdd\\xa5\\xb7\\xb6\\xcd\\xd6\\x8e\\xd2=\\xba\\xb2\\xc3)vK\\x9d\\xba\\x8e\\x0f\\xf2\\xbe\\xd2\\x82=+k\\x8c\\xa3\\xa6\\x02\\xeb\\xcb\\xff\\xcd\\xbf:\\xe4\\x8a\\x0f\\xdft\\xbc\\xfd\\x8dy\\xa5\\xaf\\x9f{Y\\xaf^~\\xad\\x9a\\xb4ok\\xf7\\'4ka,~\\xedm\\x15\\xef\\xc9\\xd7\\xc5\\xef\\xbc\\xa4\\xaeG:\\xdb\\xfe\\xc4\\xb4i\\xb6\\xd5y\\xf4\\xd8S\\xcd\\x7f\\x9a\\xe5a#Y\\xc5\\xd1\\xc6\\xf0\\xaf\\xa3\\xeft\\xbc\\xfdM\\x18u\\xd9\\x8eo\\xf5\\xd7/\\xefTn\\xd1v\\x95U\\x94\\xc7\\\\`\\x99mu~5\\xd3\\xde\\xe2\\x1bi\\x0c\\xe1\\xae\\xd8X.y\\xe5x\\xc7\\xdb\\xdf,\\xff`\\x83^\\xbd\\xfaS\\xf9\\xfcR\\x8fc\\xda)\\xabKc\\xe5o+R\\xce\\x94u*-,\\xd3\\xd8\\x7f\\x0e\\xd5\\x80\\xb1\\xceW!6\\xdb\\xea\\xfcw\\xbc\\xdd\\x0f,\\xd2Xl\\x0c\\x83\\xf4\\x89\\xe3\\xedo\\xbe\\xd3\\xdf\\xb5F\\x7fR\\x9a\\xba\\xab\\xb9\\x8eS\\x8aZ\\xabL\\xdb\\x95\\xab7T\\xa2\\rj\\xa7_\\xaa\\xbb\\xfeY\\xd7\\xb9\\xf0\\xa3\\x7f7\\xc5\\xda\\x02\\xd9\\x829\\xd2\\x18\\xccsm\\x1c\\x9f\\x9e\\xfb\\x84\\xe3\\xedo~\\xd8\\x01\\xf3\\x06p\\xf2+\\xd7i\\xc6\\xba\\xb927CD[`\\x99mu\\x8e\\x98ho\\xe5w\\x1c\\xc7\\xd8\\'\\x1fv\\xbc\\xfd\\x8dy\\xa1\\xb7\\xae\\xfc\\xa5\\xb6\\xe6,Q\\xf7\\x13~<\\x8f\\xae\\xe3\\xd0\\xc3\\xd4}\\xe4\\x08\\xc7\\xf90\\xdb\\xea\\xbc~\\xa9\\x99\\xab\\xee<\\x8e\\xf4\\xd3\\xfa8\\xde\\xfe&\\xdc\\xc1\\xf0e=3A>\\xb9s\\xb3\\xaao\\xc1\\xcc\\xffN\\xe9\\xe5l\\xbb)\\xd3\\xa6)\\xd6\\n\\xdf\\xb0k19\\xceG\\xaf\\x87\\x1fq\\xbc\\xfd\\xcd\\x86\\x87\\xfe\\xa3\\xb2\\x9d\\xf6&\\x9a\\x1f\\x1df\\x0f\\xc2\\xdd\\x9f\\xcfV\\x8b1\\xa7\\xa8\\xf3M79\\xca\\x89\\xd9Vg\\xd9\\xcf\\xaf\\x8c*\\x8eQ\\'\\xbc\\xe8x\\xfb\\x1b\\xf3B3>\\xbaB\\x1b6\\xceT\\xebV\\x87\\xa8]\\xdb\\xe1\\xaa\\x08U\\xe8\\xbb\\xf5\\xef+/o\\xb1:w:IG\\r\\xbf\\xcfQ\\x0c\\xe6\\xc9f[\\x9d\\xa9\\xef\\xd9\\xa5y\\x1c\\xe7#\\xeb\\xa4\\xa9\\x8e\\xb7\\xbfQ\\xa8L;\\xa6\\x8fW\\xc9\\xe6\\x8f\\x95\\xd2\\xf2 5j}\\x84*\\xca\\nT\\xbc\\xe6u\\x99I\\xeb\\xcd\\x8e{\\xc9\\xfe\\xff\\x9c\\x1ef[\\x9d\\xbcw\\xedo\\xbc\\x92\\xd3k^g\\xd2l\\xab\\xb3\\xfc\\xc5\\xd7\\x9c\\xc6b\\xdf{\\xcfn3\\xa2\\xce\\xedo\\xcc\\x04\\xf4)\\xb9\\x9fk}q\\xae\\x1dCu\\x15Xf1\\xd1\\xf7\\xb7\\xcfS\\x85B\\xf6\\xf9\\x91\\x16Xf[\\x9d\\x177\\xcf\\xa81\\x8e\\xfd\\x15X#\\xcd:\\x19\\xa60:\\xf7\\xc5\\xaam\\x14\"\\x1e\\x0b\\xa5\\x85A\\xdd\\xd5\\xfd@\\xa55k\\xaa\\xab?\\x9f\\xae\\xb4\\xa6\\x95\\x13Nw~\\xb7A\\x0f\\x1ez\\x9c2[g\\xebW_\\xcd4\\x1b\\xb4\\xe8\\xc9\\x98\\x0b,\\xd3\\xf6_\\xbe\\xf8\\xbf\\xf0\\x06\\xd1u\\xc5\\x10\\xee\\x8a\\x8d\\xc5l\\xdc|\\xe6\\xc3\\xce\\xbf=\\x0b\\xee(\\xd6G\\xf7-\\xd2\\x91\\xd7\\xf4Wf\\xf6\\xf7\\x15\\xf9\\xd6e;\\xf5\\xf8)\\xd3\\xecF\\xd0\\xe6\\x8e\\xc4h\\x8eI?\\xff$\\xbcAt]\\xb1\\xd8\\x18\\xcc\\xc6\\xcd}\\xf5\\x8a\\xe3\\x97*\\xd7\\x1e\\xed\\xd2,e\\xc9\\xbc\\xb9|?d\\xcb\\xb4S\\xf34P\\xa5\\xda\\xa6a\\xda.\\xbf\\x9c/\\x1c\\x9b\\xa3\\xf1\\xe1\\r\\xa2\\xeb\\x8a\\xc1\\xf4\\xdb\\xc6a6n~m\\xec]\\x8e\\xe3\\xf8\\xe1/\\xdc\\xf5\\xe53\\xfa\\xd3\\'\\x0f\\xe9g\\x03\\xc7\\xea\\xa1\\xf9\\xafD]`\\x99vO\\x7f\\xfd\\x86\\xf0\\x06\\xd1\\x11\\xc7a6n>\\xd8\\xf44k\\x00\\x00 \\x00IDAT\\xf1\\x1f\\x7f\\x8b*\\x8e\\x97\\xcf:_\\xfe\\xe4\\x14\\x8d\\x9fh\\xff\\xa2v\\xed\\x98v\\xfd\\x1f\\xc2\\x1bDG\\x1c\\x87\\xd9\\xb89pB\\x8f\\xa8\\xfaP\\xfa\\xedv\\x15\\xcdX\\xa5\\x94\\x1e-\\x94zT\\x17\\xf9\\\\\\xba\\xfb0\\xf8\\xde\\xb7\\xe1\\r\\xa2#\\x8e\\xc3l\\xdc\\xdc\\xedo\\xff\\x17U\\x1c5\\xfd\\xd2\\xba\\xbb\\xefR\\xee\\xeb\\xaf\\xab\\xcfSO\\xcb,X\\xea\\xf4X\\xf5\\x87\\x9b\\xc2\\x1bDG\\x1c\\x87\\xd9\\xb8\\xf9\\xe8#\\x1fp\\xfaRv\\x81\\xd0w\\xde\\x1d\\xab\\x8e\\x1dF\\xea\\x98\\xa3\\xbe\\xff\\x96;\\x14*\\xd7\\xd4\\xf7\\xceQ\\xee\\xf6\\x05:\\xfd\\xb4\\x0f\\x95\\x91\\xd1\\xceq\\xdb3?\\xb9&\\xbcAt\\xc4q\\x98\\x8d\\x9b\\x9b\\x1d\\xf3\\x8c\\xe3\\xd7\\n\\xae|A\\xbb?\\xbdZ\\x81^\\x97\\xaa\\xc9a\\xdf/\\xb3Q\\x11\\xdc\\xa2\\xbcw+o\\xaei1\\xf6K\\xf9\\xfc\\xce\\xefh\\xdf\\xf9\\xd1\\x85\\xe1\\r\\xa2#\\x89\\xa3\\xea=\\xabY\\x8fn\\xeazj\\xed7\\xb1\\xe4o\\xd8\\xa45oOS\\xa8\\xbc\\xc2~k\\xb5\\xfa\\xedi5\\x16X\\x05\\x9b6k\\xf9\\x0b\\xaf\\xa9Y\\xcfn\\xea:\\xe6D\\xb3y\\xb8\\x8dk\\xd7\\xaa5Z\\xf5\\xfa\\x14\\xb5\\x1c\\xd8W\\x1dG\\xd6\\xbe\\xca\\xfd\\xea7\\xa7\\x867\\x88\\x8e$\\x16\\xfb\\xdek6n>5\\xbb\\xf6\\x9b&\\xcc\\x86\\xcdoo\\x9b\\xad\\xf2P\\x85F\\xb6\\x18b\\xff\\xbb\\xa6\\x02\\xcb\\xba\\xdfQ\\x1c\\xe62\\x9e\\xb9\\x9c\\x17\\xcd\\xf1\\xd4q\\xa3\\xd5\\xaa__\\x8d\\xfe\\x97\\xbb\\xeb4-xv\\xa2f\\xdfg?\\\\#\\xc9\\x87\\x1dW\\xa9\\x87wT\\xa3\\x81Q\\xdcU\\x1b\\x92\\n^\\\\(\\xf9}\\xca8\\xb3\\xbf}t\\xeb(Y\\xb8Y\\xc5\\x9f\\x7f\\xe7(\\x8e\\xf6W_\\xa3\\xd6\\xe7\\x9e\\xebV\\x17T\\xba}\\xbb]r\\xa1\\xf1\\x81\\x07\\xaa\\xc7?\\x9d\\x7f\\xf3c:\\xb2e\\xe2Dmx\\xd0\\x16K\\x11\\xe7c\\xc8\\x817\\xa8o\\x1f\\xe7\\x8b\\xa3n\\xde<[\\xd3g\\\\\\xac!\\x07\\xdd\\xa8\\xbe\\xbd\\xf7\\xbd\\x97i\\xce\\xbc;\\xb4t\\xd93:y\\xd4k\\xca\\xcar\\xbe\\xa8d\\xce\\x92\\'4\\xefk\\xfbGQ$q\\xd8\\xf3\\xbc\\xf1\\xc1\\xb7)\\xbdo\\xd5]\\xba\\x11\\xe7e\\xd7\\xc7?S\\xd1\\x9a\\xd7\\xd4\\xf2\\x8cEJ\\xca\\xd8w\\xb1[\\xb3\\x15\\xce\\xaeYW\\xa9\\xd9q/+\\xb5\\xbd\\xa9\\x19\\x9c\\x1d\\x85\\x8b\\x1f\\xd0\\x9ey\\xf6\\x8e\\xf4H\\xe20\\xcf\\xb3\\xe7H\\xfb\\xa3\\x86\\xa9\\xd5\\xc1\\x83k}\\xb1\\xddk\\xd6i\\xd3\\xac/*\\x0b1\\x9fO\\x8b\\x1f{\\xa6\\xc6\\x02\\xeb\\xbb\\xf7g*w\\xe1b\\xf5\\xbep\\x82\\x02-\\xf7\\xdd\\x86j\\xf9\\x0b\\xaf*\\x98\\x9b\\xa7\\x01W]*\\x7fr\\xcd\\x9f+[\\xe7\\xce\\xd7\\x86\\x8f\\xed\\x9ak\\x91\\xc4b\\xe38\\xaa\\xf9@\\x1d\\xdc\\xa4\\xf6-}\\xd6\\x047k\\xd6\\xceotj\\xf6P\\xf9\\xe4\\xd3c\\x1b\\xde\\xa9\\xb1\\xc02\\xdfX\\xbd\\xb6\\xe5cu\\t\\xb4\\xb1\\xedN\\xdb>G\\x8b\\xf3\\xd78*\\xb0\\xe6\\xee^\\xa6\\x8fw,\\xdco\\x1c\\xfb{G1\\x93\\xae~?\\xfe\\x89\\x7fk\\xf0\\xb9\\xe3\\x9de\\xdf\\xac\\xa1p\\xc3_\\xf4\\xd9\\xbf\\x1f\\x95\\x99\\x1c\\xdff\\xc0\\xbe\\xd7\\x9a\\xbf\\xfd`\\xa6\\x9e\\x1as\\xb6\\x8e\\xbf\\xf5F\\x1d}C\\xd5m\\xc0\\x11\\xbf\\xc6\\xfc\\x89\\xaf\\xe8\\x95\\xcb~i\\x9eov\\xc4\\xacm\\x02\\x8c\\x8d\\xe1\\xc6\\x83\\x7fm\\xbf}\\x8a\\xe60\\x97oLr\\xcc1m\\xdd\\x07\\xbak\\xde\\xbf\\\\)\\xb0\\xa6\\x7f\\xf7\\x91\\xfe>\\xd7^\\xce\\xaa+\\x86p\\xb7m,c\\xef\\x1d\\xaa\\x01\\xe3\\x9c_\\xca\\xab-\\xf6GF\\xbd\\xab\\x1d\\xeb\\xf6\\xe8\\xc6\\x9c\\xb3\\xa2!\\xd2\\xa2\\xc9k\\xf4\\xfaofG\\x12\\x8b\\x8d\\xa1\\x97\\x9eru\\xaf\\xc1\\x1dz_\\x8bu\\x8a]\\xee\\xa1\\xbf\\xde\\x8e*\\x06\\xb3W\\xe12]\\x1cI\\x0c\\xe69\\xa6\\xba\\xbfy\\xe2\\x98\\xdbuN\\x9f\\xaae\\x1e\\x1c\\xbf\\xee\\xce\\xe2=:\\xf0\\xe9\\xf3\\xd4\\xa3YGM;\\xf3\\xdf\\xfa\\xbf/\\x9e\\xb2\\xdfdE{\\x89\\xd0t\\xe0\\xd9\\xc5St\\xe1\\x94\\xbf8\\x8ac\\xe4\\x1d\\xb7\\xa8\\xc7(\\xe7\\x9b$\\x98K\\x07\\x8f\\x1ev\\xb4z\\x9d2Z\\xc7\\xfc9\\xbao\\x88kB3{\\x15\\xce\\xf8\\xf3m\\x91\\xc6a\\xc7U\\xda\\xb1\\xdd\\xa2\\xdak\\xb0|k\\xbe\\n__\\xa2\\xd4\\xc3:\\xaa\\xd1\\xa0\\xca\\x02-T\\\\&_JR\\xcc\\xc5\\x96\\xd9\\xab\\xb0\\xe8\\xc3U\\x8e\\xe2\\xe8r\\xf3\\x9f\\x955\\xca\\xbd\\xa526<\\xf8\\xa0\\xb6L|^\\xb1,\\xf9\\x907u\\xaa\\xd6\\xdcf\\xff\\xa8\\x8d\\xe4\\xfd\\xca\\xe6\\xe3\\x88\\xa1w\\xa9[\\xd7\\xd3\\x1c\\x9f\\x17\\xc5\\xc5;\\xf4\\xda\\x1b\\xc7\\xaay\\xb3\\xde2\\xcb;$\\'W\\xae\\x91g\\xe6B\\xbf3u\\x9c\\xca\\xca\\n5\\xf6\\xd4\\xf7\\x95\\x14\\xc57?\\xabV\\xbf\\xa1Og\\x9b)X\\x11\\xc5a\\xcf\\xf3\\xa6G>\\xa6\\xb4\\xaeg8\\x8e\\xc3,\\xa9`\\x96Vhu\\xde&\\xf9\\x92\\xf6\\xddn\\xaal\\xd7rm\\x7f\\xe3pe\\x0c\\xf8\\x8d2\\x0f\\xfc\\x93\\xe3\\xb6\\xc3\\x05Z\\x84q\\x98\\xf6mN:\\x9ft\\x9c\\xdd\\xc8\\xb9\\xce#\\x14\\xb2\\xc5U\\xc9\\xee=v\\xcd\\xaa\\x9a.\\x11.}\\xeee\\xfb\\x9c\\x81?\\xf8\\x12\\xc5\\xb4\\xbf\\xf1\\xd3/\\xb4\\xe5\\x8by\\xaa\\xeb\\x92\\xa4\\xd9\\x10z\\xed\\xbbv\\x1eg\\xc4c\\xeb\\xa4\\x96\\x87\\xdao\\x9a\\xea:\\xc2\\x9f\\xdf\\xbb\\xcb\\n\\xf4\\xf8\\x86)\\xb5^\"\\xac\\xfeY?u\\xfb\\x1c\\xe58,\\xb0\\x96\\x14\\xac\\xd5\\xbb\\xb9\\xe6\\xea\\xe5\\x8f\\xe3\\xd8_\\x81\\xf5\\xf2\\xff6\\x93=\\xf3\\x92)/\\xab\\xfb\\xb1\\xce/IM\\x9cp\\xa9r\\xde|W\\x7f\\xde\\xf6\\xad\\x1a\\xfd`\\xa2\\x9b\\xb9\\x1b\\xf0\\xde~Cu\\xd0\\x05\\x13t\\xfa\\xa3\\xce\\xff\\xa2Z\\xf9\\xe1\\'\\xfa\\xefh[\\x0cL\\x92T[U`c\\xb8{\\xf8_uPv\\xeck_\\xb9Y`}\\xb5m\\x81~7\\xcb\\xfe\\x05RW\\x0c\\xe11dc9\\xff\\xb9\\x11\\xeaz\\x84{k~\\xe4\\xad\\xd9\\xa3\\x07G\\xbc\\xad\\xbe\\xa3;\\xe9\\x8c\\x07\\x9c\\xcf\\x070\\x9d[\\xfd\\xe9\\x16=w\\xbe\\xbd\\xfe\\\\W,6\\x86\\x01zO\\xcd\\xe4|nN\\x18b\\x9b&\\xa9PK\\xec\\xfc\\xab\\x02-T\\xbe\\xbeRK\\x9d\\xa9n\\xbaK\\xc9\\xca\\xaa\\xeb\\x9c\\xdb\\xef\\xbf\\xef\\xd4\\x0c-\\xd2\\t\\x91\\xc4`\\x9e\\xf3\\x9c\\xa4\\xf3><\\xfba\\x1d\\xd3\\xb1\\xf6\\t\\x93\\xb5u\\xe6\\x8c7n\\x90\\x9975\\xff\\xa2\\x89j\\x9d\\x91\\xa5\\xdbg?\\xa1\\x9bg=\\x1cS\\x81\\xf5\\xc1\\xda9\\x1a\\xf9\\xf2/\\x1c\\xc5q\\xea\\xa3\\x0f\\xa8\\xdd\\x90\\x03\\x1d\\xbb\\x15n\\xdf\\xaegN8\\xd5N\\x030\\x97\\xfa\\xcd\\xfe\\xa1f\\xdf\\xc2\\xac\\x9e\\xdd\\xd5\\xf7\\xf4\\xd3bZOk\\xc3\\x97s\\xf5\\xd6U\\xf6\\x8f\\xaf\\xba\\xc6\\x94y\\x8e\\x1dW\\xd1\\xae}U\\xb2h\\x8b\\x8ag\\xafS\\xe0\\xc4\\x9e2kX\\x95.\\xcbU\\xa8\\xb4\\xdc\\x16W\\xc9\\x1d\\x9b\\xda\\t\\xee\\xfe\\xc6\\xd1\\xed\\xc7XmM\\xac\\x88\\xe3\\xe8y\\xff\\xbf\\xd4\\xf8\\xe0\\xe8n\\x02\\xfaa\\x12\\xcb\\xf3\\xf3\\xf5\\xcd\\xb8\\xb1J\\xed\\xd0A\\xbd\\xff\\x1b\\xfd\\xea\\xfc{\\xe6\\xce\\xd5\\x8ak\\x7f\\xe5(\\x1f\\xc7\\x8fxJm\\xda8\\x9fgk^d\\xe5\\xaa\\xd74\\xfb\\x8b?\\xaaY\\xd3\\x9e:p\\xf0\\xf5JNJ\\xd3\\xdc\\xaf\\xfe\\xa6\\x82\\xc2\\xcd2\\xed6o\\x1e\\xdd\\xb7\\xf8\\xe1o\\xc7\"\\x1cW\\xf6\\xaa\\xce\\x11\\xa7k_\\xd5U`-\\xfc\\xcf\\x13Jm\\xdaD\\xbd\\xce;\\xf3G1\\x98I\\xef\\xeb\\xde\\xfbP\\x9dG\\x1dW\\xeb\\x06\\xd2\\xd5\\xd6\\xc4\\x8a\\xf8\\x1c\\x19\\xdf\\xfahuJ\\x8b\\xfc\\xc6\\xacH\\n\\xac\\xea\\x01DS`\\xad+\\xda\\xaaW\\xb6\\xd8\\x15\\xfe\\x7f\\x14\\xc7\\xfe\\n,\\xb3\\xaf\\xcb\\x90k\\xe7\\x7f\\xa2\\xec^\\xce\\xe75\\x93\\xf9\\xb7\\xbe\\xe3\\xc7\\xea\\xa8\\x9b\\x9c\\xdd\\t\\x17\\xce\\xdd\\xce5k\\xf5\\xe2\\x19\\xf62Y$q\\xd8q\\x95q\\xd6\\x00\\xf9\\x9b\\xd5}\\xc7\\xcf\\x0f\\xc7G\\xf1\\xa7kU\\xb2x\\xab\\xdd\\x14\\xda\\x97\\xe2WJ\\xafl\\xfbX\\xbe9\\xdf\\xfe\\xff}\\xe9)\\xca\\x18\\xdfO\\xbeT\\xe7+^W\\xec,R\\xc1\\xcbv\\xb3\\xde\\x88\\xe3\\xe8;\\xf1\\x05\\xa5u\\xae\\xfb\\xaf\\xf3H\\xc6\\xf9\\xe6\\xa7\\x9e\\xd2\\xc6\\xc7\\x1eU\\xd7[nU\\xf3\\xe3\\x9d\\x7fK\\x19~\\x8d\\xa2\\xb5k\\x95s\\xae\\xbd\\x8c\\x1cq\\x1c\\xa7\\x8eyWM\\x9bt\\x8b\\xa4\\x9b\\xfb}\\xce\\xc6M\\x9f\\xe8\\xc3\\x99?WEEY\\xe5y\\x9e\\xd9I\\xa3NxAii\\xceo8\\x08\\xbf\\xc0\\xae\\xdd\\xab\\xf4\\xe6\\xdb\\'E\\x1a\\x87=\\xcf[\\x8e\\xfdRIM\\x9c\\x7f\\x06\\x96\\xe6\\xce\\xb3s\\xad\\x922;\\xa9\\xf1\\x90[\\x95\\x9c5P\\xa1\\xd2\\x02\\x15\\xad}C\\xc1o\\x9fUE\\xe1f\\xa5u?[M\\x8f\\xf8\\x8fc\\xa3\\xf07`\\x11\\xe6\\xc3\\xb4o\\xcf\\x91>\\x17\\x9f\\xa3\\xb4\\xac\\xe6\\x11\\xbf^]\\x05\\xd6\\xfc\\x7f>\\xa4\\x8c\\x0e\\xed\\xd4\\xf3\\xcc\\x1f\\x7fS\\xb9s\\xf9J;\\x7f\\xab\\xc3\\xb1\\xc3\\x95}\\xe0\\xc0\\x1a_\\xb3(o\\x87\\x96\\xce>\\xf3+\\xa5\\xa48\\x9f\\x0fi^\\xc4\\xac\\xbe\\xfe\\xf9\\x977\\xab\\xac\\xacH\\x07\\xf4<[\\xb9\\xb9\\x0b\\xb4q\\xd3,5ov\\x80\\x86\\r\\xfd\\xbb\\xb2\\xa2\\\\\\xe2\\xa0\\xb4\\xb4@/N\\xb2\\xb7\\xf6G\\x12\\x87=\\xcf[\\x9d\\xb3N\\xbe\\x14\\xe7\\x9f\\x81\\xe6E\\x8a\\xd6\\xbc\\xae=_\\xfe>\\xbc\\xc5\\x8d\\xe5Li5T\\xe9\\xbd.\\xd5\\xaeO.Wz\\x9f+\\xd5\\xf8\\x10\\xe774\\x84J\\xf7h\\xeb\\x0b\\xb6\\x08\\x8f$\\x0e\\xf3<{\\x8e\\x0c\\xbc\\xe6gJj\\x14\\xf9\\xa4\\xfa\\xba\\n\\xac\\xaf\\xff\\xf9\\x902\\xeb*\\xb0F\\x1c\\xa5\\xec\\xc1\\xf6\\x8f\\xd7\\xfd\\x1efu\\x81\\x85\\x0f<\\x1ei,6\\x8ek:\\x8eS#\\x7f\\xe4\\x7f\\xf0\\xc4\\xa3\\xc0*\\xa9(\\xd3\\x03\\xdf\\xd9\\xe5L~\\x94\\x93\\xfd\\x15Xvp\\xdd\\xbcm\\x85R3\\x9d\\x0f\\xae\\xe7\\xcf\\xbaDK\\xde\\x9a\\xaa\\xfd\\x15h\\xe1K\\x84C.>W\\xe3\\x1er\\xbe\\xb6Hq~\\xben\\xcb\\xb6\\x05\\x96\\xc1\\xdewf\\xdd\\xbe)\\xb41\\xbc}\\xca\\x8b\\nx\\xac\\xc0\\n\\x96\\x055\\xa6\\xb2\\xc0\\xaa+\\x86pD6\\x96\\xdf\\x7fs\\xa6\\x1aeD>\\xb0\\xf67\\xa2C\\x15!\\xbd}\\xe3\\x97\\x9a?i\\x95F\\xdd2D\\x87\\\\t\\x80\\xe3\\x0f\\x8e\\xea\\xbfPRP\\xa6;\\xfb\\x9boE\\xeb\\x8c\\xc5\\xc6\\xe0N\\x81\\xb5o\\x97W\\xe9\\xb7\\xda\\xa0\\xfb\\xd5[/([?\\xfe\\xba\\xba\\xae\\x00\\xab\\x15X\\x91\\xe4#\\xea\\x02+\\xbf\\xa4PC\\x9e\\xb9@m3[\\xea\\x83\\t\\x0f\\xd9\\xbbU\\xc2\\xc7O\\xa5\\xc02\\xf1\\x98u\\xac\\xcczV\\x87]\\xf3s\\x1dx\\xc9\\x05u\\xf1\\xff\\xe8\\xdf\\x1d\\x16X6\\x1fQ\\x17X3W\\xdb\\xcb\\x82\\xe9\\xa7\\xf7SR\\xcb}\\x0bf\\xb3\\xa7`\\xfe\\xb3\\xf3\\x95\\xdc\\xa5\\x99\\x02\\'8\\xbf\\xfb\\xaeZ\\x81\\x15\\xf1\\xb8r\\xab\\xc0\\xda:i\\x92\\xd6\\xdf\\xf7Ou\\xb8\\xee\\xd7ju\\xa6\\xf3s\\xa2zR\\xaa\\x15X\\x11\\xc7\\x11m\\x81\\xb5=\\xef\\x1bM}o\\x82\\xb2\\xb3\\x0f\\xd21G>\\xa8F\\x8d*\\xbfY\\xcf\\xcd\\x9d\\xaf\\x8f?\\xfd\\xb5JJv\\xeb\\xe4\\x93&G\\xb5xi\\xb5\\x02+\\xe28b)\\xb0l\\xc7+JU\\xbac\\xb1LQ\\x94\\x94\\xd1AI\\x8d\\xbb*<\\x87\\xca\\x14W\\xa6\\xc8rzDQ`\\xd9sd\\xd05\\x97\\xdbu\\xaa\"=\\xea*\\xb0\\x16>\\xf8\\xb8R\\x9b6U\\xaf\\xf3k\\xb9Dx\\xd2He\\xf5\\xa9\\xf93\\xa6\\xa2\\xa4T\\x0b\\x1e\\xb0_\\xb4D\\x9c\\x13\\x8f\\x17X?\\x8ac\\x7f\\x05\\x96\\xfdz\\xf4\\xba\\x85\\xb3\\xd4\\xb2\\xe7\\xbe\\x7f\\xd5E\\x92\\x9c\\xa97\\xde\\xaaY\\xf7?\\\\\\xeb$\\xf7\\x91\\xb7\\xdc\\xa8c~\\xef|\\x92{\\xee\\x8a\\x95\\xbao\\xa0\\xdd9\\xfb\\x0bI\\x87\\xd7\\xd2\\x1f\\x1b\\xc3\\xd3\\xc7\\xffG\\x1d2\\xf7\\xbd\\x8b#\\x92\\x18~\\xf8\\x1c7\\xbf\\xc1Z\\x9f\\xbfA\\x17M\\xb7se\\xea\\x8a!\\xdc\\r\\x1b\\xcb/f\\x8cQ\\x8b\\xae\\xd1\\x7f\\xfb\\x13*\\x0f\\xe9\\xf5\\xdf\\xce\\xd67o\\xae\\xd5\\xe8\\xbf\\x1e\\xac!\\xe7;\\xff\\xd0\\xf8\\xa1\\xcb\\xf6\\xd5{\\xf4\\x9f\\x11vry]\\xb1\\xd8\\x18\\x0eV\\x8e\\x02\\x8a\\xad\\xa8\\xfba\\x1fr\\xf5\\xaa\\x96h\\x82:\\xe9fu\\x96\\x9d\\xe4\\xed\\xe8\\x08j\\xb9\\xe6\\xda\\x05\\xb7\\xeb\\x8c\\xc1<\\'\\xeaK\\x84\\xaf.\\x9f\\xa1\\xf1o\\xd8\\xbb\\x15\\xeb<\\xde:\\xfd^\\x8d\\xe9\\xeel\\xfec\\xfd\\xecwZ\\xb5\\xe6M\\x8d;\\xf5\\x03ef\\xee;\\xb5c\\xcb\\xd69z\\xef\\xfd\\xf3\\xd5\\xa7\\xf7\\xc5:\\xf8 \\xe77V\\xec\\xde\\xbdZo\\xbcmo \\x888\\x8eh/\\x11\\xd6\\x16\\xf8\\xee\\xcf\\x7f\\xad\\xe0\\xf2\\xa7\\x95u\\xf2\\x07Ji\\xe1|\\xfec\\x14\\x97\\x08\\xed9\\xd2\\xf7\\x92s\\x95\\xda\\xbcY\\xc49\\xa9\\xab\\xc0Z\\xf6\\xfc$\\x15\\xef\\xda]\\xc7$\\xf7q\\xcahW\\xf3\\xb7\\xbf\\xc5;v*\\xe7\\xbf\\x13\\x1d\\xe5\\xe4\\x92v\\xa3\\xd4\\xdcc\\x97\\x08\\xcd\\xc2\\xa4\\xff\\xad\\xbcD\\xf8\\xa3\\xb1\\xb5\\xbf\\x02\\xcbN\\xf0\\xbbl\\xda\\xab\\xeaz\\x94\\xf3M:\\xcd\\xb7W\\xe6[\\xac1\\xf7\\xde\\xa1\\xc3\\xaf\\xbat\\x9f\\x84\\xbew\\xf3\\xdf\\xec\\xea\\xee\\xd1N\\xa07\\x97\\x1e\\x9f8\\xd1\\xde\\xd5\\xf1\\xbc\\xa4\\xf3k\\x19-6\\x86{\\x8f\\xbcC\\x83Z\\xd6\\xfc\\x15e\\xa4\\xa3\\xcd\\xcd\\x02kA\\xee7\\xfa\\xcd\\'\\x7f\\x8c$\\x86p\\xf7l,\\x17\\xbep\\x9c:\\x1f\\x1e\\xf9\\xe4\\xbe\\xea\\xb1U\\x94U\\xe8\\xb5_}\\xa6\\xa5\\xef\\xad\\xd7)w\\x1e\\xa6Ag8\\x7f\\xf3\\xdb\\x9f\\xd5\\xda\\xcf\\xb7\\xea\\x99s\\xec] \\x11\\xe5c\\xa0>PSE\\xb0\\x92p\\xa4\\x89\\x91\\xb4^wk\\xb5nR7\\xdd\\xa3\\xf6r^\\xb4\\xef\\xd2L-\\xac\\xdct\\xba\\xae\\x18\\xccs\\xa2\\x9e\\xe4\\xfe\\xf5\\xd6ezd\\xfe\\xf7\\xf3\\xc7\\xaa\\x87\\xf8\\xd5\\x96\\xa5\\x9a\\xb39G\\xa7\\x1fp\\xac\\xb2\\x03\\xcdu\\xf5\\x81gj@\\xb6\\xb3\\xb9\\x1f\\xf1\\x9c\\xe4^[z\\xe6?3Q\\x9f\\xdf\\xff\\xa0\\x8e\\xb9\\xf9&\\xf5\\x1e;\\xc6A&+\\x9f\\xeap\\x92\\xbb\\xcdG\\xfa\\x98\\xdeJj\\xe7\\xfc\\x8f\\x8f\\xb2\\xefv)\\xf8\\xeer\\xed\\xef2`E^P\\x05\\xaf|\\xa3\\x94\\xde\\xd9J;\\xca\\xf9\\xdd\\xbb\\xe5\\x1b\\xf7\\xa8\\xf0\\xed\\xa5\\x8e\\xc6U\\xcf\\x07\\x1e\\xb4K*\\xc4rl\\x9f\\xf2\\x8e\\xd6\\xdeq\\x87\\xda\\\\|\\xb1\\xda]\\xee\\xbc\\xc0\\xfd\\xe1k\\xef\\xf9\\xfak\\xad\\xb8\\xc6\\xce\\x19\\x8d\\xf8\\xfc8\\xe1\\xb8g\\xd5\\xba\\xb5\\xf3ex\\xa6\\x7fp\\x91\\xb6l\\xfdR\\xe7NX$\\xff\\x0f.\\x03\\x05\\x8br\\xf5\\xcakG\\xa8K\\xe7\\x93u\\xe4\\x11\\xf7:&\\xda\\xb2\\xe5K\\xbd\\xf7\\x81\\xfdF5\\xe28\\xa2\\x9d\\xe4^S\\xe7*\\x8a\\xb6)\\xf7\\xb5\\x83\\xe4\\x0f\\xb4V\\xcbqf\\xadP\\xe7\\xcb\\x82D1\\xc9\\xdd\\x9e#=\\xcf\\x1ak/\\xe9Ez\\xd4U`\\xad\\xffh\\x96\\xb6}\\xb5P}.<[i-\\xf7\\x9d\\xadc\\x96i(\\xdc\\xbaM\\x03\\xaf\\xfe\\x99\\xfc\\xc95_u\\xc9_\\xbfQ+^~\\xddQN\\xcej}\\x8c:\\xa4eG\\x1a\\x86\\xe2q\\x89p}\\xd16\\xbd\\xbc\\xe5\\xa3\\xfd\\xc6\\xb1\\xbf\\x0c\\xdb[T\\xcfz\\xfa?\\x1ax\\x96\\xbd[\\xc1\\xd1Q\\x1a,\\xd2=\\xbd\\x0fU\\xa3\\x8ct\\xfdb\\xf6{U\\x0b\\x8d\\xeeZ\\xbf\\xd1\\xee\\'\\x98\\xd6\\xa4\\xb1~\\xbdx\\xb6\\xfcI\\xce\\xe7L,|y\\xb2^\\xbe\\xc8~\\xfbc\\xee\\xe3\\xb6\\xb7\\xe2\\xd5p\\xd8\\x18\\xfex\\xc8o5\\xa2\\xc3Q\\x8e\\xfa\\xbf\\xbf\\'\\xbbY`\\xcdX\\xff\\xb1\\xee\\x98c/\\x8f\\xd6\\x15C\\xb8+6\\x96q\\xf7\\x0fS\\xffS\\x9dO\\x80-/\\xa9\\xd0\\xa4\\xabfi\\xe5\\xc7\\x9b4\\xee\\xbe\\xa1\\xea{rl\\x7f!W\\xf71\\xdf\\x86M\\xbe\\xd6\\xaecRW,6\\x86\\xdezN\\xd9\\xb2\\x7f\\r;:\\xcc\\x9d~Mt\\xc4\\x8f&\\xb2\\x97h\\xa3\\xbe\\xd6a*\\xd1\\x16\\x1d\\xa2%v\\xa5w\\xa7\\xc76\\xbd\\xa8\\xa5\\x95\\xb5z]1\\x98\\xe7\\xb8\\xb2L\\xc3\\x0f\\xfb\\xe8\\xc6%\\xc2x.\\xd3\\xb0c\\xf5\\x1ae\\xb6n\\xad\\x94\\xf4}\\xbf\\x1d1\\xdf>\\xbd~\\xe9U*/-\\xd1\\xb9o\\xbe\\xa2\\x80\\x83\\xbf\\x98\\xc3&\\x0e\\x97i\\xb0\\xf9H\\x1b\\xd1\\xcd.\\x14\\xea\\xf8\\xa8\\x08\\xd9o\\x99\\xcc\\xe5\\xbc\\xf4\\xb1}\\xbf\\xdf\\xc70\\x14R\\xf0\\xfd\\x95*[\\xbd\\xc3\\xdeahVwwz\\x84\\x170u2\\xae\\xba\\xdcr\\xab\\xb2b\\x98\\x90n\\xb6$\\xcb9\\xef\\\\\\x95l\\xda\\xa4\\xfe\\xafMVr\\xf3\\xc8\\'5\\xd7\\x14_\\xde\\xf4\\xe9Zs\\x8b\\xfdf8\\xe2\\xf3c\\xf8\\xb0{\\xd4\\xb5\\x8b\\xf3\\xe2\\xfa\\xcb\\xb9\\xb7i\\xd9\\xf2\\xe7t\\xc4\\xb0\\xbb\\xd5\\xad\\xcb\\xbe\\x8b\\x1f/\\xcey\\\\_\\xcd\\xbf[\\x07\\x0e\\xfe\\xad\\xfa\\xf7u^8\\xae^\\xf3\\xb6f}f\\xd7\\xe0\\x8b8\\x8eh\\x97i\\xd8\\x9f\\xa5)\\xaev~x\\x9eJ\\xb7\\xcdU\\xd3\\xa3\\x9fRZ\\xe7\\xe8\\x16w\\x8eb\\x99\\x06{\\x8et\\x19}\\xbc\\x9a\\xf7\\x8e\\xfc\\xaaE]\\x05\\x96)\\xa0\\x96=7I\\xcd\\x0e\\xe8^\\xb9\\xd0\\xe8\\xdec\\xf7\\xea\\xb5Z9\\xf9\\x1d{\\xf7\\xa0\\xb9\\x8b\\xb0\\xb6c\\xc7\\xd2\\x15Z3\\xc5\\xee\\x06\\x12qNF\\xb7\\xfc\\xf0\\x97\\xe2\\xb9U\\x8e-L\\n7k\\xd1\\xe2\\x87\\xb5i\\xd3\\xa7*(\\xdc\\xa4\\xa4\\xa445\\xce\\xec\\xa8.\\x9dG\\xab\\xd7\\x01\\xe7W->\\xea4\\xb8xn\\x95c\\xfaf\\xd6\\xc2*Ze\\x96i\\xf3\\xd9K\\x82)\\xad\\x87*\\xfd\\x80K\\x95\\x92\\x1d\\xdb:g\\xf5\\xb9U\\x8e\\xd3\\x02\\xcb|c\\xba\\xf5\\xab\\x85\\xda\\xbe(\\xc7\\xce\\xc7J\\x0e\\xa4\\xd9\\xcb\\x90m\\x8f8\\xcc\\xae\\x91U\\xd7Q_[\\xe5T\\x7f\\xddx\\x14XN\\xb7\\xca1\\xfd\\x8bi\\xb3\\xe7\\xba`\\xa3\\xf9\\xf7\\x86\\xd8\\xec9\\x9a~\\xd6\\xf6;\\r\\xb1\\xd9\\xb3\\xdb1\\x84\\xdb\\x8b\\xe7f\\xcf\\xf5\\x15CCo\\xf6\\xecV\\\\\\r\\xb1\\xd9\\xb3[}\\xaf\\xdeNCm\\xf6\\xecv,\\xf1\\xde\\xec\\xd9\\xed\\xfe\\x87\\xdbk\\x88\\xcd\\x9e\\xeb#\\x96\\xb8o\\xf6\\\\\\x1fAH\\x8a\\xc7f\\xcf\\xf5\\xd4\\xf5\\x1f5[\\xdf\\x9b=\\xc7+\\x8eh6{6}3\\xd7L\\xee:\\xf4\\xf2\\x8bt\\xea\\xbf\\xccJ\\xfb\\r\\x7f\\xbc\\xf9\\xab\\x1b\\xf5\\xe5cO\\x9b\\x8e\\x98\\xef\\xbe\\xef\\x8e\\xa0G6\\x86S\\xba\\x8e\\xd2u\\x83\\x9d\\xef\\xa9\\x18A\\xfb\\x8e\\x9fr\\xdf\\xfc\\x87\\xf4\\xd6j{\\xb7A\\xa41\\x84_\\xc3\\xc62\\xe4\\xbc\\x1e\\x1a}{\\xe5\\xe2\\x94\\r}L\\xf9\\xd3\\x1c\\xcd{\\xfe[\\'\\xb1\\xd8\\x18\\xda\\xeaJ\\xf5\\xd0\\xf7\\x1b\\xb96d\\x1c\\xdf\\xeajm\\xd2#Nb\\xa8:7~>\\xf8\\x0c=t|m\\xbb5\\xc5/\\xb2\\xab\\xa6\\xff]\\x0f\\xcf\\x7f5\\xaa8\\xfa\\x8d\\x1f\\xa7#o\\xba>~\\x9d\\xad\\xe5\\x95\\xcc\\xf2\\x0ef\\x99\\x07\\x87\\xe7\\x87\\x1dW)}[)m\\xb8\\xf39\\x8a\\xf5\\x11x\\xd1\\xac\\xb5*\\xcd\\xd9\\x1aU\\x1c-\\xc7\\x8dS\\xa7\\xeb\\xa3[\\xa4\\xd5\\xedX\\xd6\\xfd\\xe3n\\xe5N\\x8e.\\x1f\\x07\\xf4\\xc9\\xae\\xd8\\x1d\\xb7\\xe3\\x9dw\\xc7*o\\xc7\\x12W\\xe3H\\xce\\x1a\\xa0\\x16cf\\xc6-\\x06\\xf3B;g\\x9c\\xad\\xe2\\xf5\\xef\\xb9u~|?\\xb6Z\\xb5T\\xef\\xf3\\xcf\\x8ak,K\\x9f{Y\\xc1\\xad\\xb9\\xae\\xe6\\xa4U\\xa3f:\\xbf\\xad\\xdd\\x1c>n\\xc7s\\x9b\\xa6kk\\xc9\\xce\\x88\\xe2\\x88\\xa4\\xc02\\r\\x99*\\xa7_<\\xe7cU\\x9bwen5\\x88}\\xbf\\x9b\\xbd1\\xc4s>V\\xb5yWn\\xc5\\x10\\x1eD6\\x1f\\xf1\\x9c\\x8fUm\\xde\\x95[\\xb1\\xd8\\x18\\xe29\\x1f\\xab\\xda\\xbc+\\xb7b\\xa8:7\\xe29\\x1f\\xab\\xda\\xbc\\xab\\xf7\\xff\\xb7\\x85\\x9b[\\xef.6\\x1f\\xf1\\x9c\\x8fUm\\xde\\x95\\xebq\\xc4s>V\\xf1\\xf7\\xf3\\xae\\\\\\x1fW\\xf1\\x9c\\x8fUm\\xde\\x95\\xebq\\xc4s>V\\xb5yW\\xae\\xc7\\x11\\xcf\\xf9X\\xd5\\xe6]\\xb9y~T\\xbdg\\xc5s>V\\xb5yW\\xae\\xe7$\\x9e\\xf3\\xb1\\xaa\\xcd\\xbb\\x8a(\\x8eH\\x0b,\\x93\\x94\\x90\\xf9?\\xbdF\\x8d\\xd4\\xd9\\x13\\x1fSJ\\xc0\\xf9\\xe6\\xaa\\x91\\x94\\x98f\\xab\\x9d\\x17\\xcf\\xbd\\\\\\xcb\\xa6\\x9a1e\\x0f\\'}\\xac\\xeb%l\\x0c\\x87\\xb59X\\x7f9\\xf4\\xf7JMjT\\xd7\\xf3\\xa3\\xfa\\xf7\\xe2\\xf2\\x12\\xdd\\xfa\\xe5\\x9d\\xfabs\\xd5\\xb73n\\xc6\\x10\\xee\\x93\\x8d\\xa5wm\\xc0\\x90\\x00\\x00\\x14\\xabIDAT\\xe7\\xb1\\xed4\\xfe?\\xc3\\x95\\x9cV?\\x97D\\xca\\x8a\\xca\\xf5\\xca/fi\\xc5\\x87v\\xe2n\\xbd\\xe4#K\\xa3\\xd5G/\\xc9\\xaf\\xd86\\xa6\\xad)Y\\x15\\n\\xda\\r\\xa1\\xcd\\xca\\xef\\xf5\\x10C\\xd5\\xb9qr\\xb7\\xe1\\x9at\\xda\\xdf\\x15HN\\x8dj\\xdc\\xd4\\xf5K\\xbbK\\nt\\xf4\\x0bWh\\xfe\\xd6\\xe5\\xf5\\x1aG\\xa7\\xe1\\xc3t\\xc2]\\xb7+9\\xb5~\\xe2()(\\xd0\\x9b\\x97_\\xad\\xdce\\xf6\\x9b\\x12\\xb7\\xc7TU>\\x92;5S`dw)\\xd9_\\x17mt\\xff^VQ\\xb9\\xa5\\xce:\\xfb\\xd7l\\xbd\\xc5\\xd1t\\xd80u\\xbd\\xfd\\x0e\\xf9\\xeb)\\x1f\\x15\\xc5\\xc5Z\\xfd\\xa7?j\\xd7g\\xf6\\x9b\\xc4z\\x8b\\xa3}\\xbbct\\xf4\\x91\\xf7\\xdb\\xc5C\\xeb\\xe3(//\\xd2\\xccO\\xae\\xd5\\x86\\x8dv_\\xb8z\\x8b#\\xb5\\xc3\\tv\\xbb\\x1b_=\\xc5\\x11*\\xdd\\xa3\\xbcicT\\x96g7\\x0b\\xaf\\x8f8\\xaa\\xce\\x91&];\\xab\\xeb)\\'\\xd6\\xbag`,\\xb9\\xaa(+\\xd3\\xea\\xb7\\xa6\\xc9l\\xa1SO\\xb1\\xd8\\xcf\\xc1\\xae\\x81\\xb6:%{\\xa8\\x92}\\xf5\\xf49\\x18*\\xd7[\\xdbfkup\\x93\\xa38\\x9c~\\xf0\\x9bk\\x84#3\\xb2[\\xea\\xac\\xa7\\x1eT\\xf7\\x11\\xb1\\xef\\xf3W=y+g|\\xac\\x97/\\xbe\\xda\\xae\\x0e-\\xc9\\xed\\xaa=\\xfcR6\\x86f\\xa9M\\xf5\\x87\\x83\\x7f\\xab!\\xad\\x06\\xc52~~\\xf4\\xbb\\xf3\\xb6.\\xd0\\xdf\\xe6\\xde\\xa3\\x9d\\xc5\\xbb\\xea3\\x86}b\\xc9h\\x91f\\xf7\\x19\\xec:\\xdc\\xdd\\xa5(V\\xcf\\xda\\xac\\xc9\\xd7\\xcdV\\xc1\\xf6\\xa2\\xfa\\x8c\\xc5\\xe6#E\\xad\\xd4[\\xcf\\xaaY\\xe5\\xc6\\xcb\\xae\\x1d;\\xf5\\x81\\x96\\xea\\x02\\x95\\xca\\xaeKT_c\\xca\\xb4m\\xe3h\\x95\\x9e\\xa5\\xe7\\xc7\\xdc\\xa6\\x91\\x9d\\x9dov[[\\xd0\\xcf,\\x9e\\xa2_~p\\x97v\\x17\\xdb\\xb91\\x11\\xfd\\xf5\\x14%\\xa2\\x8d#\\x90\\xd5\\\\\\xc7\\xdd\\xfe\\x17u8\\xcc\\xdd;\\x8e\\xcc^\\x83\\xb3\\xee\\xbcW\\xa6\\xc8\\x8aG\\x1c\\xbe@\\x8a\\x02#\\xba)\\xa9\\xbd\\xbbs\\xfd\\xca7\\xecVp\\xc6*\\x85\\x82v\\x1eF\\xbd\\x8f+\\xb3\\xaf`\\xd7\\xbf\\xdc\\xa2\\xc6\\x87\\xb8\\x9b\\x8f=s\\xe6h\\xf5\\xad\\xb7\\xa8l\\x87\\xbd\\xf4_\\xefq\\xa4\\xa5\\xb5\\xd0\\xf0a\\xffP\\xdb6\\xc3\\xa2\\x1c\\x9e\\xfb\\xff\\xb5M\\x9b?\\xd3\\xac\\xcf\\xaeWQ\\xd1\\xf6\\xb8\\xc4\\xe1O\\xcbV\\xd3#\\x1fQ\\xa3\\xb6\\xc7\\xb8\\x1a\\x87\\xd9kp\\xf7\\x177\\xc8\\x14Y\\xf5|~T\\xbdg%\\xa7\\x07d\\xf6*l\\xdc\\xc9\\xdd%g\\xf6\\xac[o\\xf7\\x1a,+\\x0c\\xc6%\\'\\xe9I\\xa92{\\x15vJk\\xedjN\\xd6\\x15m\\xb1{\\r\\x16\\x96\\x17;\\x8e\\xc3i\\x81e^\\xc0N\\x8a5\\xffa.\\x19\\x0e>\\xe7\\x8c\\x98\\xd7\\xc92\\xeb\\\\\\xcd\\x7f\\xe1\\xd5\\xf0R\\x0c\\xa6i7\\xe6c\\xd4\\x86\\\\\\x15\\x83\\xb9d8\\xb2\\xd311\\xaf\\x93e\\xd6\\xb9z\\x7f\\xddG\\xe1\\xa5\\x18\\xe2\\x11C8\\xbe\\xaaX\\xcc%\\xc3\\x01\\xe3\\xba\\xc6\\xbcN\\x96Y\\xe7j\\xd1\\xe4\\xd5\\xe1\\xa5\\x18\\xe2\\x11KU\\x0c\\xe6\\x92ak\\x9d\\x1f\\xf3:Yf\\x9d\\xab-z.\\xbc\\x14C\\xb1\\xf8SR\\x94\\xd5\\xf7\\x00[he\\xb4svE\\xc4l\\x7fc\\n\\xab\\xbc\\x9c\\xe5\\xaa(\\xb5\\xdf\\xec6\\xd8{o\\x8a/Y}3;\\xabOFg\\xb5Ku\\xb6l\\x8b\\xd9\\xfefI\\xc1Z\\xe5\\xe4\\xafUi(\\xb6\\xcf\\xc1h\\x0b,\\x03g\\xd6\\x089\\xd3\\xe7\\xf7O\\x08UT\\xd8\\xc93}O\\x1b\\xadN\\x87\\x1f\\xac\\xccV\\xd9j\\xdc\\xb6\\xb5\\x9a\\xb4k\\xab&{\\x93\\xb4{\\xe3f\\xed\\xde\\xb8I{6mQ\\xfe\\xd6mZ\\xf7\\xf9\\\\\\xe5\\xbcQ9\\'\\xc6\\xe7\\xf7\\x9b\\x15\\xda\\xcd_\\xe6\\x93\\x1c\\xaes\\xe5\\xe8\\xa4\\xdc\\xcf\\x93+c\\xf0\\xf9&\\x84B!\\x1b\\xc3\\xf0v\\x87\\xab_V\\x1f5Ok\\xa6\\x16i\\xcd\\xd52\\xad\\x85Z\\x06*\\x13\\x94\\x1b\\xdc\\xae\\xdc\\xa2\\xed\\xda^\\xb4C;\\x8avjq\\xde\\x12\\xcd\\xdaX\\xb9&\\x94\\xcf\\xe73+\\xb47D\\x0c\\xe1\\xb0\\xf6\\xe6\\xc37!TQ\\x19K\\xef\\x13;\\xa8\\xc3\\x90le\\xb6LSf\\xab\\x80\\x1a\\xb7\\t\\xa8q\\xeb\\xcayN{\\xb6\\x04\\xb5gsP\\xf9[\\x83\\xca\\xcf-\\xd2\\xfay\\xdb\\xb4t\\xda\\xfa\\xbd\\xf9\\xf0\\x99\\xd5\\xb4\\x1b\"\\x16\\x1b\\x83\\xe4\\x9f U\\x8e\\xa9\\x16\\x1ak\\x8b\\xacFj\\xadFjg\\x7fRU\\xb9\\x98d\\xb16\\xa8D\\x1b\\xf7\\xfel\\x91)\\xae\\xb6+|\\xb7\\x92\\xdf\\xac\\xd0\\xde\\x101T\\x9d\\x1b~\\x9f\\x7fBE\\xa82\\x8eq=\\x8f\\xb5EV\\xeb\\xf4,\\xb5\\xcb\\xccV\\xfb\\xc6\\xd9j\\x9f\\x99m\\xa7\\x18n\\xca\\xcf\\xd5\\xc6\\x82m\\x95\\x8f\\xf9\\xb9\\xfat\\xc3\\x02M^\\xf1\\xa1\\x8d\\xd1\\xef\\xf3\\x9b\\x15\\xda\\x1b4\\x0e\\x9f\\xff\\xfb1\\xd5\\xf5\\xd8\\xa3\\xd5fP\\x7f\\x05\\xb2\\xb2d\\xa6\\nd\\xb4\\xcaVFv\\xb6\\x9d)i.\\xed\\x17\\xe6nW\\xe1\\xb6\\\\\\x15\\xe4\\xe6j\\xf3\\xfcEZ\\xfda\\xe5]W>\\x7f\\x83\\x8d\\xa9\\xaa|\\xc8\\xa7\\t\\nUN\\xf4K\\xee\\xd2\\\\Im2e.!\\xfa\\xd3S\\xe4\\xcbh$_F\\xe5\\xed\\xde\\xa1\\x82R\\x85\\nJTQXj/\\x01\\x96o\\xceW\\xd9\\x1a{\\t\\xcd\\xc4iVho\\xd0|\\xc8\\xe7\\x9b\\xa0\\xbd\\xefW\\xcd\\x8e>Z\\x19\\xfd\\x07(%+K)-[*%;\\xdb\\xfe\\x98\\xa3t\\xdb\\xb6\\xca\\x9f\\xdc\\\\\\x95\\xe6\\xe5\\xa9\\xe0\\x9bE\\xda9s\\xef]p>\\x9fYE\\xbbA\\xe3\\xf0\\xf9\\xfc\\x13B{\\xcf\\x8fN\\x1d\\x8f\\xb7EVZZK\\xa5\\x07Z)\\x90\\xdeZ\\xe9\\x81\\xcaK=\\x85\\xc1-\\n\\x16nQap\\xab\\x8a\\x8are\\x8a\\xabu\\xdfU\\xde\\xd1\\xee\\xf3\\xf9\\xcd\\n\\xed\\r\\x1a\\x87|\\xfe\\t\\xda\\x1bGj\\xa71j\\x94}\\xa8\\xfc\\x81l\\xf9\\x03m\\xe4Oo\\xab\\xa4\\xf4\\xb6v\\xe0T\\x047\\xab\\xbcp\\x8b}4?%[\\xbfP\\xf1\\xba\\xb7\\xf7\\x8e+\\xbfY\\xa1\\xbd\\xa1\\xe2\\xa8v\\x8eT\\x1b[=\\xba\\xd9\"+9#\\xa0\\x94\\x8c\\x0c\\xa5dV\\xfe\\xd8\\xb1\\x95_P\\xf9SP\\xa0\\xb2\\x82\\xa0Lq\\xb5\\xf3\\xdb\\xbdk\\xc0yal\\xc97!\\xa4\\xca\\xcf\\xc1\\x1e\\xe9\\xedm\\x91\\x95\\x91\\x94\\xa6\\x8c\\xa4\\x802\\xf7\\xfe\\x98\\x7f\\xcb/\\x0f\\xda\\x9f\\x02\\xfbS$S\\\\}[\\xb8a\\xef\\xa9\\xee3+\\xb4\\xc7\\x94\\x93X\\n\\xac\\xca\\x81a\\xb6\\xaa\\xb0\\x1f\\x8a\\xf6\\xc7\\xd9WX\\x92Y\\xce\\xd5\\x14U\\xe6\\'\\xd2-%\\xc2\\xaf\\xeb\\xe6\\xe3O!\\x06\\xf2Q)\\xe0\\x951\\xf5S97\\x88\\x83q\\xe5\\xe6{m\\xf5\\xb6~*\\xef\\xbb?\\x9588\\xd7]>\\xd7\\xdd(\\xb0\\xaa\\x9f0#%\\xbb\\xc9\\xdc\\x0f\\x7f\\xccsLy\\xfb\\xc3\\x9f\\xaa[\\x05\\xeb\\xeb\\x0c\\x8e\\xa2\\xdd\\x9fB\\x0c\\xe1\\xb0\\x7f\\n\\xb1\\xfc\\x14b0\\xf9\\xa8)\\x0es\\x17\\x8c\\xb9\\x9d\\xce\\xec\\x9cm\\xce\\x0fs\\xbb\\x8d\\xf9\\xf1\\xe2\\xb9\\xf1\\xffC\\x1c\\x89\\xf4^U[>\\x88#\\x8a7\\x7f\\x17~\\xe5\\xa7r\\x9e3\\xb6\\\\\\x18\\x0cn\\x17X.t\\x89&\\x10@\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(@\\x81\\xe5\\xc1\\xa4\\xd0%\\x04\\x10@\\x00\\x01\\x04\\x10Hl\\x01\\n\\xac\\xc4\\xce\\x1f\\xbdG\\x00\\x01\\x04\\x10@\\x00\\x01\\x0f\\nP`y0)t\\t\\x01\\x04\\x10@\\x00\\x01\\x04\\x12[\\x80\\x02+\\xb1\\xf3G\\xef\\x11@\\x00\\x01\\x04\\x10@\\xc0\\x83\\x02\\x14X\\x1eL\\n]B\\x00\\x01\\x04\\x10@\\x00\\x81\\xc4\\x16\\xa0\\xc0J\\xec\\xfc\\xd1{\\x04\\x10@\\x00\\x01\\x04\\x10\\xf0\\xa0\\x00\\x05\\x96\\x07\\x93B\\x97\\x10@\\x00\\x01\\x04\\x10@ \\xb1\\x05(\\xb0\\x12;\\x7f\\xf4\\x1e\\x01\\x04\\x10@\\x00\\x01\\x04<(\\xf0\\xff\\x00+_\\xd4\\x08;\\xc2P(\\x00\\x00\\x00\\x00IEND\\xaeB`\\x82', layout=Layout(border_bottom='3px solid lightgrey', border_left='3px solid lightgrey', border_right='3px solid lightgrey', border_top='3px solid lightgrey', height='406px', overflow='visible', width='606px'), sync_image_data=True, width=600), HBox(children=(Label(value='Graph on 12 vertices and 0 edges.', layout=Layout(width='100%')), Label(value='Graph Editor', layout=Layout(width='100%')))), Output())), VBox(children=(ToggleButtons(icons=('', '', '', '', ''), layout=Layout(margin='0px 2px 0px auto', width='150px'), options=('select / move', 'add vertex or edge', 'delete vertex or edge', 'add walk', 'add clique', 'add star'), tooltips=('Move vertices or the canvas', 'Add vertices or edges', 'Delete vertices or edges', 'Add a walk through new or existing vertices', 'Add a clique through new or existing vertices', 'Add a star through new or existing vertices'), value='select / move'), Dropdown(layout=Layout(margin='1px 2px 1px auto', width='150px'), options=(('- change layout -', '- change layout -'), ('random', 'random'), ('spring', 'spring'), ('circular', 'circular'), ('planar', 'planar'), ('forest (root up)', 'forest (root up)'), ('forest (root down)', 'forest (root down)'), ('directed acyclic', 'acyclic')), value='- change layout -'), HBox(children=(Button(icon='search-plus', layout=Layout(height='36px', margin='0px 1px 0px 0px', width='36px'), style=ButtonStyle(), tooltip='Zoom in'), Button(icon='compress', layout=Layout(height='36px', margin='0px 1px 0px 1px', width='36px'), style=ButtonStyle(), tooltip='Zoom to fit'), Button(icon='search-minus', layout=Layout(height='36px', margin='0px 1px 0px 1px', width='36px'), style=ButtonStyle(), tooltip='Zoom out'), Button(icon='trash', layout=Layout(height='36px', margin='0px 0px 0px 1px', width='36px'), style=ButtonStyle(), tooltip='Clear the drawing and delete the graph')), layout=Layout(margin='1px 2px 1px auto')), HBox(children=(ColorPicker(value='#437FC0', layout=Layout(height='36px', margin='0px 1px 0px 0px', width='112px')), Button(icon='paint-brush', layout=Layout(height='36px', margin='0px 0px 0px 1px', width='36px'), style=ButtonStyle(), tooltip='Apply color to the selected elements')), layout=Layout(margin='1px 2px 1px auto')), HBox(children=(Label(value='⌀', layout=Layout(margin='auto 2px auto 0px')), BoundedIntText(value=20, layout=Layout(margin='auto 1px auto 0px', width='90px'), min=1), Button(icon='expand', layout=Layout(height='36px', margin='0px 0px 0px 1px', width='36px'), style=ButtonStyle(), tooltip='Change the radius of the selected vertices')), layout=Layout(margin='1px 2px 1px auto')), ToggleButton(value=True, description='Show vertex labels', layout=Layout(margin='1px 2px 1px auto', width='150px'), tooltip='Should the vertex label be drawn?'), ToggleButton(value=True, description='Show edge labels', layout=Layout(margin='1px 2px 1px auto', width='150px'), tooltip='Should the edge label be drawn?')), layout=Layout(min_width='160px', width='160px'))), layout=Layout(height='auto', overflow='auto hidden', width='100%'))" + ] + }, + "execution_count": 54, + "metadata": {}, + "output_type": "execute_result" + } + ], + "source": [ + "a.show()" + ] + }, + { + "cell_type": "code", + "execution_count": 91, + "id": "eed1947a-35d3-4741-a7ea-f8550a2abd30", + "metadata": {}, + "outputs": [ + { + "name": "stdout", + "output_type": "stream", + "text": [ + "1\n", + "[-3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -3, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, -10, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, -2, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, -1]\n" + ] + } + ], + "source": [ + "A = G.adjacency_matrix()\n", + "A[0, 0] = A[1, 1] = -3\n", + "A[2, 2] = -10\n", + "A[5, 5] = A[11, 11]= -1\n", + "for i in (3, 4) + tuple(6, .., 10):\n", + " A[i, i] = -2\n", + "print(A.det())\n", + "print(A.list())" + ] + }, + { + "cell_type": "code", + "execution_count": null, + "id": "b174f66f-0e7e-4b03-9e22-3d10858d6cef", + "metadata": {}, + "outputs": [], + "source": [] + } + ], + "metadata": { + "kernelspec": { + "display_name": "SageMath 10.3.beta4", + "language": "sage", + "name": "sagemath" + }, + "language_info": { + "codemirror_mode": { + "name": "ipython", + "version": 3 + }, + "file_extension": ".py", + "mimetype": "text/x-python", + "name": "python", + "nbconvert_exporter": "python", + "pygments_lexer": "ipython3", + "version": "3.11.6" + } + }, + "nbformat": 4, + "nbformat_minor": 5 +}