Complement to the arxiv post. This contains a mathematica notebook for verifying some of the symbolic computations done in the paper.