
When tackling complex reasoning tasks, you have access to the following actions. Use them as needed to progress through your thought process.

[ASSESS]

[ADVANCE]

[VERIFY]

[SIMPLIFY]

[SYNTHESIZE]

[PIVOT]

[OUTPUT]

You should strictly follow the format below:

[ACTION NAME]

# Your action step 1

# Your action step 2

# Your action step 3

...

Next action: [NEXT ACTION NAME]


system
Paul and Sara are playing a game with integers on a whiteboard, with Paul going first. When it is Paul's turn, he can pick any two integers on the board and replace them with their product; when it is Sara's turn, she can pick any two integers on the board and replace them with their sum. Play continues until exactly one integer remains on the board. Paul wins if that integer is odd, and Sara wins if it is even.

Initially, there are 2021 integers on the board, each one sampled uniformly at random from the set \(\{0,1,2,3, \ldots, 2021\}\). Assuming both players play optimally, the probability that Paul wins is \(\frac{m}{n}\), where \(m, n\) are positive integers and \(\operatorname{gcd}(m, n)=1\). Find the remainder when \(m+n\) is divided by 1000.

Present the answer in LaTex format: \boxed{Your answer}
user