Analysis Run

[codex:619867] OpenAI Codex v0.77.0 (research preview)
[codex:619867] --------
[codex:619867] workdir: /tmp/codex-multi-zr9sphlf
[codex:619867] model: gpt-5.2-codex
[codex:619867] provider: openai
[codex:619867] approval: never
[codex:619867] sandbox: read-only
[codex:619867] reasoning effort: xhigh
[codex:619867] reasoning summaries: auto
[codex:619867] session id: 019b6217-c3b2-7301-acf0-52e7d54c3aec
[codex:619867] --------
[codex:619867] user
[codex:619867] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:619867] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:619867] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:619867] 
[codex:619867] Scope rules:
[codex:619867] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:619867] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:619867] 
[codex:619867] Output MUST be valid JSON matching the provided schema.
[codex:619867] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:619867] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:619867] 
[codex:619867] Output constraints (IMPORTANT):
[codex:619867] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:619867] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:619867] mcp startup: no servers
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Preparing to review audit instructions**
[codex:619867] exec
[codex:619867] /bin/bash -lc ls in /tmp/codex-multi-zr9sphlf succeeded in 5ms:
[codex:619867] AUDIT_BUNDLE.txt
[codex:619867] codex-output-schema.json
[codex:619867] contracts
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Reading AUDIT_BUNDLE.txt**
[codex:619867] exec
[codex:619867] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-zr9sphlf succeeded in 5ms:
[codex:619867] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:619867] 
[codex:619867] ================================================================================
[codex:619867] FILE: contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:619867] ================================================================================
[codex:619867] // SPDX-License-Identifier: MIT
[codex:619867] 
[codex:619867] pragma solidity ^0.8.0;
[codex:619867] 
[codex:619867] import "../utils/Context.sol";
[codex:619867] 
[codex:619867] /**
[codex:619867]  * @dev Contract module which provides a basic access control mechanism, where
[codex:619867]  * there is an account (an owner) that can be granted exclusive access to
[codex:619867]  * specific functions.
[codex:619867]  *
[codex:619867]  * By default, the owner account will be the one that deploys the contract. This
[codex:619867]  * can later be changed with {transferOwnership}.
[codex:619867]  *
[codex:619867]  * This module is used through inheritance. It will make available the modifier
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Ensuring complete file reading**
[codex:619867] exec
[codex:619867] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-zr9sphlf succeeded in 7ms:
[codex:619867] 4:FILE: contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:619867] 79:FILE: contracts/@openzeppelin/contracts/security/Pausable.sol
[codex:619867] 173:FILE: contracts/@openzeppelin/contracts/security/ReentrancyGuard.sol
[codex:619867] 239:FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:619867] 324:FILE: contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol
[codex:619867] 426:FILE: contracts/@openzeppelin/contracts/utils/Address.sol
[codex:619867] 640:FILE: contracts/@openzeppelin/contracts/utils/Context.sol
[codex:619867] 667:FILE: contracts/contracts/interfaces/ISigsVerifier.sol
[codex:619867] 690:FILE: contracts/contracts/libraries/Pb.sol
[codex:619867] 886:FILE: contracts/contracts/libraries/PbPegged.sol
[codex:619867] 972:FILE: contracts/contracts/pegged/OriginalTokenVault.sol
[codex:619867] 1118:FILE: contracts/contracts/safeguard/DelayedTransfer.sol
[codex:619867] 1184:FILE: contracts/contracts/safeguard/Governor.sol
[codex:619867] 1237:FILE: contracts/contracts/safeguard/Pauser.sol
[codex:619867] 1299:FILE: contracts/contracts/safeguard/VolumeControl.sol
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Preparing to review first-party contracts**
[codex:619867] exec
[codex:619867] /bin/bash -lc "sed -n '640,1350p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-zr9sphlf succeeded in 5ms:
[codex:619867] FILE: contracts/@openzeppelin/contracts/utils/Context.sol
[codex:619867] ================================================================================
[codex:619867] // SPDX-License-Identifier: MIT
[codex:619867] 
[codex:619867] pragma solidity ^0.8.0;
[codex:619867] 
[codex:619867] /*
[codex:619867]  * @dev Provides information about the current execution context, including the
[codex:619867]  * sender of the transaction and its data. While these are generally available
[codex:619867]  * via msg.sender and msg.data, they should not be accessed in such a direct
[codex:619867]  * manner, since when dealing with meta-transactions the account sending and
[codex:619867]  * paying for execution may not be the actual sender (as far as an application
[codex:619867]  * is concerned).
[codex:619867]  *
[codex:619867]  * This contract is only required for intermediate, library-like contracts.
[codex:619867]  */
[codex:619867] abstract contract Context {
[codex:619867]     function _msgSender() internal view virtual returns (address) {
[codex:619867]         return msg.sender;
[codex:619867]     }
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Confirming file read completeness**
[codex:619867] exec
[codex:619867] /bin/bash -lc "sed -n '1,639p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-zr9sphlf succeeded in 6ms:
[codex:619867] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:619867] 
[codex:619867] ================================================================================
[codex:619867] FILE: contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:619867] ================================================================================
[codex:619867] // SPDX-License-Identifier: MIT
[codex:619867] 
[codex:619867] pragma solidity ^0.8.0;
[codex:619867] 
[codex:619867] import "../utils/Context.sol";
[codex:619867] 
[codex:619867] /**
[codex:619867]  * @dev Contract module which provides a basic access control mechanism, where
[codex:619867]  * there is an account (an owner) that can be granted exclusive access to
[codex:619867]  * specific functions.
[codex:619867]  *
[codex:619867]  * By default, the owner account will be the one that deploys the contract. This
[codex:619867]  * can later be changed with {transferOwnership}.
[codex:619867]  *
[codex:619867]  * This module is used through inheritance. It will make available the modifier
[codex:619867] 
[codex:619867] 
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Reviewing contract security and logic details**
[codex:619867] 
[codex:619867] I'm auditing core contracts thoroughly, checking for reentrancy, access control, signature validation, external calls, and upgradeability. I’m analyzing patterns like checks-effects-interactions, volume updates, and shared state to spot inconsistencies or vulnerabilities. I'm intrigued by subtle points like the potential for hash collisions in shared records, handling of fee-on-transfer tokens in bridging, the correctness of signature domains for replay protection, and nonce uniqueness in deposits. There’s a lot here, especially around reentrancy handling without explicit guards, and how external signature verification relies fully on a separate contract. I’m focusing on design intentions versus risks, particularly with delayed transfers, volume control, and token transfer edge cases. Overall, I’m weighing known immutables and possible attack vectors to form an informed opinion.
[codex:619867] thinking
[codex:619867] **Confirming detailed findings and edge cases**
[codex:619867] 
[codex:619867] I'm running through subtle edge cases in volume updates, mapping usages, external call effects, and signature handling. I’m thinking through possibilities like reentrancy via staticcall, hash collisions, and governance controls on delay periods. The fee-on-transfer token accounting stands out as a plausible issue, potentially causing bridge undercollateralization. I’m also checking for mismatches in constructor behavior, array validations, and domain encoding safety. While most concerns seem minor or design choices, the interaction with deflationary tokens and how deposits mint tokens could lead to real bridging inconsistencies. Overall, I’m piecing together nuanced risks without clear severe vulnerabilities.
[codex:619867] thinking
[codex:619867] **Analyzing protobuf decoding and accounting risks**
[codex:619867] 
[codex:619867] I’m working through the protobuf decoder’s handling of varints, noting potential issues reading beyond buffer end and how that might subtly affect parsing without immediate failures. I’m also revisiting the fee-on-transfer token risk where deposits credit full amounts regardless of actual received tokens, creating possible bridging imbalances. There’s a nuanced interplay between onchain leniency in decoding and offchain signature expectations, plus reentrancy considerations on withdrawals and delayed transfers, but no critical gaps surfaced beyond these points.
[codex:619867] exec
[codex:619867] /bin/bash -lc 'nl -ba contracts/contracts/pegged/OriginalTokenVault.sol' in /tmp/codex-multi-zr9sphlf succeeded in 6ms:
[codex:619867]      1	// SPDX-License-Identifier: GPL-3.0-only
[codex:619867]      2	
[codex:619867]      3	pragma solidity 0.8.9;
[codex:619867]      4	
[codex:619867]      5	import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:619867]      6	import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:619867]      7	import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
[codex:619867]      8	import "../interfaces/ISigsVerifier.sol";
[codex:619867]      9	import "../libraries/PbPegged.sol";
[codex:619867]     10	import "../safeguard/Pauser.sol";
[codex:619867]     11	import "../safeguard/VolumeControl.sol";
[codex:619867]     12	import "../safeguard/DelayedTransfer.sol";
[codex:619867]     13	
[codex:619867]     14	/**
[codex:619867]     15	 * @title the vault to deposit and withdraw original tokens
[codex:619867]     16	 * @dev Work together with PeggedTokenBridge contracts deployed at remote chains
[codex:619867]     17	 */
[codex:619867]     18	contract OriginalTokenVault is ReentrancyGuard, Pauser, VolumeControl, DelayedTransfer {
[codex:619867]     19	    using SafeERC20 for IERC20;
[codex:619867]     20	
[codex:619867] 
[codex:619867] thinking
[codex:619867] **Summarizing fee-on-transfer token vulnerability**
[codex:619867] 
[codex:619867] I’m outlining a medium-severity accounting issue where depositing tokens that charge transfer fees can cause the vault to mint more than it actually holds—leading to undercollateralization. I’m preparing a JSON-formatted finding describing how deposits use the requested `_amount` without verifying the actual tokens received and showing related code locations. The recommendation involves measuring actual balances or blocking fee-on-transfer tokens.
[codex:619867] codex
[codex:619867] {"no_findings":false,"summary":"Identified an accounting issue that can undercollateralize the vault when bridging fee-on-transfer/deflationary tokens.","findings":[{"severity":"medium","category":"math","title":"Fee-on-transfer tokens can mint more than the vault receives","exploit_scenario":"An attacker deposits a token that charges a transfer fee. `deposit` records `_amount` and emits it for off-chain minting, but the vault receives less. The attacker receives the full minted amount on the remote chain and can sell it, leaving the vault undercollateralized; later withdrawals either drain other deposits or revert due to insufficient balance.","recommendation":"Measure actual tokens received via balance-before/balance-after and use that value in the deposit record/event (and `depId`), or restrict deposits to non-deflationary ERC20s via an allowlist.","evidence":"`deposit` computes `depId` and emits `Deposited` using `_amount` without verifying the actual received balance; transfer fees or deflationary mechanics reduce the vault balance.","locations":["contracts/contracts/pegged/OriginalTokenVault.sol:69","contracts/contracts/pegged/OriginalTokenVault.sol:75","contracts/contracts/pegged/OriginalTokenVault.sol:76"]}]}
[codex:619867] tokens used
[codex:619867] 45,081
[codex:619867] {"no_findings":false,"summary":"Identified an accounting issue that can undercollateralize the vault when bridging fee-on-transfer/deflationary tokens.","findings":[{"severity":"medium","category":"math","title":"Fee-on-transfer tokens can mint more than the vault receives","exploit_scenario":"An attacker deposits a token that charges a transfer fee. `deposit` records `_amount` and emits it for off-chain minting, but the vault receives less. The attacker receives the full minted amount on the remote chain and can sell it, leaving the vault undercollateralized; later withdrawals either drain other deposits or revert due to insufficient balance.","recommendation":"Measure actual tokens received via balance-before/balance-after and use that value in the deposit record/event (and `depId`), or restrict deposits to non-deflationary ERC20s via an allowlist.","evidence":"`deposit` computes `depId` and emits `Deposited` using `_amount` without verifying the actual received balance; transfer fees or deflationary mechanics reduce the vault balance.","locations":["contracts/contracts/pegged/OriginalTokenVault.sol:69","contracts/contracts/pegged/OriginalTokenVault.sol:75","contracts/contracts/pegged/OriginalTokenVault.sol:76"]}]}

{
    "codex": {
        "ran_at": "2025-12-27T23:19:10.819957+00:00",
        "returncode": 0
    },
    "summary": "Identified an accounting issue that can undercollateralize the vault when bridging fee-on-transfer/deflationary tokens.",
    "raw_final": {
        "summary": "Identified an accounting issue that can undercollateralize the vault when bridging fee-on-transfer/deflationary tokens.",
        "findings": [
            {
                "title": "Fee-on-transfer tokens can mint more than the vault receives",
                "category": "math",
                "evidence": "`deposit` computes `depId` and emits `Deposited` using `_amount` without verifying the actual received balance; transfer fees or deflationary mechanics reduce the vault balance.",
                "severity": "medium",
                "locations": [
                    "contracts/contracts/pegged/OriginalTokenVault.sol:69",
                    "contracts/contracts/pegged/OriginalTokenVault.sol:75",
                    "contracts/contracts/pegged/OriginalTokenVault.sol:76"
                ],
                "recommendation": "Measure actual tokens received via balance-before/balance-after and use that value in the deposit record/event (and `depId`), or restrict deposits to non-deflationary ERC20s via an allowlist.",
                "exploit_scenario": "An attacker deposits a token that charges a transfer fee. `deposit` records `_amount` and emits it for off-chain minting, but the vault receives less. The attacker receives the full minted amount on the remote chain and can sell it, leaving the vault undercollateralized; later withdrawals either drain other deposits or revert due to insufficient balance."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "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 0x025c
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6ef8d66d
00000026: GT
00000027: PUSH2 0x0145
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb1c94d94
00000031: GT
00000032: PUSH2 0x00bd
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe3eece26
0000003c: GT
0000003d: PUSH2 0x008c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xeecdac88
00000047: GT
00000048: PUSH2 0x0071
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xeecdac88
00000052: EQ
00000053: PUSH2 0x05d0
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf2fde38b
0000005d: EQ
0000005e: PUSH2 0x05e3
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf8321383
00000068: EQ
00000069: PUSH2 0x05f6
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xe3eece26
00000078: EQ
00000079: PUSH2 0x0581
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xe43581b8
00000083: EQ
00000084: PUSH2 0x05a4
00000087: JUMPI
00000088: PUSH1 0x00
0000008a: DUP1
0000008b: REVERT
0000008c: JUMPDEST
0000008d: DUP1
0000008e: PUSH4 0xb1c94d94
00000093: EQ
00000094: PUSH2 0x0529
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xb5f2bc47
0000009e: EQ
0000009f: PUSH2 0x0532
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xccf2683b
000000a9: EQ
000000aa: PUSH2 0x0552
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xe026049c
000000b4: EQ
000000b5: PUSH2 0x0579
000000b8: JUMPI
000000b9: PUSH1 0x00
000000bb: DUP1
000000bc: REVERT
000000bd: JUMPDEST
000000be: DUP1
000000bf: PUSH4 0x8456cb59
000000c4: GT
000000c5: PUSH2 0x0114
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x9e25fc5c
000000cf: GT
000000d0: PUSH2 0x00f9
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x9e25fc5c
000000da: EQ
000000db: PUSH2 0x0496
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0xa21a9280
000000e5: EQ
000000e6: PUSH2 0x04a9
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0xadc0d57f
000000f0: EQ
000000f1: PUSH2 0x04bc
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: REVERT
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x8456cb59
00000100: EQ
00000101: PUSH2 0x0469
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x8da5cb5b
0000010b: EQ
0000010c: PUSH2 0x0471
0000010f: JUMPI
00000110: PUSH1 0x00
00000112: DUP1
00000113: REVERT
00000114: JUMPDEST
00000115: DUP1
00000116: PUSH4 0x6ef8d66d
0000011b: EQ
0000011c: PUSH2 0x0423
0000011f: JUMPI
00000120: DUP1
00000121: PUSH4 0x715018a6
00000126: EQ
00000127: PUSH2 0x042b
0000012a: JUMPI
0000012b: DUP1
0000012c: PUSH4 0x80f51c12
00000131: EQ
00000132: PUSH2 0x0433
00000135: JUMPI
00000136: DUP1
00000137: PUSH4 0x82dc1ec4
0000013c: EQ
0000013d: PUSH2 0x0456
00000140: JUMPI
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: DUP1
00000147: PUSH4 0x46fbf68e
0000014c: GT
0000014d: PUSH2 0x01d8
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0x57d775f8
00000157: GT
00000158: PUSH2 0x01a7
0000015b: JUMPI
0000015c: DUP1
0000015d: PUSH4 0x5ec2fa26
00000162: GT
00000163: PUSH2 0x018c
00000166: JUMPI
00000167: DUP1
00000168: PUSH4 0x5ec2fa26
0000016d: EQ
0000016e: PUSH2 0x03dd
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x60216b00
00000178: EQ
00000179: PUSH2 0x03f0
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x6b2c0f55
00000183: EQ
00000184: PUSH2 0x0410
00000187: JUMPI
00000188: PUSH1 0x00
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: DUP1
0000018e: PUSH4 0x57d775f8
00000193: EQ
00000194: PUSH2 0x03c2
00000197: JUMPI
00000198: DUP1
00000199: PUSH4 0x5c975abb
0000019e: EQ
0000019f: PUSH2 0x03cb
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: DUP1
000001a9: PUSH4 0x46fbf68e
000001ae: EQ
000001af: PUSH2 0x0350
000001b2: JUMPI
000001b3: DUP1
000001b4: PUSH4 0x47b16c6c
000001b9: EQ
000001ba: PUSH2 0x037c
000001bd: JUMPI
000001be: DUP1
000001bf: PUSH4 0x52532faa
000001c4: EQ
000001c5: PUSH2 0x038f
000001c8: JUMPI
000001c9: DUP1
000001ca: PUSH4 0x54eea796
000001cf: EQ
000001d0: PUSH2 0x03af
000001d3: JUMPI
000001d4: PUSH1 0x00
000001d6: DUP1
000001d7: REVERT
000001d8: JUMPDEST
000001d9: DUP1
000001da: PUSH4 0x3c29f839
000001df: GT
000001e0: PUSH2 0x022f
000001e3: JUMPI
000001e4: DUP1
000001e5: PUSH4 0x3d572107
000001ea: GT
000001eb: PUSH2 0x0214
000001ee: JUMPI
000001ef: DUP1
000001f0: PUSH4 0x3d572107
000001f5: EQ
000001f6: PUSH2 0x0315
000001f9: JUMPI
000001fa: DUP1
000001fb: PUSH4 0x3f4ba83a
00000200: EQ
00000201: PUSH2 0x0328
00000204: JUMPI
00000205: DUP1
00000206: PUSH4 0x402d267d
0000020b: EQ
0000020c: PUSH2 0x0330
0000020f: JUMPI
00000210: PUSH1 0x00
00000212: DUP1
00000213: REVERT
00000214: JUMPDEST
00000215: DUP1
00000216: PUSH4 0x3c29f839
0000021b: EQ
0000021c: PUSH2 0x02d4
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x3c4a25d0
00000226: EQ
00000227: PUSH2 0x0302
0000022a: JUMPI
0000022b: PUSH1 0x00
0000022d: DUP1
0000022e: REVERT
0000022f: JUMPDEST
00000230: DUP1
00000231: PUSH4 0x01e64725
00000236: EQ
00000237: PUSH2 0x0261
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x17bdbae5
00000241: EQ
00000242: PUSH2 0x0299
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x23463624
0000024c: EQ
0000024d: PUSH2 0x02ae
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x303b6442
00000257: EQ
00000258: PUSH2 0x02c1
0000025b: JUMPI
0000025c: JUMPDEST
0000025d: PUSH1 0x00
0000025f: DUP1
00000260: REVERT
00000261: JUMPDEST
00000262: PUSH2 0x0284
00000265: PUSH2 0x026f
00000268: CALLDATASIZE
00000269: PUSH1 0x04
0000026b: PUSH2 0x2851
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH1 0x0b
00000272: PUSH1 0x20
00000274: MSTORE
00000275: PUSH1 0x00
00000277: SWAP1
00000278: DUP2
00000279: MSTORE
0000027a: PUSH1 0x40
0000027c: SWAP1
0000027d: KECCAK256
0000027e: SLOAD
0000027f: PUSH1 0xff
00000281: AND
00000282: DUP2
00000283: JUMP
00000284: JUMPDEST
00000285: PUSH1 0x40
00000287: MLOAD
00000288: SWAP1
00000289: ISZERO
0000028a: ISZERO
0000028b: DUP2
0000028c: MSTORE
0000028d: PUSH1 0x20
0000028f: ADD
00000290: JUMPDEST
00000291: PUSH1 0x40
00000293: MLOAD
00000294: DUP1
00000295: SWAP2
00000296: SUB
00000297: SWAP1
00000298: RETURN
00000299: JUMPDEST
0000029a: PUSH2 0x02ac
0000029d: PUSH2 0x02a7
000002a0: CALLDATASIZE
000002a1: PUSH1 0x04
000002a3: PUSH2 0x28b6
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH2 0x0616
000002ab: JUMP
000002ac: JUMPDEST
000002ad: STOP
000002ae: JUMPDEST
000002af: PUSH2 0x02ac
000002b2: PUSH2 0x02bc
000002b5: CALLDATASIZE
000002b6: PUSH1 0x04
000002b8: PUSH2 0x2956
000002bb: JUMP
000002bc: JUMPDEST
000002bd: PUSH2 0x07b9
000002c0: JUMP
000002c1: JUMPDEST
000002c2: PUSH2 0x02ac
000002c5: PUSH2 0x02cf
000002c8: CALLDATASIZE
000002c9: PUSH1 0x04
000002cb: PUSH2 0x28b6
000002ce: JUMP
000002cf: JUMPDEST
000002d0: PUSH2 0x0ad1
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH2 0x02f4
000002d8: PUSH2 0x02e2
000002db: CALLDATASIZE
000002dc: PUSH1 0x04
000002de: PUSH2 0x29b4
000002e1: JUMP
000002e2: JUMPDEST
000002e3: PUSH1 0x0c
000002e5: PUSH1 0x20
000002e7: MSTORE
000002e8: PUSH1 0x00
000002ea: SWAP1
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x40
000002ef: SWAP1
000002f0: KECCAK256
000002f1: SLOAD
000002f2: DUP2
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH1 0x40
000002f7: MLOAD
000002f8: SWAP1
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: PUSH2 0x0290
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x02ac
00000306: PUSH2 0x0310
00000309: CALLDATASIZE
0000030a: PUSH1 0x04
0000030c: PUSH2 0x29b4
0000030f: JUMP
00000310: JUMPDEST
00000311: PUSH2 0x0c68
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x02ac
00000319: PUSH2 0x0323
0000031c: CALLDATASIZE
0000031d: PUSH1 0x04
0000031f: PUSH2 0x2851
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH2 0x0cce
00000327: JUMP
00000328: JUMPDEST
00000329: PUSH2 0x02ac
0000032c: PUSH2 0x0d62
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH2 0x02f4
00000334: PUSH2 0x033e
00000337: CALLDATASIZE
00000338: PUSH1 0x04
0000033a: PUSH2 0x29b4
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x0d
00000341: PUSH1 0x20
00000343: MSTORE
00000344: PUSH1 0x00
00000346: SWAP1
00000347: DUP2
00000348: MSTORE
00000349: PUSH1 0x40
0000034b: SWAP1
0000034c: KECCAK256
0000034d: SLOAD
0000034e: DUP2
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH2 0x0284
00000354: PUSH2 0x035e
00000357: CALLDATASIZE
00000358: PUSH1 0x04
0000035a: PUSH2 0x29b4
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x01
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: SHL
00000366: SUB
00000367: AND
00000368: PUSH1 0x00
0000036a: SWAP1
0000036b: DUP2
0000036c: MSTORE
0000036d: PUSH1 0x02
0000036f: PUSH1 0x20
00000371: MSTORE
00000372: PUSH1 0x40
00000374: SWAP1
00000375: KECCAK256
00000376: SLOAD
00000377: PUSH1 0xff
00000379: AND
0000037a: SWAP1
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x02ac
00000380: PUSH2 0x038a
00000383: CALLDATASIZE
00000384: PUSH1 0x04
00000386: PUSH2 0x28b6
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH2 0x0dcb
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x02f4
00000393: PUSH2 0x039d
00000396: CALLDATASIZE
00000397: PUSH1 0x04
00000399: PUSH2 0x29b4
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH1 0x09
000003a0: PUSH1 0x20
000003a2: MSTORE
000003a3: PUSH1 0x00
000003a5: SWAP1
000003a6: DUP2
000003a7: MSTORE
000003a8: PUSH1 0x40
000003aa: SWAP1
000003ab: KECCAK256
000003ac: SLOAD
000003ad: DUP2
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x02ac
000003b3: PUSH2 0x03bd
000003b6: CALLDATASIZE
000003b7: PUSH1 0x04
000003b9: PUSH2 0x2851
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH2 0x0f62
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x02f4
000003c6: PUSH1 0x04
000003c8: SLOAD
000003c9: DUP2
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH1 0x01
000003ce: SLOAD
000003cf: PUSH1 0x01
000003d1: PUSH1 0xa0
000003d3: SHL
000003d4: SWAP1
000003d5: DIV
000003d6: PUSH1 0xff
000003d8: AND
000003d9: PUSH2 0x0284
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH2 0x02ac
000003e1: PUSH2 0x03eb
000003e4: CALLDATASIZE
000003e5: PUSH1 0x04
000003e7: PUSH2 0x28b6
000003ea: JUMP
000003eb: JUMPDEST
000003ec: PUSH2 0x0fef
000003ef: JUMP
000003f0: JUMPDEST
000003f1: PUSH2 0x02f4
000003f4: PUSH2 0x03fe
000003f7: CALLDATASIZE
000003f8: PUSH1 0x04
000003fa: PUSH2 0x29b4
000003fd: JUMP
000003fe: JUMPDEST
000003ff: PUSH1 0x05
00000401: PUSH1 0x20
00000403: MSTORE
00000404: PUSH1 0x00
00000406: SWAP1
00000407: DUP2
00000408: MSTORE
00000409: PUSH1 0x40
0000040b: SWAP1
0000040c: KECCAK256
0000040d: SLOAD
0000040e: DUP2
0000040f: JUMP
00000410: JUMPDEST
00000411: PUSH2 0x02ac
00000414: PUSH2 0x041e
00000417: CALLDATASIZE
00000418: PUSH1 0x04
0000041a: PUSH2 0x29b4
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH2 0x1186
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH2 0x02ac
00000427: PUSH2 0x11e9
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH2 0x02ac
0000042f: PUSH2 0x11f2
00000432: JUMP
00000433: JUMPDEST
00000434: PUSH2 0x0284
00000437: PUSH2 0x0441
0000043a: CALLDATASIZE
0000043b: PUSH1 0x04
0000043d: PUSH2 0x29b4
00000440: JUMP
00000441: JUMPDEST
00000442: PUSH1 0x02
00000444: PUSH1 0x20
00000446: MSTORE
00000447: PUSH1 0x00
00000449: SWAP1
0000044a: DUP2
0000044b: MSTORE
0000044c: PUSH1 0x40
0000044e: SWAP1
0000044f: KECCAK256
00000450: SLOAD
00000451: PUSH1 0xff
00000453: AND
00000454: DUP2
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x02ac
0000045a: PUSH2 0x0464
0000045d: CALLDATASIZE
0000045e: PUSH1 0x04
00000460: PUSH2 0x29b4
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH2 0x1256
00000468: JUMP
00000469: JUMPDEST
0000046a: PUSH2 0x02ac
0000046d: PUSH2 0x12b9
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH1 0x01
00000474: SLOAD
00000475: PUSH1 0x01
00000477: PUSH1 0x01
00000479: PUSH1 0xa0
0000047b: SHL
0000047c: SUB
0000047d: AND
0000047e: JUMPDEST
0000047f: PUSH1 0x40
00000481: MLOAD
00000482: PUSH1 0x01
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: SHL
00000489: SUB
0000048a: SWAP1
0000048b: SWAP2
0000048c: AND
0000048d: DUP2
0000048e: MSTORE
0000048f: PUSH1 0x20
00000491: ADD
00000492: PUSH2 0x0290
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH2 0x02ac
0000049a: PUSH2 0x04a4
0000049d: CALLDATASIZE
0000049e: PUSH1 0x04
000004a0: PUSH2 0x2851
000004a3: JUMP
000004a4: JUMPDEST
000004a5: PUSH2 0x1320
000004a8: JUMP
000004a9: JUMPDEST
000004aa: PUSH2 0x02ac
000004ad: PUSH2 0x04b7
000004b0: CALLDATASIZE
000004b1: PUSH1 0x04
000004b3: PUSH2 0x29cf
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH2 0x139f
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH2 0x04fe
000004c0: PUSH2 0x04ca
000004c3: CALLDATASIZE
000004c4: PUSH1 0x04
000004c6: PUSH2 0x2851
000004c9: JUMP
000004ca: JUMPDEST
000004cb: PUSH1 0x08
000004cd: PUSH1 0x20
000004cf: MSTORE
000004d0: PUSH1 0x00
000004d2: SWAP1
000004d3: DUP2
000004d4: MSTORE
000004d5: PUSH1 0x40
000004d7: SWAP1
000004d8: KECCAK256
000004d9: DUP1
000004da: SLOAD
000004db: PUSH1 0x01
000004dd: DUP3
000004de: ADD
000004df: SLOAD
000004e0: PUSH1 0x02
000004e2: DUP4
000004e3: ADD
000004e4: SLOAD
000004e5: PUSH1 0x03
000004e7: SWAP1
000004e8: SWAP4
000004e9: ADD
000004ea: SLOAD
000004eb: PUSH1 0x01
000004ed: PUSH1 0x01
000004ef: PUSH1 0xa0
000004f1: SHL
000004f2: SUB
000004f3: SWAP3
000004f4: DUP4
000004f5: AND
000004f6: SWAP4
000004f7: SWAP2
000004f8: SWAP1
000004f9: SWAP3
000004fa: AND
000004fb: SWAP2
000004fc: DUP5
000004fd: JUMP
000004fe: JUMPDEST
000004ff: PUSH1 0x40
00000501: DUP1
00000502: MLOAD
00000503: PUSH1 0x01
00000505: PUSH1 0x01
00000507: PUSH1 0xa0
00000509: SHL
0000050a: SUB
0000050b: SWAP6
0000050c: DUP7
0000050d: AND
0000050e: DUP2
0000050f: MSTORE
00000510: SWAP5
00000511: SWAP1
00000512: SWAP4
00000513: AND
00000514: PUSH1 0x20
00000516: DUP6
00000517: ADD
00000518: MSTORE
00000519: SWAP2
0000051a: DUP4
0000051b: ADD
0000051c: MSTORE
0000051d: PUSH1 0x60
0000051f: DUP3
00000520: ADD
00000521: MSTORE
00000522: PUSH1 0x80
00000524: ADD
00000525: PUSH2 0x0290
00000528: JUMP
00000529: JUMPDEST
0000052a: PUSH2 0x02f4
0000052d: PUSH1 0x0a
0000052f: SLOAD
00000530: DUP2
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH2 0x02f4
00000536: PUSH2 0x0540
00000539: CALLDATASIZE
0000053a: PUSH1 0x04
0000053c: PUSH2 0x29b4
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x06
00000543: PUSH1 0x20
00000545: MSTORE
00000546: PUSH1 0x00
00000548: SWAP1
00000549: DUP2
0000054a: MSTORE
0000054b: PUSH1 0x40
0000054d: SWAP1
0000054e: KECCAK256
0000054f: SLOAD
00000550: DUP2
00000551: JUMP
00000552: JUMPDEST
00000553: PUSH2 0x047e
00000556: PUSH32 0x0000000000000000000000005427fefa711eff984124bfbb1ab6fbf5e3da1820
00000577: DUP2
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH2 0x02ac
0000057d: PUSH2 0x1765
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH2 0x0284
00000585: PUSH2 0x058f
00000588: CALLDATASIZE
00000589: PUSH1 0x04
0000058b: PUSH2 0x29b4
0000058e: JUMP
0000058f: JUMPDEST
00000590: PUSH1 0x03
00000592: PUSH1 0x20
00000594: MSTORE
00000595: PUSH1 0x00
00000597: SWAP1
00000598: DUP2
00000599: MSTORE
0000059a: PUSH1 0x40
0000059c: SWAP1
0000059d: KECCAK256
0000059e: SLOAD
0000059f: PUSH1 0xff
000005a1: AND
000005a2: DUP2
000005a3: JUMP
000005a4: JUMPDEST
000005a5: PUSH2 0x0284
000005a8: PUSH2 0x05b2
000005ab: CALLDATASIZE
000005ac: PUSH1 0x04
000005ae: PUSH2 0x29b4
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH1 0x01
000005b5: PUSH1 0x01
000005b7: PUSH1 0xa0
000005b9: SHL
000005ba: SUB
000005bb: AND
000005bc: PUSH1 0x00
000005be: SWAP1
000005bf: DUP2
000005c0: MSTORE
000005c1: PUSH1 0x03
000005c3: PUSH1 0x20
000005c5: MSTORE
000005c6: PUSH1 0x40
000005c8: SWAP1
000005c9: KECCAK256
000005ca: SLOAD
000005cb: PUSH1 0xff
000005cd: AND
000005ce: SWAP1
000005cf: JUMP
000005d0: JUMPDEST
000005d1: PUSH2 0x02ac
000005d4: PUSH2 0x05de
000005d7: CALLDATASIZE
000005d8: PUSH1 0x04
000005da: PUSH2 0x29b4
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH2 0x176e
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x02ac
000005e7: PUSH2 0x05f1
000005ea: CALLDATASIZE
000005eb: PUSH1 0x04
000005ed: PUSH2 0x29b4
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH2 0x17d1
000005f5: JUMP
000005f6: JUMPDEST
000005f7: PUSH2 0x02f4
000005fa: PUSH2 0x0604
000005fd: CALLDATASIZE
000005fe: PUSH1 0x04
00000600: PUSH2 0x29b4
00000603: JUMP
00000604: JUMPDEST
00000605: PUSH1 0x07
00000607: PUSH1 0x20
00000609: MSTORE
0000060a: PUSH1 0x00
0000060c: SWAP1
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH1 0x40
00000611: SWAP1
00000612: KECCAK256
00000613: SLOAD
00000614: DUP2
00000615: JUMP
00000616: JUMPDEST
00000617: CALLER
00000618: PUSH1 0x00
0000061a: SWAP1
0000061b: DUP2
0000061c: MSTORE
0000061d: PUSH1 0x03
0000061f: PUSH1 0x20
00000621: MSTORE
00000622: PUSH1 0x40
00000624: SWAP1
00000625: KECCAK256
00000626: SLOAD
00000627: PUSH1 0xff
00000629: AND
0000062a: PUSH2 0x0673
0000062d: JUMPI
0000062e: PUSH1 0x40
00000630: MLOAD
00000631: PUSH3 0x461bcd
00000635: PUSH1 0xe5
00000637: SHL
00000638: DUP2
00000639: MSTORE
0000063a: PUSH1 0x20
0000063c: PUSH1 0x04
0000063e: DUP3
0000063f: ADD
00000640: MSTORE
00000641: PUSH1 0x16
00000643: PUSH1 0x24
00000645: DUP3
00000646: ADD
00000647: MSTORE
00000648: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
0000065f: PUSH1 0x51
00000661: SHL
00000662: PUSH1 0x44
00000664: DUP3
00000665: ADD
00000666: MSTORE
00000667: PUSH1 0x64
00000669: ADD
0000066a: JUMPDEST
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: DUP1
0000066f: SWAP2
00000670: SUB
00000671: SWAP1
00000672: REVERT
00000673: JUMPDEST
00000674: DUP3
00000675: DUP2
00000676: EQ
00000677: PUSH2 0x06b4
0000067a: JUMPI
0000067b: PUSH1 0x40
0000067d: MLOAD
0000067e: PUSH3 0x461bcd
00000682: PUSH1 0xe5
00000684: SHL
00000685: DUP2
00000686: MSTORE
00000687: PUSH1 0x20
00000689: PUSH1 0x04
0000068b: DUP3
0000068c: ADD
0000068d: MSTORE
0000068e: PUSH1 0x0f
00000690: PUSH1 0x24
00000692: DUP3
00000693: ADD
00000694: MSTORE
00000695: PUSH15 0x0d8cadccee8d040dad2e6dac2e8c6d
000006a5: PUSH1 0x8b
000006a7: SHL
000006a8: PUSH1 0x44
000006aa: DUP3
000006ab: ADD
000006ac: MSTORE
000006ad: PUSH1 0x64
000006af: ADD
000006b0: PUSH2 0x066a
000006b3: JUMP
000006b4: JUMPDEST
000006b5: PUSH1 0x00
000006b7: JUMPDEST
000006b8: DUP4
000006b9: DUP2
000006ba: LT
000006bb: ISZERO
000006bc: PUSH2 0x07b2
000006bf: JUMPI
000006c0: DUP3
000006c1: DUP3
000006c2: DUP3
000006c3: DUP2
000006c4: DUP2
000006c5: LT
000006c6: PUSH2 0x06d1
000006c9: JUMPI
000006ca: PUSH2 0x06d1
000006cd: PUSH2 0x2abe
000006d0: JUMP
000006d1: JUMPDEST
000006d2: SWAP1
000006d3: POP
000006d4: PUSH1 0x20
000006d6: MUL
000006d7: ADD
000006d8: CALLDATALOAD
000006d9: PUSH1 0x09
000006db: PUSH1 0x00
000006dd: DUP8
000006de: DUP8
000006df: DUP6
000006e0: DUP2
000006e1: DUP2
000006e2: LT
000006e3: PUSH2 0x06ee
000006e6: JUMPI
000006e7: PUSH2 0x06ee
000006ea: PUSH2 0x2abe
000006ed: JUMP
000006ee: JUMPDEST
000006ef: SWAP1
000006f0: POP
000006f1: PUSH1 0x20
000006f3: MUL
000006f4: ADD
000006f5: PUSH1 0x20
000006f7: DUP2
000006f8: ADD
000006f9: SWAP1
000006fa: PUSH2 0x0703
000006fd: SWAP2
000006fe: SWAP1
000006ff: PUSH2 0x29b4
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH1 0x01
00000706: PUSH1 0x01
00000708: PUSH1 0xa0
0000070a: SHL
0000070b: SUB
0000070c: AND
0000070d: DUP2
0000070e: MSTORE
0000070f: PUSH1 0x20
00000711: DUP2
00000712: ADD
00000713: SWAP2
00000714: SWAP1
00000715: SWAP2
00000716: MSTORE
00000717: PUSH1 0x40
00000719: ADD
0000071a: PUSH1 0x00
0000071c: KECCAK256
0000071d: SSTORE
0000071e: PUSH32 0xceaad6533bfb481492fb3e08ef19297f46611b8fa9de5ef4cf8dc23a56ad09ce
0000073f: DUP6
00000740: DUP6
00000741: DUP4
00000742: DUP2
00000743: DUP2
00000744: LT
00000745: PUSH2 0x0750
00000748: JUMPI
00000749: PUSH2 0x0750
0000074c: PUSH2 0x2abe
0000074f: JUMP
00000750: JUMPDEST
00000751: SWAP1
00000752: POP
00000753: PUSH1 0x20
00000755: MUL
00000756: ADD
00000757: PUSH1 0x20
00000759: DUP2
0000075a: ADD
0000075b: SWAP1
0000075c: PUSH2 0x0765
0000075f: SWAP2
00000760: SWAP1
00000761: PUSH2 0x29b4
00000764: JUMP
00000765: JUMPDEST
00000766: DUP5
00000767: DUP5
00000768: DUP5
00000769: DUP2
0000076a: DUP2
0000076b: LT
0000076c: PUSH2 0x0777
0000076f: JUMPI
00000770: PUSH2 0x0777
00000773: PUSH2 0x2abe
00000776: JUMP
00000777: JUMPDEST
00000778: PUSH1 0x40
0000077a: DUP1
0000077b: MLOAD
0000077c: PUSH1 0x01
0000077e: PUSH1 0x01
00000780: PUSH1 0xa0
00000782: SHL
00000783: SUB
00000784: SWAP1
00000785: SWAP6
00000786: AND
00000787: DUP6
00000788: MSTORE
00000789: PUSH1 0x20
0000078b: SWAP2
0000078c: DUP3
0000078d: MUL
0000078e: SWAP4
0000078f: SWAP1
00000790: SWAP4
00000791: ADD
00000792: CALLDATALOAD
00000793: SWAP1
00000794: DUP5
00000795: ADD
00000796: MSTORE
00000797: POP
00000798: ADD
00000799: PUSH1 0x40
0000079b: MLOAD
0000079c: DUP1
0000079d: SWAP2
0000079e: SUB
0000079f: SWAP1
000007a0: LOG1
000007a1: DUP1
000007a2: PUSH2 0x07aa
000007a5: DUP2
000007a6: PUSH2 0x2aea
000007a9: JUMP
000007aa: JUMPDEST
000007ab: SWAP2
000007ac: POP
000007ad: POP
000007ae: PUSH2 0x06b7
000007b1: JUMP
000007b2: JUMPDEST
000007b3: POP
000007b4: POP
000007b5: POP
000007b6: POP
000007b7: POP
000007b8: JUMP
000007b9: JUMPDEST
000007ba: PUSH1 0x02
000007bc: PUSH1 0x00
000007be: SLOAD
000007bf: EQ
000007c0: ISZERO
000007c1: PUSH2 0x080c
000007c4: JUMPI
000007c5: PUSH1 0x40
000007c7: MLOAD
000007c8: PUSH3 0x461bcd
000007cc: PUSH1 0xe5
000007ce: SHL
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x20
000007d3: PUSH1 0x04
000007d5: DUP3
000007d6: ADD
000007d7: MSTORE
000007d8: PUSH1 0x1f
000007da: PUSH1 0x24
000007dc: DUP3
000007dd: ADD
000007de: MSTORE
000007df: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000800: PUSH1 0x44
00000802: DUP3
00000803: ADD
00000804: MSTORE
00000805: PUSH1 0x64
00000807: ADD
00000808: PUSH2 0x066a
0000080b: JUMP
0000080c: JUMPDEST
0000080d: PUSH1 0x02
0000080f: PUSH1 0x00
00000811: SSTORE
00000812: PUSH1 0x01
00000814: SLOAD
00000815: PUSH1 0x01
00000817: PUSH1 0xa0
00000819: SHL
0000081a: SWAP1
0000081b: DIV
0000081c: PUSH1 0xff
0000081e: AND
0000081f: ISZERO
00000820: PUSH2 0x085e
00000823: JUMPI
00000824: PUSH1 0x40
00000826: MLOAD
00000827: PUSH3 0x461bcd
0000082b: PUSH1 0xe5
0000082d: SHL
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x20
00000832: PUSH1 0x04
00000834: DUP3
00000835: ADD
00000836: MSTORE
00000837: PUSH1 0x10
00000839: PUSH1 0x24
0000083b: DUP3
0000083c: ADD
0000083d: MSTORE
0000083e: PUSH16 0x14185d5cd8589b194e881c185d5cd959
0000084f: PUSH1 0x82
00000851: SHL
00000852: PUSH1 0x44
00000854: DUP3
00000855: ADD
00000856: MSTORE
00000857: PUSH1 0x64
00000859: ADD
0000085a: PUSH2 0x066a
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH1 0x01
00000861: PUSH1 0x01
00000863: PUSH1 0xa0
00000865: SHL
00000866: SUB
00000867: DUP6
00000868: AND
00000869: PUSH1 0x00
0000086b: SWAP1
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x0c
00000870: PUSH1 0x20
00000872: MSTORE
00000873: PUSH1 0x40
00000875: SWAP1
00000876: KECCAK256
00000877: SLOAD
00000878: DUP5
00000879: GT
0000087a: PUSH2 0x08c5
0000087d: JUMPI
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: PUSH3 0x461bcd
00000885: PUSH1 0xe5
00000887: SHL
00000888: DUP2
00000889: MSTORE
0000088a: PUSH1 0x20
0000088c: PUSH1 0x04
0000088e: DUP3
0000088f: ADD
00000890: MSTORE
00000891: PUSH1 0x10
00000893: PUSH1 0x24
00000895: DUP3
00000896: ADD
00000897: MSTORE
00000898: PUSH32 0x616d6f756e7420746f6f20736d616c6c00000000000000000000000000000000
000008b9: PUSH1 0x44
000008bb: DUP3
000008bc: ADD
000008bd: MSTORE
000008be: PUSH1 0x64
000008c0: ADD
000008c1: PUSH2 0x066a
000008c4: JUMP
000008c5: JUMPDEST
000008c6: PUSH1 0x01
000008c8: PUSH1 0x01
000008ca: PUSH1 0xa0
000008cc: SHL
000008cd: SUB
000008ce: DUP6
000008cf: AND
000008d0: PUSH1 0x00
000008d2: SWAP1
000008d3: DUP2
000008d4: MSTORE
000008d5: PUSH1 0x0d
000008d7: PUSH1 0x20
000008d9: MSTORE
000008da: PUSH1 0x40
000008dc: SWAP1
000008dd: KECCAK256
000008de: SLOAD
000008df: ISZERO
000008e0: DUP1
000008e1: PUSH2 0x0902
000008e4: JUMPI
000008e5: POP
000008e6: PUSH1 0x01
000008e8: PUSH1 0x01
000008ea: PUSH1 0xa0
000008ec: SHL
000008ed: SUB
000008ee: DUP6
000008ef: AND
000008f0: PUSH1 0x00
000008f2: SWAP1
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x0d
000008f7: PUSH1 0x20
000008f9: MSTORE
000008fa: PUSH1 0x40
000008fc: SWAP1
000008fd: KECCAK256
000008fe: SLOAD
000008ff: DUP5
00000900: GT
00000901: ISZERO
00000902: JUMPDEST
00000903: PUSH2 0x094e
00000906: JUMPI
00000907: PUSH1 0x40
00000909: MLOAD
0000090a: PUSH3 0x461bcd
0000090e: PUSH1 0xe5
00000910: SHL
00000911: DUP2
00000912: MSTORE
00000913: PUSH1 0x20
00000915: PUSH1 0x04
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: PUSH1 0x10
0000091c: PUSH1 0x24
0000091e: DUP3
0000091f: ADD
00000920: MSTORE
00000921: PUSH32 0x616d6f756e7420746f6f206c6172676500000000000000000000000000000000
00000942: PUSH1 0x44
00000944: DUP3
00000945: ADD
00000946: MSTORE
00000947: PUSH1 0x64
00000949: ADD
0000094a: PUSH2 0x066a
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH1 0x40
00000951: MLOAD
00000952: PUSH12 0xffffffffffffffffffffffff
0000095f: NOT
00000960: CALLER
00000961: PUSH1 0x60
00000963: SWAP1
00000964: DUP2
00000965: SHL
00000966: DUP3
00000967: AND
00000968: PUSH1 0x20
0000096a: DUP5
0000096b: ADD
0000096c: MSTORE
0000096d: DUP8
0000096e: DUP2
0000096f: SHL
00000970: DUP3
00000971: AND
00000972: PUSH1 0x34
00000974: DUP5
00000975: ADD
00000976: MSTORE
00000977: PUSH1 0x48
00000979: DUP4
0000097a: ADD
0000097b: DUP8
0000097c: SWAP1
0000097d: MSTORE
0000097e: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
00000997: NOT
00000998: PUSH1 0xc0
0000099a: DUP8
0000099b: DUP2
0000099c: SHL
0000099d: DUP3
0000099e: AND
0000099f: PUSH1 0x68
000009a1: DUP7
000009a2: ADD
000009a3: MSTORE
000009a4: SWAP2
000009a5: DUP7
000009a6: SWAP1
000009a7: SHL
000009a8: SWAP1
000009a9: SWAP3
000009aa: AND
000009ab: PUSH1 0x70
000009ad: DUP5
000009ae: ADD
000009af: MSTORE
000009b0: DUP4
000009b1: DUP2
000009b2: SHL
000009b3: DUP3
000009b4: AND
000009b5: PUSH1 0x84
000009b7: DUP5
000009b8: ADD
000009b9: MSTORE
000009ba: CHAINID
000009bb: SWAP1
000009bc: SHL
000009bd: AND
000009be: PUSH1 0x8c
000009c0: DUP3
000009c1: ADD
000009c2: MSTORE
000009c3: PUSH1 0x00
000009c5: SWAP1
000009c6: PUSH1 0x94
000009c8: ADD
000009c9: PUSH1 0x40
000009cb: DUP1
000009cc: MLOAD
000009cd: PUSH1 0x1f
000009cf: NOT
000009d0: DUP2
000009d1: DUP5
000009d2: SUB
000009d3: ADD
000009d4: DUP2
000009d5: MSTORE
000009d6: SWAP2
000009d7: DUP2
000009d8: MSTORE
000009d9: DUP2
000009da: MLOAD
000009db: PUSH1 0x20
000009dd: SWAP3
000009de: DUP4
000009df: ADD
000009e0: KECCAK256
000009e1: PUSH1 0x00
000009e3: DUP2
000009e4: DUP2
000009e5: MSTORE
000009e6: PUSH1 0x0b
000009e8: SWAP1
000009e9: SWAP4
000009ea: MSTORE
000009eb: SWAP2
000009ec: KECCAK256
000009ed: SLOAD
000009ee: SWAP1
000009ef: SWAP2
000009f0: POP
000009f1: PUSH1 0xff
000009f3: AND
000009f4: ISZERO
000009f5: PUSH2 0x0a30
000009f8: JUMPI
000009f9: PUSH1 0x40
000009fb: MLOAD
000009fc: PUSH3 0x461bcd
00000a00: PUSH1 0xe5
00000a02: SHL
00000a03: DUP2
00000a04: MSTORE
00000a05: PUSH1 0x20
00000a07: PUSH1 0x04
00000a09: DUP3
00000a0a: ADD
00000a0b: MSTORE
00000a0c: PUSH1 0x0d
00000a0e: PUSH1 0x24
00000a10: DUP3
00000a11: ADD
00000a12: MSTORE
00000a13: PUSH13 0x7265636f726420657869737473
00000a21: PUSH1 0x98
00000a23: SHL
00000a24: PUSH1 0x44
00000a26: DUP3
00000a27: ADD
00000a28: MSTORE
00000a29: PUSH1 0x64
00000a2b: ADD
00000a2c: PUSH2 0x066a
00000a2f: JUMP
00000a30: JUMPDEST
00000a31: PUSH1 0x00
00000a33: DUP2
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x0b
00000a38: PUSH1 0x20
00000a3a: MSTORE
00000a3b: PUSH1 0x40
00000a3d: SWAP1
00000a3e: KECCAK256
00000a3f: DUP1
00000a40: SLOAD
00000a41: PUSH1 0xff
00000a43: NOT
00000a44: AND
00000a45: PUSH1 0x01
00000a47: OR
00000a48: SWAP1
00000a49: SSTORE
00000a4a: PUSH2 0x0a5e
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: SHL
00000a54: SUB
00000a55: DUP8
00000a56: AND
00000a57: CALLER
00000a58: ADDRESS
00000a59: DUP9
00000a5a: PUSH2 0x18b0
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH1 0x40
00000a61: DUP1
00000a62: MLOAD
00000a63: DUP3
00000a64: DUP2
00000a65: MSTORE
00000a66: CALLER
00000a67: PUSH1 0x20
00000a69: DUP3
00000a6a: ADD
00000a6b: MSTORE
00000a6c: PUSH1 0x01
00000a6e: PUSH1 0x01
00000a70: PUSH1 0xa0
00000a72: SHL
00000a73: SUB
00000a74: DUP9
00000a75: DUP2
00000a76: AND
00000a77: DUP3
00000a78: DUP5
00000a79: ADD
00000a7a: MSTORE
00000a7b: PUSH1 0x60
00000a7d: DUP3
00000a7e: ADD
00000a7f: DUP9
00000a80: SWAP1
00000a81: MSTORE
00000a82: PUSH8 0xffffffffffffffff
00000a8b: DUP8
00000a8c: AND
00000a8d: PUSH1 0x80
00000a8f: DUP4
00000a90: ADD
00000a91: MSTORE
00000a92: DUP6
00000a93: AND
00000a94: PUSH1 0xa0
00000a96: DUP3
00000a97: ADD
00000a98: MSTORE
00000a99: SWAP1
00000a9a: MLOAD
00000a9b: PUSH32 0x15d2eeefbe4963b5b2178f239ddcc730dda55f1c23c22efb79ded0eb854ac789
00000abc: SWAP2
00000abd: DUP2
00000abe: SWAP1
00000abf: SUB
00000ac0: PUSH1 0xc0
00000ac2: ADD
00000ac3: SWAP1
00000ac4: LOG1
00000ac5: POP
00000ac6: POP
00000ac7: PUSH1 0x01
00000ac9: PUSH1 0x00
00000acb: SSTORE
00000acc: POP
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: JUMP
00000ad1: JUMPDEST
00000ad2: CALLER
00000ad3: PUSH1 0x00
00000ad5: SWAP1
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x03
00000ada: PUSH1 0x20
00000adc: MSTORE
00000add: PUSH1 0x40
00000adf: SWAP1
00000ae0: KECCAK256
00000ae1: SLOAD
00000ae2: PUSH1 0xff
00000ae4: AND
00000ae5: PUSH2 0x0b29
00000ae8: JUMPI
00000ae9: PUSH1 0x40
00000aeb: MLOAD
00000aec: PUSH3 0x461bcd
00000af0: PUSH1 0xe5
00000af2: SHL
00000af3: DUP2
00000af4: MSTORE
00000af5: PUSH1 0x20
00000af7: PUSH1 0x04
00000af9: DUP3
00000afa: ADD
00000afb: MSTORE
00000afc: PUSH1 0x16
00000afe: PUSH1 0x24
00000b00: DUP3
00000b01: ADD
00000b02: MSTORE
00000b03: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
00000b1a: PUSH1 0x51
00000b1c: SHL
00000b1d: PUSH1 0x44
00000b1f: DUP3
00000b20: ADD
00000b21: MSTORE
00000b22: PUSH1 0x64
00000b24: ADD
00000b25: PUSH2 0x066a
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: DUP3
00000b2b: DUP2
00000b2c: EQ
00000b2d: PUSH2 0x0b6a
00000b30: JUMPI
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: PUSH3 0x461bcd
00000b38: PUSH1 0xe5
00000b3a: SHL
00000b3b: DUP2
00000b3c: MSTORE
00000b3d: PUSH1 0x20
00000b3f: PUSH1 0x04
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: PUSH1 0x0f
00000b46: PUSH1 0x24
00000b48: DUP3
00000b49: ADD
00000b4a: MSTORE
00000b4b: PUSH15 0x0d8cadccee8d040dad2e6dac2e8c6d
00000b5b: PUSH1 0x8b
00000b5d: SHL
00000b5e: PUSH1 0x44
00000b60: DUP3
00000b61: ADD
00000b62: MSTORE
00000b63: PUSH1 0x64
00000b65: ADD
00000b66: PUSH2 0x066a
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH1 0x00
00000b6d: JUMPDEST
00000b6e: DUP4
00000b6f: DUP2
00000b70: LT
00000b71: ISZERO
00000b72: PUSH2 0x07b2
00000b75: JUMPI
00000b76: DUP3
00000b77: DUP3
00000b78: DUP3
00000b79: DUP2
00000b7a: DUP2
00000b7b: LT
00000b7c: PUSH2 0x0b87
00000b7f: JUMPI
00000b80: PUSH2 0x0b87
00000b83: PUSH2 0x2abe
00000b86: JUMP
00000b87: JUMPDEST
00000b88: SWAP1
00000b89: POP
00000b8a: PUSH1 0x20
00000b8c: MUL
00000b8d: ADD
00000b8e: CALLDATALOAD
00000b8f: PUSH1 0x0d
00000b91: PUSH1 0x00
00000b93: DUP8
00000b94: DUP8
00000b95: DUP6
00000b96: DUP2
00000b97: DUP2
00000b98: LT
00000b99: PUSH2 0x0ba4
00000b9c: JUMPI
00000b9d: PUSH2 0x0ba4
00000ba0: PUSH2 0x2abe
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: SWAP1
00000ba6: POP
00000ba7: PUSH1 0x20
00000ba9: MUL
00000baa: ADD
00000bab: PUSH1 0x20
00000bad: DUP2
00000bae: ADD
00000baf: SWAP1
00000bb0: PUSH2 0x0bb9
00000bb3: SWAP2
00000bb4: SWAP1
00000bb5: PUSH2 0x29b4
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x01
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: SHL
00000bc1: SUB
00000bc2: AND
00000bc3: DUP2
00000bc4: MSTORE
00000bc5: PUSH1 0x20
00000bc7: DUP2
00000bc8: ADD
00000bc9: SWAP2
00000bca: SWAP1
00000bcb: SWAP2
00000bcc: MSTORE
00000bcd: PUSH1 0x40
00000bcf: ADD
00000bd0: PUSH1 0x00
00000bd2: KECCAK256
00000bd3: SSTORE
00000bd4: PUSH32 0x0e5d348f9737ccc8b4cf0eea0ccf3670af071af8bea5d64664f10e700c08de72
00000bf5: DUP6
00000bf6: DUP6
00000bf7: DUP4
00000bf8: DUP2
00000bf9: DUP2
00000bfa: LT
00000bfb: PUSH2 0x0c06
00000bfe: JUMPI
00000bff: PUSH2 0x0c06
00000c02: PUSH2 0x2abe
00000c05: JUMP
00000c06: JUMPDEST
00000c07: SWAP1
00000c08: POP
00000c09: PUSH1 0x20
00000c0b: MUL
00000c0c: ADD
00000c0d: PUSH1 0x20
00000c0f: DUP2
00000c10: ADD
00000c11: SWAP1
00000c12: PUSH2 0x0c1b
00000c15: SWAP2
00000c16: SWAP1
00000c17: PUSH2 0x29b4
00000c1a: JUMP
00000c1b: JUMPDEST
00000c1c: DUP5
00000c1d: DUP5
00000c1e: DUP5
00000c1f: DUP2
00000c20: DUP2
00000c21: LT
00000c22: PUSH2 0x0c2d
00000c25: JUMPI
00000c26: PUSH2 0x0c2d
00000c29: PUSH2 0x2abe
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: PUSH1 0x40
00000c30: DUP1
00000c31: MLOAD
00000c32: PUSH1 0x01
00000c34: PUSH1 0x01
00000c36: PUSH1 0xa0
00000c38: SHL
00000c39: SUB
00000c3a: SWAP1
00000c3b: SWAP6
00000c3c: AND
00000c3d: DUP6
00000c3e: MSTORE
00000c3f: PUSH1 0x20
00000c41: SWAP2
00000c42: DUP3
00000c43: MUL
00000c44: SWAP4
00000c45: SWAP1
00000c46: SWAP4
00000c47: ADD
00000c48: CALLDATALOAD
00000c49: SWAP1
00000c4a: DUP5
00000c4b: ADD
00000c4c: MSTORE
00000c4d: POP
00000c4e: ADD
00000c4f: PUSH1 0x40
00000c51: MLOAD
00000c52: DUP1
00000c53: SWAP2
00000c54: SUB
00000c55: SWAP1
00000c56: LOG1
00000c57: DUP1
00000c58: PUSH2 0x0c60
00000c5b: DUP2
00000c5c: PUSH2 0x2aea
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: SWAP2
00000c62: POP
00000c63: POP
00000c64: PUSH2 0x0b6d
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH1 0x01
00000c6b: SLOAD
00000c6c: PUSH1 0x01
00000c6e: PUSH1 0x01
00000c70: PUSH1 0xa0
00000c72: SHL
00000c73: SUB
00000c74: AND
00000c75: CALLER
00000c76: EQ
00000c77: PUSH2 0x0cc2
00000c7a: JUMPI
00000c7b: PUSH1 0x40
00000c7d: MLOAD
00000c7e: PUSH3 0x461bcd
00000c82: PUSH1 0xe5
00000c84: SHL
00000c85: DUP2
00000c86: MSTORE
00000c87: PUSH1 0x20
00000c89: PUSH1 0x04
00000c8b: DUP3
00000c8c: ADD
00000c8d: DUP2
00000c8e: SWAP1
00000c8f: MSTORE
00000c90: PUSH1 0x24
00000c92: DUP3
00000c93: ADD
00000c94: MSTORE
00000c95: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000cb6: PUSH1 0x44
00000cb8: DUP3
00000cb9: ADD
00000cba: MSTORE
00000cbb: PUSH1 0x64
00000cbd: ADD
00000cbe: PUSH2 0x066a
00000cc1: JUMP
00000cc2: JUMPDEST
00000cc3: PUSH2 0x0ccb
00000cc6: DUP2
00000cc7: PUSH2 0x194e
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: POP
00000ccd: JUMP
00000cce: JUMPDEST
00000ccf: CALLER
00000cd0: PUSH1 0x00
00000cd2: SWAP1
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x03
00000cd7: PUSH1 0x20
00000cd9: MSTORE
00000cda: PUSH1 0x40
00000cdc: SWAP1
00000cdd: KECCAK256
00000cde: SLOAD
00000cdf: PUSH1 0xff
00000ce1: AND
00000ce2: PUSH2 0x0d26
00000ce5: JUMPI
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: PUSH3 0x461bcd
00000ced: PUSH1 0xe5
00000cef: SHL
00000cf0: DUP2
00000cf1: MSTORE
00000cf2: PUSH1 0x20
00000cf4: PUSH1 0x04
00000cf6: DUP3
00000cf7: ADD
00000cf8: MSTORE
00000cf9: PUSH1 0x16
00000cfb: PUSH1 0x24
00000cfd: DUP3
00000cfe: ADD
00000cff: MSTORE
00000d00: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
00000d17: PUSH1 0x51
00000d19: SHL
00000d1a: PUSH1 0x44
00000d1c: DUP3
00000d1d: ADD
00000d1e: MSTORE
00000d1f: PUSH1 0x64
00000d21: ADD
00000d22: PUSH2 0x066a
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH1 0x0a
00000d29: DUP2
00000d2a: SWAP1
00000d2b: SSTORE
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: DUP2
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH32 0xc0a39f234199b125fb93713c4d067bdcebbf691087f87b79c0feb92b156ba8b6
00000d53: SWAP1
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: JUMPDEST
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: DUP1
00000d5c: SWAP2
00000d5d: SUB
00000d5e: SWAP1
00000d5f: LOG1
00000d60: POP
00000d61: JUMP
00000d62: JUMPDEST
00000d63: CALLER
00000d64: PUSH1 0x00
00000d66: SWAP1
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x02
00000d6b: PUSH1 0x20
00000d6d: MSTORE
00000d6e: PUSH1 0x40
00000d70: SWAP1
00000d71: KECCAK256
00000d72: SLOAD
00000d73: PUSH1 0xff
00000d75: AND
00000d76: PUSH2 0x0dc1
00000d79: JUMPI
00000d7a: PUSH1 0x40
00000d7c: MLOAD
00000d7d: PUSH3 0x461bcd
00000d81: PUSH1 0xe5
00000d83: SHL
00000d84: DUP2
00000d85: MSTORE
00000d86: PUSH1 0x20
00000d88: PUSH1 0x04
00000d8a: DUP3
00000d8b: ADD
00000d8c: MSTORE
00000d8d: PUSH1 0x14
00000d8f: PUSH1 0x24
00000d91: DUP3
00000d92: ADD
00000d93: MSTORE
00000d94: PUSH32 0x43616c6c6572206973206e6f7420706175736572000000000000000000000000
00000db5: PUSH1 0x44
00000db7: DUP3
00000db8: ADD
00000db9: MSTORE
00000dba: PUSH1 0x64
00000dbc: ADD
00000dbd: PUSH2 0x066a
00000dc0: JUMP
00000dc1: JUMPDEST
00000dc2: PUSH2 0x0dc9
00000dc5: PUSH2 0x1a0b
00000dc8: JUMP
00000dc9: JUMPDEST
00000dca: JUMP
00000dcb: JUMPDEST
00000dcc: CALLER
00000dcd: PUSH1 0x00
00000dcf: SWAP1
00000dd0: DUP2
00000dd1: MSTORE
00000dd2: PUSH1 0x03
00000dd4: PUSH1 0x20
00000dd6: MSTORE
00000dd7: PUSH1 0x40
00000dd9: SWAP1
00000dda: KECCAK256
00000ddb: SLOAD
00000ddc: PUSH1 0xff
00000dde: AND
00000ddf: PUSH2 0x0e23
00000de2: JUMPI
00000de3: PUSH1 0x40
00000de5: MLOAD
00000de6: PUSH3 0x461bcd
00000dea: PUSH1 0xe5
00000dec: SHL
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: PUSH1 0x04
00000df3: DUP3
00000df4: ADD
00000df5: MSTORE
00000df6: PUSH1 0x16
00000df8: PUSH1 0x24
00000dfa: DUP3
00000dfb: ADD
00000dfc: MSTORE
00000dfd: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
00000e14: PUSH1 0x51
00000e16: SHL
00000e17: PUSH1 0x44
00000e19: DUP3
00000e1a: ADD
00000e1b: MSTORE
00000e1c: PUSH1 0x64
00000e1e: ADD
00000e1f: PUSH2 0x066a
00000e22: JUMP
00000e23: JUMPDEST
00000e24: DUP3
00000e25: DUP2
00000e26: EQ
00000e27: PUSH2 0x0e64
00000e2a: JUMPI
00000e2b: PUSH1 0x40
00000e2d: MLOAD
00000e2e: PUSH3 0x461bcd
00000e32: PUSH1 0xe5
00000e34: SHL
00000e35: DUP2
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: PUSH1 0x04
00000e3b: DUP3
00000e3c: ADD
00000e3d: MSTORE
00000e3e: PUSH1 0x0f
00000e40: PUSH1 0x24
00000e42: DUP3
00000e43: ADD
00000e44: MSTORE
00000e45: PUSH15 0x0d8cadccee8d040dad2e6dac2e8c6d
00000e55: PUSH1 0x8b
00000e57: SHL
00000e58: PUSH1 0x44
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: PUSH1 0x64
00000e5f: ADD
00000e60: PUSH2 0x066a
00000e63: JUMP
00000e64: JUMPDEST
00000e65: PUSH1 0x00
00000e67: JUMPDEST
00000e68: DUP4
00000e69: DUP2
00000e6a: LT
00000e6b: ISZERO
00000e6c: PUSH2 0x07b2
00000e6f: JUMPI
00000e70: DUP3
00000e71: DUP3
00000e72: DUP3
00000e73: DUP2
00000e74: DUP2
00000e75: LT
00000e76: PUSH2 0x0e81
00000e79: JUMPI
00000e7a: PUSH2 0x0e81
00000e7d: PUSH2 0x2abe
00000e80: JUMP
00000e81: JUMPDEST
00000e82: SWAP1
00000e83: POP
00000e84: PUSH1 0x20
00000e86: MUL
00000e87: ADD
00000e88: CALLDATALOAD
00000e89: PUSH1 0x06
00000e8b: PUSH1 0x00
00000e8d: DUP8
00000e8e: DUP8
00000e8f: DUP6
00000e90: DUP2
00000e91: DUP2
00000e92: LT
00000e93: PUSH2 0x0e9e
00000e96: JUMPI
00000e97: PUSH2 0x0e9e
00000e9a: PUSH2 0x2abe
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: SWAP1
00000ea0: POP
00000ea1: PUSH1 0x20
00000ea3: MUL
00000ea4: ADD
00000ea5: PUSH1 0x20
00000ea7: DUP2
00000ea8: ADD
00000ea9: SWAP1
00000eaa: PUSH2 0x0eb3
00000ead: SWAP2
00000eae: SWAP1
00000eaf: PUSH2 0x29b4
00000eb2: JUMP
00000eb3: JUMPDEST
00000eb4: PUSH1 0x01
00000eb6: PUSH1 0x01
00000eb8: PUSH1 0xa0
00000eba: SHL
00000ebb: SUB
00000ebc: AND
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: PUSH1 0x20
00000ec1: DUP2
00000ec2: ADD
00000ec3: SWAP2
00000ec4: SWAP1
00000ec5: SWAP2
00000ec6: MSTORE
00000ec7: PUSH1 0x40
00000ec9: ADD
00000eca: PUSH1 0x00
00000ecc: KECCAK256
00000ecd: SSTORE
00000ece: PUSH32 0x608e49c22994f20b5d3496dca088b88dfd81b4a3e8cc3809ea1e10a320107e89
00000eef: DUP6
00000ef0: DUP6
00000ef1: DUP4
00000ef2: DUP2
00000ef3: DUP2
00000ef4: LT
00000ef5: PUSH2 0x0f00
00000ef8: JUMPI
00000ef9: PUSH2 0x0f00
00000efc: PUSH2 0x2abe
00000eff: JUMP
00000f00: JUMPDEST
00000f01: SWAP1
00000f02: POP
00000f03: PUSH1 0x20
00000f05: MUL
00000f06: ADD
00000f07: PUSH1 0x20
00000f09: DUP2
00000f0a: ADD
00000f0b: SWAP1
00000f0c: PUSH2 0x0f15
00000f0f: SWAP2
00000f10: SWAP1
00000f11: PUSH2 0x29b4
00000f14: JUMP
00000f15: JUMPDEST
00000f16: DUP5
00000f17: DUP5
00000f18: DUP5
00000f19: DUP2
00000f1a: DUP2
00000f1b: LT
00000f1c: PUSH2 0x0f27
00000f1f: JUMPI
00000f20: PUSH2 0x0f27
00000f23: PUSH2 0x2abe
00000f26: JUMP
00000f27: JUMPDEST
00000f28: PUSH1 0x40
00000f2a: DUP1
00000f2b: MLOAD
00000f2c: PUSH1 0x01
00000f2e: PUSH1 0x01
00000f30: PUSH1 0xa0
00000f32: SHL
00000f33: SUB
00000f34: SWAP1
00000f35: SWAP6
00000f36: AND
00000f37: DUP6
00000f38: MSTORE
00000f39: PUSH1 0x20
00000f3b: SWAP2
00000f3c: DUP3
00000f3d: MUL
00000f3e: SWAP4
00000f3f: SWAP1
00000f40: SWAP4
00000f41: ADD
00000f42: CALLDATALOAD
00000f43: SWAP1
00000f44: DUP5
00000f45: ADD
00000f46: MSTORE
00000f47: POP
00000f48: ADD
00000f49: PUSH1 0x40
00000f4b: MLOAD
00000f4c: DUP1
00000f4d: SWAP2
00000f4e: SUB
00000f4f: SWAP1
00000f50: LOG1
00000f51: DUP1
00000f52: PUSH2 0x0f5a
00000f55: DUP2
00000f56: PUSH2 0x2aea
00000f59: JUMP
00000f5a: JUMPDEST
00000f5b: SWAP2
00000f5c: POP
00000f5d: POP
00000f5e: PUSH2 0x0e67
00000f61: JUMP
00000f62: JUMPDEST
00000f63: CALLER
00000f64: PUSH1 0x00
00000f66: SWAP1
00000f67: DUP2
00000f68: MSTORE
00000f69: PUSH1 0x03
00000f6b: PUSH1 0x20
00000f6d: MSTORE
00000f6e: PUSH1 0x40
00000f70: SWAP1
00000f71: KECCAK256
00000f72: SLOAD
00000f73: PUSH1 0xff
00000f75: AND
00000f76: PUSH2 0x0fba
00000f79: JUMPI
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: PUSH3 0x461bcd
00000f81: PUSH1 0xe5
00000f83: SHL
00000f84: DUP2
00000f85: MSTORE
00000f86: PUSH1 0x20
00000f88: PUSH1 0x04
00000f8a: DUP3
00000f8b: ADD
00000f8c: MSTORE
00000f8d: PUSH1 0x16
00000f8f: PUSH1 0x24
00000f91: DUP3
00000f92: ADD
00000f93: MSTORE
00000f94: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
00000fab: PUSH1 0x51
00000fad: SHL
00000fae: PUSH1 0x44
00000fb0: DUP3
00000fb1: ADD
00000fb2: MSTORE
00000fb3: PUSH1 0x64
00000fb5: ADD
00000fb6: PUSH2 0x066a
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH1 0x04
00000fbd: DUP2
00000fbe: SWAP1
00000fbf: SSTORE
00000fc0: PUSH1 0x40
00000fc2: MLOAD
00000fc3: DUP2
00000fc4: DUP2
00000fc5: MSTORE
00000fc6: PUSH32 0x2664fec2ff76486ac58ed087310855b648b15b9d19f3de8529e95f7c46b7d6b3
00000fe7: SWAP1
00000fe8: PUSH1 0x20
00000fea: ADD
00000feb: PUSH2 0x0d57
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: CALLER
00000ff1: PUSH1 0x00
00000ff3: SWAP1
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x03
00000ff8: PUSH1 0x20
00000ffa: MSTORE
00000ffb: PUSH1 0x40
00000ffd: SWAP1
00000ffe: KECCAK256
00000fff: SLOAD
00001000: PUSH1 0xff
00001002: AND
00001003: PUSH2 0x1047
00001006: JUMPI
00001007: PUSH1 0x40
00001009: MLOAD
0000100a: PUSH3 0x461bcd
0000100e: PUSH1 0xe5
00001010: SHL
00001011: DUP2
00001012: MSTORE
00001013: PUSH1 0x20
00001015: PUSH1 0x04
00001017: DUP3
00001018: ADD
00001019: MSTORE
0000101a: PUSH1 0x16
0000101c: PUSH1 0x24
0000101e: DUP3
0000101f: ADD
00001020: MSTORE
00001021: PUSH22 0x21b0b63632b91034b9903737ba1033b7bb32b93737b9
00001038: PUSH1 0x51
0000103a: SHL
0000103b: PUSH1 0x44
0000103d: DUP3
0000103e: ADD
0000103f: MSTORE
00001040: PUSH1 0x64
00001042: ADD
00001043: PUSH2 0x066a
00001046: JUMP
00001047: JUMPDEST
00001048: DUP3
00001049: DUP2
0000104a: EQ
0000104b: PUSH2 0x1088
0000104e: JUMPI
0000104f: PUSH1 0x40
00001051: MLOAD
00001052: PUSH3 0x461bcd
00001056: PUSH1 0xe5
00001058: SHL
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x20
0000105d: PUSH1 0x04
0000105f: DUP3
00001060: ADD
00001061: MSTORE
00001062: PUSH1 0x0f
00001064: PUSH1 0x24
00001066: DUP3
00001067: ADD
00001068: MSTORE
00001069: PUSH15 0x0d8cadccee8d040dad2e6dac2e8c6d
00001079: PUSH1 0x8b
0000107b: SHL
0000107c: PUSH1 0x44
0000107e: DUP3
0000107f: ADD
00001080: MSTORE
00001081: PUSH1 0x64
00001083: ADD
00001084: PUSH2 0x066a
00001087: JUMP
00001088: JUMPDEST
00001089: PUSH1 0x00
0000108b: JUMPDEST
0000108c: DUP4
0000108d: DUP2
0000108e: LT
0000108f: ISZERO
00001090: PUSH2 0x07b2
00001093: JUMPI
00001094: DUP3
00001095: DUP3
00001096: DUP3
00001097: DUP2
00001098: DUP2
00001099: LT
0000109a: PUSH2 0x10a5
0000109d: JUMPI
0000109e: PUSH2 0x10a5
000010a1: PUSH2 0x2abe
000010a4: JUMP
000010a5: JUMPDEST
000010a6: SWAP1
000010a7: POP
000010a8: PUSH1 0x20
000010aa: MUL
000010ab: ADD
000010ac: CALLDATALOAD
000010ad: PUSH1 0x0c
000010af: PUSH1 0x00
000010b1: DUP8
000010b2: DUP8
000010b3: DUP6
000010b4: DUP2
000010b5: DUP2
000010b6: LT
000010b7: PUSH2 0x10c2
000010ba: JUMPI
000010bb: PUSH2 0x10c2
000010be: PUSH2 0x2abe
000010c1: JUMP
000010c2: JUMPDEST
000010c3: SWAP1
000010c4: POP
000010c5: PUSH1 0x20
000010c7: MUL
000010c8: ADD
000010c9: PUSH1 0x20
000010cb: DUP2
000010cc: ADD
000010cd: SWAP1
000010ce: PUSH2 0x10d7
000010d1: SWAP2
000010d2: SWAP1
000010d3: PUSH2 0x29b4
000010d6: JUMP
000010d7: JUMPDEST
000010d8: PUSH1 0x01
000010da: PUSH1 0x01
000010dc: PUSH1 0xa0
000010de: SHL
000010df: SUB
000010e0: AND
000010e1: DUP2
000010e2: MSTORE
000010e3: PUSH1 0x20
000010e5: DUP2
000010e6: ADD
000010e7: SWAP2
000010e8: SWAP1
000010e9: SWAP2
000010ea: MSTORE
000010eb: PUSH1 0x40
000010ed: ADD
000010ee: PUSH1 0x00
000010f0: KECCAK256
000010f1: SSTORE
000010f2: PUSH32 0x0f48d517989455cd80ed52427e80553e66f9b69fd5cee8e26bd1a1f9c364fba6
00001113: DUP6
00001114: DUP6
00001115: DUP4
00001116: DUP2
00001117: DUP2
00001118: LT
00001119: PUSH2 0x1124
0000111c: JUMPI
0000111d: PUSH2 0x1124
00001120: PUSH2 0x2abe
00001123: JUMP
00001124: JUMPDEST
00001125: SWAP1
00001126: POP
00001127: PUSH1 0x20
00001129: MUL
0000112a: ADD
0000112b: PUSH1 0x20
0000112d: DUP2
0000112e: ADD
0000112f: SWAP1
00001130: PUSH2 0x1139
00001133: SWAP2
00001134: SWAP1
00001135: PUSH2 0x29b4
00001138: JUMP
00001139: JUMPDEST
0000113a: DUP5
0000113b: DUP5
0000113c: DUP5
0000113d: DUP2
0000113e: DUP2
0000113f: LT
00001140: PUSH2 0x114b
00001143: JUMPI
00001144: PUSH2 0x114b
00001147: PUSH2 0x2abe
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x40
0000114e: DUP1
0000114f: MLOAD
00001150: PUSH1 0x01
00001152: PUSH1 0x01
00001154: PUSH1 0xa0
00001156: SHL
00001157: SUB
00001158: SWAP1
00001159: SWAP6
0000115a: AND
0000115b: DUP6
0000115c: MSTORE
0000115d: PUSH1 0x20
0000115f: SWAP2
00001160: DUP3
00001161: MUL
00001162: SWAP4
00001163: SWAP1
00001164: SWAP4
00001165: ADD
00001166: CALLDATALOAD
00001167: SWAP1
00001168: DUP5
00001169: ADD
0000116a: MSTORE
0000116b: POP
0000116c: ADD
0000116d: PUSH1 0x40
0000116f: MLOAD
00001170: DUP1
00001171: SWAP2
00001172: SUB
00001173: SWAP1
00001174: LOG1
00001175: DUP1
00001176: PUSH2 0x117e
00001179: DUP2
0000117a: PUSH2 0x2aea
0000117d: JUMP
0000117e: JUMPDEST
0000117f: SWAP2
00001180: POP
00001181: POP
00001182: PUSH2 0x108b
00001185: JUMP
00001186: JUMPDEST
00001187: PUSH1 0x01
00001189: SLOAD
0000118a: PUSH1 0x01
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: SHL
00001191: SUB
00001192: AND
00001193: CALLER
00001194: EQ
00001195: PUSH2 0x11e0
00001198: JUMPI
00001199: PUSH1 0x40
0000119b: MLOAD
0000119c: PUSH3 0x461bcd
000011a0: PUSH1 0xe5
000011a2: SHL
000011a3: DUP2
000011a4: MSTORE
000011a5: PUSH1 0x20
000011a7: PUSH1 0x04
000011a9: DUP3
000011aa: ADD
000011ab: DUP2
000011ac: SWAP1
000011ad: MSTORE
000011ae: PUSH1 0x24
000011b0: DUP3
000011b1: ADD
000011b2: MSTORE
000011b3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000011d4: PUSH1 0x44
000011d6: DUP3
000011d7: ADD
000011d8: MSTORE
000011d9: PUSH1 0x64
000011db: ADD
000011dc: PUSH2 0x066a
000011df: JUMP
000011e0: JUMPDEST
000011e1: PUSH2 0x0ccb
000011e4: DUP2
000011e5: PUSH2 0x1ab1
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH2 0x0dc9
000011ed: CALLER
000011ee: PUSH2 0x1ab1
000011f1: JUMP
000011f2: JUMPDEST
000011f3: PUSH1 0x01
000011f5: SLOAD
000011f6: PUSH1 0x01
000011f8: PUSH1 0x01
000011fa: PUSH1 0xa0
000011fc: SHL
000011fd: SUB
000011fe: AND
000011ff: CALLER
00001200: EQ
00001201: PUSH2 0x124c
00001204: JUMPI
00001205: PUSH1 0x40
00001207: MLOAD
00001208: PUSH3 0x461bcd
0000120c: PUSH1 0xe5
0000120e: SHL
0000120f: DUP2
00001210: MSTORE
00001211: PUSH1 0x20
00001213: PUSH1 0x04
00001215: DUP3
00001216: ADD
00001217: DUP2
00001218: SWAP1
00001219: MSTORE
0000121a: PUSH1 0x24
0000121c: DUP3
0000121d: ADD
0000121e: MSTORE
0000121f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001240: PUSH1 0x44
00001242: DUP3
00001243: ADD
00001244: MSTORE
00001245: PUSH1 0x64
00001247: ADD
00001248: PUSH2 0x066a
0000124b: JUMP
0000124c: JUMPDEST
0000124d: PUSH2 0x0dc9
00001250: PUSH1 0x00
00001252: PUSH2 0x1b6a
00001255: JUMP
00001256: JUMPDEST
00001257: PUSH1 0x01
00001259: SLOAD
0000125a: PUSH1 0x01
0000125c: PUSH1 0x01
0000125e: PUSH1 0xa0
00001260: SHL
00001261: SUB
00001262: AND
00001263: CALLER
00001264: EQ
00001265: PUSH2 0x12b0
00001268: JUMPI
00001269: PUSH1 0x40
0000126b: MLOAD
0000126c: PUSH3 0x461bcd
00001270: PUSH1 0xe5
00001272: SHL
00001273: DUP2
00001274: MSTORE
00001275: PUSH1 0x20
00001277: PUSH1 0x04
00001279: DUP3
0000127a: ADD
0000127b: DUP2
0000127c: SWAP1
0000127d: MSTORE
0000127e: PUSH1 0x24
00001280: DUP3
00001281: ADD
00001282: MSTORE
00001283: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000012a4: PUSH1 0x44
000012a6: DUP3
000012a7: ADD
000012a8: MSTORE
000012a9: PUSH1 0x64
000012ab: ADD
000012ac: PUSH2 0x066a
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH2 0x0ccb
000012b4: DUP2
000012b5: PUSH2 0x1bc9
000012b8: JUMP
000012b9: JUMPDEST
000012ba: CALLER
000012bb: PUSH1 0x00
000012bd: SWAP1
000012be: DUP2
000012bf: MSTORE
000012c0: PUSH1 0x02
000012c2: PUSH1 0x20
000012c4: MSTORE
000012c5: PUSH1 0x40
000012c7: SWAP1
000012c8: KECCAK256
000012c9: SLOAD
000012ca: PUSH1 0xff
000012cc: AND
000012cd: PUSH2 0x1318
000012d0: JUMPI
000012d1: PUSH1 0x40
000012d3: MLOAD
000012d4: PUSH3 0x461bcd
000012d8: PUSH1 0xe5
000012da: SHL
000012db: DUP2
000012dc: MSTORE
000012dd: PUSH1 0x20
000012df: PUSH1 0x04
000012e1: DUP3
000012e2: ADD
000012e3: MSTORE
000012e4: PUSH1 0x14
000012e6: PUSH1 0x24
000012e8: DUP3
000012e9: ADD
000012ea: MSTORE
000012eb: PUSH32 0x43616c6c6572206973206e6f7420706175736572000000000000000000000000
0000130c: PUSH1 0x44
0000130e: DUP3
0000130f: ADD
00001310: MSTORE
00001311: PUSH1 0x64
00001313: ADD
00001314: PUSH2 0x066a
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH2 0x0dc9
0000131c: PUSH2 0x1c86
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH1 0x01
00001323: SLOAD
00001324: PUSH1 0x01
00001326: PUSH1 0xa0
00001328: SHL
00001329: SWAP1
0000132a: DIV
0000132b: PUSH1 0xff
0000132d: AND
0000132e: ISZERO
0000132f: PUSH2 0x136d
00001332: JUMPI
00001333: PUSH1 0x40
00001335: MLOAD
00001336: PUSH3 0x461bcd
0000133a: PUSH1 0xe5
0000133c: SHL
0000133d: DUP2
0000133e: MSTORE
0000133f: PUSH1 0x20
00001341: PUSH1 0x04
00001343: DUP3
00001344: ADD
00001345: MSTORE
00001346: PUSH1 0x10
00001348: PUSH1 0x24
0000134a: DUP3
0000134b: ADD
0000134c: MSTORE
0000134d: PUSH16 0x14185d5cd8589b194e881c185d5cd959
0000135e: PUSH1 0x82
00001360: SHL
00001361: PUSH1 0x44
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: PUSH1 0x64
00001368: ADD
00001369: PUSH2 0x066a
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x00
00001370: PUSH2 0x1378
00001373: DUP3
00001374: PUSH2 0x1d0e
00001377: JUMP
00001378: JUMPDEST
00001379: DUP1
0000137a: MLOAD
0000137b: PUSH1 0x40
0000137d: DUP3
0000137e: ADD
0000137f: MLOAD
00001380: PUSH1 0x20
00001382: DUP4
00001383: ADD
00001384: MLOAD
00001385: SWAP3
00001386: SWAP4
00001387: POP
00001388: PUSH2 0x139b
0000138b: SWAP3
0000138c: PUSH1 0x01
0000138e: PUSH1 0x01
00001390: PUSH1 0xa0
00001392: SHL
00001393: SUB
00001394: AND
00001395: SWAP2
00001396: SWAP1
00001397: PUSH2 0x1ee0
0000139a: JUMP
0000139b: JUMPDEST
0000139c: POP
0000139d: POP
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH1 0x01
000013a2: SLOAD
000013a3: PUSH1 0x01
000013a5: PUSH1 0xa0
000013a7: SHL
000013a8: SWAP1
000013a9: DIV
000013aa: PUSH1 0xff
000013ac: AND
000013ad: ISZERO
000013ae: PUSH2 0x13ec
000013b1: JUMPI
000013b2: PUSH1 0x40
000013b4: MLOAD
000013b5: PUSH3 0x461bcd
000013b9: PUSH1 0xe5
000013bb: SHL
000013bc: DUP2
000013bd: MSTORE
000013be: PUSH1 0x20
000013c0: PUSH1 0x04
000013c2: DUP3
000013c3: ADD
000013c4: MSTORE
000013c5: PUSH1 0x10
000013c7: PUSH1 0x24
000013c9: DUP3
000013ca: ADD
000013cb: MSTORE
000013cc: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000013dd: PUSH1 0x82
000013df: SHL
000013e0: PUSH1 0x44
000013e2: DUP3
000013e3: ADD
000013e4: MSTORE
000013e5: PUSH1 0x64
000013e7: ADD
000013e8: PUSH2 0x066a
000013eb: JUMP
000013ec: JUMPDEST
000013ed: PUSH1 0x00
000013ef: CHAINID
000013f0: ADDRESS
000013f1: PUSH1 0x40
000013f3: MLOAD
000013f4: PUSH1 0x20
000013f6: ADD
000013f7: PUSH2 0x1442
000013fa: SWAP3
000013fb: SWAP2
000013fc: SWAP1
000013fd: SWAP2
000013fe: DUP3
000013ff: MSTORE
00001400: PUSH1 0x60
00001402: SHL
00001403: PUSH12 0xffffffffffffffffffffffff
00001410: NOT
00001411: AND
00001412: PUSH1 0x20
00001414: DUP3
00001415: ADD
00001416: MSTORE
00001417: PUSH32 0x5769746864726177000000000000000000000000000000000000000000000000
00001438: PUSH1 0x34
0000143a: DUP3
0000143b: ADD
0000143c: MSTORE
0000143d: PUSH1 0x3c
0000143f: ADD
00001440: SWAP1
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH1 0x40
00001445: MLOAD
00001446: PUSH1 0x20
00001448: DUP2
00001449: DUP4
0000144a: SUB
0000144b: SUB
0000144c: DUP2
0000144d: MSTORE
0000144e: SWAP1
0000144f: PUSH1 0x40
00001451: MSTORE
00001452: DUP1
00001453: MLOAD
00001454: SWAP1
00001455: PUSH1 0x20
00001457: ADD
00001458: KECCAK256
00001459: SWAP1
0000145a: POP
0000145b: PUSH32 0x0000000000000000000000005427fefa711eff984124bfbb1ab6fbf5e3da1820
0000147c: PUSH1 0x01
0000147e: PUSH1 0x01
00001480: PUSH1 0xa0
00001482: SHL
00001483: SUB
00001484: AND
00001485: PUSH4 0x682dbc22
0000148a: DUP3
0000148b: DUP12
0000148c: DUP12
0000148d: PUSH1 0x40
0000148f: MLOAD
00001490: PUSH1 0x20
00001492: ADD
00001493: PUSH2 0x149e
00001496: SWAP4
00001497: SWAP3
00001498: SWAP2
00001499: SWAP1
0000149a: PUSH2 0x2b05
0000149d: JUMP
0000149e: JUMPDEST
0000149f: PUSH1 0x40
000014a1: MLOAD
000014a2: PUSH1 0x20
000014a4: DUP2
000014a5: DUP4
000014a6: SUB
000014a7: SUB
000014a8: DUP2
000014a9: MSTORE
000014aa: SWAP1
000014ab: PUSH1 0x40
000014ad: MSTORE
000014ae: DUP10
000014af: DUP10
000014b0: DUP10
000014b1: DUP10
000014b2: DUP10
000014b3: DUP10
000014b4: PUSH1 0x40
000014b6: MLOAD
000014b7: DUP9
000014b8: PUSH4 0xffffffff
000014bd: AND
000014be: PUSH1 0xe0
000014c0: SHL
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x04
000014c5: ADD
000014c6: PUSH2 0x14d5
000014c9: SWAP8
000014ca: SWAP7
000014cb: SWAP6
000014cc: SWAP5
000014cd: SWAP4
000014ce: SWAP3
000014cf: SWAP2
000014d0: SWAP1
000014d1: PUSH2 0x2c36
000014d4: JUMP
000014d5: JUMPDEST
000014d6: PUSH1 0x00
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: DUP1
000014dc: DUP4
000014dd: SUB
000014de: DUP2
000014df: DUP7
000014e0: DUP1
000014e1: EXTCODESIZE
000014e2: ISZERO
000014e3: DUP1
000014e4: ISZERO
000014e5: PUSH2 0x14ed
000014e8: JUMPI
000014e9: PUSH1 0x00
000014eb: DUP1
000014ec: REVERT
000014ed: JUMPDEST
000014ee: POP
000014ef: GAS
000014f0: STATICCALL
000014f1: ISZERO
000014f2: DUP1
000014f3: ISZERO
000014f4: PUSH2 0x1501
000014f7: JUMPI
000014f8: RETURNDATASIZE
000014f9: PUSH1 0x00
000014fb: DUP1
000014fc: RETURNDATACOPY
000014fd: RETURNDATASIZE
000014fe: PUSH1 0x00
00001500: REVERT
00001501: JUMPDEST
00001502: POP
00001503: POP
00001504: POP
00001505: POP
00001506: PUSH1 0x00
00001508: PUSH2 0x1546
0000150b: DUP11
0000150c: DUP11
0000150d: DUP1
0000150e: DUP1
0000150f: PUSH1 0x1f
00001511: ADD
00001512: PUSH1 0x20
00001514: DUP1
00001515: SWAP2
00001516: DIV
00001517: MUL
00001518: PUSH1 0x20
0000151a: ADD
0000151b: PUSH1 0x40
0000151d: MLOAD
0000151e: SWAP1
0000151f: DUP2
00001520: ADD
00001521: PUSH1 0x40
00001523: MSTORE
00001524: DUP1
00001525: SWAP4
00001526: SWAP3
00001527: SWAP2
00001528: SWAP1
00001529: DUP2
0000152a: DUP2
0000152b: MSTORE
0000152c: PUSH1 0x20
0000152e: ADD
0000152f: DUP4
00001530: DUP4
00001531: DUP1
00001532: DUP3
00001533: DUP5
00001534: CALLDATACOPY
00001535: PUSH1 0x00
00001537: SWAP3
00001538: ADD
00001539: SWAP2
0000153a: SWAP1
0000153b: SWAP2
0000153c: MSTORE
0000153d: POP
0000153e: PUSH2 0x1f15
00001541: SWAP3
00001542: POP
00001543: POP
00001544: POP
00001545: JUMP
00001546: JUMPDEST
00001547: PUSH1 0x20
00001549: DUP2
0000154a: DUP2
0000154b: ADD
0000154c: MLOAD
0000154d: DUP3
0000154e: MLOAD
0000154f: PUSH1 0x40
00001551: DUP1
00001552: DUP6
00001553: ADD
00001554: MLOAD
00001555: PUSH1 0x60
00001557: DUP1
00001558: DUP8
00001559: ADD
0000155a: MLOAD
0000155b: PUSH1 0x80
0000155d: DUP9
0000155e: ADD
0000155f: MLOAD
00001560: PUSH1 0xa0
00001562: DUP10
00001563: ADD
00001564: MLOAD
00001565: DUP6
00001566: MLOAD
00001567: SWAP8
00001568: DUP5
00001569: SHL
0000156a: PUSH12 0xffffffffffffffffffffffff
00001577: NOT
00001578: SWAP1
00001579: DUP2
0000157a: AND
0000157b: DUP10
0000157c: DUP12
0000157d: ADD
0000157e: MSTORE
0000157f: SWAP7
00001580: DUP5
00001581: SHL
00001582: DUP8
00001583: AND
00001584: PUSH1 0x34
00001586: DUP10
00001587: ADD
00001588: MSTORE
00001589: PUSH1 0x48
0000158b: DUP9
0000158c: ADD
0000158d: SWAP5
0000158e: SWAP1
0000158f: SWAP5
00001590: MSTORE
00001591: SWAP2
00001592: SHL
00001593: SWAP1
00001594: SWAP4
00001595: AND
00001596: PUSH1 0x68
00001598: DUP6
00001599: ADD
0000159a: MSTORE
0000159b: PUSH1 0xc0
0000159d: SWAP3
0000159e: SWAP1
0000159f: SWAP3
000015a0: SHL
000015a1: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff
000015ba: NOT
000015bb: AND
000015bc: PUSH1 0x7c
000015be: DUP5
000015bf: ADD
000015c0: MSTORE
000015c1: PUSH1 0x84
000015c3: DUP1
000015c4: DUP5
000015c5: ADD
000015c6: SWAP3
000015c7: SWAP1
000015c8: SWAP3
000015c9: MSTORE
000015ca: DUP1
000015cb: MLOAD
000015cc: DUP1
000015cd: DUP5
000015ce: SUB
000015cf: SWAP1
000015d0: SWAP3
000015d1: ADD
000015d2: DUP3
000015d3: MSTORE
000015d4: PUSH1 0xa4
000015d6: SWAP1
000015d7: SWAP3
000015d8: ADD
000015d9: DUP3
000015da: MSTORE
000015db: DUP1
000015dc: MLOAD
000015dd: SWAP1
000015de: DUP4
000015df: ADD
000015e0: KECCAK256
000015e1: PUSH1 0x00
000015e3: DUP2
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x0b
000015e8: SWAP1
000015e9: SWAP4
000015ea: MSTORE
000015eb: SWAP2
000015ec: KECCAK256
000015ed: SLOAD
000015ee: SWAP2
000015ef: SWAP3
000015f0: POP
000015f1: SWAP1
000015f2: PUSH1 0xff
000015f4: AND
000015f5: ISZERO
000015f6: PUSH2 0x1631
000015f9: JUMPI
000015fa: PUSH1 0x40
000015fc: MLOAD
000015fd: PUSH3 0x461bcd
00001601: PUSH1 0xe5
00001603: SHL
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x20
00001608: PUSH1 0x04
0000160a: DUP3
0000160b: ADD
0000160c: MSTORE
0000160d: PUSH1 0x0d
0000160f: PUSH1 0x24
00001611: DUP3
00001612: ADD
00001613: MSTORE
00001614: PUSH13 0x7265636f726420657869737473
00001622: PUSH1 0x98
00001624: SHL
00001625: PUSH1 0x44
00001627: DUP3
00001628: ADD
00001629: MSTORE
0000162a: PUSH1 0x64
0000162c: ADD
0000162d: PUSH2 0x066a
00001630: JUMP
00001631: JUMPDEST
00001632: PUSH1 0x00
00001634: DUP2
00001635: DUP2
00001636: MSTORE
00001637: PUSH1 0x0b
00001639: PUSH1 0x20
0000163b: MSTORE
0000163c: PUSH1 0x40
0000163e: SWAP1
0000163f: DUP2
00001640: SWAP1
00001641: KECCAK256
00001642: DUP1
00001643: SLOAD
00001644: PUSH1 0xff
00001646: NOT
00001647: AND
00001648: PUSH1 0x01
0000164a: OR
0000164b: SWAP1
0000164c: SSTORE
0000164d: DUP3
0000164e: MLOAD
0000164f: SWAP1
00001650: DUP4
00001651: ADD
00001652: MLOAD
00001653: PUSH2 0x165c
00001656: SWAP2
00001657: SWAP1
00001658: PUSH2 0x2077
0000165b: JUMP
0000165c: JUMPDEST
0000165d: DUP2
0000165e: MLOAD
0000165f: PUSH1 0x01
00001661: PUSH1 0x01
00001663: PUSH1 0xa0
00001665: SHL
00001666: SUB
00001667: AND
00001668: PUSH1 0x00
0000166a: SWAP1
0000166b: DUP2
0000166c: MSTORE
0000166d: PUSH1 0x09
0000166f: PUSH1 0x20
00001671: MSTORE
00001672: PUSH1 0x40
00001674: SWAP1
00001675: KECCAK256
00001676: SLOAD
00001677: DUP1
00001678: ISZERO
00001679: DUP1
0000167a: ISZERO
0000167b: SWAP1
0000167c: PUSH2 0x1688
0000167f: JUMPI
00001680: POP
00001681: DUP1
00001682: DUP4
00001683: PUSH1 0x40
00001685: ADD
00001686: MLOAD
00001687: GT
00001688: JUMPDEST
00001689: ISZERO
0000168a: PUSH2 0x16aa
0000168d: JUMPI
0000168e: PUSH2 0x16a5
00001691: DUP3
00001692: DUP5
00001693: PUSH1 0x20
00001695: ADD
00001696: MLOAD
00001697: DUP6
00001698: PUSH1 0x00
0000169a: ADD
0000169b: MLOAD
0000169c: DUP7
0000169d: PUSH1 0x40
0000169f: ADD
000016a0: MLOAD
000016a1: PUSH2 0x218f
000016a4: JUMP
000016a5: JUMPDEST
000016a6: PUSH2 0x16cb
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH1 0x20
000016ad: DUP4
000016ae: ADD
000016af: MLOAD
000016b0: PUSH1 0x40
000016b2: DUP5
000016b3: ADD
000016b4: MLOAD
000016b5: DUP5
000016b6: MLOAD
000016b7: PUSH2 0x16cb
000016ba: SWAP3
000016bb: PUSH1 0x01
000016bd: PUSH1 0x01
000016bf: PUSH1 0xa0
000016c1: SHL
000016c2: SUB
000016c3: SWAP1
000016c4: SWAP2
000016c5: AND
000016c6: SWAP2
000016c7: PUSH2 0x1ee0
000016ca: JUMP
000016cb: JUMPDEST
000016cc: PUSH1 0x20
000016ce: DUP1
000016cf: DUP5
000016d0: ADD
000016d1: MLOAD
000016d2: DUP5
000016d3: MLOAD
000016d4: PUSH1 0x40
000016d6: DUP1
000016d7: DUP8
000016d8: ADD
000016d9: MLOAD
000016da: PUSH1 0x80
000016dc: DUP1
000016dd: DUP10
000016de: ADD
000016df: MLOAD
000016e0: PUSH1 0xa0
000016e2: DUP1
000016e3: DUP12
000016e4: ADD
000016e5: MLOAD
000016e6: PUSH1 0x60
000016e8: DUP1
000016e9: DUP14
000016ea: ADD
000016eb: MLOAD
000016ec: DUP8
000016ed: MLOAD
000016ee: DUP14
000016ef: DUP2
000016f0: MSTORE
000016f1: PUSH1 0x01
000016f3: PUSH1 0x01
000016f5: PUSH1 0xa0
000016f7: SHL
000016f8: SUB
000016f9: SWAP11
000016fa: DUP12
000016fb: AND
000016fc: SWAP12
000016fd: DUP2
000016fe: ADD
000016ff: SWAP12
00001700: SWAP1
00001701: SWAP12
00001702: MSTORE
00001703: SWAP8
00001704: DUP10
00001705: AND
00001706: SWAP7
00001707: DUP11
00001708: ADD
00001709: SWAP7
0000170a: SWAP1
0000170b: SWAP7
0000170c: MSTORE
0000170d: SWAP5
0000170e: DUP9
0000170f: ADD
00001710: SWAP4
00001711: SWAP1
00001712: SWAP4
00001713: MSTORE
00001714: PUSH8 0xffffffffffffffff
0000171d: AND
0000171e: SWAP1
0000171f: DUP7
00001720: ADD
00001721: MSTORE
00001722: DUP5
00001723: ADD
00001724: MSTORE
00001725: AND
00001726: PUSH1 0xc0
00001728: DUP3
00001729: ADD
0000172a: MSTORE
0000172b: PUSH32 0x296a629c5265cb4e5319803d016902eb70a9079b89655fe2b7737821ed88beeb
0000174c: SWAP1
0000174d: PUSH1 0xe0
0000174f: ADD
00001750: PUSH1 0x40
00001752: MLOAD
00001753: DUP1
00001754: SWAP2
00001755: SUB
00001756: SWAP1
00001757: LOG1
00001758: POP
00001759: POP
0000175a: POP
0000175b: POP
0000175c: POP
0000175d: POP
0000175e: POP
0000175f: POP
00001760: POP
00001761: POP
00001762: POP
00001763: POP
00001764: JUMP
00001765: JUMPDEST
00001766: PUSH2 0x0dc9
00001769: CALLER
0000176a: PUSH2 0x22af
0000176d: JUMP
0000176e: JUMPDEST
0000176f: PUSH1 0x01
00001771: SLOAD
00001772: PUSH1 0x01
00001774: PUSH1 0x01
00001776: PUSH1 0xa0
00001778: SHL
00001779: SUB
0000177a: AND
0000177b: CALLER
0000177c: EQ
0000177d: PUSH2 0x17c8
00001780: JUMPI
00001781: PUSH1 0x40
00001783: MLOAD
00001784: PUSH3 0x461bcd
00001788: PUSH1 0xe5
0000178a: SHL
0000178b: DUP2
0000178c: MSTORE
0000178d: PUSH1 0x20
0000178f: PUSH1 0x04
00001791: DUP3
00001792: ADD
00001793: DUP2
00001794: SWAP1
00001795: MSTORE
00001796: PUSH1 0x24
00001798: DUP3
00001799: ADD
0000179a: MSTORE
0000179b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000017bc: PUSH1 0x44
000017be: DUP3
000017bf: ADD
000017c0: MSTORE
000017c1: PUSH1 0x64
000017c3: ADD
000017c4: PUSH2 0x066a
000017c7: JUMP
000017c8: JUMPDEST
000017c9: PUSH2 0x0ccb
000017cc: DUP2
000017cd: PUSH2 0x22af
000017d0: JUMP
000017d1: JUMPDEST
000017d2: PUSH1 0x01
000017d4: SLOAD
000017d5: PUSH1 0x01
000017d7: PUSH1 0x01
000017d9: PUSH1 0xa0
000017db: SHL
000017dc: SUB
000017dd: AND
000017de: CALLER
000017df: EQ
000017e0: PUSH2 0x182b
000017e3: JUMPI
000017e4: PUSH1 0x40
000017e6: MLOAD
000017e7: PUSH3 0x461bcd
000017eb: PUSH1 0xe5
000017ed: SHL
000017ee: DUP2
000017ef: MSTORE
000017f0: PUSH1 0x20
000017f2: PUSH1 0x04
000017f4: DUP3
000017f5: ADD
000017f6: DUP2
000017f7: SWAP1
000017f8: MSTORE
000017f9: PUSH1 0x24
000017fb: DUP3
000017fc: ADD
000017fd: MSTORE
000017fe: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000181f: PUSH1 0x44
00001821: DUP3
00001822: ADD
00001823: MSTORE
00001824: PUSH1 0x64
00001826: ADD
00001827: PUSH2 0x066a
0000182a: JUMP
0000182b: JUMPDEST
0000182c: PUSH1 0x01
0000182e: PUSH1 0x01
00001830: PUSH1 0xa0
00001832: SHL
00001833: SUB
00001834: DUP2
00001835: AND
00001836: PUSH2 0x18a7
00001839: JUMPI
0000183a: PUSH1 0x40
0000183c: MLOAD
0000183d: PUSH3 0x461bcd
00001841: PUSH1 0xe5
00001843: SHL
00001844: DUP2
00001845: MSTORE
00001846: PUSH1 0x20
00001848: PUSH1 0x04
0000184a: DUP3
0000184b: ADD
0000184c: MSTORE
0000184d: PUSH1 0x26
0000184f: PUSH1 0x24
00001851: DUP3
00001852: ADD
00001853: MSTORE
00001854: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001875: PUSH1 0x44
00001877: DUP3
00001878: ADD
00001879: MSTORE
0000187a: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000189b: PUSH1 0x64
0000189d: DUP3
0000189e: ADD
0000189f: MSTORE
000018a0: PUSH1 0x84
000018a2: ADD
000018a3: PUSH2 0x066a
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH2 0x0ccb
000018ab: DUP2
000018ac: PUSH2 0x1b6a
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH1 0x40
000018b3: MLOAD
000018b4: PUSH1 0x01
000018b6: PUSH1 0x01
000018b8: PUSH1 0xa0
000018ba: SHL
000018bb: SUB
000018bc: DUP1
000018bd: DUP6
000018be: AND
000018bf: PUSH1 0x24
000018c1: DUP4
000018c2: ADD
000018c3: MSTORE
000018c4: DUP4
000018c5: AND
000018c6: PUSH1 0x44
000018c8: DUP3
000018c9: ADD
000018ca: MSTORE
000018cb: PUSH1 0x64
000018cd: DUP2
000018ce: ADD
000018cf: DUP3
000018d0: SWAP1
000018d1: MSTORE
000018d2: PUSH2 0x1948
000018d5: SWAP1
000018d6: DUP6
000018d7: SWAP1
000018d8: PUSH4 0x23b872dd
000018dd: PUSH1 0xe0
000018df: SHL
000018e0: SWAP1
000018e1: PUSH1 0x84
000018e3: ADD
000018e4: JUMPDEST
000018e5: PUSH1 0x40
000018e7: DUP1
000018e8: MLOAD
000018e9: PUSH1 0x1f
000018eb: NOT
000018ec: DUP2
000018ed: DUP5
000018ee: SUB
000018ef: ADD
000018f0: DUP2
000018f1: MSTORE
000018f2: SWAP2
000018f3: SWAP1
000018f4: MSTORE
000018f5: PUSH1 0x20
000018f7: DUP2
000018f8: ADD
000018f9: DUP1
000018fa: MLOAD
000018fb: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001918: AND
00001919: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000193a: SWAP1
0000193b: SWAP4
0000193c: AND
0000193d: SWAP3
0000193e: SWAP1
0000193f: SWAP3
00001940: OR
00001941: SWAP1
00001942: SWAP2
00001943: MSTORE
00001944: PUSH2 0x2368
00001947: JUMP
00001948: JUMPDEST
00001949: POP
0000194a: POP
0000194b: POP
0000194c: POP
0000194d: JUMP
0000194e: JUMPDEST
0000194f: PUSH1 0x01
00001951: PUSH1 0x01
00001953: PUSH1 0xa0
00001955: SHL
00001956: SUB
00001957: DUP2
00001958: AND
00001959: PUSH1 0x00
0000195b: SWAP1
0000195c: DUP2
0000195d: MSTORE
0000195e: PUSH1 0x03
00001960: PUSH1 0x20
00001962: MSTORE
00001963: PUSH1 0x40
00001965: SWAP1
00001966: KECCAK256
00001967: SLOAD
00001968: PUSH1 0xff
0000196a: AND
0000196b: ISZERO
0000196c: PUSH2 0x19b7
0000196f: JUMPI
00001970: PUSH1 0x40
00001972: MLOAD
00001973: PUSH3 0x461bcd
00001977: PUSH1 0xe5
00001979: SHL
0000197a: DUP2
0000197b: MSTORE
0000197c: PUSH1 0x20
0000197e: PUSH1 0x04
00001980: DUP3
00001981: ADD
00001982: MSTORE
00001983: PUSH1 0x1b
00001985: PUSH1 0x24
00001987: DUP3
00001988: ADD
00001989: MSTORE
0000198a: PUSH32 0x4163636f756e7420697320616c726561647920676f7665726e6f720000000000
000019ab: PUSH1 0x44
000019ad: DUP3
000019ae: ADD
000019af: MSTORE
000019b0: PUSH1 0x64
000019b2: ADD
000019b3: PUSH2 0x066a
000019b6: JUMP
000019b7: JUMPDEST
000019b8: PUSH1 0x01
000019ba: PUSH1 0x01
000019bc: PUSH1 0xa0
000019be: SHL
000019bf: SUB
000019c0: DUP2
000019c1: AND
000019c2: PUSH1 0x00
000019c4: DUP2
000019c5: DUP2
000019c6: MSTORE
000019c7: PUSH1 0x03
000019c9: PUSH1 0x20
000019cb: SWAP1
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x40
000019d0: SWAP2
000019d1: DUP3
000019d2: SWAP1
000019d3: KECCAK256
000019d4: DUP1
000019d5: SLOAD
000019d6: PUSH1 0xff
000019d8: NOT
000019d9: AND
000019da: PUSH1 0x01
000019dc: OR
000019dd: SWAP1
000019de: SSTORE
000019df: SWAP1
000019e0: MLOAD
000019e1: SWAP2
000019e2: DUP3
000019e3: MSTORE
000019e4: PUSH32 0xdc5a48d79e2e147530ff63ecdbed5a5a66adb9d5cf339384d5d076da197c40b5
00001a05: SWAP2
00001a06: ADD
00001a07: PUSH2 0x0d57
00001a0a: JUMP
00001a0b: JUMPDEST
00001a0c: PUSH1 0x01
00001a0e: SLOAD
00001a0f: PUSH1 0x01
00001a11: PUSH1 0xa0
00001a13: SHL
00001a14: SWAP1
00001a15: DIV
00001a16: PUSH1 0xff
00001a18: AND
00001a19: PUSH2 0x1a64
00001a1c: JUMPI
00001a1d: PUSH1 0x40
00001a1f: MLOAD
00001a20: PUSH3 0x461bcd
00001a24: PUSH1 0xe5
00001a26: SHL
00001a27: DUP2
00001a28: MSTORE
00001a29: PUSH1 0x20
00001a2b: PUSH1 0x04
00001a2d: DUP3
00001a2e: ADD
00001a2f: MSTORE
00001a30: PUSH1 0x14
00001a32: PUSH1 0x24
00001a34: DUP3
00001a35: ADD
00001a36: MSTORE
00001a37: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00001a58: PUSH1 0x44
00001a5a: DUP3
00001a5b: ADD
00001a5c: MSTORE
00001a5d: PUSH1 0x64
00001a5f: ADD
00001a60: PUSH2 0x066a
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x01
00001a67: DUP1
00001a68: SLOAD
00001a69: PUSH1 0xff
00001a6b: PUSH1 0xa0
00001a6d: SHL
00001a6e: NOT
00001a6f: AND
00001a70: SWAP1
00001a71: SSTORE
00001a72: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001a93: CALLER
00001a94: JUMPDEST
00001a95: PUSH1 0x40
00001a97: MLOAD
00001a98: PUSH1 0x01
00001a9a: PUSH1 0x01
00001a9c: PUSH1 0xa0
00001a9e: SHL
00001a9f: SUB
00001aa0: SWAP1
00001aa1: SWAP2
00001aa2: AND
00001aa3: DUP2
00001aa4: MSTORE
00001aa5: PUSH1 0x20
00001aa7: ADD
00001aa8: PUSH1 0x40
00001aaa: MLOAD
00001aab: DUP1
00001aac: SWAP2
00001aad: SUB
00001aae: SWAP1
00001aaf: LOG1
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: PUSH1 0x01
00001ab4: PUSH1 0x01
00001ab6: PUSH1 0xa0
00001ab8: SHL
00001ab9: SUB
00001aba: DUP2
00001abb: AND
00001abc: PUSH1 0x00
00001abe: SWAP1
00001abf: DUP2
00001ac0: MSTORE
00001ac1: PUSH1 0x02
00001ac3: PUSH1 0x20
00001ac5: MSTORE
00001ac6: PUSH1 0x40
00001ac8: SWAP1
00001ac9: KECCAK256
00001aca: SLOAD
00001acb: PUSH1 0xff
00001acd: AND
00001ace: PUSH2 0x1b19
00001ad1: JUMPI
00001ad2: PUSH1 0x40
00001ad4: MLOAD
00001ad5: PUSH3 0x461bcd
00001ad9: PUSH1 0xe5
00001adb: SHL
00001adc: DUP2
00001add: MSTORE
00001ade: PUSH1 0x20
00001ae0: PUSH1 0x04
00001ae2: DUP3
00001ae3: ADD
00001ae4: MSTORE
00001ae5: PUSH1 0x15
00001ae7: PUSH1 0x24
00001ae9: DUP3
00001aea: ADD
00001aeb: MSTORE
00001aec: PUSH32 0x4163636f756e74206973206e6f74207061757365720000000000000000000000
00001b0d: PUSH1 0x44
00001b0f: DUP3
00001b10: ADD
00001b11: MSTORE
00001b12: PUSH1 0x64
00001b14: ADD
00001b15: PUSH2 0x066a
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: PUSH1 0x01
00001b1c: PUSH1 0x01
00001b1e: PUSH1 0xa0
00001b20: SHL
00001b21: SUB
00001b22: DUP2
00001b23: AND
00001b24: PUSH1 0x00
00001b26: DUP2
00001b27: DUP2
00001b28: MSTORE
00001b29: PUSH1 0x02
00001b2b: PUSH1 0x20
00001b2d: SWAP1
00001b2e: DUP2
00001b2f: MSTORE
00001b30: PUSH1 0x40
00001b32: SWAP2
00001b33: DUP3
00001b34: SWAP1
00001b35: KECCAK256
00001b36: DUP1
00001b37: SLOAD
00001b38: PUSH1 0xff
00001b3a: NOT
00001b3b: AND
00001b3c: SWAP1
00001b3d: SSTORE
00001b3e: SWAP1
00001b3f: MLOAD
00001b40: SWAP2
00001b41: DUP3
00001b42: MSTORE
00001b43: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
00001b64: SWAP2
00001b65: ADD
00001b66: PUSH2 0x0d57
00001b69: JUMP
00001b6a: JUMPDEST
00001b6b: PUSH1 0x01
00001b6d: DUP1
00001b6e: SLOAD
00001b6f: PUSH1 0x01
00001b71: PUSH1 0x01
00001b73: PUSH1 0xa0
00001b75: SHL
00001b76: SUB
00001b77: DUP4
00001b78: DUP2
00001b79: AND
00001b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8f: NOT
00001b90: DUP4
00001b91: AND
00001b92: DUP2
00001b93: OR
00001b94: SWAP1
00001b95: SWAP4
00001b96: SSTORE
00001b97: PUSH1 0x40
00001b99: MLOAD
00001b9a: SWAP2
00001b9b: AND
00001b9c: SWAP2
00001b9d: SWAP1
00001b9e: DUP3
00001b9f: SWAP1
00001ba0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001bc1: SWAP1
00001bc2: PUSH1 0x00
00001bc4: SWAP1
00001bc5: LOG3
00001bc6: POP
00001bc7: POP
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: PUSH1 0x01
00001bcc: PUSH1 0x01
00001bce: PUSH1 0xa0
00001bd0: SHL
00001bd1: SUB
00001bd2: DUP2
00001bd3: AND
00001bd4: PUSH1 0x00
00001bd6: SWAP1
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: PUSH1 0x02
00001bdb: PUSH1 0x20
00001bdd: MSTORE
00001bde: PUSH1 0x40
00001be0: SWAP1
00001be1: KECCAK256
00001be2: SLOAD
00001be3: PUSH1 0xff
00001be5: AND
00001be6: ISZERO
00001be7: PUSH2 0x1c32
00001bea: JUMPI
00001beb: PUSH1 0x40
00001bed: MLOAD
00001bee: PUSH3 0x461bcd
00001bf2: PUSH1 0xe5
00001bf4: SHL
00001bf5: DUP2
00001bf6: MSTORE
00001bf7: PUSH1 0x20
00001bf9: PUSH1 0x04
00001bfb: DUP3
00001bfc: ADD
00001bfd: MSTORE
00001bfe: PUSH1 0x19
00001c00: PUSH1 0x24
00001c02: DUP3
00001c03: ADD
00001c04: MSTORE
00001c05: PUSH32 0x4163636f756e7420697320616c72656164792070617573657200000000000000
00001c26: PUSH1 0x44
00001c28: DUP3
00001c29: ADD
00001c2a: MSTORE
00001c2b: PUSH1 0x64
00001c2d: ADD
00001c2e: PUSH2 0x066a
00001c31: JUMP
00001c32: JUMPDEST
00001c33: PUSH1 0x01
00001c35: PUSH1 0x01
00001c37: PUSH1 0xa0
00001c39: SHL
00001c3a: SUB
00001c3b: DUP2
00001c3c: AND
00001c3d: PUSH1 0x00
00001c3f: DUP2
00001c40: DUP2
00001c41: MSTORE
00001c42: PUSH1 0x02
00001c44: PUSH1 0x20
00001c46: SWAP1
00001c47: DUP2
00001c48: MSTORE
00001c49: PUSH1 0x40
00001c4b: SWAP2
00001c4c: DUP3
00001c4d: SWAP1
00001c4e: KECCAK256
00001c4f: DUP1
00001c50: SLOAD
00001c51: PUSH1 0xff
00001c53: NOT
00001c54: AND
00001c55: PUSH1 0x01
00001c57: OR
00001c58: SWAP1
00001c59: SSTORE
00001c5a: SWAP1
00001c5b: MLOAD
00001c5c: SWAP2
00001c5d: DUP3
00001c5e: MSTORE
00001c5f: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
00001c80: SWAP2
00001c81: ADD
00001c82: PUSH2 0x0d57
00001c85: JUMP
00001c86: JUMPDEST
00001c87: PUSH1 0x01
00001c89: SLOAD
00001c8a: PUSH1 0x01
00001c8c: PUSH1 0xa0
00001c8e: SHL
00001c8f: SWAP1
00001c90: DIV
00001c91: PUSH1 0xff
00001c93: AND
00001c94: ISZERO
00001c95: PUSH2 0x1cd3
00001c98: JUMPI
00001c99: PUSH1 0x40
00001c9b: MLOAD
00001c9c: PUSH3 0x461bcd
00001ca0: PUSH1 0xe5
00001ca2: SHL
00001ca3: DUP2
00001ca4: MSTORE
00001ca5: PUSH1 0x20
00001ca7: PUSH1 0x04
00001ca9: DUP3
00001caa: ADD
00001cab: MSTORE
00001cac: PUSH1 0x10
00001cae: PUSH1 0x24
00001cb0: DUP3
00001cb1: ADD
00001cb2: MSTORE
00001cb3: PUSH16 0x14185d5cd8589b194e881c185d5cd959
00001cc4: PUSH1 0x82
00001cc6: SHL
00001cc7: PUSH1 0x44
00001cc9: DUP3
00001cca: ADD
00001ccb: MSTORE
00001ccc: PUSH1 0x64
00001cce: ADD
00001ccf: PUSH2 0x066a
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: PUSH1 0x01
00001cd6: DUP1
00001cd7: SLOAD
00001cd8: PUSH1 0xff
00001cda: PUSH1 0xa0
00001cdc: SHL
00001cdd: NOT
00001cde: AND
00001cdf: PUSH1 0x01
00001ce1: PUSH1 0xa0
00001ce3: SHL
00001ce4: OR
00001ce5: SWAP1
00001ce6: SSTORE
00001ce7: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001d08: PUSH2 0x1a94
00001d0b: CALLER
00001d0c: SWAP1
00001d0d: JUMP
00001d0e: JUMPDEST
00001d0f: PUSH1 0x40
00001d11: DUP1
00001d12: MLOAD
00001d13: PUSH1 0x80
00001d15: DUP2
00001d16: ADD
00001d17: DUP3
00001d18: MSTORE
00001d19: PUSH1 0x00
00001d1b: DUP1
00001d1c: DUP3
00001d1d: MSTORE
00001d1e: PUSH1 0x20
00001d20: DUP3
00001d21: ADD
00001d22: DUP2
00001d23: SWAP1
00001d24: MSTORE
00001d25: SWAP2
00001d26: DUP2
00001d27: ADD
00001d28: DUP3
00001d29: SWAP1
00001d2a: MSTORE
00001d2b: PUSH1 0x60
00001d2d: DUP2
00001d2e: ADD
00001d2f: SWAP2
00001d30: SWAP1
00001d31: SWAP2
00001d32: MSTORE
00001d33: PUSH1 0x00
00001d35: DUP3
00001d36: DUP2
00001d37: MSTORE
00001d38: PUSH1 0x08
00001d3a: PUSH1 0x20
00001d3c: SWAP1
00001d3d: DUP2
00001d3e: MSTORE
00001d3f: PUSH1 0x40
00001d41: SWAP2
00001d42: DUP3
00001d43: SWAP1
00001d44: KECCAK256
00001d45: DUP3
00001d46: MLOAD
00001d47: PUSH1 0x80
00001d49: DUP2
00001d4a: ADD
00001d4b: DUP5
00001d4c: MSTORE
00001d4d: DUP2
00001d4e: SLOAD
00001d4f: PUSH1 0x01
00001d51: PUSH1 0x01
00001d53: PUSH1 0xa0
00001d55: SHL
00001d56: SUB
00001d57: SWAP1
00001d58: DUP2
00001d59: AND
00001d5a: DUP3
00001d5b: MSTORE
00001d5c: PUSH1 0x01
00001d5e: DUP4
00001d5f: ADD
00001d60: SLOAD
00001d61: AND
00001d62: SWAP3
00001d63: DUP2
00001d64: ADD
00001d65: SWAP3
00001d66: SWAP1
00001d67: SWAP3
00001d68: MSTORE
00001d69: PUSH1 0x02
00001d6b: DUP2
00001d6c: ADD
00001d6d: SLOAD
00001d6e: SWAP3
00001d6f: DUP3
00001d70: ADD
00001d71: SWAP3
00001d72: SWAP1
00001d73: SWAP3
00001d74: MSTORE
00001d75: PUSH1 0x03
00001d77: SWAP1
00001d78: SWAP2
00001d79: ADD
00001d7a: SLOAD
00001d7b: PUSH1 0x60
00001d7d: DUP3
00001d7e: ADD
00001d7f: DUP2
00001d80: SWAP1
00001d81: MSTORE
00001d82: PUSH2 0x1dcd
00001d85: JUMPI
00001d86: PUSH1 0x40
00001d88: MLOAD
00001d89: PUSH3 0x461bcd
00001d8d: PUSH1 0xe5
00001d8f: SHL
00001d90: DUP2
00001d91: MSTORE
00001d92: PUSH1 0x20
00001d94: PUSH1 0x04
00001d96: DUP3
00001d97: ADD
00001d98: MSTORE
00001d99: PUSH1 0x1a
00001d9b: PUSH1 0x24
00001d9d: DUP3
00001d9e: ADD
00001d9f: MSTORE
00001da0: PUSH32 0x64656c61796564207472616e73666572206e6f74206578697374000000000000
00001dc1: PUSH1 0x44
00001dc3: DUP3
00001dc4: ADD
00001dc5: MSTORE
00001dc6: PUSH1 0x64
00001dc8: ADD
00001dc9: PUSH2 0x066a
00001dcc: JUMP
00001dcd: JUMPDEST
00001dce: PUSH1 0x0a
00001dd0: SLOAD
00001dd1: DUP2
00001dd2: PUSH1 0x60
00001dd4: ADD
00001dd5: MLOAD
00001dd6: PUSH2 0x1ddf
00001dd9: SWAP2
00001dda: SWAP1
00001ddb: PUSH2 0x2d16
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: TIMESTAMP
00001de1: GT
00001de2: PUSH2 0x1e2d
00001de5: JUMPI
00001de6: PUSH1 0x40
00001de8: MLOAD
00001de9: PUSH3 0x461bcd
00001ded: PUSH1 0xe5
00001def: SHL
00001df0: DUP2
00001df1: MSTORE
00001df2: PUSH1 0x20
00001df4: PUSH1 0x04
00001df6: DUP3
00001df7: ADD
00001df8: MSTORE
00001df9: PUSH1 0x1d
00001dfb: PUSH1 0x24
00001dfd: DUP3
00001dfe: ADD
00001dff: MSTORE
00001e00: PUSH32 0x64656c61796564207472616e73666572207374696c6c206c6f636b6564000000
00001e21: PUSH1 0x44
00001e23: DUP3
00001e24: ADD
00001e25: MSTORE
00001e26: PUSH1 0x64
00001e28: ADD
00001e29: PUSH2 0x066a
00001e2c: JUMP
00001e2d: JUMPDEST
00001e2e: PUSH1 0x00
00001e30: DUP4
00001e31: DUP2
00001e32: MSTORE
00001e33: PUSH1 0x08
00001e35: PUSH1 0x20
00001e37: SWAP1
00001e38: DUP2
00001e39: MSTORE
00001e3a: PUSH1 0x40
00001e3c: DUP1
00001e3d: DUP4
00001e3e: KECCAK256
00001e3f: DUP1
00001e40: SLOAD
00001e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e56: NOT
00001e57: SWAP1
00001e58: DUP2
00001e59: AND
00001e5a: DUP3
00001e5b: SSTORE
00001e5c: PUSH1 0x01
00001e5e: DUP3
00001e5f: ADD
00001e60: DUP1
00001e61: SLOAD
00001e62: SWAP1
00001e63: SWAP2
00001e64: AND
00001e65: SWAP1
00001e66: SSTORE
00001e67: PUSH1 0x02
00001e69: DUP2
00001e6a: ADD
00001e6b: DUP5
00001e6c: SWAP1
00001e6d: SSTORE
00001e6e: PUSH1 0x03
00001e70: ADD
00001e71: SWAP3
00001e72: SWAP1
00001e73: SWAP3
00001e74: SSTORE
00001e75: DUP3
00001e76: MLOAD
00001e77: SWAP1
00001e78: DUP4
00001e79: ADD
00001e7a: MLOAD
00001e7b: DUP4
00001e7c: DUP4
00001e7d: ADD
00001e7e: MLOAD
00001e7f: SWAP3
00001e80: MLOAD
00001e81: PUSH32 0x3b40e5089937425d14cdd96947e5661868357e224af59bd8b24a4b8a330d4426
00001ea2: SWAP4
00001ea3: PUSH2 0x1ed2
00001ea6: SWAP4
00001ea7: DUP9
00001ea8: SWAP4
00001ea9: SWAP1
00001eaa: SWAP3
00001eab: SWAP1
00001eac: SWAP2
00001ead: SWAP1
00001eae: SWAP4
00001eaf: DUP5
00001eb0: MSTORE
00001eb1: PUSH1 0x01
00001eb3: PUSH1 0x01
00001eb5: PUSH1 0xa0
00001eb7: SHL
00001eb8: SUB
00001eb9: SWAP3
00001eba: DUP4
00001ebb: AND
00001ebc: PUSH1 0x20
00001ebe: DUP6
00001ebf: ADD
00001ec0: MSTORE
00001ec1: SWAP2
00001ec2: AND
00001ec3: PUSH1 0x40
00001ec5: DUP4
00001ec6: ADD
00001ec7: MSTORE
00001ec8: PUSH1 0x60
00001eca: DUP3
00001ecb: ADD
00001ecc: MSTORE
00001ecd: PUSH1 0x80
00001ecf: ADD
00001ed0: SWAP1
00001ed1: JUMP
00001ed2: JUMPDEST
00001ed3: PUSH1 0x40
00001ed5: MLOAD
00001ed6: DUP1
00001ed7: SWAP2
00001ed8: SUB
00001ed9: SWAP1
00001eda: LOG1
00001edb: SWAP3
00001edc: SWAP2
00001edd: POP
00001ede: POP
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: PUSH1 0x40
00001ee3: MLOAD
00001ee4: PUSH1 0x01
00001ee6: PUSH1 0x01
00001ee8: PUSH1 0xa0
00001eea: SHL
00001eeb: SUB
00001eec: DUP4
00001eed: AND
00001eee: PUSH1 0x24
00001ef0: DUP3
00001ef1: ADD
00001ef2: MSTORE
00001ef3: PUSH1 0x44
00001ef5: DUP2
00001ef6: ADD
00001ef7: DUP3
00001ef8: SWAP1
00001ef9: MSTORE
00001efa: PUSH2 0x1f10
00001efd: SWAP1
00001efe: DUP5
00001eff: SWAP1
00001f00: PUSH4 0xa9059cbb
00001f05: PUSH1 0xe0
00001f07: SHL
00001f08: SWAP1
00001f09: PUSH1 0x64
00001f0b: ADD
00001f0c: PUSH2 0x18e4
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: POP
00001f12: POP
00001f13: POP
00001f14: JUMP
00001f15: JUMPDEST
00001f16: PUSH1 0x40
00001f18: DUP1
00001f19: MLOAD
00001f1a: PUSH1 0xc0
00001f1c: DUP2
00001f1d: ADD
00001f1e: DUP3
00001f1f: MSTORE
00001f20: PUSH1 0x00
00001f22: DUP1
00001f23: DUP3
00001f24: MSTORE
00001f25: PUSH1 0x20
00001f27: DUP1
00001f28: DUP4
00001f29: ADD
00001f2a: DUP3
00001f2b: SWAP1
00001f2c: MSTORE
00001f2d: DUP3
00001f2e: DUP5
00001f2f: ADD
00001f30: DUP3
00001f31: SWAP1
00001f32: MSTORE
00001f33: PUSH1 0x60
00001f35: DUP4
00001f36: ADD
00001f37: DUP3
00001f38: SWAP1
00001f39: MSTORE
00001f3a: PUSH1 0x80
00001f3c: DUP4
00001f3d: ADD
00001f3e: DUP3
00001f3f: SWAP1
00001f40: MSTORE
00001f41: PUSH1 0xa0
00001f43: DUP4
00001f44: ADD
00001f45: DUP3
00001f46: SWAP1
00001f47: MSTORE
00001f48: DUP4
00001f49: MLOAD
00001f4a: DUP1
00001f4b: DUP6
00001f4c: ADD
00001f4d: SWAP1
00001f4e: SWAP5
00001f4f: MSTORE
00001f50: DUP2
00001f51: DUP5
00001f52: MSTORE
00001f53: DUP4
00001f54: ADD
00001f55: DUP5
00001f56: SWAP1
00001f57: MSTORE
00001f58: SWAP1
00001f59: SWAP2
00001f5a: SWAP1
00001f5b: DUP1
00001f5c: JUMPDEST
00001f5d: PUSH1 0x20
00001f5f: DUP4
00001f60: ADD
00001f61: MLOAD
00001f62: MLOAD
00001f63: DUP4
00001f64: MLOAD
00001f65: LT
00001f66: ISZERO
00001f67: PUSH2 0x206f
00001f6a: JUMPI
00001f6b: PUSH2 0x1f73
00001f6e: DUP4
00001f6f: PUSH2 0x244d
00001f72: JUMP
00001f73: JUMPDEST
00001f74: SWAP1
00001f75: SWAP3
00001f76: POP
00001f77: SWAP1
00001f78: POP
00001f79: DUP2
00001f7a: PUSH1 0x01
00001f7c: EQ
00001f7d: ISZERO
00001f7e: PUSH2 0x1fa2
00001f81: JUMPI
00001f82: PUSH2 0x1f92
00001f85: PUSH2 0x1f8d
00001f88: DUP5
00001f89: PUSH2 0x2487
00001f8c: JUMP
00001f8d: JUMPDEST
00001f8e: PUSH2 0x2544
00001f91: JUMP
00001f92: JUMPDEST
00001f93: PUSH1 0x01
00001f95: PUSH1 0x01
00001f97: PUSH1 0xa0
00001f99: SHL
00001f9a: SUB
00001f9b: AND
00001f9c: DUP5
00001f9d: MSTORE
00001f9e: PUSH2 0x1f5c
00001fa1: JUMP
00001fa2: JUMPDEST
00001fa3: DUP2
00001fa4: PUSH1 0x02
00001fa6: EQ
00001fa7: ISZERO
00001fa8: PUSH2 0x1fca
00001fab: JUMPI
00001fac: PUSH2 0x1fb7
00001faf: PUSH2 0x1f8d
00001fb2: DUP5
00001fb3: PUSH2 0x2487
00001fb6: JUMP
00001fb7: JUMPDEST
00001fb8: PUSH1 0x01
00001fba: PUSH1 0x01
00001fbc: PUSH1 0xa0
00001fbe: SHL
00001fbf: SUB
00001fc0: AND
00001fc1: PUSH1 0x20
00001fc3: DUP6
00001fc4: ADD
00001fc5: MSTORE
00001fc6: PUSH2 0x1f5c
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: DUP2
00001fcc: PUSH1 0x03
00001fce: EQ
00001fcf: ISZERO
00001fd0: PUSH2 0x1fee
00001fd3: JUMPI
00001fd4: PUSH2 0x1fe4
00001fd7: PUSH2 0x1fdf
00001fda: DUP5
00001fdb: PUSH2 0x2487
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: PUSH2 0x2555
00001fe3: JUMP
00001fe4: JUMPDEST
00001fe5: PUSH1 0x40
00001fe7: DUP6
00001fe8: ADD
00001fe9: MSTORE
00001fea: PUSH2 0x1f5c
00001fed: JUMP
00001fee: JUMPDEST
00001fef: DUP2
00001ff0: PUSH1 0x04
00001ff2: EQ
00001ff3: ISZERO
00001ff4: PUSH2 0x2016
00001ff7: JUMPI
00001ff8: PUSH2 0x2003
00001ffb: PUSH2 0x1f8d
00001ffe: DUP5
00001fff: PUSH2 0x2487
00002002: JUMP
00002003: JUMPDEST
00002004: PUSH1 0x01
00002006: PUSH1 0x01
00002008: PUSH1 0xa0
0000200a: SHL
0000200b: SUB
0000200c: AND
0000200d: PUSH1 0x60
0000200f: DUP6
00002010: ADD
00002011: MSTORE
00002012: PUSH2 0x1f5c
00002015: JUMP
00002016: JUMPDEST
00002017: DUP2
00002018: PUSH1 0x05
0000201a: EQ
0000201b: ISZERO
0000201c: PUSH2 0x203c
0000201f: JUMPI
00002020: PUSH2 0x2028
00002023: DUP4
00002024: PUSH2 0x258c
00002027: JUMP
00002028: JUMPDEST
00002029: PUSH8 0xffffffffffffffff
00002032: AND
00002033: PUSH1 0x80
00002035: DUP6
00002036: ADD
00002037: MSTORE
00002038: PUSH2 0x1f5c
0000203b: JUMP
0000203c: JUMPDEST
0000203d: DUP2
0000203e: PUSH1 0x06
00002040: EQ
00002041: ISZERO
00002042: PUSH2 0x2060
00002045: JUMPI
00002046: PUSH2 0x2056
00002049: PUSH2 0x2051
0000204c: DUP5
0000204d: PUSH2 0x2487
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH2 0x260e
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0xa0
00002059: DUP6
0000205a: ADD
0000205b: MSTORE
0000205c: PUSH2 0x1f5c
0000205f: JUMP
00002060: JUMPDEST
00002061: PUSH2 0x206a
00002064: DUP4
00002065: DUP3
00002066: PUSH2 0x2626
00002069: JUMP
0000206a: JUMPDEST
0000206b: PUSH2 0x1f5c
0000206e: JUMP
0000206f: JUMPDEST
00002070: POP
00002071: POP
00002072: POP
00002073: SWAP2
00002074: SWAP1
00002075: POP
00002076: JUMP
00002077: JUMPDEST
00002078: PUSH1 0x04
0000207a: SLOAD
0000207b: PUSH2 0x2082
0000207e: JUMPI
0000207f: POP
00002080: POP
00002081: JUMP
00002082: JUMPDEST
00002083: PUSH1 0x01
00002085: PUSH1 0x01
00002087: PUSH1 0xa0
00002089: SHL
0000208a: SUB
0000208b: DUP3
0000208c: AND
0000208d: PUSH1 0x00
0000208f: SWAP1
00002090: DUP2
00002091: MSTORE
00002092: PUSH1 0x06
00002094: PUSH1 0x20
00002096: MSTORE
00002097: PUSH1 0x40
00002099: SWAP1
0000209a: KECCAK256
0000209b: SLOAD
0000209c: DUP1
0000209d: PUSH2 0x20a5
000020a0: JUMPI
000020a1: POP
000020a2: POP
000020a3: POP
000020a4: JUMP
000020a5: JUMPDEST
000020a6: PUSH1 0x01
000020a8: PUSH1 0x01
000020aa: PUSH1 0xa0
000020ac: SHL
000020ad: SUB
000020ae: DUP4
000020af: AND
000020b0: PUSH1 0x00
000020b2: SWAP1
000020b3: DUP2
000020b4: MSTORE
000020b5: PUSH1 0x05
000020b7: PUSH1 0x20
000020b9: MSTORE
000020ba: PUSH1 0x40
000020bc: DUP2
000020bd: KECCAK256
000020be: SLOAD
000020bf: PUSH1 0x04
000020c1: SLOAD
000020c2: SWAP1
000020c3: SWAP2
000020c4: TIMESTAMP
000020c5: SWAP2
000020c6: PUSH2 0x20cf
000020c9: DUP2
000020ca: DUP5
000020cb: PUSH2 0x2d2e
000020ce: JUMP
000020cf: JUMPDEST
000020d0: PUSH2 0x20d9
000020d3: SWAP2
000020d4: SWAP1
000020d5: PUSH2 0x2d50
000020d8: JUMP
000020d9: JUMPDEST
000020da: PUSH1 0x01
000020dc: PUSH1 0x01
000020de: PUSH1 0xa0
000020e0: SHL
000020e1: SUB
000020e2: DUP8
000020e3: AND
000020e4: PUSH1 0x00
000020e6: SWAP1
000020e7: DUP2
000020e8: MSTORE
000020e9: PUSH1 0x07
000020eb: PUSH1 0x20
000020ed: MSTORE
000020ee: PUSH1 0x40
000020f0: SWAP1
000020f1: KECCAK256
000020f2: SLOAD
000020f3: SWAP1
000020f4: SWAP2
000020f5: POP
000020f6: DUP2
000020f7: GT
000020f8: ISZERO
000020f9: PUSH2 0x2104
000020fc: JUMPI
000020fd: DUP5
000020fe: SWAP3
000020ff: POP
00002100: PUSH2 0x2111
00002103: JUMP
00002104: JUMPDEST
00002105: PUSH2 0x210e
00002108: DUP6
00002109: DUP5
0000210a: PUSH2 0x2d16
0000210d: JUMP
0000210e: JUMPDEST
0000210f: SWAP3
00002110: POP
00002111: JUMPDEST
00002112: DUP4
00002113: DUP4
00002114: GT
00002115: ISZERO
00002116: PUSH2 0x2161
00002119: JUMPI
0000211a: PUSH1 0x40
0000211c: MLOAD
0000211d: PUSH3 0x461bcd
00002121: PUSH1 0xe5
00002123: SHL
00002124: DUP2
00002125: MSTORE
00002126: PUSH1 0x20
00002128: PUSH1 0x04
0000212a: DUP3
0000212b: ADD
0000212c: MSTORE
0000212d: PUSH1 0x12
0000212f: PUSH1 0x24
00002131: DUP3
00002132: ADD
00002133: MSTORE
00002134: PUSH32 0x766f6c756d652065786365656473206361700000000000000000000000000000
00002155: PUSH1 0x44
00002157: DUP3
00002158: ADD
00002159: MSTORE
0000215a: PUSH1 0x64
0000215c: ADD
0000215d: PUSH2 0x066a
00002160: JUMP
00002161: JUMPDEST
00002162: POP
00002163: PUSH1 0x01
00002165: PUSH1 0x01
00002167: PUSH1 0xa0
00002169: SHL
0000216a: SUB
0000216b: SWAP1
0000216c: SWAP5
0000216d: AND
0000216e: PUSH1 0x00
00002170: SWAP1
00002171: DUP2
00002172: MSTORE
00002173: PUSH1 0x05
00002175: PUSH1 0x20
00002177: SWAP1
00002178: DUP2
00002179: MSTORE
0000217a: PUSH1 0x40
0000217c: DUP1
0000217d: DUP4
0000217e: KECCAK256
0000217f: SWAP4
00002180: SWAP1
00002181: SWAP4
00002182: SSTORE
00002183: PUSH1 0x07
00002185: SWAP1
00002186: MSTORE
00002187: KECCAK256
00002188: SWAP3
00002189: SWAP1
0000218a: SWAP3
0000218b: SSTORE
0000218c: POP
0000218d: POP
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x00
00002192: DUP5
00002193: DUP2
00002194: MSTORE
00002195: PUSH1 0x08
00002197: PUSH1 0x20
00002199: MSTORE
0000219a: PUSH1 0x40
0000219c: SWAP1
0000219d: KECCAK256
0000219e: PUSH1 0x03
000021a0: ADD
000021a1: SLOAD
000021a2: ISZERO
000021a3: PUSH2 0x21ee
000021a6: JUMPI
000021a7: PUSH1 0x40
000021a9: MLOAD
000021aa: PUSH3 0x461bcd
000021ae: PUSH1 0xe5
000021b0: SHL
000021b1: DUP2
000021b2: MSTORE
000021b3: PUSH1 0x20
000021b5: PUSH1 0x04
000021b7: DUP3
000021b8: ADD
000021b9: MSTORE
000021ba: PUSH1 0x1f
000021bc: PUSH1 0x24
000021be: DUP3
000021bf: ADD
000021c0: MSTORE
000021c1: PUSH32 0x64656c61796564207472616e7366657220616c72656164792065786973747300
000021e2: PUSH1 0x44
000021e4: DUP3
000021e5: ADD
000021e6: MSTORE
000021e7: PUSH1 0x64
000021e9: ADD
000021ea: PUSH2 0x066a
000021ed: JUMP
000021ee: JUMPDEST
000021ef: PUSH1 0x40
000021f1: DUP1
000021f2: MLOAD
000021f3: PUSH1 0x80
000021f5: DUP2
000021f6: ADD
000021f7: DUP3
000021f8: MSTORE
000021f9: PUSH1 0x01
000021fb: PUSH1 0x01
000021fd: PUSH1 0xa0
000021ff: SHL
00002200: SUB
00002201: DUP1
00002202: DUP7
00002203: AND
00002204: DUP3
00002205: MSTORE
00002206: DUP5
00002207: DUP2
00002208: AND
00002209: PUSH1 0x20
0000220b: DUP1
0000220c: DUP5
0000220d: ADD
0000220e: SWAP2
0000220f: DUP3
00002210: MSTORE
00002211: DUP4
00002212: DUP6
00002213: ADD
00002214: DUP7
00002215: DUP2
00002216: MSTORE
00002217: TIMESTAMP
00002218: PUSH1 0x60
0000221a: DUP7
0000221b: ADD
0000221c: SWAP1
0000221d: DUP2
0000221e: MSTORE
0000221f: PUSH1 0x00
00002221: DUP12
00002222: DUP2
00002223: MSTORE
00002224: PUSH1 0x08
00002226: SWAP1
00002227: SWAP4
00002228: MSTORE
00002229: SWAP2
0000222a: DUP7
0000222b: SWAP1
0000222c: KECCAK256
0000222d: SWAP5
0000222e: MLOAD
0000222f: DUP6
00002230: SLOAD
00002231: SWAP1
00002232: DUP6
00002233: AND
00002234: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002249: NOT
0000224a: SWAP2
0000224b: DUP3
0000224c: AND
0000224d: OR
0000224e: DUP7
0000224f: SSTORE
00002250: SWAP3
00002251: MLOAD
00002252: PUSH1 0x01
00002254: DUP7
00002255: ADD
00002256: DUP1
00002257: SLOAD
00002258: SWAP2
00002259: SWAP1
0000225a: SWAP6
0000225b: AND
0000225c: SWAP4
0000225d: AND
0000225e: SWAP3
0000225f: SWAP1
00002260: SWAP3
00002261: OR
00002262: SWAP1
00002263: SWAP3
00002264: SSTORE
00002265: MLOAD
00002266: PUSH1 0x02
00002268: DUP4
00002269: ADD
0000226a: SSTORE
0000226b: MLOAD
0000226c: PUSH1 0x03
0000226e: SWAP1
0000226f: SWAP2
00002270: ADD
00002271: SSTORE
00002272: MLOAD
00002273: PUSH32 0xcbcfffe5102114216a85d3aceb14ad4b81a3935b1b5c468fadf3889eb9c5dce6
00002294: SWAP1
00002295: PUSH2 0x22a1
00002298: SWAP1
00002299: DUP7
0000229a: DUP2
0000229b: MSTORE
0000229c: PUSH1 0x20
0000229e: ADD
0000229f: SWAP1
000022a0: JUMP
000022a1: JUMPDEST
000022a2: PUSH1 0x40
000022a4: MLOAD
000022a5: DUP1
000022a6: SWAP2
000022a7: SUB
000022a8: SWAP1
000022a9: LOG1
000022aa: POP
000022ab: POP
000022ac: POP
000022ad: POP
000022ae: JUMP
000022af: JUMPDEST
000022b0: PUSH1 0x01
000022b2: PUSH1 0x01
000022b4: PUSH1 0xa0
000022b6: SHL
000022b7: SUB
000022b8: DUP2
000022b9: AND
000022ba: PUSH1 0x00
000022bc: SWAP1
000022bd: DUP2
000022be: MSTORE
000022bf: PUSH1 0x03
000022c1: PUSH1 0x20
000022c3: MSTORE
000022c4: PUSH1 0x40
000022c6: SWAP1
000022c7: KECCAK256
000022c8: SLOAD
000022c9: PUSH1 0xff
000022cb: AND
000022cc: PUSH2 0x2317
000022cf: JUMPI
000022d0: PUSH1 0x40
000022d2: MLOAD
000022d3: PUSH3 0x461bcd
000022d7: PUSH1 0xe5
000022d9: SHL
000022da: DUP2
000022db: MSTORE
000022dc: PUSH1 0x20
000022de: PUSH1 0x04
000022e0: DUP3
000022e1: ADD
000022e2: MSTORE
000022e3: PUSH1 0x17
000022e5: PUSH1 0x24
000022e7: DUP3
000022e8: ADD
000022e9: MSTORE
000022ea: PUSH32 0x4163636f756e74206973206e6f7420676f7665726e6f72000000000000000000
0000230b: PUSH1 0x44
0000230d: DUP3
0000230e: ADD
0000230f: MSTORE
00002310: PUSH1 0x64
00002312: ADD
00002313: PUSH2 0x066a
00002316: JUMP
00002317: JUMPDEST
00002318: PUSH1 0x01
0000231a: PUSH1 0x01
0000231c: PUSH1 0xa0
0000231e: SHL
0000231f: SUB
00002320: DUP2
00002321: AND
00002322: PUSH1 0x00
00002324: DUP2
00002325: DUP2
00002326: MSTORE
00002327: PUSH1 0x03
00002329: PUSH1 0x20
0000232b: SWAP1
0000232c: DUP2
0000232d: MSTORE
0000232e: PUSH1 0x40
00002330: SWAP2
00002331: DUP3
00002332: SWAP1
00002333: KECCAK256
00002334: DUP1
00002335: SLOAD
00002336: PUSH1 0xff
00002338: NOT
00002339: AND
0000233a: SWAP1
0000233b: SSTORE
0000233c: SWAP1
0000233d: MLOAD
0000233e: SWAP2
0000233f: DUP3
00002340: MSTORE
00002341: PUSH32 0x1ebe834e73d60a5fec822c1e1727d34bc79f2ad977ed504581cc1822fe20fb5b
00002362: SWAP2
00002363: ADD
00002364: PUSH2 0x0d57
00002367: JUMP
00002368: JUMPDEST
00002369: PUSH1 0x00
0000236b: PUSH2 0x23bd
0000236e: DUP3
0000236f: PUSH1 0x40
00002371: MLOAD
00002372: DUP1
00002373: PUSH1 0x40
00002375: ADD
00002376: PUSH1 0x40
00002378: MSTORE
00002379: DUP1
0000237a: PUSH1 0x20
0000237c: DUP2
0000237d: MSTORE
0000237e: PUSH1 0x20
00002380: ADD
00002381: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000023a2: DUP2
000023a3: MSTORE
000023a4: POP
000023a5: DUP6
000023a6: PUSH1 0x01
000023a8: PUSH1 0x01
000023aa: PUSH1 0xa0
000023ac: SHL
000023ad: SUB
000023ae: AND
000023af: PUSH2 0x2698
000023b2: SWAP1
000023b3: SWAP3
000023b4: SWAP2
000023b5: SWAP1
000023b6: PUSH4 0xffffffff
000023bb: AND
000023bc: JUMP
000023bd: JUMPDEST
000023be: DUP1
000023bf: MLOAD
000023c0: SWAP1
000023c1: SWAP2
000023c2: POP
000023c3: ISZERO
000023c4: PUSH2 0x1f10
000023c7: JUMPI
000023c8: DUP1
000023c9: DUP1
000023ca: PUSH1 0x20
000023cc: ADD
000023cd: SWAP1
000023ce: MLOAD
000023cf: DUP2
000023d0: ADD
000023d1: SWAP1
000023d2: PUSH2 0x23db
000023d5: SWAP2
000023d6: SWAP1
000023d7: PUSH2 0x2d6f
000023da: JUMP
000023db: JUMPDEST
000023dc: PUSH2 0x1f10
000023df: JUMPI
000023e0: PUSH1 0x40
000023e2: MLOAD
000023e3: PUSH3 0x461bcd
000023e7: PUSH1 0xe5
000023e9: SHL
000023ea: DUP2
000023eb: MSTORE
000023ec: PUSH1 0x20
000023ee: PUSH1 0x04
000023f0: DUP3
000023f1: ADD
000023f2: MSTORE
000023f3: PUSH1 0x2a
000023f5: PUSH1 0x24
000023f7: DUP3
000023f8: ADD
000023f9: MSTORE
000023fa: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000241b: PUSH1 0x44
0000241d: DUP3
0000241e: ADD
0000241f: MSTORE
00002420: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
00002441: PUSH1 0x64
00002443: DUP3
00002444: ADD
00002445: MSTORE
00002446: PUSH1 0x84
00002448: ADD
00002449: PUSH2 0x066a
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH1 0x00
00002450: DUP1
00002451: PUSH1 0x00
00002453: PUSH2 0x245b
00002456: DUP5
00002457: PUSH2 0x258c
0000245a: JUMP
0000245b: JUMPDEST
0000245c: SWAP1
0000245d: POP
0000245e: PUSH2 0x2468
00002461: PUSH1 0x08
00002463: DUP3
00002464: PUSH2 0x2d2e
00002467: JUMP
00002468: JUMPDEST
00002469: SWAP3
0000246a: POP
0000246b: DUP1
0000246c: PUSH1 0x07
0000246e: AND
0000246f: PUSH1 0x05
00002471: DUP2
00002472: GT
00002473: ISZERO
00002474: PUSH2 0x247f
00002477: JUMPI
00002478: PUSH2 0x247f
0000247b: PUSH2 0x2d91
0000247e: JUMP
0000247f: JUMPDEST
00002480: SWAP2
00002481: POP
00002482: POP
00002483: SWAP2
00002484: POP
00002485: SWAP2
00002486: JUMP
00002487: JUMPDEST
00002488: PUSH1 0x60
0000248a: PUSH1 0x00
0000248c: PUSH2 0x2494
0000248f: DUP4
00002490: PUSH2 0x258c
00002493: JUMP
00002494: JUMPDEST
00002495: SWAP1
00002496: POP
00002497: PUSH1 0x00
00002499: DUP2
0000249a: DUP5
0000249b: PUSH1 0x00
0000249d: ADD
0000249e: MLOAD
0000249f: PUSH2 0x24a8
000024a2: SWAP2
000024a3: SWAP1
000024a4: PUSH2 0x2d16
000024a7: JUMP
000024a8: JUMPDEST
000024a9: SWAP1
000024aa: POP
000024ab: DUP4
000024ac: PUSH1 0x20
000024ae: ADD
000024af: MLOAD
000024b0: MLOAD
000024b1: DUP2
000024b2: GT
000024b3: ISZERO
000024b4: PUSH2 0x24bc
000024b7: JUMPI
000024b8: PUSH1 0x00
000024ba: DUP1
000024bb: REVERT
000024bc: JUMPDEST
000024bd: DUP2
000024be: PUSH8 0xffffffffffffffff
000024c7: DUP2
000024c8: GT
000024c9: ISZERO
000024ca: PUSH2 0x24d5
000024cd: JUMPI
000024ce: PUSH2 0x24d5
000024d1: PUSH2 0x2da7
000024d4: JUMP
000024d5: JUMPDEST
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: SWAP1
000024da: DUP1
000024db: DUP3
000024dc: MSTORE
000024dd: DUP1
000024de: PUSH1 0x1f
000024e0: ADD
000024e1: PUSH1 0x1f
000024e3: NOT
000024e4: AND
000024e5: PUSH1 0x20
000024e7: ADD
000024e8: DUP3
000024e9: ADD
000024ea: PUSH1 0x40
000024ec: MSTORE
000024ed: DUP1
000024ee: ISZERO
000024ef: PUSH2 0x24ff
000024f2: JUMPI
000024f3: PUSH1 0x20
000024f5: DUP3
000024f6: ADD
000024f7: DUP2
000024f8: DUP1
000024f9: CALLDATASIZE
000024fa: DUP4
000024fb: CALLDATACOPY
000024fc: ADD
000024fd: SWAP1
000024fe: POP
000024ff: JUMPDEST
00002500: POP
00002501: PUSH1 0x20
00002503: DUP1
00002504: DUP7
00002505: ADD
00002506: MLOAD
00002507: DUP7
00002508: MLOAD
00002509: SWAP3
0000250a: SWAP6
0000250b: POP
0000250c: SWAP2
0000250d: DUP2
0000250e: DUP7
0000250f: ADD
00002510: SWAP2
00002511: SWAP1
00002512: DUP4
00002513: ADD
00002514: ADD
00002515: PUSH1 0x00
00002517: JUMPDEST
00002518: DUP6
00002519: DUP2
0000251a: LT
0000251b: ISZERO
0000251c: PUSH2 0x2539
0000251f: JUMPI
00002520: DUP2
00002521: DUP2
00002522: ADD
00002523: MLOAD
00002524: DUP4
00002525: DUP3
00002526: ADD
00002527: MSTORE
00002528: PUSH2 0x2532
0000252b: PUSH1 0x20
0000252d: DUP3
0000252e: PUSH2 0x2d16
00002531: JUMP
00002532: JUMPDEST
00002533: SWAP1
00002534: POP
00002535: PUSH2 0x2517
00002538: JUMP
00002539: JUMPDEST
0000253a: POP
0000253b: POP
0000253c: POP
0000253d: SWAP4
0000253e: MSTORE
0000253f: POP
00002540: SWAP2
00002541: SWAP1
00002542: POP
00002543: JUMP
00002544: JUMPDEST
00002545: PUSH1 0x00
00002547: PUSH2 0x254f
0000254a: DUP3
0000254b: PUSH2 0x26b1
0000254e: JUMP
0000254f: JUMPDEST
00002550: SWAP3
00002551: SWAP2
00002552: POP
00002553: POP
00002554: JUMP
00002555: JUMPDEST
00002556: PUSH1 0x00
00002558: PUSH1 0x20
0000255a: DUP3
0000255b: MLOAD
0000255c: GT
0000255d: ISZERO
0000255e: PUSH2 0x2566
00002561: JUMPI
00002562: PUSH1 0x00
00002564: DUP1
00002565: REVERT
00002566: JUMPDEST
00002567: PUSH1 0x20
00002569: DUP3
0000256a: ADD
0000256b: MLOAD
0000256c: SWAP1
0000256d: POP
0000256e: DUP2
0000256f: MLOAD
00002570: PUSH1 0x20
00002572: PUSH2 0x257b
00002575: SWAP2
00002576: SWAP1
00002577: PUSH2 0x2dbd
0000257a: JUMP
0000257b: JUMPDEST
0000257c: PUSH2 0x2586
0000257f: SWAP1
00002580: PUSH1 0x08
00002582: PUSH2 0x2d50
00002585: JUMP
00002586: JUMPDEST
00002587: SHR
00002588: SWAP2
00002589: SWAP1
0000258a: POP
0000258b: JUMP
0000258c: JUMPDEST
0000258d: PUSH1 0x20
0000258f: DUP1
00002590: DUP3
00002591: ADD
00002592: MLOAD
00002593: DUP3
00002594: MLOAD
00002595: DUP2
00002596: ADD
00002597: SWAP1
00002598: SWAP2
00002599: ADD
0000259a: MLOAD
0000259b: PUSH1 0x00
0000259d: SWAP2
0000259e: DUP3
0000259f: DUP1
000025a0: JUMPDEST
000025a1: PUSH1 0x0a
000025a3: DUP2
000025a4: LT
000025a5: ISZERO
000025a6: PUSH2 0x2608
000025a9: JUMPI
000025aa: DUP4
000025ab: DUP2
000025ac: BYTE
000025ad: SWAP2
000025ae: POP
000025af: PUSH2 0x25b9
000025b2: DUP2
000025b3: PUSH1 0x07
000025b5: PUSH2 0x2d50
000025b8: JUMP
000025b9: JUMPDEST
000025ba: DUP3
000025bb: PUSH1 0x7f
000025bd: AND
000025be: SWAP1
000025bf: SHL
000025c0: DUP6
000025c1: OR
000025c2: SWAP5
000025c3: POP
000025c4: DUP2
000025c5: PUSH1 0x80
000025c7: AND
000025c8: PUSH1 0x00
000025ca: EQ
000025cb: ISZERO
000025cc: PUSH2 0x25f6
000025cf: JUMPI
000025d0: PUSH2 0x25da
000025d3: DUP2
000025d4: PUSH1 0x01
000025d6: PUSH2 0x2d16
000025d9: JUMP
000025da: JUMPDEST
000025db: DUP7
000025dc: MLOAD
000025dd: DUP8
000025de: SWAP1
000025df: PUSH2 0x25e9
000025e2: SWAP1
000025e3: DUP4
000025e4: SWAP1
000025e5: PUSH2 0x2d16
000025e8: JUMP
000025e9: JUMPDEST
000025ea: SWAP1
000025eb: MSTORE
000025ec: POP
000025ed: SWAP4
000025ee: SWAP6
000025ef: SWAP5
000025f0: POP
000025f1: POP
000025f2: POP
000025f3: POP
000025f4: POP
000025f5: JUMP
000025f6: JUMPDEST
000025f7: DUP1
000025f8: PUSH2 0x2600
000025fb: DUP2
000025fc: PUSH2 0x2aea
000025ff: JUMP
00002600: JUMPDEST
00002601: SWAP2
00002602: POP
00002603: POP
00002604: PUSH2 0x25a0
00002607: JUMP
00002608: JUMPDEST
00002609: POP
0000260a: PUSH1 0x00
0000260c: DUP1
0000260d: REVERT
0000260e: JUMPDEST
0000260f: PUSH1 0x00
00002611: DUP2
00002612: MLOAD
00002613: PUSH1 0x20
00002615: EQ
00002616: PUSH2 0x261e
00002619: JUMPI
0000261a: PUSH1 0x00
0000261c: DUP1
0000261d: REVERT
0000261e: JUMPDEST
0000261f: POP
00002620: PUSH1 0x20
00002622: ADD
00002623: MLOAD
00002624: SWAP1
00002625: JUMP
00002626: JUMPDEST
00002627: PUSH1 0x00
00002629: DUP2
0000262a: PUSH1 0x05
0000262c: DUP2
0000262d: GT
0000262e: ISZERO
0000262f: PUSH2 0x263a
00002632: JUMPI
00002633: PUSH2 0x263a
00002636: PUSH2 0x2d91
00002639: JUMP
0000263a: JUMPDEST
0000263b: EQ
0000263c: ISZERO
0000263d: PUSH2 0x2649
00002640: JUMPI
00002641: PUSH2 0x1f10
00002644: DUP3
00002645: PUSH2 0x258c
00002648: JUMP
00002649: JUMPDEST
0000264a: PUSH1 0x02
0000264c: DUP2
0000264d: PUSH1 0x05
0000264f: DUP2
00002650: GT
00002651: ISZERO
00002652: PUSH2 0x265d
00002655: JUMPI
00002656: PUSH2 0x265d
00002659: PUSH2 0x2d91
0000265c: JUMP
0000265d: JUMPDEST
0000265e: EQ
0000265f: ISZERO
00002660: PUSH2 0x025c
00002663: JUMPI
00002664: PUSH1 0x00
00002666: PUSH2 0x266e
00002669: DUP4
0000266a: PUSH2 0x258c
0000266d: JUMP
0000266e: JUMPDEST
0000266f: SWAP1
00002670: POP
00002671: DUP1
00002672: DUP4
00002673: PUSH1 0x00
00002675: ADD
00002676: DUP2
00002677: DUP2
00002678: MLOAD
00002679: PUSH2 0x2682
0000267c: SWAP2
0000267d: SWAP1
0000267e: PUSH2 0x2d16
00002681: JUMP
00002682: JUMPDEST
00002683: SWAP1
00002684: MSTORE
00002685: POP
00002686: PUSH1 0x20
00002688: DUP4
00002689: ADD
0000268a: MLOAD
0000268b: MLOAD
0000268c: DUP4
0000268d: MLOAD
0000268e: GT
0000268f: ISZERO
00002690: PUSH2 0x1f10
00002693: JUMPI
00002694: PUSH1 0x00
00002696: DUP1
00002697: REVERT
00002698: JUMPDEST
00002699: PUSH1 0x60
0000269b: PUSH2 0x26a7
0000269e: DUP5
0000269f: DUP5
000026a0: PUSH1 0x00
000026a2: DUP6
000026a3: PUSH2 0x26d9
000026a6: JUMP
000026a7: JUMPDEST
000026a8: SWAP1
000026a9: POP
000026aa: JUMPDEST
000026ab: SWAP4
000026ac: SWAP3
000026ad: POP
000026ae: POP
000026af: POP
000026b0: JUMP
000026b1: JUMPDEST
000026b2: PUSH1 0x00
000026b4: DUP2
000026b5: MLOAD
000026b6: PUSH1 0x14
000026b8: EQ
000026b9: PUSH2 0x26c1
000026bc: JUMPI
000026bd: PUSH1 0x00
000026bf: DUP1
000026c0: REVERT
000026c1: JUMPDEST
000026c2: POP
000026c3: PUSH1 0x20
000026c5: ADD
000026c6: MLOAD
000026c7: PUSH13 0x01000000000000000000000000
000026d5: SWAP1
000026d6: DIV
000026d7: SWAP1
000026d8: JUMP
000026d9: JUMPDEST
000026da: PUSH1 0x60
000026dc: DUP3
000026dd: SELFBALANCE
000026de: LT
000026df: ISZERO
000026e0: PUSH2 0x2751
000026e3: JUMPI
000026e4: PUSH1 0x40
000026e6: MLOAD
000026e7: PUSH3 0x461bcd
000026eb: PUSH1 0xe5
000026ed: SHL
000026ee: DUP2
000026ef: MSTORE
000026f0: PUSH1 0x20
000026f2: PUSH1 0x04
000026f4: DUP3
000026f5: ADD
000026f6: MSTORE
000026f7: PUSH1 0x26
000026f9: PUSH1 0x24
000026fb: DUP3
000026fc: ADD
000026fd: MSTORE
000026fe: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000271f: PUSH1 0x44
00002721: DUP3
00002722: ADD
00002723: MSTORE
00002724: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002745: PUSH1 0x64
00002747: DUP3
00002748: ADD
00002749: MSTORE
0000274a: PUSH1 0x84
0000274c: ADD
0000274d: PUSH2 0x066a
00002750: JUMP
00002751: JUMPDEST
00002752: DUP5
00002753: EXTCODESIZE
00002754: PUSH2 0x279f
00002757: JUMPI
00002758: PUSH1 0x40
0000275a: MLOAD
0000275b: PUSH3 0x461bcd
0000275f: PUSH1 0xe5
00002761: SHL
00002762: DUP2
00002763: MSTORE
00002764: PUSH1 0x20
00002766: PUSH1 0x04
00002768: DUP3
00002769: ADD
0000276a: MSTORE
0000276b: PUSH1 0x1d
0000276d: PUSH1 0x24
0000276f: DUP3
00002770: ADD
00002771: MSTORE
00002772: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002793: PUSH1 0x44
00002795: DUP3
00002796: ADD
00002797: MSTORE
00002798: PUSH1 0x64
0000279a: ADD
0000279b: PUSH2 0x066a
0000279e: JUMP
0000279f: JUMPDEST
000027a0: PUSH1 0x00
000027a2: DUP1
000027a3: DUP7
000027a4: PUSH1 0x01
000027a6: PUSH1 0x01
000027a8: PUSH1 0xa0
000027aa: SHL
000027ab: SUB
000027ac: AND
000027ad: DUP6
000027ae: DUP8
000027af: PUSH1 0x40
000027b1: MLOAD
000027b2: PUSH2 0x27bb
000027b5: SWAP2
000027b6: SWAP1
000027b7: PUSH2 0x2dd4
000027ba: JUMP
000027bb: JUMPDEST
000027bc: PUSH1 0x00
000027be: PUSH1 0x40
000027c0: MLOAD
000027c1: DUP1
000027c2: DUP4
000027c3: SUB
000027c4: DUP2
000027c5: DUP6
000027c6: DUP8
000027c7: GAS
000027c8: CALL
000027c9: SWAP3
000027ca: POP
000027cb: POP
000027cc: POP
000027cd: RETURNDATASIZE
000027ce: DUP1
000027cf: PUSH1 0x00
000027d1: DUP2
000027d2: EQ
000027d3: PUSH2 0x27f8
000027d6: JUMPI
000027d7: PUSH1 0x40
000027d9: MLOAD
000027da: SWAP2
000027db: POP
000027dc: PUSH1 0x1f
000027de: NOT
000027df: PUSH1 0x3f
000027e1: RETURNDATASIZE
000027e2: ADD
000027e3: AND
000027e4: DUP3
000027e5: ADD
000027e6: PUSH1 0x40
000027e8: MSTORE
000027e9: RETURNDATASIZE
000027ea: DUP3
000027eb: MSTORE
000027ec: RETURNDATASIZE
000027ed: PUSH1 0x00
000027ef: PUSH1 0x20
000027f1: DUP5
000027f2: ADD
000027f3: RETURNDATACOPY
000027f4: PUSH2 0x27fd
000027f7: JUMP
000027f8: JUMPDEST
000027f9: PUSH1 0x60
000027fb: SWAP2
000027fc: POP
000027fd: JUMPDEST
000027fe: POP
000027ff: SWAP2
00002800: POP
00002801: SWAP2
00002802: POP
00002803: PUSH2 0x280d
00002806: DUP3
00002807: DUP3
00002808: DUP7
00002809: PUSH2 0x2818
0000280c: JUMP
0000280d: JUMPDEST
0000280e: SWAP8
0000280f: SWAP7
00002810: POP
00002811: POP
00002812: POP
00002813: POP
00002814: POP
00002815: POP
00002816: POP
00002817: JUMP
00002818: JUMPDEST
00002819: PUSH1 0x60
0000281b: DUP4
0000281c: ISZERO
0000281d: PUSH2 0x2827
00002820: JUMPI
00002821: POP
00002822: DUP2
00002823: PUSH2 0x26aa
00002826: JUMP
00002827: JUMPDEST
00002828: DUP3
00002829: MLOAD
0000282a: ISZERO
0000282b: PUSH2 0x2837
0000282e: JUMPI
0000282f: DUP3
00002830: MLOAD
00002831: DUP1
00002832: DUP5
00002833: PUSH1 0x20
00002835: ADD
00002836: REVERT
00002837: JUMPDEST
00002838: DUP2
00002839: PUSH1 0x40
0000283b: MLOAD
0000283c: PUSH3 0x461bcd
00002840: PUSH1 0xe5
00002842: SHL
00002843: DUP2
00002844: MSTORE
00002845: PUSH1 0x04
00002847: ADD
00002848: PUSH2 0x066a
0000284b: SWAP2
0000284c: SWAP1
0000284d: PUSH2 0x2df0
00002850: JUMP
00002851: JUMPDEST
00002852: PUSH1 0x00
00002854: PUSH1 0x20
00002856: DUP3
00002857: DUP5
00002858: SUB
00002859: SLT
0000285a: ISZERO
0000285b: PUSH2 0x2863
0000285e: JUMPI
0000285f: PUSH1 0x00
00002861: DUP1
00002862: REVERT
00002863: JUMPDEST
00002864: POP
00002865: CALLDATALOAD
00002866: SWAP2
00002867: SWAP1
00002868: POP
00002869: JUMP
0000286a: JUMPDEST
0000286b: PUSH1 0x00
0000286d: DUP1
0000286e: DUP4
0000286f: PUSH1 0x1f
00002871: DUP5
00002872: ADD
00002873: SLT
00002874: PUSH2 0x287c
00002877: JUMPI
00002878: PUSH1 0x00
0000287a: DUP1
0000287b: REVERT
0000287c: JUMPDEST
0000287d: POP
0000287e: DUP2
0000287f: CALLDATALOAD
00002880: PUSH8 0xffffffffffffffff
00002889: DUP2
0000288a: GT
0000288b: ISZERO
0000288c: PUSH2 0x2894
0000288f: JUMPI
00002890: PUSH1 0x00
00002892: DUP1
00002893: REVERT
00002894: JUMPDEST
00002895: PUSH1 0x20
00002897: DUP4
00002898: ADD
00002899: SWAP2
0000289a: POP
0000289b: DUP4
0000289c: PUSH1 0x20
0000289e: DUP3
0000289f: PUSH1 0x05
000028a1: SHL
000028a2: DUP6
000028a3: ADD
000028a4: ADD
000028a5: GT
000028a6: ISZERO
000028a7: PUSH2 0x28af
000028aa: JUMPI
000028ab: PUSH1 0x00
000028ad: DUP1
000028ae: REVERT
000028af: JUMPDEST
000028b0: SWAP3
000028b1: POP
000028b2: SWAP3
000028b3: SWAP1
000028b4: POP
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH1 0x00
000028b9: DUP1
000028ba: PUSH1 0x00
000028bc: DUP1
000028bd: PUSH1 0x40
000028bf: DUP6
000028c0: DUP8
000028c1: SUB
000028c2: SLT
000028c3: ISZERO
000028c4: PUSH2 0x28cc
000028c7: JUMPI
000028c8: PUSH1 0x00
000028ca: DUP1
000028cb: REVERT
000028cc: JUMPDEST
000028cd: DUP5
000028ce: CALLDATALOAD
000028cf: PUSH8 0xffffffffffffffff
000028d8: DUP1
000028d9: DUP3
000028da: GT
000028db: ISZERO
000028dc: PUSH2 0x28e4
000028df: JUMPI
000028e0: PUSH1 0x00
000028e2: DUP1
000028e3: REVERT
000028e4: JUMPDEST
000028e5: PUSH2 0x28f0
000028e8: DUP9
000028e9: DUP4
000028ea: DUP10
000028eb: ADD
000028ec: PUSH2 0x286a
000028ef: JUMP
000028f0: JUMPDEST
000028f1: SWAP1
000028f2: SWAP7
000028f3: POP
000028f4: SWAP5
000028f5: POP
000028f6: PUSH1 0x20
000028f8: DUP8
000028f9: ADD
000028fa: CALLDATALOAD
000028fb: SWAP2
000028fc: POP
000028fd: DUP1
000028fe: DUP3
000028ff: GT
00002900: ISZERO
00002901: PUSH2 0x2909
00002904: JUMPI
00002905: PUSH1 0x00
00002907: DUP1
00002908: REVERT
00002909: JUMPDEST
0000290a: POP
0000290b: PUSH2 0x2916
0000290e: DUP8
0000290f: DUP3
00002910: DUP9
00002911: ADD
00002912: PUSH2 0x286a
00002915: JUMP
00002916: JUMPDEST
00002917: SWAP6
00002918: SWAP9
00002919: SWAP5
0000291a: SWAP8
0000291b: POP
0000291c: SWAP6
0000291d: POP
0000291e: POP
0000291f: POP
00002920: POP
00002921: JUMP
00002922: JUMPDEST
00002923: DUP1
00002924: CALLDATALOAD
00002925: PUSH1 0x01
00002927: PUSH1 0x01
00002929: PUSH1 0xa0
0000292b: SHL
0000292c: SUB
0000292d: DUP2
0000292e: AND
0000292f: DUP2
00002930: EQ
00002931: PUSH2 0x2939
00002934: JUMPI
00002935: PUSH1 0x00
00002937: DUP1
00002938: REVERT
00002939: JUMPDEST
0000293a: SWAP2
0000293b: SWAP1
0000293c: POP
0000293d: JUMP
0000293e: JUMPDEST
0000293f: DUP1
00002940: CALLDATALOAD
00002941: PUSH8 0xffffffffffffffff
0000294a: DUP2
0000294b: AND
0000294c: DUP2
0000294d: EQ
0000294e: PUSH2 0x2939
00002951: JUMPI
00002952: PUSH1 0x00
00002954: DUP1
00002955: REVERT
00002956: JUMPDEST
00002957: PUSH1 0x00
00002959: DUP1
0000295a: PUSH1 0x00
0000295c: DUP1
0000295d: PUSH1 0x00
0000295f: PUSH1 0xa0
00002961: DUP7
00002962: DUP9
00002963: SUB
00002964: SLT
00002965: ISZERO
00002966: PUSH2 0x296e
00002969: JUMPI
0000296a: PUSH1 0x00
0000296c: DUP1
0000296d: REVERT
0000296e: JUMPDEST
0000296f: PUSH2 0x2977
00002972: DUP7
00002973: PUSH2 0x2922
00002976: JUMP
00002977: JUMPDEST
00002978: SWAP5
00002979: POP
0000297a: PUSH1 0x20
0000297c: DUP7
0000297d: ADD
0000297e: CALLDATALOAD
0000297f: SWAP4
00002980: POP
00002981: PUSH2 0x298c
00002984: PUSH1 0x40
00002986: DUP8
00002987: ADD
00002988: PUSH2 0x293e
0000298b: JUMP
0000298c: JUMPDEST
0000298d: SWAP3
0000298e: POP
0000298f: PUSH2 0x299a
00002992: PUSH1 0x60
00002994: DUP8
00002995: ADD
00002996: PUSH2 0x2922
00002999: JUMP
0000299a: JUMPDEST
0000299b: SWAP2
0000299c: POP
0000299d: PUSH2 0x29a8
000029a0: PUSH1 0x80
000029a2: DUP8
000029a3: ADD
000029a4: PUSH2 0x293e
000029a7: JUMP
000029a8: JUMPDEST
000029a9: SWAP1
000029aa: POP
000029ab: SWAP3
000029ac: SWAP6
000029ad: POP
000029ae: SWAP3
000029af: SWAP6
000029b0: SWAP1
000029b1: SWAP4
000029b2: POP
000029b3: JUMP
000029b4: JUMPDEST
000029b5: PUSH1 0x00
000029b7: PUSH1 0x20
000029b9: DUP3
000029ba: DUP5
000029bb: SUB
000029bc: SLT
000029bd: ISZERO
000029be: PUSH2 0x29c6
000029c1: JUMPI
000029c2: PUSH1 0x00
000029c4: DUP1
000029c5: REVERT
000029c6: JUMPDEST
000029c7: PUSH2 0x26aa
000029ca: DUP3
000029cb: PUSH2 0x2922
000029ce: JUMP
000029cf: JUMPDEST
000029d0: PUSH1 0x00
000029d2: DUP1
000029d3: PUSH1 0x00
000029d5: DUP1
000029d6: PUSH1 0x00
000029d8: DUP1
000029d9: PUSH1 0x00
000029db: DUP1
000029dc: PUSH1 0x80
000029de: DUP10
000029df: DUP12
000029e0: SUB
000029e1: SLT
000029e2: ISZERO
000029e3: PUSH2 0x29eb
000029e6: JUMPI
000029e7: PUSH1 0x00
000029e9: DUP1
000029ea: REVERT
000029eb: JUMPDEST
000029ec: DUP9
000029ed: CALLDATALOAD
000029ee: PUSH8 0xffffffffffffffff
000029f7: DUP1
000029f8: DUP3
000029f9: GT
000029fa: ISZERO
000029fb: PUSH2 0x2a03
000029fe: JUMPI
000029ff: PUSH1 0x00
00002a01: DUP1
00002a02: REVERT
00002a03: JUMPDEST
00002a04: DUP2
00002a05: DUP12
00002a06: ADD
00002a07: SWAP2
00002a08: POP
00002a09: DUP12
00002a0a: PUSH1 0x1f
00002a0c: DUP4
00002a0d: ADD
00002a0e: SLT
00002a0f: PUSH2 0x2a17
00002a12: JUMPI
00002a13: PUSH1 0x00
00002a15: DUP1
00002a16: REVERT
00002a17: JUMPDEST
00002a18: DUP2
00002a19: CALLDATALOAD
00002a1a: DUP2
00002a1b: DUP2
00002a1c: GT
00002a1d: ISZERO
00002a1e: PUSH2 0x2a26
00002a21: JUMPI
00002a22: PUSH1 0x00
00002a24: DUP1
00002a25: REVERT
00002a26: JUMPDEST
00002a27: DUP13
00002a28: PUSH1 0x20
00002a2a: DUP3
00002a2b: DUP6
00002a2c: ADD
00002a2d: ADD
00002a2e: GT
00002a2f: ISZERO
00002a30: PUSH2 0x2a38
00002a33: JUMPI
00002a34: PUSH1 0x00
00002a36: DUP1
00002a37: REVERT
00002a38: JUMPDEST
00002a39: PUSH1 0x20
00002a3b: SWAP3
00002a3c: DUP4
00002a3d: ADD
00002a3e: SWAP11
00002a3f: POP
00002a40: SWAP9
00002a41: POP
00002a42: SWAP1
00002a43: DUP11
00002a44: ADD
00002a45: CALLDATALOAD
00002a46: SWAP1
00002a47: DUP1
00002a48: DUP3
00002a49: GT
00002a4a: ISZERO
00002a4b: PUSH2 0x2a53
00002a4e: JUMPI
00002a4f: PUSH1 0x00
00002a51: DUP1
00002a52: REVERT
00002a53: JUMPDEST
00002a54: PUSH2 0x2a5f
00002a57: DUP13
00002a58: DUP4
00002a59: DUP14
00002a5a: ADD
00002a5b: PUSH2 0x286a
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: SWAP1
00002a61: SWAP9
00002a62: POP
00002a63: SWAP7
00002a64: POP
00002a65: PUSH1 0x40
00002a67: DUP12
00002a68: ADD
00002a69: CALLDATALOAD
00002a6a: SWAP2
00002a6b: POP
00002a6c: DUP1
00002a6d: DUP3
00002a6e: GT
00002a6f: ISZERO
00002a70: PUSH2 0x2a78
00002a73: JUMPI
00002a74: PUSH1 0x00
00002a76: DUP1
00002a77: REVERT
00002a78: JUMPDEST
00002a79: PUSH2 0x2a84
00002a7c: DUP13
00002a7d: DUP4
00002a7e: DUP14
00002a7f: ADD
00002a80: PUSH2 0x286a
00002a83: JUMP
00002a84: JUMPDEST
00002a85: SWAP1
00002a86: SWAP7
00002a87: POP
00002a88: SWAP5
00002a89: POP
00002a8a: PUSH1 0x60
00002a8c: DUP12
00002a8d: ADD
00002a8e: CALLDATALOAD
00002a8f: SWAP2
00002a90: POP
00002a91: DUP1
00002a92: DUP3
00002a93: GT
00002a94: ISZERO
00002a95: PUSH2 0x2a9d
00002a98: JUMPI
00002a99: PUSH1 0x00
00002a9b: DUP1
00002a9c: REVERT
00002a9d: JUMPDEST
00002a9e: POP
00002a9f: PUSH2 0x2aaa
00002aa2: DUP12
00002aa3: DUP3
00002aa4: DUP13
00002aa5: ADD
00002aa6: PUSH2 0x286a
00002aa9: JUMP
00002aaa: JUMPDEST
00002aab: SWAP10
00002aac: SWAP13
00002aad: SWAP9
00002aae: SWAP12
00002aaf: POP
00002ab0: SWAP7
00002ab1: SWAP10
00002ab2: POP
00002ab3: SWAP5
00002ab4: SWAP8
00002ab5: SWAP4
00002ab6: SWAP7
00002ab7: SWAP3
00002ab8: SWAP6
00002ab9: SWAP5
00002aba: POP
00002abb: POP
00002abc: POP
00002abd: JUMP
00002abe: JUMPDEST
00002abf: PUSH4 0x4e487b71
00002ac4: PUSH1 0xe0
00002ac6: SHL
00002ac7: PUSH1 0x00
00002ac9: MSTORE
00002aca: PUSH1 0x32
00002acc: PUSH1 0x04
00002ace: MSTORE
00002acf: PUSH1 0x24
00002ad1: PUSH1 0x00
00002ad3: REVERT
00002ad4: JUMPDEST
00002ad5: PUSH4 0x4e487b71
00002ada: PUSH1 0xe0
00002adc: SHL
00002add: PUSH1 0x00
00002adf: MSTORE
00002ae0: PUSH1 0x11
00002ae2: PUSH1 0x04
00002ae4: MSTORE
00002ae5: PUSH1 0x24
00002ae7: PUSH1 0x00
00002ae9: REVERT
00002aea: JUMPDEST
00002aeb: PUSH1 0x00
00002aed: PUSH1 0x00
00002aef: NOT
00002af0: DUP3
00002af1: EQ
00002af2: ISZERO
00002af3: PUSH2 0x2afe
00002af6: JUMPI
00002af7: PUSH2 0x2afe
00002afa: PUSH2 0x2ad4
00002afd: JUMP
00002afe: JUMPDEST
00002aff: POP
00002b00: PUSH1 0x01
00002b02: ADD
00002b03: SWAP1
00002b04: JUMP
00002b05: JUMPDEST
00002b06: DUP4
00002b07: DUP2
00002b08: MSTORE
00002b09: DUP2
00002b0a: DUP4
00002b0b: PUSH1 0x20
00002b0d: DUP4
00002b0e: ADD
00002b0f: CALLDATACOPY
00002b10: PUSH1 0x00
00002b12: SWAP2
00002b13: ADD
00002b14: PUSH1 0x20
00002b16: ADD
00002b17: SWAP1
00002b18: DUP2
00002b19: MSTORE
00002b1a: SWAP3
00002b1b: SWAP2
00002b1c: POP
00002b1d: POP
00002b1e: JUMP
00002b1f: JUMPDEST
00002b20: PUSH1 0x00
00002b22: JUMPDEST
00002b23: DUP4
00002b24: DUP2
00002b25: LT
00002b26: ISZERO
00002b27: PUSH2 0x2b3a
00002b2a: JUMPI
00002b2b: DUP2
00002b2c: DUP2
00002b2d: ADD
00002b2e: MLOAD
00002b2f: DUP4
00002b30: DUP3
00002b31: ADD
00002b32: MSTORE
00002b33: PUSH1 0x20
00002b35: ADD
00002b36: PUSH2 0x2b22
00002b39: JUMP
00002b3a: JUMPDEST
00002b3b: DUP4
00002b3c: DUP2
00002b3d: GT
00002b3e: ISZERO
00002b3f: PUSH2 0x1948
00002b42: JUMPI
00002b43: POP
00002b44: POP
00002b45: PUSH1 0x00
00002b47: SWAP2
00002b48: ADD
00002b49: MSTORE
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: PUSH1 0x00
00002b4e: DUP2
00002b4f: MLOAD
00002b50: DUP1
00002b51: DUP5
00002b52: MSTORE
00002b53: PUSH2 0x2b63
00002b56: DUP2
00002b57: PUSH1 0x20
00002b59: DUP7
00002b5a: ADD
00002b5b: PUSH1 0x20
00002b5d: DUP7
00002b5e: ADD
00002b5f: PUSH2 0x2b1f
00002b62: JUMP
00002b63: JUMPDEST
00002b64: PUSH1 0x1f
00002b66: ADD
00002b67: PUSH1 0x1f
00002b69: NOT
00002b6a: AND
00002b6b: SWAP3
00002b6c: SWAP1
00002b6d: SWAP3
00002b6e: ADD
00002b6f: PUSH1 0x20
00002b71: ADD
00002b72: SWAP3
00002b73: SWAP2
00002b74: POP
00002b75: POP
00002b76: JUMP
00002b77: JUMPDEST
00002b78: DUP2
00002b79: DUP4
00002b7a: MSTORE
00002b7b: DUP2
00002b7c: DUP2
00002b7d: PUSH1 0x20
00002b7f: DUP6
00002b80: ADD
00002b81: CALLDATACOPY
00002b82: POP
00002b83: PUSH1 0x00
00002b85: DUP3
00002b86: DUP3
00002b87: ADD
00002b88: PUSH1 0x20
00002b8a: SWAP1
00002b8b: DUP2
00002b8c: ADD
00002b8d: SWAP2
00002b8e: SWAP1
00002b8f: SWAP2
00002b90: MSTORE
00002b91: PUSH1 0x1f
00002b93: SWAP1
00002b94: SWAP2
00002b95: ADD
00002b96: PUSH1 0x1f
00002b98: NOT
00002b99: AND
00002b9a: SWAP1
00002b9b: SWAP2
00002b9c: ADD
00002b9d: ADD
00002b9e: SWAP1
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: DUP2
00002ba2: DUP4
00002ba3: MSTORE
00002ba4: PUSH1 0x00
00002ba6: PUSH1 0x20
00002ba8: DUP1
00002ba9: DUP6
00002baa: ADD
00002bab: SWAP5
00002bac: POP
00002bad: DUP3
00002bae: PUSH1 0x00
00002bb0: JUMPDEST
00002bb1: DUP6
00002bb2: DUP2
00002bb3: LT
00002bb4: ISZERO
00002bb5: PUSH2 0x2bdc
00002bb8: JUMPI
00002bb9: PUSH1 0x01
00002bbb: PUSH1 0x01
00002bbd: PUSH1 0xa0
00002bbf: SHL
00002bc0: SUB
00002bc1: PUSH2 0x2bc9
00002bc4: DUP4
00002bc5: PUSH2 0x2922
00002bc8: JUMP
00002bc9: JUMPDEST
00002bca: AND
00002bcb: DUP8
00002bcc: MSTORE
00002bcd: SWAP6
00002bce: DUP3
00002bcf: ADD
00002bd0: SWAP6
00002bd1: SWAP1
00002bd2: DUP3
00002bd3: ADD
00002bd4: SWAP1
00002bd5: PUSH1 0x01
00002bd7: ADD
00002bd8: PUSH2 0x2bb0
00002bdb: JUMP
00002bdc: JUMPDEST
00002bdd: POP
00002bde: SWAP5
00002bdf: SWAP6
00002be0: SWAP5
00002be1: POP
00002be2: POP
00002be3: POP
00002be4: POP
00002be5: POP
00002be6: JUMP
00002be7: JUMPDEST
00002be8: DUP2
00002be9: DUP4
00002bea: MSTORE
00002beb: PUSH1 0x00
00002bed: PUSH32 0x07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002c0e: DUP4
00002c0f: GT
00002c10: ISZERO
00002c11: PUSH2 0x2c19
00002c14: JUMPI
00002c15: PUSH1 0x00
00002c17: DUP1
00002c18: REVERT
00002c19: JUMPDEST
00002c1a: DUP3
00002c1b: PUSH1 0x05
00002c1d: SHL
00002c1e: DUP1
00002c1f: DUP4
00002c20: PUSH1 0x20
00002c22: DUP8
00002c23: ADD
00002c24: CALLDATACOPY
00002c25: PUSH1 0x00
00002c27: SWAP5
00002c28: ADD
00002c29: PUSH1 0x20
00002c2b: ADD
00002c2c: SWAP4
00002c2d: DUP5
00002c2e: MSTORE
00002c2f: POP
00002c30: SWAP2
00002c31: SWAP3
00002c32: SWAP2
00002c33: POP
00002c34: POP
00002c35: JUMP
00002c36: JUMPDEST
00002c37: PUSH1 0x80
00002c39: DUP2
00002c3a: MSTORE
00002c3b: PUSH1 0x00
00002c3d: PUSH2 0x2c49
00002c40: PUSH1 0x80
00002c42: DUP4
00002c43: ADD
00002c44: DUP11
00002c45: PUSH2 0x2b4b
00002c48: JUMP
00002c49: JUMPDEST
00002c4a: DUP3
00002c4b: DUP2
00002c4c: SUB
00002c4d: PUSH1 0x20
00002c4f: DUP5
00002c50: ADD
00002c51: MSTORE
00002c52: DUP1
00002c53: DUP9
00002c54: DUP3
00002c55: MSTORE
00002c56: PUSH1 0x20
00002c58: DUP3
00002c59: ADD
00002c5a: SWAP1
00002c5b: POP
00002c5c: PUSH1 0x20
00002c5e: DUP10
00002c5f: PUSH1 0x05
00002c61: SHL
00002c62: DUP4
00002c63: ADD
00002c64: ADD
00002c65: DUP11
00002c66: PUSH1 0x00
00002c68: JUMPDEST
00002c69: DUP12
00002c6a: DUP2
00002c6b: LT
00002c6c: ISZERO
00002c6d: PUSH2 0x2cdc
00002c70: JUMPI
00002c71: DUP5
00002c72: DUP4
00002c73: SUB
00002c74: PUSH1 0x1f
00002c76: NOT
00002c77: ADD
00002c78: DUP5
00002c79: MSTORE
00002c7a: DUP2
00002c7b: CALLDATALOAD
00002c7c: CALLDATASIZE
00002c7d: DUP15
00002c7e: SWAP1
00002c7f: SUB
00002c80: PUSH1 0x1e
00002c82: NOT
00002c83: ADD
00002c84: DUP2
00002c85: SLT
00002c86: PUSH2 0x2c8e
00002c89: JUMPI
00002c8a: PUSH1 0x00
00002c8c: DUP1
00002c8d: REVERT
00002c8e: JUMPDEST
00002c8f: DUP14
00002c90: ADD
00002c91: DUP1
00002c92: CALLDATALOAD
00002c93: PUSH8 0xffffffffffffffff
00002c9c: DUP2
00002c9d: GT
00002c9e: ISZERO
00002c9f: PUSH2 0x2ca7
00002ca2: JUMPI
00002ca3: PUSH1 0x00
00002ca5: DUP1
00002ca6: REVERT
00002ca7: JUMPDEST
00002ca8: DUP1
00002ca9: CALLDATASIZE
00002caa: SUB
00002cab: DUP16
00002cac: SGT
00002cad: ISZERO
00002cae: PUSH2 0x2cb6
00002cb1: JUMPI
00002cb2: PUSH1 0x00
00002cb4: DUP1
00002cb5: REVERT
00002cb6: JUMPDEST
00002cb7: PUSH2 0x2cc4
00002cba: DUP6
00002cbb: DUP3
00002cbc: PUSH1 0x20
00002cbe: DUP6
00002cbf: ADD
00002cc0: PUSH2 0x2b77
00002cc3: JUMP
00002cc4: JUMPDEST
00002cc5: PUSH1 0x20
00002cc7: SWAP7
00002cc8: DUP8
00002cc9: ADD
00002cca: SWAP7
00002ccb: SWAP1
00002ccc: SWAP6
00002ccd: POP
00002cce: SWAP4
00002ccf: SWAP1
00002cd0: SWAP4
00002cd1: ADD
00002cd2: SWAP3
00002cd3: POP
00002cd4: POP
00002cd5: PUSH1 0x01
00002cd7: ADD
00002cd8: PUSH2 0x2c68
00002cdb: JUMP
00002cdc: JUMPDEST
00002cdd: POP
00002cde: POP
00002cdf: DUP5
00002ce0: DUP2
00002ce1: SUB
00002ce2: PUSH1 0x40
00002ce4: DUP7
00002ce5: ADD
00002ce6: MSTORE
00002ce7: PUSH2 0x2cf1
00002cea: DUP2
00002ceb: DUP10
00002cec: DUP12
00002ced: PUSH2 0x2ba0
00002cf0: JUMP
00002cf1: JUMPDEST
00002cf2: SWAP3
00002cf3: POP
00002cf4: POP
00002cf5: POP
00002cf6: DUP3
00002cf7: DUP2
00002cf8: SUB
00002cf9: PUSH1 0x60
00002cfb: DUP5
00002cfc: ADD
00002cfd: MSTORE
00002cfe: PUSH2 0x2d08
00002d01: DUP2
00002d02: DUP6
00002d03: DUP8
00002d04: PUSH2 0x2be7
00002d07: JUMP
00002d08: JUMPDEST
00002d09: SWAP11
00002d0a: SWAP10
00002d0b: POP
00002d0c: POP
00002d0d: POP
00002d0e: POP
00002d0f: POP
00002d10: POP
00002d11: POP
00002d12: POP
00002d13: POP
00002d14: POP
00002d15: JUMP
00002d16: JUMPDEST
00002d17: PUSH1 0x00
00002d19: DUP3
00002d1a: NOT
00002d1b: DUP3
00002d1c: GT
00002d1d: ISZERO
00002d1e: PUSH2 0x2d29
00002d21: JUMPI
00002d22: PUSH2 0x2d29
00002d25: PUSH2 0x2ad4
00002d28: JUMP
00002d29: JUMPDEST
00002d2a: POP
00002d2b: ADD
00002d2c: SWAP1
00002d2d: JUMP
00002d2e: JUMPDEST
00002d2f: PUSH1 0x00
00002d31: DUP3
00002d32: PUSH2 0x2d4b
00002d35: JUMPI
00002d36: PUSH4 0x4e487b71
00002d3b: PUSH1 0xe0
00002d3d: SHL
00002d3e: PUSH1 0x00
00002d40: MSTORE
00002d41: PUSH1 0x12
00002d43: PUSH1 0x04
00002d45: MSTORE
00002d46: PUSH1 0x24
00002d48: PUSH1 0x00
00002d4a: REVERT
00002d4b: JUMPDEST
00002d4c: POP
00002d4d: DIV
00002d4e: SWAP1
00002d4f: JUMP
00002d50: JUMPDEST
00002d51: PUSH1 0x00
00002d53: DUP2
00002d54: PUSH1 0x00
00002d56: NOT
00002d57: DIV
00002d58: DUP4
00002d59: GT
00002d5a: DUP3
00002d5b: ISZERO
00002d5c: ISZERO
00002d5d: AND
00002d5e: ISZERO
00002d5f: PUSH2 0x2d6a
00002d62: JUMPI
00002d63: PUSH2 0x2d6a
00002d66: PUSH2 0x2ad4
00002d69: JUMP
00002d6a: JUMPDEST
00002d6b: POP
00002d6c: MUL
00002d6d: SWAP1
00002d6e: JUMP
00002d6f: JUMPDEST
00002d70: PUSH1 0x00
00002d72: PUSH1 0x20
00002d74: DUP3
00002d75: DUP5
00002d76: SUB
00002d77: SLT
00002d78: ISZERO
00002d79: PUSH2 0x2d81
00002d7c: JUMPI
00002d7d: PUSH1 0x00
00002d7f: DUP1
00002d80: REVERT
00002d81: JUMPDEST
00002d82: DUP2
00002d83: MLOAD
00002d84: DUP1
00002d85: ISZERO
00002d86: ISZERO
00002d87: DUP2
00002d88: EQ
00002d89: PUSH2 0x26aa
00002d8c: JUMPI
00002d8d: PUSH1 0x00
00002d8f: DUP1
00002d90: REVERT
00002d91: JUMPDEST
00002d92: PUSH4 0x4e487b71
00002d97: PUSH1 0xe0
00002d99: SHL
00002d9a: PUSH1 0x00
00002d9c: MSTORE
00002d9d: PUSH1 0x21
00002d9f: PUSH1 0x04
00002da1: MSTORE
00002da2: PUSH1 0x24
00002da4: PUSH1 0x00
00002da6: REVERT
00002da7: JUMPDEST
00002da8: PUSH4 0x4e487b71
00002dad: PUSH1 0xe0
00002daf: SHL
00002db0: PUSH1 0x00
00002db2: MSTORE
00002db3: PUSH1 0x41
00002db5: PUSH1 0x04
00002db7: MSTORE
00002db8: PUSH1 0x24
00002dba: PUSH1 0x00
00002dbc: REVERT
00002dbd: JUMPDEST
00002dbe: PUSH1 0x00
00002dc0: DUP3
00002dc1: DUP3
00002dc2: LT
00002dc3: ISZERO
00002dc4: PUSH2 0x2dcf
00002dc7: JUMPI
00002dc8: PUSH2 0x2dcf
00002dcb: PUSH2 0x2ad4
00002dce: JUMP
00002dcf: JUMPDEST
00002dd0: POP
00002dd1: SUB
00002dd2: SWAP1
00002dd3: JUMP
00002dd4: JUMPDEST
00002dd5: PUSH1 0x00
00002dd7: DUP3
00002dd8: MLOAD
00002dd9: PUSH2 0x2de6
00002ddc: DUP2
00002ddd: DUP5
00002dde: PUSH1 0x20
00002de0: DUP8
00002de1: ADD
00002de2: PUSH2 0x2b1f
00002de5: JUMP
00002de6: JUMPDEST
00002de7: SWAP2
00002de8: SWAP1
00002de9: SWAP2
00002dea: ADD
00002deb: SWAP3
00002dec: SWAP2
00002ded: POP
00002dee: POP
00002def: JUMP
00002df0: JUMPDEST
00002df1: PUSH1 0x20
00002df3: DUP2
00002df4: MSTORE
00002df5: PUSH1 0x00
00002df7: PUSH2 0x26aa
00002dfa: PUSH1 0x20
00002dfc: DUP4
00002dfd: ADD
00002dfe: DUP5
00002dff: PUSH2 0x2b4b
00002e02: JUMP
00002e03: INVALID
00002e04: LOG2
00002e05: PUSH5 0x6970667358
00002e0b: UNKNOWN(0x22)
00002e0c: SLT
00002e0d: KECCAK256
00002e0e: GASLIMIT
00002e0f: DUP15
00002e10: PUSH4 0x8fe31efe
00002e15: LT
00002e16: UNKNOWN(0xBC)
00002e17: PUSH29 0x7ef67219757fee774883a75f8602ee9b5e8aa916dd7f64736f6c634300
00002e35: ADDMOD
00002e36: MULMOD
00002e37: STOP
00002e38: CALLER