Vega, F.. P Versus NP. Zenodo, Sept. 2020, doi:10.5281/zenodo.4032664.