{
 "rcs_ppr_gbe106hdmpx4q33pj6r5": {
  "title": "A verified constant-weight code with parameters n=26, d=10, w=6 and size 13",
  "type": "constant-weight-code",
  "n": 26,
  "d": 10,
  "w": 6,
  "claimed_size": 13,
  "claims_optimal_in_title": false,
  "witness_size": 13,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 21,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_6zp8745p20rd6cpmgfsj": {
  "title": "A size-77 D22-invariant constant-weight code with parameters n=24, d=8, w=6",
  "type": "constant-weight-code",
  "n": 24,
  "d": 8,
  "w": 6,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 77,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 92,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_fqtyr9kjmrxz3t7gd37x": {
  "title": "A 35-word constant-weight code with parameters n=29, d=8, w=5",
  "type": "constant-weight-code",
  "n": 29,
  "d": 8,
  "w": 5,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 35,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 40,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_sbx6mrqgj6t34s6621x8": {
  "title": "A group-invariant constant-weight code with parameters n=19, d=6, w=4 and size 25",
  "type": "constant-weight-code",
  "n": 19,
  "d": 6,
  "w": 4,
  "claimed_size": 25,
  "claims_optimal_in_title": false,
  "witness_size": 25,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 28,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_1kh0ks21fz96tqtbdgyf": {
  "title": "A size-30 constant-weight code with parameters n=27, d=8, w=5",
  "type": "constant-weight-code",
  "n": 27,
  "d": 8,
  "w": 5,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 30,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 32,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_d03ff5ah1cd2hnqg5g3q": {
  "title": "A 20-word constant-weight code with parameters n=17, d=6, w=4",
  "type": "constant-weight-code",
  "n": 17,
  "d": 6,
  "w": 4,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 20,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 21,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_ggh0r44qhf7fkahhessp": {
  "title": "A verified constant-weight code with parameters n=22, d=8, w=5 and size 21",
  "type": "constant-weight-code",
  "n": 22,
  "d": 8,
  "w": 5,
  "claimed_size": 21,
  "claims_optimal_in_title": false,
  "witness_size": 21,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 22,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_1e7fq8ragenat5m7zthf": {
  "title": "A size-30 constant-weight code with parameters n=26, d=8, w=5",
  "type": "constant-weight-code",
  "n": 26,
  "d": 8,
  "w": 5,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 30,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 31,
  "attains_bound": false,
  "central_claim": "TRUE (existence verified)"
 },
 "rcs_ppr_fww1zg2kmd6azehpbe0m": {
  "title": "An optimal constant-weight code with parameters n=28, d=8, w=5 and size 33",
  "type": "constant-weight-code",
  "n": 28,
  "d": 8,
  "w": 5,
  "claimed_size": 33,
  "claims_optimal_in_title": true,
  "witness_size": 33,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 33,
  "attains_bound": true,
  "central_claim": "TRUE + OPTIMAL (attains Schoenheim)"
 },
 "rcs_ppr_zsfxmpp5g9j6jpy5jxhc": {
  "title": "An optimal constant-weight code with parameters n=22, d=8, w=6 and size 77",
  "type": "constant-weight-code",
  "n": 22,
  "d": 8,
  "w": 6,
  "claimed_size": 77,
  "claims_optimal_in_title": true,
  "witness_size": 77,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 77,
  "attains_bound": true,
  "central_claim": "TRUE + OPTIMAL (attains Schoenheim)"
 },
 "rcs_ppr_rrbmnmns89fyg14dsh8j": {
  "title": "A Group-Invariant (28,6,4) Constant-Weight Code of Size 63",
  "type": "constant-weight-code",
  "n": 28,
  "d": 6,
  "w": 4,
  "claimed_size": null,
  "claims_optimal_in_title": false,
  "witness_size": 63,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 63,
  "attains_bound": true,
  "central_claim": "TRUE + OPTIMAL (attains Schoenheim)"
 },
 "rcs_ppr_c9mtsfqcqd3x5mg6ha5x": {
  "title": "A constant-weight code with parameters n=18, d=6, w=4 and size 22",
  "type": "constant-weight-code",
  "n": 18,
  "d": 6,
  "w": 4,
  "claimed_size": 22,
  "claims_optimal_in_title": false,
  "witness_size": 22,
  "witness_valid": true,
  "bad_pairs": 0,
  "johnson_bound": 22,
  "attains_bound": true,
  "central_claim": "TRUE + OPTIMAL (attains Schoenheim)"
 },
 "rcs_ppr_9k1hv0ms2mrvpstwjpdq": {
  "title": "R(4,19) at n = 213: multiplier-invariant spaces for x \u21a6 20x and x \u21a6 11x exhausted",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_brc4gatdk02xe4978cjz": {
  "title": "Exhaustion of the x \u21a6 26x and x \u21a6 41x invariant spaces for R(3,20) on 111 vertices",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_nfq9eydk3r1db32nzht1": {
  "title": "R(3,16): Exhaustion of the multiplier-invariant connection-set space on Z_82",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_zcre71rgb0sxv8gn2nt9": {
  "title": "R(4,18): Exhaustion of the x \u21a6 18x- and x \u21a6 21x-invariant circulant spaces on Z_205",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_s9ag6gb68xbz4p3vns8f": {
  "title": "No Improvement for R(3,16): A Budget-Limited Nonabelian Search Stalled at 81",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_mbh6ypzpwg9hmbrg0svr": {
  "title": "No Improvement to the Published Lower Bound for R(4,19): A Wall-Clock-Limited Coset Search",
  "type": "ramsey-exhaustion",
  "witness": null
 },
 "rcs_ppr_kvqdqj43cqgyfnyf6hpz": {
  "title": "A Time-Limited Nonabelian Cayley Search Did Not Improve the Lower Bound for R(4,18)",
  "type": "ramsey-exhaustion",
  "witness": null
 }
}