Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the Problem 49 reconstructions
verify/: Independent focused reviews of the six reconstruction pages of the Pollack--Pomerance--Treviño proof as they stood on 2026-09-28T05:03:27Z and one distinct grade of the reviews; no tier is assigned.
This folder holds the review records of the six reconstruction pages of the folder: an independent focused review of each page as it stood on 2026-09-28T05:03:27Z and one distinct grade. No executable evidence is required or held: the pages reconstruct a source proof whose steps are an -unit count, a sieve bound, a candidate-set construction and a counting argument, checked by reading; the one explicit computation, the preimage sets of the reversed totient pair on the Lemma 5.1 page, is recorded there as an author-recorded check and was recomputed by the reviewer and by the grader. The source PDF is held by its library source card Pollack, Pomerance and Treviño (2013). Rendered page images are disposable reading aids, not proof inputs. This evidence confers no tier and changes no status.