I have verified using android app logs that the block 249540 the difficulty adjustment code has a bug. The fork was at block 248000, but I have seen it before that a bug happens much later than when the code change is activated.
This is a problem in the app. It does not match what the desktop client is doing.