[ "or", [ [ "and", [ [ "address", "SXJ5OGOESEBKSUS75GXSLO327JGUWHQJ" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "MAINZ_FRANKFURT_2018-12-19", "=", "MAINZ" ] ], [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 250000000 } ] ] ], [ "and", [ [ "address", "HABK6D3FXSUBEM2URNCYQZ6E4DLVLY5E" ], [ "not", [ "seen", { "what": "output", "address": "this address", "asset": "base", "amount": 250000000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1545244003741 ] ] ] ], [ "and", [ [ "address", "HABK6D3FXSUBEM2URNCYQZ6E4DLVLY5E" ], [ "in data feed", [ [ "TKT4UESIKTTRALRRLWS4SENSTJX6ODCW" ], "MAINZ_FRANKFURT_2018-12-19", "!=", "MAINZ" ] ] ] ], [ "and", [ [ "address", "HABK6D3FXSUBEM2URNCYQZ6E4DLVLY5E" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1545676200000 ] ] ] ], [ "and", [ [ "address", "SXJ5OGOESEBKSUS75GXSLO327JGUWHQJ" ], [ "seen", { "what": "input", "address": "this address" } ] ] ] ] ]

[ "sig", { "pubkey": "A5xR5Tm1q7OZ5z95KjHQmLH7cRo99uam+hJf9YnHbp03" } ]