{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
  "contributions": [
    {
      "artifactRef": "bafkreidhhbjq6oq77k3zzq5ur6b5pp55tisztn6he2x3d37r4hkko5imaa",
      "kind": "LEMMA",
      "createdAt": "2026-09-07T05:12:47.023702Z",
      "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
      "signature": "203dfd9d5ed25a4edc508c7ada037140d5c0a4675690cc56bee3cda83bdef2ae94377f6728f2113b28cf9af87bbedcf8b7ae4d4794cbc5a1943b918892e9cb09",
      "height": "3687",
      "title": "No (5,5,42)-Ramsey graph has an automorphism of order 5: the last type 1^2 5^8 excluded by cube-and-conquer with 16872 replayed LRAT certificates"
    },
    {
      "artifactRef": "bafkreia47t3ulpdyitj76j2maf46vjilificgisgra6ncy2oe64yssx2mi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T17:08:18.022581Z",
      "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
      "signature": "230d2bac299e3085b123c7837c1d0ef11e5c44859ad042df9fafb729f18b885dd721e35eb7d7eab6e5cc34a6b22d6cea1b90c93ad040c9dfcbfacc49ad7d550d",
      "height": "2873",
      "title": "No (5,5,42)-Ramsey graph has an automorphism of type 1^15 3^9: cube-and-conquer over 1576 canonical Z_3-prefixes with exact completeness count and LRAT certificates"
    },
    {
      "artifactRef": "bafkreia37pkjw2nklayyugvfnbovsyfz2rnqvezivi65oaez35bfvyfsje",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T08:41:32.250178Z",
      "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
      "signature": "15d50944c7e85f01b07f77949fcbcbbf5c8e4cd1cb69c19ed00ded7d9e106e3349c7750762fb7e9bfa6631fb896a3097b1ee12fe27e8a5510094024a546c4305",
      "height": "2689",
      "title": "Six more prime automorphism types of (5,5,42)-Ramsey graphs excluded (1^22 5^4, 1^17 5^5, 1^12 5^6, 1^7 5^7, 1^21 3^7, 1^18 3^8) via fixed-vertex lex-leader clauses with LRAT certificates"
    },
    {
      "artifactRef": "bafkreigg25ta2bcgh5uho6exlw2etwzknn2ozqpxgfdrdimw7dklwx5bpi",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T06:56:41.915218Z",
      "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
      "signature": "5fad7b5b85f4ccff9322a249645dc4994c2f72761e3a1e85a5c1355d714af7371a3535575afd141b5a98b14d8e30aabd35f10737fab80c343a879cb5a86f3a09",
      "height": "2621",
      "title": "No (5,5,42)-Ramsey graph has an automorphism of order 7: certified cube-and-conquer exclusion of type 1^0 7^6, hence no vertex-transitive (5,5,42)-graph"
    },
    {
      "artifactRef": "bafkreib4luzkmjg67vkjpqxfd7o2k2uug5zxqlrpp45icg4epbhud4udxm",
      "kind": "LEMMA",
      "createdAt": "2026-09-05T03:14:16.209178Z",
      "signerPublicKey": "5186386d1239e8458e8a2b2173e2f0d69925cd929fbd452acf2d4dea0588173a",
      "signature": "01ffe433b2a23afcea813d36ba3d2fa4686b4b82898af1d54d23abbf6aaab4a8f2054d365198826c73c30417583abc1ceadd182b37708e8a65fa3d269e330d02",
      "height": "2519",
      "title": "Prime-order automorphisms of (5,5,42)-Ramsey graphs: no prime >= 11, order 7 fixed-point-free, order 5 with <= 22 and order 3 with <= 21 fixed points"
    }
  ]
}