019b477e-c8bb-734d-8c0a-a5146e315c09
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 26201 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26202 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112823 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112824 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112825 | detector.run | complete | 1 / 3 | 1 week ago |
| 112826 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x003f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x251c1aa3 00000019: EQ 0000001a: PUSH2 0x00e1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x42d5f4b2 00000024: EQ 00000025: PUSH2 0x010c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x95756c04 0000002f: EQ 00000030: PUSH2 0x012c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xfa449d83 0000003a: EQ 0000003b: PUSH2 0x014c 0000003e: JUMPI 0000003f: JUMPDEST 00000040: PUSH1 0x01 00000042: SLOAD 00000043: PUSH1 0x01 00000045: PUSH1 0x01 00000047: PUSH1 0xa0 00000049: SHL 0000004a: SUB 0000004b: AND 0000004c: CALLER 0000004d: EQ 0000004e: ISZERO 0000004f: PUSH2 0x00df 00000052: JUMPI 00000053: PUSH1 0x02 00000055: SLOAD 00000056: TIMESTAMP 00000057: GT 00000058: PUSH2 0x007c 0000005b: JUMPI 0000005c: PUSH1 0x40 0000005e: MLOAD 0000005f: PUSH3 0x461bcd 00000063: PUSH1 0xe5 00000065: SHL 00000066: DUP2 00000067: MSTORE 00000068: PUSH1 0x04 0000006a: ADD 0000006b: PUSH2 0x0073 0000006e: SWAP1 0000006f: PUSH2 0x0370 00000072: JUMP 00000073: JUMPDEST 00000074: PUSH1 0x40 00000076: MLOAD 00000077: DUP1 00000078: SWAP2 00000079: SUB 0000007a: SWAP1 0000007b: REVERT 0000007c: JUMPDEST 0000007d: PUSH1 0x01 0000007f: SLOAD 00000080: PUSH1 0x40 00000082: MLOAD 00000083: PUSH1 0x01 00000085: PUSH1 0x01 00000087: PUSH1 0xa0 00000089: SHL 0000008a: SUB 0000008b: SWAP1 0000008c: SWAP2 0000008d: AND 0000008e: SWAP1 0000008f: SELFBALANCE 00000090: SWAP1 00000091: PUSH2 0x0099 00000094: SWAP1 00000095: PUSH2 0x036d 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: DUP1 000000a0: DUP4 000000a1: SUB 000000a2: DUP2 000000a3: DUP6 000000a4: DUP8 000000a5: GAS 000000a6: CALL 000000a7: SWAP3 000000a8: POP 000000a9: POP 000000aa: POP 000000ab: RETURNDATASIZE 000000ac: DUP1 000000ad: PUSH1 0x00 000000af: DUP2 000000b0: EQ 000000b1: PUSH2 0x00d6 000000b4: JUMPI 000000b5: PUSH1 0x40 000000b7: MLOAD 000000b8: SWAP2 000000b9: POP 000000ba: PUSH1 0x1f 000000bc: NOT 000000bd: PUSH1 0x3f 000000bf: RETURNDATASIZE 000000c0: ADD 000000c1: AND 000000c2: DUP3 000000c3: ADD 000000c4: PUSH1 0x40 000000c6: MSTORE 000000c7: RETURNDATASIZE 000000c8: DUP3 000000c9: MSTORE 000000ca: RETURNDATASIZE 000000cb: PUSH1 0x00 000000cd: PUSH1 0x20 000000cf: DUP5 000000d0: ADD 000000d1: RETURNDATACOPY 000000d2: PUSH2 0x00db 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH1 0x60 000000d9: SWAP2 000000da: POP 000000db: JUMPDEST 000000dc: POP 000000dd: POP 000000de: POP 000000df: JUMPDEST 000000e0: STOP 000000e1: JUMPDEST 000000e2: CALLVALUE 000000e3: DUP1 000000e4: ISZERO 000000e5: PUSH2 0x00ed 000000e8: JUMPI 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: POP 000000ef: PUSH2 0x00f6 000000f2: PUSH2 0x016c 000000f5: JUMP 000000f6: JUMPDEST 000000f7: PUSH1 0x40 000000f9: MLOAD 000000fa: PUSH2 0x0103 000000fd: SWAP2 000000fe: SWAP1 000000ff: PUSH2 0x038e 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH1 0x40 00000106: MLOAD 00000107: DUP1 00000108: SWAP2 00000109: SUB 0000010a: SWAP1 0000010b: RETURN 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x00df 0000011d: PUSH2 0x0127 00000120: CALLDATASIZE 00000121: PUSH1 0x04 00000123: PUSH2 0x029e 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH2 0x0172 0000012b: JUMP 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: DUP1 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: POP 0000013a: PUSH2 0x00df 0000013d: PUSH2 0x0147 00000140: CALLDATASIZE 00000141: PUSH1 0x04 00000143: PUSH2 0x031c 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH2 0x01ef 0000014b: JUMP 0000014c: JUMPDEST 0000014d: CALLVALUE 0000014e: DUP1 0000014f: ISZERO 00000150: PUSH2 0x0158 00000153: JUMPI 00000154: PUSH1 0x00 00000156: DUP1 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x00df 0000015d: PUSH2 0x0167 00000160: CALLDATASIZE 00000161: PUSH1 0x04 00000163: PUSH2 0x0345 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH2 0x0266 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH1 0x02 0000016f: SLOAD 00000170: DUP2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x00 00000175: SLOAD 00000176: PUSH1 0x01 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: SHL 0000017d: SUB 0000017e: AND 0000017f: CALLER 00000180: EQ 00000181: PUSH2 0x0189 00000184: JUMPI 00000185: PUSH1 0x00 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: DUP3 0000018b: PUSH1 0x01 0000018d: PUSH1 0x01 0000018f: PUSH1 0xa0 00000191: SHL 00000192: SUB 00000193: AND 00000194: PUSH1 0x00 00000196: DUP4 00000197: DUP4 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: PUSH2 0x01a5 0000019e: SWAP3 0000019f: SWAP2 000001a0: SWAP1 000001a1: PUSH2 0x035d 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH1 0x00 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: DUP1 000001ac: DUP4 000001ad: SUB 000001ae: DUP2 000001af: DUP6 000001b0: DUP8 000001b1: GAS 000001b2: CALL 000001b3: SWAP3 000001b4: POP 000001b5: POP 000001b6: POP 000001b7: RETURNDATASIZE 000001b8: DUP1 000001b9: PUSH1 0x00 000001bb: DUP2 000001bc: EQ 000001bd: PUSH2 0x01e2 000001c0: JUMPI 000001c1: PUSH1 0x40 000001c3: MLOAD 000001c4: SWAP2 000001c5: POP 000001c6: PUSH1 0x1f 000001c8: NOT 000001c9: PUSH1 0x3f 000001cb: RETURNDATASIZE 000001cc: ADD 000001cd: AND 000001ce: DUP3 000001cf: ADD 000001d0: PUSH1 0x40 000001d2: MSTORE 000001d3: RETURNDATASIZE 000001d4: DUP3 000001d5: MSTORE 000001d6: RETURNDATASIZE 000001d7: PUSH1 0x00 000001d9: PUSH1 0x20 000001db: DUP5 000001dc: ADD 000001dd: RETURNDATACOPY 000001de: PUSH2 0x01e7 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x60 000001e5: SWAP2 000001e6: POP 000001e7: JUMPDEST 000001e8: POP 000001e9: POP 000001ea: POP 000001eb: POP 000001ec: POP 000001ed: POP 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x00 000001f2: SLOAD 000001f3: PUSH1 0x01 000001f5: PUSH1 0x01 000001f7: PUSH1 0xa0 000001f9: SHL 000001fa: SUB 000001fb: AND 000001fc: CALLER 000001fd: EQ 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: DUP2 00000208: PUSH1 0x01 0000020a: PUSH1 0x01 0000020c: PUSH1 0xa0 0000020e: SHL 0000020f: SUB 00000210: AND 00000211: DUP2 00000212: PUSH1 0x40 00000214: MLOAD 00000215: PUSH2 0x021d 00000218: SWAP1 00000219: PUSH2 0x036d 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH1 0x00 00000220: PUSH1 0x40 00000222: MLOAD 00000223: DUP1 00000224: DUP4 00000225: SUB 00000226: DUP2 00000227: DUP6 00000228: DUP8 00000229: GAS 0000022a: CALL 0000022b: SWAP3 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: RETURNDATASIZE 00000230: DUP1 00000231: PUSH1 0x00 00000233: DUP2 00000234: EQ 00000235: PUSH2 0x025a 00000238: JUMPI 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: SWAP2 0000023d: POP 0000023e: PUSH1 0x1f 00000240: NOT 00000241: PUSH1 0x3f 00000243: RETURNDATASIZE 00000244: ADD 00000245: AND 00000246: DUP3 00000247: ADD 00000248: PUSH1 0x40 0000024a: MSTORE 0000024b: RETURNDATASIZE 0000024c: DUP3 0000024d: MSTORE 0000024e: RETURNDATASIZE 0000024f: PUSH1 0x00 00000251: PUSH1 0x20 00000253: DUP5 00000254: ADD 00000255: RETURNDATACOPY 00000256: PUSH2 0x025f 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x60 0000025d: SWAP2 0000025e: POP 0000025f: JUMPDEST 00000260: POP 00000261: POP 00000262: POP 00000263: POP 00000264: POP 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x00 00000269: SLOAD 0000026a: PUSH1 0x01 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: SHL 00000271: SUB 00000272: AND 00000273: CALLER 00000274: EQ 00000275: PUSH2 0x027d 00000278: JUMPI 00000279: PUSH1 0x00 0000027b: DUP1 0000027c: REVERT 0000027d: JUMPDEST 0000027e: PUSH1 0x02 00000280: SSTORE 00000281: JUMP 00000282: JUMPDEST 00000283: DUP1 00000284: CALLDATALOAD 00000285: PUSH1 0x01 00000287: PUSH1 0x01 00000289: PUSH1 0xa0 0000028b: SHL 0000028c: SUB 0000028d: DUP2 0000028e: AND 0000028f: DUP2 00000290: EQ 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: SWAP2 0000029b: SWAP1 0000029c: POP 0000029d: JUMP 0000029e: JUMPDEST 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: PUSH1 0x00 000002a4: PUSH1 0x40 000002a6: DUP5 000002a7: DUP7 000002a8: SUB 000002a9: SLT 000002aa: ISZERO 000002ab: PUSH2 0x02b2 000002ae: JUMPI 000002af: DUP3 000002b0: DUP4 000002b1: REVERT 000002b2: JUMPDEST 000002b3: PUSH2 0x02bb 000002b6: DUP5 000002b7: PUSH2 0x0282 000002ba: JUMP 000002bb: JUMPDEST 000002bc: SWAP3 000002bd: POP 000002be: PUSH1 0x20 000002c0: DUP5 000002c1: ADD 000002c2: CALLDATALOAD 000002c3: PUSH8 0xffffffffffffffff 000002cc: DUP1 000002cd: DUP3 000002ce: GT 000002cf: ISZERO 000002d0: PUSH2 0x02d7 000002d3: JUMPI 000002d4: DUP4 000002d5: DUP5 000002d6: REVERT 000002d7: JUMPDEST 000002d8: DUP2 000002d9: DUP7 000002da: ADD 000002db: SWAP2 000002dc: POP 000002dd: DUP7 000002de: PUSH1 0x1f 000002e0: DUP4 000002e1: ADD 000002e2: SLT 000002e3: PUSH2 0x02ea 000002e6: JUMPI 000002e7: DUP4 000002e8: DUP5 000002e9: REVERT 000002ea: JUMPDEST 000002eb: DUP2 000002ec: CALLDATALOAD 000002ed: DUP2 000002ee: DUP2 000002ef: GT 000002f0: ISZERO 000002f1: PUSH2 0x02f8 000002f4: JUMPI 000002f5: DUP5 000002f6: DUP6 000002f7: REVERT 000002f8: JUMPDEST 000002f9: DUP8 000002fa: PUSH1 0x20 000002fc: DUP3 000002fd: DUP6 000002fe: ADD 000002ff: ADD 00000300: GT 00000301: ISZERO 00000302: PUSH2 0x0309 00000305: JUMPI 00000306: DUP5 00000307: DUP6 00000308: REVERT 00000309: JUMPDEST 0000030a: PUSH1 0x20 0000030c: DUP4 0000030d: ADD 0000030e: SWAP5 0000030f: POP 00000310: DUP1 00000311: SWAP4 00000312: POP 00000313: POP 00000314: POP 00000315: POP 00000316: SWAP3 00000317: POP 00000318: SWAP3 00000319: POP 0000031a: SWAP3 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: PUSH1 0x40 00000322: DUP4 00000323: DUP6 00000324: SUB 00000325: SLT 00000326: ISZERO 00000327: PUSH2 0x032e 0000032a: JUMPI 0000032b: DUP2 0000032c: DUP3 0000032d: REVERT 0000032e: JUMPDEST 0000032f: PUSH2 0x0337 00000332: DUP4 00000333: PUSH2 0x0282 00000336: JUMP 00000337: JUMPDEST 00000338: SWAP5 00000339: PUSH1 0x20 0000033b: SWAP4 0000033c: SWAP1 0000033d: SWAP4 0000033e: ADD 0000033f: CALLDATALOAD 00000340: SWAP4 00000341: POP 00000342: POP 00000343: POP 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x00 00000348: PUSH1 0x20 0000034a: DUP3 0000034b: DUP5 0000034c: SUB 0000034d: SLT 0000034e: ISZERO 0000034f: PUSH2 0x0356 00000352: JUMPI 00000353: DUP1 00000354: DUP2 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: CALLDATALOAD 00000359: SWAP2 0000035a: SWAP1 0000035b: POP 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x00 00000360: DUP3 00000361: DUP5 00000362: DUP4 00000363: CALLDATACOPY 00000364: SWAP2 00000365: ADD 00000366: SWAP1 00000367: DUP2 00000368: MSTORE 00000369: SWAP2 0000036a: SWAP1 0000036b: POP 0000036c: JUMP 0000036d: JUMPDEST 0000036e: SWAP1 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH1 0x20 00000373: DUP1 00000374: DUP3 00000375: MSTORE 00000376: PUSH1 0x04 00000378: SWAP1 00000379: DUP3 0000037a: ADD 0000037b: MSTORE 0000037c: PUSH4 0x74696d65 00000381: PUSH1 0xe0 00000383: SHL 00000384: PUSH1 0x40 00000386: DUP3 00000387: ADD 00000388: MSTORE 00000389: PUSH1 0x60 0000038b: ADD 0000038c: SWAP1 0000038d: JUMP 0000038e: JUMPDEST 0000038f: SWAP1 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: SWAP1 00000396: JUMP 00000397: INVALID 00000398: LOG2 00000399: PUSH5 0x6970667358 0000039f: UNKNOWN(0x22) 000003a0: SLT 000003a1: KECCAK256 000003a2: PUSH10 0x1e2252f87cf2fdc59bd7 000003ad: DUP11 000003ae: COINBASE 000003af: UNKNOWN(0xB0) 000003b0: UNKNOWN(0xEF) 000003b1: PUSH12 0x66b0ae1772e5eea34b15b14f 000003be: UNKNOWN(0xB3) 000003bf: UNKNOWN(0xA6) 000003c0: SSTORE 000003c1: UNKNOWN(0x2F) 000003c2: PUSH5 0x736f6c6343 000003c8: STOP 000003c9: ADDMOD 000003ca: ADD 000003cb: STOP 000003cc: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe039be567fc6e8643f54dcf2f49487ab63e37fdbcc6a851ef5374065bcbe551c
call_targets:
0xf0b8c683a759dfc3534133dc7a9882d0ec4611b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe039be567fc6e8643f54dcf2f49487ab63e37fdbcc6a851ef5374065bcbe551c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0b8c683a759dfc3534133dc7a9882d0ec4611b7"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x251c1aa3",
"selector": "0x251c1aa3",
"calldata_variants": [
"0x251c1aa3",
"0x251c1aa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42d5f4b2",
"selector": "0x42d5f4b2",
"calldata_variants": [
"0x42d5f4b2",
"0x42d5f4b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95756c04",
"selector": "0x95756c04",
"calldata_variants": [
"0x95756c04",
"0x95756c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa449d83",
"selector": "0xfa449d83",
"calldata_variants": [
"0xfa449d83",
"0xfa449d830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 166,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe039be567fc6e8643f54dcf2f49487ab63e37fdbcc6a851ef5374065bcbe551c
call_targets:
0xf0b8c683a759dfc3534133dc7a9882d0ec4611b7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe039be567fc6e8643f54dcf2f49487ab63e37fdbcc6a851ef5374065bcbe551c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf0b8c683a759dfc3534133dc7a9882d0ec4611b7"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x251c1aa3",
"selector": "0x251c1aa3",
"calldata_variants": [
"0x251c1aa3",
"0x251c1aa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42d5f4b2",
"selector": "0x42d5f4b2",
"calldata_variants": [
"0x42d5f4b2",
"0x42d5f4b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95756c04",
"selector": "0x95756c04",
"calldata_variants": [
"0x95756c04",
"0x95756c040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa449d83",
"selector": "0xfa449d83",
"calldata_variants": [
"0xfa449d83",
"0xfa449d830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 166,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 554,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|