[
  {
    "seq_len": 128,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 512,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 1024,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 4096,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 16384,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 65536,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 131072,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  },
  {
    "seq_len": 262144,
    "tfa_state_MiB": 2.5,
    "status": "proved_prior_run"
  }
]