Analysis Run

[codex:569598] OpenAI Codex v0.77.0 (research preview)
[codex:569598] --------
[codex:569598] workdir: /tmp/codex-multi-q5nh6wps
[codex:569598] model: gpt-5.2-codex
[codex:569598] provider: openai
[codex:569598] approval: never
[codex:569598] sandbox: read-only
[codex:569598] reasoning effort: xhigh
[codex:569598] reasoning summaries: auto
[codex:569598] session id: 019b7cfa-df6c-77c2-bb99-6d10646cef10
[codex:569598] --------
[codex:569598] user
[codex:569598] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:569598] 
[codex:569598] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:569598] 
[codex:569598] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:569598] - Gas inefficiency, code quality, naming, or best practices
[codex:569598] - Theoretical vulnerabilities without a clear extraction path
[codex:569598] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:569598] - Front-running unless it enables theft beyond MEV
[codex:569598] - DoS, griefing, or issues that don't result in attacker profit
[codex:569598] - Missing events, view function issues, or informational findings
[codex:569598] 
[codex:569598] HIGH-VALUE PATTERNS TO HUNT:
[codex:569598] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:569598] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:569598] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:569598] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:569598] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:569598] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:569598] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:569598] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:569598] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:569598] 
[codex:569598] For each finding, you MUST provide:
[codex:569598] 1. Exact file and line numbers of vulnerable code
[codex:569598] 2. Step-by-step exploit transaction sequence
[codex:569598] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:569598] 
[codex:569598] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:569598] 
[codex:569598] Output MUST be valid JSON matching the provided schema.
[codex:569598] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:569598] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:569598] mcp startup: no servers
[codex:569598] 
[codex:569598] thinking
[codex:569598] **Preparing to read instructions**
[codex:569598] exec
[codex:569598] /bin/bash -lc ls in /tmp/codex-multi-q5nh6wps succeeded in 6ms:
[codex:569598] AUDIT_BUNDLE.txt
[codex:569598] codex-output-schema.json
[codex:569598] contracts
[codex:569598] exec
[codex:569598] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-q5nh6wps succeeded in 5ms:
[codex:569598] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:569598] 
[codex:569598] ================================================================================
[codex:569598] FILE: contracts/contracts/EthCustodian.sol
[codex:569598] ================================================================================
[codex:569598] // SPDX-License-Identifier: GPL-3.0-or-later
[codex:569598] pragma solidity ^0.6.12;
[codex:569598] 
[codex:569598] import 'rainbow-bridge/contracts/eth/nearbridge/contracts/AdminControlled.sol';
[codex:569598] import 'rainbow-bridge/contracts/eth/nearbridge/contracts/Borsh.sol';
[codex:569598] import 'rainbow-bridge/contracts/eth/nearprover/contracts/ProofDecoder.sol';
[codex:569598] import { INearProver, ProofKeeper } from './ProofKeeper.sol';
[codex:569598] 
[codex:569598] contract EthCustodian is ProofKeeper, AdminControlled {
[codex:569598] 
[codex:569598]     uint constant UNPAUSED_ALL = 0;
[codex:569598]     uint constant PAUSED_DEPOSIT_TO_EVM = 1 << 0;
[codex:569598]     uint constant PAUSED_DEPOSIT_TO_NEAR = 1 << 1;
[codex:569598]     uint constant PAUSED_WITHDRAW = 1 << 2;
[codex:569598] 
[codex:569598] exec
[codex:569598] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-q5nh6wps succeeded in 6ms:
[codex:569598]     {
[codex:569598]         require(
[codex:569598]             proofBlockHeight >= minBlockAcceptanceHeight_,
[codex:569598]             'Proof is from the ancient block'
[codex:569598]         );
[codex:569598]         require(
[codex:569598]             prover_.proveOutcome(proofData,proofBlockHeight),
[codex:569598]             'Proof should be valid'
[codex:569598]         );
[codex:569598] 
[codex:569598]         // Unpack the proof and extract the execution outcome.
[codex:569598]         Borsh.Data memory borshData = Borsh.from(proofData);
[codex:569598] 
[codex:569598]         ProofDecoder.FullOutcomeProof memory fullOutcomeProof = 
[codex:569598]         borshData.decodeFullOutcomeProof();
[codex:569598]         
[codex:569598]         require(
[codex:569598]             borshData.finished(),
[codex:569598]             'Argument should be exact borsh serialization'
[codex:569598]         );
[codex:569598] exec
[codex:569598] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-q5nh6wps succeeded in 5ms:
[codex:569598]     function decodeI64(Data memory data) internal pure returns (int64 value) {
[codex:569598]         value = int64(decodeI32(data));
[codex:569598]         value |= (int64(decodeI32(data)) << 32);
[codex:569598]     }
[codex:569598] 
[codex:569598]     function decodeU128(Data memory data) internal pure returns (uint128 value) {
[codex:569598]         value = uint128(decodeU64(data));
[codex:569598]         value |= (uint128(decodeU64(data)) << 64);
[codex:569598]     }
[codex:569598] 
[codex:569598]     function decodeI128(Data memory data) internal pure returns (int128 value) {
[codex:569598]         value = int128(decodeI64(data));
[codex:569598]         value |= (int128(decodeI64(data)) << 64);
[codex:569598]     }
[codex:569598] 
[codex:569598]     function decodeU256(Data memory data) internal pure returns (uint256 value) {
[codex:569598]         value = uint256(decodeU128(data));
[codex:569598]         value |= (uint256(decodeU128(data)) << 128);
[codex:569598]     }
[codex:569598] 
[codex:569598] exec
[codex:569598] /bin/bash -lc "sed -n '800,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-q5nh6wps succeeded in 5ms:
[codex:569598]         internal
[codex:569598]         view
[codex:569598]         returns (ExecutionOutcomeWithId memory outcome)
[codex:569598]     {
[codex:569598]         outcome.id = data.decodeBytes32();
[codex:569598]         outcome.outcome = data.decodeExecutionOutcome();
[codex:569598] 
[codex:569598]         uint256 len = 1 + outcome.outcome.merkelization_hashes.length;
[codex:569598]         outcome.hash = sha256(
[codex:569598]             abi.encodePacked(
[codex:569598]                 uint8((len >> 0) & 0xFF),
[codex:569598]                 uint8((len >> 8) & 0xFF),
[codex:569598]                 uint8((len >> 16) & 0xFF),
[codex:569598]                 uint8((len >> 24) & 0xFF),
[codex:569598]                 outcome.id,
[codex:569598]                 outcome.outcome.merkelization_hashes
[codex:569598]             )
[codex:569598]         );
[codex:569598]     }
[codex:569598] 
[codex:569598] 
[codex:569598] thinking
[codex:569598] **Analyzing potential exploits and proofs**
[codex:569598] 
[codex:569598] I’m carefully examining how the contract verifies NEAR proofs and handles withdrawals, checking reentrancy, proof uniqueness, and data decoding. I’m considering if success values could be forged or proof data misused, but it seems to rely heavily on external NEAR contract correctness. After reviewing storage layouts and function logic, I find no clear exploit path inside this contract’s code alone and am preparing to report no findings while ensuring compliance with the output schema.
[codex:569598] exec
[codex:569598] /bin/bash -lc 'tail -n 20 AUDIT_BUNDLE.txt' in /tmp/codex-multi-q5nh6wps succeeded in 5ms:
[codex:569598]         }
[codex:569598]     }
[codex:569598] 
[codex:569598]     struct ExecutionOutcomeWithIdAndProof {
[codex:569598]         MerklePath proof;
[codex:569598]         bytes32 block_hash;
[codex:569598]         ExecutionOutcomeWithId outcome_with_id;
[codex:569598]     }
[codex:569598] 
[codex:569598]     function decodeExecutionOutcomeWithIdAndProof(Borsh.Data memory data)
[codex:569598]         internal
[codex:569598]         view
[codex:569598]         returns (ExecutionOutcomeWithIdAndProof memory outcome)
[codex:569598]     {
[codex:569598]         outcome.proof = data.decodeMerklePath();
[codex:569598]         outcome.block_hash = data.decodeBytes32();
[codex:569598]         outcome.outcome_with_id = data.decodeExecutionOutcomeWithId();
[codex:569598]     }
[codex:569598] }
[codex:569598] 
[codex:569598] 
[codex:569598] thinking
[codex:569598] **Completing security assessment with no findings**
[codex:569598] exec
[codex:569598] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-q5nh6wps succeeded in 6ms:
[codex:569598] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:569598] 
[codex:569598] thinking
[codex:569598] **Finalizing JSON output**
[codex:569598] codex
[codex:569598] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:569598] tokens used
[codex:569598] 15,686
[codex:569598] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T04:34:07.382556+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00e8
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0xa8eb3b51
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbe831a2e
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xbe831a2e
0000002f: EQ
00000030: PUSH2 0x04b7
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xed940ed7
0000003a: EQ
0000003b: PUSH2 0x04e7
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf48ab4e0
00000045: EQ
00000046: PUSH2 0x058d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf851a440
00000050: EQ
00000051: PUSH2 0x0595
00000054: JUMPI
00000055: PUSH2 0x00e8
00000058: JUMP
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xa8eb3b51
00000060: EQ
00000061: PUSH2 0x02ee
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xb8e9744c
0000006b: EQ
0000006c: PUSH2 0x0394
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xbb00b698
00000076: EQ
00000077: PUSH2 0x0448
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xbccc9fcf
00000081: EQ
00000082: PUSH2 0x0479
00000085: JUMPI
00000086: PUSH2 0x00e8
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x5c975abb
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x5c975abb
0000009c: EQ
0000009d: PUSH2 0x0183
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x6c4624c3
000000a7: EQ
000000a8: PUSH2 0x01aa
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x79ac038a
000000b2: EQ
000000b3: PUSH2 0x01e0
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9813954e
000000bd: EQ
000000be: PUSH2 0x026a
000000c1: JUMPI
000000c2: PUSH2 0x00e8
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x1c420a20
000000cd: EQ
000000ce: PUSH2 0x00ed
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x2692c59f
000000d8: EQ
000000d9: PUSH2 0x011e
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x530208f2
000000e3: EQ
000000e4: PUSH2 0x014a
000000e7: JUMPI
000000e8: JUMPDEST
000000e9: PUSH1 0x00
000000eb: DUP1
000000ec: REVERT
000000ed: JUMPDEST
000000ee: CALLVALUE
000000ef: DUP1
000000f0: ISZERO
000000f1: PUSH2 0x00f9
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP1
000000f8: REVERT
000000f9: JUMPDEST
000000fa: POP
000000fb: PUSH2 0x0102
000000fe: PUSH2 0x05aa
00000101: JUMP
00000102: JUMPDEST
00000103: PUSH1 0x40
00000105: DUP1
00000106: MLOAD
00000107: PUSH1 0x01
00000109: PUSH1 0x01
0000010b: PUSH1 0x40
0000010d: SHL
0000010e: SUB
0000010f: SWAP1
00000110: SWAP3
00000111: AND
00000112: DUP3
00000113: MSTORE
00000114: MLOAD
00000115: SWAP1
00000116: DUP2
00000117: SWAP1
00000118: SUB
00000119: PUSH1 0x20
0000011b: ADD
0000011c: SWAP1
0000011d: RETURN
0000011e: JUMPDEST
0000011f: CALLVALUE
00000120: DUP1
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: POP
0000012c: PUSH2 0x0148
0000012f: PUSH1 0x04
00000131: DUP1
00000132: CALLDATASIZE
00000133: SUB
00000134: PUSH1 0x20
00000136: DUP2
00000137: LT
00000138: ISZERO
00000139: PUSH2 0x0141
0000013c: JUMPI
0000013d: PUSH1 0x00
0000013f: DUP1
00000140: REVERT
00000141: JUMPDEST
00000142: POP
00000143: CALLDATALOAD
00000144: PUSH2 0x05b9
00000147: JUMP
00000148: JUMPDEST
00000149: STOP
0000014a: JUMPDEST
0000014b: CALLVALUE
0000014c: DUP1
0000014d: ISZERO
0000014e: PUSH2 0x0156
00000151: JUMPI
00000152: PUSH1 0x00
00000154: DUP1
00000155: REVERT
00000156: JUMPDEST
00000157: POP
00000158: PUSH2 0x0148
0000015b: PUSH1 0x04
0000015d: DUP1
0000015e: CALLDATASIZE
0000015f: SUB
00000160: PUSH1 0x40
00000162: DUP2
00000163: LT
00000164: ISZERO
00000165: PUSH2 0x016d
00000168: JUMPI
00000169: PUSH1 0x00
0000016b: DUP1
0000016c: REVERT
0000016d: JUMPDEST
0000016e: POP
0000016f: PUSH1 0x01
00000171: PUSH1 0x01
00000173: PUSH1 0xa0
00000175: SHL
00000176: SUB
00000177: DUP2
00000178: CALLDATALOAD
00000179: AND
0000017a: SWAP1
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: CALLDATALOAD
0000017f: PUSH2 0x05d5
00000182: JUMP
00000183: JUMPDEST
00000184: CALLVALUE
00000185: DUP1
00000186: ISZERO
00000187: PUSH2 0x018f
0000018a: JUMPI
0000018b: PUSH1 0x00
0000018d: DUP1
0000018e: REVERT
0000018f: JUMPDEST
00000190: POP
00000191: PUSH2 0x0198
00000194: PUSH2 0x0627
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: DUP1
0000019c: MLOAD
0000019d: SWAP2
0000019e: DUP3
0000019f: MSTORE
000001a0: MLOAD
000001a1: SWAP1
000001a2: DUP2
000001a3: SWAP1
000001a4: SUB
000001a5: PUSH1 0x20
000001a7: ADD
000001a8: SWAP1
000001a9: RETURN
000001aa: JUMPDEST
000001ab: CALLVALUE
000001ac: DUP1
000001ad: ISZERO
000001ae: PUSH2 0x01b6
000001b1: JUMPI
000001b2: PUSH1 0x00
000001b4: DUP1
000001b5: REVERT
000001b6: JUMPDEST
000001b7: POP
000001b8: PUSH2 0x0148
000001bb: PUSH1 0x04
000001bd: DUP1
000001be: CALLDATASIZE
000001bf: SUB
000001c0: PUSH1 0x60
000001c2: DUP2
000001c3: LT
000001c4: ISZERO
000001c5: PUSH2 0x01cd
000001c8: JUMPI
000001c9: PUSH1 0x00
000001cb: DUP1
000001cc: REVERT
000001cd: JUMPDEST
000001ce: POP
000001cf: DUP1
000001d0: CALLDATALOAD
000001d1: SWAP1
000001d2: PUSH1 0x20
000001d4: DUP2
000001d5: ADD
000001d6: CALLDATALOAD
000001d7: SWAP1
000001d8: PUSH1 0x40
000001da: ADD
000001db: CALLDATALOAD
000001dc: PUSH2 0x062d
000001df: JUMP
000001e0: JUMPDEST
000001e1: CALLVALUE
000001e2: DUP1
000001e3: ISZERO
000001e4: PUSH2 0x01ec
000001e7: JUMPI
000001e8: PUSH1 0x00
000001ea: DUP1
000001eb: REVERT
000001ec: JUMPDEST
000001ed: POP
000001ee: PUSH2 0x01f5
000001f1: PUSH2 0x064f
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH1 0x40
000001f8: DUP1
000001f9: MLOAD
000001fa: PUSH1 0x20
000001fc: DUP1
000001fd: DUP3
000001fe: MSTORE
000001ff: DUP4
00000200: MLOAD
00000201: DUP2
00000202: DUP4
00000203: ADD
00000204: MSTORE
00000205: DUP4
00000206: MLOAD
00000207: SWAP2
00000208: SWAP3
00000209: DUP4
0000020a: SWAP3
0000020b: SWAP1
0000020c: DUP4
0000020d: ADD
0000020e: SWAP2
0000020f: DUP6
00000210: ADD
00000211: SWAP1
00000212: DUP1
00000213: DUP4
00000214: DUP4
00000215: PUSH1 0x00
00000217: JUMPDEST
00000218: DUP4
00000219: DUP2
0000021a: LT
0000021b: ISZERO
0000021c: PUSH2 0x022f
0000021f: JUMPI
00000220: DUP2
00000221: DUP2
00000222: ADD
00000223: MLOAD
00000224: DUP4
00000225: DUP3
00000226: ADD
00000227: MSTORE
00000228: PUSH1 0x20
0000022a: ADD
0000022b: PUSH2 0x0217
0000022e: JUMP
0000022f: JUMPDEST
00000230: POP
00000231: POP
00000232: POP
00000233: POP
00000234: SWAP1
00000235: POP
00000236: SWAP1
00000237: DUP2
00000238: ADD
00000239: SWAP1
0000023a: PUSH1 0x1f
0000023c: AND
0000023d: DUP1
0000023e: ISZERO
0000023f: PUSH2 0x025c
00000242: JUMPI
00000243: DUP1
00000244: DUP3
00000245: SUB
00000246: DUP1
00000247: MLOAD
00000248: PUSH1 0x01
0000024a: DUP4
0000024b: PUSH1 0x20
0000024d: SUB
0000024e: PUSH2 0x0100
00000251: EXP
00000252: SUB
00000253: NOT
00000254: AND
00000255: DUP2
00000256: MSTORE
00000257: PUSH1 0x20
00000259: ADD
0000025a: SWAP2
0000025b: POP
0000025c: JUMPDEST
0000025d: POP
0000025e: SWAP3
0000025f: POP
00000260: POP
00000261: POP
00000262: PUSH1 0x40
00000264: MLOAD
00000265: DUP1
00000266: SWAP2
00000267: SUB
00000268: SWAP1
00000269: RETURN
0000026a: JUMPDEST
0000026b: CALLVALUE
0000026c: DUP1
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: PUSH2 0x0148
0000027b: PUSH1 0x04
0000027d: DUP1
0000027e: CALLDATASIZE
0000027f: SUB
00000280: PUSH1 0x40
00000282: DUP2
00000283: LT
00000284: ISZERO
00000285: PUSH2 0x028d
00000288: JUMPI
00000289: PUSH1 0x00
0000028b: DUP1
0000028c: REVERT
0000028d: JUMPDEST
0000028e: DUP2
0000028f: ADD
00000290: SWAP1
00000291: PUSH1 0x20
00000293: DUP2
00000294: ADD
00000295: DUP2
00000296: CALLDATALOAD
00000297: PUSH1 0x01
00000299: PUSH1 0x20
0000029b: SHL
0000029c: DUP2
0000029d: GT
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: DUP3
000002a9: ADD
000002aa: DUP4
000002ab: PUSH1 0x20
000002ad: DUP3
000002ae: ADD
000002af: GT
000002b0: ISZERO
000002b1: PUSH2 0x02b9
000002b4: JUMPI
000002b5: PUSH1 0x00
000002b7: DUP1
000002b8: REVERT
000002b9: JUMPDEST
000002ba: DUP1
000002bb: CALLDATALOAD
000002bc: SWAP1
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: SWAP2
000002c1: DUP5
000002c2: PUSH1 0x01
000002c4: DUP4
000002c5: MUL
000002c6: DUP5
000002c7: ADD
000002c8: GT
000002c9: PUSH1 0x01
000002cb: PUSH1 0x20
000002cd: SHL
000002ce: DUP4
000002cf: GT
000002d0: OR
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: SWAP2
000002dc: SWAP4
000002dd: POP
000002de: SWAP2
000002df: POP
000002e0: CALLDATALOAD
000002e1: PUSH1 0x01
000002e3: PUSH1 0x01
000002e5: PUSH1 0x40
000002e7: SHL
000002e8: SUB
000002e9: AND
000002ea: PUSH2 0x06dc
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH2 0x0148
000002f2: PUSH1 0x04
000002f4: DUP1
000002f5: CALLDATASIZE
000002f6: SUB
000002f7: PUSH1 0x40
000002f9: DUP2
000002fa: LT
000002fb: ISZERO
000002fc: PUSH2 0x0304
000002ff: JUMPI
00000300: PUSH1 0x00
00000302: DUP1
00000303: REVERT
00000304: JUMPDEST
00000305: DUP2
00000306: ADD
00000307: SWAP1
00000308: PUSH1 0x20
0000030a: DUP2
0000030b: ADD
0000030c: DUP2
0000030d: CALLDATALOAD
0000030e: PUSH1 0x01
00000310: PUSH1 0x20
00000312: SHL
00000313: DUP2
00000314: GT
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: DUP3
00000320: ADD
00000321: DUP4
00000322: PUSH1 0x20
00000324: DUP3
00000325: ADD
00000326: GT
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: DUP1
00000332: CALLDATALOAD
00000333: SWAP1
00000334: PUSH1 0x20
00000336: ADD
00000337: SWAP2
00000338: DUP5
00000339: PUSH1 0x01
0000033b: DUP4
0000033c: MUL
0000033d: DUP5
0000033e: ADD
0000033f: GT
00000340: PUSH1 0x01
00000342: PUSH1 0x20
00000344: SHL
00000345: DUP4
00000346: GT
00000347: OR
00000348: ISZERO
00000349: PUSH2 0x0351
0000034c: JUMPI
0000034d: PUSH1 0x00
0000034f: DUP1
00000350: REVERT
00000351: JUMPDEST
00000352: SWAP2
00000353: SWAP1
00000354: DUP1
00000355: DUP1
00000356: PUSH1 0x1f
00000358: ADD
00000359: PUSH1 0x20
0000035b: DUP1
0000035c: SWAP2
0000035d: DIV
0000035e: MUL
0000035f: PUSH1 0x20
00000361: ADD
00000362: PUSH1 0x40
00000364: MLOAD
00000365: SWAP1
00000366: DUP2
00000367: ADD
00000368: PUSH1 0x40
0000036a: MSTORE
0000036b: DUP1
0000036c: SWAP4
0000036d: SWAP3
0000036e: SWAP2
0000036f: SWAP1
00000370: DUP2
00000371: DUP2
00000372: MSTORE
00000373: PUSH1 0x20
00000375: ADD
00000376: DUP4
00000377: DUP4
00000378: DUP1
00000379: DUP3
0000037a: DUP5
0000037b: CALLDATACOPY
0000037c: PUSH1 0x00
0000037e: SWAP3
0000037f: ADD
00000380: SWAP2
00000381: SWAP1
00000382: SWAP2
00000383: MSTORE
00000384: POP
00000385: SWAP3
00000386: SWAP6
00000387: POP
00000388: POP
00000389: SWAP2
0000038a: CALLDATALOAD
0000038b: SWAP3
0000038c: POP
0000038d: PUSH2 0x0854
00000390: SWAP2
00000391: POP
00000392: POP
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH2 0x01f5
00000398: PUSH1 0x04
0000039a: DUP1
0000039b: CALLDATASIZE
0000039c: SUB
0000039d: PUSH1 0x40
0000039f: DUP2
000003a0: LT
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: PUSH1 0x01
000003ad: PUSH1 0x01
000003af: PUSH1 0xa0
000003b1: SHL
000003b2: SUB
000003b3: DUP3
000003b4: CALLDATALOAD
000003b5: AND
000003b6: SWAP2
000003b7: SWAP1
000003b8: DUP2
000003b9: ADD
000003ba: SWAP1
000003bb: PUSH1 0x40
000003bd: DUP2
000003be: ADD
000003bf: PUSH1 0x20
000003c1: DUP3
000003c2: ADD
000003c3: CALLDATALOAD
000003c4: PUSH1 0x01
000003c6: PUSH1 0x20
000003c8: SHL
000003c9: DUP2
000003ca: GT
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: DUP3
000003d6: ADD
000003d7: DUP4
000003d8: PUSH1 0x20
000003da: DUP3
000003db: ADD
000003dc: GT
000003dd: ISZERO
000003de: PUSH2 0x03e6
000003e1: JUMPI
000003e2: PUSH1 0x00
000003e4: DUP1
000003e5: REVERT
000003e6: JUMPDEST
000003e7: DUP1
000003e8: CALLDATALOAD
000003e9: SWAP1
000003ea: PUSH1 0x20
000003ec: ADD
000003ed: SWAP2
000003ee: DUP5
000003ef: PUSH1 0x01
000003f1: DUP4
000003f2: MUL
000003f3: DUP5
000003f4: ADD
000003f5: GT
000003f6: PUSH1 0x01
000003f8: PUSH1 0x20
000003fa: SHL
000003fb: DUP4
000003fc: GT
000003fd: OR
000003fe: ISZERO
000003ff: PUSH2 0x0407
00000402: JUMPI
00000403: PUSH1 0x00
00000405: DUP1
00000406: REVERT
00000407: JUMPDEST
00000408: SWAP2
00000409: SWAP1
0000040a: DUP1
0000040b: DUP1
0000040c: PUSH1 0x1f
0000040e: ADD
0000040f: PUSH1 0x20
00000411: DUP1
00000412: SWAP2
00000413: DIV
00000414: MUL
00000415: PUSH1 0x20
00000417: ADD
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: SWAP1
0000041c: DUP2
0000041d: ADD
0000041e: PUSH1 0x40
00000420: MSTORE
00000421: DUP1
00000422: SWAP4
00000423: SWAP3
00000424: SWAP2
00000425: SWAP1
00000426: DUP2
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: DUP4
0000042d: DUP4
0000042e: DUP1
0000042f: DUP3
00000430: DUP5
00000431: CALLDATACOPY
00000432: PUSH1 0x00
00000434: SWAP3
00000435: ADD
00000436: SWAP2
00000437: SWAP1
00000438: SWAP2
00000439: MSTORE
0000043a: POP
0000043b: SWAP3
0000043c: SWAP6
0000043d: POP
0000043e: PUSH2 0x0972
00000441: SWAP5
00000442: POP
00000443: POP
00000444: POP
00000445: POP
00000446: POP
00000447: JUMP
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: DUP1
0000044b: ISZERO
0000044c: PUSH2 0x0454
0000044f: JUMPI
00000450: PUSH1 0x00
00000452: DUP1
00000453: REVERT
00000454: JUMPDEST
00000455: POP
00000456: PUSH2 0x045d
00000459: PUSH2 0x0a46
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH1 0x40
00000460: DUP1
00000461: MLOAD
00000462: PUSH1 0x01
00000464: PUSH1 0x01
00000466: PUSH1 0xa0
00000468: SHL
00000469: SUB
0000046a: SWAP1
0000046b: SWAP3
0000046c: AND
0000046d: DUP3
0000046e: MSTORE
0000046f: MLOAD
00000470: SWAP1
00000471: DUP2
00000472: SWAP1
00000473: SUB
00000474: PUSH1 0x20
00000476: ADD
00000477: SWAP1
00000478: RETURN
00000479: JUMPDEST
0000047a: CALLVALUE
0000047b: DUP1
0000047c: ISZERO
0000047d: PUSH2 0x0485
00000480: JUMPI
00000481: PUSH1 0x00
00000483: DUP1
00000484: REVERT
00000485: JUMPDEST
00000486: POP
00000487: PUSH2 0x04a3
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: PUSH2 0x0a55
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x40
000004a6: DUP1
000004a7: MLOAD
000004a8: SWAP2
000004a9: ISZERO
000004aa: ISZERO
000004ab: DUP3
000004ac: MSTORE
000004ad: MLOAD
000004ae: SWAP1
000004af: DUP2
000004b0: SWAP1
000004b1: SUB
000004b2: PUSH1 0x20
000004b4: ADD
000004b5: SWAP1
000004b6: RETURN
000004b7: JUMPDEST
000004b8: CALLVALUE
000004b9: DUP1
000004ba: ISZERO
000004bb: PUSH2 0x04c3
000004be: JUMPI
000004bf: PUSH1 0x00
000004c1: DUP1
000004c2: REVERT
000004c3: JUMPDEST
000004c4: POP
000004c5: PUSH2 0x0148
000004c8: PUSH1 0x04
000004ca: DUP1
000004cb: CALLDATASIZE
000004cc: SUB
000004cd: PUSH1 0x40
000004cf: DUP2
000004d0: LT
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: DUP1
000004dd: CALLDATALOAD
000004de: SWAP1
000004df: PUSH1 0x20
000004e1: ADD
000004e2: CALLDATALOAD
000004e3: PUSH2 0x0a6a
000004e6: JUMP
000004e7: JUMPDEST
000004e8: PUSH2 0x0148
000004eb: PUSH1 0x04
000004ed: DUP1
000004ee: CALLDATASIZE
000004ef: SUB
000004f0: PUSH1 0x40
000004f2: DUP2
000004f3: LT
000004f4: ISZERO
000004f5: PUSH2 0x04fd
000004f8: JUMPI
000004f9: PUSH1 0x00
000004fb: DUP1
000004fc: REVERT
000004fd: JUMPDEST
000004fe: DUP2
000004ff: ADD
00000500: SWAP1
00000501: PUSH1 0x20
00000503: DUP2
00000504: ADD
00000505: DUP2
00000506: CALLDATALOAD
00000507: PUSH1 0x01
00000509: PUSH1 0x20
0000050b: SHL
0000050c: DUP2
0000050d: GT
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: DUP3
00000519: ADD
0000051a: DUP4
0000051b: PUSH1 0x20
0000051d: DUP3
0000051e: ADD
0000051f: GT
00000520: ISZERO
00000521: PUSH2 0x0529
00000524: JUMPI
00000525: PUSH1 0x00
00000527: DUP1
00000528: REVERT
00000529: JUMPDEST
0000052a: DUP1
0000052b: CALLDATALOAD
0000052c: SWAP1
0000052d: PUSH1 0x20
0000052f: ADD
00000530: SWAP2
00000531: DUP5
00000532: PUSH1 0x01
00000534: DUP4
00000535: MUL
00000536: DUP5
00000537: ADD
00000538: GT
00000539: PUSH1 0x01
0000053b: PUSH1 0x20
0000053d: SHL
0000053e: DUP4
0000053f: GT
00000540: OR
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: SWAP2
0000054c: SWAP1
0000054d: DUP1
0000054e: DUP1
0000054f: PUSH1 0x1f
00000551: ADD
00000552: PUSH1 0x20
00000554: DUP1
00000555: SWAP2
00000556: DIV
00000557: MUL
00000558: PUSH1 0x20
0000055a: ADD
0000055b: PUSH1 0x40
0000055d: MLOAD
0000055e: SWAP1
0000055f: DUP2
00000560: ADD
00000561: PUSH1 0x40
00000563: MSTORE
00000564: DUP1
00000565: SWAP4
00000566: SWAP3
00000567: SWAP2
00000568: SWAP1
00000569: DUP2
0000056a: DUP2
0000056b: MSTORE
0000056c: PUSH1 0x20
0000056e: ADD
0000056f: DUP4
00000570: DUP4
00000571: DUP1
00000572: DUP3
00000573: DUP5
00000574: CALLDATACOPY
00000575: PUSH1 0x00
00000577: SWAP3
00000578: ADD
00000579: SWAP2
0000057a: SWAP1
0000057b: SWAP2
0000057c: MSTORE
0000057d: POP
0000057e: SWAP3
0000057f: SWAP6
00000580: POP
00000581: POP
00000582: SWAP2
00000583: CALLDATALOAD
00000584: SWAP3
00000585: POP
00000586: PUSH2 0x0a85
00000589: SWAP2
0000058a: POP
0000058b: POP
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH2 0x0148
00000591: PUSH2 0x0cd3
00000594: JUMP
00000595: JUMPDEST
00000596: CALLVALUE
00000597: DUP1
00000598: ISZERO
00000599: PUSH2 0x05a1
0000059c: JUMPI
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: REVERT
000005a1: JUMPDEST
000005a2: POP
000005a3: PUSH2 0x045d
000005a6: PUSH2 0x0cec
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x02
000005ad: SLOAD
000005ae: PUSH1 0x01
000005b0: PUSH1 0x01
000005b2: PUSH1 0x40
000005b4: SHL
000005b5: SUB
000005b6: AND
000005b7: DUP2
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x04
000005bc: SLOAD
000005bd: PUSH1 0x01
000005bf: PUSH1 0x01
000005c1: PUSH1 0xa0
000005c3: SHL
000005c4: SUB
000005c5: AND
000005c6: CALLER
000005c7: EQ
000005c8: PUSH2 0x05d0
000005cb: JUMPI
000005cc: PUSH1 0x00
000005ce: DUP1
000005cf: REVERT
000005d0: JUMPDEST
000005d1: PUSH1 0x05
000005d3: SSTORE
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH1 0x04
000005d8: SLOAD
000005d9: PUSH1 0x01
000005db: PUSH1 0x01
000005dd: PUSH1 0xa0
000005df: SHL
000005e0: SUB
000005e1: AND
000005e2: CALLER
000005e3: EQ
000005e4: PUSH2 0x05ec
000005e7: JUMPI
000005e8: PUSH1 0x00
000005ea: DUP1
000005eb: REVERT
000005ec: JUMPDEST
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: PUSH1 0x01
000005f2: PUSH1 0x01
000005f4: PUSH1 0xa0
000005f6: SHL
000005f7: SUB
000005f8: DUP4
000005f9: AND
000005fa: SWAP1
000005fb: DUP3
000005fc: ISZERO
000005fd: PUSH2 0x08fc
00000600: MUL
00000601: SWAP1
00000602: DUP4
00000603: SWAP1
00000604: PUSH1 0x00
00000606: DUP2
00000607: DUP2
00000608: DUP2
00000609: DUP6
0000060a: DUP9
0000060b: DUP9
0000060c: CALL
0000060d: SWAP4
0000060e: POP
0000060f: POP
00000610: POP
00000611: POP
00000612: ISZERO
00000613: DUP1
00000614: ISZERO
00000615: PUSH2 0x0622
00000618: JUMPI
00000619: RETURNDATASIZE
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: RETURNDATACOPY
0000061e: RETURNDATASIZE
0000061f: PUSH1 0x00
00000621: REVERT
00000622: JUMPDEST
00000623: POP
00000624: POP
00000625: POP
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH1 0x05
0000062a: SLOAD
0000062b: DUP2
0000062c: JUMP
0000062d: JUMPDEST
0000062e: PUSH1 0x04
00000630: SLOAD
00000631: PUSH1 0x01
00000633: PUSH1 0x01
00000635: PUSH1 0xa0
00000637: SHL
00000638: SUB
00000639: AND
0000063a: CALLER
0000063b: EQ
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: DUP3
00000646: SLOAD
00000647: SWAP2
00000648: DUP3
00000649: XOR
0000064a: AND
0000064b: XOR
0000064c: SWAP1
0000064d: SSTORE
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH1 0x01
00000652: DUP1
00000653: SLOAD
00000654: PUSH1 0x40
00000656: DUP1
00000657: MLOAD
00000658: PUSH1 0x20
0000065a: PUSH1 0x02
0000065c: DUP5
0000065d: DUP7
0000065e: AND
0000065f: ISZERO
00000660: PUSH2 0x0100
00000663: MUL
00000664: PUSH1 0x00
00000666: NOT
00000667: ADD
00000668: SWAP1
00000669: SWAP5
0000066a: AND
0000066b: SWAP4
0000066c: SWAP1
0000066d: SWAP4
0000066e: DIV
0000066f: PUSH1 0x1f
00000671: DUP2
00000672: ADD
00000673: DUP5
00000674: SWAP1
00000675: DIV
00000676: DUP5
00000677: MUL
00000678: DUP3
00000679: ADD
0000067a: DUP5
0000067b: ADD
0000067c: SWAP1
0000067d: SWAP3
0000067e: MSTORE
0000067f: DUP2
00000680: DUP2
00000681: MSTORE
00000682: SWAP3
00000683: SWAP2
00000684: DUP4
00000685: ADD
00000686: DUP3
00000687: DUP3
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x06d4
0000068d: JUMPI
0000068e: DUP1
0000068f: PUSH1 0x1f
00000691: LT
00000692: PUSH2 0x06a9
00000695: JUMPI
00000696: PUSH2 0x0100
00000699: DUP1
0000069a: DUP4
0000069b: SLOAD
0000069c: DIV
0000069d: MUL
0000069e: DUP4
0000069f: MSTORE
000006a0: SWAP2
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: SWAP2
000006a5: PUSH2 0x06d4
000006a8: JUMP
000006a9: JUMPDEST
000006aa: DUP3
000006ab: ADD
000006ac: SWAP2
000006ad: SWAP1
000006ae: PUSH1 0x00
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: PUSH1 0x00
000006b5: KECCAK256
000006b6: SWAP1
000006b7: JUMPDEST
000006b8: DUP2
000006b9: SLOAD
000006ba: DUP2
000006bb: MSTORE
000006bc: SWAP1
000006bd: PUSH1 0x01
000006bf: ADD
000006c0: SWAP1
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: DUP1
000006c5: DUP4
000006c6: GT
000006c7: PUSH2 0x06b7
000006ca: JUMPI
000006cb: DUP3
000006cc: SWAP1
000006cd: SUB
000006ce: PUSH1 0x1f
000006d0: AND
000006d1: DUP3
000006d2: ADD
000006d3: SWAP2
000006d4: JUMPDEST
000006d5: POP
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: POP
000006da: DUP2
000006db: JUMP
000006dc: JUMPDEST
000006dd: PUSH1 0x04
000006df: DUP1
000006e0: PUSH1 0x05
000006e2: SLOAD
000006e3: AND
000006e4: PUSH1 0x00
000006e6: EQ
000006e7: DUP1
000006e8: PUSH2 0x06fb
000006eb: JUMPI
000006ec: POP
000006ed: PUSH1 0x04
000006ef: SLOAD
000006f0: PUSH1 0x01
000006f2: PUSH1 0x01
000006f4: PUSH1 0xa0
000006f6: SHL
000006f7: SUB
000006f8: AND
000006f9: CALLER
000006fa: EQ
000006fb: JUMPDEST
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: PUSH2 0x070c
00000708: PUSH2 0x1d1e
0000070b: JUMP
0000070c: JUMPDEST
0000070d: PUSH2 0x074d
00000710: DUP6
00000711: DUP6
00000712: DUP1
00000713: DUP1
00000714: PUSH1 0x1f
00000716: ADD
00000717: PUSH1 0x20
00000719: DUP1
0000071a: SWAP2
0000071b: DIV
0000071c: MUL
0000071d: PUSH1 0x20
0000071f: ADD
00000720: PUSH1 0x40
00000722: MLOAD
00000723: SWAP1
00000724: DUP2
00000725: ADD
00000726: PUSH1 0x40
00000728: MSTORE
00000729: DUP1
0000072a: SWAP4
0000072b: SWAP3
0000072c: SWAP2
0000072d: SWAP1
0000072e: DUP2
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: ADD
00000734: DUP4
00000735: DUP4
00000736: DUP1
00000737: DUP3
00000738: DUP5
00000739: CALLDATACOPY
0000073a: PUSH1 0x00
0000073c: SWAP3
0000073d: ADD
0000073e: SWAP2
0000073f: SWAP1
00000740: SWAP2
00000741: MSTORE
00000742: POP
00000743: DUP8
00000744: SWAP3
00000745: POP
00000746: PUSH2 0x0cfb
00000749: SWAP2
0000074a: POP
0000074b: POP
0000074c: JUMP
0000074d: JUMPDEST
0000074e: SWAP1
0000074f: POP
00000750: PUSH2 0x0757
00000753: PUSH2 0x1d4b
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH2 0x0764
0000075b: DUP3
0000075c: PUSH1 0x60
0000075e: ADD
0000075f: MLOAD
00000760: PUSH2 0x1113
00000763: JUMP
00000764: JUMPDEST
00000765: PUSH1 0x40
00000767: DUP2
00000768: ADD
00000769: MLOAD
0000076a: SWAP1
0000076b: SWAP2
0000076c: POP
0000076d: PUSH1 0x01
0000076f: PUSH1 0x01
00000771: PUSH1 0xa0
00000773: SHL
00000774: SUB
00000775: AND
00000776: ADDRESS
00000777: EQ
00000778: PUSH2 0x07b2
0000077b: JUMPI
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: PUSH3 0x461bcd
00000783: PUSH1 0xe5
00000785: SHL
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x04
0000078a: ADD
0000078b: DUP1
0000078c: DUP1
0000078d: PUSH1 0x20
0000078f: ADD
00000790: DUP3
00000791: DUP2
00000792: SUB
00000793: DUP3
00000794: MSTORE
00000795: PUSH1 0x43
00000797: DUP2
00000798: MSTORE
00000799: PUSH1 0x20
0000079b: ADD
0000079c: DUP1
0000079d: PUSH2 0x1f88
000007a0: PUSH1 0x43
000007a2: SWAP2
000007a3: CODECOPY
000007a4: PUSH1 0x60
000007a6: ADD
000007a7: SWAP2
000007a8: POP
000007a9: POP
000007aa: PUSH1 0x40
000007ac: MLOAD
000007ad: DUP1
000007ae: SWAP2
000007af: SUB
000007b0: SWAP1
000007b1: REVERT
000007b2: JUMPDEST
000007b3: PUSH1 0x20
000007b5: DUP2
000007b6: ADD
000007b7: MLOAD
000007b8: DUP2
000007b9: MLOAD
000007ba: PUSH1 0x40
000007bc: MLOAD
000007bd: PUSH1 0x01
000007bf: PUSH1 0x01
000007c1: PUSH1 0xa0
000007c3: SHL
000007c4: SUB
000007c5: SWAP1
000007c6: SWAP3
000007c7: AND
000007c8: SWAP2
000007c9: PUSH1 0x01
000007cb: PUSH1 0x01
000007cd: PUSH1 0x80
000007cf: SHL
000007d0: SUB
000007d1: SWAP1
000007d2: SWAP2
000007d3: AND
000007d4: DUP1
000007d5: ISZERO
000007d6: PUSH2 0x08fc
000007d9: MUL
000007da: SWAP2
000007db: PUSH1 0x00
000007dd: DUP2
000007de: DUP2
000007df: DUP2
000007e0: DUP6
000007e1: DUP9
000007e2: DUP9
000007e3: CALL
000007e4: SWAP4
000007e5: POP
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: ISZERO
000007ea: DUP1
000007eb: ISZERO
000007ec: PUSH2 0x07f9
000007ef: JUMPI
000007f0: RETURNDATASIZE
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: RETURNDATACOPY
000007f5: RETURNDATASIZE
000007f6: PUSH1 0x00
000007f8: REVERT
000007f9: JUMPDEST
000007fa: POP
000007fb: DUP1
000007fc: PUSH1 0x20
000007fe: ADD
000007ff: MLOAD
00000800: PUSH1 0x01
00000802: PUSH1 0x01
00000804: PUSH1 0xa0
00000806: SHL
00000807: SUB
00000808: AND
00000809: PUSH32 0xab48b3d59a240196dc5bdd7f7a638fca310f8194c7d350c3dd7765861311ddf8
0000082a: DUP3
0000082b: PUSH1 0x00
0000082d: ADD
0000082e: MLOAD
0000082f: PUSH1 0x40
00000831: MLOAD
00000832: DUP1
00000833: DUP3
00000834: PUSH1 0x01
00000836: PUSH1 0x01
00000838: PUSH1 0x80
0000083a: SHL
0000083b: SUB
0000083c: AND
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: ADD
00000842: SWAP2
00000843: POP
00000844: POP
00000845: PUSH1 0x40
00000847: MLOAD
00000848: DUP1
00000849: SWAP2
0000084a: SUB
0000084b: SWAP1
0000084c: LOG2
0000084d: POP
0000084e: POP
0000084f: POP
00000850: POP
00000851: POP
00000852: POP
00000853: JUMP
00000854: JUMPDEST
00000855: PUSH1 0x02
00000857: DUP1
00000858: PUSH1 0x05
0000085a: SLOAD
0000085b: AND
0000085c: PUSH1 0x00
0000085e: EQ
0000085f: DUP1
00000860: PUSH2 0x0873
00000863: JUMPI
00000864: POP
00000865: PUSH1 0x04
00000867: SLOAD
00000868: PUSH1 0x01
0000086a: PUSH1 0x01
0000086c: PUSH1 0xa0
0000086e: SHL
0000086f: SUB
00000870: AND
00000871: CALLER
00000872: EQ
00000873: JUMPDEST
00000874: PUSH2 0x087c
00000877: JUMPI
00000878: PUSH1 0x00
0000087a: DUP1
0000087b: REVERT
0000087c: JUMPDEST
0000087d: CALLVALUE
0000087e: DUP3
0000087f: LT
00000880: PUSH2 0x08ba
00000883: JUMPI
00000884: PUSH1 0x40
00000886: MLOAD
00000887: PUSH3 0x461bcd
0000088b: PUSH1 0xe5
0000088d: SHL
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x04
00000892: ADD
00000893: DUP1
00000894: DUP1
00000895: PUSH1 0x20
00000897: ADD
00000898: DUP3
00000899: DUP2
0000089a: SUB
0000089b: DUP3
0000089c: MSTORE
0000089d: PUSH1 0x35
0000089f: DUP2
000008a0: MSTORE
000008a1: PUSH1 0x20
000008a3: ADD
000008a4: DUP1
000008a5: PUSH2 0x1f53
000008a8: PUSH1 0x35
000008aa: SWAP2
000008ab: CODECOPY
000008ac: PUSH1 0x40
000008ae: ADD
000008af: SWAP2
000008b0: POP
000008b1: POP
000008b2: PUSH1 0x40
000008b4: MLOAD
000008b5: DUP1
000008b6: SWAP2
000008b7: SUB
000008b8: SWAP1
000008b9: REVERT
000008ba: JUMPDEST
000008bb: CALLER
000008bc: PUSH1 0x01
000008be: PUSH1 0x01
000008c0: PUSH1 0xa0
000008c2: SHL
000008c3: SUB
000008c4: AND
000008c5: PUSH32 0xd142439c278e25dad9a50766f153d0e3d2d7bf2bd16fc2781c4bd494b2b15a9d
000008e6: DUP5
000008e7: CALLVALUE
000008e8: DUP6
000008e9: PUSH1 0x40
000008eb: MLOAD
000008ec: DUP1
000008ed: DUP1
000008ee: PUSH1 0x20
000008f0: ADD
000008f1: DUP5
000008f2: DUP2
000008f3: MSTORE
000008f4: PUSH1 0x20
000008f6: ADD
000008f7: DUP4
000008f8: DUP2
000008f9: MSTORE
000008fa: PUSH1 0x20
000008fc: ADD
000008fd: DUP3
000008fe: DUP2
000008ff: SUB
00000900: DUP3
00000901: MSTORE
00000902: DUP6
00000903: DUP2
00000904: DUP2
00000905: MLOAD
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x20
0000090a: ADD
0000090b: SWAP2
0000090c: POP
0000090d: DUP1
0000090e: MLOAD
0000090f: SWAP1
00000910: PUSH1 0x20
00000912: ADD
00000913: SWAP1
00000914: DUP1
00000915: DUP4
00000916: DUP4
00000917: PUSH1 0x00
00000919: JUMPDEST
0000091a: DUP4
0000091b: DUP2
0000091c: LT
0000091d: ISZERO
0000091e: PUSH2 0x0931
00000921: JUMPI
00000922: DUP2
00000923: DUP2
00000924: ADD
00000925: MLOAD
00000926: DUP4
00000927: DUP3
00000928: ADD
00000929: MSTORE
0000092a: PUSH1 0x20
0000092c: ADD
0000092d: PUSH2 0x0919
00000930: JUMP
00000931: JUMPDEST
00000932: POP
00000933: POP
00000934: POP
00000935: POP
00000936: SWAP1
00000937: POP
00000938: SWAP1
00000939: DUP2
0000093a: ADD
0000093b: SWAP1
0000093c: PUSH1 0x1f
0000093e: AND
0000093f: DUP1
00000940: ISZERO
00000941: PUSH2 0x095e
00000944: JUMPI
00000945: DUP1
00000946: DUP3
00000947: SUB
00000948: DUP1
00000949: MLOAD
0000094a: PUSH1 0x01
0000094c: DUP4
0000094d: PUSH1 0x20
0000094f: SUB
00000950: PUSH2 0x0100
00000953: EXP
00000954: SUB
00000955: NOT
00000956: AND
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: ADD
0000095c: SWAP2
0000095d: POP
0000095e: JUMPDEST
0000095f: POP
00000960: SWAP5
00000961: POP
00000962: POP
00000963: POP
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: MLOAD
00000969: DUP1
0000096a: SWAP2
0000096b: SUB
0000096c: SWAP1
0000096d: LOG2
0000096e: POP
0000096f: POP
00000970: POP
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x04
00000975: SLOAD
00000976: PUSH1 0x60
00000978: SWAP1
00000979: PUSH1 0x01
0000097b: PUSH1 0x01
0000097d: PUSH1 0xa0
0000097f: SHL
00000980: SUB
00000981: AND
00000982: CALLER
00000983: EQ
00000984: PUSH2 0x098c
00000987: JUMPI
00000988: PUSH1 0x00
0000098a: DUP1
0000098b: REVERT
0000098c: JUMPDEST
0000098d: PUSH1 0x00
0000098f: PUSH1 0x60
00000991: DUP5
00000992: PUSH1 0x01
00000994: PUSH1 0x01
00000996: PUSH1 0xa0
00000998: SHL
00000999: SUB
0000099a: AND
0000099b: DUP5
0000099c: PUSH1 0x40
0000099e: MLOAD
0000099f: DUP1
000009a0: DUP3
000009a1: DUP1
000009a2: MLOAD
000009a3: SWAP1
000009a4: PUSH1 0x20
000009a6: ADD
000009a7: SWAP1
000009a8: DUP1
000009a9: DUP4
000009aa: DUP4
000009ab: JUMPDEST
000009ac: PUSH1 0x20
000009ae: DUP4
000009af: LT
000009b0: PUSH2 0x09ca
000009b3: JUMPI
000009b4: DUP1
000009b5: MLOAD
000009b6: DUP3
000009b7: MSTORE
000009b8: PUSH1 0x1f
000009ba: NOT
000009bb: SWAP1
000009bc: SWAP3
000009bd: ADD
000009be: SWAP2
000009bf: PUSH1 0x20
000009c1: SWAP2
000009c2: DUP3
000009c3: ADD
000009c4: SWAP2
000009c5: ADD
000009c6: PUSH2 0x09ab
000009c9: JUMP
000009ca: JUMPDEST
000009cb: PUSH1 0x01
000009cd: DUP4
000009ce: PUSH1 0x20
000009d0: SUB
000009d1: PUSH2 0x0100
000009d4: EXP
000009d5: SUB
000009d6: DUP1
000009d7: NOT
000009d8: DUP3
000009d9: MLOAD
000009da: AND
000009db: DUP2
000009dc: DUP5
000009dd: MLOAD
000009de: AND
000009df: DUP1
000009e0: DUP3
000009e1: OR
000009e2: DUP6
000009e3: MSTORE
000009e4: POP
000009e5: POP
000009e6: POP
000009e7: POP
000009e8: POP
000009e9: POP
000009ea: SWAP1
000009eb: POP
000009ec: ADD
000009ed: SWAP2
000009ee: POP
000009ef: POP
000009f0: PUSH1 0x00
000009f2: PUSH1 0x40
000009f4: MLOAD
000009f5: DUP1
000009f6: DUP4
000009f7: SUB
000009f8: DUP2
000009f9: DUP6
000009fa: GAS
000009fb: DELEGATECALL
000009fc: SWAP2
000009fd: POP
000009fe: POP
000009ff: RETURNDATASIZE
00000a00: DUP1
00000a01: PUSH1 0x00
00000a03: DUP2
00000a04: EQ
00000a05: PUSH2 0x0a2a
00000a08: JUMPI
00000a09: PUSH1 0x40
00000a0b: MLOAD
00000a0c: SWAP2
00000a0d: POP
00000a0e: PUSH1 0x1f
00000a10: NOT
00000a11: PUSH1 0x3f
00000a13: RETURNDATASIZE
00000a14: ADD
00000a15: AND
00000a16: DUP3
00000a17: ADD
00000a18: PUSH1 0x40
00000a1a: MSTORE
00000a1b: RETURNDATASIZE
00000a1c: DUP3
00000a1d: MSTORE
00000a1e: RETURNDATASIZE
00000a1f: PUSH1 0x00
00000a21: PUSH1 0x20
00000a23: DUP5
00000a24: ADD
00000a25: RETURNDATACOPY
00000a26: PUSH2 0x0a2f
00000a29: JUMP
00000a2a: JUMPDEST
00000a2b: PUSH1 0x60
00000a2d: SWAP2
00000a2e: POP
00000a2f: JUMPDEST
00000a30: POP
00000a31: SWAP2
00000a32: POP
00000a33: SWAP2
00000a34: POP
00000a35: DUP2
00000a36: PUSH2 0x0a3e
00000a39: JUMPI
00000a3a: PUSH1 0x00
00000a3c: DUP1
00000a3d: REVERT
00000a3e: JUMPDEST
00000a3f: SWAP5
00000a40: SWAP4
00000a41: POP
00000a42: POP
00000a43: POP
00000a44: POP
00000a45: JUMP
00000a46: JUMPDEST
00000a47: PUSH1 0x00
00000a49: SLOAD
00000a4a: PUSH1 0x01
00000a4c: PUSH1 0x01
00000a4e: PUSH1 0xa0
00000a50: SHL
00000a51: SUB
00000a52: AND
00000a53: DUP2
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH1 0x03
00000a58: PUSH1 0x20
00000a5a: MSTORE
00000a5b: PUSH1 0x00
00000a5d: SWAP1
00000a5e: DUP2
00000a5f: MSTORE
00000a60: PUSH1 0x40
00000a62: SWAP1
00000a63: KECCAK256
00000a64: SLOAD
00000a65: PUSH1 0xff
00000a67: AND
00000a68: DUP2
00000a69: JUMP
00000a6a: JUMPDEST
00000a6b: PUSH1 0x04
00000a6d: SLOAD
00000a6e: PUSH1 0x01
00000a70: PUSH1 0x01
00000a72: PUSH1 0xa0
00000a74: SHL
00000a75: SUB
00000a76: AND
00000a77: CALLER
00000a78: EQ
00000a79: PUSH2 0x0a81
00000a7c: JUMPI
00000a7d: PUSH1 0x00
00000a7f: DUP1
00000a80: REVERT
00000a81: JUMPDEST
00000a82: SWAP1
00000a83: SSTORE
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x01
00000a88: DUP1
00000a89: PUSH1 0x05
00000a8b: SLOAD
00000a8c: AND
00000a8d: PUSH1 0x00
00000a8f: EQ
00000a90: DUP1
00000a91: PUSH2 0x0aa4
00000a94: JUMPI
00000a95: POP
00000a96: PUSH1 0x04
00000a98: SLOAD
00000a99: PUSH1 0x01
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0xa0
00000a9f: SHL
00000aa0: SUB
00000aa1: AND
00000aa2: CALLER
00000aa3: EQ
00000aa4: JUMPDEST
00000aa5: PUSH2 0x0aad
00000aa8: JUMPI
00000aa9: PUSH1 0x00
00000aab: DUP1
00000aac: REVERT
00000aad: JUMPDEST
00000aae: CALLVALUE
00000aaf: DUP3
00000ab0: LT
00000ab1: PUSH2 0x0aeb
00000ab4: JUMPI
00000ab5: PUSH1 0x40
00000ab7: MLOAD
00000ab8: PUSH3 0x461bcd
00000abc: PUSH1 0xe5
00000abe: SHL
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x04
00000ac3: ADD
00000ac4: DUP1
00000ac5: DUP1
00000ac6: PUSH1 0x20
00000ac8: ADD
00000ac9: DUP3
00000aca: DUP2
00000acb: SUB
00000acc: DUP3
00000acd: MSTORE
00000ace: PUSH1 0x35
00000ad0: DUP2
00000ad1: MSTORE
00000ad2: PUSH1 0x20
00000ad4: ADD
00000ad5: DUP1
00000ad6: PUSH2 0x1f53
00000ad9: PUSH1 0x35
00000adb: SWAP2
00000adc: CODECOPY
00000add: PUSH1 0x40
00000adf: ADD
00000ae0: SWAP2
00000ae1: POP
00000ae2: POP
00000ae3: PUSH1 0x40
00000ae5: MLOAD
00000ae6: DUP1
00000ae7: SWAP2
00000ae8: SUB
00000ae9: SWAP1
00000aea: REVERT
00000aeb: JUMPDEST
00000aec: PUSH1 0x60
00000aee: PUSH1 0x40
00000af0: MLOAD
00000af1: DUP1
00000af2: PUSH1 0x40
00000af4: ADD
00000af5: PUSH1 0x40
00000af7: MSTORE
00000af8: DUP1
00000af9: PUSH1 0x01
00000afb: DUP2
00000afc: MSTORE
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: PUSH1 0x1d
00000b02: PUSH1 0xf9
00000b04: SHL
00000b05: DUP2
00000b06: MSTORE
00000b07: POP
00000b08: SWAP1
00000b09: POP
00000b0a: PUSH1 0x60
00000b0c: PUSH1 0x01
00000b0e: DUP3
00000b0f: DUP7
00000b10: PUSH1 0x40
00000b12: MLOAD
00000b13: PUSH1 0x20
00000b15: ADD
00000b16: DUP1
00000b17: DUP5
00000b18: DUP1
00000b19: SLOAD
00000b1a: PUSH1 0x01
00000b1c: DUP2
00000b1d: PUSH1 0x01
00000b1f: AND
00000b20: ISZERO
00000b21: PUSH2 0x0100
00000b24: MUL
00000b25: SUB
00000b26: AND
00000b27: PUSH1 0x02
00000b29: SWAP1
00000b2a: DIV
00000b2b: DUP1
00000b2c: ISZERO
00000b2d: PUSH2 0x0b6d
00000b30: JUMPI
00000b31: DUP1
00000b32: PUSH1 0x1f
00000b34: LT
00000b35: PUSH2 0x0b4b
00000b38: JUMPI
00000b39: PUSH2 0x0100
00000b3c: DUP1
00000b3d: DUP4
00000b3e: SLOAD
00000b3f: DIV
00000b40: MUL
00000b41: DUP4
00000b42: MSTORE
00000b43: SWAP2
00000b44: DUP3
00000b45: ADD
00000b46: SWAP2
00000b47: PUSH2 0x0b6d
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: DUP3
00000b4d: ADD
00000b4e: SWAP2
00000b4f: SWAP1
00000b50: PUSH1 0x00
00000b52: MSTORE
00000b53: PUSH1 0x20
00000b55: PUSH1 0x00
00000b57: KECCAK256
00000b58: SWAP1
00000b59: JUMPDEST
00000b5a: DUP2
00000b5b: SLOAD
00000b5c: DUP2
00000b5d: MSTORE
00000b5e: SWAP1
00000b5f: PUSH1 0x01
00000b61: ADD
00000b62: SWAP1
00000b63: PUSH1 0x20
00000b65: ADD
00000b66: DUP1
00000b67: DUP4
00000b68: GT
00000b69: PUSH2 0x0b59
00000b6c: JUMPI
00000b6d: JUMPDEST
00000b6e: POP
00000b6f: POP
00000b70: DUP4
00000b71: MLOAD
00000b72: PUSH1 0x20
00000b74: DUP6
00000b75: ADD
00000b76: SWAP1
00000b77: DUP1
00000b78: DUP4
00000b79: DUP4
00000b7a: JUMPDEST
00000b7b: PUSH1 0x20
00000b7d: DUP4
00000b7e: LT
00000b7f: PUSH2 0x0b99
00000b82: JUMPI
00000b83: DUP1
00000b84: MLOAD
00000b85: DUP3
00000b86: MSTORE
00000b87: PUSH1 0x1f
00000b89: NOT
00000b8a: SWAP1
00000b8b: SWAP3
00000b8c: ADD
00000b8d: SWAP2
00000b8e: PUSH1 0x20
00000b90: SWAP2
00000b91: DUP3
00000b92: ADD
00000b93: SWAP2
00000b94: ADD
00000b95: PUSH2 0x0b7a
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: MLOAD
00000b9b: DUP2
00000b9c: MLOAD
00000b9d: PUSH1 0x20
00000b9f: SWAP4
00000ba0: DUP5
00000ba1: SUB
00000ba2: PUSH2 0x0100
00000ba5: EXP
00000ba6: PUSH1 0x00
00000ba8: NOT
00000ba9: ADD
00000baa: DUP1
00000bab: NOT
00000bac: SWAP1
00000bad: SWAP3
00000bae: AND
00000baf: SWAP2
00000bb0: AND
00000bb1: OR
00000bb2: SWAP1
00000bb3: MSTORE
00000bb4: DUP6
00000bb5: MLOAD
00000bb6: SWAP2
00000bb7: SWAP1
00000bb8: SWAP4
00000bb9: ADD
00000bba: SWAP3
00000bbb: DUP6
00000bbc: ADD
00000bbd: SWAP2
00000bbe: POP
00000bbf: DUP1
00000bc0: DUP4
00000bc1: DUP4
00000bc2: JUMPDEST
00000bc3: PUSH1 0x20
00000bc5: DUP4
00000bc6: LT
00000bc7: PUSH2 0x0be1
00000bca: JUMPI
00000bcb: DUP1
00000bcc: MLOAD
00000bcd: DUP3
00000bce: MSTORE
00000bcf: PUSH1 0x1f
00000bd1: NOT
00000bd2: SWAP1
00000bd3: SWAP3
00000bd4: ADD
00000bd5: SWAP2
00000bd6: PUSH1 0x20
00000bd8: SWAP2
00000bd9: DUP3
00000bda: ADD
00000bdb: SWAP2
00000bdc: ADD
00000bdd: PUSH2 0x0bc2
00000be0: JUMP
00000be1: JUMPDEST
00000be2: PUSH1 0x01
00000be4: DUP4
00000be5: PUSH1 0x20
00000be7: SUB
00000be8: PUSH2 0x0100
00000beb: EXP
00000bec: SUB
00000bed: DUP1
00000bee: NOT
00000bef: DUP3
00000bf0: MLOAD
00000bf1: AND
00000bf2: DUP2
00000bf3: DUP5
00000bf4: MLOAD
00000bf5: AND
00000bf6: DUP1
00000bf7: DUP3
00000bf8: OR
00000bf9: DUP6
00000bfa: MSTORE
00000bfb: POP
00000bfc: POP
00000bfd: POP
00000bfe: POP
00000bff: POP
00000c00: POP
00000c01: SWAP1
00000c02: POP
00000c03: ADD
00000c04: SWAP4
00000c05: POP
00000c06: POP
00000c07: POP
00000c08: POP
00000c09: PUSH1 0x40
00000c0b: MLOAD
00000c0c: PUSH1 0x20
00000c0e: DUP2
00000c0f: DUP4
00000c10: SUB
00000c11: SUB
00000c12: DUP2
00000c13: MSTORE
00000c14: SWAP1
00000c15: PUSH1 0x40
00000c17: MSTORE
00000c18: SWAP1
00000c19: POP
00000c1a: CALLER
00000c1b: PUSH1 0x01
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0xa0
00000c21: SHL
00000c22: SUB
00000c23: AND
00000c24: PUSH32 0xd142439c278e25dad9a50766f153d0e3d2d7bf2bd16fc2781c4bd494b2b15a9d
00000c45: DUP3
00000c46: CALLVALUE
00000c47: DUP8
00000c48: PUSH1 0x40
00000c4a: MLOAD
00000c4b: DUP1
00000c4c: DUP1
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: DUP5
00000c51: DUP2
00000c52: MSTORE
00000c53: PUSH1 0x20
00000c55: ADD
00000c56: DUP4
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x20
00000c5b: ADD
00000c5c: DUP3
00000c5d: DUP2
00000c5e: SUB
00000c5f: DUP3
00000c60: MSTORE
00000c61: DUP6
00000c62: DUP2
00000c63: DUP2
00000c64: MLOAD
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: ADD
00000c6a: SWAP2
00000c6b: POP
00000c6c: DUP1
00000c6d: MLOAD
00000c6e: SWAP1
00000c6f: PUSH1 0x20
00000c71: ADD
00000c72: SWAP1
00000c73: DUP1
00000c74: DUP4
00000c75: DUP4
00000c76: PUSH1 0x00
00000c78: JUMPDEST
00000c79: DUP4
00000c7a: DUP2
00000c7b: LT
00000c7c: ISZERO
00000c7d: PUSH2 0x0c90
00000c80: JUMPI
00000c81: DUP2
00000c82: DUP2
00000c83: ADD
00000c84: MLOAD
00000c85: DUP4
00000c86: DUP3
00000c87: ADD
00000c88: MSTORE
00000c89: PUSH1 0x20
00000c8b: ADD
00000c8c: PUSH2 0x0c78
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: POP
00000c92: POP
00000c93: POP
00000c94: POP
00000c95: SWAP1
00000c96: POP
00000c97: SWAP1
00000c98: DUP2
00000c99: ADD
00000c9a: SWAP1
00000c9b: PUSH1 0x1f
00000c9d: AND
00000c9e: DUP1
00000c9f: ISZERO
00000ca0: PUSH2 0x0cbd
00000ca3: JUMPI
00000ca4: DUP1
00000ca5: DUP3
00000ca6: SUB
00000ca7: DUP1
00000ca8: MLOAD
00000ca9: PUSH1 0x01
00000cab: DUP4
00000cac: PUSH1 0x20
00000cae: SUB
00000caf: PUSH2 0x0100
00000cb2: EXP
00000cb3: SUB
00000cb4: NOT
00000cb5: AND
00000cb6: DUP2
00000cb7: MSTORE
00000cb8: PUSH1 0x20
00000cba: ADD
00000cbb: SWAP2
00000cbc: POP
00000cbd: JUMPDEST
00000cbe: POP
00000cbf: SWAP5
00000cc0: POP
00000cc1: POP
00000cc2: POP
00000cc3: POP
00000cc4: POP
00000cc5: PUSH1 0x40
00000cc7: MLOAD
00000cc8: DUP1
00000cc9: SWAP2
00000cca: SUB
00000ccb: SWAP1
00000ccc: LOG2
00000ccd: POP
00000cce: POP
00000ccf: POP
00000cd0: POP
00000cd1: POP
00000cd2: JUMP
00000cd3: JUMPDEST
00000cd4: PUSH1 0x04
00000cd6: SLOAD
00000cd7: PUSH1 0x01
00000cd9: PUSH1 0x01
00000cdb: PUSH1 0xa0
00000cdd: SHL
00000cde: SUB
00000cdf: AND
00000ce0: CALLER
00000ce1: EQ
00000ce2: PUSH2 0x0cea
00000ce5: JUMPI
00000ce6: PUSH1 0x00
00000ce8: DUP1
00000ce9: REVERT
00000cea: JUMPDEST
00000ceb: JUMP
00000cec: JUMPDEST
00000ced: PUSH1 0x04
00000cef: SLOAD
00000cf0: PUSH1 0x01
00000cf2: PUSH1 0x01
00000cf4: PUSH1 0xa0
00000cf6: SHL
00000cf7: SUB
00000cf8: AND
00000cf9: DUP2
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: PUSH2 0x0d03
00000cff: PUSH2 0x1d1e
00000d02: JUMP
00000d03: JUMPDEST
00000d04: PUSH1 0x02
00000d06: SLOAD
00000d07: PUSH1 0x01
00000d09: PUSH1 0x01
00000d0b: PUSH1 0x40
00000d0d: SHL
00000d0e: SUB
00000d0f: SWAP1
00000d10: DUP2
00000d11: AND
00000d12: SWAP1
00000d13: DUP4
00000d14: AND
00000d15: LT
00000d16: ISZERO
00000d17: PUSH2 0x0d67
00000d1a: JUMPI
00000d1b: PUSH1 0x40
00000d1d: DUP1
00000d1e: MLOAD
00000d1f: PUSH3 0x461bcd
00000d23: PUSH1 0xe5
00000d25: SHL
00000d26: DUP2
00000d27: MSTORE
00000d28: PUSH1 0x20
00000d2a: PUSH1 0x04
00000d2c: DUP3
00000d2d: ADD
00000d2e: MSTORE
00000d2f: PUSH1 0x1f
00000d31: PUSH1 0x24
00000d33: DUP3
00000d34: ADD
00000d35: MSTORE
00000d36: PUSH32 0x50726f6f662069732066726f6d2074686520616e6369656e7420626c6f636b00
00000d57: PUSH1 0x44
00000d59: DUP3
00000d5a: ADD
00000d5b: MSTORE
00000d5c: SWAP1
00000d5d: MLOAD
00000d5e: SWAP1
00000d5f: DUP2
00000d60: SWAP1
00000d61: SUB
00000d62: PUSH1 0x64
00000d64: ADD
00000d65: SWAP1
00000d66: REVERT
00000d67: JUMPDEST
00000d68: PUSH1 0x00
00000d6a: DUP1
00000d6b: SLOAD
00000d6c: PUSH1 0x40
00000d6e: DUP1
00000d6f: MLOAD
00000d70: PUSH4 0x92d68dfd
00000d75: PUSH1 0xe0
00000d77: SHL
00000d78: DUP2
00000d79: MSTORE
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0x01
00000d7e: PUSH1 0x40
00000d80: SHL
00000d81: SUB
00000d82: DUP7
00000d83: AND
00000d84: PUSH1 0x24
00000d86: DUP3
00000d87: ADD
00000d88: MSTORE
00000d89: PUSH1 0x04
00000d8b: DUP2
00000d8c: ADD
00000d8d: SWAP2
00000d8e: DUP3
00000d8f: MSTORE
00000d90: DUP7
00000d91: MLOAD
00000d92: PUSH1 0x44
00000d94: DUP3
00000d95: ADD
00000d96: MSTORE
00000d97: DUP7
00000d98: MLOAD
00000d99: PUSH1 0x01
00000d9b: PUSH1 0x01
00000d9d: PUSH1 0xa0
00000d9f: SHL
00000da0: SUB
00000da1: SWAP1
00000da2: SWAP4
00000da3: AND
00000da4: SWAP4
00000da5: PUSH4 0x92d68dfd
00000daa: SWAP4
00000dab: DUP9
00000dac: SWAP4
00000dad: DUP9
00000dae: SWAP4
00000daf: SWAP1
00000db0: SWAP3
00000db1: DUP4
00000db2: SWAP3
00000db3: PUSH1 0x64
00000db5: SWAP1
00000db6: SWAP3
00000db7: ADD
00000db8: SWAP2
00000db9: PUSH1 0x20
00000dbb: DUP8
00000dbc: ADD
00000dbd: SWAP2
00000dbe: DUP2
00000dbf: SWAP1
00000dc0: DUP5
00000dc1: SWAP1
00000dc2: DUP5
00000dc3: SWAP1
00000dc4: JUMPDEST
00000dc5: DUP4
00000dc6: DUP2
00000dc7: LT
00000dc8: ISZERO
00000dc9: PUSH2 0x0ddc
00000dcc: JUMPI
00000dcd: DUP2
00000dce: DUP2
00000dcf: ADD
00000dd0: MLOAD
00000dd1: DUP4
00000dd2: DUP3
00000dd3: ADD
00000dd4: MSTORE
00000dd5: PUSH1 0x20
00000dd7: ADD
00000dd8: PUSH2 0x0dc4
00000ddb: JUMP
00000ddc: JUMPDEST
00000ddd: POP
00000dde: POP
00000ddf: POP
00000de0: POP
00000de1: SWAP1
00000de2: POP
00000de3: SWAP1
00000de4: DUP2
00000de5: ADD
00000de6: SWAP1
00000de7: PUSH1 0x1f
00000de9: AND
00000dea: DUP1
00000deb: ISZERO
00000dec: PUSH2 0x0e09
00000def: JUMPI
00000df0: DUP1
00000df1: DUP3
00000df2: SUB
00000df3: DUP1
00000df4: MLOAD
00000df5: PUSH1 0x01
00000df7: DUP4
00000df8: PUSH1 0x20
00000dfa: SUB
00000dfb: PUSH2 0x0100
00000dfe: EXP
00000dff: SUB
00000e00: NOT
00000e01: AND
00000e02: DUP2
00000e03: MSTORE
00000e04: PUSH1 0x20
00000e06: ADD
00000e07: SWAP2
00000e08: POP
00000e09: JUMPDEST
00000e0a: POP
00000e0b: SWAP4
00000e0c: POP
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: PUSH1 0x20
00000e12: PUSH1 0x40
00000e14: MLOAD
00000e15: DUP1
00000e16: DUP4
00000e17: SUB
00000e18: DUP2
00000e19: DUP7
00000e1a: DUP1
00000e1b: EXTCODESIZE
00000e1c: ISZERO
00000e1d: DUP1
00000e1e: ISZERO
00000e1f: PUSH2 0x0e27
00000e22: JUMPI
00000e23: PUSH1 0x00
00000e25: DUP1
00000e26: REVERT
00000e27: JUMPDEST
00000e28: POP
00000e29: GAS
00000e2a: STATICCALL
00000e2b: ISZERO
00000e2c: DUP1
00000e2d: ISZERO
00000e2e: PUSH2 0x0e3b
00000e31: JUMPI
00000e32: RETURNDATASIZE
00000e33: PUSH1 0x00
00000e35: DUP1
00000e36: RETURNDATACOPY
00000e37: RETURNDATASIZE
00000e38: PUSH1 0x00
00000e3a: REVERT
00000e3b: JUMPDEST
00000e3c: POP
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: PUSH1 0x40
00000e42: MLOAD
00000e43: RETURNDATASIZE
00000e44: PUSH1 0x20
00000e46: DUP2
00000e47: LT
00000e48: ISZERO
00000e49: PUSH2 0x0e51
00000e4c: JUMPI
00000e4d: PUSH1 0x00
00000e4f: DUP1
00000e50: REVERT
00000e51: JUMPDEST
00000e52: POP
00000e53: MLOAD
00000e54: PUSH2 0x0e9c
00000e57: JUMPI
00000e58: PUSH1 0x40
00000e5a: DUP1
00000e5b: MLOAD
00000e5c: PUSH3 0x461bcd
00000e60: PUSH1 0xe5
00000e62: SHL
00000e63: DUP2
00000e64: MSTORE
00000e65: PUSH1 0x20
00000e67: PUSH1 0x04
00000e69: DUP3
00000e6a: ADD
00000e6b: MSTORE
00000e6c: PUSH1 0x15
00000e6e: PUSH1 0x24
00000e70: DUP3
00000e71: ADD
00000e72: MSTORE
00000e73: PUSH21 0x141c9bdbd9881cda1bdd5b19081899481d985b1a59
00000e89: PUSH1 0x5a
00000e8b: SHL
00000e8c: PUSH1 0x44
00000e8e: DUP3
00000e8f: ADD
00000e90: MSTORE
00000e91: SWAP1
00000e92: MLOAD
00000e93: SWAP1
00000e94: DUP2
00000e95: SWAP1
00000e96: SUB
00000e97: PUSH1 0x64
00000e99: ADD
00000e9a: SWAP1
00000e9b: REVERT
00000e9c: JUMPDEST
00000e9d: PUSH2 0x0ea4
00000ea0: PUSH2 0x1d6b
00000ea3: JUMP
00000ea4: JUMPDEST
00000ea5: PUSH2 0x0ead
00000ea8: DUP5
00000ea9: PUSH2 0x1175
00000eac: JUMP
00000ead: JUMPDEST
00000eae: SWAP1
00000eaf: POP
00000eb0: PUSH2 0x0eb7
00000eb3: PUSH2 0x1d85
00000eb6: JUMP
00000eb7: JUMPDEST
00000eb8: PUSH2 0x0ec0
00000ebb: DUP3
00000ebc: PUSH2 0x119b
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: SWAP1
00000ec2: POP
00000ec3: PUSH2 0x0ecb
00000ec6: DUP3
00000ec7: PUSH2 0x11dd
00000eca: JUMP
00000ecb: JUMPDEST
00000ecc: PUSH2 0x0f06
00000ecf: JUMPI
00000ed0: PUSH1 0x40
00000ed2: MLOAD
00000ed3: PUSH3 0x461bcd
00000ed7: PUSH1 0xe5
00000ed9: SHL
00000eda: DUP2
00000edb: MSTORE
00000edc: PUSH1 0x04
00000ede: ADD
00000edf: DUP1
00000ee0: DUP1
00000ee1: PUSH1 0x20
00000ee3: ADD
00000ee4: DUP3
00000ee5: DUP2
00000ee6: SUB
00000ee7: DUP3
00000ee8: MSTORE
00000ee9: PUSH1 0x2c
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: DUP1
00000ef1: PUSH2 0x2085
00000ef4: PUSH1 0x2c
00000ef6: SWAP2
00000ef7: CODECOPY
00000ef8: PUSH1 0x40
00000efa: ADD
00000efb: SWAP2
00000efc: POP
00000efd: POP
00000efe: PUSH1 0x40
00000f00: MLOAD
00000f01: DUP1
00000f02: SWAP2
00000f03: SUB
00000f04: SWAP1
00000f05: REVERT
00000f06: JUMPDEST
00000f07: PUSH1 0x00
00000f09: DUP2
00000f0a: PUSH1 0x00
00000f0c: ADD
00000f0d: MLOAD
00000f0e: PUSH1 0x40
00000f10: ADD
00000f11: MLOAD
00000f12: PUSH1 0x20
00000f14: ADD
00000f15: MLOAD
00000f16: PUSH1 0x20
00000f18: ADD
00000f19: MLOAD
00000f1a: PUSH1 0x00
00000f1c: DUP2
00000f1d: MLOAD
00000f1e: DUP2
00000f1f: LT
00000f20: PUSH2 0x0f25
00000f23: JUMPI
00000f24: INVALID
00000f25: JUMPDEST
00000f26: PUSH1 0x20
00000f28: SWAP1
00000f29: DUP2
00000f2a: MUL
00000f2b: SWAP2
00000f2c: SWAP1
00000f2d: SWAP2
00000f2e: ADD
00000f2f: DUP2
00000f30: ADD
00000f31: MLOAD
00000f32: PUSH1 0x00
00000f34: DUP2
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x03
00000f39: SWAP1
00000f3a: SWAP3
00000f3b: MSTORE
00000f3c: PUSH1 0x40
00000f3e: SWAP1
00000f3f: SWAP2
00000f40: KECCAK256
00000f41: SLOAD
00000f42: SWAP1
00000f43: SWAP2
00000f44: POP
00000f45: PUSH1 0xff
00000f47: AND
00000f48: ISZERO
00000f49: PUSH2 0x0f99
00000f4c: JUMPI
00000f4d: PUSH1 0x40
00000f4f: DUP1
00000f50: MLOAD
00000f51: PUSH3 0x461bcd
00000f55: PUSH1 0xe5
00000f57: SHL
00000f58: DUP2
00000f59: MSTORE
00000f5a: PUSH1 0x20
00000f5c: PUSH1 0x04
00000f5e: DUP3
00000f5f: ADD
00000f60: MSTORE
00000f61: PUSH1 0x1f
00000f63: PUSH1 0x24
00000f65: DUP3
00000f66: ADD
00000f67: MSTORE
00000f68: PUSH32 0x546865206275726e206576656e742063616e6e6f742062652072657573656400
00000f89: PUSH1 0x44
00000f8b: DUP3
00000f8c: ADD
00000f8d: MSTORE
00000f8e: SWAP1
00000f8f: MLOAD
00000f90: SWAP1
00000f91: DUP2
00000f92: SWAP1
00000f93: SUB
00000f94: PUSH1 0x64
00000f96: ADD
00000f97: SWAP1
00000f98: REVERT
00000f99: JUMPDEST
00000f9a: PUSH1 0x00
00000f9c: DUP2
00000f9d: DUP2
00000f9e: MSTORE
00000f9f: PUSH1 0x03
00000fa1: PUSH1 0x20
00000fa3: MSTORE
00000fa4: PUSH1 0x40
00000fa6: SWAP1
00000fa7: DUP2
00000fa8: SWAP1
00000fa9: KECCAK256
00000faa: DUP1
00000fab: SLOAD
00000fac: PUSH1 0xff
00000fae: NOT
00000faf: AND
00000fb0: PUSH1 0x01
00000fb2: SWAP1
00000fb3: DUP2
00000fb4: OR
00000fb5: SWAP1
00000fb6: SWAP2
00000fb7: SSTORE
00000fb8: SWAP1
00000fb9: MLOAD
00000fba: DUP2
00000fbb: SLOAD
00000fbc: DUP2
00000fbd: SWAP1
00000fbe: DUP4
00000fbf: SWAP1
00000fc0: PUSH1 0x02
00000fc2: PUSH1 0x00
00000fc4: NOT
00000fc5: DUP3
00000fc6: DUP5
00000fc7: AND
00000fc8: ISZERO
00000fc9: PUSH2 0x0100
00000fcc: MUL
00000fcd: ADD
00000fce: SWAP1
00000fcf: SWAP2
00000fd0: AND
00000fd1: DIV
00000fd2: DUP1
00000fd3: ISZERO
00000fd4: PUSH2 0x1014
00000fd7: JUMPI
00000fd8: DUP1
00000fd9: PUSH1 0x1f
00000fdb: LT
00000fdc: PUSH2 0x0ff2
00000fdf: JUMPI
00000fe0: PUSH2 0x0100
00000fe3: DUP1
00000fe4: DUP4
00000fe5: SLOAD
00000fe6: DIV
00000fe7: MUL
00000fe8: DUP4
00000fe9: MSTORE
00000fea: SWAP2
00000feb: DUP3
00000fec: ADD
00000fed: SWAP2
00000fee: PUSH2 0x1014
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: DUP3
00000ff4: ADD
00000ff5: SWAP2
00000ff6: SWAP1
00000ff7: PUSH1 0x00
00000ff9: MSTORE
00000ffa: PUSH1 0x20
00000ffc: PUSH1 0x00
00000ffe: KECCAK256
00000fff: SWAP1
00001000: JUMPDEST
00001001: DUP2
00001002: SLOAD
00001003: DUP2
00001004: MSTORE
00001005: SWAP1
00001006: PUSH1 0x01
00001008: ADD
00001009: SWAP1
0000100a: PUSH1 0x20
0000100c: ADD
0000100d: DUP1
0000100e: DUP4
0000100f: GT
00001010: PUSH2 0x1000
00001013: JUMPI
00001014: JUMPDEST
00001015: POP
00001016: POP
00001017: SWAP2
00001018: POP
00001019: POP
0000101a: PUSH1 0x40
0000101c: MLOAD
0000101d: DUP1
0000101e: SWAP2
0000101f: SUB
00001020: SWAP1
00001021: KECCAK256
00001022: DUP3
00001023: PUSH1 0x00
00001025: ADD
00001026: MLOAD
00001027: PUSH1 0x40
00001029: ADD
0000102a: MLOAD
0000102b: PUSH1 0x20
0000102d: ADD
0000102e: MLOAD
0000102f: PUSH1 0x80
00001031: ADD
00001032: MLOAD
00001033: DUP1
00001034: MLOAD
00001035: SWAP1
00001036: PUSH1 0x20
00001038: ADD
00001039: KECCAK256
0000103a: EQ
0000103b: PUSH2 0x1075
0000103e: JUMPI
0000103f: PUSH1 0x40
00001041: MLOAD
00001042: PUSH3 0x461bcd
00001046: PUSH1 0xe5
00001048: SHL
00001049: DUP2
0000104a: MSTORE
0000104b: PUSH1 0x04
0000104d: ADD
0000104e: DUP1
0000104f: DUP1
00001050: PUSH1 0x20
00001052: ADD
00001053: DUP3
00001054: DUP2
00001055: SUB
00001056: DUP3
00001057: MSTORE
00001058: PUSH1 0x49
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: DUP1
00001060: PUSH2 0x2000
00001063: PUSH1 0x49
00001065: SWAP2
00001066: CODECOPY
00001067: PUSH1 0x60
00001069: ADD
0000106a: SWAP2
0000106b: POP
0000106c: POP
0000106d: PUSH1 0x40
0000106f: MLOAD
00001070: DUP1
00001071: SWAP2
00001072: SUB
00001073: SWAP1
00001074: REVERT
00001075: JUMPDEST
00001076: DUP2
00001077: PUSH1 0x00
00001079: ADD
0000107a: MLOAD
0000107b: PUSH1 0x40
0000107d: ADD
0000107e: MLOAD
0000107f: PUSH1 0x20
00001081: ADD
00001082: MLOAD
00001083: PUSH1 0xa0
00001085: ADD
00001086: MLOAD
00001087: SWAP4
00001088: POP
00001089: DUP4
0000108a: PUSH1 0x40
0000108c: ADD
0000108d: MLOAD
0000108e: ISZERO
0000108f: PUSH2 0x10c9
00001092: JUMPI
00001093: PUSH1 0x40
00001095: MLOAD
00001096: PUSH3 0x461bcd
0000109a: PUSH1 0xe5
0000109c: SHL
0000109d: DUP2
0000109e: MSTORE
0000109f: PUSH1 0x04
000010a1: ADD
000010a2: DUP1
000010a3: DUP1
000010a4: PUSH1 0x20
000010a6: ADD
000010a7: DUP3
000010a8: DUP2
000010a9: SUB
000010aa: DUP3
000010ab: MSTORE
000010ac: PUSH1 0x3c
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: DUP1
000010b4: PUSH2 0x2049
000010b7: PUSH1 0x3c
000010b9: SWAP2
000010ba: CODECOPY
000010bb: PUSH1 0x40
000010bd: ADD
000010be: SWAP2
000010bf: POP
000010c0: POP
000010c1: PUSH1 0x40
000010c3: MLOAD
000010c4: DUP1
000010c5: SWAP2
000010c6: SUB
000010c7: SWAP1
000010c8: REVERT
000010c9: JUMPDEST
000010ca: DUP4
000010cb: PUSH1 0x20
000010cd: ADD
000010ce: MLOAD
000010cf: ISZERO
000010d0: PUSH2 0x110a
000010d3: JUMPI
000010d4: PUSH1 0x40
000010d6: MLOAD
000010d7: PUSH3 0x461bcd
000010db: PUSH1 0xe5
000010dd: SHL
000010de: DUP2
000010df: MSTORE
000010e0: PUSH1 0x04
000010e2: ADD
000010e3: DUP1
000010e4: DUP1
000010e5: PUSH1 0x20
000010e7: ADD
000010e8: DUP3
000010e9: DUP2
000010ea: SUB
000010eb: DUP3
000010ec: MSTORE
000010ed: PUSH1 0x3d
000010ef: DUP2
000010f0: MSTORE
000010f1: PUSH1 0x20
000010f3: ADD
000010f4: DUP1
000010f5: PUSH2 0x20b1
000010f8: PUSH1 0x3d
000010fa: SWAP2
000010fb: CODECOPY
000010fc: PUSH1 0x40
000010fe: ADD
000010ff: SWAP2
00001100: POP
00001101: POP
00001102: PUSH1 0x40
00001104: MLOAD
00001105: DUP1
00001106: SWAP2
00001107: SUB
00001108: SWAP1
00001109: REVERT
0000110a: JUMPDEST
0000110b: POP
0000110c: POP
0000110d: POP
0000110e: SWAP3
0000110f: SWAP2
00001110: POP
00001111: POP
00001112: JUMP
00001113: JUMPDEST
00001114: PUSH2 0x111b
00001117: PUSH2 0x1d4b
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH2 0x1123
0000111f: PUSH2 0x1d6b
00001122: JUMP
00001123: JUMPDEST
00001124: PUSH2 0x112c
00001127: DUP4
00001128: PUSH2 0x1175
0000112b: JUMP
0000112c: JUMPDEST
0000112d: SWAP1
0000112e: POP
0000112f: PUSH2 0x1137
00001132: DUP2
00001133: PUSH2 0x11e9
00001136: JUMP
00001137: JUMPDEST
00001138: PUSH1 0x01
0000113a: PUSH1 0x01
0000113c: PUSH1 0x80
0000113e: SHL
0000113f: SUB
00001140: AND
00001141: DUP3
00001142: MSTORE
00001143: PUSH1 0x00
00001145: PUSH2 0x114d
00001148: DUP3
00001149: PUSH2 0x121b
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH1 0x60
00001150: DUP2
00001151: SWAP1
00001152: SHR
00001153: PUSH1 0x20
00001155: DUP6
00001156: ADD
00001157: MSTORE
00001158: SWAP1
00001159: POP
0000115a: PUSH1 0x00
0000115c: PUSH2 0x1164
0000115f: DUP4
00001160: PUSH2 0x121b
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH1 0x60
00001167: SHR
00001168: PUSH1 0x40
0000116a: DUP6
0000116b: ADD
0000116c: MSTORE
0000116d: POP
0000116e: SWAP2
0000116f: SWAP4
00001170: SWAP3
00001171: POP
00001172: POP
00001173: POP
00001174: JUMP
00001175: JUMPDEST
00001176: PUSH2 0x117d
00001179: PUSH2 0x1d6b
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH1 0x40
00001180: MLOAD
00001181: DUP1
00001182: PUSH1 0x40
00001184: ADD
00001185: PUSH1 0x40
00001187: MSTORE
00001188: DUP1
00001189: PUSH1 0x00
0000118b: DUP2
0000118c: MSTORE
0000118d: PUSH1 0x20
0000118f: ADD
00001190: DUP4
00001191: DUP2
00001192: MSTORE
00001193: POP
00001194: SWAP1
00001195: POP
00001196: JUMPDEST
00001197: SWAP2
00001198: SWAP1
00001199: POP
0000119a: JUMP
0000119b: JUMPDEST
0000119c: PUSH2 0x11a3
0000119f: PUSH2 0x1d85
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH2 0x11ac
000011a7: DUP3
000011a8: PUSH2 0x1257
000011ab: JUMP
000011ac: JUMPDEST
000011ad: DUP2
000011ae: MSTORE
000011af: PUSH2 0x11b7
000011b2: DUP3
000011b3: PUSH2 0x128b
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH1 0x20
000011ba: DUP3
000011bb: ADD
000011bc: MSTORE
000011bd: PUSH2 0x11c5
000011c0: DUP3
000011c1: PUSH2 0x132b
000011c4: JUMP
000011c5: JUMPDEST
000011c6: PUSH1 0x40
000011c8: DUP3
000011c9: ADD
000011ca: MSTORE
000011cb: PUSH2 0x11d3
000011ce: DUP3
000011cf: PUSH2 0x128b
000011d2: JUMP
000011d3: JUMPDEST
000011d4: PUSH1 0x60
000011d6: DUP3
000011d7: ADD
000011d8: MSTORE
000011d9: SWAP2
000011da: SWAP1
000011db: POP
000011dc: JUMP
000011dd: JUMPDEST
000011de: PUSH1 0x20
000011e0: DUP2
000011e1: ADD
000011e2: MLOAD
000011e3: MLOAD
000011e4: SWAP1
000011e5: MLOAD
000011e6: EQ
000011e7: SWAP1
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH1 0x00
000011ec: PUSH2 0x11f4
000011ef: DUP3
000011f0: PUSH2 0x14d0
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x01
000011f7: PUSH1 0x01
000011f9: PUSH1 0x40
000011fb: SHL
000011fc: SUB
000011fd: AND
000011fe: SWAP1
000011ff: POP
00001200: PUSH1 0x40
00001202: PUSH2 0x120a
00001205: DUP4
00001206: PUSH2 0x14d0
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH1 0x01
0000120d: PUSH1 0x01
0000120f: PUSH1 0x40
00001211: SHL
00001212: SUB
00001213: AND
00001214: SWAP1
00001215: SHL
00001216: OR
00001217: SWAP2
00001218: SWAP1
00001219: POP
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x00
0000121e: DUP1
0000121f: JUMPDEST
00001220: PUSH1 0x14
00001222: DUP2
00001223: LT
00001224: ISZERO
00001225: PUSH2 0x1251
00001228: JUMPI
00001229: DUP1
0000122a: PUSH1 0x08
0000122c: MUL
0000122d: PUSH2 0x1235
00001230: DUP5
00001231: PUSH2 0x14fc
00001234: JUMP
00001235: JUMPDEST
00001236: PUSH1 0xf8
00001238: SHL
00001239: PUSH1 0x01
0000123b: PUSH1 0x01
0000123d: PUSH1 0xf8
0000123f: SHL
00001240: SUB
00001241: NOT
00001242: AND
00001243: SWAP1
00001244: SHR
00001245: SWAP2
00001246: SWAP1
00001247: SWAP2
00001248: OR
00001249: SWAP1
0000124a: PUSH1 0x01
0000124c: ADD
0000124d: PUSH2 0x121f
00001250: JUMP
00001251: JUMPDEST
00001252: POP
00001253: SWAP2
00001254: SWAP1
00001255: POP
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH2 0x125f
0000125b: PUSH2 0x1dc4
0000125e: JUMP
0000125f: JUMPDEST
00001260: PUSH2 0x1268
00001263: DUP3
00001264: PUSH2 0x128b
00001267: JUMP
00001268: JUMPDEST
00001269: DUP2
0000126a: MSTORE
0000126b: PUSH2 0x1273
0000126e: DUP3
0000126f: PUSH2 0x157e
00001272: JUMP
00001273: JUMPDEST
00001274: PUSH1 0x20
00001276: DUP3
00001277: ADD
00001278: MSTORE
00001279: PUSH2 0x1281
0000127c: DUP3
0000127d: PUSH2 0x15f3
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x40
00001284: DUP3
00001285: ADD
00001286: MSTORE
00001287: SWAP2
00001288: SWAP1
00001289: POP
0000128a: JUMP
0000128b: JUMPDEST
0000128c: PUSH2 0x1293
0000128f: PUSH2 0x1deb
00001292: JUMP
00001293: JUMPDEST
00001294: PUSH2 0x129c
00001297: DUP3
00001298: PUSH2 0x176c
0000129b: JUMP
0000129c: JUMPDEST
0000129d: PUSH4 0xffffffff
000012a2: AND
000012a3: PUSH1 0x01
000012a5: PUSH1 0x01
000012a7: PUSH1 0x40
000012a9: SHL
000012aa: SUB
000012ab: DUP2
000012ac: GT
000012ad: DUP1
000012ae: ISZERO
000012af: PUSH2 0x12b7
000012b2: JUMPI
000012b3: PUSH1 0x00
000012b5: DUP1
000012b6: REVERT
000012b7: JUMPDEST
000012b8: POP
000012b9: PUSH1 0x40
000012bb: MLOAD
000012bc: SWAP1
000012bd: DUP1
000012be: DUP3
000012bf: MSTORE
000012c0: DUP1
000012c1: PUSH1 0x20
000012c3: MUL
000012c4: PUSH1 0x20
000012c6: ADD
000012c7: DUP3
000012c8: ADD
000012c9: PUSH1 0x40
000012cb: MSTORE
000012cc: DUP1
000012cd: ISZERO
000012ce: PUSH2 0x12f1
000012d1: JUMPI
000012d2: DUP2
000012d3: PUSH1 0x20
000012d5: ADD
000012d6: JUMPDEST
000012d7: PUSH2 0x12de
000012da: PUSH2 0x1dfe
000012dd: JUMP
000012de: JUMPDEST
000012df: DUP2
000012e0: MSTORE
000012e1: PUSH1 0x20
000012e3: ADD
000012e4: SWAP1
000012e5: PUSH1 0x01
000012e7: SWAP1
000012e8: SUB
000012e9: SWAP1
000012ea: DUP2
000012eb: PUSH2 0x12d6
000012ee: JUMPI
000012ef: SWAP1
000012f0: POP
000012f1: JUMPDEST
000012f2: POP
000012f3: DUP2
000012f4: MSTORE
000012f5: PUSH1 0x00
000012f7: JUMPDEST
000012f8: DUP2
000012f9: MLOAD
000012fa: MLOAD
000012fb: DUP2
000012fc: LT
000012fd: ISZERO
000012fe: PUSH2 0x1251
00001301: JUMPI
00001302: PUSH2 0x130a
00001305: DUP4
00001306: PUSH2 0x1794
00001309: JUMP
0000130a: JUMPDEST
0000130b: DUP3
0000130c: MLOAD
0000130d: DUP1
0000130e: MLOAD
0000130f: DUP4
00001310: SWAP1
00001311: DUP2
00001312: LT
00001313: PUSH2 0x1318
00001316: JUMPI
00001317: INVALID
00001318: JUMPDEST
00001319: PUSH1 0x20
0000131b: SWAP1
0000131c: DUP2
0000131d: MUL
0000131e: SWAP2
0000131f: SWAP1
00001320: SWAP2
00001321: ADD
00001322: ADD
00001323: MSTORE
00001324: PUSH1 0x01
00001326: ADD
00001327: PUSH2 0x12f7
0000132a: JUMP
0000132b: JUMPDEST
0000132c: PUSH2 0x1333
0000132f: PUSH2 0x1e15
00001332: JUMP
00001333: JUMPDEST
00001334: PUSH2 0x133c
00001337: DUP3
00001338: PUSH2 0x157e
0000133b: JUMP
0000133c: JUMPDEST
0000133d: DUP2
0000133e: MSTORE
0000133f: PUSH2 0x1347
00001342: DUP3
00001343: PUSH2 0x157e
00001346: JUMP
00001347: JUMPDEST
00001348: PUSH1 0x20
0000134a: DUP3
0000134b: ADD
0000134c: MSTORE
0000134d: PUSH2 0x1355
00001350: DUP3
00001351: PUSH2 0x17f8
00001354: JUMP
00001355: JUMPDEST
00001356: DUP2
00001357: PUSH1 0x40
00001359: ADD
0000135a: DUP2
0000135b: SWAP1
0000135c: MSTORE
0000135d: POP
0000135e: PUSH1 0x02
00001360: DUP1
00001361: DUP3
00001362: PUSH1 0x40
00001364: ADD
00001365: MLOAD
00001366: PUSH2 0x0100
00001369: ADD
0000136a: MLOAD
0000136b: DUP4
0000136c: PUSH1 0x20
0000136e: ADD
0000136f: MLOAD
00001370: PUSH1 0x40
00001372: MLOAD
00001373: PUSH1 0x20
00001375: ADD
00001376: DUP1
00001377: DUP4
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x20
0000137c: ADD
0000137d: DUP3
0000137e: DUP2
0000137f: MSTORE
00001380: PUSH1 0x20
00001382: ADD
00001383: SWAP3
00001384: POP
00001385: POP
00001386: POP
00001387: PUSH1 0x40
00001389: MLOAD
0000138a: PUSH1 0x20
0000138c: DUP2
0000138d: DUP4
0000138e: SUB
0000138f: SUB
00001390: DUP2
00001391: MSTORE
00001392: SWAP1
00001393: PUSH1 0x40
00001395: MSTORE
00001396: PUSH1 0x40
00001398: MLOAD
00001399: DUP1
0000139a: DUP3
0000139b: DUP1
0000139c: MLOAD
0000139d: SWAP1
0000139e: PUSH1 0x20
000013a0: ADD
000013a1: SWAP1
000013a2: DUP1
000013a3: DUP4
000013a4: DUP4
000013a5: JUMPDEST
000013a6: PUSH1 0x20
000013a8: DUP4
000013a9: LT
000013aa: PUSH2 0x13c4
000013ad: JUMPI
000013ae: DUP1
000013af: MLOAD
000013b0: DUP3
000013b1: MSTORE
000013b2: PUSH1 0x1f
000013b4: NOT
000013b5: SWAP1
000013b6: SWAP3
000013b7: ADD
000013b8: SWAP2
000013b9: PUSH1 0x20
000013bb: SWAP2
000013bc: DUP3
000013bd: ADD
000013be: SWAP2
000013bf: ADD
000013c0: PUSH2 0x13a5
000013c3: JUMP
000013c4: JUMPDEST
000013c5: MLOAD
000013c6: DUP2
000013c7: MLOAD
000013c8: PUSH1 0x20
000013ca: SWAP4
000013cb: DUP5
000013cc: SUB
000013cd: PUSH2 0x0100
000013d0: EXP
000013d1: PUSH1 0x00
000013d3: NOT
000013d4: ADD
000013d5: DUP1
000013d6: NOT
000013d7: SWAP1
000013d8: SWAP3
000013d9: AND
000013da: SWAP2
000013db: AND
000013dc: OR
000013dd: SWAP1
000013de: MSTORE
000013df: PUSH1 0x40
000013e1: MLOAD
000013e2: SWAP2
000013e3: SWAP1
000013e4: SWAP4
000013e5: ADD
000013e6: SWAP5
000013e7: POP
000013e8: SWAP2
000013e9: SWAP3
000013ea: POP
000013eb: POP
000013ec: DUP1
000013ed: DUP4
000013ee: SUB
000013ef: DUP2
000013f0: DUP6
000013f1: GAS
000013f2: STATICCALL
000013f3: ISZERO
000013f4: DUP1
000013f5: ISZERO
000013f6: PUSH2 0x1403
000013f9: JUMPI
000013fa: RETURNDATASIZE
000013fb: PUSH1 0x00
000013fd: DUP1
000013fe: RETURNDATACOPY
000013ff: RETURNDATASIZE
00001400: PUSH1 0x00
00001402: REVERT
00001403: JUMPDEST
00001404: POP
00001405: POP
00001406: POP
00001407: PUSH1 0x40
00001409: MLOAD
0000140a: RETURNDATASIZE
0000140b: PUSH1 0x20
0000140d: DUP2
0000140e: LT
0000140f: ISZERO
00001410: PUSH2 0x1418
00001413: JUMPI
00001414: PUSH1 0x00
00001416: DUP1
00001417: REVERT
00001418: JUMPDEST
00001419: POP
0000141a: MLOAD
0000141b: DUP3
0000141c: MLOAD
0000141d: PUSH1 0x40
0000141f: DUP1
00001420: MLOAD
00001421: PUSH1 0x20
00001423: DUP2
00001424: DUP2
00001425: ADD
00001426: SWAP5
00001427: SWAP1
00001428: SWAP5
00001429: MSTORE
0000142a: DUP1
0000142b: DUP3
0000142c: ADD
0000142d: SWAP3
0000142e: SWAP1
0000142f: SWAP3
00001430: MSTORE
00001431: DUP1
00001432: MLOAD
00001433: DUP1
00001434: DUP4
00001435: SUB
00001436: DUP3
00001437: ADD
00001438: DUP2
00001439: MSTORE
0000143a: PUSH1 0x60
0000143c: SWAP1
0000143d: SWAP3
0000143e: ADD
0000143f: SWAP1
00001440: DUP2
00001441: SWAP1
00001442: MSTORE
00001443: DUP2
00001444: MLOAD
00001445: SWAP2
00001446: SWAP3
00001447: SWAP1
00001448: SWAP2
00001449: DUP3
0000144a: SWAP2
0000144b: DUP5
0000144c: ADD
0000144d: SWAP1
0000144e: DUP1
0000144f: DUP4
00001450: DUP4
00001451: JUMPDEST
00001452: PUSH1 0x20
00001454: DUP4
00001455: LT
00001456: PUSH2 0x1470
00001459: JUMPI
0000145a: DUP1
0000145b: MLOAD
0000145c: DUP3
0000145d: MSTORE
0000145e: PUSH1 0x1f
00001460: NOT
00001461: SWAP1
00001462: SWAP3
00001463: ADD
00001464: SWAP2
00001465: PUSH1 0x20
00001467: SWAP2
00001468: DUP3
00001469: ADD
0000146a: SWAP2
0000146b: ADD
0000146c: PUSH2 0x1451
0000146f: JUMP
00001470: JUMPDEST
00001471: MLOAD
00001472: DUP2
00001473: MLOAD
00001474: PUSH1 0x20
00001476: SWAP4
00001477: DUP5
00001478: SUB
00001479: PUSH2 0x0100
0000147c: EXP
0000147d: PUSH1 0x00
0000147f: NOT
00001480: ADD
00001481: DUP1
00001482: NOT
00001483: SWAP1
00001484: SWAP3
00001485: AND
00001486: SWAP2
00001487: AND
00001488: OR
00001489: SWAP1
0000148a: MSTORE
0000148b: PUSH1 0x40
0000148d: MLOAD
0000148e: SWAP2
0000148f: SWAP1
00001490: SWAP4
00001491: ADD
00001492: SWAP5
00001493: POP
00001494: SWAP2
00001495: SWAP3
00001496: POP
00001497: POP
00001498: DUP1
00001499: DUP4
0000149a: SUB
0000149b: DUP2
0000149c: DUP6
0000149d: GAS
0000149e: STATICCALL
0000149f: ISZERO
000014a0: DUP1
000014a1: ISZERO
000014a2: PUSH2 0x14af
000014a5: JUMPI
000014a6: RETURNDATASIZE
000014a7: PUSH1 0x00
000014a9: DUP1
000014aa: RETURNDATACOPY
000014ab: RETURNDATASIZE
000014ac: PUSH1 0x00
000014ae: REVERT
000014af: JUMPDEST
000014b0: POP
000014b1: POP
000014b2: POP
000014b3: PUSH1 0x40
000014b5: MLOAD
000014b6: RETURNDATASIZE
000014b7: PUSH1 0x20
000014b9: DUP2
000014ba: LT
000014bb: ISZERO
000014bc: PUSH2 0x14c4
000014bf: JUMPI
000014c0: PUSH1 0x00
000014c2: DUP1
000014c3: REVERT
000014c4: JUMPDEST
000014c5: POP
000014c6: MLOAD
000014c7: PUSH1 0x60
000014c9: DUP3
000014ca: ADD
000014cb: MSTORE
000014cc: SWAP2
000014cd: SWAP1
000014ce: POP
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x00
000014d3: PUSH2 0x14db
000014d6: DUP3
000014d7: PUSH2 0x176c
000014da: JUMP
000014db: JUMPDEST
000014dc: PUSH4 0xffffffff
000014e1: AND
000014e2: SWAP1
000014e3: POP
000014e4: PUSH1 0x20
000014e6: PUSH2 0x14ee
000014e9: DUP4
000014ea: PUSH2 0x176c
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH4 0xffffffff
000014f4: AND
000014f5: SWAP1
000014f6: SHL
000014f7: OR
000014f8: SWAP2
000014f9: SWAP1
000014fa: POP
000014fb: JUMP
000014fc: JUMPDEST
000014fd: PUSH1 0x00
000014ff: DUP2
00001500: PUSH1 0x01
00001502: DUP1
00001503: DUP3
00001504: PUSH1 0x00
00001506: ADD
00001507: MLOAD
00001508: ADD
00001509: DUP3
0000150a: PUSH1 0x20
0000150c: ADD
0000150d: MLOAD
0000150e: MLOAD
0000150f: LT
00001510: ISZERO
00001511: PUSH2 0x1557
00001514: JUMPI
00001515: PUSH1 0x40
00001517: DUP1
00001518: MLOAD
00001519: PUSH3 0x461bcd
0000151d: PUSH1 0xe5
0000151f: SHL
00001520: DUP2
00001521: MSTORE
00001522: PUSH1 0x20
00001524: PUSH1 0x04
00001526: DUP3
00001527: ADD
00001528: MSTORE
00001529: PUSH1 0x13
0000152b: PUSH1 0x24
0000152d: DUP3
0000152e: ADD
0000152f: MSTORE
00001530: PUSH19 0x426f7273683a204f7574206f662072616e6765
00001544: PUSH1 0x68
00001546: SHL
00001547: PUSH1 0x44
00001549: DUP3
0000154a: ADD
0000154b: MSTORE
0000154c: SWAP1
0000154d: MLOAD
0000154e: SWAP1
0000154f: DUP2
00001550: SWAP1
00001551: SUB
00001552: PUSH1 0x64
00001554: ADD
00001555: SWAP1
00001556: REVERT
00001557: JUMPDEST
00001558: PUSH1 0x20
0000155a: DUP5
0000155b: ADD
0000155c: MLOAD
0000155d: DUP5
0000155e: MLOAD
0000155f: DUP2
00001560: MLOAD
00001561: DUP2
00001562: LT
00001563: PUSH2 0x1568
00001566: JUMPI
00001567: INVALID
00001568: JUMPDEST
00001569: ADD
0000156a: PUSH1 0x20
0000156c: ADD
0000156d: MLOAD
0000156e: DUP3
0000156f: MLOAD
00001570: SWAP1
00001571: SWAP2
00001572: ADD
00001573: SWAP1
00001574: SWAP2
00001575: MSTORE
00001576: PUSH1 0xf8
00001578: SHR
00001579: SWAP3
0000157a: SWAP2
0000157b: POP
0000157c: POP
0000157d: JUMP
0000157e: JUMPDEST
0000157f: PUSH1 0x00
00001581: DUP2
00001582: PUSH1 0x20
00001584: DUP1
00001585: DUP3
00001586: PUSH1 0x00
00001588: ADD
00001589: MLOAD
0000158a: ADD
0000158b: DUP3
0000158c: PUSH1 0x20
0000158e: ADD
0000158f: MLOAD
00001590: MLOAD
00001591: LT
00001592: ISZERO
00001593: PUSH2 0x15d9
00001596: JUMPI
00001597: PUSH1 0x40
00001599: DUP1
0000159a: MLOAD
0000159b: PUSH3 0x461bcd
0000159f: PUSH1 0xe5
000015a1: SHL
000015a2: DUP2
000015a3: MSTORE
000015a4: PUSH1 0x20
000015a6: PUSH1 0x04
000015a8: DUP3
000015a9: ADD
000015aa: MSTORE
000015ab: PUSH1 0x13
000015ad: PUSH1 0x24
000015af: DUP3
000015b0: ADD
000015b1: MSTORE
000015b2: PUSH19 0x426f7273683a204f7574206f662072616e6765
000015c6: PUSH1 0x68
000015c8: SHL
000015c9: PUSH1 0x44
000015cb: DUP3
000015cc: ADD
000015cd: MSTORE
000015ce: SWAP1
000015cf: MLOAD
000015d0: SWAP1
000015d1: DUP2
000015d2: SWAP1
000015d3: SUB
000015d4: PUSH1 0x64
000015d6: ADD
000015d7: SWAP1
000015d8: REVERT
000015d9: JUMPDEST
000015da: PUSH1 0x20
000015dc: DUP1
000015dd: DUP6
000015de: ADD
000015df: MLOAD
000015e0: SWAP5
000015e1: MLOAD
000015e2: SWAP1
000015e3: SWAP5
000015e4: ADD
000015e5: SWAP1
000015e6: SWAP4
000015e7: ADD
000015e8: MLOAD
000015e9: DUP2
000015ea: MLOAD
000015eb: SWAP1
000015ec: SWAP4
000015ed: ADD
000015ee: SWAP1
000015ef: MSTORE
000015f0: POP
000015f1: SWAP1
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH2 0x15fb
000015f7: PUSH2 0x1e41
000015fa: JUMP
000015fb: JUMPDEST
000015fc: PUSH2 0x1604
000015ff: DUP3
00001600: PUSH2 0x157e
00001603: JUMP
00001604: JUMPDEST
00001605: DUP2
00001606: MSTORE
00001607: PUSH2 0x160f
0000160a: DUP3
0000160b: PUSH2 0x1895
0000160e: JUMP
0000160f: JUMPDEST
00001610: DUP2
00001611: PUSH1 0x20
00001613: ADD
00001614: DUP2
00001615: SWAP1
00001616: MSTORE
00001617: POP
00001618: PUSH1 0x00
0000161a: DUP2
0000161b: PUSH1 0x20
0000161d: ADD
0000161e: MLOAD
0000161f: PUSH1 0xc0
00001621: ADD
00001622: MLOAD
00001623: MLOAD
00001624: PUSH1 0x01
00001626: ADD
00001627: SWAP1
00001628: POP
00001629: PUSH1 0x02
0000162b: PUSH1 0x00
0000162d: DUP3
0000162e: SWAP1
0000162f: SHR
00001630: PUSH1 0xff
00001632: AND
00001633: PUSH1 0x08
00001635: DUP4
00001636: SWAP1
00001637: SHR
00001638: PUSH1 0xff
0000163a: AND
0000163b: PUSH1 0x10
0000163d: DUP5
0000163e: SWAP1
0000163f: SHR
00001640: PUSH1 0xff
00001642: AND
00001643: PUSH1 0x18
00001645: DUP6
00001646: SWAP1
00001647: SHR
00001648: PUSH1 0xff
0000164a: AND
0000164b: DUP7
0000164c: PUSH1 0x00
0000164e: ADD
0000164f: MLOAD
00001650: DUP8
00001651: PUSH1 0x20
00001653: ADD
00001654: MLOAD
00001655: PUSH1 0xc0
00001657: ADD
00001658: MLOAD
00001659: PUSH1 0x40
0000165b: MLOAD
0000165c: PUSH1 0x20
0000165e: ADD
0000165f: DUP1
00001660: DUP8
00001661: PUSH1 0xff
00001663: AND
00001664: PUSH1 0xf8
00001666: SHL
00001667: DUP2
00001668: MSTORE
00001669: PUSH1 0x01
0000166b: ADD
0000166c: DUP7
0000166d: PUSH1 0xff
0000166f: AND
00001670: PUSH1 0xf8
00001672: SHL
00001673: DUP2
00001674: MSTORE
00001675: PUSH1 0x01
00001677: ADD
00001678: DUP6
00001679: PUSH1 0xff
0000167b: AND
0000167c: PUSH1 0xf8
0000167e: SHL
0000167f: DUP2
00001680: MSTORE
00001681: PUSH1 0x01
00001683: ADD
00001684: DUP5
00001685: PUSH1 0xff
00001687: AND
00001688: PUSH1 0xf8
0000168a: SHL
0000168b: DUP2
0000168c: MSTORE
0000168d: PUSH1 0x01
0000168f: ADD
00001690: DUP4
00001691: DUP2
00001692: MSTORE
00001693: PUSH1 0x20
00001695: ADD
00001696: DUP3
00001697: DUP1
00001698: MLOAD
00001699: SWAP1
0000169a: PUSH1 0x20
0000169c: ADD
0000169d: SWAP1
0000169e: PUSH1 0x20
000016a0: MUL
000016a1: DUP1
000016a2: DUP4
000016a3: DUP4
000016a4: PUSH1 0x00
000016a6: JUMPDEST
000016a7: DUP4
000016a8: DUP2
000016a9: LT
000016aa: ISZERO
000016ab: PUSH2 0x16be
000016ae: JUMPI
000016af: DUP2
000016b0: DUP2
000016b1: ADD
000016b2: MLOAD
000016b3: DUP4
000016b4: DUP3
000016b5: ADD
000016b6: MSTORE
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: PUSH2 0x16a6
000016bd: JUMP
000016be: JUMPDEST
000016bf: POP
000016c0: POP
000016c1: POP
000016c2: POP
000016c3: SWAP1
000016c4: POP
000016c5: ADD
000016c6: SWAP7
000016c7: POP
000016c8: POP
000016c9: POP
000016ca: POP
000016cb: POP
000016cc: POP
000016cd: POP
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: PUSH1 0x20
000016d3: DUP2
000016d4: DUP4
000016d5: SUB
000016d6: SUB
000016d7: DUP2
000016d8: MSTORE
000016d9: SWAP1
000016da: PUSH1 0x40
000016dc: MSTORE
000016dd: PUSH1 0x40
000016df: MLOAD
000016e0: DUP1
000016e1: DUP3
000016e2: DUP1
000016e3: MLOAD
000016e4: SWAP1
000016e5: PUSH1 0x20
000016e7: ADD
000016e8: SWAP1
000016e9: DUP1
000016ea: DUP4
000016eb: DUP4
000016ec: JUMPDEST
000016ed: PUSH1 0x20
000016ef: DUP4
000016f0: LT
000016f1: PUSH2 0x170b
000016f4: JUMPI
000016f5: DUP1
000016f6: MLOAD
000016f7: DUP3
000016f8: MSTORE
000016f9: PUSH1 0x1f
000016fb: NOT
000016fc: SWAP1
000016fd: SWAP3
000016fe: ADD
000016ff: SWAP2
00001700: PUSH1 0x20
00001702: SWAP2
00001703: DUP3
00001704: ADD
00001705: SWAP2
00001706: ADD
00001707: PUSH2 0x16ec
0000170a: JUMP
0000170b: JUMPDEST
0000170c: MLOAD
0000170d: DUP2
0000170e: MLOAD
0000170f: PUSH1 0x20
00001711: SWAP4
00001712: DUP5
00001713: SUB
00001714: PUSH2 0x0100
00001717: EXP
00001718: PUSH1 0x00
0000171a: NOT
0000171b: ADD
0000171c: DUP1
0000171d: NOT
0000171e: SWAP1
0000171f: SWAP3
00001720: AND
00001721: SWAP2
00001722: AND
00001723: OR
00001724: SWAP1
00001725: MSTORE
00001726: PUSH1 0x40
00001728: MLOAD
00001729: SWAP2
0000172a: SWAP1
0000172b: SWAP4
0000172c: ADD
0000172d: SWAP5
0000172e: POP
0000172f: SWAP2
00001730: SWAP3
00001731: POP
00001732: POP
00001733: DUP1
00001734: DUP4
00001735: SUB
00001736: DUP2
00001737: DUP6
00001738: GAS
00001739: STATICCALL
0000173a: ISZERO
0000173b: DUP1
0000173c: ISZERO
0000173d: PUSH2 0x174a
00001740: JUMPI
00001741: RETURNDATASIZE
00001742: PUSH1 0x00
00001744: DUP1
00001745: RETURNDATACOPY
00001746: RETURNDATASIZE
00001747: PUSH1 0x00
00001749: REVERT
0000174a: JUMPDEST
0000174b: POP
0000174c: POP
0000174d: POP
0000174e: PUSH1 0x40
00001750: MLOAD
00001751: RETURNDATASIZE
00001752: PUSH1 0x20
00001754: DUP2
00001755: LT
00001756: ISZERO
00001757: PUSH2 0x175f
0000175a: JUMPI
0000175b: PUSH1 0x00
0000175d: DUP1
0000175e: REVERT
0000175f: JUMPDEST
00001760: POP
00001761: MLOAD
00001762: PUSH1 0x40
00001764: DUP4
00001765: ADD
00001766: MSTORE
00001767: POP
00001768: SWAP2
00001769: SWAP1
0000176a: POP
0000176b: JUMP
0000176c: JUMPDEST
0000176d: PUSH1 0x00
0000176f: PUSH2 0x1777
00001772: DUP3
00001773: PUSH2 0x1b63
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH2 0xffff
0000177b: AND
0000177c: SWAP1
0000177d: POP
0000177e: PUSH1 0x10
00001780: PUSH2 0x1788
00001783: DUP4
00001784: PUSH2 0x1b63
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH2 0xffff
0000178c: AND
0000178d: SWAP1
0000178e: SHL
0000178f: OR
00001790: SWAP2
00001791: SWAP1
00001792: POP
00001793: JUMP
00001794: JUMPDEST
00001795: PUSH2 0x179c
00001798: PUSH2 0x1dfe
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH2 0x17a5
000017a0: DUP3
000017a1: PUSH2 0x157e
000017a4: JUMP
000017a5: JUMPDEST
000017a6: DUP2
000017a7: MSTORE
000017a8: PUSH2 0x17b0
000017ab: DUP3
000017ac: PUSH2 0x14fc
000017af: JUMP
000017b0: JUMPDEST
000017b1: PUSH1 0xff
000017b3: AND
000017b4: PUSH1 0x20
000017b6: DUP3
000017b7: ADD
000017b8: DUP2
000017b9: SWAP1
000017ba: MSTORE
000017bb: PUSH1 0x02
000017bd: GT
000017be: PUSH2 0x1196
000017c1: JUMPI
000017c2: PUSH1 0x40
000017c4: MLOAD
000017c5: PUSH3 0x461bcd
000017c9: PUSH1 0xe5
000017cb: SHL
000017cc: DUP2
000017cd: MSTORE
000017ce: PUSH1 0x04
000017d0: ADD
000017d1: DUP1
000017d2: DUP1
000017d3: PUSH1 0x20
000017d5: ADD
000017d6: DUP3
000017d7: DUP2
000017d8: SUB
000017d9: DUP3
000017da: MSTORE
000017db: PUSH1 0x37
000017dd: DUP2
000017de: MSTORE
000017df: PUSH1 0x20
000017e1: ADD
000017e2: DUP1
000017e3: PUSH2 0x1f1c
000017e6: PUSH1 0x37
000017e8: SWAP2
000017e9: CODECOPY
000017ea: PUSH1 0x40
000017ec: ADD
000017ed: SWAP2
000017ee: POP
000017ef: POP
000017f0: PUSH1 0x40
000017f2: MLOAD
000017f3: DUP1
000017f4: SWAP2
000017f5: SUB
000017f6: SWAP1
000017f7: REVERT
000017f8: JUMPDEST
000017f9: PUSH2 0x1800
000017fc: PUSH2 0x1e5c
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH2 0x180b
00001804: DUP3
00001805: PUSH1 0xd0
00001807: PUSH2 0x1b89
0000180a: JUMP
0000180b: JUMPDEST
0000180c: PUSH2 0x0100
0000180f: DUP3
00001810: ADD
00001811: MSTORE
00001812: PUSH2 0x181a
00001815: DUP3
00001816: PUSH2 0x14d0
00001819: JUMP
0000181a: JUMPDEST
0000181b: PUSH1 0x01
0000181d: PUSH1 0x01
0000181f: PUSH1 0x40
00001821: SHL
00001822: SUB
00001823: AND
00001824: DUP2
00001825: MSTORE
00001826: PUSH2 0x182e
00001829: DUP3
0000182a: PUSH2 0x157e
0000182d: JUMP
0000182e: JUMPDEST
0000182f: PUSH1 0x20
00001831: DUP3
00001832: ADD
00001833: MSTORE
00001834: PUSH2 0x183c
00001837: DUP3
00001838: PUSH2 0x157e
0000183b: JUMP
0000183c: JUMPDEST
0000183d: PUSH1 0x40
0000183f: DUP3
00001840: ADD
00001841: MSTORE
00001842: PUSH2 0x184a
00001845: DUP3
00001846: PUSH2 0x157e
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x60
0000184d: DUP3
0000184e: ADD
0000184f: MSTORE
00001850: PUSH2 0x1858
00001853: DUP3
00001854: PUSH2 0x157e
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH1 0x80
0000185b: DUP3
0000185c: ADD
0000185d: MSTORE
0000185e: PUSH2 0x1866
00001861: DUP3
00001862: PUSH2 0x14d0
00001865: JUMP
00001866: JUMPDEST
00001867: PUSH1 0x01
00001869: PUSH1 0x01
0000186b: PUSH1 0x40
0000186d: SHL
0000186e: SUB
0000186f: AND
00001870: PUSH1 0xa0
00001872: DUP3
00001873: ADD
00001874: MSTORE
00001875: PUSH2 0x187d
00001878: DUP3
00001879: PUSH2 0x157e
0000187c: JUMP
0000187d: JUMPDEST
0000187e: PUSH1 0xc0
00001880: DUP3
00001881: ADD
00001882: MSTORE
00001883: PUSH2 0x188b
00001886: DUP3
00001887: PUSH2 0x157e
0000188a: JUMP
0000188b: JUMPDEST
0000188c: PUSH1 0xe0
0000188e: DUP3
0000188f: ADD
00001890: MSTORE
00001891: SWAP2
00001892: SWAP1
00001893: POP
00001894: JUMP
00001895: JUMPDEST
00001896: PUSH2 0x189d
00001899: PUSH2 0x1ea8
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH2 0x18a6
000018a1: DUP3
000018a2: PUSH2 0x176c
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH4 0xffffffff
000018ac: AND
000018ad: PUSH1 0x01
000018af: PUSH1 0x01
000018b1: PUSH1 0x40
000018b3: SHL
000018b4: SUB
000018b5: DUP2
000018b6: GT
000018b7: DUP1
000018b8: ISZERO
000018b9: PUSH2 0x18c1
000018bc: JUMPI
000018bd: PUSH1 0x00
000018bf: DUP1
000018c0: REVERT
000018c1: JUMPDEST
000018c2: POP
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: SWAP1
000018c7: DUP1
000018c8: DUP3
000018c9: MSTORE
000018ca: DUP1
000018cb: PUSH1 0x20
000018cd: MUL
000018ce: PUSH1 0x20
000018d0: ADD
000018d1: DUP3
000018d2: ADD
000018d3: PUSH1 0x40
000018d5: MSTORE
000018d6: DUP1
000018d7: ISZERO
000018d8: PUSH2 0x18f5
000018db: JUMPI
000018dc: DUP2
000018dd: PUSH1 0x20
000018df: ADD
000018e0: JUMPDEST
000018e1: PUSH1 0x60
000018e3: DUP2
000018e4: MSTORE
000018e5: PUSH1 0x20
000018e7: ADD
000018e8: SWAP1
000018e9: PUSH1 0x01
000018eb: SWAP1
000018ec: SUB
000018ed: SWAP1
000018ee: DUP2
000018ef: PUSH2 0x18e0
000018f2: JUMPI
000018f3: SWAP1
000018f4: POP
000018f5: JUMPDEST
000018f6: POP
000018f7: DUP2
000018f8: MSTORE
000018f9: PUSH1 0x00
000018fb: JUMPDEST
000018fc: DUP2
000018fd: MLOAD
000018fe: MLOAD
000018ff: DUP2
00001900: LT
00001901: ISZERO
00001902: PUSH2 0x192f
00001905: JUMPI
00001906: PUSH2 0x190e
00001909: DUP4
0000190a: PUSH2 0x1ba5
0000190d: JUMP
0000190e: JUMPDEST
0000190f: DUP3
00001910: MLOAD
00001911: DUP1
00001912: MLOAD
00001913: DUP4
00001914: SWAP1
00001915: DUP2
00001916: LT
00001917: PUSH2 0x191c
0000191a: JUMPI
0000191b: INVALID
0000191c: JUMPDEST
0000191d: PUSH1 0x20
0000191f: SWAP1
00001920: DUP2
00001921: MUL
00001922: SWAP2
00001923: SWAP1
00001924: SWAP2
00001925: ADD
00001926: ADD
00001927: MSTORE
00001928: PUSH1 0x01
0000192a: ADD
0000192b: PUSH2 0x18fb
0000192e: JUMP
0000192f: JUMPDEST
00001930: POP
00001931: DUP2
00001932: MLOAD
00001933: PUSH2 0x193b
00001936: DUP4
00001937: PUSH2 0x176c
0000193a: JUMP
0000193b: JUMPDEST
0000193c: PUSH4 0xffffffff
00001941: AND
00001942: PUSH1 0x01
00001944: PUSH1 0x01
00001946: PUSH1 0x40
00001948: SHL
00001949: SUB
0000194a: DUP2
0000194b: GT
0000194c: DUP1
0000194d: ISZERO
0000194e: PUSH2 0x1956
00001951: JUMPI
00001952: PUSH1 0x00
00001954: DUP1
00001955: REVERT
00001956: JUMPDEST
00001957: POP
00001958: PUSH1 0x40
0000195a: MLOAD
0000195b: SWAP1
0000195c: DUP1
0000195d: DUP3
0000195e: MSTORE
0000195f: DUP1
00001960: PUSH1 0x20
00001962: MUL
00001963: PUSH1 0x20
00001965: ADD
00001966: DUP3
00001967: ADD
00001968: PUSH1 0x40
0000196a: MSTORE
0000196b: DUP1
0000196c: ISZERO
0000196d: PUSH2 0x1980
00001970: JUMPI
00001971: DUP2
00001972: PUSH1 0x20
00001974: ADD
00001975: PUSH1 0x20
00001977: DUP3
00001978: MUL
00001979: DUP1
0000197a: CALLDATASIZE
0000197b: DUP4
0000197c: CALLDATACOPY
0000197d: ADD
0000197e: SWAP1
0000197f: POP
00001980: JUMPDEST
00001981: POP
00001982: PUSH1 0x20
00001984: DUP4
00001985: ADD
00001986: MSTORE
00001987: PUSH1 0x00
00001989: JUMPDEST
0000198a: DUP3
0000198b: PUSH1 0x20
0000198d: ADD
0000198e: MLOAD
0000198f: MLOAD
00001990: DUP2
00001991: LT
00001992: ISZERO
00001993: PUSH2 0x19c2
00001996: JUMPI
00001997: PUSH2 0x199f
0000199a: DUP5
0000199b: PUSH2 0x157e
0000199e: JUMP
0000199f: JUMPDEST
000019a0: DUP4
000019a1: PUSH1 0x20
000019a3: ADD
000019a4: MLOAD
000019a5: DUP3
000019a6: DUP2
000019a7: MLOAD
000019a8: DUP2
000019a9: LT
000019aa: PUSH2 0x19af
000019ad: JUMPI
000019ae: INVALID
000019af: JUMPDEST
000019b0: PUSH1 0x20
000019b2: SWAP1
000019b3: DUP2
000019b4: MUL
000019b5: SWAP2
000019b6: SWAP1
000019b7: SWAP2
000019b8: ADD
000019b9: ADD
000019ba: MSTORE
000019bb: PUSH1 0x01
000019bd: ADD
000019be: PUSH2 0x1989
000019c1: JUMP
000019c2: JUMPDEST
000019c3: POP
000019c4: PUSH2 0x19cc
000019c7: DUP4
000019c8: PUSH2 0x14d0
000019cb: JUMP
000019cc: JUMPDEST
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0x40
000019d3: SHL
000019d4: SUB
000019d5: AND
000019d6: PUSH1 0x40
000019d8: DUP4
000019d9: ADD
000019da: MSTORE
000019db: PUSH2 0x19e3
000019de: DUP4
000019df: PUSH2 0x11e9
000019e2: JUMP
000019e3: JUMPDEST
000019e4: PUSH1 0x01
000019e6: PUSH1 0x01
000019e8: PUSH1 0x80
000019ea: SHL
000019eb: SUB
000019ec: AND
000019ed: PUSH1 0x60
000019ef: DUP4
000019f0: ADD
000019f1: MSTORE
000019f2: PUSH2 0x19fa
000019f5: DUP4
000019f6: PUSH2 0x1ba5
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH1 0x80
000019fd: DUP4
000019fe: ADD
000019ff: MSTORE
00001a00: PUSH2 0x1a08
00001a03: DUP4
00001a04: PUSH2 0x1c3c
00001a07: JUMP
00001a08: JUMPDEST
00001a09: PUSH1 0xa0
00001a0b: DUP4
00001a0c: ADD
00001a0d: MSTORE
00001a0e: DUP3
00001a0f: MLOAD
00001a10: DUP3
00001a11: MLOAD
00001a12: MLOAD
00001a13: PUSH1 0x01
00001a15: ADD
00001a16: PUSH1 0x01
00001a18: PUSH1 0x01
00001a1a: PUSH1 0x40
00001a1c: SHL
00001a1d: SUB
00001a1e: DUP2
00001a1f: GT
00001a20: DUP1
00001a21: ISZERO
00001a22: PUSH2 0x1a2a
00001a25: JUMPI
00001a26: PUSH1 0x00
00001a28: DUP1
00001a29: REVERT
00001a2a: JUMPDEST
00001a2b: POP
00001a2c: PUSH1 0x40
00001a2e: MLOAD
00001a2f: SWAP1
00001a30: DUP1
00001a31: DUP3
00001a32: MSTORE
00001a33: DUP1
00001a34: PUSH1 0x20
00001a36: MUL
00001a37: PUSH1 0x20
00001a39: ADD
00001a3a: DUP3
00001a3b: ADD
00001a3c: PUSH1 0x40
00001a3e: MSTORE
00001a3f: DUP1
00001a40: ISZERO
00001a41: PUSH2 0x1a54
00001a44: JUMPI
00001a45: DUP2
00001a46: PUSH1 0x20
00001a48: ADD
00001a49: PUSH1 0x20
00001a4b: DUP3
00001a4c: MUL
00001a4d: DUP1
00001a4e: CALLDATASIZE
00001a4f: DUP4
00001a50: CALLDATACOPY
00001a51: ADD
00001a52: SWAP1
00001a53: POP
00001a54: JUMPDEST
00001a55: POP
00001a56: PUSH1 0xc0
00001a58: DUP5
00001a59: ADD
00001a5a: MSTORE
00001a5b: DUP2
00001a5c: DUP5
00001a5d: MSTORE
00001a5e: PUSH2 0x1a69
00001a61: DUP5
00001a62: DUP4
00001a63: DUP4
00001a64: SUB
00001a65: PUSH2 0x1b89
00001a68: JUMP
00001a69: JUMPDEST
00001a6a: DUP4
00001a6b: PUSH1 0xc0
00001a6d: ADD
00001a6e: MLOAD
00001a6f: PUSH1 0x00
00001a71: DUP2
00001a72: MLOAD
00001a73: DUP2
00001a74: LT
00001a75: PUSH2 0x1a7a
00001a78: JUMPI
00001a79: INVALID
00001a7a: JUMPDEST
00001a7b: PUSH1 0x20
00001a7d: SWAP1
00001a7e: DUP2
00001a7f: MUL
00001a80: SWAP2
00001a81: SWAP1
00001a82: SWAP2
00001a83: ADD
00001a84: ADD
00001a85: MSTORE
00001a86: DUP1
00001a87: DUP5
00001a88: MSTORE
00001a89: PUSH1 0x00
00001a8b: JUMPDEST
00001a8c: DUP4
00001a8d: MLOAD
00001a8e: MLOAD
00001a8f: DUP2
00001a90: LT
00001a91: ISZERO
00001a92: PUSH2 0x1b5b
00001a95: JUMPI
00001a96: PUSH1 0x02
00001a98: DUP5
00001a99: PUSH1 0x00
00001a9b: ADD
00001a9c: MLOAD
00001a9d: DUP3
00001a9e: DUP2
00001a9f: MLOAD
00001aa0: DUP2
00001aa1: LT
00001aa2: PUSH2 0x1aa7
00001aa5: JUMPI
00001aa6: INVALID
00001aa7: JUMPDEST
00001aa8: PUSH1 0x20
00001aaa: MUL
00001aab: PUSH1 0x20
00001aad: ADD
00001aae: ADD
00001aaf: MLOAD
00001ab0: PUSH1 0x40
00001ab2: MLOAD
00001ab3: DUP1
00001ab4: DUP3
00001ab5: DUP1
00001ab6: MLOAD
00001ab7: SWAP1
00001ab8: PUSH1 0x20
00001aba: ADD
00001abb: SWAP1
00001abc: DUP1
00001abd: DUP4
00001abe: DUP4
00001abf: JUMPDEST
00001ac0: PUSH1 0x20
00001ac2: DUP4
00001ac3: LT
00001ac4: PUSH2 0x1ade
00001ac7: JUMPI
00001ac8: DUP1
00001ac9: MLOAD
00001aca: DUP3
00001acb: MSTORE
00001acc: PUSH1 0x1f
00001ace: NOT
00001acf: SWAP1
00001ad0: SWAP3
00001ad1: ADD
00001ad2: SWAP2
00001ad3: PUSH1 0x20
00001ad5: SWAP2
00001ad6: DUP3
00001ad7: ADD
00001ad8: SWAP2
00001ad9: ADD
00001ada: PUSH2 0x1abf
00001add: JUMP
00001ade: JUMPDEST
00001adf: MLOAD
00001ae0: DUP2
00001ae1: MLOAD
00001ae2: PUSH1 0x20
00001ae4: SWAP4
00001ae5: DUP5
00001ae6: SUB
00001ae7: PUSH2 0x0100
00001aea: EXP
00001aeb: PUSH1 0x00
00001aed: NOT
00001aee: ADD
00001aef: DUP1
00001af0: NOT
00001af1: SWAP1
00001af2: SWAP3
00001af3: AND
00001af4: SWAP2
00001af5: AND
00001af6: OR
00001af7: SWAP1
00001af8: MSTORE
00001af9: PUSH1 0x40
00001afb: MLOAD
00001afc: SWAP2
00001afd: SWAP1
00001afe: SWAP4
00001aff: ADD
00001b00: SWAP5
00001b01: POP
00001b02: SWAP2
00001b03: SWAP3
00001b04: POP
00001b05: POP
00001b06: DUP1
00001b07: DUP4
00001b08: SUB
00001b09: DUP2
00001b0a: DUP6
00001b0b: GAS
00001b0c: STATICCALL
00001b0d: ISZERO
00001b0e: DUP1
00001b0f: ISZERO
00001b10: PUSH2 0x1b1d
00001b13: JUMPI
00001b14: RETURNDATASIZE
00001b15: PUSH1 0x00
00001b17: DUP1
00001b18: RETURNDATACOPY
00001b19: RETURNDATASIZE
00001b1a: PUSH1 0x00
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: POP
00001b1f: POP
00001b20: POP
00001b21: PUSH1 0x40
00001b23: MLOAD
00001b24: RETURNDATASIZE
00001b25: PUSH1 0x20
00001b27: DUP2
00001b28: LT
00001b29: ISZERO
00001b2a: PUSH2 0x1b32
00001b2d: JUMPI
00001b2e: PUSH1 0x00
00001b30: DUP1
00001b31: REVERT
00001b32: JUMPDEST
00001b33: POP
00001b34: MLOAD
00001b35: PUSH1 0xc0
00001b37: DUP6
00001b38: ADD
00001b39: MLOAD
00001b3a: DUP1
00001b3b: MLOAD
00001b3c: PUSH1 0x01
00001b3e: DUP5
00001b3f: ADD
00001b40: SWAP1
00001b41: DUP2
00001b42: LT
00001b43: PUSH2 0x1b48
00001b46: JUMPI
00001b47: INVALID
00001b48: JUMPDEST
00001b49: PUSH1 0x20
00001b4b: SWAP1
00001b4c: DUP2
00001b4d: MUL
00001b4e: SWAP2
00001b4f: SWAP1
00001b50: SWAP2
00001b51: ADD
00001b52: ADD
00001b53: MSTORE
00001b54: PUSH1 0x01
00001b56: ADD
00001b57: PUSH2 0x1a8b
00001b5a: JUMP
00001b5b: JUMPDEST
00001b5c: POP
00001b5d: POP
00001b5e: POP
00001b5f: SWAP2
00001b60: SWAP1
00001b61: POP
00001b62: JUMP
00001b63: JUMPDEST
00001b64: PUSH1 0x00
00001b66: PUSH2 0x1b6e
00001b69: DUP3
00001b6a: PUSH2 0x14fc
00001b6d: JUMP
00001b6e: JUMPDEST
00001b6f: PUSH1 0xff
00001b71: AND
00001b72: SWAP1
00001b73: POP
00001b74: PUSH1 0x08
00001b76: PUSH2 0x1b7e
00001b79: DUP4
00001b7a: PUSH2 0x14fc
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: PUSH1 0xff
00001b81: AND
00001b82: SWAP1
00001b83: SHL
00001b84: OR
00001b85: SWAP2
00001b86: SWAP1
00001b87: POP
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: PUSH1 0x00
00001b8c: PUSH2 0x1b9e
00001b8f: DUP4
00001b90: PUSH1 0x20
00001b92: ADD
00001b93: MLOAD
00001b94: DUP5
00001b95: PUSH1 0x00
00001b97: ADD
00001b98: MLOAD
00001b99: DUP5
00001b9a: PUSH2 0x1cfc
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: SWAP4
00001ba0: SWAP3
00001ba1: POP
00001ba2: POP
00001ba3: POP
00001ba4: JUMP
00001ba5: JUMPDEST
00001ba6: PUSH1 0x60
00001ba8: PUSH2 0x1bb0
00001bab: DUP3
00001bac: PUSH2 0x176c
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: PUSH4 0xffffffff
00001bb6: AND
00001bb7: PUSH1 0x01
00001bb9: PUSH1 0x01
00001bbb: PUSH1 0x40
00001bbd: SHL
00001bbe: SUB
00001bbf: DUP2
00001bc0: GT
00001bc1: DUP1
00001bc2: ISZERO
00001bc3: PUSH2 0x1bcb
00001bc6: JUMPI
00001bc7: PUSH1 0x00
00001bc9: DUP1
00001bca: REVERT
00001bcb: JUMPDEST
00001bcc: POP
00001bcd: PUSH1 0x40
00001bcf: MLOAD
00001bd0: SWAP1
00001bd1: DUP1
00001bd2: DUP3
00001bd3: MSTORE
00001bd4: DUP1
00001bd5: PUSH1 0x1f
00001bd7: ADD
00001bd8: PUSH1 0x1f
00001bda: NOT
00001bdb: AND
00001bdc: PUSH1 0x20
00001bde: ADD
00001bdf: DUP3
00001be0: ADD
00001be1: PUSH1 0x40
00001be3: MSTORE
00001be4: DUP1
00001be5: ISZERO
00001be6: PUSH2 0x1bf6
00001be9: JUMPI
00001bea: PUSH1 0x20
00001bec: DUP3
00001bed: ADD
00001bee: DUP2
00001bef: DUP1
00001bf0: CALLDATASIZE
00001bf1: DUP4
00001bf2: CALLDATACOPY
00001bf3: ADD
00001bf4: SWAP1
00001bf5: POP
00001bf6: JUMPDEST
00001bf7: POP
00001bf8: SWAP1
00001bf9: POP
00001bfa: PUSH1 0x00
00001bfc: JUMPDEST
00001bfd: DUP2
00001bfe: MLOAD
00001bff: DUP2
00001c00: LT
00001c01: ISZERO
00001c02: PUSH2 0x1251
00001c05: JUMPI
00001c06: PUSH2 0x1c0e
00001c09: DUP4
00001c0a: PUSH2 0x14fc
00001c0d: JUMP
00001c0e: JUMPDEST
00001c0f: PUSH1 0xf8
00001c11: SHL
00001c12: DUP3
00001c13: DUP3
00001c14: DUP2
00001c15: MLOAD
00001c16: DUP2
00001c17: LT
00001c18: PUSH2 0x1c1d
00001c1b: JUMPI
00001c1c: INVALID
00001c1d: JUMPDEST
00001c1e: PUSH1 0x20
00001c20: ADD
00001c21: ADD
00001c22: SWAP1
00001c23: PUSH1 0x01
00001c25: PUSH1 0x01
00001c27: PUSH1 0xf8
00001c29: SHL
00001c2a: SUB
00001c2b: NOT
00001c2c: AND
00001c2d: SWAP1
00001c2e: DUP2
00001c2f: PUSH1 0x00
00001c31: BYTE
00001c32: SWAP1
00001c33: MSTORE8
00001c34: POP
00001c35: PUSH1 0x01
00001c37: ADD
00001c38: PUSH2 0x1bfc
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: PUSH2 0x1c44
00001c40: PUSH2 0x1d1e
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH2 0x1c4d
00001c48: DUP3
00001c49: PUSH2 0x14fc
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH1 0xff
00001c50: AND
00001c51: DUP1
00001c52: DUP3
00001c53: MSTORE
00001c54: PUSH2 0x1c63
00001c57: JUMPI
00001c58: PUSH1 0x01
00001c5a: PUSH1 0x20
00001c5c: DUP3
00001c5d: ADD
00001c5e: MSTORE
00001c5f: PUSH2 0x1196
00001c62: JUMP
00001c63: JUMPDEST
00001c64: DUP1
00001c65: PUSH1 0x00
00001c67: ADD
00001c68: MLOAD
00001c69: PUSH1 0xff
00001c6b: AND
00001c6c: PUSH1 0x01
00001c6e: EQ
00001c6f: ISZERO
00001c70: PUSH2 0x1c7f
00001c73: JUMPI
00001c74: PUSH1 0x01
00001c76: PUSH1 0x40
00001c78: DUP3
00001c79: ADD
00001c7a: MSTORE
00001c7b: PUSH2 0x1196
00001c7e: JUMP
00001c7f: JUMPDEST
00001c80: DUP1
00001c81: PUSH1 0x00
00001c83: ADD
00001c84: MLOAD
00001c85: PUSH1 0xff
00001c87: AND
00001c88: PUSH1 0x02
00001c8a: EQ
00001c8b: ISZERO
00001c8c: PUSH2 0x1ca2
00001c8f: JUMPI
00001c90: PUSH2 0x1c98
00001c93: DUP3
00001c94: PUSH2 0x1ba5
00001c97: JUMP
00001c98: JUMPDEST
00001c99: PUSH1 0x60
00001c9b: DUP3
00001c9c: ADD
00001c9d: MSTORE
00001c9e: PUSH2 0x1196
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: DUP1
00001ca4: PUSH1 0x00
00001ca6: ADD
00001ca7: MLOAD
00001ca8: PUSH1 0xff
00001caa: AND
00001cab: PUSH1 0x03
00001cad: EQ
00001cae: ISZERO
00001caf: PUSH2 0x1cc5
00001cb2: JUMPI
00001cb3: PUSH2 0x1cbb
00001cb6: DUP3
00001cb7: PUSH2 0x157e
00001cba: JUMP
00001cbb: JUMPDEST
00001cbc: PUSH1 0x80
00001cbe: DUP3
00001cbf: ADD
00001cc0: MSTORE
00001cc1: PUSH2 0x1196
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x40
00001cc8: MLOAD
00001cc9: PUSH3 0x461bcd
00001ccd: PUSH1 0xe5
00001ccf: SHL
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x04
00001cd4: ADD
00001cd5: DUP1
00001cd6: DUP1
00001cd7: PUSH1 0x20
00001cd9: ADD
00001cda: DUP3
00001cdb: DUP2
00001cdc: SUB
00001cdd: DUP3
00001cde: MSTORE
00001cdf: PUSH1 0x35
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x20
00001ce5: ADD
00001ce6: DUP1
00001ce7: PUSH2 0x1fcb
00001cea: PUSH1 0x35
00001cec: SWAP2
00001ced: CODECOPY
00001cee: PUSH1 0x40
00001cf0: ADD
00001cf1: SWAP2
00001cf2: POP
00001cf3: POP
00001cf4: PUSH1 0x40
00001cf6: MLOAD
00001cf7: DUP1
00001cf8: SWAP2
00001cf9: SUB
00001cfa: SWAP1
00001cfb: REVERT
00001cfc: JUMPDEST
00001cfd: PUSH1 0x00
00001cff: PUSH2 0x1d06
00001d02: PUSH2 0x1efd
00001d05: JUMP
00001d06: JUMPDEST
00001d07: PUSH1 0x20
00001d09: DUP2
00001d0a: DUP5
00001d0b: DUP7
00001d0c: PUSH1 0x20
00001d0e: DUP10
00001d0f: ADD
00001d10: ADD
00001d11: PUSH1 0x02
00001d13: GAS
00001d14: STATICCALL
00001d15: POP
00001d16: MLOAD
00001d17: SWAP5
00001d18: SWAP4
00001d19: POP
00001d1a: POP
00001d1b: POP
00001d1c: POP
00001d1d: JUMP
00001d1e: JUMPDEST
00001d1f: PUSH1 0x40
00001d21: DUP1
00001d22: MLOAD
00001d23: PUSH1 0xa0
00001d25: DUP2
00001d26: ADD
00001d27: DUP3
00001d28: MSTORE
00001d29: PUSH1 0x00
00001d2b: DUP1
00001d2c: DUP3
00001d2d: MSTORE
00001d2e: PUSH1 0x20
00001d30: DUP3
00001d31: ADD
00001d32: DUP2
00001d33: SWAP1
00001d34: MSTORE
00001d35: SWAP2
00001d36: DUP2
00001d37: ADD
00001d38: DUP3
00001d39: SWAP1
00001d3a: MSTORE
00001d3b: PUSH1 0x60
00001d3d: DUP1
00001d3e: DUP3
00001d3f: ADD
00001d40: MSTORE
00001d41: PUSH1 0x80
00001d43: DUP2
00001d44: ADD
00001d45: SWAP2
00001d46: SWAP1
00001d47: SWAP2
00001d48: MSTORE
00001d49: SWAP1
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: PUSH1 0x40
00001d4e: DUP1
00001d4f: MLOAD
00001d50: PUSH1 0x60
00001d52: DUP2
00001d53: ADD
00001d54: DUP3
00001d55: MSTORE
00001d56: PUSH1 0x00
00001d58: DUP1
00001d59: DUP3
00001d5a: MSTORE
00001d5b: PUSH1 0x20
00001d5d: DUP3
00001d5e: ADD
00001d5f: DUP2
00001d60: SWAP1
00001d61: MSTORE
00001d62: SWAP2
00001d63: DUP2
00001d64: ADD
00001d65: SWAP2
00001d66: SWAP1
00001d67: SWAP2
00001d68: MSTORE
00001d69: SWAP1
00001d6a: JUMP
00001d6b: JUMPDEST
00001d6c: PUSH1 0x40
00001d6e: MLOAD
00001d6f: DUP1
00001d70: PUSH1 0x40
00001d72: ADD
00001d73: PUSH1 0x40
00001d75: MSTORE
00001d76: DUP1
00001d77: PUSH1 0x00
00001d79: DUP2
00001d7a: MSTORE
00001d7b: PUSH1 0x20
00001d7d: ADD
00001d7e: PUSH1 0x60
00001d80: DUP2
00001d81: MSTORE
00001d82: POP
00001d83: SWAP1
00001d84: JUMP
00001d85: JUMPDEST
00001d86: PUSH1 0x40
00001d88: MLOAD
00001d89: DUP1
00001d8a: PUSH1 0x80
00001d8c: ADD
00001d8d: PUSH1 0x40
00001d8f: MSTORE
00001d90: DUP1
00001d91: PUSH2 0x1d98
00001d94: PUSH2 0x1dc4
00001d97: JUMP
00001d98: JUMPDEST
00001d99: DUP2
00001d9a: MSTORE
00001d9b: PUSH1 0x20
00001d9d: ADD
00001d9e: PUSH2 0x1da5
00001da1: PUSH2 0x1deb
00001da4: JUMP
00001da5: JUMPDEST
00001da6: DUP2
00001da7: MSTORE
00001da8: PUSH1 0x20
00001daa: ADD
00001dab: PUSH2 0x1db2
00001dae: PUSH2 0x1e15
00001db1: JUMP
00001db2: JUMPDEST
00001db3: DUP2
00001db4: MSTORE
00001db5: PUSH1 0x20
00001db7: ADD
00001db8: PUSH2 0x1dbf
00001dbb: PUSH2 0x1deb
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: SWAP1
00001dc1: MSTORE
00001dc2: SWAP1
00001dc3: JUMP
00001dc4: JUMPDEST
00001dc5: PUSH1 0x40
00001dc7: MLOAD
00001dc8: DUP1
00001dc9: PUSH1 0x60
00001dcb: ADD
00001dcc: PUSH1 0x40
00001dce: MSTORE
00001dcf: DUP1
00001dd0: PUSH2 0x1dd7
00001dd3: PUSH2 0x1deb
00001dd6: JUMP
00001dd7: JUMPDEST
00001dd8: DUP2
00001dd9: MSTORE
00001dda: PUSH1 0x00
00001ddc: PUSH1 0x20
00001dde: DUP3
00001ddf: ADD
00001de0: MSTORE
00001de1: PUSH1 0x40
00001de3: ADD
00001de4: PUSH2 0x1dbf
00001de7: PUSH2 0x1e41
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x40
00001dee: MLOAD
00001def: DUP1
00001df0: PUSH1 0x20
00001df2: ADD
00001df3: PUSH1 0x40
00001df5: MSTORE
00001df6: DUP1
00001df7: PUSH1 0x60
00001df9: DUP2
00001dfa: MSTORE
00001dfb: POP
00001dfc: SWAP1
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: PUSH1 0x40
00001e01: DUP1
00001e02: MLOAD
00001e03: DUP1
00001e04: DUP3
00001e05: ADD
00001e06: SWAP1
00001e07: SWAP2
00001e08: MSTORE
00001e09: PUSH1 0x00
00001e0b: DUP1
00001e0c: DUP3
00001e0d: MSTORE
00001e0e: PUSH1 0x20
00001e10: DUP3
00001e11: ADD
00001e12: MSTORE
00001e13: SWAP1
00001e14: JUMP
00001e15: JUMPDEST
00001e16: PUSH1 0x40
00001e18: DUP1
00001e19: MLOAD
00001e1a: PUSH1 0x80
00001e1c: DUP2
00001e1d: ADD
00001e1e: DUP3
00001e1f: MSTORE
00001e20: PUSH1 0x00
00001e22: DUP1
00001e23: DUP3
00001e24: MSTORE
00001e25: PUSH1 0x20
00001e27: DUP3
00001e28: ADD
00001e29: MSTORE
00001e2a: SWAP1
00001e2b: DUP2
00001e2c: ADD
00001e2d: PUSH2 0x1e34
00001e30: PUSH2 0x1e5c
00001e33: JUMP
00001e34: JUMPDEST
00001e35: DUP2
00001e36: MSTORE
00001e37: PUSH1 0x00
00001e39: PUSH1 0x20
00001e3b: SWAP1
00001e3c: SWAP2
00001e3d: ADD
00001e3e: MSTORE
00001e3f: SWAP1
00001e40: JUMP
00001e41: JUMPDEST
00001e42: PUSH1 0x40
00001e44: DUP1
00001e45: MLOAD
00001e46: PUSH1 0x60
00001e48: DUP2
00001e49: ADD
00001e4a: SWAP1
00001e4b: SWAP2
00001e4c: MSTORE
00001e4d: PUSH1 0x00
00001e4f: DUP2
00001e50: MSTORE
00001e51: PUSH1 0x20
00001e53: DUP2
00001e54: ADD
00001e55: PUSH2 0x1e34
00001e58: PUSH2 0x1ea8
00001e5b: JUMP
00001e5c: JUMPDEST
00001e5d: PUSH1 0x40
00001e5f: DUP1
00001e60: MLOAD
00001e61: PUSH2 0x0120
00001e64: DUP2
00001e65: ADD
00001e66: DUP3
00001e67: MSTORE
00001e68: PUSH1 0x00
00001e6a: DUP1
00001e6b: DUP3
00001e6c: MSTORE
00001e6d: PUSH1 0x20
00001e6f: DUP3
00001e70: ADD
00001e71: DUP2
00001e72: SWAP1
00001e73: MSTORE
00001e74: SWAP2
00001e75: DUP2
00001e76: ADD
00001e77: DUP3
00001e78: SWAP1
00001e79: MSTORE
00001e7a: PUSH1 0x60
00001e7c: DUP2
00001e7d: ADD
00001e7e: DUP3
00001e7f: SWAP1
00001e80: MSTORE
00001e81: PUSH1 0x80
00001e83: DUP2
00001e84: ADD
00001e85: DUP3
00001e86: SWAP1
00001e87: MSTORE
00001e88: PUSH1 0xa0
00001e8a: DUP2
00001e8b: ADD
00001e8c: DUP3
00001e8d: SWAP1
00001e8e: MSTORE
00001e8f: PUSH1 0xc0
00001e91: DUP2
00001e92: ADD
00001e93: DUP3
00001e94: SWAP1
00001e95: MSTORE
00001e96: PUSH1 0xe0
00001e98: DUP2
00001e99: ADD
00001e9a: DUP3
00001e9b: SWAP1
00001e9c: MSTORE
00001e9d: PUSH2 0x0100
00001ea0: DUP2
00001ea1: ADD
00001ea2: SWAP2
00001ea3: SWAP1
00001ea4: SWAP2
00001ea5: MSTORE
00001ea6: SWAP1
00001ea7: JUMP
00001ea8: JUMPDEST
00001ea9: PUSH1 0x40
00001eab: MLOAD
00001eac: DUP1
00001ead: PUSH1 0xe0
00001eaf: ADD
00001eb0: PUSH1 0x40
00001eb2: MSTORE
00001eb3: DUP1
00001eb4: PUSH1 0x60
00001eb6: DUP2
00001eb7: MSTORE
00001eb8: PUSH1 0x20
00001eba: ADD
00001ebb: PUSH1 0x60
00001ebd: DUP2
00001ebe: MSTORE
00001ebf: PUSH1 0x20
00001ec1: ADD
00001ec2: PUSH1 0x00
00001ec4: PUSH1 0x01
00001ec6: PUSH1 0x01
00001ec8: PUSH1 0x40
00001eca: SHL
00001ecb: SUB
00001ecc: AND
00001ecd: DUP2
00001ece: MSTORE
00001ecf: PUSH1 0x20
00001ed1: ADD
00001ed2: PUSH1 0x00
00001ed4: PUSH1 0x01
00001ed6: PUSH1 0x01
00001ed8: PUSH1 0x80
00001eda: SHL
00001edb: SUB
00001edc: AND
00001edd: DUP2
00001ede: MSTORE
00001edf: PUSH1 0x20
00001ee1: ADD
00001ee2: PUSH1 0x60
00001ee4: DUP2
00001ee5: MSTORE
00001ee6: PUSH1 0x20
00001ee8: ADD
00001ee9: PUSH2 0x1ef0
00001eec: PUSH2 0x1d1e
00001eef: JUMP
00001ef0: JUMPDEST
00001ef1: DUP2
00001ef2: MSTORE
00001ef3: PUSH1 0x20
00001ef5: ADD
00001ef6: PUSH1 0x60
00001ef8: DUP2
00001ef9: MSTORE
00001efa: POP
00001efb: SWAP1
00001efc: JUMP
00001efd: JUMPDEST
00001efe: PUSH1 0x40
00001f00: MLOAD
00001f01: DUP1
00001f02: PUSH1 0x20
00001f04: ADD
00001f05: PUSH1 0x40
00001f07: MSTORE
00001f08: DUP1
00001f09: PUSH1 0x01
00001f0b: SWAP1
00001f0c: PUSH1 0x20
00001f0e: DUP3
00001f0f: MUL
00001f10: DUP1
00001f11: CALLDATASIZE
00001f12: DUP4
00001f13: CALLDATACOPY
00001f14: POP
00001f15: SWAP2
00001f16: SWAP3
00001f17: SWAP2
00001f18: POP
00001f19: POP
00001f1a: JUMP
00001f1b: INVALID
00001f1c: POP
00001f1d: PUSH19 0x6f6f664465636f6465723a204d65726b6c6550
00001f31: PUSH2 0x7468
00001f34: BLOBHASH
00001f35: PUSH21 0x656d20646972656374696f6e2073686f756c642062
00001f4b: PUSH6 0x2030206f7220
00001f52: BALANCE
00001f53: SLOAD
00001f54: PUSH9 0x65206665652063616e
00001f5e: PUSH15 0x6f7420626520626967676572207468
00001f6e: PUSH2 0x6e20
00001f71: PUSH21 0x6865207472616e7366657272656420616d6f756e74
00001f87: UNKNOWN(0x2E)
00001f88: NUMBER
00001f89: PUSH2 0x6e20
00001f8c: PUSH16 0x6e6c7920776974686472617720636f69
00001f9d: PUSH15 0x732074686174207765726520657870
00001fad: PUSH6 0x637465642066
00001fb4: PUSH16 0x72207468652063757272656e7420636f
00001fc5: PUSH15 0x74726163744e6561724465636f6465
00001fd5: PUSH19 0x3a206465636f6465457865637574696f6e5374
00001fe9: PUSH2 0x7475
00001fec: PUSH20 0x20696e646578206f7574206f662072616e676543
00002001: PUSH2 0x6e20
00002004: PUSH16 0x6e6c7920776974686472617720636f69
00002015: PUSH15 0x732066726f6d20746865206c696e6b
00002025: PUSH6 0x642070726f6f
0000202c: PUSH7 0x2070726f647563
00002034: PUSH6 0x72206f6e204e
0000203b: PUSH6 0x617220626c6f
00002042: PUSH4 0x6b636861
00002047: PUSH10 0x6e43616e6e6f74207573
00002052: PUSH6 0x206661696c65
00002059: PUSH5 0x2065786563
0000205f: PUSH22 0x74696f6e206f7574636f6d6520666f7220756e6c6f63
00002076: PUSH12 0x696e672074686520746f6b65
00002083: PUSH15 0x73417267756d656e742073686f756c
00002093: PUSH5 0x2062652065
00002099: PUSH25 0x61637420626f7273682073657269616c697a6174696f6e4361
000020b3: PUSH15 0x6e6f742075736520756e6b6e6f776e
000020c3: KECCAK256
000020c4: PUSH6 0x786563757469
000020cb: PUSH16 0x6e206f7574636f6d6520666f7220756e
000020dc: PUSH13 0x6f636b696e672074686520746f
000020ea: PUSH12 0x656e73a26469706673582212
000020f7: KECCAK256
000020f8: UNKNOWN(0xFC)
000020f9: UNKNOWN(0xCB)
000020fa: CODECOPY
000020fb: UNKNOWN(0x23)
000020fc: DUP7
000020fd: OR
000020fe: PUSH19 0x6460b95094d690c604adea7f5e18b68acf285a
00002112: UNKNOWN(0xBC)
00002113: CHAINID
00002114: UNKNOWN(0xAE)
00002115: EXP
00002116: LOG3
00002117: MLOAD
00002118: PUSH5 0x736f6c6343
0000211e: STOP
0000211f: MOD
00002120: UNKNOWN(0x0C)
00002121: STOP
00002122: CALLER