[
  "or",
  [
    [
      "and",
      [
        [
          "address",
          "WIDR7CVRKTY2VW46Q2TT6DOFWVDZB2ND"
        ],
        [
          "in data feed",
          [
            [
              "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT"
            ],
            "timestamp",
            ">",
            1553776997725
          ]
        ]
      ]
    ],
    [
      "and",
      [
        [
          "address",
          "53L7D42JLTFASHOS6VOM66K2TD3NP2PD"
        ],
        [
          "has",
          {
            "what": "output",
            "asset": "NMuNvOJRO2ZY9L17uKtsa7OYkgsV8LfSBIV9BUoVJPQ=",
            "amount_at_least": 8192,
            "address": "WIDR7CVRKTY2VW46Q2TT6DOFWVDZB2ND"
          }
        ]
      ]
    ]
  ]
]