Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

16305c89-6c85-4d0a-8e49-3d1f345ce2c6

failed

Chain ID

Address

0xb8901acb165ed027e32754e0ffe830802919727f

Block Number

—

Created

Fri, Jan 2, 2026 6:27 AM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

Validated

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
31252	report.consolidate	complete	1 / 1	3 months ago
110510	artifact.fetch	failed	1 / 3	1 week ago
110511	tool.cast_disasm	complete	1 / 3	1 week ago
110512	analysis.bundle	complete	1 / 3	1 week ago
110513	capability.graph	complete	1 / 3	1 week ago
110514	detector.run	complete	1 / 3	1 week ago
110515	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 1

Findings

No findings?

yes

Summary

Reviewed the provided contracts (Accounting, Bridge, L1_Bridge, L1_ETH_Bridge, Lib_MerkleTree) in AUDIT_BUNDLE.txt and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.

View stderr

[codex:596201] OpenAI Codex v0.77.0 (research preview)
[codex:596201] --------
[codex:596201] workdir: /tmp/codex-multi-z_1vpenl
[codex:596201] model: gpt-5.2-codex
[codex:596201] provider: openai
[codex:596201] approval: never
[codex:596201] sandbox: read-only
[codex:596201] reasoning effort: xhigh
[codex:596201] reasoning summaries: auto
[codex:596201] session id: 019b7d5f-f054-7f21-a488-5c2d027f645a
[codex:596201] --------
[codex:596201] user
[codex:596201] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:596201] 
[codex:596201] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:596201] 
[codex:596201] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:596201] - Gas inefficiency, code quality, naming, or best practices
[codex:596201] - Theoretical vulnerabilities without a clear extraction path
[codex:596201] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:596201] - Front-running unless it enables theft beyond MEV
[codex:596201] - DoS, griefing, or issues that don't result in attacker profit
[codex:596201] - Missing events, view function issues, or informational findings
[codex:596201] 
[codex:596201] HIGH-VALUE PATTERNS TO HUNT:
[codex:596201] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:596201] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:596201] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:596201] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:596201] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:596201] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:596201] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:596201] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:596201] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:596201] 
[codex:596201] For each finding, you MUST provide:
[codex:596201] 1. Exact file and line numbers of vulnerable code
[codex:596201] 2. Step-by-step exploit transaction sequence
[codex:596201] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:596201] 
[codex:596201] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:596201] 
[codex:596201] Output MUST be valid JSON matching the provided schema.
[codex:596201] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:596201] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:596201] mcp startup: no servers
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Preparing to audit the file**
[codex:596201] exec
[codex:596201] /bin/bash -lc ls in /tmp/codex-multi-z_1vpenl succeeded in 6ms:
[codex:596201] AUDIT_BUNDLE.txt
[codex:596201] codex-output-schema.json
[codex:596201] contracts
[codex:596201] exec
[codex:596201] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-z_1vpenl succeeded in 5ms:
[codex:596201] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:596201] 
[codex:596201] ================================================================================
[codex:596201] FILE: contracts/contracts/bridges/Accounting.sol
[codex:596201] ================================================================================
[codex:596201] // SPDX-License-Identifier: MIT
[codex:596201] 
[codex:596201] pragma solidity 0.6.12;
[codex:596201] pragma experimental ABIEncoderV2;
[codex:596201] 
[codex:596201] import "@openzeppelin/contracts/math/SafeMath.sol";
[codex:596201] import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:596201] 
[codex:596201] /**
[codex:596201]  * @dev Accounting is an abstract contract that encapsulates the most critical logic in the Hop contracts.
[codex:596201]  * The accounting system works by using two balances that can only increase `_credit` and `_debit`.
[codex:596201]  * A bonder's available balance is the total credit minus the total debit. The contract exposes
[codex:596201]  * two external functions that allows a bonder to stake and unstake and exposes two internal
[codex:596201]  * functions to its child contracts that allow the child contract to add to the credit 
[codex:596201]  * and debit balance. In addition, child contracts can override `_additionalDebit` to account
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Planning full file inspection**
[codex:596201] exec
[codex:596201] /bin/bash -lc 'rg --files' in /tmp/codex-multi-z_1vpenl succeeded in 10ms:
[codex:596201] AUDIT_BUNDLE.txt
[codex:596201] codex-output-schema.json
[codex:596201] contracts/@openzeppelin/contracts/math/SafeMath.sol
[codex:596201] contracts/contracts/interfaces/IMessengerWrapper.sol
[codex:596201] contracts/contracts/bridges/Accounting.sol
[codex:596201] contracts/contracts/bridges/Bridge.sol
[codex:596201] contracts/contracts/bridges/L1_Bridge.sol
[codex:596201] contracts/contracts/bridges/L1_ETH_Bridge.sol
[codex:596201] contracts/@openzeppelin/contracts/utils/ReentrancyGuard.sol
[codex:596201] contracts/contracts/libraries/Lib_MerkleTree.sol
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Preparing to audit contract files**
[codex:596201] exec
[codex:596201] /bin/bash -lc 'nl -ba contracts/contracts/bridges/L1_Bridge.sol' in /tmp/codex-multi-z_1vpenl succeeded in 6ms:
[codex:596201]      1	// SPDX-License-Identifier: MIT
[codex:596201]      2	
[codex:596201]      3	pragma solidity 0.6.12;
[codex:596201]      4	pragma experimental ABIEncoderV2;
[codex:596201]      5	
[codex:596201]      6	import "./Bridge.sol";
[codex:596201]      7	import "../interfaces/IMessengerWrapper.sol";
[codex:596201]      8	
[codex:596201]      9	/**
[codex:596201]     10	 * @dev L1_Bridge is responsible for the bonding and challenging of TransferRoots. All TransferRoots
[codex:596201]     11	 * originate in the L1_Bridge through `bondTransferRoot` and are propagated up to destination L2s.
[codex:596201]     12	 */
[codex:596201]     13	
[codex:596201]     14	abstract contract L1_Bridge is Bridge {
[codex:596201]     15	
[codex:596201]     16	    struct TransferBond {
[codex:596201]     17	        address bonder;
[codex:596201]     18	        uint256 createdAt;
[codex:596201]     19	        uint256 totalAmount;
[codex:596201]     20	        uint256 challengeStartTime;
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Requesting additional data fields**
[codex:596201] exec
[codex:596201] /bin/bash -lc 'nl -ba contracts/contracts/bridges/Bridge.sol' in /tmp/codex-multi-z_1vpenl succeeded in 14ms:
[codex:596201]      1	// SPDX-License-Identifier: MIT
[codex:596201]      2	
[codex:596201]      3	pragma solidity 0.6.12;
[codex:596201]      4	pragma experimental ABIEncoderV2;
[codex:596201]      5	
[codex:596201]      6	import "./Accounting.sol";
[codex:596201]      7	import "../libraries/Lib_MerkleTree.sol";
[codex:596201]      8	
[codex:596201]      9	/**
[codex:596201]     10	 * @dev Bridge extends the accounting system and encapsulates the logic that is shared by both the
[codex:596201]     11	 * L1 and L2 Bridges. It allows to TransferRoots to be set by parent contracts and for those
[codex:596201]     12	 * TransferRoots to be withdrawn against. It also allows the bonder to bond and withdraw Transfers
[codex:596201]     13	 * directly through `bondWithdrawal` and then settle those bonds against their TransferRoot once it
[codex:596201]     14	 * has been set.
[codex:596201]     15	 */
[codex:596201]     16	
[codex:596201]     17	abstract contract Bridge is Accounting {
[codex:596201]     18	    using Lib_MerkleTree for bytes32;
[codex:596201]     19	
[codex:596201]     20	    struct TransferRoot {
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Checking for Accounting files**
[codex:596201] exec
[codex:596201] /bin/bash -lc 'nl -ba contracts/contracts/bridges/Accounting.sol' in /tmp/codex-multi-z_1vpenl succeeded in 5ms:
[codex:596201]      1	// SPDX-License-Identifier: MIT
[codex:596201]      2	
[codex:596201]      3	pragma solidity 0.6.12;
[codex:596201]      4	pragma experimental ABIEncoderV2;
[codex:596201]      5	
[codex:596201]      6	import "@openzeppelin/contracts/math/SafeMath.sol";
[codex:596201]      7	import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:596201]      8	
[codex:596201]      9	/**
[codex:596201]     10	 * @dev Accounting is an abstract contract that encapsulates the most critical logic in the Hop contracts.
[codex:596201]     11	 * The accounting system works by using two balances that can only increase `_credit` and `_debit`.
[codex:596201]     12	 * A bonder's available balance is the total credit minus the total debit. The contract exposes
[codex:596201]     13	 * two external functions that allows a bonder to stake and unstake and exposes two internal
[codex:596201]     14	 * functions to its child contracts that allow the child contract to add to the credit 
[codex:596201]     15	 * and debit balance. In addition, child contracts can override `_additionalDebit` to account
[codex:596201]     16	 * for any additional debit balance in an alternative way. Lastly, it exposes a modifier,
[codex:596201]     17	 * `requirePositiveBalance`, that can be used by child contracts to ensure the bonder does not
[codex:596201]     18	 * use more than its available stake.
[codex:596201]     19	 */
[codex:596201]     20	
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Looking for L1_ETH_Bridge code**
[codex:596201] exec
[codex:596201] /bin/bash -lc 'nl -ba contracts/contracts/bridges/L1_ETH_Bridge.sol' in /tmp/codex-multi-z_1vpenl succeeded in 5ms:
[codex:596201]      1	// SPDX-License-Identifier: MIT
[codex:596201]      2	
[codex:596201]      3	pragma solidity 0.6.12;
[codex:596201]      4	pragma experimental ABIEncoderV2;
[codex:596201]      5	
[codex:596201]      6	import "./L1_Bridge.sol";
[codex:596201]      7	
[codex:596201]      8	/**
[codex:596201]      9	 * @dev A L1_Bridge that uses an ETH as the canonical token
[codex:596201]     10	 */
[codex:596201]     11	
[codex:596201]     12	contract L1_ETH_Bridge is L1_Bridge {
[codex:596201]     13	    constructor (address[] memory bonders, address _governance) public L1_Bridge(bonders, _governance) {}
[codex:596201]     14	
[codex:596201]     15	    /* ========== Override Functions ========== */
[codex:596201]     16	
[codex:596201]     17	    function _transferFromBridge(address recipient, uint256 amount) internal override {
[codex:596201]     18	        (bool success, ) = recipient.call{value: amount}(new bytes(0));
[codex:596201]     19	        require(success, 'L1_ETH_BRG: ETH transfer failed');
[codex:596201]     20	    }
[codex:596201] 
[codex:596201] 
[codex:596201] 
[codex:596201] 
[codex:596201] thinking
[codex:596201] **Analyzing complex Solidity bridge vulnerabilities**
[codex:596201] 
[codex:596201] I'm examining potential security issues in the L1 bridge and related libraries, focusing on Merkle proof verification, transfer ID uniqueness, reentrancy, access control, and arithmetic underflows. There is a lot to unpack, including how transfer IDs handle different parameters that might allow double withdrawals and how reentrancy protections hold under various function calls. I'm carefully evaluating each logic path to understand any exploitable gaps or confirm robustness.
[codex:596201] thinking
[codex:596201] **Evaluating transferId inconsistencies and messenger wrapper risks**
[codex:596201] 
[codex:596201] I'm untangling how differences in transferId computation—especially amountOutMin and deadline fields—could let bonders and recipients effectively double-withdraw. Also, I spotted that the messengerWrapper call on a zero address might allow attackers to bypass L2 bridge restrictions and set arbitrary transfer roots, which could let them manipulate withdrawals. It’s quite a web! I want to map these interactions carefully to clarify potential exploit paths.
[codex:596201] thinking
[codex:596201] **Analyzing transfer root setting and chainBalance constraints**
[codex:596201] 
[codex:596201] I'm carefully dissecting how an attacker could exploit the confirmTransferRoot function by setting fake transfer roots when messenger wrappers are missing, and how chainBalance values affect the feasibility of this. I’m also considering whether edge cases in chainBalance updates or governance actions might open unexpected exploit paths, along with nuances around reentrancy and Merkle proof verifications.
[codex:596201] thinking
[codex:596201] **Verifying Merkle tree and bridge logic correctness**
[codex:596201] 
[codex:596201] After carefully reviewing Merkle tree padding, proof verification, and bridge functions, I’m concluding no concrete exploit path exists within the current code and assumptions. I’m preparing a JSON report reflecting no findings with a concise summary of this thorough audit.
[codex:596201] codex
[codex:596201] {"no_findings":true,"summary":"Reviewed the provided contracts (Accounting, Bridge, L1_Bridge, L1_ETH_Bridge, Lib_MerkleTree) in AUDIT_BUNDLE.txt and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}
[codex:596201] tokens used
[codex:596201] 41,384
[codex:596201] {"no_findings":true,"summary":"Reviewed the provided contracts (Accounting, Bridge, L1_Bridge, L1_ETH_Bridge, Lib_MerkleTree) in AUDIT_BUNDLE.txt and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}

Metadata

{
    "codex": {
        "ran_at": "2026-01-02T06:27:42.708578+00:00",
        "returncode": 0
    },
    "summary": "Reviewed the provided contracts (Accounting, Bridge, L1_Bridge, L1_ETH_Bridge, Lib_MerkleTree) in AUDIT_BUNDLE.txt and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed the provided contracts (Accounting, Bridge, L1_Bridge, L1_ETH_Bridge, Lib_MerkleTree) in AUDIT_BUNDLE.txt and did not find a concrete, exploitable path to extract ETH/tokens/NFTs under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

8473

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02f2
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x81707b80
00000019: GT
0000001a: PUSH2 0x018f
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcbd1642e
00000024: GT
00000025: PUSH2 0x00e1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeecd57e6
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xfa2a69a3
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xfa2a69a3
00000045: EQ
00000046: PUSH2 0x0814
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfc110b67
00000050: EQ
00000051: PUSH2 0x0834
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xffa9286c
0000005b: EQ
0000005c: PUSH2 0x0854
0000005f: JUMPI
00000060: PUSH2 0x02f2
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xeecd57e6
0000006b: EQ
0000006c: PUSH2 0x07bf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xef6ebe5e
00000076: EQ
00000077: PUSH2 0x07df
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xf3f480d9
00000081: EQ
00000082: PUSH2 0x07ff
00000085: JUMPI
00000086: PUSH2 0x02f2
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xd5ef7551
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd5ef7551
0000009c: EQ
0000009d: PUSH2 0x076c
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xdeace8f5
000000a7: EQ
000000a8: PUSH2 0x078c
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xe19be150
000000b2: EQ
000000b3: PUSH2 0x079f
000000b6: JUMPI
000000b7: PUSH2 0x02f2
000000ba: JUMP
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xcbd1642e
000000c2: EQ
000000c3: PUSH2 0x06ff
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xce803b4f
000000cd: EQ
000000ce: PUSH2 0x071f
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0xd4448163
000000d8: EQ
000000d9: PUSH2 0x074c
000000dc: JUMPI
000000dd: PUSH2 0x02f2
000000e0: JUMP
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0xa35962f3
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xaf215f94
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xaf215f94
000000fe: EQ
000000ff: PUSH2 0x069f
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xb162717e
00000109: EQ
0000010a: PUSH2 0x06bf
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xc7525dd3
00000114: EQ
00000115: PUSH2 0x06df
00000118: JUMPI
00000119: PUSH2 0x02f2
0000011c: JUMP
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0xa35962f3
00000124: EQ
00000125: PUSH2 0x064c
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0xab033ea9
0000012f: EQ
00000130: PUSH2 0x066c
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0xadc9772e
0000013a: EQ
0000013b: PUSH2 0x068c
0000013e: JUMPI
0000013f: PUSH2 0x02f2
00000142: JUMP
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x960a7afa
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x960a7afa
00000155: EQ
00000156: PUSH2 0x05f7
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x98c4f76d
00000160: EQ
00000161: PUSH2 0x0617
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0xa239f5ee
0000016b: EQ
0000016c: PUSH2 0x062c
0000016f: JUMPI
00000170: PUSH2 0x02f2
00000173: JUMP
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x81707b80
0000017b: EQ
0000017c: PUSH2 0x05b7
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x8d8798bf
00000186: EQ
00000187: PUSH2 0x05d7
0000018a: JUMPI
0000018b: PUSH2 0x02f2
0000018e: JUMP
0000018f: JUMPDEST
00000190: DUP1
00000191: PUSH4 0x3a7af631
00000196: GT
00000197: PUSH2 0x0248
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x5a7e1083
000001a1: GT
000001a2: PUSH2 0x01fc
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x6cff06a7
000001ac: GT
000001ad: PUSH2 0x01d6
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x6cff06a7
000001b7: EQ
000001b8: PUSH2 0x056d
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0x7398d282
000001c2: EQ
000001c3: PUSH2 0x0582
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0x767631d5
000001cd: EQ
000001ce: PUSH2 0x05a2
000001d1: JUMPI
000001d2: PUSH2 0x02f2
000001d5: JUMP
000001d6: JUMPDEST
000001d7: DUP1
000001d8: PUSH4 0x5a7e1083
000001dd: EQ
000001de: PUSH2 0x04f9
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0x5aa6e675
000001e8: EQ
000001e9: PUSH2 0x052b
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0x5d475fdd
000001f3: EQ
000001f4: PUSH2 0x054d
000001f7: JUMPI
000001f8: PUSH2 0x02f2
000001fb: JUMP
000001fc: JUMPDEST
000001fd: DUP1
000001fe: PUSH4 0x4de8c6e6
00000203: GT
00000204: PUSH2 0x022d
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x4de8c6e6
0000020e: EQ
0000020f: PUSH2 0x04a4
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0x5325937f
00000219: EQ
0000021a: PUSH2 0x04b9
0000021d: JUMPI
0000021e: DUP1
0000021f: PUSH4 0x57344e6f
00000224: EQ
00000225: PUSH2 0x04d9
00000228: JUMPI
00000229: PUSH2 0x02f2
0000022c: JUMP
0000022d: JUMPDEST
0000022e: DUP1
0000022f: PUSH4 0x3a7af631
00000234: EQ
00000235: PUSH2 0x0457
00000238: JUMPI
00000239: DUP1
0000023a: PUSH4 0x3b8fea28
0000023f: EQ
00000240: PUSH2 0x0484
00000243: JUMPI
00000244: PUSH2 0x02f2
00000247: JUMP
00000248: JUMPDEST
00000249: DUP1
0000024a: PUSH4 0x23c452cd
0000024f: GT
00000250: PUSH2 0x02aa
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x302830ab
0000025a: GT
0000025b: PUSH2 0x0284
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x302830ab
00000265: EQ
00000266: PUSH2 0x0402
00000269: JUMPI
0000026a: DUP1
0000026b: PUSH4 0x3408e470
00000270: EQ
00000271: PUSH2 0x0422
00000274: JUMPI
00000275: DUP1
00000276: PUSH4 0x39ada669
0000027b: EQ
0000027c: PUSH2 0x0437
0000027f: JUMPI
00000280: PUSH2 0x02f2
00000283: JUMP
00000284: JUMPDEST
00000285: DUP1
00000286: PUSH4 0x23c452cd
0000028b: EQ
0000028c: PUSH2 0x03a2
0000028f: JUMPI
00000290: DUP1
00000291: PUSH4 0x2b85dcc9
00000296: EQ
00000297: PUSH2 0x03c2
0000029a: JUMPI
0000029b: DUP1
0000029c: PUSH4 0x2e17de78
000002a1: EQ
000002a2: PUSH2 0x03e2
000002a5: JUMPI
000002a6: PUSH2 0x02f2
000002a9: JUMP
000002aa: JUMPDEST
000002ab: DUP1
000002ac: PUSH4 0x13948c76
000002b1: GT
000002b2: PUSH2 0x02db
000002b5: JUMPI
000002b6: DUP1
000002b7: PUSH4 0x13948c76
000002bc: EQ
000002bd: PUSH2 0x0339
000002c0: JUMPI
000002c1: DUP1
000002c2: PUSH4 0x14942024
000002c7: EQ
000002c8: PUSH2 0x036f
000002cb: JUMPI
000002cc: DUP1
000002cd: PUSH4 0x1bbe15ea
000002d2: EQ
000002d3: PUSH2 0x038f
000002d6: JUMPI
000002d7: PUSH2 0x02f2
000002da: JUMP
000002db: JUMPDEST
000002dc: DUP1
000002dd: PUSH4 0x04e6c2c0
000002e2: EQ
000002e3: PUSH2 0x02f7
000002e6: JUMPI
000002e7: DUP1
000002e8: PUSH4 0x0f7aadb7
000002ed: EQ
000002ee: PUSH2 0x0319
000002f1: JUMPI
000002f2: JUMPDEST
000002f3: PUSH1 0x00
000002f5: DUP1
000002f6: REVERT
000002f7: JUMPDEST
000002f8: CALLVALUE
000002f9: DUP1
000002fa: ISZERO
000002fb: PUSH2 0x0303
000002fe: JUMPI
000002ff: PUSH1 0x00
00000301: DUP1
00000302: REVERT
00000303: JUMPDEST
00000304: POP
00000305: PUSH2 0x0317
00000308: PUSH2 0x0312
0000030b: CALLDATASIZE
0000030c: PUSH1 0x04
0000030e: PUSH2 0x33ac
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x0874
00000316: JUMP
00000317: JUMPDEST
00000318: STOP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x0317
0000032a: PUSH2 0x0334
0000032d: CALLDATASIZE
0000032e: PUSH1 0x04
00000330: PUSH2 0x3509
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x095e
00000338: JUMP
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x0359
0000034a: PUSH2 0x0354
0000034d: CALLDATASIZE
0000034e: PUSH1 0x04
00000350: PUSH2 0x33ac
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH2 0x0abf
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH1 0x40
0000035c: MLOAD
0000035d: PUSH2 0x0366
00000360: SWAP2
00000361: SWAP1
00000362: PUSH2 0x3943
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x40
00000369: MLOAD
0000036a: DUP1
0000036b: SWAP2
0000036c: SUB
0000036d: SWAP1
0000036e: RETURN
0000036f: JUMPDEST
00000370: CALLVALUE
00000371: DUP1
00000372: ISZERO
00000373: PUSH2 0x037b
00000376: JUMPI
00000377: PUSH1 0x00
00000379: DUP1
0000037a: REVERT
0000037b: JUMPDEST
0000037c: POP
0000037d: PUSH2 0x0317
00000380: PUSH2 0x038a
00000383: CALLDATASIZE
00000384: PUSH1 0x04
00000386: PUSH2 0x3747
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH2 0x0aeb
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x0317
00000393: PUSH2 0x039d
00000396: CALLDATASIZE
00000397: PUSH1 0x04
00000399: PUSH2 0x362d
0000039c: JUMP
0000039d: JUMPDEST
0000039e: PUSH2 0x0b31
000003a1: JUMP
000003a2: JUMPDEST
000003a3: CALLVALUE
000003a4: DUP1
000003a5: ISZERO
000003a6: PUSH2 0x03ae
000003a9: JUMPI
000003aa: PUSH1 0x00
000003ac: DUP1
000003ad: REVERT
000003ae: JUMPDEST
000003af: POP
000003b0: PUSH2 0x0317
000003b3: PUSH2 0x03bd
000003b6: CALLDATASIZE
000003b7: PUSH1 0x04
000003b9: PUSH2 0x34cf
000003bc: JUMP
000003bd: JUMPDEST
000003be: PUSH2 0x0d9b
000003c1: JUMP
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: DUP1
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH2 0x0359
000003d3: PUSH2 0x03dd
000003d6: CALLDATASIZE
000003d7: PUSH1 0x04
000003d9: PUSH2 0x35bc
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH2 0x0ead
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x0317
000003f3: PUSH2 0x03fd
000003f6: CALLDATASIZE
000003f7: PUSH1 0x04
000003f9: PUSH2 0x35bc
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH2 0x0eb5
00000401: JUMP
00000402: JUMPDEST
00000403: CALLVALUE
00000404: DUP1
00000405: ISZERO
00000406: PUSH2 0x040e
00000409: JUMPI
0000040a: PUSH1 0x00
0000040c: DUP1
0000040d: REVERT
0000040e: JUMPDEST
0000040f: POP
00000410: PUSH2 0x0359
00000413: PUSH2 0x041d
00000416: CALLDATASIZE
00000417: PUSH1 0x04
00000419: PUSH2 0x3422
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH2 0x0fab
00000421: JUMP
00000422: JUMPDEST
00000423: CALLVALUE
00000424: DUP1
00000425: ISZERO
00000426: PUSH2 0x042e
00000429: JUMPI
0000042a: PUSH1 0x00
0000042c: DUP1
0000042d: REVERT
0000042e: JUMPDEST
0000042f: POP
00000430: PUSH2 0x0359
00000433: PUSH2 0x0fe3
00000436: JUMP
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH2 0x0317
00000448: PUSH2 0x0452
0000044b: CALLDATASIZE
0000044c: PUSH1 0x04
0000044e: PUSH2 0x35bc
00000451: JUMP
00000452: JUMPDEST
00000453: PUSH2 0x0fe7
00000456: JUMP
00000457: JUMPDEST
00000458: CALLVALUE
00000459: DUP1
0000045a: ISZERO
0000045b: PUSH2 0x0463
0000045e: JUMPI
0000045f: PUSH1 0x00
00000461: DUP1
00000462: REVERT
00000463: JUMPDEST
00000464: POP
00000465: PUSH2 0x0477
00000468: PUSH2 0x0472
0000046b: CALLDATASIZE
0000046c: PUSH1 0x04
0000046e: PUSH2 0x35bc
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH2 0x0ff4
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: PUSH2 0x0366
0000047e: SWAP2
0000047f: SWAP1
00000480: PUSH2 0x3938
00000483: JUMP
00000484: JUMPDEST
00000485: CALLVALUE
00000486: DUP1
00000487: ISZERO
00000488: PUSH2 0x0490
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP1
0000048f: REVERT
00000490: JUMPDEST
00000491: POP
00000492: PUSH2 0x0359
00000495: PUSH2 0x049f
00000498: CALLDATASIZE
00000499: PUSH1 0x04
0000049b: PUSH2 0x35d4
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x1009
000004a3: JUMP
000004a4: JUMPDEST
000004a5: CALLVALUE
000004a6: DUP1
000004a7: ISZERO
000004a8: PUSH2 0x04b0
000004ab: JUMPI
000004ac: PUSH1 0x00
000004ae: DUP1
000004af: REVERT
000004b0: JUMPDEST
000004b1: POP
000004b2: PUSH2 0x0359
000004b5: PUSH2 0x1026
000004b8: JUMP
000004b9: JUMPDEST
000004ba: CALLVALUE
000004bb: DUP1
000004bc: ISZERO
000004bd: PUSH2 0x04c5
000004c0: JUMPI
000004c1: PUSH1 0x00
000004c3: DUP1
000004c4: REVERT
000004c5: JUMPDEST
000004c6: POP
000004c7: PUSH2 0x0317
000004ca: PUSH2 0x04d4
000004cd: CALLDATASIZE
000004ce: PUSH1 0x04
000004d0: PUSH2 0x33ac
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH2 0x102c
000004d8: JUMP
000004d9: JUMPDEST
000004da: CALLVALUE
000004db: DUP1
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: POP
000004e7: PUSH2 0x0359
000004ea: PUSH2 0x04f4
000004ed: CALLDATASIZE
000004ee: PUSH1 0x04
000004f0: PUSH2 0x33ac
000004f3: JUMP
000004f4: JUMPDEST
000004f5: PUSH2 0x110e
000004f8: JUMP
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x0519
0000050a: PUSH2 0x0514
0000050d: CALLDATASIZE
0000050e: PUSH1 0x04
00000510: PUSH2 0x35bc
00000513: JUMP
00000514: JUMPDEST
00000515: PUSH2 0x1136
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH1 0x40
0000051c: MLOAD
0000051d: PUSH2 0x0366
00000520: SWAP7
00000521: SWAP6
00000522: SWAP5
00000523: SWAP4
00000524: SWAP3
00000525: SWAP2
00000526: SWAP1
00000527: PUSH2 0x38a8
0000052a: JUMP
0000052b: JUMPDEST
0000052c: CALLVALUE
0000052d: DUP1
0000052e: ISZERO
0000052f: PUSH2 0x0537
00000532: JUMPI
00000533: PUSH1 0x00
00000535: DUP1
00000536: REVERT
00000537: JUMPDEST
00000538: POP
00000539: PUSH2 0x0540
0000053c: PUSH2 0x119a
0000053f: JUMP
00000540: JUMPDEST
00000541: PUSH1 0x40
00000543: MLOAD
00000544: PUSH2 0x0366
00000547: SWAP2
00000548: SWAP1
00000549: PUSH2 0x381d
0000054c: JUMP
0000054d: JUMPDEST
0000054e: CALLVALUE
0000054f: DUP1
00000550: ISZERO
00000551: PUSH2 0x0559
00000554: JUMPI
00000555: PUSH1 0x00
00000557: DUP1
00000558: REVERT
00000559: JUMPDEST
0000055a: POP
0000055b: PUSH2 0x0317
0000055e: PUSH2 0x0568
00000561: CALLDATASIZE
00000562: PUSH1 0x04
00000564: PUSH2 0x35bc
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH2 0x11b6
0000056c: JUMP
0000056d: JUMPDEST
0000056e: CALLVALUE
0000056f: DUP1
00000570: ISZERO
00000571: PUSH2 0x0579
00000574: JUMPI
00000575: PUSH1 0x00
00000577: DUP1
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH2 0x0359
0000057e: PUSH2 0x11ff
00000581: JUMP
00000582: JUMPDEST
00000583: CALLVALUE
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x058e
00000589: JUMPI
0000058a: PUSH1 0x00
0000058c: DUP1
0000058d: REVERT
0000058e: JUMPDEST
0000058f: POP
00000590: PUSH2 0x0359
00000593: PUSH2 0x059d
00000596: CALLDATASIZE
00000597: PUSH1 0x04
00000599: PUSH2 0x3658
0000059c: JUMP
0000059d: JUMPDEST
0000059e: PUSH2 0x1205
000005a1: JUMP
000005a2: JUMPDEST
000005a3: CALLVALUE
000005a4: DUP1
000005a5: ISZERO
000005a6: PUSH2 0x05ae
000005a9: JUMPI
000005aa: PUSH1 0x00
000005ac: DUP1
000005ad: REVERT
000005ae: JUMPDEST
000005af: POP
000005b0: PUSH2 0x0359
000005b3: PUSH2 0x1222
000005b6: JUMP
000005b7: JUMPDEST
000005b8: CALLVALUE
000005b9: DUP1
000005ba: ISZERO
000005bb: PUSH2 0x05c3
000005be: JUMPI
000005bf: PUSH1 0x00
000005c1: DUP1
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: PUSH2 0x0317
000005c8: PUSH2 0x05d2
000005cb: CALLDATASIZE
000005cc: PUSH1 0x04
000005ce: PUSH2 0x362d
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x1228
000005d6: JUMP
000005d7: JUMPDEST
000005d8: CALLVALUE
000005d9: DUP1
000005da: ISZERO
000005db: PUSH2 0x05e3
000005de: JUMPI
000005df: PUSH1 0x00
000005e1: DUP1
000005e2: REVERT
000005e3: JUMPDEST
000005e4: POP
000005e5: PUSH2 0x0317
000005e8: PUSH2 0x05f2
000005eb: CALLDATASIZE
000005ec: PUSH1 0x04
000005ee: PUSH2 0x362d
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH2 0x14dc
000005f6: JUMP
000005f7: JUMPDEST
000005f8: CALLVALUE
000005f9: DUP1
000005fa: ISZERO
000005fb: PUSH2 0x0603
000005fe: JUMPI
000005ff: PUSH1 0x00
00000601: DUP1
00000602: REVERT
00000603: JUMPDEST
00000604: POP
00000605: PUSH2 0x0359
00000608: PUSH2 0x0612
0000060b: CALLDATASIZE
0000060c: PUSH1 0x04
0000060e: PUSH2 0x35d4
00000611: JUMP
00000612: JUMPDEST
00000613: PUSH2 0x17aa
00000616: JUMP
00000617: JUMPDEST
00000618: CALLVALUE
00000619: DUP1
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH2 0x0359
00000628: PUSH2 0x17dd
0000062b: JUMP
0000062c: JUMPDEST
0000062d: CALLVALUE
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x0638
00000633: JUMPI
00000634: PUSH1 0x00
00000636: DUP1
00000637: REVERT
00000638: JUMPDEST
00000639: POP
0000063a: PUSH2 0x0359
0000063d: PUSH2 0x0647
00000640: CALLDATASIZE
00000641: PUSH1 0x04
00000643: PUSH2 0x35bc
00000646: JUMP
00000647: JUMPDEST
00000648: PUSH2 0x17e2
0000064b: JUMP
0000064c: JUMPDEST
0000064d: CALLVALUE
0000064e: DUP1
0000064f: ISZERO
00000650: PUSH2 0x0658
00000653: JUMPI
00000654: PUSH1 0x00
00000656: DUP1
00000657: REVERT
00000658: JUMPDEST
00000659: POP
0000065a: PUSH2 0x0540
0000065d: PUSH2 0x0667
00000660: CALLDATASIZE
00000661: PUSH1 0x04
00000663: PUSH2 0x35bc
00000666: JUMP
00000667: JUMPDEST
00000668: PUSH2 0x17ef
0000066b: JUMP
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x0317
0000067d: PUSH2 0x0687
00000680: CALLDATASIZE
00000681: PUSH1 0x04
00000683: PUSH2 0x33ac
00000686: JUMP
00000687: JUMPDEST
00000688: PUSH2 0x1817
0000068b: JUMP
0000068c: JUMPDEST
0000068d: PUSH2 0x0317
00000690: PUSH2 0x069a
00000693: CALLDATASIZE
00000694: PUSH1 0x04
00000696: PUSH2 0x3422
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH2 0x18b3
0000069e: JUMP
0000069f: JUMPDEST
000006a0: CALLVALUE
000006a1: DUP1
000006a2: ISZERO
000006a3: PUSH2 0x06ab
000006a6: JUMPI
000006a7: PUSH1 0x00
000006a9: DUP1
000006aa: REVERT
000006ab: JUMPDEST
000006ac: POP
000006ad: PUSH2 0x0359
000006b0: PUSH2 0x06ba
000006b3: CALLDATASIZE
000006b4: PUSH1 0x04
000006b6: PUSH2 0x3687
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH2 0x19c4
000006be: JUMP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: DUP1
000006c2: ISZERO
000006c3: PUSH2 0x06cb
000006c6: JUMPI
000006c7: PUSH1 0x00
000006c9: DUP1
000006ca: REVERT
000006cb: JUMPDEST
000006cc: POP
000006cd: PUSH2 0x0317
000006d0: PUSH2 0x06da
000006d3: CALLDATASIZE
000006d4: PUSH1 0x04
000006d6: PUSH2 0x33c8
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH2 0x1a06
000006de: JUMP
000006df: JUMPDEST
000006e0: CALLVALUE
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06eb
000006e6: JUMPI
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: REVERT
000006eb: JUMPDEST
000006ec: POP
000006ed: PUSH2 0x0317
000006f0: PUSH2 0x06fa
000006f3: CALLDATASIZE
000006f4: PUSH1 0x04
000006f6: PUSH2 0x344d
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH2 0x1b83
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x0317
00000710: PUSH2 0x071a
00000713: CALLDATASIZE
00000714: PUSH1 0x04
00000716: PUSH2 0x35f5
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH2 0x1d0a
0000071e: JUMP
0000071f: JUMPDEST
00000720: CALLVALUE
00000721: DUP1
00000722: ISZERO
00000723: PUSH2 0x072b
00000726: JUMPI
00000727: PUSH1 0x00
00000729: DUP1
0000072a: REVERT
0000072b: JUMPDEST
0000072c: POP
0000072d: PUSH2 0x073f
00000730: PUSH2 0x073a
00000733: CALLDATASIZE
00000734: PUSH1 0x04
00000736: PUSH2 0x35d4
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH2 0x1e01
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x40
00000742: MLOAD
00000743: PUSH2 0x0366
00000746: SWAP2
00000747: SWAP1
00000748: PUSH2 0x46c3
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x0317
0000075d: PUSH2 0x0767
00000760: CALLDATASIZE
00000761: PUSH1 0x04
00000763: PUSH2 0x3658
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH2 0x1e56
0000076b: JUMP
0000076c: JUMPDEST
0000076d: CALLVALUE
0000076e: DUP1
0000076f: ISZERO
00000770: PUSH2 0x0778
00000773: JUMPI
00000774: PUSH1 0x00
00000776: DUP1
00000777: REVERT
00000778: JUMPDEST
00000779: POP
0000077a: PUSH2 0x0477
0000077d: PUSH2 0x0787
00000780: CALLDATASIZE
00000781: PUSH1 0x04
00000783: PUSH2 0x33ac
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH2 0x1eb1
0000078b: JUMP
0000078c: JUMPDEST
0000078d: PUSH2 0x0317
00000790: PUSH2 0x079a
00000793: CALLDATASIZE
00000794: PUSH1 0x04
00000796: PUSH2 0x36df
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x1edc
0000079e: JUMP
0000079f: JUMPDEST
000007a0: CALLVALUE
000007a1: DUP1
000007a2: ISZERO
000007a3: PUSH2 0x07ab
000007a6: JUMPI
000007a7: PUSH1 0x00
000007a9: DUP1
000007aa: REVERT
000007ab: JUMPDEST
000007ac: POP
000007ad: PUSH2 0x0359
000007b0: PUSH2 0x07ba
000007b3: CALLDATASIZE
000007b4: PUSH1 0x04
000007b6: PUSH2 0x35bc
000007b9: JUMP
000007ba: JUMPDEST
000007bb: PUSH2 0x21b9
000007be: JUMP
000007bf: JUMPDEST
000007c0: CALLVALUE
000007c1: DUP1
000007c2: ISZERO
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: DUP1
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: PUSH2 0x0317
000007d0: PUSH2 0x07da
000007d3: CALLDATASIZE
000007d4: PUSH1 0x04
000007d6: PUSH2 0x35bc
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH2 0x21ce
000007de: JUMP
000007df: JUMPDEST
000007e0: CALLVALUE
000007e1: DUP1
000007e2: ISZERO
000007e3: PUSH2 0x07eb
000007e6: JUMPI
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: REVERT
000007eb: JUMPDEST
000007ec: POP
000007ed: PUSH2 0x0317
000007f0: PUSH2 0x07fa
000007f3: CALLDATASIZE
000007f4: PUSH1 0x04
000007f6: PUSH2 0x376f
000007f9: JUMP
000007fa: JUMPDEST
000007fb: PUSH2 0x21db
000007fe: JUMP
000007ff: JUMPDEST
00000800: CALLVALUE
00000801: DUP1
00000802: ISZERO
00000803: PUSH2 0x080b
00000806: JUMPI
00000807: PUSH1 0x00
00000809: DUP1
0000080a: REVERT
0000080b: JUMPDEST
0000080c: POP
0000080d: PUSH2 0x0359
00000810: PUSH2 0x23c4
00000813: JUMP
00000814: JUMPDEST
00000815: CALLVALUE
00000816: DUP1
00000817: ISZERO
00000818: PUSH2 0x0820
0000081b: JUMPI
0000081c: PUSH1 0x00
0000081e: DUP1
0000081f: REVERT
00000820: JUMPDEST
00000821: POP
00000822: PUSH2 0x0477
00000825: PUSH2 0x082f
00000828: CALLDATASIZE
00000829: PUSH1 0x04
0000082b: PUSH2 0x35bc
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH2 0x23ca
00000833: JUMP
00000834: JUMPDEST
00000835: CALLVALUE
00000836: DUP1
00000837: ISZERO
00000838: PUSH2 0x0840
0000083b: JUMPI
0000083c: PUSH1 0x00
0000083e: DUP1
0000083f: REVERT
00000840: JUMPDEST
00000841: POP
00000842: PUSH2 0x0359
00000845: PUSH2 0x084f
00000848: CALLDATASIZE
00000849: PUSH1 0x04
0000084b: PUSH2 0x35bc
0000084e: JUMP
0000084f: JUMPDEST
00000850: PUSH2 0x23df
00000853: JUMP
00000854: JUMPDEST
00000855: CALLVALUE
00000856: DUP1
00000857: ISZERO
00000858: PUSH2 0x0860
0000085b: JUMPI
0000085c: PUSH1 0x00
0000085e: DUP1
0000085f: REVERT
00000860: JUMPDEST
00000861: POP
00000862: PUSH2 0x0359
00000865: PUSH2 0x086f
00000868: CALLDATASIZE
00000869: PUSH1 0x04
0000086b: PUSH2 0x33ac
0000086e: JUMP
0000086f: JUMPDEST
00000870: PUSH2 0x23f1
00000873: JUMP
00000874: JUMPDEST
00000875: PUSH2 0x087c
00000878: PUSH2 0x242b
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000892: DUP2
00000893: AND
00000894: PUSH1 0x00
00000896: SWAP1
00000897: DUP2
00000898: MSTORE
00000899: PUSH1 0x01
0000089b: PUSH1 0x20
0000089d: DUP2
0000089e: SWAP1
0000089f: MSTORE
000008a0: PUSH1 0x40
000008a2: SWAP1
000008a3: SWAP2
000008a4: KECCAK256
000008a5: SLOAD
000008a6: PUSH1 0xff
000008a8: AND
000008a9: ISZERO
000008aa: ISZERO
000008ab: EQ
000008ac: PUSH2 0x08ea
000008af: JUMPI
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008d4: DUP2
000008d5: MSTORE
000008d6: PUSH1 0x04
000008d8: ADD
000008d9: PUSH2 0x08e1
000008dc: SWAP1
000008dd: PUSH2 0x3d0e
000008e0: JUMP
000008e1: JUMPDEST
000008e2: PUSH1 0x40
000008e4: MLOAD
000008e5: DUP1
000008e6: SWAP2
000008e7: SUB
000008e8: SWAP1
000008e9: REVERT
000008ea: JUMPDEST
000008eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000900: DUP2
00000901: AND
00000902: PUSH1 0x00
00000904: DUP2
00000905: DUP2
00000906: MSTORE
00000907: PUSH1 0x01
00000909: PUSH1 0x20
0000090b: MSTORE
0000090c: PUSH1 0x40
0000090e: DUP1
0000090f: DUP3
00000910: KECCAK256
00000911: DUP1
00000912: SLOAD
00000913: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000934: AND
00000935: SWAP1
00000936: SSTORE
00000937: MLOAD
00000938: PUSH32 0x4234ba611d325b3ba434c4e1b037967b955b1274d4185ee9847b7491111a48ff
00000959: SWAP2
0000095a: SWAP1
0000095b: LOG2
0000095c: POP
0000095d: JUMP
0000095e: JUMPDEST
0000095f: PUSH1 0x02
00000961: PUSH1 0x00
00000963: SLOAD
00000964: EQ
00000965: ISZERO
00000966: PUSH2 0x099b
00000969: JUMPI
0000096a: PUSH1 0x40
0000096c: MLOAD
0000096d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000098e: DUP2
0000098f: MSTORE
00000990: PUSH1 0x04
00000992: ADD
00000993: PUSH2 0x08e1
00000996: SWAP1
00000997: PUSH2 0x4518
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH1 0x02
0000099e: PUSH1 0x00
000009a0: SWAP1
000009a1: DUP2
000009a2: SSTORE
000009a3: PUSH2 0x09b8
000009a6: PUSH2 0x09ad
000009a9: PUSH2 0x0fe3
000009ac: JUMP
000009ad: JUMPDEST
000009ae: DUP15
000009af: DUP15
000009b0: DUP15
000009b1: DUP15
000009b2: DUP15
000009b3: DUP15
000009b4: PUSH2 0x19c4
000009b7: JUMP
000009b8: JUMPDEST
000009b9: SWAP1
000009ba: POP
000009bb: PUSH2 0x09fe
000009be: DUP2
000009bf: DUP7
000009c0: DUP7
000009c1: DUP7
000009c2: DUP1
000009c3: DUP1
000009c4: PUSH1 0x20
000009c6: MUL
000009c7: PUSH1 0x20
000009c9: ADD
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: SWAP1
000009ce: DUP2
000009cf: ADD
000009d0: PUSH1 0x40
000009d2: MSTORE
000009d3: DUP1
000009d4: SWAP4
000009d5: SWAP3
000009d6: SWAP2
000009d7: SWAP1
000009d8: DUP2
000009d9: DUP2
000009da: MSTORE
000009db: PUSH1 0x20
000009dd: ADD
000009de: DUP4
000009df: DUP4
000009e0: PUSH1 0x20
000009e2: MUL
000009e3: DUP1
000009e4: DUP3
000009e5: DUP5
000009e6: CALLDATACOPY
000009e7: PUSH1 0x00
000009e9: SWAP3
000009ea: ADD
000009eb: SWAP2
000009ec: SWAP1
000009ed: SWAP2
000009ee: MSTORE
000009ef: POP
000009f0: DUP14
000009f1: SWAP6
000009f2: SWAP5
000009f3: SWAP4
000009f4: SWAP3
000009f5: POP
000009f6: DUP9
000009f7: SWAP2
000009f8: POP
000009f9: POP
000009fa: PUSH2 0x247e
000009fd: JUMP
000009fe: JUMPDEST
000009ff: PUSH2 0x0a34
00000a02: JUMPI
00000a03: PUSH1 0x40
00000a05: MLOAD
00000a06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x04
00000a2b: ADD
00000a2c: PUSH2 0x08e1
00000a2f: SWAP1
00000a30: PUSH2 0x428c
00000a33: JUMP
00000a34: JUMPDEST
00000a35: PUSH1 0x00
00000a37: PUSH2 0x0a40
00000a3a: DUP9
00000a3b: DUP9
00000a3c: PUSH2 0x17aa
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: SWAP1
00000a42: POP
00000a43: PUSH2 0x0a4c
00000a46: DUP2
00000a47: DUP15
00000a48: PUSH2 0x25e8
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH2 0x0a59
00000a50: DUP3
00000a51: DUP16
00000a52: DUP16
00000a53: PUSH1 0x00
00000a55: PUSH2 0x2688
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: DUP14
00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a70: AND
00000a71: DUP3
00000a72: PUSH32 0x9475cdbde5fc71fe2ccd413c82878ee54d061b9f74f9e2e1a03ff1178821502c
00000a93: DUP16
00000a94: DUP16
00000a95: PUSH1 0x40
00000a97: MLOAD
00000a98: PUSH2 0x0aa2
00000a9b: SWAP3
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: PUSH2 0x37f3
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x40
00000aa5: MLOAD
00000aa6: DUP1
00000aa7: SWAP2
00000aa8: SUB
00000aa9: SWAP1
00000aaa: LOG3
00000aab: POP
00000aac: POP
00000aad: PUSH1 0x01
00000aaf: PUSH1 0x00
00000ab1: SSTORE
00000ab2: POP
00000ab3: POP
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: POP
00000ab8: POP
00000ab9: POP
00000aba: POP
00000abb: POP
00000abc: POP
00000abd: POP
00000abe: JUMP
00000abf: JUMPDEST
00000ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad5: DUP2
00000ad6: AND
00000ad7: PUSH1 0x00
00000ad9: SWAP1
00000ada: DUP2
00000adb: MSTORE
00000adc: PUSH1 0x03
00000ade: PUSH1 0x20
00000ae0: MSTORE
00000ae1: PUSH1 0x40
00000ae3: SWAP1
00000ae4: KECCAK256
00000ae5: SLOAD
00000ae6: JUMPDEST
00000ae7: SWAP2
00000ae8: SWAP1
00000ae9: POP
00000aea: JUMP
00000aeb: JUMPDEST
00000aec: PUSH2 0x0af3
00000aef: PUSH2 0x242b
00000af2: JUMP
00000af3: JUMPDEST
00000af4: PUSH1 0x00
00000af6: SWAP2
00000af7: DUP3
00000af8: MSTORE
00000af9: PUSH1 0x0d
00000afb: PUSH1 0x20
00000afd: MSTORE
00000afe: PUSH1 0x40
00000b00: SWAP1
00000b01: SWAP2
00000b02: KECCAK256
00000b03: DUP1
00000b04: SLOAD
00000b05: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b26: AND
00000b27: SWAP2
00000b28: ISZERO
00000b29: ISZERO
00000b2a: SWAP2
00000b2b: SWAP1
00000b2c: SWAP2
00000b2d: OR
00000b2e: SWAP1
00000b2f: SSTORE
00000b30: JUMP
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: PUSH2 0x0b3d
00000b37: DUP5
00000b38: DUP5
00000b39: PUSH2 0x17aa
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x00
00000b40: DUP2
00000b41: DUP2
00000b42: MSTORE
00000b43: PUSH1 0x08
00000b45: PUSH1 0x20
00000b47: SWAP1
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x40
00000b4c: DUP1
00000b4d: DUP4
00000b4e: KECCAK256
00000b4f: DUP7
00000b50: DUP5
00000b51: MSTORE
00000b52: PUSH1 0x07
00000b54: DUP4
00000b55: MSTORE
00000b56: DUP2
00000b57: DUP5
00000b58: KECCAK256
00000b59: DUP6
00000b5a: DUP6
00000b5b: MSTORE
00000b5c: SWAP1
00000b5d: SWAP3
00000b5e: MSTORE
00000b5f: SWAP1
00000b60: SWAP2
00000b61: KECCAK256
00000b62: SLOAD
00000b63: SWAP2
00000b64: SWAP3
00000b65: POP
00000b66: SWAP1
00000b67: ISZERO
00000b68: PUSH2 0x0b9d
00000b6b: JUMPI
00000b6c: PUSH1 0x40
00000b6e: MLOAD
00000b6f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b90: DUP2
00000b91: MSTORE
00000b92: PUSH1 0x04
00000b94: ADD
00000b95: PUSH2 0x08e1
00000b98: SWAP1
00000b99: PUSH2 0x4109
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH1 0x01
00000ba0: DUP2
00000ba1: ADD
00000ba2: SLOAD
00000ba3: PUSH2 0x0bd8
00000ba6: JUMPI
00000ba7: PUSH1 0x40
00000ba9: MLOAD
00000baa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bcb: DUP2
00000bcc: MSTORE
00000bcd: PUSH1 0x04
00000bcf: ADD
00000bd0: PUSH2 0x08e1
00000bd3: SWAP1
00000bd4: PUSH2 0x3a87
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: PUSH1 0x00
00000bdb: PUSH2 0x0bf3
00000bde: PUSH1 0x0e
00000be0: SLOAD
00000be1: DUP4
00000be2: PUSH1 0x01
00000be4: ADD
00000be5: SLOAD
00000be6: PUSH2 0x26af
00000be9: SWAP1
00000bea: SWAP2
00000beb: SWAP1
00000bec: PUSH4 0xffffffff
00000bf1: AND
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: SWAP1
00000bf5: POP
00000bf6: TIMESTAMP
00000bf7: DUP2
00000bf8: LT
00000bf9: ISZERO
00000bfa: PUSH2 0x0c2f
00000bfd: JUMPI
00000bfe: PUSH1 0x40
00000c00: MLOAD
00000c01: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x04
00000c26: ADD
00000c27: PUSH2 0x08e1
00000c2a: SWAP1
00000c2b: PUSH2 0x42c3
00000c2e: JUMP
00000c2f: JUMPDEST
00000c30: PUSH1 0x03
00000c32: DUP3
00000c33: ADD
00000c34: SLOAD
00000c35: ISZERO
00000c36: PUSH2 0x0c6b
00000c39: JUMPI
00000c3a: PUSH1 0x40
00000c3c: MLOAD
00000c3d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c5e: DUP2
00000c5f: MSTORE
00000c60: PUSH1 0x04
00000c62: ADD
00000c63: PUSH2 0x08e1
00000c66: SWAP1
00000c67: PUSH2 0x3c54
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: TIMESTAMP
00000c6d: PUSH1 0x03
00000c6f: DUP4
00000c70: ADD
00000c71: SSTORE
00000c72: PUSH1 0x04
00000c74: DUP3
00000c75: ADD
00000c76: DUP1
00000c77: SLOAD
00000c78: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000c99: AND
00000c9a: CALLER
00000c9b: OR
00000c9c: SWAP1
00000c9d: SSTORE
00000c9e: PUSH1 0x01
00000ca0: DUP3
00000ca1: ADD
00000ca2: SLOAD
00000ca3: PUSH1 0x00
00000ca5: SWAP1
00000ca6: PUSH2 0x0cae
00000ca9: SWAP1
00000caa: PUSH2 0x0ead
00000cad: JUMP
00000cae: JUMPDEST
00000caf: SWAP1
00000cb0: POP
00000cb1: PUSH1 0x00
00000cb3: PUSH2 0x0cbb
00000cb6: DUP8
00000cb7: PUSH2 0x21b9
00000cba: JUMP
00000cbb: JUMPDEST
00000cbc: DUP5
00000cbd: SLOAD
00000cbe: PUSH1 0x00
00000cc0: DUP5
00000cc1: DUP2
00000cc2: MSTORE
00000cc3: PUSH1 0x09
00000cc5: PUSH1 0x20
00000cc7: SWAP1
00000cc8: DUP2
00000cc9: MSTORE
00000cca: PUSH1 0x40
00000ccc: DUP1
00000ccd: DUP4
00000cce: KECCAK256
00000ccf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce4: SWAP1
00000ce5: SWAP5
00000ce6: AND
00000ce7: DUP1
00000ce8: DUP5
00000ce9: MSTORE
00000cea: SWAP4
00000ceb: SWAP1
00000cec: SWAP2
00000ced: MSTORE
00000cee: SWAP1
00000cef: KECCAK256
00000cf0: SLOAD
00000cf1: SWAP2
00000cf2: SWAP3
00000cf3: POP
00000cf4: SWAP1
00000cf5: PUSH2 0x0cfe
00000cf8: SWAP1
00000cf9: DUP4
00000cfa: PUSH2 0x26f5
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x00
00000d01: DUP5
00000d02: DUP2
00000d03: MSTORE
00000d04: PUSH1 0x09
00000d06: PUSH1 0x20
00000d08: SWAP1
00000d09: DUP2
00000d0a: MSTORE
00000d0b: PUSH1 0x40
00000d0d: DUP1
00000d0e: DUP4
00000d0f: KECCAK256
00000d10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d25: DUP1
00000d26: DUP8
00000d27: AND
00000d28: DUP6
00000d29: MSTORE
00000d2a: SWAP3
00000d2b: MSTORE
00000d2c: SWAP1
00000d2d: SWAP2
00000d2e: KECCAK256
00000d2f: SWAP2
00000d30: SWAP1
00000d31: SWAP2
00000d32: SSTORE
00000d33: DUP6
00000d34: SLOAD
00000d35: PUSH2 0x0d3f
00000d38: SWAP2
00000d39: AND
00000d3a: DUP4
00000d3b: PUSH2 0x2737
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH1 0x00
00000d42: PUSH2 0x0d4a
00000d45: DUP10
00000d46: PUSH2 0x17e2
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: SWAP1
00000d4c: POP
00000d4d: PUSH2 0x0d56
00000d50: CALLER
00000d51: DUP3
00000d52: PUSH2 0x2794
00000d55: JUMP
00000d56: JUMPDEST
00000d57: DUP10
00000d58: DUP8
00000d59: PUSH32 0xec2697dcba539a0ac947cdf1f6d0b6314c065429eca8be2435859b10209d4c27
00000d7a: DUP12
00000d7b: PUSH1 0x40
00000d7d: MLOAD
00000d7e: PUSH2 0x0d87
00000d81: SWAP2
00000d82: SWAP1
00000d83: PUSH2 0x3943
00000d86: JUMP
00000d87: JUMPDEST
00000d88: PUSH1 0x40
00000d8a: MLOAD
00000d8b: DUP1
00000d8c: SWAP2
00000d8d: SUB
00000d8e: SWAP1
00000d8f: LOG3
00000d90: POP
00000d91: POP
00000d92: POP
00000d93: POP
00000d94: POP
00000d95: POP
00000d96: POP
00000d97: POP
00000d98: POP
00000d99: POP
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: CALLER
00000d9d: PUSH1 0x00
00000d9f: SWAP1
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x01
00000da4: PUSH1 0x20
00000da6: MSTORE
00000da7: PUSH1 0x40
00000da9: SWAP1
00000daa: KECCAK256
00000dab: SLOAD
00000dac: PUSH1 0xff
00000dae: AND
00000daf: PUSH2 0x0de4
00000db2: JUMPI
00000db3: PUSH1 0x40
00000db5: MLOAD
00000db6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dd7: DUP2
00000dd8: MSTORE
00000dd9: PUSH1 0x04
00000ddb: ADD
00000ddc: PUSH2 0x08e1
00000ddf: SWAP1
00000de0: PUSH2 0x4255
00000de3: JUMP
00000de4: JUMPDEST
00000de5: PUSH1 0x02
00000de7: PUSH1 0x00
00000de9: SLOAD
00000dea: EQ
00000deb: ISZERO
00000dec: PUSH2 0x0e21
00000def: JUMPI
00000df0: PUSH1 0x40
00000df2: MLOAD
00000df3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e14: DUP2
00000e15: MSTORE
00000e16: PUSH1 0x04
00000e18: ADD
00000e19: PUSH2 0x08e1
00000e1c: SWAP1
00000e1d: PUSH2 0x4518
00000e20: JUMP
00000e21: JUMPDEST
00000e22: PUSH1 0x02
00000e24: PUSH1 0x00
00000e26: SWAP1
00000e27: DUP2
00000e28: SSTORE
00000e29: PUSH2 0x0e3f
00000e2c: PUSH2 0x0e33
00000e2f: PUSH2 0x0fe3
00000e32: JUMP
00000e33: JUMPDEST
00000e34: DUP7
00000e35: DUP7
00000e36: DUP7
00000e37: DUP7
00000e38: PUSH1 0x00
00000e3a: DUP1
00000e3b: PUSH2 0x19c4
00000e3e: JUMP
00000e3f: JUMPDEST
00000e40: SWAP1
00000e41: POP
00000e42: PUSH2 0x0e4b
00000e45: DUP2
00000e46: DUP6
00000e47: PUSH2 0x27d1
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH2 0x0e57
00000e4f: DUP2
00000e50: DUP7
00000e51: DUP7
00000e52: DUP6
00000e53: PUSH2 0x2688
00000e56: JUMP
00000e57: JUMPDEST
00000e58: POP
00000e59: PUSH1 0x01
00000e5b: PUSH1 0x00
00000e5d: SSTORE
00000e5e: PUSH2 0x0e66
00000e61: CALLER
00000e62: PUSH2 0x23f1
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH2 0x0e6f
00000e6a: CALLER
00000e6b: PUSH2 0x110e
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: LT
00000e71: ISZERO
00000e72: PUSH2 0x0ea7
00000e75: JUMPI
00000e76: PUSH1 0x40
00000e78: MLOAD
00000e79: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e9a: DUP2
00000e9b: MSTORE
00000e9c: PUSH1 0x04
00000e9e: ADD
00000e9f: PUSH2 0x08e1
00000ea2: SWAP1
00000ea3: PUSH2 0x41c3
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: POP
00000ea9: POP
00000eaa: POP
00000eab: POP
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH2 0x3840
00000eb1: SWAP1
00000eb2: DIV
00000eb3: SWAP1
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x02
00000eb8: PUSH1 0x00
00000eba: SLOAD
00000ebb: EQ
00000ebc: ISZERO
00000ebd: PUSH2 0x0ef2
00000ec0: JUMPI
00000ec1: PUSH1 0x40
00000ec3: MLOAD
00000ec4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee5: DUP2
00000ee6: MSTORE
00000ee7: PUSH1 0x04
00000ee9: ADD
00000eea: PUSH2 0x08e1
00000eed: SWAP1
00000eee: PUSH2 0x4518
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x02
00000ef5: PUSH1 0x00
00000ef7: SSTORE
00000ef8: PUSH2 0x0f01
00000efb: CALLER
00000efc: DUP3
00000efd: PUSH2 0x2737
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH2 0x0f0b
00000f05: CALLER
00000f06: DUP3
00000f07: PUSH2 0x2888
00000f0a: JUMP
00000f0b: JUMPDEST
00000f0c: CALLER
00000f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f22: AND
00000f23: PUSH32 0x85082129d87b2fe11527cb1b3b7a520aeb5aa6913f88a3d8757fe40d1db02fdd
00000f44: DUP3
00000f45: PUSH1 0x40
00000f47: MLOAD
00000f48: PUSH2 0x0f51
00000f4b: SWAP2
00000f4c: SWAP1
00000f4d: PUSH2 0x3943
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x40
00000f54: MLOAD
00000f55: DUP1
00000f56: SWAP2
00000f57: SUB
00000f58: SWAP1
00000f59: LOG2
00000f5a: PUSH1 0x01
00000f5c: PUSH1 0x00
00000f5e: SSTORE
00000f5f: PUSH2 0x0f67
00000f62: CALLER
00000f63: PUSH2 0x23f1
00000f66: JUMP
00000f67: JUMPDEST
00000f68: PUSH2 0x0f70
00000f6b: CALLER
00000f6c: PUSH2 0x110e
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: LT
00000f72: ISZERO
00000f73: PUSH2 0x0fa8
00000f76: JUMPI
00000f77: PUSH1 0x40
00000f79: MLOAD
00000f7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f9b: DUP2
00000f9c: MSTORE
00000f9d: PUSH1 0x04
00000f9f: ADD
00000fa0: PUSH2 0x08e1
00000fa3: SWAP1
00000fa4: PUSH2 0x41c3
00000fa7: JUMP
00000fa8: JUMPDEST
00000fa9: POP
00000faa: JUMP
00000fab: JUMPDEST
00000fac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc1: DUP3
00000fc2: AND
00000fc3: PUSH1 0x00
00000fc5: SWAP1
00000fc6: DUP2
00000fc7: MSTORE
00000fc8: PUSH1 0x06
00000fca: PUSH1 0x20
00000fcc: SWAP1
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x40
00000fd1: DUP1
00000fd2: DUP4
00000fd3: KECCAK256
00000fd4: DUP5
00000fd5: DUP5
00000fd6: MSTORE
00000fd7: SWAP1
00000fd8: SWAP2
00000fd9: MSTORE
00000fda: SWAP1
00000fdb: KECCAK256
00000fdc: SLOAD
00000fdd: JUMPDEST
00000fde: SWAP3
00000fdf: SWAP2
00000fe0: POP
00000fe1: POP
00000fe2: JUMP
00000fe3: JUMPDEST
00000fe4: CHAINID
00000fe5: SWAP1
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: PUSH2 0x0fef
00000feb: PUSH2 0x242b
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: PUSH1 0x10
00000ff2: SSTORE
00000ff3: JUMP
00000ff4: JUMPDEST
00000ff5: PUSH1 0x00
00000ff7: SWAP1
00000ff8: DUP2
00000ff9: MSTORE
00000ffa: PUSH1 0x05
00000ffc: PUSH1 0x20
00000ffe: MSTORE
00000fff: PUSH1 0x40
00001001: SWAP1
00001002: KECCAK256
00001003: SLOAD
00001004: PUSH1 0xff
00001006: AND
00001007: SWAP1
00001008: JUMP
00001009: JUMPDEST
0000100a: PUSH1 0x07
0000100c: PUSH1 0x20
0000100e: SWAP1
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x00
00001013: SWAP3
00001014: DUP4
00001015: MSTORE
00001016: PUSH1 0x40
00001018: DUP1
00001019: DUP5
0000101a: KECCAK256
0000101b: SWAP1
0000101c: SWAP2
0000101d: MSTORE
0000101e: SWAP1
0000101f: DUP3
00001020: MSTORE
00001021: SWAP1
00001022: KECCAK256
00001023: SLOAD
00001024: DUP2
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH2 0x3840
0000102a: DUP2
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH2 0x1034
00001030: PUSH2 0x242b
00001033: JUMP
00001034: JUMPDEST
00001035: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104a: DUP2
0000104b: AND
0000104c: PUSH1 0x00
0000104e: SWAP1
0000104f: DUP2
00001050: MSTORE
00001051: PUSH1 0x01
00001053: PUSH1 0x20
00001055: MSTORE
00001056: PUSH1 0x40
00001058: SWAP1
00001059: KECCAK256
0000105a: SLOAD
0000105b: PUSH1 0xff
0000105d: AND
0000105e: ISZERO
0000105f: PUSH2 0x1094
00001062: JUMPI
00001063: PUSH1 0x40
00001065: MLOAD
00001066: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x04
0000108b: ADD
0000108c: PUSH2 0x08e1
0000108f: SWAP1
00001090: PUSH2 0x3b52
00001093: JUMP
00001094: JUMPDEST
00001095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010aa: DUP2
000010ab: AND
000010ac: PUSH1 0x00
000010ae: DUP2
000010af: DUP2
000010b0: MSTORE
000010b1: PUSH1 0x01
000010b3: PUSH1 0x20
000010b5: DUP2
000010b6: SWAP1
000010b7: MSTORE
000010b8: PUSH1 0x40
000010ba: DUP1
000010bb: DUP4
000010bc: KECCAK256
000010bd: DUP1
000010be: SLOAD
000010bf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000010e0: AND
000010e1: SWAP1
000010e2: SWAP3
000010e3: OR
000010e4: SWAP1
000010e5: SWAP2
000010e6: SSTORE
000010e7: MLOAD
000010e8: PUSH32 0x2cec73b7434d3b91198ad1a618f63e6a0761ce281af5ec9ec76606d948d03e23
00001109: SWAP2
0000110a: SWAP1
0000110b: LOG2
0000110c: POP
0000110d: JUMP
0000110e: JUMPDEST
0000110f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001124: AND
00001125: PUSH1 0x00
00001127: SWAP1
00001128: DUP2
00001129: MSTORE
0000112a: PUSH1 0x02
0000112c: PUSH1 0x20
0000112e: MSTORE
0000112f: PUSH1 0x40
00001131: SWAP1
00001132: KECCAK256
00001133: SLOAD
00001134: SWAP1
00001135: JUMP
00001136: JUMPDEST
00001137: PUSH1 0x08
00001139: PUSH1 0x20
0000113b: MSTORE
0000113c: PUSH1 0x00
0000113e: SWAP1
0000113f: DUP2
00001140: MSTORE
00001141: PUSH1 0x40
00001143: SWAP1
00001144: KECCAK256
00001145: DUP1
00001146: SLOAD
00001147: PUSH1 0x01
00001149: DUP3
0000114a: ADD
0000114b: SLOAD
0000114c: PUSH1 0x02
0000114e: DUP4
0000114f: ADD
00001150: SLOAD
00001151: PUSH1 0x03
00001153: DUP5
00001154: ADD
00001155: SLOAD
00001156: PUSH1 0x04
00001158: SWAP1
00001159: SWAP5
0000115a: ADD
0000115b: SLOAD
0000115c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001171: SWAP4
00001172: DUP5
00001173: AND
00001174: SWAP5
00001175: SWAP3
00001176: SWAP4
00001177: SWAP2
00001178: SWAP3
00001179: SWAP2
0000117a: DUP2
0000117b: AND
0000117c: SWAP1
0000117d: PUSH21 0x010000000000000000000000000000000000000000
00001193: SWAP1
00001194: DIV
00001195: PUSH1 0xff
00001197: AND
00001198: DUP7
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH1 0x0b
0000119d: SLOAD
0000119e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b3: AND
000011b4: DUP2
000011b5: JUMP
000011b6: JUMPDEST
000011b7: PUSH2 0x11be
000011ba: PUSH2 0x242b
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH2 0x3840
000011c2: DUP2
000011c3: MOD
000011c4: ISZERO
000011c5: PUSH2 0x11fa
000011c8: JUMPI
000011c9: PUSH1 0x40
000011cb: MLOAD
000011cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011ed: DUP2
000011ee: MSTORE
000011ef: PUSH1 0x04
000011f1: ADD
000011f2: PUSH2 0x08e1
000011f5: SWAP1
000011f6: PUSH2 0x39f3
000011f9: JUMP
000011fa: JUMPDEST
000011fb: PUSH1 0x0e
000011fd: SSTORE
000011fe: JUMP
000011ff: JUMPDEST
00001200: PUSH1 0x10
00001202: SLOAD
00001203: DUP2
00001204: JUMP
00001205: JUMPDEST
00001206: PUSH1 0x09
00001208: PUSH1 0x20
0000120a: SWAP1
0000120b: DUP2
0000120c: MSTORE
0000120d: PUSH1 0x00
0000120f: SWAP3
00001210: DUP4
00001211: MSTORE
00001212: PUSH1 0x40
00001214: DUP1
00001215: DUP5
00001216: KECCAK256
00001217: SWAP1
00001218: SWAP2
00001219: MSTORE
0000121a: SWAP1
0000121b: DUP3
0000121c: MSTORE
0000121d: SWAP1
0000121e: KECCAK256
0000121f: SLOAD
00001220: DUP2
00001221: JUMP
00001222: JUMPDEST
00001223: PUSH1 0x0f
00001225: SLOAD
00001226: DUP2
00001227: JUMP
00001228: JUMPDEST
00001229: PUSH1 0x00
0000122b: PUSH2 0x1234
0000122e: DUP5
0000122f: DUP5
00001230: PUSH2 0x17aa
00001233: JUMP
00001234: JUMPDEST
00001235: PUSH1 0x00
00001237: DUP2
00001238: DUP2
00001239: MSTORE
0000123a: PUSH1 0x08
0000123c: PUSH1 0x20
0000123e: MSTORE
0000123f: PUSH1 0x40
00001241: SWAP1
00001242: KECCAK256
00001243: PUSH1 0x03
00001245: DUP2
00001246: ADD
00001247: SLOAD
00001248: SWAP2
00001249: SWAP3
0000124a: POP
0000124b: SWAP1
0000124c: PUSH2 0x1281
0000124f: JUMPI
00001250: PUSH1 0x40
00001252: MLOAD
00001253: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x04
00001278: ADD
00001279: PUSH2 0x08e1
0000127c: SWAP1
0000127d: PUSH2 0x445e
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x0f
00001284: SLOAD
00001285: PUSH1 0x03
00001287: DUP3
00001288: ADD
00001289: SLOAD
0000128a: PUSH2 0x1292
0000128d: SWAP2
0000128e: PUSH2 0x26af
00001291: JUMP
00001292: JUMPDEST
00001293: TIMESTAMP
00001294: GT
00001295: PUSH2 0x12ca
00001298: JUMPI
00001299: PUSH1 0x40
0000129b: MLOAD
0000129c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012bd: DUP2
000012be: MSTORE
000012bf: PUSH1 0x04
000012c1: ADD
000012c2: PUSH2 0x08e1
000012c5: SWAP1
000012c6: PUSH2 0x4321
000012c9: JUMP
000012ca: JUMPDEST
000012cb: PUSH1 0x04
000012cd: DUP2
000012ce: ADD
000012cf: SLOAD
000012d0: PUSH21 0x010000000000000000000000000000000000000000
000012e6: SWAP1
000012e7: DIV
000012e8: PUSH1 0xff
000012ea: AND
000012eb: ISZERO
000012ec: PUSH2 0x1321
000012ef: JUMPI
000012f0: PUSH1 0x40
000012f2: MLOAD
000012f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001314: DUP2
00001315: MSTORE
00001316: PUSH1 0x04
00001318: ADD
00001319: PUSH2 0x08e1
0000131c: SWAP1
0000131d: PUSH2 0x3bf7
00001320: JUMP
00001321: JUMPDEST
00001322: PUSH1 0x04
00001324: DUP2
00001325: ADD
00001326: DUP1
00001327: SLOAD
00001328: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001349: AND
0000134a: PUSH21 0x010000000000000000000000000000000000000000
00001360: OR
00001361: SWAP1
00001362: SSTORE
00001363: PUSH1 0x00
00001365: PUSH2 0x136d
00001368: DUP6
00001369: PUSH2 0x17e2
0000136c: JUMP
0000136d: JUMPDEST
0000136e: PUSH1 0x00
00001370: DUP6
00001371: DUP2
00001372: MSTORE
00001373: PUSH1 0x07
00001375: PUSH1 0x20
00001377: SWAP1
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x40
0000137c: DUP1
0000137d: DUP4
0000137e: KECCAK256
0000137f: DUP8
00001380: DUP5
00001381: MSTORE
00001382: SWAP1
00001383: SWAP2
00001384: MSTORE
00001385: SWAP1
00001386: KECCAK256
00001387: SLOAD
00001388: SWAP1
00001389: SWAP2
0000138a: POP
0000138b: ISZERO
0000138c: PUSH2 0x1448
0000138f: JUMPI
00001390: PUSH1 0x10
00001392: SLOAD
00001393: PUSH1 0x00
00001395: DUP6
00001396: DUP2
00001397: MSTORE
00001398: PUSH1 0x07
0000139a: PUSH1 0x20
0000139c: SWAP1
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x40
000013a1: DUP1
000013a2: DUP4
000013a3: KECCAK256
000013a4: DUP8
000013a5: DUP5
000013a6: MSTORE
000013a7: SWAP1
000013a8: SWAP2
000013a9: MSTORE
000013aa: SWAP1
000013ab: KECCAK256
000013ac: SLOAD
000013ad: PUSH2 0x13b5
000013b0: SWAP2
000013b1: PUSH2 0x26af
000013b4: JUMP
000013b5: JUMPDEST
000013b6: DUP3
000013b7: PUSH1 0x01
000013b9: ADD
000013ba: SLOAD
000013bb: GT
000013bc: ISZERO
000013bd: PUSH2 0x13f9
000013c0: JUMPI
000013c1: DUP2
000013c2: SLOAD
000013c3: PUSH2 0x13f4
000013c6: SWAP1
000013c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013dc: AND
000013dd: PUSH2 0x13ef
000013e0: DUP4
000013e1: PUSH2 0x13e9
000013e4: DUP10
000013e5: PUSH2 0x21b9
000013e8: JUMP
000013e9: JUMPDEST
000013ea: SWAP1
000013eb: PUSH2 0x26af
000013ee: JUMP
000013ef: JUMPDEST
000013f0: PUSH2 0x293c
000013f3: JUMP
000013f4: JUMPDEST
000013f5: PUSH2 0x1443
000013f8: JUMP
000013f9: JUMPDEST
000013fa: PUSH1 0x04
000013fc: DUP3
000013fd: ADD
000013fe: SLOAD
000013ff: PUSH2 0x141e
00001402: SWAP1
00001403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001418: AND
00001419: DUP3
0000141a: PUSH2 0x293c
0000141d: JUMP
0000141e: JUMPDEST
0000141f: DUP2
00001420: SLOAD
00001421: PUSH2 0x1443
00001424: SWAP1
00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143a: AND
0000143b: PUSH2 0x13ef
0000143e: DUP8
0000143f: PUSH2 0x21b9
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH2 0x149b
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH2 0x1469
0000144c: PUSH2 0xdead
0000144f: PUSH2 0x1464
00001452: PUSH1 0x04
00001454: PUSH2 0x145e
00001457: DUP6
00001458: PUSH1 0x01
0000145a: PUSH2 0x2999
0000145d: JUMP
0000145e: JUMPDEST
0000145f: SWAP1
00001460: PUSH2 0x29ed
00001463: JUMP
00001464: JUMPDEST
00001465: PUSH2 0x2888
00001468: JUMP
00001469: JUMPDEST
0000146a: PUSH1 0x04
0000146c: DUP1
0000146d: DUP4
0000146e: ADD
0000146f: SLOAD
00001470: PUSH2 0x149b
00001473: SWAP2
00001474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001489: SWAP1
0000148a: SWAP2
0000148b: AND
0000148c: SWAP1
0000148d: PUSH2 0x13ef
00001490: SWAP1
00001491: PUSH2 0x145e
00001494: DUP6
00001495: PUSH1 0x07
00001497: PUSH2 0x2999
0000149a: JUMP
0000149b: JUMPDEST
0000149c: DUP6
0000149d: DUP4
0000149e: PUSH32 0x4a99228a8a6d774d261be57ab0ed833bb1bae1f22bbbd3d4767b75ad03fdddf7
000014bf: DUP8
000014c0: PUSH1 0x40
000014c2: MLOAD
000014c3: PUSH2 0x14cc
000014c6: SWAP2
000014c7: SWAP1
000014c8: PUSH2 0x3943
000014cb: JUMP
000014cc: JUMPDEST
000014cd: PUSH1 0x40
000014cf: MLOAD
000014d0: DUP1
000014d1: SWAP2
000014d2: SUB
000014d3: SWAP1
000014d4: LOG3
000014d5: POP
000014d6: POP
000014d7: POP
000014d8: POP
000014d9: POP
000014da: POP
000014db: JUMP
000014dc: JUMPDEST
000014dd: CALLER
000014de: PUSH1 0x00
000014e0: SWAP1
000014e1: DUP2
000014e2: MSTORE
000014e3: PUSH1 0x01
000014e5: PUSH1 0x20
000014e7: MSTORE
000014e8: PUSH1 0x40
000014ea: SWAP1
000014eb: KECCAK256
000014ec: SLOAD
000014ed: PUSH1 0xff
000014ef: AND
000014f0: PUSH2 0x1525
000014f3: JUMPI
000014f4: PUSH1 0x40
000014f6: MLOAD
000014f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001518: DUP2
00001519: MSTORE
0000151a: PUSH1 0x04
0000151c: ADD
0000151d: PUSH2 0x08e1
00001520: SWAP1
00001521: PUSH2 0x4255
00001524: JUMP
00001525: JUMPDEST
00001526: PUSH1 0x00
00001528: PUSH2 0x1531
0000152b: DUP5
0000152c: DUP4
0000152d: PUSH2 0x17aa
00001530: JUMP
00001531: JUMPDEST
00001532: PUSH1 0x00
00001534: DUP5
00001535: DUP2
00001536: MSTORE
00001537: PUSH1 0x07
00001539: PUSH1 0x20
0000153b: SWAP1
0000153c: DUP2
0000153d: MSTORE
0000153e: PUSH1 0x40
00001540: DUP1
00001541: DUP4
00001542: KECCAK256
00001543: DUP5
00001544: DUP5
00001545: MSTORE
00001546: SWAP1
00001547: SWAP2
00001548: MSTORE
00001549: SWAP1
0000154a: KECCAK256
0000154b: SLOAD
0000154c: SWAP1
0000154d: SWAP2
0000154e: POP
0000154f: ISZERO
00001550: PUSH2 0x1585
00001553: JUMPI
00001554: PUSH1 0x40
00001556: MLOAD
00001557: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001578: DUP2
00001579: MSTORE
0000157a: PUSH1 0x04
0000157c: ADD
0000157d: PUSH2 0x08e1
00001580: SWAP1
00001581: PUSH2 0x4109
00001584: JUMP
00001585: JUMPDEST
00001586: PUSH1 0x00
00001588: DUP2
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x08
0000158d: PUSH1 0x20
0000158f: MSTORE
00001590: PUSH1 0x40
00001592: SWAP1
00001593: KECCAK256
00001594: PUSH1 0x01
00001596: ADD
00001597: SLOAD
00001598: ISZERO
00001599: PUSH2 0x15ce
0000159c: JUMPI
0000159d: PUSH1 0x40
0000159f: MLOAD
000015a0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c1: DUP2
000015c2: MSTORE
000015c3: PUSH1 0x04
000015c5: ADD
000015c6: PUSH2 0x08e1
000015c9: SWAP1
000015ca: PUSH2 0x4609
000015cd: JUMP
000015ce: JUMPDEST
000015cf: PUSH1 0x00
000015d1: PUSH2 0x15d9
000015d4: TIMESTAMP
000015d5: PUSH2 0x0ead
000015d8: JUMP
000015d9: JUMPDEST
000015da: SWAP1
000015db: POP
000015dc: PUSH1 0x00
000015de: PUSH2 0x15e6
000015e1: DUP5
000015e2: PUSH2 0x21b9
000015e5: JUMP
000015e6: JUMPDEST
000015e7: PUSH1 0x00
000015e9: DUP4
000015ea: DUP2
000015eb: MSTORE
000015ec: PUSH1 0x09
000015ee: PUSH1 0x20
000015f0: SWAP1
000015f1: DUP2
000015f2: MSTORE
000015f3: PUSH1 0x40
000015f5: DUP1
000015f6: DUP4
000015f7: KECCAK256
000015f8: CALLER
000015f9: DUP5
000015fa: MSTORE
000015fb: SWAP1
000015fc: SWAP2
000015fd: MSTORE
000015fe: SWAP1
000015ff: KECCAK256
00001600: SLOAD
00001601: SWAP1
00001602: SWAP2
00001603: POP
00001604: PUSH2 0x160d
00001607: SWAP1
00001608: DUP3
00001609: PUSH2 0x26af
0000160c: JUMP
0000160d: JUMPDEST
0000160e: PUSH1 0x00
00001610: DUP4
00001611: DUP2
00001612: MSTORE
00001613: PUSH1 0x09
00001615: PUSH1 0x20
00001617: SWAP1
00001618: DUP2
00001619: MSTORE
0000161a: PUSH1 0x40
0000161c: DUP1
0000161d: DUP4
0000161e: KECCAK256
0000161f: CALLER
00001620: DUP1
00001621: DUP6
00001622: MSTORE
00001623: SWAP1
00001624: DUP4
00001625: MSTORE
00001626: DUP2
00001627: DUP5
00001628: KECCAK256
00001629: SWAP5
0000162a: SWAP1
0000162b: SWAP5
0000162c: SSTORE
0000162d: DUP1
0000162e: MLOAD
0000162f: PUSH1 0xc0
00001631: DUP2
00001632: ADD
00001633: DUP3
00001634: MSTORE
00001635: SWAP4
00001636: DUP5
00001637: MSTORE
00001638: TIMESTAMP
00001639: DUP5
0000163a: DUP4
0000163b: ADD
0000163c: SWAP1
0000163d: DUP2
0000163e: MSTORE
0000163f: DUP5
00001640: DUP3
00001641: ADD
00001642: DUP10
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x60
00001647: DUP7
00001648: ADD
00001649: DUP6
0000164a: DUP2
0000164b: MSTORE
0000164c: PUSH1 0x80
0000164e: DUP8
0000164f: ADD
00001650: DUP7
00001651: DUP2
00001652: MSTORE
00001653: PUSH1 0xa0
00001655: DUP9
00001656: ADD
00001657: DUP8
00001658: DUP2
00001659: MSTORE
0000165a: DUP12
0000165b: DUP9
0000165c: MSTORE
0000165d: PUSH1 0x08
0000165f: SWAP1
00001660: SWAP7
00001661: MSTORE
00001662: SWAP4
00001663: SWAP1
00001664: SWAP6
00001665: KECCAK256
00001666: SWAP6
00001667: MLOAD
00001668: DUP7
00001669: SLOAD
0000166a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167f: SWAP2
00001680: DUP3
00001681: AND
00001682: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000016a3: SWAP2
000016a4: DUP3
000016a5: AND
000016a6: OR
000016a7: DUP9
000016a8: SSTORE
000016a9: SWAP3
000016aa: MLOAD
000016ab: PUSH1 0x01
000016ad: DUP9
000016ae: ADD
000016af: SSTORE
000016b0: SWAP1
000016b1: MLOAD
000016b2: PUSH1 0x02
000016b4: DUP8
000016b5: ADD
000016b6: SSTORE
000016b7: SWAP4
000016b8: MLOAD
000016b9: PUSH1 0x03
000016bb: DUP7
000016bc: ADD
000016bd: SSTORE
000016be: SWAP1
000016bf: MLOAD
000016c0: PUSH1 0x04
000016c2: SWAP1
000016c3: SWAP5
000016c4: ADD
000016c5: DUP1
000016c6: SLOAD
000016c7: SWAP3
000016c8: MLOAD
000016c9: ISZERO
000016ca: ISZERO
000016cb: PUSH21 0x010000000000000000000000000000000000000000
000016e1: MUL
000016e2: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00001703: SWAP6
00001704: SWAP1
00001705: SWAP5
00001706: AND
00001707: SWAP3
00001708: SWAP1
00001709: SWAP2
0000170a: AND
0000170b: SWAP2
0000170c: SWAP1
0000170d: SWAP2
0000170e: OR
0000170f: SWAP3
00001710: SWAP1
00001711: SWAP3
00001712: AND
00001713: OR
00001714: SWAP1
00001715: SSTORE
00001716: PUSH2 0x1720
00001719: DUP7
0000171a: DUP7
0000171b: DUP7
0000171c: PUSH2 0x2a39
0000171f: JUMP
00001720: JUMPDEST
00001721: DUP6
00001722: PUSH32 0xa57b3e1f3af9eca02201028629700658608222c365064584cfe65d9630ef4f7b
00001743: DUP6
00001744: PUSH1 0x40
00001746: MLOAD
00001747: PUSH2 0x1750
0000174a: SWAP2
0000174b: SWAP1
0000174c: PUSH2 0x3943
0000174f: JUMP
00001750: JUMPDEST
00001751: PUSH1 0x40
00001753: MLOAD
00001754: DUP1
00001755: SWAP2
00001756: SUB
00001757: SWAP1
00001758: LOG2
00001759: POP
0000175a: POP
0000175b: POP
0000175c: PUSH2 0x1764
0000175f: CALLER
00001760: PUSH2 0x23f1
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH2 0x176d
00001768: CALLER
00001769: PUSH2 0x110e
0000176c: JUMP
0000176d: JUMPDEST
0000176e: LT
0000176f: ISZERO
00001770: PUSH2 0x17a5
00001773: JUMPI
00001774: PUSH1 0x40
00001776: MLOAD
00001777: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001798: DUP2
00001799: MSTORE
0000179a: PUSH1 0x04
0000179c: ADD
0000179d: PUSH2 0x08e1
000017a0: SWAP1
000017a1: PUSH2 0x41c3
000017a4: JUMP
000017a5: JUMPDEST
000017a6: POP
000017a7: POP
000017a8: POP
000017a9: JUMP
000017aa: JUMPDEST
000017ab: PUSH1 0x00
000017ad: DUP3
000017ae: DUP3
000017af: PUSH1 0x40
000017b1: MLOAD
000017b2: PUSH1 0x20
000017b4: ADD
000017b5: PUSH2 0x17bf
000017b8: SWAP3
000017b9: SWAP2
000017ba: SWAP1
000017bb: PUSH2 0x37f3
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x40
000017c2: MLOAD
000017c3: PUSH1 0x20
000017c5: DUP2
000017c6: DUP4
000017c7: SUB
000017c8: SUB
000017c9: DUP2
000017ca: MSTORE
000017cb: SWAP1
000017cc: PUSH1 0x40
000017ce: MSTORE
000017cf: DUP1
000017d0: MLOAD
000017d1: SWAP1
000017d2: PUSH1 0x20
000017d4: ADD
000017d5: KECCAK256
000017d6: SWAP1
000017d7: POP
000017d8: SWAP3
000017d9: SWAP2
000017da: POP
000017db: POP
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH1 0x0a
000017e0: DUP2
000017e1: JUMP
000017e2: JUMPDEST
000017e3: PUSH1 0x00
000017e5: PUSH2 0x0fdd
000017e8: DUP3
000017e9: PUSH1 0x0a
000017eb: PUSH2 0x29ed
000017ee: JUMP
000017ef: JUMPDEST
000017f0: PUSH1 0x0c
000017f2: PUSH1 0x20
000017f4: MSTORE
000017f5: PUSH1 0x00
000017f7: SWAP1
000017f8: DUP2
000017f9: MSTORE
000017fa: PUSH1 0x40
000017fc: SWAP1
000017fd: KECCAK256
000017fe: SLOAD
000017ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001814: AND
00001815: DUP2
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH2 0x181f
0000181b: PUSH2 0x242b
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001835: DUP2
00001836: AND
00001837: PUSH2 0x186c
0000183a: JUMPI
0000183b: PUSH1 0x40
0000183d: MLOAD
0000183e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000185f: DUP2
00001860: MSTORE
00001861: PUSH1 0x04
00001863: ADD
00001864: PUSH2 0x08e1
00001867: SWAP1
00001868: PUSH2 0x454f
0000186b: JUMP
0000186c: JUMPDEST
0000186d: PUSH1 0x0b
0000186f: DUP1
00001870: SLOAD
00001871: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001892: AND
00001893: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a8: SWAP3
000018a9: SWAP1
000018aa: SWAP3
000018ab: AND
000018ac: SWAP2
000018ad: SWAP1
000018ae: SWAP2
000018af: OR
000018b0: SWAP1
000018b1: SSTORE
000018b2: JUMP
000018b3: JUMPDEST
000018b4: PUSH1 0x02
000018b6: PUSH1 0x00
000018b8: SLOAD
000018b9: EQ
000018ba: ISZERO
000018bb: PUSH2 0x18f0
000018be: JUMPI
000018bf: PUSH1 0x40
000018c1: MLOAD
000018c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018e3: DUP2
000018e4: MSTORE
000018e5: PUSH1 0x04
000018e7: ADD
000018e8: PUSH2 0x08e1
000018eb: SWAP1
000018ec: PUSH2 0x4518
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH1 0x02
000018f3: PUSH1 0x00
000018f5: SWAP1
000018f6: DUP2
000018f7: SSTORE
000018f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190d: DUP4
0000190e: AND
0000190f: DUP2
00001910: MSTORE
00001911: PUSH1 0x01
00001913: PUSH1 0x20
00001915: DUP2
00001916: SWAP1
00001917: MSTORE
00001918: PUSH1 0x40
0000191a: SWAP1
0000191b: SWAP2
0000191c: KECCAK256
0000191d: SLOAD
0000191e: PUSH1 0xff
00001920: AND
00001921: ISZERO
00001922: ISZERO
00001923: EQ
00001924: PUSH2 0x1959
00001927: JUMPI
00001928: PUSH1 0x40
0000192a: MLOAD
0000192b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000194c: DUP2
0000194d: MSTORE
0000194e: PUSH1 0x04
00001950: ADD
00001951: PUSH2 0x08e1
00001954: SWAP1
00001955: PUSH2 0x3d0e
00001958: JUMP
00001959: JUMPDEST
0000195a: PUSH2 0x1963
0000195d: CALLER
0000195e: DUP3
0000195f: PUSH2 0x2794
00001962: JUMP
00001963: JUMPDEST
00001964: PUSH2 0x196d
00001967: DUP3
00001968: DUP3
00001969: PUSH2 0x293c
0000196c: JUMP
0000196d: JUMPDEST
0000196e: DUP2
0000196f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001984: AND
00001985: PUSH32 0xebedb8b3c678666e7f36970bc8f57abf6d8fa2e828c0da91ea5b75bf68ed101a
000019a6: DUP3
000019a7: PUSH1 0x40
000019a9: MLOAD
000019aa: PUSH2 0x19b3
000019ad: SWAP2
000019ae: SWAP1
000019af: PUSH2 0x3943
000019b2: JUMP
000019b3: JUMPDEST
000019b4: PUSH1 0x40
000019b6: MLOAD
000019b7: DUP1
000019b8: SWAP2
000019b9: SUB
000019ba: SWAP1
000019bb: LOG2
000019bc: POP
000019bd: POP
000019be: PUSH1 0x01
000019c0: PUSH1 0x00
000019c2: SSTORE
000019c3: JUMP
000019c4: JUMPDEST
000019c5: PUSH1 0x00
000019c7: DUP8
000019c8: DUP8
000019c9: DUP8
000019ca: DUP8
000019cb: DUP8
000019cc: DUP8
000019cd: DUP8
000019ce: PUSH1 0x40
000019d0: MLOAD
000019d1: PUSH1 0x20
000019d3: ADD
000019d4: PUSH2 0x19e3
000019d7: SWAP8
000019d8: SWAP7
000019d9: SWAP6
000019da: SWAP5
000019db: SWAP4
000019dc: SWAP3
000019dd: SWAP2
000019de: SWAP1
000019df: PUSH2 0x46e4
000019e2: JUMP
000019e3: JUMPDEST
000019e4: PUSH1 0x40
000019e6: MLOAD
000019e7: PUSH1 0x20
000019e9: DUP2
000019ea: DUP4
000019eb: SUB
000019ec: SUB
000019ed: DUP2
000019ee: MSTORE
000019ef: SWAP1
000019f0: PUSH1 0x40
000019f2: MSTORE
000019f3: DUP1
000019f4: MLOAD
000019f5: SWAP1
000019f6: PUSH1 0x20
000019f8: ADD
000019f9: KECCAK256
000019fa: SWAP1
000019fb: POP
000019fc: SWAP8
000019fd: SWAP7
000019fe: POP
000019ff: POP
00001a00: POP
00001a01: POP
00001a02: POP
00001a03: POP
00001a04: POP
00001a05: JUMP
00001a06: JUMPDEST
00001a07: PUSH1 0x00
00001a09: PUSH2 0x1a44
00001a0c: DUP5
00001a0d: DUP5
00001a0e: DUP1
00001a0f: DUP1
00001a10: PUSH1 0x20
00001a12: MUL
00001a13: PUSH1 0x20
00001a15: ADD
00001a16: PUSH1 0x40
00001a18: MLOAD
00001a19: SWAP1
00001a1a: DUP2
00001a1b: ADD
00001a1c: PUSH1 0x40
00001a1e: MSTORE
00001a1f: DUP1
00001a20: SWAP4
00001a21: SWAP3
00001a22: SWAP2
00001a23: SWAP1
00001a24: DUP2
00001a25: DUP2
00001a26: MSTORE
00001a27: PUSH1 0x20
00001a29: ADD
00001a2a: DUP4
00001a2b: DUP4
00001a2c: PUSH1 0x20
00001a2e: MUL
00001a2f: DUP1
00001a30: DUP3
00001a31: DUP5
00001a32: CALLDATACOPY
00001a33: PUSH1 0x00
00001a35: SWAP3
00001a36: ADD
00001a37: SWAP2
00001a38: SWAP1
00001a39: SWAP2
00001a3a: MSTORE
00001a3b: POP
00001a3c: PUSH2 0x2bef
00001a3f: SWAP3
00001a40: POP
00001a41: POP
00001a42: POP
00001a43: JUMP
00001a44: JUMPDEST
00001a45: SWAP1
00001a46: POP
00001a47: PUSH1 0x00
00001a49: PUSH2 0x1a52
00001a4c: DUP3
00001a4d: DUP5
00001a4e: PUSH2 0x17aa
00001a51: JUMP
00001a52: JUMPDEST
00001a53: SWAP1
00001a54: POP
00001a55: PUSH1 0x00
00001a57: DUP1
00001a58: JUMPDEST
00001a59: DUP6
00001a5a: DUP2
00001a5b: LT
00001a5c: ISZERO
00001a5d: PUSH2 0x1b16
00001a60: JUMPI
00001a61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a76: DUP9
00001a77: AND
00001a78: PUSH1 0x00
00001a7a: SWAP1
00001a7b: DUP2
00001a7c: MSTORE
00001a7d: PUSH1 0x06
00001a7f: PUSH1 0x20
00001a81: MSTORE
00001a82: PUSH1 0x40
00001a84: DUP2
00001a85: KECCAK256
00001a86: DUP2
00001a87: DUP10
00001a88: DUP10
00001a89: DUP6
00001a8a: DUP2
00001a8b: DUP2
00001a8c: LT
00001a8d: PUSH2 0x1a92
00001a90: JUMPI
00001a91: INVALID
00001a92: JUMPDEST
00001a93: SWAP1
00001a94: POP
00001a95: PUSH1 0x20
00001a97: MUL
00001a98: ADD
00001a99: CALLDATALOAD
00001a9a: DUP2
00001a9b: MSTORE
00001a9c: PUSH1 0x20
00001a9e: ADD
00001a9f: SWAP1
00001aa0: DUP2
00001aa1: MSTORE
00001aa2: PUSH1 0x20
00001aa4: ADD
00001aa5: PUSH1 0x00
00001aa7: KECCAK256
00001aa8: SLOAD
00001aa9: SWAP1
00001aaa: POP
00001aab: PUSH1 0x00
00001aad: DUP2
00001aae: GT
00001aaf: ISZERO
00001ab0: PUSH2 0x1b0d
00001ab3: JUMPI
00001ab4: PUSH2 0x1abd
00001ab7: DUP4
00001ab8: DUP3
00001ab9: PUSH2 0x26af
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad3: DUP11
00001ad4: AND
00001ad5: PUSH1 0x00
00001ad7: SWAP1
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x06
00001adc: PUSH1 0x20
00001ade: MSTORE
00001adf: PUSH1 0x40
00001ae1: DUP2
00001ae2: KECCAK256
00001ae3: SWAP2
00001ae4: SWAP5
00001ae5: POP
00001ae6: SWAP1
00001ae7: DUP2
00001ae8: DUP11
00001ae9: DUP11
00001aea: DUP7
00001aeb: DUP2
00001aec: DUP2
00001aed: LT
00001aee: PUSH2 0x1af3
00001af1: JUMPI
00001af2: INVALID
00001af3: JUMPDEST
00001af4: SWAP1
00001af5: POP
00001af6: PUSH1 0x20
00001af8: MUL
00001af9: ADD
00001afa: CALLDATALOAD
00001afb: DUP2
00001afc: MSTORE
00001afd: PUSH1 0x20
00001aff: ADD
00001b00: SWAP1
00001b01: DUP2
00001b02: MSTORE
00001b03: PUSH1 0x20
00001b05: ADD
00001b06: PUSH1 0x00
00001b08: KECCAK256
00001b09: DUP2
00001b0a: SWAP1
00001b0b: SSTORE
00001b0c: POP
00001b0d: JUMPDEST
00001b0e: POP
00001b0f: PUSH1 0x01
00001b11: ADD
00001b12: PUSH2 0x1a58
00001b15: JUMP
00001b16: JUMPDEST
00001b17: POP
00001b18: PUSH2 0x1b21
00001b1b: DUP3
00001b1c: DUP3
00001b1d: PUSH2 0x25e8
00001b20: JUMP
00001b21: JUMPDEST
00001b22: PUSH2 0x1b2b
00001b25: DUP8
00001b26: DUP3
00001b27: PUSH2 0x293c
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: DUP3
00001b2d: DUP8
00001b2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b43: AND
00001b44: PUSH32 0x78e830d08be9d5f957414c84d685c061ecbd8467be98b42ebb64f0118b57d2ff
00001b65: DUP4
00001b66: PUSH1 0x40
00001b68: MLOAD
00001b69: PUSH2 0x1b72
00001b6c: SWAP2
00001b6d: SWAP1
00001b6e: PUSH2 0x3943
00001b71: JUMP
00001b72: JUMPDEST
00001b73: PUSH1 0x40
00001b75: MLOAD
00001b76: DUP1
00001b77: SWAP2
00001b78: SUB
00001b79: SWAP1
00001b7a: LOG3
00001b7b: POP
00001b7c: POP
00001b7d: POP
00001b7e: POP
00001b7f: POP
00001b80: POP
00001b81: POP
00001b82: JUMP
00001b83: JUMPDEST
00001b84: PUSH2 0x1bc7
00001b87: DUP8
00001b88: DUP6
00001b89: DUP6
00001b8a: DUP6
00001b8b: DUP1
00001b8c: DUP1
00001b8d: PUSH1 0x20
00001b8f: MUL
00001b90: PUSH1 0x20
00001b92: ADD
00001b93: PUSH1 0x40
00001b95: MLOAD
00001b96: SWAP1
00001b97: DUP2
00001b98: ADD
00001b99: PUSH1 0x40
00001b9b: MSTORE
00001b9c: DUP1
00001b9d: SWAP4
00001b9e: SWAP3
00001b9f: SWAP2
00001ba0: SWAP1
00001ba1: DUP2
00001ba2: DUP2
00001ba3: MSTORE
00001ba4: PUSH1 0x20
00001ba6: ADD
00001ba7: DUP4
00001ba8: DUP4
00001ba9: PUSH1 0x20
00001bab: MUL
00001bac: DUP1
00001bad: DUP3
00001bae: DUP5
00001baf: CALLDATACOPY
00001bb0: PUSH1 0x00
00001bb2: SWAP3
00001bb3: ADD
00001bb4: SWAP2
00001bb5: SWAP1
00001bb6: SWAP2
00001bb7: MSTORE
00001bb8: POP
00001bb9: DUP13
00001bba: SWAP6
00001bbb: SWAP5
00001bbc: SWAP4
00001bbd: SWAP3
00001bbe: POP
00001bbf: DUP8
00001bc0: SWAP2
00001bc1: POP
00001bc2: POP
00001bc3: PUSH2 0x247e
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: PUSH2 0x1bfd
00001bcb: JUMPI
00001bcc: PUSH1 0x40
00001bce: MLOAD
00001bcf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: PUSH1 0x04
00001bf4: ADD
00001bf5: PUSH2 0x08e1
00001bf8: SWAP1
00001bf9: PUSH2 0x428c
00001bfc: JUMP
00001bfd: JUMPDEST
00001bfe: PUSH1 0x00
00001c00: PUSH2 0x1c09
00001c03: DUP8
00001c04: DUP8
00001c05: PUSH2 0x17aa
00001c08: JUMP
00001c09: JUMPDEST
00001c0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1f: DUP11
00001c20: AND
00001c21: PUSH1 0x00
00001c23: SWAP1
00001c24: DUP2
00001c25: MSTORE
00001c26: PUSH1 0x06
00001c28: PUSH1 0x20
00001c2a: SWAP1
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x40
00001c2f: DUP1
00001c30: DUP4
00001c31: KECCAK256
00001c32: DUP13
00001c33: DUP5
00001c34: MSTORE
00001c35: SWAP1
00001c36: SWAP2
00001c37: MSTORE
00001c38: SWAP1
00001c39: KECCAK256
00001c3a: SLOAD
00001c3b: SWAP1
00001c3c: SWAP2
00001c3d: POP
00001c3e: DUP1
00001c3f: PUSH2 0x1c74
00001c42: JUMPI
00001c43: PUSH1 0x40
00001c45: MLOAD
00001c46: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x04
00001c6b: ADD
00001c6c: PUSH2 0x08e1
00001c6f: SWAP1
00001c70: PUSH2 0x3ae4
00001c73: JUMP
00001c74: JUMPDEST
00001c75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c8a: DUP11
00001c8b: AND
00001c8c: PUSH1 0x00
00001c8e: SWAP1
00001c8f: DUP2
00001c90: MSTORE
00001c91: PUSH1 0x06
00001c93: PUSH1 0x20
00001c95: SWAP1
00001c96: DUP2
00001c97: MSTORE
00001c98: PUSH1 0x40
00001c9a: DUP1
00001c9b: DUP4
00001c9c: KECCAK256
00001c9d: DUP13
00001c9e: DUP5
00001c9f: MSTORE
00001ca0: SWAP1
00001ca1: SWAP2
00001ca2: MSTORE
00001ca3: DUP2
00001ca4: KECCAK256
00001ca5: SSTORE
00001ca6: PUSH2 0x1caf
00001ca9: DUP3
00001caa: DUP3
00001cab: PUSH2 0x25e8
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH2 0x1cb9
00001cb3: DUP11
00001cb4: DUP3
00001cb5: PUSH2 0x293c
00001cb8: JUMP
00001cb9: JUMPDEST
00001cba: DUP8
00001cbb: DUP10
00001cbc: DUP12
00001cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd2: AND
00001cd3: PUSH32 0x84eb21b24c31b27a3bc67dde4a598aad06db6e9415cd66544492b9616996143c
00001cf4: PUSH1 0x40
00001cf6: MLOAD
00001cf7: PUSH1 0x40
00001cf9: MLOAD
00001cfa: DUP1
00001cfb: SWAP2
00001cfc: SUB
00001cfd: SWAP1
00001cfe: LOG4
00001cff: POP
00001d00: POP
00001d01: POP
00001d02: POP
00001d03: POP
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: POP
00001d08: POP
00001d09: JUMP
00001d0a: JUMPDEST
00001d0b: PUSH2 0x1d12
00001d0e: PUSH2 0x242b
00001d11: JUMP
00001d12: JUMPDEST
00001d13: PUSH1 0x00
00001d15: PUSH2 0x1d1e
00001d18: DUP5
00001d19: DUP5
00001d1a: PUSH2 0x17aa
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: SWAP1
00001d20: POP
00001d21: PUSH2 0x1d28
00001d24: PUSH2 0x3323
00001d27: JUMP
00001d28: JUMPDEST
00001d29: PUSH2 0x1d32
00001d2c: DUP6
00001d2d: DUP6
00001d2e: PUSH2 0x1e01
00001d31: JUMP
00001d32: JUMPDEST
00001d33: SWAP1
00001d34: POP
00001d35: DUP1
00001d36: PUSH1 0x40
00001d38: ADD
00001d39: MLOAD
00001d3a: PUSH1 0x00
00001d3c: EQ
00001d3d: ISZERO
00001d3e: PUSH2 0x1d73
00001d41: JUMPI
00001d42: PUSH1 0x40
00001d44: MLOAD
00001d45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d66: DUP2
00001d67: MSTORE
00001d68: PUSH1 0x04
00001d6a: ADD
00001d6b: PUSH2 0x08e1
00001d6e: SWAP1
00001d6f: PUSH2 0x3b89
00001d72: JUMP
00001d73: JUMPDEST
00001d74: DUP1
00001d75: MLOAD
00001d76: DUP5
00001d77: EQ
00001d78: PUSH2 0x1d7d
00001d7b: JUMPI
00001d7c: INVALID
00001d7d: JUMPDEST
00001d7e: PUSH1 0x40
00001d80: DUP2
00001d81: ADD
00001d82: MLOAD
00001d83: PUSH1 0x00
00001d85: SWAP1
00001d86: PUSH2 0x1d92
00001d89: SWAP1
00001d8a: PUSH3 0x49d400
00001d8e: PUSH2 0x26af
00001d91: JUMP
00001d92: JUMPDEST
00001d93: SWAP1
00001d94: POP
00001d95: DUP1
00001d96: TIMESTAMP
00001d97: LT
00001d98: ISZERO
00001d99: PUSH2 0x1dce
00001d9c: JUMPI
00001d9d: PUSH1 0x40
00001d9f: MLOAD
00001da0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001dc1: DUP2
00001dc2: MSTORE
00001dc3: PUSH1 0x04
00001dc5: ADD
00001dc6: PUSH2 0x08e1
00001dc9: SWAP1
00001dca: PUSH2 0x3cb1
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: PUSH1 0x20
00001dd1: DUP3
00001dd2: ADD
00001dd3: MLOAD
00001dd4: DUP3
00001dd5: MLOAD
00001dd6: PUSH1 0x00
00001dd8: SWAP2
00001dd9: PUSH2 0x1de2
00001ddc: SWAP2
00001ddd: SWAP1
00001dde: PUSH2 0x26f5
00001de1: JUMP
00001de2: JUMPDEST
00001de3: SWAP1
00001de4: POP
00001de5: PUSH2 0x1dee
00001de8: DUP5
00001de9: DUP3
00001dea: PUSH2 0x25e8
00001ded: JUMP
00001dee: JUMPDEST
00001def: PUSH2 0x1df8
00001df2: DUP6
00001df3: DUP3
00001df4: PUSH2 0x2888
00001df7: JUMP
00001df8: JUMPDEST
00001df9: POP
00001dfa: POP
00001dfb: POP
00001dfc: POP
00001dfd: POP
00001dfe: POP
00001dff: POP
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH2 0x1e09
00001e05: PUSH2 0x3323
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: PUSH1 0x04
00001e0c: PUSH1 0x00
00001e0e: PUSH2 0x1e17
00001e11: DUP6
00001e12: DUP6
00001e13: PUSH2 0x17aa
00001e16: JUMP
00001e17: JUMPDEST
00001e18: DUP2
00001e19: MSTORE
00001e1a: PUSH1 0x20
00001e1c: ADD
00001e1d: SWAP1
00001e1e: DUP2
00001e1f: MSTORE
00001e20: PUSH1 0x20
00001e22: ADD
00001e23: PUSH1 0x00
00001e25: KECCAK256
00001e26: PUSH1 0x40
00001e28: MLOAD
00001e29: DUP1
00001e2a: PUSH1 0x60
00001e2c: ADD
00001e2d: PUSH1 0x40
00001e2f: MSTORE
00001e30: SWAP1
00001e31: DUP2
00001e32: PUSH1 0x00
00001e34: DUP3
00001e35: ADD
00001e36: SLOAD
00001e37: DUP2
00001e38: MSTORE
00001e39: PUSH1 0x20
00001e3b: ADD
00001e3c: PUSH1 0x01
00001e3e: DUP3
00001e3f: ADD
00001e40: SLOAD
00001e41: DUP2
00001e42: MSTORE
00001e43: PUSH1 0x20
00001e45: ADD
00001e46: PUSH1 0x02
00001e48: DUP3
00001e49: ADD
00001e4a: SLOAD
00001e4b: DUP2
00001e4c: MSTORE
00001e4d: POP
00001e4e: POP
00001e4f: SWAP1
00001e50: POP
00001e51: SWAP3
00001e52: SWAP2
00001e53: POP
00001e54: POP
00001e55: JUMP
00001e56: JUMPDEST
00001e57: PUSH2 0x1e5e
00001e5a: PUSH2 0x242b
00001e5d: JUMP
00001e5e: JUMPDEST
00001e5f: PUSH1 0x00
00001e61: SWAP2
00001e62: DUP3
00001e63: MSTORE
00001e64: PUSH1 0x0c
00001e66: PUSH1 0x20
00001e68: MSTORE
00001e69: PUSH1 0x40
00001e6b: SWAP1
00001e6c: SWAP2
00001e6d: KECCAK256
00001e6e: DUP1
00001e6f: SLOAD
00001e70: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001e91: AND
00001e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea7: SWAP1
00001ea8: SWAP3
00001ea9: AND
00001eaa: SWAP2
00001eab: SWAP1
00001eac: SWAP2
00001ead: OR
00001eae: SWAP1
00001eaf: SSTORE
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec7: AND
00001ec8: PUSH1 0x00
00001eca: SWAP1
00001ecb: DUP2
00001ecc: MSTORE
00001ecd: PUSH1 0x01
00001ecf: PUSH1 0x20
00001ed1: MSTORE
00001ed2: PUSH1 0x40
00001ed4: SWAP1
00001ed5: KECCAK256
00001ed6: SLOAD
00001ed7: PUSH1 0xff
00001ed9: AND
00001eda: SWAP1
00001edb: JUMP
00001edc: JUMPDEST
00001edd: PUSH1 0x00
00001edf: DUP8
00001ee0: DUP2
00001ee1: MSTORE
00001ee2: PUSH1 0x0c
00001ee4: PUSH1 0x20
00001ee6: MSTORE
00001ee7: PUSH1 0x40
00001ee9: SWAP1
00001eea: KECCAK256
00001eeb: SLOAD
00001eec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f01: AND
00001f02: DUP1
00001f03: PUSH2 0x1f38
00001f06: JUMPI
00001f07: PUSH1 0x40
00001f09: MLOAD
00001f0a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f2b: DUP2
00001f2c: MSTORE
00001f2d: PUSH1 0x04
00001f2f: ADD
00001f30: PUSH2 0x08e1
00001f33: SWAP1
00001f34: PUSH2 0x3f84
00001f37: JUMP
00001f38: JUMPDEST
00001f39: PUSH1 0x00
00001f3b: DUP9
00001f3c: DUP2
00001f3d: MSTORE
00001f3e: PUSH1 0x0d
00001f40: PUSH1 0x20
00001f42: MSTORE
00001f43: PUSH1 0x40
00001f45: SWAP1
00001f46: KECCAK256
00001f47: SLOAD
00001f48: PUSH1 0xff
00001f4a: AND
00001f4b: ISZERO
00001f4c: PUSH2 0x1f81
00001f4f: JUMPI
00001f50: PUSH1 0x40
00001f52: MLOAD
00001f53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f74: DUP2
00001f75: MSTORE
00001f76: PUSH1 0x04
00001f78: ADD
00001f79: PUSH2 0x08e1
00001f7c: SWAP1
00001f7d: PUSH2 0x3d45
00001f80: JUMP
00001f81: JUMPDEST
00001f82: PUSH1 0x00
00001f84: DUP7
00001f85: GT
00001f86: PUSH2 0x1fbb
00001f89: JUMPI
00001f8a: PUSH1 0x40
00001f8c: MLOAD
00001f8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fae: DUP2
00001faf: MSTORE
00001fb0: PUSH1 0x04
00001fb2: ADD
00001fb3: PUSH2 0x08e1
00001fb6: SWAP1
00001fb7: PUSH2 0x395f
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: DUP2
00001fbd: DUP7
00001fbe: LT
00001fbf: ISZERO
00001fc0: PUSH2 0x1ff5
00001fc3: JUMPI
00001fc4: PUSH1 0x40
00001fc6: MLOAD
00001fc7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fe8: DUP2
00001fe9: MSTORE
00001fea: PUSH1 0x04
00001fec: ADD
00001fed: PUSH2 0x08e1
00001ff0: SWAP1
00001ff1: PUSH2 0x4666
00001ff4: JUMP
00001ff5: JUMPDEST
00001ff6: PUSH2 0x1fff
00001ff9: CALLER
00001ffa: DUP8
00001ffb: PUSH2 0x2794
00001ffe: JUMP
00001fff: JUMPDEST
00002000: PUSH1 0x60
00002002: DUP8
00002003: DUP8
00002004: DUP8
00002005: DUP8
00002006: DUP8
00002007: DUP8
00002008: PUSH1 0x40
0000200a: MLOAD
0000200b: PUSH1 0x24
0000200d: ADD
0000200e: PUSH2 0x201c
00002011: SWAP7
00002012: SWAP6
00002013: SWAP5
00002014: SWAP4
00002015: SWAP3
00002016: SWAP2
00002017: SWAP1
00002018: PUSH2 0x38f0
0000201b: JUMP
0000201c: JUMPDEST
0000201d: PUSH1 0x40
0000201f: DUP1
00002020: MLOAD
00002021: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002042: DUP2
00002043: DUP5
00002044: SUB
00002045: ADD
00002046: DUP2
00002047: MSTORE
00002048: SWAP2
00002049: DUP2
0000204a: MSTORE
0000204b: PUSH1 0x20
0000204d: DUP1
0000204e: DUP4
0000204f: ADD
00002050: DUP1
00002051: MLOAD
00002052: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000206f: AND
00002070: PUSH32 0xcc29a30600000000000000000000000000000000000000000000000000000000
00002091: OR
00002092: SWAP1
00002093: MSTORE
00002094: PUSH1 0x00
00002096: DUP13
00002097: DUP2
00002098: MSTORE
00002099: PUSH1 0x0a
0000209b: SWAP1
0000209c: SWAP2
0000209d: MSTORE
0000209e: KECCAK256
0000209f: SLOAD
000020a0: SWAP1
000020a1: SWAP2
000020a2: POP
000020a3: PUSH2 0x20ac
000020a6: SWAP1
000020a7: DUP9
000020a8: PUSH2 0x26af
000020ab: JUMP
000020ac: JUMPDEST
000020ad: PUSH1 0x00
000020af: DUP11
000020b0: DUP2
000020b1: MSTORE
000020b2: PUSH1 0x0a
000020b4: PUSH1 0x20
000020b6: MSTORE
000020b7: PUSH1 0x40
000020b9: SWAP1
000020ba: DUP2
000020bb: SWAP1
000020bc: KECCAK256
000020bd: SWAP2
000020be: SWAP1
000020bf: SWAP2
000020c0: SSTORE
000020c1: MLOAD
000020c2: PUSH32 0x419cb55000000000000000000000000000000000000000000000000000000000
000020e3: DUP2
000020e4: MSTORE
000020e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020fa: DUP4
000020fb: AND
000020fc: SWAP1
000020fd: PUSH4 0x419cb550
00002102: SWAP1
00002103: PUSH2 0x2110
00002106: SWAP1
00002107: DUP5
00002108: SWAP1
00002109: PUSH1 0x04
0000210b: ADD
0000210c: PUSH2 0x394c
0000210f: JUMP
00002110: JUMPDEST
00002111: PUSH1 0x00
00002113: PUSH1 0x40
00002115: MLOAD
00002116: DUP1
00002117: DUP4
00002118: SUB
00002119: DUP2
0000211a: PUSH1 0x00
0000211c: DUP8
0000211d: DUP1
0000211e: EXTCODESIZE
0000211f: ISZERO
00002120: DUP1
00002121: ISZERO
00002122: PUSH2 0x212a
00002125: JUMPI
00002126: PUSH1 0x00
00002128: DUP1
00002129: REVERT
0000212a: JUMPDEST
0000212b: POP
0000212c: GAS
0000212d: CALL
0000212e: ISZERO
0000212f: DUP1
00002130: ISZERO
00002131: PUSH2 0x213e
00002134: JUMPI
00002135: RETURNDATASIZE
00002136: PUSH1 0x00
00002138: DUP1
00002139: RETURNDATACOPY
0000213a: RETURNDATASIZE
0000213b: PUSH1 0x00
0000213d: REVERT
0000213e: JUMPDEST
0000213f: POP
00002140: POP
00002141: POP
00002142: POP
00002143: DUP4
00002144: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002159: AND
0000215a: DUP9
0000215b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002170: AND
00002171: DUP11
00002172: PUSH32 0x0a0607688c86ec1775abcdbab7b33a3a35a6c9cde677c9be880150c231cc6b0b
00002193: DUP11
00002194: DUP11
00002195: DUP11
00002196: DUP10
00002197: PUSH1 0x40
00002199: MLOAD
0000219a: PUSH2 0x21a6
0000219d: SWAP5
0000219e: SWAP4
0000219f: SWAP3
000021a0: SWAP2
000021a1: SWAP1
000021a2: PUSH2 0x472a
000021a5: JUMP
000021a6: JUMPDEST
000021a7: PUSH1 0x40
000021a9: MLOAD
000021aa: DUP1
000021ab: SWAP2
000021ac: SUB
000021ad: SWAP1
000021ae: LOG4
000021af: POP
000021b0: POP
000021b1: POP
000021b2: POP
000021b3: POP
000021b4: POP
000021b5: POP
000021b6: POP
000021b7: POP
000021b8: JUMP
000021b9: JUMPDEST
000021ba: PUSH1 0x00
000021bc: PUSH2 0x0fdd
000021bf: PUSH2 0x21c7
000021c2: DUP4
000021c3: PUSH2 0x17e2
000021c6: JUMP
000021c7: JUMPDEST
000021c8: DUP4
000021c9: SWAP1
000021ca: PUSH2 0x26af
000021cd: JUMP
000021ce: JUMPDEST
000021cf: PUSH2 0x21d6
000021d2: PUSH2 0x242b
000021d5: JUMP
000021d6: JUMPDEST
000021d7: PUSH1 0x0f
000021d9: SSTORE
000021da: JUMP
000021db: JUMPDEST
000021dc: PUSH1 0x00
000021de: DUP6
000021df: DUP2
000021e0: MSTORE
000021e1: PUSH1 0x0c
000021e3: PUSH1 0x20
000021e5: MSTORE
000021e6: PUSH1 0x40
000021e8: DUP1
000021e9: DUP3
000021ea: KECCAK256
000021eb: SLOAD
000021ec: SWAP1
000021ed: MLOAD
000021ee: PUSH32 0x99178dd800000000000000000000000000000000000000000000000000000000
0000220f: DUP2
00002210: MSTORE
00002211: DUP8
00002212: SWAP3
00002213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002228: SWAP1
00002229: SWAP3
0000222a: AND
0000222b: SWAP2
0000222c: DUP3
0000222d: SWAP2
0000222e: PUSH4 0x99178dd8
00002233: SWAP2
00002234: PUSH2 0x2244
00002237: SWAP2
00002238: CALLER
00002239: SWAP2
0000223a: SWAP1
0000223b: CALLDATASIZE
0000223c: SWAP1
0000223d: PUSH1 0x04
0000223f: ADD
00002240: PUSH2 0x383e
00002243: JUMP
00002244: JUMPDEST
00002245: PUSH1 0x00
00002247: PUSH1 0x40
00002249: MLOAD
0000224a: DUP1
0000224b: DUP4
0000224c: SUB
0000224d: DUP2
0000224e: PUSH1 0x00
00002250: DUP8
00002251: DUP1
00002252: EXTCODESIZE
00002253: ISZERO
00002254: DUP1
00002255: ISZERO
00002256: PUSH2 0x225e
00002259: JUMPI
0000225a: PUSH1 0x00
0000225c: DUP1
0000225d: REVERT
0000225e: JUMPDEST
0000225f: POP
00002260: GAS
00002261: CALL
00002262: ISZERO
00002263: DUP1
00002264: ISZERO
00002265: PUSH2 0x2272
00002268: JUMPI
00002269: RETURNDATASIZE
0000226a: PUSH1 0x00
0000226c: DUP1
0000226d: RETURNDATACOPY
0000226e: RETURNDATASIZE
0000226f: PUSH1 0x00
00002271: REVERT
00002272: JUMPDEST
00002273: POP
00002274: POP
00002275: POP
00002276: POP
00002277: PUSH1 0x00
00002279: PUSH2 0x2282
0000227c: DUP8
0000227d: DUP7
0000227e: PUSH2 0x17aa
00002281: JUMP
00002282: JUMPDEST
00002283: PUSH1 0x00
00002285: DUP8
00002286: DUP2
00002287: MSTORE
00002288: PUSH1 0x07
0000228a: PUSH1 0x20
0000228c: SWAP1
0000228d: DUP2
0000228e: MSTORE
0000228f: PUSH1 0x40
00002291: DUP1
00002292: DUP4
00002293: KECCAK256
00002294: DUP5
00002295: DUP5
00002296: MSTORE
00002297: SWAP1
00002298: SWAP2
00002299: MSTORE
0000229a: SWAP1
0000229b: KECCAK256
0000229c: SLOAD
0000229d: SWAP1
0000229e: SWAP2
0000229f: POP
000022a0: ISZERO
000022a1: PUSH2 0x22d6
000022a4: JUMPI
000022a5: PUSH1 0x40
000022a7: MLOAD
000022a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000022c9: DUP2
000022ca: MSTORE
000022cb: PUSH1 0x04
000022cd: ADD
000022ce: PUSH2 0x08e1
000022d1: SWAP1
000022d2: PUSH2 0x404f
000022d5: JUMP
000022d6: JUMPDEST
000022d7: PUSH1 0x00
000022d9: DUP5
000022da: GT
000022db: PUSH2 0x2310
000022de: JUMPI
000022df: PUSH1 0x40
000022e1: MLOAD
000022e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002303: DUP2
00002304: MSTORE
00002305: PUSH1 0x04
00002307: ADD
00002308: PUSH2 0x08e1
0000230b: SWAP1
0000230c: PUSH2 0x3dd9
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH1 0x00
00002313: DUP7
00002314: DUP2
00002315: MSTORE
00002316: PUSH1 0x07
00002318: PUSH1 0x20
0000231a: SWAP1
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x40
0000231f: DUP1
00002320: DUP4
00002321: KECCAK256
00002322: DUP5
00002323: DUP5
00002324: MSTORE
00002325: DUP3
00002326: MSTORE
00002327: SWAP2
00002328: DUP3
00002329: SWAP1
0000232a: KECCAK256
0000232b: DUP7
0000232c: SWAP1
0000232d: SSTORE
0000232e: DUP2
0000232f: MLOAD
00002330: PUSH1 0x80
00002332: DUP2
00002333: ADD
00002334: SWAP1
00002335: SWAP3
00002336: MSTORE
00002337: PUSH1 0x46
00002339: DUP1
0000233a: DUP4
0000233b: MSTORE
0000233c: PUSH2 0x2361
0000233f: SWAP3
00002340: DUP9
00002341: SWAP3
00002342: SWAP1
00002343: SWAP2
00002344: SWAP1
00002345: PUSH2 0x4794
00002348: SWAP1
00002349: DUP4
0000234a: ADD
0000234b: CODECOPY
0000234c: PUSH1 0x00
0000234e: DUP12
0000234f: DUP2
00002350: MSTORE
00002351: PUSH1 0x0a
00002353: PUSH1 0x20
00002355: MSTORE
00002356: PUSH1 0x40
00002358: SWAP1
00002359: KECCAK256
0000235a: SLOAD
0000235b: SWAP2
0000235c: SWAP1
0000235d: PUSH2 0x3026
00002360: JUMP
00002361: JUMPDEST
00002362: PUSH1 0x00
00002364: DUP10
00002365: DUP2
00002366: MSTORE
00002367: PUSH1 0x0a
00002369: PUSH1 0x20
0000236b: SWAP1
0000236c: DUP2
0000236d: MSTORE
0000236e: PUSH1 0x40
00002370: DUP1
00002371: DUP4
00002372: KECCAK256
00002373: SWAP4
00002374: SWAP1
00002375: SWAP4
00002376: SSTORE
00002377: DUP4
00002378: DUP3
00002379: MSTORE
0000237a: PUSH1 0x08
0000237c: SWAP1
0000237d: MSTORE
0000237e: KECCAK256
0000237f: PUSH1 0x01
00002381: DUP2
00002382: ADD
00002383: SLOAD
00002384: PUSH2 0x2392
00002387: JUMPI
00002388: PUSH2 0x2392
0000238b: DUP9
0000238c: DUP9
0000238d: DUP9
0000238e: PUSH2 0x2a39
00002391: JUMP
00002392: JUMPDEST
00002393: DUP8
00002394: DUP8
00002395: DUP11
00002396: PUSH32 0xfdfb0eefa96935b8a8c0edf528e125dc6f3934fdbbfce31b38967e8ff413dccd
000023b7: DUP10
000023b8: PUSH1 0x40
000023ba: MLOAD
000023bb: PUSH2 0x21a6
000023be: SWAP2
000023bf: SWAP1
000023c0: PUSH2 0x3943
000023c3: JUMP
000023c4: JUMPDEST
000023c5: PUSH1 0x0e
000023c7: SLOAD
000023c8: DUP2
000023c9: JUMP
000023ca: JUMPDEST
000023cb: PUSH1 0x0d
000023cd: PUSH1 0x20
000023cf: MSTORE
000023d0: PUSH1 0x00
000023d2: SWAP1
000023d3: DUP2
000023d4: MSTORE
000023d5: PUSH1 0x40
000023d7: SWAP1
000023d8: KECCAK256
000023d9: SLOAD
000023da: PUSH1 0xff
000023dc: AND
000023dd: DUP2
000023de: JUMP
000023df: JUMPDEST
000023e0: PUSH1 0x0a
000023e2: PUSH1 0x20
000023e4: MSTORE
000023e5: PUSH1 0x00
000023e7: SWAP1
000023e8: DUP2
000023e9: MSTORE
000023ea: PUSH1 0x40
000023ec: SWAP1
000023ed: KECCAK256
000023ee: SLOAD
000023ef: DUP2
000023f0: JUMP
000023f1: JUMPDEST
000023f2: PUSH1 0x00
000023f4: PUSH2 0x0fdd
000023f7: PUSH2 0x23ff
000023fa: DUP4
000023fb: PUSH2 0x306c
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002415: DUP5
00002416: AND
00002417: PUSH1 0x00
00002419: SWAP1
0000241a: DUP2
0000241b: MSTORE
0000241c: PUSH1 0x03
0000241e: PUSH1 0x20
00002420: MSTORE
00002421: PUSH1 0x40
00002423: SWAP1
00002424: KECCAK256
00002425: SLOAD
00002426: SWAP1
00002427: PUSH2 0x26af
0000242a: JUMP
0000242b: JUMPDEST
0000242c: PUSH1 0x0b
0000242e: SLOAD
0000242f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002444: AND
00002445: CALLER
00002446: EQ
00002447: PUSH2 0x247c
0000244a: JUMPI
0000244b: PUSH1 0x40
0000244d: MLOAD
0000244e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000246f: DUP2
00002470: MSTORE
00002471: PUSH1 0x04
00002473: ADD
00002474: PUSH2 0x08e1
00002477: SWAP1
00002478: PUSH2 0x3a50
0000247b: JUMP
0000247c: JUMPDEST
0000247d: JUMP
0000247e: JUMPDEST
0000247f: PUSH1 0x00
00002481: DUP1
00002482: DUP3
00002483: GT
00002484: PUSH2 0x24b9
00002487: JUMPI
00002488: PUSH1 0x40
0000248a: MLOAD
0000248b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024ac: DUP2
000024ad: MSTORE
000024ae: PUSH1 0x04
000024b0: ADD
000024b1: PUSH2 0x08e1
000024b4: SWAP1
000024b5: PUSH2 0x4166
000024b8: JUMP
000024b9: JUMPDEST
000024ba: DUP2
000024bb: DUP5
000024bc: LT
000024bd: PUSH2 0x24f2
000024c0: JUMPI
000024c1: PUSH1 0x40
000024c3: MLOAD
000024c4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000024e5: DUP2
000024e6: MSTORE
000024e7: PUSH1 0x04
000024e9: ADD
000024ea: PUSH2 0x08e1
000024ed: SWAP1
000024ee: PUSH2 0x3f27
000024f1: JUMP
000024f2: JUMPDEST
000024f3: PUSH2 0x24fb
000024f6: DUP3
000024f7: PUSH2 0x30ea
000024fa: JUMP
000024fb: JUMPDEST
000024fc: DUP4
000024fd: MLOAD
000024fe: EQ
000024ff: PUSH2 0x2534
00002502: JUMPI
00002503: PUSH1 0x40
00002505: MLOAD
00002506: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002527: DUP2
00002528: MSTORE
00002529: PUSH1 0x04
0000252b: ADD
0000252c: PUSH2 0x08e1
0000252f: SWAP1
00002530: PUSH2 0x437e
00002533: JUMP
00002534: JUMPDEST
00002535: DUP5
00002536: PUSH1 0x00
00002538: JUMPDEST
00002539: DUP5
0000253a: MLOAD
0000253b: DUP2
0000253c: LT
0000253d: ISZERO
0000253e: PUSH2 0x25db
00002541: JUMPI
00002542: DUP6
00002543: PUSH1 0x01
00002545: AND
00002546: PUSH1 0x01
00002548: EQ
00002549: ISZERO
0000254a: PUSH2 0x2590
0000254d: JUMPI
0000254e: DUP5
0000254f: DUP2
00002550: DUP2
00002551: MLOAD
00002552: DUP2
00002553: LT
00002554: PUSH2 0x2559
00002557: JUMPI
00002558: INVALID
00002559: JUMPDEST
0000255a: PUSH1 0x20
0000255c: MUL
0000255d: PUSH1 0x20
0000255f: ADD
00002560: ADD
00002561: MLOAD
00002562: DUP3
00002563: PUSH1 0x40
00002565: MLOAD
00002566: PUSH1 0x20
00002568: ADD
00002569: PUSH2 0x2573
0000256c: SWAP3
0000256d: SWAP2
0000256e: SWAP1
0000256f: PUSH2 0x37f3
00002572: JUMP
00002573: JUMPDEST
00002574: PUSH1 0x40
00002576: MLOAD
00002577: PUSH1 0x20
00002579: DUP2
0000257a: DUP4
0000257b: SUB
0000257c: SUB
0000257d: DUP2
0000257e: MSTORE
0000257f: SWAP1
00002580: PUSH1 0x40
00002582: MSTORE
00002583: DUP1
00002584: MLOAD
00002585: SWAP1
00002586: PUSH1 0x20
00002588: ADD
00002589: KECCAK256
0000258a: SWAP2
0000258b: POP
0000258c: PUSH2 0x25cf
0000258f: JUMP
00002590: JUMPDEST
00002591: DUP2
00002592: DUP6
00002593: DUP3
00002594: DUP2
00002595: MLOAD
00002596: DUP2
00002597: LT
00002598: PUSH2 0x259d
0000259b: JUMPI
0000259c: INVALID
0000259d: JUMPDEST
0000259e: PUSH1 0x20
000025a0: MUL
000025a1: PUSH1 0x20
000025a3: ADD
000025a4: ADD
000025a5: MLOAD
000025a6: PUSH1 0x40
000025a8: MLOAD
000025a9: PUSH1 0x20
000025ab: ADD
000025ac: PUSH2 0x25b6
000025af: SWAP3
000025b0: SWAP2
000025b1: SWAP1
000025b2: PUSH2 0x37f3
000025b5: JUMP
000025b6: JUMPDEST
000025b7: PUSH1 0x40
000025b9: MLOAD
000025ba: PUSH1 0x20
000025bc: DUP2
000025bd: DUP4
000025be: SUB
000025bf: SUB
000025c0: DUP2
000025c1: MSTORE
000025c2: SWAP1
000025c3: PUSH1 0x40
000025c5: MSTORE
000025c6: DUP1
000025c7: MLOAD
000025c8: SWAP1
000025c9: PUSH1 0x20
000025cb: ADD
000025cc: KECCAK256
000025cd: SWAP2
000025ce: POP
000025cf: JUMPDEST
000025d0: PUSH1 0x01
000025d2: SWAP6
000025d3: DUP7
000025d4: SHR
000025d5: SWAP6
000025d6: ADD
000025d7: PUSH2 0x2538
000025da: JUMP
000025db: JUMPDEST
000025dc: POP
000025dd: SWAP1
000025de: SWAP6
000025df: EQ
000025e0: SWAP6
000025e1: SWAP5
000025e2: POP
000025e3: POP
000025e4: POP
000025e5: POP
000025e6: POP
000025e7: JUMP
000025e8: JUMPDEST
000025e9: PUSH1 0x00
000025eb: DUP3
000025ec: DUP2
000025ed: MSTORE
000025ee: PUSH1 0x04
000025f0: PUSH1 0x20
000025f2: MSTORE
000025f3: PUSH1 0x40
000025f5: SWAP1
000025f6: KECCAK256
000025f7: DUP1
000025f8: SLOAD
000025f9: PUSH2 0x262e
000025fc: JUMPI
000025fd: PUSH1 0x40
000025ff: MLOAD
00002600: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002621: DUP2
00002622: MSTORE
00002623: PUSH1 0x04
00002625: ADD
00002626: PUSH2 0x08e1
00002629: SWAP1
0000262a: PUSH2 0x3b1b
0000262d: JUMP
0000262e: JUMPDEST
0000262f: PUSH1 0x01
00002631: DUP2
00002632: ADD
00002633: SLOAD
00002634: PUSH1 0x00
00002636: SWAP1
00002637: PUSH2 0x2640
0000263a: SWAP1
0000263b: DUP5
0000263c: PUSH2 0x26af
0000263f: JUMP
00002640: JUMPDEST
00002641: DUP3
00002642: SLOAD
00002643: SWAP1
00002644: SWAP2
00002645: POP
00002646: DUP2
00002647: GT
00002648: ISZERO
00002649: PUSH2 0x267e
0000264c: JUMPI
0000264d: PUSH1 0x40
0000264f: MLOAD
00002650: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002671: DUP2
00002672: MSTORE
00002673: PUSH1 0x04
00002675: ADD
00002676: PUSH2 0x08e1
00002679: SWAP1
0000267a: PUSH2 0x44bb
0000267d: JUMP
0000267e: JUMPDEST
0000267f: PUSH1 0x01
00002681: SWAP1
00002682: SWAP2
00002683: ADD
00002684: SSTORE
00002685: POP
00002686: POP
00002687: JUMP
00002688: JUMPDEST
00002689: PUSH2 0x2691
0000268c: DUP5
0000268d: PUSH2 0x3199
00002690: JUMP
00002691: JUMPDEST
00002692: PUSH2 0x269f
00002695: DUP4
00002696: PUSH2 0x1464
00002699: DUP5
0000269a: DUP5
0000269b: PUSH2 0x26f5
0000269e: JUMP
0000269f: JUMPDEST
000026a0: DUP1
000026a1: ISZERO
000026a2: PUSH2 0x0ea7
000026a5: JUMPI
000026a6: PUSH2 0x0ea7
000026a9: CALLER
000026aa: DUP3
000026ab: PUSH2 0x2888
000026ae: JUMP
000026af: JUMPDEST
000026b0: PUSH1 0x00
000026b2: DUP3
000026b3: DUP3
000026b4: ADD
000026b5: DUP4
000026b6: DUP2
000026b7: LT
000026b8: ISZERO
000026b9: PUSH2 0x26ee
000026bc: JUMPI
000026bd: PUSH1 0x40
000026bf: MLOAD
000026c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026e1: DUP2
000026e2: MSTORE
000026e3: PUSH1 0x04
000026e5: ADD
000026e6: PUSH2 0x08e1
000026e9: SWAP1
000026ea: PUSH2 0x3bc0
000026ed: JUMP
000026ee: JUMPDEST
000026ef: SWAP4
000026f0: SWAP3
000026f1: POP
000026f2: POP
000026f3: POP
000026f4: JUMP
000026f5: JUMPDEST
000026f6: PUSH1 0x00
000026f8: DUP3
000026f9: DUP3
000026fa: GT
000026fb: ISZERO
000026fc: PUSH2 0x2731
000026ff: JUMPI
00002700: PUSH1 0x40
00002702: MLOAD
00002703: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002724: DUP2
00002725: MSTORE
00002726: PUSH1 0x04
00002728: ADD
00002729: PUSH2 0x08e1
0000272c: SWAP1
0000272d: PUSH2 0x3da2
00002730: JUMP
00002731: JUMPDEST
00002732: POP
00002733: SWAP1
00002734: SUB
00002735: SWAP1
00002736: JUMP
00002737: JUMPDEST
00002738: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000274d: DUP3
0000274e: AND
0000274f: PUSH1 0x00
00002751: SWAP1
00002752: DUP2
00002753: MSTORE
00002754: PUSH1 0x03
00002756: PUSH1 0x20
00002758: MSTORE
00002759: PUSH1 0x40
0000275b: SWAP1
0000275c: KECCAK256
0000275d: SLOAD
0000275e: PUSH2 0x2767
00002761: SWAP1
00002762: DUP3
00002763: PUSH2 0x26af
00002766: JUMP
00002767: JUMPDEST
00002768: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000277d: SWAP1
0000277e: SWAP3
0000277f: AND
00002780: PUSH1 0x00
00002782: SWAP1
00002783: DUP2
00002784: MSTORE
00002785: PUSH1 0x03
00002787: PUSH1 0x20
00002789: MSTORE
0000278a: PUSH1 0x40
0000278c: SWAP1
0000278d: KECCAK256
0000278e: SWAP2
0000278f: SWAP1
00002790: SWAP2
00002791: SSTORE
00002792: POP
00002793: JUMP
00002794: JUMPDEST
00002795: DUP1
00002796: CALLVALUE
00002797: EQ
00002798: PUSH2 0x27cd
0000279b: JUMPI
0000279c: PUSH1 0x40
0000279e: MLOAD
0000279f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000027c0: DUP2
000027c1: MSTORE
000027c2: PUSH1 0x04
000027c4: ADD
000027c5: PUSH2 0x08e1
000027c8: SWAP1
000027c9: PUSH2 0x3eca
000027cc: JUMP
000027cd: JUMPDEST
000027ce: POP
000027cf: POP
000027d0: JUMP
000027d1: JUMPDEST
000027d2: CALLER
000027d3: PUSH1 0x00
000027d5: SWAP1
000027d6: DUP2
000027d7: MSTORE
000027d8: PUSH1 0x06
000027da: PUSH1 0x20
000027dc: SWAP1
000027dd: DUP2
000027de: MSTORE
000027df: PUSH1 0x40
000027e1: DUP1
000027e2: DUP4
000027e3: KECCAK256
000027e4: DUP6
000027e5: DUP5
000027e6: MSTORE
000027e7: SWAP1
000027e8: SWAP2
000027e9: MSTORE
000027ea: SWAP1
000027eb: KECCAK256
000027ec: SLOAD
000027ed: ISZERO
000027ee: PUSH2 0x2823
000027f1: JUMPI
000027f2: PUSH1 0x40
000027f4: MLOAD
000027f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002816: DUP2
00002817: MSTORE
00002818: PUSH1 0x04
0000281a: ADD
0000281b: PUSH2 0x08e1
0000281e: SWAP1
0000281f: PUSH2 0x4401
00002822: JUMP
00002823: JUMPDEST
00002824: PUSH2 0x282d
00002827: CALLER
00002828: DUP3
00002829: PUSH2 0x2737
0000282c: JUMP
0000282d: JUMPDEST
0000282e: CALLER
0000282f: PUSH1 0x00
00002831: SWAP1
00002832: DUP2
00002833: MSTORE
00002834: PUSH1 0x06
00002836: PUSH1 0x20
00002838: SWAP1
00002839: DUP2
0000283a: MSTORE
0000283b: PUSH1 0x40
0000283d: DUP1
0000283e: DUP4
0000283f: KECCAK256
00002840: DUP6
00002841: DUP5
00002842: MSTORE
00002843: SWAP1
00002844: SWAP2
00002845: MSTORE
00002846: SWAP1
00002847: DUP2
00002848: SWAP1
00002849: KECCAK256
0000284a: DUP3
0000284b: SWAP1
0000284c: SSTORE
0000284d: MLOAD
0000284e: DUP3
0000284f: SWAP1
00002850: PUSH32 0x0c3d250c7831051e78aa6a56679e590374c7c424415ffe4aa474491def2fe705
00002871: SWAP1
00002872: PUSH2 0x287c
00002875: SWAP1
00002876: DUP5
00002877: SWAP1
00002878: PUSH2 0x3943
0000287b: JUMP
0000287c: JUMPDEST
0000287d: PUSH1 0x40
0000287f: MLOAD
00002880: DUP1
00002881: SWAP2
00002882: SUB
00002883: SWAP1
00002884: LOG2
00002885: POP
00002886: POP
00002887: JUMP
00002888: JUMPDEST
00002889: PUSH1 0x40
0000288b: DUP1
0000288c: MLOAD
0000288d: PUSH1 0x00
0000288f: DUP1
00002890: DUP3
00002891: MSTORE
00002892: PUSH1 0x20
00002894: DUP3
00002895: ADD
00002896: SWAP1
00002897: SWAP3
00002898: MSTORE
00002899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028ae: DUP5
000028af: AND
000028b0: SWAP1
000028b1: DUP4
000028b2: SWAP1
000028b3: PUSH1 0x40
000028b5: MLOAD
000028b6: PUSH2 0x28bf
000028b9: SWAP2
000028ba: SWAP1
000028bb: PUSH2 0x3801
000028be: JUMP
000028bf: JUMPDEST
000028c0: PUSH1 0x00
000028c2: PUSH1 0x40
000028c4: MLOAD
000028c5: DUP1
000028c6: DUP4
000028c7: SUB
000028c8: DUP2
000028c9: DUP6
000028ca: DUP8
000028cb: GAS
000028cc: CALL
000028cd: SWAP3
000028ce: POP
000028cf: POP
000028d0: POP
000028d1: RETURNDATASIZE
000028d2: DUP1
000028d3: PUSH1 0x00
000028d5: DUP2
000028d6: EQ
000028d7: PUSH2 0x28fc
000028da: JUMPI
000028db: PUSH1 0x40
000028dd: MLOAD
000028de: SWAP2
000028df: POP
000028e0: PUSH1 0x1f
000028e2: NOT
000028e3: PUSH1 0x3f
000028e5: RETURNDATASIZE
000028e6: ADD
000028e7: AND
000028e8: DUP3
000028e9: ADD
000028ea: PUSH1 0x40
000028ec: MSTORE
000028ed: RETURNDATASIZE
000028ee: DUP3
000028ef: MSTORE
000028f0: RETURNDATASIZE
000028f1: PUSH1 0x00
000028f3: PUSH1 0x20
000028f5: DUP5
000028f6: ADD
000028f7: RETURNDATACOPY
000028f8: PUSH2 0x2901
000028fb: JUMP
000028fc: JUMPDEST
000028fd: PUSH1 0x60
000028ff: SWAP2
00002900: POP
00002901: JUMPDEST
00002902: POP
00002903: POP
00002904: SWAP1
00002905: POP
00002906: DUP1
00002907: PUSH2 0x17a5
0000290a: JUMPI
0000290b: PUSH1 0x40
0000290d: MLOAD
0000290e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000292f: DUP2
00002930: MSTORE
00002931: PUSH1 0x04
00002933: ADD
00002934: PUSH2 0x08e1
00002937: SWAP1
00002938: PUSH2 0x39bc
0000293b: JUMP
0000293c: JUMPDEST
0000293d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002952: DUP3
00002953: AND
00002954: PUSH1 0x00
00002956: SWAP1
00002957: DUP2
00002958: MSTORE
00002959: PUSH1 0x02
0000295b: PUSH1 0x20
0000295d: MSTORE
0000295e: PUSH1 0x40
00002960: SWAP1
00002961: KECCAK256
00002962: SLOAD
00002963: PUSH2 0x296c
00002966: SWAP1
00002967: DUP3
00002968: PUSH2 0x26af
0000296b: JUMP
0000296c: JUMPDEST
0000296d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002982: SWAP1
00002983: SWAP3
00002984: AND
00002985: PUSH1 0x00
00002987: SWAP1
00002988: DUP2
00002989: MSTORE
0000298a: PUSH1 0x02
0000298c: PUSH1 0x20
0000298e: MSTORE
0000298f: PUSH1 0x40
00002991: SWAP1
00002992: KECCAK256
00002993: SWAP2
00002994: SWAP1
00002995: SWAP2
00002996: SSTORE
00002997: POP
00002998: JUMP
00002999: JUMPDEST
0000299a: PUSH1 0x00
0000299c: DUP3
0000299d: PUSH2 0x29a8
000029a0: JUMPI
000029a1: POP
000029a2: PUSH1 0x00
000029a4: PUSH2 0x0fdd
000029a7: JUMP
000029a8: JUMPDEST
000029a9: DUP3
000029aa: DUP3
000029ab: MUL
000029ac: DUP3
000029ad: DUP5
000029ae: DUP3
000029af: DUP2
000029b0: PUSH2 0x29b5
000029b3: JUMPI
000029b4: INVALID
000029b5: JUMPDEST
000029b6: DIV
000029b7: EQ
000029b8: PUSH2 0x26ee
000029bb: JUMPI
000029bc: PUSH1 0x40
000029be: MLOAD
000029bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000029e0: DUP2
000029e1: MSTORE
000029e2: PUSH1 0x04
000029e4: ADD
000029e5: PUSH2 0x08e1
000029e8: SWAP1
000029e9: PUSH2 0x40ac
000029ec: JUMP
000029ed: JUMPDEST
000029ee: PUSH1 0x00
000029f0: DUP1
000029f1: DUP3
000029f2: GT
000029f3: PUSH2 0x2a28
000029f6: JUMPI
000029f7: PUSH1 0x40
000029f9: MLOAD
000029fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002a1b: DUP2
00002a1c: MSTORE
00002a1d: PUSH1 0x04
00002a1f: ADD
00002a20: PUSH2 0x08e1
00002a23: SWAP1
00002a24: PUSH2 0x3e36
00002a27: JUMP
00002a28: JUMPDEST
00002a29: DUP2
00002a2a: DUP4
00002a2b: DUP2
00002a2c: PUSH2 0x2a31
00002a2f: JUMPI
00002a30: INVALID
00002a31: JUMPDEST
00002a32: DIV
00002a33: SWAP4
00002a34: SWAP3
00002a35: POP
00002a36: POP
00002a37: POP
00002a38: JUMP
00002a39: JUMPDEST
00002a3a: PUSH2 0x2a41
00002a3d: PUSH2 0x0fe3
00002a40: JUMP
00002a41: JUMPDEST
00002a42: DUP3
00002a43: EQ
00002a44: ISZERO
00002a45: PUSH2 0x2a57
00002a48: JUMPI
00002a49: PUSH2 0x2a52
00002a4c: DUP4
00002a4d: DUP3
00002a4e: PUSH2 0x321b
00002a51: JUMP
00002a52: JUMPDEST
00002a53: PUSH2 0x17a5
00002a56: JUMP
00002a57: JUMPDEST
00002a58: PUSH1 0x00
00002a5a: DUP3
00002a5b: DUP2
00002a5c: MSTORE
00002a5d: PUSH1 0x0a
00002a5f: PUSH1 0x20
00002a61: MSTORE
00002a62: PUSH1 0x40
00002a64: SWAP1
00002a65: KECCAK256
00002a66: SLOAD
00002a67: PUSH2 0x2a70
00002a6a: SWAP1
00002a6b: DUP3
00002a6c: PUSH2 0x26af
00002a6f: JUMP
00002a70: JUMPDEST
00002a71: PUSH1 0x00
00002a73: DUP4
00002a74: DUP2
00002a75: MSTORE
00002a76: PUSH1 0x0a
00002a78: PUSH1 0x20
00002a7a: SWAP1
00002a7b: DUP2
00002a7c: MSTORE
00002a7d: PUSH1 0x40
00002a7f: DUP1
00002a80: DUP4
00002a81: KECCAK256
00002a82: SWAP4
00002a83: SWAP1
00002a84: SWAP4
00002a85: SSTORE
00002a86: PUSH1 0x0c
00002a88: SWAP1
00002a89: MSTORE
00002a8a: KECCAK256
00002a8b: SLOAD
00002a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa1: AND
00002aa2: DUP1
00002aa3: PUSH2 0x2ad8
00002aa6: JUMPI
00002aa7: PUSH1 0x40
00002aa9: MLOAD
00002aaa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002acb: DUP2
00002acc: MSTORE
00002acd: PUSH1 0x04
00002acf: ADD
00002ad0: PUSH2 0x08e1
00002ad3: SWAP1
00002ad4: PUSH2 0x3f84
00002ad7: JUMP
00002ad8: JUMPDEST
00002ad9: PUSH1 0x60
00002adb: DUP5
00002adc: DUP4
00002add: PUSH1 0x40
00002adf: MLOAD
00002ae0: PUSH1 0x24
00002ae2: ADD
00002ae3: PUSH2 0x2aed
00002ae6: SWAP3
00002ae7: SWAP2
00002ae8: SWAP1
00002ae9: PUSH2 0x37f3
00002aec: JUMP
00002aed: JUMPDEST
00002aee: PUSH1 0x40
00002af0: DUP1
00002af1: MLOAD
00002af2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00002b13: DUP2
00002b14: DUP5
00002b15: SUB
00002b16: ADD
00002b17: DUP2
00002b18: MSTORE
00002b19: SWAP2
00002b1a: DUP2
00002b1b: MSTORE
00002b1c: PUSH1 0x20
00002b1e: DUP3
00002b1f: ADD
00002b20: DUP1
00002b21: MLOAD
00002b22: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002b3f: AND
00002b40: PUSH32 0xfd31c5ba00000000000000000000000000000000000000000000000000000000
00002b61: OR
00002b62: SWAP1
00002b63: MSTORE
00002b64: MLOAD
00002b65: PUSH32 0x419cb55000000000000000000000000000000000000000000000000000000000
00002b86: DUP2
00002b87: MSTORE
00002b88: SWAP1
00002b89: SWAP2
00002b8a: POP
00002b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ba0: DUP4
00002ba1: AND
00002ba2: SWAP1
00002ba3: PUSH4 0x419cb550
00002ba8: SWAP1
00002ba9: PUSH2 0x2bb6
00002bac: SWAP1
00002bad: DUP5
00002bae: SWAP1
00002baf: PUSH1 0x04
00002bb1: ADD
00002bb2: PUSH2 0x394c
00002bb5: JUMP
00002bb6: JUMPDEST
00002bb7: PUSH1 0x00
00002bb9: PUSH1 0x40
00002bbb: MLOAD
00002bbc: DUP1
00002bbd: DUP4
00002bbe: SUB
00002bbf: DUP2
00002bc0: PUSH1 0x00
00002bc2: DUP8
00002bc3: DUP1
00002bc4: EXTCODESIZE
00002bc5: ISZERO
00002bc6: DUP1
00002bc7: ISZERO
00002bc8: PUSH2 0x2bd0
00002bcb: JUMPI
00002bcc: PUSH1 0x00
00002bce: DUP1
00002bcf: REVERT
00002bd0: JUMPDEST
00002bd1: POP
00002bd2: GAS
00002bd3: CALL
00002bd4: ISZERO
00002bd5: DUP1
00002bd6: ISZERO
00002bd7: PUSH2 0x2be4
00002bda: JUMPI
00002bdb: RETURNDATASIZE
00002bdc: PUSH1 0x00
00002bde: DUP1
00002bdf: RETURNDATACOPY
00002be0: RETURNDATASIZE
00002be1: PUSH1 0x00
00002be3: REVERT
00002be4: JUMPDEST
00002be5: POP
00002be6: POP
00002be7: POP
00002be8: POP
00002be9: POP
00002bea: POP
00002beb: POP
00002bec: POP
00002bed: POP
00002bee: JUMP
00002bef: JUMPDEST
00002bf0: PUSH1 0x00
00002bf2: DUP1
00002bf3: DUP3
00002bf4: MLOAD
00002bf5: GT
00002bf6: PUSH2 0x2c2b
00002bf9: JUMPI
00002bfa: PUSH1 0x40
00002bfc: MLOAD
00002bfd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002c1e: DUP2
00002c1f: MSTORE
00002c20: PUSH1 0x04
00002c22: ADD
00002c23: PUSH2 0x08e1
00002c26: SWAP1
00002c27: PUSH2 0x45ac
00002c2a: JUMP
00002c2b: JUMPDEST
00002c2c: DUP2
00002c2d: MLOAD
00002c2e: PUSH1 0x01
00002c30: EQ
00002c31: ISZERO
00002c32: PUSH2 0x2c51
00002c35: JUMPI
00002c36: DUP2
00002c37: PUSH1 0x00
00002c39: DUP2
00002c3a: MLOAD
00002c3b: DUP2
00002c3c: LT
00002c3d: PUSH2 0x2c42
00002c40: JUMPI
00002c41: INVALID
00002c42: JUMPDEST
00002c43: PUSH1 0x20
00002c45: MUL
00002c46: PUSH1 0x20
00002c48: ADD
00002c49: ADD
00002c4a: MLOAD
00002c4b: SWAP1
00002c4c: POP
00002c4d: PUSH2 0x0ae6
00002c50: JUMP
00002c51: JUMPDEST
00002c52: PUSH2 0x2c59
00002c55: PUSH2 0x3344
00002c58: JUMP
00002c59: JUMPDEST
00002c5a: POP
00002c5b: PUSH1 0x40
00002c5d: DUP1
00002c5e: MLOAD
00002c5f: PUSH2 0x0200
00002c62: DUP2
00002c63: ADD
00002c64: DUP3
00002c65: MSTORE
00002c66: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00002c87: DUP2
00002c88: MSTORE
00002c89: PUSH32 0x633dc4d7da7256660a892f8f1604a44b5432649cc8ec5cb3ced4c4e6ac94dd1d
00002caa: PUSH1 0x20
00002cac: DUP3
00002cad: ADD
00002cae: MSTORE
00002caf: PUSH32 0x890740a8eb06ce9be422cb8da5cdafc2b58c0a5e24036c578de2a433c828ff7d
00002cd0: DUP2
00002cd1: DUP4
00002cd2: ADD
00002cd3: MSTORE
00002cd4: PUSH32 0x3b8ec09e026fdc305365dfc94e189a81b38c7597b3d941c279f042e8206e0bd8
00002cf5: PUSH1 0x60
00002cf7: DUP1
00002cf8: DUP4
00002cf9: ADD
00002cfa: SWAP2
00002cfb: SWAP1
00002cfc: SWAP2
00002cfd: MSTORE
00002cfe: PUSH32 0xecd50eee38e386bd62be9bedb990706951b65fe053bd9d8a521af753d139e2da
00002d1f: PUSH1 0x80
00002d21: DUP4
00002d22: ADD
00002d23: MSTORE
00002d24: PUSH32 0xdefff6d330bb5403f63b14f33b578274160de3a50df4efecf0e0db73bcdd3da5
00002d45: PUSH1 0xa0
00002d47: DUP4
00002d48: ADD
00002d49: MSTORE
00002d4a: PUSH32 0x617bdd11f7c0a11f49db22f629387a12da7596f9d1704d7465177c63d88ec7d7
00002d6b: PUSH1 0xc0
00002d6d: DUP4
00002d6e: ADD
00002d6f: MSTORE
00002d70: PUSH32 0x292c23a9aa1d8bea7e2435e555a4a60e379a5a35f3f452bae60121073fb6eead
00002d91: PUSH1 0xe0
00002d93: DUP4
00002d94: ADD
00002d95: MSTORE
00002d96: PUSH32 0xe1cea92ed99acdcb045a6726b2f87107e8a61620a232cf4d7d5b5766b3952e10
00002db7: PUSH2 0x0100
00002dba: DUP4
00002dbb: ADD
00002dbc: MSTORE
00002dbd: PUSH32 0x7ad66c0a68c72cb89e4fb4303841966e4062a76ab97451e3b9fb526a5ceb7f82
00002dde: PUSH2 0x0120
00002de1: DUP4
00002de2: ADD
00002de3: MSTORE
00002de4: PUSH32 0xe026cc5a4aed3c22a58cbd3d2ac754c9352c5436f638042dca99034e83636516
00002e05: PUSH2 0x0140
00002e08: DUP4
00002e09: ADD
00002e0a: MSTORE
00002e0b: PUSH32 0x3d04cffd8b46a874edf5cfae63077de85f849a660426697b06a829c70dd1409c
00002e2c: PUSH2 0x0160
00002e2f: DUP4
00002e30: ADD
00002e31: MSTORE
00002e32: PUSH32 0xad676aa337a485e4728a0b240d92b3ef7b3c372d06d189322bfd5f61f1e7203e
00002e53: PUSH2 0x0180
00002e56: DUP4
00002e57: ADD
00002e58: MSTORE
00002e59: PUSH32 0xa2fca4a49658f9fab7aa63289c91b7c7b6c832a6d0e69334ff5b0a3483d09dab
00002e7a: PUSH2 0x01a0
00002e7d: DUP4
00002e7e: ADD
00002e7f: MSTORE
00002e80: PUSH32 0x4ebfd9cd7bca2505f7bef59cc1c12ecc708fff26ae4af19abe852afe9e20c862
00002ea1: PUSH2 0x01c0
00002ea4: DUP4
00002ea5: ADD
00002ea6: MSTORE
00002ea7: PUSH32 0x2def10d13dd169f550f578bda343d9717a138562e0093b380a1120789d53cf10
00002ec8: PUSH2 0x01e0
00002ecb: DUP4
00002ecc: ADD
00002ecd: MSTORE
00002ece: DUP3
00002ecf: MLOAD
00002ed0: DUP4
00002ed1: DUP2
00002ed2: MSTORE
00002ed3: DUP1
00002ed4: DUP3
00002ed5: ADD
00002ed6: DUP5
00002ed7: MSTORE
00002ed8: SWAP2
00002ed9: SWAP3
00002eda: SWAP1
00002edb: SWAP2
00002edc: SWAP1
00002edd: PUSH1 0x20
00002edf: DUP3
00002ee0: ADD
00002ee1: DUP2
00002ee2: DUP1
00002ee3: CALLDATASIZE
00002ee4: DUP4
00002ee5: CALLDATACOPY
00002ee6: POP
00002ee7: POP
00002ee8: DUP6
00002ee9: MLOAD
00002eea: SWAP2
00002eeb: SWAP3
00002eec: POP
00002eed: PUSH1 0x00
00002eef: SWAP2
00002ef0: DUP3
00002ef1: SWAP2
00002ef2: POP
00002ef3: DUP2
00002ef4: DUP1
00002ef5: DUP1
00002ef6: JUMPDEST
00002ef7: PUSH1 0x01
00002ef9: DUP5
00002efa: GT
00002efb: ISZERO
00002efc: PUSH2 0x3002
00002eff: JUMPI
00002f00: POP
00002f01: POP
00002f02: PUSH1 0x02
00002f04: DUP3
00002f05: DIV
00002f06: PUSH1 0x01
00002f08: DUP1
00002f09: DUP5
00002f0a: AND
00002f0b: EQ
00002f0c: PUSH1 0x00
00002f0e: JUMPDEST
00002f0f: DUP3
00002f10: DUP2
00002f11: LT
00002f12: ISZERO
00002f13: PUSH2 0x2f7e
00002f16: JUMPI
00002f17: DUP11
00002f18: DUP2
00002f19: PUSH1 0x02
00002f1b: MUL
00002f1c: DUP2
00002f1d: MLOAD
00002f1e: DUP2
00002f1f: LT
00002f20: PUSH2 0x2f25
00002f23: JUMPI
00002f24: INVALID
00002f25: JUMPDEST
00002f26: PUSH1 0x20
00002f28: MUL
00002f29: PUSH1 0x20
00002f2b: ADD
00002f2c: ADD
00002f2d: MLOAD
00002f2e: SWAP7
00002f2f: POP
00002f30: DUP11
00002f31: DUP2
00002f32: PUSH1 0x02
00002f34: MUL
00002f35: PUSH1 0x01
00002f37: ADD
00002f38: DUP2
00002f39: MLOAD
00002f3a: DUP2
00002f3b: LT
00002f3c: PUSH2 0x2f41
00002f3f: JUMPI
00002f40: INVALID
00002f41: JUMPDEST
00002f42: PUSH1 0x20
00002f44: MUL
00002f45: PUSH1 0x20
00002f47: ADD
00002f48: ADD
00002f49: MLOAD
00002f4a: SWAP6
00002f4b: POP
00002f4c: DUP7
00002f4d: PUSH1 0x20
00002f4f: DUP10
00002f50: ADD
00002f51: MSTORE
00002f52: DUP6
00002f53: PUSH1 0x40
00002f55: DUP10
00002f56: ADD
00002f57: MSTORE
00002f58: DUP8
00002f59: DUP1
00002f5a: MLOAD
00002f5b: SWAP1
00002f5c: PUSH1 0x20
00002f5e: ADD
00002f5f: KECCAK256
00002f60: DUP12
00002f61: DUP3
00002f62: DUP2
00002f63: MLOAD
00002f64: DUP2
00002f65: LT
00002f66: PUSH2 0x2f6b
00002f69: JUMPI
00002f6a: INVALID
00002f6b: JUMPDEST
00002f6c: PUSH1 0x20
00002f6e: SWAP1
00002f6f: DUP2
00002f70: MUL
00002f71: SWAP2
00002f72: SWAP1
00002f73: SWAP2
00002f74: ADD
00002f75: ADD
00002f76: MSTORE
00002f77: PUSH1 0x01
00002f79: ADD
00002f7a: PUSH2 0x2f0e
00002f7d: JUMP
00002f7e: JUMPDEST
00002f7f: POP
00002f80: DUP1
00002f81: ISZERO
00002f82: PUSH2 0x2fe1
00002f85: JUMPI
00002f86: DUP10
00002f87: PUSH1 0x01
00002f89: DUP6
00002f8a: SUB
00002f8b: DUP2
00002f8c: MLOAD
00002f8d: DUP2
00002f8e: LT
00002f8f: PUSH2 0x2f94
00002f92: JUMPI
00002f93: INVALID
00002f94: JUMPDEST
00002f95: PUSH1 0x20
00002f97: MUL
00002f98: PUSH1 0x20
00002f9a: ADD
00002f9b: ADD
00002f9c: MLOAD
00002f9d: SWAP6
00002f9e: POP
00002f9f: DUP8
00002fa0: DUP4
00002fa1: PUSH1 0x10
00002fa3: DUP2
00002fa4: LT
00002fa5: PUSH2 0x2faa
00002fa8: JUMPI
00002fa9: INVALID
00002faa: JUMPDEST
00002fab: PUSH1 0x20
00002fad: MUL
00002fae: ADD
00002faf: MLOAD
00002fb0: PUSH1 0x00
00002fb2: SHL
00002fb3: SWAP5
00002fb4: POP
00002fb5: DUP6
00002fb6: PUSH1 0x20
00002fb8: DUP9
00002fb9: ADD
00002fba: MSTORE
00002fbb: DUP5
00002fbc: PUSH1 0x40
00002fbe: DUP9
00002fbf: ADD
00002fc0: MSTORE
00002fc1: DUP7
00002fc2: DUP1
00002fc3: MLOAD
00002fc4: SWAP1
00002fc5: PUSH1 0x20
00002fc7: ADD
00002fc8: KECCAK256
00002fc9: DUP11
00002fca: DUP4
00002fcb: DUP2
00002fcc: MLOAD
00002fcd: DUP2
00002fce: LT
00002fcf: PUSH2 0x2fd4
00002fd2: JUMPI
00002fd3: INVALID
00002fd4: JUMPDEST
00002fd5: PUSH1 0x20
00002fd7: MUL
00002fd8: PUSH1 0x20
00002fda: ADD
00002fdb: ADD
00002fdc: DUP2
00002fdd: DUP2
00002fde: MSTORE
00002fdf: POP
00002fe0: POP
00002fe1: JUMPDEST
00002fe2: DUP1
00002fe3: PUSH2 0x2fed
00002fe6: JUMPI
00002fe7: PUSH1 0x00
00002fe9: PUSH2 0x2ff0
00002fec: JUMP
00002fed: JUMPDEST
00002fee: PUSH1 0x01
00002ff0: JUMPDEST
00002ff1: PUSH1 0xff
00002ff3: AND
00002ff4: DUP3
00002ff5: ADD
00002ff6: SWAP4
00002ff7: POP
00002ff8: PUSH1 0x01
00002ffa: SWAP1
00002ffb: SWAP3
00002ffc: ADD
00002ffd: SWAP2
00002ffe: PUSH2 0x2ef6
00003001: JUMP
00003002: JUMPDEST
00003003: DUP10
00003004: PUSH1 0x00
00003006: DUP2
00003007: MLOAD
00003008: DUP2
00003009: LT
0000300a: PUSH2 0x300f
0000300d: JUMPI
0000300e: INVALID
0000300f: JUMPDEST
00003010: PUSH1 0x20
00003012: MUL
00003013: PUSH1 0x20
00003015: ADD
00003016: ADD
00003017: MLOAD
00003018: SWAP9
00003019: POP
0000301a: POP
0000301b: POP
0000301c: POP
0000301d: POP
0000301e: POP
0000301f: POP
00003020: POP
00003021: POP
00003022: SWAP2
00003023: SWAP1
00003024: POP
00003025: JUMP
00003026: JUMPDEST
00003027: PUSH1 0x00
00003029: DUP2
0000302a: DUP5
0000302b: DUP5
0000302c: GT
0000302d: ISZERO
0000302e: PUSH2 0x3064
00003031: JUMPI
00003032: PUSH1 0x40
00003034: MLOAD
00003035: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003056: DUP2
00003057: MSTORE
00003058: PUSH1 0x04
0000305a: ADD
0000305b: PUSH2 0x08e1
0000305e: SWAP2
0000305f: SWAP1
00003060: PUSH2 0x394c
00003063: JUMP
00003064: JUMPDEST
00003065: POP
00003066: POP
00003067: POP
00003068: SWAP1
00003069: SUB
0000306a: SWAP1
0000306b: JUMP
0000306c: JUMPDEST
0000306d: PUSH1 0x00
0000306f: DUP1
00003070: PUSH2 0x3078
00003073: TIMESTAMP
00003074: PUSH2 0x0ead
00003077: JUMP
00003078: JUMPDEST
00003079: SWAP1
0000307a: POP
0000307b: PUSH1 0x00
0000307d: DUP1
0000307e: PUSH2 0x3840
00003081: PUSH1 0x0e
00003083: SLOAD
00003084: DUP2
00003085: PUSH2 0x308a
00003088: JUMPI
00003089: INVALID
0000308a: JUMPDEST
0000308b: DIV
0000308c: SWAP1
0000308d: POP
0000308e: PUSH1 0x00
00003090: JUMPDEST
00003091: DUP2
00003092: DUP2
00003093: LT
00003094: ISZERO
00003095: PUSH2 0x30e0
00003098: JUMPI
00003099: DUP1
0000309a: DUP5
0000309b: SUB
0000309c: PUSH1 0x00
0000309e: SWAP1
0000309f: DUP2
000030a0: MSTORE
000030a1: PUSH1 0x09
000030a3: PUSH1 0x20
000030a5: SWAP1
000030a6: DUP2
000030a7: MSTORE
000030a8: PUSH1 0x40
000030aa: DUP1
000030ab: DUP4
000030ac: KECCAK256
000030ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030c2: DUP11
000030c3: AND
000030c4: DUP5
000030c5: MSTORE
000030c6: SWAP1
000030c7: SWAP2
000030c8: MSTORE
000030c9: SWAP1
000030ca: KECCAK256
000030cb: SLOAD
000030cc: PUSH2 0x30d6
000030cf: SWAP1
000030d0: DUP5
000030d1: SWAP1
000030d2: PUSH2 0x26af
000030d5: JUMP
000030d6: JUMPDEST
000030d7: SWAP3
000030d8: POP
000030d9: PUSH1 0x01
000030db: ADD
000030dc: PUSH2 0x3090
000030df: JUMP
000030e0: JUMPDEST
000030e1: POP
000030e2: SWAP1
000030e3: SWAP5
000030e4: SWAP4
000030e5: POP
000030e6: POP
000030e7: POP
000030e8: POP
000030e9: JUMP
000030ea: JUMPDEST
000030eb: PUSH1 0x00
000030ed: DUP1
000030ee: DUP3
000030ef: GT
000030f0: PUSH2 0x3125
000030f3: JUMPI
000030f4: PUSH1 0x40
000030f6: MLOAD
000030f7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003118: DUP2
00003119: MSTORE
0000311a: PUSH1 0x04
0000311c: ADD
0000311d: PUSH2 0x08e1
00003120: SWAP1
00003121: PUSH2 0x3fbb
00003124: JUMP
00003125: JUMPDEST
00003126: DUP2
00003127: PUSH1 0x01
00003129: EQ
0000312a: ISZERO
0000312b: PUSH2 0x3136
0000312e: JUMPI
0000312f: POP
00003130: PUSH1 0x00
00003132: PUSH2 0x0ae6
00003135: JUMP
00003136: JUMPDEST
00003137: DUP2
00003138: PUSH1 0x00
0000313a: PUSH1 0x80
0000313c: JUMPDEST
0000313d: PUSH1 0x01
0000313f: DUP2
00003140: LT
00003141: PUSH2 0x3184
00003144: JUMPI
00003145: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00003166: PUSH1 0x01
00003168: DUP3
00003169: SHL
0000316a: ADD
0000316b: DUP2
0000316c: SHL
0000316d: DUP4
0000316e: AND
0000316f: ISZERO
00003170: PUSH2 0x317c
00003173: JUMPI
00003174: SWAP2
00003175: DUP3
00003176: SHR
00003177: SWAP2
00003178: SWAP1
00003179: DUP2
0000317a: ADD
0000317b: SWAP1
0000317c: JUMPDEST
0000317d: PUSH1 0x01
0000317f: SHR
00003180: PUSH2 0x313c
00003183: JUMP
00003184: JUMPDEST
00003185: POP
00003186: PUSH1 0x01
00003188: DUP2
00003189: SHL
0000318a: DUP5
0000318b: EQ
0000318c: PUSH2 0x26ee
0000318f: JUMPI
00003190: PUSH1 0x01
00003192: ADD
00003193: SWAP4
00003194: SWAP3
00003195: POP
00003196: POP
00003197: POP
00003198: JUMP
00003199: JUMPDEST
0000319a: PUSH1 0x00
0000319c: DUP2
0000319d: DUP2
0000319e: MSTORE
0000319f: PUSH1 0x05
000031a1: PUSH1 0x20
000031a3: MSTORE
000031a4: PUSH1 0x40
000031a6: SWAP1
000031a7: KECCAK256
000031a8: SLOAD
000031a9: PUSH1 0xff
000031ab: AND
000031ac: ISZERO
000031ad: PUSH2 0x31e2
000031b0: JUMPI
000031b1: PUSH1 0x40
000031b3: MLOAD
000031b4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000031d5: DUP2
000031d6: MSTORE
000031d7: PUSH1 0x04
000031d9: ADD
000031da: PUSH2 0x08e1
000031dd: SWAP1
000031de: PUSH2 0x3e6d
000031e1: JUMP
000031e2: JUMPDEST
000031e3: PUSH1 0x00
000031e5: SWAP1
000031e6: DUP2
000031e7: MSTORE
000031e8: PUSH1 0x05
000031ea: PUSH1 0x20
000031ec: MSTORE
000031ed: PUSH1 0x40
000031ef: SWAP1
000031f0: KECCAK256
000031f1: DUP1
000031f2: SLOAD
000031f3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00003214: AND
00003215: PUSH1 0x01
00003217: OR
00003218: SWAP1
00003219: SSTORE
0000321a: JUMP
0000321b: JUMPDEST
0000321c: PUSH1 0x00
0000321e: PUSH2 0x3227
00003221: DUP4
00003222: DUP4
00003223: PUSH2 0x17aa
00003226: JUMP
00003227: JUMPDEST
00003228: PUSH1 0x00
0000322a: DUP2
0000322b: DUP2
0000322c: MSTORE
0000322d: PUSH1 0x04
0000322f: PUSH1 0x20
00003231: MSTORE
00003232: PUSH1 0x40
00003234: SWAP1
00003235: KECCAK256
00003236: SLOAD
00003237: SWAP1
00003238: SWAP2
00003239: POP
0000323a: ISZERO
0000323b: PUSH2 0x3270
0000323e: JUMPI
0000323f: PUSH1 0x40
00003241: MLOAD
00003242: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003263: DUP2
00003264: MSTORE
00003265: PUSH1 0x04
00003267: ADD
00003268: PUSH2 0x08e1
0000326b: SWAP1
0000326c: PUSH2 0x4018
0000326f: JUMP
00003270: JUMPDEST
00003271: PUSH1 0x00
00003273: DUP3
00003274: GT
00003275: PUSH2 0x32aa
00003278: JUMPI
00003279: PUSH1 0x40
0000327b: MLOAD
0000327c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000329d: DUP2
0000329e: MSTORE
0000329f: PUSH1 0x04
000032a1: ADD
000032a2: PUSH2 0x08e1
000032a5: SWAP1
000032a6: PUSH2 0x41f8
000032a9: JUMP
000032aa: JUMPDEST
000032ab: PUSH1 0x40
000032ad: DUP1
000032ae: MLOAD
000032af: PUSH1 0x60
000032b1: DUP2
000032b2: ADD
000032b3: DUP3
000032b4: MSTORE
000032b5: DUP4
000032b6: DUP2
000032b7: MSTORE
000032b8: PUSH1 0x00
000032ba: PUSH1 0x20
000032bc: DUP1
000032bd: DUP4
000032be: ADD
000032bf: DUP3
000032c0: DUP2
000032c1: MSTORE
000032c2: TIMESTAMP
000032c3: DUP5
000032c4: DUP7
000032c5: ADD
000032c6: SWAP1
000032c7: DUP2
000032c8: MSTORE
000032c9: DUP7
000032ca: DUP5
000032cb: MSTORE
000032cc: PUSH1 0x04
000032ce: SWAP1
000032cf: SWAP3
000032d0: MSTORE
000032d1: SWAP2
000032d2: DUP5
000032d3: SWAP1
000032d4: KECCAK256
000032d5: SWAP3
000032d6: MLOAD
000032d7: DUP4
000032d8: SSTORE
000032d9: SWAP1
000032da: MLOAD
000032db: PUSH1 0x01
000032dd: DUP4
000032de: ADD
000032df: SSTORE
000032e0: MLOAD
000032e1: PUSH1 0x02
000032e3: SWAP1
000032e4: SWAP2
000032e5: ADD
000032e6: SSTORE
000032e7: MLOAD
000032e8: DUP4
000032e9: SWAP1
000032ea: PUSH32 0xb33d2162aead99dab59e77a7a67ea025b776bf8ca8079e132afdf9b23e03bd42
0000330b: SWAP1
0000330c: PUSH2 0x3316
0000330f: SWAP1
00003310: DUP6
00003311: SWAP1
00003312: PUSH2 0x3943
00003315: JUMP
00003316: JUMPDEST
00003317: PUSH1 0x40
00003319: MLOAD
0000331a: DUP1
0000331b: SWAP2
0000331c: SUB
0000331d: SWAP1
0000331e: LOG2
0000331f: POP
00003320: POP
00003321: POP
00003322: JUMP
00003323: JUMPDEST
00003324: PUSH1 0x40
00003326: MLOAD
00003327: DUP1
00003328: PUSH1 0x60
0000332a: ADD
0000332b: PUSH1 0x40
0000332d: MSTORE
0000332e: DUP1
0000332f: PUSH1 0x00
00003331: DUP2
00003332: MSTORE
00003333: PUSH1 0x20
00003335: ADD
00003336: PUSH1 0x00
00003338: DUP2
00003339: MSTORE
0000333a: PUSH1 0x20
0000333c: ADD
0000333d: PUSH1 0x00
0000333f: DUP2
00003340: MSTORE
00003341: POP
00003342: SWAP1
00003343: JUMP
00003344: JUMPDEST
00003345: PUSH1 0x40
00003347: MLOAD
00003348: DUP1
00003349: PUSH2 0x0200
0000334c: ADD
0000334d: PUSH1 0x40
0000334f: MSTORE
00003350: DUP1
00003351: PUSH1 0x10
00003353: SWAP1
00003354: PUSH1 0x20
00003356: DUP3
00003357: MUL
00003358: DUP1
00003359: CALLDATASIZE
0000335a: DUP4
0000335b: CALLDATACOPY
0000335c: POP
0000335d: SWAP2
0000335e: SWAP3
0000335f: SWAP2
00003360: POP
00003361: POP
00003362: JUMP
00003363: JUMPDEST
00003364: PUSH1 0x00
00003366: DUP1
00003367: DUP4
00003368: PUSH1 0x1f
0000336a: DUP5
0000336b: ADD
0000336c: SLT
0000336d: PUSH2 0x3374
00003370: JUMPI
00003371: DUP2
00003372: DUP3
00003373: REVERT
00003374: JUMPDEST
00003375: POP
00003376: DUP2
00003377: CALLDATALOAD
00003378: PUSH8 0xffffffffffffffff
00003381: DUP2
00003382: GT
00003383: ISZERO
00003384: PUSH2 0x338b
00003387: JUMPI
00003388: DUP2
00003389: DUP3
0000338a: REVERT
0000338b: JUMPDEST
0000338c: PUSH1 0x20
0000338e: DUP4
0000338f: ADD
00003390: SWAP2
00003391: POP
00003392: DUP4
00003393: PUSH1 0x20
00003395: DUP1
00003396: DUP4
00003397: MUL
00003398: DUP6
00003399: ADD
0000339a: ADD
0000339b: GT
0000339c: ISZERO
0000339d: PUSH2 0x33a5
000033a0: JUMPI
000033a1: PUSH1 0x00
000033a3: DUP1
000033a4: REVERT
000033a5: JUMPDEST
000033a6: SWAP3
000033a7: POP
000033a8: SWAP3
000033a9: SWAP1
000033aa: POP
000033ab: JUMP
000033ac: JUMPDEST
000033ad: PUSH1 0x00
000033af: PUSH1 0x20
000033b1: DUP3
000033b2: DUP5
000033b3: SUB
000033b4: SLT
000033b5: ISZERO
000033b6: PUSH2 0x33bd
000033b9: JUMPI
000033ba: DUP1
000033bb: DUP2
000033bc: REVERT
000033bd: JUMPDEST
000033be: DUP2
000033bf: CALLDATALOAD
000033c0: PUSH2 0x26ee
000033c3: DUP2
000033c4: PUSH2 0x4771
000033c7: JUMP
000033c8: JUMPDEST
000033c9: PUSH1 0x00
000033cb: DUP1
000033cc: PUSH1 0x00
000033ce: DUP1
000033cf: PUSH1 0x60
000033d1: DUP6
000033d2: DUP8
000033d3: SUB
000033d4: SLT
000033d5: ISZERO
000033d6: PUSH2 0x33dd
000033d9: JUMPI
000033da: DUP3
000033db: DUP4
000033dc: REVERT
000033dd: JUMPDEST
000033de: DUP5
000033df: CALLDATALOAD
000033e0: PUSH2 0x33e8
000033e3: DUP2
000033e4: PUSH2 0x4771
000033e7: JUMP
000033e8: JUMPDEST
000033e9: SWAP4
000033ea: POP
000033eb: PUSH1 0x20
000033ed: DUP6
000033ee: ADD
000033ef: CALLDATALOAD
000033f0: PUSH8 0xffffffffffffffff
000033f9: DUP2
000033fa: GT
000033fb: ISZERO
000033fc: PUSH2 0x3403
000033ff: JUMPI
00003400: DUP4
00003401: DUP5
00003402: REVERT
00003403: JUMPDEST
00003404: PUSH2 0x340f
00003407: DUP8
00003408: DUP3
00003409: DUP9
0000340a: ADD
0000340b: PUSH2 0x3363
0000340e: JUMP
0000340f: JUMPDEST
00003410: SWAP6
00003411: SWAP9
00003412: SWAP1
00003413: SWAP8
00003414: POP
00003415: SWAP5
00003416: SWAP6
00003417: PUSH1 0x40
00003419: ADD
0000341a: CALLDATALOAD
0000341b: SWAP5
0000341c: SWAP4
0000341d: POP
0000341e: POP
0000341f: POP
00003420: POP
00003421: JUMP
00003422: JUMPDEST
00003423: PUSH1 0x00
00003425: DUP1
00003426: PUSH1 0x40
00003428: DUP4
00003429: DUP6
0000342a: SUB
0000342b: SLT
0000342c: ISZERO
0000342d: PUSH2 0x3434
00003430: JUMPI
00003431: DUP2
00003432: DUP3
00003433: REVERT
00003434: JUMPDEST
00003435: DUP3
00003436: CALLDATALOAD
00003437: PUSH2 0x343f
0000343a: DUP2
0000343b: PUSH2 0x4771
0000343e: JUMP
0000343f: JUMPDEST
00003440: SWAP5
00003441: PUSH1 0x20
00003443: SWAP4
00003444: SWAP1
00003445: SWAP4
00003446: ADD
00003447: CALLDATALOAD
00003448: SWAP4
00003449: POP
0000344a: POP
0000344b: POP
0000344c: JUMP
0000344d: JUMPDEST
0000344e: PUSH1 0x00
00003450: DUP1
00003451: PUSH1 0x00
00003453: DUP1
00003454: PUSH1 0x00
00003456: DUP1
00003457: PUSH1 0x00
00003459: DUP1
0000345a: PUSH1 0xe0
0000345c: DUP10
0000345d: DUP12
0000345e: SUB
0000345f: SLT
00003460: ISZERO
00003461: PUSH2 0x3468
00003464: JUMPI
00003465: DUP4
00003466: DUP5
00003467: REVERT
00003468: JUMPDEST
00003469: DUP9
0000346a: CALLDATALOAD
0000346b: PUSH2 0x3473
0000346e: DUP2
0000346f: PUSH2 0x4771
00003472: JUMP
00003473: JUMPDEST
00003474: SWAP8
00003475: POP
00003476: PUSH1 0x20
00003478: DUP10
00003479: ADD
0000347a: CALLDATALOAD
0000347b: SWAP7
0000347c: POP
0000347d: PUSH1 0x40
0000347f: DUP10
00003480: ADD
00003481: CALLDATALOAD
00003482: SWAP6
00003483: POP
00003484: PUSH1 0x60
00003486: DUP10
00003487: ADD
00003488: CALLDATALOAD
00003489: SWAP5
0000348a: POP
0000348b: PUSH1 0x80
0000348d: DUP10
0000348e: ADD
0000348f: CALLDATALOAD
00003490: SWAP4
00003491: POP
00003492: PUSH1 0xa0
00003494: DUP10
00003495: ADD
00003496: CALLDATALOAD
00003497: PUSH8 0xffffffffffffffff
000034a0: DUP2
000034a1: GT
000034a2: ISZERO
000034a3: PUSH2 0x34aa
000034a6: JUMPI
000034a7: DUP4
000034a8: DUP5
000034a9: REVERT
000034aa: JUMPDEST
000034ab: PUSH2 0x34b6
000034ae: DUP12
000034af: DUP3
000034b0: DUP13
000034b1: ADD
000034b2: PUSH2 0x3363
000034b5: JUMP
000034b6: JUMPDEST
000034b7: SWAP10
000034b8: SWAP13
000034b9: SWAP9
000034ba: SWAP12
000034bb: POP
000034bc: SWAP7
000034bd: SWAP10
000034be: SWAP6
000034bf: SWAP9
000034c0: SWAP5
000034c1: SWAP8
000034c2: SWAP5
000034c3: SWAP6
000034c4: PUSH1 0xc0
000034c6: ADD
000034c7: CALLDATALOAD
000034c8: SWAP5
000034c9: SWAP4
000034ca: POP
000034cb: POP
000034cc: POP
000034cd: POP
000034ce: JUMP
000034cf: JUMPDEST
000034d0: PUSH1 0x00
000034d2: DUP1
000034d3: PUSH1 0x00
000034d5: DUP1
000034d6: PUSH1 0x80
000034d8: DUP6
000034d9: DUP8
000034da: SUB
000034db: SLT
000034dc: ISZERO
000034dd: PUSH2 0x34e4
000034e0: JUMPI
000034e1: DUP4
000034e2: DUP5
000034e3: REVERT
000034e4: JUMPDEST
000034e5: DUP5
000034e6: CALLDATALOAD
000034e7: PUSH2 0x34ef
000034ea: DUP2
000034eb: PUSH2 0x4771
000034ee: JUMP
000034ef: JUMPDEST
000034f0: SWAP7
000034f1: PUSH1 0x20
000034f3: DUP7
000034f4: ADD
000034f5: CALLDATALOAD
000034f6: SWAP7
000034f7: POP
000034f8: PUSH1 0x40
000034fa: DUP7
000034fb: ADD
000034fc: CALLDATALOAD
000034fd: SWAP6
000034fe: PUSH1 0x60
00003500: ADD
00003501: CALLDATALOAD
00003502: SWAP5
00003503: POP
00003504: SWAP3
00003505: POP
00003506: POP
00003507: POP
00003508: JUMP
00003509: JUMPDEST
0000350a: PUSH1 0x00
0000350c: DUP1
0000350d: PUSH1 0x00
0000350f: DUP1
00003510: PUSH1 0x00
00003512: DUP1
00003513: PUSH1 0x00
00003515: DUP1
00003516: PUSH1 0x00
00003518: DUP1
00003519: PUSH1 0x00
0000351b: DUP1
0000351c: PUSH2 0x0160
0000351f: DUP14
00003520: DUP16
00003521: SUB
00003522: SLT
00003523: ISZERO
00003524: PUSH2 0x352b
00003527: JUMPI
00003528: DUP4
00003529: DUP5
0000352a: REVERT
0000352b: JUMPDEST
0000352c: PUSH2 0x3535
0000352f: DUP14
00003530: CALLDATALOAD
00003531: PUSH2 0x4771
00003534: JUMP
00003535: JUMPDEST
00003536: DUP13
00003537: CALLDATALOAD
00003538: SWAP12
00003539: POP
0000353a: PUSH1 0x20
0000353c: DUP14
0000353d: ADD
0000353e: CALLDATALOAD
0000353f: SWAP11
00003540: POP
00003541: PUSH1 0x40
00003543: DUP14
00003544: ADD
00003545: CALLDATALOAD
00003546: SWAP10
00003547: POP
00003548: PUSH1 0x60
0000354a: DUP14
0000354b: ADD
0000354c: CALLDATALOAD
0000354d: SWAP9
0000354e: POP
0000354f: PUSH1 0x80
00003551: DUP14
00003552: ADD
00003553: CALLDATALOAD
00003554: SWAP8
00003555: POP
00003556: PUSH1 0xa0
00003558: DUP14
00003559: ADD
0000355a: CALLDATALOAD
0000355b: SWAP7
0000355c: POP
0000355d: PUSH1 0xc0
0000355f: DUP14
00003560: ADD
00003561: CALLDATALOAD
00003562: SWAP6
00003563: POP
00003564: PUSH1 0xe0
00003566: DUP14
00003567: ADD
00003568: CALLDATALOAD
00003569: SWAP5
0000356a: POP
0000356b: PUSH2 0x0100
0000356e: DUP14
0000356f: ADD
00003570: CALLDATALOAD
00003571: SWAP4
00003572: POP
00003573: PUSH8 0xffffffffffffffff
0000357c: PUSH2 0x0120
0000357f: DUP15
00003580: ADD
00003581: CALLDATALOAD
00003582: GT
00003583: ISZERO
00003584: PUSH2 0x358b
00003587: JUMPI
00003588: DUP3
00003589: DUP4
0000358a: REVERT
0000358b: JUMPDEST
0000358c: PUSH2 0x359c
0000358f: DUP15
00003590: PUSH2 0x0120
00003593: DUP16
00003594: ADD
00003595: CALLDATALOAD
00003596: DUP16
00003597: ADD
00003598: PUSH2 0x3363
0000359b: JUMP
0000359c: JUMPDEST
0000359d: DUP2
0000359e: SWAP5
0000359f: POP
000035a0: DUP1
000035a1: SWAP4
000035a2: POP
000035a3: POP
000035a4: POP
000035a5: PUSH2 0x0140
000035a8: DUP14
000035a9: ADD
000035aa: CALLDATALOAD
000035ab: SWAP1
000035ac: POP
000035ad: SWAP3
000035ae: SWAP6
000035af: SWAP9
000035b0: SWAP12
000035b1: POP
000035b2: SWAP3
000035b3: SWAP6
000035b4: SWAP9
000035b5: SWAP12
000035b6: POP
000035b7: SWAP3
000035b8: SWAP6
000035b9: SWAP9
000035ba: SWAP12
000035bb: JUMP
000035bc: JUMPDEST
000035bd: PUSH1 0x00
000035bf: PUSH1 0x20
000035c1: DUP3
000035c2: DUP5
000035c3: SUB
000035c4: SLT
000035c5: ISZERO
000035c6: PUSH2 0x35cd
000035c9: JUMPI
000035ca: DUP1
000035cb: DUP2
000035cc: REVERT
000035cd: JUMPDEST
000035ce: POP
000035cf: CALLDATALOAD
000035d0: SWAP2
000035d1: SWAP1
000035d2: POP
000035d3: JUMP
000035d4: JUMPDEST
000035d5: PUSH1 0x00
000035d7: DUP1
000035d8: PUSH1 0x40
000035da: DUP4
000035db: DUP6
000035dc: SUB
000035dd: SLT
000035de: ISZERO
000035df: PUSH2 0x35e6
000035e2: JUMPI
000035e3: DUP2
000035e4: DUP3
000035e5: REVERT
000035e6: JUMPDEST
000035e7: POP
000035e8: POP
000035e9: DUP1
000035ea: CALLDATALOAD
000035eb: SWAP3
000035ec: PUSH1 0x20
000035ee: SWAP1
000035ef: SWAP2
000035f0: ADD
000035f1: CALLDATALOAD
000035f2: SWAP2
000035f3: POP
000035f4: JUMP
000035f5: JUMPDEST
000035f6: PUSH1 0x00
000035f8: DUP1
000035f9: PUSH1 0x00
000035fb: PUSH1 0x60
000035fd: DUP5
000035fe: DUP7
000035ff: SUB
00003600: SLT
00003601: ISZERO
00003602: PUSH2 0x3609
00003605: JUMPI
00003606: DUP3
00003607: DUP4
00003608: REVERT
00003609: JUMPDEST
0000360a: DUP4
0000360b: CALLDATALOAD
0000360c: SWAP3
0000360d: POP
0000360e: PUSH1 0x20
00003610: DUP5
00003611: ADD
00003612: CALLDATALOAD
00003613: SWAP2
00003614: POP
00003615: PUSH1 0x40
00003617: DUP5
00003618: ADD
00003619: CALLDATALOAD
0000361a: PUSH2 0x3622
0000361d: DUP2
0000361e: PUSH2 0x4771
00003621: JUMP
00003622: JUMPDEST
00003623: DUP1
00003624: SWAP2
00003625: POP
00003626: POP
00003627: SWAP3
00003628: POP
00003629: SWAP3
0000362a: POP
0000362b: SWAP3
0000362c: JUMP
0000362d: JUMPDEST
0000362e: PUSH1 0x00
00003630: DUP1
00003631: PUSH1 0x00
00003633: PUSH1 0x60
00003635: DUP5
00003636: DUP7
00003637: SUB
00003638: SLT
00003639: ISZERO
0000363a: PUSH2 0x3641
0000363d: JUMPI
0000363e: DUP1
0000363f: DUP2
00003640: REVERT
00003641: JUMPDEST
00003642: POP
00003643: POP
00003644: DUP2
00003645: CALLDATALOAD
00003646: SWAP4
00003647: PUSH1 0x20
00003649: DUP4
0000364a: ADD
0000364b: CALLDATALOAD
0000364c: SWAP4
0000364d: POP
0000364e: PUSH1 0x40
00003650: SWAP1
00003651: SWAP3
00003652: ADD
00003653: CALLDATALOAD
00003654: SWAP2
00003655: SWAP1
00003656: POP
00003657: JUMP
00003658: JUMPDEST
00003659: PUSH1 0x00
0000365b: DUP1
0000365c: PUSH1 0x40
0000365e: DUP4
0000365f: DUP6
00003660: SUB
00003661: SLT
00003662: ISZERO
00003663: PUSH2 0x366a
00003666: JUMPI
00003667: DUP2
00003668: DUP3
00003669: REVERT
0000366a: JUMPDEST
0000366b: DUP3
0000366c: CALLDATALOAD
0000366d: SWAP2
0000366e: POP
0000366f: PUSH1 0x20
00003671: DUP4
00003672: ADD
00003673: CALLDATALOAD
00003674: PUSH2 0x367c
00003677: DUP2
00003678: PUSH2 0x4771
0000367b: JUMP
0000367c: JUMPDEST
0000367d: DUP1
0000367e: SWAP2
0000367f: POP
00003680: POP
00003681: SWAP3
00003682: POP
00003683: SWAP3
00003684: SWAP1
00003685: POP
00003686: JUMP
00003687: JUMPDEST
00003688: PUSH1 0x00
0000368a: DUP1
0000368b: PUSH1 0x00
0000368d: DUP1
0000368e: PUSH1 0x00
00003690: DUP1
00003691: PUSH1 0x00
00003693: PUSH1 0xe0
00003695: DUP9
00003696: DUP11
00003697: SUB
00003698: SLT
00003699: ISZERO
0000369a: PUSH2 0x36a1
0000369d: JUMPI
0000369e: DUP1
0000369f: DUP2
000036a0: REVERT
000036a1: JUMPDEST
000036a2: DUP8
000036a3: CALLDATALOAD
000036a4: SWAP7
000036a5: POP
000036a6: PUSH1 0x20
000036a8: DUP9
000036a9: ADD
000036aa: CALLDATALOAD
000036ab: PUSH2 0x36b3
000036ae: DUP2
000036af: PUSH2 0x4771
000036b2: JUMP
000036b3: JUMPDEST
000036b4: SWAP7
000036b5: SWAP10
000036b6: SWAP7
000036b7: SWAP9
000036b8: POP
000036b9: POP
000036ba: POP
000036bb: POP
000036bc: PUSH1 0x40
000036be: DUP6
000036bf: ADD
000036c0: CALLDATALOAD
000036c1: SWAP5
000036c2: PUSH1 0x60
000036c4: DUP2
000036c5: ADD
000036c6: CALLDATALOAD
000036c7: SWAP5
000036c8: PUSH1 0x80
000036ca: DUP3
000036cb: ADD
000036cc: CALLDATALOAD
000036cd: SWAP5
000036ce: POP
000036cf: PUSH1 0xa0
000036d1: DUP3
000036d2: ADD
000036d3: CALLDATALOAD
000036d4: SWAP4
000036d5: POP
000036d6: PUSH1 0xc0
000036d8: SWAP1
000036d9: SWAP2
000036da: ADD
000036db: CALLDATALOAD
000036dc: SWAP2
000036dd: POP
000036de: JUMP
000036df: JUMPDEST
000036e0: PUSH1 0x00
000036e2: DUP1
000036e3: PUSH1 0x00
000036e5: DUP1
000036e6: PUSH1 0x00
000036e8: DUP1
000036e9: PUSH1 0x00
000036eb: PUSH1 0xe0
000036ed: DUP9
000036ee: DUP11
000036ef: SUB
000036f0: SLT
000036f1: ISZERO
000036f2: PUSH2 0x36f9
000036f5: JUMPI
000036f6: DUP1
000036f7: DUP2
000036f8: REVERT
000036f9: JUMPDEST
000036fa: DUP8
000036fb: CALLDATALOAD
000036fc: SWAP7
000036fd: POP
000036fe: PUSH1 0x20
00003700: DUP9
00003701: ADD
00003702: CALLDATALOAD
00003703: PUSH2 0x370b
00003706: DUP2
00003707: PUSH2 0x4771
0000370a: JUMP
0000370b: JUMPDEST
0000370c: SWAP6
0000370d: POP
0000370e: PUSH1 0x40
00003710: DUP9
00003711: ADD
00003712: CALLDATALOAD
00003713: SWAP5
00003714: POP
00003715: PUSH1 0x60
00003717: DUP9
00003718: ADD
00003719: CALLDATALOAD
0000371a: SWAP4
0000371b: POP
0000371c: PUSH1 0x80
0000371e: DUP9
0000371f: ADD
00003720: CALLDATALOAD
00003721: SWAP3
00003722: POP
00003723: PUSH1 0xa0
00003725: DUP9
00003726: ADD
00003727: CALLDATALOAD
00003728: PUSH2 0x3730
0000372b: DUP2
0000372c: PUSH2 0x4771
0000372f: JUMP
00003730: JUMPDEST
00003731: DUP1
00003732: SWAP3
00003733: POP
00003734: POP
00003735: PUSH1 0xc0
00003737: DUP9
00003738: ADD
00003739: CALLDATALOAD
0000373a: SWAP1
0000373b: POP
0000373c: SWAP3
0000373d: SWAP6
0000373e: SWAP9
0000373f: SWAP2
00003740: SWAP5
00003741: SWAP8
00003742: POP
00003743: SWAP3
00003744: SWAP6
00003745: POP
00003746: JUMP
00003747: JUMPDEST
00003748: PUSH1 0x00
0000374a: DUP1
0000374b: PUSH1 0x40
0000374d: DUP4
0000374e: DUP6
0000374f: SUB
00003750: SLT
00003751: ISZERO
00003752: PUSH2 0x3759
00003755: JUMPI
00003756: DUP2
00003757: DUP3
00003758: REVERT
00003759: JUMPDEST
0000375a: DUP3
0000375b: CALLDATALOAD
0000375c: SWAP2
0000375d: POP
0000375e: PUSH1 0x20
00003760: DUP4
00003761: ADD
00003762: CALLDATALOAD
00003763: DUP1
00003764: ISZERO
00003765: ISZERO
00003766: DUP2
00003767: EQ
00003768: PUSH2 0x367c
0000376b: JUMPI
0000376c: DUP2
0000376d: DUP3
0000376e: REVERT
0000376f: JUMPDEST
00003770: PUSH1 0x00
00003772: DUP1
00003773: PUSH1 0x00
00003775: DUP1
00003776: PUSH1 0x00
00003778: PUSH1 0xa0
0000377a: DUP7
0000377b: DUP9
0000377c: SUB
0000377d: SLT
0000377e: ISZERO
0000377f: PUSH2 0x3786
00003782: JUMPI
00003783: DUP3
00003784: DUP4
00003785: REVERT
00003786: JUMPDEST
00003787: POP
00003788: POP
00003789: DUP4
0000378a: CALLDATALOAD
0000378b: SWAP6
0000378c: PUSH1 0x20
0000378e: DUP6
0000378f: ADD
00003790: CALLDATALOAD
00003791: SWAP6
00003792: POP
00003793: PUSH1 0x40
00003795: DUP6
00003796: ADD
00003797: CALLDATALOAD
00003798: SWAP5
00003799: PUSH1 0x60
0000379b: DUP2
0000379c: ADD
0000379d: CALLDATALOAD
0000379e: SWAP5
0000379f: POP
000037a0: PUSH1 0x80
000037a2: ADD
000037a3: CALLDATALOAD
000037a4: SWAP3
000037a5: POP
000037a6: SWAP1
000037a7: POP
000037a8: JUMP
000037a9: JUMPDEST
000037aa: PUSH1 0x00
000037ac: DUP2
000037ad: MLOAD
000037ae: DUP1
000037af: DUP5
000037b0: MSTORE
000037b1: PUSH2 0x37c1
000037b4: DUP2
000037b5: PUSH1 0x20
000037b7: DUP7
000037b8: ADD
000037b9: PUSH1 0x20
000037bb: DUP7
000037bc: ADD
000037bd: PUSH2 0x4745
000037c0: JUMP
000037c1: JUMPDEST
000037c2: PUSH1 0x1f
000037c4: ADD
000037c5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000037e6: AND
000037e7: SWAP3
000037e8: SWAP1
000037e9: SWAP3
000037ea: ADD
000037eb: PUSH1 0x20
000037ed: ADD
000037ee: SWAP3
000037ef: SWAP2
000037f0: POP
000037f1: POP
000037f2: JUMP
000037f3: JUMPDEST
000037f4: SWAP2
000037f5: DUP3
000037f6: MSTORE
000037f7: PUSH1 0x20
000037f9: DUP3
000037fa: ADD
000037fb: MSTORE
000037fc: PUSH1 0x40
000037fe: ADD
000037ff: SWAP1
00003800: JUMP
00003801: JUMPDEST
00003802: PUSH1 0x00
00003804: DUP3
00003805: MLOAD
00003806: PUSH2 0x3813
00003809: DUP2
0000380a: DUP5
0000380b: PUSH1 0x20
0000380d: DUP8
0000380e: ADD
0000380f: PUSH2 0x4745
00003812: JUMP
00003813: JUMPDEST
00003814: SWAP2
00003815: SWAP1
00003816: SWAP2
00003817: ADD
00003818: SWAP3
00003819: SWAP2
0000381a: POP
0000381b: POP
0000381c: JUMP
0000381d: JUMPDEST
0000381e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003833: SWAP2
00003834: SWAP1
00003835: SWAP2
00003836: AND
00003837: DUP2
00003838: MSTORE
00003839: PUSH1 0x20
0000383b: ADD
0000383c: SWAP1
0000383d: JUMP
0000383e: JUMPDEST
0000383f: PUSH1 0x00
00003841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003856: DUP6
00003857: AND
00003858: DUP3
00003859: MSTORE
0000385a: PUSH1 0x40
0000385c: PUSH1 0x20
0000385e: DUP4
0000385f: ADD
00003860: MSTORE
00003861: DUP3
00003862: PUSH1 0x40
00003864: DUP4
00003865: ADD
00003866: MSTORE
00003867: DUP3
00003868: DUP5
00003869: PUSH1 0x60
0000386b: DUP5
0000386c: ADD
0000386d: CALLDATACOPY
0000386e: DUP2
0000386f: DUP4
00003870: ADD
00003871: PUSH1 0x60
00003873: SWAP1
00003874: DUP2
00003875: ADD
00003876: SWAP2
00003877: SWAP1
00003878: SWAP2
00003879: MSTORE
0000387a: PUSH1 0x1f
0000387c: SWAP1
0000387d: SWAP3
0000387e: ADD
0000387f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000038a0: AND
000038a1: ADD
000038a2: ADD
000038a3: SWAP3
000038a4: SWAP2
000038a5: POP
000038a6: POP
000038a7: JUMP
000038a8: JUMPDEST
000038a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038be: SWAP7
000038bf: DUP8
000038c0: AND
000038c1: DUP2
000038c2: MSTORE
000038c3: PUSH1 0x20
000038c5: DUP2
000038c6: ADD
000038c7: SWAP6
000038c8: SWAP1
000038c9: SWAP6
000038ca: MSTORE
000038cb: PUSH1 0x40
000038cd: DUP6
000038ce: ADD
000038cf: SWAP4
000038d0: SWAP1
000038d1: SWAP4
000038d2: MSTORE
000038d3: PUSH1 0x60
000038d5: DUP5
000038d6: ADD
000038d7: SWAP2
000038d8: SWAP1
000038d9: SWAP2
000038da: MSTORE
000038db: SWAP1
000038dc: SWAP3
000038dd: AND
000038de: PUSH1 0x80
000038e0: DUP3
000038e1: ADD
000038e2: MSTORE
000038e3: SWAP1
000038e4: ISZERO
000038e5: ISZERO
000038e6: PUSH1 0xa0
000038e8: DUP3
000038e9: ADD
000038ea: MSTORE
000038eb: PUSH1 0xc0
000038ed: ADD
000038ee: SWAP1
000038ef: JUMP
000038f0: JUMPDEST
000038f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003906: SWAP7
00003907: DUP8
00003908: AND
00003909: DUP2
0000390a: MSTORE
0000390b: PUSH1 0x20
0000390d: DUP2
0000390e: ADD
0000390f: SWAP6
00003910: SWAP1
00003911: SWAP6
00003912: MSTORE
00003913: PUSH1 0x40
00003915: DUP6
00003916: ADD
00003917: SWAP4
00003918: SWAP1
00003919: SWAP4
0000391a: MSTORE
0000391b: PUSH1 0x60
0000391d: DUP5
0000391e: ADD
0000391f: SWAP2
00003920: SWAP1
00003921: SWAP2
00003922: MSTORE
00003923: SWAP1
00003924: SWAP3
00003925: AND
00003926: PUSH1 0x80
00003928: DUP3
00003929: ADD
0000392a: MSTORE
0000392b: PUSH1 0xa0
0000392d: DUP2
0000392e: ADD
0000392f: SWAP2
00003930: SWAP1
00003931: SWAP2
00003932: MSTORE
00003933: PUSH1 0xc0
00003935: ADD
00003936: SWAP1
00003937: JUMP
00003938: JUMPDEST
00003939: SWAP1
0000393a: ISZERO
0000393b: ISZERO
0000393c: DUP2
0000393d: MSTORE
0000393e: PUSH1 0x20
00003940: ADD
00003941: SWAP1
00003942: JUMP
00003943: JUMPDEST
00003944: SWAP1
00003945: DUP2
00003946: MSTORE
00003947: PUSH1 0x20
00003949: ADD
0000394a: SWAP1
0000394b: JUMP
0000394c: JUMPDEST
0000394d: PUSH1 0x00
0000394f: PUSH1 0x20
00003951: DUP3
00003952: MSTORE
00003953: PUSH2 0x26ee
00003956: PUSH1 0x20
00003958: DUP4
00003959: ADD
0000395a: DUP5
0000395b: PUSH2 0x37a9
0000395e: JUMP
0000395f: JUMPDEST
00003960: PUSH1 0x20
00003962: DUP1
00003963: DUP3
00003964: MSTORE
00003965: PUSH1 0x27
00003967: SWAP1
00003968: DUP3
00003969: ADD
0000396a: MSTORE
0000396b: PUSH32 0x4c315f4252473a204d757374207472616e736665722061206e6f6e2d7a65726f
0000398c: PUSH1 0x40
0000398e: DUP3
0000398f: ADD
00003990: MSTORE
00003991: PUSH32 0x20616d6f756e7400000000000000000000000000000000000000000000000000
000039b2: PUSH1 0x60
000039b4: DUP3
000039b5: ADD
000039b6: MSTORE
000039b7: PUSH1 0x80
000039b9: ADD
000039ba: SWAP1
000039bb: JUMP
000039bc: JUMPDEST
000039bd: PUSH1 0x20
000039bf: DUP1
000039c0: DUP3
000039c1: MSTORE
000039c2: PUSH1 0x1f
000039c4: SWAP1
000039c5: DUP3
000039c6: ADD
000039c7: MSTORE
000039c8: PUSH32 0x4c315f4554485f4252473a20455448207472616e73666572206661696c656400
000039e9: PUSH1 0x40
000039eb: DUP3
000039ec: ADD
000039ed: MSTORE
000039ee: PUSH1 0x60
000039f0: ADD
000039f1: SWAP1
000039f2: JUMP
000039f3: JUMPDEST
000039f4: PUSH1 0x20
000039f6: DUP1
000039f7: DUP3
000039f8: MSTORE
000039f9: PUSH1 0x3b
000039fb: SWAP1
000039fc: DUP3
000039fd: ADD
000039fe: MSTORE
000039ff: PUSH32 0x4c315f4252473a206368616c6c656e6765506572696f64206d75737420626520
00003a20: PUSH1 0x40
00003a22: DUP3
00003a23: ADD
00003a24: MSTORE
00003a25: PUSH32 0x646976697369626c652062792054494d455f534c4f545f53495a450000000000
00003a46: PUSH1 0x60
00003a48: DUP3
00003a49: ADD
00003a4a: MSTORE
00003a4b: PUSH1 0x80
00003a4d: ADD
00003a4e: SWAP1
00003a4f: JUMP
00003a50: JUMPDEST
00003a51: PUSH1 0x20
00003a53: DUP1
00003a54: DUP3
00003a55: MSTORE
00003a56: PUSH1 0x1f
00003a58: SWAP1
00003a59: DUP3
00003a5a: ADD
00003a5b: MSTORE
00003a5c: PUSH32 0x4c315f4252473a2043616c6c6572206973206e6f7420746865206f776e657200
00003a7d: PUSH1 0x40
00003a7f: DUP3
00003a80: ADD
00003a81: MSTORE
00003a82: PUSH1 0x60
00003a84: ADD
00003a85: SWAP1
00003a86: JUMP
00003a87: JUMPDEST
00003a88: PUSH1 0x20
00003a8a: DUP1
00003a8b: DUP3
00003a8c: MSTORE
00003a8d: PUSH1 0x28
00003a8f: SWAP1
00003a90: DUP3
00003a91: ADD
00003a92: MSTORE
00003a93: PUSH32 0x4c315f4252473a205472616e73666572526f6f7420686173206e6f7420626565
00003ab4: PUSH1 0x40
00003ab6: DUP3
00003ab7: ADD
00003ab8: MSTORE
00003ab9: PUSH32 0x6e20626f6e646564000000000000000000000000000000000000000000000000
00003ada: PUSH1 0x60
00003adc: DUP3
00003add: ADD
00003ade: MSTORE
00003adf: PUSH1 0x80
00003ae1: ADD
00003ae2: SWAP1
00003ae3: JUMP
00003ae4: JUMPDEST
00003ae5: PUSH1 0x20
00003ae7: DUP1
00003ae8: DUP3
00003ae9: MSTORE
00003aea: PUSH1 0x1e
00003aec: SWAP1
00003aed: DUP3
00003aee: ADD
00003aef: MSTORE
00003af0: PUSH32 0x4c325f4252473a207472616e73666572496420686173206e6f20626f6e640000
00003b11: PUSH1 0x40
00003b13: DUP3
00003b14: ADD
00003b15: MSTORE
00003b16: PUSH1 0x60
00003b18: ADD
00003b19: SWAP1
00003b1a: JUMP
00003b1b: JUMPDEST
00003b1c: PUSH1 0x20
00003b1e: DUP1
00003b1f: DUP3
00003b20: MSTORE
00003b21: PUSH1 0x1c
00003b23: SWAP1
00003b24: DUP3
00003b25: ADD
00003b26: MSTORE
00003b27: PUSH32 0x4252473a205472616e7366657220726f6f74206e6f7420666f756e6400000000
00003b48: PUSH1 0x40
00003b4a: DUP3
00003b4b: ADD
00003b4c: MSTORE
00003b4d: PUSH1 0x60
00003b4f: ADD
00003b50: SWAP1
00003b51: JUMP
00003b52: JUMPDEST
00003b53: PUSH1 0x20
00003b55: DUP1
00003b56: DUP3
00003b57: MSTORE
00003b58: PUSH1 0x1e
00003b5a: SWAP1
00003b5b: DUP3
00003b5c: ADD
00003b5d: MSTORE
00003b5e: PUSH32 0x4143543a204164647265737320697320616c726561647920626f6e6465720000
00003b7f: PUSH1 0x40
00003b81: DUP3
00003b82: ADD
00003b83: MSTORE
00003b84: PUSH1 0x60
00003b86: ADD
00003b87: SWAP1
00003b88: JUMP
00003b89: JUMPDEST
00003b8a: PUSH1 0x20
00003b8c: DUP1
00003b8d: DUP3
00003b8e: MSTORE
00003b8f: PUSH1 0x1b
00003b91: SWAP1
00003b92: DUP3
00003b93: ADD
00003b94: MSTORE
00003b95: PUSH32 0x4252473a205472616e73666572526f6f74206e6f7420666f756e640000000000
00003bb6: PUSH1 0x40
00003bb8: DUP3
00003bb9: ADD
00003bba: MSTORE
00003bbb: PUSH1 0x60
00003bbd: ADD
00003bbe: SWAP1
00003bbf: JUMP
00003bc0: JUMPDEST
00003bc1: PUSH1 0x20
00003bc3: DUP1
00003bc4: DUP3
00003bc5: MSTORE
00003bc6: PUSH1 0x1b
00003bc8: SWAP1
00003bc9: DUP3
00003bca: ADD
00003bcb: MSTORE
00003bcc: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003bed: PUSH1 0x40
00003bef: DUP3
00003bf0: ADD
00003bf1: MSTORE
00003bf2: PUSH1 0x60
00003bf4: ADD
00003bf5: SWAP1
00003bf6: JUMP
00003bf7: JUMPDEST
00003bf8: PUSH1 0x20
00003bfa: DUP1
00003bfb: DUP3
00003bfc: MSTORE
00003bfd: PUSH1 0x25
00003bff: SWAP1
00003c00: DUP3
00003c01: ADD
00003c02: MSTORE
00003c03: PUSH32 0x4c315f4252473a205472616e73666572526f6f7420616c726561647920726573
00003c24: PUSH1 0x40
00003c26: DUP3
00003c27: ADD
00003c28: MSTORE
00003c29: PUSH32 0x6f6c766564000000000000000000000000000000000000000000000000000000
00003c4a: PUSH1 0x60
00003c4c: DUP3
00003c4d: ADD
00003c4e: MSTORE
00003c4f: PUSH1 0x80
00003c51: ADD
00003c52: SWAP1
00003c53: JUMP
00003c54: JUMPDEST
00003c55: PUSH1 0x20
00003c57: DUP1
00003c58: DUP3
00003c59: MSTORE
00003c5a: PUSH1 0x27
00003c5c: SWAP1
00003c5d: DUP3
00003c5e: ADD
00003c5f: MSTORE
00003c60: PUSH32 0x4c315f4252473a205472616e73666572526f6f7420616c726561647920636861
00003c81: PUSH1 0x40
00003c83: DUP3
00003c84: ADD
00003c85: MSTORE
00003c86: PUSH32 0x6c6c656e67656400000000000000000000000000000000000000000000000000
00003ca7: PUSH1 0x60
00003ca9: DUP3
00003caa: ADD
00003cab: MSTORE
00003cac: PUSH1 0x80
00003cae: ADD
00003caf: SWAP1
00003cb0: JUMP
00003cb1: JUMPDEST
00003cb2: PUSH1 0x20
00003cb4: DUP1
00003cb5: DUP3
00003cb6: MSTORE
00003cb7: PUSH1 0x3b
00003cb9: SWAP1
00003cba: DUP3
00003cbb: ADD
00003cbc: MSTORE
00003cbd: PUSH32 0x4252473a205472616e73666572526f6f742063616e6e6f742062652072657363
00003cde: PUSH1 0x40
00003ce0: DUP3
00003ce1: ADD
00003ce2: MSTORE
00003ce3: PUSH32 0x756564206265666f726520746865205265736375652044656c61790000000000
00003d04: PUSH1 0x60
00003d06: DUP3
00003d07: ADD
00003d08: MSTORE
00003d09: PUSH1 0x80
00003d0b: ADD
00003d0c: SWAP1
00003d0d: JUMP
00003d0e: JUMPDEST
00003d0f: PUSH1 0x20
00003d11: DUP1
00003d12: DUP3
00003d13: MSTORE
00003d14: PUSH1 0x1a
00003d16: SWAP1
00003d17: DUP3
00003d18: ADD
00003d19: MSTORE
00003d1a: PUSH32 0x4143543a2041646472657373206973206e6f7420626f6e646572000000000000
00003d3b: PUSH1 0x40
00003d3d: DUP3
00003d3e: ADD
00003d3f: MSTORE
00003d40: PUSH1 0x60
00003d42: ADD
00003d43: SWAP1
00003d44: JUMP
00003d45: JUMPDEST
00003d46: PUSH1 0x20
00003d48: DUP1
00003d49: DUP3
00003d4a: MSTORE
00003d4b: PUSH1 0x28
00003d4d: SWAP1
00003d4e: DUP3
00003d4f: ADD
00003d50: MSTORE
00003d51: PUSH32 0x4c315f4252473a2053656e647320746f207468697320636861696e4964206172
00003d72: PUSH1 0x40
00003d74: DUP3
00003d75: ADD
00003d76: MSTORE
00003d77: PUSH32 0x6520706175736564000000000000000000000000000000000000000000000000
00003d98: PUSH1 0x60
00003d9a: DUP3
00003d9b: ADD
00003d9c: MSTORE
00003d9d: PUSH1 0x80
00003d9f: ADD
00003da0: SWAP1
00003da1: JUMP
00003da2: JUMPDEST
00003da3: PUSH1 0x20
00003da5: DUP1
00003da6: DUP3
00003da7: MSTORE
00003da8: PUSH1 0x1e
00003daa: SWAP1
00003dab: DUP3
00003dac: ADD
00003dad: MSTORE
00003dae: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00003dcf: PUSH1 0x40
00003dd1: DUP3
00003dd2: ADD
00003dd3: MSTORE
00003dd4: PUSH1 0x60
00003dd6: ADD
00003dd7: SWAP1
00003dd8: JUMP
00003dd9: JUMPDEST
00003dda: PUSH1 0x20
00003ddc: DUP1
00003ddd: DUP3
00003dde: MSTORE
00003ddf: PUSH1 0x2e
00003de1: SWAP1
00003de2: DUP3
00003de3: ADD
00003de4: MSTORE
00003de5: PUSH32 0x4c315f4252473a20726f6f74436f6d6d69747465644174206d75737420626520
00003e06: PUSH1 0x40
00003e08: DUP3
00003e09: ADD
00003e0a: MSTORE
00003e0b: PUSH32 0x67726561746572207468616e2030000000000000000000000000000000000000
00003e2c: PUSH1 0x60
00003e2e: DUP3
00003e2f: ADD
00003e30: MSTORE
00003e31: PUSH1 0x80
00003e33: ADD
00003e34: SWAP1
00003e35: JUMP
00003e36: JUMPDEST
00003e37: PUSH1 0x20
00003e39: DUP1
00003e3a: DUP3
00003e3b: MSTORE
00003e3c: PUSH1 0x1a
00003e3e: SWAP1
00003e3f: DUP3
00003e40: ADD
00003e41: MSTORE
00003e42: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00003e63: PUSH1 0x40
00003e65: DUP3
00003e66: ADD
00003e67: MSTORE
00003e68: PUSH1 0x60
00003e6a: ADD
00003e6b: SWAP1
00003e6c: JUMP
00003e6d: JUMPDEST
00003e6e: PUSH1 0x20
00003e70: DUP1
00003e71: DUP3
00003e72: MSTORE
00003e73: PUSH1 0x2c
00003e75: SWAP1
00003e76: DUP3
00003e77: ADD
00003e78: MSTORE
00003e79: PUSH32 0x4252473a20546865207472616e736665722068617320616c7265616479206265
00003e9a: PUSH1 0x40
00003e9c: DUP3
00003e9d: ADD
00003e9e: MSTORE
00003e9f: PUSH32 0x656e2077697468647261776e0000000000000000000000000000000000000000
00003ec0: PUSH1 0x60
00003ec2: DUP3
00003ec3: ADD
00003ec4: MSTORE
00003ec5: PUSH1 0x80
00003ec7: ADD
00003ec8: SWAP1
00003ec9: JUMP
00003eca: JUMPDEST
00003ecb: PUSH1 0x20
00003ecd: DUP1
00003ece: DUP3
00003ecf: MSTORE
00003ed0: PUSH1 0x27
00003ed2: SWAP1
00003ed3: DUP3
00003ed4: ADD
00003ed5: MSTORE
00003ed6: PUSH32 0x4c315f4554485f4252473a2056616c756520646f6573206e6f74206d61746368
00003ef7: PUSH1 0x40
00003ef9: DUP3
00003efa: ADD
00003efb: MSTORE
00003efc: PUSH32 0x20616d6f756e7400000000000000000000000000000000000000000000000000
00003f1d: PUSH1 0x60
00003f1f: DUP3
00003f20: ADD
00003f21: MSTORE
00003f22: PUSH1 0x80
00003f24: ADD
00003f25: SWAP1
00003f26: JUMP
00003f27: JUMPDEST
00003f28: PUSH1 0x20
00003f2a: DUP1
00003f2b: DUP3
00003f2c: MSTORE
00003f2d: PUSH1 0x24
00003f2f: SWAP1
00003f30: DUP3
00003f31: ADD
00003f32: MSTORE
00003f33: PUSH32 0x4c69625f4d65726b6c65547265653a20496e646578206f7574206f6620626f75
00003f54: PUSH1 0x40
00003f56: DUP3
00003f57: ADD
00003f58: MSTORE
00003f59: PUSH32 0x6e64732e00000000000000000000000000000000000000000000000000000000
00003f7a: PUSH1 0x60
00003f7c: DUP3
00003f7d: ADD
00003f7e: MSTORE
00003f7f: PUSH1 0x80
00003f81: ADD
00003f82: SWAP1
00003f83: JUMP
00003f84: JUMPDEST
00003f85: PUSH1 0x20
00003f87: DUP1
00003f88: DUP3
00003f89: MSTORE
00003f8a: PUSH1 0x1d
00003f8c: SWAP1
00003f8d: DUP3
00003f8e: ADD
00003f8f: MSTORE
00003f90: PUSH32 0x4c315f4252473a20636861696e4964206e6f7420737570706f72746564000000
00003fb1: PUSH1 0x40
00003fb3: DUP3
00003fb4: ADD
00003fb5: MSTORE
00003fb6: PUSH1 0x60
00003fb8: ADD
00003fb9: SWAP1
00003fba: JUMP
00003fbb: JUMPDEST
00003fbc: PUSH1 0x20
00003fbe: DUP1
00003fbf: DUP3
00003fc0: MSTORE
00003fc1: PUSH1 0x30
00003fc3: SWAP1
00003fc4: DUP3
00003fc5: ADD
00003fc6: MSTORE
00003fc7: PUSH32 0x4c69625f4d65726b6c65547265653a2043616e6e6f7420636f6d707574652063
00003fe8: PUSH1 0x40
00003fea: DUP3
00003feb: ADD
00003fec: MSTORE
00003fed: PUSH32 0x65696c286c6f675f3229206f6620302e00000000000000000000000000000000
0000400e: PUSH1 0x60
00004010: DUP3
00004011: ADD
00004012: MSTORE
00004013: PUSH1 0x80
00004015: ADD
00004016: SWAP1
00004017: JUMP
00004018: JUMPDEST
00004019: PUSH1 0x20
0000401b: DUP1
0000401c: DUP3
0000401d: MSTORE
0000401e: PUSH1 0x1e
00004020: SWAP1
00004021: DUP3
00004022: ADD
00004023: MSTORE
00004024: PUSH32 0x4252473a205472616e7366657220726f6f7420616c7265616479207365740000
00004045: PUSH1 0x40
00004047: DUP3
00004048: ADD
00004049: MSTORE
0000404a: PUSH1 0x60
0000404c: ADD
0000404d: SWAP1
0000404e: JUMP
0000404f: JUMPDEST
00004050: PUSH1 0x20
00004052: DUP1
00004053: DUP3
00004054: MSTORE
00004055: PUSH1 0x26
00004057: SWAP1
00004058: DUP3
00004059: ADD
0000405a: MSTORE
0000405b: PUSH32 0x4c315f4252473a205472616e73666572526f6f7420616c726561647920636f6e
0000407c: PUSH1 0x40
0000407e: DUP3
0000407f: ADD
00004080: MSTORE
00004081: PUSH32 0x6669726d65640000000000000000000000000000000000000000000000000000
000040a2: PUSH1 0x60
000040a4: DUP3
000040a5: ADD
000040a6: MSTORE
000040a7: PUSH1 0x80
000040a9: ADD
000040aa: SWAP1
000040ab: JUMP
000040ac: JUMPDEST
000040ad: PUSH1 0x20
000040af: DUP1
000040b0: DUP3
000040b1: MSTORE
000040b2: PUSH1 0x21
000040b4: SWAP1
000040b5: DUP3
000040b6: ADD
000040b7: MSTORE
000040b8: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
000040d9: PUSH1 0x40
000040db: DUP3
000040dc: ADD
000040dd: MSTORE
000040de: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
000040ff: PUSH1 0x60
00004101: DUP3
00004102: ADD
00004103: MSTORE
00004104: PUSH1 0x80
00004106: ADD
00004107: SWAP1
00004108: JUMP
00004109: JUMPDEST
0000410a: PUSH1 0x20
0000410c: DUP1
0000410d: DUP3
0000410e: MSTORE
0000410f: PUSH1 0x2f
00004111: SWAP1
00004112: DUP3
00004113: ADD
00004114: MSTORE
00004115: PUSH32 0x4c315f4252473a205472616e73666572526f6f742068617320616c7265616479
00004136: PUSH1 0x40
00004138: DUP3
00004139: ADD
0000413a: MSTORE
0000413b: PUSH32 0x206265656e20636f6e6669726d65640000000000000000000000000000000000
0000415c: PUSH1 0x60
0000415e: DUP3
0000415f: ADD
00004160: MSTORE
00004161: PUSH1 0x80
00004163: ADD
00004164: SWAP1
00004165: JUMP
00004166: JUMPDEST
00004167: PUSH1 0x20
00004169: DUP1
0000416a: DUP3
0000416b: MSTORE
0000416c: PUSH1 0x37
0000416e: SWAP1
0000416f: DUP3
00004170: ADD
00004171: MSTORE
00004172: PUSH32 0x4c69625f4d65726b6c65547265653a20546f74616c206c6561766573206d7573
00004193: PUSH1 0x40
00004195: DUP3
00004196: ADD
00004197: MSTORE
00004198: PUSH32 0x742062652067726561746572207468616e207a65726f2e000000000000000000
000041b9: PUSH1 0x60
000041bb: DUP3
000041bc: ADD
000041bd: MSTORE
000041be: PUSH1 0x80
000041c0: ADD
000041c1: SWAP1
000041c2: JUMP
000041c3: JUMPDEST
000041c4: PUSH1 0x20
000041c6: DUP1
000041c7: DUP3
000041c8: MSTORE
000041c9: DUP2
000041ca: DUP2
000041cb: ADD
000041cc: MSTORE
000041cd: PUSH32 0x4143543a204e6f7420656e6f75676820617661696c61626c6520637265646974
000041ee: PUSH1 0x40
000041f0: DUP3
000041f1: ADD
000041f2: MSTORE
000041f3: PUSH1 0x60
000041f5: ADD
000041f6: SWAP1
000041f7: JUMP
000041f8: JUMPDEST
000041f9: PUSH1 0x20
000041fb: DUP1
000041fc: DUP3
000041fd: MSTORE
000041fe: PUSH1 0x2d
00004200: SWAP1
00004201: DUP3
00004202: ADD
00004203: MSTORE
00004204: PUSH32 0x4252473a2043616e6e6f7420736574205472616e73666572526f6f7420746f74
00004225: PUSH1 0x40
00004227: DUP3
00004228: ADD
00004229: MSTORE
0000422a: PUSH32 0x616c416d6f756e74206f66203000000000000000000000000000000000000000
0000424b: PUSH1 0x60
0000424d: DUP3
0000424e: ADD
0000424f: MSTORE
00004250: PUSH1 0x80
00004252: ADD
00004253: SWAP1
00004254: JUMP
00004255: JUMPDEST
00004256: PUSH1 0x20
00004258: DUP1
00004259: DUP3
0000425a: MSTORE
0000425b: PUSH1 0x19
0000425d: SWAP1
0000425e: DUP3
0000425f: ADD
00004260: MSTORE
00004261: PUSH32 0x4143543a2043616c6c6572206973206e6f7420626f6e64657200000000000000
00004282: PUSH1 0x40
00004284: DUP3
00004285: ADD
00004286: MSTORE
00004287: PUSH1 0x60
00004289: ADD
0000428a: SWAP1
0000428b: JUMP
0000428c: JUMPDEST
0000428d: PUSH1 0x20
0000428f: DUP1
00004290: DUP3
00004291: MSTORE
00004292: PUSH1 0x1b
00004294: SWAP1
00004295: DUP3
00004296: ADD
00004297: MSTORE
00004298: PUSH32 0x4252473a20496e76616c6964207472616e736665722070726f6f660000000000
000042b9: PUSH1 0x40
000042bb: DUP3
000042bc: ADD
000042bd: MSTORE
000042be: PUSH1 0x60
000042c0: ADD
000042c1: SWAP1
000042c2: JUMP
000042c3: JUMPDEST
000042c4: PUSH1 0x20
000042c6: DUP1
000042c7: DUP3
000042c8: MSTORE
000042c9: PUSH1 0x40
000042cb: SWAP1
000042cc: DUP3
000042cd: ADD
000042ce: DUP2
000042cf: SWAP1
000042d0: MSTORE
000042d1: PUSH32 0x4c315f4252473a205472616e73666572526f6f742063616e6e6f742062652063
000042f2: SWAP1
000042f3: DUP3
000042f4: ADD
000042f5: MSTORE
000042f6: PUSH32 0x68616c6c656e676564206166746572206368616c6c656e676520706572696f64
00004317: PUSH1 0x60
00004319: DUP3
0000431a: ADD
0000431b: MSTORE
0000431c: PUSH1 0x80
0000431e: ADD
0000431f: SWAP1
00004320: JUMP
00004321: JUMPDEST
00004322: PUSH1 0x20
00004324: DUP1
00004325: DUP3
00004326: MSTORE
00004327: PUSH1 0x26
00004329: SWAP1
0000432a: DUP3
0000432b: ADD
0000432c: MSTORE
0000432d: PUSH32 0x4c315f4252473a204368616c6c656e676520706572696f6420686173206e6f74
0000434e: PUSH1 0x40
00004350: DUP3
00004351: ADD
00004352: MSTORE
00004353: PUSH32 0x20656e6465640000000000000000000000000000000000000000000000000000
00004374: PUSH1 0x60
00004376: DUP3
00004377: ADD
00004378: MSTORE
00004379: PUSH1 0x80
0000437b: ADD
0000437c: SWAP1
0000437d: JUMP
0000437e: JUMPDEST
0000437f: PUSH1 0x20
00004381: DUP1
00004382: DUP3
00004383: MSTORE
00004384: PUSH1 0x4d
00004386: SWAP1
00004387: DUP3
00004388: ADD
00004389: MSTORE
0000438a: PUSH32 0x4c69625f4d65726b6c65547265653a20546f74616c207369626c696e67732064
000043ab: PUSH1 0x40
000043ad: DUP3
000043ae: ADD
000043af: MSTORE
000043b0: PUSH32 0x6f6573206e6f7420636f72726563746c7920636f72726573706f6e6420746f20
000043d1: PUSH1 0x60
000043d3: DUP3
000043d4: ADD
000043d5: MSTORE
000043d6: PUSH32 0x746f74616c206c65617665732e00000000000000000000000000000000000000
000043f7: PUSH1 0x80
000043f9: DUP3
000043fa: ADD
000043fb: MSTORE
000043fc: PUSH1 0xa0
000043fe: ADD
000043ff: SWAP1
00004400: JUMP
00004401: JUMPDEST
00004402: PUSH1 0x20
00004404: DUP1
00004405: DUP3
00004406: MSTORE
00004407: PUSH1 0x27
00004409: SWAP1
0000440a: DUP3
0000440b: ADD
0000440c: MSTORE
0000440d: PUSH32 0x4252473a205769746864726177616c2068617320616c7265616479206265656e
0000442e: PUSH1 0x40
00004430: DUP3
00004431: ADD
00004432: MSTORE
00004433: PUSH32 0x20626f6e64656400000000000000000000000000000000000000000000000000
00004454: PUSH1 0x60
00004456: DUP3
00004457: ADD
00004458: MSTORE
00004459: PUSH1 0x80
0000445b: ADD
0000445c: SWAP1
0000445d: JUMP
0000445e: JUMPDEST
0000445f: PUSH1 0x20
00004461: DUP1
00004462: DUP3
00004463: MSTORE
00004464: PUSH1 0x2c
00004466: SWAP1
00004467: DUP3
00004468: ADD
00004469: MSTORE
0000446a: PUSH32 0x4c315f4252473a205472616e73666572526f6f7420686173206e6f7420626565
0000448b: PUSH1 0x40
0000448d: DUP3
0000448e: ADD
0000448f: MSTORE
00004490: PUSH32 0x6e206368616c6c656e6765640000000000000000000000000000000000000000
000044b1: PUSH1 0x60
000044b3: DUP3
000044b4: ADD
000044b5: MSTORE
000044b6: PUSH1 0x80
000044b8: ADD
000044b9: SWAP1
000044ba: JUMP
000044bb: JUMPDEST
000044bc: PUSH1 0x20
000044be: DUP1
000044bf: DUP3
000044c0: MSTORE
000044c1: PUSH1 0x2a
000044c3: SWAP1
000044c4: DUP3
000044c5: ADD
000044c6: MSTORE
000044c7: PUSH32 0x4252473a205769746864726177616c2065786365656473205472616e73666572
000044e8: PUSH1 0x40
000044ea: DUP3
000044eb: ADD
000044ec: MSTORE
000044ed: PUSH32 0x526f6f7420746f74616c00000000000000000000000000000000000000000000
0000450e: PUSH1 0x60
00004510: DUP3
00004511: ADD
00004512: MSTORE
00004513: PUSH1 0x80
00004515: ADD
00004516: SWAP1
00004517: JUMP
00004518: JUMPDEST
00004519: PUSH1 0x20
0000451b: DUP1
0000451c: DUP3
0000451d: MSTORE
0000451e: PUSH1 0x1f
00004520: SWAP1
00004521: DUP3
00004522: ADD
00004523: MSTORE
00004524: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00004545: PUSH1 0x40
00004547: DUP3
00004548: ADD
00004549: MSTORE
0000454a: PUSH1 0x60
0000454c: ADD
0000454d: SWAP1
0000454e: JUMP
0000454f: JUMPDEST
00004550: PUSH1 0x20
00004552: DUP1
00004553: DUP3
00004554: MSTORE
00004555: PUSH1 0x2b
00004557: SWAP1
00004558: DUP3
00004559: ADD
0000455a: MSTORE
0000455b: PUSH32 0x4c315f4252473a205f6e6577476f7665726e616e63652063616e6e6f74206265
0000457c: PUSH1 0x40
0000457e: DUP3
0000457f: ADD
00004580: MSTORE
00004581: PUSH32 0x2061646472657373283029000000000000000000000000000000000000000000
000045a2: PUSH1 0x60
000045a4: DUP3
000045a5: ADD
000045a6: MSTORE
000045a7: PUSH1 0x80
000045a9: ADD
000045aa: SWAP1
000045ab: JUMP
000045ac: JUMPDEST
000045ad: PUSH1 0x20
000045af: DUP1
000045b0: DUP3
000045b1: MSTORE
000045b2: PUSH1 0x34
000045b4: SWAP1
000045b5: DUP3
000045b6: ADD
000045b7: MSTORE
000045b8: PUSH32 0x4c69625f4d65726b6c65547265653a204d7573742070726f7669646520617420
000045d9: PUSH1 0x40
000045db: DUP3
000045dc: ADD
000045dd: MSTORE
000045de: PUSH32 0x6c65617374206f6e65206c65616620686173682e000000000000000000000000
000045ff: PUSH1 0x60
00004601: DUP3
00004602: ADD
00004603: MSTORE
00004604: PUSH1 0x80
00004606: ADD
00004607: SWAP1
00004608: JUMP
00004609: JUMPDEST
0000460a: PUSH1 0x20
0000460c: DUP1
0000460d: DUP3
0000460e: MSTORE
0000460f: PUSH1 0x2c
00004611: SWAP1
00004612: DUP3
00004613: ADD
00004614: MSTORE
00004615: PUSH32 0x4c315f4252473a205472616e73666572526f6f742068617320616c7265616479
00004636: PUSH1 0x40
00004638: DUP3
00004639: ADD
0000463a: MSTORE
0000463b: PUSH32 0x206265656e20626f6e6465640000000000000000000000000000000000000000
0000465c: PUSH1 0x60
0000465e: DUP3
0000465f: ADD
00004660: MSTORE
00004661: PUSH1 0x80
00004663: ADD
00004664: SWAP1
00004665: JUMP
00004666: JUMPDEST
00004667: PUSH1 0x20
00004669: DUP1
0000466a: DUP3
0000466b: MSTORE
0000466c: PUSH1 0x28
0000466e: SWAP1
0000466f: DUP3
00004670: ADD
00004671: MSTORE
00004672: PUSH32 0x4c315f4252473a2052656c61796572206665652063616e6e6f74206578636565
00004693: PUSH1 0x40
00004695: DUP3
00004696: ADD
00004697: MSTORE
00004698: PUSH32 0x6420616d6f756e74000000000000000000000000000000000000000000000000
000046b9: PUSH1 0x60
000046bb: DUP3
000046bc: ADD
000046bd: MSTORE
000046be: PUSH1 0x80
000046c0: ADD
000046c1: SWAP1
000046c2: JUMP
000046c3: JUMPDEST
000046c4: DUP2
000046c5: MLOAD
000046c6: DUP2
000046c7: MSTORE
000046c8: PUSH1 0x20
000046ca: DUP1
000046cb: DUP4
000046cc: ADD
000046cd: MLOAD
000046ce: SWAP1
000046cf: DUP3
000046d0: ADD
000046d1: MSTORE
000046d2: PUSH1 0x40
000046d4: SWAP2
000046d5: DUP3
000046d6: ADD
000046d7: MLOAD
000046d8: SWAP2
000046d9: DUP2
000046da: ADD
000046db: SWAP2
000046dc: SWAP1
000046dd: SWAP2
000046de: MSTORE
000046df: PUSH1 0x60
000046e1: ADD
000046e2: SWAP1
000046e3: JUMP
000046e4: JUMPDEST
000046e5: SWAP7
000046e6: DUP8
000046e7: MSTORE
000046e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000046fd: SWAP6
000046fe: SWAP1
000046ff: SWAP6
00004700: AND
00004701: PUSH1 0x20
00004703: DUP8
00004704: ADD
00004705: MSTORE
00004706: PUSH1 0x40
00004708: DUP7
00004709: ADD
0000470a: SWAP4
0000470b: SWAP1
0000470c: SWAP4
0000470d: MSTORE
0000470e: PUSH1 0x60
00004710: DUP6
00004711: ADD
00004712: SWAP2
00004713: SWAP1
00004714: SWAP2
00004715: MSTORE
00004716: PUSH1 0x80
00004718: DUP5
00004719: ADD
0000471a: MSTORE
0000471b: PUSH1 0xa0
0000471d: DUP4
0000471e: ADD
0000471f: MSTORE
00004720: PUSH1 0xc0
00004722: DUP3
00004723: ADD
00004724: MSTORE
00004725: PUSH1 0xe0
00004727: ADD
00004728: SWAP1
00004729: JUMP
0000472a: JUMPDEST
0000472b: SWAP4
0000472c: DUP5
0000472d: MSTORE
0000472e: PUSH1 0x20
00004730: DUP5
00004731: ADD
00004732: SWAP3
00004733: SWAP1
00004734: SWAP3
00004735: MSTORE
00004736: PUSH1 0x40
00004738: DUP4
00004739: ADD
0000473a: MSTORE
0000473b: PUSH1 0x60
0000473d: DUP3
0000473e: ADD
0000473f: MSTORE
00004740: PUSH1 0x80
00004742: ADD
00004743: SWAP1
00004744: JUMP
00004745: JUMPDEST
00004746: PUSH1 0x00
00004748: JUMPDEST
00004749: DUP4
0000474a: DUP2
0000474b: LT
0000474c: ISZERO
0000474d: PUSH2 0x4760
00004750: JUMPI
00004751: DUP2
00004752: DUP2
00004753: ADD
00004754: MLOAD
00004755: DUP4
00004756: DUP3
00004757: ADD
00004758: MSTORE
00004759: PUSH1 0x20
0000475b: ADD
0000475c: PUSH2 0x4748
0000475f: JUMP
00004760: JUMPDEST
00004761: DUP4
00004762: DUP2
00004763: GT
00004764: ISZERO
00004765: PUSH2 0x0ea7
00004768: JUMPI
00004769: POP
0000476a: POP
0000476b: PUSH1 0x00
0000476d: SWAP2
0000476e: ADD
0000476f: MSTORE
00004770: JUMP
00004771: JUMPDEST
00004772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004787: DUP2
00004788: AND
00004789: DUP2
0000478a: EQ
0000478b: PUSH2 0x0fa8
0000478e: JUMPI
0000478f: PUSH1 0x00
00004791: DUP1
00004792: REVERT
00004793: INVALID
00004794: UNKNOWN(0x4C)
00004795: BALANCE
00004796: PUSH0
00004797: TIMESTAMP
00004798: MSTORE
00004799: SELFBALANCE
0000479a: GASPRICE
0000479b: KECCAK256
0000479c: COINBASE
0000479d: PUSH14 0x6f756e7420657863656564732063
000047ac: PUSH9 0x61696e42616c616e63
000047b6: PUSH6 0x2e2054686973
000047bd: KECCAK256
000047be: PUSH10 0x6e646963617465732061
000047c9: KECCAK256
000047ca: PUSH13 0x617965722d32206661696c7572
000047d8: PUSH6 0x2ea264697066
000047df: PUSH20 0x58221220059efbacfa8e4391e713a70ec9b5c2c2
000047f4: JUMP
000047f5: EXTCODECOPY
000047f6: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x12892fb79e377362b56450e3fc8769112524b2d1b7dafd2a60e439a593874950 call_targets: 0xb8901acb165ed027e32754e0ffe830802919727f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x12892fb79e377362b56450e3fc8769112524b2d1b7dafd2a60e439a593874950", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb8901acb165ed027e32754e0ffe830802919727f" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xfa2a69a3", "selector": "0xfa2a69a3", "calldata_variants": [ "0xfa2a69a3", "0xfa2a69a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc110b67", "selector": "0xfc110b67", "calldata_variants": [ "0xfc110b67", "0xfc110b670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffa9286c", "selector": "0xffa9286c", "calldata_variants": [ "0xffa9286c", "0xffa9286c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeecd57e6", "selector": "0xeecd57e6", "calldata_variants": [ "0xeecd57e6", "0xeecd57e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef6ebe5e", "selector": "0xef6ebe5e", "calldata_variants": [ "0xef6ebe5e", "0xef6ebe5e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f480d9", "selector": "0xf3f480d9", "calldata_variants": [ "0xf3f480d9", "0xf3f480d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5ef7551", "selector": "0xd5ef7551", "calldata_variants": [ "0xd5ef7551", "0xd5ef75510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdeace8f5", "selector": "0xdeace8f5", "calldata_variants": [ "0xdeace8f5", "0xdeace8f50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8493, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8801, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10444, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x12892fb79e377362b56450e3fc8769112524b2d1b7dafd2a60e439a593874950 call_targets: 0xb8901acb165ed027e32754e0ffe830802919727f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x12892fb79e377362b56450e3fc8769112524b2d1b7dafd2a60e439a593874950", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb8901acb165ed027e32754e0ffe830802919727f" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xfa2a69a3", "selector": "0xfa2a69a3", "calldata_variants": [ "0xfa2a69a3", "0xfa2a69a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc110b67", "selector": "0xfc110b67", "calldata_variants": [ "0xfc110b67", "0xfc110b670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xffa9286c", "selector": "0xffa9286c", "calldata_variants": [ "0xffa9286c", "0xffa9286c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xeecd57e6", "selector": "0xeecd57e6", "calldata_variants": [ "0xeecd57e6", "0xeecd57e60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xef6ebe5e", "selector": "0xef6ebe5e", "calldata_variants": [ "0xef6ebe5e", "0xef6ebe5e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3f480d9", "selector": "0xf3f480d9", "calldata_variants": [ "0xf3f480d9", "0xf3f480d90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5ef7551", "selector": "0xd5ef7551", "calldata_variants": [ "0xd5ef7551", "0xd5ef75510000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdeace8f5", "selector": "0xdeace8f5", "calldata_variants": [ "0xdeace8f5", "0xdeace8f50000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 8493, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 8801, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 10444, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
info	other	cast	Heavy EXTCODE*/BALANCE usage	55	no	—	view evidence_json { "notes": "frequent external code or balance checks; may indicate introspection or validation logic", "ext_balance_count": 5 }

Severity