[ "or", [ [ "and", [ [ "seen", { "what": "output", "address": "HAHS3TNJQ25IH2F3B4WG2ENDSEJA74VD", "asset": "base", "amount": 8000 } ], [ "or", [ [ "and", [ [ "address", "HAHS3TNJQ25IH2F3B4WG2ENDSEJA74VD" ], [ "in data feed", [ [ "GFK3RDAPQLLNCMQEVGGD2KCPZTLSG3HN" ], "TK414-2017-06-20", ">", "1", 616110 ] ] ] ], [ "and", [ [ "address", "CP6E3GP4JP24Z7XAZLYXJ4YC4Y3QARNM" ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1498502774660 ] ] ] ] ] ] ] ], [ "and", [ [ "address", "HAHS3TNJQ25IH2F3B4WG2ENDSEJA74VD" ], [ "not", [ "seen", { "what": "output", "address": "HAHS3TNJQ25IH2F3B4WG2ENDSEJA74VD", "asset": "base", "amount": 8000 } ] ], [ "in data feed", [ [ "I2ADHGP4HL6J37NQAD73J7E5SKFIXJOT" ], "timestamp", ">", 1497912374660 ] ] ] ] ] ]