TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b477e-afd6-7042-a9aa-82fe248be2fa

complete
Chain ID
1
Address
Block Number
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
21859 artifact.fetch complete 1 / 3 4 months ago
21860 tool.cast_disasm complete 1 / 3 4 months ago
89417 analysis.bundle complete 1 / 3 2 weeks ago
89418 capability.graph complete 1 / 3 2 weeks ago
89419 detector.run complete 1 / 3 2 weeks ago
89420 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
3025
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00fc
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x06fdde03
0000003c: EQ
0000003d: PUSH2 0x00fe
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x095ea7b3
00000047: EQ
00000048: PUSH2 0x018e
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x18160ddd
00000052: EQ
00000053: PUSH2 0x01f3
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x23b872dd
0000005d: EQ
0000005e: PUSH2 0x021e
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x2ff2e9dc
00000068: EQ
00000069: PUSH2 0x02a3
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x313ce567
00000073: EQ
00000074: PUSH2 0x02ce
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x40c10f19
0000007e: EQ
0000007f: PUSH2 0x02ff
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x66188463
00000089: EQ
0000008a: PUSH2 0x034c
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x70a08231
00000094: EQ
00000095: PUSH2 0x03b1
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x8da5cb5b
0000009f: EQ
000000a0: PUSH2 0x0408
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x95d89b41
000000aa: EQ
000000ab: PUSH2 0x045f
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x9dc29fac
000000b5: EQ
000000b6: PUSH2 0x04ef
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0xa9059cbb
000000c0: EQ
000000c1: PUSH2 0x053c
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0xc1756a2c
000000cb: EQ
000000cc: PUSH2 0x05a1
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0xd0679d34
000000d6: EQ
000000d7: PUSH2 0x05ee
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0xd73dd623
000000e1: EQ
000000e2: PUSH2 0x063b
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0xdd62ed3e
000000ec: EQ
000000ed: PUSH2 0x06a0
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xf2fde38b
000000f7: EQ
000000f8: PUSH2 0x0717
000000fb: JUMPI
000000fc: JUMPDEST
000000fd: STOP
000000fe: JUMPDEST
000000ff: CALLVALUE
00000100: DUP1
00000101: ISZERO
00000102: PUSH2 0x010a
00000105: JUMPI
00000106: PUSH1 0x00
00000108: DUP1
00000109: REVERT
0000010a: JUMPDEST
0000010b: POP
0000010c: PUSH2 0x0113
0000010f: PUSH2 0x075a
00000112: JUMP
00000113: JUMPDEST
00000114: PUSH1 0x40
00000116: MLOAD
00000117: DUP1
00000118: DUP1
00000119: PUSH1 0x20
0000011b: ADD
0000011c: DUP3
0000011d: DUP2
0000011e: SUB
0000011f: DUP3
00000120: MSTORE
00000121: DUP4
00000122: DUP2
00000123: DUP2
00000124: MLOAD
00000125: DUP2
00000126: MSTORE
00000127: PUSH1 0x20
00000129: ADD
0000012a: SWAP2
0000012b: POP
0000012c: DUP1
0000012d: MLOAD
0000012e: SWAP1
0000012f: PUSH1 0x20
00000131: ADD
00000132: SWAP1
00000133: DUP1
00000134: DUP4
00000135: DUP4
00000136: PUSH1 0x00
00000138: JUMPDEST
00000139: DUP4
0000013a: DUP2
0000013b: LT
0000013c: ISZERO
0000013d: PUSH2 0x0153
00000140: JUMPI
00000141: DUP1
00000142: DUP3
00000143: ADD
00000144: MLOAD
00000145: DUP2
00000146: DUP5
00000147: ADD
00000148: MSTORE
00000149: PUSH1 0x20
0000014b: DUP2
0000014c: ADD
0000014d: SWAP1
0000014e: POP
0000014f: PUSH2 0x0138
00000152: JUMP
00000153: JUMPDEST
00000154: POP
00000155: POP
00000156: POP
00000157: POP
00000158: SWAP1
00000159: POP
0000015a: SWAP1
0000015b: DUP2
0000015c: ADD
0000015d: SWAP1
0000015e: PUSH1 0x1f
00000160: AND
00000161: DUP1
00000162: ISZERO
00000163: PUSH2 0x0180
00000166: JUMPI
00000167: DUP1
00000168: DUP3
00000169: SUB
0000016a: DUP1
0000016b: MLOAD
0000016c: PUSH1 0x01
0000016e: DUP4
0000016f: PUSH1 0x20
00000171: SUB
00000172: PUSH2 0x0100
00000175: EXP
00000176: SUB
00000177: NOT
00000178: AND
00000179: DUP2
0000017a: MSTORE
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP2
0000017f: POP
00000180: JUMPDEST
00000181: POP
00000182: SWAP3
00000183: POP
00000184: POP
00000185: POP
00000186: PUSH1 0x40
00000188: MLOAD
00000189: DUP1
0000018a: SWAP2
0000018b: SUB
0000018c: SWAP1
0000018d: RETURN
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: PUSH2 0x01d9
0000019f: PUSH1 0x04
000001a1: DUP1
000001a2: CALLDATASIZE
000001a3: SUB
000001a4: DUP2
000001a5: ADD
000001a6: SWAP1
000001a7: DUP1
000001a8: DUP1
000001a9: CALLDATALOAD
000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001bf: AND
000001c0: SWAP1
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: SWAP1
000001c5: SWAP3
000001c6: SWAP2
000001c7: SWAP1
000001c8: DUP1
000001c9: CALLDATALOAD
000001ca: SWAP1
000001cb: PUSH1 0x20
000001cd: ADD
000001ce: SWAP1
000001cf: SWAP3
000001d0: SWAP2
000001d1: SWAP1
000001d2: POP
000001d3: POP
000001d4: POP
000001d5: PUSH2 0x0793
000001d8: JUMP
000001d9: JUMPDEST
000001da: PUSH1 0x40
000001dc: MLOAD
000001dd: DUP1
000001de: DUP3
000001df: ISZERO
000001e0: ISZERO
000001e1: ISZERO
000001e2: ISZERO
000001e3: DUP2
000001e4: MSTORE
000001e5: PUSH1 0x20
000001e7: ADD
000001e8: SWAP2
000001e9: POP
000001ea: POP
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: RETURN
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01ff
000001fa: JUMPI
000001fb: PUSH1 0x00
000001fd: DUP1
000001fe: REVERT
000001ff: JUMPDEST
00000200: POP
00000201: PUSH2 0x0208
00000204: PUSH2 0x0885
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: DUP1
0000020d: DUP3
0000020e: DUP2
0000020f: MSTORE
00000210: PUSH1 0x20
00000212: ADD
00000213: SWAP2
00000214: POP
00000215: POP
00000216: PUSH1 0x40
00000218: MLOAD
00000219: DUP1
0000021a: SWAP2
0000021b: SUB
0000021c: SWAP1
0000021d: RETURN
0000021e: JUMPDEST
0000021f: CALLVALUE
00000220: DUP1
00000221: ISZERO
00000222: PUSH2 0x022a
00000225: JUMPI
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: POP
0000022c: PUSH2 0x0289
0000022f: PUSH1 0x04
00000231: DUP1
00000232: CALLDATASIZE
00000233: SUB
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: DUP1
00000238: DUP1
00000239: CALLDATALOAD
0000023a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000024f: AND
00000250: SWAP1
00000251: PUSH1 0x20
00000253: ADD
00000254: SWAP1
00000255: SWAP3
00000256: SWAP2
00000257: SWAP1
00000258: DUP1
00000259: CALLDATALOAD
0000025a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026f: AND
00000270: SWAP1
00000271: PUSH1 0x20
00000273: ADD
00000274: SWAP1
00000275: SWAP3
00000276: SWAP2
00000277: SWAP1
00000278: DUP1
00000279: CALLDATALOAD
0000027a: SWAP1
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: SWAP1
0000027f: SWAP3
00000280: SWAP2
00000281: SWAP1
00000282: POP
00000283: POP
00000284: POP
00000285: PUSH2 0x088f
00000288: JUMP
00000289: JUMPDEST
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: DUP1
0000028e: DUP3
0000028f: ISZERO
00000290: ISZERO
00000291: ISZERO
00000292: ISZERO
00000293: DUP2
00000294: MSTORE
00000295: PUSH1 0x20
00000297: ADD
00000298: SWAP2
00000299: POP
0000029a: POP
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: DUP1
0000029f: SWAP2
000002a0: SUB
000002a1: SWAP1
000002a2: RETURN
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: DUP1
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH2 0x02b8
000002b4: PUSH2 0x0c4e
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: DUP3
000002be: DUP2
000002bf: MSTORE
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: SWAP2
000002c4: POP
000002c5: POP
000002c6: PUSH1 0x40
000002c8: MLOAD
000002c9: DUP1
000002ca: SWAP2
000002cb: SUB
000002cc: SWAP1
000002cd: RETURN
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x02e3
000002df: PUSH2 0x0c60
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: DUP1
000002e8: DUP3
000002e9: PUSH1 0xff
000002eb: AND
000002ec: PUSH1 0xff
000002ee: AND
000002ef: DUP2
000002f0: MSTORE
000002f1: PUSH1 0x20
000002f3: ADD
000002f4: SWAP2
000002f5: POP
000002f6: POP
000002f7: PUSH1 0x40
000002f9: MLOAD
000002fa: DUP1
000002fb: SWAP2
000002fc: SUB
000002fd: SWAP1
000002fe: RETURN
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x034a
00000310: PUSH1 0x04
00000312: DUP1
00000313: CALLDATASIZE
00000314: SUB
00000315: DUP2
00000316: ADD
00000317: SWAP1
00000318: DUP1
00000319: DUP1
0000031a: CALLDATALOAD
0000031b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000330: AND
00000331: SWAP1
00000332: PUSH1 0x20
00000334: ADD
00000335: SWAP1
00000336: SWAP3
00000337: SWAP2
00000338: SWAP1
00000339: DUP1
0000033a: CALLDATALOAD
0000033b: SWAP1
0000033c: PUSH1 0x20
0000033e: ADD
0000033f: SWAP1
00000340: SWAP3
00000341: SWAP2
00000342: SWAP1
00000343: POP
00000344: POP
00000345: POP
00000346: PUSH2 0x0c65
00000349: JUMP
0000034a: JUMPDEST
0000034b: STOP
0000034c: JUMPDEST
0000034d: CALLVALUE
0000034e: DUP1
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: POP
0000035a: PUSH2 0x0397
0000035d: PUSH1 0x04
0000035f: DUP1
00000360: CALLDATASIZE
00000361: SUB
00000362: DUP2
00000363: ADD
00000364: SWAP1
00000365: DUP1
00000366: DUP1
00000367: CALLDATALOAD
00000368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037d: AND
0000037e: SWAP1
0000037f: PUSH1 0x20
00000381: ADD
00000382: SWAP1
00000383: SWAP3
00000384: SWAP2
00000385: SWAP1
00000386: DUP1
00000387: CALLDATALOAD
00000388: SWAP1
00000389: PUSH1 0x20
0000038b: ADD
0000038c: SWAP1
0000038d: SWAP3
0000038e: SWAP2
0000038f: SWAP1
00000390: POP
00000391: POP
00000392: POP
00000393: PUSH2 0x0e25
00000396: JUMP
00000397: JUMPDEST
00000398: PUSH1 0x40
0000039a: MLOAD
0000039b: DUP1
0000039c: DUP3
0000039d: ISZERO
0000039e: ISZERO
0000039f: ISZERO
000003a0: ISZERO
000003a1: DUP2
000003a2: MSTORE
000003a3: PUSH1 0x20
000003a5: ADD
000003a6: SWAP2
000003a7: POP
000003a8: POP
000003a9: PUSH1 0x40
000003ab: MLOAD
000003ac: DUP1
000003ad: SWAP2
000003ae: SUB
000003af: SWAP1
000003b0: RETURN
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH2 0x03f2
000003c2: PUSH1 0x04
000003c4: DUP1
000003c5: CALLDATASIZE
000003c6: SUB
000003c7: DUP2
000003c8: ADD
000003c9: SWAP1
000003ca: DUP1
000003cb: DUP1
000003cc: CALLDATALOAD
000003cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e2: AND
000003e3: SWAP1
000003e4: PUSH1 0x20
000003e6: ADD
000003e7: SWAP1
000003e8: SWAP3
000003e9: SWAP2
000003ea: SWAP1
000003eb: POP
000003ec: POP
000003ed: POP
000003ee: PUSH2 0x10b6
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH1 0x40
000003f5: MLOAD
000003f6: DUP1
000003f7: DUP3
000003f8: DUP2
000003f9: MSTORE
000003fa: PUSH1 0x20
000003fc: ADD
000003fd: SWAP2
000003fe: POP
000003ff: POP
00000400: PUSH1 0x40
00000402: MLOAD
00000403: DUP1
00000404: SWAP2
00000405: SUB
00000406: SWAP1
00000407: RETURN
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH2 0x041d
00000419: PUSH2 0x10ff
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: DUP3
00000423: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000438: AND
00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044e: AND
0000044f: DUP2
00000450: MSTORE
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP2
00000455: POP
00000456: POP
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: DUP1
0000045b: SWAP2
0000045c: SUB
0000045d: SWAP1
0000045e: RETURN
0000045f: JUMPDEST
00000460: CALLVALUE
00000461: DUP1
00000462: ISZERO
00000463: PUSH2 0x046b
00000466: JUMPI
00000467: PUSH1 0x00
00000469: DUP1
0000046a: REVERT
0000046b: JUMPDEST
0000046c: POP
0000046d: PUSH2 0x0474
00000470: PUSH2 0x1124
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: DUP1
0000047a: PUSH1 0x20
0000047c: ADD
0000047d: DUP3
0000047e: DUP2
0000047f: SUB
00000480: DUP3
00000481: MSTORE
00000482: DUP4
00000483: DUP2
00000484: DUP2
00000485: MLOAD
00000486: DUP2
00000487: MSTORE
00000488: PUSH1 0x20
0000048a: ADD
0000048b: SWAP2
0000048c: POP
0000048d: DUP1
0000048e: MLOAD
0000048f: SWAP1
00000490: PUSH1 0x20
00000492: ADD
00000493: SWAP1
00000494: DUP1
00000495: DUP4
00000496: DUP4
00000497: PUSH1 0x00
00000499: JUMPDEST
0000049a: DUP4
0000049b: DUP2
0000049c: LT
0000049d: ISZERO
0000049e: PUSH2 0x04b4
000004a1: JUMPI
000004a2: DUP1
000004a3: DUP3
000004a4: ADD
000004a5: MLOAD
000004a6: DUP2
000004a7: DUP5
000004a8: ADD
000004a9: MSTORE
000004aa: PUSH1 0x20
000004ac: DUP2
000004ad: ADD
000004ae: SWAP1
000004af: POP
000004b0: PUSH2 0x0499
000004b3: JUMP
000004b4: JUMPDEST
000004b5: POP
000004b6: POP
000004b7: POP
000004b8: POP
000004b9: SWAP1
000004ba: POP
000004bb: SWAP1
000004bc: DUP2
000004bd: ADD
000004be: SWAP1
000004bf: PUSH1 0x1f
000004c1: AND
000004c2: DUP1
000004c3: ISZERO
000004c4: PUSH2 0x04e1
000004c7: JUMPI
000004c8: DUP1
000004c9: DUP3
000004ca: SUB
000004cb: DUP1
000004cc: MLOAD
000004cd: PUSH1 0x01
000004cf: DUP4
000004d0: PUSH1 0x20
000004d2: SUB
000004d3: PUSH2 0x0100
000004d6: EXP
000004d7: SUB
000004d8: NOT
000004d9: AND
000004da: DUP2
000004db: MSTORE
000004dc: PUSH1 0x20
000004de: ADD
000004df: SWAP2
000004e0: POP
000004e1: JUMPDEST
000004e2: POP
000004e3: SWAP3
000004e4: POP
000004e5: POP
000004e6: POP
000004e7: PUSH1 0x40
000004e9: MLOAD
000004ea: DUP1
000004eb: SWAP2
000004ec: SUB
000004ed: SWAP1
000004ee: RETURN
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: DUP1
000004f2: ISZERO
000004f3: PUSH2 0x04fb
000004f6: JUMPI
000004f7: PUSH1 0x00
000004f9: DUP1
000004fa: REVERT
000004fb: JUMPDEST
000004fc: POP
000004fd: PUSH2 0x053a
00000500: PUSH1 0x04
00000502: DUP1
00000503: CALLDATASIZE
00000504: SUB
00000505: DUP2
00000506: ADD
00000507: SWAP1
00000508: DUP1
00000509: DUP1
0000050a: CALLDATALOAD
0000050b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000520: AND
00000521: SWAP1
00000522: PUSH1 0x20
00000524: ADD
00000525: SWAP1
00000526: SWAP3
00000527: SWAP2
00000528: SWAP1
00000529: DUP1
0000052a: CALLDATALOAD
0000052b: SWAP1
0000052c: PUSH1 0x20
0000052e: ADD
0000052f: SWAP1
00000530: SWAP3
00000531: SWAP2
00000532: SWAP1
00000533: POP
00000534: POP
00000535: POP
00000536: PUSH2 0x115d
00000539: JUMP
0000053a: JUMPDEST
0000053b: STOP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x0587
0000054d: PUSH1 0x04
0000054f: DUP1
00000550: CALLDATASIZE
00000551: SUB
00000552: DUP2
00000553: ADD
00000554: SWAP1
00000555: DUP1
00000556: DUP1
00000557: CALLDATALOAD
00000558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000056d: AND
0000056e: SWAP1
0000056f: PUSH1 0x20
00000571: ADD
00000572: SWAP1
00000573: SWAP3
00000574: SWAP2
00000575: SWAP1
00000576: DUP1
00000577: CALLDATALOAD
00000578: SWAP1
00000579: PUSH1 0x20
0000057b: ADD
0000057c: SWAP1
0000057d: SWAP3
0000057e: SWAP2
0000057f: SWAP1
00000580: POP
00000581: POP
00000582: POP
00000583: PUSH2 0x131d
00000586: JUMP
00000587: JUMPDEST
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP1
0000058c: DUP3
0000058d: ISZERO
0000058e: ISZERO
0000058f: ISZERO
00000590: ISZERO
00000591: DUP2
00000592: MSTORE
00000593: PUSH1 0x20
00000595: ADD
00000596: SWAP2
00000597: POP
00000598: POP
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: DUP1
0000059d: SWAP2
0000059e: SUB
0000059f: SWAP1
000005a0: RETURN
000005a1: JUMPDEST
000005a2: CALLVALUE
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05ad
000005a8: JUMPI
000005a9: PUSH1 0x00
000005ab: DUP1
000005ac: REVERT
000005ad: JUMPDEST
000005ae: POP
000005af: PUSH2 0x05ec
000005b2: PUSH1 0x04
000005b4: DUP1
000005b5: CALLDATASIZE
000005b6: SUB
000005b7: DUP2
000005b8: ADD
000005b9: SWAP1
000005ba: DUP1
000005bb: DUP1
000005bc: CALLDATALOAD
000005bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d2: AND
000005d3: SWAP1
000005d4: PUSH1 0x20
000005d6: ADD
000005d7: SWAP1
000005d8: SWAP3
000005d9: SWAP2
000005da: SWAP1
000005db: DUP1
000005dc: CALLDATALOAD
000005dd: SWAP1
000005de: PUSH1 0x20
000005e0: ADD
000005e1: SWAP1
000005e2: SWAP3
000005e3: SWAP2
000005e4: SWAP1
000005e5: POP
000005e6: POP
000005e7: POP
000005e8: PUSH2 0x1541
000005eb: JUMP
000005ec: JUMPDEST
000005ed: STOP
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05fa
000005f5: JUMPI
000005f6: PUSH1 0x00
000005f8: DUP1
000005f9: REVERT
000005fa: JUMPDEST
000005fb: POP
000005fc: PUSH2 0x0639
000005ff: PUSH1 0x04
00000601: DUP1
00000602: CALLDATASIZE
00000603: SUB
00000604: DUP2
00000605: ADD
00000606: SWAP1
00000607: DUP1
00000608: DUP1
00000609: CALLDATALOAD
0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000061f: AND
00000620: SWAP1
00000621: PUSH1 0x20
00000623: ADD
00000624: SWAP1
00000625: SWAP3
00000626: SWAP2
00000627: SWAP1
00000628: DUP1
00000629: CALLDATALOAD
0000062a: SWAP1
0000062b: PUSH1 0x20
0000062d: ADD
0000062e: SWAP1
0000062f: SWAP3
00000630: SWAP2
00000631: SWAP1
00000632: POP
00000633: POP
00000634: POP
00000635: PUSH2 0x1632
00000638: JUMP
00000639: JUMPDEST
0000063a: STOP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x0686
0000064c: PUSH1 0x04
0000064e: DUP1
0000064f: CALLDATASIZE
00000650: SUB
00000651: DUP2
00000652: ADD
00000653: SWAP1
00000654: DUP1
00000655: DUP1
00000656: CALLDATALOAD
00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066c: AND
0000066d: SWAP1
0000066e: PUSH1 0x20
00000670: ADD
00000671: SWAP1
00000672: SWAP3
00000673: SWAP2
00000674: SWAP1
00000675: DUP1
00000676: CALLDATALOAD
00000677: SWAP1
00000678: PUSH1 0x20
0000067a: ADD
0000067b: SWAP1
0000067c: SWAP3
0000067d: SWAP2
0000067e: SWAP1
0000067f: POP
00000680: POP
00000681: POP
00000682: PUSH2 0x186b
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: DUP1
0000068b: DUP3
0000068c: ISZERO
0000068d: ISZERO
0000068e: ISZERO
0000068f: ISZERO
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x20
00000694: ADD
00000695: SWAP2
00000696: POP
00000697: POP
00000698: PUSH1 0x40
0000069a: MLOAD
0000069b: DUP1
0000069c: SWAP2
0000069d: SUB
0000069e: SWAP1
0000069f: RETURN
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: DUP1
000006a3: ISZERO
000006a4: PUSH2 0x06ac
000006a7: JUMPI
000006a8: PUSH1 0x00
000006aa: DUP1
000006ab: REVERT
000006ac: JUMPDEST
000006ad: POP
000006ae: PUSH2 0x0701
000006b1: PUSH1 0x04
000006b3: DUP1
000006b4: CALLDATASIZE
000006b5: SUB
000006b6: DUP2
000006b7: ADD
000006b8: SWAP1
000006b9: DUP1
000006ba: DUP1
000006bb: CALLDATALOAD
000006bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d1: AND
000006d2: SWAP1
000006d3: PUSH1 0x20
000006d5: ADD
000006d6: SWAP1
000006d7: SWAP3
000006d8: SWAP2
000006d9: SWAP1
000006da: DUP1
000006db: CALLDATALOAD
000006dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f1: AND
000006f2: SWAP1
000006f3: PUSH1 0x20
000006f5: ADD
000006f6: SWAP1
000006f7: SWAP3
000006f8: SWAP2
000006f9: SWAP1
000006fa: POP
000006fb: POP
000006fc: POP
000006fd: PUSH2 0x1a67
00000700: JUMP
00000701: JUMPDEST
00000702: PUSH1 0x40
00000704: MLOAD
00000705: DUP1
00000706: DUP3
00000707: DUP2
00000708: MSTORE
00000709: PUSH1 0x20
0000070b: ADD
0000070c: SWAP2
0000070d: POP
0000070e: POP
0000070f: PUSH1 0x40
00000711: MLOAD
00000712: DUP1
00000713: SWAP2
00000714: SUB
00000715: SWAP1
00000716: RETURN
00000717: JUMPDEST
00000718: CALLVALUE
00000719: DUP1
0000071a: ISZERO
0000071b: PUSH2 0x0723
0000071e: JUMPI
0000071f: PUSH1 0x00
00000721: DUP1
00000722: REVERT
00000723: JUMPDEST
00000724: POP
00000725: PUSH2 0x0758
00000728: PUSH1 0x04
0000072a: DUP1
0000072b: CALLDATASIZE
0000072c: SUB
0000072d: DUP2
0000072e: ADD
0000072f: SWAP1
00000730: DUP1
00000731: DUP1
00000732: CALLDATALOAD
00000733: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000748: AND
00000749: SWAP1
0000074a: PUSH1 0x20
0000074c: ADD
0000074d: SWAP1
0000074e: SWAP3
0000074f: SWAP2
00000750: SWAP1
00000751: POP
00000752: POP
00000753: POP
00000754: PUSH2 0x1aee
00000757: JUMP
00000758: JUMPDEST
00000759: STOP
0000075a: JUMPDEST
0000075b: PUSH1 0x40
0000075d: DUP1
0000075e: MLOAD
0000075f: SWAP1
00000760: DUP2
00000761: ADD
00000762: PUSH1 0x40
00000764: MSTORE
00000765: DUP1
00000766: PUSH1 0x0e
00000768: DUP2
00000769: MSTORE
0000076a: PUSH1 0x20
0000076c: ADD
0000076d: PUSH32 0x4b61726174436f696e2042616e6b000000000000000000000000000000000000
0000078e: DUP2
0000078f: MSTORE
00000790: POP
00000791: DUP2
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH1 0x00
00000796: DUP2
00000797: PUSH1 0x03
00000799: PUSH1 0x00
0000079b: CALLER
0000079c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b1: AND
000007b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c7: AND
000007c8: DUP2
000007c9: MSTORE
000007ca: PUSH1 0x20
000007cc: ADD
000007cd: SWAP1
000007ce: DUP2
000007cf: MSTORE
000007d0: PUSH1 0x20
000007d2: ADD
000007d3: PUSH1 0x00
000007d5: KECCAK256
000007d6: PUSH1 0x00
000007d8: DUP6
000007d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ee: AND
000007ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000804: AND
00000805: DUP2
00000806: MSTORE
00000807: PUSH1 0x20
00000809: ADD
0000080a: SWAP1
0000080b: DUP2
0000080c: MSTORE
0000080d: PUSH1 0x20
0000080f: ADD
00000810: PUSH1 0x00
00000812: KECCAK256
00000813: DUP2
00000814: SWAP1
00000815: SSTORE
00000816: POP
00000817: DUP3
00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082d: AND
0000082e: CALLER
0000082f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000844: AND
00000845: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000866: DUP5
00000867: PUSH1 0x40
00000869: MLOAD
0000086a: DUP1
0000086b: DUP3
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x20
00000870: ADD
00000871: SWAP2
00000872: POP
00000873: POP
00000874: PUSH1 0x40
00000876: MLOAD
00000877: DUP1
00000878: SWAP2
00000879: SUB
0000087a: SWAP1
0000087b: LOG3
0000087c: PUSH1 0x01
0000087e: SWAP1
0000087f: POP
00000880: SWAP3
00000881: SWAP2
00000882: POP
00000883: POP
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x00
00000888: PUSH1 0x02
0000088a: SLOAD
0000088b: SWAP1
0000088c: POP
0000088d: SWAP1
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH1 0x00
00000892: DUP1
00000893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a8: AND
000008a9: DUP4
000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008bf: AND
000008c0: EQ
000008c1: ISZERO
000008c2: ISZERO
000008c3: ISZERO
000008c4: PUSH2 0x08cc
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: DUP1
000008cb: REVERT
000008cc: JUMPDEST
000008cd: PUSH1 0x01
000008cf: PUSH1 0x00
000008d1: DUP6
000008d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e7: AND
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: MSTORE
00000900: PUSH1 0x20
00000902: ADD
00000903: SWAP1
00000904: DUP2
00000905: MSTORE
00000906: PUSH1 0x20
00000908: ADD
00000909: PUSH1 0x00
0000090b: KECCAK256
0000090c: SLOAD
0000090d: DUP3
0000090e: GT
0000090f: ISZERO
00000910: ISZERO
00000911: ISZERO
00000912: PUSH2 0x091a
00000915: JUMPI
00000916: PUSH1 0x00
00000918: DUP1
00000919: REVERT
0000091a: JUMPDEST
0000091b: PUSH1 0x03
0000091d: PUSH1 0x00
0000091f: DUP6
00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000935: AND
00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094b: AND
0000094c: DUP2
0000094d: MSTORE
0000094e: PUSH1 0x20
00000950: ADD
00000951: SWAP1
00000952: DUP2
00000953: MSTORE
00000954: PUSH1 0x20
00000956: ADD
00000957: PUSH1 0x00
00000959: KECCAK256
0000095a: PUSH1 0x00
0000095c: CALLER
0000095d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000972: AND
00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000988: AND
00000989: DUP2
0000098a: MSTORE
0000098b: PUSH1 0x20
0000098d: ADD
0000098e: SWAP1
0000098f: DUP2
00000990: MSTORE
00000991: PUSH1 0x20
00000993: ADD
00000994: PUSH1 0x00
00000996: KECCAK256
00000997: SLOAD
00000998: DUP3
00000999: GT
0000099a: ISZERO
0000099b: ISZERO
0000099c: ISZERO
0000099d: PUSH2 0x09a5
000009a0: JUMPI
000009a1: PUSH1 0x00
000009a3: DUP1
000009a4: REVERT
000009a5: JUMPDEST
000009a6: PUSH2 0x09f7
000009a9: DUP3
000009aa: PUSH1 0x01
000009ac: PUSH1 0x00
000009ae: DUP8
000009af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c4: AND
000009c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009da: AND
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x20
000009df: ADD
000009e0: SWAP1
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: PUSH1 0x00
000009e8: KECCAK256
000009e9: SLOAD
000009ea: PUSH2 0x1c43
000009ed: SWAP1
000009ee: SWAP2
000009ef: SWAP1
000009f0: PUSH4 0xffffffff
000009f5: AND
000009f6: JUMP
000009f7: JUMPDEST
000009f8: PUSH1 0x01
000009fa: PUSH1 0x00
000009fc: DUP7
000009fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a12: AND
00000a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a28: AND
00000a29: DUP2
00000a2a: MSTORE
00000a2b: PUSH1 0x20
00000a2d: ADD
00000a2e: SWAP1
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x20
00000a33: ADD
00000a34: PUSH1 0x00
00000a36: KECCAK256
00000a37: DUP2
00000a38: SWAP1
00000a39: SSTORE
00000a3a: POP
00000a3b: PUSH2 0x0a8c
00000a3e: DUP3
00000a3f: PUSH1 0x01
00000a41: PUSH1 0x00
00000a43: DUP7
00000a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a59: AND
00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6f: AND
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x20
00000a74: ADD
00000a75: SWAP1
00000a76: DUP2
00000a77: MSTORE
00000a78: PUSH1 0x20
00000a7a: ADD
00000a7b: PUSH1 0x00
00000a7d: KECCAK256
00000a7e: SLOAD
00000a7f: PUSH2 0x1c5c
00000a82: SWAP1
00000a83: SWAP2
00000a84: SWAP1
00000a85: PUSH4 0xffffffff
00000a8a: AND
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH1 0x01
00000a8f: PUSH1 0x00
00000a91: DUP6
00000a92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa7: AND
00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000abd: AND
00000abe: DUP2
00000abf: MSTORE
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: SWAP1
00000ac4: DUP2
00000ac5: MSTORE
00000ac6: PUSH1 0x20
00000ac8: ADD
00000ac9: PUSH1 0x00
00000acb: KECCAK256
00000acc: DUP2
00000acd: SWAP1
00000ace: SSTORE
00000acf: POP
00000ad0: PUSH2 0x0b5e
00000ad3: DUP3
00000ad4: PUSH1 0x03
00000ad6: PUSH1 0x00
00000ad8: DUP8
00000ad9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aee: AND
00000aef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b04: AND
00000b05: DUP2
00000b06: MSTORE
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: SWAP1
00000b0b: DUP2
00000b0c: MSTORE
00000b0d: PUSH1 0x20
00000b0f: ADD
00000b10: PUSH1 0x00
00000b12: KECCAK256
00000b13: PUSH1 0x00
00000b15: CALLER
00000b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2b: AND
00000b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b41: AND
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: ADD
00000b47: SWAP1
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: PUSH1 0x00
00000b4f: KECCAK256
00000b50: SLOAD
00000b51: PUSH2 0x1c43
00000b54: SWAP1
00000b55: SWAP2
00000b56: SWAP1
00000b57: PUSH4 0xffffffff
00000b5c: AND
00000b5d: JUMP
00000b5e: JUMPDEST
00000b5f: PUSH1 0x03
00000b61: PUSH1 0x00
00000b63: DUP7
00000b64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b79: AND
00000b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8f: AND
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x20
00000b94: ADD
00000b95: SWAP1
00000b96: DUP2
00000b97: MSTORE
00000b98: PUSH1 0x20
00000b9a: ADD
00000b9b: PUSH1 0x00
00000b9d: KECCAK256
00000b9e: PUSH1 0x00
00000ba0: CALLER
00000ba1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb6: AND
00000bb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcc: AND
00000bcd: DUP2
00000bce: MSTORE
00000bcf: PUSH1 0x20
00000bd1: ADD
00000bd2: SWAP1
00000bd3: DUP2
00000bd4: MSTORE
00000bd5: PUSH1 0x20
00000bd7: ADD
00000bd8: PUSH1 0x00
00000bda: KECCAK256
00000bdb: DUP2
00000bdc: SWAP1
00000bdd: SSTORE
00000bde: POP
00000bdf: DUP3
00000be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf5: AND
00000bf6: DUP5
00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0c: AND
00000c0d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000c2e: DUP5
00000c2f: PUSH1 0x40
00000c31: MLOAD
00000c32: DUP1
00000c33: DUP3
00000c34: DUP2
00000c35: MSTORE
00000c36: PUSH1 0x20
00000c38: ADD
00000c39: SWAP2
00000c3a: POP
00000c3b: POP
00000c3c: PUSH1 0x40
00000c3e: MLOAD
00000c3f: DUP1
00000c40: SWAP2
00000c41: SUB
00000c42: SWAP1
00000c43: LOG3
00000c44: PUSH1 0x01
00000c46: SWAP1
00000c47: POP
00000c48: SWAP4
00000c49: SWAP3
00000c4a: POP
00000c4b: POP
00000c4c: POP
00000c4d: JUMP
00000c4e: JUMPDEST
00000c4f: PUSH1 0x07
00000c51: PUSH1 0xff
00000c53: AND
00000c54: PUSH1 0x0a
00000c56: EXP
00000c57: PUSH5 0x0ba43b7400
00000c5d: MUL
00000c5e: DUP2
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH1 0x07
00000c63: DUP2
00000c64: JUMP
00000c65: JUMPDEST
00000c66: PUSH1 0x00
00000c68: DUP1
00000c69: SWAP1
00000c6a: SLOAD
00000c6b: SWAP1
00000c6c: PUSH2 0x0100
00000c6f: EXP
00000c70: SWAP1
00000c71: DIV
00000c72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c87: AND
00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9d: AND
00000c9e: CALLER
00000c9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb4: AND
00000cb5: EQ
00000cb6: ISZERO
00000cb7: ISZERO
00000cb8: PUSH2 0x0cc0
00000cbb: JUMPI
00000cbc: PUSH1 0x00
00000cbe: DUP1
00000cbf: REVERT
00000cc0: JUMPDEST
00000cc1: PUSH1 0x00
00000cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd8: AND
00000cd9: DUP3
00000cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cef: AND
00000cf0: EQ
00000cf1: ISZERO
00000cf2: ISZERO
00000cf3: ISZERO
00000cf4: PUSH2 0x0cfc
00000cf7: JUMPI
00000cf8: PUSH1 0x00
00000cfa: DUP1
00000cfb: REVERT
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: DUP2
00000d00: GT
00000d01: ISZERO
00000d02: ISZERO
00000d03: PUSH2 0x0d0b
00000d06: JUMPI
00000d07: PUSH1 0x00
00000d09: DUP1
00000d0a: REVERT
00000d0b: JUMPDEST
00000d0c: PUSH2 0x0d20
00000d0f: DUP2
00000d10: PUSH1 0x02
00000d12: SLOAD
00000d13: PUSH2 0x1c5c
00000d16: SWAP1
00000d17: SWAP2
00000d18: SWAP1
00000d19: PUSH4 0xffffffff
00000d1e: AND
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: PUSH1 0x02
00000d23: DUP2
00000d24: SWAP1
00000d25: SSTORE
00000d26: POP
00000d27: PUSH2 0x0d78
00000d2a: DUP2
00000d2b: PUSH1 0x01
00000d2d: PUSH1 0x00
00000d2f: DUP6
00000d30: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d45: AND
00000d46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5b: AND
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: SWAP1
00000d62: DUP2
00000d63: MSTORE
00000d64: PUSH1 0x20
00000d66: ADD
00000d67: PUSH1 0x00
00000d69: KECCAK256
00000d6a: SLOAD
00000d6b: PUSH2 0x1c5c
00000d6e: SWAP1
00000d6f: SWAP2
00000d70: SWAP1
00000d71: PUSH4 0xffffffff
00000d76: AND
00000d77: JUMP
00000d78: JUMPDEST
00000d79: PUSH1 0x01
00000d7b: PUSH1 0x00
00000d7d: DUP5
00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d93: AND
00000d94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da9: AND
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x20
00000dae: ADD
00000daf: SWAP1
00000db0: DUP2
00000db1: MSTORE
00000db2: PUSH1 0x20
00000db4: ADD
00000db5: PUSH1 0x00
00000db7: KECCAK256
00000db8: DUP2
00000db9: SWAP1
00000dba: SSTORE
00000dbb: POP
00000dbc: DUP2
00000dbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd2: AND
00000dd3: PUSH1 0x00
00000dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dea: AND
00000deb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000e0c: DUP4
00000e0d: PUSH1 0x40
00000e0f: MLOAD
00000e10: DUP1
00000e11: DUP3
00000e12: DUP2
00000e13: MSTORE
00000e14: PUSH1 0x20
00000e16: ADD
00000e17: SWAP2
00000e18: POP
00000e19: POP
00000e1a: PUSH1 0x40
00000e1c: MLOAD
00000e1d: DUP1
00000e1e: SWAP2
00000e1f: SUB
00000e20: SWAP1
00000e21: LOG3
00000e22: POP
00000e23: POP
00000e24: JUMP
00000e25: JUMPDEST
00000e26: PUSH1 0x00
00000e28: DUP1
00000e29: PUSH1 0x03
00000e2b: PUSH1 0x00
00000e2d: CALLER
00000e2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e43: AND
00000e44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e59: AND
00000e5a: DUP2
00000e5b: MSTORE
00000e5c: PUSH1 0x20
00000e5e: ADD
00000e5f: SWAP1
00000e60: DUP2
00000e61: MSTORE
00000e62: PUSH1 0x20
00000e64: ADD
00000e65: PUSH1 0x00
00000e67: KECCAK256
00000e68: PUSH1 0x00
00000e6a: DUP6
00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e80: AND
00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e96: AND
00000e97: DUP2
00000e98: MSTORE
00000e99: PUSH1 0x20
00000e9b: ADD
00000e9c: SWAP1
00000e9d: DUP2
00000e9e: MSTORE
00000e9f: PUSH1 0x20
00000ea1: ADD
00000ea2: PUSH1 0x00
00000ea4: KECCAK256
00000ea5: SLOAD
00000ea6: SWAP1
00000ea7: POP
00000ea8: DUP1
00000ea9: DUP4
00000eaa: GT
00000eab: ISZERO
00000eac: PUSH2 0x0f36
00000eaf: JUMPI
00000eb0: PUSH1 0x00
00000eb2: PUSH1 0x03
00000eb4: PUSH1 0x00
00000eb6: CALLER
00000eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecc: AND
00000ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee2: AND
00000ee3: DUP2
00000ee4: MSTORE
00000ee5: PUSH1 0x20
00000ee7: ADD
00000ee8: SWAP1
00000ee9: DUP2
00000eea: MSTORE
00000eeb: PUSH1 0x20
00000eed: ADD
00000eee: PUSH1 0x00
00000ef0: KECCAK256
00000ef1: PUSH1 0x00
00000ef3: DUP7
00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f09: AND
00000f0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1f: AND
00000f20: DUP2
00000f21: MSTORE
00000f22: PUSH1 0x20
00000f24: ADD
00000f25: SWAP1
00000f26: DUP2
00000f27: MSTORE
00000f28: PUSH1 0x20
00000f2a: ADD
00000f2b: PUSH1 0x00
00000f2d: KECCAK256
00000f2e: DUP2
00000f2f: SWAP1
00000f30: SSTORE
00000f31: POP
00000f32: PUSH2 0x0fca
00000f35: JUMP
00000f36: JUMPDEST
00000f37: PUSH2 0x0f49
00000f3a: DUP4
00000f3b: DUP3
00000f3c: PUSH2 0x1c43
00000f3f: SWAP1
00000f40: SWAP2
00000f41: SWAP1
00000f42: PUSH4 0xffffffff
00000f47: AND
00000f48: JUMP
00000f49: JUMPDEST
00000f4a: PUSH1 0x03
00000f4c: PUSH1 0x00
00000f4e: CALLER
00000f4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f64: AND
00000f65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7a: AND
00000f7b: DUP2
00000f7c: MSTORE
00000f7d: PUSH1 0x20
00000f7f: ADD
00000f80: SWAP1
00000f81: DUP2
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: ADD
00000f86: PUSH1 0x00
00000f88: KECCAK256
00000f89: PUSH1 0x00
00000f8b: DUP7
00000f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa1: AND
00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb7: AND
00000fb8: DUP2
00000fb9: MSTORE
00000fba: PUSH1 0x20
00000fbc: ADD
00000fbd: SWAP1
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x20
00000fc2: ADD
00000fc3: PUSH1 0x00
00000fc5: KECCAK256
00000fc6: DUP2
00000fc7: SWAP1
00000fc8: SSTORE
00000fc9: POP
00000fca: JUMPDEST
00000fcb: DUP4
00000fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe1: AND
00000fe2: CALLER
00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff8: AND
00000ff9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000101a: PUSH1 0x03
0000101c: PUSH1 0x00
0000101e: CALLER
0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001034: AND
00001035: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104a: AND
0000104b: DUP2
0000104c: MSTORE
0000104d: PUSH1 0x20
0000104f: ADD
00001050: SWAP1
00001051: DUP2
00001052: MSTORE
00001053: PUSH1 0x20
00001055: ADD
00001056: PUSH1 0x00
00001058: KECCAK256
00001059: PUSH1 0x00
0000105b: DUP9
0000105c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001071: AND
00001072: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001087: AND
00001088: DUP2
00001089: MSTORE
0000108a: PUSH1 0x20
0000108c: ADD
0000108d: SWAP1
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x20
00001092: ADD
00001093: PUSH1 0x00
00001095: KECCAK256
00001096: SLOAD
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: DUP1
0000109b: DUP3
0000109c: DUP2
0000109d: MSTORE
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: SWAP2
000010a2: POP
000010a3: POP
000010a4: PUSH1 0x40
000010a6: MLOAD
000010a7: DUP1
000010a8: SWAP2
000010a9: SUB
000010aa: SWAP1
000010ab: LOG3
000010ac: PUSH1 0x01
000010ae: SWAP2
000010af: POP
000010b0: POP
000010b1: SWAP3
000010b2: SWAP2
000010b3: POP
000010b4: POP
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x00
000010b9: PUSH1 0x01
000010bb: PUSH1 0x00
000010bd: DUP4
000010be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d3: AND
000010d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e9: AND
000010ea: DUP2
000010eb: MSTORE
000010ec: PUSH1 0x20
000010ee: ADD
000010ef: SWAP1
000010f0: DUP2
000010f1: MSTORE
000010f2: PUSH1 0x20
000010f4: ADD
000010f5: PUSH1 0x00
000010f7: KECCAK256
000010f8: SLOAD
000010f9: SWAP1
000010fa: POP
000010fb: SWAP2
000010fc: SWAP1
000010fd: POP
000010fe: JUMP
000010ff: JUMPDEST
00001100: PUSH1 0x00
00001102: DUP1
00001103: SWAP1
00001104: SLOAD
00001105: SWAP1
00001106: PUSH2 0x0100
00001109: EXP
0000110a: SWAP1
0000110b: DIV
0000110c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001121: AND
00001122: DUP2
00001123: JUMP
00001124: JUMPDEST
00001125: PUSH1 0x40
00001127: DUP1
00001128: MLOAD
00001129: SWAP1
0000112a: DUP2
0000112b: ADD
0000112c: PUSH1 0x40
0000112e: MSTORE
0000112f: DUP1
00001130: PUSH1 0x03
00001132: DUP2
00001133: MSTORE
00001134: PUSH1 0x20
00001136: ADD
00001137: PUSH32 0x4b43420000000000000000000000000000000000000000000000000000000000
00001158: DUP2
00001159: MSTORE
0000115a: POP
0000115b: DUP2
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x00
00001160: DUP1
00001161: SWAP1
00001162: SLOAD
00001163: SWAP1
00001164: PUSH2 0x0100
00001167: EXP
00001168: SWAP1
00001169: DIV
0000116a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117f: AND
00001180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001195: AND
00001196: CALLER
00001197: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ac: AND
000011ad: EQ
000011ae: ISZERO
000011af: ISZERO
000011b0: PUSH2 0x11b8
000011b3: JUMPI
000011b4: PUSH1 0x00
000011b6: DUP1
000011b7: REVERT
000011b8: JUMPDEST
000011b9: PUSH1 0x00
000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011d0: AND
000011d1: DUP3
000011d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e7: AND
000011e8: EQ
000011e9: ISZERO
000011ea: ISZERO
000011eb: ISZERO
000011ec: PUSH2 0x11f4
000011ef: JUMPI
000011f0: PUSH1 0x00
000011f2: DUP1
000011f3: REVERT
000011f4: JUMPDEST
000011f5: PUSH1 0x00
000011f7: DUP2
000011f8: GT
000011f9: ISZERO
000011fa: ISZERO
000011fb: PUSH2 0x1203
000011fe: JUMPI
000011ff: PUSH1 0x00
00001201: DUP1
00001202: REVERT
00001203: JUMPDEST
00001204: PUSH2 0x1218
00001207: DUP2
00001208: PUSH1 0x02
0000120a: SLOAD
0000120b: PUSH2 0x1c43
0000120e: SWAP1
0000120f: SWAP2
00001210: SWAP1
00001211: PUSH4 0xffffffff
00001216: AND
00001217: JUMP
00001218: JUMPDEST
00001219: PUSH1 0x02
0000121b: DUP2
0000121c: SWAP1
0000121d: SSTORE
0000121e: POP
0000121f: PUSH2 0x1270
00001222: DUP2
00001223: PUSH1 0x01
00001225: PUSH1 0x00
00001227: DUP6
00001228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123d: AND
0000123e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001253: AND
00001254: DUP2
00001255: MSTORE
00001256: PUSH1 0x20
00001258: ADD
00001259: SWAP1
0000125a: DUP2
0000125b: MSTORE
0000125c: PUSH1 0x20
0000125e: ADD
0000125f: PUSH1 0x00
00001261: KECCAK256
00001262: SLOAD
00001263: PUSH2 0x1c43
00001266: SWAP1
00001267: SWAP2
00001268: SWAP1
00001269: PUSH4 0xffffffff
0000126e: AND
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x01
00001273: PUSH1 0x00
00001275: DUP5
00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128b: AND
0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a1: AND
000012a2: DUP2
000012a3: MSTORE
000012a4: PUSH1 0x20
000012a6: ADD
000012a7: SWAP1
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x20
000012ac: ADD
000012ad: PUSH1 0x00
000012af: KECCAK256
000012b0: DUP2
000012b1: SWAP1
000012b2: SSTORE
000012b3: POP
000012b4: PUSH1 0x00
000012b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cb: AND
000012cc: DUP3
000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e2: AND
000012e3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001304: DUP4
00001305: PUSH1 0x40
00001307: MLOAD
00001308: DUP1
00001309: DUP3
0000130a: DUP2
0000130b: MSTORE
0000130c: PUSH1 0x20
0000130e: ADD
0000130f: SWAP2
00001310: POP
00001311: POP
00001312: PUSH1 0x40
00001314: MLOAD
00001315: DUP1
00001316: SWAP2
00001317: SUB
00001318: SWAP1
00001319: LOG3
0000131a: POP
0000131b: POP
0000131c: JUMP
0000131d: JUMPDEST
0000131e: PUSH1 0x00
00001320: DUP1
00001321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001336: AND
00001337: DUP4
00001338: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134d: AND
0000134e: EQ
0000134f: ISZERO
00001350: ISZERO
00001351: ISZERO
00001352: PUSH2 0x135a
00001355: JUMPI
00001356: PUSH1 0x00
00001358: DUP1
00001359: REVERT
0000135a: JUMPDEST
0000135b: PUSH1 0x01
0000135d: PUSH1 0x00
0000135f: CALLER
00001360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001375: AND
00001376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000138b: AND
0000138c: DUP2
0000138d: MSTORE
0000138e: PUSH1 0x20
00001390: ADD
00001391: SWAP1
00001392: DUP2
00001393: MSTORE
00001394: PUSH1 0x20
00001396: ADD
00001397: PUSH1 0x00
00001399: KECCAK256
0000139a: SLOAD
0000139b: DUP3
0000139c: GT
0000139d: ISZERO
0000139e: ISZERO
0000139f: ISZERO
000013a0: PUSH2 0x13a8
000013a3: JUMPI
000013a4: PUSH1 0x00
000013a6: DUP1
000013a7: REVERT
000013a8: JUMPDEST
000013a9: PUSH2 0x13fa
000013ac: DUP3
000013ad: PUSH1 0x01
000013af: PUSH1 0x00
000013b1: CALLER
000013b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c7: AND
000013c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013dd: AND
000013de: DUP2
000013df: MSTORE
000013e0: PUSH1 0x20
000013e2: ADD
000013e3: SWAP1
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: ADD
000013e9: PUSH1 0x00
000013eb: KECCAK256
000013ec: SLOAD
000013ed: PUSH2 0x1c43
000013f0: SWAP1
000013f1: SWAP2
000013f2: SWAP1
000013f3: PUSH4 0xffffffff
000013f8: AND
000013f9: JUMP
000013fa: JUMPDEST
000013fb: PUSH1 0x01
000013fd: PUSH1 0x00
000013ff: CALLER
00001400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001415: AND
00001416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142b: AND
0000142c: DUP2
0000142d: MSTORE
0000142e: PUSH1 0x20
00001430: ADD
00001431: SWAP1
00001432: DUP2
00001433: MSTORE
00001434: PUSH1 0x20
00001436: ADD
00001437: PUSH1 0x00
00001439: KECCAK256
0000143a: DUP2
0000143b: SWAP1
0000143c: SSTORE
0000143d: POP
0000143e: PUSH2 0x148f
00001441: DUP3
00001442: PUSH1 0x01
00001444: PUSH1 0x00
00001446: DUP7
00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145c: AND
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: AND
00001473: DUP2
00001474: MSTORE
00001475: PUSH1 0x20
00001477: ADD
00001478: SWAP1
00001479: DUP2
0000147a: MSTORE
0000147b: PUSH1 0x20
0000147d: ADD
0000147e: PUSH1 0x00
00001480: KECCAK256
00001481: SLOAD
00001482: PUSH2 0x1c5c
00001485: SWAP1
00001486: SWAP2
00001487: SWAP1
00001488: PUSH4 0xffffffff
0000148d: AND
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH1 0x01
00001492: PUSH1 0x00
00001494: DUP6
00001495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014aa: AND
000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c0: AND
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: ADD
000014c6: SWAP1
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x20
000014cb: ADD
000014cc: PUSH1 0x00
000014ce: KECCAK256
000014cf: DUP2
000014d0: SWAP1
000014d1: SSTORE
000014d2: POP
000014d3: DUP3
000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e9: AND
000014ea: CALLER
000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001500: AND
00001501: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001522: DUP5
00001523: PUSH1 0x40
00001525: MLOAD
00001526: DUP1
00001527: DUP3
00001528: DUP2
00001529: MSTORE
0000152a: PUSH1 0x20
0000152c: ADD
0000152d: SWAP2
0000152e: POP
0000152f: POP
00001530: PUSH1 0x40
00001532: MLOAD
00001533: DUP1
00001534: SWAP2
00001535: SUB
00001536: SWAP1
00001537: LOG3
00001538: PUSH1 0x01
0000153a: SWAP1
0000153b: POP
0000153c: SWAP3
0000153d: SWAP2
0000153e: POP
0000153f: POP
00001540: JUMP
00001541: JUMPDEST
00001542: PUSH1 0x00
00001544: DUP1
00001545: SWAP1
00001546: SLOAD
00001547: SWAP1
00001548: PUSH2 0x0100
0000154b: EXP
0000154c: SWAP1
0000154d: DIV
0000154e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001563: AND
00001564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001579: AND
0000157a: CALLER
0000157b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001590: AND
00001591: EQ
00001592: ISZERO
00001593: ISZERO
00001594: PUSH2 0x159c
00001597: JUMPI
00001598: PUSH1 0x00
0000159a: DUP1
0000159b: REVERT
0000159c: JUMPDEST
0000159d: PUSH1 0x00
0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b4: AND
000015b5: DUP3
000015b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015cb: AND
000015cc: EQ
000015cd: ISZERO
000015ce: ISZERO
000015cf: ISZERO
000015d0: PUSH2 0x15d8
000015d3: JUMPI
000015d4: PUSH1 0x00
000015d6: DUP1
000015d7: REVERT
000015d8: JUMPDEST
000015d9: PUSH1 0x00
000015db: DUP2
000015dc: GT
000015dd: ISZERO
000015de: ISZERO
000015df: PUSH2 0x15e7
000015e2: JUMPI
000015e3: PUSH1 0x00
000015e5: DUP1
000015e6: REVERT
000015e7: JUMPDEST
000015e8: DUP2
000015e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fe: AND
000015ff: PUSH2 0x08fc
00001602: DUP3
00001603: SWAP1
00001604: DUP2
00001605: ISZERO
00001606: MUL
00001607: SWAP1
00001608: PUSH1 0x40
0000160a: MLOAD
0000160b: PUSH1 0x00
0000160d: PUSH1 0x40
0000160f: MLOAD
00001610: DUP1
00001611: DUP4
00001612: SUB
00001613: DUP2
00001614: DUP6
00001615: DUP9
00001616: DUP9
00001617: CALL
00001618: SWAP4
00001619: POP
0000161a: POP
0000161b: POP
0000161c: POP
0000161d: ISZERO
0000161e: DUP1
0000161f: ISZERO
00001620: PUSH2 0x162d
00001623: JUMPI
00001624: RETURNDATASIZE
00001625: PUSH1 0x00
00001627: DUP1
00001628: RETURNDATACOPY
00001629: RETURNDATASIZE
0000162a: PUSH1 0x00
0000162c: REVERT
0000162d: JUMPDEST
0000162e: POP
0000162f: POP
00001630: POP
00001631: JUMP
00001632: JUMPDEST
00001633: PUSH1 0x00
00001635: DUP1
00001636: SWAP1
00001637: SLOAD
00001638: SWAP1
00001639: PUSH2 0x0100
0000163c: EXP
0000163d: SWAP1
0000163e: DIV
0000163f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001654: AND
00001655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166a: AND
0000166b: CALLER
0000166c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001681: AND
00001682: EQ
00001683: ISZERO
00001684: ISZERO
00001685: PUSH2 0x168d
00001688: JUMPI
00001689: PUSH1 0x00
0000168b: DUP1
0000168c: REVERT
0000168d: JUMPDEST
0000168e: PUSH1 0x00
00001690: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a5: AND
000016a6: DUP3
000016a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016bc: AND
000016bd: EQ
000016be: ISZERO
000016bf: ISZERO
000016c0: ISZERO
000016c1: PUSH2 0x16c9
000016c4: JUMPI
000016c5: PUSH1 0x00
000016c7: DUP1
000016c8: REVERT
000016c9: JUMPDEST
000016ca: PUSH1 0x00
000016cc: DUP2
000016cd: GT
000016ce: ISZERO
000016cf: ISZERO
000016d0: PUSH2 0x16d8
000016d3: JUMPI
000016d4: PUSH1 0x00
000016d6: DUP1
000016d7: REVERT
000016d8: JUMPDEST
000016d9: PUSH2 0x172a
000016dc: DUP2
000016dd: PUSH1 0x01
000016df: PUSH1 0x00
000016e1: ADDRESS
000016e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f7: AND
000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170d: AND
0000170e: DUP2
0000170f: MSTORE
00001710: PUSH1 0x20
00001712: ADD
00001713: SWAP1
00001714: DUP2
00001715: MSTORE
00001716: PUSH1 0x20
00001718: ADD
00001719: PUSH1 0x00
0000171b: KECCAK256
0000171c: SLOAD
0000171d: PUSH2 0x1c43
00001720: SWAP1
00001721: SWAP2
00001722: SWAP1
00001723: PUSH4 0xffffffff
00001728: AND
00001729: JUMP
0000172a: JUMPDEST
0000172b: PUSH1 0x01
0000172d: PUSH1 0x00
0000172f: ADDRESS
00001730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001745: AND
00001746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175b: AND
0000175c: DUP2
0000175d: MSTORE
0000175e: PUSH1 0x20
00001760: ADD
00001761: SWAP1
00001762: DUP2
00001763: MSTORE
00001764: PUSH1 0x20
00001766: ADD
00001767: PUSH1 0x00
00001769: KECCAK256
0000176a: DUP2
0000176b: SWAP1
0000176c: SSTORE
0000176d: POP
0000176e: PUSH2 0x17bf
00001771: DUP2
00001772: PUSH1 0x01
00001774: PUSH1 0x00
00001776: DUP6
00001777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178c: AND
0000178d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a2: AND
000017a3: DUP2
000017a4: MSTORE
000017a5: PUSH1 0x20
000017a7: ADD
000017a8: SWAP1
000017a9: DUP2
000017aa: MSTORE
000017ab: PUSH1 0x20
000017ad: ADD
000017ae: PUSH1 0x00
000017b0: KECCAK256
000017b1: SLOAD
000017b2: PUSH2 0x1c5c
000017b5: SWAP1
000017b6: SWAP2
000017b7: SWAP1
000017b8: PUSH4 0xffffffff
000017bd: AND
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x01
000017c2: PUSH1 0x00
000017c4: DUP5
000017c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017da: AND
000017db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f0: AND
000017f1: DUP2
000017f2: MSTORE
000017f3: PUSH1 0x20
000017f5: ADD
000017f6: SWAP1
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH1 0x20
000017fb: ADD
000017fc: PUSH1 0x00
000017fe: KECCAK256
000017ff: DUP2
00001800: SWAP1
00001801: SSTORE
00001802: POP
00001803: DUP2
00001804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001819: AND
0000181a: ADDRESS
0000181b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001830: AND
00001831: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001852: DUP4
00001853: PUSH1 0x40
00001855: MLOAD
00001856: DUP1
00001857: DUP3
00001858: DUP2
00001859: MSTORE
0000185a: PUSH1 0x20
0000185c: ADD
0000185d: SWAP2
0000185e: POP
0000185f: POP
00001860: PUSH1 0x40
00001862: MLOAD
00001863: DUP1
00001864: SWAP2
00001865: SUB
00001866: SWAP1
00001867: LOG3
00001868: POP
00001869: POP
0000186a: JUMP
0000186b: JUMPDEST
0000186c: PUSH1 0x00
0000186e: PUSH2 0x18fc
00001871: DUP3
00001872: PUSH1 0x03
00001874: PUSH1 0x00
00001876: CALLER
00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188c: AND
0000188d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a2: AND
000018a3: DUP2
000018a4: MSTORE
000018a5: PUSH1 0x20
000018a7: ADD
000018a8: SWAP1
000018a9: DUP2
000018aa: MSTORE
000018ab: PUSH1 0x20
000018ad: ADD
000018ae: PUSH1 0x00
000018b0: KECCAK256
000018b1: PUSH1 0x00
000018b3: DUP7
000018b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c9: AND
000018ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018df: AND
000018e0: DUP2
000018e1: MSTORE
000018e2: PUSH1 0x20
000018e4: ADD
000018e5: SWAP1
000018e6: DUP2
000018e7: MSTORE
000018e8: PUSH1 0x20
000018ea: ADD
000018eb: PUSH1 0x00
000018ed: KECCAK256
000018ee: SLOAD
000018ef: PUSH2 0x1c5c
000018f2: SWAP1
000018f3: SWAP2
000018f4: SWAP1
000018f5: PUSH4 0xffffffff
000018fa: AND
000018fb: JUMP
000018fc: JUMPDEST
000018fd: PUSH1 0x03
000018ff: PUSH1 0x00
00001901: CALLER
00001902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001917: AND
00001918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192d: AND
0000192e: DUP2
0000192f: MSTORE
00001930: PUSH1 0x20
00001932: ADD
00001933: SWAP1
00001934: DUP2
00001935: MSTORE
00001936: PUSH1 0x20
00001938: ADD
00001939: PUSH1 0x00
0000193b: KECCAK256
0000193c: PUSH1 0x00
0000193e: DUP6
0000193f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001954: AND
00001955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000196a: AND
0000196b: DUP2
0000196c: MSTORE
0000196d: PUSH1 0x20
0000196f: ADD
00001970: SWAP1
00001971: DUP2
00001972: MSTORE
00001973: PUSH1 0x20
00001975: ADD
00001976: PUSH1 0x00
00001978: KECCAK256
00001979: DUP2
0000197a: SWAP1
0000197b: SSTORE
0000197c: POP
0000197d: DUP3
0000197e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001993: AND
00001994: CALLER
00001995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019aa: AND
000019ab: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000019cc: PUSH1 0x03
000019ce: PUSH1 0x00
000019d0: CALLER
000019d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019e6: AND
000019e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019fc: AND
000019fd: DUP2
000019fe: MSTORE
000019ff: PUSH1 0x20
00001a01: ADD
00001a02: SWAP1
00001a03: DUP2
00001a04: MSTORE
00001a05: PUSH1 0x20
00001a07: ADD
00001a08: PUSH1 0x00
00001a0a: KECCAK256
00001a0b: PUSH1 0x00
00001a0d: DUP8
00001a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a23: AND
00001a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a39: AND
00001a3a: DUP2
00001a3b: MSTORE
00001a3c: PUSH1 0x20
00001a3e: ADD
00001a3f: SWAP1
00001a40: DUP2
00001a41: MSTORE
00001a42: PUSH1 0x20
00001a44: ADD
00001a45: PUSH1 0x00
00001a47: KECCAK256
00001a48: SLOAD
00001a49: PUSH1 0x40
00001a4b: MLOAD
00001a4c: DUP1
00001a4d: DUP3
00001a4e: DUP2
00001a4f: MSTORE
00001a50: PUSH1 0x20
00001a52: ADD
00001a53: SWAP2
00001a54: POP
00001a55: POP
00001a56: PUSH1 0x40
00001a58: MLOAD
00001a59: DUP1
00001a5a: SWAP2
00001a5b: SUB
00001a5c: SWAP1
00001a5d: LOG3
00001a5e: PUSH1 0x01
00001a60: SWAP1
00001a61: POP
00001a62: SWAP3
00001a63: SWAP2
00001a64: POP
00001a65: POP
00001a66: JUMP
00001a67: JUMPDEST
00001a68: PUSH1 0x00
00001a6a: PUSH1 0x03
00001a6c: PUSH1 0x00
00001a6e: DUP5
00001a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a84: AND
00001a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a9a: AND
00001a9b: DUP2
00001a9c: MSTORE
00001a9d: PUSH1 0x20
00001a9f: ADD
00001aa0: SWAP1
00001aa1: DUP2
00001aa2: MSTORE
00001aa3: PUSH1 0x20
00001aa5: ADD
00001aa6: PUSH1 0x00
00001aa8: KECCAK256
00001aa9: PUSH1 0x00
00001aab: DUP4
00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac1: AND
00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad7: AND
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: SWAP1
00001ade: DUP2
00001adf: MSTORE
00001ae0: PUSH1 0x20
00001ae2: ADD
00001ae3: PUSH1 0x00
00001ae5: KECCAK256
00001ae6: SLOAD
00001ae7: SWAP1
00001ae8: POP
00001ae9: SWAP3
00001aea: SWAP2
00001aeb: POP
00001aec: POP
00001aed: JUMP
00001aee: JUMPDEST
00001aef: PUSH1 0x00
00001af1: DUP1
00001af2: SWAP1
00001af3: SLOAD
00001af4: SWAP1
00001af5: PUSH2 0x0100
00001af8: EXP
00001af9: SWAP1
00001afa: DIV
00001afb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b10: AND
00001b11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b26: AND
00001b27: CALLER
00001b28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3d: AND
00001b3e: EQ
00001b3f: ISZERO
00001b40: ISZERO
00001b41: PUSH2 0x1b49
00001b44: JUMPI
00001b45: PUSH1 0x00
00001b47: DUP1
00001b48: REVERT
00001b49: JUMPDEST
00001b4a: PUSH1 0x00
00001b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b61: AND
00001b62: DUP2
00001b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b78: AND
00001b79: EQ
00001b7a: ISZERO
00001b7b: ISZERO
00001b7c: ISZERO
00001b7d: PUSH2 0x1b85
00001b80: JUMPI
00001b81: PUSH1 0x00
00001b83: DUP1
00001b84: REVERT
00001b85: JUMPDEST
00001b86: DUP1
00001b87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9c: AND
00001b9d: PUSH1 0x00
00001b9f: DUP1
00001ba0: SWAP1
00001ba1: SLOAD
00001ba2: SWAP1
00001ba3: PUSH2 0x0100
00001ba6: EXP
00001ba7: SWAP1
00001ba8: DIV
00001ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bbe: AND
00001bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bd4: AND
00001bd5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001bf6: PUSH1 0x40
00001bf8: MLOAD
00001bf9: PUSH1 0x40
00001bfb: MLOAD
00001bfc: DUP1
00001bfd: SWAP2
00001bfe: SUB
00001bff: SWAP1
00001c00: LOG3
00001c01: DUP1
00001c02: PUSH1 0x00
00001c04: DUP1
00001c05: PUSH2 0x0100
00001c08: EXP
00001c09: DUP2
00001c0a: SLOAD
00001c0b: DUP2
00001c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c21: MUL
00001c22: NOT
00001c23: AND
00001c24: SWAP1
00001c25: DUP4
00001c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c3b: AND
00001c3c: MUL
00001c3d: OR
00001c3e: SWAP1
00001c3f: SSTORE
00001c40: POP
00001c41: POP
00001c42: JUMP
00001c43: JUMPDEST
00001c44: PUSH1 0x00
00001c46: DUP3
00001c47: DUP3
00001c48: GT
00001c49: ISZERO
00001c4a: ISZERO
00001c4b: ISZERO
00001c4c: PUSH2 0x1c51
00001c4f: JUMPI
00001c50: INVALID
00001c51: JUMPDEST
00001c52: DUP2
00001c53: DUP4
00001c54: SUB
00001c55: SWAP1
00001c56: POP
00001c57: SWAP3
00001c58: SWAP2
00001c59: POP
00001c5a: POP
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: PUSH1 0x00
00001c5f: DUP1
00001c60: DUP3
00001c61: DUP5
00001c62: ADD
00001c63: SWAP1
00001c64: POP
00001c65: DUP4
00001c66: DUP2
00001c67: LT
00001c68: ISZERO
00001c69: ISZERO
00001c6a: ISZERO
00001c6b: PUSH2 0x1c70
00001c6e: JUMPI
00001c6f: INVALID
00001c70: JUMPDEST
00001c71: DUP1
00001c72: SWAP2
00001c73: POP
00001c74: POP
00001c75: SWAP3
00001c76: SWAP2
00001c77: POP
00001c78: POP
00001c79: JUMP
00001c7a: STOP
00001c7b: LOG1
00001c7c: PUSH6 0x627a7a723058
00001c83: KECCAK256
00001c84: DIV
00001c85: UNKNOWN(0xDF)
00001c86: UNKNOWN(0x2A)
00001c87: UNKNOWN(0x27)
00001c88: TSTORE
00001c89: POP
00001c8a: UNKNOWN(0xB9)
00001c8b: PUSH8 0x1814985be77ef3b5
00001c94: OR
00001c95: DIFFICULTY
00001c96: CALLVALUE
00001c97: UNKNOWN(0xCD)
00001c98: UNKNOWN(0xCA)
00001c99: UNKNOWN(0x25)
00001c9a: CHAINID
00001c9b: UNKNOWN(0xCB)
00001c9c: CALLDATASIZE
00001c9d: UNKNOWN(0xED)
00001c9e: DUP3
00001c9f: LT
00001ca0: UNKNOWN(0xE0)
00001ca1: GASLIMIT
00001ca2: UNKNOWN(0xA8)
00001ca3: PUSH18

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x7f588fe53eac2ac225eaae51b17488e88999b224df16067d432971f88cbb9c9e
call_targets: 0xe01dd5ee7dfbb48baf94b1c885faaa5bc6bbd70a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7f588fe53eac2ac225eaae51b17488e88999b224df16067d432971f88cbb9c9e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe01dd5ee7dfbb48baf94b1c885faaa5bc6bbd70a"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2ff2e9dc",
            "selector": "0x2ff2e9dc",
            "calldata_variants": [
                "0x2ff2e9dc",
                "0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40c10f19",
            "selector": "0x40c10f19",
            "calldata_variants": [
                "0x40c10f19",
                "0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5655,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 3230,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4502,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5498,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5739,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6951,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x7f588fe53eac2ac225eaae51b17488e88999b224df16067d432971f88cbb9c9e
call_targets: 0xe01dd5ee7dfbb48baf94b1c885faaa5bc6bbd70a
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x7f588fe53eac2ac225eaae51b17488e88999b224df16067d432971f88cbb9c9e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xe01dd5ee7dfbb48baf94b1c885faaa5bc6bbd70a"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2ff2e9dc",
            "selector": "0x2ff2e9dc",
            "calldata_variants": [
                "0x2ff2e9dc",
                "0x2ff2e9dc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x40c10f19",
            "selector": "0x40c10f19",
            "calldata_variants": [
                "0x40c10f19",
                "0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5655,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 3230,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4502,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5498,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5739,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6951,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}