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

Analysis Run

800d1a06-36c1-4158-8fb9-5c70f2e6e4cd

complete
Chain ID
1
Address
Block Number
Created
Sat, Dec 27, 2025 11:30 PM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Unprotected reinitializer allows ownership takeover after upgrade
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
30235 report.consolidate complete 1 / 1 3 months ago
73594 artifact.fetch complete 1 / 3 1 week ago
73595 tool.cast_disasm complete 1 / 3 1 week ago
73596 analysis.bundle complete 1 / 3 1 week ago
73597 capability.graph complete 1 / 3 1 week ago
73598 detector.run complete 1 / 3 1 week ago
73599 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
2
No findings?
no
Summary
Identified one high-risk upgradeability issue that allows ownership takeover after a version bump, plus a low-risk deployment footgun around public initialization.
View stderr
[codex:1224104] OpenAI Codex v0.77.0 (research preview)
[codex:1224104] --------
[codex:1224104] workdir: /tmp/codex-multi-z03yruog
[codex:1224104] model: gpt-5.2-codex
[codex:1224104] provider: openai
[codex:1224104] approval: never
[codex:1224104] sandbox: read-only
[codex:1224104] reasoning effort: xhigh
[codex:1224104] reasoning summaries: auto
[codex:1224104] session id: 019b6223-a3c0-7732-bb7d-f77755e09967
[codex:1224104] --------
[codex:1224104] user
[codex:1224104] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1224104] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1224104] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1224104] 
[codex:1224104] Scope rules:
[codex:1224104] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1224104] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1224104] 
[codex:1224104] Output MUST be valid JSON matching the provided schema.
[codex:1224104] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1224104] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1224104] 
[codex:1224104] Output constraints (IMPORTANT):
[codex:1224104] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1224104] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1224104] mcp startup: no servers
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Preparing to audit audit bundle**
[codex:1224104] exec
[codex:1224104] /bin/bash -lc ls in /tmp/codex-multi-z03yruog succeeded in 5ms:
[codex:1224104] AUDIT_BUNDLE.txt
[codex:1224104] codex-output-schema.json
[codex:1224104] contracts
[codex:1224104] exec
[codex:1224104] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-z03yruog succeeded in 5ms:
[codex:1224104] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1224104] 
[codex:1224104] ================================================================================
[codex:1224104] FILE: contracts/node_modules/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:1224104] ================================================================================
[codex:1224104] // SPDX-License-Identifier: MIT
[codex:1224104] // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)
[codex:1224104] 
[codex:1224104] pragma solidity ^0.8.0;
[codex:1224104] 
[codex:1224104] /**
[codex:1224104]  * @dev Interface of the ERC20 standard as defined in the EIP.
[codex:1224104]  */
[codex:1224104] interface IERC20 {
[codex:1224104]     /**
[codex:1224104]      * @dev Emitted when `value` tokens are moved from one account (`from`) to
[codex:1224104]      * another (`to`).
[codex:1224104]      *
[codex:1224104]      * Note that `value` may be zero.
[codex:1224104]      */
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Identifying first-party contracts**
[codex:1224104] exec
[codex:1224104] /bin/bash -lc 'rg -n "FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-z03yruog succeeded in 7ms:
[codex:1224104] 2791:FILE: contracts/src/L1USDCBridge.sol
[codex:1224104] 3234:FILE: contracts/src/interfaces/IL1ERC20Bridge.sol
[codex:1224104] 3254:FILE: contracts/src/interfaces/IL1SharedBridge.sol
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Preparing to review L1USDCBridge.sol**
[codex:1224104] exec
[codex:1224104] /bin/bash -lc 'rg -n "FILE: contracts/src/L1USDCBridge.sol" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-z03yruog succeeded in 9ms:
[codex:1224104] 2791:FILE: contracts/src/L1USDCBridge.sol
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Extracting file content lines**
[codex:1224104] exec
[codex:1224104] /bin/bash -lc "sed -n '2791,3233p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z03yruog succeeded in 5ms:
[codex:1224104] FILE: contracts/src/L1USDCBridge.sol
[codex:1224104] ================================================================================
[codex:1224104] // SPDX-License-Identifier: MIT
[codex:1224104] 
[codex:1224104] pragma solidity 0.8.24;
[codex:1224104] 
[codex:1224104] import {Ownable2StepUpgradeable} from "@openzeppelin/contracts-upgradeable/access/Ownable2StepUpgradeable.sol";
[codex:1224104] import {PausableUpgradeable} from "@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol";
[codex:1224104] 
[codex:1224104] import {IERC20Metadata} from "@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol";
[codex:1224104] import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1224104] import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1224104] 
[codex:1224104] import {IL1ERC20Bridge} from "@era-contracts/l1-contracts/contracts/bridge/interfaces/IL1ERC20Bridge.sol";
[codex:1224104] import {IL1SharedBridge} from "./interfaces/IL1SharedBridge.sol";
[codex:1224104] import {IL2Bridge} from "@era-contracts/l1-contracts/contracts/bridge/interfaces/IL2Bridge.sol";
[codex:1224104] 
[codex:1224104] import {IMailbox} from "@era-contracts/l1-contracts/contracts/state-transition/chain-interfaces/IMailbox.sol";
[codex:1224104] import {L2Message, TxStatus} from "@era-contracts/l1-contracts/contracts/common/Messaging.sol";
[codex:1224104] import {UnsafeBytes} from "@era-contracts/l1-contracts/contracts/common/libraries/UnsafeBytes.sol";
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Identifying critical access control risks in L1USDCBridge**
[codex:1224104] 
[codex:1224104] I’m digging into the L1USDCBridge contract to hunt for vulnerabilities like upgrade risks, reentrancy, and access controls. The biggest red flag is that the `reinitializeV2` function lacks access restrictions, so anyone can claim ownership if called prematurely, a serious issue. I’m carefully tracing initialization, proxy patterns, and function guards to pinpoint potential exploits and assess severity. This is turning into a deep dive to provide clear, coded evidence highlighting access control gaps and other subtle risks.
[codex:1224104] exec
[codex:1224104] /bin/bash -lc "nl -ba contracts/src/L1USDCBridge.sol | sed -n '40,140p'" in /tmp/codex-multi-z03yruog succeeded in 6ms:
[codex:1224104]     40	    /// @dev Bridgehub smart contract that is used to operate with L2 via asynchronous L2 <-> L1 communication.
[codex:1224104]     41	    IBridgehub public immutable override BRIDGE_HUB;
[codex:1224104]     42	
[codex:1224104]     43	    /// @dev A mapping chainId => bridgeProxy. Used to store the bridge proxy's address, and to see if it has been deployed yet.
[codex:1224104]     44	    mapping(uint256 chainId => address l2Bridge) public override l2BridgeAddress;
[codex:1224104]     45	
[codex:1224104]     46	    /// @dev A mapping chainId => L2 deposit transaction hash => keccak256(abi.encode(account, tokenAddress, amount))
[codex:1224104]     47	    /// @dev Tracks deposit transactions from L2 to enable users to claim their funds if a deposit fails.
[codex:1224104]     48	    mapping(uint256 chainId => mapping(bytes32 l2DepositTxHash => bytes32 depositDataHash)) public override
[codex:1224104]     49	        depositHappened;
[codex:1224104]     50	
[codex:1224104]     51	    /// @dev Tracks the processing status of L2 to L1 messages, indicating whether a message has already been finalized.
[codex:1224104]     52	    mapping(
[codex:1224104]     53	        uint256 chainId => mapping(uint256 l2BatchNumber => mapping(uint256 l2ToL1MessageNumber => bool isFinalized))
[codex:1224104]     54	    ) public isWithdrawalFinalized;
[codex:1224104]     55	
[codex:1224104]     56	    /// @dev Indicates whether the hyperbridging is enabled for a given chain.
[codex:1224104]     57	    // slither-disable-next-line uninitialized-state
[codex:1224104]     58	    mapping(uint256 chainId => bool enabled) internal hyperbridgingEnabled;
[codex:1224104]     59	
[codex:1224104] 
[codex:1224104] 
[codex:1224104] thinking
[codex:1224104] **Analyzing initialization and upgrade vulnerabilities**
[codex:1224104] 
[codex:1224104] I’m carefully assessing initialization functions like `initialize` and `reinitializeV2` for access control issues, especially their potential for ownership takeover if left unprotected. I’m weighing the risk of uninitialized proxies, reentrancy concerns around token transfers, and whether withdrawal logic improperly allows tokens other than USDC. The main critical finding is that `reinitializeV2` lacks protection, which could enable owner seizure, and `initialize` remains a known lower-risk footgun if proxies aren’t correctly initialized.
[codex:1224104] thinking
[codex:1224104] **Preparing JSON findings report**
[codex:1224104] 
[codex:1224104] I'm organizing the main findings into a structured JSON format as requested, including a high-severity upgradeability issue with `reinitializeV2` lacking access control, and a low-severity note on the publicly callable `initialize` function if proxies are improperly initialized. I’m ensuring evidence snippets, line references, and clear exploit scenarios are included to provide a thorough yet concise audit summary.
[codex:1224104] codex
[codex:1224104] {"no_findings":false,"summary":"Identified one high-risk upgradeability issue that allows ownership takeover after a version bump, plus a low-risk deployment footgun around public initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Unprotected reinitializer allows ownership takeover after upgrade","exploit_scenario":"After a new implementation containing `reinitializeV2` is upgraded, any account can call `reinitializeV2(attacker)` before governance/owner does. This sets the bridge owner to the attacker, who can pause the bridge, change `l2BridgeAddress` mappings, and potentially facilitate fraudulent withdrawals if they can generate valid L2 proofs (or simply disrupt operations).","recommendation":"Restrict `reinitializeV2` with access control (e.g., `onlyOwner` or `onlyProxy` + `onlyOwner`) and execute it via `upgradeToAndCall` so the upgrade and reinitialization are atomic.","evidence":"`reinitializeV2` is `external` and only guarded by `reinitializer(2)`, yet it directly calls `_transferOwnership(_newOwner)` with no access check.","locations":["contracts/src/L1USDCBridge.sol:96"]},{"severity":"low","category":"upgradeability","title":"Public initializer can be abused if proxy is left uninitialized","exploit_scenario":"If a proxy is deployed without calling `initialize` in the same transaction, any account can later call `initialize(attacker)` to become owner. This is a common but exploitable deployment pitfall.","recommendation":"Ensure proxies are initialized atomically on deployment (e.g., `TransparentUpgradeableProxy` constructor or `upgradeToAndCall`). Optionally add a deployer-only guard or factory pattern to prevent accidental uninitialized proxies.","evidence":"`initialize` is `external` and sets ownership, but has no access control beyond the one-time `initializer` modifier.","locations":["contracts/src/L1USDCBridge.sol:104"]}]}
[codex:1224104] tokens used
[codex:1224104] 34,843
[codex:1224104] {"no_findings":false,"summary":"Identified one high-risk upgradeability issue that allows ownership takeover after a version bump, plus a low-risk deployment footgun around public initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Unprotected reinitializer allows ownership takeover after upgrade","exploit_scenario":"After a new implementation containing `reinitializeV2` is upgraded, any account can call `reinitializeV2(attacker)` before governance/owner does. This sets the bridge owner to the attacker, who can pause the bridge, change `l2BridgeAddress` mappings, and potentially facilitate fraudulent withdrawals if they can generate valid L2 proofs (or simply disrupt operations).","recommendation":"Restrict `reinitializeV2` with access control (e.g., `onlyOwner` or `onlyProxy` + `onlyOwner`) and execute it via `upgradeToAndCall` so the upgrade and reinitialization are atomic.","evidence":"`reinitializeV2` is `external` and only guarded by `reinitializer(2)`, yet it directly calls `_transferOwnership(_newOwner)` with no access check.","locations":["contracts/src/L1USDCBridge.sol:96"]},{"severity":"low","category":"upgradeability","title":"Public initializer can be abused if proxy is left uninitialized","exploit_scenario":"If a proxy is deployed without calling `initialize` in the same transaction, any account can later call `initialize(attacker)` to become owner. This is a common but exploitable deployment pitfall.","recommendation":"Ensure proxies are initialized atomically on deployment (e.g., `TransparentUpgradeableProxy` constructor or `upgradeToAndCall`). Optionally add a deployer-only guard or factory pattern to prevent accidental uninitialized proxies.","evidence":"`initialize` is `external` and sets ownership, but has no access control beyond the one-time `initializer` modifier.","locations":["contracts/src/L1USDCBridge.sol:104"]}]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-27T23:30:32.261882+00:00",
        "returncode": 0
    },
    "summary": "Identified one high-risk upgradeability issue that allows ownership takeover after a version bump, plus a low-risk deployment footgun around public initialization.",
    "raw_final": {
        "summary": "Identified one high-risk upgradeability issue that allows ownership takeover after a version bump, plus a low-risk deployment footgun around public initialization.",
        "findings": [
            {
                "title": "Unprotected reinitializer allows ownership takeover after upgrade",
                "category": "upgradeability",
                "evidence": "`reinitializeV2` is `external` and only guarded by `reinitializer(2)`, yet it directly calls `_transferOwnership(_newOwner)` with no access check.",
                "severity": "high",
                "locations": [
                    "contracts/src/L1USDCBridge.sol:96"
                ],
                "recommendation": "Restrict `reinitializeV2` with access control (e.g., `onlyOwner` or `onlyProxy` + `onlyOwner`) and execute it via `upgradeToAndCall` so the upgrade and reinitialization are atomic.",
                "exploit_scenario": "After a new implementation containing `reinitializeV2` is upgraded, any account can call `reinitializeV2(attacker)` before governance/owner does. This sets the bridge owner to the attacker, who can pause the bridge, change `l2BridgeAddress` mappings, and potentially facilitate fraudulent withdrawals if they can generate valid L2 proofs (or simply disrupt operations)."
            },
            {
                "title": "Public initializer can be abused if proxy is left uninitialized",
                "category": "upgradeability",
                "evidence": "`initialize` is `external` and sets ownership, but has no access control beyond the one-time `initializer` modifier.",
                "severity": "low",
                "locations": [
                    "contracts/src/L1USDCBridge.sol:104"
                ],
                "recommendation": "Ensure proxies are initialized atomically on deployment (e.g., `TransparentUpgradeableProxy` constructor or `upgradeToAndCall`). Optionally add a deployer-only guard or factory pattern to prevent accidental uninitialized proxies.",
                "exploit_scenario": "If a proxy is deployed without calling `initialize` in the same transaction, any account can later call `initialize(attacker)` to become owner. This is a common but exploitable deployment pitfall."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
7
EXT*/BALANCE
2
Total opcodes
6464
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x017b
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x8eb7db57
00000018: GT
00000019: PUSH2 0x00cd
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xc4d66de8
00000023: GT
00000024: PUSH2 0x0087
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xe30c3978
0000002e: GT
0000002f: PUSH2 0x0062
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xe30c3978
00000039: EQ
0000003a: PUSH2 0x04ad
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf280efbe
00000044: EQ
00000045: PUSH2 0x04ca
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2fde38b
0000004f: EQ
00000050: PUSH2 0x04e9
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf851a440
0000005a: EQ
0000005b: PUSH2 0x0508
0000005e: JUMPI
0000005f: PUSH0
00000060: DUP1
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0xc4d66de8
00000069: EQ
0000006a: PUSH2 0x044f
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xc87325f1
00000074: EQ
00000075: PUSH2 0x046e
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xca408c23
0000007f: EQ
00000080: PUSH2 0x048d
00000083: JUMPI
00000084: PUSH0
00000085: DUP1
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0x8eb7db57
0000008e: EQ
0000008f: PUSH2 0x0339
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x8f31f052
00000099: EQ
0000009a: PUSH2 0x0358
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x9cd45184
000000a4: EQ
000000a5: PUSH2 0x0397
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x9fa8826b
000000af: EQ
000000b0: PUSH2 0x03db
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xbe6b99e3
000000ba: EQ
000000bb: PUSH2 0x0411
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xc0991525
000000c5: EQ
000000c6: PUSH2 0x0430
000000c9: JUMPI
000000ca: PUSH0
000000cb: DUP1
000000cc: REVERT
000000cd: JUMPDEST
000000ce: DUP1
000000cf: PUSH4 0x5c975abb
000000d4: GT
000000d5: PUSH2 0x0138
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x715018a6
000000df: GT
000000e0: PUSH2 0x0113
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x715018a6
000000ea: EQ
000000eb: PUSH2 0x02e0
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x79ba5097
000000f5: EQ
000000f6: PUSH2 0x02f4
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x8456cb59
00000100: EQ
00000101: PUSH2 0x0308
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x8da5cb5b
0000010b: EQ
0000010c: PUSH2 0x031c
0000010f: JUMPI
00000110: PUSH0
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x5c975abb
0000011a: EQ
0000011b: PUSH2 0x026b
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x5d4edca7
00000125: EQ
00000126: PUSH2 0x028e
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x6cd8c355
00000130: EQ
00000131: PUSH2 0x02c1
00000134: JUMPI
00000135: PUSH0
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x07ee9355
0000013f: EQ
00000140: PUSH2 0x017f
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x0e18b681
0000014a: EQ
0000014b: PUSH2 0x01d0
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x26782247
00000155: EQ
00000156: PUSH2 0x01e6
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x3f4ba83a
00000160: EQ
00000161: PUSH2 0x0205
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x4dd18bf5
0000016b: EQ
0000016c: PUSH2 0x0219
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x5615ef5d
00000176: EQ
00000177: PUSH2 0x0238
0000017a: JUMPI
0000017b: JUMPDEST
0000017c: PUSH0
0000017d: DUP1
0000017e: REVERT
0000017f: JUMPDEST
00000180: CALLVALUE
00000181: DUP1
00000182: ISZERO
00000183: PUSH2 0x018a
00000186: JUMPI
00000187: PUSH0
00000188: DUP1
00000189: REVERT
0000018a: JUMPDEST
0000018b: POP
0000018c: PUSH2 0x01b3
0000018f: PUSH2 0x0199
00000192: CALLDATASIZE
00000193: PUSH1 0x04
00000195: PUSH2 0x221e
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH1 0xc9
0000019c: PUSH1 0x20
0000019e: MSTORE
0000019f: PUSH0
000001a0: SWAP1
000001a1: DUP2
000001a2: MSTORE
000001a3: PUSH1 0x40
000001a5: SWAP1
000001a6: KECCAK256
000001a7: SLOAD
000001a8: PUSH1 0x01
000001aa: PUSH1 0x01
000001ac: PUSH1 0xa0
000001ae: SHL
000001af: SUB
000001b0: AND
000001b1: DUP2
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: MLOAD
000001b7: PUSH1 0x01
000001b9: PUSH1 0x01
000001bb: PUSH1 0xa0
000001bd: SHL
000001be: SUB
000001bf: SWAP1
000001c0: SWAP2
000001c1: AND
000001c2: DUP2
000001c3: MSTORE
000001c4: PUSH1 0x20
000001c6: ADD
000001c7: JUMPDEST
000001c8: PUSH1 0x40
000001ca: MLOAD
000001cb: DUP1
000001cc: SWAP2
000001cd: SUB
000001ce: SWAP1
000001cf: RETURN
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01db
000001d7: JUMPI
000001d8: PUSH0
000001d9: DUP1
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x01e4
000001e0: PUSH2 0x0527
000001e3: JUMP
000001e4: JUMPDEST
000001e5: STOP
000001e6: JUMPDEST
000001e7: CALLVALUE
000001e8: DUP1
000001e9: ISZERO
000001ea: PUSH2 0x01f1
000001ed: JUMPI
000001ee: PUSH0
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: POP
000001f3: PUSH1 0xcf
000001f5: SLOAD
000001f6: PUSH2 0x01b3
000001f9: SWAP1
000001fa: PUSH1 0x01
000001fc: PUSH1 0x01
000001fe: PUSH1 0xa0
00000200: SHL
00000201: SUB
00000202: AND
00000203: DUP2
00000204: JUMP
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0210
0000020c: JUMPI
0000020d: PUSH0
0000020e: DUP1
0000020f: REVERT
00000210: JUMPDEST
00000211: POP
00000212: PUSH2 0x01e4
00000215: PUSH2 0x0622
00000218: JUMP
00000219: JUMPDEST
0000021a: CALLVALUE
0000021b: DUP1
0000021c: ISZERO
0000021d: PUSH2 0x0224
00000220: JUMPI
00000221: PUSH0
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: POP
00000226: PUSH2 0x01e4
00000229: PUSH2 0x0233
0000022c: CALLDATASIZE
0000022d: PUSH1 0x04
0000022f: PUSH2 0x2249
00000232: JUMP
00000233: JUMPDEST
00000234: PUSH2 0x0634
00000237: JUMP
00000238: JUMPDEST
00000239: CALLVALUE
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0243
0000023f: JUMPI
00000240: PUSH0
00000241: DUP1
00000242: REVERT
00000243: JUMPDEST
00000244: POP
00000245: PUSH2 0x01b3
00000248: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000269: DUP2
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: DUP1
0000026e: ISZERO
0000026f: PUSH2 0x0276
00000272: JUMPI
00000273: PUSH0
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: PUSH1 0x97
0000027a: SLOAD
0000027b: PUSH1 0xff
0000027d: AND
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: SWAP1
00000283: ISZERO
00000284: ISZERO
00000285: DUP2
00000286: MSTORE
00000287: PUSH1 0x20
00000289: ADD
0000028a: PUSH2 0x01c7
0000028d: JUMP
0000028e: JUMPDEST
0000028f: CALLVALUE
00000290: DUP1
00000291: ISZERO
00000292: PUSH2 0x0299
00000295: JUMPI
00000296: PUSH0
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x01b3
0000029e: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
000002bf: DUP2
000002c0: JUMP
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cc
000002c8: JUMPI
000002c9: PUSH0
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: POP
000002ce: PUSH2 0x01e4
000002d1: PUSH2 0x02db
000002d4: CALLDATASIZE
000002d5: PUSH1 0x04
000002d7: PUSH2 0x226b
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH2 0x06f4
000002df: JUMP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: DUP1
000002e3: ISZERO
000002e4: PUSH2 0x02eb
000002e7: JUMPI
000002e8: PUSH0
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x01e4
000002f0: PUSH2 0x078c
000002f3: JUMP
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x02ff
000002fb: JUMPI
000002fc: PUSH0
000002fd: DUP1
000002fe: REVERT
000002ff: JUMPDEST
00000300: POP
00000301: PUSH2 0x01e4
00000304: PUSH2 0x079d
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0313
0000030f: JUMPI
00000310: PUSH0
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x01e4
00000318: PUSH2 0x0817
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0327
00000323: JUMPI
00000324: PUSH0
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH1 0x33
0000032b: SLOAD
0000032c: PUSH1 0x01
0000032e: PUSH1 0x01
00000330: PUSH1 0xa0
00000332: SHL
00000333: SUB
00000334: AND
00000335: PUSH2 0x01b3
00000338: JUMP
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0344
00000340: JUMPI
00000341: PUSH0
00000342: DUP1
00000343: REVERT
00000344: JUMPDEST
00000345: POP
00000346: PUSH2 0x01e4
00000349: PUSH2 0x0353
0000034c: CALLDATASIZE
0000034d: PUSH1 0x04
0000034f: PUSH2 0x2299
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH2 0x0827
00000357: JUMP
00000358: JUMPDEST
00000359: CALLVALUE
0000035a: DUP1
0000035b: ISZERO
0000035c: PUSH2 0x0363
0000035f: JUMPI
00000360: PUSH0
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: POP
00000365: PUSH2 0x027e
00000368: PUSH2 0x0372
0000036b: CALLDATASIZE
0000036c: PUSH1 0x04
0000036e: PUSH2 0x2299
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH1 0xcb
00000375: PUSH1 0x20
00000377: SWAP1
00000378: DUP2
00000379: MSTORE
0000037a: PUSH0
0000037b: SWAP4
0000037c: DUP5
0000037d: MSTORE
0000037e: PUSH1 0x40
00000380: DUP1
00000381: DUP6
00000382: KECCAK256
00000383: DUP3
00000384: MSTORE
00000385: SWAP3
00000386: DUP5
00000387: MSTORE
00000388: DUP3
00000389: DUP5
0000038a: KECCAK256
0000038b: SWAP1
0000038c: MSTORE
0000038d: DUP3
0000038e: MSTORE
0000038f: SWAP1
00000390: KECCAK256
00000391: SLOAD
00000392: PUSH1 0xff
00000394: AND
00000395: DUP2
00000396: JUMP
00000397: JUMPDEST
00000398: CALLVALUE
00000399: DUP1
0000039a: ISZERO
0000039b: PUSH2 0x03a2
0000039e: JUMPI
0000039f: PUSH0
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x03cd
000003a7: PUSH2 0x03b1
000003aa: CALLDATASIZE
000003ab: PUSH1 0x04
000003ad: PUSH2 0x226b
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH1 0xcd
000003b4: PUSH1 0x20
000003b6: SWAP1
000003b7: DUP2
000003b8: MSTORE
000003b9: PUSH0
000003ba: SWAP3
000003bb: DUP4
000003bc: MSTORE
000003bd: PUSH1 0x40
000003bf: DUP1
000003c0: DUP5
000003c1: KECCAK256
000003c2: SWAP1
000003c3: SWAP2
000003c4: MSTORE
000003c5: SWAP1
000003c6: DUP3
000003c7: MSTORE
000003c8: SWAP1
000003c9: KECCAK256
000003ca: SLOAD
000003cb: DUP2
000003cc: JUMP
000003cd: JUMPDEST
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: SWAP1
000003d2: DUP2
000003d3: MSTORE
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: PUSH2 0x01c7
000003da: JUMP
000003db: JUMPDEST
000003dc: CALLVALUE
000003dd: DUP1
000003de: ISZERO
000003df: PUSH2 0x03e6
000003e2: JUMPI
000003e3: PUSH0
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: POP
000003e8: PUSH2 0x03cd
000003eb: PUSH2 0x03f5
000003ee: CALLDATASIZE
000003ef: PUSH1 0x04
000003f1: PUSH2 0x22c2
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0xca
000003f8: PUSH1 0x20
000003fa: SWAP1
000003fb: DUP2
000003fc: MSTORE
000003fd: PUSH0
000003fe: SWAP3
000003ff: DUP4
00000400: MSTORE
00000401: PUSH1 0x40
00000403: DUP1
00000404: DUP5
00000405: KECCAK256
00000406: SWAP1
00000407: SWAP2
00000408: MSTORE
00000409: SWAP1
0000040a: DUP3
0000040b: MSTORE
0000040c: SWAP1
0000040d: KECCAK256
0000040e: SLOAD
0000040f: DUP2
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041c
00000418: JUMPI
00000419: PUSH0
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: POP
0000041e: PUSH2 0x01e4
00000421: PUSH2 0x042b
00000424: CALLDATASIZE
00000425: PUSH1 0x04
00000427: PUSH2 0x2249
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH2 0x093c
0000042f: JUMP
00000430: JUMPDEST
00000431: CALLVALUE
00000432: DUP1
00000433: ISZERO
00000434: PUSH2 0x043b
00000437: JUMPI
00000438: PUSH0
00000439: DUP1
0000043a: REVERT
0000043b: JUMPDEST
0000043c: POP
0000043d: PUSH2 0x01e4
00000440: PUSH2 0x044a
00000443: CALLDATASIZE
00000444: PUSH1 0x04
00000446: PUSH2 0x2340
00000449: JUMP
0000044a: JUMPDEST
0000044b: PUSH2 0x0a22
0000044e: JUMP
0000044f: JUMPDEST
00000450: CALLVALUE
00000451: DUP1
00000452: ISZERO
00000453: PUSH2 0x045a
00000456: JUMPI
00000457: PUSH0
00000458: DUP1
00000459: REVERT
0000045a: JUMPDEST
0000045b: POP
0000045c: PUSH2 0x01e4
0000045f: PUSH2 0x0469
00000462: CALLDATASIZE
00000463: PUSH1 0x04
00000465: PUSH2 0x2249
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x0a40
0000046d: JUMP
0000046e: JUMPDEST
0000046f: CALLVALUE
00000470: DUP1
00000471: ISZERO
00000472: PUSH2 0x0479
00000475: JUMPI
00000476: PUSH0
00000477: DUP1
00000478: REVERT
00000479: JUMPDEST
0000047a: POP
0000047b: PUSH2 0x01e4
0000047e: PUSH2 0x0488
00000481: CALLDATASIZE
00000482: PUSH1 0x04
00000484: PUSH2 0x2425
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH2 0x0b53
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH2 0x04a0
00000491: PUSH2 0x049b
00000494: CALLDATASIZE
00000495: PUSH1 0x04
00000497: PUSH2 0x24bb
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH2 0x0b70
0000049f: JUMP
000004a0: JUMPDEST
000004a1: PUSH1 0x40
000004a3: MLOAD
000004a4: PUSH2 0x01c7
000004a7: SWAP2
000004a8: SWAP1
000004a9: PUSH2 0x256d
000004ac: JUMP
000004ad: JUMPDEST
000004ae: CALLVALUE
000004af: DUP1
000004b0: ISZERO
000004b1: PUSH2 0x04b8
000004b4: JUMPI
000004b5: PUSH0
000004b6: DUP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: POP
000004ba: PUSH1 0x65
000004bc: SLOAD
000004bd: PUSH1 0x01
000004bf: PUSH1 0x01
000004c1: PUSH1 0xa0
000004c3: SHL
000004c4: SUB
000004c5: AND
000004c6: PUSH2 0x01b3
000004c9: JUMP
000004ca: JUMPDEST
000004cb: CALLVALUE
000004cc: DUP1
000004cd: ISZERO
000004ce: PUSH2 0x04d5
000004d1: JUMPI
000004d2: PUSH0
000004d3: DUP1
000004d4: REVERT
000004d5: JUMPDEST
000004d6: POP
000004d7: PUSH2 0x01e4
000004da: PUSH2 0x04e4
000004dd: CALLDATASIZE
000004de: PUSH1 0x04
000004e0: PUSH2 0x226b
000004e3: JUMP
000004e4: JUMPDEST
000004e5: PUSH2 0x1133
000004e8: JUMP
000004e9: JUMPDEST
000004ea: CALLVALUE
000004eb: DUP1
000004ec: ISZERO
000004ed: PUSH2 0x04f4
000004f0: JUMPI
000004f1: PUSH0
000004f2: DUP1
000004f3: REVERT
000004f4: JUMPDEST
000004f5: POP
000004f6: PUSH2 0x01e4
000004f9: PUSH2 0x0503
000004fc: CALLDATASIZE
000004fd: PUSH1 0x04
000004ff: PUSH2 0x2249
00000502: JUMP
00000503: JUMPDEST
00000504: PUSH2 0x1254
00000507: JUMP
00000508: JUMPDEST
00000509: CALLVALUE
0000050a: DUP1
0000050b: ISZERO
0000050c: PUSH2 0x0513
0000050f: JUMPI
00000510: PUSH0
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: POP
00000515: PUSH1 0xce
00000517: SLOAD
00000518: PUSH2 0x01b3
0000051b: SWAP1
0000051c: PUSH1 0x01
0000051e: PUSH1 0x01
00000520: PUSH1 0xa0
00000522: SHL
00000523: SUB
00000524: AND
00000525: DUP2
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0xcf
0000052a: SLOAD
0000052b: PUSH1 0x01
0000052d: PUSH1 0x01
0000052f: PUSH1 0xa0
00000531: SHL
00000532: SUB
00000533: AND
00000534: CALLER
00000535: DUP2
00000536: EQ
00000537: PUSH2 0x0587
0000053a: JUMPI
0000053b: PUSH1 0x40
0000053d: MLOAD
0000053e: PUSH3 0x461bcd
00000542: PUSH1 0xe5
00000544: SHL
00000545: DUP2
00000546: MSTORE
00000547: PUSH1 0x20
00000549: PUSH1 0x04
0000054b: DUP3
0000054c: ADD
0000054d: MSTORE
0000054e: PUSH1 0x1a
00000550: PUSH1 0x24
00000552: DUP3
00000553: ADD
00000554: MSTORE
00000555: PUSH32 0x555344432d536842206e6f742070656e64696e672061646d696e000000000000
00000576: PUSH1 0x44
00000578: DUP3
00000579: ADD
0000057a: MSTORE
0000057b: PUSH1 0x64
0000057d: ADD
0000057e: JUMPDEST
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: DUP1
00000583: SWAP2
00000584: SUB
00000585: SWAP1
00000586: REVERT
00000587: JUMPDEST
00000588: PUSH1 0xce
0000058a: DUP1
0000058b: SLOAD
0000058c: PUSH1 0x01
0000058e: PUSH1 0x01
00000590: PUSH1 0xa0
00000592: SHL
00000593: SUB
00000594: DUP4
00000595: DUP2
00000596: AND
00000597: PUSH1 0x01
00000599: PUSH1 0x01
0000059b: PUSH1 0xa0
0000059d: SHL
0000059e: SUB
0000059f: NOT
000005a0: DUP1
000005a1: DUP5
000005a2: AND
000005a3: DUP3
000005a4: OR
000005a5: SWAP1
000005a6: SWAP5
000005a7: SSTORE
000005a8: PUSH1 0xcf
000005aa: DUP1
000005ab: SLOAD
000005ac: SWAP1
000005ad: SWAP5
000005ae: AND
000005af: SWAP1
000005b0: SWAP4
000005b1: SSTORE
000005b2: PUSH1 0x40
000005b4: MLOAD
000005b5: SWAP2
000005b6: AND
000005b7: SWAP2
000005b8: PUSH0
000005b9: SWAP2
000005ba: PUSH32 0xca4f2f25d0898edd99413412fb94012f9e54ec8142f9b093e7720646a95b16a9
000005db: SWAP1
000005dc: DUP4
000005dd: SWAP1
000005de: LOG3
000005df: DUP2
000005e0: PUSH1 0x01
000005e2: PUSH1 0x01
000005e4: PUSH1 0xa0
000005e6: SHL
000005e7: SUB
000005e8: AND
000005e9: DUP2
000005ea: PUSH1 0x01
000005ec: PUSH1 0x01
000005ee: PUSH1 0xa0
000005f0: SHL
000005f1: SUB
000005f2: AND
000005f3: PUSH32 0xf9ffabca9c8276e99321725bcb43fb076a6c66a54b7f21c4e8146d8519b417dc
00000614: PUSH1 0x40
00000616: MLOAD
00000617: PUSH1 0x40
00000619: MLOAD
0000061a: DUP1
0000061b: SWAP2
0000061c: SUB
0000061d: SWAP1
0000061e: LOG3
0000061f: POP
00000620: POP
00000621: JUMP
00000622: JUMPDEST
00000623: PUSH2 0x062a
00000626: PUSH2 0x12c5
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH2 0x0632
0000062e: PUSH2 0x131f
00000631: JUMP
00000632: JUMPDEST
00000633: JUMP
00000634: JUMPDEST
00000635: PUSH1 0x33
00000637: SLOAD
00000638: PUSH1 0x01
0000063a: PUSH1 0x01
0000063c: PUSH1 0xa0
0000063e: SHL
0000063f: SUB
00000640: AND
00000641: CALLER
00000642: EQ
00000643: DUP1
00000644: PUSH2 0x0657
00000647: JUMPI
00000648: POP
00000649: PUSH1 0xce
0000064b: SLOAD
0000064c: PUSH1 0x01
0000064e: PUSH1 0x01
00000650: PUSH1 0xa0
00000652: SHL
00000653: SUB
00000654: AND
00000655: CALLER
00000656: EQ
00000657: JUMPDEST
00000658: PUSH2 0x06a3
0000065b: JUMPI
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: PUSH3 0x461bcd
00000663: PUSH1 0xe5
00000665: SHL
00000666: DUP2
00000667: MSTORE
00000668: PUSH1 0x20
0000066a: PUSH1 0x04
0000066c: DUP3
0000066d: ADD
0000066e: MSTORE
0000066f: PUSH1 0x1b
00000671: PUSH1 0x24
00000673: DUP3
00000674: ADD
00000675: MSTORE
00000676: PUSH32 0x555344432d536842206e6f74206f776e6572206f722061646d696e0000000000
00000697: PUSH1 0x44
00000699: DUP3
0000069a: ADD
0000069b: MSTORE
0000069c: PUSH1 0x64
0000069e: ADD
0000069f: PUSH2 0x057e
000006a2: JUMP
000006a3: JUMPDEST
000006a4: PUSH1 0xcf
000006a6: DUP1
000006a7: SLOAD
000006a8: PUSH1 0x01
000006aa: PUSH1 0x01
000006ac: PUSH1 0xa0
000006ae: SHL
000006af: SUB
000006b0: DUP4
000006b1: DUP2
000006b2: AND
000006b3: PUSH1 0x01
000006b5: PUSH1 0x01
000006b7: PUSH1 0xa0
000006b9: SHL
000006ba: SUB
000006bb: NOT
000006bc: DUP4
000006bd: AND
000006be: DUP2
000006bf: OR
000006c0: SWAP1
000006c1: SWAP4
000006c2: SSTORE
000006c3: PUSH1 0x40
000006c5: MLOAD
000006c6: SWAP2
000006c7: AND
000006c8: SWAP2
000006c9: SWAP1
000006ca: DUP3
000006cb: SWAP1
000006cc: PUSH32 0xca4f2f25d0898edd99413412fb94012f9e54ec8142f9b093e7720646a95b16a9
000006ed: SWAP1
000006ee: PUSH0
000006ef: SWAP1
000006f0: LOG3
000006f1: POP
000006f2: POP
000006f3: JUMP
000006f4: JUMPDEST
000006f5: PUSH2 0x06fc
000006f8: PUSH2 0x12c5
000006fb: JUMP
000006fc: JUMPDEST
000006fd: PUSH0
000006fe: DUP3
000006ff: DUP2
00000700: MSTORE
00000701: PUSH1 0xc9
00000703: PUSH1 0x20
00000705: MSTORE
00000706: PUSH1 0x40
00000708: SWAP1
00000709: KECCAK256
0000070a: SLOAD
0000070b: PUSH1 0x01
0000070d: PUSH1 0x01
0000070f: PUSH1 0xa0
00000711: SHL
00000712: SUB
00000713: AND
00000714: PUSH2 0x075f
00000717: JUMPI
00000718: PUSH1 0x40
0000071a: MLOAD
0000071b: PUSH3 0x461bcd
0000071f: PUSH1 0xe5
00000721: SHL
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x20
00000726: PUSH1 0x04
00000728: DUP3
00000729: ADD
0000072a: MSTORE
0000072b: PUSH1 0x1f
0000072d: PUSH1 0x24
0000072f: DUP3
00000730: ADD
00000731: MSTORE
00000732: PUSH32 0x555344432d5368423a206c3220627269646765206e6f74207965742073657400
00000753: PUSH1 0x44
00000755: DUP3
00000756: ADD
00000757: MSTORE
00000758: PUSH1 0x64
0000075a: ADD
0000075b: PUSH2 0x057e
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH0
00000761: SWAP2
00000762: DUP3
00000763: MSTORE
00000764: PUSH1 0xc9
00000766: PUSH1 0x20
00000768: MSTORE
00000769: PUSH1 0x40
0000076b: SWAP1
0000076c: SWAP2
0000076d: KECCAK256
0000076e: DUP1
0000076f: SLOAD
00000770: PUSH1 0x01
00000772: PUSH1 0x01
00000774: PUSH1 0xa0
00000776: SHL
00000777: SUB
00000778: NOT
00000779: AND
0000077a: PUSH1 0x01
0000077c: PUSH1 0x01
0000077e: PUSH1 0xa0
00000780: SHL
00000781: SUB
00000782: SWAP1
00000783: SWAP3
00000784: AND
00000785: SWAP2
00000786: SWAP1
00000787: SWAP2
00000788: OR
00000789: SWAP1
0000078a: SSTORE
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH2 0x0794
00000790: PUSH2 0x12c5
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH2 0x0632
00000798: PUSH0
00000799: PUSH2 0x1371
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH1 0x65
000007a0: SLOAD
000007a1: CALLER
000007a2: SWAP1
000007a3: PUSH1 0x01
000007a5: PUSH1 0x01
000007a7: PUSH1 0xa0
000007a9: SHL
000007aa: SUB
000007ab: AND
000007ac: DUP2
000007ad: EQ
000007ae: PUSH2 0x080b
000007b1: JUMPI
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: PUSH3 0x461bcd
000007b9: PUSH1 0xe5
000007bb: SHL
000007bc: DUP2
000007bd: MSTORE
000007be: PUSH1 0x20
000007c0: PUSH1 0x04
000007c2: DUP3
000007c3: ADD
000007c4: MSTORE
000007c5: PUSH1 0x29
000007c7: PUSH1 0x24
000007c9: DUP3
000007ca: ADD
000007cb: MSTORE
000007cc: PUSH32 0x4f776e61626c6532537465703a2063616c6c6572206973206e6f742074686520
000007ed: PUSH1 0x44
000007ef: DUP3
000007f0: ADD
000007f1: MSTORE
000007f2: PUSH9 0x3732bb9037bbb732b9
000007fc: PUSH1 0xb9
000007fe: SHL
000007ff: PUSH1 0x64
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH1 0x84
00000806: ADD
00000807: PUSH2 0x057e
0000080a: JUMP
0000080b: JUMPDEST
0000080c: PUSH2 0x0814
0000080f: DUP2
00000810: PUSH2 0x1371
00000813: JUMP
00000814: JUMPDEST
00000815: POP
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH2 0x081f
0000081b: PUSH2 0x12c5
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH2 0x0632
00000823: PUSH2 0x138a
00000826: JUMP
00000827: JUMPDEST
00000828: CALLER
00000829: PUSH1 0x01
0000082b: PUSH1 0x01
0000082d: PUSH1 0xa0
0000082f: SHL
00000830: SUB
00000831: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
00000852: AND
00000853: EQ
00000854: PUSH2 0x0891
00000857: JUMPI
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: PUSH3 0x461bcd
0000085f: PUSH1 0xe5
00000861: SHL
00000862: DUP2
00000863: MSTORE
00000864: PUSH1 0x20
00000866: PUSH1 0x04
00000868: DUP3
00000869: ADD
0000086a: MSTORE
0000086b: PUSH1 0x0f
0000086d: PUSH1 0x24
0000086f: DUP3
00000870: ADD
00000871: MSTORE
00000872: PUSH15 0x0aaa688865aa6d08440dcdee840849
00000882: PUSH1 0x8b
00000884: SHL
00000885: PUSH1 0x44
00000887: DUP3
00000888: ADD
00000889: MSTORE
0000088a: PUSH1 0x64
0000088c: ADD
0000088d: PUSH2 0x057e
00000890: JUMP
00000891: JUMPDEST
00000892: PUSH2 0x0899
00000895: PUSH2 0x13c7
00000898: JUMP
00000899: JUMPDEST
0000089a: PUSH0
0000089b: DUP4
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0xca
000008a0: PUSH1 0x20
000008a2: SWAP1
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x40
000008a7: DUP1
000008a8: DUP4
000008a9: KECCAK256
000008aa: DUP5
000008ab: DUP5
000008ac: MSTORE
000008ad: SWAP1
000008ae: SWAP2
000008af: MSTORE
000008b0: SWAP1
000008b1: KECCAK256
000008b2: SLOAD
000008b3: ISZERO
000008b4: PUSH2 0x08f1
000008b7: JUMPI
000008b8: PUSH1 0x40
000008ba: MLOAD
000008bb: PUSH3 0x461bcd
000008bf: PUSH1 0xe5
000008c1: SHL
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: PUSH1 0x04
000008c8: DUP3
000008c9: ADD
000008ca: MSTORE
000008cb: PUSH1 0x0f
000008cd: PUSH1 0x24
000008cf: DUP3
000008d0: ADD
000008d1: MSTORE
000008d2: PUSH15 0x0555344432d5368422074782068617
000008e2: PUSH1 0x8c
000008e4: SHL
000008e5: PUSH1 0x44
000008e7: DUP3
000008e8: ADD
000008e9: MSTORE
000008ea: PUSH1 0x64
000008ec: ADD
000008ed: PUSH2 0x057e
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH0
000008f3: DUP4
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0xca
000008f8: PUSH1 0x20
000008fa: SWAP1
000008fb: DUP2
000008fc: MSTORE
000008fd: PUSH1 0x40
000008ff: DUP1
00000900: DUP4
00000901: KECCAK256
00000902: DUP5
00000903: DUP5
00000904: MSTORE
00000905: SWAP1
00000906: SWAP2
00000907: MSTORE
00000908: DUP1
00000909: DUP3
0000090a: KECCAK256
0000090b: DUP5
0000090c: SWAP1
0000090d: SSTORE
0000090e: MLOAD
0000090f: DUP3
00000910: SWAP2
00000911: DUP5
00000912: SWAP2
00000913: DUP7
00000914: SWAP2
00000915: PUSH32 0xe4def01b981193a97a9e81230d7b9f31812ceaf23f864a828a82c687911cb2df
00000936: SWAP2
00000937: LOG4
00000938: POP
00000939: POP
0000093a: POP
0000093b: JUMP
0000093c: JUMPDEST
0000093d: PUSH0
0000093e: SLOAD
0000093f: PUSH1 0x02
00000941: SWAP1
00000942: PUSH2 0x0100
00000945: SWAP1
00000946: DIV
00000947: PUSH1 0xff
00000949: AND
0000094a: ISZERO
0000094b: DUP1
0000094c: ISZERO
0000094d: PUSH2 0x095c
00000950: JUMPI
00000951: POP
00000952: PUSH0
00000953: SLOAD
00000954: PUSH1 0xff
00000956: DUP1
00000957: DUP4
00000958: AND
00000959: SWAP2
0000095a: AND
0000095b: LT
0000095c: JUMPDEST
0000095d: PUSH2 0x0978
00000960: JUMPI
00000961: PUSH1 0x40
00000963: MLOAD
00000964: PUSH3 0x461bcd
00000968: PUSH1 0xe5
0000096a: SHL
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x04
0000096f: ADD
00000970: PUSH2 0x057e
00000973: SWAP1
00000974: PUSH2 0x2617
00000977: JUMP
00000978: JUMPDEST
00000979: PUSH0
0000097a: DUP1
0000097b: SLOAD
0000097c: PUSH2 0xffff
0000097f: NOT
00000980: AND
00000981: PUSH1 0xff
00000983: DUP4
00000984: AND
00000985: OR
00000986: PUSH2 0x0100
00000989: OR
0000098a: SWAP1
0000098b: SSTORE
0000098c: PUSH1 0x01
0000098e: PUSH1 0x01
00000990: PUSH1 0xa0
00000992: SHL
00000993: SUB
00000994: DUP3
00000995: AND
00000996: PUSH2 0x09d4
00000999: JUMPI
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: PUSH3 0x461bcd
000009a1: PUSH1 0xe5
000009a3: SHL
000009a4: DUP2
000009a5: MSTORE
000009a6: PUSH1 0x20
000009a8: PUSH1 0x04
000009aa: DUP3
000009ab: ADD
000009ac: MSTORE
000009ad: PUSH1 0x10
000009af: PUSH1 0x24
000009b1: DUP3
000009b2: ADD
000009b3: MSTORE
000009b4: PUSH16 0x0555344432d536842206f776e6572203
000009c5: PUSH1 0x84
000009c7: SHL
000009c8: PUSH1 0x44
000009ca: DUP3
000009cb: ADD
000009cc: MSTORE
000009cd: PUSH1 0x64
000009cf: ADD
000009d0: PUSH2 0x057e
000009d3: JUMP
000009d4: JUMPDEST
000009d5: PUSH2 0x09dd
000009d8: DUP3
000009d9: PUSH2 0x1371
000009dc: JUMP
000009dd: JUMPDEST
000009de: PUSH0
000009df: DUP1
000009e0: SLOAD
000009e1: PUSH2 0xff00
000009e4: NOT
000009e5: AND
000009e6: SWAP1
000009e7: SSTORE
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: PUSH1 0xff
000009ed: DUP3
000009ee: AND
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000a12: SWAP1
00000a13: PUSH1 0x20
00000a15: ADD
00000a16: JUMPDEST
00000a17: PUSH1 0x40
00000a19: MLOAD
00000a1a: DUP1
00000a1b: SWAP2
00000a1c: SUB
00000a1d: SWAP1
00000a1e: LOG1
00000a1f: POP
00000a20: POP
00000a21: JUMP
00000a22: JUMPDEST
00000a23: PUSH2 0x0a34
00000a26: DUP11
00000a27: DUP11
00000a28: DUP11
00000a29: DUP11
00000a2a: DUP11
00000a2b: DUP11
00000a2c: DUP11
00000a2d: DUP11
00000a2e: DUP11
00000a2f: DUP11
00000a30: PUSH2 0x140d
00000a33: JUMP
00000a34: JUMPDEST
00000a35: POP
00000a36: POP
00000a37: POP
00000a38: POP
00000a39: POP
00000a3a: POP
00000a3b: POP
00000a3c: POP
00000a3d: POP
00000a3e: POP
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH2 0x0a48
00000a44: PUSH2 0x173d
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH0
00000a4a: SLOAD
00000a4b: PUSH2 0x0100
00000a4e: SWAP1
00000a4f: DIV
00000a50: PUSH1 0xff
00000a52: AND
00000a53: ISZERO
00000a54: DUP1
00000a55: DUP1
00000a56: ISZERO
00000a57: PUSH2 0x0a66
00000a5a: JUMPI
00000a5b: POP
00000a5c: PUSH0
00000a5d: SLOAD
00000a5e: PUSH1 0x01
00000a60: PUSH1 0xff
00000a62: SWAP1
00000a63: SWAP2
00000a64: AND
00000a65: LT
00000a66: JUMPDEST
00000a67: DUP1
00000a68: PUSH2 0x0a7f
00000a6b: JUMPI
00000a6c: POP
00000a6d: ADDRESS
00000a6e: EXTCODESIZE
00000a6f: ISZERO
00000a70: DUP1
00000a71: ISZERO
00000a72: PUSH2 0x0a7f
00000a75: JUMPI
00000a76: POP
00000a77: PUSH0
00000a78: SLOAD
00000a79: PUSH1 0xff
00000a7b: AND
00000a7c: PUSH1 0x01
00000a7e: EQ
00000a7f: JUMPDEST
00000a80: PUSH2 0x0a9b
00000a83: JUMPI
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: PUSH3 0x461bcd
00000a8b: PUSH1 0xe5
00000a8d: SHL
00000a8e: DUP2
00000a8f: MSTORE
00000a90: PUSH1 0x04
00000a92: ADD
00000a93: PUSH2 0x057e
00000a96: SWAP1
00000a97: PUSH2 0x2617
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: PUSH0
00000a9d: DUP1
00000a9e: SLOAD
00000a9f: PUSH1 0xff
00000aa1: NOT
00000aa2: AND
00000aa3: PUSH1 0x01
00000aa5: OR
00000aa6: SWAP1
00000aa7: SSTORE
00000aa8: DUP1
00000aa9: ISZERO
00000aaa: PUSH2 0x0abc
00000aad: JUMPI
00000aae: PUSH0
00000aaf: DUP1
00000ab0: SLOAD
00000ab1: PUSH2 0xff00
00000ab4: NOT
00000ab5: AND
00000ab6: PUSH2 0x0100
00000ab9: OR
00000aba: SWAP1
00000abb: SSTORE
00000abc: JUMPDEST
00000abd: PUSH1 0x01
00000abf: PUSH1 0x01
00000ac1: PUSH1 0xa0
00000ac3: SHL
00000ac4: SUB
00000ac5: DUP3
00000ac6: AND
00000ac7: PUSH2 0x0b05
00000aca: JUMPI
00000acb: PUSH1 0x40
00000acd: MLOAD
00000ace: PUSH3 0x461bcd
00000ad2: PUSH1 0xe5
00000ad4: SHL
00000ad5: DUP2
00000ad6: MSTORE
00000ad7: PUSH1 0x20
00000ad9: PUSH1 0x04
00000adb: DUP3
00000adc: ADD
00000add: MSTORE
00000ade: PUSH1 0x10
00000ae0: PUSH1 0x24
00000ae2: DUP3
00000ae3: ADD
00000ae4: MSTORE
00000ae5: PUSH16 0x0555344432d536842206f776e6572203
00000af6: PUSH1 0x84
00000af8: SHL
00000af9: PUSH1 0x44
00000afb: DUP3
00000afc: ADD
00000afd: MSTORE
00000afe: PUSH1 0x64
00000b00: ADD
00000b01: PUSH2 0x057e
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH2 0x0b0e
00000b09: DUP3
00000b0a: PUSH2 0x1371
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: DUP1
00000b10: ISZERO
00000b11: PUSH2 0x0b4f
00000b14: JUMPI
00000b15: PUSH0
00000b16: DUP1
00000b17: SLOAD
00000b18: PUSH2 0xff00
00000b1b: NOT
00000b1c: AND
00000b1d: SWAP1
00000b1e: SSTORE
00000b1f: PUSH1 0x40
00000b21: MLOAD
00000b22: PUSH1 0x01
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000b47: SWAP1
00000b48: PUSH1 0x20
00000b4a: ADD
00000b4b: PUSH2 0x0a16
00000b4e: JUMP
00000b4f: JUMPDEST
00000b50: POP
00000b51: POP
00000b52: JUMP
00000b53: JUMPDEST
00000b54: PUSH2 0x0b63
00000b57: DUP9
00000b58: DUP9
00000b59: DUP9
00000b5a: DUP9
00000b5b: DUP9
00000b5c: DUP9
00000b5d: DUP9
00000b5e: DUP9
00000b5f: PUSH2 0x1785
00000b62: JUMP
00000b63: JUMPDEST
00000b64: POP
00000b65: POP
00000b66: POP
00000b67: POP
00000b68: POP
00000b69: POP
00000b6a: POP
00000b6b: POP
00000b6c: POP
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH1 0x40
00000b73: DUP1
00000b74: MLOAD
00000b75: PUSH1 0xa0
00000b77: DUP2
00000b78: ADD
00000b79: DUP3
00000b7a: MSTORE
00000b7b: PUSH0
00000b7c: DUP1
00000b7d: DUP3
00000b7e: MSTORE
00000b7f: PUSH1 0x20
00000b81: DUP3
00000b82: ADD
00000b83: DUP2
00000b84: SWAP1
00000b85: MSTORE
00000b86: PUSH1 0x60
00000b88: SWAP3
00000b89: DUP3
00000b8a: ADD
00000b8b: DUP4
00000b8c: SWAP1
00000b8d: MSTORE
00000b8e: DUP3
00000b8f: DUP3
00000b90: ADD
00000b91: SWAP3
00000b92: SWAP1
00000b93: SWAP3
00000b94: MSTORE
00000b95: PUSH1 0x80
00000b97: DUP2
00000b98: ADD
00000b99: SWAP2
00000b9a: SWAP1
00000b9b: SWAP2
00000b9c: MSTORE
00000b9d: CALLER
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0x01
00000ba2: PUSH1 0xa0
00000ba4: SHL
00000ba5: SUB
00000ba6: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
00000bc7: AND
00000bc8: EQ
00000bc9: PUSH2 0x0c06
00000bcc: JUMPI
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: PUSH3 0x461bcd
00000bd4: PUSH1 0xe5
00000bd6: SHL
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: PUSH1 0x20
00000bdb: PUSH1 0x04
00000bdd: DUP3
00000bde: ADD
00000bdf: MSTORE
00000be0: PUSH1 0x0f
00000be2: PUSH1 0x24
00000be4: DUP3
00000be5: ADD
00000be6: MSTORE
00000be7: PUSH15 0x0aaa688865aa6d08440dcdee840849
00000bf7: PUSH1 0x8b
00000bf9: SHL
00000bfa: PUSH1 0x44
00000bfc: DUP3
00000bfd: ADD
00000bfe: MSTORE
00000bff: PUSH1 0x64
00000c01: ADD
00000c02: PUSH2 0x057e
00000c05: JUMP
00000c06: JUMPDEST
00000c07: PUSH2 0x0c0e
00000c0a: PUSH2 0x13c7
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: DUP4
00000c10: ISZERO
00000c11: PUSH2 0x0c5c
00000c14: JUMPI
00000c15: PUSH1 0x40
00000c17: MLOAD
00000c18: PUSH3 0x461bcd
00000c1c: PUSH1 0xe5
00000c1e: SHL
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x20
00000c23: PUSH1 0x04
00000c25: DUP3
00000c26: ADD
00000c27: MSTORE
00000c28: PUSH1 0x1b
00000c2a: PUSH1 0x24
00000c2c: DUP3
00000c2d: ADD
00000c2e: MSTORE
00000c2f: PUSH32 0x555344432d5368423a206c3256616c7565206d75737420626520300000000000
00000c50: PUSH1 0x44
00000c52: DUP3
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH1 0x64
00000c57: ADD
00000c58: PUSH2 0x057e
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH0
00000c5e: DUP7
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0xc9
00000c63: PUSH1 0x20
00000c65: MSTORE
00000c66: PUSH1 0x40
00000c68: SWAP1
00000c69: KECCAK256
00000c6a: SLOAD
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0x01
00000c6f: PUSH1 0xa0
00000c71: SHL
00000c72: SUB
00000c73: AND
00000c74: DUP1
00000c75: PUSH2 0x0cc0
00000c78: JUMPI
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: PUSH3 0x461bcd
00000c80: PUSH1 0xe5
00000c82: SHL
00000c83: DUP2
00000c84: MSTORE
00000c85: PUSH1 0x20
00000c87: PUSH1 0x04
00000c89: DUP3
00000c8a: ADD
00000c8b: MSTORE
00000c8c: PUSH1 0x1f
00000c8e: PUSH1 0x24
00000c90: DUP3
00000c91: ADD
00000c92: MSTORE
00000c93: PUSH32 0x555344432d536842206c3220627269646765206e6f74206465706c6f79656400
00000cb4: PUSH1 0x44
00000cb6: DUP3
00000cb7: ADD
00000cb8: MSTORE
00000cb9: PUSH1 0x64
00000cbb: ADD
00000cbc: PUSH2 0x057e
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH0
00000cc2: DUP1
00000cc3: DUP1
00000cc4: PUSH2 0x0ccf
00000cc7: DUP7
00000cc8: DUP9
00000cc9: ADD
00000cca: DUP9
00000ccb: PUSH2 0x2665
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: SWAP3
00000cd1: POP
00000cd2: SWAP3
00000cd3: POP
00000cd4: SWAP3
00000cd5: POP
00000cd6: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000cf7: PUSH1 0x01
00000cf9: PUSH1 0x01
00000cfb: PUSH1 0xa0
00000cfd: SHL
00000cfe: SUB
00000cff: AND
00000d00: DUP4
00000d01: PUSH1 0x01
00000d03: PUSH1 0x01
00000d05: PUSH1 0xa0
00000d07: SHL
00000d08: SUB
00000d09: AND
00000d0a: EQ
00000d0b: PUSH2 0x0d65
00000d0e: JUMPI
00000d0f: PUSH1 0x40
00000d11: MLOAD
00000d12: PUSH3 0x461bcd
00000d16: PUSH1 0xe5
00000d18: SHL
00000d19: DUP2
00000d1a: MSTORE
00000d1b: PUSH1 0x20
00000d1d: PUSH1 0x04
00000d1f: DUP3
00000d20: ADD
00000d21: MSTORE
00000d22: PUSH1 0x26
00000d24: PUSH1 0x24
00000d26: DUP3
00000d27: ADD
00000d28: MSTORE
00000d29: PUSH32 0x555344432d5368423a204f6e6c792055534443206465706f7369747320737570
00000d4a: PUSH1 0x44
00000d4c: DUP3
00000d4d: ADD
00000d4e: MSTORE
00000d4f: PUSH6 0x1c1bdc9d1959
00000d56: PUSH1 0xd2
00000d58: SHL
00000d59: PUSH1 0x64
00000d5b: DUP3
00000d5c: ADD
00000d5d: MSTORE
00000d5e: PUSH1 0x84
00000d60: ADD
00000d61: PUSH2 0x057e
00000d64: JUMP
00000d65: JUMPDEST
00000d66: DUP3
00000d67: PUSH1 0x01
00000d69: PUSH1 0x01
00000d6b: PUSH1 0xa0
00000d6d: SHL
00000d6e: SUB
00000d6f: AND
00000d70: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
00000d91: PUSH1 0x01
00000d93: PUSH1 0x01
00000d95: PUSH1 0xa0
00000d97: SHL
00000d98: SUB
00000d99: AND
00000d9a: PUSH4 0x59ec65a2
00000d9f: DUP13
00000da0: PUSH1 0x40
00000da2: MLOAD
00000da3: DUP3
00000da4: PUSH4 0xffffffff
00000da9: AND
00000daa: PUSH1 0xe0
00000dac: SHL
00000dad: DUP2
00000dae: MSTORE
00000daf: PUSH1 0x04
00000db1: ADD
00000db2: PUSH2 0x0dbd
00000db5: SWAP2
00000db6: DUP2
00000db7: MSTORE
00000db8: PUSH1 0x20
00000dba: ADD
00000dbb: SWAP1
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH1 0x20
00000dc0: PUSH1 0x40
00000dc2: MLOAD
00000dc3: DUP1
00000dc4: DUP4
00000dc5: SUB
00000dc6: DUP2
00000dc7: DUP7
00000dc8: GAS
00000dc9: STATICCALL
00000dca: ISZERO
00000dcb: DUP1
00000dcc: ISZERO
00000dcd: PUSH2 0x0dd8
00000dd0: JUMPI
00000dd1: RETURNDATASIZE
00000dd2: PUSH0
00000dd3: DUP1
00000dd4: RETURNDATACOPY
00000dd5: RETURNDATASIZE
00000dd6: PUSH0
00000dd7: REVERT
00000dd8: JUMPDEST
00000dd9: POP
00000dda: POP
00000ddb: POP
00000ddc: POP
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: RETURNDATASIZE
00000de1: PUSH1 0x1f
00000de3: NOT
00000de4: PUSH1 0x1f
00000de6: DUP3
00000de7: ADD
00000de8: AND
00000de9: DUP3
00000dea: ADD
00000deb: DUP1
00000dec: PUSH1 0x40
00000dee: MSTORE
00000def: POP
00000df0: DUP2
00000df1: ADD
00000df2: SWAP1
00000df3: PUSH2 0x0dfc
00000df6: SWAP2
00000df7: SWAP1
00000df8: PUSH2 0x26a4
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH1 0x01
00000dff: PUSH1 0x01
00000e01: PUSH1 0xa0
00000e03: SHL
00000e04: SUB
00000e05: AND
00000e06: SUB
00000e07: PUSH2 0x0e64
00000e0a: JUMPI
00000e0b: PUSH1 0x40
00000e0d: MLOAD
00000e0e: PUSH3 0x461bcd
00000e12: PUSH1 0xe5
00000e14: SHL
00000e15: DUP2
00000e16: MSTORE
00000e17: PUSH1 0x20
00000e19: PUSH1 0x04
00000e1b: DUP3
00000e1c: ADD
00000e1d: MSTORE
00000e1e: PUSH1 0x29
00000e20: PUSH1 0x24
00000e22: DUP3
00000e23: ADD
00000e24: MSTORE
00000e25: PUSH32 0x555344432d5368423a2062617365546f6b656e206465706f736974206e6f7420
00000e46: PUSH1 0x44
00000e48: DUP3
00000e49: ADD
00000e4a: MSTORE
00000e4b: PUSH9 0x1cdd5c1c1bdc9d1959
00000e55: PUSH1 0xba
00000e57: SHL
00000e58: PUSH1 0x64
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: PUSH1 0x84
00000e5f: ADD
00000e60: PUSH2 0x057e
00000e63: JUMP
00000e64: JUMPDEST
00000e65: CALLVALUE
00000e66: ISZERO
00000e67: PUSH2 0x0eb2
00000e6a: JUMPI
00000e6b: PUSH1 0x40
00000e6d: MLOAD
00000e6e: PUSH3 0x461bcd
00000e72: PUSH1 0xe5
00000e74: SHL
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: PUSH1 0x04
00000e7b: DUP3
00000e7c: ADD
00000e7d: MSTORE
00000e7e: PUSH1 0x1e
00000e80: PUSH1 0x24
00000e82: DUP3
00000e83: ADD
00000e84: MSTORE
00000e85: PUSH32 0x555344432d536842206d2e76203e203020666f7220424820642e697420320000
00000ea6: PUSH1 0x44
00000ea8: DUP3
00000ea9: ADD
00000eaa: MSTORE
00000eab: PUSH1 0x64
00000ead: ADD
00000eae: PUSH2 0x057e
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH0
00000eb4: PUSH2 0x0ebe
00000eb7: DUP11
00000eb8: DUP6
00000eb9: DUP6
00000eba: PUSH2 0x1a09
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: SWAP1
00000ec0: POP
00000ec1: DUP3
00000ec2: DUP2
00000ec3: EQ
00000ec4: PUSH2 0x0ef4
00000ec7: JUMPI
00000ec8: PUSH1 0x40
00000eca: MLOAD
00000ecb: PUSH3 0x461bcd
00000ecf: PUSH1 0xe5
00000ed1: SHL
00000ed2: DUP2
00000ed3: MSTORE
00000ed4: PUSH1 0x20
00000ed6: PUSH1 0x04
00000ed8: DUP3
00000ed9: ADD
00000eda: MSTORE
00000edb: PUSH1 0x02
00000edd: PUSH1 0x24
00000edf: DUP3
00000ee0: ADD
00000ee1: MSTORE
00000ee2: PUSH2 0x0d55
00000ee5: PUSH1 0xf2
00000ee7: SHL
00000ee8: PUSH1 0x44
00000eea: DUP3
00000eeb: ADD
00000eec: MSTORE
00000eed: PUSH1 0x64
00000eef: ADD
00000ef0: PUSH2 0x057e
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: DUP3
00000ef6: PUSH0
00000ef7: SUB
00000ef8: PUSH2 0x0f28
00000efb: JUMPI
00000efc: PUSH1 0x40
00000efe: MLOAD
00000eff: PUSH3 0x461bcd
00000f03: PUSH1 0xe5
00000f05: SHL
00000f06: DUP2
00000f07: MSTORE
00000f08: PUSH1 0x20
00000f0a: PUSH1 0x04
00000f0c: DUP3
00000f0d: ADD
00000f0e: MSTORE
00000f0f: PUSH1 0x02
00000f11: PUSH1 0x24
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH2 0x0d95
00000f19: PUSH1 0xf2
00000f1b: SHL
00000f1c: PUSH1 0x44
00000f1e: DUP3
00000f1f: ADD
00000f20: MSTORE
00000f21: PUSH1 0x64
00000f23: ADD
00000f24: PUSH2 0x057e
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH0
00000f2a: DUP11
00000f2b: DUP6
00000f2c: DUP6
00000f2d: PUSH1 0x40
00000f2f: MLOAD
00000f30: PUSH1 0x20
00000f32: ADD
00000f33: PUSH2 0x0f3e
00000f36: SWAP4
00000f37: SWAP3
00000f38: SWAP2
00000f39: SWAP1
00000f3a: PUSH2 0x26bf
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: PUSH1 0x40
00000f41: DUP1
00000f42: MLOAD
00000f43: PUSH1 0x1f
00000f45: NOT
00000f46: DUP2
00000f47: DUP5
00000f48: SUB
00000f49: ADD
00000f4a: DUP2
00000f4b: MSTORE
00000f4c: SWAP2
00000f4d: DUP2
00000f4e: MSTORE
00000f4f: DUP2
00000f50: MLOAD
00000f51: PUSH1 0x20
00000f53: SWAP3
00000f54: DUP4
00000f55: ADD
00000f56: KECCAK256
00000f57: PUSH0
00000f58: DUP16
00000f59: DUP2
00000f5a: MSTORE
00000f5b: PUSH1 0xcc
00000f5d: SWAP1
00000f5e: SWAP4
00000f5f: MSTORE
00000f60: SWAP2
00000f61: KECCAK256
00000f62: SLOAD
00000f63: SWAP1
00000f64: SWAP2
00000f65: POP
00000f66: PUSH1 0xff
00000f68: AND
00000f69: PUSH2 0x0fa3
00000f6c: JUMPI
00000f6d: PUSH0
00000f6e: DUP13
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0xcd
00000f73: PUSH1 0x20
00000f75: SWAP1
00000f76: DUP2
00000f77: MSTORE
00000f78: PUSH1 0x40
00000f7a: DUP1
00000f7b: DUP4
00000f7c: KECCAK256
00000f7d: PUSH1 0x01
00000f7f: PUSH1 0x01
00000f81: PUSH1 0xa0
00000f83: SHL
00000f84: SUB
00000f85: DUP10
00000f86: AND
00000f87: DUP5
00000f88: MSTORE
00000f89: SWAP1
00000f8a: SWAP2
00000f8b: MSTORE
00000f8c: DUP2
00000f8d: KECCAK256
00000f8e: DUP1
00000f8f: SLOAD
00000f90: DUP7
00000f91: SWAP3
00000f92: SWAP1
00000f93: PUSH2 0x0f9d
00000f96: SWAP1
00000f97: DUP5
00000f98: SWAP1
00000f99: PUSH2 0x26f7
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: SWAP1
00000f9f: SWAP2
00000fa0: SSTORE
00000fa1: POP
00000fa2: POP
00000fa3: JUMPDEST
00000fa4: PUSH0
00000fa5: DUP12
00000fa6: DUP5
00000fa7: DUP8
00000fa8: DUP8
00000fa9: PUSH1 0x06
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: PUSH1 0x20
00000fb0: ADD
00000fb1: PUSH2 0x0ffe
00000fb4: SWAP2
00000fb5: SWAP1
00000fb6: PUSH1 0x60
00000fb8: DUP1
00000fb9: DUP3
00000fba: MSTORE
00000fbb: PUSH1 0x08
00000fbd: SWAP1
00000fbe: DUP3
00000fbf: ADD
00000fc0: MSTORE
00000fc1: PUSH8 0x2aa9a21021b7b4b7
00000fca: PUSH1 0xc1
00000fcc: SHL
00000fcd: PUSH1 0x80
00000fcf: DUP3
00000fd0: ADD
00000fd1: MSTORE
00000fd2: PUSH1 0xa0
00000fd4: PUSH1 0x20
00000fd6: DUP3
00000fd7: ADD
00000fd8: DUP2
00000fd9: SWAP1
00000fda: MSTORE
00000fdb: PUSH1 0x04
00000fdd: SWAP1
00000fde: DUP3
00000fdf: ADD
00000fe0: MSTORE
00000fe1: PUSH4 0x55534443
00000fe6: PUSH1 0xe0
00000fe8: SHL
00000fe9: PUSH1 0xc0
00000feb: DUP3
00000fec: ADD
00000fed: MSTORE
00000fee: PUSH1 0xff
00000ff0: SWAP2
00000ff1: SWAP1
00000ff2: SWAP2
00000ff3: AND
00000ff4: PUSH1 0x40
00000ff6: DUP3
00000ff7: ADD
00000ff8: MSTORE
00000ff9: PUSH1 0xe0
00000ffb: ADD
00000ffc: SWAP1
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH1 0x40
00001001: DUP1
00001002: MLOAD
00001003: PUSH1 0x1f
00001005: NOT
00001006: DUP2
00001007: DUP5
00001008: SUB
00001009: ADD
0000100a: DUP2
0000100b: MSTORE
0000100c: SWAP1
0000100d: DUP3
0000100e: SWAP1
0000100f: MSTORE
00001010: PUSH2 0x101f
00001013: SWAP6
00001014: SWAP5
00001015: SWAP4
00001016: SWAP3
00001017: SWAP2
00001018: PUSH1 0x24
0000101a: ADD
0000101b: PUSH2 0x2710
0000101e: JUMP
0000101f: JUMPDEST
00001020: PUSH1 0x40
00001022: DUP1
00001023: MLOAD
00001024: PUSH1 0x1f
00001026: NOT
00001027: DUP2
00001028: DUP5
00001029: SUB
0000102a: ADD
0000102b: DUP2
0000102c: MSTORE
0000102d: SWAP2
0000102e: DUP2
0000102f: MSTORE
00001030: PUSH1 0x20
00001032: DUP3
00001033: ADD
00001034: DUP1
00001035: MLOAD
00001036: PUSH1 0x01
00001038: PUSH1 0x01
0000103a: PUSH1 0xe0
0000103c: SHL
0000103d: SUB
0000103e: AND
0000103f: PUSH4 0x33f9ebdf
00001044: PUSH1 0xe2
00001046: SHL
00001047: OR
00001048: SWAP1
00001049: MSTORE
0000104a: DUP1
0000104b: MLOAD
0000104c: PUSH1 0xa0
0000104e: DUP2
0000104f: ADD
00001050: SWAP1
00001051: SWAP2
00001052: MSTORE
00001053: SWAP1
00001054: SWAP2
00001055: POP
00001056: DUP1
00001057: PUSH2 0x1081
0000105a: PUSH1 0x01
0000105c: PUSH32 0xa175e001c0e5684bc26302c2f9a55aec9f3936fe2aef558034003ef4da7fc77e
0000107d: PUSH2 0x274a
00001080: JUMP
00001081: JUMPDEST
00001082: DUP2
00001083: MSTORE
00001084: PUSH1 0x01
00001086: PUSH1 0x01
00001088: PUSH1 0xa0
0000108a: SHL
0000108b: SUB
0000108c: DUP10
0000108d: AND
0000108e: PUSH1 0x20
00001090: DUP3
00001091: ADD
00001092: MSTORE
00001093: PUSH1 0x40
00001095: DUP2
00001096: ADD
00001097: DUP4
00001098: SWAP1
00001099: MSTORE
0000109a: PUSH1 0x60
0000109c: ADD
0000109d: PUSH0
0000109e: PUSH1 0x40
000010a0: MLOAD
000010a1: SWAP1
000010a2: DUP1
000010a3: DUP3
000010a4: MSTORE
000010a5: DUP1
000010a6: PUSH1 0x20
000010a8: MUL
000010a9: PUSH1 0x20
000010ab: ADD
000010ac: DUP3
000010ad: ADD
000010ae: PUSH1 0x40
000010b0: MSTORE
000010b1: DUP1
000010b2: ISZERO
000010b3: PUSH2 0x10d0
000010b6: JUMPI
000010b7: DUP2
000010b8: PUSH1 0x20
000010ba: ADD
000010bb: JUMPDEST
000010bc: PUSH1 0x60
000010be: DUP2
000010bf: MSTORE
000010c0: PUSH1 0x20
000010c2: ADD
000010c3: SWAP1
000010c4: PUSH1 0x01
000010c6: SWAP1
000010c7: SUB
000010c8: SWAP1
000010c9: DUP2
000010ca: PUSH2 0x10bb
000010cd: JUMPI
000010ce: SWAP1
000010cf: POP
000010d0: JUMPDEST
000010d1: POP
000010d2: DUP2
000010d3: MSTORE
000010d4: PUSH1 0x20
000010d6: ADD
000010d7: DUP4
000010d8: DUP2
000010d9: MSTORE
000010da: POP
000010db: SWAP8
000010dc: POP
000010dd: DUP12
000010de: PUSH1 0x01
000010e0: PUSH1 0x01
000010e2: PUSH1 0xa0
000010e4: SHL
000010e5: SUB
000010e6: AND
000010e7: DUP3
000010e8: DUP15
000010e9: PUSH32 0x8768405a01370685449c74c293804d6c9cc216d170acdbdba50b33ed4144447f
0000110a: DUP8
0000110b: DUP11
0000110c: DUP11
0000110d: PUSH1 0x40
0000110f: MLOAD
00001110: PUSH2 0x111b
00001113: SWAP4
00001114: SWAP3
00001115: SWAP2
00001116: SWAP1
00001117: PUSH2 0x26bf
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x40
0000111e: MLOAD
0000111f: DUP1
00001120: SWAP2
00001121: SUB
00001122: SWAP1
00001123: LOG4
00001124: POP
00001125: POP
00001126: POP
00001127: POP
00001128: POP
00001129: POP
0000112a: POP
0000112b: SWAP6
0000112c: SWAP5
0000112d: POP
0000112e: POP
0000112f: POP
00001130: POP
00001131: POP
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH1 0x33
00001136: SLOAD
00001137: PUSH1 0x01
00001139: PUSH1 0x01
0000113b: PUSH1 0xa0
0000113d: SHL
0000113e: SUB
0000113f: AND
00001140: CALLER
00001141: EQ
00001142: DUP1
00001143: PUSH2 0x1156
00001146: JUMPI
00001147: POP
00001148: PUSH1 0xce
0000114a: SLOAD
0000114b: PUSH1 0x01
0000114d: PUSH1 0x01
0000114f: PUSH1 0xa0
00001151: SHL
00001152: SUB
00001153: AND
00001154: CALLER
00001155: EQ
00001156: JUMPDEST
00001157: PUSH2 0x11a2
0000115a: JUMPI
0000115b: PUSH1 0x40
0000115d: MLOAD
0000115e: PUSH3 0x461bcd
00001162: PUSH1 0xe5
00001164: SHL
00001165: DUP2
00001166: MSTORE
00001167: PUSH1 0x20
00001169: PUSH1 0x04
0000116b: DUP3
0000116c: ADD
0000116d: MSTORE
0000116e: PUSH1 0x1b
00001170: PUSH1 0x24
00001172: DUP3
00001173: ADD
00001174: MSTORE
00001175: PUSH32 0x555344432d536842206e6f74206f776e6572206f722061646d696e0000000000
00001196: PUSH1 0x44
00001198: DUP3
00001199: ADD
0000119a: MSTORE
0000119b: PUSH1 0x64
0000119d: ADD
0000119e: PUSH2 0x057e
000011a1: JUMP
000011a2: JUMPDEST
000011a3: PUSH0
000011a4: DUP3
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0xc9
000011a9: PUSH1 0x20
000011ab: MSTORE
000011ac: PUSH1 0x40
000011ae: SWAP1
000011af: KECCAK256
000011b0: SLOAD
000011b1: PUSH1 0x01
000011b3: PUSH1 0x01
000011b5: PUSH1 0xa0
000011b7: SHL
000011b8: SUB
000011b9: AND
000011ba: ISZERO
000011bb: PUSH2 0x1206
000011be: JUMPI
000011bf: PUSH1 0x40
000011c1: MLOAD
000011c2: PUSH3 0x461bcd
000011c6: PUSH1 0xe5
000011c8: SHL
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH1 0x20
000011cd: PUSH1 0x04
000011cf: DUP3
000011d0: ADD
000011d1: MSTORE
000011d2: PUSH1 0x1f
000011d4: PUSH1 0x24
000011d6: DUP3
000011d7: ADD
000011d8: MSTORE
000011d9: PUSH32 0x555344432d5368423a206c322062726964676520616c72656164792073657400
000011fa: PUSH1 0x44
000011fc: DUP3
000011fd: ADD
000011fe: MSTORE
000011ff: PUSH1 0x64
00001201: ADD
00001202: PUSH2 0x057e
00001205: JUMP
00001206: JUMPDEST
00001207: PUSH1 0x01
00001209: PUSH1 0x01
0000120b: PUSH1 0xa0
0000120d: SHL
0000120e: SUB
0000120f: DUP2
00001210: AND
00001211: PUSH2 0x075f
00001214: JUMPI
00001215: PUSH1 0x40
00001217: MLOAD
00001218: PUSH3 0x461bcd
0000121c: PUSH1 0xe5
0000121e: SHL
0000121f: DUP2
00001220: MSTORE
00001221: PUSH1 0x20
00001223: PUSH1 0x04
00001225: DUP3
00001226: ADD
00001227: MSTORE
00001228: PUSH1 0x15
0000122a: PUSH1 0x24
0000122c: DUP3
0000122d: ADD
0000122e: MSTORE
0000122f: PUSH21 0x0555344432d5368423a206c3220627269646765203
00001245: PUSH1 0x5c
00001247: SHL
00001248: PUSH1 0x44
0000124a: DUP3
0000124b: ADD
0000124c: MSTORE
0000124d: PUSH1 0x64
0000124f: ADD
00001250: PUSH2 0x057e
00001253: JUMP
00001254: JUMPDEST
00001255: PUSH2 0x125c
00001258: PUSH2 0x12c5
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x65
0000125f: DUP1
00001260: SLOAD
00001261: PUSH1 0x01
00001263: PUSH1 0x01
00001265: PUSH1 0xa0
00001267: SHL
00001268: SUB
00001269: DUP4
0000126a: AND
0000126b: PUSH1 0x01
0000126d: PUSH1 0x01
0000126f: PUSH1 0xa0
00001271: SHL
00001272: SUB
00001273: NOT
00001274: SWAP1
00001275: SWAP2
00001276: AND
00001277: DUP2
00001278: OR
00001279: SWAP1
0000127a: SWAP2
0000127b: SSTORE
0000127c: PUSH2 0x128d
0000127f: PUSH1 0x33
00001281: SLOAD
00001282: PUSH1 0x01
00001284: PUSH1 0x01
00001286: PUSH1 0xa0
00001288: SHL
00001289: SUB
0000128a: AND
0000128b: SWAP1
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH1 0x01
00001290: PUSH1 0x01
00001292: PUSH1 0xa0
00001294: SHL
00001295: SUB
00001296: AND
00001297: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: DUP1
000012bf: SWAP2
000012c0: SUB
000012c1: SWAP1
000012c2: LOG3
000012c3: POP
000012c4: JUMP
000012c5: JUMPDEST
000012c6: PUSH1 0x33
000012c8: SLOAD
000012c9: PUSH1 0x01
000012cb: PUSH1 0x01
000012cd: PUSH1 0xa0
000012cf: SHL
000012d0: SUB
000012d1: AND
000012d2: CALLER
000012d3: EQ
000012d4: PUSH2 0x0632
000012d7: JUMPI
000012d8: PUSH1 0x40
000012da: MLOAD
000012db: PUSH3 0x461bcd
000012df: PUSH1 0xe5
000012e1: SHL
000012e2: DUP2
000012e3: MSTORE
000012e4: PUSH1 0x20
000012e6: PUSH1 0x04
000012e8: DUP3
000012e9: ADD
000012ea: DUP2
000012eb: SWAP1
000012ec: MSTORE
000012ed: PUSH1 0x24
000012ef: DUP3
000012f0: ADD
000012f1: MSTORE
000012f2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001313: PUSH1 0x44
00001315: DUP3
00001316: ADD
00001317: MSTORE
00001318: PUSH1 0x64
0000131a: ADD
0000131b: PUSH2 0x057e
0000131e: JUMP
0000131f: JUMPDEST
00001320: PUSH2 0x1327
00001323: PUSH2 0x1b08
00001326: JUMP
00001327: JUMPDEST
00001328: PUSH1 0x97
0000132a: DUP1
0000132b: SLOAD
0000132c: PUSH1 0xff
0000132e: NOT
0000132f: AND
00001330: SWAP1
00001331: SSTORE
00001332: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001353: CALLER
00001354: JUMPDEST
00001355: PUSH1 0x40
00001357: MLOAD
00001358: PUSH1 0x01
0000135a: PUSH1 0x01
0000135c: PUSH1 0xa0
0000135e: SHL
0000135f: SUB
00001360: SWAP1
00001361: SWAP2
00001362: AND
00001363: DUP2
00001364: MSTORE
00001365: PUSH1 0x20
00001367: ADD
00001368: PUSH1 0x40
0000136a: MLOAD
0000136b: DUP1
0000136c: SWAP2
0000136d: SUB
0000136e: SWAP1
0000136f: LOG1
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x65
00001374: DUP1
00001375: SLOAD
00001376: PUSH1 0x01
00001378: PUSH1 0x01
0000137a: PUSH1 0xa0
0000137c: SHL
0000137d: SUB
0000137e: NOT
0000137f: AND
00001380: SWAP1
00001381: SSTORE
00001382: PUSH2 0x0814
00001385: DUP2
00001386: PUSH2 0x1b51
00001389: JUMP
0000138a: JUMPDEST
0000138b: PUSH2 0x1392
0000138e: PUSH2 0x13c7
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x97
00001395: DUP1
00001396: SLOAD
00001397: PUSH1 0xff
00001399: NOT
0000139a: AND
0000139b: PUSH1 0x01
0000139d: OR
0000139e: SWAP1
0000139f: SSTORE
000013a0: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000013c1: PUSH2 0x1354
000013c4: CALLER
000013c5: SWAP1
000013c6: JUMP
000013c7: JUMPDEST
000013c8: PUSH1 0x97
000013ca: SLOAD
000013cb: PUSH1 0xff
000013cd: AND
000013ce: ISZERO
000013cf: PUSH2 0x0632
000013d2: JUMPI
000013d3: PUSH1 0x40
000013d5: MLOAD
000013d6: PUSH3 0x461bcd
000013da: PUSH1 0xe5
000013dc: SHL
000013dd: DUP2
000013de: MSTORE
000013df: PUSH1 0x20
000013e1: PUSH1 0x04
000013e3: DUP3
000013e4: ADD
000013e5: MSTORE
000013e6: PUSH1 0x10
000013e8: PUSH1 0x24
000013ea: DUP3
000013eb: ADD
000013ec: MSTORE
000013ed: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000013fe: PUSH1 0x82
00001400: SHL
00001401: PUSH1 0x44
00001403: DUP3
00001404: ADD
00001405: MSTORE
00001406: PUSH1 0x64
00001408: ADD
00001409: PUSH2 0x057e
0000140c: JUMP
0000140d: JUMPDEST
0000140e: PUSH0
0000140f: DUP1
00001410: MLOAD
00001411: PUSH1 0x20
00001413: PUSH2 0x28c7
00001416: DUP4
00001417: CODECOPY
00001418: DUP2
00001419: MLOAD
0000141a: SWAP2
0000141b: MSTORE
0000141c: SLOAD
0000141d: PUSH1 0x01
0000141f: DUP2
00001420: EQ
00001421: PUSH2 0x1451
00001424: JUMPI
00001425: PUSH1 0x40
00001427: MLOAD
00001428: PUSH3 0x461bcd
0000142c: PUSH1 0xe5
0000142e: SHL
0000142f: DUP2
00001430: MSTORE
00001431: PUSH1 0x20
00001433: PUSH1 0x04
00001435: DUP3
00001436: ADD
00001437: MSTORE
00001438: PUSH1 0x02
0000143a: PUSH1 0x24
0000143c: DUP3
0000143d: ADD
0000143e: MSTORE
0000143f: PUSH2 0x7231
00001442: PUSH1 0xf0
00001444: SHL
00001445: PUSH1 0x44
00001447: DUP3
00001448: ADD
00001449: MSTORE
0000144a: PUSH1 0x64
0000144c: ADD
0000144d: PUSH2 0x057e
00001450: JUMP
00001451: JUMPDEST
00001452: PUSH1 0x02
00001454: PUSH0
00001455: DUP1
00001456: MLOAD
00001457: PUSH1 0x20
00001459: PUSH2 0x28c7
0000145c: DUP4
0000145d: CODECOPY
0000145e: DUP2
0000145f: MLOAD
00001460: SWAP2
00001461: MSTORE
00001462: SSTORE
00001463: PUSH2 0x146a
00001466: PUSH2 0x13c7
00001469: JUMP
0000146a: JUMPDEST
0000146b: PUSH1 0x40
0000146d: MLOAD
0000146e: PUSH4 0xb292f5f1
00001473: PUSH1 0xe0
00001475: SHL
00001476: DUP2
00001477: MSTORE
00001478: PUSH0
00001479: SWAP1
0000147a: PUSH1 0x01
0000147c: PUSH1 0x01
0000147e: PUSH1 0xa0
00001480: SHL
00001481: SUB
00001482: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
000014a3: AND
000014a4: SWAP1
000014a5: PUSH4 0xb292f5f1
000014aa: SWAP1
000014ab: PUSH2 0x14c6
000014ae: SWAP1
000014af: DUP16
000014b0: SWAP1
000014b1: DUP13
000014b2: SWAP1
000014b3: DUP13
000014b4: SWAP1
000014b5: DUP13
000014b6: SWAP1
000014b7: DUP13
000014b8: SWAP1
000014b9: DUP13
000014ba: SWAP1
000014bb: DUP13
000014bc: SWAP1
000014bd: DUP12
000014be: SWAP1
000014bf: PUSH1 0x04
000014c1: ADD
000014c2: PUSH2 0x278d
000014c5: JUMP
000014c6: JUMPDEST
000014c7: PUSH1 0x20
000014c9: PUSH1 0x40
000014cb: MLOAD
000014cc: DUP1
000014cd: DUP4
000014ce: SUB
000014cf: DUP2
000014d0: DUP7
000014d1: GAS
000014d2: STATICCALL
000014d3: ISZERO
000014d4: DUP1
000014d5: ISZERO
000014d6: PUSH2 0x14e1
000014d9: JUMPI
000014da: RETURNDATASIZE
000014db: PUSH0
000014dc: DUP1
000014dd: RETURNDATACOPY
000014de: RETURNDATASIZE
000014df: PUSH0
000014e0: REVERT
000014e1: JUMPDEST
000014e2: POP
000014e3: POP
000014e4: POP
000014e5: POP
000014e6: PUSH1 0x40
000014e8: MLOAD
000014e9: RETURNDATASIZE
000014ea: PUSH1 0x1f
000014ec: NOT
000014ed: PUSH1 0x1f
000014ef: DUP3
000014f0: ADD
000014f1: AND
000014f2: DUP3
000014f3: ADD
000014f4: DUP1
000014f5: PUSH1 0x40
000014f7: MSTORE
000014f8: POP
000014f9: DUP2
000014fa: ADD
000014fb: SWAP1
000014fc: PUSH2 0x1505
000014ff: SWAP2
00001500: SWAP1
00001501: PUSH2 0x27f3
00001504: JUMP
00001505: JUMPDEST
00001506: SWAP1
00001507: POP
00001508: DUP1
00001509: PUSH2 0x1539
0000150c: JUMPI
0000150d: PUSH1 0x40
0000150f: MLOAD
00001510: PUSH3 0x461bcd
00001514: PUSH1 0xe5
00001516: SHL
00001517: DUP2
00001518: MSTORE
00001519: PUSH1 0x20
0000151b: PUSH1 0x04
0000151d: DUP3
0000151e: ADD
0000151f: MSTORE
00001520: PUSH1 0x02
00001522: PUSH1 0x24
00001524: DUP3
00001525: ADD
00001526: MSTORE
00001527: PUSH2 0x3cb7
0000152a: PUSH1 0xf1
0000152c: SHL
0000152d: PUSH1 0x44
0000152f: DUP3
00001530: ADD
00001531: MSTORE
00001532: PUSH1 0x64
00001534: ADD
00001535: PUSH2 0x057e
00001538: JUMP
00001539: JUMPDEST
0000153a: PUSH0
0000153b: DUP10
0000153c: GT
0000153d: PUSH2 0x156d
00001540: JUMPI
00001541: PUSH1 0x40
00001543: MLOAD
00001544: PUSH3 0x461bcd
00001548: PUSH1 0xe5
0000154a: SHL
0000154b: DUP2
0000154c: MSTORE
0000154d: PUSH1 0x20
0000154f: PUSH1 0x04
00001551: DUP3
00001552: ADD
00001553: MSTORE
00001554: PUSH1 0x02
00001556: PUSH1 0x24
00001558: DUP3
00001559: ADD
0000155a: MSTORE
0000155b: PUSH2 0x7931
0000155e: PUSH1 0xf0
00001560: SHL
00001561: PUSH1 0x44
00001563: DUP3
00001564: ADD
00001565: MSTORE
00001566: PUSH1 0x64
00001568: ADD
00001569: PUSH2 0x057e
0000156c: JUMP
0000156d: JUMPDEST
0000156e: DUP11
0000156f: DUP11
00001570: DUP11
00001571: PUSH1 0x40
00001573: MLOAD
00001574: PUSH1 0x20
00001576: ADD
00001577: PUSH2 0x1582
0000157a: SWAP4
0000157b: SWAP3
0000157c: SWAP2
0000157d: SWAP1
0000157e: PUSH2 0x26bf
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x40
00001585: DUP1
00001586: MLOAD
00001587: PUSH1 0x1f
00001589: NOT
0000158a: DUP2
0000158b: DUP5
0000158c: SUB
0000158d: ADD
0000158e: DUP2
0000158f: MSTORE
00001590: SWAP2
00001591: DUP2
00001592: MSTORE
00001593: DUP2
00001594: MLOAD
00001595: PUSH1 0x20
00001597: SWAP3
00001598: DUP4
00001599: ADD
0000159a: KECCAK256
0000159b: PUSH0
0000159c: DUP16
0000159d: DUP2
0000159e: MSTORE
0000159f: PUSH1 0xca
000015a1: DUP5
000015a2: MSTORE
000015a3: DUP3
000015a4: DUP2
000015a5: KECCAK256
000015a6: DUP13
000015a7: DUP3
000015a8: MSTORE
000015a9: SWAP1
000015aa: SWAP4
000015ab: MSTORE
000015ac: SWAP2
000015ad: KECCAK256
000015ae: SLOAD
000015af: EQ
000015b0: PUSH2 0x15f4
000015b3: JUMPI
000015b4: PUSH1 0x40
000015b6: MLOAD
000015b7: PUSH3 0x461bcd
000015bb: PUSH1 0xe5
000015bd: SHL
000015be: DUP2
000015bf: MSTORE
000015c0: PUSH1 0x20
000015c2: PUSH1 0x04
000015c4: DUP3
000015c5: ADD
000015c6: MSTORE
000015c7: PUSH1 0x16
000015c9: PUSH1 0x24
000015cb: DUP3
000015cc: ADD
000015cd: MSTORE
000015ce: PUSH22 0x0555344432d5368423a20642e6974206e6f742068617
000015e5: PUSH1 0x54
000015e7: SHL
000015e8: PUSH1 0x44
000015ea: DUP3
000015eb: ADD
000015ec: MSTORE
000015ed: PUSH1 0x64
000015ef: ADD
000015f0: PUSH2 0x057e
000015f3: JUMP
000015f4: JUMPDEST
000015f5: PUSH0
000015f6: DUP13
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0xca
000015fb: PUSH1 0x20
000015fd: SWAP1
000015fe: DUP2
000015ff: MSTORE
00001600: PUSH1 0x40
00001602: DUP1
00001603: DUP4
00001604: KECCAK256
00001605: DUP12
00001606: DUP5
00001607: MSTORE
00001608: DUP3
00001609: MSTORE
0000160a: DUP1
0000160b: DUP4
0000160c: KECCAK256
0000160d: DUP4
0000160e: SWAP1
0000160f: SSTORE
00001610: DUP15
00001611: DUP4
00001612: MSTORE
00001613: PUSH1 0xcc
00001615: SWAP1
00001616: SWAP2
00001617: MSTORE
00001618: SWAP1
00001619: KECCAK256
0000161a: SLOAD
0000161b: PUSH1 0xff
0000161d: AND
0000161e: PUSH2 0x16bc
00001621: JUMPI
00001622: PUSH0
00001623: DUP13
00001624: DUP2
00001625: MSTORE
00001626: PUSH1 0xcd
00001628: PUSH1 0x20
0000162a: SWAP1
0000162b: DUP2
0000162c: MSTORE
0000162d: PUSH1 0x40
0000162f: DUP1
00001630: DUP4
00001631: KECCAK256
00001632: PUSH1 0x01
00001634: PUSH1 0x01
00001636: PUSH1 0xa0
00001638: SHL
00001639: SUB
0000163a: DUP15
0000163b: AND
0000163c: DUP5
0000163d: MSTORE
0000163e: SWAP1
0000163f: SWAP2
00001640: MSTORE
00001641: SWAP1
00001642: KECCAK256
00001643: SLOAD
00001644: DUP10
00001645: GT
00001646: ISZERO
00001647: PUSH2 0x1685
0000164a: JUMPI
0000164b: PUSH1 0x40
0000164d: MLOAD
0000164e: PUSH3 0x461bcd
00001652: PUSH1 0xe5
00001654: SHL
00001655: DUP2
00001656: MSTORE
00001657: PUSH1 0x20
00001659: PUSH1 0x04
0000165b: DUP3
0000165c: ADD
0000165d: MSTORE
0000165e: PUSH1 0x10
00001660: PUSH1 0x24
00001662: DUP3
00001663: ADD
00001664: MSTORE
00001665: PUSH16 0x555344432d536842206e2066756e6473
00001676: PUSH1 0x80
00001678: SHL
00001679: PUSH1 0x44
0000167b: DUP3
0000167c: ADD
0000167d: MSTORE
0000167e: PUSH1 0x64
00001680: ADD
00001681: PUSH2 0x057e
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH0
00001687: DUP13
00001688: DUP2
00001689: MSTORE
0000168a: PUSH1 0xcd
0000168c: PUSH1 0x20
0000168e: SWAP1
0000168f: DUP2
00001690: MSTORE
00001691: PUSH1 0x40
00001693: DUP1
00001694: DUP4
00001695: KECCAK256
00001696: PUSH1 0x01
00001698: PUSH1 0x01
0000169a: PUSH1 0xa0
0000169c: SHL
0000169d: SUB
0000169e: DUP15
0000169f: AND
000016a0: DUP5
000016a1: MSTORE
000016a2: SWAP1
000016a3: SWAP2
000016a4: MSTORE
000016a5: DUP2
000016a6: KECCAK256
000016a7: DUP1
000016a8: SLOAD
000016a9: DUP12
000016aa: SWAP3
000016ab: SWAP1
000016ac: PUSH2 0x16b6
000016af: SWAP1
000016b0: DUP5
000016b1: SWAP1
000016b2: PUSH2 0x274a
000016b5: JUMP
000016b6: JUMPDEST
000016b7: SWAP1
000016b8: SWAP2
000016b9: SSTORE
000016ba: POP
000016bb: POP
000016bc: JUMPDEST
000016bd: PUSH2 0x16d0
000016c0: PUSH1 0x01
000016c2: PUSH1 0x01
000016c4: PUSH1 0xa0
000016c6: SHL
000016c7: SUB
000016c8: DUP12
000016c9: AND
000016ca: DUP13
000016cb: DUP12
000016cc: PUSH2 0x1ba2
000016cf: JUMP
000016d0: JUMPDEST
000016d1: DUP10
000016d2: PUSH1 0x01
000016d4: PUSH1 0x01
000016d6: PUSH1 0xa0
000016d8: SHL
000016d9: SUB
000016da: AND
000016db: DUP12
000016dc: PUSH1 0x01
000016de: PUSH1 0x01
000016e0: PUSH1 0xa0
000016e2: SHL
000016e3: SUB
000016e4: AND
000016e5: DUP14
000016e6: PUSH32 0x3bd55dc610580f1af96f4071b65e94fe7fedb1ccd1c57e2befd807fb806dd047
00001707: DUP13
00001708: PUSH1 0x40
0000170a: MLOAD
0000170b: PUSH2 0x1716
0000170e: SWAP2
0000170f: DUP2
00001710: MSTORE
00001711: PUSH1 0x20
00001713: ADD
00001714: SWAP1
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH1 0x40
00001719: MLOAD
0000171a: DUP1
0000171b: SWAP2
0000171c: SUB
0000171d: SWAP1
0000171e: LOG4
0000171f: POP
00001720: PUSH1 0x01
00001722: PUSH0
00001723: DUP1
00001724: MLOAD
00001725: PUSH1 0x20
00001727: PUSH2 0x28c7
0000172a: DUP4
0000172b: CODECOPY
0000172c: DUP2
0000172d: MLOAD
0000172e: SWAP2
0000172f: MSTORE
00001730: SSTORE
00001731: POP
00001732: POP
00001733: POP
00001734: POP
00001735: POP
00001736: POP
00001737: POP
00001738: POP
00001739: POP
0000173a: POP
0000173b: POP
0000173c: JUMP
0000173d: JUMPDEST
0000173e: PUSH0
0000173f: DUP1
00001740: MLOAD
00001741: PUSH1 0x20
00001743: PUSH2 0x28c7
00001746: DUP4
00001747: CODECOPY
00001748: DUP2
00001749: MLOAD
0000174a: SWAP2
0000174b: MSTORE
0000174c: DUP1
0000174d: SLOAD
0000174e: PUSH1 0x01
00001750: SWAP1
00001751: SWAP2
00001752: SSTORE
00001753: DUP1
00001754: ISZERO
00001755: PUSH2 0x0814
00001758: JUMPI
00001759: PUSH1 0x40
0000175b: MLOAD
0000175c: PUSH3 0x461bcd
00001760: PUSH1 0xe5
00001762: SHL
00001763: DUP2
00001764: MSTORE
00001765: PUSH1 0x20
00001767: PUSH1 0x04
00001769: DUP3
0000176a: ADD
0000176b: MSTORE
0000176c: PUSH1 0x02
0000176e: PUSH1 0x24
00001770: DUP3
00001771: ADD
00001772: MSTORE
00001773: PUSH2 0x18a1
00001776: PUSH1 0xf1
00001778: SHL
00001779: PUSH1 0x44
0000177b: DUP3
0000177c: ADD
0000177d: MSTORE
0000177e: PUSH1 0x64
00001780: ADD
00001781: PUSH2 0x057e
00001784: JUMP
00001785: JUMPDEST
00001786: PUSH0
00001787: DUP1
00001788: PUSH0
00001789: DUP1
0000178a: PUSH0
0000178b: DUP1
0000178c: MLOAD
0000178d: PUSH1 0x20
0000178f: PUSH2 0x28c7
00001792: DUP4
00001793: CODECOPY
00001794: DUP2
00001795: MLOAD
00001796: SWAP2
00001797: MSTORE
00001798: SLOAD
00001799: SWAP1
0000179a: POP
0000179b: PUSH1 0x01
0000179d: DUP2
0000179e: EQ
0000179f: PUSH2 0x17cf
000017a2: JUMPI
000017a3: PUSH1 0x40
000017a5: MLOAD
000017a6: PUSH3 0x461bcd
000017aa: PUSH1 0xe5
000017ac: SHL
000017ad: DUP2
000017ae: MSTORE
000017af: PUSH1 0x20
000017b1: PUSH1 0x04
000017b3: DUP3
000017b4: ADD
000017b5: MSTORE
000017b6: PUSH1 0x02
000017b8: PUSH1 0x24
000017ba: DUP3
000017bb: ADD
000017bc: MSTORE
000017bd: PUSH2 0x7231
000017c0: PUSH1 0xf0
000017c2: SHL
000017c3: PUSH1 0x44
000017c5: DUP3
000017c6: ADD
000017c7: MSTORE
000017c8: PUSH1 0x64
000017ca: ADD
000017cb: PUSH2 0x057e
000017ce: JUMP
000017cf: JUMPDEST
000017d0: PUSH1 0x02
000017d2: PUSH0
000017d3: DUP1
000017d4: MLOAD
000017d5: PUSH1 0x20
000017d7: PUSH2 0x28c7
000017da: DUP4
000017db: CODECOPY
000017dc: DUP2
000017dd: MLOAD
000017de: SWAP2
000017df: MSTORE
000017e0: SSTORE
000017e1: PUSH2 0x17e8
000017e4: PUSH2 0x13c7
000017e7: JUMP
000017e8: JUMPDEST
000017e9: PUSH0
000017ea: DUP13
000017eb: DUP2
000017ec: MSTORE
000017ed: PUSH1 0xcb
000017ef: PUSH1 0x20
000017f1: SWAP1
000017f2: DUP2
000017f3: MSTORE
000017f4: PUSH1 0x40
000017f6: DUP1
000017f7: DUP4
000017f8: KECCAK256
000017f9: DUP15
000017fa: DUP5
000017fb: MSTORE
000017fc: DUP3
000017fd: MSTORE
000017fe: DUP1
000017ff: DUP4
00001800: KECCAK256
00001801: DUP14
00001802: DUP5
00001803: MSTORE
00001804: SWAP1
00001805: SWAP2
00001806: MSTORE
00001807: SWAP1
00001808: KECCAK256
00001809: SLOAD
0000180a: PUSH1 0xff
0000180c: AND
0000180d: ISZERO
0000180e: PUSH2 0x1859
00001811: JUMPI
00001812: PUSH1 0x40
00001814: MLOAD
00001815: PUSH3 0x461bcd
00001819: PUSH1 0xe5
0000181b: SHL
0000181c: DUP2
0000181d: MSTORE
0000181e: PUSH1 0x20
00001820: PUSH1 0x04
00001822: DUP3
00001823: ADD
00001824: MSTORE
00001825: PUSH1 0x1f
00001827: PUSH1 0x24
00001829: DUP3
0000182a: ADD
0000182b: MSTORE
0000182c: PUSH32 0x5769746864726177616c20697320616c72656164792066696e616c697a656400
0000184d: PUSH1 0x44
0000184f: DUP3
00001850: ADD
00001851: MSTORE
00001852: PUSH1 0x64
00001854: ADD
00001855: PUSH2 0x057e
00001858: JUMP
00001859: JUMPDEST
0000185a: PUSH0
0000185b: DUP13
0000185c: DUP2
0000185d: MSTORE
0000185e: PUSH1 0xcb
00001860: PUSH1 0x20
00001862: SWAP1
00001863: DUP2
00001864: MSTORE
00001865: PUSH1 0x40
00001867: DUP1
00001868: DUP4
00001869: KECCAK256
0000186a: DUP15
0000186b: DUP5
0000186c: MSTORE
0000186d: DUP3
0000186e: MSTORE
0000186f: DUP1
00001870: DUP4
00001871: KECCAK256
00001872: DUP14
00001873: DUP5
00001874: MSTORE
00001875: DUP3
00001876: MSTORE
00001877: SWAP2
00001878: DUP3
00001879: SWAP1
0000187a: KECCAK256
0000187b: DUP1
0000187c: SLOAD
0000187d: PUSH1 0xff
0000187f: NOT
00001880: AND
00001881: PUSH1 0x01
00001883: OR
00001884: SWAP1
00001885: SSTORE
00001886: DUP2
00001887: MLOAD
00001888: PUSH1 0x60
0000188a: DUP2
0000188b: ADD
0000188c: DUP4
0000188d: MSTORE
0000188e: DUP14
0000188f: DUP2
00001890: MSTORE
00001891: SWAP1
00001892: DUP2
00001893: ADD
00001894: DUP13
00001895: SWAP1
00001896: MSTORE
00001897: PUSH2 0xffff
0000189a: DUP12
0000189b: AND
0000189c: SWAP2
0000189d: DUP2
0000189e: ADD
0000189f: SWAP2
000018a0: SWAP1
000018a1: SWAP2
000018a2: MSTORE
000018a3: PUSH2 0x18b0
000018a6: DUP14
000018a7: DUP3
000018a8: DUP12
000018a9: DUP12
000018aa: DUP12
000018ab: DUP12
000018ac: PUSH2 0x1c0a
000018af: JUMP
000018b0: JUMPDEST
000018b1: DUP1
000018b2: SWAP6
000018b3: POP
000018b4: DUP2
000018b5: SWAP7
000018b6: POP
000018b7: DUP3
000018b8: SWAP8
000018b9: POP
000018ba: POP
000018bb: POP
000018bc: POP
000018bd: PUSH1 0xcc
000018bf: PUSH0
000018c0: DUP15
000018c1: DUP2
000018c2: MSTORE
000018c3: PUSH1 0x20
000018c5: ADD
000018c6: SWAP1
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: PUSH0
000018cd: KECCAK256
000018ce: PUSH0
000018cf: SWAP1
000018d0: SLOAD
000018d1: SWAP1
000018d2: PUSH2 0x0100
000018d5: EXP
000018d6: SWAP1
000018d7: DIV
000018d8: PUSH1 0xff
000018da: AND
000018db: PUSH2 0x1986
000018de: JUMPI
000018df: PUSH0
000018e0: DUP14
000018e1: DUP2
000018e2: MSTORE
000018e3: PUSH1 0xcd
000018e5: PUSH1 0x20
000018e7: SWAP1
000018e8: DUP2
000018e9: MSTORE
000018ea: PUSH1 0x40
000018ec: DUP1
000018ed: DUP4
000018ee: KECCAK256
000018ef: PUSH1 0x01
000018f1: PUSH1 0x01
000018f3: PUSH1 0xa0
000018f5: SHL
000018f6: SUB
000018f7: DUP9
000018f8: AND
000018f9: DUP5
000018fa: MSTORE
000018fb: SWAP1
000018fc: SWAP2
000018fd: MSTORE
000018fe: SWAP1
000018ff: KECCAK256
00001900: SLOAD
00001901: DUP4
00001902: GT
00001903: ISZERO
00001904: PUSH2 0x194f
00001907: JUMPI
00001908: PUSH1 0x40
0000190a: MLOAD
0000190b: PUSH3 0x461bcd
0000190f: PUSH1 0xe5
00001911: SHL
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x20
00001916: PUSH1 0x04
00001918: DUP3
00001919: ADD
0000191a: MSTORE
0000191b: PUSH1 0x1b
0000191d: PUSH1 0x24
0000191f: DUP3
00001920: ADD
00001921: MSTORE
00001922: PUSH32 0x555344432d536842206e6f7420656e6f7567682066756e647320320000000000
00001943: PUSH1 0x44
00001945: DUP3
00001946: ADD
00001947: MSTORE
00001948: PUSH1 0x64
0000194a: ADD
0000194b: PUSH2 0x057e
0000194e: JUMP
0000194f: JUMPDEST
00001950: PUSH0
00001951: DUP14
00001952: DUP2
00001953: MSTORE
00001954: PUSH1 0xcd
00001956: PUSH1 0x20
00001958: SWAP1
00001959: DUP2
0000195a: MSTORE
0000195b: PUSH1 0x40
0000195d: DUP1
0000195e: DUP4
0000195f: KECCAK256
00001960: PUSH1 0x01
00001962: PUSH1 0x01
00001964: PUSH1 0xa0
00001966: SHL
00001967: SUB
00001968: DUP9
00001969: AND
0000196a: DUP5
0000196b: MSTORE
0000196c: SWAP1
0000196d: SWAP2
0000196e: MSTORE
0000196f: DUP2
00001970: KECCAK256
00001971: DUP1
00001972: SLOAD
00001973: DUP6
00001974: SWAP3
00001975: SWAP1
00001976: PUSH2 0x1980
00001979: SWAP1
0000197a: DUP5
0000197b: SWAP1
0000197c: PUSH2 0x274a
0000197f: JUMP
00001980: JUMPDEST
00001981: SWAP1
00001982: SWAP2
00001983: SSTORE
00001984: POP
00001985: POP
00001986: JUMPDEST
00001987: PUSH2 0x199a
0000198a: PUSH1 0x01
0000198c: PUSH1 0x01
0000198e: PUSH1 0xa0
00001990: SHL
00001991: SUB
00001992: DUP6
00001993: AND
00001994: DUP7
00001995: DUP6
00001996: PUSH2 0x1ba2
00001999: JUMP
0000199a: JUMPDEST
0000199b: DUP4
0000199c: PUSH1 0x01
0000199e: PUSH1 0x01
000019a0: PUSH1 0xa0
000019a2: SHL
000019a3: SUB
000019a4: AND
000019a5: DUP6
000019a6: PUSH1 0x01
000019a8: PUSH1 0x01
000019aa: PUSH1 0xa0
000019ac: SHL
000019ad: SUB
000019ae: AND
000019af: DUP15
000019b0: PUSH32 0x05518b128f0a9b11ddddebd5211a7fc2f4a689dab3a3e258d93eb13049983c3e
000019d1: DUP7
000019d2: PUSH1 0x40
000019d4: MLOAD
000019d5: PUSH2 0x19e0
000019d8: SWAP2
000019d9: DUP2
000019da: MSTORE
000019db: PUSH1 0x20
000019dd: ADD
000019de: SWAP1
000019df: JUMP
000019e0: JUMPDEST
000019e1: PUSH1 0x40
000019e3: MLOAD
000019e4: DUP1
000019e5: SWAP2
000019e6: SUB
000019e7: SWAP1
000019e8: LOG4
000019e9: POP
000019ea: PUSH1 0x01
000019ec: PUSH0
000019ed: DUP1
000019ee: MLOAD
000019ef: PUSH1 0x20
000019f1: PUSH2 0x28c7
000019f4: DUP4
000019f5: CODECOPY
000019f6: DUP2
000019f7: MLOAD
000019f8: SWAP2
000019f9: MSTORE
000019fa: SSTORE
000019fb: POP
000019fc: SWAP9
000019fd: POP
000019fe: SWAP9
000019ff: POP
00001a00: SWAP9
00001a01: SWAP6
00001a02: POP
00001a03: POP
00001a04: POP
00001a05: POP
00001a06: POP
00001a07: POP
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: PUSH1 0x40
00001a0c: MLOAD
00001a0d: PUSH4 0x70a08231
00001a12: PUSH1 0xe0
00001a14: SHL
00001a15: DUP2
00001a16: MSTORE
00001a17: ADDRESS
00001a18: PUSH1 0x04
00001a1a: DUP3
00001a1b: ADD
00001a1c: MSTORE
00001a1d: PUSH0
00001a1e: SWAP1
00001a1f: DUP2
00001a20: SWAP1
00001a21: PUSH1 0x01
00001a23: PUSH1 0x01
00001a25: PUSH1 0xa0
00001a27: SHL
00001a28: SUB
00001a29: DUP6
00001a2a: AND
00001a2b: SWAP1
00001a2c: PUSH4 0x70a08231
00001a31: SWAP1
00001a32: PUSH1 0x24
00001a34: ADD
00001a35: PUSH1 0x20
00001a37: PUSH1 0x40
00001a39: MLOAD
00001a3a: DUP1
00001a3b: DUP4
00001a3c: SUB
00001a3d: DUP2
00001a3e: DUP7
00001a3f: GAS
00001a40: STATICCALL
00001a41: ISZERO
00001a42: DUP1
00001a43: ISZERO
00001a44: PUSH2 0x1a4f
00001a47: JUMPI
00001a48: RETURNDATASIZE
00001a49: PUSH0
00001a4a: DUP1
00001a4b: RETURNDATACOPY
00001a4c: RETURNDATASIZE
00001a4d: PUSH0
00001a4e: REVERT
00001a4f: JUMPDEST
00001a50: POP
00001a51: POP
00001a52: POP
00001a53: POP
00001a54: PUSH1 0x40
00001a56: MLOAD
00001a57: RETURNDATASIZE
00001a58: PUSH1 0x1f
00001a5a: NOT
00001a5b: PUSH1 0x1f
00001a5d: DUP3
00001a5e: ADD
00001a5f: AND
00001a60: DUP3
00001a61: ADD
00001a62: DUP1
00001a63: PUSH1 0x40
00001a65: MSTORE
00001a66: POP
00001a67: DUP2
00001a68: ADD
00001a69: SWAP1
00001a6a: PUSH2 0x1a73
00001a6d: SWAP2
00001a6e: SWAP1
00001a6f: PUSH2 0x2812
00001a72: JUMP
00001a73: JUMPDEST
00001a74: SWAP1
00001a75: POP
00001a76: PUSH2 0x1a8a
00001a79: PUSH1 0x01
00001a7b: PUSH1 0x01
00001a7d: PUSH1 0xa0
00001a7f: SHL
00001a80: SUB
00001a81: DUP6
00001a82: AND
00001a83: DUP7
00001a84: ADDRESS
00001a85: DUP7
00001a86: PUSH2 0x1e9b
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: PUSH1 0x40
00001a8d: MLOAD
00001a8e: PUSH4 0x70a08231
00001a93: PUSH1 0xe0
00001a95: SHL
00001a96: DUP2
00001a97: MSTORE
00001a98: ADDRESS
00001a99: PUSH1 0x04
00001a9b: DUP3
00001a9c: ADD
00001a9d: MSTORE
00001a9e: PUSH0
00001a9f: SWAP1
00001aa0: PUSH1 0x01
00001aa2: PUSH1 0x01
00001aa4: PUSH1 0xa0
00001aa6: SHL
00001aa7: SUB
00001aa8: DUP7
00001aa9: AND
00001aaa: SWAP1
00001aab: PUSH4 0x70a08231
00001ab0: SWAP1
00001ab1: PUSH1 0x24
00001ab3: ADD
00001ab4: PUSH1 0x20
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: DUP1
00001aba: DUP4
00001abb: SUB
00001abc: DUP2
00001abd: DUP7
00001abe: GAS
00001abf: STATICCALL
00001ac0: ISZERO
00001ac1: DUP1
00001ac2: ISZERO
00001ac3: PUSH2 0x1ace
00001ac6: JUMPI
00001ac7: RETURNDATASIZE
00001ac8: PUSH0
00001ac9: DUP1
00001aca: RETURNDATACOPY
00001acb: RETURNDATASIZE
00001acc: PUSH0
00001acd: REVERT
00001ace: JUMPDEST
00001acf: POP
00001ad0: POP
00001ad1: POP
00001ad2: POP
00001ad3: PUSH1 0x40
00001ad5: MLOAD
00001ad6: RETURNDATASIZE
00001ad7: PUSH1 0x1f
00001ad9: NOT
00001ada: PUSH1 0x1f
00001adc: DUP3
00001add: ADD
00001ade: AND
00001adf: DUP3
00001ae0: ADD
00001ae1: DUP1
00001ae2: PUSH1 0x40
00001ae4: MSTORE
00001ae5: POP
00001ae6: DUP2
00001ae7: ADD
00001ae8: SWAP1
00001ae9: PUSH2 0x1af2
00001aec: SWAP2
00001aed: SWAP1
00001aee: PUSH2 0x2812
00001af1: JUMP
00001af2: JUMPDEST
00001af3: SWAP1
00001af4: POP
00001af5: PUSH2 0x1afe
00001af8: DUP3
00001af9: DUP3
00001afa: PUSH2 0x274a
00001afd: JUMP
00001afe: JUMPDEST
00001aff: SWAP7
00001b00: SWAP6
00001b01: POP
00001b02: POP
00001b03: POP
00001b04: POP
00001b05: POP
00001b06: POP
00001b07: JUMP
00001b08: JUMPDEST
00001b09: PUSH1 0x97
00001b0b: SLOAD
00001b0c: PUSH1 0xff
00001b0e: AND
00001b0f: PUSH2 0x0632
00001b12: JUMPI
00001b13: PUSH1 0x40
00001b15: MLOAD
00001b16: PUSH3 0x461bcd
00001b1a: PUSH1 0xe5
00001b1c: SHL
00001b1d: DUP2
00001b1e: MSTORE
00001b1f: PUSH1 0x20
00001b21: PUSH1 0x04
00001b23: DUP3
00001b24: ADD
00001b25: MSTORE
00001b26: PUSH1 0x14
00001b28: PUSH1 0x24
00001b2a: DUP3
00001b2b: ADD
00001b2c: MSTORE
00001b2d: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001b42: PUSH1 0x62
00001b44: SHL
00001b45: PUSH1 0x44
00001b47: DUP3
00001b48: ADD
00001b49: MSTORE
00001b4a: PUSH1 0x64
00001b4c: ADD
00001b4d: PUSH2 0x057e
00001b50: JUMP
00001b51: JUMPDEST
00001b52: PUSH1 0x33
00001b54: DUP1
00001b55: SLOAD
00001b56: PUSH1 0x01
00001b58: PUSH1 0x01
00001b5a: PUSH1 0xa0
00001b5c: SHL
00001b5d: SUB
00001b5e: DUP4
00001b5f: DUP2
00001b60: AND
00001b61: PUSH1 0x01
00001b63: PUSH1 0x01
00001b65: PUSH1 0xa0
00001b67: SHL
00001b68: SUB
00001b69: NOT
00001b6a: DUP4
00001b6b: AND
00001b6c: DUP2
00001b6d: OR
00001b6e: SWAP1
00001b6f: SWAP4
00001b70: SSTORE
00001b71: PUSH1 0x40
00001b73: MLOAD
00001b74: SWAP2
00001b75: AND
00001b76: SWAP2
00001b77: SWAP1
00001b78: DUP3
00001b79: SWAP1
00001b7a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001b9b: SWAP1
00001b9c: PUSH0
00001b9d: SWAP1
00001b9e: LOG3
00001b9f: POP
00001ba0: POP
00001ba1: JUMP
00001ba2: JUMPDEST
00001ba3: PUSH1 0x40
00001ba5: MLOAD
00001ba6: PUSH1 0x01
00001ba8: PUSH1 0x01
00001baa: PUSH1 0xa0
00001bac: SHL
00001bad: SUB
00001bae: DUP4
00001baf: AND
00001bb0: PUSH1 0x24
00001bb2: DUP3
00001bb3: ADD
00001bb4: MSTORE
00001bb5: PUSH1 0x44
00001bb7: DUP2
00001bb8: ADD
00001bb9: DUP3
00001bba: SWAP1
00001bbb: MSTORE
00001bbc: PUSH2 0x1c05
00001bbf: SWAP1
00001bc0: DUP5
00001bc1: SWAP1
00001bc2: PUSH4 0xa9059cbb
00001bc7: PUSH1 0xe0
00001bc9: SHL
00001bca: SWAP1
00001bcb: PUSH1 0x64
00001bcd: ADD
00001bce: JUMPDEST
00001bcf: PUSH1 0x40
00001bd1: DUP1
00001bd2: MLOAD
00001bd3: PUSH1 0x1f
00001bd5: NOT
00001bd6: DUP2
00001bd7: DUP5
00001bd8: SUB
00001bd9: ADD
00001bda: DUP2
00001bdb: MSTORE
00001bdc: SWAP2
00001bdd: SWAP1
00001bde: MSTORE
00001bdf: PUSH1 0x20
00001be1: DUP2
00001be2: ADD
00001be3: DUP1
00001be4: MLOAD
00001be5: PUSH1 0x01
00001be7: PUSH1 0x01
00001be9: PUSH1 0xe0
00001beb: SHL
00001bec: SUB
00001bed: AND
00001bee: PUSH1 0x01
00001bf0: PUSH1 0x01
00001bf2: PUSH1 0xe0
00001bf4: SHL
00001bf5: SUB
00001bf6: NOT
00001bf7: SWAP1
00001bf8: SWAP4
00001bf9: AND
00001bfa: SWAP3
00001bfb: SWAP1
00001bfc: SWAP3
00001bfd: OR
00001bfe: SWAP1
00001bff: SWAP2
00001c00: MSTORE
00001c01: PUSH2 0x1ec2
00001c04: JUMP
00001c05: JUMPDEST
00001c06: POP
00001c07: POP
00001c08: POP
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: PUSH0
00001c0c: DUP1
00001c0d: PUSH0
00001c0e: PUSH2 0x1c4b
00001c11: DUP8
00001c12: DUP8
00001c13: DUP1
00001c14: DUP1
00001c15: PUSH1 0x1f
00001c17: ADD
00001c18: PUSH1 0x20
00001c1a: DUP1
00001c1b: SWAP2
00001c1c: DIV
00001c1d: MUL
00001c1e: PUSH1 0x20
00001c20: ADD
00001c21: PUSH1 0x40
00001c23: MLOAD
00001c24: SWAP1
00001c25: DUP2
00001c26: ADD
00001c27: PUSH1 0x40
00001c29: MSTORE
00001c2a: DUP1
00001c2b: SWAP4
00001c2c: SWAP3
00001c2d: SWAP2
00001c2e: SWAP1
00001c2f: DUP2
00001c30: DUP2
00001c31: MSTORE
00001c32: PUSH1 0x20
00001c34: ADD
00001c35: DUP4
00001c36: DUP4
00001c37: DUP1
00001c38: DUP3
00001c39: DUP5
00001c3a: CALLDATACOPY
00001c3b: PUSH0
00001c3c: SWAP3
00001c3d: ADD
00001c3e: SWAP2
00001c3f: SWAP1
00001c40: SWAP2
00001c41: MSTORE
00001c42: POP
00001c43: PUSH2 0x1f95
00001c46: SWAP3
00001c47: POP
00001c48: POP
00001c49: POP
00001c4a: JUMP
00001c4b: JUMPDEST
00001c4c: PUSH1 0x40
00001c4e: DUP1
00001c4f: MLOAD
00001c50: PUSH1 0x60
00001c52: DUP1
00001c53: DUP3
00001c54: ADD
00001c55: DUP4
00001c56: MSTORE
00001c57: PUSH0
00001c58: DUP1
00001c59: DUP4
00001c5a: MSTORE
00001c5b: PUSH1 0x20
00001c5d: DUP4
00001c5e: ADD
00001c5f: MSTORE
00001c60: SWAP2
00001c61: DUP2
00001c62: ADD
00001c63: SWAP2
00001c64: SWAP1
00001c65: SWAP2
00001c66: MSTORE
00001c67: SWAP3
00001c68: SWAP6
00001c69: POP
00001c6a: SWAP1
00001c6b: SWAP4
00001c6c: POP
00001c6d: SWAP2
00001c6e: POP
00001c6f: PUSH1 0x40
00001c71: MLOAD
00001c72: PUSH4 0x2cf632d1
00001c77: PUSH1 0xe1
00001c79: SHL
00001c7a: DUP2
00001c7b: MSTORE
00001c7c: PUSH1 0x04
00001c7e: DUP2
00001c7f: ADD
00001c80: DUP12
00001c81: SWAP1
00001c82: MSTORE
00001c83: PUSH0
00001c84: SWAP1
00001c85: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
00001ca6: PUSH1 0x01
00001ca8: PUSH1 0x01
00001caa: PUSH1 0xa0
00001cac: SHL
00001cad: SUB
00001cae: AND
00001caf: SWAP1
00001cb0: PUSH4 0x59ec65a2
00001cb5: SWAP1
00001cb6: PUSH1 0x24
00001cb8: ADD
00001cb9: PUSH1 0x20
00001cbb: PUSH1 0x40
00001cbd: MLOAD
00001cbe: DUP1
00001cbf: DUP4
00001cc0: SUB
00001cc1: DUP2
00001cc2: DUP7
00001cc3: GAS
00001cc4: STATICCALL
00001cc5: ISZERO
00001cc6: DUP1
00001cc7: ISZERO
00001cc8: PUSH2 0x1cd3
00001ccb: JUMPI
00001ccc: RETURNDATASIZE
00001ccd: PUSH0
00001cce: DUP1
00001ccf: RETURNDATACOPY
00001cd0: RETURNDATASIZE
00001cd1: PUSH0
00001cd2: REVERT
00001cd3: JUMPDEST
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: POP
00001cd8: PUSH1 0x40
00001cda: MLOAD
00001cdb: RETURNDATASIZE
00001cdc: PUSH1 0x1f
00001cde: NOT
00001cdf: PUSH1 0x1f
00001ce1: DUP3
00001ce2: ADD
00001ce3: AND
00001ce4: DUP3
00001ce5: ADD
00001ce6: DUP1
00001ce7: PUSH1 0x40
00001ce9: MSTORE
00001cea: POP
00001ceb: DUP2
00001cec: ADD
00001ced: SWAP1
00001cee: PUSH2 0x1cf7
00001cf1: SWAP2
00001cf2: SWAP1
00001cf3: PUSH2 0x26a4
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: PUSH1 0x01
00001cfa: PUSH1 0x01
00001cfc: PUSH1 0xa0
00001cfe: SHL
00001cff: SUB
00001d00: AND
00001d01: DUP5
00001d02: PUSH1 0x01
00001d04: PUSH1 0x01
00001d06: PUSH1 0xa0
00001d08: SHL
00001d09: SUB
00001d0a: AND
00001d0b: EQ
00001d0c: SWAP1
00001d0d: POP
00001d0e: PUSH0
00001d0f: DUP2
00001d10: PUSH2 0x1d2f
00001d13: JUMPI
00001d14: PUSH0
00001d15: DUP13
00001d16: DUP2
00001d17: MSTORE
00001d18: PUSH1 0xc9
00001d1a: PUSH1 0x20
00001d1c: MSTORE
00001d1d: PUSH1 0x40
00001d1f: SWAP1
00001d20: KECCAK256
00001d21: SLOAD
00001d22: PUSH1 0x01
00001d24: PUSH1 0x01
00001d26: PUSH1 0xa0
00001d28: SHL
00001d29: SUB
00001d2a: AND
00001d2b: PUSH2 0x1d33
00001d2e: JUMP
00001d2f: JUMPDEST
00001d30: PUSH2 0x800a
00001d33: JUMPDEST
00001d34: SWAP1
00001d35: POP
00001d36: PUSH1 0x40
00001d38: MLOAD
00001d39: DUP1
00001d3a: PUSH1 0x60
00001d3c: ADD
00001d3d: PUSH1 0x40
00001d3f: MSTORE
00001d40: DUP1
00001d41: DUP13
00001d42: PUSH1 0x40
00001d44: ADD
00001d45: MLOAD
00001d46: PUSH2 0xffff
00001d49: AND
00001d4a: DUP2
00001d4b: MSTORE
00001d4c: PUSH1 0x20
00001d4e: ADD
00001d4f: DUP3
00001d50: PUSH1 0x01
00001d52: PUSH1 0x01
00001d54: PUSH1 0xa0
00001d56: SHL
00001d57: SUB
00001d58: AND
00001d59: DUP2
00001d5a: MSTORE
00001d5b: PUSH1 0x20
00001d5d: ADD
00001d5e: DUP12
00001d5f: DUP12
00001d60: DUP1
00001d61: DUP1
00001d62: PUSH1 0x1f
00001d64: ADD
00001d65: PUSH1 0x20
00001d67: DUP1
00001d68: SWAP2
00001d69: DIV
00001d6a: MUL
00001d6b: PUSH1 0x20
00001d6d: ADD
00001d6e: PUSH1 0x40
00001d70: MLOAD
00001d71: SWAP1
00001d72: DUP2
00001d73: ADD
00001d74: PUSH1 0x40
00001d76: MSTORE
00001d77: DUP1
00001d78: SWAP4
00001d79: SWAP3
00001d7a: SWAP2
00001d7b: SWAP1
00001d7c: DUP2
00001d7d: DUP2
00001d7e: MSTORE
00001d7f: PUSH1 0x20
00001d81: ADD
00001d82: DUP4
00001d83: DUP4
00001d84: DUP1
00001d85: DUP3
00001d86: DUP5
00001d87: CALLDATACOPY
00001d88: PUSH0
00001d89: DUP2
00001d8a: DUP5
00001d8b: ADD
00001d8c: MSTORE
00001d8d: PUSH1 0x1f
00001d8f: NOT
00001d90: PUSH1 0x1f
00001d92: DUP3
00001d93: ADD
00001d94: AND
00001d95: SWAP1
00001d96: POP
00001d97: DUP1
00001d98: DUP4
00001d99: ADD
00001d9a: SWAP3
00001d9b: POP
00001d9c: POP
00001d9d: POP
00001d9e: POP
00001d9f: POP
00001da0: POP
00001da1: POP
00001da2: DUP2
00001da3: MSTORE
00001da4: POP
00001da5: SWAP3
00001da6: POP
00001da7: POP
00001da8: POP
00001da9: PUSH0
00001daa: PUSH32 0x000000000000000000000000303a465b659cbb0ab36ee643ea362c509eeb5213
00001dcb: PUSH1 0x01
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0xa0
00001dd1: SHL
00001dd2: SUB
00001dd3: AND
00001dd4: PUSH4 0x99c16d1a
00001dd9: DUP13
00001dda: DUP13
00001ddb: PUSH0
00001ddc: ADD
00001ddd: MLOAD
00001dde: DUP14
00001ddf: PUSH1 0x20
00001de1: ADD
00001de2: MLOAD
00001de3: DUP7
00001de4: DUP13
00001de5: DUP13
00001de6: PUSH1 0x40
00001de8: MLOAD
00001de9: DUP8
00001dea: PUSH4 0xffffffff
00001def: AND
00001df0: PUSH1 0xe0
00001df2: SHL
00001df3: DUP2
00001df4: MSTORE
00001df5: PUSH1 0x04
00001df7: ADD
00001df8: PUSH2 0x1e06
00001dfb: SWAP7
00001dfc: SWAP6
00001dfd: SWAP5
00001dfe: SWAP4
00001dff: SWAP3
00001e00: SWAP2
00001e01: SWAP1
00001e02: PUSH2 0x2829
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH1 0x20
00001e09: PUSH1 0x40
00001e0b: MLOAD
00001e0c: DUP1
00001e0d: DUP4
00001e0e: SUB
00001e0f: DUP2
00001e10: DUP7
00001e11: GAS
00001e12: STATICCALL
00001e13: ISZERO
00001e14: DUP1
00001e15: ISZERO
00001e16: PUSH2 0x1e21
00001e19: JUMPI
00001e1a: RETURNDATASIZE
00001e1b: PUSH0
00001e1c: DUP1
00001e1d: RETURNDATACOPY
00001e1e: RETURNDATASIZE
00001e1f: PUSH0
00001e20: REVERT
00001e21: JUMPDEST
00001e22: POP
00001e23: POP
00001e24: POP
00001e25: POP
00001e26: PUSH1 0x40
00001e28: MLOAD
00001e29: RETURNDATASIZE
00001e2a: PUSH1 0x1f
00001e2c: NOT
00001e2d: PUSH1 0x1f
00001e2f: DUP3
00001e30: ADD
00001e31: AND
00001e32: DUP3
00001e33: ADD
00001e34: DUP1
00001e35: PUSH1 0x40
00001e37: MSTORE
00001e38: POP
00001e39: DUP2
00001e3a: ADD
00001e3b: SWAP1
00001e3c: PUSH2 0x1e45
00001e3f: SWAP2
00001e40: SWAP1
00001e41: PUSH2 0x27f3
00001e44: JUMP
00001e45: JUMPDEST
00001e46: SWAP1
00001e47: POP
00001e48: DUP1
00001e49: PUSH2 0x1e8d
00001e4c: JUMPI
00001e4d: PUSH1 0x40
00001e4f: MLOAD
00001e50: PUSH3 0x461bcd
00001e54: PUSH1 0xe5
00001e56: SHL
00001e57: DUP2
00001e58: MSTORE
00001e59: PUSH1 0x20
00001e5b: PUSH1 0x04
00001e5d: DUP3
00001e5e: ADD
00001e5f: MSTORE
00001e60: PUSH1 0x16
00001e62: PUSH1 0x24
00001e64: DUP3
00001e65: ADD
00001e66: MSTORE
00001e67: PUSH22 0x2aa9a22196a9b421103bb4ba3432103b90383937b7b3
00001e7e: PUSH1 0x51
00001e80: SHL
00001e81: PUSH1 0x44
00001e83: DUP3
00001e84: ADD
00001e85: MSTORE
00001e86: PUSH1 0x64
00001e88: ADD
00001e89: PUSH2 0x057e
00001e8c: JUMP
00001e8d: JUMPDEST
00001e8e: POP
00001e8f: POP
00001e90: SWAP7
00001e91: POP
00001e92: SWAP7
00001e93: POP
00001e94: SWAP7
00001e95: SWAP4
00001e96: POP
00001e97: POP
00001e98: POP
00001e99: POP
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH2 0x1ebc
00001e9f: DUP5
00001ea0: PUSH4 0x23b872dd
00001ea5: PUSH1 0xe0
00001ea7: SHL
00001ea8: DUP6
00001ea9: DUP6
00001eaa: DUP6
00001eab: PUSH1 0x40
00001ead: MLOAD
00001eae: PUSH1 0x24
00001eb0: ADD
00001eb1: PUSH2 0x1bce
00001eb4: SWAP4
00001eb5: SWAP3
00001eb6: SWAP2
00001eb7: SWAP1
00001eb8: PUSH2 0x26bf
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: POP
00001ebe: POP
00001ebf: POP
00001ec0: POP
00001ec1: JUMP
00001ec2: JUMPDEST
00001ec3: PUSH0
00001ec4: PUSH2 0x1f16
00001ec7: DUP3
00001ec8: PUSH1 0x40
00001eca: MLOAD
00001ecb: DUP1
00001ecc: PUSH1 0x40
00001ece: ADD
00001ecf: PUSH1 0x40
00001ed1: MSTORE
00001ed2: DUP1
00001ed3: PUSH1 0x20
00001ed5: DUP2
00001ed6: MSTORE
00001ed7: PUSH1 0x20
00001ed9: ADD
00001eda: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001efb: DUP2
00001efc: MSTORE
00001efd: POP
00001efe: DUP6
00001eff: PUSH1 0x01
00001f01: PUSH1 0x01
00001f03: PUSH1 0xa0
00001f05: SHL
00001f06: SUB
00001f07: AND
00001f08: PUSH2 0x2094
00001f0b: SWAP1
00001f0c: SWAP3
00001f0d: SWAP2
00001f0e: SWAP1
00001f0f: PUSH4 0xffffffff
00001f14: AND
00001f15: JUMP
00001f16: JUMPDEST
00001f17: SWAP1
00001f18: POP
00001f19: DUP1
00001f1a: MLOAD
00001f1b: PUSH0
00001f1c: EQ
00001f1d: DUP1
00001f1e: PUSH2 0x1f36
00001f21: JUMPI
00001f22: POP
00001f23: DUP1
00001f24: DUP1
00001f25: PUSH1 0x20
00001f27: ADD
00001f28: SWAP1
00001f29: MLOAD
00001f2a: DUP2
00001f2b: ADD
00001f2c: SWAP1
00001f2d: PUSH2 0x1f36
00001f30: SWAP2
00001f31: SWAP1
00001f32: PUSH2 0x27f3
00001f35: JUMP
00001f36: JUMPDEST
00001f37: PUSH2 0x1c05
00001f3a: JUMPI
00001f3b: PUSH1 0x40
00001f3d: MLOAD
00001f3e: PUSH3 0x461bcd
00001f42: PUSH1 0xe5
00001f44: SHL
00001f45: DUP2
00001f46: MSTORE
00001f47: PUSH1 0x20
00001f49: PUSH1 0x04
00001f4b: DUP3
00001f4c: ADD
00001f4d: MSTORE
00001f4e: PUSH1 0x2a
00001f50: PUSH1 0x24
00001f52: DUP3
00001f53: ADD
00001f54: MSTORE
00001f55: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001f76: PUSH1 0x44
00001f78: DUP3
00001f79: ADD
00001f7a: MSTORE
00001f7b: PUSH10 0x1bdd081cdd58d8d95959
00001f86: PUSH1 0xb2
00001f88: SHL
00001f89: PUSH1 0x64
00001f8b: DUP3
00001f8c: ADD
00001f8d: MSTORE
00001f8e: PUSH1 0x84
00001f90: ADD
00001f91: PUSH2 0x057e
00001f94: JUMP
00001f95: JUMPDEST
00001f96: PUSH1 0x04
00001f98: DUP2
00001f99: DUP2
00001f9a: ADD
00001f9b: MLOAD
00001f9c: PUSH0
00001f9d: SWAP2
00001f9e: DUP3
00001f9f: SWAP2
00001fa0: DUP3
00001fa1: SWAP2
00001fa2: PUSH1 0x01
00001fa4: PUSH1 0x01
00001fa6: PUSH1 0xe0
00001fa8: SHL
00001fa9: SUB
00001faa: NOT
00001fab: PUSH1 0xe0
00001fad: DUP4
00001fae: SWAP1
00001faf: SHL
00001fb0: AND
00001fb1: PUSH4 0xee5d333f
00001fb6: PUSH1 0xe0
00001fb8: SHL
00001fb9: ADD
00001fba: PUSH2 0x202e
00001fbd: JUMPI
00001fbe: DUP6
00001fbf: MLOAD
00001fc0: PUSH1 0x4c
00001fc2: EQ
00001fc3: PUSH2 0x200e
00001fc6: JUMPI
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: PUSH3 0x461bcd
00001fce: PUSH1 0xe5
00001fd0: SHL
00001fd1: DUP2
00001fd2: MSTORE
00001fd3: PUSH1 0x20
00001fd5: PUSH1 0x04
00001fd7: DUP3
00001fd8: ADD
00001fd9: MSTORE
00001fda: PUSH1 0x18
00001fdc: PUSH1 0x24
00001fde: DUP3
00001fdf: ADD
00001fe0: MSTORE
00001fe1: PUSH32 0x555344432d5368422077726f6e67206d7367206c656e20320000000000000000
00002002: PUSH1 0x44
00002004: DUP3
00002005: ADD
00002006: MSTORE
00002007: PUSH1 0x64
00002009: ADD
0000200a: PUSH2 0x057e
0000200d: JUMP
0000200e: JUMPDEST
0000200f: DUP6
00002010: DUP2
00002011: ADD
00002012: PUSH1 0x14
00002014: DUP2
00002015: ADD
00002016: MLOAD
00002017: PUSH1 0x28
00002019: DUP3
0000201a: ADD
0000201b: MLOAD
0000201c: PUSH1 0x48
0000201e: SWAP3
0000201f: DUP4
00002020: ADD
00002021: MLOAD
00002022: SWAP2
00002023: SWAP8
00002024: POP
00002025: SWAP6
00002026: POP
00002027: SWAP4
00002028: POP
00002029: ADD
0000202a: PUSH2 0x208b
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH1 0x40
00002031: MLOAD
00002032: PUSH3 0x461bcd
00002036: PUSH1 0xe5
00002038: SHL
00002039: DUP2
0000203a: MSTORE
0000203b: PUSH1 0x20
0000203d: PUSH1 0x04
0000203f: DUP3
00002040: ADD
00002041: MSTORE
00002042: PUSH1 0x2c
00002044: PUSH1 0x24
00002046: DUP3
00002047: ADD
00002048: MSTORE
00002049: PUSH32 0x555344432d53684220496e636f7272656374206d6573736167652066756e6374
0000206a: PUSH1 0x44
0000206c: DUP3
0000206d: ADD
0000206e: MSTORE
0000206f: PUSH12 0x34b7b71039b2b632b1ba37b9
0000207c: PUSH1 0xa1
0000207e: SHL
0000207f: PUSH1 0x64
00002081: DUP3
00002082: ADD
00002083: MSTORE
00002084: PUSH1 0x84
00002086: ADD
00002087: PUSH2 0x057e
0000208a: JUMP
0000208b: JUMPDEST
0000208c: POP
0000208d: POP
0000208e: SWAP2
0000208f: SWAP4
00002090: SWAP1
00002091: SWAP3
00002092: POP
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH1 0x60
00002097: PUSH2 0x20a2
0000209a: DUP5
0000209b: DUP5
0000209c: PUSH0
0000209d: DUP6
0000209e: PUSH2 0x20aa
000020a1: JUMP
000020a2: JUMPDEST
000020a3: SWAP5
000020a4: SWAP4
000020a5: POP
000020a6: POP
000020a7: POP
000020a8: POP
000020a9: JUMP
000020aa: JUMPDEST
000020ab: PUSH1 0x60
000020ad: DUP3
000020ae: SELFBALANCE
000020af: LT
000020b0: ISZERO
000020b1: PUSH2 0x210b
000020b4: JUMPI
000020b5: PUSH1 0x40
000020b7: MLOAD
000020b8: PUSH3 0x461bcd
000020bc: PUSH1 0xe5
000020be: SHL
000020bf: DUP2
000020c0: MSTORE
000020c1: PUSH1 0x20
000020c3: PUSH1 0x04
000020c5: DUP3
000020c6: ADD
000020c7: MSTORE
000020c8: PUSH1 0x26
000020ca: PUSH1 0x24
000020cc: DUP3
000020cd: ADD
000020ce: MSTORE
000020cf: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000020f0: PUSH1 0x44
000020f2: DUP3
000020f3: ADD
000020f4: MSTORE
000020f5: PUSH6 0x1c8818d85b1b
000020fc: PUSH1 0xd2
000020fe: SHL
000020ff: PUSH1 0x64
00002101: DUP3
00002102: ADD
00002103: MSTORE
00002104: PUSH1 0x84
00002106: ADD
00002107: PUSH2 0x057e
0000210a: JUMP
0000210b: JUMPDEST
0000210c: PUSH0
0000210d: DUP1
0000210e: DUP7
0000210f: PUSH1 0x01
00002111: PUSH1 0x01
00002113: PUSH1 0xa0
00002115: SHL
00002116: SUB
00002117: AND
00002118: DUP6
00002119: DUP8
0000211a: PUSH1 0x40
0000211c: MLOAD
0000211d: PUSH2 0x2126
00002120: SWAP2
00002121: SWAP1
00002122: PUSH2 0x2899
00002125: JUMP
00002126: JUMPDEST
00002127: PUSH0
00002128: PUSH1 0x40
0000212a: MLOAD
0000212b: DUP1
0000212c: DUP4
0000212d: SUB
0000212e: DUP2
0000212f: DUP6
00002130: DUP8
00002131: GAS
00002132: CALL
00002133: SWAP3
00002134: POP
00002135: POP
00002136: POP
00002137: RETURNDATASIZE
00002138: DUP1
00002139: PUSH0
0000213a: DUP2
0000213b: EQ
0000213c: PUSH2 0x2160
0000213f: JUMPI
00002140: PUSH1 0x40
00002142: MLOAD
00002143: SWAP2
00002144: POP
00002145: PUSH1 0x1f
00002147: NOT
00002148: PUSH1 0x3f
0000214a: RETURNDATASIZE
0000214b: ADD
0000214c: AND
0000214d: DUP3
0000214e: ADD
0000214f: PUSH1 0x40
00002151: MSTORE
00002152: RETURNDATASIZE
00002153: DUP3
00002154: MSTORE
00002155: RETURNDATASIZE
00002156: PUSH0
00002157: PUSH1 0x20
00002159: DUP5
0000215a: ADD
0000215b: RETURNDATACOPY
0000215c: PUSH2 0x2165
0000215f: JUMP
00002160: JUMPDEST
00002161: PUSH1 0x60
00002163: SWAP2
00002164: POP
00002165: JUMPDEST
00002166: POP
00002167: SWAP2
00002168: POP
00002169: SWAP2
0000216a: POP
0000216b: PUSH2 0x2176
0000216e: DUP8
0000216f: DUP4
00002170: DUP4
00002171: DUP8
00002172: PUSH2 0x2181
00002175: JUMP
00002176: JUMPDEST
00002177: SWAP8
00002178: SWAP7
00002179: POP
0000217a: POP
0000217b: POP
0000217c: POP
0000217d: POP
0000217e: POP
0000217f: POP
00002180: JUMP
00002181: JUMPDEST
00002182: PUSH1 0x60
00002184: DUP4
00002185: ISZERO
00002186: PUSH2 0x21ef
00002189: JUMPI
0000218a: DUP3
0000218b: MLOAD
0000218c: PUSH0
0000218d: SUB
0000218e: PUSH2 0x21e8
00002191: JUMPI
00002192: PUSH1 0x01
00002194: PUSH1 0x01
00002196: PUSH1 0xa0
00002198: SHL
00002199: SUB
0000219a: DUP6
0000219b: AND
0000219c: EXTCODESIZE
0000219d: PUSH2 0x21e8
000021a0: JUMPI
000021a1: PUSH1 0x40
000021a3: MLOAD
000021a4: PUSH3 0x461bcd
000021a8: PUSH1 0xe5
000021aa: SHL
000021ab: DUP2
000021ac: MSTORE
000021ad: PUSH1 0x20
000021af: PUSH1 0x04
000021b1: DUP3
000021b2: ADD
000021b3: MSTORE
000021b4: PUSH1 0x1d
000021b6: PUSH1 0x24
000021b8: DUP3
000021b9: ADD
000021ba: MSTORE
000021bb: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000021dc: PUSH1 0x44
000021de: DUP3
000021df: ADD
000021e0: MSTORE
000021e1: PUSH1 0x64
000021e3: ADD
000021e4: PUSH2 0x057e
000021e7: JUMP
000021e8: JUMPDEST
000021e9: POP
000021ea: DUP2
000021eb: PUSH2 0x20a2
000021ee: JUMP
000021ef: JUMPDEST
000021f0: PUSH2 0x20a2
000021f3: DUP4
000021f4: DUP4
000021f5: DUP2
000021f6: MLOAD
000021f7: ISZERO
000021f8: PUSH2 0x2204
000021fb: JUMPI
000021fc: DUP2
000021fd: MLOAD
000021fe: DUP1
000021ff: DUP4
00002200: PUSH1 0x20
00002202: ADD
00002203: REVERT
00002204: JUMPDEST
00002205: DUP1
00002206: PUSH1 0x40
00002208: MLOAD
00002209: PUSH3 0x461bcd
0000220d: PUSH1 0xe5
0000220f: SHL
00002210: DUP2
00002211: MSTORE
00002212: PUSH1 0x04
00002214: ADD
00002215: PUSH2 0x057e
00002218: SWAP2
00002219: SWAP1
0000221a: PUSH2 0x28b4
0000221d: JUMP
0000221e: JUMPDEST
0000221f: PUSH0
00002220: PUSH1 0x20
00002222: DUP3
00002223: DUP5
00002224: SUB
00002225: SLT
00002226: ISZERO
00002227: PUSH2 0x222e
0000222a: JUMPI
0000222b: PUSH0
0000222c: DUP1
0000222d: REVERT
0000222e: JUMPDEST
0000222f: POP
00002230: CALLDATALOAD
00002231: SWAP2
00002232: SWAP1
00002233: POP
00002234: JUMP
00002235: JUMPDEST
00002236: PUSH1 0x01
00002238: PUSH1 0x01
0000223a: PUSH1 0xa0
0000223c: SHL
0000223d: SUB
0000223e: DUP2
0000223f: AND
00002240: DUP2
00002241: EQ
00002242: PUSH2 0x0814
00002245: JUMPI
00002246: PUSH0
00002247: DUP1
00002248: REVERT
00002249: JUMPDEST
0000224a: PUSH0
0000224b: PUSH1 0x20
0000224d: DUP3
0000224e: DUP5
0000224f: SUB
00002250: SLT
00002251: ISZERO
00002252: PUSH2 0x2259
00002255: JUMPI
00002256: PUSH0
00002257: DUP1
00002258: REVERT
00002259: JUMPDEST
0000225a: DUP2
0000225b: CALLDATALOAD
0000225c: PUSH2 0x2264
0000225f: DUP2
00002260: PUSH2 0x2235
00002263: JUMP
00002264: JUMPDEST
00002265: SWAP4
00002266: SWAP3
00002267: POP
00002268: POP
00002269: POP
0000226a: JUMP
0000226b: JUMPDEST
0000226c: PUSH0
0000226d: DUP1
0000226e: PUSH1 0x40
00002270: DUP4
00002271: DUP6
00002272: SUB
00002273: SLT
00002274: ISZERO
00002275: PUSH2 0x227c
00002278: JUMPI
00002279: PUSH0
0000227a: DUP1
0000227b: REVERT
0000227c: JUMPDEST
0000227d: DUP3
0000227e: CALLDATALOAD
0000227f: SWAP2
00002280: POP
00002281: PUSH1 0x20
00002283: DUP4
00002284: ADD
00002285: CALLDATALOAD
00002286: PUSH2 0x228e
00002289: DUP2
0000228a: PUSH2 0x2235
0000228d: JUMP
0000228e: JUMPDEST
0000228f: DUP1
00002290: SWAP2
00002291: POP
00002292: POP
00002293: SWAP3
00002294: POP
00002295: SWAP3
00002296: SWAP1
00002297: POP
00002298: JUMP
00002299: JUMPDEST
0000229a: PUSH0
0000229b: DUP1
0000229c: PUSH0
0000229d: PUSH1 0x60
0000229f: DUP5
000022a0: DUP7
000022a1: SUB
000022a2: SLT
000022a3: ISZERO
000022a4: PUSH2 0x22ab
000022a7: JUMPI
000022a8: PUSH0
000022a9: DUP1
000022aa: REVERT
000022ab: JUMPDEST
000022ac: POP
000022ad: POP
000022ae: DUP2
000022af: CALLDATALOAD
000022b0: SWAP4
000022b1: PUSH1 0x20
000022b3: DUP4
000022b4: ADD
000022b5: CALLDATALOAD
000022b6: SWAP4
000022b7: POP
000022b8: PUSH1 0x40
000022ba: SWAP1
000022bb: SWAP3
000022bc: ADD
000022bd: CALLDATALOAD
000022be: SWAP2
000022bf: SWAP1
000022c0: POP
000022c1: JUMP
000022c2: JUMPDEST
000022c3: PUSH0
000022c4: DUP1
000022c5: PUSH1 0x40
000022c7: DUP4
000022c8: DUP6
000022c9: SUB
000022ca: SLT
000022cb: ISZERO
000022cc: PUSH2 0x22d3
000022cf: JUMPI
000022d0: PUSH0
000022d1: DUP1
000022d2: REVERT
000022d3: JUMPDEST
000022d4: POP
000022d5: POP
000022d6: DUP1
000022d7: CALLDATALOAD
000022d8: SWAP3
000022d9: PUSH1 0x20
000022db: SWAP1
000022dc: SWAP2
000022dd: ADD
000022de: CALLDATALOAD
000022df: SWAP2
000022e0: POP
000022e1: JUMP
000022e2: JUMPDEST
000022e3: DUP1
000022e4: CALLDATALOAD
000022e5: PUSH2 0xffff
000022e8: DUP2
000022e9: AND
000022ea: DUP2
000022eb: EQ
000022ec: PUSH2 0x22f3
000022ef: JUMPI
000022f0: PUSH0
000022f1: DUP1
000022f2: REVERT
000022f3: JUMPDEST
000022f4: SWAP2
000022f5: SWAP1
000022f6: POP
000022f7: JUMP
000022f8: JUMPDEST
000022f9: PUSH0
000022fa: DUP1
000022fb: DUP4
000022fc: PUSH1 0x1f
000022fe: DUP5
000022ff: ADD
00002300: SLT
00002301: PUSH2 0x2308
00002304: JUMPI
00002305: PUSH0
00002306: DUP1
00002307: REVERT
00002308: JUMPDEST
00002309: POP
0000230a: DUP2
0000230b: CALLDATALOAD
0000230c: PUSH8 0xffffffffffffffff
00002315: DUP2
00002316: GT
00002317: ISZERO
00002318: PUSH2 0x231f
0000231b: JUMPI
0000231c: PUSH0
0000231d: DUP1
0000231e: REVERT
0000231f: JUMPDEST
00002320: PUSH1 0x20
00002322: DUP4
00002323: ADD
00002324: SWAP2
00002325: POP
00002326: DUP4
00002327: PUSH1 0x20
00002329: DUP3
0000232a: PUSH1 0x05
0000232c: SHL
0000232d: DUP6
0000232e: ADD
0000232f: ADD
00002330: GT
00002331: ISZERO
00002332: PUSH2 0x2339
00002335: JUMPI
00002336: PUSH0
00002337: DUP1
00002338: REVERT
00002339: JUMPDEST
0000233a: SWAP3
0000233b: POP
0000233c: SWAP3
0000233d: SWAP1
0000233e: POP
0000233f: JUMP
00002340: JUMPDEST
00002341: PUSH0
00002342: DUP1
00002343: PUSH0
00002344: DUP1
00002345: PUSH0
00002346: DUP1
00002347: PUSH0
00002348: DUP1
00002349: PUSH0
0000234a: DUP1
0000234b: PUSH2 0x0120
0000234e: DUP12
0000234f: DUP14
00002350: SUB
00002351: SLT
00002352: ISZERO
00002353: PUSH2 0x235a
00002356: JUMPI
00002357: PUSH0
00002358: DUP1
00002359: REVERT
0000235a: JUMPDEST
0000235b: DUP11
0000235c: CALLDATALOAD
0000235d: SWAP10
0000235e: POP
0000235f: PUSH1 0x20
00002361: DUP12
00002362: ADD
00002363: CALLDATALOAD
00002364: PUSH2 0x236c
00002367: DUP2
00002368: PUSH2 0x2235
0000236b: JUMP
0000236c: JUMPDEST
0000236d: SWAP9
0000236e: POP
0000236f: PUSH1 0x40
00002371: DUP12
00002372: ADD
00002373: CALLDATALOAD
00002374: PUSH2 0x237c
00002377: DUP2
00002378: PUSH2 0x2235
0000237b: JUMP
0000237c: JUMPDEST
0000237d: SWAP8
0000237e: POP
0000237f: PUSH1 0x60
00002381: DUP12
00002382: ADD
00002383: CALLDATALOAD
00002384: SWAP7
00002385: POP
00002386: PUSH1 0x80
00002388: DUP12
00002389: ADD
0000238a: CALLDATALOAD
0000238b: SWAP6
0000238c: POP
0000238d: PUSH1 0xa0
0000238f: DUP12
00002390: ADD
00002391: CALLDATALOAD
00002392: SWAP5
00002393: POP
00002394: PUSH1 0xc0
00002396: DUP12
00002397: ADD
00002398: CALLDATALOAD
00002399: SWAP4
0000239a: POP
0000239b: PUSH2 0x23a6
0000239e: PUSH1 0xe0
000023a0: DUP13
000023a1: ADD
000023a2: PUSH2 0x22e2
000023a5: JUMP
000023a6: JUMPDEST
000023a7: SWAP3
000023a8: POP
000023a9: PUSH2 0x0100
000023ac: DUP12
000023ad: ADD
000023ae: CALLDATALOAD
000023af: PUSH8 0xffffffffffffffff
000023b8: DUP2
000023b9: GT
000023ba: ISZERO
000023bb: PUSH2 0x23c2
000023be: JUMPI
000023bf: PUSH0
000023c0: DUP1
000023c1: REVERT
000023c2: JUMPDEST
000023c3: PUSH2 0x23ce
000023c6: DUP14
000023c7: DUP3
000023c8: DUP15
000023c9: ADD
000023ca: PUSH2 0x22f8
000023cd: JUMP
000023ce: JUMPDEST
000023cf: SWAP2
000023d0: POP
000023d1: DUP1
000023d2: SWAP4
000023d3: POP
000023d4: POP
000023d5: DUP1
000023d6: SWAP2
000023d7: POP
000023d8: POP
000023d9: SWAP3
000023da: SWAP6
000023db: SWAP9
000023dc: SWAP12
000023dd: SWAP2
000023de: SWAP5
000023df: SWAP8
000023e0: SWAP11
000023e1: POP
000023e2: SWAP3
000023e3: SWAP6
000023e4: SWAP9
000023e5: POP
000023e6: JUMP
000023e7: JUMPDEST
000023e8: PUSH0
000023e9: DUP1
000023ea: DUP4
000023eb: PUSH1 0x1f
000023ed: DUP5
000023ee: ADD
000023ef: SLT
000023f0: PUSH2 0x23f7
000023f3: JUMPI
000023f4: PUSH0
000023f5: DUP1
000023f6: REVERT
000023f7: JUMPDEST
000023f8: POP
000023f9: DUP2
000023fa: CALLDATALOAD
000023fb: PUSH8 0xffffffffffffffff
00002404: DUP2
00002405: GT
00002406: ISZERO
00002407: PUSH2 0x240e
0000240a: JUMPI
0000240b: PUSH0
0000240c: DUP1
0000240d: REVERT
0000240e: JUMPDEST
0000240f: PUSH1 0x20
00002411: DUP4
00002412: ADD
00002413: SWAP2
00002414: POP
00002415: DUP4
00002416: PUSH1 0x20
00002418: DUP3
00002419: DUP6
0000241a: ADD
0000241b: ADD
0000241c: GT
0000241d: ISZERO
0000241e: PUSH2 0x2339
00002421: JUMPI
00002422: PUSH0
00002423: DUP1
00002424: REVERT
00002425: JUMPDEST
00002426: PUSH0
00002427: DUP1
00002428: PUSH0
00002429: DUP1
0000242a: PUSH0
0000242b: DUP1
0000242c: PUSH0
0000242d: DUP1
0000242e: PUSH1 0xc0
00002430: DUP10
00002431: DUP12
00002432: SUB
00002433: SLT
00002434: ISZERO
00002435: PUSH2 0x243c
00002438: JUMPI
00002439: PUSH0
0000243a: DUP1
0000243b: REVERT
0000243c: JUMPDEST
0000243d: DUP9
0000243e: CALLDATALOAD
0000243f: SWAP8
00002440: POP
00002441: PUSH1 0x20
00002443: DUP10
00002444: ADD
00002445: CALLDATALOAD
00002446: SWAP7
00002447: POP
00002448: PUSH1 0x40
0000244a: DUP10
0000244b: ADD
0000244c: CALLDATALOAD
0000244d: SWAP6
0000244e: POP
0000244f: PUSH2 0x245a
00002452: PUSH1 0x60
00002454: DUP11
00002455: ADD
00002456: PUSH2 0x22e2
00002459: JUMP
0000245a: JUMPDEST
0000245b: SWAP5
0000245c: POP
0000245d: PUSH1 0x80
0000245f: DUP10
00002460: ADD
00002461: CALLDATALOAD
00002462: PUSH8 0xffffffffffffffff
0000246b: DUP1
0000246c: DUP3
0000246d: GT
0000246e: ISZERO
0000246f: PUSH2 0x2476
00002472: JUMPI
00002473: PUSH0
00002474: DUP1
00002475: REVERT
00002476: JUMPDEST
00002477: PUSH2 0x2482
0000247a: DUP13
0000247b: DUP4
0000247c: DUP14
0000247d: ADD
0000247e: PUSH2 0x23e7
00002481: JUMP
00002482: JUMPDEST
00002483: SWAP1
00002484: SWAP7
00002485: POP
00002486: SWAP5
00002487: POP
00002488: PUSH1 0xa0
0000248a: DUP12
0000248b: ADD
0000248c: CALLDATALOAD
0000248d: SWAP2
0000248e: POP
0000248f: DUP1
00002490: DUP3
00002491: GT
00002492: ISZERO
00002493: PUSH2 0x249a
00002496: JUMPI
00002497: PUSH0
00002498: DUP1
00002499: REVERT
0000249a: JUMPDEST
0000249b: POP
0000249c: PUSH2 0x24a7
0000249f: DUP12
000024a0: DUP3
000024a1: DUP13
000024a2: ADD
000024a3: PUSH2 0x22f8
000024a6: JUMP
000024a7: JUMPDEST
000024a8: SWAP10
000024a9: SWAP13
000024aa: SWAP9
000024ab: SWAP12
000024ac: POP
000024ad: SWAP7
000024ae: SWAP10
000024af: POP
000024b0: SWAP5
000024b1: SWAP8
000024b2: SWAP4
000024b3: SWAP7
000024b4: SWAP3
000024b5: SWAP6
000024b6: SWAP5
000024b7: POP
000024b8: POP
000024b9: POP
000024ba: JUMP
000024bb: JUMPDEST
000024bc: PUSH0
000024bd: DUP1
000024be: PUSH0
000024bf: DUP1
000024c0: PUSH0
000024c1: PUSH1 0x80
000024c3: DUP7
000024c4: DUP9
000024c5: SUB
000024c6: SLT
000024c7: ISZERO
000024c8: PUSH2 0x24cf
000024cb: JUMPI
000024cc: PUSH0
000024cd: DUP1
000024ce: REVERT
000024cf: JUMPDEST
000024d0: DUP6
000024d1: CALLDATALOAD
000024d2: SWAP5
000024d3: POP
000024d4: PUSH1 0x20
000024d6: DUP7
000024d7: ADD
000024d8: CALLDATALOAD
000024d9: PUSH2 0x24e1
000024dc: DUP2
000024dd: PUSH2 0x2235
000024e0: JUMP
000024e1: JUMPDEST
000024e2: SWAP4
000024e3: POP
000024e4: PUSH1 0x40
000024e6: DUP7
000024e7: ADD
000024e8: CALLDATALOAD
000024e9: SWAP3
000024ea: POP
000024eb: PUSH1 0x60
000024ed: DUP7
000024ee: ADD
000024ef: CALLDATALOAD
000024f0: PUSH8 0xffffffffffffffff
000024f9: DUP2
000024fa: GT
000024fb: ISZERO
000024fc: PUSH2 0x2503
000024ff: JUMPI
00002500: PUSH0
00002501: DUP1
00002502: REVERT
00002503: JUMPDEST
00002504: PUSH2 0x250f
00002507: DUP9
00002508: DUP3
00002509: DUP10
0000250a: ADD
0000250b: PUSH2 0x23e7
0000250e: JUMP
0000250f: JUMPDEST
00002510: SWAP7
00002511: SWAP10
00002512: SWAP6
00002513: SWAP9
00002514: POP
00002515: SWAP4
00002516: SWAP7
00002517: POP
00002518: SWAP3
00002519: SWAP5
0000251a: SWAP4
0000251b: SWAP3
0000251c: POP
0000251d: POP
0000251e: POP
0000251f: JUMP
00002520: JUMPDEST
00002521: PUSH0
00002522: JUMPDEST
00002523: DUP4
00002524: DUP2
00002525: LT
00002526: ISZERO
00002527: PUSH2 0x253a
0000252a: JUMPI
0000252b: DUP2
0000252c: DUP2
0000252d: ADD
0000252e: MLOAD
0000252f: DUP4
00002530: DUP3
00002531: ADD
00002532: MSTORE
00002533: PUSH1 0x20
00002535: ADD
00002536: PUSH2 0x2522
00002539: JUMP
0000253a: JUMPDEST
0000253b: POP
0000253c: POP
0000253d: PUSH0
0000253e: SWAP2
0000253f: ADD
00002540: MSTORE
00002541: JUMP
00002542: JUMPDEST
00002543: PUSH0
00002544: DUP2
00002545: MLOAD
00002546: DUP1
00002547: DUP5
00002548: MSTORE
00002549: PUSH2 0x2559
0000254c: DUP2
0000254d: PUSH1 0x20
0000254f: DUP7
00002550: ADD
00002551: PUSH1 0x20
00002553: DUP7
00002554: ADD
00002555: PUSH2 0x2520
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH1 0x1f
0000255c: ADD
0000255d: PUSH1 0x1f
0000255f: NOT
00002560: AND
00002561: SWAP3
00002562: SWAP1
00002563: SWAP3
00002564: ADD
00002565: PUSH1 0x20
00002567: ADD
00002568: SWAP3
00002569: SWAP2
0000256a: POP
0000256b: POP
0000256c: JUMP
0000256d: JUMPDEST
0000256e: PUSH0
0000256f: PUSH1 0x20
00002571: DUP1
00002572: DUP4
00002573: MSTORE
00002574: DUP4
00002575: MLOAD
00002576: DUP2
00002577: DUP5
00002578: ADD
00002579: MSTORE
0000257a: PUSH1 0x01
0000257c: DUP1
0000257d: PUSH1 0xa0
0000257f: SHL
00002580: SUB
00002581: DUP2
00002582: DUP6
00002583: ADD
00002584: MLOAD
00002585: AND
00002586: PUSH1 0x40
00002588: DUP5
00002589: ADD
0000258a: MSTORE
0000258b: PUSH1 0x40
0000258d: DUP5
0000258e: ADD
0000258f: MLOAD
00002590: PUSH1 0xa0
00002592: PUSH1 0x60
00002594: DUP6
00002595: ADD
00002596: MSTORE
00002597: PUSH2 0x25a3
0000259a: PUSH1 0xc0
0000259c: DUP6
0000259d: ADD
0000259e: DUP3
0000259f: PUSH2 0x2542
000025a2: JUMP
000025a3: JUMPDEST
000025a4: PUSH1 0x60
000025a6: DUP7
000025a7: ADD
000025a8: MLOAD
000025a9: PUSH1 0x1f
000025ab: NOT
000025ac: DUP7
000025ad: DUP4
000025ae: SUB
000025af: DUP2
000025b0: ADD
000025b1: PUSH1 0x80
000025b3: DUP9
000025b4: ADD
000025b5: MSTORE
000025b6: DUP2
000025b7: MLOAD
000025b8: DUP1
000025b9: DUP5
000025ba: MSTORE
000025bb: SWAP3
000025bc: SWAP4
000025bd: POP
000025be: SWAP1
000025bf: DUP5
000025c0: ADD
000025c1: SWAP2
000025c2: DUP5
000025c3: DUP5
000025c4: ADD
000025c5: SWAP1
000025c6: PUSH1 0x05
000025c8: DUP2
000025c9: SWAP1
000025ca: SHL
000025cb: DUP6
000025cc: ADD
000025cd: DUP7
000025ce: ADD
000025cf: PUSH0
000025d0: JUMPDEST
000025d1: DUP3
000025d2: DUP2
000025d3: LT
000025d4: ISZERO
000025d5: PUSH2 0x25fc
000025d8: JUMPI
000025d9: DUP5
000025da: DUP8
000025db: DUP4
000025dc: SUB
000025dd: ADD
000025de: DUP5
000025df: MSTORE
000025e0: PUSH2 0x25ea
000025e3: DUP3
000025e4: DUP8
000025e5: MLOAD
000025e6: PUSH2 0x2542
000025e9: JUMP
000025ea: JUMPDEST
000025eb: SWAP6
000025ec: DUP9
000025ed: ADD
000025ee: SWAP6
000025ef: SWAP4
000025f0: DUP9
000025f1: ADD
000025f2: SWAP4
000025f3: SWAP2
000025f4: POP
000025f5: PUSH1 0x01
000025f7: ADD
000025f8: PUSH2 0x25d0
000025fb: JUMP
000025fc: JUMPDEST
000025fd: POP
000025fe: PUSH1 0x80
00002600: DUP11
00002601: ADD
00002602: MLOAD
00002603: PUSH1 0xa0
00002605: DUP11
00002606: ADD
00002607: MSTORE
00002608: DUP1
00002609: SWAP8
0000260a: POP
0000260b: POP
0000260c: POP
0000260d: POP
0000260e: POP
0000260f: POP
00002610: POP
00002611: POP
00002612: SWAP3
00002613: SWAP2
00002614: POP
00002615: POP
00002616: JUMP
00002617: JUMPDEST
00002618: PUSH1 0x20
0000261a: DUP1
0000261b: DUP3
0000261c: MSTORE
0000261d: PUSH1 0x2e
0000261f: SWAP1
00002620: DUP3
00002621: ADD
00002622: MSTORE
00002623: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00002644: PUSH1 0x40
00002646: DUP3
00002647: ADD
00002648: MSTORE
00002649: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00002658: PUSH1 0x92
0000265a: SHL
0000265b: PUSH1 0x60
0000265d: DUP3
0000265e: ADD
0000265f: MSTORE
00002660: PUSH1 0x80
00002662: ADD
00002663: SWAP1
00002664: JUMP
00002665: JUMPDEST
00002666: PUSH0
00002667: DUP1
00002668: PUSH0
00002669: PUSH1 0x60
0000266b: DUP5
0000266c: DUP7
0000266d: SUB
0000266e: SLT
0000266f: ISZERO
00002670: PUSH2 0x2677
00002673: JUMPI
00002674: PUSH0
00002675: DUP1
00002676: REVERT
00002677: JUMPDEST
00002678: DUP4
00002679: CALLDATALOAD
0000267a: PUSH2 0x2682
0000267d: DUP2
0000267e: PUSH2 0x2235
00002681: JUMP
00002682: JUMPDEST
00002683: SWAP3
00002684: POP
00002685: PUSH1 0x20
00002687: DUP5
00002688: ADD
00002689: CALLDATALOAD
0000268a: SWAP2
0000268b: POP
0000268c: PUSH1 0x40
0000268e: DUP5
0000268f: ADD
00002690: CALLDATALOAD
00002691: PUSH2 0x2699
00002694: DUP2
00002695: PUSH2 0x2235
00002698: JUMP
00002699: JUMPDEST
0000269a: DUP1
0000269b: SWAP2
0000269c: POP
0000269d: POP
0000269e: SWAP3
0000269f: POP
000026a0: SWAP3
000026a1: POP
000026a2: SWAP3
000026a3: JUMP
000026a4: JUMPDEST
000026a5: PUSH0
000026a6: PUSH1 0x20
000026a8: DUP3
000026a9: DUP5
000026aa: SUB
000026ab: SLT
000026ac: ISZERO
000026ad: PUSH2 0x26b4
000026b0: JUMPI
000026b1: PUSH0
000026b2: DUP1
000026b3: REVERT
000026b4: JUMPDEST
000026b5: DUP2
000026b6: MLOAD
000026b7: PUSH2 0x2264
000026ba: DUP2
000026bb: PUSH2 0x2235
000026be: JUMP
000026bf: JUMPDEST
000026c0: PUSH1 0x01
000026c2: PUSH1 0x01
000026c4: PUSH1 0xa0
000026c6: SHL
000026c7: SUB
000026c8: SWAP4
000026c9: DUP5
000026ca: AND
000026cb: DUP2
000026cc: MSTORE
000026cd: SWAP2
000026ce: SWAP1
000026cf: SWAP3
000026d0: AND
000026d1: PUSH1 0x20
000026d3: DUP3
000026d4: ADD
000026d5: MSTORE
000026d6: PUSH1 0x40
000026d8: DUP2
000026d9: ADD
000026da: SWAP2
000026db: SWAP1
000026dc: SWAP2
000026dd: MSTORE
000026de: PUSH1 0x60
000026e0: ADD
000026e1: SWAP1
000026e2: JUMP
000026e3: JUMPDEST
000026e4: PUSH4 0x4e487b71
000026e9: PUSH1 0xe0
000026eb: SHL
000026ec: PUSH0
000026ed: MSTORE
000026ee: PUSH1 0x11
000026f0: PUSH1 0x04
000026f2: MSTORE
000026f3: PUSH1 0x24
000026f5: PUSH0
000026f6: REVERT
000026f7: JUMPDEST
000026f8: DUP1
000026f9: DUP3
000026fa: ADD
000026fb: DUP1
000026fc: DUP3
000026fd: GT
000026fe: ISZERO
000026ff: PUSH2 0x270a
00002702: JUMPI
00002703: PUSH2 0x270a
00002706: PUSH2 0x26e3
00002709: JUMP
0000270a: JUMPDEST
0000270b: SWAP3
0000270c: SWAP2
0000270d: POP
0000270e: POP
0000270f: JUMP
00002710: JUMPDEST
00002711: PUSH1 0x01
00002713: PUSH1 0x01
00002715: PUSH1 0xa0
00002717: SHL
00002718: SUB
00002719: DUP7
0000271a: DUP2
0000271b: AND
0000271c: DUP3
0000271d: MSTORE
0000271e: DUP6
0000271f: DUP2
00002720: AND
00002721: PUSH1 0x20
00002723: DUP4
00002724: ADD
00002725: MSTORE
00002726: DUP5
00002727: AND
00002728: PUSH1 0x40
0000272a: DUP3
0000272b: ADD
0000272c: MSTORE
0000272d: PUSH1 0x60
0000272f: DUP2
00002730: ADD
00002731: DUP4
00002732: SWAP1
00002733: MSTORE
00002734: PUSH1 0xa0
00002736: PUSH1 0x80
00002738: DUP3
00002739: ADD
0000273a: DUP2
0000273b: SWAP1
0000273c: MSTORE
0000273d: PUSH0
0000273e: SWAP1
0000273f: PUSH2 0x2176
00002742: SWAP1
00002743: DUP4
00002744: ADD
00002745: DUP5
00002746: PUSH2 0x2542
00002749: JUMP
0000274a: JUMPDEST
0000274b: DUP2
0000274c: DUP2
0000274d: SUB
0000274e: DUP2
0000274f: DUP2
00002750: GT
00002751: ISZERO
00002752: PUSH2 0x270a
00002755: JUMPI
00002756: PUSH2 0x270a
00002759: PUSH2 0x26e3
0000275c: JUMP
0000275d: JUMPDEST
0000275e: DUP2
0000275f: DUP4
00002760: MSTORE
00002761: PUSH0
00002762: PUSH1 0x01
00002764: PUSH1 0x01
00002766: PUSH1 0xfb
00002768: SHL
00002769: SUB
0000276a: DUP4
0000276b: GT
0000276c: ISZERO
0000276d: PUSH2 0x2774
00002770: JUMPI
00002771: PUSH0
00002772: DUP1
00002773: REVERT
00002774: JUMPDEST
00002775: DUP3
00002776: PUSH1 0x05
00002778: SHL
00002779: DUP1
0000277a: DUP4
0000277b: PUSH1 0x20
0000277d: DUP8
0000277e: ADD
0000277f: CALLDATACOPY
00002780: SWAP4
00002781: SWAP1
00002782: SWAP4
00002783: ADD
00002784: PUSH1 0x20
00002786: ADD
00002787: SWAP4
00002788: SWAP3
00002789: POP
0000278a: POP
0000278b: POP
0000278c: JUMP
0000278d: JUMPDEST
0000278e: DUP9
0000278f: DUP2
00002790: MSTORE
00002791: DUP8
00002792: PUSH1 0x20
00002794: DUP3
00002795: ADD
00002796: MSTORE
00002797: DUP7
00002798: PUSH1 0x40
0000279a: DUP3
0000279b: ADD
0000279c: MSTORE
0000279d: DUP6
0000279e: PUSH1 0x60
000027a0: DUP3
000027a1: ADD
000027a2: MSTORE
000027a3: PUSH2 0xffff
000027a6: DUP6
000027a7: AND
000027a8: PUSH1 0x80
000027aa: DUP3
000027ab: ADD
000027ac: MSTORE
000027ad: PUSH1 0xe0
000027af: PUSH1 0xa0
000027b1: DUP3
000027b2: ADD
000027b3: MSTORE
000027b4: PUSH0
000027b5: PUSH2 0x27c2
000027b8: PUSH1 0xe0
000027ba: DUP4
000027bb: ADD
000027bc: DUP6
000027bd: DUP8
000027be: PUSH2 0x275d
000027c1: JUMP
000027c2: JUMPDEST
000027c3: SWAP1
000027c4: POP
000027c5: PUSH1 0x02
000027c7: DUP4
000027c8: LT
000027c9: PUSH2 0x27e0
000027cc: JUMPI
000027cd: PUSH4 0x4e487b71
000027d2: PUSH1 0xe0
000027d4: SHL
000027d5: PUSH0
000027d6: MSTORE
000027d7: PUSH1 0x21
000027d9: PUSH1 0x04
000027db: MSTORE
000027dc: PUSH1 0x24
000027de: PUSH0
000027df: REVERT
000027e0: JUMPDEST
000027e1: DUP3
000027e2: PUSH1 0xc0
000027e4: DUP4
000027e5: ADD
000027e6: MSTORE
000027e7: SWAP10
000027e8: SWAP9
000027e9: POP
000027ea: POP
000027eb: POP
000027ec: POP
000027ed: POP
000027ee: POP
000027ef: POP
000027f0: POP
000027f1: POP
000027f2: JUMP
000027f3: JUMPDEST
000027f4: PUSH0
000027f5: PUSH1 0x20
000027f7: DUP3
000027f8: DUP5
000027f9: SUB
000027fa: SLT
000027fb: ISZERO
000027fc: PUSH2 0x2803
000027ff: JUMPI
00002800: PUSH0
00002801: DUP1
00002802: REVERT
00002803: JUMPDEST
00002804: DUP2
00002805: MLOAD
00002806: DUP1
00002807: ISZERO
00002808: ISZERO
00002809: DUP2
0000280a: EQ
0000280b: PUSH2 0x2264
0000280e: JUMPI
0000280f: PUSH0
00002810: DUP1
00002811: REVERT
00002812: JUMPDEST
00002813: PUSH0
00002814: PUSH1 0x20
00002816: DUP3
00002817: DUP5
00002818: SUB
00002819: SLT
0000281a: ISZERO
0000281b: PUSH2 0x2822
0000281e: JUMPI
0000281f: PUSH0
00002820: DUP1
00002821: REVERT
00002822: JUMPDEST
00002823: POP
00002824: MLOAD
00002825: SWAP2
00002826: SWAP1
00002827: POP
00002828: JUMP
00002829: JUMPDEST
0000282a: DUP7
0000282b: DUP2
0000282c: MSTORE
0000282d: DUP6
0000282e: PUSH1 0x20
00002830: DUP3
00002831: ADD
00002832: MSTORE
00002833: DUP5
00002834: PUSH1 0x40
00002836: DUP3
00002837: ADD
00002838: MSTORE
00002839: PUSH1 0xa0
0000283b: PUSH1 0x60
0000283d: DUP3
0000283e: ADD
0000283f: MSTORE
00002840: PUSH2 0xffff
00002843: DUP5
00002844: MLOAD
00002845: AND
00002846: PUSH1 0xa0
00002848: DUP3
00002849: ADD
0000284a: MSTORE
0000284b: PUSH1 0x01
0000284d: DUP1
0000284e: PUSH1 0xa0
00002850: SHL
00002851: SUB
00002852: PUSH1 0x20
00002854: DUP6
00002855: ADD
00002856: MLOAD
00002857: AND
00002858: PUSH1 0xc0
0000285a: DUP3
0000285b: ADD
0000285c: MSTORE
0000285d: PUSH0
0000285e: PUSH1 0x40
00002860: DUP6
00002861: ADD
00002862: MLOAD
00002863: PUSH1 0x60
00002865: PUSH1 0xe0
00002867: DUP5
00002868: ADD
00002869: MSTORE
0000286a: PUSH2 0x2877
0000286d: PUSH2 0x0100
00002870: DUP5
00002871: ADD
00002872: DUP3
00002873: PUSH2 0x2542
00002876: JUMP
00002877: JUMPDEST
00002878: SWAP1
00002879: POP
0000287a: DUP3
0000287b: DUP2
0000287c: SUB
0000287d: PUSH1 0x80
0000287f: DUP5
00002880: ADD
00002881: MSTORE
00002882: PUSH2 0x288c
00002885: DUP2
00002886: DUP6
00002887: DUP8
00002888: PUSH2 0x275d
0000288b: JUMP
0000288c: JUMPDEST
0000288d: SWAP10
0000288e: SWAP9
0000288f: POP
00002890: POP
00002891: POP
00002892: POP
00002893: POP
00002894: POP
00002895: POP
00002896: POP
00002897: POP
00002898: JUMP
00002899: JUMPDEST
0000289a: PUSH0
0000289b: DUP3
0000289c: MLOAD
0000289d: PUSH2 0x28aa
000028a0: DUP2
000028a1: DUP5
000028a2: PUSH1 0x20
000028a4: DUP8
000028a5: ADD
000028a6: PUSH2 0x2520
000028a9: JUMP
000028aa: JUMPDEST
000028ab: SWAP2
000028ac: SWAP1
000028ad: SWAP2
000028ae: ADD
000028af: SWAP3
000028b0: SWAP2
000028b1: POP
000028b2: POP
000028b3: JUMP
000028b4: JUMPDEST
000028b5: PUSH1 0x20
000028b7: DUP2
000028b8: MSTORE
000028b9: PUSH0
000028ba: PUSH2 0x2264
000028bd: PUSH1 0x20
000028bf: DUP4
000028c0: ADD
000028c1: DUP5
000028c2: PUSH2 0x2542
000028c5: JUMP
000028c6: INVALID
000028c7: DUP15
000028c8: SWAP5
000028c9: INVALID
000028ca: UNKNOWN(0xD4)
000028cb: TIMESTAMP
000028cc: CODECOPY
000028cd: UNKNOWN(0xEB)
000028ce: UNKNOWN(0x23)
000028cf: EQ
000028d0: UNKNOWN(0xAB)
000028d1: PUSH27 0x406345e6c5a8f0ccedf3b600de3d004e672c33abf4a26469706673
000028ed: PC
000028ee: UNKNOWN(0x22)
000028ef: SLT
000028f0: KECCAK256
000028f1: CODECOPY
000028f2: PUSH17 0x8a37a3c9637736b0c5e9152fef8711b0d9
00002904: GASPRICE
00002905: PUSH13 0x41972b353efba5d8038d736473
00002913: PUSH16

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability codex Unprotected reinitializer allows ownership takeover after upgrade 85 no
view
evidence_json
{
    "evidence": "`reinitializeV2` is `external` and only guarded by `reinitializer(2)`, yet it directly calls `_transferOwnership(_newOwner)` with no access check.",
    "locations": [
        "contracts/src/L1USDCBridge.sol:96"
    ],
    "recommendation": "Restrict `reinitializeV2` with access control (e.g., `onlyOwner` or `onlyProxy` + `onlyOwner`) and execute it via `upgradeToAndCall` so the upgrade and reinitialization are atomic.",
    "exploit_scenario": "After a new implementation containing `reinitializeV2` is upgraded, any account can call `reinitializeV2(attacker)` before governance/owner does. This sets the bridge owner to the attacker, who can pause the bridge, change `l2BridgeAddress` mappings, and potentially facilitate fraudulent withdrawals if they can generate valid L2 proofs (or simply disrupt operations)."
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xc01baac2c1ea521734cb1460dd65a804e8d528d61fab30fd6a23e9f1371347ff
call_targets: 0x2ccd5486ea1b2a52dcd387c01314f6a328f66cbb
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc01baac2c1ea521734cb1460dd65a804e8d528d61fab30fd6a23e9f1371347ff",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2ccd5486ea1b2a52dcd387c01314f6a328f66cbb"
    ],
    "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": "0xe30c3978",
            "selector": "0xe30c3978",
            "calldata_variants": [
                "0xe30c3978",
                "0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf280efbe",
            "selector": "0xf280efbe",
            "calldata_variants": [
                "0xf280efbe",
                "0xf280efbe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf851a440",
            "selector": "0xf851a440",
            "calldata_variants": [
                "0xf851a440",
                "0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87325f1",
            "selector": "0xc87325f1",
            "calldata_variants": [
                "0xc87325f1",
                "0xc87325f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca408c23",
            "selector": "0xca408c23",
            "calldata_variants": [
                "0xca408c23",
                "0xca408c230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8eb7db57",
            "selector": "0x8eb7db57",
            "calldata_variants": [
                "0x8eb7db57",
                "0x8eb7db570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8498,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xc01baac2c1ea521734cb1460dd65a804e8d528d61fab30fd6a23e9f1371347ff
call_targets: 0x2ccd5486ea1b2a52dcd387c01314f6a328f66cbb
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc01baac2c1ea521734cb1460dd65a804e8d528d61fab30fd6a23e9f1371347ff",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x2ccd5486ea1b2a52dcd387c01314f6a328f66cbb"
    ],
    "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": "0xe30c3978",
            "selector": "0xe30c3978",
            "calldata_variants": [
                "0xe30c3978",
                "0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf280efbe",
            "selector": "0xf280efbe",
            "calldata_variants": [
                "0xf280efbe",
                "0xf280efbe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf851a440",
            "selector": "0xf851a440",
            "calldata_variants": [
                "0xf851a440",
                "0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc4d66de8",
            "selector": "0xc4d66de8",
            "calldata_variants": [
                "0xc4d66de8",
                "0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc87325f1",
            "selector": "0xc87325f1",
            "calldata_variants": [
                "0xc87325f1",
                "0xc87325f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca408c23",
            "selector": "0xca408c23",
            "calldata_variants": [
                "0xca408c23",
                "0xca408c230000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8eb7db57",
            "selector": "0x8eb7db57",
            "calldata_variants": [
                "0x8eb7db57",
                "0x8eb7db570000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8498,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
low upgradeability codex Public initializer can be abused if proxy is left uninitialized 65 no
view
evidence_json
{
    "evidence": "`initialize` is `external` and sets ownership, but has no access control beyond the one-time `initializer` modifier.",
    "locations": [
        "contracts/src/L1USDCBridge.sol:104"
    ],
    "recommendation": "Ensure proxies are initialized atomically on deployment (e.g., `TransparentUpgradeableProxy` constructor or `upgradeToAndCall`). Optionally add a deployer-only guard or factory pattern to prevent accidental uninitialized proxies.",
    "exploit_scenario": "If a proxy is deployed without calling `initialize` in the same transaction, any account can later call `initialize(attacker)` to become owner. This is a common but exploitable deployment pitfall."
}