Analysis Run

[codex:1111149] OpenAI Codex v0.77.0 (research preview)
[codex:1111149] --------
[codex:1111149] workdir: /tmp/codex-multi-3c2_8zd5
[codex:1111149] model: gpt-5.2-codex
[codex:1111149] provider: openai
[codex:1111149] approval: never
[codex:1111149] sandbox: read-only
[codex:1111149] reasoning effort: xhigh
[codex:1111149] reasoning summaries: auto
[codex:1111149] session id: 019b8142-0569-7892-bcaf-a325150922ec
[codex:1111149] --------
[codex:1111149] user
[codex:1111149] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1111149] 
[codex:1111149] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1111149] 
[codex:1111149] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1111149] - Gas inefficiency, code quality, naming, or best practices
[codex:1111149] - Theoretical vulnerabilities without a clear extraction path
[codex:1111149] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1111149] - Front-running unless it enables theft beyond MEV
[codex:1111149] - DoS, griefing, or issues that don't result in attacker profit
[codex:1111149] - Missing events, view function issues, or informational findings
[codex:1111149] 
[codex:1111149] HIGH-VALUE PATTERNS TO HUNT:
[codex:1111149] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1111149] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1111149] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1111149] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1111149] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1111149] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1111149] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1111149] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1111149] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1111149] 
[codex:1111149] For each finding, you MUST provide:
[codex:1111149] 1. Exact file and line numbers of vulnerable code
[codex:1111149] 2. Step-by-step exploit transaction sequence
[codex:1111149] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1111149] 
[codex:1111149] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1111149] 
[codex:1111149] Output MUST be valid JSON matching the provided schema.
[codex:1111149] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1111149] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1111149] mcp startup: no servers
[codex:1111149] 
[codex:1111149] thinking
[codex:1111149] **Checking for AUDIT_BUNDLE.txt file**
[codex:1111149] exec
[codex:1111149] /bin/bash -lc ls in /tmp/codex-multi-3c2_8zd5 succeeded in 6ms:
[codex:1111149] AUDIT_BUNDLE.txt
[codex:1111149] codex-output-schema.json
[codex:1111149] contracts
[codex:1111149] 
[codex:1111149] thinking
[codex:1111149] **Reading the file**
[codex:1111149] exec
[codex:1111149] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-3c2_8zd5 succeeded in 6ms:
[codex:1111149] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1111149] 
[codex:1111149] ================================================================================
[codex:1111149] FILE: contracts/src/bridge/AbsBridge.sol
[codex:1111149] ================================================================================
[codex:1111149] // Copyright 2021-2022, Offchain Labs, Inc.
[codex:1111149] // For license information, see https://github.com/nitro/blob/master/LICENSE
[codex:1111149] // SPDX-License-Identifier: BUSL-1.1
[codex:1111149] 
[codex:1111149] pragma solidity ^0.8.4;
[codex:1111149] 
[codex:1111149] import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1111149] import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:1111149] 
[codex:1111149] import {
[codex:1111149]     NotContract,
[codex:1111149]     NotRollupOrOwner,
[codex:1111149]     NotDelayedInbox,
[codex:1111149]     NotSequencerInbox,
[codex:1111149]     NotOutbox,
[codex:1111149] 
[codex:1111149] thinking
[codex:1111149] **Identifying uninitialized proxy exploit risk**
[codex:1111149] exec
[codex:1111149] /bin/bash -lc 'nl -ba contracts/src/bridge/Bridge.sol' in /tmp/codex-multi-3c2_8zd5 succeeded in 6ms:
[codex:1111149]      1	// Copyright 2021-2022, Offchain Labs, Inc.
[codex:1111149]      2	// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
[codex:1111149]      3	// SPDX-License-Identifier: BUSL-1.1
[codex:1111149]      4	
[codex:1111149]      5	pragma solidity ^0.8.4;
[codex:1111149]      6	
[codex:1111149]      7	import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1111149]      8	import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:1111149]      9	import "./AbsBridge.sol";
[codex:1111149]     10	import "./IEthBridge.sol";
[codex:1111149]     11	import "./Messages.sol";
[codex:1111149]     12	import "../libraries/DelegateCallAware.sol";
[codex:1111149]     13	
[codex:1111149]     14	import {L1MessageType_batchPostingReport} from "../libraries/MessageTypes.sol";
[codex:1111149]     15	
[codex:1111149]     16	/**
[codex:1111149]     17	 * @title Staging ground for incoming and outgoing messages
[codex:1111149]     18	 * @notice It is also the ETH escrow for value sent with these messages.
[codex:1111149]     19	 */
[codex:1111149]     20	contract Bridge is AbsBridge, IEthBridge {
[codex:1111149] 
[codex:1111149] thinking
[codex:1111149] **Locating setOutbox and related methods**
[codex:1111149] exec
[codex:1111149] /bin/bash -lc 'nl -ba contracts/src/bridge/AbsBridge.sol' in /tmp/codex-multi-3c2_8zd5 succeeded in 5ms:
[codex:1111149]      1	// Copyright 2021-2022, Offchain Labs, Inc.
[codex:1111149]      2	// For license information, see https://github.com/nitro/blob/master/LICENSE
[codex:1111149]      3	// SPDX-License-Identifier: BUSL-1.1
[codex:1111149]      4	
[codex:1111149]      5	pragma solidity ^0.8.4;
[codex:1111149]      6	
[codex:1111149]      7	import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:1111149]      8	import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:1111149]      9	
[codex:1111149]     10	import {
[codex:1111149]     11	    NotContract,
[codex:1111149]     12	    NotRollupOrOwner,
[codex:1111149]     13	    NotDelayedInbox,
[codex:1111149]     14	    NotSequencerInbox,
[codex:1111149]     15	    NotOutbox,
[codex:1111149]     16	    InvalidOutboxSet,
[codex:1111149]     17	    BadSequencerMessageNumber
[codex:1111149]     18	} from "../libraries/Error.sol";
[codex:1111149]     19	import "./IBridge.sol";
[codex:1111149]     20	import "./Messages.sol";
[codex:1111149] 
[codex:1111149] thinking
[codex:1111149] **Evaluating potential exploits and reporting**
[codex:1111149] codex
[codex:1111149] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable path to extract value was found.","findings":[]}
[codex:1111149] tokens used
[codex:1111149] 17,728
[codex:1111149] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable path to extract value was found.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T00:30:46.767603+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable path to extract value was found.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt; no concrete, exploitable path to extract value was found.",
        "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 0x013f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x9e5d4c49
00000019: GT
0000001a: PUSH2 0x00b6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd5719dc2
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd5719dc2
0000002f: EQ
00000030: PUSH2 0x0393
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe76f5c8d
0000003a: EQ
0000003b: PUSH2 0x03b3
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe77145f4
00000045: EQ
00000046: PUSH2 0x01d8
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xeca067ad
00000050: EQ
00000051: PUSH2 0x03d3
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xee35f327
0000005b: EQ
0000005c: PUSH2 0x03e8
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf81ff3b3
00000066: EQ
00000067: PUSH2 0x0408
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x9e5d4c49
00000076: EQ
00000077: PUSH2 0x02d0
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xab5d8943
00000081: EQ
00000082: PUSH2 0x02fe
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xae60bd13
0000008c: EQ
0000008d: PUSH2 0x0313
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc4d66de8
00000097: EQ
00000098: PUSH2 0x0333
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xcb23bcb5
000000a2: EQ
000000a3: PUSH2 0x0353
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xcee3d728
000000ad: EQ
000000ae: PUSH2 0x0373
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x5fca4a16
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x5fca4a16
000000c8: EQ
000000c9: PUSH2 0x01fa
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x7a88b107
000000d3: EQ
000000d4: PUSH2 0x0210
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x86598a56
000000de: EQ
000000df: PUSH2 0x0230
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x8db5993b
000000e9: EQ
000000ea: PUSH2 0x0270
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x919cc706
000000f4: EQ
000000f5: PUSH2 0x0283
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x945e1147
000000ff: EQ
00000100: PUSH2 0x02a3
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH3 0x84120c
0000010e: EQ
0000010f: PUSH2 0x0144
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x16bf5579
00000119: EQ
0000011a: PUSH2 0x0168
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x413b35bd
00000124: EQ
00000125: PUSH2 0x0188
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x47fb24c5
0000012f: EQ
00000130: PUSH2 0x01b8
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x4f61f850
0000013a: EQ
0000013b: PUSH2 0x01da
0000013e: JUMPI
0000013f: JUMPDEST
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: CALLVALUE
00000146: DUP1
00000147: ISZERO
00000148: PUSH2 0x0150
0000014b: JUMPI
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: REVERT
00000150: JUMPDEST
00000151: POP
00000152: PUSH1 0x07
00000154: SLOAD
00000155: JUMPDEST
00000156: PUSH1 0x40
00000158: MLOAD
00000159: SWAP1
0000015a: DUP2
0000015b: MSTORE
0000015c: PUSH1 0x20
0000015e: ADD
0000015f: JUMPDEST
00000160: PUSH1 0x40
00000162: MLOAD
00000163: DUP1
00000164: SWAP2
00000165: SUB
00000166: SWAP1
00000167: RETURN
00000168: JUMPDEST
00000169: CALLVALUE
0000016a: DUP1
0000016b: ISZERO
0000016c: PUSH2 0x0174
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: POP
00000176: PUSH2 0x0155
00000179: PUSH2 0x0183
0000017c: CALLDATASIZE
0000017d: PUSH1 0x04
0000017f: PUSH2 0x14cc
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH2 0x0428
00000187: JUMP
00000188: JUMPDEST
00000189: CALLVALUE
0000018a: DUP1
0000018b: ISZERO
0000018c: PUSH2 0x0194
0000018f: JUMPI
00000190: PUSH1 0x00
00000192: DUP1
00000193: REVERT
00000194: JUMPDEST
00000195: POP
00000196: PUSH2 0x01a8
00000199: PUSH2 0x01a3
0000019c: CALLDATASIZE
0000019d: PUSH1 0x04
0000019f: PUSH2 0x14fa
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH2 0x0449
000001a7: JUMP
000001a8: JUMPDEST
000001a9: PUSH1 0x40
000001ab: MLOAD
000001ac: SWAP1
000001ad: ISZERO
000001ae: ISZERO
000001af: DUP2
000001b0: MSTORE
000001b1: PUSH1 0x20
000001b3: ADD
000001b4: PUSH2 0x015f
000001b7: JUMP
000001b8: JUMPDEST
000001b9: CALLVALUE
000001ba: DUP1
000001bb: ISZERO
000001bc: PUSH2 0x01c4
000001bf: JUMPI
000001c0: PUSH1 0x00
000001c2: DUP1
000001c3: REVERT
000001c4: JUMPDEST
000001c5: POP
000001c6: PUSH2 0x01d8
000001c9: PUSH2 0x01d3
000001cc: CALLDATASIZE
000001cd: PUSH1 0x04
000001cf: PUSH2 0x1517
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x046a
000001d7: JUMP
000001d8: JUMPDEST
000001d9: STOP
000001da: JUMPDEST
000001db: CALLVALUE
000001dc: DUP1
000001dd: ISZERO
000001de: PUSH2 0x01e6
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: POP
000001e8: PUSH2 0x01d8
000001eb: PUSH2 0x01f5
000001ee: CALLDATASIZE
000001ef: PUSH1 0x04
000001f1: PUSH2 0x14fa
000001f4: JUMP
000001f5: JUMPDEST
000001f6: PUSH2 0x0760
000001f9: JUMP
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0206
00000201: JUMPI
00000202: PUSH1 0x00
00000204: DUP1
00000205: REVERT
00000206: JUMPDEST
00000207: POP
00000208: PUSH2 0x0155
0000020b: PUSH1 0x0a
0000020d: SLOAD
0000020e: DUP2
0000020f: JUMP
00000210: JUMPDEST
00000211: CALLVALUE
00000212: DUP1
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: POP
0000021e: PUSH2 0x0155
00000221: PUSH2 0x022b
00000224: CALLDATASIZE
00000225: PUSH1 0x04
00000227: PUSH2 0x1555
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x0885
0000022f: JUMP
00000230: JUMPDEST
00000231: CALLVALUE
00000232: DUP1
00000233: ISZERO
00000234: PUSH2 0x023c
00000237: JUMPI
00000238: PUSH1 0x00
0000023a: DUP1
0000023b: REVERT
0000023c: JUMPDEST
0000023d: POP
0000023e: PUSH2 0x0250
00000241: PUSH2 0x024b
00000244: CALLDATASIZE
00000245: PUSH1 0x04
00000247: PUSH2 0x1581
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH2 0x08cb
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH1 0x40
00000253: DUP1
00000254: MLOAD
00000255: SWAP5
00000256: DUP6
00000257: MSTORE
00000258: PUSH1 0x20
0000025a: DUP6
0000025b: ADD
0000025c: SWAP4
0000025d: SWAP1
0000025e: SWAP4
0000025f: MSTORE
00000260: SWAP2
00000261: DUP4
00000262: ADD
00000263: MSTORE
00000264: PUSH1 0x60
00000266: DUP3
00000267: ADD
00000268: MSTORE
00000269: PUSH1 0x80
0000026b: ADD
0000026c: PUSH2 0x015f
0000026f: JUMP
00000270: JUMPDEST
00000271: PUSH2 0x0155
00000274: PUSH2 0x027e
00000277: CALLDATASIZE
00000278: PUSH1 0x04
0000027a: PUSH2 0x15b3
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH2 0x0a32
00000282: JUMP
00000283: JUMPDEST
00000284: CALLVALUE
00000285: DUP1
00000286: ISZERO
00000287: PUSH2 0x028f
0000028a: JUMPI
0000028b: PUSH1 0x00
0000028d: DUP1
0000028e: REVERT
0000028f: JUMPDEST
00000290: POP
00000291: PUSH2 0x01d8
00000294: PUSH2 0x029e
00000297: CALLDATASIZE
00000298: PUSH1 0x04
0000029a: PUSH2 0x14fa
0000029d: JUMP
0000029e: JUMPDEST
0000029f: PUSH2 0x0a48
000002a2: JUMP
000002a3: JUMPDEST
000002a4: CALLVALUE
000002a5: DUP1
000002a6: ISZERO
000002a7: PUSH2 0x02af
000002aa: JUMPI
000002ab: PUSH1 0x00
000002ad: DUP1
000002ae: REVERT
000002af: JUMPDEST
000002b0: POP
000002b1: PUSH2 0x02c3
000002b4: PUSH2 0x02be
000002b7: CALLDATASIZE
000002b8: PUSH1 0x04
000002ba: PUSH2 0x14cc
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH2 0x0b62
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: MLOAD
000002c7: PUSH2 0x015f
000002ca: SWAP2
000002cb: SWAP1
000002cc: PUSH2 0x15fa
000002cf: JUMP
000002d0: JUMPDEST
000002d1: CALLVALUE
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: PUSH2 0x02f0
000002e1: PUSH2 0x02eb
000002e4: CALLDATASIZE
000002e5: PUSH1 0x04
000002e7: PUSH2 0x160e
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x0b8c
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: PUSH2 0x015f
000002f7: SWAP3
000002f8: SWAP2
000002f9: SWAP1
000002fa: PUSH2 0x16c3
000002fd: JUMP
000002fe: JUMPDEST
000002ff: CALLVALUE
00000300: DUP1
00000301: ISZERO
00000302: PUSH2 0x030a
00000305: JUMPI
00000306: PUSH1 0x00
00000308: DUP1
00000309: REVERT
0000030a: JUMPDEST
0000030b: POP
0000030c: PUSH2 0x02c3
0000030f: PUSH2 0x0cc1
00000312: JUMP
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH2 0x01a8
00000324: PUSH2 0x032e
00000327: CALLDATASIZE
00000328: PUSH1 0x04
0000032a: PUSH2 0x14fa
0000032d: JUMP
0000032e: JUMPDEST
0000032f: PUSH2 0x0ce7
00000332: JUMP
00000333: JUMPDEST
00000334: CALLVALUE
00000335: DUP1
00000336: ISZERO
00000337: PUSH2 0x033f
0000033a: JUMPI
0000033b: PUSH1 0x00
0000033d: DUP1
0000033e: REVERT
0000033f: JUMPDEST
00000340: POP
00000341: PUSH2 0x01d8
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x14fa
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0d09
00000352: JUMP
00000353: JUMPDEST
00000354: CALLVALUE
00000355: DUP1
00000356: ISZERO
00000357: PUSH2 0x035f
0000035a: JUMPI
0000035b: PUSH1 0x00
0000035d: DUP1
0000035e: REVERT
0000035f: JUMPDEST
00000360: POP
00000361: PUSH1 0x08
00000363: SLOAD
00000364: PUSH2 0x02c3
00000367: SWAP1
00000368: PUSH1 0x01
0000036a: PUSH1 0x01
0000036c: PUSH1 0xa0
0000036e: SHL
0000036f: SUB
00000370: AND
00000371: DUP2
00000372: JUMP
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x01d8
00000384: PUSH2 0x038e
00000387: CALLDATASIZE
00000388: PUSH1 0x04
0000038a: PUSH2 0x1517
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x0e7d
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x0155
000003a4: PUSH2 0x03ae
000003a7: CALLDATASIZE
000003a8: PUSH1 0x04
000003aa: PUSH2 0x14cc
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH2 0x1196
000003b2: JUMP
000003b3: JUMPDEST
000003b4: CALLVALUE
000003b5: DUP1
000003b6: ISZERO
000003b7: PUSH2 0x03bf
000003ba: JUMPI
000003bb: PUSH1 0x00
000003bd: DUP1
000003be: REVERT
000003bf: JUMPDEST
000003c0: POP
000003c1: PUSH2 0x02c3
000003c4: PUSH2 0x03ce
000003c7: CALLDATASIZE
000003c8: PUSH1 0x04
000003ca: PUSH2 0x14cc
000003cd: JUMP
000003ce: JUMPDEST
000003cf: PUSH2 0x11a6
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH1 0x06
000003e3: SLOAD
000003e4: PUSH2 0x0155
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH1 0x09
000003f8: SLOAD
000003f9: PUSH2 0x02c3
000003fc: SWAP1
000003fd: PUSH1 0x01
000003ff: PUSH1 0x01
00000401: PUSH1 0xa0
00000403: SHL
00000404: SUB
00000405: AND
00000406: DUP2
00000407: JUMP
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0414
0000040f: JUMPI
00000410: PUSH1 0x00
00000412: DUP1
00000413: REVERT
00000414: JUMPDEST
00000415: POP
00000416: PUSH2 0x01d8
00000419: PUSH2 0x0423
0000041c: CALLDATASIZE
0000041d: PUSH1 0x04
0000041f: PUSH2 0x14cc
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH2 0x11b6
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH1 0x07
0000042b: DUP2
0000042c: DUP2
0000042d: SLOAD
0000042e: DUP2
0000042f: LT
00000430: PUSH2 0x0438
00000433: JUMPI
00000434: PUSH1 0x00
00000436: DUP1
00000437: REVERT
00000438: JUMPDEST
00000439: PUSH1 0x00
0000043b: SWAP2
0000043c: DUP3
0000043d: MSTORE
0000043e: PUSH1 0x20
00000440: SWAP1
00000441: SWAP2
00000442: KECCAK256
00000443: ADD
00000444: SLOAD
00000445: SWAP1
00000446: POP
00000447: DUP2
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x01
0000044c: PUSH1 0x01
0000044e: PUSH1 0xa0
00000450: SHL
00000451: SUB
00000452: AND
00000453: PUSH1 0x00
00000455: SWAP1
00000456: DUP2
00000457: MSTORE
00000458: PUSH1 0x02
0000045a: PUSH1 0x20
0000045c: MSTORE
0000045d: PUSH1 0x40
0000045f: SWAP1
00000460: KECCAK256
00000461: PUSH1 0x01
00000463: ADD
00000464: SLOAD
00000465: PUSH1 0xff
00000467: AND
00000468: SWAP1
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x08
0000046d: SLOAD
0000046e: PUSH1 0x01
00000470: PUSH1 0x01
00000472: PUSH1 0xa0
00000474: SHL
00000475: SUB
00000476: AND
00000477: CALLER
00000478: EQ
00000479: PUSH2 0x0542
0000047c: JUMPI
0000047d: PUSH1 0x08
0000047f: SLOAD
00000480: PUSH1 0x40
00000482: DUP1
00000483: MLOAD
00000484: PUSH4 0x8da5cb5b
00000489: PUSH1 0xe0
0000048b: SHL
0000048c: DUP2
0000048d: MSTORE
0000048e: SWAP1
0000048f: MLOAD
00000490: PUSH1 0x00
00000492: SWAP3
00000493: PUSH1 0x01
00000495: PUSH1 0x01
00000497: PUSH1 0xa0
00000499: SHL
0000049a: SUB
0000049b: AND
0000049c: SWAP2
0000049d: PUSH4 0x8da5cb5b
000004a2: SWAP2
000004a3: PUSH1 0x04
000004a5: DUP1
000004a6: DUP4
000004a7: ADD
000004a8: SWAP3
000004a9: PUSH1 0x20
000004ab: SWAP3
000004ac: SWAP2
000004ad: SWAP1
000004ae: DUP3
000004af: SWAP1
000004b0: SUB
000004b1: ADD
000004b2: DUP2
000004b3: DUP7
000004b4: DUP1
000004b5: EXTCODESIZE
000004b6: ISZERO
000004b7: DUP1
000004b8: ISZERO
000004b9: PUSH2 0x04c1
000004bc: JUMPI
000004bd: PUSH1 0x00
000004bf: DUP1
000004c0: REVERT
000004c1: JUMPDEST
000004c2: POP
000004c3: GAS
000004c4: STATICCALL
000004c5: ISZERO
000004c6: DUP1
000004c7: ISZERO
000004c8: PUSH2 0x04d5
000004cb: JUMPI
000004cc: RETURNDATASIZE
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: RETURNDATACOPY
000004d1: RETURNDATASIZE
000004d2: PUSH1 0x00
000004d4: REVERT
000004d5: JUMPDEST
000004d6: POP
000004d7: POP
000004d8: POP
000004d9: POP
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: RETURNDATASIZE
000004de: PUSH1 0x1f
000004e0: NOT
000004e1: PUSH1 0x1f
000004e3: DUP3
000004e4: ADD
000004e5: AND
000004e6: DUP3
000004e7: ADD
000004e8: DUP1
000004e9: PUSH1 0x40
000004eb: MSTORE
000004ec: POP
000004ed: DUP2
000004ee: ADD
000004ef: SWAP1
000004f0: PUSH2 0x04f9
000004f3: SWAP2
000004f4: SWAP1
000004f5: PUSH2 0x16ff
000004f8: JUMP
000004f9: JUMPDEST
000004fa: SWAP1
000004fb: POP
000004fc: CALLER
000004fd: PUSH1 0x01
000004ff: PUSH1 0x01
00000501: PUSH1 0xa0
00000503: SHL
00000504: SUB
00000505: DUP3
00000506: AND
00000507: EQ
00000508: PUSH2 0x0540
0000050b: JUMPI
0000050c: PUSH1 0x08
0000050e: SLOAD
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: PUSH4 0x07396007
00000517: PUSH1 0xe0
00000519: SHL
0000051a: DUP2
0000051b: MSTORE
0000051c: PUSH2 0x0537
0000051f: SWAP2
00000520: CALLER
00000521: SWAP2
00000522: PUSH1 0x01
00000524: PUSH1 0x01
00000526: PUSH1 0xa0
00000528: SHL
00000529: SUB
0000052a: SWAP1
0000052b: SWAP2
0000052c: AND
0000052d: SWAP1
0000052e: DUP5
0000052f: SWAP1
00000530: PUSH1 0x04
00000532: ADD
00000533: PUSH2 0x171c
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x40
0000053a: MLOAD
0000053b: DUP1
0000053c: SWAP2
0000053d: SUB
0000053e: SWAP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: JUMPDEST
00000543: PUSH1 0x01
00000545: PUSH1 0x01
00000547: PUSH1 0xa0
00000549: SHL
0000054a: SUB
0000054b: DUP3
0000054c: AND
0000054d: PUSH1 0x00
0000054f: DUP2
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x01
00000554: PUSH1 0x20
00000556: DUP2
00000557: DUP2
00000558: MSTORE
00000559: PUSH1 0x40
0000055b: SWAP3
0000055c: DUP4
0000055d: SWAP1
0000055e: KECCAK256
0000055f: SWAP2
00000560: DUP3
00000561: ADD
00000562: SLOAD
00000563: SWAP3
00000564: MLOAD
00000565: DUP6
00000566: ISZERO
00000567: ISZERO
00000568: DUP2
00000569: MSTORE
0000056a: SWAP2
0000056b: SWAP4
0000056c: PUSH1 0xff
0000056e: SWAP1
0000056f: SWAP4
00000570: AND
00000571: SWAP3
00000572: SWAP2
00000573: PUSH32 0x6675ce8882cb71637de5903a193d218cc0544be9c0650cb83e0955f6aa2bf521
00000594: SWAP2
00000595: ADD
00000596: PUSH1 0x40
00000598: MLOAD
00000599: DUP1
0000059a: SWAP2
0000059b: SUB
0000059c: SWAP1
0000059d: LOG2
0000059e: DUP3
0000059f: ISZERO
000005a0: ISZERO
000005a1: DUP2
000005a2: ISZERO
000005a3: ISZERO
000005a4: EQ
000005a5: ISZERO
000005a6: PUSH2 0x05af
000005a9: JUMPI
000005aa: POP
000005ab: POP
000005ac: POP
000005ad: POP
000005ae: JUMP
000005af: JUMPDEST
000005b0: DUP3
000005b1: ISZERO
000005b2: PUSH2 0x063d
000005b5: JUMPI
000005b6: PUSH1 0x40
000005b8: DUP1
000005b9: MLOAD
000005ba: DUP1
000005bb: DUP3
000005bc: ADD
000005bd: DUP3
000005be: MSTORE
000005bf: PUSH1 0x03
000005c1: DUP1
000005c2: SLOAD
000005c3: DUP3
000005c4: MSTORE
000005c5: PUSH1 0x01
000005c7: PUSH1 0x20
000005c9: DUP1
000005ca: DUP5
000005cb: ADD
000005cc: DUP3
000005cd: DUP2
000005ce: MSTORE
000005cf: PUSH1 0x01
000005d1: PUSH1 0x01
000005d3: PUSH1 0xa0
000005d5: SHL
000005d6: SUB
000005d7: DUP11
000005d8: AND
000005d9: PUSH1 0x00
000005db: DUP2
000005dc: DUP2
000005dd: MSTORE
000005de: SWAP3
000005df: DUP5
000005e0: SWAP1
000005e1: MSTORE
000005e2: SWAP6
000005e3: DUP3
000005e4: KECCAK256
000005e5: SWAP5
000005e6: MLOAD
000005e7: DUP6
000005e8: SSTORE
000005e9: MLOAD
000005ea: SWAP4
000005eb: DUP3
000005ec: ADD
000005ed: DUP1
000005ee: SLOAD
000005ef: PUSH1 0xff
000005f1: NOT
000005f2: AND
000005f3: SWAP5
000005f4: ISZERO
000005f5: ISZERO
000005f6: SWAP5
000005f7: SWAP1
000005f8: SWAP5
000005f9: OR
000005fa: SWAP1
000005fb: SWAP4
000005fc: SSTORE
000005fd: DUP2
000005fe: SLOAD
000005ff: SWAP1
00000600: DUP2
00000601: ADD
00000602: DUP3
00000603: SSTORE
00000604: SWAP2
00000605: MSTORE
00000606: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000627: ADD
00000628: DUP1
00000629: SLOAD
0000062a: PUSH1 0x01
0000062c: PUSH1 0x01
0000062e: PUSH1 0xa0
00000630: SHL
00000631: SUB
00000632: NOT
00000633: AND
00000634: SWAP1
00000635: SWAP2
00000636: OR
00000637: SWAP1
00000638: SSTORE
00000639: PUSH2 0x0759
0000063c: JUMP
0000063d: JUMPDEST
0000063e: PUSH1 0x03
00000640: DUP1
00000641: SLOAD
00000642: PUSH2 0x064d
00000645: SWAP1
00000646: PUSH1 0x01
00000648: SWAP1
00000649: PUSH2 0x173f
0000064c: JUMP
0000064d: JUMPDEST
0000064e: DUP2
0000064f: SLOAD
00000650: DUP2
00000651: LT
00000652: PUSH2 0x065d
00000655: JUMPI
00000656: PUSH2 0x065d
00000659: PUSH2 0x1764
0000065c: JUMP
0000065d: JUMPDEST
0000065e: PUSH1 0x00
00000660: SWAP2
00000661: DUP3
00000662: MSTORE
00000663: PUSH1 0x20
00000665: SWAP1
00000666: SWAP2
00000667: KECCAK256
00000668: ADD
00000669: SLOAD
0000066a: DUP3
0000066b: SLOAD
0000066c: PUSH1 0x03
0000066e: DUP1
0000066f: SLOAD
00000670: PUSH1 0x01
00000672: PUSH1 0x01
00000674: PUSH1 0xa0
00000676: SHL
00000677: SUB
00000678: SWAP1
00000679: SWAP4
0000067a: AND
0000067b: SWAP3
0000067c: SWAP1
0000067d: SWAP2
0000067e: SWAP1
0000067f: DUP2
00000680: LT
00000681: PUSH2 0x068c
00000684: JUMPI
00000685: PUSH2 0x068c
00000688: PUSH2 0x1764
0000068b: JUMP
0000068c: JUMPDEST
0000068d: SWAP1
0000068e: PUSH1 0x00
00000690: MSTORE
00000691: PUSH1 0x20
00000693: PUSH1 0x00
00000695: KECCAK256
00000696: ADD
00000697: PUSH1 0x00
00000699: PUSH2 0x0100
0000069c: EXP
0000069d: DUP2
0000069e: SLOAD
0000069f: DUP2
000006a0: PUSH1 0x01
000006a2: PUSH1 0x01
000006a4: PUSH1 0xa0
000006a6: SHL
000006a7: SUB
000006a8: MUL
000006a9: NOT
000006aa: AND
000006ab: SWAP1
000006ac: DUP4
000006ad: PUSH1 0x01
000006af: PUSH1 0x01
000006b1: PUSH1 0xa0
000006b3: SHL
000006b4: SUB
000006b5: AND
000006b6: MUL
000006b7: OR
000006b8: SWAP1
000006b9: SSTORE
000006ba: POP
000006bb: DUP2
000006bc: PUSH1 0x00
000006be: ADD
000006bf: SLOAD
000006c0: PUSH1 0x01
000006c2: PUSH1 0x00
000006c4: PUSH1 0x03
000006c6: DUP6
000006c7: PUSH1 0x00
000006c9: ADD
000006ca: SLOAD
000006cb: DUP2
000006cc: SLOAD
000006cd: DUP2
000006ce: LT
000006cf: PUSH2 0x06da
000006d2: JUMPI
000006d3: PUSH2 0x06da
000006d6: PUSH2 0x1764
000006d9: JUMP
000006da: JUMPDEST
000006db: PUSH1 0x00
000006dd: SWAP2
000006de: DUP3
000006df: MSTORE
000006e0: PUSH1 0x20
000006e2: DUP1
000006e3: DUP4
000006e4: KECCAK256
000006e5: SWAP1
000006e6: SWAP2
000006e7: ADD
000006e8: SLOAD
000006e9: PUSH1 0x01
000006eb: PUSH1 0x01
000006ed: PUSH1 0xa0
000006ef: SHL
000006f0: SUB
000006f1: AND
000006f2: DUP4
000006f3: MSTORE
000006f4: DUP3
000006f5: ADD
000006f6: SWAP3
000006f7: SWAP1
000006f8: SWAP3
000006f9: MSTORE
000006fa: PUSH1 0x40
000006fc: ADD
000006fd: SWAP1
000006fe: KECCAK256
000006ff: SSTORE
00000700: PUSH1 0x03
00000702: DUP1
00000703: SLOAD
00000704: DUP1
00000705: PUSH2 0x0710
00000708: JUMPI
00000709: PUSH2 0x0710
0000070c: PUSH2 0x177a
0000070f: JUMP
00000710: JUMPDEST
00000711: PUSH1 0x00
00000713: DUP3
00000714: DUP2
00000715: MSTORE
00000716: PUSH1 0x20
00000718: DUP1
00000719: DUP3
0000071a: KECCAK256
0000071b: DUP4
0000071c: ADD
0000071d: PUSH1 0x00
0000071f: NOT
00000720: SWAP1
00000721: DUP2
00000722: ADD
00000723: DUP1
00000724: SLOAD
00000725: PUSH1 0x01
00000727: PUSH1 0x01
00000729: PUSH1 0xa0
0000072b: SHL
0000072c: SUB
0000072d: NOT
0000072e: AND
0000072f: SWAP1
00000730: SSTORE
00000731: SWAP1
00000732: SWAP3
00000733: ADD
00000734: SWAP1
00000735: SWAP3
00000736: SSTORE
00000737: PUSH1 0x01
00000739: PUSH1 0x01
0000073b: PUSH1 0xa0
0000073d: SHL
0000073e: SUB
0000073f: DUP7
00000740: AND
00000741: DUP3
00000742: MSTORE
00000743: PUSH1 0x01
00000745: SWAP1
00000746: DUP2
00000747: SWAP1
00000748: MSTORE
00000749: PUSH1 0x40
0000074b: DUP3
0000074c: KECCAK256
0000074d: SWAP2
0000074e: DUP3
0000074f: SSTORE
00000750: ADD
00000751: DUP1
00000752: SLOAD
00000753: PUSH1 0xff
00000755: NOT
00000756: AND
00000757: SWAP1
00000758: SSTORE
00000759: JUMPDEST
0000075a: POP
0000075b: POP
0000075c: JUMPDEST
0000075d: POP
0000075e: POP
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH1 0x08
00000763: SLOAD
00000764: PUSH1 0x01
00000766: PUSH1 0x01
00000768: PUSH1 0xa0
0000076a: SHL
0000076b: SUB
0000076c: AND
0000076d: CALLER
0000076e: EQ
0000076f: PUSH2 0x082f
00000772: JUMPI
00000773: PUSH1 0x08
00000775: SLOAD
00000776: PUSH1 0x40
00000778: DUP1
00000779: MLOAD
0000077a: PUSH4 0x8da5cb5b
0000077f: PUSH1 0xe0
00000781: SHL
00000782: DUP2
00000783: MSTORE
00000784: SWAP1
00000785: MLOAD
00000786: PUSH1 0x00
00000788: SWAP3
00000789: PUSH1 0x01
0000078b: PUSH1 0x01
0000078d: PUSH1 0xa0
0000078f: SHL
00000790: SUB
00000791: AND
00000792: SWAP2
00000793: PUSH4 0x8da5cb5b
00000798: SWAP2
00000799: PUSH1 0x04
0000079b: DUP1
0000079c: DUP4
0000079d: ADD
0000079e: SWAP3
0000079f: PUSH1 0x20
000007a1: SWAP3
000007a2: SWAP2
000007a3: SWAP1
000007a4: DUP3
000007a5: SWAP1
000007a6: SUB
000007a7: ADD
000007a8: DUP2
000007a9: DUP7
000007aa: DUP1
000007ab: EXTCODESIZE
000007ac: ISZERO
000007ad: DUP1
000007ae: ISZERO
000007af: PUSH2 0x07b7
000007b2: JUMPI
000007b3: PUSH1 0x00
000007b5: DUP1
000007b6: REVERT
000007b7: JUMPDEST
000007b8: POP
000007b9: GAS
000007ba: STATICCALL
000007bb: ISZERO
000007bc: DUP1
000007bd: ISZERO
000007be: PUSH2 0x07cb
000007c1: JUMPI
000007c2: RETURNDATASIZE
000007c3: PUSH1 0x00
000007c5: DUP1
000007c6: RETURNDATACOPY
000007c7: RETURNDATASIZE
000007c8: PUSH1 0x00
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: PUSH1 0x40
000007d2: MLOAD
000007d3: RETURNDATASIZE
000007d4: PUSH1 0x1f
000007d6: NOT
000007d7: PUSH1 0x1f
000007d9: DUP3
000007da: ADD
000007db: AND
000007dc: DUP3
000007dd: ADD
000007de: DUP1
000007df: PUSH1 0x40
000007e1: MSTORE
000007e2: POP
000007e3: DUP2
000007e4: ADD
000007e5: SWAP1
000007e6: PUSH2 0x07ef
000007e9: SWAP2
000007ea: SWAP1
000007eb: PUSH2 0x16ff
000007ee: JUMP
000007ef: JUMPDEST
000007f0: SWAP1
000007f1: POP
000007f2: CALLER
000007f3: PUSH1 0x01
000007f5: PUSH1 0x01
000007f7: PUSH1 0xa0
000007f9: SHL
000007fa: SUB
000007fb: DUP3
000007fc: AND
000007fd: EQ
000007fe: PUSH2 0x082d
00000801: JUMPI
00000802: PUSH1 0x08
00000804: SLOAD
00000805: PUSH1 0x40
00000807: MLOAD
00000808: PUSH4 0x07396007
0000080d: PUSH1 0xe0
0000080f: SHL
00000810: DUP2
00000811: MSTORE
00000812: PUSH2 0x0537
00000815: SWAP2
00000816: CALLER
00000817: SWAP2
00000818: PUSH1 0x01
0000081a: PUSH1 0x01
0000081c: PUSH1 0xa0
0000081e: SHL
0000081f: SUB
00000820: SWAP1
00000821: SWAP2
00000822: AND
00000823: SWAP1
00000824: DUP5
00000825: SWAP1
00000826: PUSH1 0x04
00000828: ADD
00000829: PUSH2 0x171c
0000082c: JUMP
0000082d: JUMPDEST
0000082e: POP
0000082f: JUMPDEST
00000830: PUSH1 0x09
00000832: DUP1
00000833: SLOAD
00000834: PUSH1 0x01
00000836: PUSH1 0x01
00000838: PUSH1 0xa0
0000083a: SHL
0000083b: SUB
0000083c: NOT
0000083d: AND
0000083e: PUSH1 0x01
00000840: PUSH1 0x01
00000842: PUSH1 0xa0
00000844: SHL
00000845: SUB
00000846: DUP4
00000847: AND
00000848: OR
00000849: SWAP1
0000084a: SSTORE
0000084b: PUSH1 0x40
0000084d: MLOAD
0000084e: PUSH32 0x8c1e6003ed33ca6748d4ad3dd4ecc949065c89dceb31fdf546a5289202763c6a
0000086f: SWAP1
00000870: PUSH2 0x087a
00000873: SWAP1
00000874: DUP4
00000875: SWAP1
00000876: PUSH2 0x15fa
00000879: JUMP
0000087a: JUMPDEST
0000087b: PUSH1 0x40
0000087d: MLOAD
0000087e: DUP1
0000087f: SWAP2
00000880: SUB
00000881: SWAP1
00000882: LOG1
00000883: POP
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x09
00000888: SLOAD
00000889: PUSH1 0x00
0000088b: SWAP1
0000088c: PUSH1 0x01
0000088e: PUSH1 0x01
00000890: PUSH1 0xa0
00000892: SHL
00000893: SUB
00000894: AND
00000895: CALLER
00000896: EQ
00000897: PUSH2 0x08b5
0000089a: JUMPI
0000089b: CALLER
0000089c: PUSH1 0x40
0000089e: MLOAD
0000089f: PUSH4 0x223e13c1
000008a4: PUSH1 0xe2
000008a6: SHL
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x04
000008ab: ADD
000008ac: PUSH2 0x0537
000008af: SWAP2
000008b0: SWAP1
000008b1: PUSH2 0x15fa
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH2 0x08c4
000008b9: PUSH1 0x0d
000008bb: DUP5
000008bc: NUMBER
000008bd: TIMESTAMP
000008be: BASEFEE
000008bf: DUP8
000008c0: PUSH2 0x128a
000008c3: JUMP
000008c4: JUMPDEST
000008c5: SWAP4
000008c6: SWAP3
000008c7: POP
000008c8: POP
000008c9: POP
000008ca: JUMP
000008cb: JUMPDEST
000008cc: PUSH1 0x09
000008ce: SLOAD
000008cf: PUSH1 0x00
000008d1: SWAP1
000008d2: DUP2
000008d3: SWAP1
000008d4: DUP2
000008d5: SWAP1
000008d6: DUP2
000008d7: SWAP1
000008d8: PUSH1 0x01
000008da: PUSH1 0x01
000008dc: PUSH1 0xa0
000008de: SHL
000008df: SUB
000008e0: AND
000008e1: CALLER
000008e2: EQ
000008e3: PUSH2 0x0901
000008e6: JUMPI
000008e7: CALLER
000008e8: PUSH1 0x40
000008ea: MLOAD
000008eb: PUSH4 0x223e13c1
000008f0: PUSH1 0xe2
000008f2: SHL
000008f3: DUP2
000008f4: MSTORE
000008f5: PUSH1 0x04
000008f7: ADD
000008f8: PUSH2 0x0537
000008fb: SWAP2
000008fc: SWAP1
000008fd: PUSH2 0x15fa
00000900: JUMP
00000901: JUMPDEST
00000902: DUP6
00000903: PUSH1 0x0a
00000905: SLOAD
00000906: EQ
00000907: ISZERO
00000908: DUP1
00000909: ISZERO
0000090a: PUSH2 0x0912
0000090d: JUMPI
0000090e: POP
0000090f: DUP6
00000910: ISZERO
00000911: ISZERO
00000912: JUMPDEST
00000913: DUP1
00000914: ISZERO
00000915: PUSH2 0x091f
00000918: JUMPI
00000919: POP
0000091a: PUSH1 0x0a
0000091c: SLOAD
0000091d: ISZERO
0000091e: ISZERO
0000091f: JUMPDEST
00000920: ISZERO
00000921: PUSH2 0x094b
00000924: JUMPI
00000925: PUSH1 0x0a
00000927: SLOAD
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: PUSH4 0xe2051feb
00000930: PUSH1 0xe0
00000932: SHL
00000933: DUP2
00000934: MSTORE
00000935: PUSH1 0x04
00000937: DUP2
00000938: ADD
00000939: SWAP2
0000093a: SWAP1
0000093b: SWAP2
0000093c: MSTORE
0000093d: PUSH1 0x24
0000093f: DUP2
00000940: ADD
00000941: DUP8
00000942: SWAP1
00000943: MSTORE
00000944: PUSH1 0x44
00000946: ADD
00000947: PUSH2 0x0537
0000094a: JUMP
0000094b: JUMPDEST
0000094c: PUSH1 0x0a
0000094e: DUP6
0000094f: SWAP1
00000950: SSTORE
00000951: PUSH1 0x07
00000953: SLOAD
00000954: SWAP4
00000955: POP
00000956: DUP4
00000957: ISZERO
00000958: PUSH2 0x0989
0000095b: JUMPI
0000095c: PUSH1 0x07
0000095e: DUP1
0000095f: SLOAD
00000960: PUSH2 0x096b
00000963: SWAP1
00000964: PUSH1 0x01
00000966: SWAP1
00000967: PUSH2 0x173f
0000096a: JUMP
0000096b: JUMPDEST
0000096c: DUP2
0000096d: SLOAD
0000096e: DUP2
0000096f: LT
00000970: PUSH2 0x097b
00000973: JUMPI
00000974: PUSH2 0x097b
00000977: PUSH2 0x1764
0000097a: JUMP
0000097b: JUMPDEST
0000097c: SWAP1
0000097d: PUSH1 0x00
0000097f: MSTORE
00000980: PUSH1 0x20
00000982: PUSH1 0x00
00000984: KECCAK256
00000985: ADD
00000986: SLOAD
00000987: SWAP3
00000988: POP
00000989: JUMPDEST
0000098a: DUP7
0000098b: ISZERO
0000098c: PUSH2 0x09ba
0000098f: JUMPI
00000990: PUSH1 0x06
00000992: PUSH2 0x099c
00000995: PUSH1 0x01
00000997: DUP10
00000998: PUSH2 0x173f
0000099b: JUMP
0000099c: JUMPDEST
0000099d: DUP2
0000099e: SLOAD
0000099f: DUP2
000009a0: LT
000009a1: PUSH2 0x09ac
000009a4: JUMPI
000009a5: PUSH2 0x09ac
000009a8: PUSH2 0x1764
000009ab: JUMP
000009ac: JUMPDEST
000009ad: SWAP1
000009ae: PUSH1 0x00
000009b0: MSTORE
000009b1: PUSH1 0x20
000009b3: PUSH1 0x00
000009b5: KECCAK256
000009b6: ADD
000009b7: SLOAD
000009b8: SWAP2
000009b9: POP
000009ba: JUMPDEST
000009bb: PUSH1 0x40
000009bd: DUP1
000009be: MLOAD
000009bf: PUSH1 0x20
000009c1: DUP2
000009c2: ADD
000009c3: DUP6
000009c4: SWAP1
000009c5: MSTORE
000009c6: SWAP1
000009c7: DUP2
000009c8: ADD
000009c9: DUP10
000009ca: SWAP1
000009cb: MSTORE
000009cc: PUSH1 0x60
000009ce: DUP2
000009cf: ADD
000009d0: DUP4
000009d1: SWAP1
000009d2: MSTORE
000009d3: PUSH1 0x80
000009d5: ADD
000009d6: PUSH1 0x40
000009d8: DUP1
000009d9: MLOAD
000009da: PUSH1 0x1f
000009dc: NOT
000009dd: DUP2
000009de: DUP5
000009df: SUB
000009e0: ADD
000009e1: DUP2
000009e2: MSTORE
000009e3: SWAP2
000009e4: SWAP1
000009e5: MSTORE
000009e6: DUP1
000009e7: MLOAD
000009e8: PUSH1 0x20
000009ea: SWAP1
000009eb: SWAP2
000009ec: ADD
000009ed: KECCAK256
000009ee: PUSH1 0x07
000009f0: DUP1
000009f1: SLOAD
000009f2: PUSH1 0x01
000009f4: DUP2
000009f5: ADD
000009f6: DUP3
000009f7: SSTORE
000009f8: PUSH1 0x00
000009fa: SWAP2
000009fb: SWAP1
000009fc: SWAP2
000009fd: MSTORE
000009fe: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688
00000a1f: ADD
00000a20: DUP2
00000a21: SWAP1
00000a22: SSTORE
00000a23: SWAP4
00000a24: SWAP9
00000a25: SWAP3
00000a26: SWAP8
00000a27: POP
00000a28: SWAP1
00000a29: SWAP6
00000a2a: POP
00000a2b: SWAP2
00000a2c: SWAP4
00000a2d: POP
00000a2e: SWAP2
00000a2f: POP
00000a30: POP
00000a31: JUMP
00000a32: JUMPDEST
00000a33: PUSH1 0x00
00000a35: PUSH2 0x0a40
00000a38: DUP5
00000a39: DUP5
00000a3a: DUP5
00000a3b: CALLVALUE
00000a3c: PUSH2 0x1419
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: SWAP5
00000a42: SWAP4
00000a43: POP
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH1 0x08
00000a4b: SLOAD
00000a4c: PUSH1 0x01
00000a4e: PUSH1 0x01
00000a50: PUSH1 0xa0
00000a52: SHL
00000a53: SUB
00000a54: AND
00000a55: CALLER
00000a56: EQ
00000a57: PUSH2 0x0b17
00000a5a: JUMPI
00000a5b: PUSH1 0x08
00000a5d: SLOAD
00000a5e: PUSH1 0x40
00000a60: DUP1
00000a61: MLOAD
00000a62: PUSH4 0x8da5cb5b
00000a67: PUSH1 0xe0
00000a69: SHL
00000a6a: DUP2
00000a6b: MSTORE
00000a6c: SWAP1
00000a6d: MLOAD
00000a6e: PUSH1 0x00
00000a70: SWAP3
00000a71: PUSH1 0x01
00000a73: PUSH1 0x01
00000a75: PUSH1 0xa0
00000a77: SHL
00000a78: SUB
00000a79: AND
00000a7a: SWAP2
00000a7b: PUSH4 0x8da5cb5b
00000a80: SWAP2
00000a81: PUSH1 0x04
00000a83: DUP1
00000a84: DUP4
00000a85: ADD
00000a86: SWAP3
00000a87: PUSH1 0x20
00000a89: SWAP3
00000a8a: SWAP2
00000a8b: SWAP1
00000a8c: DUP3
00000a8d: SWAP1
00000a8e: SUB
00000a8f: ADD
00000a90: DUP2
00000a91: DUP7
00000a92: DUP1
00000a93: EXTCODESIZE
00000a94: ISZERO
00000a95: DUP1
00000a96: ISZERO
00000a97: PUSH2 0x0a9f
00000a9a: JUMPI
00000a9b: PUSH1 0x00
00000a9d: DUP1
00000a9e: REVERT
00000a9f: JUMPDEST
00000aa0: POP
00000aa1: GAS
00000aa2: STATICCALL
00000aa3: ISZERO
00000aa4: DUP1
00000aa5: ISZERO
00000aa6: PUSH2 0x0ab3
00000aa9: JUMPI
00000aaa: RETURNDATASIZE
00000aab: PUSH1 0x00
00000aad: DUP1
00000aae: RETURNDATACOPY
00000aaf: RETURNDATASIZE
00000ab0: PUSH1 0x00
00000ab2: REVERT
00000ab3: JUMPDEST
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: POP
00000ab8: PUSH1 0x40
00000aba: MLOAD
00000abb: RETURNDATASIZE
00000abc: PUSH1 0x1f
00000abe: NOT
00000abf: PUSH1 0x1f
00000ac1: DUP3
00000ac2: ADD
00000ac3: AND
00000ac4: DUP3
00000ac5: ADD
00000ac6: DUP1
00000ac7: PUSH1 0x40
00000ac9: MSTORE
00000aca: POP
00000acb: DUP2
00000acc: ADD
00000acd: SWAP1
00000ace: PUSH2 0x0ad7
00000ad1: SWAP2
00000ad2: SWAP1
00000ad3: PUSH2 0x16ff
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: SWAP1
00000ad9: POP
00000ada: CALLER
00000adb: PUSH1 0x01
00000add: PUSH1 0x01
00000adf: PUSH1 0xa0
00000ae1: SHL
00000ae2: SUB
00000ae3: DUP3
00000ae4: AND
00000ae5: EQ
00000ae6: PUSH2 0x0b15
00000ae9: JUMPI
00000aea: PUSH1 0x08
00000aec: SLOAD
00000aed: PUSH1 0x40
00000aef: MLOAD
00000af0: PUSH4 0x07396007
00000af5: PUSH1 0xe0
00000af7: SHL
00000af8: DUP2
00000af9: MSTORE
00000afa: PUSH2 0x0537
00000afd: SWAP2
00000afe: CALLER
00000aff: SWAP2
00000b00: PUSH1 0x01
00000b02: PUSH1 0x01
00000b04: PUSH1 0xa0
00000b06: SHL
00000b07: SUB
00000b08: SWAP1
00000b09: SWAP2
00000b0a: AND
00000b0b: SWAP1
00000b0c: DUP5
00000b0d: SWAP1
00000b0e: PUSH1 0x04
00000b10: ADD
00000b11: PUSH2 0x171c
00000b14: JUMP
00000b15: JUMPDEST
00000b16: POP
00000b17: JUMPDEST
00000b18: PUSH1 0x08
00000b1a: DUP1
00000b1b: SLOAD
00000b1c: PUSH1 0x01
00000b1e: PUSH1 0x01
00000b20: PUSH1 0xa0
00000b22: SHL
00000b23: SUB
00000b24: NOT
00000b25: AND
00000b26: PUSH1 0x01
00000b28: PUSH1 0x01
00000b2a: PUSH1 0xa0
00000b2c: SHL
00000b2d: SUB
00000b2e: DUP4
00000b2f: AND
00000b30: OR
00000b31: SWAP1
00000b32: SSTORE
00000b33: PUSH1 0x40
00000b35: MLOAD
00000b36: PUSH32 0xae1f5aa15f6ff844896347ceca2a3c24c8d3a27785efdeacd581a0a95172784a
00000b57: SWAP1
00000b58: PUSH2 0x087a
00000b5b: SWAP1
00000b5c: DUP4
00000b5d: SWAP1
00000b5e: PUSH2 0x15fa
00000b61: JUMP
00000b62: JUMPDEST
00000b63: PUSH1 0x04
00000b65: DUP2
00000b66: DUP2
00000b67: SLOAD
00000b68: DUP2
00000b69: LT
00000b6a: PUSH2 0x0b72
00000b6d: JUMPI
00000b6e: PUSH1 0x00
00000b70: DUP1
00000b71: REVERT
00000b72: JUMPDEST
00000b73: PUSH1 0x00
00000b75: SWAP2
00000b76: DUP3
00000b77: MSTORE
00000b78: PUSH1 0x20
00000b7a: SWAP1
00000b7b: SWAP2
00000b7c: KECCAK256
00000b7d: ADD
00000b7e: SLOAD
00000b7f: PUSH1 0x01
00000b81: PUSH1 0x01
00000b83: PUSH1 0xa0
00000b85: SHL
00000b86: SUB
00000b87: AND
00000b88: SWAP1
00000b89: POP
00000b8a: DUP2
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH1 0x00
00000b8f: PUSH1 0x60
00000b91: PUSH2 0x0b99
00000b94: CALLER
00000b95: PUSH2 0x0449
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: PUSH2 0x0bb8
00000b9d: JUMPI
00000b9e: CALLER
00000b9f: PUSH1 0x40
00000ba1: MLOAD
00000ba2: PUSH4 0x32ea82ab
00000ba7: PUSH1 0xe0
00000ba9: SHL
00000baa: DUP2
00000bab: MSTORE
00000bac: PUSH1 0x04
00000bae: ADD
00000baf: PUSH2 0x0537
00000bb2: SWAP2
00000bb3: SWAP1
00000bb4: PUSH2 0x15fa
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: DUP3
00000bba: ISZERO
00000bbb: DUP1
00000bbc: ISZERO
00000bbd: SWAP1
00000bbe: PUSH2 0x0bcf
00000bc1: JUMPI
00000bc2: POP
00000bc3: PUSH1 0x01
00000bc5: PUSH1 0x01
00000bc7: PUSH1 0xa0
00000bc9: SHL
00000bca: SUB
00000bcb: DUP7
00000bcc: AND
00000bcd: EXTCODESIZE
00000bce: ISZERO
00000bcf: JUMPDEST
00000bd0: ISZERO
00000bd1: PUSH2 0x0bef
00000bd4: JUMPI
00000bd5: DUP6
00000bd6: PUSH1 0x40
00000bd8: MLOAD
00000bd9: PUSH4 0xb5cf5b8f
00000bde: PUSH1 0xe0
00000be0: SHL
00000be1: DUP2
00000be2: MSTORE
00000be3: PUSH1 0x04
00000be5: ADD
00000be6: PUSH2 0x0537
00000be9: SWAP2
00000bea: SWAP1
00000beb: PUSH2 0x15fa
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH1 0x05
00000bf2: DUP1
00000bf3: SLOAD
00000bf4: PUSH1 0x01
00000bf6: PUSH1 0x01
00000bf8: PUSH1 0xa0
00000bfa: SHL
00000bfb: SUB
00000bfc: NOT
00000bfd: DUP2
00000bfe: AND
00000bff: CALLER
00000c00: OR
00000c01: SWAP1
00000c02: SWAP2
00000c03: SSTORE
00000c04: PUSH1 0x40
00000c06: DUP1
00000c07: MLOAD
00000c08: PUSH1 0x20
00000c0a: PUSH1 0x1f
00000c0c: DUP8
00000c0d: ADD
00000c0e: DUP2
00000c0f: SWAP1
00000c10: DIV
00000c11: DUP2
00000c12: MUL
00000c13: DUP3
00000c14: ADD
00000c15: DUP2
00000c16: ADD
00000c17: SWAP1
00000c18: SWAP3
00000c19: MSTORE
00000c1a: DUP6
00000c1b: DUP2
00000c1c: MSTORE
00000c1d: PUSH1 0x01
00000c1f: PUSH1 0x01
00000c21: PUSH1 0xa0
00000c23: SHL
00000c24: SUB
00000c25: SWAP1
00000c26: SWAP3
00000c27: AND
00000c28: SWAP2
00000c29: PUSH2 0x0c50
00000c2c: SWAP2
00000c2d: DUP10
00000c2e: SWAP2
00000c2f: DUP10
00000c30: SWAP2
00000c31: DUP10
00000c32: SWAP1
00000c33: DUP10
00000c34: SWAP1
00000c35: DUP2
00000c36: SWAP1
00000c37: DUP5
00000c38: ADD
00000c39: DUP4
00000c3a: DUP3
00000c3b: DUP1
00000c3c: DUP3
00000c3d: DUP5
00000c3e: CALLDATACOPY
00000c3f: PUSH1 0x00
00000c41: SWAP3
00000c42: ADD
00000c43: SWAP2
00000c44: SWAP1
00000c45: SWAP2
00000c46: MSTORE
00000c47: POP
00000c48: PUSH2 0x145d
00000c4b: SWAP3
00000c4c: POP
00000c4d: POP
00000c4e: POP
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x05
00000c53: DUP1
00000c54: SLOAD
00000c55: PUSH1 0x01
00000c57: PUSH1 0x01
00000c59: PUSH1 0xa0
00000c5b: SHL
00000c5c: SUB
00000c5d: NOT
00000c5e: AND
00000c5f: PUSH1 0x01
00000c61: PUSH1 0x01
00000c63: PUSH1 0xa0
00000c65: SHL
00000c66: SUB
00000c67: DUP6
00000c68: DUP2
00000c69: AND
00000c6a: SWAP2
00000c6b: SWAP1
00000c6c: SWAP2
00000c6d: OR
00000c6e: SWAP1
00000c6f: SWAP2
00000c70: SSTORE
00000c71: PUSH1 0x40
00000c73: MLOAD
00000c74: SWAP3
00000c75: SWAP6
00000c76: POP
00000c77: SWAP1
00000c78: SWAP4
00000c79: POP
00000c7a: DUP9
00000c7b: AND
00000c7c: SWAP1
00000c7d: CALLER
00000c7e: SWAP1
00000c7f: PUSH32 0x2d9d115ef3e4a606d698913b1eae831a3cdfe20d9a83d48007b0526749c3d466
00000ca0: SWAP1
00000ca1: PUSH2 0x0caf
00000ca4: SWAP1
00000ca5: DUP11
00000ca6: SWAP1
00000ca7: DUP11
00000ca8: SWAP1
00000ca9: DUP11
00000caa: SWAP1
00000cab: PUSH2 0x1790
00000cae: JUMP
00000caf: JUMPDEST
00000cb0: PUSH1 0x40
00000cb2: MLOAD
00000cb3: DUP1
00000cb4: SWAP2
00000cb5: SUB
00000cb6: SWAP1
00000cb7: LOG3
00000cb8: POP
00000cb9: SWAP5
00000cba: POP
00000cbb: SWAP5
00000cbc: SWAP3
00000cbd: POP
00000cbe: POP
00000cbf: POP
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x05
00000cc4: SLOAD
00000cc5: PUSH1 0x00
00000cc7: SWAP1
00000cc8: PUSH1 0x01
00000cca: PUSH1 0x01
00000ccc: PUSH1 0xa0
00000cce: SHL
00000ccf: SUB
00000cd0: SWAP1
00000cd1: DUP2
00000cd2: AND
00000cd3: SWAP1
00000cd4: DUP2
00000cd5: EQ
00000cd6: ISZERO
00000cd7: PUSH2 0x0ce2
00000cda: JUMPI
00000cdb: PUSH1 0x00
00000cdd: SWAP2
00000cde: POP
00000cdf: POP
00000ce0: SWAP1
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: SWAP2
00000ce4: SWAP1
00000ce5: POP
00000ce6: JUMP
00000ce7: JUMPDEST
00000ce8: PUSH1 0x01
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: SHL
00000cef: SUB
00000cf0: AND
00000cf1: PUSH1 0x00
00000cf3: SWAP1
00000cf4: DUP2
00000cf5: MSTORE
00000cf6: PUSH1 0x01
00000cf8: PUSH1 0x20
00000cfa: DUP2
00000cfb: SWAP1
00000cfc: MSTORE
00000cfd: PUSH1 0x40
00000cff: SWAP1
00000d00: SWAP2
00000d01: KECCAK256
00000d02: ADD
00000d03: SLOAD
00000d04: PUSH1 0xff
00000d06: AND
00000d07: SWAP1
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: SLOAD
00000d0d: PUSH2 0x0100
00000d10: SWAP1
00000d11: DIV
00000d12: PUSH1 0xff
00000d14: AND
00000d15: PUSH2 0x0d24
00000d18: JUMPI
00000d19: PUSH1 0x00
00000d1b: SLOAD
00000d1c: PUSH1 0xff
00000d1e: AND
00000d1f: ISZERO
00000d20: PUSH2 0x0d28
00000d23: JUMP
00000d24: JUMPDEST
00000d25: ADDRESS
00000d26: EXTCODESIZE
00000d27: ISZERO
00000d28: JUMPDEST
00000d29: PUSH2 0x0d8b
00000d2c: JUMPI
00000d2d: PUSH1 0x40
00000d2f: MLOAD
00000d30: PUSH3 0x461bcd
00000d34: PUSH1 0xe5
00000d36: SHL
00000d37: DUP2
00000d38: MSTORE
00000d39: PUSH1 0x20
00000d3b: PUSH1 0x04
00000d3d: DUP3
00000d3e: ADD
00000d3f: MSTORE
00000d40: PUSH1 0x2e
00000d42: PUSH1 0x24
00000d44: DUP3
00000d45: ADD
00000d46: MSTORE
00000d47: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
00000d68: PUSH1 0x44
00000d6a: DUP3
00000d6b: ADD
00000d6c: MSTORE
00000d6d: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00000d7c: PUSH1 0x92
00000d7e: SHL
00000d7f: PUSH1 0x64
00000d81: DUP3
00000d82: ADD
00000d83: MSTORE
00000d84: PUSH1 0x84
00000d86: ADD
00000d87: PUSH2 0x0537
00000d8a: JUMP
00000d8b: JUMPDEST
00000d8c: PUSH1 0x00
00000d8e: SLOAD
00000d8f: PUSH2 0x0100
00000d92: SWAP1
00000d93: DIV
00000d94: PUSH1 0xff
00000d96: AND
00000d97: ISZERO
00000d98: DUP1
00000d99: ISZERO
00000d9a: PUSH2 0x0dad
00000d9d: JUMPI
00000d9e: PUSH1 0x00
00000da0: DUP1
00000da1: SLOAD
00000da2: PUSH2 0xffff
00000da5: NOT
00000da6: AND
00000da7: PUSH2 0x0101
00000daa: OR
00000dab: SWAP1
00000dac: SSTORE
00000dad: JUMPDEST
00000dae: ADDRESS
00000daf: PUSH1 0x01
00000db1: PUSH1 0x01
00000db3: PUSH1 0xa0
00000db5: SHL
00000db6: SUB
00000db7: PUSH32 0x0000000000000000000000001c6accd9d66f3b993928e7439c9a2d67b94a445f
00000dd8: AND
00000dd9: EQ
00000dda: ISZERO
00000ddb: PUSH2 0x0e3b
00000dde: JUMPI
00000ddf: PUSH1 0x40
00000de1: MLOAD
00000de2: PUSH3 0x461bcd
00000de6: PUSH1 0xe5
00000de8: SHL
00000de9: DUP2
00000dea: MSTORE
00000deb: PUSH1 0x20
00000ded: PUSH1 0x04
00000def: DUP3
00000df0: ADD
00000df1: MSTORE
00000df2: PUSH1 0x2c
00000df4: PUSH1 0x24
00000df6: DUP3
00000df7: ADD
00000df8: MSTORE
00000df9: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820
00000e1a: PUSH1 0x44
00000e1c: DUP3
00000e1d: ADD
00000e1e: MSTORE
00000e1f: PUSH12 0x19195b1959d85d1958d85b1b
00000e2c: PUSH1 0xa2
00000e2e: SHL
00000e2f: PUSH1 0x64
00000e31: DUP3
00000e32: ADD
00000e33: MSTORE
00000e34: PUSH1 0x84
00000e36: ADD
00000e37: PUSH2 0x0537
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: PUSH1 0x05
00000e3e: DUP1
00000e3f: SLOAD
00000e40: PUSH1 0x01
00000e42: PUSH1 0x01
00000e44: PUSH1 0xa0
00000e46: SHL
00000e47: SUB
00000e48: PUSH1 0x01
00000e4a: PUSH1 0x01
00000e4c: PUSH1 0xa0
00000e4e: SHL
00000e4f: SUB
00000e50: NOT
00000e51: SWAP2
00000e52: DUP3
00000e53: AND
00000e54: DUP2
00000e55: OR
00000e56: SWAP1
00000e57: SWAP3
00000e58: SSTORE
00000e59: PUSH1 0x08
00000e5b: DUP1
00000e5c: SLOAD
00000e5d: SWAP1
00000e5e: SWAP2
00000e5f: AND
00000e60: SWAP2
00000e61: DUP5
00000e62: AND
00000e63: SWAP2
00000e64: SWAP1
00000e65: SWAP2
00000e66: OR
00000e67: SWAP1
00000e68: SSTORE
00000e69: DUP1
00000e6a: ISZERO
00000e6b: PUSH2 0x075c
00000e6e: JUMPI
00000e6f: PUSH1 0x00
00000e71: DUP1
00000e72: SLOAD
00000e73: PUSH2 0xff00
00000e76: NOT
00000e77: AND
00000e78: SWAP1
00000e79: SSTORE
00000e7a: POP
00000e7b: POP
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: PUSH1 0x08
00000e80: SLOAD
00000e81: PUSH1 0x01
00000e83: PUSH1 0x01
00000e85: PUSH1 0xa0
00000e87: SHL
00000e88: SUB
00000e89: AND
00000e8a: CALLER
00000e8b: EQ
00000e8c: PUSH2 0x0f4c
00000e8f: JUMPI
00000e90: PUSH1 0x08
00000e92: SLOAD
00000e93: PUSH1 0x40
00000e95: DUP1
00000e96: MLOAD
00000e97: PUSH4 0x8da5cb5b
00000e9c: PUSH1 0xe0
00000e9e: SHL
00000e9f: DUP2
00000ea0: MSTORE
00000ea1: SWAP1
00000ea2: MLOAD
00000ea3: PUSH1 0x00
00000ea5: SWAP3
00000ea6: PUSH1 0x01
00000ea8: PUSH1 0x01
00000eaa: PUSH1 0xa0
00000eac: SHL
00000ead: SUB
00000eae: AND
00000eaf: SWAP2
00000eb0: PUSH4 0x8da5cb5b
00000eb5: SWAP2
00000eb6: PUSH1 0x04
00000eb8: DUP1
00000eb9: DUP4
00000eba: ADD
00000ebb: SWAP3
00000ebc: PUSH1 0x20
00000ebe: SWAP3
00000ebf: SWAP2
00000ec0: SWAP1
00000ec1: DUP3
00000ec2: SWAP1
00000ec3: SUB
00000ec4: ADD
00000ec5: DUP2
00000ec6: DUP7
00000ec7: DUP1
00000ec8: EXTCODESIZE
00000ec9: ISZERO
00000eca: DUP1
00000ecb: ISZERO
00000ecc: PUSH2 0x0ed4
00000ecf: JUMPI
00000ed0: PUSH1 0x00
00000ed2: DUP1
00000ed3: REVERT
00000ed4: JUMPDEST
00000ed5: POP
00000ed6: GAS
00000ed7: STATICCALL
00000ed8: ISZERO
00000ed9: DUP1
00000eda: ISZERO
00000edb: PUSH2 0x0ee8
00000ede: JUMPI
00000edf: RETURNDATASIZE
00000ee0: PUSH1 0x00
00000ee2: DUP1
00000ee3: RETURNDATACOPY
00000ee4: RETURNDATASIZE
00000ee5: PUSH1 0x00
00000ee7: REVERT
00000ee8: JUMPDEST
00000ee9: POP
00000eea: POP
00000eeb: POP
00000eec: POP
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: RETURNDATASIZE
00000ef1: PUSH1 0x1f
00000ef3: NOT
00000ef4: PUSH1 0x1f
00000ef6: DUP3
00000ef7: ADD
00000ef8: AND
00000ef9: DUP3
00000efa: ADD
00000efb: DUP1
00000efc: PUSH1 0x40
00000efe: MSTORE
00000eff: POP
00000f00: DUP2
00000f01: ADD
00000f02: SWAP1
00000f03: PUSH2 0x0f0c
00000f06: SWAP2
00000f07: SWAP1
00000f08: PUSH2 0x16ff
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: SWAP1
00000f0e: POP
00000f0f: CALLER
00000f10: PUSH1 0x01
00000f12: PUSH1 0x01
00000f14: PUSH1 0xa0
00000f16: SHL
00000f17: SUB
00000f18: DUP3
00000f19: AND
00000f1a: EQ
00000f1b: PUSH2 0x0f4a
00000f1e: JUMPI
00000f1f: PUSH1 0x08
00000f21: SLOAD
00000f22: PUSH1 0x40
00000f24: MLOAD
00000f25: PUSH4 0x07396007
00000f2a: PUSH1 0xe0
00000f2c: SHL
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH2 0x0537
00000f32: SWAP2
00000f33: CALLER
00000f34: SWAP2
00000f35: PUSH1 0x01
00000f37: PUSH1 0x01
00000f39: PUSH1 0xa0
00000f3b: SHL
00000f3c: SUB
00000f3d: SWAP1
00000f3e: SWAP2
00000f3f: AND
00000f40: SWAP1
00000f41: DUP5
00000f42: SWAP1
00000f43: PUSH1 0x04
00000f45: ADD
00000f46: PUSH2 0x171c
00000f49: JUMP
00000f4a: JUMPDEST
00000f4b: POP
00000f4c: JUMPDEST
00000f4d: PUSH1 0x01
00000f4f: PUSH1 0x01
00000f51: PUSH1 0xa0
00000f53: SHL
00000f54: SUB
00000f55: DUP3
00000f56: DUP2
00000f57: AND
00000f58: EQ
00000f59: ISZERO
00000f5a: PUSH2 0x0f78
00000f5d: JUMPI
00000f5e: DUP2
00000f5f: PUSH1 0x40
00000f61: MLOAD
00000f62: PUSH4 0x077abed1
00000f67: PUSH1 0xe4
00000f69: SHL
00000f6a: DUP2
00000f6b: MSTORE
00000f6c: PUSH1 0x04
00000f6e: ADD
00000f6f: PUSH2 0x0537
00000f72: SWAP2
00000f73: SWAP1
00000f74: PUSH2 0x15fa
00000f77: JUMP
00000f78: JUMPDEST
00000f79: PUSH1 0x01
00000f7b: PUSH1 0x01
00000f7d: PUSH1 0xa0
00000f7f: SHL
00000f80: SUB
00000f81: DUP3
00000f82: AND
00000f83: PUSH1 0x00
00000f85: DUP2
00000f86: DUP2
00000f87: MSTORE
00000f88: PUSH1 0x02
00000f8a: PUSH1 0x20
00000f8c: SWAP1
00000f8d: DUP2
00000f8e: MSTORE
00000f8f: PUSH1 0x40
00000f91: SWAP2
00000f92: DUP3
00000f93: SWAP1
00000f94: KECCAK256
00000f95: PUSH1 0x01
00000f97: DUP2
00000f98: ADD
00000f99: SLOAD
00000f9a: SWAP3
00000f9b: MLOAD
00000f9c: DUP6
00000f9d: ISZERO
00000f9e: ISZERO
00000f9f: DUP2
00000fa0: MSTORE
00000fa1: SWAP1
00000fa2: SWAP4
00000fa3: PUSH1 0xff
00000fa5: SWAP1
00000fa6: SWAP4
00000fa7: AND
00000fa8: SWAP3
00000fa9: SWAP2
00000faa: PUSH32 0x49477e7356dbcb654ab85d7534b50126772d938130d1350e23e2540370c8dffa
00000fcb: SWAP2
00000fcc: ADD
00000fcd: PUSH1 0x40
00000fcf: MLOAD
00000fd0: DUP1
00000fd1: SWAP2
00000fd2: SUB
00000fd3: SWAP1
00000fd4: LOG2
00000fd5: DUP3
00000fd6: ISZERO
00000fd7: ISZERO
00000fd8: DUP2
00000fd9: ISZERO
00000fda: ISZERO
00000fdb: EQ
00000fdc: ISZERO
00000fdd: PUSH2 0x0fe6
00000fe0: JUMPI
00000fe1: POP
00000fe2: POP
00000fe3: POP
00000fe4: POP
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: DUP3
00000fe8: ISZERO
00000fe9: PUSH2 0x1075
00000fec: JUMPI
00000fed: PUSH1 0x40
00000fef: DUP1
00000ff0: MLOAD
00000ff1: DUP1
00000ff2: DUP3
00000ff3: ADD
00000ff4: DUP3
00000ff5: MSTORE
00000ff6: PUSH1 0x04
00000ff8: DUP1
00000ff9: SLOAD
00000ffa: DUP3
00000ffb: MSTORE
00000ffc: PUSH1 0x01
00000ffe: PUSH1 0x20
00001000: DUP1
00001001: DUP5
00001002: ADD
00001003: DUP3
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x01
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: SHL
0000100d: SUB
0000100e: DUP11
0000100f: AND
00001010: PUSH1 0x00
00001012: DUP2
00001013: DUP2
00001014: MSTORE
00001015: PUSH1 0x02
00001017: SWAP1
00001018: SWAP4
00001019: MSTORE
0000101a: SWAP6
0000101b: DUP3
0000101c: KECCAK256
0000101d: SWAP5
0000101e: MLOAD
0000101f: DUP6
00001020: SSTORE
00001021: MLOAD
00001022: SWAP4
00001023: DUP3
00001024: ADD
00001025: DUP1
00001026: SLOAD
00001027: PUSH1 0xff
00001029: NOT
0000102a: AND
0000102b: SWAP5
0000102c: ISZERO
0000102d: ISZERO
0000102e: SWAP5
0000102f: SWAP1
00001030: SWAP5
00001031: OR
00001032: SWAP1
00001033: SWAP4
00001034: SSTORE
00001035: DUP2
00001036: SLOAD
00001037: SWAP1
00001038: DUP2
00001039: ADD
0000103a: DUP3
0000103b: SSTORE
0000103c: SWAP2
0000103d: MSTORE
0000103e: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
0000105f: ADD
00001060: DUP1
00001061: SLOAD
00001062: PUSH1 0x01
00001064: PUSH1 0x01
00001066: PUSH1 0xa0
00001068: SHL
00001069: SUB
0000106a: NOT
0000106b: AND
0000106c: SWAP1
0000106d: SWAP2
0000106e: OR
0000106f: SWAP1
00001070: SSTORE
00001071: PUSH2 0x0759
00001074: JUMP
00001075: JUMPDEST
00001076: PUSH1 0x04
00001078: DUP1
00001079: SLOAD
0000107a: PUSH2 0x1085
0000107d: SWAP1
0000107e: PUSH1 0x01
00001080: SWAP1
00001081: PUSH2 0x173f
00001084: JUMP
00001085: JUMPDEST
00001086: DUP2
00001087: SLOAD
00001088: DUP2
00001089: LT
0000108a: PUSH2 0x1095
0000108d: JUMPI
0000108e: PUSH2 0x1095
00001091: PUSH2 0x1764
00001094: JUMP
00001095: JUMPDEST
00001096: PUSH1 0x00
00001098: SWAP2
00001099: DUP3
0000109a: MSTORE
0000109b: PUSH1 0x20
0000109d: SWAP1
0000109e: SWAP2
0000109f: KECCAK256
000010a0: ADD
000010a1: SLOAD
000010a2: DUP3
000010a3: SLOAD
000010a4: PUSH1 0x04
000010a6: DUP1
000010a7: SLOAD
000010a8: PUSH1 0x01
000010aa: PUSH1 0x01
000010ac: PUSH1 0xa0
000010ae: SHL
000010af: SUB
000010b0: SWAP1
000010b1: SWAP4
000010b2: AND
000010b3: SWAP3
000010b4: SWAP1
000010b5: SWAP2
000010b6: SWAP1
000010b7: DUP2
000010b8: LT
000010b9: PUSH2 0x10c4
000010bc: JUMPI
000010bd: PUSH2 0x10c4
000010c0: PUSH2 0x1764
000010c3: JUMP
000010c4: JUMPDEST
000010c5: SWAP1
000010c6: PUSH1 0x00
000010c8: MSTORE
000010c9: PUSH1 0x20
000010cb: PUSH1 0x00
000010cd: KECCAK256
000010ce: ADD
000010cf: PUSH1 0x00
000010d1: PUSH2 0x0100
000010d4: EXP
000010d5: DUP2
000010d6: SLOAD
000010d7: DUP2
000010d8: PUSH1 0x01
000010da: PUSH1 0x01
000010dc: PUSH1 0xa0
000010de: SHL
000010df: SUB
000010e0: MUL
000010e1: NOT
000010e2: AND
000010e3: SWAP1
000010e4: DUP4
000010e5: PUSH1 0x01
000010e7: PUSH1 0x01
000010e9: PUSH1 0xa0
000010eb: SHL
000010ec: SUB
000010ed: AND
000010ee: MUL
000010ef: OR
000010f0: SWAP1
000010f1: SSTORE
000010f2: POP
000010f3: DUP2
000010f4: PUSH1 0x00
000010f6: ADD
000010f7: SLOAD
000010f8: PUSH1 0x02
000010fa: PUSH1 0x00
000010fc: PUSH1 0x04
000010fe: DUP6
000010ff: PUSH1 0x00
00001101: ADD
00001102: SLOAD
00001103: DUP2
00001104: SLOAD
00001105: DUP2
00001106: LT
00001107: PUSH2 0x1112
0000110a: JUMPI
0000110b: PUSH2 0x1112
0000110e: PUSH2 0x1764
00001111: JUMP
00001112: JUMPDEST
00001113: PUSH1 0x00
00001115: SWAP2
00001116: DUP3
00001117: MSTORE
00001118: PUSH1 0x20
0000111a: DUP1
0000111b: DUP4
0000111c: KECCAK256
0000111d: SWAP1
0000111e: SWAP2
0000111f: ADD
00001120: SLOAD
00001121: PUSH1 0x01
00001123: PUSH1 0x01
00001125: PUSH1 0xa0
00001127: SHL
00001128: SUB
00001129: AND
0000112a: DUP4
0000112b: MSTORE
0000112c: DUP3
0000112d: ADD
0000112e: SWAP3
0000112f: SWAP1
00001130: SWAP3
00001131: MSTORE
00001132: PUSH1 0x40
00001134: ADD
00001135: SWAP1
00001136: KECCAK256
00001137: SSTORE
00001138: PUSH1 0x04
0000113a: DUP1
0000113b: SLOAD
0000113c: DUP1
0000113d: PUSH2 0x1148
00001140: JUMPI
00001141: PUSH2 0x1148
00001144: PUSH2 0x177a
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x00
0000114b: DUP3
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: DUP1
00001151: DUP3
00001152: KECCAK256
00001153: DUP4
00001154: ADD
00001155: PUSH1 0x00
00001157: NOT
00001158: SWAP1
00001159: DUP2
0000115a: ADD
0000115b: DUP1
0000115c: SLOAD
0000115d: PUSH1 0x01
0000115f: PUSH1 0x01
00001161: PUSH1 0xa0
00001163: SHL
00001164: SUB
00001165: NOT
00001166: AND
00001167: SWAP1
00001168: SSTORE
00001169: SWAP1
0000116a: SWAP3
0000116b: ADD
0000116c: SWAP1
0000116d: SWAP3
0000116e: SSTORE
0000116f: PUSH1 0x01
00001171: PUSH1 0x01
00001173: PUSH1 0xa0
00001175: SHL
00001176: SUB
00001177: DUP7
00001178: AND
00001179: DUP3
0000117a: MSTORE
0000117b: PUSH1 0x02
0000117d: SWAP1
0000117e: MSTORE
0000117f: PUSH1 0x40
00001181: DUP2
00001182: KECCAK256
00001183: SWAP1
00001184: DUP2
00001185: SSTORE
00001186: PUSH1 0x01
00001188: ADD
00001189: DUP1
0000118a: SLOAD
0000118b: PUSH1 0xff
0000118d: NOT
0000118e: AND
0000118f: SWAP1
00001190: SSTORE
00001191: POP
00001192: POP
00001193: POP
00001194: POP
00001195: JUMP
00001196: JUMPDEST
00001197: PUSH1 0x06
00001199: DUP2
0000119a: DUP2
0000119b: SLOAD
0000119c: DUP2
0000119d: LT
0000119e: PUSH2 0x0438
000011a1: JUMPI
000011a2: PUSH1 0x00
000011a4: DUP1
000011a5: REVERT
000011a6: JUMPDEST
000011a7: PUSH1 0x03
000011a9: DUP2
000011aa: DUP2
000011ab: SLOAD
000011ac: DUP2
000011ad: LT
000011ae: PUSH2 0x0b72
000011b1: JUMPI
000011b2: PUSH1 0x00
000011b4: DUP1
000011b5: REVERT
000011b6: JUMPDEST
000011b7: PUSH1 0x08
000011b9: SLOAD
000011ba: PUSH1 0x01
000011bc: PUSH1 0x01
000011be: PUSH1 0xa0
000011c0: SHL
000011c1: SUB
000011c2: AND
000011c3: CALLER
000011c4: EQ
000011c5: PUSH2 0x1285
000011c8: JUMPI
000011c9: PUSH1 0x08
000011cb: SLOAD
000011cc: PUSH1 0x40
000011ce: DUP1
000011cf: MLOAD
000011d0: PUSH4 0x8da5cb5b
000011d5: PUSH1 0xe0
000011d7: SHL
000011d8: DUP2
000011d9: MSTORE
000011da: SWAP1
000011db: MLOAD
000011dc: PUSH1 0x00
000011de: SWAP3
000011df: PUSH1 0x01
000011e1: PUSH1 0x01
000011e3: PUSH1 0xa0
000011e5: SHL
000011e6: SUB
000011e7: AND
000011e8: SWAP2
000011e9: PUSH4 0x8da5cb5b
000011ee: SWAP2
000011ef: PUSH1 0x04
000011f1: DUP1
000011f2: DUP4
000011f3: ADD
000011f4: SWAP3
000011f5: PUSH1 0x20
000011f7: SWAP3
000011f8: SWAP2
000011f9: SWAP1
000011fa: DUP3
000011fb: SWAP1
000011fc: SUB
000011fd: ADD
000011fe: DUP2
000011ff: DUP7
00001200: DUP1
00001201: EXTCODESIZE
00001202: ISZERO
00001203: DUP1
00001204: ISZERO
00001205: PUSH2 0x120d
00001208: JUMPI
00001209: PUSH1 0x00
0000120b: DUP1
0000120c: REVERT
0000120d: JUMPDEST
0000120e: POP
0000120f: GAS
00001210: STATICCALL
00001211: ISZERO
00001212: DUP1
00001213: ISZERO
00001214: PUSH2 0x1221
00001217: JUMPI
00001218: RETURNDATASIZE
00001219: PUSH1 0x00
0000121b: DUP1
0000121c: RETURNDATACOPY
0000121d: RETURNDATASIZE
0000121e: PUSH1 0x00
00001220: REVERT
00001221: JUMPDEST
00001222: POP
00001223: POP
00001224: POP
00001225: POP
00001226: PUSH1 0x40
00001228: MLOAD
00001229: RETURNDATASIZE
0000122a: PUSH1 0x1f
0000122c: NOT
0000122d: PUSH1 0x1f
0000122f: DUP3
00001230: ADD
00001231: AND
00001232: DUP3
00001233: ADD
00001234: DUP1
00001235: PUSH1 0x40
00001237: MSTORE
00001238: POP
00001239: DUP2
0000123a: ADD
0000123b: SWAP1
0000123c: PUSH2 0x1245
0000123f: SWAP2
00001240: SWAP1
00001241: PUSH2 0x16ff
00001244: JUMP
00001245: JUMPDEST
00001246: SWAP1
00001247: POP
00001248: CALLER
00001249: PUSH1 0x01
0000124b: PUSH1 0x01
0000124d: PUSH1 0xa0
0000124f: SHL
00001250: SUB
00001251: DUP3
00001252: AND
00001253: EQ
00001254: PUSH2 0x1283
00001257: JUMPI
00001258: PUSH1 0x08
0000125a: SLOAD
0000125b: PUSH1 0x40
0000125d: MLOAD
0000125e: PUSH4 0x07396007
00001263: PUSH1 0xe0
00001265: SHL
00001266: DUP2
00001267: MSTORE
00001268: PUSH2 0x0537
0000126b: SWAP2
0000126c: CALLER
0000126d: SWAP2
0000126e: PUSH1 0x01
00001270: PUSH1 0x01
00001272: PUSH1 0xa0
00001274: SHL
00001275: SUB
00001276: SWAP1
00001277: SWAP2
00001278: AND
00001279: SWAP1
0000127a: DUP5
0000127b: SWAP1
0000127c: PUSH1 0x04
0000127e: ADD
0000127f: PUSH2 0x171c
00001282: JUMP
00001283: JUMPDEST
00001284: POP
00001285: JUMPDEST
00001286: PUSH1 0x0a
00001288: SSTORE
00001289: JUMP
0000128a: JUMPDEST
0000128b: PUSH1 0x06
0000128d: SLOAD
0000128e: PUSH1 0x40
00001290: DUP1
00001291: MLOAD
00001292: PUSH1 0x01
00001294: PUSH1 0x01
00001296: PUSH1 0xf8
00001298: SHL
00001299: SUB
0000129a: NOT
0000129b: PUSH1 0xf8
0000129d: DUP11
0000129e: SWAP1
0000129f: SHL
000012a0: AND
000012a1: PUSH1 0x20
000012a3: DUP1
000012a4: DUP4
000012a5: ADD
000012a6: SWAP2
000012a7: SWAP1
000012a8: SWAP2
000012a9: MSTORE
000012aa: PUSH12 0xffffffffffffffffffffffff
000012b7: NOT
000012b8: PUSH1 0x60
000012ba: DUP11
000012bb: SWAP1
000012bc: SHL
000012bd: AND
000012be: PUSH1 0x21
000012c0: DUP4
000012c1: ADD
000012c2: MSTORE
000012c3: PUSH1 0x01
000012c5: PUSH1 0x01
000012c7: PUSH1 0xc0
000012c9: SHL
000012ca: SUB
000012cb: NOT
000012cc: PUSH1 0xc0
000012ce: DUP10
000012cf: DUP2
000012d0: SHL
000012d1: DUP3
000012d2: AND
000012d3: PUSH1 0x35
000012d5: DUP6
000012d6: ADD
000012d7: MSTORE
000012d8: DUP9
000012d9: SWAP1
000012da: SHL
000012db: AND
000012dc: PUSH1 0x3d
000012de: DUP4
000012df: ADD
000012e0: MSTORE
000012e1: PUSH1 0x45
000012e3: DUP3
000012e4: ADD
000012e5: DUP5
000012e6: SWAP1
000012e7: MSTORE
000012e8: PUSH1 0x65
000012ea: DUP3
000012eb: ADD
000012ec: DUP7
000012ed: SWAP1
000012ee: MSTORE
000012ef: PUSH1 0x85
000012f1: DUP1
000012f2: DUP4
000012f3: ADD
000012f4: DUP7
000012f5: SWAP1
000012f6: MSTORE
000012f7: DUP4
000012f8: MLOAD
000012f9: DUP1
000012fa: DUP5
000012fb: SUB
000012fc: SWAP1
000012fd: SWAP2
000012fe: ADD
000012ff: DUP2
00001300: MSTORE
00001301: PUSH1 0xa5
00001303: SWAP1
00001304: SWAP3
00001305: ADD
00001306: SWAP1
00001307: SWAP3
00001308: MSTORE
00001309: DUP1
0000130a: MLOAD
0000130b: SWAP2
0000130c: ADD
0000130d: KECCAK256
0000130e: PUSH1 0x00
00001310: SWAP2
00001311: SWAP1
00001312: PUSH1 0x00
00001314: DUP3
00001315: ISZERO
00001316: PUSH2 0x1344
00001319: JUMPI
0000131a: PUSH1 0x06
0000131c: PUSH2 0x1326
0000131f: PUSH1 0x01
00001321: DUP6
00001322: PUSH2 0x173f
00001325: JUMP
00001326: JUMPDEST
00001327: DUP2
00001328: SLOAD
00001329: DUP2
0000132a: LT
0000132b: PUSH2 0x1336
0000132e: JUMPI
0000132f: PUSH2 0x1336
00001332: PUSH2 0x1764
00001335: JUMP
00001336: JUMPDEST
00001337: SWAP1
00001338: PUSH1 0x00
0000133a: MSTORE
0000133b: PUSH1 0x20
0000133d: PUSH1 0x00
0000133f: KECCAK256
00001340: ADD
00001341: SLOAD
00001342: SWAP1
00001343: POP
00001344: JUMPDEST
00001345: PUSH1 0x40
00001347: DUP1
00001348: MLOAD
00001349: PUSH1 0x20
0000134b: DUP1
0000134c: DUP3
0000134d: ADD
0000134e: DUP5
0000134f: SWAP1
00001350: MSTORE
00001351: DUP2
00001352: DUP4
00001353: ADD
00001354: DUP6
00001355: SWAP1
00001356: MSTORE
00001357: DUP3
00001358: MLOAD
00001359: DUP1
0000135a: DUP4
0000135b: SUB
0000135c: DUP5
0000135d: ADD
0000135e: DUP2
0000135f: MSTORE
00001360: PUSH1 0x60
00001362: DUP4
00001363: ADD
00001364: DUP1
00001365: DUP6
00001366: MSTORE
00001367: DUP2
00001368: MLOAD
00001369: SWAP2
0000136a: SWAP1
0000136b: SWAP3
0000136c: ADD
0000136d: KECCAK256
0000136e: PUSH1 0x06
00001370: DUP1
00001371: SLOAD
00001372: PUSH1 0x01
00001374: DUP2
00001375: ADD
00001376: DUP3
00001377: SSTORE
00001378: PUSH1 0x00
0000137a: SWAP2
0000137b: SWAP1
0000137c: SWAP2
0000137d: MSTORE
0000137e: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
0000139f: ADD
000013a0: SSTORE
000013a1: CALLER
000013a2: SWAP1
000013a3: MSTORE
000013a4: PUSH1 0xff
000013a6: DUP13
000013a7: AND
000013a8: PUSH1 0x80
000013aa: DUP3
000013ab: ADD
000013ac: MSTORE
000013ad: PUSH1 0x01
000013af: PUSH1 0x01
000013b1: PUSH1 0xa0
000013b3: SHL
000013b4: SUB
000013b5: DUP12
000013b6: AND
000013b7: PUSH1 0xa0
000013b9: DUP3
000013ba: ADD
000013bb: MSTORE
000013bc: PUSH1 0xc0
000013be: DUP2
000013bf: ADD
000013c0: DUP8
000013c1: SWAP1
000013c2: MSTORE
000013c3: PUSH1 0xe0
000013c5: DUP2
000013c6: ADD
000013c7: DUP9
000013c8: SWAP1
000013c9: MSTORE
000013ca: PUSH8 0xffffffffffffffff
000013d3: DUP10
000013d4: AND
000013d5: PUSH2 0x0100
000013d8: DUP3
000013d9: ADD
000013da: MSTORE
000013db: SWAP1
000013dc: MLOAD
000013dd: DUP3
000013de: SWAP2
000013df: DUP6
000013e0: SWAP2
000013e1: PUSH32 0x5e3c1311ea442664e8b1611bfabef659120ea7a0a2cfc0667700bebc69cbffe1
00001402: SWAP2
00001403: DUP2
00001404: SWAP1
00001405: SUB
00001406: PUSH2 0x0120
00001409: ADD
0000140a: SWAP1
0000140b: LOG3
0000140c: POP
0000140d: SWAP1
0000140e: SWAP9
0000140f: SWAP8
00001410: POP
00001411: POP
00001412: POP
00001413: POP
00001414: POP
00001415: POP
00001416: POP
00001417: POP
00001418: JUMP
00001419: JUMPDEST
0000141a: PUSH1 0x00
0000141c: PUSH2 0x1424
0000141f: CALLER
00001420: PUSH2 0x0ce7
00001423: JUMP
00001424: JUMPDEST
00001425: PUSH2 0x1443
00001428: JUMPI
00001429: CALLER
0000142a: PUSH1 0x40
0000142c: MLOAD
0000142d: PUSH4 0xb6c60ea3
00001432: PUSH1 0xe0
00001434: SHL
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x04
00001439: ADD
0000143a: PUSH2 0x0537
0000143d: SWAP2
0000143e: SWAP1
0000143f: PUSH2 0x15fa
00001442: JUMP
00001443: JUMPDEST
00001444: PUSH1 0x00
00001446: PUSH2 0x1453
00001449: DUP7
0000144a: DUP7
0000144b: NUMBER
0000144c: TIMESTAMP
0000144d: BASEFEE
0000144e: DUP10
0000144f: PUSH2 0x128a
00001452: JUMP
00001453: JUMPDEST
00001454: SWAP7
00001455: SWAP6
00001456: POP
00001457: POP
00001458: POP
00001459: POP
0000145a: POP
0000145b: POP
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x00
00001460: PUSH1 0x60
00001462: DUP5
00001463: PUSH1 0x01
00001465: PUSH1 0x01
00001467: PUSH1 0xa0
00001469: SHL
0000146a: SUB
0000146b: AND
0000146c: DUP5
0000146d: DUP5
0000146e: PUSH1 0x40
00001470: MLOAD
00001471: PUSH2 0x147a
00001474: SWAP2
00001475: SWAP1
00001476: PUSH2 0x17c6
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH1 0x00
0000147d: PUSH1 0x40
0000147f: MLOAD
00001480: DUP1
00001481: DUP4
00001482: SUB
00001483: DUP2
00001484: DUP6
00001485: DUP8
00001486: GAS
00001487: CALL
00001488: SWAP3
00001489: POP
0000148a: POP
0000148b: POP
0000148c: RETURNDATASIZE
0000148d: DUP1
0000148e: PUSH1 0x00
00001490: DUP2
00001491: EQ
00001492: PUSH2 0x14b7
00001495: JUMPI
00001496: PUSH1 0x40
00001498: MLOAD
00001499: SWAP2
0000149a: POP
0000149b: PUSH1 0x1f
0000149d: NOT
0000149e: PUSH1 0x3f
000014a0: RETURNDATASIZE
000014a1: ADD
000014a2: AND
000014a3: DUP3
000014a4: ADD
000014a5: PUSH1 0x40
000014a7: MSTORE
000014a8: RETURNDATASIZE
000014a9: DUP3
000014aa: MSTORE
000014ab: RETURNDATASIZE
000014ac: PUSH1 0x00
000014ae: PUSH1 0x20
000014b0: DUP5
000014b1: ADD
000014b2: RETURNDATACOPY
000014b3: PUSH2 0x14bc
000014b6: JUMP
000014b7: JUMPDEST
000014b8: PUSH1 0x60
000014ba: SWAP2
000014bb: POP
000014bc: JUMPDEST
000014bd: POP
000014be: SWAP1
000014bf: SWAP7
000014c0: SWAP1
000014c1: SWAP6
000014c2: POP
000014c3: SWAP4
000014c4: POP
000014c5: POP
000014c6: POP
000014c7: POP
000014c8: JUMP
000014c9: JUMPDEST
000014ca: POP
000014cb: JUMP
000014cc: JUMPDEST
000014cd: PUSH1 0x00
000014cf: PUSH1 0x20
000014d1: DUP3
000014d2: DUP5
000014d3: SUB
000014d4: SLT
000014d5: ISZERO
000014d6: PUSH2 0x14de
000014d9: JUMPI
000014da: PUSH1 0x00
000014dc: DUP1
000014dd: REVERT
000014de: JUMPDEST
000014df: POP
000014e0: CALLDATALOAD
000014e1: SWAP2
000014e2: SWAP1
000014e3: POP
000014e4: JUMP
000014e5: JUMPDEST
000014e6: PUSH1 0x01
000014e8: PUSH1 0x01
000014ea: PUSH1 0xa0
000014ec: SHL
000014ed: SUB
000014ee: DUP2
000014ef: AND
000014f0: DUP2
000014f1: EQ
000014f2: PUSH2 0x14c9
000014f5: JUMPI
000014f6: PUSH1 0x00
000014f8: DUP1
000014f9: REVERT
000014fa: JUMPDEST
000014fb: PUSH1 0x00
000014fd: PUSH1 0x20
000014ff: DUP3
00001500: DUP5
00001501: SUB
00001502: SLT
00001503: ISZERO
00001504: PUSH2 0x150c
00001507: JUMPI
00001508: PUSH1 0x00
0000150a: DUP1
0000150b: REVERT
0000150c: JUMPDEST
0000150d: DUP2
0000150e: CALLDATALOAD
0000150f: PUSH2 0x08c4
00001512: DUP2
00001513: PUSH2 0x14e5
00001516: JUMP
00001517: JUMPDEST
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: PUSH1 0x40
0000151d: DUP4
0000151e: DUP6
0000151f: SUB
00001520: SLT
00001521: ISZERO
00001522: PUSH2 0x152a
00001525: JUMPI
00001526: PUSH1 0x00
00001528: DUP1
00001529: REVERT
0000152a: JUMPDEST
0000152b: DUP3
0000152c: CALLDATALOAD
0000152d: PUSH2 0x1535
00001530: DUP2
00001531: PUSH2 0x14e5
00001534: JUMP
00001535: JUMPDEST
00001536: SWAP2
00001537: POP
00001538: PUSH1 0x20
0000153a: DUP4
0000153b: ADD
0000153c: CALLDATALOAD
0000153d: DUP1
0000153e: ISZERO
0000153f: ISZERO
00001540: DUP2
00001541: EQ
00001542: PUSH2 0x154a
00001545: JUMPI
00001546: PUSH1 0x00
00001548: DUP1
00001549: REVERT
0000154a: JUMPDEST
0000154b: DUP1
0000154c: SWAP2
0000154d: POP
0000154e: POP
0000154f: SWAP3
00001550: POP
00001551: SWAP3
00001552: SWAP1
00001553: POP
00001554: JUMP
00001555: JUMPDEST
00001556: PUSH1 0x00
00001558: DUP1
00001559: PUSH1 0x40
0000155b: DUP4
0000155c: DUP6
0000155d: SUB
0000155e: SLT
0000155f: ISZERO
00001560: PUSH2 0x1568
00001563: JUMPI
00001564: PUSH1 0x00
00001566: DUP1
00001567: REVERT
00001568: JUMPDEST
00001569: DUP3
0000156a: CALLDATALOAD
0000156b: PUSH2 0x1573
0000156e: DUP2
0000156f: PUSH2 0x14e5
00001572: JUMP
00001573: JUMPDEST
00001574: SWAP5
00001575: PUSH1 0x20
00001577: SWAP4
00001578: SWAP1
00001579: SWAP4
0000157a: ADD
0000157b: CALLDATALOAD
0000157c: SWAP4
0000157d: POP
0000157e: POP
0000157f: POP
00001580: JUMP
00001581: JUMPDEST
00001582: PUSH1 0x00
00001584: DUP1
00001585: PUSH1 0x00
00001587: DUP1
00001588: PUSH1 0x80
0000158a: DUP6
0000158b: DUP8
0000158c: SUB
0000158d: SLT
0000158e: ISZERO
0000158f: PUSH2 0x1597
00001592: JUMPI
00001593: PUSH1 0x00
00001595: DUP1
00001596: REVERT
00001597: JUMPDEST
00001598: POP
00001599: POP
0000159a: DUP3
0000159b: CALLDATALOAD
0000159c: SWAP5
0000159d: PUSH1 0x20
0000159f: DUP5
000015a0: ADD
000015a1: CALLDATALOAD
000015a2: SWAP5
000015a3: POP
000015a4: PUSH1 0x40
000015a6: DUP5
000015a7: ADD
000015a8: CALLDATALOAD
000015a9: SWAP4
000015aa: PUSH1 0x60
000015ac: ADD
000015ad: CALLDATALOAD
000015ae: SWAP3
000015af: POP
000015b0: SWAP1
000015b1: POP
000015b2: JUMP
000015b3: JUMPDEST
000015b4: PUSH1 0x00
000015b6: DUP1
000015b7: PUSH1 0x00
000015b9: PUSH1 0x60
000015bb: DUP5
000015bc: DUP7
000015bd: SUB
000015be: SLT
000015bf: ISZERO
000015c0: PUSH2 0x15c8
000015c3: JUMPI
000015c4: PUSH1 0x00
000015c6: DUP1
000015c7: REVERT
000015c8: JUMPDEST
000015c9: DUP4
000015ca: CALLDATALOAD
000015cb: PUSH1 0xff
000015cd: DUP2
000015ce: AND
000015cf: DUP2
000015d0: EQ
000015d1: PUSH2 0x15d9
000015d4: JUMPI
000015d5: PUSH1 0x00
000015d7: DUP1
000015d8: REVERT
000015d9: JUMPDEST
000015da: SWAP3
000015db: POP
000015dc: PUSH1 0x20
000015de: DUP5
000015df: ADD
000015e0: CALLDATALOAD
000015e1: PUSH2 0x15e9
000015e4: DUP2
000015e5: PUSH2 0x14e5
000015e8: JUMP
000015e9: JUMPDEST
000015ea: SWAP3
000015eb: SWAP6
000015ec: SWAP3
000015ed: SWAP5
000015ee: POP
000015ef: POP
000015f0: POP
000015f1: PUSH1 0x40
000015f3: SWAP2
000015f4: SWAP1
000015f5: SWAP2
000015f6: ADD
000015f7: CALLDATALOAD
000015f8: SWAP1
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x01
000015fd: PUSH1 0x01
000015ff: PUSH1 0xa0
00001601: SHL
00001602: SUB
00001603: SWAP2
00001604: SWAP1
00001605: SWAP2
00001606: AND
00001607: DUP2
00001608: MSTORE
00001609: PUSH1 0x20
0000160b: ADD
0000160c: SWAP1
0000160d: JUMP
0000160e: JUMPDEST
0000160f: PUSH1 0x00
00001611: DUP1
00001612: PUSH1 0x00
00001614: DUP1
00001615: PUSH1 0x60
00001617: DUP6
00001618: DUP8
00001619: SUB
0000161a: SLT
0000161b: ISZERO
0000161c: PUSH2 0x1624
0000161f: JUMPI
00001620: PUSH1 0x00
00001622: DUP1
00001623: REVERT
00001624: JUMPDEST
00001625: DUP5
00001626: CALLDATALOAD
00001627: PUSH2 0x162f
0000162a: DUP2
0000162b: PUSH2 0x14e5
0000162e: JUMP
0000162f: JUMPDEST
00001630: SWAP4
00001631: POP
00001632: PUSH1 0x20
00001634: DUP6
00001635: ADD
00001636: CALLDATALOAD
00001637: SWAP3
00001638: POP
00001639: PUSH1 0x40
0000163b: DUP6
0000163c: ADD
0000163d: CALLDATALOAD
0000163e: PUSH8 0xffffffffffffffff
00001647: DUP1
00001648: DUP3
00001649: GT
0000164a: ISZERO
0000164b: PUSH2 0x1653
0000164e: JUMPI
0000164f: PUSH1 0x00
00001651: DUP1
00001652: REVERT
00001653: JUMPDEST
00001654: DUP2
00001655: DUP8
00001656: ADD
00001657: SWAP2
00001658: POP
00001659: DUP8
0000165a: PUSH1 0x1f
0000165c: DUP4
0000165d: ADD
0000165e: SLT
0000165f: PUSH2 0x1667
00001662: JUMPI
00001663: PUSH1 0x00
00001665: DUP1
00001666: REVERT
00001667: JUMPDEST
00001668: DUP2
00001669: CALLDATALOAD
0000166a: DUP2
0000166b: DUP2
0000166c: GT
0000166d: ISZERO
0000166e: PUSH2 0x1676
00001671: JUMPI
00001672: PUSH1 0x00
00001674: DUP1
00001675: REVERT
00001676: JUMPDEST
00001677: DUP9
00001678: PUSH1 0x20
0000167a: DUP3
0000167b: DUP6
0000167c: ADD
0000167d: ADD
0000167e: GT
0000167f: ISZERO
00001680: PUSH2 0x1688
00001683: JUMPI
00001684: PUSH1 0x00
00001686: DUP1
00001687: REVERT
00001688: JUMPDEST
00001689: SWAP6
0000168a: SWAP9
0000168b: SWAP5
0000168c: SWAP8
0000168d: POP
0000168e: POP
0000168f: PUSH1 0x20
00001691: ADD
00001692: SWAP5
00001693: POP
00001694: POP
00001695: POP
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x00
0000169a: JUMPDEST
0000169b: DUP4
0000169c: DUP2
0000169d: LT
0000169e: ISZERO
0000169f: PUSH2 0x16b2
000016a2: JUMPI
000016a3: DUP2
000016a4: DUP2
000016a5: ADD
000016a6: MLOAD
000016a7: DUP4
000016a8: DUP3
000016a9: ADD
000016aa: MSTORE
000016ab: PUSH1 0x20
000016ad: ADD
000016ae: PUSH2 0x169a
000016b1: JUMP
000016b2: JUMPDEST
000016b3: DUP4
000016b4: DUP2
000016b5: GT
000016b6: ISZERO
000016b7: PUSH2 0x0759
000016ba: JUMPI
000016bb: POP
000016bc: POP
000016bd: PUSH1 0x00
000016bf: SWAP2
000016c0: ADD
000016c1: MSTORE
000016c2: JUMP
000016c3: JUMPDEST
000016c4: DUP3
000016c5: ISZERO
000016c6: ISZERO
000016c7: DUP2
000016c8: MSTORE
000016c9: PUSH1 0x40
000016cb: PUSH1 0x20
000016cd: DUP3
000016ce: ADD
000016cf: MSTORE
000016d0: PUSH1 0x00
000016d2: DUP3
000016d3: MLOAD
000016d4: DUP1
000016d5: PUSH1 0x40
000016d7: DUP5
000016d8: ADD
000016d9: MSTORE
000016da: PUSH2 0x16ea
000016dd: DUP2
000016de: PUSH1 0x60
000016e0: DUP6
000016e1: ADD
000016e2: PUSH1 0x20
000016e4: DUP8
000016e5: ADD
000016e6: PUSH2 0x1697
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH1 0x1f
000016ed: ADD
000016ee: PUSH1 0x1f
000016f0: NOT
000016f1: AND
000016f2: SWAP2
000016f3: SWAP1
000016f4: SWAP2
000016f5: ADD
000016f6: PUSH1 0x60
000016f8: ADD
000016f9: SWAP4
000016fa: SWAP3
000016fb: POP
000016fc: POP
000016fd: POP
000016fe: JUMP
000016ff: JUMPDEST
00001700: PUSH1 0x00
00001702: PUSH1 0x20
00001704: DUP3
00001705: DUP5
00001706: SUB
00001707: SLT
00001708: ISZERO
00001709: PUSH2 0x1711
0000170c: JUMPI
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: REVERT
00001711: JUMPDEST
00001712: DUP2
00001713: MLOAD
00001714: PUSH2 0x08c4
00001717: DUP2
00001718: PUSH2 0x14e5
0000171b: JUMP
0000171c: JUMPDEST
0000171d: PUSH1 0x01
0000171f: PUSH1 0x01
00001721: PUSH1 0xa0
00001723: SHL
00001724: SUB
00001725: SWAP4
00001726: DUP5
00001727: AND
00001728: DUP2
00001729: MSTORE
0000172a: SWAP2
0000172b: DUP4
0000172c: AND
0000172d: PUSH1 0x20
0000172f: DUP4
00001730: ADD
00001731: MSTORE
00001732: SWAP1
00001733: SWAP2
00001734: AND
00001735: PUSH1 0x40
00001737: DUP3
00001738: ADD
00001739: MSTORE
0000173a: PUSH1 0x60
0000173c: ADD
0000173d: SWAP1
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH1 0x00
00001742: DUP3
00001743: DUP3
00001744: LT
00001745: ISZERO
00001746: PUSH2 0x175f
00001749: JUMPI
0000174a: PUSH4 0x4e487b71
0000174f: PUSH1 0xe0
00001751: SHL
00001752: PUSH1 0x00
00001754: MSTORE
00001755: PUSH1 0x11
00001757: PUSH1 0x04
00001759: MSTORE
0000175a: PUSH1 0x24
0000175c: PUSH1 0x00
0000175e: REVERT
0000175f: JUMPDEST
00001760: POP
00001761: SUB
00001762: SWAP1
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH4 0x4e487b71
0000176a: PUSH1 0xe0
0000176c: SHL
0000176d: PUSH1 0x00
0000176f: MSTORE
00001770: PUSH1 0x32
00001772: PUSH1 0x04
00001774: MSTORE
00001775: PUSH1 0x24
00001777: PUSH1 0x00
00001779: REVERT
0000177a: JUMPDEST
0000177b: PUSH4 0x4e487b71
00001780: PUSH1 0xe0
00001782: SHL
00001783: PUSH1 0x00
00001785: MSTORE
00001786: PUSH1 0x31
00001788: PUSH1 0x04
0000178a: MSTORE
0000178b: PUSH1 0x24
0000178d: PUSH1 0x00
0000178f: REVERT
00001790: JUMPDEST
00001791: DUP4
00001792: DUP2
00001793: MSTORE
00001794: PUSH1 0x40
00001796: PUSH1 0x20
00001798: DUP3
00001799: ADD
0000179a: MSTORE
0000179b: DUP2
0000179c: PUSH1 0x40
0000179e: DUP3
0000179f: ADD
000017a0: MSTORE
000017a1: DUP2
000017a2: DUP4
000017a3: PUSH1 0x60
000017a5: DUP4
000017a6: ADD
000017a7: CALLDATACOPY
000017a8: PUSH1 0x00
000017aa: DUP2
000017ab: DUP4
000017ac: ADD
000017ad: PUSH1 0x60
000017af: SWAP1
000017b0: DUP2
000017b1: ADD
000017b2: SWAP2
000017b3: SWAP1
000017b4: SWAP2
000017b5: MSTORE
000017b6: PUSH1 0x1f
000017b8: SWAP1
000017b9: SWAP3
000017ba: ADD
000017bb: PUSH1 0x1f
000017bd: NOT
000017be: AND
000017bf: ADD
000017c0: ADD
000017c1: SWAP3
000017c2: SWAP2
000017c3: POP
000017c4: POP
000017c5: JUMP
000017c6: JUMPDEST
000017c7: PUSH1 0x00
000017c9: DUP3
000017ca: MLOAD
000017cb: PUSH2 0x17d8
000017ce: DUP2
000017cf: DUP5
000017d0: PUSH1 0x20
000017d2: DUP8
000017d3: ADD
000017d4: PUSH2 0x1697
000017d7: JUMP
000017d8: JUMPDEST
000017d9: SWAP2
000017da: SWAP1
000017db: SWAP2
000017dc: ADD
000017dd: SWAP3
000017de: SWAP2
000017df: POP
000017e0: POP
000017e1: JUMP
000017e2: INVALID
000017e3: LOG2
000017e4: PUSH5 0x6970667358
000017ea: UNKNOWN(0x22)
000017eb: SLT
000017ec: KECCAK256
000017ed: CALLDATASIZE
000017ee: UNKNOWN(0x22)
000017ef: SWAP6
000017f0: MSTORE
000017f1: UNKNOWN(0xE2)
000017f2: SSTORE
000017f3: PUSH10 0xee81b36ff0079ed482a0
000017fe: CREATE2
000017ff: GT
00001800: UNKNOWN(0x4C)
00001801: CALLVALUE
00001802: PUSH10 0x5a273717057e68b7c22c
0000180d: PUSH5 0x736f6c6343
00001813: STOP
00001814: ADDMOD
00001815: MULMOD
00001816: STOP
00001817: CALLER