[ "or", [ [ "and", [ [ "address", "5IHMFM63MWWUC6ZTOEEJMQZD42EJLAV5" ], [ "address", "C7A6PCC4WQTSLQXI7AV3BM3NCSKLS7DW" ] ] ], [ "and", [ [ "address", "5IHMFM63MWWUC6ZTOEEJMQZD42EJLAV5" ], [ "has", { "what": "output", "asset": "base", "address": "M7PNRNFI3MFAQFBMVAW52GQA3R6EJZBS" } ] ] ], [ "and", [ [ "address", "C7A6PCC4WQTSLQXI7AV3BM3NCSKLS7DW" ], [ "has", { "what": "output", "asset": "base", "address": "NBC6547DNF65C2RNQY6N34UJ45H2C33E" } ] ] ] ] ]