[ "or", [ [ "and", [ [ "address", "I5HKQTAYG74OBYBZU345AZZY3J54TAXG" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "AJAX_UTRECHT_2019-05-12", "=", "UTRECHT" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 9999999 } ] ] ], [ "and", [ [ "address", "SE23DOGH76L5OM6T3AQAEITQ67VUSXLB" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 9999999 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1557577670226 ] ] ] ], [ "and", [ [ "address", "SE23DOGH76L5OM6T3AQAEITQ67VUSXLB" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "AJAX_UTRECHT_2019-05-12", "!=", "UTRECHT" ] ] ] ], [ "and", [ [ "address", "SE23DOGH76L5OM6T3AQAEITQ67VUSXLB" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1558089000000 ] ] ] ], [ "and", [ [ "address", "I5HKQTAYG74OBYBZU345AZZY3J54TAXG" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]

[ "sig", { "pubkey": "Aze+HDsWnljX7wfTf2h993fQIGSv8lS2oICl5M2gNxVZ" } ]