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