[ "sig", { "pubkey": "AylKf0Mv+5br9uyADvb28QdeZ6a/MPiJ9tjYFjnXe0tQ" } ]

[ "or", [ [ "and", [ [ "address", "MS6MWAS5D24I2JQ43M3ERJFJXRF5RCFO" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "BRAZIL_MEXICO_2018-07-02", "=", "MEXICO" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 25000000 } ] ] ], [ "and", [ [ "address", "6VVOSDMRONKQBGCYUWZ32HK3ZWUDRROH" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 25000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1530466342211 ] ] ] ], [ "and", [ [ "address", "6VVOSDMRONKQBGCYUWZ32HK3ZWUDRROH" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "BRAZIL_MEXICO_2018-07-02", "!=", "MEXICO" ] ] ] ], [ "and", [ [ "address", "6VVOSDMRONKQBGCYUWZ32HK3ZWUDRROH" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1530964800000 ] ] ] ], [ "and", [ [ "address", "MS6MWAS5D24I2JQ43M3ERJFJXRF5RCFO" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]