{
  "players": [
    {
      "crashed": true,
      "comment": "Player crashed: IO error: failed to fill whole buffer"
    },
    {
      "crashed": false,
      "comment": null
    },
    {
      "crashed": false,
      "comment": null
    },
    {
      "crashed": false,
      "comment": null
    }
  ],
  "results": [
    0,
    22395,
    26399,
    39845
  ],
  "seed": 3391413999279037768
}