  We provide a computer-assisted proof of the holomorphy of the quartic and the
octic meromorphic differentials arising in the main Theorem 4.11 of our paper
'The Classification of Branched Willmore spheres in the $3$-Sphere and the
$4$-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.
