SKIP: Live page status is OPEN with 0 claimed proofs, but “Currently working on this problem” lists Dharun; stopped to avoid colliding with a current worker.