[ "or", [ [ "and", [ [ "address", "HF2I2WNV55KWD23ICLDE7V7NBP425APG" ], [ "address", "EYEJEPPSWCN4SJB6VNWVFHP6TT32DF7H" ] ] ], [ "and", [ [ "address", "HF2I2WNV55KWD23ICLDE7V7NBP425APG" ], [ "has", { "what": "output", "asset": "base", "address": "Z2RS6S2GE6KQO3DHMXXO4IYMCWVJBE2H" } ] ] ], [ "and", [ [ "address", "EYEJEPPSWCN4SJB6VNWVFHP6TT32DF7H" ], [ "has", { "what": "output", "asset": "base", "address": "PRAWXT65CAJHETYX43QT4NPZMFNP3MKT" } ] ] ] ] ]