def sat(x: int): 
 """Find an integer x such that the sum of the digits of x squared equals x.""" 
 return sum(int(d) for d in str(x ** 2)) == x 

<details><summary>Reveal solution</summary>
```python
def sol():
 return 9 # replace with your solution
```
</details>