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

Analysis Run

9d6ca6d7-6293-4d24-be09-7845dfb8f6b2

failed
Chain ID
1
Address
Block Number
Created
Sun, Dec 28, 2025 2:24 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
ETH value transfer possible
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
30270 report.consolidate complete 1 / 1 3 months ago
73804 artifact.fetch failed 1 / 3 3 weeks ago
73805 tool.cast_disasm complete 1 / 3 3 weeks ago
73806 analysis.bundle complete 1 / 3 3 weeks ago
73807 capability.graph complete 1 / 3 3 weeks ago
73808 detector.run complete 1 / 3 3 weeks ago
73809 validation.fork complete 1 / 3 3 weeks 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 exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).
View stderr
[codex:968406] OpenAI Codex v0.77.0 (research preview)
[codex:968406] --------
[codex:968406] workdir: /tmp/codex-multi-udmin8z0
[codex:968406] model: gpt-5.2-codex
[codex:968406] provider: openai
[codex:968406] approval: never
[codex:968406] sandbox: read-only
[codex:968406] reasoning effort: xhigh
[codex:968406] reasoning summaries: auto
[codex:968406] session id: 019b62c1-ed7d-7552-a66a-9633678c52d2
[codex:968406] --------
[codex:968406] user
[codex:968406] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:968406] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:968406] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:968406] 
[codex:968406] Scope rules:
[codex:968406] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:968406] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:968406] 
[codex:968406] Output MUST be valid JSON matching the provided schema.
[codex:968406] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:968406] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:968406] 
[codex:968406] Output constraints (IMPORTANT):
[codex:968406] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:968406] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:968406] mcp startup: no servers
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Preparing to read AUDIT_BUNDLE.txt**
[codex:968406] exec
[codex:968406] /bin/bash -lc ls in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] AUDIT_BUNDLE.txt
[codex:968406] codex-output-schema.json
[codex:968406] contracts
[codex:968406] exec
[codex:968406] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:968406] 
[codex:968406] ================================================================================
[codex:968406] FILE: contracts/contracts/L1/L1StandardBridge.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406] 
[codex:968406] import { Predeploys } from "../libraries/Predeploys.sol";
[codex:968406] import { StandardBridge } from "../universal/StandardBridge.sol";
[codex:968406] import { Semver } from "../universal/Semver.sol";
[codex:968406] 
[codex:968406] /**
[codex:968406]  * @custom:proxied
[codex:968406]  * @title L1StandardBridge
[codex:968406]  * @notice The L1StandardBridge is responsible for transfering ETH and ERC20 tokens between L1 and
[codex:968406]  *         L2. In the case that an ERC20 token is native to L1, it will be escrowed within this
[codex:968406]  *         contract. If the ERC20 token is native to L2, it will be burnt. Before Bedrock, ETH was
[codex:968406]  *         stored within this contract. After Bedrock, ETH is instead stored inside the
[codex:968406]  *         OptimismPortal contract.
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Searching for key contract patterns**
[codex:968406] exec
[codex:968406] /bin/bash -lc "rg -n \"FILE: contracts/.*\\.sol\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 7ms:
[codex:968406] 4:FILE: contracts/contracts/L1/L1StandardBridge.sol
[codex:968406] 372:FILE: contracts/contracts/L1/ResourceMetering.sol
[codex:968406] 562:FILE: contracts/contracts/libraries/Arithmetic.sol
[codex:968406] 614:FILE: contracts/contracts/libraries/Burn.sol
[codex:968406] 660:FILE: contracts/contracts/libraries/Constants.sol
[codex:968406] 713:FILE: contracts/contracts/libraries/Encoding.sol
[codex:968406] 879:FILE: contracts/contracts/libraries/Hashing.sol
[codex:968406] 1055:FILE: contracts/contracts/libraries/Predeploys.sol
[codex:968406] 1171:FILE: contracts/contracts/libraries/SafeCall.sol
[codex:968406] 1279:FILE: contracts/contracts/libraries/Types.sol
[codex:968406] 1367:FILE: contracts/contracts/libraries/rlp/RLPWriter.sol
[codex:968406] 1592:FILE: contracts/contracts/universal/CrossDomainMessenger.sol
[codex:968406] 2079:FILE: contracts/contracts/universal/IOptimismMintableERC20.sol
[codex:968406] 2117:FILE: contracts/contracts/universal/OptimismMintableERC20.sol
[codex:968406] 2270:FILE: contracts/contracts/universal/Semver.sol
[codex:968406] 2332:FILE: contracts/contracts/universal/StandardBridge.sol
[codex:968406] 2897:FILE: contracts/node_modules/@openzeppelin/contracts/proxy/utils/Initializable.sol
[codex:968406] 3039:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/ERC20.sol
[codex:968406] 3426:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:968406] 3512:FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Inspecting core bridge contracts**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '2332,2896p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] FILE: contracts/contracts/universal/StandardBridge.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406] 
[codex:968406] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:968406] import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
[codex:968406] import { Address } from "@openzeppelin/contracts/utils/Address.sol";
[codex:968406] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:968406] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:968406] import { IOptimismMintableERC20, ILegacyMintableERC20 } from "./IOptimismMintableERC20.sol";
[codex:968406] import { CrossDomainMessenger } from "./CrossDomainMessenger.sol";
[codex:968406] import { OptimismMintableERC20 } from "./OptimismMintableERC20.sol";
[codex:968406] 
[codex:968406] /**
[codex:968406]  * @custom:upgradeable
[codex:968406]  * @title StandardBridge
[codex:968406]  * @notice StandardBridge is a base contract for the L1 and L2 standard ERC20 bridges. It handles
[codex:968406]  *         the core bridging logic, including escrowing tokens that are native to the local chain
[codex:968406]  *         and minting/burning tokens that are native to the remote chain.
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Identifying required contracts**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '1592,2331p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 7ms:
[codex:968406] FILE: contracts/contracts/universal/CrossDomainMessenger.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406] 
[codex:968406] import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:968406] import { SafeCall } from "../libraries/SafeCall.sol";
[codex:968406] import { Hashing } from "../libraries/Hashing.sol";
[codex:968406] import { Encoding } from "../libraries/Encoding.sol";
[codex:968406] import { Constants } from "../libraries/Constants.sol";
[codex:968406] 
[codex:968406] /**
[codex:968406]  * @custom:legacy
[codex:968406]  * @title CrossDomainMessengerLegacySpacer0
[codex:968406]  * @notice Contract only exists to add a spacer to the CrossDomainMessenger where the
[codex:968406]  *         libAddressManager variable used to exist. Must be the first contract in the inheritance
[codex:968406]  *         tree of the CrossDomainMessenger.
[codex:968406]  */
[codex:968406] contract CrossDomainMessengerLegacySpacer0 {
[codex:968406]     /**
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Inspecting key library files**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '1171,1591p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] FILE: contracts/contracts/libraries/SafeCall.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406] 
[codex:968406] /**
[codex:968406]  * @title SafeCall
[codex:968406]  * @notice Perform low level safe calls
[codex:968406]  */
[codex:968406] library SafeCall {
[codex:968406]     /**
[codex:968406]      * @notice Perform a low level call without copying any returndata
[codex:968406]      *
[codex:968406]      * @param _target   Address to call
[codex:968406]      * @param _gas      Amount of gas to pass to the call
[codex:968406]      * @param _value    Amount of value to pass to the call
[codex:968406]      * @param _calldata Calldata to pass to the call
[codex:968406]      */
[codex:968406]     function call(
[codex:968406]         address _target,
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Reviewing required libraries**
[codex:968406] exec
[codex:968406] /bin/bash -lc "sed -n '562,1170p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] FILE: contracts/contracts/libraries/Arithmetic.sol
[codex:968406] ================================================================================
[codex:968406] // SPDX-License-Identifier: MIT
[codex:968406] pragma solidity 0.8.15;
[codex:968406] 
[codex:968406] import { SignedMath } from "@openzeppelin/contracts/utils/math/SignedMath.sol";
[codex:968406] import { FixedPointMathLib } from "@rari-capital/solmate/src/utils/FixedPointMathLib.sol";
[codex:968406] 
[codex:968406] /**
[codex:968406]  * @title Arithmetic
[codex:968406]  * @notice Even more math than before.
[codex:968406]  */
[codex:968406] library Arithmetic {
[codex:968406]     /**
[codex:968406]      * @notice Clamps a value between a minimum and maximum.
[codex:968406]      *
[codex:968406]      * @param _value The value to clamp.
[codex:968406]      * @param _min   The minimum value.
[codex:968406]      * @param _max   The maximum value.
[codex:968406]      *
[codex:968406] 
[codex:968406] 
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Evaluating contract security and reentrancy risks**
[codex:968406] 
[codex:968406] I'm analyzing various bridge and messenger contracts for reentrancy vulnerabilities, upgradeability concerns, and access controls. I’m tracing external calls, msg.sender roles, and reentrancy guards—especially around ETH and ERC20 finalizations and CrossDomainMessenger locks—to assess if any exploitable issues arise in these patterns.
[codex:968406] thinking
[codex:968406] **Reviewing token bridging and initializer edge cases**
[codex:968406] 
[codex:968406] I'm digging into risks with fee-on-transfer tokens causing accounting mismatches, implications of immutables in upgradeable proxies, and the impact of missing external initializers. I’m also exploring reentrancy nuances in messenger locks, token interface checks, and onlyEOA usage to see where subtle issues might arise.
[codex:968406] thinking
[codex:968406] **Assessing message relay behaviors and proxy considerations**
[codex:968406] 
[codex:968406] I'm examining how relayMessage handles reverts and failed messages, focusing on reentrancy locks and ETH value management across retries. I’m also considering upgradeable proxy patterns with immutables and how that impacts immutability and storage, checking that external call results are properly handled.
[codex:968406] exec
[codex:968406] /bin/bash -lc 'rg -n "delegatecall|callcode" AUDIT_BUNDLE.txt' in /tmp/codex-multi-udmin8z0 succeeded in 6ms:
[codex:968406] 3920:        (bool success, bytes memory returndata) = target.delegatecall(data);
[codex:968406] 
[codex:968406] thinking
[codex:968406] **Verifying usage of tx.origin and output schema**
[codex:968406] exec
[codex:968406] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-udmin8z0 succeeded in 5ms:
[codex:968406] {"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:968406] 
[codex:968406] thinking
[codex:968406] **Summarizing audit findings and crafting JSON output**
[codex:968406] 
[codex:968406] I'm going through the detailed security considerations to confirm no major vulnerabilities exist, focusing on reentrancy, access control, and other risk areas. After verifying cross-domain messenger behavior, token transfer safety, and access patterns, I’m ready to produce a clear JSON summary stating no exploitable issues found while noting scope and residual risks.
[codex:968406] codex
[codex:968406] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).","findings":[]}
[codex:968406] tokens used
[codex:968406] 51,342
[codex:968406] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-28T02:24:14.302112+00:00",
        "returncode": 0
    },
    "summary": "No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).",
    "raw_final": {
        "summary": "No exploitable issues found in the first-party contracts within scope. Residual risk: security and correctness depend on external CrossDomainMessenger implementations and on ERC20 tokens behaving as standard (fee-on-transfer/rebasing tokens are explicitly unsupported).",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
11
EXT*/BALANCE
10
Total opcodes
4726
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 0x012d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x838b2520
00000019: GT
0000001a: PUSH2 0x00a5
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x927ede2d
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa9f9e675
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa9f9e675
0000003a: EQ
0000003b: PUSH2 0x0433
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb1a1a882
00000045: EQ
00000046: PUSH2 0x0453
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe11013dd
00000050: EQ
00000051: PUSH2 0x0466
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x927ede2d
00000060: EQ
00000061: PUSH2 0x03ec
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x9a2ac6d5
0000006b: EQ
0000006c: PUSH2 0x0420
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0x838b2520
0000007b: EQ
0000007c: PUSH2 0x0333
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x87087623
00000086: EQ
00000087: PUSH2 0x0353
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x8f601f66
00000091: EQ
00000092: PUSH2 0x0373
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x91c49bf8
0000009c: EQ
0000009d: PUSH2 0x03b9
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x3cb747bf
000000ac: GT
000000ad: PUSH2 0x00fc
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x54fd4d50
000000b7: GT
000000b8: PUSH2 0x00e1
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x54fd4d50
000000c2: EQ
000000c3: PUSH2 0x02bd
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x58a997f6
000000cd: EQ
000000ce: PUSH2 0x02df
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x7f46ddb2
000000d8: EQ
000000d9: PUSH2 0x02ff
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x3cb747bf
000000e8: EQ
000000e9: PUSH2 0x0244
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x540abf73
000000f3: EQ
000000f4: PUSH2 0x029d
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x0166a07a
00000103: EQ
00000104: PUSH2 0x01eb
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x09fc8843
0000010e: EQ
0000010f: PUSH2 0x020b
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x1532ec34
00000119: EQ
0000011a: PUSH2 0x021e
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x1635f5fd
00000124: EQ
00000125: PUSH2 0x0231
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLDATASIZE
0000012f: PUSH2 0x01e6
00000132: JUMPI
00000133: CALLER
00000134: EXTCODESIZE
00000135: ISZERO
00000136: PUSH2 0x01c6
00000139: JUMPI
0000013a: PUSH1 0x40
0000013c: MLOAD
0000013d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000015e: DUP2
0000015f: MSTORE
00000160: PUSH1 0x20
00000162: PUSH1 0x04
00000164: DUP3
00000165: ADD
00000166: MSTORE
00000167: PUSH1 0x37
00000169: PUSH1 0x24
0000016b: DUP3
0000016c: ADD
0000016d: MSTORE
0000016e: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
0000018f: PUSH1 0x44
00000191: DUP3
00000192: ADD
00000193: MSTORE
00000194: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000001b5: PUSH1 0x64
000001b7: DUP3
000001b8: ADD
000001b9: MSTORE
000001ba: PUSH1 0x84
000001bc: ADD
000001bd: JUMPDEST
000001be: PUSH1 0x40
000001c0: MLOAD
000001c1: DUP1
000001c2: SWAP2
000001c3: SUB
000001c4: SWAP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: PUSH2 0x01e4
000001ca: CALLER
000001cb: CALLER
000001cc: PUSH3 0x030d40
000001d0: PUSH1 0x40
000001d2: MLOAD
000001d3: DUP1
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: PUSH1 0x40
000001d9: MSTORE
000001da: DUP1
000001db: PUSH1 0x00
000001dd: DUP2
000001de: MSTORE
000001df: POP
000001e0: PUSH2 0x0479
000001e3: JUMP
000001e4: JUMPDEST
000001e5: STOP
000001e6: JUMPDEST
000001e7: PUSH1 0x00
000001e9: DUP1
000001ea: REVERT
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: DUP1
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: POP
000001f9: PUSH2 0x01e4
000001fc: PUSH2 0x0206
000001ff: CALLDATASIZE
00000200: PUSH1 0x04
00000202: PUSH2 0x2447
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH2 0x048c
0000020a: JUMP
0000020b: JUMPDEST
0000020c: PUSH2 0x01e4
0000020f: PUSH2 0x0219
00000212: CALLDATASIZE
00000213: PUSH1 0x04
00000215: PUSH2 0x24f8
00000218: JUMP
00000219: JUMPDEST
0000021a: PUSH2 0x0882
0000021d: JUMP
0000021e: JUMPDEST
0000021f: PUSH2 0x01e4
00000222: PUSH2 0x022c
00000225: CALLDATASIZE
00000226: PUSH1 0x04
00000228: PUSH2 0x254b
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH2 0x0959
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH2 0x01e4
00000235: PUSH2 0x023f
00000238: CALLDATASIZE
00000239: PUSH1 0x04
0000023b: PUSH2 0x254b
0000023e: JUMP
0000023f: JUMPDEST
00000240: PUSH2 0x096d
00000243: JUMP
00000244: JUMPDEST
00000245: CALLVALUE
00000246: DUP1
00000247: ISZERO
00000248: PUSH2 0x0250
0000024b: JUMPI
0000024c: PUSH1 0x00
0000024e: DUP1
0000024f: REVERT
00000250: JUMPDEST
00000251: POP
00000252: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: MLOAD
00000277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028c: SWAP1
0000028d: SWAP2
0000028e: AND
0000028f: DUP2
00000290: MSTORE
00000291: PUSH1 0x20
00000293: ADD
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: DUP1
00000299: SWAP2
0000029a: SUB
0000029b: SWAP1
0000029c: RETURN
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x01e4
000002ae: PUSH2 0x02b8
000002b1: CALLDATASIZE
000002b2: PUSH1 0x04
000002b4: PUSH2 0x25be
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH2 0x0e42
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x02d2
000002ce: PUSH2 0x0e87
000002d1: JUMP
000002d2: JUMPDEST
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: PUSH2 0x0294
000002d9: SWAP2
000002da: SWAP1
000002db: PUSH2 0x26ab
000002de: JUMP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x01e4
000002f0: PUSH2 0x02fa
000002f3: CALLDATASIZE
000002f4: PUSH1 0x04
000002f6: PUSH2 0x26be
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH2 0x0f2a
000002fe: JUMP
000002ff: JUMPDEST
00000300: CALLVALUE
00000301: DUP1
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: POP
0000030d: PUSH2 0x0273
00000310: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00000331: DUP2
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x01e4
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x25be
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0ffe
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH2 0x01e4
00000364: PUSH2 0x036e
00000367: CALLDATASIZE
00000368: PUSH1 0x04
0000036a: PUSH2 0x26be
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x1043
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x03ab
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x2741
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH1 0x02
00000391: PUSH1 0x20
00000393: SWAP1
00000394: DUP2
00000395: MSTORE
00000396: PUSH1 0x00
00000398: SWAP3
00000399: DUP4
0000039a: MSTORE
0000039b: PUSH1 0x40
0000039d: DUP1
0000039e: DUP5
0000039f: KECCAK256
000003a0: SWAP1
000003a1: SWAP2
000003a2: MSTORE
000003a3: SWAP1
000003a4: DUP3
000003a5: MSTORE
000003a6: SWAP1
000003a7: KECCAK256
000003a8: SLOAD
000003a9: DUP2
000003aa: JUMP
000003ab: JUMPDEST
000003ac: PUSH1 0x40
000003ae: MLOAD
000003af: SWAP1
000003b0: DUP2
000003b1: MSTORE
000003b2: PUSH1 0x20
000003b4: ADD
000003b5: PUSH2 0x0294
000003b8: JUMP
000003b9: JUMPDEST
000003ba: CALLVALUE
000003bb: DUP1
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: POP
000003c7: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
000003e8: PUSH2 0x0273
000003eb: JUMP
000003ec: JUMPDEST
000003ed: CALLVALUE
000003ee: DUP1
000003ef: ISZERO
000003f0: PUSH2 0x03f8
000003f3: JUMPI
000003f4: PUSH1 0x00
000003f6: DUP1
000003f7: REVERT
000003f8: JUMPDEST
000003f9: POP
000003fa: PUSH2 0x0273
000003fd: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
0000041e: DUP2
0000041f: JUMP
00000420: JUMPDEST
00000421: PUSH2 0x01e4
00000424: PUSH2 0x042e
00000427: CALLDATASIZE
00000428: PUSH1 0x04
0000042a: PUSH2 0x277a
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH2 0x1117
00000432: JUMP
00000433: JUMPDEST
00000434: CALLVALUE
00000435: DUP1
00000436: ISZERO
00000437: PUSH2 0x043f
0000043a: JUMPI
0000043b: PUSH1 0x00
0000043d: DUP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: POP
00000441: PUSH2 0x01e4
00000444: PUSH2 0x044e
00000447: CALLDATASIZE
00000448: PUSH1 0x04
0000044a: PUSH2 0x2447
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x1159
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH2 0x01e4
00000457: PUSH2 0x0461
0000045a: CALLDATASIZE
0000045b: PUSH1 0x04
0000045d: PUSH2 0x24f8
00000460: JUMP
00000461: JUMPDEST
00000462: PUSH2 0x1168
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH2 0x01e4
0000046a: PUSH2 0x0474
0000046d: CALLDATASIZE
0000046e: PUSH1 0x04
00000470: PUSH2 0x277a
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH2 0x1239
00000478: JUMP
00000479: JUMPDEST
0000047a: PUSH2 0x0486
0000047d: DUP5
0000047e: DUP5
0000047f: CALLVALUE
00000480: DUP6
00000481: DUP6
00000482: PUSH2 0x127c
00000485: JUMP
00000486: JUMPDEST
00000487: POP
00000488: POP
00000489: POP
0000048a: POP
0000048b: JUMP
0000048c: JUMPDEST
0000048d: CALLER
0000048e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004a3: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
000004c4: AND
000004c5: EQ
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x05aa
000004cb: JUMPI
000004cc: POP
000004cd: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
000004ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000503: AND
00000504: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
00000525: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053a: AND
0000053b: PUSH4 0x6e296e45
00000540: PUSH1 0x40
00000542: MLOAD
00000543: DUP2
00000544: PUSH4 0xffffffff
00000549: AND
0000054a: PUSH1 0xe0
0000054c: SHL
0000054d: DUP2
0000054e: MSTORE
0000054f: PUSH1 0x04
00000551: ADD
00000552: PUSH1 0x20
00000554: PUSH1 0x40
00000556: MLOAD
00000557: DUP1
00000558: DUP4
00000559: SUB
0000055a: DUP2
0000055b: DUP7
0000055c: GAS
0000055d: STATICCALL
0000055e: ISZERO
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x056e
00000564: JUMPI
00000565: RETURNDATASIZE
00000566: PUSH1 0x00
00000568: DUP1
00000569: RETURNDATACOPY
0000056a: RETURNDATASIZE
0000056b: PUSH1 0x00
0000056d: REVERT
0000056e: JUMPDEST
0000056f: POP
00000570: POP
00000571: POP
00000572: POP
00000573: PUSH1 0x40
00000575: MLOAD
00000576: RETURNDATASIZE
00000577: PUSH1 0x1f
00000579: NOT
0000057a: PUSH1 0x1f
0000057c: DUP3
0000057d: ADD
0000057e: AND
0000057f: DUP3
00000580: ADD
00000581: DUP1
00000582: PUSH1 0x40
00000584: MSTORE
00000585: POP
00000586: DUP2
00000587: ADD
00000588: SWAP1
00000589: PUSH2 0x0592
0000058c: SWAP2
0000058d: SWAP1
0000058e: PUSH2 0x27dd
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a8: AND
000005a9: EQ
000005aa: JUMPDEST
000005ab: PUSH2 0x065c
000005ae: JUMPI
000005af: PUSH1 0x40
000005b1: MLOAD
000005b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: PUSH1 0x04
000005d9: DUP3
000005da: ADD
000005db: MSTORE
000005dc: PUSH1 0x41
000005de: PUSH1 0x24
000005e0: DUP3
000005e1: ADD
000005e2: MSTORE
000005e3: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000604: PUSH1 0x44
00000606: DUP3
00000607: ADD
00000608: MSTORE
00000609: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
0000062a: PUSH1 0x64
0000062c: DUP3
0000062d: ADD
0000062e: MSTORE
0000062f: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000650: PUSH1 0x84
00000652: DUP3
00000653: ADD
00000654: MSTORE
00000655: PUSH1 0xa4
00000657: ADD
00000658: PUSH2 0x01bd
0000065b: JUMP
0000065c: JUMPDEST
0000065d: PUSH2 0x0665
00000660: DUP8
00000661: PUSH2 0x1460
00000664: JUMP
00000665: JUMPDEST
00000666: ISZERO
00000667: PUSH2 0x07b3
0000066a: JUMPI
0000066b: PUSH2 0x0674
0000066e: DUP8
0000066f: DUP8
00000670: PUSH2 0x14c2
00000673: JUMP
00000674: JUMPDEST
00000675: PUSH2 0x0726
00000678: JUMPI
00000679: PUSH1 0x40
0000067b: MLOAD
0000067c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000069d: DUP2
0000069e: MSTORE
0000069f: PUSH1 0x20
000006a1: PUSH1 0x04
000006a3: DUP3
000006a4: ADD
000006a5: MSTORE
000006a6: PUSH1 0x4a
000006a8: PUSH1 0x24
000006aa: DUP3
000006ab: ADD
000006ac: MSTORE
000006ad: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
000006ce: PUSH1 0x44
000006d0: DUP3
000006d1: ADD
000006d2: MSTORE
000006d3: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
000006f4: PUSH1 0x64
000006f6: DUP3
000006f7: ADD
000006f8: MSTORE
000006f9: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
0000071a: PUSH1 0x84
0000071c: DUP3
0000071d: ADD
0000071e: MSTORE
0000071f: PUSH1 0xa4
00000721: ADD
00000722: PUSH2 0x01bd
00000725: JUMP
00000726: JUMPDEST
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
0000074b: DUP2
0000074c: MSTORE
0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000762: DUP6
00000763: DUP2
00000764: AND
00000765: PUSH1 0x04
00000767: DUP4
00000768: ADD
00000769: MSTORE
0000076a: PUSH1 0x24
0000076c: DUP3
0000076d: ADD
0000076e: DUP6
0000076f: SWAP1
00000770: MSTORE
00000771: DUP9
00000772: AND
00000773: SWAP1
00000774: PUSH4 0x40c10f19
00000779: SWAP1
0000077a: PUSH1 0x44
0000077c: ADD
0000077d: PUSH1 0x00
0000077f: PUSH1 0x40
00000781: MLOAD
00000782: DUP1
00000783: DUP4
00000784: SUB
00000785: DUP2
00000786: PUSH1 0x00
00000788: DUP8
00000789: DUP1
0000078a: EXTCODESIZE
0000078b: ISZERO
0000078c: DUP1
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: POP
00000798: GAS
00000799: CALL
0000079a: ISZERO
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07aa
000007a0: JUMPI
000007a1: RETURNDATASIZE
000007a2: PUSH1 0x00
000007a4: DUP1
000007a5: RETURNDATACOPY
000007a6: RETURNDATASIZE
000007a7: PUSH1 0x00
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: POP
000007ad: POP
000007ae: POP
000007af: PUSH2 0x0835
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c9: DUP1
000007ca: DUP9
000007cb: AND
000007cc: PUSH1 0x00
000007ce: SWAP1
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x02
000007d3: PUSH1 0x20
000007d5: SWAP1
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x40
000007da: DUP1
000007db: DUP4
000007dc: KECCAK256
000007dd: SWAP4
000007de: DUP11
000007df: AND
000007e0: DUP4
000007e1: MSTORE
000007e2: SWAP3
000007e3: SWAP1
000007e4: MSTORE
000007e5: KECCAK256
000007e6: SLOAD
000007e7: PUSH2 0x07f1
000007ea: SWAP1
000007eb: DUP5
000007ec: SWAP1
000007ed: PUSH2 0x2829
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000807: DUP1
00000808: DUP10
00000809: AND
0000080a: PUSH1 0x00
0000080c: DUP2
0000080d: DUP2
0000080e: MSTORE
0000080f: PUSH1 0x02
00000811: PUSH1 0x20
00000813: SWAP1
00000814: DUP2
00000815: MSTORE
00000816: PUSH1 0x40
00000818: DUP1
00000819: DUP4
0000081a: KECCAK256
0000081b: SWAP5
0000081c: DUP13
0000081d: AND
0000081e: DUP4
0000081f: MSTORE
00000820: SWAP4
00000821: SWAP1
00000822: MSTORE
00000823: SWAP2
00000824: SWAP1
00000825: SWAP2
00000826: KECCAK256
00000827: SWAP2
00000828: SWAP1
00000829: SWAP2
0000082a: SSTORE
0000082b: PUSH2 0x0835
0000082e: SWAP1
0000082f: DUP6
00000830: DUP6
00000831: PUSH2 0x15e2
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH2 0x0879
00000839: DUP8
0000083a: DUP8
0000083b: DUP8
0000083c: DUP8
0000083d: DUP8
0000083e: DUP8
0000083f: DUP8
00000840: DUP1
00000841: DUP1
00000842: PUSH1 0x1f
00000844: ADD
00000845: PUSH1 0x20
00000847: DUP1
00000848: SWAP2
00000849: DIV
0000084a: MUL
0000084b: PUSH1 0x20
0000084d: ADD
0000084e: PUSH1 0x40
00000850: MLOAD
00000851: SWAP1
00000852: DUP2
00000853: ADD
00000854: PUSH1 0x40
00000856: MSTORE
00000857: DUP1
00000858: SWAP4
00000859: SWAP3
0000085a: SWAP2
0000085b: SWAP1
0000085c: DUP2
0000085d: DUP2
0000085e: MSTORE
0000085f: PUSH1 0x20
00000861: ADD
00000862: DUP4
00000863: DUP4
00000864: DUP1
00000865: DUP3
00000866: DUP5
00000867: CALLDATACOPY
00000868: PUSH1 0x00
0000086a: SWAP3
0000086b: ADD
0000086c: SWAP2
0000086d: SWAP1
0000086e: SWAP2
0000086f: MSTORE
00000870: POP
00000871: PUSH2 0x16b6
00000874: SWAP3
00000875: POP
00000876: POP
00000877: POP
00000878: JUMP
00000879: JUMPDEST
0000087a: POP
0000087b: POP
0000087c: POP
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: JUMP
00000882: JUMPDEST
00000883: CALLER
00000884: EXTCODESIZE
00000885: ISZERO
00000886: PUSH2 0x0911
00000889: JUMPI
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008ae: DUP2
000008af: MSTORE
000008b0: PUSH1 0x20
000008b2: PUSH1 0x04
000008b4: DUP3
000008b5: ADD
000008b6: MSTORE
000008b7: PUSH1 0x37
000008b9: PUSH1 0x24
000008bb: DUP3
000008bc: ADD
000008bd: MSTORE
000008be: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000008df: PUSH1 0x44
000008e1: DUP3
000008e2: ADD
000008e3: MSTORE
000008e4: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000905: PUSH1 0x64
00000907: DUP3
00000908: ADD
00000909: MSTORE
0000090a: PUSH1 0x84
0000090c: ADD
0000090d: PUSH2 0x01bd
00000910: JUMP
00000911: JUMPDEST
00000912: PUSH2 0x0954
00000915: CALLER
00000916: CALLER
00000917: CALLVALUE
00000918: DUP7
00000919: DUP7
0000091a: DUP7
0000091b: DUP1
0000091c: DUP1
0000091d: PUSH1 0x1f
0000091f: ADD
00000920: PUSH1 0x20
00000922: DUP1
00000923: SWAP2
00000924: DIV
00000925: MUL
00000926: PUSH1 0x20
00000928: ADD
00000929: PUSH1 0x40
0000092b: MLOAD
0000092c: SWAP1
0000092d: DUP2
0000092e: ADD
0000092f: PUSH1 0x40
00000931: MSTORE
00000932: DUP1
00000933: SWAP4
00000934: SWAP3
00000935: SWAP2
00000936: SWAP1
00000937: DUP2
00000938: DUP2
00000939: MSTORE
0000093a: PUSH1 0x20
0000093c: ADD
0000093d: DUP4
0000093e: DUP4
0000093f: DUP1
00000940: DUP3
00000941: DUP5
00000942: CALLDATACOPY
00000943: PUSH1 0x00
00000945: SWAP3
00000946: ADD
00000947: SWAP2
00000948: SWAP1
00000949: SWAP2
0000094a: MSTORE
0000094b: POP
0000094c: PUSH2 0x127c
0000094f: SWAP3
00000950: POP
00000951: POP
00000952: POP
00000953: JUMP
00000954: JUMPDEST
00000955: POP
00000956: POP
00000957: POP
00000958: JUMP
00000959: JUMPDEST
0000095a: PUSH2 0x0966
0000095d: DUP6
0000095e: DUP6
0000095f: DUP6
00000960: DUP6
00000961: DUP6
00000962: PUSH2 0x096d
00000965: JUMP
00000966: JUMPDEST
00000967: POP
00000968: POP
00000969: POP
0000096a: POP
0000096b: POP
0000096c: JUMP
0000096d: JUMPDEST
0000096e: CALLER
0000096f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000984: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
000009a5: AND
000009a6: EQ
000009a7: DUP1
000009a8: ISZERO
000009a9: PUSH2 0x0a8b
000009ac: JUMPI
000009ad: POP
000009ae: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
000009cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e4: AND
000009e5: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1b: AND
00000a1c: PUSH4 0x6e296e45
00000a21: PUSH1 0x40
00000a23: MLOAD
00000a24: DUP2
00000a25: PUSH4 0xffffffff
00000a2a: AND
00000a2b: PUSH1 0xe0
00000a2d: SHL
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x04
00000a32: ADD
00000a33: PUSH1 0x20
00000a35: PUSH1 0x40
00000a37: MLOAD
00000a38: DUP1
00000a39: DUP4
00000a3a: SUB
00000a3b: DUP2
00000a3c: DUP7
00000a3d: GAS
00000a3e: STATICCALL
00000a3f: ISZERO
00000a40: DUP1
00000a41: ISZERO
00000a42: PUSH2 0x0a4f
00000a45: JUMPI
00000a46: RETURNDATASIZE
00000a47: PUSH1 0x00
00000a49: DUP1
00000a4a: RETURNDATACOPY
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x00
00000a4e: REVERT
00000a4f: JUMPDEST
00000a50: POP
00000a51: POP
00000a52: POP
00000a53: POP
00000a54: PUSH1 0x40
00000a56: MLOAD
00000a57: RETURNDATASIZE
00000a58: PUSH1 0x1f
00000a5a: NOT
00000a5b: PUSH1 0x1f
00000a5d: DUP3
00000a5e: ADD
00000a5f: AND
00000a60: DUP3
00000a61: ADD
00000a62: DUP1
00000a63: PUSH1 0x40
00000a65: MSTORE
00000a66: POP
00000a67: DUP2
00000a68: ADD
00000a69: SWAP1
00000a6a: PUSH2 0x0a73
00000a6d: SWAP2
00000a6e: SWAP1
00000a6f: PUSH2 0x27dd
00000a72: JUMP
00000a73: JUMPDEST
00000a74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a89: AND
00000a8a: EQ
00000a8b: JUMPDEST
00000a8c: PUSH2 0x0b3d
00000a8f: JUMPI
00000a90: PUSH1 0x40
00000a92: MLOAD
00000a93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ab4: DUP2
00000ab5: MSTORE
00000ab6: PUSH1 0x20
00000ab8: PUSH1 0x04
00000aba: DUP3
00000abb: ADD
00000abc: MSTORE
00000abd: PUSH1 0x41
00000abf: PUSH1 0x24
00000ac1: DUP3
00000ac2: ADD
00000ac3: MSTORE
00000ac4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000ae5: PUSH1 0x44
00000ae7: DUP3
00000ae8: ADD
00000ae9: MSTORE
00000aea: PUSH32 0x792062652063616c6c65642066726f6d20746865206f74686572206272696467
00000b0b: PUSH1 0x64
00000b0d: DUP3
00000b0e: ADD
00000b0f: MSTORE
00000b10: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000
00000b31: PUSH1 0x84
00000b33: DUP3
00000b34: ADD
00000b35: MSTORE
00000b36: PUSH1 0xa4
00000b38: ADD
00000b39: PUSH2 0x01bd
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: DUP3
00000b3f: CALLVALUE
00000b40: EQ
00000b41: PUSH2 0x0bcc
00000b44: JUMPI
00000b45: PUSH1 0x40
00000b47: MLOAD
00000b48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b69: DUP2
00000b6a: MSTORE
00000b6b: PUSH1 0x20
00000b6d: PUSH1 0x04
00000b6f: DUP3
00000b70: ADD
00000b71: MSTORE
00000b72: PUSH1 0x3a
00000b74: PUSH1 0x24
00000b76: DUP3
00000b77: ADD
00000b78: MSTORE
00000b79: PUSH32 0x5374616e646172644272696467653a20616d6f756e742073656e7420646f6573
00000b9a: PUSH1 0x44
00000b9c: DUP3
00000b9d: ADD
00000b9e: MSTORE
00000b9f: PUSH32 0x206e6f74206d6174636820616d6f756e74207265717569726564000000000000
00000bc0: PUSH1 0x64
00000bc2: DUP3
00000bc3: ADD
00000bc4: MSTORE
00000bc5: PUSH1 0x84
00000bc7: ADD
00000bc8: PUSH2 0x01bd
00000bcb: JUMP
00000bcc: JUMPDEST
00000bcd: ADDRESS
00000bce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be3: DUP6
00000be4: AND
00000be5: SUB
00000be6: PUSH2 0x0c71
00000be9: JUMPI
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c0e: DUP2
00000c0f: MSTORE
00000c10: PUSH1 0x20
00000c12: PUSH1 0x04
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH1 0x23
00000c19: PUSH1 0x24
00000c1b: DUP3
00000c1c: ADD
00000c1d: MSTORE
00000c1e: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f2073
00000c3f: PUSH1 0x44
00000c41: DUP3
00000c42: ADD
00000c43: MSTORE
00000c44: PUSH32 0x656c660000000000000000000000000000000000000000000000000000000000
00000c65: PUSH1 0x64
00000c67: DUP3
00000c68: ADD
00000c69: MSTORE
00000c6a: PUSH1 0x84
00000c6c: ADD
00000c6d: PUSH2 0x01bd
00000c70: JUMP
00000c71: JUMPDEST
00000c72: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
00000c93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca8: AND
00000ca9: DUP5
00000caa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cbf: AND
00000cc0: SUB
00000cc1: PUSH2 0x0d4c
00000cc4: JUMPI
00000cc5: PUSH1 0x40
00000cc7: MLOAD
00000cc8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: PUSH1 0x04
00000cef: DUP3
00000cf0: ADD
00000cf1: MSTORE
00000cf2: PUSH1 0x28
00000cf4: PUSH1 0x24
00000cf6: DUP3
00000cf7: ADD
00000cf8: MSTORE
00000cf9: PUSH32 0x5374616e646172644272696467653a2063616e6e6f742073656e6420746f206d
00000d1a: PUSH1 0x44
00000d1c: DUP3
00000d1d: ADD
00000d1e: MSTORE
00000d1f: PUSH32 0x657373656e676572000000000000000000000000000000000000000000000000
00000d40: PUSH1 0x64
00000d42: DUP3
00000d43: ADD
00000d44: MSTORE
00000d45: PUSH1 0x84
00000d47: ADD
00000d48: PUSH2 0x01bd
00000d4b: JUMP
00000d4c: JUMPDEST
00000d4d: PUSH2 0x0d8e
00000d50: DUP6
00000d51: DUP6
00000d52: DUP6
00000d53: DUP6
00000d54: DUP6
00000d55: DUP1
00000d56: DUP1
00000d57: PUSH1 0x1f
00000d59: ADD
00000d5a: PUSH1 0x20
00000d5c: DUP1
00000d5d: SWAP2
00000d5e: DIV
00000d5f: MUL
00000d60: PUSH1 0x20
00000d62: ADD
00000d63: PUSH1 0x40
00000d65: MLOAD
00000d66: SWAP1
00000d67: DUP2
00000d68: ADD
00000d69: PUSH1 0x40
00000d6b: MSTORE
00000d6c: DUP1
00000d6d: SWAP4
00000d6e: SWAP3
00000d6f: SWAP2
00000d70: SWAP1
00000d71: DUP2
00000d72: DUP2
00000d73: MSTORE
00000d74: PUSH1 0x20
00000d76: ADD
00000d77: DUP4
00000d78: DUP4
00000d79: DUP1
00000d7a: DUP3
00000d7b: DUP5
00000d7c: CALLDATACOPY
00000d7d: PUSH1 0x00
00000d7f: SWAP3
00000d80: ADD
00000d81: SWAP2
00000d82: SWAP1
00000d83: SWAP2
00000d84: MSTORE
00000d85: POP
00000d86: PUSH2 0x1744
00000d89: SWAP3
00000d8a: POP
00000d8b: POP
00000d8c: POP
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0x00
00000d91: PUSH2 0x0dab
00000d94: DUP6
00000d95: GAS
00000d96: DUP7
00000d97: PUSH1 0x40
00000d99: MLOAD
00000d9a: DUP1
00000d9b: PUSH1 0x20
00000d9d: ADD
00000d9e: PUSH1 0x40
00000da0: MSTORE
00000da1: DUP1
00000da2: PUSH1 0x00
00000da4: DUP2
00000da5: MSTORE
00000da6: POP
00000da7: PUSH2 0x17b7
00000daa: JUMP
00000dab: JUMPDEST
00000dac: SWAP1
00000dad: POP
00000dae: DUP1
00000daf: PUSH2 0x0e3a
00000db2: JUMPI
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dd7: DUP2
00000dd8: MSTORE
00000dd9: PUSH1 0x20
00000ddb: PUSH1 0x04
00000ddd: DUP3
00000dde: ADD
00000ddf: MSTORE
00000de0: PUSH1 0x23
00000de2: PUSH1 0x24
00000de4: DUP3
00000de5: ADD
00000de6: MSTORE
00000de7: PUSH32 0x5374616e646172644272696467653a20455448207472616e7366657220666169
00000e08: PUSH1 0x44
00000e0a: DUP3
00000e0b: ADD
00000e0c: MSTORE
00000e0d: PUSH32 0x6c65640000000000000000000000000000000000000000000000000000000000
00000e2e: PUSH1 0x64
00000e30: DUP3
00000e31: ADD
00000e32: MSTORE
00000e33: PUSH1 0x84
00000e35: ADD
00000e36: PUSH2 0x01bd
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: POP
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH2 0x0879
00000e46: DUP8
00000e47: DUP8
00000e48: CALLER
00000e49: DUP9
00000e4a: DUP9
00000e4b: DUP9
00000e4c: DUP9
00000e4d: DUP9
00000e4e: DUP1
00000e4f: DUP1
00000e50: PUSH1 0x1f
00000e52: ADD
00000e53: PUSH1 0x20
00000e55: DUP1
00000e56: SWAP2
00000e57: DIV
00000e58: MUL
00000e59: PUSH1 0x20
00000e5b: ADD
00000e5c: PUSH1 0x40
00000e5e: MLOAD
00000e5f: SWAP1
00000e60: DUP2
00000e61: ADD
00000e62: PUSH1 0x40
00000e64: MSTORE
00000e65: DUP1
00000e66: SWAP4
00000e67: SWAP3
00000e68: SWAP2
00000e69: SWAP1
00000e6a: DUP2
00000e6b: DUP2
00000e6c: MSTORE
00000e6d: PUSH1 0x20
00000e6f: ADD
00000e70: DUP4
00000e71: DUP4
00000e72: DUP1
00000e73: DUP3
00000e74: DUP5
00000e75: CALLDATACOPY
00000e76: PUSH1 0x00
00000e78: SWAP3
00000e79: ADD
00000e7a: SWAP2
00000e7b: SWAP1
00000e7c: SWAP2
00000e7d: MSTORE
00000e7e: POP
00000e7f: PUSH2 0x17d1
00000e82: SWAP3
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: JUMP
00000e87: JUMPDEST
00000e88: PUSH1 0x60
00000e8a: PUSH2 0x0eb2
00000e8d: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000eae: PUSH2 0x1b18
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH2 0x0edb
00000eb6: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000ed7: PUSH2 0x1b18
00000eda: JUMP
00000edb: JUMPDEST
00000edc: PUSH2 0x0f04
00000edf: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000f00: PUSH2 0x1b18
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x40
00000f07: MLOAD
00000f08: PUSH1 0x20
00000f0a: ADD
00000f0b: PUSH2 0x0f16
00000f0e: SWAP4
00000f0f: SWAP3
00000f10: SWAP2
00000f11: SWAP1
00000f12: PUSH2 0x2840
00000f15: JUMP
00000f16: JUMPDEST
00000f17: PUSH1 0x40
00000f19: MLOAD
00000f1a: PUSH1 0x20
00000f1c: DUP2
00000f1d: DUP4
00000f1e: SUB
00000f1f: SUB
00000f20: DUP2
00000f21: MSTORE
00000f22: SWAP1
00000f23: PUSH1 0x40
00000f25: MSTORE
00000f26: SWAP1
00000f27: POP
00000f28: SWAP1
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: CALLER
00000f2c: EXTCODESIZE
00000f2d: ISZERO
00000f2e: PUSH2 0x0fb9
00000f31: JUMPI
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f56: DUP2
00000f57: MSTORE
00000f58: PUSH1 0x20
00000f5a: PUSH1 0x04
00000f5c: DUP3
00000f5d: ADD
00000f5e: MSTORE
00000f5f: PUSH1 0x37
00000f61: PUSH1 0x24
00000f63: DUP3
00000f64: ADD
00000f65: MSTORE
00000f66: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
00000f87: PUSH1 0x44
00000f89: DUP3
00000f8a: ADD
00000f8b: MSTORE
00000f8c: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
00000fad: PUSH1 0x64
00000faf: DUP3
00000fb0: ADD
00000fb1: MSTORE
00000fb2: PUSH1 0x84
00000fb4: ADD
00000fb5: PUSH2 0x01bd
00000fb8: JUMP
00000fb9: JUMPDEST
00000fba: PUSH2 0x0e3a
00000fbd: DUP7
00000fbe: DUP7
00000fbf: CALLER
00000fc0: CALLER
00000fc1: DUP9
00000fc2: DUP9
00000fc3: DUP9
00000fc4: DUP9
00000fc5: DUP1
00000fc6: DUP1
00000fc7: PUSH1 0x1f
00000fc9: ADD
00000fca: PUSH1 0x20
00000fcc: DUP1
00000fcd: SWAP2
00000fce: DIV
00000fcf: MUL
00000fd0: PUSH1 0x20
00000fd2: ADD
00000fd3: PUSH1 0x40
00000fd5: MLOAD
00000fd6: SWAP1
00000fd7: DUP2
00000fd8: ADD
00000fd9: PUSH1 0x40
00000fdb: MSTORE
00000fdc: DUP1
00000fdd: SWAP4
00000fde: SWAP3
00000fdf: SWAP2
00000fe0: SWAP1
00000fe1: DUP2
00000fe2: DUP2
00000fe3: MSTORE
00000fe4: PUSH1 0x20
00000fe6: ADD
00000fe7: DUP4
00000fe8: DUP4
00000fe9: DUP1
00000fea: DUP3
00000feb: DUP5
00000fec: CALLDATACOPY
00000fed: PUSH1 0x00
00000fef: SWAP3
00000ff0: ADD
00000ff1: SWAP2
00000ff2: SWAP1
00000ff3: SWAP2
00000ff4: MSTORE
00000ff5: POP
00000ff6: PUSH2 0x1c55
00000ff9: SWAP3
00000ffa: POP
00000ffb: POP
00000ffc: POP
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH2 0x0879
00001002: DUP8
00001003: DUP8
00001004: CALLER
00001005: DUP9
00001006: DUP9
00001007: DUP9
00001008: DUP9
00001009: DUP9
0000100a: DUP1
0000100b: DUP1
0000100c: PUSH1 0x1f
0000100e: ADD
0000100f: PUSH1 0x20
00001011: DUP1
00001012: SWAP2
00001013: DIV
00001014: MUL
00001015: PUSH1 0x20
00001017: ADD
00001018: PUSH1 0x40
0000101a: MLOAD
0000101b: SWAP1
0000101c: DUP2
0000101d: ADD
0000101e: PUSH1 0x40
00001020: MSTORE
00001021: DUP1
00001022: SWAP4
00001023: SWAP3
00001024: SWAP2
00001025: SWAP1
00001026: DUP2
00001027: DUP2
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: ADD
0000102c: DUP4
0000102d: DUP4
0000102e: DUP1
0000102f: DUP3
00001030: DUP5
00001031: CALLDATACOPY
00001032: PUSH1 0x00
00001034: SWAP3
00001035: ADD
00001036: SWAP2
00001037: SWAP1
00001038: SWAP2
00001039: MSTORE
0000103a: POP
0000103b: PUSH2 0x1c55
0000103e: SWAP3
0000103f: POP
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: CALLER
00001045: EXTCODESIZE
00001046: ISZERO
00001047: PUSH2 0x10d2
0000104a: JUMPI
0000104b: PUSH1 0x40
0000104d: MLOAD
0000104e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x20
00001073: PUSH1 0x04
00001075: DUP3
00001076: ADD
00001077: MSTORE
00001078: PUSH1 0x37
0000107a: PUSH1 0x24
0000107c: DUP3
0000107d: ADD
0000107e: MSTORE
0000107f: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000010a0: PUSH1 0x44
000010a2: DUP3
000010a3: ADD
000010a4: MSTORE
000010a5: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000010c6: PUSH1 0x64
000010c8: DUP3
000010c9: ADD
000010ca: MSTORE
000010cb: PUSH1 0x84
000010cd: ADD
000010ce: PUSH2 0x01bd
000010d1: JUMP
000010d2: JUMPDEST
000010d3: PUSH2 0x0e3a
000010d6: DUP7
000010d7: DUP7
000010d8: CALLER
000010d9: CALLER
000010da: DUP9
000010db: DUP9
000010dc: DUP9
000010dd: DUP9
000010de: DUP1
000010df: DUP1
000010e0: PUSH1 0x1f
000010e2: ADD
000010e3: PUSH1 0x20
000010e5: DUP1
000010e6: SWAP2
000010e7: DIV
000010e8: MUL
000010e9: PUSH1 0x20
000010eb: ADD
000010ec: PUSH1 0x40
000010ee: MLOAD
000010ef: SWAP1
000010f0: DUP2
000010f1: ADD
000010f2: PUSH1 0x40
000010f4: MSTORE
000010f5: DUP1
000010f6: SWAP4
000010f7: SWAP3
000010f8: SWAP2
000010f9: SWAP1
000010fa: DUP2
000010fb: DUP2
000010fc: MSTORE
000010fd: PUSH1 0x20
000010ff: ADD
00001100: DUP4
00001101: DUP4
00001102: DUP1
00001103: DUP3
00001104: DUP5
00001105: CALLDATACOPY
00001106: PUSH1 0x00
00001108: SWAP3
00001109: ADD
0000110a: SWAP2
0000110b: SWAP1
0000110c: SWAP2
0000110d: MSTORE
0000110e: POP
0000110f: PUSH2 0x17d1
00001112: SWAP3
00001113: POP
00001114: POP
00001115: POP
00001116: JUMP
00001117: JUMPDEST
00001118: PUSH2 0x0486
0000111b: CALLER
0000111c: DUP6
0000111d: DUP6
0000111e: DUP6
0000111f: DUP6
00001120: DUP1
00001121: DUP1
00001122: PUSH1 0x1f
00001124: ADD
00001125: PUSH1 0x20
00001127: DUP1
00001128: SWAP2
00001129: DIV
0000112a: MUL
0000112b: PUSH1 0x20
0000112d: ADD
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: SWAP1
00001132: DUP2
00001133: ADD
00001134: PUSH1 0x40
00001136: MSTORE
00001137: DUP1
00001138: SWAP4
00001139: SWAP3
0000113a: SWAP2
0000113b: SWAP1
0000113c: DUP2
0000113d: DUP2
0000113e: MSTORE
0000113f: PUSH1 0x20
00001141: ADD
00001142: DUP4
00001143: DUP4
00001144: DUP1
00001145: DUP3
00001146: DUP5
00001147: CALLDATACOPY
00001148: PUSH1 0x00
0000114a: SWAP3
0000114b: ADD
0000114c: SWAP2
0000114d: SWAP1
0000114e: SWAP2
0000114f: MSTORE
00001150: POP
00001151: PUSH2 0x0479
00001154: SWAP3
00001155: POP
00001156: POP
00001157: POP
00001158: JUMP
00001159: JUMPDEST
0000115a: PUSH2 0x0879
0000115d: DUP8
0000115e: DUP8
0000115f: DUP8
00001160: DUP8
00001161: DUP8
00001162: DUP8
00001163: DUP8
00001164: PUSH2 0x048c
00001167: JUMP
00001168: JUMPDEST
00001169: CALLER
0000116a: EXTCODESIZE
0000116b: ISZERO
0000116c: PUSH2 0x11f7
0000116f: JUMPI
00001170: PUSH1 0x40
00001172: MLOAD
00001173: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x20
00001198: PUSH1 0x04
0000119a: DUP3
0000119b: ADD
0000119c: MSTORE
0000119d: PUSH1 0x37
0000119f: PUSH1 0x24
000011a1: DUP3
000011a2: ADD
000011a3: MSTORE
000011a4: PUSH32 0x5374616e646172644272696467653a2066756e6374696f6e2063616e206f6e6c
000011c5: PUSH1 0x44
000011c7: DUP3
000011c8: ADD
000011c9: MSTORE
000011ca: PUSH32 0x792062652063616c6c65642066726f6d20616e20454f41000000000000000000
000011eb: PUSH1 0x64
000011ed: DUP3
000011ee: ADD
000011ef: MSTORE
000011f0: PUSH1 0x84
000011f2: ADD
000011f3: PUSH2 0x01bd
000011f6: JUMP
000011f7: JUMPDEST
000011f8: PUSH2 0x0954
000011fb: CALLER
000011fc: CALLER
000011fd: DUP6
000011fe: DUP6
000011ff: DUP6
00001200: DUP1
00001201: DUP1
00001202: PUSH1 0x1f
00001204: ADD
00001205: PUSH1 0x20
00001207: DUP1
00001208: SWAP2
00001209: DIV
0000120a: MUL
0000120b: PUSH1 0x20
0000120d: ADD
0000120e: PUSH1 0x40
00001210: MLOAD
00001211: SWAP1
00001212: DUP2
00001213: ADD
00001214: PUSH1 0x40
00001216: MSTORE
00001217: DUP1
00001218: SWAP4
00001219: SWAP3
0000121a: SWAP2
0000121b: SWAP1
0000121c: DUP2
0000121d: DUP2
0000121e: MSTORE
0000121f: PUSH1 0x20
00001221: ADD
00001222: DUP4
00001223: DUP4
00001224: DUP1
00001225: DUP3
00001226: DUP5
00001227: CALLDATACOPY
00001228: PUSH1 0x00
0000122a: SWAP3
0000122b: ADD
0000122c: SWAP2
0000122d: SWAP1
0000122e: SWAP2
0000122f: MSTORE
00001230: POP
00001231: PUSH2 0x0479
00001234: SWAP3
00001235: POP
00001236: POP
00001237: POP
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH2 0x0486
0000123d: CALLER
0000123e: DUP6
0000123f: CALLVALUE
00001240: DUP7
00001241: DUP7
00001242: DUP7
00001243: DUP1
00001244: DUP1
00001245: PUSH1 0x1f
00001247: ADD
00001248: PUSH1 0x20
0000124a: DUP1
0000124b: SWAP2
0000124c: DIV
0000124d: MUL
0000124e: PUSH1 0x20
00001250: ADD
00001251: PUSH1 0x40
00001253: MLOAD
00001254: SWAP1
00001255: DUP2
00001256: ADD
00001257: PUSH1 0x40
00001259: MSTORE
0000125a: DUP1
0000125b: SWAP4
0000125c: SWAP3
0000125d: SWAP2
0000125e: SWAP1
0000125f: DUP2
00001260: DUP2
00001261: MSTORE
00001262: PUSH1 0x20
00001264: ADD
00001265: DUP4
00001266: DUP4
00001267: DUP1
00001268: DUP3
00001269: DUP5
0000126a: CALLDATACOPY
0000126b: PUSH1 0x00
0000126d: SWAP3
0000126e: ADD
0000126f: SWAP2
00001270: SWAP1
00001271: SWAP2
00001272: MSTORE
00001273: POP
00001274: PUSH2 0x127c
00001277: SWAP3
00001278: POP
00001279: POP
0000127a: POP
0000127b: JUMP
0000127c: JUMPDEST
0000127d: DUP3
0000127e: CALLVALUE
0000127f: EQ
00001280: PUSH2 0x130b
00001283: JUMPI
00001284: PUSH1 0x40
00001286: MLOAD
00001287: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x20
000012ac: PUSH1 0x04
000012ae: DUP3
000012af: ADD
000012b0: MSTORE
000012b1: PUSH1 0x3e
000012b3: PUSH1 0x24
000012b5: DUP3
000012b6: ADD
000012b7: MSTORE
000012b8: PUSH32 0x5374616e646172644272696467653a206272696467696e6720455448206d7573
000012d9: PUSH1 0x44
000012db: DUP3
000012dc: ADD
000012dd: MSTORE
000012de: PUSH32 0x7420696e636c7564652073756666696369656e74204554482076616c75650000
000012ff: PUSH1 0x64
00001301: DUP3
00001302: ADD
00001303: MSTORE
00001304: PUSH1 0x84
00001306: ADD
00001307: PUSH2 0x01bd
0000130a: JUMP
0000130b: JUMPDEST
0000130c: PUSH2 0x1317
0000130f: DUP6
00001310: DUP6
00001311: DUP6
00001312: DUP5
00001313: PUSH2 0x1c64
00001316: JUMP
00001317: JUMPDEST
00001318: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
00001339: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000134e: AND
0000134f: PUSH4 0x3dbb202b
00001354: DUP5
00001355: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00001376: PUSH4 0x1635f5fd
0000137b: PUSH1 0xe0
0000137d: SHL
0000137e: DUP10
0000137f: DUP10
00001380: DUP10
00001381: DUP9
00001382: PUSH1 0x40
00001384: MLOAD
00001385: PUSH1 0x24
00001387: ADD
00001388: PUSH2 0x1394
0000138b: SWAP5
0000138c: SWAP4
0000138d: SWAP3
0000138e: SWAP2
0000138f: SWAP1
00001390: PUSH2 0x28b6
00001393: JUMP
00001394: JUMPDEST
00001395: PUSH1 0x40
00001397: DUP1
00001398: MLOAD
00001399: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000013ba: DUP2
000013bb: DUP5
000013bc: SUB
000013bd: ADD
000013be: DUP2
000013bf: MSTORE
000013c0: SWAP2
000013c1: DUP2
000013c2: MSTORE
000013c3: PUSH1 0x20
000013c5: DUP3
000013c6: ADD
000013c7: DUP1
000013c8: MLOAD
000013c9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000013e6: AND
000013e7: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001408: SWAP5
00001409: DUP6
0000140a: AND
0000140b: OR
0000140c: SWAP1
0000140d: MSTORE
0000140e: MLOAD
0000140f: PUSH1 0xe0
00001411: DUP7
00001412: SWAP1
00001413: SHL
00001414: SWAP1
00001415: SWAP3
00001416: AND
00001417: DUP3
00001418: MSTORE
00001419: PUSH2 0x1427
0000141c: SWAP3
0000141d: SWAP2
0000141e: DUP9
0000141f: SWAP1
00001420: PUSH1 0x04
00001422: ADD
00001423: PUSH2 0x28ff
00001426: JUMP
00001427: JUMPDEST
00001428: PUSH1 0x00
0000142a: PUSH1 0x40
0000142c: MLOAD
0000142d: DUP1
0000142e: DUP4
0000142f: SUB
00001430: DUP2
00001431: DUP6
00001432: DUP9
00001433: DUP1
00001434: EXTCODESIZE
00001435: ISZERO
00001436: DUP1
00001437: ISZERO
00001438: PUSH2 0x1440
0000143b: JUMPI
0000143c: PUSH1 0x00
0000143e: DUP1
0000143f: REVERT
00001440: JUMPDEST
00001441: POP
00001442: GAS
00001443: CALL
00001444: ISZERO
00001445: DUP1
00001446: ISZERO
00001447: PUSH2 0x1454
0000144a: JUMPI
0000144b: RETURNDATASIZE
0000144c: PUSH1 0x00
0000144e: DUP1
0000144f: RETURNDATACOPY
00001450: RETURNDATASIZE
00001451: PUSH1 0x00
00001453: REVERT
00001454: JUMPDEST
00001455: POP
00001456: POP
00001457: POP
00001458: POP
00001459: POP
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: POP
0000145e: POP
0000145f: JUMP
00001460: JUMPDEST
00001461: PUSH1 0x00
00001463: PUSH2 0x148c
00001466: DUP3
00001467: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
00001488: PUSH2 0x1cd7
0000148b: JUMP
0000148c: JUMPDEST
0000148d: DUP1
0000148e: PUSH2 0x14bc
00001491: JUMPI
00001492: POP
00001493: PUSH2 0x14bc
00001496: DUP3
00001497: PUSH32 0xec4fc8e300000000000000000000000000000000000000000000000000000000
000014b8: PUSH2 0x1cd7
000014bb: JUMP
000014bc: JUMPDEST
000014bd: SWAP3
000014be: SWAP2
000014bf: POP
000014c0: POP
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH1 0x00
000014c5: PUSH2 0x14ee
000014c8: DUP4
000014c9: PUSH32 0x1d1d8b6300000000000000000000000000000000000000000000000000000000
000014ea: PUSH2 0x1cd7
000014ed: JUMP
000014ee: JUMPDEST
000014ef: ISZERO
000014f0: PUSH2 0x1597
000014f3: JUMPI
000014f4: DUP3
000014f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150a: AND
0000150b: PUSH4 0xc01e1bd6
00001510: PUSH1 0x40
00001512: MLOAD
00001513: DUP2
00001514: PUSH4 0xffffffff
00001519: AND
0000151a: PUSH1 0xe0
0000151c: SHL
0000151d: DUP2
0000151e: MSTORE
0000151f: PUSH1 0x04
00001521: ADD
00001522: PUSH1 0x20
00001524: PUSH1 0x40
00001526: MLOAD
00001527: DUP1
00001528: DUP4
00001529: SUB
0000152a: DUP2
0000152b: DUP7
0000152c: GAS
0000152d: STATICCALL
0000152e: ISZERO
0000152f: DUP1
00001530: ISZERO
00001531: PUSH2 0x153e
00001534: JUMPI
00001535: RETURNDATASIZE
00001536: PUSH1 0x00
00001538: DUP1
00001539: RETURNDATACOPY
0000153a: RETURNDATASIZE
0000153b: PUSH1 0x00
0000153d: REVERT
0000153e: JUMPDEST
0000153f: POP
00001540: POP
00001541: POP
00001542: POP
00001543: PUSH1 0x40
00001545: MLOAD
00001546: RETURNDATASIZE
00001547: PUSH1 0x1f
00001549: NOT
0000154a: PUSH1 0x1f
0000154c: DUP3
0000154d: ADD
0000154e: AND
0000154f: DUP3
00001550: ADD
00001551: DUP1
00001552: PUSH1 0x40
00001554: MSTORE
00001555: POP
00001556: DUP2
00001557: ADD
00001558: SWAP1
00001559: PUSH2 0x1562
0000155c: SWAP2
0000155d: SWAP1
0000155e: PUSH2 0x27dd
00001561: JUMP
00001562: JUMPDEST
00001563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001578: AND
00001579: DUP3
0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000158f: AND
00001590: EQ
00001591: SWAP1
00001592: POP
00001593: PUSH2 0x14bc
00001596: JUMP
00001597: JUMPDEST
00001598: DUP3
00001599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ae: AND
000015af: PUSH4 0xd6c0b2c4
000015b4: PUSH1 0x40
000015b6: MLOAD
000015b7: DUP2
000015b8: PUSH4 0xffffffff
000015bd: AND
000015be: PUSH1 0xe0
000015c0: SHL
000015c1: DUP2
000015c2: MSTORE
000015c3: PUSH1 0x04
000015c5: ADD
000015c6: PUSH1 0x20
000015c8: PUSH1 0x40
000015ca: MLOAD
000015cb: DUP1
000015cc: DUP4
000015cd: SUB
000015ce: DUP2
000015cf: DUP7
000015d0: GAS
000015d1: STATICCALL
000015d2: ISZERO
000015d3: DUP1
000015d4: ISZERO
000015d5: PUSH2 0x153e
000015d8: JUMPI
000015d9: RETURNDATASIZE
000015da: PUSH1 0x00
000015dc: DUP1
000015dd: RETURNDATACOPY
000015de: RETURNDATASIZE
000015df: PUSH1 0x00
000015e1: REVERT
000015e2: JUMPDEST
000015e3: PUSH1 0x40
000015e5: MLOAD
000015e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fb: DUP4
000015fc: AND
000015fd: PUSH1 0x24
000015ff: DUP3
00001600: ADD
00001601: MSTORE
00001602: PUSH1 0x44
00001604: DUP2
00001605: ADD
00001606: DUP3
00001607: SWAP1
00001608: MSTORE
00001609: PUSH2 0x0954
0000160c: SWAP1
0000160d: DUP5
0000160e: SWAP1
0000160f: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001630: SWAP1
00001631: PUSH1 0x64
00001633: ADD
00001634: JUMPDEST
00001635: PUSH1 0x40
00001637: DUP1
00001638: MLOAD
00001639: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000165a: DUP2
0000165b: DUP5
0000165c: SUB
0000165d: ADD
0000165e: DUP2
0000165f: MSTORE
00001660: SWAP2
00001661: SWAP1
00001662: MSTORE
00001663: PUSH1 0x20
00001665: DUP2
00001666: ADD
00001667: DUP1
00001668: MLOAD
00001669: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001686: AND
00001687: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000016a8: SWAP1
000016a9: SWAP4
000016aa: AND
000016ab: SWAP3
000016ac: SWAP1
000016ad: SWAP3
000016ae: OR
000016af: SWAP1
000016b0: SWAP2
000016b1: MSTORE
000016b2: PUSH2 0x1cfa
000016b5: JUMP
000016b6: JUMPDEST
000016b7: DUP4
000016b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016cd: AND
000016ce: DUP6
000016cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e4: AND
000016e5: DUP8
000016e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016fb: AND
000016fc: PUSH32 0x3ceee06c1e37648fcbb6ed52e17b3e1f275a1f8c7b22a84b2b84732431e046b3
0000171d: DUP7
0000171e: DUP7
0000171f: DUP7
00001720: PUSH1 0x40
00001722: MLOAD
00001723: PUSH2 0x172e
00001726: SWAP4
00001727: SWAP3
00001728: SWAP2
00001729: SWAP1
0000172a: PUSH2 0x2944
0000172d: JUMP
0000172e: JUMPDEST
0000172f: PUSH1 0x40
00001731: MLOAD
00001732: DUP1
00001733: SWAP2
00001734: SUB
00001735: SWAP1
00001736: LOG4
00001737: PUSH2 0x0e3a
0000173a: DUP7
0000173b: DUP7
0000173c: DUP7
0000173d: DUP7
0000173e: DUP7
0000173f: DUP7
00001740: PUSH2 0x1e06
00001743: JUMP
00001744: JUMPDEST
00001745: DUP3
00001746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000175b: AND
0000175c: DUP5
0000175d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001772: AND
00001773: PUSH32 0x2ac69ee804d9a7a0984249f508dfab7cb2534b465b6ce1580f99a38ba9c5e631
00001794: DUP5
00001795: DUP5
00001796: PUSH1 0x40
00001798: MLOAD
00001799: PUSH2 0x17a3
0000179c: SWAP3
0000179d: SWAP2
0000179e: SWAP1
0000179f: PUSH2 0x2982
000017a2: JUMP
000017a3: JUMPDEST
000017a4: PUSH1 0x40
000017a6: MLOAD
000017a7: DUP1
000017a8: SWAP2
000017a9: SUB
000017aa: SWAP1
000017ab: LOG3
000017ac: PUSH2 0x0486
000017af: DUP5
000017b0: DUP5
000017b1: DUP5
000017b2: DUP5
000017b3: PUSH2 0x1e8e
000017b6: JUMP
000017b7: JUMPDEST
000017b8: PUSH1 0x00
000017ba: DUP1
000017bb: PUSH1 0x00
000017bd: DUP1
000017be: DUP5
000017bf: MLOAD
000017c0: PUSH1 0x20
000017c2: DUP7
000017c3: ADD
000017c4: DUP8
000017c5: DUP11
000017c6: DUP11
000017c7: CALL
000017c8: SWAP7
000017c9: SWAP6
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: POP
000017ce: POP
000017cf: POP
000017d0: JUMP
000017d1: JUMPDEST
000017d2: PUSH2 0x17da
000017d5: DUP8
000017d6: PUSH2 0x1460
000017d9: JUMP
000017da: JUMPDEST
000017db: ISZERO
000017dc: PUSH2 0x1928
000017df: JUMPI
000017e0: PUSH2 0x17e9
000017e3: DUP8
000017e4: DUP8
000017e5: PUSH2 0x14c2
000017e8: JUMP
000017e9: JUMPDEST
000017ea: PUSH2 0x189b
000017ed: JUMPI
000017ee: PUSH1 0x40
000017f0: MLOAD
000017f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001812: DUP2
00001813: MSTORE
00001814: PUSH1 0x20
00001816: PUSH1 0x04
00001818: DUP3
00001819: ADD
0000181a: MSTORE
0000181b: PUSH1 0x4a
0000181d: PUSH1 0x24
0000181f: DUP3
00001820: ADD
00001821: MSTORE
00001822: PUSH32 0x5374616e646172644272696467653a2077726f6e672072656d6f746520746f6b
00001843: PUSH1 0x44
00001845: DUP3
00001846: ADD
00001847: MSTORE
00001848: PUSH32 0x656e20666f72204f7074696d69736d204d696e7461626c65204552433230206c
00001869: PUSH1 0x64
0000186b: DUP3
0000186c: ADD
0000186d: MSTORE
0000186e: PUSH32 0x6f63616c20746f6b656e00000000000000000000000000000000000000000000
0000188f: PUSH1 0x84
00001891: DUP3
00001892: ADD
00001893: MSTORE
00001894: PUSH1 0xa4
00001896: ADD
00001897: PUSH2 0x01bd
0000189a: JUMP
0000189b: JUMPDEST
0000189c: PUSH1 0x40
0000189e: MLOAD
0000189f: PUSH32 0x9dc29fac00000000000000000000000000000000000000000000000000000000
000018c0: DUP2
000018c1: MSTORE
000018c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d7: DUP7
000018d8: DUP2
000018d9: AND
000018da: PUSH1 0x04
000018dc: DUP4
000018dd: ADD
000018de: MSTORE
000018df: PUSH1 0x24
000018e1: DUP3
000018e2: ADD
000018e3: DUP6
000018e4: SWAP1
000018e5: MSTORE
000018e6: DUP9
000018e7: AND
000018e8: SWAP1
000018e9: PUSH4 0x9dc29fac
000018ee: SWAP1
000018ef: PUSH1 0x44
000018f1: ADD
000018f2: PUSH1 0x00
000018f4: PUSH1 0x40
000018f6: MLOAD
000018f7: DUP1
000018f8: DUP4
000018f9: SUB
000018fa: DUP2
000018fb: PUSH1 0x00
000018fd: DUP8
000018fe: DUP1
000018ff: EXTCODESIZE
00001900: ISZERO
00001901: DUP1
00001902: ISZERO
00001903: PUSH2 0x190b
00001906: JUMPI
00001907: PUSH1 0x00
00001909: DUP1
0000190a: REVERT
0000190b: JUMPDEST
0000190c: POP
0000190d: GAS
0000190e: CALL
0000190f: ISZERO
00001910: DUP1
00001911: ISZERO
00001912: PUSH2 0x191f
00001915: JUMPI
00001916: RETURNDATASIZE
00001917: PUSH1 0x00
00001919: DUP1
0000191a: RETURNDATACOPY
0000191b: RETURNDATASIZE
0000191c: PUSH1 0x00
0000191e: REVERT
0000191f: JUMPDEST
00001920: POP
00001921: POP
00001922: POP
00001923: POP
00001924: PUSH2 0x19bc
00001927: JUMP
00001928: JUMPDEST
00001929: PUSH2 0x194a
0000192c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001941: DUP9
00001942: AND
00001943: DUP7
00001944: ADDRESS
00001945: DUP7
00001946: PUSH2 0x1efb
00001949: JUMP
0000194a: JUMPDEST
0000194b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001960: DUP1
00001961: DUP9
00001962: AND
00001963: PUSH1 0x00
00001965: SWAP1
00001966: DUP2
00001967: MSTORE
00001968: PUSH1 0x02
0000196a: PUSH1 0x20
0000196c: SWAP1
0000196d: DUP2
0000196e: MSTORE
0000196f: PUSH1 0x40
00001971: DUP1
00001972: DUP4
00001973: KECCAK256
00001974: SWAP4
00001975: DUP11
00001976: AND
00001977: DUP4
00001978: MSTORE
00001979: SWAP3
0000197a: SWAP1
0000197b: MSTORE
0000197c: KECCAK256
0000197d: SLOAD
0000197e: PUSH2 0x1988
00001981: SWAP1
00001982: DUP5
00001983: SWAP1
00001984: PUSH2 0x299b
00001987: JUMP
00001988: JUMPDEST
00001989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199e: DUP1
0000199f: DUP10
000019a0: AND
000019a1: PUSH1 0x00
000019a3: SWAP1
000019a4: DUP2
000019a5: MSTORE
000019a6: PUSH1 0x02
000019a8: PUSH1 0x20
000019aa: SWAP1
000019ab: DUP2
000019ac: MSTORE
000019ad: PUSH1 0x40
000019af: DUP1
000019b0: DUP4
000019b1: KECCAK256
000019b2: SWAP4
000019b3: DUP12
000019b4: AND
000019b5: DUP4
000019b6: MSTORE
000019b7: SWAP3
000019b8: SWAP1
000019b9: MSTORE
000019ba: KECCAK256
000019bb: SSTORE
000019bc: JUMPDEST
000019bd: PUSH2 0x19ca
000019c0: DUP8
000019c1: DUP8
000019c2: DUP8
000019c3: DUP8
000019c4: DUP8
000019c5: DUP7
000019c6: PUSH2 0x1f59
000019c9: JUMP
000019ca: JUMPDEST
000019cb: PUSH32 0x000000000000000000000000635ba609680c55c3bdd0b3627b4c5db21b13c310
000019ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a01: AND
00001a02: PUSH4 0x3dbb202b
00001a07: PUSH32 0x0000000000000000000000004200000000000000000000000000000000000010
00001a28: PUSH4 0x0166a07a
00001a2d: PUSH1 0xe0
00001a2f: SHL
00001a30: DUP10
00001a31: DUP12
00001a32: DUP11
00001a33: DUP11
00001a34: DUP11
00001a35: DUP10
00001a36: PUSH1 0x40
00001a38: MLOAD
00001a39: PUSH1 0x24
00001a3b: ADD
00001a3c: PUSH2 0x1a4a
00001a3f: SWAP7
00001a40: SWAP6
00001a41: SWAP5
00001a42: SWAP4
00001a43: SWAP3
00001a44: SWAP2
00001a45: SWAP1
00001a46: PUSH2 0x29b3
00001a49: JUMP
00001a4a: JUMPDEST
00001a4b: PUSH1 0x40
00001a4d: DUP1
00001a4e: MLOAD
00001a4f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001a70: DUP2
00001a71: DUP5
00001a72: SUB
00001a73: ADD
00001a74: DUP2
00001a75: MSTORE
00001a76: SWAP2
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: DUP3
00001a7c: ADD
00001a7d: DUP1
00001a7e: MLOAD
00001a7f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001a9c: AND
00001a9d: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00001abe: SWAP5
00001abf: DUP6
00001ac0: AND
00001ac1: OR
00001ac2: SWAP1
00001ac3: MSTORE
00001ac4: MLOAD
00001ac5: PUSH1 0xe0
00001ac7: DUP6
00001ac8: SWAP1
00001ac9: SHL
00001aca: SWAP1
00001acb: SWAP3
00001acc: AND
00001acd: DUP3
00001ace: MSTORE
00001acf: PUSH2 0x1add
00001ad2: SWAP3
00001ad3: SWAP2
00001ad4: DUP8
00001ad5: SWAP1
00001ad6: PUSH1 0x04
00001ad8: ADD
00001ad9: PUSH2 0x28ff
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH1 0x00
00001ae0: PUSH1 0x40
00001ae2: MLOAD
00001ae3: DUP1
00001ae4: DUP4
00001ae5: SUB
00001ae6: DUP2
00001ae7: PUSH1 0x00
00001ae9: DUP8
00001aea: DUP1
00001aeb: EXTCODESIZE
00001aec: ISZERO
00001aed: DUP1
00001aee: ISZERO
00001aef: PUSH2 0x1af7
00001af2: JUMPI
00001af3: PUSH1 0x00
00001af5: DUP1
00001af6: REVERT
00001af7: JUMPDEST
00001af8: POP
00001af9: GAS
00001afa: CALL
00001afb: ISZERO
00001afc: DUP1
00001afd: ISZERO
00001afe: PUSH2 0x1b0b
00001b01: JUMPI
00001b02: RETURNDATASIZE
00001b03: PUSH1 0x00
00001b05: DUP1
00001b06: RETURNDATACOPY
00001b07: RETURNDATASIZE
00001b08: PUSH1 0x00
00001b0a: REVERT
00001b0b: JUMPDEST
00001b0c: POP
00001b0d: POP
00001b0e: POP
00001b0f: POP
00001b10: POP
00001b11: POP
00001b12: POP
00001b13: POP
00001b14: POP
00001b15: POP
00001b16: POP
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x60
00001b1b: DUP2
00001b1c: PUSH1 0x00
00001b1e: SUB
00001b1f: PUSH2 0x1b5b
00001b22: JUMPI
00001b23: POP
00001b24: POP
00001b25: PUSH1 0x40
00001b27: DUP1
00001b28: MLOAD
00001b29: DUP1
00001b2a: DUP3
00001b2b: ADD
00001b2c: SWAP1
00001b2d: SWAP2
00001b2e: MSTORE
00001b2f: PUSH1 0x01
00001b31: DUP2
00001b32: MSTORE
00001b33: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00001b54: PUSH1 0x20
00001b56: DUP3
00001b57: ADD
00001b58: MSTORE
00001b59: SWAP1
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: DUP2
00001b5d: PUSH1 0x00
00001b5f: JUMPDEST
00001b60: DUP2
00001b61: ISZERO
00001b62: PUSH2 0x1b85
00001b65: JUMPI
00001b66: DUP1
00001b67: PUSH2 0x1b6f
00001b6a: DUP2
00001b6b: PUSH2 0x2a0e
00001b6e: JUMP
00001b6f: JUMPDEST
00001b70: SWAP2
00001b71: POP
00001b72: PUSH2 0x1b7e
00001b75: SWAP1
00001b76: POP
00001b77: PUSH1 0x0a
00001b79: DUP4
00001b7a: PUSH2 0x2a75
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: SWAP2
00001b80: POP
00001b81: PUSH2 0x1b5f
00001b84: JUMP
00001b85: JUMPDEST
00001b86: PUSH1 0x00
00001b88: DUP2
00001b89: PUSH8 0xffffffffffffffff
00001b92: DUP2
00001b93: GT
00001b94: ISZERO
00001b95: PUSH2 0x1ba0
00001b98: JUMPI
00001b99: PUSH2 0x1ba0
00001b9c: PUSH2 0x2a89
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: PUSH1 0x40
00001ba3: MLOAD
00001ba4: SWAP1
00001ba5: DUP1
00001ba6: DUP3
00001ba7: MSTORE
00001ba8: DUP1
00001ba9: PUSH1 0x1f
00001bab: ADD
00001bac: PUSH1 0x1f
00001bae: NOT
00001baf: AND
00001bb0: PUSH1 0x20
00001bb2: ADD
00001bb3: DUP3
00001bb4: ADD
00001bb5: PUSH1 0x40
00001bb7: MSTORE
00001bb8: DUP1
00001bb9: ISZERO
00001bba: PUSH2 0x1bca
00001bbd: JUMPI
00001bbe: PUSH1 0x20
00001bc0: DUP3
00001bc1: ADD
00001bc2: DUP2
00001bc3: DUP1
00001bc4: CALLDATASIZE
00001bc5: DUP4
00001bc6: CALLDATACOPY
00001bc7: ADD
00001bc8: SWAP1
00001bc9: POP
00001bca: JUMPDEST
00001bcb: POP
00001bcc: SWAP1
00001bcd: POP
00001bce: JUMPDEST
00001bcf: DUP5
00001bd0: ISZERO
00001bd1: PUSH2 0x1c4d
00001bd4: JUMPI
00001bd5: PUSH2 0x1bdf
00001bd8: PUSH1 0x01
00001bda: DUP4
00001bdb: PUSH2 0x2829
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: SWAP2
00001be1: POP
00001be2: PUSH2 0x1bec
00001be5: PUSH1 0x0a
00001be7: DUP7
00001be8: PUSH2 0x2ab8
00001beb: JUMP
00001bec: JUMPDEST
00001bed: PUSH2 0x1bf7
00001bf0: SWAP1
00001bf1: PUSH1 0x30
00001bf3: PUSH2 0x299b
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH1 0xf8
00001bfa: SHL
00001bfb: DUP2
00001bfc: DUP4
00001bfd: DUP2
00001bfe: MLOAD
00001bff: DUP2
00001c00: LT
00001c01: PUSH2 0x1c0c
00001c04: JUMPI
00001c05: PUSH2 0x1c0c
00001c08: PUSH2 0x2acc
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH1 0x20
00001c0f: ADD
00001c10: ADD
00001c11: SWAP1
00001c12: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c32: NOT
00001c33: AND
00001c34: SWAP1
00001c35: DUP2
00001c36: PUSH1 0x00
00001c38: BYTE
00001c39: SWAP1
00001c3a: MSTORE8
00001c3b: POP
00001c3c: PUSH2 0x1c46
00001c3f: PUSH1 0x0a
00001c41: DUP7
00001c42: PUSH2 0x2a75
00001c45: JUMP
00001c46: JUMPDEST
00001c47: SWAP5
00001c48: POP
00001c49: PUSH2 0x1bce
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: SWAP5
00001c4f: SWAP4
00001c50: POP
00001c51: POP
00001c52: POP
00001c53: POP
00001c54: JUMP
00001c55: JUMPDEST
00001c56: PUSH2 0x0879
00001c59: DUP8
00001c5a: DUP8
00001c5b: DUP8
00001c5c: DUP8
00001c5d: DUP8
00001c5e: DUP8
00001c5f: DUP8
00001c60: PUSH2 0x17d1
00001c63: JUMP
00001c64: JUMPDEST
00001c65: DUP3
00001c66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c7b: AND
00001c7c: DUP5
00001c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c92: AND
00001c93: PUSH32 0x35d79ab81f2b2017e19afb5c5571778877782d7a8786f5907f93b0f4702f4f23
00001cb4: DUP5
00001cb5: DUP5
00001cb6: PUSH1 0x40
00001cb8: MLOAD
00001cb9: PUSH2 0x1cc3
00001cbc: SWAP3
00001cbd: SWAP2
00001cbe: SWAP1
00001cbf: PUSH2 0x2982
00001cc2: JUMP
00001cc3: JUMPDEST
00001cc4: PUSH1 0x40
00001cc6: MLOAD
00001cc7: DUP1
00001cc8: SWAP2
00001cc9: SUB
00001cca: SWAP1
00001ccb: LOG3
00001ccc: PUSH2 0x0486
00001ccf: DUP5
00001cd0: DUP5
00001cd1: DUP5
00001cd2: DUP5
00001cd3: PUSH2 0x1fe7
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x00
00001cda: PUSH2 0x1ce2
00001cdd: DUP4
00001cde: PUSH2 0x2046
00001ce1: JUMP
00001ce2: JUMPDEST
00001ce3: DUP1
00001ce4: ISZERO
00001ce5: PUSH2 0x1cf3
00001ce8: JUMPI
00001ce9: POP
00001cea: PUSH2 0x1cf3
00001ced: DUP4
00001cee: DUP4
00001cef: PUSH2 0x20aa
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: SWAP4
00001cf5: SWAP3
00001cf6: POP
00001cf7: POP
00001cf8: POP
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: PUSH1 0x00
00001cfd: PUSH2 0x1d5c
00001d00: DUP3
00001d01: PUSH1 0x40
00001d03: MLOAD
00001d04: DUP1
00001d05: PUSH1 0x40
00001d07: ADD
00001d08: PUSH1 0x40
00001d0a: MSTORE
00001d0b: DUP1
00001d0c: PUSH1 0x20
00001d0e: DUP2
00001d0f: MSTORE
00001d10: PUSH1 0x20
00001d12: ADD
00001d13: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001d34: DUP2
00001d35: MSTORE
00001d36: POP
00001d37: DUP6
00001d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4d: AND
00001d4e: PUSH2 0x2179
00001d51: SWAP1
00001d52: SWAP3
00001d53: SWAP2
00001d54: SWAP1
00001d55: PUSH4 0xffffffff
00001d5a: AND
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: DUP1
00001d5e: MLOAD
00001d5f: SWAP1
00001d60: SWAP2
00001d61: POP
00001d62: ISZERO
00001d63: PUSH2 0x0954
00001d66: JUMPI
00001d67: DUP1
00001d68: DUP1
00001d69: PUSH1 0x20
00001d6b: ADD
00001d6c: SWAP1
00001d6d: MLOAD
00001d6e: DUP2
00001d6f: ADD
00001d70: SWAP1
00001d71: PUSH2 0x1d7a
00001d74: SWAP2
00001d75: SWAP1
00001d76: PUSH2 0x2afb
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH2 0x0954
00001d7e: JUMPI
00001d7f: PUSH1 0x40
00001d81: MLOAD
00001d82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x20
00001da7: PUSH1 0x04
00001da9: DUP3
00001daa: ADD
00001dab: MSTORE
00001dac: PUSH1 0x2a
00001dae: PUSH1 0x24
00001db0: DUP3
00001db1: ADD
00001db2: MSTORE
00001db3: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001dd4: PUSH1 0x44
00001dd6: DUP3
00001dd7: ADD
00001dd8: MSTORE
00001dd9: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00001dfa: PUSH1 0x64
00001dfc: DUP3
00001dfd: ADD
00001dfe: MSTORE
00001dff: PUSH1 0x84
00001e01: ADD
00001e02: PUSH2 0x01bd
00001e05: JUMP
00001e06: JUMPDEST
00001e07: DUP4
00001e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e1d: AND
00001e1e: DUP6
00001e1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e34: AND
00001e35: DUP8
00001e36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e4b: AND
00001e4c: PUSH32 0xd59c65b35445225835c83f50b6ede06a7be047d22e357073e250d9af537518cd
00001e6d: DUP7
00001e6e: DUP7
00001e6f: DUP7
00001e70: PUSH1 0x40
00001e72: MLOAD
00001e73: PUSH2 0x1e7e
00001e76: SWAP4
00001e77: SWAP3
00001e78: SWAP2
00001e79: SWAP1
00001e7a: PUSH2 0x2944
00001e7d: JUMP
00001e7e: JUMPDEST
00001e7f: PUSH1 0x40
00001e81: MLOAD
00001e82: DUP1
00001e83: SWAP2
00001e84: SUB
00001e85: SWAP1
00001e86: LOG4
00001e87: POP
00001e88: POP
00001e89: POP
00001e8a: POP
00001e8b: POP
00001e8c: POP
00001e8d: JUMP
00001e8e: JUMPDEST
00001e8f: DUP3
00001e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea5: AND
00001ea6: DUP5
00001ea7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ebc: AND
00001ebd: PUSH32 0x31b2166ff604fc5672ea5df08a78081d2bc6d746cadce880747f3643d819e83d
00001ede: DUP5
00001edf: DUP5
00001ee0: PUSH1 0x40
00001ee2: MLOAD
00001ee3: PUSH2 0x1eed
00001ee6: SWAP3
00001ee7: SWAP2
00001ee8: SWAP1
00001ee9: PUSH2 0x2982
00001eec: JUMP
00001eed: JUMPDEST
00001eee: PUSH1 0x40
00001ef0: MLOAD
00001ef1: DUP1
00001ef2: SWAP2
00001ef3: SUB
00001ef4: SWAP1
00001ef5: LOG3
00001ef6: POP
00001ef7: POP
00001ef8: POP
00001ef9: POP
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x40
00001efe: MLOAD
00001eff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f14: DUP1
00001f15: DUP6
00001f16: AND
00001f17: PUSH1 0x24
00001f19: DUP4
00001f1a: ADD
00001f1b: MSTORE
00001f1c: DUP4
00001f1d: AND
00001f1e: PUSH1 0x44
00001f20: DUP3
00001f21: ADD
00001f22: MSTORE
00001f23: PUSH1 0x64
00001f25: DUP2
00001f26: ADD
00001f27: DUP3
00001f28: SWAP1
00001f29: MSTORE
00001f2a: PUSH2 0x0486
00001f2d: SWAP1
00001f2e: DUP6
00001f2f: SWAP1
00001f30: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001f51: SWAP1
00001f52: PUSH1 0x84
00001f54: ADD
00001f55: PUSH2 0x1634
00001f58: JUMP
00001f59: JUMPDEST
00001f5a: DUP4
00001f5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f70: AND
00001f71: DUP6
00001f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f87: AND
00001f88: DUP8
00001f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9e: AND
00001f9f: PUSH32 0x718594027abd4eaed59f95162563e0cc6d0e8d5b86b1c7be8b1b0ac3343d0396
00001fc0: DUP7
00001fc1: DUP7
00001fc2: DUP7
00001fc3: PUSH1 0x40
00001fc5: MLOAD
00001fc6: PUSH2 0x1fd1
00001fc9: SWAP4
00001fca: SWAP3
00001fcb: SWAP2
00001fcc: SWAP1
00001fcd: PUSH2 0x2944
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: PUSH1 0x40
00001fd4: MLOAD
00001fd5: DUP1
00001fd6: SWAP2
00001fd7: SUB
00001fd8: SWAP1
00001fd9: LOG4
00001fda: PUSH2 0x0e3a
00001fdd: DUP7
00001fde: DUP7
00001fdf: DUP7
00001fe0: DUP7
00001fe1: DUP7
00001fe2: DUP7
00001fe3: PUSH2 0x2188
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: DUP3
00001fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ffe: AND
00001fff: DUP5
00002000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002015: AND
00002016: PUSH32 0x2849b43074093a05396b6f2a937dee8565b15a48a7b3d4bffb732a5017380af5
00002037: DUP5
00002038: DUP5
00002039: PUSH1 0x40
0000203b: MLOAD
0000203c: PUSH2 0x1eed
0000203f: SWAP3
00002040: SWAP2
00002041: SWAP1
00002042: PUSH2 0x2982
00002045: JUMP
00002046: JUMPDEST
00002047: PUSH1 0x00
00002049: PUSH2 0x2072
0000204c: DUP3
0000204d: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000206e: PUSH2 0x20aa
00002071: JUMP
00002072: JUMPDEST
00002073: DUP1
00002074: ISZERO
00002075: PUSH2 0x14bc
00002078: JUMPI
00002079: POP
0000207a: PUSH2 0x20a3
0000207d: DUP3
0000207e: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000209f: PUSH2 0x20aa
000020a2: JUMP
000020a3: JUMPDEST
000020a4: ISZERO
000020a5: SWAP3
000020a6: SWAP2
000020a7: POP
000020a8: POP
000020a9: JUMP
000020aa: JUMPDEST
000020ab: PUSH1 0x40
000020ad: DUP1
000020ae: MLOAD
000020af: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000020d0: DUP4
000020d1: AND
000020d2: PUSH1 0x24
000020d4: DUP1
000020d5: DUP4
000020d6: ADD
000020d7: SWAP2
000020d8: SWAP1
000020d9: SWAP2
000020da: MSTORE
000020db: DUP3
000020dc: MLOAD
000020dd: DUP1
000020de: DUP4
000020df: SUB
000020e0: SWAP1
000020e1: SWAP2
000020e2: ADD
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH1 0x44
000020e7: SWAP1
000020e8: SWAP2
000020e9: ADD
000020ea: SWAP1
000020eb: SWAP2
000020ec: MSTORE
000020ed: PUSH1 0x20
000020ef: DUP1
000020f0: DUP3
000020f1: ADD
000020f2: DUP1
000020f3: MLOAD
000020f4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002111: AND
00002112: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002133: OR
00002134: DUP2
00002135: MSTORE
00002136: DUP3
00002137: MLOAD
00002138: PUSH1 0x00
0000213a: SWAP4
0000213b: SWAP3
0000213c: DUP5
0000213d: SWAP3
0000213e: DUP4
0000213f: SWAP3
00002140: DUP4
00002141: SWAP3
00002142: SWAP2
00002143: DUP4
00002144: SWAP2
00002145: SWAP1
00002146: DUP11
00002147: PUSH2 0x7530
0000214a: STATICCALL
0000214b: SWAP3
0000214c: POP
0000214d: RETURNDATASIZE
0000214e: SWAP2
0000214f: POP
00002150: PUSH1 0x00
00002152: MLOAD
00002153: SWAP1
00002154: POP
00002155: DUP3
00002156: DUP1
00002157: ISZERO
00002158: PUSH2 0x2162
0000215b: JUMPI
0000215c: POP
0000215d: PUSH1 0x20
0000215f: DUP3
00002160: LT
00002161: ISZERO
00002162: JUMPDEST
00002163: DUP1
00002164: ISZERO
00002165: PUSH2 0x216e
00002168: JUMPI
00002169: POP
0000216a: PUSH1 0x00
0000216c: DUP2
0000216d: GT
0000216e: JUMPDEST
0000216f: SWAP8
00002170: SWAP7
00002171: POP
00002172: POP
00002173: POP
00002174: POP
00002175: POP
00002176: POP
00002177: POP
00002178: JUMP
00002179: JUMPDEST
0000217a: PUSH1 0x60
0000217c: PUSH2 0x1c4d
0000217f: DUP5
00002180: DUP5
00002181: PUSH1 0x00
00002183: DUP6
00002184: PUSH2 0x2200
00002187: JUMP
00002188: JUMPDEST
00002189: DUP4
0000218a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000219f: AND
000021a0: DUP6
000021a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021b6: AND
000021b7: DUP8
000021b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021cd: AND
000021ce: PUSH32 0x7ff126db8024424bbfd9826e8ab82ff59136289ea440b04b39a0df1b03b9cabf
000021ef: DUP7
000021f0: DUP7
000021f1: DUP7
000021f2: PUSH1 0x40
000021f4: MLOAD
000021f5: PUSH2 0x1e7e
000021f8: SWAP4
000021f9: SWAP3
000021fa: SWAP2
000021fb: SWAP1
000021fc: PUSH2 0x2944
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x60
00002203: DUP3
00002204: SELFBALANCE
00002205: LT
00002206: ISZERO
00002207: PUSH2 0x2292
0000220a: JUMPI
0000220b: PUSH1 0x40
0000220d: MLOAD
0000220e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000222f: DUP2
00002230: MSTORE
00002231: PUSH1 0x20
00002233: PUSH1 0x04
00002235: DUP3
00002236: ADD
00002237: MSTORE
00002238: PUSH1 0x26
0000223a: PUSH1 0x24
0000223c: DUP3
0000223d: ADD
0000223e: MSTORE
0000223f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002260: PUSH1 0x44
00002262: DUP3
00002263: ADD
00002264: MSTORE
00002265: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002286: PUSH1 0x64
00002288: DUP3
00002289: ADD
0000228a: MSTORE
0000228b: PUSH1 0x84
0000228d: ADD
0000228e: PUSH2 0x01bd
00002291: JUMP
00002292: JUMPDEST
00002293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022a8: DUP6
000022a9: AND
000022aa: EXTCODESIZE
000022ab: PUSH2 0x2310
000022ae: JUMPI
000022af: PUSH1 0x40
000022b1: MLOAD
000022b2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022d3: DUP2
000022d4: MSTORE
000022d5: PUSH1 0x20
000022d7: PUSH1 0x04
000022d9: DUP3
000022da: ADD
000022db: MSTORE
000022dc: PUSH1 0x1d
000022de: PUSH1 0x24
000022e0: DUP3
000022e1: ADD
000022e2: MSTORE
000022e3: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002304: PUSH1 0x44
00002306: DUP3
00002307: ADD
00002308: MSTORE
00002309: PUSH1 0x64
0000230b: ADD
0000230c: PUSH2 0x01bd
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH1 0x00
00002313: DUP1
00002314: DUP7
00002315: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000232a: AND
0000232b: DUP6
0000232c: DUP8
0000232d: PUSH1 0x40
0000232f: MLOAD
00002330: PUSH2 0x2339
00002333: SWAP2
00002334: SWAP1
00002335: PUSH2 0x2b1d
00002338: JUMP
00002339: JUMPDEST
0000233a: PUSH1 0x00
0000233c: PUSH1 0x40
0000233e: MLOAD
0000233f: DUP1
00002340: DUP4
00002341: SUB
00002342: DUP2
00002343: DUP6
00002344: DUP8
00002345: GAS
00002346: CALL
00002347: SWAP3
00002348: POP
00002349: POP
0000234a: POP
0000234b: RETURNDATASIZE
0000234c: DUP1
0000234d: PUSH1 0x00
0000234f: DUP2
00002350: EQ
00002351: PUSH2 0x2376
00002354: JUMPI
00002355: PUSH1 0x40
00002357: MLOAD
00002358: SWAP2
00002359: POP
0000235a: PUSH1 0x1f
0000235c: NOT
0000235d: PUSH1 0x3f
0000235f: RETURNDATASIZE
00002360: ADD
00002361: AND
00002362: DUP3
00002363: ADD
00002364: PUSH1 0x40
00002366: MSTORE
00002367: RETURNDATASIZE
00002368: DUP3
00002369: MSTORE
0000236a: RETURNDATASIZE
0000236b: PUSH1 0x00
0000236d: PUSH1 0x20
0000236f: DUP5
00002370: ADD
00002371: RETURNDATACOPY
00002372: PUSH2 0x237b
00002375: JUMP
00002376: JUMPDEST
00002377: PUSH1 0x60
00002379: SWAP2
0000237a: POP
0000237b: JUMPDEST
0000237c: POP
0000237d: SWAP2
0000237e: POP
0000237f: SWAP2
00002380: POP
00002381: PUSH2 0x216e
00002384: DUP3
00002385: DUP3
00002386: DUP7
00002387: PUSH1 0x60
00002389: DUP4
0000238a: ISZERO
0000238b: PUSH2 0x2395
0000238e: JUMPI
0000238f: POP
00002390: DUP2
00002391: PUSH2 0x1cf3
00002394: JUMP
00002395: JUMPDEST
00002396: DUP3
00002397: MLOAD
00002398: ISZERO
00002399: PUSH2 0x23a5
0000239c: JUMPI
0000239d: DUP3
0000239e: MLOAD
0000239f: DUP1
000023a0: DUP5
000023a1: PUSH1 0x20
000023a3: ADD
000023a4: REVERT
000023a5: JUMPDEST
000023a6: DUP2
000023a7: PUSH1 0x40
000023a9: MLOAD
000023aa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023cb: DUP2
000023cc: MSTORE
000023cd: PUSH1 0x04
000023cf: ADD
000023d0: PUSH2 0x01bd
000023d3: SWAP2
000023d4: SWAP1
000023d5: PUSH2 0x26ab
000023d8: JUMP
000023d9: JUMPDEST
000023da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ef: DUP2
000023f0: AND
000023f1: DUP2
000023f2: EQ
000023f3: PUSH2 0x23fb
000023f6: JUMPI
000023f7: PUSH1 0x00
000023f9: DUP1
000023fa: REVERT
000023fb: JUMPDEST
000023fc: POP
000023fd: JUMP
000023fe: JUMPDEST
000023ff: PUSH1 0x00
00002401: DUP1
00002402: DUP4
00002403: PUSH1 0x1f
00002405: DUP5
00002406: ADD
00002407: SLT
00002408: PUSH2 0x2410
0000240b: JUMPI
0000240c: PUSH1 0x00
0000240e: DUP1
0000240f: REVERT
00002410: JUMPDEST
00002411: POP
00002412: DUP2
00002413: CALLDATALOAD
00002414: PUSH8 0xffffffffffffffff
0000241d: DUP2
0000241e: GT
0000241f: ISZERO
00002420: PUSH2 0x2428
00002423: JUMPI
00002424: PUSH1 0x00
00002426: DUP1
00002427: REVERT
00002428: JUMPDEST
00002429: PUSH1 0x20
0000242b: DUP4
0000242c: ADD
0000242d: SWAP2
0000242e: POP
0000242f: DUP4
00002430: PUSH1 0x20
00002432: DUP3
00002433: DUP6
00002434: ADD
00002435: ADD
00002436: GT
00002437: ISZERO
00002438: PUSH2 0x2440
0000243b: JUMPI
0000243c: PUSH1 0x00
0000243e: DUP1
0000243f: REVERT
00002440: JUMPDEST
00002441: SWAP3
00002442: POP
00002443: SWAP3
00002444: SWAP1
00002445: POP
00002446: JUMP
00002447: JUMPDEST
00002448: PUSH1 0x00
0000244a: DUP1
0000244b: PUSH1 0x00
0000244d: DUP1
0000244e: PUSH1 0x00
00002450: DUP1
00002451: PUSH1 0x00
00002453: PUSH1 0xc0
00002455: DUP9
00002456: DUP11
00002457: SUB
00002458: SLT
00002459: ISZERO
0000245a: PUSH2 0x2462
0000245d: JUMPI
0000245e: PUSH1 0x00
00002460: DUP1
00002461: REVERT
00002462: JUMPDEST
00002463: DUP8
00002464: CALLDATALOAD
00002465: PUSH2 0x246d
00002468: DUP2
00002469: PUSH2 0x23d9
0000246c: JUMP
0000246d: JUMPDEST
0000246e: SWAP7
0000246f: POP
00002470: PUSH1 0x20
00002472: DUP9
00002473: ADD
00002474: CALLDATALOAD
00002475: PUSH2 0x247d
00002478: DUP2
00002479: PUSH2 0x23d9
0000247c: JUMP
0000247d: JUMPDEST
0000247e: SWAP6
0000247f: POP
00002480: PUSH1 0x40
00002482: DUP9
00002483: ADD
00002484: CALLDATALOAD
00002485: PUSH2 0x248d
00002488: DUP2
00002489: PUSH2 0x23d9
0000248c: JUMP
0000248d: JUMPDEST
0000248e: SWAP5
0000248f: POP
00002490: PUSH1 0x60
00002492: DUP9
00002493: ADD
00002494: CALLDATALOAD
00002495: PUSH2 0x249d
00002498: DUP2
00002499: PUSH2 0x23d9
0000249c: JUMP
0000249d: JUMPDEST
0000249e: SWAP4
0000249f: POP
000024a0: PUSH1 0x80
000024a2: DUP9
000024a3: ADD
000024a4: CALLDATALOAD
000024a5: SWAP3
000024a6: POP
000024a7: PUSH1 0xa0
000024a9: DUP9
000024aa: ADD
000024ab: CALLDATALOAD
000024ac: PUSH8 0xffffffffffffffff
000024b5: DUP2
000024b6: GT
000024b7: ISZERO
000024b8: PUSH2 0x24c0
000024bb: JUMPI
000024bc: PUSH1 0x00
000024be: DUP1
000024bf: REVERT
000024c0: JUMPDEST
000024c1: PUSH2 0x24cc
000024c4: DUP11
000024c5: DUP3
000024c6: DUP12
000024c7: ADD
000024c8: PUSH2 0x23fe
000024cb: JUMP
000024cc: JUMPDEST
000024cd: SWAP9
000024ce: SWAP12
000024cf: SWAP8
000024d0: SWAP11
000024d1: POP
000024d2: SWAP6
000024d3: SWAP9
000024d4: POP
000024d5: SWAP4
000024d6: SWAP7
000024d7: SWAP3
000024d8: SWAP6
000024d9: SWAP3
000024da: SWAP4
000024db: POP
000024dc: POP
000024dd: POP
000024de: JUMP
000024df: JUMPDEST
000024e0: DUP1
000024e1: CALLDATALOAD
000024e2: PUSH4 0xffffffff
000024e7: DUP2
000024e8: AND
000024e9: DUP2
000024ea: EQ
000024eb: PUSH2 0x24f3
000024ee: JUMPI
000024ef: PUSH1 0x00
000024f1: DUP1
000024f2: REVERT
000024f3: JUMPDEST
000024f4: SWAP2
000024f5: SWAP1
000024f6: POP
000024f7: JUMP
000024f8: JUMPDEST
000024f9: PUSH1 0x00
000024fb: DUP1
000024fc: PUSH1 0x00
000024fe: PUSH1 0x40
00002500: DUP5
00002501: DUP7
00002502: SUB
00002503: SLT
00002504: ISZERO
00002505: PUSH2 0x250d
00002508: JUMPI
00002509: PUSH1 0x00
0000250b: DUP1
0000250c: REVERT
0000250d: JUMPDEST
0000250e: PUSH2 0x2516
00002511: DUP5
00002512: PUSH2 0x24df
00002515: JUMP
00002516: JUMPDEST
00002517: SWAP3
00002518: POP
00002519: PUSH1 0x20
0000251b: DUP5
0000251c: ADD
0000251d: CALLDATALOAD
0000251e: PUSH8 0xffffffffffffffff
00002527: DUP2
00002528: GT
00002529: ISZERO
0000252a: PUSH2 0x2532
0000252d: JUMPI
0000252e: PUSH1 0x00
00002530: DUP1
00002531: REVERT
00002532: JUMPDEST
00002533: PUSH2 0x253e
00002536: DUP7
00002537: DUP3
00002538: DUP8
00002539: ADD
0000253a: PUSH2 0x23fe
0000253d: JUMP
0000253e: JUMPDEST
0000253f: SWAP5
00002540: SWAP8
00002541: SWAP1
00002542: SWAP7
00002543: POP
00002544: SWAP4
00002545: SWAP5
00002546: POP
00002547: POP
00002548: POP
00002549: POP
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH1 0x00
0000254e: DUP1
0000254f: PUSH1 0x00
00002551: DUP1
00002552: PUSH1 0x00
00002554: PUSH1 0x80
00002556: DUP7
00002557: DUP9
00002558: SUB
00002559: SLT
0000255a: ISZERO
0000255b: PUSH2 0x2563
0000255e: JUMPI
0000255f: PUSH1 0x00
00002561: DUP1
00002562: REVERT
00002563: JUMPDEST
00002564: DUP6
00002565: CALLDATALOAD
00002566: PUSH2 0x256e
00002569: DUP2
0000256a: PUSH2 0x23d9
0000256d: JUMP
0000256e: JUMPDEST
0000256f: SWAP5
00002570: POP
00002571: PUSH1 0x20
00002573: DUP7
00002574: ADD
00002575: CALLDATALOAD
00002576: PUSH2 0x257e
00002579: DUP2
0000257a: PUSH2 0x23d9
0000257d: JUMP
0000257e: JUMPDEST
0000257f: SWAP4
00002580: POP
00002581: PUSH1 0x40
00002583: DUP7
00002584: ADD
00002585: CALLDATALOAD
00002586: SWAP3
00002587: POP
00002588: PUSH1 0x60
0000258a: DUP7
0000258b: ADD
0000258c: CALLDATALOAD
0000258d: PUSH8 0xffffffffffffffff
00002596: DUP2
00002597: GT
00002598: ISZERO
00002599: PUSH2 0x25a1
0000259c: JUMPI
0000259d: PUSH1 0x00
0000259f: DUP1
000025a0: REVERT
000025a1: JUMPDEST
000025a2: PUSH2 0x25ad
000025a5: DUP9
000025a6: DUP3
000025a7: DUP10
000025a8: ADD
000025a9: PUSH2 0x23fe
000025ac: JUMP
000025ad: JUMPDEST
000025ae: SWAP7
000025af: SWAP10
000025b0: SWAP6
000025b1: SWAP9
000025b2: POP
000025b3: SWAP4
000025b4: SWAP7
000025b5: POP
000025b6: SWAP3
000025b7: SWAP5
000025b8: SWAP4
000025b9: SWAP3
000025ba: POP
000025bb: POP
000025bc: POP
000025bd: JUMP
000025be: JUMPDEST
000025bf: PUSH1 0x00
000025c1: DUP1
000025c2: PUSH1 0x00
000025c4: DUP1
000025c5: PUSH1 0x00
000025c7: DUP1
000025c8: PUSH1 0x00
000025ca: PUSH1 0xc0
000025cc: DUP9
000025cd: DUP11
000025ce: SUB
000025cf: SLT
000025d0: ISZERO
000025d1: PUSH2 0x25d9
000025d4: JUMPI
000025d5: PUSH1 0x00
000025d7: DUP1
000025d8: REVERT
000025d9: JUMPDEST
000025da: DUP8
000025db: CALLDATALOAD
000025dc: PUSH2 0x25e4
000025df: DUP2
000025e0: PUSH2 0x23d9
000025e3: JUMP
000025e4: JUMPDEST
000025e5: SWAP7
000025e6: POP
000025e7: PUSH1 0x20
000025e9: DUP9
000025ea: ADD
000025eb: CALLDATALOAD
000025ec: PUSH2 0x25f4
000025ef: DUP2
000025f0: PUSH2 0x23d9
000025f3: JUMP
000025f4: JUMPDEST
000025f5: SWAP6
000025f6: POP
000025f7: PUSH1 0x40
000025f9: DUP9
000025fa: ADD
000025fb: CALLDATALOAD
000025fc: PUSH2 0x2604
000025ff: DUP2
00002600: PUSH2 0x23d9
00002603: JUMP
00002604: JUMPDEST
00002605: SWAP5
00002606: POP
00002607: PUSH1 0x60
00002609: DUP9
0000260a: ADD
0000260b: CALLDATALOAD
0000260c: SWAP4
0000260d: POP
0000260e: PUSH2 0x2619
00002611: PUSH1 0x80
00002613: DUP10
00002614: ADD
00002615: PUSH2 0x24df
00002618: JUMP
00002619: JUMPDEST
0000261a: SWAP3
0000261b: POP
0000261c: PUSH1 0xa0
0000261e: DUP9
0000261f: ADD
00002620: CALLDATALOAD
00002621: PUSH8 0xffffffffffffffff
0000262a: DUP2
0000262b: GT
0000262c: ISZERO
0000262d: PUSH2 0x24c0
00002630: JUMPI
00002631: PUSH1 0x00
00002633: DUP1
00002634: REVERT
00002635: JUMPDEST
00002636: PUSH1 0x00
00002638: JUMPDEST
00002639: DUP4
0000263a: DUP2
0000263b: LT
0000263c: ISZERO
0000263d: PUSH2 0x2650
00002640: JUMPI
00002641: DUP2
00002642: DUP2
00002643: ADD
00002644: MLOAD
00002645: DUP4
00002646: DUP3
00002647: ADD
00002648: MSTORE
00002649: PUSH1 0x20
0000264b: ADD
0000264c: PUSH2 0x2638
0000264f: JUMP
00002650: JUMPDEST
00002651: DUP4
00002652: DUP2
00002653: GT
00002654: ISZERO
00002655: PUSH2 0x0486
00002658: JUMPI
00002659: POP
0000265a: POP
0000265b: PUSH1 0x00
0000265d: SWAP2
0000265e: ADD
0000265f: MSTORE
00002660: JUMP
00002661: JUMPDEST
00002662: PUSH1 0x00
00002664: DUP2
00002665: MLOAD
00002666: DUP1
00002667: DUP5
00002668: MSTORE
00002669: PUSH2 0x2679
0000266c: DUP2
0000266d: PUSH1 0x20
0000266f: DUP7
00002670: ADD
00002671: PUSH1 0x20
00002673: DUP7
00002674: ADD
00002675: PUSH2 0x2635
00002678: JUMP
00002679: JUMPDEST
0000267a: PUSH1 0x1f
0000267c: ADD
0000267d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000269e: AND
0000269f: SWAP3
000026a0: SWAP1
000026a1: SWAP3
000026a2: ADD
000026a3: PUSH1 0x20
000026a5: ADD
000026a6: SWAP3
000026a7: SWAP2
000026a8: POP
000026a9: POP
000026aa: JUMP
000026ab: JUMPDEST
000026ac: PUSH1 0x20
000026ae: DUP2
000026af: MSTORE
000026b0: PUSH1 0x00
000026b2: PUSH2 0x1cf3
000026b5: PUSH1 0x20
000026b7: DUP4
000026b8: ADD
000026b9: DUP5
000026ba: PUSH2 0x2661
000026bd: JUMP
000026be: JUMPDEST
000026bf: PUSH1 0x00
000026c1: DUP1
000026c2: PUSH1 0x00
000026c4: DUP1
000026c5: PUSH1 0x00
000026c7: DUP1
000026c8: PUSH1 0xa0
000026ca: DUP8
000026cb: DUP10
000026cc: SUB
000026cd: SLT
000026ce: ISZERO
000026cf: PUSH2 0x26d7
000026d2: JUMPI
000026d3: PUSH1 0x00
000026d5: DUP1
000026d6: REVERT
000026d7: JUMPDEST
000026d8: DUP7
000026d9: CALLDATALOAD
000026da: PUSH2 0x26e2
000026dd: DUP2
000026de: PUSH2 0x23d9
000026e1: JUMP
000026e2: JUMPDEST
000026e3: SWAP6
000026e4: POP
000026e5: PUSH1 0x20
000026e7: DUP8
000026e8: ADD
000026e9: CALLDATALOAD
000026ea: PUSH2 0x26f2
000026ed: DUP2
000026ee: PUSH2 0x23d9
000026f1: JUMP
000026f2: JUMPDEST
000026f3: SWAP5
000026f4: POP
000026f5: PUSH1 0x40
000026f7: DUP8
000026f8: ADD
000026f9: CALLDATALOAD
000026fa: SWAP4
000026fb: POP
000026fc: PUSH2 0x2707
000026ff: PUSH1 0x60
00002701: DUP9
00002702: ADD
00002703: PUSH2 0x24df
00002706: JUMP
00002707: JUMPDEST
00002708: SWAP3
00002709: POP
0000270a: PUSH1 0x80
0000270c: DUP8
0000270d: ADD
0000270e: CALLDATALOAD
0000270f: PUSH8 0xffffffffffffffff
00002718: DUP2
00002719: GT
0000271a: ISZERO
0000271b: PUSH2 0x2723
0000271e: JUMPI
0000271f: PUSH1 0x00
00002721: DUP1
00002722: REVERT
00002723: JUMPDEST
00002724: PUSH2 0x272f
00002727: DUP10
00002728: DUP3
00002729: DUP11
0000272a: ADD
0000272b: PUSH2 0x23fe
0000272e: JUMP
0000272f: JUMPDEST
00002730: SWAP8
00002731: SWAP11
00002732: SWAP7
00002733: SWAP10
00002734: POP
00002735: SWAP5
00002736: SWAP8
00002737: POP
00002738: SWAP3
00002739: SWAP6
0000273a: SWAP4
0000273b: SWAP5
0000273c: SWAP3
0000273d: POP
0000273e: POP
0000273f: POP
00002740: JUMP
00002741: JUMPDEST
00002742: PUSH1 0x00
00002744: DUP1
00002745: PUSH1 0x40
00002747: DUP4
00002748: DUP6
00002749: SUB
0000274a: SLT
0000274b: ISZERO
0000274c: PUSH2 0x2754
0000274f: JUMPI
00002750: PUSH1 0x00
00002752: DUP1
00002753: REVERT
00002754: JUMPDEST
00002755: DUP3
00002756: CALLDATALOAD
00002757: PUSH2 0x275f
0000275a: DUP2
0000275b: PUSH2 0x23d9
0000275e: JUMP
0000275f: JUMPDEST
00002760: SWAP2
00002761: POP
00002762: PUSH1 0x20
00002764: DUP4
00002765: ADD
00002766: CALLDATALOAD
00002767: PUSH2 0x276f
0000276a: DUP2
0000276b: PUSH2 0x23d9
0000276e: JUMP
0000276f: JUMPDEST
00002770: DUP1
00002771: SWAP2
00002772: POP
00002773: POP
00002774: SWAP3
00002775: POP
00002776: SWAP3
00002777: SWAP1
00002778: POP
00002779: JUMP
0000277a: JUMPDEST
0000277b: PUSH1 0x00
0000277d: DUP1
0000277e: PUSH1 0x00
00002780: DUP1
00002781: PUSH1 0x60
00002783: DUP6
00002784: DUP8
00002785: SUB
00002786: SLT
00002787: ISZERO
00002788: PUSH2 0x2790
0000278b: JUMPI
0000278c: PUSH1 0x00
0000278e: DUP1
0000278f: REVERT
00002790: JUMPDEST
00002791: DUP5
00002792: CALLDATALOAD
00002793: PUSH2 0x279b
00002796: DUP2
00002797: PUSH2 0x23d9
0000279a: JUMP
0000279b: JUMPDEST
0000279c: SWAP4
0000279d: POP
0000279e: PUSH2 0x27a9
000027a1: PUSH1 0x20
000027a3: DUP7
000027a4: ADD
000027a5: PUSH2 0x24df
000027a8: JUMP
000027a9: JUMPDEST
000027aa: SWAP3
000027ab: POP
000027ac: PUSH1 0x40
000027ae: DUP6
000027af: ADD
000027b0: CALLDATALOAD
000027b1: PUSH8 0xffffffffffffffff
000027ba: DUP2
000027bb: GT
000027bc: ISZERO
000027bd: PUSH2 0x27c5
000027c0: JUMPI
000027c1: PUSH1 0x00
000027c3: DUP1
000027c4: REVERT
000027c5: JUMPDEST
000027c6: PUSH2 0x27d1
000027c9: DUP8
000027ca: DUP3
000027cb: DUP9
000027cc: ADD
000027cd: PUSH2 0x23fe
000027d0: JUMP
000027d1: JUMPDEST
000027d2: SWAP6
000027d3: SWAP9
000027d4: SWAP5
000027d5: SWAP8
000027d6: POP
000027d7: SWAP6
000027d8: POP
000027d9: POP
000027da: POP
000027db: POP
000027dc: JUMP
000027dd: JUMPDEST
000027de: PUSH1 0x00
000027e0: PUSH1 0x20
000027e2: DUP3
000027e3: DUP5
000027e4: SUB
000027e5: SLT
000027e6: ISZERO
000027e7: PUSH2 0x27ef
000027ea: JUMPI
000027eb: PUSH1 0x00
000027ed: DUP1
000027ee: REVERT
000027ef: JUMPDEST
000027f0: DUP2
000027f1: MLOAD
000027f2: PUSH2 0x1cf3
000027f5: DUP2
000027f6: PUSH2 0x23d9
000027f9: JUMP
000027fa: JUMPDEST
000027fb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000281c: PUSH1 0x00
0000281e: MSTORE
0000281f: PUSH1 0x11
00002821: PUSH1 0x04
00002823: MSTORE
00002824: PUSH1 0x24
00002826: PUSH1 0x00
00002828: REVERT
00002829: JUMPDEST
0000282a: PUSH1 0x00
0000282c: DUP3
0000282d: DUP3
0000282e: LT
0000282f: ISZERO
00002830: PUSH2 0x283b
00002833: JUMPI
00002834: PUSH2 0x283b
00002837: PUSH2 0x27fa
0000283a: JUMP
0000283b: JUMPDEST
0000283c: POP
0000283d: SUB
0000283e: SWAP1
0000283f: JUMP
00002840: JUMPDEST
00002841: PUSH1 0x00
00002843: DUP5
00002844: MLOAD
00002845: PUSH2 0x2852
00002848: DUP2
00002849: DUP5
0000284a: PUSH1 0x20
0000284c: DUP10
0000284d: ADD
0000284e: PUSH2 0x2635
00002851: JUMP
00002852: JUMPDEST
00002853: DUP1
00002854: DUP4
00002855: ADD
00002856: SWAP1
00002857: POP
00002858: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000
00002879: DUP1
0000287a: DUP3
0000287b: MSTORE
0000287c: DUP6
0000287d: MLOAD
0000287e: PUSH2 0x288e
00002881: DUP2
00002882: PUSH1 0x01
00002884: DUP6
00002885: ADD
00002886: PUSH1 0x20
00002888: DUP11
00002889: ADD
0000288a: PUSH2 0x2635
0000288d: JUMP
0000288e: JUMPDEST
0000288f: PUSH1 0x01
00002891: SWAP3
00002892: ADD
00002893: SWAP2
00002894: DUP3
00002895: ADD
00002896: MSTORE
00002897: DUP4
00002898: MLOAD
00002899: PUSH2 0x28a9
0000289c: DUP2
0000289d: PUSH1 0x02
0000289f: DUP5
000028a0: ADD
000028a1: PUSH1 0x20
000028a3: DUP9
000028a4: ADD
000028a5: PUSH2 0x2635
000028a8: JUMP
000028a9: JUMPDEST
000028aa: ADD
000028ab: PUSH1 0x02
000028ad: ADD
000028ae: SWAP6
000028af: SWAP5
000028b0: POP
000028b1: POP
000028b2: POP
000028b3: POP
000028b4: POP
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH1 0x00
000028b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ce: DUP1
000028cf: DUP8
000028d0: AND
000028d1: DUP4
000028d2: MSTORE
000028d3: DUP1
000028d4: DUP7
000028d5: AND
000028d6: PUSH1 0x20
000028d8: DUP5
000028d9: ADD
000028da: MSTORE
000028db: POP
000028dc: DUP4
000028dd: PUSH1 0x40
000028df: DUP4
000028e0: ADD
000028e1: MSTORE
000028e2: PUSH1 0x80
000028e4: PUSH1 0x60
000028e6: DUP4
000028e7: ADD
000028e8: MSTORE
000028e9: PUSH2 0x28f5
000028ec: PUSH1 0x80
000028ee: DUP4
000028ef: ADD
000028f0: DUP5
000028f1: PUSH2 0x2661
000028f4: JUMP
000028f5: JUMPDEST
000028f6: SWAP7
000028f7: SWAP6
000028f8: POP
000028f9: POP
000028fa: POP
000028fb: POP
000028fc: POP
000028fd: POP
000028fe: JUMP
000028ff: JUMPDEST
00002900: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002915: DUP5
00002916: AND
00002917: DUP2
00002918: MSTORE
00002919: PUSH1 0x60
0000291b: PUSH1 0x20
0000291d: DUP3
0000291e: ADD
0000291f: MSTORE
00002920: PUSH1 0x00
00002922: PUSH2 0x292e
00002925: PUSH1 0x60
00002927: DUP4
00002928: ADD
00002929: DUP6
0000292a: PUSH2 0x2661
0000292d: JUMP
0000292e: JUMPDEST
0000292f: SWAP1
00002930: POP
00002931: PUSH4 0xffffffff
00002936: DUP4
00002937: AND
00002938: PUSH1 0x40
0000293a: DUP4
0000293b: ADD
0000293c: MSTORE
0000293d: SWAP5
0000293e: SWAP4
0000293f: POP
00002940: POP
00002941: POP
00002942: POP
00002943: JUMP
00002944: JUMPDEST
00002945: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000295a: DUP5
0000295b: AND
0000295c: DUP2
0000295d: MSTORE
0000295e: DUP3
0000295f: PUSH1 0x20
00002961: DUP3
00002962: ADD
00002963: MSTORE
00002964: PUSH1 0x60
00002966: PUSH1 0x40
00002968: DUP3
00002969: ADD
0000296a: MSTORE
0000296b: PUSH1 0x00
0000296d: PUSH2 0x2979
00002970: PUSH1 0x60
00002972: DUP4
00002973: ADD
00002974: DUP5
00002975: PUSH2 0x2661
00002978: JUMP
00002979: JUMPDEST
0000297a: SWAP6
0000297b: SWAP5
0000297c: POP
0000297d: POP
0000297e: POP
0000297f: POP
00002980: POP
00002981: JUMP
00002982: JUMPDEST
00002983: DUP3
00002984: DUP2
00002985: MSTORE
00002986: PUSH1 0x40
00002988: PUSH1 0x20
0000298a: DUP3
0000298b: ADD
0000298c: MSTORE
0000298d: PUSH1 0x00
0000298f: PUSH2 0x1c4d
00002992: PUSH1 0x40
00002994: DUP4
00002995: ADD
00002996: DUP5
00002997: PUSH2 0x2661
0000299a: JUMP
0000299b: JUMPDEST
0000299c: PUSH1 0x00
0000299e: DUP3
0000299f: NOT
000029a0: DUP3
000029a1: GT
000029a2: ISZERO
000029a3: PUSH2 0x29ae
000029a6: JUMPI
000029a7: PUSH2 0x29ae
000029aa: PUSH2 0x27fa
000029ad: JUMP
000029ae: JUMPDEST
000029af: POP
000029b0: ADD
000029b1: SWAP1
000029b2: JUMP
000029b3: JUMPDEST
000029b4: PUSH1 0x00
000029b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029cb: DUP1
000029cc: DUP10
000029cd: AND
000029ce: DUP4
000029cf: MSTORE
000029d0: DUP1
000029d1: DUP9
000029d2: AND
000029d3: PUSH1 0x20
000029d5: DUP5
000029d6: ADD
000029d7: MSTORE
000029d8: DUP1
000029d9: DUP8
000029da: AND
000029db: PUSH1 0x40
000029dd: DUP5
000029de: ADD
000029df: MSTORE
000029e0: DUP1
000029e1: DUP7
000029e2: AND
000029e3: PUSH1 0x60
000029e5: DUP5
000029e6: ADD
000029e7: MSTORE
000029e8: POP
000029e9: DUP4
000029ea: PUSH1 0x80
000029ec: DUP4
000029ed: ADD
000029ee: MSTORE
000029ef: PUSH1 0xc0
000029f1: PUSH1 0xa0
000029f3: DUP4
000029f4: ADD
000029f5: MSTORE
000029f6: PUSH2 0x2a02
000029f9: PUSH1 0xc0
000029fb: DUP4
000029fc: ADD
000029fd: DUP5
000029fe: PUSH2 0x2661
00002a01: JUMP
00002a02: JUMPDEST
00002a03: SWAP9
00002a04: SWAP8
00002a05: POP
00002a06: POP
00002a07: POP
00002a08: POP
00002a09: POP
00002a0a: POP
00002a0b: POP
00002a0c: POP
00002a0d: JUMP
00002a0e: JUMPDEST
00002a0f: PUSH1 0x00
00002a11: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002a32: DUP3
00002a33: SUB
00002a34: PUSH2 0x2a3f
00002a37: JUMPI
00002a38: PUSH2 0x2a3f
00002a3b: PUSH2 0x27fa
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: POP
00002a41: PUSH1 0x01
00002a43: ADD
00002a44: SWAP1
00002a45: JUMP
00002a46: JUMPDEST
00002a47: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002a68: PUSH1 0x00
00002a6a: MSTORE
00002a6b: PUSH1 0x12
00002a6d: PUSH1 0x04
00002a6f: MSTORE
00002a70: PUSH1 0x24
00002a72: PUSH1 0x00
00002a74: REVERT
00002a75: JUMPDEST
00002a76: PUSH1 0x00
00002a78: DUP3
00002a79: PUSH2 0x2a84
00002a7c: JUMPI
00002a7d: PUSH2 0x2a84
00002a80: PUSH2 0x2a46
00002a83: JUMP
00002a84: JUMPDEST
00002a85: POP
00002a86: DIV
00002a87: SWAP1
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002aab: PUSH1 0x00
00002aad: MSTORE
00002aae: PUSH1 0x41
00002ab0: PUSH1 0x04
00002ab2: MSTORE
00002ab3: PUSH1 0x24
00002ab5: PUSH1 0x00
00002ab7: REVERT
00002ab8: JUMPDEST
00002ab9: PUSH1 0x00
00002abb: DUP3
00002abc: PUSH2 0x2ac7
00002abf: JUMPI
00002ac0: PUSH2 0x2ac7
00002ac3: PUSH2 0x2a46
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: POP
00002ac9: MOD
00002aca: SWAP1
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002aee: PUSH1 0x00
00002af0: MSTORE
00002af1: PUSH1 0x32
00002af3: PUSH1 0x04
00002af5: MSTORE
00002af6: PUSH1 0x24
00002af8: PUSH1 0x00
00002afa: REVERT
00002afb: JUMPDEST
00002afc: PUSH1 0x00
00002afe: PUSH1 0x20
00002b00: DUP3
00002b01: DUP5
00002b02: SUB
00002b03: SLT
00002b04: ISZERO
00002b05: PUSH2 0x2b0d
00002b08: JUMPI
00002b09: PUSH1 0x00
00002b0b: DUP1
00002b0c: REVERT
00002b0d: JUMPDEST
00002b0e: DUP2
00002b0f: MLOAD
00002b10: DUP1
00002b11: ISZERO
00002b12: ISZERO
00002b13: DUP2
00002b14: EQ
00002b15: PUSH2 0x1cf3
00002b18: JUMPI
00002b19: PUSH1 0x00
00002b1b: DUP1
00002b1c: REVERT
00002b1d: JUMPDEST
00002b1e: PUSH1 0x00
00002b20: DUP3
00002b21: MLOAD
00002b22: PUSH2 0x2b2f
00002b25: DUP2
00002b26: DUP5
00002b27: PUSH1 0x20
00002b29: DUP8
00002b2a: ADD
00002b2b: PUSH2 0x2635
00002b2e: JUMP
00002b2f: JUMPDEST
00002b30: SWAP2
00002b31: SWAP1
00002b32: SWAP2
00002b33: ADD
00002b34: SWAP3
00002b35: SWAP2
00002b36: POP
00002b37: POP
00002b38: JUMP
00002b39: INVALID
00002b3a: LOG1
00002b3b: PUSH5 0x736f6c6343
00002b41: STOP
00002b42: ADDMOD
00002b43: UNKNOWN(0x0F)
00002b44: STOP
00002b45: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9
call_targets: 0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58"
    ],
    "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": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x838b2520",
            "selector": "0x838b2520",
            "calldata_variants": [
                "0x838b2520",
                "0x838b25200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87087623",
            "selector": "0x87087623",
            "calldata_variants": [
                "0x87087623",
                "0x870876230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f601f66",
            "selector": "0x8f601f66",
            "calldata_variants": [
                "0x8f601f66",
                "0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1945,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5187,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": [
        {
            "pc": 1165,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2414,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9
call_targets: 0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x5be2d18038d7fae4183ff09f2b5a6c8e8149a60ba906bdfd58315c6484abc7d9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x62b257a1b1fc81c4e6e5dc5b47f1e6184341cd58"
    ],
    "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": "0xa9f9e675",
            "selector": "0xa9f9e675",
            "calldata_variants": [
                "0xa9f9e675",
                "0xa9f9e6750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1a1a882",
            "selector": "0xb1a1a882",
            "calldata_variants": [
                "0xb1a1a882",
                "0xb1a1a8820000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe11013dd",
            "selector": "0xe11013dd",
            "calldata_variants": [
                "0xe11013dd",
                "0xe11013dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x927ede2d",
            "selector": "0x927ede2d",
            "calldata_variants": [
                "0x927ede2d",
                "0x927ede2d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x9a2ac6d5",
            "selector": "0x9a2ac6d5",
            "calldata_variants": [
                "0x9a2ac6d5",
                "0x9a2ac6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x838b2520",
            "selector": "0x838b2520",
            "calldata_variants": [
                "0x838b2520",
                "0x838b25200000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x87087623",
            "selector": "0x87087623",
            "calldata_variants": [
                "0x87087623",
                "0x870876230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8f601f66",
            "selector": "0x8f601f66",
            "calldata_variants": [
                "0x8f601f66",
                "0x8f601f660000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1945,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5187,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6087,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [
        {
            "pc": 1165,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2414,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 6
}
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": 10
}