
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
The picture shows several circles connected by segments. Tanya chooses a natural number \( n \) and places different natural numbers in the circles so that the following property holds for all these numbers:

If numbers \( a \) and \( b \) are not connected by a segment, then the sum \( a^2 + b^2 \) must be coprime with \( n \). If they are connected, then the numbers \( a^2 + b^2 \) and \( n \) must have a common natural divisor greater than 1. What is the smallest \( n \) for which such an arrangement exists?

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