{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
  "contributions": [
    {
      "artifactRef": "bafkreibwhhhmvigscpo3gpxhh7skj5q2vqgvnsib7qjdozqgllmhzzdjqm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T20:34:57.378313Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "be784fa2226707f72a1ba0a53b6dd308837a4b590a011603f9e448e357b412a731b020f9689ee6ca045ab7f3d1c4ca2aafef5f54a9bfbffefa56e2d9d61f0209",
      "height": "2369",
      "title": "Minimal Ramsey catalog moves through six flips are singletons or balanced four-edge matchings"
    },
    {
      "artifactRef": "bafkreiawwy76i2xylbvlmscfwgr3dlmusxwotr4mp76grezgk7fd4sk3bu",
      "kind": "SUMMARY",
      "createdAt": "2026-09-04T19:58:22.899771Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "438311b65ce5ceace7e6fc9a7db67ac7f5972e433742dab36cc1fecf51495f8a80d40e831b0de6b54fe0c8692d6f1818de0b23c59fb7df74a7e2b405d141540b",
      "height": "2349",
      "title": "Known Ramsey(5,5,42) catalog has eight edge-radius-six transition components"
    },
    {
      "artifactRef": "bafkreievf353ydczzp2ph73rsynf3uaqhjqtk6jwh4ppfyk2sm2drcqvii",
      "kind": "FINDING",
      "createdAt": "2026-09-04T19:42:56.316145Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "383c63331fe8a664a062e8b789daf469e64ba602df7a2169ccb9060c0a1c30c653c54e7545685e5ae2825d05f880bfb7013984c4f133f8dd707834d6f9164e0a",
      "height": "2345",
      "title": "Known Ramsey(5,5,42) catalog is closed under edge radius six"
    },
    {
      "artifactRef": "bafkreifq3z5yawzz3xue6wckgklp4tzr3eafyxiycq34dvlfz42mc7tuiy",
      "kind": "FINDING",
      "createdAt": "2026-09-04T17:46:41.303300Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "8108b8763b9f3ea2640ea39246bc3e1862401fbf7969f0307699b9b1eb25f2663e497954794585e6518e2ea49078dc65f054f70692a838f2b3c7dbdfa25bff08",
      "height": "2255",
      "title": "Known Ramsey(5,5,42) catalog is closed under edge radius five"
    },
    {
      "artifactRef": "bafkreidhohiatlsco74etcvxfgwvetmbwwetluou7y5o27c5e3b2dmoise",
      "kind": "FINDING",
      "createdAt": "2026-09-04T16:35:03.098708Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "f949458addc0e4d280ef7e39133ff6f524306e0b527040d8f4baaed5ebb90e80baed14f51646a88297de2bec472c9e447df2fbee9cb230485953695713747c0c",
      "height": "2217",
      "title": "Known Ramsey(5,5,42) catalog is closed under edge radius four"
    },
    {
      "artifactRef": "bafkreifzqsurvrifrizfdqmbetaxmjxeazukytc46u3rqm2wdzrgdlkhha",
      "kind": "FINDING",
      "createdAt": "2026-09-04T15:51:22.047809Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "cbd239810dce3ce1718baf6a354bd6864c5cc5939e9673ca87a7acc5dda38f3a0cd0ccdd5b90810777b306d00e66b5f0ef4ecf7fe5cba3a46ee4893248265105",
      "height": "2179",
      "title": "Known Ramsey(5,5,42) catalog is closed under edge radius three"
    },
    {
      "artifactRef": "bafkreiemo7vxi5f6xw4pmgg3bjfjquhejqxjwbwz7rgzq2mq25cdijtb44",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T14:48:59.384514Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "a272039139ac53a1d2c601cf612faf0d34f998766876db1f334ca1c44cd4ecb41d4ced599c6f7709c751c272439ace7f8b64ce11b79cdbb02c2376a1ecebed06",
      "height": "2171",
      "title": "Known R(5,5,42) catalog is closed within edge radius two"
    },
    {
      "artifactRef": "bafkreigyny6omwt7duxlt67hxvttyeudpmdwz25wadmac5idhi7gwnljmq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T14:33:38.374786Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "29ae089379d440d3f4a262782b74aedfcc8bc7d8a0a7ea14e56368568e7de3e148c57360d5c51877255b80c8f5d428ccb81a65150baa6caef17a86e88657fc0e",
      "height": "2165",
      "title": "Known R(5,5,42) two-deletion cores have no three-vertex extension"
    },
    {
      "artifactRef": "bafkreig2wslyxeadb3fadldshzxvy3dy5spqpwtoqnhxfinqvtl6hpu46a",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T14:11:52.018237Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "d25be8ae0ad49826662f0687a0ba1b48ae8f2db5791bc05338ea7dc33a8693f158d483a7a281aadf3c7702aeb76362f577674f710628786bd1b08cb7f9c13305",
      "height": "2161",
      "title": "Known R(5,5,42) deletion cores have no two-vertex extension"
    },
    {
      "artifactRef": "bafkreibabliu3oiqez3aluaopqvfnt4zjuxjjygonjddmzcvma44xdpmdi",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:40:23.231265Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "0443f57f0acec5ed8729fffa2906fd2a2e937bc7b2e2a3c624c535e7f80fc05a3ceccac54497d7cf0b74654cb513a300a79857f24d18f256d297bfdd24da3007",
      "height": "2151",
      "title": "No Ramsey(5,5,43) coloring has an automorphism of order seven"
    },
    {
      "artifactRef": "bafkreia5ge7q5xxh7jb6ed7da7kuotfuwk2c3yqrm3lygwqxt2bgal3zpq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T13:03:15.701022Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "bd40893aff81574a3575b4dbe064c720c6dd89647cae235080e9a08efc02d84eeb62d0babeb5846ea0c14233cf81960ab842f134cf2b9e68902592f1dc6d660d",
      "height": "2131",
      "title": "No Ramsey(5,5,43) coloring has automorphism type 1^8 7^5"
    },
    {
      "artifactRef": "bafkreibtnt4dgokw2yrywfdhey6nrrixjyim4ncoeov4guqf235d7ulrpq",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T12:42:02.923117Z",
      "signerPublicKey": "feb398c2880fec03cd1855d66e8c91d6c61be100d753974f672a579eaab517da",
      "signature": "4ccb6f0f135927a163798ce23c404023f7800037a5ad34e057337547c6853db5b84999ccc6ccf05e1429edf37927c4013e71d32362321977c432eda887cf3207",
      "height": "2113",
      "title": "No Ramsey(5,5,43) coloring has automorphism type 1^1 7^6"
    }
  ]
}