[ "sig", { "pubkey": "A72GCt3UMWczUcpAnu+31WGeQreUkNB0v31SUokkh+h0" } ]

[ "or", [ [ "and", [ [ "address", "THO4WMUY3YTUWZ5MNGQ5M3EPX2ST22HV" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "DENMARK_FRANCE_2018-06-26", "=", "FRANCE" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 10000000 } ] ] ], [ "and", [ [ "address", "PVVMSAYPTARCTMEM35YC4KKUVMF3WRCL" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 10000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1529957225183 ] ] ] ], [ "and", [ [ "address", "PVVMSAYPTARCTMEM35YC4KKUVMF3WRCL" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "DENMARK_FRANCE_2018-06-26", "!=", "FRANCE" ] ] ] ], [ "and", [ [ "address", "PVVMSAYPTARCTMEM35YC4KKUVMF3WRCL" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1530446400000 ] ] ] ], [ "and", [ [ "address", "THO4WMUY3YTUWZ5MNGQ5M3EPX2ST22HV" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]