[ "or", [ [ "and", [ [ "address", "F4OLTZ4ZXZPHT4QTQBQ7L26LO235OFU4" ], [ "has", { "what": "output", "asset": "ofLREMhzK9szd7y/9mzRgvf2hFfGihY6YoH9LpbsrbM=", "amount_at_least": 25, "address": "6TYMPKHOXWBHIQL3EAXSY2GGTLNBSJZB" } ] ] ], [ "address", "6TYMPKHOXWBHIQL3EAXSY2GGTLNBSJZB" ] ] ]