{
 "records": [
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 6
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 1
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 3
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 11
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 14
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 4
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 7
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 5
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 13
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 15
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 7
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 16
  },
  {
   "tag": "deploy_base_nt",
   "depth": 3,
   "K": 16,
   "greedy_full": false,
   "cov_full": 0,
   "n_unique": 3
  }
 ]
}