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

Analysis Run

019b3844-9394-70f3-bd35-8ffbf3a5e91d

complete
Chain ID
1
Address
0x2e6d6593dc939affcc69c41e224e5d45a66ce4a3
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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?

back to vulns open contract
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
13073 artifact.fetch complete 1 / 3 4 months ago
13074 tool.cast_disasm complete 1 / 3 4 months ago
55900 analysis.bundle complete 1 / 3 2 weeks ago
55901 capability.graph complete 1 / 3 2 weeks ago
55902 detector.run complete 1 / 3 2 weeks ago
55903 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)
4
EXT*/BALANCE
1
Total opcodes
3945
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 0x0180
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 0x01ed
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x18160ddd
00000047: EQ
00000048: PUSH2 0x027d
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x27e235e3
00000052: EQ
00000053: PUSH2 0x02a8
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x313ce567
0000005d: EQ
0000005e: PUSH2 0x02ff
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x323be1c5
00000068: EQ
00000069: PUSH2 0x0330
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x3f4ba83a
00000073: EQ
00000074: PUSH2 0x035f
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x4be1502d
0000007e: EQ
0000007f: PUSH2 0x0376
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x4be8b05e
00000089: EQ
0000008a: PUSH2 0x03c3
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x523a3f08
00000094: EQ
00000095: PUSH2 0x03da
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x5a3b7e42
0000009f: EQ
000000a0: PUSH2 0x0407
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x5c975abb
000000aa: EQ
000000ab: PUSH2 0x0497
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x5ea8cd12
000000b5: EQ
000000b6: PUSH2 0x04c6
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x70a08231
000000c0: EQ
000000c1: PUSH2 0x04f3
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x7ff9b596
000000cb: EQ
000000cc: PUSH2 0x054a
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x83af6ed0
000000d6: EQ
000000d7: PUSH2 0x0575
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x8456cb59
000000e1: EQ
000000e2: PUSH2 0x05a2
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x8da5cb5b
000000ec: EQ
000000ed: PUSH2 0x05b9
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0x91b7f5ed
000000f7: EQ
000000f8: PUSH2 0x0610
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0x959499b6
00000102: EQ
00000103: PUSH2 0x063d
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0x95d89b41
0000010d: EQ
0000010e: PUSH2 0x0668
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x978785e6
00000118: EQ
00000119: PUSH2 0x06f8
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0xa2b7481a
00000123: EQ
00000124: PUSH2 0x0745
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0xa6f2ae3a
0000012e: EQ
0000012f: PUSH2 0x0772
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0xa9059cbb
00000139: EQ
0000013a: PUSH2 0x077c
0000013d: JUMPI
0000013e: DUP1
0000013f: PUSH4 0xaa62b2ac
00000144: EQ
00000145: PUSH2 0x07e1
00000148: JUMPI
00000149: DUP1
0000014a: PUSH4 0xd0e30db0
0000014f: EQ
00000150: PUSH2 0x080e
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0xe45be8eb
0000015a: EQ
0000015b: PUSH2 0x0818
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0xe93c980d
00000165: EQ
00000166: PUSH2 0x0843
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0xeec7faa1
00000170: EQ
00000171: PUSH2 0x086e
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0xf2fde38b
0000017b: EQ
0000017c: PUSH2 0x0899
0000017f: JUMPI
00000180: JUMPDEST
00000181: PUSH1 0x00
00000183: DUP1
00000184: SWAP1
00000185: SLOAD
00000186: SWAP1
00000187: PUSH2 0x0100
0000018a: EXP
0000018b: SWAP1
0000018c: DIV
0000018d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a2: AND
000001a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b8: AND
000001b9: CALLER
000001ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001cf: AND
000001d0: EQ
000001d1: ISZERO
000001d2: PUSH2 0x01e2
000001d5: JUMPI
000001d6: PUSH2 0x01dd
000001d9: PUSH2 0x08dc
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH2 0x01eb
000001e1: JUMP
000001e2: JUMPDEST
000001e3: PUSH2 0x01ea
000001e6: PUSH2 0x08de
000001e9: JUMP
000001ea: JUMPDEST
000001eb: JUMPDEST
000001ec: STOP
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: DUP1
000001f0: ISZERO
000001f1: PUSH2 0x01f9
000001f4: JUMPI
000001f5: PUSH1 0x00
000001f7: DUP1
000001f8: REVERT
000001f9: JUMPDEST
000001fa: POP
000001fb: PUSH2 0x0202
000001fe: PUSH2 0x09a0
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH1 0x40
00000205: MLOAD
00000206: DUP1
00000207: DUP1
00000208: PUSH1 0x20
0000020a: ADD
0000020b: DUP3
0000020c: DUP2
0000020d: SUB
0000020e: DUP3
0000020f: MSTORE
00000210: DUP4
00000211: DUP2
00000212: DUP2
00000213: MLOAD
00000214: DUP2
00000215: MSTORE
00000216: PUSH1 0x20
00000218: ADD
00000219: SWAP2
0000021a: POP
0000021b: DUP1
0000021c: MLOAD
0000021d: SWAP1
0000021e: PUSH1 0x20
00000220: ADD
00000221: SWAP1
00000222: DUP1
00000223: DUP4
00000224: DUP4
00000225: PUSH1 0x00
00000227: JUMPDEST
00000228: DUP4
00000229: DUP2
0000022a: LT
0000022b: ISZERO
0000022c: PUSH2 0x0242
0000022f: JUMPI
00000230: DUP1
00000231: DUP3
00000232: ADD
00000233: MLOAD
00000234: DUP2
00000235: DUP5
00000236: ADD
00000237: MSTORE
00000238: PUSH1 0x20
0000023a: DUP2
0000023b: ADD
0000023c: SWAP1
0000023d: POP
0000023e: PUSH2 0x0227
00000241: JUMP
00000242: JUMPDEST
00000243: POP
00000244: POP
00000245: POP
00000246: POP
00000247: SWAP1
00000248: POP
00000249: SWAP1
0000024a: DUP2
0000024b: ADD
0000024c: SWAP1
0000024d: PUSH1 0x1f
0000024f: AND
00000250: DUP1
00000251: ISZERO
00000252: PUSH2 0x026f
00000255: JUMPI
00000256: DUP1
00000257: DUP3
00000258: SUB
00000259: DUP1
0000025a: MLOAD
0000025b: PUSH1 0x01
0000025d: DUP4
0000025e: PUSH1 0x20
00000260: SUB
00000261: PUSH2 0x0100
00000264: EXP
00000265: SUB
00000266: NOT
00000267: AND
00000268: DUP2
00000269: MSTORE
0000026a: PUSH1 0x20
0000026c: ADD
0000026d: SWAP2
0000026e: POP
0000026f: JUMPDEST
00000270: POP
00000271: SWAP3
00000272: POP
00000273: POP
00000274: POP
00000275: PUSH1 0x40
00000277: MLOAD
00000278: DUP1
00000279: SWAP2
0000027a: SUB
0000027b: SWAP1
0000027c: RETURN
0000027d: JUMPDEST
0000027e: CALLVALUE
0000027f: DUP1
00000280: ISZERO
00000281: PUSH2 0x0289
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: POP
0000028b: PUSH2 0x0292
0000028e: PUSH2 0x0a3e
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH1 0x40
00000295: MLOAD
00000296: DUP1
00000297: DUP3
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: SWAP2
0000029e: POP
0000029f: POP
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: DUP1
000002a4: SWAP2
000002a5: SUB
000002a6: SWAP1
000002a7: RETURN
000002a8: JUMPDEST
000002a9: CALLVALUE
000002aa: DUP1
000002ab: ISZERO
000002ac: PUSH2 0x02b4
000002af: JUMPI
000002b0: PUSH1 0x00
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH2 0x02e9
000002b9: PUSH1 0x04
000002bb: DUP1
000002bc: CALLDATASIZE
000002bd: SUB
000002be: DUP2
000002bf: ADD
000002c0: SWAP1
000002c1: DUP1
000002c2: DUP1
000002c3: CALLDATALOAD
000002c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d9: AND
000002da: SWAP1
000002db: PUSH1 0x20
000002dd: ADD
000002de: SWAP1
000002df: SWAP3
000002e0: SWAP2
000002e1: SWAP1
000002e2: POP
000002e3: POP
000002e4: POP
000002e5: PUSH2 0x0a44
000002e8: JUMP
000002e9: JUMPDEST
000002ea: PUSH1 0x40
000002ec: MLOAD
000002ed: DUP1
000002ee: DUP3
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 0x0314
00000310: PUSH2 0x0a5c
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH1 0x40
00000317: MLOAD
00000318: DUP1
00000319: DUP3
0000031a: PUSH1 0xff
0000031c: AND
0000031d: PUSH1 0xff
0000031f: AND
00000320: DUP2
00000321: MSTORE
00000322: PUSH1 0x20
00000324: ADD
00000325: SWAP2
00000326: POP
00000327: POP
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP1
0000032c: SWAP2
0000032d: SUB
0000032e: SWAP1
0000032f: RETURN
00000330: JUMPDEST
00000331: CALLVALUE
00000332: DUP1
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: POP
0000033e: PUSH2 0x0345
00000341: PUSH2 0x0a61
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH1 0x40
00000348: MLOAD
00000349: DUP1
0000034a: DUP3
0000034b: ISZERO
0000034c: ISZERO
0000034d: ISZERO
0000034e: ISZERO
0000034f: DUP2
00000350: MSTORE
00000351: PUSH1 0x20
00000353: ADD
00000354: SWAP2
00000355: POP
00000356: POP
00000357: PUSH1 0x40
00000359: MLOAD
0000035a: DUP1
0000035b: SWAP2
0000035c: SUB
0000035d: SWAP1
0000035e: RETURN
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x0374
00000370: PUSH2 0x0a74
00000373: JUMP
00000374: JUMPDEST
00000375: STOP
00000376: JUMPDEST
00000377: CALLVALUE
00000378: DUP1
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH2 0x03c1
00000387: PUSH1 0x04
00000389: DUP1
0000038a: CALLDATASIZE
0000038b: SUB
0000038c: DUP2
0000038d: ADD
0000038e: SWAP1
0000038f: DUP1
00000390: DUP1
00000391: CALLDATALOAD
00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a7: AND
000003a8: SWAP1
000003a9: PUSH1 0x20
000003ab: ADD
000003ac: SWAP1
000003ad: SWAP3
000003ae: SWAP2
000003af: SWAP1
000003b0: DUP1
000003b1: CALLDATALOAD
000003b2: SWAP1
000003b3: PUSH1 0x20
000003b5: ADD
000003b6: SWAP1
000003b7: SWAP3
000003b8: SWAP2
000003b9: SWAP1
000003ba: POP
000003bb: POP
000003bc: POP
000003bd: PUSH2 0x0b54
000003c0: JUMP
000003c1: JUMPDEST
000003c2: STOP
000003c3: JUMPDEST
000003c4: CALLVALUE
000003c5: DUP1
000003c6: ISZERO
000003c7: PUSH2 0x03cf
000003ca: JUMPI
000003cb: PUSH1 0x00
000003cd: DUP1
000003ce: REVERT
000003cf: JUMPDEST
000003d0: POP
000003d1: PUSH2 0x03d8
000003d4: PUSH2 0x0bfa
000003d7: JUMP
000003d8: JUMPDEST
000003d9: STOP
000003da: JUMPDEST
000003db: CALLVALUE
000003dc: DUP1
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x0405
000003eb: PUSH1 0x04
000003ed: DUP1
000003ee: CALLDATASIZE
000003ef: SUB
000003f0: DUP2
000003f1: ADD
000003f2: SWAP1
000003f3: DUP1
000003f4: DUP1
000003f5: CALLDATALOAD
000003f6: SWAP1
000003f7: PUSH1 0x20
000003f9: ADD
000003fa: SWAP1
000003fb: SWAP3
000003fc: SWAP2
000003fd: SWAP1
000003fe: POP
000003ff: POP
00000400: POP
00000401: PUSH2 0x0cb7
00000404: JUMP
00000405: JUMPDEST
00000406: STOP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x041c
00000418: PUSH2 0x0f3b
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: DUP1
00000421: DUP1
00000422: PUSH1 0x20
00000424: ADD
00000425: DUP3
00000426: DUP2
00000427: SUB
00000428: DUP3
00000429: MSTORE
0000042a: DUP4
0000042b: DUP2
0000042c: DUP2
0000042d: MLOAD
0000042e: DUP2
0000042f: MSTORE
00000430: PUSH1 0x20
00000432: ADD
00000433: SWAP2
00000434: POP
00000435: DUP1
00000436: MLOAD
00000437: SWAP1
00000438: PUSH1 0x20
0000043a: ADD
0000043b: SWAP1
0000043c: DUP1
0000043d: DUP4
0000043e: DUP4
0000043f: PUSH1 0x00
00000441: JUMPDEST
00000442: DUP4
00000443: DUP2
00000444: LT
00000445: ISZERO
00000446: PUSH2 0x045c
00000449: JUMPI
0000044a: DUP1
0000044b: DUP3
0000044c: ADD
0000044d: MLOAD
0000044e: DUP2
0000044f: DUP5
00000450: ADD
00000451: MSTORE
00000452: PUSH1 0x20
00000454: DUP2
00000455: ADD
00000456: SWAP1
00000457: POP
00000458: PUSH2 0x0441
0000045b: JUMP
0000045c: JUMPDEST
0000045d: POP
0000045e: POP
0000045f: POP
00000460: POP
00000461: SWAP1
00000462: POP
00000463: SWAP1
00000464: DUP2
00000465: ADD
00000466: SWAP1
00000467: PUSH1 0x1f
00000469: AND
0000046a: DUP1
0000046b: ISZERO
0000046c: PUSH2 0x0489
0000046f: JUMPI
00000470: DUP1
00000471: DUP3
00000472: SUB
00000473: DUP1
00000474: MLOAD
00000475: PUSH1 0x01
00000477: DUP4
00000478: PUSH1 0x20
0000047a: SUB
0000047b: PUSH2 0x0100
0000047e: EXP
0000047f: SUB
00000480: NOT
00000481: AND
00000482: DUP2
00000483: MSTORE
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP2
00000488: POP
00000489: JUMPDEST
0000048a: POP
0000048b: SWAP3
0000048c: POP
0000048d: POP
0000048e: POP
0000048f: PUSH1 0x40
00000491: MLOAD
00000492: DUP1
00000493: SWAP2
00000494: SUB
00000495: SWAP1
00000496: RETURN
00000497: JUMPDEST
00000498: CALLVALUE
00000499: DUP1
0000049a: ISZERO
0000049b: PUSH2 0x04a3
0000049e: JUMPI
0000049f: PUSH1 0x00
000004a1: DUP1
000004a2: REVERT
000004a3: JUMPDEST
000004a4: POP
000004a5: PUSH2 0x04ac
000004a8: PUSH2 0x0f74
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: DUP1
000004b1: DUP3
000004b2: ISZERO
000004b3: ISZERO
000004b4: ISZERO
000004b5: ISZERO
000004b6: DUP2
000004b7: MSTORE
000004b8: PUSH1 0x20
000004ba: ADD
000004bb: SWAP2
000004bc: POP
000004bd: POP
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: DUP1
000004c2: SWAP2
000004c3: SUB
000004c4: SWAP1
000004c5: RETURN
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x04f1
000004d7: PUSH1 0x04
000004d9: DUP1
000004da: CALLDATASIZE
000004db: SUB
000004dc: DUP2
000004dd: ADD
000004de: SWAP1
000004df: DUP1
000004e0: DUP1
000004e1: CALLDATALOAD
000004e2: SWAP1
000004e3: PUSH1 0x20
000004e5: ADD
000004e6: SWAP1
000004e7: SWAP3
000004e8: SWAP2
000004e9: SWAP1
000004ea: POP
000004eb: POP
000004ec: POP
000004ed: PUSH2 0x0f87
000004f0: JUMP
000004f1: JUMPDEST
000004f2: STOP
000004f3: JUMPDEST
000004f4: CALLVALUE
000004f5: DUP1
000004f6: ISZERO
000004f7: PUSH2 0x04ff
000004fa: JUMPI
000004fb: PUSH1 0x00
000004fd: DUP1
000004fe: REVERT
000004ff: JUMPDEST
00000500: POP
00000501: PUSH2 0x0534
00000504: PUSH1 0x04
00000506: DUP1
00000507: CALLDATASIZE
00000508: SUB
00000509: DUP2
0000050a: ADD
0000050b: SWAP1
0000050c: DUP1
0000050d: DUP1
0000050e: CALLDATALOAD
0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000524: AND
00000525: SWAP1
00000526: PUSH1 0x20
00000528: ADD
00000529: SWAP1
0000052a: SWAP3
0000052b: SWAP2
0000052c: SWAP1
0000052d: POP
0000052e: POP
0000052f: POP
00000530: PUSH2 0x0fec
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH1 0x40
00000537: MLOAD
00000538: DUP1
00000539: DUP3
0000053a: DUP2
0000053b: MSTORE
0000053c: PUSH1 0x20
0000053e: ADD
0000053f: SWAP2
00000540: POP
00000541: POP
00000542: PUSH1 0x40
00000544: MLOAD
00000545: DUP1
00000546: SWAP2
00000547: SUB
00000548: SWAP1
00000549: RETURN
0000054a: JUMPDEST
0000054b: CALLVALUE
0000054c: DUP1
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: PUSH2 0x055f
0000055b: PUSH2 0x1035
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x40
00000562: MLOAD
00000563: DUP1
00000564: DUP3
00000565: DUP2
00000566: MSTORE
00000567: PUSH1 0x20
00000569: ADD
0000056a: SWAP2
0000056b: POP
0000056c: POP
0000056d: PUSH1 0x40
0000056f: MLOAD
00000570: DUP1
00000571: SWAP2
00000572: SUB
00000573: SWAP1
00000574: RETURN
00000575: JUMPDEST
00000576: CALLVALUE
00000577: DUP1
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: PUSH2 0x05a0
00000586: PUSH1 0x04
00000588: DUP1
00000589: CALLDATASIZE
0000058a: SUB
0000058b: DUP2
0000058c: ADD
0000058d: SWAP1
0000058e: DUP1
0000058f: DUP1
00000590: CALLDATALOAD
00000591: SWAP1
00000592: PUSH1 0x20
00000594: ADD
00000595: SWAP1
00000596: SWAP3
00000597: SWAP2
00000598: SWAP1
00000599: POP
0000059a: POP
0000059b: POP
0000059c: PUSH2 0x103b
0000059f: JUMP
000005a0: JUMPDEST
000005a1: STOP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x05b7
000005b3: PUSH2 0x10a0
000005b6: JUMP
000005b7: JUMPDEST
000005b8: STOP
000005b9: JUMPDEST
000005ba: CALLVALUE
000005bb: DUP1
000005bc: ISZERO
000005bd: PUSH2 0x05c5
000005c0: JUMPI
000005c1: PUSH1 0x00
000005c3: DUP1
000005c4: REVERT
000005c5: JUMPDEST
000005c6: POP
000005c7: PUSH2 0x05ce
000005ca: PUSH2 0x11d9
000005cd: JUMP
000005ce: JUMPDEST
000005cf: PUSH1 0x40
000005d1: MLOAD
000005d2: DUP1
000005d3: DUP3
000005d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e9: AND
000005ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ff: AND
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: SWAP2
00000606: POP
00000607: POP
00000608: PUSH1 0x40
0000060a: MLOAD
0000060b: DUP1
0000060c: SWAP2
0000060d: SUB
0000060e: SWAP1
0000060f: RETURN
00000610: JUMPDEST
00000611: CALLVALUE
00000612: DUP1
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x063b
00000621: PUSH1 0x04
00000623: DUP1
00000624: CALLDATASIZE
00000625: SUB
00000626: DUP2
00000627: ADD
00000628: SWAP1
00000629: DUP1
0000062a: DUP1
0000062b: CALLDATALOAD
0000062c: SWAP1
0000062d: PUSH1 0x20
0000062f: ADD
00000630: SWAP1
00000631: SWAP3
00000632: SWAP2
00000633: SWAP1
00000634: POP
00000635: POP
00000636: POP
00000637: PUSH2 0x11fe
0000063a: JUMP
0000063b: JUMPDEST
0000063c: STOP
0000063d: JUMPDEST
0000063e: CALLVALUE
0000063f: DUP1
00000640: ISZERO
00000641: PUSH2 0x0649
00000644: JUMPI
00000645: PUSH1 0x00
00000647: DUP1
00000648: REVERT
00000649: JUMPDEST
0000064a: POP
0000064b: PUSH2 0x0652
0000064e: PUSH2 0x1263
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH1 0x40
00000655: MLOAD
00000656: DUP1
00000657: DUP3
00000658: DUP2
00000659: MSTORE
0000065a: PUSH1 0x20
0000065c: ADD
0000065d: SWAP2
0000065e: POP
0000065f: POP
00000660: PUSH1 0x40
00000662: MLOAD
00000663: DUP1
00000664: SWAP2
00000665: SUB
00000666: SWAP1
00000667: RETURN
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x067d
00000679: PUSH2 0x1269
0000067c: JUMP
0000067d: JUMPDEST
0000067e: PUSH1 0x40
00000680: MLOAD
00000681: DUP1
00000682: DUP1
00000683: PUSH1 0x20
00000685: ADD
00000686: DUP3
00000687: DUP2
00000688: SUB
00000689: DUP3
0000068a: MSTORE
0000068b: DUP4
0000068c: DUP2
0000068d: DUP2
0000068e: MLOAD
0000068f: DUP2
00000690: MSTORE
00000691: PUSH1 0x20
00000693: ADD
00000694: SWAP2
00000695: POP
00000696: DUP1
00000697: MLOAD
00000698: SWAP1
00000699: PUSH1 0x20
0000069b: ADD
0000069c: SWAP1
0000069d: DUP1
0000069e: DUP4
0000069f: DUP4
000006a0: PUSH1 0x00
000006a2: JUMPDEST
000006a3: DUP4
000006a4: DUP2
000006a5: LT
000006a6: ISZERO
000006a7: PUSH2 0x06bd
000006aa: JUMPI
000006ab: DUP1
000006ac: DUP3
000006ad: ADD
000006ae: MLOAD
000006af: DUP2
000006b0: DUP5
000006b1: ADD
000006b2: MSTORE
000006b3: PUSH1 0x20
000006b5: DUP2
000006b6: ADD
000006b7: SWAP1
000006b8: POP
000006b9: PUSH2 0x06a2
000006bc: JUMP
000006bd: JUMPDEST
000006be: POP
000006bf: POP
000006c0: POP
000006c1: POP
000006c2: SWAP1
000006c3: POP
000006c4: SWAP1
000006c5: DUP2
000006c6: ADD
000006c7: SWAP1
000006c8: PUSH1 0x1f
000006ca: AND
000006cb: DUP1
000006cc: ISZERO
000006cd: PUSH2 0x06ea
000006d0: JUMPI
000006d1: DUP1
000006d2: DUP3
000006d3: SUB
000006d4: DUP1
000006d5: MLOAD
000006d6: PUSH1 0x01
000006d8: DUP4
000006d9: PUSH1 0x20
000006db: SUB
000006dc: PUSH2 0x0100
000006df: EXP
000006e0: SUB
000006e1: NOT
000006e2: AND
000006e3: DUP2
000006e4: MSTORE
000006e5: PUSH1 0x20
000006e7: ADD
000006e8: SWAP2
000006e9: POP
000006ea: JUMPDEST
000006eb: POP
000006ec: SWAP3
000006ed: POP
000006ee: POP
000006ef: POP
000006f0: PUSH1 0x40
000006f2: MLOAD
000006f3: DUP1
000006f4: SWAP2
000006f5: SUB
000006f6: SWAP1
000006f7: RETURN
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: PUSH2 0x0743
00000709: PUSH1 0x04
0000070b: DUP1
0000070c: CALLDATASIZE
0000070d: SUB
0000070e: DUP2
0000070f: ADD
00000710: SWAP1
00000711: DUP1
00000712: DUP1
00000713: CALLDATALOAD
00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000729: AND
0000072a: SWAP1
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: SWAP1
0000072f: SWAP3
00000730: SWAP2
00000731: SWAP1
00000732: DUP1
00000733: CALLDATALOAD
00000734: SWAP1
00000735: PUSH1 0x20
00000737: ADD
00000738: SWAP1
00000739: SWAP3
0000073a: SWAP2
0000073b: SWAP1
0000073c: POP
0000073d: POP
0000073e: POP
0000073f: PUSH2 0x1307
00000742: JUMP
00000743: JUMPDEST
00000744: STOP
00000745: JUMPDEST
00000746: CALLVALUE
00000747: DUP1
00000748: ISZERO
00000749: PUSH2 0x0751
0000074c: JUMPI
0000074d: PUSH1 0x00
0000074f: DUP1
00000750: REVERT
00000751: JUMPDEST
00000752: POP
00000753: PUSH2 0x0770
00000756: PUSH1 0x04
00000758: DUP1
00000759: CALLDATASIZE
0000075a: SUB
0000075b: DUP2
0000075c: ADD
0000075d: SWAP1
0000075e: DUP1
0000075f: DUP1
00000760: CALLDATALOAD
00000761: SWAP1
00000762: PUSH1 0x20
00000764: ADD
00000765: SWAP1
00000766: SWAP3
00000767: SWAP2
00000768: SWAP1
00000769: POP
0000076a: POP
0000076b: POP
0000076c: PUSH2 0x1499
0000076f: JUMP
00000770: JUMPDEST
00000771: STOP
00000772: JUMPDEST
00000773: PUSH2 0x077a
00000776: PUSH2 0x08de
00000779: JUMP
0000077a: JUMPDEST
0000077b: STOP
0000077c: JUMPDEST
0000077d: CALLVALUE
0000077e: DUP1
0000077f: ISZERO
00000780: PUSH2 0x0788
00000783: JUMPI
00000784: PUSH1 0x00
00000786: DUP1
00000787: REVERT
00000788: JUMPDEST
00000789: POP
0000078a: PUSH2 0x07c7
0000078d: PUSH1 0x04
0000078f: DUP1
00000790: CALLDATASIZE
00000791: SUB
00000792: DUP2
00000793: ADD
00000794: SWAP1
00000795: DUP1
00000796: DUP1
00000797: CALLDATALOAD
00000798: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ad: AND
000007ae: SWAP1
000007af: PUSH1 0x20
000007b1: ADD
000007b2: SWAP1
000007b3: SWAP3
000007b4: SWAP2
000007b5: SWAP1
000007b6: DUP1
000007b7: CALLDATALOAD
000007b8: SWAP1
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: SWAP1
000007bd: SWAP3
000007be: SWAP2
000007bf: SWAP1
000007c0: POP
000007c1: POP
000007c2: POP
000007c3: PUSH2 0x14fe
000007c6: JUMP
000007c7: JUMPDEST
000007c8: PUSH1 0x40
000007ca: MLOAD
000007cb: DUP1
000007cc: DUP3
000007cd: ISZERO
000007ce: ISZERO
000007cf: ISZERO
000007d0: ISZERO
000007d1: DUP2
000007d2: MSTORE
000007d3: PUSH1 0x20
000007d5: ADD
000007d6: SWAP2
000007d7: POP
000007d8: POP
000007d9: PUSH1 0x40
000007db: MLOAD
000007dc: DUP1
000007dd: SWAP2
000007de: SUB
000007df: SWAP1
000007e0: RETURN
000007e1: JUMPDEST
000007e2: CALLVALUE
000007e3: DUP1
000007e4: ISZERO
000007e5: PUSH2 0x07ed
000007e8: JUMPI
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: REVERT
000007ed: JUMPDEST
000007ee: POP
000007ef: PUSH2 0x080c
000007f2: PUSH1 0x04
000007f4: DUP1
000007f5: CALLDATASIZE
000007f6: SUB
000007f7: DUP2
000007f8: ADD
000007f9: SWAP1
000007fa: DUP1
000007fb: DUP1
000007fc: CALLDATALOAD
000007fd: SWAP1
000007fe: PUSH1 0x20
00000800: ADD
00000801: SWAP1
00000802: SWAP3
00000803: SWAP2
00000804: SWAP1
00000805: POP
00000806: POP
00000807: POP
00000808: PUSH2 0x19f3
0000080b: JUMP
0000080c: JUMPDEST
0000080d: STOP
0000080e: JUMPDEST
0000080f: PUSH2 0x0816
00000812: PUSH2 0x08dc
00000815: JUMP
00000816: JUMPDEST
00000817: STOP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x082d
00000829: PUSH2 0x1a58
0000082c: JUMP
0000082d: JUMPDEST
0000082e: PUSH1 0x40
00000830: MLOAD
00000831: DUP1
00000832: DUP3
00000833: DUP2
00000834: MSTORE
00000835: PUSH1 0x20
00000837: ADD
00000838: SWAP2
00000839: POP
0000083a: POP
0000083b: PUSH1 0x40
0000083d: MLOAD
0000083e: DUP1
0000083f: SWAP2
00000840: SUB
00000841: SWAP1
00000842: RETURN
00000843: JUMPDEST
00000844: CALLVALUE
00000845: DUP1
00000846: ISZERO
00000847: PUSH2 0x084f
0000084a: JUMPI
0000084b: PUSH1 0x00
0000084d: DUP1
0000084e: REVERT
0000084f: JUMPDEST
00000850: POP
00000851: PUSH2 0x0858
00000854: PUSH2 0x1a5e
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH1 0x40
0000085b: MLOAD
0000085c: DUP1
0000085d: DUP3
0000085e: DUP2
0000085f: MSTORE
00000860: PUSH1 0x20
00000862: ADD
00000863: SWAP2
00000864: POP
00000865: POP
00000866: PUSH1 0x40
00000868: MLOAD
00000869: DUP1
0000086a: SWAP2
0000086b: SUB
0000086c: SWAP1
0000086d: RETURN
0000086e: JUMPDEST
0000086f: CALLVALUE
00000870: DUP1
00000871: ISZERO
00000872: PUSH2 0x087a
00000875: JUMPI
00000876: PUSH1 0x00
00000878: DUP1
00000879: REVERT
0000087a: JUMPDEST
0000087b: POP
0000087c: PUSH2 0x0883
0000087f: PUSH2 0x1a64
00000882: JUMP
00000883: JUMPDEST
00000884: PUSH1 0x40
00000886: MLOAD
00000887: DUP1
00000888: DUP3
00000889: DUP2
0000088a: MSTORE
0000088b: PUSH1 0x20
0000088d: ADD
0000088e: SWAP2
0000088f: POP
00000890: POP
00000891: PUSH1 0x40
00000893: MLOAD
00000894: DUP1
00000895: SWAP2
00000896: SUB
00000897: SWAP1
00000898: RETURN
00000899: JUMPDEST
0000089a: CALLVALUE
0000089b: DUP1
0000089c: ISZERO
0000089d: PUSH2 0x08a5
000008a0: JUMPI
000008a1: PUSH1 0x00
000008a3: DUP1
000008a4: REVERT
000008a5: JUMPDEST
000008a6: POP
000008a7: PUSH2 0x08da
000008aa: PUSH1 0x04
000008ac: DUP1
000008ad: CALLDATASIZE
000008ae: SUB
000008af: DUP2
000008b0: ADD
000008b1: SWAP1
000008b2: DUP1
000008b3: DUP1
000008b4: CALLDATALOAD
000008b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ca: AND
000008cb: SWAP1
000008cc: PUSH1 0x20
000008ce: ADD
000008cf: SWAP1
000008d0: SWAP3
000008d1: SWAP2
000008d2: SWAP1
000008d3: POP
000008d4: POP
000008d5: POP
000008d6: PUSH2 0x1a6a
000008d9: JUMP
000008da: JUMPDEST
000008db: STOP
000008dc: JUMPDEST
000008dd: JUMP
000008de: JUMPDEST
000008df: PUSH1 0x00
000008e1: PUSH1 0x14
000008e3: SWAP1
000008e4: SLOAD
000008e5: SWAP1
000008e6: PUSH2 0x0100
000008e9: EXP
000008ea: SWAP1
000008eb: DIV
000008ec: PUSH1 0xff
000008ee: AND
000008ef: ISZERO
000008f0: DUP1
000008f1: PUSH2 0x0946
000008f4: JUMPI
000008f5: POP
000008f6: PUSH1 0x00
000008f8: DUP1
000008f9: SWAP1
000008fa: SLOAD
000008fb: SWAP1
000008fc: PUSH2 0x0100
000008ff: EXP
00000900: SWAP1
00000901: DIV
00000902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000917: AND
00000918: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092d: AND
0000092e: CALLER
0000092f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000944: AND
00000945: EQ
00000946: JUMPDEST
00000947: ISZERO
00000948: ISZERO
00000949: PUSH2 0x0951
0000094c: JUMPI
0000094d: PUSH1 0x00
0000094f: DUP1
00000950: REVERT
00000951: JUMPDEST
00000952: PUSH1 0x0a
00000954: SLOAD
00000955: CALLVALUE
00000956: LT
00000957: ISZERO
00000958: ISZERO
00000959: ISZERO
0000095a: PUSH2 0x0962
0000095d: JUMPI
0000095e: PUSH1 0x00
00000960: DUP1
00000961: REVERT
00000962: JUMPDEST
00000963: PUSH2 0x098b
00000966: PUSH1 0x07
00000968: SLOAD
00000969: PUSH2 0x097d
0000096c: PUSH1 0x0b
0000096e: SLOAD
0000096f: CALLVALUE
00000970: PUSH2 0x1bbf
00000973: SWAP1
00000974: SWAP2
00000975: SWAP1
00000976: PUSH4 0xffffffff
0000097b: AND
0000097c: JUMP
0000097d: JUMPDEST
0000097e: PUSH2 0x1bfa
00000981: SWAP1
00000982: SWAP2
00000983: SWAP1
00000984: PUSH4 0xffffffff
00000989: AND
0000098a: JUMP
0000098b: JUMPDEST
0000098c: PUSH1 0x08
0000098e: DUP2
0000098f: SWAP1
00000990: SSTORE
00000991: POP
00000992: PUSH2 0x099d
00000995: CALLER
00000996: PUSH1 0x08
00000998: SLOAD
00000999: PUSH2 0x1c15
0000099c: JUMP
0000099d: JUMPDEST
0000099e: POP
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x03
000009a3: DUP1
000009a4: SLOAD
000009a5: PUSH1 0x01
000009a7: DUP2
000009a8: PUSH1 0x01
000009aa: AND
000009ab: ISZERO
000009ac: PUSH2 0x0100
000009af: MUL
000009b0: SUB
000009b1: AND
000009b2: PUSH1 0x02
000009b4: SWAP1
000009b5: DIV
000009b6: DUP1
000009b7: PUSH1 0x1f
000009b9: ADD
000009ba: PUSH1 0x20
000009bc: DUP1
000009bd: SWAP2
000009be: DIV
000009bf: MUL
000009c0: PUSH1 0x20
000009c2: ADD
000009c3: PUSH1 0x40
000009c5: MLOAD
000009c6: SWAP1
000009c7: DUP2
000009c8: ADD
000009c9: PUSH1 0x40
000009cb: MSTORE
000009cc: DUP1
000009cd: SWAP3
000009ce: SWAP2
000009cf: SWAP1
000009d0: DUP2
000009d1: DUP2
000009d2: MSTORE
000009d3: PUSH1 0x20
000009d5: ADD
000009d6: DUP3
000009d7: DUP1
000009d8: SLOAD
000009d9: PUSH1 0x01
000009db: DUP2
000009dc: PUSH1 0x01
000009de: AND
000009df: ISZERO
000009e0: PUSH2 0x0100
000009e3: MUL
000009e4: SUB
000009e5: AND
000009e6: PUSH1 0x02
000009e8: SWAP1
000009e9: DIV
000009ea: DUP1
000009eb: ISZERO
000009ec: PUSH2 0x0a36
000009ef: JUMPI
000009f0: DUP1
000009f1: PUSH1 0x1f
000009f3: LT
000009f4: PUSH2 0x0a0b
000009f7: JUMPI
000009f8: PUSH2 0x0100
000009fb: DUP1
000009fc: DUP4
000009fd: SLOAD
000009fe: DIV
000009ff: MUL
00000a00: DUP4
00000a01: MSTORE
00000a02: SWAP2
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: SWAP2
00000a07: PUSH2 0x0a36
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: DUP3
00000a0d: ADD
00000a0e: SWAP2
00000a0f: SWAP1
00000a10: PUSH1 0x00
00000a12: MSTORE
00000a13: PUSH1 0x20
00000a15: PUSH1 0x00
00000a17: KECCAK256
00000a18: SWAP1
00000a19: JUMPDEST
00000a1a: DUP2
00000a1b: SLOAD
00000a1c: DUP2
00000a1d: MSTORE
00000a1e: SWAP1
00000a1f: PUSH1 0x01
00000a21: ADD
00000a22: SWAP1
00000a23: PUSH1 0x20
00000a25: ADD
00000a26: DUP1
00000a27: DUP4
00000a28: GT
00000a29: PUSH2 0x0a19
00000a2c: JUMPI
00000a2d: DUP3
00000a2e: SWAP1
00000a2f: SUB
00000a30: PUSH1 0x1f
00000a32: AND
00000a33: DUP3
00000a34: ADD
00000a35: SWAP2
00000a36: JUMPDEST
00000a37: POP
00000a38: POP
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: DUP2
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: PUSH1 0x02
00000a41: SLOAD
00000a42: DUP2
00000a43: JUMP
00000a44: JUMPDEST
00000a45: PUSH1 0x01
00000a47: PUSH1 0x20
00000a49: MSTORE
00000a4a: DUP1
00000a4b: PUSH1 0x00
00000a4d: MSTORE
00000a4e: PUSH1 0x40
00000a50: PUSH1 0x00
00000a52: KECCAK256
00000a53: PUSH1 0x00
00000a55: SWAP2
00000a56: POP
00000a57: SWAP1
00000a58: POP
00000a59: SLOAD
00000a5a: DUP2
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x12
00000a5f: DUP2
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH1 0x00
00000a64: PUSH1 0x15
00000a66: SWAP1
00000a67: SLOAD
00000a68: SWAP1
00000a69: PUSH2 0x0100
00000a6c: EXP
00000a6d: SWAP1
00000a6e: DIV
00000a6f: PUSH1 0xff
00000a71: AND
00000a72: DUP2
00000a73: JUMP
00000a74: JUMPDEST
00000a75: PUSH1 0x00
00000a77: DUP1
00000a78: SWAP1
00000a79: SLOAD
00000a7a: SWAP1
00000a7b: PUSH2 0x0100
00000a7e: EXP
00000a7f: SWAP1
00000a80: DIV
00000a81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a96: AND
00000a97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aac: AND
00000aad: CALLER
00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac3: AND
00000ac4: EQ
00000ac5: ISZERO
00000ac6: ISZERO
00000ac7: PUSH2 0x0acf
00000aca: JUMPI
00000acb: PUSH1 0x00
00000acd: DUP1
00000ace: REVERT
00000acf: JUMPDEST
00000ad0: PUSH1 0x00
00000ad2: PUSH1 0x14
00000ad4: SWAP1
00000ad5: SLOAD
00000ad6: SWAP1
00000ad7: PUSH2 0x0100
00000ada: EXP
00000adb: SWAP1
00000adc: DIV
00000add: PUSH1 0xff
00000adf: AND
00000ae0: ISZERO
00000ae1: ISZERO
00000ae2: PUSH2 0x0aea
00000ae5: JUMPI
00000ae6: PUSH1 0x00
00000ae8: DUP1
00000ae9: REVERT
00000aea: JUMPDEST
00000aeb: PUSH1 0x01
00000aed: ISZERO
00000aee: ISZERO
00000aef: PUSH1 0x00
00000af1: PUSH1 0x14
00000af3: SWAP1
00000af4: SLOAD
00000af5: SWAP1
00000af6: PUSH2 0x0100
00000af9: EXP
00000afa: SWAP1
00000afb: DIV
00000afc: PUSH1 0xff
00000afe: AND
00000aff: ISZERO
00000b00: ISZERO
00000b01: EQ
00000b02: ISZERO
00000b03: ISZERO
00000b04: PUSH2 0x0b0c
00000b07: JUMPI
00000b08: PUSH1 0x00
00000b0a: DUP1
00000b0b: REVERT
00000b0c: JUMPDEST
00000b0d: PUSH1 0x00
00000b0f: DUP1
00000b10: PUSH1 0x14
00000b12: PUSH2 0x0100
00000b15: EXP
00000b16: DUP2
00000b17: SLOAD
00000b18: DUP2
00000b19: PUSH1 0xff
00000b1b: MUL
00000b1c: NOT
00000b1d: AND
00000b1e: SWAP1
00000b1f: DUP4
00000b20: ISZERO
00000b21: ISZERO
00000b22: MUL
00000b23: OR
00000b24: SWAP1
00000b25: SSTORE
00000b26: POP
00000b27: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: PUSH1 0x40
00000b4d: MLOAD
00000b4e: DUP1
00000b4f: SWAP2
00000b50: SUB
00000b51: SWAP1
00000b52: LOG1
00000b53: JUMP
00000b54: JUMPDEST
00000b55: PUSH1 0x00
00000b57: DUP1
00000b58: SWAP1
00000b59: SLOAD
00000b5a: SWAP1
00000b5b: PUSH2 0x0100
00000b5e: EXP
00000b5f: SWAP1
00000b60: DIV
00000b61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b76: AND
00000b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8c: AND
00000b8d: CALLER
00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba3: AND
00000ba4: EQ
00000ba5: ISZERO
00000ba6: ISZERO
00000ba7: PUSH2 0x0baf
00000baa: JUMPI
00000bab: PUSH1 0x00
00000bad: DUP1
00000bae: REVERT
00000baf: JUMPDEST
00000bb0: DUP2
00000bb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc6: AND
00000bc7: PUSH2 0x08fc
00000bca: DUP3
00000bcb: SWAP1
00000bcc: DUP2
00000bcd: ISZERO
00000bce: MUL
00000bcf: SWAP1
00000bd0: PUSH1 0x40
00000bd2: MLOAD
00000bd3: PUSH1 0x00
00000bd5: PUSH1 0x40
00000bd7: MLOAD
00000bd8: DUP1
00000bd9: DUP4
00000bda: SUB
00000bdb: DUP2
00000bdc: DUP6
00000bdd: DUP9
00000bde: DUP9
00000bdf: CALL
00000be0: SWAP4
00000be1: POP
00000be2: POP
00000be3: POP
00000be4: POP
00000be5: ISZERO
00000be6: DUP1
00000be7: ISZERO
00000be8: PUSH2 0x0bf5
00000beb: JUMPI
00000bec: RETURNDATASIZE
00000bed: PUSH1 0x00
00000bef: DUP1
00000bf0: RETURNDATACOPY
00000bf1: RETURNDATASIZE
00000bf2: PUSH1 0x00
00000bf4: REVERT
00000bf5: JUMPDEST
00000bf6: POP
00000bf7: POP
00000bf8: POP
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x00
00000bfd: DUP1
00000bfe: SWAP1
00000bff: SLOAD
00000c00: SWAP1
00000c01: PUSH2 0x0100
00000c04: EXP
00000c05: SWAP1
00000c06: DIV
00000c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1c: AND
00000c1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c32: AND
00000c33: CALLER
00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c49: AND
00000c4a: EQ
00000c4b: ISZERO
00000c4c: ISZERO
00000c4d: PUSH2 0x0c55
00000c50: JUMPI
00000c51: PUSH1 0x00
00000c53: DUP1
00000c54: REVERT
00000c55: JUMPDEST
00000c56: PUSH1 0x00
00000c58: DUP1
00000c59: PUSH1 0x14
00000c5b: PUSH2 0x0100
00000c5e: EXP
00000c5f: DUP2
00000c60: SLOAD
00000c61: DUP2
00000c62: PUSH1 0xff
00000c64: MUL
00000c65: NOT
00000c66: AND
00000c67: SWAP1
00000c68: DUP4
00000c69: ISZERO
00000c6a: ISZERO
00000c6b: MUL
00000c6c: OR
00000c6d: SWAP1
00000c6e: SSTORE
00000c6f: POP
00000c70: PUSH1 0x00
00000c72: DUP1
00000c73: PUSH1 0x15
00000c75: PUSH2 0x0100
00000c78: EXP
00000c79: DUP2
00000c7a: SLOAD
00000c7b: DUP2
00000c7c: PUSH1 0xff
00000c7e: MUL
00000c7f: NOT
00000c80: AND
00000c81: SWAP1
00000c82: DUP4
00000c83: ISZERO
00000c84: ISZERO
00000c85: MUL
00000c86: OR
00000c87: SWAP1
00000c88: SSTORE
00000c89: POP
00000c8a: PUSH32 0xaff39f66825d4448497d384dee3f4a3adf00a622960add00806503ae4ccee01c
00000cab: PUSH1 0x40
00000cad: MLOAD
00000cae: PUSH1 0x40
00000cb0: MLOAD
00000cb1: DUP1
00000cb2: SWAP2
00000cb3: SUB
00000cb4: SWAP1
00000cb5: LOG1
00000cb6: JUMP
00000cb7: JUMPDEST
00000cb8: PUSH1 0x00
00000cba: DUP1
00000cbb: PUSH1 0x00
00000cbd: PUSH1 0x14
00000cbf: SWAP1
00000cc0: SLOAD
00000cc1: SWAP1
00000cc2: PUSH2 0x0100
00000cc5: EXP
00000cc6: SWAP1
00000cc7: DIV
00000cc8: PUSH1 0xff
00000cca: AND
00000ccb: ISZERO
00000ccc: DUP1
00000ccd: PUSH2 0x0d22
00000cd0: JUMPI
00000cd1: POP
00000cd2: PUSH1 0x00
00000cd4: DUP1
00000cd5: SWAP1
00000cd6: SLOAD
00000cd7: SWAP1
00000cd8: PUSH2 0x0100
00000cdb: EXP
00000cdc: SWAP1
00000cdd: DIV
00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf3: AND
00000cf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d09: AND
00000d0a: CALLER
00000d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d20: AND
00000d21: EQ
00000d22: JUMPDEST
00000d23: ISZERO
00000d24: ISZERO
00000d25: PUSH2 0x0d2d
00000d28: JUMPI
00000d29: PUSH1 0x00
00000d2b: DUP1
00000d2c: REVERT
00000d2d: JUMPDEST
00000d2e: DUP3
00000d2f: PUSH1 0x01
00000d31: PUSH1 0x00
00000d33: CALLER
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: AND
00000d4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d5f: AND
00000d60: DUP2
00000d61: MSTORE
00000d62: PUSH1 0x20
00000d64: ADD
00000d65: SWAP1
00000d66: DUP2
00000d67: MSTORE
00000d68: PUSH1 0x20
00000d6a: ADD
00000d6b: PUSH1 0x00
00000d6d: KECCAK256
00000d6e: SLOAD
00000d6f: LT
00000d70: ISZERO
00000d71: ISZERO
00000d72: ISZERO
00000d73: PUSH2 0x0d7b
00000d76: JUMPI
00000d77: PUSH1 0x00
00000d79: DUP1
00000d7a: REVERT
00000d7b: JUMPDEST
00000d7c: PUSH2 0x0d90
00000d7f: PUSH1 0x09
00000d81: SLOAD
00000d82: DUP5
00000d83: PUSH2 0x1bbf
00000d86: SWAP1
00000d87: SWAP2
00000d88: SWAP1
00000d89: PUSH4 0xffffffff
00000d8e: AND
00000d8f: JUMP
00000d90: JUMPDEST
00000d91: SWAP2
00000d92: POP
00000d93: PUSH1 0x00
00000d95: DUP3
00000d96: GT
00000d97: ISZERO
00000d98: ISZERO
00000d99: PUSH2 0x0da1
00000d9c: JUMPI
00000d9d: PUSH1 0x00
00000d9f: DUP1
00000da0: REVERT
00000da1: JUMPDEST
00000da2: DUP2
00000da3: ADDRESS
00000da4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000db9: AND
00000dba: BALANCE
00000dbb: LT
00000dbc: ISZERO
00000dbd: ISZERO
00000dbe: ISZERO
00000dbf: PUSH2 0x0dc7
00000dc2: JUMPI
00000dc3: PUSH1 0x00
00000dc5: DUP1
00000dc6: REVERT
00000dc7: JUMPDEST
00000dc8: PUSH1 0x00
00000dca: PUSH1 0x09
00000dcc: SLOAD
00000dcd: GT
00000dce: ISZERO
00000dcf: ISZERO
00000dd0: PUSH2 0x0dd8
00000dd3: JUMPI
00000dd4: PUSH1 0x00
00000dd6: DUP1
00000dd7: REVERT
00000dd8: JUMPDEST
00000dd9: PUSH2 0x0ded
00000ddc: PUSH1 0x0b
00000dde: SLOAD
00000ddf: DUP5
00000de0: PUSH2 0x1bbf
00000de3: SWAP1
00000de4: SWAP2
00000de5: SWAP1
00000de6: PUSH4 0xffffffff
00000deb: AND
00000dec: JUMP
00000ded: JUMPDEST
00000dee: SWAP1
00000def: POP
00000df0: PUSH2 0x0e04
00000df3: DUP2
00000df4: PUSH1 0x02
00000df6: SLOAD
00000df7: PUSH2 0x1fc0
00000dfa: SWAP1
00000dfb: SWAP2
00000dfc: SWAP1
00000dfd: PUSH4 0xffffffff
00000e02: AND
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x02
00000e07: DUP2
00000e08: SWAP1
00000e09: SSTORE
00000e0a: POP
00000e0b: PUSH2 0x0e5c
00000e0e: DUP2
00000e0f: PUSH1 0x01
00000e11: PUSH1 0x00
00000e13: CALLER
00000e14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e29: AND
00000e2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3f: AND
00000e40: DUP2
00000e41: MSTORE
00000e42: PUSH1 0x20
00000e44: ADD
00000e45: SWAP1
00000e46: DUP2
00000e47: MSTORE
00000e48: PUSH1 0x20
00000e4a: ADD
00000e4b: PUSH1 0x00
00000e4d: KECCAK256
00000e4e: SLOAD
00000e4f: PUSH2 0x1fc0
00000e52: SWAP1
00000e53: SWAP2
00000e54: SWAP1
00000e55: PUSH4 0xffffffff
00000e5a: AND
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: PUSH1 0x01
00000e5f: PUSH1 0x00
00000e61: CALLER
00000e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e77: AND
00000e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8d: AND
00000e8e: DUP2
00000e8f: MSTORE
00000e90: PUSH1 0x20
00000e92: ADD
00000e93: SWAP1
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x20
00000e98: ADD
00000e99: PUSH1 0x00
00000e9b: KECCAK256
00000e9c: DUP2
00000e9d: SWAP1
00000e9e: SSTORE
00000e9f: POP
00000ea0: PUSH1 0x00
00000ea2: CALLER
00000ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb8: AND
00000eb9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000eda: DUP4
00000edb: PUSH1 0x40
00000edd: MLOAD
00000ede: DUP1
00000edf: DUP3
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x20
00000ee4: ADD
00000ee5: SWAP2
00000ee6: POP
00000ee7: POP
00000ee8: PUSH1 0x40
00000eea: MLOAD
00000eeb: DUP1
00000eec: SWAP2
00000eed: SUB
00000eee: SWAP1
00000eef: LOG3
00000ef0: CALLER
00000ef1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f06: AND
00000f07: PUSH2 0x08fc
00000f0a: DUP4
00000f0b: SWAP1
00000f0c: DUP2
00000f0d: ISZERO
00000f0e: MUL
00000f0f: SWAP1
00000f10: PUSH1 0x40
00000f12: MLOAD
00000f13: PUSH1 0x00
00000f15: PUSH1 0x40
00000f17: MLOAD
00000f18: DUP1
00000f19: DUP4
00000f1a: SUB
00000f1b: DUP2
00000f1c: DUP6
00000f1d: DUP9
00000f1e: DUP9
00000f1f: CALL
00000f20: SWAP4
00000f21: POP
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: ISZERO
00000f26: DUP1
00000f27: ISZERO
00000f28: PUSH2 0x0f35
00000f2b: JUMPI
00000f2c: RETURNDATASIZE
00000f2d: PUSH1 0x00
00000f2f: DUP1
00000f30: RETURNDATACOPY
00000f31: RETURNDATASIZE
00000f32: PUSH1 0x00
00000f34: REVERT
00000f35: JUMPDEST
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: POP
00000f3a: JUMP
00000f3b: JUMPDEST
00000f3c: PUSH1 0x40
00000f3e: DUP1
00000f3f: MLOAD
00000f40: SWAP1
00000f41: DUP2
00000f42: ADD
00000f43: PUSH1 0x40
00000f45: MSTORE
00000f46: DUP1
00000f47: PUSH1 0x09
00000f49: DUP2
00000f4a: MSTORE
00000f4b: PUSH1 0x20
00000f4d: ADD
00000f4e: PUSH32 0x455243323020504e520000000000000000000000000000000000000000000000
00000f6f: DUP2
00000f70: MSTORE
00000f71: POP
00000f72: DUP2
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH1 0x00
00000f77: PUSH1 0x14
00000f79: SWAP1
00000f7a: SLOAD
00000f7b: SWAP1
00000f7c: PUSH2 0x0100
00000f7f: EXP
00000f80: SWAP1
00000f81: DIV
00000f82: PUSH1 0xff
00000f84: AND
00000f85: DUP2
00000f86: JUMP
00000f87: JUMPDEST
00000f88: PUSH1 0x00
00000f8a: DUP1
00000f8b: SWAP1
00000f8c: SLOAD
00000f8d: SWAP1
00000f8e: PUSH2 0x0100
00000f91: EXP
00000f92: SWAP1
00000f93: DIV
00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa9: AND
00000faa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbf: AND
00000fc0: CALLER
00000fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd6: AND
00000fd7: EQ
00000fd8: ISZERO
00000fd9: ISZERO
00000fda: PUSH2 0x0fe2
00000fdd: JUMPI
00000fde: PUSH1 0x00
00000fe0: DUP1
00000fe1: REVERT
00000fe2: JUMPDEST
00000fe3: DUP1
00000fe4: PUSH1 0x0a
00000fe6: DUP2
00000fe7: SWAP1
00000fe8: SSTORE
00000fe9: POP
00000fea: POP
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH1 0x00
00000fef: PUSH1 0x01
00000ff1: PUSH1 0x00
00000ff3: DUP4
00000ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001009: AND
0000100a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101f: AND
00001020: DUP2
00001021: MSTORE
00001022: PUSH1 0x20
00001024: ADD
00001025: SWAP1
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x20
0000102a: ADD
0000102b: PUSH1 0x00
0000102d: KECCAK256
0000102e: SLOAD
0000102f: SWAP1
00001030: POP
00001031: SWAP2
00001032: SWAP1
00001033: POP
00001034: JUMP
00001035: JUMPDEST
00001036: PUSH1 0x07
00001038: SLOAD
00001039: DUP2
0000103a: JUMP
0000103b: JUMPDEST
0000103c: PUSH1 0x00
0000103e: DUP1
0000103f: SWAP1
00001040: SLOAD
00001041: SWAP1
00001042: PUSH2 0x0100
00001045: EXP
00001046: SWAP1
00001047: DIV
00001048: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000105d: AND
0000105e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001073: AND
00001074: CALLER
00001075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108a: AND
0000108b: EQ
0000108c: ISZERO
0000108d: ISZERO
0000108e: PUSH2 0x1096
00001091: JUMPI
00001092: PUSH1 0x00
00001094: DUP1
00001095: REVERT
00001096: JUMPDEST
00001097: DUP1
00001098: PUSH1 0x05
0000109a: DUP2
0000109b: SWAP1
0000109c: SSTORE
0000109d: POP
0000109e: POP
0000109f: JUMP
000010a0: JUMPDEST
000010a1: PUSH1 0x00
000010a3: DUP1
000010a4: SWAP1
000010a5: SLOAD
000010a6: SWAP1
000010a7: PUSH2 0x0100
000010aa: EXP
000010ab: SWAP1
000010ac: DIV
000010ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010c2: AND
000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d8: AND
000010d9: CALLER
000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ef: AND
000010f0: EQ
000010f1: ISZERO
000010f2: ISZERO
000010f3: PUSH2 0x10fb
000010f6: JUMPI
000010f7: PUSH1 0x00
000010f9: DUP1
000010fa: REVERT
000010fb: JUMPDEST
000010fc: PUSH1 0x00
000010fe: PUSH1 0x14
00001100: SWAP1
00001101: SLOAD
00001102: SWAP1
00001103: PUSH2 0x0100
00001106: EXP
00001107: SWAP1
00001108: DIV
00001109: PUSH1 0xff
0000110b: AND
0000110c: ISZERO
0000110d: DUP1
0000110e: PUSH2 0x1163
00001111: JUMPI
00001112: POP
00001113: PUSH1 0x00
00001115: DUP1
00001116: SWAP1
00001117: SLOAD
00001118: SWAP1
00001119: PUSH2 0x0100
0000111c: EXP
0000111d: SWAP1
0000111e: DIV
0000111f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001134: AND
00001135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000114a: AND
0000114b: CALLER
0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001161: AND
00001162: EQ
00001163: JUMPDEST
00001164: ISZERO
00001165: ISZERO
00001166: PUSH2 0x116e
00001169: JUMPI
0000116a: PUSH1 0x00
0000116c: DUP1
0000116d: REVERT
0000116e: JUMPDEST
0000116f: PUSH1 0x01
00001171: ISZERO
00001172: ISZERO
00001173: PUSH1 0x00
00001175: PUSH1 0x15
00001177: SWAP1
00001178: SLOAD
00001179: SWAP1
0000117a: PUSH2 0x0100
0000117d: EXP
0000117e: SWAP1
0000117f: DIV
00001180: PUSH1 0xff
00001182: AND
00001183: ISZERO
00001184: ISZERO
00001185: EQ
00001186: ISZERO
00001187: ISZERO
00001188: PUSH2 0x1190
0000118b: JUMPI
0000118c: PUSH1 0x00
0000118e: DUP1
0000118f: REVERT
00001190: JUMPDEST
00001191: PUSH1 0x01
00001193: PUSH1 0x00
00001195: PUSH1 0x14
00001197: PUSH2 0x0100
0000119a: EXP
0000119b: DUP2
0000119c: SLOAD
0000119d: DUP2
0000119e: PUSH1 0xff
000011a0: MUL
000011a1: NOT
000011a2: AND
000011a3: SWAP1
000011a4: DUP4
000011a5: ISZERO
000011a6: ISZERO
000011a7: MUL
000011a8: OR
000011a9: SWAP1
000011aa: SSTORE
000011ab: POP
000011ac: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: PUSH1 0x40
000011d2: MLOAD
000011d3: DUP1
000011d4: SWAP2
000011d5: SUB
000011d6: SWAP1
000011d7: LOG1
000011d8: JUMP
000011d9: JUMPDEST
000011da: PUSH1 0x00
000011dc: DUP1
000011dd: SWAP1
000011de: SLOAD
000011df: SWAP1
000011e0: PUSH2 0x0100
000011e3: EXP
000011e4: SWAP1
000011e5: DIV
000011e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fb: AND
000011fc: DUP2
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH1 0x00
00001201: DUP1
00001202: SWAP1
00001203: SLOAD
00001204: SWAP1
00001205: PUSH2 0x0100
00001208: EXP
00001209: SWAP1
0000120a: DIV
0000120b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001220: AND
00001221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001236: AND
00001237: CALLER
00001238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000124d: AND
0000124e: EQ
0000124f: ISZERO
00001250: ISZERO
00001251: PUSH2 0x1259
00001254: JUMPI
00001255: PUSH1 0x00
00001257: DUP1
00001258: REVERT
00001259: JUMPDEST
0000125a: DUP1
0000125b: PUSH1 0x07
0000125d: DUP2
0000125e: SWAP1
0000125f: SSTORE
00001260: POP
00001261: POP
00001262: JUMP
00001263: JUMPDEST
00001264: PUSH1 0x09
00001266: SLOAD
00001267: DUP2
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH1 0x04
0000126c: DUP1
0000126d: SLOAD
0000126e: PUSH1 0x01
00001270: DUP2
00001271: PUSH1 0x01
00001273: AND
00001274: ISZERO
00001275: PUSH2 0x0100
00001278: MUL
00001279: SUB
0000127a: AND
0000127b: PUSH1 0x02
0000127d: SWAP1
0000127e: DIV
0000127f: DUP1
00001280: PUSH1 0x1f
00001282: ADD
00001283: PUSH1 0x20
00001285: DUP1
00001286: SWAP2
00001287: DIV
00001288: MUL
00001289: PUSH1 0x20
0000128b: ADD
0000128c: PUSH1 0x40
0000128e: MLOAD
0000128f: SWAP1
00001290: DUP2
00001291: ADD
00001292: PUSH1 0x40
00001294: MSTORE
00001295: DUP1
00001296: SWAP3
00001297: SWAP2
00001298: SWAP1
00001299: DUP2
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x20
0000129e: ADD
0000129f: DUP3
000012a0: DUP1
000012a1: SLOAD
000012a2: PUSH1 0x01
000012a4: DUP2
000012a5: PUSH1 0x01
000012a7: AND
000012a8: ISZERO
000012a9: PUSH2 0x0100
000012ac: MUL
000012ad: SUB
000012ae: AND
000012af: PUSH1 0x02
000012b1: SWAP1
000012b2: DIV
000012b3: DUP1
000012b4: ISZERO
000012b5: PUSH2 0x12ff
000012b8: JUMPI
000012b9: DUP1
000012ba: PUSH1 0x1f
000012bc: LT
000012bd: PUSH2 0x12d4
000012c0: JUMPI
000012c1: PUSH2 0x0100
000012c4: DUP1
000012c5: DUP4
000012c6: SLOAD
000012c7: DIV
000012c8: MUL
000012c9: DUP4
000012ca: MSTORE
000012cb: SWAP2
000012cc: PUSH1 0x20
000012ce: ADD
000012cf: SWAP2
000012d0: PUSH2 0x12ff
000012d3: JUMP
000012d4: JUMPDEST
000012d5: DUP3
000012d6: ADD
000012d7: SWAP2
000012d8: SWAP1
000012d9: PUSH1 0x00
000012db: MSTORE
000012dc: PUSH1 0x20
000012de: PUSH1 0x00
000012e0: KECCAK256
000012e1: SWAP1
000012e2: JUMPDEST
000012e3: DUP2
000012e4: SLOAD
000012e5: DUP2
000012e6: MSTORE
000012e7: SWAP1
000012e8: PUSH1 0x01
000012ea: ADD
000012eb: SWAP1
000012ec: PUSH1 0x20
000012ee: ADD
000012ef: DUP1
000012f0: DUP4
000012f1: GT
000012f2: PUSH2 0x12e2
000012f5: JUMPI
000012f6: DUP3
000012f7: SWAP1
000012f8: SUB
000012f9: PUSH1 0x1f
000012fb: AND
000012fc: DUP3
000012fd: ADD
000012fe: SWAP2
000012ff: JUMPDEST
00001300: POP
00001301: POP
00001302: POP
00001303: POP
00001304: POP
00001305: DUP2
00001306: JUMP
00001307: JUMPDEST
00001308: PUSH1 0x00
0000130a: DUP1
0000130b: SWAP1
0000130c: SLOAD
0000130d: SWAP1
0000130e: PUSH2 0x0100
00001311: EXP
00001312: SWAP1
00001313: DIV
00001314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001329: AND
0000132a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000133f: AND
00001340: CALLER
00001341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001356: AND
00001357: EQ
00001358: ISZERO
00001359: ISZERO
0000135a: PUSH2 0x1362
0000135d: JUMPI
0000135e: PUSH1 0x00
00001360: DUP1
00001361: REVERT
00001362: JUMPDEST
00001363: DUP1
00001364: PUSH1 0x01
00001366: PUSH1 0x00
00001368: DUP5
00001369: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137e: AND
0000137f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001394: AND
00001395: DUP2
00001396: MSTORE
00001397: PUSH1 0x20
00001399: ADD
0000139a: SWAP1
0000139b: DUP2
0000139c: MSTORE
0000139d: PUSH1 0x20
0000139f: ADD
000013a0: PUSH1 0x00
000013a2: KECCAK256
000013a3: SLOAD
000013a4: LT
000013a5: ISZERO
000013a6: ISZERO
000013a7: ISZERO
000013a8: PUSH2 0x13b0
000013ab: JUMPI
000013ac: PUSH1 0x00
000013ae: DUP1
000013af: REVERT
000013b0: JUMPDEST
000013b1: PUSH2 0x1402
000013b4: DUP2
000013b5: PUSH1 0x01
000013b7: PUSH1 0x00
000013b9: DUP6
000013ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013cf: AND
000013d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e5: AND
000013e6: DUP2
000013e7: MSTORE
000013e8: PUSH1 0x20
000013ea: ADD
000013eb: SWAP1
000013ec: DUP2
000013ed: MSTORE
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: PUSH1 0x00
000013f3: KECCAK256
000013f4: SLOAD
000013f5: PUSH2 0x1fc0
000013f8: SWAP1
000013f9: SWAP2
000013fa: SWAP1
000013fb: PUSH4 0xffffffff
00001400: AND
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x01
00001405: PUSH1 0x00
00001407: DUP5
00001408: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141d: AND
0000141e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001433: AND
00001434: DUP2
00001435: MSTORE
00001436: PUSH1 0x20
00001438: ADD
00001439: SWAP1
0000143a: DUP2
0000143b: MSTORE
0000143c: PUSH1 0x20
0000143e: ADD
0000143f: PUSH1 0x00
00001441: KECCAK256
00001442: DUP2
00001443: SWAP1
00001444: SSTORE
00001445: POP
00001446: PUSH1 0x00
00001448: DUP3
00001449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145e: AND
0000145f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001480: DUP4
00001481: PUSH1 0x40
00001483: MLOAD
00001484: DUP1
00001485: DUP3
00001486: DUP2
00001487: MSTORE
00001488: PUSH1 0x20
0000148a: ADD
0000148b: SWAP2
0000148c: POP
0000148d: POP
0000148e: PUSH1 0x40
00001490: MLOAD
00001491: DUP1
00001492: SWAP2
00001493: SUB
00001494: SWAP1
00001495: LOG3
00001496: POP
00001497: POP
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x00
0000149c: DUP1
0000149d: SWAP1
0000149e: SLOAD
0000149f: SWAP1
000014a0: PUSH2 0x0100
000014a3: EXP
000014a4: SWAP1
000014a5: DIV
000014a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bb: AND
000014bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d1: AND
000014d2: CALLER
000014d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e8: AND
000014e9: EQ
000014ea: ISZERO
000014eb: ISZERO
000014ec: PUSH2 0x14f4
000014ef: JUMPI
000014f0: PUSH1 0x00
000014f2: DUP1
000014f3: REVERT
000014f4: JUMPDEST
000014f5: DUP1
000014f6: PUSH1 0x09
000014f8: DUP2
000014f9: SWAP1
000014fa: SSTORE
000014fb: POP
000014fc: POP
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x00
00001501: DUP1
00001502: PUSH1 0x14
00001504: SWAP1
00001505: SLOAD
00001506: SWAP1
00001507: PUSH2 0x0100
0000150a: EXP
0000150b: SWAP1
0000150c: DIV
0000150d: PUSH1 0xff
0000150f: AND
00001510: ISZERO
00001511: DUP1
00001512: PUSH2 0x1567
00001515: JUMPI
00001516: POP
00001517: PUSH1 0x00
00001519: DUP1
0000151a: SWAP1
0000151b: SLOAD
0000151c: SWAP1
0000151d: PUSH2 0x0100
00001520: EXP
00001521: SWAP1
00001522: DIV
00001523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001538: AND
00001539: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154e: AND
0000154f: CALLER
00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001565: AND
00001566: EQ
00001567: JUMPDEST
00001568: ISZERO
00001569: ISZERO
0000156a: PUSH2 0x1572
0000156d: JUMPI
0000156e: PUSH1 0x00
00001570: DUP1
00001571: REVERT
00001572: JUMPDEST
00001573: PUSH1 0x00
00001575: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158a: AND
0000158b: DUP4
0000158c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015a1: AND
000015a2: EQ
000015a3: ISZERO
000015a4: ISZERO
000015a5: ISZERO
000015a6: PUSH2 0x15ae
000015a9: JUMPI
000015aa: PUSH1 0x00
000015ac: DUP1
000015ad: REVERT
000015ae: JUMPDEST
000015af: DUP2
000015b0: PUSH1 0x01
000015b2: PUSH1 0x00
000015b4: CALLER
000015b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ca: AND
000015cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e0: AND
000015e1: DUP2
000015e2: MSTORE
000015e3: PUSH1 0x20
000015e5: ADD
000015e6: SWAP1
000015e7: DUP2
000015e8: MSTORE
000015e9: PUSH1 0x20
000015eb: ADD
000015ec: PUSH1 0x00
000015ee: KECCAK256
000015ef: SLOAD
000015f0: LT
000015f1: ISZERO
000015f2: DUP1
000015f3: ISZERO
000015f4: PUSH2 0x167d
000015f7: JUMPI
000015f8: POP
000015f9: PUSH1 0x01
000015fb: PUSH1 0x00
000015fd: DUP5
000015fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001613: AND
00001614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001629: AND
0000162a: DUP2
0000162b: MSTORE
0000162c: PUSH1 0x20
0000162e: ADD
0000162f: SWAP1
00001630: DUP2
00001631: MSTORE
00001632: PUSH1 0x20
00001634: ADD
00001635: PUSH1 0x00
00001637: KECCAK256
00001638: SLOAD
00001639: DUP3
0000163a: PUSH1 0x01
0000163c: PUSH1 0x00
0000163e: DUP7
0000163f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001654: AND
00001655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166a: AND
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x20
0000166f: ADD
00001670: SWAP1
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x20
00001675: ADD
00001676: PUSH1 0x00
00001678: KECCAK256
00001679: SLOAD
0000167a: ADD
0000167b: LT
0000167c: ISZERO
0000167d: JUMPDEST
0000167e: ISZERO
0000167f: ISZERO
00001680: PUSH2 0x1688
00001683: JUMPI
00001684: PUSH1 0x00
00001686: DUP1
00001687: REVERT
00001688: JUMPDEST
00001689: PUSH2 0x16da
0000168c: DUP3
0000168d: PUSH1 0x01
0000168f: PUSH1 0x00
00001691: CALLER
00001692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a7: AND
000016a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016bd: AND
000016be: DUP2
000016bf: MSTORE
000016c0: PUSH1 0x20
000016c2: ADD
000016c3: SWAP1
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x20
000016c8: ADD
000016c9: PUSH1 0x00
000016cb: KECCAK256
000016cc: SLOAD
000016cd: PUSH2 0x1fc0
000016d0: SWAP1
000016d1: SWAP2
000016d2: SWAP1
000016d3: PUSH4 0xffffffff
000016d8: AND
000016d9: JUMP
000016da: JUMPDEST
000016db: PUSH1 0x01
000016dd: PUSH1 0x00
000016df: CALLER
000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f5: AND
000016f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000170b: AND
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x20
00001710: ADD
00001711: SWAP1
00001712: DUP2
00001713: MSTORE
00001714: PUSH1 0x20
00001716: ADD
00001717: PUSH1 0x00
00001719: KECCAK256
0000171a: DUP2
0000171b: SWAP1
0000171c: SSTORE
0000171d: POP
0000171e: PUSH2 0x1783
00001721: PUSH2 0x1735
00001724: PUSH1 0x06
00001726: SLOAD
00001727: DUP5
00001728: PUSH2 0x1fc0
0000172b: SWAP1
0000172c: SWAP2
0000172d: SWAP1
0000172e: PUSH4 0xffffffff
00001733: AND
00001734: JUMP
00001735: JUMPDEST
00001736: PUSH1 0x01
00001738: PUSH1 0x00
0000173a: DUP7
0000173b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001750: AND
00001751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001766: AND
00001767: DUP2
00001768: MSTORE
00001769: PUSH1 0x20
0000176b: ADD
0000176c: SWAP1
0000176d: DUP2
0000176e: MSTORE
0000176f: PUSH1 0x20
00001771: ADD
00001772: PUSH1 0x00
00001774: KECCAK256
00001775: SLOAD
00001776: PUSH2 0x1fd9
00001779: SWAP1
0000177a: SWAP2
0000177b: SWAP1
0000177c: PUSH4 0xffffffff
00001781: AND
00001782: JUMP
00001783: JUMPDEST
00001784: PUSH1 0x01
00001786: PUSH1 0x00
00001788: DUP6
00001789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000179e: AND
0000179f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017b4: AND
000017b5: DUP2
000017b6: MSTORE
000017b7: PUSH1 0x20
000017b9: ADD
000017ba: SWAP1
000017bb: DUP2
000017bc: MSTORE
000017bd: PUSH1 0x20
000017bf: ADD
000017c0: PUSH1 0x00
000017c2: KECCAK256
000017c3: DUP2
000017c4: SWAP1
000017c5: SSTORE
000017c6: POP
000017c7: PUSH2 0x183b
000017ca: PUSH1 0x06
000017cc: SLOAD
000017cd: PUSH1 0x01
000017cf: PUSH1 0x00
000017d1: DUP1
000017d2: PUSH1 0x00
000017d4: SWAP1
000017d5: SLOAD
000017d6: SWAP1
000017d7: PUSH2 0x0100
000017da: EXP
000017db: SWAP1
000017dc: DIV
000017dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f2: AND
000017f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001808: AND
00001809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000181e: AND
0000181f: DUP2
00001820: MSTORE
00001821: PUSH1 0x20
00001823: ADD
00001824: SWAP1
00001825: DUP2
00001826: MSTORE
00001827: PUSH1 0x20
00001829: ADD
0000182a: PUSH1 0x00
0000182c: KECCAK256
0000182d: SLOAD
0000182e: PUSH2 0x1fd9
00001831: SWAP1
00001832: SWAP2
00001833: SWAP1
00001834: PUSH4 0xffffffff
00001839: AND
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH1 0x01
0000183e: PUSH1 0x00
00001840: DUP1
00001841: PUSH1 0x00
00001843: SWAP1
00001844: SLOAD
00001845: SWAP1
00001846: PUSH2 0x0100
00001849: EXP
0000184a: SWAP1
0000184b: DIV
0000184c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001861: AND
00001862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001877: AND
00001878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188d: AND
0000188e: DUP2
0000188f: MSTORE
00001890: PUSH1 0x20
00001892: ADD
00001893: SWAP1
00001894: DUP2
00001895: MSTORE
00001896: PUSH1 0x20
00001898: ADD
00001899: PUSH1 0x00
0000189b: KECCAK256
0000189c: DUP2
0000189d: SWAP1
0000189e: SSTORE
0000189f: POP
000018a0: DUP3
000018a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b6: AND
000018b7: PUSH2 0x08fc
000018ba: PUSH1 0x05
000018bc: SLOAD
000018bd: SWAP1
000018be: DUP2
000018bf: ISZERO
000018c0: MUL
000018c1: SWAP1
000018c2: PUSH1 0x40
000018c4: MLOAD
000018c5: PUSH1 0x00
000018c7: PUSH1 0x40
000018c9: MLOAD
000018ca: DUP1
000018cb: DUP4
000018cc: SUB
000018cd: DUP2
000018ce: DUP6
000018cf: DUP9
000018d0: DUP9
000018d1: CALL
000018d2: SWAP4
000018d3: POP
000018d4: POP
000018d5: POP
000018d6: POP
000018d7: ISZERO
000018d8: DUP1
000018d9: ISZERO
000018da: PUSH2 0x18e7
000018dd: JUMPI
000018de: RETURNDATASIZE
000018df: PUSH1 0x00
000018e1: DUP1
000018e2: RETURNDATACOPY
000018e3: RETURNDATASIZE
000018e4: PUSH1 0x00
000018e6: REVERT
000018e7: JUMPDEST
000018e8: POP
000018e9: DUP3
000018ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ff: AND
00001900: CALLER
00001901: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001916: AND
00001917: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001938: PUSH2 0x194c
0000193b: PUSH1 0x06
0000193d: SLOAD
0000193e: DUP7
0000193f: PUSH2 0x1fc0
00001942: SWAP1
00001943: SWAP2
00001944: SWAP1
00001945: PUSH4 0xffffffff
0000194a: AND
0000194b: JUMP
0000194c: JUMPDEST
0000194d: PUSH1 0x40
0000194f: MLOAD
00001950: DUP1
00001951: DUP3
00001952: DUP2
00001953: MSTORE
00001954: PUSH1 0x20
00001956: ADD
00001957: SWAP2
00001958: POP
00001959: POP
0000195a: PUSH1 0x40
0000195c: MLOAD
0000195d: DUP1
0000195e: SWAP2
0000195f: SUB
00001960: SWAP1
00001961: LOG3
00001962: PUSH1 0x00
00001964: DUP1
00001965: SWAP1
00001966: SLOAD
00001967: SWAP1
00001968: PUSH2 0x0100
0000196b: EXP
0000196c: SWAP1
0000196d: DIV
0000196e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001983: AND
00001984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001999: AND
0000199a: CALLER
0000199b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b0: AND
000019b1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019d2: PUSH1 0x06
000019d4: SLOAD
000019d5: PUSH1 0x40
000019d7: MLOAD
000019d8: DUP1
000019d9: DUP3
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: SWAP2
000019e0: POP
000019e1: POP
000019e2: PUSH1 0x40
000019e4: MLOAD
000019e5: DUP1
000019e6: SWAP2
000019e7: SUB
000019e8: SWAP1
000019e9: LOG3
000019ea: PUSH1 0x01
000019ec: SWAP1
000019ed: POP
000019ee: SWAP3
000019ef: SWAP2
000019f0: POP
000019f1: POP
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH1 0x00
000019f6: DUP1
000019f7: SWAP1
000019f8: SLOAD
000019f9: SWAP1
000019fa: PUSH2 0x0100
000019fd: EXP
000019fe: SWAP1
000019ff: DIV
00001a00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a15: AND
00001a16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a2b: AND
00001a2c: CALLER
00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a42: AND
00001a43: EQ
00001a44: ISZERO
00001a45: ISZERO
00001a46: PUSH2 0x1a4e
00001a49: JUMPI
00001a4a: PUSH1 0x00
00001a4c: DUP1
00001a4d: REVERT
00001a4e: JUMPDEST
00001a4f: DUP1
00001a50: PUSH1 0x06
00001a52: DUP2
00001a53: SWAP1
00001a54: SSTORE
00001a55: POP
00001a56: POP
00001a57: JUMP
00001a58: JUMPDEST
00001a59: PUSH1 0x0a
00001a5b: SLOAD
00001a5c: DUP2
00001a5d: JUMP
00001a5e: JUMPDEST
00001a5f: PUSH1 0x0b
00001a61: SLOAD
00001a62: DUP2
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x08
00001a67: SLOAD
00001a68: DUP2
00001a69: JUMP
00001a6a: JUMPDEST
00001a6b: PUSH1 0x00
00001a6d: DUP1
00001a6e: SWAP1
00001a6f: SLOAD
00001a70: SWAP1
00001a71: PUSH2 0x0100
00001a74: EXP
00001a75: SWAP1
00001a76: DIV
00001a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a8c: AND
00001a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa2: AND
00001aa3: CALLER
00001aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab9: AND
00001aba: EQ
00001abb: ISZERO
00001abc: ISZERO
00001abd: PUSH2 0x1ac5
00001ac0: JUMPI
00001ac1: PUSH1 0x00
00001ac3: DUP1
00001ac4: REVERT
00001ac5: JUMPDEST
00001ac6: PUSH1 0x00
00001ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001add: AND
00001ade: DUP2
00001adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001af4: AND
00001af5: EQ
00001af6: ISZERO
00001af7: ISZERO
00001af8: ISZERO
00001af9: PUSH2 0x1b01
00001afc: JUMPI
00001afd: PUSH1 0x00
00001aff: DUP1
00001b00: REVERT
00001b01: JUMPDEST
00001b02: DUP1
00001b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b18: AND
00001b19: PUSH1 0x00
00001b1b: DUP1
00001b1c: SWAP1
00001b1d: SLOAD
00001b1e: SWAP1
00001b1f: PUSH2 0x0100
00001b22: EXP
00001b23: SWAP1
00001b24: DIV
00001b25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b3a: AND
00001b3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b50: AND
00001b51: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b72: PUSH1 0x40
00001b74: MLOAD
00001b75: PUSH1 0x40
00001b77: MLOAD
00001b78: DUP1
00001b79: SWAP2
00001b7a: SUB
00001b7b: SWAP1
00001b7c: LOG3
00001b7d: DUP1
00001b7e: PUSH1 0x00
00001b80: DUP1
00001b81: PUSH2 0x0100
00001b84: EXP
00001b85: DUP2
00001b86: SLOAD
00001b87: DUP2
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: MUL
00001b9e: NOT
00001b9f: AND
00001ba0: SWAP1
00001ba1: DUP4
00001ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb7: AND
00001bb8: MUL
00001bb9: OR
00001bba: SWAP1
00001bbb: SSTORE
00001bbc: POP
00001bbd: POP
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x00
00001bc2: DUP1
00001bc3: PUSH1 0x00
00001bc5: DUP5
00001bc6: EQ
00001bc7: ISZERO
00001bc8: PUSH2 0x1bd4
00001bcb: JUMPI
00001bcc: PUSH1 0x00
00001bce: SWAP2
00001bcf: POP
00001bd0: PUSH2 0x1bf3
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: DUP3
00001bd6: DUP5
00001bd7: MUL
00001bd8: SWAP1
00001bd9: POP
00001bda: DUP3
00001bdb: DUP5
00001bdc: DUP3
00001bdd: DUP2
00001bde: ISZERO
00001bdf: ISZERO
00001be0: PUSH2 0x1be5
00001be3: JUMPI
00001be4: INVALID
00001be5: JUMPDEST
00001be6: DIV
00001be7: EQ
00001be8: ISZERO
00001be9: ISZERO
00001bea: PUSH2 0x1bef
00001bed: JUMPI
00001bee: INVALID
00001bef: JUMPDEST
00001bf0: DUP1
00001bf1: SWAP2
00001bf2: POP
00001bf3: JUMPDEST
00001bf4: POP
00001bf5: SWAP3
00001bf6: SWAP2
00001bf7: POP
00001bf8: POP
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: PUSH1 0x00
00001bfd: DUP1
00001bfe: DUP3
00001bff: DUP5
00001c00: DUP2
00001c01: ISZERO
00001c02: ISZERO
00001c03: PUSH2 0x1c08
00001c06: JUMPI
00001c07: INVALID
00001c08: JUMPDEST
00001c09: DIV
00001c0a: SWAP1
00001c0b: POP
00001c0c: DUP1
00001c0d: SWAP2
00001c0e: POP
00001c0f: POP
00001c10: SWAP3
00001c11: SWAP2
00001c12: POP
00001c13: POP
00001c14: JUMP
00001c15: JUMPDEST
00001c16: PUSH1 0x00
00001c18: DUP1
00001c19: PUSH1 0x14
00001c1b: SWAP1
00001c1c: SLOAD
00001c1d: SWAP1
00001c1e: PUSH2 0x0100
00001c21: EXP
00001c22: SWAP1
00001c23: DIV
00001c24: PUSH1 0xff
00001c26: AND
00001c27: ISZERO
00001c28: DUP1
00001c29: PUSH2 0x1c7e
00001c2c: JUMPI
00001c2d: POP
00001c2e: PUSH1 0x00
00001c30: DUP1
00001c31: SWAP1
00001c32: SLOAD
00001c33: SWAP1
00001c34: PUSH2 0x0100
00001c37: EXP
00001c38: SWAP1
00001c39: DIV
00001c3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4f: AND
00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c65: AND
00001c66: CALLER
00001c67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7c: AND
00001c7d: EQ
00001c7e: JUMPDEST
00001c7f: ISZERO
00001c80: ISZERO
00001c81: PUSH2 0x1c89
00001c84: JUMPI
00001c85: PUSH1 0x00
00001c87: DUP1
00001c88: REVERT
00001c89: JUMPDEST
00001c8a: PUSH1 0x00
00001c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca1: AND
00001ca2: DUP4
00001ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb8: AND
00001cb9: EQ
00001cba: ISZERO
00001cbb: ISZERO
00001cbc: ISZERO
00001cbd: PUSH2 0x1cc5
00001cc0: JUMPI
00001cc1: PUSH1 0x00
00001cc3: DUP1
00001cc4: REVERT
00001cc5: JUMPDEST
00001cc6: PUSH1 0x06
00001cc8: SLOAD
00001cc9: PUSH1 0x08
00001ccb: SLOAD
00001ccc: LT
00001ccd: ISZERO
00001cce: ISZERO
00001ccf: ISZERO
00001cd0: PUSH2 0x1cd8
00001cd3: JUMPI
00001cd4: PUSH1 0x00
00001cd6: DUP1
00001cd7: REVERT
00001cd8: JUMPDEST
00001cd9: PUSH2 0x1d5f
00001cdc: PUSH2 0x1cf0
00001cdf: PUSH1 0x06
00001ce1: SLOAD
00001ce2: DUP5
00001ce3: PUSH2 0x1fd9
00001ce6: SWAP1
00001ce7: SWAP2
00001ce8: SWAP1
00001ce9: PUSH4 0xffffffff
00001cee: AND
00001cef: JUMP
00001cf0: JUMPDEST
00001cf1: PUSH1 0x01
00001cf3: PUSH1 0x00
00001cf5: DUP1
00001cf6: PUSH1 0x00
00001cf8: SWAP1
00001cf9: SLOAD
00001cfa: SWAP1
00001cfb: PUSH2 0x0100
00001cfe: EXP
00001cff: SWAP1
00001d00: DIV
00001d01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d16: AND
00001d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2c: AND
00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d42: AND
00001d43: DUP2
00001d44: MSTORE
00001d45: PUSH1 0x20
00001d47: ADD
00001d48: SWAP1
00001d49: DUP2
00001d4a: MSTORE
00001d4b: PUSH1 0x20
00001d4d: ADD
00001d4e: PUSH1 0x00
00001d50: KECCAK256
00001d51: SLOAD
00001d52: PUSH2 0x1fc0
00001d55: SWAP1
00001d56: SWAP2
00001d57: SWAP1
00001d58: PUSH4 0xffffffff
00001d5d: AND
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x01
00001d62: PUSH1 0x00
00001d64: DUP1
00001d65: PUSH1 0x00
00001d67: SWAP1
00001d68: SLOAD
00001d69: SWAP1
00001d6a: PUSH2 0x0100
00001d6d: EXP
00001d6e: SWAP1
00001d6f: DIV
00001d70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d85: AND
00001d86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d9b: AND
00001d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001db1: AND
00001db2: DUP2
00001db3: MSTORE
00001db4: PUSH1 0x20
00001db6: ADD
00001db7: SWAP1
00001db8: DUP2
00001db9: MSTORE
00001dba: PUSH1 0x20
00001dbc: ADD
00001dbd: PUSH1 0x00
00001dbf: KECCAK256
00001dc0: DUP2
00001dc1: SWAP1
00001dc2: SSTORE
00001dc3: POP
00001dc4: PUSH2 0x1e29
00001dc7: PUSH2 0x1ddb
00001dca: PUSH1 0x06
00001dcc: SLOAD
00001dcd: DUP5
00001dce: PUSH2 0x1fc0
00001dd1: SWAP1
00001dd2: SWAP2
00001dd3: SWAP1
00001dd4: PUSH4 0xffffffff
00001dd9: AND
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: PUSH1 0x01
00001dde: PUSH1 0x00
00001de0: DUP7
00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df6: AND
00001df7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0c: AND
00001e0d: DUP2
00001e0e: MSTORE
00001e0f: PUSH1 0x20
00001e11: ADD
00001e12: SWAP1
00001e13: DUP2
00001e14: MSTORE
00001e15: PUSH1 0x20
00001e17: ADD
00001e18: PUSH1 0x00
00001e1a: KECCAK256
00001e1b: SLOAD
00001e1c: PUSH2 0x1fd9
00001e1f: SWAP1
00001e20: SWAP2
00001e21: SWAP1
00001e22: PUSH4 0xffffffff
00001e27: AND
00001e28: JUMP
00001e29: JUMPDEST
00001e2a: PUSH1 0x01
00001e2c: PUSH1 0x00
00001e2e: DUP6
00001e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e44: AND
00001e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5a: AND
00001e5b: DUP2
00001e5c: MSTORE
00001e5d: PUSH1 0x20
00001e5f: ADD
00001e60: SWAP1
00001e61: DUP2
00001e62: MSTORE
00001e63: PUSH1 0x20
00001e65: ADD
00001e66: PUSH1 0x00
00001e68: KECCAK256
00001e69: DUP2
00001e6a: SWAP1
00001e6b: SSTORE
00001e6c: POP
00001e6d: DUP3
00001e6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e83: AND
00001e84: PUSH2 0x08fc
00001e87: PUSH1 0x05
00001e89: SLOAD
00001e8a: SWAP1
00001e8b: DUP2
00001e8c: ISZERO
00001e8d: MUL
00001e8e: SWAP1
00001e8f: PUSH1 0x40
00001e91: MLOAD
00001e92: PUSH1 0x00
00001e94: PUSH1 0x40
00001e96: MLOAD
00001e97: DUP1
00001e98: DUP4
00001e99: SUB
00001e9a: DUP2
00001e9b: DUP6
00001e9c: DUP9
00001e9d: DUP9
00001e9e: CALL
00001e9f: SWAP4
00001ea0: POP
00001ea1: POP
00001ea2: POP
00001ea3: POP
00001ea4: ISZERO
00001ea5: DUP1
00001ea6: ISZERO
00001ea7: PUSH2 0x1eb4
00001eaa: JUMPI
00001eab: RETURNDATASIZE
00001eac: PUSH1 0x00
00001eae: DUP1
00001eaf: RETURNDATACOPY
00001eb0: RETURNDATASIZE
00001eb1: PUSH1 0x00
00001eb3: REVERT
00001eb4: JUMPDEST
00001eb5: POP
00001eb6: DUP3
00001eb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ecc: AND
00001ecd: ADDRESS
00001ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee3: AND
00001ee4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f05: PUSH2 0x1f19
00001f08: PUSH1 0x06
00001f0a: SLOAD
00001f0b: DUP7
00001f0c: PUSH2 0x1fc0
00001f0f: SWAP1
00001f10: SWAP2
00001f11: SWAP1
00001f12: PUSH4 0xffffffff
00001f17: AND
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: PUSH1 0x40
00001f1c: MLOAD
00001f1d: DUP1
00001f1e: DUP3
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x20
00001f23: ADD
00001f24: SWAP2
00001f25: POP
00001f26: POP
00001f27: PUSH1 0x40
00001f29: MLOAD
00001f2a: DUP1
00001f2b: SWAP2
00001f2c: SUB
00001f2d: SWAP1
00001f2e: LOG3
00001f2f: PUSH1 0x00
00001f31: DUP1
00001f32: SWAP1
00001f33: SLOAD
00001f34: SWAP1
00001f35: PUSH2 0x0100
00001f38: EXP
00001f39: SWAP1
00001f3a: DIV
00001f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f50: AND
00001f51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f66: AND
00001f67: ADDRESS
00001f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f7d: AND
00001f7e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001f9f: PUSH1 0x06
00001fa1: SLOAD
00001fa2: PUSH1 0x40
00001fa4: MLOAD
00001fa5: DUP1
00001fa6: DUP3
00001fa7: DUP2
00001fa8: MSTORE
00001fa9: PUSH1 0x20
00001fab: ADD
00001fac: SWAP2
00001fad: POP
00001fae: POP
00001faf: PUSH1 0x40
00001fb1: MLOAD
00001fb2: DUP1
00001fb3: SWAP2
00001fb4: SUB
00001fb5: SWAP1
00001fb6: LOG3
00001fb7: PUSH1 0x01
00001fb9: SWAP1
00001fba: POP
00001fbb: SWAP3
00001fbc: SWAP2
00001fbd: POP
00001fbe: POP
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: PUSH1 0x00
00001fc3: DUP3
00001fc4: DUP3
00001fc5: GT
00001fc6: ISZERO
00001fc7: ISZERO
00001fc8: ISZERO
00001fc9: PUSH2 0x1fce
00001fcc: JUMPI
00001fcd: INVALID
00001fce: JUMPDEST
00001fcf: DUP2
00001fd0: DUP4
00001fd1: SUB
00001fd2: SWAP1
00001fd3: POP
00001fd4: SWAP3
00001fd5: SWAP2
00001fd6: POP
00001fd7: POP
00001fd8: JUMP
00001fd9: JUMPDEST
00001fda: PUSH1 0x00
00001fdc: DUP1
00001fdd: DUP3
00001fde: DUP5
00001fdf: ADD
00001fe0: SWAP1
00001fe1: POP
00001fe2: DUP4
00001fe3: DUP2
00001fe4: LT
00001fe5: ISZERO
00001fe6: ISZERO
00001fe7: ISZERO
00001fe8: PUSH2 0x1fed
00001feb: JUMPI
00001fec: INVALID
00001fed: JUMPDEST
00001fee: DUP1
00001fef: SWAP2
00001ff0: POP
00001ff1: POP
00001ff2: SWAP3
00001ff3: SWAP2
00001ff4: POP
00001ff5: POP
00001ff6: JUMP
00001ff7: STOP
00001ff8: LOG1
00001ff9: PUSH6 0x627a7a723058
00002000: KECCAK256
00002001: MSTORE
00002002: UNKNOWN(0xEB)
00002003: LOG0
00002004: UNKNOWN(0xDD)
00002005: SWAP12
00002006: UNKNOWN(0x26)
00002007: UNKNOWN(0xA6)
00002008: PUSH21 0xdace861e33e4931a93c693b38000ce7e535c771a16
0000201e: CALLDATACOPY
0000201f: PUSH7
View stderr 
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0x80d622c31586820e34edecc6b7472db63358a471f3fb81d92223a5a845bb5e66
call_targets: 0x2e6d6593dc939affcc69c41e224e5d45a66ce4a3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x80d622c31586820e34edecc6b7472db63358a471f3fb81d92223a5a845bb5e66",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2e6d6593dc939affcc69c41e224e5d45a66ce4a3"
    ],
    "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": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x323be1c5",
            "selector": "0x323be1c5",
            "calldata_variants": [
                "0x323be1c5",
                "0x323be1c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4be1502d",
            "selector": "0x4be1502d",
            "calldata_variants": [
                "0x4be1502d",
                "0x4be1502d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3039,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3871,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6353,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 441,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2350,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2733,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2957,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3123,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3338,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4032,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4212,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4313,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4427,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4663,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4928,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5330,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5455,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6700,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6819,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7270,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x80d622c31586820e34edecc6b7472db63358a471f3fb81d92223a5a845bb5e66
call_targets: 0x2e6d6593dc939affcc69c41e224e5d45a66ce4a3
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x80d622c31586820e34edecc6b7472db63358a471f3fb81d92223a5a845bb5e66",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2e6d6593dc939affcc69c41e224e5d45a66ce4a3"
    ],
    "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": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27e235e3",
            "selector": "0x27e235e3",
            "calldata_variants": [
                "0x27e235e3",
                "0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x323be1c5",
            "selector": "0x323be1c5",
            "calldata_variants": [
                "0x323be1c5",
                "0x323be1c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4be1502d",
            "selector": "0x4be1502d",
            "calldata_variants": [
                "0x4be1502d",
                "0x4be1502d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 3039,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3871,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6353,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 441,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2350,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2733,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2957,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3123,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3338,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4032,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4212,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4313,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4427,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4663,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4928,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5330,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5455,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6700,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6819,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 7270,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}