{
  "$schema": "https://libauth.org/schemas/wallet-template-v0.schema.json",
  "description": "Autogenerated by BlockExplorer.cash",
  "name": "Untitled",
  "entities": {},
  "scenarios": {
    "s0_7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a_0": {
      "description": "Scenario for input 0.",
      "name": "Scenario input 0",
      "transaction": {
        "locktime": 1695381521,
        "version": 2,
        "inputs": [
          {
            "outpointTransactionHash": "7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a",
            "outpointIndex": 0,
            "sequenceNumber": 4294967294,
            "unlockingBytecode": ["slot"]
          }
        ],
        "outputs": [
          {
            "lockingBytecode": "76a91444dab6ce845d07dd6ef5a1c3dd8f99adca79702e88ac",
            "valueSatoshis": 71941
          },
          {
            "lockingBytecode": "76a914b14a59b616746706745518861a071577dd0d45ee88ac",
            "valueSatoshis": 7146
          },
          {
            "lockingBytecode": "76a9140b37d0b6002115a647cba3b95ee9c71e68f32c0d88ac",
            "valueSatoshis": 7146
          },
          {
            "lockingBytecode": "76a914b08c568ee9a3822368ab1c338f5d0d377117e04588ac",
            "valueSatoshis": 7146
          },
          {
            "lockingBytecode": "76a9142ce411546e6b58b56cb05b0ea57ce266720c3d3488ac",
            "valueSatoshis": 7146
          },
          {
            "lockingBytecode": "76a91423fc906be0adb575ddab61d199023331ce68261388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d19a6afc4549b8855703d4f1a464d76ebe30fbe788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91418b86eb5a034adcb2682cfae23395e1ce723da7688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9147762abd3cc409ea90fd696357f4940676ac9324388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c3d1c4ea51026965e1d9f5a56704af67be2d482a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914867ab714cf500acf1d022132cfd1ca6d4e6994e388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914bf9a830adba4296b1734ca0199e17a086ac6d2a688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143cf5c38ff12b1bf6bf5d574fedbe9c3cf44b8d7988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9149877d3e8a40700abd19fb6bb6cd697efe48b5c2d88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d9d4361fd7d47dafc5d087bff6814bddf2e9706f88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914e9d104f85ea6b6d7651efc6a1d6bf15d1b99ff6f88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914372bbd98e6912373939fa726d3c3086084fb852c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9145853e0300d3b69b90b37640af741146f0d189c1388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d874c797063b5e9a19f80a24b64131143c1ad0d288ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914af1d71ec1b1a3c62b1c918adfa36f5f9fc0b271b88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91459e780b1e1d189f39244170bc8a38855d895d2d188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9146cc831554ccec0282b65d0153f190a3f812c1f3188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9141e8f2407f39280233854d14cd30509c89123929e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9146f5d051cb6363e776032b6a93553edb8033202e888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91428db3df68bdf997f611b4d8864f16fa78be196eb88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d9db72d5b839e6dacd2a1da599053a3bfd8a58fc88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9148c7892f47a8db8399b2f01e112ea4ad5cfd6d7d388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91490e69d86fafe56de6987bffc79c2bb461c04d59688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914132786c8ca8ecd3e42545dc1c0b16b8f0b00d66788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914ad6d32719240eefb77324bc57a3c99514dba06af88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914f6f417f76927a31a819f3b52b4f6c774df85205a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914cb192ef8df6080e0ecddc11a334f6303130d173a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143a1859555a61a61de3a5b90c0423104171d8fee688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9140aaf75c5a9c2352fe78ab265dd6216507205f11288ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c11eba88701a5844225b8caea76317591a2a7a3888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914a3e7cc93a1f68aba0821fd80f31ab53d39b18ece88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9149779447a356a7db373287332fe4817805bd4083c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914956dc21da0e8b44a6f2b4ba58fe954e814cc521188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914affc423682e93238a90813b3d56cb2e2bf49b48a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914752d4895614cdc0a19790b31d4ba749a290c27c088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914acba9d5485a98868082eece1a72f7930d895d67e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9146a18325f36e5db34da2b070ba0475de4015d3de388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914a6ab4f92b4d2c18edc16fd104d9922dab5c86f7a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91482e7291314fd533efadc08e61549761b22b05b6688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91438b815a6a52bbb4a87b33e418ca6074d3b142a4388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143386cd1025aaa9ac3ec039a08fc62e8cde867dc988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914b6699038c68fdfe15f50f7dc19e08928efdec7ef88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c467fc27ae4ad8d7ef6c9e64d0fd818f32ca30ac88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143d710624555c5569eda6ed34dbf59febc497bdbd88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9145d4ebce1ba8d2a3ab0e7a7558871195aa8b75b3e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914302141257079d21635ee1d29050292d3ee164e4c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91434586694c3110bcac9ec054c97c4b77cc8a1c65a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91487acd22fe11e684bb568d42c115015775aba3dfa88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914222b8262b3d01018d257eb9a2777b76774cee72c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914823ad4ec5590dcdb47f479e8f3fa954c340f4c0b88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143fd35e03c3761b8602b3919d5d7c793f67c01f0e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914f34ec8221e806ff1ded2388f07241dbb32ed308388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914146c09ec70d89bab2268f1b9fef238c2baab821688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914956a1573895ad310086745a4a38c4d32b07ad75b88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9142cc09b659039ec8f649270d4a0e14a791f569c4588ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9144be044905336f4fcdebb500e92e068def0fe9b2388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91439f027a3c28fda60e33ba3ea8bef157ddff6734e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9140a2dfb16bfe64282e612050e71cc1a192bba506c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914e39974f668f968e8f2817e134c1bcd4d4d6d2e2388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9145383c483ff7d2b288e3590cd342fc0c4cbbbafdf88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fe00c78e9794dfff26bdb24fd757569e5ad6a26488ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91438d9933a28494904bc1e0962acfb76296d3b2d4288ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914727e20db1b74785859f3f38bfa7656b29cf080d388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d271a06d8245ced6aa0c7cbcf563bb503d35160c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c7e7297378e4732a6d50d90de038b417930b922488ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9144a4171383f205e7c8ebe6086890a98af5ce21c2688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fabea428fc906beda0ca2a919068e7d744bacb2f88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914af0ea1b703f23a056d3275f10ebb58079ff8019a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914d4ad95d4d672ebfe11f0a1686f7d3b745c8dce9388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914935f37c0b8d887d292e232f49306f1f55f56ecdd88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914736fe471d04ab9f2146294f23109b50c9fdc865d88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9148767172425afcbcdcc076fdb7116b43cc6933f6c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9141c9ff07a9e22d24fecf945923e1d52736eefa3ac88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9147c1a967d8b0ee73d166f27f124fe6bf4ce17446088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9148fd422f3c808ea0c84edf604171aa225a4feedf088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914efcb905135b20926db3d429a6b0dfbd13e89587f88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914040c4d3f0c9a1403f6755effe0a9489dd2c43e2088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9142328f4b468b1e8ac96f96a907348bfdfcb8d753c88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9141bde5762f44fd4bbe4606793b1d00bf893dd93b388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91462dbf4af176c837f32fd80e06d9dbd993d21a1c188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914e58770c7262ec60e7e53817f6651034b6d31f7a388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91490f01b606cbcfa0e10cecd51e8673f93ad6ab33e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c905550e9543ba4fed37becec1a04f3ddb6d787a88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914b9361881f65c90535e75e22494b4e14237cf283e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914ce8c7a61d598ace45394ccc700d432c86f60021388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914345534b463ab60ae3fa719557b78f62e87e2791588ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914877027dae0b29b7be44fe325b8f1e3db1d89b71788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c693bb6be4dc38db6a3f3f0b09d5f1a53aed3f8088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914a6ec4764827ceb07141fc7192909829f42d9cfee88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914919e0332e54aff6340cf490e74a0fed7513124be88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9149446ac790f87ad0c67acc5fa04426a5a8d0196f988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9148529e8d5fbeb6fcd7d1a9a816e574cfca81894b088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914e14f12c16dbf6183a0d49b5716a292907cfda14988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91492729fe15520262bf1f389c0228ffe16971a68c488ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c98846ce1870909a08e221c2e27b6a4e0aa9d67488ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914623d5560a895c2005a1ecf88691b802dc6ffd9fa88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914e9dbc4760aa1238ed53a6bd5dc9cc94ab1c3fb7e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9143a7a5d9d42577a7cd71bf8a521939ae39039760388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9140f7c30bf3685fcf2547055e6c047e5ba9ffcd7fa88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9146f6727c3f8258f58a09bf3f1bd0b407a58ba4efe88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914ddd1aa49146dc759b28e1317a2189a94ad953e4788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9140b6761968fdb18bb085e4c2c4a107d4fe44ad0f788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9147b24efd7b824759286ef5f55f06ec8c49d611d9588ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91441c5dc25527a7459a9c35789b315c280722a1a9788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914054c34b4b4629499408546e9caae0e045bba049088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91459869dd584220482f34e48c661468c0e55717ee888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fd3e52d89add51f3a723d63667df0076c73b84a188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fe4b7c8a5c41659d76c38ba21780887d968f9e0988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91431b5394a185a683940516f85083bc2e7898e590888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9144c3f04313c7109c54d2d2066da14def8a83cb0c588ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91466d61f110c0fce71e5b4809524a1b563b5bc67a988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91421bbb7514c0a6074ef11325f4fee75d03e0f1e6788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914db1408ce97f2176aa9543c007b0c9dd6959e70e688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91417abe09e7fe98e9e34e20622a2f0a64a0287d54e88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914a69751f662fd944a335691e7504d928ea3156dbe88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914bb70fbfa0dea9ca5f1c780a959757717171b606188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91453da56483fef3fabf06bd81576cfac9cdd8ed03088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914171551c8921cf1396349f28a5e2328f3bf64d7af88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914de922a1acec916beb63378d2cf98b4d4e5639aad88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914eabcde6669c813fde4b54c3da99636d617f9123888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fbf7cdccb0e4b20afee16ccf141b3878a42c715588ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9147b21cc5effe407ce900866a0f5296bbfea9dfb5888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9144f561faefd4d530525b3a4a18b4fe0570284805b88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914f96315e3b34ce0493936a42f1d94e47167e309ba88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914c798137f29531c38f8ac73f95ffcccb8a71e2ca388ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9144c346d6494852a6409677cc23ab692b78e1d9d1688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a91440db7145090387e9c1b89fce12492fb66854493988ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914a012e94f1b12336cbf92e531ffea145eaf40090688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9141a889a3f9f440447fb77fc52305677bbe41b791788ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914de90f8290afe3883c399736dd1ded442318a8c2688ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9146b2d6a5fcf2fe6eb4e6bd63a65a7dfd41092b80888ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914b1ac247fc3b2a06e400162b523a2ea6e46b7f09088ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914b91b95b8eaf4e5a763fdd0b4ce175936c046459188ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a914fd897c6a63b597378497b514516fe2745f7d4bb288ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "76a9145165ff35cbce4f7f753c3ad5a79bbf91e88ea98b88ac",
            "valueSatoshis": 1333
          },
          {
            "lockingBytecode": "a91407b6296b5f652e294a02da8231952d2eef9fd7b887",
            "valueSatoshis": 1973
          }
        ]
      },
      "sourceOutputs": [
        {
          "valueSatoshis": 287976,
          "lockingBytecode": ["slot"]
        }
      ]
    }
  },
  "scripts": {
    "u0_7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a_0": {
      "name": "unlock_0",
      "script": "<0x5d73ac2e>\n<0xbf9c97110ecdd0a2dd383403344daad3c89e082d6f57edf6ff456965b88ddadc96d4c8f8cb27b37cc3885e8324e1d4d97237009120f631f907a2dba5792725b641>\n<0x025e96449f9f644fff91d2f43489ca82f77090d2cb8228017132438a5887d08e27>",
      "unlocks": "l0_7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a_0",
      "passes": [
        "s0_7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a_0"
      ]
    },
    "l0_7fa2600143d4a4851efd78736a08ffd1d9e7726958bb62b40102fc31ce06351a_0": {
      "lockingType": "p2sh20",
      "name": "lock_0",
      "script": "<0x11780d65>\n<0x5d73ac2e>\n<0x3ce4f66e21f6f33e7589e83a96f03fabf77eeca5>\n<0x5e012810801997700335289d52bae19e28c4bb08>\n<5>\nOP_ROLL\n<5>\nOP_PICK\nOP_CHECKSIGVERIFY\nOP_ROT\n<5>\nOP_ROLL\nOP_NUMEQUALVERIFY\nOP_ROT\nOP_CHECKLOCKTIMEVERIFY\nOP_DROP\n<2>\nOP_PICK\nOP_HASH160\nOP_EQUAL\nOP_ROT\nOP_HASH160\nOP_ROT\nOP_EQUAL\nOP_BOOLOR"
    }
  },
  "supported": [
    "BCH_2023_05",
    "BCH_2025_05",
    "BCH_2026_05",
    "BCH_SPEC"
  ],
  "version": 0
}