{ "id": "2212.10807", "version": "v1", "published": "2022-12-21T06:56:24.000Z", "updated": "2022-12-21T06:56:24.000Z", "title": "Hölder estimate for a tug-of-war game with $1