Contraction skeletons through three edges

A contraction graph has one vertex per insertion and one edge per cross-contraction. Multiple edges are allowed, but self-loops are excluded by the Wick-symbol convention. Decorations specify field slots, covariance labels, and derivatives; no slot may be used twice.