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

Analysis Run

019b3844-8a87-705c-9527-bc8d2b8357eb

complete
Chain ID
1
Address
0x102011cb0f7109e98a4e98dfbacd792bfb343e14
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
2
Validated
2
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
11641 artifact.fetch complete 1 / 3 3 months ago
11642 tool.cast_disasm complete 1 / 3 3 months ago
54376 analysis.bundle complete 1 / 3 1 week ago
54377 capability.graph complete 1 / 3 1 week ago
54378 detector.run complete 1 / 3 1 week ago
54379 validation.fork complete 1 / 3 1 week ago
113429 report.consolidate complete 1 / 6 1 week 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
Job Status
complete
Attempts
1 / 6
Findings
0
No findings?
—
View stderr 
OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-d3q9rwp9
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c93-b75c-7643-bac0-ddd1e97d267f
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
Metadata 
{
    "codex": {
        "ran_at": "2026-04-05T07:37:59.491734+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 19850,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
13
EXT*/BALANCE
14
Total opcodes
4764
Flags
delegatecall_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00c3
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x27dc297e
0000003a: EQ
0000003b: PUSH2 0x05ca
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x38bbfa50
00000045: EQ
00000046: PUSH2 0x0634
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x63a599a4
00000050: EQ
00000051: PUSH2 0x06e1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x691a5842
0000005b: EQ
0000005c: PUSH2 0x06f6
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x75f12b21
00000066: EQ
00000067: PUSH2 0x071f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x807d2da3
00000071: EQ
00000072: PUSH2 0x074c
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x86d1a69f
0000007c: EQ
0000007d: PUSH2 0x0761
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x9890220b
00000087: EQ
00000088: PUSH2 0x0776
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x9bfc7421
00000092: EQ
00000093: PUSH2 0x078b
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0xd36f0c29
0000009d: EQ
0000009e: PUSH2 0x07a0
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xf2fde38b
000000a8: EQ
000000a9: PUSH2 0x082e
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xf76bff78
000000b3: EQ
000000b4: PUSH2 0x0867
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xf990b73b
000000be: EQ
000000bf: PUSH2 0x0890
000000c2: JUMPI
000000c3: JUMPDEST
000000c4: PUSH1 0x00
000000c6: DUP1
000000c7: PUSH1 0x0e
000000c9: PUSH1 0x00
000000cb: SWAP1
000000cc: SLOAD
000000cd: SWAP1
000000ce: PUSH2 0x0100
000000d1: EXP
000000d2: SWAP1
000000d3: DIV
000000d4: PUSH1 0xff
000000d6: AND
000000d7: ISZERO
000000d8: ISZERO
000000d9: PUSH2 0x05c1
000000dc: JUMPI
000000dd: PUSH1 0x07
000000df: PUSH1 0x00
000000e1: SWAP1
000000e2: SLOAD
000000e3: SWAP1
000000e4: PUSH2 0x0100
000000e7: EXP
000000e8: SWAP1
000000e9: DIV
000000ea: PUSH1 0xff
000000ec: AND
000000ed: DUP1
000000ee: ISZERO
000000ef: PUSH2 0x0146
000000f2: JUMPI
000000f3: POP
000000f4: PUSH1 0x0e
000000f6: PUSH1 0x01
000000f8: SWAP1
000000f9: SLOAD
000000fa: SWAP1
000000fb: PUSH2 0x0100
000000fe: EXP
000000ff: SWAP1
00000100: DIV
00000101: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000116: AND
00000117: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000012c: AND
0000012d: CALLER
0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000143: AND
00000144: EQ
00000145: ISZERO
00000146: JUMPDEST
00000147: ISZERO
00000148: PUSH2 0x0309
0000014b: JUMPI
0000014c: PUSH2 0x020c
0000014f: PUSH1 0x40
00000151: DUP1
00000152: MLOAD
00000153: SWAP1
00000154: DUP2
00000155: ADD
00000156: PUSH1 0x40
00000158: MSTORE
00000159: DUP1
0000015a: PUSH1 0x03
0000015c: DUP2
0000015d: MSTORE
0000015e: PUSH1 0x20
00000160: ADD
00000161: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
00000182: DUP2
00000183: MSTORE
00000184: POP
00000185: PUSH1 0x80
00000187: PUSH1 0x40
00000189: MLOAD
0000018a: SWAP1
0000018b: DUP2
0000018c: ADD
0000018d: PUSH1 0x40
0000018f: MSTORE
00000190: DUP1
00000191: PUSH1 0x49
00000193: DUP2
00000194: MSTORE
00000195: PUSH1 0x20
00000197: ADD
00000198: PUSH32 0x6a736f6e2868747470733a2f2f6d696e2d6170692e63727970746f636f6d7061
000001b9: DUP2
000001ba: MSTORE
000001bb: PUSH1 0x20
000001bd: ADD
000001be: PUSH32 0x72652e636f6d2f646174612f70726963653f6673796d3d455448267473796d73
000001df: DUP2
000001e0: MSTORE
000001e1: PUSH1 0x20
000001e3: ADD
000001e4: PUSH32 0x3d555344292e5553440000000000000000000000000000000000000000000000
00000205: DUP2
00000206: MSTORE
00000207: POP
00000208: PUSH2 0x08a5
0000020b: JUMP
0000020c: JUMPDEST
0000020d: SWAP2
0000020e: POP
0000020f: CALLER
00000210: PUSH1 0x10
00000212: PUSH1 0x00
00000214: DUP5
00000215: PUSH1 0x00
00000217: NOT
00000218: AND
00000219: PUSH1 0x00
0000021b: NOT
0000021c: AND
0000021d: DUP2
0000021e: MSTORE
0000021f: PUSH1 0x20
00000221: ADD
00000222: SWAP1
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: PUSH1 0x00
0000022a: KECCAK256
0000022b: PUSH1 0x00
0000022d: PUSH2 0x0100
00000230: EXP
00000231: DUP2
00000232: SLOAD
00000233: DUP2
00000234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000249: MUL
0000024a: NOT
0000024b: AND
0000024c: SWAP1
0000024d: DUP4
0000024e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000263: AND
00000264: MUL
00000265: OR
00000266: SWAP1
00000267: SSTORE
00000268: POP
00000269: CALLVALUE
0000026a: PUSH1 0x11
0000026c: PUSH1 0x00
0000026e: CALLER
0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000284: AND
00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000029a: AND
0000029b: DUP2
0000029c: MSTORE
0000029d: PUSH1 0x20
0000029f: ADD
000002a0: SWAP1
000002a1: DUP2
000002a2: MSTORE
000002a3: PUSH1 0x20
000002a5: ADD
000002a6: PUSH1 0x00
000002a8: KECCAK256
000002a9: DUP2
000002aa: SWAP1
000002ab: SSTORE
000002ac: POP
000002ad: DUP2
000002ae: PUSH1 0x12
000002b0: PUSH1 0x00
000002b2: DUP5
000002b3: PUSH1 0x00
000002b5: NOT
000002b6: AND
000002b7: PUSH1 0x00
000002b9: NOT
000002ba: AND
000002bb: DUP2
000002bc: MSTORE
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: SWAP1
000002c1: DUP2
000002c2: MSTORE
000002c3: PUSH1 0x20
000002c5: ADD
000002c6: PUSH1 0x00
000002c8: KECCAK256
000002c9: DUP2
000002ca: PUSH1 0x00
000002cc: NOT
000002cd: AND
000002ce: SWAP1
000002cf: SSTORE
000002d0: POP
000002d1: PUSH1 0x01
000002d3: PUSH1 0x0d
000002d5: PUSH1 0x00
000002d7: DUP5
000002d8: PUSH1 0x00
000002da: NOT
000002db: AND
000002dc: PUSH1 0x00
000002de: NOT
000002df: AND
000002e0: DUP2
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: ADD
000002e5: SWAP1
000002e6: DUP2
000002e7: MSTORE
000002e8: PUSH1 0x20
000002ea: ADD
000002eb: PUSH1 0x00
000002ed: KECCAK256
000002ee: PUSH1 0x00
000002f0: PUSH2 0x0100
000002f3: EXP
000002f4: DUP2
000002f5: SLOAD
000002f6: DUP2
000002f7: PUSH1 0xff
000002f9: MUL
000002fa: NOT
000002fb: AND
000002fc: SWAP1
000002fd: DUP4
000002fe: ISZERO
000002ff: ISZERO
00000300: MUL
00000301: OR
00000302: SWAP1
00000303: SSTORE
00000304: POP
00000305: PUSH2 0x05bc
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x07
0000030c: PUSH1 0x00
0000030e: SWAP1
0000030f: SLOAD
00000310: SWAP1
00000311: PUSH2 0x0100
00000314: EXP
00000315: SWAP1
00000316: DIV
00000317: PUSH1 0xff
00000319: AND
0000031a: ISZERO
0000031b: ISZERO
0000031c: PUSH2 0x05bb
0000031f: JUMPI
00000320: PUSH1 0x0e
00000322: PUSH1 0x01
00000324: SWAP1
00000325: SLOAD
00000326: SWAP1
00000327: PUSH2 0x0100
0000032a: EXP
0000032b: SWAP1
0000032c: DIV
0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000342: AND
00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000358: AND
00000359: CALLER
0000035a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036f: AND
00000370: EQ
00000371: ISZERO
00000372: DUP1
00000373: ISZERO
00000374: PUSH2 0x037f
00000377: JUMPI
00000378: POP
00000379: PUSH1 0x08
0000037b: SLOAD
0000037c: TIMESTAMP
0000037d: LT
0000037e: ISZERO
0000037f: JUMPDEST
00000380: DUP1
00000381: ISZERO
00000382: PUSH2 0x038d
00000385: JUMPI
00000386: POP
00000387: PUSH1 0x09
00000389: SLOAD
0000038a: TIMESTAMP
0000038b: GT
0000038c: ISZERO
0000038d: JUMPDEST
0000038e: ISZERO
0000038f: PUSH2 0x0550
00000392: JUMPI
00000393: PUSH2 0x0453
00000396: PUSH1 0x40
00000398: DUP1
00000399: MLOAD
0000039a: SWAP1
0000039b: DUP2
0000039c: ADD
0000039d: PUSH1 0x40
0000039f: MSTORE
000003a0: DUP1
000003a1: PUSH1 0x03
000003a3: DUP2
000003a4: MSTORE
000003a5: PUSH1 0x20
000003a7: ADD
000003a8: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000
000003c9: DUP2
000003ca: MSTORE
000003cb: POP
000003cc: PUSH1 0x80
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: SWAP1
000003d2: DUP2
000003d3: ADD
000003d4: PUSH1 0x40
000003d6: MSTORE
000003d7: DUP1
000003d8: PUSH1 0x49
000003da: DUP2
000003db: MSTORE
000003dc: PUSH1 0x20
000003de: ADD
000003df: PUSH32 0x6a736f6e2868747470733a2f2f6d696e2d6170692e63727970746f636f6d7061
00000400: DUP2
00000401: MSTORE
00000402: PUSH1 0x20
00000404: ADD
00000405: PUSH32 0x72652e636f6d2f646174612f70726963653f6673796d3d455448267473796d73
00000426: DUP2
00000427: MSTORE
00000428: PUSH1 0x20
0000042a: ADD
0000042b: PUSH32 0x3d555344292e5553440000000000000000000000000000000000000000000000
0000044c: DUP2
0000044d: MSTORE
0000044e: POP
0000044f: PUSH2 0x08a5
00000452: JUMP
00000453: JUMPDEST
00000454: SWAP1
00000455: POP
00000456: CALLER
00000457: PUSH1 0x10
00000459: PUSH1 0x00
0000045b: DUP4
0000045c: PUSH1 0x00
0000045e: NOT
0000045f: AND
00000460: PUSH1 0x00
00000462: NOT
00000463: AND
00000464: DUP2
00000465: MSTORE
00000466: PUSH1 0x20
00000468: ADD
00000469: SWAP1
0000046a: DUP2
0000046b: MSTORE
0000046c: PUSH1 0x20
0000046e: ADD
0000046f: PUSH1 0x00
00000471: KECCAK256
00000472: PUSH1 0x00
00000474: PUSH2 0x0100
00000477: EXP
00000478: DUP2
00000479: SLOAD
0000047a: DUP2
0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000490: MUL
00000491: NOT
00000492: AND
00000493: SWAP1
00000494: DUP4
00000495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004aa: AND
000004ab: MUL
000004ac: OR
000004ad: SWAP1
000004ae: SSTORE
000004af: POP
000004b0: CALLVALUE
000004b1: PUSH1 0x11
000004b3: PUSH1 0x00
000004b5: CALLER
000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cb: AND
000004cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e1: AND
000004e2: DUP2
000004e3: MSTORE
000004e4: PUSH1 0x20
000004e6: ADD
000004e7: SWAP1
000004e8: DUP2
000004e9: MSTORE
000004ea: PUSH1 0x20
000004ec: ADD
000004ed: PUSH1 0x00
000004ef: KECCAK256
000004f0: DUP2
000004f1: SWAP1
000004f2: SSTORE
000004f3: POP
000004f4: DUP1
000004f5: PUSH1 0x12
000004f7: PUSH1 0x00
000004f9: DUP4
000004fa: PUSH1 0x00
000004fc: NOT
000004fd: AND
000004fe: PUSH1 0x00
00000500: NOT
00000501: AND
00000502: DUP2
00000503: MSTORE
00000504: PUSH1 0x20
00000506: ADD
00000507: SWAP1
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x20
0000050c: ADD
0000050d: PUSH1 0x00
0000050f: KECCAK256
00000510: DUP2
00000511: PUSH1 0x00
00000513: NOT
00000514: AND
00000515: SWAP1
00000516: SSTORE
00000517: POP
00000518: PUSH1 0x01
0000051a: PUSH1 0x0d
0000051c: PUSH1 0x00
0000051e: DUP4
0000051f: PUSH1 0x00
00000521: NOT
00000522: AND
00000523: PUSH1 0x00
00000525: NOT
00000526: AND
00000527: DUP2
00000528: MSTORE
00000529: PUSH1 0x20
0000052b: ADD
0000052c: SWAP1
0000052d: DUP2
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: ADD
00000532: PUSH1 0x00
00000534: KECCAK256
00000535: PUSH1 0x00
00000537: PUSH2 0x0100
0000053a: EXP
0000053b: DUP2
0000053c: SLOAD
0000053d: DUP2
0000053e: PUSH1 0xff
00000540: MUL
00000541: NOT
00000542: AND
00000543: SWAP1
00000544: DUP4
00000545: ISZERO
00000546: ISZERO
00000547: MUL
00000548: OR
00000549: SWAP1
0000054a: SSTORE
0000054b: POP
0000054c: PUSH2 0x05ba
0000054f: JUMP
00000550: JUMPDEST
00000551: PUSH1 0x0e
00000553: PUSH1 0x01
00000555: SWAP1
00000556: SLOAD
00000557: SWAP1
00000558: PUSH2 0x0100
0000055b: EXP
0000055c: SWAP1
0000055d: DIV
0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000573: AND
00000574: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000589: AND
0000058a: CALLER
0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a0: AND
000005a1: EQ
000005a2: ISZERO
000005a3: DUP1
000005a4: ISZERO
000005a5: PUSH2 0x05af
000005a8: JUMPI
000005a9: POP
000005aa: PUSH1 0x09
000005ac: SLOAD
000005ad: TIMESTAMP
000005ae: GT
000005af: JUMPDEST
000005b0: ISZERO
000005b1: PUSH2 0x05b9
000005b4: JUMPI
000005b5: PUSH1 0x00
000005b7: DUP1
000005b8: REVERT
000005b9: JUMPDEST
000005ba: JUMPDEST
000005bb: JUMPDEST
000005bc: JUMPDEST
000005bd: PUSH2 0x05c6
000005c0: JUMP
000005c1: JUMPDEST
000005c2: PUSH1 0x00
000005c4: DUP1
000005c5: REVERT
000005c6: JUMPDEST
000005c7: POP
000005c8: POP
000005c9: STOP
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: ISZERO
000005cd: PUSH2 0x05d5
000005d0: JUMPI
000005d1: PUSH1 0x00
000005d3: DUP1
000005d4: REVERT
000005d5: JUMPDEST
000005d6: PUSH2 0x0632
000005d9: PUSH1 0x04
000005db: DUP1
000005dc: DUP1
000005dd: CALLDATALOAD
000005de: PUSH1 0x00
000005e0: NOT
000005e1: AND
000005e2: SWAP1
000005e3: PUSH1 0x20
000005e5: ADD
000005e6: SWAP1
000005e7: SWAP2
000005e8: SWAP1
000005e9: DUP1
000005ea: CALLDATALOAD
000005eb: SWAP1
000005ec: PUSH1 0x20
000005ee: ADD
000005ef: SWAP1
000005f0: DUP3
000005f1: ADD
000005f2: DUP1
000005f3: CALLDATALOAD
000005f4: SWAP1
000005f5: PUSH1 0x20
000005f7: ADD
000005f8: SWAP1
000005f9: DUP1
000005fa: DUP1
000005fb: PUSH1 0x1f
000005fd: ADD
000005fe: PUSH1 0x20
00000600: DUP1
00000601: SWAP2
00000602: DIV
00000603: MUL
00000604: PUSH1 0x20
00000606: ADD
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: SWAP1
0000060b: DUP2
0000060c: ADD
0000060d: PUSH1 0x40
0000060f: MSTORE
00000610: DUP1
00000611: SWAP4
00000612: SWAP3
00000613: SWAP2
00000614: SWAP1
00000615: DUP2
00000616: DUP2
00000617: MSTORE
00000618: PUSH1 0x20
0000061a: ADD
0000061b: DUP4
0000061c: DUP4
0000061d: DUP1
0000061e: DUP3
0000061f: DUP5
00000620: CALLDATACOPY
00000621: DUP3
00000622: ADD
00000623: SWAP2
00000624: POP
00000625: POP
00000626: POP
00000627: POP
00000628: POP
00000629: POP
0000062a: SWAP2
0000062b: SWAP1
0000062c: POP
0000062d: POP
0000062e: PUSH2 0x0ce8
00000631: JUMP
00000632: JUMPDEST
00000633: STOP
00000634: JUMPDEST
00000635: CALLVALUE
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: PUSH2 0x06df
00000643: PUSH1 0x04
00000645: DUP1
00000646: DUP1
00000647: CALLDATALOAD
00000648: PUSH1 0x00
0000064a: NOT
0000064b: AND
0000064c: SWAP1
0000064d: PUSH1 0x20
0000064f: ADD
00000650: SWAP1
00000651: SWAP2
00000652: SWAP1
00000653: DUP1
00000654: CALLDATALOAD
00000655: SWAP1
00000656: PUSH1 0x20
00000658: ADD
00000659: SWAP1
0000065a: DUP3
0000065b: ADD
0000065c: DUP1
0000065d: CALLDATALOAD
0000065e: SWAP1
0000065f: PUSH1 0x20
00000661: ADD
00000662: SWAP1
00000663: DUP1
00000664: DUP1
00000665: PUSH1 0x1f
00000667: ADD
00000668: PUSH1 0x20
0000066a: DUP1
0000066b: SWAP2
0000066c: DIV
0000066d: MUL
0000066e: PUSH1 0x20
00000670: ADD
00000671: PUSH1 0x40
00000673: MLOAD
00000674: SWAP1
00000675: DUP2
00000676: ADD
00000677: PUSH1 0x40
00000679: MSTORE
0000067a: DUP1
0000067b: SWAP4
0000067c: SWAP3
0000067d: SWAP2
0000067e: SWAP1
0000067f: DUP2
00000680: DUP2
00000681: MSTORE
00000682: PUSH1 0x20
00000684: ADD
00000685: DUP4
00000686: DUP4
00000687: DUP1
00000688: DUP3
00000689: DUP5
0000068a: CALLDATACOPY
0000068b: DUP3
0000068c: ADD
0000068d: SWAP2
0000068e: POP
0000068f: POP
00000690: POP
00000691: POP
00000692: POP
00000693: POP
00000694: SWAP2
00000695: SWAP1
00000696: DUP1
00000697: CALLDATALOAD
00000698: SWAP1
00000699: PUSH1 0x20
0000069b: ADD
0000069c: SWAP1
0000069d: DUP3
0000069e: ADD
0000069f: DUP1
000006a0: CALLDATALOAD
000006a1: SWAP1
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: SWAP1
000006a6: DUP1
000006a7: DUP1
000006a8: PUSH1 0x1f
000006aa: ADD
000006ab: PUSH1 0x20
000006ad: DUP1
000006ae: SWAP2
000006af: DIV
000006b0: MUL
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: PUSH1 0x40
000006b6: MLOAD
000006b7: SWAP1
000006b8: DUP2
000006b9: ADD
000006ba: PUSH1 0x40
000006bc: MSTORE
000006bd: DUP1
000006be: SWAP4
000006bf: SWAP3
000006c0: SWAP2
000006c1: SWAP1
000006c2: DUP2
000006c3: DUP2
000006c4: MSTORE
000006c5: PUSH1 0x20
000006c7: ADD
000006c8: DUP4
000006c9: DUP4
000006ca: DUP1
000006cb: DUP3
000006cc: DUP5
000006cd: CALLDATACOPY
000006ce: DUP3
000006cf: ADD
000006d0: SWAP2
000006d1: POP
000006d2: POP
000006d3: POP
000006d4: POP
000006d5: POP
000006d6: POP
000006d7: SWAP2
000006d8: SWAP1
000006d9: POP
000006da: POP
000006db: PUSH2 0x0d16
000006de: JUMP
000006df: JUMPDEST
000006e0: STOP
000006e1: JUMPDEST
000006e2: CALLVALUE
000006e3: ISZERO
000006e4: PUSH2 0x06ec
000006e7: JUMPI
000006e8: PUSH1 0x00
000006ea: DUP1
000006eb: REVERT
000006ec: JUMPDEST
000006ed: PUSH2 0x06f4
000006f0: PUSH2 0x11f1
000006f3: JUMP
000006f4: JUMPDEST
000006f5: STOP
000006f6: JUMPDEST
000006f7: CALLVALUE
000006f8: ISZERO
000006f9: PUSH2 0x0701
000006fc: JUMPI
000006fd: PUSH1 0x00
000006ff: DUP1
00000700: REVERT
00000701: JUMPDEST
00000702: PUSH2 0x0709
00000705: PUSH2 0x126a
00000708: JUMP
00000709: JUMPDEST
0000070a: PUSH1 0x40
0000070c: MLOAD
0000070d: DUP1
0000070e: DUP3
0000070f: DUP2
00000710: MSTORE
00000711: PUSH1 0x20
00000713: ADD
00000714: SWAP2
00000715: POP
00000716: POP
00000717: PUSH1 0x40
00000719: MLOAD
0000071a: DUP1
0000071b: SWAP2
0000071c: SUB
0000071d: SWAP1
0000071e: RETURN
0000071f: JUMPDEST
00000720: CALLVALUE
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: PUSH2 0x0732
0000072e: PUSH2 0x1270
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x40
00000735: MLOAD
00000736: DUP1
00000737: DUP3
00000738: ISZERO
00000739: ISZERO
0000073a: ISZERO
0000073b: ISZERO
0000073c: DUP2
0000073d: MSTORE
0000073e: PUSH1 0x20
00000740: ADD
00000741: SWAP2
00000742: POP
00000743: POP
00000744: PUSH1 0x40
00000746: MLOAD
00000747: DUP1
00000748: SWAP2
00000749: SUB
0000074a: SWAP1
0000074b: RETURN
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: ISZERO
0000074f: PUSH2 0x0757
00000752: JUMPI
00000753: PUSH1 0x00
00000755: DUP1
00000756: REVERT
00000757: JUMPDEST
00000758: PUSH2 0x075f
0000075b: PUSH2 0x1283
0000075e: JUMP
0000075f: JUMPDEST
00000760: STOP
00000761: JUMPDEST
00000762: CALLVALUE
00000763: ISZERO
00000764: PUSH2 0x076c
00000767: JUMPI
00000768: PUSH1 0x00
0000076a: DUP1
0000076b: REVERT
0000076c: JUMPDEST
0000076d: PUSH2 0x0774
00000770: PUSH2 0x1334
00000773: JUMP
00000774: JUMPDEST
00000775: STOP
00000776: JUMPDEST
00000777: CALLVALUE
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: PUSH2 0x0789
00000785: PUSH2 0x13ad
00000788: JUMP
00000789: JUMPDEST
0000078a: STOP
0000078b: JUMPDEST
0000078c: CALLVALUE
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: PUSH2 0x079e
0000079a: PUSH2 0x1484
0000079d: JUMP
0000079e: JUMPDEST
0000079f: STOP
000007a0: JUMPDEST
000007a1: CALLVALUE
000007a2: ISZERO
000007a3: PUSH2 0x07ab
000007a6: JUMPI
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: PUSH2 0x07b3
000007af: PUSH2 0x17b5
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: DUP1
000007b8: DUP1
000007b9: PUSH1 0x20
000007bb: ADD
000007bc: DUP3
000007bd: DUP2
000007be: SUB
000007bf: DUP3
000007c0: MSTORE
000007c1: DUP4
000007c2: DUP2
000007c3: DUP2
000007c4: MLOAD
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x20
000007c9: ADD
000007ca: SWAP2
000007cb: POP
000007cc: DUP1
000007cd: MLOAD
000007ce: SWAP1
000007cf: PUSH1 0x20
000007d1: ADD
000007d2: SWAP1
000007d3: DUP1
000007d4: DUP4
000007d5: DUP4
000007d6: PUSH1 0x00
000007d8: JUMPDEST
000007d9: DUP4
000007da: DUP2
000007db: LT
000007dc: ISZERO
000007dd: PUSH2 0x07f3
000007e0: JUMPI
000007e1: DUP1
000007e2: DUP3
000007e3: ADD
000007e4: MLOAD
000007e5: DUP2
000007e6: DUP5
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH1 0x20
000007eb: DUP2
000007ec: ADD
000007ed: SWAP1
000007ee: POP
000007ef: PUSH2 0x07d8
000007f2: JUMP
000007f3: JUMPDEST
000007f4: POP
000007f5: POP
000007f6: POP
000007f7: POP
000007f8: SWAP1
000007f9: POP
000007fa: SWAP1
000007fb: DUP2
000007fc: ADD
000007fd: SWAP1
000007fe: PUSH1 0x1f
00000800: AND
00000801: DUP1
00000802: ISZERO
00000803: PUSH2 0x0820
00000806: JUMPI
00000807: DUP1
00000808: DUP3
00000809: SUB
0000080a: DUP1
0000080b: MLOAD
0000080c: PUSH1 0x01
0000080e: DUP4
0000080f: PUSH1 0x20
00000811: SUB
00000812: PUSH2 0x0100
00000815: EXP
00000816: SUB
00000817: NOT
00000818: AND
00000819: DUP2
0000081a: MSTORE
0000081b: PUSH1 0x20
0000081d: ADD
0000081e: SWAP2
0000081f: POP
00000820: JUMPDEST
00000821: POP
00000822: SWAP3
00000823: POP
00000824: POP
00000825: POP
00000826: PUSH1 0x40
00000828: MLOAD
00000829: DUP1
0000082a: SWAP2
0000082b: SUB
0000082c: SWAP1
0000082d: RETURN
0000082e: JUMPDEST
0000082f: CALLVALUE
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: PUSH2 0x0865
0000083d: PUSH1 0x04
0000083f: DUP1
00000840: DUP1
00000841: CALLDATALOAD
00000842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000857: AND
00000858: SWAP1
00000859: PUSH1 0x20
0000085b: ADD
0000085c: SWAP1
0000085d: SWAP2
0000085e: SWAP1
0000085f: POP
00000860: POP
00000861: PUSH2 0x1853
00000864: JUMP
00000865: JUMPDEST
00000866: STOP
00000867: JUMPDEST
00000868: CALLVALUE
00000869: ISZERO
0000086a: PUSH2 0x0872
0000086d: JUMPI
0000086e: PUSH1 0x00
00000870: DUP1
00000871: REVERT
00000872: JUMPDEST
00000873: PUSH2 0x087a
00000876: PUSH2 0x18f3
00000879: JUMP
0000087a: JUMPDEST
0000087b: PUSH1 0x40
0000087d: MLOAD
0000087e: DUP1
0000087f: DUP3
00000880: DUP2
00000881: MSTORE
00000882: PUSH1 0x20
00000884: ADD
00000885: SWAP2
00000886: POP
00000887: POP
00000888: PUSH1 0x40
0000088a: MLOAD
0000088b: DUP1
0000088c: SWAP2
0000088d: SUB
0000088e: SWAP1
0000088f: RETURN
00000890: JUMPDEST
00000891: CALLVALUE
00000892: ISZERO
00000893: PUSH2 0x089b
00000896: JUMPI
00000897: PUSH1 0x00
00000899: DUP1
0000089a: REVERT
0000089b: JUMPDEST
0000089c: PUSH2 0x08a3
0000089f: PUSH2 0x18f9
000008a2: JUMP
000008a3: JUMPDEST
000008a4: STOP
000008a5: JUMPDEST
000008a6: PUSH1 0x00
000008a8: DUP1
000008a9: PUSH1 0x00
000008ab: DUP1
000008ac: PUSH1 0x00
000008ae: SWAP1
000008af: SLOAD
000008b0: SWAP1
000008b1: PUSH2 0x0100
000008b4: EXP
000008b5: SWAP1
000008b6: DIV
000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008cc: AND
000008cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e2: AND
000008e3: EQ
000008e4: DUP1
000008e5: PUSH2 0x0917
000008e8: JUMPI
000008e9: POP
000008ea: PUSH1 0x00
000008ec: PUSH2 0x0915
000008ef: PUSH1 0x00
000008f1: DUP1
000008f2: SWAP1
000008f3: SLOAD
000008f4: SWAP1
000008f5: PUSH2 0x0100
000008f8: EXP
000008f9: SWAP1
000008fa: DIV
000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000910: AND
00000911: PUSH2 0x1972
00000914: JUMP
00000915: JUMPDEST
00000916: EQ
00000917: JUMPDEST
00000918: ISZERO
00000919: PUSH2 0x0928
0000091c: JUMPI
0000091d: PUSH2 0x0926
00000920: PUSH1 0x00
00000922: PUSH2 0x197d
00000925: JUMP
00000926: JUMPDEST
00000927: POP
00000928: JUMPDEST
00000929: PUSH1 0x00
0000092b: DUP1
0000092c: SWAP1
0000092d: SLOAD
0000092e: SWAP1
0000092f: PUSH2 0x0100
00000932: EXP
00000933: SWAP1
00000934: DIV
00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094a: AND
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: AND
00000961: PUSH4 0x38cc4831
00000966: PUSH1 0x00
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: PUSH1 0x20
0000096d: ADD
0000096e: MSTORE
0000096f: PUSH1 0x40
00000971: MLOAD
00000972: DUP2
00000973: PUSH4 0xffffffff
00000978: AND
00000979: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000997: MUL
00000998: DUP2
00000999: MSTORE
0000099a: PUSH1 0x04
0000099c: ADD
0000099d: PUSH1 0x20
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: DUP1
000009a3: DUP4
000009a4: SUB
000009a5: DUP2
000009a6: PUSH1 0x00
000009a8: DUP8
000009a9: DUP1
000009aa: EXTCODESIZE
000009ab: ISZERO
000009ac: ISZERO
000009ad: PUSH2 0x09b5
000009b0: JUMPI
000009b1: PUSH1 0x00
000009b3: DUP1
000009b4: REVERT
000009b5: JUMPDEST
000009b6: PUSH2 0x02c6
000009b9: GAS
000009ba: SUB
000009bb: CALL
000009bc: ISZERO
000009bd: ISZERO
000009be: PUSH2 0x09c6
000009c1: JUMPI
000009c2: PUSH1 0x00
000009c4: DUP1
000009c5: REVERT
000009c6: JUMPDEST
000009c7: POP
000009c8: POP
000009c9: POP
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: DUP1
000009ce: MLOAD
000009cf: SWAP1
000009d0: POP
000009d1: PUSH1 0x01
000009d3: PUSH1 0x00
000009d5: PUSH2 0x0100
000009d8: EXP
000009d9: DUP2
000009da: SLOAD
000009db: DUP2
000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009f1: MUL
000009f2: NOT
000009f3: AND
000009f4: SWAP1
000009f5: DUP4
000009f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0b: AND
00000a0c: MUL
00000a0d: OR
00000a0e: SWAP1
00000a0f: SSTORE
00000a10: POP
00000a11: PUSH1 0x01
00000a13: PUSH1 0x00
00000a15: SWAP1
00000a16: SLOAD
00000a17: SWAP1
00000a18: PUSH2 0x0100
00000a1b: EXP
00000a1c: SWAP1
00000a1d: DIV
00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a33: AND
00000a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a49: AND
00000a4a: PUSH4 0x524f3889
00000a4f: DUP6
00000a50: PUSH1 0x00
00000a52: PUSH1 0x40
00000a54: MLOAD
00000a55: PUSH1 0x20
00000a57: ADD
00000a58: MSTORE
00000a59: PUSH1 0x40
00000a5b: MLOAD
00000a5c: DUP3
00000a5d: PUSH4 0xffffffff
00000a62: AND
00000a63: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000a81: MUL
00000a82: DUP2
00000a83: MSTORE
00000a84: PUSH1 0x04
00000a86: ADD
00000a87: DUP1
00000a88: DUP1
00000a89: PUSH1 0x20
00000a8b: ADD
00000a8c: DUP3
00000a8d: DUP2
00000a8e: SUB
00000a8f: DUP3
00000a90: MSTORE
00000a91: DUP4
00000a92: DUP2
00000a93: DUP2
00000a94: MLOAD
00000a95: DUP2
00000a96: MSTORE
00000a97: PUSH1 0x20
00000a99: ADD
00000a9a: SWAP2
00000a9b: POP
00000a9c: DUP1
00000a9d: MLOAD
00000a9e: SWAP1
00000a9f: PUSH1 0x20
00000aa1: ADD
00000aa2: SWAP1
00000aa3: DUP1
00000aa4: DUP4
00000aa5: DUP4
00000aa6: PUSH1 0x00
00000aa8: JUMPDEST
00000aa9: DUP4
00000aaa: DUP2
00000aab: LT
00000aac: ISZERO
00000aad: PUSH2 0x0ac3
00000ab0: JUMPI
00000ab1: DUP1
00000ab2: DUP3
00000ab3: ADD
00000ab4: MLOAD
00000ab5: DUP2
00000ab6: DUP5
00000ab7: ADD
00000ab8: MSTORE
00000ab9: PUSH1 0x20
00000abb: DUP2
00000abc: ADD
00000abd: SWAP1
00000abe: POP
00000abf: PUSH2 0x0aa8
00000ac2: JUMP
00000ac3: JUMPDEST
00000ac4: POP
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: SWAP1
00000ac9: POP
00000aca: SWAP1
00000acb: DUP2
00000acc: ADD
00000acd: SWAP1
00000ace: PUSH1 0x1f
00000ad0: AND
00000ad1: DUP1
00000ad2: ISZERO
00000ad3: PUSH2 0x0af0
00000ad6: JUMPI
00000ad7: DUP1
00000ad8: DUP3
00000ad9: SUB
00000ada: DUP1
00000adb: MLOAD
00000adc: PUSH1 0x01
00000ade: DUP4
00000adf: PUSH1 0x20
00000ae1: SUB
00000ae2: PUSH2 0x0100
00000ae5: EXP
00000ae6: SUB
00000ae7: NOT
00000ae8: AND
00000ae9: DUP2
00000aea: MSTORE
00000aeb: PUSH1 0x20
00000aed: ADD
00000aee: SWAP2
00000aef: POP
00000af0: JUMPDEST
00000af1: POP
00000af2: SWAP3
00000af3: POP
00000af4: POP
00000af5: POP
00000af6: PUSH1 0x20
00000af8: PUSH1 0x40
00000afa: MLOAD
00000afb: DUP1
00000afc: DUP4
00000afd: SUB
00000afe: DUP2
00000aff: PUSH1 0x00
00000b01: DUP8
00000b02: DUP1
00000b03: EXTCODESIZE
00000b04: ISZERO
00000b05: ISZERO
00000b06: PUSH2 0x0b0e
00000b09: JUMPI
00000b0a: PUSH1 0x00
00000b0c: DUP1
00000b0d: REVERT
00000b0e: JUMPDEST
00000b0f: PUSH2 0x02c6
00000b12: GAS
00000b13: SUB
00000b14: CALL
00000b15: ISZERO
00000b16: ISZERO
00000b17: PUSH2 0x0b1f
00000b1a: JUMPI
00000b1b: PUSH1 0x00
00000b1d: DUP1
00000b1e: REVERT
00000b1f: JUMPDEST
00000b20: POP
00000b21: POP
00000b22: POP
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: DUP1
00000b27: MLOAD
00000b28: SWAP1
00000b29: POP
00000b2a: SWAP1
00000b2b: POP
00000b2c: PUSH3 0x030d40
00000b30: GASPRICE
00000b31: MUL
00000b32: PUSH8 0x0de0b6b3a7640000
00000b3b: ADD
00000b3c: DUP2
00000b3d: GT
00000b3e: ISZERO
00000b3f: PUSH2 0x0b4e
00000b42: JUMPI
00000b43: PUSH1 0x00
00000b45: PUSH1 0x01
00000b47: MUL
00000b48: SWAP2
00000b49: POP
00000b4a: PUSH2 0x0ce1
00000b4d: JUMP
00000b4e: JUMPDEST
00000b4f: PUSH1 0x01
00000b51: PUSH1 0x00
00000b53: SWAP1
00000b54: SLOAD
00000b55: SWAP1
00000b56: PUSH2 0x0100
00000b59: EXP
00000b5a: SWAP1
00000b5b: DIV
00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b71: AND
00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b87: AND
00000b88: PUSH4 0xadf59f99
00000b8d: DUP3
00000b8e: PUSH1 0x00
00000b90: DUP8
00000b91: DUP8
00000b92: PUSH1 0x00
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: MSTORE
00000b9b: PUSH1 0x40
00000b9d: MLOAD
00000b9e: DUP6
00000b9f: PUSH4 0xffffffff
00000ba4: AND
00000ba5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000bc3: MUL
00000bc4: DUP2
00000bc5: MSTORE
00000bc6: PUSH1 0x04
00000bc8: ADD
00000bc9: DUP1
00000bca: DUP5
00000bcb: DUP2
00000bcc: MSTORE
00000bcd: PUSH1 0x20
00000bcf: ADD
00000bd0: DUP1
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: DUP1
00000bd5: PUSH1 0x20
00000bd7: ADD
00000bd8: DUP4
00000bd9: DUP2
00000bda: SUB
00000bdb: DUP4
00000bdc: MSTORE
00000bdd: DUP6
00000bde: DUP2
00000bdf: DUP2
00000be0: MLOAD
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x20
00000be5: ADD
00000be6: SWAP2
00000be7: POP
00000be8: DUP1
00000be9: MLOAD
00000bea: SWAP1
00000beb: PUSH1 0x20
00000bed: ADD
00000bee: SWAP1
00000bef: DUP1
00000bf0: DUP4
00000bf1: DUP4
00000bf2: PUSH1 0x00
00000bf4: JUMPDEST
00000bf5: DUP4
00000bf6: DUP2
00000bf7: LT
00000bf8: ISZERO
00000bf9: PUSH2 0x0c0f
00000bfc: JUMPI
00000bfd: DUP1
00000bfe: DUP3
00000bff: ADD
00000c00: MLOAD
00000c01: DUP2
00000c02: DUP5
00000c03: ADD
00000c04: MSTORE
00000c05: PUSH1 0x20
00000c07: DUP2
00000c08: ADD
00000c09: SWAP1
00000c0a: POP
00000c0b: PUSH2 0x0bf4
00000c0e: JUMP
00000c0f: JUMPDEST
00000c10: POP
00000c11: POP
00000c12: POP
00000c13: POP
00000c14: SWAP1
00000c15: POP
00000c16: SWAP1
00000c17: DUP2
00000c18: ADD
00000c19: SWAP1
00000c1a: PUSH1 0x1f
00000c1c: AND
00000c1d: DUP1
00000c1e: ISZERO
00000c1f: PUSH2 0x0c3c
00000c22: JUMPI
00000c23: DUP1
00000c24: DUP3
00000c25: SUB
00000c26: DUP1
00000c27: MLOAD
00000c28: PUSH1 0x01
00000c2a: DUP4
00000c2b: PUSH1 0x20
00000c2d: SUB
00000c2e: PUSH2 0x0100
00000c31: EXP
00000c32: SUB
00000c33: NOT
00000c34: AND
00000c35: DUP2
00000c36: MSTORE
00000c37: PUSH1 0x20
00000c39: ADD
00000c3a: SWAP2
00000c3b: POP
00000c3c: JUMPDEST
00000c3d: POP
00000c3e: DUP4
00000c3f: DUP2
00000c40: SUB
00000c41: DUP3
00000c42: MSTORE
00000c43: DUP5
00000c44: DUP2
00000c45: DUP2
00000c46: MLOAD
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x20
00000c4b: ADD
00000c4c: SWAP2
00000c4d: POP
00000c4e: DUP1
00000c4f: MLOAD
00000c50: SWAP1
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: SWAP1
00000c55: DUP1
00000c56: DUP4
00000c57: DUP4
00000c58: PUSH1 0x00
00000c5a: JUMPDEST
00000c5b: DUP4
00000c5c: DUP2
00000c5d: LT
00000c5e: ISZERO
00000c5f: PUSH2 0x0c75
00000c62: JUMPI
00000c63: DUP1
00000c64: DUP3
00000c65: ADD
00000c66: MLOAD
00000c67: DUP2
00000c68: DUP5
00000c69: ADD
00000c6a: MSTORE
00000c6b: PUSH1 0x20
00000c6d: DUP2
00000c6e: ADD
00000c6f: SWAP1
00000c70: POP
00000c71: PUSH2 0x0c5a
00000c74: JUMP
00000c75: JUMPDEST
00000c76: POP
00000c77: POP
00000c78: POP
00000c79: POP
00000c7a: SWAP1
00000c7b: POP
00000c7c: SWAP1
00000c7d: DUP2
00000c7e: ADD
00000c7f: SWAP1
00000c80: PUSH1 0x1f
00000c82: AND
00000c83: DUP1
00000c84: ISZERO
00000c85: PUSH2 0x0ca2
00000c88: JUMPI
00000c89: DUP1
00000c8a: DUP3
00000c8b: SUB
00000c8c: DUP1
00000c8d: MLOAD
00000c8e: PUSH1 0x01
00000c90: DUP4
00000c91: PUSH1 0x20
00000c93: SUB
00000c94: PUSH2 0x0100
00000c97: EXP
00000c98: SUB
00000c99: NOT
00000c9a: AND
00000c9b: DUP2
00000c9c: MSTORE
00000c9d: PUSH1 0x20
00000c9f: ADD
00000ca0: SWAP2
00000ca1: POP
00000ca2: JUMPDEST
00000ca3: POP
00000ca4: SWAP6
00000ca5: POP
00000ca6: POP
00000ca7: POP
00000ca8: POP
00000ca9: POP
00000caa: POP
00000cab: PUSH1 0x20
00000cad: PUSH1 0x40
00000caf: MLOAD
00000cb0: DUP1
00000cb1: DUP4
00000cb2: SUB
00000cb3: DUP2
00000cb4: DUP6
00000cb5: DUP9
00000cb6: DUP1
00000cb7: EXTCODESIZE
00000cb8: ISZERO
00000cb9: ISZERO
00000cba: PUSH2 0x0cc2
00000cbd: JUMPI
00000cbe: PUSH1 0x00
00000cc0: DUP1
00000cc1: REVERT
00000cc2: JUMPDEST
00000cc3: PUSH2 0x25ee
00000cc6: GAS
00000cc7: SUB
00000cc8: CALL
00000cc9: ISZERO
00000cca: ISZERO
00000ccb: PUSH2 0x0cd3
00000cce: JUMPI
00000ccf: PUSH1 0x00
00000cd1: DUP1
00000cd2: REVERT
00000cd3: JUMPDEST
00000cd4: POP
00000cd5: POP
00000cd6: POP
00000cd7: POP
00000cd8: PUSH1 0x40
00000cda: MLOAD
00000cdb: DUP1
00000cdc: MLOAD
00000cdd: SWAP1
00000cde: POP
00000cdf: SWAP2
00000ce0: POP
00000ce1: JUMPDEST
00000ce2: POP
00000ce3: SWAP3
00000ce4: SWAP2
00000ce5: POP
00000ce6: POP
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH2 0x0d12
00000cec: DUP3
00000ced: DUP3
00000cee: PUSH1 0x00
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: DUP1
00000cf4: MSIZE
00000cf5: LT
00000cf6: PUSH2 0x0cfc
00000cf9: JUMPI
00000cfa: POP
00000cfb: MSIZE
00000cfc: JUMPDEST
00000cfd: SWAP1
00000cfe: DUP1
00000cff: DUP3
00000d00: MSTORE
00000d01: DUP1
00000d02: PUSH1 0x20
00000d04: MUL
00000d05: PUSH1 0x20
00000d07: ADD
00000d08: DUP3
00000d09: ADD
00000d0a: PUSH1 0x40
00000d0c: MSTORE
00000d0d: POP
00000d0e: PUSH2 0x0d16
00000d11: JUMP
00000d12: JUMPDEST
00000d13: POP
00000d14: POP
00000d15: JUMP
00000d16: JUMPDEST
00000d17: PUSH2 0x0d1e
00000d1a: PUSH2 0x235e
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH2 0x0d26
00000d22: PUSH2 0x235e
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH1 0x00
00000d29: DUP1
00000d2a: PUSH1 0x0d
00000d2c: PUSH1 0x00
00000d2e: DUP9
00000d2f: PUSH1 0x00
00000d31: NOT
00000d32: AND
00000d33: PUSH1 0x00
00000d35: NOT
00000d36: AND
00000d37: DUP2
00000d38: MSTORE
00000d39: PUSH1 0x20
00000d3b: ADD
00000d3c: SWAP1
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: PUSH1 0x20
00000d41: ADD
00000d42: PUSH1 0x00
00000d44: KECCAK256
00000d45: PUSH1 0x00
00000d47: SWAP1
00000d48: SLOAD
00000d49: SWAP1
00000d4a: PUSH2 0x0100
00000d4d: EXP
00000d4e: SWAP1
00000d4f: DIV
00000d50: PUSH1 0xff
00000d52: AND
00000d53: ISZERO
00000d54: ISZERO
00000d55: PUSH2 0x0d5d
00000d58: JUMPI
00000d59: PUSH1 0x00
00000d5b: DUP1
00000d5c: REVERT
00000d5d: JUMPDEST
00000d5e: PUSH2 0x0d65
00000d61: PUSH2 0x1e0e
00000d64: JUMP
00000d65: JUMPDEST
00000d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7b: AND
00000d7c: CALLER
00000d7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d92: AND
00000d93: EQ
00000d94: ISZERO
00000d95: ISZERO
00000d96: PUSH2 0x0d9e
00000d99: JUMPI
00000d9a: PUSH1 0x00
00000d9c: DUP1
00000d9d: REVERT
00000d9e: JUMPDEST
00000d9f: DUP6
00000da0: PUSH1 0x0c
00000da2: SWAP1
00000da3: DUP1
00000da4: MLOAD
00000da5: SWAP1
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: SWAP1
00000daa: PUSH2 0x0db4
00000dad: SWAP3
00000dae: SWAP2
00000daf: SWAP1
00000db0: PUSH2 0x2378
00000db3: JUMP
00000db4: JUMPDEST
00000db5: POP
00000db6: DUP7
00000db7: PUSH1 0x00
00000db9: NOT
00000dba: AND
00000dbb: PUSH1 0x12
00000dbd: PUSH1 0x00
00000dbf: DUP10
00000dc0: PUSH1 0x00
00000dc2: NOT
00000dc3: AND
00000dc4: PUSH1 0x00
00000dc6: NOT
00000dc7: AND
00000dc8: DUP2
00000dc9: MSTORE
00000dca: PUSH1 0x20
00000dcc: ADD
00000dcd: SWAP1
00000dce: DUP2
00000dcf: MSTORE
00000dd0: PUSH1 0x20
00000dd2: ADD
00000dd3: PUSH1 0x00
00000dd5: KECCAK256
00000dd6: SLOAD
00000dd7: PUSH1 0x00
00000dd9: NOT
00000dda: AND
00000ddb: EQ
00000ddc: ISZERO
00000ddd: PUSH2 0x11bd
00000de0: JUMPI
00000de1: PUSH2 0x0de9
00000de4: DUP7
00000de5: PUSH2 0x2025
00000de8: JUMP
00000de9: JUMPDEST
00000dea: SWAP4
00000deb: POP
00000dec: PUSH2 0x0e4b
00000def: PUSH2 0x0e46
00000df2: PUSH2 0x0e41
00000df5: PUSH2 0x0e32
00000df8: PUSH1 0x40
00000dfa: DUP1
00000dfb: MLOAD
00000dfc: SWAP1
00000dfd: DUP2
00000dfe: ADD
00000dff: PUSH1 0x40
00000e01: MSTORE
00000e02: DUP1
00000e03: PUSH1 0x01
00000e05: DUP2
00000e06: MSTORE
00000e07: PUSH1 0x20
00000e09: ADD
00000e0a: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
00000e2b: DUP2
00000e2c: MSTORE
00000e2d: POP
00000e2e: PUSH2 0x2025
00000e31: JUMP
00000e32: JUMPDEST
00000e33: DUP8
00000e34: PUSH2 0x2053
00000e37: SWAP1
00000e38: SWAP2
00000e39: SWAP1
00000e3a: PUSH4 0xffffffff
00000e3f: AND
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH2 0x206d
00000e45: JUMP
00000e46: JUMPDEST
00000e47: PUSH2 0x20c7
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: SWAP2
00000e4d: POP
00000e4e: DUP2
00000e4f: PUSH1 0x0b
00000e51: DUP2
00000e52: SWAP1
00000e53: SSTORE
00000e54: POP
00000e55: PUSH7 0x2386f26fc10000
00000e5d: PUSH1 0x06
00000e5f: SLOAD
00000e60: MUL
00000e61: PUSH1 0x0a
00000e63: SLOAD
00000e64: PUSH1 0x0a
00000e66: EXP
00000e67: PUSH1 0x11
00000e69: PUSH1 0x00
00000e6b: PUSH1 0x10
00000e6d: PUSH1 0x00
00000e6f: DUP13
00000e70: PUSH1 0x00
00000e72: NOT
00000e73: AND
00000e74: PUSH1 0x00
00000e76: NOT
00000e77: AND
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x20
00000e7c: ADD
00000e7d: SWAP1
00000e7e: DUP2
00000e7f: MSTORE
00000e80: PUSH1 0x20
00000e82: ADD
00000e83: PUSH1 0x00
00000e85: KECCAK256
00000e86: PUSH1 0x00
00000e88: SWAP1
00000e89: SLOAD
00000e8a: SWAP1
00000e8b: PUSH2 0x0100
00000e8e: EXP
00000e8f: SWAP1
00000e90: DIV
00000e91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea6: AND
00000ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebc: AND
00000ebd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed2: AND
00000ed3: DUP2
00000ed4: MSTORE
00000ed5: PUSH1 0x20
00000ed7: ADD
00000ed8: SWAP1
00000ed9: DUP2
00000eda: MSTORE
00000edb: PUSH1 0x20
00000edd: ADD
00000ede: PUSH1 0x00
00000ee0: KECCAK256
00000ee1: SLOAD
00000ee2: DUP5
00000ee3: MUL
00000ee4: MUL
00000ee5: DUP2
00000ee6: ISZERO
00000ee7: ISZERO
00000ee8: PUSH2 0x0eed
00000eeb: JUMPI
00000eec: INVALID
00000eed: JUMPDEST
00000eee: DIV
00000eef: SWAP1
00000ef0: POP
00000ef1: PUSH32 0x14b2bf4b6525e877d9e319e2ccd0a13b4c9b7859c53e60a77d53c8ade1a4f08d
00000f12: DUP2
00000f13: PUSH1 0x40
00000f15: MLOAD
00000f16: DUP1
00000f17: DUP3
00000f18: DUP2
00000f19: MSTORE
00000f1a: PUSH1 0x20
00000f1c: ADD
00000f1d: SWAP2
00000f1e: POP
00000f1f: POP
00000f20: PUSH1 0x40
00000f22: MLOAD
00000f23: DUP1
00000f24: SWAP2
00000f25: SUB
00000f26: SWAP1
00000f27: LOG1
00000f28: DUP1
00000f29: PUSH1 0x05
00000f2b: PUSH1 0x00
00000f2d: SWAP1
00000f2e: SLOAD
00000f2f: SWAP1
00000f30: PUSH2 0x0100
00000f33: EXP
00000f34: SWAP1
00000f35: DIV
00000f36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f4b: AND
00000f4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f61: AND
00000f62: PUSH4 0x70a08231
00000f67: ADDRESS
00000f68: PUSH1 0x00
00000f6a: PUSH1 0x40
00000f6c: MLOAD
00000f6d: PUSH1 0x20
00000f6f: ADD
00000f70: MSTORE
00000f71: PUSH1 0x40
00000f73: MLOAD
00000f74: DUP3
00000f75: PUSH4 0xffffffff
00000f7a: AND
00000f7b: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000f99: MUL
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x04
00000f9e: ADD
00000f9f: DUP1
00000fa0: DUP3
00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb6: AND
00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fcc: AND
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: ADD
00000fd2: SWAP2
00000fd3: POP
00000fd4: POP
00000fd5: PUSH1 0x20
00000fd7: PUSH1 0x40
00000fd9: MLOAD
00000fda: DUP1
00000fdb: DUP4
00000fdc: SUB
00000fdd: DUP2
00000fde: PUSH1 0x00
00000fe0: DUP8
00000fe1: DUP1
00000fe2: EXTCODESIZE
00000fe3: ISZERO
00000fe4: ISZERO
00000fe5: PUSH2 0x0fed
00000fe8: JUMPI
00000fe9: PUSH1 0x00
00000feb: DUP1
00000fec: REVERT
00000fed: JUMPDEST
00000fee: PUSH2 0x02c6
00000ff1: GAS
00000ff2: SUB
00000ff3: CALL
00000ff4: ISZERO
00000ff5: ISZERO
00000ff6: PUSH2 0x0ffe
00000ff9: JUMPI
00000ffa: PUSH1 0x00
00000ffc: DUP1
00000ffd: REVERT
00000ffe: JUMPDEST
00000fff: POP
00001000: POP
00001001: POP
00001002: PUSH1 0x40
00001004: MLOAD
00001005: DUP1
00001006: MLOAD
00001007: SWAP1
00001008: POP
00001009: GT
0000100a: ISZERO
0000100b: PUSH2 0x11bc
0000100e: JUMPI
0000100f: PUSH1 0x05
00001011: PUSH1 0x00
00001013: SWAP1
00001014: SLOAD
00001015: SWAP1
00001016: PUSH2 0x0100
00001019: EXP
0000101a: SWAP1
0000101b: DIV
0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001031: AND
00001032: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001047: AND
00001048: PUSH4 0x2dba5cfa
0000104d: PUSH1 0x10
0000104f: PUSH1 0x00
00001051: DUP11
00001052: PUSH1 0x00
00001054: NOT
00001055: AND
00001056: PUSH1 0x00
00001058: NOT
00001059: AND
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: SWAP1
00001060: DUP2
00001061: MSTORE
00001062: PUSH1 0x20
00001064: ADD
00001065: PUSH1 0x00
00001067: KECCAK256
00001068: PUSH1 0x00
0000106a: SWAP1
0000106b: SLOAD
0000106c: SWAP1
0000106d: PUSH2 0x0100
00001070: EXP
00001071: SWAP1
00001072: DIV
00001073: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001088: AND
00001089: DUP4
0000108a: PUSH1 0x00
0000108c: PUSH1 0x40
0000108e: MLOAD
0000108f: PUSH1 0x20
00001091: ADD
00001092: MSTORE
00001093: PUSH1 0x40
00001095: MLOAD
00001096: DUP4
00001097: PUSH4 0xffffffff
0000109c: AND
0000109d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000010bb: MUL
000010bc: DUP2
000010bd: MSTORE
000010be: PUSH1 0x04
000010c0: ADD
000010c1: DUP1
000010c2: DUP4
000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d8: AND
000010d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ee: AND
000010ef: DUP2
000010f0: MSTORE
000010f1: PUSH1 0x20
000010f3: ADD
000010f4: DUP3
000010f5: DUP2
000010f6: MSTORE
000010f7: PUSH1 0x20
000010f9: ADD
000010fa: SWAP3
000010fb: POP
000010fc: POP
000010fd: POP
000010fe: PUSH1 0x20
00001100: PUSH1 0x40
00001102: MLOAD
00001103: DUP1
00001104: DUP4
00001105: SUB
00001106: DUP2
00001107: PUSH1 0x00
00001109: DUP8
0000110a: DUP1
0000110b: EXTCODESIZE
0000110c: ISZERO
0000110d: ISZERO
0000110e: PUSH2 0x1116
00001111: JUMPI
00001112: PUSH1 0x00
00001114: DUP1
00001115: REVERT
00001116: JUMPDEST
00001117: PUSH2 0x02c6
0000111a: GAS
0000111b: SUB
0000111c: CALL
0000111d: ISZERO
0000111e: ISZERO
0000111f: PUSH2 0x1127
00001122: JUMPI
00001123: PUSH1 0x00
00001125: DUP1
00001126: REVERT
00001127: JUMPDEST
00001128: POP
00001129: POP
0000112a: POP
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: DUP1
0000112f: MLOAD
00001130: SWAP1
00001131: POP
00001132: POP
00001133: PUSH1 0x10
00001135: PUSH1 0x00
00001137: DUP9
00001138: PUSH1 0x00
0000113a: NOT
0000113b: AND
0000113c: PUSH1 0x00
0000113e: NOT
0000113f: AND
00001140: DUP2
00001141: MSTORE
00001142: PUSH1 0x20
00001144: ADD
00001145: SWAP1
00001146: DUP2
00001147: MSTORE
00001148: PUSH1 0x20
0000114a: ADD
0000114b: PUSH1 0x00
0000114d: KECCAK256
0000114e: PUSH1 0x00
00001150: SWAP1
00001151: SLOAD
00001152: SWAP1
00001153: PUSH2 0x0100
00001156: EXP
00001157: SWAP1
00001158: DIV
00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116e: AND
0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001184: AND
00001185: PUSH32 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2
000011a6: DUP3
000011a7: PUSH1 0x40
000011a9: MLOAD
000011aa: DUP1
000011ab: DUP3
000011ac: DUP2
000011ad: MSTORE
000011ae: PUSH1 0x20
000011b0: ADD
000011b1: SWAP2
000011b2: POP
000011b3: POP
000011b4: PUSH1 0x40
000011b6: MLOAD
000011b7: DUP1
000011b8: SWAP2
000011b9: SUB
000011ba: SWAP1
000011bb: LOG2
000011bc: JUMPDEST
000011bd: JUMPDEST
000011be: PUSH1 0x0d
000011c0: PUSH1 0x00
000011c2: DUP9
000011c3: PUSH1 0x00
000011c5: NOT
000011c6: AND
000011c7: PUSH1 0x00
000011c9: NOT
000011ca: AND
000011cb: DUP2
000011cc: MSTORE
000011cd: PUSH1 0x20
000011cf: ADD
000011d0: SWAP1
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x20
000011d5: ADD
000011d6: PUSH1 0x00
000011d8: KECCAK256
000011d9: PUSH1 0x00
000011db: PUSH2 0x0100
000011de: EXP
000011df: DUP2
000011e0: SLOAD
000011e1: SWAP1
000011e2: PUSH1 0xff
000011e4: MUL
000011e5: NOT
000011e6: AND
000011e7: SWAP1
000011e8: SSTORE
000011e9: POP
000011ea: POP
000011eb: POP
000011ec: POP
000011ed: POP
000011ee: POP
000011ef: POP
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x0e
000011f4: PUSH1 0x01
000011f6: SWAP1
000011f7: SLOAD
000011f8: SWAP1
000011f9: PUSH2 0x0100
000011fc: EXP
000011fd: SWAP1
000011fe: DIV
000011ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001214: AND
00001215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122a: AND
0000122b: CALLER
0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001241: AND
00001242: EQ
00001243: ISZERO
00001244: ISZERO
00001245: PUSH2 0x124d
00001248: JUMPI
00001249: PUSH1 0x00
0000124b: DUP1
0000124c: REVERT
0000124d: JUMPDEST
0000124e: PUSH1 0x01
00001250: PUSH1 0x0e
00001252: PUSH1 0x00
00001254: PUSH2 0x0100
00001257: EXP
00001258: DUP2
00001259: SLOAD
0000125a: DUP2
0000125b: PUSH1 0xff
0000125d: MUL
0000125e: NOT
0000125f: AND
00001260: SWAP1
00001261: DUP4
00001262: ISZERO
00001263: ISZERO
00001264: MUL
00001265: OR
00001266: SWAP1
00001267: SSTORE
00001268: POP
00001269: JUMP
0000126a: JUMPDEST
0000126b: PUSH1 0x0f
0000126d: SLOAD
0000126e: DUP2
0000126f: JUMP
00001270: JUMPDEST
00001271: PUSH1 0x0e
00001273: PUSH1 0x00
00001275: SWAP1
00001276: SLOAD
00001277: SWAP1
00001278: PUSH2 0x0100
0000127b: EXP
0000127c: SWAP1
0000127d: DIV
0000127e: PUSH1 0xff
00001280: AND
00001281: DUP2
00001282: JUMP
00001283: JUMPDEST
00001284: PUSH1 0x0e
00001286: PUSH1 0x01
00001288: SWAP1
00001289: SLOAD
0000128a: SWAP1
0000128b: PUSH2 0x0100
0000128e: EXP
0000128f: SWAP1
00001290: DIV
00001291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a6: AND
000012a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012bc: AND
000012bd: CALLER
000012be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012d3: AND
000012d4: EQ
000012d5: ISZERO
000012d6: ISZERO
000012d7: PUSH2 0x12df
000012da: JUMPI
000012db: PUSH1 0x00
000012dd: DUP1
000012de: REVERT
000012df: JUMPDEST
000012e0: PUSH1 0x00
000012e2: PUSH1 0x07
000012e4: PUSH1 0x00
000012e6: PUSH2 0x0100
000012e9: EXP
000012ea: DUP2
000012eb: SLOAD
000012ec: DUP2
000012ed: PUSH1 0xff
000012ef: MUL
000012f0: NOT
000012f1: AND
000012f2: SWAP1
000012f3: DUP4
000012f4: ISZERO
000012f5: ISZERO
000012f6: MUL
000012f7: OR
000012f8: SWAP1
000012f9: SSTORE
000012fa: POP
000012fb: PUSH1 0x00
000012fd: PUSH1 0x0e
000012ff: PUSH1 0x00
00001301: PUSH2 0x0100
00001304: EXP
00001305: DUP2
00001306: SLOAD
00001307: DUP2
00001308: PUSH1 0xff
0000130a: MUL
0000130b: NOT
0000130c: AND
0000130d: SWAP1
0000130e: DUP4
0000130f: ISZERO
00001310: ISZERO
00001311: MUL
00001312: OR
00001313: SWAP1
00001314: SSTORE
00001315: POP
00001316: PUSH1 0xc8
00001318: PUSH1 0x06
0000131a: DUP2
0000131b: SWAP1
0000131c: SSTORE
0000131d: POP
0000131e: TIMESTAMP
0000131f: PUSH1 0x08
00001321: DUP2
00001322: SWAP1
00001323: SSTORE
00001324: POP
00001325: PUSH3 0x278d00
00001329: PUSH1 0x08
0000132b: SLOAD
0000132c: ADD
0000132d: PUSH1 0x09
0000132f: DUP2
00001330: SWAP1
00001331: SSTORE
00001332: POP
00001333: JUMP
00001334: JUMPDEST
00001335: PUSH1 0x0e
00001337: PUSH1 0x01
00001339: SWAP1
0000133a: SLOAD
0000133b: SWAP1
0000133c: PUSH2 0x0100
0000133f: EXP
00001340: SWAP1
00001341: DIV
00001342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001357: AND
00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136d: AND
0000136e: CALLER
0000136f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001384: AND
00001385: EQ
00001386: ISZERO
00001387: ISZERO
00001388: PUSH2 0x1390
0000138b: JUMPI
0000138c: PUSH1 0x00
0000138e: DUP1
0000138f: REVERT
00001390: JUMPDEST
00001391: PUSH1 0x00
00001393: PUSH1 0x0e
00001395: PUSH1 0x00
00001397: PUSH2 0x0100
0000139a: EXP
0000139b: DUP2
0000139c: SLOAD
0000139d: DUP2
0000139e: PUSH1 0xff
000013a0: MUL
000013a1: NOT
000013a2: AND
000013a3: SWAP1
000013a4: DUP4
000013a5: ISZERO
000013a6: ISZERO
000013a7: MUL
000013a8: OR
000013a9: SWAP1
000013aa: SSTORE
000013ab: POP
000013ac: JUMP
000013ad: JUMPDEST
000013ae: PUSH1 0x0e
000013b0: PUSH1 0x01
000013b2: SWAP1
000013b3: SLOAD
000013b4: SWAP1
000013b5: PUSH2 0x0100
000013b8: EXP
000013b9: SWAP1
000013ba: DIV
000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d0: AND
000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: CALLER
000013e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fd: AND
000013fe: EQ
000013ff: ISZERO
00001400: ISZERO
00001401: PUSH2 0x1409
00001404: JUMPI
00001405: PUSH1 0x00
00001407: DUP1
00001408: REVERT
00001409: JUMPDEST
0000140a: PUSH1 0x0e
0000140c: PUSH1 0x01
0000140e: SWAP1
0000140f: SLOAD
00001410: SWAP1
00001411: PUSH2 0x0100
00001414: EXP
00001415: SWAP1
00001416: DIV
00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000142c: AND
0000142d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001442: AND
00001443: PUSH2 0x08fc
00001446: ADDRESS
00001447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000145c: AND
0000145d: BALANCE
0000145e: SWAP1
0000145f: DUP2
00001460: ISZERO
00001461: MUL
00001462: SWAP1
00001463: PUSH1 0x40
00001465: MLOAD
00001466: PUSH1 0x00
00001468: PUSH1 0x40
0000146a: MLOAD
0000146b: DUP1
0000146c: DUP4
0000146d: SUB
0000146e: DUP2
0000146f: DUP6
00001470: DUP9
00001471: DUP9
00001472: CALL
00001473: SWAP4
00001474: POP
00001475: POP
00001476: POP
00001477: POP
00001478: ISZERO
00001479: ISZERO
0000147a: PUSH2 0x1482
0000147d: JUMPI
0000147e: PUSH1 0x00
00001480: DUP1
00001481: REVERT
00001482: JUMPDEST
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x0e
00001487: PUSH1 0x01
00001489: SWAP1
0000148a: SLOAD
0000148b: SWAP1
0000148c: PUSH2 0x0100
0000148f: EXP
00001490: SWAP1
00001491: DIV
00001492: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a7: AND
000014a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bd: AND
000014be: CALLER
000014bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014d4: AND
000014d5: EQ
000014d6: ISZERO
000014d7: ISZERO
000014d8: PUSH2 0x14e0
000014db: JUMPI
000014dc: PUSH1 0x00
000014de: DUP1
000014df: REVERT
000014e0: JUMPDEST
000014e1: PUSH1 0x00
000014e3: PUSH1 0x05
000014e5: PUSH1 0x00
000014e7: SWAP1
000014e8: SLOAD
000014e9: SWAP1
000014ea: PUSH2 0x0100
000014ed: EXP
000014ee: SWAP1
000014ef: DIV
000014f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001505: AND
00001506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000151b: AND
0000151c: PUSH4 0x70a08231
00001521: ADDRESS
00001522: PUSH1 0x00
00001524: PUSH1 0x40
00001526: MLOAD
00001527: PUSH1 0x20
00001529: ADD
0000152a: MSTORE
0000152b: PUSH1 0x40
0000152d: MLOAD
0000152e: DUP3
0000152f: PUSH4 0xffffffff
00001534: AND
00001535: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001553: MUL
00001554: DUP2
00001555: MSTORE
00001556: PUSH1 0x04
00001558: ADD
00001559: DUP1
0000155a: DUP3
0000155b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001570: AND
00001571: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001586: AND
00001587: DUP2
00001588: MSTORE
00001589: PUSH1 0x20
0000158b: ADD
0000158c: SWAP2
0000158d: POP
0000158e: POP
0000158f: PUSH1 0x20
00001591: PUSH1 0x40
00001593: MLOAD
00001594: DUP1
00001595: DUP4
00001596: SUB
00001597: DUP2
00001598: PUSH1 0x00
0000159a: DUP8
0000159b: DUP1
0000159c: EXTCODESIZE
0000159d: ISZERO
0000159e: ISZERO
0000159f: PUSH2 0x15a7
000015a2: JUMPI
000015a3: PUSH1 0x00
000015a5: DUP1
000015a6: REVERT
000015a7: JUMPDEST
000015a8: PUSH2 0x02c6
000015ab: GAS
000015ac: SUB
000015ad: CALL
000015ae: ISZERO
000015af: ISZERO
000015b0: PUSH2 0x15b8
000015b3: JUMPI
000015b4: PUSH1 0x00
000015b6: DUP1
000015b7: REVERT
000015b8: JUMPDEST
000015b9: POP
000015ba: POP
000015bb: POP
000015bc: PUSH1 0x40
000015be: MLOAD
000015bf: DUP1
000015c0: MLOAD
000015c1: SWAP1
000015c2: POP
000015c3: GT
000015c4: ISZERO
000015c5: PUSH2 0x17b3
000015c8: JUMPI
000015c9: PUSH1 0x05
000015cb: PUSH1 0x00
000015cd: SWAP1
000015ce: SLOAD
000015cf: SWAP1
000015d0: PUSH2 0x0100
000015d3: EXP
000015d4: SWAP1
000015d5: DIV
000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015eb: AND
000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001601: AND
00001602: PUSH4 0x2dba5cfa
00001607: PUSH1 0x0e
00001609: PUSH1 0x01
0000160b: SWAP1
0000160c: SLOAD
0000160d: SWAP1
0000160e: PUSH2 0x0100
00001611: EXP
00001612: SWAP1
00001613: DIV
00001614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001629: AND
0000162a: PUSH1 0x05
0000162c: PUSH1 0x00
0000162e: SWAP1
0000162f: SLOAD
00001630: SWAP1
00001631: PUSH2 0x0100
00001634: EXP
00001635: SWAP1
00001636: DIV
00001637: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000164c: AND
0000164d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001662: AND
00001663: PUSH4 0x70a08231
00001668: ADDRESS
00001669: PUSH1 0x00
0000166b: PUSH1 0x40
0000166d: MLOAD
0000166e: PUSH1 0x20
00001670: ADD
00001671: MSTORE
00001672: PUSH1 0x40
00001674: MLOAD
00001675: DUP3
00001676: PUSH4 0xffffffff
0000167b: AND
0000167c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000169a: MUL
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x04
0000169f: ADD
000016a0: DUP1
000016a1: DUP3
000016a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b7: AND
000016b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cd: AND
000016ce: DUP2
000016cf: MSTORE
000016d0: PUSH1 0x20
000016d2: ADD
000016d3: SWAP2
000016d4: POP
000016d5: POP
000016d6: PUSH1 0x20
000016d8: PUSH1 0x40
000016da: MLOAD
000016db: DUP1
000016dc: DUP4
000016dd: SUB
000016de: DUP2
000016df: PUSH1 0x00
000016e1: DUP8
000016e2: DUP1
000016e3: EXTCODESIZE
000016e4: ISZERO
000016e5: ISZERO
000016e6: PUSH2 0x16ee
000016e9: JUMPI
000016ea: PUSH1 0x00
000016ec: DUP1
000016ed: REVERT
000016ee: JUMPDEST
000016ef: PUSH2 0x02c6
000016f2: GAS
000016f3: SUB
000016f4: CALL
000016f5: ISZERO
000016f6: ISZERO
000016f7: PUSH2 0x16ff
000016fa: JUMPI
000016fb: PUSH1 0x00
000016fd: DUP1
000016fe: REVERT
000016ff: JUMPDEST
00001700: POP
00001701: POP
00001702: POP
00001703: PUSH1 0x40
00001705: MLOAD
00001706: DUP1
00001707: MLOAD
00001708: SWAP1
00001709: POP
0000170a: PUSH1 0x00
0000170c: PUSH1 0x40
0000170e: MLOAD
0000170f: PUSH1 0x20
00001711: ADD
00001712: MSTORE
00001713: PUSH1 0x40
00001715: MLOAD
00001716: DUP4
00001717: PUSH4 0xffffffff
0000171c: AND
0000171d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000173b: MUL
0000173c: DUP2
0000173d: MSTORE
0000173e: PUSH1 0x04
00001740: ADD
00001741: DUP1
00001742: DUP4
00001743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001758: AND
00001759: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176e: AND
0000176f: DUP2
00001770: MSTORE
00001771: PUSH1 0x20
00001773: ADD
00001774: DUP3
00001775: DUP2
00001776: MSTORE
00001777: PUSH1 0x20
00001779: ADD
0000177a: SWAP3
0000177b: POP
0000177c: POP
0000177d: POP
0000177e: PUSH1 0x20
00001780: PUSH1 0x40
00001782: MLOAD
00001783: DUP1
00001784: DUP4
00001785: SUB
00001786: DUP2
00001787: PUSH1 0x00
00001789: DUP8
0000178a: DUP1
0000178b: EXTCODESIZE
0000178c: ISZERO
0000178d: ISZERO
0000178e: PUSH2 0x1796
00001791: JUMPI
00001792: PUSH1 0x00
00001794: DUP1
00001795: REVERT
00001796: JUMPDEST
00001797: PUSH2 0x02c6
0000179a: GAS
0000179b: SUB
0000179c: CALL
0000179d: ISZERO
0000179e: ISZERO
0000179f: PUSH2 0x17a7
000017a2: JUMPI
000017a3: PUSH1 0x00
000017a5: DUP1
000017a6: REVERT
000017a7: JUMPDEST
000017a8: POP
000017a9: POP
000017aa: POP
000017ab: PUSH1 0x40
000017ad: MLOAD
000017ae: DUP1
000017af: MLOAD
000017b0: SWAP1
000017b1: POP
000017b2: POP
000017b3: JUMPDEST
000017b4: JUMP
000017b5: JUMPDEST
000017b6: PUSH1 0x0c
000017b8: DUP1
000017b9: SLOAD
000017ba: PUSH1 0x01
000017bc: DUP2
000017bd: PUSH1 0x01
000017bf: AND
000017c0: ISZERO
000017c1: PUSH2 0x0100
000017c4: MUL
000017c5: SUB
000017c6: AND
000017c7: PUSH1 0x02
000017c9: SWAP1
000017ca: DIV
000017cb: DUP1
000017cc: PUSH1 0x1f
000017ce: ADD
000017cf: PUSH1 0x20
000017d1: DUP1
000017d2: SWAP2
000017d3: DIV
000017d4: MUL
000017d5: PUSH1 0x20
000017d7: ADD
000017d8: PUSH1 0x40
000017da: MLOAD
000017db: SWAP1
000017dc: DUP2
000017dd: ADD
000017de: PUSH1 0x40
000017e0: MSTORE
000017e1: DUP1
000017e2: SWAP3
000017e3: SWAP2
000017e4: SWAP1
000017e5: DUP2
000017e6: DUP2
000017e7: MSTORE
000017e8: PUSH1 0x20
000017ea: ADD
000017eb: DUP3
000017ec: DUP1
000017ed: SLOAD
000017ee: PUSH1 0x01
000017f0: DUP2
000017f1: PUSH1 0x01
000017f3: AND
000017f4: ISZERO
000017f5: PUSH2 0x0100
000017f8: MUL
000017f9: SUB
000017fa: AND
000017fb: PUSH1 0x02
000017fd: SWAP1
000017fe: DIV
000017ff: DUP1
00001800: ISZERO
00001801: PUSH2 0x184b
00001804: JUMPI
00001805: DUP1
00001806: PUSH1 0x1f
00001808: LT
00001809: PUSH2 0x1820
0000180c: JUMPI
0000180d: PUSH2 0x0100
00001810: DUP1
00001811: DUP4
00001812: SLOAD
00001813: DIV
00001814: MUL
00001815: DUP4
00001816: MSTORE
00001817: SWAP2
00001818: PUSH1 0x20
0000181a: ADD
0000181b: SWAP2
0000181c: PUSH2 0x184b
0000181f: JUMP
00001820: JUMPDEST
00001821: DUP3
00001822: ADD
00001823: SWAP2
00001824: SWAP1
00001825: PUSH1 0x00
00001827: MSTORE
00001828: PUSH1 0x20
0000182a: PUSH1 0x00
0000182c: KECCAK256
0000182d: SWAP1
0000182e: JUMPDEST
0000182f: DUP2
00001830: SLOAD
00001831: DUP2
00001832: MSTORE
00001833: SWAP1
00001834: PUSH1 0x01
00001836: ADD
00001837: SWAP1
00001838: PUSH1 0x20
0000183a: ADD
0000183b: DUP1
0000183c: DUP4
0000183d: GT
0000183e: PUSH2 0x182e
00001841: JUMPI
00001842: DUP3
00001843: SWAP1
00001844: SUB
00001845: PUSH1 0x1f
00001847: AND
00001848: DUP3
00001849: ADD
0000184a: SWAP2
0000184b: JUMPDEST
0000184c: POP
0000184d: POP
0000184e: POP
0000184f: POP
00001850: POP
00001851: DUP2
00001852: JUMP
00001853: JUMPDEST
00001854: PUSH1 0x0e
00001856: PUSH1 0x01
00001858: SWAP1
00001859: SLOAD
0000185a: SWAP1
0000185b: PUSH2 0x0100
0000185e: EXP
0000185f: SWAP1
00001860: DIV
00001861: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001876: AND
00001877: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000188c: AND
0000188d: CALLER
0000188e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a3: AND
000018a4: EQ
000018a5: ISZERO
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: DUP1
000018b1: PUSH1 0x0e
000018b3: PUSH1 0x01
000018b5: PUSH2 0x0100
000018b8: EXP
000018b9: DUP2
000018ba: SLOAD
000018bb: DUP2
000018bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d1: MUL
000018d2: NOT
000018d3: AND
000018d4: SWAP1
000018d5: DUP4
000018d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018eb: AND
000018ec: MUL
000018ed: OR
000018ee: SWAP1
000018ef: SSTORE
000018f0: POP
000018f1: POP
000018f2: JUMP
000018f3: JUMPDEST
000018f4: PUSH1 0x0b
000018f6: SLOAD
000018f7: DUP2
000018f8: JUMP
000018f9: JUMPDEST
000018fa: PUSH1 0x0e
000018fc: PUSH1 0x01
000018fe: SWAP1
000018ff: SLOAD
00001900: SWAP1
00001901: PUSH2 0x0100
00001904: EXP
00001905: SWAP1
00001906: DIV
00001907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000191c: AND
0000191d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001932: AND
00001933: CALLER
00001934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001949: AND
0000194a: EQ
0000194b: ISZERO
0000194c: ISZERO
0000194d: PUSH2 0x1955
00001950: JUMPI
00001951: PUSH1 0x00
00001953: DUP1
00001954: REVERT
00001955: JUMPDEST
00001956: PUSH1 0x01
00001958: PUSH1 0x0e
0000195a: PUSH1 0x00
0000195c: PUSH2 0x0100
0000195f: EXP
00001960: DUP2
00001961: SLOAD
00001962: DUP2
00001963: PUSH1 0xff
00001965: MUL
00001966: NOT
00001967: AND
00001968: SWAP1
00001969: DUP4
0000196a: ISZERO
0000196b: ISZERO
0000196c: MUL
0000196d: OR
0000196e: SWAP1
0000196f: SSTORE
00001970: POP
00001971: JUMP
00001972: JUMPDEST
00001973: PUSH1 0x00
00001975: DUP2
00001976: EXTCODESIZE
00001977: SWAP1
00001978: POP
00001979: SWAP2
0000197a: SWAP1
0000197b: POP
0000197c: JUMP
0000197d: JUMPDEST
0000197e: PUSH1 0x00
00001980: DUP1
00001981: PUSH2 0x199d
00001984: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
00001999: PUSH2 0x1972
0000199c: JUMP
0000199d: JUMPDEST
0000199e: GT
0000199f: ISZERO
000019a0: PUSH2 0x1a3e
000019a3: JUMPI
000019a4: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed
000019b9: PUSH1 0x00
000019bb: DUP1
000019bc: PUSH2 0x0100
000019bf: EXP
000019c0: DUP2
000019c1: SLOAD
000019c2: DUP2
000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d8: MUL
000019d9: NOT
000019da: AND
000019db: SWAP1
000019dc: DUP4
000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f2: AND
000019f3: MUL
000019f4: OR
000019f5: SWAP1
000019f6: SSTORE
000019f7: POP
000019f8: PUSH2 0x1a35
000019fb: PUSH1 0x40
000019fd: DUP1
000019fe: MLOAD
000019ff: SWAP1
00001a00: DUP2
00001a01: ADD
00001a02: PUSH1 0x40
00001a04: MSTORE
00001a05: DUP1
00001a06: PUSH1 0x0b
00001a08: DUP2
00001a09: MSTORE
00001a0a: PUSH1 0x20
00001a0c: ADD
00001a0d: PUSH32 0x6574685f6d61696e6e6574000000000000000000000000000000000000000000
00001a2e: DUP2
00001a2f: MSTORE
00001a30: POP
00001a31: PUSH2 0x219f
00001a34: JUMP
00001a35: JUMPDEST
00001a36: PUSH1 0x01
00001a38: SWAP1
00001a39: POP
00001a3a: PUSH2 0x1e09
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x00
00001a41: PUSH2 0x1a5d
00001a44: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00001a59: PUSH2 0x1972
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: GT
00001a5f: ISZERO
00001a60: PUSH2 0x1afe
00001a63: JUMPI
00001a64: PUSH20 0xc03a2615d5efaf5f49f60b7bb6583eaec212fdf1
00001a79: PUSH1 0x00
00001a7b: DUP1
00001a7c: PUSH2 0x0100
00001a7f: EXP
00001a80: DUP2
00001a81: SLOAD
00001a82: DUP2
00001a83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a98: MUL
00001a99: NOT
00001a9a: AND
00001a9b: SWAP1
00001a9c: DUP4
00001a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab2: AND
00001ab3: MUL
00001ab4: OR
00001ab5: SWAP1
00001ab6: SSTORE
00001ab7: POP
00001ab8: PUSH2 0x1af5
00001abb: PUSH1 0x40
00001abd: DUP1
00001abe: MLOAD
00001abf: SWAP1
00001ac0: DUP2
00001ac1: ADD
00001ac2: PUSH1 0x40
00001ac4: MSTORE
00001ac5: DUP1
00001ac6: PUSH1 0x0c
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x20
00001acc: ADD
00001acd: PUSH32 0x6574685f726f707374656e330000000000000000000000000000000000000000
00001aee: DUP2
00001aef: MSTORE
00001af0: POP
00001af1: PUSH2 0x219f
00001af4: JUMP
00001af5: JUMPDEST
00001af6: PUSH1 0x01
00001af8: SWAP1
00001af9: POP
00001afa: PUSH2 0x1e09
00001afd: JUMP
00001afe: JUMPDEST
00001aff: PUSH1 0x00
00001b01: PUSH2 0x1b1d
00001b04: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
00001b19: PUSH2 0x1972
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: GT
00001b1f: ISZERO
00001b20: PUSH2 0x1bbe
00001b23: JUMPI
00001b24: PUSH20 0xb7a07bcf2ba2f2703b24c0691b5278999c59ac7e
00001b39: PUSH1 0x00
00001b3b: DUP1
00001b3c: PUSH2 0x0100
00001b3f: EXP
00001b40: DUP2
00001b41: SLOAD
00001b42: DUP2
00001b43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b58: MUL
00001b59: NOT
00001b5a: AND
00001b5b: SWAP1
00001b5c: DUP4
00001b5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b72: AND
00001b73: MUL
00001b74: OR
00001b75: SWAP1
00001b76: SSTORE
00001b77: POP
00001b78: PUSH2 0x1bb5
00001b7b: PUSH1 0x40
00001b7d: DUP1
00001b7e: MLOAD
00001b7f: SWAP1
00001b80: DUP2
00001b81: ADD
00001b82: PUSH1 0x40
00001b84: MSTORE
00001b85: DUP1
00001b86: PUSH1 0x09
00001b88: DUP2
00001b89: MSTORE
00001b8a: PUSH1 0x20
00001b8c: ADD
00001b8d: PUSH32 0x6574685f6b6f76616e0000000000000000000000000000000000000000000000
00001bae: DUP2
00001baf: MSTORE
00001bb0: POP
00001bb1: PUSH2 0x219f
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH1 0x01
00001bb8: SWAP1
00001bb9: POP
00001bba: PUSH2 0x1e09
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH1 0x00
00001bc1: PUSH2 0x1bdd
00001bc4: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00001bd9: PUSH2 0x1972
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: GT
00001bdf: ISZERO
00001be0: PUSH2 0x1c7e
00001be3: JUMPI
00001be4: PUSH20 0x146500cfd35b22e4a392fe0adc06de1a1368ed48
00001bf9: PUSH1 0x00
00001bfb: DUP1
00001bfc: PUSH2 0x0100
00001bff: EXP
00001c00: DUP2
00001c01: SLOAD
00001c02: DUP2
00001c03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c18: MUL
00001c19: NOT
00001c1a: AND
00001c1b: SWAP1
00001c1c: DUP4
00001c1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c32: AND
00001c33: MUL
00001c34: OR
00001c35: SWAP1
00001c36: SSTORE
00001c37: POP
00001c38: PUSH2 0x1c75
00001c3b: PUSH1 0x40
00001c3d: DUP1
00001c3e: MLOAD
00001c3f: SWAP1
00001c40: DUP2
00001c41: ADD
00001c42: PUSH1 0x40
00001c44: MSTORE
00001c45: DUP1
00001c46: PUSH1 0x0b
00001c48: DUP2
00001c49: MSTORE
00001c4a: PUSH1 0x20
00001c4c: ADD
00001c4d: PUSH32 0x6574685f72696e6b656279000000000000000000000000000000000000000000
00001c6e: DUP2
00001c6f: MSTORE
00001c70: POP
00001c71: PUSH2 0x219f
00001c74: JUMP
00001c75: JUMPDEST
00001c76: PUSH1 0x01
00001c78: SWAP1
00001c79: POP
00001c7a: PUSH2 0x1e09
00001c7d: JUMP
00001c7e: JUMPDEST
00001c7f: PUSH1 0x00
00001c81: PUSH2 0x1c9d
00001c84: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00001c99: PUSH2 0x1972
00001c9c: JUMP
00001c9d: JUMPDEST
00001c9e: GT
00001c9f: ISZERO
00001ca0: PUSH2 0x1d00
00001ca3: JUMPI
00001ca4: PUSH20 0x6f485c8bf6fc43ea212e93bbf8ce046c7f1cb475
00001cb9: PUSH1 0x00
00001cbb: DUP1
00001cbc: PUSH2 0x0100
00001cbf: EXP
00001cc0: DUP2
00001cc1: SLOAD
00001cc2: DUP2
00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd8: MUL
00001cd9: NOT
00001cda: AND
00001cdb: SWAP1
00001cdc: DUP4
00001cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf2: AND
00001cf3: MUL
00001cf4: OR
00001cf5: SWAP1
00001cf6: SSTORE
00001cf7: POP
00001cf8: PUSH1 0x01
00001cfa: SWAP1
00001cfb: POP
00001cfc: PUSH2 0x1e09
00001cff: JUMP
00001d00: JUMPDEST
00001d01: PUSH1 0x00
00001d03: PUSH2 0x1d1f
00001d06: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00001d1b: PUSH2 0x1972
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: GT
00001d21: ISZERO
00001d22: PUSH2 0x1d82
00001d25: JUMPI
00001d26: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf
00001d3b: PUSH1 0x00
00001d3d: DUP1
00001d3e: PUSH2 0x0100
00001d41: EXP
00001d42: DUP2
00001d43: SLOAD
00001d44: DUP2
00001d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d5a: MUL
00001d5b: NOT
00001d5c: AND
00001d5d: SWAP1
00001d5e: DUP4
00001d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d74: AND
00001d75: MUL
00001d76: OR
00001d77: SWAP1
00001d78: SSTORE
00001d79: POP
00001d7a: PUSH1 0x01
00001d7c: SWAP1
00001d7d: POP
00001d7e: PUSH2 0x1e09
00001d81: JUMP
00001d82: JUMPDEST
00001d83: PUSH1 0x00
00001d85: PUSH2 0x1da1
00001d88: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001d9d: PUSH2 0x1972
00001da0: JUMP
00001da1: JUMPDEST
00001da2: GT
00001da3: ISZERO
00001da4: PUSH2 0x1e04
00001da7: JUMPI
00001da8: PUSH20 0x51efaf4c8b3c9afbd5ab9f4bbc82784ab6ef8faa
00001dbd: PUSH1 0x00
00001dbf: DUP1
00001dc0: PUSH2 0x0100
00001dc3: EXP
00001dc4: DUP2
00001dc5: SLOAD
00001dc6: DUP2
00001dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ddc: MUL
00001ddd: NOT
00001dde: AND
00001ddf: SWAP1
00001de0: DUP4
00001de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df6: AND
00001df7: MUL
00001df8: OR
00001df9: SWAP1
00001dfa: SSTORE
00001dfb: POP
00001dfc: PUSH1 0x01
00001dfe: SWAP1
00001dff: POP
00001e00: PUSH2 0x1e09
00001e03: JUMP
00001e04: JUMPDEST
00001e05: PUSH1 0x00
00001e07: SWAP1
00001e08: POP
00001e09: JUMPDEST
00001e0a: SWAP2
00001e0b: SWAP1
00001e0c: POP
00001e0d: JUMP
00001e0e: JUMPDEST
00001e0f: PUSH1 0x00
00001e11: DUP1
00001e12: PUSH1 0x00
00001e14: DUP1
00001e15: SWAP1
00001e16: SLOAD
00001e17: SWAP1
00001e18: PUSH2 0x0100
00001e1b: EXP
00001e1c: SWAP1
00001e1d: DIV
00001e1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e33: AND
00001e34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e49: AND
00001e4a: EQ
00001e4b: DUP1
00001e4c: PUSH2 0x1e7e
00001e4f: JUMPI
00001e50: POP
00001e51: PUSH1 0x00
00001e53: PUSH2 0x1e7c
00001e56: PUSH1 0x00
00001e58: DUP1
00001e59: SWAP1
00001e5a: SLOAD
00001e5b: SWAP1
00001e5c: PUSH2 0x0100
00001e5f: EXP
00001e60: SWAP1
00001e61: DIV
00001e62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e77: AND
00001e78: PUSH2 0x1972
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: EQ
00001e7e: JUMPDEST
00001e7f: ISZERO
00001e80: PUSH2 0x1e8f
00001e83: JUMPI
00001e84: PUSH2 0x1e8d
00001e87: PUSH1 0x00
00001e89: PUSH2 0x197d
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: POP
00001e8f: JUMPDEST
00001e90: PUSH1 0x00
00001e92: DUP1
00001e93: SWAP1
00001e94: SLOAD
00001e95: SWAP1
00001e96: PUSH2 0x0100
00001e99: EXP
00001e9a: SWAP1
00001e9b: DIV
00001e9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb1: AND
00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec7: AND
00001ec8: PUSH4 0x38cc4831
00001ecd: PUSH1 0x00
00001ecf: PUSH1 0x40
00001ed1: MLOAD
00001ed2: PUSH1 0x20
00001ed4: ADD
00001ed5: MSTORE
00001ed6: PUSH1 0x40
00001ed8: MLOAD
00001ed9: DUP2
00001eda: PUSH4 0xffffffff
00001edf: AND
00001ee0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001efe: MUL
00001eff: DUP2
00001f00: MSTORE
00001f01: PUSH1 0x04
00001f03: ADD
00001f04: PUSH1 0x20
00001f06: PUSH1 0x40
00001f08: MLOAD
00001f09: DUP1
00001f0a: DUP4
00001f0b: SUB
00001f0c: DUP2
00001f0d: PUSH1 0x00
00001f0f: DUP8
00001f10: DUP1
00001f11: EXTCODESIZE
00001f12: ISZERO
00001f13: ISZERO
00001f14: PUSH2 0x1f1c
00001f17: JUMPI
00001f18: PUSH1 0x00
00001f1a: DUP1
00001f1b: REVERT
00001f1c: JUMPDEST
00001f1d: PUSH2 0x02c6
00001f20: GAS
00001f21: SUB
00001f22: CALL
00001f23: ISZERO
00001f24: ISZERO
00001f25: PUSH2 0x1f2d
00001f28: JUMPI
00001f29: PUSH1 0x00
00001f2b: DUP1
00001f2c: REVERT
00001f2d: JUMPDEST
00001f2e: POP
00001f2f: POP
00001f30: POP
00001f31: PUSH1 0x40
00001f33: MLOAD
00001f34: DUP1
00001f35: MLOAD
00001f36: SWAP1
00001f37: POP
00001f38: PUSH1 0x01
00001f3a: PUSH1 0x00
00001f3c: PUSH2 0x0100
00001f3f: EXP
00001f40: DUP2
00001f41: SLOAD
00001f42: DUP2
00001f43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f58: MUL
00001f59: NOT
00001f5a: AND
00001f5b: SWAP1
00001f5c: DUP4
00001f5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f72: AND
00001f73: MUL
00001f74: OR
00001f75: SWAP1
00001f76: SSTORE
00001f77: POP
00001f78: PUSH1 0x01
00001f7a: PUSH1 0x00
00001f7c: SWAP1
00001f7d: SLOAD
00001f7e: SWAP1
00001f7f: PUSH2 0x0100
00001f82: EXP
00001f83: SWAP1
00001f84: DIV
00001f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9a: AND
00001f9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb0: AND
00001fb1: PUSH4 0xc281d19e
00001fb6: PUSH1 0x00
00001fb8: PUSH1 0x40
00001fba: MLOAD
00001fbb: PUSH1 0x20
00001fbd: ADD
00001fbe: MSTORE
00001fbf: PUSH1 0x40
00001fc1: MLOAD
00001fc2: DUP2
00001fc3: PUSH4 0xffffffff
00001fc8: AND
00001fc9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001fe7: MUL
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH1 0x04
00001fec: ADD
00001fed: PUSH1 0x20
00001fef: PUSH1 0x40
00001ff1: MLOAD
00001ff2: DUP1
00001ff3: DUP4
00001ff4: SUB
00001ff5: DUP2
00001ff6: PUSH1 0x00
00001ff8: DUP8
00001ff9: DUP1
00001ffa: EXTCODESIZE
00001ffb: ISZERO
00001ffc: ISZERO
00001ffd: PUSH2 0x2005
00002000: JUMPI
00002001: PUSH1 0x00
00002003: DUP1
00002004: REVERT
00002005: JUMPDEST
00002006: PUSH2 0x02c6
00002009: GAS
0000200a: SUB
0000200b: CALL
0000200c: ISZERO
0000200d: ISZERO
0000200e: PUSH2 0x2016
00002011: JUMPI
00002012: PUSH1 0x00
00002014: DUP1
00002015: REVERT
00002016: JUMPDEST
00002017: POP
00002018: POP
00002019: POP
0000201a: PUSH1 0x40
0000201c: MLOAD
0000201d: DUP1
0000201e: MLOAD
0000201f: SWAP1
00002020: POP
00002021: SWAP1
00002022: POP
00002023: SWAP1
00002024: JUMP
00002025: JUMPDEST
00002026: PUSH2 0x202d
00002029: PUSH2 0x235e
0000202c: JUMP
0000202d: JUMPDEST
0000202e: PUSH1 0x00
00002030: PUSH1 0x20
00002032: DUP4
00002033: ADD
00002034: SWAP1
00002035: POP
00002036: PUSH1 0x40
00002038: DUP1
00002039: MLOAD
0000203a: SWAP1
0000203b: DUP2
0000203c: ADD
0000203d: PUSH1 0x40
0000203f: MSTORE
00002040: DUP1
00002041: DUP5
00002042: MLOAD
00002043: DUP2
00002044: MSTORE
00002045: PUSH1 0x20
00002047: ADD
00002048: DUP3
00002049: DUP2
0000204a: MSTORE
0000204b: POP
0000204c: SWAP2
0000204d: POP
0000204e: POP
0000204f: SWAP2
00002050: SWAP1
00002051: POP
00002052: JUMP
00002053: JUMPDEST
00002054: PUSH2 0x205b
00002057: PUSH2 0x235e
0000205a: JUMP
0000205b: JUMPDEST
0000205c: PUSH2 0x2066
0000205f: DUP4
00002060: DUP4
00002061: DUP4
00002062: PUSH2 0x21b9
00002065: JUMP
00002066: JUMPDEST
00002067: POP
00002068: SWAP3
00002069: SWAP2
0000206a: POP
0000206b: POP
0000206c: JUMP
0000206d: JUMPDEST
0000206e: PUSH2 0x2075
00002071: PUSH2 0x23f8
00002074: JUMP
00002075: JUMPDEST
00002076: PUSH2 0x207d
00002079: PUSH2 0x23f8
0000207c: JUMP
0000207d: JUMPDEST
0000207e: PUSH1 0x00
00002080: DUP4
00002081: PUSH1 0x00
00002083: ADD
00002084: MLOAD
00002085: PUSH1 0x40
00002087: MLOAD
00002088: DUP1
00002089: MSIZE
0000208a: LT
0000208b: PUSH2 0x2091
0000208e: JUMPI
0000208f: POP
00002090: MSIZE
00002091: JUMPDEST
00002092: SWAP1
00002093: DUP1
00002094: DUP3
00002095: MSTORE
00002096: DUP1
00002097: PUSH1 0x20
00002099: MUL
0000209a: PUSH1 0x20
0000209c: ADD
0000209d: DUP3
0000209e: ADD
0000209f: PUSH1 0x40
000020a1: MSTORE
000020a2: POP
000020a3: SWAP2
000020a4: POP
000020a5: PUSH1 0x20
000020a7: DUP3
000020a8: ADD
000020a9: SWAP1
000020aa: POP
000020ab: PUSH2 0x20bd
000020ae: DUP2
000020af: DUP6
000020b0: PUSH1 0x20
000020b2: ADD
000020b3: MLOAD
000020b4: DUP7
000020b5: PUSH1 0x00
000020b7: ADD
000020b8: MLOAD
000020b9: PUSH2 0x2257
000020bc: JUMP
000020bd: JUMPDEST
000020be: DUP2
000020bf: SWAP3
000020c0: POP
000020c1: POP
000020c2: POP
000020c3: SWAP2
000020c4: SWAP1
000020c5: POP
000020c6: JUMP
000020c7: JUMPDEST
000020c8: PUSH1 0x00
000020ca: PUSH2 0x20d1
000020cd: PUSH2 0x240c
000020d0: JUMP
000020d1: JUMPDEST
000020d2: PUSH1 0x00
000020d4: DUP1
000020d5: DUP5
000020d6: SWAP3
000020d7: POP
000020d8: PUSH1 0x00
000020da: SWAP4
000020db: POP
000020dc: PUSH1 0x00
000020de: SWAP2
000020df: POP
000020e0: JUMPDEST
000020e1: DUP3
000020e2: MLOAD
000020e3: DUP3
000020e4: LT
000020e5: ISZERO
000020e6: PUSH2 0x2197
000020e9: JUMPI
000020ea: DUP3
000020eb: DUP3
000020ec: DUP2
000020ed: MLOAD
000020ee: DUP2
000020ef: LT
000020f0: ISZERO
000020f1: ISZERO
000020f2: PUSH2 0x20f7
000020f5: JUMPI
000020f6: INVALID
000020f7: JUMPDEST
000020f8: SWAP1
000020f9: PUSH1 0x20
000020fb: ADD
000020fc: ADD
000020fd: MLOAD
000020fe: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
0000211f: SWAP1
00002120: DIV
00002121: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002142: MUL
00002143: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002164: SWAP1
00002165: DIV
00002166: SWAP1
00002167: POP
00002168: PUSH1 0x30
0000216a: DUP2
0000216b: LT
0000216c: ISZERO
0000216d: DUP1
0000216e: ISZERO
0000216f: PUSH2 0x2179
00002172: JUMPI
00002173: POP
00002174: PUSH1 0x39
00002176: DUP2
00002177: GT
00002178: ISZERO
00002179: JUMPDEST
0000217a: ISZERO
0000217b: PUSH2 0x218a
0000217e: JUMPI
0000217f: PUSH1 0x30
00002181: DUP2
00002182: SUB
00002183: PUSH1 0x0a
00002185: DUP6
00002186: MUL
00002187: ADD
00002188: SWAP4
00002189: POP
0000218a: JUMPDEST
0000218b: DUP2
0000218c: DUP1
0000218d: PUSH1 0x01
0000218f: ADD
00002190: SWAP3
00002191: POP
00002192: POP
00002193: PUSH2 0x20e0
00002196: JUMP
00002197: JUMPDEST
00002198: POP
00002199: POP
0000219a: POP
0000219b: SWAP2
0000219c: SWAP1
0000219d: POP
0000219e: JUMP
0000219f: JUMPDEST
000021a0: DUP1
000021a1: PUSH1 0x02
000021a3: SWAP1
000021a4: DUP1
000021a5: MLOAD
000021a6: SWAP1
000021a7: PUSH1 0x20
000021a9: ADD
000021aa: SWAP1
000021ab: PUSH2 0x21b5
000021ae: SWAP3
000021af: SWAP2
000021b0: SWAP1
000021b1: PUSH2 0x2378
000021b4: JUMP
000021b5: JUMPDEST
000021b6: POP
000021b7: POP
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH2 0x21c1
000021bd: PUSH2 0x235e
000021c0: JUMP
000021c1: JUMPDEST
000021c2: PUSH1 0x00
000021c4: PUSH2 0x21df
000021c7: DUP6
000021c8: PUSH1 0x00
000021ca: ADD
000021cb: MLOAD
000021cc: DUP7
000021cd: PUSH1 0x20
000021cf: ADD
000021d0: MLOAD
000021d1: DUP7
000021d2: PUSH1 0x00
000021d4: ADD
000021d5: MLOAD
000021d6: DUP8
000021d7: PUSH1 0x20
000021d9: ADD
000021da: MLOAD
000021db: PUSH2 0x22a2
000021de: JUMP
000021df: JUMPDEST
000021e0: SWAP1
000021e1: POP
000021e2: DUP5
000021e3: PUSH1 0x20
000021e5: ADD
000021e6: MLOAD
000021e7: DUP4
000021e8: PUSH1 0x20
000021ea: ADD
000021eb: DUP2
000021ec: DUP2
000021ed: MSTORE
000021ee: POP
000021ef: POP
000021f0: DUP5
000021f1: PUSH1 0x20
000021f3: ADD
000021f4: MLOAD
000021f5: DUP2
000021f6: SUB
000021f7: DUP4
000021f8: PUSH1 0x00
000021fa: ADD
000021fb: DUP2
000021fc: DUP2
000021fd: MSTORE
000021fe: POP
000021ff: POP
00002200: DUP5
00002201: PUSH1 0x00
00002203: ADD
00002204: MLOAD
00002205: DUP6
00002206: PUSH1 0x20
00002208: ADD
00002209: MLOAD
0000220a: ADD
0000220b: DUP2
0000220c: EQ
0000220d: ISZERO
0000220e: PUSH2 0x2221
00002211: JUMPI
00002212: PUSH1 0x00
00002214: DUP6
00002215: PUSH1 0x00
00002217: ADD
00002218: DUP2
00002219: DUP2
0000221a: MSTORE
0000221b: POP
0000221c: POP
0000221d: PUSH2 0x224c
00002220: JUMP
00002221: JUMPDEST
00002222: DUP4
00002223: PUSH1 0x00
00002225: ADD
00002226: MLOAD
00002227: DUP4
00002228: PUSH1 0x00
0000222a: ADD
0000222b: MLOAD
0000222c: ADD
0000222d: DUP6
0000222e: PUSH1 0x00
00002230: ADD
00002231: DUP2
00002232: DUP2
00002233: MLOAD
00002234: SUB
00002235: SWAP2
00002236: POP
00002237: DUP2
00002238: DUP2
00002239: MSTORE
0000223a: POP
0000223b: POP
0000223c: DUP4
0000223d: PUSH1 0x00
0000223f: ADD
00002240: MLOAD
00002241: DUP2
00002242: ADD
00002243: DUP6
00002244: PUSH1 0x20
00002246: ADD
00002247: DUP2
00002248: DUP2
00002249: MSTORE
0000224a: POP
0000224b: POP
0000224c: JUMPDEST
0000224d: DUP3
0000224e: SWAP2
0000224f: POP
00002250: POP
00002251: SWAP4
00002252: SWAP3
00002253: POP
00002254: POP
00002255: POP
00002256: JUMP
00002257: JUMPDEST
00002258: PUSH1 0x00
0000225a: JUMPDEST
0000225b: PUSH1 0x20
0000225d: DUP3
0000225e: LT
0000225f: ISZERO
00002260: ISZERO
00002261: PUSH2 0x227f
00002264: JUMPI
00002265: DUP3
00002266: MLOAD
00002267: DUP5
00002268: MSTORE
00002269: PUSH1 0x20
0000226b: DUP5
0000226c: ADD
0000226d: SWAP4
0000226e: POP
0000226f: PUSH1 0x20
00002271: DUP4
00002272: ADD
00002273: SWAP3
00002274: POP
00002275: PUSH1 0x20
00002277: DUP3
00002278: SUB
00002279: SWAP2
0000227a: POP
0000227b: PUSH2 0x225a
0000227e: JUMP
0000227f: JUMPDEST
00002280: PUSH1 0x01
00002282: DUP3
00002283: PUSH1 0x20
00002285: SUB
00002286: PUSH2 0x0100
00002289: EXP
0000228a: SUB
0000228b: SWAP1
0000228c: POP
0000228d: DUP1
0000228e: NOT
0000228f: DUP4
00002290: MLOAD
00002291: AND
00002292: DUP2
00002293: DUP6
00002294: MLOAD
00002295: AND
00002296: DUP2
00002297: DUP2
00002298: OR
00002299: DUP7
0000229a: MSTORE
0000229b: POP
0000229c: POP
0000229d: POP
0000229e: POP
0000229f: POP
000022a0: POP
000022a1: JUMP
000022a2: JUMPDEST
000022a3: PUSH1 0x00
000022a5: DUP1
000022a6: PUSH1 0x00
000022a8: DUP1
000022a9: PUSH1 0x00
000022ab: DUP9
000022ac: DUP8
000022ad: GT
000022ae: ISZERO
000022af: ISZERO
000022b0: PUSH2 0x234c
000022b3: JUMPI
000022b4: PUSH1 0x20
000022b6: DUP8
000022b7: GT
000022b8: ISZERO
000022b9: ISZERO
000022ba: PUSH2 0x2303
000022bd: JUMPI
000022be: PUSH1 0x01
000022c0: DUP8
000022c1: PUSH1 0x20
000022c3: SUB
000022c4: PUSH1 0x08
000022c6: MUL
000022c7: PUSH1 0x02
000022c9: EXP
000022ca: SUB
000022cb: NOT
000022cc: DUP1
000022cd: DUP8
000022ce: MLOAD
000022cf: AND
000022d0: DUP9
000022d1: DUP12
000022d2: SUB
000022d3: DUP11
000022d4: ADD
000022d5: DUP11
000022d6: SWAP7
000022d7: POP
000022d8: JUMPDEST
000022d9: DUP2
000022da: DUP4
000022db: DUP9
000022dc: MLOAD
000022dd: AND
000022de: EQ
000022df: PUSH2 0x22f8
000022e2: JUMPI
000022e3: PUSH1 0x01
000022e5: DUP8
000022e6: ADD
000022e7: SWAP7
000022e8: POP
000022e9: DUP1
000022ea: PUSH1 0x01
000022ec: DUP9
000022ed: SUB
000022ee: LT
000022ef: PUSH2 0x22d8
000022f2: JUMPI
000022f3: DUP12
000022f4: DUP12
000022f5: ADD
000022f6: SWAP7
000022f7: POP
000022f8: JUMPDEST
000022f9: POP
000022fa: POP
000022fb: POP
000022fc: DUP4
000022fd: SWAP5
000022fe: POP
000022ff: PUSH2 0x2352
00002302: JUMP
00002303: JUMPDEST
00002304: DUP7
00002305: DUP7
00002306: KECCAK256
00002307: SWAP2
00002308: POP
00002309: DUP8
0000230a: SWAP4
0000230b: POP
0000230c: PUSH1 0x00
0000230e: SWAP3
0000230f: POP
00002310: JUMPDEST
00002311: DUP7
00002312: DUP10
00002313: SUB
00002314: DUP4
00002315: GT
00002316: ISZERO
00002317: ISZERO
00002318: PUSH2 0x234b
0000231b: JUMPI
0000231c: DUP7
0000231d: DUP5
0000231e: KECCAK256
0000231f: SWAP1
00002320: POP
00002321: DUP1
00002322: PUSH1 0x00
00002324: NOT
00002325: AND
00002326: DUP3
00002327: PUSH1 0x00
00002329: NOT
0000232a: AND
0000232b: EQ
0000232c: ISZERO
0000232d: PUSH2 0x2338
00002330: JUMPI
00002331: DUP4
00002332: SWAP5
00002333: POP
00002334: PUSH2 0x2352
00002337: JUMP
00002338: JUMPDEST
00002339: PUSH1 0x01
0000233b: DUP5
0000233c: ADD
0000233d: SWAP4
0000233e: POP
0000233f: DUP3
00002340: DUP1
00002341: PUSH1 0x01
00002343: ADD
00002344: SWAP4
00002345: POP
00002346: POP
00002347: PUSH2 0x2310
0000234a: JUMP
0000234b: JUMPDEST
0000234c: JUMPDEST
0000234d: DUP9
0000234e: DUP9
0000234f: ADD
00002350: SWAP5
00002351: POP
00002352: JUMPDEST
00002353: POP
00002354: POP
00002355: POP
00002356: POP
00002357: SWAP5
00002358: SWAP4
00002359: POP
0000235a: POP
0000235b: POP
0000235c: POP
0000235d: JUMP
0000235e: JUMPDEST
0000235f: PUSH1 0x40
00002361: DUP1
00002362: MLOAD
00002363: SWAP1
00002364: DUP2
00002365: ADD
00002366: PUSH1 0x40
00002368: MSTORE
00002369: DUP1
0000236a: PUSH1 0x00
0000236c: DUP2
0000236d: MSTORE
0000236e: PUSH1 0x20
00002370: ADD
00002371: PUSH1 0x00
00002373: DUP2
00002374: MSTORE
00002375: POP
00002376: SWAP1
00002377: JUMP
00002378: JUMPDEST
00002379: DUP3
0000237a: DUP1
0000237b: SLOAD
0000237c: PUSH1 0x01
0000237e: DUP2
0000237f: PUSH1 0x01
00002381: AND
00002382: ISZERO
00002383: PUSH2 0x0100
00002386: MUL
00002387: SUB
00002388: AND
00002389: PUSH1 0x02
0000238b: SWAP1
0000238c: DIV
0000238d: SWAP1
0000238e: PUSH1 0x00
00002390: MSTORE
00002391: PUSH1 0x20
00002393: PUSH1 0x00
00002395: KECCAK256
00002396: SWAP1
00002397: PUSH1 0x1f
00002399: ADD
0000239a: PUSH1 0x20
0000239c: SWAP1
0000239d: DIV
0000239e: DUP2
0000239f: ADD
000023a0: SWAP3
000023a1: DUP3
000023a2: PUSH1 0x1f
000023a4: LT
000023a5: PUSH2 0x23b9
000023a8: JUMPI
000023a9: DUP1
000023aa: MLOAD
000023ab: PUSH1 0xff
000023ad: NOT
000023ae: AND
000023af: DUP4
000023b0: DUP1
000023b1: ADD
000023b2: OR
000023b3: DUP6
000023b4: SSTORE
000023b5: PUSH2 0x23e7
000023b8: JUMP
000023b9: JUMPDEST
000023ba: DUP3
000023bb: DUP1
000023bc: ADD
000023bd: PUSH1 0x01
000023bf: ADD
000023c0: DUP6
000023c1: SSTORE
000023c2: DUP3
000023c3: ISZERO
000023c4: PUSH2 0x23e7
000023c7: JUMPI
000023c8: SWAP2
000023c9: DUP3
000023ca: ADD
000023cb: JUMPDEST
000023cc: DUP3
000023cd: DUP2
000023ce: GT
000023cf: ISZERO
000023d0: PUSH2 0x23e6
000023d3: JUMPI
000023d4: DUP3
000023d5: MLOAD
000023d6: DUP3
000023d7: SSTORE
000023d8: SWAP2
000023d9: PUSH1 0x20
000023db: ADD
000023dc: SWAP2
000023dd: SWAP1
000023de: PUSH1 0x01
000023e0: ADD
000023e1: SWAP1
000023e2: PUSH2 0x23cb
000023e5: JUMP
000023e6: JUMPDEST
000023e7: JUMPDEST
000023e8: POP
000023e9: SWAP1
000023ea: POP
000023eb: PUSH2 0x23f4
000023ee: SWAP2
000023ef: SWAP1
000023f0: PUSH2 0x2420
000023f3: JUMP
000023f4: JUMPDEST
000023f5: POP
000023f6: SWAP1
000023f7: JUMP
000023f8: JUMPDEST
000023f9: PUSH1 0x20
000023fb: PUSH1 0x40
000023fd: MLOAD
000023fe: SWAP1
000023ff: DUP2
00002400: ADD
00002401: PUSH1 0x40
00002403: MSTORE
00002404: DUP1
00002405: PUSH1 0x00
00002407: DUP2
00002408: MSTORE
00002409: POP
0000240a: SWAP1
0000240b: JUMP
0000240c: JUMPDEST
0000240d: PUSH1 0x20
0000240f: PUSH1 0x40
00002411: MLOAD
00002412: SWAP1
00002413: DUP2
00002414: ADD
00002415: PUSH1 0x40
00002417: MSTORE
00002418: DUP1
00002419: PUSH1 0x00
0000241b: DUP2
0000241c: MSTORE
0000241d: POP
0000241e: SWAP1
0000241f: JUMP
00002420: JUMPDEST
00002421: PUSH2 0x2442
00002424: SWAP2
00002425: SWAP1
00002426: JUMPDEST
00002427: DUP1
00002428: DUP3
00002429: GT
0000242a: ISZERO
0000242b: PUSH2 0x243e
0000242e: JUMPI
0000242f: PUSH1 0x00
00002431: DUP2
00002432: PUSH1 0x00
00002434: SWAP1
00002435: SSTORE
00002436: POP
00002437: PUSH1 0x01
00002439: ADD
0000243a: PUSH2 0x2426
0000243d: JUMP
0000243e: JUMPDEST
0000243f: POP
00002440: SWAP1
00002441: JUMP
00002442: JUMPDEST
00002443: SWAP1
00002444: JUMP
00002445: JUMPDEST
00002446: PUSH1 0x00
00002448: DUP1
00002449: PUSH1 0x00
0000244b: SWAP1
0000244c: SLOAD
0000244d: SWAP1
0000244e: PUSH2 0x0100
00002451: EXP
00002452: SWAP1
00002453: DIV
00002454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002469: AND
0000246a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000247f: AND
00002480: EQ
00002481: DUP1
00002482: PUSH2 0x24b4
00002485: JUMPI
00002486: POP
00002487: PUSH1 0x00
00002489: PUSH2 0x24b2
0000248c: PUSH1 0x00
0000248e: DUP1
0000248f: SWAP1
00002490: SLOAD
00002491: SWAP1
00002492: PUSH2 0x0100
00002495: EXP
00002496: SWAP1
00002497: DIV
00002498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ad: AND
000024ae: PUSH2 0x1972
000024b1: JUMP
000024b2: JUMPDEST
000024b3: EQ
000024b4: JUMPDEST
000024b5: ISZERO
000024b6: PUSH2 0x24c5
000024b9: JUMPI
000024ba: PUSH2 0x24c3
000024bd: PUSH1 0x00
000024bf: PUSH2 0x197d
000024c2: JUMP
000024c3: JUMPDEST
000024c4: POP
000024c5: JUMPDEST
000024c6: PUSH1 0x00
000024c8: DUP1
000024c9: SWAP1
000024ca: SLOAD
000024cb: SWAP1
000024cc: PUSH2 0x0100
000024cf: EXP
000024d0: SWAP1
000024d1: DIV
000024d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e7: AND
000024e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024fd: AND
000024fe: PUSH4 0x38cc4831
00002503: PUSH1 0x00
00002505: PUSH1 0x40
00002507: MLOAD
00002508: PUSH1 0x20
0000250a: ADD
0000250b: MSTORE
0000250c: PUSH1 0x40
0000250e: MLOAD
0000250f: DUP2
00002510: PUSH4 0xffffffff
00002515: AND
00002516: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002534: MUL
00002535: DUP2
00002536: MSTORE
00002537: PUSH1 0x04
00002539: ADD
0000253a: PUSH1 0x20
0000253c: PUSH1 0x40
0000253e: MLOAD
0000253f: DUP1
00002540: DUP4
00002541: SUB
00002542: DUP2
00002543: PUSH1 0x00
00002545: DUP8
00002546: DUP1
00002547: EXTCODESIZE
00002548: ISZERO
00002549: ISZERO
0000254a: PUSH2 0x2552
0000254d: JUMPI
0000254e: PUSH1 0x00
00002550: DUP1
00002551: REVERT
00002552: JUMPDEST
00002553: PUSH2 0x02c6
00002556: GAS
00002557: SUB
00002558: CALL
00002559: ISZERO
0000255a: ISZERO
0000255b: PUSH2 0x2563
0000255e: JUMPI
0000255f: PUSH1 0x00
00002561: DUP1
00002562: REVERT
00002563: JUMPDEST
00002564: POP
00002565: POP
00002566: POP
00002567: PUSH1 0x40
00002569: MLOAD
0000256a: DUP1
0000256b: MLOAD
0000256c: SWAP1
0000256d: POP
0000256e: PUSH1 0x01
00002570: PUSH1 0x00
00002572: PUSH2 0x0100
00002575: EXP
00002576: DUP2
00002577: SLOAD
00002578: DUP2
00002579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000258e: MUL
0000258f: NOT
00002590: AND
00002591: SWAP1
00002592: DUP4
00002593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a8: AND
000025a9: MUL
000025aa: OR
000025ab: SWAP1
000025ac: SSTORE
000025ad: POP
000025ae: PUSH1 0x01
000025b0: PUSH1 0x00
000025b2: SWAP1
000025b3: SLOAD
000025b4: SWAP1
000025b5: PUSH2 0x0100
000025b8: EXP
000025b9: SWAP1
000025ba: DIV
000025bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025d0: AND
000025d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025e6: AND
000025e7: PUSH4 0x688dcfd7
000025ec: DUP3
000025ed: PUSH1 0x40
000025ef: MLOAD
000025f0: DUP3
000025f1: PUSH4 0xffffffff
000025f6: AND
000025f7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00002615: MUL
00002616: DUP2
00002617: MSTORE
00002618: PUSH1 0x04
0000261a: ADD
0000261b: DUP1
0000261c: DUP3
0000261d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000263d: NOT
0000263e: AND
0000263f: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000265f: NOT
00002660: AND
00002661: DUP2
00002662: MSTORE
00002663: PUSH1 0x20
00002665: ADD
00002666: SWAP2
00002667: POP
00002668: POP
00002669: PUSH1 0x00
0000266b: PUSH1 0x40
0000266d: MLOAD
0000266e: DUP1
0000266f: DUP4
00002670: SUB
00002671: DUP2
00002672: PUSH1 0x00
00002674: DUP8
00002675: DUP1
00002676: EXTCODESIZE
00002677: ISZERO
00002678: ISZERO
00002679: PUSH2 0x2681
0000267c: JUMPI
0000267d: PUSH1 0x00
0000267f: DUP1
00002680: REVERT
00002681: JUMPDEST
00002682: PUSH2 0x02c6
00002685: GAS
00002686: SUB
00002687: CALL
00002688: ISZERO
00002689: ISZERO
0000268a: PUSH2 0x2692
0000268d: JUMPI
0000268e: PUSH1 0x00
00002690: DUP1
00002691: REVERT
00002692: JUMPDEST
00002693: POP
00002694: POP
00002695: POP
00002696: POP
00002697: JUMP
00002698: STOP
00002699: LOG1
0000269a: PUSH6 0x627a7a723058
000026a1: KECCAK256
000026a2: UNKNOWN(0xCE)
000026a3: UNKNOWN(0xC0)
000026a4: UNKNOWN(0xBD)
000026a5: DELEGATECALL
000026a6: UNKNOWN(0xB5)
000026a7: UNKNOWN(0xB0)
000026a8: UNKNOWN(0xFC)
000026a9: PUSH17 0xab7eb0887a8406022096c80be3b3d9e9e0
000026bb: DUP11
000026bc: OR
000026bd: PUSH32
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
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0x3152fbf2a98bbb5214d78dd0239e275791ee596ff09aad0f1b63559e821798ff
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 168,
    "trace_id": "0x3152fbf2a98bbb5214d78dd0239e275791ee596ff09aad0f1b63559e821798ff",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38bbfa50",
            "selector": "0x38bbfa50",
            "calldata_variants": [
                "0x38bbfa50",
                "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63a599a4",
            "selector": "0x63a599a4",
            "calldata_variants": [
                "0x63a599a4",
                "0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x691a5842",
            "selector": "0x691a5842",
            "calldata_variants": [
                "0x691a5842",
                "0x691a58420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75f12b21",
            "selector": "0x75f12b21",
            "calldata_variants": [
                "0x75f12b21",
                "0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x807d2da3",
            "selector": "0x807d2da3",
            "calldata_variants": [
                "0x807d2da3",
                "0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86d1a69f",
            "selector": "0x86d1a69f",
            "calldata_variants": [
                "0x86d1a69f",
                "0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 9893,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 301,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 857,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1418,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4651,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4797,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4974,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5095,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5310,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6285,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6451,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
medium other detector Untrusted CALL target/value reachable 45 yes yes
view
trace_id: 0x1e8b76d6f625d84c741044d6ee9c94a339251895b796eebbaa828929e8549ec6
call_targets: 0x102011cb0f7109e98a4e98dfbacd792bfb343e14, 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x1e8b76d6f625d84c741044d6ee9c94a339251895b796eebbaa828929e8549ec6",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x102011cb0f7109e98a4e98dfbacd792bfb343e14",
        "0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
        "0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38bbfa50",
            "selector": "0x38bbfa50",
            "calldata_variants": [
                "0x38bbfa50",
                "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63a599a4",
            "selector": "0x63a599a4",
            "calldata_variants": [
                "0x63a599a4",
                "0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x691a5842",
            "selector": "0x691a5842",
            "calldata_variants": [
                "0x691a5842",
                "0x691a58420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75f12b21",
            "selector": "0x75f12b21",
            "calldata_variants": [
                "0x75f12b21",
                "0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x807d2da3",
            "selector": "0x807d2da3",
            "calldata_variants": [
                "0x807d2da3",
                "0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86d1a69f",
            "selector": "0x86d1a69f",
            "calldata_variants": [
                "0x86d1a69f",
                "0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2491,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3272,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 13,
    "guards_detected": [
        {
            "pc": 301,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 857,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1418,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4651,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4797,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4974,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5095,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5310,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6285,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6451,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 13
}
medium other detector ETH value transfer possible 40 yes yes
view
trace_id: 0x1e8b76d6f625d84c741044d6ee9c94a339251895b796eebbaa828929e8549ec6
call_targets: 0x102011cb0f7109e98a4e98dfbacd792bfb343e14, 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed, 0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x1e8b76d6f625d84c741044d6ee9c94a339251895b796eebbaa828929e8549ec6",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x102011cb0f7109e98a4e98dfbacd792bfb343e14",
        "0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed",
        "0x3dbdc81a6edc94c720b0b88fb65dbd7e395fdcf6"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x27dc297e",
            "selector": "0x27dc297e",
            "calldata_variants": [
                "0x27dc297e",
                "0x27dc297e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38bbfa50",
            "selector": "0x38bbfa50",
            "calldata_variants": [
                "0x38bbfa50",
                "0x38bbfa500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63a599a4",
            "selector": "0x63a599a4",
            "calldata_variants": [
                "0x63a599a4",
                "0x63a599a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x691a5842",
            "selector": "0x691a5842",
            "calldata_variants": [
                "0x691a5842",
                "0x691a58420000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75f12b21",
            "selector": "0x75f12b21",
            "calldata_variants": [
                "0x75f12b21",
                "0x75f12b210000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x807d2da3",
            "selector": "0x807d2da3",
            "calldata_variants": [
                "0x807d2da3",
                "0x807d2da30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x86d1a69f",
            "selector": "0x86d1a69f",
            "calldata_variants": [
                "0x86d1a69f",
                "0x86d1a69f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2491,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2836,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3272,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 13,
    "guards_detected": [
        {
            "pc": 301,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 857,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1418,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3452,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4651,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4797,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4974,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5095,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 5310,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6285,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 6451,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}