P is in the set S, unless P^72-1 is evenly divisible by 20174525280.

Using the results of Prime Tests (1) and (2), or some other method, prove that S is finite.

Optional: List the members of S.