Analysis Run

[codex:514099] OpenAI Codex v0.77.0 (research preview)
[codex:514099] --------
[codex:514099] workdir: /tmp/codex-multi-6vpa08l9
[codex:514099] model: gpt-5.2-codex
[codex:514099] provider: openai
[codex:514099] approval: never
[codex:514099] sandbox: read-only
[codex:514099] reasoning effort: none
[codex:514099] reasoning summaries: auto
[codex:514099] session id: 019b4de3-e624-79b2-8aa4-15313a9073a6
[codex:514099] --------
[codex:514099] user
[codex:514099] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:514099] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:514099] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:514099] 
[codex:514099] Scope rules:
[codex:514099] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:514099] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:514099] 
[codex:514099] Output MUST be valid JSON matching the provided schema.
[codex:514099] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:514099] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:514099] 
[codex:514099] Output constraints (IMPORTANT):
[codex:514099] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:514099] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:514099] mcp startup: no servers
[codex:514099] 
[codex:514099] thinking
[codex:514099] **Preparing to read audit bundle**
[codex:514099] exec
[codex:514099] /bin/bash -lc ls in /tmp/codex-multi-6vpa08l9 succeeded in 5ms:
[codex:514099] AUDIT_BUNDLE.txt
[codex:514099] codex-output-schema.json
[codex:514099] contracts
[codex:514099] exec
[codex:514099] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-6vpa08l9 succeeded in 5ms:
[codex:514099] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:514099] 
[codex:514099] ================================================================================
[codex:514099] FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Address.sol
[codex:514099] ================================================================================
[codex:514099] // SPDX-License-Identifier: agpl-3.0
[codex:514099] pragma solidity 0.6.12;
[codex:514099] 
[codex:514099] /**
[codex:514099]  * @dev Collection of functions related to the address type
[codex:514099]  */
[codex:514099] library Address {
[codex:514099]   /**
[codex:514099]    * @dev Returns true if `account` is a contract.
[codex:514099]    *
[codex:514099]    * [IMPORTANT]
[codex:514099]    * ====
[codex:514099]    * It is unsafe to assume that an address for which this function returns
[codex:514099]    * false is an externally-owned account (EOA) and not a contract.
[codex:514099]    *
[codex:514099] 
[codex:514099] thinking
[codex:514099] **Searching for first-party files**
[codex:514099] exec
[codex:514099] /bin/bash -lc 'rg "''^FILE:" -n AUDIT_BUNDLE.txt' in /tmp/codex-multi-6vpa08l9 succeeded in 6ms:
[codex:514099] 4:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Address.sol
[codex:514099] 69:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Context.sol
[codex:514099] 96:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/IERC20.sol
[codex:514099] 180:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/IERC20Detailed.sol
[codex:514099] 196:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/SafeERC20.sol
[codex:514099] 264:FILE: contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/SafeMath.sol
[codex:514099] 431:FILE: contracts/@aave/protocol-v2/contracts/interfaces/IAToken.sol
[codex:514099] 551:FILE: contracts/@aave/protocol-v2/contracts/interfaces/IAaveIncentivesController.sol
[codex:514099] 566:FILE: contracts/@aave/protocol-v2/contracts/interfaces/ILendingPool.sol
[codex:514099] 980:FILE: contracts/@aave/protocol-v2/contracts/interfaces/ILendingPoolAddressesProvider.sol
[codex:514099] 1044:FILE: contracts/@aave/protocol-v2/contracts/interfaces/IScaledBalanceToken.sol
[codex:514099] 1074:FILE: contracts/@aave/protocol-v2/contracts/protocol/libraries/aave-upgradeability/VersionedInitializable.sol
[codex:514099] 1155:FILE: contracts/@aave/protocol-v2/contracts/protocol/libraries/helpers/Errors.sol
[codex:514099] 1278:FILE: contracts/@aave/protocol-v2/contracts/protocol/libraries/math/WadRayMath.sol
[codex:514099] 1417:FILE: contracts/@aave/protocol-v2/contracts/protocol/libraries/types/DataTypes.sol
[codex:514099] 1470:FILE: contracts/@aave/protocol-v2/contracts/protocol/tokenization/AToken.sol
[codex:514099] 1835:FILE: contracts/@aave/protocol-v2/contracts/protocol/tokenization/IncentivizedERC20.sol
[codex:514099] 
[codex:514099] thinking
[codex:514099] **Checking first-party versus third-party contracts**
[codex:514099] exec
[codex:514099] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-6vpa08l9 succeeded in 8ms:
[codex:514099] contracts/@aave/protocol-v2/contracts/interfaces/IAaveIncentivesController.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/interfaces/ILendingPool.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/interfaces/ILendingPoolAddressesProvider.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/interfaces/IAToken.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/interfaces/IScaledBalanceToken.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/libraries/math/WadRayMath.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/tokenization/AToken.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/tokenization/IncentivizedERC20.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/libraries/helpers/Errors.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/libraries/aave-upgradeability/VersionedInitializable.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/protocol/libraries/types/DataTypes.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/SafeERC20.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Context.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/SafeMath.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/Address.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/IERC20.sol
[codex:514099] contracts/@aave/protocol-v2/contracts/dependencies/openzeppelin/contracts/IERC20Detailed.sol
[codex:514099] 
[codex:514099] thinking
[codex:514099] **Evaluating third-party Aave libraries**
[codex:514099] exec
[codex:514099] /bin/bash -lc "sed -n '1470,1835p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-6vpa08l9 succeeded in 5ms:
[codex:514099] FILE: contracts/@aave/protocol-v2/contracts/protocol/tokenization/AToken.sol
[codex:514099] ================================================================================
[codex:514099] // SPDX-License-Identifier: agpl-3.0
[codex:514099] pragma solidity 0.6.12;
[codex:514099] 
[codex:514099] import {IERC20} from '../../dependencies/openzeppelin/contracts/IERC20.sol';
[codex:514099] import {SafeERC20} from '../../dependencies/openzeppelin/contracts/SafeERC20.sol';
[codex:514099] import {ILendingPool} from '../../interfaces/ILendingPool.sol';
[codex:514099] import {IAToken} from '../../interfaces/IAToken.sol';
[codex:514099] import {WadRayMath} from '../libraries/math/WadRayMath.sol';
[codex:514099] import {Errors} from '../libraries/helpers/Errors.sol';
[codex:514099] import {VersionedInitializable} from '../libraries/aave-upgradeability/VersionedInitializable.sol';
[codex:514099] import {IncentivizedERC20} from './IncentivizedERC20.sol';
[codex:514099] import {IAaveIncentivesController} from '../../interfaces/IAaveIncentivesController.sol';
[codex:514099] 
[codex:514099] /**
[codex:514099]  * @title Aave ERC20 AToken
[codex:514099]  * @dev Implementation of the interest bearing token for the Aave protocol
[codex:514099]  * @author Aave
[codex:514099]  */
[codex:514099] exec
[codex:514099] /bin/bash -lc "sed -n '1835,2200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-6vpa08l9 succeeded in 6ms:
[codex:514099] FILE: contracts/@aave/protocol-v2/contracts/protocol/tokenization/IncentivizedERC20.sol
[codex:514099] ================================================================================
[codex:514099] // SPDX-License-Identifier: agpl-3.0
[codex:514099] pragma solidity 0.6.12;
[codex:514099] 
[codex:514099] import {Context} from '../../dependencies/openzeppelin/contracts/Context.sol';
[codex:514099] import {IERC20} from '../../dependencies/openzeppelin/contracts/IERC20.sol';
[codex:514099] import {IERC20Detailed} from '../../dependencies/openzeppelin/contracts/IERC20Detailed.sol';
[codex:514099] import {SafeMath} from '../../dependencies/openzeppelin/contracts/SafeMath.sol';
[codex:514099] import {IAaveIncentivesController} from '../../interfaces/IAaveIncentivesController.sol';
[codex:514099] 
[codex:514099] /**
[codex:514099]  * @title ERC20
[codex:514099]  * @notice Basic ERC20 implementation
[codex:514099]  * @author Aave, inspired by the Openzeppelin ERC20 implementation
[codex:514099]  **/
[codex:514099] contract IncentivizedERC20 is Context, IERC20, IERC20Detailed {
[codex:514099]   using SafeMath for uint256;
[codex:514099] 
[codex:514099]   IAaveIncentivesController internal immutable _incentivesController;
[codex:514099] 
[codex:514099] thinking
[codex:514099] **Assessing potential vulnerabilities and no-findings decision**
[codex:514099] 
[codex:514099] I'm reviewing subtle concerns like signature malleability due to missing s and v checks in ecrecover, and possible reentrancy risks via external calls to incentivesController and safeTransfer in AToken methods. Though these might raise low-severity flags, they appear mitigated by nonce usage and call patterns. Overall, I lean toward reporting no findings, producing a valid JSON summary reflecting this cautious but clean assessment.
[codex:514099] codex
[codex:514099] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (Aave V2 tokenization and interfaces). No exploitable issues identified in the provided first-party scope.","findings":[]}
[codex:514099] tokens used
[codex:514099] 21,934
[codex:514099] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (Aave V2 tokenization and interfaces). No exploitable issues identified in the provided first-party scope.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-24T01:06:13.404358+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (Aave V2 tokenization and interfaces). No exploitable issues identified in the provided first-party scope.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (Aave V2 tokenization and interfaces). No exploitable issues identified in the provided first-party scope.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01e5
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7535d246
00000026: GT
00000027: PUSH2 0x010f
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xb16a19de
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xd505accf
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xd505accf
00000047: EQ
00000048: PUSH2 0x060d
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xd7020d0a
00000052: EQ
00000053: PUSH2 0x065e
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x069a
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf866c319
00000068: EQ
00000069: PUSH2 0x06c8
0000006c: JUMPI
0000006d: PUSH2 0x01e5
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xb16a19de
00000078: EQ
00000079: PUSH2 0x05cf
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xb1bf962d
00000083: EQ
00000084: PUSH2 0x05d7
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xb9844d8d
0000008e: EQ
0000008f: PUSH2 0x05df
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xd0fc81d2
00000099: EQ
0000009a: PUSH2 0x0605
0000009d: JUMPI
0000009e: PUSH2 0x01e5
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x95d89b41
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x95d89b41
000000b4: EQ
000000b5: PUSH2 0x0567
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa457c2d7
000000bf: EQ
000000c0: PUSH2 0x056f
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xa9059cbb
000000ca: EQ
000000cb: PUSH2 0x059b
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xae167335
000000d5: EQ
000000d6: PUSH2 0x05c7
000000d9: JUMPI
000000da: PUSH2 0x01e5
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x7535d246
000000e5: EQ
000000e6: PUSH2 0x0510
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x75d26413
000000f0: EQ
000000f1: PUSH2 0x0534
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x78160376
000000fb: EQ
000000fc: PUSH2 0x053c
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x7df5bd3b
00000106: EQ
00000107: PUSH2 0x0544
0000010a: JUMPI
0000010b: PUSH2 0x01e5
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x23b872dd
00000116: GT
00000117: PUSH2 0x0187
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x3644e515
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x3644e515
0000012c: EQ
0000012d: PUSH2 0x048a
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x39509351
00000137: EQ
00000138: PUSH2 0x0492
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x4efecaa5
00000142: EQ
00000143: PUSH2 0x04be
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x70a08231
0000014d: EQ
0000014e: PUSH2 0x04ea
00000151: JUMPI
00000152: PUSH2 0x01e5
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x23b872dd
0000015d: EQ
0000015e: PUSH2 0x0360
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x30adf81f
00000168: EQ
00000169: PUSH2 0x0396
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x3118724e
00000173: EQ
00000174: PUSH2 0x039e
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x313ce567
0000017e: EQ
0000017f: PUSH2 0x046c
00000182: JUMPI
00000183: PUSH2 0x01e5
00000186: JUMP
00000187: JUMPDEST
00000188: DUP1
00000189: PUSH4 0x0bd7ad3b
0000018e: GT
0000018f: PUSH2 0x01c3
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x0bd7ad3b
00000199: EQ
0000019a: PUSH2 0x02e6
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x156e29f6
000001a4: EQ
000001a5: PUSH2 0x0300
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x18160ddd
000001af: EQ
000001b0: PUSH2 0x0332
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0x1da24f3e
000001ba: EQ
000001bb: PUSH2 0x033a
000001be: JUMPI
000001bf: PUSH2 0x01e5
000001c2: JUMP
000001c3: JUMPDEST
000001c4: DUP1
000001c5: PUSH4 0x06fdde03
000001ca: EQ
000001cb: PUSH2 0x01ea
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x095ea7b3
000001d5: EQ
000001d6: PUSH2 0x0267
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x0afbcdc9
000001e0: EQ
000001e1: PUSH2 0x02a7
000001e4: JUMPI
000001e5: JUMPDEST
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: PUSH2 0x01f2
000001ee: PUSH2 0x06fe
000001f1: JUMP
000001f2: JUMPDEST
000001f3: PUSH1 0x40
000001f5: DUP1
000001f6: MLOAD
000001f7: PUSH1 0x20
000001f9: DUP1
000001fa: DUP3
000001fb: MSTORE
000001fc: DUP4
000001fd: MLOAD
000001fe: DUP2
000001ff: DUP4
00000200: ADD
00000201: MSTORE
00000202: DUP4
00000203: MLOAD
00000204: SWAP2
00000205: SWAP3
00000206: DUP4
00000207: SWAP3
00000208: SWAP1
00000209: DUP4
0000020a: ADD
0000020b: SWAP2
0000020c: DUP6
0000020d: ADD
0000020e: SWAP1
0000020f: DUP1
00000210: DUP4
00000211: DUP4
00000212: PUSH1 0x00
00000214: JUMPDEST
00000215: DUP4
00000216: DUP2
00000217: LT
00000218: ISZERO
00000219: PUSH2 0x022c
0000021c: JUMPI
0000021d: DUP2
0000021e: DUP2
0000021f: ADD
00000220: MLOAD
00000221: DUP4
00000222: DUP3
00000223: ADD
00000224: MSTORE
00000225: PUSH1 0x20
00000227: ADD
00000228: PUSH2 0x0214
0000022b: JUMP
0000022c: JUMPDEST
0000022d: POP
0000022e: POP
0000022f: POP
00000230: POP
00000231: SWAP1
00000232: POP
00000233: SWAP1
00000234: DUP2
00000235: ADD
00000236: SWAP1
00000237: PUSH1 0x1f
00000239: AND
0000023a: DUP1
0000023b: ISZERO
0000023c: PUSH2 0x0259
0000023f: JUMPI
00000240: DUP1
00000241: DUP3
00000242: SUB
00000243: DUP1
00000244: MLOAD
00000245: PUSH1 0x01
00000247: DUP4
00000248: PUSH1 0x20
0000024a: SUB
0000024b: PUSH2 0x0100
0000024e: EXP
0000024f: SUB
00000250: NOT
00000251: AND
00000252: DUP2
00000253: MSTORE
00000254: PUSH1 0x20
00000256: ADD
00000257: SWAP2
00000258: POP
00000259: JUMPDEST
0000025a: POP
0000025b: SWAP3
0000025c: POP
0000025d: POP
0000025e: POP
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: DUP1
00000263: SWAP2
00000264: SUB
00000265: SWAP1
00000266: RETURN
00000267: JUMPDEST
00000268: PUSH2 0x0293
0000026b: PUSH1 0x04
0000026d: DUP1
0000026e: CALLDATASIZE
0000026f: SUB
00000270: PUSH1 0x40
00000272: DUP2
00000273: LT
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH1 0x01
00000281: PUSH1 0x01
00000283: PUSH1 0xa0
00000285: SHL
00000286: SUB
00000287: DUP2
00000288: CALLDATALOAD
00000289: AND
0000028a: SWAP1
0000028b: PUSH1 0x20
0000028d: ADD
0000028e: CALLDATALOAD
0000028f: PUSH2 0x0795
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x40
00000296: DUP1
00000297: MLOAD
00000298: SWAP2
00000299: ISZERO
0000029a: ISZERO
0000029b: DUP3
0000029c: MSTORE
0000029d: MLOAD
0000029e: SWAP1
0000029f: DUP2
000002a0: SWAP1
000002a1: SUB
000002a2: PUSH1 0x20
000002a4: ADD
000002a5: SWAP1
000002a6: RETURN
000002a7: JUMPDEST
000002a8: PUSH2 0x02cd
000002ab: PUSH1 0x04
000002ad: DUP1
000002ae: CALLDATASIZE
000002af: SUB
000002b0: PUSH1 0x20
000002b2: DUP2
000002b3: LT
000002b4: ISZERO
000002b5: PUSH2 0x02bd
000002b8: JUMPI
000002b9: PUSH1 0x00
000002bb: DUP1
000002bc: REVERT
000002bd: JUMPDEST
000002be: POP
000002bf: CALLDATALOAD
000002c0: PUSH1 0x01
000002c2: PUSH1 0x01
000002c4: PUSH1 0xa0
000002c6: SHL
000002c7: SUB
000002c8: AND
000002c9: PUSH2 0x07b3
000002cc: JUMP
000002cd: JUMPDEST
000002ce: PUSH1 0x40
000002d0: DUP1
000002d1: MLOAD
000002d2: SWAP3
000002d3: DUP4
000002d4: MSTORE
000002d5: PUSH1 0x20
000002d7: DUP4
000002d8: ADD
000002d9: SWAP2
000002da: SWAP1
000002db: SWAP2
000002dc: MSTORE
000002dd: DUP1
000002de: MLOAD
000002df: SWAP2
000002e0: DUP3
000002e1: SWAP1
000002e2: SUB
000002e3: ADD
000002e4: SWAP1
000002e5: RETURN
000002e6: JUMPDEST
000002e7: PUSH2 0x02ee
000002ea: PUSH2 0x07d0
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x40
000002f1: DUP1
000002f2: MLOAD
000002f3: SWAP2
000002f4: DUP3
000002f5: MSTORE
000002f6: MLOAD
000002f7: SWAP1
000002f8: DUP2
000002f9: SWAP1
000002fa: SUB
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP1
000002ff: RETURN
00000300: JUMPDEST
00000301: PUSH2 0x0293
00000304: PUSH1 0x04
00000306: DUP1
00000307: CALLDATASIZE
00000308: SUB
00000309: PUSH1 0x60
0000030b: DUP2
0000030c: LT
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH1 0x01
0000031a: PUSH1 0x01
0000031c: PUSH1 0xa0
0000031e: SHL
0000031f: SUB
00000320: DUP2
00000321: CALLDATALOAD
00000322: AND
00000323: SWAP1
00000324: PUSH1 0x20
00000326: DUP2
00000327: ADD
00000328: CALLDATALOAD
00000329: SWAP1
0000032a: PUSH1 0x40
0000032c: ADD
0000032d: CALLDATALOAD
0000032e: PUSH2 0x07d5
00000331: JUMP
00000332: JUMPDEST
00000333: PUSH2 0x02ee
00000336: PUSH2 0x09c0
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x02ee
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: PUSH1 0x20
00000345: DUP2
00000346: LT
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: POP
00000352: CALLDATALOAD
00000353: PUSH1 0x01
00000355: PUSH1 0x01
00000357: PUSH1 0xa0
00000359: SHL
0000035a: SUB
0000035b: AND
0000035c: PUSH2 0x0aa5
0000035f: JUMP
00000360: JUMPDEST
00000361: PUSH2 0x0293
00000364: PUSH1 0x04
00000366: DUP1
00000367: CALLDATASIZE
00000368: SUB
00000369: PUSH1 0x60
0000036b: DUP2
0000036c: LT
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH1 0x01
0000037a: PUSH1 0x01
0000037c: PUSH1 0xa0
0000037e: SHL
0000037f: SUB
00000380: DUP2
00000381: CALLDATALOAD
00000382: DUP2
00000383: AND
00000384: SWAP2
00000385: PUSH1 0x20
00000387: DUP2
00000388: ADD
00000389: CALLDATALOAD
0000038a: SWAP1
0000038b: SWAP2
0000038c: AND
0000038d: SWAP1
0000038e: PUSH1 0x40
00000390: ADD
00000391: CALLDATALOAD
00000392: PUSH2 0x0ab0
00000395: JUMP
00000396: JUMPDEST
00000397: PUSH2 0x02ee
0000039a: PUSH2 0x0b70
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH2 0x046a
000003a2: PUSH1 0x04
000003a4: DUP1
000003a5: CALLDATASIZE
000003a6: SUB
000003a7: PUSH1 0x60
000003a9: DUP2
000003aa: LT
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: PUSH1 0xff
000003b7: DUP3
000003b8: CALLDATALOAD
000003b9: AND
000003ba: SWAP2
000003bb: SWAP1
000003bc: DUP2
000003bd: ADD
000003be: SWAP1
000003bf: PUSH1 0x40
000003c1: DUP2
000003c2: ADD
000003c3: PUSH1 0x20
000003c5: DUP3
000003c6: ADD
000003c7: CALLDATALOAD
000003c8: PUSH5 0x0100000000
000003ce: DUP2
000003cf: GT
000003d0: ISZERO
000003d1: PUSH2 0x03d9
000003d4: JUMPI
000003d5: PUSH1 0x00
000003d7: DUP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: DUP3
000003db: ADD
000003dc: DUP4
000003dd: PUSH1 0x20
000003df: DUP3
000003e0: ADD
000003e1: GT
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: DUP1
000003ed: CALLDATALOAD
000003ee: SWAP1
000003ef: PUSH1 0x20
000003f1: ADD
000003f2: SWAP2
000003f3: DUP5
000003f4: PUSH1 0x01
000003f6: DUP4
000003f7: MUL
000003f8: DUP5
000003f9: ADD
000003fa: GT
000003fb: PUSH5 0x0100000000
00000401: DUP4
00000402: GT
00000403: OR
00000404: ISZERO
00000405: PUSH2 0x040d
00000408: JUMPI
00000409: PUSH1 0x00
0000040b: DUP1
0000040c: REVERT
0000040d: JUMPDEST
0000040e: SWAP2
0000040f: SWAP4
00000410: SWAP1
00000411: SWAP3
00000412: SWAP1
00000413: SWAP2
00000414: PUSH1 0x20
00000416: DUP2
00000417: ADD
00000418: SWAP1
00000419: CALLDATALOAD
0000041a: PUSH5 0x0100000000
00000420: DUP2
00000421: GT
00000422: ISZERO
00000423: PUSH2 0x042b
00000426: JUMPI
00000427: PUSH1 0x00
00000429: DUP1
0000042a: REVERT
0000042b: JUMPDEST
0000042c: DUP3
0000042d: ADD
0000042e: DUP4
0000042f: PUSH1 0x20
00000431: DUP3
00000432: ADD
00000433: GT
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: DUP1
0000043f: CALLDATALOAD
00000440: SWAP1
00000441: PUSH1 0x20
00000443: ADD
00000444: SWAP2
00000445: DUP5
00000446: PUSH1 0x01
00000448: DUP4
00000449: MUL
0000044a: DUP5
0000044b: ADD
0000044c: GT
0000044d: PUSH5 0x0100000000
00000453: DUP4
00000454: GT
00000455: OR
00000456: ISZERO
00000457: PUSH2 0x045f
0000045a: JUMPI
0000045b: PUSH1 0x00
0000045d: DUP1
0000045e: REVERT
0000045f: JUMPDEST
00000460: POP
00000461: SWAP1
00000462: SWAP3
00000463: POP
00000464: SWAP1
00000465: POP
00000466: PUSH2 0x0b94
00000469: JUMP
0000046a: JUMPDEST
0000046b: STOP
0000046c: JUMPDEST
0000046d: PUSH2 0x0474
00000470: PUSH2 0x0ecf
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: DUP1
00000478: MLOAD
00000479: PUSH1 0xff
0000047b: SWAP1
0000047c: SWAP3
0000047d: AND
0000047e: DUP3
0000047f: MSTORE
00000480: MLOAD
00000481: SWAP1
00000482: DUP2
00000483: SWAP1
00000484: SUB
00000485: PUSH1 0x20
00000487: ADD
00000488: SWAP1
00000489: RETURN
0000048a: JUMPDEST
0000048b: PUSH2 0x02ee
0000048e: PUSH2 0x0ed8
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0293
00000496: PUSH1 0x04
00000498: DUP1
00000499: CALLDATASIZE
0000049a: SUB
0000049b: PUSH1 0x40
0000049d: DUP2
0000049e: LT
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH1 0x01
000004ac: PUSH1 0x01
000004ae: PUSH1 0xa0
000004b0: SHL
000004b1: SUB
000004b2: DUP2
000004b3: CALLDATALOAD
000004b4: AND
000004b5: SWAP1
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: CALLDATALOAD
000004ba: PUSH2 0x0ede
000004bd: JUMP
000004be: JUMPDEST
000004bf: PUSH2 0x02ee
000004c2: PUSH1 0x04
000004c4: DUP1
000004c5: CALLDATASIZE
000004c6: SUB
000004c7: PUSH1 0x40
000004c9: DUP2
000004ca: LT
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: POP
000004d6: PUSH1 0x01
000004d8: PUSH1 0x01
000004da: PUSH1 0xa0
000004dc: SHL
000004dd: SUB
000004de: DUP2
000004df: CALLDATALOAD
000004e0: AND
000004e1: SWAP1
000004e2: PUSH1 0x20
000004e4: ADD
000004e5: CALLDATALOAD
000004e6: PUSH2 0x0f2c
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x02ee
000004ee: PUSH1 0x04
000004f0: DUP1
000004f1: CALLDATASIZE
000004f2: SUB
000004f3: PUSH1 0x20
000004f5: DUP2
000004f6: LT
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: CALLDATALOAD
00000503: PUSH1 0x01
00000505: PUSH1 0x01
00000507: PUSH1 0xa0
00000509: SHL
0000050a: SUB
0000050b: AND
0000050c: PUSH2 0x100c
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH2 0x0518
00000514: PUSH2 0x10d9
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x40
0000051b: DUP1
0000051c: MLOAD
0000051d: PUSH1 0x01
0000051f: PUSH1 0x01
00000521: PUSH1 0xa0
00000523: SHL
00000524: SUB
00000525: SWAP1
00000526: SWAP3
00000527: AND
00000528: DUP3
00000529: MSTORE
0000052a: MLOAD
0000052b: SWAP1
0000052c: DUP2
0000052d: SWAP1
0000052e: SUB
0000052f: PUSH1 0x20
00000531: ADD
00000532: SWAP1
00000533: RETURN
00000534: JUMPDEST
00000535: PUSH2 0x0518
00000538: PUSH2 0x10fd
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH2 0x01f2
00000540: PUSH2 0x1121
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x046a
00000548: PUSH1 0x04
0000054a: DUP1
0000054b: CALLDATASIZE
0000054c: SUB
0000054d: PUSH1 0x40
0000054f: DUP2
00000550: LT
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: DUP1
0000055d: CALLDATALOAD
0000055e: SWAP1
0000055f: PUSH1 0x20
00000561: ADD
00000562: CALLDATALOAD
00000563: PUSH2 0x113e
00000566: JUMP
00000567: JUMPDEST
00000568: PUSH2 0x01f2
0000056b: PUSH2 0x12d6
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x0293
00000573: PUSH1 0x04
00000575: DUP1
00000576: CALLDATASIZE
00000577: SUB
00000578: PUSH1 0x40
0000057a: DUP2
0000057b: LT
0000057c: ISZERO
0000057d: PUSH2 0x0585
00000580: JUMPI
00000581: PUSH1 0x00
00000583: DUP1
00000584: REVERT
00000585: JUMPDEST
00000586: POP
00000587: PUSH1 0x01
00000589: PUSH1 0x01
0000058b: PUSH1 0xa0
0000058d: SHL
0000058e: SUB
0000058f: DUP2
00000590: CALLDATALOAD
00000591: AND
00000592: SWAP1
00000593: PUSH1 0x20
00000595: ADD
00000596: CALLDATALOAD
00000597: PUSH2 0x1337
0000059a: JUMP
0000059b: JUMPDEST
0000059c: PUSH2 0x0293
0000059f: PUSH1 0x04
000005a1: DUP1
000005a2: CALLDATASIZE
000005a3: SUB
000005a4: PUSH1 0x40
000005a6: DUP2
000005a7: LT
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH1 0x01
000005b5: PUSH1 0x01
000005b7: PUSH1 0xa0
000005b9: SHL
000005ba: SUB
000005bb: DUP2
000005bc: CALLDATALOAD
000005bd: AND
000005be: SWAP1
000005bf: PUSH1 0x20
000005c1: ADD
000005c2: CALLDATALOAD
000005c3: PUSH2 0x139f
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH2 0x0518
000005cb: PUSH2 0x13fc
000005ce: JUMP
000005cf: JUMPDEST
000005d0: PUSH2 0x0518
000005d3: PUSH2 0x1420
000005d6: JUMP
000005d7: JUMPDEST
000005d8: PUSH2 0x02ee
000005db: PUSH2 0x1444
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH2 0x02ee
000005e3: PUSH1 0x04
000005e5: DUP1
000005e6: CALLDATASIZE
000005e7: SUB
000005e8: PUSH1 0x20
000005ea: DUP2
000005eb: LT
000005ec: ISZERO
000005ed: PUSH2 0x05f5
000005f0: JUMPI
000005f1: PUSH1 0x00
000005f3: DUP1
000005f4: REVERT
000005f5: JUMPDEST
000005f6: POP
000005f7: CALLDATALOAD
000005f8: PUSH1 0x01
000005fa: PUSH1 0x01
000005fc: PUSH1 0xa0
000005fe: SHL
000005ff: SUB
00000600: AND
00000601: PUSH2 0x1453
00000604: JUMP
00000605: JUMPDEST
00000606: PUSH2 0x02ee
00000609: PUSH2 0x1465
0000060c: JUMP
0000060d: JUMPDEST
0000060e: PUSH2 0x046a
00000611: PUSH1 0x04
00000613: DUP1
00000614: CALLDATASIZE
00000615: SUB
00000616: PUSH1 0xe0
00000618: DUP2
00000619: LT
0000061a: ISZERO
0000061b: PUSH2 0x0623
0000061e: JUMPI
0000061f: PUSH1 0x00
00000621: DUP1
00000622: REVERT
00000623: JUMPDEST
00000624: POP
00000625: PUSH1 0x01
00000627: PUSH1 0x01
00000629: PUSH1 0xa0
0000062b: SHL
0000062c: SUB
0000062d: DUP2
0000062e: CALLDATALOAD
0000062f: DUP2
00000630: AND
00000631: SWAP2
00000632: PUSH1 0x20
00000634: DUP2
00000635: ADD
00000636: CALLDATALOAD
00000637: SWAP1
00000638: SWAP2
00000639: AND
0000063a: SWAP1
0000063b: PUSH1 0x40
0000063d: DUP2
0000063e: ADD
0000063f: CALLDATALOAD
00000640: SWAP1
00000641: PUSH1 0x60
00000643: DUP2
00000644: ADD
00000645: CALLDATALOAD
00000646: SWAP1
00000647: PUSH1 0xff
00000649: PUSH1 0x80
0000064b: DUP3
0000064c: ADD
0000064d: CALLDATALOAD
0000064e: AND
0000064f: SWAP1
00000650: PUSH1 0xa0
00000652: DUP2
00000653: ADD
00000654: CALLDATALOAD
00000655: SWAP1
00000656: PUSH1 0xc0
00000658: ADD
00000659: CALLDATALOAD
0000065a: PUSH2 0x146b
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x046a
00000662: PUSH1 0x04
00000664: DUP1
00000665: CALLDATASIZE
00000666: SUB
00000667: PUSH1 0x80
00000669: DUP2
0000066a: LT
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: DUP2
0000067f: CALLDATALOAD
00000680: DUP2
00000681: AND
00000682: SWAP2
00000683: PUSH1 0x20
00000685: DUP2
00000686: ADD
00000687: CALLDATALOAD
00000688: SWAP1
00000689: SWAP2
0000068a: AND
0000068b: SWAP1
0000068c: PUSH1 0x40
0000068e: DUP2
0000068f: ADD
00000690: CALLDATALOAD
00000691: SWAP1
00000692: PUSH1 0x60
00000694: ADD
00000695: CALLDATALOAD
00000696: PUSH2 0x16b2
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH2 0x02ee
0000069e: PUSH1 0x04
000006a0: DUP1
000006a1: CALLDATASIZE
000006a2: SUB
000006a3: PUSH1 0x40
000006a5: DUP2
000006a6: LT
000006a7: ISZERO
000006a8: PUSH2 0x06b0
000006ab: JUMPI
000006ac: PUSH1 0x00
000006ae: DUP1
000006af: REVERT
000006b0: JUMPDEST
000006b1: POP
000006b2: PUSH1 0x01
000006b4: PUSH1 0x01
000006b6: PUSH1 0xa0
000006b8: SHL
000006b9: SUB
000006ba: DUP2
000006bb: CALLDATALOAD
000006bc: DUP2
000006bd: AND
000006be: SWAP2
000006bf: PUSH1 0x20
000006c1: ADD
000006c2: CALLDATALOAD
000006c3: AND
000006c4: PUSH2 0x1892
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH2 0x046a
000006cc: PUSH1 0x04
000006ce: DUP1
000006cf: CALLDATASIZE
000006d0: SUB
000006d1: PUSH1 0x60
000006d3: DUP2
000006d4: LT
000006d5: ISZERO
000006d6: PUSH2 0x06de
000006d9: JUMPI
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: REVERT
000006de: JUMPDEST
000006df: POP
000006e0: PUSH1 0x01
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: SHL
000006e7: SUB
000006e8: DUP2
000006e9: CALLDATALOAD
000006ea: DUP2
000006eb: AND
000006ec: SWAP2
000006ed: PUSH1 0x20
000006ef: DUP2
000006f0: ADD
000006f1: CALLDATALOAD
000006f2: SWAP1
000006f3: SWAP2
000006f4: AND
000006f5: SWAP1
000006f6: PUSH1 0x40
000006f8: ADD
000006f9: CALLDATALOAD
000006fa: PUSH2 0x18bd
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH1 0x37
00000701: DUP1
00000702: SLOAD
00000703: PUSH1 0x40
00000705: DUP1
00000706: MLOAD
00000707: PUSH1 0x20
00000709: PUSH1 0x1f
0000070b: PUSH1 0x02
0000070d: PUSH1 0x00
0000070f: NOT
00000710: PUSH2 0x0100
00000713: PUSH1 0x01
00000715: DUP9
00000716: AND
00000717: ISZERO
00000718: MUL
00000719: ADD
0000071a: SWAP1
0000071b: SWAP6
0000071c: AND
0000071d: SWAP5
0000071e: SWAP1
0000071f: SWAP5
00000720: DIV
00000721: SWAP4
00000722: DUP5
00000723: ADD
00000724: DUP2
00000725: SWAP1
00000726: DIV
00000727: DUP2
00000728: MUL
00000729: DUP3
0000072a: ADD
0000072b: DUP2
0000072c: ADD
0000072d: SWAP1
0000072e: SWAP3
0000072f: MSTORE
00000730: DUP3
00000731: DUP2
00000732: MSTORE
00000733: PUSH1 0x60
00000735: SWAP4
00000736: SWAP1
00000737: SWAP3
00000738: SWAP1
00000739: SWAP2
0000073a: DUP4
0000073b: ADD
0000073c: DUP3
0000073d: DUP3
0000073e: DUP1
0000073f: ISZERO
00000740: PUSH2 0x078a
00000743: JUMPI
00000744: DUP1
00000745: PUSH1 0x1f
00000747: LT
00000748: PUSH2 0x075f
0000074b: JUMPI
0000074c: PUSH2 0x0100
0000074f: DUP1
00000750: DUP4
00000751: SLOAD
00000752: DIV
00000753: MUL
00000754: DUP4
00000755: MSTORE
00000756: SWAP2
00000757: PUSH1 0x20
00000759: ADD
0000075a: SWAP2
0000075b: PUSH2 0x078a
0000075e: JUMP
0000075f: JUMPDEST
00000760: DUP3
00000761: ADD
00000762: SWAP2
00000763: SWAP1
00000764: PUSH1 0x00
00000766: MSTORE
00000767: PUSH1 0x20
00000769: PUSH1 0x00
0000076b: KECCAK256
0000076c: SWAP1
0000076d: JUMPDEST
0000076e: DUP2
0000076f: SLOAD
00000770: DUP2
00000771: MSTORE
00000772: SWAP1
00000773: PUSH1 0x01
00000775: ADD
00000776: SWAP1
00000777: PUSH1 0x20
00000779: ADD
0000077a: DUP1
0000077b: DUP4
0000077c: GT
0000077d: PUSH2 0x076d
00000780: JUMPI
00000781: DUP3
00000782: SWAP1
00000783: SUB
00000784: PUSH1 0x1f
00000786: AND
00000787: DUP3
00000788: ADD
00000789: SWAP2
0000078a: JUMPDEST
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: SWAP1
00000791: POP
00000792: JUMPDEST
00000793: SWAP1
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x00
00000798: PUSH2 0x07a9
0000079b: PUSH2 0x07a2
0000079e: PUSH2 0x19ac
000007a1: JUMP
000007a2: JUMPDEST
000007a3: DUP5
000007a4: DUP5
000007a5: PUSH2 0x19b0
000007a8: JUMP
000007a9: JUMPDEST
000007aa: POP
000007ab: PUSH1 0x01
000007ad: JUMPDEST
000007ae: SWAP3
000007af: SWAP2
000007b0: POP
000007b1: POP
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: PUSH2 0x07bf
000007ba: DUP4
000007bb: PUSH2 0x1a9c
000007be: JUMP
000007bf: JUMPDEST
000007c0: PUSH2 0x07c7
000007c3: PUSH2 0x1ab7
000007c6: JUMP
000007c7: JUMPDEST
000007c8: SWAP2
000007c9: POP
000007ca: SWAP2
000007cb: POP
000007cc: SWAP2
000007cd: POP
000007ce: SWAP2
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH1 0x02
000007d3: DUP2
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x00
000007d8: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000007f9: PUSH1 0x01
000007fb: PUSH1 0x01
000007fd: PUSH1 0xa0
000007ff: SHL
00000800: SUB
00000801: AND
00000802: PUSH2 0x0809
00000805: PUSH2 0x19ac
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH1 0x01
0000080c: PUSH1 0x01
0000080e: PUSH1 0xa0
00000810: SHL
00000811: SUB
00000812: AND
00000813: EQ
00000814: PUSH1 0x40
00000816: MLOAD
00000817: DUP1
00000818: PUSH1 0x40
0000081a: ADD
0000081b: PUSH1 0x40
0000081d: MSTORE
0000081e: DUP1
0000081f: PUSH1 0x02
00000821: DUP2
00000822: MSTORE
00000823: PUSH1 0x20
00000825: ADD
00000826: PUSH2 0x3239
00000829: PUSH1 0xf0
0000082b: SHL
0000082c: DUP2
0000082d: MSTORE
0000082e: POP
0000082f: SWAP1
00000830: PUSH2 0x08b7
00000833: JUMPI
00000834: PUSH1 0x40
00000836: MLOAD
00000837: PUSH3 0x461bcd
0000083b: PUSH1 0xe5
0000083d: SHL
0000083e: DUP2
0000083f: MSTORE
00000840: PUSH1 0x04
00000842: ADD
00000843: DUP1
00000844: DUP1
00000845: PUSH1 0x20
00000847: ADD
00000848: DUP3
00000849: DUP2
0000084a: SUB
0000084b: DUP3
0000084c: MSTORE
0000084d: DUP4
0000084e: DUP2
0000084f: DUP2
00000850: MLOAD
00000851: DUP2
00000852: MSTORE
00000853: PUSH1 0x20
00000855: ADD
00000856: SWAP2
00000857: POP
00000858: DUP1
00000859: MLOAD
0000085a: SWAP1
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: SWAP1
0000085f: DUP1
00000860: DUP4
00000861: DUP4
00000862: PUSH1 0x00
00000864: JUMPDEST
00000865: DUP4
00000866: DUP2
00000867: LT
00000868: ISZERO
00000869: PUSH2 0x087c
0000086c: JUMPI
0000086d: DUP2
0000086e: DUP2
0000086f: ADD
00000870: MLOAD
00000871: DUP4
00000872: DUP3
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x20
00000877: ADD
00000878: PUSH2 0x0864
0000087b: JUMP
0000087c: JUMPDEST
0000087d: POP
0000087e: POP
0000087f: POP
00000880: POP
00000881: SWAP1
00000882: POP
00000883: SWAP1
00000884: DUP2
00000885: ADD
00000886: SWAP1
00000887: PUSH1 0x1f
00000889: AND
0000088a: DUP1
0000088b: ISZERO
0000088c: PUSH2 0x08a9
0000088f: JUMPI
00000890: DUP1
00000891: DUP3
00000892: SUB
00000893: DUP1
00000894: MLOAD
00000895: PUSH1 0x01
00000897: DUP4
00000898: PUSH1 0x20
0000089a: SUB
0000089b: PUSH2 0x0100
0000089e: EXP
0000089f: SUB
000008a0: NOT
000008a1: AND
000008a2: DUP2
000008a3: MSTORE
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: SWAP2
000008a8: POP
000008a9: JUMPDEST
000008aa: POP
000008ab: SWAP3
000008ac: POP
000008ad: POP
000008ae: POP
000008af: PUSH1 0x40
000008b1: MLOAD
000008b2: DUP1
000008b3: SWAP2
000008b4: SUB
000008b5: SWAP1
000008b6: REVERT
000008b7: JUMPDEST
000008b8: POP
000008b9: PUSH1 0x00
000008bb: PUSH2 0x08c3
000008be: DUP6
000008bf: PUSH2 0x1a9c
000008c2: JUMP
000008c3: JUMPDEST
000008c4: SWAP1
000008c5: POP
000008c6: PUSH1 0x00
000008c8: PUSH2 0x08d1
000008cb: DUP6
000008cc: DUP6
000008cd: PUSH2 0x1abd
000008d0: JUMP
000008d1: JUMPDEST
000008d2: PUSH1 0x40
000008d4: DUP1
000008d5: MLOAD
000008d6: DUP1
000008d7: DUP3
000008d8: ADD
000008d9: SWAP1
000008da: SWAP2
000008db: MSTORE
000008dc: PUSH1 0x02
000008de: DUP2
000008df: MSTORE
000008e0: PUSH2 0x1a9b
000008e3: PUSH1 0xf1
000008e5: SHL
000008e6: PUSH1 0x20
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: SWAP1
000008ec: SWAP2
000008ed: POP
000008ee: DUP2
000008ef: PUSH2 0x0939
000008f2: JUMPI
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: PUSH3 0x461bcd
000008fa: PUSH1 0xe5
000008fc: SHL
000008fd: DUP2
000008fe: MSTORE
000008ff: PUSH1 0x20
00000901: PUSH1 0x04
00000903: DUP3
00000904: ADD
00000905: DUP2
00000906: DUP2
00000907: MSTORE
00000908: DUP4
00000909: MLOAD
0000090a: PUSH1 0x24
0000090c: DUP5
0000090d: ADD
0000090e: MSTORE
0000090f: DUP4
00000910: MLOAD
00000911: SWAP1
00000912: SWAP3
00000913: DUP4
00000914: SWAP3
00000915: PUSH1 0x44
00000917: SWAP1
00000918: SWAP2
00000919: ADD
0000091a: SWAP2
0000091b: SWAP1
0000091c: DUP6
0000091d: ADD
0000091e: SWAP1
0000091f: DUP1
00000920: DUP4
00000921: DUP4
00000922: PUSH1 0x00
00000924: DUP4
00000925: ISZERO
00000926: PUSH2 0x087c
00000929: JUMPI
0000092a: DUP2
0000092b: DUP2
0000092c: ADD
0000092d: MLOAD
0000092e: DUP4
0000092f: DUP3
00000930: ADD
00000931: MSTORE
00000932: PUSH1 0x20
00000934: ADD
00000935: PUSH2 0x0864
00000938: JUMP
00000939: JUMPDEST
0000093a: POP
0000093b: PUSH2 0x0944
0000093e: DUP7
0000093f: DUP3
00000940: PUSH2 0x1bc4
00000943: JUMP
00000944: JUMPDEST
00000945: PUSH1 0x40
00000947: DUP1
00000948: MLOAD
00000949: DUP7
0000094a: DUP2
0000094b: MSTORE
0000094c: SWAP1
0000094d: MLOAD
0000094e: PUSH1 0x01
00000950: PUSH1 0x01
00000952: PUSH1 0xa0
00000954: SHL
00000955: SUB
00000956: DUP9
00000957: AND
00000958: SWAP2
00000959: PUSH1 0x00
0000095b: SWAP2
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: MLOAD
00000960: PUSH1 0x20
00000962: PUSH2 0x2883
00000965: DUP4
00000966: CODECOPY
00000967: DUP2
00000968: MLOAD
00000969: SWAP2
0000096a: MSTORE
0000096b: SWAP2
0000096c: DUP2
0000096d: SWAP1
0000096e: SUB
0000096f: PUSH1 0x20
00000971: ADD
00000972: SWAP1
00000973: LOG3
00000974: PUSH1 0x40
00000976: DUP1
00000977: MLOAD
00000978: DUP7
00000979: DUP2
0000097a: MSTORE
0000097b: PUSH1 0x20
0000097d: DUP2
0000097e: ADD
0000097f: DUP7
00000980: SWAP1
00000981: MSTORE
00000982: DUP2
00000983: MLOAD
00000984: PUSH1 0x01
00000986: PUSH1 0x01
00000988: PUSH1 0xa0
0000098a: SHL
0000098b: SUB
0000098c: DUP10
0000098d: AND
0000098e: SWAP3
0000098f: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000009b0: SWAP3
000009b1: DUP3
000009b2: SWAP1
000009b3: SUB
000009b4: ADD
000009b5: SWAP1
000009b6: LOG2
000009b7: POP
000009b8: ISZERO
000009b9: SWAP5
000009ba: SWAP4
000009bb: POP
000009bc: POP
000009bd: POP
000009be: POP
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x00
000009c3: DUP1
000009c4: PUSH2 0x09cb
000009c7: PUSH2 0x1ab7
000009ca: JUMP
000009cb: JUMPDEST
000009cc: SWAP1
000009cd: POP
000009ce: DUP1
000009cf: PUSH2 0x09dc
000009d2: JUMPI
000009d3: PUSH1 0x00
000009d5: SWAP2
000009d6: POP
000009d7: POP
000009d8: PUSH2 0x0792
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH2 0x0a9f
000009e0: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000a01: PUSH1 0x01
00000a03: PUSH1 0x01
00000a05: PUSH1 0xa0
00000a07: SHL
00000a08: SUB
00000a09: AND
00000a0a: PUSH4 0xd15e0053
00000a0f: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: DUP3
00000a34: PUSH4 0xffffffff
00000a39: AND
00000a3a: PUSH1 0xe0
00000a3c: SHL
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x04
00000a41: ADD
00000a42: DUP1
00000a43: DUP3
00000a44: PUSH1 0x01
00000a46: PUSH1 0x01
00000a48: PUSH1 0xa0
00000a4a: SHL
00000a4b: SUB
00000a4c: AND
00000a4d: DUP2
00000a4e: MSTORE
00000a4f: PUSH1 0x20
00000a51: ADD
00000a52: SWAP2
00000a53: POP
00000a54: POP
00000a55: PUSH1 0x20
00000a57: PUSH1 0x40
00000a59: MLOAD
00000a5a: DUP1
00000a5b: DUP4
00000a5c: SUB
00000a5d: DUP2
00000a5e: DUP7
00000a5f: DUP1
00000a60: EXTCODESIZE
00000a61: ISZERO
00000a62: DUP1
00000a63: ISZERO
00000a64: PUSH2 0x0a6c
00000a67: JUMPI
00000a68: PUSH1 0x00
00000a6a: DUP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: POP
00000a6e: GAS
00000a6f: STATICCALL
00000a70: ISZERO
00000a71: DUP1
00000a72: ISZERO
00000a73: PUSH2 0x0a80
00000a76: JUMPI
00000a77: RETURNDATASIZE
00000a78: PUSH1 0x00
00000a7a: DUP1
00000a7b: RETURNDATACOPY
00000a7c: RETURNDATASIZE
00000a7d: PUSH1 0x00
00000a7f: REVERT
00000a80: JUMPDEST
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: POP
00000a85: PUSH1 0x40
00000a87: MLOAD
00000a88: RETURNDATASIZE
00000a89: PUSH1 0x20
00000a8b: DUP2
00000a8c: LT
00000a8d: ISZERO
00000a8e: PUSH2 0x0a96
00000a91: JUMPI
00000a92: PUSH1 0x00
00000a94: DUP1
00000a95: REVERT
00000a96: JUMPDEST
00000a97: POP
00000a98: MLOAD
00000a99: DUP3
00000a9a: SWAP1
00000a9b: PUSH2 0x1d40
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: SWAP2
00000aa1: POP
00000aa2: POP
00000aa3: SWAP1
00000aa4: JUMP
00000aa5: JUMPDEST
00000aa6: PUSH1 0x00
00000aa8: PUSH2 0x07ad
00000aab: DUP3
00000aac: PUSH2 0x1a9c
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x00
00000ab3: PUSH2 0x0abd
00000ab6: DUP5
00000ab7: DUP5
00000ab8: DUP5
00000ab9: PUSH2 0x1dfe
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH2 0x0b2d
00000ac1: DUP5
00000ac2: PUSH2 0x0ac9
00000ac5: PUSH2 0x19ac
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH2 0x0b28
00000acd: DUP6
00000ace: PUSH1 0x40
00000ad0: MLOAD
00000ad1: DUP1
00000ad2: PUSH1 0x60
00000ad4: ADD
00000ad5: PUSH1 0x40
00000ad7: MSTORE
00000ad8: DUP1
00000ad9: PUSH1 0x28
00000adb: DUP2
00000adc: MSTORE
00000add: PUSH1 0x20
00000adf: ADD
00000ae0: PUSH2 0x282d
00000ae3: PUSH1 0x28
00000ae5: SWAP2
00000ae6: CODECOPY
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0xa0
00000aed: SHL
00000aee: SUB
00000aef: DUP11
00000af0: AND
00000af1: PUSH1 0x00
00000af3: SWAP1
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x35
00000af8: PUSH1 0x20
00000afa: MSTORE
00000afb: PUSH1 0x40
00000afd: DUP2
00000afe: KECCAK256
00000aff: SWAP1
00000b00: PUSH2 0x0b07
00000b03: PUSH2 0x19ac
00000b06: JUMP
00000b07: JUMPDEST
00000b08: PUSH1 0x01
00000b0a: PUSH1 0x01
00000b0c: PUSH1 0xa0
00000b0e: SHL
00000b0f: SUB
00000b10: AND
00000b11: DUP2
00000b12: MSTORE
00000b13: PUSH1 0x20
00000b15: DUP2
00000b16: ADD
00000b17: SWAP2
00000b18: SWAP1
00000b19: SWAP2
00000b1a: MSTORE
00000b1b: PUSH1 0x40
00000b1d: ADD
00000b1e: PUSH1 0x00
00000b20: KECCAK256
00000b21: SLOAD
00000b22: SWAP2
00000b23: SWAP1
00000b24: PUSH2 0x1e10
00000b27: JUMP
00000b28: JUMPDEST
00000b29: PUSH2 0x19b0
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: DUP3
00000b2f: PUSH1 0x01
00000b31: PUSH1 0x01
00000b33: PUSH1 0xa0
00000b35: SHL
00000b36: SUB
00000b37: AND
00000b38: DUP5
00000b39: PUSH1 0x01
00000b3b: PUSH1 0x01
00000b3d: PUSH1 0xa0
00000b3f: SHL
00000b40: SUB
00000b41: AND
00000b42: PUSH1 0x00
00000b44: DUP1
00000b45: MLOAD
00000b46: PUSH1 0x20
00000b48: PUSH2 0x2883
00000b4b: DUP4
00000b4c: CODECOPY
00000b4d: DUP2
00000b4e: MLOAD
00000b4f: SWAP2
00000b50: MSTORE
00000b51: DUP5
00000b52: PUSH1 0x40
00000b54: MLOAD
00000b55: DUP1
00000b56: DUP3
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: ADD
00000b5c: SWAP2
00000b5d: POP
00000b5e: POP
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: DUP1
00000b63: SWAP2
00000b64: SUB
00000b65: SWAP1
00000b66: LOG3
00000b67: POP
00000b68: PUSH1 0x01
00000b6a: SWAP4
00000b6b: SWAP3
00000b6c: POP
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000b92: DUP2
00000b93: JUMP
00000b94: JUMPDEST
00000b95: PUSH1 0x00
00000b97: PUSH2 0x0b9e
00000b9a: PUSH2 0x1e6a
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: PUSH1 0x01
00000ba1: SLOAD
00000ba2: SWAP1
00000ba3: SWAP2
00000ba4: POP
00000ba5: PUSH1 0xff
00000ba7: AND
00000ba8: DUP1
00000ba9: PUSH2 0x0bb5
00000bac: JUMPI
00000bad: POP
00000bae: PUSH2 0x0bb5
00000bb1: PUSH2 0x1e6f
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: DUP1
00000bb7: PUSH2 0x0bc1
00000bba: JUMPI
00000bbb: POP
00000bbc: PUSH1 0x00
00000bbe: SLOAD
00000bbf: DUP2
00000bc0: GT
00000bc1: JUMPDEST
00000bc2: PUSH2 0x0bfc
00000bc5: JUMPI
00000bc6: PUSH1 0x40
00000bc8: MLOAD
00000bc9: PUSH3 0x461bcd
00000bcd: PUSH1 0xe5
00000bcf: SHL
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x04
00000bd4: ADD
00000bd5: DUP1
00000bd6: DUP1
00000bd7: PUSH1 0x20
00000bd9: ADD
00000bda: DUP3
00000bdb: DUP2
00000bdc: SUB
00000bdd: DUP3
00000bde: MSTORE
00000bdf: PUSH1 0x2e
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x20
00000be5: ADD
00000be6: DUP1
00000be7: PUSH2 0x2855
00000bea: PUSH1 0x2e
00000bec: SWAP2
00000bed: CODECOPY
00000bee: PUSH1 0x40
00000bf0: ADD
00000bf1: SWAP2
00000bf2: POP
00000bf3: POP
00000bf4: PUSH1 0x40
00000bf6: MLOAD
00000bf7: DUP1
00000bf8: SWAP2
00000bf9: SUB
00000bfa: SWAP1
00000bfb: REVERT
00000bfc: JUMPDEST
00000bfd: PUSH1 0x01
00000bff: SLOAD
00000c00: PUSH1 0xff
00000c02: AND
00000c03: ISZERO
00000c04: DUP1
00000c05: ISZERO
00000c06: PUSH2 0x0c1b
00000c09: JUMPI
00000c0a: PUSH1 0x01
00000c0c: DUP1
00000c0d: SLOAD
00000c0e: PUSH1 0xff
00000c10: NOT
00000c11: AND
00000c12: DUP2
00000c13: OR
00000c14: SWAP1
00000c15: SSTORE
00000c16: PUSH1 0x00
00000c18: DUP3
00000c19: SWAP1
00000c1a: SSTORE
00000c1b: JUMPDEST
00000c1c: PUSH1 0x00
00000c1e: CHAINID
00000c1f: SWAP1
00000c20: POP
00000c21: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000c42: DUP8
00000c43: DUP8
00000c44: PUSH1 0x40
00000c46: MLOAD
00000c47: DUP1
00000c48: DUP4
00000c49: DUP4
00000c4a: DUP1
00000c4b: DUP3
00000c4c: DUP5
00000c4d: CALLDATACOPY
00000c4e: PUSH1 0x40
00000c50: DUP1
00000c51: MLOAD
00000c52: SWAP4
00000c53: SWAP1
00000c54: SWAP2
00000c55: ADD
00000c56: DUP4
00000c57: SWAP1
00000c58: SUB
00000c59: DUP4
00000c5a: KECCAK256
00000c5b: DUP4
00000c5c: DUP3
00000c5d: ADD
00000c5e: DUP3
00000c5f: MSTORE
00000c60: PUSH1 0x01
00000c62: DUP5
00000c63: MSTORE
00000c64: PUSH1 0x31
00000c66: PUSH1 0xf8
00000c68: SHL
00000c69: PUSH1 0x20
00000c6b: SWAP5
00000c6c: DUP6
00000c6d: ADD
00000c6e: MSTORE
00000c6f: DUP2
00000c70: MLOAD
00000c71: DUP1
00000c72: DUP6
00000c73: ADD
00000c74: SWAP9
00000c75: SWAP1
00000c76: SWAP9
00000c77: MSTORE
00000c78: DUP8
00000c79: DUP3
00000c7a: ADD
00000c7b: MSTORE
00000c7c: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00000c9d: PUSH1 0x60
00000c9f: DUP9
00000ca0: ADD
00000ca1: MSTORE
00000ca2: PUSH1 0x80
00000ca4: DUP8
00000ca5: ADD
00000ca6: DUP9
00000ca7: SWAP1
00000ca8: MSTORE
00000ca9: ADDRESS
00000caa: PUSH1 0xa0
00000cac: DUP1
00000cad: DUP10
00000cae: ADD
00000caf: SWAP2
00000cb0: SWAP1
00000cb1: SWAP2
00000cb2: MSTORE
00000cb3: DUP2
00000cb4: MLOAD
00000cb5: DUP1
00000cb6: DUP10
00000cb7: SUB
00000cb8: SWAP1
00000cb9: SWAP2
00000cba: ADD
00000cbb: DUP2
00000cbc: MSTORE
00000cbd: PUSH1 0xc0
00000cbf: DUP9
00000cc0: ADD
00000cc1: DUP1
00000cc2: DUP4
00000cc3: MSTORE
00000cc4: DUP2
00000cc5: MLOAD
00000cc6: SWAP2
00000cc7: DUP6
00000cc8: ADD
00000cc9: SWAP2
00000cca: SWAP1
00000ccb: SWAP2
00000ccc: KECCAK256
00000ccd: PUSH1 0x3b
00000ccf: SSTORE
00000cd0: PUSH1 0xe0
00000cd2: PUSH1 0x1f
00000cd4: DUP16
00000cd5: ADD
00000cd6: DUP6
00000cd7: SWAP1
00000cd8: DIV
00000cd9: SWAP1
00000cda: SWAP5
00000cdb: MUL
00000cdc: DUP9
00000cdd: ADD
00000cde: DUP5
00000cdf: ADD
00000ce0: SWAP1
00000ce1: SWAP2
00000ce2: MSTORE
00000ce3: DUP13
00000ce4: DUP2
00000ce5: MSTORE
00000ce6: PUSH2 0x0d0f
00000ce9: SWAP7
00000cea: SWAP1
00000ceb: SWAP6
00000cec: POP
00000ced: DUP14
00000cee: SWAP5
00000cef: POP
00000cf0: DUP13
00000cf1: SWAP4
00000cf2: POP
00000cf3: DUP4
00000cf4: SWAP3
00000cf5: ADD
00000cf6: SWAP1
00000cf7: POP
00000cf8: DUP4
00000cf9: DUP3
00000cfa: DUP1
00000cfb: DUP3
00000cfc: DUP5
00000cfd: CALLDATACOPY
00000cfe: PUSH1 0x00
00000d00: SWAP3
00000d01: ADD
00000d02: SWAP2
00000d03: SWAP1
00000d04: SWAP2
00000d05: MSTORE
00000d06: POP
00000d07: PUSH2 0x1e75
00000d0a: SWAP3
00000d0b: POP
00000d0c: POP
00000d0d: POP
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: PUSH2 0x0d4e
00000d13: DUP6
00000d14: DUP6
00000d15: DUP1
00000d16: DUP1
00000d17: PUSH1 0x1f
00000d19: ADD
00000d1a: PUSH1 0x20
00000d1c: DUP1
00000d1d: SWAP2
00000d1e: DIV
00000d1f: MUL
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: SWAP1
00000d27: DUP2
00000d28: ADD
00000d29: PUSH1 0x40
00000d2b: MSTORE
00000d2c: DUP1
00000d2d: SWAP4
00000d2e: SWAP3
00000d2f: SWAP2
00000d30: SWAP1
00000d31: DUP2
00000d32: DUP2
00000d33: MSTORE
00000d34: PUSH1 0x20
00000d36: ADD
00000d37: DUP4
00000d38: DUP4
00000d39: DUP1
00000d3a: DUP3
00000d3b: DUP5
00000d3c: CALLDATACOPY
00000d3d: PUSH1 0x00
00000d3f: SWAP3
00000d40: ADD
00000d41: SWAP2
00000d42: SWAP1
00000d43: SWAP2
00000d44: MSTORE
00000d45: POP
00000d46: PUSH2 0x1e88
00000d49: SWAP3
00000d4a: POP
00000d4b: POP
00000d4c: POP
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH2 0x0d57
00000d52: DUP9
00000d53: PUSH2 0x1e9b
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000d79: PUSH1 0x01
00000d7b: PUSH1 0x01
00000d7d: PUSH1 0xa0
00000d7f: SHL
00000d80: SUB
00000d81: AND
00000d82: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000da3: PUSH1 0x01
00000da5: PUSH1 0x01
00000da7: PUSH1 0xa0
00000da9: SHL
00000daa: SUB
00000dab: AND
00000dac: PUSH32 0xb19e051f8af41150ccccb3fc2c2d8d15f4a4cf434f32a559ba75fe73d6eea20b
00000dcd: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00000dee: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00000e0f: DUP13
00000e10: DUP13
00000e11: DUP13
00000e12: DUP13
00000e13: DUP13
00000e14: PUSH1 0x40
00000e16: MLOAD
00000e17: DUP1
00000e18: DUP9
00000e19: PUSH1 0x01
00000e1b: PUSH1 0x01
00000e1d: PUSH1 0xa0
00000e1f: SHL
00000e20: SUB
00000e21: AND
00000e22: DUP2
00000e23: MSTORE
00000e24: PUSH1 0x20
00000e26: ADD
00000e27: DUP8
00000e28: PUSH1 0x01
00000e2a: PUSH1 0x01
00000e2c: PUSH1 0xa0
00000e2e: SHL
00000e2f: SUB
00000e30: AND
00000e31: DUP2
00000e32: MSTORE
00000e33: PUSH1 0x20
00000e35: ADD
00000e36: DUP7
00000e37: PUSH1 0xff
00000e39: AND
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: ADD
00000e3f: DUP1
00000e40: PUSH1 0x20
00000e42: ADD
00000e43: DUP1
00000e44: PUSH1 0x20
00000e46: ADD
00000e47: DUP1
00000e48: PUSH1 0x20
00000e4a: ADD
00000e4b: DUP5
00000e4c: DUP2
00000e4d: SUB
00000e4e: DUP5
00000e4f: MSTORE
00000e50: DUP9
00000e51: DUP9
00000e52: DUP3
00000e53: DUP2
00000e54: DUP2
00000e55: MSTORE
00000e56: PUSH1 0x20
00000e58: ADD
00000e59: SWAP3
00000e5a: POP
00000e5b: DUP1
00000e5c: DUP3
00000e5d: DUP5
00000e5e: CALLDATACOPY
00000e5f: PUSH1 0x00
00000e61: DUP4
00000e62: DUP3
00000e63: ADD
00000e64: MSTORE
00000e65: PUSH1 0x1f
00000e67: ADD
00000e68: PUSH1 0x1f
00000e6a: NOT
00000e6b: AND
00000e6c: SWAP1
00000e6d: SWAP2
00000e6e: ADD
00000e6f: DUP6
00000e70: DUP2
00000e71: SUB
00000e72: DUP5
00000e73: MSTORE
00000e74: DUP7
00000e75: DUP2
00000e76: MSTORE
00000e77: PUSH1 0x20
00000e79: ADD
00000e7a: SWAP1
00000e7b: POP
00000e7c: DUP7
00000e7d: DUP7
00000e7e: DUP1
00000e7f: DUP3
00000e80: DUP5
00000e81: CALLDATACOPY
00000e82: PUSH1 0x00
00000e84: DUP4
00000e85: DUP3
00000e86: ADD
00000e87: DUP2
00000e88: SWAP1
00000e89: MSTORE
00000e8a: PUSH1 0x1f
00000e8c: SWAP1
00000e8d: SWAP2
00000e8e: ADD
00000e8f: PUSH1 0x1f
00000e91: NOT
00000e92: AND
00000e93: SWAP1
00000e94: SWAP3
00000e95: ADD
00000e96: SWAP6
00000e97: DUP7
00000e98: SUB
00000e99: SWAP1
00000e9a: SWAP3
00000e9b: MSTORE
00000e9c: DUP5
00000e9d: MSTORE
00000e9e: POP
00000e9f: POP
00000ea0: PUSH1 0x40
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: SWAP3
00000ea5: DUP4
00000ea6: SWAP1
00000ea7: SUB
00000ea8: ADD
00000ea9: SWAP9
00000eaa: POP
00000eab: SWAP1
00000eac: SWAP7
00000ead: POP
00000eae: POP
00000eaf: POP
00000eb0: POP
00000eb1: POP
00000eb2: POP
00000eb3: POP
00000eb4: LOG3
00000eb5: POP
00000eb6: DUP1
00000eb7: ISZERO
00000eb8: PUSH2 0x0ec6
00000ebb: JUMPI
00000ebc: PUSH1 0x01
00000ebe: DUP1
00000ebf: SLOAD
00000ec0: PUSH1 0xff
00000ec2: NOT
00000ec3: AND
00000ec4: SWAP1
00000ec5: SSTORE
00000ec6: JUMPDEST
00000ec7: POP
00000ec8: POP
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: POP
00000ecd: POP
00000ece: JUMP
00000ecf: JUMPDEST
00000ed0: PUSH1 0x39
00000ed2: SLOAD
00000ed3: PUSH1 0xff
00000ed5: AND
00000ed6: SWAP1
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: PUSH1 0x3b
00000edb: SLOAD
00000edc: DUP2
00000edd: JUMP
00000ede: JUMPDEST
00000edf: PUSH1 0x00
00000ee1: PUSH2 0x07a9
00000ee4: PUSH2 0x0eeb
00000ee7: PUSH2 0x19ac
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: DUP5
00000eed: PUSH2 0x0b28
00000ef0: DUP6
00000ef1: PUSH1 0x35
00000ef3: PUSH1 0x00
00000ef5: PUSH2 0x0efc
00000ef8: PUSH2 0x19ac
00000efb: JUMP
00000efc: JUMPDEST
00000efd: PUSH1 0x01
00000eff: PUSH1 0x01
00000f01: PUSH1 0xa0
00000f03: SHL
00000f04: SUB
00000f05: SWAP1
00000f06: DUP2
00000f07: AND
00000f08: DUP3
00000f09: MSTORE
00000f0a: PUSH1 0x20
00000f0c: DUP1
00000f0d: DUP4
00000f0e: ADD
00000f0f: SWAP4
00000f10: SWAP1
00000f11: SWAP4
00000f12: MSTORE
00000f13: PUSH1 0x40
00000f15: SWAP2
00000f16: DUP3
00000f17: ADD
00000f18: PUSH1 0x00
00000f1a: SWAP1
00000f1b: DUP2
00000f1c: KECCAK256
00000f1d: SWAP2
00000f1e: DUP13
00000f1f: AND
00000f20: DUP2
00000f21: MSTORE
00000f22: SWAP3
00000f23: MSTORE
00000f24: SWAP1
00000f25: KECCAK256
00000f26: SLOAD
00000f27: SWAP1
00000f28: PUSH2 0x1eb1
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x00
00000f2f: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00000f50: PUSH1 0x01
00000f52: PUSH1 0x01
00000f54: PUSH1 0xa0
00000f56: SHL
00000f57: SUB
00000f58: AND
00000f59: PUSH2 0x0f60
00000f5c: PUSH2 0x19ac
00000f5f: JUMP
00000f60: JUMPDEST
00000f61: PUSH1 0x01
00000f63: PUSH1 0x01
00000f65: PUSH1 0xa0
00000f67: SHL
00000f68: SUB
00000f69: AND
00000f6a: EQ
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: DUP1
00000f6f: PUSH1 0x40
00000f71: ADD
00000f72: PUSH1 0x40
00000f74: MSTORE
00000f75: DUP1
00000f76: PUSH1 0x02
00000f78: DUP2
00000f79: MSTORE
00000f7a: PUSH1 0x20
00000f7c: ADD
00000f7d: PUSH2 0x3239
00000f80: PUSH1 0xf0
00000f82: SHL
00000f83: DUP2
00000f84: MSTORE
00000f85: POP
00000f86: SWAP1
00000f87: PUSH2 0x0fd1
00000f8a: JUMPI
00000f8b: PUSH1 0x40
00000f8d: MLOAD
00000f8e: PUSH3 0x461bcd
00000f92: PUSH1 0xe5
00000f94: SHL
00000f95: DUP2
00000f96: MSTORE
00000f97: PUSH1 0x20
00000f99: PUSH1 0x04
00000f9b: DUP3
00000f9c: ADD
00000f9d: DUP2
00000f9e: DUP2
00000f9f: MSTORE
00000fa0: DUP4
00000fa1: MLOAD
00000fa2: PUSH1 0x24
00000fa4: DUP5
00000fa5: ADD
00000fa6: MSTORE
00000fa7: DUP4
00000fa8: MLOAD
00000fa9: SWAP1
00000faa: SWAP3
00000fab: DUP4
00000fac: SWAP3
00000fad: PUSH1 0x44
00000faf: SWAP1
00000fb0: SWAP2
00000fb1: ADD
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: DUP6
00000fb5: ADD
00000fb6: SWAP1
00000fb7: DUP1
00000fb8: DUP4
00000fb9: DUP4
00000fba: PUSH1 0x00
00000fbc: DUP4
00000fbd: ISZERO
00000fbe: PUSH2 0x087c
00000fc1: JUMPI
00000fc2: DUP2
00000fc3: DUP2
00000fc4: ADD
00000fc5: MLOAD
00000fc6: DUP4
00000fc7: DUP3
00000fc8: ADD
00000fc9: MSTORE
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: PUSH2 0x0864
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: POP
00000fd3: PUSH2 0x1006
00000fd6: PUSH1 0x01
00000fd8: PUSH1 0x01
00000fda: PUSH1 0xa0
00000fdc: SHL
00000fdd: SUB
00000fde: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000fff: AND
00001000: DUP5
00001001: DUP5
00001002: PUSH2 0x1f12
00001005: JUMP
00001006: JUMPDEST
00001007: POP
00001008: SWAP2
00001009: SWAP1
0000100a: POP
0000100b: JUMP
0000100c: JUMPDEST
0000100d: PUSH1 0x00
0000100f: PUSH2 0x07ad
00001012: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00001033: PUSH1 0x01
00001035: PUSH1 0x01
00001037: PUSH1 0xa0
00001039: SHL
0000103a: SUB
0000103b: AND
0000103c: PUSH4 0xd15e0053
00001041: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001062: PUSH1 0x40
00001064: MLOAD
00001065: DUP3
00001066: PUSH4 0xffffffff
0000106b: AND
0000106c: PUSH1 0xe0
0000106e: SHL
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x04
00001073: ADD
00001074: DUP1
00001075: DUP3
00001076: PUSH1 0x01
00001078: PUSH1 0x01
0000107a: PUSH1 0xa0
0000107c: SHL
0000107d: SUB
0000107e: AND
0000107f: DUP2
00001080: MSTORE
00001081: PUSH1 0x20
00001083: ADD
00001084: SWAP2
00001085: POP
00001086: POP
00001087: PUSH1 0x20
00001089: PUSH1 0x40
0000108b: MLOAD
0000108c: DUP1
0000108d: DUP4
0000108e: SUB
0000108f: DUP2
00001090: DUP7
00001091: DUP1
00001092: EXTCODESIZE
00001093: ISZERO
00001094: DUP1
00001095: ISZERO
00001096: PUSH2 0x109e
00001099: JUMPI
0000109a: PUSH1 0x00
0000109c: DUP1
0000109d: REVERT
0000109e: JUMPDEST
0000109f: POP
000010a0: GAS
000010a1: STATICCALL
000010a2: ISZERO
000010a3: DUP1
000010a4: ISZERO
000010a5: PUSH2 0x10b2
000010a8: JUMPI
000010a9: RETURNDATASIZE
000010aa: PUSH1 0x00
000010ac: DUP1
000010ad: RETURNDATACOPY
000010ae: RETURNDATASIZE
000010af: PUSH1 0x00
000010b1: REVERT
000010b2: JUMPDEST
000010b3: POP
000010b4: POP
000010b5: POP
000010b6: POP
000010b7: PUSH1 0x40
000010b9: MLOAD
000010ba: RETURNDATASIZE
000010bb: PUSH1 0x20
000010bd: DUP2
000010be: LT
000010bf: ISZERO
000010c0: PUSH2 0x10c8
000010c3: JUMPI
000010c4: PUSH1 0x00
000010c6: DUP1
000010c7: REVERT
000010c8: JUMPDEST
000010c9: POP
000010ca: MLOAD
000010cb: PUSH2 0x10d3
000010ce: DUP5
000010cf: PUSH2 0x1a9c
000010d2: JUMP
000010d3: JUMPDEST
000010d4: SWAP1
000010d5: PUSH2 0x1d40
000010d8: JUMP
000010d9: JUMPDEST
000010da: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000010fb: DUP2
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
0000111f: SWAP1
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH1 0x40
00001124: MLOAD
00001125: DUP1
00001126: PUSH1 0x40
00001128: ADD
00001129: PUSH1 0x40
0000112b: MSTORE
0000112c: DUP1
0000112d: PUSH1 0x01
0000112f: DUP2
00001130: MSTORE
00001131: PUSH1 0x20
00001133: ADD
00001134: PUSH1 0x31
00001136: PUSH1 0xf8
00001138: SHL
00001139: DUP2
0000113a: MSTORE
0000113b: POP
0000113c: DUP2
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00001160: PUSH1 0x01
00001162: PUSH1 0x01
00001164: PUSH1 0xa0
00001166: SHL
00001167: SUB
00001168: AND
00001169: PUSH2 0x1170
0000116c: PUSH2 0x19ac
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH1 0x01
00001173: PUSH1 0x01
00001175: PUSH1 0xa0
00001177: SHL
00001178: SUB
00001179: AND
0000117a: EQ
0000117b: PUSH1 0x40
0000117d: MLOAD
0000117e: DUP1
0000117f: PUSH1 0x40
00001181: ADD
00001182: PUSH1 0x40
00001184: MSTORE
00001185: DUP1
00001186: PUSH1 0x02
00001188: DUP2
00001189: MSTORE
0000118a: PUSH1 0x20
0000118c: ADD
0000118d: PUSH2 0x3239
00001190: PUSH1 0xf0
00001192: SHL
00001193: DUP2
00001194: MSTORE
00001195: POP
00001196: SWAP1
00001197: PUSH2 0x11e1
0000119a: JUMPI
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH3 0x461bcd
000011a2: PUSH1 0xe5
000011a4: SHL
000011a5: DUP2
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: PUSH1 0x04
000011ab: DUP3
000011ac: ADD
000011ad: DUP2
000011ae: DUP2
000011af: MSTORE
000011b0: DUP4
000011b1: MLOAD
000011b2: PUSH1 0x24
000011b4: DUP5
000011b5: ADD
000011b6: MSTORE
000011b7: DUP4
000011b8: MLOAD
000011b9: SWAP1
000011ba: SWAP3
000011bb: DUP4
000011bc: SWAP3
000011bd: PUSH1 0x44
000011bf: SWAP1
000011c0: SWAP2
000011c1: ADD
000011c2: SWAP2
000011c3: SWAP1
000011c4: DUP6
000011c5: ADD
000011c6: SWAP1
000011c7: DUP1
000011c8: DUP4
000011c9: DUP4
000011ca: PUSH1 0x00
000011cc: DUP4
000011cd: ISZERO
000011ce: PUSH2 0x087c
000011d1: JUMPI
000011d2: DUP2
000011d3: DUP2
000011d4: ADD
000011d5: MLOAD
000011d6: DUP4
000011d7: DUP3
000011d8: ADD
000011d9: MSTORE
000011da: PUSH1 0x20
000011dc: ADD
000011dd: PUSH2 0x0864
000011e0: JUMP
000011e1: JUMPDEST
000011e2: POP
000011e3: DUP2
000011e4: PUSH2 0x11ec
000011e7: JUMPI
000011e8: PUSH2 0x12d2
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH2 0x121f
000011f0: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00001211: PUSH2 0x121a
00001214: DUP5
00001215: DUP5
00001216: PUSH2 0x1abd
00001219: JUMP
0000121a: JUMPDEST
0000121b: PUSH2 0x1bc4
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x40
00001222: DUP1
00001223: MLOAD
00001224: DUP4
00001225: DUP2
00001226: MSTORE
00001227: SWAP1
00001228: MLOAD
00001229: PUSH1 0x01
0000122b: PUSH1 0x01
0000122d: PUSH1 0xa0
0000122f: SHL
00001230: SUB
00001231: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
00001252: AND
00001253: SWAP2
00001254: PUSH1 0x00
00001256: SWAP2
00001257: PUSH1 0x00
00001259: DUP1
0000125a: MLOAD
0000125b: PUSH1 0x20
0000125d: PUSH2 0x2883
00001260: DUP4
00001261: CODECOPY
00001262: DUP2
00001263: MLOAD
00001264: SWAP2
00001265: MSTORE
00001266: SWAP2
00001267: DUP2
00001268: SWAP1
00001269: SUB
0000126a: PUSH1 0x20
0000126c: ADD
0000126d: SWAP1
0000126e: LOG3
0000126f: PUSH1 0x40
00001271: DUP1
00001272: MLOAD
00001273: DUP4
00001274: DUP2
00001275: MSTORE
00001276: PUSH1 0x20
00001278: DUP2
00001279: ADD
0000127a: DUP4
0000127b: SWAP1
0000127c: MSTORE
0000127d: DUP2
0000127e: MLOAD
0000127f: PUSH1 0x01
00001281: PUSH1 0x01
00001283: PUSH1 0xa0
00001285: SHL
00001286: SUB
00001287: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
000012a8: AND
000012a9: SWAP3
000012aa: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
000012cb: SWAP3
000012cc: DUP3
000012cd: SWAP1
000012ce: SUB
000012cf: ADD
000012d0: SWAP1
000012d1: LOG2
000012d2: JUMPDEST
000012d3: POP
000012d4: POP
000012d5: JUMP
000012d6: JUMPDEST
000012d7: PUSH1 0x38
000012d9: DUP1
000012da: SLOAD
000012db: PUSH1 0x40
000012dd: DUP1
000012de: MLOAD
000012df: PUSH1 0x20
000012e1: PUSH1 0x1f
000012e3: PUSH1 0x02
000012e5: PUSH1 0x00
000012e7: NOT
000012e8: PUSH2 0x0100
000012eb: PUSH1 0x01
000012ed: DUP9
000012ee: AND
000012ef: ISZERO
000012f0: MUL
000012f1: ADD
000012f2: SWAP1
000012f3: SWAP6
000012f4: AND
000012f5: SWAP5
000012f6: SWAP1
000012f7: SWAP5
000012f8: DIV
000012f9: SWAP4
000012fa: DUP5
000012fb: ADD
000012fc: DUP2
000012fd: SWAP1
000012fe: DIV
000012ff: DUP2
00001300: MUL
00001301: DUP3
00001302: ADD
00001303: DUP2
00001304: ADD
00001305: SWAP1
00001306: SWAP3
00001307: MSTORE
00001308: DUP3
00001309: DUP2
0000130a: MSTORE
0000130b: PUSH1 0x60
0000130d: SWAP4
0000130e: SWAP1
0000130f: SWAP3
00001310: SWAP1
00001311: SWAP2
00001312: DUP4
00001313: ADD
00001314: DUP3
00001315: DUP3
00001316: DUP1
00001317: ISZERO
00001318: PUSH2 0x078a
0000131b: JUMPI
0000131c: DUP1
0000131d: PUSH1 0x1f
0000131f: LT
00001320: PUSH2 0x075f
00001323: JUMPI
00001324: PUSH2 0x0100
00001327: DUP1
00001328: DUP4
00001329: SLOAD
0000132a: DIV
0000132b: MUL
0000132c: DUP4
0000132d: MSTORE
0000132e: SWAP2
0000132f: PUSH1 0x20
00001331: ADD
00001332: SWAP2
00001333: PUSH2 0x078a
00001336: JUMP
00001337: JUMPDEST
00001338: PUSH1 0x00
0000133a: PUSH2 0x07a9
0000133d: PUSH2 0x1344
00001340: PUSH2 0x19ac
00001343: JUMP
00001344: JUMPDEST
00001345: DUP5
00001346: PUSH2 0x0b28
00001349: DUP6
0000134a: PUSH1 0x40
0000134c: MLOAD
0000134d: DUP1
0000134e: PUSH1 0x60
00001350: ADD
00001351: PUSH1 0x40
00001353: MSTORE
00001354: DUP1
00001355: PUSH1 0x25
00001357: DUP2
00001358: MSTORE
00001359: PUSH1 0x20
0000135b: ADD
0000135c: PUSH2 0x2937
0000135f: PUSH1 0x25
00001361: SWAP2
00001362: CODECOPY
00001363: PUSH1 0x35
00001365: PUSH1 0x00
00001367: PUSH2 0x136e
0000136a: PUSH2 0x19ac
0000136d: JUMP
0000136e: JUMPDEST
0000136f: PUSH1 0x01
00001371: PUSH1 0x01
00001373: PUSH1 0xa0
00001375: SHL
00001376: SUB
00001377: SWAP1
00001378: DUP2
00001379: AND
0000137a: DUP3
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: DUP1
0000137f: DUP4
00001380: ADD
00001381: SWAP4
00001382: SWAP1
00001383: SWAP4
00001384: MSTORE
00001385: PUSH1 0x40
00001387: SWAP2
00001388: DUP3
00001389: ADD
0000138a: PUSH1 0x00
0000138c: SWAP1
0000138d: DUP2
0000138e: KECCAK256
0000138f: SWAP2
00001390: DUP14
00001391: AND
00001392: DUP2
00001393: MSTORE
00001394: SWAP3
00001395: MSTORE
00001396: SWAP1
00001397: KECCAK256
00001398: SLOAD
00001399: SWAP2
0000139a: SWAP1
0000139b: PUSH2 0x1e10
0000139e: JUMP
0000139f: JUMPDEST
000013a0: PUSH1 0x00
000013a2: PUSH2 0x13b3
000013a5: PUSH2 0x13ac
000013a8: PUSH2 0x19ac
000013ab: JUMP
000013ac: JUMPDEST
000013ad: DUP5
000013ae: DUP5
000013af: PUSH2 0x1dfe
000013b2: JUMP
000013b3: JUMPDEST
000013b4: DUP3
000013b5: PUSH1 0x01
000013b7: PUSH1 0x01
000013b9: PUSH1 0xa0
000013bb: SHL
000013bc: SUB
000013bd: AND
000013be: PUSH2 0x13c5
000013c1: PUSH2 0x19ac
000013c4: JUMP
000013c5: JUMPDEST
000013c6: PUSH1 0x01
000013c8: PUSH1 0x01
000013ca: PUSH1 0xa0
000013cc: SHL
000013cd: SUB
000013ce: AND
000013cf: PUSH1 0x00
000013d1: DUP1
000013d2: MLOAD
000013d3: PUSH1 0x20
000013d5: PUSH2 0x2883
000013d8: DUP4
000013d9: CODECOPY
000013da: DUP2
000013db: MLOAD
000013dc: SWAP2
000013dd: MSTORE
000013de: DUP5
000013df: PUSH1 0x40
000013e1: MLOAD
000013e2: DUP1
000013e3: DUP3
000013e4: DUP2
000013e5: MSTORE
000013e6: PUSH1 0x20
000013e8: ADD
000013e9: SWAP2
000013ea: POP
000013eb: POP
000013ec: PUSH1 0x40
000013ee: MLOAD
000013ef: DUP1
000013f0: SWAP2
000013f1: SUB
000013f2: SWAP1
000013f3: LOG3
000013f4: POP
000013f5: PUSH1 0x01
000013f7: SWAP3
000013f8: SWAP2
000013f9: POP
000013fa: POP
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH32 0x000000000000000000000000464c71f6c2f760dda6093dcb91c24c39e5d6e18c
0000141e: DUP2
0000141f: JUMP
00001420: JUMPDEST
00001421: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001442: DUP2
00001443: JUMP
00001444: JUMPDEST
00001445: PUSH1 0x00
00001447: PUSH2 0x144e
0000144a: PUSH2 0x1ab7
0000144d: JUMP
0000144e: JUMPDEST
0000144f: SWAP1
00001450: POP
00001451: SWAP1
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH1 0x3a
00001456: PUSH1 0x20
00001458: MSTORE
00001459: PUSH1 0x00
0000145b: SWAP1
0000145c: DUP2
0000145d: MSTORE
0000145e: PUSH1 0x40
00001460: SWAP1
00001461: KECCAK256
00001462: SLOAD
00001463: DUP2
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x00
00001468: NOT
00001469: DUP2
0000146a: JUMP
0000146b: JUMPDEST
0000146c: PUSH1 0x01
0000146e: PUSH1 0x01
00001470: PUSH1 0xa0
00001472: SHL
00001473: SUB
00001474: DUP8
00001475: AND
00001476: PUSH2 0x14b6
00001479: JUMPI
0000147a: PUSH1 0x40
0000147c: DUP1
0000147d: MLOAD
0000147e: PUSH3 0x461bcd
00001482: PUSH1 0xe5
00001484: SHL
00001485: DUP2
00001486: MSTORE
00001487: PUSH1 0x20
00001489: PUSH1 0x04
0000148b: DUP3
0000148c: ADD
0000148d: MSTORE
0000148e: PUSH1 0x0d
00001490: PUSH1 0x24
00001492: DUP3
00001493: ADD
00001494: MSTORE
00001495: PUSH13 0x24a72b20a624a22fa7aba722a9
000014a3: PUSH1 0x99
000014a5: SHL
000014a6: PUSH1 0x44
000014a8: DUP3
000014a9: ADD
000014aa: MSTORE
000014ab: SWAP1
000014ac: MLOAD
000014ad: SWAP1
000014ae: DUP2
000014af: SWAP1
000014b0: SUB
000014b1: PUSH1 0x64
000014b3: ADD
000014b4: SWAP1
000014b5: REVERT
000014b6: JUMPDEST
000014b7: DUP4
000014b8: TIMESTAMP
000014b9: GT
000014ba: ISZERO
000014bb: PUSH2 0x1500
000014be: JUMPI
000014bf: PUSH1 0x40
000014c1: DUP1
000014c2: MLOAD
000014c3: PUSH3 0x461bcd
000014c7: PUSH1 0xe5
000014c9: SHL
000014ca: DUP2
000014cb: MSTORE
000014cc: PUSH1 0x20
000014ce: PUSH1 0x04
000014d0: DUP3
000014d1: ADD
000014d2: MSTORE
000014d3: PUSH1 0x12
000014d5: PUSH1 0x24
000014d7: DUP3
000014d8: ADD
000014d9: MSTORE
000014da: PUSH18 0x24a72b20a624a22fa2ac2824a920aa24a7a7
000014ed: PUSH1 0x71
000014ef: SHL
000014f0: PUSH1 0x44
000014f2: DUP3
000014f3: ADD
000014f4: MSTORE
000014f5: SWAP1
000014f6: MLOAD
000014f7: SWAP1
000014f8: DUP2
000014f9: SWAP1
000014fa: SUB
000014fb: PUSH1 0x64
000014fd: ADD
000014fe: SWAP1
000014ff: REVERT
00001500: JUMPDEST
00001501: PUSH1 0x01
00001503: PUSH1 0x01
00001505: PUSH1 0xa0
00001507: SHL
00001508: SUB
00001509: DUP1
0000150a: DUP9
0000150b: AND
0000150c: PUSH1 0x00
0000150e: DUP2
0000150f: DUP2
00001510: MSTORE
00001511: PUSH1 0x3a
00001513: PUSH1 0x20
00001515: SWAP1
00001516: DUP2
00001517: MSTORE
00001518: PUSH1 0x40
0000151a: DUP1
0000151b: DUP4
0000151c: KECCAK256
0000151d: SLOAD
0000151e: PUSH1 0x3b
00001520: SLOAD
00001521: DUP3
00001522: MLOAD
00001523: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00001544: DUP2
00001545: DUP7
00001546: ADD
00001547: MSTORE
00001548: DUP1
00001549: DUP5
0000154a: ADD
0000154b: SWAP7
0000154c: SWAP1
0000154d: SWAP7
0000154e: MSTORE
0000154f: SWAP6
00001550: DUP13
00001551: AND
00001552: PUSH1 0x60
00001554: DUP7
00001555: ADD
00001556: MSTORE
00001557: PUSH1 0x80
00001559: DUP6
0000155a: ADD
0000155b: DUP12
0000155c: SWAP1
0000155d: MSTORE
0000155e: PUSH1 0xa0
00001560: DUP6
00001561: ADD
00001562: DUP2
00001563: SWAP1
00001564: MSTORE
00001565: PUSH1 0xc0
00001567: DUP1
00001568: DUP7
00001569: ADD
0000156a: DUP12
0000156b: SWAP1
0000156c: MSTORE
0000156d: DUP3
0000156e: MLOAD
0000156f: DUP1
00001570: DUP8
00001571: SUB
00001572: SWAP1
00001573: SWAP2
00001574: ADD
00001575: DUP2
00001576: MSTORE
00001577: PUSH1 0xe0
00001579: DUP7
0000157a: ADD
0000157b: DUP4
0000157c: MSTORE
0000157d: DUP1
0000157e: MLOAD
0000157f: SWAP1
00001580: DUP5
00001581: ADD
00001582: KECCAK256
00001583: PUSH2 0x1901
00001586: PUSH1 0xf0
00001588: SHL
00001589: PUSH2 0x0100
0000158c: DUP8
0000158d: ADD
0000158e: MSTORE
0000158f: PUSH2 0x0102
00001592: DUP7
00001593: ADD
00001594: SWAP7
00001595: SWAP1
00001596: SWAP7
00001597: MSTORE
00001598: PUSH2 0x0122
0000159b: DUP1
0000159c: DUP7
0000159d: ADD
0000159e: SWAP7
0000159f: SWAP1
000015a0: SWAP7
000015a1: MSTORE
000015a2: DUP2
000015a3: MLOAD
000015a4: DUP1
000015a5: DUP7
000015a6: SUB
000015a7: SWAP1
000015a8: SWAP7
000015a9: ADD
000015aa: DUP7
000015ab: MSTORE
000015ac: PUSH2 0x0142
000015af: DUP6
000015b0: ADD
000015b1: DUP1
000015b2: DUP4
000015b3: MSTORE
000015b4: DUP7
000015b5: MLOAD
000015b6: SWAP7
000015b7: DUP5
000015b8: ADD
000015b9: SWAP7
000015ba: SWAP1
000015bb: SWAP7
000015bc: KECCAK256
000015bd: SWAP4
000015be: SWAP1
000015bf: SWAP6
000015c0: MSTORE
000015c1: PUSH2 0x0162
000015c4: DUP5
000015c5: ADD
000015c6: DUP1
000015c7: DUP3
000015c8: MSTORE
000015c9: DUP4
000015ca: SWAP1
000015cb: MSTORE
000015cc: PUSH1 0xff
000015ce: DUP9
000015cf: AND
000015d0: PUSH2 0x0182
000015d3: DUP6
000015d4: ADD
000015d5: MSTORE
000015d6: PUSH2 0x01a2
000015d9: DUP5
000015da: ADD
000015db: DUP8
000015dc: SWAP1
000015dd: MSTORE
000015de: PUSH2 0x01c2
000015e1: DUP5
000015e2: ADD
000015e3: DUP7
000015e4: SWAP1
000015e5: MSTORE
000015e6: MLOAD
000015e7: SWAP2
000015e8: SWAP3
000015e9: PUSH1 0x01
000015eb: SWAP3
000015ec: PUSH2 0x01e2
000015ef: DUP1
000015f0: DUP4
000015f1: ADD
000015f2: SWAP4
000015f3: SWAP3
000015f4: PUSH1 0x1f
000015f6: NOT
000015f7: DUP4
000015f8: ADD
000015f9: SWAP3
000015fa: SWAP1
000015fb: DUP2
000015fc: SWAP1
000015fd: SUB
000015fe: SWAP1
000015ff: SWAP2
00001600: ADD
00001601: SWAP1
00001602: DUP6
00001603: GAS
00001604: STATICCALL
00001605: ISZERO
00001606: DUP1
00001607: ISZERO
00001608: PUSH2 0x1615
0000160b: JUMPI
0000160c: RETURNDATASIZE
0000160d: PUSH1 0x00
0000160f: DUP1
00001610: RETURNDATACOPY
00001611: RETURNDATASIZE
00001612: PUSH1 0x00
00001614: REVERT
00001615: JUMPDEST
00001616: POP
00001617: POP
00001618: POP
00001619: PUSH1 0x20
0000161b: PUSH1 0x40
0000161d: MLOAD
0000161e: SUB
0000161f: MLOAD
00001620: PUSH1 0x01
00001622: PUSH1 0x01
00001624: PUSH1 0xa0
00001626: SHL
00001627: SUB
00001628: AND
00001629: DUP10
0000162a: PUSH1 0x01
0000162c: PUSH1 0x01
0000162e: PUSH1 0xa0
00001630: SHL
00001631: SUB
00001632: AND
00001633: EQ
00001634: PUSH2 0x1678
00001637: JUMPI
00001638: PUSH1 0x40
0000163a: DUP1
0000163b: MLOAD
0000163c: PUSH3 0x461bcd
00001640: PUSH1 0xe5
00001642: SHL
00001643: DUP2
00001644: MSTORE
00001645: PUSH1 0x20
00001647: PUSH1 0x04
00001649: DUP3
0000164a: ADD
0000164b: MSTORE
0000164c: PUSH1 0x11
0000164e: PUSH1 0x24
00001650: DUP3
00001651: ADD
00001652: MSTORE
00001653: PUSH17 0x494e56414c49445f5349474e4154555245
00001665: PUSH1 0x78
00001667: SHL
00001668: PUSH1 0x44
0000166a: DUP3
0000166b: ADD
0000166c: MSTORE
0000166d: SWAP1
0000166e: MLOAD
0000166f: SWAP1
00001670: DUP2
00001671: SWAP1
00001672: SUB
00001673: PUSH1 0x64
00001675: ADD
00001676: SWAP1
00001677: REVERT
00001678: JUMPDEST
00001679: PUSH2 0x1683
0000167c: DUP3
0000167d: PUSH1 0x01
0000167f: PUSH2 0x1eb1
00001682: JUMP
00001683: JUMPDEST
00001684: PUSH1 0x01
00001686: PUSH1 0x01
00001688: PUSH1 0xa0
0000168a: SHL
0000168b: SUB
0000168c: DUP11
0000168d: AND
0000168e: PUSH1 0x00
00001690: SWAP1
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x3a
00001695: PUSH1 0x20
00001697: MSTORE
00001698: PUSH1 0x40
0000169a: SWAP1
0000169b: KECCAK256
0000169c: SSTORE
0000169d: PUSH2 0x16a7
000016a0: DUP10
000016a1: DUP10
000016a2: DUP10
000016a3: PUSH2 0x19b0
000016a6: JUMP
000016a7: JUMPDEST
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: POP
000016af: POP
000016b0: POP
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000016d4: PUSH1 0x01
000016d6: PUSH1 0x01
000016d8: PUSH1 0xa0
000016da: SHL
000016db: SUB
000016dc: AND
000016dd: PUSH2 0x16e4
000016e0: PUSH2 0x19ac
000016e3: JUMP
000016e4: JUMPDEST
000016e5: PUSH1 0x01
000016e7: PUSH1 0x01
000016e9: PUSH1 0xa0
000016eb: SHL
000016ec: SUB
000016ed: AND
000016ee: EQ
000016ef: PUSH1 0x40
000016f1: MLOAD
000016f2: DUP1
000016f3: PUSH1 0x40
000016f5: ADD
000016f6: PUSH1 0x40
000016f8: MSTORE
000016f9: DUP1
000016fa: PUSH1 0x02
000016fc: DUP2
000016fd: MSTORE
000016fe: PUSH1 0x20
00001700: ADD
00001701: PUSH2 0x3239
00001704: PUSH1 0xf0
00001706: SHL
00001707: DUP2
00001708: MSTORE
00001709: POP
0000170a: SWAP1
0000170b: PUSH2 0x1755
0000170e: JUMPI
0000170f: PUSH1 0x40
00001711: MLOAD
00001712: PUSH3 0x461bcd
00001716: PUSH1 0xe5
00001718: SHL
00001719: DUP2
0000171a: MSTORE
0000171b: PUSH1 0x20
0000171d: PUSH1 0x04
0000171f: DUP3
00001720: ADD
00001721: DUP2
00001722: DUP2
00001723: MSTORE
00001724: DUP4
00001725: MLOAD
00001726: PUSH1 0x24
00001728: DUP5
00001729: ADD
0000172a: MSTORE
0000172b: DUP4
0000172c: MLOAD
0000172d: SWAP1
0000172e: SWAP3
0000172f: DUP4
00001730: SWAP3
00001731: PUSH1 0x44
00001733: SWAP1
00001734: SWAP2
00001735: ADD
00001736: SWAP2
00001737: SWAP1
00001738: DUP6
00001739: ADD
0000173a: SWAP1
0000173b: DUP1
0000173c: DUP4
0000173d: DUP4
0000173e: PUSH1 0x00
00001740: DUP4
00001741: ISZERO
00001742: PUSH2 0x087c
00001745: JUMPI
00001746: DUP2
00001747: DUP2
00001748: ADD
00001749: MLOAD
0000174a: DUP4
0000174b: DUP3
0000174c: ADD
0000174d: MSTORE
0000174e: PUSH1 0x20
00001750: ADD
00001751: PUSH2 0x0864
00001754: JUMP
00001755: JUMPDEST
00001756: POP
00001757: PUSH1 0x00
00001759: PUSH2 0x1762
0000175c: DUP4
0000175d: DUP4
0000175e: PUSH2 0x1abd
00001761: JUMP
00001762: JUMPDEST
00001763: PUSH1 0x40
00001765: DUP1
00001766: MLOAD
00001767: DUP1
00001768: DUP3
00001769: ADD
0000176a: SWAP1
0000176b: SWAP2
0000176c: MSTORE
0000176d: PUSH1 0x02
0000176f: DUP2
00001770: MSTORE
00001771: PUSH2 0x06a7
00001774: PUSH1 0xf3
00001776: SHL
00001777: PUSH1 0x20
00001779: DUP3
0000177a: ADD
0000177b: MSTORE
0000177c: SWAP1
0000177d: SWAP2
0000177e: POP
0000177f: DUP2
00001780: PUSH2 0x17ca
00001783: JUMPI
00001784: PUSH1 0x40
00001786: MLOAD
00001787: PUSH3 0x461bcd
0000178b: PUSH1 0xe5
0000178d: SHL
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: PUSH1 0x04
00001794: DUP3
00001795: ADD
00001796: DUP2
00001797: DUP2
00001798: MSTORE
00001799: DUP4
0000179a: MLOAD
0000179b: PUSH1 0x24
0000179d: DUP5
0000179e: ADD
0000179f: MSTORE
000017a0: DUP4
000017a1: MLOAD
000017a2: SWAP1
000017a3: SWAP3
000017a4: DUP4
000017a5: SWAP3
000017a6: PUSH1 0x44
000017a8: SWAP1
000017a9: SWAP2
000017aa: ADD
000017ab: SWAP2
000017ac: SWAP1
000017ad: DUP6
000017ae: ADD
000017af: SWAP1
000017b0: DUP1
000017b1: DUP4
000017b2: DUP4
000017b3: PUSH1 0x00
000017b5: DUP4
000017b6: ISZERO
000017b7: PUSH2 0x087c
000017ba: JUMPI
000017bb: DUP2
000017bc: DUP2
000017bd: ADD
000017be: MLOAD
000017bf: DUP4
000017c0: DUP3
000017c1: ADD
000017c2: MSTORE
000017c3: PUSH1 0x20
000017c5: ADD
000017c6: PUSH2 0x0864
000017c9: JUMP
000017ca: JUMPDEST
000017cb: POP
000017cc: PUSH2 0x17d5
000017cf: DUP6
000017d0: DUP3
000017d1: PUSH2 0x1f64
000017d4: JUMP
000017d5: JUMPDEST
000017d6: PUSH2 0x1809
000017d9: PUSH1 0x01
000017db: PUSH1 0x01
000017dd: PUSH1 0xa0
000017df: SHL
000017e0: SUB
000017e1: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001802: AND
00001803: DUP6
00001804: DUP6
00001805: PUSH2 0x1f12
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x40
0000180c: DUP1
0000180d: MLOAD
0000180e: DUP5
0000180f: DUP2
00001810: MSTORE
00001811: SWAP1
00001812: MLOAD
00001813: PUSH1 0x00
00001815: SWAP2
00001816: PUSH1 0x01
00001818: PUSH1 0x01
0000181a: PUSH1 0xa0
0000181c: SHL
0000181d: SUB
0000181e: DUP9
0000181f: AND
00001820: SWAP2
00001821: PUSH1 0x00
00001823: DUP1
00001824: MLOAD
00001825: PUSH1 0x20
00001827: PUSH2 0x2883
0000182a: DUP4
0000182b: CODECOPY
0000182c: DUP2
0000182d: MLOAD
0000182e: SWAP2
0000182f: MSTORE
00001830: SWAP2
00001831: DUP2
00001832: SWAP1
00001833: SUB
00001834: PUSH1 0x20
00001836: ADD
00001837: SWAP1
00001838: LOG3
00001839: DUP4
0000183a: PUSH1 0x01
0000183c: PUSH1 0x01
0000183e: PUSH1 0xa0
00001840: SHL
00001841: SUB
00001842: AND
00001843: DUP6
00001844: PUSH1 0x01
00001846: PUSH1 0x01
00001848: PUSH1 0xa0
0000184a: SHL
0000184b: SUB
0000184c: AND
0000184d: PUSH32 0x5d624aa9c148153ab3446c1b154f660ee7701e549fe9b62dab7171b1c80e6fa2
0000186e: DUP6
0000186f: DUP6
00001870: PUSH1 0x40
00001872: MLOAD
00001873: DUP1
00001874: DUP4
00001875: DUP2
00001876: MSTORE
00001877: PUSH1 0x20
00001879: ADD
0000187a: DUP3
0000187b: DUP2
0000187c: MSTORE
0000187d: PUSH1 0x20
0000187f: ADD
00001880: SWAP3
00001881: POP
00001882: POP
00001883: POP
00001884: PUSH1 0x40
00001886: MLOAD
00001887: DUP1
00001888: SWAP2
00001889: SUB
0000188a: SWAP1
0000188b: LOG3
0000188c: POP
0000188d: POP
0000188e: POP
0000188f: POP
00001890: POP
00001891: JUMP
00001892: JUMPDEST
00001893: PUSH1 0x01
00001895: PUSH1 0x01
00001897: PUSH1 0xa0
00001899: SHL
0000189a: SUB
0000189b: SWAP2
0000189c: DUP3
0000189d: AND
0000189e: PUSH1 0x00
000018a0: SWAP1
000018a1: DUP2
000018a2: MSTORE
000018a3: PUSH1 0x35
000018a5: PUSH1 0x20
000018a7: SWAP1
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x40
000018ac: DUP1
000018ad: DUP4
000018ae: KECCAK256
000018af: SWAP4
000018b0: SWAP1
000018b1: SWAP5
000018b2: AND
000018b3: DUP3
000018b4: MSTORE
000018b5: SWAP2
000018b6: SWAP1
000018b7: SWAP2
000018b8: MSTORE
000018b9: KECCAK256
000018ba: SLOAD
000018bb: SWAP1
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
000018df: PUSH1 0x01
000018e1: PUSH1 0x01
000018e3: PUSH1 0xa0
000018e5: SHL
000018e6: SUB
000018e7: AND
000018e8: PUSH2 0x18ef
000018eb: PUSH2 0x19ac
000018ee: JUMP
000018ef: JUMPDEST
000018f0: PUSH1 0x01
000018f2: PUSH1 0x01
000018f4: PUSH1 0xa0
000018f6: SHL
000018f7: SUB
000018f8: AND
000018f9: EQ
000018fa: PUSH1 0x40
000018fc: MLOAD
000018fd: DUP1
000018fe: PUSH1 0x40
00001900: ADD
00001901: PUSH1 0x40
00001903: MSTORE
00001904: DUP1
00001905: PUSH1 0x02
00001907: DUP2
00001908: MSTORE
00001909: PUSH1 0x20
0000190b: ADD
0000190c: PUSH2 0x3239
0000190f: PUSH1 0xf0
00001911: SHL
00001912: DUP2
00001913: MSTORE
00001914: POP
00001915: SWAP1
00001916: PUSH2 0x1960
00001919: JUMPI
0000191a: PUSH1 0x40
0000191c: MLOAD
0000191d: PUSH3 0x461bcd
00001921: PUSH1 0xe5
00001923: SHL
00001924: DUP2
00001925: MSTORE
00001926: PUSH1 0x20
00001928: PUSH1 0x04
0000192a: DUP3
0000192b: ADD
0000192c: DUP2
0000192d: DUP2
0000192e: MSTORE
0000192f: DUP4
00001930: MLOAD
00001931: PUSH1 0x24
00001933: DUP5
00001934: ADD
00001935: MSTORE
00001936: DUP4
00001937: MLOAD
00001938: SWAP1
00001939: SWAP3
0000193a: DUP4
0000193b: SWAP3
0000193c: PUSH1 0x44
0000193e: SWAP1
0000193f: SWAP2
00001940: ADD
00001941: SWAP2
00001942: SWAP1
00001943: DUP6
00001944: ADD
00001945: SWAP1
00001946: DUP1
00001947: DUP4
00001948: DUP4
00001949: PUSH1 0x00
0000194b: DUP4
0000194c: ISZERO
0000194d: PUSH2 0x087c
00001950: JUMPI
00001951: DUP2
00001952: DUP2
00001953: ADD
00001954: MLOAD
00001955: DUP4
00001956: DUP3
00001957: ADD
00001958: MSTORE
00001959: PUSH1 0x20
0000195b: ADD
0000195c: PUSH2 0x0864
0000195f: JUMP
00001960: JUMPDEST
00001961: POP
00001962: PUSH2 0x196e
00001965: DUP4
00001966: DUP4
00001967: DUP4
00001968: PUSH1 0x00
0000196a: PUSH2 0x2008
0000196d: JUMP
0000196e: JUMPDEST
0000196f: DUP2
00001970: PUSH1 0x01
00001972: PUSH1 0x01
00001974: PUSH1 0xa0
00001976: SHL
00001977: SUB
00001978: AND
00001979: DUP4
0000197a: PUSH1 0x01
0000197c: PUSH1 0x01
0000197e: PUSH1 0xa0
00001980: SHL
00001981: SUB
00001982: AND
00001983: PUSH1 0x00
00001985: DUP1
00001986: MLOAD
00001987: PUSH1 0x20
00001989: PUSH2 0x2883
0000198c: DUP4
0000198d: CODECOPY
0000198e: DUP2
0000198f: MLOAD
00001990: SWAP2
00001991: MSTORE
00001992: DUP4
00001993: PUSH1 0x40
00001995: MLOAD
00001996: DUP1
00001997: DUP3
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x20
0000199c: ADD
0000199d: SWAP2
0000199e: POP
0000199f: POP
000019a0: PUSH1 0x40
000019a2: MLOAD
000019a3: DUP1
000019a4: SWAP2
000019a5: SUB
000019a6: SWAP1
000019a7: LOG3
000019a8: POP
000019a9: POP
000019aa: POP
000019ab: JUMP
000019ac: JUMPDEST
000019ad: CALLER
000019ae: SWAP1
000019af: JUMP
000019b0: JUMPDEST
000019b1: PUSH1 0x01
000019b3: PUSH1 0x01
000019b5: PUSH1 0xa0
000019b7: SHL
000019b8: SUB
000019b9: DUP4
000019ba: AND
000019bb: PUSH2 0x19f5
000019be: JUMPI
000019bf: PUSH1 0x40
000019c1: MLOAD
000019c2: PUSH3 0x461bcd
000019c6: PUSH1 0xe5
000019c8: SHL
000019c9: DUP2
000019ca: MSTORE
000019cb: PUSH1 0x04
000019cd: ADD
000019ce: DUP1
000019cf: DUP1
000019d0: PUSH1 0x20
000019d2: ADD
000019d3: DUP3
000019d4: DUP2
000019d5: SUB
000019d6: DUP3
000019d7: MSTORE
000019d8: PUSH1 0x24
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: DUP1
000019e0: PUSH2 0x28e9
000019e3: PUSH1 0x24
000019e5: SWAP2
000019e6: CODECOPY
000019e7: PUSH1 0x40
000019e9: ADD
000019ea: SWAP2
000019eb: POP
000019ec: POP
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: DUP1
000019f1: SWAP2
000019f2: SUB
000019f3: SWAP1
000019f4: REVERT
000019f5: JUMPDEST
000019f6: PUSH1 0x01
000019f8: PUSH1 0x01
000019fa: PUSH1 0xa0
000019fc: SHL
000019fd: SUB
000019fe: DUP3
000019ff: AND
00001a00: PUSH2 0x1a3a
00001a03: JUMPI
00001a04: PUSH1 0x40
00001a06: MLOAD
00001a07: PUSH3 0x461bcd
00001a0b: PUSH1 0xe5
00001a0d: SHL
00001a0e: DUP2
00001a0f: MSTORE
00001a10: PUSH1 0x04
00001a12: ADD
00001a13: DUP1
00001a14: DUP1
00001a15: PUSH1 0x20
00001a17: ADD
00001a18: DUP3
00001a19: DUP2
00001a1a: SUB
00001a1b: DUP3
00001a1c: MSTORE
00001a1d: PUSH1 0x22
00001a1f: DUP2
00001a20: MSTORE
00001a21: PUSH1 0x20
00001a23: ADD
00001a24: DUP1
00001a25: PUSH2 0x27e5
00001a28: PUSH1 0x22
00001a2a: SWAP2
00001a2b: CODECOPY
00001a2c: PUSH1 0x40
00001a2e: ADD
00001a2f: SWAP2
00001a30: POP
00001a31: POP
00001a32: PUSH1 0x40
00001a34: MLOAD
00001a35: DUP1
00001a36: SWAP2
00001a37: SUB
00001a38: SWAP1
00001a39: REVERT
00001a3a: JUMPDEST
00001a3b: PUSH1 0x01
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0xa0
00001a41: SHL
00001a42: SUB
00001a43: DUP1
00001a44: DUP5
00001a45: AND
00001a46: PUSH1 0x00
00001a48: DUP2
00001a49: DUP2
00001a4a: MSTORE
00001a4b: PUSH1 0x35
00001a4d: PUSH1 0x20
00001a4f: SWAP1
00001a50: DUP2
00001a51: MSTORE
00001a52: PUSH1 0x40
00001a54: DUP1
00001a55: DUP4
00001a56: KECCAK256
00001a57: SWAP5
00001a58: DUP8
00001a59: AND
00001a5a: DUP1
00001a5b: DUP5
00001a5c: MSTORE
00001a5d: SWAP5
00001a5e: DUP3
00001a5f: MSTORE
00001a60: SWAP2
00001a61: DUP3
00001a62: SWAP1
00001a63: KECCAK256
00001a64: DUP6
00001a65: SWAP1
00001a66: SSTORE
00001a67: DUP2
00001a68: MLOAD
00001a69: DUP6
00001a6a: DUP2
00001a6b: MSTORE
00001a6c: SWAP2
00001a6d: MLOAD
00001a6e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001a8f: SWAP3
00001a90: DUP2
00001a91: SWAP1
00001a92: SUB
00001a93: SWAP1
00001a94: SWAP2
00001a95: ADD
00001a96: SWAP1
00001a97: LOG3
00001a98: POP
00001a99: POP
00001a9a: POP
00001a9b: JUMP
00001a9c: JUMPDEST
00001a9d: PUSH1 0x01
00001a9f: PUSH1 0x01
00001aa1: PUSH1 0xa0
00001aa3: SHL
00001aa4: SUB
00001aa5: AND
00001aa6: PUSH1 0x00
00001aa8: SWAP1
00001aa9: DUP2
00001aaa: MSTORE
00001aab: PUSH1 0x34
00001aad: PUSH1 0x20
00001aaf: MSTORE
00001ab0: PUSH1 0x40
00001ab2: SWAP1
00001ab3: KECCAK256
00001ab4: SLOAD
00001ab5: SWAP1
00001ab6: JUMP
00001ab7: JUMPDEST
00001ab8: PUSH1 0x36
00001aba: SLOAD
00001abb: SWAP1
00001abc: JUMP
00001abd: JUMPDEST
00001abe: PUSH1 0x40
00001ac0: DUP1
00001ac1: MLOAD
00001ac2: DUP1
00001ac3: DUP3
00001ac4: ADD
00001ac5: SWAP1
00001ac6: SWAP2
00001ac7: MSTORE
00001ac8: PUSH1 0x02
00001aca: DUP2
00001acb: MSTORE
00001acc: PUSH2 0x0353
00001acf: PUSH1 0xf4
00001ad1: SHL
00001ad2: PUSH1 0x20
00001ad4: DUP3
00001ad5: ADD
00001ad6: MSTORE
00001ad7: PUSH1 0x00
00001ad9: SWAP1
00001ada: DUP3
00001adb: PUSH2 0x1b25
00001ade: JUMPI
00001adf: PUSH1 0x40
00001ae1: MLOAD
00001ae2: PUSH3 0x461bcd
00001ae6: PUSH1 0xe5
00001ae8: SHL
00001ae9: DUP2
00001aea: MSTORE
00001aeb: PUSH1 0x20
00001aed: PUSH1 0x04
00001aef: DUP3
00001af0: ADD
00001af1: DUP2
00001af2: DUP2
00001af3: MSTORE
00001af4: DUP4
00001af5: MLOAD
00001af6: PUSH1 0x24
00001af8: DUP5
00001af9: ADD
00001afa: MSTORE
00001afb: DUP4
00001afc: MLOAD
00001afd: SWAP1
00001afe: SWAP3
00001aff: DUP4
00001b00: SWAP3
00001b01: PUSH1 0x44
00001b03: SWAP1
00001b04: SWAP2
00001b05: ADD
00001b06: SWAP2
00001b07: SWAP1
00001b08: DUP6
00001b09: ADD
00001b0a: SWAP1
00001b0b: DUP1
00001b0c: DUP4
00001b0d: DUP4
00001b0e: PUSH1 0x00
00001b10: DUP4
00001b11: ISZERO
00001b12: PUSH2 0x087c
00001b15: JUMPI
00001b16: DUP2
00001b17: DUP2
00001b18: ADD
00001b19: MLOAD
00001b1a: DUP4
00001b1b: DUP3
00001b1c: ADD
00001b1d: MSTORE
00001b1e: PUSH1 0x20
00001b20: ADD
00001b21: PUSH2 0x0864
00001b24: JUMP
00001b25: JUMPDEST
00001b26: POP
00001b27: PUSH1 0x40
00001b29: DUP1
00001b2a: MLOAD
00001b2b: DUP1
00001b2c: DUP3
00001b2d: ADD
00001b2e: SWAP1
00001b2f: SWAP2
00001b30: MSTORE
00001b31: PUSH1 0x02
00001b33: DUP1
00001b34: DUP3
00001b35: MSTORE
00001b36: PUSH2 0x0687
00001b39: PUSH1 0xf3
00001b3b: SHL
00001b3c: PUSH1 0x20
00001b3e: DUP4
00001b3f: ADD
00001b40: MSTORE
00001b41: DUP4
00001b42: DIV
00001b43: SWAP1
00001b44: PUSH12 0x033b2e3c9fd0803ce8000000
00001b51: DUP3
00001b52: NOT
00001b53: DIV
00001b54: DUP6
00001b55: GT
00001b56: ISZERO
00001b57: PUSH2 0x1ba1
00001b5a: JUMPI
00001b5b: PUSH1 0x40
00001b5d: MLOAD
00001b5e: PUSH3 0x461bcd
00001b62: PUSH1 0xe5
00001b64: SHL
00001b65: DUP2
00001b66: MSTORE
00001b67: PUSH1 0x20
00001b69: PUSH1 0x04
00001b6b: DUP3
00001b6c: ADD
00001b6d: DUP2
00001b6e: DUP2
00001b6f: MSTORE
00001b70: DUP4
00001b71: MLOAD
00001b72: PUSH1 0x24
00001b74: DUP5
00001b75: ADD
00001b76: MSTORE
00001b77: DUP4
00001b78: MLOAD
00001b79: SWAP1
00001b7a: SWAP3
00001b7b: DUP4
00001b7c: SWAP3
00001b7d: PUSH1 0x44
00001b7f: SWAP1
00001b80: SWAP2
00001b81: ADD
00001b82: SWAP2
00001b83: SWAP1
00001b84: DUP6
00001b85: ADD
00001b86: SWAP1
00001b87: DUP1
00001b88: DUP4
00001b89: DUP4
00001b8a: PUSH1 0x00
00001b8c: DUP4
00001b8d: ISZERO
00001b8e: PUSH2 0x087c
00001b91: JUMPI
00001b92: DUP2
00001b93: DUP2
00001b94: ADD
00001b95: MLOAD
00001b96: DUP4
00001b97: DUP3
00001b98: ADD
00001b99: MSTORE
00001b9a: PUSH1 0x20
00001b9c: ADD
00001b9d: PUSH2 0x0864
00001ba0: JUMP
00001ba1: JUMPDEST
00001ba2: POP
00001ba3: DUP3
00001ba4: DUP2
00001ba5: PUSH12 0x033b2e3c9fd0803ce8000000
00001bb2: DUP7
00001bb3: MUL
00001bb4: ADD
00001bb5: DUP2
00001bb6: PUSH2 0x1bbb
00001bb9: JUMPI
00001bba: INVALID
00001bbb: JUMPDEST
00001bbc: DIV
00001bbd: SWAP5
00001bbe: SWAP4
00001bbf: POP
00001bc0: POP
00001bc1: POP
00001bc2: POP
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: PUSH1 0x01
00001bc7: PUSH1 0x01
00001bc9: PUSH1 0xa0
00001bcb: SHL
00001bcc: SUB
00001bcd: DUP3
00001bce: AND
00001bcf: PUSH2 0x1c1f
00001bd2: JUMPI
00001bd3: PUSH1 0x40
00001bd5: DUP1
00001bd6: MLOAD
00001bd7: PUSH3 0x461bcd
00001bdb: PUSH1 0xe5
00001bdd: SHL
00001bde: DUP2
00001bdf: MSTORE
00001be0: PUSH1 0x20
00001be2: PUSH1 0x04
00001be4: DUP3
00001be5: ADD
00001be6: MSTORE
00001be7: PUSH1 0x1f
00001be9: PUSH1 0x24
00001beb: DUP3
00001bec: ADD
00001bed: MSTORE
00001bee: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001c0f: PUSH1 0x44
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: SWAP1
00001c15: MLOAD
00001c16: SWAP1
00001c17: DUP2
00001c18: SWAP1
00001c19: SUB
00001c1a: PUSH1 0x64
00001c1c: ADD
00001c1d: SWAP1
00001c1e: REVERT
00001c1f: JUMPDEST
00001c20: PUSH2 0x1c2b
00001c23: PUSH1 0x00
00001c25: DUP4
00001c26: DUP4
00001c27: PUSH2 0x1e0b
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x36
00001c2e: SLOAD
00001c2f: PUSH2 0x1c38
00001c32: DUP2
00001c33: DUP4
00001c34: PUSH2 0x1eb1
00001c37: JUMP
00001c38: JUMPDEST
00001c39: PUSH1 0x36
00001c3b: SSTORE
00001c3c: PUSH1 0x01
00001c3e: PUSH1 0x01
00001c40: PUSH1 0xa0
00001c42: SHL
00001c43: SUB
00001c44: DUP4
00001c45: AND
00001c46: PUSH1 0x00
00001c48: SWAP1
00001c49: DUP2
00001c4a: MSTORE
00001c4b: PUSH1 0x34
00001c4d: PUSH1 0x20
00001c4f: MSTORE
00001c50: PUSH1 0x40
00001c52: SWAP1
00001c53: KECCAK256
00001c54: SLOAD
00001c55: PUSH2 0x1c5e
00001c58: DUP2
00001c59: DUP5
00001c5a: PUSH2 0x1eb1
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: PUSH1 0x01
00001c61: PUSH1 0x01
00001c63: PUSH1 0xa0
00001c65: SHL
00001c66: SUB
00001c67: DUP1
00001c68: DUP7
00001c69: AND
00001c6a: PUSH1 0x00
00001c6c: SWAP1
00001c6d: DUP2
00001c6e: MSTORE
00001c6f: PUSH1 0x34
00001c71: PUSH1 0x20
00001c73: MSTORE
00001c74: PUSH1 0x40
00001c76: SWAP1
00001c77: KECCAK256
00001c78: SWAP2
00001c79: SWAP1
00001c7a: SWAP2
00001c7b: SSTORE
00001c7c: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00001c9d: AND
00001c9e: ISZERO
00001c9f: PUSH2 0x1d3a
00001ca2: JUMPI
00001ca3: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00001cc4: PUSH1 0x01
00001cc6: PUSH1 0x01
00001cc8: PUSH1 0xa0
00001cca: SHL
00001ccb: SUB
00001ccc: AND
00001ccd: PUSH4 0x31873e2e
00001cd2: DUP6
00001cd3: DUP5
00001cd4: DUP5
00001cd5: PUSH1 0x40
00001cd7: MLOAD
00001cd8: DUP5
00001cd9: PUSH4 0xffffffff
00001cde: AND
00001cdf: PUSH1 0xe0
00001ce1: SHL
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: PUSH1 0x04
00001ce6: ADD
00001ce7: DUP1
00001ce8: DUP5
00001ce9: PUSH1 0x01
00001ceb: PUSH1 0x01
00001ced: PUSH1 0xa0
00001cef: SHL
00001cf0: SUB
00001cf1: AND
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: DUP4
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: DUP3
00001cfe: DUP2
00001cff: MSTORE
00001d00: PUSH1 0x20
00001d02: ADD
00001d03: SWAP4
00001d04: POP
00001d05: POP
00001d06: POP
00001d07: POP
00001d08: PUSH1 0x00
00001d0a: PUSH1 0x40
00001d0c: MLOAD
00001d0d: DUP1
00001d0e: DUP4
00001d0f: SUB
00001d10: DUP2
00001d11: PUSH1 0x00
00001d13: DUP8
00001d14: DUP1
00001d15: EXTCODESIZE
00001d16: ISZERO
00001d17: DUP1
00001d18: ISZERO
00001d19: PUSH2 0x1d21
00001d1c: JUMPI
00001d1d: PUSH1 0x00
00001d1f: DUP1
00001d20: REVERT
00001d21: JUMPDEST
00001d22: POP
00001d23: GAS
00001d24: CALL
00001d25: ISZERO
00001d26: DUP1
00001d27: ISZERO
00001d28: PUSH2 0x1d35
00001d2b: JUMPI
00001d2c: RETURNDATASIZE
00001d2d: PUSH1 0x00
00001d2f: DUP1
00001d30: RETURNDATACOPY
00001d31: RETURNDATASIZE
00001d32: PUSH1 0x00
00001d34: REVERT
00001d35: JUMPDEST
00001d36: POP
00001d37: POP
00001d38: POP
00001d39: POP
00001d3a: JUMPDEST
00001d3b: POP
00001d3c: POP
00001d3d: POP
00001d3e: POP
00001d3f: JUMP
00001d40: JUMPDEST
00001d41: PUSH1 0x00
00001d43: DUP3
00001d44: ISZERO
00001d45: DUP1
00001d46: PUSH2 0x1d4d
00001d49: JUMPI
00001d4a: POP
00001d4b: DUP2
00001d4c: ISZERO
00001d4d: JUMPDEST
00001d4e: ISZERO
00001d4f: PUSH2 0x1d5a
00001d52: JUMPI
00001d53: POP
00001d54: PUSH1 0x00
00001d56: PUSH2 0x07ad
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: DUP2
00001d5c: PUSH12 0x019d971e4fe8401e74000000
00001d69: NOT
00001d6a: DUP2
00001d6b: PUSH2 0x1d70
00001d6e: JUMPI
00001d6f: INVALID
00001d70: JUMPDEST
00001d71: DIV
00001d72: DUP4
00001d73: GT
00001d74: ISZERO
00001d75: PUSH1 0x40
00001d77: MLOAD
00001d78: DUP1
00001d79: PUSH1 0x40
00001d7b: ADD
00001d7c: PUSH1 0x40
00001d7e: MSTORE
00001d7f: DUP1
00001d80: PUSH1 0x02
00001d82: DUP2
00001d83: MSTORE
00001d84: PUSH1 0x20
00001d86: ADD
00001d87: PUSH2 0x0687
00001d8a: PUSH1 0xf3
00001d8c: SHL
00001d8d: DUP2
00001d8e: MSTORE
00001d8f: POP
00001d90: SWAP1
00001d91: PUSH2 0x1ddb
00001d94: JUMPI
00001d95: PUSH1 0x40
00001d97: MLOAD
00001d98: PUSH3 0x461bcd
00001d9c: PUSH1 0xe5
00001d9e: SHL
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x20
00001da3: PUSH1 0x04
00001da5: DUP3
00001da6: ADD
00001da7: DUP2
00001da8: DUP2
00001da9: MSTORE
00001daa: DUP4
00001dab: MLOAD
00001dac: PUSH1 0x24
00001dae: DUP5
00001daf: ADD
00001db0: MSTORE
00001db1: DUP4
00001db2: MLOAD
00001db3: SWAP1
00001db4: SWAP3
00001db5: DUP4
00001db6: SWAP3
00001db7: PUSH1 0x44
00001db9: SWAP1
00001dba: SWAP2
00001dbb: ADD
00001dbc: SWAP2
00001dbd: SWAP1
00001dbe: DUP6
00001dbf: ADD
00001dc0: SWAP1
00001dc1: DUP1
00001dc2: DUP4
00001dc3: DUP4
00001dc4: PUSH1 0x00
00001dc6: DUP4
00001dc7: ISZERO
00001dc8: PUSH2 0x087c
00001dcb: JUMPI
00001dcc: DUP2
00001dcd: DUP2
00001dce: ADD
00001dcf: MLOAD
00001dd0: DUP4
00001dd1: DUP3
00001dd2: ADD
00001dd3: MSTORE
00001dd4: PUSH1 0x20
00001dd6: ADD
00001dd7: PUSH2 0x0864
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: POP
00001ddd: POP
00001dde: PUSH12 0x033b2e3c9fd0803ce8000000
00001deb: SWAP2
00001dec: MUL
00001ded: PUSH12 0x019d971e4fe8401e74000000
00001dfa: ADD
00001dfb: DIV
00001dfc: SWAP1
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: PUSH2 0x1e0b
00001e02: DUP4
00001e03: DUP4
00001e04: DUP4
00001e05: PUSH1 0x01
00001e07: PUSH2 0x2008
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: POP
00001e0d: POP
00001e0e: POP
00001e0f: JUMP
00001e10: JUMPDEST
00001e11: PUSH1 0x00
00001e13: DUP2
00001e14: DUP5
00001e15: DUP5
00001e16: GT
00001e17: ISZERO
00001e18: PUSH2 0x1e62
00001e1b: JUMPI
00001e1c: PUSH1 0x40
00001e1e: MLOAD
00001e1f: PUSH3 0x461bcd
00001e23: PUSH1 0xe5
00001e25: SHL
00001e26: DUP2
00001e27: MSTORE
00001e28: PUSH1 0x20
00001e2a: PUSH1 0x04
00001e2c: DUP3
00001e2d: ADD
00001e2e: DUP2
00001e2f: DUP2
00001e30: MSTORE
00001e31: DUP4
00001e32: MLOAD
00001e33: PUSH1 0x24
00001e35: DUP5
00001e36: ADD
00001e37: MSTORE
00001e38: DUP4
00001e39: MLOAD
00001e3a: SWAP1
00001e3b: SWAP3
00001e3c: DUP4
00001e3d: SWAP3
00001e3e: PUSH1 0x44
00001e40: SWAP1
00001e41: SWAP2
00001e42: ADD
00001e43: SWAP2
00001e44: SWAP1
00001e45: DUP6
00001e46: ADD
00001e47: SWAP1
00001e48: DUP1
00001e49: DUP4
00001e4a: DUP4
00001e4b: PUSH1 0x00
00001e4d: DUP4
00001e4e: ISZERO
00001e4f: PUSH2 0x087c
00001e52: JUMPI
00001e53: DUP2
00001e54: DUP2
00001e55: ADD
00001e56: MLOAD
00001e57: DUP4
00001e58: DUP3
00001e59: ADD
00001e5a: MSTORE
00001e5b: PUSH1 0x20
00001e5d: ADD
00001e5e: PUSH2 0x0864
00001e61: JUMP
00001e62: JUMPDEST
00001e63: POP
00001e64: POP
00001e65: POP
00001e66: SWAP1
00001e67: SUB
00001e68: SWAP1
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: PUSH1 0x02
00001e6d: SWAP1
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: ADDRESS
00001e71: EXTCODESIZE
00001e72: ISZERO
00001e73: SWAP1
00001e74: JUMP
00001e75: JUMPDEST
00001e76: DUP1
00001e77: MLOAD
00001e78: PUSH2 0x12d2
00001e7b: SWAP1
00001e7c: PUSH1 0x37
00001e7e: SWAP1
00001e7f: PUSH1 0x20
00001e81: DUP5
00001e82: ADD
00001e83: SWAP1
00001e84: PUSH2 0x270c
00001e87: JUMP
00001e88: JUMPDEST
00001e89: DUP1
00001e8a: MLOAD
00001e8b: PUSH2 0x12d2
00001e8e: SWAP1
00001e8f: PUSH1 0x38
00001e91: SWAP1
00001e92: PUSH1 0x20
00001e94: DUP5
00001e95: ADD
00001e96: SWAP1
00001e97: PUSH2 0x270c
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH1 0x39
00001e9e: DUP1
00001e9f: SLOAD
00001ea0: PUSH1 0xff
00001ea2: NOT
00001ea3: AND
00001ea4: PUSH1 0xff
00001ea6: SWAP3
00001ea7: SWAP1
00001ea8: SWAP3
00001ea9: AND
00001eaa: SWAP2
00001eab: SWAP1
00001eac: SWAP2
00001ead: OR
00001eae: SWAP1
00001eaf: SSTORE
00001eb0: JUMP
00001eb1: JUMPDEST
00001eb2: PUSH1 0x00
00001eb4: DUP3
00001eb5: DUP3
00001eb6: ADD
00001eb7: DUP4
00001eb8: DUP2
00001eb9: LT
00001eba: ISZERO
00001ebb: PUSH2 0x1f0b
00001ebe: JUMPI
00001ebf: PUSH1 0x40
00001ec1: DUP1
00001ec2: MLOAD
00001ec3: PUSH3 0x461bcd
00001ec7: PUSH1 0xe5
00001ec9: SHL
00001eca: DUP2
00001ecb: MSTORE
00001ecc: PUSH1 0x20
00001ece: PUSH1 0x04
00001ed0: DUP3
00001ed1: ADD
00001ed2: MSTORE
00001ed3: PUSH1 0x1b
00001ed5: PUSH1 0x24
00001ed7: DUP3
00001ed8: ADD
00001ed9: MSTORE
00001eda: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001efb: PUSH1 0x44
00001efd: DUP3
00001efe: ADD
00001eff: MSTORE
00001f00: SWAP1
00001f01: MLOAD
00001f02: SWAP1
00001f03: DUP2
00001f04: SWAP1
00001f05: SUB
00001f06: PUSH1 0x64
00001f08: ADD
00001f09: SWAP1
00001f0a: REVERT
00001f0b: JUMPDEST
00001f0c: SWAP4
00001f0d: SWAP3
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: JUMP
00001f12: JUMPDEST
00001f13: PUSH1 0x40
00001f15: DUP1
00001f16: MLOAD
00001f17: PUSH1 0x01
00001f19: PUSH1 0x01
00001f1b: PUSH1 0xa0
00001f1d: SHL
00001f1e: SUB
00001f1f: DUP5
00001f20: AND
00001f21: PUSH1 0x24
00001f23: DUP3
00001f24: ADD
00001f25: MSTORE
00001f26: PUSH1 0x44
00001f28: DUP1
00001f29: DUP3
00001f2a: ADD
00001f2b: DUP5
00001f2c: SWAP1
00001f2d: MSTORE
00001f2e: DUP3
00001f2f: MLOAD
00001f30: DUP1
00001f31: DUP4
00001f32: SUB
00001f33: SWAP1
00001f34: SWAP2
00001f35: ADD
00001f36: DUP2
00001f37: MSTORE
00001f38: PUSH1 0x64
00001f3a: SWAP1
00001f3b: SWAP2
00001f3c: ADD
00001f3d: SWAP1
00001f3e: SWAP2
00001f3f: MSTORE
00001f40: PUSH1 0x20
00001f42: DUP2
00001f43: ADD
00001f44: DUP1
00001f45: MLOAD
00001f46: PUSH1 0x01
00001f48: PUSH1 0x01
00001f4a: PUSH1 0xe0
00001f4c: SHL
00001f4d: SUB
00001f4e: AND
00001f4f: PUSH4 0xa9059cbb
00001f54: PUSH1 0xe0
00001f56: SHL
00001f57: OR
00001f58: SWAP1
00001f59: MSTORE
00001f5a: PUSH2 0x1e0b
00001f5d: SWAP1
00001f5e: DUP5
00001f5f: SWAP1
00001f60: PUSH2 0x2227
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH1 0x01
00001f67: PUSH1 0x01
00001f69: PUSH1 0xa0
00001f6b: SHL
00001f6c: SUB
00001f6d: DUP3
00001f6e: AND
00001f6f: PUSH2 0x1fa9
00001f72: JUMPI
00001f73: PUSH1 0x40
00001f75: MLOAD
00001f76: PUSH3 0x461bcd
00001f7a: PUSH1 0xe5
00001f7c: SHL
00001f7d: DUP2
00001f7e: MSTORE
00001f7f: PUSH1 0x04
00001f81: ADD
00001f82: DUP1
00001f83: DUP1
00001f84: PUSH1 0x20
00001f86: ADD
00001f87: DUP3
00001f88: DUP2
00001f89: SUB
00001f8a: DUP3
00001f8b: MSTORE
00001f8c: PUSH1 0x21
00001f8e: DUP2
00001f8f: MSTORE
00001f90: PUSH1 0x20
00001f92: ADD
00001f93: DUP1
00001f94: PUSH2 0x28a3
00001f97: PUSH1 0x21
00001f99: SWAP2
00001f9a: CODECOPY
00001f9b: PUSH1 0x40
00001f9d: ADD
00001f9e: SWAP2
00001f9f: POP
00001fa0: POP
00001fa1: PUSH1 0x40
00001fa3: MLOAD
00001fa4: DUP1
00001fa5: SWAP2
00001fa6: SUB
00001fa7: SWAP1
00001fa8: REVERT
00001fa9: JUMPDEST
00001faa: PUSH2 0x1fb5
00001fad: DUP3
00001fae: PUSH1 0x00
00001fb0: DUP4
00001fb1: PUSH2 0x1e0b
00001fb4: JUMP
00001fb5: JUMPDEST
00001fb6: PUSH1 0x36
00001fb8: SLOAD
00001fb9: PUSH2 0x1fc2
00001fbc: DUP2
00001fbd: DUP4
00001fbe: PUSH2 0x23df
00001fc1: JUMP
00001fc2: JUMPDEST
00001fc3: PUSH1 0x36
00001fc5: SSTORE
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: DUP4
00001fcf: AND
00001fd0: PUSH1 0x00
00001fd2: SWAP1
00001fd3: DUP2
00001fd4: MSTORE
00001fd5: PUSH1 0x34
00001fd7: PUSH1 0x20
00001fd9: SWAP1
00001fda: DUP2
00001fdb: MSTORE
00001fdc: PUSH1 0x40
00001fde: SWAP2
00001fdf: DUP3
00001fe0: SWAP1
00001fe1: KECCAK256
00001fe2: SLOAD
00001fe3: DUP3
00001fe4: MLOAD
00001fe5: PUSH1 0x60
00001fe7: DUP2
00001fe8: ADD
00001fe9: SWAP1
00001fea: SWAP4
00001feb: MSTORE
00001fec: PUSH1 0x22
00001fee: DUP1
00001fef: DUP5
00001ff0: MSTORE
00001ff1: SWAP1
00001ff2: SWAP3
00001ff3: PUSH2 0x1c5e
00001ff6: SWAP3
00001ff7: DUP7
00001ff8: SWAP3
00001ff9: SWAP1
00001ffa: PUSH2 0x27c3
00001ffd: SWAP1
00001ffe: DUP4
00001fff: ADD
00002000: CODECOPY
00002001: DUP4
00002002: SWAP2
00002003: SWAP1
00002004: PUSH2 0x1e10
00002007: JUMP
00002008: JUMPDEST
00002009: PUSH1 0x00
0000200b: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
0000202c: PUSH1 0x01
0000202e: PUSH1 0x01
00002030: PUSH1 0xa0
00002032: SHL
00002033: SUB
00002034: AND
00002035: PUSH4 0xd15e0053
0000203a: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000205b: PUSH1 0x40
0000205d: MLOAD
0000205e: DUP3
0000205f: PUSH4 0xffffffff
00002064: AND
00002065: PUSH1 0xe0
00002067: SHL
00002068: DUP2
00002069: MSTORE
0000206a: PUSH1 0x04
0000206c: ADD
0000206d: DUP1
0000206e: DUP3
0000206f: PUSH1 0x01
00002071: PUSH1 0x01
00002073: PUSH1 0xa0
00002075: SHL
00002076: SUB
00002077: AND
00002078: DUP2
00002079: MSTORE
0000207a: PUSH1 0x20
0000207c: ADD
0000207d: SWAP2
0000207e: POP
0000207f: POP
00002080: PUSH1 0x20
00002082: PUSH1 0x40
00002084: MLOAD
00002085: DUP1
00002086: DUP4
00002087: SUB
00002088: DUP2
00002089: DUP7
0000208a: DUP1
0000208b: EXTCODESIZE
0000208c: ISZERO
0000208d: DUP1
0000208e: ISZERO
0000208f: PUSH2 0x2097
00002092: JUMPI
00002093: PUSH1 0x00
00002095: DUP1
00002096: REVERT
00002097: JUMPDEST
00002098: POP
00002099: GAS
0000209a: STATICCALL
0000209b: ISZERO
0000209c: DUP1
0000209d: ISZERO
0000209e: PUSH2 0x20ab
000020a1: JUMPI
000020a2: RETURNDATASIZE
000020a3: PUSH1 0x00
000020a5: DUP1
000020a6: RETURNDATACOPY
000020a7: RETURNDATASIZE
000020a8: PUSH1 0x00
000020aa: REVERT
000020ab: JUMPDEST
000020ac: POP
000020ad: POP
000020ae: POP
000020af: POP
000020b0: PUSH1 0x40
000020b2: MLOAD
000020b3: RETURNDATASIZE
000020b4: PUSH1 0x20
000020b6: DUP2
000020b7: LT
000020b8: ISZERO
000020b9: PUSH2 0x20c1
000020bc: JUMPI
000020bd: PUSH1 0x00
000020bf: DUP1
000020c0: REVERT
000020c1: JUMPDEST
000020c2: POP
000020c3: MLOAD
000020c4: SWAP1
000020c5: POP
000020c6: PUSH1 0x00
000020c8: PUSH2 0x20d4
000020cb: DUP3
000020cc: PUSH2 0x10d3
000020cf: DUP9
000020d0: PUSH2 0x1a9c
000020d3: JUMP
000020d4: JUMPDEST
000020d5: SWAP1
000020d6: POP
000020d7: PUSH1 0x00
000020d9: PUSH2 0x20e5
000020dc: DUP4
000020dd: PUSH2 0x10d3
000020e0: DUP9
000020e1: PUSH2 0x1a9c
000020e4: JUMP
000020e5: JUMPDEST
000020e6: SWAP1
000020e7: POP
000020e8: PUSH2 0x20fb
000020eb: DUP8
000020ec: DUP8
000020ed: PUSH2 0x20f6
000020f0: DUP9
000020f1: DUP8
000020f2: PUSH2 0x1abd
000020f5: JUMP
000020f6: JUMPDEST
000020f7: PUSH2 0x2421
000020fa: JUMP
000020fb: JUMPDEST
000020fc: DUP4
000020fd: ISZERO
000020fe: PUSH2 0x21cb
00002101: JUMPI
00002102: PUSH1 0x40
00002104: DUP1
00002105: MLOAD
00002106: PUSH4 0xd5ed3933
0000210b: PUSH1 0xe0
0000210d: SHL
0000210e: DUP2
0000210f: MSTORE
00002110: PUSH1 0x01
00002112: PUSH1 0x01
00002114: PUSH1 0xa0
00002116: SHL
00002117: SUB
00002118: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002139: DUP2
0000213a: AND
0000213b: PUSH1 0x04
0000213d: DUP4
0000213e: ADD
0000213f: MSTORE
00002140: DUP10
00002141: DUP2
00002142: AND
00002143: PUSH1 0x24
00002145: DUP4
00002146: ADD
00002147: MSTORE
00002148: DUP9
00002149: DUP2
0000214a: AND
0000214b: PUSH1 0x44
0000214d: DUP4
0000214e: ADD
0000214f: MSTORE
00002150: PUSH1 0x64
00002152: DUP3
00002153: ADD
00002154: DUP9
00002155: SWAP1
00002156: MSTORE
00002157: PUSH1 0x84
00002159: DUP3
0000215a: ADD
0000215b: DUP6
0000215c: SWAP1
0000215d: MSTORE
0000215e: PUSH1 0xa4
00002160: DUP3
00002161: ADD
00002162: DUP5
00002163: SWAP1
00002164: MSTORE
00002165: SWAP2
00002166: MLOAD
00002167: PUSH32 0x0000000000000000000000007d2768de32b0b80b7a3454c06bdac94a69ddc7a9
00002188: SWAP1
00002189: SWAP3
0000218a: AND
0000218b: SWAP2
0000218c: PUSH4 0xd5ed3933
00002191: SWAP2
00002192: PUSH1 0xc4
00002194: DUP1
00002195: DUP3
00002196: ADD
00002197: SWAP3
00002198: PUSH1 0x00
0000219a: SWAP3
0000219b: SWAP1
0000219c: SWAP2
0000219d: SWAP1
0000219e: DUP3
0000219f: SWAP1
000021a0: SUB
000021a1: ADD
000021a2: DUP2
000021a3: DUP4
000021a4: DUP8
000021a5: DUP1
000021a6: EXTCODESIZE
000021a7: ISZERO
000021a8: DUP1
000021a9: ISZERO
000021aa: PUSH2 0x21b2
000021ad: JUMPI
000021ae: PUSH1 0x00
000021b0: DUP1
000021b1: REVERT
000021b2: JUMPDEST
000021b3: POP
000021b4: GAS
000021b5: CALL
000021b6: ISZERO
000021b7: DUP1
000021b8: ISZERO
000021b9: PUSH2 0x21c6
000021bc: JUMPI
000021bd: RETURNDATASIZE
000021be: PUSH1 0x00
000021c0: DUP1
000021c1: RETURNDATACOPY
000021c2: RETURNDATASIZE
000021c3: PUSH1 0x00
000021c5: REVERT
000021c6: JUMPDEST
000021c7: POP
000021c8: POP
000021c9: POP
000021ca: POP
000021cb: JUMPDEST
000021cc: DUP6
000021cd: PUSH1 0x01
000021cf: PUSH1 0x01
000021d1: PUSH1 0xa0
000021d3: SHL
000021d4: SUB
000021d5: AND
000021d6: DUP8
000021d7: PUSH1 0x01
000021d9: PUSH1 0x01
000021db: PUSH1 0xa0
000021dd: SHL
000021de: SUB
000021df: AND
000021e0: PUSH32 0x4beccb90f994c31aced7a23b5611020728a23d8ec5cddd1a3e9d97b96fda8666
00002201: DUP8
00002202: DUP7
00002203: PUSH1 0x40
00002205: MLOAD
00002206: DUP1
00002207: DUP4
00002208: DUP2
00002209: MSTORE
0000220a: PUSH1 0x20
0000220c: ADD
0000220d: DUP3
0000220e: DUP2
0000220f: MSTORE
00002210: PUSH1 0x20
00002212: ADD
00002213: SWAP3
00002214: POP
00002215: POP
00002216: POP
00002217: PUSH1 0x40
00002219: MLOAD
0000221a: DUP1
0000221b: SWAP2
0000221c: SUB
0000221d: SWAP1
0000221e: LOG3
0000221f: POP
00002220: POP
00002221: POP
00002222: POP
00002223: POP
00002224: POP
00002225: POP
00002226: JUMP
00002227: JUMPDEST
00002228: PUSH2 0x2239
0000222b: DUP3
0000222c: PUSH1 0x01
0000222e: PUSH1 0x01
00002230: PUSH1 0xa0
00002232: SHL
00002233: SUB
00002234: AND
00002235: PUSH2 0x26d0
00002238: JUMP
00002239: JUMPDEST
0000223a: PUSH2 0x228a
0000223d: JUMPI
0000223e: PUSH1 0x40
00002240: DUP1
00002241: MLOAD
00002242: PUSH3 0x461bcd
00002246: PUSH1 0xe5
00002248: SHL
00002249: DUP2
0000224a: MSTORE
0000224b: PUSH1 0x20
0000224d: PUSH1 0x04
0000224f: DUP3
00002250: ADD
00002251: MSTORE
00002252: PUSH1 0x1f
00002254: PUSH1 0x24
00002256: DUP3
00002257: ADD
00002258: MSTORE
00002259: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
0000227a: PUSH1 0x44
0000227c: DUP3
0000227d: ADD
0000227e: MSTORE
0000227f: SWAP1
00002280: MLOAD
00002281: SWAP1
00002282: DUP2
00002283: SWAP1
00002284: SUB
00002285: PUSH1 0x64
00002287: ADD
00002288: SWAP1
00002289: REVERT
0000228a: JUMPDEST
0000228b: PUSH1 0x00
0000228d: PUSH1 0x60
0000228f: DUP4
00002290: PUSH1 0x01
00002292: PUSH1 0x01
00002294: PUSH1 0xa0
00002296: SHL
00002297: SUB
00002298: AND
00002299: DUP4
0000229a: PUSH1 0x40
0000229c: MLOAD
0000229d: DUP1
0000229e: DUP3
0000229f: DUP1
000022a0: MLOAD
000022a1: SWAP1
000022a2: PUSH1 0x20
000022a4: ADD
000022a5: SWAP1
000022a6: DUP1
000022a7: DUP4
000022a8: DUP4
000022a9: JUMPDEST
000022aa: PUSH1 0x20
000022ac: DUP4
000022ad: LT
000022ae: PUSH2 0x22c8
000022b1: JUMPI
000022b2: DUP1
000022b3: MLOAD
000022b4: DUP3
000022b5: MSTORE
000022b6: PUSH1 0x1f
000022b8: NOT
000022b9: SWAP1
000022ba: SWAP3
000022bb: ADD
000022bc: SWAP2
000022bd: PUSH1 0x20
000022bf: SWAP2
000022c0: DUP3
000022c1: ADD
000022c2: SWAP2
000022c3: ADD
000022c4: PUSH2 0x22a9
000022c7: JUMP
000022c8: JUMPDEST
000022c9: PUSH1 0x01
000022cb: DUP4
000022cc: PUSH1 0x20
000022ce: SUB
000022cf: PUSH2 0x0100
000022d2: EXP
000022d3: SUB
000022d4: DUP1
000022d5: NOT
000022d6: DUP3
000022d7: MLOAD
000022d8: AND
000022d9: DUP2
000022da: DUP5
000022db: MLOAD
000022dc: AND
000022dd: DUP1
000022de: DUP3
000022df: OR
000022e0: DUP6
000022e1: MSTORE
000022e2: POP
000022e3: POP
000022e4: POP
000022e5: POP
000022e6: POP
000022e7: POP
000022e8: SWAP1
000022e9: POP
000022ea: ADD
000022eb: SWAP2
000022ec: POP
000022ed: POP
000022ee: PUSH1 0x00
000022f0: PUSH1 0x40
000022f2: MLOAD
000022f3: DUP1
000022f4: DUP4
000022f5: SUB
000022f6: DUP2
000022f7: PUSH1 0x00
000022f9: DUP7
000022fa: GAS
000022fb: CALL
000022fc: SWAP2
000022fd: POP
000022fe: POP
000022ff: RETURNDATASIZE
00002300: DUP1
00002301: PUSH1 0x00
00002303: DUP2
00002304: EQ
00002305: PUSH2 0x232a
00002308: JUMPI
00002309: PUSH1 0x40
0000230b: MLOAD
0000230c: SWAP2
0000230d: POP
0000230e: PUSH1 0x1f
00002310: NOT
00002311: PUSH1 0x3f
00002313: RETURNDATASIZE
00002314: ADD
00002315: AND
00002316: DUP3
00002317: ADD
00002318: PUSH1 0x40
0000231a: MSTORE
0000231b: RETURNDATASIZE
0000231c: DUP3
0000231d: MSTORE
0000231e: RETURNDATASIZE
0000231f: PUSH1 0x00
00002321: PUSH1 0x20
00002323: DUP5
00002324: ADD
00002325: RETURNDATACOPY
00002326: PUSH2 0x232f
00002329: JUMP
0000232a: JUMPDEST
0000232b: PUSH1 0x60
0000232d: SWAP2
0000232e: POP
0000232f: JUMPDEST
00002330: POP
00002331: SWAP2
00002332: POP
00002333: SWAP2
00002334: POP
00002335: DUP2
00002336: PUSH2 0x2386
00002339: JUMPI
0000233a: PUSH1 0x40
0000233c: DUP1
0000233d: MLOAD
0000233e: PUSH3 0x461bcd
00002342: PUSH1 0xe5
00002344: SHL
00002345: DUP2
00002346: MSTORE
00002347: PUSH1 0x20
00002349: PUSH1 0x04
0000234b: DUP3
0000234c: ADD
0000234d: DUP2
0000234e: SWAP1
0000234f: MSTORE
00002350: PUSH1 0x24
00002352: DUP3
00002353: ADD
00002354: MSTORE
00002355: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002376: PUSH1 0x44
00002378: DUP3
00002379: ADD
0000237a: MSTORE
0000237b: SWAP1
0000237c: MLOAD
0000237d: SWAP1
0000237e: DUP2
0000237f: SWAP1
00002380: SUB
00002381: PUSH1 0x64
00002383: ADD
00002384: SWAP1
00002385: REVERT
00002386: JUMPDEST
00002387: DUP1
00002388: MLOAD
00002389: ISZERO
0000238a: PUSH2 0x1d3a
0000238d: JUMPI
0000238e: DUP1
0000238f: DUP1
00002390: PUSH1 0x20
00002392: ADD
00002393: SWAP1
00002394: MLOAD
00002395: PUSH1 0x20
00002397: DUP2
00002398: LT
00002399: ISZERO
0000239a: PUSH2 0x23a2
0000239d: JUMPI
0000239e: PUSH1 0x00
000023a0: DUP1
000023a1: REVERT
000023a2: JUMPDEST
000023a3: POP
000023a4: MLOAD
000023a5: PUSH2 0x1d3a
000023a8: JUMPI
000023a9: PUSH1 0x40
000023ab: MLOAD
000023ac: PUSH3 0x461bcd
000023b0: PUSH1 0xe5
000023b2: SHL
000023b3: DUP2
000023b4: MSTORE
000023b5: PUSH1 0x04
000023b7: ADD
000023b8: DUP1
000023b9: DUP1
000023ba: PUSH1 0x20
000023bc: ADD
000023bd: DUP3
000023be: DUP2
000023bf: SUB
000023c0: DUP3
000023c1: MSTORE
000023c2: PUSH1 0x2a
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: DUP1
000023ca: PUSH2 0x290d
000023cd: PUSH1 0x2a
000023cf: SWAP2
000023d0: CODECOPY
000023d1: PUSH1 0x40
000023d3: ADD
000023d4: SWAP2
000023d5: POP
000023d6: POP
000023d7: PUSH1 0x40
000023d9: MLOAD
000023da: DUP1
000023db: SWAP2
000023dc: SUB
000023dd: SWAP1
000023de: REVERT
000023df: JUMPDEST
000023e0: PUSH1 0x00
000023e2: PUSH2 0x1f0b
000023e5: DUP4
000023e6: DUP4
000023e7: PUSH1 0x40
000023e9: MLOAD
000023ea: DUP1
000023eb: PUSH1 0x40
000023ed: ADD
000023ee: PUSH1 0x40
000023f0: MSTORE
000023f1: DUP1
000023f2: PUSH1 0x1e
000023f4: DUP2
000023f5: MSTORE
000023f6: PUSH1 0x20
000023f8: ADD
000023f9: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000241a: DUP2
0000241b: MSTORE
0000241c: POP
0000241d: PUSH2 0x1e10
00002420: JUMP
00002421: JUMPDEST
00002422: PUSH1 0x01
00002424: PUSH1 0x01
00002426: PUSH1 0xa0
00002428: SHL
00002429: SUB
0000242a: DUP4
0000242b: AND
0000242c: PUSH2 0x2466
0000242f: JUMPI
00002430: PUSH1 0x40
00002432: MLOAD
00002433: PUSH3 0x461bcd
00002437: PUSH1 0xe5
00002439: SHL
0000243a: DUP2
0000243b: MSTORE
0000243c: PUSH1 0x04
0000243e: ADD
0000243f: DUP1
00002440: DUP1
00002441: PUSH1 0x20
00002443: ADD
00002444: DUP3
00002445: DUP2
00002446: SUB
00002447: DUP3
00002448: MSTORE
00002449: PUSH1 0x25
0000244b: DUP2
0000244c: MSTORE
0000244d: PUSH1 0x20
0000244f: ADD
00002450: DUP1
00002451: PUSH2 0x28c4
00002454: PUSH1 0x25
00002456: SWAP2
00002457: CODECOPY
00002458: PUSH1 0x40
0000245a: ADD
0000245b: SWAP2
0000245c: POP
0000245d: POP
0000245e: PUSH1 0x40
00002460: MLOAD
00002461: DUP1
00002462: SWAP2
00002463: SUB
00002464: SWAP1
00002465: REVERT
00002466: JUMPDEST
00002467: PUSH1 0x01
00002469: PUSH1 0x01
0000246b: PUSH1 0xa0
0000246d: SHL
0000246e: SUB
0000246f: DUP3
00002470: AND
00002471: PUSH2 0x24ab
00002474: JUMPI
00002475: PUSH1 0x40
00002477: MLOAD
00002478: PUSH3 0x461bcd
0000247c: PUSH1 0xe5
0000247e: SHL
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x04
00002483: ADD
00002484: DUP1
00002485: DUP1
00002486: PUSH1 0x20
00002488: ADD
00002489: DUP3
0000248a: DUP2
0000248b: SUB
0000248c: DUP3
0000248d: MSTORE
0000248e: PUSH1 0x23
00002490: DUP2
00002491: MSTORE
00002492: PUSH1 0x20
00002494: ADD
00002495: DUP1
00002496: PUSH2 0x27a0
00002499: PUSH1 0x23
0000249b: SWAP2
0000249c: CODECOPY
0000249d: PUSH1 0x40
0000249f: ADD
000024a0: SWAP2
000024a1: POP
000024a2: POP
000024a3: PUSH1 0x40
000024a5: MLOAD
000024a6: DUP1
000024a7: SWAP2
000024a8: SUB
000024a9: SWAP1
000024aa: REVERT
000024ab: JUMPDEST
000024ac: PUSH2 0x24b6
000024af: DUP4
000024b0: DUP4
000024b1: DUP4
000024b2: PUSH2 0x1e0b
000024b5: JUMP
000024b6: JUMPDEST
000024b7: PUSH1 0x00
000024b9: PUSH1 0x34
000024bb: PUSH1 0x00
000024bd: DUP6
000024be: PUSH1 0x01
000024c0: PUSH1 0x01
000024c2: PUSH1 0xa0
000024c4: SHL
000024c5: SUB
000024c6: AND
000024c7: PUSH1 0x01
000024c9: PUSH1 0x01
000024cb: PUSH1 0xa0
000024cd: SHL
000024ce: SUB
000024cf: AND
000024d0: DUP2
000024d1: MSTORE
000024d2: PUSH1 0x20
000024d4: ADD
000024d5: SWAP1
000024d6: DUP2
000024d7: MSTORE
000024d8: PUSH1 0x20
000024da: ADD
000024db: PUSH1 0x00
000024dd: KECCAK256
000024de: SLOAD
000024df: SWAP1
000024e0: POP
000024e1: PUSH2 0x2505
000024e4: DUP3
000024e5: PUSH1 0x40
000024e7: MLOAD
000024e8: DUP1
000024e9: PUSH1 0x60
000024eb: ADD
000024ec: PUSH1 0x40
000024ee: MSTORE
000024ef: DUP1
000024f0: PUSH1 0x26
000024f2: DUP2
000024f3: MSTORE
000024f4: PUSH1 0x20
000024f6: ADD
000024f7: PUSH2 0x2807
000024fa: PUSH1 0x26
000024fc: SWAP2
000024fd: CODECOPY
000024fe: DUP4
000024ff: SWAP2
00002500: SWAP1
00002501: PUSH2 0x1e10
00002504: JUMP
00002505: JUMPDEST
00002506: PUSH1 0x01
00002508: PUSH1 0x01
0000250a: PUSH1 0xa0
0000250c: SHL
0000250d: SUB
0000250e: DUP1
0000250f: DUP7
00002510: AND
00002511: PUSH1 0x00
00002513: SWAP1
00002514: DUP2
00002515: MSTORE
00002516: PUSH1 0x34
00002518: PUSH1 0x20
0000251a: MSTORE
0000251b: PUSH1 0x40
0000251d: DUP1
0000251e: DUP3
0000251f: KECCAK256
00002520: SWAP4
00002521: SWAP1
00002522: SWAP4
00002523: SSTORE
00002524: SWAP1
00002525: DUP6
00002526: AND
00002527: DUP2
00002528: MSTORE
00002529: KECCAK256
0000252a: SLOAD
0000252b: PUSH2 0x2534
0000252e: DUP2
0000252f: DUP5
00002530: PUSH2 0x1eb1
00002533: JUMP
00002534: JUMPDEST
00002535: PUSH1 0x01
00002537: PUSH1 0x01
00002539: PUSH1 0xa0
0000253b: SHL
0000253c: SUB
0000253d: DUP1
0000253e: DUP7
0000253f: AND
00002540: PUSH1 0x00
00002542: SWAP1
00002543: DUP2
00002544: MSTORE
00002545: PUSH1 0x34
00002547: PUSH1 0x20
00002549: MSTORE
0000254a: PUSH1 0x40
0000254c: SWAP1
0000254d: KECCAK256
0000254e: SWAP2
0000254f: SWAP1
00002550: SWAP2
00002551: SSTORE
00002552: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00002573: AND
00002574: ISZERO
00002575: PUSH2 0x26c9
00002578: JUMPI
00002579: PUSH1 0x00
0000257b: PUSH1 0x36
0000257d: SLOAD
0000257e: SWAP1
0000257f: POP
00002580: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
000025a1: PUSH1 0x01
000025a3: PUSH1 0x01
000025a5: PUSH1 0xa0
000025a7: SHL
000025a8: SUB
000025a9: AND
000025aa: PUSH4 0x31873e2e
000025af: DUP8
000025b0: DUP4
000025b1: DUP7
000025b2: PUSH1 0x40
000025b4: MLOAD
000025b5: DUP5
000025b6: PUSH4 0xffffffff
000025bb: AND
000025bc: PUSH1 0xe0
000025be: SHL
000025bf: DUP2
000025c0: MSTORE
000025c1: PUSH1 0x04
000025c3: ADD
000025c4: DUP1
000025c5: DUP5
000025c6: PUSH1 0x01
000025c8: PUSH1 0x01
000025ca: PUSH1 0xa0
000025cc: SHL
000025cd: SUB
000025ce: AND
000025cf: DUP2
000025d0: MSTORE
000025d1: PUSH1 0x20
000025d3: ADD
000025d4: DUP4
000025d5: DUP2
000025d6: MSTORE
000025d7: PUSH1 0x20
000025d9: ADD
000025da: DUP3
000025db: DUP2
000025dc: MSTORE
000025dd: PUSH1 0x20
000025df: ADD
000025e0: SWAP4
000025e1: POP
000025e2: POP
000025e3: POP
000025e4: POP
000025e5: PUSH1 0x00
000025e7: PUSH1 0x40
000025e9: MLOAD
000025ea: DUP1
000025eb: DUP4
000025ec: SUB
000025ed: DUP2
000025ee: PUSH1 0x00
000025f0: DUP8
000025f1: DUP1
000025f2: EXTCODESIZE
000025f3: ISZERO
000025f4: DUP1
000025f5: ISZERO
000025f6: PUSH2 0x25fe
000025f9: JUMPI
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: REVERT
000025fe: JUMPDEST
000025ff: POP
00002600: GAS
00002601: CALL
00002602: ISZERO
00002603: DUP1
00002604: ISZERO
00002605: PUSH2 0x2612
00002608: JUMPI
00002609: RETURNDATASIZE
0000260a: PUSH1 0x00
0000260c: DUP1
0000260d: RETURNDATACOPY
0000260e: RETURNDATASIZE
0000260f: PUSH1 0x00
00002611: REVERT
00002612: JUMPDEST
00002613: POP
00002614: POP
00002615: POP
00002616: POP
00002617: DUP5
00002618: PUSH1 0x01
0000261a: PUSH1 0x01
0000261c: PUSH1 0xa0
0000261e: SHL
0000261f: SUB
00002620: AND
00002621: DUP7
00002622: PUSH1 0x01
00002624: PUSH1 0x01
00002626: PUSH1 0xa0
00002628: SHL
00002629: SUB
0000262a: AND
0000262b: EQ
0000262c: PUSH2 0x26c7
0000262f: JUMPI
00002630: PUSH32 0x000000000000000000000000d784927ff2f95ba542bfc824c8a8a98f3495f6b5
00002651: PUSH1 0x01
00002653: PUSH1 0x01
00002655: PUSH1 0xa0
00002657: SHL
00002658: SUB
00002659: AND
0000265a: PUSH4 0x31873e2e
0000265f: DUP7
00002660: DUP4
00002661: DUP6
00002662: PUSH1 0x40
00002664: MLOAD
00002665: DUP5
00002666: PUSH4 0xffffffff
0000266b: AND
0000266c: PUSH1 0xe0
0000266e: SHL
0000266f: DUP2
00002670: MSTORE
00002671: PUSH1 0x04
00002673: ADD
00002674: DUP1
00002675: DUP5
00002676: PUSH1 0x01
00002678: PUSH1 0x01
0000267a: PUSH1 0xa0
0000267c: SHL
0000267d: SUB
0000267e: AND
0000267f: DUP2
00002680: MSTORE
00002681: PUSH1 0x20
00002683: ADD
00002684: DUP4
00002685: DUP2
00002686: MSTORE
00002687: PUSH1 0x20
00002689: ADD
0000268a: DUP3
0000268b: DUP2
0000268c: MSTORE
0000268d: PUSH1 0x20
0000268f: ADD
00002690: SWAP4
00002691: POP
00002692: POP
00002693: POP
00002694: POP
00002695: PUSH1 0x00
00002697: PUSH1 0x40
00002699: MLOAD
0000269a: DUP1
0000269b: DUP4
0000269c: SUB
0000269d: DUP2
0000269e: PUSH1 0x00
000026a0: DUP8
000026a1: DUP1
000026a2: EXTCODESIZE
000026a3: ISZERO
000026a4: DUP1
000026a5: ISZERO
000026a6: PUSH2 0x26ae
000026a9: JUMPI
000026aa: PUSH1 0x00
000026ac: DUP1
000026ad: REVERT
000026ae: JUMPDEST
000026af: POP
000026b0: GAS
000026b1: CALL
000026b2: ISZERO
000026b3: DUP1
000026b4: ISZERO
000026b5: PUSH2 0x26c2
000026b8: JUMPI
000026b9: RETURNDATASIZE
000026ba: PUSH1 0x00
000026bc: DUP1
000026bd: RETURNDATACOPY
000026be: RETURNDATASIZE
000026bf: PUSH1 0x00
000026c1: REVERT
000026c2: JUMPDEST
000026c3: POP
000026c4: POP
000026c5: POP
000026c6: POP
000026c7: JUMPDEST
000026c8: POP
000026c9: JUMPDEST
000026ca: POP
000026cb: POP
000026cc: POP
000026cd: POP
000026ce: POP
000026cf: JUMP
000026d0: JUMPDEST
000026d1: PUSH1 0x00
000026d3: DUP2
000026d4: EXTCODEHASH
000026d5: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
000026f6: DUP2
000026f7: DUP2
000026f8: EQ
000026f9: DUP1
000026fa: ISZERO
000026fb: SWAP1
000026fc: PUSH2 0x2704
000026ff: JUMPI
00002700: POP
00002701: DUP2
00002702: ISZERO
00002703: ISZERO
00002704: JUMPDEST
00002705: SWAP5
00002706: SWAP4
00002707: POP
00002708: POP
00002709: POP
0000270a: POP
0000270b: JUMP
0000270c: JUMPDEST
0000270d: DUP3
0000270e: DUP1
0000270f: SLOAD
00002710: PUSH1 0x01
00002712: DUP2
00002713: PUSH1 0x01
00002715: AND
00002716: ISZERO
00002717: PUSH2 0x0100
0000271a: MUL
0000271b: SUB
0000271c: AND
0000271d: PUSH1 0x02
0000271f: SWAP1
00002720: DIV
00002721: SWAP1
00002722: PUSH1 0x00
00002724: MSTORE
00002725: PUSH1 0x20
00002727: PUSH1 0x00
00002729: KECCAK256
0000272a: SWAP1
0000272b: PUSH1 0x1f
0000272d: ADD
0000272e: PUSH1 0x20
00002730: SWAP1
00002731: DIV
00002732: DUP2
00002733: ADD
00002734: SWAP3
00002735: DUP3
00002736: PUSH1 0x1f
00002738: LT
00002739: PUSH2 0x274d
0000273c: JUMPI
0000273d: DUP1
0000273e: MLOAD
0000273f: PUSH1 0xff
00002741: NOT
00002742: AND
00002743: DUP4
00002744: DUP1
00002745: ADD
00002746: OR
00002747: DUP6
00002748: SSTORE
00002749: PUSH2 0x277a
0000274c: JUMP
0000274d: JUMPDEST
0000274e: DUP3
0000274f: DUP1
00002750: ADD
00002751: PUSH1 0x01
00002753: ADD
00002754: DUP6
00002755: SSTORE
00002756: DUP3
00002757: ISZERO
00002758: PUSH2 0x277a
0000275b: JUMPI
0000275c: SWAP2
0000275d: DUP3
0000275e: ADD
0000275f: JUMPDEST
00002760: DUP3
00002761: DUP2
00002762: GT
00002763: ISZERO
00002764: PUSH2 0x277a
00002767: JUMPI
00002768: DUP3
00002769: MLOAD
0000276a: DUP3
0000276b: SSTORE
0000276c: SWAP2
0000276d: PUSH1 0x20
0000276f: ADD
00002770: SWAP2
00002771: SWAP1
00002772: PUSH1 0x01
00002774: ADD
00002775: SWAP1
00002776: PUSH2 0x275f
00002779: JUMP
0000277a: JUMPDEST
0000277b: POP
0000277c: PUSH2 0x2786
0000277f: SWAP3
00002780: SWAP2
00002781: POP
00002782: PUSH2 0x278a
00002785: JUMP
00002786: JUMPDEST
00002787: POP
00002788: SWAP1
00002789: JUMP
0000278a: JUMPDEST
0000278b: JUMPDEST
0000278c: DUP1
0000278d: DUP3
0000278e: GT
0000278f: ISZERO
00002790: PUSH2 0x2786
00002793: JUMPI
00002794: PUSH1 0x00
00002796: DUP2
00002797: SSTORE
00002798: PUSH1 0x01
0000279a: ADD
0000279b: PUSH2 0x278b
0000279e: JUMP
0000279f: INVALID
000027a0: GASLIMIT
000027a1: MSTORE
000027a2: NUMBER
000027a3: ORIGIN
000027a4: ADDRESS
000027a5: GASPRICE
000027a6: KECCAK256
000027a7: PUSH21 0x72616e7366657220746f20746865207a65726f2061
000027bd: PUSH5 0x6472657373
000027c3: GASLIMIT
000027c4: MSTORE
000027c5: NUMBER
000027c6: ORIGIN
000027c7: ADDRESS
000027c8: GASPRICE
000027c9: KECCAK256
000027ca: PUSH3 0x75726e
000027ce: KECCAK256
000027cf: PUSH2 0x6d6f
000027d2: PUSH22 0x6e7420657863656564732062616c616e636545524332
000027e9: ADDRESS
000027ea: GASPRICE
000027eb: KECCAK256
000027ec: PUSH2 0x7070
000027ef: PUSH19 0x6f766520746f20746865207a65726f20616464
00002803: PUSH19 0x65737345524332303a207472616e7366657220
00002817: PUSH2 0x6d6f
0000281a: PUSH22 0x6e7420657863656564732062616c616e636545524332
00002831: ADDRESS
00002832: GASPRICE
00002833: KECCAK256
00002834: PUSH21 0x72616e7366657220616d6f756e7420657863656564
0000284a: PUSH20 0x20616c6c6f77616e6365436f6e74726163742069
0000285f: PUSH15 0x7374616e63652068617320616c7265
0000286f: PUSH2 0x6479
00002872: KECCAK256
00002873: PUSH3 0x65656e
00002877: KECCAK256
00002878: PUSH10 0x6e697469616c697a6564
00002883: UNKNOWN(0xDD)
00002884: CALLCODE
00002885: MSTORE
00002886: UNKNOWN(0xAD)
00002887: SHL
00002888: UNKNOWN(0xE2)
00002889: UNKNOWN(0xC8)
0000288a: SWAP12
0000288b: PUSH10 0xc2b068fc378daa952ba7
00002896: CALL
00002897: PUSH4 0xc4a11628
0000289c: CREATE2
0000289d: GAS
0000289e: UNKNOWN(0x4D)
0000289f: CREATE2
000028a0: UNKNOWN(0x23)
000028a1: UNKNOWN(0xB3)
000028a2: UNKNOWN(0xEF)
000028a3: GASLIMIT
000028a4: MSTORE
000028a5: NUMBER
000028a6: ORIGIN
000028a7: ADDRESS
000028a8: GASPRICE
000028a9: KECCAK256
000028aa: PUSH3 0x75726e
000028ae: KECCAK256
000028af: PUSH7 0x726f6d20746865
000028b7: KECCAK256
000028b8: PUSH27 0x65726f206164647265737345524332303a207472616e7366657220
000028d4: PUSH7 0x726f6d20746865
000028dc: KECCAK256
000028dd: PUSH27 0x65726f206164647265737345524332303a20617070726f76652066
000028f9: PUSH19 0x6f6d20746865207a65726f2061646472657373
0000290d: MSTORE8
0000290e: PUSH2 0x6665
00002911: GASLIMIT
00002912: MSTORE
00002913: NUMBER
00002914: ORIGIN
00002915: ADDRESS
00002916: GASPRICE
00002917: KECCAK256
00002918: GASLIMIT
00002919: MSTORE
0000291a: NUMBER
0000291b: ORIGIN
0000291c: ADDRESS
0000291d: KECCAK256
0000291e: PUSH16 0x7065726174696f6e20646964206e6f74
0000292f: KECCAK256
00002930: PUSH20 0x75636365656445524332303a2064656372656173
00002945: PUSH6 0x6420616c6c6f
0000294c: PUSH24 0x616e63652062656c6f77207a65726fa26469706673582212
00002965: KECCAK256
00002966: DUP3
00002967: UNKNOWN(0xEE)
00002968: PUSH20 0xf8ef50977af6c4fd7bba5603725469e291a9a6f2
0000297d: UNKNOWN(0xBF)
0000297e: GASPRICE
0000297f: SUB
00002980: MULMOD
00002981: UNKNOWN(0xBF)
00002982: CREATE
00002983: ADD
00002984: JUMP
00002985: MUL
00002986: PUSH5 0x736f6c6343
0000298c: STOP
0000298d: MOD
0000298e: UNKNOWN(0x0C)
0000298f: STOP
00002990: CALLER