All Two-Loop, Color-Dressed, Six-Point Amplitude Integrands in sYM
Extracted source text ยท arXiv 2112.06934
%
% arXiv submission meta-data:
%
%title: All Two-Loop, Color-Dressed, Six-Point Amplitude Integrands in sYM
%authors: Jacob L. Bourjaily, Cameron Langer, Yaqi Zhang
%abstract (for arXiv): We construct all six-particle helicity amplitude integrands in color-dressed, maximally supersymmetric Yang-Mills theory at two loops in a single prescriptive basis of master integrands.
%
%
%comments: 4+2 pages; 15 figures.
%
%
\documentclass[prl,aps,twocolumn,preprintnumbers,amssymb,nobibnotes,nofootinbib,superscriptaddress,raggedbottom,10pt]{revtex4-1}
\usepackage{hyperref,ifthen,graphicx,array,multirow,color,amsmath,mathrsfs,titlesec,shuffle,tikz}
\usetikzlibrary{calc,decorations.markings,shapes.geometric}
\input{figure_data.tex}
\graphicspath{{figures/}}
\titleformat{\section}{\centering\normalsize\normalfont\bf}{\thesection}{0em}{}
\hypersetup{pdftitle={},pdfcreator={},linkcolor=[rgb]{0.15,0.35,0.75},colorlinks=true,citecolor=[rgb]{0.675,0,0.2},urlcolor=[rgb]{0.15,0.35,0.65}}
\thickmuskip=4mu plus 2mu minus 2mu\medmuskip=3mu plus 1mu minus 2mu\thinmuskip=2mu plus 1mu minus 1mu
\DeclareMathOperator*{\Res}{\mathrm{Res}}
\newcommand{\fwbox}[2]{\text{\makebox[#1][c]{$\hspace{-150pt}\displaystyle#2\hspace{-150pt}$}}}
\newcommand{\fwboxL}[2]{\text{\makebox[#1][l]{$#2$}}}
\newcommand{\fwboxR}[2]{\text{\makebox[#1][r]{$#2$}}}
\newcommand{\bigger}[1]{\raisebox{-0.95pt}{\scalebox{1.25}{$#1$}}}
\newcommand{\Bigger}[1]{\raisebox{-2.25pt}{\scalebox{1.75}{$#1$}}}
\renewcommand{\bar}{\overline}
\renewcommand{\tilde}{\widetilde}
\newcommand{\eq}[1]{\vspace{-3.5pt}\begin{equation}\hspace{2pt}#1\hspace{-0pt}\vspace{-3.5pt}\end{equation}}
\newcommand{\eqL}[1]{\eq{\fwboxL{0pt}{\hspace{-115pt}#1}}}
%\newcommand{\fig}[2]{\vcenter{\includegraphics[scale=#1]{#2}}}
\newcommand{\fig}[3]{\raisebox{#1}{\includegraphics[scale=#2]{#3}}}
\newcommand{\mi}{\raisebox{0.75pt}{\scalebox{0.75}{$\hspace{-1pt}\,-\,\hspace{-0.75pt}$}}}
\renewcommand{\pl}{\raisebox{0.75pt}{\scalebox{0.75}{$\hspace{-1pt}\,+\,\hspace{-0.75pt}$}}}
\newcommand{\ab}[1]{\langle #1\rangle}
\newcommand{\equivR}{\fwbox{13.5pt}{\hspace{-0pt}\fwboxR{0pt}{\raisebox{0.47pt}{\hspace{1.45pt}:\hspace{-3pt}}}=\fwboxL{0pt}{}}}
\newcommand{\equivL}{\fwbox{13.5pt}{\fwboxR{0pt}{}=\fwboxL{0pt}{\raisebox{0.47pt}{\hspace{-3pt}:\hspace{1.45pt}}}}}
\renewcommand{\u}[2]{(\hspace{-0.5pt}#1;\hspace{-1.5pt}#2\hspace{-0.5pt})}
\newcommand{\proj}[1]{\raisebox{1.75pt}{\big[}\hspace{-0.75pt}#1\hspace{-0.75pt}\raisebox{1.75pt}{\big]}}
\newcommand{\br}[1]{\mathbin{\hspace{-1.5pt}\big[\hspace{-2.75pt}\big[#1\big]\hspace{-2.75pt}\big]\hspace{-1.5pt}}}
\newcommand{\lsLabel}{\mathfrak{f}}
\newcommand{\intLabel}{\mathcal{I}}
\newcommand{\x}[2]{{\color{black}(}\hspace{-0.85pt}{\color{black}#1}\hspace{-0.25pt}{\color{black}|}\hspace{-0.25pt}{\color{black}#2}\hspace{-0.85pt}{\color{black})}}
\newcommand{\newcap}{\mathrm{\raisebox{0.75pt}{{$\,\bigcap\,$}}}}
\newcommand{\tcap}{\scalebox{1}{$\!\newcap\!$}}
\newcommand{\tncap}{\scalebox{0.8}{$\!\newcap\!$}}
\definecolor{hblue}{rgb}{0,0,0.575}
\definecolor{hred}{rgb}{0.575,0.0,0.225}
\definecolor{hteal}{rgb}{0.0,0.545,0.7451}
\definecolor{perm}{rgb}{0.1,0.45,0.85}
\renewcommand{\r}[1]{{\color{hred}#1}}
\renewcommand{\b}[1]{{\color{hblue}#1}}
\renewcommand{\phi}{\varphi}
\renewcommand{\hat}{\widehat}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{\texorpdfstring{All Two-Loop, Color-Dressed Six-Point Amplitude Integrands in sYM}{All Two-Loop, Color-Dressed, Six-Point Amplitude Integrands in sYM}}
\author{Jacob~L.~Bourjaily}%\email{bourjaily@psu.edu}
\affiliation{Institute for Gravitation and the Cosmos, Department of Physics,\\Pennsylvania State University, University Park, PA 16802, USA}
\affiliation{Niels Bohr International Academy and Discovery Center, Niels Bohr Institute,\\University of Copenhagen, Blegdamsvej 17, DK-2100, Copenhagen \O, Denmark}
\author{Cameron~Langer}%\email{ckl5552@psu.edu}
\affiliation{Institute for Gravitation and the Cosmos, Department of Physics,\\Pennsylvania State University, University Park, PA 16802, USA}
\author{Yaqi~Zhang}%\email{yjz5289@psu.edu}
\affiliation{Institute for Gravitation and the Cosmos, Department of Physics,\\Pennsylvania State University, University Park, PA 16802, USA}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{abstract}%
We construct all N${}^{k}$MHV six-particle amplitude integrands in color-dressed, maximally supersymmetric Yang-Mills theory at two loops in a single prescriptive basis of master integrands.
%
\end{abstract}
\maketitle
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-15pt}\section{Introduction}\label{introduction_section}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
Much has been learned about the nature of perturbative scattering amplitudes in quantum field theory using unitarity-based methods to construct representations of loop \emph{integrands} in terms of some pre-chosen basis of Feynman-like integrals---specifically, integrals involving some graph of scalar Feynman propagators with particular loop-dependent numerators. At one loop and in the planar limit, such investigations have led to enormous advances in our understanding: to the discovery of tree-level recursion relations \cite{Britto:2004ap,Britto:2005fq} and their all-loop generalization \cite{ArkaniHamed:2010kv}; the discovery of dual-conformal (and, ultimately Yangian) symmetry of planar, maximally supersymmetric Yang-Mills theory \cite{Drummond:2006rz,Alday:2007hr,Drummond:2008vq,Drummond:2009fd}; to the connection between on-shell functions and Grassmannian integrals \cite{ArkaniHamed:2009sx,ArkaniHamed:2009dg,Kaplan:2009mh,Bourjaily:2010kw,Arkani-Hamed:2014bca}, positroid varieties \cite{ArkaniHamed:2012nw,Bourjaily:2012gy}, and the amplituhedron \cite{ArkaniHamed:2010gg,Arkani-Hamed:2013jha,Arkani-Hamed:2013kca}.
Much of this progress flowed out of the investigation of particular amplitudes---often at or just beyond the reach of previous methods. Even for processes with as few as six particles, specific calculations of observable-like quantities such as the ratio of two helicity amplitudes \cite{Bern:2008ap,Kosower:2010yk} or the finite remainders of exponentiated amplitudes \cite{DelDuca:2009au,DelDuca:2010zg,Bourjaily:2019jrk,Bourjaily:2019vby} led to powerful new tools and remarkable insights into the mathematical structure underlying quantum field theory (see e.g.~\cite{Goncharov:2010jf,Dixon:2011nj,Dixon:2011pw,Dixon:2013eka,Dixon:2014iba,Dixon:2014voa,Dixon:2014xca,Dixon:2015iva,Caron-Huot:2019vjl}).
Even for the simplest quantum field theories, however, much less is understood beyond the planar limit. This is in part due to the complexities of color-dressing and in part due to non-existence of any preferred `routing' of the loop momentum variables. In the planar limit, (symmetrized) dual-momentum coordinates defined by the planar dual-graphs of Feynman diagrams not only provide a natural and universal choice of loop variables, but also suggest a natural organization of loop-dependent numerators according to essentially na\"ive power-counting---the scaling of an integrand as any loop momentum is taken to infinity. For example, it is well-known that amplitude integrands in planar sYM are dual-conformally invariant, and the space of dual-conformal integrands provides a natural basis in which any multiplicity amplitude can be expressed (see e.g.~\cite{Drummond:2006rz,Alday:2007hr,Drummond:2008vq,Drummond:2009fd,ArkaniHamed:2010gh,Bourjaily:2013mma,Bourjaily:2015jna,Bourjaily:2017wjl}).
Beyond the planar limit, however, although there is considerable evidence that amplitudes in sYM have `good' ultraviolet behavior (see e.g.~\cite{Arkani-Hamed:2014via,Bourjaily:2018omh}), the precise meaning of this statement at the integrand-level remains to be fully clarified. Roughly speaking, all amplitudes in this theory are expected to be expressible in a basis of integrands which scale like a `box' or better at infinity; but defining this behavior for non-planar integrands is far from obvious.
Recently, a graph-theoretic definition of power-counting suitable for non-planar loop integrands was described in \cite{Bourjaily:2020qca}. For any bounded multiplicity or fixed spacetime dimension, the authors of \cite{Bourjaily:2020qca} described how to define and enumerate a concrete set of loop integrands in which all amplitudes of any theory should be represented using the methods of unitarity. The process of diagonalizing such a basis with respect to cuts (rendering it \emph{prescriptive} \cite{Bourjaily:2017wjl}) was recently described in detail in \cite{IllustratingBasisBuilding}, where we provided a complete, prescriptive basis of triangle power-counting integrands at two loops for six external particles. In this basis, all six-particle helicity amplitudes in color-dressed, maximally supersymmetric ($\mathcal{N}\!=\!4$) Yang-Mills theory (`sYM') or maximal ($\mathcal{N}\!=\!8$) supergravity (`SUGRA') should be expressible.
In this work, we use unitarity to determine the coefficients of all six-particle N$^k$MHV amplitudes in this basis---of which the NMHV amplitude is entirely new. These coefficients are each simple \emph{leading singularities}, expressible as (fully color-dressed) on-shell functions, valid for any choice of gauge group.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-12pt}\section{Prescriptive Bases for Scattering Amplitudes}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
The essential idea of generalized unitarity \cite{Bern:1994zx,Bern:1994cg,Britto:2004nc} is that any amplitude integrand $\mathcal{A}$ can be represented in a basis of pre-chosen, Feynman-like integrands $\{\mathcal{I}_i\}$,
%
\eq{\mathcal{A}=\sum_{i}\mathfrak{a}_i\,\mathcal{I}_i\,,\label{general_decomposition}}
%
with coefficients determined by \emph{cut-conditions} and given in terms of on-shell functions built from lower-loop (ultimately tree-level) scattering amplitudes. Any basis of loop integrands (viewed as differential forms on the space of internal loop momenta) is called \emph{prescriptive} if it is the \emph{cohomological-dual} of a spanning set of compact, maximum-dimensional integration contours \cite{Bourjaily:2017wjl,Bourjaily:2020hjv,Bourjaily:2021vyj,IllustratingBasisBuilding}. That is, a basis is prescriptive if there exists a set of cycles $\{\Omega_j\}$ such that the period matrix of $\{\mathcal{I}_i\}$,
%
\eq{\oint\limits_{\Omega_j}\mathcal{I}_i=\delta_{i\,j}\,\label{prescriptivity_condition}}
%
is diagonal. This is called the \emph{prescriptivity condition}. Provided this is the case, the coefficients $c_i$ appearing in the representation of amplitudes (\ref{general_decomposition}) are simply individual \emph{leading singularities}---on-shell functions defined as
%
\eq{\mathfrak{a}_j\equivR\oint\limits_{\Omega_j}\mathcal{A}\,.\label{ls_coefficients}}
%
Nothing about this construction depends on the routing or origins of internal loop momenta (either in the theory or in the basis), as these degrees of freedom are fully integrated-out in both (\ref{prescriptivity_condition}) and (\ref{ls_coefficients}). Thus, this story applies equally well to planar as well as non-planar amplitudes---regardless of the non-existence of any \emph{particular} rational function to be called `the' loop integrand.
Recently, we constructed a complete and prescriptive basis of two-loop, non-planar integrands for six external particles with triangle power-counting \cite{IllustratingBasisBuilding}. Because this basis \emph{contains} all integrands with box (or better) power-counting, all helicity amplitudes in sYM should be expressible in this basis. Thus, to represent the six-particle MHV or NMHV amplitude in this basis, it suffices to compute all of the coefficients (\ref{ls_coefficients}) for either amplitude.
To be clear, while integrands are usually defined with a particular choice of leg labels, the basis should be understood as including exactly one element for each non-graph-isomorphic, relabeled version. As such, in the representation of an amplitude, the sum over terms in (\ref{general_decomposition}) includes not only all permutation-seeds, but also all inequivalent relabelings. The details of this summation are somewhat subtle, and we will return to it once we have discussed the leading singularities of an amplitude.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-12pt}\section{Six-Particle N${}^k$MHV Amplitudes at Two-Loops}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
As the basis constructed in ref.~\cite{IllustratingBasisBuilding} is complete, it should contain both MHV and NMHV six-particle amplitude integrands. Although the MHV amplitude has been known for some time (given both in \cite{Bourjaily:2019iqr} and as a special case of \cite{Bourjaily:2019gqu}), our current basis is distinct; and thus the presentation given here represents a novel cross check on those results. Moreover, representing both the MHV \emph{and} the NMHV amplitude in the \emph{same} basis of master integrands may facilitate the computation of IR-finite quantities such as a non-planar analogue of the ratio function.
For either the MHV or the NMHV amplitude, the leading singularities correspond to color-dressed on-shell functions which are fully Bose-symmetric in the legs entering each vertex tree-amplitude. Each vertex amplitude can be decomposed into color- times kinematic-factors with precise ordering of external according to DDM \cite{DelDuca:1999rs}. Graphically, we can denote this decomposition by the following: for any subset of two legs labelled $\{{\color{hred}\alpha},{\color{hred}\beta}\}$, of each vertex amplitude of an on-shell diagram, we write
%
\vspace{-5pt}\eq{\scalebox{1.3}{\begin{tikzpicture}[scale=1,baseline=-3.05]\draw[optExt] (0,0)--(135:0.45);\draw[optExt] (0,0)--(45:0.45);\draw[rEdge] (0,0)--(-45:0.45);\draw[rEdge] (0,0)--(-135:0.45);\node[ephdot] at (105:0.275) [] {};\node[ephdot] at (75:0.275) [] {};\node at (-135:0.6) [] {{\footnotesize{\color{anchorLeg}$\alpha$}}};\node at (90:0.5) [] {{\footnotesize$A$}};\node at (-45:0.6) [] {{\footnotesize{\color{anchorLeg}$\beta$}}};\node[fullmhvBig] at (0,0) [] {};\end{tikzpicture}}\hspace{-5pt}=\sum_{{\color{hblue}\vec{a}}\in\mathfrak{S}\hspace{-1pt}(\hspace{-1pt}{\color{black}A}\hspace{-0.75pt})}\;\;\fig{-22.125pt}{1.25}{color_dressed_tree_ddm_f}\hspace{-5pt}\times\hspace{-5pt}\fig{-22.125pt}{1.25}{color_stripped_tree_ddm}\,,\label{graphical_ddmification}\vspace{-5pt}}
%
where the sum is over all $(n{-}2)!$ permutations ${\color{hblue}\vec{a}}\equivL({\color{hblue}a_1},\ldots,{\color{hblue}a_{{-}1}})$ of the \emph{unordered} set $A\equivR[n]\backslash\{{\color{hred}\alpha},{\color{hred}\beta}\}$ and with color-factors defined as
%
\eq{\begin{split}f_{{\color{hred}\alpha\;\beta}}^{\;\,{\color{hblue}\vec{a}}}&\equivR\sum_{e_i}f^{{\color{hred}\alpha}\,{\color{hblue}a_1}\,e_1}f^{e_1\,{\color{hblue}a_2}\,e_2}\cdots f^{e_{\text{-}1}\,{\color{hblue}a_{\text{-}1}}\,{\color{hred}\beta}}\\&\equivL\fig{-15pt}{1}{color_chain}\equivL\fig{-15pt}{1}{color_chain_collapsed}\,,\end{split}\label{notational_conventions_for_ddm_fs}}
%
with $f^{a\,b\,c}$ being the structure constants of the relevant gauge group. Applying this expansion at every vertex of a two-loop leading singularity results in an expansion in terms of kinematic-dependent on-shell functions built with amplitudes involving \emph{locally ordered} legs times general color-factors of the form
%
\eq{\begin{split}\hspace{-30pt}f\!\bigger{\big[}{\color{hblue}\vec{a}},{\color{hblue}\vec{b}},{\color{hblue}\vec{c}}\bigger{\big]}&\equivR\fig{-17.125pt}{1}{our_color_factor}\\&=\sum_{{\color{hred}e_i}}f^{{\color{hred}e_1\,e_3\,e_6}}f_{{\color{hred}e_1\;e_2}}^{\;\;\,\,{\color{hblue}\vec{a}}}f_{{\color{hred}e_3\;e_4}}^{\;\;\,\,{\color{hblue}\vec{c}}}f_{{\color{hred}e_5\;e_6}}^{\;\;\,\,{\color{hblue}\vec{b}}}f^{{\color{hred}e_2\,e_5\,e_4}} .\end{split}\label{our_color_factors}}
%
This is similar to the decomposition described in \cite{Ochirov:2016ewn}. For examples of how this works for color-dressed leading singularities in sYM, see e.g.~\cite{Bourjaily:2019iqr,Bourjaily:2019gqu}.
\vspace{-12pt}\subsubsection{The Six-Particle MHV Amplitude}\vspace{-14pt}
%
The relevant on-shell functions for MHV amplitudes (at any loop order or multiplicity) were classified in \cite{Arkani-Hamed:2014bca} and can be represented at two loops concretely in terms of
a function
%
\eq{\Gamma\big[{\color{hblue}(a_1,\ldots,a_{{-}1})},{\color{hblue}(b_1,\ldots,b_{{-}1})},{\color{hblue}(c_1,\ldots,c_{{-}1})}\big]}
%
defined in \cite{Bourjaily:2019iqr,Bourjaily:2019gqu} (see also \cite{Bourjaily:2018omh}). This function is invariant under permutations of the ordering of its arguments and under cyclic rotations of each argument separately.
All non-vanishing leading singularities of the six particle MHV amplitude were given in \cite{Bourjaily:2019iqr}; these correspond to 38 particular contours for (\ref{ls_coefficients}). As these 38 contours were among those used in the prescriptive basis of ref.~\cite{IllustratingBasisBuilding}, each of these coefficients will be the same (while the integrands are rather different). Beyond permuting the leg-labels for the permutation-seeds of each basis integrand of ref.~\cite{IllustratingBasisBuilding} (used here) relative to those used in ref.~\cite{Bourjaily:2019iqr}, these coefficients are identical. In our ancillary files, we have merely relabeled these permutation-seed coefficients (and modified the sum of inequivalent terms accordingly).
\newpage
\vspace{-12pt}\subsubsection{The Six-Particle NMHV Amplitude}\vspace{-14pt}
%
For the six-particle NMHV amplitude, the kinematic part of all leading singularities (for arbitrary loop-order) were classified in ref.~\cite{Bourjaily:2016mnp}. For each of the defining contours of the basis $\mathfrak{B}_3$, identifying the correct kinematic superfunction from among those classified in \cite{Bourjaily:2016mnp} was done by explicit calculation---by computing the products of on-shell (locally cyclically-ordered, tree-)amplitudes evaluated on the corresponding maximal-cut in loop-integrand space, and summing over all the states that could be exchanged between them.
For example, consider the following color-dressed on-shell function for NMHV---which would appear as the coefficient of $\mathcal{I}_{11}^1$ in the basis of \cite{IllustratingBasisBuilding}:
%
\vspace{-14pt}\eq{\begin{split}\hspace{-120pt}\fwbox{80pt}{\dPent{\dPentPlainEdges\dPentLegs{1}{1}{0}{1}{1}{1}{1}\lsVerts{1}{2}{1}{2}{1}{2}{2}}}=&\fwbox{80pt}{\dPent{\dPentPlainEdges\dPentLegs{1}{1}{0}{1}{1}{1}{1}\lsVertsOrd{1}{2}{1}{2}{1}{2}{2}}}\colorF{\coordinate (a1) at (210:0.7);\coordinate (a11) at (210:1);\coordinate(a2)at(150:0.7);\coordinate(a21)at(150:1);\coordinate (b1) at (45:0.7);\coordinate (b11) at (45:1);\coordinate(b2)at(0:0.7);\coordinate(b21)at(0:1);\coordinate(b3)at(-45:0.7);\coordinate(b31)at(-45:1);\coordinate(c1) at (0,0);\coordinate(c11)at(-0.3,0);\draw[fgraphEdge] (a1)--(a11);\draw[fgraphEdge] (a2)--(a21);\draw[fgraphEdge] (b1)--(b11);\draw[fgraphEdge] (b2)--(b21);\draw[fgraphEdge] (b3)--(b31);\draw[fgraphEdge] (c1)--(c11);\node at (a1) [fdot] {};\node at (a2) [fdot] {};\node at (b1) [fdot] {};\node at (b2) [fdot] {};\node at (b3) [fdot] {};\node at (c1) [fdot] {};\node[inner sep=1.5pt,anchor=east]at (a11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{-4pt}{1}$}}};
\node[inner sep=1.5pt,anchor=east]at (a21) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{4pt}{2}$}}};
\node[inner sep=1.5pt,anchor=west]at (b11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{4pt}{3}$}}};
\node[inner sep=1.5pt,anchor=west]at (b21) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{0pt}{4}$}}};
\node[inner sep=1.5pt,anchor=west]at (b31) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{-4pt}{5}$}}};
\node[inner sep=1.5pt,anchor=east]at (c11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{-0pt}{6}$}}};}\hspace{-100pt}\\[-10pt]
&\fwboxL{0pt}{\!\!+}\fwbox{80pt}{\dPent{\dPentPlainEdges\leg{(v1)}{-135}{1}\leg{(v2)}{135}{2}\leg{(v4)}{45}{3}\leg{(v5)}{-45}{4}\leg{(v6)}{155}{5}\leg{(v7)}{180}{6}\lsVertsOrd{1}{2}{1}{2}{1}{2}{2}}}\colorF{\coordinate (a1) at (210:0.7);\coordinate (a11) at (210:1);\coordinate(a2)at(150:0.7);\coordinate(a21)at(150:1);\coordinate (b1) at (30:0.7);\coordinate (b11) at (30:1);\coordinate(b2)at(-30:0.7);\coordinate(b21)at(-30:1);\coordinate(c1) at (0,-0.2333);\coordinate(c11)at(-0.3,-0.2333);\coordinate(c2) at (0,0.2333);\coordinate(c21)at(-0.3,0.2333);\draw[fgraphEdge] (a1)--(a11);\draw[fgraphEdge] (a2)--(a21);\draw[fgraphEdge] (b1)--(b11);\draw[fgraphEdge] (b2)--(b21);\draw[fgraphEdge] (c2)--(c21);\draw[fgraphEdge] (c1)--(c11);\node at (a1) [fdot] {};\node at (a2) [fdot] {};\node at (b1) [fdot] {};\node at (b2) [fdot] {};\node at (c2) [fdot] {};\node at (c1) [fdot] {};\node[inner sep=1.5pt,anchor=east]at (a11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{-4pt}{1}$}}};
\node[inner sep=1.5pt,anchor=east]at (a21) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{4pt}{2}$}}};
\node[inner sep=1.5pt,anchor=west]at (b11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{4pt}{3}$}}};
\node[inner sep=1.5pt,anchor=west]at (b21) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{0pt}{4}$}}};
\node[inner sep=1.5pt,anchor=east]at (c21) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{0pt}{6}$}}};
\node[inner sep=1.5pt,anchor=east]at (c11) [] {\raisebox{-4pt}{{\footnotesize$\raisebox{-0pt}{5}$}}};}\hspace{-10pt}.\hspace{-100pt}\end{split}\label{ls_coeff_of_11_1}}
%
~\\[-20pt]
Comparing against the reference formulae in ref.~\cite{Bourjaily:2016mnp}, we may identify the relevant kinematic factors as being identified with the functions
%
\vspace{-6pt}\eq{\begin{array}{@{}c@{}c@{}}
\dPent{\dPentPlainEdges\dPentLegs{1}{1}{0}{1}{1}{1}{1}\lsVertsOrd{1}{2}{1}{2}{1}{2}{2}}&\dPent{\dPentPlainEdges\leg{(v1)}{-135}{1}\leg{(v2)}{135}{2}\leg{(v4)}{45}{3}\leg{(v5)}{-45}{4}\leg{(v6)}{155}{5}\leg{(v7)}{180}{6}\lsVertsOrd{1}{2}{1}{2}{1}{2}{2}}\\[-2pt]
\fwboxR{0pt}{={-}}\mathfrak{f}_2^c[263451]&\fwboxR{0pt}{={-}}\mathfrak{f}_5[145632]\end{array}}
%
We refer the reader to \cite{Bourjaily:2016mnp} for details on the definitions of these superfunctions.
In all, we find 80 non-vanishing leading singularities for the contours $\{\Omega_i\}$ defining the basis in \cite{IllustratingBasisBuilding}. Explicit formulae for each---expressed in terms of the functions classified in \cite{Bourjaily:2016mnp}---are given in the ancillary files of this work.
Interestingly, of the 10 classes of leading singularities enumerated in \cite{Bourjaily:2016mnp}, the only ones that appear at two loops are $\mathfrak{f}_1$, $\mathfrak{f}_2$, $\mathfrak{f}_2^c$, $\mathfrak{f}_3$, $\mathfrak{f}_4$, $\mathfrak{f}_5$, and $\mathfrak{f}_8$---with various permutations of the external legs as arguments. Actually, for $\mathfrak{f}_8$, the authors of \cite{Bourjaily:2016mnp} considered only the sum of particular solutions to the cut equations: $\mathfrak{f}_8^{\text{even}}\equivR\mathfrak{f}_{8}^+{+}\mathfrak{f}_{8}^-$, where the superscript indicates the sign of the square root in the solution to the final quadratic cut-equation; for us, both $\mathfrak{f}_8^{\text{even}}$ and $\mathfrak{f}_8^{\text{odd}}\equivR\mathfrak{f}_{8}^+{-}\mathfrak{f}_{8}^-$ are required. The set of kinematic factors appearing are not all functionally independent; they satisfy the relations also classified in \cite{Bourjaily:2016mnp}.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newpage%\vspace{-16pt}
\section{Complete Integrands for Six-Point Amplitudes}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Among the 373 contours used to define the basis given in \cite{IllustratingBasisBuilding}, a large fraction of these have manifestly no support for amplitudes in sYM. Specifically, the basis contours include 96 involving poles at infinity, 23 involving double-poles (associated with transcendental weight-drops), and 137 which have support on collinear \emph{but not soft} regions of loop momenta; all these integrands have vanishing leading singularities. In all, there are only 139 (of the 373) contours which define the basis that have support for amplitudes of some N${}^k$MHV-degree.
The MHV-degree of a leading singularity is computed by the degrees of each of the vertices. In particular, a leading singularity graph involving $n_I$ internal edges (after removing any soft edges) will have an overall N${}^k$MHV-degree of $k\!=\!\sum_v(k_v{+}2){-}(n_I{+}2)$---with MHV ($\overline{\text{MHV}}$) three-point vertices having degree $k_v\!=\!0,{-}1$, respectively. For any vertex in a cut-diagram involving some number $n_v\!>\!3$ three legs, $k_v$ can take any value $k_v\!\in\!\{0,\ldots,n_v{-}4\}$, allowing for some contours to support leading-singularities of multiple degrees.
Not all integrands whose defining contours admit an assignment of appropriate N${}^k$MHV-degrees at the vertices are included in our formulae. For example, integrand topology 10 in the basis admits admits four contours supported by NMHV leading singularities: $\{\Omega_{10}^{2},\Omega_{10}^4,\Omega_{10}^{5},\Omega_{10}^7\}$; and yet, our formulae only includes the two terms
%
\vspace{-5pt}\eq{\fwbox{0pt}{\fwbox{90pt}{\fwboxR{0pt}{\mathcal{I}_{11}^{2}\!\times\!\hspace{-10pt}}\dPent{\dPentPlainEdges\dPentLegs{1}{1}{0}{1}{1}{0}{2}\lsVerts{1}{2}{1}{2}{1}{2}{2}\node at (0,-1.1) [] {{\footnotesize (odd)}};}\fwboxL{0pt}{\hspace{-10pt},}}\qquad\fwbox{90pt}{\fwboxR{0pt}{\mathcal{I}_{11}^{4}\!\times\!\hspace{-10pt}}\dPent{\dPentPlainEdges\dPentLegs{1}{1}{0}{1}{1}{0}{2}\lsVerts{1}{2}{1}{2}{1}{2}{2}\node at (0,-1.1) [] {{\footnotesize (even)}};}\fwboxL{0pt}{\hspace{-10pt}.}}}\vspace{-5pt}}
%
This is because they are \emph{seeds} for the sum over inequivalent permutations of the external legs: the contours $\{\Omega_{10}^5,\Omega_{10}^7\}$ are related to those of $\{\Omega_{10}^2,\Omega_{10}^4\}$ by a vertical flip across the graph; as such, these contributions are automatically generated by the sum over inequivalent external-leg distributions for these two terms.
So to be clear, the sum of terms in the representation of amplitudes involves summing over all permutations of external legs that would result in \emph{inequivalent} leading singularities---that is, over all not related by isomorphisms of the graph which leave the integrand's defining contour invariant.
This is actually slightly less trivial than it may seem; for example, both our formula for the leading singularity in (\ref{ls_coeff_of_11_1}) \emph{and} the integrand $\mathcal{I}_{11}^1$ are antisymmetric under the exchange of external labels $(123456)\!\to\!(432156)$, corresponding to a left-right symmetry of the graph. Luckily, the combination of integrand and coefficient are fully symmetric. This is the case for every instance of antisymmetry among integrands or coefficients---resulting in the correspondingly simple rule that all terms corresponding to inequivalent graphs be summed in the representation of any amplitude.
For the sake of clarity and concreteness, the ancillary files to this work include code that will generate the \emph{full} list of contributions---not just the 38 and 80 \emph{seeds} for each contribution to the amplitudes, but \emph{all} \mbox{7\hspace{-0.5pt},\hspace{-0.5pt}680} and \mbox{21\hspace{-0.5pt},\hspace{-0.5pt}135} terms to be summed for the MHV and NMHV amplitude, respectively.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-16pt}\subsection{Integration, Infrared Structure, and Regularization}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
The particular basis described in ref.~\cite{IllustratingBasisBuilding} has several features that make it promising for loop integration and for exposing critical information about IR-structure of amplitudes. In particular, it is empirically true that prescriptive integrands are often maximally-transcendental and \emph{pure} \cite{ArkaniHamed:2010gh,Drummond:2010cz} and thus satisfy canonical, nilpotent differential equations \cite{Henn:2013pwa,Broedel:2018qkq,Herrmann:2019upk}. This should make them comparatively easy to integrate---for example, according to the methods outlined in \cite{Kotikov:1990kg,Kotikov:2000vn,Remiddi:1997ny,Henn:2013pwa}; but perhaps also more directly as illustrated in \cite{Bourjaily:2018aeq,Bourjaily:2019jrk,Bourjaily:2019vby}.
Another aspect of the basis which may prove valuable is that it was fully divided into infrared-finite and divergent subspaces. This was achieved by choosing as many contours $\{\Omega_j\}$ as possible in the diagonalization (\ref{prescriptivity_condition}) to encompass regions responsible for infrared divergences. Moreover, the coefficients of each IR-divergent integral are \emph{manifestly} given by lower-loop expressions; thus, the universal behavior of divergences should be manifested, making it easier to cancel them prior to loop integration. Ideally, we are optimistic that the ratio of different helicity amplitudes could be rendered \emph{locally finite} in the sense of \cite{Bourjaily:2021ewt} in this basis, but we must leave such questions to future work (see e.g.~\cite{Becher:2009cu,Catani:1998bh})
In particular, the MHV amplitude involves 17 and 21 integrals (seed terms for leg-permutation sums) which are manifestly infrared-finite and divergent, respectively; the NMHV amplitude involves 36 finite integrals and 44 divergent integrals.\\[-6pt]
One final comment is in order regarding regularization. Because the basis of integrands in ref.~\cite{IllustratingBasisBuilding} was defined in strictly four spacetime dimensions and the coefficients $\mathfrak{a}_i$ were computed using four-dimensional contours, our integrands are not ensured to give the correct \emph{regulated} expressions if integrated using dimensional regularization: $\mathcal{O}(\epsilon)$ corrections to coefficients can lead to finite corrections to divergent integrals. Nevertheless, we strongly suspect that all regulator dependence will cancel for any finite observable.
Although dimensional regularization is unquestionably the most familiar and most widely used regulator, it is important to note that infrared divergences can be regulated faithfully using massive propagators---by going to the Higgs branch of the theory as in \cite{Henn:2010bk,Henn:2010ir}. Importantly, $\mathcal{O}(m^2)$ corrections to integrand coefficients always lead to $\mathcal{O}(m^2)$ contributions to regulated expressions (never canceling a divergence as in $\epsilon/\epsilon$ in dimensional regularization); as such, our unregulated expressions will yield the correct, regulated results on the Higgs branch.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-16pt}\subsection{Consistency Checks}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
For both the MHV and NMHV amplitudes, the planar parts---the leading (in $1/N_c$) coefficient of $\text{tr}(123456)$ in the expansion of the color-factors---were compared directly against the known results \cite{ArkaniHamed:2010gh,Bourjaily:2015jna}. For the sake of the reader, the ancillary files include the loop-momentum routing for each of non-vanishing contributions in terms of a universal choice for dual-momentum coordinates. As these formulae are novel (and non-manifestly dual-conformal) representations of these amplitudes, this is a highly non-trivial check on the correctness of our result.
Beyond the planar limit, it is worth noting that relatively few leading-singularities appear among the contours chosen for the basis. All \emph{other} leading singularities of the amplitude must get matched indirectly in the basis via global residue theorems. Such identities were used to fix all relative signs of terms appearing in these expressions. We have checked that all such residue theorems for both the MHV and NMHV amplitudes are satisfied by our expressions---ensuring that \emph{all} leading singularities of each amplitude are matched.
\vspace{-16pt}\section{Content of the Ancillary Files}\vspace{-14pt}
%
Complete expressions for both amplitudes are given as ancillary files to this work available from the abstract page on the \texttt{arXiv}. These files include: a plain-text data file including lists of all non-vanishing seed-terms for both the MHV and NMHV amplitudes expressions, complete definitions of all relevant leading singularity coefficients, and expressions for all integrands from \cite{IllustratingBasisBuilding} with non-vanishing coefficients; a \textsc{Mathematica} package containing tools to manipulate, display, and evaluate these expressions; and an illustration notebook that demonstrates the usage of these tools.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-16pt}\section{Conclusions and Discussion}\vspace{-14pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
The integration of non-planar Feynman integrands involving six particles is at or arguably just beyond our present state of the art. Indeed, it was only recently that the first non-planar amplitudes (in maximally supersymmetric theories) were computed for five-particles \mbox{\cite{Chicherin:2018yne,Abreu:2018aqd,Abreu:2019rpt,Chicherin:2019xeg}}. In this work we have provided explicit representations of both the NMHV and MHV six particle amplitude in precisely the same prescriptive basis of integrands---engineered to simplify the work of loop integration and to maximally expose the infrared structure of each amplitude. We suspect that there exists some non-planar analogue of the IR-finite ratio function of planar theories, and the first non-trivial instance of such should appear for six particles. Once the integrated expressions are found for these integrands, we anticipate the discovery of simplifications as dramatic as for in the case of planar amplitudes (see e.g.~\cite{DelDuca:2009au,Goncharov:2010jf})---and we hope that these will lead to similarly powerful new insights for amplitudes beyond the planar limit.
\nopagebreak
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-12pt}\section{Acknowledgments}\vspace{-15pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The authors gratefully acknowledge fruitful conversations with Enrico Herrmann and Jaroslav Trnka. This project has been supported by an ERC Starting Grant \mbox{(757978)}, a grant from the Villum Fonden \mbox{(15369)}, by a grant from the US Department of Energy \mbox{(DE-SC00019066)}.
\vspace{-14pt}
\providecommand{\href}[2]{#2}\begingroup\raggedright\begin{thebibliography}{10}
\vspace{-14pt}
\bibitem{Britto:2004ap}
R.~Britto, F.~Cachazo, and B.~Feng, ``{New Recursion Relations for Tree
Amplitudes of Gluons},''
\href{http://dx.doi.org/10.1016/j.nuclphysb.2005.02.030}{{\em Nucl. Phys.}
{\bf B715} (2005) 499--522},
\href{http://arxiv.org/abs/hep-th/0412308}{{ arXiv:hep-th/0412308}}.
%%CITATION = HEP-TH/0412308;%%.
\bibitem{Britto:2005fq}
R.~Britto, F.~Cachazo, B.~Feng, and E.~Witten, ``{Direct Proof of Tree-Level
Recursion Relation in Yang- Mills Theory},''
\href{http://dx.doi.org/10.1103/PhysRevLett.94.181602}{{\em Phys. Rev. Lett.}
{\bf 94} (2005) 181602},
\href{http://arxiv.org/abs/hep-th/0501052}{{ arXiv:hep-th/0501052}}.
%%CITATION = HEP-TH/0501052;%%.
\bibitem{ArkaniHamed:2010kv}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, S.~Caron-Huot, and J.~Trnka,
``{The All-Loop Integrand For Scattering Amplitudes in Planar
$\mathcal{N}\!=\!4$ SYM},''
\href{http://dx.doi.org/10.1007/JHEP01(2011)041}{{\em JHEP} {\bf 1101} (2011)
041},
\href{http://arxiv.org/abs/1008.2958}{{ arXiv:1008.2958 [hep-th]}}.
%%CITATION = ARXIV:1008.2958;%%.
\bibitem{Drummond:2006rz}
J.~Drummond, J.~Henn, V.~Smirnov, and E.~Sokatchev, ``{Magic Identities for
Conformal Four-Point Integrals},''
\href{http://dx.doi.org/10.1088/1126-6708/2007/01/064}{{\em JHEP} {\bf 0701}
(2007) 064},
\href{http://arxiv.org/abs/hep-th/0607160}{{ arXiv:hep-th/0607160}}.
%%CITATION = HEP-TH/0607160;%%.
\bibitem{Alday:2007hr}
L.~F. Alday and J.~M. Maldacena, ``{Gluon Scattering Amplitudes at Strong
Coupling},'' \href{http://dx.doi.org/10.1088/1126-6708/2007/06/064}{{\em
JHEP} {\bf 06} (2007) 064},
\href{http://arxiv.org/abs/0705.0303}{{ arXiv:0705.0303 [hep-th]}}.
%%CITATION = ARXIV:0705.0303;%%.
\bibitem{Drummond:2008vq}
J.~Drummond, J.~Henn, G.~Korchemsky, and E.~Sokatchev, ``{Dual Superconformal
Symmetry of Scattering Amplitudes in $\mathcal{N}\!=\!4$ super Yang-Mills
Theory},'' \href{http://dx.doi.org/10.1016/j.nuclphysb.2009.11.022}{{\em
Nucl. Phys.} {\bf B828} (2010) 317--374},
\href{http://arxiv.org/abs/0807.1095}{{ arXiv:0807.1095 [hep-th]}}.
%%CITATION = ARXIV:0807.1095;%%.
\bibitem{Drummond:2009fd}
J.~M. Drummond, J.~M. Henn, and J.~Plefka, ``{Yangian Symmetry of Scattering
Amplitudes in $\mathcal{N}\!=\!4$ Super Yang-Mills Theory},''
\href{http://dx.doi.org/10.1088/1126-6708/2009/05/046}{{\em JHEP} {\bf 05}
(2009) 046},
\href{http://arxiv.org/abs/0902.2987}{{ arXiv:0902.2987 [hep-th]}}.
%%CITATION = 0902.2987;%%.
\bibitem{ArkaniHamed:2009sx}
N.~Arkani-Hamed, J.~Bourjaily, F.~Cachazo, and J.~Trnka, ``{Local Spacetime
Physics from the Grassmannian},''
\href{http://dx.doi.org/10.1007/JHEP01(2011)108}{{\em JHEP} {\bf 1101} (2011)
108},
\href{http://arxiv.org/abs/0912.3249}{{ arXiv:0912.3249 [hep-th]}}.
%%CITATION = ARXIV:0912.3249;%%.
\bibitem{ArkaniHamed:2009dg}
N.~Arkani-Hamed, J.~Bourjaily, F.~Cachazo, and J.~Trnka, ``{Unification of
Residues and Grassmannian Dualities},''
\href{http://dx.doi.org/10.1007/JHEP01(2011)049}{{\em JHEP} {\bf 1101} (2011)
049},
\href{http://arxiv.org/abs/0912.4912}{{ arXiv:0912.4912 [hep-th]}}.
%%CITATION = ARXIV:0912.4912;%%.
\bibitem{Kaplan:2009mh}
J.~Kaplan, ``{Unraveling $\mathcal{L}_{n,k}$: Grassmannian Kinematics},''
\href{http://dx.doi.org/10.1007/JHEP03(2010)025}{{\em JHEP} {\bf 1003} (2010)
025},
\href{http://arxiv.org/abs/0912.0957}{{ arXiv:0912.0957 [hep-th]}}.
%%CITATION = ARXIV:0912.0957;%%.
\bibitem{Bourjaily:2010kw}
J.~L. Bourjaily, J.~Trnka, A.~Volovich, and C.~Wen, ``{The Grassmannian and the
Twistor String: Connecting All Trees in $\mathcal{N}\!=\!4$ SYM},''
\href{http://dx.doi.org/10.1007/JHEP01(2011)038}{{\em JHEP} {\bf 1101} (2011)
038},
\href{http://arxiv.org/abs/1006.1899}{{ arXiv:1006.1899 [hep-th]}}.
%%CITATION = ARXIV:1006.1899;%%.
\bibitem{Arkani-Hamed:2014bca}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, A.~Postnikov, and J.~Trnka,
``{On-Shell Structures of MHV Amplitudes Beyond the Planar Limit},''
\href{http://dx.doi.org/10.1007/JHEP06(2015)179}{{\em JHEP} {\bf 06} (2015)
179},
\href{http://arxiv.org/abs/1412.8475}{{ arXiv:1412.8475 [hep-th]}}.
%%CITATION = ARXIV:1412.8475;%%.
\bibitem{ArkaniHamed:2012nw}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, A.~B. Goncharov, A.~Postnikov,
and J.~Trnka, ``{Scattering Amplitudes and the Positive Grassmannian},''
\href{http://arxiv.org/abs/1212.5605}{{ arXiv:1212.5605 [hep-th]}}.
%%CITATION = ARXIV:1212.5605;%%.
\bibitem{Bourjaily:2012gy}
J.~L. Bourjaily, ``{Positroids, Plabic Graphs, and Scattering Amplitudes in
{\sc Mathematica}},''
\href{http://arxiv.org/abs/1212.6974}{{ arXiv:1212.6974 [hep-th]}}.
%%CITATION = ARXIV:1212.6974;%%.
\bibitem{ArkaniHamed:2010gg}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, A.~Hodges, and J.~Trnka, ``{A
{N}ote on {P}olytopes for {S}cattering {A}mplitudes},''
\href{http://dx.doi.org/10.1007/JHEP04(2012)081}{{\em JHEP} {\bf 1204} (2012)
081},
\href{http://arxiv.org/abs/1012.6030}{{ arXiv:1012.6030 [hep-th]}}.
%%CITATION = ARXIV:1012.6030;%%.
\bibitem{Arkani-Hamed:2013jha}
N.~Arkani-Hamed and J.~Trnka, ``{The Amplituhedron},''
\href{http://dx.doi.org/10.1007/JHEP10(2014)030}{{\em JHEP} {\bf 1410} (2014)
30},
\href{http://arxiv.org/abs/1312.2007}{{ arXiv:1312.2007 [hep-th]}}.
%%CITATION = ARXIV:1312.2007;%%.
\bibitem{Arkani-Hamed:2013kca}
N.~Arkani-Hamed and J.~Trnka, ``{Into the Amplituhedron},''
\href{http://dx.doi.org/10.1007/JHEP12(2014)182}{{\em JHEP} {\bf 1412} (2014)
182},
\href{http://arxiv.org/abs/1312.7878}{{ arXiv:1312.7878 [hep-th]}}.
%%CITATION = ARXIV:1312.7878;%%.
\bibitem{Bern:2008ap}
Z.~Bern, L.~J. Dixon, D.~A. Kosower, R.~Roiban, M.~Spradlin, C.~Vergu, and
A.~Volovich, ``{The Two-Loop Six-Gluon MHV Amplitude in Maximally
Supersymmetric Yang-Mills Theory},''
\href{http://dx.doi.org/10.1103/PhysRevD.78.045007}{{\em Phys. Rev.} {\bf
D78} (2008) 045007},
\href{http://arxiv.org/abs/0803.1465}{{ arXiv:0803.1465 [hep-th]}}.
%%CITATION = 0803.1465;%%.
\bibitem{Kosower:2010yk}
D.~Kosower, R.~Roiban, and C.~Vergu, ``{The Six-Point NMHV amplitude in
Maximally Supersymmetric Yang-Mills Theory},''
\href{http://dx.doi.org/10.1103/PhysRevD.83.065018}{{\em Phys. Rev.} {\bf
D83} (2011) 065018},
\href{http://arxiv.org/abs/1009.1376}{{ arXiv:1009.1376 [hep-th]}}.
%%CITATION = ARXIV:1009.1376;%%.
\bibitem{DelDuca:2009au}
V.~Del~Duca, C.~Duhr, and V.~A. Smirnov, ``{An Analytic Result for the Two-Loop
Hexagon Wilson Loop in $\mathcal{N}\!=\!4$ SYM},''
\href{http://dx.doi.org/10.1007/JHEP03(2010)099}{{\em JHEP} {\bf 03} (2010)
099},
\href{http://arxiv.org/abs/0911.5332}{{ arXiv:0911.5332 [hep-ph]}}.
%%CITATION = ARXIV:0911.5332;%%.
\bibitem{DelDuca:2010zg}
V.~Del~Duca, C.~Duhr, and V.~A. Smirnov, ``{The Two-Loop Hexagon Wilson Loop in
$\mathcal{N}\!=\!4$ SYM},''
\href{http://dx.doi.org/10.1007/JHEP05(2010)084}{{\em JHEP} {\bf 05} (2010)
084},
\href{http://arxiv.org/abs/1003.1702}{{ arXiv:1003.1702 [hep-th]}}.
%%CITATION = ARXIV:1003.1702;%%.
\bibitem{Bourjaily:2019jrk}
J.~L. Bourjaily, F.~Dulat, and E.~Panzer, ``{Manifestly Dual-Conformal Loop
Integration},'' \href{http://dx.doi.org/10.1016/j.nuclphysb.2019.03.022}{{\em
Nucl. Phys.} {\bf B942} (2019) 251--302},
\href{http://arxiv.org/abs/1901.02887}{{ arXiv:1901.02887 [hep-th]}}.
%%CITATION = ARXIV:1901.02887;%%.
\bibitem{Bourjaily:2019vby}
J.~L. Bourjaily, M.~Volk, and M.~Von~Hippel, ``{Conformally Regulated Direct
Integration of the Two-Loop Heptagon Remainder},''
\href{http://dx.doi.org/10.1007/JHEP02(2020)095}{{\em JHEP} {\bf 02} (2020)
095}, \href{http://arxiv.org/abs/1912.05690}{{ arXiv:1912.05690 [hep-th]}}.
\bibitem{Goncharov:2010jf}
A.~B. Goncharov, M.~Spradlin, C.~Vergu, and A.~Volovich, ``{Classical
Polylogarithms for Amplitudes and Wilson Loops},''
\href{http://dx.doi.org/10.1103/PhysRevLett.105.151605}{{\em Phys. Rev.
Lett.} {\bf 105} (2010) 151605},
\href{http://arxiv.org/abs/1006.5703}{{ arXiv:1006.5703 [hep-th]}}.
%%CITATION = ARXIV:1006.5703;%%.
\bibitem{Dixon:2011nj}
L.~J. Dixon, J.~M. Drummond, and J.~M. Henn, ``{Analytic Result for the
Two-Loop Six-Point NMHV Amplitude in $\mathcal{N}\!=\!4$ Super Yang-Mills
Theory},'' \href{http://dx.doi.org/10.1007/JHEP01(2012)024}{{\em JHEP} {\bf
1201} (2012) 024},
\href{http://arxiv.org/abs/1111.1704}{{ arXiv:1111.1704 [hep-th]}}.
%%CITATION = ARXIV:1111.1704;%%.
\bibitem{Dixon:2011pw}
L.~J. Dixon, J.~M. Drummond, and J.~M. Henn, ``{Bootstrapping the Three-Loop
Hexagon},'' \href{http://dx.doi.org/10.1007/JHEP11(2011)023}{{\em JHEP} {\bf
1111} (2011) 023},
\href{http://arxiv.org/abs/1108.4461}{{ arXiv:1108.4461 [hep-th]}}.
%%CITATION = ARXIV:1108.4461;%%.
\bibitem{Dixon:2013eka}
L.~J. Dixon, J.~M. Drummond, M.~von Hippel, and J.~Pennington, ``{Hexagon
Functions and the Three-Loop Remainder Function},''
\href{http://dx.doi.org/10.1007/JHEP12(2013)049}{{\em JHEP} {\bf 1312} (2013)
049},
\href{http://arxiv.org/abs/1308.2276}{{ arXiv:1308.2276 [hep-th]}}.
%%CITATION = ARXIV:1308.2276;%%.
\bibitem{Dixon:2014iba}
L.~J. Dixon and M.~von Hippel, ``{Bootstrapping an NMHV Amplitude Through Three
Loops},'' \href{http://dx.doi.org/10.1007/JHEP10(2014)065}{{\em JHEP} {\bf
1410} (2014) 65},
\href{http://arxiv.org/abs/1408.1505}{{ arXiv:1408.1505 [hep-th]}}.
%%CITATION = ARXIV:1408.1505;%%.
\bibitem{Dixon:2014voa}
L.~J. Dixon, J.~M. Drummond, C.~Duhr, and J.~Pennington, ``{The Four-Loop
Remainder Function and Multi-Regge Behavior at NNLLA in Planar
$\mathcal{N}\!=\!4$ Super-Yang-Mills Theory},''
\href{http://dx.doi.org/10.1007/JHEP06(2014)116}{{\em JHEP} {\bf 1406} (2014)
116},
\href{http://arxiv.org/abs/1402.3300}{{ arXiv:1402.3300 [hep-th]}}.
%%CITATION = ARXIV:1402.3300;%%.
\bibitem{Dixon:2014xca}
L.~J. Dixon, J.~M. Drummond, C.~Duhr, M.~von Hippel, and J.~Pennington,
``{Bootstrapping Six-Gluon Scattering in Planar $\mathcal{N}\!=\!4$
Super-Yang-Mills Theory},'' \href{http://dx.doi.org/10.22323/1.211.0077}{{\em
PoS} {\bf LL2014} (2014) 077},
\href{http://arxiv.org/abs/1407.4724}{{ arXiv:1407.4724 [hep-th]}}.
%%CITATION = ARXIV:1407.4724;%%.
\bibitem{Dixon:2015iva}
L.~J. Dixon, M.~von Hippel, and A.~J. McLeod, ``{The Four-Loop Six-Gluon NMHV
Ratio Function},'' \href{http://dx.doi.org/10.1007/JHEP01(2016)053}{{\em
JHEP} {\bf 01} (2016) 053},
\href{http://arxiv.org/abs/1509.08127}{{ arXiv:1509.08127 [hep-th]}}.
%%CITATION = ARXIV:1509.08127;%%.
\bibitem{Caron-Huot:2019vjl}
S.~Caron-Huot, L.~J. Dixon, F.~Dulat, M.~von Hippel, A.~J. McLeod, and
G.~Papathanasiou, ``{Six-Gluon Amplitudes in planar $ \mathcal{N}\!=\!4$
super-Yang-Mills theory at Six and Seven Loops},''
\href{http://dx.doi.org/10.1007/JHEP08(2019)016}{{\em JHEP} {\bf 08} (2019)
016}, \href{http://arxiv.org/abs/1903.10890}{{ arXiv:1903.10890 [hep-th]}}.
\bibitem{ArkaniHamed:2010gh}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, and J.~Trnka, ``{Local Integrals
for Planar Scattering Amplitudes},''
\href{http://dx.doi.org/10.1007/JHEP06(2012)125}{{\em JHEP} {\bf 1206} (2012)
125},
\href{http://arxiv.org/abs/1012.6032}{{ arXiv:1012.6032}}.
%%CITATION = ARXIV:1012.6032;%%.
\bibitem{Bourjaily:2013mma}
J.~L. Bourjaily, S.~Caron-Huot, and J.~Trnka, ``{Dual-Conformal Regularization
of Infrared Loop Divergences and the {\it Chiral} Box Expansion},''
\href{http://dx.doi.org/10.1007/JHEP01(2015)001}{{\em JHEP} {\bf 1501} (2015)
001},
\href{http://arxiv.org/abs/1303.4734}{{ arXiv:1303.4734 [hep-th]}}.
%%CITATION = ARXIV:1303.4734;%%.
\bibitem{Bourjaily:2015jna}
J.~L. Bourjaily and J.~Trnka, ``{Local Integrand Representations of All
Two-Loop Amplitudes in Planar SYM},''
\href{http://dx.doi.org/10.1007/JHEP08(2015)119}{{\em JHEP} {\bf 08} (2015)
119},
\href{http://arxiv.org/abs/1505.05886}{{ arXiv:1505.05886 [hep-th]}}.
%%CITATION = ARXIV:1505.05886;%%.
\bibitem{Bourjaily:2017wjl}
J.~L. Bourjaily, E.~Herrmann, and J.~Trnka, ``{Prescriptive Unitarity},''
\href{http://dx.doi.org/10.1007/JHEP06(2017)059}{{\em JHEP} {\bf 06} (2017)
059},
\href{http://arxiv.org/abs/1704.05460}{{ arXiv:1704.05460 [hep-th]}}.
%%CITATION = ARXIV:1704.05460;%%.
\bibitem{Arkani-Hamed:2014via}
N.~Arkani-Hamed, J.~L. Bourjaily, F.~Cachazo, and J.~Trnka, ``{Singularity
Structure of Maximally Supersymmetric Scattering Amplitudes},''
\href{http://dx.doi.org/10.1103/PhysRevLett.113.261603}{{\em Phys. Rev.
Lett.} {\bf 113} (2014) no. 26, 261603},
\href{http://arxiv.org/abs/1410.0354}{{ arXiv:1410.0354 [hep-th]}}.
%%CITATION = ARXIV:1410.0354;%%.
\bibitem{Bourjaily:2018omh}
J.~L. Bourjaily, E.~Herrmann, and J.~Trnka, ``{Amplitudes at Infinity},''
\href{http://dx.doi.org/10.1103/PhysRevD.99.066006}{{\em Phys. Rev. D} {\bf
99} (2019) no. 6, 066006}, \href{http://arxiv.org/abs/1812.11185}{{
arXiv:1812.11185 [hep-th]}}.
\bibitem{Bourjaily:2020qca}
J.~L. Bourjaily, E.~Herrmann, C.~Langer, and J.~Trnka, ``{Building Bases of
Loop Integrands},'' \href{http://dx.doi.org/10.1007/JHEP11(2020)116}{{\em
JHEP} {\bf 11} (2020) 116}, \href{http://arxiv.org/abs/2007.13905}{{
arXiv:2007.13905 [hep-th]}}.
\bibitem{IllustratingBasisBuilding}
J.~L. Bourjaily, C.~Langer, and Y.~Zhang, ``{Illustrations of Integrand-Basis
Building at Two Loops},'' \href{http://arxiv.org/abs/2112.05157}{{
arXiv:2112.05157 [hep-th]}}.
\bibitem{Bern:1994zx}
Z.~Bern, L.~J. Dixon, D.~C. Dunbar, and D.~A. Kosower, ``{One-Loop $n$-Point
Gauge Theory Amplitudes, Unitarity and Collinear Limits},''
\href{http://dx.doi.org/10.1016/0550-3213(94)90179-1}{{\em Nucl. Phys.} {\bf
B425} (1994) 217--260},
\href{http://arxiv.org/abs/hep-ph/9403226}{{ arXiv:hep-ph/9403226}}.
%%CITATION = HEP-PH/9403226;%%.
\bibitem{Bern:1994cg}
Z.~Bern, L.~J. Dixon, D.~C. Dunbar, and D.~A. Kosower, ``{Fusing Gauge Theory
Tree Amplitudes into Loop Amplitudes},''
\href{http://dx.doi.org/10.1016/0550-3213(94)00488-Z}{{\em Nucl. Phys.} {\bf
B435} (1995) 59--101},
\href{http://arxiv.org/abs/hep-ph/9409265}{{ arXiv:hep-ph/9409265}}.
%%CITATION = HEP-PH/9409265;%%.
\bibitem{Britto:2004nc}
R.~Britto, F.~Cachazo, and B.~Feng, ``{Generalized Unitarity and One-Loop
Amplitudes in $\mathcal{N}\!=\!4$ Super-Yang-Mills},''
\href{http://dx.doi.org/10.1016/j.nuclphysb.2005.07.014}{{\em Nucl. Phys.}
{\bf B725} (2005) 275--305},
\href{http://arxiv.org/abs/hep-th/0412103}{{ arXiv:hep-th/0412103}}.
%%CITATION = HEP-TH/0412103;%%.
\bibitem{Bourjaily:2020hjv}
J.~L. Bourjaily, N.~Kalyanapuram, C.~Langer, K.~Patatoukos, and M.~Spradlin,
``{An Elliptic Yangian-Invariant, `Leading Singularity'},''
\href{http://dx.doi.org/10.1103/PhysRevLett.126.201601}{{\em Phys. Rev.
Lett.} {\bf 126} (2021) no. 20, 201601},
\href{http://arxiv.org/abs/2012.14438}{{ arXiv:2012.14438 [hep-th]}}.
\bibitem{Bourjaily:2021vyj}
J.~L. Bourjaily, N.~Kalyanapuram, C.~Langer, and K.~Patatoukos, ``{Prescriptive
Unitarity with Elliptic Leading Singularities},''
\href{http://arxiv.org/abs/2102.02210}{{ arXiv:2102.02210 [hep-th]}}.
\bibitem{Bourjaily:2019iqr}
J.~L. Bourjaily, E.~Herrmann, C.~Langer, A.~J. McLeod, and J.~Trnka,
``{Prescriptive Unitarity for Non-Planar Six-Particle Amplitudes at Two
Loops},'' \href{http://dx.doi.org/10.1007/JHEP12(2019)073}{{\em JHEP} {\bf
12} (2019) 073}, \href{http://arxiv.org/abs/1909.09131}{{ arXiv:1909.09131
[hep-th]}}.
\bibitem{Bourjaily:2019gqu}
J.~L. Bourjaily, E.~Herrmann, C.~Langer, A.~J. McLeod, and J.~Trnka,
``{All-Multiplicity Nonplanar Amplitude Integrands in Maximally
Supersymmetric Yang-Mills Theory at Two Loops},''
\href{http://dx.doi.org/10.1103/PhysRevLett.124.111603}{{\em Phys. Rev.
Lett.} {\bf 124} (2020) no. 11, 111603},
\href{http://arxiv.org/abs/1911.09106}{{ arXiv:1911.09106 [hep-th]}}.
\bibitem{DelDuca:1999rs}
V.~Del~Duca, L.~J. Dixon, and F.~Maltoni, ``{New Color Decompositions for Gauge
Amplitudes at Tree and Loop Level},''
\href{http://dx.doi.org/10.1016/S0550-3213(99)00809-3}{{\em Nucl. Phys.} {\bf
B571} (2000) 51--70},
\href{http://arxiv.org/abs/hep-ph/9910563}{{ arXiv:hep-ph/9910563 [hep-ph]}}.
%%CITATION = HEP-PH/9910563;%%.
\bibitem{Ochirov:2016ewn}
A.~Ochirov and B.~Page, ``{Full Colour for Loop Amplitudes in Yang-Mills
Theory},'' \href{http://dx.doi.org/10.1007/JHEP02(2017)100}{{\em JHEP} {\bf
02} (2017) 100}, \href{http://arxiv.org/abs/1612.04366}{{ arXiv:1612.04366
[hep-ph]}}.
\bibitem{Bourjaily:2016mnp}
J.~L. Bourjaily, S.~Franco, D.~Galloni, and C.~Wen, ``{Stratifying On-Shell
Cluster Varieties: the Geometry of Non-Planar On-Shell Diagrams},''
\href{http://dx.doi.org/10.1007/JHEP10(2016)003}{{\em JHEP} {\bf 10} (2016)
003},
\href{http://arxiv.org/abs/1607.01781}{{ arXiv:1607.01781 [hep-th]}}.
%%CITATION = ARXIV:1607.01781;%%.
\bibitem{Drummond:2010cz}
J.~M. Drummond, J.~M. Henn, and J.~Trnka, ``{New Differential Equations for
On-Shell Loop Integrals},''
\href{http://dx.doi.org/10.1007/JHEP04(2011)083}{{\em JHEP} {\bf 1104} (2011)
083},
\href{http://arxiv.org/abs/1010.3679}{{ arXiv:1010.3679 [hep-th]}}.
%%CITATION = ARXIV:1010.3679;%%.
\bibitem{Henn:2013pwa}
J.~M. Henn, ``{Multiloop Integrals in Dimensional Regularization Made
Simple},'' \href{http://dx.doi.org/10.1103/PhysRevLett.110.251601}{{\em Phys.
Rev. Lett.} {\bf 110} (2013) no. 25, 251601},
\href{http://arxiv.org/abs/1304.1806}{{ arXiv:1304.1806 [hep-th]}}.
%%CITATION = ARXIV:1304.1806;%%.
\bibitem{Broedel:2018qkq}
J.~Broedel, C.~Duhr, F.~Dulat, B.~Penante, and L.~Tancredi, ``{Elliptic Feynman
Integrals and Pure Functions},''
\href{http://dx.doi.org/10.1007/JHEP01(2019)023}{{\em JHEP} {\bf 01} (2019)
023}, \href{http://arxiv.org/abs/1809.10698}{{ arXiv:1809.10698}}.
\bibitem{Herrmann:2019upk}
E.~Herrmann and J.~Parra-Martinez, ``{Logarithmic Forms and Differential
Equations for Feynman Integrals},''
\href{http://dx.doi.org/10.1007/JHEP02(2020)099}{{\em JHEP} {\bf 02} (2020)
099}, \href{http://arxiv.org/abs/1909.04777}{{ arXiv:1909.04777}}.
\bibitem{Kotikov:1990kg}
A.~V. Kotikov, ``{Differential Equations Method: New Technique for Massive
Feynman Diagrams Calculation},''
\href{http://dx.doi.org/10.1016/0370-2693(91)90413-K}{{\em Phys. Lett.} {\bf
B254} (1991) 158--164}.
%%CITATION = PHLTA,B254,158;%%.
\bibitem{Kotikov:2000vn}
A.~V. Kotikov, ``{The Differential Equation Method: Evaluation of Complicated
Feynman Integrals},''
\newblock 2000.
\newblock
\href{http://arxiv.org/abs/hep-ph/0011316}{{ arXiv:hep-ph/0011316 [hep-ph]}}.
\newblock
%%CITATION = HEP-PH/0011316;%%.
\bibitem{Remiddi:1997ny}
E.~Remiddi, ``{Differential Equations for Feynman Graph Amplitudes},'' {\em
Nuovo Cim.} {\bf A110} (1997) 1435--1452,
\href{http://arxiv.org/abs/hep-th/9711188}{{ arXiv:hep-th/9711188}}.
%%CITATION = HEP-TH/9711188;%%.
\bibitem{Bourjaily:2018aeq}
J.~L. Bourjaily, A.~J. McLeod, M.~von Hippel, and M.~Wilhelm, ``{Rationalizing
Loop Integration},'' \href{http://dx.doi.org/10.1007/JHEP08(2018)184}{{\em
JHEP} {\bf 08} (2018) 184}, \href{http://arxiv.org/abs/1805.10281}{{
arXiv:1805.10281 [hep-th]}}.
\bibitem{Bourjaily:2021ewt}
J.~L. Bourjaily, C.~Langer, and K.~Patatoukos, ``{Locally-Finite Quantities in
sYM},'' \href{http://dx.doi.org/10.1007/JHEP04(2021)298}{{\em JHEP} {\bf 04}
(2021) 298}, \href{http://arxiv.org/abs/2102.02821}{{ arXiv:2102.02821
[hep-th]}}.
\bibitem{Becher:2009cu}
T.~Becher and M.~Neubert, ``{Infrared Singularities of Scattering Amplitudes in
Perturbative QCD},''
\href{http://dx.doi.org/10.1103/PhysRevLett.102.162001}{{\em Phys. Rev.
Lett.} {\bf 102} (2009) 162001}, \href{http://arxiv.org/abs/0901.0722}{{
arXiv:0901.0722 [hep-ph]}}. [Erratum: Phys.Rev.Lett. 111, 199905 (2013)].
\bibitem{Catani:1998bh}
S.~Catani, ``{The Singular Behavior of QCD Amplitudes at Two Loop Order},''
\href{http://dx.doi.org/10.1016/S0370-2693(98)00332-3}{{\em Phys. Lett.} {\bf
B427} (1998) 161--171},
\href{http://arxiv.org/abs/hep-ph/9802439}{{ arXiv:hep-ph/9802439 [hep-ph]}}.
%%CITATION = HEP-PH/9802439;%%.
\bibitem{Henn:2010bk}
J.~M. Henn, S.~G. Naculich, H.~J. Schnitzer, and M.~Spradlin,
``{Higgs-Regularized Three-Loop Four-Gluon Amplitude in $\mathcal{N}\!=\!4$
SYM: Exponentiation and Regge Limits},''
\href{http://dx.doi.org/10.1007/JHEP04(2010)038}{{\em JHEP} {\bf 04} (2010)
038},
\href{http://arxiv.org/abs/1001.1358}{{ arXiv:1001.1358 [hep-th]}}.
%%CITATION = 1001.1358;%%.
\bibitem{Henn:2010ir}
J.~M. Henn, S.~G. Naculich, H.~J. Schnitzer, and M.~Spradlin, ``{More Loops and
Legs in Higgs-Regulated $\mathcal{N}\!=\!4$ SYM Amplitudes},''
\href{http://dx.doi.org/10.1007/JHEP08(2010)002}{{\em JHEP} {\bf 08} (2010)
002},
\href{http://arxiv.org/abs/1004.5381}{{ arXiv:1004.5381 [hep-th]}}.
%%CITATION = 1004.5381;%%.
\bibitem{Chicherin:2018yne}
D.~Chicherin, T.~Gehrmann, J.~M. Henn, P.~Wasser, Y.~Zhang, and S.~Zoia,
``{Analytic Result for a Two-Loop Five-Particle Amplitude},''
\href{http://dx.doi.org/10.1103/PhysRevLett.122.121602}{{\em Phys. Rev.
Lett.} {\bf 122} (2019) no. 12, 121602},
\href{http://arxiv.org/abs/1812.11057}{{ arXiv:1812.11057 [hep-th]}}.
\bibitem{Abreu:2018aqd}
S.~Abreu, L.~J. Dixon, E.~Herrmann, B.~Page, and M.~Zeng, ``{The Two-Loop
Five-Point Amplitude in $\mathcal{N}\!=\!4$ super-Yang-Mills Theory},''
\href{http://dx.doi.org/10.1103/PhysRevLett.122.121603}{{\em Phys. Rev.
Lett.} {\bf 122} (2019) no. 12, 121603},
\href{http://arxiv.org/abs/1812.08941}{{ arXiv:1812.08941 [hep-th]}}.
\bibitem{Abreu:2019rpt}
S.~Abreu, L.~J. Dixon, E.~Herrmann, B.~Page, and M.~Zeng, ``{The Two-Loop
Five-Point Amplitude in $\mathcal{N}\!=\!8$ Supergravity},''
\href{http://dx.doi.org/10.1007/JHEP03(2019)123}{{\em JHEP} {\bf 03} (2019)
123}, \href{http://arxiv.org/abs/1901.08563}{{ arXiv:1901.08563 [hep-th]}}.
\bibitem{Chicherin:2019xeg}
D.~Chicherin, T.~Gehrmann, J.~M. Henn, P.~Wasser, Y.~Zhang, and S.~Zoia, ``{The
Two-Loop Five-Particle Amplitude in $ \mathcal{N}\!=\!8$ Supergravity},''
\href{http://dx.doi.org/10.1007/JHEP03(2019)115}{{\em JHEP} {\bf 03} (2019)
115}, \href{http://arxiv.org/abs/1901.05932}{{ arXiv:1901.05932 [hep-th]}}.
\end{thebibliography}\endgroup
\end{document}
\definecolor{mhvblue2}{rgb}{0.3,0.3,0.575}
\definecolor{mhvblue}{rgb}{0.6,0.6,0.7765}
\definecolor{nmhvred}{rgb}{0.6765,0.15,0.3}
\definecolor{ampgrey}{rgb}{0.9,0.9,0.9}
\definecolor{unord}{rgb}{0,0,0}
\definecolor{ord}{rgb}{0,0,0.575}
\definecolor{anchorLeg}{rgb}{0.575,0.0,0.225}
\definecolor{labelcolor}{rgb}{0,0,0}
\newcounter{legSteps}
\newcounter{offset}
\def\figScale{0.9}
\def\legSpread{4}
\def\extLegLen{0.9*0.32*\figScale}
\def\edgeLen{1*\figScale}
\def\fScale{\footnotesize}
\pgfmathsetmacro{\pLen}{\edgeLen/(2*sin(72/2))}
\def\legLen{\edgeLen*0.45}
\def\dotDist{\legLen*0.75}
\def\labelDist{\legLen*1.5}
\def\lineThickness{(1pt)}
\def\dotSize{(\figScale*12pt)}
\def\ampSize{(1*\figScale*12pt)}
\def\eph{0.4}
\def\pageW{15.175/\figScale}
\tikzset{fullamp/.style={coordinate,minimum size=0.7*\ampSize,ball color=black!20,circle,text=white,inner sep=0}}
\tikzset{fullmhv/.style={coordinate,minimum size=0.8*\ampSize,ball color=mhvblue,circle,text=white,inner sep=0}}
\tikzset{fullmhvBig/.style={coordinate,minimum size=1*\ampSize,ball color=mhvblue,circle,text=white,inner sep=0}}
\tikzset{fullnmhv/.style={coordinate,minimum size=0.8*\ampSize,ball color=nmhvred,circle,text=white,inner sep=0}}
\tikzset{fullmhvBar/.style={coordinate,minimum size=0.8*\ampSize,ball color=white,circle,text=white,inner sep=0}}
\tikzset{ordAmp/.style={fill=ampgrey,circle,draw=black,line width=\lineThickness,minimum size=0.6*\ampSize,text=white,inner sep=0}}
\tikzset{mhv/.style={fill=mhvblue,circle,draw=black,line width=\lineThickness,minimum size=0.7*\ampSize,text=white,inner sep=0}}
\tikzset{nmhv/.style={fill=nmhvred,circle,draw=black,line width=\lineThickness,minimum size=0.7*\ampSize,text=white,inner sep=0}}
\tikzset{mhvBar/.style={fill=white,circle,draw=black,line width=\lineThickness,minimum size=0.7*\ampSize,text=white,inner sep=0}}
\tikzset{rEdge/.style={anchorLeg,line width=\lineThickness,line cap=round}}
\tikzset{fgraphEdge/.style={anchorLeg,line width=0.8*\lineThickness,line cap=round}}
\tikzset{fgraphExt/.style={ord,line width=\lineThickness,line cap=round}}
\tikzset{fgraphOpt/.style={ord,dotted,line width=\lineThickness,line cap=round}}
\tikzset{fdot/.style={fill=anchorLeg,circle,minimum size=0.35*\ampSize,inner sep=0}}
\tikzset{bdot/.style={fill=black,circle,minimum size=0.35*\ampSize,inner sep=0}}
\tikzset{ephdot/.style={fill=black,circle,minimum size=0.125*\ampSize,inner sep=0}}
\tikzset{ext/.style={black,line width=\lineThickness,line cap=round}}
\tikzset{under/.style={white,line width=4*\lineThickness,line cap=round}}
\tikzset{optExt/.style={black,dotted,line width=\lineThickness,line cap=round,rounded corners=10pt}}
\tikzset{optExtSc/.style={black,line width=\lineThickness,line cap=round,rounded corners=10pt}}
\tikzset{dashed/.style={black!70,dotted,line width=\lineThickness,line cap=round,rounded corners=10pt}}
%\tikzset{ddot/.style={circle,black,draw,radius=\dotSize,fill=black,inner sep=0pt}}
\tikzset{ddot/.style={fill=black,circle,minimum size=0.35*\dotSize,inner sep=0}}
\tikzset{int/.style={black,line width=\lineThickness,line cap=round,rounded corners=1.5pt}}
\tikzset{intInfR/.style={nmhvred,line width=\lineThickness,line cap=round,rounded corners=1.5pt}}
\tikzset{blueDot/.style={fill=mhvblue,circle,draw=black,line width=\lineThickness,minimum size=0.5*\ampSize,text=white,inner sep=0}}
\tikzset{whiteDot/.style={fill=white,circle,draw=black,line width=\lineThickness,minimum size=0.5*\ampSize,text=white,inner sep=0}}
\tikzset{blackDot/.style={fill=black,circle,minimum size=0.5*\ampSize,inner sep=0}}
\tikzset{compositeDot/.style={fill=none,draw=black,line width=\lineThickness,circle,minimum size=0.75*\ampSize,inner sep=0}}
\tikzset{directedEdge/.style={draw=none,decoration={markings,mark connection node=connode,mark=at position 0.5 with {\node[transform shape, scale=0.205*\figScale,shape=dart,aspect=0.5,fill=black,draw] (connode) {};}},postaction={decorate}}}
\tikzset{directedEdgeBend/.style={rounded corners=10pt,draw=none,decoration={markings,mark connection node=connode,mark=at position 0.5 with {\node[transform shape, scale=0.205,shape=dart,aspect=0.5,fill=black,draw] (connode) {};}},postaction={decorate}}}
\newcommand{\legOpt}[3]{\draw[optExt] #1--($#1+(#2:\legLen*1.15)$);\node at ($#1+(#2:\labelDist*1.15)$)[]{{\footnotesize #3}};}
\newcommand{\optLegSpread}[4]{\legOpt{#1}{#2+#3}{}\legOpt{#1}{#2-#3}{}\foreach \step in {-#3,#3} {\node at ($#1+(#2+\step*.333:\dotDist*1.2)$) [ddot]{$$};};\node at ($#1+(#2:\labelDist*1.)$) []{{\footnotesize $#4$}};}
\newcommand{\leg}[3]{\draw[ext] #1--($#1+(#2:\legLen)$);\node at ($#1+(#2:\labelDist)$)[]{{\footnotesize #3}};}
\newcommand{\edgeA}{\text{{\footnotesize$a$}}}
\newcommand{\edgeB}{\text{{\footnotesize$b$}}}
\newcommand{\edgeC}{\text{{\footnotesize$c$}}}
\newcommand{\edgeD}{\text{{\footnotesize$d$}}}
\newcommand{\edgeE}{\text{{\footnotesize$e$}}}
\newcommand{\edgeF}{\text{{\footnotesize$f$}}}
\newcommand{\edgeG}{\text{{\footnotesize$g$}}}
\newcommand{\edgeH}{\text{{\footnotesize$h$}}}
\def\boundingDraw{red}
\def\boundingDraw{none}
%\newcommand{\hBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/8.5,-1.65)$) rectangle ($(\pageW/8.5,1.65)$);\draw[int,line width=0.1,red,draw=none] ($(-\pageW/8,-1.25)$) rectangle ($(\pageW/8,1.25)$);#1\end{tikzpicture}}
%\newcommand{\dpBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/8.5,-1.45)$) rectangle ($(\pageW/8.5,1.45)$);\draw[int,line width=0.1,red,draw=none] ($(-\pageW/8,-1.25)$) rectangle ($(\pageW/8,1.25)$);#1\end{tikzpicture}}
%\newcommand{\kBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/8,-1.5)$) rectangle ($(\pageW/8,1.5)$);\draw[int,line width=0.1,red,draw=none] ($(-\pageW/8,-1.25)$) rectangle ($(\pageW/8,1.25)$);#1\end{tikzpicture}}
%\newcommand{\pBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/10,-1.5)$) rectangle ($(\pageW/10,1.5)$);\draw[int,line width=0.1,red,draw=none] ($(-\pageW/8,-1.25)$) rectangle ($(\pageW/8,1.25)$);#1\end{tikzpicture}}
%\newcommand{\tBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/10,-1.5)$) rectangle ($(\pageW/10,1.5)$);\draw[int,line width=0.1,red,draw=green] ($(-\pageW/8,-1.25)$) rectangle ($(\pageW/8,1.25)$);#1\end{tikzpicture}}
%
%
\definecolor{legColour}{rgb}{0.35,0.35,0.35}
\definecolor{ndotColor}{rgb}{0.65,0.25,0.25}
\def\markStroke{0.65}
\newcommand{\tikzBox}[2][0.5]{\begin{tikzpicture}[scale=1,baseline=-3.05,rotate=0]\useasboundingbox ($\figScale*(-#1,-#1)$) rectangle ($\figScale*(#1,#1)$);#2\end{tikzpicture}}
\tikzset{ndot/.style={transform shape,scale=0.35*\figScale,aspect=0.65,draw=ndotColor,line width=\markStroke*\figScale,shape=circle,fill=none}}
\tikzset{markedEdgeR/.style={draw=none,decoration={markings,mark connection node=connode,mark=at position 0.5 with {\node[ndot] (connode) {};}},postaction={decorate}}}
\tikzset{ndotR/.style={transform shape,scale=0.35*\figScale,aspect=0.65,draw=ndotColor,line width=\markStroke*\figScale,shape=circle,fill=white}}
\newcommand{\legAlt}[2]{
\fill[legColour] #1--($#1+(#2+\legSpread*3:\extLegLen)$)--($#1+(#2-\legSpread*3:\extLegLen)$);
\node at #1 [ddot]{};
}
\newcommand{\legAltLabelled}[3]{
\fill[legColour] #1--($#1+(#2+\legSpread*3:\extLegLen*1.4)$)--($#1+(#2-\legSpread*3:\extLegLen*1.4)$);
\node at #1 [ddot]{};
\node at ($#1+(#2:\labelDist)$)[]{{\normalsize #3}};
}
\newcommand{\oneLoopGraphElement}[2][0]{\def\rotn{-360/#2}\def\edgeLen{0.75*\figScale}
\ifthenelse{#2=3}{\coordinate (v0) at (0,-\edgeLen/9)}{\coordinate (v0) at (0,0)};
\ifthenelse{#2=1}{\draw[int]($(v0)+(\edgeLen/2*0.3,0)$) arc (0:360:\edgeLen/2*0.3 and \edgeLen/1.125*0.3)coordinate[pos=0.25](e1);\legAlt{($(v0)-(0,\edgeLen/1.125*0.3)$)}{-90}}{\ifthenelse{#2=2}{
\draw[int]($(v0)+(\edgeLen/1.125*0.45,0)$) arc (0:360:\edgeLen/1.125*0.45 and \edgeLen/2*0.45)coordinate[pos=0.5](a1)coordinate[pos=0](a0)coordinate[pos=0.25](e1)coordinate[pos=0.75](e2);\legAlt{(a1)}{180};\legAlt{(a0)}{0};
}{
\foreach\a in {0,...,#2}{\coordinate (a\a) at ($(v0)+(\a*\rotn-90-\rotn/2:\edgeLen/2)$);};
\foreach\a[remember=\a as \la] in {0,...,#2}{\ifthenelse{\a=0}{}{\draw[int](a\la)--(a\a)coordinate (e\a) at ($(a\la)!0.5!(a\a)$);}};
\foreach\a in {1,...,#2}{\legAlt{(a\a)}{\a*\rotn-90-\rotn/2};};
}};
}
\newcommand{\oneLoopGraphElementLS}[2][0]{\def\extLegLen{1.1*0.32*\figScale}
\def\rotn{-360/#2}\def\edgeLen{0.75*\figScale}
\ifthenelse{#2=3}{\coordinate (v0) at (0,-\edgeLen/9)}{\coordinate (v0) at (0,0)};
\ifthenelse{#2=1}{\draw[int]($(v0)+(\edgeLen/2*0.3,0)$) arc (0:360:\edgeLen/2*0.3 and \edgeLen/1.125*0.3)coordinate[pos=0.25](e1);\legAlt{($(v0)-(0,\edgeLen/1.125*0.3)$)}{-90}}{\ifthenelse{#2=2}{
\draw[int]($(v0)+(\edgeLen/1.125*0.45,0)$) arc (0:360:\edgeLen/1.125*0.45 and \edgeLen/2*0.45)coordinate[pos=0.5](a1)coordinate[pos=0](a0)coordinate[pos=0.25](e1)coordinate[pos=0.75](e2);\legAlt{(a1)}{180};\legAlt{(a0)}{0};
}{
\foreach\a in {0,...,#2}{\coordinate (a\a) at ($(v0)+(\a*\rotn-90-\rotn/2:\edgeLen/2)$);};
\foreach\a[remember=\a as \la] in {0,...,#2}{\ifthenelse{\a=0}{}{\draw[int](a\la)--(a\a)coordinate (e\a) at ($(a\la)!0.5!(a\a)$);}};
\foreach\a in {1,...,#2}{\legAlt{(a\a)}{\a*\rotn-90-\rotn/2};};
}};\def\extLegLen{0.9*0.32*\figScale}
}
\newcommand{\intDots}[1]{
\foreach\n in {1,...,#1}{\node at (v\n) [bdot] {};};}%\node at (v2) [bdot] {};\node at (v3) [bdot] {};\node at (v4) [bdot] {};\node at (v5) [bdot] {};\node at (v6) [bdot] {};\node at (v7) [bdot] {};}
\newcommand{\lsVerts}[7]{
\ifthenelse{#1=1}{\node at (v1) [fullmhvBar] {};}{\ifthenelse{#1=2}{\node at (v1) [fullmhv] {};}{\ifthenelse{#1=3}{\node at (v1) [fullnmhv] {};}{\ifthenelse{#1=0}{\node at (v1) [bdot] {};}{}}}}
\ifthenelse{#2=1}{\node at (v2) [fullmhvBar] {};}{\ifthenelse{#2=2}{\node at (v2) [fullmhv] {};}{\ifthenelse{#2=3}{\node at (v2) [fullnmhv] {};}{\ifthenelse{#2=0}{\node at (v2) [bdot] {};}{}}}}
\ifthenelse{#3=1}{\node at (v3) [fullmhvBar] {};}{\ifthenelse{#3=2}{\node at (v3) [fullmhv] {};}{\ifthenelse{#3=3}{\node at (v3) [fullnmhv] {};}{\ifthenelse{#3=0}{\node at (v3) [bdot] {};}{}}}}
\ifthenelse{#4=1}{\node at (v4) [fullmhvBar] {};}{\ifthenelse{#4=2}{\node at (v4) [fullmhv] {};}{\ifthenelse{#4=3}{\node at (v4) [fullnmhv] {};}{\ifthenelse{#4=0}{\node at (v4) [bdot] {};}{}}}}
\ifthenelse{#5=1}{\node at (v5) [fullmhvBar] {};}{\ifthenelse{#5=2}{\node at (v5) [fullmhv] {};}{\ifthenelse{#5=3}{\node at (v5) [fullnmhv] {};}{\ifthenelse{#5=0}{\node at (v5) [bdot] {};}{}}}}
\ifthenelse{#6=1}{\node at (v6) [fullmhvBar] {};}{\ifthenelse{#6=2}{\node at (v6) [fullmhv] {};}{\ifthenelse{#6=3}{\node at (v6) [fullnmhv] {};}{\ifthenelse{#6=0}{\node at (v6) [bdot] {};}{}}}}
\ifthenelse{#7=1}{\node at (v7) [fullmhvBar] {};}{\ifthenelse{#7=2}{\node at (v7) [fullmhv] {};}{\ifthenelse{#7=3}{\node at (v7) [fullnmhv] {};}{\ifthenelse{#7=0}{\node at (v7) [bdot] {};}{}}}}}
\newcommand{\lsVertsOrd}[7]{
\ifthenelse{#1=1}{\node at (v1) [mhvBar] {};}{\ifthenelse{#1=2}{\node at (v1) [mhv] {};}{\ifthenelse{#1=3}{\node at (v1) [nmhv] {};}{\ifthenelse{#1=0}{\node at (v1) [bdot] {};}{}}}}
\ifthenelse{#2=1}{\node at (v2) [mhvBar] {};}{\ifthenelse{#2=2}{\node at (v2) [mhv] {};}{\ifthenelse{#2=3}{\node at (v2) [nmhv] {};}{\ifthenelse{#2=0}{\node at (v2) [bdot] {};}{}}}}
\ifthenelse{#3=1}{\node at (v3) [mhvBar] {};}{\ifthenelse{#3=2}{\node at (v3) [mhv] {};}{\ifthenelse{#3=3}{\node at (v3) [nmhv] {};}{\ifthenelse{#3=0}{\node at (v3) [bdot] {};}{}}}}
\ifthenelse{#4=1}{\node at (v4) [mhvBar] {};}{\ifthenelse{#4=2}{\node at (v4) [mhv] {};}{\ifthenelse{#4=3}{\node at (v4) [nmhv] {};}{\ifthenelse{#4=0}{\node at (v4) [bdot] {};}{}}}}
\ifthenelse{#5=1}{\node at (v5) [mhvBar] {};}{\ifthenelse{#5=2}{\node at (v5) [mhv] {};}{\ifthenelse{#5=3}{\node at (v5) [nmhv] {};}{\ifthenelse{#5=0}{\node at (v5) [bdot] {};}{}}}}
\ifthenelse{#6=1}{\node at (v6) [mhvBar] {};}{\ifthenelse{#6=2}{\node at (v6) [mhv] {};}{\ifthenelse{#6=3}{\node at (v6) [nmhv] {};}{\ifthenelse{#6=0}{\node at (v6) [bdot] {};}{}}}}
\ifthenelse{#7=1}{\node at (v7) [mhvBar] {};}{\ifthenelse{#7=2}{\node at (v7) [mhv] {};}{\ifthenelse{#7=3}{\node at (v7) [fullnmhv] {};}{\ifthenelse{#7=0}{\node at (v7) [bdot] {};}{}}}}}
%404
\newcommand{\kBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);
\coordinate(v4)at(0,0);\coordinate(v1)at($\figScale*(-0.65-0.1,-0.65)$);\coordinate(v2)at($\figScale*(-1.3-0.0,0)$);\coordinate(v3)at($\figScale*(-0.65-0.1,0.65)$);\coordinate(v5)at($\figScale*(0.65+0.1,0.65)$);\coordinate(v6)at($\figScale*(1.3+0.0,-0)$);\coordinate(v7)at($\figScale*(0.65+0.1,-0.65)$);
#1\end{tikzpicture}}
%413
\newcommand{\pBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\coordinate(v2)at($\figScale*(-1.23125,0)$);\coordinate(v1)at($(v2)+(-54:\figScale*0.919)$);\coordinate(v3)at($(v2)+(54:\figScale*0.919)$);\coordinate(v4)at($(v3)+(54-72:\figScale*0.919)$);\coordinate(v5)at($(v4)+(0:\figScale*0.919)$);\coordinate(v6)at($(v5)+(-90:\figScale*0.919)$);\coordinate(v7)at($(v4)+(-90:\figScale*0.919)$);
#1\end{tikzpicture}}
%422
\newcommand{\hBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\coordinate(v2)at($\figScale*(-1.25,0)$);\coordinate(v1)at($(v2)+(-54:\figScale*1.119)$);\coordinate(v3)at($(v2)+(54:\figScale*1.119)$);\coordinate(v4)at($\figScale*(0.6,0.65)$);\coordinate(v5)at($\figScale*(1.2,-0)$);\coordinate(v6)at($\figScale*(0.6,-0.65)$);\coordinate(v7)at($\figScale*(-0.0,0)$);
#1\end{tikzpicture}}
\newcommand{\colorF}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-1.4,-1.4)$) rectangle ($(1.4,1.4)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-1.4,-1.4)$) rectangle ($(1.4,1.4)$);\draw[fgraphEdge] (0,0) circle (0.7);\draw[fgraphEdge] (-90:0.7)--(90:0.7);\node at (-90:0.7) [fdot] {};\node at (90:0.7) [fdot] {};
#1\end{tikzpicture}}
%323
\newcommand{\dPent}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\coordinate(v7)at($\figScale*(0,0)$);\coordinate(v6)at($(v7)+(-90:\figScale*0.65)$);\coordinate(v3)at($(v7)+(90:\figScale*0.65)$);\coordinate(v2)at($(v3)+(180:\figScale*1.25)$);\coordinate(v4)at($(v3)+(0:\figScale*1.25)$);\coordinate(v1)at($(v6)+(180:\figScale*1.25)$);\coordinate(v5)at($(v6)+(0:\figScale*1.25)$);
#1\end{tikzpicture}}
%304
\newcommand{\kTbox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);
\coordinate(v3)at(-0.3,0);\coordinate(v1)at($\figScale*(-0.65-0.6,-0.65)$);\coordinate(v2)at($\figScale*(-0.65-0.6,0.65)$);\coordinate(v4)at($\figScale*(0.65-0.1,0.65)$);\coordinate(v5)at($\figScale*(1.3-0.1,-0)$);\coordinate(v6)at($\figScale*(0.65-0.1,-0.65)$);
#1\end{tikzpicture}}
%313
\newcommand{\dBox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.4)$) rectangle ($(\pageW/9,1.4)$);\coordinate(v7)at($\figScale*(0,0)$);\coordinate(v6)at($(v7)+(-90:\figScale*0.65)$);\coordinate(v3)at($(v7)+(90:\figScale*0.65)$);\coordinate(v2)at($(v3)+(180:\figScale*1.25)$);\coordinate(v4)at($(v3)+(0:\figScale*1.25)$);\coordinate(v1)at($(v6)+(180:\figScale*1.25)$);\coordinate(v5)at($(v6)+(0:\figScale*1.25)$);
#1\end{tikzpicture}}
%412
\newcommand{\pT}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\coordinate(v2)at($\figScale*(-1.25,0)$);\coordinate(v1)at($(v2)+(-54:\figScale*1.119)$);\coordinate(v3)at($(v2)+(54:\figScale*1.119)$);\coordinate(v4)at($\figScale*(0.3,0.65)$);\coordinate(v5)at($\figScale*(1.2,-0)$);\coordinate(v6)at($\figScale*(0.3,-0.65)$);
#1\end{tikzpicture}}
%322
\newcommand{\npPbox}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.5)$) rectangle ($(\pageW/9,1.5)$);\coordinate(v7)at($\figScale*(-1.85,0)$);\coordinate(v1)at($(v7)+(-54:\figScale*1.119)$);\coordinate(v2)at($(v7)+(54:\figScale*1.119)$);\coordinate(v3)at($\figScale*(0.35,0.65)$);\coordinate(v4)at($\figScale*(1.0,-0)$);\coordinate(v5)at($\figScale*(0.35,-0.65)$);\coordinate(v6)at($\figScale*(-0.2,0)$);
#1\end{tikzpicture}}
%303
\newcommand{\kT}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);
\coordinate(v3)at(-0.0,0);\coordinate(v1)at($\figScale*(-0.65-0.2,-0.65)$);\coordinate(v2)at($\figScale*(-0.65-0.2,0.65)$);\coordinate(v4)at($\figScale*(0.65+0.2,0.65)$);\coordinate(v5)at($\figScale*(0.65+0.2,-0.65)$);
#1\end{tikzpicture}}
%312
\newcommand{\bT}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);\coordinate(v7)at($\figScale*(0.2,0)$);\coordinate(v5)at($(v7)+(-90:\figScale*0.65)$);\coordinate(v3)at($(v7)+(90:\figScale*0.65)$);\coordinate(v2)at($(v3)+(180:\figScale*1.25)$);\coordinate(v4)at($(v7)+(0:\figScale*0.9)$);\coordinate(v1)at($(v5)+(180:\figScale*1.25)$);
#1\end{tikzpicture}}
%212
\newcommand{\dT}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$);\coordinate(v1)at($(180:\figScale*1.05)$);\coordinate(v2)at($(90:\figScale*0.65)$);\coordinate(v3)at($(0:\figScale*1.05)$);\coordinate(v4)at($(-90:\figScale*0.65)$);
#1\end{tikzpicture}}
%222
\newcommand{\tardi}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/9,-1.35)$) rectangle ($(\pageW/9,1.35)$);\coordinate(v1)at($(0,0.2)+(180:\figScale*1.15)$);\coordinate(v2)at($(0,0.2)+(90:\figScale*0.75)$);\coordinate(v3)at($(0,0.2)+(0:\figScale*1.15)$);\coordinate(v4)at($(0,0.2)+(-90:\figScale*0.75)$);\coordinate(v5)at (0,0.2);
#1\end{tikzpicture}}
\newcommand{\kBoxPlainEdges}{\draw[int](v4)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v7);\draw[int](v7)--(v4);}
\newcommand{\kBoxScalarEdges}{\kBoxPlainEdges
\draw[directedEdge](v4)--(v1);\node[inner sep=4.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeH};}
\newcommand{\kBoxArrows}{
\draw[directedEdge](v4)--(v1);\node[inner sep=4.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeH};}
\newcommand{\pBoxPlainEdges}{\draw[int](v7)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v7);\draw[int](v7)--(v4);}
\newcommand{\pBoxScalarEdges}{\pBoxPlainEdges
\draw[directedEdge](v7)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};
\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeH};}
\newcommand{\pBoxArrows}{
\draw[directedEdge](v7)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};
\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeH};}
\newcommand{\hBoxPlainEdges}{\draw[int](v6)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v7);\draw[int](v7)--(v4);}
\newcommand{\hBoxScalarEdges}{\hBoxPlainEdges
\draw[directedEdge](v6)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeH};}
\newcommand{\hBoxArrows}{
\draw[directedEdge](v6)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeH};}
\newcommand{\dPentPlainEdges}{\draw[int](v6)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v7);\draw[int](v7)--(v3);}
\newcommand{\dPentScalarEdges}{\dPentPlainEdges\draw[directedEdge](v6)--(v1);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=3pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=3pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v3);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeH};}
\newcommand{\dPentArrows}{\draw[directedEdge](v6)--(v1);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=3pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=3pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v3);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeH};}
\newcommand{\kTboxPlainEdges}{\draw[int](v3)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v3);}
\newcommand{\kTboxScalarEdges}{\kTboxPlainEdges
\draw[directedEdge](v3)--(v1);\node[inner sep=4.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.5pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=0.5pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v3);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeG};}
\newcommand{\kTboxArrows}{
\draw[directedEdge](v3)--(v1);\node[inner sep=4.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.5pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=0.5pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v3);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeG};}
\newcommand{\dBoxPlainEdges}{\draw[int](v6)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v3);}
\newcommand{\dBoxScalarEdges}{\dBoxPlainEdges\draw[directedEdge](v6)--(v1);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=3pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=3pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v3);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeG};}
\newcommand{\dBoxArrows}{\draw[directedEdge](v6)--(v1);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=3pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=3pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v3);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeG};}
\newcommand{\pTPlainEdges}{\draw[int](v6)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v4);}
\newcommand{\pTScalarEdges}{\pTPlainEdges
\draw[directedEdge](v6)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v4);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeG};}
\newcommand{\pTArrows}{
\draw[directedEdge](v6)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v4);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeG};}
\newcommand{\npPboxPlainEdges}{\draw[int](v5)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v6);\draw[int](v6)--(v3);}
\newcommand{\npPboxScalarEdges}{\npPboxPlainEdges
\draw[directedEdge](v5)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2.5pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeF\;};\draw[directedEdge](v6)--(v3);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeG\;};}
\newcommand{\npPboxArrows}{\npPboxPlainEdges
\draw[directedEdge](v5)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2.5pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeF\;};\draw[directedEdge](v6)--(v3);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeG\;};}
\newcommand{\kTScalarEdges}{\draw[int](v3)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v3);
\draw[directedEdge](v3)--(v1);\node[inner sep=2.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.5pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v3);\node[inner sep=0.5pt,anchor=north] at (connode) [] {\edgeF\;\,\,};}
\newcommand{\kTArrows}{
\draw[directedEdge](v3)--(v1);\node[inner sep=2.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.5pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v3);\node[inner sep=0.5pt,anchor=north] at (connode) [] {\edgeF\;\,\,};}
\newcommand{\bTScalarEdges}{\draw[int](v5)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v3);
\draw[directedEdge](v5)--(v1);\node[inner sep=1pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2.5pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v3);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeF};}
\newcommand{\bTArrows}{
\draw[directedEdge](v5)--(v1);\node[inner sep=1pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=2.5pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v3);\node[inner sep=1pt,anchor=east] at (connode) [] {\edgeF};}
\newcommand{\dTScalarEdges}{\draw[int](v4)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v2);
\draw[directedEdge](v4)--(v1);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1.5pt,anchor=south east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeE};}
\newcommand{\dTArrows}{
\draw[directedEdge](v4)--(v1);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1.5pt,anchor=south east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v2);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeE};}
\newcommand{\tardiScalarEdges}{\draw[int](v4)--(v1);\draw[int](v1)--(v2);\draw[int](v2)--(v3);\draw[int](v3)--(v4);\draw[int](v4)--(v5);\draw[int](v5)--(v2);
\draw[directedEdge](v4)--(v1);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1.5pt,anchor=south east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.2pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v2);\node[inner sep=1.2pt,anchor=west] at (connode) [] {\edgeF};}
\newcommand{\tardiArrows}{
\draw[directedEdge](v4)--(v1);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1.5pt,anchor=south east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1.2pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v2);\node[inner sep=1.2pt,anchor=west] at (connode) [] {\edgeF};}
%404
\newcommand{\kBoxLegs}[7]{
\setcounter{legSteps}{0}
\def\zeroAngle{-90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{15}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#7}
\ifthenelse{#7=0}{}{\ifthenelse{#7=1}{\stepcounter{legSteps}\leg{(v7)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#7}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#7*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v7)}{\angle}{\arabic{legSteps}}}}}
}
%304
\newcommand{\kTboxLegs}[6]{
\setcounter{legSteps}{0}
\def\zeroAngle{-135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{15}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-90}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
}
%303
\newcommand{\kTLegs}[5]{
\setcounter{legSteps}{0}
\def\zeroAngle{-135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{15}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
}
%413
\newcommand{\pBoxLegs}[7]{
\setcounter{legSteps}{0}
\def\zeroAngle{-108}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{108}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{81}\def\spread{20}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-81}\def\spread{20}\setcounter{offset}{-1}\addtocounter{offset}{#7}
\ifthenelse{#7=0}{}{\ifthenelse{#7=1}{\stepcounter{legSteps}\leg{(v7)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#7}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#7*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v7)}{\angle}{\arabic{legSteps}}}}}
}
%422
\newcommand{\hBoxLegs}[7]{
\setcounter{legSteps}{0}
\def\zeroAngle{-115}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{115}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#7}
\ifthenelse{#7=0}{}{\ifthenelse{#7=1}{\stepcounter{legSteps}\leg{(v7)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#7}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#7*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v7)}{\angle}{\arabic{legSteps}}}}}
}
%322
\newcommand{\npPboxLegs}[6]{
\setcounter{legSteps}{0}
\def\zeroAngle{-135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{135}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{-61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{180}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
}
%412
\newcommand{\pTLegs}[6]{
\setcounter{legSteps}{0}
\def\zeroAngle{-115}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{115}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-61.5}\def\spread{30}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
}
%323
\newcommand{\dPentLegs}[7]{
\setcounter{legSteps}{0}
\def\zeroAngle{-90-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90+45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-90}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{180}\def\spread{20}\setcounter{offset}{-1}\addtocounter{offset}{#7}
\ifthenelse{#7=0}{}{\ifthenelse{#7=1}{\stepcounter{legSteps}\leg{(v7)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#7}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#7*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v7)}{\angle}{\arabic{legSteps}}}}}
}
%313
\newcommand{\dBoxLegs}[6]{
\setcounter{legSteps}{0}
\def\zeroAngle{-90-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90+45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{90}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{\arabic{legSteps}}}}}
\def\zeroAngle{-90}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#6}
\ifthenelse{#6=0}{}{\ifthenelse{#6=1}{\stepcounter{legSteps}\leg{(v6)}{\zeroAngle}{\arabic{legSteps}};}{
\foreach\n in {1,...,#6}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#6*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v6)}{\angle}{\arabic{legSteps}}}}}
}
%312
\newcommand{\bTLegs}[5]{
\setcounter{legSteps}{0}
\def\zeroAngle{-90-45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{90+45}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{70}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{-70}\def\spread{25}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
}
%212
\newcommand{\dTLegs}[4]{
\setcounter{legSteps}{0}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{90}\def\spread{55}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{0}\def\spread{60}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{-90}\def\spread{55}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
}
%222
\newcommand{\tardiLegs}[5]{
\setcounter{legSteps}{0}
\def\zeroAngle{180}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#1}
\ifthenelse{#1=0}{}{\ifthenelse{#1=1}{\stepcounter{legSteps}\leg{(v1)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#1}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#1*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v1)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{90}\def\spread{55}\setcounter{offset}{-1}\addtocounter{offset}{#2}
\ifthenelse{#2=0}{}{\ifthenelse{#2=1}{\stepcounter{legSteps}\leg{(v2)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#2}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#2*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v2)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{0}\def\spread{45}\setcounter{offset}{-1}\addtocounter{offset}{#3}
\ifthenelse{#3=0}{}{\ifthenelse{#3=1}{\stepcounter{legSteps}\leg{(v3)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#3}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#3*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v3)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{-90}\def\spread{55}\setcounter{offset}{-1}\addtocounter{offset}{#4}
\ifthenelse{#4=0}{}{\ifthenelse{#4=1}{\stepcounter{legSteps}\leg{(v4)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#4}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#4*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v4)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}
\def\zeroAngle{180}\def\spread{35}\setcounter{offset}{-1}\addtocounter{offset}{#5}
\ifthenelse{#5=0}{}{\ifthenelse{#5=1}{\stepcounter{legSteps}\leg{(v5)}{\zeroAngle}{{\color{labelcolor}\arabic{legSteps}}};}{\ifthenelse{#5=2}{\stepcounter{legSteps}\leg{(v5)}{180}{{\color{labelcolor}\arabic{legSteps}}};\stepcounter{legSteps}\leg{(v5)}{0}{{\color{labelcolor}\arabic{legSteps}}};}{
\foreach\n in {1,...,#5}{\def\eph{\arabic{offset}}\def\angle{\zeroAngle-2*\n*\spread/\eph+#5*\spread/\eph+\spread/\eph}\stepcounter{legSteps}\leg{(v5)}{\angle}{{\color{labelcolor}\arabic{legSteps}}}}}}}
}
\renewcommand{\triangle}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/12,-1.)$) rectangle ($(\pageW/12,1.)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/12,-1.)$) rectangle ($(\pageW/12,1.)$);\coordinate(v1)at($(210:\figScale*0.5)$);\coordinate(v2)at($(90:\figScale*0.5)$);\coordinate(v3)at($(-30:\figScale*0.5)$);
#1\end{tikzpicture}}
\newcommand{\boxOL}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/12,-1.)$) rectangle ($(\pageW/12,1.)$);\draw[int,line width=0.1,red,draw=\boundingDraw] ($(-\pageW/12,-1.)$) rectangle ($(\pageW/12,1.)$);\coordinate(v1)at($(225:\figScale*0.6)$);\coordinate(v2)at($(135:\figScale*0.6)$);\coordinate(v3)at($(45:\figScale*0.6)$);\coordinate(v4)at($(-45:\figScale*0.6)$);
#1\end{tikzpicture}}
\newcommand{\contourVerts}[7]{
\ifthenelse{#1=1}{\node at (v1) [whiteDot] {};}{\ifthenelse{#1=2}{\node at (v1) [blueDot] {};}{\ifthenelse{#1=4}{\node at (v1) [blackDot] {};}{\ifthenelse{#1=3}{\node at (v1) [bdot] {};\node at (v1) [compositeDot] {};
}{\ifthenelse{#1=0}{\node at (v1) [bdot] {};}{}}}}}
\ifthenelse{#2=1}{\node at (v2) [whiteDot] {};}{\ifthenelse{#2=2}{\node at (v2) [blueDot] {};}{\ifthenelse{#2=4}{\node at (v2) [blackDot] {};}{\ifthenelse{#2=3}{\node at (v2) [bdot] {};\node at (v2) [compositeDot] {};
}{\ifthenelse{#2=0}{\node at (v2) [bdot] {};}{}}}}}
\ifthenelse{#3=1}{\node at (v3) [whiteDot] {};}{\ifthenelse{#3=2}{\node at (v3) [blueDot] {};}{\ifthenelse{#3=4}{\node at (v3) [blackDot] {};}{\ifthenelse{#3=3}{\node at (v3) [bdot] {};\node at (v3) [compositeDot] {};
}{\ifthenelse{#3=0}{\node at (v3) [bdot] {};}{}}}}}
\ifthenelse{#4=1}{\node at (v4) [whiteDot] {};}{\ifthenelse{#4=2}{\node at (v4) [blueDot] {};}{\ifthenelse{#4=4}{\node at (v4) [blackDot] {};}{\ifthenelse{#4=3}{\node at (v4) [bdot] {};\node at (v4) [compositeDot] {};
}{\ifthenelse{#4=0}{\node at (v4) [bdot] {};}{}}}}}
\ifthenelse{#5=1}{\node at (v5) [whiteDot] {};}{\ifthenelse{#5=2}{\node at (v5) [blueDot] {};}{\ifthenelse{#5=4}{\node at (v5) [blackDot] {};}{\ifthenelse{#5=3}{\node at (v5) [bdot] {};\node at (v5) [compositeDot] {};
}{\ifthenelse{#5=0}{\node at (v5) [bdot] {};}{}}}}}
\ifthenelse{#6=1}{\node at (v6) [whiteDot] {};}{\ifthenelse{#6=2}{\node at (v6) [blueDot] {};}{\ifthenelse{#6=4}{\node at (v6) [blackDot] {};}{\ifthenelse{#6=3}{\node at (v6) [bdot] {};\node at (v6) [compositeDot] {};
}{\ifthenelse{#6=0}{\node at (v6) [bdot] {};}{}}}}}
\ifthenelse{#7=1}{\node at (v7) [whiteDot] {};}{\ifthenelse{#7=2}{\node at (v7) [blueDot] {};}{\ifthenelse{#7=4}{\node at (v7) [blackDot] {};}{\ifthenelse{#7=3}{\node at (v7) [bdot] {};\node at (v7) [compositeDot] {};
}{\ifthenelse{#7=0}{\node at (v7) [bdot] {};}{}}}}}
}
% 404
\newcommand{\kBoxCoords}{\coordinate(v4)at(0,0);\coordinate(v1)at($\figScale*(-0.65,-0.65)$);\coordinate(v2)at($\figScale*(-1.3,0)$);\coordinate(v3)at($\figScale*(-0.65,0.65)$);\coordinate(v5)at($\figScale*(0.65,0.65)$);\coordinate(v6)at($\figScale*(1.3,-0)$);\coordinate(v7)at($\figScale*(0.65,-0.65)$);}
\newcommand{\kBoxCoordsLong}{\coordinate(v4)at(0,0);\coordinate(v1)at($\figScale*(-0.65-0.2,-0.65)$);\coordinate(v2)at($\figScale*(-1.3-0.2,0)$);\coordinate(v3)at($\figScale*(-0.65-0.2,0.65)$);\coordinate(v5)at($\figScale*(0.65+0.2,0.65)$);\coordinate(v6)at($\figScale*(1.3+0.2,-0)$);\coordinate(v7)at($\figScale*(0.65+0.2,-0.65)$);}
\newcommand{\kBoxEdges}{\draw[int](v5)--(v1)--(v2)--(v3)--(v7)--(v6)--(v5);}
\newcommand{\kBoxEdgesDirBare}{\kBoxEdges\draw[directedEdge](v4)--(v1);\draw[directedEdge](v1)--(v2);\draw[directedEdge](v2)--(v3);\draw[directedEdge](v3)--(v4);\draw[directedEdge](v4)--(v5);\draw[directedEdge](v5)--(v6);\draw[directedEdge](v6)--(v7);\draw[directedEdge](v7)--(v4);}
\newcommand{\kBoxEdgesDir}{\kBoxEdges\draw[directedEdge](v4)--(v1);\node[inner sep=4.5pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2.5pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeH};}
% 413
\newcommand{\pBoxCoords}{\coordinate(v2)at($\figScale*(-1.33125,0)$);\coordinate(v1)at($(v2)+(-54:\figScale*0.919)$);\coordinate(v3)at($(v2)+(54:\figScale*0.919)$);\coordinate(v4)at($(v3)+(54-72:\figScale*0.919)$);\coordinate(v5)at($(v4)+(0:\figScale*0.919)$);\coordinate(v6)at($(v5)+(-90:\figScale*0.919)$);\coordinate(v7)at($(v4)+(-90:\figScale*0.919)$);}
\newcommand{\pBoxEdges}{\draw[int](v7)--(v1)--(v2)--(v3)--(v4)--(v5)--(v6)--(v7)--(v4);}
\newcommand{\pBoxEdgesDirBare}{\pBoxEdges\draw[directedEdge](v7)--(v1);\draw[directedEdge](v1)--(v2);\draw[directedEdge](v2)--(v3);\draw[directedEdge](v3)--(v4);\draw[directedEdge](v4)--(v5);\draw[directedEdge](v5)--(v6);\draw[directedEdge](v6)--(v7);\draw[directedEdge](v7)--(v4);}
\newcommand{\pBoxEdgesDir}{\pBoxEdges\draw[directedEdge](v7)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};
\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=2pt,anchor=south] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=north] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=2pt,anchor=east] at (connode) [] {\edgeH};}
% 422
\newcommand{\hBoxCoords}{\coordinate(v2)at($\figScale*(-1.3,0)$);\coordinate(v1)at($(v2)+(-54:\figScale*1.119)$);\coordinate(v3)at($(v2)+(54:\figScale*1.119)$);\coordinate(v4)at($\figScale*(0.65,0.65)$);\coordinate(v5)at($\figScale*(1.3,-0)$);\coordinate(v6)at($\figScale*(0.65,-0.65)$);\coordinate(v7)at($\figScale*(0,0)$);}
\newcommand{\hBoxEdges}{\draw[int](v6)--(v1)--(v2)--(v3)--(v4)--(v5)--(v6)--(v7)--(v4);}
\newcommand{\hBoxEdgesDirBare}{\hBoxEdges\draw[directedEdge](v6)--(v1);\draw[directedEdge](v1)--(v2);\draw[directedEdge](v2)--(v3);\draw[directedEdge](v3)--(v4);\draw[directedEdge](v4)--(v5);\draw[directedEdge](v5)--(v6);\draw[directedEdge](v6)--(v7);\draw[directedEdge](v7)--(v4);}
\newcommand{\hBoxEdgesDir}{\hBoxEdges
\draw[directedEdge](v6)--(v1);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=1pt,anchor=south west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=1pt,anchor=north west] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=1pt,anchor=north east] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v4);\node[inner sep=1pt,anchor=south east] at (connode) [] {\edgeH};}
% 323
\newcommand{\dPentCoords}{\coordinate(v7)at($\figScale*(0,0)$);\coordinate(v6)at($(v7)+(-90:\figScale*0.65)$);\coordinate(v3)at($(v7)+(90:\figScale*0.65)$);\coordinate(v2)at($(v3)+(180:\figScale*1.25)$);\coordinate(v4)at($(v3)+(0:\figScale*1.25)$);\coordinate(v1)at($(v6)+(180:\figScale*1.25)$);\coordinate(v5)at($(v6)+(0:\figScale*1.25)$);}
\newcommand{\dPentEdges}{\draw[int](v6)--(v1)--(v2)--(v3)--(v4)--(v5)--(v6)--(v7)--(v3);}
\newcommand{\dPentEdgesDirBare}{\dPentEdges\draw[directedEdge](v6)--(v1);\draw[directedEdge](v1)--(v2);\draw[directedEdge](v2)--(v3);\draw[directedEdge](v3)--(v4);\draw[directedEdge](v4)--(v5);\draw[directedEdge](v5)--(v6);\draw[directedEdge](v6)--(v7);\draw[directedEdge](v7)--(v3);}
\newcommand{\dPentEdgesDir}{\dPentEdges\draw[directedEdge](v6)--(v1);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeA};\draw[directedEdge](v1)--(v2);\node[inner sep=3pt,anchor=east] at (connode) [] {\edgeB};\draw[directedEdge](v2)--(v3);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeC};\draw[directedEdge](v3)--(v4);\node[inner sep=3pt,anchor=south] at (connode) [] {\edgeD};\draw[directedEdge](v4)--(v5);\node[inner sep=3pt,anchor=west] at (connode) [] {\edgeE};\draw[directedEdge](v5)--(v6);\node[inner sep=3pt,anchor=north] at (connode) [] {\edgeF};\draw[directedEdge](v6)--(v7);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeG};\draw[directedEdge](v7)--(v3);\node[inner sep=2pt,anchor=west] at (connode) [] {\edgeH};}
\newcommand{\dBoxInfA}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v6)--(v1);
\node at (v1) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v6) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[nmhvred,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v6)--(v1)--(v2)--(v3)--(v6);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v6)--(v1)--(v2)--(v3)--(v6);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v6) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v1)--(v2)--(v3)--(v6)--(v1);
\node at ($(v1)!0.55!(v6)+(90:0.2)$) [] {\tiny{${\color{nmhvred}\!\!\!\infty}$}};\end{scope}}
\newcommand{\npPboxInfA}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v6)--(v5)--(v1);\node at (v1) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v6) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[nmhvred,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v1)--(v2)--(v3)--(v6)--(v5)--(v1);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v1)--(v2)--(v3)--(v6)--(v5)--(v1);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v6) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v6)--(v3);
\node at ($(v1)!0.25!(v5)+(90:0.24)$) [] {\tiny{${\color{nmhvred}\;\;\;\;\;\infty}$}};\end{scope}}
\newcommand{\bTInfA}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v5)--(v1);
\node at (v1) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[nmhvred,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v5);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v5);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v1)--(v2)--(v3)--(v5)--(v1);
\node at ($(v1)!0.55!(v5)+(90:0.2)$) [] {\tiny{${\color{nmhvred}\!\!\!\infty}$}};\end{scope}}
\newcommand{\tardiInfA}{\begin{scope}\path[clip](v1)--(v2)--(v5)--(v4)--(v1);
\node at (v1) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[nmhvred,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v4)--(v1)--(v2)--(v5);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v4)--(v1)--(v2)--(v5);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v1)--(v2)--(v3)--(v5)--(v1);
\node at ($(v1)!0.65!(v4)+(40:0.26)$) [] {\tiny{${\color{nmhvred}\!\!\!\infty}$}};\end{scope}}
\newcommand{\dTInfA}{\begin{scope}\path[clip](v1)--(v2)--(v4)--(v1);
\node at (v1) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=nmhvred,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[nmhvred,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v4)--(v1)--(v2)--(v4);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v4)--(v1)--(v2)--(v4);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v1)--(v2)--(v3)--(v5)--(v1);
\node at ($(v4)!0.5!(v2)+(180:0.2)$) [] {\tiny{${\color{nmhvred}\infty\,}$}};\end{scope}}
\newcommand{\dBoxInfB}{\begin{scope}\path[clip] (v3)--(v4)--(v5)--(v6)--(v3);\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v6) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v6)--(v3);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v6)--(v3);
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v6) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v6)--(v3);
\node at ($(v5)!0.45!(v6)+(90:0.2)$) [] {\tiny{${\color{blue}\!\!\!\infty}$}};\end{scope}}
\newcommand{\npPboxInfB}{\begin{scope}\path[clip](v3)--(v4)--(v5)--(v6)--(v3);
\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v6) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v6)--(v3);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v6)--(v3);
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v6) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v6)--(v3);
\node at ($(v5)!0.0!(v6)+(90:0.33)$) [] {\tiny{${\color{blue}\,\infty}$}};
\end{scope}}
\newcommand{\bTInfB}{\begin{scope}\path[clip](v3)--(v4)--(v5)--(v3);
\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v3);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v3);
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v3);
\node at ($(v5)!0.5!(v3)+(0:0.2)$) [] {\tiny{${\color{blue}\,\,\,\infty}$}};\end{scope}}
\newcommand{\tardiInfB}{\begin{scope}\path[clip](v2)--(v3)--(v4)--(v5)--(v2);
\node at (v2) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v2)--(v3)--(v4)--(v5)--(v2);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v2)--(v3)--(v4)--(v5)--(v2);
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v3);
\node at ($(v3)!0.65!(v4)+(140:0.26)+(0:0.15)$) [] {\tiny{${\color{blue}\!\!\!\infty}$}};\end{scope}}
%\node at ($(v5)+(-65:0.31)$) [] {\tiny{${\color{blue}\,\,\,\,\infty}$}};
%\end{scope}}
\newcommand{\kTInfB}{\begin{scope}\path[clip](v3)--(v4)--(v5)--(v3);
\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v3);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v3)--(v4)--(v5)--(v3);
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v3);
\node at ($(v5)!0.5!(v4)+(180:0.2)$) [] {\tiny{${\color{blue}\infty\,\,\,}$}};\end{scope}}
\newcommand{\dTInfB}{\begin{scope}\path[clip](v2)--(v3)--(v4)--(v2);
\node at (v2) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=blue,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[blue,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v2)--(v3)--(v4)--(v2);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v2)--(v3)--(v4)--(v2);
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\path[draw=white,fill=white,even odd rule] ($(-\pageW/9,-1.2)$) rectangle ($(\pageW/9,1.2)$) (v3)--(v4)--(v5)--(v3);
\node at ($(v4)!0.5!(v2)+(0:0.2)$) [] {\tiny{${\color{blue}\,\infty}$}};\end{scope}}
%\newcommand{\bTInfC}{\node at (v1) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
%\node at (v2) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
%\node at (v3) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
%\node at (v4) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
%\node at (v5) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
%\draw[pinegreen,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
%\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
%\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
%\node at ($(v1)!0.55!(v5)+(-90:0.2)$) [] {\tiny{${\color{pinegreen}\!\!\!\infty}$}};
%\path[draw,fill=white](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
%}
\newcommand{\bTInfC}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v4)--(v5)--(v1);\node at (v1) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[pinegreen,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at ($(v1)!0.55!(v5)+(90:0.2)$) [] {\tiny{${\color{pinegreen}\!\!\!\infty}$}};
%\path[draw,fill=white](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\end{scope}
}
\newcommand{\npPboxInfC}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v4)--(v5)--(v1);\node at (v1) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v5) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[pinegreen,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v5) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at ($(v1)!0.55!(v5)+(90:0.18)$) [] {\tiny{${\color{pinegreen}\!\!\!\infty}$}};
%\path[draw,fill=white](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\end{scope}
}
\newcommand{\tardiInfC}{\begin{scope}\path[clip](v1)--(v2)--(v3)--(v4)--(v1);\node at (v1) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v2) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v3) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\node at (v4) [fill=pinegreen,circle,minimum size=0.95*\ampSize,inner sep=0] {};
\draw[pinegreen,line width=5*\lineThickness,line cap=round,rounded corners=1.5pt](v1)--(v2)--(v3)--(v4)--(v1);
\draw[white,line width=3*\lineThickness,line cap=round,rounded corners=1.5pt](v1)--(v2)--(v3)--(v4)--(v1);
\node at (v1) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v2) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v3) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at (v4) [fill=white,circle,minimum size=0.75*\ampSize,inner sep=0] {};
\node at ($(v3)!0.55!(v4)+(120:0.18)$) [] {\tiny{${\color{pinegreen}\!\!\!\infty}$}};
%\path[draw,fill=white](v5)--(v1)--(v2)--(v3)--(v4)--(v5);
\end{scope}
}
\newcommand{\bTInfAB}{\bTInfA\bTInfB}
\newcommand{\tardiInfAB}{\tardiInfA\tardiInfB}
\newcommand{\dTInfAB}{\dTInfA\dTInfB}
%\newcommand{\tBoxC}[1]{\begin{tikzpicture}[scale=\figScale,baseline=-3.05]\useasboundingbox ($(-\pageW/8,-1.5)$) rectangle ($(\pageW/8,1.5)$);\draw[int,line width=0.1,red,draw=green] ($(-\pageW/8,-1.5)$) rectangle ($(\pageW/8,1.5)$);#1\end{tikzpicture}}
%\newcommand{\kBoxVerts}{\node at (w1) [fullmhvBar] {};\node at (w2) [fullmhvBar] {};\node at (w3) [fullmhvBar] {};\node at (w4) [fullmhvBar] {};
%\node at (b0) [fullmhv] {};\node at (b1) [fullmhv] {};\node at (b2) [fullmhv] {};}
%\newcommand{\kBoxVertsInt}{\node at (w1) [bdot] {};\node at (w2) [bdot] {};\node at (w3) [bdot] {};\node at (w4) [bdot] {};
%\node at (b0) [bdot] {};\node at (b1) [bdot] {};\node at (b2) [bdot] {};}
%
%\newcommand{\legs}[5]{\setcounter{legSteps}{#3}\addtocounter{legSteps}{-1}
%\ifthenelse{#1=1}{
%\ifthenelse{#2=1}{\def\legAngle{-90}\def\legWidth{45}}{}
%\ifthenelse{#2=2}{\def\legAngle{180}\def\legWidth{45}}{}
%\ifthenelse{#2=3}{\def\legAngle{90}\def\legWidth{45}}{}
%\ifthenelse{#2=4}{\def\legAngle{90}\def\legWidth{25}}{}
%\ifthenelse{#2=5}{\def\legAngle{90}\def\legWidth{45}}{}
%\ifthenelse{#2=6}{\def\legAngle{00}\def\legWidth{45}}{}
%\ifthenelse{#2=7}{\def\legAngle{-90}\def\legWidth{45}}{}
%
%\foreach\a in {1,...,#4}{\addtocounter{legSteps}{1}
%\def\eph{\a+1}
%\leg{(v#2)+($(0.5*\a-0.5,0)$)}{\legAngle}{\arabic{legSteps}};};
%}
%}