Analysis Run

[codex:585886] OpenAI Codex v0.77.0 (research preview)
[codex:585886] --------
[codex:585886] workdir: /tmp/codex-multi-z48vzkys
[codex:585886] model: gpt-5.2-codex
[codex:585886] provider: openai
[codex:585886] approval: never
[codex:585886] sandbox: read-only
[codex:585886] reasoning effort: xhigh
[codex:585886] reasoning summaries: auto
[codex:585886] session id: 019b718f-8e94-7900-b4b7-850c87834e0e
[codex:585886] --------
[codex:585886] user
[codex:585886] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:585886] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:585886] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:585886] 
[codex:585886] Scope rules:
[codex:585886] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:585886] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:585886] 
[codex:585886] Output MUST be valid JSON matching the provided schema.
[codex:585886] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:585886] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:585886] 
[codex:585886] Output constraints (IMPORTANT):
[codex:585886] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:585886] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:585886] mcp startup: no servers
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Checking for relevant skill docs**
[codex:585886] exec
[codex:585886] /bin/bash -lc ls in /tmp/codex-multi-z48vzkys succeeded in 6ms:
[codex:585886] AUDIT_BUNDLE.txt
[codex:585886] codex-output-schema.json
[codex:585886] contracts
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Checking for skills and audit details**
[codex:585886] exec
[codex:585886] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-z48vzkys succeeded in 6ms:
[codex:585886] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:585886] 
[codex:585886] ================================================================================
[codex:585886] FILE: contracts/Contract.sol
[codex:585886] ================================================================================
[codex:585886] // SPDX-License-Identifier: BUSL-1.1
[codex:585886] 
[codex:585886] pragma solidity 0.8.6;
[codex:585886] 
[codex:585886] 
[codex:585886] 
[codex:585886] // Part: IBetaBank
[codex:585886] 
[codex:585886] interface IBetaBank {
[codex:585886]   /// @dev Returns the address of BToken of the given underlying token, or 0 if not exists.
[codex:585886]   function bTokens(address _underlying) external view returns (address);
[codex:585886] 
[codex:585886]   /// @dev Returns the address of the underlying of the given BToken, or 0 if not exists.
[codex:585886]   function underlyings(address _bToken) external view returns (address);
[codex:585886] 
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Planning full file reading strategy**
[codex:585886] exec
[codex:585886] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-z48vzkys succeeded in 6ms:
[codex:585886] 4:FILE: contracts/Contract.sol
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Preparing to read large Solidity file in chunks**
[codex:585886] exec
[codex:585886] /bin/bash -lc "sed -n '1,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z48vzkys succeeded in 6ms:
[codex:585886] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:585886] 
[codex:585886] ================================================================================
[codex:585886] FILE: contracts/Contract.sol
[codex:585886] ================================================================================
[codex:585886] // SPDX-License-Identifier: BUSL-1.1
[codex:585886] 
[codex:585886] pragma solidity 0.8.6;
[codex:585886] 
[codex:585886] 
[codex:585886] 
[codex:585886] // Part: IBetaBank
[codex:585886] 
[codex:585886] interface IBetaBank {
[codex:585886]   /// @dev Returns the address of BToken of the given underlying token, or 0 if not exists.
[codex:585886]   function bTokens(address _underlying) external view returns (address);
[codex:585886] 
[codex:585886]   /// @dev Returns the address of the underlying of the given BToken, or 0 if not exists.
[codex:585886]   function underlyings(address _bToken) external view returns (address);
[codex:585886] 
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Requesting more input**
[codex:585886] exec
[codex:585886] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z48vzkys succeeded in 5ms:
[codex:585886]         counter._value = 0;
[codex:585886]     }
[codex:585886] }
[codex:585886] 
[codex:585886] // Part: OpenZeppelin/openzeppelin-contracts@4.2.0/ECDSA
[codex:585886] 
[codex:585886] /**
[codex:585886]  * @dev Elliptic Curve Digital Signature Algorithm (ECDSA) operations.
[codex:585886]  *
[codex:585886]  * These functions can be used to verify that a message was signed by the holder
[codex:585886]  * of the private keys of a given address.
[codex:585886]  */
[codex:585886] library ECDSA {
[codex:585886]     /**
[codex:585886]      * @dev Returns the address that signed a hashed message (`hash`) with
[codex:585886]      * `signature`. This address can then be used for verification purposes.
[codex:585886]      *
[codex:585886]      * The `ecrecover` EVM opcode allows for malleable (non-unique) signatures:
[codex:585886]      * this function rejects them by requiring the `s` value to be in the lower
[codex:585886]      * half order, and the `v` value to be either 27 or 28.
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Continuing to the end**
[codex:585886] exec
[codex:585886] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z48vzkys succeeded in 5ms:
[codex:585886]  *
[codex:585886]  * _Available since v3.4._
[codex:585886]  */
[codex:585886] abstract contract EIP712 {
[codex:585886]     /* solhint-disable var-name-mixedcase */
[codex:585886]     // Cache the domain separator as an immutable value, but also store the chain id that it corresponds to, in order to
[codex:585886]     // invalidate the cached domain separator if the chain id changes.
[codex:585886]     bytes32 private immutable _CACHED_DOMAIN_SEPARATOR;
[codex:585886]     uint256 private immutable _CACHED_CHAIN_ID;
[codex:585886] 
[codex:585886]     bytes32 private immutable _HASHED_NAME;
[codex:585886]     bytes32 private immutable _HASHED_VERSION;
[codex:585886]     bytes32 private immutable _TYPE_HASH;
[codex:585886] 
[codex:585886]     /* solhint-enable var-name-mixedcase */
[codex:585886] 
[codex:585886]     /**
[codex:585886]      * @dev Initializes the domain separator and parameter caches.
[codex:585886]      *
[codex:585886]      * The meaning of `name` and `version` is specified in
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Finishing review**
[codex:585886] exec
[codex:585886] /bin/bash -lc "sed -n '1200,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z48vzkys succeeded in 5ms:
[codex:585886] 
[codex:585886]     /**
[codex:585886]      * @dev See {IERC20-approve}.
[codex:585886]      *
[codex:585886]      * Requirements:
[codex:585886]      *
[codex:585886]      * - `spender` cannot be the zero address.
[codex:585886]      */
[codex:585886]     function approve(address spender, uint256 amount) public virtual override returns (bool) {
[codex:585886]         _approve(_msgSender(), spender, amount);
[codex:585886]         return true;
[codex:585886]     }
[codex:585886] 
[codex:585886]     /**
[codex:585886]      * @dev See {IERC20-transferFrom}.
[codex:585886]      *
[codex:585886]      * Emits an {Approval} event indicating the updated allowance. This is not
[codex:585886]      * required by the EIP. See the note at the beginning of {ERC20}.
[codex:585886]      *
[codex:585886]      * Requirements:
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Continuing review of changelog section**
[codex:585886] exec
[codex:585886] /bin/bash -lc "sed -n '1600,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z48vzkys succeeded in 6ms:
[codex:585886]         uint toReserve = (interest * reserveRate) / 1e18;
[codex:585886]         _mint(
[codex:585886]           config.reserveBeneficiary(),
[codex:585886]           (toReserve * totalSupply()) / (totalLoan_ + totalLoanable_ - toReserve)
[codex:585886]         );
[codex:585886]       }
[codex:585886]       emit Accrue(interest);
[codex:585886]     }
[codex:585886]   }
[codex:585886] 
[codex:585886]   /// @dev Returns the debt value for the given debt share. Automatically calls accrue.
[codex:585886]   function fetchDebtShareValue(uint _debtShare) external returns (uint) {
[codex:585886]     accrue();
[codex:585886]     if (_debtShare == 0) {
[codex:585886]       return 0;
[codex:585886]     }
[codex:585886]     return Math.ceilDiv(_debtShare * totalLoan, totalDebtShare); // round up
[codex:585886]   }
[codex:585886] 
[codex:585886]   /// @dev Mints new bToken to the given address.
[codex:585886] 
[codex:585886] 
[codex:585886] 
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Analyzing BToken vulnerabilities in depth**
[codex:585886] 
[codex:585886] I’m carefully examining BToken’s logic to identify risks like reentrancy, access control, and accounting issues. There’s a lot around external calls to BetaBank components, potential underflows and division-by-zero protections, deflationary token handling, and whether accrued interest affects liquidity calculations. I'm checking how these factors might cause revert behavior or state inconsistencies, and confirming which behaviors are acceptable or flagged as concerns given the contract’s design.
[codex:585886] thinking
[codex:585886] **Evaluating nuanced design trade-offs and risks**
[codex:585886] 
[codex:585886] I’m reviewing subtle effects like rounding in debt share calculations, potential reentrancy through token hooks, the implications of minting restrictions, and how emergency recover functions impact accounting. These mostly reflect intended behaviors or trusted-party assumptions rather than clear vulnerabilities, but I’m carefully weighing how they might affect BToken’s robustness and user interactions.
[codex:585886] thinking
[codex:585886] **Analyzing access patterns and rounding impacts**
[codex:585886] 
[codex:585886] I’m digging into how functions like `accrue`, `mint`, and `burn` handle external calls, rounding, and state updates, especially around interest calculations and reserve beneficiary interactions. Most concerns appear to be expected behaviors or depend on trusted configurations, with no clear exploit paths from the BToken code alone.
[codex:585886] thinking
[codex:585886] **Finalizing audit conclusion**
[codex:585886] 
[codex:585886] I'm wrapping up and confirming there are no exploitable issues in the BToken contract within the audited scope, preparing to produce a clean JSON report with no findings and a concise summary referencing the reviewed contract file.
[codex:585886] exec
[codex:585886] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-z48vzkys succeeded in 20ms:
[codex:585886] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:585886] 
[codex:585886] thinking
[codex:585886] **Preparing JSON vulnerability summary**
[codex:585886] 
[codex:585886] I'm drafting a JSON report that confirms no exploitable issues were found in the specified contract file, ensuring all required fields are present. I'll carefully verify potential edge cases like access control or pausing logic, then produce a clean, valid JSON string with `no_findings` set to true and an appropriate summary mentioning the reviewed file.
[codex:585886] codex
[codex:585886] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` (BToken) and found no exploitable issues within the requested focus areas.","findings":[]}
[codex:585886] tokens used
[codex:585886] 48,365
[codex:585886] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` (BToken) and found no exploitable issues within the requested focus areas.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T23:24:13.015453+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `contracts/Contract.sol` (BToken) and found no exploitable issues within the requested focus areas.",
    "raw_final": {
        "summary": "Reviewed `contracts/Contract.sol` (BToken) and found no exploitable issues within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

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 0x01cf
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x684b51d4
00000026: GT
00000027: PUSH2 0x0104
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x9ffe7973
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd505accf
00000047: EQ
00000048: PUSH2 0x03e1
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd8a0ac26
00000052: EQ
00000053: PUSH2 0x03f4
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x03fd
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf8ba4cff
00000068: EQ
00000069: PUSH2 0x0436
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0x9ffe7973
00000078: EQ
00000079: PUSH2 0x03a8
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xa457c2d7
00000083: EQ
00000084: PUSH2 0x03b1
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xa9059cbb
0000008e: EQ
0000008f: PUSH2 0x03c4
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xba9a7a56
00000099: EQ
0000009a: PUSH2 0x03d7
0000009d: JUMPI
0000009e: PUSH1 0x00
000000a0: DUP1
000000a1: REVERT
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x7c3a00fd
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x7c3a00fd
000000b4: EQ
000000b5: PUSH2 0x0371
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x7ecebe00
000000bf: EQ
000000c0: PUSH2 0x037a
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x95d89b41
000000ca: EQ
000000cb: PUSH2 0x038d
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x9dc29fac
000000d5: EQ
000000d6: PUSH2 0x0395
000000d9: JUMPI
000000da: PUSH1 0x00
000000dc: DUP1
000000dd: REVERT
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x684b51d4
000000e5: EQ
000000e6: PUSH2 0x0318
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x6f307dc3
000000f0: EQ
000000f1: PUSH2 0x0321
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x70a08231
000000fb: EQ
000000fc: PUSH2 0x0348
000000ff: JUMPI
00000100: PUSH1 0x00
00000102: DUP1
00000103: REVERT
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x3644e515
0000010b: GT
0000010c: PUSH2 0x0171
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x453b1a8b
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x453b1a8b
00000121: EQ
00000122: PUSH2 0x02aa
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x4b8a3529
0000012c: EQ
0000012d: PUSH2 0x02b3
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x550ba367
00000137: EQ
00000138: PUSH2 0x02c6
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x5dd92585
00000142: EQ
00000143: PUSH2 0x0305
00000146: JUMPI
00000147: PUSH1 0x00
00000149: DUP1
0000014a: REVERT
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x3644e515
00000152: EQ
00000153: PUSH2 0x027c
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x39509351
0000015d: EQ
0000015e: PUSH2 0x0284
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x40c10f19
00000168: EQ
00000169: PUSH2 0x0297
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x1ec82cb8
00000178: GT
00000179: PUSH2 0x01ad
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x1ec82cb8
00000183: EQ
00000184: PUSH2 0x0227
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x22867d78
0000018e: EQ
0000018f: PUSH2 0x023c
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x23b872dd
00000199: EQ
0000019a: PUSH2 0x024f
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x313ce567
000001a4: EQ
000001a5: PUSH2 0x0262
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: DUP1
000001af: PUSH4 0x06fdde03
000001b4: EQ
000001b5: PUSH2 0x01d4
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x095ea7b3
000001bf: EQ
000001c0: PUSH2 0x01f2
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x18160ddd
000001ca: EQ
000001cb: PUSH2 0x0215
000001ce: JUMPI
000001cf: JUMPDEST
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: PUSH2 0x01dc
000001d8: PUSH2 0x043e
000001db: JUMP
000001dc: JUMPDEST
000001dd: PUSH1 0x40
000001df: MLOAD
000001e0: PUSH2 0x01e9
000001e3: SWAP2
000001e4: SWAP1
000001e5: PUSH2 0x27c6
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: DUP1
000001ee: SWAP2
000001ef: SUB
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: PUSH2 0x0205
000001f6: PUSH2 0x0200
000001f9: CALLDATASIZE
000001fa: PUSH1 0x04
000001fc: PUSH2 0x2618
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH2 0x0536
00000204: JUMP
00000205: JUMPDEST
00000206: PUSH1 0x40
00000208: MLOAD
00000209: SWAP1
0000020a: ISZERO
0000020b: ISZERO
0000020c: DUP2
0000020d: MSTORE
0000020e: PUSH1 0x20
00000210: ADD
00000211: PUSH2 0x01e9
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH1 0x02
00000218: SLOAD
00000219: JUMPDEST
0000021a: PUSH1 0x40
0000021c: MLOAD
0000021d: SWAP1
0000021e: DUP2
0000021f: MSTORE
00000220: PUSH1 0x20
00000222: ADD
00000223: PUSH2 0x01e9
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH2 0x023a
0000022b: PUSH2 0x0235
0000022e: CALLDATASIZE
0000022f: PUSH1 0x04
00000231: PUSH2 0x2566
00000234: JUMP
00000235: JUMPDEST
00000236: PUSH2 0x054c
00000239: JUMP
0000023a: JUMPDEST
0000023b: STOP
0000023c: JUMPDEST
0000023d: PUSH2 0x0219
00000240: PUSH2 0x024a
00000243: CALLDATASIZE
00000244: PUSH1 0x04
00000246: PUSH2 0x2618
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH2 0x068e
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x0205
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x2566
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x09ba
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH2 0x026a
00000266: PUSH2 0x0a66
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH1 0x40
0000026d: MLOAD
0000026e: PUSH1 0xff
00000270: SWAP1
00000271: SWAP2
00000272: AND
00000273: DUP2
00000274: MSTORE
00000275: PUSH1 0x20
00000277: ADD
00000278: PUSH2 0x01e9
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x0219
00000280: PUSH2 0x0b31
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH2 0x0205
00000288: PUSH2 0x0292
0000028b: CALLDATASIZE
0000028c: PUSH1 0x04
0000028e: PUSH2 0x2618
00000291: JUMP
00000292: JUMPDEST
00000293: PUSH2 0x0b40
00000296: JUMP
00000297: JUMPDEST
00000298: PUSH2 0x0219
0000029b: PUSH2 0x02a5
0000029e: CALLDATASIZE
0000029f: PUSH1 0x04
000002a1: PUSH2 0x2618
000002a4: JUMP
000002a5: JUMPDEST
000002a6: PUSH2 0x0b7c
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH2 0x0219
000002ae: PUSH1 0x0a
000002b0: SLOAD
000002b1: DUP2
000002b2: JUMP
000002b3: JUMPDEST
000002b4: PUSH2 0x0219
000002b7: PUSH2 0x02c1
000002ba: CALLDATASIZE
000002bb: PUSH1 0x04
000002bd: PUSH2 0x2618
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH2 0x0e92
000002c5: JUMP
000002c6: JUMPDEST
000002c7: PUSH2 0x02ed
000002ca: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
000002eb: DUP2
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH1 0x40
000002f0: MLOAD
000002f1: PUSH1 0x01
000002f3: PUSH1 0x01
000002f5: PUSH1 0xa0
000002f7: SHL
000002f8: SUB
000002f9: SWAP1
000002fa: SWAP2
000002fb: AND
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: PUSH2 0x01e9
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x0219
00000309: PUSH2 0x0313
0000030c: CALLDATASIZE
0000030d: PUSH1 0x04
0000030f: PUSH2 0x2708
00000312: JUMP
00000313: JUMPDEST
00000314: PUSH2 0x0fd5
00000317: JUMP
00000318: JUMPDEST
00000319: PUSH2 0x0219
0000031c: PUSH1 0x0b
0000031e: SLOAD
0000031f: DUP2
00000320: JUMP
00000321: JUMPDEST
00000322: PUSH2 0x02ed
00000325: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000346: DUP2
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH2 0x0219
0000034c: PUSH2 0x0356
0000034f: CALLDATASIZE
00000350: PUSH1 0x04
00000352: PUSH2 0x24f3
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x01
00000359: PUSH1 0x01
0000035b: PUSH1 0xa0
0000035d: SHL
0000035e: SUB
0000035f: AND
00000360: PUSH1 0x00
00000362: SWAP1
00000363: DUP2
00000364: MSTORE
00000365: PUSH1 0x20
00000367: DUP2
00000368: SWAP1
00000369: MSTORE
0000036a: PUSH1 0x40
0000036c: SWAP1
0000036d: KECCAK256
0000036e: SLOAD
0000036f: SWAP1
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH2 0x0219
00000375: PUSH1 0x07
00000377: SLOAD
00000378: DUP2
00000379: JUMP
0000037a: JUMPDEST
0000037b: PUSH2 0x0219
0000037e: PUSH2 0x0388
00000381: CALLDATASIZE
00000382: PUSH1 0x04
00000384: PUSH2 0x24f3
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH2 0x100b
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH2 0x01dc
00000391: PUSH2 0x1029
00000394: JUMP
00000395: JUMPDEST
00000396: PUSH2 0x0219
00000399: PUSH2 0x03a3
0000039c: CALLDATASIZE
0000039d: PUSH1 0x04
0000039f: PUSH2 0x2618
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH2 0x1106
000003a7: JUMP
000003a8: JUMPDEST
000003a9: PUSH2 0x0219
000003ac: PUSH1 0x08
000003ae: SLOAD
000003af: DUP2
000003b0: JUMP
000003b1: JUMPDEST
000003b2: PUSH2 0x0205
000003b5: PUSH2 0x03bf
000003b8: CALLDATASIZE
000003b9: PUSH1 0x04
000003bb: PUSH2 0x2618
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH2 0x1264
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x0205
000003c8: PUSH2 0x03d2
000003cb: CALLDATASIZE
000003cc: PUSH1 0x04
000003ce: PUSH2 0x2618
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x12fd
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH2 0x0219
000003db: PUSH3 0x0f4240
000003df: DUP2
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH2 0x023a
000003e5: PUSH2 0x03ef
000003e8: CALLDATASIZE
000003e9: PUSH1 0x04
000003eb: PUSH2 0x25a7
000003ee: JUMP
000003ef: JUMPDEST
000003f0: PUSH2 0x130a
000003f3: JUMP
000003f4: JUMPDEST
000003f5: PUSH2 0x0219
000003f8: PUSH1 0x09
000003fa: SLOAD
000003fb: DUP2
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0219
00000401: PUSH2 0x040b
00000404: CALLDATASIZE
00000405: PUSH1 0x04
00000407: PUSH2 0x252d
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x01
0000040e: PUSH1 0x01
00000410: PUSH1 0xa0
00000412: SHL
00000413: SUB
00000414: SWAP2
00000415: DUP3
00000416: AND
00000417: PUSH1 0x00
00000419: SWAP1
0000041a: DUP2
0000041b: MSTORE
0000041c: PUSH1 0x01
0000041e: PUSH1 0x20
00000420: SWAP1
00000421: DUP2
00000422: MSTORE
00000423: PUSH1 0x40
00000425: DUP1
00000426: DUP4
00000427: KECCAK256
00000428: SWAP4
00000429: SWAP1
0000042a: SWAP5
0000042b: AND
0000042c: DUP3
0000042d: MSTORE
0000042e: SWAP2
0000042f: SWAP1
00000430: SWAP2
00000431: MSTORE
00000432: KECCAK256
00000433: SLOAD
00000434: SWAP1
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH2 0x023a
0000043a: PUSH2 0x146e
0000043d: JUMP
0000043e: JUMPDEST
0000043f: PUSH1 0x60
00000441: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000462: PUSH1 0x01
00000464: PUSH1 0x01
00000466: PUSH1 0xa0
00000468: SHL
00000469: SUB
0000046a: AND
0000046b: PUSH4 0x06fdde03
00000470: PUSH1 0x40
00000472: MLOAD
00000473: DUP2
00000474: PUSH4 0xffffffff
00000479: AND
0000047a: PUSH1 0xe0
0000047c: SHL
0000047d: DUP2
0000047e: MSTORE
0000047f: PUSH1 0x04
00000481: ADD
00000482: PUSH1 0x00
00000484: PUSH1 0x40
00000486: MLOAD
00000487: DUP1
00000488: DUP4
00000489: SUB
0000048a: DUP2
0000048b: DUP7
0000048c: DUP1
0000048d: EXTCODESIZE
0000048e: ISZERO
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: GAS
0000049c: STATICCALL
0000049d: SWAP3
0000049e: POP
0000049f: POP
000004a0: POP
000004a1: DUP1
000004a2: ISZERO
000004a3: PUSH2 0x04ce
000004a6: JUMPI
000004a7: POP
000004a8: PUSH1 0x40
000004aa: MLOAD
000004ab: RETURNDATASIZE
000004ac: PUSH1 0x00
000004ae: DUP3
000004af: RETURNDATACOPY
000004b0: PUSH1 0x1f
000004b2: RETURNDATASIZE
000004b3: SWAP1
000004b4: DUP2
000004b5: ADD
000004b6: PUSH1 0x1f
000004b8: NOT
000004b9: AND
000004ba: DUP3
000004bb: ADD
000004bc: PUSH1 0x40
000004be: MSTORE
000004bf: PUSH2 0x04cb
000004c2: SWAP2
000004c3: SWAP1
000004c4: DUP2
000004c5: ADD
000004c6: SWAP1
000004c7: PUSH2 0x2666
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x01
000004ce: JUMPDEST
000004cf: PUSH2 0x0510
000004d2: JUMPI
000004d3: RETURNDATASIZE
000004d4: DUP1
000004d5: DUP1
000004d6: ISZERO
000004d7: PUSH2 0x04fc
000004da: JUMPI
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: SWAP2
000004df: POP
000004e0: PUSH1 0x1f
000004e2: NOT
000004e3: PUSH1 0x3f
000004e5: RETURNDATASIZE
000004e6: ADD
000004e7: AND
000004e8: DUP3
000004e9: ADD
000004ea: PUSH1 0x40
000004ec: MSTORE
000004ed: RETURNDATASIZE
000004ee: DUP3
000004ef: MSTORE
000004f0: RETURNDATASIZE
000004f1: PUSH1 0x00
000004f3: PUSH1 0x20
000004f5: DUP5
000004f6: ADD
000004f7: RETURNDATACOPY
000004f8: PUSH2 0x0501
000004fb: JUMP
000004fc: JUMPDEST
000004fd: PUSH1 0x60
000004ff: SWAP2
00000500: POP
00000501: JUMPDEST
00000502: POP
00000503: PUSH2 0x050a
00000506: PUSH2 0x18ff
00000509: JUMP
0000050a: JUMPDEST
0000050b: SWAP2
0000050c: POP
0000050d: POP
0000050e: SWAP1
0000050f: JUMP
00000510: JUMPDEST
00000511: DUP1
00000512: PUSH1 0x40
00000514: MLOAD
00000515: PUSH1 0x20
00000517: ADD
00000518: PUSH2 0x0521
0000051b: SWAP2
0000051c: SWAP1
0000051d: PUSH2 0x279c
00000520: JUMP
00000521: JUMPDEST
00000522: PUSH1 0x40
00000524: MLOAD
00000525: PUSH1 0x20
00000527: DUP2
00000528: DUP4
00000529: SUB
0000052a: SUB
0000052b: DUP2
0000052c: MSTORE
0000052d: SWAP1
0000052e: PUSH1 0x40
00000530: MSTORE
00000531: SWAP2
00000532: POP
00000533: POP
00000534: SWAP1
00000535: JUMP
00000536: JUMPDEST
00000537: PUSH1 0x00
00000539: PUSH2 0x0543
0000053c: CALLER
0000053d: DUP5
0000053e: DUP5
0000053f: PUSH2 0x1991
00000542: JUMP
00000543: JUMPDEST
00000544: POP
00000545: PUSH1 0x01
00000547: SWAP3
00000548: SWAP2
00000549: POP
0000054a: POP
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x02
0000054f: PUSH1 0x06
00000551: SLOAD
00000552: EQ
00000553: ISZERO
00000554: PUSH2 0x0578
00000557: JUMPI
00000558: PUSH1 0x40
0000055a: MLOAD
0000055b: PUSH3 0x461bcd
0000055f: PUSH1 0xe5
00000561: SHL
00000562: DUP2
00000563: MSTORE
00000564: PUSH1 0x04
00000566: ADD
00000567: PUSH2 0x056f
0000056a: SWAP1
0000056b: PUSH2 0x27f9
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH1 0x40
00000572: MLOAD
00000573: DUP1
00000574: SWAP2
00000575: SUB
00000576: SWAP1
00000577: REVERT
00000578: JUMPDEST
00000579: PUSH1 0x02
0000057b: PUSH1 0x06
0000057d: SSTORE
0000057e: CALLER
0000057f: PUSH1 0x01
00000581: PUSH1 0x01
00000583: PUSH1 0xa0
00000585: SHL
00000586: SUB
00000587: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
000005a8: AND
000005a9: EQ
000005aa: PUSH2 0x05ec
000005ad: JUMPI
000005ae: PUSH1 0x40
000005b0: MLOAD
000005b1: PUSH3 0x461bcd
000005b5: PUSH1 0xe5
000005b7: SHL
000005b8: DUP2
000005b9: MSTORE
000005ba: PUSH1 0x20
000005bc: PUSH1 0x04
000005be: DUP3
000005bf: ADD
000005c0: MSTORE
000005c1: PUSH1 0x14
000005c3: PUSH1 0x24
000005c5: DUP3
000005c6: ADD
000005c7: MSTORE
000005c8: PUSH20 0x7265636f7665722f6e6f742d4265746142616e6b
000005dd: PUSH1 0x60
000005df: SHL
000005e0: PUSH1 0x44
000005e2: DUP3
000005e3: ADD
000005e4: MSTORE
000005e5: PUSH1 0x64
000005e7: ADD
000005e8: PUSH2 0x056f
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH1 0x00
000005ef: NOT
000005f0: DUP2
000005f1: EQ
000005f2: ISZERO
000005f3: PUSH2 0x0670
000005f6: JUMPI
000005f7: PUSH1 0x40
000005f9: MLOAD
000005fa: PUSH4 0x70a08231
000005ff: PUSH1 0xe0
00000601: SHL
00000602: DUP2
00000603: MSTORE
00000604: ADDRESS
00000605: PUSH1 0x04
00000607: DUP3
00000608: ADD
00000609: MSTORE
0000060a: PUSH1 0x01
0000060c: PUSH1 0x01
0000060e: PUSH1 0xa0
00000610: SHL
00000611: SUB
00000612: DUP5
00000613: AND
00000614: SWAP1
00000615: PUSH4 0x70a08231
0000061a: SWAP1
0000061b: PUSH1 0x24
0000061d: ADD
0000061e: PUSH1 0x20
00000620: PUSH1 0x40
00000622: MLOAD
00000623: DUP1
00000624: DUP4
00000625: SUB
00000626: DUP2
00000627: DUP7
00000628: DUP1
00000629: EXTCODESIZE
0000062a: ISZERO
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: GAS
00000638: STATICCALL
00000639: ISZERO
0000063a: DUP1
0000063b: ISZERO
0000063c: PUSH2 0x0649
0000063f: JUMPI
00000640: RETURNDATASIZE
00000641: PUSH1 0x00
00000643: DUP1
00000644: RETURNDATACOPY
00000645: RETURNDATASIZE
00000646: PUSH1 0x00
00000648: REVERT
00000649: JUMPDEST
0000064a: POP
0000064b: POP
0000064c: POP
0000064d: POP
0000064e: PUSH1 0x40
00000650: MLOAD
00000651: RETURNDATASIZE
00000652: PUSH1 0x1f
00000654: NOT
00000655: PUSH1 0x1f
00000657: DUP3
00000658: ADD
00000659: AND
0000065a: DUP3
0000065b: ADD
0000065c: DUP1
0000065d: PUSH1 0x40
0000065f: MSTORE
00000660: POP
00000661: DUP2
00000662: ADD
00000663: SWAP1
00000664: PUSH2 0x066d
00000667: SWAP2
00000668: SWAP1
00000669: PUSH2 0x2721
0000066c: JUMP
0000066d: JUMPDEST
0000066e: SWAP1
0000066f: POP
00000670: JUMPDEST
00000671: PUSH2 0x0684
00000674: PUSH1 0x01
00000676: PUSH1 0x01
00000678: PUSH1 0xa0
0000067a: SHL
0000067b: SUB
0000067c: DUP5
0000067d: AND
0000067e: DUP4
0000067f: DUP4
00000680: PUSH2 0x1ab5
00000683: JUMP
00000684: JUMPDEST
00000685: POP
00000686: POP
00000687: PUSH1 0x01
00000689: PUSH1 0x06
0000068b: SSTORE
0000068c: POP
0000068d: JUMP
0000068e: JUMPDEST
0000068f: PUSH1 0x00
00000691: PUSH1 0x02
00000693: PUSH1 0x06
00000695: SLOAD
00000696: EQ
00000697: ISZERO
00000698: PUSH2 0x06b3
0000069b: JUMPI
0000069c: PUSH1 0x40
0000069e: MLOAD
0000069f: PUSH3 0x461bcd
000006a3: PUSH1 0xe5
000006a5: SHL
000006a6: DUP2
000006a7: MSTORE
000006a8: PUSH1 0x04
000006aa: ADD
000006ab: PUSH2 0x056f
000006ae: SWAP1
000006af: PUSH2 0x27f9
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x02
000006b6: PUSH1 0x06
000006b8: SSTORE
000006b9: CALLER
000006ba: PUSH1 0x01
000006bc: PUSH1 0x01
000006be: PUSH1 0xa0
000006c0: SHL
000006c1: SUB
000006c2: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
000006e3: AND
000006e4: EQ
000006e5: PUSH2 0x0725
000006e8: JUMPI
000006e9: PUSH1 0x40
000006eb: MLOAD
000006ec: PUSH3 0x461bcd
000006f0: PUSH1 0xe5
000006f2: SHL
000006f3: DUP2
000006f4: MSTORE
000006f5: PUSH1 0x20
000006f7: PUSH1 0x04
000006f9: DUP3
000006fa: ADD
000006fb: MSTORE
000006fc: PUSH1 0x12
000006fe: PUSH1 0x24
00000700: DUP3
00000701: ADD
00000702: MSTORE
00000703: PUSH18 0x72657061792f6e6f742d4265746142616e6b
00000716: PUSH1 0x70
00000718: SHL
00000719: PUSH1 0x44
0000071b: DUP3
0000071c: ADD
0000071d: MSTORE
0000071e: PUSH1 0x64
00000720: ADD
00000721: PUSH2 0x056f
00000724: JUMP
00000725: JUMPDEST
00000726: PUSH2 0x072d
00000729: PUSH2 0x146e
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x40
00000730: MLOAD
00000731: PUSH4 0x70a08231
00000736: PUSH1 0xe0
00000738: SHL
00000739: DUP2
0000073a: MSTORE
0000073b: ADDRESS
0000073c: PUSH1 0x04
0000073e: DUP3
0000073f: ADD
00000740: MSTORE
00000741: PUSH1 0x00
00000743: SWAP1
00000744: DUP2
00000745: SWAP1
00000746: PUSH1 0x01
00000748: PUSH1 0x01
0000074a: PUSH1 0xa0
0000074c: SHL
0000074d: SUB
0000074e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000076f: AND
00000770: SWAP1
00000771: PUSH4 0x70a08231
00000776: SWAP1
00000777: PUSH1 0x24
00000779: ADD
0000077a: PUSH1 0x20
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: DUP1
00000780: DUP4
00000781: SUB
00000782: DUP2
00000783: DUP7
00000784: DUP1
00000785: EXTCODESIZE
00000786: ISZERO
00000787: DUP1
00000788: ISZERO
00000789: PUSH2 0x0791
0000078c: JUMPI
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: REVERT
00000791: JUMPDEST
00000792: POP
00000793: GAS
00000794: STATICCALL
00000795: ISZERO
00000796: DUP1
00000797: ISZERO
00000798: PUSH2 0x07a5
0000079b: JUMPI
0000079c: RETURNDATASIZE
0000079d: PUSH1 0x00
0000079f: DUP1
000007a0: RETURNDATACOPY
000007a1: RETURNDATASIZE
000007a2: PUSH1 0x00
000007a4: REVERT
000007a5: JUMPDEST
000007a6: POP
000007a7: POP
000007a8: POP
000007a9: POP
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: RETURNDATASIZE
000007ae: PUSH1 0x1f
000007b0: NOT
000007b1: PUSH1 0x1f
000007b3: DUP3
000007b4: ADD
000007b5: AND
000007b6: DUP3
000007b7: ADD
000007b8: DUP1
000007b9: PUSH1 0x40
000007bb: MSTORE
000007bc: POP
000007bd: DUP2
000007be: ADD
000007bf: SWAP1
000007c0: PUSH2 0x07c9
000007c3: SWAP2
000007c4: SWAP1
000007c5: PUSH2 0x2721
000007c8: JUMP
000007c9: JUMPDEST
000007ca: SWAP1
000007cb: POP
000007cc: PUSH2 0x0800
000007cf: PUSH1 0x01
000007d1: PUSH1 0x01
000007d3: PUSH1 0xa0
000007d5: SHL
000007d6: SUB
000007d7: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000007f8: AND
000007f9: DUP7
000007fa: ADDRESS
000007fb: DUP8
000007fc: PUSH2 0x1b1d
000007ff: JUMP
00000800: JUMPDEST
00000801: PUSH1 0x40
00000803: MLOAD
00000804: PUSH4 0x70a08231
00000809: PUSH1 0xe0
0000080b: SHL
0000080c: DUP2
0000080d: MSTORE
0000080e: ADDRESS
0000080f: PUSH1 0x04
00000811: DUP3
00000812: ADD
00000813: MSTORE
00000814: PUSH1 0x00
00000816: SWAP1
00000817: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000838: PUSH1 0x01
0000083a: PUSH1 0x01
0000083c: PUSH1 0xa0
0000083e: SHL
0000083f: SUB
00000840: AND
00000841: SWAP1
00000842: PUSH4 0x70a08231
00000847: SWAP1
00000848: PUSH1 0x24
0000084a: ADD
0000084b: PUSH1 0x20
0000084d: PUSH1 0x40
0000084f: MLOAD
00000850: DUP1
00000851: DUP4
00000852: SUB
00000853: DUP2
00000854: DUP7
00000855: DUP1
00000856: EXTCODESIZE
00000857: ISZERO
00000858: DUP1
00000859: ISZERO
0000085a: PUSH2 0x0862
0000085d: JUMPI
0000085e: PUSH1 0x00
00000860: DUP1
00000861: REVERT
00000862: JUMPDEST
00000863: POP
00000864: GAS
00000865: STATICCALL
00000866: ISZERO
00000867: DUP1
00000868: ISZERO
00000869: PUSH2 0x0876
0000086c: JUMPI
0000086d: RETURNDATASIZE
0000086e: PUSH1 0x00
00000870: DUP1
00000871: RETURNDATACOPY
00000872: RETURNDATASIZE
00000873: PUSH1 0x00
00000875: REVERT
00000876: JUMPDEST
00000877: POP
00000878: POP
00000879: POP
0000087a: POP
0000087b: PUSH1 0x40
0000087d: MLOAD
0000087e: RETURNDATASIZE
0000087f: PUSH1 0x1f
00000881: NOT
00000882: PUSH1 0x1f
00000884: DUP3
00000885: ADD
00000886: AND
00000887: DUP3
00000888: ADD
00000889: DUP1
0000088a: PUSH1 0x40
0000088c: MSTORE
0000088d: POP
0000088e: DUP2
0000088f: ADD
00000890: SWAP1
00000891: PUSH2 0x089a
00000894: SWAP2
00000895: SWAP1
00000896: PUSH2 0x2721
00000899: JUMP
0000089a: JUMPDEST
0000089b: SWAP1
0000089c: POP
0000089d: PUSH2 0x08a6
000008a0: DUP3
000008a1: DUP3
000008a2: PUSH2 0x287b
000008a5: JUMP
000008a6: JUMPDEST
000008a7: SWAP3
000008a8: POP
000008a9: POP
000008aa: POP
000008ab: PUSH1 0x0a
000008ad: SLOAD
000008ae: DUP2
000008af: GT
000008b0: ISZERO
000008b1: PUSH2 0x08f4
000008b4: JUMPI
000008b5: PUSH1 0x40
000008b7: MLOAD
000008b8: PUSH3 0x461bcd
000008bc: PUSH1 0xe5
000008be: SHL
000008bf: DUP2
000008c0: MSTORE
000008c1: PUSH1 0x20
000008c3: PUSH1 0x04
000008c5: DUP3
000008c6: ADD
000008c7: MSTORE
000008c8: PUSH1 0x15
000008ca: PUSH1 0x24
000008cc: DUP3
000008cd: ADD
000008ce: MSTORE
000008cf: PUSH21 0x0e4cae0c2f25ec2dadeeadce85ae8dede5ad0d2ced
000008e5: PUSH1 0x5b
000008e7: SHL
000008e8: PUSH1 0x44
000008ea: DUP3
000008eb: ADD
000008ec: MSTORE
000008ed: PUSH1 0x64
000008ef: ADD
000008f0: PUSH2 0x056f
000008f3: JUMP
000008f4: JUMPDEST
000008f5: PUSH1 0x0a
000008f7: SLOAD
000008f8: PUSH1 0x0b
000008fa: SLOAD
000008fb: PUSH2 0x0904
000008fe: SWAP1
000008ff: DUP4
00000900: PUSH2 0x285c
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH2 0x090e
00000908: SWAP2
00000909: SWAP1
0000090a: PUSH2 0x2848
0000090d: JUMP
0000090e: JUMPDEST
0000090f: SWAP2
00000910: POP
00000911: DUP1
00000912: PUSH1 0x09
00000914: PUSH1 0x00
00000916: DUP3
00000917: DUP3
00000918: SLOAD
00000919: PUSH2 0x0922
0000091c: SWAP2
0000091d: SWAP1
0000091e: PUSH2 0x2830
00000921: JUMP
00000922: JUMPDEST
00000923: SWAP3
00000924: POP
00000925: POP
00000926: DUP2
00000927: SWAP1
00000928: SSTORE
00000929: POP
0000092a: DUP1
0000092b: PUSH1 0x0a
0000092d: PUSH1 0x00
0000092f: DUP3
00000930: DUP3
00000931: SLOAD
00000932: PUSH2 0x093b
00000935: SWAP2
00000936: SWAP1
00000937: PUSH2 0x287b
0000093a: JUMP
0000093b: JUMPDEST
0000093c: SWAP3
0000093d: POP
0000093e: POP
0000093f: DUP2
00000940: SWAP1
00000941: SSTORE
00000942: POP
00000943: DUP2
00000944: PUSH1 0x0b
00000946: PUSH1 0x00
00000948: DUP3
00000949: DUP3
0000094a: SLOAD
0000094b: PUSH2 0x0954
0000094e: SWAP2
0000094f: SWAP1
00000950: PUSH2 0x287b
00000953: JUMP
00000954: JUMPDEST
00000955: SWAP1
00000956: SWAP2
00000957: SSTORE
00000958: POP
00000959: POP
0000095a: PUSH1 0x0b
0000095c: SLOAD
0000095d: PUSH3 0x0f4240
00000961: GT
00000962: ISZERO
00000963: PUSH2 0x09ae
00000966: JUMPI
00000967: PUSH1 0x40
00000969: MLOAD
0000096a: PUSH3 0x461bcd
0000096e: PUSH1 0xe5
00000970: SHL
00000971: DUP2
00000972: MSTORE
00000973: PUSH1 0x20
00000975: PUSH1 0x04
00000977: DUP3
00000978: ADD
00000979: MSTORE
0000097a: PUSH1 0x1c
0000097c: PUSH1 0x24
0000097e: DUP3
0000097f: ADD
00000980: MSTORE
00000981: PUSH32 0x72657061792f746f6f2d6c6f772d73756d2d646562742d736861726500000000
000009a2: PUSH1 0x44
000009a4: DUP3
000009a5: ADD
000009a6: MSTORE
000009a7: PUSH1 0x64
000009a9: ADD
000009aa: PUSH2 0x056f
000009ad: JUMP
000009ae: JUMPDEST
000009af: POP
000009b0: PUSH1 0x01
000009b2: PUSH1 0x06
000009b4: SSTORE
000009b5: SWAP3
000009b6: SWAP2
000009b7: POP
000009b8: POP
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH1 0x00
000009bd: PUSH2 0x09c7
000009c0: DUP5
000009c1: DUP5
000009c2: DUP5
000009c3: PUSH2 0x1b5b
000009c6: JUMP
000009c7: JUMPDEST
000009c8: PUSH1 0x01
000009ca: PUSH1 0x01
000009cc: PUSH1 0xa0
000009ce: SHL
000009cf: SUB
000009d0: DUP5
000009d1: AND
000009d2: PUSH1 0x00
000009d4: SWAP1
000009d5: DUP2
000009d6: MSTORE
000009d7: PUSH1 0x01
000009d9: PUSH1 0x20
000009db: SWAP1
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH1 0x40
000009e0: DUP1
000009e1: DUP4
000009e2: KECCAK256
000009e3: CALLER
000009e4: DUP5
000009e5: MSTORE
000009e6: SWAP1
000009e7: SWAP2
000009e8: MSTORE
000009e9: SWAP1
000009ea: KECCAK256
000009eb: SLOAD
000009ec: DUP3
000009ed: DUP2
000009ee: LT
000009ef: ISZERO
000009f0: PUSH2 0x0a4c
000009f3: JUMPI
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: PUSH3 0x461bcd
000009fb: PUSH1 0xe5
000009fd: SHL
000009fe: DUP2
000009ff: MSTORE
00000a00: PUSH1 0x20
00000a02: PUSH1 0x04
00000a04: DUP3
00000a05: ADD
00000a06: MSTORE
00000a07: PUSH1 0x28
00000a09: PUSH1 0x24
00000a0b: DUP3
00000a0c: ADD
00000a0d: MSTORE
00000a0e: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
00000a2f: PUSH1 0x44
00000a31: DUP3
00000a32: ADD
00000a33: MSTORE
00000a34: PUSH8 0x6c6c6f77616e6365
00000a3d: PUSH1 0xc0
00000a3f: SHL
00000a40: PUSH1 0x64
00000a42: DUP3
00000a43: ADD
00000a44: MSTORE
00000a45: PUSH1 0x84
00000a47: ADD
00000a48: PUSH2 0x056f
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH2 0x0a59
00000a50: DUP6
00000a51: CALLER
00000a52: DUP6
00000a53: DUP5
00000a54: SUB
00000a55: PUSH2 0x1991
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x01
00000a5c: SWAP2
00000a5d: POP
00000a5e: POP
00000a5f: JUMPDEST
00000a60: SWAP4
00000a61: SWAP3
00000a62: POP
00000a63: POP
00000a64: POP
00000a65: JUMP
00000a66: JUMPDEST
00000a67: PUSH1 0x00
00000a69: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0xa0
00000a90: SHL
00000a91: SUB
00000a92: AND
00000a93: PUSH4 0x313ce567
00000a98: PUSH1 0x40
00000a9a: MLOAD
00000a9b: DUP2
00000a9c: PUSH4 0xffffffff
00000aa1: AND
00000aa2: PUSH1 0xe0
00000aa4: SHL
00000aa5: DUP2
00000aa6: MSTORE
00000aa7: PUSH1 0x04
00000aa9: ADD
00000aaa: PUSH1 0x20
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: DUP1
00000ab0: DUP4
00000ab1: SUB
00000ab2: DUP2
00000ab3: DUP7
00000ab4: DUP1
00000ab5: EXTCODESIZE
00000ab6: ISZERO
00000ab7: DUP1
00000ab8: ISZERO
00000ab9: PUSH2 0x0ac1
00000abc: JUMPI
00000abd: PUSH1 0x00
00000abf: DUP1
00000ac0: REVERT
00000ac1: JUMPDEST
00000ac2: POP
00000ac3: GAS
00000ac4: STATICCALL
00000ac5: SWAP3
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: DUP1
00000aca: ISZERO
00000acb: PUSH2 0x0af1
00000ace: JUMPI
00000acf: POP
00000ad0: PUSH1 0x40
00000ad2: DUP1
00000ad3: MLOAD
00000ad4: PUSH1 0x1f
00000ad6: RETURNDATASIZE
00000ad7: SWAP1
00000ad8: DUP2
00000ad9: ADD
00000ada: PUSH1 0x1f
00000adc: NOT
00000add: AND
00000ade: DUP3
00000adf: ADD
00000ae0: SWAP1
00000ae1: SWAP3
00000ae2: MSTORE
00000ae3: PUSH2 0x0aee
00000ae6: SWAP2
00000ae7: DUP2
00000ae8: ADD
00000ae9: SWAP1
00000aea: PUSH2 0x273a
00000aed: JUMP
00000aee: JUMPDEST
00000aef: PUSH1 0x01
00000af1: JUMPDEST
00000af2: PUSH2 0x0b2c
00000af5: JUMPI
00000af6: RETURNDATASIZE
00000af7: DUP1
00000af8: DUP1
00000af9: ISZERO
00000afa: PUSH2 0x0b1f
00000afd: JUMPI
00000afe: PUSH1 0x40
00000b00: MLOAD
00000b01: SWAP2
00000b02: POP
00000b03: PUSH1 0x1f
00000b05: NOT
00000b06: PUSH1 0x3f
00000b08: RETURNDATASIZE
00000b09: ADD
00000b0a: AND
00000b0b: DUP3
00000b0c: ADD
00000b0d: PUSH1 0x40
00000b0f: MSTORE
00000b10: RETURNDATASIZE
00000b11: DUP3
00000b12: MSTORE
00000b13: RETURNDATASIZE
00000b14: PUSH1 0x00
00000b16: PUSH1 0x20
00000b18: DUP5
00000b19: ADD
00000b1a: RETURNDATACOPY
00000b1b: PUSH2 0x0b24
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: PUSH1 0x60
00000b22: SWAP2
00000b23: POP
00000b24: JUMPDEST
00000b25: POP
00000b26: PUSH1 0x12
00000b28: PUSH2 0x050a
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: SWAP2
00000b2e: SWAP1
00000b2f: POP
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH2 0x0b3b
00000b37: PUSH2 0x1d29
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: SWAP1
00000b3d: POP
00000b3e: SWAP1
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: CALLER
00000b42: PUSH1 0x00
00000b44: DUP2
00000b45: DUP2
00000b46: MSTORE
00000b47: PUSH1 0x01
00000b49: PUSH1 0x20
00000b4b: SWAP1
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x40
00000b50: DUP1
00000b51: DUP4
00000b52: KECCAK256
00000b53: PUSH1 0x01
00000b55: PUSH1 0x01
00000b57: PUSH1 0xa0
00000b59: SHL
00000b5a: SUB
00000b5b: DUP8
00000b5c: AND
00000b5d: DUP5
00000b5e: MSTORE
00000b5f: SWAP1
00000b60: SWAP2
00000b61: MSTORE
00000b62: DUP2
00000b63: KECCAK256
00000b64: SLOAD
00000b65: SWAP1
00000b66: SWAP2
00000b67: PUSH2 0x0543
00000b6a: SWAP2
00000b6b: DUP6
00000b6c: SWAP1
00000b6d: PUSH2 0x0b77
00000b70: SWAP1
00000b71: DUP7
00000b72: SWAP1
00000b73: PUSH2 0x2830
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH2 0x1991
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x00
00000b7f: PUSH1 0x02
00000b81: PUSH1 0x06
00000b83: SLOAD
00000b84: EQ
00000b85: ISZERO
00000b86: PUSH2 0x0ba1
00000b89: JUMPI
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: PUSH3 0x461bcd
00000b91: PUSH1 0xe5
00000b93: SHL
00000b94: DUP2
00000b95: MSTORE
00000b96: PUSH1 0x04
00000b98: ADD
00000b99: PUSH2 0x056f
00000b9c: SWAP1
00000b9d: PUSH2 0x27f9
00000ba0: JUMP
00000ba1: JUMPDEST
00000ba2: PUSH1 0x02
00000ba4: PUSH1 0x06
00000ba6: SSTORE
00000ba7: PUSH2 0x0bae
00000baa: PUSH2 0x146e
00000bad: JUMP
00000bae: JUMPDEST
00000baf: PUSH1 0x40
00000bb1: MLOAD
00000bb2: PUSH4 0x70a08231
00000bb7: PUSH1 0xe0
00000bb9: SHL
00000bba: DUP2
00000bbb: MSTORE
00000bbc: ADDRESS
00000bbd: PUSH1 0x04
00000bbf: DUP3
00000bc0: ADD
00000bc1: MSTORE
00000bc2: PUSH1 0x00
00000bc4: SWAP1
00000bc5: DUP2
00000bc6: SWAP1
00000bc7: PUSH1 0x01
00000bc9: PUSH1 0x01
00000bcb: PUSH1 0xa0
00000bcd: SHL
00000bce: SUB
00000bcf: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000bf0: AND
00000bf1: SWAP1
00000bf2: PUSH4 0x70a08231
00000bf7: SWAP1
00000bf8: PUSH1 0x24
00000bfa: ADD
00000bfb: PUSH1 0x20
00000bfd: PUSH1 0x40
00000bff: MLOAD
00000c00: DUP1
00000c01: DUP4
00000c02: SUB
00000c03: DUP2
00000c04: DUP7
00000c05: DUP1
00000c06: EXTCODESIZE
00000c07: ISZERO
00000c08: DUP1
00000c09: ISZERO
00000c0a: PUSH2 0x0c12
00000c0d: JUMPI
00000c0e: PUSH1 0x00
00000c10: DUP1
00000c11: REVERT
00000c12: JUMPDEST
00000c13: POP
00000c14: GAS
00000c15: STATICCALL
00000c16: ISZERO
00000c17: DUP1
00000c18: ISZERO
00000c19: PUSH2 0x0c26
00000c1c: JUMPI
00000c1d: RETURNDATASIZE
00000c1e: PUSH1 0x00
00000c20: DUP1
00000c21: RETURNDATACOPY
00000c22: RETURNDATASIZE
00000c23: PUSH1 0x00
00000c25: REVERT
00000c26: JUMPDEST
00000c27: POP
00000c28: POP
00000c29: POP
00000c2a: POP
00000c2b: PUSH1 0x40
00000c2d: MLOAD
00000c2e: RETURNDATASIZE
00000c2f: PUSH1 0x1f
00000c31: NOT
00000c32: PUSH1 0x1f
00000c34: DUP3
00000c35: ADD
00000c36: AND
00000c37: DUP3
00000c38: ADD
00000c39: DUP1
00000c3a: PUSH1 0x40
00000c3c: MSTORE
00000c3d: POP
00000c3e: DUP2
00000c3f: ADD
00000c40: SWAP1
00000c41: PUSH2 0x0c4a
00000c44: SWAP2
00000c45: SWAP1
00000c46: PUSH2 0x2721
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: SWAP1
00000c4c: POP
00000c4d: PUSH2 0x0c81
00000c50: PUSH1 0x01
00000c52: PUSH1 0x01
00000c54: PUSH1 0xa0
00000c56: SHL
00000c57: SUB
00000c58: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c79: AND
00000c7a: CALLER
00000c7b: ADDRESS
00000c7c: DUP8
00000c7d: PUSH2 0x1b1d
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH1 0x40
00000c84: MLOAD
00000c85: PUSH4 0x70a08231
00000c8a: PUSH1 0xe0
00000c8c: SHL
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: ADDRESS
00000c90: PUSH1 0x04
00000c92: DUP3
00000c93: ADD
00000c94: MSTORE
00000c95: PUSH1 0x00
00000c97: SWAP1
00000c98: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000cb9: PUSH1 0x01
00000cbb: PUSH1 0x01
00000cbd: PUSH1 0xa0
00000cbf: SHL
00000cc0: SUB
00000cc1: AND
00000cc2: SWAP1
00000cc3: PUSH4 0x70a08231
00000cc8: SWAP1
00000cc9: PUSH1 0x24
00000ccb: ADD
00000ccc: PUSH1 0x20
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: DUP1
00000cd2: DUP4
00000cd3: SUB
00000cd4: DUP2
00000cd5: DUP7
00000cd6: DUP1
00000cd7: EXTCODESIZE
00000cd8: ISZERO
00000cd9: DUP1
00000cda: ISZERO
00000cdb: PUSH2 0x0ce3
00000cde: JUMPI
00000cdf: PUSH1 0x00
00000ce1: DUP1
00000ce2: REVERT
00000ce3: JUMPDEST
00000ce4: POP
00000ce5: GAS
00000ce6: STATICCALL
00000ce7: ISZERO
00000ce8: DUP1
00000ce9: ISZERO
00000cea: PUSH2 0x0cf7
00000ced: JUMPI
00000cee: RETURNDATASIZE
00000cef: PUSH1 0x00
00000cf1: DUP1
00000cf2: RETURNDATACOPY
00000cf3: RETURNDATASIZE
00000cf4: PUSH1 0x00
00000cf6: REVERT
00000cf7: JUMPDEST
00000cf8: POP
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: RETURNDATASIZE
00000d00: PUSH1 0x1f
00000d02: NOT
00000d03: PUSH1 0x1f
00000d05: DUP3
00000d06: ADD
00000d07: AND
00000d08: DUP3
00000d09: ADD
00000d0a: DUP1
00000d0b: PUSH1 0x40
00000d0d: MSTORE
00000d0e: POP
00000d0f: DUP2
00000d10: ADD
00000d11: SWAP1
00000d12: PUSH2 0x0d1b
00000d15: SWAP2
00000d16: SWAP1
00000d17: PUSH2 0x2721
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: SWAP1
00000d1d: POP
00000d1e: PUSH2 0x0d27
00000d21: DUP3
00000d22: DUP3
00000d23: PUSH2 0x287b
00000d26: JUMP
00000d27: JUMPDEST
00000d28: SWAP3
00000d29: POP
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x00
00000d2e: PUSH2 0x0d36
00000d31: PUSH1 0x02
00000d33: SLOAD
00000d34: SWAP1
00000d35: JUMP
00000d36: JUMPDEST
00000d37: SWAP1
00000d38: POP
00000d39: DUP1
00000d3a: PUSH2 0x0daf
00000d3d: JUMPI
00000d3e: PUSH2 0x0d4a
00000d41: PUSH3 0x0f4240
00000d45: DUP4
00000d46: PUSH2 0x287b
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: SWAP3
00000d4c: POP
00000d4d: DUP3
00000d4e: PUSH1 0x09
00000d50: PUSH1 0x00
00000d52: DUP3
00000d53: DUP3
00000d54: SLOAD
00000d55: PUSH2 0x0d5e
00000d58: SWAP2
00000d59: SWAP1
00000d5a: PUSH2 0x2830
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: SWAP3
00000d60: POP
00000d61: POP
00000d62: DUP2
00000d63: SWAP1
00000d64: SSTORE
00000d65: POP
00000d66: PUSH3 0x0f4240
00000d6a: PUSH1 0x0a
00000d6c: PUSH1 0x00
00000d6e: DUP3
00000d6f: DUP3
00000d70: SLOAD
00000d71: PUSH2 0x0d7a
00000d74: SWAP2
00000d75: SWAP1
00000d76: PUSH2 0x2830
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: SWAP3
00000d7c: POP
00000d7d: POP
00000d7e: DUP2
00000d7f: SWAP1
00000d80: SSTORE
00000d81: POP
00000d82: PUSH3 0x0f4240
00000d86: PUSH1 0x0b
00000d88: PUSH1 0x00
00000d8a: DUP3
00000d8b: DUP3
00000d8c: SLOAD
00000d8d: PUSH2 0x0d96
00000d90: SWAP2
00000d91: SWAP1
00000d92: PUSH2 0x2830
00000d95: JUMP
00000d96: JUMPDEST
00000d97: SWAP1
00000d98: SWAP2
00000d99: SSTORE
00000d9a: POP
00000d9b: PUSH2 0x0daa
00000d9e: SWAP1
00000d9f: POP
00000da0: PUSH1 0x01
00000da2: PUSH3 0x0f4240
00000da6: PUSH2 0x1e1c
00000da9: JUMP
00000daa: JUMPDEST
00000dab: PUSH2 0x0ded
00000dae: JUMP
00000daf: JUMPDEST
00000db0: PUSH1 0x0a
00000db2: SLOAD
00000db3: PUSH1 0x09
00000db5: SLOAD
00000db6: PUSH2 0x0dbf
00000db9: SWAP2
00000dba: SWAP1
00000dbb: PUSH2 0x2830
00000dbe: JUMP
00000dbf: JUMPDEST
00000dc0: PUSH2 0x0dc9
00000dc3: DUP3
00000dc4: DUP5
00000dc5: PUSH2 0x285c
00000dc8: JUMP
00000dc9: JUMPDEST
00000dca: PUSH2 0x0dd3
00000dcd: SWAP2
00000dce: SWAP1
00000dcf: PUSH2 0x2848
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: SWAP3
00000dd5: POP
00000dd6: DUP2
00000dd7: PUSH1 0x09
00000dd9: PUSH1 0x00
00000ddb: DUP3
00000ddc: DUP3
00000ddd: SLOAD
00000dde: PUSH2 0x0de7
00000de1: SWAP2
00000de2: SWAP1
00000de3: PUSH2 0x2830
00000de6: JUMP
00000de7: JUMPDEST
00000de8: SWAP1
00000de9: SWAP2
00000dea: SSTORE
00000deb: POP
00000dec: POP
00000ded: JUMPDEST
00000dee: PUSH1 0x00
00000df0: DUP4
00000df1: GT
00000df2: PUSH2 0x0e35
00000df5: JUMPI
00000df6: PUSH1 0x40
00000df8: MLOAD
00000df9: PUSH3 0x461bcd
00000dfd: PUSH1 0xe5
00000dff: SHL
00000e00: DUP2
00000e01: MSTORE
00000e02: PUSH1 0x20
00000e04: PUSH1 0x04
00000e06: DUP3
00000e07: ADD
00000e08: MSTORE
00000e09: PUSH1 0x15
00000e0b: PUSH1 0x24
00000e0d: DUP3
00000e0e: ADD
00000e0f: MSTORE
00000e10: PUSH21 0x1b5a5b9d0bdb9bcb58dc99591a5d0b5b5a5b9d1959
00000e26: PUSH1 0x5a
00000e28: SHL
00000e29: PUSH1 0x44
00000e2b: DUP3
00000e2c: ADD
00000e2d: MSTORE
00000e2e: PUSH1 0x64
00000e30: ADD
00000e31: PUSH2 0x056f
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH2 0x0e3f
00000e39: DUP6
00000e3a: DUP5
00000e3b: PUSH2 0x1e1c
00000e3e: JUMP
00000e3f: JUMPDEST
00000e40: PUSH1 0x40
00000e42: DUP1
00000e43: MLOAD
00000e44: DUP6
00000e45: DUP2
00000e46: MSTORE
00000e47: PUSH1 0x20
00000e49: DUP2
00000e4a: ADD
00000e4b: DUP6
00000e4c: SWAP1
00000e4d: MSTORE
00000e4e: PUSH1 0x01
00000e50: PUSH1 0x01
00000e52: PUSH1 0xa0
00000e54: SHL
00000e55: SUB
00000e56: DUP8
00000e57: AND
00000e58: SWAP2
00000e59: CALLER
00000e5a: SWAP2
00000e5b: PUSH32 0x2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee
00000e7c: SWAP2
00000e7d: ADD
00000e7e: PUSH1 0x40
00000e80: MLOAD
00000e81: DUP1
00000e82: SWAP2
00000e83: SUB
00000e84: SWAP1
00000e85: LOG3
00000e86: POP
00000e87: POP
00000e88: PUSH1 0x01
00000e8a: PUSH1 0x06
00000e8c: SSTORE
00000e8d: SWAP3
00000e8e: SWAP2
00000e8f: POP
00000e90: POP
00000e91: JUMP
00000e92: JUMPDEST
00000e93: PUSH1 0x00
00000e95: PUSH1 0x02
00000e97: PUSH1 0x06
00000e99: SLOAD
00000e9a: EQ
00000e9b: ISZERO
00000e9c: PUSH2 0x0eb7
00000e9f: JUMPI
00000ea0: PUSH1 0x40
00000ea2: MLOAD
00000ea3: PUSH3 0x461bcd
00000ea7: PUSH1 0xe5
00000ea9: SHL
00000eaa: DUP2
00000eab: MSTORE
00000eac: PUSH1 0x04
00000eae: ADD
00000eaf: PUSH2 0x056f
00000eb2: SWAP1
00000eb3: PUSH2 0x27f9
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH1 0x02
00000eba: PUSH1 0x06
00000ebc: SSTORE
00000ebd: CALLER
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0x01
00000ec2: PUSH1 0xa0
00000ec4: SHL
00000ec5: SUB
00000ec6: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
00000ee7: AND
00000ee8: EQ
00000ee9: PUSH2 0x0f2a
00000eec: JUMPI
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: PUSH3 0x461bcd
00000ef4: PUSH1 0xe5
00000ef6: SHL
00000ef7: DUP2
00000ef8: MSTORE
00000ef9: PUSH1 0x20
00000efb: PUSH1 0x04
00000efd: DUP3
00000efe: ADD
00000eff: MSTORE
00000f00: PUSH1 0x13
00000f02: PUSH1 0x24
00000f04: DUP3
00000f05: ADD
00000f06: MSTORE
00000f07: PUSH19 0x626f72726f772f6e6f742d4265746142616e6b
00000f1b: PUSH1 0x68
00000f1d: SHL
00000f1e: PUSH1 0x44
00000f20: DUP3
00000f21: ADD
00000f22: MSTORE
00000f23: PUSH1 0x64
00000f25: ADD
00000f26: PUSH2 0x056f
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH2 0x0f32
00000f2e: PUSH2 0x146e
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH2 0x0f66
00000f36: PUSH1 0x01
00000f38: PUSH1 0x01
00000f3a: PUSH1 0xa0
00000f3c: SHL
00000f3d: SUB
00000f3e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000f5f: AND
00000f60: DUP5
00000f61: DUP5
00000f62: PUSH2 0x1ab5
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH2 0x0f7f
00000f6a: PUSH1 0x0b
00000f6c: SLOAD
00000f6d: DUP4
00000f6e: PUSH2 0x0f77
00000f71: SWAP2
00000f72: SWAP1
00000f73: PUSH2 0x285c
00000f76: JUMP
00000f77: JUMPDEST
00000f78: PUSH1 0x0a
00000f7a: SLOAD
00000f7b: PUSH2 0x1efb
00000f7e: JUMP
00000f7f: JUMPDEST
00000f80: SWAP1
00000f81: POP
00000f82: DUP2
00000f83: PUSH1 0x09
00000f85: PUSH1 0x00
00000f87: DUP3
00000f88: DUP3
00000f89: SLOAD
00000f8a: PUSH2 0x0f93
00000f8d: SWAP2
00000f8e: SWAP1
00000f8f: PUSH2 0x287b
00000f92: JUMP
00000f93: JUMPDEST
00000f94: SWAP3
00000f95: POP
00000f96: POP
00000f97: DUP2
00000f98: SWAP1
00000f99: SSTORE
00000f9a: POP
00000f9b: DUP2
00000f9c: PUSH1 0x0a
00000f9e: PUSH1 0x00
00000fa0: DUP3
00000fa1: DUP3
00000fa2: SLOAD
00000fa3: PUSH2 0x0fac
00000fa6: SWAP2
00000fa7: SWAP1
00000fa8: PUSH2 0x2830
00000fab: JUMP
00000fac: JUMPDEST
00000fad: SWAP3
00000fae: POP
00000faf: POP
00000fb0: DUP2
00000fb1: SWAP1
00000fb2: SSTORE
00000fb3: POP
00000fb4: DUP1
00000fb5: PUSH1 0x0b
00000fb7: PUSH1 0x00
00000fb9: DUP3
00000fba: DUP3
00000fbb: SLOAD
00000fbc: PUSH2 0x0fc5
00000fbf: SWAP2
00000fc0: SWAP1
00000fc1: PUSH2 0x2830
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: SWAP1
00000fc7: SWAP2
00000fc8: SSTORE
00000fc9: POP
00000fca: POP
00000fcb: PUSH1 0x01
00000fcd: PUSH1 0x06
00000fcf: SSTORE
00000fd0: SWAP3
00000fd1: SWAP2
00000fd2: POP
00000fd3: POP
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x00
00000fd8: PUSH2 0x0fdf
00000fdb: PUSH2 0x146e
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: DUP2
00000fe1: PUSH2 0x0fec
00000fe4: JUMPI
00000fe5: POP
00000fe6: PUSH1 0x00
00000fe8: SWAP2
00000fe9: SWAP1
00000fea: POP
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH2 0x1005
00000ff0: PUSH1 0x0a
00000ff2: SLOAD
00000ff3: DUP4
00000ff4: PUSH2 0x0ffd
00000ff7: SWAP2
00000ff8: SWAP1
00000ff9: PUSH2 0x285c
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x0b
00001000: SLOAD
00001001: PUSH2 0x1efb
00001004: JUMP
00001005: JUMPDEST
00001006: SWAP3
00001007: SWAP2
00001008: POP
00001009: POP
0000100a: JUMP
0000100b: JUMPDEST
0000100c: PUSH1 0x01
0000100e: PUSH1 0x01
00001010: PUSH1 0xa0
00001012: SHL
00001013: SUB
00001014: DUP2
00001015: AND
00001016: PUSH1 0x00
00001018: SWAP1
00001019: DUP2
0000101a: MSTORE
0000101b: PUSH1 0x05
0000101d: PUSH1 0x20
0000101f: MSTORE
00001020: PUSH1 0x40
00001022: DUP2
00001023: KECCAK256
00001024: SLOAD
00001025: PUSH2 0x1005
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH1 0x60
0000102c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000104d: PUSH1 0x01
0000104f: PUSH1 0x01
00001051: PUSH1 0xa0
00001053: SHL
00001054: SUB
00001055: AND
00001056: PUSH4 0x95d89b41
0000105b: PUSH1 0x40
0000105d: MLOAD
0000105e: DUP2
0000105f: PUSH4 0xffffffff
00001064: AND
00001065: PUSH1 0xe0
00001067: SHL
00001068: DUP2
00001069: MSTORE
0000106a: PUSH1 0x04
0000106c: ADD
0000106d: PUSH1 0x00
0000106f: PUSH1 0x40
00001071: MLOAD
00001072: DUP1
00001073: DUP4
00001074: SUB
00001075: DUP2
00001076: DUP7
00001077: DUP1
00001078: EXTCODESIZE
00001079: ISZERO
0000107a: DUP1
0000107b: ISZERO
0000107c: PUSH2 0x1084
0000107f: JUMPI
00001080: PUSH1 0x00
00001082: DUP1
00001083: REVERT
00001084: JUMPDEST
00001085: POP
00001086: GAS
00001087: STATICCALL
00001088: SWAP3
00001089: POP
0000108a: POP
0000108b: POP
0000108c: DUP1
0000108d: ISZERO
0000108e: PUSH2 0x10b9
00001091: JUMPI
00001092: POP
00001093: PUSH1 0x40
00001095: MLOAD
00001096: RETURNDATASIZE
00001097: PUSH1 0x00
00001099: DUP3
0000109a: RETURNDATACOPY
0000109b: PUSH1 0x1f
0000109d: RETURNDATASIZE
0000109e: SWAP1
0000109f: DUP2
000010a0: ADD
000010a1: PUSH1 0x1f
000010a3: NOT
000010a4: AND
000010a5: DUP3
000010a6: ADD
000010a7: PUSH1 0x40
000010a9: MSTORE
000010aa: PUSH2 0x10b6
000010ad: SWAP2
000010ae: SWAP1
000010af: DUP2
000010b0: ADD
000010b1: SWAP1
000010b2: PUSH2 0x2666
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x01
000010b9: JUMPDEST
000010ba: PUSH2 0x10f5
000010bd: JUMPI
000010be: RETURNDATASIZE
000010bf: DUP1
000010c0: DUP1
000010c1: ISZERO
000010c2: PUSH2 0x10e7
000010c5: JUMPI
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: SWAP2
000010ca: POP
000010cb: PUSH1 0x1f
000010cd: NOT
000010ce: PUSH1 0x3f
000010d0: RETURNDATASIZE
000010d1: ADD
000010d2: AND
000010d3: DUP3
000010d4: ADD
000010d5: PUSH1 0x40
000010d7: MSTORE
000010d8: RETURNDATASIZE
000010d9: DUP3
000010da: MSTORE
000010db: RETURNDATASIZE
000010dc: PUSH1 0x00
000010de: PUSH1 0x20
000010e0: DUP5
000010e1: ADD
000010e2: RETURNDATACOPY
000010e3: PUSH2 0x10ec
000010e6: JUMP
000010e7: JUMPDEST
000010e8: PUSH1 0x60
000010ea: SWAP2
000010eb: POP
000010ec: JUMPDEST
000010ed: POP
000010ee: PUSH2 0x050a
000010f1: PUSH2 0x1f2d
000010f4: JUMP
000010f5: JUMPDEST
000010f6: DUP1
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: PUSH1 0x20
000010fc: ADD
000010fd: PUSH2 0x0521
00001100: SWAP2
00001101: SWAP1
00001102: PUSH2 0x2773
00001105: JUMP
00001106: JUMPDEST
00001107: PUSH1 0x00
00001109: PUSH1 0x02
0000110b: PUSH1 0x06
0000110d: SLOAD
0000110e: EQ
0000110f: ISZERO
00001110: PUSH2 0x112b
00001113: JUMPI
00001114: PUSH1 0x40
00001116: MLOAD
00001117: PUSH3 0x461bcd
0000111b: PUSH1 0xe5
0000111d: SHL
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x04
00001122: ADD
00001123: PUSH2 0x056f
00001126: SWAP1
00001127: PUSH2 0x27f9
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH1 0x02
0000112e: PUSH1 0x06
00001130: SSTORE
00001131: PUSH2 0x1138
00001134: PUSH2 0x146e
00001137: JUMP
00001138: JUMPDEST
00001139: PUSH1 0x00
0000113b: PUSH2 0x1143
0000113e: PUSH1 0x02
00001140: SLOAD
00001141: SWAP1
00001142: JUMP
00001143: JUMPDEST
00001144: SWAP1
00001145: POP
00001146: DUP1
00001147: PUSH1 0x0a
00001149: SLOAD
0000114a: PUSH1 0x09
0000114c: SLOAD
0000114d: PUSH2 0x1156
00001150: SWAP2
00001151: SWAP1
00001152: PUSH2 0x2830
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH2 0x1160
0000115a: SWAP1
0000115b: DUP6
0000115c: PUSH2 0x285c
0000115f: JUMP
00001160: JUMPDEST
00001161: PUSH2 0x116a
00001164: SWAP2
00001165: SWAP1
00001166: PUSH2 0x2848
00001169: JUMP
0000116a: JUMPDEST
0000116b: SWAP2
0000116c: POP
0000116d: PUSH1 0x00
0000116f: DUP3
00001170: GT
00001171: PUSH2 0x11bc
00001174: JUMPI
00001175: PUSH1 0x40
00001177: MLOAD
00001178: PUSH3 0x461bcd
0000117c: PUSH1 0xe5
0000117e: SHL
0000117f: DUP2
00001180: MSTORE
00001181: PUSH1 0x20
00001183: PUSH1 0x04
00001185: DUP3
00001186: ADD
00001187: MSTORE
00001188: PUSH1 0x17
0000118a: PUSH1 0x24
0000118c: DUP3
0000118d: ADD
0000118e: MSTORE
0000118f: PUSH32 0x6275726e2f6e6f2d616d6f756e742d72657475726e6564000000000000000000
000011b0: PUSH1 0x44
000011b2: DUP3
000011b3: ADD
000011b4: MSTORE
000011b5: PUSH1 0x64
000011b7: ADD
000011b8: PUSH2 0x056f
000011bb: JUMP
000011bc: JUMPDEST
000011bd: DUP2
000011be: PUSH1 0x09
000011c0: PUSH1 0x00
000011c2: DUP3
000011c3: DUP3
000011c4: SLOAD
000011c5: PUSH2 0x11ce
000011c8: SWAP2
000011c9: SWAP1
000011ca: PUSH2 0x287b
000011cd: JUMP
000011ce: JUMPDEST
000011cf: SWAP1
000011d0: SWAP2
000011d1: SSTORE
000011d2: POP
000011d3: PUSH2 0x11de
000011d6: SWAP1
000011d7: POP
000011d8: CALLER
000011d9: DUP5
000011da: PUSH2 0x1f3c
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH2 0x1212
000011e2: PUSH1 0x01
000011e4: PUSH1 0x01
000011e6: PUSH1 0xa0
000011e8: SHL
000011e9: SUB
000011ea: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000120b: AND
0000120c: DUP6
0000120d: DUP5
0000120e: PUSH2 0x1ab5
00001211: JUMP
00001212: JUMPDEST
00001213: PUSH1 0x40
00001215: DUP1
00001216: MLOAD
00001217: DUP4
00001218: DUP2
00001219: MSTORE
0000121a: PUSH1 0x20
0000121c: DUP2
0000121d: ADD
0000121e: DUP6
0000121f: SWAP1
00001220: MSTORE
00001221: PUSH1 0x01
00001223: PUSH1 0x01
00001225: PUSH1 0xa0
00001227: SHL
00001228: SUB
00001229: DUP7
0000122a: AND
0000122b: SWAP2
0000122c: CALLER
0000122d: SWAP2
0000122e: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
0000124f: SWAP2
00001250: ADD
00001251: PUSH1 0x40
00001253: MLOAD
00001254: DUP1
00001255: SWAP2
00001256: SUB
00001257: SWAP1
00001258: LOG3
00001259: POP
0000125a: PUSH1 0x01
0000125c: PUSH1 0x06
0000125e: SSTORE
0000125f: SWAP3
00001260: SWAP2
00001261: POP
00001262: POP
00001263: JUMP
00001264: JUMPDEST
00001265: CALLER
00001266: PUSH1 0x00
00001268: SWAP1
00001269: DUP2
0000126a: MSTORE
0000126b: PUSH1 0x01
0000126d: PUSH1 0x20
0000126f: SWAP1
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x40
00001274: DUP1
00001275: DUP4
00001276: KECCAK256
00001277: PUSH1 0x01
00001279: PUSH1 0x01
0000127b: PUSH1 0xa0
0000127d: SHL
0000127e: SUB
0000127f: DUP7
00001280: AND
00001281: DUP5
00001282: MSTORE
00001283: SWAP1
00001284: SWAP2
00001285: MSTORE
00001286: DUP2
00001287: KECCAK256
00001288: SLOAD
00001289: DUP3
0000128a: DUP2
0000128b: LT
0000128c: ISZERO
0000128d: PUSH2 0x12e6
00001290: JUMPI
00001291: PUSH1 0x40
00001293: MLOAD
00001294: PUSH3 0x461bcd
00001298: PUSH1 0xe5
0000129a: SHL
0000129b: DUP2
0000129c: MSTORE
0000129d: PUSH1 0x20
0000129f: PUSH1 0x04
000012a1: DUP3
000012a2: ADD
000012a3: MSTORE
000012a4: PUSH1 0x25
000012a6: PUSH1 0x24
000012a8: DUP3
000012a9: ADD
000012aa: MSTORE
000012ab: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
000012cc: PUSH1 0x44
000012ce: DUP3
000012cf: ADD
000012d0: MSTORE
000012d1: PUSH5 0x207a65726f
000012d7: PUSH1 0xd8
000012d9: SHL
000012da: PUSH1 0x64
000012dc: DUP3
000012dd: ADD
000012de: MSTORE
000012df: PUSH1 0x84
000012e1: ADD
000012e2: PUSH2 0x056f
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH2 0x12f3
000012ea: CALLER
000012eb: DUP6
000012ec: DUP6
000012ed: DUP5
000012ee: SUB
000012ef: PUSH2 0x1991
000012f2: JUMP
000012f3: JUMPDEST
000012f4: POP
000012f5: PUSH1 0x01
000012f7: SWAP4
000012f8: SWAP3
000012f9: POP
000012fa: POP
000012fb: POP
000012fc: JUMP
000012fd: JUMPDEST
000012fe: PUSH1 0x00
00001300: PUSH2 0x0543
00001303: CALLER
00001304: DUP5
00001305: DUP5
00001306: PUSH2 0x1b5b
00001309: JUMP
0000130a: JUMPDEST
0000130b: DUP4
0000130c: TIMESTAMP
0000130d: GT
0000130e: ISZERO
0000130f: PUSH2 0x135a
00001312: JUMPI
00001313: PUSH1 0x40
00001315: MLOAD
00001316: PUSH3 0x461bcd
0000131a: PUSH1 0xe5
0000131c: SHL
0000131d: DUP2
0000131e: MSTORE
0000131f: PUSH1 0x20
00001321: PUSH1 0x04
00001323: DUP3
00001324: ADD
00001325: MSTORE
00001326: PUSH1 0x1d
00001328: PUSH1 0x24
0000132a: DUP3
0000132b: ADD
0000132c: MSTORE
0000132d: PUSH32 0x45524332305065726d69743a206578706972656420646561646c696e65000000
0000134e: PUSH1 0x44
00001350: DUP3
00001351: ADD
00001352: MSTORE
00001353: PUSH1 0x64
00001355: ADD
00001356: PUSH2 0x056f
00001359: JUMP
0000135a: JUMPDEST
0000135b: PUSH1 0x00
0000135d: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000137e: DUP9
0000137f: DUP9
00001380: DUP9
00001381: PUSH2 0x1389
00001384: DUP13
00001385: PUSH2 0x208a
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x40
0000138c: DUP1
0000138d: MLOAD
0000138e: PUSH1 0x20
00001390: DUP2
00001391: ADD
00001392: SWAP7
00001393: SWAP1
00001394: SWAP7
00001395: MSTORE
00001396: PUSH1 0x01
00001398: PUSH1 0x01
0000139a: PUSH1 0xa0
0000139c: SHL
0000139d: SUB
0000139e: SWAP5
0000139f: DUP6
000013a0: AND
000013a1: SWAP1
000013a2: DUP7
000013a3: ADD
000013a4: MSTORE
000013a5: SWAP3
000013a6: SWAP1
000013a7: SWAP2
000013a8: AND
000013a9: PUSH1 0x60
000013ab: DUP5
000013ac: ADD
000013ad: MSTORE
000013ae: PUSH1 0x80
000013b0: DUP4
000013b1: ADD
000013b2: MSTORE
000013b3: PUSH1 0xa0
000013b5: DUP3
000013b6: ADD
000013b7: MSTORE
000013b8: PUSH1 0xc0
000013ba: DUP2
000013bb: ADD
000013bc: DUP7
000013bd: SWAP1
000013be: MSTORE
000013bf: PUSH1 0xe0
000013c1: ADD
000013c2: PUSH1 0x40
000013c4: MLOAD
000013c5: PUSH1 0x20
000013c7: DUP2
000013c8: DUP4
000013c9: SUB
000013ca: SUB
000013cb: DUP2
000013cc: MSTORE
000013cd: SWAP1
000013ce: PUSH1 0x40
000013d0: MSTORE
000013d1: DUP1
000013d2: MLOAD
000013d3: SWAP1
000013d4: PUSH1 0x20
000013d6: ADD
000013d7: KECCAK256
000013d8: SWAP1
000013d9: POP
000013da: PUSH1 0x00
000013dc: PUSH2 0x13e4
000013df: DUP3
000013e0: PUSH2 0x20b2
000013e3: JUMP
000013e4: JUMPDEST
000013e5: SWAP1
000013e6: POP
000013e7: PUSH1 0x00
000013e9: PUSH2 0x13f4
000013ec: DUP3
000013ed: DUP8
000013ee: DUP8
000013ef: DUP8
000013f0: PUSH2 0x2100
000013f3: JUMP
000013f4: JUMPDEST
000013f5: SWAP1
000013f6: POP
000013f7: DUP10
000013f8: PUSH1 0x01
000013fa: PUSH1 0x01
000013fc: PUSH1 0xa0
000013fe: SHL
000013ff: SUB
00001400: AND
00001401: DUP2
00001402: PUSH1 0x01
00001404: PUSH1 0x01
00001406: PUSH1 0xa0
00001408: SHL
00001409: SUB
0000140a: AND
0000140b: EQ
0000140c: PUSH2 0x1457
0000140f: JUMPI
00001410: PUSH1 0x40
00001412: MLOAD
00001413: PUSH3 0x461bcd
00001417: PUSH1 0xe5
00001419: SHL
0000141a: DUP2
0000141b: MSTORE
0000141c: PUSH1 0x20
0000141e: PUSH1 0x04
00001420: DUP3
00001421: ADD
00001422: MSTORE
00001423: PUSH1 0x1e
00001425: PUSH1 0x24
00001427: DUP3
00001428: ADD
00001429: MSTORE
0000142a: PUSH32 0x45524332305065726d69743a20696e76616c6964207369676e61747572650000
0000144b: PUSH1 0x44
0000144d: DUP3
0000144e: ADD
0000144f: MSTORE
00001450: PUSH1 0x64
00001452: ADD
00001453: PUSH2 0x056f
00001456: JUMP
00001457: JUMPDEST
00001458: PUSH2 0x1462
0000145b: DUP11
0000145c: DUP11
0000145d: DUP11
0000145e: PUSH2 0x1991
00001461: JUMP
00001462: JUMPDEST
00001463: POP
00001464: POP
00001465: POP
00001466: POP
00001467: POP
00001468: POP
00001469: POP
0000146a: POP
0000146b: POP
0000146c: POP
0000146d: JUMP
0000146e: JUMPDEST
0000146f: PUSH1 0x00
00001471: PUSH1 0x08
00001473: SLOAD
00001474: TIMESTAMP
00001475: PUSH2 0x147e
00001478: SWAP2
00001479: SWAP1
0000147a: PUSH2 0x287b
0000147d: JUMP
0000147e: JUMPDEST
0000147f: SWAP1
00001480: POP
00001481: DUP1
00001482: PUSH2 0x1488
00001485: JUMPI
00001486: POP
00001487: JUMP
00001488: JUMPDEST
00001489: TIMESTAMP
0000148a: PUSH1 0x08
0000148c: DUP2
0000148d: SWAP1
0000148e: SSTORE
0000148f: POP
00001490: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
000014b1: PUSH1 0x01
000014b3: PUSH1 0x01
000014b5: PUSH1 0xa0
000014b7: SHL
000014b8: SUB
000014b9: AND
000014ba: PUSH4 0x5c975abb
000014bf: PUSH1 0x40
000014c1: MLOAD
000014c2: DUP2
000014c3: PUSH4 0xffffffff
000014c8: AND
000014c9: PUSH1 0xe0
000014cb: SHL
000014cc: DUP2
000014cd: MSTORE
000014ce: PUSH1 0x04
000014d0: ADD
000014d1: PUSH1 0x20
000014d3: PUSH1 0x40
000014d5: MLOAD
000014d6: DUP1
000014d7: DUP4
000014d8: SUB
000014d9: DUP2
000014da: DUP7
000014db: DUP1
000014dc: EXTCODESIZE
000014dd: ISZERO
000014de: DUP1
000014df: ISZERO
000014e0: PUSH2 0x14e8
000014e3: JUMPI
000014e4: PUSH1 0x00
000014e6: DUP1
000014e7: REVERT
000014e8: JUMPDEST
000014e9: POP
000014ea: GAS
000014eb: STATICCALL
000014ec: ISZERO
000014ed: DUP1
000014ee: ISZERO
000014ef: PUSH2 0x14fc
000014f2: JUMPI
000014f3: RETURNDATASIZE
000014f4: PUSH1 0x00
000014f6: DUP1
000014f7: RETURNDATACOPY
000014f8: RETURNDATASIZE
000014f9: PUSH1 0x00
000014fb: REVERT
000014fc: JUMPDEST
000014fd: POP
000014fe: POP
000014ff: POP
00001500: POP
00001501: PUSH1 0x40
00001503: MLOAD
00001504: RETURNDATASIZE
00001505: PUSH1 0x1f
00001507: NOT
00001508: PUSH1 0x1f
0000150a: DUP3
0000150b: ADD
0000150c: AND
0000150d: DUP3
0000150e: ADD
0000150f: DUP1
00001510: PUSH1 0x40
00001512: MSTORE
00001513: POP
00001514: DUP2
00001515: ADD
00001516: SWAP1
00001517: PUSH2 0x1520
0000151a: SWAP2
0000151b: SWAP1
0000151c: PUSH2 0x2644
0000151f: JUMP
00001520: JUMPDEST
00001521: ISZERO
00001522: PUSH2 0x155f
00001525: JUMPI
00001526: PUSH1 0x40
00001528: MLOAD
00001529: PUSH3 0x461bcd
0000152d: PUSH1 0xe5
0000152f: SHL
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x20
00001534: PUSH1 0x04
00001536: DUP3
00001537: ADD
00001538: MSTORE
00001539: PUSH1 0x0f
0000153b: PUSH1 0x24
0000153d: DUP3
0000153e: ADD
0000153f: MSTORE
00001540: PUSH15 0x10995d1850985b9acbdc185d5cd959
00001550: PUSH1 0x8a
00001552: SHL
00001553: PUSH1 0x44
00001555: DUP3
00001556: ADD
00001557: MSTORE
00001558: PUSH1 0x64
0000155a: ADD
0000155b: PUSH2 0x056f
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH1 0x0a
00001562: SLOAD
00001563: PUSH1 0x09
00001565: SLOAD
00001566: PUSH1 0x07
00001568: SLOAD
00001569: PUSH1 0x40
0000156b: DUP1
0000156c: MLOAD
0000156d: PUSH4 0x79502c55
00001572: PUSH1 0xe0
00001574: SHL
00001575: DUP2
00001576: MSTORE
00001577: SWAP1
00001578: MLOAD
00001579: PUSH1 0x00
0000157b: SWAP2
0000157c: PUSH1 0x01
0000157e: PUSH1 0x01
00001580: PUSH1 0xa0
00001582: SHL
00001583: SUB
00001584: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
000015a5: AND
000015a6: SWAP2
000015a7: PUSH4 0x79502c55
000015ac: SWAP2
000015ad: PUSH1 0x04
000015af: DUP1
000015b0: DUP3
000015b1: ADD
000015b2: SWAP3
000015b3: PUSH1 0x20
000015b5: SWAP3
000015b6: SWAP1
000015b7: SWAP2
000015b8: SWAP1
000015b9: DUP3
000015ba: SWAP1
000015bb: SUB
000015bc: ADD
000015bd: DUP2
000015be: DUP7
000015bf: DUP1
000015c0: EXTCODESIZE
000015c1: ISZERO
000015c2: DUP1
000015c3: ISZERO
000015c4: PUSH2 0x15cc
000015c7: JUMPI
000015c8: PUSH1 0x00
000015ca: DUP1
000015cb: REVERT
000015cc: JUMPDEST
000015cd: POP
000015ce: GAS
000015cf: STATICCALL
000015d0: ISZERO
000015d1: DUP1
000015d2: ISZERO
000015d3: PUSH2 0x15e0
000015d6: JUMPI
000015d7: RETURNDATASIZE
000015d8: PUSH1 0x00
000015da: DUP1
000015db: RETURNDATACOPY
000015dc: RETURNDATASIZE
000015dd: PUSH1 0x00
000015df: REVERT
000015e0: JUMPDEST
000015e1: POP
000015e2: POP
000015e3: POP
000015e4: POP
000015e5: PUSH1 0x40
000015e7: MLOAD
000015e8: RETURNDATASIZE
000015e9: PUSH1 0x1f
000015eb: NOT
000015ec: PUSH1 0x1f
000015ee: DUP3
000015ef: ADD
000015f0: AND
000015f1: DUP3
000015f2: ADD
000015f3: DUP1
000015f4: PUSH1 0x40
000015f6: MSTORE
000015f7: POP
000015f8: DUP2
000015f9: ADD
000015fa: SWAP1
000015fb: PUSH2 0x1604
000015fe: SWAP2
000015ff: SWAP1
00001600: PUSH2 0x2510
00001603: JUMP
00001604: JUMPDEST
00001605: SWAP1
00001606: POP
00001607: PUSH1 0x00
00001609: PUSH32 0x000000000000000000000000972a785b390d05123497169a04c72de652493be1
0000162a: PUSH1 0x01
0000162c: PUSH1 0x01
0000162e: PUSH1 0xa0
00001630: SHL
00001631: SUB
00001632: AND
00001633: PUSH4 0xac165d7a
00001638: PUSH1 0x40
0000163a: MLOAD
0000163b: DUP2
0000163c: PUSH4 0xffffffff
00001641: AND
00001642: PUSH1 0xe0
00001644: SHL
00001645: DUP2
00001646: MSTORE
00001647: PUSH1 0x04
00001649: ADD
0000164a: PUSH1 0x20
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: DUP1
00001650: DUP4
00001651: SUB
00001652: DUP2
00001653: DUP7
00001654: DUP1
00001655: EXTCODESIZE
00001656: ISZERO
00001657: DUP1
00001658: ISZERO
00001659: PUSH2 0x1661
0000165c: JUMPI
0000165d: PUSH1 0x00
0000165f: DUP1
00001660: REVERT
00001661: JUMPDEST
00001662: POP
00001663: GAS
00001664: STATICCALL
00001665: ISZERO
00001666: DUP1
00001667: ISZERO
00001668: PUSH2 0x1675
0000166b: JUMPI
0000166c: RETURNDATASIZE
0000166d: PUSH1 0x00
0000166f: DUP1
00001670: RETURNDATACOPY
00001671: RETURNDATASIZE
00001672: PUSH1 0x00
00001674: REVERT
00001675: JUMPDEST
00001676: POP
00001677: POP
00001678: POP
00001679: POP
0000167a: PUSH1 0x40
0000167c: MLOAD
0000167d: RETURNDATASIZE
0000167e: PUSH1 0x1f
00001680: NOT
00001681: PUSH1 0x1f
00001683: DUP3
00001684: ADD
00001685: AND
00001686: DUP3
00001687: ADD
00001688: DUP1
00001689: PUSH1 0x40
0000168b: MSTORE
0000168c: POP
0000168d: DUP2
0000168e: ADD
0000168f: SWAP1
00001690: PUSH2 0x1699
00001693: SWAP2
00001694: SWAP1
00001695: PUSH2 0x2510
00001698: JUMP
00001699: JUMPDEST
0000169a: SWAP1
0000169b: POP
0000169c: PUSH1 0x00
0000169e: PUSH8 0x0de0b6b3a7640000
000016a7: PUSH4 0x01e13380
000016ac: DUP9
000016ad: PUSH2 0x16b6
000016b0: DUP10
000016b1: DUP9
000016b2: PUSH2 0x285c
000016b5: JUMP
000016b6: JUMPDEST
000016b7: PUSH2 0x16c0
000016ba: SWAP2
000016bb: SWAP1
000016bc: PUSH2 0x285c
000016bf: JUMP
000016c0: JUMPDEST
000016c1: PUSH2 0x16ca
000016c4: SWAP2
000016c5: SWAP1
000016c6: PUSH2 0x2848
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH2 0x16d4
000016ce: SWAP2
000016cf: SWAP1
000016d0: PUSH2 0x2848
000016d3: JUMP
000016d4: JUMPDEST
000016d5: SWAP1
000016d6: POP
000016d7: PUSH2 0x16e0
000016da: DUP2
000016db: DUP8
000016dc: PUSH2 0x2830
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x0a
000016e3: DUP2
000016e4: SWAP1
000016e5: SSTORE
000016e6: PUSH1 0x40
000016e8: MLOAD
000016e9: PUSH4 0xfae7f00d
000016ee: PUSH1 0xe0
000016f0: SHL
000016f1: DUP2
000016f2: MSTORE
000016f3: PUSH1 0x04
000016f5: DUP2
000016f6: ADD
000016f7: DUP7
000016f8: SWAP1
000016f9: MSTORE
000016fa: PUSH1 0x24
000016fc: DUP2
000016fd: ADD
000016fe: DUP8
000016ff: SWAP1
00001700: MSTORE
00001701: PUSH1 0x44
00001703: DUP2
00001704: ADD
00001705: DUP3
00001706: SWAP1
00001707: MSTORE
00001708: PUSH1 0x64
0000170a: DUP2
0000170b: ADD
0000170c: DUP10
0000170d: SWAP1
0000170e: MSTORE
0000170f: SWAP1
00001710: SWAP7
00001711: POP
00001712: PUSH1 0x01
00001714: PUSH1 0x01
00001716: PUSH1 0xa0
00001718: SHL
00001719: SUB
0000171a: DUP4
0000171b: AND
0000171c: SWAP1
0000171d: PUSH4 0xfae7f00d
00001722: SWAP1
00001723: PUSH1 0x84
00001725: ADD
00001726: PUSH1 0x20
00001728: PUSH1 0x40
0000172a: MLOAD
0000172b: DUP1
0000172c: DUP4
0000172d: SUB
0000172e: DUP2
0000172f: DUP7
00001730: DUP1
00001731: EXTCODESIZE
00001732: ISZERO
00001733: DUP1
00001734: ISZERO
00001735: PUSH2 0x173d
00001738: JUMPI
00001739: PUSH1 0x00
0000173b: DUP1
0000173c: REVERT
0000173d: JUMPDEST
0000173e: POP
0000173f: GAS
00001740: STATICCALL
00001741: ISZERO
00001742: DUP1
00001743: ISZERO
00001744: PUSH2 0x1751
00001747: JUMPI
00001748: RETURNDATASIZE
00001749: PUSH1 0x00
0000174b: DUP1
0000174c: RETURNDATACOPY
0000174d: RETURNDATASIZE
0000174e: PUSH1 0x00
00001750: REVERT
00001751: JUMPDEST
00001752: POP
00001753: POP
00001754: POP
00001755: POP
00001756: PUSH1 0x40
00001758: MLOAD
00001759: RETURNDATASIZE
0000175a: PUSH1 0x1f
0000175c: NOT
0000175d: PUSH1 0x1f
0000175f: DUP3
00001760: ADD
00001761: AND
00001762: DUP3
00001763: ADD
00001764: DUP1
00001765: PUSH1 0x40
00001767: MSTORE
00001768: POP
00001769: DUP2
0000176a: ADD
0000176b: SWAP1
0000176c: PUSH2 0x1775
0000176f: SWAP2
00001770: SWAP1
00001771: PUSH2 0x2721
00001774: JUMP
00001775: JUMPDEST
00001776: PUSH1 0x07
00001778: SSTORE
00001779: DUP1
0000177a: ISZERO
0000177b: PUSH2 0x18f6
0000177e: JUMPI
0000177f: PUSH1 0x00
00001781: DUP4
00001782: PUSH1 0x01
00001784: PUSH1 0x01
00001786: PUSH1 0xa0
00001788: SHL
00001789: SUB
0000178a: AND
0000178b: PUSH4 0x58d7bf80
00001790: PUSH1 0x40
00001792: MLOAD
00001793: DUP2
00001794: PUSH4 0xffffffff
00001799: AND
0000179a: PUSH1 0xe0
0000179c: SHL
0000179d: DUP2
0000179e: MSTORE
0000179f: PUSH1 0x04
000017a1: ADD
000017a2: PUSH1 0x20
000017a4: PUSH1 0x40
000017a6: MLOAD
000017a7: DUP1
000017a8: DUP4
000017a9: SUB
000017aa: DUP2
000017ab: DUP7
000017ac: DUP1
000017ad: EXTCODESIZE
000017ae: ISZERO
000017af: DUP1
000017b0: ISZERO
000017b1: PUSH2 0x17b9
000017b4: JUMPI
000017b5: PUSH1 0x00
000017b7: DUP1
000017b8: REVERT
000017b9: JUMPDEST
000017ba: POP
000017bb: GAS
000017bc: STATICCALL
000017bd: ISZERO
000017be: DUP1
000017bf: ISZERO
000017c0: PUSH2 0x17cd
000017c3: JUMPI
000017c4: RETURNDATASIZE
000017c5: PUSH1 0x00
000017c7: DUP1
000017c8: RETURNDATACOPY
000017c9: RETURNDATASIZE
000017ca: PUSH1 0x00
000017cc: REVERT
000017cd: JUMPDEST
000017ce: POP
000017cf: POP
000017d0: POP
000017d1: POP
000017d2: PUSH1 0x40
000017d4: MLOAD
000017d5: RETURNDATASIZE
000017d6: PUSH1 0x1f
000017d8: NOT
000017d9: PUSH1 0x1f
000017db: DUP3
000017dc: ADD
000017dd: AND
000017de: DUP3
000017df: ADD
000017e0: DUP1
000017e1: PUSH1 0x40
000017e3: MSTORE
000017e4: POP
000017e5: DUP2
000017e6: ADD
000017e7: SWAP1
000017e8: PUSH2 0x17f1
000017eb: SWAP2
000017ec: SWAP1
000017ed: PUSH2 0x2721
000017f0: JUMP
000017f1: JUMPDEST
000017f2: SWAP1
000017f3: POP
000017f4: DUP1
000017f5: ISZERO
000017f6: PUSH2 0x18c1
000017f9: JUMPI
000017fa: PUSH1 0x00
000017fc: PUSH8 0x0de0b6b3a7640000
00001805: PUSH2 0x180e
00001808: DUP4
00001809: DUP6
0000180a: PUSH2 0x285c
0000180d: JUMP
0000180e: JUMPDEST
0000180f: PUSH2 0x1818
00001812: SWAP2
00001813: SWAP1
00001814: PUSH2 0x2848
00001817: JUMP
00001818: JUMPDEST
00001819: SWAP1
0000181a: POP
0000181b: PUSH2 0x18bf
0000181e: DUP6
0000181f: PUSH1 0x01
00001821: PUSH1 0x01
00001823: PUSH1 0xa0
00001825: SHL
00001826: SUB
00001827: AND
00001828: PUSH4 0x914870eb
0000182d: PUSH1 0x40
0000182f: MLOAD
00001830: DUP2
00001831: PUSH4 0xffffffff
00001836: AND
00001837: PUSH1 0xe0
00001839: SHL
0000183a: DUP2
0000183b: MSTORE
0000183c: PUSH1 0x04
0000183e: ADD
0000183f: PUSH1 0x20
00001841: PUSH1 0x40
00001843: MLOAD
00001844: DUP1
00001845: DUP4
00001846: SUB
00001847: DUP2
00001848: DUP7
00001849: DUP1
0000184a: EXTCODESIZE
0000184b: ISZERO
0000184c: DUP1
0000184d: ISZERO
0000184e: PUSH2 0x1856
00001851: JUMPI
00001852: PUSH1 0x00
00001854: DUP1
00001855: REVERT
00001856: JUMPDEST
00001857: POP
00001858: GAS
00001859: STATICCALL
0000185a: ISZERO
0000185b: DUP1
0000185c: ISZERO
0000185d: PUSH2 0x186a
00001860: JUMPI
00001861: RETURNDATASIZE
00001862: PUSH1 0x00
00001864: DUP1
00001865: RETURNDATACOPY
00001866: RETURNDATASIZE
00001867: PUSH1 0x00
00001869: REVERT
0000186a: JUMPDEST
0000186b: POP
0000186c: POP
0000186d: POP
0000186e: POP
0000186f: PUSH1 0x40
00001871: MLOAD
00001872: RETURNDATASIZE
00001873: PUSH1 0x1f
00001875: NOT
00001876: PUSH1 0x1f
00001878: DUP3
00001879: ADD
0000187a: AND
0000187b: DUP3
0000187c: ADD
0000187d: DUP1
0000187e: PUSH1 0x40
00001880: MSTORE
00001881: POP
00001882: DUP2
00001883: ADD
00001884: SWAP1
00001885: PUSH2 0x188e
00001888: SWAP2
00001889: SWAP1
0000188a: PUSH2 0x2510
0000188d: JUMP
0000188e: JUMPDEST
0000188f: DUP3
00001890: PUSH2 0x1899
00001893: DUP11
00001894: DUP13
00001895: PUSH2 0x2830
00001898: JUMP
00001899: JUMPDEST
0000189a: PUSH2 0x18a3
0000189d: SWAP2
0000189e: SWAP1
0000189f: PUSH2 0x287b
000018a2: JUMP
000018a3: JUMPDEST
000018a4: PUSH1 0x02
000018a6: SLOAD
000018a7: PUSH2 0x18b0
000018aa: SWAP1
000018ab: DUP6
000018ac: PUSH2 0x285c
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH2 0x18ba
000018b4: SWAP2
000018b5: SWAP1
000018b6: PUSH2 0x2848
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH2 0x1e1c
000018be: JUMP
000018bf: JUMPDEST
000018c0: POP
000018c1: JUMPDEST
000018c2: PUSH1 0x40
000018c4: MLOAD
000018c5: DUP3
000018c6: DUP2
000018c7: MSTORE
000018c8: PUSH32 0x184f65042d0acee3fe9a2216428397968211b66a6f53244a44eb13ae62bc7235
000018e9: SWAP1
000018ea: PUSH1 0x20
000018ec: ADD
000018ed: PUSH1 0x40
000018ef: MLOAD
000018f0: DUP1
000018f1: SWAP2
000018f2: SUB
000018f3: SWAP1
000018f4: LOG1
000018f5: POP
000018f6: JUMPDEST
000018f7: POP
000018f8: POP
000018f9: POP
000018fa: POP
000018fb: POP
000018fc: POP
000018fd: POP
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x60
00001902: PUSH1 0x03
00001904: DUP1
00001905: SLOAD
00001906: PUSH2 0x190e
00001909: SWAP1
0000190a: PUSH2 0x28be
0000190d: JUMP
0000190e: JUMPDEST
0000190f: DUP1
00001910: PUSH1 0x1f
00001912: ADD
00001913: PUSH1 0x20
00001915: DUP1
00001916: SWAP2
00001917: DIV
00001918: MUL
00001919: PUSH1 0x20
0000191b: ADD
0000191c: PUSH1 0x40
0000191e: MLOAD
0000191f: SWAP1
00001920: DUP2
00001921: ADD
00001922: PUSH1 0x40
00001924: MSTORE
00001925: DUP1
00001926: SWAP3
00001927: SWAP2
00001928: SWAP1
00001929: DUP2
0000192a: DUP2
0000192b: MSTORE
0000192c: PUSH1 0x20
0000192e: ADD
0000192f: DUP3
00001930: DUP1
00001931: SLOAD
00001932: PUSH2 0x193a
00001935: SWAP1
00001936: PUSH2 0x28be
00001939: JUMP
0000193a: JUMPDEST
0000193b: DUP1
0000193c: ISZERO
0000193d: PUSH2 0x1987
00001940: JUMPI
00001941: DUP1
00001942: PUSH1 0x1f
00001944: LT
00001945: PUSH2 0x195c
00001948: JUMPI
00001949: PUSH2 0x0100
0000194c: DUP1
0000194d: DUP4
0000194e: SLOAD
0000194f: DIV
00001950: MUL
00001951: DUP4
00001952: MSTORE
00001953: SWAP2
00001954: PUSH1 0x20
00001956: ADD
00001957: SWAP2
00001958: PUSH2 0x1987
0000195b: JUMP
0000195c: JUMPDEST
0000195d: DUP3
0000195e: ADD
0000195f: SWAP2
00001960: SWAP1
00001961: PUSH1 0x00
00001963: MSTORE
00001964: PUSH1 0x20
00001966: PUSH1 0x00
00001968: KECCAK256
00001969: SWAP1
0000196a: JUMPDEST
0000196b: DUP2
0000196c: SLOAD
0000196d: DUP2
0000196e: MSTORE
0000196f: SWAP1
00001970: PUSH1 0x01
00001972: ADD
00001973: SWAP1
00001974: PUSH1 0x20
00001976: ADD
00001977: DUP1
00001978: DUP4
00001979: GT
0000197a: PUSH2 0x196a
0000197d: JUMPI
0000197e: DUP3
0000197f: SWAP1
00001980: SUB
00001981: PUSH1 0x1f
00001983: AND
00001984: DUP3
00001985: ADD
00001986: SWAP2
00001987: JUMPDEST
00001988: POP
00001989: POP
0000198a: POP
0000198b: POP
0000198c: POP
0000198d: SWAP1
0000198e: POP
0000198f: SWAP1
00001990: JUMP
00001991: JUMPDEST
00001992: PUSH1 0x01
00001994: PUSH1 0x01
00001996: PUSH1 0xa0
00001998: SHL
00001999: SUB
0000199a: DUP4
0000199b: AND
0000199c: PUSH2 0x19f3
0000199f: JUMPI
000019a0: PUSH1 0x40
000019a2: MLOAD
000019a3: PUSH3 0x461bcd
000019a7: PUSH1 0xe5
000019a9: SHL
000019aa: DUP2
000019ab: MSTORE
000019ac: PUSH1 0x20
000019ae: PUSH1 0x04
000019b0: DUP3
000019b1: ADD
000019b2: MSTORE
000019b3: PUSH1 0x24
000019b5: DUP1
000019b6: DUP3
000019b7: ADD
000019b8: MSTORE
000019b9: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000019da: PUSH1 0x44
000019dc: DUP3
000019dd: ADD
000019de: MSTORE
000019df: PUSH4 0x72657373
000019e4: PUSH1 0xe0
000019e6: SHL
000019e7: PUSH1 0x64
000019e9: DUP3
000019ea: ADD
000019eb: MSTORE
000019ec: PUSH1 0x84
000019ee: ADD
000019ef: PUSH2 0x056f
000019f2: JUMP
000019f3: JUMPDEST
000019f4: PUSH1 0x01
000019f6: PUSH1 0x01
000019f8: PUSH1 0xa0
000019fa: SHL
000019fb: SUB
000019fc: DUP3
000019fd: AND
000019fe: PUSH2 0x1a54
00001a01: JUMPI
00001a02: PUSH1 0x40
00001a04: MLOAD
00001a05: PUSH3 0x461bcd
00001a09: PUSH1 0xe5
00001a0b: SHL
00001a0c: DUP2
00001a0d: MSTORE
00001a0e: PUSH1 0x20
00001a10: PUSH1 0x04
00001a12: DUP3
00001a13: ADD
00001a14: MSTORE
00001a15: PUSH1 0x22
00001a17: PUSH1 0x24
00001a19: DUP3
00001a1a: ADD
00001a1b: MSTORE
00001a1c: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001a3d: PUSH1 0x44
00001a3f: DUP3
00001a40: ADD
00001a41: MSTORE
00001a42: PUSH2 0x7373
00001a45: PUSH1 0xf0
00001a47: SHL
00001a48: PUSH1 0x64
00001a4a: DUP3
00001a4b: ADD
00001a4c: MSTORE
00001a4d: PUSH1 0x84
00001a4f: ADD
00001a50: PUSH2 0x056f
00001a53: JUMP
00001a54: JUMPDEST
00001a55: PUSH1 0x01
00001a57: PUSH1 0x01
00001a59: PUSH1 0xa0
00001a5b: SHL
00001a5c: SUB
00001a5d: DUP4
00001a5e: DUP2
00001a5f: AND
00001a60: PUSH1 0x00
00001a62: DUP2
00001a63: DUP2
00001a64: MSTORE
00001a65: PUSH1 0x01
00001a67: PUSH1 0x20
00001a69: SWAP1
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: PUSH1 0x40
00001a6e: DUP1
00001a6f: DUP4
00001a70: KECCAK256
00001a71: SWAP5
00001a72: DUP8
00001a73: AND
00001a74: DUP1
00001a75: DUP5
00001a76: MSTORE
00001a77: SWAP5
00001a78: DUP3
00001a79: MSTORE
00001a7a: SWAP2
00001a7b: DUP3
00001a7c: SWAP1
00001a7d: KECCAK256
00001a7e: DUP6
00001a7f: SWAP1
00001a80: SSTORE
00001a81: SWAP1
00001a82: MLOAD
00001a83: DUP5
00001a84: DUP2
00001a85: MSTORE
00001a86: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001aa7: SWAP2
00001aa8: ADD
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: DUP1
00001aad: SWAP2
00001aae: SUB
00001aaf: SWAP1
00001ab0: LOG3
00001ab1: POP
00001ab2: POP
00001ab3: POP
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: PUSH1 0x01
00001abb: PUSH1 0x01
00001abd: PUSH1 0xa0
00001abf: SHL
00001ac0: SUB
00001ac1: DUP4
00001ac2: AND
00001ac3: PUSH1 0x24
00001ac5: DUP3
00001ac6: ADD
00001ac7: MSTORE
00001ac8: PUSH1 0x44
00001aca: DUP2
00001acb: ADD
00001acc: DUP3
00001acd: SWAP1
00001ace: MSTORE
00001acf: PUSH2 0x1b18
00001ad2: SWAP1
00001ad3: DUP5
00001ad4: SWAP1
00001ad5: PUSH4 0xa9059cbb
00001ada: PUSH1 0xe0
00001adc: SHL
00001add: SWAP1
00001ade: PUSH1 0x64
00001ae0: ADD
00001ae1: JUMPDEST
00001ae2: PUSH1 0x40
00001ae4: DUP1
00001ae5: MLOAD
00001ae6: PUSH1 0x1f
00001ae8: NOT
00001ae9: DUP2
00001aea: DUP5
00001aeb: SUB
00001aec: ADD
00001aed: DUP2
00001aee: MSTORE
00001aef: SWAP2
00001af0: SWAP1
00001af1: MSTORE
00001af2: PUSH1 0x20
00001af4: DUP2
00001af5: ADD
00001af6: DUP1
00001af7: MLOAD
00001af8: PUSH1 0x01
00001afa: PUSH1 0x01
00001afc: PUSH1 0xe0
00001afe: SHL
00001aff: SUB
00001b00: AND
00001b01: PUSH1 0x01
00001b03: PUSH1 0x01
00001b05: PUSH1 0xe0
00001b07: SHL
00001b08: SUB
00001b09: NOT
00001b0a: SWAP1
00001b0b: SWAP4
00001b0c: AND
00001b0d: SWAP3
00001b0e: SWAP1
00001b0f: SWAP3
00001b10: OR
00001b11: SWAP1
00001b12: SWAP2
00001b13: MSTORE
00001b14: PUSH2 0x22a9
00001b17: JUMP
00001b18: JUMPDEST
00001b19: POP
00001b1a: POP
00001b1b: POP
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x40
00001b20: MLOAD
00001b21: PUSH1 0x01
00001b23: PUSH1 0x01
00001b25: PUSH1 0xa0
00001b27: SHL
00001b28: SUB
00001b29: DUP1
00001b2a: DUP6
00001b2b: AND
00001b2c: PUSH1 0x24
00001b2e: DUP4
00001b2f: ADD
00001b30: MSTORE
00001b31: DUP4
00001b32: AND
00001b33: PUSH1 0x44
00001b35: DUP3
00001b36: ADD
00001b37: MSTORE
00001b38: PUSH1 0x64
00001b3a: DUP2
00001b3b: ADD
00001b3c: DUP3
00001b3d: SWAP1
00001b3e: MSTORE
00001b3f: PUSH2 0x1b55
00001b42: SWAP1
00001b43: DUP6
00001b44: SWAP1
00001b45: PUSH4 0x23b872dd
00001b4a: PUSH1 0xe0
00001b4c: SHL
00001b4d: SWAP1
00001b4e: PUSH1 0x84
00001b50: ADD
00001b51: PUSH2 0x1ae1
00001b54: JUMP
00001b55: JUMPDEST
00001b56: POP
00001b57: POP
00001b58: POP
00001b59: POP
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: PUSH1 0x01
00001b5e: PUSH1 0x01
00001b60: PUSH1 0xa0
00001b62: SHL
00001b63: SUB
00001b64: DUP4
00001b65: AND
00001b66: PUSH2 0x1bbf
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 0x25
00001b7f: PUSH1 0x24
00001b81: DUP3
00001b82: ADD
00001b83: MSTORE
00001b84: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001ba5: PUSH1 0x44
00001ba7: DUP3
00001ba8: ADD
00001ba9: MSTORE
00001baa: PUSH5 0x6472657373
00001bb0: PUSH1 0xd8
00001bb2: SHL
00001bb3: PUSH1 0x64
00001bb5: DUP3
00001bb6: ADD
00001bb7: MSTORE
00001bb8: PUSH1 0x84
00001bba: ADD
00001bbb: PUSH2 0x056f
00001bbe: JUMP
00001bbf: JUMPDEST
00001bc0: PUSH1 0x01
00001bc2: PUSH1 0x01
00001bc4: PUSH1 0xa0
00001bc6: SHL
00001bc7: SUB
00001bc8: DUP3
00001bc9: AND
00001bca: PUSH2 0x1c21
00001bcd: JUMPI
00001bce: PUSH1 0x40
00001bd0: MLOAD
00001bd1: PUSH3 0x461bcd
00001bd5: PUSH1 0xe5
00001bd7: SHL
00001bd8: DUP2
00001bd9: MSTORE
00001bda: PUSH1 0x20
00001bdc: PUSH1 0x04
00001bde: DUP3
00001bdf: ADD
00001be0: MSTORE
00001be1: PUSH1 0x23
00001be3: PUSH1 0x24
00001be5: DUP3
00001be6: ADD
00001be7: MSTORE
00001be8: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001c09: PUSH1 0x44
00001c0b: DUP3
00001c0c: ADD
00001c0d: MSTORE
00001c0e: PUSH3 0x657373
00001c12: PUSH1 0xe8
00001c14: SHL
00001c15: PUSH1 0x64
00001c17: DUP3
00001c18: ADD
00001c19: MSTORE
00001c1a: PUSH1 0x84
00001c1c: ADD
00001c1d: PUSH2 0x056f
00001c20: JUMP
00001c21: JUMPDEST
00001c22: PUSH1 0x01
00001c24: PUSH1 0x01
00001c26: PUSH1 0xa0
00001c28: SHL
00001c29: SUB
00001c2a: DUP4
00001c2b: AND
00001c2c: PUSH1 0x00
00001c2e: SWAP1
00001c2f: DUP2
00001c30: MSTORE
00001c31: PUSH1 0x20
00001c33: DUP2
00001c34: SWAP1
00001c35: MSTORE
00001c36: PUSH1 0x40
00001c38: SWAP1
00001c39: KECCAK256
00001c3a: SLOAD
00001c3b: DUP2
00001c3c: DUP2
00001c3d: LT
00001c3e: ISZERO
00001c3f: PUSH2 0x1c99
00001c42: JUMPI
00001c43: PUSH1 0x40
00001c45: MLOAD
00001c46: PUSH3 0x461bcd
00001c4a: PUSH1 0xe5
00001c4c: SHL
00001c4d: DUP2
00001c4e: MSTORE
00001c4f: PUSH1 0x20
00001c51: PUSH1 0x04
00001c53: DUP3
00001c54: ADD
00001c55: MSTORE
00001c56: PUSH1 0x26
00001c58: PUSH1 0x24
00001c5a: DUP3
00001c5b: ADD
00001c5c: MSTORE
00001c5d: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
00001c7e: PUSH1 0x44
00001c80: DUP3
00001c81: ADD
00001c82: MSTORE
00001c83: PUSH6 0x616c616e6365
00001c8a: PUSH1 0xd0
00001c8c: SHL
00001c8d: PUSH1 0x64
00001c8f: DUP3
00001c90: ADD
00001c91: MSTORE
00001c92: PUSH1 0x84
00001c94: ADD
00001c95: PUSH2 0x056f
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x01
00001c9c: PUSH1 0x01
00001c9e: PUSH1 0xa0
00001ca0: SHL
00001ca1: SUB
00001ca2: DUP1
00001ca3: DUP6
00001ca4: AND
00001ca5: PUSH1 0x00
00001ca7: SWAP1
00001ca8: DUP2
00001ca9: MSTORE
00001caa: PUSH1 0x20
00001cac: DUP2
00001cad: SWAP1
00001cae: MSTORE
00001caf: PUSH1 0x40
00001cb1: DUP1
00001cb2: DUP3
00001cb3: KECCAK256
00001cb4: DUP6
00001cb5: DUP6
00001cb6: SUB
00001cb7: SWAP1
00001cb8: SSTORE
00001cb9: SWAP2
00001cba: DUP6
00001cbb: AND
00001cbc: DUP2
00001cbd: MSTORE
00001cbe: SWAP1
00001cbf: DUP2
00001cc0: KECCAK256
00001cc1: DUP1
00001cc2: SLOAD
00001cc3: DUP5
00001cc4: SWAP3
00001cc5: SWAP1
00001cc6: PUSH2 0x1cd0
00001cc9: SWAP1
00001cca: DUP5
00001ccb: SWAP1
00001ccc: PUSH2 0x2830
00001ccf: JUMP
00001cd0: JUMPDEST
00001cd1: SWAP3
00001cd2: POP
00001cd3: POP
00001cd4: DUP2
00001cd5: SWAP1
00001cd6: SSTORE
00001cd7: POP
00001cd8: DUP3
00001cd9: PUSH1 0x01
00001cdb: PUSH1 0x01
00001cdd: PUSH1 0xa0
00001cdf: SHL
00001ce0: SUB
00001ce1: AND
00001ce2: DUP5
00001ce3: PUSH1 0x01
00001ce5: PUSH1 0x01
00001ce7: PUSH1 0xa0
00001ce9: SHL
00001cea: SUB
00001ceb: AND
00001cec: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001d0d: DUP5
00001d0e: PUSH1 0x40
00001d10: MLOAD
00001d11: PUSH2 0x1d1c
00001d14: SWAP2
00001d15: DUP2
00001d16: MSTORE
00001d17: PUSH1 0x20
00001d19: ADD
00001d1a: SWAP1
00001d1b: JUMP
00001d1c: JUMPDEST
00001d1d: PUSH1 0x40
00001d1f: MLOAD
00001d20: DUP1
00001d21: SWAP2
00001d22: SUB
00001d23: SWAP1
00001d24: LOG3
00001d25: PUSH2 0x1b55
00001d28: JUMP
00001d29: JUMPDEST
00001d2a: PUSH1 0x00
00001d2c: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00001d4d: CHAINID
00001d4e: EQ
00001d4f: ISZERO
00001d50: PUSH2 0x1d78
00001d53: JUMPI
00001d54: POP
00001d55: PUSH32 0x575d60bb2d45c4fbccbe3717f80cf1d464eaf51870d72b7a4645faab526396c2
00001d76: SWAP1
00001d77: JUMP
00001d78: JUMPDEST
00001d79: POP
00001d7a: PUSH1 0x40
00001d7c: DUP1
00001d7d: MLOAD
00001d7e: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00001d9f: PUSH1 0x20
00001da1: DUP1
00001da2: DUP4
00001da3: ADD
00001da4: SWAP2
00001da5: SWAP1
00001da6: SWAP2
00001da7: MSTORE
00001da8: PUSH32 0xf298fc33cba3cfdbf2454e2f19b4a97c9207157f8eeee7439da2c9ce4b540bbb
00001dc9: DUP3
00001dca: DUP5
00001dcb: ADD
00001dcc: MSTORE
00001dcd: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00001dee: PUSH1 0x60
00001df0: DUP4
00001df1: ADD
00001df2: MSTORE
00001df3: CHAINID
00001df4: PUSH1 0x80
00001df6: DUP4
00001df7: ADD
00001df8: MSTORE
00001df9: ADDRESS
00001dfa: PUSH1 0xa0
00001dfc: DUP1
00001dfd: DUP5
00001dfe: ADD
00001dff: SWAP2
00001e00: SWAP1
00001e01: SWAP2
00001e02: MSTORE
00001e03: DUP4
00001e04: MLOAD
00001e05: DUP1
00001e06: DUP5
00001e07: SUB
00001e08: SWAP1
00001e09: SWAP2
00001e0a: ADD
00001e0b: DUP2
00001e0c: MSTORE
00001e0d: PUSH1 0xc0
00001e0f: SWAP1
00001e10: SWAP3
00001e11: ADD
00001e12: SWAP1
00001e13: SWAP3
00001e14: MSTORE
00001e15: DUP1
00001e16: MLOAD
00001e17: SWAP2
00001e18: ADD
00001e19: KECCAK256
00001e1a: SWAP1
00001e1b: JUMP
00001e1c: JUMPDEST
00001e1d: PUSH1 0x01
00001e1f: PUSH1 0x01
00001e21: PUSH1 0xa0
00001e23: SHL
00001e24: SUB
00001e25: DUP3
00001e26: AND
00001e27: PUSH2 0x1e72
00001e2a: JUMPI
00001e2b: PUSH1 0x40
00001e2d: MLOAD
00001e2e: PUSH3 0x461bcd
00001e32: PUSH1 0xe5
00001e34: SHL
00001e35: DUP2
00001e36: MSTORE
00001e37: PUSH1 0x20
00001e39: PUSH1 0x04
00001e3b: DUP3
00001e3c: ADD
00001e3d: MSTORE
00001e3e: PUSH1 0x1f
00001e40: PUSH1 0x24
00001e42: DUP3
00001e43: ADD
00001e44: MSTORE
00001e45: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001e66: PUSH1 0x44
00001e68: DUP3
00001e69: ADD
00001e6a: MSTORE
00001e6b: PUSH1 0x64
00001e6d: ADD
00001e6e: PUSH2 0x056f
00001e71: JUMP
00001e72: JUMPDEST
00001e73: DUP1
00001e74: PUSH1 0x02
00001e76: PUSH1 0x00
00001e78: DUP3
00001e79: DUP3
00001e7a: SLOAD
00001e7b: PUSH2 0x1e84
00001e7e: SWAP2
00001e7f: SWAP1
00001e80: PUSH2 0x2830
00001e83: JUMP
00001e84: JUMPDEST
00001e85: SWAP1
00001e86: SWAP2
00001e87: SSTORE
00001e88: POP
00001e89: POP
00001e8a: PUSH1 0x01
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0xa0
00001e90: SHL
00001e91: SUB
00001e92: DUP3
00001e93: AND
00001e94: PUSH1 0x00
00001e96: SWAP1
00001e97: DUP2
00001e98: MSTORE
00001e99: PUSH1 0x20
00001e9b: DUP2
00001e9c: SWAP1
00001e9d: MSTORE
00001e9e: PUSH1 0x40
00001ea0: DUP2
00001ea1: KECCAK256
00001ea2: DUP1
00001ea3: SLOAD
00001ea4: DUP4
00001ea5: SWAP3
00001ea6: SWAP1
00001ea7: PUSH2 0x1eb1
00001eaa: SWAP1
00001eab: DUP5
00001eac: SWAP1
00001ead: PUSH2 0x2830
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: SWAP1
00001eb3: SWAP2
00001eb4: SSTORE
00001eb5: POP
00001eb6: POP
00001eb7: PUSH1 0x40
00001eb9: MLOAD
00001eba: DUP2
00001ebb: DUP2
00001ebc: MSTORE
00001ebd: PUSH1 0x01
00001ebf: PUSH1 0x01
00001ec1: PUSH1 0xa0
00001ec3: SHL
00001ec4: SUB
00001ec5: DUP4
00001ec6: AND
00001ec7: SWAP1
00001ec8: PUSH1 0x00
00001eca: SWAP1
00001ecb: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001eec: SWAP1
00001eed: PUSH1 0x20
00001eef: ADD
00001ef0: PUSH1 0x40
00001ef2: MLOAD
00001ef3: DUP1
00001ef4: SWAP2
00001ef5: SUB
00001ef6: SWAP1
00001ef7: LOG3
00001ef8: POP
00001ef9: POP
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x00
00001efe: PUSH2 0x1f07
00001f01: DUP3
00001f02: DUP5
00001f03: PUSH2 0x28f3
00001f06: JUMP
00001f07: JUMPDEST
00001f08: ISZERO
00001f09: PUSH2 0x1f13
00001f0c: JUMPI
00001f0d: PUSH1 0x01
00001f0f: PUSH2 0x1f16
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: JUMPDEST
00001f17: PUSH1 0xff
00001f19: AND
00001f1a: PUSH2 0x1f23
00001f1d: DUP4
00001f1e: DUP6
00001f1f: PUSH2 0x2848
00001f22: JUMP
00001f23: JUMPDEST
00001f24: PUSH2 0x0a5f
00001f27: SWAP2
00001f28: SWAP1
00001f29: PUSH2 0x2830
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: PUSH1 0x60
00001f30: PUSH1 0x04
00001f32: DUP1
00001f33: SLOAD
00001f34: PUSH2 0x190e
00001f37: SWAP1
00001f38: PUSH2 0x28be
00001f3b: JUMP
00001f3c: JUMPDEST
00001f3d: PUSH1 0x01
00001f3f: PUSH1 0x01
00001f41: PUSH1 0xa0
00001f43: SHL
00001f44: SUB
00001f45: DUP3
00001f46: AND
00001f47: PUSH2 0x1f9c
00001f4a: JUMPI
00001f4b: PUSH1 0x40
00001f4d: MLOAD
00001f4e: PUSH3 0x461bcd
00001f52: PUSH1 0xe5
00001f54: SHL
00001f55: DUP2
00001f56: MSTORE
00001f57: PUSH1 0x20
00001f59: PUSH1 0x04
00001f5b: DUP3
00001f5c: ADD
00001f5d: MSTORE
00001f5e: PUSH1 0x21
00001f60: PUSH1 0x24
00001f62: DUP3
00001f63: ADD
00001f64: MSTORE
00001f65: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00001f86: PUSH1 0x44
00001f88: DUP3
00001f89: ADD
00001f8a: MSTORE
00001f8b: PUSH1 0x73
00001f8d: PUSH1 0xf8
00001f8f: SHL
00001f90: PUSH1 0x64
00001f92: DUP3
00001f93: ADD
00001f94: MSTORE
00001f95: PUSH1 0x84
00001f97: ADD
00001f98: PUSH2 0x056f
00001f9b: JUMP
00001f9c: JUMPDEST
00001f9d: PUSH1 0x01
00001f9f: PUSH1 0x01
00001fa1: PUSH1 0xa0
00001fa3: SHL
00001fa4: SUB
00001fa5: DUP3
00001fa6: AND
00001fa7: PUSH1 0x00
00001fa9: SWAP1
00001faa: DUP2
00001fab: MSTORE
00001fac: PUSH1 0x20
00001fae: DUP2
00001faf: SWAP1
00001fb0: MSTORE
00001fb1: PUSH1 0x40
00001fb3: SWAP1
00001fb4: KECCAK256
00001fb5: SLOAD
00001fb6: DUP2
00001fb7: DUP2
00001fb8: LT
00001fb9: ISZERO
00001fba: PUSH2 0x2010
00001fbd: JUMPI
00001fbe: PUSH1 0x40
00001fc0: MLOAD
00001fc1: PUSH3 0x461bcd
00001fc5: PUSH1 0xe5
00001fc7: SHL
00001fc8: DUP2
00001fc9: MSTORE
00001fca: PUSH1 0x20
00001fcc: PUSH1 0x04
00001fce: DUP3
00001fcf: ADD
00001fd0: MSTORE
00001fd1: PUSH1 0x22
00001fd3: PUSH1 0x24
00001fd5: DUP3
00001fd6: ADD
00001fd7: MSTORE
00001fd8: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00001ff9: PUSH1 0x44
00001ffb: DUP3
00001ffc: ADD
00001ffd: MSTORE
00001ffe: PUSH2 0x6365
00002001: PUSH1 0xf0
00002003: SHL
00002004: PUSH1 0x64
00002006: DUP3
00002007: ADD
00002008: MSTORE
00002009: PUSH1 0x84
0000200b: ADD
0000200c: PUSH2 0x056f
0000200f: JUMP
00002010: JUMPDEST
00002011: PUSH1 0x01
00002013: PUSH1 0x01
00002015: PUSH1 0xa0
00002017: SHL
00002018: SUB
00002019: DUP4
0000201a: AND
0000201b: PUSH1 0x00
0000201d: SWAP1
0000201e: DUP2
0000201f: MSTORE
00002020: PUSH1 0x20
00002022: DUP2
00002023: SWAP1
00002024: MSTORE
00002025: PUSH1 0x40
00002027: DUP2
00002028: KECCAK256
00002029: DUP4
0000202a: DUP4
0000202b: SUB
0000202c: SWAP1
0000202d: SSTORE
0000202e: PUSH1 0x02
00002030: DUP1
00002031: SLOAD
00002032: DUP5
00002033: SWAP3
00002034: SWAP1
00002035: PUSH2 0x203f
00002038: SWAP1
00002039: DUP5
0000203a: SWAP1
0000203b: PUSH2 0x287b
0000203e: JUMP
0000203f: JUMPDEST
00002040: SWAP1
00002041: SWAP2
00002042: SSTORE
00002043: POP
00002044: POP
00002045: PUSH1 0x40
00002047: MLOAD
00002048: DUP3
00002049: DUP2
0000204a: MSTORE
0000204b: PUSH1 0x00
0000204d: SWAP1
0000204e: PUSH1 0x01
00002050: PUSH1 0x01
00002052: PUSH1 0xa0
00002054: SHL
00002055: SUB
00002056: DUP6
00002057: AND
00002058: SWAP1
00002059: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000207a: SWAP1
0000207b: PUSH1 0x20
0000207d: ADD
0000207e: PUSH1 0x40
00002080: MLOAD
00002081: DUP1
00002082: SWAP2
00002083: SUB
00002084: SWAP1
00002085: LOG3
00002086: POP
00002087: POP
00002088: POP
00002089: JUMP
0000208a: JUMPDEST
0000208b: PUSH1 0x01
0000208d: PUSH1 0x01
0000208f: PUSH1 0xa0
00002091: SHL
00002092: SUB
00002093: DUP2
00002094: AND
00002095: PUSH1 0x00
00002097: SWAP1
00002098: DUP2
00002099: MSTORE
0000209a: PUSH1 0x05
0000209c: PUSH1 0x20
0000209e: MSTORE
0000209f: PUSH1 0x40
000020a1: SWAP1
000020a2: KECCAK256
000020a3: DUP1
000020a4: SLOAD
000020a5: PUSH1 0x01
000020a7: DUP2
000020a8: ADD
000020a9: DUP3
000020aa: SSTORE
000020ab: SWAP1
000020ac: JUMPDEST
000020ad: POP
000020ae: SWAP2
000020af: SWAP1
000020b0: POP
000020b1: JUMP
000020b2: JUMPDEST
000020b3: PUSH1 0x00
000020b5: PUSH2 0x1005
000020b8: PUSH2 0x20bf
000020bb: PUSH2 0x1d29
000020be: JUMP
000020bf: JUMPDEST
000020c0: DUP4
000020c1: PUSH1 0x40
000020c3: MLOAD
000020c4: PUSH2 0x1901
000020c7: PUSH1 0xf0
000020c9: SHL
000020ca: PUSH1 0x20
000020cc: DUP3
000020cd: ADD
000020ce: MSTORE
000020cf: PUSH1 0x22
000020d1: DUP2
000020d2: ADD
000020d3: DUP4
000020d4: SWAP1
000020d5: MSTORE
000020d6: PUSH1 0x42
000020d8: DUP2
000020d9: ADD
000020da: DUP3
000020db: SWAP1
000020dc: MSTORE
000020dd: PUSH1 0x00
000020df: SWAP1
000020e0: PUSH1 0x62
000020e2: ADD
000020e3: PUSH1 0x40
000020e5: MLOAD
000020e6: PUSH1 0x20
000020e8: DUP2
000020e9: DUP4
000020ea: SUB
000020eb: SUB
000020ec: DUP2
000020ed: MSTORE
000020ee: SWAP1
000020ef: PUSH1 0x40
000020f1: MSTORE
000020f2: DUP1
000020f3: MLOAD
000020f4: SWAP1
000020f5: PUSH1 0x20
000020f7: ADD
000020f8: KECCAK256
000020f9: SWAP1
000020fa: POP
000020fb: SWAP3
000020fc: SWAP2
000020fd: POP
000020fe: POP
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH1 0x00
00002103: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
00002124: DUP3
00002125: GT
00002126: ISZERO
00002127: PUSH2 0x217d
0000212a: JUMPI
0000212b: PUSH1 0x40
0000212d: MLOAD
0000212e: PUSH3 0x461bcd
00002132: PUSH1 0xe5
00002134: SHL
00002135: DUP2
00002136: MSTORE
00002137: PUSH1 0x20
00002139: PUSH1 0x04
0000213b: DUP3
0000213c: ADD
0000213d: MSTORE
0000213e: PUSH1 0x22
00002140: PUSH1 0x24
00002142: DUP3
00002143: ADD
00002144: MSTORE
00002145: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
00002166: PUSH1 0x44
00002168: DUP3
00002169: ADD
0000216a: MSTORE
0000216b: PUSH2 0x7565
0000216e: PUSH1 0xf0
00002170: SHL
00002171: PUSH1 0x64
00002173: DUP3
00002174: ADD
00002175: MSTORE
00002176: PUSH1 0x84
00002178: ADD
00002179: PUSH2 0x056f
0000217c: JUMP
0000217d: JUMPDEST
0000217e: DUP4
0000217f: PUSH1 0xff
00002181: AND
00002182: PUSH1 0x1b
00002184: EQ
00002185: DUP1
00002186: PUSH2 0x2192
00002189: JUMPI
0000218a: POP
0000218b: DUP4
0000218c: PUSH1 0xff
0000218e: AND
0000218f: PUSH1 0x1c
00002191: EQ
00002192: JUMPDEST
00002193: PUSH2 0x21e9
00002196: JUMPI
00002197: PUSH1 0x40
00002199: MLOAD
0000219a: PUSH3 0x461bcd
0000219e: PUSH1 0xe5
000021a0: SHL
000021a1: DUP2
000021a2: MSTORE
000021a3: PUSH1 0x20
000021a5: PUSH1 0x04
000021a7: DUP3
000021a8: ADD
000021a9: MSTORE
000021aa: PUSH1 0x22
000021ac: PUSH1 0x24
000021ae: DUP3
000021af: ADD
000021b0: MSTORE
000021b1: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c
000021d2: PUSH1 0x44
000021d4: DUP3
000021d5: ADD
000021d6: MSTORE
000021d7: PUSH2 0x7565
000021da: PUSH1 0xf0
000021dc: SHL
000021dd: PUSH1 0x64
000021df: DUP3
000021e0: ADD
000021e1: MSTORE
000021e2: PUSH1 0x84
000021e4: ADD
000021e5: PUSH2 0x056f
000021e8: JUMP
000021e9: JUMPDEST
000021ea: PUSH1 0x40
000021ec: DUP1
000021ed: MLOAD
000021ee: PUSH1 0x00
000021f0: DUP1
000021f1: DUP3
000021f2: MSTORE
000021f3: PUSH1 0x20
000021f5: DUP3
000021f6: ADD
000021f7: DUP1
000021f8: DUP5
000021f9: MSTORE
000021fa: DUP9
000021fb: SWAP1
000021fc: MSTORE
000021fd: PUSH1 0xff
000021ff: DUP8
00002200: AND
00002201: SWAP3
00002202: DUP3
00002203: ADD
00002204: SWAP3
00002205: SWAP1
00002206: SWAP3
00002207: MSTORE
00002208: PUSH1 0x60
0000220a: DUP2
0000220b: ADD
0000220c: DUP6
0000220d: SWAP1
0000220e: MSTORE
0000220f: PUSH1 0x80
00002211: DUP2
00002212: ADD
00002213: DUP5
00002214: SWAP1
00002215: MSTORE
00002216: PUSH1 0x01
00002218: SWAP1
00002219: PUSH1 0xa0
0000221b: ADD
0000221c: PUSH1 0x20
0000221e: PUSH1 0x40
00002220: MLOAD
00002221: PUSH1 0x20
00002223: DUP2
00002224: SUB
00002225: SWAP1
00002226: DUP1
00002227: DUP5
00002228: SUB
00002229: SWAP1
0000222a: DUP6
0000222b: GAS
0000222c: STATICCALL
0000222d: ISZERO
0000222e: DUP1
0000222f: ISZERO
00002230: PUSH2 0x223d
00002233: JUMPI
00002234: RETURNDATASIZE
00002235: PUSH1 0x00
00002237: DUP1
00002238: RETURNDATACOPY
00002239: RETURNDATASIZE
0000223a: PUSH1 0x00
0000223c: REVERT
0000223d: JUMPDEST
0000223e: POP
0000223f: POP
00002240: PUSH1 0x40
00002242: MLOAD
00002243: PUSH1 0x1f
00002245: NOT
00002246: ADD
00002247: MLOAD
00002248: SWAP2
00002249: POP
0000224a: POP
0000224b: PUSH1 0x01
0000224d: PUSH1 0x01
0000224f: PUSH1 0xa0
00002251: SHL
00002252: SUB
00002253: DUP2
00002254: AND
00002255: PUSH2 0x22a0
00002258: JUMPI
00002259: PUSH1 0x40
0000225b: MLOAD
0000225c: PUSH3 0x461bcd
00002260: PUSH1 0xe5
00002262: SHL
00002263: DUP2
00002264: MSTORE
00002265: PUSH1 0x20
00002267: PUSH1 0x04
00002269: DUP3
0000226a: ADD
0000226b: MSTORE
0000226c: PUSH1 0x18
0000226e: PUSH1 0x24
00002270: DUP3
00002271: ADD
00002272: MSTORE
00002273: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000
00002294: PUSH1 0x44
00002296: DUP3
00002297: ADD
00002298: MSTORE
00002299: PUSH1 0x64
0000229b: ADD
0000229c: PUSH2 0x056f
0000229f: JUMP
000022a0: JUMPDEST
000022a1: SWAP6
000022a2: SWAP5
000022a3: POP
000022a4: POP
000022a5: POP
000022a6: POP
000022a7: POP
000022a8: JUMP
000022a9: JUMPDEST
000022aa: PUSH1 0x00
000022ac: PUSH2 0x22fe
000022af: DUP3
000022b0: PUSH1 0x40
000022b2: MLOAD
000022b3: DUP1
000022b4: PUSH1 0x40
000022b6: ADD
000022b7: PUSH1 0x40
000022b9: MSTORE
000022ba: DUP1
000022bb: PUSH1 0x20
000022bd: DUP2
000022be: MSTORE
000022bf: PUSH1 0x20
000022c1: ADD
000022c2: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000022e3: DUP2
000022e4: MSTORE
000022e5: POP
000022e6: DUP6
000022e7: PUSH1 0x01
000022e9: PUSH1 0x01
000022eb: PUSH1 0xa0
000022ed: SHL
000022ee: SUB
000022ef: AND
000022f0: PUSH2 0x237b
000022f3: SWAP1
000022f4: SWAP3
000022f5: SWAP2
000022f6: SWAP1
000022f7: PUSH4 0xffffffff
000022fc: AND
000022fd: JUMP
000022fe: JUMPDEST
000022ff: DUP1
00002300: MLOAD
00002301: SWAP1
00002302: SWAP2
00002303: POP
00002304: ISZERO
00002305: PUSH2 0x1b18
00002308: JUMPI
00002309: DUP1
0000230a: DUP1
0000230b: PUSH1 0x20
0000230d: ADD
0000230e: SWAP1
0000230f: MLOAD
00002310: DUP2
00002311: ADD
00002312: SWAP1
00002313: PUSH2 0x231c
00002316: SWAP2
00002317: SWAP1
00002318: PUSH2 0x2644
0000231b: JUMP
0000231c: JUMPDEST
0000231d: PUSH2 0x1b18
00002320: JUMPI
00002321: PUSH1 0x40
00002323: MLOAD
00002324: PUSH3 0x461bcd
00002328: PUSH1 0xe5
0000232a: SHL
0000232b: DUP2
0000232c: MSTORE
0000232d: PUSH1 0x20
0000232f: PUSH1 0x04
00002331: DUP3
00002332: ADD
00002333: MSTORE
00002334: PUSH1 0x2a
00002336: PUSH1 0x24
00002338: DUP3
00002339: ADD
0000233a: MSTORE
0000233b: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000235c: PUSH1 0x44
0000235e: DUP3
0000235f: ADD
00002360: MSTORE
00002361: PUSH10 0x1bdd081cdd58d8d95959
0000236c: PUSH1 0xb2
0000236e: SHL
0000236f: PUSH1 0x64
00002371: DUP3
00002372: ADD
00002373: MSTORE
00002374: PUSH1 0x84
00002376: ADD
00002377: PUSH2 0x056f
0000237a: JUMP
0000237b: JUMPDEST
0000237c: PUSH1 0x60
0000237e: PUSH2 0x238a
00002381: DUP5
00002382: DUP5
00002383: PUSH1 0x00
00002385: DUP6
00002386: PUSH2 0x2392
00002389: JUMP
0000238a: JUMPDEST
0000238b: SWAP5
0000238c: SWAP4
0000238d: POP
0000238e: POP
0000238f: POP
00002390: POP
00002391: JUMP
00002392: JUMPDEST
00002393: PUSH1 0x60
00002395: DUP3
00002396: SELFBALANCE
00002397: LT
00002398: ISZERO
00002399: PUSH2 0x23f3
0000239c: JUMPI
0000239d: PUSH1 0x40
0000239f: MLOAD
000023a0: PUSH3 0x461bcd
000023a4: PUSH1 0xe5
000023a6: SHL
000023a7: DUP2
000023a8: MSTORE
000023a9: PUSH1 0x20
000023ab: PUSH1 0x04
000023ad: DUP3
000023ae: ADD
000023af: MSTORE
000023b0: PUSH1 0x26
000023b2: PUSH1 0x24
000023b4: DUP3
000023b5: ADD
000023b6: MSTORE
000023b7: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000023d8: PUSH1 0x44
000023da: DUP3
000023db: ADD
000023dc: MSTORE
000023dd: PUSH6 0x1c8818d85b1b
000023e4: PUSH1 0xd2
000023e6: SHL
000023e7: PUSH1 0x64
000023e9: DUP3
000023ea: ADD
000023eb: MSTORE
000023ec: PUSH1 0x84
000023ee: ADD
000023ef: PUSH2 0x056f
000023f2: JUMP
000023f3: JUMPDEST
000023f4: DUP5
000023f5: EXTCODESIZE
000023f6: PUSH2 0x2441
000023f9: JUMPI
000023fa: PUSH1 0x40
000023fc: MLOAD
000023fd: PUSH3 0x461bcd
00002401: PUSH1 0xe5
00002403: SHL
00002404: DUP2
00002405: MSTORE
00002406: PUSH1 0x20
00002408: PUSH1 0x04
0000240a: DUP3
0000240b: ADD
0000240c: MSTORE
0000240d: PUSH1 0x1d
0000240f: PUSH1 0x24
00002411: DUP3
00002412: ADD
00002413: MSTORE
00002414: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002435: PUSH1 0x44
00002437: DUP3
00002438: ADD
00002439: MSTORE
0000243a: PUSH1 0x64
0000243c: ADD
0000243d: PUSH2 0x056f
00002440: JUMP
00002441: JUMPDEST
00002442: PUSH1 0x00
00002444: DUP1
00002445: DUP7
00002446: PUSH1 0x01
00002448: PUSH1 0x01
0000244a: PUSH1 0xa0
0000244c: SHL
0000244d: SUB
0000244e: AND
0000244f: DUP6
00002450: DUP8
00002451: PUSH1 0x40
00002453: MLOAD
00002454: PUSH2 0x245d
00002457: SWAP2
00002458: SWAP1
00002459: PUSH2 0x2757
0000245c: JUMP
0000245d: JUMPDEST
0000245e: PUSH1 0x00
00002460: PUSH1 0x40
00002462: MLOAD
00002463: DUP1
00002464: DUP4
00002465: SUB
00002466: DUP2
00002467: DUP6
00002468: DUP8
00002469: GAS
0000246a: CALL
0000246b: SWAP3
0000246c: POP
0000246d: POP
0000246e: POP
0000246f: RETURNDATASIZE
00002470: DUP1
00002471: PUSH1 0x00
00002473: DUP2
00002474: EQ
00002475: PUSH2 0x249a
00002478: JUMPI
00002479: PUSH1 0x40
0000247b: MLOAD
0000247c: SWAP2
0000247d: POP
0000247e: PUSH1 0x1f
00002480: NOT
00002481: PUSH1 0x3f
00002483: RETURNDATASIZE
00002484: ADD
00002485: AND
00002486: DUP3
00002487: ADD
00002488: PUSH1 0x40
0000248a: MSTORE
0000248b: RETURNDATASIZE
0000248c: DUP3
0000248d: MSTORE
0000248e: RETURNDATASIZE
0000248f: PUSH1 0x00
00002491: PUSH1 0x20
00002493: DUP5
00002494: ADD
00002495: RETURNDATACOPY
00002496: PUSH2 0x249f
00002499: JUMP
0000249a: JUMPDEST
0000249b: PUSH1 0x60
0000249d: SWAP2
0000249e: POP
0000249f: JUMPDEST
000024a0: POP
000024a1: SWAP2
000024a2: POP
000024a3: SWAP2
000024a4: POP
000024a5: PUSH2 0x24af
000024a8: DUP3
000024a9: DUP3
000024aa: DUP7
000024ab: PUSH2 0x24ba
000024ae: JUMP
000024af: JUMPDEST
000024b0: SWAP8
000024b1: SWAP7
000024b2: POP
000024b3: POP
000024b4: POP
000024b5: POP
000024b6: POP
000024b7: POP
000024b8: POP
000024b9: JUMP
000024ba: JUMPDEST
000024bb: PUSH1 0x60
000024bd: DUP4
000024be: ISZERO
000024bf: PUSH2 0x24c9
000024c2: JUMPI
000024c3: POP
000024c4: DUP2
000024c5: PUSH2 0x0a5f
000024c8: JUMP
000024c9: JUMPDEST
000024ca: DUP3
000024cb: MLOAD
000024cc: ISZERO
000024cd: PUSH2 0x24d9
000024d0: JUMPI
000024d1: DUP3
000024d2: MLOAD
000024d3: DUP1
000024d4: DUP5
000024d5: PUSH1 0x20
000024d7: ADD
000024d8: REVERT
000024d9: JUMPDEST
000024da: DUP2
000024db: PUSH1 0x40
000024dd: MLOAD
000024de: PUSH3 0x461bcd
000024e2: PUSH1 0xe5
000024e4: SHL
000024e5: DUP2
000024e6: MSTORE
000024e7: PUSH1 0x04
000024e9: ADD
000024ea: PUSH2 0x056f
000024ed: SWAP2
000024ee: SWAP1
000024ef: PUSH2 0x27c6
000024f2: JUMP
000024f3: JUMPDEST
000024f4: PUSH1 0x00
000024f6: PUSH1 0x20
000024f8: DUP3
000024f9: DUP5
000024fa: SUB
000024fb: SLT
000024fc: ISZERO
000024fd: PUSH2 0x2505
00002500: JUMPI
00002501: PUSH1 0x00
00002503: DUP1
00002504: REVERT
00002505: JUMPDEST
00002506: DUP2
00002507: CALLDATALOAD
00002508: PUSH2 0x0a5f
0000250b: DUP2
0000250c: PUSH2 0x2949
0000250f: JUMP
00002510: JUMPDEST
00002511: PUSH1 0x00
00002513: PUSH1 0x20
00002515: DUP3
00002516: DUP5
00002517: SUB
00002518: SLT
00002519: ISZERO
0000251a: PUSH2 0x2522
0000251d: JUMPI
0000251e: PUSH1 0x00
00002520: DUP1
00002521: REVERT
00002522: JUMPDEST
00002523: DUP2
00002524: MLOAD
00002525: PUSH2 0x0a5f
00002528: DUP2
00002529: PUSH2 0x2949
0000252c: JUMP
0000252d: JUMPDEST
0000252e: PUSH1 0x00
00002530: DUP1
00002531: PUSH1 0x40
00002533: DUP4
00002534: DUP6
00002535: SUB
00002536: SLT
00002537: ISZERO
00002538: PUSH2 0x2540
0000253b: JUMPI
0000253c: PUSH1 0x00
0000253e: DUP1
0000253f: REVERT
00002540: JUMPDEST
00002541: DUP3
00002542: CALLDATALOAD
00002543: PUSH2 0x254b
00002546: DUP2
00002547: PUSH2 0x2949
0000254a: JUMP
0000254b: JUMPDEST
0000254c: SWAP2
0000254d: POP
0000254e: PUSH1 0x20
00002550: DUP4
00002551: ADD
00002552: CALLDATALOAD
00002553: PUSH2 0x255b
00002556: DUP2
00002557: PUSH2 0x2949
0000255a: JUMP
0000255b: JUMPDEST
0000255c: DUP1
0000255d: SWAP2
0000255e: POP
0000255f: POP
00002560: SWAP3
00002561: POP
00002562: SWAP3
00002563: SWAP1
00002564: POP
00002565: JUMP
00002566: JUMPDEST
00002567: PUSH1 0x00
00002569: DUP1
0000256a: PUSH1 0x00
0000256c: PUSH1 0x60
0000256e: DUP5
0000256f: DUP7
00002570: SUB
00002571: SLT
00002572: ISZERO
00002573: PUSH2 0x257b
00002576: JUMPI
00002577: PUSH1 0x00
00002579: DUP1
0000257a: REVERT
0000257b: JUMPDEST
0000257c: DUP4
0000257d: CALLDATALOAD
0000257e: PUSH2 0x2586
00002581: DUP2
00002582: PUSH2 0x2949
00002585: JUMP
00002586: JUMPDEST
00002587: SWAP3
00002588: POP
00002589: PUSH1 0x20
0000258b: DUP5
0000258c: ADD
0000258d: CALLDATALOAD
0000258e: PUSH2 0x2596
00002591: DUP2
00002592: PUSH2 0x2949
00002595: JUMP
00002596: JUMPDEST
00002597: SWAP3
00002598: SWAP6
00002599: SWAP3
0000259a: SWAP5
0000259b: POP
0000259c: POP
0000259d: POP
0000259e: PUSH1 0x40
000025a0: SWAP2
000025a1: SWAP1
000025a2: SWAP2
000025a3: ADD
000025a4: CALLDATALOAD
000025a5: SWAP1
000025a6: JUMP
000025a7: JUMPDEST
000025a8: PUSH1 0x00
000025aa: DUP1
000025ab: PUSH1 0x00
000025ad: DUP1
000025ae: PUSH1 0x00
000025b0: DUP1
000025b1: PUSH1 0x00
000025b3: PUSH1 0xe0
000025b5: DUP9
000025b6: DUP11
000025b7: SUB
000025b8: SLT
000025b9: ISZERO
000025ba: PUSH2 0x25c2
000025bd: JUMPI
000025be: PUSH1 0x00
000025c0: DUP1
000025c1: REVERT
000025c2: JUMPDEST
000025c3: DUP8
000025c4: CALLDATALOAD
000025c5: PUSH2 0x25cd
000025c8: DUP2
000025c9: PUSH2 0x2949
000025cc: JUMP
000025cd: JUMPDEST
000025ce: SWAP7
000025cf: POP
000025d0: PUSH1 0x20
000025d2: DUP9
000025d3: ADD
000025d4: CALLDATALOAD
000025d5: PUSH2 0x25dd
000025d8: DUP2
000025d9: PUSH2 0x2949
000025dc: JUMP
000025dd: JUMPDEST
000025de: SWAP6
000025df: POP
000025e0: PUSH1 0x40
000025e2: DUP9
000025e3: ADD
000025e4: CALLDATALOAD
000025e5: SWAP5
000025e6: POP
000025e7: PUSH1 0x60
000025e9: DUP9
000025ea: ADD
000025eb: CALLDATALOAD
000025ec: SWAP4
000025ed: POP
000025ee: PUSH1 0x80
000025f0: DUP9
000025f1: ADD
000025f2: CALLDATALOAD
000025f3: PUSH2 0x25fb
000025f6: DUP2
000025f7: PUSH2 0x2961
000025fa: JUMP
000025fb: JUMPDEST
000025fc: SWAP7
000025fd: SWAP10
000025fe: SWAP6
000025ff: SWAP9
00002600: POP
00002601: SWAP4
00002602: SWAP7
00002603: SWAP3
00002604: SWAP6
00002605: SWAP5
00002606: PUSH1 0xa0
00002608: DUP5
00002609: ADD
0000260a: CALLDATALOAD
0000260b: SWAP5
0000260c: POP
0000260d: PUSH1 0xc0
0000260f: SWAP1
00002610: SWAP4
00002611: ADD
00002612: CALLDATALOAD
00002613: SWAP3
00002614: SWAP2
00002615: POP
00002616: POP
00002617: JUMP
00002618: JUMPDEST
00002619: PUSH1 0x00
0000261b: DUP1
0000261c: PUSH1 0x40
0000261e: DUP4
0000261f: DUP6
00002620: SUB
00002621: SLT
00002622: ISZERO
00002623: PUSH2 0x262b
00002626: JUMPI
00002627: PUSH1 0x00
00002629: DUP1
0000262a: REVERT
0000262b: JUMPDEST
0000262c: DUP3
0000262d: CALLDATALOAD
0000262e: PUSH2 0x2636
00002631: DUP2
00002632: PUSH2 0x2949
00002635: JUMP
00002636: JUMPDEST
00002637: SWAP5
00002638: PUSH1 0x20
0000263a: SWAP4
0000263b: SWAP1
0000263c: SWAP4
0000263d: ADD
0000263e: CALLDATALOAD
0000263f: SWAP4
00002640: POP
00002641: POP
00002642: POP
00002643: JUMP
00002644: JUMPDEST
00002645: PUSH1 0x00
00002647: PUSH1 0x20
00002649: DUP3
0000264a: DUP5
0000264b: SUB
0000264c: SLT
0000264d: ISZERO
0000264e: PUSH2 0x2656
00002651: JUMPI
00002652: PUSH1 0x00
00002654: DUP1
00002655: REVERT
00002656: JUMPDEST
00002657: DUP2
00002658: MLOAD
00002659: DUP1
0000265a: ISZERO
0000265b: ISZERO
0000265c: DUP2
0000265d: EQ
0000265e: PUSH2 0x0a5f
00002661: JUMPI
00002662: PUSH1 0x00
00002664: DUP1
00002665: REVERT
00002666: JUMPDEST
00002667: PUSH1 0x00
00002669: PUSH1 0x20
0000266b: DUP3
0000266c: DUP5
0000266d: SUB
0000266e: SLT
0000266f: ISZERO
00002670: PUSH2 0x2678
00002673: JUMPI
00002674: PUSH1 0x00
00002676: DUP1
00002677: REVERT
00002678: JUMPDEST
00002679: DUP2
0000267a: MLOAD
0000267b: PUSH8 0xffffffffffffffff
00002684: DUP1
00002685: DUP3
00002686: GT
00002687: ISZERO
00002688: PUSH2 0x2690
0000268b: JUMPI
0000268c: PUSH1 0x00
0000268e: DUP1
0000268f: REVERT
00002690: JUMPDEST
00002691: DUP2
00002692: DUP5
00002693: ADD
00002694: SWAP2
00002695: POP
00002696: DUP5
00002697: PUSH1 0x1f
00002699: DUP4
0000269a: ADD
0000269b: SLT
0000269c: PUSH2 0x26a4
0000269f: JUMPI
000026a0: PUSH1 0x00
000026a2: DUP1
000026a3: REVERT
000026a4: JUMPDEST
000026a5: DUP2
000026a6: MLOAD
000026a7: DUP2
000026a8: DUP2
000026a9: GT
000026aa: ISZERO
000026ab: PUSH2 0x26b6
000026ae: JUMPI
000026af: PUSH2 0x26b6
000026b2: PUSH2 0x2933
000026b5: JUMP
000026b6: JUMPDEST
000026b7: PUSH1 0x40
000026b9: MLOAD
000026ba: PUSH1 0x1f
000026bc: DUP3
000026bd: ADD
000026be: PUSH1 0x1f
000026c0: NOT
000026c1: SWAP1
000026c2: DUP2
000026c3: AND
000026c4: PUSH1 0x3f
000026c6: ADD
000026c7: AND
000026c8: DUP2
000026c9: ADD
000026ca: SWAP1
000026cb: DUP4
000026cc: DUP3
000026cd: GT
000026ce: DUP2
000026cf: DUP4
000026d0: LT
000026d1: OR
000026d2: ISZERO
000026d3: PUSH2 0x26de
000026d6: JUMPI
000026d7: PUSH2 0x26de
000026da: PUSH2 0x2933
000026dd: JUMP
000026de: JUMPDEST
000026df: DUP2
000026e0: PUSH1 0x40
000026e2: MSTORE
000026e3: DUP3
000026e4: DUP2
000026e5: MSTORE
000026e6: DUP8
000026e7: PUSH1 0x20
000026e9: DUP5
000026ea: DUP8
000026eb: ADD
000026ec: ADD
000026ed: GT
000026ee: ISZERO
000026ef: PUSH2 0x26f7
000026f2: JUMPI
000026f3: PUSH1 0x00
000026f5: DUP1
000026f6: REVERT
000026f7: JUMPDEST
000026f8: PUSH2 0x24af
000026fb: DUP4
000026fc: PUSH1 0x20
000026fe: DUP4
000026ff: ADD
00002700: PUSH1 0x20
00002702: DUP9
00002703: ADD
00002704: PUSH2 0x2892
00002707: JUMP
00002708: JUMPDEST
00002709: PUSH1 0x00
0000270b: PUSH1 0x20
0000270d: DUP3
0000270e: DUP5
0000270f: SUB
00002710: SLT
00002711: ISZERO
00002712: PUSH2 0x271a
00002715: JUMPI
00002716: PUSH1 0x00
00002718: DUP1
00002719: REVERT
0000271a: JUMPDEST
0000271b: POP
0000271c: CALLDATALOAD
0000271d: SWAP2
0000271e: SWAP1
0000271f: POP
00002720: JUMP
00002721: JUMPDEST
00002722: PUSH1 0x00
00002724: PUSH1 0x20
00002726: DUP3
00002727: DUP5
00002728: SUB
00002729: SLT
0000272a: ISZERO
0000272b: PUSH2 0x2733
0000272e: JUMPI
0000272f: PUSH1 0x00
00002731: DUP1
00002732: REVERT
00002733: JUMPDEST
00002734: POP
00002735: MLOAD
00002736: SWAP2
00002737: SWAP1
00002738: POP
00002739: JUMP
0000273a: JUMPDEST
0000273b: PUSH1 0x00
0000273d: PUSH1 0x20
0000273f: DUP3
00002740: DUP5
00002741: SUB
00002742: SLT
00002743: ISZERO
00002744: PUSH2 0x274c
00002747: JUMPI
00002748: PUSH1 0x00
0000274a: DUP1
0000274b: REVERT
0000274c: JUMPDEST
0000274d: DUP2
0000274e: MLOAD
0000274f: PUSH2 0x0a5f
00002752: DUP2
00002753: PUSH2 0x2961
00002756: JUMP
00002757: JUMPDEST
00002758: PUSH1 0x00
0000275a: DUP3
0000275b: MLOAD
0000275c: PUSH2 0x2769
0000275f: DUP2
00002760: DUP5
00002761: PUSH1 0x20
00002763: DUP8
00002764: ADD
00002765: PUSH2 0x2892
00002768: JUMP
00002769: JUMPDEST
0000276a: SWAP2
0000276b: SWAP1
0000276c: SWAP2
0000276d: ADD
0000276e: SWAP3
0000276f: SWAP2
00002770: POP
00002771: POP
00002772: JUMP
00002773: JUMPDEST
00002774: PUSH1 0x31
00002776: PUSH1 0xf9
00002778: SHL
00002779: DUP2
0000277a: MSTORE
0000277b: PUSH1 0x00
0000277d: DUP3
0000277e: MLOAD
0000277f: PUSH2 0x278f
00002782: DUP2
00002783: PUSH1 0x01
00002785: DUP6
00002786: ADD
00002787: PUSH1 0x20
00002789: DUP8
0000278a: ADD
0000278b: PUSH2 0x2892
0000278e: JUMP
0000278f: JUMPDEST
00002790: SWAP2
00002791: SWAP1
00002792: SWAP2
00002793: ADD
00002794: PUSH1 0x01
00002796: ADD
00002797: SWAP3
00002798: SWAP2
00002799: POP
0000279a: POP
0000279b: JUMP
0000279c: JUMPDEST
0000279d: PUSH2 0x0211
000027a0: PUSH1 0xf5
000027a2: SHL
000027a3: DUP2
000027a4: MSTORE
000027a5: PUSH1 0x00
000027a7: DUP3
000027a8: MLOAD
000027a9: PUSH2 0x27b9
000027ac: DUP2
000027ad: PUSH1 0x02
000027af: DUP6
000027b0: ADD
000027b1: PUSH1 0x20
000027b3: DUP8
000027b4: ADD
000027b5: PUSH2 0x2892
000027b8: JUMP
000027b9: JUMPDEST
000027ba: SWAP2
000027bb: SWAP1
000027bc: SWAP2
000027bd: ADD
000027be: PUSH1 0x02
000027c0: ADD
000027c1: SWAP3
000027c2: SWAP2
000027c3: POP
000027c4: POP
000027c5: JUMP
000027c6: JUMPDEST
000027c7: PUSH1 0x20
000027c9: DUP2
000027ca: MSTORE
000027cb: PUSH1 0x00
000027cd: DUP3
000027ce: MLOAD
000027cf: DUP1
000027d0: PUSH1 0x20
000027d2: DUP5
000027d3: ADD
000027d4: MSTORE
000027d5: PUSH2 0x27e5
000027d8: DUP2
000027d9: PUSH1 0x40
000027db: DUP6
000027dc: ADD
000027dd: PUSH1 0x20
000027df: DUP8
000027e0: ADD
000027e1: PUSH2 0x2892
000027e4: JUMP
000027e5: JUMPDEST
000027e6: PUSH1 0x1f
000027e8: ADD
000027e9: PUSH1 0x1f
000027eb: NOT
000027ec: AND
000027ed: SWAP2
000027ee: SWAP1
000027ef: SWAP2
000027f0: ADD
000027f1: PUSH1 0x40
000027f3: ADD
000027f4: SWAP3
000027f5: SWAP2
000027f6: POP
000027f7: POP
000027f8: JUMP
000027f9: JUMPDEST
000027fa: PUSH1 0x20
000027fc: DUP1
000027fd: DUP3
000027fe: MSTORE
000027ff: PUSH1 0x1f
00002801: SWAP1
00002802: DUP3
00002803: ADD
00002804: MSTORE
00002805: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002826: PUSH1 0x40
00002828: DUP3
00002829: ADD
0000282a: MSTORE
0000282b: PUSH1 0x60
0000282d: ADD
0000282e: SWAP1
0000282f: JUMP
00002830: JUMPDEST
00002831: PUSH1 0x00
00002833: DUP3
00002834: NOT
00002835: DUP3
00002836: GT
00002837: ISZERO
00002838: PUSH2 0x2843
0000283b: JUMPI
0000283c: PUSH2 0x2843
0000283f: PUSH2 0x2907
00002842: JUMP
00002843: JUMPDEST
00002844: POP
00002845: ADD
00002846: SWAP1
00002847: JUMP
00002848: JUMPDEST
00002849: PUSH1 0x00
0000284b: DUP3
0000284c: PUSH2 0x2857
0000284f: JUMPI
00002850: PUSH2 0x2857
00002853: PUSH2 0x291d
00002856: JUMP
00002857: JUMPDEST
00002858: POP
00002859: DIV
0000285a: SWAP1
0000285b: JUMP
0000285c: JUMPDEST
0000285d: PUSH1 0x00
0000285f: DUP2
00002860: PUSH1 0x00
00002862: NOT
00002863: DIV
00002864: DUP4
00002865: GT
00002866: DUP3
00002867: ISZERO
00002868: ISZERO
00002869: AND
0000286a: ISZERO
0000286b: PUSH2 0x2876
0000286e: JUMPI
0000286f: PUSH2 0x2876
00002872: PUSH2 0x2907
00002875: JUMP
00002876: JUMPDEST
00002877: POP
00002878: MUL
00002879: SWAP1
0000287a: JUMP
0000287b: JUMPDEST
0000287c: PUSH1 0x00
0000287e: DUP3
0000287f: DUP3
00002880: LT
00002881: ISZERO
00002882: PUSH2 0x288d
00002885: JUMPI
00002886: PUSH2 0x288d
00002889: PUSH2 0x2907
0000288c: JUMP
0000288d: JUMPDEST
0000288e: POP
0000288f: SUB
00002890: SWAP1
00002891: JUMP
00002892: JUMPDEST
00002893: PUSH1 0x00
00002895: JUMPDEST
00002896: DUP4
00002897: DUP2
00002898: LT
00002899: ISZERO
0000289a: PUSH2 0x28ad
0000289d: JUMPI
0000289e: DUP2
0000289f: DUP2
000028a0: ADD
000028a1: MLOAD
000028a2: DUP4
000028a3: DUP3
000028a4: ADD
000028a5: MSTORE
000028a6: PUSH1 0x20
000028a8: ADD
000028a9: PUSH2 0x2895
000028ac: JUMP
000028ad: JUMPDEST
000028ae: DUP4
000028af: DUP2
000028b0: GT
000028b1: ISZERO
000028b2: PUSH2 0x1b55
000028b5: JUMPI
000028b6: POP
000028b7: POP
000028b8: PUSH1 0x00
000028ba: SWAP2
000028bb: ADD
000028bc: MSTORE
000028bd: JUMP
000028be: JUMPDEST
000028bf: PUSH1 0x01
000028c1: DUP2
000028c2: DUP2
000028c3: SHR
000028c4: SWAP1
000028c5: DUP3
000028c6: AND
000028c7: DUP1
000028c8: PUSH2 0x28d2
000028cb: JUMPI
000028cc: PUSH1 0x7f
000028ce: DUP3
000028cf: AND
000028d0: SWAP2
000028d1: POP
000028d2: JUMPDEST
000028d3: PUSH1 0x20
000028d5: DUP3
000028d6: LT
000028d7: DUP2
000028d8: EQ
000028d9: ISZERO
000028da: PUSH2 0x20ac
000028dd: JUMPI
000028de: PUSH4 0x4e487b71
000028e3: PUSH1 0xe0
000028e5: SHL
000028e6: PUSH1 0x00
000028e8: MSTORE
000028e9: PUSH1 0x22
000028eb: PUSH1 0x04
000028ed: MSTORE
000028ee: PUSH1 0x24
000028f0: PUSH1 0x00
000028f2: REVERT
000028f3: JUMPDEST
000028f4: PUSH1 0x00
000028f6: DUP3
000028f7: PUSH2 0x2902
000028fa: JUMPI
000028fb: PUSH2 0x2902
000028fe: PUSH2 0x291d
00002901: JUMP
00002902: JUMPDEST
00002903: POP
00002904: MOD
00002905: SWAP1
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH4 0x4e487b71
0000290d: PUSH1 0xe0
0000290f: SHL
00002910: PUSH1 0x00
00002912: MSTORE
00002913: PUSH1 0x11
00002915: PUSH1 0x04
00002917: MSTORE
00002918: PUSH1 0x24
0000291a: PUSH1 0x00
0000291c: REVERT
0000291d: JUMPDEST
0000291e: PUSH4 0x4e487b71
00002923: PUSH1 0xe0
00002925: SHL
00002926: PUSH1 0x00
00002928: MSTORE
00002929: PUSH1 0x12
0000292b: PUSH1 0x04
0000292d: MSTORE
0000292e: PUSH1 0x24
00002930: PUSH1 0x00
00002932: REVERT
00002933: JUMPDEST
00002934: PUSH4 0x4e487b71
00002939: PUSH1 0xe0
0000293b: SHL
0000293c: PUSH1 0x00
0000293e: MSTORE
0000293f: PUSH1 0x41
00002941: PUSH1 0x04
00002943: MSTORE
00002944: PUSH1 0x24
00002946: PUSH1 0x00
00002948: REVERT
00002949: JUMPDEST
0000294a: PUSH1 0x01
0000294c: PUSH1 0x01
0000294e: PUSH1 0xa0
00002950: SHL
00002951: SUB
00002952: DUP2
00002953: AND
00002954: DUP2
00002955: EQ
00002956: PUSH2 0x295e
00002959: JUMPI
0000295a: PUSH1 0x00
0000295c: DUP1
0000295d: REVERT
0000295e: JUMPDEST
0000295f: POP
00002960: JUMP
00002961: JUMPDEST
00002962: PUSH1 0xff
00002964: DUP2
00002965: AND
00002966: DUP2
00002967: EQ
00002968: PUSH2 0x295e
0000296b: JUMPI
0000296c: PUSH1 0x00
0000296e: DUP1
0000296f: REVERT
00002970: INVALID
00002971: LOG2
00002972: PUSH5 0x6970667358
00002978: UNKNOWN(0x22)
00002979: SLT
0000297a: KECCAK256
0000297b: SSTORE
0000297c: CODESIZE
0000297d: ADDRESS
0000297e: PUSH18 0xd6786d3f31f38890e7dc3c03e9e58d3333aa
00002991: UNKNOWN(0xD2)
00002992: PUSH19 0x946e13e25f93318f64736f6c63430008060033