My AC code and yours give the same answer for all of my valid test cases, but we give different answers for invalid test cases. However, I’ve just used asserts to show that there are no test cases like this.
To answer your question, for test case
1000
1
I give
500
499
JULKA