{
 "records": [
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 2,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 5
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 2
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 2,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 1,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 1,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 1,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 4,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 5
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 1,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 1,
   "n_unique": 8
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 9
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 4,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 2,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 6
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 10
  },
  {
   "tag": "base_think",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 12
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "base_think",
   "depth": 4,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  }
 ]
}