Analysis Run

[codex:1006325] OpenAI Codex v0.77.0 (research preview)
[codex:1006325] --------
[codex:1006325] workdir: /tmp/codex-multi-9zx1hrfe
[codex:1006325] model: gpt-5.2-codex
[codex:1006325] provider: openai
[codex:1006325] approval: never
[codex:1006325] sandbox: read-only
[codex:1006325] reasoning effort: xhigh
[codex:1006325] reasoning summaries: auto
[codex:1006325] session id: 019b79e2-7030-73c1-95c0-78f12787b4bc
[codex:1006325] --------
[codex:1006325] user
[codex:1006325] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1006325] 
[codex:1006325] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1006325] 
[codex:1006325] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1006325] - Gas inefficiency, code quality, naming, or best practices
[codex:1006325] - Theoretical vulnerabilities without a clear extraction path
[codex:1006325] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1006325] - Front-running unless it enables theft beyond MEV
[codex:1006325] - DoS, griefing, or issues that don't result in attacker profit
[codex:1006325] - Missing events, view function issues, or informational findings
[codex:1006325] 
[codex:1006325] HIGH-VALUE PATTERNS TO HUNT:
[codex:1006325] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1006325] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1006325] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1006325] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1006325] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1006325] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1006325] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1006325] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1006325] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1006325] 
[codex:1006325] For each finding, you MUST provide:
[codex:1006325] 1. Exact file and line numbers of vulnerable code
[codex:1006325] 2. Step-by-step exploit transaction sequence
[codex:1006325] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1006325] 
[codex:1006325] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1006325] 
[codex:1006325] Output MUST be valid JSON matching the provided schema.
[codex:1006325] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1006325] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1006325] mcp startup: no servers
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Reading AUDIT_BUNDLE.txt**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc ls in /tmp/codex-multi-9zx1hrfe succeeded in 5ms:
[codex:1006325] AUDIT_BUNDLE.txt
[codex:1006325] codex-output-schema.json
[codex:1006325] contracts
[codex:1006325] exec
[codex:1006325] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-9zx1hrfe succeeded in 6ms:
[codex:1006325] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1006325] 
[codex:1006325] ================================================================================
[codex:1006325] FILE: contracts/contracts/TwapFactoryGovernor.sol
[codex:1006325] ================================================================================
[codex:1006325] pragma solidity 0.7.6;
[codex:1006325] 
[codex:1006325] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1006325] // Deployed with donations via Gitcoin GR9
[codex:1006325] 
[codex:1006325] 
[codex:1006325] 
[codex:1006325] import './interfaces/IERC20.sol';
[codex:1006325] import './interfaces/ITwapDelay.sol';
[codex:1006325] import './interfaces/ITwapFactory.sol';
[codex:1006325] import './interfaces/ITwapFactoryGovernor.sol';
[codex:1006325] import './interfaces/ITwapPair.sol';
[codex:1006325] import './libraries/SafeMath.sol';
[codex:1006325] import './libraries/TransferHelper.sol';
[codex:1006325] import './interfaces/ITwapFactoryGovernorInitializable.sol';
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Searching for exploitable contract functions**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc 'rg --files contracts/contracts' in /tmp/codex-multi-9zx1hrfe succeeded in 8ms:
[codex:1006325] contracts/contracts/interfaces/ITwapFactoryGovernor.sol
[codex:1006325] contracts/contracts/interfaces/ITwapDelay.sol
[codex:1006325] contracts/contracts/interfaces/ITwapOracle.sol
[codex:1006325] contracts/contracts/interfaces/ITwapFactory.sol
[codex:1006325] contracts/contracts/interfaces/ITwapPair.sol
[codex:1006325] contracts/contracts/interfaces/ITwapFactoryGovernorInitializable.sol
[codex:1006325] contracts/contracts/interfaces/IERC20.sol
[codex:1006325] contracts/contracts/interfaces/IWETH.sol
[codex:1006325] contracts/contracts/interfaces/IReserves.sol
[codex:1006325] contracts/contracts/interfaces/ITwapERC20.sol
[codex:1006325] contracts/contracts/TwapFactoryGovernor.sol
[codex:1006325] contracts/contracts/libraries/Orders.sol
[codex:1006325] contracts/contracts/libraries/SafeMath.sol
[codex:1006325] contracts/contracts/libraries/TransferHelper.sol
[codex:1006325] contracts/contracts/libraries/TokenShares.sol
[codex:1006325] contracts/contracts/libraries/Math.sol
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Reviewing contract files and libraries**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc "sed -n '1,240p' contracts/contracts/libraries/Orders.sol" in /tmp/codex-multi-9zx1hrfe succeeded in 6ms:
[codex:1006325] pragma solidity 0.7.6;
[codex:1006325] pragma abicoder v2;
[codex:1006325] 
[codex:1006325] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1006325] // Deployed with donations via Gitcoin GR9
[codex:1006325] 
[codex:1006325] 
[codex:1006325] 
[codex:1006325] 
[codex:1006325] import './SafeMath.sol';
[codex:1006325] import '../libraries/Math.sol';
[codex:1006325] import '../interfaces/ITwapFactory.sol';
[codex:1006325] import '../interfaces/ITwapPair.sol';
[codex:1006325] import '../interfaces/ITwapOracle.sol';
[codex:1006325] import '../libraries/TokenShares.sol';
[codex:1006325] 
[codex:1006325] 
[codex:1006325] library Orders {
[codex:1006325]     using SafeMath for uint256;
[codex:1006325]     using TokenShares for TokenShares.Data;
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Continuing process**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc "sed -n '240,520p' contracts/contracts/libraries/Orders.sol" in /tmp/codex-multi-9zx1hrfe succeeded in 6ms:
[codex:1006325]             uint256 token1TransferCost = getTransferGasCost(depositParams.token1);
[codex:1006325]             checkOrderParams(
[codex:1006325]                 depositParams.to,
[codex:1006325]                 depositParams.gasLimit,
[codex:1006325]                 depositParams.submitDeadline,
[codex:1006325]                 ORDER_BASE_COST.add(token0TransferCost).add(token1TransferCost)
[codex:1006325]             );
[codex:1006325]         }
[codex:1006325]         require(depositParams.amount0 != 0 || depositParams.amount1 != 0, 'OS25');
[codex:1006325]         (address pairAddress, bool inverted) = getPair(depositParams.token0, depositParams.token1);
[codex:1006325]         require(!getDepositDisabled(data, pairAddress), 'OS46');
[codex:1006325]         {
[codex:1006325]             // scope for value, avoids stack too deep errors
[codex:1006325]             uint256 value = msg.value;
[codex:1006325] 
[codex:1006325]             // allocate gas refund
[codex:1006325]             if (depositParams.wrap) {
[codex:1006325]                 if (depositParams.token0 == TokenShares.WETH_ADDRESS) {
[codex:1006325]                     value = msg.value.sub(depositParams.amount0, 'OS1E');
[codex:1006325]                 } else if (depositParams.token1 == TokenShares.WETH_ADDRESS) {
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Analyzing potential proxy initialization vulnerability**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc "nl -ba contracts/contracts/TwapFactoryGovernor.sol | sed -n '1,200p'" in /tmp/codex-multi-9zx1hrfe succeeded in 6ms:
[codex:1006325]      1	pragma solidity 0.7.6;
[codex:1006325]      2	
[codex:1006325]      3	// SPDX-License-Identifier: GPL-3.0-or-later
[codex:1006325]      4	// Deployed with donations via Gitcoin GR9
[codex:1006325]      5	
[codex:1006325]      6	
[codex:1006325]      7	
[codex:1006325]      8	import './interfaces/IERC20.sol';
[codex:1006325]      9	import './interfaces/ITwapDelay.sol';
[codex:1006325]     10	import './interfaces/ITwapFactory.sol';
[codex:1006325]     11	import './interfaces/ITwapFactoryGovernor.sol';
[codex:1006325]     12	import './interfaces/ITwapPair.sol';
[codex:1006325]     13	import './libraries/SafeMath.sol';
[codex:1006325]     14	import './libraries/TransferHelper.sol';
[codex:1006325]     15	import './interfaces/ITwapFactoryGovernorInitializable.sol';
[codex:1006325]     16	
[codex:1006325]     17	contract TwapFactoryGovernor is ITwapFactoryGovernor, ITwapFactoryGovernorInitializable {
[codex:1006325]     18	    using SafeMath for uint256;
[codex:1006325]     19	
[codex:1006325]     20	    uint256 private constant PROTOCOL_FEE_RATIO_PRECISION = 1e10;
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Analyzing initialization vulnerability risks**
[codex:1006325] exec
[codex:1006325] /bin/bash -lc 'cat contracts/contracts/interfaces/ITwapFactoryGovernorInitializable.sol' in /tmp/codex-multi-9zx1hrfe succeeded in 6ms:
[codex:1006325] pragma solidity 0.7.6;
[codex:1006325] pragma abicoder v2;
[codex:1006325] 
[codex:1006325] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:1006325] // Deployed with donations via Gitcoin GR9
[codex:1006325] 
[codex:1006325] 
[codex:1006325] 
[codex:1006325] 
[codex:1006325] interface ITwapFactoryGovernorInitializable {
[codex:1006325]     event Initialized(address _factory);
[codex:1006325] 
[codex:1006325]     function initialize(address _factory) external;
[codex:1006325] }
[codex:1006325] 
[codex:1006325] thinking
[codex:1006325] **Summarizing security assessment and output preparation**
[codex:1006325] 
[codex:1006325] I'm carefully analyzing potential exploits in the Orders library, especially around reentrancy, proxy initialization, and token share calculations for rebasing tokens. Without contract code or proof of vulnerability, I'm concluding no concrete profit exploits exist here. I'll produce a final JSON output indicating no findings with a clear summary, adhering strictly to the required format and instructions.
[codex:1006325] codex
[codex:1006325] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided bundle.","findings":[]}
[codex:1006325] tokens used
[codex:1006325] 25,297
[codex:1006325] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-01T14:08:56.294935+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided bundle.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided bundle.",
        "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 0x01c4
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x88538715
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc4d66de8
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe6a43905
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe6a43905
00000047: EQ
00000048: PUSH2 0x0584
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf3cc660c
00000052: EQ
00000053: PUSH2 0x05b2
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xfc1551b1
0000005d: EQ
0000005e: PUSH2 0x05d8
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfc6d56e2
00000068: EQ
00000069: PUSH2 0x0614
0000006c: JUMPI
0000006d: PUSH2 0x01c4
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xc4d66de8
00000078: EQ
00000079: PUSH2 0x04f2
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xcb39e9cb
00000083: EQ
00000084: PUSH2 0x0518
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdbc8f12c
0000008e: EQ
0000008f: PUSH2 0x054e
00000092: JUMPI
00000093: PUSH2 0x01c4
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x8da5cb5b
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8da5cb5b
000000a9: EQ
000000aa: PUSH2 0x04ac
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa6c07924
000000b4: EQ
000000b5: PUSH2 0x04b4
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xabe023a5
000000bf: EQ
000000c0: PUSH2 0x04e2
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc45a0155
000000ca: EQ
000000cb: PUSH2 0x04ea
000000ce: JUMPI
000000cf: PUSH2 0x01c4
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x88538715
000000da: EQ
000000db: PUSH2 0x0416
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x8a34ffa2
000000e5: EQ
000000e6: PUSH2 0x044e
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8d47fb5f
000000f0: EQ
000000f1: PUSH2 0x0486
000000f4: JUMPI
000000f5: PUSH2 0x01c4
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x4fe0e92f
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x5bb47808
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x5bb47808
00000116: EQ
00000117: PUSH2 0x0399
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x637fb3cb
00000121: EQ
00000122: PUSH2 0x03bf
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x6a42b8f8
0000012c: EQ
0000012d: PUSH2 0x0406
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x7a27d9f6
00000137: EQ
00000138: PUSH2 0x040e
0000013b: JUMPI
0000013c: PUSH2 0x01c4
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x4fe0e92f
00000147: EQ
00000148: PUSH2 0x0311
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x56d624a0
00000152: EQ
00000153: PUSH2 0x0347
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x574f2ba3
0000015d: EQ
0000015e: PUSH2 0x037f
00000161: JUMPI
00000162: PUSH2 0x01c4
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x1e3dd18b
0000016d: GT
0000016e: PUSH2 0x01a2
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x1e3dd18b
00000178: EQ
00000179: PUSH2 0x0247
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x3ccdbb28
00000183: EQ
00000184: PUSH2 0x0280
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x41ede57e
0000018e: EQ
0000018f: PUSH2 0x02b6
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x4da8eeb0
00000199: EQ
0000019a: PUSH2 0x02d3
0000019d: JUMPI
0000019e: PUSH2 0x01c4
000001a1: JUMP
000001a2: JUMPDEST
000001a3: DUP1
000001a4: PUSH4 0x0c144581
000001a9: EQ
000001aa: PUSH2 0x01c9
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x13af4035
000001b4: EQ
000001b5: PUSH2 0x0203
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x158ef93e
000001bf: EQ
000001c0: PUSH2 0x0229
000001c3: JUMPI
000001c4: JUMPDEST
000001c5: PUSH1 0x00
000001c7: DUP1
000001c8: REVERT
000001c9: JUMPDEST
000001ca: PUSH2 0x0201
000001cd: PUSH1 0x04
000001cf: DUP1
000001d0: CALLDATASIZE
000001d1: SUB
000001d2: PUSH1 0x60
000001d4: DUP2
000001d5: LT
000001d6: ISZERO
000001d7: PUSH2 0x01df
000001da: JUMPI
000001db: PUSH1 0x00
000001dd: DUP1
000001de: REVERT
000001df: JUMPDEST
000001e0: POP
000001e1: PUSH1 0x01
000001e3: PUSH1 0x01
000001e5: PUSH1 0xa0
000001e7: SHL
000001e8: SUB
000001e9: DUP2
000001ea: CALLDATALOAD
000001eb: DUP2
000001ec: AND
000001ed: SWAP2
000001ee: PUSH1 0x20
000001f0: DUP2
000001f1: ADD
000001f2: CALLDATALOAD
000001f3: DUP3
000001f4: AND
000001f5: SWAP2
000001f6: PUSH1 0x40
000001f8: SWAP1
000001f9: SWAP2
000001fa: ADD
000001fb: CALLDATALOAD
000001fc: AND
000001fd: PUSH2 0x0631
00000200: JUMP
00000201: JUMPDEST
00000202: STOP
00000203: JUMPDEST
00000204: PUSH2 0x0201
00000207: PUSH1 0x04
00000209: DUP1
0000020a: CALLDATASIZE
0000020b: SUB
0000020c: PUSH1 0x20
0000020e: DUP2
0000020f: LT
00000210: ISZERO
00000211: PUSH2 0x0219
00000214: JUMPI
00000215: PUSH1 0x00
00000217: DUP1
00000218: REVERT
00000219: JUMPDEST
0000021a: POP
0000021b: CALLDATALOAD
0000021c: PUSH1 0x01
0000021e: PUSH1 0x01
00000220: PUSH1 0xa0
00000222: SHL
00000223: SUB
00000224: AND
00000225: PUSH2 0x06fa
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH2 0x0231
0000022d: PUSH2 0x0753
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH1 0x40
00000234: DUP1
00000235: MLOAD
00000236: PUSH1 0xff
00000238: SWAP1
00000239: SWAP3
0000023a: AND
0000023b: DUP3
0000023c: MSTORE
0000023d: MLOAD
0000023e: SWAP1
0000023f: DUP2
00000240: SWAP1
00000241: SUB
00000242: PUSH1 0x20
00000244: ADD
00000245: SWAP1
00000246: RETURN
00000247: JUMPDEST
00000248: PUSH2 0x0264
0000024b: PUSH1 0x04
0000024d: DUP1
0000024e: CALLDATASIZE
0000024f: SUB
00000250: PUSH1 0x20
00000252: DUP2
00000253: LT
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: CALLDATALOAD
00000260: PUSH2 0x075c
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: DUP1
00000268: MLOAD
00000269: PUSH1 0x01
0000026b: PUSH1 0x01
0000026d: PUSH1 0xa0
0000026f: SHL
00000270: SUB
00000271: SWAP1
00000272: SWAP3
00000273: AND
00000274: DUP3
00000275: MSTORE
00000276: MLOAD
00000277: SWAP1
00000278: DUP2
00000279: SWAP1
0000027a: SUB
0000027b: PUSH1 0x20
0000027d: ADD
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: PUSH2 0x0201
00000284: PUSH1 0x04
00000286: DUP1
00000287: CALLDATASIZE
00000288: SUB
00000289: PUSH1 0x60
0000028b: DUP2
0000028c: LT
0000028d: ISZERO
0000028e: PUSH2 0x0296
00000291: JUMPI
00000292: PUSH1 0x00
00000294: DUP1
00000295: REVERT
00000296: JUMPDEST
00000297: POP
00000298: PUSH1 0x01
0000029a: PUSH1 0x01
0000029c: PUSH1 0xa0
0000029e: SHL
0000029f: SUB
000002a0: DUP2
000002a1: CALLDATALOAD
000002a2: DUP2
000002a3: AND
000002a4: SWAP2
000002a5: PUSH1 0x20
000002a7: DUP2
000002a8: ADD
000002a9: CALLDATALOAD
000002aa: SWAP2
000002ab: PUSH1 0x40
000002ad: SWAP1
000002ae: SWAP2
000002af: ADD
000002b0: CALLDATALOAD
000002b1: AND
000002b2: PUSH2 0x07da
000002b5: JUMP
000002b6: JUMPDEST
000002b7: PUSH2 0x0201
000002ba: PUSH1 0x04
000002bc: DUP1
000002bd: CALLDATASIZE
000002be: SUB
000002bf: PUSH1 0x20
000002c1: DUP2
000002c2: LT
000002c3: ISZERO
000002c4: PUSH2 0x02cc
000002c7: JUMPI
000002c8: PUSH1 0x00
000002ca: DUP1
000002cb: REVERT
000002cc: JUMPDEST
000002cd: POP
000002ce: CALLDATALOAD
000002cf: PUSH2 0x08e5
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH2 0x0264
000002d7: PUSH1 0x04
000002d9: DUP1
000002da: CALLDATASIZE
000002db: SUB
000002dc: PUSH1 0x80
000002de: DUP2
000002df: LT
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH1 0x01
000002ed: PUSH1 0x01
000002ef: PUSH1 0xa0
000002f1: SHL
000002f2: SUB
000002f3: DUP2
000002f4: CALLDATALOAD
000002f5: DUP2
000002f6: AND
000002f7: SWAP2
000002f8: PUSH1 0x20
000002fa: DUP2
000002fb: ADD
000002fc: CALLDATALOAD
000002fd: DUP3
000002fe: AND
000002ff: SWAP2
00000300: PUSH1 0x40
00000302: DUP3
00000303: ADD
00000304: CALLDATALOAD
00000305: DUP2
00000306: AND
00000307: SWAP2
00000308: PUSH1 0x60
0000030a: ADD
0000030b: CALLDATALOAD
0000030c: AND
0000030d: PUSH2 0x093b
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH2 0x0201
00000315: PUSH1 0x04
00000317: DUP1
00000318: CALLDATASIZE
00000319: SUB
0000031a: PUSH1 0x60
0000031c: DUP2
0000031d: LT
0000031e: ISZERO
0000031f: PUSH2 0x0327
00000322: JUMPI
00000323: PUSH1 0x00
00000325: DUP1
00000326: REVERT
00000327: JUMPDEST
00000328: POP
00000329: PUSH1 0x01
0000032b: PUSH1 0x01
0000032d: PUSH1 0xa0
0000032f: SHL
00000330: SUB
00000331: DUP2
00000332: CALLDATALOAD
00000333: DUP2
00000334: AND
00000335: SWAP2
00000336: PUSH1 0x20
00000338: DUP2
00000339: ADD
0000033a: CALLDATALOAD
0000033b: SWAP1
0000033c: SWAP2
0000033d: AND
0000033e: SWAP1
0000033f: PUSH1 0x40
00000341: ADD
00000342: CALLDATALOAD
00000343: PUSH2 0x0a25
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH2 0x0201
0000034b: PUSH1 0x04
0000034d: DUP1
0000034e: CALLDATASIZE
0000034f: SUB
00000350: PUSH1 0x60
00000352: DUP2
00000353: LT
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH1 0x01
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: SHL
00000366: SUB
00000367: DUP2
00000368: CALLDATALOAD
00000369: DUP2
0000036a: AND
0000036b: SWAP2
0000036c: PUSH1 0x20
0000036e: DUP2
0000036f: ADD
00000370: CALLDATALOAD
00000371: DUP3
00000372: AND
00000373: SWAP2
00000374: PUSH1 0x40
00000376: SWAP1
00000377: SWAP2
00000378: ADD
00000379: CALLDATALOAD
0000037a: AND
0000037b: PUSH2 0x0acf
0000037e: JUMP
0000037f: JUMPDEST
00000380: PUSH2 0x0387
00000383: PUSH2 0x0bfd
00000386: JUMP
00000387: JUMPDEST
00000388: PUSH1 0x40
0000038a: DUP1
0000038b: MLOAD
0000038c: SWAP2
0000038d: DUP3
0000038e: MSTORE
0000038f: MLOAD
00000390: SWAP1
00000391: DUP2
00000392: SWAP1
00000393: SUB
00000394: PUSH1 0x20
00000396: ADD
00000397: SWAP1
00000398: RETURN
00000399: JUMPDEST
0000039a: PUSH2 0x0201
0000039d: PUSH1 0x04
0000039f: DUP1
000003a0: CALLDATASIZE
000003a1: SUB
000003a2: PUSH1 0x20
000003a4: DUP2
000003a5: LT
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: CALLDATALOAD
000003b2: PUSH1 0x01
000003b4: PUSH1 0x01
000003b6: PUSH1 0xa0
000003b8: SHL
000003b9: SUB
000003ba: AND
000003bb: PUSH2 0x0c73
000003be: JUMP
000003bf: JUMPDEST
000003c0: PUSH2 0x03ed
000003c3: PUSH1 0x04
000003c5: DUP1
000003c6: CALLDATASIZE
000003c7: SUB
000003c8: PUSH1 0x40
000003ca: DUP2
000003cb: LT
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH1 0x01
000003d9: PUSH1 0x01
000003db: PUSH1 0xa0
000003dd: SHL
000003de: SUB
000003df: DUP2
000003e0: CALLDATALOAD
000003e1: DUP2
000003e2: AND
000003e3: SWAP2
000003e4: PUSH1 0x20
000003e6: ADD
000003e7: CALLDATALOAD
000003e8: AND
000003e9: PUSH2 0x0cc9
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x40
000003f0: DUP1
000003f1: MLOAD
000003f2: SWAP3
000003f3: DUP4
000003f4: MSTORE
000003f5: PUSH1 0x20
000003f7: DUP4
000003f8: ADD
000003f9: SWAP2
000003fa: SWAP1
000003fb: SWAP2
000003fc: MSTORE
000003fd: DUP1
000003fe: MLOAD
000003ff: SWAP2
00000400: DUP3
00000401: SWAP1
00000402: SUB
00000403: ADD
00000404: SWAP1
00000405: RETURN
00000406: JUMPDEST
00000407: PUSH2 0x0264
0000040a: PUSH2 0x0e73
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH2 0x0387
00000412: PUSH2 0x0e82
00000415: JUMP
00000416: JUMPDEST
00000417: PUSH2 0x0201
0000041a: PUSH1 0x04
0000041c: DUP1
0000041d: CALLDATASIZE
0000041e: SUB
0000041f: PUSH1 0x60
00000421: DUP2
00000422: LT
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH1 0x01
00000430: PUSH1 0x01
00000432: PUSH1 0xa0
00000434: SHL
00000435: SUB
00000436: DUP2
00000437: CALLDATALOAD
00000438: DUP2
00000439: AND
0000043a: SWAP2
0000043b: PUSH1 0x20
0000043d: DUP2
0000043e: ADD
0000043f: CALLDATALOAD
00000440: DUP3
00000441: AND
00000442: SWAP2
00000443: PUSH1 0x40
00000445: SWAP1
00000446: SWAP2
00000447: ADD
00000448: CALLDATALOAD
00000449: AND
0000044a: PUSH2 0x0e88
0000044d: JUMP
0000044e: JUMPDEST
0000044f: PUSH2 0x0201
00000452: PUSH1 0x04
00000454: DUP1
00000455: CALLDATASIZE
00000456: SUB
00000457: PUSH1 0x60
00000459: DUP2
0000045a: LT
0000045b: ISZERO
0000045c: PUSH2 0x0464
0000045f: JUMPI
00000460: PUSH1 0x00
00000462: DUP1
00000463: REVERT
00000464: JUMPDEST
00000465: POP
00000466: PUSH1 0x01
00000468: PUSH1 0x01
0000046a: PUSH1 0xa0
0000046c: SHL
0000046d: SUB
0000046e: DUP2
0000046f: CALLDATALOAD
00000470: DUP2
00000471: AND
00000472: SWAP2
00000473: PUSH1 0x20
00000475: DUP2
00000476: ADD
00000477: CALLDATALOAD
00000478: DUP3
00000479: AND
0000047a: SWAP2
0000047b: PUSH1 0x40
0000047d: SWAP1
0000047e: SWAP2
0000047f: ADD
00000480: CALLDATALOAD
00000481: AND
00000482: PUSH2 0x0f33
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH2 0x0201
0000048a: PUSH1 0x04
0000048c: DUP1
0000048d: CALLDATASIZE
0000048e: SUB
0000048f: PUSH1 0x20
00000491: DUP2
00000492: LT
00000493: ISZERO
00000494: PUSH2 0x049c
00000497: JUMPI
00000498: PUSH1 0x00
0000049a: DUP1
0000049b: REVERT
0000049c: JUMPDEST
0000049d: POP
0000049e: CALLDATALOAD
0000049f: PUSH1 0x01
000004a1: PUSH1 0x01
000004a3: PUSH1 0xa0
000004a5: SHL
000004a6: SUB
000004a7: AND
000004a8: PUSH2 0x0f86
000004ab: JUMP
000004ac: JUMPDEST
000004ad: PUSH2 0x0264
000004b0: PUSH2 0x10b7
000004b3: JUMP
000004b4: JUMPDEST
000004b5: PUSH2 0x0201
000004b8: PUSH1 0x04
000004ba: DUP1
000004bb: CALLDATASIZE
000004bc: SUB
000004bd: PUSH1 0x40
000004bf: DUP2
000004c0: LT
000004c1: ISZERO
000004c2: PUSH2 0x04ca
000004c5: JUMPI
000004c6: PUSH1 0x00
000004c8: DUP1
000004c9: REVERT
000004ca: JUMPDEST
000004cb: POP
000004cc: PUSH1 0x01
000004ce: PUSH1 0x01
000004d0: PUSH1 0xa0
000004d2: SHL
000004d3: SUB
000004d4: DUP2
000004d5: CALLDATALOAD
000004d6: DUP2
000004d7: AND
000004d8: SWAP2
000004d9: PUSH1 0x20
000004db: ADD
000004dc: CALLDATALOAD
000004dd: AND
000004de: PUSH2 0x10cb
000004e1: JUMP
000004e2: JUMPDEST
000004e3: PUSH2 0x0387
000004e6: PUSH2 0x11ab
000004e9: JUMP
000004ea: JUMPDEST
000004eb: PUSH2 0x0264
000004ee: PUSH2 0x11b1
000004f1: JUMP
000004f2: JUMPDEST
000004f3: PUSH2 0x0201
000004f6: PUSH1 0x04
000004f8: DUP1
000004f9: CALLDATASIZE
000004fa: SUB
000004fb: PUSH1 0x20
000004fd: DUP2
000004fe: LT
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: CALLDATALOAD
0000050b: PUSH1 0x01
0000050d: PUSH1 0x01
0000050f: PUSH1 0xa0
00000511: SHL
00000512: SUB
00000513: AND
00000514: PUSH2 0x11c0
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH2 0x0201
0000051c: PUSH1 0x04
0000051e: DUP1
0000051f: CALLDATASIZE
00000520: SUB
00000521: PUSH1 0x60
00000523: DUP2
00000524: LT
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH1 0x01
00000532: PUSH1 0x01
00000534: PUSH1 0xa0
00000536: SHL
00000537: SUB
00000538: DUP2
00000539: CALLDATALOAD
0000053a: DUP2
0000053b: AND
0000053c: SWAP2
0000053d: PUSH1 0x20
0000053f: DUP2
00000540: ADD
00000541: CALLDATALOAD
00000542: SWAP1
00000543: SWAP2
00000544: AND
00000545: SWAP1
00000546: PUSH1 0x40
00000548: ADD
00000549: CALLDATALOAD
0000054a: PUSH2 0x1278
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH2 0x0201
00000552: PUSH1 0x04
00000554: DUP1
00000555: CALLDATASIZE
00000556: SUB
00000557: PUSH1 0x60
00000559: DUP2
0000055a: LT
0000055b: ISZERO
0000055c: PUSH2 0x0564
0000055f: JUMPI
00000560: PUSH1 0x00
00000562: DUP1
00000563: REVERT
00000564: JUMPDEST
00000565: POP
00000566: PUSH1 0x01
00000568: PUSH1 0x01
0000056a: PUSH1 0xa0
0000056c: SHL
0000056d: SUB
0000056e: DUP2
0000056f: CALLDATALOAD
00000570: DUP2
00000571: AND
00000572: SWAP2
00000573: PUSH1 0x20
00000575: DUP2
00000576: ADD
00000577: CALLDATALOAD
00000578: SWAP1
00000579: SWAP2
0000057a: AND
0000057b: SWAP1
0000057c: PUSH1 0x40
0000057e: ADD
0000057f: CALLDATALOAD
00000580: PUSH2 0x1322
00000583: JUMP
00000584: JUMPDEST
00000585: PUSH2 0x0264
00000588: PUSH1 0x04
0000058a: DUP1
0000058b: CALLDATASIZE
0000058c: SUB
0000058d: PUSH1 0x40
0000058f: DUP2
00000590: LT
00000591: ISZERO
00000592: PUSH2 0x059a
00000595: JUMPI
00000596: PUSH1 0x00
00000598: DUP1
00000599: REVERT
0000059a: JUMPDEST
0000059b: POP
0000059c: PUSH1 0x01
0000059e: PUSH1 0x01
000005a0: PUSH1 0xa0
000005a2: SHL
000005a3: SUB
000005a4: DUP2
000005a5: CALLDATALOAD
000005a6: DUP2
000005a7: AND
000005a8: SWAP2
000005a9: PUSH1 0x20
000005ab: ADD
000005ac: CALLDATALOAD
000005ad: AND
000005ae: PUSH2 0x13cc
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH2 0x0201
000005b6: PUSH1 0x04
000005b8: DUP1
000005b9: CALLDATASIZE
000005ba: SUB
000005bb: PUSH1 0x20
000005bd: DUP2
000005be: LT
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: CALLDATALOAD
000005cb: PUSH1 0x01
000005cd: PUSH1 0x01
000005cf: PUSH1 0xa0
000005d1: SHL
000005d2: SUB
000005d3: AND
000005d4: PUSH2 0x145a
000005d7: JUMP
000005d8: JUMPDEST
000005d9: PUSH2 0x0201
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: PUSH1 0x80
000005e3: DUP2
000005e4: LT
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: PUSH1 0x01
000005f2: PUSH1 0x01
000005f4: PUSH1 0xa0
000005f6: SHL
000005f7: SUB
000005f8: DUP2
000005f9: CALLDATALOAD
000005fa: DUP2
000005fb: AND
000005fc: SWAP2
000005fd: PUSH1 0x20
000005ff: DUP2
00000600: ADD
00000601: CALLDATALOAD
00000602: DUP3
00000603: AND
00000604: SWAP2
00000605: PUSH1 0x40
00000607: DUP3
00000608: ADD
00000609: CALLDATALOAD
0000060a: SWAP2
0000060b: PUSH1 0x60
0000060d: ADD
0000060e: CALLDATALOAD
0000060f: AND
00000610: PUSH2 0x1510
00000613: JUMP
00000614: JUMPDEST
00000615: PUSH2 0x0201
00000618: PUSH1 0x04
0000061a: DUP1
0000061b: CALLDATASIZE
0000061c: SUB
0000061d: PUSH1 0x20
0000061f: DUP2
00000620: LT
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: CALLDATALOAD
0000062d: PUSH2 0x1664
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH1 0x00
00000634: SLOAD
00000635: PUSH2 0x0100
00000638: SWAP1
00000639: DIV
0000063a: PUSH1 0x01
0000063c: PUSH1 0x01
0000063e: PUSH1 0xa0
00000640: SHL
00000641: SUB
00000642: AND
00000643: CALLER
00000644: EQ
00000645: PUSH2 0x067e
00000648: JUMPI
00000649: PUSH1 0x40
0000064b: DUP1
0000064c: MLOAD
0000064d: PUSH3 0x461bcd
00000651: PUSH1 0xe5
00000653: SHL
00000654: DUP2
00000655: MSTORE
00000656: PUSH1 0x20
00000658: PUSH1 0x04
0000065a: DUP1
0000065b: DUP4
0000065c: ADD
0000065d: SWAP2
0000065e: SWAP1
0000065f: SWAP2
00000660: MSTORE
00000661: PUSH1 0x24
00000663: DUP3
00000664: ADD
00000665: MSTORE
00000666: PUSH4 0x04647303
0000066b: PUSH1 0xe4
0000066d: SHL
0000066e: PUSH1 0x44
00000670: DUP3
00000671: ADD
00000672: MSTORE
00000673: SWAP1
00000674: MLOAD
00000675: SWAP1
00000676: DUP2
00000677: SWAP1
00000678: SUB
00000679: PUSH1 0x64
0000067b: ADD
0000067c: SWAP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: PUSH1 0x01
00000681: SLOAD
00000682: PUSH1 0x40
00000684: DUP1
00000685: MLOAD
00000686: PUSH4 0x0c144581
0000068b: PUSH1 0xe0
0000068d: SHL
0000068e: DUP2
0000068f: MSTORE
00000690: PUSH1 0x01
00000692: PUSH1 0x01
00000694: PUSH1 0xa0
00000696: SHL
00000697: SUB
00000698: DUP7
00000699: DUP2
0000069a: AND
0000069b: PUSH1 0x04
0000069d: DUP4
0000069e: ADD
0000069f: MSTORE
000006a0: DUP6
000006a1: DUP2
000006a2: AND
000006a3: PUSH1 0x24
000006a5: DUP4
000006a6: ADD
000006a7: MSTORE
000006a8: DUP5
000006a9: DUP2
000006aa: AND
000006ab: PUSH1 0x44
000006ad: DUP4
000006ae: ADD
000006af: MSTORE
000006b0: SWAP2
000006b1: MLOAD
000006b2: SWAP2
000006b3: SWAP1
000006b4: SWAP3
000006b5: AND
000006b6: SWAP2
000006b7: PUSH4 0x0c144581
000006bc: SWAP2
000006bd: PUSH1 0x64
000006bf: DUP1
000006c0: DUP4
000006c1: ADD
000006c2: SWAP3
000006c3: PUSH1 0x00
000006c5: SWAP3
000006c6: SWAP2
000006c7: SWAP1
000006c8: DUP3
000006c9: SWAP1
000006ca: SUB
000006cb: ADD
000006cc: DUP2
000006cd: DUP4
000006ce: DUP8
000006cf: DUP1
000006d0: EXTCODESIZE
000006d1: ISZERO
000006d2: DUP1
000006d3: ISZERO
000006d4: PUSH2 0x06dc
000006d7: JUMPI
000006d8: PUSH1 0x00
000006da: DUP1
000006db: REVERT
000006dc: JUMPDEST
000006dd: POP
000006de: GAS
000006df: CALL
000006e0: ISZERO
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06f0
000006e6: JUMPI
000006e7: RETURNDATASIZE
000006e8: PUSH1 0x00
000006ea: DUP1
000006eb: RETURNDATACOPY
000006ec: RETURNDATASIZE
000006ed: PUSH1 0x00
000006ef: REVERT
000006f0: JUMPDEST
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: POP
000006f5: JUMPDEST
000006f6: POP
000006f7: POP
000006f8: POP
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH1 0x00
000006fd: SLOAD
000006fe: PUSH2 0x0100
00000701: SWAP1
00000702: DIV
00000703: PUSH1 0x01
00000705: PUSH1 0x01
00000707: PUSH1 0xa0
00000709: SHL
0000070a: SUB
0000070b: AND
0000070c: CALLER
0000070d: EQ
0000070e: PUSH2 0x0747
00000711: JUMPI
00000712: PUSH1 0x40
00000714: DUP1
00000715: MLOAD
00000716: PUSH3 0x461bcd
0000071a: PUSH1 0xe5
0000071c: SHL
0000071d: DUP2
0000071e: MSTORE
0000071f: PUSH1 0x20
00000721: PUSH1 0x04
00000723: DUP1
00000724: DUP4
00000725: ADD
00000726: SWAP2
00000727: SWAP1
00000728: SWAP2
00000729: MSTORE
0000072a: PUSH1 0x24
0000072c: DUP3
0000072d: ADD
0000072e: MSTORE
0000072f: PUSH4 0x04647303
00000734: PUSH1 0xe4
00000736: SHL
00000737: PUSH1 0x44
00000739: DUP3
0000073a: ADD
0000073b: MSTORE
0000073c: SWAP1
0000073d: MLOAD
0000073e: SWAP1
0000073f: DUP2
00000740: SWAP1
00000741: SUB
00000742: PUSH1 0x64
00000744: ADD
00000745: SWAP1
00000746: REVERT
00000747: JUMPDEST
00000748: PUSH2 0x0750
0000074b: DUP2
0000074c: PUSH2 0x16ba
0000074f: JUMP
00000750: JUMPDEST
00000751: POP
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x00
00000756: SLOAD
00000757: PUSH1 0xff
00000759: AND
0000075a: DUP2
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x01
0000075f: SLOAD
00000760: PUSH1 0x40
00000762: DUP1
00000763: MLOAD
00000764: PUSH4 0x1e3dd18b
00000769: PUSH1 0xe0
0000076b: SHL
0000076c: DUP2
0000076d: MSTORE
0000076e: PUSH1 0x04
00000770: DUP2
00000771: ADD
00000772: DUP5
00000773: SWAP1
00000774: MSTORE
00000775: SWAP1
00000776: MLOAD
00000777: PUSH1 0x00
00000779: SWAP3
0000077a: PUSH1 0x01
0000077c: PUSH1 0x01
0000077e: PUSH1 0xa0
00000780: SHL
00000781: SUB
00000782: AND
00000783: SWAP2
00000784: PUSH4 0x1e3dd18b
00000789: SWAP2
0000078a: PUSH1 0x24
0000078c: DUP1
0000078d: DUP4
0000078e: ADD
0000078f: SWAP3
00000790: PUSH1 0x20
00000792: SWAP3
00000793: SWAP2
00000794: SWAP1
00000795: DUP3
00000796: SWAP1
00000797: SUB
00000798: ADD
00000799: DUP2
0000079a: DUP7
0000079b: DUP1
0000079c: EXTCODESIZE
0000079d: ISZERO
0000079e: DUP1
0000079f: ISZERO
000007a0: PUSH2 0x07a8
000007a3: JUMPI
000007a4: PUSH1 0x00
000007a6: DUP1
000007a7: REVERT
000007a8: JUMPDEST
000007a9: POP
000007aa: GAS
000007ab: STATICCALL
000007ac: ISZERO
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07bc
000007b2: JUMPI
000007b3: RETURNDATASIZE
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: RETURNDATACOPY
000007b8: RETURNDATASIZE
000007b9: PUSH1 0x00
000007bb: REVERT
000007bc: JUMPDEST
000007bd: POP
000007be: POP
000007bf: POP
000007c0: POP
000007c1: PUSH1 0x40
000007c3: MLOAD
000007c4: RETURNDATASIZE
000007c5: PUSH1 0x20
000007c7: DUP2
000007c8: LT
000007c9: ISZERO
000007ca: PUSH2 0x07d2
000007cd: JUMPI
000007ce: PUSH1 0x00
000007d0: DUP1
000007d1: REVERT
000007d2: JUMPDEST
000007d3: POP
000007d4: MLOAD
000007d5: SWAP3
000007d6: SWAP2
000007d7: POP
000007d8: POP
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x00
000007dd: SLOAD
000007de: PUSH2 0x0100
000007e1: SWAP1
000007e2: DIV
000007e3: PUSH1 0x01
000007e5: PUSH1 0x01
000007e7: PUSH1 0xa0
000007e9: SHL
000007ea: SUB
000007eb: AND
000007ec: CALLER
000007ed: EQ
000007ee: PUSH2 0x0827
000007f1: JUMPI
000007f2: PUSH1 0x40
000007f4: DUP1
000007f5: MLOAD
000007f6: PUSH3 0x461bcd
000007fa: PUSH1 0xe5
000007fc: SHL
000007fd: DUP2
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: PUSH1 0x04
00000803: DUP1
00000804: DUP4
00000805: ADD
00000806: SWAP2
00000807: SWAP1
00000808: SWAP2
00000809: MSTORE
0000080a: PUSH1 0x24
0000080c: DUP3
0000080d: ADD
0000080e: MSTORE
0000080f: PUSH4 0x04647303
00000814: PUSH1 0xe4
00000816: SHL
00000817: PUSH1 0x44
00000819: DUP3
0000081a: ADD
0000081b: MSTORE
0000081c: SWAP1
0000081d: MLOAD
0000081e: SWAP1
0000081f: DUP2
00000820: SWAP1
00000821: SUB
00000822: PUSH1 0x64
00000824: ADD
00000825: SWAP1
00000826: REVERT
00000827: JUMPDEST
00000828: PUSH1 0x01
0000082a: PUSH1 0x01
0000082c: PUSH1 0xa0
0000082e: SHL
0000082f: SUB
00000830: DUP2
00000831: AND
00000832: PUSH2 0x086b
00000835: JUMPI
00000836: PUSH1 0x40
00000838: DUP1
00000839: MLOAD
0000083a: PUSH3 0x461bcd
0000083e: PUSH1 0xe5
00000840: SHL
00000841: DUP2
00000842: MSTORE
00000843: PUSH1 0x20
00000845: PUSH1 0x04
00000847: DUP1
00000848: DUP4
00000849: ADD
0000084a: SWAP2
0000084b: SWAP1
0000084c: SWAP2
0000084d: MSTORE
0000084e: PUSH1 0x24
00000850: DUP3
00000851: ADD
00000852: MSTORE
00000853: PUSH4 0x23239819
00000858: PUSH1 0xe1
0000085a: SHL
0000085b: PUSH1 0x44
0000085d: DUP3
0000085e: ADD
0000085f: MSTORE
00000860: SWAP1
00000861: MLOAD
00000862: SWAP1
00000863: DUP2
00000864: SWAP1
00000865: SUB
00000866: PUSH1 0x64
00000868: ADD
00000869: SWAP1
0000086a: REVERT
0000086b: JUMPDEST
0000086c: PUSH1 0x01
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: SHL
00000873: SUB
00000874: DUP4
00000875: AND
00000876: PUSH2 0x088b
00000879: JUMPI
0000087a: PUSH2 0x0886
0000087d: DUP2
0000087e: DUP4
0000087f: PUSH1 0x04
00000881: SLOAD
00000882: PUSH2 0x17ab
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH2 0x0896
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH2 0x0896
0000088f: DUP4
00000890: DUP3
00000891: DUP5
00000892: PUSH2 0x183d
00000895: JUMP
00000896: JUMPDEST
00000897: PUSH1 0x40
00000899: DUP1
0000089a: MLOAD
0000089b: PUSH1 0x01
0000089d: PUSH1 0x01
0000089f: PUSH1 0xa0
000008a1: SHL
000008a2: SUB
000008a3: DUP1
000008a4: DUP7
000008a5: AND
000008a6: DUP3
000008a7: MSTORE
000008a8: DUP4
000008a9: AND
000008aa: PUSH1 0x20
000008ac: DUP3
000008ad: ADD
000008ae: MSTORE
000008af: DUP1
000008b0: DUP3
000008b1: ADD
000008b2: DUP5
000008b3: SWAP1
000008b4: MSTORE
000008b5: SWAP1
000008b6: MLOAD
000008b7: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304
000008d8: SWAP2
000008d9: DUP2
000008da: SWAP1
000008db: SUB
000008dc: PUSH1 0x60
000008de: ADD
000008df: SWAP1
000008e0: LOG1
000008e1: POP
000008e2: POP
000008e3: POP
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x00
000008e8: SLOAD
000008e9: PUSH2 0x0100
000008ec: SWAP1
000008ed: DIV
000008ee: PUSH1 0x01
000008f0: PUSH1 0x01
000008f2: PUSH1 0xa0
000008f4: SHL
000008f5: SUB
000008f6: AND
000008f7: CALLER
000008f8: EQ
000008f9: PUSH2 0x0932
000008fc: JUMPI
000008fd: PUSH1 0x40
000008ff: DUP1
00000900: MLOAD
00000901: PUSH3 0x461bcd
00000905: PUSH1 0xe5
00000907: SHL
00000908: DUP2
00000909: MSTORE
0000090a: PUSH1 0x20
0000090c: PUSH1 0x04
0000090e: DUP1
0000090f: DUP4
00000910: ADD
00000911: SWAP2
00000912: SWAP1
00000913: SWAP2
00000914: MSTORE
00000915: PUSH1 0x24
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: PUSH4 0x04647303
0000091f: PUSH1 0xe4
00000921: SHL
00000922: PUSH1 0x44
00000924: DUP3
00000925: ADD
00000926: MSTORE
00000927: SWAP1
00000928: MLOAD
00000929: SWAP1
0000092a: DUP2
0000092b: SWAP1
0000092c: SUB
0000092d: PUSH1 0x64
0000092f: ADD
00000930: SWAP1
00000931: REVERT
00000932: JUMPDEST
00000933: PUSH2 0x0750
00000936: DUP2
00000937: PUSH2 0x1988
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x00
0000093e: DUP1
0000093f: SLOAD
00000940: PUSH2 0x0100
00000943: SWAP1
00000944: DIV
00000945: PUSH1 0x01
00000947: PUSH1 0x01
00000949: PUSH1 0xa0
0000094b: SHL
0000094c: SUB
0000094d: AND
0000094e: CALLER
0000094f: EQ
00000950: PUSH2 0x0989
00000953: JUMPI
00000954: PUSH1 0x40
00000956: DUP1
00000957: MLOAD
00000958: PUSH3 0x461bcd
0000095c: PUSH1 0xe5
0000095e: SHL
0000095f: DUP2
00000960: MSTORE
00000961: PUSH1 0x20
00000963: PUSH1 0x04
00000965: DUP1
00000966: DUP4
00000967: ADD
00000968: SWAP2
00000969: SWAP1
0000096a: SWAP2
0000096b: MSTORE
0000096c: PUSH1 0x24
0000096e: DUP3
0000096f: ADD
00000970: MSTORE
00000971: PUSH4 0x04647303
00000976: PUSH1 0xe4
00000978: SHL
00000979: PUSH1 0x44
0000097b: DUP3
0000097c: ADD
0000097d: MSTORE
0000097e: SWAP1
0000097f: MLOAD
00000980: SWAP1
00000981: DUP2
00000982: SWAP1
00000983: SUB
00000984: PUSH1 0x64
00000986: ADD
00000987: SWAP1
00000988: REVERT
00000989: JUMPDEST
0000098a: PUSH1 0x01
0000098c: SLOAD
0000098d: PUSH1 0x40
0000098f: DUP1
00000990: MLOAD
00000991: PUSH4 0x04da8eeb
00000996: PUSH1 0xe4
00000998: SHL
00000999: DUP2
0000099a: MSTORE
0000099b: PUSH1 0x01
0000099d: PUSH1 0x01
0000099f: PUSH1 0xa0
000009a1: SHL
000009a2: SUB
000009a3: DUP9
000009a4: DUP2
000009a5: AND
000009a6: PUSH1 0x04
000009a8: DUP4
000009a9: ADD
000009aa: MSTORE
000009ab: DUP8
000009ac: DUP2
000009ad: AND
000009ae: PUSH1 0x24
000009b0: DUP4
000009b1: ADD
000009b2: MSTORE
000009b3: DUP7
000009b4: DUP2
000009b5: AND
000009b6: PUSH1 0x44
000009b8: DUP4
000009b9: ADD
000009ba: MSTORE
000009bb: DUP6
000009bc: DUP2
000009bd: AND
000009be: PUSH1 0x64
000009c0: DUP4
000009c1: ADD
000009c2: MSTORE
000009c3: SWAP2
000009c4: MLOAD
000009c5: SWAP2
000009c6: SWAP1
000009c7: SWAP3
000009c8: AND
000009c9: SWAP2
000009ca: PUSH4 0x4da8eeb0
000009cf: SWAP2
000009d0: PUSH1 0x84
000009d2: DUP1
000009d3: DUP4
000009d4: ADD
000009d5: SWAP3
000009d6: PUSH1 0x20
000009d8: SWAP3
000009d9: SWAP2
000009da: SWAP1
000009db: DUP3
000009dc: SWAP1
000009dd: SUB
000009de: ADD
000009df: DUP2
000009e0: PUSH1 0x00
000009e2: DUP8
000009e3: DUP1
000009e4: EXTCODESIZE
000009e5: ISZERO
000009e6: DUP1
000009e7: ISZERO
000009e8: PUSH2 0x09f0
000009eb: JUMPI
000009ec: PUSH1 0x00
000009ee: DUP1
000009ef: REVERT
000009f0: JUMPDEST
000009f1: POP
000009f2: GAS
000009f3: CALL
000009f4: ISZERO
000009f5: DUP1
000009f6: ISZERO
000009f7: PUSH2 0x0a04
000009fa: JUMPI
000009fb: RETURNDATASIZE
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: RETURNDATACOPY
00000a00: RETURNDATASIZE
00000a01: PUSH1 0x00
00000a03: REVERT
00000a04: JUMPDEST
00000a05: POP
00000a06: POP
00000a07: POP
00000a08: POP
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: RETURNDATASIZE
00000a0d: PUSH1 0x20
00000a0f: DUP2
00000a10: LT
00000a11: ISZERO
00000a12: PUSH2 0x0a1a
00000a15: JUMPI
00000a16: PUSH1 0x00
00000a18: DUP1
00000a19: REVERT
00000a1a: JUMPDEST
00000a1b: POP
00000a1c: MLOAD
00000a1d: SWAP6
00000a1e: SWAP5
00000a1f: POP
00000a20: POP
00000a21: POP
00000a22: POP
00000a23: POP
00000a24: JUMP
00000a25: JUMPDEST
00000a26: PUSH1 0x00
00000a28: SLOAD
00000a29: PUSH2 0x0100
00000a2c: SWAP1
00000a2d: DIV
00000a2e: PUSH1 0x01
00000a30: PUSH1 0x01
00000a32: PUSH1 0xa0
00000a34: SHL
00000a35: SUB
00000a36: AND
00000a37: CALLER
00000a38: EQ
00000a39: PUSH2 0x0a72
00000a3c: JUMPI
00000a3d: PUSH1 0x40
00000a3f: DUP1
00000a40: MLOAD
00000a41: PUSH3 0x461bcd
00000a45: PUSH1 0xe5
00000a47: SHL
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x20
00000a4c: PUSH1 0x04
00000a4e: DUP1
00000a4f: DUP4
00000a50: ADD
00000a51: SWAP2
00000a52: SWAP1
00000a53: SWAP2
00000a54: MSTORE
00000a55: PUSH1 0x24
00000a57: DUP3
00000a58: ADD
00000a59: MSTORE
00000a5a: PUSH4 0x04647303
00000a5f: PUSH1 0xe4
00000a61: SHL
00000a62: PUSH1 0x44
00000a64: DUP3
00000a65: ADD
00000a66: MSTORE
00000a67: SWAP1
00000a68: MLOAD
00000a69: SWAP1
00000a6a: DUP2
00000a6b: SWAP1
00000a6c: SUB
00000a6d: PUSH1 0x64
00000a6f: ADD
00000a70: SWAP1
00000a71: REVERT
00000a72: JUMPDEST
00000a73: PUSH1 0x01
00000a75: SLOAD
00000a76: PUSH1 0x40
00000a78: DUP1
00000a79: MLOAD
00000a7a: PUSH4 0x4fe0e92f
00000a7f: PUSH1 0xe0
00000a81: SHL
00000a82: DUP2
00000a83: MSTORE
00000a84: PUSH1 0x01
00000a86: PUSH1 0x01
00000a88: PUSH1 0xa0
00000a8a: SHL
00000a8b: SUB
00000a8c: DUP7
00000a8d: DUP2
00000a8e: AND
00000a8f: PUSH1 0x04
00000a91: DUP4
00000a92: ADD
00000a93: MSTORE
00000a94: DUP6
00000a95: DUP2
00000a96: AND
00000a97: PUSH1 0x24
00000a99: DUP4
00000a9a: ADD
00000a9b: MSTORE
00000a9c: PUSH1 0x44
00000a9e: DUP3
00000a9f: ADD
00000aa0: DUP6
00000aa1: SWAP1
00000aa2: MSTORE
00000aa3: SWAP2
00000aa4: MLOAD
00000aa5: SWAP2
00000aa6: SWAP1
00000aa7: SWAP3
00000aa8: AND
00000aa9: SWAP2
00000aaa: PUSH4 0x4fe0e92f
00000aaf: SWAP2
00000ab0: PUSH1 0x64
00000ab2: DUP1
00000ab3: DUP4
00000ab4: ADD
00000ab5: SWAP3
00000ab6: PUSH1 0x00
00000ab8: SWAP3
00000ab9: SWAP2
00000aba: SWAP1
00000abb: DUP3
00000abc: SWAP1
00000abd: SUB
00000abe: ADD
00000abf: DUP2
00000ac0: DUP4
00000ac1: DUP8
00000ac2: DUP1
00000ac3: EXTCODESIZE
00000ac4: ISZERO
00000ac5: DUP1
00000ac6: ISZERO
00000ac7: PUSH2 0x06dc
00000aca: JUMPI
00000acb: PUSH1 0x00
00000acd: DUP1
00000ace: REVERT
00000acf: JUMPDEST
00000ad0: PUSH1 0x00
00000ad2: SLOAD
00000ad3: PUSH2 0x0100
00000ad6: SWAP1
00000ad7: DIV
00000ad8: PUSH1 0x01
00000ada: PUSH1 0x01
00000adc: PUSH1 0xa0
00000ade: SHL
00000adf: SUB
00000ae0: AND
00000ae1: CALLER
00000ae2: EQ
00000ae3: PUSH2 0x0b1c
00000ae6: JUMPI
00000ae7: PUSH1 0x40
00000ae9: DUP1
00000aea: MLOAD
00000aeb: PUSH3 0x461bcd
00000aef: PUSH1 0xe5
00000af1: SHL
00000af2: DUP2
00000af3: MSTORE
00000af4: PUSH1 0x20
00000af6: PUSH1 0x04
00000af8: DUP1
00000af9: DUP4
00000afa: ADD
00000afb: SWAP2
00000afc: SWAP1
00000afd: SWAP2
00000afe: MSTORE
00000aff: PUSH1 0x24
00000b01: DUP3
00000b02: ADD
00000b03: MSTORE
00000b04: PUSH4 0x04647303
00000b09: PUSH1 0xe4
00000b0b: SHL
00000b0c: PUSH1 0x44
00000b0e: DUP3
00000b0f: ADD
00000b10: MSTORE
00000b11: SWAP1
00000b12: MLOAD
00000b13: SWAP1
00000b14: DUP2
00000b15: SWAP1
00000b16: SUB
00000b17: PUSH1 0x64
00000b19: ADD
00000b1a: SWAP1
00000b1b: REVERT
00000b1c: JUMPDEST
00000b1d: PUSH1 0x02
00000b1f: SLOAD
00000b20: PUSH1 0x40
00000b22: DUP1
00000b23: MLOAD
00000b24: PUSH4 0x091b1a71
00000b29: PUSH1 0xe3
00000b2b: SHL
00000b2c: DUP2
00000b2d: MSTORE
00000b2e: PUSH1 0x01
00000b30: PUSH1 0x01
00000b32: PUSH1 0xa0
00000b34: SHL
00000b35: SUB
00000b36: DUP7
00000b37: DUP2
00000b38: AND
00000b39: PUSH1 0x04
00000b3b: DUP4
00000b3c: ADD
00000b3d: MSTORE
00000b3e: DUP6
00000b3f: DUP2
00000b40: AND
00000b41: PUSH1 0x24
00000b43: DUP4
00000b44: ADD
00000b45: MSTORE
00000b46: SWAP2
00000b47: MLOAD
00000b48: SWAP2
00000b49: SWAP1
00000b4a: SWAP3
00000b4b: AND
00000b4c: SWAP2
00000b4d: PUSH4 0x48d8d388
00000b52: SWAP2
00000b53: PUSH1 0x44
00000b55: DUP1
00000b56: DUP4
00000b57: ADD
00000b58: SWAP3
00000b59: PUSH1 0x20
00000b5b: SWAP3
00000b5c: SWAP2
00000b5d: SWAP1
00000b5e: DUP3
00000b5f: SWAP1
00000b60: SUB
00000b61: ADD
00000b62: DUP2
00000b63: PUSH1 0x00
00000b65: DUP8
00000b66: DUP1
00000b67: EXTCODESIZE
00000b68: ISZERO
00000b69: DUP1
00000b6a: ISZERO
00000b6b: PUSH2 0x0b73
00000b6e: JUMPI
00000b6f: PUSH1 0x00
00000b71: DUP1
00000b72: REVERT
00000b73: JUMPDEST
00000b74: POP
00000b75: GAS
00000b76: CALL
00000b77: ISZERO
00000b78: DUP1
00000b79: ISZERO
00000b7a: PUSH2 0x0b87
00000b7d: JUMPI
00000b7e: RETURNDATASIZE
00000b7f: PUSH1 0x00
00000b81: DUP1
00000b82: RETURNDATACOPY
00000b83: RETURNDATASIZE
00000b84: PUSH1 0x00
00000b86: REVERT
00000b87: JUMPDEST
00000b88: POP
00000b89: POP
00000b8a: POP
00000b8b: POP
00000b8c: PUSH1 0x40
00000b8e: MLOAD
00000b8f: RETURNDATASIZE
00000b90: PUSH1 0x20
00000b92: DUP2
00000b93: LT
00000b94: ISZERO
00000b95: PUSH2 0x0b9d
00000b98: JUMPI
00000b99: PUSH1 0x00
00000b9b: DUP1
00000b9c: REVERT
00000b9d: JUMPDEST
00000b9e: POP
00000b9f: POP
00000ba0: PUSH1 0x01
00000ba2: SLOAD
00000ba3: PUSH1 0x40
00000ba5: DUP1
00000ba6: MLOAD
00000ba7: PUSH4 0x66900253
00000bac: PUSH1 0xe0
00000bae: SHL
00000baf: DUP2
00000bb0: MSTORE
00000bb1: PUSH1 0x01
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0xa0
00000bb7: SHL
00000bb8: SUB
00000bb9: DUP7
00000bba: DUP2
00000bbb: AND
00000bbc: PUSH1 0x04
00000bbe: DUP4
00000bbf: ADD
00000bc0: MSTORE
00000bc1: DUP6
00000bc2: DUP2
00000bc3: AND
00000bc4: PUSH1 0x24
00000bc6: DUP4
00000bc7: ADD
00000bc8: MSTORE
00000bc9: DUP5
00000bca: DUP2
00000bcb: AND
00000bcc: PUSH1 0x44
00000bce: DUP4
00000bcf: ADD
00000bd0: MSTORE
00000bd1: SWAP2
00000bd2: MLOAD
00000bd3: SWAP2
00000bd4: SWAP1
00000bd5: SWAP3
00000bd6: AND
00000bd7: SWAP2
00000bd8: PUSH4 0x66900253
00000bdd: SWAP2
00000bde: PUSH1 0x64
00000be0: DUP1
00000be1: DUP4
00000be2: ADD
00000be3: SWAP3
00000be4: PUSH1 0x00
00000be6: SWAP3
00000be7: SWAP2
00000be8: SWAP1
00000be9: DUP3
00000bea: SWAP1
00000beb: SUB
00000bec: ADD
00000bed: DUP2
00000bee: DUP4
00000bef: DUP8
00000bf0: DUP1
00000bf1: EXTCODESIZE
00000bf2: ISZERO
00000bf3: DUP1
00000bf4: ISZERO
00000bf5: PUSH2 0x06dc
00000bf8: JUMPI
00000bf9: PUSH1 0x00
00000bfb: DUP1
00000bfc: REVERT
00000bfd: JUMPDEST
00000bfe: PUSH1 0x01
00000c00: SLOAD
00000c01: PUSH1 0x40
00000c03: DUP1
00000c04: MLOAD
00000c05: PUSH4 0x574f2ba3
00000c0a: PUSH1 0xe0
00000c0c: SHL
00000c0d: DUP2
00000c0e: MSTORE
00000c0f: SWAP1
00000c10: MLOAD
00000c11: PUSH1 0x00
00000c13: SWAP3
00000c14: PUSH1 0x01
00000c16: PUSH1 0x01
00000c18: PUSH1 0xa0
00000c1a: SHL
00000c1b: SUB
00000c1c: AND
00000c1d: SWAP2
00000c1e: PUSH4 0x574f2ba3
00000c23: SWAP2
00000c24: PUSH1 0x04
00000c26: DUP1
00000c27: DUP4
00000c28: ADD
00000c29: SWAP3
00000c2a: PUSH1 0x20
00000c2c: SWAP3
00000c2d: SWAP2
00000c2e: SWAP1
00000c2f: DUP3
00000c30: SWAP1
00000c31: SUB
00000c32: ADD
00000c33: DUP2
00000c34: DUP7
00000c35: DUP1
00000c36: EXTCODESIZE
00000c37: ISZERO
00000c38: DUP1
00000c39: ISZERO
00000c3a: PUSH2 0x0c42
00000c3d: JUMPI
00000c3e: PUSH1 0x00
00000c40: DUP1
00000c41: REVERT
00000c42: JUMPDEST
00000c43: POP
00000c44: GAS
00000c45: STATICCALL
00000c46: ISZERO
00000c47: DUP1
00000c48: ISZERO
00000c49: PUSH2 0x0c56
00000c4c: JUMPI
00000c4d: RETURNDATASIZE
00000c4e: PUSH1 0x00
00000c50: DUP1
00000c51: RETURNDATACOPY
00000c52: RETURNDATASIZE
00000c53: PUSH1 0x00
00000c55: REVERT
00000c56: JUMPDEST
00000c57: POP
00000c58: POP
00000c59: POP
00000c5a: POP
00000c5b: PUSH1 0x40
00000c5d: MLOAD
00000c5e: RETURNDATASIZE
00000c5f: PUSH1 0x20
00000c61: DUP2
00000c62: LT
00000c63: ISZERO
00000c64: PUSH2 0x0c6c
00000c67: JUMPI
00000c68: PUSH1 0x00
00000c6a: DUP1
00000c6b: REVERT
00000c6c: JUMPDEST
00000c6d: POP
00000c6e: MLOAD
00000c6f: SWAP1
00000c70: POP
00000c71: SWAP1
00000c72: JUMP
00000c73: JUMPDEST
00000c74: PUSH1 0x00
00000c76: SLOAD
00000c77: PUSH2 0x0100
00000c7a: SWAP1
00000c7b: DIV
00000c7c: PUSH1 0x01
00000c7e: PUSH1 0x01
00000c80: PUSH1 0xa0
00000c82: SHL
00000c83: SUB
00000c84: AND
00000c85: CALLER
00000c86: EQ
00000c87: PUSH2 0x0cc0
00000c8a: JUMPI
00000c8b: PUSH1 0x40
00000c8d: DUP1
00000c8e: MLOAD
00000c8f: PUSH3 0x461bcd
00000c93: PUSH1 0xe5
00000c95: SHL
00000c96: DUP2
00000c97: MSTORE
00000c98: PUSH1 0x20
00000c9a: PUSH1 0x04
00000c9c: DUP1
00000c9d: DUP4
00000c9e: ADD
00000c9f: SWAP2
00000ca0: SWAP1
00000ca1: SWAP2
00000ca2: MSTORE
00000ca3: PUSH1 0x24
00000ca5: DUP3
00000ca6: ADD
00000ca7: MSTORE
00000ca8: PUSH4 0x04647303
00000cad: PUSH1 0xe4
00000caf: SHL
00000cb0: PUSH1 0x44
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: SWAP1
00000cb6: MLOAD
00000cb7: SWAP1
00000cb8: DUP2
00000cb9: SWAP1
00000cba: SUB
00000cbb: PUSH1 0x64
00000cbd: ADD
00000cbe: SWAP1
00000cbf: REVERT
00000cc0: JUMPDEST
00000cc1: PUSH2 0x0750
00000cc4: DUP2
00000cc5: PUSH2 0x1a46
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x01
00000ccc: SLOAD
00000ccd: PUSH1 0x40
00000ccf: DUP1
00000cd0: MLOAD
00000cd1: PUSH4 0xe6a43905
00000cd6: PUSH1 0xe0
00000cd8: SHL
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH1 0x01
00000cdd: PUSH1 0x01
00000cdf: PUSH1 0xa0
00000ce1: SHL
00000ce2: SUB
00000ce3: DUP6
00000ce4: DUP2
00000ce5: AND
00000ce6: PUSH1 0x04
00000ce8: DUP4
00000ce9: ADD
00000cea: MSTORE
00000ceb: DUP5
00000cec: DUP2
00000ced: AND
00000cee: PUSH1 0x24
00000cf0: DUP4
00000cf1: ADD
00000cf2: MSTORE
00000cf3: SWAP2
00000cf4: MLOAD
00000cf5: PUSH1 0x00
00000cf7: SWAP4
00000cf8: DUP5
00000cf9: SWAP4
00000cfa: DUP5
00000cfb: SWAP4
00000cfc: SWAP2
00000cfd: AND
00000cfe: SWAP2
00000cff: PUSH4 0xe6a43905
00000d04: SWAP2
00000d05: PUSH1 0x44
00000d07: DUP1
00000d08: DUP3
00000d09: ADD
00000d0a: SWAP3
00000d0b: PUSH1 0x20
00000d0d: SWAP3
00000d0e: SWAP1
00000d0f: SWAP2
00000d10: SWAP1
00000d11: DUP3
00000d12: SWAP1
00000d13: SUB
00000d14: ADD
00000d15: DUP2
00000d16: DUP7
00000d17: DUP1
00000d18: EXTCODESIZE
00000d19: ISZERO
00000d1a: DUP1
00000d1b: ISZERO
00000d1c: PUSH2 0x0d24
00000d1f: JUMPI
00000d20: PUSH1 0x00
00000d22: DUP1
00000d23: REVERT
00000d24: JUMPDEST
00000d25: POP
00000d26: GAS
00000d27: STATICCALL
00000d28: ISZERO
00000d29: DUP1
00000d2a: ISZERO
00000d2b: PUSH2 0x0d38
00000d2e: JUMPI
00000d2f: RETURNDATASIZE
00000d30: PUSH1 0x00
00000d32: DUP1
00000d33: RETURNDATACOPY
00000d34: RETURNDATASIZE
00000d35: PUSH1 0x00
00000d37: REVERT
00000d38: JUMPDEST
00000d39: POP
00000d3a: POP
00000d3b: POP
00000d3c: POP
00000d3d: PUSH1 0x40
00000d3f: MLOAD
00000d40: RETURNDATASIZE
00000d41: PUSH1 0x20
00000d43: DUP2
00000d44: LT
00000d45: ISZERO
00000d46: PUSH2 0x0d4e
00000d49: JUMPI
00000d4a: PUSH1 0x00
00000d4c: DUP1
00000d4d: REVERT
00000d4e: JUMPDEST
00000d4f: POP
00000d50: MLOAD
00000d51: SWAP1
00000d52: POP
00000d53: PUSH1 0x01
00000d55: PUSH1 0x01
00000d57: PUSH1 0xa0
00000d59: SHL
00000d5a: SUB
00000d5b: DUP2
00000d5c: AND
00000d5d: PUSH2 0x0d96
00000d60: JUMPI
00000d61: PUSH1 0x40
00000d63: DUP1
00000d64: MLOAD
00000d65: PUSH3 0x461bcd
00000d69: PUSH1 0xe5
00000d6b: SHL
00000d6c: DUP2
00000d6d: MSTORE
00000d6e: PUSH1 0x20
00000d70: PUSH1 0x04
00000d72: DUP1
00000d73: DUP4
00000d74: ADD
00000d75: SWAP2
00000d76: SWAP1
00000d77: SWAP2
00000d78: MSTORE
00000d79: PUSH1 0x24
00000d7b: DUP3
00000d7c: ADD
00000d7d: MSTORE
00000d7e: PUSH4 0x46473137
00000d83: PUSH1 0xe0
00000d85: SHL
00000d86: PUSH1 0x44
00000d88: DUP3
00000d89: ADD
00000d8a: MSTORE
00000d8b: SWAP1
00000d8c: MLOAD
00000d8d: SWAP1
00000d8e: DUP2
00000d8f: SWAP1
00000d90: SUB
00000d91: PUSH1 0x64
00000d93: ADD
00000d94: SWAP1
00000d95: REVERT
00000d96: JUMPDEST
00000d97: PUSH1 0x00
00000d99: DUP1
00000d9a: DUP3
00000d9b: PUSH1 0x01
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: SHL
00000da2: SUB
00000da3: AND
00000da4: PUSH4 0xdb8d55f1
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: DUP2
00000dad: PUSH4 0xffffffff
00000db2: AND
00000db3: PUSH1 0xe0
00000db5: SHL
00000db6: DUP2
00000db7: MSTORE
00000db8: PUSH1 0x04
00000dba: ADD
00000dbb: PUSH1 0x40
00000dbd: DUP1
00000dbe: MLOAD
00000dbf: DUP1
00000dc0: DUP4
00000dc1: SUB
00000dc2: DUP2
00000dc3: DUP7
00000dc4: DUP1
00000dc5: EXTCODESIZE
00000dc6: ISZERO
00000dc7: DUP1
00000dc8: ISZERO
00000dc9: PUSH2 0x0dd1
00000dcc: JUMPI
00000dcd: PUSH1 0x00
00000dcf: DUP1
00000dd0: REVERT
00000dd1: JUMPDEST
00000dd2: POP
00000dd3: GAS
00000dd4: STATICCALL
00000dd5: ISZERO
00000dd6: DUP1
00000dd7: ISZERO
00000dd8: PUSH2 0x0de5
00000ddb: JUMPI
00000ddc: RETURNDATASIZE
00000ddd: PUSH1 0x00
00000ddf: DUP1
00000de0: RETURNDATACOPY
00000de1: RETURNDATASIZE
00000de2: PUSH1 0x00
00000de4: REVERT
00000de5: JUMPDEST
00000de6: POP
00000de7: POP
00000de8: POP
00000de9: POP
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: RETURNDATASIZE
00000dee: PUSH1 0x40
00000df0: DUP2
00000df1: LT
00000df2: ISZERO
00000df3: PUSH2 0x0dfb
00000df6: JUMPI
00000df7: PUSH1 0x00
00000df9: DUP1
00000dfa: REVERT
00000dfb: JUMPDEST
00000dfc: POP
00000dfd: DUP1
00000dfe: MLOAD
00000dff: PUSH1 0x20
00000e01: SWAP1
00000e02: SWAP2
00000e03: ADD
00000e04: MLOAD
00000e05: PUSH1 0x03
00000e07: SLOAD
00000e08: SWAP2
00000e09: SWAP4
00000e0a: POP
00000e0b: SWAP2
00000e0c: POP
00000e0d: PUSH1 0x00
00000e0f: SWAP1
00000e10: PUSH2 0x0e2b
00000e13: SWAP1
00000e14: PUSH5 0x02540be400
00000e1a: SWAP1
00000e1b: PUSH2 0x0e25
00000e1e: SWAP1
00000e1f: DUP7
00000e20: SWAP1
00000e21: PUSH2 0x1b2a
00000e24: JUMP
00000e25: JUMPDEST
00000e26: SWAP1
00000e27: PUSH2 0x1b7f
00000e2a: JUMP
00000e2b: JUMPDEST
00000e2c: SWAP1
00000e2d: POP
00000e2e: PUSH2 0x0e37
00000e31: DUP4
00000e32: DUP3
00000e33: PUSH2 0x1bcf
00000e36: JUMP
00000e37: JUMPDEST
00000e38: SWAP6
00000e39: POP
00000e3a: PUSH1 0x00
00000e3c: PUSH2 0x0e59
00000e3f: PUSH5 0x02540be400
00000e45: PUSH2 0x0e25
00000e48: PUSH1 0x03
00000e4a: SLOAD
00000e4b: DUP7
00000e4c: PUSH2 0x1b2a
00000e4f: SWAP1
00000e50: SWAP2
00000e51: SWAP1
00000e52: PUSH4 0xffffffff
00000e57: AND
00000e58: JUMP
00000e59: JUMPDEST
00000e5a: SWAP1
00000e5b: POP
00000e5c: PUSH2 0x0e65
00000e5f: DUP4
00000e60: DUP3
00000e61: PUSH2 0x1bcf
00000e64: JUMP
00000e65: JUMPDEST
00000e66: SWAP6
00000e67: POP
00000e68: POP
00000e69: POP
00000e6a: POP
00000e6b: POP
00000e6c: POP
00000e6d: SWAP3
00000e6e: POP
00000e6f: SWAP3
00000e70: SWAP1
00000e71: POP
00000e72: JUMP
00000e73: JUMPDEST
00000e74: PUSH1 0x02
00000e76: SLOAD
00000e77: PUSH1 0x01
00000e79: PUSH1 0x01
00000e7b: PUSH1 0xa0
00000e7d: SHL
00000e7e: SUB
00000e7f: AND
00000e80: DUP2
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x03
00000e85: SLOAD
00000e86: DUP2
00000e87: JUMP
00000e88: JUMPDEST
00000e89: PUSH1 0x00
00000e8b: SLOAD
00000e8c: PUSH2 0x0100
00000e8f: SWAP1
00000e90: DIV
00000e91: PUSH1 0x01
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: SHL
00000e98: SUB
00000e99: AND
00000e9a: CALLER
00000e9b: EQ
00000e9c: PUSH2 0x0ed5
00000e9f: JUMPI
00000ea0: PUSH1 0x40
00000ea2: DUP1
00000ea3: MLOAD
00000ea4: PUSH3 0x461bcd
00000ea8: PUSH1 0xe5
00000eaa: SHL
00000eab: DUP2
00000eac: MSTORE
00000ead: PUSH1 0x20
00000eaf: PUSH1 0x04
00000eb1: DUP1
00000eb2: DUP4
00000eb3: ADD
00000eb4: SWAP2
00000eb5: SWAP1
00000eb6: SWAP2
00000eb7: MSTORE
00000eb8: PUSH1 0x24
00000eba: DUP3
00000ebb: ADD
00000ebc: MSTORE
00000ebd: PUSH4 0x04647303
00000ec2: PUSH1 0xe4
00000ec4: SHL
00000ec5: PUSH1 0x44
00000ec7: DUP3
00000ec8: ADD
00000ec9: MSTORE
00000eca: SWAP1
00000ecb: MLOAD
00000ecc: SWAP1
00000ecd: DUP2
00000ece: SWAP1
00000ecf: SUB
00000ed0: PUSH1 0x64
00000ed2: ADD
00000ed3: SWAP1
00000ed4: REVERT
00000ed5: JUMPDEST
00000ed6: PUSH1 0x01
00000ed8: SLOAD
00000ed9: PUSH1 0x40
00000edb: DUP1
00000edc: MLOAD
00000edd: PUSH4 0x88538715
00000ee2: PUSH1 0xe0
00000ee4: SHL
00000ee5: DUP2
00000ee6: MSTORE
00000ee7: PUSH1 0x01
00000ee9: PUSH1 0x01
00000eeb: PUSH1 0xa0
00000eed: SHL
00000eee: SUB
00000eef: DUP7
00000ef0: DUP2
00000ef1: AND
00000ef2: PUSH1 0x04
00000ef4: DUP4
00000ef5: ADD
00000ef6: MSTORE
00000ef7: DUP6
00000ef8: DUP2
00000ef9: AND
00000efa: PUSH1 0x24
00000efc: DUP4
00000efd: ADD
00000efe: MSTORE
00000eff: DUP5
00000f00: DUP2
00000f01: AND
00000f02: PUSH1 0x44
00000f04: DUP4
00000f05: ADD
00000f06: MSTORE
00000f07: SWAP2
00000f08: MLOAD
00000f09: SWAP2
00000f0a: SWAP1
00000f0b: SWAP3
00000f0c: AND
00000f0d: SWAP2
00000f0e: PUSH4 0x88538715
00000f13: SWAP2
00000f14: PUSH1 0x64
00000f16: DUP1
00000f17: DUP4
00000f18: ADD
00000f19: SWAP3
00000f1a: PUSH1 0x00
00000f1c: SWAP3
00000f1d: SWAP2
00000f1e: SWAP1
00000f1f: DUP3
00000f20: SWAP1
00000f21: SUB
00000f22: ADD
00000f23: DUP2
00000f24: DUP4
00000f25: DUP8
00000f26: DUP1
00000f27: EXTCODESIZE
00000f28: ISZERO
00000f29: DUP1
00000f2a: ISZERO
00000f2b: PUSH2 0x06dc
00000f2e: JUMPI
00000f2f: PUSH1 0x00
00000f31: DUP1
00000f32: REVERT
00000f33: JUMPDEST
00000f34: PUSH1 0x02
00000f36: SLOAD
00000f37: PUSH1 0x01
00000f39: PUSH1 0x01
00000f3b: PUSH1 0xa0
00000f3d: SHL
00000f3e: SUB
00000f3f: AND
00000f40: CALLER
00000f41: EQ
00000f42: PUSH2 0x0f7b
00000f45: JUMPI
00000f46: PUSH1 0x40
00000f48: DUP1
00000f49: MLOAD
00000f4a: PUSH3 0x461bcd
00000f4e: PUSH1 0xe5
00000f50: SHL
00000f51: DUP2
00000f52: MSTORE
00000f53: PUSH1 0x20
00000f55: PUSH1 0x04
00000f57: DUP1
00000f58: DUP4
00000f59: ADD
00000f5a: SWAP2
00000f5b: SWAP1
00000f5c: SWAP2
00000f5d: MSTORE
00000f5e: PUSH1 0x24
00000f60: DUP3
00000f61: ADD
00000f62: MSTORE
00000f63: PUSH4 0x04647303
00000f68: PUSH1 0xe4
00000f6a: SHL
00000f6b: PUSH1 0x44
00000f6d: DUP3
00000f6e: ADD
00000f6f: MSTORE
00000f70: SWAP1
00000f71: MLOAD
00000f72: SWAP1
00000f73: DUP2
00000f74: SWAP1
00000f75: SUB
00000f76: PUSH1 0x64
00000f78: ADD
00000f79: SWAP1
00000f7a: REVERT
00000f7b: JUMPDEST
00000f7c: PUSH2 0x06f5
00000f7f: DUP4
00000f80: DUP4
00000f81: DUP4
00000f82: PUSH2 0x1bff
00000f85: JUMP
00000f86: JUMPDEST
00000f87: PUSH1 0x00
00000f89: SLOAD
00000f8a: PUSH2 0x0100
00000f8d: SWAP1
00000f8e: DIV
00000f8f: PUSH1 0x01
00000f91: PUSH1 0x01
00000f93: PUSH1 0xa0
00000f95: SHL
00000f96: SUB
00000f97: AND
00000f98: CALLER
00000f99: EQ
00000f9a: PUSH2 0x0fd3
00000f9d: JUMPI
00000f9e: PUSH1 0x40
00000fa0: DUP1
00000fa1: MLOAD
00000fa2: PUSH3 0x461bcd
00000fa6: PUSH1 0xe5
00000fa8: SHL
00000fa9: DUP2
00000faa: MSTORE
00000fab: PUSH1 0x20
00000fad: PUSH1 0x04
00000faf: DUP1
00000fb0: DUP4
00000fb1: ADD
00000fb2: SWAP2
00000fb3: SWAP1
00000fb4: SWAP2
00000fb5: MSTORE
00000fb6: PUSH1 0x24
00000fb8: DUP3
00000fb9: ADD
00000fba: MSTORE
00000fbb: PUSH4 0x04647303
00000fc0: PUSH1 0xe4
00000fc2: SHL
00000fc3: PUSH1 0x44
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: SWAP1
00000fc9: MLOAD
00000fca: SWAP1
00000fcb: DUP2
00000fcc: SWAP1
00000fcd: SUB
00000fce: PUSH1 0x64
00000fd0: ADD
00000fd1: SWAP1
00000fd2: REVERT
00000fd3: JUMPDEST
00000fd4: PUSH1 0x02
00000fd6: SLOAD
00000fd7: PUSH1 0x01
00000fd9: PUSH1 0x01
00000fdb: PUSH1 0xa0
00000fdd: SHL
00000fde: SUB
00000fdf: DUP3
00000fe0: DUP2
00000fe1: AND
00000fe2: SWAP2
00000fe3: AND
00000fe4: EQ
00000fe5: ISZERO
00000fe6: PUSH2 0x101f
00000fe9: JUMPI
00000fea: PUSH1 0x40
00000fec: DUP1
00000fed: MLOAD
00000fee: PUSH3 0x461bcd
00000ff2: PUSH1 0xe5
00000ff4: SHL
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x20
00000ff9: PUSH1 0x04
00000ffb: DUP1
00000ffc: DUP4
00000ffd: ADD
00000ffe: SWAP2
00000fff: SWAP1
00001000: SWAP2
00001001: MSTORE
00001002: PUSH1 0x24
00001004: DUP3
00001005: ADD
00001006: MSTORE
00001007: PUSH4 0x46473031
0000100c: PUSH1 0xe0
0000100e: SHL
0000100f: PUSH1 0x44
00001011: DUP3
00001012: ADD
00001013: MSTORE
00001014: SWAP1
00001015: MLOAD
00001016: SWAP1
00001017: DUP2
00001018: SWAP1
00001019: SUB
0000101a: PUSH1 0x64
0000101c: ADD
0000101d: SWAP1
0000101e: REVERT
0000101f: JUMPDEST
00001020: PUSH1 0x01
00001022: PUSH1 0x01
00001024: PUSH1 0xa0
00001026: SHL
00001027: SUB
00001028: DUP2
00001029: AND
0000102a: PUSH2 0x1063
0000102d: JUMPI
0000102e: PUSH1 0x40
00001030: DUP1
00001031: MLOAD
00001032: PUSH3 0x461bcd
00001036: PUSH1 0xe5
00001038: SHL
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x20
0000103d: PUSH1 0x04
0000103f: DUP1
00001040: DUP4
00001041: ADD
00001042: SWAP2
00001043: SWAP1
00001044: SWAP2
00001045: MSTORE
00001046: PUSH1 0x24
00001048: DUP3
00001049: ADD
0000104a: MSTORE
0000104b: PUSH4 0x23239819
00001050: PUSH1 0xe1
00001052: SHL
00001053: PUSH1 0x44
00001055: DUP3
00001056: ADD
00001057: MSTORE
00001058: SWAP1
00001059: MLOAD
0000105a: SWAP1
0000105b: DUP2
0000105c: SWAP1
0000105d: SUB
0000105e: PUSH1 0x64
00001060: ADD
00001061: SWAP1
00001062: REVERT
00001063: JUMPDEST
00001064: PUSH1 0x02
00001066: DUP1
00001067: SLOAD
00001068: PUSH1 0x01
0000106a: PUSH1 0x01
0000106c: PUSH1 0xa0
0000106e: SHL
0000106f: SUB
00001070: DUP4
00001071: AND
00001072: PUSH1 0x01
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: SHL
00001079: SUB
0000107a: NOT
0000107b: SWAP1
0000107c: SWAP2
0000107d: AND
0000107e: DUP2
0000107f: OR
00001080: SWAP1
00001081: SWAP2
00001082: SSTORE
00001083: PUSH1 0x40
00001085: DUP1
00001086: MLOAD
00001087: SWAP2
00001088: DUP3
00001089: MSTORE
0000108a: MLOAD
0000108b: PUSH32 0x647cacf4874ca900db0a09a56d282eac900005705eec4a971b50b39f243806a6
000010ac: SWAP2
000010ad: DUP2
000010ae: SWAP1
000010af: SUB
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: SWAP1
000010b4: LOG1
000010b5: POP
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH1 0x00
000010ba: SLOAD
000010bb: PUSH2 0x0100
000010be: SWAP1
000010bf: DIV
000010c0: PUSH1 0x01
000010c2: PUSH1 0x01
000010c4: PUSH1 0xa0
000010c6: SHL
000010c7: SUB
000010c8: AND
000010c9: DUP2
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x00
000010ce: SLOAD
000010cf: PUSH2 0x0100
000010d2: SWAP1
000010d3: DIV
000010d4: PUSH1 0x01
000010d6: PUSH1 0x01
000010d8: PUSH1 0xa0
000010da: SHL
000010db: SUB
000010dc: AND
000010dd: CALLER
000010de: EQ
000010df: PUSH2 0x1118
000010e2: JUMPI
000010e3: PUSH1 0x40
000010e5: DUP1
000010e6: MLOAD
000010e7: PUSH3 0x461bcd
000010eb: PUSH1 0xe5
000010ed: SHL
000010ee: DUP2
000010ef: MSTORE
000010f0: PUSH1 0x20
000010f2: PUSH1 0x04
000010f4: DUP1
000010f5: DUP4
000010f6: ADD
000010f7: SWAP2
000010f8: SWAP1
000010f9: SWAP2
000010fa: MSTORE
000010fb: PUSH1 0x24
000010fd: DUP3
000010fe: ADD
000010ff: MSTORE
00001100: PUSH4 0x04647303
00001105: PUSH1 0xe4
00001107: SHL
00001108: PUSH1 0x44
0000110a: DUP3
0000110b: ADD
0000110c: MSTORE
0000110d: SWAP1
0000110e: MLOAD
0000110f: SWAP1
00001110: DUP2
00001111: SWAP1
00001112: SUB
00001113: PUSH1 0x64
00001115: ADD
00001116: SWAP1
00001117: REVERT
00001118: JUMPDEST
00001119: PUSH1 0x02
0000111b: SLOAD
0000111c: PUSH1 0x40
0000111e: DUP1
0000111f: MLOAD
00001120: PUSH4 0x091b1a71
00001125: PUSH1 0xe3
00001127: SHL
00001128: DUP2
00001129: MSTORE
0000112a: PUSH1 0x01
0000112c: PUSH1 0x01
0000112e: PUSH1 0xa0
00001130: SHL
00001131: SUB
00001132: DUP6
00001133: DUP2
00001134: AND
00001135: PUSH1 0x04
00001137: DUP4
00001138: ADD
00001139: MSTORE
0000113a: DUP5
0000113b: DUP2
0000113c: AND
0000113d: PUSH1 0x24
0000113f: DUP4
00001140: ADD
00001141: MSTORE
00001142: SWAP2
00001143: MLOAD
00001144: PUSH1 0x00
00001146: SWAP4
00001147: SWAP3
00001148: SWAP1
00001149: SWAP3
0000114a: AND
0000114b: SWAP2
0000114c: PUSH4 0x48d8d388
00001151: SWAP2
00001152: PUSH1 0x44
00001154: DUP1
00001155: DUP3
00001156: ADD
00001157: SWAP3
00001158: PUSH1 0x20
0000115a: SWAP3
0000115b: SWAP1
0000115c: SWAP2
0000115d: SWAP1
0000115e: DUP3
0000115f: SWAP1
00001160: SUB
00001161: ADD
00001162: DUP2
00001163: DUP8
00001164: DUP8
00001165: DUP1
00001166: EXTCODESIZE
00001167: ISZERO
00001168: DUP1
00001169: ISZERO
0000116a: PUSH2 0x1172
0000116d: JUMPI
0000116e: PUSH1 0x00
00001170: DUP1
00001171: REVERT
00001172: JUMPDEST
00001173: POP
00001174: GAS
00001175: CALL
00001176: ISZERO
00001177: DUP1
00001178: ISZERO
00001179: PUSH2 0x1186
0000117c: JUMPI
0000117d: RETURNDATASIZE
0000117e: PUSH1 0x00
00001180: DUP1
00001181: RETURNDATACOPY
00001182: RETURNDATASIZE
00001183: PUSH1 0x00
00001185: REVERT
00001186: JUMPDEST
00001187: POP
00001188: POP
00001189: POP
0000118a: POP
0000118b: PUSH1 0x40
0000118d: MLOAD
0000118e: RETURNDATASIZE
0000118f: PUSH1 0x20
00001191: DUP2
00001192: LT
00001193: ISZERO
00001194: PUSH2 0x119c
00001197: JUMPI
00001198: PUSH1 0x00
0000119a: DUP1
0000119b: REVERT
0000119c: JUMPDEST
0000119d: POP
0000119e: MLOAD
0000119f: SWAP1
000011a0: POP
000011a1: PUSH2 0x06f5
000011a4: DUP4
000011a5: DUP4
000011a6: DUP4
000011a7: PUSH2 0x1bff
000011aa: JUMP
000011ab: JUMPDEST
000011ac: PUSH1 0x04
000011ae: SLOAD
000011af: DUP2
000011b0: JUMP
000011b1: JUMPDEST
000011b2: PUSH1 0x01
000011b4: SLOAD
000011b5: PUSH1 0x01
000011b7: PUSH1 0x01
000011b9: PUSH1 0xa0
000011bb: SHL
000011bc: SUB
000011bd: AND
000011be: DUP2
000011bf: JUMP
000011c0: JUMPDEST
000011c1: PUSH1 0x00
000011c3: SLOAD
000011c4: PUSH1 0xff
000011c6: AND
000011c7: ISZERO
000011c8: PUSH2 0x1201
000011cb: JUMPI
000011cc: PUSH1 0x40
000011ce: DUP1
000011cf: MLOAD
000011d0: PUSH3 0x461bcd
000011d4: PUSH1 0xe5
000011d6: SHL
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x20
000011db: PUSH1 0x04
000011dd: DUP1
000011de: DUP4
000011df: ADD
000011e0: SWAP2
000011e1: SWAP1
000011e2: SWAP2
000011e3: MSTORE
000011e4: PUSH1 0x24
000011e6: DUP3
000011e7: ADD
000011e8: MSTORE
000011e9: PUSH4 0x23239aa1
000011ee: PUSH1 0xe1
000011f0: SHL
000011f1: PUSH1 0x44
000011f3: DUP3
000011f4: ADD
000011f5: MSTORE
000011f6: SWAP1
000011f7: MLOAD
000011f8: SWAP1
000011f9: DUP2
000011fa: SWAP1
000011fb: SUB
000011fc: PUSH1 0x64
000011fe: ADD
000011ff: SWAP1
00001200: REVERT
00001201: JUMPDEST
00001202: PUSH1 0x00
00001204: DUP1
00001205: SLOAD
00001206: PUSH1 0xff
00001208: NOT
00001209: AND
0000120a: PUSH1 0x01
0000120c: OR
0000120d: SWAP1
0000120e: SSTORE
0000120f: PUSH2 0x1217
00001212: CALLER
00001213: PUSH2 0x16ba
00001216: JUMP
00001217: JUMPDEST
00001218: PUSH2 0x1220
0000121b: DUP2
0000121c: PUSH2 0x1a46
0000121f: JUMP
00001220: JUMPDEST
00001221: PUSH2 0x122e
00001224: PUSH5 0x02540be400
0000122a: PUSH2 0x1988
0000122d: JUMP
0000122e: JUMPDEST
0000122f: PUSH2 0x1239
00001232: PUSH2 0x3718
00001235: PUSH2 0x1e66
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH1 0x40
0000123c: DUP1
0000123d: MLOAD
0000123e: PUSH1 0x01
00001240: PUSH1 0x01
00001242: PUSH1 0xa0
00001244: SHL
00001245: SUB
00001246: DUP4
00001247: AND
00001248: DUP2
00001249: MSTORE
0000124a: SWAP1
0000124b: MLOAD
0000124c: PUSH32 0x908408e307fc569b417f6cbec5d5a06f44a0a505ac0479b47d421a4b2fd6a1e6
0000126d: SWAP2
0000126e: DUP2
0000126f: SWAP1
00001270: SUB
00001271: PUSH1 0x20
00001273: ADD
00001274: SWAP1
00001275: LOG1
00001276: POP
00001277: JUMP
00001278: JUMPDEST
00001279: PUSH1 0x00
0000127b: SLOAD
0000127c: PUSH2 0x0100
0000127f: SWAP1
00001280: DIV
00001281: PUSH1 0x01
00001283: PUSH1 0x01
00001285: PUSH1 0xa0
00001287: SHL
00001288: SUB
00001289: AND
0000128a: CALLER
0000128b: EQ
0000128c: PUSH2 0x12c5
0000128f: JUMPI
00001290: PUSH1 0x40
00001292: DUP1
00001293: MLOAD
00001294: PUSH3 0x461bcd
00001298: PUSH1 0xe5
0000129a: SHL
0000129b: DUP2
0000129c: MSTORE
0000129d: PUSH1 0x20
0000129f: PUSH1 0x04
000012a1: DUP1
000012a2: DUP4
000012a3: ADD
000012a4: SWAP2
000012a5: SWAP1
000012a6: SWAP2
000012a7: MSTORE
000012a8: PUSH1 0x24
000012aa: DUP3
000012ab: ADD
000012ac: MSTORE
000012ad: PUSH4 0x04647303
000012b2: PUSH1 0xe4
000012b4: SHL
000012b5: PUSH1 0x44
000012b7: DUP3
000012b8: ADD
000012b9: MSTORE
000012ba: SWAP1
000012bb: MLOAD
000012bc: SWAP1
000012bd: DUP2
000012be: SWAP1
000012bf: SUB
000012c0: PUSH1 0x64
000012c2: ADD
000012c3: SWAP1
000012c4: REVERT
000012c5: JUMPDEST
000012c6: PUSH1 0x01
000012c8: SLOAD
000012c9: PUSH1 0x40
000012cb: DUP1
000012cc: MLOAD
000012cd: PUSH4 0xcb39e9cb
000012d2: PUSH1 0xe0
000012d4: SHL
000012d5: DUP2
000012d6: MSTORE
000012d7: PUSH1 0x01
000012d9: PUSH1 0x01
000012db: PUSH1 0xa0
000012dd: SHL
000012de: SUB
000012df: DUP7
000012e0: DUP2
000012e1: AND
000012e2: PUSH1 0x04
000012e4: DUP4
000012e5: ADD
000012e6: MSTORE
000012e7: DUP6
000012e8: DUP2
000012e9: AND
000012ea: PUSH1 0x24
000012ec: DUP4
000012ed: ADD
000012ee: MSTORE
000012ef: PUSH1 0x44
000012f1: DUP3
000012f2: ADD
000012f3: DUP6
000012f4: SWAP1
000012f5: MSTORE
000012f6: SWAP2
000012f7: MLOAD
000012f8: SWAP2
000012f9: SWAP1
000012fa: SWAP3
000012fb: AND
000012fc: SWAP2
000012fd: PUSH4 0xcb39e9cb
00001302: SWAP2
00001303: PUSH1 0x64
00001305: DUP1
00001306: DUP4
00001307: ADD
00001308: SWAP3
00001309: PUSH1 0x00
0000130b: SWAP3
0000130c: SWAP2
0000130d: SWAP1
0000130e: DUP3
0000130f: SWAP1
00001310: SUB
00001311: ADD
00001312: DUP2
00001313: DUP4
00001314: DUP8
00001315: DUP1
00001316: EXTCODESIZE
00001317: ISZERO
00001318: DUP1
00001319: ISZERO
0000131a: PUSH2 0x06dc
0000131d: JUMPI
0000131e: PUSH1 0x00
00001320: DUP1
00001321: REVERT
00001322: JUMPDEST
00001323: PUSH1 0x00
00001325: SLOAD
00001326: PUSH2 0x0100
00001329: SWAP1
0000132a: DIV
0000132b: PUSH1 0x01
0000132d: PUSH1 0x01
0000132f: PUSH1 0xa0
00001331: SHL
00001332: SUB
00001333: AND
00001334: CALLER
00001335: EQ
00001336: PUSH2 0x136f
00001339: JUMPI
0000133a: PUSH1 0x40
0000133c: DUP1
0000133d: MLOAD
0000133e: PUSH3 0x461bcd
00001342: PUSH1 0xe5
00001344: SHL
00001345: DUP2
00001346: MSTORE
00001347: PUSH1 0x20
00001349: PUSH1 0x04
0000134b: DUP1
0000134c: DUP4
0000134d: ADD
0000134e: SWAP2
0000134f: SWAP1
00001350: SWAP2
00001351: MSTORE
00001352: PUSH1 0x24
00001354: DUP3
00001355: ADD
00001356: MSTORE
00001357: PUSH4 0x04647303
0000135c: PUSH1 0xe4
0000135e: SHL
0000135f: PUSH1 0x44
00001361: DUP3
00001362: ADD
00001363: MSTORE
00001364: SWAP1
00001365: MLOAD
00001366: SWAP1
00001367: DUP2
00001368: SWAP1
00001369: SUB
0000136a: PUSH1 0x64
0000136c: ADD
0000136d: SWAP1
0000136e: REVERT
0000136f: JUMPDEST
00001370: PUSH1 0x01
00001372: SLOAD
00001373: PUSH1 0x40
00001375: DUP1
00001376: MLOAD
00001377: PUSH4 0x36f23c4b
0000137c: PUSH1 0xe2
0000137e: SHL
0000137f: DUP2
00001380: MSTORE
00001381: PUSH1 0x01
00001383: PUSH1 0x01
00001385: PUSH1 0xa0
00001387: SHL
00001388: SUB
00001389: DUP7
0000138a: DUP2
0000138b: AND
0000138c: PUSH1 0x04
0000138e: DUP4
0000138f: ADD
00001390: MSTORE
00001391: DUP6
00001392: DUP2
00001393: AND
00001394: PUSH1 0x24
00001396: DUP4
00001397: ADD
00001398: MSTORE
00001399: PUSH1 0x44
0000139b: DUP3
0000139c: ADD
0000139d: DUP6
0000139e: SWAP1
0000139f: MSTORE
000013a0: SWAP2
000013a1: MLOAD
000013a2: SWAP2
000013a3: SWAP1
000013a4: SWAP3
000013a5: AND
000013a6: SWAP2
000013a7: PUSH4 0xdbc8f12c
000013ac: SWAP2
000013ad: PUSH1 0x64
000013af: DUP1
000013b0: DUP4
000013b1: ADD
000013b2: SWAP3
000013b3: PUSH1 0x00
000013b5: SWAP3
000013b6: SWAP2
000013b7: SWAP1
000013b8: DUP3
000013b9: SWAP1
000013ba: SUB
000013bb: ADD
000013bc: DUP2
000013bd: DUP4
000013be: DUP8
000013bf: DUP1
000013c0: EXTCODESIZE
000013c1: ISZERO
000013c2: DUP1
000013c3: ISZERO
000013c4: PUSH2 0x06dc
000013c7: JUMPI
000013c8: PUSH1 0x00
000013ca: DUP1
000013cb: REVERT
000013cc: JUMPDEST
000013cd: PUSH1 0x01
000013cf: SLOAD
000013d0: PUSH1 0x40
000013d2: DUP1
000013d3: MLOAD
000013d4: PUSH4 0xe6a43905
000013d9: PUSH1 0xe0
000013db: SHL
000013dc: DUP2
000013dd: MSTORE
000013de: PUSH1 0x01
000013e0: PUSH1 0x01
000013e2: PUSH1 0xa0
000013e4: SHL
000013e5: SUB
000013e6: DUP6
000013e7: DUP2
000013e8: AND
000013e9: PUSH1 0x04
000013eb: DUP4
000013ec: ADD
000013ed: MSTORE
000013ee: DUP5
000013ef: DUP2
000013f0: AND
000013f1: PUSH1 0x24
000013f3: DUP4
000013f4: ADD
000013f5: MSTORE
000013f6: SWAP2
000013f7: MLOAD
000013f8: PUSH1 0x00
000013fa: SWAP4
000013fb: SWAP3
000013fc: SWAP1
000013fd: SWAP3
000013fe: AND
000013ff: SWAP2
00001400: PUSH4 0xe6a43905
00001405: SWAP2
00001406: PUSH1 0x44
00001408: DUP1
00001409: DUP3
0000140a: ADD
0000140b: SWAP3
0000140c: PUSH1 0x20
0000140e: SWAP3
0000140f: SWAP1
00001410: SWAP2
00001411: SWAP1
00001412: DUP3
00001413: SWAP1
00001414: SUB
00001415: ADD
00001416: DUP2
00001417: DUP7
00001418: DUP1
00001419: EXTCODESIZE
0000141a: ISZERO
0000141b: DUP1
0000141c: ISZERO
0000141d: PUSH2 0x1425
00001420: JUMPI
00001421: PUSH1 0x00
00001423: DUP1
00001424: REVERT
00001425: JUMPDEST
00001426: POP
00001427: GAS
00001428: STATICCALL
00001429: ISZERO
0000142a: DUP1
0000142b: ISZERO
0000142c: PUSH2 0x1439
0000142f: JUMPI
00001430: RETURNDATASIZE
00001431: PUSH1 0x00
00001433: DUP1
00001434: RETURNDATACOPY
00001435: RETURNDATASIZE
00001436: PUSH1 0x00
00001438: REVERT
00001439: JUMPDEST
0000143a: POP
0000143b: POP
0000143c: POP
0000143d: POP
0000143e: PUSH1 0x40
00001440: MLOAD
00001441: RETURNDATASIZE
00001442: PUSH1 0x20
00001444: DUP2
00001445: LT
00001446: ISZERO
00001447: PUSH2 0x144f
0000144a: JUMPI
0000144b: PUSH1 0x00
0000144d: DUP1
0000144e: REVERT
0000144f: JUMPDEST
00001450: POP
00001451: MLOAD
00001452: SWAP1
00001453: POP
00001454: JUMPDEST
00001455: SWAP3
00001456: SWAP2
00001457: POP
00001458: POP
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x00
0000145d: SLOAD
0000145e: PUSH2 0x0100
00001461: SWAP1
00001462: DIV
00001463: PUSH1 0x01
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: SHL
0000146a: SUB
0000146b: AND
0000146c: CALLER
0000146d: EQ
0000146e: PUSH2 0x14a7
00001471: JUMPI
00001472: PUSH1 0x40
00001474: DUP1
00001475: MLOAD
00001476: PUSH3 0x461bcd
0000147a: PUSH1 0xe5
0000147c: SHL
0000147d: DUP2
0000147e: MSTORE
0000147f: PUSH1 0x20
00001481: PUSH1 0x04
00001483: DUP1
00001484: DUP4
00001485: ADD
00001486: SWAP2
00001487: SWAP1
00001488: SWAP2
00001489: MSTORE
0000148a: PUSH1 0x24
0000148c: DUP3
0000148d: ADD
0000148e: MSTORE
0000148f: PUSH4 0x04647303
00001494: PUSH1 0xe4
00001496: SHL
00001497: PUSH1 0x44
00001499: DUP3
0000149a: ADD
0000149b: MSTORE
0000149c: SWAP1
0000149d: MLOAD
0000149e: SWAP1
0000149f: DUP2
000014a0: SWAP1
000014a1: SUB
000014a2: PUSH1 0x64
000014a4: ADD
000014a5: SWAP1
000014a6: REVERT
000014a7: JUMPDEST
000014a8: PUSH1 0x01
000014aa: SLOAD
000014ab: PUSH1 0x40
000014ad: DUP1
000014ae: MLOAD
000014af: PUSH4 0x13af4035
000014b4: PUSH1 0xe0
000014b6: SHL
000014b7: DUP2
000014b8: MSTORE
000014b9: PUSH1 0x01
000014bb: PUSH1 0x01
000014bd: PUSH1 0xa0
000014bf: SHL
000014c0: SUB
000014c1: DUP5
000014c2: DUP2
000014c3: AND
000014c4: PUSH1 0x04
000014c6: DUP4
000014c7: ADD
000014c8: MSTORE
000014c9: SWAP2
000014ca: MLOAD
000014cb: SWAP2
000014cc: SWAP1
000014cd: SWAP3
000014ce: AND
000014cf: SWAP2
000014d0: PUSH4 0x13af4035
000014d5: SWAP2
000014d6: PUSH1 0x24
000014d8: DUP1
000014d9: DUP4
000014da: ADD
000014db: SWAP3
000014dc: PUSH1 0x00
000014de: SWAP3
000014df: SWAP2
000014e0: SWAP1
000014e1: DUP3
000014e2: SWAP1
000014e3: SUB
000014e4: ADD
000014e5: DUP2
000014e6: DUP4
000014e7: DUP8
000014e8: DUP1
000014e9: EXTCODESIZE
000014ea: ISZERO
000014eb: DUP1
000014ec: ISZERO
000014ed: PUSH2 0x14f5
000014f0: JUMPI
000014f1: PUSH1 0x00
000014f3: DUP1
000014f4: REVERT
000014f5: JUMPDEST
000014f6: POP
000014f7: GAS
000014f8: CALL
000014f9: ISZERO
000014fa: DUP1
000014fb: ISZERO
000014fc: PUSH2 0x1509
000014ff: JUMPI
00001500: RETURNDATASIZE
00001501: PUSH1 0x00
00001503: DUP1
00001504: RETURNDATACOPY
00001505: RETURNDATASIZE
00001506: PUSH1 0x00
00001508: REVERT
00001509: JUMPDEST
0000150a: POP
0000150b: POP
0000150c: POP
0000150d: POP
0000150e: POP
0000150f: JUMP
00001510: JUMPDEST
00001511: PUSH1 0x00
00001513: SLOAD
00001514: PUSH2 0x0100
00001517: SWAP1
00001518: DIV
00001519: PUSH1 0x01
0000151b: PUSH1 0x01
0000151d: PUSH1 0xa0
0000151f: SHL
00001520: SUB
00001521: AND
00001522: CALLER
00001523: EQ
00001524: PUSH2 0x155d
00001527: JUMPI
00001528: PUSH1 0x40
0000152a: DUP1
0000152b: MLOAD
0000152c: PUSH3 0x461bcd
00001530: PUSH1 0xe5
00001532: SHL
00001533: DUP2
00001534: MSTORE
00001535: PUSH1 0x20
00001537: PUSH1 0x04
00001539: DUP1
0000153a: DUP4
0000153b: ADD
0000153c: SWAP2
0000153d: SWAP1
0000153e: SWAP2
0000153f: MSTORE
00001540: PUSH1 0x24
00001542: DUP3
00001543: ADD
00001544: MSTORE
00001545: PUSH4 0x04647303
0000154a: PUSH1 0xe4
0000154c: SHL
0000154d: PUSH1 0x44
0000154f: DUP3
00001550: ADD
00001551: MSTORE
00001552: SWAP1
00001553: MLOAD
00001554: SWAP1
00001555: DUP2
00001556: SWAP1
00001557: SUB
00001558: PUSH1 0x64
0000155a: ADD
0000155b: SWAP1
0000155c: REVERT
0000155d: JUMPDEST
0000155e: PUSH1 0x02
00001560: SLOAD
00001561: PUSH1 0x40
00001563: DUP1
00001564: MLOAD
00001565: PUSH4 0x091b1a71
0000156a: PUSH1 0xe3
0000156c: SHL
0000156d: DUP2
0000156e: MSTORE
0000156f: PUSH1 0x01
00001571: PUSH1 0x01
00001573: PUSH1 0xa0
00001575: SHL
00001576: SUB
00001577: DUP8
00001578: DUP2
00001579: AND
0000157a: PUSH1 0x04
0000157c: DUP4
0000157d: ADD
0000157e: MSTORE
0000157f: DUP7
00001580: DUP2
00001581: AND
00001582: PUSH1 0x24
00001584: DUP4
00001585: ADD
00001586: MSTORE
00001587: SWAP2
00001588: MLOAD
00001589: SWAP2
0000158a: SWAP1
0000158b: SWAP3
0000158c: AND
0000158d: SWAP2
0000158e: PUSH4 0x48d8d388
00001593: SWAP2
00001594: PUSH1 0x44
00001596: DUP1
00001597: DUP4
00001598: ADD
00001599: SWAP3
0000159a: PUSH1 0x20
0000159c: SWAP3
0000159d: SWAP2
0000159e: SWAP1
0000159f: DUP3
000015a0: SWAP1
000015a1: SUB
000015a2: ADD
000015a3: DUP2
000015a4: PUSH1 0x00
000015a6: DUP8
000015a7: DUP1
000015a8: EXTCODESIZE
000015a9: ISZERO
000015aa: DUP1
000015ab: ISZERO
000015ac: PUSH2 0x15b4
000015af: JUMPI
000015b0: PUSH1 0x00
000015b2: DUP1
000015b3: REVERT
000015b4: JUMPDEST
000015b5: POP
000015b6: GAS
000015b7: CALL
000015b8: ISZERO
000015b9: DUP1
000015ba: ISZERO
000015bb: PUSH2 0x15c8
000015be: JUMPI
000015bf: RETURNDATASIZE
000015c0: PUSH1 0x00
000015c2: DUP1
000015c3: RETURNDATACOPY
000015c4: RETURNDATASIZE
000015c5: PUSH1 0x00
000015c7: REVERT
000015c8: JUMPDEST
000015c9: POP
000015ca: POP
000015cb: POP
000015cc: POP
000015cd: PUSH1 0x40
000015cf: MLOAD
000015d0: RETURNDATASIZE
000015d1: PUSH1 0x20
000015d3: DUP2
000015d4: LT
000015d5: ISZERO
000015d6: PUSH2 0x15de
000015d9: JUMPI
000015da: PUSH1 0x00
000015dc: DUP1
000015dd: REVERT
000015de: JUMPDEST
000015df: POP
000015e0: POP
000015e1: PUSH1 0x01
000015e3: SLOAD
000015e4: PUSH1 0x40
000015e6: DUP1
000015e7: MLOAD
000015e8: PUSH4 0x0748bfbb
000015ed: PUSH1 0xe1
000015ef: SHL
000015f0: DUP2
000015f1: MSTORE
000015f2: PUSH1 0x01
000015f4: PUSH1 0x01
000015f6: PUSH1 0xa0
000015f8: SHL
000015f9: SUB
000015fa: DUP8
000015fb: DUP2
000015fc: AND
000015fd: PUSH1 0x04
000015ff: DUP4
00001600: ADD
00001601: MSTORE
00001602: DUP7
00001603: DUP2
00001604: AND
00001605: PUSH1 0x24
00001607: DUP4
00001608: ADD
00001609: MSTORE
0000160a: PUSH1 0x44
0000160c: DUP3
0000160d: ADD
0000160e: DUP7
0000160f: SWAP1
00001610: MSTORE
00001611: DUP5
00001612: DUP2
00001613: AND
00001614: PUSH1 0x64
00001616: DUP4
00001617: ADD
00001618: MSTORE
00001619: SWAP2
0000161a: MLOAD
0000161b: SWAP2
0000161c: SWAP1
0000161d: SWAP3
0000161e: AND
0000161f: SWAP2
00001620: PUSH4 0x0e917f76
00001625: SWAP2
00001626: PUSH1 0x84
00001628: DUP1
00001629: DUP4
0000162a: ADD
0000162b: SWAP3
0000162c: PUSH1 0x00
0000162e: SWAP3
0000162f: SWAP2
00001630: SWAP1
00001631: DUP3
00001632: SWAP1
00001633: SUB
00001634: ADD
00001635: DUP2
00001636: DUP4
00001637: DUP8
00001638: DUP1
00001639: EXTCODESIZE
0000163a: ISZERO
0000163b: DUP1
0000163c: ISZERO
0000163d: PUSH2 0x1645
00001640: JUMPI
00001641: PUSH1 0x00
00001643: DUP1
00001644: REVERT
00001645: JUMPDEST
00001646: POP
00001647: GAS
00001648: CALL
00001649: ISZERO
0000164a: DUP1
0000164b: ISZERO
0000164c: PUSH2 0x1659
0000164f: JUMPI
00001650: RETURNDATASIZE
00001651: PUSH1 0x00
00001653: DUP1
00001654: RETURNDATACOPY
00001655: RETURNDATASIZE
00001656: PUSH1 0x00
00001658: REVERT
00001659: JUMPDEST
0000165a: POP
0000165b: POP
0000165c: POP
0000165d: POP
0000165e: JUMPDEST
0000165f: POP
00001660: POP
00001661: POP
00001662: POP
00001663: JUMP
00001664: JUMPDEST
00001665: PUSH1 0x00
00001667: SLOAD
00001668: PUSH2 0x0100
0000166b: SWAP1
0000166c: DIV
0000166d: PUSH1 0x01
0000166f: PUSH1 0x01
00001671: PUSH1 0xa0
00001673: SHL
00001674: SUB
00001675: AND
00001676: CALLER
00001677: EQ
00001678: PUSH2 0x16b1
0000167b: JUMPI
0000167c: PUSH1 0x40
0000167e: DUP1
0000167f: MLOAD
00001680: PUSH3 0x461bcd
00001684: PUSH1 0xe5
00001686: SHL
00001687: DUP2
00001688: MSTORE
00001689: PUSH1 0x20
0000168b: PUSH1 0x04
0000168d: DUP1
0000168e: DUP4
0000168f: ADD
00001690: SWAP2
00001691: SWAP1
00001692: SWAP2
00001693: MSTORE
00001694: PUSH1 0x24
00001696: DUP3
00001697: ADD
00001698: MSTORE
00001699: PUSH4 0x04647303
0000169e: PUSH1 0xe4
000016a0: SHL
000016a1: PUSH1 0x44
000016a3: DUP3
000016a4: ADD
000016a5: MSTORE
000016a6: SWAP1
000016a7: MLOAD
000016a8: SWAP1
000016a9: DUP2
000016aa: SWAP1
000016ab: SUB
000016ac: PUSH1 0x64
000016ae: ADD
000016af: SWAP1
000016b0: REVERT
000016b1: JUMPDEST
000016b2: PUSH2 0x0750
000016b5: DUP2
000016b6: PUSH2 0x1e66
000016b9: JUMP
000016ba: JUMPDEST
000016bb: PUSH1 0x00
000016bd: SLOAD
000016be: PUSH1 0x01
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: SHL
000016c5: SUB
000016c6: DUP3
000016c7: DUP2
000016c8: AND
000016c9: PUSH2 0x0100
000016cc: SWAP1
000016cd: SWAP3
000016ce: DIV
000016cf: AND
000016d0: EQ
000016d1: ISZERO
000016d2: PUSH2 0x170b
000016d5: JUMPI
000016d6: PUSH1 0x40
000016d8: DUP1
000016d9: MLOAD
000016da: PUSH3 0x461bcd
000016de: PUSH1 0xe5
000016e0: SHL
000016e1: DUP2
000016e2: MSTORE
000016e3: PUSH1 0x20
000016e5: PUSH1 0x04
000016e7: DUP1
000016e8: DUP4
000016e9: ADD
000016ea: SWAP2
000016eb: SWAP1
000016ec: SWAP2
000016ed: MSTORE
000016ee: PUSH1 0x24
000016f0: DUP3
000016f1: ADD
000016f2: MSTORE
000016f3: PUSH4 0x46473031
000016f8: PUSH1 0xe0
000016fa: SHL
000016fb: PUSH1 0x44
000016fd: DUP3
000016fe: ADD
000016ff: MSTORE
00001700: SWAP1
00001701: MLOAD
00001702: SWAP1
00001703: DUP2
00001704: SWAP1
00001705: SUB
00001706: PUSH1 0x64
00001708: ADD
00001709: SWAP1
0000170a: REVERT
0000170b: JUMPDEST
0000170c: PUSH1 0x01
0000170e: PUSH1 0x01
00001710: PUSH1 0xa0
00001712: SHL
00001713: SUB
00001714: DUP2
00001715: AND
00001716: PUSH2 0x174f
00001719: JUMPI
0000171a: PUSH1 0x40
0000171c: DUP1
0000171d: MLOAD
0000171e: PUSH3 0x461bcd
00001722: PUSH1 0xe5
00001724: SHL
00001725: DUP2
00001726: MSTORE
00001727: PUSH1 0x20
00001729: PUSH1 0x04
0000172b: DUP1
0000172c: DUP4
0000172d: ADD
0000172e: SWAP2
0000172f: SWAP1
00001730: SWAP2
00001731: MSTORE
00001732: PUSH1 0x24
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: PUSH4 0x23239819
0000173c: PUSH1 0xe1
0000173e: SHL
0000173f: PUSH1 0x44
00001741: DUP3
00001742: ADD
00001743: MSTORE
00001744: SWAP1
00001745: MLOAD
00001746: SWAP1
00001747: DUP2
00001748: SWAP1
00001749: SUB
0000174a: PUSH1 0x64
0000174c: ADD
0000174d: SWAP1
0000174e: REVERT
0000174f: JUMPDEST
00001750: PUSH1 0x00
00001752: DUP1
00001753: SLOAD
00001754: PUSH1 0x01
00001756: PUSH1 0x01
00001758: PUSH1 0xa0
0000175a: SHL
0000175b: SUB
0000175c: DUP4
0000175d: AND
0000175e: PUSH2 0x0100
00001761: DUP2
00001762: MUL
00001763: PUSH2 0x0100
00001766: PUSH1 0x01
00001768: PUSH1 0xa8
0000176a: SHL
0000176b: SUB
0000176c: NOT
0000176d: SWAP1
0000176e: SWAP3
0000176f: AND
00001770: SWAP2
00001771: SWAP1
00001772: SWAP2
00001773: OR
00001774: SWAP1
00001775: SWAP2
00001776: SSTORE
00001777: PUSH1 0x40
00001779: DUP1
0000177a: MLOAD
0000177b: SWAP2
0000177c: DUP3
0000177d: MSTORE
0000177e: MLOAD
0000177f: PUSH32 0x50146d0e3c60aa1d17a70635b05494f864e86144a2201275021014fbf08bafe2
000017a0: SWAP2
000017a1: DUP2
000017a2: SWAP1
000017a3: SUB
000017a4: PUSH1 0x20
000017a6: ADD
000017a7: SWAP1
000017a8: LOG1
000017a9: POP
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x40
000017ae: MLOAD
000017af: PUSH1 0x00
000017b1: SWAP1
000017b2: PUSH1 0x01
000017b4: PUSH1 0x01
000017b6: PUSH1 0xa0
000017b8: SHL
000017b9: SUB
000017ba: DUP6
000017bb: AND
000017bc: SWAP1
000017bd: DUP4
000017be: SWAP1
000017bf: DUP6
000017c0: SWAP1
000017c1: DUP5
000017c2: DUP2
000017c3: DUP2
000017c4: DUP2
000017c5: DUP6
000017c6: DUP9
000017c7: DUP9
000017c8: CALL
000017c9: SWAP4
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: POP
000017ce: RETURNDATASIZE
000017cf: DUP1
000017d0: PUSH1 0x00
000017d2: DUP2
000017d3: EQ
000017d4: PUSH2 0x17f9
000017d7: JUMPI
000017d8: PUSH1 0x40
000017da: MLOAD
000017db: SWAP2
000017dc: POP
000017dd: PUSH1 0x1f
000017df: NOT
000017e0: PUSH1 0x3f
000017e2: RETURNDATASIZE
000017e3: ADD
000017e4: AND
000017e5: DUP3
000017e6: ADD
000017e7: PUSH1 0x40
000017e9: MSTORE
000017ea: RETURNDATASIZE
000017eb: DUP3
000017ec: MSTORE
000017ed: RETURNDATASIZE
000017ee: PUSH1 0x00
000017f0: PUSH1 0x20
000017f2: DUP5
000017f3: ADD
000017f4: RETURNDATACOPY
000017f5: PUSH2 0x17fe
000017f8: JUMP
000017f9: JUMPDEST
000017fa: PUSH1 0x60
000017fc: SWAP2
000017fd: POP
000017fe: JUMPDEST
000017ff: POP
00001800: POP
00001801: SWAP1
00001802: POP
00001803: DUP1
00001804: PUSH2 0x165e
00001807: JUMPI
00001808: PUSH1 0x40
0000180a: DUP1
0000180b: MLOAD
0000180c: PUSH3 0x461bcd
00001810: PUSH1 0xe5
00001812: SHL
00001813: DUP2
00001814: MSTORE
00001815: PUSH1 0x20
00001817: PUSH1 0x04
00001819: DUP1
0000181a: DUP4
0000181b: ADD
0000181c: SWAP2
0000181d: SWAP1
0000181e: SWAP2
0000181f: MSTORE
00001820: PUSH1 0x24
00001822: DUP3
00001823: ADD
00001824: MSTORE
00001825: PUSH4 0x2a2419a3
0000182a: PUSH1 0xe1
0000182c: SHL
0000182d: PUSH1 0x44
0000182f: DUP3
00001830: ADD
00001831: MSTORE
00001832: SWAP1
00001833: MLOAD
00001834: SWAP1
00001835: DUP2
00001836: SWAP1
00001837: SUB
00001838: PUSH1 0x64
0000183a: ADD
0000183b: SWAP1
0000183c: REVERT
0000183d: JUMPDEST
0000183e: PUSH1 0x40
00001840: DUP1
00001841: MLOAD
00001842: PUSH1 0x01
00001844: PUSH1 0x01
00001846: PUSH1 0xa0
00001848: SHL
00001849: SUB
0000184a: DUP5
0000184b: DUP2
0000184c: AND
0000184d: PUSH1 0x24
0000184f: DUP4
00001850: ADD
00001851: MSTORE
00001852: PUSH1 0x44
00001854: DUP1
00001855: DUP4
00001856: ADD
00001857: DUP6
00001858: SWAP1
00001859: MSTORE
0000185a: DUP4
0000185b: MLOAD
0000185c: DUP1
0000185d: DUP5
0000185e: SUB
0000185f: SWAP1
00001860: SWAP2
00001861: ADD
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x64
00001866: SWAP1
00001867: SWAP3
00001868: ADD
00001869: DUP4
0000186a: MSTORE
0000186b: PUSH1 0x20
0000186d: DUP3
0000186e: ADD
0000186f: DUP1
00001870: MLOAD
00001871: PUSH1 0x01
00001873: PUSH1 0x01
00001875: PUSH1 0xe0
00001877: SHL
00001878: SUB
00001879: AND
0000187a: PUSH4 0xa9059cbb
0000187f: PUSH1 0xe0
00001881: SHL
00001882: OR
00001883: DUP2
00001884: MSTORE
00001885: SWAP3
00001886: MLOAD
00001887: DUP3
00001888: MLOAD
00001889: PUSH1 0x00
0000188b: SWAP5
0000188c: DUP6
0000188d: SWAP5
0000188e: SWAP4
0000188f: DUP10
00001890: AND
00001891: SWAP4
00001892: SWAP3
00001893: SWAP2
00001894: DUP3
00001895: SWAP2
00001896: SWAP1
00001897: DUP1
00001898: DUP4
00001899: DUP4
0000189a: JUMPDEST
0000189b: PUSH1 0x20
0000189d: DUP4
0000189e: LT
0000189f: PUSH2 0x18b9
000018a2: JUMPI
000018a3: DUP1
000018a4: MLOAD
000018a5: DUP3
000018a6: MSTORE
000018a7: PUSH1 0x1f
000018a9: NOT
000018aa: SWAP1
000018ab: SWAP3
000018ac: ADD
000018ad: SWAP2
000018ae: PUSH1 0x20
000018b0: SWAP2
000018b1: DUP3
000018b2: ADD
000018b3: SWAP2
000018b4: ADD
000018b5: PUSH2 0x189a
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH1 0x01
000018bc: DUP4
000018bd: PUSH1 0x20
000018bf: SUB
000018c0: PUSH2 0x0100
000018c3: EXP
000018c4: SUB
000018c5: DUP1
000018c6: NOT
000018c7: DUP3
000018c8: MLOAD
000018c9: AND
000018ca: DUP2
000018cb: DUP5
000018cc: MLOAD
000018cd: AND
000018ce: DUP1
000018cf: DUP3
000018d0: OR
000018d1: DUP6
000018d2: MSTORE
000018d3: POP
000018d4: POP
000018d5: POP
000018d6: POP
000018d7: POP
000018d8: POP
000018d9: SWAP1
000018da: POP
000018db: ADD
000018dc: SWAP2
000018dd: POP
000018de: POP
000018df: PUSH1 0x00
000018e1: PUSH1 0x40
000018e3: MLOAD
000018e4: DUP1
000018e5: DUP4
000018e6: SUB
000018e7: DUP2
000018e8: PUSH1 0x00
000018ea: DUP7
000018eb: GAS
000018ec: CALL
000018ed: SWAP2
000018ee: POP
000018ef: POP
000018f0: RETURNDATASIZE
000018f1: DUP1
000018f2: PUSH1 0x00
000018f4: DUP2
000018f5: EQ
000018f6: PUSH2 0x191b
000018f9: JUMPI
000018fa: PUSH1 0x40
000018fc: MLOAD
000018fd: SWAP2
000018fe: POP
000018ff: PUSH1 0x1f
00001901: NOT
00001902: PUSH1 0x3f
00001904: RETURNDATASIZE
00001905: ADD
00001906: AND
00001907: DUP3
00001908: ADD
00001909: PUSH1 0x40
0000190b: MSTORE
0000190c: RETURNDATASIZE
0000190d: DUP3
0000190e: MSTORE
0000190f: RETURNDATASIZE
00001910: PUSH1 0x00
00001912: PUSH1 0x20
00001914: DUP5
00001915: ADD
00001916: RETURNDATACOPY
00001917: PUSH2 0x1920
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH1 0x60
0000191e: SWAP2
0000191f: POP
00001920: JUMPDEST
00001921: POP
00001922: SWAP2
00001923: POP
00001924: SWAP2
00001925: POP
00001926: DUP2
00001927: DUP1
00001928: ISZERO
00001929: PUSH2 0x194e
0000192c: JUMPI
0000192d: POP
0000192e: DUP1
0000192f: MLOAD
00001930: ISZERO
00001931: DUP1
00001932: PUSH2 0x194e
00001935: JUMPI
00001936: POP
00001937: DUP1
00001938: DUP1
00001939: PUSH1 0x20
0000193b: ADD
0000193c: SWAP1
0000193d: MLOAD
0000193e: PUSH1 0x20
00001940: DUP2
00001941: LT
00001942: ISZERO
00001943: PUSH2 0x194b
00001946: JUMPI
00001947: PUSH1 0x00
00001949: DUP1
0000194a: REVERT
0000194b: JUMPDEST
0000194c: POP
0000194d: MLOAD
0000194e: JUMPDEST
0000194f: PUSH2 0x1509
00001952: JUMPI
00001953: PUSH1 0x40
00001955: DUP1
00001956: MLOAD
00001957: PUSH3 0x461bcd
0000195b: PUSH1 0xe5
0000195d: SHL
0000195e: DUP2
0000195f: MSTORE
00001960: PUSH1 0x20
00001962: PUSH1 0x04
00001964: DUP1
00001965: DUP4
00001966: ADD
00001967: SWAP2
00001968: SWAP1
00001969: SWAP2
0000196a: MSTORE
0000196b: PUSH1 0x24
0000196d: DUP3
0000196e: ADD
0000196f: MSTORE
00001970: PUSH4 0x54483035
00001975: PUSH1 0xe0
00001977: SHL
00001978: PUSH1 0x44
0000197a: DUP3
0000197b: ADD
0000197c: MSTORE
0000197d: SWAP1
0000197e: MLOAD
0000197f: SWAP1
00001980: DUP2
00001981: SWAP1
00001982: SUB
00001983: PUSH1 0x64
00001985: ADD
00001986: SWAP1
00001987: REVERT
00001988: JUMPDEST
00001989: PUSH1 0x03
0000198b: SLOAD
0000198c: DUP2
0000198d: EQ
0000198e: ISZERO
0000198f: PUSH2 0x19c8
00001992: JUMPI
00001993: PUSH1 0x40
00001995: DUP1
00001996: MLOAD
00001997: PUSH3 0x461bcd
0000199b: PUSH1 0xe5
0000199d: SHL
0000199e: DUP2
0000199f: MSTORE
000019a0: PUSH1 0x20
000019a2: PUSH1 0x04
000019a4: DUP1
000019a5: DUP4
000019a6: ADD
000019a7: SWAP2
000019a8: SWAP1
000019a9: SWAP2
000019aa: MSTORE
000019ab: PUSH1 0x24
000019ad: DUP3
000019ae: ADD
000019af: MSTORE
000019b0: PUSH4 0x46473031
000019b5: PUSH1 0xe0
000019b7: SHL
000019b8: PUSH1 0x44
000019ba: DUP3
000019bb: ADD
000019bc: MSTORE
000019bd: SWAP1
000019be: MLOAD
000019bf: SWAP1
000019c0: DUP2
000019c1: SWAP1
000019c2: SUB
000019c3: PUSH1 0x64
000019c5: ADD
000019c6: SWAP1
000019c7: REVERT
000019c8: JUMPDEST
000019c9: PUSH5 0x02540be400
000019cf: DUP2
000019d0: GT
000019d1: ISZERO
000019d2: PUSH2 0x1a0b
000019d5: JUMPI
000019d6: PUSH1 0x40
000019d8: DUP1
000019d9: MLOAD
000019da: PUSH3 0x461bcd
000019de: PUSH1 0xe5
000019e0: SHL
000019e1: DUP2
000019e2: MSTORE
000019e3: PUSH1 0x20
000019e5: PUSH1 0x04
000019e7: DUP1
000019e8: DUP4
000019e9: ADD
000019ea: SWAP2
000019eb: SWAP1
000019ec: SWAP2
000019ed: MSTORE
000019ee: PUSH1 0x24
000019f0: DUP3
000019f1: ADD
000019f2: MSTORE
000019f3: PUSH4 0x1191cd4d
000019f8: PUSH1 0xe2
000019fa: SHL
000019fb: PUSH1 0x44
000019fd: DUP3
000019fe: ADD
000019ff: MSTORE
00001a00: SWAP1
00001a01: MLOAD
00001a02: SWAP1
00001a03: DUP2
00001a04: SWAP1
00001a05: SUB
00001a06: PUSH1 0x64
00001a08: ADD
00001a09: SWAP1
00001a0a: REVERT
00001a0b: JUMPDEST
00001a0c: PUSH1 0x03
00001a0e: DUP2
00001a0f: SWAP1
00001a10: SSTORE
00001a11: PUSH1 0x40
00001a13: DUP1
00001a14: MLOAD
00001a15: DUP3
00001a16: DUP2
00001a17: MSTORE
00001a18: SWAP1
00001a19: MLOAD
00001a1a: PUSH32 0x518d41860627f07bc38bb870b7e5cbea70c1f3a163051048c6f2279a77bef112
00001a3b: SWAP2
00001a3c: DUP2
00001a3d: SWAP1
00001a3e: SUB
00001a3f: PUSH1 0x20
00001a41: ADD
00001a42: SWAP1
00001a43: LOG1
00001a44: POP
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH1 0x01
00001a49: SLOAD
00001a4a: PUSH1 0x01
00001a4c: PUSH1 0x01
00001a4e: PUSH1 0xa0
00001a50: SHL
00001a51: SUB
00001a52: DUP3
00001a53: DUP2
00001a54: AND
00001a55: SWAP2
00001a56: AND
00001a57: EQ
00001a58: ISZERO
00001a59: PUSH2 0x1a92
00001a5c: JUMPI
00001a5d: PUSH1 0x40
00001a5f: DUP1
00001a60: MLOAD
00001a61: PUSH3 0x461bcd
00001a65: PUSH1 0xe5
00001a67: SHL
00001a68: DUP2
00001a69: MSTORE
00001a6a: PUSH1 0x20
00001a6c: PUSH1 0x04
00001a6e: DUP1
00001a6f: DUP4
00001a70: ADD
00001a71: SWAP2
00001a72: SWAP1
00001a73: SWAP2
00001a74: MSTORE
00001a75: PUSH1 0x24
00001a77: DUP3
00001a78: ADD
00001a79: MSTORE
00001a7a: PUSH4 0x46473031
00001a7f: PUSH1 0xe0
00001a81: SHL
00001a82: PUSH1 0x44
00001a84: DUP3
00001a85: ADD
00001a86: MSTORE
00001a87: SWAP1
00001a88: MLOAD
00001a89: SWAP1
00001a8a: DUP2
00001a8b: SWAP1
00001a8c: SUB
00001a8d: PUSH1 0x64
00001a8f: ADD
00001a90: SWAP1
00001a91: REVERT
00001a92: JUMPDEST
00001a93: PUSH1 0x01
00001a95: PUSH1 0x01
00001a97: PUSH1 0xa0
00001a99: SHL
00001a9a: SUB
00001a9b: DUP2
00001a9c: AND
00001a9d: PUSH2 0x1ad6
00001aa0: JUMPI
00001aa1: PUSH1 0x40
00001aa3: DUP1
00001aa4: MLOAD
00001aa5: PUSH3 0x461bcd
00001aa9: PUSH1 0xe5
00001aab: SHL
00001aac: DUP2
00001aad: MSTORE
00001aae: PUSH1 0x20
00001ab0: PUSH1 0x04
00001ab2: DUP1
00001ab3: DUP4
00001ab4: ADD
00001ab5: SWAP2
00001ab6: SWAP1
00001ab7: SWAP2
00001ab8: MSTORE
00001ab9: PUSH1 0x24
00001abb: DUP3
00001abc: ADD
00001abd: MSTORE
00001abe: PUSH4 0x23239819
00001ac3: PUSH1 0xe1
00001ac5: SHL
00001ac6: PUSH1 0x44
00001ac8: DUP3
00001ac9: ADD
00001aca: MSTORE
00001acb: SWAP1
00001acc: MLOAD
00001acd: SWAP1
00001ace: DUP2
00001acf: SWAP1
00001ad0: SUB
00001ad1: PUSH1 0x64
00001ad3: ADD
00001ad4: SWAP1
00001ad5: REVERT
00001ad6: JUMPDEST
00001ad7: PUSH1 0x01
00001ad9: DUP1
00001ada: SLOAD
00001adb: PUSH1 0x01
00001add: PUSH1 0x01
00001adf: PUSH1 0xa0
00001ae1: SHL
00001ae2: SUB
00001ae3: DUP4
00001ae4: AND
00001ae5: PUSH1 0x01
00001ae7: PUSH1 0x01
00001ae9: PUSH1 0xa0
00001aeb: SHL
00001aec: SUB
00001aed: NOT
00001aee: SWAP1
00001aef: SWAP2
00001af0: AND
00001af1: DUP2
00001af2: OR
00001af3: SWAP1
00001af4: SWAP2
00001af5: SSTORE
00001af6: PUSH1 0x40
00001af8: DUP1
00001af9: MLOAD
00001afa: SWAP2
00001afb: DUP3
00001afc: MSTORE
00001afd: MLOAD
00001afe: PUSH32 0x1edf3afd4ac789736e00d216cd88be164ddcef26a6eedcc30cdb0cb62f3741b1
00001b1f: SWAP2
00001b20: DUP2
00001b21: SWAP1
00001b22: SUB
00001b23: PUSH1 0x20
00001b25: ADD
00001b26: SWAP1
00001b27: LOG1
00001b28: POP
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: PUSH1 0x00
00001b2d: DUP2
00001b2e: ISZERO
00001b2f: DUP1
00001b30: PUSH2 0x1b45
00001b33: JUMPI
00001b34: POP
00001b35: POP
00001b36: DUP1
00001b37: DUP3
00001b38: MUL
00001b39: DUP3
00001b3a: DUP3
00001b3b: DUP3
00001b3c: DUP2
00001b3d: PUSH2 0x1b42
00001b40: JUMPI
00001b41: INVALID
00001b42: JUMPDEST
00001b43: DIV
00001b44: EQ
00001b45: JUMPDEST
00001b46: PUSH2 0x1454
00001b49: JUMPI
00001b4a: PUSH1 0x40
00001b4c: DUP1
00001b4d: MLOAD
00001b4e: PUSH3 0x461bcd
00001b52: PUSH1 0xe5
00001b54: SHL
00001b55: DUP2
00001b56: MSTORE
00001b57: PUSH1 0x20
00001b59: PUSH1 0x04
00001b5b: DUP1
00001b5c: DUP4
00001b5d: ADD
00001b5e: SWAP2
00001b5f: SWAP1
00001b60: SWAP2
00001b61: MSTORE
00001b62: PUSH1 0x24
00001b64: DUP3
00001b65: ADD
00001b66: MSTORE
00001b67: PUSH4 0x534d3241
00001b6c: PUSH1 0xe0
00001b6e: SHL
00001b6f: PUSH1 0x44
00001b71: DUP3
00001b72: ADD
00001b73: MSTORE
00001b74: SWAP1
00001b75: MLOAD
00001b76: SWAP1
00001b77: DUP2
00001b78: SWAP1
00001b79: SUB
00001b7a: PUSH1 0x64
00001b7c: ADD
00001b7d: SWAP1
00001b7e: REVERT
00001b7f: JUMPDEST
00001b80: PUSH1 0x00
00001b82: DUP1
00001b83: DUP3
00001b84: GT
00001b85: PUSH2 0x1bbe
00001b88: JUMPI
00001b89: PUSH1 0x40
00001b8b: DUP1
00001b8c: MLOAD
00001b8d: PUSH3 0x461bcd
00001b91: PUSH1 0xe5
00001b93: SHL
00001b94: DUP2
00001b95: MSTORE
00001b96: PUSH1 0x20
00001b98: PUSH1 0x04
00001b9a: DUP1
00001b9b: DUP4
00001b9c: ADD
00001b9d: SWAP2
00001b9e: SWAP1
00001b9f: SWAP2
00001ba0: MSTORE
00001ba1: PUSH1 0x24
00001ba3: DUP3
00001ba4: ADD
00001ba5: MSTORE
00001ba6: PUSH4 0x534d3433
00001bab: PUSH1 0xe0
00001bad: SHL
00001bae: PUSH1 0x44
00001bb0: DUP3
00001bb1: ADD
00001bb2: MSTORE
00001bb3: SWAP1
00001bb4: MLOAD
00001bb5: SWAP1
00001bb6: DUP2
00001bb7: SWAP1
00001bb8: SUB
00001bb9: PUSH1 0x64
00001bbb: ADD
00001bbc: SWAP1
00001bbd: REVERT
00001bbe: JUMPDEST
00001bbf: DUP2
00001bc0: DUP4
00001bc1: DUP2
00001bc2: PUSH2 0x1bc7
00001bc5: JUMPI
00001bc6: INVALID
00001bc7: JUMPDEST
00001bc8: DIV
00001bc9: SWAP4
00001bca: SWAP3
00001bcb: POP
00001bcc: POP
00001bcd: POP
00001bce: JUMP
00001bcf: JUMPDEST
00001bd0: PUSH1 0x00
00001bd2: PUSH2 0x1bf8
00001bd5: DUP4
00001bd6: DUP4
00001bd7: PUSH1 0x40
00001bd9: MLOAD
00001bda: DUP1
00001bdb: PUSH1 0x40
00001bdd: ADD
00001bde: PUSH1 0x40
00001be0: MSTORE
00001be1: DUP1
00001be2: PUSH1 0x04
00001be4: DUP2
00001be5: MSTORE
00001be6: PUSH1 0x20
00001be8: ADD
00001be9: PUSH4 0x29a69899
00001bee: PUSH1 0xe1
00001bf0: SHL
00001bf1: DUP2
00001bf2: MSTORE
00001bf3: POP
00001bf4: PUSH2 0x1ee1
00001bf7: JUMP
00001bf8: JUMPDEST
00001bf9: SWAP4
00001bfa: SWAP3
00001bfb: POP
00001bfc: POP
00001bfd: POP
00001bfe: JUMP
00001bff: JUMPDEST
00001c00: PUSH1 0x00
00001c02: DUP4
00001c03: PUSH1 0x01
00001c05: PUSH1 0x01
00001c07: PUSH1 0xa0
00001c09: SHL
00001c0a: SUB
00001c0b: AND
00001c0c: PUSH4 0x70a08231
00001c11: ADDRESS
00001c12: PUSH1 0x40
00001c14: MLOAD
00001c15: DUP3
00001c16: PUSH4 0xffffffff
00001c1b: AND
00001c1c: PUSH1 0xe0
00001c1e: SHL
00001c1f: DUP2
00001c20: MSTORE
00001c21: PUSH1 0x04
00001c23: ADD
00001c24: DUP1
00001c25: DUP3
00001c26: PUSH1 0x01
00001c28: PUSH1 0x01
00001c2a: PUSH1 0xa0
00001c2c: SHL
00001c2d: SUB
00001c2e: AND
00001c2f: DUP2
00001c30: MSTORE
00001c31: PUSH1 0x20
00001c33: ADD
00001c34: SWAP2
00001c35: POP
00001c36: POP
00001c37: PUSH1 0x20
00001c39: PUSH1 0x40
00001c3b: MLOAD
00001c3c: DUP1
00001c3d: DUP4
00001c3e: SUB
00001c3f: DUP2
00001c40: DUP7
00001c41: DUP1
00001c42: EXTCODESIZE
00001c43: ISZERO
00001c44: DUP1
00001c45: ISZERO
00001c46: PUSH2 0x1c4e
00001c49: JUMPI
00001c4a: PUSH1 0x00
00001c4c: DUP1
00001c4d: REVERT
00001c4e: JUMPDEST
00001c4f: POP
00001c50: GAS
00001c51: STATICCALL
00001c52: ISZERO
00001c53: DUP1
00001c54: ISZERO
00001c55: PUSH2 0x1c62
00001c58: JUMPI
00001c59: RETURNDATASIZE
00001c5a: PUSH1 0x00
00001c5c: DUP1
00001c5d: RETURNDATACOPY
00001c5e: RETURNDATASIZE
00001c5f: PUSH1 0x00
00001c61: REVERT
00001c62: JUMPDEST
00001c63: POP
00001c64: POP
00001c65: POP
00001c66: POP
00001c67: PUSH1 0x40
00001c69: MLOAD
00001c6a: RETURNDATASIZE
00001c6b: PUSH1 0x20
00001c6d: DUP2
00001c6e: LT
00001c6f: ISZERO
00001c70: PUSH2 0x1c78
00001c73: JUMPI
00001c74: PUSH1 0x00
00001c76: DUP1
00001c77: REVERT
00001c78: JUMPDEST
00001c79: POP
00001c7a: MLOAD
00001c7b: PUSH1 0x40
00001c7d: DUP1
00001c7e: MLOAD
00001c7f: PUSH4 0x70a08231
00001c84: PUSH1 0xe0
00001c86: SHL
00001c87: DUP2
00001c88: MSTORE
00001c89: ADDRESS
00001c8a: PUSH1 0x04
00001c8c: DUP3
00001c8d: ADD
00001c8e: MSTORE
00001c8f: SWAP1
00001c90: MLOAD
00001c91: SWAP2
00001c92: SWAP3
00001c93: POP
00001c94: PUSH1 0x00
00001c96: SWAP2
00001c97: PUSH1 0x01
00001c99: PUSH1 0x01
00001c9b: PUSH1 0xa0
00001c9d: SHL
00001c9e: SUB
00001c9f: DUP7
00001ca0: AND
00001ca1: SWAP2
00001ca2: PUSH4 0x70a08231
00001ca7: SWAP2
00001ca8: PUSH1 0x24
00001caa: DUP1
00001cab: DUP4
00001cac: ADD
00001cad: SWAP3
00001cae: PUSH1 0x20
00001cb0: SWAP3
00001cb1: SWAP2
00001cb2: SWAP1
00001cb3: DUP3
00001cb4: SWAP1
00001cb5: SUB
00001cb6: ADD
00001cb7: DUP2
00001cb8: DUP7
00001cb9: DUP1
00001cba: EXTCODESIZE
00001cbb: ISZERO
00001cbc: DUP1
00001cbd: ISZERO
00001cbe: PUSH2 0x1cc6
00001cc1: JUMPI
00001cc2: PUSH1 0x00
00001cc4: DUP1
00001cc5: REVERT
00001cc6: JUMPDEST
00001cc7: POP
00001cc8: GAS
00001cc9: STATICCALL
00001cca: ISZERO
00001ccb: DUP1
00001ccc: ISZERO
00001ccd: PUSH2 0x1cda
00001cd0: JUMPI
00001cd1: RETURNDATASIZE
00001cd2: PUSH1 0x00
00001cd4: DUP1
00001cd5: RETURNDATACOPY
00001cd6: RETURNDATASIZE
00001cd7: PUSH1 0x00
00001cd9: REVERT
00001cda: JUMPDEST
00001cdb: POP
00001cdc: POP
00001cdd: POP
00001cde: POP
00001cdf: PUSH1 0x40
00001ce1: MLOAD
00001ce2: RETURNDATASIZE
00001ce3: PUSH1 0x20
00001ce5: DUP2
00001ce6: LT
00001ce7: ISZERO
00001ce8: PUSH2 0x1cf0
00001ceb: JUMPI
00001cec: PUSH1 0x00
00001cee: DUP1
00001cef: REVERT
00001cf0: JUMPDEST
00001cf1: POP
00001cf2: MLOAD
00001cf3: PUSH1 0x01
00001cf5: SLOAD
00001cf6: PUSH1 0x40
00001cf8: DUP1
00001cf9: MLOAD
00001cfa: PUSH4 0x66900253
00001cff: PUSH1 0xe0
00001d01: SHL
00001d02: DUP2
00001d03: MSTORE
00001d04: PUSH1 0x01
00001d06: PUSH1 0x01
00001d08: PUSH1 0xa0
00001d0a: SHL
00001d0b: SUB
00001d0c: DUP10
00001d0d: DUP2
00001d0e: AND
00001d0f: PUSH1 0x04
00001d11: DUP4
00001d12: ADD
00001d13: MSTORE
00001d14: DUP9
00001d15: DUP2
00001d16: AND
00001d17: PUSH1 0x24
00001d19: DUP4
00001d1a: ADD
00001d1b: MSTORE
00001d1c: ADDRESS
00001d1d: PUSH1 0x44
00001d1f: DUP4
00001d20: ADD
00001d21: MSTORE
00001d22: SWAP2
00001d23: MLOAD
00001d24: SWAP4
00001d25: SWAP5
00001d26: POP
00001d27: SWAP2
00001d28: AND
00001d29: SWAP2
00001d2a: PUSH4 0x66900253
00001d2f: SWAP2
00001d30: PUSH1 0x64
00001d32: DUP1
00001d33: DUP3
00001d34: ADD
00001d35: SWAP3
00001d36: PUSH1 0x00
00001d38: SWAP3
00001d39: SWAP1
00001d3a: SWAP2
00001d3b: SWAP1
00001d3c: DUP3
00001d3d: SWAP1
00001d3e: SUB
00001d3f: ADD
00001d40: DUP2
00001d41: DUP4
00001d42: DUP8
00001d43: DUP1
00001d44: EXTCODESIZE
00001d45: ISZERO
00001d46: DUP1
00001d47: ISZERO
00001d48: PUSH2 0x1d50
00001d4b: JUMPI
00001d4c: PUSH1 0x00
00001d4e: DUP1
00001d4f: REVERT
00001d50: JUMPDEST
00001d51: POP
00001d52: GAS
00001d53: CALL
00001d54: ISZERO
00001d55: DUP1
00001d56: ISZERO
00001d57: PUSH2 0x1d64
00001d5a: JUMPI
00001d5b: RETURNDATASIZE
00001d5c: PUSH1 0x00
00001d5e: DUP1
00001d5f: RETURNDATACOPY
00001d60: RETURNDATASIZE
00001d61: PUSH1 0x00
00001d63: REVERT
00001d64: JUMPDEST
00001d65: POP
00001d66: POP
00001d67: POP
00001d68: POP
00001d69: PUSH1 0x00
00001d6b: PUSH2 0x1ded
00001d6e: DUP4
00001d6f: DUP8
00001d70: PUSH1 0x01
00001d72: PUSH1 0x01
00001d74: PUSH1 0xa0
00001d76: SHL
00001d77: SUB
00001d78: AND
00001d79: PUSH4 0x70a08231
00001d7e: ADDRESS
00001d7f: PUSH1 0x40
00001d81: MLOAD
00001d82: DUP3
00001d83: PUSH4 0xffffffff
00001d88: AND
00001d89: PUSH1 0xe0
00001d8b: SHL
00001d8c: DUP2
00001d8d: MSTORE
00001d8e: PUSH1 0x04
00001d90: ADD
00001d91: DUP1
00001d92: DUP3
00001d93: PUSH1 0x01
00001d95: PUSH1 0x01
00001d97: PUSH1 0xa0
00001d99: SHL
00001d9a: SUB
00001d9b: AND
00001d9c: DUP2
00001d9d: MSTORE
00001d9e: PUSH1 0x20
00001da0: ADD
00001da1: SWAP2
00001da2: POP
00001da3: POP
00001da4: PUSH1 0x20
00001da6: PUSH1 0x40
00001da8: MLOAD
00001da9: DUP1
00001daa: DUP4
00001dab: SUB
00001dac: DUP2
00001dad: DUP7
00001dae: DUP1
00001daf: EXTCODESIZE
00001db0: ISZERO
00001db1: DUP1
00001db2: ISZERO
00001db3: PUSH2 0x1dbb
00001db6: JUMPI
00001db7: PUSH1 0x00
00001db9: DUP1
00001dba: REVERT
00001dbb: JUMPDEST
00001dbc: POP
00001dbd: GAS
00001dbe: STATICCALL
00001dbf: ISZERO
00001dc0: DUP1
00001dc1: ISZERO
00001dc2: PUSH2 0x1dcf
00001dc5: JUMPI
00001dc6: RETURNDATASIZE
00001dc7: PUSH1 0x00
00001dc9: DUP1
00001dca: RETURNDATACOPY
00001dcb: RETURNDATASIZE
00001dcc: PUSH1 0x00
00001dce: REVERT
00001dcf: JUMPDEST
00001dd0: POP
00001dd1: POP
00001dd2: POP
00001dd3: POP
00001dd4: PUSH1 0x40
00001dd6: MLOAD
00001dd7: RETURNDATASIZE
00001dd8: PUSH1 0x20
00001dda: DUP2
00001ddb: LT
00001ddc: ISZERO
00001ddd: PUSH2 0x1de5
00001de0: JUMPI
00001de1: PUSH1 0x00
00001de3: DUP1
00001de4: REVERT
00001de5: JUMPDEST
00001de6: POP
00001de7: MLOAD
00001de8: SWAP1
00001de9: PUSH2 0x1bcf
00001dec: JUMP
00001ded: JUMPDEST
00001dee: SWAP1
00001def: POP
00001df0: PUSH1 0x00
00001df2: PUSH2 0x1e42
00001df5: DUP4
00001df6: DUP8
00001df7: PUSH1 0x01
00001df9: PUSH1 0x01
00001dfb: PUSH1 0xa0
00001dfd: SHL
00001dfe: SUB
00001dff: AND
00001e00: PUSH4 0x70a08231
00001e05: ADDRESS
00001e06: PUSH1 0x40
00001e08: MLOAD
00001e09: DUP3
00001e0a: PUSH4 0xffffffff
00001e0f: AND
00001e10: PUSH1 0xe0
00001e12: SHL
00001e13: DUP2
00001e14: MSTORE
00001e15: PUSH1 0x04
00001e17: ADD
00001e18: DUP1
00001e19: DUP3
00001e1a: PUSH1 0x01
00001e1c: PUSH1 0x01
00001e1e: PUSH1 0xa0
00001e20: SHL
00001e21: SUB
00001e22: AND
00001e23: DUP2
00001e24: MSTORE
00001e25: PUSH1 0x20
00001e27: ADD
00001e28: SWAP2
00001e29: POP
00001e2a: POP
00001e2b: PUSH1 0x20
00001e2d: PUSH1 0x40
00001e2f: MLOAD
00001e30: DUP1
00001e31: DUP4
00001e32: SUB
00001e33: DUP2
00001e34: DUP7
00001e35: DUP1
00001e36: EXTCODESIZE
00001e37: ISZERO
00001e38: DUP1
00001e39: ISZERO
00001e3a: PUSH2 0x1dbb
00001e3d: JUMPI
00001e3e: PUSH1 0x00
00001e40: DUP1
00001e41: REVERT
00001e42: JUMPDEST
00001e43: SWAP1
00001e44: POP
00001e45: DUP2
00001e46: ISZERO
00001e47: PUSH2 0x1e55
00001e4a: JUMPI
00001e4b: PUSH2 0x1e55
00001e4e: DUP8
00001e4f: DUP7
00001e50: DUP5
00001e51: PUSH2 0x1f79
00001e54: JUMP
00001e55: JUMPDEST
00001e56: DUP1
00001e57: ISZERO
00001e58: PUSH2 0x06f0
00001e5b: JUMPI
00001e5c: PUSH2 0x06f0
00001e5f: DUP7
00001e60: DUP7
00001e61: DUP4
00001e62: PUSH2 0x1f79
00001e65: JUMP
00001e66: JUMPDEST
00001e67: PUSH1 0x04
00001e69: SLOAD
00001e6a: DUP2
00001e6b: EQ
00001e6c: ISZERO
00001e6d: PUSH2 0x1ea6
00001e70: JUMPI
00001e71: PUSH1 0x40
00001e73: DUP1
00001e74: MLOAD
00001e75: PUSH3 0x461bcd
00001e79: PUSH1 0xe5
00001e7b: SHL
00001e7c: DUP2
00001e7d: MSTORE
00001e7e: PUSH1 0x20
00001e80: PUSH1 0x04
00001e82: DUP1
00001e83: DUP4
00001e84: ADD
00001e85: SWAP2
00001e86: SWAP1
00001e87: SWAP2
00001e88: MSTORE
00001e89: PUSH1 0x24
00001e8b: DUP3
00001e8c: ADD
00001e8d: MSTORE
00001e8e: PUSH4 0x46473031
00001e93: PUSH1 0xe0
00001e95: SHL
00001e96: PUSH1 0x44
00001e98: DUP3
00001e99: ADD
00001e9a: MSTORE
00001e9b: SWAP1
00001e9c: MLOAD
00001e9d: SWAP1
00001e9e: DUP2
00001e9f: SWAP1
00001ea0: SUB
00001ea1: PUSH1 0x64
00001ea3: ADD
00001ea4: SWAP1
00001ea5: REVERT
00001ea6: JUMPDEST
00001ea7: PUSH1 0x04
00001ea9: DUP2
00001eaa: SWAP1
00001eab: SSTORE
00001eac: PUSH1 0x40
00001eae: DUP1
00001eaf: MLOAD
00001eb0: DUP3
00001eb1: DUP2
00001eb2: MSTORE
00001eb3: SWAP1
00001eb4: MLOAD
00001eb5: PUSH32 0x5ab517e7c323fcdd87ad8d4f84fa9246f7ca2c84def33dde048c1d21d1e63a45
00001ed6: SWAP2
00001ed7: DUP2
00001ed8: SWAP1
00001ed9: SUB
00001eda: PUSH1 0x20
00001edc: ADD
00001edd: SWAP1
00001ede: LOG1
00001edf: POP
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: DUP2
00001ee3: DUP4
00001ee4: SUB
00001ee5: DUP2
00001ee6: DUP5
00001ee7: DUP3
00001ee8: GT
00001ee9: ISZERO
00001eea: PUSH2 0x1f71
00001eed: JUMPI
00001eee: PUSH1 0x40
00001ef0: MLOAD
00001ef1: PUSH3 0x461bcd
00001ef5: PUSH1 0xe5
00001ef7: SHL
00001ef8: DUP2
00001ef9: MSTORE
00001efa: PUSH1 0x04
00001efc: ADD
00001efd: DUP1
00001efe: DUP1
00001eff: PUSH1 0x20
00001f01: ADD
00001f02: DUP3
00001f03: DUP2
00001f04: SUB
00001f05: DUP3
00001f06: MSTORE
00001f07: DUP4
00001f08: DUP2
00001f09: DUP2
00001f0a: MLOAD
00001f0b: DUP2
00001f0c: MSTORE
00001f0d: PUSH1 0x20
00001f0f: ADD
00001f10: SWAP2
00001f11: POP
00001f12: DUP1
00001f13: MLOAD
00001f14: SWAP1
00001f15: PUSH1 0x20
00001f17: ADD
00001f18: SWAP1
00001f19: DUP1
00001f1a: DUP4
00001f1b: DUP4
00001f1c: PUSH1 0x00
00001f1e: JUMPDEST
00001f1f: DUP4
00001f20: DUP2
00001f21: LT
00001f22: ISZERO
00001f23: PUSH2 0x1f36
00001f26: JUMPI
00001f27: DUP2
00001f28: DUP2
00001f29: ADD
00001f2a: MLOAD
00001f2b: DUP4
00001f2c: DUP3
00001f2d: ADD
00001f2e: MSTORE
00001f2f: PUSH1 0x20
00001f31: ADD
00001f32: PUSH2 0x1f1e
00001f35: JUMP
00001f36: JUMPDEST
00001f37: POP
00001f38: POP
00001f39: POP
00001f3a: POP
00001f3b: SWAP1
00001f3c: POP
00001f3d: SWAP1
00001f3e: DUP2
00001f3f: ADD
00001f40: SWAP1
00001f41: PUSH1 0x1f
00001f43: AND
00001f44: DUP1
00001f45: ISZERO
00001f46: PUSH2 0x1f63
00001f49: JUMPI
00001f4a: DUP1
00001f4b: DUP3
00001f4c: SUB
00001f4d: DUP1
00001f4e: MLOAD
00001f4f: PUSH1 0x01
00001f51: DUP4
00001f52: PUSH1 0x20
00001f54: SUB
00001f55: PUSH2 0x0100
00001f58: EXP
00001f59: SUB
00001f5a: NOT
00001f5b: AND
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x20
00001f60: ADD
00001f61: SWAP2
00001f62: POP
00001f63: JUMPDEST
00001f64: POP
00001f65: SWAP3
00001f66: POP
00001f67: POP
00001f68: POP
00001f69: PUSH1 0x40
00001f6b: MLOAD
00001f6c: DUP1
00001f6d: SWAP2
00001f6e: SUB
00001f6f: SWAP1
00001f70: REVERT
00001f71: JUMPDEST
00001f72: POP
00001f73: SWAP4
00001f74: SWAP3
00001f75: POP
00001f76: POP
00001f77: POP
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: PUSH1 0x00
00001f7c: PUSH2 0x1f99
00001f7f: PUSH5 0x02540be400
00001f85: PUSH2 0x0e25
00001f88: PUSH1 0x03
00001f8a: SLOAD
00001f8b: DUP6
00001f8c: PUSH2 0x1b2a
00001f8f: SWAP1
00001f90: SWAP2
00001f91: SWAP1
00001f92: PUSH4 0xffffffff
00001f97: AND
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: SWAP1
00001f9b: POP
00001f9c: PUSH1 0x00
00001f9e: PUSH2 0x1fa7
00001fa1: DUP4
00001fa2: DUP4
00001fa3: PUSH2 0x1bcf
00001fa6: JUMP
00001fa7: JUMPDEST
00001fa8: SWAP1
00001fa9: POP
00001faa: DUP1
00001fab: ISZERO
00001fac: PUSH2 0x1fba
00001faf: JUMPI
00001fb0: PUSH2 0x1fba
00001fb3: DUP6
00001fb4: DUP6
00001fb5: DUP4
00001fb6: PUSH2 0x183d
00001fb9: JUMP
00001fba: JUMPDEST
00001fbb: DUP4
00001fbc: PUSH1 0x01
00001fbe: PUSH1 0x01
00001fc0: PUSH1 0xa0
00001fc2: SHL
00001fc3: SUB
00001fc4: AND
00001fc5: DUP6
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0x01
00001fca: PUSH1 0xa0
00001fcc: SHL
00001fcd: SUB
00001fce: AND
00001fcf: PUSH32 0xe723f00516f99ac97397cef478a5dda16e64cba888ec5c40f0387c4641520228
00001ff0: DUP4
00001ff1: DUP6
00001ff2: PUSH1 0x40
00001ff4: MLOAD
00001ff5: DUP1
00001ff6: DUP4
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x20
00001ffb: ADD
00001ffc: DUP3
00001ffd: DUP2
00001ffe: MSTORE
00001fff: PUSH1 0x20
00002001: ADD
00002002: SWAP3
00002003: POP
00002004: POP
00002005: POP
00002006: PUSH1 0x40
00002008: MLOAD
00002009: DUP1
0000200a: SWAP2
0000200b: SUB
0000200c: SWAP1
0000200d: LOG3
0000200e: POP
0000200f: POP
00002010: POP
00002011: POP
00002012: POP
00002013: JUMP
00002014: INVALID
00002015: LOG2
00002016: PUSH5 0x6970667358
0000201c: UNKNOWN(0x22)
0000201d: SLT
0000201e: KECCAK256
0000201f: UNKNOWN(0xBD)
00002020: STATICCALL
00002021: UNKNOWN(0xB9)
00002022: GASPRICE
00002023: SWAP14
00002024: AND
00002025: BLOBBASEFEE
00002026: UNKNOWN(0x0F)
00002027: LOG0
00002028: NUMBER
00002029: EXP
0000202a: UNKNOWN(0xA6)
0000202b: UNKNOWN(0xE2)
0000202c: SWAP11
0000202d: UNKNOWN(0xEE)
0000202e: UNKNOWN(0xB7)
0000202f: CALLDATASIZE
00002030: DUP7
00002031: UNKNOWN(0xC1)
00002032: PUSH0
00002033: UNKNOWN(0xA9)
00002034: UNKNOWN(0xAD)
00002035: UNKNOWN(0xB0)
00002036: PUSH30