[ "or", [ [ "and", [ [ "address", "425K7ZS4SBJX7PSAM2N643KB5C6OM2F3" ], [ "address", "ZJK4C24KNMEOEWBBLMCOIGRKFTTAMGUL" ] ] ], [ "and", [ [ "address", "425K7ZS4SBJX7PSAM2N643KB5C6OM2F3" ], [ "has", { "what": "output", "asset": "base", "address": "6H5S3XHEZQWK5IHNY4OB7BS6UH3H7YYX" } ] ] ], [ "and", [ [ "address", "ZJK4C24KNMEOEWBBLMCOIGRKFTTAMGUL" ], [ "has", { "what": "output", "asset": "base", "address": "5MYT7MCHSAEMO24NRN2T7YTTIBMA5FT3" } ] ] ] ] ]