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