1 problem

Let $n,l,r$ be as in the source, let ${\cal H}(l\Lambda_r,\mu)$ be the set of paths defined there, let $E(p)$ be their energy, and let $\operatorname{af}(\operatorname{wt}p)$ denot…