For every the prime-counting function is equal to the number of primes
not exceeding .
E.g. and .
We say that a sequence of integers is a sequence if
for every
has two or more elements
For there are three distinct sequences: , and .
Let be the number of elements of that are not prime.
Let be the number of sequences for which and .
Let be the product of all that are larger than .
You are given: and .
Find . Give your answer modulo .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.