{
  "date": "2026-09-24",
  "platform": "macOS-26.5.2-arm64-arm-64bit",
  "discoveryPython": "3.9.6",
  "benchmarkPython": "3.12.14",
  "benchmarkPySAT": "1.9.dev5",
  "coronaConvention": "Integer-grid full face/edge/vertex touching-tile layers; outer layer has no further obligation.",
  "benchmarkProtocol": "Three sequential cold runs per lane and target; times separate construction, setup, and search including online learning. Proof recording disabled for all timed runs; recording and verification are separate. Graph lanes use the specialized sibling scheduling documented in the methods.",
  "dratTrimCommit": "2e3b2dc0ecf938addbd779d42877b6ed69d9a985",
  "sha256": {
    "apps/3d-lattice-tiler/research-catalog.js": "c811e2938fbc67bdfd40af62e81de5632abb1d033b3951ab288b07698f0ac085",
    "data/bent-six-arm/bent_six_arm_25-k1.cnf.gz": "7000acd0b3c72699f2f44167538408c286039ec9da2d8a763f8fc01d9f006f01",
    "data/bent-six-arm/bent_six_arm_25-k1.drup.gz": "48a106317a22045acbc179a31adde072cf050f272d044896b453e17440b9bedd",
    "data/bent-six-arm/bent_six_arm_25-k1.json": "7a0a3979eb0f3fe5ab65586c46f4e7e746d16fdd8b625003b7148174c6f4d3a9",
    "data/bent-six-arm/drat-trim.log": "8e555027b2641eb565336d09aacc2f8a8e5e092dea6b439d08b462053dc49927",
    "data/bent-six-arm/symmetries.json": "de1ea51021f1e01bdafc4cf6b4077b2dcc076e4e9539df68a7577ce45a82f290",
    "data/bent-six-arm/tile.json": "3e7bc7285c7d1cafa789f52e379bc5c9938f619b1fd723e54c7279a0938a0e19",
    "data/bent-six-arm/variants/bend_018-check.log": "250b5966a8646e0e8694124d3ec5096a1e702efdbd47950b1f5e1fe0e0316662",
    "data/bent-six-arm/variants/bend_018-k1.cnf.gz": "e1221ffa49bf40f24a8e563d4b21037248f3f5ce40f87d119809ea6fe30fc0b8",
    "data/bent-six-arm/variants/bend_018-k1.drup.gz": "a6231f9a49fc8a1b88faf6ead7a5c687c095c0eadf5ab548a5b438f9e677b15b",
    "data/bent-six-arm/variants/bend_018-k1.json": "28d2f488e70ad0ebfc699287894824ca654f6686c65785117d8623213de6226c",
    "data/bent-six-arm/variants/bend_018-verification.json": "78873b9c77ab37c04fa44b12c6c3570132d04d98b6a7e34007428b84dde69df8",
    "data/bent-six-arm/variants/bend_064-k1-glucose.json": "7d6a42a9e2c011f8eb751ab718726c893198d19c2d4e06f08b7dc3b89c57dd94",
    "data/bent-six-arm/variants/bend_064-k1.json": "7c5e3c879aafc6936abe5d8cdb5ba619836feec34ac0ca79bd5d7e8a448bfe55",
    "data/bent-six-arm/variants/catalog.json": "59c7ff80dc0396b874813d38d39b63c2949e8e50ffb9f87ef482151b4d6c5dd2",
    "data/bent-six-arm/variants/summary.json": "7c556f9c893f0c420116d2d230b731967ad91de769520ccdf137ca89e4071f1c",
    "data/bent-six-arm/verification.json": "d45bffdfb0cf9e779053eef58fecbed1dd26ffa6e17d08c8be064e5f574ac02b",
    "data/heesch-catalog/alias-verification.json": "6bb99043ac333e5c5bb64902edc6e6b5da284a05a5f06d8a13d9813a48f43b59",
    "data/heesch-catalog/benchmarks-k2/polycube_p10_052588-Glucose3.json": "e077d259c34a81d053b14d6ab3b584dc0fabadd5a249e42c74366fcb0c5e4088",
    "data/heesch-catalog/benchmarks-k2/polycube_p10_052588-affine-GCTS.json": "9695d88811cec504fe02b4af4cd3db769489fc60dbb6d66f500fb8afe684b1ac",
    "data/heesch-catalog/benchmarks-k2/polycube_p10_052588-unmarked-graph.json": "20bab1008fe2678e98e1ef5eda1539a669cbdb8072f9bcd78e5073c14b9cb319",
    "data/heesch-catalog/benchmarks-k2/summary.json": "8910ae17fe78f47c973a1d67b1dbd1a1d99b98315d9e3a5b9bf120bc7abb465d",
    "data/heesch-catalog/benchmarks/3_cross-Glucose3.json": "9e88ba9d7f78db14781390c6d6ff58ab9ec4577dfd9a0392b69ff11306585f58",
    "data/heesch-catalog/benchmarks/3_cross-affine-GCTS.json": "210dca1caf37f3444bd95ccd3f4eb5d681c8db3f9471ffb6f7507edca1cd450d",
    "data/heesch-catalog/benchmarks/3_cross-unmarked-graph.json": "a1c2b0750f2b182f158583c83b92168740a69d4bcf939c5de83f8d8d4d8856bf",
    "data/heesch-catalog/benchmarks/large_buckled_ring-Glucose3.json": "c0ea982475d1f37bf5b5f6d2670d831a6f215866299ca37ed9bf355dd95bd76e",
    "data/heesch-catalog/benchmarks/large_buckled_ring-affine-GCTS.json": "716471aa054d2f5d4e5289094133ce64bdb916de8d8d82c40cf450cd1ca33a3b",
    "data/heesch-catalog/benchmarks/large_buckled_ring-unmarked-graph.json": "9a388925654ef1a59f742c3ff0720acbe58210ad29cdcd6595862b6809449e08",
    "data/heesch-catalog/benchmarks/polycube_p10_052670-Glucose3.json": "8e3e336d270eb3d7c2f7f45cdc41578cd5265e1cfe7f4ca07dca3202b123411d",
    "data/heesch-catalog/benchmarks/polycube_p10_052670-affine-GCTS.json": "f3f03813a5b6567d086a79f5d3cff260c21bcadfb9f41de2f4cea7f18822d33a",
    "data/heesch-catalog/benchmarks/polycube_p10_052670-unmarked-graph.json": "eb3f52dc1ccab1af4b4a4eaec25e585af1d35fd827305a556e8e00673baa8f86",
    "data/heesch-catalog/benchmarks/summary.json": "480c33e668ce81ee25a0cbc7e24dff4dd5a87878aa1b7bee60133d81af79d5ee",
    "data/heesch-catalog/benchmarks/t_cross-Glucose3.json": "ffe7e4ac48d27f31944a3d2500fbf268083843358cabe0a1b5434add961dc759",
    "data/heesch-catalog/benchmarks/t_cross-affine-GCTS.json": "5843f590b7398da2dcbbe2d90f67cfcfac84a4e6175c85e023957123a819e6ae",
    "data/heesch-catalog/benchmarks/t_cross-unmarked-graph.json": "83407b50cb3764275fd6c8de564ac8abd5325cb605e41a24def67751c833de7b",
    "data/heesch-catalog/catalog.json": "2829df397c4a819bd64de0fe6761de5f1eee4a1075343c5eeade20dbd8e51bd9",
    "data/heesch-catalog/deeper-verification.json": "4bd87f07fe37f4c49c893151a835944a29efe2c512ada8343cd55bd2e6edc4d8",
    "data/heesch-catalog/deeper/2_semicross-k2.json": "8494d62469c45914ac5c99863cf3321df264fb498491f1a00a5fdc1ae6b8cdac",
    "data/heesch-catalog/deeper/polycube_p10_052588-k2.checker.log.xz": "f641e6c580fb1f12e4bb64da214ecedef4c0ed89abc9c0aa1d23adb125d7e2ce",
    "data/heesch-catalog/deeper/polycube_p10_052588-k2.cnf.xz": "ce8d6361163de103bd28ad5e4fc969fe023ecdf574f1acb3e16772d2c1679e82",
    "data/heesch-catalog/deeper/polycube_p10_052588-k2.drup.xz": "b56d8d3df0472f0bd6c8e2b012aadeec738098b75c983aa0b4e93179736ffdd2",
    "data/heesch-catalog/deeper/polycube_p10_052588-k2.json": "dbfccf338843c9a517fed976252d7b7449ab1aa19c12ba95cd0164a904f94131",
    "data/heesch-catalog/edge-obstructions.json": "bc3bdbd4d9d0cc5f8be2617a7cfb828e766060c77ac7a3d493c7be645980e979",
    "data/heesch-catalog/graph-proof-verification.json": "738e128cf912ed8740cc191bd748f20b67b58e9092afa55cad6eac60b3165958",
    "data/heesch-catalog/graph-proofs/3_cross-k1.checker.log": "295cba610eba5fdf6a7b082876b5c3a491e07ff83f171e8d81ddc0f39a70e4be",
    "data/heesch-catalog/graph-proofs/3_cross-k1.drup.gz": "e36dd16c905dc217b93f2037a5dfd52aa566a9100ea99beeab37d631905f38f4",
    "data/heesch-catalog/graph-proofs/3_cross-k1.json": "686a5eb931fe609518b6858e777dfd9e7089a0fe4586a737566b02fcac4d523c",
    "data/heesch-catalog/graph-proofs/polycube_p10_052588-k2.checker.log": "c706c304e130010af4ccceefe90cd51b072d082a902732043fae06977c97e80e",
    "data/heesch-catalog/graph-proofs/polycube_p10_052588-k2.drup.gz": "4d6da61aef53bcd718550ac0a991be9140533b8fff477e2e0b9f0f0e7ec37676",
    "data/heesch-catalog/graph-proofs/polycube_p10_052588-k2.json": "a7b164c5d48c31588c6f438bae30215c992e1a49db2be4497cd9e610d31973ce",
    "data/heesch-catalog/graph-screen/polycube_p10_054782-affine-GCTS.json": "ed5c07c312c234d53456615c6b2374e4eba3b2a8cb69ac08d6673359905fa70f",
    "data/heesch-catalog/graph-screen/polycube_p10_055695-affine-GCTS.json": "4b3d1a5a274b95bc3d2567a09be83394725b8237c3b8deb9ed1edda7469cf33d",
    "data/heesch-catalog/graph-screen/polycube_p10_290795-affine-GCTS.json": "b8ee007338acc0e8c16288dbf7c6b80a63945046b0922792f2e9c6e0f2a77a55",
    "data/heesch-catalog/graph-screen/polycube_p10_346304-affine-GCTS.json": "97e79e8dfa9a6d485c26fe16fb6cc04ddbf67611c36a03d3a5501fdeaf8926ed",
    "data/heesch-catalog/graph-screen/polycube_p9_02127-affine-GCTS.json": "695c4afd9037bad9e430faa1993230b1048fdecb8ba42ea43253862328c1a63b",
    "data/heesch-catalog/graph-screen/polycube_p9_08203-affine-GCTS.json": "97211ac6331d8064a7b25851e8d6c8e26e48897d4e775a397538a36d605993a8",
    "data/heesch-catalog/graph-screen/polycube_p9_08219-affine-GCTS.json": "b150a19ee9dc36fa068fd2a923204583d430e79ea1d9926a5b6133e25cf20896",
    "data/heesch-catalog/graph-screen/polycube_p9_20656-affine-GCTS.json": "6c73726c6eee7a8de3a960616081e70364ed6b3bf1d49de4e0dc7b8276a79bb4",
    "data/heesch-catalog/graph-screen/polycube_p9_24025-affine-GCTS.json": "19e66e9da4ef05687a543be8ce293638a12d0298b7c248fabc31f3068bfee874",
    "data/heesch-catalog/graph-screen/polycube_p9_42947-affine-GCTS.json": "706369505c669046c00c05af427020d6248dee8ad7ccb183bca00cb23ea0b5f5",
    "data/heesch-catalog/graph-screen/tuning_fork-resource-limit.json": "f75dbf96decb91acb0450cb5813f2a03dfc524861965b68a6a83342c3cb900c6",
    "data/heesch-catalog/marking-k2-verification.json": "04dee2d5becee30325f7c7e1a039ab5929eb33aeb21d74fd87cbc622649203e0",
    "data/heesch-catalog/marking-verification.json": "1a7b526562a334fd0300b578c25f05c93bbc5671e9110e8e0194b3e7e06d4e75",
    "data/heesch-catalog/papoutsis/audit.json": "1e86fa8f165a7f376f724f8ff5aa5f5c17979b9475a3f4c247b042d843032ea0",
    "data/heesch-catalog/papoutsis/solution_01345.json": "af922e293d959ffbe1077fcc65a05e5ff904909ec746f655682178253e4d2a2c",
    "data/heesch-catalog/papoutsis/solution_0144.json": "29bbbcb420f52c6882f8cad16070abaed3a182c6c69a8235da6bef1414b65333",
    "data/heesch-catalog/papoutsis/solution_0166.json": "f29daff391ceafcf9aed31a8d0f51aac8cb5e32ea1f7316be98da653cef0c8be",
    "data/heesch-catalog/papoutsis/solution_0272.json": "dd3f8f66090a9b0755aa046ac22cfc70f0d98b0f2de9eb9c280961f7bddac731",
    "data/heesch-catalog/papoutsis/solution_0556.json": "6558e523e2a20a4e44fa37fd4e2238f174ea3fc1fab0228ad3aec761a89dd421",
    "data/heesch-catalog/papoutsis/solution_0597.json": "18f09b477381d00ffe67449074f7d4b23930ff3ac9908a05d3ffb19db4bad5e6",
    "data/heesch-catalog/papoutsis/solution_0606.json": "b879409b5ff6695b0ecdda8dd1590a0f65d900622cd078fc3ed16197ce8f43d5",
    "data/heesch-catalog/papoutsis/solution_12982.json": "5ff3c001a7d99bee21bada811537b8c0d7c1fa39bd69831bb63ac2c05ebe7497",
    "data/heesch-catalog/papoutsis/solution_22933.json": "a1170c062ec1ee67e37070e09d9ccfcf0e61069c98ab1a6d8e31d18aab47c6e9",
    "data/heesch-catalog/papoutsis/solution_3807.json": "0e12be6620d17a5dfd7795eb7a3596500e9ed17fd3210ceb353a94d551fab308",
    "data/heesch-catalog/periodic/2_semicross.json": "2fc1179284dafaed82700a3ece3b5515d9a5781d699ae8fcda997ad36bdbe7ad",
    "data/heesch-catalog/periodic/letter_o.json": "ed449e10ddc2f2b3e63805d8b1a44075f0b5c492dff61938e644d3faa8442da2",
    "data/heesch-catalog/periodic/polycube_p10_054782.json": "32fa02fd7f0b06d099c011bc1addf3557914b576f94feb6670070f61bbb1010e",
    "data/heesch-catalog/periodic/polycube_p10_055695.json": "c20f29ab5f36e98885c0adff9e6c49ae3e3c74913f115a9370bad12d24db15b0",
    "data/heesch-catalog/periodic/polycube_p10_290795.json": "82dbf211cfb55c283cee17db83eea0d5cbcaf39425b5f907cefefcf77eddcb74",
    "data/heesch-catalog/periodic/polycube_p10_346304.json": "520464bdba1f04f14eb40d978da6da5ad6f746d4384a0e8b6efdac7f4fc30dfe",
    "data/heesch-catalog/periodic/polycube_p9_02127.json": "9dac81a5015d4d27b2fb8c3ddf6344cf71880d44280f4a02fba9682c662efc9b",
    "data/heesch-catalog/periodic/polycube_p9_08203.json": "3c9beaf2cbd8f9455da57f2d8ba55539cad40413acb1f290dc52ddf02d848d23",
    "data/heesch-catalog/periodic/polycube_p9_08219.json": "8e2cc60e339712d46454194a471f0ffda2f34647543a32d020928d8b4344902e",
    "data/heesch-catalog/periodic/polycube_p9_20656.json": "fda98c02eddaa567459524a48124b8a0edf93114a85c4b51c54ebd757bf11b68",
    "data/heesch-catalog/periodic/polycube_p9_24025.json": "686462243c91e3a468a475ea02a6116fbbb88996496277efcac7f2bccc38e118",
    "data/heesch-catalog/periodic/polycube_p9_42947.json": "01f462bbd5397b2375e66b235cbf397f9581a7df0bc049c8dbf1bb7149cb7fe6",
    "data/heesch-catalog/periodic/tuning_fork.json": "f3f63e35ecc9bfd773ef5dbbc4da63d5e749b388dc9b21fcba336fb5737bc819",
    "data/heesch-catalog/positive-controls/periodic-witness-checks.json": "39049f6074b4918f9f88e22cddf94b80e28185b002eb426809eb5e26440cff3a",
    "data/heesch-catalog/positive-controls/polycube_p9_02127-blind.json": "b06450e93cc2ec9969a18aa272ea71d86a5b82873c0c12bc210f91599cc3fafb",
    "data/heesch-catalog/positive-controls/polycube_p9_02127-cadical-blind.json": "3769d3a0c404c7df36d79cebd42434c9c0027d1c55e2327fd92498827536455f",
    "data/heesch-catalog/positive-controls/polycube_p9_02127-periodic-coronas.json": "69c2e83c094623d208fc522b480f653dff32404fd8f88ae040061976400d8717",
    "data/heesch-catalog/positive-controls/polycube_p9_02127-positive-phases.json": "c020bb31407aae166a2561295eddefbb8d26010bc9c9f180dab6b013a80d088d",
    "data/heesch-catalog/positive-controls/polycube_p9_24025-blind.json": "de9f0fdd944d20539f08b43f4e8f24c93ca0f09ce07c188292952ef58a8a4c52",
    "data/heesch-catalog/positive-controls/polycube_p9_24025-cadical-blind.json": "17a547222dce8dfa56225a717c560db7bc769bf46da8a6a90fae7f2a3fdacc1b",
    "data/heesch-catalog/positive-controls/polycube_p9_24025-periodic-coronas.json": "9403c38b24020141e91f4cd15b6b224a8d83e4e4eb86a4f438ea4b577ed35577",
    "data/heesch-catalog/positive-controls/summary.json": "3b74b680161c12941394be644b4d16e96c85305d60197e2ccaa7ba98d1248619",
    "data/heesch-catalog/runs/1_cross-lattice.json": "b2cc84380df1445acbc46e11835ea9982fc5e816bd1b48ed27dcd636bc4a8c81",
    "data/heesch-catalog/runs/1_cross_plus-lattice.json": "c6f01545ec6ff958ff78042dfbd7d3aea0612620fff57be31fbeb4aff0ed63bc",
    "data/heesch-catalog/runs/1_semicross-lattice.json": "2e946e92714c753f12fe7c593d07d9d7b23d26c28c3efd5b4af2bff97e34b0eb",
    "data/heesch-catalog/runs/2_cross-lattice.json": "4405fe583704a1f7cf49f0f71a096117b23e83f2881df423e14e5efdcabaf46f",
    "data/heesch-catalog/runs/2_semicross-k1.json": "2718f7b9be4433dda3d249d7df9bf78cfdc1f57241d39526712902eb306e436b",
    "data/heesch-catalog/runs/2_semicross-k2.json": "88c4221bba4df9110dcdecccef5df46e39ce62b6130620bcee76a8b5aa2be6cb",
    "data/heesch-catalog/runs/2_semicross-lattice.json": "19256fd62f209577a6c15e97364bf2ca13a16c32f4f7dd6f5a2e5a4e0be74bb6",
    "data/heesch-catalog/runs/3_cross-k1.cnf.gz": "9b887fbe9c1ea916b275db2d0475e2deef50ba0392fdc8d0ff5404c616403cb5",
    "data/heesch-catalog/runs/3_cross-k1.drup.gz": "86f7f9fa5dd77992fe380615243b9230e4194370ec1091124a7174c31063cf5c",
    "data/heesch-catalog/runs/3_cross-k1.json": "91bd6da526f73bc4ce0c89f8c72adb59f11ddc6f6efd6d4a2b19527f7aa3fc7a",
    "data/heesch-catalog/runs/3_cross-lattice.json": "cfcc01982d93799eef7c01cb421141f85c30c8d562c9e2caadc454efa18d0b7a",
    "data/heesch-catalog/runs/buckled_ring-lattice.json": "79efd1f3cb1e51a6cff93e42cf640b27e0e0464ab404249d66a10cc622a950de",
    "data/heesch-catalog/runs/cube-lattice.json": "510e226c0257cef70b61dfaebefacab70080e0cab143f925e026c9215cd1df3c",
    "data/heesch-catalog/runs/double_ring-lattice.json": "5c06cd59f369a550fc074b314affabd38c24ffa855852822c9045bb3e7ddac3d",
    "data/heesch-catalog/runs/knuckle-lattice.json": "46b6fafc61d42486180a68f877732c2f997463043281c605fcd8d8dcbf05cb23",
    "data/heesch-catalog/runs/large_buckled_ring-k1.cnf.gz": "d9261821d92258fa793fad29bdd8375ace0d619d2af4d7b78fd618255e2574b5",
    "data/heesch-catalog/runs/large_buckled_ring-k1.drup.gz": "be4769a823e2ab831fdde10b6ee3b05974dab1b53753b8ceaa7e118076bccfd4",
    "data/heesch-catalog/runs/large_buckled_ring-k1.json": "0d7cd9465d405ddf4e06c444300e3d9637150df3bc66cdf6e5d379ec050d08cb",
    "data/heesch-catalog/runs/large_buckled_ring-lattice.json": "4276399c667c2612a477bea93eaaf80251294f66f19b277b1bde1d2a80aa2bef",
    "data/heesch-catalog/runs/letter_o-k1.json": "eb26c55dc166ee1ceaf053d6bee10ff768aeec6aa0ae51eb191feb54d87e576c",
    "data/heesch-catalog/runs/letter_o-k2.json": "81ecff9517711c332f8f1806d5c69e8836b30696560861eeea586a1140cce632",
    "data/heesch-catalog/runs/letter_o-lattice.json": "6bdfed2844a7241f72d1fcf110c6ca802fbf725c40b789be02b1bac8138c2619",
    "data/heesch-catalog/runs/nonacube_cross-k1.json": "70f5847cd45ed14ba846a928d544fe5912ea3879f811116f687aae941dff2798",
    "data/heesch-catalog/runs/nonacube_cross-lattice.json": "9def44d47d6b5ca9dd70814154493ca76a7a1a623c2bb8518df1331f383a6b2c",
    "data/heesch-catalog/runs/polycube_p10_052588-k1.json": "15d0e545e895c3465db0c5ae7626a2da4d5a631172674e65eacbe44f1ce1216d",
    "data/heesch-catalog/runs/polycube_p10_052588-k2.json": "77bb84928215b64cd51357964ee8292501fe66306adfd91e561e04e046bdb16f",
    "data/heesch-catalog/runs/polycube_p10_052588-lattice.json": "83b06e6fe78b397b1bf656341f797c10db95405ab0845c1b356578b2a22e7b4a",
    "data/heesch-catalog/runs/polycube_p10_052670-k1.cnf.gz": "f6548e5fc0b121e4bc13a88c0c7e57d3110bb950a4bfb78ebd52d92c2454e468",
    "data/heesch-catalog/runs/polycube_p10_052670-k1.drup.gz": "bd915e31520e505a23fbf63bb22c711e464eaded53059a73925dfec411c47522",
    "data/heesch-catalog/runs/polycube_p10_052670-k1.json": "e36bb1bf9e1545df08120a96048ac3dd565747a942a886d6308d73102731a5a4",
    "data/heesch-catalog/runs/polycube_p10_052670-lattice.json": "5346e1ec3b00b9c64e7e7ea74c9cd7499587c6a6f07da8b20f1364983b6d6a28",
    "data/heesch-catalog/runs/polycube_p10_054782-k1.json": "609332c8bb06fcc7c1c5b205186f84c99c423d86354446803d421a5cabc81775",
    "data/heesch-catalog/runs/polycube_p10_054782-k2.json": "3716d585dc03c2435799620c4bfb15ae025856ad832d4864aa40d94f49c33273",
    "data/heesch-catalog/runs/polycube_p10_054782-lattice.json": "0fcdd2c634795d9d252ed62c17978a4eca8c3fc6cd7f15fae0aca597e768176f",
    "data/heesch-catalog/runs/polycube_p10_055695-k1.json": "cec3dec71825e01fd3543c7cc1ff681e8202dc98c86a9f83cb4aaec01333f240",
    "data/heesch-catalog/runs/polycube_p10_055695-k2.json": "e50850647eba7f9aec9243e441e0781ce7c57905be4511833a3308d5f77e7d15",
    "data/heesch-catalog/runs/polycube_p10_055695-lattice.json": "b567a7b8bb527b8385a314667b0a2fc864b5b6dcc797470a1e4105262c80d3c1",
    "data/heesch-catalog/runs/polycube_p10_290795-k1.json": "eea3753014adfa195ffc834e5802761902846b4713a9ff5e45b416aaeef0be22",
    "data/heesch-catalog/runs/polycube_p10_290795-k2.json": "2d5d6ccb9dd50c61e733caa14e77f6d7e885cfe224399a664f1b62c787fb9747",
    "data/heesch-catalog/runs/polycube_p10_290795-lattice.json": "e34c1bfb340c113cf73c8f70e1bcb883fb2b6a64446c695af4c2065251be954c",
    "data/heesch-catalog/runs/polycube_p10_346304-k1.json": "2e9fb18f0bafdd92dcdf563493f1ebe5943c4027566022418e33e764e99ba739",
    "data/heesch-catalog/runs/polycube_p10_346304-k2.json": "3d54a6f6c28298811ce693c363056de2ba0c6933e8e68af55ff6de2fbfdaac22",
    "data/heesch-catalog/runs/polycube_p10_346304-lattice.json": "5753e0285896dfa35087f9134a8693edb0c974eccf609d1ca0464f1a15fd6ffb",
    "data/heesch-catalog/runs/polycube_p9_02127-k1.json": "d560b2ca365ff4118224b4cef38c6d81fb55678e460ef619e32acea29bfdc598",
    "data/heesch-catalog/runs/polycube_p9_02127-k2.json": "df33f8e2d436aefec2bfcf9124452ca801a7d0a242f81153542d37211518ce54",
    "data/heesch-catalog/runs/polycube_p9_02127-lattice.json": "f84e810d76cd4f758a95edffa2b5bfce6dffb3153bee07b269e878fa5978476c",
    "data/heesch-catalog/runs/polycube_p9_08203-k1.json": "796a6d1f884885b5eebcc3f7af6ff4e1acd2583ff420488a539e89b83d919a60",
    "data/heesch-catalog/runs/polycube_p9_08203-k2.json": "78defd8255a8d42e085151bebde077c78c9523982d405f37aff6725bbbf923a9",
    "data/heesch-catalog/runs/polycube_p9_08203-lattice.json": "4d573c719d4f4312608da08c1191c9f6e35458afbc7842d331539cc73630d7d1",
    "data/heesch-catalog/runs/polycube_p9_08219-k1.json": "26a5fbd23f446961e5ce70285a48e18d462107e996334704e270fef03b54e337",
    "data/heesch-catalog/runs/polycube_p9_08219-k2.json": "7509ce937f631a8626f6215050c7fe600a205c789638b829cafd7b7d7204f237",
    "data/heesch-catalog/runs/polycube_p9_08219-lattice.json": "c80172bf17ce6dda327ed0e8c812f1a7843a8efd32d202b03d9aa149bc50c3f2",
    "data/heesch-catalog/runs/polycube_p9_20656-k1.json": "a8bd6349f6d0bad4ca20e4f2cb8e03f0c1f1b1ff974db343199d553bcd9d0d75",
    "data/heesch-catalog/runs/polycube_p9_20656-k2.json": "eb9de0641b3ce40003ecf52dd00f616c31b9219636b0f6b847a410da794771d6",
    "data/heesch-catalog/runs/polycube_p9_20656-lattice.json": "f21e8ec74c220ad84f5efeb92322ee133bb3fea8dc3d0b72c26f676ee97f598c",
    "data/heesch-catalog/runs/polycube_p9_24025-k1.json": "fa23e377b741e88240becedce34a4136e105cab9993509ed93f7e48fc79796b2",
    "data/heesch-catalog/runs/polycube_p9_24025-k2.json": "2f98f2d4d3414894f244bbd936c96142004c909e85ecfa69c7f78d0491162a53",
    "data/heesch-catalog/runs/polycube_p9_24025-lattice.json": "2c1ed4fc4f3f5faa66cbecf86d651b4ab8a041209b7bc9bff6c809fe28139cc9",
    "data/heesch-catalog/runs/polycube_p9_42947-k1.json": "4b664086d151109fb55c57376203e11975630c5885c285fb7743e4b2ef8ae9fb",
    "data/heesch-catalog/runs/polycube_p9_42947-k2.json": "0400126b89e65c612e5864672db8639e718aff8c6d0d0cc824a631974420dac9",
    "data/heesch-catalog/runs/polycube_p9_42947-lattice.json": "6e3143b5eb6a1c745fbf3550e1f71cf7dbfc19bb5cabdfce9023fa24ccb82598",
    "data/heesch-catalog/runs/polycube_p9_43172-lattice.json": "d6d33316697d08e772db7b82037530fa688f6595d96c92899f599af320582075",
    "data/heesch-catalog/runs/polycube_p9_48258-k1.json": "d9fc77311cdeeabba18bd37fffa76dfca3bdecfe7ae892033523878e3eb27e5d",
    "data/heesch-catalog/runs/polycube_p9_48258-lattice.json": "ab74701a338aae240c574a4dc63b6637915f342ea4d0b05a79cf4bdfcc16df46",
    "data/heesch-catalog/runs/t_cross-k1.cnf.gz": "214770f06ff136fd8f794aafc8a2b3a2b087b5f0b131f0486d4b63357ac3a850",
    "data/heesch-catalog/runs/t_cross-k1.drup.gz": "7dd52a603683224e9c6b55119debe819c2da1a6544497a9f8900ab85f63bd818",
    "data/heesch-catalog/runs/t_cross-k1.json": "fdc61a7721df71937b9bf1b21fe6a772cdef315d96ba8ffc86f8974da77e7890",
    "data/heesch-catalog/runs/t_cross-lattice.json": "e3491f27c19ed2fa38c75fa56bb93f037fdf58c57446756bca84b10c273f0530",
    "data/heesch-catalog/runs/tuning_fork-k1.json": "1c5821eed69e98e738bd82fb7af7b353a4e7f7b38e4eda6c3ea5359245b8c4f6",
    "data/heesch-catalog/runs/tuning_fork-k2.json": "a6aea8c9fe70b793399f579672fb376c50d9688d56d2e43361ae28221a75baba",
    "data/heesch-catalog/runs/tuning_fork-lattice.json": "a7a44a805676c99e409ea1ca4ef43abb6fbc17600d176fa434f3668eb3fa9e67",
    "data/heesch-catalog/runs/twist-lattice.json": "eab2b09fea8bc197307ca4f90b502fd5d7877be8916c58d7b6cc8571ea4ac30b",
    "data/heesch-catalog/runs/twisted_h-lattice.json": "d1afcbdaba66db1513a1e0caa1f7c0f1a25d0838c3e9215ea806df03a5e9301a",
    "data/heesch-catalog/skipped-known-tilers.json": "25dc06ec08f231695f9a028763d534118e7970e0fabbf90b7d3a7a48669f66b6",
    "data/heesch-catalog/study.json": "9b7b99ab6521e44406f63dac6ccc1c7e63b83c8ba0291607043bc8a5df2d2c77",
    "data/heesch-catalog/verification.json": "ede3b23c3bca9cd1f824335414404f53f5de1e9dcb1abc1c5688220c00a89494",
    "data/ring-octocube/drat-trim.log": "07e37e2d78219dcfe7a4d804ede615c9635b0404abb25ffda78efb113c1b1a5c",
    "data/ring-octocube/ring_octocube-k1.json": "5eeeb01fed61e88f19f84cd939911998cc057a9ac50538dec6fd9a113f4d96cc",
    "data/ring-octocube/ring_octocube-k2.cnf.gz": "237b77177385ec87dd7f4275c99cc989a4bc6cc1474eff17215c9faa0f62e5e7",
    "data/ring-octocube/ring_octocube-k2.drup.gz": "252a5dcbaf66726b25f2b36f7f43713184e6316b7b1913e840b915b2964b2fa4",
    "data/ring-octocube/ring_octocube-k2.json": "a880acc73a7b2ca55c439a66f12682c353fefa14d07d4bcbe72a42057176e9ba",
    "data/ring-octocube/tile.json": "4136b575394a330419beaab43f877d11e327507ea692c5e0b38c7e573f89d277",
    "data/ring-octocube/verification.json": "27c716ec41c9e37e36c87832296e9a3aa45a4ea454cec852754fe8bd54e01d92",
    "docs/projects/bent-arm-variants.html": "7dd534f1e0058cc917e711513a9e0ec5d94bc033e708e118d9a8c257c5a5260d",
    "docs/projects/bent-arm-variants.js": "cce886859860c2878675af5864cf98a6934cf4f9715b1713bc1c28f6ecad8c48",
    "docs/projects/bent-six-arm.html": "61e84d130f749b08d4e93673fd8ee414ff52a765f6a1e77d217c9c4cf415d177",
    "docs/projects/bent-six-arm.js": "70f6da357756033dc75ed2c64227b35c22710b0a4454ee0bcd6d0a95cd26a68f",
    "docs/projects/heesch-catalog.html": "731a9e2be2180a141c26d7a403a1d544f8f93cd672457fc47a661d9c78e669a5",
    "docs/projects/heesch-catalog.js": "f59badb32ea5e7c145a9e2c2cbffa94cb892c6f1fac5536fad1b97267fd8a737",
    "docs/projects/heesch-catalog.md": "664570fab9dc166a3ea8ca04a3d4f68e05d5e77c3ab10b34acaab55a93b47738",
    "scripts/heesch-catalog/benchmark.py": "e3564d35b47632b00d0655647f6b475b03176f83e5ca3346589d364283f1efb8",
    "scripts/heesch-catalog/bent_arm_cadical.py": "8e990a8b4a321cbc76129e2a2d894ea7938e689085d3722cd5a96f62a3690e89",
    "scripts/heesch-catalog/bent_arm_variants.py": "97b8d111447d885d112fca789ca31a94bbd5cb7667f1a616c1556ae6de014181",
    "scripts/heesch-catalog/corona.py": "e070cbc458120cebe7e9e0b99700900f5c5435b31563437273ad976627ff9022",
    "scripts/heesch-catalog/edge_angles.py": "b443c26bb2d7065ef4da175394067562b5ba80e28248a5025f0bd8995d7943d0",
    "scripts/heesch-catalog/export.mjs": "ddf63339364389ca8d4fc9693a21ac1b6c9d8c6e700f6d2fe7a92ecb04c7e498",
    "scripts/heesch-catalog/graph.py": "5ffa1d3e9c678cf6ded22f031d37a6796ae629ea5dd3b887644d3c60e51209e9",
    "scripts/heesch-catalog/graph_proof.py": "c7dfa5cff50a19c483a7b0f461e4a1a4f7fac79f7730812603e7419e2fd2d3e4",
    "scripts/heesch-catalog/periodic.py": "7d828be5584290c8871e3a652dad85f691ce80cb63b2224de9e5867037a065db",
    "scripts/heesch-catalog/positive_control_cadical.py": "b1d3ba266b0547128d94c98546179d08093131b07728bbf47ce3aeb312928daa",
    "scripts/heesch-catalog/positive_control_phases.py": "bb3027264cf9397df53a980e1ec14b27fb3d7e75aa1799eb0c24f7bca9efac7c",
    "scripts/heesch-catalog/positive_control_search.py": "a6f68e1ea53e2bbf2163a25fea12055c7e9c3def3cb93f5cdee9b7d7b8bfb5b2",
    "scripts/heesch-catalog/positive_control_witnesses.py": "417e54bb6381f4741db502eb15ea9a1542b29e6091669c525b1f32a16e9e0169",
    "scripts/heesch-catalog/report.py": "5c9f9f7ca3257437b61f72d34402397876c17e91e0c0f245f44a8b7196cce60e",
    "scripts/heesch-catalog/report_bent_arm_variants.py": "a27072f9d05db31668673c396ca2cadd6b45592fa47d7222b4e4685cfeebbcaa",
    "scripts/heesch-catalog/verify.py": "e722656ed916d2e390d9570fd24607625c4732079da326806cb4a85dd862587d",
    "scripts/heesch-catalog/verify_bent_six_arm.py": "642fafc871fe82c5d5a0363ac94ead2d74089f0bf8279127d90a00f2a4d9b082",
    "scripts/heesch-catalog/verify_graph.py": "49dcfd6b62a007038d6695867de4b189bcd1e1eefc94d8a29f0acbbc65935590",
    "scripts/heesch-catalog/verify_graph_proof.py": "078a2cae7b86ed6a0ff1418b71c2526c53936e55bc41e59e4d89bea745833922",
    "scripts/heesch-catalog/verify_papoutsis.py": "aa526aba178159203cccae37a71e54fcaa860182c27275e6f82f2ea1617d9e73",
    "scripts/heesch-catalog/verify_ring.py": "0082f627af1d9e206a8f711de21af5bb12968b875c76e0652bad49bbb4f96bf5",
    "scripts/search-nonacube-two-corona.py": "fd9a1f4984958fb8e792f35bff43337b9409a25e69d89ba6c71fbfe80c618540",
    "data/bent-six-arm/variants/bend_012-check.log": "9b5defdc064c799f0ada204dd3069eda342c04175c20f175d972f53bb62fa84f",
    "docs/projects/bent-arm-corona-search.md": "4b77dc69a5707a473119f344c8b4e9279596a973ced1ea27edc8e447d85c1280",
    "data/bent-six-arm/variants/bend_071-k1.drup.gz": "02437b6205f5fff67cd3619195494f739ab8325180961460cd67314f9021d587",
    "data/bent-six-arm/variants/bend_004-k1.drup.gz": "7207451ec95490e2dce2d1be1f6f8eb542f7c12019afb45acb7ef8e0133d1cf5",
    "data/bent-six-arm/variants/bend_070-check.log": "890e9f1bcabe4cea6cf21cc4dfd3fe2cae02f42ceef6e2c1f35d0b3315d1bd6b",
    "data/bent-six-arm/variants/bend_071-k1.cnf.gz": "ff78b5b8085a4202e37a5304a78cc1e2ee7b5e5baaf70a9ded7d7bbce86cfb37",
    "data/bent-six-arm/variants/first-coronas/long/kissat-screen.json": "e125322c4c82f56bd553302110de8bbd58ec773a5079e220904d12f067a396e2",
    "data/bent-six-arm/variants/bend_004-check.log": "97d356429050326583b05a46cce6c87000299cd3d0e0ddbdb3775ca194705195",
    "data/bent-six-arm/variants/first-coronas/glucose-screen.json": "96b8c93e6eade9e0665ea790e8404abb6d1c9dd9f524852d6c9dd28403dcae42",
    "data/bent-six-arm/variants/first-coronas/minicard-screen.json": "89cfd8ad145e4d3a5adde774e83e790218abc608674c085fb8425d3be7c4bd9d",
    "data/bent-six-arm/variants/bend_004-k1.json": "08ad2648706889e26d63c51963c272c3f5d00107ccaab731e79213cb20e367aa",
    "data/bent-six-arm/variants/bend_026-k1.json": "ec8e38557d74d20d0ac132c6019ff65a10fbc3ddd7a787d05e3020d22839531a",
    "data/bent-six-arm/variants/bend_070-verification.json": "9902a43de1524e5444cbff8efb26d2636b9c0f19ed180d78abe8a2563e368edd",
    "data/bent-six-arm/variants/first-coronas/long/minicard-screen.json": "0740fbcd73462d0ebf5e154875656cc0b1cb03e3f667c4ece8fb734208985730",
    "data/bent-six-arm/variants/first-coronas/incremental/minicard-screen.json": "d038ac78baa85d4622015f9903d607889843cdffeeb906bed863bab0e72e2042",
    "data/bent-six-arm/variants/bend_026-k1.cnf.gz": "4a3bad88d2e1b8e43a8ef98cc19e3edcaee9580e1603f83f2b26413249979ef3",
    "data/bent-six-arm/variants/bend_012-k1.json": "b598019fa4435ac9522f830cb141d3fe6c957fa25f97ef3017581925be22610c",
    "data/bent-six-arm/variants/bend_070-k1.cnf.gz": "d94fee05a0ce40761871ff1cdd4701963e180e0b5e67148db71cdc06e2e69913",
    "data/bent-six-arm/variants/bend_026-check.log": "60770ca7d80ff9980854c5e0295c0dafb04c1efa131a773e562c68f4075e60df",
    "data/bent-six-arm/variants/first-coronas/negative/minicard-screen.json": "cc57550c29307ba2096f3047f7f4b1c08c7da70539d7b729b8dba5e0c7560505",
    "data/bent-six-arm/variants/bend_019-check.log": "80a5b6d9534a949e4db88c2f0e55224825ccd441a88eb6841bc507509b19f51d",
    "data/bent-six-arm/variants/bend_019-k1.json": "adbe51800555f57e41c3754d10f5950731433b00ebd9136c2f3c44e2464bf51d",
    "data/bent-six-arm/variants/bend_019-verification.json": "e52ca361c5b7cb3488c40fff4dd6a31a068ccb2b5393abdd5de9e5e793040966",
    "data/bent-six-arm/variants/bend_070-k1.json": "0f2c9611d25c6d8e61145d48bd1b78cbaaebf81b837ea6e5ff7ee24e57f42c6b",
    "data/bent-six-arm/variants/bend_012-k1.cnf.gz": "a7713fdb028c78a4677e3eaefa372359ce5895a1c301e144cc5ea1da365d05c3",
    "data/bent-six-arm/variants/first-coronas/gluecard-screen.json": "1dffa90ccf34816dfe4f00270b81c390aa87ce333f0e8d860cc78ecbeb6fac7d",
    "data/bent-six-arm/variants/bend_070-k1.drup.gz": "6bd744e2dfec483da779bce98c1d3e7ac651e40715f336539c102e1f634f3269",
    "data/bent-six-arm/variants/first-coronas/cadical-screen.json": "42d408d42c134c9192acb8ccf24dccbcfd2582de5ed0c78d8dafaed65717ed4b",
    "data/bent-six-arm/variants/bend_019-k1.cnf.gz": "56988ac4f6577535da22e0d6f202a1550519c638bb9796e02a573ce34829ebf6",
    "data/bent-six-arm/variants/bend_019-k1.drup.gz": "6abe234565051b178746ee25e0b1b79844d548ff0744947c66d93e3012eefde2",
    "scripts/heesch-catalog/search_bent_arm_coronas.py": "dbb13c28a7340bbce4aaf5c860072bbf8d3b09bed6bee3599e766e72df328be9",
    "data/bent-six-arm/variants/bend_026-verification.json": "f16c75b1aafa3e0e935a3af4310dd8f9a85266299678d3b274aa17e2ccec53bc",
    "data/bent-six-arm/variants/bend_071-check.log": "ae1683aea482c6e3ad9ae7172b59a3a4508ec356bd9d8f91f9850c8051e59b42",
    "data/bent-six-arm/variants/bend_004-verification.json": "28df9d67c51712c4024f6d625fe322e99dda4a9bf158fdcdc22fffa019c27b87",
    "data/bent-six-arm/variants/bend_012-verification.json": "460ec84b44ee84d57d3e56b310af834063c8808900c14150b41ac3ebe32a33d0",
    "data/bent-six-arm/variants/bend_071-k1.json": "d58d62eb4aee6f391096355b1d6216ad64a5d934994bbe18fd9e485f29a0a92a",
    "data/bent-six-arm/variants/bend_026-k1.drup.gz": "744697486f829dfaf488b079b91afdef1c61685353270f90bff9e0cbcb0dc6b4",
    "data/bent-six-arm/variants/bend_071-verification.json": "d4ee13cbade2b0da2b4322497bc14feef47ace32b902ee2955f32fec121b877a",
    "data/bent-six-arm/variants/bend_012-k1.drup.gz": "8ff4c8013937776643daee917ee504ad26849cf84cbda5788dc6586c23e14ed2",
    "data/bent-six-arm/variants/bend_004-k1.cnf.gz": "ea934ed021dc3cd057f57fad9a49506859816f1a7b6b888fef0f2f75899d6b3e",
    "data/bent-six-arm/variants/first-coronas/long/glucose-screen.json": "7d580e1ebf4db25bdcb47d54b56379aeba1486ae6be374502427242923326b5f",
    "data/bent-six-arm/variants/first-coronas/ring-positive-control.json": "0be411ce99179c8201d475559b9c5f558a1a8338c5b1ddb86dde9cd910270eba"
  },
  "discoveryPySAT": "1.9.dev15",
  "sourceAuditCorrection": "Papoutsis 2021 witnesses independently replayed for p9-02127 and p9-24025; both are periodic and excluded from candidate rows.",
  "positiveControlProtocol": "Original encoder with replacement tile geometry; 24 complete known periodic patches accepted and 48 incomplete fixed patches rejected. Five bounded blind attempts remain unknown. These runs may overlap with verification, so times are not benchmarks.",
  "bentArmFirstCoronaProtocol": "72 classes; 8 checked H=0 results, 64 unresolved. Four-second Glucose/CaDiCaL and native-cardinality probes with 20-second budgets cover the 70 initially uncertified variants; selected longer and incremental probes. No positive first-corona witness. Concurrent timings are not a controlled benchmark."
}