Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.