The mathematical proof from which the benchmark was distilled https://zenodo.org/records/21502824