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

Analysis Run

df0b54ea-d387-4c94-beee-4819d345c6a5

failed
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 5:09 AM
Review Summary

What survived the funnel

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

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Untrusted DELEGATECALL target reachable
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30428 report.consolidate complete 1 / 1 3 months ago
93967 artifact.fetch failed 1 / 3 1 week ago
93968 tool.cast_disasm complete 1 / 3 1 week ago
93969 analysis.bundle complete 1 / 3 1 week ago
93970 capability.graph complete 1 / 3 1 week ago
93971 detector.run complete 1 / 3 1 week ago
93972 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
1
No findings?
no
Summary
Found 1 high-severity upgradeability issue that prevents proxy initialization.
View stderr
[codex:1333722] OpenAI Codex v0.77.0 (research preview)
[codex:1333722] --------
[codex:1333722] workdir: /tmp/codex-multi-7mvznge1
[codex:1333722] model: gpt-5.2-codex
[codex:1333722] provider: openai
[codex:1333722] approval: never
[codex:1333722] sandbox: read-only
[codex:1333722] reasoning effort: xhigh
[codex:1333722] reasoning summaries: auto
[codex:1333722] session id: 019b687f-7bd8-77b3-8b21-78bfc59086f2
[codex:1333722] --------
[codex:1333722] user
[codex:1333722] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1333722] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1333722] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1333722] 
[codex:1333722] Scope rules:
[codex:1333722] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1333722] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1333722] 
[codex:1333722] Output MUST be valid JSON matching the provided schema.
[codex:1333722] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1333722] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1333722] 
[codex:1333722] Output constraints (IMPORTANT):
[codex:1333722] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1333722] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1333722] mcp startup: no servers
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Preparing to inspect audit file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc ls in /tmp/codex-multi-7mvznge1 succeeded in 5ms:
[codex:1333722] AUDIT_BUNDLE.txt
[codex:1333722] codex-output-schema.json
[codex:1333722] contracts
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Inspecting AUDIT_BUNDLE file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7mvznge1 succeeded in 6ms:
[codex:1333722] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1333722] 
[codex:1333722] ================================================================================
[codex:1333722] FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1333722] ================================================================================
[codex:1333722] // SPDX-License-Identifier: MIT
[codex:1333722] // OpenZeppelin Contracts v4.4.1 (proxy/utils/Initializable.sol)
[codex:1333722] 
[codex:1333722] pragma solidity ^0.8.0;
[codex:1333722] 
[codex:1333722] import "../../utils/AddressUpgradeable.sol";
[codex:1333722] 
[codex:1333722] /**
[codex:1333722]  * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
[codex:1333722]  * behind a proxy. Since a proxied contract can't have a constructor, it's common to move constructor logic to an
[codex:1333722]  * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:1333722]  * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:1333722]  *
[codex:1333722]  * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
[codex:1333722]  * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Focusing on first-party contracts in audit bundle**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg -n "''^FILE: contracts/contracts" AUDIT_BUNDLE.txt' in /tmp/codex-multi-7mvznge1 succeeded in 8ms:
[codex:1333722] 906:FILE: contracts/contracts/interfaces/IBToken.sol
[codex:1333722] 1029:FILE: contracts/contracts/interfaces/IIncentivesController.sol
[codex:1333722] 1053:FILE: contracts/contracts/interfaces/ILendPool.sol
[codex:1333722] 1539:FILE: contracts/contracts/interfaces/ILendPoolAddressesProvider.sol
[codex:1333722] 1632:FILE: contracts/contracts/interfaces/ILendPoolConfigurator.sol
[codex:1333722] 1810:FILE: contracts/contracts/interfaces/IScaledBalanceToken.sol
[codex:1333722] 1840:FILE: contracts/contracts/libraries/helpers/Errors.sol
[codex:1333722] 1971:FILE: contracts/contracts/libraries/math/WadRayMath.sol
[codex:1333722] 2110:FILE: contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722] 2298:FILE: contracts/contracts/protocol/BToken.sol
[codex:1333722] 2601:FILE: contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722] 
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Analyzing BToken and IncentivizedERC20 vulnerabilities**
[codex:1333722] 
[codex:1333722] I'm carefully inspecting BToken’s code for risks like reentrancy, access control flaws, and upgradeability issues. The main points include possible reentrancy through external calls like finalizeTransfer and IncentivesController.handleAction, initializer misuse causing deployment failures, and the implications of external components like LendPool’s trustworthiness. I'll consider if any of these patterns could lead to real exploits or just represent design quirks.
[codex:1333722] thinking
[codex:1333722] **Clarifying transfer mechanics and initialization risks**
[codex:1333722] 
[codex:1333722] I'm untangling how BToken and IncentivizedERC20 handle scaled vs nominal balances during transfers, confirming the math and inheritance are consistent despite complexity. I also reflect on initializer exposure, which could let an attacker hijack a proxy if initialization is missed, underscoring a proxy upgradeability concern rather than a direct exploit.
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt | head -n 50' in /tmp/codex-multi-7mvznge1 succeeded in 8ms:
[codex:1333722] 4:FILE: contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1333722] 88:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:1333722] 455:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1333722] 541:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:1333722] 573:FILE: contracts/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol
[codex:1333722] 676:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1333722] 870:FILE: contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:1333722] 906:FILE: contracts/contracts/interfaces/IBToken.sol
[codex:1333722] 1029:FILE: contracts/contracts/interfaces/IIncentivesController.sol
[codex:1333722] 1053:FILE: contracts/contracts/interfaces/ILendPool.sol
[codex:1333722] 1539:FILE: contracts/contracts/interfaces/ILendPoolAddressesProvider.sol
[codex:1333722] 1632:FILE: contracts/contracts/interfaces/ILendPoolConfigurator.sol
[codex:1333722] 1810:FILE: contracts/contracts/interfaces/IScaledBalanceToken.sol
[codex:1333722] 1840:FILE: contracts/contracts/libraries/helpers/Errors.sol
[codex:1333722] 1971:FILE: contracts/contracts/libraries/math/WadRayMath.sol
[codex:1333722] 2110:FILE: contracts/contracts/libraries/types/DataTypes.sol
[codex:1333722] 2298:FILE: contracts/contracts/protocol/BToken.sol
[codex:1333722] 2601:FILE: contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Analyzing BToken and IncentivizedERC20 vulnerabilities**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'rg --files contracts/contracts/protocol' in /tmp/codex-multi-7mvznge1 succeeded in 9ms:
[codex:1333722] contracts/contracts/protocol/IncentivizedERC20.sol
[codex:1333722] contracts/contracts/protocol/BToken.sol
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Inspecting IncentivizedERC20 file**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'nl -ba contracts/contracts/protocol/IncentivizedERC20.sol' in /tmp/codex-multi-7mvznge1 succeeded in 5ms:
[codex:1333722]      1	// SPDX-License-Identifier: agpl-3.0
[codex:1333722]      2	pragma solidity 0.8.4;
[codex:1333722]      3	
[codex:1333722]      4	import {IIncentivesController} from "../interfaces/IIncentivesController.sol";
[codex:1333722]      5	import {ILendPoolAddressesProvider} from "../interfaces/ILendPoolAddressesProvider.sol";
[codex:1333722]      6	
[codex:1333722]      7	import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1333722]      8	import {ERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol";
[codex:1333722]      9	import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1333722]     10	import {IERC20MetadataUpgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol";
[codex:1333722]     11	
[codex:1333722]     12	/**
[codex:1333722]     13	 * @title IncentivizedERC20
[codex:1333722]     14	 * @notice Add Incentivized Logic to ERC20 implementation
[codex:1333722]     15	 * @author Bitty
[codex:1333722]     16	 **/
[codex:1333722]     17	abstract contract IncentivizedERC20 is Initializable, IERC20MetadataUpgradeable, ERC20Upgradeable {
[codex:1333722]     18	  uint8 private _customDecimals;
[codex:1333722]     19	
[codex:1333722]     20	  function __IncentivizedERC20_init(
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Reviewing file with line numbers**
[codex:1333722] exec
[codex:1333722] /bin/bash -lc 'nl -ba contracts/contracts/protocol/BToken.sol' in /tmp/codex-multi-7mvznge1 succeeded in 6ms:
[codex:1333722]      1	// SPDX-License-Identifier: agpl-3.0
[codex:1333722]      2	pragma solidity 0.8.4;
[codex:1333722]      3	
[codex:1333722]      4	import {ILendPoolAddressesProvider} from "../interfaces/ILendPoolAddressesProvider.sol";
[codex:1333722]      5	import {ILendPoolConfigurator} from "../interfaces/ILendPoolConfigurator.sol";
[codex:1333722]      6	import {ILendPool} from "../interfaces/ILendPool.sol";
[codex:1333722]      7	import {IBToken} from "../interfaces/IBToken.sol";
[codex:1333722]      8	import {IIncentivesController} from "../interfaces/IIncentivesController.sol";
[codex:1333722]      9	import {IncentivizedERC20} from "./IncentivizedERC20.sol";
[codex:1333722]     10	import {WadRayMath} from "../libraries/math/WadRayMath.sol";
[codex:1333722]     11	import {Errors} from "../libraries/helpers/Errors.sol";
[codex:1333722]     12	
[codex:1333722]     13	import {Initializable} from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1333722]     14	import {IERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:1333722]     15	import {SafeERC20Upgradeable} from "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:1333722]     16	
[codex:1333722]     17	/**
[codex:1333722]     18	 * @title ERC20 BToken
[codex:1333722]     19	 * @dev Implementation of the interest bearing token for the Bitty protocol
[codex:1333722]     20	 * @author Bitty
[codex:1333722] 
[codex:1333722] thinking
[codex:1333722] **Identifying critical initializer misuse**
[codex:1333722] codex
[codex:1333722] {"no_findings":false,"summary":"Found 1 high-severity upgradeability issue that prevents proxy initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Nested initializer misuse bricks BToken initialization","exploit_scenario":"When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible).","recommendation":"Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.","evidence":"`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.","locations":["contracts/contracts/protocol/IncentivizedERC20.sol:20","contracts/contracts/protocol/BToken.sol:46"]}]}
[codex:1333722] tokens used
[codex:1333722] 31,253
[codex:1333722] {"no_findings":false,"summary":"Found 1 high-severity upgradeability issue that prevents proxy initialization.","findings":[{"severity":"high","category":"upgradeability","title":"Nested initializer misuse bricks BToken initialization","exploit_scenario":"When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible).","recommendation":"Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.","evidence":"`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.","locations":["contracts/contracts/protocol/IncentivizedERC20.sol:20","contracts/contracts/protocol/BToken.sol:46"]}]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-29T05:09:07.667920+00:00",
        "returncode": 0
    },
    "summary": "Found 1 high-severity upgradeability issue that prevents proxy initialization.",
    "raw_final": {
        "summary": "Found 1 high-severity upgradeability issue that prevents proxy initialization.",
        "findings": [
            {
                "title": "Nested initializer misuse bricks BToken initialization",
                "category": "upgradeability",
                "evidence": "`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.",
                "severity": "high",
                "locations": [
                    "contracts/contracts/protocol/IncentivizedERC20.sol:20",
                    "contracts/contracts/protocol/BToken.sol:46"
                ],
                "recommendation": "Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.",
                "exploit_scenario": "When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible)."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
14
EXT*/BALANCE
14
Total opcodes
5525
Flags
delegatecall_present create_opcodes_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x014d
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7535d246
00000026: GT
00000027: PUSH2 0x00c3
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xae167335
00000031: GT
00000032: PUSH2 0x007c
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xae167335
0000003c: EQ
0000003d: PUSH2 0x02c3
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xb16a19de
00000047: EQ
00000048: PUSH2 0x02d4
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xb1bf962d
00000052: EQ
00000053: PUSH2 0x02e5
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xd3b1e9a4
0000005d: EQ
0000005e: PUSH2 0x02ed
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xd7020d0a
00000068: EQ
00000069: PUSH2 0x0300
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xdd62ed3e
00000073: EQ
00000074: PUSH2 0x0313
00000077: JUMPI
00000078: PUSH1 0x00
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0x7535d246
00000083: EQ
00000084: PUSH2 0x0258
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x75d26413
0000008e: EQ
0000008f: PUSH2 0x0278
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7df5bd3b
00000099: EQ
0000009a: PUSH2 0x0280
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x95d89b41
000000a4: EQ
000000a5: PUSH2 0x0295
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xa457c2d7
000000af: EQ
000000b0: PUSH2 0x029d
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xa9059cbb
000000ba: EQ
000000bb: PUSH2 0x02b0
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: DUP1
000000c5: PUSH4 0x1da24f3e
000000ca: GT
000000cb: PUSH2 0x0115
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x1da24f3e
000000d5: EQ
000000d6: PUSH2 0x01e4
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x23b872dd
000000e0: EQ
000000e1: PUSH2 0x01f7
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x313ce567
000000eb: EQ
000000ec: PUSH2 0x020a
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x39509351
000000f6: EQ
000000f7: PUSH2 0x021f
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x4efecaa5
00000101: EQ
00000102: PUSH2 0x0232
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x70a08231
0000010c: EQ
0000010d: PUSH2 0x0245
00000110: JUMPI
00000111: PUSH1 0x00
00000113: DUP1
00000114: REVERT
00000115: JUMPDEST
00000116: DUP1
00000117: PUSH4 0x06fdde03
0000011c: EQ
0000011d: PUSH2 0x0152
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x095ea7b3
00000127: EQ
00000128: PUSH2 0x0170
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x0afbcdc9
00000132: EQ
00000133: PUSH2 0x0193
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x156e29f6
0000013d: EQ
0000013e: PUSH2 0x01bb
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0x18160ddd
00000148: EQ
00000149: PUSH2 0x01ce
0000014c: JUMPI
0000014d: JUMPDEST
0000014e: PUSH1 0x00
00000150: DUP1
00000151: REVERT
00000152: JUMPDEST
00000153: PUSH2 0x015a
00000156: PUSH2 0x034c
00000159: JUMP
0000015a: JUMPDEST
0000015b: PUSH1 0x40
0000015d: MLOAD
0000015e: PUSH2 0x0167
00000161: SWAP2
00000162: SWAP1
00000163: PUSH2 0x1fc8
00000166: JUMP
00000167: JUMPDEST
00000168: PUSH1 0x40
0000016a: MLOAD
0000016b: DUP1
0000016c: SWAP2
0000016d: SUB
0000016e: SWAP1
0000016f: RETURN
00000170: JUMPDEST
00000171: PUSH2 0x0183
00000174: PUSH2 0x017e
00000177: CALLDATASIZE
00000178: PUSH1 0x04
0000017a: PUSH2 0x1e38
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x03de
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x40
00000186: MLOAD
00000187: SWAP1
00000188: ISZERO
00000189: ISZERO
0000018a: DUP2
0000018b: MSTORE
0000018c: PUSH1 0x20
0000018e: ADD
0000018f: PUSH2 0x0167
00000192: JUMP
00000193: JUMPDEST
00000194: PUSH2 0x01a6
00000197: PUSH2 0x01a1
0000019a: CALLDATASIZE
0000019b: PUSH1 0x04
0000019d: PUSH2 0x1d43
000001a0: JUMP
000001a1: JUMPDEST
000001a2: PUSH2 0x03f5
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH1 0x40
000001a9: DUP1
000001aa: MLOAD
000001ab: SWAP3
000001ac: DUP4
000001ad: MSTORE
000001ae: PUSH1 0x20
000001b0: DUP4
000001b1: ADD
000001b2: SWAP2
000001b3: SWAP1
000001b4: SWAP2
000001b5: MSTORE
000001b6: ADD
000001b7: PUSH2 0x0167
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH2 0x0183
000001bf: PUSH2 0x01c9
000001c2: CALLDATASIZE
000001c3: PUSH1 0x04
000001c5: PUSH2 0x1e63
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH2 0x040d
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH2 0x01d6
000001d2: PUSH2 0x051e
000001d5: JUMP
000001d6: JUMPDEST
000001d7: PUSH1 0x40
000001d9: MLOAD
000001da: SWAP1
000001db: DUP2
000001dc: MSTORE
000001dd: PUSH1 0x20
000001df: ADD
000001e0: PUSH2 0x0167
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH2 0x01d6
000001e8: PUSH2 0x01f2
000001eb: CALLDATASIZE
000001ec: PUSH1 0x04
000001ee: PUSH2 0x1d43
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH2 0x05d5
000001f6: JUMP
000001f7: JUMPDEST
000001f8: PUSH2 0x0183
000001fb: PUSH2 0x0205
000001fe: CALLDATASIZE
000001ff: PUSH1 0x04
00000201: PUSH2 0x1db3
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH2 0x05e0
00000209: JUMP
0000020a: JUMPDEST
0000020b: PUSH1 0x65
0000020d: SLOAD
0000020e: PUSH1 0x40
00000210: MLOAD
00000211: PUSH1 0xff
00000213: SWAP1
00000214: SWAP2
00000215: AND
00000216: DUP2
00000217: MSTORE
00000218: PUSH1 0x20
0000021a: ADD
0000021b: PUSH2 0x0167
0000021e: JUMP
0000021f: JUMPDEST
00000220: PUSH2 0x0183
00000223: PUSH2 0x022d
00000226: CALLDATASIZE
00000227: PUSH1 0x04
00000229: PUSH2 0x1e38
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH2 0x068a
00000231: JUMP
00000232: JUMPDEST
00000233: PUSH2 0x01d6
00000236: PUSH2 0x0240
00000239: CALLDATASIZE
0000023a: PUSH1 0x04
0000023c: PUSH2 0x1e38
0000023f: JUMP
00000240: JUMPDEST
00000241: PUSH2 0x06c6
00000244: JUMP
00000245: JUMPDEST
00000246: PUSH2 0x01d6
00000249: PUSH2 0x0253
0000024c: CALLDATASIZE
0000024d: PUSH1 0x04
0000024f: PUSH2 0x1d43
00000252: JUMP
00000253: JUMPDEST
00000254: PUSH2 0x073c
00000257: JUMP
00000258: JUMPDEST
00000259: PUSH2 0x0260
0000025c: PUSH2 0x07da
0000025f: JUMP
00000260: JUMPDEST
00000261: PUSH1 0x40
00000263: MLOAD
00000264: PUSH1 0x01
00000266: PUSH1 0x01
00000268: PUSH1 0xa0
0000026a: SHL
0000026b: SUB
0000026c: SWAP1
0000026d: SWAP2
0000026e: AND
0000026f: DUP2
00000270: MSTORE
00000271: PUSH1 0x20
00000273: ADD
00000274: PUSH2 0x0167
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH2 0x0260
0000027c: PUSH2 0x07e9
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH2 0x0293
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x1f8b
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x07f3
00000292: JUMP
00000293: JUMPDEST
00000294: STOP
00000295: JUMPDEST
00000296: PUSH2 0x015a
00000299: PUSH2 0x08eb
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x0183
000002a1: PUSH2 0x02ab
000002a4: CALLDATASIZE
000002a5: PUSH1 0x04
000002a7: PUSH2 0x1e38
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH2 0x08fa
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH2 0x0183
000002b4: PUSH2 0x02be
000002b7: CALLDATASIZE
000002b8: PUSH1 0x04
000002ba: PUSH2 0x1e38
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x0993
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x94
000002c6: SLOAD
000002c7: PUSH1 0x01
000002c9: PUSH1 0x01
000002cb: PUSH1 0xa0
000002cd: SHL
000002ce: SUB
000002cf: AND
000002d0: PUSH2 0x0260
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x95
000002d7: SLOAD
000002d8: PUSH1 0x01
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: SHL
000002df: SUB
000002e0: AND
000002e1: PUSH2 0x0260
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH2 0x01d6
000002e9: PUSH2 0x09a0
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x0293
000002f1: PUSH2 0x02fb
000002f4: CALLDATASIZE
000002f5: PUSH1 0x04
000002f7: PUSH2 0x1eb7
000002fa: JUMP
000002fb: JUMPDEST
000002fc: PUSH2 0x09ab
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x0293
00000304: PUSH2 0x030e
00000307: CALLDATASIZE
00000308: PUSH1 0x04
0000030a: PUSH2 0x1df3
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH2 0x0c21
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH2 0x01d6
00000317: PUSH2 0x0321
0000031a: CALLDATASIZE
0000031b: PUSH1 0x04
0000031d: PUSH2 0x1d7b
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH1 0x01
00000324: PUSH1 0x01
00000326: PUSH1 0xa0
00000328: SHL
00000329: SUB
0000032a: SWAP2
0000032b: DUP3
0000032c: AND
0000032d: PUSH1 0x00
0000032f: SWAP1
00000330: DUP2
00000331: MSTORE
00000332: PUSH1 0x34
00000334: PUSH1 0x20
00000336: SWAP1
00000337: DUP2
00000338: MSTORE
00000339: PUSH1 0x40
0000033b: DUP1
0000033c: DUP4
0000033d: KECCAK256
0000033e: SWAP4
0000033f: SWAP1
00000340: SWAP5
00000341: AND
00000342: DUP3
00000343: MSTORE
00000344: SWAP2
00000345: SWAP1
00000346: SWAP2
00000347: MSTORE
00000348: KECCAK256
00000349: SLOAD
0000034a: SWAP1
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH1 0x60
0000034f: PUSH1 0x36
00000351: DUP1
00000352: SLOAD
00000353: PUSH2 0x035b
00000356: SWAP1
00000357: PUSH2 0x212e
0000035a: JUMP
0000035b: JUMPDEST
0000035c: DUP1
0000035d: PUSH1 0x1f
0000035f: ADD
00000360: PUSH1 0x20
00000362: DUP1
00000363: SWAP2
00000364: DIV
00000365: MUL
00000366: PUSH1 0x20
00000368: ADD
00000369: PUSH1 0x40
0000036b: MLOAD
0000036c: SWAP1
0000036d: DUP2
0000036e: ADD
0000036f: PUSH1 0x40
00000371: MSTORE
00000372: DUP1
00000373: SWAP3
00000374: SWAP2
00000375: SWAP1
00000376: DUP2
00000377: DUP2
00000378: MSTORE
00000379: PUSH1 0x20
0000037b: ADD
0000037c: DUP3
0000037d: DUP1
0000037e: SLOAD
0000037f: PUSH2 0x0387
00000382: SWAP1
00000383: PUSH2 0x212e
00000386: JUMP
00000387: JUMPDEST
00000388: DUP1
00000389: ISZERO
0000038a: PUSH2 0x03d4
0000038d: JUMPI
0000038e: DUP1
0000038f: PUSH1 0x1f
00000391: LT
00000392: PUSH2 0x03a9
00000395: JUMPI
00000396: PUSH2 0x0100
00000399: DUP1
0000039a: DUP4
0000039b: SLOAD
0000039c: DIV
0000039d: MUL
0000039e: DUP4
0000039f: MSTORE
000003a0: SWAP2
000003a1: PUSH1 0x20
000003a3: ADD
000003a4: SWAP2
000003a5: PUSH2 0x03d4
000003a8: JUMP
000003a9: JUMPDEST
000003aa: DUP3
000003ab: ADD
000003ac: SWAP2
000003ad: SWAP1
000003ae: PUSH1 0x00
000003b0: MSTORE
000003b1: PUSH1 0x20
000003b3: PUSH1 0x00
000003b5: KECCAK256
000003b6: SWAP1
000003b7: JUMPDEST
000003b8: DUP2
000003b9: SLOAD
000003ba: DUP2
000003bb: MSTORE
000003bc: SWAP1
000003bd: PUSH1 0x01
000003bf: ADD
000003c0: SWAP1
000003c1: PUSH1 0x20
000003c3: ADD
000003c4: DUP1
000003c5: DUP4
000003c6: GT
000003c7: PUSH2 0x03b7
000003ca: JUMPI
000003cb: DUP3
000003cc: SWAP1
000003cd: SUB
000003ce: PUSH1 0x1f
000003d0: AND
000003d1: DUP3
000003d2: ADD
000003d3: SWAP2
000003d4: JUMPDEST
000003d5: POP
000003d6: POP
000003d7: POP
000003d8: POP
000003d9: POP
000003da: SWAP1
000003db: POP
000003dc: SWAP1
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH1 0x00
000003e1: PUSH2 0x03eb
000003e4: CALLER
000003e5: DUP5
000003e6: DUP5
000003e7: PUSH2 0x0d3e
000003ea: JUMP
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH1 0x01
000003ef: JUMPDEST
000003f0: SWAP3
000003f1: SWAP2
000003f2: POP
000003f3: POP
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: PUSH2 0x0401
000003fc: DUP4
000003fd: PUSH2 0x0e62
00000400: JUMP
00000401: JUMPDEST
00000402: PUSH1 0x35
00000404: SLOAD
00000405: SWAP2
00000406: POP
00000407: SWAP2
00000408: POP
00000409: SWAP2
0000040a: POP
0000040b: SWAP2
0000040c: JUMP
0000040d: JUMPDEST
0000040e: PUSH1 0x00
00000410: PUSH2 0x0417
00000413: PUSH2 0x0e7d
00000416: JUMP
00000417: JUMPDEST
00000418: PUSH1 0x01
0000041a: PUSH1 0x01
0000041c: PUSH1 0xa0
0000041e: SHL
0000041f: SUB
00000420: AND
00000421: CALLER
00000422: PUSH1 0x01
00000424: PUSH1 0x01
00000426: PUSH1 0xa0
00000428: SHL
00000429: SUB
0000042a: AND
0000042b: EQ
0000042c: PUSH1 0x40
0000042e: MLOAD
0000042f: DUP1
00000430: PUSH1 0x40
00000432: ADD
00000433: PUSH1 0x40
00000435: MSTORE
00000436: DUP1
00000437: PUSH1 0x03
00000439: DUP2
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: PUSH3 0x035303
00000442: PUSH1 0xec
00000444: SHL
00000445: DUP2
00000446: MSTORE
00000447: POP
00000448: SWAP1
00000449: PUSH2 0x046e
0000044c: JUMPI
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: PUSH3 0x461bcd
00000454: PUSH1 0xe5
00000456: SHL
00000457: DUP2
00000458: MSTORE
00000459: PUSH1 0x04
0000045b: ADD
0000045c: PUSH2 0x0465
0000045f: SWAP2
00000460: SWAP1
00000461: PUSH2 0x1fc8
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH1 0x40
00000468: MLOAD
00000469: DUP1
0000046a: SWAP2
0000046b: SUB
0000046c: SWAP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH1 0x00
00000472: PUSH2 0x047a
00000475: DUP6
00000476: PUSH2 0x0e62
00000479: JUMP
0000047a: JUMPDEST
0000047b: SWAP1
0000047c: POP
0000047d: PUSH1 0x00
0000047f: PUSH2 0x0488
00000482: DUP6
00000483: DUP6
00000484: PUSH2 0x0efa
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH1 0x40
0000048b: DUP1
0000048c: MLOAD
0000048d: DUP1
0000048e: DUP3
0000048f: ADD
00000490: SWAP1
00000491: SWAP2
00000492: MSTORE
00000493: PUSH1 0x03
00000495: DUP2
00000496: MSTORE
00000497: PUSH3 0x353031
0000049b: PUSH1 0xe8
0000049d: SHL
0000049e: PUSH1 0x20
000004a0: DUP3
000004a1: ADD
000004a2: MSTORE
000004a3: SWAP1
000004a4: SWAP2
000004a5: POP
000004a6: DUP2
000004a7: PUSH2 0x04c3
000004aa: JUMPI
000004ab: PUSH1 0x40
000004ad: MLOAD
000004ae: PUSH3 0x461bcd
000004b2: PUSH1 0xe5
000004b4: SHL
000004b5: DUP2
000004b6: MSTORE
000004b7: PUSH1 0x04
000004b9: ADD
000004ba: PUSH2 0x0465
000004bd: SWAP2
000004be: SWAP1
000004bf: PUSH2 0x1fc8
000004c2: JUMP
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH2 0x04ce
000004c8: DUP7
000004c9: DUP3
000004ca: PUSH2 0x0fda
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x40
000004d1: DUP1
000004d2: MLOAD
000004d3: DUP7
000004d4: DUP2
000004d5: MSTORE
000004d6: PUSH1 0x20
000004d8: DUP2
000004d9: ADD
000004da: DUP7
000004db: SWAP1
000004dc: MSTORE
000004dd: PUSH1 0x01
000004df: PUSH1 0x01
000004e1: PUSH1 0xa0
000004e3: SHL
000004e4: SUB
000004e5: DUP9
000004e6: AND
000004e7: SWAP2
000004e8: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00000509: SWAP2
0000050a: ADD
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: DUP1
0000050f: SWAP2
00000510: SUB
00000511: SWAP1
00000512: LOG2
00000513: POP
00000514: ISZERO
00000515: SWAP1
00000516: POP
00000517: JUMPDEST
00000518: SWAP4
00000519: SWAP3
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: JUMP
0000051e: JUMPDEST
0000051f: PUSH1 0x00
00000521: DUP1
00000522: PUSH2 0x052a
00000525: PUSH1 0x35
00000527: SLOAD
00000528: SWAP1
00000529: JUMP
0000052a: JUMPDEST
0000052b: SWAP1
0000052c: POP
0000052d: DUP1
0000052e: PUSH2 0x0539
00000531: JUMPI
00000532: PUSH1 0x00
00000534: SWAP2
00000535: POP
00000536: POP
00000537: SWAP1
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x00
0000053c: PUSH2 0x0543
0000053f: PUSH2 0x0e7d
00000542: JUMP
00000543: JUMPDEST
00000544: PUSH1 0x95
00000546: SLOAD
00000547: PUSH1 0x40
00000549: MLOAD
0000054a: PUSH4 0xd15e0053
0000054f: PUSH1 0xe0
00000551: SHL
00000552: DUP2
00000553: MSTORE
00000554: PUSH1 0x01
00000556: PUSH1 0x01
00000558: PUSH1 0xa0
0000055a: SHL
0000055b: SUB
0000055c: SWAP2
0000055d: DUP3
0000055e: AND
0000055f: PUSH1 0x04
00000561: DUP3
00000562: ADD
00000563: MSTORE
00000564: SWAP2
00000565: SWAP3
00000566: POP
00000567: PUSH2 0x05ce
0000056a: SWAP2
0000056b: SWAP1
0000056c: DUP4
0000056d: AND
0000056e: SWAP1
0000056f: PUSH4 0xd15e0053
00000574: SWAP1
00000575: PUSH1 0x24
00000577: ADD
00000578: PUSH1 0x20
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: DUP4
0000057f: SUB
00000580: DUP2
00000581: DUP7
00000582: DUP1
00000583: EXTCODESIZE
00000584: ISZERO
00000585: DUP1
00000586: ISZERO
00000587: PUSH2 0x058f
0000058a: JUMPI
0000058b: PUSH1 0x00
0000058d: DUP1
0000058e: REVERT
0000058f: JUMPDEST
00000590: POP
00000591: GAS
00000592: STATICCALL
00000593: ISZERO
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x05a3
00000599: JUMPI
0000059a: RETURNDATASIZE
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: RETURNDATACOPY
0000059f: RETURNDATASIZE
000005a0: PUSH1 0x00
000005a2: REVERT
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: POP
000005a8: PUSH1 0x40
000005aa: MLOAD
000005ab: RETURNDATASIZE
000005ac: PUSH1 0x1f
000005ae: NOT
000005af: PUSH1 0x1f
000005b1: DUP3
000005b2: ADD
000005b3: AND
000005b4: DUP3
000005b5: ADD
000005b6: DUP1
000005b7: PUSH1 0x40
000005b9: MSTORE
000005ba: POP
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH2 0x05c7
000005c1: SWAP2
000005c2: SWAP1
000005c3: PUSH2 0x1f73
000005c6: JUMP
000005c7: JUMPDEST
000005c8: DUP4
000005c9: SWAP1
000005ca: PUSH2 0x1090
000005cd: JUMP
000005ce: JUMPDEST
000005cf: SWAP3
000005d0: POP
000005d1: POP
000005d2: POP
000005d3: SWAP1
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH1 0x00
000005d8: PUSH2 0x03ef
000005db: DUP3
000005dc: PUSH2 0x0e62
000005df: JUMP
000005e0: JUMPDEST
000005e1: PUSH1 0x00
000005e3: PUSH2 0x05ed
000005e6: DUP5
000005e7: DUP5
000005e8: DUP5
000005e9: PUSH2 0x114c
000005ec: JUMP
000005ed: JUMPDEST
000005ee: PUSH1 0x01
000005f0: PUSH1 0x01
000005f2: PUSH1 0xa0
000005f4: SHL
000005f5: SUB
000005f6: DUP5
000005f7: AND
000005f8: PUSH1 0x00
000005fa: SWAP1
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x34
000005ff: PUSH1 0x20
00000601: SWAP1
00000602: DUP2
00000603: MSTORE
00000604: PUSH1 0x40
00000606: DUP1
00000607: DUP4
00000608: KECCAK256
00000609: CALLER
0000060a: DUP5
0000060b: MSTORE
0000060c: SWAP1
0000060d: SWAP2
0000060e: MSTORE
0000060f: SWAP1
00000610: KECCAK256
00000611: SLOAD
00000612: DUP3
00000613: DUP2
00000614: LT
00000615: ISZERO
00000616: PUSH2 0x0672
00000619: JUMPI
0000061a: PUSH1 0x40
0000061c: MLOAD
0000061d: PUSH3 0x461bcd
00000621: PUSH1 0xe5
00000623: SHL
00000624: DUP2
00000625: MSTORE
00000626: PUSH1 0x20
00000628: PUSH1 0x04
0000062a: DUP3
0000062b: ADD
0000062c: MSTORE
0000062d: PUSH1 0x28
0000062f: PUSH1 0x24
00000631: DUP3
00000632: ADD
00000633: MSTORE
00000634: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
00000655: PUSH1 0x44
00000657: DUP3
00000658: ADD
00000659: MSTORE
0000065a: PUSH8 0x6c6c6f77616e6365
00000663: PUSH1 0xc0
00000665: SHL
00000666: PUSH1 0x64
00000668: DUP3
00000669: ADD
0000066a: MSTORE
0000066b: PUSH1 0x84
0000066d: ADD
0000066e: PUSH2 0x0465
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH2 0x067f
00000676: DUP6
00000677: CALLER
00000678: DUP6
00000679: DUP5
0000067a: SUB
0000067b: PUSH2 0x0d3e
0000067e: JUMP
0000067f: JUMPDEST
00000680: POP
00000681: PUSH1 0x01
00000683: SWAP5
00000684: SWAP4
00000685: POP
00000686: POP
00000687: POP
00000688: POP
00000689: JUMP
0000068a: JUMPDEST
0000068b: CALLER
0000068c: PUSH1 0x00
0000068e: DUP2
0000068f: DUP2
00000690: MSTORE
00000691: PUSH1 0x34
00000693: PUSH1 0x20
00000695: SWAP1
00000696: DUP2
00000697: MSTORE
00000698: PUSH1 0x40
0000069a: DUP1
0000069b: DUP4
0000069c: KECCAK256
0000069d: PUSH1 0x01
0000069f: PUSH1 0x01
000006a1: PUSH1 0xa0
000006a3: SHL
000006a4: SUB
000006a5: DUP8
000006a6: AND
000006a7: DUP5
000006a8: MSTORE
000006a9: SWAP1
000006aa: SWAP2
000006ab: MSTORE
000006ac: DUP2
000006ad: KECCAK256
000006ae: SLOAD
000006af: SWAP1
000006b0: SWAP2
000006b1: PUSH2 0x03eb
000006b4: SWAP2
000006b5: DUP6
000006b6: SWAP1
000006b7: PUSH2 0x06c1
000006ba: SWAP1
000006bb: DUP7
000006bc: SWAP1
000006bd: PUSH2 0x2094
000006c0: JUMP
000006c1: JUMPDEST
000006c2: PUSH2 0x0d3e
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x00
000006c9: PUSH2 0x06d0
000006cc: PUSH2 0x0e7d
000006cf: JUMP
000006d0: JUMPDEST
000006d1: PUSH1 0x01
000006d3: PUSH1 0x01
000006d5: PUSH1 0xa0
000006d7: SHL
000006d8: SUB
000006d9: AND
000006da: CALLER
000006db: PUSH1 0x01
000006dd: PUSH1 0x01
000006df: PUSH1 0xa0
000006e1: SHL
000006e2: SUB
000006e3: AND
000006e4: EQ
000006e5: PUSH1 0x40
000006e7: MLOAD
000006e8: DUP1
000006e9: PUSH1 0x40
000006eb: ADD
000006ec: PUSH1 0x40
000006ee: MSTORE
000006ef: DUP1
000006f0: PUSH1 0x03
000006f2: DUP2
000006f3: MSTORE
000006f4: PUSH1 0x20
000006f6: ADD
000006f7: PUSH3 0x035303
000006fb: PUSH1 0xec
000006fd: SHL
000006fe: DUP2
000006ff: MSTORE
00000700: POP
00000701: SWAP1
00000702: PUSH2 0x071e
00000705: JUMPI
00000706: PUSH1 0x40
00000708: MLOAD
00000709: PUSH3 0x461bcd
0000070d: PUSH1 0xe5
0000070f: SHL
00000710: DUP2
00000711: MSTORE
00000712: PUSH1 0x04
00000714: ADD
00000715: PUSH2 0x0465
00000718: SWAP2
00000719: SWAP1
0000071a: PUSH2 0x1fc8
0000071d: JUMP
0000071e: JUMPDEST
0000071f: POP
00000720: PUSH1 0x95
00000722: SLOAD
00000723: PUSH2 0x0736
00000726: SWAP1
00000727: PUSH1 0x01
00000729: PUSH1 0x01
0000072b: PUSH1 0xa0
0000072d: SHL
0000072e: SUB
0000072f: AND
00000730: DUP5
00000731: DUP5
00000732: PUSH2 0x115e
00000735: JUMP
00000736: JUMPDEST
00000737: POP
00000738: SWAP2
00000739: SWAP1
0000073a: POP
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: PUSH2 0x0747
00000743: PUSH2 0x0e7d
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH1 0x95
0000074a: SLOAD
0000074b: PUSH1 0x40
0000074d: MLOAD
0000074e: PUSH4 0xd15e0053
00000753: PUSH1 0xe0
00000755: SHL
00000756: DUP2
00000757: MSTORE
00000758: PUSH1 0x01
0000075a: PUSH1 0x01
0000075c: PUSH1 0xa0
0000075e: SHL
0000075f: SUB
00000760: SWAP2
00000761: DUP3
00000762: AND
00000763: PUSH1 0x04
00000765: DUP3
00000766: ADD
00000767: MSTORE
00000768: SWAP2
00000769: SWAP3
0000076a: POP
0000076b: PUSH2 0x0517
0000076e: SWAP2
0000076f: SWAP1
00000770: DUP4
00000771: AND
00000772: SWAP1
00000773: PUSH4 0xd15e0053
00000778: SWAP1
00000779: PUSH1 0x24
0000077b: ADD
0000077c: PUSH1 0x20
0000077e: PUSH1 0x40
00000780: MLOAD
00000781: DUP1
00000782: DUP4
00000783: SUB
00000784: DUP2
00000785: DUP7
00000786: DUP1
00000787: EXTCODESIZE
00000788: ISZERO
00000789: DUP1
0000078a: ISZERO
0000078b: PUSH2 0x0793
0000078e: JUMPI
0000078f: PUSH1 0x00
00000791: DUP1
00000792: REVERT
00000793: JUMPDEST
00000794: POP
00000795: GAS
00000796: STATICCALL
00000797: ISZERO
00000798: DUP1
00000799: ISZERO
0000079a: PUSH2 0x07a7
0000079d: JUMPI
0000079e: RETURNDATASIZE
0000079f: PUSH1 0x00
000007a1: DUP1
000007a2: RETURNDATACOPY
000007a3: RETURNDATASIZE
000007a4: PUSH1 0x00
000007a6: REVERT
000007a7: JUMPDEST
000007a8: POP
000007a9: POP
000007aa: POP
000007ab: POP
000007ac: PUSH1 0x40
000007ae: MLOAD
000007af: RETURNDATASIZE
000007b0: PUSH1 0x1f
000007b2: NOT
000007b3: PUSH1 0x1f
000007b5: DUP3
000007b6: ADD
000007b7: AND
000007b8: DUP3
000007b9: ADD
000007ba: DUP1
000007bb: PUSH1 0x40
000007bd: MSTORE
000007be: POP
000007bf: DUP2
000007c0: ADD
000007c1: SWAP1
000007c2: PUSH2 0x07cb
000007c5: SWAP2
000007c6: SWAP1
000007c7: PUSH2 0x1f73
000007ca: JUMP
000007cb: JUMPDEST
000007cc: PUSH2 0x07d4
000007cf: DUP6
000007d0: PUSH2 0x0e62
000007d3: JUMP
000007d4: JUMPDEST
000007d5: SWAP1
000007d6: PUSH2 0x1090
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x00
000007dd: PUSH2 0x07e4
000007e0: PUSH2 0x0e7d
000007e3: JUMP
000007e4: JUMPDEST
000007e5: SWAP1
000007e6: POP
000007e7: SWAP1
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH1 0x00
000007ec: PUSH2 0x07e4
000007ef: PUSH2 0x11b0
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH2 0x07fb
000007f7: PUSH2 0x0e7d
000007fa: JUMP
000007fb: JUMPDEST
000007fc: PUSH1 0x01
000007fe: PUSH1 0x01
00000800: PUSH1 0xa0
00000802: SHL
00000803: SUB
00000804: AND
00000805: CALLER
00000806: PUSH1 0x01
00000808: PUSH1 0x01
0000080a: PUSH1 0xa0
0000080c: SHL
0000080d: SUB
0000080e: AND
0000080f: EQ
00000810: PUSH1 0x40
00000812: MLOAD
00000813: DUP1
00000814: PUSH1 0x40
00000816: ADD
00000817: PUSH1 0x40
00000819: MSTORE
0000081a: DUP1
0000081b: PUSH1 0x03
0000081d: DUP2
0000081e: MSTORE
0000081f: PUSH1 0x20
00000821: ADD
00000822: PUSH3 0x035303
00000826: PUSH1 0xec
00000828: SHL
00000829: DUP2
0000082a: MSTORE
0000082b: POP
0000082c: SWAP1
0000082d: PUSH2 0x0849
00000830: JUMPI
00000831: PUSH1 0x40
00000833: MLOAD
00000834: PUSH3 0x461bcd
00000838: PUSH1 0xe5
0000083a: SHL
0000083b: DUP2
0000083c: MSTORE
0000083d: PUSH1 0x04
0000083f: ADD
00000840: PUSH2 0x0465
00000843: SWAP2
00000844: SWAP1
00000845: PUSH2 0x1fc8
00000848: JUMP
00000849: JUMPDEST
0000084a: POP
0000084b: DUP2
0000084c: PUSH2 0x0853
0000084f: JUMPI
00000850: POP
00000851: POP
00000852: JUMP
00000853: JUMPDEST
00000854: PUSH1 0x94
00000856: SLOAD
00000857: PUSH1 0x01
00000859: PUSH1 0x01
0000085b: PUSH1 0xa0
0000085d: SHL
0000085e: SUB
0000085f: AND
00000860: PUSH2 0x0872
00000863: DUP2
00000864: PUSH2 0x086d
00000867: DUP6
00000868: DUP6
00000869: PUSH2 0x0efa
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH2 0x0fda
00000871: JUMP
00000872: JUMPDEST
00000873: PUSH1 0x40
00000875: MLOAD
00000876: DUP4
00000877: DUP2
00000878: MSTORE
00000879: PUSH1 0x01
0000087b: PUSH1 0x01
0000087d: PUSH1 0xa0
0000087f: SHL
00000880: SUB
00000881: DUP3
00000882: AND
00000883: SWAP1
00000884: PUSH1 0x00
00000886: SWAP1
00000887: PUSH1 0x00
00000889: DUP1
0000088a: MLOAD
0000088b: PUSH1 0x20
0000088d: PUSH2 0x2192
00000890: DUP4
00000891: CODECOPY
00000892: DUP2
00000893: MLOAD
00000894: SWAP2
00000895: MSTORE
00000896: SWAP1
00000897: PUSH1 0x20
00000899: ADD
0000089a: PUSH1 0x40
0000089c: MLOAD
0000089d: DUP1
0000089e: SWAP2
0000089f: SUB
000008a0: SWAP1
000008a1: LOG3
000008a2: PUSH1 0x40
000008a4: DUP1
000008a5: MLOAD
000008a6: DUP5
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x20
000008ab: DUP2
000008ac: ADD
000008ad: DUP5
000008ae: SWAP1
000008af: MSTORE
000008b0: PUSH1 0x01
000008b2: PUSH1 0x01
000008b4: PUSH1 0xa0
000008b6: SHL
000008b7: SUB
000008b8: DUP4
000008b9: AND
000008ba: SWAP2
000008bb: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000008dc: SWAP2
000008dd: ADD
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: DUP1
000008e2: SWAP2
000008e3: SUB
000008e4: SWAP1
000008e5: LOG2
000008e6: POP
000008e7: JUMPDEST
000008e8: POP
000008e9: POP
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x60
000008ee: PUSH1 0x37
000008f0: DUP1
000008f1: SLOAD
000008f2: PUSH2 0x035b
000008f5: SWAP1
000008f6: PUSH2 0x212e
000008f9: JUMP
000008fa: JUMPDEST
000008fb: CALLER
000008fc: PUSH1 0x00
000008fe: SWAP1
000008ff: DUP2
00000900: MSTORE
00000901: PUSH1 0x34
00000903: PUSH1 0x20
00000905: SWAP1
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x40
0000090a: DUP1
0000090b: DUP4
0000090c: KECCAK256
0000090d: PUSH1 0x01
0000090f: PUSH1 0x01
00000911: PUSH1 0xa0
00000913: SHL
00000914: SUB
00000915: DUP7
00000916: AND
00000917: DUP5
00000918: MSTORE
00000919: SWAP1
0000091a: SWAP2
0000091b: MSTORE
0000091c: DUP2
0000091d: KECCAK256
0000091e: SLOAD
0000091f: DUP3
00000920: DUP2
00000921: LT
00000922: ISZERO
00000923: PUSH2 0x097c
00000926: JUMPI
00000927: PUSH1 0x40
00000929: MLOAD
0000092a: PUSH3 0x461bcd
0000092e: PUSH1 0xe5
00000930: SHL
00000931: DUP2
00000932: MSTORE
00000933: PUSH1 0x20
00000935: PUSH1 0x04
00000937: DUP3
00000938: ADD
00000939: MSTORE
0000093a: PUSH1 0x25
0000093c: PUSH1 0x24
0000093e: DUP3
0000093f: ADD
00000940: MSTORE
00000941: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000962: PUSH1 0x44
00000964: DUP3
00000965: ADD
00000966: MSTORE
00000967: PUSH5 0x207a65726f
0000096d: PUSH1 0xd8
0000096f: SHL
00000970: PUSH1 0x64
00000972: DUP3
00000973: ADD
00000974: MSTORE
00000975: PUSH1 0x84
00000977: ADD
00000978: PUSH2 0x0465
0000097b: JUMP
0000097c: JUMPDEST
0000097d: PUSH2 0x0989
00000980: CALLER
00000981: DUP6
00000982: DUP6
00000983: DUP5
00000984: SUB
00000985: PUSH2 0x0d3e
00000988: JUMP
00000989: JUMPDEST
0000098a: POP
0000098b: PUSH1 0x01
0000098d: SWAP4
0000098e: SWAP3
0000098f: POP
00000990: POP
00000991: POP
00000992: JUMP
00000993: JUMPDEST
00000994: PUSH1 0x00
00000996: PUSH2 0x03eb
00000999: CALLER
0000099a: DUP5
0000099b: DUP5
0000099c: PUSH2 0x114c
0000099f: JUMP
000009a0: JUMPDEST
000009a1: PUSH1 0x00
000009a3: PUSH2 0x07e4
000009a6: PUSH1 0x35
000009a8: SLOAD
000009a9: SWAP1
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH1 0x00
000009ae: SLOAD
000009af: PUSH2 0x0100
000009b2: SWAP1
000009b3: DIV
000009b4: PUSH1 0xff
000009b6: AND
000009b7: PUSH2 0x09c6
000009ba: JUMPI
000009bb: PUSH1 0x00
000009bd: SLOAD
000009be: PUSH1 0xff
000009c0: AND
000009c1: ISZERO
000009c2: PUSH2 0x09ca
000009c5: JUMP
000009c6: JUMPDEST
000009c7: ADDRESS
000009c8: EXTCODESIZE
000009c9: ISZERO
000009ca: JUMPDEST
000009cb: PUSH2 0x09e6
000009ce: JUMPI
000009cf: PUSH1 0x40
000009d1: MLOAD
000009d2: PUSH3 0x461bcd
000009d6: PUSH1 0xe5
000009d8: SHL
000009d9: DUP2
000009da: MSTORE
000009db: PUSH1 0x04
000009dd: ADD
000009de: PUSH2 0x0465
000009e1: SWAP1
000009e2: PUSH2 0x1ffb
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x00
000009e9: SLOAD
000009ea: PUSH2 0x0100
000009ed: SWAP1
000009ee: DIV
000009ef: PUSH1 0xff
000009f1: AND
000009f2: ISZERO
000009f3: DUP1
000009f4: ISZERO
000009f5: PUSH2 0x0a08
000009f8: JUMPI
000009f9: PUSH1 0x00
000009fb: DUP1
000009fc: SLOAD
000009fd: PUSH2 0xffff
00000a00: NOT
00000a01: AND
00000a02: PUSH2 0x0101
00000a05: OR
00000a06: SWAP1
00000a07: SSTORE
00000a08: JUMPDEST
00000a09: PUSH2 0x0a7d
00000a0c: DUP6
00000a0d: DUP6
00000a0e: DUP1
00000a0f: DUP1
00000a10: PUSH1 0x1f
00000a12: ADD
00000a13: PUSH1 0x20
00000a15: DUP1
00000a16: SWAP2
00000a17: DIV
00000a18: MUL
00000a19: PUSH1 0x20
00000a1b: ADD
00000a1c: PUSH1 0x40
00000a1e: MLOAD
00000a1f: SWAP1
00000a20: DUP2
00000a21: ADD
00000a22: PUSH1 0x40
00000a24: MSTORE
00000a25: DUP1
00000a26: SWAP4
00000a27: SWAP3
00000a28: SWAP2
00000a29: SWAP1
00000a2a: DUP2
00000a2b: DUP2
00000a2c: MSTORE
00000a2d: PUSH1 0x20
00000a2f: ADD
00000a30: DUP4
00000a31: DUP4
00000a32: DUP1
00000a33: DUP3
00000a34: DUP5
00000a35: CALLDATACOPY
00000a36: PUSH1 0x00
00000a38: SWAP3
00000a39: ADD
00000a3a: SWAP2
00000a3b: SWAP1
00000a3c: SWAP2
00000a3d: MSTORE
00000a3e: POP
00000a3f: POP
00000a40: PUSH1 0x40
00000a42: DUP1
00000a43: MLOAD
00000a44: PUSH1 0x20
00000a46: PUSH1 0x1f
00000a48: DUP10
00000a49: ADD
00000a4a: DUP2
00000a4b: SWAP1
00000a4c: DIV
00000a4d: DUP2
00000a4e: MUL
00000a4f: DUP3
00000a50: ADD
00000a51: DUP2
00000a52: ADD
00000a53: SWAP1
00000a54: SWAP3
00000a55: MSTORE
00000a56: DUP8
00000a57: DUP2
00000a58: MSTORE
00000a59: SWAP3
00000a5a: POP
00000a5b: DUP8
00000a5c: SWAP2
00000a5d: POP
00000a5e: DUP7
00000a5f: SWAP1
00000a60: DUP2
00000a61: SWAP1
00000a62: DUP5
00000a63: ADD
00000a64: DUP4
00000a65: DUP3
00000a66: DUP1
00000a67: DUP3
00000a68: DUP5
00000a69: CALLDATACOPY
00000a6a: PUSH1 0x00
00000a6c: SWAP3
00000a6d: ADD
00000a6e: SWAP2
00000a6f: SWAP1
00000a70: SWAP2
00000a71: MSTORE
00000a72: POP
00000a73: DUP12
00000a74: SWAP3
00000a75: POP
00000a76: PUSH2 0x11f5
00000a79: SWAP2
00000a7a: POP
00000a7b: POP
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: PUSH1 0x94
00000a80: DUP1
00000a81: SLOAD
00000a82: PUSH1 0x01
00000a84: PUSH1 0x01
00000a86: PUSH1 0xa0
00000a88: SHL
00000a89: SUB
00000a8a: DUP1
00000a8b: DUP12
00000a8c: AND
00000a8d: PUSH1 0x01
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: SHL
00000a94: SUB
00000a95: NOT
00000a96: SWAP3
00000a97: DUP4
00000a98: AND
00000a99: OR
00000a9a: SWAP1
00000a9b: SWAP3
00000a9c: SSTORE
00000a9d: PUSH1 0x95
00000a9f: DUP1
00000aa0: SLOAD
00000aa1: DUP11
00000aa2: DUP5
00000aa3: AND
00000aa4: SWAP1
00000aa5: DUP4
00000aa6: AND
00000aa7: OR
00000aa8: SWAP1
00000aa9: SSTORE
00000aaa: PUSH1 0x93
00000aac: DUP1
00000aad: SLOAD
00000aae: SWAP3
00000aaf: DUP13
00000ab0: AND
00000ab1: SWAP3
00000ab2: SWAP1
00000ab3: SWAP2
00000ab4: AND
00000ab5: DUP3
00000ab6: OR
00000ab7: SWAP1
00000ab8: SSTORE
00000ab9: PUSH1 0x40
00000abb: DUP1
00000abc: MLOAD
00000abd: PUSH4 0x11ead9ef
00000ac2: PUSH1 0xe3
00000ac4: SHL
00000ac5: DUP2
00000ac6: MSTORE
00000ac7: SWAP1
00000ac8: MLOAD
00000ac9: PUSH4 0x8f56cf78
00000ace: SWAP2
00000acf: PUSH1 0x04
00000ad1: DUP1
00000ad2: DUP3
00000ad3: ADD
00000ad4: SWAP3
00000ad5: PUSH1 0x20
00000ad7: SWAP3
00000ad8: SWAP1
00000ad9: SWAP2
00000ada: SWAP1
00000adb: DUP3
00000adc: SWAP1
00000add: SUB
00000ade: ADD
00000adf: DUP2
00000ae0: DUP7
00000ae1: DUP1
00000ae2: EXTCODESIZE
00000ae3: ISZERO
00000ae4: DUP1
00000ae5: ISZERO
00000ae6: PUSH2 0x0aee
00000ae9: JUMPI
00000aea: PUSH1 0x00
00000aec: DUP1
00000aed: REVERT
00000aee: JUMPDEST
00000aef: POP
00000af0: GAS
00000af1: STATICCALL
00000af2: ISZERO
00000af3: DUP1
00000af4: ISZERO
00000af5: PUSH2 0x0b02
00000af8: JUMPI
00000af9: RETURNDATASIZE
00000afa: PUSH1 0x00
00000afc: DUP1
00000afd: RETURNDATACOPY
00000afe: RETURNDATASIZE
00000aff: PUSH1 0x00
00000b01: REVERT
00000b02: JUMPDEST
00000b03: POP
00000b04: POP
00000b05: POP
00000b06: POP
00000b07: PUSH1 0x40
00000b09: MLOAD
00000b0a: RETURNDATASIZE
00000b0b: PUSH1 0x1f
00000b0d: NOT
00000b0e: PUSH1 0x1f
00000b10: DUP3
00000b11: ADD
00000b12: AND
00000b13: DUP3
00000b14: ADD
00000b15: DUP1
00000b16: PUSH1 0x40
00000b18: MSTORE
00000b19: POP
00000b1a: DUP2
00000b1b: ADD
00000b1c: SWAP1
00000b1d: PUSH2 0x0b26
00000b20: SWAP2
00000b21: SWAP1
00000b22: PUSH2 0x1d5f
00000b25: JUMP
00000b26: JUMPDEST
00000b27: PUSH1 0x01
00000b29: PUSH1 0x01
00000b2b: PUSH1 0xa0
00000b2d: SHL
00000b2e: SUB
00000b2f: AND
00000b30: DUP8
00000b31: PUSH1 0x01
00000b33: PUSH1 0x01
00000b35: PUSH1 0xa0
00000b37: SHL
00000b38: SUB
00000b39: AND
00000b3a: PUSH32 0x3514319b7a526ad5f1f42edf0c1df25fa0ea2ae054779987fbe636f164515e2f
00000b5b: DUP11
00000b5c: PUSH1 0x93
00000b5e: PUSH1 0x00
00000b60: SWAP1
00000b61: SLOAD
00000b62: SWAP1
00000b63: PUSH2 0x0100
00000b66: EXP
00000b67: SWAP1
00000b68: DIV
00000b69: PUSH1 0x01
00000b6b: PUSH1 0x01
00000b6d: PUSH1 0xa0
00000b6f: SHL
00000b70: SUB
00000b71: AND
00000b72: PUSH1 0x01
00000b74: PUSH1 0x01
00000b76: PUSH1 0xa0
00000b78: SHL
00000b79: SUB
00000b7a: AND
00000b7b: PUSH4 0x75d26413
00000b80: PUSH1 0x40
00000b82: MLOAD
00000b83: DUP2
00000b84: PUSH4 0xffffffff
00000b89: AND
00000b8a: PUSH1 0xe0
00000b8c: SHL
00000b8d: DUP2
00000b8e: MSTORE
00000b8f: PUSH1 0x04
00000b91: ADD
00000b92: PUSH1 0x20
00000b94: PUSH1 0x40
00000b96: MLOAD
00000b97: DUP1
00000b98: DUP4
00000b99: SUB
00000b9a: DUP2
00000b9b: DUP7
00000b9c: DUP1
00000b9d: EXTCODESIZE
00000b9e: ISZERO
00000b9f: DUP1
00000ba0: ISZERO
00000ba1: PUSH2 0x0ba9
00000ba4: JUMPI
00000ba5: PUSH1 0x00
00000ba7: DUP1
00000ba8: REVERT
00000ba9: JUMPDEST
00000baa: POP
00000bab: GAS
00000bac: STATICCALL
00000bad: ISZERO
00000bae: DUP1
00000baf: ISZERO
00000bb0: PUSH2 0x0bbd
00000bb3: JUMPI
00000bb4: RETURNDATASIZE
00000bb5: PUSH1 0x00
00000bb7: DUP1
00000bb8: RETURNDATACOPY
00000bb9: RETURNDATASIZE
00000bba: PUSH1 0x00
00000bbc: REVERT
00000bbd: JUMPDEST
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: POP
00000bc2: PUSH1 0x40
00000bc4: MLOAD
00000bc5: RETURNDATASIZE
00000bc6: PUSH1 0x1f
00000bc8: NOT
00000bc9: PUSH1 0x1f
00000bcb: DUP3
00000bcc: ADD
00000bcd: AND
00000bce: DUP3
00000bcf: ADD
00000bd0: DUP1
00000bd1: PUSH1 0x40
00000bd3: MSTORE
00000bd4: POP
00000bd5: DUP2
00000bd6: ADD
00000bd7: SWAP1
00000bd8: PUSH2 0x0be1
00000bdb: SWAP2
00000bdc: SWAP1
00000bdd: PUSH2 0x1d5f
00000be0: JUMP
00000be1: JUMPDEST
00000be2: PUSH1 0x40
00000be4: DUP1
00000be5: MLOAD
00000be6: PUSH1 0x01
00000be8: PUSH1 0x01
00000bea: PUSH1 0xa0
00000bec: SHL
00000bed: SUB
00000bee: SWAP4
00000bef: DUP5
00000bf0: AND
00000bf1: DUP2
00000bf2: MSTORE
00000bf3: SWAP3
00000bf4: SWAP1
00000bf5: SWAP2
00000bf6: AND
00000bf7: PUSH1 0x20
00000bf9: DUP4
00000bfa: ADD
00000bfb: MSTORE
00000bfc: ADD
00000bfd: PUSH1 0x40
00000bff: MLOAD
00000c00: DUP1
00000c01: SWAP2
00000c02: SUB
00000c03: SWAP1
00000c04: LOG3
00000c05: DUP1
00000c06: ISZERO
00000c07: PUSH2 0x0c16
00000c0a: JUMPI
00000c0b: PUSH1 0x00
00000c0d: DUP1
00000c0e: SLOAD
00000c0f: PUSH2 0xff00
00000c12: NOT
00000c13: AND
00000c14: SWAP1
00000c15: SSTORE
00000c16: JUMPDEST
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: POP
00000c1e: POP
00000c1f: POP
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH2 0x0c29
00000c25: PUSH2 0x0e7d
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x01
00000c2c: PUSH1 0x01
00000c2e: PUSH1 0xa0
00000c30: SHL
00000c31: SUB
00000c32: AND
00000c33: CALLER
00000c34: PUSH1 0x01
00000c36: PUSH1 0x01
00000c38: PUSH1 0xa0
00000c3a: SHL
00000c3b: SUB
00000c3c: AND
00000c3d: EQ
00000c3e: PUSH1 0x40
00000c40: MLOAD
00000c41: DUP1
00000c42: PUSH1 0x40
00000c44: ADD
00000c45: PUSH1 0x40
00000c47: MSTORE
00000c48: DUP1
00000c49: PUSH1 0x03
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: PUSH3 0x035303
00000c54: PUSH1 0xec
00000c56: SHL
00000c57: DUP2
00000c58: MSTORE
00000c59: POP
00000c5a: SWAP1
00000c5b: PUSH2 0x0c77
00000c5e: JUMPI
00000c5f: PUSH1 0x40
00000c61: MLOAD
00000c62: PUSH3 0x461bcd
00000c66: PUSH1 0xe5
00000c68: SHL
00000c69: DUP2
00000c6a: MSTORE
00000c6b: PUSH1 0x04
00000c6d: ADD
00000c6e: PUSH2 0x0465
00000c71: SWAP2
00000c72: SWAP1
00000c73: PUSH2 0x1fc8
00000c76: JUMP
00000c77: JUMPDEST
00000c78: POP
00000c79: PUSH1 0x00
00000c7b: PUSH2 0x0c84
00000c7e: DUP4
00000c7f: DUP4
00000c80: PUSH2 0x0efa
00000c83: JUMP
00000c84: JUMPDEST
00000c85: PUSH1 0x40
00000c87: DUP1
00000c88: MLOAD
00000c89: DUP1
00000c8a: DUP3
00000c8b: ADD
00000c8c: SWAP1
00000c8d: SWAP2
00000c8e: MSTORE
00000c8f: PUSH1 0x03
00000c91: DUP2
00000c92: MSTORE
00000c93: PUSH3 0x1a9819
00000c97: PUSH1 0xe9
00000c99: SHL
00000c9a: PUSH1 0x20
00000c9c: DUP3
00000c9d: ADD
00000c9e: MSTORE
00000c9f: SWAP1
00000ca0: SWAP2
00000ca1: POP
00000ca2: DUP2
00000ca3: PUSH2 0x0cbf
00000ca6: JUMPI
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: PUSH3 0x461bcd
00000cae: PUSH1 0xe5
00000cb0: SHL
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: PUSH1 0x04
00000cb5: ADD
00000cb6: PUSH2 0x0465
00000cb9: SWAP2
00000cba: SWAP1
00000cbb: PUSH2 0x1fc8
00000cbe: JUMP
00000cbf: JUMPDEST
00000cc0: POP
00000cc1: PUSH2 0x0cca
00000cc4: DUP6
00000cc5: DUP3
00000cc6: PUSH2 0x1282
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH1 0x95
00000ccd: SLOAD
00000cce: PUSH2 0x0ce1
00000cd1: SWAP1
00000cd2: PUSH1 0x01
00000cd4: PUSH1 0x01
00000cd6: PUSH1 0xa0
00000cd8: SHL
00000cd9: SUB
00000cda: AND
00000cdb: DUP6
00000cdc: DUP6
00000cdd: PUSH2 0x115e
00000ce0: JUMP
00000ce1: JUMPDEST
00000ce2: DUP4
00000ce3: PUSH1 0x01
00000ce5: PUSH1 0x01
00000ce7: PUSH1 0xa0
00000ce9: SHL
00000cea: SUB
00000ceb: AND
00000cec: DUP6
00000ced: PUSH1 0x01
00000cef: PUSH1 0x01
00000cf1: PUSH1 0xa0
00000cf3: SHL
00000cf4: SUB
00000cf5: AND
00000cf6: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
00000d17: DUP6
00000d18: DUP6
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: PUSH2 0x0d2f
00000d1f: SWAP3
00000d20: SWAP2
00000d21: SWAP1
00000d22: SWAP2
00000d23: DUP3
00000d24: MSTORE
00000d25: PUSH1 0x20
00000d27: DUP3
00000d28: ADD
00000d29: MSTORE
00000d2a: PUSH1 0x40
00000d2c: ADD
00000d2d: SWAP1
00000d2e: JUMP
00000d2f: JUMPDEST
00000d30: PUSH1 0x40
00000d32: MLOAD
00000d33: DUP1
00000d34: SWAP2
00000d35: SUB
00000d36: SWAP1
00000d37: LOG3
00000d38: POP
00000d39: POP
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: JUMP
00000d3e: JUMPDEST
00000d3f: PUSH1 0x01
00000d41: PUSH1 0x01
00000d43: PUSH1 0xa0
00000d45: SHL
00000d46: SUB
00000d47: DUP4
00000d48: AND
00000d49: PUSH2 0x0da0
00000d4c: JUMPI
00000d4d: PUSH1 0x40
00000d4f: MLOAD
00000d50: PUSH3 0x461bcd
00000d54: PUSH1 0xe5
00000d56: SHL
00000d57: DUP2
00000d58: MSTORE
00000d59: PUSH1 0x20
00000d5b: PUSH1 0x04
00000d5d: DUP3
00000d5e: ADD
00000d5f: MSTORE
00000d60: PUSH1 0x24
00000d62: DUP1
00000d63: DUP3
00000d64: ADD
00000d65: MSTORE
00000d66: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000d87: PUSH1 0x44
00000d89: DUP3
00000d8a: ADD
00000d8b: MSTORE
00000d8c: PUSH4 0x72657373
00000d91: PUSH1 0xe0
00000d93: SHL
00000d94: PUSH1 0x64
00000d96: DUP3
00000d97: ADD
00000d98: MSTORE
00000d99: PUSH1 0x84
00000d9b: ADD
00000d9c: PUSH2 0x0465
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x01
00000da3: PUSH1 0x01
00000da5: PUSH1 0xa0
00000da7: SHL
00000da8: SUB
00000da9: DUP3
00000daa: AND
00000dab: PUSH2 0x0e01
00000dae: JUMPI
00000daf: PUSH1 0x40
00000db1: MLOAD
00000db2: PUSH3 0x461bcd
00000db6: PUSH1 0xe5
00000db8: SHL
00000db9: DUP2
00000dba: MSTORE
00000dbb: PUSH1 0x20
00000dbd: PUSH1 0x04
00000dbf: DUP3
00000dc0: ADD
00000dc1: MSTORE
00000dc2: PUSH1 0x22
00000dc4: PUSH1 0x24
00000dc6: DUP3
00000dc7: ADD
00000dc8: MSTORE
00000dc9: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000dea: PUSH1 0x44
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH2 0x7373
00000df2: PUSH1 0xf0
00000df4: SHL
00000df5: PUSH1 0x64
00000df7: DUP3
00000df8: ADD
00000df9: MSTORE
00000dfa: PUSH1 0x84
00000dfc: ADD
00000dfd: PUSH2 0x0465
00000e00: JUMP
00000e01: JUMPDEST
00000e02: PUSH1 0x01
00000e04: PUSH1 0x01
00000e06: PUSH1 0xa0
00000e08: SHL
00000e09: SUB
00000e0a: DUP4
00000e0b: DUP2
00000e0c: AND
00000e0d: PUSH1 0x00
00000e0f: DUP2
00000e10: DUP2
00000e11: MSTORE
00000e12: PUSH1 0x34
00000e14: PUSH1 0x20
00000e16: SWAP1
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x40
00000e1b: DUP1
00000e1c: DUP4
00000e1d: KECCAK256
00000e1e: SWAP5
00000e1f: DUP8
00000e20: AND
00000e21: DUP1
00000e22: DUP5
00000e23: MSTORE
00000e24: SWAP5
00000e25: DUP3
00000e26: MSTORE
00000e27: SWAP2
00000e28: DUP3
00000e29: SWAP1
00000e2a: KECCAK256
00000e2b: DUP6
00000e2c: SWAP1
00000e2d: SSTORE
00000e2e: SWAP1
00000e2f: MLOAD
00000e30: DUP5
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000e54: SWAP2
00000e55: ADD
00000e56: PUSH1 0x40
00000e58: MLOAD
00000e59: DUP1
00000e5a: SWAP2
00000e5b: SUB
00000e5c: SWAP1
00000e5d: LOG3
00000e5e: POP
00000e5f: POP
00000e60: POP
00000e61: JUMP
00000e62: JUMPDEST
00000e63: PUSH1 0x01
00000e65: PUSH1 0x01
00000e67: PUSH1 0xa0
00000e69: SHL
00000e6a: SUB
00000e6b: AND
00000e6c: PUSH1 0x00
00000e6e: SWAP1
00000e6f: DUP2
00000e70: MSTORE
00000e71: PUSH1 0x33
00000e73: PUSH1 0x20
00000e75: MSTORE
00000e76: PUSH1 0x40
00000e78: SWAP1
00000e79: KECCAK256
00000e7a: SLOAD
00000e7b: SWAP1
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH1 0x93
00000e80: SLOAD
00000e81: PUSH1 0x40
00000e83: DUP1
00000e84: MLOAD
00000e85: PUSH4 0x11ead9ef
00000e8a: PUSH1 0xe3
00000e8c: SHL
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: SWAP1
00000e90: MLOAD
00000e91: PUSH1 0x00
00000e93: SWAP3
00000e94: PUSH1 0x01
00000e96: PUSH1 0x01
00000e98: PUSH1 0xa0
00000e9a: SHL
00000e9b: SUB
00000e9c: AND
00000e9d: SWAP2
00000e9e: PUSH4 0x8f56cf78
00000ea3: SWAP2
00000ea4: PUSH1 0x04
00000ea6: DUP1
00000ea7: DUP4
00000ea8: ADD
00000ea9: SWAP3
00000eaa: PUSH1 0x20
00000eac: SWAP3
00000ead: SWAP2
00000eae: SWAP1
00000eaf: DUP3
00000eb0: SWAP1
00000eb1: SUB
00000eb2: ADD
00000eb3: DUP2
00000eb4: DUP7
00000eb5: DUP1
00000eb6: EXTCODESIZE
00000eb7: ISZERO
00000eb8: DUP1
00000eb9: ISZERO
00000eba: PUSH2 0x0ec2
00000ebd: JUMPI
00000ebe: PUSH1 0x00
00000ec0: DUP1
00000ec1: REVERT
00000ec2: JUMPDEST
00000ec3: POP
00000ec4: GAS
00000ec5: STATICCALL
00000ec6: ISZERO
00000ec7: DUP1
00000ec8: ISZERO
00000ec9: PUSH2 0x0ed6
00000ecc: JUMPI
00000ecd: RETURNDATASIZE
00000ece: PUSH1 0x00
00000ed0: DUP1
00000ed1: RETURNDATACOPY
00000ed2: RETURNDATASIZE
00000ed3: PUSH1 0x00
00000ed5: REVERT
00000ed6: JUMPDEST
00000ed7: POP
00000ed8: POP
00000ed9: POP
00000eda: POP
00000edb: PUSH1 0x40
00000edd: MLOAD
00000ede: RETURNDATASIZE
00000edf: PUSH1 0x1f
00000ee1: NOT
00000ee2: PUSH1 0x1f
00000ee4: DUP3
00000ee5: ADD
00000ee6: AND
00000ee7: DUP3
00000ee8: ADD
00000ee9: DUP1
00000eea: PUSH1 0x40
00000eec: MSTORE
00000eed: POP
00000eee: DUP2
00000eef: ADD
00000ef0: SWAP1
00000ef1: PUSH2 0x07e4
00000ef4: SWAP2
00000ef5: SWAP1
00000ef6: PUSH2 0x1d5f
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH1 0x40
00000efd: DUP1
00000efe: MLOAD
00000eff: DUP1
00000f00: DUP3
00000f01: ADD
00000f02: SWAP1
00000f03: SWAP2
00000f04: MSTORE
00000f05: PUSH1 0x03
00000f07: DUP2
00000f08: MSTORE
00000f09: PUSH3 0x191819
00000f0d: PUSH1 0xe9
00000f0f: SHL
00000f10: PUSH1 0x20
00000f12: DUP3
00000f13: ADD
00000f14: MSTORE
00000f15: PUSH1 0x00
00000f17: SWAP1
00000f18: DUP3
00000f19: PUSH2 0x0f35
00000f1c: JUMPI
00000f1d: PUSH1 0x40
00000f1f: MLOAD
00000f20: PUSH3 0x461bcd
00000f24: PUSH1 0xe5
00000f26: SHL
00000f27: DUP2
00000f28: MSTORE
00000f29: PUSH1 0x04
00000f2b: ADD
00000f2c: PUSH2 0x0465
00000f2f: SWAP2
00000f30: SWAP1
00000f31: PUSH2 0x1fc8
00000f34: JUMP
00000f35: JUMPDEST
00000f36: POP
00000f37: PUSH1 0x00
00000f39: PUSH2 0x0f43
00000f3c: PUSH1 0x02
00000f3e: DUP5
00000f3f: PUSH2 0x20ac
00000f42: JUMP
00000f43: JUMPDEST
00000f44: SWAP1
00000f45: POP
00000f46: PUSH12 0x033b2e3c9fd0803ce8000000
00000f53: PUSH2 0x0f5e
00000f56: DUP3
00000f57: PUSH1 0x00
00000f59: NOT
00000f5a: PUSH2 0x20eb
00000f5d: JUMP
00000f5e: JUMPDEST
00000f5f: PUSH2 0x0f68
00000f62: SWAP2
00000f63: SWAP1
00000f64: PUSH2 0x20ac
00000f67: JUMP
00000f68: JUMPDEST
00000f69: DUP5
00000f6a: GT
00000f6b: ISZERO
00000f6c: PUSH1 0x40
00000f6e: MLOAD
00000f6f: DUP1
00000f70: PUSH1 0x40
00000f72: ADD
00000f73: PUSH1 0x40
00000f75: MSTORE
00000f76: DUP1
00000f77: PUSH1 0x03
00000f79: DUP2
00000f7a: MSTORE
00000f7b: PUSH1 0x20
00000f7d: ADD
00000f7e: PUSH3 0x032303
00000f82: PUSH1 0xec
00000f84: SHL
00000f85: DUP2
00000f86: MSTORE
00000f87: POP
00000f88: SWAP1
00000f89: PUSH2 0x0fa5
00000f8c: JUMPI
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: PUSH3 0x461bcd
00000f94: PUSH1 0xe5
00000f96: SHL
00000f97: DUP2
00000f98: MSTORE
00000f99: PUSH1 0x04
00000f9b: ADD
00000f9c: PUSH2 0x0465
00000f9f: SWAP2
00000fa0: SWAP1
00000fa1: PUSH2 0x1fc8
00000fa4: JUMP
00000fa5: JUMPDEST
00000fa6: POP
00000fa7: DUP3
00000fa8: DUP2
00000fa9: PUSH2 0x0fbe
00000fac: PUSH12 0x033b2e3c9fd0803ce8000000
00000fb9: DUP8
00000fba: PUSH2 0x20cc
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: PUSH2 0x0fc8
00000fc2: SWAP2
00000fc3: SWAP1
00000fc4: PUSH2 0x2094
00000fc7: JUMP
00000fc8: JUMPDEST
00000fc9: PUSH2 0x0fd2
00000fcc: SWAP2
00000fcd: SWAP1
00000fce: PUSH2 0x20ac
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: SWAP5
00000fd4: SWAP4
00000fd5: POP
00000fd6: POP
00000fd7: POP
00000fd8: POP
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: PUSH1 0x00
00000fdd: PUSH2 0x0fe5
00000fe0: PUSH1 0x35
00000fe2: SLOAD
00000fe3: SWAP1
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: SWAP1
00000fe7: POP
00000fe8: PUSH1 0x00
00000fea: PUSH2 0x0ff2
00000fed: DUP5
00000fee: PUSH2 0x0e62
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: SWAP1
00000ff4: POP
00000ff5: PUSH2 0x0ffe
00000ff8: DUP5
00000ff9: DUP5
00000ffa: PUSH2 0x12a6
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH1 0x00
00001001: PUSH2 0x1008
00001004: PUSH2 0x11b0
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH1 0x01
0000100b: PUSH1 0x01
0000100d: PUSH1 0xa0
0000100f: SHL
00001010: SUB
00001011: AND
00001012: EQ
00001013: PUSH2 0x108a
00001016: JUMPI
00001017: PUSH2 0x101e
0000101a: PUSH2 0x11b0
0000101d: JUMP
0000101e: JUMPDEST
0000101f: PUSH1 0x40
00001021: MLOAD
00001022: PUSH4 0x18c39f17
00001027: PUSH1 0xe1
00001029: SHL
0000102a: DUP2
0000102b: MSTORE
0000102c: PUSH1 0x01
0000102e: PUSH1 0x01
00001030: PUSH1 0xa0
00001032: SHL
00001033: SUB
00001034: DUP7
00001035: DUP2
00001036: AND
00001037: PUSH1 0x04
00001039: DUP4
0000103a: ADD
0000103b: MSTORE
0000103c: PUSH1 0x24
0000103e: DUP3
0000103f: ADD
00001040: DUP6
00001041: SWAP1
00001042: MSTORE
00001043: PUSH1 0x44
00001045: DUP3
00001046: ADD
00001047: DUP5
00001048: SWAP1
00001049: MSTORE
0000104a: SWAP2
0000104b: SWAP1
0000104c: SWAP2
0000104d: AND
0000104e: SWAP1
0000104f: PUSH4 0x31873e2e
00001054: SWAP1
00001055: PUSH1 0x64
00001057: ADD
00001058: PUSH1 0x00
0000105a: PUSH1 0x40
0000105c: MLOAD
0000105d: DUP1
0000105e: DUP4
0000105f: SUB
00001060: DUP2
00001061: PUSH1 0x00
00001063: DUP8
00001064: DUP1
00001065: EXTCODESIZE
00001066: ISZERO
00001067: DUP1
00001068: ISZERO
00001069: PUSH2 0x1071
0000106c: JUMPI
0000106d: PUSH1 0x00
0000106f: DUP1
00001070: REVERT
00001071: JUMPDEST
00001072: POP
00001073: GAS
00001074: CALL
00001075: ISZERO
00001076: DUP1
00001077: ISZERO
00001078: PUSH2 0x1085
0000107b: JUMPI
0000107c: RETURNDATASIZE
0000107d: PUSH1 0x00
0000107f: DUP1
00001080: RETURNDATACOPY
00001081: RETURNDATASIZE
00001082: PUSH1 0x00
00001084: REVERT
00001085: JUMPDEST
00001086: POP
00001087: POP
00001088: POP
00001089: POP
0000108a: JUMPDEST
0000108b: POP
0000108c: POP
0000108d: POP
0000108e: POP
0000108f: JUMP
00001090: JUMPDEST
00001091: PUSH1 0x00
00001093: DUP3
00001094: ISZERO
00001095: DUP1
00001096: PUSH2 0x109d
00001099: JUMPI
0000109a: POP
0000109b: DUP2
0000109c: ISZERO
0000109d: JUMPDEST
0000109e: ISZERO
0000109f: PUSH2 0x10aa
000010a2: JUMPI
000010a3: POP
000010a4: PUSH1 0x00
000010a6: PUSH2 0x03ef
000010a9: JUMP
000010aa: JUMPDEST
000010ab: DUP2
000010ac: PUSH2 0x10c2
000010af: PUSH1 0x02
000010b1: PUSH12 0x033b2e3c9fd0803ce8000000
000010be: PUSH2 0x20ac
000010c1: JUMP
000010c2: JUMPDEST
000010c3: PUSH2 0x10ce
000010c6: SWAP1
000010c7: PUSH1 0x00
000010c9: NOT
000010ca: PUSH2 0x20eb
000010cd: JUMP
000010ce: JUMPDEST
000010cf: PUSH2 0x10d8
000010d2: SWAP2
000010d3: SWAP1
000010d4: PUSH2 0x20ac
000010d7: JUMP
000010d8: JUMPDEST
000010d9: DUP4
000010da: GT
000010db: ISZERO
000010dc: PUSH1 0x40
000010de: MLOAD
000010df: DUP1
000010e0: PUSH1 0x40
000010e2: ADD
000010e3: PUSH1 0x40
000010e5: MSTORE
000010e6: DUP1
000010e7: PUSH1 0x03
000010e9: DUP2
000010ea: MSTORE
000010eb: PUSH1 0x20
000010ed: ADD
000010ee: PUSH3 0x032303
000010f2: PUSH1 0xec
000010f4: SHL
000010f5: DUP2
000010f6: MSTORE
000010f7: POP
000010f8: SWAP1
000010f9: PUSH2 0x1115
000010fc: JUMPI
000010fd: PUSH1 0x40
000010ff: MLOAD
00001100: PUSH3 0x461bcd
00001104: PUSH1 0xe5
00001106: SHL
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x04
0000110b: ADD
0000110c: PUSH2 0x0465
0000110f: SWAP2
00001110: SWAP1
00001111: PUSH2 0x1fc8
00001114: JUMP
00001115: JUMPDEST
00001116: POP
00001117: PUSH12 0x033b2e3c9fd0803ce8000000
00001124: PUSH2 0x112e
00001127: PUSH1 0x02
00001129: DUP3
0000112a: PUSH2 0x20ac
0000112d: JUMP
0000112e: JUMPDEST
0000112f: PUSH2 0x1138
00001132: DUP5
00001133: DUP7
00001134: PUSH2 0x20cc
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH2 0x1142
0000113c: SWAP2
0000113d: SWAP1
0000113e: PUSH2 0x2094
00001141: JUMP
00001142: JUMPDEST
00001143: PUSH2 0x0517
00001146: SWAP2
00001147: SWAP1
00001148: PUSH2 0x20ac
0000114b: JUMP
0000114c: JUMPDEST
0000114d: PUSH2 0x1159
00001150: DUP4
00001151: DUP4
00001152: DUP4
00001153: PUSH1 0x01
00001155: PUSH2 0x1373
00001158: JUMP
00001159: JUMPDEST
0000115a: POP
0000115b: POP
0000115c: POP
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH1 0x40
00001161: DUP1
00001162: MLOAD
00001163: PUSH1 0x01
00001165: PUSH1 0x01
00001167: PUSH1 0xa0
00001169: SHL
0000116a: SUB
0000116b: DUP5
0000116c: AND
0000116d: PUSH1 0x24
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: PUSH1 0x44
00001174: DUP1
00001175: DUP3
00001176: ADD
00001177: DUP5
00001178: SWAP1
00001179: MSTORE
0000117a: DUP3
0000117b: MLOAD
0000117c: DUP1
0000117d: DUP4
0000117e: SUB
0000117f: SWAP1
00001180: SWAP2
00001181: ADD
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x64
00001186: SWAP1
00001187: SWAP2
00001188: ADD
00001189: SWAP1
0000118a: SWAP2
0000118b: MSTORE
0000118c: PUSH1 0x20
0000118e: DUP2
0000118f: ADD
00001190: DUP1
00001191: MLOAD
00001192: PUSH1 0x01
00001194: PUSH1 0x01
00001196: PUSH1 0xe0
00001198: SHL
00001199: SUB
0000119a: AND
0000119b: PUSH4 0xa9059cbb
000011a0: PUSH1 0xe0
000011a2: SHL
000011a3: OR
000011a4: SWAP1
000011a5: MSTORE
000011a6: PUSH2 0x1159
000011a9: SWAP1
000011aa: DUP5
000011ab: SWAP1
000011ac: PUSH2 0x1526
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH1 0x93
000011b3: SLOAD
000011b4: PUSH1 0x40
000011b6: DUP1
000011b7: MLOAD
000011b8: PUSH4 0x75d26413
000011bd: PUSH1 0xe0
000011bf: SHL
000011c0: DUP2
000011c1: MSTORE
000011c2: SWAP1
000011c3: MLOAD
000011c4: PUSH1 0x00
000011c6: SWAP3
000011c7: PUSH1 0x01
000011c9: PUSH1 0x01
000011cb: PUSH1 0xa0
000011cd: SHL
000011ce: SUB
000011cf: AND
000011d0: SWAP2
000011d1: PUSH4 0x75d26413
000011d6: SWAP2
000011d7: PUSH1 0x04
000011d9: DUP1
000011da: DUP4
000011db: ADD
000011dc: SWAP3
000011dd: PUSH1 0x20
000011df: SWAP3
000011e0: SWAP2
000011e1: SWAP1
000011e2: DUP3
000011e3: SWAP1
000011e4: SUB
000011e5: ADD
000011e6: DUP2
000011e7: DUP7
000011e8: DUP1
000011e9: EXTCODESIZE
000011ea: ISZERO
000011eb: DUP1
000011ec: ISZERO
000011ed: PUSH2 0x0ec2
000011f0: JUMPI
000011f1: PUSH1 0x00
000011f3: DUP1
000011f4: REVERT
000011f5: JUMPDEST
000011f6: PUSH1 0x00
000011f8: SLOAD
000011f9: PUSH2 0x0100
000011fc: SWAP1
000011fd: DIV
000011fe: PUSH1 0xff
00001200: AND
00001201: PUSH2 0x1210
00001204: JUMPI
00001205: PUSH1 0x00
00001207: SLOAD
00001208: PUSH1 0xff
0000120a: AND
0000120b: ISZERO
0000120c: PUSH2 0x1214
0000120f: JUMP
00001210: JUMPDEST
00001211: ADDRESS
00001212: EXTCODESIZE
00001213: ISZERO
00001214: JUMPDEST
00001215: PUSH2 0x1230
00001218: JUMPI
00001219: PUSH1 0x40
0000121b: MLOAD
0000121c: PUSH3 0x461bcd
00001220: PUSH1 0xe5
00001222: SHL
00001223: DUP2
00001224: MSTORE
00001225: PUSH1 0x04
00001227: ADD
00001228: PUSH2 0x0465
0000122b: SWAP1
0000122c: PUSH2 0x1ffb
0000122f: JUMP
00001230: JUMPDEST
00001231: PUSH1 0x00
00001233: SLOAD
00001234: PUSH2 0x0100
00001237: SWAP1
00001238: DIV
00001239: PUSH1 0xff
0000123b: AND
0000123c: ISZERO
0000123d: DUP1
0000123e: ISZERO
0000123f: PUSH2 0x1252
00001242: JUMPI
00001243: PUSH1 0x00
00001245: DUP1
00001246: SLOAD
00001247: PUSH2 0xffff
0000124a: NOT
0000124b: AND
0000124c: PUSH2 0x0101
0000124f: OR
00001250: SWAP1
00001251: SSTORE
00001252: JUMPDEST
00001253: PUSH2 0x125c
00001256: DUP5
00001257: DUP5
00001258: PUSH2 0x15f8
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x65
0000125f: DUP1
00001260: SLOAD
00001261: PUSH1 0xff
00001263: NOT
00001264: AND
00001265: PUSH1 0xff
00001267: DUP5
00001268: AND
00001269: OR
0000126a: SWAP1
0000126b: SSTORE
0000126c: DUP1
0000126d: ISZERO
0000126e: PUSH2 0x108a
00001271: JUMPI
00001272: PUSH1 0x00
00001274: DUP1
00001275: SLOAD
00001276: PUSH2 0xff00
00001279: NOT
0000127a: AND
0000127b: SWAP1
0000127c: SSTORE
0000127d: POP
0000127e: POP
0000127f: POP
00001280: POP
00001281: JUMP
00001282: JUMPDEST
00001283: PUSH1 0x00
00001285: PUSH2 0x128d
00001288: PUSH1 0x35
0000128a: SLOAD
0000128b: SWAP1
0000128c: JUMP
0000128d: JUMPDEST
0000128e: SWAP1
0000128f: POP
00001290: PUSH1 0x00
00001292: PUSH2 0x129a
00001295: DUP5
00001296: PUSH2 0x0e62
00001299: JUMP
0000129a: JUMPDEST
0000129b: SWAP1
0000129c: POP
0000129d: PUSH2 0x0ffe
000012a0: DUP5
000012a1: DUP5
000012a2: PUSH2 0x1631
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x01
000012a9: PUSH1 0x01
000012ab: PUSH1 0xa0
000012ad: SHL
000012ae: SUB
000012af: DUP3
000012b0: AND
000012b1: PUSH2 0x12fc
000012b4: JUMPI
000012b5: PUSH1 0x40
000012b7: MLOAD
000012b8: PUSH3 0x461bcd
000012bc: PUSH1 0xe5
000012be: SHL
000012bf: DUP2
000012c0: MSTORE
000012c1: PUSH1 0x20
000012c3: PUSH1 0x04
000012c5: DUP3
000012c6: ADD
000012c7: MSTORE
000012c8: PUSH1 0x1f
000012ca: PUSH1 0x24
000012cc: DUP3
000012cd: ADD
000012ce: MSTORE
000012cf: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
000012f0: PUSH1 0x44
000012f2: DUP3
000012f3: ADD
000012f4: MSTORE
000012f5: PUSH1 0x64
000012f7: ADD
000012f8: PUSH2 0x0465
000012fb: JUMP
000012fc: JUMPDEST
000012fd: DUP1
000012fe: PUSH1 0x35
00001300: PUSH1 0x00
00001302: DUP3
00001303: DUP3
00001304: SLOAD
00001305: PUSH2 0x130e
00001308: SWAP2
00001309: SWAP1
0000130a: PUSH2 0x2094
0000130d: JUMP
0000130e: JUMPDEST
0000130f: SWAP1
00001310: SWAP2
00001311: SSTORE
00001312: POP
00001313: POP
00001314: PUSH1 0x01
00001316: PUSH1 0x01
00001318: PUSH1 0xa0
0000131a: SHL
0000131b: SUB
0000131c: DUP3
0000131d: AND
0000131e: PUSH1 0x00
00001320: SWAP1
00001321: DUP2
00001322: MSTORE
00001323: PUSH1 0x33
00001325: PUSH1 0x20
00001327: MSTORE
00001328: PUSH1 0x40
0000132a: DUP2
0000132b: KECCAK256
0000132c: DUP1
0000132d: SLOAD
0000132e: DUP4
0000132f: SWAP3
00001330: SWAP1
00001331: PUSH2 0x133b
00001334: SWAP1
00001335: DUP5
00001336: SWAP1
00001337: PUSH2 0x2094
0000133a: JUMP
0000133b: JUMPDEST
0000133c: SWAP1
0000133d: SWAP2
0000133e: SSTORE
0000133f: POP
00001340: POP
00001341: PUSH1 0x40
00001343: MLOAD
00001344: DUP2
00001345: DUP2
00001346: MSTORE
00001347: PUSH1 0x01
00001349: PUSH1 0x01
0000134b: PUSH1 0xa0
0000134d: SHL
0000134e: SUB
0000134f: DUP4
00001350: AND
00001351: SWAP1
00001352: PUSH1 0x00
00001354: SWAP1
00001355: PUSH1 0x00
00001357: DUP1
00001358: MLOAD
00001359: PUSH1 0x20
0000135b: PUSH2 0x2192
0000135e: DUP4
0000135f: CODECOPY
00001360: DUP2
00001361: MLOAD
00001362: SWAP2
00001363: MSTORE
00001364: SWAP1
00001365: PUSH1 0x20
00001367: ADD
00001368: PUSH1 0x40
0000136a: MLOAD
0000136b: DUP1
0000136c: SWAP2
0000136d: SUB
0000136e: SWAP1
0000136f: LOG3
00001370: POP
00001371: POP
00001372: JUMP
00001373: JUMPDEST
00001374: PUSH1 0x95
00001376: SLOAD
00001377: PUSH1 0x01
00001379: PUSH1 0x01
0000137b: PUSH1 0xa0
0000137d: SHL
0000137e: SUB
0000137f: AND
00001380: PUSH1 0x00
00001382: PUSH2 0x1389
00001385: PUSH2 0x0e7d
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x40
0000138c: MLOAD
0000138d: PUSH4 0xd15e0053
00001392: PUSH1 0xe0
00001394: SHL
00001395: DUP2
00001396: MSTORE
00001397: PUSH1 0x01
00001399: PUSH1 0x01
0000139b: PUSH1 0xa0
0000139d: SHL
0000139e: SUB
0000139f: DUP5
000013a0: DUP2
000013a1: AND
000013a2: PUSH1 0x04
000013a4: DUP4
000013a5: ADD
000013a6: MSTORE
000013a7: SWAP2
000013a8: SWAP3
000013a9: POP
000013aa: PUSH1 0x00
000013ac: SWAP2
000013ad: DUP4
000013ae: AND
000013af: SWAP1
000013b0: PUSH4 0xd15e0053
000013b5: SWAP1
000013b6: PUSH1 0x24
000013b8: ADD
000013b9: PUSH1 0x20
000013bb: PUSH1 0x40
000013bd: MLOAD
000013be: DUP1
000013bf: DUP4
000013c0: SUB
000013c1: DUP2
000013c2: DUP7
000013c3: DUP1
000013c4: EXTCODESIZE
000013c5: ISZERO
000013c6: DUP1
000013c7: ISZERO
000013c8: PUSH2 0x13d0
000013cb: JUMPI
000013cc: PUSH1 0x00
000013ce: DUP1
000013cf: REVERT
000013d0: JUMPDEST
000013d1: POP
000013d2: GAS
000013d3: STATICCALL
000013d4: ISZERO
000013d5: DUP1
000013d6: ISZERO
000013d7: PUSH2 0x13e4
000013da: JUMPI
000013db: RETURNDATASIZE
000013dc: PUSH1 0x00
000013de: DUP1
000013df: RETURNDATACOPY
000013e0: RETURNDATASIZE
000013e1: PUSH1 0x00
000013e3: REVERT
000013e4: JUMPDEST
000013e5: POP
000013e6: POP
000013e7: POP
000013e8: POP
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: RETURNDATASIZE
000013ed: PUSH1 0x1f
000013ef: NOT
000013f0: PUSH1 0x1f
000013f2: DUP3
000013f3: ADD
000013f4: AND
000013f5: DUP3
000013f6: ADD
000013f7: DUP1
000013f8: PUSH1 0x40
000013fa: MSTORE
000013fb: POP
000013fc: DUP2
000013fd: ADD
000013fe: SWAP1
000013ff: PUSH2 0x1408
00001402: SWAP2
00001403: SWAP1
00001404: PUSH2 0x1f73
00001407: JUMP
00001408: JUMPDEST
00001409: SWAP1
0000140a: POP
0000140b: PUSH1 0x00
0000140d: PUSH2 0x1419
00001410: DUP3
00001411: PUSH2 0x07d4
00001414: DUP11
00001415: PUSH2 0x0e62
00001418: JUMP
00001419: JUMPDEST
0000141a: SWAP1
0000141b: POP
0000141c: PUSH1 0x00
0000141e: PUSH2 0x142a
00001421: DUP4
00001422: PUSH2 0x07d4
00001425: DUP11
00001426: PUSH2 0x0e62
00001429: JUMP
0000142a: JUMPDEST
0000142b: SWAP1
0000142c: POP
0000142d: PUSH2 0x1440
00001430: DUP10
00001431: DUP10
00001432: PUSH2 0x143b
00001435: DUP11
00001436: DUP8
00001437: PUSH2 0x0efa
0000143a: JUMP
0000143b: JUMPDEST
0000143c: PUSH2 0x176d
0000143f: JUMP
00001440: JUMPDEST
00001441: DUP6
00001442: ISZERO
00001443: PUSH2 0x14c5
00001446: JUMPI
00001447: PUSH1 0x40
00001449: MLOAD
0000144a: PUSH4 0xd5ed3933
0000144f: PUSH1 0xe0
00001451: SHL
00001452: DUP2
00001453: MSTORE
00001454: PUSH1 0x01
00001456: PUSH1 0x01
00001458: PUSH1 0xa0
0000145a: SHL
0000145b: SUB
0000145c: DUP7
0000145d: DUP2
0000145e: AND
0000145f: PUSH1 0x04
00001461: DUP4
00001462: ADD
00001463: MSTORE
00001464: DUP11
00001465: DUP2
00001466: AND
00001467: PUSH1 0x24
00001469: DUP4
0000146a: ADD
0000146b: MSTORE
0000146c: DUP10
0000146d: DUP2
0000146e: AND
0000146f: PUSH1 0x44
00001471: DUP4
00001472: ADD
00001473: MSTORE
00001474: PUSH1 0x64
00001476: DUP3
00001477: ADD
00001478: DUP10
00001479: SWAP1
0000147a: MSTORE
0000147b: PUSH1 0x84
0000147d: DUP3
0000147e: ADD
0000147f: DUP5
00001480: SWAP1
00001481: MSTORE
00001482: PUSH1 0xa4
00001484: DUP3
00001485: ADD
00001486: DUP4
00001487: SWAP1
00001488: MSTORE
00001489: DUP6
0000148a: AND
0000148b: SWAP1
0000148c: PUSH4 0xd5ed3933
00001491: SWAP1
00001492: PUSH1 0xc4
00001494: ADD
00001495: PUSH1 0x00
00001497: PUSH1 0x40
00001499: MLOAD
0000149a: DUP1
0000149b: DUP4
0000149c: SUB
0000149d: DUP2
0000149e: DUP7
0000149f: DUP1
000014a0: EXTCODESIZE
000014a1: ISZERO
000014a2: DUP1
000014a3: ISZERO
000014a4: PUSH2 0x14ac
000014a7: JUMPI
000014a8: PUSH1 0x00
000014aa: DUP1
000014ab: REVERT
000014ac: JUMPDEST
000014ad: POP
000014ae: GAS
000014af: STATICCALL
000014b0: ISZERO
000014b1: DUP1
000014b2: ISZERO
000014b3: PUSH2 0x14c0
000014b6: JUMPI
000014b7: RETURNDATASIZE
000014b8: PUSH1 0x00
000014ba: DUP1
000014bb: RETURNDATACOPY
000014bc: RETURNDATASIZE
000014bd: PUSH1 0x00
000014bf: REVERT
000014c0: JUMPDEST
000014c1: POP
000014c2: POP
000014c3: POP
000014c4: POP
000014c5: JUMPDEST
000014c6: DUP8
000014c7: PUSH1 0x01
000014c9: PUSH1 0x01
000014cb: PUSH1 0xa0
000014cd: SHL
000014ce: SUB
000014cf: AND
000014d0: DUP10
000014d1: PUSH1 0x01
000014d3: PUSH1 0x01
000014d5: PUSH1 0xa0
000014d7: SHL
000014d8: SUB
000014d9: AND
000014da: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666
000014fb: DUP10
000014fc: DUP7
000014fd: PUSH1 0x40
000014ff: MLOAD
00001500: PUSH2 0x1513
00001503: SWAP3
00001504: SWAP2
00001505: SWAP1
00001506: SWAP2
00001507: DUP3
00001508: MSTORE
00001509: PUSH1 0x20
0000150b: DUP3
0000150c: ADD
0000150d: MSTORE
0000150e: PUSH1 0x40
00001510: ADD
00001511: SWAP1
00001512: JUMP
00001513: JUMPDEST
00001514: PUSH1 0x40
00001516: MLOAD
00001517: DUP1
00001518: SWAP2
00001519: SUB
0000151a: SWAP1
0000151b: LOG3
0000151c: POP
0000151d: POP
0000151e: POP
0000151f: POP
00001520: POP
00001521: POP
00001522: POP
00001523: POP
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x00
00001529: PUSH2 0x157b
0000152c: DUP3
0000152d: PUSH1 0x40
0000152f: MLOAD
00001530: DUP1
00001531: PUSH1 0x40
00001533: ADD
00001534: PUSH1 0x40
00001536: MSTORE
00001537: DUP1
00001538: PUSH1 0x20
0000153a: DUP2
0000153b: MSTORE
0000153c: PUSH1 0x20
0000153e: ADD
0000153f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001560: DUP2
00001561: MSTORE
00001562: POP
00001563: DUP6
00001564: PUSH1 0x01
00001566: PUSH1 0x01
00001568: PUSH1 0xa0
0000156a: SHL
0000156b: SUB
0000156c: AND
0000156d: PUSH2 0x18c0
00001570: SWAP1
00001571: SWAP3
00001572: SWAP2
00001573: SWAP1
00001574: PUSH4 0xffffffff
00001579: AND
0000157a: JUMP
0000157b: JUMPDEST
0000157c: DUP1
0000157d: MLOAD
0000157e: SWAP1
0000157f: SWAP2
00001580: POP
00001581: ISZERO
00001582: PUSH2 0x1159
00001585: JUMPI
00001586: DUP1
00001587: DUP1
00001588: PUSH1 0x20
0000158a: ADD
0000158b: SWAP1
0000158c: MLOAD
0000158d: DUP2
0000158e: ADD
0000158f: SWAP1
00001590: PUSH2 0x1599
00001593: SWAP2
00001594: SWAP1
00001595: PUSH2 0x1e97
00001598: JUMP
00001599: JUMPDEST
0000159a: PUSH2 0x1159
0000159d: JUMPI
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: PUSH3 0x461bcd
000015a5: PUSH1 0xe5
000015a7: SHL
000015a8: DUP2
000015a9: MSTORE
000015aa: PUSH1 0x20
000015ac: PUSH1 0x04
000015ae: DUP3
000015af: ADD
000015b0: MSTORE
000015b1: PUSH1 0x2a
000015b3: PUSH1 0x24
000015b5: DUP3
000015b6: ADD
000015b7: MSTORE
000015b8: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000015d9: PUSH1 0x44
000015db: DUP3
000015dc: ADD
000015dd: MSTORE
000015de: PUSH10 0x1bdd081cdd58d8d95959
000015e9: PUSH1 0xb2
000015eb: SHL
000015ec: PUSH1 0x64
000015ee: DUP3
000015ef: ADD
000015f0: MSTORE
000015f1: PUSH1 0x84
000015f3: ADD
000015f4: PUSH2 0x0465
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH1 0x00
000015fb: SLOAD
000015fc: PUSH2 0x0100
000015ff: SWAP1
00001600: DIV
00001601: PUSH1 0xff
00001603: AND
00001604: PUSH2 0x161f
00001607: JUMPI
00001608: PUSH1 0x40
0000160a: MLOAD
0000160b: PUSH3 0x461bcd
0000160f: PUSH1 0xe5
00001611: SHL
00001612: DUP2
00001613: MSTORE
00001614: PUSH1 0x04
00001616: ADD
00001617: PUSH2 0x0465
0000161a: SWAP1
0000161b: PUSH2 0x2049
0000161e: JUMP
0000161f: JUMPDEST
00001620: PUSH2 0x1627
00001623: PUSH2 0x18cf
00001626: JUMP
00001627: JUMPDEST
00001628: PUSH2 0x08e7
0000162b: DUP3
0000162c: DUP3
0000162d: PUSH2 0x18f8
00001630: JUMP
00001631: JUMPDEST
00001632: PUSH1 0x01
00001634: PUSH1 0x01
00001636: PUSH1 0xa0
00001638: SHL
00001639: SUB
0000163a: DUP3
0000163b: AND
0000163c: PUSH2 0x1691
0000163f: JUMPI
00001640: PUSH1 0x40
00001642: MLOAD
00001643: PUSH3 0x461bcd
00001647: PUSH1 0xe5
00001649: SHL
0000164a: DUP2
0000164b: MSTORE
0000164c: PUSH1 0x20
0000164e: PUSH1 0x04
00001650: DUP3
00001651: ADD
00001652: MSTORE
00001653: PUSH1 0x21
00001655: PUSH1 0x24
00001657: DUP3
00001658: ADD
00001659: MSTORE
0000165a: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
0000167b: PUSH1 0x44
0000167d: DUP3
0000167e: ADD
0000167f: MSTORE
00001680: PUSH1 0x73
00001682: PUSH1 0xf8
00001684: SHL
00001685: PUSH1 0x64
00001687: DUP3
00001688: ADD
00001689: MSTORE
0000168a: PUSH1 0x84
0000168c: ADD
0000168d: PUSH2 0x0465
00001690: JUMP
00001691: JUMPDEST
00001692: PUSH1 0x01
00001694: PUSH1 0x01
00001696: PUSH1 0xa0
00001698: SHL
00001699: SUB
0000169a: DUP3
0000169b: AND
0000169c: PUSH1 0x00
0000169e: SWAP1
0000169f: DUP2
000016a0: MSTORE
000016a1: PUSH1 0x33
000016a3: PUSH1 0x20
000016a5: MSTORE
000016a6: PUSH1 0x40
000016a8: SWAP1
000016a9: KECCAK256
000016aa: SLOAD
000016ab: DUP2
000016ac: DUP2
000016ad: LT
000016ae: ISZERO
000016af: PUSH2 0x1705
000016b2: JUMPI
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: PUSH3 0x461bcd
000016ba: PUSH1 0xe5
000016bc: SHL
000016bd: DUP2
000016be: MSTORE
000016bf: PUSH1 0x20
000016c1: PUSH1 0x04
000016c3: DUP3
000016c4: ADD
000016c5: MSTORE
000016c6: PUSH1 0x22
000016c8: PUSH1 0x24
000016ca: DUP3
000016cb: ADD
000016cc: MSTORE
000016cd: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
000016ee: PUSH1 0x44
000016f0: DUP3
000016f1: ADD
000016f2: MSTORE
000016f3: PUSH2 0x6365
000016f6: PUSH1 0xf0
000016f8: SHL
000016f9: PUSH1 0x64
000016fb: DUP3
000016fc: ADD
000016fd: MSTORE
000016fe: PUSH1 0x84
00001700: ADD
00001701: PUSH2 0x0465
00001704: JUMP
00001705: JUMPDEST
00001706: PUSH1 0x01
00001708: PUSH1 0x01
0000170a: PUSH1 0xa0
0000170c: SHL
0000170d: SUB
0000170e: DUP4
0000170f: AND
00001710: PUSH1 0x00
00001712: SWAP1
00001713: DUP2
00001714: MSTORE
00001715: PUSH1 0x33
00001717: PUSH1 0x20
00001719: MSTORE
0000171a: PUSH1 0x40
0000171c: DUP2
0000171d: KECCAK256
0000171e: DUP4
0000171f: DUP4
00001720: SUB
00001721: SWAP1
00001722: SSTORE
00001723: PUSH1 0x35
00001725: DUP1
00001726: SLOAD
00001727: DUP5
00001728: SWAP3
00001729: SWAP1
0000172a: PUSH2 0x1734
0000172d: SWAP1
0000172e: DUP5
0000172f: SWAP1
00001730: PUSH2 0x20eb
00001733: JUMP
00001734: JUMPDEST
00001735: SWAP1
00001736: SWAP2
00001737: SSTORE
00001738: POP
00001739: POP
0000173a: PUSH1 0x40
0000173c: MLOAD
0000173d: DUP3
0000173e: DUP2
0000173f: MSTORE
00001740: PUSH1 0x00
00001742: SWAP1
00001743: PUSH1 0x01
00001745: PUSH1 0x01
00001747: PUSH1 0xa0
00001749: SHL
0000174a: SUB
0000174b: DUP6
0000174c: AND
0000174d: SWAP1
0000174e: PUSH1 0x00
00001750: DUP1
00001751: MLOAD
00001752: PUSH1 0x20
00001754: PUSH2 0x2192
00001757: DUP4
00001758: CODECOPY
00001759: DUP2
0000175a: MLOAD
0000175b: SWAP2
0000175c: MSTORE
0000175d: SWAP1
0000175e: PUSH1 0x20
00001760: ADD
00001761: PUSH1 0x40
00001763: MLOAD
00001764: DUP1
00001765: SWAP2
00001766: SUB
00001767: SWAP1
00001768: LOG3
00001769: POP
0000176a: POP
0000176b: POP
0000176c: JUMP
0000176d: JUMPDEST
0000176e: PUSH1 0x00
00001770: PUSH2 0x1778
00001773: DUP5
00001774: PUSH2 0x0e62
00001777: JUMP
00001778: JUMPDEST
00001779: SWAP1
0000177a: POP
0000177b: PUSH1 0x00
0000177d: PUSH2 0x1785
00001780: DUP5
00001781: PUSH2 0x0e62
00001784: JUMP
00001785: JUMPDEST
00001786: SWAP1
00001787: POP
00001788: PUSH2 0x1792
0000178b: DUP6
0000178c: DUP6
0000178d: DUP6
0000178e: PUSH2 0x1946
00001791: JUMP
00001792: JUMPDEST
00001793: PUSH1 0x00
00001795: PUSH2 0x179c
00001798: PUSH2 0x11b0
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x01
0000179f: PUSH1 0x01
000017a1: PUSH1 0xa0
000017a3: SHL
000017a4: SUB
000017a5: AND
000017a6: EQ
000017a7: PUSH2 0x18b9
000017aa: JUMPI
000017ab: PUSH1 0x00
000017ad: PUSH2 0x17b5
000017b0: PUSH1 0x35
000017b2: SLOAD
000017b3: SWAP1
000017b4: JUMP
000017b5: JUMPDEST
000017b6: SWAP1
000017b7: POP
000017b8: PUSH2 0x17bf
000017bb: PUSH2 0x11b0
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x40
000017c2: MLOAD
000017c3: PUSH4 0x18c39f17
000017c8: PUSH1 0xe1
000017ca: SHL
000017cb: DUP2
000017cc: MSTORE
000017cd: PUSH1 0x01
000017cf: PUSH1 0x01
000017d1: PUSH1 0xa0
000017d3: SHL
000017d4: SUB
000017d5: DUP9
000017d6: DUP2
000017d7: AND
000017d8: PUSH1 0x04
000017da: DUP4
000017db: ADD
000017dc: MSTORE
000017dd: PUSH1 0x24
000017df: DUP3
000017e0: ADD
000017e1: DUP5
000017e2: SWAP1
000017e3: MSTORE
000017e4: PUSH1 0x44
000017e6: DUP3
000017e7: ADD
000017e8: DUP7
000017e9: SWAP1
000017ea: MSTORE
000017eb: SWAP2
000017ec: SWAP1
000017ed: SWAP2
000017ee: AND
000017ef: SWAP1
000017f0: PUSH4 0x31873e2e
000017f5: SWAP1
000017f6: PUSH1 0x64
000017f8: ADD
000017f9: PUSH1 0x00
000017fb: PUSH1 0x40
000017fd: MLOAD
000017fe: DUP1
000017ff: DUP4
00001800: SUB
00001801: DUP2
00001802: PUSH1 0x00
00001804: DUP8
00001805: DUP1
00001806: EXTCODESIZE
00001807: ISZERO
00001808: DUP1
00001809: ISZERO
0000180a: PUSH2 0x1812
0000180d: JUMPI
0000180e: PUSH1 0x00
00001810: DUP1
00001811: REVERT
00001812: JUMPDEST
00001813: POP
00001814: GAS
00001815: CALL
00001816: ISZERO
00001817: DUP1
00001818: ISZERO
00001819: PUSH2 0x1826
0000181c: JUMPI
0000181d: RETURNDATASIZE
0000181e: PUSH1 0x00
00001820: DUP1
00001821: RETURNDATACOPY
00001822: RETURNDATASIZE
00001823: PUSH1 0x00
00001825: REVERT
00001826: JUMPDEST
00001827: POP
00001828: POP
00001829: POP
0000182a: POP
0000182b: DUP5
0000182c: PUSH1 0x01
0000182e: PUSH1 0x01
00001830: PUSH1 0xa0
00001832: SHL
00001833: SUB
00001834: AND
00001835: DUP7
00001836: PUSH1 0x01
00001838: PUSH1 0x01
0000183a: PUSH1 0xa0
0000183c: SHL
0000183d: SUB
0000183e: AND
0000183f: EQ
00001840: PUSH2 0x18b7
00001843: JUMPI
00001844: PUSH2 0x184b
00001847: PUSH2 0x11b0
0000184a: JUMP
0000184b: JUMPDEST
0000184c: PUSH1 0x40
0000184e: MLOAD
0000184f: PUSH4 0x18c39f17
00001854: PUSH1 0xe1
00001856: SHL
00001857: DUP2
00001858: MSTORE
00001859: PUSH1 0x01
0000185b: PUSH1 0x01
0000185d: PUSH1 0xa0
0000185f: SHL
00001860: SUB
00001861: DUP8
00001862: DUP2
00001863: AND
00001864: PUSH1 0x04
00001866: DUP4
00001867: ADD
00001868: MSTORE
00001869: PUSH1 0x24
0000186b: DUP3
0000186c: ADD
0000186d: DUP5
0000186e: SWAP1
0000186f: MSTORE
00001870: PUSH1 0x44
00001872: DUP3
00001873: ADD
00001874: DUP6
00001875: SWAP1
00001876: MSTORE
00001877: SWAP2
00001878: SWAP1
00001879: SWAP2
0000187a: AND
0000187b: SWAP1
0000187c: PUSH4 0x31873e2e
00001881: SWAP1
00001882: PUSH1 0x64
00001884: ADD
00001885: PUSH1 0x00
00001887: PUSH1 0x40
00001889: MLOAD
0000188a: DUP1
0000188b: DUP4
0000188c: SUB
0000188d: DUP2
0000188e: PUSH1 0x00
00001890: DUP8
00001891: DUP1
00001892: EXTCODESIZE
00001893: ISZERO
00001894: DUP1
00001895: ISZERO
00001896: PUSH2 0x189e
00001899: JUMPI
0000189a: PUSH1 0x00
0000189c: DUP1
0000189d: REVERT
0000189e: JUMPDEST
0000189f: POP
000018a0: GAS
000018a1: CALL
000018a2: ISZERO
000018a3: DUP1
000018a4: ISZERO
000018a5: PUSH2 0x18b2
000018a8: JUMPI
000018a9: RETURNDATASIZE
000018aa: PUSH1 0x00
000018ac: DUP1
000018ad: RETURNDATACOPY
000018ae: RETURNDATASIZE
000018af: PUSH1 0x00
000018b1: REVERT
000018b2: JUMPDEST
000018b3: POP
000018b4: POP
000018b5: POP
000018b6: POP
000018b7: JUMPDEST
000018b8: POP
000018b9: JUMPDEST
000018ba: POP
000018bb: POP
000018bc: POP
000018bd: POP
000018be: POP
000018bf: JUMP
000018c0: JUMPDEST
000018c1: PUSH1 0x60
000018c3: PUSH2 0x0fd2
000018c6: DUP5
000018c7: DUP5
000018c8: PUSH1 0x00
000018ca: DUP6
000018cb: PUSH2 0x1b02
000018ce: JUMP
000018cf: JUMPDEST
000018d0: PUSH1 0x00
000018d2: SLOAD
000018d3: PUSH2 0x0100
000018d6: SWAP1
000018d7: DIV
000018d8: PUSH1 0xff
000018da: AND
000018db: PUSH2 0x18f6
000018de: JUMPI
000018df: PUSH1 0x40
000018e1: MLOAD
000018e2: PUSH3 0x461bcd
000018e6: PUSH1 0xe5
000018e8: SHL
000018e9: DUP2
000018ea: MSTORE
000018eb: PUSH1 0x04
000018ed: ADD
000018ee: PUSH2 0x0465
000018f1: SWAP1
000018f2: PUSH2 0x2049
000018f5: JUMP
000018f6: JUMPDEST
000018f7: JUMP
000018f8: JUMPDEST
000018f9: PUSH1 0x00
000018fb: SLOAD
000018fc: PUSH2 0x0100
000018ff: SWAP1
00001900: DIV
00001901: PUSH1 0xff
00001903: AND
00001904: PUSH2 0x191f
00001907: JUMPI
00001908: PUSH1 0x40
0000190a: MLOAD
0000190b: PUSH3 0x461bcd
0000190f: PUSH1 0xe5
00001911: SHL
00001912: DUP2
00001913: MSTORE
00001914: PUSH1 0x04
00001916: ADD
00001917: PUSH2 0x0465
0000191a: SWAP1
0000191b: PUSH2 0x2049
0000191e: JUMP
0000191f: JUMPDEST
00001920: DUP2
00001921: MLOAD
00001922: PUSH2 0x1932
00001925: SWAP1
00001926: PUSH1 0x36
00001928: SWAP1
00001929: PUSH1 0x20
0000192b: DUP6
0000192c: ADD
0000192d: SWAP1
0000192e: PUSH2 0x1c63
00001931: JUMP
00001932: JUMPDEST
00001933: POP
00001934: DUP1
00001935: MLOAD
00001936: PUSH2 0x1159
00001939: SWAP1
0000193a: PUSH1 0x37
0000193c: SWAP1
0000193d: PUSH1 0x20
0000193f: DUP5
00001940: ADD
00001941: SWAP1
00001942: PUSH2 0x1c63
00001945: JUMP
00001946: JUMPDEST
00001947: PUSH1 0x01
00001949: PUSH1 0x01
0000194b: PUSH1 0xa0
0000194d: SHL
0000194e: SUB
0000194f: DUP4
00001950: AND
00001951: PUSH2 0x19aa
00001954: JUMPI
00001955: PUSH1 0x40
00001957: MLOAD
00001958: PUSH3 0x461bcd
0000195c: PUSH1 0xe5
0000195e: SHL
0000195f: DUP2
00001960: MSTORE
00001961: PUSH1 0x20
00001963: PUSH1 0x04
00001965: DUP3
00001966: ADD
00001967: MSTORE
00001968: PUSH1 0x25
0000196a: PUSH1 0x24
0000196c: DUP3
0000196d: ADD
0000196e: MSTORE
0000196f: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001990: PUSH1 0x44
00001992: DUP3
00001993: ADD
00001994: MSTORE
00001995: PUSH5 0x6472657373
0000199b: PUSH1 0xd8
0000199d: SHL
0000199e: PUSH1 0x64
000019a0: DUP3
000019a1: ADD
000019a2: MSTORE
000019a3: PUSH1 0x84
000019a5: ADD
000019a6: PUSH2 0x0465
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH1 0x01
000019ad: PUSH1 0x01
000019af: PUSH1 0xa0
000019b1: SHL
000019b2: SUB
000019b3: DUP3
000019b4: AND
000019b5: PUSH2 0x1a0c
000019b8: JUMPI
000019b9: PUSH1 0x40
000019bb: MLOAD
000019bc: PUSH3 0x461bcd
000019c0: PUSH1 0xe5
000019c2: SHL
000019c3: DUP2
000019c4: MSTORE
000019c5: PUSH1 0x20
000019c7: PUSH1 0x04
000019c9: DUP3
000019ca: ADD
000019cb: MSTORE
000019cc: PUSH1 0x23
000019ce: PUSH1 0x24
000019d0: DUP3
000019d1: ADD
000019d2: MSTORE
000019d3: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000019f4: PUSH1 0x44
000019f6: DUP3
000019f7: ADD
000019f8: MSTORE
000019f9: PUSH3 0x657373
000019fd: PUSH1 0xe8
000019ff: SHL
00001a00: PUSH1 0x64
00001a02: DUP3
00001a03: ADD
00001a04: MSTORE
00001a05: PUSH1 0x84
00001a07: ADD
00001a08: PUSH2 0x0465
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: PUSH1 0x01
00001a0f: PUSH1 0x01
00001a11: PUSH1 0xa0
00001a13: SHL
00001a14: SUB
00001a15: DUP4
00001a16: AND
00001a17: PUSH1 0x00
00001a19: SWAP1
00001a1a: DUP2
00001a1b: MSTORE
00001a1c: PUSH1 0x33
00001a1e: PUSH1 0x20
00001a20: MSTORE
00001a21: PUSH1 0x40
00001a23: SWAP1
00001a24: KECCAK256
00001a25: SLOAD
00001a26: DUP2
00001a27: DUP2
00001a28: LT
00001a29: ISZERO
00001a2a: PUSH2 0x1a84
00001a2d: JUMPI
00001a2e: PUSH1 0x40
00001a30: MLOAD
00001a31: PUSH3 0x461bcd
00001a35: PUSH1 0xe5
00001a37: SHL
00001a38: DUP2
00001a39: MSTORE
00001a3a: PUSH1 0x20
00001a3c: PUSH1 0x04
00001a3e: DUP3
00001a3f: ADD
00001a40: MSTORE
00001a41: PUSH1 0x26
00001a43: PUSH1 0x24
00001a45: DUP3
00001a46: ADD
00001a47: MSTORE
00001a48: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00001a69: PUSH1 0x44
00001a6b: DUP3
00001a6c: ADD
00001a6d: MSTORE
00001a6e: PUSH6 0x616c616e6365
00001a75: PUSH1 0xd0
00001a77: SHL
00001a78: PUSH1 0x64
00001a7a: DUP3
00001a7b: ADD
00001a7c: MSTORE
00001a7d: PUSH1 0x84
00001a7f: ADD
00001a80: PUSH2 0x0465
00001a83: JUMP
00001a84: JUMPDEST
00001a85: PUSH1 0x01
00001a87: PUSH1 0x01
00001a89: PUSH1 0xa0
00001a8b: SHL
00001a8c: SUB
00001a8d: DUP1
00001a8e: DUP6
00001a8f: AND
00001a90: PUSH1 0x00
00001a92: SWAP1
00001a93: DUP2
00001a94: MSTORE
00001a95: PUSH1 0x33
00001a97: PUSH1 0x20
00001a99: MSTORE
00001a9a: PUSH1 0x40
00001a9c: DUP1
00001a9d: DUP3
00001a9e: KECCAK256
00001a9f: DUP6
00001aa0: DUP6
00001aa1: SUB
00001aa2: SWAP1
00001aa3: SSTORE
00001aa4: SWAP2
00001aa5: DUP6
00001aa6: AND
00001aa7: DUP2
00001aa8: MSTORE
00001aa9: SWAP1
00001aaa: DUP2
00001aab: KECCAK256
00001aac: DUP1
00001aad: SLOAD
00001aae: DUP5
00001aaf: SWAP3
00001ab0: SWAP1
00001ab1: PUSH2 0x1abb
00001ab4: SWAP1
00001ab5: DUP5
00001ab6: SWAP1
00001ab7: PUSH2 0x2094
00001aba: JUMP
00001abb: JUMPDEST
00001abc: SWAP3
00001abd: POP
00001abe: POP
00001abf: DUP2
00001ac0: SWAP1
00001ac1: SSTORE
00001ac2: POP
00001ac3: DUP3
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0x01
00001ac8: PUSH1 0xa0
00001aca: SHL
00001acb: SUB
00001acc: AND
00001acd: DUP5
00001ace: PUSH1 0x01
00001ad0: PUSH1 0x01
00001ad2: PUSH1 0xa0
00001ad4: SHL
00001ad5: SUB
00001ad6: AND
00001ad7: PUSH1 0x00
00001ad9: DUP1
00001ada: MLOAD
00001adb: PUSH1 0x20
00001add: PUSH2 0x2192
00001ae0: DUP4
00001ae1: CODECOPY
00001ae2: DUP2
00001ae3: MLOAD
00001ae4: SWAP2
00001ae5: MSTORE
00001ae6: DUP5
00001ae7: PUSH1 0x40
00001ae9: MLOAD
00001aea: PUSH2 0x1af5
00001aed: SWAP2
00001aee: DUP2
00001aef: MSTORE
00001af0: PUSH1 0x20
00001af2: ADD
00001af3: SWAP1
00001af4: JUMP
00001af5: JUMPDEST
00001af6: PUSH1 0x40
00001af8: MLOAD
00001af9: DUP1
00001afa: SWAP2
00001afb: SUB
00001afc: SWAP1
00001afd: LOG3
00001afe: PUSH2 0x108a
00001b01: JUMP
00001b02: JUMPDEST
00001b03: PUSH1 0x60
00001b05: DUP3
00001b06: SELFBALANCE
00001b07: LT
00001b08: ISZERO
00001b09: PUSH2 0x1b63
00001b0c: JUMPI
00001b0d: PUSH1 0x40
00001b0f: MLOAD
00001b10: PUSH3 0x461bcd
00001b14: PUSH1 0xe5
00001b16: SHL
00001b17: DUP2
00001b18: MSTORE
00001b19: PUSH1 0x20
00001b1b: PUSH1 0x04
00001b1d: DUP3
00001b1e: ADD
00001b1f: MSTORE
00001b20: PUSH1 0x26
00001b22: PUSH1 0x24
00001b24: DUP3
00001b25: ADD
00001b26: MSTORE
00001b27: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001b48: PUSH1 0x44
00001b4a: DUP3
00001b4b: ADD
00001b4c: MSTORE
00001b4d: PUSH6 0x1c8818d85b1b
00001b54: PUSH1 0xd2
00001b56: SHL
00001b57: PUSH1 0x64
00001b59: DUP3
00001b5a: ADD
00001b5b: MSTORE
00001b5c: PUSH1 0x84
00001b5e: ADD
00001b5f: PUSH2 0x0465
00001b62: JUMP
00001b63: JUMPDEST
00001b64: DUP5
00001b65: EXTCODESIZE
00001b66: PUSH2 0x1bb1
00001b69: JUMPI
00001b6a: PUSH1 0x40
00001b6c: MLOAD
00001b6d: PUSH3 0x461bcd
00001b71: PUSH1 0xe5
00001b73: SHL
00001b74: DUP2
00001b75: MSTORE
00001b76: PUSH1 0x20
00001b78: PUSH1 0x04
00001b7a: DUP3
00001b7b: ADD
00001b7c: MSTORE
00001b7d: PUSH1 0x1d
00001b7f: PUSH1 0x24
00001b81: DUP3
00001b82: ADD
00001b83: MSTORE
00001b84: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001ba5: PUSH1 0x44
00001ba7: DUP3
00001ba8: ADD
00001ba9: MSTORE
00001baa: PUSH1 0x64
00001bac: ADD
00001bad: PUSH2 0x0465
00001bb0: JUMP
00001bb1: JUMPDEST
00001bb2: PUSH1 0x00
00001bb4: DUP1
00001bb5: DUP7
00001bb6: PUSH1 0x01
00001bb8: PUSH1 0x01
00001bba: PUSH1 0xa0
00001bbc: SHL
00001bbd: SUB
00001bbe: AND
00001bbf: DUP6
00001bc0: DUP8
00001bc1: PUSH1 0x40
00001bc3: MLOAD
00001bc4: PUSH2 0x1bcd
00001bc7: SWAP2
00001bc8: SWAP1
00001bc9: PUSH2 0x1fac
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH1 0x00
00001bd0: PUSH1 0x40
00001bd2: MLOAD
00001bd3: DUP1
00001bd4: DUP4
00001bd5: SUB
00001bd6: DUP2
00001bd7: DUP6
00001bd8: DUP8
00001bd9: GAS
00001bda: CALL
00001bdb: SWAP3
00001bdc: POP
00001bdd: POP
00001bde: POP
00001bdf: RETURNDATASIZE
00001be0: DUP1
00001be1: PUSH1 0x00
00001be3: DUP2
00001be4: EQ
00001be5: PUSH2 0x1c0a
00001be8: JUMPI
00001be9: PUSH1 0x40
00001beb: MLOAD
00001bec: SWAP2
00001bed: POP
00001bee: PUSH1 0x1f
00001bf0: NOT
00001bf1: PUSH1 0x3f
00001bf3: RETURNDATASIZE
00001bf4: ADD
00001bf5: AND
00001bf6: DUP3
00001bf7: ADD
00001bf8: PUSH1 0x40
00001bfa: MSTORE
00001bfb: RETURNDATASIZE
00001bfc: DUP3
00001bfd: MSTORE
00001bfe: RETURNDATASIZE
00001bff: PUSH1 0x00
00001c01: PUSH1 0x20
00001c03: DUP5
00001c04: ADD
00001c05: RETURNDATACOPY
00001c06: PUSH2 0x1c0f
00001c09: JUMP
00001c0a: JUMPDEST
00001c0b: PUSH1 0x60
00001c0d: SWAP2
00001c0e: POP
00001c0f: JUMPDEST
00001c10: POP
00001c11: SWAP2
00001c12: POP
00001c13: SWAP2
00001c14: POP
00001c15: PUSH2 0x1c1f
00001c18: DUP3
00001c19: DUP3
00001c1a: DUP7
00001c1b: PUSH2 0x1c2a
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: SWAP8
00001c21: SWAP7
00001c22: POP
00001c23: POP
00001c24: POP
00001c25: POP
00001c26: POP
00001c27: POP
00001c28: POP
00001c29: JUMP
00001c2a: JUMPDEST
00001c2b: PUSH1 0x60
00001c2d: DUP4
00001c2e: ISZERO
00001c2f: PUSH2 0x1c39
00001c32: JUMPI
00001c33: POP
00001c34: DUP2
00001c35: PUSH2 0x0517
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: DUP3
00001c3b: MLOAD
00001c3c: ISZERO
00001c3d: PUSH2 0x1c49
00001c40: JUMPI
00001c41: DUP3
00001c42: MLOAD
00001c43: DUP1
00001c44: DUP5
00001c45: PUSH1 0x20
00001c47: ADD
00001c48: REVERT
00001c49: JUMPDEST
00001c4a: DUP2
00001c4b: PUSH1 0x40
00001c4d: MLOAD
00001c4e: PUSH3 0x461bcd
00001c52: PUSH1 0xe5
00001c54: SHL
00001c55: DUP2
00001c56: MSTORE
00001c57: PUSH1 0x04
00001c59: ADD
00001c5a: PUSH2 0x0465
00001c5d: SWAP2
00001c5e: SWAP1
00001c5f: PUSH2 0x1fc8
00001c62: JUMP
00001c63: JUMPDEST
00001c64: DUP3
00001c65: DUP1
00001c66: SLOAD
00001c67: PUSH2 0x1c6f
00001c6a: SWAP1
00001c6b: PUSH2 0x212e
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: SWAP1
00001c71: PUSH1 0x00
00001c73: MSTORE
00001c74: PUSH1 0x20
00001c76: PUSH1 0x00
00001c78: KECCAK256
00001c79: SWAP1
00001c7a: PUSH1 0x1f
00001c7c: ADD
00001c7d: PUSH1 0x20
00001c7f: SWAP1
00001c80: DIV
00001c81: DUP2
00001c82: ADD
00001c83: SWAP3
00001c84: DUP3
00001c85: PUSH2 0x1c91
00001c88: JUMPI
00001c89: PUSH1 0x00
00001c8b: DUP6
00001c8c: SSTORE
00001c8d: PUSH2 0x1cd7
00001c90: JUMP
00001c91: JUMPDEST
00001c92: DUP3
00001c93: PUSH1 0x1f
00001c95: LT
00001c96: PUSH2 0x1caa
00001c99: JUMPI
00001c9a: DUP1
00001c9b: MLOAD
00001c9c: PUSH1 0xff
00001c9e: NOT
00001c9f: AND
00001ca0: DUP4
00001ca1: DUP1
00001ca2: ADD
00001ca3: OR
00001ca4: DUP6
00001ca5: SSTORE
00001ca6: PUSH2 0x1cd7
00001ca9: JUMP
00001caa: JUMPDEST
00001cab: DUP3
00001cac: DUP1
00001cad: ADD
00001cae: PUSH1 0x01
00001cb0: ADD
00001cb1: DUP6
00001cb2: SSTORE
00001cb3: DUP3
00001cb4: ISZERO
00001cb5: PUSH2 0x1cd7
00001cb8: JUMPI
00001cb9: SWAP2
00001cba: DUP3
00001cbb: ADD
00001cbc: JUMPDEST
00001cbd: DUP3
00001cbe: DUP2
00001cbf: GT
00001cc0: ISZERO
00001cc1: PUSH2 0x1cd7
00001cc4: JUMPI
00001cc5: DUP3
00001cc6: MLOAD
00001cc7: DUP3
00001cc8: SSTORE
00001cc9: SWAP2
00001cca: PUSH1 0x20
00001ccc: ADD
00001ccd: SWAP2
00001cce: SWAP1
00001ccf: PUSH1 0x01
00001cd1: ADD
00001cd2: SWAP1
00001cd3: PUSH2 0x1cbc
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: POP
00001cd9: PUSH2 0x1ce3
00001cdc: SWAP3
00001cdd: SWAP2
00001cde: POP
00001cdf: PUSH2 0x1ce7
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: POP
00001ce5: SWAP1
00001ce6: JUMP
00001ce7: JUMPDEST
00001ce8: JUMPDEST
00001ce9: DUP1
00001cea: DUP3
00001ceb: GT
00001cec: ISZERO
00001ced: PUSH2 0x1ce3
00001cf0: JUMPI
00001cf1: PUSH1 0x00
00001cf3: DUP2
00001cf4: SSTORE
00001cf5: PUSH1 0x01
00001cf7: ADD
00001cf8: PUSH2 0x1ce8
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: PUSH1 0x00
00001cff: DUP1
00001d00: DUP4
00001d01: PUSH1 0x1f
00001d03: DUP5
00001d04: ADD
00001d05: SLT
00001d06: PUSH2 0x1d0d
00001d09: JUMPI
00001d0a: DUP2
00001d0b: DUP3
00001d0c: REVERT
00001d0d: JUMPDEST
00001d0e: POP
00001d0f: DUP2
00001d10: CALLDATALOAD
00001d11: PUSH8 0xffffffffffffffff
00001d1a: DUP2
00001d1b: GT
00001d1c: ISZERO
00001d1d: PUSH2 0x1d24
00001d20: JUMPI
00001d21: DUP2
00001d22: DUP3
00001d23: REVERT
00001d24: JUMPDEST
00001d25: PUSH1 0x20
00001d27: DUP4
00001d28: ADD
00001d29: SWAP2
00001d2a: POP
00001d2b: DUP4
00001d2c: PUSH1 0x20
00001d2e: DUP3
00001d2f: DUP6
00001d30: ADD
00001d31: ADD
00001d32: GT
00001d33: ISZERO
00001d34: PUSH2 0x1d3c
00001d37: JUMPI
00001d38: PUSH1 0x00
00001d3a: DUP1
00001d3b: REVERT
00001d3c: JUMPDEST
00001d3d: SWAP3
00001d3e: POP
00001d3f: SWAP3
00001d40: SWAP1
00001d41: POP
00001d42: JUMP
00001d43: JUMPDEST
00001d44: PUSH1 0x00
00001d46: PUSH1 0x20
00001d48: DUP3
00001d49: DUP5
00001d4a: SUB
00001d4b: SLT
00001d4c: ISZERO
00001d4d: PUSH2 0x1d54
00001d50: JUMPI
00001d51: DUP1
00001d52: DUP2
00001d53: REVERT
00001d54: JUMPDEST
00001d55: DUP2
00001d56: CALLDATALOAD
00001d57: PUSH2 0x0517
00001d5a: DUP2
00001d5b: PUSH2 0x2179
00001d5e: JUMP
00001d5f: JUMPDEST
00001d60: PUSH1 0x00
00001d62: PUSH1 0x20
00001d64: DUP3
00001d65: DUP5
00001d66: SUB
00001d67: SLT
00001d68: ISZERO
00001d69: PUSH2 0x1d70
00001d6c: JUMPI
00001d6d: DUP1
00001d6e: DUP2
00001d6f: REVERT
00001d70: JUMPDEST
00001d71: DUP2
00001d72: MLOAD
00001d73: PUSH2 0x0517
00001d76: DUP2
00001d77: PUSH2 0x2179
00001d7a: JUMP
00001d7b: JUMPDEST
00001d7c: PUSH1 0x00
00001d7e: DUP1
00001d7f: PUSH1 0x40
00001d81: DUP4
00001d82: DUP6
00001d83: SUB
00001d84: SLT
00001d85: ISZERO
00001d86: PUSH2 0x1d8d
00001d89: JUMPI
00001d8a: DUP1
00001d8b: DUP2
00001d8c: REVERT
00001d8d: JUMPDEST
00001d8e: DUP3
00001d8f: CALLDATALOAD
00001d90: PUSH2 0x1d98
00001d93: DUP2
00001d94: PUSH2 0x2179
00001d97: JUMP
00001d98: JUMPDEST
00001d99: SWAP2
00001d9a: POP
00001d9b: PUSH1 0x20
00001d9d: DUP4
00001d9e: ADD
00001d9f: CALLDATALOAD
00001da0: PUSH2 0x1da8
00001da3: DUP2
00001da4: PUSH2 0x2179
00001da7: JUMP
00001da8: JUMPDEST
00001da9: DUP1
00001daa: SWAP2
00001dab: POP
00001dac: POP
00001dad: SWAP3
00001dae: POP
00001daf: SWAP3
00001db0: SWAP1
00001db1: POP
00001db2: JUMP
00001db3: JUMPDEST
00001db4: PUSH1 0x00
00001db6: DUP1
00001db7: PUSH1 0x00
00001db9: PUSH1 0x60
00001dbb: DUP5
00001dbc: DUP7
00001dbd: SUB
00001dbe: SLT
00001dbf: ISZERO
00001dc0: PUSH2 0x1dc7
00001dc3: JUMPI
00001dc4: DUP1
00001dc5: DUP2
00001dc6: REVERT
00001dc7: JUMPDEST
00001dc8: DUP4
00001dc9: CALLDATALOAD
00001dca: PUSH2 0x1dd2
00001dcd: DUP2
00001dce: PUSH2 0x2179
00001dd1: JUMP
00001dd2: JUMPDEST
00001dd3: SWAP3
00001dd4: POP
00001dd5: PUSH1 0x20
00001dd7: DUP5
00001dd8: ADD
00001dd9: CALLDATALOAD
00001dda: PUSH2 0x1de2
00001ddd: DUP2
00001dde: PUSH2 0x2179
00001de1: JUMP
00001de2: JUMPDEST
00001de3: SWAP3
00001de4: SWAP6
00001de5: SWAP3
00001de6: SWAP5
00001de7: POP
00001de8: POP
00001de9: POP
00001dea: PUSH1 0x40
00001dec: SWAP2
00001ded: SWAP1
00001dee: SWAP2
00001def: ADD
00001df0: CALLDATALOAD
00001df1: SWAP1
00001df2: JUMP
00001df3: JUMPDEST
00001df4: PUSH1 0x00
00001df6: DUP1
00001df7: PUSH1 0x00
00001df9: DUP1
00001dfa: PUSH1 0x80
00001dfc: DUP6
00001dfd: DUP8
00001dfe: SUB
00001dff: SLT
00001e00: ISZERO
00001e01: PUSH2 0x1e08
00001e04: JUMPI
00001e05: DUP1
00001e06: DUP2
00001e07: REVERT
00001e08: JUMPDEST
00001e09: DUP5
00001e0a: CALLDATALOAD
00001e0b: PUSH2 0x1e13
00001e0e: DUP2
00001e0f: PUSH2 0x2179
00001e12: JUMP
00001e13: JUMPDEST
00001e14: SWAP4
00001e15: POP
00001e16: PUSH1 0x20
00001e18: DUP6
00001e19: ADD
00001e1a: CALLDATALOAD
00001e1b: PUSH2 0x1e23
00001e1e: DUP2
00001e1f: PUSH2 0x2179
00001e22: JUMP
00001e23: JUMPDEST
00001e24: SWAP4
00001e25: SWAP7
00001e26: SWAP4
00001e27: SWAP6
00001e28: POP
00001e29: POP
00001e2a: POP
00001e2b: POP
00001e2c: PUSH1 0x40
00001e2e: DUP3
00001e2f: ADD
00001e30: CALLDATALOAD
00001e31: SWAP2
00001e32: PUSH1 0x60
00001e34: ADD
00001e35: CALLDATALOAD
00001e36: SWAP1
00001e37: JUMP
00001e38: JUMPDEST
00001e39: PUSH1 0x00
00001e3b: DUP1
00001e3c: PUSH1 0x40
00001e3e: DUP4
00001e3f: DUP6
00001e40: SUB
00001e41: SLT
00001e42: ISZERO
00001e43: PUSH2 0x1e4a
00001e46: JUMPI
00001e47: DUP2
00001e48: DUP3
00001e49: REVERT
00001e4a: JUMPDEST
00001e4b: DUP3
00001e4c: CALLDATALOAD
00001e4d: PUSH2 0x1e55
00001e50: DUP2
00001e51: PUSH2 0x2179
00001e54: JUMP
00001e55: JUMPDEST
00001e56: SWAP5
00001e57: PUSH1 0x20
00001e59: SWAP4
00001e5a: SWAP1
00001e5b: SWAP4
00001e5c: ADD
00001e5d: CALLDATALOAD
00001e5e: SWAP4
00001e5f: POP
00001e60: POP
00001e61: POP
00001e62: JUMP
00001e63: JUMPDEST
00001e64: PUSH1 0x00
00001e66: DUP1
00001e67: PUSH1 0x00
00001e69: PUSH1 0x60
00001e6b: DUP5
00001e6c: DUP7
00001e6d: SUB
00001e6e: SLT
00001e6f: ISZERO
00001e70: PUSH2 0x1e77
00001e73: JUMPI
00001e74: DUP3
00001e75: DUP4
00001e76: REVERT
00001e77: JUMPDEST
00001e78: DUP4
00001e79: CALLDATALOAD
00001e7a: PUSH2 0x1e82
00001e7d: DUP2
00001e7e: PUSH2 0x2179
00001e81: JUMP
00001e82: JUMPDEST
00001e83: SWAP6
00001e84: PUSH1 0x20
00001e86: DUP6
00001e87: ADD
00001e88: CALLDATALOAD
00001e89: SWAP6
00001e8a: POP
00001e8b: PUSH1 0x40
00001e8d: SWAP1
00001e8e: SWAP5
00001e8f: ADD
00001e90: CALLDATALOAD
00001e91: SWAP4
00001e92: SWAP3
00001e93: POP
00001e94: POP
00001e95: POP
00001e96: JUMP
00001e97: JUMPDEST
00001e98: PUSH1 0x00
00001e9a: PUSH1 0x20
00001e9c: DUP3
00001e9d: DUP5
00001e9e: SUB
00001e9f: SLT
00001ea0: ISZERO
00001ea1: PUSH2 0x1ea8
00001ea4: JUMPI
00001ea5: DUP1
00001ea6: DUP2
00001ea7: REVERT
00001ea8: JUMPDEST
00001ea9: DUP2
00001eaa: MLOAD
00001eab: DUP1
00001eac: ISZERO
00001ead: ISZERO
00001eae: DUP2
00001eaf: EQ
00001eb0: PUSH2 0x0517
00001eb3: JUMPI
00001eb4: DUP2
00001eb5: DUP3
00001eb6: REVERT
00001eb7: JUMPDEST
00001eb8: PUSH1 0x00
00001eba: DUP1
00001ebb: PUSH1 0x00
00001ebd: DUP1
00001ebe: PUSH1 0x00
00001ec0: DUP1
00001ec1: PUSH1 0x00
00001ec3: DUP1
00001ec4: PUSH1 0xc0
00001ec6: DUP10
00001ec7: DUP12
00001ec8: SUB
00001ec9: SLT
00001eca: ISZERO
00001ecb: PUSH2 0x1ed2
00001ece: JUMPI
00001ecf: DUP4
00001ed0: DUP5
00001ed1: REVERT
00001ed2: JUMPDEST
00001ed3: DUP9
00001ed4: CALLDATALOAD
00001ed5: PUSH2 0x1edd
00001ed8: DUP2
00001ed9: PUSH2 0x2179
00001edc: JUMP
00001edd: JUMPDEST
00001ede: SWAP8
00001edf: POP
00001ee0: PUSH1 0x20
00001ee2: DUP10
00001ee3: ADD
00001ee4: CALLDATALOAD
00001ee5: PUSH2 0x1eed
00001ee8: DUP2
00001ee9: PUSH2 0x2179
00001eec: JUMP
00001eed: JUMPDEST
00001eee: SWAP7
00001eef: POP
00001ef0: PUSH1 0x40
00001ef2: DUP10
00001ef3: ADD
00001ef4: CALLDATALOAD
00001ef5: PUSH2 0x1efd
00001ef8: DUP2
00001ef9: PUSH2 0x2179
00001efc: JUMP
00001efd: JUMPDEST
00001efe: SWAP6
00001eff: POP
00001f00: PUSH1 0x60
00001f02: DUP10
00001f03: ADD
00001f04: CALLDATALOAD
00001f05: PUSH1 0xff
00001f07: DUP2
00001f08: AND
00001f09: DUP2
00001f0a: EQ
00001f0b: PUSH2 0x1f12
00001f0e: JUMPI
00001f0f: DUP5
00001f10: DUP6
00001f11: REVERT
00001f12: JUMPDEST
00001f13: SWAP5
00001f14: POP
00001f15: PUSH1 0x80
00001f17: DUP10
00001f18: ADD
00001f19: CALLDATALOAD
00001f1a: PUSH8 0xffffffffffffffff
00001f23: DUP1
00001f24: DUP3
00001f25: GT
00001f26: ISZERO
00001f27: PUSH2 0x1f2e
00001f2a: JUMPI
00001f2b: DUP6
00001f2c: DUP7
00001f2d: REVERT
00001f2e: JUMPDEST
00001f2f: PUSH2 0x1f3a
00001f32: DUP13
00001f33: DUP4
00001f34: DUP14
00001f35: ADD
00001f36: PUSH2 0x1cfc
00001f39: JUMP
00001f3a: JUMPDEST
00001f3b: SWAP1
00001f3c: SWAP7
00001f3d: POP
00001f3e: SWAP5
00001f3f: POP
00001f40: PUSH1 0xa0
00001f42: DUP12
00001f43: ADD
00001f44: CALLDATALOAD
00001f45: SWAP2
00001f46: POP
00001f47: DUP1
00001f48: DUP3
00001f49: GT
00001f4a: ISZERO
00001f4b: PUSH2 0x1f52
00001f4e: JUMPI
00001f4f: DUP4
00001f50: DUP5
00001f51: REVERT
00001f52: JUMPDEST
00001f53: POP
00001f54: PUSH2 0x1f5f
00001f57: DUP12
00001f58: DUP3
00001f59: DUP13
00001f5a: ADD
00001f5b: PUSH2 0x1cfc
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: SWAP10
00001f61: SWAP13
00001f62: SWAP9
00001f63: SWAP12
00001f64: POP
00001f65: SWAP7
00001f66: SWAP10
00001f67: POP
00001f68: SWAP5
00001f69: SWAP8
00001f6a: SWAP4
00001f6b: SWAP7
00001f6c: SWAP3
00001f6d: SWAP6
00001f6e: SWAP5
00001f6f: POP
00001f70: POP
00001f71: POP
00001f72: JUMP
00001f73: JUMPDEST
00001f74: PUSH1 0x00
00001f76: PUSH1 0x20
00001f78: DUP3
00001f79: DUP5
00001f7a: SUB
00001f7b: SLT
00001f7c: ISZERO
00001f7d: PUSH2 0x1f84
00001f80: JUMPI
00001f81: DUP1
00001f82: DUP2
00001f83: REVERT
00001f84: JUMPDEST
00001f85: POP
00001f86: MLOAD
00001f87: SWAP2
00001f88: SWAP1
00001f89: POP
00001f8a: JUMP
00001f8b: JUMPDEST
00001f8c: PUSH1 0x00
00001f8e: DUP1
00001f8f: PUSH1 0x40
00001f91: DUP4
00001f92: DUP6
00001f93: SUB
00001f94: SLT
00001f95: ISZERO
00001f96: PUSH2 0x1f9d
00001f99: JUMPI
00001f9a: DUP2
00001f9b: DUP3
00001f9c: REVERT
00001f9d: JUMPDEST
00001f9e: POP
00001f9f: POP
00001fa0: DUP1
00001fa1: CALLDATALOAD
00001fa2: SWAP3
00001fa3: PUSH1 0x20
00001fa5: SWAP1
00001fa6: SWAP2
00001fa7: ADD
00001fa8: CALLDATALOAD
00001fa9: SWAP2
00001faa: POP
00001fab: JUMP
00001fac: JUMPDEST
00001fad: PUSH1 0x00
00001faf: DUP3
00001fb0: MLOAD
00001fb1: PUSH2 0x1fbe
00001fb4: DUP2
00001fb5: DUP5
00001fb6: PUSH1 0x20
00001fb8: DUP8
00001fb9: ADD
00001fba: PUSH2 0x2102
00001fbd: JUMP
00001fbe: JUMPDEST
00001fbf: SWAP2
00001fc0: SWAP1
00001fc1: SWAP2
00001fc2: ADD
00001fc3: SWAP3
00001fc4: SWAP2
00001fc5: POP
00001fc6: POP
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH1 0x20
00001fcb: DUP2
00001fcc: MSTORE
00001fcd: PUSH1 0x00
00001fcf: DUP3
00001fd0: MLOAD
00001fd1: DUP1
00001fd2: PUSH1 0x20
00001fd4: DUP5
00001fd5: ADD
00001fd6: MSTORE
00001fd7: PUSH2 0x1fe7
00001fda: DUP2
00001fdb: PUSH1 0x40
00001fdd: DUP6
00001fde: ADD
00001fdf: PUSH1 0x20
00001fe1: DUP8
00001fe2: ADD
00001fe3: PUSH2 0x2102
00001fe6: JUMP
00001fe7: JUMPDEST
00001fe8: PUSH1 0x1f
00001fea: ADD
00001feb: PUSH1 0x1f
00001fed: NOT
00001fee: AND
00001fef: SWAP2
00001ff0: SWAP1
00001ff1: SWAP2
00001ff2: ADD
00001ff3: PUSH1 0x40
00001ff5: ADD
00001ff6: SWAP3
00001ff7: SWAP2
00001ff8: POP
00001ff9: POP
00001ffa: JUMP
00001ffb: JUMPDEST
00001ffc: PUSH1 0x20
00001ffe: DUP1
00001fff: DUP3
00002000: MSTORE
00002001: PUSH1 0x2e
00002003: SWAP1
00002004: DUP3
00002005: ADD
00002006: MSTORE
00002007: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00002028: PUSH1 0x40
0000202a: DUP3
0000202b: ADD
0000202c: MSTORE
0000202d: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
0000203c: PUSH1 0x92
0000203e: SHL
0000203f: PUSH1 0x60
00002041: DUP3
00002042: ADD
00002043: MSTORE
00002044: PUSH1 0x80
00002046: ADD
00002047: SWAP1
00002048: JUMP
00002049: JUMPDEST
0000204a: PUSH1 0x20
0000204c: DUP1
0000204d: DUP3
0000204e: MSTORE
0000204f: PUSH1 0x2b
00002051: SWAP1
00002052: DUP3
00002053: ADD
00002054: MSTORE
00002055: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002076: PUSH1 0x40
00002078: DUP3
00002079: ADD
0000207a: MSTORE
0000207b: PUSH11 0x6e697469616c697a696e67
00002087: PUSH1 0xa8
00002089: SHL
0000208a: PUSH1 0x60
0000208c: DUP3
0000208d: ADD
0000208e: MSTORE
0000208f: PUSH1 0x80
00002091: ADD
00002092: SWAP1
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH1 0x00
00002097: DUP3
00002098: NOT
00002099: DUP3
0000209a: GT
0000209b: ISZERO
0000209c: PUSH2 0x20a7
0000209f: JUMPI
000020a0: PUSH2 0x20a7
000020a3: PUSH2 0x2163
000020a6: JUMP
000020a7: JUMPDEST
000020a8: POP
000020a9: ADD
000020aa: SWAP1
000020ab: JUMP
000020ac: JUMPDEST
000020ad: PUSH1 0x00
000020af: DUP3
000020b0: PUSH2 0x20c7
000020b3: JUMPI
000020b4: PUSH4 0x4e487b71
000020b9: PUSH1 0xe0
000020bb: SHL
000020bc: DUP2
000020bd: MSTORE
000020be: PUSH1 0x12
000020c0: PUSH1 0x04
000020c2: MSTORE
000020c3: PUSH1 0x24
000020c5: DUP2
000020c6: REVERT
000020c7: JUMPDEST
000020c8: POP
000020c9: DIV
000020ca: SWAP1
000020cb: JUMP
000020cc: JUMPDEST
000020cd: PUSH1 0x00
000020cf: DUP2
000020d0: PUSH1 0x00
000020d2: NOT
000020d3: DIV
000020d4: DUP4
000020d5: GT
000020d6: DUP3
000020d7: ISZERO
000020d8: ISZERO
000020d9: AND
000020da: ISZERO
000020db: PUSH2 0x20e6
000020de: JUMPI
000020df: PUSH2 0x20e6
000020e2: PUSH2 0x2163
000020e5: JUMP
000020e6: JUMPDEST
000020e7: POP
000020e8: MUL
000020e9: SWAP1
000020ea: JUMP
000020eb: JUMPDEST
000020ec: PUSH1 0x00
000020ee: DUP3
000020ef: DUP3
000020f0: LT
000020f1: ISZERO
000020f2: PUSH2 0x20fd
000020f5: JUMPI
000020f6: PUSH2 0x20fd
000020f9: PUSH2 0x2163
000020fc: JUMP
000020fd: JUMPDEST
000020fe: POP
000020ff: SUB
00002100: SWAP1
00002101: JUMP
00002102: JUMPDEST
00002103: PUSH1 0x00
00002105: JUMPDEST
00002106: DUP4
00002107: DUP2
00002108: LT
00002109: ISZERO
0000210a: PUSH2 0x211d
0000210d: JUMPI
0000210e: DUP2
0000210f: DUP2
00002110: ADD
00002111: MLOAD
00002112: DUP4
00002113: DUP3
00002114: ADD
00002115: MSTORE
00002116: PUSH1 0x20
00002118: ADD
00002119: PUSH2 0x2105
0000211c: JUMP
0000211d: JUMPDEST
0000211e: DUP4
0000211f: DUP2
00002120: GT
00002121: ISZERO
00002122: PUSH2 0x108a
00002125: JUMPI
00002126: POP
00002127: POP
00002128: PUSH1 0x00
0000212a: SWAP2
0000212b: ADD
0000212c: MSTORE
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x01
00002131: DUP2
00002132: DUP2
00002133: SHR
00002134: SWAP1
00002135: DUP3
00002136: AND
00002137: DUP1
00002138: PUSH2 0x2142
0000213b: JUMPI
0000213c: PUSH1 0x7f
0000213e: DUP3
0000213f: AND
00002140: SWAP2
00002141: POP
00002142: JUMPDEST
00002143: PUSH1 0x20
00002145: DUP3
00002146: LT
00002147: DUP2
00002148: EQ
00002149: ISZERO
0000214a: PUSH2 0x0736
0000214d: JUMPI
0000214e: PUSH4 0x4e487b71
00002153: PUSH1 0xe0
00002155: SHL
00002156: PUSH1 0x00
00002158: MSTORE
00002159: PUSH1 0x22
0000215b: PUSH1 0x04
0000215d: MSTORE
0000215e: PUSH1 0x24
00002160: PUSH1 0x00
00002162: REVERT
00002163: JUMPDEST
00002164: PUSH4 0x4e487b71
00002169: PUSH1 0xe0
0000216b: SHL
0000216c: PUSH1 0x00
0000216e: MSTORE
0000216f: PUSH1 0x11
00002171: PUSH1 0x04
00002173: MSTORE
00002174: PUSH1 0x24
00002176: PUSH1 0x00
00002178: REVERT
00002179: JUMPDEST
0000217a: PUSH1 0x01
0000217c: PUSH1 0x01
0000217e: PUSH1 0xa0
00002180: SHL
00002181: SUB
00002182: DUP2
00002183: AND
00002184: DUP2
00002185: EQ
00002186: PUSH2 0x218e
00002189: JUMPI
0000218a: PUSH1 0x00
0000218c: DUP1
0000218d: REVERT
0000218e: JUMPDEST
0000218f: POP
00002190: JUMP
00002191: INVALID
00002192: UNKNOWN(0xDD)
00002193: CALLCODE
00002194: MSTORE
00002195: UNKNOWN(0xAD)
00002196: SHL
00002197: UNKNOWN(0xE2)
00002198: UNKNOWN(0xC8)
00002199: SWAP12
0000219a: PUSH10 0xc2b068fc378daa952ba7
000021a5: CALL
000021a6: PUSH4 0xc4a11628
000021ab: CREATE2
000021ac: GAS
000021ad: UNKNOWN(0x4D)
000021ae: CREATE2
000021af: UNKNOWN(0x23)
000021b0: UNKNOWN(0xB3)
000021b1: UNKNOWN(0xEF)
000021b2: LOG2
000021b3: PUSH5 0x6970667358
000021b9: UNKNOWN(0x22)
000021ba: SLT
000021bb: KECCAK256
000021bc: SAR
000021bd: EXP
000021be: PC
000021bf: MOD
000021c0: UNKNOWN(0xC6)
000021c1: RETURNDATACOPY
000021c2: DIV
000021c3: PUSH13 0x8774bd2f0d2d74b707e49a560e
000021d1: INVALID
000021d2: DUP5
000021d3: UNKNOWN(0x27)
000021d4: UNKNOWN(0x4D)
000021d5: MSTORE8
000021d6: GASLIMIT
000021d7: STATICCALL
000021d8: UNKNOWN(0x26)
000021d9: DIV
000021da: UNKNOWN(0x2F)
000021db: DELEGATECALL
000021dc: PUSH5 0x736f6c6343
000021e2: STOP
000021e3: ADDMOD
000021e4: DIV
000021e5: STOP
000021e6: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x758a78c8764dcd6924bd61a410847a542564544e30ce6d5439ae259c242320e3
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x758a78c8764dcd6924bd61a410847a542564544e30ce6d5439ae259c242320e3",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xae167335",
            "selector": "0xae167335",
            "calldata_variants": [
                "0xae167335",
                "0xae1673350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb16a19de",
            "selector": "0xb16a19de",
            "calldata_variants": [
                "0xb16a19de",
                "0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1bf962d",
            "selector": "0xb1bf962d",
            "calldata_variants": [
                "0xb1bf962d",
                "0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3b1e9a4",
            "selector": "0xd3b1e9a4",
            "calldata_variants": [
                "0xd3b1e9a4",
                "0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7020d0a",
            "selector": "0xd7020d0a",
            "calldata_variants": [
                "0xd7020d0a",
                "0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7535d246",
            "selector": "0x7535d246",
            "calldata_variants": [
                "0x7535d246",
                "0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75d26413",
            "selector": "0x75d26413",
            "calldata_variants": [
                "0x75d26413",
                "0x75d264130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 8667,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high upgradeability codex Nested initializer misuse bricks BToken initialization 85 no
view
evidence_json
{
    "evidence": "`__IncentivizedERC20_init` is declared with `initializer`, and `BToken.initialize` (also `initializer`) calls it, triggering the nested-initializer revert in OZ Initializable.",
    "locations": [
        "contracts/contracts/protocol/IncentivizedERC20.sol:20",
        "contracts/contracts/protocol/BToken.sol:46"
    ],
    "recommendation": "Change `__IncentivizedERC20_init` to `onlyInitializing` (and optionally add an `__IncentivizedERC20_init_unchained`) so it can be safely called from `BToken.initialize`. Ensure the proxy is initialized in the same deployment transaction.",
    "exploit_scenario": "When a proxy deployer calls `BToken.initialize`, it invokes `__IncentivizedERC20_init` which is marked `initializer`. OZ Initializable forbids calling another `initializer` while `_initializing` is true (outside a constructor), so the call reverts. This makes the proxy uninitializable, leaving `_addressProvider`, `_treasury`, and `_underlyingAsset` unset and effectively bricking all core functionality (onlyLendPool calls revert, mint/burn/underlying transfers are impossible)."
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d
call_targets: 0xd388b2a8e82df6a6c13a18ea7541df9449880954
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd388b2a8e82df6a6c13a18ea7541df9449880954"
    ],
    "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": "0xae167335",
            "selector": "0xae167335",
            "calldata_variants": [
                "0xae167335",
                "0xae1673350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb16a19de",
            "selector": "0xb16a19de",
            "calldata_variants": [
                "0xb16a19de",
                "0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1bf962d",
            "selector": "0xb1bf962d",
            "calldata_variants": [
                "0xb1bf962d",
                "0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3b1e9a4",
            "selector": "0xd3b1e9a4",
            "calldata_variants": [
                "0xd3b1e9a4",
                "0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7020d0a",
            "selector": "0xd7020d0a",
            "calldata_variants": [
                "0xd7020d0a",
                "0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7535d246",
            "selector": "0x7535d246",
            "calldata_variants": [
                "0x7535d246",
                "0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75d26413",
            "selector": "0x75d26413",
            "calldata_variants": [
                "0x75d26413",
                "0x75d264130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4212,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6165,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6305,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 6,
    "guards_detected": [],
    "untrusted_call_count": 6
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d
call_targets: 0xd388b2a8e82df6a6c13a18ea7541df9449880954
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xf56f18665a4eec59d7bdba8772123cea04243a1e3079b28106688c1611ccc39d",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd388b2a8e82df6a6c13a18ea7541df9449880954"
    ],
    "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": "0xae167335",
            "selector": "0xae167335",
            "calldata_variants": [
                "0xae167335",
                "0xae1673350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb16a19de",
            "selector": "0xb16a19de",
            "calldata_variants": [
                "0xb16a19de",
                "0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1bf962d",
            "selector": "0xb1bf962d",
            "calldata_variants": [
                "0xb1bf962d",
                "0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3b1e9a4",
            "selector": "0xd3b1e9a4",
            "calldata_variants": [
                "0xd3b1e9a4",
                "0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7020d0a",
            "selector": "0xd7020d0a",
            "calldata_variants": [
                "0xd7020d0a",
                "0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7535d246",
            "selector": "0x7535d246",
            "calldata_variants": [
                "0x7535d246",
                "0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75d26413",
            "selector": "0x75d26413",
            "calldata_variants": [
                "0x75d26413",
                "0x75d264130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 4212,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6165,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6305,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 6,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xa6f5c56c0017155af0424d60dc4779796a5db193006668f7937f7f94f39b83f0
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xa6f5c56c0017155af0424d60dc4779796a5db193006668f7937f7f94f39b83f0",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xae167335",
            "selector": "0xae167335",
            "calldata_variants": [
                "0xae167335",
                "0xae1673350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb16a19de",
            "selector": "0xb16a19de",
            "calldata_variants": [
                "0xb16a19de",
                "0xb16a19de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1bf962d",
            "selector": "0xb1bf962d",
            "calldata_variants": [
                "0xb1bf962d",
                "0xb1bf962d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd3b1e9a4",
            "selector": "0xd3b1e9a4",
            "calldata_variants": [
                "0xd3b1e9a4",
                "0xd3b1e9a40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd7020d0a",
            "selector": "0xd7020d0a",
            "calldata_variants": [
                "0xd7020d0a",
                "0xd7020d0a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7535d246",
            "selector": "0x7535d246",
            "calldata_variants": [
                "0x7535d246",
                "0x7535d2460000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x75d26413",
            "selector": "0x75d26413",
            "calldata_variants": [
                "0x75d26413",
                "0x75d264130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}
medium upgradeability cast DELEGATECALL present 80 no
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 2
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 14
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 14
}