Vega, F., 2019. P versus NP.. https://doi.org/10.5281/zenodo.3595541