Let '' denote the bitwise AND operation.
For example, .
We shall call a finite sequence of non-negative integers conjunctive if for all .
Define to be the number of conjunctive sequences of length in which all terms are .
You are given that , , 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.