{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"a80b7cb66852cd6501e4505e9f6d2829231359964b8fff1f5c999b62dc61525b","executable":false,"formula_id":"F1","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F1","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"09b01b7c1ca02110def7eb63b4e53babe7365a21ee343cbd9a2ce7127b2c8b98","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"063de9cfb95abbf1da484ee7900ac3965094582d3e72279477e430d4bd9d7e27","executable":false,"formula_id":"F10","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F10","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"eab495218eb31d5ceaa54eda5a5ccc5646b6af1a959696dc2022fde063b27971","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"1c17caef4fe26b6e02494c910639f2233df3af013717e78550d8735d17468485","executable":false,"formula_id":"F11","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F11","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6e1aef395b97fef8bf12bbc1435e1c414682b5b78333303af62af2dc1b858933","resolved_status":"KERNEL_ACCEPTED","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"50e31cd748e89416b331bb5e0abd3b8a53748109eef02eca3715c2510564dc82","executable":false,"formula_id":"F12","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F12","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9fae59d155f8aa96cfaa28bec05c742627cd0030a3a42eee171da194e993dc59","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"2d404383279f3adbc4586e9ae8df6f87a6e4d3f4e5a079a15cc3723c8b1ca2fe","executable":false,"formula_id":"F13","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F13","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"8ee67ee4a4b596b4aab1bdda415cce2a4bdfe3d7499842184ce9919afc8f302d","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"b337a517521188e42ad1c8c15d4f402d230283a202aadee16f44b13d3c63c328","executable":false,"formula_id":"F14","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F14","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9372c3a11a2b1079003417a6f65f1ba205f22ec28d462eb07bce5d70ffcb7d83","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"7de99da39c78fef7d85848963aca90f6acf957f07d487244219ab8db6fe41747","executable":false,"formula_id":"F15","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F15","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"aab43c5b97a278d25f6fb33ea63e047fbd5cc041623f46537a3e48d23494756b","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"cd727b3cc76a44aa612068603f9fe4031d8f2edcc9ed74efcac3a87d60ae468b","executable":false,"formula_id":"F16","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F16","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"21a477741c9817030071ae9c0eb003b66996e468d787e7c3dbcaa34165a9c9d9","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"3dc3e256eb9830cd72a86a72a9fbdb792194c0f71218d3450681e1298bfcc8dd","executable":false,"formula_id":"F17","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F17","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"1eab2a4c2f644fa2fac0ec5e382e3d054a2a852d8d3636ec788de45de3ec584a","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"c3d90bc63449c656624c0b55e3b8e1d8315f0c089575d14e483c8e883301f3d5","executable":false,"formula_id":"F18","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F18","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"c96699899a4c7300a6714696d41d8fe3c9eadab9a6eeb60f2af3d1305e71fc59","resolved_status":"KERNEL_ACCEPTED","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"82c5e1f77c7fbcb5499848a1b131899c7ebbe695e6da21e62e5d68f250958197","executable":false,"formula_id":"F19","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F19","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9cbb144ffae2ab94868f407c073ac4408aebc6d7f72c28e0ff4ad1dd21f179d3","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"85e401231583f5bb1cb3de4151ad25d75f843522e270e334ab4b9c8e6f151895","executable":false,"formula_id":"F2","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F2","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d7caad3a74fdbacc27077e0fe0d144b4aa32b6e7eb884a6f664e53b2a89b5c4f","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"b4330f63817e148d8176f53f0ad2773422cabe98546c1cfe44469db683362fae","executable":false,"formula_id":"F20","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F20","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6dac5ff284f05d88e3b420153387c5370fbf825cfa69dd29748a7440eb678a39","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"6bcc51e6208fc6ac4ffb78b057220019194366e1e8cae2c54b8fc2847fafcb5e","executable":false,"formula_id":"F21","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F21","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d987e240b582dc599e27647ec58db98d2df8c8625763ba523e4f1b994092efb4","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"cb48ebd99b572b30cb0c162c50843179f4e1dd0b283806728de2ec3ad52be571","executable":false,"formula_id":"F22","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F22","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"86f52b6efae0bc45ed5d8394754a60cf74144599af4a903bf3c1c69ad560a037","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_REFUTATION","claim_sha256":"5e71648007050ab8f07d9c58ace555e4b907bca5492b4834d232a3059ff407c5","executable":false,"formula_id":"F23","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F23","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b6cb27c7e9f1264668be88d3c7dd1da076fe64e2fd6ec20163eb146196b7458b","resolved_status":"REFUTED","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"15b451260fbb6f6d13bcc23c1e6fef6a6d3b4afff2e1f10b96f9f221bf5cc65a","executable":false,"formula_id":"F3","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F3","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"77950bd8cd960c77b0521abc10545ad9c8c6c57412ddc01ec448ce64c9088ab6","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"f4ab7ff885cfb0bbdebfae0aaed687438cfedd94e497e32010eb0b8e4fb7b714","executable":false,"formula_id":"F4","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F4","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e21e2ad47edd3500ef491d823ed12e49d67c3546b133d0e82c7820d699565a7d","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"95fe30ecc6c0615fbb8d73e0a6b073b9856ddbe1b965f5d9eba431f7a584ba8c","executable":false,"formula_id":"F5","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F5","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"3b6e4a0c15df6897b5ca50f96b77b1665e90a6b4076f06d8bdc5e0687e7359d2","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"199e71b985cff1e8a3cec6147da774a6bfb7a3b9389b29793da2c6e72ccfba31","executable":false,"formula_id":"F6","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F6","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6131dd5f5aed8db020934793fef0bda9e6d276c48f56c285fbd9f01aca79412a","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"e38f7ceb45160d428837c9735c0c16bb654441bd0ce037465903313434e2bcd1","executable":false,"formula_id":"F7","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F7","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d777cb8d38bafd2916199549a28cb6716b82fc9170c66a94a9edad3d0c722a95","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"f9122ec5ac0b21e1533a5c41c005399ad6545e4c64031022eaeefc36d2606fd5","executable":false,"formula_id":"F8","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F8","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"354434f15f289ee1ce1de988722d6cc6466fff5f0c5aa0c36476e82f81b8e4fd","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_STATUS_PRESERVATION","claim_sha256":"59e7f66697bff881833c8cff7509eadcd94ae896a16d8069a3d2f1eef522c451","executable":false,"formula_id":"F9","formula_namespace":"puriq-lean-proof-pack","proof_transfer_allowed":false,"record_id":"puriq-lean-proof-pack:F9","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"803c904451a659654a9aa12ea710853a8d49dd28de9a8833e323781de0f5746e","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"d8e7376895168d4d25fbe9dcb5a66ae5961f32a3e06c351b8e75ad31ff4c009f","executable":true,"formula_id":"F1","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F1","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"2b78c1b52876557bb57c99b393dcef986a1175d5b65b34220b746092bdc56650","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"ada64ce8cbcade1fa019d98116d11f932bb4d86d0692a0bd6ba4485c95a8e7d7","executable":true,"formula_id":"F10","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F10","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"4bb3749934382ba54c915198156424e65c0ec9d489b9b7dcb760fed508486725","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"713a46711597f60e4f58b0f2bc6bc4abdb5fd9315ed902f1181a88cdbb5f34bb","executable":true,"formula_id":"F11","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F11","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"ce7129264ee02832e1ee3e6bebd8e17fd060bd6832c6898e45d1a38eaf0c2e25","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"b711a4a6c30dc94ab1ab47e80a927442d06340c7b826a45f6435b26ef2caa785","executable":true,"formula_id":"F12","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F12","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"2d969d8817240009a6c0178fda4ca2389dbd04fe77620944c4df5df7beef9e70","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"dbeeb94777178e0ce993901fab1d038367aebb0ce610b68fd0835f2bb022607a","executable":true,"formula_id":"F13","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F13","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"092c243b928c6e6f578847e1f7340fd5096a759454dd48d52e48f4d1db7c15b1","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"47be4703f824f1044c1c2ca8a55d6853492e46564e1e7dc45f48dd70cb1dc7b0","executable":true,"formula_id":"F14","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F14","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"62da90246a30cdddb550fcba2ebe06f2c556f49d80ac7a0d39606b10996d126a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"f95bf172acba1031a78cfce5857406ed83ab005aeef049463c6f765e77380117","executable":true,"formula_id":"F15","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F15","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"609f1e1610c528b4aa8eb0562813f1fbdf4ec4f56c0adf1d1ec7860dca3d3c85","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"31c723e08600eaff88059f001e9b8d489b12b4eef5f676ba60246cc630c4a3b4","executable":true,"formula_id":"F16","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F16","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"53a3e1fdeee4bf1d2faea3ef17e3c3304f0dacf38e4b2b18955d365e9b0a7f00","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"d73cfc04e46f0bf97b3b9ec3067813865d0d18a38254b4a83de166c37c31a02f","executable":true,"formula_id":"F17","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F17","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"bce1789a4cd2f3978c490b8338b186e390b2db8fe2b7c78866f35453efb8a085","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"af310dcf9ab7efa285dedfd3a8ea4898e9c7c8be67ddb1a0dadd9c174f9499ac","executable":true,"formula_id":"F18","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F18","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"405887ce3ae720fbc50b8b2937262fc324fba5d3878aa12351b395a7771c6ff3","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"f36e17cd575947cc4058ca07a3cdd98bf21663e2a9b8c67456ca9fbc47115df4","executable":true,"formula_id":"F19","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F19","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"109b6145bf0ae5687f18e4cb481834b32280a644be11ff3ce7d6b45ea60c83fd","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"4720a1447075da74a5f563534048c75bf7d5a8bdaf13423314c8c6b1d4ed4a25","executable":true,"formula_id":"F2","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F2","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d7a6d9be84fa307643300967ba8fe8054f93a7bbfd05b2d15336a6e87563ad80","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"6333de1ea100e18f0be72609ec934b70b50a15aaef8feefa033cda0782f954a0","executable":true,"formula_id":"F20","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F20","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d521377660716601be948b9fda092606b9132563b639fefb500b2d3b14c88433","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"41ee3577506bd4936914b81f80eb8efca9e3db385813a2d63aa19069d4c6b087","executable":true,"formula_id":"F21","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F21","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"65e3b0097e4dc6622ead5334762708686d3072b4340a87ae0f5bbae99744f9d7","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"495ce6dbfc1d61f415c033fae18323d95ee19b48282cc8c877cd9cd3ece1edec","executable":true,"formula_id":"F22","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F22","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"dc3e9d3f66b6d72979f25c03b92fe99cf6971af37c70cffd881c7cae75b2aac8","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"501b9a119e7a44877006b8a4d3557a096ac289eba0a899ef306bae04d51b3fee","executable":true,"formula_id":"F23","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F23","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"3f678b4a708e8366f183e84ebf0175f17aed672ce3778e4dfe733879056b203a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"ac359a5bb034e3a1e67d4bf3529ffdfb1c3bae89617325424b2c73e0fb9e6139","executable":true,"formula_id":"F3","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F3","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"98e973b3af9b67fc822e4b1c6ef3ebe3e1b13897c9fa35bc499e581deb90ee4e","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"f20a4ac398a8f5ed3ab8c8cd3c6753d96f8a7314ae6d3522fd9d0d9a1ce7a970","executable":true,"formula_id":"F4","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F4","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0a046477972b3dcfaeee6b783216c6389b945d50521c395feb62fcaced5b0ec0","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"b6b875b171762b09fe5104ea4c5f4a4988502bcb7f0ce74cd0ec79d4c05d438e","executable":true,"formula_id":"F5","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F5","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"a888a13f2538bc58da68fb86022a7faa2ada127c3eff97d2314e721e128c2778","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"ccc0da6d20403bf7b39f504e7786405929b65df006facd2cbf47f411ce13f3ea","executable":true,"formula_id":"F6","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F6","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"f1fe26eb2ccbc0656d22f6440464da2f5f965a438c1ced031efe12679c6c19eb","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"5cd3d0fa971a0280e8f2c8ae59aa012e0617eb2b87e83f35de71f0482184ba58","executable":true,"formula_id":"F7","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F7","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9d8f2793195274ef0f76813b707e150367de315cef1e53ab2a2497256560a8fa","resolved_status":"CONDITIONAL","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"91a7ad49ab70101036b99c67e7fcd8f8a1465eedad3376e27ea15965b951e060","executable":true,"formula_id":"F8","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F8","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"09da15edee1a76d10b6317cb5a8963c7be0c4a13f5f10d4b9115f227f1e83ccb","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_NAMESPACE_DISAMBIGUATION","claim_sha256":"2aa49202a2fecc9f9f222ada8ad27a7946b8f35c6fa8a9c6f2729a651d19ec40","executable":true,"formula_id":"F9","formula_namespace":"puriq-runtime-registry","proof_transfer_allowed":false,"record_id":"puriq-runtime-registry:F9","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"a8443c3d6fe10314970a4febd2fae83daefc166e1788dc019ed82cc4010b6804","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_EVIDENCE_ONLY","evidence_status":"NOT_EVALUATED","evidence_text_sha256":"a4245783c378d224a7687008a33460dab448efd0ed070af494cf569b20d8f715","example_type":"negative","formula_id":null,"formula_namespace":null,"query_sha256":"3b9ffa013c5116984a8201123ff478ed39924279fc58117366dde6c874668874","record_id":"szl-lake:lake-no-training-claim","record_kind":"SZL_LAKE_EVIDENCE","record_receipt_sha256":"de652a23b10c33582b356e3c57313ce866abe71a0b98a39e690f5f5d09548f77","resolved_status":null,"schema_version":"szl.formula-admission-tranche-record.v1","source_artifact_sha256":"320158450a3a8207b437a885221e9ae00ee72807a5c6ad4dbb95ad7fbb3a3c4a","split":"HOLDOUT","target_relevance":0.0,"training_eligible":false}
{"admission_decision":"HOLDOUT_EVIDENCE_ONLY","evidence_status":"NOT_EVALUATED","evidence_text_sha256":"a4245783c378d224a7687008a33460dab448efd0ed070af494cf569b20d8f715","example_type":"positive","formula_id":null,"formula_namespace":null,"query_sha256":"385cecb32fd3e3b61f8071896cc2e96dbffd9720d7ec3255d164f907898e74b5","record_id":"szl-lake:lake-repo-positive","record_kind":"SZL_LAKE_EVIDENCE","record_receipt_sha256":"5a2811d54399f460d7ddd0ecc0cdde93bfda33a0c4de29a7e30e54aae437d688","resolved_status":null,"schema_version":"szl.formula-admission-tranche-record.v1","source_artifact_sha256":"320158450a3a8207b437a885221e9ae00ee72807a5c6ad4dbb95ad7fbb3a3c4a","split":"HOLDOUT","target_relevance":1.0,"training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"21e669ad85adfd94394dc9cbb073f517422743c3ea30236dbf5e8e89911da6b5","executable":false,"formula_id":"F0001","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0001","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"bf78405b5aa8a36b2c10599624cb716352b605f1f2a7bb2de6e6c0a52aca0737","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"342917f9247c33702fc4c00e7990dce4e3fbbb9f46d6e875c59aad1e69392065","executable":false,"formula_id":"F0002","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0002","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e2614a2cadbf938be563246ffb8312bf8d29bbaaa6a24dcf10d34790480b4884","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"e65e4e717493f6481e1acf45fa7445c7446cec0014acd1584f70fcfd77cba73a","executable":false,"formula_id":"F0003","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0003","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"5da4f1961bc9547c8d17d19ccf08aa7b3bfef9ab9495be810ced32e2b932e9e5","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"4b8ec46ccab611ab454155f160339f1e0bd059e5790d7aaaa6e15fc236de0a50","executable":false,"formula_id":"F0004","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0004","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9dfe6fb1350af44f5db721f4ea319339ebd94423b5d4d34c80d5867bbab0f934","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"671d7ea59e850363dc3e2a835b2048aa9b2974345c2d4155b9f61571fbba4fa4","executable":false,"formula_id":"F0005","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0005","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0a183a1ecc37a828dc9c517886e634e7f52e40aca39d4a295ec16d94110cf324","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"411dbd4abb2a9ff6b99a26df55863796f8e3a4f2eab3b74caa415186ceeffb1a","executable":false,"formula_id":"F0006","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0006","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"5e8cac818bcfa366d1833f4c5d6c9f53c021614b2a9efb98deb90ee73b5c3ca0","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"f939e0bb30e4048ac2a5ceedfa3f9d2c902016cf6a3e2a71a0ed5b81ab64ab02","executable":false,"formula_id":"F0007","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0007","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e94e82abdf6c82b30034bee3361387eb460a7eb72a26ee20df72c23d6dab7e82","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"f810ffb237c7c6f60eb46d62eed9cf556f62776280213df126705207d1829e6b","executable":false,"formula_id":"F0008","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0008","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"5c4bf1787128cb1c765e03677eb43f9fd66d4bbb5e6806c210e2cb677ff170d1","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"db17c6256c8f800c8f115d043043eb947a17564adecce8a7e37d5a32f40406d8","executable":false,"formula_id":"F0009","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0009","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"bf9cff03b343a9b3bf84325799376720f3eafcd45f3ec206e157b642d79670c9","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"fc15676fe8028d1538c213624410002c5466eea3f59a653d2976b4ee5fd8dc35","executable":false,"formula_id":"F0010","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0010","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"34f3ffe169430b624ce249bd51f174319284582ad6f4cd412e5eaf0f986803bc","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"0d19efdeaa500442bbf60be0146f70fe64a1267e2e443174871d56b479bea226","executable":false,"formula_id":"F0011","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0011","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"c08fb1598a971f2be2156067b73db152cd78147cabf93c383ea38e88c76e969d","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"4be10b284d715ac7d2a8a89a4f694e9d67998a712407ece3b781891895103797","executable":false,"formula_id":"F0012","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0012","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"57c18af5046d42ad475135e6b890697c713d07981a0058d52e8105bdda9be4ee","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"308b45458fb8409b0b0248096ef8cc56c4f583bb3529b33b1f1fb69da0f5632f","executable":false,"formula_id":"F0013","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0013","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"ff05257e3484de7bcd571bb6d03b16155c5de55bda7e4c9fe02598b25214411f","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"4f95b693ff86dc5c25fbb8c603a95dff973a6535b23ca38a604acf7516d08758","executable":false,"formula_id":"F0014","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0014","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"53e19904256d36ad63c61ca3c0cfd1320f5f3fbbe273043bd69d7a2c88fce6ac","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"32ba04a3e634c14f76b34c58d0f8978e265749978397c540478f34f1802284ea","executable":false,"formula_id":"F0015","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0015","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"a8dc2feda0b5821f752c13d75065d199933861a0f50098808625fd9fc40d3f52","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"87929f23154a2f5847411099fd20d6946030574d4aadcf0af6e9ae8a4dabc3a5","executable":false,"formula_id":"F0016","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0016","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"be94a38bb51b179f742d06a5b2e36f6b75a179c9d332fe86837c86e9072b7f34","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"1db756813d7147f679bd5efb18d4e3cc3e4167213e34ef5dac04d0aecfce5eb1","executable":false,"formula_id":"F0017","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0017","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6b8ba1f391285c5a4040b099f3ce2716496f9770e010528d1b31ae7e81873e7a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"23092b447e859df9e38c855bf7837eae9501a7425e6e1b3410baba25dd42d3ad","executable":false,"formula_id":"F0018","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0018","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"14b85fa7183da312816e6d9b7dd04147031358cf2479f693a27f35e5b8563ef9","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"09e2087aba4dfb79259956e274739b0189fdf398998e136422fe1182261076e4","executable":false,"formula_id":"F0019","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0019","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"a18f23a17d49d9537e50bb17d89015cc26902f887b9eb97d9de052d321b536f6","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"21fa36a5d96634ab7a2126ef0e5b771e1ceea51364c3e12c3c6abc767524cf07","executable":false,"formula_id":"F0020","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0020","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d0053dda2c68a813ca586468d0f4a93e12359110051c18f6d8e4c8730b490396","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"472e624b182c3c0a87abdf051ab42e4b0dc4170e99bbaa3b13ec64c20f74535c","executable":false,"formula_id":"F0021","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0021","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"3becfaab6f4ee5cd6cd79b7c030b906c071bf005f83ee9f00b44ddf04db1e133","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"96b35ed1242cabe4c23cbbe1874fbdd46bef84125aa7a43f693e131acbed15b9","executable":false,"formula_id":"F0022","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0022","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6470a9601acef1f39f4b3e77788cb07cb3d13e599020c6038349ab4a4ed6e109","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"72658e816f2bada30e2cf39a3a387d56973da1c6b76d3f842d6e049c0381b8fa","executable":false,"formula_id":"F0023","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0023","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9840a489fdec1e2c0757457f0062a61b08dc94605e97437a6f11e471cc020a3d","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"148f951aebd22f1dc96d265cc991d03d56a38194396a0389aae459c0f20571f8","executable":false,"formula_id":"F0024","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0024","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d0a681b187c4933fee06c6eca1a208f5cfd32720c3af274078b8a169b255a725","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"a6604035800f35a68c83f799778de6dcf1b76a1b6095c53b5e993820eb7ecbaf","executable":false,"formula_id":"F0025","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0025","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0a63b6c4e599684e3a990b65f05e6112d25ea6143e838f803616e756a130f243","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ef6e5c1d972a0bd5b17c9455b40952e6fd87db86efe8aecd005f5e574594eecd","executable":false,"formula_id":"F0026","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0026","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"280747bebedcff148a373d8fedfbc642a89923d6c00175f415099ecfbb8fc041","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"24ece81bec23b8840599f453ee391dd73e37d6061c13f2f9c303b8730734bae3","executable":false,"formula_id":"F0027","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0027","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"1af90719c8ab7b81d61bb37ba06d4995b1dd17b0b16af8428a0775901cf5ef2b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"26d4fbe03127dfe06e9d55f12e1fe7475d731912cf86f15ab8012dcdd74ce427","executable":false,"formula_id":"F0028","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0028","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e75ade0d5801613eceb284a72b4555c33725425327bde6081d750285e67af26d","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"3c66ebcab1c2c369f4e873bc18006819d0659de868f7e9b4c4a16a768907aa97","executable":false,"formula_id":"F0029","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0029","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"52634731c92f00f4fe9b0ad59aa91de78a26ce4cb4e51fc12bd8744e7df1b3b7","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"22c9bde4cec1581bfd790a7d35845eee11d8d31edaa838e297d5205aa8264e83","executable":false,"formula_id":"F0030","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0030","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6d9855ed9266c2bcc30a9588085dcece0c5c4fa0d251eabc9558f33ef3fba34c","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"da14ec36d8fa6d590097ebda55abefdab4b4ba869ba8e54902cb947fa452c0b0","executable":false,"formula_id":"F0031","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0031","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b988501c074ffe098b9a697b1a107eba36a0a0eccb3616311ab4323c5e044209","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"6ae8e84c4f934519d1ece4388a299f9f3bbe5509e19c2b6828b20a76786c2b83","executable":false,"formula_id":"F0032","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0032","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9e1b6c2c76cd25cc86c95b14f2b3bea967ca6fffcc74f28d282d7e8f8a0549cd","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"db796be814546446ec6a958d93e75633e282761d07870285f20e26ff1b06d32f","executable":false,"formula_id":"F0033","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0033","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"beb817b6703b868aa48eb0e1f4fc020e651986eb50eb969303c0bfef1fc6ead7","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"1be941d871caa5a8303b5c7d9f544eab04108343209dc63d155e1d5bbfd10fb9","executable":false,"formula_id":"F0034","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0034","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"733ac986f9757e0731ab6bb9adc89270fdea093698548668514bced3428c5533","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"7c0e2b46b4ad0fbfe379d13c6dfbefa58f5c50f83354f549999346891825f147","executable":false,"formula_id":"F0035","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0035","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"94d74838329c83ae27d0677831d691f18d54f2bf5944468bed471e85fdbc4d1e","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"1c116bc55c666dfc2eb0f85ae467f9f59736976aeaf430a9aebacfc01c4a2c17","executable":false,"formula_id":"F0036","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0036","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"aa84bc4d2382f350197a17a2c2564a2a785915217430d489544f314580283cfd","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"bc1fb5d13793517803f50b6c0677fe0c46a53f3588296ba46efb624d221c4b4d","executable":false,"formula_id":"F0037","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0037","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"721cc4b6372a670964af51169094d684a753342304fe9563377878d3629cb507","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"9b5172591509fb5dac19a4c4acc38695992f08c942ce2fd7a9422b834d4f1c84","executable":false,"formula_id":"F0038","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0038","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6be8f78ffaa10c3e86cdeabe5720e94f259aa3ab70798b511d05c5d28eae8f97","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"f70f3411787950d58882312a246c85524aa06bc4dc2041fc8e05ce1556dd31ca","executable":false,"formula_id":"F0039","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0039","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"7e7a11495e64163d28480ece93b4f748771e6793f90cb2cd66fdfa5af311ade3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"5fb8d23714a350da2826c2fd4657598560bc2c55b596a49f4255b2f3f48b1c94","executable":false,"formula_id":"F0040","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0040","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"248f060865b6604d41ef2c93e919838b12e637467622ba46017c4ad85e859843","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"567d0cf980bbdf6b43c83a59802dddfd92fdc51ab7c54a465c32131ed5a99382","executable":false,"formula_id":"F0041","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0041","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"55f6b01e0a8e7702956320d60aa6679281c40c63a200dd5f3388e4ffce4075e4","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"cc6e758c76d3f12550fb16f7fb45b069b12c23bf7b35b3ffe859ab694cb8e37d","executable":false,"formula_id":"F0042","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0042","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e249877fd80c82a4d06d143d8a9e7cf7e97a06b393cc73dc069d89603936133a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"2a03653f846dfc56bdd06845c042f85188ed339834e8c1c6c5ea2a98e2556fa7","executable":false,"formula_id":"F0043","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0043","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"c2fdb547a693d77187f102ce518fb208249292ed6f4b99f46a32c5e6201ea5c8","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ac4c8c066626fee6f98b3c64685990a0dcab540e8fb8bbf18f6d6c4c48493064","executable":false,"formula_id":"F0044","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0044","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"edfdf8fee5fba3c490307d1013ebb6c67c15140b0ce427f91fc7573db78eb92b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ef1cb1a5ddb3a66d278b00dae9fe7ec23c1ec5a9a696dfe7c7979166e3091943","executable":false,"formula_id":"F0045","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0045","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"bcc90a38176832bb22eebb55bf0c3ab8ea5c444aaa389c2f09f6e6ca5da53089","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"971b2e73f507b2d4f649048818c61724d0eb30594579710cb7ce0237fbecb53b","executable":false,"formula_id":"F0046","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0046","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9b0c120c4c62c961fcc43e78e52c09c45aae5a47e1986b9fd503a5fa56928014","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"551749d5fadd11d504aad9a3c7baa02e216a0be093aa437cf0d4c22c21035638","executable":false,"formula_id":"F0047","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0047","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"74b774b3afd0a120c9d882b129967549c183cc1fd0dc05be62d17c141c7020b8","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ff79883151ec1c2bbedc1c5c9ef11f2afd1dce79dc4e12f0dd2cc2b1e8d0b360","executable":false,"formula_id":"F0048","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0048","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"3a0160e627265eed49e6bd11d6df37dd06a20a923d7f76ae9ad748d593029f08","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"6795e2be7a8df0fb61ecf03e629c035a0f7cfd278b5b4c5108d8a818fbe39357","executable":false,"formula_id":"F0049","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0049","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b795ed24252ca20aeea6c633c32a1a41c691d934c4fc3ce7e42f63b9c5c7d281","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"994e32c12556c2b2e311653ca5ba312c6e050f793de09a379d563a649048d479","executable":false,"formula_id":"F0050","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0050","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"477e93ce90d048540a3be5e2fdb427476821348498c856c8120326ec8138f7ee","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"e795d0a6a1ac429c7fb7eb5b12abc61e48ad821d714ddaa50c31d7a76bcf832a","executable":false,"formula_id":"F0051","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0051","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"1954b550a5c6d742e12dc35a1eb67e64cc66a2456af929673ee807c643cc97ed","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"36d5318ca1afee38727fb8b37e84b02c471e7be214c7939197f57e1bc3e9a609","executable":false,"formula_id":"F0052","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0052","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"626f5d93c7cf03cf57491b4eb8859e3e3952bcf4ce64036435b9ff5f1ebfa3b3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"e93761e2a547675ed97bc17bec783b8587ecc339b0509701bab7c8be2ea2f9f1","executable":false,"formula_id":"F0053","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0053","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"5af7b2e27a0bde4bd7c3a44ea943cc2b075ad88bc25ae3eb5a4160f39e40430b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"f18c92f748f944f5f77e79fe816c4598a5be1763aa63de89ea9f17c3a8804d0c","executable":false,"formula_id":"F0054","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0054","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"66d87dda7252cfbf2b49c9e9e82d8c625e1c2da6576c12a0c57bbb473fd5eb2c","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"391e50f072f111e4c3942a4182d6f254a967779f19d262f35b8e1fb137b00add","executable":false,"formula_id":"F0055","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0055","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b300263cc4216ba4413d022beb927c30dcf7222cbd72a856def186827fa20fbb","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"81fe8ffc4765a4c02281ac3030ea9305b2a6202dc87e03eb00b7528f1edf704d","executable":false,"formula_id":"F0056","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0056","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"2e2abbac88eb97fc4002e6d7685a843c3c2a23c0bb0edd5e0e57dfdbbb2841f3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"bb246951c9b78d6b2205f2261da606d21d40be63e812ccdf84aff5025c334df4","executable":false,"formula_id":"F0057","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0057","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"21bf65239515c6ff50c5554d2e078e69f83ca198a94345d06522509f6053710a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"9d2fbcc0f3dbf7b1ccd9b9cba4d28411937fda6e328bdf79f175a08615a974a0","executable":false,"formula_id":"F0058","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0058","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"c51ec21354d52d756c8584fb3de319decbd619a007aaa92a38a52d7fc887650b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"72a6d43270fb10b2390816ee1dac5f47218abf8e2cd91c46a2129da5704a9bbe","executable":false,"formula_id":"F0059","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0059","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"187b223f9bd7ceadef863fa3e40d7706c792e9eab247c483e3b013f360846ca3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"bd05f77baeacd9311ec8288c4f99bec81f95cb0e323163e25ffe737c529f0ec0","executable":false,"formula_id":"F0060","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0060","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"232bbb3946b90c84dadfb0370eecf0798d253fef973423c4d474235ff59b9804","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"52fd08d7b4bac109f3c52bd3dacbcf21e01174d10152452c9081a36af5cfe0eb","executable":false,"formula_id":"F0061","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0061","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"95dd84da489aabbcde4aa1a51e02d0e20f62af17fba40978814f0d4ad70c2701","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"3159ec1dc4eb16cedafdc25c63e45712a79710b9ef618149e8718b50fec6d05b","executable":false,"formula_id":"F0062","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0062","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6ccf393e629d3841cdd86abc4eed1833d88aa50123a7a302fc1eb5b0a920ddae","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"45ae41f57a9e00ee35d5df0f3d4a04ad2d923ae103af2e6e5ab56c59e9f7dd21","executable":false,"formula_id":"F0063","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0063","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"2ca216bd926efceb8c5c27c5ca2e31ac8d5e648dd83a25026fc1bef6176956cf","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"906961c4e9948782ffc95e45ac07437cd6b70f4f856ad5fc7f97a6564fae8e65","executable":false,"formula_id":"F0064","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0064","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"3f86a77f3fb280401087bfca21304dd8d326d7037a8cf048c2da10c56f6230c9","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"c4165b51ffbda0354dead3e6a5b6a115e8035faf786f854c1279c0fe1f58057b","executable":false,"formula_id":"F0065","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0065","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0c502dd82bc4fa754aafb270fe60d555c267edfe138e1e9265f6228e0667ea03","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"7de56ef24049d59172799879b8d01d3a6b947b9acbe89604891a2d2432bdb5a6","executable":false,"formula_id":"F0066","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0066","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0b6ebf7f6ead3995ef4b3a0b592f347f4af5252a3777f99a69fc7b7578f96a7a","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"41f917dc7cafb5f88c444e3e024ba38d94bd26d30e4d6c8357e930c66538d96b","executable":false,"formula_id":"F0067","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0067","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"ccd82397e76a550bfc76880cc6effeb87d053b109af934dfa237d7e651b54309","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"3f621dd0248ee5324158597f528692fd4d5fb090a830c5d3f5a3c6b73081af40","executable":false,"formula_id":"F0068","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0068","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"eb748a6ee99804a2b58707f21865610e4ffcc43d96c730af818ee6ed2aa2d656","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"549e0f458d581f9f0f37c3eff0c94df8eec388ed225d20977c51e2d38018b6ba","executable":false,"formula_id":"F0069","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0069","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"ba8c1a7f5cd371b98d2952de78d0a3f520bf478bd4799f135a5435ffebd41713","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"80bef39cae043e3408b7e62145405d83415b5bc705152e0dcc44c4023d375373","executable":false,"formula_id":"F0070","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0070","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"396cea222ac34e66c36ef936fe7f6d9c43dedde94ab6bd7ecbb431f55d7db1a3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"4657c1681627ba39fd02ac082dfe12bc643f66e41036eb4b6f7ee0b3bc2d02ed","executable":false,"formula_id":"F0071","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0071","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"1166d69826b5f3cad1acd7dc6d68807cf32842cca96d6df23820468b31635be9","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"4dc1e6409948a08767ababe3d363e6429522d5dc4a12b56ebdc865c492dee742","executable":false,"formula_id":"F0072","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0072","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"2f954f8d2d8ac847816e41b59b9e283e45e1d1e595d6063a54a6bbfe57fedc29","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"0ad0734a7fc6e52133686db753f1a9343553b39995a5f74f276606b0a19f2f44","executable":false,"formula_id":"F0073","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0073","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"dcc883605655a6f8e063c7ab6ea6dde1684fc3d37cadcb51a37b3849412b9d97","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"acac8fb83015f2d0bf1596c0d7c2ef1e6cef3ed24e231be46160ac86d2716952","executable":false,"formula_id":"F0074","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0074","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"590c300498b5dcd6ea9230ed3a85884b03e93ed27b8f4f358dba77be43e965b6","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"a7abd38f8aa2e31d7bd059889927fdfabd2078d44126fe6b6cac85f85c74d21d","executable":false,"formula_id":"F0075","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0075","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b31d3f61be6cbfade09b8ad1ebccff39c8ba6f9f9212eda4b6288f74081df150","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"128f849241ddc6231d3992fd81f6f1caab83b3e5b23b4ca382d6ebdb10fb67d0","executable":false,"formula_id":"F0076","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0076","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"38c67c29915bf48fb1a87a0d1c853bf73067aa1842f0691b8e41d830b8644268","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"1b40053e836371bccee1fc60ee3310a4a86e9c9c0aa79ab23050e6392bd40e13","executable":false,"formula_id":"F0077","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0077","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"e676dbd2514b76ae70488caa79b29d19c4dcae8b762c8dea2b9ef491982bc9c3","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"5de9f8449c73d858d8eb37d62538613fa43a4583c0b782926a83d7aaf6841a6e","executable":false,"formula_id":"F0078","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0078","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"172074fc5f93a41071f61daf6262927d85a12f1b4bc5a5989d802173c63835db","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"0df905c908a358a9227286e40a8172c801a40d00986b33906195d6981e37b537","executable":false,"formula_id":"F0079","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0079","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"c7adafd66f5a66c756f402e8a4be06dd2b48396d8d6c16d85dcc71a251548132","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"392534eb421290e24dbce835598199cabc1b7e1a73ddeeafa678fa15ba4180a5","executable":false,"formula_id":"F0080","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0080","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"6ff908c2dd68186da4f1f4ed0c6fe2c7366dea9a1f85ac601eaff2265c1b3e1d","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"9d5377d1859613962b2f588760c0c7419e58f6110a2565676c37a6dc634be625","executable":false,"formula_id":"F0081","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0081","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"df06ada2ef61b398d24a5049fa9b580f525def5b9e62005ed63deee2ce0f3538","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ac49f4f2b40d90a2a21f880d8dd5e5582d60eab967d0fbeb14266eae72415416","executable":false,"formula_id":"F0082","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0082","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"0eab2bb9d0415336c3ff2ad0bbfc0066d65a17fcaf68e32a06adf57673e12c71","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"7dbe5ab139d459962083a2bceb67bcacb257028b617e9ffc670f26c66cd42cb8","executable":false,"formula_id":"F0083","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0083","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"956ee729b59e0cebc86e70c08885e61d854e8c47028fce7338d8f8c2bd8f04b0","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"c955d343c0093e2206f7901a7fe8dab769cdb1511fe0a455c8621e0aa8025cbc","executable":false,"formula_id":"F0084","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0084","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"38aaf808aa78675143f48f273360048fd8583b450efcd4744fc92dfa11cf5489","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"b0159de1ce91e15133756a5a8eb67f5125efaf82963b365264d48ddeef37ee67","executable":false,"formula_id":"F0085","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0085","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"61ee8bcca226891c64e2458627ff20059c2e723fb58e39e72f8531851c7a12cd","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"11a893f1792d09294abccfa2581e419b81313aecb93efb0a69bfd9a79e69eabe","executable":false,"formula_id":"F0086","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0086","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"7840d7b956150905dcbff20a77c6f54eb0742ac0b576000dab1c72dbfe9da638","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"8e8c5c5e20967c051169ea96d5ad4a38b380bca79babb98b77cd246c05865866","executable":false,"formula_id":"F0087","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0087","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"f5a8d35263695a744ad30395e58d83f129dd93bcccf96457afddb7bdb91bb45b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"66d294f0dcc567d562af5f9285875ba0ef0c4bd3ff9f7b09f3bad94e10b01d25","executable":false,"formula_id":"F0088","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0088","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"d93a34a6794bd8ab1629beb7fbc0608c397131d6a730b53fdae998981808f5a6","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"ed7a054e8226b7743ac62e46366537b04b912a235f6b3cf2740fb50b3e0ae56d","executable":false,"formula_id":"F0089","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0089","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"04a760875acad48bab6a6ca0e9758c4a71ecbf83d0e2e5735e07d076a7dbaf3e","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"bf66dedc3fbe74e542d09604abb80c757c65299ff5dc39ae2d1bbc2e82bbf389","executable":false,"formula_id":"F0090","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0090","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b4106dc18e0a507b2cd70cc74a3be53c2f4b3d469fee0980c23765c885bd4fd8","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"3498664101c49cc0bff6a11628592d948e94fd9b2024a6cd252f82d5e1fef546","executable":false,"formula_id":"F0091","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0091","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"41e85e1ea5d1e8551188abd0f08cebc96a82e4213fe9dece264ad7fd07388de6","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"33d4f0b2c2970dbdf51621feba9260fb48e5130481b28736a12e1722ab4047d8","executable":false,"formula_id":"F0092","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0092","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"8f05598bd14955857d1818b8a9042d074ec48cc02acb5d6af7c1b4ec3de90067","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"635d9feb59ebc7930e59250bab97629449093bf58e9e98624f8b8a58434b7b17","executable":false,"formula_id":"F0093","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0093","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"419b5c377370d9123c4e330415b978a30c7e8a13b475f677810b2c04deebff9b","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"613d5d1964d883aa28e78b07b4b6b1e5550b4836af736757acc742d1a6ff9eb4","executable":false,"formula_id":"F0094","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0094","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"b241c13014b78c9b7c2e01cfda77fe69655282c63d9ac8e99249579c33c442c6","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"c1aff1bd6a335982a93dbcfae0c79ba9c0fcb51f6cc147d1f8b61f1f9cd7eefb","executable":false,"formula_id":"F0095","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0095","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"7bc14b273cf77f9778043fd20bff9a1e096d688e913da525582e951c95f4fbe5","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"69f8c22df8473a4050a4dbbcef2438e285c33a79321b69ab5213f2f96d08d1a3","executable":false,"formula_id":"F0096","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0096","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"9d99038e57e70e0e23d439b1f4eaaedbaa5e8e92aa62f5c28337c341d027e1ce","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"2218049d06777d648b56a26175c9262e4ccd3ff4eb0c56e9854792628264a14b","executable":false,"formula_id":"F0097","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0097","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"90cc6b20e88163d5d5f7a51a6b3e889662d106e21edab84d33644ef9c8f0f7a5","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"77f1837da83432c2ce0a0402dfef826818e7b55bf90ae7e24320fab521e414b5","executable":false,"formula_id":"F0098","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0098","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"51ca88e78d97844b17b09a71849e7fab6e51ef947bbd6cfbd306e3d18679aa98","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"16fc0c0ae172e1f6c872e18ac00fc19b76c8ce22ab241416c1ca304690127d53","executable":false,"formula_id":"F0099","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0099","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"7dc312de6aef51a9358dc6e54e81c2c2fc51946d9a02c97d92f9afb534d7d310","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}
{"admission_decision":"HOLDOUT_ABSTENTION","claim_sha256":"32e3828fc2706a58f0a2b699e7e77795b689b554d29285144a19678f1768f31b","executable":false,"formula_id":"F0100","formula_namespace":"thesis-extracted-formulas","proof_transfer_allowed":false,"record_id":"thesis-extracted-formulas:F0100","record_kind":"FORMULA_STATUS_METADATA","record_receipt_sha256":"85e54102b7242d0b5a7667cf22dd61686acd5cf6247840c5a0207402cbe9a609","resolved_status":"OPEN","schema_version":"szl.formula-admission-tranche-record.v1","split":"HOLDOUT","training_eligible":false}