[ "or", [ [ "and", [ [ "address", "XN7Z2O73D22DA3RCNQALVDQHYYQE5SXP" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "CRUZEIRO_SÃOPAULO_2018-07-29", "=", "CRUZEIRO" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 1000000 } ] ] ], [ "and", [ [ "address", "I24FADI4BB4IX6R65QZ6HYXXXGRHLT5H" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 1000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1532863924614 ] ] ] ], [ "and", [ [ "address", "I24FADI4BB4IX6R65QZ6HYXXXGRHLT5H" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "CRUZEIRO_SÃOPAULO_2018-07-29", "!=", "CRUZEIRO" ] ] ] ], [ "and", [ [ "address", "I24FADI4BB4IX6R65QZ6HYXXXGRHLT5H" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1533315600000 ] ] ] ], [ "and", [ [ "address", "XN7Z2O73D22DA3RCNQALVDQHYYQE5SXP" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]

[ "sig", { "pubkey": "AhHn3ZwSwH4/uMFPaG7An6bRfE7oNhA15vafAknh55pY" } ]