SKIP: authoritative live-page status is OPEN, but “Currently working on this problem” lists old-bielefelder (0 claimed proofs); stopped to avoid colliding with a current worker.