Analysis Run

[codex:761903] OpenAI Codex v0.77.0 (research preview)
[codex:761903] --------
[codex:761903] workdir: /tmp/codex-multi-fwow9r9p
[codex:761903] model: gpt-5.2-codex
[codex:761903] provider: openai
[codex:761903] approval: never
[codex:761903] sandbox: read-only
[codex:761903] reasoning effort: xhigh
[codex:761903] reasoning summaries: auto
[codex:761903] session id: 019b8837-d9c9-7702-91b8-9508a2de19c3
[codex:761903] --------
[codex:761903] user
[codex:761903] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:761903] 
[codex:761903] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:761903] 
[codex:761903] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:761903] - Gas inefficiency, code quality, naming, or best practices
[codex:761903] - Theoretical vulnerabilities without a clear extraction path
[codex:761903] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:761903] - Front-running unless it enables theft beyond MEV
[codex:761903] - DoS, griefing, or issues that don't result in attacker profit
[codex:761903] - Missing events, view function issues, or informational findings
[codex:761903] 
[codex:761903] HIGH-VALUE PATTERNS TO HUNT:
[codex:761903] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:761903] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:761903] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:761903] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:761903] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:761903] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:761903] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:761903] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:761903] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:761903] 
[codex:761903] For each finding, you MUST provide:
[codex:761903] 1. Exact file and line numbers of vulnerable code
[codex:761903] 2. Step-by-step exploit transaction sequence
[codex:761903] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:761903] 
[codex:761903] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:761903] 
[codex:761903] Output MUST be valid JSON matching the provided schema.
[codex:761903] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:761903] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:761903] mcp startup: no servers
[codex:761903] 
[codex:761903] thinking
[codex:761903] **Preparing to review audit instructions**
[codex:761903] exec
[codex:761903] /bin/bash -lc ls in /tmp/codex-multi-fwow9r9p succeeded in 6ms:
[codex:761903] AUDIT_BUNDLE.txt
[codex:761903] codex-output-schema.json
[codex:761903] contracts
[codex:761903] 
[codex:761903] thinking
[codex:761903] **Reading AUDIT_BUNDLE.txt file**
[codex:761903] exec
[codex:761903] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-fwow9r9p succeeded in 5ms:
[codex:761903] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:761903] 
[codex:761903] ================================================================================
[codex:761903] FILE: contracts/src/multisig/MultiSigWalletV3.sol
[codex:761903] ================================================================================
[codex:761903] /**
[codex:761903]  * SPDX-License-Identifier: MIT
[codex:761903]  */
[codex:761903] 
[codex:761903] pragma solidity ^0.8.0;
[codex:761903] 
[codex:761903] import "../utils/Address.sol";
[codex:761903] import "../utils/Initializable.sol";
[codex:761903] import "./RLPEncode.sol";
[codex:761903] import "./Nonce.sol";
[codex:761903] 
[codex:761903] /**
[codex:761903]  * Documented in ../../doc/multisig.md
[codex:761903]  */
[codex:761903] contract MultiSigWalletV3 is Nonce, Initializable {
[codex:761903] 
[codex:761903] thinking
[codex:761903] **Analyzing MultiSigWalletV3 reentrancy risk**
[codex:761903] 
[codex:761903] I'm examining how the MultiSigWalletV3 handles signature verification and nonce usage, noticing it verifies signatures without checking nonce usage beforehand. This creates a reentrancy vulnerability where an attacker with signed transactions can repeatedly execute and drain funds before the nonce is flagged post-external call. I plan to identify exact source file and line numbers to precisely point out the issue.
[codex:761903] exec
[codex:761903] /bin/bash -lc 'nl -ba contracts/src/multisig/MultiSigWalletV3.sol' in /tmp/codex-multi-fwow9r9p succeeded in 5ms:
[codex:761903]      1	/**
[codex:761903]      2	 * SPDX-License-Identifier: MIT
[codex:761903]      3	 */
[codex:761903]      4	
[codex:761903]      5	pragma solidity ^0.8.0;
[codex:761903]      6	
[codex:761903]      7	import "../utils/Address.sol";
[codex:761903]      8	import "../utils/Initializable.sol";
[codex:761903]      9	import "./RLPEncode.sol";
[codex:761903]     10	import "./Nonce.sol";
[codex:761903]     11	
[codex:761903]     12	/**
[codex:761903]     13	 * Documented in ../../doc/multisig.md
[codex:761903]     14	 */
[codex:761903]     15	contract MultiSigWalletV3 is Nonce, Initializable {
[codex:761903]     16	
[codex:761903]     17	  mapping (address => uint8) public signers; // The addresses that can co-sign transactions and the number of signatures needed
[codex:761903]     18	
[codex:761903]     19	  uint16 public signerCount;
[codex:761903]     20	  bytes public contractId; // most likely unique id of this contract
[codex:761903] 
[codex:761903] 
[codex:761903] 
[codex:761903] 
[codex:761903] 
[codex:761903] thinking
[codex:761903] **Analyzing potential security issues**
[codex:761903] 
[codex:761903] I’m carefully reviewing functions like migrate and execute to spot exploitable flaws, especially around signer authorization, nonce handling, and reentrancy; although some patterns might seem risky, after tracing the logic, I find no concrete exploits that would let an attacker profit or bypass critical checks.
[codex:761903] thinking
[codex:761903] **Examining signature and initialization risks**
[codex:761903] 
[codex:761903] I'm evaluating the use of a truncated contractId in transaction hashing, which could lead to rare cross-contract replay if addresses share low 32 bits, though actual profit requires signer collusion or complex conditions. I'm also considering the unprotected initializer that, if not called at deployment, allows takeover, a known but conditional risk depending on deployment practices.
[codex:761903] thinking
[codex:761903] **Analyzing signature validation and nonce mechanics**
[codex:761903] 
[codex:761903] I’m digging into how signature verification handles edge cases like ecrecover returning zero addresses, the effects of signaturesNeeded values, and how nonce ranges allow out-of-order execution within limits. I’m also exploring potential reentrancy angles and contract call behaviors, but so far no clear on-chain profit exploit emerges.
[codex:761903] thinking
[codex:761903] **Identifying proxy initialization risks and encoding quirks**
[codex:761903] 
[codex:761903] I’m focused on the risk that an uninitialized proxy can let an attacker become owner and drain funds by calling the public initialize function first. I’m also examining nuances in the transaction hash encoding and related edge cases, but the proxy initialization stands out as the main concrete exploit path here.
[codex:761903] thinking
[codex:761903] **Preparing detailed exploit report for unprotected initialization**
[codex:761903] 
[codex:761903] I’m outlining a clear critical finding on the unprotected initialize function that lets an attacker seize control if the proxy is left uninitialized, including step-by-step exploit, evidence from code lines 35–44, and recommendations to prevent this scenario.
[codex:761903] codex
[codex:761903] {"no_findings":false,"summary":"One concrete profit path if a proxy/instance is left uninitialized: first caller can seize signer role and drain all assets.","findings":[{"severity":"critical","category":"upgradeability","title":"Unprotected initialize allows first caller to become sole signer and drain funds","exploit_scenario":"1) Monitor for a newly deployed (or reset) multisig instance where `signerCount == 0` (uninitialized). 2) Call `initialize(attacker)` to set yourself as the sole signer with `signaturesNeeded = 1`. 3) Compute the transaction hash (now bound to this contractId) and sign it with your key for a transfer of all ETH/tokens to your address. 4) Call `execute` with that signature to drain the wallet. 5) Repeat for any remaining assets. Profit equals the full wallet balance.","recommendation":"Ensure initialization is performed atomically at deployment (e.g., via proxy constructor data) or add an access control check to `initialize`/a constructor that locks the implementation.","evidence":"`initialize` is external and only guarded by `initializer`, so the first caller sets themselves as signer: `_setSigner(owner, 1)`.","locations":["contracts/src/multisig/MultiSigWalletV3.sol:35","contracts/src/multisig/MultiSigWalletV3.sol:43"]}]}
[codex:761903] tokens used
[codex:761903] 33,623
[codex:761903] {"no_findings":false,"summary":"One concrete profit path if a proxy/instance is left uninitialized: first caller can seize signer role and drain all assets.","findings":[{"severity":"critical","category":"upgradeability","title":"Unprotected initialize allows first caller to become sole signer and drain funds","exploit_scenario":"1) Monitor for a newly deployed (or reset) multisig instance where `signerCount == 0` (uninitialized). 2) Call `initialize(attacker)` to set yourself as the sole signer with `signaturesNeeded = 1`. 3) Compute the transaction hash (now bound to this contractId) and sign it with your key for a transfer of all ETH/tokens to your address. 4) Call `execute` with that signature to drain the wallet. 5) Repeat for any remaining assets. Profit equals the full wallet balance.","recommendation":"Ensure initialization is performed atomically at deployment (e.g., via proxy constructor data) or add an access control check to `initialize`/a constructor that locks the implementation.","evidence":"`initialize` is external and only guarded by `initializer`, so the first caller sets themselves as signer: `_setSigner(owner, 1)`.","locations":["contracts/src/multisig/MultiSigWalletV3.sol:35","contracts/src/multisig/MultiSigWalletV3.sol:43"]}]}

{
    "codex": {
        "ran_at": "2026-01-04T09:00:40.743992+00:00",
        "returncode": 0
    },
    "summary": "One concrete profit path if a proxy/instance is left uninitialized: first caller can seize signer role and drain all assets.",
    "raw_final": {
        "summary": "One concrete profit path if a proxy/instance is left uninitialized: first caller can seize signer role and drain all assets.",
        "findings": [
            {
                "title": "Unprotected initialize allows first caller to become sole signer and drain funds",
                "category": "upgradeability",
                "evidence": "`initialize` is external and only guarded by `initializer`, so the first caller sets themselves as signer: `_setSigner(owner, 1)`.",
                "severity": "critical",
                "locations": [
                    "contracts/src/multisig/MultiSigWalletV3.sol:35",
                    "contracts/src/multisig/MultiSigWalletV3.sol:43"
                ],
                "recommendation": "Ensure initialization is performed atomically at deployment (e.g., via proxy constructor data) or add an access control check to `initialize`/a constructor that locks the implementation.",
                "exploit_scenario": "1) Monitor for a newly deployed (or reset) multisig instance where `signerCount == 0` (uninitialized). 2) Call `initialize(attacker)` to set yourself as the sole signer with `signaturesNeeded = 1`. 3) Compute the transaction hash (now bound to this contractId) and sign it with your key for a transfer of all ETH/tokens to your address. 4) Call `execute` with that signature to drain the wallet. 5) Repeat for any remaining assets. Profit equals the full wallet balance."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00ec
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8291286c
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcb6367d1
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcb6367d1
0000002f: EQ
00000030: PUSH2 0x02dd
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xce5494bb
0000003a: EQ
0000003b: PUSH2 0x030a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd69c3d30
00000045: EQ
00000046: PUSH2 0x032a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xecec0dfd
00000050: EQ
00000051: PUSH2 0x0357
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8291286c
00000060: EQ
00000061: PUSH2 0x0258
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xb5fe5163
0000006b: EQ
0000006c: PUSH2 0x026d
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xb6e404de
00000076: EQ
00000077: PUSH2 0x029d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc4d66de8
00000081: EQ
00000082: PUSH2 0x02bd
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x736c0d5b
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x736c0d5b
0000009c: EQ
0000009d: PUSH2 0x01a5
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x775a8f5e
000000a7: EQ
000000a8: PUSH2 0x01e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x7ca548c6
000000b2: EQ
000000b3: PUSH2 0x0207
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x7cedbb80
000000bd: EQ
000000be: PUSH2 0x0235
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x0f43d678
000000cd: EQ
000000ce: PUSH2 0x012d
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x1068361f
000000d8: EQ
000000d9: PUSH2 0x014f
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x48753d00
000000e3: EQ
000000e4: PUSH2 0x016f
000000e7: JUMPI
000000e8: PUSH1 0x00
000000ea: DUP1
000000eb: REVERT
000000ec: JUMPDEST
000000ed: CALLDATASIZE
000000ee: PUSH2 0x0128
000000f1: JUMPI
000000f2: PUSH1 0x40
000000f4: MLOAD
000000f5: CALLVALUE
000000f6: DUP2
000000f7: MSTORE
000000f8: CALLER
000000f9: SWAP1
000000fa: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874
0000011b: SWAP1
0000011c: PUSH1 0x20
0000011e: ADD
0000011f: PUSH1 0x40
00000121: MLOAD
00000122: DUP1
00000123: SWAP2
00000124: SUB
00000125: SWAP1
00000126: LOG2
00000127: STOP
00000128: JUMPDEST
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0139
00000134: JUMPI
00000135: PUSH1 0x00
00000137: DUP1
00000138: REVERT
00000139: JUMPDEST
0000013a: POP
0000013b: PUSH2 0x014d
0000013e: PUSH2 0x0148
00000141: CALLDATASIZE
00000142: PUSH1 0x04
00000144: PUSH2 0x1a3c
00000147: JUMP
00000148: JUMPDEST
00000149: PUSH2 0x0377
0000014c: JUMP
0000014d: JUMPDEST
0000014e: STOP
0000014f: JUMPDEST
00000150: CALLVALUE
00000151: DUP1
00000152: ISZERO
00000153: PUSH2 0x015b
00000156: JUMPI
00000157: PUSH1 0x00
00000159: DUP1
0000015a: REVERT
0000015b: JUMPDEST
0000015c: POP
0000015d: PUSH2 0x014d
00000160: PUSH2 0x016a
00000163: CALLDATASIZE
00000164: PUSH1 0x04
00000166: PUSH2 0x19af
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH2 0x042b
0000016e: JUMP
0000016f: JUMPDEST
00000170: CALLVALUE
00000171: DUP1
00000172: ISZERO
00000173: PUSH2 0x017b
00000176: JUMPI
00000177: PUSH1 0x00
00000179: DUP1
0000017a: REVERT
0000017b: JUMPDEST
0000017c: POP
0000017d: PUSH2 0x018f
00000180: PUSH2 0x018a
00000183: CALLDATASIZE
00000184: PUSH1 0x04
00000186: PUSH2 0x1b25
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH2 0x0492
0000018e: JUMP
0000018f: JUMPDEST
00000190: PUSH1 0x40
00000192: MLOAD
00000193: PUSH2 0x019c
00000196: SWAP2
00000197: SWAP1
00000198: PUSH2 0x1d1b
0000019b: JUMP
0000019c: JUMPDEST
0000019d: PUSH1 0x40
0000019f: MLOAD
000001a0: DUP1
000001a1: SWAP2
000001a2: SUB
000001a3: SWAP1
000001a4: RETURN
000001a5: JUMPDEST
000001a6: CALLVALUE
000001a7: DUP1
000001a8: ISZERO
000001a9: PUSH2 0x01b1
000001ac: JUMPI
000001ad: PUSH1 0x00
000001af: DUP1
000001b0: REVERT
000001b1: JUMPDEST
000001b2: POP
000001b3: PUSH2 0x01d5
000001b6: PUSH2 0x01c0
000001b9: CALLDATASIZE
000001ba: PUSH1 0x04
000001bc: PUSH2 0x1994
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x02
000001c3: PUSH1 0x20
000001c5: MSTORE
000001c6: PUSH1 0x00
000001c8: SWAP1
000001c9: DUP2
000001ca: MSTORE
000001cb: PUSH1 0x40
000001cd: SWAP1
000001ce: KECCAK256
000001cf: SLOAD
000001d0: PUSH1 0xff
000001d2: AND
000001d3: DUP2
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: PUSH1 0xff
000001db: SWAP1
000001dc: SWAP2
000001dd: AND
000001de: DUP2
000001df: MSTORE
000001e0: PUSH1 0x20
000001e2: ADD
000001e3: PUSH2 0x019c
000001e6: JUMP
000001e7: JUMPDEST
000001e8: CALLVALUE
000001e9: DUP1
000001ea: ISZERO
000001eb: PUSH2 0x01f3
000001ee: JUMPI
000001ef: PUSH1 0x00
000001f1: DUP1
000001f2: REVERT
000001f3: JUMPDEST
000001f4: POP
000001f5: PUSH2 0x018f
000001f8: PUSH2 0x0202
000001fb: CALLDATASIZE
000001fc: PUSH1 0x04
000001fe: PUSH2 0x1c1b
00000201: JUMP
00000202: JUMPDEST
00000203: PUSH2 0x05fd
00000206: JUMP
00000207: JUMPDEST
00000208: CALLVALUE
00000209: DUP1
0000020a: ISZERO
0000020b: PUSH2 0x0213
0000020e: JUMPI
0000020f: PUSH1 0x00
00000211: DUP1
00000212: REVERT
00000213: JUMPDEST
00000214: POP
00000215: PUSH1 0x03
00000217: SLOAD
00000218: PUSH2 0x0222
0000021b: SWAP1
0000021c: PUSH2 0xffff
0000021f: AND
00000220: DUP2
00000221: JUMP
00000222: JUMPDEST
00000223: PUSH1 0x40
00000225: MLOAD
00000226: PUSH2 0xffff
00000229: SWAP1
0000022a: SWAP2
0000022b: AND
0000022c: DUP2
0000022d: MSTORE
0000022e: PUSH1 0x20
00000230: ADD
00000231: PUSH2 0x019c
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x024a
00000246: PUSH1 0x64
00000248: DUP2
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: SWAP1
0000024f: DUP2
00000250: MSTORE
00000251: PUSH1 0x20
00000253: ADD
00000254: PUSH2 0x019c
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: DUP1
0000025b: ISZERO
0000025c: PUSH2 0x0264
0000025f: JUMPI
00000260: PUSH1 0x00
00000262: DUP1
00000263: REVERT
00000264: JUMPDEST
00000265: POP
00000266: PUSH2 0x018f
00000269: PUSH2 0x06d3
0000026c: JUMP
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x028d
0000027e: PUSH2 0x0288
00000281: CALLDATASIZE
00000282: PUSH1 0x04
00000284: PUSH2 0x1b0a
00000287: JUMP
00000288: JUMPDEST
00000289: PUSH2 0x0761
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: SWAP1
00000292: ISZERO
00000293: ISZERO
00000294: DUP2
00000295: MSTORE
00000296: PUSH1 0x20
00000298: ADD
00000299: PUSH2 0x019c
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: DUP1
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: POP
000002ab: PUSH2 0x014d
000002ae: PUSH2 0x02b8
000002b1: CALLDATASIZE
000002b2: PUSH1 0x04
000002b4: PUSH2 0x19e2
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH2 0x079c
000002bc: JUMP
000002bd: JUMPDEST
000002be: CALLVALUE
000002bf: DUP1
000002c0: ISZERO
000002c1: PUSH2 0x02c9
000002c4: JUMPI
000002c5: PUSH1 0x00
000002c7: DUP1
000002c8: REVERT
000002c9: JUMPDEST
000002ca: POP
000002cb: PUSH2 0x014d
000002ce: PUSH2 0x02d8
000002d1: CALLDATASIZE
000002d2: PUSH1 0x04
000002d4: PUSH2 0x1994
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x0827
000002dc: JUMP
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH2 0x02fd
000002ee: PUSH2 0x02f8
000002f1: CALLDATASIZE
000002f2: PUSH1 0x04
000002f4: PUSH2 0x1a66
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH2 0x08b9
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: PUSH2 0x019c
00000304: SWAP2
00000305: SWAP1
00000306: PUSH2 0x1cde
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH2 0x014d
0000031b: PUSH2 0x0325
0000031e: CALLDATASIZE
0000031f: PUSH1 0x04
00000321: PUSH2 0x1994
00000324: JUMP
00000325: JUMPDEST
00000326: PUSH2 0x0ad7
00000329: JUMP
0000032a: JUMPDEST
0000032b: CALLVALUE
0000032c: DUP1
0000032d: ISZERO
0000032e: PUSH2 0x0336
00000331: JUMPI
00000332: PUSH1 0x00
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x033f
0000033b: PUSH2 0x0ae4
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH1 0x40
00000342: MLOAD
00000343: PUSH1 0x01
00000345: PUSH1 0x01
00000347: PUSH1 0x80
00000349: SHL
0000034a: SUB
0000034b: SWAP1
0000034c: SWAP2
0000034d: AND
0000034e: DUP2
0000034f: MSTORE
00000350: PUSH1 0x20
00000352: ADD
00000353: PUSH2 0x019c
00000356: JUMP
00000357: JUMPDEST
00000358: CALLVALUE
00000359: DUP1
0000035a: ISZERO
0000035b: PUSH2 0x0363
0000035e: JUMPI
0000035f: PUSH1 0x00
00000361: DUP1
00000362: REVERT
00000363: JUMPDEST
00000364: POP
00000365: PUSH2 0x02fd
00000368: PUSH2 0x0372
0000036b: CALLDATASIZE
0000036c: PUSH1 0x04
0000036e: PUSH2 0x1b25
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH2 0x0af8
00000376: JUMP
00000377: JUMPDEST
00000378: ADDRESS
00000379: CALLER
0000037a: EQ
0000037b: DUP1
0000037c: PUSH2 0x0397
0000037f: JUMPI
00000380: POP
00000381: CALLER
00000382: PUSH1 0x00
00000384: SWAP1
00000385: DUP2
00000386: MSTORE
00000387: PUSH1 0x02
00000389: PUSH1 0x20
0000038b: MSTORE
0000038c: PUSH1 0x40
0000038e: SWAP1
0000038f: KECCAK256
00000390: SLOAD
00000391: PUSH1 0xff
00000393: AND
00000394: PUSH1 0x01
00000396: EQ
00000397: JUMPDEST
00000398: PUSH2 0x03d9
0000039b: JUMPI
0000039c: PUSH1 0x40
0000039e: MLOAD
0000039f: PUSH3 0x461bcd
000003a3: PUSH1 0xe5
000003a5: SHL
000003a6: DUP2
000003a7: MSTORE
000003a8: PUSH1 0x20
000003aa: PUSH1 0x04
000003ac: DUP3
000003ad: ADD
000003ae: MSTORE
000003af: PUSH1 0x0e
000003b1: PUSH1 0x24
000003b3: DUP3
000003b4: ADD
000003b5: MSTORE
000003b6: PUSH14 0x1b9bdd08185d5d1a1bdc9a5e9959
000003c5: PUSH1 0x92
000003c7: SHL
000003c8: PUSH1 0x44
000003ca: DUP3
000003cb: ADD
000003cc: MSTORE
000003cd: PUSH1 0x64
000003cf: ADD
000003d0: JUMPDEST
000003d1: PUSH1 0x40
000003d3: MLOAD
000003d4: DUP1
000003d5: SWAP2
000003d6: SUB
000003d7: SWAP1
000003d8: REVERT
000003d9: JUMPDEST
000003da: PUSH2 0x03e3
000003dd: DUP3
000003de: DUP3
000003df: PUSH2 0x0b2f
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x03
000003e6: SLOAD
000003e7: PUSH2 0xffff
000003ea: AND
000003eb: PUSH2 0x0427
000003ee: JUMPI
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: PUSH3 0x461bcd
000003f6: PUSH1 0xe5
000003f8: SHL
000003f9: DUP2
000003fa: MSTORE
000003fb: PUSH1 0x20
000003fd: PUSH1 0x04
000003ff: DUP3
00000400: ADD
00000401: MSTORE
00000402: PUSH1 0x0e
00000404: PUSH1 0x24
00000406: DUP3
00000407: ADD
00000408: MSTORE
00000409: PUSH14 0x07369676e657220636f756e74203
00000418: PUSH1 0x94
0000041a: SHL
0000041b: PUSH1 0x44
0000041d: DUP3
0000041e: ADD
0000041f: MSTORE
00000420: PUSH1 0x64
00000422: ADD
00000423: PUSH2 0x03d0
00000426: JUMP
00000427: JUMPDEST
00000428: POP
00000429: POP
0000042a: JUMP
0000042b: JUMPDEST
0000042c: ADDRESS
0000042d: CALLER
0000042e: EQ
0000042f: DUP1
00000430: PUSH2 0x044b
00000433: JUMPI
00000434: POP
00000435: CALLER
00000436: PUSH1 0x00
00000438: SWAP1
00000439: DUP2
0000043a: MSTORE
0000043b: PUSH1 0x02
0000043d: PUSH1 0x20
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: SWAP1
00000443: KECCAK256
00000444: SLOAD
00000445: PUSH1 0xff
00000447: AND
00000448: PUSH1 0x01
0000044a: EQ
0000044b: JUMPDEST
0000044c: PUSH2 0x0488
0000044f: JUMPI
00000450: PUSH1 0x40
00000452: MLOAD
00000453: PUSH3 0x461bcd
00000457: PUSH1 0xe5
00000459: SHL
0000045a: DUP2
0000045b: MSTORE
0000045c: PUSH1 0x20
0000045e: PUSH1 0x04
00000460: DUP3
00000461: ADD
00000462: MSTORE
00000463: PUSH1 0x0e
00000465: PUSH1 0x24
00000467: DUP3
00000468: ADD
00000469: MSTORE
0000046a: PUSH14 0x1b9bdd08185d5d1a1bdc9a5e9959
00000479: PUSH1 0x92
0000047b: SHL
0000047c: PUSH1 0x44
0000047e: DUP3
0000047f: ADD
00000480: MSTORE
00000481: PUSH1 0x64
00000483: ADD
00000484: PUSH2 0x03d0
00000487: JUMP
00000488: JUMPDEST
00000489: PUSH2 0x0427
0000048c: DUP3
0000048d: DUP3
0000048e: PUSH2 0x0ccb
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH1 0x60
00000495: PUSH1 0x00
00000497: PUSH2 0x052e
0000049a: DUP14
0000049b: PUSH1 0x04
0000049d: DUP1
0000049e: SLOAD
0000049f: PUSH2 0x04a7
000004a2: SWAP1
000004a3: PUSH2 0x1f10
000004a6: JUMP
000004a7: JUMPDEST
000004a8: DUP1
000004a9: PUSH1 0x1f
000004ab: ADD
000004ac: PUSH1 0x20
000004ae: DUP1
000004af: SWAP2
000004b0: DIV
000004b1: MUL
000004b2: PUSH1 0x20
000004b4: ADD
000004b5: PUSH1 0x40
000004b7: MLOAD
000004b8: SWAP1
000004b9: DUP2
000004ba: ADD
000004bb: PUSH1 0x40
000004bd: MSTORE
000004be: DUP1
000004bf: SWAP3
000004c0: SWAP2
000004c1: SWAP1
000004c2: DUP2
000004c3: DUP2
000004c4: MSTORE
000004c5: PUSH1 0x20
000004c7: ADD
000004c8: DUP3
000004c9: DUP1
000004ca: SLOAD
000004cb: PUSH2 0x04d3
000004ce: SWAP1
000004cf: PUSH2 0x1f10
000004d2: JUMP
000004d3: JUMPDEST
000004d4: DUP1
000004d5: ISZERO
000004d6: PUSH2 0x0520
000004d9: JUMPI
000004da: DUP1
000004db: PUSH1 0x1f
000004dd: LT
000004de: PUSH2 0x04f5
000004e1: JUMPI
000004e2: PUSH2 0x0100
000004e5: DUP1
000004e6: DUP4
000004e7: SLOAD
000004e8: DIV
000004e9: MUL
000004ea: DUP4
000004eb: MSTORE
000004ec: SWAP2
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: SWAP2
000004f1: PUSH2 0x0520
000004f4: JUMP
000004f5: JUMPDEST
000004f6: DUP3
000004f7: ADD
000004f8: SWAP2
000004f9: SWAP1
000004fa: PUSH1 0x00
000004fc: MSTORE
000004fd: PUSH1 0x20
000004ff: PUSH1 0x00
00000501: KECCAK256
00000502: SWAP1
00000503: JUMPDEST
00000504: DUP2
00000505: SLOAD
00000506: DUP2
00000507: MSTORE
00000508: SWAP1
00000509: PUSH1 0x01
0000050b: ADD
0000050c: SWAP1
0000050d: PUSH1 0x20
0000050f: ADD
00000510: DUP1
00000511: DUP4
00000512: GT
00000513: PUSH2 0x0503
00000516: JUMPI
00000517: DUP3
00000518: SWAP1
00000519: SUB
0000051a: PUSH1 0x1f
0000051c: AND
0000051d: DUP3
0000051e: ADD
0000051f: SWAP2
00000520: JUMPDEST
00000521: POP
00000522: POP
00000523: POP
00000524: POP
00000525: POP
00000526: DUP15
00000527: DUP15
00000528: DUP15
00000529: DUP15
0000052a: PUSH2 0x0d5c
0000052d: JUMP
0000052e: JUMPDEST
0000052f: SWAP1
00000530: POP
00000531: PUSH1 0x00
00000533: PUSH2 0x0541
00000536: DUP3
00000537: DUP11
00000538: DUP11
00000539: DUP11
0000053a: DUP11
0000053b: DUP11
0000053c: DUP11
0000053d: PUSH2 0x08b9
00000540: JUMP
00000541: JUMPDEST
00000542: SWAP1
00000543: POP
00000544: PUSH1 0x00
00000546: PUSH2 0x0594
00000549: DUP15
0000054a: DUP14
0000054b: DUP14
0000054c: DUP1
0000054d: DUP1
0000054e: PUSH1 0x1f
00000550: ADD
00000551: PUSH1 0x20
00000553: DUP1
00000554: SWAP2
00000555: DIV
00000556: MUL
00000557: PUSH1 0x20
00000559: ADD
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: SWAP1
0000055e: DUP2
0000055f: ADD
00000560: PUSH1 0x40
00000562: MSTORE
00000563: DUP1
00000564: SWAP4
00000565: SWAP3
00000566: SWAP2
00000567: SWAP1
00000568: DUP2
00000569: DUP2
0000056a: MSTORE
0000056b: PUSH1 0x20
0000056d: ADD
0000056e: DUP4
0000056f: DUP4
00000570: DUP1
00000571: DUP3
00000572: DUP5
00000573: CALLDATACOPY
00000574: PUSH1 0x00
00000576: DUP2
00000577: DUP5
00000578: ADD
00000579: MSTORE
0000057a: PUSH1 0x1f
0000057c: NOT
0000057d: PUSH1 0x1f
0000057f: DUP3
00000580: ADD
00000581: AND
00000582: SWAP1
00000583: POP
00000584: DUP1
00000585: DUP4
00000586: ADD
00000587: SWAP3
00000588: POP
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: POP
0000058f: DUP16
00000590: PUSH2 0x1015
00000593: JUMP
00000594: JUMPDEST
00000595: SWAP1
00000596: POP
00000597: PUSH2 0x059f
0000059a: DUP16
0000059b: PUSH2 0x1125
0000059e: JUMP
0000059f: JUMPDEST
000005a0: DUP14
000005a1: PUSH1 0x01
000005a3: PUSH1 0x01
000005a5: PUSH1 0xa0
000005a7: SHL
000005a8: SUB
000005a9: AND
000005aa: PUSH32 0x64ada3f9bcd41ebd407b399dc401184273a19bc294825172626af05a15c95d25
000005cb: PUSH2 0x05d4
000005ce: DUP15
000005cf: DUP15
000005d0: PUSH2 0x122f
000005d3: JUMP
000005d4: JUMPDEST
000005d5: DUP5
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: PUSH2 0x05e3
000005dc: SWAP3
000005dd: SWAP2
000005de: SWAP1
000005df: PUSH2 0x1cf1
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH1 0x40
000005e6: MLOAD
000005e7: DUP1
000005e8: SWAP2
000005e9: SUB
000005ea: SWAP1
000005eb: LOG2
000005ec: SWAP15
000005ed: SWAP14
000005ee: POP
000005ef: POP
000005f0: POP
000005f1: POP
000005f2: POP
000005f3: POP
000005f4: POP
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: POP
000005fa: POP
000005fb: POP
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH1 0x60
00000600: PUSH1 0x00
00000602: DUP3
00000603: PUSH1 0x01
00000605: PUSH1 0x80
00000607: SHL
00000608: DUP2
00000609: LT
0000060a: PUSH2 0x0622
0000060d: JUMPI
0000060e: PUSH1 0x80
00000610: SWAP4
00000611: SWAP1
00000612: SWAP4
00000613: SHR
00000614: SWAP3
00000615: PUSH2 0x061f
00000618: PUSH1 0x10
0000061a: DUP4
0000061b: PUSH2 0x1d70
0000061e: JUMP
0000061f: JUMPDEST
00000620: SWAP2
00000621: POP
00000622: JUMPDEST
00000623: PUSH9 0x010000000000000000
0000062d: DUP5
0000062e: LT
0000062f: PUSH2 0x0647
00000632: JUMPI
00000633: PUSH1 0x40
00000635: SWAP4
00000636: SWAP1
00000637: SWAP4
00000638: SHR
00000639: SWAP3
0000063a: PUSH2 0x0644
0000063d: PUSH1 0x08
0000063f: DUP4
00000640: PUSH2 0x1d70
00000643: JUMP
00000644: JUMPDEST
00000645: SWAP2
00000646: POP
00000647: JUMPDEST
00000648: PUSH5 0x0100000000
0000064e: DUP5
0000064f: LT
00000650: PUSH2 0x0668
00000653: JUMPI
00000654: PUSH1 0x20
00000656: SWAP4
00000657: SWAP1
00000658: SWAP4
00000659: SHR
0000065a: SWAP3
0000065b: PUSH2 0x0665
0000065e: PUSH1 0x04
00000660: DUP4
00000661: PUSH2 0x1d70
00000664: JUMP
00000665: JUMPDEST
00000666: SWAP2
00000667: POP
00000668: JUMPDEST
00000669: PUSH3 0x010000
0000066d: DUP5
0000066e: LT
0000066f: PUSH2 0x0687
00000672: JUMPI
00000673: PUSH1 0x10
00000675: SWAP4
00000676: SWAP1
00000677: SWAP4
00000678: SHR
00000679: SWAP3
0000067a: PUSH2 0x0684
0000067d: PUSH1 0x02
0000067f: DUP4
00000680: PUSH2 0x1d70
00000683: JUMP
00000684: JUMPDEST
00000685: SWAP2
00000686: POP
00000687: JUMPDEST
00000688: PUSH2 0x0100
0000068b: DUP5
0000068c: LT
0000068d: PUSH2 0x06a5
00000690: JUMPI
00000691: PUSH1 0x08
00000693: SWAP4
00000694: SWAP1
00000695: SWAP4
00000696: SHR
00000697: SWAP3
00000698: PUSH2 0x06a2
0000069b: PUSH1 0x01
0000069d: DUP4
0000069e: PUSH2 0x1d70
000006a1: JUMP
000006a2: JUMPDEST
000006a3: SWAP2
000006a4: POP
000006a5: JUMPDEST
000006a6: DUP4
000006a7: ISZERO
000006a8: PUSH2 0x06b9
000006ab: JUMPI
000006ac: PUSH2 0x06b6
000006af: PUSH1 0x01
000006b1: DUP4
000006b2: PUSH2 0x1d70
000006b5: JUMP
000006b6: JUMPDEST
000006b7: SWAP2
000006b8: POP
000006b9: JUMPDEST
000006ba: PUSH1 0x40
000006bc: DUP1
000006bd: MLOAD
000006be: DUP4
000006bf: DUP2
000006c0: ADD
000006c1: PUSH1 0x20
000006c3: DUP2
000006c4: ADD
000006c5: SWAP1
000006c6: SWAP3
000006c7: MSTORE
000006c8: SWAP2
000006c9: SWAP1
000006ca: MSTORE
000006cb: SWAP1
000006cc: DUP2
000006cd: MSTORE
000006ce: SWAP3
000006cf: SWAP2
000006d0: POP
000006d1: POP
000006d2: JUMP
000006d3: JUMPDEST
000006d4: PUSH1 0x04
000006d6: DUP1
000006d7: SLOAD
000006d8: PUSH2 0x06e0
000006db: SWAP1
000006dc: PUSH2 0x1f10
000006df: JUMP
000006e0: JUMPDEST
000006e1: DUP1
000006e2: PUSH1 0x1f
000006e4: ADD
000006e5: PUSH1 0x20
000006e7: DUP1
000006e8: SWAP2
000006e9: DIV
000006ea: MUL
000006eb: PUSH1 0x20
000006ed: ADD
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: SWAP1
000006f2: DUP2
000006f3: ADD
000006f4: PUSH1 0x40
000006f6: MSTORE
000006f7: DUP1
000006f8: SWAP3
000006f9: SWAP2
000006fa: SWAP1
000006fb: DUP2
000006fc: DUP2
000006fd: MSTORE
000006fe: PUSH1 0x20
00000700: ADD
00000701: DUP3
00000702: DUP1
00000703: SLOAD
00000704: PUSH2 0x070c
00000707: SWAP1
00000708: PUSH2 0x1f10
0000070b: JUMP
0000070c: JUMPDEST
0000070d: DUP1
0000070e: ISZERO
0000070f: PUSH2 0x0759
00000712: JUMPI
00000713: DUP1
00000714: PUSH1 0x1f
00000716: LT
00000717: PUSH2 0x072e
0000071a: JUMPI
0000071b: PUSH2 0x0100
0000071e: DUP1
0000071f: DUP4
00000720: SLOAD
00000721: DIV
00000722: MUL
00000723: DUP4
00000724: MSTORE
00000725: SWAP2
00000726: PUSH1 0x20
00000728: ADD
00000729: SWAP2
0000072a: PUSH2 0x0759
0000072d: JUMP
0000072e: JUMPDEST
0000072f: DUP3
00000730: ADD
00000731: SWAP2
00000732: SWAP1
00000733: PUSH1 0x00
00000735: MSTORE
00000736: PUSH1 0x20
00000738: PUSH1 0x00
0000073a: KECCAK256
0000073b: SWAP1
0000073c: JUMPDEST
0000073d: DUP2
0000073e: SLOAD
0000073f: DUP2
00000740: MSTORE
00000741: SWAP1
00000742: PUSH1 0x01
00000744: ADD
00000745: SWAP1
00000746: PUSH1 0x20
00000748: ADD
00000749: DUP1
0000074a: DUP4
0000074b: GT
0000074c: PUSH2 0x073c
0000074f: JUMPI
00000750: DUP3
00000751: SWAP1
00000752: SUB
00000753: PUSH1 0x1f
00000755: AND
00000756: DUP3
00000757: ADD
00000758: SWAP2
00000759: JUMPDEST
0000075a: POP
0000075b: POP
0000075c: POP
0000075d: POP
0000075e: POP
0000075f: DUP2
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH1 0x00
00000764: DUP1
00000765: PUSH2 0x076d
00000768: PUSH1 0x00
0000076a: SLOAD
0000076b: SWAP1
0000076c: JUMP
0000076d: JUMPDEST
0000076e: SWAP1
0000076f: POP
00000770: PUSH2 0x0779
00000773: DUP2
00000774: DUP5
00000775: PUSH2 0x12eb
00000778: JUMP
00000779: JUMPDEST
0000077a: DUP1
0000077b: PUSH2 0x0795
0000077e: JUMPI
0000077f: POP
00000780: PUSH2 0x0795
00000783: DUP2
00000784: PUSH2 0x078f
00000787: PUSH1 0x00
00000789: SLOAD
0000078a: PUSH1 0x80
0000078c: SHR
0000078d: SWAP1
0000078e: JUMP
0000078f: JUMPDEST
00000790: DUP6
00000791: PUSH2 0x1330
00000794: JUMP
00000795: JUMPDEST
00000796: SWAP4
00000797: SWAP3
00000798: POP
00000799: POP
0000079a: POP
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH2 0x07de
000007a0: DUP5
000007a1: DUP4
000007a2: DUP4
000007a3: DUP1
000007a4: DUP1
000007a5: PUSH1 0x1f
000007a7: ADD
000007a8: PUSH1 0x20
000007aa: DUP1
000007ab: SWAP2
000007ac: DIV
000007ad: MUL
000007ae: PUSH1 0x20
000007b0: ADD
000007b1: PUSH1 0x40
000007b3: MLOAD
000007b4: SWAP1
000007b5: DUP2
000007b6: ADD
000007b7: PUSH1 0x40
000007b9: MSTORE
000007ba: DUP1
000007bb: SWAP4
000007bc: SWAP3
000007bd: SWAP2
000007be: SWAP1
000007bf: DUP2
000007c0: DUP2
000007c1: MSTORE
000007c2: PUSH1 0x20
000007c4: ADD
000007c5: DUP4
000007c6: DUP4
000007c7: DUP1
000007c8: DUP3
000007c9: DUP5
000007ca: CALLDATACOPY
000007cb: PUSH1 0x00
000007cd: SWAP3
000007ce: ADD
000007cf: SWAP2
000007d0: SWAP1
000007d1: SWAP2
000007d2: MSTORE
000007d3: POP
000007d4: DUP9
000007d5: SWAP3
000007d6: POP
000007d7: PUSH2 0x1015
000007da: SWAP2
000007db: POP
000007dc: POP
000007dd: JUMP
000007de: JUMPDEST
000007df: POP
000007e0: PUSH1 0x40
000007e2: MLOAD
000007e3: PUSH3 0x461bcd
000007e7: PUSH1 0xe5
000007e9: SHL
000007ea: DUP2
000007eb: MSTORE
000007ec: PUSH1 0x20
000007ee: PUSH1 0x04
000007f0: DUP3
000007f1: ADD
000007f2: MSTORE
000007f3: PUSH1 0x17
000007f5: PUSH1 0x24
000007f7: DUP3
000007f8: ADD
000007f9: MSTORE
000007fa: PUSH32 0x54657374207061737365642e20526576657274696e672e000000000000000000
0000081b: PUSH1 0x44
0000081d: DUP3
0000081e: ADD
0000081f: MSTORE
00000820: PUSH1 0x64
00000822: ADD
00000823: PUSH2 0x03d0
00000826: JUMP
00000827: JUMPDEST
00000828: PUSH1 0x01
0000082a: SLOAD
0000082b: PUSH1 0xff
0000082d: AND
0000082e: ISZERO
0000082f: PUSH2 0x0870
00000832: JUMPI
00000833: PUSH1 0x40
00000835: MLOAD
00000836: PUSH3 0x461bcd
0000083a: PUSH1 0xe5
0000083c: SHL
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: PUSH1 0x04
00000843: DUP3
00000844: ADD
00000845: MSTORE
00000846: PUSH1 0x13
00000848: PUSH1 0x24
0000084a: DUP3
0000084b: ADD
0000084c: MSTORE
0000084d: PUSH19 0x185b1c9958591e481a5b9a5d1a585b1a5e9959
00000861: PUSH1 0x6a
00000863: SHL
00000864: PUSH1 0x44
00000866: DUP3
00000867: ADD
00000868: MSTORE
00000869: PUSH1 0x64
0000086b: ADD
0000086c: PUSH2 0x03d0
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH2 0x087f
00000874: ADDRESS
00000875: PUSH4 0xffffffff
0000087a: AND
0000087b: PUSH2 0x05fd
0000087e: JUMP
0000087f: JUMPDEST
00000880: DUP1
00000881: MLOAD
00000882: PUSH2 0x0893
00000885: SWAP2
00000886: PUSH1 0x04
00000888: SWAP2
00000889: PUSH1 0x20
0000088b: SWAP1
0000088c: SWAP2
0000088d: ADD
0000088e: SWAP1
0000088f: PUSH2 0x1829
00000892: JUMP
00000893: JUMPDEST
00000894: POP
00000895: PUSH1 0x03
00000897: DUP1
00000898: SLOAD
00000899: PUSH2 0xffff
0000089c: NOT
0000089d: AND
0000089e: SWAP1
0000089f: SSTORE
000008a0: PUSH2 0x08aa
000008a3: DUP2
000008a4: PUSH1 0x01
000008a6: PUSH2 0x0b2f
000008a9: JUMP
000008aa: JUMPDEST
000008ab: POP
000008ac: PUSH1 0x01
000008ae: DUP1
000008af: SLOAD
000008b0: PUSH1 0xff
000008b2: NOT
000008b3: AND
000008b4: DUP2
000008b5: OR
000008b6: SWAP1
000008b7: SSTORE
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH1 0x60
000008bc: PUSH1 0x00
000008be: DUP5
000008bf: PUSH8 0xffffffffffffffff
000008c8: DUP2
000008c9: GT
000008ca: ISZERO
000008cb: PUSH2 0x08d6
000008ce: JUMPI
000008cf: PUSH2 0x08d6
000008d2: PUSH2 0x1fde
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x40
000008d9: MLOAD
000008da: SWAP1
000008db: DUP1
000008dc: DUP3
000008dd: MSTORE
000008de: DUP1
000008df: PUSH1 0x20
000008e1: MUL
000008e2: PUSH1 0x20
000008e4: ADD
000008e5: DUP3
000008e6: ADD
000008e7: PUSH1 0x40
000008e9: MSTORE
000008ea: DUP1
000008eb: ISZERO
000008ec: PUSH2 0x08ff
000008ef: JUMPI
000008f0: DUP2
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: PUSH1 0x20
000008f6: DUP3
000008f7: MUL
000008f8: DUP1
000008f9: CALLDATASIZE
000008fa: DUP4
000008fb: CALLDATACOPY
000008fc: ADD
000008fd: SWAP1
000008fe: POP
000008ff: JUMPDEST
00000900: POP
00000901: SWAP1
00000902: POP
00000903: DUP5
00000904: PUSH2 0x093d
00000907: JUMPI
00000908: PUSH1 0x40
0000090a: MLOAD
0000090b: PUSH3 0x461bcd
0000090f: PUSH1 0xe5
00000911: SHL
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x20
00000916: PUSH1 0x04
00000918: DUP3
00000919: ADD
0000091a: MSTORE
0000091b: PUSH1 0x0b
0000091d: PUSH1 0x24
0000091f: DUP3
00000920: ADD
00000921: MSTORE
00000922: PUSH11 0x736967206d697373696e67
0000092e: PUSH1 0xa8
00000930: SHL
00000931: PUSH1 0x44
00000933: DUP3
00000934: ADD
00000935: MSTORE
00000936: PUSH1 0x64
00000938: ADD
00000939: PUSH2 0x03d0
0000093c: JUMP
0000093d: JUMPDEST
0000093e: PUSH1 0x00
00000940: JUMPDEST
00000941: DUP6
00000942: DUP2
00000943: LT
00000944: ISZERO
00000945: PUSH2 0x0ac1
00000948: JUMPI
00000949: PUSH1 0x00
0000094b: PUSH1 0x01
0000094d: DUP12
0000094e: DUP12
0000094f: DUP12
00000950: DUP6
00000951: DUP2
00000952: DUP2
00000953: LT
00000954: PUSH2 0x095f
00000957: JUMPI
00000958: PUSH2 0x095f
0000095b: PUSH2 0x1fc8
0000095e: JUMP
0000095f: JUMPDEST
00000960: SWAP1
00000961: POP
00000962: PUSH1 0x20
00000964: MUL
00000965: ADD
00000966: PUSH1 0x20
00000968: DUP2
00000969: ADD
0000096a: SWAP1
0000096b: PUSH2 0x0974
0000096e: SWAP2
0000096f: SWAP1
00000970: PUSH2 0x1c34
00000973: JUMP
00000974: JUMPDEST
00000975: DUP11
00000976: DUP11
00000977: DUP7
00000978: DUP2
00000979: DUP2
0000097a: LT
0000097b: PUSH2 0x0986
0000097e: JUMPI
0000097f: PUSH2 0x0986
00000982: PUSH2 0x1fc8
00000985: JUMP
00000986: JUMPDEST
00000987: SWAP1
00000988: POP
00000989: PUSH1 0x20
0000098b: MUL
0000098c: ADD
0000098d: CALLDATALOAD
0000098e: DUP10
0000098f: DUP10
00000990: DUP8
00000991: DUP2
00000992: DUP2
00000993: LT
00000994: PUSH2 0x099f
00000997: JUMPI
00000998: PUSH2 0x099f
0000099b: PUSH2 0x1fc8
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP1
000009a1: POP
000009a2: PUSH1 0x20
000009a4: MUL
000009a5: ADD
000009a6: CALLDATALOAD
000009a7: PUSH1 0x40
000009a9: MLOAD
000009aa: PUSH1 0x00
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: PUSH1 0x40
000009b3: MSTORE
000009b4: PUSH1 0x40
000009b6: MLOAD
000009b7: PUSH2 0x09dc
000009ba: SWAP5
000009bb: SWAP4
000009bc: SWAP3
000009bd: SWAP2
000009be: SWAP1
000009bf: SWAP4
000009c0: DUP5
000009c1: MSTORE
000009c2: PUSH1 0xff
000009c4: SWAP3
000009c5: SWAP1
000009c6: SWAP3
000009c7: AND
000009c8: PUSH1 0x20
000009ca: DUP5
000009cb: ADD
000009cc: MSTORE
000009cd: PUSH1 0x40
000009cf: DUP4
000009d0: ADD
000009d1: MSTORE
000009d2: PUSH1 0x60
000009d4: DUP3
000009d5: ADD
000009d6: MSTORE
000009d7: PUSH1 0x80
000009d9: ADD
000009da: SWAP1
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x20
000009df: PUSH1 0x40
000009e1: MLOAD
000009e2: PUSH1 0x20
000009e4: DUP2
000009e5: SUB
000009e6: SWAP1
000009e7: DUP1
000009e8: DUP5
000009e9: SUB
000009ea: SWAP1
000009eb: DUP6
000009ec: GAS
000009ed: STATICCALL
000009ee: ISZERO
000009ef: DUP1
000009f0: ISZERO
000009f1: PUSH2 0x09fe
000009f4: JUMPI
000009f5: RETURNDATASIZE
000009f6: PUSH1 0x00
000009f8: DUP1
000009f9: RETURNDATACOPY
000009fa: RETURNDATASIZE
000009fb: PUSH1 0x00
000009fd: REVERT
000009fe: JUMPDEST
000009ff: POP
00000a00: POP
00000a01: PUSH1 0x40
00000a03: DUP1
00000a04: MLOAD
00000a05: PUSH1 0x1f
00000a07: NOT
00000a08: ADD
00000a09: MLOAD
00000a0a: PUSH1 0x01
00000a0c: PUSH1 0x01
00000a0e: PUSH1 0xa0
00000a10: SHL
00000a11: SUB
00000a12: DUP2
00000a13: AND
00000a14: PUSH1 0x00
00000a16: SWAP1
00000a17: DUP2
00000a18: MSTORE
00000a19: PUSH1 0x02
00000a1b: PUSH1 0x20
00000a1d: MSTORE
00000a1e: SWAP2
00000a1f: SWAP1
00000a20: SWAP2
00000a21: KECCAK256
00000a22: SLOAD
00000a23: SWAP1
00000a24: SWAP3
00000a25: POP
00000a26: PUSH1 0xff
00000a28: AND
00000a29: SWAP1
00000a2a: POP
00000a2b: DUP1
00000a2c: ISZERO
00000a2d: DUP1
00000a2e: ISZERO
00000a2f: SWAP1
00000a30: PUSH2 0x0a3c
00000a33: JUMPI
00000a34: POP
00000a35: PUSH1 0xff
00000a37: DUP2
00000a38: AND
00000a39: DUP9
00000a3a: LT
00000a3b: ISZERO
00000a3c: JUMPDEST
00000a3d: PUSH2 0x0a79
00000a40: JUMPI
00000a41: PUSH1 0x40
00000a43: MLOAD
00000a44: PUSH3 0x461bcd
00000a48: PUSH1 0xe5
00000a4a: SHL
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x20
00000a4f: PUSH1 0x04
00000a51: DUP3
00000a52: ADD
00000a53: MSTORE
00000a54: PUSH1 0x0e
00000a56: PUSH1 0x24
00000a58: DUP3
00000a59: ADD
00000a5a: MSTORE
00000a5b: PUSH14 0x31b7b9b4b3b732b91032b93937b9
00000a6a: PUSH1 0x91
00000a6c: SHL
00000a6d: PUSH1 0x44
00000a6f: DUP3
00000a70: ADD
00000a71: MSTORE
00000a72: PUSH1 0x64
00000a74: ADD
00000a75: PUSH2 0x03d0
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: DUP2
00000a7b: DUP5
00000a7c: DUP5
00000a7d: DUP2
00000a7e: MLOAD
00000a7f: DUP2
00000a80: LT
00000a81: PUSH2 0x0a8c
00000a84: JUMPI
00000a85: PUSH2 0x0a8c
00000a88: PUSH2 0x1fc8
00000a8b: JUMP
00000a8c: JUMPDEST
00000a8d: PUSH1 0x20
00000a8f: MUL
00000a90: PUSH1 0x20
00000a92: ADD
00000a93: ADD
00000a94: SWAP1
00000a95: PUSH1 0x01
00000a97: PUSH1 0x01
00000a99: PUSH1 0xa0
00000a9b: SHL
00000a9c: SUB
00000a9d: AND
00000a9e: SWAP1
00000a9f: DUP2
00000aa0: PUSH1 0x01
00000aa2: PUSH1 0x01
00000aa4: PUSH1 0xa0
00000aa6: SHL
00000aa7: SUB
00000aa8: AND
00000aa9: DUP2
00000aaa: MSTORE
00000aab: POP
00000aac: POP
00000aad: POP
00000aae: POP
00000aaf: DUP1
00000ab0: DUP1
00000ab1: PUSH2 0x0ab9
00000ab4: SWAP1
00000ab5: PUSH2 0x1f6d
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: SWAP2
00000abb: POP
00000abc: POP
00000abd: PUSH2 0x0940
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: POP
00000ac3: PUSH2 0x0acb
00000ac6: DUP2
00000ac7: PUSH2 0x1385
00000aca: JUMP
00000acb: JUMPDEST
00000acc: SWAP9
00000acd: SWAP8
00000ace: POP
00000acf: POP
00000ad0: POP
00000ad1: POP
00000ad2: POP
00000ad3: POP
00000ad4: POP
00000ad5: POP
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH2 0x0ae1
00000adb: CALLER
00000adc: DUP3
00000add: PUSH2 0x0ccb
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: POP
00000ae3: JUMP
00000ae4: JUMPDEST
00000ae5: PUSH1 0x00
00000ae7: DUP1
00000ae8: SLOAD
00000ae9: PUSH2 0x0af3
00000aec: SWAP1
00000aed: PUSH1 0x01
00000aef: PUSH2 0x1d4e
00000af2: JUMP
00000af3: JUMPDEST
00000af4: SWAP1
00000af5: POP
00000af6: SWAP1
00000af7: JUMP
00000af8: JUMPDEST
00000af9: PUSH1 0x60
00000afb: PUSH1 0x00
00000afd: PUSH2 0x0b0d
00000b00: DUP14
00000b01: PUSH1 0x04
00000b03: DUP1
00000b04: SLOAD
00000b05: PUSH2 0x04a7
00000b08: SWAP1
00000b09: PUSH2 0x1f10
00000b0c: JUMP
00000b0d: JUMPDEST
00000b0e: SWAP1
00000b0f: POP
00000b10: PUSH2 0x0b1e
00000b13: DUP2
00000b14: DUP10
00000b15: DUP10
00000b16: DUP10
00000b17: DUP10
00000b18: DUP10
00000b19: DUP10
00000b1a: PUSH2 0x08b9
00000b1d: JUMP
00000b1e: JUMPDEST
00000b1f: SWAP14
00000b20: SWAP13
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: POP
00000b2a: POP
00000b2b: POP
00000b2c: POP
00000b2d: POP
00000b2e: JUMP
00000b2f: JUMPDEST
00000b30: PUSH1 0x01
00000b32: PUSH1 0x01
00000b34: PUSH1 0xa0
00000b36: SHL
00000b37: SUB
00000b38: DUP3
00000b39: AND
00000b3a: EXTCODESIZE
00000b3b: ISZERO
00000b3c: PUSH2 0x0b87
00000b3f: JUMPI
00000b40: PUSH1 0x40
00000b42: MLOAD
00000b43: PUSH3 0x461bcd
00000b47: PUSH1 0xe5
00000b49: SHL
00000b4a: DUP2
00000b4b: MSTORE
00000b4c: PUSH1 0x20
00000b4e: PUSH1 0x04
00000b50: DUP3
00000b51: ADD
00000b52: MSTORE
00000b53: PUSH1 0x1b
00000b55: PUSH1 0x24
00000b57: DUP3
00000b58: ADD
00000b59: MSTORE
00000b5a: PUSH32 0x7369676e65722063616e6e6f74206265206120636f6e74726163740000000000
00000b7b: PUSH1 0x44
00000b7d: DUP3
00000b7e: ADD
00000b7f: MSTORE
00000b80: PUSH1 0x64
00000b82: ADD
00000b83: PUSH2 0x03d0
00000b86: JUMP
00000b87: JUMPDEST
00000b88: PUSH1 0x01
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0xa0
00000b8e: SHL
00000b8f: SUB
00000b90: DUP3
00000b91: AND
00000b92: PUSH2 0x0bca
00000b95: JUMPI
00000b96: PUSH1 0x40
00000b98: MLOAD
00000b99: PUSH3 0x461bcd
00000b9d: PUSH1 0xe5
00000b9f: SHL
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: PUSH1 0x20
00000ba4: PUSH1 0x04
00000ba6: DUP3
00000ba7: ADD
00000ba8: MSTORE
00000ba9: PUSH1 0x0a
00000bab: PUSH1 0x24
00000bad: DUP3
00000bae: ADD
00000baf: MSTORE
00000bb0: PUSH10 0x183c181039b4b3b732b9
00000bbb: PUSH1 0xb1
00000bbd: SHL
00000bbe: PUSH1 0x44
00000bc0: DUP3
00000bc1: ADD
00000bc2: MSTORE
00000bc3: PUSH1 0x64
00000bc5: ADD
00000bc6: PUSH2 0x03d0
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: PUSH1 0x01
00000bcd: PUSH1 0x01
00000bcf: PUSH1 0xa0
00000bd1: SHL
00000bd2: SUB
00000bd3: DUP3
00000bd4: AND
00000bd5: PUSH1 0x00
00000bd7: SWAP1
00000bd8: DUP2
00000bd9: MSTORE
00000bda: PUSH1 0x02
00000bdc: PUSH1 0x20
00000bde: MSTORE
00000bdf: PUSH1 0x40
00000be1: SWAP1
00000be2: KECCAK256
00000be3: DUP1
00000be4: SLOAD
00000be5: PUSH1 0xff
00000be7: DUP4
00000be8: DUP2
00000be9: AND
00000bea: PUSH1 0xff
00000bec: NOT
00000bed: DUP4
00000bee: AND
00000bef: OR
00000bf0: SWAP1
00000bf1: SWAP3
00000bf2: SSTORE
00000bf3: AND
00000bf4: DUP1
00000bf5: ISZERO
00000bf6: DUP1
00000bf7: ISZERO
00000bf8: SWAP1
00000bf9: PUSH2 0x0c03
00000bfc: JUMPI
00000bfd: POP
00000bfe: PUSH1 0xff
00000c00: DUP3
00000c01: AND
00000c02: ISZERO
00000c03: JUMPDEST
00000c04: ISZERO
00000c05: PUSH2 0x0c3c
00000c08: JUMPI
00000c09: PUSH1 0x03
00000c0b: DUP1
00000c0c: SLOAD
00000c0d: PUSH2 0xffff
00000c10: AND
00000c11: SWAP1
00000c12: PUSH1 0x00
00000c14: PUSH2 0x0c1c
00000c17: DUP4
00000c18: PUSH2 0x1ef2
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: SWAP2
00000c1e: SWAP1
00000c1f: PUSH2 0x0100
00000c22: EXP
00000c23: DUP2
00000c24: SLOAD
00000c25: DUP2
00000c26: PUSH2 0xffff
00000c29: MUL
00000c2a: NOT
00000c2b: AND
00000c2c: SWAP1
00000c2d: DUP4
00000c2e: PUSH2 0xffff
00000c31: AND
00000c32: MUL
00000c33: OR
00000c34: SWAP1
00000c35: SSTORE
00000c36: POP
00000c37: POP
00000c38: PUSH2 0x0c85
00000c3b: JUMP
00000c3c: JUMPDEST
00000c3d: PUSH1 0xff
00000c3f: DUP2
00000c40: AND
00000c41: ISZERO
00000c42: DUP1
00000c43: ISZERO
00000c44: PUSH2 0x0c50
00000c47: JUMPI
00000c48: POP
00000c49: PUSH1 0x00
00000c4b: DUP3
00000c4c: PUSH1 0xff
00000c4e: AND
00000c4f: GT
00000c50: JUMPDEST
00000c51: ISZERO
00000c52: PUSH2 0x0c85
00000c55: JUMPI
00000c56: PUSH1 0x03
00000c58: DUP1
00000c59: SLOAD
00000c5a: PUSH2 0xffff
00000c5d: AND
00000c5e: SWAP1
00000c5f: PUSH1 0x00
00000c61: PUSH2 0x0c69
00000c64: DUP4
00000c65: PUSH2 0x1f4b
00000c68: JUMP
00000c69: JUMPDEST
00000c6a: SWAP2
00000c6b: SWAP1
00000c6c: PUSH2 0x0100
00000c6f: EXP
00000c70: DUP2
00000c71: SLOAD
00000c72: DUP2
00000c73: PUSH2 0xffff
00000c76: MUL
00000c77: NOT
00000c78: AND
00000c79: SWAP1
00000c7a: DUP4
00000c7b: PUSH2 0xffff
00000c7e: AND
00000c7f: MUL
00000c80: OR
00000c81: SWAP1
00000c82: SSTORE
00000c83: POP
00000c84: POP
00000c85: JUMPDEST
00000c86: PUSH1 0x40
00000c88: MLOAD
00000c89: PUSH1 0xff
00000c8b: DUP4
00000c8c: AND
00000c8d: DUP2
00000c8e: MSTORE
00000c8f: PUSH1 0x01
00000c91: PUSH1 0x01
00000c93: PUSH1 0xa0
00000c95: SHL
00000c96: SUB
00000c97: DUP5
00000c98: AND
00000c99: SWAP1
00000c9a: PUSH32 0x7f00bf87056fc9622b70d830cce34aa24d6c12881ebbc71d3bf22d0c5ae295b7
00000cbb: SWAP1
00000cbc: PUSH1 0x20
00000cbe: ADD
00000cbf: PUSH1 0x40
00000cc1: MLOAD
00000cc2: DUP1
00000cc3: SWAP2
00000cc4: SUB
00000cc5: SWAP1
00000cc6: LOG2
00000cc7: POP
00000cc8: POP
00000cc9: POP
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x01
00000cce: PUSH1 0x01
00000cd0: PUSH1 0xa0
00000cd2: SHL
00000cd3: SUB
00000cd4: DUP2
00000cd5: AND
00000cd6: PUSH1 0x00
00000cd8: SWAP1
00000cd9: DUP2
00000cda: MSTORE
00000cdb: PUSH1 0x02
00000cdd: PUSH1 0x20
00000cdf: MSTORE
00000ce0: PUSH1 0x40
00000ce2: SWAP1
00000ce3: KECCAK256
00000ce4: SLOAD
00000ce5: PUSH1 0xff
00000ce7: AND
00000ce8: ISZERO
00000ce9: PUSH2 0x0d2a
00000cec: JUMPI
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: PUSH3 0x461bcd
00000cf4: PUSH1 0xe5
00000cf6: SHL
00000cf7: DUP2
00000cf8: MSTORE
00000cf9: PUSH1 0x20
00000cfb: PUSH1 0x04
00000cfd: DUP3
00000cfe: ADD
00000cff: MSTORE
00000d00: PUSH1 0x13
00000d02: PUSH1 0x24
00000d04: DUP3
00000d05: ADD
00000d06: MSTORE
00000d07: PUSH19 0x64657374696e6174696f6e206e6f74206e6577
00000d1b: PUSH1 0x68
00000d1d: SHL
00000d1e: PUSH1 0x44
00000d20: DUP3
00000d21: ADD
00000d22: MSTORE
00000d23: PUSH1 0x64
00000d25: ADD
00000d26: PUSH2 0x03d0
00000d29: JUMP
00000d2a: JUMPDEST
00000d2b: PUSH1 0x01
00000d2d: PUSH1 0x01
00000d2f: PUSH1 0xa0
00000d31: SHL
00000d32: SUB
00000d33: DUP3
00000d34: AND
00000d35: PUSH1 0x00
00000d37: SWAP1
00000d38: DUP2
00000d39: MSTORE
00000d3a: PUSH1 0x02
00000d3c: PUSH1 0x20
00000d3e: MSTORE
00000d3f: PUSH1 0x40
00000d41: SWAP1
00000d42: KECCAK256
00000d43: SLOAD
00000d44: PUSH2 0x0d51
00000d47: SWAP1
00000d48: DUP3
00000d49: SWAP1
00000d4a: PUSH1 0xff
00000d4c: AND
00000d4d: PUSH2 0x0b2f
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH2 0x0427
00000d55: DUP3
00000d56: PUSH1 0x00
00000d58: PUSH2 0x0b2f
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH1 0x40
00000d5f: DUP1
00000d60: MLOAD
00000d61: PUSH1 0x09
00000d63: DUP1
00000d64: DUP3
00000d65: MSTORE
00000d66: PUSH2 0x0140
00000d69: DUP3
00000d6a: ADD
00000d6b: SWAP1
00000d6c: SWAP3
00000d6d: MSTORE
00000d6e: PUSH1 0x00
00000d70: SWAP2
00000d71: DUP3
00000d72: SWAP2
00000d73: SWAP1
00000d74: DUP2
00000d75: PUSH1 0x20
00000d77: ADD
00000d78: JUMPDEST
00000d79: PUSH1 0x60
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x20
00000d7f: ADD
00000d80: SWAP1
00000d81: PUSH1 0x01
00000d83: SWAP1
00000d84: SUB
00000d85: SWAP1
00000d86: DUP2
00000d87: PUSH2 0x0d78
00000d8a: JUMPI
00000d8b: SWAP1
00000d8c: POP
00000d8d: POP
00000d8e: SWAP1
00000d8f: POP
00000d90: PUSH2 0x0da1
00000d93: DUP9
00000d94: PUSH1 0x01
00000d96: PUSH1 0x01
00000d98: PUSH1 0x80
00000d9a: SHL
00000d9b: SUB
00000d9c: AND
00000d9d: PUSH2 0x05fd
00000da0: JUMP
00000da1: JUMPDEST
00000da2: DUP2
00000da3: PUSH1 0x00
00000da5: DUP2
00000da6: MLOAD
00000da7: DUP2
00000da8: LT
00000da9: PUSH2 0x0db4
00000dac: JUMPI
00000dad: PUSH2 0x0db4
00000db0: PUSH2 0x1fc8
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH1 0x20
00000db7: MUL
00000db8: PUSH1 0x20
00000dba: ADD
00000dbb: ADD
00000dbc: DUP2
00000dbd: SWAP1
00000dbe: MSTORE
00000dbf: POP
00000dc0: DUP7
00000dc1: DUP2
00000dc2: PUSH1 0x01
00000dc4: DUP2
00000dc5: MLOAD
00000dc6: DUP2
00000dc7: LT
00000dc8: PUSH2 0x0dd3
00000dcb: JUMPI
00000dcc: PUSH2 0x0dd3
00000dcf: PUSH2 0x1fc8
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x20
00000dd6: MUL
00000dd7: PUSH1 0x20
00000dd9: ADD
00000dda: ADD
00000ddb: DUP2
00000ddc: SWAP1
00000ddd: MSTORE
00000dde: POP
00000ddf: PUSH1 0x40
00000de1: MLOAD
00000de2: DUP1
00000de3: PUSH1 0x40
00000de5: ADD
00000de6: PUSH1 0x40
00000de8: MSTORE
00000de9: DUP1
00000dea: PUSH1 0x03
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x20
00000df0: ADD
00000df1: PUSH3 0x104a41
00000df5: PUSH1 0xeb
00000df7: SHL
00000df8: DUP2
00000df9: MSTORE
00000dfa: POP
00000dfb: DUP2
00000dfc: PUSH1 0x02
00000dfe: DUP2
00000dff: MLOAD
00000e00: DUP2
00000e01: LT
00000e02: PUSH2 0x0e0d
00000e05: JUMPI
00000e06: PUSH2 0x0e0d
00000e09: PUSH2 0x1fc8
00000e0c: JUMP
00000e0d: JUMPDEST
00000e0e: PUSH1 0x20
00000e10: SWAP1
00000e11: DUP2
00000e12: MUL
00000e13: SWAP2
00000e14: SWAP1
00000e15: SWAP2
00000e16: ADD
00000e17: DUP2
00000e18: ADD
00000e19: SWAP2
00000e1a: SWAP1
00000e1b: SWAP2
00000e1c: MSTORE
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: PUSH1 0x25
00000e22: PUSH1 0xfa
00000e24: SHL
00000e25: SWAP2
00000e26: DUP2
00000e27: ADD
00000e28: SWAP2
00000e29: SWAP1
00000e2a: SWAP2
00000e2b: MSTORE
00000e2c: PUSH12 0xffffffffffffffffffffffff
00000e39: NOT
00000e3a: PUSH1 0x60
00000e3c: DUP9
00000e3d: SWAP1
00000e3e: SHL
00000e3f: AND
00000e40: PUSH1 0x21
00000e42: DUP3
00000e43: ADD
00000e44: MSTORE
00000e45: PUSH1 0x35
00000e47: ADD
00000e48: PUSH1 0x40
00000e4a: MLOAD
00000e4b: PUSH1 0x20
00000e4d: DUP2
00000e4e: DUP4
00000e4f: SUB
00000e50: SUB
00000e51: DUP2
00000e52: MSTORE
00000e53: SWAP1
00000e54: PUSH1 0x40
00000e56: MSTORE
00000e57: DUP2
00000e58: PUSH1 0x03
00000e5a: DUP2
00000e5b: MLOAD
00000e5c: DUP2
00000e5d: LT
00000e5e: PUSH2 0x0e69
00000e61: JUMPI
00000e62: PUSH2 0x0e69
00000e65: PUSH2 0x1fc8
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: PUSH1 0x20
00000e6c: MUL
00000e6d: PUSH1 0x20
00000e6f: ADD
00000e70: ADD
00000e71: DUP2
00000e72: SWAP1
00000e73: MSTORE
00000e74: POP
00000e75: PUSH2 0x0e7d
00000e78: DUP6
00000e79: PUSH2 0x05fd
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: DUP2
00000e7f: PUSH1 0x04
00000e81: DUP2
00000e82: MLOAD
00000e83: DUP2
00000e84: LT
00000e85: PUSH2 0x0e90
00000e88: JUMPI
00000e89: PUSH2 0x0e90
00000e8c: PUSH2 0x1fc8
00000e8f: JUMP
00000e90: JUMPDEST
00000e91: PUSH1 0x20
00000e93: MUL
00000e94: PUSH1 0x20
00000e96: ADD
00000e97: ADD
00000e98: DUP2
00000e99: SWAP1
00000e9a: MSTORE
00000e9b: POP
00000e9c: DUP4
00000e9d: DUP4
00000e9e: DUP1
00000e9f: DUP1
00000ea0: PUSH1 0x1f
00000ea2: ADD
00000ea3: PUSH1 0x20
00000ea5: DUP1
00000ea6: SWAP2
00000ea7: DIV
00000ea8: MUL
00000ea9: PUSH1 0x20
00000eab: ADD
00000eac: PUSH1 0x40
00000eae: MLOAD
00000eaf: SWAP1
00000eb0: DUP2
00000eb1: ADD
00000eb2: PUSH1 0x40
00000eb4: MSTORE
00000eb5: DUP1
00000eb6: SWAP4
00000eb7: SWAP3
00000eb8: SWAP2
00000eb9: SWAP1
00000eba: DUP2
00000ebb: DUP2
00000ebc: MSTORE
00000ebd: PUSH1 0x20
00000ebf: ADD
00000ec0: DUP4
00000ec1: DUP4
00000ec2: DUP1
00000ec3: DUP3
00000ec4: DUP5
00000ec5: CALLDATACOPY
00000ec6: PUSH1 0x00
00000ec8: SWAP3
00000ec9: ADD
00000eca: SWAP2
00000ecb: SWAP1
00000ecc: SWAP2
00000ecd: MSTORE
00000ece: POP
00000ecf: POP
00000ed0: DUP4
00000ed1: MLOAD
00000ed2: DUP5
00000ed3: SWAP3
00000ed4: POP
00000ed5: PUSH1 0x05
00000ed7: SWAP2
00000ed8: POP
00000ed9: DUP2
00000eda: LT
00000edb: PUSH2 0x0ee6
00000ede: JUMPI
00000edf: PUSH2 0x0ee6
00000ee2: PUSH2 0x1fc8
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x20
00000ee9: MUL
00000eea: PUSH1 0x20
00000eec: ADD
00000eed: ADD
00000eee: DUP2
00000eef: SWAP1
00000ef0: MSTORE
00000ef1: POP
00000ef2: PUSH2 0x0efa
00000ef5: CHAINID
00000ef6: PUSH2 0x05fd
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: DUP2
00000efc: PUSH1 0x06
00000efe: DUP2
00000eff: MLOAD
00000f00: DUP2
00000f01: LT
00000f02: PUSH2 0x0f0d
00000f05: JUMPI
00000f06: PUSH2 0x0f0d
00000f09: PUSH2 0x1fc8
00000f0c: JUMP
00000f0d: JUMPDEST
00000f0e: PUSH1 0x20
00000f10: SWAP1
00000f11: DUP2
00000f12: MUL
00000f13: SWAP2
00000f14: SWAP1
00000f15: SWAP2
00000f16: ADD
00000f17: DUP2
00000f18: ADD
00000f19: SWAP2
00000f1a: SWAP1
00000f1b: SWAP2
00000f1c: MSTORE
00000f1d: PUSH1 0x40
00000f1f: DUP1
00000f20: MLOAD
00000f21: PUSH1 0x00
00000f23: DUP2
00000f24: MSTORE
00000f25: SWAP2
00000f26: DUP3
00000f27: ADD
00000f28: SWAP1
00000f29: MSTORE
00000f2a: DUP2
00000f2b: MLOAD
00000f2c: DUP3
00000f2d: SWAP1
00000f2e: PUSH1 0x07
00000f30: SWAP1
00000f31: DUP2
00000f32: LT
00000f33: PUSH2 0x0f3e
00000f36: JUMPI
00000f37: PUSH2 0x0f3e
00000f3a: PUSH2 0x1fc8
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: PUSH1 0x20
00000f41: MUL
00000f42: PUSH1 0x20
00000f44: ADD
00000f45: ADD
00000f46: DUP2
00000f47: SWAP1
00000f48: MSTORE
00000f49: POP
00000f4a: PUSH1 0x00
00000f4c: JUMPDEST
00000f4d: PUSH1 0x08
00000f4f: DUP2
00000f50: LT
00000f51: ISZERO
00000f52: PUSH2 0x0fbe
00000f55: JUMPI
00000f56: DUP1
00000f57: PUSH1 0x02
00000f59: EQ
00000f5a: ISZERO
00000f5b: DUP1
00000f5c: ISZERO
00000f5d: PUSH2 0x0f67
00000f60: JUMPI
00000f61: POP
00000f62: DUP1
00000f63: PUSH1 0x03
00000f65: EQ
00000f66: ISZERO
00000f67: JUMPDEST
00000f68: ISZERO
00000f69: PUSH2 0x0fac
00000f6c: JUMPI
00000f6d: PUSH2 0x0f8e
00000f70: DUP3
00000f71: DUP3
00000f72: DUP2
00000f73: MLOAD
00000f74: DUP2
00000f75: LT
00000f76: PUSH2 0x0f81
00000f79: JUMPI
00000f7a: PUSH2 0x0f81
00000f7d: PUSH2 0x1fc8
00000f80: JUMP
00000f81: JUMPDEST
00000f82: PUSH1 0x20
00000f84: MUL
00000f85: PUSH1 0x20
00000f87: ADD
00000f88: ADD
00000f89: MLOAD
00000f8a: PUSH2 0x1459
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: DUP3
00000f90: DUP3
00000f91: DUP2
00000f92: MLOAD
00000f93: DUP2
00000f94: LT
00000f95: PUSH2 0x0fa0
00000f98: JUMPI
00000f99: PUSH2 0x0fa0
00000f9c: PUSH2 0x1fc8
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x20
00000fa3: MUL
00000fa4: PUSH1 0x20
00000fa6: ADD
00000fa7: ADD
00000fa8: DUP2
00000fa9: SWAP1
00000faa: MSTORE
00000fab: POP
00000fac: JUMPDEST
00000fad: DUP1
00000fae: PUSH2 0x0fb6
00000fb1: DUP2
00000fb2: PUSH2 0x1f6d
00000fb5: JUMP
00000fb6: JUMPDEST
00000fb7: SWAP2
00000fb8: POP
00000fb9: POP
00000fba: PUSH2 0x0f4c
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: POP
00000fc0: DUP1
00000fc1: PUSH1 0x07
00000fc3: DUP2
00000fc4: MLOAD
00000fc5: DUP2
00000fc6: LT
00000fc7: PUSH2 0x0fd2
00000fca: JUMPI
00000fcb: PUSH2 0x0fd2
00000fce: PUSH2 0x1fc8
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH1 0x20
00000fd5: MUL
00000fd6: PUSH1 0x20
00000fd8: ADD
00000fd9: ADD
00000fda: MLOAD
00000fdb: DUP2
00000fdc: PUSH1 0x08
00000fde: DUP2
00000fdf: MLOAD
00000fe0: DUP2
00000fe1: LT
00000fe2: PUSH2 0x0fed
00000fe5: JUMPI
00000fe6: PUSH2 0x0fed
00000fe9: PUSH2 0x1fc8
00000fec: JUMP
00000fed: JUMPDEST
00000fee: PUSH1 0x20
00000ff0: MUL
00000ff1: PUSH1 0x20
00000ff3: ADD
00000ff4: ADD
00000ff5: DUP2
00000ff6: SWAP1
00000ff7: MSTORE
00000ff8: POP
00000ff9: PUSH2 0x1001
00000ffc: DUP2
00000ffd: PUSH2 0x14c8
00001000: JUMP
00001001: JUMPDEST
00001002: DUP1
00001003: MLOAD
00001004: SWAP1
00001005: PUSH1 0x20
00001007: ADD
00001008: KECCAK256
00001009: SWAP2
0000100a: POP
0000100b: POP
0000100c: SWAP7
0000100d: SWAP6
0000100e: POP
0000100f: POP
00001010: POP
00001011: POP
00001012: POP
00001013: POP
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x60
00001018: DUP3
00001019: MLOAD
0000101a: PUSH1 0x00
0000101c: EQ
0000101d: DUP1
0000101e: PUSH2 0x1030
00001021: JUMPI
00001022: POP
00001023: PUSH1 0x01
00001025: PUSH1 0x01
00001027: PUSH1 0xa0
00001029: SHL
0000102a: SUB
0000102b: DUP5
0000102c: AND
0000102d: EXTCODESIZE
0000102e: ISZERO
0000102f: ISZERO
00001030: JUMPDEST
00001031: PUSH2 0x1073
00001034: JUMPI
00001035: PUSH1 0x40
00001037: MLOAD
00001038: PUSH3 0x461bcd
0000103c: PUSH1 0xe5
0000103e: SHL
0000103f: DUP2
00001040: MSTORE
00001041: PUSH1 0x20
00001043: PUSH1 0x04
00001045: DUP3
00001046: ADD
00001047: MSTORE
00001048: PUSH1 0x14
0000104a: PUSH1 0x24
0000104c: DUP3
0000104d: ADD
0000104e: MSTORE
0000104f: PUSH20 0x1d1c985b9cd9995c881bdc8818dbdb9d1c9858dd
00001064: PUSH1 0x62
00001066: SHL
00001067: PUSH1 0x44
00001069: DUP3
0000106a: ADD
0000106b: MSTORE
0000106c: PUSH1 0x64
0000106e: ADD
0000106f: PUSH2 0x03d0
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH1 0x00
00001076: DUP1
00001077: DUP6
00001078: PUSH1 0x01
0000107a: PUSH1 0x01
0000107c: PUSH1 0xa0
0000107e: SHL
0000107f: SUB
00001080: AND
00001081: DUP5
00001082: DUP7
00001083: PUSH1 0x40
00001085: MLOAD
00001086: PUSH2 0x108f
00001089: SWAP2
0000108a: SWAP1
0000108b: PUSH2 0x1c93
0000108e: JUMP
0000108f: JUMPDEST
00001090: PUSH1 0x00
00001092: PUSH1 0x40
00001094: MLOAD
00001095: DUP1
00001096: DUP4
00001097: SUB
00001098: DUP2
00001099: DUP6
0000109a: DUP8
0000109b: GAS
0000109c: CALL
0000109d: SWAP3
0000109e: POP
0000109f: POP
000010a0: POP
000010a1: RETURNDATASIZE
000010a2: DUP1
000010a3: PUSH1 0x00
000010a5: DUP2
000010a6: EQ
000010a7: PUSH2 0x10cc
000010aa: JUMPI
000010ab: PUSH1 0x40
000010ad: MLOAD
000010ae: SWAP2
000010af: POP
000010b0: PUSH1 0x1f
000010b2: NOT
000010b3: PUSH1 0x3f
000010b5: RETURNDATASIZE
000010b6: ADD
000010b7: AND
000010b8: DUP3
000010b9: ADD
000010ba: PUSH1 0x40
000010bc: MSTORE
000010bd: RETURNDATASIZE
000010be: DUP3
000010bf: MSTORE
000010c0: RETURNDATASIZE
000010c1: PUSH1 0x00
000010c3: PUSH1 0x20
000010c5: DUP5
000010c6: ADD
000010c7: RETURNDATACOPY
000010c8: PUSH2 0x10d1
000010cb: JUMP
000010cc: JUMPDEST
000010cd: PUSH1 0x60
000010cf: SWAP2
000010d0: POP
000010d1: JUMPDEST
000010d2: POP
000010d3: SWAP2
000010d4: POP
000010d5: SWAP2
000010d6: POP
000010d7: DUP2
000010d8: ISZERO
000010d9: PUSH2 0x10e5
000010dc: JUMPI
000010dd: SWAP2
000010de: POP
000010df: PUSH2 0x0795
000010e2: SWAP1
000010e3: POP
000010e4: JUMP
000010e5: JUMPDEST
000010e6: DUP1
000010e7: MLOAD
000010e8: ISZERO
000010e9: PUSH2 0x10f4
000010ec: JUMPI
000010ed: DUP1
000010ee: MLOAD
000010ef: PUSH1 0x20
000010f1: DUP3
000010f2: ADD
000010f3: REVERT
000010f4: JUMPDEST
000010f5: PUSH1 0x40
000010f7: MLOAD
000010f8: PUSH3 0x461bcd
000010fc: PUSH1 0xe5
000010fe: SHL
000010ff: DUP2
00001100: MSTORE
00001101: PUSH1 0x20
00001103: PUSH1 0x04
00001105: DUP3
00001106: ADD
00001107: MSTORE
00001108: PUSH1 0x06
0000110a: PUSH1 0x24
0000110c: DUP3
0000110d: ADD
0000110e: MSTORE
0000110f: PUSH6 0x19985a5b1959
00001116: PUSH1 0xd2
00001118: SHL
00001119: PUSH1 0x44
0000111b: DUP3
0000111c: ADD
0000111d: MSTORE
0000111e: PUSH1 0x64
00001120: ADD
00001121: PUSH2 0x03d0
00001124: JUMP
00001125: JUMPDEST
00001126: PUSH1 0x00
00001128: SLOAD
00001129: DUP1
0000112a: PUSH1 0x80
0000112c: DUP2
0000112d: SWAP1
0000112e: SHR
0000112f: PUSH2 0x1138
00001132: DUP3
00001133: DUP6
00001134: PUSH2 0x12eb
00001137: JUMP
00001138: JUMPDEST
00001139: ISZERO
0000113a: PUSH2 0x1195
0000113d: JUMPI
0000113e: PUSH2 0x1190
00001141: DUP5
00001142: PUSH1 0x01
00001144: PUSH2 0x114d
00001147: DUP6
00001148: DUP4
00001149: PUSH2 0x1e87
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH2 0x1157
00001151: SWAP2
00001152: SWAP1
00001153: PUSH2 0x1e87
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH1 0x01
0000115a: PUSH1 0x01
0000115c: PUSH1 0x80
0000115e: SHL
0000115f: SUB
00001160: NOT
00001161: PUSH1 0x01
00001163: DUP6
00001164: DUP2
00001165: SHL
00001166: PUSH16 0xfffffffffffffffffffffffffffffffe
00001177: AND
00001178: OR
00001179: PUSH1 0x01
0000117b: PUSH1 0x01
0000117d: PUSH1 0x80
0000117f: SHL
00001180: SUB
00001181: SWAP3
00001182: DUP4
00001183: AND
00001184: SHL
00001185: PUSH1 0x80
00001187: SHL
00001188: AND
00001189: SWAP2
0000118a: AND
0000118b: OR
0000118c: PUSH1 0x00
0000118e: SSTORE
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH2 0x1229
00001194: JUMP
00001195: JUMPDEST
00001196: PUSH2 0x11a0
00001199: DUP3
0000119a: DUP3
0000119b: DUP7
0000119c: PUSH2 0x1330
0000119f: JUMP
000011a0: JUMPDEST
000011a1: ISZERO
000011a2: PUSH2 0x11f8
000011a5: JUMPI
000011a6: PUSH2 0x1190
000011a9: DUP3
000011aa: PUSH1 0x01
000011ac: PUSH2 0x11b5
000011af: DUP8
000011b0: DUP4
000011b1: PUSH2 0x1e87
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH2 0x11bf
000011b9: SWAP2
000011ba: SWAP1
000011bb: PUSH2 0x1e87
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x01
000011c2: PUSH1 0x01
000011c4: PUSH1 0x80
000011c6: SHL
000011c7: SUB
000011c8: AND
000011c9: PUSH1 0x01
000011cb: SWAP1
000011cc: SHL
000011cd: DUP4
000011ce: PUSH1 0x01
000011d0: PUSH1 0x01
000011d2: PUSH1 0x80
000011d4: SHL
000011d5: SUB
000011d6: AND
000011d7: OR
000011d8: PUSH1 0x01
000011da: PUSH1 0x01
000011dc: PUSH1 0x80
000011de: SHL
000011df: SUB
000011e0: NOT
000011e1: PUSH1 0x80
000011e3: SWAP2
000011e4: SWAP1
000011e5: SWAP2
000011e6: SHL
000011e7: AND
000011e8: PUSH1 0x01
000011ea: PUSH1 0x01
000011ec: PUSH1 0x80
000011ee: SHL
000011ef: SUB
000011f0: SWAP1
000011f1: SWAP2
000011f2: AND
000011f3: OR
000011f4: PUSH1 0x00
000011f6: SSTORE
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH1 0x40
000011fb: MLOAD
000011fc: PUSH3 0x461bcd
00001200: PUSH1 0xe5
00001202: SHL
00001203: DUP2
00001204: MSTORE
00001205: PUSH1 0x04
00001207: ADD
00001208: PUSH2 0x03d0
0000120b: SWAP1
0000120c: PUSH1 0x20
0000120e: DUP1
0000120f: DUP3
00001210: MSTORE
00001211: PUSH1 0x04
00001213: SWAP1
00001214: DUP3
00001215: ADD
00001216: MSTORE
00001217: PUSH4 0x1d5cd959
0000121c: PUSH1 0xe2
0000121e: SHL
0000121f: PUSH1 0x40
00001221: DUP3
00001222: ADD
00001223: MSTORE
00001224: PUSH1 0x60
00001226: ADD
00001227: SWAP1
00001228: JUMP
00001229: JUMPDEST
0000122a: POP
0000122b: POP
0000122c: POP
0000122d: POP
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH1 0x00
00001232: PUSH1 0x04
00001234: DUP3
00001235: LT
00001236: ISZERO
00001237: PUSH2 0x1242
0000123a: JUMPI
0000123b: POP
0000123c: PUSH1 0x00
0000123e: PUSH2 0x12e5
00001241: JUMP
00001242: JUMPDEST
00001243: PUSH1 0x18
00001245: DUP4
00001246: DUP4
00001247: PUSH1 0x03
00001249: DUP2
0000124a: DUP2
0000124b: LT
0000124c: PUSH2 0x1257
0000124f: JUMPI
00001250: PUSH2 0x1257
00001253: PUSH2 0x1fc8
00001256: JUMP
00001257: JUMPDEST
00001258: SWAP1
00001259: SWAP2
0000125a: ADD
0000125b: CALLDATALOAD
0000125c: PUSH1 0x01
0000125e: PUSH1 0x01
00001260: PUSH1 0xf8
00001262: SHL
00001263: SUB
00001264: NOT
00001265: AND
00001266: SWAP1
00001267: SWAP2
00001268: SHR
00001269: SWAP1
0000126a: POP
0000126b: PUSH1 0x10
0000126d: DUP5
0000126e: DUP5
0000126f: PUSH1 0x02
00001271: DUP2
00001272: DUP2
00001273: LT
00001274: PUSH2 0x127f
00001277: JUMPI
00001278: PUSH2 0x127f
0000127b: PUSH2 0x1fc8
0000127e: JUMP
0000127f: JUMPDEST
00001280: SWAP1
00001281: SWAP2
00001282: ADD
00001283: CALLDATALOAD
00001284: PUSH1 0x01
00001286: PUSH1 0x01
00001288: PUSH1 0xf8
0000128a: SHL
0000128b: SUB
0000128c: NOT
0000128d: AND
0000128e: SWAP1
0000128f: SWAP2
00001290: SHR
00001291: SWAP1
00001292: POP
00001293: PUSH1 0x08
00001295: DUP6
00001296: DUP6
00001297: PUSH1 0x01
00001299: DUP2
0000129a: DUP2
0000129b: LT
0000129c: PUSH2 0x12a7
0000129f: JUMPI
000012a0: PUSH2 0x12a7
000012a3: PUSH2 0x1fc8
000012a6: JUMP
000012a7: JUMPDEST
000012a8: SWAP1
000012a9: SWAP2
000012aa: ADD
000012ab: CALLDATALOAD
000012ac: PUSH1 0x01
000012ae: PUSH1 0x01
000012b0: PUSH1 0xf8
000012b2: SHL
000012b3: SUB
000012b4: NOT
000012b5: AND
000012b6: SWAP1
000012b7: SWAP2
000012b8: SHR
000012b9: SWAP1
000012ba: POP
000012bb: DUP6
000012bc: DUP6
000012bd: PUSH1 0x00
000012bf: DUP2
000012c0: PUSH2 0x12cb
000012c3: JUMPI
000012c4: PUSH2 0x12cb
000012c7: PUSH2 0x1fc8
000012ca: JUMP
000012cb: JUMPDEST
000012cc: SWAP1
000012cd: POP
000012ce: ADD
000012cf: CALLDATALOAD
000012d0: PUSH1 0xf8
000012d2: SHR
000012d3: PUSH1 0xf8
000012d5: SHL
000012d6: PUSH1 0x01
000012d8: PUSH1 0x01
000012da: PUSH1 0xf8
000012dc: SHL
000012dd: SUB
000012de: NOT
000012df: AND
000012e0: OR
000012e1: OR
000012e2: OR
000012e3: SWAP1
000012e4: POP
000012e5: JUMPDEST
000012e6: SWAP3
000012e7: SWAP2
000012e8: POP
000012e9: POP
000012ea: JUMP
000012eb: JUMPDEST
000012ec: PUSH1 0x00
000012ee: DUP3
000012ef: PUSH1 0x01
000012f1: PUSH1 0x01
000012f3: PUSH1 0x80
000012f5: SHL
000012f6: SUB
000012f7: AND
000012f8: DUP3
000012f9: PUSH1 0x01
000012fb: PUSH1 0x01
000012fd: PUSH1 0x80
000012ff: SHL
00001300: SUB
00001301: AND
00001302: GT
00001303: DUP1
00001304: ISZERO
00001305: PUSH2 0x0795
00001308: JUMPI
00001309: POP
0000130a: PUSH2 0x131d
0000130d: PUSH1 0x64
0000130f: PUSH1 0x01
00001311: PUSH1 0x01
00001313: PUSH1 0x80
00001315: SHL
00001316: SUB
00001317: DUP6
00001318: AND
00001319: PUSH2 0x1d70
0000131c: JUMP
0000131d: JUMPDEST
0000131e: DUP3
0000131f: PUSH1 0x01
00001321: PUSH1 0x01
00001323: PUSH1 0x80
00001325: SHL
00001326: SUB
00001327: AND
00001328: GT
00001329: ISZERO
0000132a: SWAP4
0000132b: SWAP3
0000132c: POP
0000132d: POP
0000132e: POP
0000132f: JUMP
00001330: JUMPDEST
00001331: PUSH1 0x00
00001333: DUP1
00001334: PUSH2 0x133d
00001337: DUP4
00001338: DUP7
00001339: PUSH2 0x1e87
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x01
00001340: PUSH1 0x01
00001342: PUSH1 0x80
00001344: SHL
00001345: SUB
00001346: AND
00001347: SWAP1
00001348: POP
00001349: PUSH1 0x00
0000134b: DUP2
0000134c: GT
0000134d: DUP1
0000134e: ISZERO
0000134f: PUSH2 0x1359
00001352: JUMPI
00001353: POP
00001354: PUSH1 0x80
00001356: DUP2
00001357: GT
00001358: ISZERO
00001359: JUMPDEST
0000135a: DUP1
0000135b: ISZERO
0000135c: PUSH2 0x137c
0000135f: JUMPI
00001360: POP
00001361: PUSH1 0x01
00001363: PUSH1 0x01
00001365: PUSH1 0x80
00001367: SHL
00001368: SUB
00001369: DUP5
0000136a: AND
0000136b: PUSH2 0x1375
0000136e: PUSH1 0x01
00001370: DUP4
00001371: PUSH2 0x1eaf
00001374: JUMP
00001375: JUMPDEST
00001376: PUSH1 0x01
00001378: SWAP1
00001379: SHL
0000137a: AND
0000137b: ISZERO
0000137c: JUMPDEST
0000137d: SWAP6
0000137e: SWAP5
0000137f: POP
00001380: POP
00001381: POP
00001382: POP
00001383: POP
00001384: JUMP
00001385: JUMPDEST
00001386: PUSH1 0x00
00001388: JUMPDEST
00001389: DUP2
0000138a: MLOAD
0000138b: DUP2
0000138c: LT
0000138d: ISZERO
0000138e: PUSH2 0x0427
00001391: JUMPI
00001392: PUSH1 0x00
00001394: PUSH2 0x139e
00001397: DUP3
00001398: PUSH1 0x01
0000139a: PUSH2 0x1d70
0000139d: JUMP
0000139e: JUMPDEST
0000139f: SWAP1
000013a0: POP
000013a1: JUMPDEST
000013a2: DUP3
000013a3: MLOAD
000013a4: DUP2
000013a5: LT
000013a6: ISZERO
000013a7: PUSH2 0x1446
000013aa: JUMPI
000013ab: DUP3
000013ac: DUP2
000013ad: DUP2
000013ae: MLOAD
000013af: DUP2
000013b0: LT
000013b1: PUSH2 0x13bc
000013b4: JUMPI
000013b5: PUSH2 0x13bc
000013b8: PUSH2 0x1fc8
000013bb: JUMP
000013bc: JUMPDEST
000013bd: PUSH1 0x20
000013bf: MUL
000013c0: PUSH1 0x20
000013c2: ADD
000013c3: ADD
000013c4: MLOAD
000013c5: PUSH1 0x01
000013c7: PUSH1 0x01
000013c9: PUSH1 0xa0
000013cb: SHL
000013cc: SUB
000013cd: AND
000013ce: DUP4
000013cf: DUP4
000013d0: DUP2
000013d1: MLOAD
000013d2: DUP2
000013d3: LT
000013d4: PUSH2 0x13df
000013d7: JUMPI
000013d8: PUSH2 0x13df
000013db: PUSH2 0x1fc8
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x20
000013e2: MUL
000013e3: PUSH1 0x20
000013e5: ADD
000013e6: ADD
000013e7: MLOAD
000013e8: PUSH1 0x01
000013ea: PUSH1 0x01
000013ec: PUSH1 0xa0
000013ee: SHL
000013ef: SUB
000013f0: AND
000013f1: EQ
000013f2: ISZERO
000013f3: PUSH2 0x1434
000013f6: JUMPI
000013f7: PUSH1 0x40
000013f9: MLOAD
000013fa: PUSH3 0x461bcd
000013fe: PUSH1 0xe5
00001400: SHL
00001401: DUP2
00001402: MSTORE
00001403: PUSH1 0x20
00001405: PUSH1 0x04
00001407: DUP3
00001408: ADD
00001409: MSTORE
0000140a: PUSH1 0x13
0000140c: PUSH1 0x24
0000140e: DUP3
0000140f: ADD
00001410: MSTORE
00001411: PUSH19 0x6475706c6963617465207369676e6174757265
00001425: PUSH1 0x68
00001427: SHL
00001428: PUSH1 0x44
0000142a: DUP3
0000142b: ADD
0000142c: MSTORE
0000142d: PUSH1 0x64
0000142f: ADD
00001430: PUSH2 0x03d0
00001433: JUMP
00001434: JUMPDEST
00001435: DUP1
00001436: PUSH2 0x143e
00001439: DUP2
0000143a: PUSH2 0x1f6d
0000143d: JUMP
0000143e: JUMPDEST
0000143f: SWAP2
00001440: POP
00001441: POP
00001442: PUSH2 0x13a1
00001445: JUMP
00001446: JUMPDEST
00001447: POP
00001448: DUP1
00001449: PUSH2 0x1451
0000144c: DUP2
0000144d: PUSH2 0x1f6d
00001450: JUMP
00001451: JUMPDEST
00001452: SWAP2
00001453: POP
00001454: POP
00001455: PUSH2 0x1388
00001458: JUMP
00001459: JUMPDEST
0000145a: PUSH1 0x60
0000145c: DUP1
0000145d: DUP3
0000145e: MLOAD
0000145f: PUSH1 0x01
00001461: EQ
00001462: DUP1
00001463: ISZERO
00001464: PUSH2 0x1487
00001467: JUMPI
00001468: POP
00001469: PUSH1 0x80
0000146b: DUP4
0000146c: PUSH1 0x00
0000146e: DUP2
0000146f: MLOAD
00001470: DUP2
00001471: LT
00001472: PUSH2 0x147d
00001475: JUMPI
00001476: PUSH2 0x147d
00001479: PUSH2 0x1fc8
0000147c: JUMP
0000147d: JUMPDEST
0000147e: ADD
0000147f: PUSH1 0x20
00001481: ADD
00001482: MLOAD
00001483: PUSH1 0xf8
00001485: SHR
00001486: LT
00001487: JUMPDEST
00001488: ISZERO
00001489: PUSH2 0x1493
0000148c: JUMPI
0000148d: POP
0000148e: DUP2
0000148f: PUSH2 0x12e5
00001492: JUMP
00001493: JUMPDEST
00001494: PUSH2 0x149f
00001497: DUP4
00001498: MLOAD
00001499: PUSH1 0x80
0000149b: PUSH2 0x150c
0000149e: JUMP
0000149f: JUMPDEST
000014a0: DUP4
000014a1: PUSH1 0x40
000014a3: MLOAD
000014a4: PUSH1 0x20
000014a6: ADD
000014a7: PUSH2 0x14b1
000014aa: SWAP3
000014ab: SWAP2
000014ac: SWAP1
000014ad: PUSH2 0x1caf
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH1 0x40
000014b4: MLOAD
000014b5: PUSH1 0x20
000014b7: DUP2
000014b8: DUP4
000014b9: SUB
000014ba: SUB
000014bb: DUP2
000014bc: MSTORE
000014bd: SWAP1
000014be: PUSH1 0x40
000014c0: MSTORE
000014c1: SWAP1
000014c2: POP
000014c3: SWAP3
000014c4: SWAP2
000014c5: POP
000014c6: POP
000014c7: JUMP
000014c8: JUMPDEST
000014c9: PUSH1 0x60
000014cb: PUSH1 0x00
000014cd: PUSH2 0x14d5
000014d0: DUP4
000014d1: PUSH2 0x16af
000014d4: JUMP
000014d5: JUMPDEST
000014d6: SWAP1
000014d7: POP
000014d8: PUSH2 0x14e3
000014db: DUP2
000014dc: MLOAD
000014dd: PUSH1 0xc0
000014df: PUSH2 0x150c
000014e2: JUMP
000014e3: JUMPDEST
000014e4: DUP2
000014e5: PUSH1 0x40
000014e7: MLOAD
000014e8: PUSH1 0x20
000014ea: ADD
000014eb: PUSH2 0x14f5
000014ee: SWAP3
000014ef: SWAP2
000014f0: SWAP1
000014f1: PUSH2 0x1caf
000014f4: JUMP
000014f5: JUMPDEST
000014f6: PUSH1 0x40
000014f8: MLOAD
000014f9: PUSH1 0x20
000014fb: DUP2
000014fc: DUP4
000014fd: SUB
000014fe: SUB
000014ff: DUP2
00001500: MSTORE
00001501: SWAP1
00001502: PUSH1 0x40
00001504: MSTORE
00001505: SWAP2
00001506: POP
00001507: POP
00001508: SWAP2
00001509: SWAP1
0000150a: POP
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH1 0x60
0000150f: DUP1
00001510: PUSH1 0x38
00001512: DUP5
00001513: LT
00001514: ISZERO
00001515: PUSH2 0x1576
00001518: JUMPI
00001519: PUSH1 0x40
0000151b: DUP1
0000151c: MLOAD
0000151d: PUSH1 0x01
0000151f: DUP1
00001520: DUP3
00001521: MSTORE
00001522: DUP2
00001523: DUP4
00001524: ADD
00001525: SWAP1
00001526: SWAP3
00001527: MSTORE
00001528: SWAP1
00001529: PUSH1 0x20
0000152b: DUP3
0000152c: ADD
0000152d: DUP2
0000152e: DUP1
0000152f: CALLDATASIZE
00001530: DUP4
00001531: CALLDATACOPY
00001532: ADD
00001533: SWAP1
00001534: POP
00001535: POP
00001536: SWAP1
00001537: POP
00001538: PUSH2 0x1541
0000153b: DUP4
0000153c: DUP6
0000153d: PUSH2 0x1d70
00001540: JUMP
00001541: JUMPDEST
00001542: PUSH1 0x1f
00001544: BYTE
00001545: PUSH1 0xf8
00001547: SHL
00001548: DUP2
00001549: PUSH1 0x00
0000154b: DUP2
0000154c: MLOAD
0000154d: DUP2
0000154e: LT
0000154f: PUSH2 0x155a
00001552: JUMPI
00001553: PUSH2 0x155a
00001556: PUSH2 0x1fc8
00001559: JUMP
0000155a: JUMPDEST
0000155b: PUSH1 0x20
0000155d: ADD
0000155e: ADD
0000155f: SWAP1
00001560: PUSH1 0x01
00001562: PUSH1 0x01
00001564: PUSH1 0xf8
00001566: SHL
00001567: SUB
00001568: NOT
00001569: AND
0000156a: SWAP1
0000156b: DUP2
0000156c: PUSH1 0x00
0000156e: BYTE
0000156f: SWAP1
00001570: MSTORE8
00001571: POP
00001572: PUSH2 0x0795
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH1 0x00
00001579: PUSH1 0x01
0000157b: JUMPDEST
0000157c: DUP1
0000157d: DUP7
0000157e: LT
0000157f: PUSH2 0x1597
00001582: JUMPI
00001583: DUP2
00001584: PUSH2 0x158c
00001587: DUP2
00001588: PUSH2 0x1f6d
0000158b: JUMP
0000158c: JUMPDEST
0000158d: SWAP3
0000158e: POP
0000158f: POP
00001590: PUSH1 0x08
00001592: SHL
00001593: PUSH2 0x157b
00001596: JUMP
00001597: JUMPDEST
00001598: PUSH2 0x15a2
0000159b: DUP3
0000159c: PUSH1 0x01
0000159e: PUSH2 0x1d70
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH8 0xffffffffffffffff
000015ac: DUP2
000015ad: GT
000015ae: ISZERO
000015af: PUSH2 0x15ba
000015b2: JUMPI
000015b3: PUSH2 0x15ba
000015b6: PUSH2 0x1fde
000015b9: JUMP
000015ba: JUMPDEST
000015bb: PUSH1 0x40
000015bd: MLOAD
000015be: SWAP1
000015bf: DUP1
000015c0: DUP3
000015c1: MSTORE
000015c2: DUP1
000015c3: PUSH1 0x1f
000015c5: ADD
000015c6: PUSH1 0x1f
000015c8: NOT
000015c9: AND
000015ca: PUSH1 0x20
000015cc: ADD
000015cd: DUP3
000015ce: ADD
000015cf: PUSH1 0x40
000015d1: MSTORE
000015d2: DUP1
000015d3: ISZERO
000015d4: PUSH2 0x15e4
000015d7: JUMPI
000015d8: PUSH1 0x20
000015da: DUP3
000015db: ADD
000015dc: DUP2
000015dd: DUP1
000015de: CALLDATASIZE
000015df: DUP4
000015e0: CALLDATACOPY
000015e1: ADD
000015e2: SWAP1
000015e3: POP
000015e4: JUMPDEST
000015e5: POP
000015e6: SWAP3
000015e7: POP
000015e8: PUSH2 0x15f1
000015eb: DUP6
000015ec: DUP4
000015ed: PUSH2 0x1d70
000015f0: JUMP
000015f1: JUMPDEST
000015f2: PUSH2 0x15fc
000015f5: SWAP1
000015f6: PUSH1 0x37
000015f8: PUSH2 0x1d70
000015fb: JUMP
000015fc: JUMPDEST
000015fd: PUSH1 0x1f
000015ff: BYTE
00001600: PUSH1 0xf8
00001602: SHL
00001603: DUP4
00001604: PUSH1 0x00
00001606: DUP2
00001607: MLOAD
00001608: DUP2
00001609: LT
0000160a: PUSH2 0x1615
0000160d: JUMPI
0000160e: PUSH2 0x1615
00001611: PUSH2 0x1fc8
00001614: JUMP
00001615: JUMPDEST
00001616: PUSH1 0x20
00001618: ADD
00001619: ADD
0000161a: SWAP1
0000161b: PUSH1 0x01
0000161d: PUSH1 0x01
0000161f: PUSH1 0xf8
00001621: SHL
00001622: SUB
00001623: NOT
00001624: AND
00001625: SWAP1
00001626: DUP2
00001627: PUSH1 0x00
00001629: BYTE
0000162a: SWAP1
0000162b: MSTORE8
0000162c: POP
0000162d: PUSH1 0x01
0000162f: SWAP1
00001630: POP
00001631: JUMPDEST
00001632: DUP2
00001633: DUP2
00001634: GT
00001635: PUSH2 0x16a6
00001638: JUMPI
00001639: PUSH2 0x0100
0000163c: PUSH2 0x1645
0000163f: DUP3
00001640: DUP5
00001641: PUSH2 0x1eaf
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH2 0x1651
00001649: SWAP1
0000164a: PUSH2 0x0100
0000164d: PUSH2 0x1ddf
00001650: JUMP
00001651: JUMPDEST
00001652: PUSH2 0x165b
00001655: SWAP1
00001656: DUP9
00001657: PUSH2 0x1d88
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH2 0x1665
0000165f: SWAP2
00001660: SWAP1
00001661: PUSH2 0x1f88
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x1f
00001668: BYTE
00001669: PUSH1 0xf8
0000166b: SHL
0000166c: DUP4
0000166d: DUP3
0000166e: DUP2
0000166f: MLOAD
00001670: DUP2
00001671: LT
00001672: PUSH2 0x167d
00001675: JUMPI
00001676: PUSH2 0x167d
00001679: PUSH2 0x1fc8
0000167c: JUMP
0000167d: JUMPDEST
0000167e: PUSH1 0x20
00001680: ADD
00001681: ADD
00001682: SWAP1
00001683: PUSH1 0x01
00001685: PUSH1 0x01
00001687: PUSH1 0xf8
00001689: SHL
0000168a: SUB
0000168b: NOT
0000168c: AND
0000168d: SWAP1
0000168e: DUP2
0000168f: PUSH1 0x00
00001691: BYTE
00001692: SWAP1
00001693: MSTORE8
00001694: POP
00001695: DUP1
00001696: PUSH2 0x169e
00001699: DUP2
0000169a: PUSH2 0x1f6d
0000169d: JUMP
0000169e: JUMPDEST
0000169f: SWAP2
000016a0: POP
000016a1: POP
000016a2: PUSH2 0x1631
000016a5: JUMP
000016a6: JUMPDEST
000016a7: POP
000016a8: POP
000016a9: SWAP4
000016aa: SWAP3
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: JUMP
000016af: JUMPDEST
000016b0: PUSH1 0x60
000016b2: DUP2
000016b3: MLOAD
000016b4: PUSH1 0x00
000016b6: EQ
000016b7: ISZERO
000016b8: PUSH2 0x16cf
000016bb: JUMPI
000016bc: POP
000016bd: POP
000016be: PUSH1 0x40
000016c0: DUP1
000016c1: MLOAD
000016c2: PUSH1 0x00
000016c4: DUP2
000016c5: MSTORE
000016c6: PUSH1 0x20
000016c8: DUP2
000016c9: ADD
000016ca: SWAP1
000016cb: SWAP2
000016cc: MSTORE
000016cd: SWAP1
000016ce: JUMP
000016cf: JUMPDEST
000016d0: PUSH1 0x00
000016d2: DUP1
000016d3: JUMPDEST
000016d4: DUP4
000016d5: MLOAD
000016d6: DUP2
000016d7: LT
000016d8: ISZERO
000016d9: PUSH2 0x1716
000016dc: JUMPI
000016dd: DUP4
000016de: DUP2
000016df: DUP2
000016e0: MLOAD
000016e1: DUP2
000016e2: LT
000016e3: PUSH2 0x16ee
000016e6: JUMPI
000016e7: PUSH2 0x16ee
000016ea: PUSH2 0x1fc8
000016ed: JUMP
000016ee: JUMPDEST
000016ef: PUSH1 0x20
000016f1: MUL
000016f2: PUSH1 0x20
000016f4: ADD
000016f5: ADD
000016f6: MLOAD
000016f7: MLOAD
000016f8: DUP3
000016f9: PUSH2 0x1702
000016fc: SWAP2
000016fd: SWAP1
000016fe: PUSH2 0x1d70
00001701: JUMP
00001702: JUMPDEST
00001703: SWAP2
00001704: POP
00001705: DUP1
00001706: PUSH2 0x170e
00001709: DUP2
0000170a: PUSH2 0x1f6d
0000170d: JUMP
0000170e: JUMPDEST
0000170f: SWAP2
00001710: POP
00001711: POP
00001712: PUSH2 0x16d3
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH1 0x00
00001719: DUP3
0000171a: PUSH8 0xffffffffffffffff
00001723: DUP2
00001724: GT
00001725: ISZERO
00001726: PUSH2 0x1731
00001729: JUMPI
0000172a: PUSH2 0x1731
0000172d: PUSH2 0x1fde
00001730: JUMP
00001731: JUMPDEST
00001732: PUSH1 0x40
00001734: MLOAD
00001735: SWAP1
00001736: DUP1
00001737: DUP3
00001738: MSTORE
00001739: DUP1
0000173a: PUSH1 0x1f
0000173c: ADD
0000173d: PUSH1 0x1f
0000173f: NOT
00001740: AND
00001741: PUSH1 0x20
00001743: ADD
00001744: DUP3
00001745: ADD
00001746: PUSH1 0x40
00001748: MSTORE
00001749: DUP1
0000174a: ISZERO
0000174b: PUSH2 0x175b
0000174e: JUMPI
0000174f: PUSH1 0x20
00001751: DUP3
00001752: ADD
00001753: DUP2
00001754: DUP1
00001755: CALLDATASIZE
00001756: DUP4
00001757: CALLDATACOPY
00001758: ADD
00001759: SWAP1
0000175a: POP
0000175b: JUMPDEST
0000175c: POP
0000175d: PUSH1 0x00
0000175f: SWAP3
00001760: POP
00001761: SWAP1
00001762: POP
00001763: PUSH1 0x20
00001765: DUP2
00001766: ADD
00001767: JUMPDEST
00001768: DUP6
00001769: MLOAD
0000176a: DUP4
0000176b: LT
0000176c: ISZERO
0000176d: PUSH2 0x17c5
00001770: JUMPI
00001771: PUSH1 0x00
00001773: DUP7
00001774: DUP5
00001775: DUP2
00001776: MLOAD
00001777: DUP2
00001778: LT
00001779: PUSH2 0x1784
0000177c: JUMPI
0000177d: PUSH2 0x1784
00001780: PUSH2 0x1fc8
00001783: JUMP
00001784: JUMPDEST
00001785: PUSH1 0x20
00001787: MUL
00001788: PUSH1 0x20
0000178a: ADD
0000178b: ADD
0000178c: MLOAD
0000178d: SWAP1
0000178e: POP
0000178f: PUSH1 0x00
00001791: PUSH1 0x20
00001793: DUP3
00001794: ADD
00001795: SWAP1
00001796: POP
00001797: PUSH2 0x17a2
0000179a: DUP4
0000179b: DUP3
0000179c: DUP5
0000179d: MLOAD
0000179e: PUSH2 0x17ce
000017a1: JUMP
000017a2: JUMPDEST
000017a3: DUP2
000017a4: MLOAD
000017a5: PUSH2 0x17ae
000017a8: SWAP1
000017a9: DUP5
000017aa: PUSH2 0x1d70
000017ad: JUMP
000017ae: JUMPDEST
000017af: SWAP3
000017b0: POP
000017b1: POP
000017b2: POP
000017b3: DUP3
000017b4: DUP1
000017b5: PUSH2 0x17bd
000017b8: SWAP1
000017b9: PUSH2 0x1f6d
000017bc: JUMP
000017bd: JUMPDEST
000017be: SWAP4
000017bf: POP
000017c0: POP
000017c1: PUSH2 0x1767
000017c4: JUMP
000017c5: JUMPDEST
000017c6: POP
000017c7: SWAP5
000017c8: SWAP4
000017c9: POP
000017ca: POP
000017cb: POP
000017cc: POP
000017cd: JUMP
000017ce: JUMPDEST
000017cf: DUP3
000017d0: DUP3
000017d1: DUP3
000017d2: JUMPDEST
000017d3: PUSH1 0x20
000017d5: DUP2
000017d6: LT
000017d7: PUSH2 0x180a
000017da: JUMPI
000017db: DUP2
000017dc: MLOAD
000017dd: DUP4
000017de: MSTORE
000017df: PUSH2 0x17e9
000017e2: PUSH1 0x20
000017e4: DUP5
000017e5: PUSH2 0x1d70
000017e8: JUMP
000017e9: JUMPDEST
000017ea: SWAP3
000017eb: POP
000017ec: PUSH2 0x17f6
000017ef: PUSH1 0x20
000017f1: DUP4
000017f2: PUSH2 0x1d70
000017f5: JUMP
000017f6: JUMPDEST
000017f7: SWAP2
000017f8: POP
000017f9: PUSH2 0x1803
000017fc: PUSH1 0x20
000017fe: DUP3
000017ff: PUSH2 0x1eaf
00001802: JUMP
00001803: JUMPDEST
00001804: SWAP1
00001805: POP
00001806: PUSH2 0x17d2
00001809: JUMP
0000180a: JUMPDEST
0000180b: SWAP1
0000180c: MLOAD
0000180d: DUP3
0000180e: MLOAD
0000180f: PUSH1 0x00
00001811: NOT
00001812: PUSH1 0x03
00001814: SWAP4
00001815: SWAP1
00001816: SWAP4
00001817: SHL
00001818: SWAP3
00001819: SWAP1
0000181a: SWAP3
0000181b: SHR
0000181c: SWAP2
0000181d: DUP3
0000181e: AND
0000181f: SWAP2
00001820: NOT
00001821: AND
00001822: OR
00001823: SWAP1
00001824: MSTORE
00001825: POP
00001826: POP
00001827: POP
00001828: JUMP
00001829: JUMPDEST
0000182a: DUP3
0000182b: DUP1
0000182c: SLOAD
0000182d: PUSH2 0x1835
00001830: SWAP1
00001831: PUSH2 0x1f10
00001834: JUMP
00001835: JUMPDEST
00001836: SWAP1
00001837: PUSH1 0x00
00001839: MSTORE
0000183a: PUSH1 0x20
0000183c: PUSH1 0x00
0000183e: KECCAK256
0000183f: SWAP1
00001840: PUSH1 0x1f
00001842: ADD
00001843: PUSH1 0x20
00001845: SWAP1
00001846: DIV
00001847: DUP2
00001848: ADD
00001849: SWAP3
0000184a: DUP3
0000184b: PUSH2 0x1857
0000184e: JUMPI
0000184f: PUSH1 0x00
00001851: DUP6
00001852: SSTORE
00001853: PUSH2 0x189d
00001856: JUMP
00001857: JUMPDEST
00001858: DUP3
00001859: PUSH1 0x1f
0000185b: LT
0000185c: PUSH2 0x1870
0000185f: JUMPI
00001860: DUP1
00001861: MLOAD
00001862: PUSH1 0xff
00001864: NOT
00001865: AND
00001866: DUP4
00001867: DUP1
00001868: ADD
00001869: OR
0000186a: DUP6
0000186b: SSTORE
0000186c: PUSH2 0x189d
0000186f: JUMP
00001870: JUMPDEST
00001871: DUP3
00001872: DUP1
00001873: ADD
00001874: PUSH1 0x01
00001876: ADD
00001877: DUP6
00001878: SSTORE
00001879: DUP3
0000187a: ISZERO
0000187b: PUSH2 0x189d
0000187e: JUMPI
0000187f: SWAP2
00001880: DUP3
00001881: ADD
00001882: JUMPDEST
00001883: DUP3
00001884: DUP2
00001885: GT
00001886: ISZERO
00001887: PUSH2 0x189d
0000188a: JUMPI
0000188b: DUP3
0000188c: MLOAD
0000188d: DUP3
0000188e: SSTORE
0000188f: SWAP2
00001890: PUSH1 0x20
00001892: ADD
00001893: SWAP2
00001894: SWAP1
00001895: PUSH1 0x01
00001897: ADD
00001898: SWAP1
00001899: PUSH2 0x1882
0000189c: JUMP
0000189d: JUMPDEST
0000189e: POP
0000189f: PUSH2 0x18a9
000018a2: SWAP3
000018a3: SWAP2
000018a4: POP
000018a5: PUSH2 0x18ad
000018a8: JUMP
000018a9: JUMPDEST
000018aa: POP
000018ab: SWAP1
000018ac: JUMP
000018ad: JUMPDEST
000018ae: JUMPDEST
000018af: DUP1
000018b0: DUP3
000018b1: GT
000018b2: ISZERO
000018b3: PUSH2 0x18a9
000018b6: JUMPI
000018b7: PUSH1 0x00
000018b9: DUP2
000018ba: SSTORE
000018bb: PUSH1 0x01
000018bd: ADD
000018be: PUSH2 0x18ae
000018c1: JUMP
000018c2: JUMPDEST
000018c3: DUP1
000018c4: CALLDATALOAD
000018c5: PUSH1 0x01
000018c7: PUSH1 0x01
000018c9: PUSH1 0xa0
000018cb: SHL
000018cc: SUB
000018cd: DUP2
000018ce: AND
000018cf: DUP2
000018d0: EQ
000018d1: PUSH2 0x18d9
000018d4: JUMPI
000018d5: PUSH1 0x00
000018d7: DUP1
000018d8: REVERT
000018d9: JUMPDEST
000018da: SWAP2
000018db: SWAP1
000018dc: POP
000018dd: JUMP
000018de: JUMPDEST
000018df: PUSH1 0x00
000018e1: DUP1
000018e2: DUP4
000018e3: PUSH1 0x1f
000018e5: DUP5
000018e6: ADD
000018e7: SLT
000018e8: PUSH2 0x18f0
000018eb: JUMPI
000018ec: PUSH1 0x00
000018ee: DUP1
000018ef: REVERT
000018f0: JUMPDEST
000018f1: POP
000018f2: DUP2
000018f3: CALLDATALOAD
000018f4: PUSH8 0xffffffffffffffff
000018fd: DUP2
000018fe: GT
000018ff: ISZERO
00001900: PUSH2 0x1908
00001903: JUMPI
00001904: PUSH1 0x00
00001906: DUP1
00001907: REVERT
00001908: JUMPDEST
00001909: PUSH1 0x20
0000190b: DUP4
0000190c: ADD
0000190d: SWAP2
0000190e: POP
0000190f: DUP4
00001910: PUSH1 0x20
00001912: DUP3
00001913: PUSH1 0x05
00001915: SHL
00001916: DUP6
00001917: ADD
00001918: ADD
00001919: GT
0000191a: ISZERO
0000191b: PUSH2 0x1923
0000191e: JUMPI
0000191f: PUSH1 0x00
00001921: DUP1
00001922: REVERT
00001923: JUMPDEST
00001924: SWAP3
00001925: POP
00001926: SWAP3
00001927: SWAP1
00001928: POP
00001929: JUMP
0000192a: JUMPDEST
0000192b: PUSH1 0x00
0000192d: DUP1
0000192e: DUP4
0000192f: PUSH1 0x1f
00001931: DUP5
00001932: ADD
00001933: SLT
00001934: PUSH2 0x193c
00001937: JUMPI
00001938: PUSH1 0x00
0000193a: DUP1
0000193b: REVERT
0000193c: JUMPDEST
0000193d: POP
0000193e: DUP2
0000193f: CALLDATALOAD
00001940: PUSH8 0xffffffffffffffff
00001949: DUP2
0000194a: GT
0000194b: ISZERO
0000194c: PUSH2 0x1954
0000194f: JUMPI
00001950: PUSH1 0x00
00001952: DUP1
00001953: REVERT
00001954: JUMPDEST
00001955: PUSH1 0x20
00001957: DUP4
00001958: ADD
00001959: SWAP2
0000195a: POP
0000195b: DUP4
0000195c: PUSH1 0x20
0000195e: DUP3
0000195f: DUP6
00001960: ADD
00001961: ADD
00001962: GT
00001963: ISZERO
00001964: PUSH2 0x1923
00001967: JUMPI
00001968: PUSH1 0x00
0000196a: DUP1
0000196b: REVERT
0000196c: JUMPDEST
0000196d: DUP1
0000196e: CALLDATALOAD
0000196f: PUSH1 0x01
00001971: PUSH1 0x01
00001973: PUSH1 0x80
00001975: SHL
00001976: SUB
00001977: DUP2
00001978: AND
00001979: DUP2
0000197a: EQ
0000197b: PUSH2 0x18d9
0000197e: JUMPI
0000197f: PUSH1 0x00
00001981: DUP1
00001982: REVERT
00001983: JUMPDEST
00001984: DUP1
00001985: CALLDATALOAD
00001986: PUSH1 0xff
00001988: DUP2
00001989: AND
0000198a: DUP2
0000198b: EQ
0000198c: PUSH2 0x18d9
0000198f: JUMPI
00001990: PUSH1 0x00
00001992: DUP1
00001993: REVERT
00001994: JUMPDEST
00001995: PUSH1 0x00
00001997: PUSH1 0x20
00001999: DUP3
0000199a: DUP5
0000199b: SUB
0000199c: SLT
0000199d: ISZERO
0000199e: PUSH2 0x19a6
000019a1: JUMPI
000019a2: PUSH1 0x00
000019a4: DUP1
000019a5: REVERT
000019a6: JUMPDEST
000019a7: PUSH2 0x0795
000019aa: DUP3
000019ab: PUSH2 0x18c2
000019ae: JUMP
000019af: JUMPDEST
000019b0: PUSH1 0x00
000019b2: DUP1
000019b3: PUSH1 0x40
000019b5: DUP4
000019b6: DUP6
000019b7: SUB
000019b8: SLT
000019b9: ISZERO
000019ba: PUSH2 0x19c2
000019bd: JUMPI
000019be: PUSH1 0x00
000019c0: DUP1
000019c1: REVERT
000019c2: JUMPDEST
000019c3: PUSH2 0x19cb
000019c6: DUP4
000019c7: PUSH2 0x18c2
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP2
000019cd: POP
000019ce: PUSH2 0x19d9
000019d1: PUSH1 0x20
000019d3: DUP5
000019d4: ADD
000019d5: PUSH2 0x18c2
000019d8: JUMP
000019d9: JUMPDEST
000019da: SWAP1
000019db: POP
000019dc: SWAP3
000019dd: POP
000019de: SWAP3
000019df: SWAP1
000019e0: POP
000019e1: JUMP
000019e2: JUMPDEST
000019e3: PUSH1 0x00
000019e5: DUP1
000019e6: PUSH1 0x00
000019e8: DUP1
000019e9: PUSH1 0x60
000019eb: DUP6
000019ec: DUP8
000019ed: SUB
000019ee: SLT
000019ef: ISZERO
000019f0: PUSH2 0x19f8
000019f3: JUMPI
000019f4: PUSH1 0x00
000019f6: DUP1
000019f7: REVERT
000019f8: JUMPDEST
000019f9: PUSH2 0x1a01
000019fc: DUP6
000019fd: PUSH2 0x18c2
00001a00: JUMP
00001a01: JUMPDEST
00001a02: SWAP4
00001a03: POP
00001a04: PUSH1 0x20
00001a06: DUP6
00001a07: ADD
00001a08: CALLDATALOAD
00001a09: SWAP3
00001a0a: POP
00001a0b: PUSH1 0x40
00001a0d: DUP6
00001a0e: ADD
00001a0f: CALLDATALOAD
00001a10: PUSH8 0xffffffffffffffff
00001a19: DUP2
00001a1a: GT
00001a1b: ISZERO
00001a1c: PUSH2 0x1a24
00001a1f: JUMPI
00001a20: PUSH1 0x00
00001a22: DUP1
00001a23: REVERT
00001a24: JUMPDEST
00001a25: PUSH2 0x1a30
00001a28: DUP8
00001a29: DUP3
00001a2a: DUP9
00001a2b: ADD
00001a2c: PUSH2 0x192a
00001a2f: JUMP
00001a30: JUMPDEST
00001a31: SWAP6
00001a32: SWAP9
00001a33: SWAP5
00001a34: SWAP8
00001a35: POP
00001a36: SWAP6
00001a37: POP
00001a38: POP
00001a39: POP
00001a3a: POP
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: PUSH1 0x00
00001a3f: DUP1
00001a40: PUSH1 0x40
00001a42: DUP4
00001a43: DUP6
00001a44: SUB
00001a45: SLT
00001a46: ISZERO
00001a47: PUSH2 0x1a4f
00001a4a: JUMPI
00001a4b: PUSH1 0x00
00001a4d: DUP1
00001a4e: REVERT
00001a4f: JUMPDEST
00001a50: PUSH2 0x1a58
00001a53: DUP4
00001a54: PUSH2 0x18c2
00001a57: JUMP
00001a58: JUMPDEST
00001a59: SWAP2
00001a5a: POP
00001a5b: PUSH2 0x19d9
00001a5e: PUSH1 0x20
00001a60: DUP5
00001a61: ADD
00001a62: PUSH2 0x1983
00001a65: JUMP
00001a66: JUMPDEST
00001a67: PUSH1 0x00
00001a69: DUP1
00001a6a: PUSH1 0x00
00001a6c: DUP1
00001a6d: PUSH1 0x00
00001a6f: DUP1
00001a70: PUSH1 0x00
00001a72: PUSH1 0x80
00001a74: DUP9
00001a75: DUP11
00001a76: SUB
00001a77: SLT
00001a78: ISZERO
00001a79: PUSH2 0x1a81
00001a7c: JUMPI
00001a7d: PUSH1 0x00
00001a7f: DUP1
00001a80: REVERT
00001a81: JUMPDEST
00001a82: DUP8
00001a83: CALLDATALOAD
00001a84: SWAP7
00001a85: POP
00001a86: PUSH1 0x20
00001a88: DUP9
00001a89: ADD
00001a8a: CALLDATALOAD
00001a8b: PUSH8 0xffffffffffffffff
00001a94: DUP1
00001a95: DUP3
00001a96: GT
00001a97: ISZERO
00001a98: PUSH2 0x1aa0
00001a9b: JUMPI
00001a9c: PUSH1 0x00
00001a9e: DUP1
00001a9f: REVERT
00001aa0: JUMPDEST
00001aa1: PUSH2 0x1aac
00001aa4: DUP12
00001aa5: DUP4
00001aa6: DUP13
00001aa7: ADD
00001aa8: PUSH2 0x18de
00001aab: JUMP
00001aac: JUMPDEST
00001aad: SWAP1
00001aae: SWAP9
00001aaf: POP
00001ab0: SWAP7
00001ab1: POP
00001ab2: PUSH1 0x40
00001ab4: DUP11
00001ab5: ADD
00001ab6: CALLDATALOAD
00001ab7: SWAP2
00001ab8: POP
00001ab9: DUP1
00001aba: DUP3
00001abb: GT
00001abc: ISZERO
00001abd: PUSH2 0x1ac5
00001ac0: JUMPI
00001ac1: PUSH1 0x00
00001ac3: DUP1
00001ac4: REVERT
00001ac5: JUMPDEST
00001ac6: PUSH2 0x1ad1
00001ac9: DUP12
00001aca: DUP4
00001acb: DUP13
00001acc: ADD
00001acd: PUSH2 0x18de
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: SWAP1
00001ad3: SWAP7
00001ad4: POP
00001ad5: SWAP5
00001ad6: POP
00001ad7: PUSH1 0x60
00001ad9: DUP11
00001ada: ADD
00001adb: CALLDATALOAD
00001adc: SWAP2
00001add: POP
00001ade: DUP1
00001adf: DUP3
00001ae0: GT
00001ae1: ISZERO
00001ae2: PUSH2 0x1aea
00001ae5: JUMPI
00001ae6: PUSH1 0x00
00001ae8: DUP1
00001ae9: REVERT
00001aea: JUMPDEST
00001aeb: POP
00001aec: PUSH2 0x1af7
00001aef: DUP11
00001af0: DUP3
00001af1: DUP12
00001af2: ADD
00001af3: PUSH2 0x18de
00001af6: JUMP
00001af7: JUMPDEST
00001af8: SWAP9
00001af9: SWAP12
00001afa: SWAP8
00001afb: SWAP11
00001afc: POP
00001afd: SWAP6
00001afe: SWAP9
00001aff: POP
00001b00: SWAP4
00001b01: SWAP7
00001b02: SWAP3
00001b03: SWAP6
00001b04: SWAP3
00001b05: SWAP4
00001b06: POP
00001b07: POP
00001b08: POP
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: PUSH1 0x00
00001b0d: PUSH1 0x20
00001b0f: DUP3
00001b10: DUP5
00001b11: SUB
00001b12: SLT
00001b13: ISZERO
00001b14: PUSH2 0x1b1c
00001b17: JUMPI
00001b18: PUSH1 0x00
00001b1a: DUP1
00001b1b: REVERT
00001b1c: JUMPDEST
00001b1d: PUSH2 0x0795
00001b20: DUP3
00001b21: PUSH2 0x196c
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH1 0x00
00001b28: DUP1
00001b29: PUSH1 0x00
00001b2b: DUP1
00001b2c: PUSH1 0x00
00001b2e: DUP1
00001b2f: PUSH1 0x00
00001b31: DUP1
00001b32: PUSH1 0x00
00001b34: DUP1
00001b35: PUSH1 0x00
00001b37: PUSH1 0xe0
00001b39: DUP13
00001b3a: DUP15
00001b3b: SUB
00001b3c: SLT
00001b3d: ISZERO
00001b3e: PUSH2 0x1b46
00001b41: JUMPI
00001b42: PUSH1 0x00
00001b44: DUP1
00001b45: REVERT
00001b46: JUMPDEST
00001b47: PUSH2 0x1b4f
00001b4a: DUP13
00001b4b: PUSH2 0x196c
00001b4e: JUMP
00001b4f: JUMPDEST
00001b50: SWAP11
00001b51: POP
00001b52: PUSH2 0x1b5d
00001b55: PUSH1 0x20
00001b57: DUP14
00001b58: ADD
00001b59: PUSH2 0x18c2
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: SWAP10
00001b5f: POP
00001b60: PUSH1 0x40
00001b62: DUP13
00001b63: ADD
00001b64: CALLDATALOAD
00001b65: SWAP9
00001b66: POP
00001b67: PUSH8 0xffffffffffffffff
00001b70: DUP1
00001b71: PUSH1 0x60
00001b73: DUP15
00001b74: ADD
00001b75: CALLDATALOAD
00001b76: GT
00001b77: ISZERO
00001b78: PUSH2 0x1b80
00001b7b: JUMPI
00001b7c: PUSH1 0x00
00001b7e: DUP1
00001b7f: REVERT
00001b80: JUMPDEST
00001b81: PUSH2 0x1b90
00001b84: DUP15
00001b85: PUSH1 0x60
00001b87: DUP16
00001b88: ADD
00001b89: CALLDATALOAD
00001b8a: DUP16
00001b8b: ADD
00001b8c: PUSH2 0x192a
00001b8f: JUMP
00001b90: JUMPDEST
00001b91: SWAP1
00001b92: SWAP10
00001b93: POP
00001b94: SWAP8
00001b95: POP
00001b96: PUSH1 0x80
00001b98: DUP14
00001b99: ADD
00001b9a: CALLDATALOAD
00001b9b: DUP2
00001b9c: LT
00001b9d: ISZERO
00001b9e: PUSH2 0x1ba6
00001ba1: JUMPI
00001ba2: PUSH1 0x00
00001ba4: DUP1
00001ba5: REVERT
00001ba6: JUMPDEST
00001ba7: PUSH2 0x1bb6
00001baa: DUP15
00001bab: PUSH1 0x80
00001bad: DUP16
00001bae: ADD
00001baf: CALLDATALOAD
00001bb0: DUP16
00001bb1: ADD
00001bb2: PUSH2 0x18de
00001bb5: JUMP
00001bb6: JUMPDEST
00001bb7: SWAP1
00001bb8: SWAP8
00001bb9: POP
00001bba: SWAP6
00001bbb: POP
00001bbc: PUSH1 0xa0
00001bbe: DUP14
00001bbf: ADD
00001bc0: CALLDATALOAD
00001bc1: DUP2
00001bc2: LT
00001bc3: ISZERO
00001bc4: PUSH2 0x1bcc
00001bc7: JUMPI
00001bc8: PUSH1 0x00
00001bca: DUP1
00001bcb: REVERT
00001bcc: JUMPDEST
00001bcd: PUSH2 0x1bdc
00001bd0: DUP15
00001bd1: PUSH1 0xa0
00001bd3: DUP16
00001bd4: ADD
00001bd5: CALLDATALOAD
00001bd6: DUP16
00001bd7: ADD
00001bd8: PUSH2 0x18de
00001bdb: JUMP
00001bdc: JUMPDEST
00001bdd: SWAP1
00001bde: SWAP6
00001bdf: POP
00001be0: SWAP4
00001be1: POP
00001be2: PUSH1 0xc0
00001be4: DUP14
00001be5: ADD
00001be6: CALLDATALOAD
00001be7: DUP2
00001be8: LT
00001be9: ISZERO
00001bea: PUSH2 0x1bf2
00001bed: JUMPI
00001bee: PUSH1 0x00
00001bf0: DUP1
00001bf1: REVERT
00001bf2: JUMPDEST
00001bf3: POP
00001bf4: PUSH2 0x1c03
00001bf7: DUP14
00001bf8: PUSH1 0xc0
00001bfa: DUP15
00001bfb: ADD
00001bfc: CALLDATALOAD
00001bfd: DUP15
00001bfe: ADD
00001bff: PUSH2 0x18de
00001c02: JUMP
00001c03: JUMPDEST
00001c04: DUP2
00001c05: SWAP4
00001c06: POP
00001c07: DUP1
00001c08: SWAP3
00001c09: POP
00001c0a: POP
00001c0b: POP
00001c0c: SWAP3
00001c0d: SWAP6
00001c0e: SWAP9
00001c0f: SWAP12
00001c10: POP
00001c11: SWAP3
00001c12: SWAP6
00001c13: SWAP9
00001c14: SWAP12
00001c15: SWAP1
00001c16: SWAP4
00001c17: SWAP7
00001c18: SWAP10
00001c19: POP
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: PUSH1 0x00
00001c1e: PUSH1 0x20
00001c20: DUP3
00001c21: DUP5
00001c22: SUB
00001c23: SLT
00001c24: ISZERO
00001c25: PUSH2 0x1c2d
00001c28: JUMPI
00001c29: PUSH1 0x00
00001c2b: DUP1
00001c2c: REVERT
00001c2d: JUMPDEST
00001c2e: POP
00001c2f: CALLDATALOAD
00001c30: SWAP2
00001c31: SWAP1
00001c32: POP
00001c33: JUMP
00001c34: JUMPDEST
00001c35: PUSH1 0x00
00001c37: PUSH1 0x20
00001c39: DUP3
00001c3a: DUP5
00001c3b: SUB
00001c3c: SLT
00001c3d: ISZERO
00001c3e: PUSH2 0x1c46
00001c41: JUMPI
00001c42: PUSH1 0x00
00001c44: DUP1
00001c45: REVERT
00001c46: JUMPDEST
00001c47: PUSH2 0x0795
00001c4a: DUP3
00001c4b: PUSH2 0x1983
00001c4e: JUMP
00001c4f: JUMPDEST
00001c50: PUSH1 0x00
00001c52: DUP2
00001c53: MLOAD
00001c54: DUP1
00001c55: DUP5
00001c56: MSTORE
00001c57: PUSH1 0x20
00001c59: DUP1
00001c5a: DUP6
00001c5b: ADD
00001c5c: SWAP5
00001c5d: POP
00001c5e: DUP1
00001c5f: DUP5
00001c60: ADD
00001c61: PUSH1 0x00
00001c63: JUMPDEST
00001c64: DUP4
00001c65: DUP2
00001c66: LT
00001c67: ISZERO
00001c68: PUSH2 0x1c88
00001c6b: JUMPI
00001c6c: DUP2
00001c6d: MLOAD
00001c6e: PUSH1 0x01
00001c70: PUSH1 0x01
00001c72: PUSH1 0xa0
00001c74: SHL
00001c75: SUB
00001c76: AND
00001c77: DUP8
00001c78: MSTORE
00001c79: SWAP6
00001c7a: DUP3
00001c7b: ADD
00001c7c: SWAP6
00001c7d: SWAP1
00001c7e: DUP3
00001c7f: ADD
00001c80: SWAP1
00001c81: PUSH1 0x01
00001c83: ADD
00001c84: PUSH2 0x1c63
00001c87: JUMP
00001c88: JUMPDEST
00001c89: POP
00001c8a: SWAP5
00001c8b: SWAP6
00001c8c: SWAP5
00001c8d: POP
00001c8e: POP
00001c8f: POP
00001c90: POP
00001c91: POP
00001c92: JUMP
00001c93: JUMPDEST
00001c94: PUSH1 0x00
00001c96: DUP3
00001c97: MLOAD
00001c98: PUSH2 0x1ca5
00001c9b: DUP2
00001c9c: DUP5
00001c9d: PUSH1 0x20
00001c9f: DUP8
00001ca0: ADD
00001ca1: PUSH2 0x1ec6
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: SWAP2
00001ca7: SWAP1
00001ca8: SWAP2
00001ca9: ADD
00001caa: SWAP3
00001cab: SWAP2
00001cac: POP
00001cad: POP
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: PUSH1 0x00
00001cb2: DUP4
00001cb3: MLOAD
00001cb4: PUSH2 0x1cc1
00001cb7: DUP2
00001cb8: DUP5
00001cb9: PUSH1 0x20
00001cbb: DUP9
00001cbc: ADD
00001cbd: PUSH2 0x1ec6
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: DUP4
00001cc3: MLOAD
00001cc4: SWAP1
00001cc5: DUP4
00001cc6: ADD
00001cc7: SWAP1
00001cc8: PUSH2 0x1cd5
00001ccb: DUP2
00001ccc: DUP4
00001ccd: PUSH1 0x20
00001ccf: DUP9
00001cd0: ADD
00001cd1: PUSH2 0x1ec6
00001cd4: JUMP
00001cd5: JUMPDEST
00001cd6: ADD
00001cd7: SWAP5
00001cd8: SWAP4
00001cd9: POP
00001cda: POP
00001cdb: POP
00001cdc: POP
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH1 0x20
00001ce1: DUP2
00001ce2: MSTORE
00001ce3: PUSH1 0x00
00001ce5: PUSH2 0x0795
00001ce8: PUSH1 0x20
00001cea: DUP4
00001ceb: ADD
00001cec: DUP5
00001ced: PUSH2 0x1c4f
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: PUSH4 0xffffffff
00001cf7: PUSH1 0xe0
00001cf9: SHL
00001cfa: DUP4
00001cfb: AND
00001cfc: DUP2
00001cfd: MSTORE
00001cfe: PUSH1 0x40
00001d00: PUSH1 0x20
00001d02: DUP3
00001d03: ADD
00001d04: MSTORE
00001d05: PUSH1 0x00
00001d07: PUSH2 0x1d13
00001d0a: PUSH1 0x40
00001d0c: DUP4
00001d0d: ADD
00001d0e: DUP5
00001d0f: PUSH2 0x1c4f
00001d12: JUMP
00001d13: JUMPDEST
00001d14: SWAP5
00001d15: SWAP4
00001d16: POP
00001d17: POP
00001d18: POP
00001d19: POP
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: PUSH1 0x20
00001d1e: DUP2
00001d1f: MSTORE
00001d20: PUSH1 0x00
00001d22: DUP3
00001d23: MLOAD
00001d24: DUP1
00001d25: PUSH1 0x20
00001d27: DUP5
00001d28: ADD
00001d29: MSTORE
00001d2a: PUSH2 0x1d3a
00001d2d: DUP2
00001d2e: PUSH1 0x40
00001d30: DUP6
00001d31: ADD
00001d32: PUSH1 0x20
00001d34: DUP8
00001d35: ADD
00001d36: PUSH2 0x1ec6
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: PUSH1 0x1f
00001d3d: ADD
00001d3e: PUSH1 0x1f
00001d40: NOT
00001d41: AND
00001d42: SWAP2
00001d43: SWAP1
00001d44: SWAP2
00001d45: ADD
00001d46: PUSH1 0x40
00001d48: ADD
00001d49: SWAP3
00001d4a: SWAP2
00001d4b: POP
00001d4c: POP
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH1 0x00
00001d51: PUSH1 0x01
00001d53: PUSH1 0x01
00001d55: PUSH1 0x80
00001d57: SHL
00001d58: SUB
00001d59: DUP1
00001d5a: DUP4
00001d5b: AND
00001d5c: DUP2
00001d5d: DUP6
00001d5e: AND
00001d5f: DUP1
00001d60: DUP4
00001d61: SUB
00001d62: DUP3
00001d63: GT
00001d64: ISZERO
00001d65: PUSH2 0x1cd5
00001d68: JUMPI
00001d69: PUSH2 0x1cd5
00001d6c: PUSH2 0x1f9c
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH1 0x00
00001d73: DUP3
00001d74: NOT
00001d75: DUP3
00001d76: GT
00001d77: ISZERO
00001d78: PUSH2 0x1d83
00001d7b: JUMPI
00001d7c: PUSH2 0x1d83
00001d7f: PUSH2 0x1f9c
00001d82: JUMP
00001d83: JUMPDEST
00001d84: POP
00001d85: ADD
00001d86: SWAP1
00001d87: JUMP
00001d88: JUMPDEST
00001d89: PUSH1 0x00
00001d8b: DUP3
00001d8c: PUSH2 0x1d97
00001d8f: JUMPI
00001d90: PUSH2 0x1d97
00001d93: PUSH2 0x1fb2
00001d96: JUMP
00001d97: JUMPDEST
00001d98: POP
00001d99: DIV
00001d9a: SWAP1
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: PUSH1 0x01
00001d9f: DUP2
00001da0: DUP2
00001da1: JUMPDEST
00001da2: DUP1
00001da3: DUP6
00001da4: GT
00001da5: ISZERO
00001da6: PUSH2 0x1dd7
00001da9: JUMPI
00001daa: DUP2
00001dab: PUSH1 0x00
00001dad: NOT
00001dae: DIV
00001daf: DUP3
00001db0: GT
00001db1: ISZERO
00001db2: PUSH2 0x1dbd
00001db5: JUMPI
00001db6: PUSH2 0x1dbd
00001db9: PUSH2 0x1f9c
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: DUP1
00001dbf: DUP6
00001dc0: AND
00001dc1: ISZERO
00001dc2: PUSH2 0x1dca
00001dc5: JUMPI
00001dc6: SWAP2
00001dc7: DUP2
00001dc8: MUL
00001dc9: SWAP2
00001dca: JUMPDEST
00001dcb: SWAP4
00001dcc: DUP5
00001dcd: SHR
00001dce: SWAP4
00001dcf: SWAP1
00001dd0: DUP1
00001dd1: MUL
00001dd2: SWAP1
00001dd3: PUSH2 0x1da1
00001dd6: JUMP
00001dd7: JUMPDEST
00001dd8: POP
00001dd9: SWAP3
00001dda: POP
00001ddb: SWAP3
00001ddc: SWAP1
00001ddd: POP
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: PUSH1 0x00
00001de2: PUSH2 0x0795
00001de5: DUP4
00001de6: DUP4
00001de7: PUSH1 0x00
00001de9: DUP3
00001dea: PUSH2 0x1df5
00001ded: JUMPI
00001dee: POP
00001def: PUSH1 0x01
00001df1: PUSH2 0x12e5
00001df4: JUMP
00001df5: JUMPDEST
00001df6: DUP2
00001df7: PUSH2 0x1e02
00001dfa: JUMPI
00001dfb: POP
00001dfc: PUSH1 0x00
00001dfe: PUSH2 0x12e5
00001e01: JUMP
00001e02: JUMPDEST
00001e03: DUP2
00001e04: PUSH1 0x01
00001e06: DUP2
00001e07: EQ
00001e08: PUSH2 0x1e18
00001e0b: JUMPI
00001e0c: PUSH1 0x02
00001e0e: DUP2
00001e0f: EQ
00001e10: PUSH2 0x1e22
00001e13: JUMPI
00001e14: PUSH2 0x1e3e
00001e17: JUMP
00001e18: JUMPDEST
00001e19: PUSH1 0x01
00001e1b: SWAP2
00001e1c: POP
00001e1d: POP
00001e1e: PUSH2 0x12e5
00001e21: JUMP
00001e22: JUMPDEST
00001e23: PUSH1 0xff
00001e25: DUP5
00001e26: GT
00001e27: ISZERO
00001e28: PUSH2 0x1e33
00001e2b: JUMPI
00001e2c: PUSH2 0x1e33
00001e2f: PUSH2 0x1f9c
00001e32: JUMP
00001e33: JUMPDEST
00001e34: POP
00001e35: POP
00001e36: PUSH1 0x01
00001e38: DUP3
00001e39: SHL
00001e3a: PUSH2 0x12e5
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: POP
00001e40: PUSH1 0x20
00001e42: DUP4
00001e43: LT
00001e44: PUSH2 0x0133
00001e47: DUP4
00001e48: LT
00001e49: AND
00001e4a: PUSH1 0x4e
00001e4c: DUP5
00001e4d: LT
00001e4e: PUSH1 0x0b
00001e50: DUP5
00001e51: LT
00001e52: AND
00001e53: OR
00001e54: ISZERO
00001e55: PUSH2 0x1e61
00001e58: JUMPI
00001e59: POP
00001e5a: DUP2
00001e5b: DUP2
00001e5c: EXP
00001e5d: PUSH2 0x12e5
00001e60: JUMP
00001e61: JUMPDEST
00001e62: PUSH2 0x1e6b
00001e65: DUP4
00001e66: DUP4
00001e67: PUSH2 0x1d9c
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: DUP1
00001e6d: PUSH1 0x00
00001e6f: NOT
00001e70: DIV
00001e71: DUP3
00001e72: GT
00001e73: ISZERO
00001e74: PUSH2 0x1e7f
00001e77: JUMPI
00001e78: PUSH2 0x1e7f
00001e7b: PUSH2 0x1f9c
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: MUL
00001e81: SWAP4
00001e82: SWAP3
00001e83: POP
00001e84: POP
00001e85: POP
00001e86: JUMP
00001e87: JUMPDEST
00001e88: PUSH1 0x00
00001e8a: PUSH1 0x01
00001e8c: PUSH1 0x01
00001e8e: PUSH1 0x80
00001e90: SHL
00001e91: SUB
00001e92: DUP4
00001e93: DUP2
00001e94: AND
00001e95: SWAP1
00001e96: DUP4
00001e97: AND
00001e98: DUP2
00001e99: DUP2
00001e9a: LT
00001e9b: ISZERO
00001e9c: PUSH2 0x1ea7
00001e9f: JUMPI
00001ea0: PUSH2 0x1ea7
00001ea3: PUSH2 0x1f9c
00001ea6: JUMP
00001ea7: JUMPDEST
00001ea8: SUB
00001ea9: SWAP4
00001eaa: SWAP3
00001eab: POP
00001eac: POP
00001ead: POP
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x00
00001eb2: DUP3
00001eb3: DUP3
00001eb4: LT
00001eb5: ISZERO
00001eb6: PUSH2 0x1ec1
00001eb9: JUMPI
00001eba: PUSH2 0x1ec1
00001ebd: PUSH2 0x1f9c
00001ec0: JUMP
00001ec1: JUMPDEST
00001ec2: POP
00001ec3: SUB
00001ec4: SWAP1
00001ec5: JUMP
00001ec6: JUMPDEST
00001ec7: PUSH1 0x00
00001ec9: JUMPDEST
00001eca: DUP4
00001ecb: DUP2
00001ecc: LT
00001ecd: ISZERO
00001ece: PUSH2 0x1ee1
00001ed1: JUMPI
00001ed2: DUP2
00001ed3: DUP2
00001ed4: ADD
00001ed5: MLOAD
00001ed6: DUP4
00001ed7: DUP3
00001ed8: ADD
00001ed9: MSTORE
00001eda: PUSH1 0x20
00001edc: ADD
00001edd: PUSH2 0x1ec9
00001ee0: JUMP
00001ee1: JUMPDEST
00001ee2: DUP4
00001ee3: DUP2
00001ee4: GT
00001ee5: ISZERO
00001ee6: PUSH2 0x1229
00001ee9: JUMPI
00001eea: POP
00001eeb: POP
00001eec: PUSH1 0x00
00001eee: SWAP2
00001eef: ADD
00001ef0: MSTORE
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: PUSH1 0x00
00001ef5: PUSH2 0xffff
00001ef8: DUP3
00001ef9: AND
00001efa: DUP1
00001efb: PUSH2 0x1f06
00001efe: JUMPI
00001eff: PUSH2 0x1f06
00001f02: PUSH2 0x1f9c
00001f05: JUMP
00001f06: JUMPDEST
00001f07: PUSH1 0x00
00001f09: NOT
00001f0a: ADD
00001f0b: SWAP3
00001f0c: SWAP2
00001f0d: POP
00001f0e: POP
00001f0f: JUMP
00001f10: JUMPDEST
00001f11: PUSH1 0x01
00001f13: DUP2
00001f14: DUP2
00001f15: SHR
00001f16: SWAP1
00001f17: DUP3
00001f18: AND
00001f19: DUP1
00001f1a: PUSH2 0x1f24
00001f1d: JUMPI
00001f1e: PUSH1 0x7f
00001f20: DUP3
00001f21: AND
00001f22: SWAP2
00001f23: POP
00001f24: JUMPDEST
00001f25: PUSH1 0x20
00001f27: DUP3
00001f28: LT
00001f29: DUP2
00001f2a: EQ
00001f2b: ISZERO
00001f2c: PUSH2 0x1f45
00001f2f: JUMPI
00001f30: PUSH4 0x4e487b71
00001f35: PUSH1 0xe0
00001f37: SHL
00001f38: PUSH1 0x00
00001f3a: MSTORE
00001f3b: PUSH1 0x22
00001f3d: PUSH1 0x04
00001f3f: MSTORE
00001f40: PUSH1 0x24
00001f42: PUSH1 0x00
00001f44: REVERT
00001f45: JUMPDEST
00001f46: POP
00001f47: SWAP2
00001f48: SWAP1
00001f49: POP
00001f4a: JUMP
00001f4b: JUMPDEST
00001f4c: PUSH1 0x00
00001f4e: PUSH2 0xffff
00001f51: DUP1
00001f52: DUP4
00001f53: AND
00001f54: DUP2
00001f55: DUP2
00001f56: EQ
00001f57: ISZERO
00001f58: PUSH2 0x1f63
00001f5b: JUMPI
00001f5c: PUSH2 0x1f63
00001f5f: PUSH2 0x1f9c
00001f62: JUMP
00001f63: JUMPDEST
00001f64: PUSH1 0x01
00001f66: ADD
00001f67: SWAP4
00001f68: SWAP3
00001f69: POP
00001f6a: POP
00001f6b: POP
00001f6c: JUMP
00001f6d: JUMPDEST
00001f6e: PUSH1 0x00
00001f70: PUSH1 0x00
00001f72: NOT
00001f73: DUP3
00001f74: EQ
00001f75: ISZERO
00001f76: PUSH2 0x1f81
00001f79: JUMPI
00001f7a: PUSH2 0x1f81
00001f7d: PUSH2 0x1f9c
00001f80: JUMP
00001f81: JUMPDEST
00001f82: POP
00001f83: PUSH1 0x01
00001f85: ADD
00001f86: SWAP1
00001f87: JUMP
00001f88: JUMPDEST
00001f89: PUSH1 0x00
00001f8b: DUP3
00001f8c: PUSH2 0x1f97
00001f8f: JUMPI
00001f90: PUSH2 0x1f97
00001f93: PUSH2 0x1fb2
00001f96: JUMP
00001f97: JUMPDEST
00001f98: POP
00001f99: MOD
00001f9a: SWAP1
00001f9b: JUMP
00001f9c: JUMPDEST
00001f9d: PUSH4 0x4e487b71
00001fa2: PUSH1 0xe0
00001fa4: SHL
00001fa5: PUSH1 0x00
00001fa7: MSTORE
00001fa8: PUSH1 0x11
00001faa: PUSH1 0x04
00001fac: MSTORE
00001fad: PUSH1 0x24
00001faf: PUSH1 0x00
00001fb1: REVERT
00001fb2: JUMPDEST
00001fb3: PUSH4 0x4e487b71
00001fb8: PUSH1 0xe0
00001fba: SHL
00001fbb: PUSH1 0x00
00001fbd: MSTORE
00001fbe: PUSH1 0x12
00001fc0: PUSH1 0x04
00001fc2: MSTORE
00001fc3: PUSH1 0x24
00001fc5: PUSH1 0x00
00001fc7: REVERT
00001fc8: JUMPDEST
00001fc9: PUSH4 0x4e487b71
00001fce: PUSH1 0xe0
00001fd0: SHL
00001fd1: PUSH1 0x00
00001fd3: MSTORE
00001fd4: PUSH1 0x32
00001fd6: PUSH1 0x04
00001fd8: MSTORE
00001fd9: PUSH1 0x24
00001fdb: PUSH1 0x00
00001fdd: REVERT
00001fde: JUMPDEST
00001fdf: PUSH4 0x4e487b71
00001fe4: PUSH1 0xe0
00001fe6: SHL
00001fe7: PUSH1 0x00
00001fe9: MSTORE
00001fea: PUSH1 0x41
00001fec: PUSH1 0x04
00001fee: MSTORE
00001fef: PUSH1 0x24
00001ff1: PUSH1 0x00
00001ff3: REVERT
00001ff4: INVALID
00001ff5: LOG2
00001ff6: PUSH5 0x6970667358
00001ffc: UNKNOWN(0x22)
00001ffd: SLT
00001ffe: KECCAK256
00001fff: UNKNOWN(0xD1)
00002000: CODECOPY
00002001: UNKNOWN(0x27)
00002002: AND
00002003: CODECOPY
00002004: UNKNOWN(0xE4)
00002005: BLOBBASEFEE
00002006: SWAP4
00002007: UNKNOWN(0x2C)
00002008: SHR
00002009: XOR
0000200a: UNKNOWN(0xD7)
0000200b: DUP7
0000200c: UNKNOWN(0xBB)
0000200d: SWAP16
0000200e: PUSH19 0xee98694c5e8e0abfff16ebc15da2ae4a64736f
00002022: PUSH13