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

Analysis Run

214d6e9b-6a89-41e5-8498-e1b8950dda29

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 6:21 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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 proxy context implementation known
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
31710 report.consolidate complete 1 / 1 3 months ago
95683 artifact.fetch failed 1 / 3 1 week ago
95684 tool.cast_disasm complete 1 / 3 1 week ago
95685 analysis.bundle complete 1 / 3 1 week ago
95686 capability.graph complete 1 / 3 1 week ago
95687 detector.run complete 1 / 3 1 week ago
95688 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
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 path to profit (ETH/tokens/NFTs) identified in the provided contracts.
View stderr
[codex:1042284] OpenAI Codex v0.77.0 (research preview)
[codex:1042284] --------
[codex:1042284] workdir: /tmp/codex-multi-5kgc4ve5
[codex:1042284] model: gpt-5.2-codex
[codex:1042284] provider: openai
[codex:1042284] approval: never
[codex:1042284] sandbox: read-only
[codex:1042284] reasoning effort: xhigh
[codex:1042284] reasoning summaries: auto
[codex:1042284] session id: 019b8cce-87b6-77d0-9cc6-b30e277ad1b7
[codex:1042284] --------
[codex:1042284] user
[codex:1042284] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1042284] 
[codex:1042284] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1042284] 
[codex:1042284] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1042284] - Gas inefficiency, code quality, naming, or best practices
[codex:1042284] - Theoretical vulnerabilities without a clear extraction path
[codex:1042284] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1042284] - Front-running unless it enables theft beyond MEV
[codex:1042284] - DoS, griefing, or issues that don't result in attacker profit
[codex:1042284] - Missing events, view function issues, or informational findings
[codex:1042284] 
[codex:1042284] HIGH-VALUE PATTERNS TO HUNT:
[codex:1042284] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1042284] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1042284] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1042284] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1042284] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1042284] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1042284] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1042284] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1042284] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1042284] 
[codex:1042284] For each finding, you MUST provide:
[codex:1042284] 1. Exact file and line numbers of vulnerable code
[codex:1042284] 2. Step-by-step exploit transaction sequence
[codex:1042284] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1042284] 
[codex:1042284] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1042284] 
[codex:1042284] Output MUST be valid JSON matching the provided schema.
[codex:1042284] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1042284] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1042284] mcp startup: no servers
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Preparing to review skills and audit bundle**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc ls in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] AUDIT_BUNDLE.txt
[codex:1042284] codex-output-schema.json
[codex:1042284] contracts
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Proceeding to read AUDIT_BUNDLE**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1042284] 
[codex:1042284] ================================================================================
[codex:1042284] FILE: contracts/Contract.sol
[codex:1042284] ================================================================================
[codex:1042284] // SPDX-License-Identifier: UNLICENSED
[codex:1042284] pragma solidity 0.8.17;
[codex:1042284] 
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)
[codex:1042284] 
[codex:1042284] // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
[codex:1042284] 
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/Initializable.sol)
[codex:1042284] 
[codex:1042284] // OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)
[codex:1042284] 
[codex:1042284] /**
[codex:1042284]  * @dev Collection of functions related to the address type
[codex:1042284]  */
[codex:1042284] library AddressUpgradeable {
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Analyzing Bridge and WrappedToken security**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'rg --files' in /tmp/codex-multi-5kgc4ve5 succeeded in 10ms:
[codex:1042284] codex-output-schema.json
[codex:1042284] AUDIT_BUNDLE.txt
[codex:1042284] contracts/Contract.sol
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Preparing to analyze Contract.sol**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '1,250p'" in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284]      1	// SPDX-License-Identifier: UNLICENSED
[codex:1042284]      2	pragma solidity 0.8.17;
[codex:1042284]      3	
[codex:1042284]      4	// OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable.sol)
[codex:1042284]      5	
[codex:1042284]      6	// OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
[codex:1042284]      7	
[codex:1042284]      8	// OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/Initializable.sol)
[codex:1042284]      9	
[codex:1042284]     10	// OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)
[codex:1042284]     11	
[codex:1042284]     12	/**
[codex:1042284]     13	 * @dev Collection of functions related to the address type
[codex:1042284]     14	 */
[codex:1042284]     15	library AddressUpgradeable {
[codex:1042284]     16	    /**
[codex:1042284]     17	     * @dev Returns true if `account` is a contract.
[codex:1042284]     18	     *
[codex:1042284]     19	     * [IMPORTANT]
[codex:1042284]     20	     * ====
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Locating contract declarations**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'rg -n "contract WrappedToken|contract Bridge|library CheckOwner" contracts/Contract.sol' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] 2657:contract WrappedToken is OwnableUpgradeable, ERC20BurnableUpgradeable, ERC20PermitUpgradeable {
[codex:1042284] 2669:library CheckOwner {
[codex:1042284] 2680:contract Bridge is OwnableUpgradeable {
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Checking code around line 2657**
[codex:1042284] exec
[codex:1042284] /bin/bash -lc "nl -ba contracts/Contract.sol | sed -n '2620,2805p'" in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284]   2620	        _approve(owner, spender, value);
[codex:1042284]   2621	    }
[codex:1042284]   2622	
[codex:1042284]   2623	    /**
[codex:1042284]   2624	     * @dev See {IERC20Permit-nonces}.
[codex:1042284]   2625	     */
[codex:1042284]   2626	    function nonces(address owner) public view virtual override returns (uint256) {
[codex:1042284]   2627	        return _nonces[owner].current();
[codex:1042284]   2628	    }
[codex:1042284]   2629	
[codex:1042284]   2630	    /**
[codex:1042284]   2631	     * @dev See {IERC20Permit-DOMAIN_SEPARATOR}.
[codex:1042284]   2632	     */
[codex:1042284]   2633	    // solhint-disable-next-line func-name-mixedcase
[codex:1042284]   2634	    function DOMAIN_SEPARATOR() external view override returns (bytes32) {
[codex:1042284]   2635	        return _domainSeparatorV4();
[codex:1042284]   2636	    }
[codex:1042284]   2637	
[codex:1042284]   2638	    /**
[codex:1042284]   2639	     * @dev "Consume a nonce": return the current value and increment.
[codex:1042284] 
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Evaluating token bridging vulnerabilities**
[codex:1042284] thinking
[codex:1042284] **Assessing initialization and access controls for vulnerabilities**
[codex:1042284] 
[codex:1042284] I'm reviewing whether missing initializer protections or operator access might lead to exploits. It seems an uninitialized proxy could let an attacker take ownership and drain tokens if not promptly initialized, but this is more a deployment/configuration concern than a direct code vulnerability. Overall, no concrete exploit paths for profit appear in the on-chain logic given proper initialization.
[codex:1042284] exec
[codex:1042284] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-5kgc4ve5 succeeded in 6ms:
[codex:1042284] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:1042284] 
[codex:1042284] thinking
[codex:1042284] **Preparing JSON output**
[codex:1042284] codex
[codex:1042284] {"no_findings":true,"summary":"No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.","findings":[]}
[codex:1042284] tokens used
[codex:1042284] 45,561
[codex:1042284] {"no_findings":true,"summary":"No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-05T06:21:13.324233+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable path to profit (ETH/tokens/NFTs) identified in the provided contracts.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
5
Total opcodes
3956
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00c2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x58bc8337
00000019: GT
0000001a: PUSH2 0x007f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x8da5cb5b
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x0210
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa3bf277e
0000003a: EQ
0000003b: PUSH2 0x022e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd4546d23
00000045: EQ
00000046: PUSH2 0x024e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x0261
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x58bc8337
00000060: EQ
00000061: PUSH2 0x01c6
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x715018a6
0000006b: EQ
0000006c: PUSH2 0x01db
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x77a24f36
00000076: EQ
00000077: PUSH2 0x01f0
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x07ef210c
00000086: EQ
00000087: PUSH2 0x00c7
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x0e93b35c
00000091: EQ
00000092: PUSH2 0x010c
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x29605e77
0000009c: EQ
0000009d: PUSH2 0x012e
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x4432e6b7
000000a7: EQ
000000a8: PUSH2 0x014e
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x5530f4a5
000000b2: EQ
000000b3: PUSH2 0x016e
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x570ca735
000000bd: EQ
000000be: PUSH2 0x018e
000000c1: JUMPI
000000c2: JUMPDEST
000000c3: PUSH1 0x00
000000c5: DUP1
000000c6: REVERT
000000c7: JUMPDEST
000000c8: CALLVALUE
000000c9: DUP1
000000ca: ISZERO
000000cb: PUSH2 0x00d3
000000ce: JUMPI
000000cf: PUSH1 0x00
000000d1: DUP1
000000d2: REVERT
000000d3: JUMPDEST
000000d4: POP
000000d5: PUSH2 0x00f7
000000d8: PUSH2 0x00e2
000000db: CALLDATASIZE
000000dc: PUSH1 0x04
000000de: PUSH2 0x1281
000000e1: JUMP
000000e2: JUMPDEST
000000e3: PUSH1 0x65
000000e5: PUSH1 0x20
000000e7: MSTORE
000000e8: PUSH1 0x00
000000ea: SWAP1
000000eb: DUP2
000000ec: MSTORE
000000ed: PUSH1 0x40
000000ef: SWAP1
000000f0: KECCAK256
000000f1: SLOAD
000000f2: PUSH1 0xff
000000f4: AND
000000f5: DUP2
000000f6: JUMP
000000f7: JUMPDEST
000000f8: PUSH1 0x40
000000fa: MLOAD
000000fb: SWAP1
000000fc: ISZERO
000000fd: ISZERO
000000fe: DUP2
000000ff: MSTORE
00000100: PUSH1 0x20
00000102: ADD
00000103: JUMPDEST
00000104: PUSH1 0x40
00000106: MLOAD
00000107: DUP1
00000108: SWAP2
00000109: SUB
0000010a: SWAP1
0000010b: RETURN
0000010c: JUMPDEST
0000010d: CALLVALUE
0000010e: DUP1
0000010f: ISZERO
00000110: PUSH2 0x0118
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: POP
0000011a: PUSH2 0x012c
0000011d: PUSH2 0x0127
00000120: CALLDATASIZE
00000121: PUSH1 0x04
00000123: PUSH2 0x12ee
00000126: JUMP
00000127: JUMPDEST
00000128: PUSH2 0x0281
0000012b: JUMP
0000012c: JUMPDEST
0000012d: STOP
0000012e: JUMPDEST
0000012f: CALLVALUE
00000130: DUP1
00000131: ISZERO
00000132: PUSH2 0x013a
00000135: JUMPI
00000136: PUSH1 0x00
00000138: DUP1
00000139: REVERT
0000013a: JUMPDEST
0000013b: POP
0000013c: PUSH2 0x012c
0000013f: PUSH2 0x0149
00000142: CALLDATASIZE
00000143: PUSH1 0x04
00000145: PUSH2 0x1281
00000148: JUMP
00000149: JUMPDEST
0000014a: PUSH2 0x0329
0000014d: JUMP
0000014e: JUMPDEST
0000014f: CALLVALUE
00000150: DUP1
00000151: ISZERO
00000152: PUSH2 0x015a
00000155: JUMPI
00000156: PUSH1 0x00
00000158: DUP1
00000159: REVERT
0000015a: JUMPDEST
0000015b: POP
0000015c: PUSH2 0x012c
0000015f: PUSH2 0x0169
00000162: CALLDATASIZE
00000163: PUSH1 0x04
00000165: PUSH2 0x1397
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH2 0x03a5
0000016d: JUMP
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x012c
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1403
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x04ec
0000018d: JUMP
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: PUSH1 0x66
0000019e: SLOAD
0000019f: PUSH2 0x01ae
000001a2: SWAP1
000001a3: PUSH1 0x01
000001a5: PUSH1 0x01
000001a7: PUSH1 0xa0
000001a9: SHL
000001aa: SUB
000001ab: AND
000001ac: DUP2
000001ad: JUMP
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: PUSH1 0x01
000001b4: PUSH1 0x01
000001b6: PUSH1 0xa0
000001b8: SHL
000001b9: SUB
000001ba: SWAP1
000001bb: SWAP2
000001bc: AND
000001bd: DUP2
000001be: MSTORE
000001bf: PUSH1 0x20
000001c1: ADD
000001c2: PUSH2 0x0103
000001c5: JUMP
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01ae
000001d7: PUSH1 0x00
000001d9: DUP2
000001da: JUMP
000001db: JUMPDEST
000001dc: CALLVALUE
000001dd: DUP1
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: POP
000001e9: PUSH2 0x012c
000001ec: PUSH2 0x0768
000001ef: JUMP
000001f0: JUMPDEST
000001f1: CALLVALUE
000001f2: DUP1
000001f3: ISZERO
000001f4: PUSH2 0x01fc
000001f7: JUMPI
000001f8: PUSH1 0x00
000001fa: DUP1
000001fb: REVERT
000001fc: JUMPDEST
000001fd: POP
000001fe: PUSH2 0x012c
00000201: PUSH2 0x020b
00000204: CALLDATASIZE
00000205: PUSH1 0x04
00000207: PUSH2 0x149d
0000020a: JUMP
0000020b: JUMPDEST
0000020c: PUSH2 0x077c
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH1 0x33
00000220: SLOAD
00000221: PUSH1 0x01
00000223: PUSH1 0x01
00000225: PUSH1 0xa0
00000227: SHL
00000228: SUB
00000229: AND
0000022a: PUSH2 0x01ae
0000022d: JUMP
0000022e: JUMPDEST
0000022f: CALLVALUE
00000230: DUP1
00000231: ISZERO
00000232: PUSH2 0x023a
00000235: JUMPI
00000236: PUSH1 0x00
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x012c
0000023f: PUSH2 0x0249
00000242: CALLDATASIZE
00000243: PUSH1 0x04
00000245: PUSH2 0x14f6
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x098b
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH2 0x012c
00000252: PUSH2 0x025c
00000255: CALLDATASIZE
00000256: PUSH1 0x04
00000258: PUSH2 0x1579
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x0b58
00000260: JUMP
00000261: JUMPDEST
00000262: CALLVALUE
00000263: DUP1
00000264: ISZERO
00000265: PUSH2 0x026d
00000268: JUMPI
00000269: PUSH1 0x00
0000026b: DUP1
0000026c: REVERT
0000026d: JUMPDEST
0000026e: POP
0000026f: PUSH2 0x012c
00000272: PUSH2 0x027c
00000275: CALLDATASIZE
00000276: PUSH1 0x04
00000278: PUSH2 0x1281
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x0bf0
00000280: JUMP
00000281: JUMPDEST
00000282: CHAINID
00000283: DUP2
00000284: DUP2
00000285: SUB
00000286: PUSH2 0x02d6
00000289: JUMPI
0000028a: PUSH1 0x40
0000028c: MLOAD
0000028d: PUSH3 0x461bcd
00000291: PUSH1 0xe5
00000293: SHL
00000294: DUP2
00000295: MSTORE
00000296: PUSH1 0x20
00000298: PUSH1 0x04
0000029a: DUP3
0000029b: ADD
0000029c: MSTORE
0000029d: PUSH1 0x1d
0000029f: PUSH1 0x24
000002a1: DUP3
000002a2: ADD
000002a3: MSTORE
000002a4: PUSH32 0x4272696467653a20696e76616c6964206465737420636861696e206964000000
000002c5: PUSH1 0x44
000002c7: DUP3
000002c8: ADD
000002c9: MSTORE
000002ca: PUSH1 0x64
000002cc: ADD
000002cd: JUMPDEST
000002ce: PUSH1 0x40
000002d0: MLOAD
000002d1: DUP1
000002d2: SWAP2
000002d3: SUB
000002d4: SWAP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: PUSH2 0x02e0
000002da: DUP7
000002db: DUP7
000002dc: PUSH2 0x0c69
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH32 0xc28e54186544d7357308b86c8319edd275e0db552d62381cf49f827791845c61
00000302: DUP7
00000303: CALLER
00000304: DUP8
00000305: DUP8
00000306: DUP8
00000307: DUP8
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: PUSH2 0x0319
0000030e: SWAP7
0000030f: SWAP6
00000310: SWAP5
00000311: SWAP4
00000312: SWAP3
00000313: SWAP2
00000314: SWAP1
00000315: PUSH2 0x15c5
00000318: JUMP
00000319: JUMPDEST
0000031a: PUSH1 0x40
0000031c: MLOAD
0000031d: DUP1
0000031e: SWAP2
0000031f: SUB
00000320: SWAP1
00000321: LOG1
00000322: POP
00000323: POP
00000324: POP
00000325: POP
00000326: POP
00000327: POP
00000328: JUMP
00000329: JUMPDEST
0000032a: PUSH1 0x66
0000032c: SLOAD
0000032d: PUSH1 0x01
0000032f: PUSH1 0x01
00000331: PUSH1 0xa0
00000333: SHL
00000334: SUB
00000335: AND
00000336: CALLER
00000337: PUSH1 0x01
00000339: PUSH1 0x01
0000033b: PUSH1 0xa0
0000033d: SHL
0000033e: SUB
0000033f: AND
00000340: EQ
00000341: PUSH2 0x0383
00000344: JUMPI
00000345: PUSH1 0x40
00000347: MLOAD
00000348: PUSH3 0x461bcd
0000034c: PUSH1 0xe5
0000034e: SHL
0000034f: DUP2
00000350: MSTORE
00000351: PUSH1 0x20
00000353: PUSH1 0x04
00000355: DUP3
00000356: ADD
00000357: MSTORE
00000358: PUSH1 0x14
0000035a: PUSH1 0x24
0000035c: DUP3
0000035d: ADD
0000035e: MSTORE
0000035f: PUSH20 0x109c9a5919d94e881d5b985d5d1a1bdc9a5cd959
00000374: PUSH1 0x62
00000376: SHL
00000377: PUSH1 0x44
00000379: DUP3
0000037a: ADD
0000037b: MSTORE
0000037c: PUSH1 0x64
0000037e: ADD
0000037f: PUSH2 0x02cd
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH1 0x66
00000386: DUP1
00000387: SLOAD
00000388: PUSH1 0x01
0000038a: PUSH1 0x01
0000038c: PUSH1 0xa0
0000038e: SHL
0000038f: SUB
00000390: NOT
00000391: AND
00000392: PUSH1 0x01
00000394: PUSH1 0x01
00000396: PUSH1 0xa0
00000398: SHL
00000399: SUB
0000039a: SWAP3
0000039b: SWAP1
0000039c: SWAP3
0000039d: AND
0000039e: SWAP2
0000039f: SWAP1
000003a0: SWAP2
000003a1: OR
000003a2: SWAP1
000003a3: SSTORE
000003a4: JUMP
000003a5: JUMPDEST
000003a6: PUSH1 0x66
000003a8: SLOAD
000003a9: PUSH1 0x01
000003ab: PUSH1 0x01
000003ad: PUSH1 0xa0
000003af: SHL
000003b0: SUB
000003b1: AND
000003b2: CALLER
000003b3: PUSH1 0x01
000003b5: PUSH1 0x01
000003b7: PUSH1 0xa0
000003b9: SHL
000003ba: SUB
000003bb: AND
000003bc: EQ
000003bd: PUSH2 0x03ff
000003c0: JUMPI
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: PUSH3 0x461bcd
000003c8: PUSH1 0xe5
000003ca: SHL
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x20
000003cf: PUSH1 0x04
000003d1: DUP3
000003d2: ADD
000003d3: MSTORE
000003d4: PUSH1 0x14
000003d6: PUSH1 0x24
000003d8: DUP3
000003d9: ADD
000003da: MSTORE
000003db: PUSH20 0x109c9a5919d94e881d5b985d5d1a1bdc9a5cd959
000003f0: PUSH1 0x62
000003f2: SHL
000003f3: PUSH1 0x44
000003f5: DUP3
000003f6: ADD
000003f7: MSTORE
000003f8: PUSH1 0x64
000003fa: ADD
000003fb: PUSH2 0x02cd
000003fe: JUMP
000003ff: JUMPDEST
00000400: DUP3
00000401: DUP2
00000402: EQ
00000403: PUSH2 0x044e
00000406: JUMPI
00000407: PUSH1 0x40
00000409: MLOAD
0000040a: PUSH3 0x461bcd
0000040e: PUSH1 0xe5
00000410: SHL
00000411: DUP2
00000412: MSTORE
00000413: PUSH1 0x20
00000415: PUSH1 0x04
00000417: DUP3
00000418: ADD
00000419: MSTORE
0000041a: PUSH1 0x1c
0000041c: PUSH1 0x24
0000041e: DUP3
0000041f: ADD
00000420: MSTORE
00000421: PUSH32 0x4272696467653a206d69736d617463682064617461206c656e67746800000000
00000442: PUSH1 0x44
00000444: DUP3
00000445: ADD
00000446: MSTORE
00000447: PUSH1 0x64
00000449: ADD
0000044a: PUSH2 0x02cd
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH1 0x00
00000451: JUMPDEST
00000452: DUP4
00000453: DUP2
00000454: LT
00000455: ISZERO
00000456: PUSH2 0x04e5
00000459: JUMPI
0000045a: DUP3
0000045b: DUP3
0000045c: DUP3
0000045d: DUP2
0000045e: DUP2
0000045f: LT
00000460: PUSH2 0x046b
00000463: JUMPI
00000464: PUSH2 0x046b
00000467: PUSH2 0x1620
0000046a: JUMP
0000046b: JUMPDEST
0000046c: SWAP1
0000046d: POP
0000046e: PUSH1 0x20
00000470: MUL
00000471: ADD
00000472: PUSH1 0x20
00000474: DUP2
00000475: ADD
00000476: SWAP1
00000477: PUSH2 0x0480
0000047a: SWAP2
0000047b: SWAP1
0000047c: PUSH2 0x1644
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH1 0x65
00000483: PUSH1 0x00
00000485: DUP8
00000486: DUP8
00000487: DUP6
00000488: DUP2
00000489: DUP2
0000048a: LT
0000048b: PUSH2 0x0496
0000048e: JUMPI
0000048f: PUSH2 0x0496
00000492: PUSH2 0x1620
00000495: JUMP
00000496: JUMPDEST
00000497: SWAP1
00000498: POP
00000499: PUSH1 0x20
0000049b: MUL
0000049c: ADD
0000049d: PUSH1 0x20
0000049f: DUP2
000004a0: ADD
000004a1: SWAP1
000004a2: PUSH2 0x04ab
000004a5: SWAP2
000004a6: SWAP1
000004a7: PUSH2 0x1281
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH1 0x01
000004ae: PUSH1 0x01
000004b0: PUSH1 0xa0
000004b2: SHL
000004b3: SUB
000004b4: AND
000004b5: DUP2
000004b6: MSTORE
000004b7: PUSH1 0x20
000004b9: DUP2
000004ba: ADD
000004bb: SWAP2
000004bc: SWAP1
000004bd: SWAP2
000004be: MSTORE
000004bf: PUSH1 0x40
000004c1: ADD
000004c2: PUSH1 0x00
000004c4: KECCAK256
000004c5: DUP1
000004c6: SLOAD
000004c7: PUSH1 0xff
000004c9: NOT
000004ca: AND
000004cb: SWAP2
000004cc: ISZERO
000004cd: ISZERO
000004ce: SWAP2
000004cf: SWAP1
000004d0: SWAP2
000004d1: OR
000004d2: SWAP1
000004d3: SSTORE
000004d4: DUP1
000004d5: PUSH2 0x04dd
000004d8: DUP2
000004d9: PUSH2 0x1661
000004dc: JUMP
000004dd: JUMPDEST
000004de: SWAP2
000004df: POP
000004e0: POP
000004e1: PUSH2 0x0451
000004e4: JUMP
000004e5: JUMPDEST
000004e6: POP
000004e7: POP
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH2 0x04f4
000004f0: PUSH2 0x0d16
000004f3: JUMP
000004f4: JUMPDEST
000004f5: DUP5
000004f6: DUP4
000004f7: EQ
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: POP
000004ff: DUP3
00000500: DUP2
00000501: EQ
00000502: JUMPDEST
00000503: PUSH2 0x054e
00000506: JUMPI
00000507: PUSH1 0x40
00000509: MLOAD
0000050a: PUSH3 0x461bcd
0000050e: PUSH1 0xe5
00000510: SHL
00000511: DUP2
00000512: MSTORE
00000513: PUSH1 0x20
00000515: PUSH1 0x04
00000517: DUP3
00000518: ADD
00000519: MSTORE
0000051a: PUSH1 0x1a
0000051c: PUSH1 0x24
0000051e: DUP3
0000051f: ADD
00000520: MSTORE
00000521: PUSH32 0x4272696467653a20696e76616c696420696e7075742064617461000000000000
00000542: PUSH1 0x44
00000544: DUP3
00000545: ADD
00000546: MSTORE
00000547: PUSH1 0x64
00000549: ADD
0000054a: PUSH2 0x02cd
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x00
00000551: JUMPDEST
00000552: DUP4
00000553: DUP2
00000554: LT
00000555: ISZERO
00000556: PUSH2 0x072e
00000559: JUMPI
0000055a: PUSH1 0x00
0000055c: DUP8
0000055d: DUP8
0000055e: DUP4
0000055f: DUP2
00000560: DUP2
00000561: LT
00000562: PUSH2 0x056d
00000565: JUMPI
00000566: PUSH2 0x056d
00000569: PUSH2 0x1620
0000056c: JUMP
0000056d: JUMPDEST
0000056e: SWAP1
0000056f: POP
00000570: PUSH1 0x20
00000572: MUL
00000573: ADD
00000574: PUSH1 0x20
00000576: DUP2
00000577: ADD
00000578: SWAP1
00000579: PUSH2 0x0582
0000057c: SWAP2
0000057d: SWAP1
0000057e: PUSH2 0x1281
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH1 0x01
00000585: PUSH1 0x01
00000587: PUSH1 0xa0
00000589: SHL
0000058a: SUB
0000058b: AND
0000058c: EQ
0000058d: ISZERO
0000058e: DUP1
0000058f: ISZERO
00000590: PUSH2 0x05ce
00000593: JUMPI
00000594: POP
00000595: PUSH2 0x05ce
00000598: ADDRESS
00000599: DUP9
0000059a: DUP9
0000059b: DUP5
0000059c: DUP2
0000059d: DUP2
0000059e: LT
0000059f: PUSH2 0x05aa
000005a2: JUMPI
000005a3: PUSH2 0x05aa
000005a6: PUSH2 0x1620
000005a9: JUMP
000005aa: JUMPDEST
000005ab: SWAP1
000005ac: POP
000005ad: PUSH1 0x20
000005af: MUL
000005b0: ADD
000005b1: PUSH1 0x20
000005b3: DUP2
000005b4: ADD
000005b5: SWAP1
000005b6: PUSH2 0x05bf
000005b9: SWAP2
000005ba: SWAP1
000005bb: PUSH2 0x1281
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH1 0x01
000005c2: PUSH1 0x01
000005c4: PUSH1 0xa0
000005c6: SHL
000005c7: SUB
000005c8: AND
000005c9: SWAP1
000005ca: PUSH2 0x0d70
000005cd: JUMP
000005ce: JUMPDEST
000005cf: ISZERO
000005d0: PUSH2 0x06ad
000005d3: JUMPI
000005d4: DUP7
000005d5: DUP7
000005d6: DUP3
000005d7: DUP2
000005d8: DUP2
000005d9: LT
000005da: PUSH2 0x05e5
000005dd: JUMPI
000005de: PUSH2 0x05e5
000005e1: PUSH2 0x1620
000005e4: JUMP
000005e5: JUMPDEST
000005e6: SWAP1
000005e7: POP
000005e8: PUSH1 0x20
000005ea: MUL
000005eb: ADD
000005ec: PUSH1 0x20
000005ee: DUP2
000005ef: ADD
000005f0: SWAP1
000005f1: PUSH2 0x05fa
000005f4: SWAP2
000005f5: SWAP1
000005f6: PUSH2 0x1281
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH1 0x01
000005fd: PUSH1 0x01
000005ff: PUSH1 0xa0
00000601: SHL
00000602: SUB
00000603: AND
00000604: PUSH4 0x40c10f19
00000609: DUP7
0000060a: DUP7
0000060b: DUP5
0000060c: DUP2
0000060d: DUP2
0000060e: LT
0000060f: PUSH2 0x061a
00000612: JUMPI
00000613: PUSH2 0x061a
00000616: PUSH2 0x1620
00000619: JUMP
0000061a: JUMPDEST
0000061b: SWAP1
0000061c: POP
0000061d: PUSH1 0x20
0000061f: MUL
00000620: ADD
00000621: PUSH1 0x20
00000623: DUP2
00000624: ADD
00000625: SWAP1
00000626: PUSH2 0x062f
00000629: SWAP2
0000062a: SWAP1
0000062b: PUSH2 0x1281
0000062e: JUMP
0000062f: JUMPDEST
00000630: DUP6
00000631: DUP6
00000632: DUP6
00000633: DUP2
00000634: DUP2
00000635: LT
00000636: PUSH2 0x0641
00000639: JUMPI
0000063a: PUSH2 0x0641
0000063d: PUSH2 0x1620
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x40
00000644: MLOAD
00000645: PUSH1 0x01
00000647: PUSH1 0x01
00000649: PUSH1 0xe0
0000064b: SHL
0000064c: SUB
0000064d: NOT
0000064e: PUSH1 0xe0
00000650: DUP8
00000651: SWAP1
00000652: SHL
00000653: AND
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x01
00000658: PUSH1 0x01
0000065a: PUSH1 0xa0
0000065c: SHL
0000065d: SUB
0000065e: SWAP1
0000065f: SWAP5
00000660: AND
00000661: PUSH1 0x04
00000663: DUP6
00000664: ADD
00000665: MSTORE
00000666: PUSH1 0x20
00000668: MUL
00000669: SWAP2
0000066a: SWAP1
0000066b: SWAP2
0000066c: ADD
0000066d: CALLDATALOAD
0000066e: PUSH1 0x24
00000670: DUP4
00000671: ADD
00000672: MSTORE
00000673: POP
00000674: PUSH1 0x44
00000676: ADD
00000677: PUSH1 0x00
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: DUP1
0000067d: DUP4
0000067e: SUB
0000067f: DUP2
00000680: PUSH1 0x00
00000682: DUP8
00000683: DUP1
00000684: EXTCODESIZE
00000685: ISZERO
00000686: DUP1
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: POP
00000692: GAS
00000693: CALL
00000694: ISZERO
00000695: DUP1
00000696: ISZERO
00000697: PUSH2 0x06a4
0000069a: JUMPI
0000069b: RETURNDATASIZE
0000069c: PUSH1 0x00
0000069e: DUP1
0000069f: RETURNDATACOPY
000006a0: RETURNDATASIZE
000006a1: PUSH1 0x00
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: POP
000006a7: POP
000006a8: POP
000006a9: PUSH2 0x071c
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH2 0x071c
000006b1: DUP8
000006b2: DUP8
000006b3: DUP4
000006b4: DUP2
000006b5: DUP2
000006b6: LT
000006b7: PUSH2 0x06c2
000006ba: JUMPI
000006bb: PUSH2 0x06c2
000006be: PUSH2 0x1620
000006c1: JUMP
000006c2: JUMPDEST
000006c3: SWAP1
000006c4: POP
000006c5: PUSH1 0x20
000006c7: MUL
000006c8: ADD
000006c9: PUSH1 0x20
000006cb: DUP2
000006cc: ADD
000006cd: SWAP1
000006ce: PUSH2 0x06d7
000006d1: SWAP2
000006d2: SWAP1
000006d3: PUSH2 0x1281
000006d6: JUMP
000006d7: JUMPDEST
000006d8: DUP7
000006d9: DUP7
000006da: DUP5
000006db: DUP2
000006dc: DUP2
000006dd: LT
000006de: PUSH2 0x06e9
000006e1: JUMPI
000006e2: PUSH2 0x06e9
000006e5: PUSH2 0x1620
000006e8: JUMP
000006e9: JUMPDEST
000006ea: SWAP1
000006eb: POP
000006ec: PUSH1 0x20
000006ee: MUL
000006ef: ADD
000006f0: PUSH1 0x20
000006f2: DUP2
000006f3: ADD
000006f4: SWAP1
000006f5: PUSH2 0x06fe
000006f8: SWAP2
000006f9: SWAP1
000006fa: PUSH2 0x1281
000006fd: JUMP
000006fe: JUMPDEST
000006ff: DUP6
00000700: DUP6
00000701: DUP6
00000702: DUP2
00000703: DUP2
00000704: LT
00000705: PUSH2 0x0710
00000708: JUMPI
00000709: PUSH2 0x0710
0000070c: PUSH2 0x1620
0000070f: JUMP
00000710: JUMPDEST
00000711: SWAP1
00000712: POP
00000713: PUSH1 0x20
00000715: MUL
00000716: ADD
00000717: CALLDATALOAD
00000718: PUSH2 0x0e4a
0000071b: JUMP
0000071c: JUMPDEST
0000071d: DUP1
0000071e: PUSH2 0x0726
00000721: DUP2
00000722: PUSH2 0x1661
00000725: JUMP
00000726: JUMPDEST
00000727: SWAP2
00000728: POP
00000729: POP
0000072a: PUSH2 0x0551
0000072d: JUMP
0000072e: JUMPDEST
0000072f: POP
00000730: PUSH32 0xe9914506df53b6ba40090fea5ed4edb71623a51062de3125c2dc65b23de6d05e
00000751: DUP7
00000752: DUP7
00000753: DUP7
00000754: DUP7
00000755: DUP7
00000756: DUP7
00000757: PUSH1 0x40
00000759: MLOAD
0000075a: PUSH2 0x0319
0000075d: SWAP7
0000075e: SWAP6
0000075f: SWAP5
00000760: SWAP4
00000761: SWAP3
00000762: SWAP2
00000763: SWAP1
00000764: PUSH2 0x1703
00000767: JUMP
00000768: JUMPDEST
00000769: PUSH2 0x0770
0000076c: PUSH2 0x0d16
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH2 0x077a
00000774: PUSH1 0x00
00000776: PUSH2 0x0f1a
00000779: JUMP
0000077a: JUMPDEST
0000077b: JUMP
0000077c: JUMPDEST
0000077d: PUSH1 0x00
0000077f: SLOAD
00000780: PUSH2 0x0100
00000783: SWAP1
00000784: DIV
00000785: PUSH1 0xff
00000787: AND
00000788: ISZERO
00000789: DUP1
0000078a: DUP1
0000078b: ISZERO
0000078c: PUSH2 0x079c
0000078f: JUMPI
00000790: POP
00000791: PUSH1 0x00
00000793: SLOAD
00000794: PUSH1 0x01
00000796: PUSH1 0xff
00000798: SWAP1
00000799: SWAP2
0000079a: AND
0000079b: LT
0000079c: JUMPDEST
0000079d: DUP1
0000079e: PUSH2 0x07b6
000007a1: JUMPI
000007a2: POP
000007a3: ADDRESS
000007a4: EXTCODESIZE
000007a5: ISZERO
000007a6: DUP1
000007a7: ISZERO
000007a8: PUSH2 0x07b6
000007ab: JUMPI
000007ac: POP
000007ad: PUSH1 0x00
000007af: SLOAD
000007b0: PUSH1 0xff
000007b2: AND
000007b3: PUSH1 0x01
000007b5: EQ
000007b6: JUMPDEST
000007b7: PUSH2 0x0819
000007ba: JUMPI
000007bb: PUSH1 0x40
000007bd: MLOAD
000007be: PUSH3 0x461bcd
000007c2: PUSH1 0xe5
000007c4: SHL
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x20
000007c9: PUSH1 0x04
000007cb: DUP3
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH1 0x2e
000007d0: PUSH1 0x24
000007d2: DUP3
000007d3: ADD
000007d4: MSTORE
000007d5: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000007f6: PUSH1 0x44
000007f8: DUP3
000007f9: ADD
000007fa: MSTORE
000007fb: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
0000080a: PUSH1 0x92
0000080c: SHL
0000080d: PUSH1 0x64
0000080f: DUP3
00000810: ADD
00000811: MSTORE
00000812: PUSH1 0x84
00000814: ADD
00000815: PUSH2 0x02cd
00000818: JUMP
00000819: JUMPDEST
0000081a: PUSH1 0x00
0000081c: DUP1
0000081d: SLOAD
0000081e: PUSH1 0xff
00000820: NOT
00000821: AND
00000822: PUSH1 0x01
00000824: OR
00000825: SWAP1
00000826: SSTORE
00000827: DUP1
00000828: ISZERO
00000829: PUSH2 0x083c
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: SLOAD
00000831: PUSH2 0xff00
00000834: NOT
00000835: AND
00000836: PUSH2 0x0100
00000839: OR
0000083a: SWAP1
0000083b: SSTORE
0000083c: JUMPDEST
0000083d: PUSH1 0x01
0000083f: PUSH1 0x01
00000841: PUSH1 0xa0
00000843: SHL
00000844: SUB
00000845: DUP6
00000846: AND
00000847: ISZERO
00000848: DUP1
00000849: ISZERO
0000084a: SWAP1
0000084b: PUSH2 0x085c
0000084e: JUMPI
0000084f: POP
00000850: PUSH1 0x01
00000852: PUSH1 0x01
00000854: PUSH1 0xa0
00000856: SHL
00000857: SUB
00000858: DUP5
00000859: AND
0000085a: ISZERO
0000085b: ISZERO
0000085c: JUMPDEST
0000085d: PUSH2 0x08a8
00000860: JUMPI
00000861: PUSH1 0x40
00000863: MLOAD
00000864: PUSH3 0x461bcd
00000868: PUSH1 0xe5
0000086a: SHL
0000086b: DUP2
0000086c: MSTORE
0000086d: PUSH1 0x20
0000086f: PUSH1 0x04
00000871: DUP3
00000872: ADD
00000873: MSTORE
00000874: PUSH1 0x17
00000876: PUSH1 0x24
00000878: DUP3
00000879: ADD
0000087a: MSTORE
0000087b: PUSH32 0x4272696467653a20696e76616c69642061646472657373000000000000000000
0000089c: PUSH1 0x44
0000089e: DUP3
0000089f: ADD
000008a0: MSTORE
000008a1: PUSH1 0x64
000008a3: ADD
000008a4: PUSH2 0x02cd
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH2 0x08b1
000008ac: DUP6
000008ad: PUSH2 0x0f1a
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH1 0x66
000008b4: DUP1
000008b5: SLOAD
000008b6: PUSH1 0x01
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: SHL
000008bd: SUB
000008be: NOT
000008bf: AND
000008c0: PUSH1 0x01
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: SHL
000008c7: SUB
000008c8: DUP7
000008c9: AND
000008ca: OR
000008cb: SWAP1
000008cc: SSTORE
000008cd: PUSH1 0x00
000008cf: JUMPDEST
000008d0: DUP3
000008d1: DUP2
000008d2: LT
000008d3: ISZERO
000008d4: PUSH2 0x093e
000008d7: JUMPI
000008d8: PUSH1 0x01
000008da: PUSH1 0x65
000008dc: PUSH1 0x00
000008de: DUP7
000008df: DUP7
000008e0: DUP6
000008e1: DUP2
000008e2: DUP2
000008e3: LT
000008e4: PUSH2 0x08ef
000008e7: JUMPI
000008e8: PUSH2 0x08ef
000008eb: PUSH2 0x1620
000008ee: JUMP
000008ef: JUMPDEST
000008f0: SWAP1
000008f1: POP
000008f2: PUSH1 0x20
000008f4: MUL
000008f5: ADD
000008f6: PUSH1 0x20
000008f8: DUP2
000008f9: ADD
000008fa: SWAP1
000008fb: PUSH2 0x0904
000008fe: SWAP2
000008ff: SWAP1
00000900: PUSH2 0x1281
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH1 0x01
00000907: PUSH1 0x01
00000909: PUSH1 0xa0
0000090b: SHL
0000090c: SUB
0000090d: AND
0000090e: DUP2
0000090f: MSTORE
00000910: PUSH1 0x20
00000912: DUP2
00000913: ADD
00000914: SWAP2
00000915: SWAP1
00000916: SWAP2
00000917: MSTORE
00000918: PUSH1 0x40
0000091a: ADD
0000091b: PUSH1 0x00
0000091d: KECCAK256
0000091e: DUP1
0000091f: SLOAD
00000920: PUSH1 0xff
00000922: NOT
00000923: AND
00000924: SWAP2
00000925: ISZERO
00000926: ISZERO
00000927: SWAP2
00000928: SWAP1
00000929: SWAP2
0000092a: OR
0000092b: SWAP1
0000092c: SSTORE
0000092d: DUP1
0000092e: PUSH2 0x0936
00000931: DUP2
00000932: PUSH2 0x1661
00000935: JUMP
00000936: JUMPDEST
00000937: SWAP2
00000938: POP
00000939: POP
0000093a: PUSH2 0x08cf
0000093d: JUMP
0000093e: JUMPDEST
0000093f: POP
00000940: DUP1
00000941: ISZERO
00000942: PUSH2 0x04e5
00000945: JUMPI
00000946: PUSH1 0x00
00000948: DUP1
00000949: SLOAD
0000094a: PUSH2 0xff00
0000094d: NOT
0000094e: AND
0000094f: SWAP1
00000950: SSTORE
00000951: PUSH1 0x40
00000953: MLOAD
00000954: PUSH1 0x01
00000956: DUP2
00000957: MSTORE
00000958: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000979: SWAP1
0000097a: PUSH1 0x20
0000097c: ADD
0000097d: PUSH1 0x40
0000097f: MLOAD
00000980: DUP1
00000981: SWAP2
00000982: SUB
00000983: SWAP1
00000984: LOG1
00000985: POP
00000986: POP
00000987: POP
00000988: POP
00000989: POP
0000098a: JUMP
0000098b: JUMPDEST
0000098c: PUSH2 0x0993
0000098f: PUSH2 0x0d16
00000992: JUMP
00000993: JUMPDEST
00000994: DUP3
00000995: DUP2
00000996: EQ
00000997: PUSH2 0x09e2
0000099a: JUMPI
0000099b: PUSH1 0x40
0000099d: MLOAD
0000099e: PUSH3 0x461bcd
000009a2: PUSH1 0xe5
000009a4: SHL
000009a5: DUP2
000009a6: MSTORE
000009a7: PUSH1 0x20
000009a9: PUSH1 0x04
000009ab: DUP3
000009ac: ADD
000009ad: MSTORE
000009ae: PUSH1 0x1a
000009b0: PUSH1 0x24
000009b2: DUP3
000009b3: ADD
000009b4: MSTORE
000009b5: PUSH32 0x4272696467653a20696e76616c696420696e7075742064617461000000000000
000009d6: PUSH1 0x44
000009d8: DUP3
000009d9: ADD
000009da: MSTORE
000009db: PUSH1 0x64
000009dd: ADD
000009de: PUSH2 0x02cd
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH1 0x00
000009e5: PUSH1 0x01
000009e7: PUSH1 0x01
000009e9: PUSH1 0xa0
000009eb: SHL
000009ec: SUB
000009ed: DUP7
000009ee: AND
000009ef: ISZERO
000009f0: DUP1
000009f1: ISZERO
000009f2: SWAP1
000009f3: PUSH2 0x0a0a
000009f6: JUMPI
000009f7: POP
000009f8: PUSH2 0x0a0a
000009fb: PUSH1 0x01
000009fd: PUSH1 0x01
000009ff: PUSH1 0xa0
00000a01: SHL
00000a02: SUB
00000a03: DUP8
00000a04: AND
00000a05: ADDRESS
00000a06: PUSH2 0x0d70
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: SWAP1
00000a0c: POP
00000a0d: PUSH1 0x00
00000a0f: JUMPDEST
00000a10: DUP5
00000a11: DUP2
00000a12: LT
00000a13: ISZERO
00000a14: PUSH2 0x0b20
00000a17: JUMPI
00000a18: DUP2
00000a19: ISZERO
00000a1a: PUSH2 0x0ad1
00000a1d: JUMPI
00000a1e: DUP7
00000a1f: PUSH1 0x01
00000a21: PUSH1 0x01
00000a23: PUSH1 0xa0
00000a25: SHL
00000a26: SUB
00000a27: AND
00000a28: PUSH4 0x40c10f19
00000a2d: DUP8
00000a2e: DUP8
00000a2f: DUP5
00000a30: DUP2
00000a31: DUP2
00000a32: LT
00000a33: PUSH2 0x0a3e
00000a36: JUMPI
00000a37: PUSH2 0x0a3e
00000a3a: PUSH2 0x1620
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: SWAP1
00000a40: POP
00000a41: PUSH1 0x20
00000a43: MUL
00000a44: ADD
00000a45: PUSH1 0x20
00000a47: DUP2
00000a48: ADD
00000a49: SWAP1
00000a4a: PUSH2 0x0a53
00000a4d: SWAP2
00000a4e: SWAP1
00000a4f: PUSH2 0x1281
00000a52: JUMP
00000a53: JUMPDEST
00000a54: DUP7
00000a55: DUP7
00000a56: DUP6
00000a57: DUP2
00000a58: DUP2
00000a59: LT
00000a5a: PUSH2 0x0a65
00000a5d: JUMPI
00000a5e: PUSH2 0x0a65
00000a61: PUSH2 0x1620
00000a64: JUMP
00000a65: JUMPDEST
00000a66: PUSH1 0x40
00000a68: MLOAD
00000a69: PUSH1 0x01
00000a6b: PUSH1 0x01
00000a6d: PUSH1 0xe0
00000a6f: SHL
00000a70: SUB
00000a71: NOT
00000a72: PUSH1 0xe0
00000a74: DUP8
00000a75: SWAP1
00000a76: SHL
00000a77: AND
00000a78: DUP2
00000a79: MSTORE
00000a7a: PUSH1 0x01
00000a7c: PUSH1 0x01
00000a7e: PUSH1 0xa0
00000a80: SHL
00000a81: SUB
00000a82: SWAP1
00000a83: SWAP5
00000a84: AND
00000a85: PUSH1 0x04
00000a87: DUP6
00000a88: ADD
00000a89: MSTORE
00000a8a: PUSH1 0x20
00000a8c: MUL
00000a8d: SWAP2
00000a8e: SWAP1
00000a8f: SWAP2
00000a90: ADD
00000a91: CALLDATALOAD
00000a92: PUSH1 0x24
00000a94: DUP4
00000a95: ADD
00000a96: MSTORE
00000a97: POP
00000a98: PUSH1 0x44
00000a9a: ADD
00000a9b: PUSH1 0x00
00000a9d: PUSH1 0x40
00000a9f: MLOAD
00000aa0: DUP1
00000aa1: DUP4
00000aa2: SUB
00000aa3: DUP2
00000aa4: PUSH1 0x00
00000aa6: DUP8
00000aa7: DUP1
00000aa8: EXTCODESIZE
00000aa9: ISZERO
00000aaa: DUP1
00000aab: ISZERO
00000aac: PUSH2 0x0ab4
00000aaf: JUMPI
00000ab0: PUSH1 0x00
00000ab2: DUP1
00000ab3: REVERT
00000ab4: JUMPDEST
00000ab5: POP
00000ab6: GAS
00000ab7: CALL
00000ab8: ISZERO
00000ab9: DUP1
00000aba: ISZERO
00000abb: PUSH2 0x0ac8
00000abe: JUMPI
00000abf: RETURNDATASIZE
00000ac0: PUSH1 0x00
00000ac2: DUP1
00000ac3: RETURNDATACOPY
00000ac4: RETURNDATASIZE
00000ac5: PUSH1 0x00
00000ac7: REVERT
00000ac8: JUMPDEST
00000ac9: POP
00000aca: POP
00000acb: POP
00000acc: POP
00000acd: PUSH2 0x0b0e
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: PUSH2 0x0b0e
00000ad5: DUP8
00000ad6: DUP8
00000ad7: DUP8
00000ad8: DUP5
00000ad9: DUP2
00000ada: DUP2
00000adb: LT
00000adc: PUSH2 0x0ae7
00000adf: JUMPI
00000ae0: PUSH2 0x0ae7
00000ae3: PUSH2 0x1620
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: SWAP1
00000ae9: POP
00000aea: PUSH1 0x20
00000aec: MUL
00000aed: ADD
00000aee: PUSH1 0x20
00000af0: DUP2
00000af1: ADD
00000af2: SWAP1
00000af3: PUSH2 0x0afc
00000af6: SWAP2
00000af7: SWAP1
00000af8: PUSH2 0x1281
00000afb: JUMP
00000afc: JUMPDEST
00000afd: DUP7
00000afe: DUP7
00000aff: DUP6
00000b00: DUP2
00000b01: DUP2
00000b02: LT
00000b03: PUSH2 0x0710
00000b06: JUMPI
00000b07: PUSH2 0x0710
00000b0a: PUSH2 0x1620
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: DUP1
00000b10: PUSH2 0x0b18
00000b13: DUP2
00000b14: PUSH2 0x1661
00000b17: JUMP
00000b18: JUMPDEST
00000b19: SWAP2
00000b1a: POP
00000b1b: POP
00000b1c: PUSH2 0x0a0f
00000b1f: JUMP
00000b20: JUMPDEST
00000b21: POP
00000b22: PUSH32 0xa20ca4d8d83b89ff090c0ea7b3c3c600625d46681874e0c0d1e35a1d1d4964dd
00000b43: DUP7
00000b44: DUP7
00000b45: DUP7
00000b46: DUP7
00000b47: DUP7
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: PUSH2 0x0319
00000b4e: SWAP6
00000b4f: SWAP5
00000b50: SWAP4
00000b51: SWAP3
00000b52: SWAP2
00000b53: SWAP1
00000b54: PUSH2 0x177d
00000b57: JUMP
00000b58: JUMPDEST
00000b59: CHAINID
00000b5a: DUP2
00000b5b: DUP2
00000b5c: SUB
00000b5d: PUSH2 0x0ba8
00000b60: JUMPI
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: PUSH3 0x461bcd
00000b68: PUSH1 0xe5
00000b6a: SHL
00000b6b: DUP2
00000b6c: MSTORE
00000b6d: PUSH1 0x20
00000b6f: PUSH1 0x04
00000b71: DUP3
00000b72: ADD
00000b73: MSTORE
00000b74: PUSH1 0x1d
00000b76: PUSH1 0x24
00000b78: DUP3
00000b79: ADD
00000b7a: MSTORE
00000b7b: PUSH32 0x4272696467653a20696e76616c6964206465737420636861696e206964000000
00000b9c: PUSH1 0x44
00000b9e: DUP3
00000b9f: ADD
00000ba0: MSTORE
00000ba1: PUSH1 0x64
00000ba3: ADD
00000ba4: PUSH2 0x02cd
00000ba7: JUMP
00000ba8: JUMPDEST
00000ba9: PUSH32 0xc28e54186544d7357308b86c8319edd275e0db552d62381cf49f827791845c61
00000bca: PUSH1 0x00
00000bcc: CALLER
00000bcd: CALLVALUE
00000bce: DUP8
00000bcf: DUP8
00000bd0: DUP8
00000bd1: PUSH1 0x40
00000bd3: MLOAD
00000bd4: PUSH2 0x0be2
00000bd7: SWAP7
00000bd8: SWAP6
00000bd9: SWAP5
00000bda: SWAP4
00000bdb: SWAP3
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: PUSH2 0x15c5
00000be1: JUMP
00000be2: JUMPDEST
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: DUP1
00000be7: SWAP2
00000be8: SUB
00000be9: SWAP1
00000bea: LOG1
00000beb: POP
00000bec: POP
00000bed: POP
00000bee: POP
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: PUSH2 0x0bf8
00000bf4: PUSH2 0x0d16
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x01
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0xa0
00000bff: SHL
00000c00: SUB
00000c01: DUP2
00000c02: AND
00000c03: PUSH2 0x0c5d
00000c06: JUMPI
00000c07: PUSH1 0x40
00000c09: MLOAD
00000c0a: PUSH3 0x461bcd
00000c0e: PUSH1 0xe5
00000c10: SHL
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x20
00000c15: PUSH1 0x04
00000c17: DUP3
00000c18: ADD
00000c19: MSTORE
00000c1a: PUSH1 0x26
00000c1c: PUSH1 0x24
00000c1e: DUP3
00000c1f: ADD
00000c20: MSTORE
00000c21: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000c42: PUSH1 0x44
00000c44: DUP3
00000c45: ADD
00000c46: MSTORE
00000c47: PUSH6 0x646472657373
00000c4e: PUSH1 0xd0
00000c50: SHL
00000c51: PUSH1 0x64
00000c53: DUP3
00000c54: ADD
00000c55: MSTORE
00000c56: PUSH1 0x84
00000c58: ADD
00000c59: PUSH2 0x02cd
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH2 0x0c66
00000c61: DUP2
00000c62: PUSH2 0x0f1a
00000c65: JUMP
00000c66: JUMPDEST
00000c67: POP
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: PUSH1 0x01
00000c6c: PUSH1 0x01
00000c6e: PUSH1 0xa0
00000c70: SHL
00000c71: SUB
00000c72: DUP3
00000c73: AND
00000c74: PUSH1 0x00
00000c76: SWAP1
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x65
00000c7b: PUSH1 0x20
00000c7d: MSTORE
00000c7e: PUSH1 0x40
00000c80: SWAP1
00000c81: KECCAK256
00000c82: SLOAD
00000c83: PUSH1 0xff
00000c85: AND
00000c86: PUSH2 0x0ca2
00000c89: JUMPI
00000c8a: PUSH2 0x0c9e
00000c8d: PUSH1 0x01
00000c8f: PUSH1 0x01
00000c91: PUSH1 0xa0
00000c93: SHL
00000c94: SUB
00000c95: DUP4
00000c96: AND
00000c97: CALLER
00000c98: ADDRESS
00000c99: DUP5
00000c9a: PUSH2 0x0f6c
00000c9d: JUMP
00000c9e: JUMPDEST
00000c9f: POP
00000ca0: POP
00000ca1: JUMP
00000ca2: JUMPDEST
00000ca3: PUSH1 0x01
00000ca5: PUSH1 0x01
00000ca7: PUSH1 0xa0
00000ca9: SHL
00000caa: SUB
00000cab: DUP3
00000cac: AND
00000cad: PUSH4 0x79cc6790
00000cb2: CALLER
00000cb3: PUSH1 0x40
00000cb5: MLOAD
00000cb6: PUSH1 0x01
00000cb8: PUSH1 0x01
00000cba: PUSH1 0xe0
00000cbc: SHL
00000cbd: SUB
00000cbe: NOT
00000cbf: PUSH1 0xe0
00000cc1: DUP5
00000cc2: SWAP1
00000cc3: SHL
00000cc4: AND
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: PUSH1 0x01
00000cc9: PUSH1 0x01
00000ccb: PUSH1 0xa0
00000ccd: SHL
00000cce: SUB
00000ccf: SWAP1
00000cd0: SWAP2
00000cd1: AND
00000cd2: PUSH1 0x04
00000cd4: DUP3
00000cd5: ADD
00000cd6: MSTORE
00000cd7: PUSH1 0x24
00000cd9: DUP2
00000cda: ADD
00000cdb: DUP5
00000cdc: SWAP1
00000cdd: MSTORE
00000cde: PUSH1 0x44
00000ce0: ADD
00000ce1: PUSH1 0x00
00000ce3: PUSH1 0x40
00000ce5: MLOAD
00000ce6: DUP1
00000ce7: DUP4
00000ce8: SUB
00000ce9: DUP2
00000cea: PUSH1 0x00
00000cec: DUP8
00000ced: DUP1
00000cee: EXTCODESIZE
00000cef: ISZERO
00000cf0: DUP1
00000cf1: ISZERO
00000cf2: PUSH2 0x0cfa
00000cf5: JUMPI
00000cf6: PUSH1 0x00
00000cf8: DUP1
00000cf9: REVERT
00000cfa: JUMPDEST
00000cfb: POP
00000cfc: GAS
00000cfd: CALL
00000cfe: ISZERO
00000cff: DUP1
00000d00: ISZERO
00000d01: PUSH2 0x0d0e
00000d04: JUMPI
00000d05: RETURNDATASIZE
00000d06: PUSH1 0x00
00000d08: DUP1
00000d09: RETURNDATACOPY
00000d0a: RETURNDATASIZE
00000d0b: PUSH1 0x00
00000d0d: REVERT
00000d0e: JUMPDEST
00000d0f: POP
00000d10: POP
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: POP
00000d15: JUMP
00000d16: JUMPDEST
00000d17: PUSH1 0x33
00000d19: SLOAD
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0xa0
00000d20: SHL
00000d21: SUB
00000d22: AND
00000d23: CALLER
00000d24: EQ
00000d25: PUSH2 0x077a
00000d28: JUMPI
00000d29: PUSH1 0x40
00000d2b: MLOAD
00000d2c: PUSH3 0x461bcd
00000d30: PUSH1 0xe5
00000d32: SHL
00000d33: DUP2
00000d34: MSTORE
00000d35: PUSH1 0x20
00000d37: PUSH1 0x04
00000d39: DUP3
00000d3a: ADD
00000d3b: DUP2
00000d3c: SWAP1
00000d3d: MSTORE
00000d3e: PUSH1 0x24
00000d40: DUP3
00000d41: ADD
00000d42: MSTORE
00000d43: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d64: PUSH1 0x44
00000d66: DUP3
00000d67: ADD
00000d68: MSTORE
00000d69: PUSH1 0x64
00000d6b: ADD
00000d6c: PUSH2 0x02cd
00000d6f: JUMP
00000d70: JUMPDEST
00000d71: PUSH1 0x40
00000d73: DUP1
00000d74: MLOAD
00000d75: PUSH1 0x04
00000d77: DUP2
00000d78: MSTORE
00000d79: PUSH1 0x24
00000d7b: DUP2
00000d7c: ADD
00000d7d: DUP3
00000d7e: MSTORE
00000d7f: PUSH1 0x20
00000d81: DUP2
00000d82: ADD
00000d83: DUP1
00000d84: MLOAD
00000d85: PUSH1 0x01
00000d87: PUSH1 0x01
00000d89: PUSH1 0xe0
00000d8b: SHL
00000d8c: SUB
00000d8d: AND
00000d8e: PUSH4 0x8da5cb5b
00000d93: PUSH1 0xe0
00000d95: SHL
00000d96: OR
00000d97: SWAP1
00000d98: MSTORE
00000d99: SWAP1
00000d9a: MLOAD
00000d9b: PUSH1 0x00
00000d9d: SWAP2
00000d9e: DUP3
00000d9f: SWAP2
00000da0: DUP3
00000da1: SWAP2
00000da2: PUSH1 0x01
00000da4: PUSH1 0x01
00000da6: PUSH1 0xa0
00000da8: SHL
00000da9: SUB
00000daa: DUP8
00000dab: AND
00000dac: SWAP2
00000dad: PUSH2 0x0db6
00000db0: SWAP2
00000db1: SWAP1
00000db2: PUSH2 0x17e5
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH1 0x00
00000db9: PUSH1 0x40
00000dbb: MLOAD
00000dbc: DUP1
00000dbd: DUP4
00000dbe: SUB
00000dbf: DUP2
00000dc0: DUP6
00000dc1: GAS
00000dc2: STATICCALL
00000dc3: SWAP2
00000dc4: POP
00000dc5: POP
00000dc6: RETURNDATASIZE
00000dc7: DUP1
00000dc8: PUSH1 0x00
00000dca: DUP2
00000dcb: EQ
00000dcc: PUSH2 0x0df1
00000dcf: JUMPI
00000dd0: PUSH1 0x40
00000dd2: MLOAD
00000dd3: SWAP2
00000dd4: POP
00000dd5: PUSH1 0x1f
00000dd7: NOT
00000dd8: PUSH1 0x3f
00000dda: RETURNDATASIZE
00000ddb: ADD
00000ddc: AND
00000ddd: DUP3
00000dde: ADD
00000ddf: PUSH1 0x40
00000de1: MSTORE
00000de2: RETURNDATASIZE
00000de3: DUP3
00000de4: MSTORE
00000de5: RETURNDATASIZE
00000de6: PUSH1 0x00
00000de8: PUSH1 0x20
00000dea: DUP5
00000deb: ADD
00000dec: RETURNDATACOPY
00000ded: PUSH2 0x0df6
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH1 0x60
00000df4: SWAP2
00000df5: POP
00000df6: JUMPDEST
00000df7: POP
00000df8: SWAP2
00000df9: POP
00000dfa: SWAP2
00000dfb: POP
00000dfc: DUP2
00000dfd: ISZERO
00000dfe: DUP1
00000dff: PUSH2 0x0e07
00000e02: JUMPI
00000e03: POP
00000e04: DUP1
00000e05: MLOAD
00000e06: ISZERO
00000e07: JUMPDEST
00000e08: ISZERO
00000e09: PUSH2 0x0e17
00000e0c: JUMPI
00000e0d: PUSH1 0x00
00000e0f: SWAP3
00000e10: POP
00000e11: POP
00000e12: POP
00000e13: PUSH2 0x0e44
00000e16: JUMP
00000e17: JUMPDEST
00000e18: DUP4
00000e19: PUSH1 0x01
00000e1b: PUSH1 0x01
00000e1d: PUSH1 0xa0
00000e1f: SHL
00000e20: SUB
00000e21: AND
00000e22: DUP2
00000e23: DUP1
00000e24: PUSH1 0x20
00000e26: ADD
00000e27: SWAP1
00000e28: MLOAD
00000e29: DUP2
00000e2a: ADD
00000e2b: SWAP1
00000e2c: PUSH2 0x0e35
00000e2f: SWAP2
00000e30: SWAP1
00000e31: PUSH2 0x1801
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH1 0x01
00000e38: PUSH1 0x01
00000e3a: PUSH1 0xa0
00000e3c: SHL
00000e3d: SUB
00000e3e: AND
00000e3f: EQ
00000e40: SWAP3
00000e41: POP
00000e42: POP
00000e43: POP
00000e44: JUMPDEST
00000e45: SWAP3
00000e46: SWAP2
00000e47: POP
00000e48: POP
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH1 0x01
00000e4d: PUSH1 0x01
00000e4f: PUSH1 0xa0
00000e51: SHL
00000e52: SUB
00000e53: DUP4
00000e54: AND
00000e55: PUSH2 0x0f01
00000e58: JUMPI
00000e59: PUSH1 0x00
00000e5b: DUP3
00000e5c: PUSH1 0x01
00000e5e: PUSH1 0x01
00000e60: PUSH1 0xa0
00000e62: SHL
00000e63: SUB
00000e64: AND
00000e65: DUP3
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH1 0x00
00000e6b: PUSH1 0x40
00000e6d: MLOAD
00000e6e: DUP1
00000e6f: DUP4
00000e70: SUB
00000e71: DUP2
00000e72: DUP6
00000e73: DUP8
00000e74: GAS
00000e75: CALL
00000e76: SWAP3
00000e77: POP
00000e78: POP
00000e79: POP
00000e7a: RETURNDATASIZE
00000e7b: DUP1
00000e7c: PUSH1 0x00
00000e7e: DUP2
00000e7f: EQ
00000e80: PUSH2 0x0ea5
00000e83: JUMPI
00000e84: PUSH1 0x40
00000e86: MLOAD
00000e87: SWAP2
00000e88: POP
00000e89: PUSH1 0x1f
00000e8b: NOT
00000e8c: PUSH1 0x3f
00000e8e: RETURNDATASIZE
00000e8f: ADD
00000e90: AND
00000e91: DUP3
00000e92: ADD
00000e93: PUSH1 0x40
00000e95: MSTORE
00000e96: RETURNDATASIZE
00000e97: DUP3
00000e98: MSTORE
00000e99: RETURNDATASIZE
00000e9a: PUSH1 0x00
00000e9c: PUSH1 0x20
00000e9e: DUP5
00000e9f: ADD
00000ea0: RETURNDATACOPY
00000ea1: PUSH2 0x0eaa
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: PUSH1 0x60
00000ea8: SWAP2
00000ea9: POP
00000eaa: JUMPDEST
00000eab: POP
00000eac: POP
00000ead: SWAP1
00000eae: POP
00000eaf: DUP1
00000eb0: PUSH2 0x0efb
00000eb3: JUMPI
00000eb4: PUSH1 0x40
00000eb6: MLOAD
00000eb7: PUSH3 0x461bcd
00000ebb: PUSH1 0xe5
00000ebd: SHL
00000ebe: DUP2
00000ebf: MSTORE
00000ec0: PUSH1 0x20
00000ec2: PUSH1 0x04
00000ec4: DUP3
00000ec5: ADD
00000ec6: MSTORE
00000ec7: PUSH1 0x1b
00000ec9: PUSH1 0x24
00000ecb: DUP3
00000ecc: ADD
00000ecd: MSTORE
00000ece: PUSH32 0x4272696467653a207472616e7366657220657468206661696c65640000000000
00000eef: PUSH1 0x44
00000ef1: DUP3
00000ef2: ADD
00000ef3: MSTORE
00000ef4: PUSH1 0x64
00000ef6: ADD
00000ef7: PUSH2 0x02cd
00000efa: JUMP
00000efb: JUMPDEST
00000efc: POP
00000efd: POP
00000efe: POP
00000eff: POP
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH2 0x0f15
00000f05: PUSH1 0x01
00000f07: PUSH1 0x01
00000f09: PUSH1 0xa0
00000f0b: SHL
00000f0c: SUB
00000f0d: DUP5
00000f0e: AND
00000f0f: DUP4
00000f10: DUP4
00000f11: PUSH2 0x0fd7
00000f14: JUMP
00000f15: JUMPDEST
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: JUMP
00000f1a: JUMPDEST
00000f1b: PUSH1 0x33
00000f1d: DUP1
00000f1e: SLOAD
00000f1f: PUSH1 0x01
00000f21: PUSH1 0x01
00000f23: PUSH1 0xa0
00000f25: SHL
00000f26: SUB
00000f27: DUP4
00000f28: DUP2
00000f29: AND
00000f2a: PUSH1 0x01
00000f2c: PUSH1 0x01
00000f2e: PUSH1 0xa0
00000f30: SHL
00000f31: SUB
00000f32: NOT
00000f33: DUP4
00000f34: AND
00000f35: DUP2
00000f36: OR
00000f37: SWAP1
00000f38: SWAP4
00000f39: SSTORE
00000f3a: PUSH1 0x40
00000f3c: MLOAD
00000f3d: SWAP2
00000f3e: AND
00000f3f: SWAP2
00000f40: SWAP1
00000f41: DUP3
00000f42: SWAP1
00000f43: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000f64: SWAP1
00000f65: PUSH1 0x00
00000f67: SWAP1
00000f68: LOG3
00000f69: POP
00000f6a: POP
00000f6b: JUMP
00000f6c: JUMPDEST
00000f6d: PUSH1 0x40
00000f6f: MLOAD
00000f70: PUSH1 0x01
00000f72: PUSH1 0x01
00000f74: PUSH1 0xa0
00000f76: SHL
00000f77: SUB
00000f78: DUP1
00000f79: DUP6
00000f7a: AND
00000f7b: PUSH1 0x24
00000f7d: DUP4
00000f7e: ADD
00000f7f: MSTORE
00000f80: DUP4
00000f81: AND
00000f82: PUSH1 0x44
00000f84: DUP3
00000f85: ADD
00000f86: MSTORE
00000f87: PUSH1 0x64
00000f89: DUP2
00000f8a: ADD
00000f8b: DUP3
00000f8c: SWAP1
00000f8d: MSTORE
00000f8e: PUSH2 0x0efb
00000f91: SWAP1
00000f92: DUP6
00000f93: SWAP1
00000f94: PUSH4 0x23b872dd
00000f99: PUSH1 0xe0
00000f9b: SHL
00000f9c: SWAP1
00000f9d: PUSH1 0x84
00000f9f: ADD
00000fa0: JUMPDEST
00000fa1: PUSH1 0x40
00000fa3: DUP1
00000fa4: MLOAD
00000fa5: PUSH1 0x1f
00000fa7: NOT
00000fa8: DUP2
00000fa9: DUP5
00000faa: SUB
00000fab: ADD
00000fac: DUP2
00000fad: MSTORE
00000fae: SWAP2
00000faf: SWAP1
00000fb0: MSTORE
00000fb1: PUSH1 0x20
00000fb3: DUP2
00000fb4: ADD
00000fb5: DUP1
00000fb6: MLOAD
00000fb7: PUSH1 0x01
00000fb9: PUSH1 0x01
00000fbb: PUSH1 0xe0
00000fbd: SHL
00000fbe: SUB
00000fbf: AND
00000fc0: PUSH1 0x01
00000fc2: PUSH1 0x01
00000fc4: PUSH1 0xe0
00000fc6: SHL
00000fc7: SUB
00000fc8: NOT
00000fc9: SWAP1
00000fca: SWAP4
00000fcb: AND
00000fcc: SWAP3
00000fcd: SWAP1
00000fce: SWAP3
00000fcf: OR
00000fd0: SWAP1
00000fd1: SWAP2
00000fd2: MSTORE
00000fd3: PUSH2 0x1007
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: PUSH1 0x40
00000fda: MLOAD
00000fdb: PUSH1 0x01
00000fdd: PUSH1 0x01
00000fdf: PUSH1 0xa0
00000fe1: SHL
00000fe2: SUB
00000fe3: DUP4
00000fe4: AND
00000fe5: PUSH1 0x24
00000fe7: DUP3
00000fe8: ADD
00000fe9: MSTORE
00000fea: PUSH1 0x44
00000fec: DUP2
00000fed: ADD
00000fee: DUP3
00000fef: SWAP1
00000ff0: MSTORE
00000ff1: PUSH2 0x0f15
00000ff4: SWAP1
00000ff5: DUP5
00000ff6: SWAP1
00000ff7: PUSH4 0xa9059cbb
00000ffc: PUSH1 0xe0
00000ffe: SHL
00000fff: SWAP1
00001000: PUSH1 0x64
00001002: ADD
00001003: PUSH2 0x0fa0
00001006: JUMP
00001007: JUMPDEST
00001008: PUSH1 0x00
0000100a: PUSH2 0x105c
0000100d: DUP3
0000100e: PUSH1 0x40
00001010: MLOAD
00001011: DUP1
00001012: PUSH1 0x40
00001014: ADD
00001015: PUSH1 0x40
00001017: MSTORE
00001018: DUP1
00001019: PUSH1 0x20
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x20
0000101f: ADD
00001020: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001041: DUP2
00001042: MSTORE
00001043: POP
00001044: DUP6
00001045: PUSH1 0x01
00001047: PUSH1 0x01
00001049: PUSH1 0xa0
0000104b: SHL
0000104c: SUB
0000104d: AND
0000104e: PUSH2 0x10dc
00001051: SWAP1
00001052: SWAP3
00001053: SWAP2
00001054: SWAP1
00001055: PUSH4 0xffffffff
0000105a: AND
0000105b: JUMP
0000105c: JUMPDEST
0000105d: SWAP1
0000105e: POP
0000105f: DUP1
00001060: MLOAD
00001061: PUSH1 0x00
00001063: EQ
00001064: DUP1
00001065: PUSH2 0x107d
00001068: JUMPI
00001069: POP
0000106a: DUP1
0000106b: DUP1
0000106c: PUSH1 0x20
0000106e: ADD
0000106f: SWAP1
00001070: MLOAD
00001071: DUP2
00001072: ADD
00001073: SWAP1
00001074: PUSH2 0x107d
00001077: SWAP2
00001078: SWAP1
00001079: PUSH2 0x181e
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH2 0x0f15
00001081: JUMPI
00001082: PUSH1 0x40
00001084: MLOAD
00001085: PUSH3 0x461bcd
00001089: PUSH1 0xe5
0000108b: SHL
0000108c: DUP2
0000108d: MSTORE
0000108e: PUSH1 0x20
00001090: PUSH1 0x04
00001092: DUP3
00001093: ADD
00001094: MSTORE
00001095: PUSH1 0x2a
00001097: PUSH1 0x24
00001099: DUP3
0000109a: ADD
0000109b: MSTORE
0000109c: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000010bd: PUSH1 0x44
000010bf: DUP3
000010c0: ADD
000010c1: MSTORE
000010c2: PUSH10 0x1bdd081cdd58d8d95959
000010cd: PUSH1 0xb2
000010cf: SHL
000010d0: PUSH1 0x64
000010d2: DUP3
000010d3: ADD
000010d4: MSTORE
000010d5: PUSH1 0x84
000010d7: ADD
000010d8: PUSH2 0x02cd
000010db: JUMP
000010dc: JUMPDEST
000010dd: PUSH1 0x60
000010df: PUSH2 0x10eb
000010e2: DUP5
000010e3: DUP5
000010e4: PUSH1 0x00
000010e6: DUP6
000010e7: PUSH2 0x10f3
000010ea: JUMP
000010eb: JUMPDEST
000010ec: SWAP5
000010ed: SWAP4
000010ee: POP
000010ef: POP
000010f0: POP
000010f1: POP
000010f2: JUMP
000010f3: JUMPDEST
000010f4: PUSH1 0x60
000010f6: DUP3
000010f7: SELFBALANCE
000010f8: LT
000010f9: ISZERO
000010fa: PUSH2 0x1154
000010fd: JUMPI
000010fe: PUSH1 0x40
00001100: MLOAD
00001101: PUSH3 0x461bcd
00001105: PUSH1 0xe5
00001107: SHL
00001108: DUP2
00001109: MSTORE
0000110a: PUSH1 0x20
0000110c: PUSH1 0x04
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH1 0x26
00001113: PUSH1 0x24
00001115: DUP3
00001116: ADD
00001117: MSTORE
00001118: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001139: PUSH1 0x44
0000113b: DUP3
0000113c: ADD
0000113d: MSTORE
0000113e: PUSH6 0x1c8818d85b1b
00001145: PUSH1 0xd2
00001147: SHL
00001148: PUSH1 0x64
0000114a: DUP3
0000114b: ADD
0000114c: MSTORE
0000114d: PUSH1 0x84
0000114f: ADD
00001150: PUSH2 0x02cd
00001153: JUMP
00001154: JUMPDEST
00001155: PUSH1 0x00
00001157: DUP1
00001158: DUP7
00001159: PUSH1 0x01
0000115b: PUSH1 0x01
0000115d: PUSH1 0xa0
0000115f: SHL
00001160: SUB
00001161: AND
00001162: DUP6
00001163: DUP8
00001164: PUSH1 0x40
00001166: MLOAD
00001167: PUSH2 0x1170
0000116a: SWAP2
0000116b: SWAP1
0000116c: PUSH2 0x17e5
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH1 0x00
00001173: PUSH1 0x40
00001175: MLOAD
00001176: DUP1
00001177: DUP4
00001178: SUB
00001179: DUP2
0000117a: DUP6
0000117b: DUP8
0000117c: GAS
0000117d: CALL
0000117e: SWAP3
0000117f: POP
00001180: POP
00001181: POP
00001182: RETURNDATASIZE
00001183: DUP1
00001184: PUSH1 0x00
00001186: DUP2
00001187: EQ
00001188: PUSH2 0x11ad
0000118b: JUMPI
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: SWAP2
00001190: POP
00001191: PUSH1 0x1f
00001193: NOT
00001194: PUSH1 0x3f
00001196: RETURNDATASIZE
00001197: ADD
00001198: AND
00001199: DUP3
0000119a: ADD
0000119b: PUSH1 0x40
0000119d: MSTORE
0000119e: RETURNDATASIZE
0000119f: DUP3
000011a0: MSTORE
000011a1: RETURNDATASIZE
000011a2: PUSH1 0x00
000011a4: PUSH1 0x20
000011a6: DUP5
000011a7: ADD
000011a8: RETURNDATACOPY
000011a9: PUSH2 0x11b2
000011ac: JUMP
000011ad: JUMPDEST
000011ae: PUSH1 0x60
000011b0: SWAP2
000011b1: POP
000011b2: JUMPDEST
000011b3: POP
000011b4: SWAP2
000011b5: POP
000011b6: SWAP2
000011b7: POP
000011b8: PUSH2 0x11c3
000011bb: DUP8
000011bc: DUP4
000011bd: DUP4
000011be: DUP8
000011bf: PUSH2 0x11ce
000011c2: JUMP
000011c3: JUMPDEST
000011c4: SWAP8
000011c5: SWAP7
000011c6: POP
000011c7: POP
000011c8: POP
000011c9: POP
000011ca: POP
000011cb: POP
000011cc: POP
000011cd: JUMP
000011ce: JUMPDEST
000011cf: PUSH1 0x60
000011d1: DUP4
000011d2: ISZERO
000011d3: PUSH2 0x123d
000011d6: JUMPI
000011d7: DUP3
000011d8: MLOAD
000011d9: PUSH1 0x00
000011db: SUB
000011dc: PUSH2 0x1236
000011df: JUMPI
000011e0: PUSH1 0x01
000011e2: PUSH1 0x01
000011e4: PUSH1 0xa0
000011e6: SHL
000011e7: SUB
000011e8: DUP6
000011e9: AND
000011ea: EXTCODESIZE
000011eb: PUSH2 0x1236
000011ee: JUMPI
000011ef: PUSH1 0x40
000011f1: MLOAD
000011f2: PUSH3 0x461bcd
000011f6: PUSH1 0xe5
000011f8: SHL
000011f9: DUP2
000011fa: MSTORE
000011fb: PUSH1 0x20
000011fd: PUSH1 0x04
000011ff: DUP3
00001200: ADD
00001201: MSTORE
00001202: PUSH1 0x1d
00001204: PUSH1 0x24
00001206: DUP3
00001207: ADD
00001208: MSTORE
00001209: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000122a: PUSH1 0x44
0000122c: DUP3
0000122d: ADD
0000122e: MSTORE
0000122f: PUSH1 0x64
00001231: ADD
00001232: PUSH2 0x02cd
00001235: JUMP
00001236: JUMPDEST
00001237: POP
00001238: DUP2
00001239: PUSH2 0x10eb
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH2 0x10eb
00001241: DUP4
00001242: DUP4
00001243: DUP2
00001244: MLOAD
00001245: ISZERO
00001246: PUSH2 0x1252
00001249: JUMPI
0000124a: DUP2
0000124b: MLOAD
0000124c: DUP1
0000124d: DUP4
0000124e: PUSH1 0x20
00001250: ADD
00001251: REVERT
00001252: JUMPDEST
00001253: DUP1
00001254: PUSH1 0x40
00001256: MLOAD
00001257: PUSH3 0x461bcd
0000125b: PUSH1 0xe5
0000125d: SHL
0000125e: DUP2
0000125f: MSTORE
00001260: PUSH1 0x04
00001262: ADD
00001263: PUSH2 0x02cd
00001266: SWAP2
00001267: SWAP1
00001268: PUSH2 0x183b
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH1 0x01
0000126f: PUSH1 0x01
00001271: PUSH1 0xa0
00001273: SHL
00001274: SUB
00001275: DUP2
00001276: AND
00001277: DUP2
00001278: EQ
00001279: PUSH2 0x0c66
0000127c: JUMPI
0000127d: PUSH1 0x00
0000127f: DUP1
00001280: REVERT
00001281: JUMPDEST
00001282: PUSH1 0x00
00001284: PUSH1 0x20
00001286: DUP3
00001287: DUP5
00001288: SUB
00001289: SLT
0000128a: ISZERO
0000128b: PUSH2 0x1293
0000128e: JUMPI
0000128f: PUSH1 0x00
00001291: DUP1
00001292: REVERT
00001293: JUMPDEST
00001294: DUP2
00001295: CALLDATALOAD
00001296: PUSH2 0x129e
00001299: DUP2
0000129a: PUSH2 0x126c
0000129d: JUMP
0000129e: JUMPDEST
0000129f: SWAP4
000012a0: SWAP3
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: JUMP
000012a5: JUMPDEST
000012a6: PUSH1 0x00
000012a8: DUP1
000012a9: DUP4
000012aa: PUSH1 0x1f
000012ac: DUP5
000012ad: ADD
000012ae: SLT
000012af: PUSH2 0x12b7
000012b2: JUMPI
000012b3: PUSH1 0x00
000012b5: DUP1
000012b6: REVERT
000012b7: JUMPDEST
000012b8: POP
000012b9: DUP2
000012ba: CALLDATALOAD
000012bb: PUSH8 0xffffffffffffffff
000012c4: DUP2
000012c5: GT
000012c6: ISZERO
000012c7: PUSH2 0x12cf
000012ca: JUMPI
000012cb: PUSH1 0x00
000012cd: DUP1
000012ce: REVERT
000012cf: JUMPDEST
000012d0: PUSH1 0x20
000012d2: DUP4
000012d3: ADD
000012d4: SWAP2
000012d5: POP
000012d6: DUP4
000012d7: PUSH1 0x20
000012d9: DUP3
000012da: DUP6
000012db: ADD
000012dc: ADD
000012dd: GT
000012de: ISZERO
000012df: PUSH2 0x12e7
000012e2: JUMPI
000012e3: PUSH1 0x00
000012e5: DUP1
000012e6: REVERT
000012e7: JUMPDEST
000012e8: SWAP3
000012e9: POP
000012ea: SWAP3
000012eb: SWAP1
000012ec: POP
000012ed: JUMP
000012ee: JUMPDEST
000012ef: PUSH1 0x00
000012f1: DUP1
000012f2: PUSH1 0x00
000012f4: DUP1
000012f5: PUSH1 0x00
000012f7: PUSH1 0x80
000012f9: DUP7
000012fa: DUP9
000012fb: SUB
000012fc: SLT
000012fd: ISZERO
000012fe: PUSH2 0x1306
00001301: JUMPI
00001302: PUSH1 0x00
00001304: DUP1
00001305: REVERT
00001306: JUMPDEST
00001307: DUP6
00001308: CALLDATALOAD
00001309: PUSH2 0x1311
0000130c: DUP2
0000130d: PUSH2 0x126c
00001310: JUMP
00001311: JUMPDEST
00001312: SWAP5
00001313: POP
00001314: PUSH1 0x20
00001316: DUP7
00001317: ADD
00001318: CALLDATALOAD
00001319: SWAP4
0000131a: POP
0000131b: PUSH1 0x40
0000131d: DUP7
0000131e: ADD
0000131f: CALLDATALOAD
00001320: PUSH8 0xffffffffffffffff
00001329: DUP2
0000132a: GT
0000132b: ISZERO
0000132c: PUSH2 0x1334
0000132f: JUMPI
00001330: PUSH1 0x00
00001332: DUP1
00001333: REVERT
00001334: JUMPDEST
00001335: PUSH2 0x1340
00001338: DUP9
00001339: DUP3
0000133a: DUP10
0000133b: ADD
0000133c: PUSH2 0x12a5
0000133f: JUMP
00001340: JUMPDEST
00001341: SWAP7
00001342: SWAP10
00001343: SWAP6
00001344: SWAP9
00001345: POP
00001346: SWAP7
00001347: PUSH1 0x60
00001349: ADD
0000134a: CALLDATALOAD
0000134b: SWAP5
0000134c: SWAP4
0000134d: POP
0000134e: POP
0000134f: POP
00001350: POP
00001351: JUMP
00001352: JUMPDEST
00001353: PUSH1 0x00
00001355: DUP1
00001356: DUP4
00001357: PUSH1 0x1f
00001359: DUP5
0000135a: ADD
0000135b: SLT
0000135c: PUSH2 0x1364
0000135f: JUMPI
00001360: PUSH1 0x00
00001362: DUP1
00001363: REVERT
00001364: JUMPDEST
00001365: POP
00001366: DUP2
00001367: CALLDATALOAD
00001368: PUSH8 0xffffffffffffffff
00001371: DUP2
00001372: GT
00001373: ISZERO
00001374: PUSH2 0x137c
00001377: JUMPI
00001378: PUSH1 0x00
0000137a: DUP1
0000137b: REVERT
0000137c: JUMPDEST
0000137d: PUSH1 0x20
0000137f: DUP4
00001380: ADD
00001381: SWAP2
00001382: POP
00001383: DUP4
00001384: PUSH1 0x20
00001386: DUP3
00001387: PUSH1 0x05
00001389: SHL
0000138a: DUP6
0000138b: ADD
0000138c: ADD
0000138d: GT
0000138e: ISZERO
0000138f: PUSH2 0x12e7
00001392: JUMPI
00001393: PUSH1 0x00
00001395: DUP1
00001396: REVERT
00001397: JUMPDEST
00001398: PUSH1 0x00
0000139a: DUP1
0000139b: PUSH1 0x00
0000139d: DUP1
0000139e: PUSH1 0x40
000013a0: DUP6
000013a1: DUP8
000013a2: SUB
000013a3: SLT
000013a4: ISZERO
000013a5: PUSH2 0x13ad
000013a8: JUMPI
000013a9: PUSH1 0x00
000013ab: DUP1
000013ac: REVERT
000013ad: JUMPDEST
000013ae: DUP5
000013af: CALLDATALOAD
000013b0: PUSH8 0xffffffffffffffff
000013b9: DUP1
000013ba: DUP3
000013bb: GT
000013bc: ISZERO
000013bd: PUSH2 0x13c5
000013c0: JUMPI
000013c1: PUSH1 0x00
000013c3: DUP1
000013c4: REVERT
000013c5: JUMPDEST
000013c6: PUSH2 0x13d1
000013c9: DUP9
000013ca: DUP4
000013cb: DUP10
000013cc: ADD
000013cd: PUSH2 0x1352
000013d0: JUMP
000013d1: JUMPDEST
000013d2: SWAP1
000013d3: SWAP7
000013d4: POP
000013d5: SWAP5
000013d6: POP
000013d7: PUSH1 0x20
000013d9: DUP8
000013da: ADD
000013db: CALLDATALOAD
000013dc: SWAP2
000013dd: POP
000013de: DUP1
000013df: DUP3
000013e0: GT
000013e1: ISZERO
000013e2: PUSH2 0x13ea
000013e5: JUMPI
000013e6: PUSH1 0x00
000013e8: DUP1
000013e9: REVERT
000013ea: JUMPDEST
000013eb: POP
000013ec: PUSH2 0x13f7
000013ef: DUP8
000013f0: DUP3
000013f1: DUP9
000013f2: ADD
000013f3: PUSH2 0x1352
000013f6: JUMP
000013f7: JUMPDEST
000013f8: SWAP6
000013f9: SWAP9
000013fa: SWAP5
000013fb: SWAP8
000013fc: POP
000013fd: SWAP6
000013fe: POP
000013ff: POP
00001400: POP
00001401: POP
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH1 0x00
00001406: DUP1
00001407: PUSH1 0x00
00001409: DUP1
0000140a: PUSH1 0x00
0000140c: DUP1
0000140d: PUSH1 0x60
0000140f: DUP8
00001410: DUP10
00001411: SUB
00001412: SLT
00001413: ISZERO
00001414: PUSH2 0x141c
00001417: JUMPI
00001418: PUSH1 0x00
0000141a: DUP1
0000141b: REVERT
0000141c: JUMPDEST
0000141d: DUP7
0000141e: CALLDATALOAD
0000141f: PUSH8 0xffffffffffffffff
00001428: DUP1
00001429: DUP3
0000142a: GT
0000142b: ISZERO
0000142c: PUSH2 0x1434
0000142f: JUMPI
00001430: PUSH1 0x00
00001432: DUP1
00001433: REVERT
00001434: JUMPDEST
00001435: PUSH2 0x1440
00001438: DUP11
00001439: DUP4
0000143a: DUP12
0000143b: ADD
0000143c: PUSH2 0x1352
0000143f: JUMP
00001440: JUMPDEST
00001441: SWAP1
00001442: SWAP9
00001443: POP
00001444: SWAP7
00001445: POP
00001446: PUSH1 0x20
00001448: DUP10
00001449: ADD
0000144a: CALLDATALOAD
0000144b: SWAP2
0000144c: POP
0000144d: DUP1
0000144e: DUP3
0000144f: GT
00001450: ISZERO
00001451: PUSH2 0x1459
00001454: JUMPI
00001455: PUSH1 0x00
00001457: DUP1
00001458: REVERT
00001459: JUMPDEST
0000145a: PUSH2 0x1465
0000145d: DUP11
0000145e: DUP4
0000145f: DUP12
00001460: ADD
00001461: PUSH2 0x1352
00001464: JUMP
00001465: JUMPDEST
00001466: SWAP1
00001467: SWAP7
00001468: POP
00001469: SWAP5
0000146a: POP
0000146b: PUSH1 0x40
0000146d: DUP10
0000146e: ADD
0000146f: CALLDATALOAD
00001470: SWAP2
00001471: POP
00001472: DUP1
00001473: DUP3
00001474: GT
00001475: ISZERO
00001476: PUSH2 0x147e
00001479: JUMPI
0000147a: PUSH1 0x00
0000147c: DUP1
0000147d: REVERT
0000147e: JUMPDEST
0000147f: POP
00001480: PUSH2 0x148b
00001483: DUP10
00001484: DUP3
00001485: DUP11
00001486: ADD
00001487: PUSH2 0x1352
0000148a: JUMP
0000148b: JUMPDEST
0000148c: SWAP8
0000148d: SWAP11
0000148e: SWAP7
0000148f: SWAP10
00001490: POP
00001491: SWAP5
00001492: SWAP8
00001493: POP
00001494: SWAP3
00001495: SWAP6
00001496: SWAP4
00001497: SWAP5
00001498: SWAP3
00001499: POP
0000149a: POP
0000149b: POP
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH1 0x00
000014a0: DUP1
000014a1: PUSH1 0x00
000014a3: DUP1
000014a4: PUSH1 0x60
000014a6: DUP6
000014a7: DUP8
000014a8: SUB
000014a9: SLT
000014aa: ISZERO
000014ab: PUSH2 0x14b3
000014ae: JUMPI
000014af: PUSH1 0x00
000014b1: DUP1
000014b2: REVERT
000014b3: JUMPDEST
000014b4: DUP5
000014b5: CALLDATALOAD
000014b6: PUSH2 0x14be
000014b9: DUP2
000014ba: PUSH2 0x126c
000014bd: JUMP
000014be: JUMPDEST
000014bf: SWAP4
000014c0: POP
000014c1: PUSH1 0x20
000014c3: DUP6
000014c4: ADD
000014c5: CALLDATALOAD
000014c6: PUSH2 0x14ce
000014c9: DUP2
000014ca: PUSH2 0x126c
000014cd: JUMP
000014ce: JUMPDEST
000014cf: SWAP3
000014d0: POP
000014d1: PUSH1 0x40
000014d3: DUP6
000014d4: ADD
000014d5: CALLDATALOAD
000014d6: PUSH8 0xffffffffffffffff
000014df: DUP2
000014e0: GT
000014e1: ISZERO
000014e2: PUSH2 0x14ea
000014e5: JUMPI
000014e6: PUSH1 0x00
000014e8: DUP1
000014e9: REVERT
000014ea: JUMPDEST
000014eb: PUSH2 0x13f7
000014ee: DUP8
000014ef: DUP3
000014f0: DUP9
000014f1: ADD
000014f2: PUSH2 0x1352
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH1 0x00
000014f9: DUP1
000014fa: PUSH1 0x00
000014fc: DUP1
000014fd: PUSH1 0x00
000014ff: PUSH1 0x60
00001501: DUP7
00001502: DUP9
00001503: SUB
00001504: SLT
00001505: ISZERO
00001506: PUSH2 0x150e
00001509: JUMPI
0000150a: PUSH1 0x00
0000150c: DUP1
0000150d: REVERT
0000150e: JUMPDEST
0000150f: DUP6
00001510: CALLDATALOAD
00001511: PUSH2 0x1519
00001514: DUP2
00001515: PUSH2 0x126c
00001518: JUMP
00001519: JUMPDEST
0000151a: SWAP5
0000151b: POP
0000151c: PUSH1 0x20
0000151e: DUP7
0000151f: ADD
00001520: CALLDATALOAD
00001521: PUSH8 0xffffffffffffffff
0000152a: DUP1
0000152b: DUP3
0000152c: GT
0000152d: ISZERO
0000152e: PUSH2 0x1536
00001531: JUMPI
00001532: PUSH1 0x00
00001534: DUP1
00001535: REVERT
00001536: JUMPDEST
00001537: PUSH2 0x1542
0000153a: DUP10
0000153b: DUP4
0000153c: DUP11
0000153d: ADD
0000153e: PUSH2 0x1352
00001541: JUMP
00001542: JUMPDEST
00001543: SWAP1
00001544: SWAP7
00001545: POP
00001546: SWAP5
00001547: POP
00001548: PUSH1 0x40
0000154a: DUP9
0000154b: ADD
0000154c: CALLDATALOAD
0000154d: SWAP2
0000154e: POP
0000154f: DUP1
00001550: DUP3
00001551: GT
00001552: ISZERO
00001553: PUSH2 0x155b
00001556: JUMPI
00001557: PUSH1 0x00
00001559: DUP1
0000155a: REVERT
0000155b: JUMPDEST
0000155c: POP
0000155d: PUSH2 0x1568
00001560: DUP9
00001561: DUP3
00001562: DUP10
00001563: ADD
00001564: PUSH2 0x1352
00001567: JUMP
00001568: JUMPDEST
00001569: SWAP7
0000156a: SWAP10
0000156b: SWAP6
0000156c: SWAP9
0000156d: POP
0000156e: SWAP4
0000156f: SWAP7
00001570: POP
00001571: SWAP3
00001572: SWAP5
00001573: SWAP4
00001574: SWAP3
00001575: POP
00001576: POP
00001577: POP
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x00
0000157c: DUP1
0000157d: PUSH1 0x00
0000157f: PUSH1 0x40
00001581: DUP5
00001582: DUP7
00001583: SUB
00001584: SLT
00001585: ISZERO
00001586: PUSH2 0x158e
00001589: JUMPI
0000158a: PUSH1 0x00
0000158c: DUP1
0000158d: REVERT
0000158e: JUMPDEST
0000158f: DUP4
00001590: CALLDATALOAD
00001591: PUSH8 0xffffffffffffffff
0000159a: DUP2
0000159b: GT
0000159c: ISZERO
0000159d: PUSH2 0x15a5
000015a0: JUMPI
000015a1: PUSH1 0x00
000015a3: DUP1
000015a4: REVERT
000015a5: JUMPDEST
000015a6: PUSH2 0x15b1
000015a9: DUP7
000015aa: DUP3
000015ab: DUP8
000015ac: ADD
000015ad: PUSH2 0x12a5
000015b0: JUMP
000015b1: JUMPDEST
000015b2: SWAP1
000015b3: SWAP8
000015b4: SWAP1
000015b5: SWAP7
000015b6: POP
000015b7: PUSH1 0x20
000015b9: SWAP6
000015ba: SWAP1
000015bb: SWAP6
000015bc: ADD
000015bd: CALLDATALOAD
000015be: SWAP5
000015bf: SWAP4
000015c0: POP
000015c1: POP
000015c2: POP
000015c3: POP
000015c4: JUMP
000015c5: JUMPDEST
000015c6: PUSH1 0x01
000015c8: PUSH1 0x01
000015ca: PUSH1 0xa0
000015cc: SHL
000015cd: SUB
000015ce: DUP8
000015cf: DUP2
000015d0: AND
000015d1: DUP3
000015d2: MSTORE
000015d3: DUP7
000015d4: AND
000015d5: PUSH1 0x20
000015d7: DUP3
000015d8: ADD
000015d9: MSTORE
000015da: PUSH1 0x40
000015dc: DUP2
000015dd: ADD
000015de: DUP6
000015df: SWAP1
000015e0: MSTORE
000015e1: PUSH1 0xa0
000015e3: PUSH1 0x60
000015e5: DUP3
000015e6: ADD
000015e7: DUP2
000015e8: SWAP1
000015e9: MSTORE
000015ea: DUP2
000015eb: ADD
000015ec: DUP4
000015ed: SWAP1
000015ee: MSTORE
000015ef: PUSH1 0x00
000015f1: DUP4
000015f2: DUP6
000015f3: PUSH1 0xc0
000015f5: DUP5
000015f6: ADD
000015f7: CALLDATACOPY
000015f8: PUSH1 0x00
000015fa: PUSH1 0xc0
000015fc: DUP6
000015fd: DUP5
000015fe: ADD
000015ff: ADD
00001600: MSTORE
00001601: PUSH1 0xc0
00001603: PUSH1 0x1f
00001605: NOT
00001606: PUSH1 0x1f
00001608: DUP7
00001609: ADD
0000160a: AND
0000160b: DUP4
0000160c: ADD
0000160d: ADD
0000160e: SWAP1
0000160f: POP
00001610: DUP3
00001611: PUSH1 0x80
00001613: DUP4
00001614: ADD
00001615: MSTORE
00001616: SWAP8
00001617: SWAP7
00001618: POP
00001619: POP
0000161a: POP
0000161b: POP
0000161c: POP
0000161d: POP
0000161e: POP
0000161f: JUMP
00001620: JUMPDEST
00001621: PUSH4 0x4e487b71
00001626: PUSH1 0xe0
00001628: SHL
00001629: PUSH1 0x00
0000162b: MSTORE
0000162c: PUSH1 0x32
0000162e: PUSH1 0x04
00001630: MSTORE
00001631: PUSH1 0x24
00001633: PUSH1 0x00
00001635: REVERT
00001636: JUMPDEST
00001637: DUP1
00001638: ISZERO
00001639: ISZERO
0000163a: DUP2
0000163b: EQ
0000163c: PUSH2 0x0c66
0000163f: JUMPI
00001640: PUSH1 0x00
00001642: DUP1
00001643: REVERT
00001644: JUMPDEST
00001645: PUSH1 0x00
00001647: PUSH1 0x20
00001649: DUP3
0000164a: DUP5
0000164b: SUB
0000164c: SLT
0000164d: ISZERO
0000164e: PUSH2 0x1656
00001651: JUMPI
00001652: PUSH1 0x00
00001654: DUP1
00001655: REVERT
00001656: JUMPDEST
00001657: DUP2
00001658: CALLDATALOAD
00001659: PUSH2 0x129e
0000165c: DUP2
0000165d: PUSH2 0x1636
00001660: JUMP
00001661: JUMPDEST
00001662: PUSH1 0x00
00001664: PUSH1 0x01
00001666: DUP3
00001667: ADD
00001668: PUSH2 0x1681
0000166b: JUMPI
0000166c: PUSH4 0x4e487b71
00001671: PUSH1 0xe0
00001673: SHL
00001674: PUSH1 0x00
00001676: MSTORE
00001677: PUSH1 0x11
00001679: PUSH1 0x04
0000167b: MSTORE
0000167c: PUSH1 0x24
0000167e: PUSH1 0x00
00001680: REVERT
00001681: JUMPDEST
00001682: POP
00001683: PUSH1 0x01
00001685: ADD
00001686: SWAP1
00001687: JUMP
00001688: JUMPDEST
00001689: DUP2
0000168a: DUP4
0000168b: MSTORE
0000168c: PUSH1 0x00
0000168e: PUSH1 0x20
00001690: DUP1
00001691: DUP6
00001692: ADD
00001693: SWAP5
00001694: POP
00001695: DUP3
00001696: PUSH1 0x00
00001698: JUMPDEST
00001699: DUP6
0000169a: DUP2
0000169b: LT
0000169c: ISZERO
0000169d: PUSH2 0x16c6
000016a0: JUMPI
000016a1: DUP2
000016a2: CALLDATALOAD
000016a3: PUSH2 0x16ab
000016a6: DUP2
000016a7: PUSH2 0x126c
000016aa: JUMP
000016ab: JUMPDEST
000016ac: PUSH1 0x01
000016ae: PUSH1 0x01
000016b0: PUSH1 0xa0
000016b2: SHL
000016b3: SUB
000016b4: AND
000016b5: DUP8
000016b6: MSTORE
000016b7: SWAP6
000016b8: DUP3
000016b9: ADD
000016ba: SWAP6
000016bb: SWAP1
000016bc: DUP3
000016bd: ADD
000016be: SWAP1
000016bf: PUSH1 0x01
000016c1: ADD
000016c2: PUSH2 0x1698
000016c5: JUMP
000016c6: JUMPDEST
000016c7: POP
000016c8: SWAP5
000016c9: SWAP6
000016ca: SWAP5
000016cb: POP
000016cc: POP
000016cd: POP
000016ce: POP
000016cf: POP
000016d0: JUMP
000016d1: JUMPDEST
000016d2: DUP2
000016d3: DUP4
000016d4: MSTORE
000016d5: PUSH1 0x00
000016d7: PUSH1 0x01
000016d9: PUSH1 0x01
000016db: PUSH1 0xfb
000016dd: SHL
000016de: SUB
000016df: DUP4
000016e0: GT
000016e1: ISZERO
000016e2: PUSH2 0x16ea
000016e5: JUMPI
000016e6: PUSH1 0x00
000016e8: DUP1
000016e9: REVERT
000016ea: JUMPDEST
000016eb: DUP3
000016ec: PUSH1 0x05
000016ee: SHL
000016ef: DUP1
000016f0: DUP4
000016f1: PUSH1 0x20
000016f3: DUP8
000016f4: ADD
000016f5: CALLDATACOPY
000016f6: SWAP4
000016f7: SWAP1
000016f8: SWAP4
000016f9: ADD
000016fa: PUSH1 0x20
000016fc: ADD
000016fd: SWAP4
000016fe: SWAP3
000016ff: POP
00001700: POP
00001701: POP
00001702: JUMP
00001703: JUMPDEST
00001704: PUSH1 0x60
00001706: DUP1
00001707: DUP3
00001708: MSTORE
00001709: DUP2
0000170a: ADD
0000170b: DUP7
0000170c: SWAP1
0000170d: MSTORE
0000170e: PUSH1 0x00
00001710: DUP8
00001711: PUSH1 0x80
00001713: DUP4
00001714: ADD
00001715: DUP3
00001716: JUMPDEST
00001717: DUP10
00001718: DUP2
00001719: LT
0000171a: ISZERO
0000171b: PUSH2 0x1746
0000171e: JUMPI
0000171f: DUP3
00001720: CALLDATALOAD
00001721: PUSH2 0x1729
00001724: DUP2
00001725: PUSH2 0x126c
00001728: JUMP
00001729: JUMPDEST
0000172a: PUSH1 0x01
0000172c: PUSH1 0x01
0000172e: PUSH1 0xa0
00001730: SHL
00001731: SUB
00001732: AND
00001733: DUP3
00001734: MSTORE
00001735: PUSH1 0x20
00001737: SWAP3
00001738: DUP4
00001739: ADD
0000173a: SWAP3
0000173b: SWAP1
0000173c: SWAP2
0000173d: ADD
0000173e: SWAP1
0000173f: PUSH1 0x01
00001741: ADD
00001742: PUSH2 0x1716
00001745: JUMP
00001746: JUMPDEST
00001747: POP
00001748: DUP4
00001749: DUP2
0000174a: SUB
0000174b: PUSH1 0x20
0000174d: DUP6
0000174e: ADD
0000174f: MSTORE
00001750: PUSH2 0x175a
00001753: DUP2
00001754: DUP9
00001755: DUP11
00001756: PUSH2 0x1688
00001759: JUMP
0000175a: JUMPDEST
0000175b: SWAP2
0000175c: POP
0000175d: POP
0000175e: DUP3
0000175f: DUP2
00001760: SUB
00001761: PUSH1 0x40
00001763: DUP5
00001764: ADD
00001765: MSTORE
00001766: PUSH2 0x1770
00001769: DUP2
0000176a: DUP6
0000176b: DUP8
0000176c: PUSH2 0x16d1
0000176f: JUMP
00001770: JUMPDEST
00001771: SWAP10
00001772: SWAP9
00001773: POP
00001774: POP
00001775: POP
00001776: POP
00001777: POP
00001778: POP
00001779: POP
0000177a: POP
0000177b: POP
0000177c: JUMP
0000177d: JUMPDEST
0000177e: PUSH1 0x01
00001780: PUSH1 0x01
00001782: PUSH1 0xa0
00001784: SHL
00001785: SUB
00001786: DUP7
00001787: AND
00001788: DUP2
00001789: MSTORE
0000178a: PUSH1 0x60
0000178c: PUSH1 0x20
0000178e: DUP3
0000178f: ADD
00001790: DUP2
00001791: SWAP1
00001792: MSTORE
00001793: PUSH1 0x00
00001795: SWAP1
00001796: PUSH2 0x17a2
00001799: SWAP1
0000179a: DUP4
0000179b: ADD
0000179c: DUP7
0000179d: DUP9
0000179e: PUSH2 0x1688
000017a1: JUMP
000017a2: JUMPDEST
000017a3: DUP3
000017a4: DUP2
000017a5: SUB
000017a6: PUSH1 0x40
000017a8: DUP5
000017a9: ADD
000017aa: MSTORE
000017ab: PUSH2 0x17b5
000017ae: DUP2
000017af: DUP6
000017b0: DUP8
000017b1: PUSH2 0x16d1
000017b4: JUMP
000017b5: JUMPDEST
000017b6: SWAP9
000017b7: SWAP8
000017b8: POP
000017b9: POP
000017ba: POP
000017bb: POP
000017bc: POP
000017bd: POP
000017be: POP
000017bf: POP
000017c0: JUMP
000017c1: JUMPDEST
000017c2: PUSH1 0x00
000017c4: JUMPDEST
000017c5: DUP4
000017c6: DUP2
000017c7: LT
000017c8: ISZERO
000017c9: PUSH2 0x17dc
000017cc: JUMPI
000017cd: DUP2
000017ce: DUP2
000017cf: ADD
000017d0: MLOAD
000017d1: DUP4
000017d2: DUP3
000017d3: ADD
000017d4: MSTORE
000017d5: PUSH1 0x20
000017d7: ADD
000017d8: PUSH2 0x17c4
000017db: JUMP
000017dc: JUMPDEST
000017dd: POP
000017de: POP
000017df: PUSH1 0x00
000017e1: SWAP2
000017e2: ADD
000017e3: MSTORE
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x00
000017e8: DUP3
000017e9: MLOAD
000017ea: PUSH2 0x17f7
000017ed: DUP2
000017ee: DUP5
000017ef: PUSH1 0x20
000017f1: DUP8
000017f2: ADD
000017f3: PUSH2 0x17c1
000017f6: JUMP
000017f7: JUMPDEST
000017f8: SWAP2
000017f9: SWAP1
000017fa: SWAP2
000017fb: ADD
000017fc: SWAP3
000017fd: SWAP2
000017fe: POP
000017ff: POP
00001800: JUMP
00001801: JUMPDEST
00001802: PUSH1 0x00
00001804: PUSH1 0x20
00001806: DUP3
00001807: DUP5
00001808: SUB
00001809: SLT
0000180a: ISZERO
0000180b: PUSH2 0x1813
0000180e: JUMPI
0000180f: PUSH1 0x00
00001811: DUP1
00001812: REVERT
00001813: JUMPDEST
00001814: DUP2
00001815: MLOAD
00001816: PUSH2 0x129e
00001819: DUP2
0000181a: PUSH2 0x126c
0000181d: JUMP
0000181e: JUMPDEST
0000181f: PUSH1 0x00
00001821: PUSH1 0x20
00001823: DUP3
00001824: DUP5
00001825: SUB
00001826: SLT
00001827: ISZERO
00001828: PUSH2 0x1830
0000182b: JUMPI
0000182c: PUSH1 0x00
0000182e: DUP1
0000182f: REVERT
00001830: JUMPDEST
00001831: DUP2
00001832: MLOAD
00001833: PUSH2 0x129e
00001836: DUP2
00001837: PUSH2 0x1636
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH1 0x20
0000183e: DUP2
0000183f: MSTORE
00001840: PUSH1 0x00
00001842: DUP3
00001843: MLOAD
00001844: DUP1
00001845: PUSH1 0x20
00001847: DUP5
00001848: ADD
00001849: MSTORE
0000184a: PUSH2 0x185a
0000184d: DUP2
0000184e: PUSH1 0x40
00001850: DUP6
00001851: ADD
00001852: PUSH1 0x20
00001854: DUP8
00001855: ADD
00001856: PUSH2 0x17c1
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x1f
0000185d: ADD
0000185e: PUSH1 0x1f
00001860: NOT
00001861: AND
00001862: SWAP2
00001863: SWAP1
00001864: SWAP2
00001865: ADD
00001866: PUSH1 0x40
00001868: ADD
00001869: SWAP3
0000186a: SWAP2
0000186b: POP
0000186c: POP
0000186d: JUMP
0000186e: INVALID
0000186f: LOG2
00001870: PUSH5 0x6970667358
00001876: UNKNOWN(0x22)
00001877: SLT
00001878: KECCAK256
00001879: UNKNOWN(0xB6)
0000187a: UNKNOWN(0xB1)
0000187b: UNKNOWN(0x29)
0000187c: BLOCKHASH
0000187d: LOG0
0000187e: PUSH28 0x5ebba2e138ddf9bbb2c5a7060f4ea0f0270b8d119b5aee79fbf26473
0000189b: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1
call_targets: 0xbd0adb3ee21e0a75d3021384177238883d69e883
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbd0adb3ee21e0a75d3021384177238883d69e883"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3bf277e",
            "selector": "0xa3bf277e",
            "calldata_variants": [
                "0xa3bf277e",
                "0xa3bf277e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4546d23",
            "selector": "0xd4546d23",
            "calldata_variants": [
                "0xd4546d23",
                "0xd4546d230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58bc8337",
            "selector": "0x58bc8337",
            "calldata_variants": [
                "0x58bc8337",
                "0x58bc83370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x77a24f36",
            "selector": "0x77a24f36",
            "calldata_variants": [
                "0x77a24f36",
                "0x77a24f360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07ef210c",
            "selector": "0x07ef210c",
            "calldata_variants": [
                "0x07ef210c",
                "0x07ef210c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1683,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2743,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3325,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1
call_targets: 0xbd0adb3ee21e0a75d3021384177238883d69e883
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x6684eca6de7716b85c6fdf4df4e732b64003784b30a5b7e79ea8424914184fd1",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbd0adb3ee21e0a75d3021384177238883d69e883"
    ],
    "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": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3bf277e",
            "selector": "0xa3bf277e",
            "calldata_variants": [
                "0xa3bf277e",
                "0xa3bf277e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd4546d23",
            "selector": "0xd4546d23",
            "calldata_variants": [
                "0xd4546d23",
                "0xd4546d230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x58bc8337",
            "selector": "0x58bc8337",
            "calldata_variants": [
                "0x58bc8337",
                "0x58bc83370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x77a24f36",
            "selector": "0x77a24f36",
            "calldata_variants": [
                "0x77a24f36",
                "0x77a24f360000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07ef210c",
            "selector": "0x07ef210c",
            "calldata_variants": [
                "0x07ef210c",
                "0x07ef210c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1683,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2743,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3325,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}