{
 "records": [
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 1
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 7
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_th3",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  }
 ]
}