{
  "$schema": "https://libauth.org/schemas/wallet-template-v0.schema.json",
  "description": "Auto-generated by BlockExplorer",
  "name": "Untitled",
  "entities": {},
  "scenarios": {
    "s0_8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6_0": {
      "description": "Scenario for input 0.",
      "name": "Scenario input 0",
      "transaction": {
        "locktime": 1695651922,
        "version": 2,
        "inputs": [
          {
            "outpointTransactionHash": "8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6",
            "outpointIndex": 0,
            "sequenceNumber": 4294967294,
            "unlockingBytecode": ["slot"]
          }
        ],
        "outputs": [
          {
            "lockingBytecode": "76a9147b24efd7b824759286ef5f55f06ec8c49d611d9588ac",
            "valueSatoshis": 72086
          },
          {
            "lockingBytecode": "76a9140bc62403dc89b39e055818c633f9e3be774c0d3288ac",
            "valueSatoshis": 7160
          },
          {
            "lockingBytecode": "76a914222b8262b3d01018d257eb9a2777b76774cee72c88ac",
            "valueSatoshis": 7160
          },
          {
            "lockingBytecode": "76a9147b3a035be4f69f28df16163d66582385843aff3188ac",
            "valueSatoshis": 7160
          },
          {
            "lockingBytecode": "76a9142ce411546e6b58b56cb05b0ea57ce266720c3d3488ac",
            "valueSatoshis": 7160
          },
          {
            "lockingBytecode": "76a914ad1307e4c7aca474018eed388f42b7475bd0229c88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d61fa25c40bb425162c4cf080e8ac5756d6a83ec88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91493e09e77ceb05a114b472596603527e3e2516daf88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914150aeaaf760cbd2406a7115b0f0c2983126e34fb88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f34ec8221e806ff1ded2388f07241dbb32ed308388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f96315e3b34ce0493936a42f1d94e47167e309ba88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91481f503efad2296a236fddb712391881251bb98d688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c0698d8aad9c8a47f15da80590d44872dfa256f888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d14708a6892d5fdadce5ea8e4232312e18446bc388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149d2a862ede9eaaaafea5a804cf5018ce43ef36aa88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149fb4ec33409c245761bc482aaea345765e6d0dc288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914ce8c7a61d598ace45394ccc700d432c86f60021388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141e8f2407f39280233854d14cd30509c89123929e88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9143386cd1025aaa9ac3ec039a08fc62e8cde867dc988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f6f417f76927a31a819f3b52b4f6c774df85205a88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9140a0f056f96969583df7e446da09d48ed54ef59e288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91422a9efd5f8d2e424ca14fef91a7d5dbd3b0e13bd88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914cbc4d0e7e44985e71cb6cdac3c537d9063cb562e88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914eef4b8026fc798c4df7182701532745c23239cb288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914311de6e61f67d18e27a484410bb78192b05dfef288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914de922a1acec916beb63378d2cf98b4d4e5639aad88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914dc40daccdd8d4fc5360bf3ff2a231274c42e22ed88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914e0d3c4ccfa201259c3bc9e681f947b2091a7851988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149779447a356a7db373287332fe4817805bd4083c88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c99f5a5e418c39c1045ad230c05d6069af6a056188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f470150e5a548c5c075573b3660d1a21634c1c9f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9146b4b3e2da5587133a89e18b7c1848db0651b92c688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145a3b8d353a63f1bc6c52dbc3f09e375bac9fd01888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f921a82f37dea77faf36d5052ede0daff8e1e4a788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91411d08f97f02f4d21ceca684b5b37151e96b43bf288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914fbd6ad19a9b5950cd7fb91ad8a878859cf4de81588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91417abe09e7fe98e9e34e20622a2f0a64a0287d54e88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f71ddf54667265a2e7eb98499614319ad14799be88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d401e5399fda0573dd3e0edffb4711b3b2ef9dc588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914e8f2a442caaa5eea849f0717e3029a18bbe759e988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914b08c568ee9a3822368ab1c338f5d0d377117e04588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f2b3b720bd7ed13e94f68a68ef7ae31e596d5fd688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d9b2bdb7e3a6968f94f51cbb39b69953f4a5325788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c71fad68872300080f42c23dabac6db5855bc3b888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91437fdb0f11a005ce28586b63b050ccb5003ae747988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142240ff2d9710d9a619c0b58b332c43eaae06380588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141e3c367fd179d2f457e96abc405ca26d42cdd79288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145853e0300d3b69b90b37640af741146f0d189c1388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914166b089b9f45fc614078b57806e5e29be2cdc78888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914345534b463ab60ae3fa719557b78f62e87e2791588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91431e206458d40bcdc1719445598b48397b3319b9b88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91438d9933a28494904bc1e0962acfb76296d3b2d4288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91438b815a6a52bbb4a87b33e418ca6074d3b142a4388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f1d96cf3aa72975cf03ea248834e750932eab8bc88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914b6699038c68fdfe15f50f7dc19e08928efdec7ef88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91490ef7a20100725ffb5f48f614cb9653a545ea97188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142e8e7ce5550c574e39bce36596b6c10d58f49ff688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914a0926d629b502083fc4d0b7021a092d87e87b81788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149bbcdebce3b7acb4faab1a3b5e5117223f4e3cfe88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c467fc27ae4ad8d7ef6c9e64d0fd818f32ca30ac88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914527f2db56b46f2ef82d727d1cde9451a3a92620088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914bbfae7a7276d6688b6906f2298d6f845746cdc3f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f75eb4bb9de53f4d2c97265a63a82eb607d5b6e688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141c9ff07a9e22d24fecf945923e1d52736eefa3ac88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914dfa485d8ae39c1761582934f48c53a320ae18a5d88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914befc0b710e1cc91ff001a418ae090d3a3a3f1c2a88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c95a15e637d9c2f4d8646f38aa3e93fadd7fa0f288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145cc32410e263bd33ad4c505d63f38b1dd424688188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149446ac790f87ad0c67acc5fa04426a5a8d0196f988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9146f5d051cb6363e776032b6a93553edb8033202e888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9149f87e51a5f1d787f854b260da8077b1c71ee2bc388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142ca35619706984d7c6599681805bb0736263348e88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914ddd1aa49146dc759b28e1317a2189a94ad953e4788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141d2863be4f82b5e1eb80173b4e806e4e62ca02a288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91439bbd8aa7113770eef38541dd2654f202a4039d988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c7e7297378e4732a6d50d90de038b417930b922488ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91482e7291314fd533efadc08e61549761b22b05b6688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914ad6d32719240eefb77324bc57a3c99514dba06af88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9147b2f4758803dd836797fd9f05be8799fc26b4ee488ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91485d4760344e45737f04e4134c1ac3ccf4a4d138d88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914b520bc9debe6ad40f780e3269f4780d9895e080c88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d8fd188db0e5a670ea9b6c04b2a1c6f80707d64388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914dbb1fd47b05dd9a4f44e99861f1217108770964988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914e2204e0075778ccf63c8b8fe73252c4092568f1888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914414c18475a675267e058ea7c09517b029b7fa2fa88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914887cd3e7a0fc60673379968824bb8b1f6c929c5f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9148c7892f47a8db8399b2f01e112ea4ad5cfd6d7d388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9148ad101ffa2a74b5471d55234d7242fa29c9a282288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91448a3cb4eef85a6c82484844edcaa54566a120c3688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91410e0748ec6e9bd88dc4ad71c9f38d57e4b686d2888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f8cde8dd72b3afa3c029a0b54cdec86d067e593788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914ba886e629255d599fd87fcb3ac002b876310054588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145165ff35cbce4f7f753c3ad5a79bbf91e88ea98b88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91405a0c9f50b0102ba7705b500da8251dca1699abf88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914599aa48e009ef46174b241825c16c123fdd83c2488ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9148fded825242ab0aa0ec977a5e09365327713921688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914a75650e8acd24f563f1636717fa203427ec3d5cc88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9148bf54c0203f0069c0ebf99f4271a66ce6cf7d0c188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914956dc21da0e8b44a6f2b4ba58fe954e814cc521188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f9d46747307ccb45005aa30c09258c4ab97757f388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9148fd422f3c808ea0c84edf604171aa225a4feedf088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9144026d984a74d489dba05c30b01c93c7e6ed51a2088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141abde02c1b352ba39122a40496e0d06cd5577b8d88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914e14f12c16dbf6183a0d49b5716a292907cfda14988ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142d24128510b50c8529339b405cb8a9228a11ccaa88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91445b1738df056835ebd2592450e3d155f1bb0a76288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142a03c8e9c227139c16420b292b2882d1662134d788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914d9db72d5b839e6dacd2a1da599053a3bfd8a58fc88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914a69ae57ee290fc7a3a909b429b715145f9f6b00888ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91423fc906be0adb575ddab61d199023331ce68261388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914f9e4153ac07558d9d3335c44425cf86b4888b7af88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914146c09ec70d89bab2268f1b9fef238c2baab821688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141bde5762f44fd4bbe4606793b1d00bf893dd93b388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914302141257079d21635ee1d29050292d3ee164e4c88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914b519fad1f63af8ea10ba7435366de302deb3e3cf88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914e58770c7262ec60e7e53817f6651034b6d31f7a388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142b2cc3fa985ca459bd885c1f15c9ce23271bc43088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914a507b8dd3c6f182bcd9bdffb4990685c6af3a58d88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9140911b5ec97a7d458b840b58db84552b9ce8ace5f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914be4bda7a25fcc5cd762ff4ac37707240b2ea6a5a88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914b74f556f6f722f6b3d02daf8d9516f9f9b91b96388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145dbb5ea94e52f792729e9fe565a5f14bf70e719788ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914990ce50a0cce4324600d2856fcba7e27b4d5473f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914cc81173375fefc9295e1fde45b2ff12a830b66c288ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c21f2efdc19f012c572f3759c0b2c3d8d0e0884588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9142ebae9b9bc9909395659f6bb2493a4b63de6337088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c4dc1d81a6a49544f2d8963f0dca289a6df05d0e88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914102de9ed911fb5fd6eabda0bc2f40a9080c6cd8588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914eedc5ccd19f64fee8ab23d8c5870a58a92ab5df688ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914935f37c0b8d887d292e232f49306f1f55f56ecdd88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91434586694c3110bcac9ec054c97c4b77cc8a1c65a88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9145b731562aa65168110f4e111aa2ef070df637ca588ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91416f3c9c6605569b67448c73b080be8f2805c2e9f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914785ff09f24e8bb6f2681d76a0c6a866984ed52a188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91454913870370ab13365bd70bd6679f97d39da820088ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9141c38ea751b8cb992d23a7e44d9e28a3694cb6b9f88ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91412cb99022c4de54aad03425bd98a7fabcebf4a5188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a91414bcda4b5b7edbb8c906c5b8af2e42a7e99e3e4188ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a9147762abd3cc409ea90fd696357f4940676ac9324388ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "76a914c98846ce1870909a08e221c2e27b6a4e0aa9d67488ac",
            "valueSatoshis": 1336
          },
          {
            "lockingBytecode": "a91412151d3bc3f03b68816ce791a4eea99729bba99787",
            "valueSatoshis": 1949
          }
        ]
      },
      "sourceOutputs": [
        {
          "valueSatoshis": 288558,
          "lockingBytecode": ["slot"]
        }
      ]
    }
  },
  "scripts": {
    "u0_8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6_0": {
      "name": "unlock_0",
      "script": "<0x900c3e2d>\n<0xc41cfda5cee77c31750ca50bc014d0446313979381ddc289b378f11ce8b44464c4a71f3386d1668584195680b0142b4a82af0768f51c72c9981eb31b61f5a1fe41>\n<0x025e96449f9f644fff91d2f43489ca82f77090d2cb8228017132438a5887d08e27>",
      "unlocks": "l0_8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6_0",
      "passes": [
        "s0_8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6_0"
      ]
    },
    "l0_8b3f000d8007f396a6c890db61a7f0d2d904911c5d027bd18f32d795ad5306f6_0": {
      "lockingType": "p2sh20",
      "name": "lock_0",
      "script": "<0x52981165>\n<0x900c3e2d>\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
}