Library for P = NP or Universal Number Theory of O. A. Riveros