[
  "or",
  [
    [
      "and",
      [
        [
          "address",
          "7Y5N3OAE6IGOBPINNLEPZ7WF6D3DYSKE"
        ],
        [
          "in data feed",
          [
            [
              "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT"
            ],
            "timestamp",
            ">",
            1562161800648
          ]
        ]
      ]
    ],
    [
      "and",
      [
        [
          "address",
          "53L7D42JLTFASHOS6VOM66K2TD3NP2PD"
        ],
        [
          "has",
          {
            "what": "output",
            "asset": "NMuNvOJRO2ZY9L17uKtsa7OYkgsV8LfSBIV9BUoVJPQ=",
            "amount_at_least": 512,
            "address": "7Y5N3OAE6IGOBPINNLEPZ7WF6D3DYSKE"
          }
        ]
      ]
    ]
  ]
]