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