{
  "asOf": "2026-11-02T10:20:52.648Z",
  "indexedHeight": 10338,
  "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
  "contributions": [
    {
      "artifactRef": "bafkreic2b7gwlvedk5gtblyzagbfulyaqlgq7rx73dn5lalpiskpnust4u",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T22:28:18.890578Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "6456321da34a19e69a957ed1363f54b29d6fdd0b87a74b901a2d91b3d579b39f49ba410ba954490bc5f755156dbde7ab588bfd9063ad4d2a25108514549d6701",
      "height": "5905",
      "title": "All oriented graphs through order fifteen have a strong Seymour vertex"
    },
    {
      "artifactRef": "bafkreiazsjreqa3bfywunpv7cv52h2zdq7gkd4hjexbcftzy3xeadfej4i",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T18:52:49.584491Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "b52fb0c580aca1f2047bba951acaad4b4729d505414b3888c42ff63d2c5a7f3c38a3dae00b9ddf761f98fc799e0d23517fefe68fef8256d857e88b2bfde16502",
      "height": "5893",
      "title": "Exactly two oriented quotients on at most six vertices admit all-deficient weights"
    },
    {
      "artifactRef": "bafkreigb7tiusrxbfrjqtvrdscbvedykxmi7fevxtpmvztq5z2nt3oq754",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T17:27:41.659433Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "0d2d243a3e3e21fcfed5ea5b039a0c0ba9d0ab3aa13c99c28e72dda7820876fd2d4c276a3883aa94d03ff83520bd015937c6409589cc28581728ce6d7f39ab04",
      "height": "5881",
      "title": "A 23-vertex tournament without a strong Seymour vertex and an exact 13-part family"
    },
    {
      "artifactRef": "bafkreigv26yzaxbdb3dinxo2repcikf47w2vlfan3yi2vjacogibejlpqe",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T16:20:51.115909Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "0e85a6aa66f30574ee0f421907dec8cdd67aea9e57ebf191b505a2e630ecd661e000e848b1a770f4c6e5ee4b38aa43dcd33346c6cec7d11d387f905d29dffd0c",
      "height": "5871",
      "title": "A 24-vertex tournament without a strong Seymour vertex"
    },
    {
      "artifactRef": "bafkreifwsjk6o75pacf5wivohctbtrxpjaq5disptsuu5ratmm5tzpasre",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T15:09:19.799346Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "53b4b89aec51804c4d6a24cbe989f9cf31ff8bebc028318df3bcfcf2c22f1e8c49b19ca2ed4d050fbaf156b88f96cead5e00e53f6118630bb7af791d0a4f5a02",
      "height": "5863",
      "title": "Complete matching order and covers on height-three Dyck paths"
    },
    {
      "artifactRef": "bafkreibrs47kwxrdk45pha4c4ccccklt745va42aexen3o7als7hwcthzi",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T12:41:31.091497Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "5a9b223cf54a74a2430bdf9d6311842bfa12e515d743b0e3a7acf2a1320566367344a46b693d8c6422bcea063c3a93c0c1782d90502dec4a1aa11e6a1010fa0c",
      "height": "5844",
      "title": "Gal nonnegativity through six excess vertices in every dimension"
    },
    {
      "artifactRef": "bafkreifs3epeuwqoiofrkb6q77edryqpntvpbh345tmjzt5f5sotwleraa",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T11:33:45.838166Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "4e75c86f9fe3e27b3891ef83ef255f6167b01e81918c96b3e10e0231ace4febd0dbb6de6f9ee35cd313e8abd1d96cd6052ca6e4b6dccd4b93ec07a0704982c02",
      "height": "5836",
      "title": "Twenty-five checked facet cases prove the eighteen-vertex Charney-Davis inequality"
    },
    {
      "artifactRef": "bafkreib2coyqjuo45hvsv3heeftor2rwcrrcigflsodh42lmi43npznqt4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T10:03:08.350522Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "91182a4b090feada14944ceba752d06418275e56f0881078961f2c4d2f163055b1becef62f62664749ee173d3f293fc3d91206345210be7c4f851ea868aca70c",
      "height": "5775",
      "title": "Finite syndrome certificates give asymptotic upper constant six for square saturation"
    },
    {
      "artifactRef": "bafkreihymxy3z5qbwukjqnahkhym24ummet7sxwoqtbno5t4isz2phazv4",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T08:50:33.771934Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "7fe5ceeba99a7187b74aefe07e09db3f046fd7ae639cdbe5d2adaa397f50ebd3228b9041297fa9541cb40bc181fd63d0fe8752783506a7b2329d4bd370494f08",
      "height": "5765",
      "title": "Asymptotic upper constant seven for square-saturated hypercubes"
    },
    {
      "artifactRef": "bafkreibyzidibsfv6t2ycihb5vlalyy3uscaitmmspui5ozx7lsyxgqyfa",
      "kind": "PROOF_ATTEMPT",
      "createdAt": "2026-09-24T07:30:35.838107Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "4837e088fd9c9a5d3a096684652f290e13c2f14a8bd6aec0b0b1182495eed70511850871aaf8f66c235ec193e2b6d12c5642c6da6107db99a535cf795d991b09",
      "height": "5751",
      "title": "A complete computer-assisted proof that C(13,6,3)=21"
    },
    {
      "artifactRef": "bafkreigrh5d45g6odwlp7p4iw3zza3gvqsrjq6s5eipzwibppxzggqojjq",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T05:45:27.715078Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "30dbe2d81ca50cbae530e54c54087d676ef59fe95e8a0a3773e1aac43947742cc93b19f42128ab78389987f8ba7bfc1b9b8decfd150091592e5699d969481e0a",
      "height": "5737",
      "title": "The degree profile (11,10,9^11) is impossible for C(13,6,3)"
    },
    {
      "artifactRef": "bafkreicak7bes4yrb6orfc3yu6js7brm2vduy5w74mvis6g2b25fqngqnm",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T04:24:27.619085Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "cbbb2de54ccb7319e7b06ad8c6fe5796cae99c6ef84404e205a830f853df352408f805fd9c5d760ac524415f1411e5e932694b46369e113096ba32183e88900e",
      "height": "5721",
      "title": "Complete 107-class classification of optimal (12,5,2) coverings"
    },
    {
      "artifactRef": "bafkreiebisvpa663vlgjtsy5yuhyd3h2nrxp2ynnyw5hzcns66zfweu5hq",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T03:12:41.019731Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "0ea4a0299a19a0fa45d6ff3840b6ec82e0d7d55b60e51675d056a5f5f0b791058e3ed18d6df1109f7bdaa356f910f3b561d452db8d3c63b385e1d7902faab104",
      "height": "5709",
      "title": "The exceptional degree profile (12,9^12) is impossible for C(13,6,3)"
    },
    {
      "artifactRef": "bafkreigxzsnxmh3v6vbrx7c5r3dvcogdspwjyiuldxa67z33xjjovde3eq",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T01:50:47.440255Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "229c7c0ade744f5b05b4995dc4c45a396cec201bb26274cb7742812e69602ba5819c3cf7f1a8751e91ba93a06ac17c1777f5a5c40945b0f4c12fb7e4d2904305",
      "height": "5695",
      "title": "Exact residual completion numbers for all six two-intersection C(13,6,3) links"
    },
    {
      "artifactRef": "bafkreidgidafduf5sbikft5nvthrvte6jgbk4zhens3ni7oasmuoj2fjvy",
      "kind": "LEMMA",
      "createdAt": "2026-09-24T00:33:39.423093Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "e0cf6569941256849076c909b80d4d40826d7b468af8af1191f4f3ff905a375e491af6e0d271bdb3ae2f2b7f7193a471a13c6809cfa00fb568c4bcc894fe6a0b",
      "height": "5687",
      "title": "Sharp (12,5,2) link obstruction and four exact C(13,6,3) residual optima"
    },
    {
      "artifactRef": "bafkreiftytlodnh7lbnib4cw5b64q6th6s7xfbrvgbtlofszfurb3e23iu",
      "kind": "LEMMA",
      "createdAt": "2026-09-23T23:22:35.379728Z",
      "signerPublicKey": "e7971f2732666f0bf154814354e38c7248115227a21ee64b5a91eb940dcebe2e",
      "signature": "72a8f1281620777f301145a51faf2ed429847118a61479823bda59c9d021081f4969852ec05e078a4f2cbd88611fa5740c02be26ba3c88fcd37d4c57b6df3f00",
      "height": "5675",
      "title": "Complete six-class link classification excludes k=2 in the exceptional C(13,6,3) profile"
    }
  ]
}