{
  "dyck_path_comparisons": 6,
  "elapsed_seconds": 0.8044530702754855,
  "entries": 37,
  "identities": "degree, constant, leading, nonnegativity, symmetry, hyperplane coefficient on all 37; Narayana on all six circuit entries",
  "independent_coefficients_checked": 37,
  "known_answer_controls": 7,
  "manifest": "agents/runs/20261028T114049Z-build-skills/manifest.json",
  "measure": {
    "block_kb": 2.994140625,
    "entries": 37,
    "longest": 85,
    "longest_at": "U(8,12)"
  },
  "mode": "local",
  "named_objects": {
    "Fano": {
      "characteristic": "t^3 - 7*t^2 + 14*t - 8",
      "flats": 16,
      "hyperplanes": 7,
      "rank": 3,
      "size": 7
    },
    "K5dual": {
      "characteristic": "t^6 - 10*t^5 + 45*t^4 - 115*t^3 + 175*t^2 - 147*t + 51",
      "flats": 314,
      "hyperplanes": 37,
      "rank": 6,
      "size": 10
    },
    "NonFano": {
      "characteristic": "t^3 - 7*t^2 + 15*t - 9",
      "flats": 18,
      "hyperplanes": 9,
      "rank": 3,
      "size": 7
    },
    "NonPappus": {
      "characteristic": "t^3 - 9*t^2 + 28*t - 20",
      "flats": 31,
      "hyperplanes": 20,
      "rank": 3,
      "size": 9
    },
    "Pappus": {
      "characteristic": "t^3 - 9*t^2 + 27*t - 19",
      "flats": 29,
      "hyperplanes": 18,
      "rank": 3,
      "size": 9
    },
    "R10": {
      "characteristic": "t^5 - 10*t^4 + 45*t^3 - 105*t^2 + 120*t - 51",
      "flats": 162,
      "hyperplanes": 30,
      "rank": 5,
      "size": 10
    },
    "TicTacToe": {
      "characteristic": "t^5 - 9*t^4 + 36*t^3 - 84*t^2 + 118*t - 62",
      "flats": 225,
      "hyperplanes": 94,
      "rank": 5,
      "size": 9
    },
    "Vamos": {
      "characteristic": "t^4 - 8*t^3 + 28*t^2 - 51*t + 30",
      "flats": 79,
      "hyperplanes": 41,
      "rank": 4,
      "size": 8
    }
  },
  "numberdb": "0.1.10",
  "sage": "10.9",
  "skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "table": "T580",
  "values": {
    "Fano": "t^3 + 7*t^2 + 7*t + 1",
    "K(4)": "t^3 + 7*t^2 + 7*t + 1",
    "K(5)": "t^4 + 15*t^3 + 35*t^2 + 15*t + 1",
    "K(6)": "t^5 + 31*t^4 + 155*t^3 + 155*t^2 + 31*t + 1",
    "K(7)": "t^6 + 63*t^5 + 651*t^4 + 1365*t^3 + 651*t^2 + 63*t + 1",
    "K(8)": "t^7 + 127*t^6 + 2667*t^5 + 10941*t^4 + 10941*t^3 + 2667*t^2 + 127*t + 1",
    "K5dual": "t^6 + 37*t^5 + 230*t^4 + 400*t^3 + 230*t^2 + 37*t + 1",
    "NonFano": "t^3 + 9*t^2 + 9*t + 1",
    "NonPappus": "t^3 + 20*t^2 + 20*t + 1",
    "Pappus": "t^3 + 18*t^2 + 18*t + 1",
    "R10": "t^5 + 30*t^4 + 120*t^3 + 120*t^2 + 30*t + 1",
    "TicTacToe": "t^5 + 94*t^4 + 428*t^3 + 428*t^2 + 94*t + 1",
    "U(3,4)": "t^3 + 6*t^2 + 6*t + 1",
    "U(3,5)": "t^3 + 10*t^2 + 10*t + 1",
    "U(3,6)": "t^3 + 15*t^2 + 15*t + 1",
    "U(3,7)": "t^3 + 21*t^2 + 21*t + 1",
    "U(4,5)": "t^4 + 10*t^3 + 20*t^2 + 10*t + 1",
    "U(4,6)": "t^4 + 20*t^3 + 45*t^2 + 20*t + 1",
    "U(4,7)": "t^4 + 35*t^3 + 84*t^2 + 35*t + 1",
    "U(4,8)": "t^4 + 56*t^3 + 140*t^2 + 56*t + 1",
    "U(5,6)": "t^5 + 15*t^4 + 50*t^3 + 50*t^2 + 15*t + 1",
    "U(5,7)": "t^5 + 35*t^4 + 140*t^3 + 140*t^2 + 35*t + 1",
    "U(5,8)": "t^5 + 70*t^4 + 308*t^3 + 308*t^2 + 70*t + 1",
    "U(5,9)": "t^5 + 126*t^4 + 588*t^3 + 588*t^2 + 126*t + 1",
    "U(6,10)": "t^6 + 252*t^5 + 1890*t^4 + 3480*t^3 + 1890*t^2 + 252*t + 1",
    "U(6,7)": "t^6 + 21*t^5 + 105*t^4 + 175*t^3 + 105*t^2 + 21*t + 1",
    "U(6,8)": "t^6 + 56*t^5 + 350*t^4 + 616*t^3 + 350*t^2 + 56*t + 1",
    "U(6,9)": "t^6 + 126*t^5 + 882*t^4 + 1596*t^3 + 882*t^2 + 126*t + 1",
    "U(7,10)": "t^7 + 210*t^6 + 2142*t^5 + 6090*t^4 + 6090*t^3 + 2142*t^2 + 210*t + 1",
    "U(7,11)": "t^7 + 462*t^6 + 5082*t^5 + 14850*t^4 + 14850*t^3 + 5082*t^2 + 462*t + 1",
    "U(7,8)": "t^7 + 28*t^6 + 196*t^5 + 490*t^4 + 490*t^3 + 196*t^2 + 28*t + 1",
    "U(7,9)": "t^7 + 84*t^6 + 756*t^5 + 2058*t^4 + 2058*t^3 + 756*t^2 + 84*t + 1",
    "U(8,10)": "t^8 + 120*t^7 + 1470*t^6 + 5712*t^5 + 8820*t^4 + 5712*t^3 + 1470*t^2 + 120*t + 1",
    "U(8,11)": "t^8 + 330*t^7 + 4620*t^6 + 18942*t^5 + 29700*t^4 + 18942*t^3 + 4620*t^2 + 330*t + 1",
    "U(8,12)": "t^8 + 792*t^7 + 12012*t^6 + 50952*t^5 + 80685*t^4 + 50952*t^3 + 12012*t^2 + 792*t + 1",
    "U(8,9)": "t^8 + 36*t^7 + 336*t^6 + 1176*t^5 + 1764*t^4 + 1176*t^3 + 336*t^2 + 36*t + 1",
    "Vamos": "t^4 + 41*t^3 + 100*t^2 + 41*t + 1"
  },
  "versions_read": {
    "manifest": "/home/ubuntu/numberdb-campaign-20261026-hundred/repo-balanced-coverage/agents/runs/20261028T114049Z-build-skills/manifest.json",
    "versions_read": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
        "verified_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      }
    ]
  }
}