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

Analysis Run

f959ba72-cf3a-4cac-bc77-b15327b49ff0

failed
Chain ID
1
Address
0x36b17ff04654ba7031b1a3d8ead3016a15262287
Block Number
—
Created
Mon, Jan 5, 2026 6:34 AM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
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
31716 report.consolidate complete 1 / 1 3 months ago
95719 artifact.fetch failed 1 / 3 2 weeks ago
95720 tool.cast_disasm complete 1 / 3 2 weeks ago
95721 analysis.bundle complete 1 / 3 2 weeks ago
95722 capability.graph complete 1 / 3 2 weeks ago
95723 detector.run complete 1 / 3 2 weeks ago
95724 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths found in provided sources.
View stderr 
[codex:653477] OpenAI Codex v0.77.0 (research preview)
[codex:653477] --------
[codex:653477] workdir: /tmp/codex-multi-gcs539qt
[codex:653477] model: gpt-5.2-codex
[codex:653477] provider: openai
[codex:653477] approval: never
[codex:653477] sandbox: read-only
[codex:653477] reasoning effort: xhigh
[codex:653477] reasoning summaries: auto
[codex:653477] session id: 019b8cdc-7026-74d3-9dbd-ddbea5b7bf8f
[codex:653477] --------
[codex:653477] user
[codex:653477] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:653477] 
[codex:653477] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:653477] 
[codex:653477] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:653477] - Gas inefficiency, code quality, naming, or best practices
[codex:653477] - Theoretical vulnerabilities without a clear extraction path
[codex:653477] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:653477] - Front-running unless it enables theft beyond MEV
[codex:653477] - DoS, griefing, or issues that don't result in attacker profit
[codex:653477] - Missing events, view function issues, or informational findings
[codex:653477] 
[codex:653477] HIGH-VALUE PATTERNS TO HUNT:
[codex:653477] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:653477] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:653477] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:653477] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:653477] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:653477] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:653477] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:653477] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:653477] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:653477] 
[codex:653477] For each finding, you MUST provide:
[codex:653477] 1. Exact file and line numbers of vulnerable code
[codex:653477] 2. Step-by-step exploit transaction sequence
[codex:653477] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:653477] 
[codex:653477] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:653477] 
[codex:653477] Output MUST be valid JSON matching the provided schema.
[codex:653477] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:653477] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:653477] mcp startup: no servers
[codex:653477] 
[codex:653477] thinking
[codex:653477] **Reviewing instructions and files**
[codex:653477] exec
[codex:653477] /bin/bash -lc ls in /tmp/codex-multi-gcs539qt succeeded in 6ms:
[codex:653477] AUDIT_BUNDLE.txt
[codex:653477] codex-output-schema.json
[codex:653477] contracts
[codex:653477] exec
[codex:653477] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-gcs539qt succeeded in 5ms:
[codex:653477] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:653477] 
[codex:653477] ================================================================================
[codex:653477] FILE: contracts/contracts/noclip.sol
[codex:653477] ================================================================================
[codex:653477] //SPDX-License-Identifier: MIT
[codex:653477] pragma solidity ^0.8.0;
[codex:653477] 
[codex:653477] import "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:653477] 
[codex:653477] interface IUniswapV2Factory {
[codex:653477]     function createPair(address tokenA, address tokenB) external returns (address pair);
[codex:653477] }
[codex:653477] 
[codex:653477] interface IUniswapV2Router {
[codex:653477]     function factory() external view returns (address);
[codex:653477]     function WETH() external view returns (address);    
[codex:653477]     function addLiquidityETH(
[codex:653477]         address token,
[codex:653477]         uint amountTokenDesired,
[codex:653477] 
[codex:653477] thinking
[codex:653477] **Analyzing potential exploit and profit paths**
[codex:653477] 
[codex:653477] I'm examining the contract's minting, transfers, and liquidity logic to find any exploitable profit paths like reentrancy or arithmetic flaws. After a detailed check, including treasury control, transfer restrictions before liquidity addition, and ETH distribution, I see no obvious vulnerabilities or attack vectors for profit extraction. I'll summarize findings as no exploit detected and output JSON accordingly.
[codex:653477] codex
[codex:653477] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in provided sources.","findings":[]}
[codex:653477] tokens used
[codex:653477] 3,593
[codex:653477] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-05T06:34:05.926211+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
3
Total opcodes
4552
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0102
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5dd7e907
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa457c2d7
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa457c2d7
0000002f: EQ
00000030: PUSH2 0x06e4
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa9059cbb
0000003a: EQ
0000003b: PUSH2 0x0721
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd5661c92
00000045: EQ
00000046: PUSH2 0x075e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd9443923
00000050: EQ
00000051: PUSH2 0x0789
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xdd62ed3e
0000005b: EQ
0000005c: PUSH2 0x07b4
0000005f: JUMPI
00000060: PUSH2 0x0495
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x5dd7e907
0000006b: EQ
0000006c: PUSH2 0x0628
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x70a08231
00000076: EQ
00000077: PUSH2 0x0651
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x95ae1988
00000081: EQ
00000082: PUSH2 0x068e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x95d89b41
0000008c: EQ
0000008d: PUSH2 0x06b9
00000090: JUMPI
00000091: PUSH2 0x0495
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x313ce567
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x313ce567
000000a7: EQ
000000a8: PUSH2 0x056a
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x32cb6b0c
000000b2: EQ
000000b3: PUSH2 0x0595
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x39509351
000000bd: EQ
000000be: PUSH2 0x05c0
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x40702adc
000000c8: EQ
000000c9: PUSH2 0x05fd
000000cc: JUMPI
000000cd: PUSH2 0x0495
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x06fdde03
000000d8: EQ
000000d9: PUSH2 0x049a
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x095ea7b3
000000e3: EQ
000000e4: PUSH2 0x04c5
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x18160ddd
000000ee: EQ
000000ef: PUSH2 0x0502
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x23b872dd
000000f9: EQ
000000fa: PUSH2 0x052d
000000fd: JUMPI
000000fe: PUSH2 0x0495
00000101: JUMP
00000102: JUMPDEST
00000103: CALLDATASIZE
00000104: PUSH2 0x0495
00000107: JUMPI
00000108: PUSH1 0x05
0000010a: SLOAD
0000010b: PUSH2 0x0112
0000010e: PUSH2 0x07f1
00000111: JUMP
00000112: JUMPDEST
00000113: PUSH1 0x07
00000115: SLOAD
00000116: CALLVALUE
00000117: PUSH2 0x0120
0000011a: SWAP2
0000011b: SWAP1
0000011c: PUSH2 0x1cbe
0000011f: JUMP
00000120: JUMPDEST
00000121: PUSH2 0x012a
00000124: SWAP2
00000125: SWAP1
00000126: PUSH2 0x1c37
00000129: JUMP
0000012a: JUMPDEST
0000012b: GT
0000012c: ISZERO
0000012d: PUSH2 0x016b
00000130: JUMPI
00000131: PUSH1 0x40
00000133: MLOAD
00000134: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000155: DUP2
00000156: MSTORE
00000157: PUSH1 0x04
00000159: ADD
0000015a: PUSH2 0x0162
0000015d: SWAP1
0000015e: PUSH2 0x1a85
00000161: JUMP
00000162: JUMPDEST
00000163: PUSH1 0x40
00000165: MLOAD
00000166: DUP1
00000167: SWAP2
00000168: SUB
00000169: SWAP1
0000016a: REVERT
0000016b: JUMPDEST
0000016c: PUSH6 0x5af3107a4000
00000173: CALLVALUE
00000174: GT
00000175: PUSH2 0x01b3
00000178: JUMPI
00000179: PUSH1 0x40
0000017b: MLOAD
0000017c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000019d: DUP2
0000019e: MSTORE
0000019f: PUSH1 0x04
000001a1: ADD
000001a2: PUSH2 0x01aa
000001a5: SWAP1
000001a6: PUSH2 0x1b25
000001a9: JUMP
000001aa: JUMPDEST
000001ab: PUSH1 0x40
000001ad: MLOAD
000001ae: DUP1
000001af: SWAP2
000001b0: SUB
000001b1: SWAP1
000001b2: REVERT
000001b3: JUMPDEST
000001b4: PUSH2 0x01ca
000001b7: CALLER
000001b8: PUSH1 0x07
000001ba: SLOAD
000001bb: CALLVALUE
000001bc: PUSH2 0x01c5
000001bf: SWAP2
000001c0: SWAP1
000001c1: PUSH2 0x1cbe
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH2 0x07fb
000001c9: JUMP
000001ca: JUMPDEST
000001cb: PUSH1 0x00
000001cd: JUMPDEST
000001ce: PUSH1 0x0a
000001d0: DUP1
000001d1: SLOAD
000001d2: SWAP1
000001d3: POP
000001d4: DUP2
000001d5: LT
000001d6: ISZERO
000001d7: PUSH2 0x02b4
000001da: JUMPI
000001db: PUSH1 0x0a
000001dd: DUP2
000001de: DUP2
000001df: SLOAD
000001e0: DUP2
000001e1: LT
000001e2: PUSH2 0x0214
000001e5: JUMPI
000001e6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000207: PUSH1 0x00
00000209: MSTORE
0000020a: PUSH1 0x32
0000020c: PUSH1 0x04
0000020e: MSTORE
0000020f: PUSH1 0x24
00000211: PUSH1 0x00
00000213: REVERT
00000214: JUMPDEST
00000215: SWAP1
00000216: PUSH1 0x00
00000218: MSTORE
00000219: PUSH1 0x20
0000021b: PUSH1 0x00
0000021d: KECCAK256
0000021e: ADD
0000021f: PUSH1 0x00
00000221: SWAP1
00000222: SLOAD
00000223: SWAP1
00000224: PUSH2 0x0100
00000227: EXP
00000228: SWAP1
00000229: DIV
0000022a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000023f: AND
00000240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000255: AND
00000256: PUSH2 0x08fc
00000259: PUSH1 0x01
0000025b: PUSH1 0x0a
0000025d: DUP1
0000025e: SLOAD
0000025f: SWAP1
00000260: POP
00000261: PUSH2 0x026a
00000264: SWAP2
00000265: SWAP1
00000266: PUSH2 0x1c37
00000269: JUMP
0000026a: JUMPDEST
0000026b: CALLVALUE
0000026c: PUSH2 0x0275
0000026f: SWAP2
00000270: SWAP1
00000271: PUSH2 0x1c8d
00000274: JUMP
00000275: JUMPDEST
00000276: SWAP1
00000277: DUP2
00000278: ISZERO
00000279: MUL
0000027a: SWAP1
0000027b: PUSH1 0x40
0000027d: MLOAD
0000027e: PUSH1 0x00
00000280: PUSH1 0x40
00000282: MLOAD
00000283: DUP1
00000284: DUP4
00000285: SUB
00000286: DUP2
00000287: DUP6
00000288: DUP9
00000289: DUP9
0000028a: CALL
0000028b: SWAP4
0000028c: POP
0000028d: POP
0000028e: POP
0000028f: POP
00000290: ISZERO
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x02a0
00000296: JUMPI
00000297: RETURNDATASIZE
00000298: PUSH1 0x00
0000029a: DUP1
0000029b: RETURNDATACOPY
0000029c: RETURNDATASIZE
0000029d: PUSH1 0x00
0000029f: REVERT
000002a0: JUMPDEST
000002a1: POP
000002a2: DUP1
000002a3: DUP1
000002a4: PUSH2 0x02ac
000002a7: SWAP1
000002a8: PUSH2 0x1e1a
000002ab: JUMP
000002ac: JUMPDEST
000002ad: SWAP2
000002ae: POP
000002af: POP
000002b0: PUSH2 0x01cd
000002b3: JUMP
000002b4: JUMPDEST
000002b5: POP
000002b6: PUSH1 0x00
000002b8: ISZERO
000002b9: ISZERO
000002ba: PUSH1 0x08
000002bc: PUSH1 0x14
000002be: SWAP1
000002bf: SLOAD
000002c0: SWAP1
000002c1: PUSH2 0x0100
000002c4: EXP
000002c5: SWAP1
000002c6: DIV
000002c7: PUSH1 0xff
000002c9: AND
000002ca: ISZERO
000002cb: ISZERO
000002cc: EQ
000002cd: DUP1
000002ce: ISZERO
000002cf: PUSH2 0x02e0
000002d2: JUMPI
000002d3: POP
000002d4: PUSH1 0x05
000002d6: SLOAD
000002d7: PUSH2 0x02de
000002da: PUSH2 0x07f1
000002dd: JUMP
000002de: JUMPDEST
000002df: EQ
000002e0: JUMPDEST
000002e1: ISZERO
000002e2: PUSH2 0x0493
000002e5: JUMPI
000002e6: ADDRESS
000002e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002fc: AND
000002fd: PUSH4 0x095ea7b3
00000302: PUSH1 0x0b
00000304: PUSH1 0x00
00000306: SWAP1
00000307: SLOAD
00000308: SWAP1
00000309: PUSH2 0x0100
0000030c: EXP
0000030d: SWAP1
0000030e: DIV
0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000324: AND
00000325: PUSH1 0x06
00000327: SLOAD
00000328: PUSH1 0x40
0000032a: MLOAD
0000032b: DUP4
0000032c: PUSH4 0xffffffff
00000331: AND
00000332: PUSH1 0xe0
00000334: SHL
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x04
00000339: ADD
0000033a: PUSH2 0x0344
0000033d: SWAP3
0000033e: SWAP2
0000033f: SWAP1
00000340: PUSH2 0x199e
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH1 0x20
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: DUP1
0000034b: DUP4
0000034c: SUB
0000034d: DUP2
0000034e: PUSH1 0x00
00000350: DUP8
00000351: DUP1
00000352: EXTCODESIZE
00000353: ISZERO
00000354: DUP1
00000355: ISZERO
00000356: PUSH2 0x035e
00000359: JUMPI
0000035a: PUSH1 0x00
0000035c: DUP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: POP
00000360: GAS
00000361: CALL
00000362: ISZERO
00000363: DUP1
00000364: ISZERO
00000365: PUSH2 0x0372
00000368: JUMPI
00000369: RETURNDATASIZE
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: RETURNDATACOPY
0000036e: RETURNDATASIZE
0000036f: PUSH1 0x00
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: POP
00000375: POP
00000376: POP
00000377: PUSH1 0x40
00000379: MLOAD
0000037a: RETURNDATASIZE
0000037b: PUSH1 0x1f
0000037d: NOT
0000037e: PUSH1 0x1f
00000380: DUP3
00000381: ADD
00000382: AND
00000383: DUP3
00000384: ADD
00000385: DUP1
00000386: PUSH1 0x40
00000388: MSTORE
00000389: POP
0000038a: DUP2
0000038b: ADD
0000038c: SWAP1
0000038d: PUSH2 0x0396
00000390: SWAP2
00000391: SWAP1
00000392: PUSH2 0x16ab
00000395: JUMP
00000396: JUMPDEST
00000397: POP
00000398: PUSH1 0x0b
0000039a: PUSH1 0x00
0000039c: SWAP1
0000039d: SLOAD
0000039e: SWAP1
0000039f: PUSH2 0x0100
000003a2: EXP
000003a3: SWAP1
000003a4: DIV
000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ba: AND
000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003d0: AND
000003d1: PUSH4 0xf305d719
000003d6: SELFBALANCE
000003d7: ADDRESS
000003d8: PUSH1 0x06
000003da: SLOAD
000003db: PUSH1 0x00
000003dd: DUP1
000003de: PUSH1 0x09
000003e0: PUSH1 0x00
000003e2: SWAP1
000003e3: SLOAD
000003e4: SWAP1
000003e5: PUSH2 0x0100
000003e8: EXP
000003e9: SWAP1
000003ea: DIV
000003eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000400: AND
00000401: TIMESTAMP
00000402: PUSH1 0x40
00000404: MLOAD
00000405: DUP9
00000406: PUSH4 0xffffffff
0000040b: AND
0000040c: PUSH1 0xe0
0000040e: SHL
0000040f: DUP2
00000410: MSTORE
00000411: PUSH1 0x04
00000413: ADD
00000414: PUSH2 0x0422
00000417: SWAP7
00000418: SWAP6
00000419: SWAP5
0000041a: SWAP4
0000041b: SWAP3
0000041c: SWAP2
0000041d: SWAP1
0000041e: PUSH2 0x19c7
00000421: JUMP
00000422: JUMPDEST
00000423: PUSH1 0x60
00000425: PUSH1 0x40
00000427: MLOAD
00000428: DUP1
00000429: DUP4
0000042a: SUB
0000042b: DUP2
0000042c: DUP6
0000042d: DUP9
0000042e: DUP1
0000042f: EXTCODESIZE
00000430: ISZERO
00000431: DUP1
00000432: ISZERO
00000433: PUSH2 0x043b
00000436: JUMPI
00000437: PUSH1 0x00
00000439: DUP1
0000043a: REVERT
0000043b: JUMPDEST
0000043c: POP
0000043d: GAS
0000043e: CALL
0000043f: ISZERO
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044f
00000445: JUMPI
00000446: RETURNDATASIZE
00000447: PUSH1 0x00
00000449: DUP1
0000044a: RETURNDATACOPY
0000044b: RETURNDATASIZE
0000044c: PUSH1 0x00
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: POP
00000452: POP
00000453: POP
00000454: POP
00000455: PUSH1 0x40
00000457: MLOAD
00000458: RETURNDATASIZE
00000459: PUSH1 0x1f
0000045b: NOT
0000045c: PUSH1 0x1f
0000045e: DUP3
0000045f: ADD
00000460: AND
00000461: DUP3
00000462: ADD
00000463: DUP1
00000464: PUSH1 0x40
00000466: MSTORE
00000467: POP
00000468: DUP2
00000469: ADD
0000046a: SWAP1
0000046b: PUSH2 0x0474
0000046e: SWAP2
0000046f: SWAP1
00000470: PUSH2 0x16d4
00000473: JUMP
00000474: JUMPDEST
00000475: POP
00000476: POP
00000477: POP
00000478: PUSH1 0x01
0000047a: PUSH1 0x08
0000047c: PUSH1 0x14
0000047e: PUSH2 0x0100
00000481: EXP
00000482: DUP2
00000483: SLOAD
00000484: DUP2
00000485: PUSH1 0xff
00000487: MUL
00000488: NOT
00000489: AND
0000048a: SWAP1
0000048b: DUP4
0000048c: ISZERO
0000048d: ISZERO
0000048e: MUL
0000048f: OR
00000490: SWAP1
00000491: SSTORE
00000492: POP
00000493: JUMPDEST
00000494: STOP
00000495: JUMPDEST
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: CALLVALUE
0000049c: DUP1
0000049d: ISZERO
0000049e: PUSH2 0x04a6
000004a1: JUMPI
000004a2: PUSH1 0x00
000004a4: DUP1
000004a5: REVERT
000004a6: JUMPDEST
000004a7: POP
000004a8: PUSH2 0x04af
000004ab: PUSH2 0x095b
000004ae: JUMP
000004af: JUMPDEST
000004b0: PUSH1 0x40
000004b2: MLOAD
000004b3: PUSH2 0x04bc
000004b6: SWAP2
000004b7: SWAP1
000004b8: PUSH2 0x1a43
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH1 0x40
000004bf: MLOAD
000004c0: DUP1
000004c1: SWAP2
000004c2: SUB
000004c3: SWAP1
000004c4: RETURN
000004c5: JUMPDEST
000004c6: CALLVALUE
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: POP
000004d3: PUSH2 0x04ec
000004d6: PUSH1 0x04
000004d8: DUP1
000004d9: CALLDATASIZE
000004da: SUB
000004db: DUP2
000004dc: ADD
000004dd: SWAP1
000004de: PUSH2 0x04e7
000004e1: SWAP2
000004e2: SWAP1
000004e3: PUSH2 0x1620
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH2 0x09ed
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: PUSH2 0x04f9
000004f3: SWAP2
000004f4: SWAP1
000004f5: PUSH2 0x1a28
000004f8: JUMP
000004f9: JUMPDEST
000004fa: PUSH1 0x40
000004fc: MLOAD
000004fd: DUP1
000004fe: SWAP2
000004ff: SUB
00000500: SWAP1
00000501: RETURN
00000502: JUMPDEST
00000503: CALLVALUE
00000504: DUP1
00000505: ISZERO
00000506: PUSH2 0x050e
00000509: JUMPI
0000050a: PUSH1 0x00
0000050c: DUP1
0000050d: REVERT
0000050e: JUMPDEST
0000050f: POP
00000510: PUSH2 0x0517
00000513: PUSH2 0x07f1
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: PUSH2 0x0524
0000051e: SWAP2
0000051f: SWAP1
00000520: PUSH2 0x1be5
00000523: JUMP
00000524: JUMPDEST
00000525: PUSH1 0x40
00000527: MLOAD
00000528: DUP1
00000529: SWAP2
0000052a: SUB
0000052b: SWAP1
0000052c: RETURN
0000052d: JUMPDEST
0000052e: CALLVALUE
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x0539
00000534: JUMPI
00000535: PUSH1 0x00
00000537: DUP1
00000538: REVERT
00000539: JUMPDEST
0000053a: POP
0000053b: PUSH2 0x0554
0000053e: PUSH1 0x04
00000540: DUP1
00000541: CALLDATASIZE
00000542: SUB
00000543: DUP2
00000544: ADD
00000545: SWAP1
00000546: PUSH2 0x054f
00000549: SWAP2
0000054a: SWAP1
0000054b: PUSH2 0x15d1
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH2 0x0a10
00000553: JUMP
00000554: JUMPDEST
00000555: PUSH1 0x40
00000557: MLOAD
00000558: PUSH2 0x0561
0000055b: SWAP2
0000055c: SWAP1
0000055d: PUSH2 0x1a28
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x40
00000564: MLOAD
00000565: DUP1
00000566: SWAP2
00000567: SUB
00000568: SWAP1
00000569: RETURN
0000056a: JUMPDEST
0000056b: CALLVALUE
0000056c: DUP1
0000056d: ISZERO
0000056e: PUSH2 0x0576
00000571: JUMPI
00000572: PUSH1 0x00
00000574: DUP1
00000575: REVERT
00000576: JUMPDEST
00000577: POP
00000578: PUSH2 0x057f
0000057b: PUSH2 0x0a3f
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0x40
00000582: MLOAD
00000583: PUSH2 0x058c
00000586: SWAP2
00000587: SWAP1
00000588: PUSH2 0x1c00
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH1 0x40
0000058f: MLOAD
00000590: DUP1
00000591: SWAP2
00000592: SUB
00000593: SWAP1
00000594: RETURN
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x0a48
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: PUSH2 0x05b7
000005b1: SWAP2
000005b2: SWAP1
000005b3: PUSH2 0x1be5
000005b6: JUMP
000005b7: JUMPDEST
000005b8: PUSH1 0x40
000005ba: MLOAD
000005bb: DUP1
000005bc: SWAP2
000005bd: SUB
000005be: SWAP1
000005bf: RETURN
000005c0: JUMPDEST
000005c1: CALLVALUE
000005c2: DUP1
000005c3: ISZERO
000005c4: PUSH2 0x05cc
000005c7: JUMPI
000005c8: PUSH1 0x00
000005ca: DUP1
000005cb: REVERT
000005cc: JUMPDEST
000005cd: POP
000005ce: PUSH2 0x05e7
000005d1: PUSH1 0x04
000005d3: DUP1
000005d4: CALLDATASIZE
000005d5: SUB
000005d6: DUP2
000005d7: ADD
000005d8: SWAP1
000005d9: PUSH2 0x05e2
000005dc: SWAP2
000005dd: SWAP1
000005de: PUSH2 0x1620
000005e1: JUMP
000005e2: JUMPDEST
000005e3: PUSH2 0x0a4e
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: PUSH2 0x05f4
000005ee: SWAP2
000005ef: SWAP1
000005f0: PUSH2 0x1a28
000005f3: JUMP
000005f4: JUMPDEST
000005f5: PUSH1 0x40
000005f7: MLOAD
000005f8: DUP1
000005f9: SWAP2
000005fa: SUB
000005fb: SWAP1
000005fc: RETURN
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0609
00000604: JUMPI
00000605: PUSH1 0x00
00000607: DUP1
00000608: REVERT
00000609: JUMPDEST
0000060a: POP
0000060b: PUSH2 0x0612
0000060e: PUSH2 0x0af8
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH1 0x40
00000615: MLOAD
00000616: PUSH2 0x061f
00000619: SWAP2
0000061a: SWAP1
0000061b: PUSH2 0x1be5
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x40
00000622: MLOAD
00000623: DUP1
00000624: SWAP2
00000625: SUB
00000626: SWAP1
00000627: RETURN
00000628: JUMPDEST
00000629: CALLVALUE
0000062a: DUP1
0000062b: ISZERO
0000062c: PUSH2 0x0634
0000062f: JUMPI
00000630: PUSH1 0x00
00000632: DUP1
00000633: REVERT
00000634: JUMPDEST
00000635: POP
00000636: PUSH2 0x064f
00000639: PUSH1 0x04
0000063b: DUP1
0000063c: CALLDATASIZE
0000063d: SUB
0000063e: DUP2
0000063f: ADD
00000640: SWAP1
00000641: PUSH2 0x064a
00000644: SWAP2
00000645: SWAP1
00000646: PUSH2 0x165c
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH2 0x0afe
0000064e: JUMP
0000064f: JUMPDEST
00000650: STOP
00000651: JUMPDEST
00000652: CALLVALUE
00000653: DUP1
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: POP
0000065f: PUSH2 0x0678
00000662: PUSH1 0x04
00000664: DUP1
00000665: CALLDATASIZE
00000666: SUB
00000667: DUP2
00000668: ADD
00000669: SWAP1
0000066a: PUSH2 0x0673
0000066d: SWAP2
0000066e: SWAP1
0000066f: PUSH2 0x156c
00000672: JUMP
00000673: JUMPDEST
00000674: PUSH2 0x0cd3
00000677: JUMP
00000678: JUMPDEST
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: PUSH2 0x0685
0000067f: SWAP2
00000680: SWAP1
00000681: PUSH2 0x1be5
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x40
00000688: MLOAD
00000689: DUP1
0000068a: SWAP2
0000068b: SUB
0000068c: SWAP1
0000068d: RETURN
0000068e: JUMPDEST
0000068f: CALLVALUE
00000690: DUP1
00000691: ISZERO
00000692: PUSH2 0x069a
00000695: JUMPI
00000696: PUSH1 0x00
00000698: DUP1
00000699: REVERT
0000069a: JUMPDEST
0000069b: POP
0000069c: PUSH2 0x06a3
0000069f: PUSH2 0x0d1b
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: PUSH2 0x06b0
000006aa: SWAP2
000006ab: SWAP1
000006ac: PUSH2 0x1be5
000006af: JUMP
000006b0: JUMPDEST
000006b1: PUSH1 0x40
000006b3: MLOAD
000006b4: DUP1
000006b5: SWAP2
000006b6: SUB
000006b7: SWAP1
000006b8: RETURN
000006b9: JUMPDEST
000006ba: CALLVALUE
000006bb: DUP1
000006bc: ISZERO
000006bd: PUSH2 0x06c5
000006c0: JUMPI
000006c1: PUSH1 0x00
000006c3: DUP1
000006c4: REVERT
000006c5: JUMPDEST
000006c6: POP
000006c7: PUSH2 0x06ce
000006ca: PUSH2 0x0d21
000006cd: JUMP
000006ce: JUMPDEST
000006cf: PUSH1 0x40
000006d1: MLOAD
000006d2: PUSH2 0x06db
000006d5: SWAP2
000006d6: SWAP1
000006d7: PUSH2 0x1a43
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x40
000006de: MLOAD
000006df: DUP1
000006e0: SWAP2
000006e1: SUB
000006e2: SWAP1
000006e3: RETURN
000006e4: JUMPDEST
000006e5: CALLVALUE
000006e6: DUP1
000006e7: ISZERO
000006e8: PUSH2 0x06f0
000006eb: JUMPI
000006ec: PUSH1 0x00
000006ee: DUP1
000006ef: REVERT
000006f0: JUMPDEST
000006f1: POP
000006f2: PUSH2 0x070b
000006f5: PUSH1 0x04
000006f7: DUP1
000006f8: CALLDATASIZE
000006f9: SUB
000006fa: DUP2
000006fb: ADD
000006fc: SWAP1
000006fd: PUSH2 0x0706
00000700: SWAP2
00000701: SWAP1
00000702: PUSH2 0x1620
00000705: JUMP
00000706: JUMPDEST
00000707: PUSH2 0x0db3
0000070a: JUMP
0000070b: JUMPDEST
0000070c: PUSH1 0x40
0000070e: MLOAD
0000070f: PUSH2 0x0718
00000712: SWAP2
00000713: SWAP1
00000714: PUSH2 0x1a28
00000717: JUMP
00000718: JUMPDEST
00000719: PUSH1 0x40
0000071b: MLOAD
0000071c: DUP1
0000071d: SWAP2
0000071e: SUB
0000071f: SWAP1
00000720: RETURN
00000721: JUMPDEST
00000722: CALLVALUE
00000723: DUP1
00000724: ISZERO
00000725: PUSH2 0x072d
00000728: JUMPI
00000729: PUSH1 0x00
0000072b: DUP1
0000072c: REVERT
0000072d: JUMPDEST
0000072e: POP
0000072f: PUSH2 0x0748
00000732: PUSH1 0x04
00000734: DUP1
00000735: CALLDATASIZE
00000736: SUB
00000737: DUP2
00000738: ADD
00000739: SWAP1
0000073a: PUSH2 0x0743
0000073d: SWAP2
0000073e: SWAP1
0000073f: PUSH2 0x1620
00000742: JUMP
00000743: JUMPDEST
00000744: PUSH2 0x0e9d
00000747: JUMP
00000748: JUMPDEST
00000749: PUSH1 0x40
0000074b: MLOAD
0000074c: PUSH2 0x0755
0000074f: SWAP2
00000750: SWAP1
00000751: PUSH2 0x1a28
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x40
00000758: MLOAD
00000759: DUP1
0000075a: SWAP2
0000075b: SUB
0000075c: SWAP1
0000075d: RETURN
0000075e: JUMPDEST
0000075f: CALLVALUE
00000760: DUP1
00000761: ISZERO
00000762: PUSH2 0x076a
00000765: JUMPI
00000766: PUSH1 0x00
00000768: DUP1
00000769: REVERT
0000076a: JUMPDEST
0000076b: POP
0000076c: PUSH2 0x0773
0000076f: PUSH2 0x0ec0
00000772: JUMP
00000773: JUMPDEST
00000774: PUSH1 0x40
00000776: MLOAD
00000777: PUSH2 0x0780
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH2 0x195a
0000077f: JUMP
00000780: JUMPDEST
00000781: PUSH1 0x40
00000783: MLOAD
00000784: DUP1
00000785: SWAP2
00000786: SUB
00000787: SWAP1
00000788: RETURN
00000789: JUMPDEST
0000078a: CALLVALUE
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: PUSH2 0x079e
0000079a: PUSH2 0x0ee6
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x40
000007a1: MLOAD
000007a2: PUSH2 0x07ab
000007a5: SWAP2
000007a6: SWAP1
000007a7: PUSH2 0x1a28
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x40
000007ae: MLOAD
000007af: DUP1
000007b0: SWAP2
000007b1: SUB
000007b2: SWAP1
000007b3: RETURN
000007b4: JUMPDEST
000007b5: CALLVALUE
000007b6: DUP1
000007b7: ISZERO
000007b8: PUSH2 0x07c0
000007bb: JUMPI
000007bc: PUSH1 0x00
000007be: DUP1
000007bf: REVERT
000007c0: JUMPDEST
000007c1: POP
000007c2: PUSH2 0x07db
000007c5: PUSH1 0x04
000007c7: DUP1
000007c8: CALLDATASIZE
000007c9: SUB
000007ca: DUP2
000007cb: ADD
000007cc: SWAP1
000007cd: PUSH2 0x07d6
000007d0: SWAP2
000007d1: SWAP1
000007d2: PUSH2 0x1595
000007d5: JUMP
000007d6: JUMPDEST
000007d7: PUSH2 0x0ef9
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: PUSH2 0x07e8
000007e2: SWAP2
000007e3: SWAP1
000007e4: PUSH2 0x1be5
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP1
000007ed: SWAP2
000007ee: SUB
000007ef: SWAP1
000007f0: RETURN
000007f1: JUMPDEST
000007f2: PUSH1 0x00
000007f4: PUSH1 0x02
000007f6: SLOAD
000007f7: SWAP1
000007f8: POP
000007f9: SWAP1
000007fa: JUMP
000007fb: JUMPDEST
000007fc: PUSH1 0x00
000007fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000813: AND
00000814: DUP3
00000815: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082a: AND
0000082b: EQ
0000082c: ISZERO
0000082d: PUSH2 0x086b
00000830: JUMPI
00000831: PUSH1 0x40
00000833: MLOAD
00000834: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x04
00000859: ADD
0000085a: PUSH2 0x0862
0000085d: SWAP1
0000085e: PUSH2 0x1bc5
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x40
00000865: MLOAD
00000866: DUP1
00000867: SWAP2
00000868: SUB
00000869: SWAP1
0000086a: REVERT
0000086b: JUMPDEST
0000086c: PUSH2 0x0877
0000086f: PUSH1 0x00
00000871: DUP4
00000872: DUP4
00000873: PUSH2 0x0f80
00000876: JUMP
00000877: JUMPDEST
00000878: DUP1
00000879: PUSH1 0x02
0000087b: PUSH1 0x00
0000087d: DUP3
0000087e: DUP3
0000087f: SLOAD
00000880: PUSH2 0x0889
00000883: SWAP2
00000884: SWAP1
00000885: PUSH2 0x1c37
00000888: JUMP
00000889: JUMPDEST
0000088a: SWAP3
0000088b: POP
0000088c: POP
0000088d: DUP2
0000088e: SWAP1
0000088f: SSTORE
00000890: POP
00000891: DUP1
00000892: PUSH1 0x00
00000894: DUP1
00000895: DUP5
00000896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ab: AND
000008ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008c1: AND
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: ADD
000008c7: SWAP1
000008c8: DUP2
000008c9: MSTORE
000008ca: PUSH1 0x20
000008cc: ADD
000008cd: PUSH1 0x00
000008cf: KECCAK256
000008d0: PUSH1 0x00
000008d2: DUP3
000008d3: DUP3
000008d4: SLOAD
000008d5: PUSH2 0x08de
000008d8: SWAP2
000008d9: SWAP1
000008da: PUSH2 0x1c37
000008dd: JUMP
000008de: JUMPDEST
000008df: SWAP3
000008e0: POP
000008e1: POP
000008e2: DUP2
000008e3: SWAP1
000008e4: SSTORE
000008e5: POP
000008e6: DUP2
000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fc: AND
000008fd: PUSH1 0x00
000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000914: AND
00000915: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000936: DUP4
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: PUSH2 0x0943
0000093d: SWAP2
0000093e: SWAP1
0000093f: PUSH2 0x1be5
00000942: JUMP
00000943: JUMPDEST
00000944: PUSH1 0x40
00000946: MLOAD
00000947: DUP1
00000948: SWAP2
00000949: SUB
0000094a: SWAP1
0000094b: LOG3
0000094c: PUSH2 0x0957
0000094f: PUSH1 0x00
00000951: DUP4
00000952: DUP4
00000953: PUSH2 0x0f85
00000956: JUMP
00000957: JUMPDEST
00000958: POP
00000959: POP
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x60
0000095e: PUSH1 0x03
00000960: DUP1
00000961: SLOAD
00000962: PUSH2 0x096a
00000965: SWAP1
00000966: PUSH2 0x1de8
00000969: JUMP
0000096a: JUMPDEST
0000096b: DUP1
0000096c: PUSH1 0x1f
0000096e: ADD
0000096f: PUSH1 0x20
00000971: DUP1
00000972: SWAP2
00000973: DIV
00000974: MUL
00000975: PUSH1 0x20
00000977: ADD
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: SWAP1
0000097c: DUP2
0000097d: ADD
0000097e: PUSH1 0x40
00000980: MSTORE
00000981: DUP1
00000982: SWAP3
00000983: SWAP2
00000984: SWAP1
00000985: DUP2
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x20
0000098a: ADD
0000098b: DUP3
0000098c: DUP1
0000098d: SLOAD
0000098e: PUSH2 0x0996
00000991: SWAP1
00000992: PUSH2 0x1de8
00000995: JUMP
00000996: JUMPDEST
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09e3
0000099c: JUMPI
0000099d: DUP1
0000099e: PUSH1 0x1f
000009a0: LT
000009a1: PUSH2 0x09b8
000009a4: JUMPI
000009a5: PUSH2 0x0100
000009a8: DUP1
000009a9: DUP4
000009aa: SLOAD
000009ab: DIV
000009ac: MUL
000009ad: DUP4
000009ae: MSTORE
000009af: SWAP2
000009b0: PUSH1 0x20
000009b2: ADD
000009b3: SWAP2
000009b4: PUSH2 0x09e3
000009b7: JUMP
000009b8: JUMPDEST
000009b9: DUP3
000009ba: ADD
000009bb: SWAP2
000009bc: SWAP1
000009bd: PUSH1 0x00
000009bf: MSTORE
000009c0: PUSH1 0x20
000009c2: PUSH1 0x00
000009c4: KECCAK256
000009c5: SWAP1
000009c6: JUMPDEST
000009c7: DUP2
000009c8: SLOAD
000009c9: DUP2
000009ca: MSTORE
000009cb: SWAP1
000009cc: PUSH1 0x01
000009ce: ADD
000009cf: SWAP1
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: DUP1
000009d4: DUP4
000009d5: GT
000009d6: PUSH2 0x09c6
000009d9: JUMPI
000009da: DUP3
000009db: SWAP1
000009dc: SUB
000009dd: PUSH1 0x1f
000009df: AND
000009e0: DUP3
000009e1: ADD
000009e2: SWAP2
000009e3: JUMPDEST
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: SWAP1
000009ea: POP
000009eb: SWAP1
000009ec: JUMP
000009ed: JUMPDEST
000009ee: PUSH1 0x00
000009f0: DUP1
000009f1: PUSH2 0x09f8
000009f4: PUSH2 0x0f8a
000009f7: JUMP
000009f8: JUMPDEST
000009f9: SWAP1
000009fa: POP
000009fb: PUSH2 0x0a05
000009fe: DUP2
000009ff: DUP6
00000a00: DUP6
00000a01: PUSH2 0x0f92
00000a04: JUMP
00000a05: JUMPDEST
00000a06: PUSH1 0x01
00000a08: SWAP2
00000a09: POP
00000a0a: POP
00000a0b: SWAP3
00000a0c: SWAP2
00000a0d: POP
00000a0e: POP
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x00
00000a13: DUP1
00000a14: PUSH2 0x0a1b
00000a17: PUSH2 0x0f8a
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: SWAP1
00000a1d: POP
00000a1e: PUSH2 0x0a28
00000a21: DUP6
00000a22: DUP3
00000a23: DUP6
00000a24: PUSH2 0x115d
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH2 0x0a33
00000a2c: DUP6
00000a2d: DUP6
00000a2e: DUP6
00000a2f: PUSH2 0x11e9
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH1 0x01
00000a36: SWAP2
00000a37: POP
00000a38: POP
00000a39: SWAP4
00000a3a: SWAP3
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: JUMP
00000a3f: JUMPDEST
00000a40: PUSH1 0x00
00000a42: PUSH1 0x12
00000a44: SWAP1
00000a45: POP
00000a46: SWAP1
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH1 0x05
00000a4b: SLOAD
00000a4c: DUP2
00000a4d: JUMP
00000a4e: JUMPDEST
00000a4f: PUSH1 0x00
00000a51: DUP1
00000a52: PUSH2 0x0a59
00000a55: PUSH2 0x0f8a
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: SWAP1
00000a5b: POP
00000a5c: PUSH2 0x0aed
00000a5f: DUP2
00000a60: DUP6
00000a61: DUP6
00000a62: PUSH1 0x01
00000a64: PUSH1 0x00
00000a66: DUP7
00000a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a7c: AND
00000a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a92: AND
00000a93: DUP2
00000a94: MSTORE
00000a95: PUSH1 0x20
00000a97: ADD
00000a98: SWAP1
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x20
00000a9d: ADD
00000a9e: PUSH1 0x00
00000aa0: KECCAK256
00000aa1: PUSH1 0x00
00000aa3: DUP10
00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab9: AND
00000aba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acf: AND
00000ad0: DUP2
00000ad1: MSTORE
00000ad2: PUSH1 0x20
00000ad4: ADD
00000ad5: SWAP1
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x20
00000ada: ADD
00000adb: PUSH1 0x00
00000add: KECCAK256
00000ade: SLOAD
00000adf: PUSH2 0x0ae8
00000ae2: SWAP2
00000ae3: SWAP1
00000ae4: PUSH2 0x1c37
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH2 0x0f92
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x01
00000af0: SWAP2
00000af1: POP
00000af2: POP
00000af3: SWAP3
00000af4: SWAP2
00000af5: POP
00000af6: POP
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x06
00000afb: SLOAD
00000afc: DUP2
00000afd: JUMP
00000afe: JUMPDEST
00000aff: PUSH1 0x09
00000b01: PUSH1 0x00
00000b03: SWAP1
00000b04: SLOAD
00000b05: SWAP1
00000b06: PUSH2 0x0100
00000b09: EXP
00000b0a: SWAP1
00000b0b: DIV
00000b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b21: AND
00000b22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b37: AND
00000b38: CALLER
00000b39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4e: AND
00000b4f: EQ
00000b50: PUSH2 0x0b8e
00000b53: JUMPI
00000b54: PUSH1 0x40
00000b56: MLOAD
00000b57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b78: DUP2
00000b79: MSTORE
00000b7a: PUSH1 0x04
00000b7c: ADD
00000b7d: PUSH2 0x0b85
00000b80: SWAP1
00000b81: PUSH2 0x1aa5
00000b84: JUMP
00000b85: JUMPDEST
00000b86: PUSH1 0x40
00000b88: MLOAD
00000b89: DUP1
00000b8a: SWAP2
00000b8b: SUB
00000b8c: SWAP1
00000b8d: REVERT
00000b8e: JUMPDEST
00000b8f: DUP1
00000b90: ISZERO
00000b91: PUSH2 0x0c02
00000b94: JUMPI
00000b95: PUSH1 0x09
00000b97: PUSH1 0x00
00000b99: SWAP1
00000b9a: SLOAD
00000b9b: SWAP1
00000b9c: PUSH2 0x0100
00000b9f: EXP
00000ba0: SWAP1
00000ba1: DIV
00000ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb7: AND
00000bb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bcd: AND
00000bce: PUSH2 0x08fc
00000bd1: DUP4
00000bd2: SWAP1
00000bd3: DUP2
00000bd4: ISZERO
00000bd5: MUL
00000bd6: SWAP1
00000bd7: PUSH1 0x40
00000bd9: MLOAD
00000bda: PUSH1 0x00
00000bdc: PUSH1 0x40
00000bde: MLOAD
00000bdf: DUP1
00000be0: DUP4
00000be1: SUB
00000be2: DUP2
00000be3: DUP6
00000be4: DUP9
00000be5: DUP9
00000be6: CALL
00000be7: SWAP4
00000be8: POP
00000be9: POP
00000bea: POP
00000beb: POP
00000bec: ISZERO
00000bed: DUP1
00000bee: ISZERO
00000bef: PUSH2 0x0bfc
00000bf2: JUMPI
00000bf3: RETURNDATASIZE
00000bf4: PUSH1 0x00
00000bf6: DUP1
00000bf7: RETURNDATACOPY
00000bf8: RETURNDATASIZE
00000bf9: PUSH1 0x00
00000bfb: REVERT
00000bfc: JUMPDEST
00000bfd: POP
00000bfe: PUSH2 0x0cb3
00000c01: JUMP
00000c02: JUMPDEST
00000c03: DUP3
00000c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c19: AND
00000c1a: PUSH4 0xa9059cbb
00000c1f: PUSH1 0x09
00000c21: PUSH1 0x00
00000c23: SWAP1
00000c24: SLOAD
00000c25: SWAP1
00000c26: PUSH2 0x0100
00000c29: EXP
00000c2a: SWAP1
00000c2b: DIV
00000c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c41: AND
00000c42: DUP5
00000c43: PUSH1 0x40
00000c45: MLOAD
00000c46: DUP4
00000c47: PUSH4 0xffffffff
00000c4c: AND
00000c4d: PUSH1 0xe0
00000c4f: SHL
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x04
00000c54: ADD
00000c55: PUSH2 0x0c5f
00000c58: SWAP3
00000c59: SWAP2
00000c5a: SWAP1
00000c5b: PUSH2 0x1975
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: PUSH1 0x20
00000c62: PUSH1 0x40
00000c64: MLOAD
00000c65: DUP1
00000c66: DUP4
00000c67: SUB
00000c68: DUP2
00000c69: PUSH1 0x00
00000c6b: DUP8
00000c6c: DUP1
00000c6d: EXTCODESIZE
00000c6e: ISZERO
00000c6f: DUP1
00000c70: ISZERO
00000c71: PUSH2 0x0c79
00000c74: JUMPI
00000c75: PUSH1 0x00
00000c77: DUP1
00000c78: REVERT
00000c79: JUMPDEST
00000c7a: POP
00000c7b: GAS
00000c7c: CALL
00000c7d: ISZERO
00000c7e: DUP1
00000c7f: ISZERO
00000c80: PUSH2 0x0c8d
00000c83: JUMPI
00000c84: RETURNDATASIZE
00000c85: PUSH1 0x00
00000c87: DUP1
00000c88: RETURNDATACOPY
00000c89: RETURNDATASIZE
00000c8a: PUSH1 0x00
00000c8c: REVERT
00000c8d: JUMPDEST
00000c8e: POP
00000c8f: POP
00000c90: POP
00000c91: POP
00000c92: PUSH1 0x40
00000c94: MLOAD
00000c95: RETURNDATASIZE
00000c96: PUSH1 0x1f
00000c98: NOT
00000c99: PUSH1 0x1f
00000c9b: DUP3
00000c9c: ADD
00000c9d: AND
00000c9e: DUP3
00000c9f: ADD
00000ca0: DUP1
00000ca1: PUSH1 0x40
00000ca3: MSTORE
00000ca4: POP
00000ca5: DUP2
00000ca6: ADD
00000ca7: SWAP1
00000ca8: PUSH2 0x0cb1
00000cab: SWAP2
00000cac: SWAP1
00000cad: PUSH2 0x16ab
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: POP
00000cb3: JUMPDEST
00000cb4: PUSH1 0x01
00000cb6: PUSH1 0x08
00000cb8: PUSH1 0x14
00000cba: PUSH2 0x0100
00000cbd: EXP
00000cbe: DUP2
00000cbf: SLOAD
00000cc0: DUP2
00000cc1: PUSH1 0xff
00000cc3: MUL
00000cc4: NOT
00000cc5: AND
00000cc6: SWAP1
00000cc7: DUP4
00000cc8: ISZERO
00000cc9: ISZERO
00000cca: MUL
00000ccb: OR
00000ccc: SWAP1
00000ccd: SSTORE
00000cce: POP
00000ccf: POP
00000cd0: POP
00000cd1: POP
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: PUSH1 0x00
00000cd6: DUP1
00000cd7: PUSH1 0x00
00000cd9: DUP4
00000cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cef: AND
00000cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d05: AND
00000d06: DUP2
00000d07: MSTORE
00000d08: PUSH1 0x20
00000d0a: ADD
00000d0b: SWAP1
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: ADD
00000d11: PUSH1 0x00
00000d13: KECCAK256
00000d14: SLOAD
00000d15: SWAP1
00000d16: POP
00000d17: SWAP2
00000d18: SWAP1
00000d19: POP
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: PUSH1 0x07
00000d1e: SLOAD
00000d1f: DUP2
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x60
00000d24: PUSH1 0x04
00000d26: DUP1
00000d27: SLOAD
00000d28: PUSH2 0x0d30
00000d2b: SWAP1
00000d2c: PUSH2 0x1de8
00000d2f: JUMP
00000d30: JUMPDEST
00000d31: DUP1
00000d32: PUSH1 0x1f
00000d34: ADD
00000d35: PUSH1 0x20
00000d37: DUP1
00000d38: SWAP2
00000d39: DIV
00000d3a: MUL
00000d3b: PUSH1 0x20
00000d3d: ADD
00000d3e: PUSH1 0x40
00000d40: MLOAD
00000d41: SWAP1
00000d42: DUP2
00000d43: ADD
00000d44: PUSH1 0x40
00000d46: MSTORE
00000d47: DUP1
00000d48: SWAP3
00000d49: SWAP2
00000d4a: SWAP1
00000d4b: DUP2
00000d4c: DUP2
00000d4d: MSTORE
00000d4e: PUSH1 0x20
00000d50: ADD
00000d51: DUP3
00000d52: DUP1
00000d53: SLOAD
00000d54: PUSH2 0x0d5c
00000d57: SWAP1
00000d58: PUSH2 0x1de8
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: DUP1
00000d5e: ISZERO
00000d5f: PUSH2 0x0da9
00000d62: JUMPI
00000d63: DUP1
00000d64: PUSH1 0x1f
00000d66: LT
00000d67: PUSH2 0x0d7e
00000d6a: JUMPI
00000d6b: PUSH2 0x0100
00000d6e: DUP1
00000d6f: DUP4
00000d70: SLOAD
00000d71: DIV
00000d72: MUL
00000d73: DUP4
00000d74: MSTORE
00000d75: SWAP2
00000d76: PUSH1 0x20
00000d78: ADD
00000d79: SWAP2
00000d7a: PUSH2 0x0da9
00000d7d: JUMP
00000d7e: JUMPDEST
00000d7f: DUP3
00000d80: ADD
00000d81: SWAP2
00000d82: SWAP1
00000d83: PUSH1 0x00
00000d85: MSTORE
00000d86: PUSH1 0x20
00000d88: PUSH1 0x00
00000d8a: KECCAK256
00000d8b: SWAP1
00000d8c: JUMPDEST
00000d8d: DUP2
00000d8e: SLOAD
00000d8f: DUP2
00000d90: MSTORE
00000d91: SWAP1
00000d92: PUSH1 0x01
00000d94: ADD
00000d95: SWAP1
00000d96: PUSH1 0x20
00000d98: ADD
00000d99: DUP1
00000d9a: DUP4
00000d9b: GT
00000d9c: PUSH2 0x0d8c
00000d9f: JUMPI
00000da0: DUP3
00000da1: SWAP1
00000da2: SUB
00000da3: PUSH1 0x1f
00000da5: AND
00000da6: DUP3
00000da7: ADD
00000da8: SWAP2
00000da9: JUMPDEST
00000daa: POP
00000dab: POP
00000dac: POP
00000dad: POP
00000dae: POP
00000daf: SWAP1
00000db0: POP
00000db1: SWAP1
00000db2: JUMP
00000db3: JUMPDEST
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: PUSH2 0x0dbe
00000dba: PUSH2 0x0f8a
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: SWAP1
00000dc0: POP
00000dc1: PUSH1 0x00
00000dc3: PUSH1 0x01
00000dc5: PUSH1 0x00
00000dc7: DUP4
00000dc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddd: AND
00000dde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df3: AND
00000df4: DUP2
00000df5: MSTORE
00000df6: PUSH1 0x20
00000df8: ADD
00000df9: SWAP1
00000dfa: DUP2
00000dfb: MSTORE
00000dfc: PUSH1 0x20
00000dfe: ADD
00000dff: PUSH1 0x00
00000e01: KECCAK256
00000e02: PUSH1 0x00
00000e04: DUP7
00000e05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1a: AND
00000e1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e30: AND
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x20
00000e35: ADD
00000e36: SWAP1
00000e37: DUP2
00000e38: MSTORE
00000e39: PUSH1 0x20
00000e3b: ADD
00000e3c: PUSH1 0x00
00000e3e: KECCAK256
00000e3f: SLOAD
00000e40: SWAP1
00000e41: POP
00000e42: DUP4
00000e43: DUP2
00000e44: LT
00000e45: ISZERO
00000e46: PUSH2 0x0e84
00000e49: JUMPI
00000e4a: PUSH1 0x40
00000e4c: MLOAD
00000e4d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e6e: DUP2
00000e6f: MSTORE
00000e70: PUSH1 0x04
00000e72: ADD
00000e73: PUSH2 0x0e7b
00000e76: SWAP1
00000e77: PUSH2 0x1ba5
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH1 0x40
00000e7e: MLOAD
00000e7f: DUP1
00000e80: SWAP2
00000e81: SUB
00000e82: SWAP1
00000e83: REVERT
00000e84: JUMPDEST
00000e85: PUSH2 0x0e91
00000e88: DUP3
00000e89: DUP7
00000e8a: DUP7
00000e8b: DUP5
00000e8c: SUB
00000e8d: PUSH2 0x0f92
00000e90: JUMP
00000e91: JUMPDEST
00000e92: PUSH1 0x01
00000e94: SWAP3
00000e95: POP
00000e96: POP
00000e97: POP
00000e98: SWAP3
00000e99: SWAP2
00000e9a: POP
00000e9b: POP
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x00
00000ea0: DUP1
00000ea1: PUSH2 0x0ea8
00000ea4: PUSH2 0x0f8a
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: SWAP1
00000eaa: POP
00000eab: PUSH2 0x0eb5
00000eae: DUP2
00000eaf: DUP6
00000eb0: DUP6
00000eb1: PUSH2 0x11e9
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x01
00000eb8: SWAP2
00000eb9: POP
00000eba: POP
00000ebb: SWAP3
00000ebc: SWAP2
00000ebd: POP
00000ebe: POP
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: PUSH1 0x08
00000ec3: PUSH1 0x00
00000ec5: SWAP1
00000ec6: SLOAD
00000ec7: SWAP1
00000ec8: PUSH2 0x0100
00000ecb: EXP
00000ecc: SWAP1
00000ecd: DIV
00000ece: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee3: AND
00000ee4: DUP2
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x08
00000ee9: PUSH1 0x14
00000eeb: SWAP1
00000eec: SLOAD
00000eed: SWAP1
00000eee: PUSH2 0x0100
00000ef1: EXP
00000ef2: SWAP1
00000ef3: DIV
00000ef4: PUSH1 0xff
00000ef6: AND
00000ef7: DUP2
00000ef8: JUMP
00000ef9: JUMPDEST
00000efa: PUSH1 0x00
00000efc: PUSH1 0x01
00000efe: PUSH1 0x00
00000f00: DUP5
00000f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f16: AND
00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2c: AND
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x20
00000f31: ADD
00000f32: SWAP1
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x20
00000f37: ADD
00000f38: PUSH1 0x00
00000f3a: KECCAK256
00000f3b: PUSH1 0x00
00000f3d: DUP4
00000f3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f53: AND
00000f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f69: AND
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x20
00000f6e: ADD
00000f6f: SWAP1
00000f70: DUP2
00000f71: MSTORE
00000f72: PUSH1 0x20
00000f74: ADD
00000f75: PUSH1 0x00
00000f77: KECCAK256
00000f78: SLOAD
00000f79: SWAP1
00000f7a: POP
00000f7b: SWAP3
00000f7c: SWAP2
00000f7d: POP
00000f7e: POP
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: POP
00000f82: POP
00000f83: POP
00000f84: JUMP
00000f85: JUMPDEST
00000f86: POP
00000f87: POP
00000f88: POP
00000f89: JUMP
00000f8a: JUMPDEST
00000f8b: PUSH1 0x00
00000f8d: CALLER
00000f8e: SWAP1
00000f8f: POP
00000f90: SWAP1
00000f91: JUMP
00000f92: JUMPDEST
00000f93: PUSH1 0x00
00000f95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000faa: AND
00000fab: DUP4
00000fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc1: AND
00000fc2: EQ
00000fc3: ISZERO
00000fc4: PUSH2 0x1002
00000fc7: JUMPI
00000fc8: PUSH1 0x40
00000fca: MLOAD
00000fcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x04
00000ff0: ADD
00000ff1: PUSH2 0x0ff9
00000ff4: SWAP1
00000ff5: PUSH2 0x1b85
00000ff8: JUMP
00000ff9: JUMPDEST
00000ffa: PUSH1 0x40
00000ffc: MLOAD
00000ffd: DUP1
00000ffe: SWAP2
00000fff: SUB
00001000: SWAP1
00001001: REVERT
00001002: JUMPDEST
00001003: PUSH1 0x00
00001005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101a: AND
0000101b: DUP3
0000101c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001031: AND
00001032: EQ
00001033: ISZERO
00001034: PUSH2 0x1072
00001037: JUMPI
00001038: PUSH1 0x40
0000103a: MLOAD
0000103b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000105c: DUP2
0000105d: MSTORE
0000105e: PUSH1 0x04
00001060: ADD
00001061: PUSH2 0x1069
00001064: SWAP1
00001065: PUSH2 0x1ac5
00001068: JUMP
00001069: JUMPDEST
0000106a: PUSH1 0x40
0000106c: MLOAD
0000106d: DUP1
0000106e: SWAP2
0000106f: SUB
00001070: SWAP1
00001071: REVERT
00001072: JUMPDEST
00001073: DUP1
00001074: PUSH1 0x01
00001076: PUSH1 0x00
00001078: DUP6
00001079: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108e: AND
0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a4: AND
000010a5: DUP2
000010a6: MSTORE
000010a7: PUSH1 0x20
000010a9: ADD
000010aa: SWAP1
000010ab: DUP2
000010ac: MSTORE
000010ad: PUSH1 0x20
000010af: ADD
000010b0: PUSH1 0x00
000010b2: KECCAK256
000010b3: PUSH1 0x00
000010b5: DUP5
000010b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cb: AND
000010cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e1: AND
000010e2: DUP2
000010e3: MSTORE
000010e4: PUSH1 0x20
000010e6: ADD
000010e7: SWAP1
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x20
000010ec: ADD
000010ed: PUSH1 0x00
000010ef: KECCAK256
000010f0: DUP2
000010f1: SWAP1
000010f2: SSTORE
000010f3: POP
000010f4: DUP2
000010f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110a: AND
0000110b: DUP4
0000110c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001121: AND
00001122: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001143: DUP4
00001144: PUSH1 0x40
00001146: MLOAD
00001147: PUSH2 0x1150
0000114a: SWAP2
0000114b: SWAP1
0000114c: PUSH2 0x1be5
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x40
00001153: MLOAD
00001154: DUP1
00001155: SWAP2
00001156: SUB
00001157: SWAP1
00001158: LOG3
00001159: POP
0000115a: POP
0000115b: POP
0000115c: JUMP
0000115d: JUMPDEST
0000115e: PUSH1 0x00
00001160: PUSH2 0x1169
00001163: DUP5
00001164: DUP5
00001165: PUSH2 0x0ef9
00001168: JUMP
00001169: JUMPDEST
0000116a: SWAP1
0000116b: POP
0000116c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000118d: DUP2
0000118e: EQ
0000118f: PUSH2 0x11e3
00001192: JUMPI
00001193: DUP2
00001194: DUP2
00001195: LT
00001196: ISZERO
00001197: PUSH2 0x11d5
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011bf: DUP2
000011c0: MSTORE
000011c1: PUSH1 0x04
000011c3: ADD
000011c4: PUSH2 0x11cc
000011c7: SWAP1
000011c8: PUSH2 0x1ae5
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: DUP1
000011d1: SWAP2
000011d2: SUB
000011d3: SWAP1
000011d4: REVERT
000011d5: JUMPDEST
000011d6: PUSH2 0x11e2
000011d9: DUP5
000011da: DUP5
000011db: DUP5
000011dc: DUP5
000011dd: SUB
000011de: PUSH2 0x0f92
000011e1: JUMP
000011e2: JUMPDEST
000011e3: JUMPDEST
000011e4: POP
000011e5: POP
000011e6: POP
000011e7: POP
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH1 0x08
000011ec: PUSH1 0x14
000011ee: SWAP1
000011ef: SLOAD
000011f0: SWAP1
000011f1: PUSH2 0x0100
000011f4: EXP
000011f5: SWAP1
000011f6: DIV
000011f7: PUSH1 0xff
000011f9: AND
000011fa: ISZERO
000011fb: DUP1
000011fc: ISZERO
000011fd: PUSH2 0x1232
00001200: JUMPI
00001201: POP
00001202: ADDRESS
00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001218: AND
00001219: DUP4
0000121a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122f: AND
00001230: EQ
00001231: ISZERO
00001232: JUMPDEST
00001233: ISZERO
00001234: PUSH2 0x1272
00001237: JUMPI
00001238: PUSH1 0x40
0000123a: MLOAD
0000123b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000125c: DUP2
0000125d: MSTORE
0000125e: PUSH1 0x04
00001260: ADD
00001261: PUSH2 0x1269
00001264: SWAP1
00001265: PUSH2 0x1b45
00001268: JUMP
00001269: JUMPDEST
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: DUP1
0000126e: SWAP2
0000126f: SUB
00001270: SWAP1
00001271: REVERT
00001272: JUMPDEST
00001273: PUSH2 0x127d
00001276: DUP4
00001277: DUP4
00001278: DUP4
00001279: PUSH2 0x1282
0000127c: JUMP
0000127d: JUMPDEST
0000127e: POP
0000127f: POP
00001280: POP
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH1 0x00
00001285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129a: AND
0000129b: DUP4
0000129c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b1: AND
000012b2: EQ
000012b3: ISZERO
000012b4: PUSH2 0x12f2
000012b7: JUMPI
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x04
000012e0: ADD
000012e1: PUSH2 0x12e9
000012e4: SWAP1
000012e5: PUSH2 0x1b65
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: DUP1
000012ee: SWAP2
000012ef: SUB
000012f0: SWAP1
000012f1: REVERT
000012f2: JUMPDEST
000012f3: PUSH1 0x00
000012f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130a: AND
0000130b: DUP3
0000130c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001321: AND
00001322: EQ
00001323: ISZERO
00001324: PUSH2 0x1362
00001327: JUMPI
00001328: PUSH1 0x40
0000132a: MLOAD
0000132b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000134c: DUP2
0000134d: MSTORE
0000134e: PUSH1 0x04
00001350: ADD
00001351: PUSH2 0x1359
00001354: SWAP1
00001355: PUSH2 0x1a65
00001358: JUMP
00001359: JUMPDEST
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: DUP1
0000135e: SWAP2
0000135f: SUB
00001360: SWAP1
00001361: REVERT
00001362: JUMPDEST
00001363: PUSH2 0x136d
00001366: DUP4
00001367: DUP4
00001368: DUP4
00001369: PUSH2 0x0f80
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x00
00001370: DUP1
00001371: PUSH1 0x00
00001373: DUP6
00001374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001389: AND
0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139f: AND
000013a0: DUP2
000013a1: MSTORE
000013a2: PUSH1 0x20
000013a4: ADD
000013a5: SWAP1
000013a6: DUP2
000013a7: MSTORE
000013a8: PUSH1 0x20
000013aa: ADD
000013ab: PUSH1 0x00
000013ad: KECCAK256
000013ae: SLOAD
000013af: SWAP1
000013b0: POP
000013b1: DUP2
000013b2: DUP2
000013b3: LT
000013b4: ISZERO
000013b5: PUSH2 0x13f3
000013b8: JUMPI
000013b9: PUSH1 0x40
000013bb: MLOAD
000013bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x04
000013e1: ADD
000013e2: PUSH2 0x13ea
000013e5: SWAP1
000013e6: PUSH2 0x1b05
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH1 0x40
000013ed: MLOAD
000013ee: DUP1
000013ef: SWAP2
000013f0: SUB
000013f1: SWAP1
000013f2: REVERT
000013f3: JUMPDEST
000013f4: DUP2
000013f5: DUP2
000013f6: SUB
000013f7: PUSH1 0x00
000013f9: DUP1
000013fa: DUP7
000013fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001410: AND
00001411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001426: AND
00001427: DUP2
00001428: MSTORE
00001429: PUSH1 0x20
0000142b: ADD
0000142c: SWAP1
0000142d: DUP2
0000142e: MSTORE
0000142f: PUSH1 0x20
00001431: ADD
00001432: PUSH1 0x00
00001434: KECCAK256
00001435: DUP2
00001436: SWAP1
00001437: SSTORE
00001438: POP
00001439: DUP2
0000143a: PUSH1 0x00
0000143c: DUP1
0000143d: DUP6
0000143e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001453: AND
00001454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001469: AND
0000146a: DUP2
0000146b: MSTORE
0000146c: PUSH1 0x20
0000146e: ADD
0000146f: SWAP1
00001470: DUP2
00001471: MSTORE
00001472: PUSH1 0x20
00001474: ADD
00001475: PUSH1 0x00
00001477: KECCAK256
00001478: PUSH1 0x00
0000147a: DUP3
0000147b: DUP3
0000147c: SLOAD
0000147d: PUSH2 0x1486
00001480: SWAP2
00001481: SWAP1
00001482: PUSH2 0x1c37
00001485: JUMP
00001486: JUMPDEST
00001487: SWAP3
00001488: POP
00001489: POP
0000148a: DUP2
0000148b: SWAP1
0000148c: SSTORE
0000148d: POP
0000148e: DUP3
0000148f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014a4: AND
000014a5: DUP5
000014a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bb: AND
000014bc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000014dd: DUP5
000014de: PUSH1 0x40
000014e0: MLOAD
000014e1: PUSH2 0x14ea
000014e4: SWAP2
000014e5: SWAP1
000014e6: PUSH2 0x1be5
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH1 0x40
000014ed: MLOAD
000014ee: DUP1
000014ef: SWAP2
000014f0: SUB
000014f1: SWAP1
000014f2: LOG3
000014f3: PUSH2 0x14fd
000014f6: DUP5
000014f7: DUP5
000014f8: DUP5
000014f9: PUSH2 0x0f85
000014fc: JUMP
000014fd: JUMPDEST
000014fe: POP
000014ff: POP
00001500: POP
00001501: POP
00001502: JUMP
00001503: JUMPDEST
00001504: PUSH1 0x00
00001506: DUP2
00001507: CALLDATALOAD
00001508: SWAP1
00001509: POP
0000150a: PUSH2 0x1512
0000150d: DUP2
0000150e: PUSH2 0x21d1
00001511: JUMP
00001512: JUMPDEST
00001513: SWAP3
00001514: SWAP2
00001515: POP
00001516: POP
00001517: JUMP
00001518: JUMPDEST
00001519: PUSH1 0x00
0000151b: DUP2
0000151c: CALLDATALOAD
0000151d: SWAP1
0000151e: POP
0000151f: PUSH2 0x1527
00001522: DUP2
00001523: PUSH2 0x21e8
00001526: JUMP
00001527: JUMPDEST
00001528: SWAP3
00001529: SWAP2
0000152a: POP
0000152b: POP
0000152c: JUMP
0000152d: JUMPDEST
0000152e: PUSH1 0x00
00001530: DUP2
00001531: MLOAD
00001532: SWAP1
00001533: POP
00001534: PUSH2 0x153c
00001537: DUP2
00001538: PUSH2 0x21e8
0000153b: JUMP
0000153c: JUMPDEST
0000153d: SWAP3
0000153e: SWAP2
0000153f: POP
00001540: POP
00001541: JUMP
00001542: JUMPDEST
00001543: PUSH1 0x00
00001545: DUP2
00001546: CALLDATALOAD
00001547: SWAP1
00001548: POP
00001549: PUSH2 0x1551
0000154c: DUP2
0000154d: PUSH2 0x21ff
00001550: JUMP
00001551: JUMPDEST
00001552: SWAP3
00001553: SWAP2
00001554: POP
00001555: POP
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH1 0x00
0000155a: DUP2
0000155b: MLOAD
0000155c: SWAP1
0000155d: POP
0000155e: PUSH2 0x1566
00001561: DUP2
00001562: PUSH2 0x21ff
00001565: JUMP
00001566: JUMPDEST
00001567: SWAP3
00001568: SWAP2
00001569: POP
0000156a: POP
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH1 0x00
0000156f: PUSH1 0x20
00001571: DUP3
00001572: DUP5
00001573: SUB
00001574: SLT
00001575: ISZERO
00001576: PUSH2 0x157e
00001579: JUMPI
0000157a: PUSH1 0x00
0000157c: DUP1
0000157d: REVERT
0000157e: JUMPDEST
0000157f: PUSH1 0x00
00001581: PUSH2 0x158c
00001584: DUP5
00001585: DUP3
00001586: DUP6
00001587: ADD
00001588: PUSH2 0x1503
0000158b: JUMP
0000158c: JUMPDEST
0000158d: SWAP2
0000158e: POP
0000158f: POP
00001590: SWAP3
00001591: SWAP2
00001592: POP
00001593: POP
00001594: JUMP
00001595: JUMPDEST
00001596: PUSH1 0x00
00001598: DUP1
00001599: PUSH1 0x40
0000159b: DUP4
0000159c: DUP6
0000159d: SUB
0000159e: SLT
0000159f: ISZERO
000015a0: PUSH2 0x15a8
000015a3: JUMPI
000015a4: PUSH1 0x00
000015a6: DUP1
000015a7: REVERT
000015a8: JUMPDEST
000015a9: PUSH1 0x00
000015ab: PUSH2 0x15b6
000015ae: DUP6
000015af: DUP3
000015b0: DUP7
000015b1: ADD
000015b2: PUSH2 0x1503
000015b5: JUMP
000015b6: JUMPDEST
000015b7: SWAP3
000015b8: POP
000015b9: POP
000015ba: PUSH1 0x20
000015bc: PUSH2 0x15c7
000015bf: DUP6
000015c0: DUP3
000015c1: DUP7
000015c2: ADD
000015c3: PUSH2 0x1503
000015c6: JUMP
000015c7: JUMPDEST
000015c8: SWAP2
000015c9: POP
000015ca: POP
000015cb: SWAP3
000015cc: POP
000015cd: SWAP3
000015ce: SWAP1
000015cf: POP
000015d0: JUMP
000015d1: JUMPDEST
000015d2: PUSH1 0x00
000015d4: DUP1
000015d5: PUSH1 0x00
000015d7: PUSH1 0x60
000015d9: DUP5
000015da: DUP7
000015db: SUB
000015dc: SLT
000015dd: ISZERO
000015de: PUSH2 0x15e6
000015e1: JUMPI
000015e2: PUSH1 0x00
000015e4: DUP1
000015e5: REVERT
000015e6: JUMPDEST
000015e7: PUSH1 0x00
000015e9: PUSH2 0x15f4
000015ec: DUP7
000015ed: DUP3
000015ee: DUP8
000015ef: ADD
000015f0: PUSH2 0x1503
000015f3: JUMP
000015f4: JUMPDEST
000015f5: SWAP4
000015f6: POP
000015f7: POP
000015f8: PUSH1 0x20
000015fa: PUSH2 0x1605
000015fd: DUP7
000015fe: DUP3
000015ff: DUP8
00001600: ADD
00001601: PUSH2 0x1503
00001604: JUMP
00001605: JUMPDEST
00001606: SWAP3
00001607: POP
00001608: POP
00001609: PUSH1 0x40
0000160b: PUSH2 0x1616
0000160e: DUP7
0000160f: DUP3
00001610: DUP8
00001611: ADD
00001612: PUSH2 0x1542
00001615: JUMP
00001616: JUMPDEST
00001617: SWAP2
00001618: POP
00001619: POP
0000161a: SWAP3
0000161b: POP
0000161c: SWAP3
0000161d: POP
0000161e: SWAP3
0000161f: JUMP
00001620: JUMPDEST
00001621: PUSH1 0x00
00001623: DUP1
00001624: PUSH1 0x40
00001626: DUP4
00001627: DUP6
00001628: SUB
00001629: SLT
0000162a: ISZERO
0000162b: PUSH2 0x1633
0000162e: JUMPI
0000162f: PUSH1 0x00
00001631: DUP1
00001632: REVERT
00001633: JUMPDEST
00001634: PUSH1 0x00
00001636: PUSH2 0x1641
00001639: DUP6
0000163a: DUP3
0000163b: DUP7
0000163c: ADD
0000163d: PUSH2 0x1503
00001640: JUMP
00001641: JUMPDEST
00001642: SWAP3
00001643: POP
00001644: POP
00001645: PUSH1 0x20
00001647: PUSH2 0x1652
0000164a: DUP6
0000164b: DUP3
0000164c: DUP7
0000164d: ADD
0000164e: PUSH2 0x1542
00001651: JUMP
00001652: JUMPDEST
00001653: SWAP2
00001654: POP
00001655: POP
00001656: SWAP3
00001657: POP
00001658: SWAP3
00001659: SWAP1
0000165a: POP
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH1 0x00
0000165f: DUP1
00001660: PUSH1 0x00
00001662: PUSH1 0x60
00001664: DUP5
00001665: DUP7
00001666: SUB
00001667: SLT
00001668: ISZERO
00001669: PUSH2 0x1671
0000166c: JUMPI
0000166d: PUSH1 0x00
0000166f: DUP1
00001670: REVERT
00001671: JUMPDEST
00001672: PUSH1 0x00
00001674: PUSH2 0x167f
00001677: DUP7
00001678: DUP3
00001679: DUP8
0000167a: ADD
0000167b: PUSH2 0x1503
0000167e: JUMP
0000167f: JUMPDEST
00001680: SWAP4
00001681: POP
00001682: POP
00001683: PUSH1 0x20
00001685: PUSH2 0x1690
00001688: DUP7
00001689: DUP3
0000168a: DUP8
0000168b: ADD
0000168c: PUSH2 0x1542
0000168f: JUMP
00001690: JUMPDEST
00001691: SWAP3
00001692: POP
00001693: POP
00001694: PUSH1 0x40
00001696: PUSH2 0x16a1
00001699: DUP7
0000169a: DUP3
0000169b: DUP8
0000169c: ADD
0000169d: PUSH2 0x1518
000016a0: JUMP
000016a1: JUMPDEST
000016a2: SWAP2
000016a3: POP
000016a4: POP
000016a5: SWAP3
000016a6: POP
000016a7: SWAP3
000016a8: POP
000016a9: SWAP3
000016aa: JUMP
000016ab: JUMPDEST
000016ac: PUSH1 0x00
000016ae: PUSH1 0x20
000016b0: DUP3
000016b1: DUP5
000016b2: SUB
000016b3: SLT
000016b4: ISZERO
000016b5: PUSH2 0x16bd
000016b8: JUMPI
000016b9: PUSH1 0x00
000016bb: DUP1
000016bc: REVERT
000016bd: JUMPDEST
000016be: PUSH1 0x00
000016c0: PUSH2 0x16cb
000016c3: DUP5
000016c4: DUP3
000016c5: DUP6
000016c6: ADD
000016c7: PUSH2 0x152d
000016ca: JUMP
000016cb: JUMPDEST
000016cc: SWAP2
000016cd: POP
000016ce: POP
000016cf: SWAP3
000016d0: SWAP2
000016d1: POP
000016d2: POP
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH1 0x00
000016d7: DUP1
000016d8: PUSH1 0x00
000016da: PUSH1 0x60
000016dc: DUP5
000016dd: DUP7
000016de: SUB
000016df: SLT
000016e0: ISZERO
000016e1: PUSH2 0x16e9
000016e4: JUMPI
000016e5: PUSH1 0x00
000016e7: DUP1
000016e8: REVERT
000016e9: JUMPDEST
000016ea: PUSH1 0x00
000016ec: PUSH2 0x16f7
000016ef: DUP7
000016f0: DUP3
000016f1: DUP8
000016f2: ADD
000016f3: PUSH2 0x1557
000016f6: JUMP
000016f7: JUMPDEST
000016f8: SWAP4
000016f9: POP
000016fa: POP
000016fb: PUSH1 0x20
000016fd: PUSH2 0x1708
00001700: DUP7
00001701: DUP3
00001702: DUP8
00001703: ADD
00001704: PUSH2 0x1557
00001707: JUMP
00001708: JUMPDEST
00001709: SWAP3
0000170a: POP
0000170b: POP
0000170c: PUSH1 0x40
0000170e: PUSH2 0x1719
00001711: DUP7
00001712: DUP3
00001713: DUP8
00001714: ADD
00001715: PUSH2 0x1557
00001718: JUMP
00001719: JUMPDEST
0000171a: SWAP2
0000171b: POP
0000171c: POP
0000171d: SWAP3
0000171e: POP
0000171f: SWAP3
00001720: POP
00001721: SWAP3
00001722: JUMP
00001723: JUMPDEST
00001724: PUSH2 0x172c
00001727: DUP2
00001728: PUSH2 0x1d6d
0000172b: JUMP
0000172c: JUMPDEST
0000172d: DUP3
0000172e: MSTORE
0000172f: POP
00001730: POP
00001731: JUMP
00001732: JUMPDEST
00001733: PUSH2 0x173b
00001736: DUP2
00001737: PUSH2 0x1d18
0000173a: JUMP
0000173b: JUMPDEST
0000173c: DUP3
0000173d: MSTORE
0000173e: POP
0000173f: POP
00001740: JUMP
00001741: JUMPDEST
00001742: PUSH2 0x174a
00001745: DUP2
00001746: PUSH2 0x1d2a
00001749: JUMP
0000174a: JUMPDEST
0000174b: DUP3
0000174c: MSTORE
0000174d: POP
0000174e: POP
0000174f: JUMP
00001750: JUMPDEST
00001751: PUSH2 0x1759
00001754: DUP2
00001755: PUSH2 0x1d7f
00001758: JUMP
00001759: JUMPDEST
0000175a: DUP3
0000175b: MSTORE
0000175c: POP
0000175d: POP
0000175e: JUMP
0000175f: JUMPDEST
00001760: PUSH1 0x00
00001762: PUSH2 0x176a
00001765: DUP3
00001766: PUSH2 0x1c1b
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH2 0x1774
0000176e: DUP2
0000176f: DUP6
00001770: PUSH2 0x1c26
00001773: JUMP
00001774: JUMPDEST
00001775: SWAP4
00001776: POP
00001777: PUSH2 0x1784
0000177a: DUP2
0000177b: DUP6
0000177c: PUSH1 0x20
0000177e: DUP7
0000177f: ADD
00001780: PUSH2 0x1db5
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH2 0x178d
00001788: DUP2
00001789: PUSH2 0x1ef0
0000178c: JUMP
0000178d: JUMPDEST
0000178e: DUP5
0000178f: ADD
00001790: SWAP2
00001791: POP
00001792: POP
00001793: SWAP3
00001794: SWAP2
00001795: POP
00001796: POP
00001797: JUMP
00001798: JUMPDEST
00001799: PUSH1 0x00
0000179b: PUSH2 0x17a5
0000179e: PUSH1 0x23
000017a0: DUP4
000017a1: PUSH2 0x1c26
000017a4: JUMP
000017a5: JUMPDEST
000017a6: SWAP2
000017a7: POP
000017a8: PUSH2 0x17b0
000017ab: DUP3
000017ac: PUSH2 0x1f01
000017af: JUMP
000017b0: JUMPDEST
000017b1: PUSH1 0x40
000017b3: DUP3
000017b4: ADD
000017b5: SWAP1
000017b6: POP
000017b7: SWAP2
000017b8: SWAP1
000017b9: POP
000017ba: JUMP
000017bb: JUMPDEST
000017bc: PUSH1 0x00
000017be: PUSH2 0x17c8
000017c1: PUSH1 0x11
000017c3: DUP4
000017c4: PUSH2 0x1c26
000017c7: JUMP
000017c8: JUMPDEST
000017c9: SWAP2
000017ca: POP
000017cb: PUSH2 0x17d3
000017ce: DUP3
000017cf: PUSH2 0x1f50
000017d2: JUMP
000017d3: JUMPDEST
000017d4: PUSH1 0x20
000017d6: DUP3
000017d7: ADD
000017d8: SWAP1
000017d9: POP
000017da: SWAP2
000017db: SWAP1
000017dc: POP
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH1 0x00
000017e1: PUSH2 0x17eb
000017e4: PUSH1 0x0c
000017e6: DUP4
000017e7: PUSH2 0x1c26
000017ea: JUMP
000017eb: JUMPDEST
000017ec: SWAP2
000017ed: POP
000017ee: PUSH2 0x17f6
000017f1: DUP3
000017f2: PUSH2 0x1f79
000017f5: JUMP
000017f6: JUMPDEST
000017f7: PUSH1 0x20
000017f9: DUP3
000017fa: ADD
000017fb: SWAP1
000017fc: POP
000017fd: SWAP2
000017fe: SWAP1
000017ff: POP
00001800: JUMP
00001801: JUMPDEST
00001802: PUSH1 0x00
00001804: PUSH2 0x180e
00001807: PUSH1 0x22
00001809: DUP4
0000180a: PUSH2 0x1c26
0000180d: JUMP
0000180e: JUMPDEST
0000180f: SWAP2
00001810: POP
00001811: PUSH2 0x1819
00001814: DUP3
00001815: PUSH2 0x1fa2
00001818: JUMP
00001819: JUMPDEST
0000181a: PUSH1 0x40
0000181c: DUP3
0000181d: ADD
0000181e: SWAP1
0000181f: POP
00001820: SWAP2
00001821: SWAP1
00001822: POP
00001823: JUMP
00001824: JUMPDEST
00001825: PUSH1 0x00
00001827: PUSH2 0x1831
0000182a: PUSH1 0x1d
0000182c: DUP4
0000182d: PUSH2 0x1c26
00001830: JUMP
00001831: JUMPDEST
00001832: SWAP2
00001833: POP
00001834: PUSH2 0x183c
00001837: DUP3
00001838: PUSH2 0x1ff1
0000183b: JUMP
0000183c: JUMPDEST
0000183d: PUSH1 0x20
0000183f: DUP3
00001840: ADD
00001841: SWAP1
00001842: POP
00001843: SWAP2
00001844: SWAP1
00001845: POP
00001846: JUMP
00001847: JUMPDEST
00001848: PUSH1 0x00
0000184a: PUSH2 0x1854
0000184d: PUSH1 0x26
0000184f: DUP4
00001850: PUSH2 0x1c26
00001853: JUMP
00001854: JUMPDEST
00001855: SWAP2
00001856: POP
00001857: PUSH2 0x185f
0000185a: DUP3
0000185b: PUSH2 0x201a
0000185e: JUMP
0000185f: JUMPDEST
00001860: PUSH1 0x40
00001862: DUP3
00001863: ADD
00001864: SWAP1
00001865: POP
00001866: SWAP2
00001867: SWAP1
00001868: POP
00001869: JUMP
0000186a: JUMPDEST
0000186b: PUSH1 0x00
0000186d: PUSH2 0x1877
00001870: PUSH1 0x0e
00001872: DUP4
00001873: PUSH2 0x1c26
00001876: JUMP
00001877: JUMPDEST
00001878: SWAP2
00001879: POP
0000187a: PUSH2 0x1882
0000187d: DUP3
0000187e: PUSH2 0x2069
00001881: JUMP
00001882: JUMPDEST
00001883: PUSH1 0x20
00001885: DUP3
00001886: ADD
00001887: SWAP1
00001888: POP
00001889: SWAP2
0000188a: SWAP1
0000188b: POP
0000188c: JUMP
0000188d: JUMPDEST
0000188e: PUSH1 0x00
00001890: PUSH2 0x189a
00001893: PUSH1 0x10
00001895: DUP4
00001896: PUSH2 0x1c26
00001899: JUMP
0000189a: JUMPDEST
0000189b: SWAP2
0000189c: POP
0000189d: PUSH2 0x18a5
000018a0: DUP3
000018a1: PUSH2 0x2092
000018a4: JUMP
000018a5: JUMPDEST
000018a6: PUSH1 0x20
000018a8: DUP3
000018a9: ADD
000018aa: SWAP1
000018ab: POP
000018ac: SWAP2
000018ad: SWAP1
000018ae: POP
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH1 0x00
000018b3: PUSH2 0x18bd
000018b6: PUSH1 0x25
000018b8: DUP4
000018b9: PUSH2 0x1c26
000018bc: JUMP
000018bd: JUMPDEST
000018be: SWAP2
000018bf: POP
000018c0: PUSH2 0x18c8
000018c3: DUP3
000018c4: PUSH2 0x20bb
000018c7: JUMP
000018c8: JUMPDEST
000018c9: PUSH1 0x40
000018cb: DUP3
000018cc: ADD
000018cd: SWAP1
000018ce: POP
000018cf: SWAP2
000018d0: SWAP1
000018d1: POP
000018d2: JUMP
000018d3: JUMPDEST
000018d4: PUSH1 0x00
000018d6: PUSH2 0x18e0
000018d9: PUSH1 0x24
000018db: DUP4
000018dc: PUSH2 0x1c26
000018df: JUMP
000018e0: JUMPDEST
000018e1: SWAP2
000018e2: POP
000018e3: PUSH2 0x18eb
000018e6: DUP3
000018e7: PUSH2 0x210a
000018ea: JUMP
000018eb: JUMPDEST
000018ec: PUSH1 0x40
000018ee: DUP3
000018ef: ADD
000018f0: SWAP1
000018f1: POP
000018f2: SWAP2
000018f3: SWAP1
000018f4: POP
000018f5: JUMP
000018f6: JUMPDEST
000018f7: PUSH1 0x00
000018f9: PUSH2 0x1903
000018fc: PUSH1 0x25
000018fe: DUP4
000018ff: PUSH2 0x1c26
00001902: JUMP
00001903: JUMPDEST
00001904: SWAP2
00001905: POP
00001906: PUSH2 0x190e
00001909: DUP3
0000190a: PUSH2 0x2159
0000190d: JUMP
0000190e: JUMPDEST
0000190f: PUSH1 0x40
00001911: DUP3
00001912: ADD
00001913: SWAP1
00001914: POP
00001915: SWAP2
00001916: SWAP1
00001917: POP
00001918: JUMP
00001919: JUMPDEST
0000191a: PUSH1 0x00
0000191c: PUSH2 0x1926
0000191f: PUSH1 0x1f
00001921: DUP4
00001922: PUSH2 0x1c26
00001925: JUMP
00001926: JUMPDEST
00001927: SWAP2
00001928: POP
00001929: PUSH2 0x1931
0000192c: DUP3
0000192d: PUSH2 0x21a8
00001930: JUMP
00001931: JUMPDEST
00001932: PUSH1 0x20
00001934: DUP3
00001935: ADD
00001936: SWAP1
00001937: POP
00001938: SWAP2
00001939: SWAP1
0000193a: POP
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH2 0x1945
00001940: DUP2
00001941: PUSH2 0x1d56
00001944: JUMP
00001945: JUMPDEST
00001946: DUP3
00001947: MSTORE
00001948: POP
00001949: POP
0000194a: JUMP
0000194b: JUMPDEST
0000194c: PUSH2 0x1954
0000194f: DUP2
00001950: PUSH2 0x1d60
00001953: JUMP
00001954: JUMPDEST
00001955: DUP3
00001956: MSTORE
00001957: POP
00001958: POP
00001959: JUMP
0000195a: JUMPDEST
0000195b: PUSH1 0x00
0000195d: PUSH1 0x20
0000195f: DUP3
00001960: ADD
00001961: SWAP1
00001962: POP
00001963: PUSH2 0x196f
00001966: PUSH1 0x00
00001968: DUP4
00001969: ADD
0000196a: DUP5
0000196b: PUSH2 0x1732
0000196e: JUMP
0000196f: JUMPDEST
00001970: SWAP3
00001971: SWAP2
00001972: POP
00001973: POP
00001974: JUMP
00001975: JUMPDEST
00001976: PUSH1 0x00
00001978: PUSH1 0x40
0000197a: DUP3
0000197b: ADD
0000197c: SWAP1
0000197d: POP
0000197e: PUSH2 0x198a
00001981: PUSH1 0x00
00001983: DUP4
00001984: ADD
00001985: DUP6
00001986: PUSH2 0x1723
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH2 0x1997
0000198e: PUSH1 0x20
00001990: DUP4
00001991: ADD
00001992: DUP5
00001993: PUSH2 0x193c
00001996: JUMP
00001997: JUMPDEST
00001998: SWAP4
00001999: SWAP3
0000199a: POP
0000199b: POP
0000199c: POP
0000199d: JUMP
0000199e: JUMPDEST
0000199f: PUSH1 0x00
000019a1: PUSH1 0x40
000019a3: DUP3
000019a4: ADD
000019a5: SWAP1
000019a6: POP
000019a7: PUSH2 0x19b3
000019aa: PUSH1 0x00
000019ac: DUP4
000019ad: ADD
000019ae: DUP6
000019af: PUSH2 0x1732
000019b2: JUMP
000019b3: JUMPDEST
000019b4: PUSH2 0x19c0
000019b7: PUSH1 0x20
000019b9: DUP4
000019ba: ADD
000019bb: DUP5
000019bc: PUSH2 0x193c
000019bf: JUMP
000019c0: JUMPDEST
000019c1: SWAP4
000019c2: SWAP3
000019c3: POP
000019c4: POP
000019c5: POP
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH1 0x00
000019ca: PUSH1 0xc0
000019cc: DUP3
000019cd: ADD
000019ce: SWAP1
000019cf: POP
000019d0: PUSH2 0x19dc
000019d3: PUSH1 0x00
000019d5: DUP4
000019d6: ADD
000019d7: DUP10
000019d8: PUSH2 0x1732
000019db: JUMP
000019dc: JUMPDEST
000019dd: PUSH2 0x19e9
000019e0: PUSH1 0x20
000019e2: DUP4
000019e3: ADD
000019e4: DUP9
000019e5: PUSH2 0x193c
000019e8: JUMP
000019e9: JUMPDEST
000019ea: PUSH2 0x19f6
000019ed: PUSH1 0x40
000019ef: DUP4
000019f0: ADD
000019f1: DUP8
000019f2: PUSH2 0x1750
000019f5: JUMP
000019f6: JUMPDEST
000019f7: PUSH2 0x1a03
000019fa: PUSH1 0x60
000019fc: DUP4
000019fd: ADD
000019fe: DUP7
000019ff: PUSH2 0x1750
00001a02: JUMP
00001a03: JUMPDEST
00001a04: PUSH2 0x1a10
00001a07: PUSH1 0x80
00001a09: DUP4
00001a0a: ADD
00001a0b: DUP6
00001a0c: PUSH2 0x1723
00001a0f: JUMP
00001a10: JUMPDEST
00001a11: PUSH2 0x1a1d
00001a14: PUSH1 0xa0
00001a16: DUP4
00001a17: ADD
00001a18: DUP5
00001a19: PUSH2 0x193c
00001a1c: JUMP
00001a1d: JUMPDEST
00001a1e: SWAP8
00001a1f: SWAP7
00001a20: POP
00001a21: POP
00001a22: POP
00001a23: POP
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH1 0x00
00001a2b: PUSH1 0x20
00001a2d: DUP3
00001a2e: ADD
00001a2f: SWAP1
00001a30: POP
00001a31: PUSH2 0x1a3d
00001a34: PUSH1 0x00
00001a36: DUP4
00001a37: ADD
00001a38: DUP5
00001a39: PUSH2 0x1741
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: SWAP3
00001a3f: SWAP2
00001a40: POP
00001a41: POP
00001a42: JUMP
00001a43: JUMPDEST
00001a44: PUSH1 0x00
00001a46: PUSH1 0x20
00001a48: DUP3
00001a49: ADD
00001a4a: SWAP1
00001a4b: POP
00001a4c: DUP2
00001a4d: DUP2
00001a4e: SUB
00001a4f: PUSH1 0x00
00001a51: DUP4
00001a52: ADD
00001a53: MSTORE
00001a54: PUSH2 0x1a5d
00001a57: DUP2
00001a58: DUP5
00001a59: PUSH2 0x175f
00001a5c: JUMP
00001a5d: JUMPDEST
00001a5e: SWAP1
00001a5f: POP
00001a60: SWAP3
00001a61: SWAP2
00001a62: POP
00001a63: POP
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH1 0x00
00001a68: PUSH1 0x20
00001a6a: DUP3
00001a6b: ADD
00001a6c: SWAP1
00001a6d: POP
00001a6e: DUP2
00001a6f: DUP2
00001a70: SUB
00001a71: PUSH1 0x00
00001a73: DUP4
00001a74: ADD
00001a75: MSTORE
00001a76: PUSH2 0x1a7e
00001a79: DUP2
00001a7a: PUSH2 0x1798
00001a7d: JUMP
00001a7e: JUMPDEST
00001a7f: SWAP1
00001a80: POP
00001a81: SWAP2
00001a82: SWAP1
00001a83: POP
00001a84: JUMP
00001a85: JUMPDEST
00001a86: PUSH1 0x00
00001a88: PUSH1 0x20
00001a8a: DUP3
00001a8b: ADD
00001a8c: SWAP1
00001a8d: POP
00001a8e: DUP2
00001a8f: DUP2
00001a90: SUB
00001a91: PUSH1 0x00
00001a93: DUP4
00001a94: ADD
00001a95: MSTORE
00001a96: PUSH2 0x1a9e
00001a99: DUP2
00001a9a: PUSH2 0x17bb
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: SWAP1
00001aa0: POP
00001aa1: SWAP2
00001aa2: SWAP1
00001aa3: POP
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: PUSH1 0x00
00001aa8: PUSH1 0x20
00001aaa: DUP3
00001aab: ADD
00001aac: SWAP1
00001aad: POP
00001aae: DUP2
00001aaf: DUP2
00001ab0: SUB
00001ab1: PUSH1 0x00
00001ab3: DUP4
00001ab4: ADD
00001ab5: MSTORE
00001ab6: PUSH2 0x1abe
00001ab9: DUP2
00001aba: PUSH2 0x17de
00001abd: JUMP
00001abe: JUMPDEST
00001abf: SWAP1
00001ac0: POP
00001ac1: SWAP2
00001ac2: SWAP1
00001ac3: POP
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: PUSH1 0x00
00001ac8: PUSH1 0x20
00001aca: DUP3
00001acb: ADD
00001acc: SWAP1
00001acd: POP
00001ace: DUP2
00001acf: DUP2
00001ad0: SUB
00001ad1: PUSH1 0x00
00001ad3: DUP4
00001ad4: ADD
00001ad5: MSTORE
00001ad6: PUSH2 0x1ade
00001ad9: DUP2
00001ada: PUSH2 0x1801
00001add: JUMP
00001ade: JUMPDEST
00001adf: SWAP1
00001ae0: POP
00001ae1: SWAP2
00001ae2: SWAP1
00001ae3: POP
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: PUSH1 0x00
00001ae8: PUSH1 0x20
00001aea: DUP3
00001aeb: ADD
00001aec: SWAP1
00001aed: POP
00001aee: DUP2
00001aef: DUP2
00001af0: SUB
00001af1: PUSH1 0x00
00001af3: DUP4
00001af4: ADD
00001af5: MSTORE
00001af6: PUSH2 0x1afe
00001af9: DUP2
00001afa: PUSH2 0x1824
00001afd: JUMP
00001afe: JUMPDEST
00001aff: SWAP1
00001b00: POP
00001b01: SWAP2
00001b02: SWAP1
00001b03: POP
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x00
00001b08: PUSH1 0x20
00001b0a: DUP3
00001b0b: ADD
00001b0c: SWAP1
00001b0d: POP
00001b0e: DUP2
00001b0f: DUP2
00001b10: SUB
00001b11: PUSH1 0x00
00001b13: DUP4
00001b14: ADD
00001b15: MSTORE
00001b16: PUSH2 0x1b1e
00001b19: DUP2
00001b1a: PUSH2 0x1847
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: SWAP1
00001b20: POP
00001b21: SWAP2
00001b22: SWAP1
00001b23: POP
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH1 0x00
00001b28: PUSH1 0x20
00001b2a: DUP3
00001b2b: ADD
00001b2c: SWAP1
00001b2d: POP
00001b2e: DUP2
00001b2f: DUP2
00001b30: SUB
00001b31: PUSH1 0x00
00001b33: DUP4
00001b34: ADD
00001b35: MSTORE
00001b36: PUSH2 0x1b3e
00001b39: DUP2
00001b3a: PUSH2 0x186a
00001b3d: JUMP
00001b3e: JUMPDEST
00001b3f: SWAP1
00001b40: POP
00001b41: SWAP2
00001b42: SWAP1
00001b43: POP
00001b44: JUMP
00001b45: JUMPDEST
00001b46: PUSH1 0x00
00001b48: PUSH1 0x20
00001b4a: DUP3
00001b4b: ADD
00001b4c: SWAP1
00001b4d: POP
00001b4e: DUP2
00001b4f: DUP2
00001b50: SUB
00001b51: PUSH1 0x00
00001b53: DUP4
00001b54: ADD
00001b55: MSTORE
00001b56: PUSH2 0x1b5e
00001b59: DUP2
00001b5a: PUSH2 0x188d
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: SWAP1
00001b60: POP
00001b61: SWAP2
00001b62: SWAP1
00001b63: POP
00001b64: JUMP
00001b65: JUMPDEST
00001b66: PUSH1 0x00
00001b68: PUSH1 0x20
00001b6a: DUP3
00001b6b: ADD
00001b6c: SWAP1
00001b6d: POP
00001b6e: DUP2
00001b6f: DUP2
00001b70: SUB
00001b71: PUSH1 0x00
00001b73: DUP4
00001b74: ADD
00001b75: MSTORE
00001b76: PUSH2 0x1b7e
00001b79: DUP2
00001b7a: PUSH2 0x18b0
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: SWAP1
00001b80: POP
00001b81: SWAP2
00001b82: SWAP1
00001b83: POP
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH1 0x00
00001b88: PUSH1 0x20
00001b8a: DUP3
00001b8b: ADD
00001b8c: SWAP1
00001b8d: POP
00001b8e: DUP2
00001b8f: DUP2
00001b90: SUB
00001b91: PUSH1 0x00
00001b93: DUP4
00001b94: ADD
00001b95: MSTORE
00001b96: PUSH2 0x1b9e
00001b99: DUP2
00001b9a: PUSH2 0x18d3
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: SWAP1
00001ba0: POP
00001ba1: SWAP2
00001ba2: SWAP1
00001ba3: POP
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH1 0x00
00001ba8: PUSH1 0x20
00001baa: DUP3
00001bab: ADD
00001bac: SWAP1
00001bad: POP
00001bae: DUP2
00001baf: DUP2
00001bb0: SUB
00001bb1: PUSH1 0x00
00001bb3: DUP4
00001bb4: ADD
00001bb5: MSTORE
00001bb6: PUSH2 0x1bbe
00001bb9: DUP2
00001bba: PUSH2 0x18f6
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: SWAP1
00001bc0: POP
00001bc1: SWAP2
00001bc2: SWAP1
00001bc3: POP
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: PUSH1 0x00
00001bc8: PUSH1 0x20
00001bca: DUP3
00001bcb: ADD
00001bcc: SWAP1
00001bcd: POP
00001bce: DUP2
00001bcf: DUP2
00001bd0: SUB
00001bd1: PUSH1 0x00
00001bd3: DUP4
00001bd4: ADD
00001bd5: MSTORE
00001bd6: PUSH2 0x1bde
00001bd9: DUP2
00001bda: PUSH2 0x1919
00001bdd: JUMP
00001bde: JUMPDEST
00001bdf: SWAP1
00001be0: POP
00001be1: SWAP2
00001be2: SWAP1
00001be3: POP
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x00
00001be8: PUSH1 0x20
00001bea: DUP3
00001beb: ADD
00001bec: SWAP1
00001bed: POP
00001bee: PUSH2 0x1bfa
00001bf1: PUSH1 0x00
00001bf3: DUP4
00001bf4: ADD
00001bf5: DUP5
00001bf6: PUSH2 0x193c
00001bf9: JUMP
00001bfa: JUMPDEST
00001bfb: SWAP3
00001bfc: SWAP2
00001bfd: POP
00001bfe: POP
00001bff: JUMP
00001c00: JUMPDEST
00001c01: PUSH1 0x00
00001c03: PUSH1 0x20
00001c05: DUP3
00001c06: ADD
00001c07: SWAP1
00001c08: POP
00001c09: PUSH2 0x1c15
00001c0c: PUSH1 0x00
00001c0e: DUP4
00001c0f: ADD
00001c10: DUP5
00001c11: PUSH2 0x194b
00001c14: JUMP
00001c15: JUMPDEST
00001c16: SWAP3
00001c17: SWAP2
00001c18: POP
00001c19: POP
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH1 0x00
00001c1e: DUP2
00001c1f: MLOAD
00001c20: SWAP1
00001c21: POP
00001c22: SWAP2
00001c23: SWAP1
00001c24: POP
00001c25: JUMP
00001c26: JUMPDEST
00001c27: PUSH1 0x00
00001c29: DUP3
00001c2a: DUP3
00001c2b: MSTORE
00001c2c: PUSH1 0x20
00001c2e: DUP3
00001c2f: ADD
00001c30: SWAP1
00001c31: POP
00001c32: SWAP3
00001c33: SWAP2
00001c34: POP
00001c35: POP
00001c36: JUMP
00001c37: JUMPDEST
00001c38: PUSH1 0x00
00001c3a: PUSH2 0x1c42
00001c3d: DUP3
00001c3e: PUSH2 0x1d56
00001c41: JUMP
00001c42: JUMPDEST
00001c43: SWAP2
00001c44: POP
00001c45: PUSH2 0x1c4d
00001c48: DUP4
00001c49: PUSH2 0x1d56
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: SWAP3
00001c4f: POP
00001c50: DUP3
00001c51: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c72: SUB
00001c73: DUP3
00001c74: GT
00001c75: ISZERO
00001c76: PUSH2 0x1c82
00001c79: JUMPI
00001c7a: PUSH2 0x1c81
00001c7d: PUSH2 0x1e63
00001c80: JUMP
00001c81: JUMPDEST
00001c82: JUMPDEST
00001c83: DUP3
00001c84: DUP3
00001c85: ADD
00001c86: SWAP1
00001c87: POP
00001c88: SWAP3
00001c89: SWAP2
00001c8a: POP
00001c8b: POP
00001c8c: JUMP
00001c8d: JUMPDEST
00001c8e: PUSH1 0x00
00001c90: PUSH2 0x1c98
00001c93: DUP3
00001c94: PUSH2 0x1d56
00001c97: JUMP
00001c98: JUMPDEST
00001c99: SWAP2
00001c9a: POP
00001c9b: PUSH2 0x1ca3
00001c9e: DUP4
00001c9f: PUSH2 0x1d56
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: SWAP3
00001ca5: POP
00001ca6: DUP3
00001ca7: PUSH2 0x1cb3
00001caa: JUMPI
00001cab: PUSH2 0x1cb2
00001cae: PUSH2 0x1e92
00001cb1: JUMP
00001cb2: JUMPDEST
00001cb3: JUMPDEST
00001cb4: DUP3
00001cb5: DUP3
00001cb6: DIV
00001cb7: SWAP1
00001cb8: POP
00001cb9: SWAP3
00001cba: SWAP2
00001cbb: POP
00001cbc: POP
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: PUSH1 0x00
00001cc1: PUSH2 0x1cc9
00001cc4: DUP3
00001cc5: PUSH2 0x1d56
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: SWAP2
00001ccb: POP
00001ccc: PUSH2 0x1cd4
00001ccf: DUP4
00001cd0: PUSH2 0x1d56
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: SWAP3
00001cd6: POP
00001cd7: DUP2
00001cd8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001cf9: DIV
00001cfa: DUP4
00001cfb: GT
00001cfc: DUP3
00001cfd: ISZERO
00001cfe: ISZERO
00001cff: AND
00001d00: ISZERO
00001d01: PUSH2 0x1d0d
00001d04: JUMPI
00001d05: PUSH2 0x1d0c
00001d08: PUSH2 0x1e63
00001d0b: JUMP
00001d0c: JUMPDEST
00001d0d: JUMPDEST
00001d0e: DUP3
00001d0f: DUP3
00001d10: MUL
00001d11: SWAP1
00001d12: POP
00001d13: SWAP3
00001d14: SWAP2
00001d15: POP
00001d16: POP
00001d17: JUMP
00001d18: JUMPDEST
00001d19: PUSH1 0x00
00001d1b: PUSH2 0x1d23
00001d1e: DUP3
00001d1f: PUSH2 0x1d36
00001d22: JUMP
00001d23: JUMPDEST
00001d24: SWAP1
00001d25: POP
00001d26: SWAP2
00001d27: SWAP1
00001d28: POP
00001d29: JUMP
00001d2a: JUMPDEST
00001d2b: PUSH1 0x00
00001d2d: DUP2
00001d2e: ISZERO
00001d2f: ISZERO
00001d30: SWAP1
00001d31: POP
00001d32: SWAP2
00001d33: SWAP1
00001d34: POP
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH1 0x00
00001d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4e: DUP3
00001d4f: AND
00001d50: SWAP1
00001d51: POP
00001d52: SWAP2
00001d53: SWAP1
00001d54: POP
00001d55: JUMP
00001d56: JUMPDEST
00001d57: PUSH1 0x00
00001d59: DUP2
00001d5a: SWAP1
00001d5b: POP
00001d5c: SWAP2
00001d5d: SWAP1
00001d5e: POP
00001d5f: JUMP
00001d60: JUMPDEST
00001d61: PUSH1 0x00
00001d63: PUSH1 0xff
00001d65: DUP3
00001d66: AND
00001d67: SWAP1
00001d68: POP
00001d69: SWAP2
00001d6a: SWAP1
00001d6b: POP
00001d6c: JUMP
00001d6d: JUMPDEST
00001d6e: PUSH1 0x00
00001d70: PUSH2 0x1d78
00001d73: DUP3
00001d74: PUSH2 0x1d91
00001d77: JUMP
00001d78: JUMPDEST
00001d79: SWAP1
00001d7a: POP
00001d7b: SWAP2
00001d7c: SWAP1
00001d7d: POP
00001d7e: JUMP
00001d7f: JUMPDEST
00001d80: PUSH1 0x00
00001d82: PUSH2 0x1d8a
00001d85: DUP3
00001d86: PUSH2 0x1d56
00001d89: JUMP
00001d8a: JUMPDEST
00001d8b: SWAP1
00001d8c: POP
00001d8d: SWAP2
00001d8e: SWAP1
00001d8f: POP
00001d90: JUMP
00001d91: JUMPDEST
00001d92: PUSH1 0x00
00001d94: PUSH2 0x1d9c
00001d97: DUP3
00001d98: PUSH2 0x1da3
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: SWAP1
00001d9e: POP
00001d9f: SWAP2
00001da0: SWAP1
00001da1: POP
00001da2: JUMP
00001da3: JUMPDEST
00001da4: PUSH1 0x00
00001da6: PUSH2 0x1dae
00001da9: DUP3
00001daa: PUSH2 0x1d36
00001dad: JUMP
00001dae: JUMPDEST
00001daf: SWAP1
00001db0: POP
00001db1: SWAP2
00001db2: SWAP1
00001db3: POP
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH1 0x00
00001db8: JUMPDEST
00001db9: DUP4
00001dba: DUP2
00001dbb: LT
00001dbc: ISZERO
00001dbd: PUSH2 0x1dd3
00001dc0: JUMPI
00001dc1: DUP1
00001dc2: DUP3
00001dc3: ADD
00001dc4: MLOAD
00001dc5: DUP2
00001dc6: DUP5
00001dc7: ADD
00001dc8: MSTORE
00001dc9: PUSH1 0x20
00001dcb: DUP2
00001dcc: ADD
00001dcd: SWAP1
00001dce: POP
00001dcf: PUSH2 0x1db8
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: DUP4
00001dd5: DUP2
00001dd6: GT
00001dd7: ISZERO
00001dd8: PUSH2 0x1de2
00001ddb: JUMPI
00001ddc: PUSH1 0x00
00001dde: DUP5
00001ddf: DUP5
00001de0: ADD
00001de1: MSTORE
00001de2: JUMPDEST
00001de3: POP
00001de4: POP
00001de5: POP
00001de6: POP
00001de7: JUMP
00001de8: JUMPDEST
00001de9: PUSH1 0x00
00001deb: PUSH1 0x02
00001ded: DUP3
00001dee: DIV
00001def: SWAP1
00001df0: POP
00001df1: PUSH1 0x01
00001df3: DUP3
00001df4: AND
00001df5: DUP1
00001df6: PUSH2 0x1e00
00001df9: JUMPI
00001dfa: PUSH1 0x7f
00001dfc: DUP3
00001dfd: AND
00001dfe: SWAP2
00001dff: POP
00001e00: JUMPDEST
00001e01: PUSH1 0x20
00001e03: DUP3
00001e04: LT
00001e05: DUP2
00001e06: EQ
00001e07: ISZERO
00001e08: PUSH2 0x1e14
00001e0b: JUMPI
00001e0c: PUSH2 0x1e13
00001e0f: PUSH2 0x1ec1
00001e12: JUMP
00001e13: JUMPDEST
00001e14: JUMPDEST
00001e15: POP
00001e16: SWAP2
00001e17: SWAP1
00001e18: POP
00001e19: JUMP
00001e1a: JUMPDEST
00001e1b: PUSH1 0x00
00001e1d: PUSH2 0x1e25
00001e20: DUP3
00001e21: PUSH2 0x1d56
00001e24: JUMP
00001e25: JUMPDEST
00001e26: SWAP2
00001e27: POP
00001e28: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001e49: DUP3
00001e4a: EQ
00001e4b: ISZERO
00001e4c: PUSH2 0x1e58
00001e4f: JUMPI
00001e50: PUSH2 0x1e57
00001e53: PUSH2 0x1e63
00001e56: JUMP
00001e57: JUMPDEST
00001e58: JUMPDEST
00001e59: PUSH1 0x01
00001e5b: DUP3
00001e5c: ADD
00001e5d: SWAP1
00001e5e: POP
00001e5f: SWAP2
00001e60: SWAP1
00001e61: POP
00001e62: JUMP
00001e63: JUMPDEST
00001e64: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001e85: PUSH1 0x00
00001e87: MSTORE
00001e88: PUSH1 0x11
00001e8a: PUSH1 0x04
00001e8c: MSTORE
00001e8d: PUSH1 0x24
00001e8f: PUSH1 0x00
00001e91: REVERT
00001e92: JUMPDEST
00001e93: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001eb4: PUSH1 0x00
00001eb6: MSTORE
00001eb7: PUSH1 0x12
00001eb9: PUSH1 0x04
00001ebb: MSTORE
00001ebc: PUSH1 0x24
00001ebe: PUSH1 0x00
00001ec0: REVERT
00001ec1: JUMPDEST
00001ec2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001ee3: PUSH1 0x00
00001ee5: MSTORE
00001ee6: PUSH1 0x22
00001ee8: PUSH1 0x04
00001eea: MSTORE
00001eeb: PUSH1 0x24
00001eed: PUSH1 0x00
00001eef: REVERT
00001ef0: JUMPDEST
00001ef1: PUSH1 0x00
00001ef3: PUSH1 0x1f
00001ef5: NOT
00001ef6: PUSH1 0x1f
00001ef8: DUP4
00001ef9: ADD
00001efa: AND
00001efb: SWAP1
00001efc: POP
00001efd: SWAP2
00001efe: SWAP1
00001eff: POP
00001f00: JUMP
00001f01: JUMPDEST
00001f02: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001f23: PUSH1 0x00
00001f25: DUP3
00001f26: ADD
00001f27: MSTORE
00001f28: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00001f49: PUSH1 0x20
00001f4b: DUP3
00001f4c: ADD
00001f4d: MSTORE
00001f4e: POP
00001f4f: JUMP
00001f50: JUMPDEST
00001f51: PUSH32 0x4e6f7420656e6f75676820737570706c79000000000000000000000000000000
00001f72: PUSH1 0x00
00001f74: DUP3
00001f75: ADD
00001f76: MSTORE
00001f77: POP
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: PUSH32 0x556e617574686f72697a65640000000000000000000000000000000000000000
00001f9b: PUSH1 0x00
00001f9d: DUP3
00001f9e: ADD
00001f9f: MSTORE
00001fa0: POP
00001fa1: JUMP
00001fa2: JUMPDEST
00001fa3: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001fc4: PUSH1 0x00
00001fc6: DUP3
00001fc7: ADD
00001fc8: MSTORE
00001fc9: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00001fea: PUSH1 0x20
00001fec: DUP3
00001fed: ADD
00001fee: MSTORE
00001fef: POP
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00002013: PUSH1 0x00
00002015: DUP3
00002016: ADD
00002017: MSTORE
00002018: POP
00002019: JUMP
0000201a: JUMPDEST
0000201b: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000203c: PUSH1 0x00
0000203e: DUP3
0000203f: ADD
00002040: MSTORE
00002041: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00002062: PUSH1 0x20
00002064: DUP3
00002065: ADD
00002066: MSTORE
00002067: POP
00002068: JUMP
00002069: JUMPDEST
0000206a: PUSH32 0x4e6f7420656e6f75676820657468000000000000000000000000000000000000
0000208b: PUSH1 0x00
0000208d: DUP3
0000208e: ADD
0000208f: MSTORE
00002090: POP
00002091: JUMP
00002092: JUMPDEST
00002093: PUSH32 0x4e6f206c69717569646974792079657400000000000000000000000000000000
000020b4: PUSH1 0x00
000020b6: DUP3
000020b7: ADD
000020b8: MSTORE
000020b9: POP
000020ba: JUMP
000020bb: JUMPDEST
000020bc: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000020dd: PUSH1 0x00
000020df: DUP3
000020e0: ADD
000020e1: MSTORE
000020e2: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002103: PUSH1 0x20
00002105: DUP3
00002106: ADD
00002107: MSTORE
00002108: POP
00002109: JUMP
0000210a: JUMPDEST
0000210b: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000212c: PUSH1 0x00
0000212e: DUP3
0000212f: ADD
00002130: MSTORE
00002131: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002152: PUSH1 0x20
00002154: DUP3
00002155: ADD
00002156: MSTORE
00002157: POP
00002158: JUMP
00002159: JUMPDEST
0000215a: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
0000217b: PUSH1 0x00
0000217d: DUP3
0000217e: ADD
0000217f: MSTORE
00002180: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
000021a1: PUSH1 0x20
000021a3: DUP3
000021a4: ADD
000021a5: MSTORE
000021a6: POP
000021a7: JUMP
000021a8: JUMPDEST
000021a9: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000021ca: PUSH1 0x00
000021cc: DUP3
000021cd: ADD
000021ce: MSTORE
000021cf: POP
000021d0: JUMP
000021d1: JUMPDEST
000021d2: PUSH2 0x21da
000021d5: DUP2
000021d6: PUSH2 0x1d18
000021d9: JUMP
000021da: JUMPDEST
000021db: DUP2
000021dc: EQ
000021dd: PUSH2 0x21e5
000021e0: JUMPI
000021e1: PUSH1 0x00
000021e3: DUP1
000021e4: REVERT
000021e5: JUMPDEST
000021e6: POP
000021e7: JUMP
000021e8: JUMPDEST
000021e9: PUSH2 0x21f1
000021ec: DUP2
000021ed: PUSH2 0x1d2a
000021f0: JUMP
000021f1: JUMPDEST
000021f2: DUP2
000021f3: EQ
000021f4: PUSH2 0x21fc
000021f7: JUMPI
000021f8: PUSH1 0x00
000021fa: DUP1
000021fb: REVERT
000021fc: JUMPDEST
000021fd: POP
000021fe: JUMP
000021ff: JUMPDEST
00002200: PUSH2 0x2208
00002203: DUP2
00002204: PUSH2 0x1d56
00002207: JUMP
00002208: JUMPDEST
00002209: DUP2
0000220a: EQ
0000220b: PUSH2 0x2213
0000220e: JUMPI
0000220f: PUSH1 0x00
00002211: DUP1
00002212: REVERT
00002213: JUMPDEST
00002214: POP
00002215: JUMP
00002216: INVALID
00002217: LOG2
00002218: PUSH5 0x6970667358
0000221e: UNKNOWN(0x22)
0000221f: SLT
00002220: KECCAK256
00002221: UNKNOWN(0xB2)
00002222: DUP3
00002223: UNKNOWN(0xFB)
00002224: PUSH4 0xcf92658d
00002229: UNKNOWN(0xC3)
0000222a: UNKNOWN(0x2C)
0000222b: SWAP3
0000222c: PUSH21 0x1a02371d5b675bb3e6f8ac5374afbaba988197c964
00002242: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd9f70f427c9668c7070f3d7a5c447b4366db805a5b5095d4c01dfa441a7fbdd5
call_targets: 0x36b17ff04654ba7031b1a3d8ead3016a15262287
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd9f70f427c9668c7070f3d7a5c447b4366db805a5b5095d4c01dfa441a7fbdd5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x36b17ff04654ba7031b1a3d8ead3016a15262287"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa457c2d7",
            "selector": "0xa457c2d7",
            "calldata_variants": [
                "0xa457c2d7",
                "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5661c92",
            "selector": "0xd5661c92",
            "calldata_variants": [
                "0xd5661c92",
                "0xd5661c920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd9443923",
            "selector": "0xd9443923",
            "calldata_variants": [
                "0xd9443923",
                "0xd94439230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5dd7e907",
            "selector": "0x5dd7e907",
            "calldata_variants": [
                "0x5dd7e907",
                "0x5dd7e9070000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95ae1988",
            "selector": "0x95ae1988",
            "calldata_variants": [
                "0x95ae1988",
                "0x95ae19880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 650,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 865,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1086,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 2872,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd9f70f427c9668c7070f3d7a5c447b4366db805a5b5095d4c01dfa441a7fbdd5
call_targets: 0x36b17ff04654ba7031b1a3d8ead3016a15262287
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd9f70f427c9668c7070f3d7a5c447b4366db805a5b5095d4c01dfa441a7fbdd5",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x36b17ff04654ba7031b1a3d8ead3016a15262287"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xa457c2d7",
            "selector": "0xa457c2d7",
            "calldata_variants": [
                "0xa457c2d7",
                "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa9059cbb",
            "selector": "0xa9059cbb",
            "calldata_variants": [
                "0xa9059cbb",
                "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5661c92",
            "selector": "0xd5661c92",
            "calldata_variants": [
                "0xd5661c92",
                "0xd5661c920000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd9443923",
            "selector": "0xd9443923",
            "calldata_variants": [
                "0xd9443923",
                "0xd94439230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5dd7e907",
            "selector": "0x5dd7e907",
            "calldata_variants": [
                "0x5dd7e907",
                "0x5dd7e9070000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95ae1988",
            "selector": "0x95ae1988",
            "calldata_variants": [
                "0x95ae1988",
                "0x95ae19880000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 650,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 865,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1086,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 2872,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}