Analysis Run

[codex:542614] OpenAI Codex v0.77.0 (research preview)
[codex:542614] --------
[codex:542614] workdir: /tmp/codex-multi-4182hnrl
[codex:542614] model: gpt-5.2-codex
[codex:542614] provider: openai
[codex:542614] approval: never
[codex:542614] sandbox: read-only
[codex:542614] reasoning effort: xhigh
[codex:542614] reasoning summaries: auto
[codex:542614] session id: 019b86ec-153e-7fb2-ad07-a9d4a4bae7c4
[codex:542614] --------
[codex:542614] user
[codex:542614] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:542614] 
[codex:542614] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:542614] 
[codex:542614] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:542614] - Gas inefficiency, code quality, naming, or best practices
[codex:542614] - Theoretical vulnerabilities without a clear extraction path
[codex:542614] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:542614] - Front-running unless it enables theft beyond MEV
[codex:542614] - DoS, griefing, or issues that don't result in attacker profit
[codex:542614] - Missing events, view function issues, or informational findings
[codex:542614] 
[codex:542614] HIGH-VALUE PATTERNS TO HUNT:
[codex:542614] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:542614] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:542614] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:542614] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:542614] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:542614] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:542614] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:542614] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:542614] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:542614] 
[codex:542614] For each finding, you MUST provide:
[codex:542614] 1. Exact file and line numbers of vulnerable code
[codex:542614] 2. Step-by-step exploit transaction sequence
[codex:542614] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:542614] 
[codex:542614] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:542614] 
[codex:542614] Output MUST be valid JSON matching the provided schema.
[codex:542614] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:542614] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:542614] mcp startup: no servers
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Reading instructions file**
[codex:542614] exec
[codex:542614] /bin/bash -lc ls in /tmp/codex-multi-4182hnrl succeeded in 6ms:
[codex:542614] AUDIT_BUNDLE.txt
[codex:542614] codex-output-schema.json
[codex:542614] contracts
[codex:542614] exec
[codex:542614] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-4182hnrl succeeded in 5ms:
[codex:542614] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:542614] 
[codex:542614] ================================================================================
[codex:542614] FILE: contracts/contracts/Dependencies/BaseMath.sol
[codex:542614] ================================================================================
[codex:542614] // SPDX-License-Identifier: MIT
[codex:542614] pragma solidity 0.6.11;
[codex:542614] 
[codex:542614] 
[codex:542614] contract BaseMath {
[codex:542614]     uint constant public DECIMAL_PRECISION = 1e18;
[codex:542614] }
[codex:542614] 
[codex:542614] ================================================================================
[codex:542614] FILE: contracts/contracts/Dependencies/CheckContract.sol
[codex:542614] ================================================================================
[codex:542614] // SPDX-License-Identifier: MIT
[codex:542614] 
[codex:542614] pragma solidity 0.6.11;
[codex:542614] 
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Planning to fully read AUDIT_BUNDLE.txt**
[codex:542614] 
[codex:542614] I see the file is huge and the tool truncated the output, so I’m figuring out how to read the entire AUDIT_BUNDLE.txt without missing any part. To comply with the user's instructions, I’m thinking of using line-count commands and reading the file in smaller chunks with sed to avoid output truncation while still covering every line.
[codex:542614] exec
[codex:542614] /bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-multi-4182hnrl succeeded in 5ms:
[codex:542614] 2809 AUDIT_BUNDLE.txt
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Splitting file into line chunks**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '1,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 7ms:
[codex:542614] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:542614] 
[codex:542614] ================================================================================
[codex:542614] FILE: contracts/contracts/Dependencies/BaseMath.sol
[codex:542614] ================================================================================
[codex:542614] // SPDX-License-Identifier: MIT
[codex:542614] pragma solidity 0.6.11;
[codex:542614] 
[codex:542614] 
[codex:542614] contract BaseMath {
[codex:542614]     uint constant public DECIMAL_PRECISION = 1e18;
[codex:542614] }
[codex:542614] 
[codex:542614] ================================================================================
[codex:542614] FILE: contracts/contracts/Dependencies/CheckContract.sol
[codex:542614] ================================================================================
[codex:542614] // SPDX-License-Identifier: MIT
[codex:542614] 
[codex:542614] pragma solidity 0.6.11;
[codex:542614] 
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing process**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '401,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 5ms:
[codex:542614]      * @dev Returns the addition of two unsigned integers, reverting on
[codex:542614]      * overflow.
[codex:542614]      *
[codex:542614]      * Counterpart to Solidity's `+` operator.
[codex:542614]      *
[codex:542614]      * Requirements:
[codex:542614]      * - Addition cannot overflow.
[codex:542614]      */
[codex:542614]     function add(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:542614]         uint256 c = a + b;
[codex:542614]         require(c >= a, "SafeMath: addition overflow");
[codex:542614] 
[codex:542614]         return c;
[codex:542614]     }
[codex:542614] 
[codex:542614]     /**
[codex:542614]      * @dev Returns the subtraction of two unsigned integers, reverting on
[codex:542614]      * overflow (when the result is negative).
[codex:542614]      *
[codex:542614]      * Counterpart to Solidity's `-` operator.
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing due to console size**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '801,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 5ms:
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,bool)", p0, p1));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(string memory p0, address p1) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,address)", p0, p1));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, uint p1) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,uint)", p0, p1));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, string memory p1) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,string)", p0, p1));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, bool p1) internal view {
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing to read large file**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '1201,1600p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 6ms:
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(uint,uint,string,bool)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(uint p0, uint p1, string memory p2, address p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(uint,uint,string,address)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(uint p0, uint p1, bool p2, uint p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(uint,uint,bool,uint)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(uint p0, uint p1, bool p2, string memory p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(uint,uint,bool,string)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(uint p0, uint p1, bool p2, bool p3) internal view {
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing to process large console output**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '1601,2000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 6ms:
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,string,string,bool)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(string memory p0, string memory p1, string memory p2, address p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,string,string,address)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(string memory p0, string memory p1, bool p2, uint p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,string,bool,uint)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(string memory p0, string memory p1, bool p2, string memory p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(string,string,bool,string)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(string memory p0, string memory p1, bool p2, bool p3) internal view {
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing large console output**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '2001,2400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 6ms:
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,bool,string,bool)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, bool p1, string memory p2, address p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,bool,string,address)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, bool p1, bool p2, uint p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,bool,bool,uint)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, bool p1, bool p2, string memory p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(bool,bool,bool,string)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(bool p0, bool p1, bool p2, bool p3) internal view {
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Continuing to fetch more lines**
[codex:542614] exec
[codex:542614] /bin/bash -lc "sed -n '2401,2809p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-4182hnrl succeeded in 5ms:
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(address,address,string,bool)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(address p0, address p1, string memory p2, address p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(address,address,string,address)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(address p0, address p1, bool p2, uint p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(address,address,bool,uint)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(address p0, address p1, bool p2, string memory p3) internal view {
[codex:542614] 		(bool ignored, ) = CONSOLE_ADDRESS.staticcall(abi.encodeWithSignature("log(address,address,bool,string)", p0, p1, p2, p3));
[codex:542614] 		ignored;
[codex:542614] 	}
[codex:542614] 
[codex:542614] 	function log(address p0, address p1, bool p2, bool p3) internal view {
[codex:542614] 
[codex:542614] thinking
[codex:542614] **Reviewing LQTYStaking exploit possibilities**
[codex:542614] 
[codex:542614] I’m carefully assessing potential exploit vectors in the LQTYStaking contract, focusing on reentrancy, token transfers, access control, and accounting logic. After step-by-step analysis, I see no concrete ways to profit by exploiting the contract’s stake, unstake, or reward distribution functions, ensuring state updates precede external calls and trusted token libraries guard integrity.
[codex:542614] codex
[codex:542614] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; found no concrete, exploitable paths to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}
[codex:542614] tokens used
[codex:542614] 46,486
[codex:542614] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; found no concrete, exploitable paths to extract ETH/tokens/NFTs under the stated assumptions.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T02:54:13.312701+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt; found no concrete, exploitable paths to extract ETH/tokens/NFTs under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt; found no concrete, exploitable paths to extract ETH/tokens/NFTs under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8b9345ad
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa3f4df7e
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa3f4df7e
0000002f: EQ
00000030: PUSH2 0x03cf
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xa694fc3a
0000003a: EQ
0000003b: PUSH2 0x0459
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xb08bc722
00000045: EQ
00000046: PUSH2 0x0483
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xb7f8cf9b
00000050: EQ
00000051: PUSH2 0x0498
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xb83f91a2
0000005b: EQ
0000005c: PUSH2 0x04ad
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xb9bbe00f
00000066: EQ
00000067: PUSH2 0x04c2
0000006a: JUMPI
0000006b: PUSH2 0x013d
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x8b9345ad
00000076: EQ
00000077: PUSH2 0x0316
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8da5cb5b
00000081: EQ
00000082: PUSH2 0x0349
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8f32d59b
0000008c: EQ
0000008d: PUSH2 0x035e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x9beab5c0
00000097: EQ
00000098: PUSH2 0x0387
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xa20baee6
000000a2: EQ
000000a3: PUSH2 0x03ba
000000a6: JUMPI
000000a7: PUSH2 0x013d
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x34b3081f
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x34b3081f
000000bd: EQ
000000be: PUSH2 0x0221
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x4677ffb3
000000c8: EQ
000000c9: PUSH2 0x026d
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x5a4d28bb
000000d3: EQ
000000d4: PUSH2 0x0297
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x5dd68acd
000000de: EQ
000000df: PUSH2 0x02ac
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x69b83185
000000e9: EQ
000000ea: PUSH2 0x0301
000000ed: JUMPI
000000ee: PUSH2 0x013d
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x077ee4c6
000000f9: EQ
000000fa: PUSH2 0x0142
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x16934fc4
00000104: EQ
00000105: PUSH2 0x0169
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x1e3e2a1a
0000010f: EQ
00000110: PUSH2 0x019c
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x1f7af3c3
0000011a: EQ
0000011b: PUSH2 0x01c6
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x2e17de78
00000125: EQ
00000126: PUSH2 0x01f7
00000129: JUMPI
0000012a: PUSH2 0x013d
0000012d: JUMP
0000012e: JUMPDEST
0000012f: CALLDATASIZE
00000130: PUSH2 0x013d
00000133: JUMPI
00000134: PUSH2 0x013b
00000137: PUSH2 0x04d7
0000013a: JUMP
0000013b: JUMPDEST
0000013c: STOP
0000013d: JUMPDEST
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0157
00000153: PUSH2 0x0522
00000156: JUMP
00000157: JUMPDEST
00000158: PUSH1 0x40
0000015a: DUP1
0000015b: MLOAD
0000015c: SWAP2
0000015d: DUP3
0000015e: MSTORE
0000015f: MLOAD
00000160: SWAP1
00000161: DUP2
00000162: SWAP1
00000163: SUB
00000164: PUSH1 0x20
00000166: ADD
00000167: SWAP1
00000168: RETURN
00000169: JUMPDEST
0000016a: CALLVALUE
0000016b: DUP1
0000016c: ISZERO
0000016d: PUSH2 0x0175
00000170: JUMPI
00000171: PUSH1 0x00
00000173: DUP1
00000174: REVERT
00000175: JUMPDEST
00000176: POP
00000177: PUSH2 0x0157
0000017a: PUSH1 0x04
0000017c: DUP1
0000017d: CALLDATASIZE
0000017e: SUB
0000017f: PUSH1 0x20
00000181: DUP2
00000182: LT
00000183: ISZERO
00000184: PUSH2 0x018c
00000187: JUMPI
00000188: PUSH1 0x00
0000018a: DUP1
0000018b: REVERT
0000018c: JUMPDEST
0000018d: POP
0000018e: CALLDATALOAD
0000018f: PUSH1 0x01
00000191: PUSH1 0x01
00000193: PUSH1 0xa0
00000195: SHL
00000196: SUB
00000197: AND
00000198: PUSH2 0x0528
0000019b: JUMP
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: DUP1
0000019f: ISZERO
000001a0: PUSH2 0x01a8
000001a3: JUMPI
000001a4: PUSH1 0x00
000001a6: DUP1
000001a7: REVERT
000001a8: JUMPDEST
000001a9: POP
000001aa: PUSH2 0x013b
000001ad: PUSH1 0x04
000001af: DUP1
000001b0: CALLDATASIZE
000001b1: SUB
000001b2: PUSH1 0x20
000001b4: DUP2
000001b5: LT
000001b6: ISZERO
000001b7: PUSH2 0x01bf
000001ba: JUMPI
000001bb: PUSH1 0x00
000001bd: DUP1
000001be: REVERT
000001bf: JUMPDEST
000001c0: POP
000001c1: CALLDATALOAD
000001c2: PUSH2 0x053a
000001c5: JUMP
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01db
000001d7: PUSH2 0x05c9
000001da: JUMP
000001db: JUMPDEST
000001dc: PUSH1 0x40
000001de: DUP1
000001df: MLOAD
000001e0: PUSH1 0x01
000001e2: PUSH1 0x01
000001e4: PUSH1 0xa0
000001e6: SHL
000001e7: SUB
000001e8: SWAP1
000001e9: SWAP3
000001ea: AND
000001eb: DUP3
000001ec: MSTORE
000001ed: MLOAD
000001ee: SWAP1
000001ef: DUP2
000001f0: SWAP1
000001f1: SUB
000001f2: PUSH1 0x20
000001f4: ADD
000001f5: SWAP1
000001f6: RETURN
000001f7: JUMPDEST
000001f8: CALLVALUE
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0203
000001fe: JUMPI
000001ff: PUSH1 0x00
00000201: DUP1
00000202: REVERT
00000203: JUMPDEST
00000204: POP
00000205: PUSH2 0x013b
00000208: PUSH1 0x04
0000020a: DUP1
0000020b: CALLDATASIZE
0000020c: SUB
0000020d: PUSH1 0x20
0000020f: DUP2
00000210: LT
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: CALLDATALOAD
0000021d: PUSH2 0x05d8
00000220: JUMP
00000221: JUMPDEST
00000222: CALLVALUE
00000223: DUP1
00000224: ISZERO
00000225: PUSH2 0x022d
00000228: JUMPI
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: REVERT
0000022d: JUMPDEST
0000022e: POP
0000022f: PUSH2 0x0254
00000232: PUSH1 0x04
00000234: DUP1
00000235: CALLDATASIZE
00000236: SUB
00000237: PUSH1 0x20
00000239: DUP2
0000023a: LT
0000023b: ISZERO
0000023c: PUSH2 0x0244
0000023f: JUMPI
00000240: PUSH1 0x00
00000242: DUP1
00000243: REVERT
00000244: JUMPDEST
00000245: POP
00000246: CALLDATALOAD
00000247: PUSH1 0x01
00000249: PUSH1 0x01
0000024b: PUSH1 0xa0
0000024d: SHL
0000024e: SUB
0000024f: AND
00000250: PUSH2 0x081c
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: SWAP3
0000025a: DUP4
0000025b: MSTORE
0000025c: PUSH1 0x20
0000025e: DUP4
0000025f: ADD
00000260: SWAP2
00000261: SWAP1
00000262: SWAP2
00000263: MSTORE
00000264: DUP1
00000265: MLOAD
00000266: SWAP2
00000267: DUP3
00000268: SWAP1
00000269: SUB
0000026a: ADD
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x013b
0000027e: PUSH1 0x04
00000280: DUP1
00000281: CALLDATASIZE
00000282: SUB
00000283: PUSH1 0x20
00000285: DUP2
00000286: LT
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: CALLDATALOAD
00000293: PUSH2 0x0835
00000296: JUMP
00000297: JUMPDEST
00000298: CALLVALUE
00000299: DUP1
0000029a: ISZERO
0000029b: PUSH2 0x02a3
0000029e: JUMPI
0000029f: PUSH1 0x00
000002a1: DUP1
000002a2: REVERT
000002a3: JUMPDEST
000002a4: POP
000002a5: PUSH2 0x01db
000002a8: PUSH2 0x08b8
000002ab: JUMP
000002ac: JUMPDEST
000002ad: CALLVALUE
000002ae: DUP1
000002af: ISZERO
000002b0: PUSH2 0x02b8
000002b3: JUMPI
000002b4: PUSH1 0x00
000002b6: DUP1
000002b7: REVERT
000002b8: JUMPDEST
000002b9: POP
000002ba: PUSH2 0x013b
000002bd: PUSH1 0x04
000002bf: DUP1
000002c0: CALLDATASIZE
000002c1: SUB
000002c2: PUSH1 0xa0
000002c4: DUP2
000002c5: LT
000002c6: ISZERO
000002c7: PUSH2 0x02cf
000002ca: JUMPI
000002cb: PUSH1 0x00
000002cd: DUP1
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH1 0x01
000002d3: PUSH1 0x01
000002d5: PUSH1 0xa0
000002d7: SHL
000002d8: SUB
000002d9: DUP2
000002da: CALLDATALOAD
000002db: DUP2
000002dc: AND
000002dd: SWAP2
000002de: PUSH1 0x20
000002e0: DUP2
000002e1: ADD
000002e2: CALLDATALOAD
000002e3: DUP3
000002e4: AND
000002e5: SWAP2
000002e6: PUSH1 0x40
000002e8: DUP3
000002e9: ADD
000002ea: CALLDATALOAD
000002eb: DUP2
000002ec: AND
000002ed: SWAP2
000002ee: PUSH1 0x60
000002f0: DUP2
000002f1: ADD
000002f2: CALLDATALOAD
000002f3: DUP3
000002f4: AND
000002f5: SWAP2
000002f6: PUSH1 0x80
000002f8: SWAP1
000002f9: SWAP2
000002fa: ADD
000002fb: CALLDATALOAD
000002fc: AND
000002fd: PUSH2 0x08c7
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x0157
00000312: PUSH2 0x0ad3
00000315: JUMP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x0157
00000327: PUSH1 0x04
00000329: DUP1
0000032a: CALLDATASIZE
0000032b: SUB
0000032c: PUSH1 0x20
0000032e: DUP2
0000032f: LT
00000330: ISZERO
00000331: PUSH2 0x0339
00000334: JUMPI
00000335: PUSH1 0x00
00000337: DUP1
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: CALLDATALOAD
0000033c: PUSH1 0x01
0000033e: PUSH1 0x01
00000340: PUSH1 0xa0
00000342: SHL
00000343: SUB
00000344: AND
00000345: PUSH2 0x0ad9
00000348: JUMP
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: DUP1
0000034c: ISZERO
0000034d: PUSH2 0x0355
00000350: JUMPI
00000351: PUSH1 0x00
00000353: DUP1
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x01db
0000035a: PUSH2 0x0aea
0000035d: JUMP
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: DUP1
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: POP
0000036c: PUSH2 0x0373
0000036f: PUSH2 0x0af9
00000372: JUMP
00000373: JUMPDEST
00000374: PUSH1 0x40
00000376: DUP1
00000377: MLOAD
00000378: SWAP2
00000379: ISZERO
0000037a: ISZERO
0000037b: DUP3
0000037c: MSTORE
0000037d: MLOAD
0000037e: SWAP1
0000037f: DUP2
00000380: SWAP1
00000381: SUB
00000382: PUSH1 0x20
00000384: ADD
00000385: SWAP1
00000386: RETURN
00000387: JUMPDEST
00000388: CALLVALUE
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x0393
0000038e: JUMPI
0000038f: PUSH1 0x00
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x0157
00000398: PUSH1 0x04
0000039a: DUP1
0000039b: CALLDATASIZE
0000039c: SUB
0000039d: PUSH1 0x20
0000039f: DUP2
000003a0: LT
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: CALLDATALOAD
000003ad: PUSH1 0x01
000003af: PUSH1 0x01
000003b1: PUSH1 0xa0
000003b3: SHL
000003b4: SUB
000003b5: AND
000003b6: PUSH2 0x0b0a
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: DUP1
000003bd: ISZERO
000003be: PUSH2 0x03c6
000003c1: JUMPI
000003c2: PUSH1 0x00
000003c4: DUP1
000003c5: REVERT
000003c6: JUMPDEST
000003c7: POP
000003c8: PUSH2 0x0157
000003cb: PUSH2 0x0b15
000003ce: JUMP
000003cf: JUMPDEST
000003d0: CALLVALUE
000003d1: DUP1
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x0b21
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x40
000003e7: DUP1
000003e8: MLOAD
000003e9: PUSH1 0x20
000003eb: DUP1
000003ec: DUP3
000003ed: MSTORE
000003ee: DUP4
000003ef: MLOAD
000003f0: DUP2
000003f1: DUP4
000003f2: ADD
000003f3: MSTORE
000003f4: DUP4
000003f5: MLOAD
000003f6: SWAP2
000003f7: SWAP3
000003f8: DUP4
000003f9: SWAP3
000003fa: SWAP1
000003fb: DUP4
000003fc: ADD
000003fd: SWAP2
000003fe: DUP6
000003ff: ADD
00000400: SWAP1
00000401: DUP1
00000402: DUP4
00000403: DUP4
00000404: PUSH1 0x00
00000406: JUMPDEST
00000407: DUP4
00000408: DUP2
00000409: LT
0000040a: ISZERO
0000040b: PUSH2 0x041e
0000040e: JUMPI
0000040f: DUP2
00000410: DUP2
00000411: ADD
00000412: MLOAD
00000413: DUP4
00000414: DUP3
00000415: ADD
00000416: MSTORE
00000417: PUSH1 0x20
00000419: ADD
0000041a: PUSH2 0x0406
0000041d: JUMP
0000041e: JUMPDEST
0000041f: POP
00000420: POP
00000421: POP
00000422: POP
00000423: SWAP1
00000424: POP
00000425: SWAP1
00000426: DUP2
00000427: ADD
00000428: SWAP1
00000429: PUSH1 0x1f
0000042b: AND
0000042c: DUP1
0000042d: ISZERO
0000042e: PUSH2 0x044b
00000431: JUMPI
00000432: DUP1
00000433: DUP3
00000434: SUB
00000435: DUP1
00000436: MLOAD
00000437: PUSH1 0x01
00000439: DUP4
0000043a: PUSH1 0x20
0000043c: SUB
0000043d: PUSH2 0x0100
00000440: EXP
00000441: SUB
00000442: NOT
00000443: AND
00000444: DUP2
00000445: MSTORE
00000446: PUSH1 0x20
00000448: ADD
00000449: SWAP2
0000044a: POP
0000044b: JUMPDEST
0000044c: POP
0000044d: SWAP3
0000044e: POP
0000044f: POP
00000450: POP
00000451: PUSH1 0x40
00000453: MLOAD
00000454: DUP1
00000455: SWAP2
00000456: SUB
00000457: SWAP1
00000458: RETURN
00000459: JUMPDEST
0000045a: CALLVALUE
0000045b: DUP1
0000045c: ISZERO
0000045d: PUSH2 0x0465
00000460: JUMPI
00000461: PUSH1 0x00
00000463: DUP1
00000464: REVERT
00000465: JUMPDEST
00000466: POP
00000467: PUSH2 0x013b
0000046a: PUSH1 0x04
0000046c: DUP1
0000046d: CALLDATASIZE
0000046e: SUB
0000046f: PUSH1 0x20
00000471: DUP2
00000472: LT
00000473: ISZERO
00000474: PUSH2 0x047c
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: REVERT
0000047c: JUMPDEST
0000047d: POP
0000047e: CALLDATALOAD
0000047f: PUSH2 0x0b48
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: DUP1
00000486: ISZERO
00000487: PUSH2 0x048f
0000048a: JUMPI
0000048b: PUSH1 0x00
0000048d: DUP1
0000048e: REVERT
0000048f: JUMPDEST
00000490: POP
00000491: PUSH2 0x01db
00000494: PUSH2 0x0d65
00000497: JUMP
00000498: JUMPDEST
00000499: CALLVALUE
0000049a: DUP1
0000049b: ISZERO
0000049c: PUSH2 0x04a4
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: POP
000004a6: PUSH2 0x01db
000004a9: PUSH2 0x0d74
000004ac: JUMP
000004ad: JUMPDEST
000004ae: CALLVALUE
000004af: DUP1
000004b0: ISZERO
000004b1: PUSH2 0x04b9
000004b4: JUMPI
000004b5: PUSH1 0x00
000004b7: DUP1
000004b8: REVERT
000004b9: JUMPDEST
000004ba: POP
000004bb: PUSH2 0x01db
000004be: PUSH2 0x0d83
000004c1: JUMP
000004c2: JUMPDEST
000004c3: CALLVALUE
000004c4: DUP1
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: POP
000004d0: PUSH2 0x0157
000004d3: PUSH2 0x0d92
000004d6: JUMP
000004d7: JUMPDEST
000004d8: PUSH1 0x0a
000004da: SLOAD
000004db: PUSH1 0x01
000004dd: PUSH1 0x01
000004df: PUSH1 0xa0
000004e1: SHL
000004e2: SUB
000004e3: AND
000004e4: CALLER
000004e5: EQ
000004e6: PUSH2 0x0520
000004e9: JUMPI
000004ea: PUSH1 0x40
000004ec: MLOAD
000004ed: PUSH3 0x461bcd
000004f1: PUSH1 0xe5
000004f3: SHL
000004f4: DUP2
000004f5: MSTORE
000004f6: PUSH1 0x04
000004f8: ADD
000004f9: DUP1
000004fa: DUP1
000004fb: PUSH1 0x20
000004fd: ADD
000004fe: DUP3
000004ff: DUP2
00000500: SUB
00000501: DUP3
00000502: MSTORE
00000503: PUSH1 0x25
00000505: DUP2
00000506: MSTORE
00000507: PUSH1 0x20
00000509: ADD
0000050a: DUP1
0000050b: PUSH2 0x1474
0000050e: PUSH1 0x25
00000510: SWAP2
00000511: CODECOPY
00000512: PUSH1 0x40
00000514: ADD
00000515: SWAP2
00000516: POP
00000517: POP
00000518: PUSH1 0x40
0000051a: MLOAD
0000051b: DUP1
0000051c: SWAP2
0000051d: SUB
0000051e: SWAP1
0000051f: REVERT
00000520: JUMPDEST
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH1 0x02
00000525: SLOAD
00000526: DUP2
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH1 0x01
0000052b: PUSH1 0x20
0000052d: MSTORE
0000052e: PUSH1 0x00
00000530: SWAP1
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x40
00000535: SWAP1
00000536: KECCAK256
00000537: SLOAD
00000538: DUP2
00000539: JUMP
0000053a: JUMPDEST
0000053b: PUSH2 0x0542
0000053e: PUSH2 0x0d98
00000541: JUMP
00000542: JUMPDEST
00000543: PUSH1 0x02
00000545: SLOAD
00000546: PUSH1 0x00
00000548: SWAP1
00000549: ISZERO
0000054a: PUSH2 0x057b
0000054d: JUMPI
0000054e: PUSH1 0x02
00000550: SLOAD
00000551: PUSH2 0x0578
00000554: SWAP1
00000555: PUSH2 0x056c
00000558: DUP5
00000559: PUSH8 0x0de0b6b3a7640000
00000562: PUSH4 0xffffffff
00000567: PUSH2 0x0de1
0000056a: AND
0000056b: JUMP
0000056c: JUMPDEST
0000056d: SWAP1
0000056e: PUSH4 0xffffffff
00000573: PUSH2 0x0e41
00000576: AND
00000577: JUMP
00000578: JUMPDEST
00000579: SWAP1
0000057a: POP
0000057b: JUMPDEST
0000057c: PUSH1 0x03
0000057e: SLOAD
0000057f: PUSH2 0x058e
00000582: SWAP1
00000583: DUP3
00000584: PUSH4 0xffffffff
00000589: PUSH2 0x0e83
0000058c: AND
0000058d: JUMP
0000058e: JUMPDEST
0000058f: PUSH1 0x03
00000591: DUP2
00000592: SWAP1
00000593: SSTORE
00000594: PUSH1 0x40
00000596: DUP1
00000597: MLOAD
00000598: SWAP2
00000599: DUP3
0000059a: MSTORE
0000059b: MLOAD
0000059c: PUSH32 0x4c56a0cf74da9899410b818edf6758c8af9b7b3070da97d2dcb6a5b1bf96317e
000005bd: SWAP2
000005be: DUP2
000005bf: SWAP1
000005c0: SUB
000005c1: PUSH1 0x20
000005c3: ADD
000005c4: SWAP1
000005c5: LOG1
000005c6: POP
000005c7: POP
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x06
000005cc: SLOAD
000005cd: PUSH1 0x01
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: SHL
000005d4: SUB
000005d5: AND
000005d6: DUP2
000005d7: JUMP
000005d8: JUMPDEST
000005d9: CALLER
000005da: PUSH1 0x00
000005dc: SWAP1
000005dd: DUP2
000005de: MSTORE
000005df: PUSH1 0x01
000005e1: PUSH1 0x20
000005e3: MSTORE
000005e4: PUSH1 0x40
000005e6: SWAP1
000005e7: KECCAK256
000005e8: SLOAD
000005e9: PUSH2 0x05f1
000005ec: DUP2
000005ed: PUSH2 0x0edd
000005f0: JUMP
000005f1: JUMPDEST
000005f2: PUSH1 0x00
000005f4: PUSH2 0x05fc
000005f7: CALLER
000005f8: PUSH2 0x0f1f
000005fb: JUMP
000005fc: JUMPDEST
000005fd: SWAP1
000005fe: POP
000005ff: PUSH1 0x00
00000601: PUSH2 0x0609
00000604: CALLER
00000605: PUSH2 0x0f8c
00000608: JUMP
00000609: JUMPDEST
0000060a: SWAP1
0000060b: POP
0000060c: PUSH2 0x0614
0000060f: CALLER
00000610: PUSH2 0x0fcf
00000613: JUMP
00000614: JUMPDEST
00000615: DUP4
00000616: ISZERO
00000617: PUSH2 0x0752
0000061a: JUMPI
0000061b: PUSH1 0x00
0000061d: PUSH2 0x0626
00000620: DUP6
00000621: DUP6
00000622: PUSH2 0x1041
00000625: JUMP
00000626: JUMPDEST
00000627: SWAP1
00000628: POP
00000629: PUSH1 0x00
0000062b: PUSH2 0x063a
0000062e: DUP6
0000062f: DUP4
00000630: PUSH4 0xffffffff
00000635: PUSH2 0x1057
00000638: AND
00000639: JUMP
0000063a: JUMPDEST
0000063b: CALLER
0000063c: PUSH1 0x00
0000063e: SWAP1
0000063f: DUP2
00000640: MSTORE
00000641: PUSH1 0x01
00000643: PUSH1 0x20
00000645: MSTORE
00000646: PUSH1 0x40
00000648: SWAP1
00000649: KECCAK256
0000064a: DUP2
0000064b: SWAP1
0000064c: SSTORE
0000064d: PUSH1 0x02
0000064f: SLOAD
00000650: SWAP1
00000651: SWAP2
00000652: POP
00000653: PUSH2 0x0662
00000656: SWAP1
00000657: DUP4
00000658: PUSH4 0xffffffff
0000065d: PUSH2 0x1057
00000660: AND
00000661: JUMP
00000662: JUMPDEST
00000663: PUSH1 0x02
00000665: DUP2
00000666: SWAP1
00000667: SSTORE
00000668: PUSH1 0x40
0000066a: DUP1
0000066b: MLOAD
0000066c: SWAP2
0000066d: DUP3
0000066e: MSTORE
0000066f: MLOAD
00000670: PUSH32 0x1fb085b6fe1998bfcd59bfb91fb9a84d3a3a8c63a97b2b5c43247235a5ca1df7
00000691: SWAP2
00000692: DUP2
00000693: SWAP1
00000694: SUB
00000695: PUSH1 0x20
00000697: ADD
00000698: SWAP1
00000699: LOG1
0000069a: PUSH1 0x06
0000069c: SLOAD
0000069d: PUSH1 0x40
0000069f: DUP1
000006a0: MLOAD
000006a1: PUSH4 0xa9059cbb
000006a6: PUSH1 0xe0
000006a8: SHL
000006a9: DUP2
000006aa: MSTORE
000006ab: CALLER
000006ac: PUSH1 0x04
000006ae: DUP3
000006af: ADD
000006b0: MSTORE
000006b1: PUSH1 0x24
000006b3: DUP2
000006b4: ADD
000006b5: DUP6
000006b6: SWAP1
000006b7: MSTORE
000006b8: SWAP1
000006b9: MLOAD
000006ba: PUSH1 0x01
000006bc: PUSH1 0x01
000006be: PUSH1 0xa0
000006c0: SHL
000006c1: SUB
000006c2: SWAP1
000006c3: SWAP3
000006c4: AND
000006c5: SWAP2
000006c6: PUSH4 0xa9059cbb
000006cb: SWAP2
000006cc: PUSH1 0x44
000006ce: DUP1
000006cf: DUP3
000006d0: ADD
000006d1: SWAP3
000006d2: PUSH1 0x20
000006d4: SWAP3
000006d5: SWAP1
000006d6: SWAP2
000006d7: SWAP1
000006d8: DUP3
000006d9: SWAP1
000006da: SUB
000006db: ADD
000006dc: DUP2
000006dd: PUSH1 0x00
000006df: DUP8
000006e0: DUP1
000006e1: EXTCODESIZE
000006e2: ISZERO
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: POP
000006ef: GAS
000006f0: CALL
000006f1: ISZERO
000006f2: DUP1
000006f3: ISZERO
000006f4: PUSH2 0x0701
000006f7: JUMPI
000006f8: RETURNDATASIZE
000006f9: PUSH1 0x00
000006fb: DUP1
000006fc: RETURNDATACOPY
000006fd: RETURNDATASIZE
000006fe: PUSH1 0x00
00000700: REVERT
00000701: JUMPDEST
00000702: POP
00000703: POP
00000704: POP
00000705: POP
00000706: PUSH1 0x40
00000708: MLOAD
00000709: RETURNDATASIZE
0000070a: PUSH1 0x20
0000070c: DUP2
0000070d: LT
0000070e: ISZERO
0000070f: PUSH2 0x0717
00000712: JUMPI
00000713: PUSH1 0x00
00000715: DUP1
00000716: REVERT
00000717: JUMPDEST
00000718: POP
00000719: POP
0000071a: PUSH1 0x40
0000071c: DUP1
0000071d: MLOAD
0000071e: DUP3
0000071f: DUP2
00000720: MSTORE
00000721: SWAP1
00000722: MLOAD
00000723: CALLER
00000724: SWAP2
00000725: PUSH32 0x39df0e5286a3ef2f42a0bf52f32cfe2c58e5b0405f47fe512f2c2439e4cfe204
00000746: SWAP2
00000747: SWAP1
00000748: DUP2
00000749: SWAP1
0000074a: SUB
0000074b: PUSH1 0x20
0000074d: ADD
0000074e: SWAP1
0000074f: LOG2
00000750: POP
00000751: POP
00000752: JUMPDEST
00000753: PUSH1 0x40
00000755: DUP1
00000756: MLOAD
00000757: DUP3
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x20
0000075c: DUP2
0000075d: ADD
0000075e: DUP5
0000075f: SWAP1
00000760: MSTORE
00000761: DUP2
00000762: MLOAD
00000763: CALLER
00000764: SWAP3
00000765: PUSH32 0xf744d34ca1cb25acfa4180df5f09a67306107110a9f4b6ed99bb3be259738215
00000786: SWAP3
00000787: DUP3
00000788: SWAP1
00000789: SUB
0000078a: ADD
0000078b: SWAP1
0000078c: LOG2
0000078d: PUSH1 0x07
0000078f: SLOAD
00000790: PUSH1 0x40
00000792: DUP1
00000793: MLOAD
00000794: PUSH4 0xa9059cbb
00000799: PUSH1 0xe0
0000079b: SHL
0000079c: DUP2
0000079d: MSTORE
0000079e: CALLER
0000079f: PUSH1 0x04
000007a1: DUP3
000007a2: ADD
000007a3: MSTORE
000007a4: PUSH1 0x24
000007a6: DUP2
000007a7: ADD
000007a8: DUP5
000007a9: SWAP1
000007aa: MSTORE
000007ab: SWAP1
000007ac: MLOAD
000007ad: PUSH1 0x01
000007af: PUSH1 0x01
000007b1: PUSH1 0xa0
000007b3: SHL
000007b4: SUB
000007b5: SWAP1
000007b6: SWAP3
000007b7: AND
000007b8: SWAP2
000007b9: PUSH4 0xa9059cbb
000007be: SWAP2
000007bf: PUSH1 0x44
000007c1: DUP1
000007c2: DUP3
000007c3: ADD
000007c4: SWAP3
000007c5: PUSH1 0x20
000007c7: SWAP3
000007c8: SWAP1
000007c9: SWAP2
000007ca: SWAP1
000007cb: DUP3
000007cc: SWAP1
000007cd: SUB
000007ce: ADD
000007cf: DUP2
000007d0: PUSH1 0x00
000007d2: DUP8
000007d3: DUP1
000007d4: EXTCODESIZE
000007d5: ISZERO
000007d6: DUP1
000007d7: ISZERO
000007d8: PUSH2 0x07e0
000007db: JUMPI
000007dc: PUSH1 0x00
000007de: DUP1
000007df: REVERT
000007e0: JUMPDEST
000007e1: POP
000007e2: GAS
000007e3: CALL
000007e4: ISZERO
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07f4
000007ea: JUMPI
000007eb: RETURNDATASIZE
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: RETURNDATACOPY
000007f0: RETURNDATASIZE
000007f1: PUSH1 0x00
000007f3: REVERT
000007f4: JUMPDEST
000007f5: POP
000007f6: POP
000007f7: POP
000007f8: POP
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: RETURNDATASIZE
000007fd: PUSH1 0x20
000007ff: DUP2
00000800: LT
00000801: ISZERO
00000802: PUSH2 0x080a
00000805: JUMPI
00000806: PUSH1 0x00
00000808: DUP1
00000809: REVERT
0000080a: JUMPDEST
0000080b: POP
0000080c: PUSH2 0x0816
0000080f: SWAP1
00000810: POP
00000811: DUP3
00000812: PUSH2 0x1099
00000815: JUMP
00000816: JUMPDEST
00000817: POP
00000818: POP
00000819: POP
0000081a: POP
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH1 0x05
0000081f: PUSH1 0x20
00000821: MSTORE
00000822: PUSH1 0x00
00000824: SWAP1
00000825: DUP2
00000826: MSTORE
00000827: PUSH1 0x40
00000829: SWAP1
0000082a: KECCAK256
0000082b: DUP1
0000082c: SLOAD
0000082d: PUSH1 0x01
0000082f: SWAP1
00000830: SWAP2
00000831: ADD
00000832: SLOAD
00000833: DUP3
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH2 0x083d
00000839: PUSH2 0x115f
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH1 0x02
00000840: SLOAD
00000841: PUSH1 0x00
00000843: SWAP1
00000844: ISZERO
00000845: PUSH2 0x086a
00000848: JUMPI
00000849: PUSH1 0x02
0000084b: SLOAD
0000084c: PUSH2 0x0867
0000084f: SWAP1
00000850: PUSH2 0x056c
00000853: DUP5
00000854: PUSH8 0x0de0b6b3a7640000
0000085d: PUSH4 0xffffffff
00000862: PUSH2 0x0de1
00000865: AND
00000866: JUMP
00000867: JUMPDEST
00000868: SWAP1
00000869: POP
0000086a: JUMPDEST
0000086b: PUSH1 0x04
0000086d: SLOAD
0000086e: PUSH2 0x087d
00000871: SWAP1
00000872: DUP3
00000873: PUSH4 0xffffffff
00000878: PUSH2 0x0e83
0000087b: AND
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH1 0x04
00000880: DUP2
00000881: SWAP1
00000882: SSTORE
00000883: PUSH1 0x40
00000885: DUP1
00000886: MLOAD
00000887: SWAP2
00000888: DUP3
00000889: MSTORE
0000088a: MLOAD
0000088b: PUSH32 0xdc043c079acfe2ef669592e1598aa8f95877fa0ba0e91d06c214a9f73d3521f9
000008ac: SWAP2
000008ad: DUP2
000008ae: SWAP1
000008af: SUB
000008b0: PUSH1 0x20
000008b2: ADD
000008b3: SWAP1
000008b4: LOG1
000008b5: POP
000008b6: POP
000008b7: JUMP
000008b8: JUMPDEST
000008b9: PUSH1 0x08
000008bb: SLOAD
000008bc: PUSH1 0x01
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: SHL
000008c3: SUB
000008c4: AND
000008c5: DUP2
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x08cf
000008cb: PUSH2 0x0af9
000008ce: JUMP
000008cf: JUMPDEST
000008d0: PUSH2 0x0920
000008d3: JUMPI
000008d4: PUSH1 0x40
000008d6: DUP1
000008d7: MLOAD
000008d8: PUSH3 0x461bcd
000008dc: PUSH1 0xe5
000008de: SHL
000008df: DUP2
000008e0: MSTORE
000008e1: PUSH1 0x20
000008e3: PUSH1 0x04
000008e5: DUP3
000008e6: ADD
000008e7: DUP2
000008e8: SWAP1
000008e9: MSTORE
000008ea: PUSH1 0x24
000008ec: DUP3
000008ed: ADD
000008ee: MSTORE
000008ef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000910: PUSH1 0x44
00000912: DUP3
00000913: ADD
00000914: MSTORE
00000915: SWAP1
00000916: MLOAD
00000917: SWAP1
00000918: DUP2
00000919: SWAP1
0000091a: SUB
0000091b: PUSH1 0x64
0000091d: ADD
0000091e: SWAP1
0000091f: REVERT
00000920: JUMPDEST
00000921: PUSH2 0x0929
00000924: DUP6
00000925: PUSH2 0x11a8
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH2 0x0932
0000092d: DUP5
0000092e: PUSH2 0x11a8
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH2 0x093b
00000936: DUP4
00000937: PUSH2 0x11a8
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH2 0x0944
0000093f: DUP3
00000940: PUSH2 0x11a8
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH2 0x094d
00000948: DUP2
00000949: PUSH2 0x11a8
0000094c: JUMP
0000094d: JUMPDEST
0000094e: PUSH1 0x06
00000950: DUP1
00000951: SLOAD
00000952: PUSH1 0x01
00000954: PUSH1 0x01
00000956: PUSH1 0xa0
00000958: SHL
00000959: SUB
0000095a: DUP1
0000095b: DUP9
0000095c: AND
0000095d: PUSH1 0x01
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: SHL
00000964: SUB
00000965: NOT
00000966: SWAP3
00000967: DUP4
00000968: AND
00000969: DUP2
0000096a: OR
0000096b: SWAP1
0000096c: SWAP4
0000096d: SSTORE
0000096e: PUSH1 0x07
00000970: DUP1
00000971: SLOAD
00000972: DUP9
00000973: DUP4
00000974: AND
00000975: SWAP1
00000976: DUP5
00000977: AND
00000978: OR
00000979: SWAP1
0000097a: SSTORE
0000097b: PUSH1 0x08
0000097d: DUP1
0000097e: SLOAD
0000097f: DUP8
00000980: DUP4
00000981: AND
00000982: SWAP1
00000983: DUP5
00000984: AND
00000985: OR
00000986: SWAP1
00000987: SSTORE
00000988: PUSH1 0x09
0000098a: DUP1
0000098b: SLOAD
0000098c: DUP7
0000098d: DUP4
0000098e: AND
0000098f: SWAP1
00000990: DUP5
00000991: AND
00000992: OR
00000993: SWAP1
00000994: SSTORE
00000995: PUSH1 0x0a
00000997: DUP1
00000998: SLOAD
00000999: SWAP2
0000099a: DUP6
0000099b: AND
0000099c: SWAP2
0000099d: SWAP1
0000099e: SWAP3
0000099f: AND
000009a0: OR
000009a1: SWAP1
000009a2: SSTORE
000009a3: PUSH1 0x40
000009a5: DUP1
000009a6: MLOAD
000009a7: SWAP2
000009a8: DUP3
000009a9: MSTORE
000009aa: MLOAD
000009ab: PUSH32 0xb0c89119a7c10e4c2d02306921ba368ac83d0e4b302337916017485c2791bec5
000009cc: SWAP2
000009cd: DUP2
000009ce: SWAP1
000009cf: SUB
000009d0: PUSH1 0x20
000009d2: ADD
000009d3: SWAP1
000009d4: LOG1
000009d5: PUSH1 0x40
000009d7: DUP1
000009d8: MLOAD
000009d9: PUSH1 0x01
000009db: PUSH1 0x01
000009dd: PUSH1 0xa0
000009df: SHL
000009e0: SUB
000009e1: DUP7
000009e2: AND
000009e3: DUP2
000009e4: MSTORE
000009e5: SWAP1
000009e6: MLOAD
000009e7: PUSH32 0xb0c89119a7c10e4c2d02306921ba368ac83d0e4b302337916017485c2791bec5
00000a08: SWAP2
00000a09: DUP2
00000a0a: SWAP1
00000a0b: SUB
00000a0c: PUSH1 0x20
00000a0e: ADD
00000a0f: SWAP1
00000a10: LOG1
00000a11: PUSH1 0x40
00000a13: DUP1
00000a14: MLOAD
00000a15: PUSH1 0x01
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: SHL
00000a1c: SUB
00000a1d: DUP6
00000a1e: AND
00000a1f: DUP2
00000a20: MSTORE
00000a21: SWAP1
00000a22: MLOAD
00000a23: PUSH32 0x41097dcc1f7cbd663d822443d7972f05b04f71918b30fe9fc59dd6e42e228060
00000a44: SWAP2
00000a45: DUP2
00000a46: SWAP1
00000a47: SUB
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: SWAP1
00000a4c: LOG1
00000a4d: PUSH1 0x40
00000a4f: DUP1
00000a50: MLOAD
00000a51: PUSH1 0x01
00000a53: PUSH1 0x01
00000a55: PUSH1 0xa0
00000a57: SHL
00000a58: SUB
00000a59: DUP5
00000a5a: AND
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: SWAP1
00000a5e: MLOAD
00000a5f: PUSH32 0x5962f8af633c4df1ab230096f773a514ee5adf7785c621ecdcdb764cb7f6e391
00000a80: SWAP2
00000a81: DUP2
00000a82: SWAP1
00000a83: SUB
00000a84: PUSH1 0x20
00000a86: ADD
00000a87: SWAP1
00000a88: LOG1
00000a89: PUSH1 0x40
00000a8b: DUP1
00000a8c: MLOAD
00000a8d: PUSH1 0x01
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: SHL
00000a94: SUB
00000a95: DUP4
00000a96: AND
00000a97: DUP2
00000a98: MSTORE
00000a99: SWAP1
00000a9a: MLOAD
00000a9b: PUSH32 0x8f6a6e7d20a3233e0a79883272259ffbd7a243734e397bc2b4642c79d7fa8a6d
00000abc: SWAP2
00000abd: DUP2
00000abe: SWAP1
00000abf: SUB
00000ac0: PUSH1 0x20
00000ac2: ADD
00000ac3: SWAP1
00000ac4: LOG1
00000ac5: PUSH2 0x0acc
00000ac8: PUSH2 0x1257
00000acb: JUMP
00000acc: JUMPDEST
00000acd: POP
00000ace: POP
00000acf: POP
00000ad0: POP
00000ad1: POP
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: PUSH1 0x04
00000ad6: SLOAD
00000ad7: DUP2
00000ad8: JUMP
00000ad9: JUMPDEST
00000ada: PUSH1 0x00
00000adc: PUSH2 0x0ae4
00000adf: DUP3
00000ae0: PUSH2 0x0f1f
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: SWAP3
00000ae6: SWAP2
00000ae7: POP
00000ae8: POP
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: PUSH1 0x00
00000aed: SLOAD
00000aee: PUSH1 0x01
00000af0: PUSH1 0x01
00000af2: PUSH1 0xa0
00000af4: SHL
00000af5: SUB
00000af6: AND
00000af7: SWAP1
00000af8: JUMP
00000af9: JUMPDEST
00000afa: PUSH1 0x00
00000afc: SLOAD
00000afd: PUSH1 0x01
00000aff: PUSH1 0x01
00000b01: PUSH1 0xa0
00000b03: SHL
00000b04: SUB
00000b05: AND
00000b06: CALLER
00000b07: EQ
00000b08: SWAP1
00000b09: JUMP
00000b0a: JUMPDEST
00000b0b: PUSH1 0x00
00000b0d: PUSH2 0x0ae4
00000b10: DUP3
00000b11: PUSH2 0x0f8c
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH8 0x0de0b6b3a7640000
00000b1f: DUP2
00000b20: JUMP
00000b21: JUMPDEST
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: DUP1
00000b26: PUSH1 0x40
00000b28: ADD
00000b29: PUSH1 0x40
00000b2b: MSTORE
00000b2c: DUP1
00000b2d: PUSH1 0x0b
00000b2f: DUP2
00000b30: MSTORE
00000b31: PUSH1 0x20
00000b33: ADD
00000b34: PUSH11 0x4c5154595374616b696e67
00000b40: PUSH1 0xa8
00000b42: SHL
00000b43: DUP2
00000b44: MSTORE
00000b45: POP
00000b46: DUP2
00000b47: JUMP
00000b48: JUMPDEST
00000b49: PUSH2 0x0b51
00000b4c: DUP2
00000b4d: PUSH2 0x12a1
00000b50: JUMP
00000b51: JUMPDEST
00000b52: CALLER
00000b53: PUSH1 0x00
00000b55: SWAP1
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x01
00000b5a: PUSH1 0x20
00000b5c: MSTORE
00000b5d: PUSH1 0x40
00000b5f: DUP2
00000b60: KECCAK256
00000b61: SLOAD
00000b62: SWAP1
00000b63: DUP1
00000b64: DUP3
00000b65: ISZERO
00000b66: PUSH2 0x0b80
00000b69: JUMPI
00000b6a: PUSH2 0x0b72
00000b6d: CALLER
00000b6e: PUSH2 0x0f1f
00000b71: JUMP
00000b72: JUMPDEST
00000b73: SWAP2
00000b74: POP
00000b75: PUSH2 0x0b7d
00000b78: CALLER
00000b79: PUSH2 0x0f8c
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: SWAP1
00000b7f: POP
00000b80: JUMPDEST
00000b81: PUSH2 0x0b89
00000b84: CALLER
00000b85: PUSH2 0x0fcf
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x00
00000b8c: PUSH2 0x0b9b
00000b8f: DUP5
00000b90: DUP7
00000b91: PUSH4 0xffffffff
00000b96: PUSH2 0x0e83
00000b99: AND
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: CALLER
00000b9d: PUSH1 0x00
00000b9f: SWAP1
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: PUSH1 0x01
00000ba4: PUSH1 0x20
00000ba6: MSTORE
00000ba7: PUSH1 0x40
00000ba9: SWAP1
00000baa: KECCAK256
00000bab: DUP2
00000bac: SWAP1
00000bad: SSTORE
00000bae: PUSH1 0x02
00000bb0: SLOAD
00000bb1: SWAP1
00000bb2: SWAP2
00000bb3: POP
00000bb4: PUSH2 0x0bc3
00000bb7: SWAP1
00000bb8: DUP7
00000bb9: PUSH4 0xffffffff
00000bbe: PUSH2 0x0e83
00000bc1: AND
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x02
00000bc6: DUP2
00000bc7: SWAP1
00000bc8: SSTORE
00000bc9: PUSH1 0x40
00000bcb: DUP1
00000bcc: MLOAD
00000bcd: SWAP2
00000bce: DUP3
00000bcf: MSTORE
00000bd0: MLOAD
00000bd1: PUSH32 0x1fb085b6fe1998bfcd59bfb91fb9a84d3a3a8c63a97b2b5c43247235a5ca1df7
00000bf2: SWAP2
00000bf3: DUP2
00000bf4: SWAP1
00000bf5: SUB
00000bf6: PUSH1 0x20
00000bf8: ADD
00000bf9: SWAP1
00000bfa: LOG1
00000bfb: PUSH1 0x06
00000bfd: SLOAD
00000bfe: PUSH1 0x40
00000c00: DUP1
00000c01: MLOAD
00000c02: PUSH4 0xf3a2568b
00000c07: PUSH1 0xe0
00000c09: SHL
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: CALLER
00000c0d: PUSH1 0x04
00000c0f: DUP3
00000c10: ADD
00000c11: MSTORE
00000c12: PUSH1 0x24
00000c14: DUP2
00000c15: ADD
00000c16: DUP9
00000c17: SWAP1
00000c18: MSTORE
00000c19: SWAP1
00000c1a: MLOAD
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0xa0
00000c21: SHL
00000c22: SUB
00000c23: SWAP1
00000c24: SWAP3
00000c25: AND
00000c26: SWAP2
00000c27: PUSH4 0xf3a2568b
00000c2c: SWAP2
00000c2d: PUSH1 0x44
00000c2f: DUP1
00000c30: DUP3
00000c31: ADD
00000c32: SWAP3
00000c33: PUSH1 0x00
00000c35: SWAP3
00000c36: SWAP1
00000c37: SWAP2
00000c38: SWAP1
00000c39: DUP3
00000c3a: SWAP1
00000c3b: SUB
00000c3c: ADD
00000c3d: DUP2
00000c3e: DUP4
00000c3f: DUP8
00000c40: DUP1
00000c41: EXTCODESIZE
00000c42: ISZERO
00000c43: DUP1
00000c44: ISZERO
00000c45: PUSH2 0x0c4d
00000c48: JUMPI
00000c49: PUSH1 0x00
00000c4b: DUP1
00000c4c: REVERT
00000c4d: JUMPDEST
00000c4e: POP
00000c4f: GAS
00000c50: CALL
00000c51: ISZERO
00000c52: DUP1
00000c53: ISZERO
00000c54: PUSH2 0x0c61
00000c57: JUMPI
00000c58: RETURNDATASIZE
00000c59: PUSH1 0x00
00000c5b: DUP1
00000c5c: RETURNDATACOPY
00000c5d: RETURNDATASIZE
00000c5e: PUSH1 0x00
00000c60: REVERT
00000c61: JUMPDEST
00000c62: POP
00000c63: POP
00000c64: PUSH1 0x40
00000c66: DUP1
00000c67: MLOAD
00000c68: DUP5
00000c69: DUP2
00000c6a: MSTORE
00000c6b: SWAP1
00000c6c: MLOAD
00000c6d: CALLER
00000c6e: SWAP4
00000c6f: POP
00000c70: PUSH32 0x39df0e5286a3ef2f42a0bf52f32cfe2c58e5b0405f47fe512f2c2439e4cfe204
00000c91: SWAP3
00000c92: POP
00000c93: SWAP1
00000c94: DUP2
00000c95: SWAP1
00000c96: SUB
00000c97: PUSH1 0x20
00000c99: ADD
00000c9a: SWAP1
00000c9b: LOG2
00000c9c: PUSH1 0x40
00000c9e: DUP1
00000c9f: MLOAD
00000ca0: DUP4
00000ca1: DUP2
00000ca2: MSTORE
00000ca3: PUSH1 0x20
00000ca5: DUP2
00000ca6: ADD
00000ca7: DUP6
00000ca8: SWAP1
00000ca9: MSTORE
00000caa: DUP2
00000cab: MLOAD
00000cac: CALLER
00000cad: SWAP3
00000cae: PUSH32 0xf744d34ca1cb25acfa4180df5f09a67306107110a9f4b6ed99bb3be259738215
00000ccf: SWAP3
00000cd0: DUP3
00000cd1: SWAP1
00000cd2: SUB
00000cd3: ADD
00000cd4: SWAP1
00000cd5: LOG2
00000cd6: DUP4
00000cd7: ISZERO
00000cd8: PUSH2 0x0acc
00000cdb: JUMPI
00000cdc: PUSH1 0x07
00000cde: SLOAD
00000cdf: PUSH1 0x40
00000ce1: DUP1
00000ce2: MLOAD
00000ce3: PUSH4 0xa9059cbb
00000ce8: PUSH1 0xe0
00000cea: SHL
00000ceb: DUP2
00000cec: MSTORE
00000ced: CALLER
00000cee: PUSH1 0x04
00000cf0: DUP3
00000cf1: ADD
00000cf2: MSTORE
00000cf3: PUSH1 0x24
00000cf5: DUP2
00000cf6: ADD
00000cf7: DUP6
00000cf8: SWAP1
00000cf9: MSTORE
00000cfa: SWAP1
00000cfb: MLOAD
00000cfc: PUSH1 0x01
00000cfe: PUSH1 0x01
00000d00: PUSH1 0xa0
00000d02: SHL
00000d03: SUB
00000d04: SWAP1
00000d05: SWAP3
00000d06: AND
00000d07: SWAP2
00000d08: PUSH4 0xa9059cbb
00000d0d: SWAP2
00000d0e: PUSH1 0x44
00000d10: DUP1
00000d11: DUP3
00000d12: ADD
00000d13: SWAP3
00000d14: PUSH1 0x20
00000d16: SWAP3
00000d17: SWAP1
00000d18: SWAP2
00000d19: SWAP1
00000d1a: DUP3
00000d1b: SWAP1
00000d1c: SUB
00000d1d: ADD
00000d1e: DUP2
00000d1f: PUSH1 0x00
00000d21: DUP8
00000d22: DUP1
00000d23: EXTCODESIZE
00000d24: ISZERO
00000d25: DUP1
00000d26: ISZERO
00000d27: PUSH2 0x0d2f
00000d2a: JUMPI
00000d2b: PUSH1 0x00
00000d2d: DUP1
00000d2e: REVERT
00000d2f: JUMPDEST
00000d30: POP
00000d31: GAS
00000d32: CALL
00000d33: ISZERO
00000d34: DUP1
00000d35: ISZERO
00000d36: PUSH2 0x0d43
00000d39: JUMPI
00000d3a: RETURNDATASIZE
00000d3b: PUSH1 0x00
00000d3d: DUP1
00000d3e: RETURNDATACOPY
00000d3f: RETURNDATASIZE
00000d40: PUSH1 0x00
00000d42: REVERT
00000d43: JUMPDEST
00000d44: POP
00000d45: POP
00000d46: POP
00000d47: POP
00000d48: PUSH1 0x40
00000d4a: MLOAD
00000d4b: RETURNDATASIZE
00000d4c: PUSH1 0x20
00000d4e: DUP2
00000d4f: LT
00000d50: ISZERO
00000d51: PUSH2 0x0d59
00000d54: JUMPI
00000d55: PUSH1 0x00
00000d57: DUP1
00000d58: REVERT
00000d59: JUMPDEST
00000d5a: POP
00000d5b: PUSH2 0x0acc
00000d5e: SWAP1
00000d5f: POP
00000d60: DUP4
00000d61: PUSH2 0x1099
00000d64: JUMP
00000d65: JUMPDEST
00000d66: PUSH1 0x0a
00000d68: SLOAD
00000d69: PUSH1 0x01
00000d6b: PUSH1 0x01
00000d6d: PUSH1 0xa0
00000d6f: SHL
00000d70: SUB
00000d71: AND
00000d72: DUP2
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x09
00000d77: SLOAD
00000d78: PUSH1 0x01
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0xa0
00000d7e: SHL
00000d7f: SUB
00000d80: AND
00000d81: DUP2
00000d82: JUMP
00000d83: JUMPDEST
00000d84: PUSH1 0x07
00000d86: SLOAD
00000d87: PUSH1 0x01
00000d89: PUSH1 0x01
00000d8b: PUSH1 0xa0
00000d8d: SHL
00000d8e: SUB
00000d8f: AND
00000d90: DUP2
00000d91: JUMP
00000d92: JUMPDEST
00000d93: PUSH1 0x03
00000d95: SLOAD
00000d96: DUP2
00000d97: JUMP
00000d98: JUMPDEST
00000d99: PUSH1 0x08
00000d9b: SLOAD
00000d9c: PUSH1 0x01
00000d9e: PUSH1 0x01
00000da0: PUSH1 0xa0
00000da2: SHL
00000da3: SUB
00000da4: AND
00000da5: CALLER
00000da6: EQ
00000da7: PUSH2 0x0520
00000daa: JUMPI
00000dab: PUSH1 0x40
00000dad: MLOAD
00000dae: PUSH3 0x461bcd
00000db2: PUSH1 0xe5
00000db4: SHL
00000db5: DUP2
00000db6: MSTORE
00000db7: PUSH1 0x04
00000db9: ADD
00000dba: DUP1
00000dbb: DUP1
00000dbc: PUSH1 0x20
00000dbe: ADD
00000dbf: DUP3
00000dc0: DUP2
00000dc1: SUB
00000dc2: DUP3
00000dc3: MSTORE
00000dc4: PUSH1 0x21
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x20
00000dca: ADD
00000dcb: DUP1
00000dcc: PUSH2 0x1499
00000dcf: PUSH1 0x21
00000dd1: SWAP2
00000dd2: CODECOPY
00000dd3: PUSH1 0x40
00000dd5: ADD
00000dd6: SWAP2
00000dd7: POP
00000dd8: POP
00000dd9: PUSH1 0x40
00000ddb: MLOAD
00000ddc: DUP1
00000ddd: SWAP2
00000dde: SUB
00000ddf: SWAP1
00000de0: REVERT
00000de1: JUMPDEST
00000de2: PUSH1 0x00
00000de4: DUP3
00000de5: PUSH2 0x0df0
00000de8: JUMPI
00000de9: POP
00000dea: PUSH1 0x00
00000dec: PUSH2 0x0ae4
00000def: JUMP
00000df0: JUMPDEST
00000df1: DUP3
00000df2: DUP3
00000df3: MUL
00000df4: DUP3
00000df5: DUP5
00000df6: DUP3
00000df7: DUP2
00000df8: PUSH2 0x0dfd
00000dfb: JUMPI
00000dfc: INVALID
00000dfd: JUMPDEST
00000dfe: DIV
00000dff: EQ
00000e00: PUSH2 0x0e3a
00000e03: JUMPI
00000e04: PUSH1 0x40
00000e06: MLOAD
00000e07: PUSH3 0x461bcd
00000e0b: PUSH1 0xe5
00000e0d: SHL
00000e0e: DUP2
00000e0f: MSTORE
00000e10: PUSH1 0x04
00000e12: ADD
00000e13: DUP1
00000e14: DUP1
00000e15: PUSH1 0x20
00000e17: ADD
00000e18: DUP3
00000e19: DUP2
00000e1a: SUB
00000e1b: DUP3
00000e1c: MSTORE
00000e1d: PUSH1 0x21
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: DUP1
00000e25: PUSH2 0x1453
00000e28: PUSH1 0x21
00000e2a: SWAP2
00000e2b: CODECOPY
00000e2c: PUSH1 0x40
00000e2e: ADD
00000e2f: SWAP2
00000e30: POP
00000e31: POP
00000e32: PUSH1 0x40
00000e34: MLOAD
00000e35: DUP1
00000e36: SWAP2
00000e37: SUB
00000e38: SWAP1
00000e39: REVERT
00000e3a: JUMPDEST
00000e3b: SWAP4
00000e3c: SWAP3
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x00
00000e44: PUSH2 0x0e3a
00000e47: DUP4
00000e48: DUP4
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: DUP1
00000e4d: PUSH1 0x40
00000e4f: ADD
00000e50: PUSH1 0x40
00000e52: MSTORE
00000e53: DUP1
00000e54: PUSH1 0x1a
00000e56: DUP2
00000e57: MSTORE
00000e58: PUSH1 0x20
00000e5a: ADD
00000e5b: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00000e7c: DUP2
00000e7d: MSTORE
00000e7e: POP
00000e7f: PUSH2 0x12e0
00000e82: JUMP
00000e83: JUMPDEST
00000e84: PUSH1 0x00
00000e86: DUP3
00000e87: DUP3
00000e88: ADD
00000e89: DUP4
00000e8a: DUP2
00000e8b: LT
00000e8c: ISZERO
00000e8d: PUSH2 0x0e3a
00000e90: JUMPI
00000e91: PUSH1 0x40
00000e93: DUP1
00000e94: MLOAD
00000e95: PUSH3 0x461bcd
00000e99: PUSH1 0xe5
00000e9b: SHL
00000e9c: DUP2
00000e9d: MSTORE
00000e9e: PUSH1 0x20
00000ea0: PUSH1 0x04
00000ea2: DUP3
00000ea3: ADD
00000ea4: MSTORE
00000ea5: PUSH1 0x1b
00000ea7: PUSH1 0x24
00000ea9: DUP3
00000eaa: ADD
00000eab: MSTORE
00000eac: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00000ecd: PUSH1 0x44
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: SWAP1
00000ed3: MLOAD
00000ed4: SWAP1
00000ed5: DUP2
00000ed6: SWAP1
00000ed7: SUB
00000ed8: PUSH1 0x64
00000eda: ADD
00000edb: SWAP1
00000edc: REVERT
00000edd: JUMPDEST
00000ede: PUSH1 0x00
00000ee0: DUP2
00000ee1: GT
00000ee2: PUSH2 0x0f1c
00000ee5: JUMPI
00000ee6: PUSH1 0x40
00000ee8: MLOAD
00000ee9: PUSH3 0x461bcd
00000eed: PUSH1 0xe5
00000eef: SHL
00000ef0: DUP2
00000ef1: MSTORE
00000ef2: PUSH1 0x04
00000ef4: ADD
00000ef5: DUP1
00000ef6: DUP1
00000ef7: PUSH1 0x20
00000ef9: ADD
00000efa: DUP3
00000efb: DUP2
00000efc: SUB
00000efd: DUP3
00000efe: MSTORE
00000eff: PUSH1 0x2c
00000f01: DUP2
00000f02: MSTORE
00000f03: PUSH1 0x20
00000f05: ADD
00000f06: DUP1
00000f07: PUSH2 0x1401
00000f0a: PUSH1 0x2c
00000f0c: SWAP2
00000f0d: CODECOPY
00000f0e: PUSH1 0x40
00000f10: ADD
00000f11: SWAP2
00000f12: POP
00000f13: POP
00000f14: PUSH1 0x40
00000f16: MLOAD
00000f17: DUP1
00000f18: SWAP2
00000f19: SUB
00000f1a: SWAP1
00000f1b: REVERT
00000f1c: JUMPDEST
00000f1d: POP
00000f1e: JUMP
00000f1f: JUMPDEST
00000f20: PUSH1 0x01
00000f22: PUSH1 0x01
00000f24: PUSH1 0xa0
00000f26: SHL
00000f27: SUB
00000f28: DUP2
00000f29: AND
00000f2a: PUSH1 0x00
00000f2c: SWAP1
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x05
00000f31: PUSH1 0x20
00000f33: MSTORE
00000f34: PUSH1 0x40
00000f36: DUP2
00000f37: KECCAK256
00000f38: SLOAD
00000f39: PUSH1 0x03
00000f3b: SLOAD
00000f3c: DUP3
00000f3d: SWAP1
00000f3e: PUSH2 0x0f84
00000f41: SWAP1
00000f42: PUSH8 0x0de0b6b3a7640000
00000f4b: SWAP1
00000f4c: PUSH2 0x056c
00000f4f: SWAP1
00000f50: PUSH2 0x0f5f
00000f53: SWAP1
00000f54: DUP7
00000f55: PUSH4 0xffffffff
00000f5a: PUSH2 0x1057
00000f5d: AND
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x01
00000f62: PUSH1 0x01
00000f64: PUSH1 0xa0
00000f66: SHL
00000f67: SUB
00000f68: DUP9
00000f69: AND
00000f6a: PUSH1 0x00
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x01
00000f71: PUSH1 0x20
00000f73: MSTORE
00000f74: PUSH1 0x40
00000f76: SWAP1
00000f77: KECCAK256
00000f78: SLOAD
00000f79: SWAP1
00000f7a: PUSH4 0xffffffff
00000f7f: PUSH2 0x0de1
00000f82: AND
00000f83: JUMP
00000f84: JUMPDEST
00000f85: SWAP5
00000f86: SWAP4
00000f87: POP
00000f88: POP
00000f89: POP
00000f8a: POP
00000f8b: JUMP
00000f8c: JUMPDEST
00000f8d: PUSH1 0x01
00000f8f: PUSH1 0x01
00000f91: PUSH1 0xa0
00000f93: SHL
00000f94: SUB
00000f95: DUP2
00000f96: AND
00000f97: PUSH1 0x00
00000f99: SWAP1
00000f9a: DUP2
00000f9b: MSTORE
00000f9c: PUSH1 0x05
00000f9e: PUSH1 0x20
00000fa0: MSTORE
00000fa1: PUSH1 0x40
00000fa3: DUP2
00000fa4: KECCAK256
00000fa5: PUSH1 0x01
00000fa7: ADD
00000fa8: SLOAD
00000fa9: PUSH1 0x04
00000fab: SLOAD
00000fac: DUP3
00000fad: SWAP1
00000fae: PUSH2 0x0f84
00000fb1: SWAP1
00000fb2: PUSH8 0x0de0b6b3a7640000
00000fbb: SWAP1
00000fbc: PUSH2 0x056c
00000fbf: SWAP1
00000fc0: PUSH2 0x0f5f
00000fc3: SWAP1
00000fc4: DUP7
00000fc5: PUSH4 0xffffffff
00000fca: PUSH2 0x1057
00000fcd: AND
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x03
00000fd2: DUP1
00000fd3: SLOAD
00000fd4: PUSH1 0x01
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0xa0
00000fda: SHL
00000fdb: SUB
00000fdc: DUP4
00000fdd: AND
00000fde: PUSH1 0x00
00000fe0: DUP2
00000fe1: DUP2
00000fe2: MSTORE
00000fe3: PUSH1 0x05
00000fe5: PUSH1 0x20
00000fe7: SWAP1
00000fe8: DUP2
00000fe9: MSTORE
00000fea: PUSH1 0x40
00000fec: SWAP2
00000fed: DUP3
00000fee: SWAP1
00000fef: KECCAK256
00000ff0: SWAP4
00000ff1: DUP5
00000ff2: SSTORE
00000ff3: PUSH1 0x04
00000ff5: SLOAD
00000ff6: PUSH1 0x01
00000ff8: SWAP1
00000ff9: SWAP5
00000ffa: ADD
00000ffb: DUP5
00000ffc: SWAP1
00000ffd: SSTORE
00000ffe: SWAP4
00000fff: SLOAD
00001000: DUP2
00001001: MLOAD
00001002: SWAP3
00001003: DUP4
00001004: MSTORE
00001005: SWAP4
00001006: DUP3
00001007: ADD
00001008: SWAP4
00001009: SWAP1
0000100a: SWAP4
0000100b: MSTORE
0000100c: DUP1
0000100d: DUP4
0000100e: ADD
0000100f: SWAP2
00001010: SWAP1
00001011: SWAP2
00001012: MSTORE
00001013: SWAP1
00001014: MLOAD
00001015: PUSH32 0x6b5cf27595af4428271524e0a5abd2b63f6fee1a61e31970490f5a10e257a1cd
00001036: SWAP2
00001037: DUP2
00001038: SWAP1
00001039: SUB
0000103a: PUSH1 0x60
0000103c: ADD
0000103d: SWAP1
0000103e: LOG1
0000103f: POP
00001040: JUMP
00001041: JUMPDEST
00001042: PUSH1 0x00
00001044: DUP2
00001045: DUP4
00001046: LT
00001047: PUSH2 0x1050
0000104a: JUMPI
0000104b: DUP2
0000104c: PUSH2 0x0e3a
0000104f: JUMP
00001050: JUMPDEST
00001051: POP
00001052: SWAP1
00001053: SWAP2
00001054: SWAP1
00001055: POP
00001056: JUMP
00001057: JUMPDEST
00001058: PUSH1 0x00
0000105a: PUSH2 0x0e3a
0000105d: DUP4
0000105e: DUP4
0000105f: PUSH1 0x40
00001061: MLOAD
00001062: DUP1
00001063: PUSH1 0x40
00001065: ADD
00001066: PUSH1 0x40
00001068: MSTORE
00001069: DUP1
0000106a: PUSH1 0x1e
0000106c: DUP2
0000106d: MSTORE
0000106e: PUSH1 0x20
00001070: ADD
00001071: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001092: DUP2
00001093: MSTORE
00001094: POP
00001095: PUSH2 0x1382
00001098: JUMP
00001099: JUMPDEST
0000109a: PUSH1 0x40
0000109c: DUP1
0000109d: MLOAD
0000109e: CALLER
0000109f: DUP2
000010a0: MSTORE
000010a1: PUSH1 0x20
000010a3: DUP2
000010a4: ADD
000010a5: DUP4
000010a6: SWAP1
000010a7: MSTORE
000010a8: DUP2
000010a9: MLOAD
000010aa: PUSH32 0x6109e2559dfa766aaec7118351d48a523f0a4157f49c8d68749c8ac41318ad12
000010cb: SWAP3
000010cc: SWAP2
000010cd: DUP2
000010ce: SWAP1
000010cf: SUB
000010d0: SWAP1
000010d1: SWAP2
000010d2: ADD
000010d3: SWAP1
000010d4: LOG1
000010d5: PUSH1 0x40
000010d7: MLOAD
000010d8: PUSH1 0x00
000010da: SWAP1
000010db: CALLER
000010dc: SWAP1
000010dd: DUP4
000010de: SWAP1
000010df: DUP4
000010e0: DUP2
000010e1: DUP2
000010e2: DUP2
000010e3: DUP6
000010e4: DUP8
000010e5: GAS
000010e6: CALL
000010e7: SWAP3
000010e8: POP
000010e9: POP
000010ea: POP
000010eb: RETURNDATASIZE
000010ec: DUP1
000010ed: PUSH1 0x00
000010ef: DUP2
000010f0: EQ
000010f1: PUSH2 0x1116
000010f4: JUMPI
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: SWAP2
000010f9: POP
000010fa: PUSH1 0x1f
000010fc: NOT
000010fd: PUSH1 0x3f
000010ff: RETURNDATASIZE
00001100: ADD
00001101: AND
00001102: DUP3
00001103: ADD
00001104: PUSH1 0x40
00001106: MSTORE
00001107: RETURNDATASIZE
00001108: DUP3
00001109: MSTORE
0000110a: RETURNDATASIZE
0000110b: PUSH1 0x00
0000110d: PUSH1 0x20
0000110f: DUP5
00001110: ADD
00001111: RETURNDATACOPY
00001112: PUSH2 0x111b
00001115: JUMP
00001116: JUMPDEST
00001117: PUSH1 0x60
00001119: SWAP2
0000111a: POP
0000111b: JUMPDEST
0000111c: POP
0000111d: POP
0000111e: SWAP1
0000111f: POP
00001120: DUP1
00001121: PUSH2 0x115b
00001124: JUMPI
00001125: PUSH1 0x40
00001127: MLOAD
00001128: PUSH3 0x461bcd
0000112c: PUSH1 0xe5
0000112e: SHL
0000112f: DUP2
00001130: MSTORE
00001131: PUSH1 0x04
00001133: ADD
00001134: DUP1
00001135: DUP1
00001136: PUSH1 0x20
00001138: ADD
00001139: DUP3
0000113a: DUP2
0000113b: SUB
0000113c: DUP3
0000113d: MSTORE
0000113e: PUSH1 0x2f
00001140: DUP2
00001141: MSTORE
00001142: PUSH1 0x20
00001144: ADD
00001145: DUP1
00001146: PUSH2 0x14ba
00001149: PUSH1 0x2f
0000114b: SWAP2
0000114c: CODECOPY
0000114d: PUSH1 0x40
0000114f: ADD
00001150: SWAP2
00001151: POP
00001152: POP
00001153: PUSH1 0x40
00001155: MLOAD
00001156: DUP1
00001157: SWAP2
00001158: SUB
00001159: SWAP1
0000115a: REVERT
0000115b: JUMPDEST
0000115c: POP
0000115d: POP
0000115e: JUMP
0000115f: JUMPDEST
00001160: PUSH1 0x09
00001162: SLOAD
00001163: PUSH1 0x01
00001165: PUSH1 0x01
00001167: PUSH1 0xa0
00001169: SHL
0000116a: SUB
0000116b: AND
0000116c: CALLER
0000116d: EQ
0000116e: PUSH2 0x0520
00001171: JUMPI
00001172: PUSH1 0x40
00001174: MLOAD
00001175: PUSH3 0x461bcd
00001179: PUSH1 0xe5
0000117b: SHL
0000117c: DUP2
0000117d: MSTORE
0000117e: PUSH1 0x04
00001180: ADD
00001181: DUP1
00001182: DUP1
00001183: PUSH1 0x20
00001185: ADD
00001186: DUP3
00001187: DUP2
00001188: SUB
00001189: DUP3
0000118a: MSTORE
0000118b: PUSH1 0x26
0000118d: DUP2
0000118e: MSTORE
0000118f: PUSH1 0x20
00001191: ADD
00001192: DUP1
00001193: PUSH2 0x142d
00001196: PUSH1 0x26
00001198: SWAP2
00001199: CODECOPY
0000119a: PUSH1 0x40
0000119c: ADD
0000119d: SWAP2
0000119e: POP
0000119f: POP
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: DUP1
000011a4: SWAP2
000011a5: SUB
000011a6: SWAP1
000011a7: REVERT
000011a8: JUMPDEST
000011a9: PUSH1 0x01
000011ab: PUSH1 0x01
000011ad: PUSH1 0xa0
000011af: SHL
000011b0: SUB
000011b1: DUP2
000011b2: AND
000011b3: PUSH2 0x1203
000011b6: JUMPI
000011b7: PUSH1 0x40
000011b9: DUP1
000011ba: MLOAD
000011bb: PUSH3 0x461bcd
000011bf: PUSH1 0xe5
000011c1: SHL
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x20
000011c6: PUSH1 0x04
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: PUSH1 0x1e
000011cd: PUSH1 0x24
000011cf: DUP3
000011d0: ADD
000011d1: MSTORE
000011d2: PUSH32 0x4163636f756e742063616e6e6f74206265207a65726f20616464726573730000
000011f3: PUSH1 0x44
000011f5: DUP3
000011f6: ADD
000011f7: MSTORE
000011f8: SWAP1
000011f9: MLOAD
000011fa: SWAP1
000011fb: DUP2
000011fc: SWAP1
000011fd: SUB
000011fe: PUSH1 0x64
00001200: ADD
00001201: SWAP1
00001202: REVERT
00001203: JUMPDEST
00001204: DUP1
00001205: EXTCODESIZE
00001206: DUP1
00001207: PUSH2 0x115b
0000120a: JUMPI
0000120b: PUSH1 0x40
0000120d: DUP1
0000120e: MLOAD
0000120f: PUSH3 0x461bcd
00001213: PUSH1 0xe5
00001215: SHL
00001216: DUP2
00001217: MSTORE
00001218: PUSH1 0x20
0000121a: PUSH1 0x04
0000121c: DUP3
0000121d: ADD
0000121e: DUP2
0000121f: SWAP1
00001220: MSTORE
00001221: PUSH1 0x24
00001223: DUP3
00001224: ADD
00001225: MSTORE
00001226: PUSH32 0x4163636f756e7420636f64652073697a652063616e6e6f74206265207a65726f
00001247: PUSH1 0x44
00001249: DUP3
0000124a: ADD
0000124b: MSTORE
0000124c: SWAP1
0000124d: MLOAD
0000124e: SWAP1
0000124f: DUP2
00001250: SWAP1
00001251: SUB
00001252: PUSH1 0x64
00001254: ADD
00001255: SWAP1
00001256: REVERT
00001257: JUMPDEST
00001258: PUSH1 0x00
0000125a: DUP1
0000125b: SLOAD
0000125c: PUSH1 0x40
0000125e: MLOAD
0000125f: PUSH1 0x01
00001261: PUSH1 0x01
00001263: PUSH1 0xa0
00001265: SHL
00001266: SUB
00001267: SWAP1
00001268: SWAP2
00001269: AND
0000126a: SWAP1
0000126b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000128c: SWAP1
0000128d: DUP4
0000128e: SWAP1
0000128f: LOG3
00001290: PUSH1 0x00
00001292: DUP1
00001293: SLOAD
00001294: PUSH1 0x01
00001296: PUSH1 0x01
00001298: PUSH1 0xa0
0000129a: SHL
0000129b: SUB
0000129c: NOT
0000129d: AND
0000129e: SWAP1
0000129f: SSTORE
000012a0: JUMP
000012a1: JUMPDEST
000012a2: PUSH1 0x00
000012a4: DUP2
000012a5: GT
000012a6: PUSH2 0x0f1c
000012a9: JUMPI
000012aa: PUSH1 0x40
000012ac: MLOAD
000012ad: PUSH3 0x461bcd
000012b1: PUSH1 0xe5
000012b3: SHL
000012b4: DUP2
000012b5: MSTORE
000012b6: PUSH1 0x04
000012b8: ADD
000012b9: DUP1
000012ba: DUP1
000012bb: PUSH1 0x20
000012bd: ADD
000012be: DUP3
000012bf: DUP2
000012c0: SUB
000012c1: DUP3
000012c2: MSTORE
000012c3: PUSH1 0x24
000012c5: DUP2
000012c6: MSTORE
000012c7: PUSH1 0x20
000012c9: ADD
000012ca: DUP1
000012cb: PUSH2 0x13dd
000012ce: PUSH1 0x24
000012d0: SWAP2
000012d1: CODECOPY
000012d2: PUSH1 0x40
000012d4: ADD
000012d5: SWAP2
000012d6: POP
000012d7: POP
000012d8: PUSH1 0x40
000012da: MLOAD
000012db: DUP1
000012dc: SWAP2
000012dd: SUB
000012de: SWAP1
000012df: REVERT
000012e0: JUMPDEST
000012e1: PUSH1 0x00
000012e3: DUP2
000012e4: DUP4
000012e5: PUSH2 0x136c
000012e8: JUMPI
000012e9: PUSH1 0x40
000012eb: MLOAD
000012ec: PUSH3 0x461bcd
000012f0: PUSH1 0xe5
000012f2: SHL
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x04
000012f7: ADD
000012f8: DUP1
000012f9: DUP1
000012fa: PUSH1 0x20
000012fc: ADD
000012fd: DUP3
000012fe: DUP2
000012ff: SUB
00001300: DUP3
00001301: MSTORE
00001302: DUP4
00001303: DUP2
00001304: DUP2
00001305: MLOAD
00001306: DUP2
00001307: MSTORE
00001308: PUSH1 0x20
0000130a: ADD
0000130b: SWAP2
0000130c: POP
0000130d: DUP1
0000130e: MLOAD
0000130f: SWAP1
00001310: PUSH1 0x20
00001312: ADD
00001313: SWAP1
00001314: DUP1
00001315: DUP4
00001316: DUP4
00001317: PUSH1 0x00
00001319: JUMPDEST
0000131a: DUP4
0000131b: DUP2
0000131c: LT
0000131d: ISZERO
0000131e: PUSH2 0x1331
00001321: JUMPI
00001322: DUP2
00001323: DUP2
00001324: ADD
00001325: MLOAD
00001326: DUP4
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH1 0x20
0000132c: ADD
0000132d: PUSH2 0x1319
00001330: JUMP
00001331: JUMPDEST
00001332: POP
00001333: POP
00001334: POP
00001335: POP
00001336: SWAP1
00001337: POP
00001338: SWAP1
00001339: DUP2
0000133a: ADD
0000133b: SWAP1
0000133c: PUSH1 0x1f
0000133e: AND
0000133f: DUP1
00001340: ISZERO
00001341: PUSH2 0x135e
00001344: JUMPI
00001345: DUP1
00001346: DUP3
00001347: SUB
00001348: DUP1
00001349: MLOAD
0000134a: PUSH1 0x01
0000134c: DUP4
0000134d: PUSH1 0x20
0000134f: SUB
00001350: PUSH2 0x0100
00001353: EXP
00001354: SUB
00001355: NOT
00001356: AND
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: SWAP2
0000135d: POP
0000135e: JUMPDEST
0000135f: POP
00001360: SWAP3
00001361: POP
00001362: POP
00001363: POP
00001364: PUSH1 0x40
00001366: MLOAD
00001367: DUP1
00001368: SWAP2
00001369: SUB
0000136a: SWAP1
0000136b: REVERT
0000136c: JUMPDEST
0000136d: POP
0000136e: PUSH1 0x00
00001370: DUP4
00001371: DUP6
00001372: DUP2
00001373: PUSH2 0x1378
00001376: JUMPI
00001377: INVALID
00001378: JUMPDEST
00001379: DIV
0000137a: SWAP6
0000137b: SWAP5
0000137c: POP
0000137d: POP
0000137e: POP
0000137f: POP
00001380: POP
00001381: JUMP
00001382: JUMPDEST
00001383: PUSH1 0x00
00001385: DUP2
00001386: DUP5
00001387: DUP5
00001388: GT
00001389: ISZERO
0000138a: PUSH2 0x13d4
0000138d: JUMPI
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: PUSH3 0x461bcd
00001395: PUSH1 0xe5
00001397: SHL
00001398: DUP2
00001399: MSTORE
0000139a: PUSH1 0x20
0000139c: PUSH1 0x04
0000139e: DUP3
0000139f: ADD
000013a0: DUP2
000013a1: DUP2
000013a2: MSTORE
000013a3: DUP4
000013a4: MLOAD
000013a5: PUSH1 0x24
000013a7: DUP5
000013a8: ADD
000013a9: MSTORE
000013aa: DUP4
000013ab: MLOAD
000013ac: SWAP1
000013ad: SWAP3
000013ae: DUP4
000013af: SWAP3
000013b0: PUSH1 0x44
000013b2: SWAP1
000013b3: SWAP2
000013b4: ADD
000013b5: SWAP2
000013b6: SWAP1
000013b7: DUP6
000013b8: ADD
000013b9: SWAP1
000013ba: DUP1
000013bb: DUP4
000013bc: DUP4
000013bd: PUSH1 0x00
000013bf: DUP4
000013c0: ISZERO
000013c1: PUSH2 0x1331
000013c4: JUMPI
000013c5: DUP2
000013c6: DUP2
000013c7: ADD
000013c8: MLOAD
000013c9: DUP4
000013ca: DUP3
000013cb: ADD
000013cc: MSTORE
000013cd: PUSH1 0x20
000013cf: ADD
000013d0: PUSH2 0x1319
000013d3: JUMP
000013d4: JUMPDEST
000013d5: POP
000013d6: POP
000013d7: POP
000013d8: SWAP1
000013d9: SUB
000013da: SWAP1
000013db: JUMP
000013dc: INVALID
000013dd: UNKNOWN(0x4C)
000013de: MLOAD
000013df: SLOAD
000013e0: MSIZE
000013e1: MSTORE8
000013e2: PUSH21 0x616b696e673a20416d6f756e74206d757374206265
000013f8: KECCAK256
000013f9: PUSH15 0x6f6e2d7a65726f4c5154595374616b
00001409: PUSH10 0x6e673a2055736572206d
00001414: PUSH22 0x737420686176652061206e6f6e2d7a65726f20737461
0000142b: PUSH12 0x654c5154595374616b696e67
00001438: GASPRICE
00001439: KECCAK256
0000143a: PUSH4 0x616c6c65
0000143f: PUSH19 0x206973206e6f7420426f72726f7765724f7073
00001453: MSTORE8
00001454: PUSH2 0x6665
00001457: UNKNOWN(0x4D)
00001458: PUSH2 0x7468
0000145b: GASPRICE
0000145c: KECCAK256
0000145d: PUSH14 0x756c7469706c69636174696f6e20
0000146c: PUSH16 0x766572666c6f774c5154595374616b69
0000147d: PUSH15 0x673a2063616c6c6572206973206e6f
0000148d: PUSH21 0x20416374697665506f6f6c4c5154595374616b696e
000014a3: PUSH8 0x3a2063616c6c6572
000014ac: KECCAK256
000014ad: PUSH10 0x73206e6f742054726f76
000014b8: PUSH6 0x4d4c51545953
000014bf: PUSH21 0x616b696e673a204661696c656420746f2073656e64
000014d5: KECCAK256
000014d6: PUSH2 0x6363
000014d9: PUSH22 0x6d756c61746564204554484761696ea2646970667358
000014f0: UNKNOWN(0x22)
000014f1: SLT
000014f2: KECCAK256
000014f3: SELFBALANCE
000014f4: ORIGIN
000014f5: UNKNOWN(0xD9)
000014f6: UNKNOWN(0xE5)
000014f7: UNKNOWN(0xC9)
000014f8: SWAP3
000014f9: UNKNOWN(0xC8)
000014fa: OR
000014fb: UNKNOWN(0xCA)
000014fc: UNKNOWN(0xFC)
000014fd: UNKNOWN(0xB4)
000014fe: SELFBALANCE
000014ff: UNKNOWN(0xAB)
00001500: PUSH23 0x8496ecdb2c88cc9178701a1dd8ca269cc77264736f6c63
00001518: NUMBER
00001519: STOP
0000151a: MOD
0000151b: SIGNEXTEND
0000151c: STOP
0000151d: CALLER