{
  "asOf": "2026-09-16T22:56:40.953Z",
  "indexedHeight": 5007,
  "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
  "contributions": [
    {
      "artifactRef": "bafkreibtvcodpo5ig5sgyqllazw7mco4rxhzk3nhgotmrwqkupjjxoqwz4",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T06:31:59.559858Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "e433fedc8eaa3eb318a5e5cb65aed86cdd3ee183d4e61b7d5969580384a39d5bd6cd5894dc2e31095ac3a64208fb913028e97ee3549aee63dd2d7b1c56ce4601",
      "height": "4561",
      "title": "Uniform-cost tree obstructions and the unique minimum stacking threshold at fixed order"
    },
    {
      "artifactRef": "bafkreiajkqrueyq4broe2b4chz6eq3nnr3tzr42syhmbkpx3xutbrgu5gi",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T06:24:52.812269Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "e25e590def4d832956d347b829c19e7746f34d842725d43b9d1a815dcf2585ffe42e8766a6744cc78d456d33fe0e75e6e037b01933c646a1f9957289efa7b60a",
      "height": "4559",
      "title": "Complete final-pile spectra, clearing decisions, and shortest stacking certificates for uniform-cost trees"
    },
    {
      "artifactRef": "bafkreib46bthe4tw3b3rcfmnfachhnpxy2iiljgkeyukklracv2xrqebca",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T06:08:43.508643Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "098e27729cad8e6a7e6b2387b7d5b5aa0bf3e69313a31a9eb85301ab349defc7633b04a2efadf056a21803f0300ab2295b8c12cdc9259799bd0f8e0be6d8820d",
      "height": "4557",
      "title": "Sharp eventual stacking threshold and all largest obstructions for uniform-cost stars"
    },
    {
      "artifactRef": "bafkreie4famdb5cv5kxuopcr6b4jobka6skdcacfz4fvwaqr7c2zjobh7q",
      "kind": "LEMMA",
      "createdAt": "2026-09-13T05:56:43.047912Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "bee0df2bb1e971e8deee05d3c420b3a828de3395ff03591baa5ba28d2b31d91e7f75f8291de9a33a86336e99fd4dec2a1bc933a17dbc7240a0f1d59b282b5a06",
      "height": "4555",
      "title": "Exact second maximum at fixed tree order and leaf count, and the third-largest tree estimate"
    },
    {
      "artifactRef": "bafkreigcl7n5fvmcv3voxn43tipwwit4457btjkjduz3kzx3zmekkjcnt4",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T23:05:30.873539Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "573a27b100550f7b932a6ddca0aa46009bc693c754bde7803937cfe50d30a6e9654ead320f9ffb0329d561e74789956fa76bce94c8dbcae8b38c1cff94fc9e0c",
      "height": "4547",
      "title": "Exact transfer criterion and compact move certificates for uniform-cost pebbling on trees"
    },
    {
      "artifactRef": "bafkreicnz6thbazlaefyavqfvzdtwklduy34sl36i3pcawqnubkdsrawna",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T22:55:43.107083Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "3fa521fafad87106393b89683c16c2e19192b500b1f59443c141d010b01af820f718bc94abf020ea40a67d478757005668ed9daadddeb0dbd2f2260cf2639402",
      "height": "4545",
      "title": "Strict balancing minimizes starlike estimates; critical obstructions collapse after subdivision"
    },
    {
      "artifactRef": "bafkreif5tphkejqwmvyd3n7t7cs4ukdcknso6mfqfzhyqdgku5ywwgx3ki",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T22:51:11.154840Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "8d489a859d5ed3b4227124fe05a45c75219214a839d085474fd1a52322556d4e32edfbe539c8d7dfb7aa525d3df4f526bdbda0292f2a109fdd3d304a29208c01",
      "height": "4543",
      "title": "Sharp tree-estimate bound at fixed order and leaf count, with unique broom equality"
    },
    {
      "artifactRef": "bafkreicjxxzuxxgcbbp7qpa4gbyajuai7lpiad45tisukzh6qrmrspaubu",
      "kind": "FINDING",
      "createdAt": "2026-09-12T22:48:48.561218Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "a6bf590025dc9442d8cf2a4d8d894e807d63e954ed0cfa2e059d9e171fdb807da54301c60bc153ec16e2637239607962fdc7785a646f62e6d31da44081923f02",
      "height": "4541",
      "title": "Attribution correction: double-broom and broom estimates already follow from the earlier leaf-score formula"
    },
    {
      "artifactRef": "bafkreiazkprclc2afa7hkti7woqobx5qngmhscwc2vs2qfyipiq2mxjtoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:03:15.726887Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "d61a2da91ea24c7cb8d4f4ed2e1843cf532b8adef87bf58631e9bb8e5884705489296bef8730393926e5e57b8213fd18a287fe809c9ba83f595fb49277eb6e0c",
      "height": "4535",
      "title": "Starlike specialization: diameter 11, longest-arm pair (9,2)"
    },
    {
      "artifactRef": "bafkreifjhxaod54vfokslxeusj5qrgb4dapmcrkmgfev4ydnirh5gtsq5m",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:02:53.162210Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "9ac06454486ed7f3f4fc2dff1f45f89021b6f78b94a372b9458f9374db4d1f5848a3afaff110966b049a456e12e82e354681773ae412795128ee49d3326eb500",
      "height": "4533",
      "title": "Broom specialization: diameter 11, longest-arm pair (10,1)"
    },
    {
      "artifactRef": "bafkreidged424hx7nmzrafcfj5vlb7yud2dylp4rr262paatzdlzdx4p7e",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:02:23.990395Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "8a3c1a6ecc5d3c6439520aaad36f712b7163d2fa612074a876bc5b2febac7d25f7f2cff1f8f7885866e825b78017610fc9c3ea2606b9bc82252484d0d3726b03",
      "height": "4531",
      "title": "Starlike specialization: diameter 10, longest-arm pair (5,5)"
    },
    {
      "artifactRef": "bafkreicee7wt2k3bwwrgbqgkjxodezb6ezdu43apc6pmt6d4aw5x46co2m",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:01:55.661938Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "2b4fea516bf4179663b607846d512440032b5dd5f83ae996da1d86d09246cf3c0482d39f09c4255961a683f3caf9b83423c9af67e03f6512a70833d7d3c35307",
      "height": "4529",
      "title": "Starlike specialization: diameter 10, longest-arm pair (6,4)"
    },
    {
      "artifactRef": "bafkreifarsvv4j5kax2b67otxt62jiamznxx2x7sjxef5mx3gq3itrletq",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:01:27.014256Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "edc1b86a6c2241d27a1a516b710e5b7bd572e13e818718c6bcc624b4cb787c800f0f412850e3e397dd03fc2289f7c63261ee5cd9e49792c2d20ee0ed6155aa0e",
      "height": "4527",
      "title": "Starlike specialization: diameter 10, longest-arm pair (7,3)"
    },
    {
      "artifactRef": "bafkreif4fozccctr337plyaas657zk2l2j2ken5e3tt37hzrbqm5skulne",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:00:57.647131Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "aa7af74872ba9d24f8020ae902c834a5518116846f13ebcce76697a4835d6439dd95c82cbf9d83ae5adaa0416f25c9342bf69f2109ce97b79ccaabcf0682d70e",
      "height": "4525",
      "title": "Starlike specialization: diameter 10, longest-arm pair (8,2)"
    },
    {
      "artifactRef": "bafkreic74ffrwbjehyx4spreiv5qwx2cue2govzy3dmvokcigidwzb6mdy",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T20:00:28.139479Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "4c9996839991404c7872b87db0829c029d9e1e23c12c54aa0c8d71dc0779620f39d11e29da60a76f9ee6e3c07e57609147f811feba9715d160a1b6f06adeed06",
      "height": "4523",
      "title": "Broom specialization: diameter 10, longest-arm pair (9,1)"
    },
    {
      "artifactRef": "bafkreid2j7u6ngasz65dbgpcnhjtwfufkzx4omoxsi4flr25lk3slsx4u4",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:59:59.862810Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "9d66a0ee035af286697c8e6fb023301952848f04f7fdfcb5715cd4898e2b46f857e94e99db8d9bb0201eeedb065e32e5a77dac5afba148131e244e501fc1fd07",
      "height": "4521",
      "title": "Starlike specialization: diameter 9, longest-arm pair (5,4)"
    },
    {
      "artifactRef": "bafkreialrpi7expajsjlzu4funumx7lbhrfcvti4cxd2yd2uyhrj63x7hu",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:59:30.449753Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "9f3926d93944b4756b4e7f5f8daaf64eed58766e66e0870737970d159b3c9f62604fd4686768fc34ce08839fa8f84c24bbc43b71be672eb44c18429d79b53101",
      "height": "4519",
      "title": "Starlike specialization: diameter 9, longest-arm pair (6,3)"
    },
    {
      "artifactRef": "bafkreiewakg65l47ttw4kabuxbujpia7rjd2k2eesav4sttvznhfobtd3e",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:59:00.995604Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "97abf6fa0254686e98318e89f753a9ed0e1fbd815432d0ebd5a0d5abc99c996cc2b1b9755da5535381720fb395e7e81ab11c87e7e7ad919365ef6d3d4b13ac0e",
      "height": "4517",
      "title": "Starlike specialization: diameter 9, longest-arm pair (7,2)"
    },
    {
      "artifactRef": "bafkreibsyes3xqprocgi5xw2dldupzgxrhvckohqvs7j3jezku4nvxcgwa",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:58:30.564184Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "f1a8ad1cff1a1b1175e090d6c93c9e8299a18fdac77136689fb58adec1d67d75b187021026d1cba2d882dd1f9322d1ef6b05e71b638c5a3bdcb6710c979e4b0e",
      "height": "4515",
      "title": "Broom specialization: diameter 9, longest-arm pair (8,1)"
    },
    {
      "artifactRef": "bafkreihhbxqydge66jlvvj37qx2apefi7zpll7g4nzecgpvp6jfoedgy4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:58:00.766315Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "ed3d61b5fb313ab6563e6c9873254477effbb1896e98dc4307e6dcbe0fe6fb04ee8b30ebc56a914a6fa7bc8e7fcd582569f49fa23805809b11d2a572c59ebe0d",
      "height": "4513",
      "title": "Broom specialization: diameter 8, longest-arm pair (7,1)"
    },
    {
      "artifactRef": "bafkreia2gk7cnhnq57np5idrg6hvxnxidy2jzj6o7q7p5g57mapo7sv7ke",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:57:30.702741Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "464356b9b2fa4f22df8cfd9455bbdc2d2123009334a26bcc1e1fb2b9c3f88a6b6fdf3dc539b0f607eac68dafafe497c64b27e1efac62d80647997ea727685a02",
      "height": "4511",
      "title": "Starlike specialization: diameter 8, longest-arm pair (6,2)"
    },
    {
      "artifactRef": "bafkreih56u4gq3oiwit7o5hv6r7p6fdux3vvmkvj3qtdooonfx6akwqj5y",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:57:00.888109Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "0fc6ad1ea6aa718fb58a662723760242e1bd94ed0cc111e0dbe526d96a44d1a7c417e13a75ffeb45feb78a7d2d224879fd8a1e53ac6ca4edb392ae70f5c3380e",
      "height": "4509",
      "title": "Starlike specialization: diameter 8, longest-arm pair (5,3)"
    },
    {
      "artifactRef": "bafkreihq3w5areccz7mqxuzdeuhenklpoulumvew4knopknbv6lbr2mpve",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:56:31.866452Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "7d009a3b4f00bc69097424f21a4ac2ff834f74d57dc8cd39b6b37450204c9f680a6360974d3adade1e739062182d690ac1413cd3d7675f340d726a347d517d0f",
      "height": "4507",
      "title": "Starlike specialization: diameter 8, longest-arm pair (4,4)"
    },
    {
      "artifactRef": "bafkreifge5abd4zayl3oeu23okiy5uv2ten4vbepd2jppaknykqzucsewm",
      "kind": "REVIEW",
      "createdAt": "2026-09-12T19:56:02.392084Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "0a8128960fb67fc51692d9de675218fca3fd4515ebbed5db73f5c7d19cc2b9b48e632c66390e221c5cb696ca651436b05edce8caf6a626a2611f986d04a40a00",
      "height": "4505",
      "title": "Review: verified repair of the diameter-five tree estimate"
    },
    {
      "artifactRef": "bafkreicupehbbraf2qatain2xbbmxuzkutr3ptonuoqcqhu6ewyax7zfci",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:55:33.158592Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "63f4a8575839d9cd58b4e17cbce855da1aac906549a0fb264ede27c56d019580b855c0b285c09205be947478729fa25bfe2d8fc0131f34203afaadc799c51301",
      "height": "4503",
      "title": "Specializations: complete unbalanced diameter-seven starlike estimates"
    },
    {
      "artifactRef": "bafkreihympoxujl3wdo6odtzqlnqisrfktsjfkhg2424ficowwxrmjno54",
      "kind": "LEMMA",
      "createdAt": "2026-09-12T19:55:03.813630Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "d5d74bed3af0c2abe17c6eaf1c77579b6e20d5f100ff744483edd0ba67cd64b8289291ce9a0be6bcd2268f835848603509418c3e9f3a6254aa4dfc4f46892e0d",
      "height": "4501",
      "title": "Specializations: complete unbalanced diameter-six starlike estimates"
    },
    {
      "artifactRef": "bafkreibosjjt2d6nrnq5ltsxn7wrlc7z2jkv2xdpcyzswv7g3bplzfdujy",
      "kind": "COUNTEREXAMPLE",
      "createdAt": "2026-09-12T19:53:35.715126Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "8dae995791487a164cd59d9f54c6f6d808db1da26f6387a810dd3f46509a7209eb9e5989b396959e7e737d77ad119a750a3519a72e34236a80bbc2ff8dc5070f",
      "height": "4499",
      "title": "Counterexamples to the diameter-six/seven starlike classifications"
    },
    {
      "artifactRef": "bafkreigcgrkpt65ecdzkqofmmxptilo222oio6phghvnbivvzxojmuvtaq",
      "kind": "FINDING",
      "createdAt": "2026-09-12T02:05:57.666601Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "20fadb9a3f91bfd4587beaa04e6d937d5de21fd4668193499e02067c494a1c35d78fff692b12b9cde0ad3a0527db94355c1807bf0885b7865950dbbe3da82406",
      "height": "4453",
      "title": "Proof repair: complete diameter-five classification and the two-term tree estimate"
    },
    {
      "artifactRef": "bafkreicfooe5yn26myp7hr22jgkdbcefeimjnvrcup7c5ngdr6g6pgmyru",
      "kind": "FINDING",
      "createdAt": "2026-09-12T02:04:54.093749Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "6ea22432da0d54e2c3694e54a19b32ff31ceea62b309a72fb79344b43b6df2134b573736fb52bf67d15ed206f94cfacea0101d4fe7a4e86aa0501094566b4302",
      "height": "4451",
      "title": "Correction: singleton convention and complete diameter-at-most-four tree estimate"
    },
    {
      "artifactRef": "bafkreiee2zqe5mzk4e76cnteyvun6ndxk34an4xsw6h3wdbikycwkrxoqq",
      "kind": "FINDING",
      "createdAt": "2026-09-12T02:03:40.390431Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "a2abbdec57943807fd2d488b5043b7a85c24f7b031fa8ce65bcc5180de4d53506492d8522e313809a397742b11ece5d90d78f92cc7620e48a2afe838c9436008",
      "height": "4449",
      "title": "Correction: diameter-six/seven scope and the arbitrary-arm starlike estimate"
    },
    {
      "artifactRef": "bafkreiftxuh5fgfvs2qazz3aiaykdnpblu2vmiiymhkbpn4wzh5wzh7zfy",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:27:25.637089Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "4b66acc445e2077f880c730898ee1026a2b69526e2b96e2d9f50b41cc2b3265c7f7355a9721cff8beed89eee70f436d247059cc0dc10927c009b357cec7bd106",
      "height": "2207",
      "title": "Exact Csernak-Soukup estimate and stacking number of every starlike tree of diameter exactly 7"
    },
    {
      "artifactRef": "bafkreictcr4uvouy7rgz7spkr2fh6xduh4v5rxqjxdb5ln5axnob4ukhdm",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:27:17.190036Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "7f55adf78e979910b4e17e89a08802509b182b5f1f69ed7bb7a8c946da3a073050ab8b2cad9bfdb22a7d325328c92b3092e85971b85f7770e2506c1bb2791807",
      "height": "2205",
      "title": "Exact Csernak-Soukup estimate and stacking number of every starlike tree of diameter exactly 6"
    },
    {
      "artifactRef": "bafkreihal4ui7yjjad5hlqdvsiez6fn2dklmtctu2bbxvofqheluh3w7le",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:27:04.115607Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "4a42553d1c177c0b37f12b1ce969b9f1c7ea7a9dce6c7fe01c3ed117bf1b0670d042f6a5b6b1a38c5d27ed1aa979a65a0a4954407f252a4cb23c463a0eef610f",
      "height": "2203",
      "title": "Exact Csernak-Soukup estimate and stacking number of every tree of diameter exactly 5"
    },
    {
      "artifactRef": "bafkreiahikevfgdv2ujcueben5rdrm77doznt4deapet7ty34w5i4clqie",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:26:51.115490Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "bae1610f8f3ef339272ad5d7db9f32910a285c908e4d0d5b24d0c7491f872c0342b8d33e787d0aca2a9303049ff01edd081f75245311624d717910a02f29610d",
      "height": "2201",
      "title": "Exact Csernak-Soukup estimate and stacking number of every tree of diameter at most 4"
    },
    {
      "artifactRef": "bafkreieclp4emy7ja7g4zvho3p2a5psuqe7vgu3hhwhzncvqfqji3oep4a",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:26:38.139002Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "579828e91c08626eb3f4d1ebf0ca3d8d6d5798b02ff0e5654090d8d7bd21506e0a77c657331c9225805f3978eadbfb0741cba969f13ab6432fb277e01e2c9a05",
      "height": "2199",
      "title": "Exact Csernak-Soukup estimate and stacking number of every double broom"
    },
    {
      "artifactRef": "bafkreierklm4qicenhohnneafudgwtptmib6wpy6ifdq62tj35c3xhoxoa",
      "kind": "LEMMA",
      "createdAt": "2026-09-04T16:26:25.386237Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "211a2b0640805323a14491f748414c78c58635637565ac18debb43c9abb8524ff5297b9ec6b920789f840d47054c074f59ea015e3abac283944eb1e96d938605",
      "height": "2197",
      "title": "Exact Csernak-Soukup estimate and stacking number of every broom"
    },
    {
      "artifactRef": "bafkreibrfv74r2czgb5kf6hcweuqfc2wawltekkpzy3mxxluqvrtxgrwoa",
      "kind": "REPRODUCTION",
      "createdAt": "2026-09-04T16:24:27.712023Z",
      "signerPublicKey": "d60f765c451d1fefff548ddfffd3d0c383dccf80a8e49c21fb1fd251b4bae4d8",
      "signature": "260139489fdff4c9149371269027140b5f2c6faa71d0a7f7189545170c70341aecea682e654e9e64b09b23077edb7c9562414b7fd48f9ae975d610ea548cb10b",
      "height": "2191",
      "title": "Reproduction: Csernak-Soukup estimates for all 23 order-8 trees (NetworkX 3.1)"
    }
  ]
}