[
    "or",
    [
        [
            "and",
            [
                [
                    "address",
                    "
H5DIXNTN6DLEAF3GRPVTJL2TWBL6BBJ4"
                ],
                [
                    "address",
                    "
PTXTJVSMCAWTHD4QNTUVPUFU4HWMF4Y6"
                ]
            ]
        ],
        [
            "and",
            [
                [
                    "address",
                    "
H5DIXNTN6DLEAF3GRPVTJL2TWBL6BBJ4"
                ],
                [
                    "has",
                    {
                        "what": "output",
                        "asset": "base",
                        "address": "
2ILYON4KQBJQQPYIZ7IESNIYI22PID7Y"
                    }
                ]
            ]
        ],
        [
            "and",
            [
                [
                    "address",
                    "
PTXTJVSMCAWTHD4QNTUVPUFU4HWMF4Y6"
                ],
                [
                    "has",
                    {
                        "what": "output",
                        "asset": "base",
                        "address": "
JB6NNWWC54VP6WPZGVMVC3SJK5AWN5MY"
                    }
                ]
            ]
        ]
    ]
]