TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

f905dab4-6ddb-4aa7-bc63-73e1f1efca17

failed
Chain ID
1
Address
Block Number
Created
Sat, Dec 27, 2025 11:03 PM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
30222 report.consolidate complete 1 / 1 3 months ago
73516 artifact.fetch failed 1 / 3 2 weeks ago
73517 tool.cast_disasm complete 1 / 3 2 weeks ago
73518 analysis.bundle complete 1 / 3 2 weeks ago
73519 capability.graph complete 1 / 3 2 weeks ago
73520 detector.run complete 1 / 3 2 weeks ago
73521 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.
View stderr
[codex:1489087] OpenAI Codex v0.77.0 (research preview)
[codex:1489087] --------
[codex:1489087] workdir: /tmp/codex-multi-45ue9s39
[codex:1489087] model: gpt-5.2-codex
[codex:1489087] provider: openai
[codex:1489087] approval: never
[codex:1489087] sandbox: read-only
[codex:1489087] reasoning effort: xhigh
[codex:1489087] reasoning summaries: auto
[codex:1489087] session id: 019b6208-6aa0-7932-bce5-203b7fd670b1
[codex:1489087] --------
[codex:1489087] user
[codex:1489087] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1489087] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1489087] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1489087] 
[codex:1489087] Scope rules:
[codex:1489087] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1489087] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1489087] 
[codex:1489087] Output MUST be valid JSON matching the provided schema.
[codex:1489087] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1489087] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1489087] 
[codex:1489087] Output constraints (IMPORTANT):
[codex:1489087] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1489087] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1489087] mcp startup: no servers
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Checking for AUDIT_BUNDLE file**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc ls in /tmp/codex-multi-45ue9s39 succeeded in 5ms:
[codex:1489087] AUDIT_BUNDLE.txt
[codex:1489087] codex-output-schema.json
[codex:1489087] contracts
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Reading full AUDIT_BUNDLE file**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-45ue9s39 succeeded in 6ms:
[codex:1489087] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1489087] 
[codex:1489087] ================================================================================
[codex:1489087] FILE: contracts/node_modules/@openzeppelin/contracts/access/AccessControl.sol
[codex:1489087] ================================================================================
[codex:1489087] // SPDX-License-Identifier: MIT
[codex:1489087] // OpenZeppelin Contracts (last updated v5.3.0) (access/AccessControl.sol)
[codex:1489087] 
[codex:1489087] pragma solidity ^0.8.20;
[codex:1489087] 
[codex:1489087] import {IAccessControl} from "./IAccessControl.sol";
[codex:1489087] import {Context} from "../utils/Context.sol";
[codex:1489087] import {ERC165} from "../utils/introspection/ERC165.sol";
[codex:1489087] 
[codex:1489087] /**
[codex:1489087]  * @dev Contract module that allows children to implement role-based access
[codex:1489087]  * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:1489087]  * members except through off-chain means by accessing the contract event logs. Some
[codex:1489087]  * applications may benefit from on-chain enumerability, for those cases see
[codex:1489087]  * {AccessControlEnumerable}.
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Examining AUDIT_BUNDLE contents**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc 'rg -n "FILE: contracts/src" AUDIT_BUNDLE.txt' in /tmp/codex-multi-45ue9s39 succeeded in 6ms:
[codex:1489087] 4956:FILE: contracts/src/HourglassStableVaultKYC.sol
[codex:1489087] 5780:FILE: contracts/src/base/HourglassStableVaultBridgeManager.sol
[codex:1489087] 5874:FILE: contracts/src/base/HourglassStableVaultDepositCapManager.sol
[codex:1489087] 5980:FILE: contracts/src/base/HourglassStableVaultDepositWindowManager.sol
[codex:1489087] 6189:FILE: contracts/src/base/HourglassStableVaultKYCManager.sol
[codex:1489087] 6237:FILE: contracts/src/base/HourglassStableVaultTreasuryManager.sol
[codex:1489087] 6337:FILE: contracts/src/interfaces/IBridgeableVault.sol
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Extracting main contract section**
[codex:1489087] exec
[codex:1489087] /bin/bash -lc "sed -n '4956,5780p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-45ue9s39 succeeded in 7ms:
[codex:1489087] FILE: contracts/src/HourglassStableVaultKYC.sol
[codex:1489087] ================================================================================
[codex:1489087] // SPDX-License-Identifier: MIT
[codex:1489087] pragma solidity ^0.8.29;
[codex:1489087] 
[codex:1489087] import { AccessControl } from "@openzeppelin/contracts/access/AccessControl.sol";
[codex:1489087] import { ERC20 } from "@openzeppelin/contracts/token/ERC20/ERC20.sol";
[codex:1489087] import { ERC20Permit } from "@openzeppelin/contracts/token/ERC20/extensions/ERC20Permit.sol";
[codex:1489087] import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1489087] import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1489087] import { ReentrancyGuard } from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:1489087] import { Math } from "@openzeppelin/contracts/utils/math/Math.sol";
[codex:1489087] import { HourglassStableVaultBridgeManager } from "./base/HourglassStableVaultBridgeManager.sol";
[codex:1489087] import { HourglassStableVaultDepositCapManager } from "./base/HourglassStableVaultDepositCapManager.sol";
[codex:1489087] import { HourglassStableVaultDepositWindowManager } from "./base/HourglassStableVaultDepositWindowManager.sol";
[codex:1489087] import { HourglassStableVaultKYCManager } from "./base/HourglassStableVaultKYCManager.sol";
[codex:1489087] import { HourglassStableVaultTreasuryManager } from "./base/HourglassStableVaultTreasuryManager.sol";
[codex:1489087] import { IBridgeableVault } from "./interfaces/IBridgeableVault.sol";
[codex:1489087] 
[codex:1489087] enum OperationalMode {
[codex:1489087] 
[codex:1489087] 
[codex:1489087] 
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Thorough smart contract audit and risk analysis**
[codex:1489087] 
[codex:1489087] I'm carefully reviewing the contract for vulnerabilities covering reentrancy, access control, upgradeability, token handling, and accounting nuances. There’s a lot to unpack about KYC/nonKYC share management, transfer restrictions, deposit windows, and admin privileges that could impact fund safety or contract logic integrity. I’m piecing together how these interact to spot subtle risks and confirm protections.
[codex:1489087] thinking
[codex:1489087] **Evaluating token mechanics and accounting edge cases**
[codex:1489087] 
[codex:1489087] I'm dissecting how token transfers, KYC status changes, and deposit mechanics intertwine, especially around share accounting and admin role effects. There are subtle possibilities where KYC status and sharesNonKyc tracking could misalign, risking stranded funds or accounting quirks, so I’m checking if these amount to real exploitable issues or just edge cases.
[codex:1489087] thinking
[codex:1489087] **Analyzing bridge contract KYC and accounting inconsistencies**
[codex:1489087] 
[codex:1489087] I'm examining how setting the bridge contract’s KYC status without updating share accounting can cause misclassification of shares and potential token redemption issues, especially around share pools and transfers during mode transitions. This looks like an administrative accounting quirk rather than an externally exploitable vulnerability.
[codex:1489087] thinking
[codex:1489087] **Evaluating token recovery and accounting edge cases**
[codex:1489087] 
[codex:1489087] I'm reviewing token recovery logic, deposit caps, redemption flows, and external call safety to identify any subtle risks, but overall these look administratively controlled without direct exploits. The potential edge cases around recoverErc20, transfer restrictions, and mode transitions appear carefully guarded, suggesting no major vulnerabilities.
[codex:1489087] exec
[codex:1489087] /bin/bash -lc "rg -n \"delegatecall|call\\(\" AUDIT_BUNDLE.txt" in /tmp/codex-multi-45ue9s39 succeeded in 8ms:
[codex:1489087] 1413:            let success := call(gas(), token, 0, add(data, 0x20), mload(data), 0, 0x20)
[codex:1489087] 1442:            success := call(gas(), token, 0, add(data, 0x20), mload(data), 0, 0x20)
[codex:1489087] 3396:            success := staticcall(gas(), 0x05, ptr, 0xc0, 0x00, 0x20)
[codex:1489087] 3430:            success := staticcall(gas(), 0x05, dataPtr, mload(result), dataPtr, mLen)
[codex:1489087] 
[codex:1489087] thinking
[codex:1489087] **Preparing audit summary JSON**
[codex:1489087] codex
[codex:1489087] {"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.","findings":[]}
[codex:1489087] tokens used
[codex:1489087] 36,515
[codex:1489087] {"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-27T23:03:09.795544+00:00",
        "returncode": 0
    },
    "summary": "Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.",
    "raw_final": {
        "summary": "Reviewed first-party contracts in AUDIT_BUNDLE (HourglassStableVaultKYC and base managers). No exploitable vulnerabilities found within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
2
Total opcodes
6211
Flags
No heuristic flags raised.
View cast disassembly output
00000000: PUSH1 0x80
00000002: DUP1
00000003: PUSH1 0x40
00000005: MSTORE
00000006: PUSH1 0x04
00000008: CALLDATASIZE
00000009: LT
0000000a: ISZERO
0000000b: PUSH2 0x0012
0000000e: JUMPI
0000000f: PUSH0
00000010: DUP1
00000011: REVERT
00000012: JUMPDEST
00000013: PUSH0
00000014: CALLDATALOAD
00000015: PUSH1 0xe0
00000017: SHR
00000018: SWAP1
00000019: DUP2
0000001a: PUSH4 0x01ffc9a7
0000001f: EQ
00000020: PUSH2 0x2265
00000023: JUMPI
00000024: POP
00000025: DUP1
00000026: PUSH4 0x0359632f
0000002b: EQ
0000002c: PUSH2 0x20ef
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x063d11de
00000036: EQ
00000037: PUSH2 0x1ee4
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x06fdde03
00000041: EQ
00000042: PUSH2 0x1e3f
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x095ea7b3
0000004c: EQ
0000004d: PUSH2 0x1e19
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x0b26cf66
00000057: EQ
00000058: PUSH2 0x1ce5
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x0f4e7469
00000062: EQ
00000063: PUSH2 0x1cb9
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x12dc5ae6
0000006d: EQ
0000006e: PUSH2 0x1bf3
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x18160ddd
00000078: EQ
00000079: PUSH2 0x1bd6
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x23b872dd
00000083: EQ
00000084: PUSH2 0x1b9e
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x248a9ca3
0000008e: EQ
0000008f: PUSH2 0x1b73
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x2bbb3abc
00000099: EQ
0000009a: PUSH2 0x1b58
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x2bf08d23
000000a4: EQ
000000a5: PUSH2 0x1b1e
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x2f2ff15d
000000af: EQ
000000b0: PUSH2 0x1ae0
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x313ce567
000000ba: EQ
000000bb: PUSH2 0x1ac5
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x3644e515
000000c5: EQ
000000c6: PUSH2 0x1aab
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x36568abe
000000d0: EQ
000000d1: PUSH2 0x1a4e
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x37933334
000000db: EQ
000000dc: PUSH2 0x1a31
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x3982d59b
000000e6: EQ
000000e7: PUSH2 0x1950
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x464dfa20
000000f1: EQ
000000f2: PUSH2 0x1933
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x503fd4a1
000000fc: EQ
000000fd: PUSH2 0x1693
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x6083e59a
00000107: EQ
00000108: PUSH2 0x1671
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x6605bfda
00000112: EQ
00000113: PUSH2 0x15c9
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x6e553f65
0000011d: EQ
0000011e: PUSH2 0x13b8
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0x70a08231
00000128: EQ
00000129: PUSH2 0x1381
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0x71928629
00000133: EQ
00000134: PUSH2 0x113e
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0x75b238fc
0000013e: EQ
0000013f: PUSH2 0x1104
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0x76bc05ae
00000149: EQ
0000014a: PUSH2 0x10d4
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0x7ecebe00
00000154: EQ
00000155: PUSH2 0x109c
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0x82af1843
0000015f: EQ
00000160: PUSH2 0x0f28
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0x84b0196e
0000016a: EQ
0000016b: PUSH2 0x0e14
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0x86651203
00000175: EQ
00000176: PUSH2 0x0d72
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x8832b767
00000180: EQ
00000181: PUSH2 0x0c91
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x89a30271
0000018b: EQ
0000018c: PUSH2 0x0c63
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x91d14854
00000196: EQ
00000197: PUSH2 0x0c19
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x95d89b41
000001a1: EQ
000001a2: PUSH2 0x0b37
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x98e3601f
000001ac: EQ
000001ad: PUSH2 0x0a8f
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x99b6f607
000001b7: EQ
000001b8: PUSH2 0x0a65
000001bb: JUMPI
000001bc: DUP1
000001bd: PUSH4 0xa217fddf
000001c2: EQ
000001c3: PUSH2 0x0a4b
000001c6: JUMPI
000001c7: DUP1
000001c8: PUSH4 0xa589d9f2
000001cd: EQ
000001ce: PUSH2 0x088a
000001d1: JUMPI
000001d2: DUP1
000001d3: PUSH4 0xa9059cbb
000001d8: EQ
000001d9: PUSH2 0x0859
000001dc: JUMPI
000001dd: DUP1
000001de: PUSH4 0xb6e36c50
000001e3: EQ
000001e4: PUSH2 0x0754
000001e7: JUMPI
000001e8: DUP1
000001e9: PUSH4 0xc54e44eb
000001ee: EQ
000001ef: PUSH2 0x0726
000001f2: JUMPI
000001f3: DUP1
000001f4: PUSH4 0xc5f956af
000001f9: EQ
000001fa: PUSH2 0x0700
000001fd: JUMPI
000001fe: DUP1
000001ff: PUSH4 0xc824ecfa
00000204: EQ
00000205: PUSH2 0x06c3
00000208: JUMPI
00000209: DUP1
0000020a: PUSH4 0xcbe52ae3
0000020f: EQ
00000210: PUSH2 0x0687
00000213: JUMPI
00000214: DUP1
00000215: PUSH4 0xcd596583
0000021a: EQ
0000021b: PUSH2 0x0661
0000021e: JUMPI
0000021f: DUP1
00000220: PUSH4 0xd11a57ec
00000225: EQ
00000226: PUSH2 0x0627
00000229: JUMPI
0000022a: DUP1
0000022b: PUSH4 0xd505accf
00000230: EQ
00000231: PUSH2 0x04a3
00000234: JUMPI
00000235: DUP1
00000236: PUSH4 0xd547741f
0000023b: EQ
0000023c: PUSH2 0x045e
0000023f: JUMPI
00000240: DUP1
00000241: PUSH4 0xd83993e8
00000246: EQ
00000247: PUSH2 0x0435
0000024a: JUMPI
0000024b: DUP1
0000024c: PUSH4 0xd9c146de
00000251: EQ
00000252: PUSH2 0x040e
00000255: JUMPI
00000256: DUP1
00000257: PUSH4 0xd9f98ef1
0000025c: EQ
0000025d: PUSH2 0x0316
00000260: JUMPI
00000261: DUP1
00000262: PUSH4 0xdbd5edc7
00000267: EQ
00000268: PUSH2 0x02f9
0000026b: JUMPI
0000026c: DUP1
0000026d: PUSH4 0xdd62ed3e
00000272: EQ
00000273: PUSH2 0x02a5
00000276: JUMPI
00000277: PUSH4 0xfef4aea2
0000027c: EQ
0000027d: PUSH2 0x0284
00000280: JUMPI
00000281: PUSH0
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: CALLVALUE
00000286: PUSH2 0x02a1
00000289: JUMPI
0000028a: PUSH0
0000028b: PUSH1 0x03
0000028d: NOT
0000028e: CALLDATASIZE
0000028f: ADD
00000290: SLT
00000291: PUSH2 0x02a1
00000294: JUMPI
00000295: PUSH1 0x20
00000297: PUSH1 0x11
00000299: SLOAD
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: SWAP1
0000029e: DUP2
0000029f: MSTORE
000002a0: RETURN
000002a1: JUMPDEST
000002a2: PUSH0
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: PUSH2 0x02a1
000002aa: JUMPI
000002ab: PUSH1 0x40
000002ad: PUSH1 0x03
000002af: NOT
000002b0: CALLDATASIZE
000002b1: ADD
000002b2: SLT
000002b3: PUSH2 0x02a1
000002b6: JUMPI
000002b7: PUSH2 0x02be
000002ba: PUSH2 0x2303
000002bd: JUMP
000002be: JUMPDEST
000002bf: PUSH1 0x01
000002c1: PUSH1 0x01
000002c3: PUSH1 0xa0
000002c5: SHL
000002c6: SUB
000002c7: PUSH2 0x02ce
000002ca: PUSH2 0x2319
000002cd: JUMP
000002ce: JUMPDEST
000002cf: SWAP2
000002d0: AND
000002d1: PUSH0
000002d2: MSTORE
000002d3: PUSH1 0x01
000002d5: PUSH1 0x20
000002d7: MSTORE
000002d8: PUSH1 0x01
000002da: PUSH1 0x01
000002dc: PUSH1 0xa0
000002de: SHL
000002df: SUB
000002e0: PUSH1 0x40
000002e2: PUSH0
000002e3: KECCAK256
000002e4: SWAP2
000002e5: AND
000002e6: PUSH0
000002e7: MSTORE
000002e8: PUSH1 0x20
000002ea: MSTORE
000002eb: PUSH1 0x20
000002ed: PUSH1 0x40
000002ef: PUSH0
000002f0: KECCAK256
000002f1: SLOAD
000002f2: PUSH1 0x40
000002f4: MLOAD
000002f5: SWAP1
000002f6: DUP2
000002f7: MSTORE
000002f8: RETURN
000002f9: JUMPDEST
000002fa: CALLVALUE
000002fb: PUSH2 0x02a1
000002fe: JUMPI
000002ff: PUSH0
00000300: PUSH1 0x03
00000302: NOT
00000303: CALLDATASIZE
00000304: ADD
00000305: SLT
00000306: PUSH2 0x02a1
00000309: JUMPI
0000030a: PUSH1 0x20
0000030c: PUSH1 0x0b
0000030e: SLOAD
0000030f: PUSH1 0x40
00000311: MLOAD
00000312: SWAP1
00000313: DUP2
00000314: MSTORE
00000315: RETURN
00000316: JUMPDEST
00000317: CALLVALUE
00000318: PUSH2 0x02a1
0000031b: JUMPI
0000031c: PUSH2 0x0324
0000031f: CALLDATASIZE
00000320: PUSH2 0x232f
00000323: JUMP
00000324: JUMPDEST
00000325: SWAP1
00000326: PUSH2 0x032d
00000329: PUSH2 0x26a9
0000032c: JUMP
0000032d: JUMPDEST
0000032e: DUP3
0000032f: ISZERO
00000330: PUSH2 0x03e6
00000333: JUMPI
00000334: PUSH1 0x01
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: SHL
0000033b: SUB
0000033c: DUP3
0000033d: AND
0000033e: SWAP2
0000033f: DUP3
00000340: PUSH0
00000341: MSTORE
00000342: PUSH1 0x0d
00000344: PUSH1 0x20
00000346: MSTORE
00000347: PUSH1 0xff
00000349: PUSH1 0x40
0000034b: PUSH0
0000034c: KECCAK256
0000034d: SLOAD
0000034e: AND
0000034f: PUSH2 0x03be
00000352: JUMPI
00000353: PUSH2 0x037d
00000356: SWAP2
00000357: PUSH2 0x0378
0000035a: DUP6
0000035b: DUP1
0000035c: SWAP4
0000035d: DUP7
0000035e: CALLER
0000035f: SUB
00000360: PUSH2 0x03ae
00000363: JUMPI
00000364: JUMPDEST
00000365: PUSH2 0x0370
00000368: DUP3
00000369: PUSH1 0x0f
0000036b: SLOAD
0000036c: PUSH2 0x23eb
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH1 0x0f
00000373: SSTORE
00000374: PUSH2 0x281b
00000377: JUMP
00000378: JUMPDEST
00000379: PUSH2 0x28cc
0000037c: JUMP
0000037d: JUMPDEST
0000037e: PUSH32 0x4e015b9ce8d388e64046b74a55b753a1677d9b274993c4630923f38824a2eca4
0000039f: PUSH1 0x20
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: DUP5
000003a5: DUP2
000003a6: MSTORE
000003a7: LOG3
000003a8: PUSH1 0x01
000003aa: PUSH1 0x09
000003ac: SSTORE
000003ad: STOP
000003ae: JUMPDEST
000003af: PUSH2 0x03b9
000003b2: DUP3
000003b3: CALLER
000003b4: DUP4
000003b5: PUSH2 0x26e2
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH2 0x0364
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH32 0xa8fdf60100000000000000000000000000000000000000000000000000000000
000003e0: PUSH0
000003e1: MSTORE
000003e2: PUSH1 0x04
000003e4: PUSH0
000003e5: REVERT
000003e6: JUMPDEST
000003e7: PUSH32 0x1f2a200500000000000000000000000000000000000000000000000000000000
00000408: PUSH0
00000409: MSTORE
0000040a: PUSH1 0x04
0000040c: PUSH0
0000040d: REVERT
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: PUSH2 0x02a1
00000413: JUMPI
00000414: PUSH0
00000415: PUSH1 0x03
00000417: NOT
00000418: CALLDATASIZE
00000419: ADD
0000041a: SLT
0000041b: PUSH2 0x02a1
0000041e: JUMPI
0000041f: PUSH1 0x20
00000421: PUSH8 0xffffffffffffffff
0000042a: PUSH1 0x0a
0000042c: SLOAD
0000042d: AND
0000042e: PUSH1 0x40
00000430: MLOAD
00000431: SWAP1
00000432: DUP2
00000433: MSTORE
00000434: RETURN
00000435: JUMPDEST
00000436: CALLVALUE
00000437: PUSH2 0x02a1
0000043a: JUMPI
0000043b: PUSH1 0x20
0000043d: PUSH1 0x03
0000043f: NOT
00000440: CALLDATASIZE
00000441: ADD
00000442: SLT
00000443: PUSH2 0x02a1
00000446: JUMPI
00000447: PUSH1 0x20
00000449: PUSH2 0x0454
0000044c: PUSH1 0x04
0000044e: CALLDATALOAD
0000044f: CALLER
00000450: PUSH2 0x2599
00000453: JUMP
00000454: JUMPDEST
00000455: POP
00000456: POP
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: SWAP1
0000045b: DUP2
0000045c: MSTORE
0000045d: RETURN
0000045e: JUMPDEST
0000045f: CALLVALUE
00000460: PUSH2 0x02a1
00000463: JUMPI
00000464: PUSH1 0x40
00000466: PUSH1 0x03
00000468: NOT
00000469: CALLDATASIZE
0000046a: ADD
0000046b: SLT
0000046c: PUSH2 0x02a1
0000046f: JUMPI
00000470: PUSH2 0x04a1
00000473: PUSH1 0x04
00000475: CALLDATALOAD
00000476: PUSH2 0x047d
00000479: PUSH2 0x2319
0000047c: JUMP
0000047d: JUMPDEST
0000047e: SWAP1
0000047f: PUSH2 0x049c
00000482: PUSH2 0x0497
00000485: DUP3
00000486: PUSH0
00000487: MSTORE
00000488: PUSH1 0x08
0000048a: PUSH1 0x20
0000048c: MSTORE
0000048d: PUSH1 0x01
0000048f: PUSH1 0x40
00000491: PUSH0
00000492: KECCAK256
00000493: ADD
00000494: SLOAD
00000495: SWAP1
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x29be
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH2 0x2be6
000004a0: JUMP
000004a1: JUMPDEST
000004a2: STOP
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: PUSH2 0x02a1
000004a8: JUMPI
000004a9: PUSH1 0xe0
000004ab: PUSH1 0x03
000004ad: NOT
000004ae: CALLDATASIZE
000004af: ADD
000004b0: SLT
000004b1: PUSH2 0x02a1
000004b4: JUMPI
000004b5: PUSH2 0x04bc
000004b8: PUSH2 0x2303
000004bb: JUMP
000004bc: JUMPDEST
000004bd: PUSH2 0x04c4
000004c0: PUSH2 0x2319
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x44
000004c7: CALLDATALOAD
000004c8: SWAP1
000004c9: PUSH1 0x64
000004cb: CALLDATALOAD
000004cc: SWAP3
000004cd: PUSH1 0x84
000004cf: CALLDATALOAD
000004d0: PUSH1 0xff
000004d2: DUP2
000004d3: AND
000004d4: DUP2
000004d5: SUB
000004d6: PUSH2 0x02a1
000004d9: JUMPI
000004da: DUP5
000004db: TIMESTAMP
000004dc: GT
000004dd: PUSH2 0x05fb
000004e0: JUMPI
000004e1: PUSH2 0x05b8
000004e4: PUSH2 0x05af
000004e7: PUSH1 0x01
000004e9: PUSH1 0x01
000004eb: PUSH1 0xa0
000004ed: SHL
000004ee: SUB
000004ef: SWAP3
000004f0: DUP4
000004f1: DUP6
000004f2: AND
000004f3: SWAP8
000004f4: DUP9
000004f5: PUSH0
000004f6: MSTORE
000004f7: PUSH1 0x07
000004f9: PUSH1 0x20
000004fb: MSTORE
000004fc: PUSH1 0x40
000004fe: PUSH0
000004ff: KECCAK256
00000500: SWAP1
00000501: DUP2
00000502: SLOAD
00000503: SWAP2
00000504: PUSH1 0x01
00000506: DUP4
00000507: ADD
00000508: SWAP1
00000509: SSTORE
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: SWAP1
0000050e: PUSH1 0x20
00000510: DUP3
00000511: ADD
00000512: SWAP3
00000513: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
00000534: DUP5
00000535: MSTORE
00000536: DUP12
00000537: PUSH1 0x40
00000539: DUP5
0000053a: ADD
0000053b: MSTORE
0000053c: DUP8
0000053d: DUP11
0000053e: AND
0000053f: PUSH1 0x60
00000541: DUP5
00000542: ADD
00000543: MSTORE
00000544: DUP11
00000545: PUSH1 0x80
00000547: DUP5
00000548: ADD
00000549: MSTORE
0000054a: PUSH1 0xa0
0000054c: DUP4
0000054d: ADD
0000054e: MSTORE
0000054f: PUSH1 0xc0
00000551: DUP3
00000552: ADD
00000553: MSTORE
00000554: PUSH1 0xc0
00000556: DUP2
00000557: MSTORE
00000558: PUSH2 0x0562
0000055b: PUSH1 0xe0
0000055d: DUP3
0000055e: PUSH2 0x23f8
00000561: JUMP
00000562: JUMPDEST
00000563: MLOAD
00000564: SWAP1
00000565: KECCAK256
00000566: PUSH2 0x056d
00000569: PUSH2 0x2aca
0000056c: JUMP
0000056d: JUMPDEST
0000056e: SWAP1
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: SWAP2
00000573: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00000594: DUP4
00000595: MSTORE
00000596: PUSH1 0x02
00000598: DUP4
00000599: ADD
0000059a: MSTORE
0000059b: PUSH1 0x22
0000059d: DUP3
0000059e: ADD
0000059f: MSTORE
000005a0: PUSH1 0xc4
000005a2: CALLDATALOAD
000005a3: SWAP2
000005a4: PUSH1 0x42
000005a6: PUSH1 0xa4
000005a8: CALLDATALOAD
000005a9: SWAP3
000005aa: KECCAK256
000005ab: PUSH2 0x31a7
000005ae: JUMP
000005af: JUMPDEST
000005b0: SWAP1
000005b1: SWAP3
000005b2: SWAP2
000005b3: SWAP3
000005b4: PUSH2 0x3233
000005b7: JUMP
000005b8: JUMPDEST
000005b9: AND
000005ba: DUP5
000005bb: DUP2
000005bc: SUB
000005bd: PUSH2 0x05cb
000005c0: JUMPI
000005c1: POP
000005c2: PUSH2 0x04a1
000005c5: SWAP4
000005c6: POP
000005c7: PUSH2 0x2cb2
000005ca: JUMP
000005cb: JUMPDEST
000005cc: DUP5
000005cd: SWAP1
000005ce: PUSH32 0x4b800e4600000000000000000000000000000000000000000000000000000000
000005ef: PUSH0
000005f0: MSTORE
000005f1: PUSH1 0x04
000005f3: MSTORE
000005f4: PUSH1 0x24
000005f6: MSTORE
000005f7: PUSH1 0x44
000005f9: PUSH0
000005fa: REVERT
000005fb: JUMPDEST
000005fc: DUP5
000005fd: PUSH32 0x6279130200000000000000000000000000000000000000000000000000000000
0000061e: PUSH0
0000061f: MSTORE
00000620: PUSH1 0x04
00000622: MSTORE
00000623: PUSH1 0x24
00000625: PUSH0
00000626: REVERT
00000627: JUMPDEST
00000628: CALLVALUE
00000629: PUSH2 0x02a1
0000062c: JUMPI
0000062d: PUSH0
0000062e: PUSH1 0x03
00000630: NOT
00000631: CALLDATASIZE
00000632: ADD
00000633: SLT
00000634: PUSH2 0x02a1
00000637: JUMPI
00000638: PUSH1 0x20
0000063a: PUSH1 0x40
0000063c: MLOAD
0000063d: PUSH32 0xe1dcbdb91df27212a29bc27177c840cf2f819ecf2187432e1fac86c2dd5dfca9
0000065e: DUP2
0000065f: MSTORE
00000660: RETURN
00000661: JUMPDEST
00000662: CALLVALUE
00000663: PUSH2 0x02a1
00000666: JUMPI
00000667: PUSH0
00000668: PUSH1 0x03
0000066a: NOT
0000066b: CALLDATASIZE
0000066c: ADD
0000066d: SLT
0000066e: PUSH2 0x02a1
00000671: JUMPI
00000672: PUSH1 0x20
00000674: PUSH1 0x01
00000676: PUSH1 0x01
00000678: PUSH1 0xa0
0000067a: SHL
0000067b: SUB
0000067c: PUSH1 0x0c
0000067e: SLOAD
0000067f: AND
00000680: PUSH1 0x40
00000682: MLOAD
00000683: SWAP1
00000684: DUP2
00000685: MSTORE
00000686: RETURN
00000687: JUMPDEST
00000688: CALLVALUE
00000689: PUSH2 0x02a1
0000068c: JUMPI
0000068d: PUSH1 0x40
0000068f: PUSH1 0x03
00000691: NOT
00000692: CALLDATASIZE
00000693: ADD
00000694: SLT
00000695: PUSH2 0x02a1
00000698: JUMPI
00000699: PUSH1 0x60
0000069b: PUSH2 0x06ae
0000069e: PUSH2 0x06a5
000006a1: PUSH2 0x2303
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0x24
000006a8: CALLDATALOAD
000006a9: SWAP1
000006aa: PUSH2 0x2599
000006ad: JUMP
000006ae: JUMPDEST
000006af: SWAP1
000006b0: PUSH1 0x40
000006b2: MLOAD
000006b3: SWAP3
000006b4: DUP4
000006b5: MSTORE
000006b6: PUSH1 0x20
000006b8: DUP4
000006b9: ADD
000006ba: MSTORE
000006bb: ISZERO
000006bc: ISZERO
000006bd: PUSH1 0x40
000006bf: DUP3
000006c0: ADD
000006c1: MSTORE
000006c2: RETURN
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: PUSH2 0x02a1
000006c8: JUMPI
000006c9: PUSH1 0x20
000006cb: PUSH1 0x03
000006cd: NOT
000006ce: CALLDATASIZE
000006cf: ADD
000006d0: SLT
000006d1: PUSH2 0x02a1
000006d4: JUMPI
000006d5: PUSH1 0x01
000006d7: PUSH1 0x01
000006d9: PUSH1 0xa0
000006db: SHL
000006dc: SUB
000006dd: PUSH2 0x06e4
000006e0: PUSH2 0x2303
000006e3: JUMP
000006e4: JUMPDEST
000006e5: AND
000006e6: PUSH0
000006e7: MSTORE
000006e8: PUSH1 0x0d
000006ea: PUSH1 0x20
000006ec: MSTORE
000006ed: PUSH1 0x20
000006ef: PUSH1 0xff
000006f1: PUSH1 0x40
000006f3: PUSH0
000006f4: KECCAK256
000006f5: SLOAD
000006f6: AND
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: SWAP1
000006fb: ISZERO
000006fc: ISZERO
000006fd: DUP2
000006fe: MSTORE
000006ff: RETURN
00000700: JUMPDEST
00000701: CALLVALUE
00000702: PUSH2 0x02a1
00000705: JUMPI
00000706: PUSH0
00000707: PUSH1 0x03
00000709: NOT
0000070a: CALLDATASIZE
0000070b: ADD
0000070c: SLT
0000070d: PUSH2 0x02a1
00000710: JUMPI
00000711: PUSH1 0x20
00000713: PUSH1 0x01
00000715: PUSH1 0x01
00000717: PUSH1 0xa0
00000719: SHL
0000071a: SUB
0000071b: PUSH1 0x0e
0000071d: SLOAD
0000071e: AND
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: SWAP1
00000723: DUP2
00000724: MSTORE
00000725: RETURN
00000726: JUMPDEST
00000727: CALLVALUE
00000728: PUSH2 0x02a1
0000072b: JUMPI
0000072c: PUSH0
0000072d: PUSH1 0x03
0000072f: NOT
00000730: CALLDATASIZE
00000731: ADD
00000732: SLT
00000733: PUSH2 0x02a1
00000736: JUMPI
00000737: PUSH1 0x20
00000739: PUSH1 0x40
0000073b: MLOAD
0000073c: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
00000751: DUP2
00000752: MSTORE
00000753: RETURN
00000754: JUMPDEST
00000755: CALLVALUE
00000756: PUSH2 0x02a1
00000759: JUMPI
0000075a: PUSH0
0000075b: PUSH1 0x03
0000075d: NOT
0000075e: CALLDATASIZE
0000075f: ADD
00000760: SLT
00000761: PUSH2 0x02a1
00000764: JUMPI
00000765: PUSH32 0x0000000000000000000000000000000000000000000000000000000069e6a977
00000786: TIMESTAMP
00000787: LT
00000788: PUSH2 0x0831
0000078b: JUMPI
0000078c: PUSH1 0x0e
0000078e: SLOAD
0000078f: PUSH21 0x040000000000000000000000000000000000000000
000007a5: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000007c6: PUSH1 0xff
000007c8: DUP4
000007c9: PUSH1 0xa0
000007cb: SHR
000007cc: AND
000007cd: SWAP3
000007ce: AND
000007cf: OR
000007d0: PUSH1 0x0e
000007d2: SSTORE
000007d3: PUSH1 0x05
000007d5: DUP2
000007d6: LT
000007d7: ISZERO
000007d8: PUSH2 0x0804
000007db: JUMPI
000007dc: PUSH1 0x04
000007de: SWAP1
000007df: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74
00000800: PUSH0
00000801: DUP1
00000802: LOG3
00000803: STOP
00000804: JUMPDEST
00000805: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000826: PUSH0
00000827: MSTORE
00000828: PUSH1 0x21
0000082a: PUSH1 0x04
0000082c: MSTORE
0000082d: PUSH1 0x24
0000082f: PUSH0
00000830: REVERT
00000831: JUMPDEST
00000832: PUSH32 0x1307e40f00000000000000000000000000000000000000000000000000000000
00000853: PUSH0
00000854: MSTORE
00000855: PUSH1 0x04
00000857: PUSH0
00000858: REVERT
00000859: JUMPDEST
0000085a: CALLVALUE
0000085b: PUSH2 0x02a1
0000085e: JUMPI
0000085f: PUSH1 0x40
00000861: PUSH1 0x03
00000863: NOT
00000864: CALLDATASIZE
00000865: ADD
00000866: SLT
00000867: PUSH2 0x02a1
0000086a: JUMPI
0000086b: PUSH2 0x087f
0000086e: PUSH2 0x0875
00000871: PUSH2 0x2303
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x24
00000878: CALLDATALOAD
00000879: SWAP1
0000087a: CALLER
0000087b: PUSH2 0x2a18
0000087e: JUMP
0000087f: JUMPDEST
00000880: PUSH1 0x20
00000882: PUSH1 0x40
00000884: MLOAD
00000885: PUSH1 0x01
00000887: DUP2
00000888: MSTORE
00000889: RETURN
0000088a: JUMPDEST
0000088b: CALLVALUE
0000088c: PUSH2 0x02a1
0000088f: JUMPI
00000890: PUSH1 0x40
00000892: PUSH1 0x03
00000894: NOT
00000895: CALLDATASIZE
00000896: ADD
00000897: SLT
00000898: PUSH2 0x02a1
0000089b: JUMPI
0000089c: PUSH2 0x08a3
0000089f: PUSH2 0x23d4
000008a2: JUMP
000008a3: JUMPDEST
000008a4: PUSH1 0x24
000008a6: CALLDATALOAD
000008a7: PUSH8 0xffffffffffffffff
000008b0: DUP2
000008b1: AND
000008b2: SWAP2
000008b3: DUP3
000008b4: DUP3
000008b5: SUB
000008b6: PUSH2 0x02a1
000008b9: JUMPI
000008ba: PUSH2 0x08c1
000008bd: PUSH2 0x2936
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH1 0xff
000008c4: PUSH1 0x0e
000008c6: SLOAD
000008c7: PUSH1 0xa0
000008c9: SHR
000008ca: AND
000008cb: PUSH1 0x05
000008cd: DUP2
000008ce: LT
000008cf: ISZERO
000008d0: PUSH2 0x0804
000008d3: JUMPI
000008d4: DUP1
000008d5: PUSH2 0x0a16
000008d8: JUMPI
000008d9: POP
000008da: PUSH1 0x0a
000008dc: SLOAD
000008dd: SWAP1
000008de: PUSH8 0xffffffffffffffff
000008e7: DUP3
000008e8: AND
000008e9: DUP1
000008ea: ISZERO
000008eb: DUP1
000008ec: DUP1
000008ed: PUSH2 0x09ff
000008f0: JUMPI
000008f1: JUMPDEST
000008f2: ISZERO
000008f3: SWAP2
000008f4: DUP3
000008f5: PUSH2 0x09f5
000008f8: JUMPI
000008f9: JUMPDEST
000008fa: POP
000008fb: ISZERO
000008fc: SWAP1
000008fd: DUP2
000008fe: PUSH2 0x09ec
00000901: JUMPI
00000902: JUMPDEST
00000903: POP
00000904: PUSH2 0x09c4
00000907: JUMPI
00000908: PUSH8 0xffffffffffffffff
00000911: AND
00000912: SWAP2
00000913: DUP3
00000914: ISZERO
00000915: DUP1
00000916: ISZERO
00000917: PUSH2 0x09bc
0000091a: JUMPI
0000091b: JUMPDEST
0000091c: PUSH2 0x0994
0000091f: JUMPI
00000920: DUP4
00000921: DUP4
00000922: LT
00000923: ISZERO
00000924: PUSH2 0x0994
00000927: JUMPI
00000928: TIMESTAMP
00000929: DUP4
0000092a: GT
0000092b: ISZERO
0000092c: PUSH2 0x0994
0000092f: JUMPI
00000930: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00000951: PUSH16 0xffffffffffffffff0000000000000000
00000962: DUP5
00000963: SWAP3
00000964: PUSH1 0x40
00000966: SHL
00000967: AND
00000968: SWAP3
00000969: AND
0000096a: OR
0000096b: OR
0000096c: PUSH1 0x0a
0000096e: SSTORE
0000096f: PUSH32 0x709a99e52f3ad08814a91314c2ce5127558c0ffeb6d0a5df5a637276cb804d6e
00000990: PUSH0
00000991: DUP1
00000992: LOG3
00000993: STOP
00000994: JUMPDEST
00000995: PUSH32 0x4994dc0200000000000000000000000000000000000000000000000000000000
000009b6: PUSH0
000009b7: MSTORE
000009b8: PUSH1 0x04
000009ba: PUSH0
000009bb: REVERT
000009bc: JUMPDEST
000009bd: POP
000009be: DUP4
000009bf: ISZERO
000009c0: PUSH2 0x091b
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH32 0x18b24c3600000000000000000000000000000000000000000000000000000000
000009e6: PUSH0
000009e7: MSTORE
000009e8: PUSH1 0x04
000009ea: PUSH0
000009eb: REVERT
000009ec: JUMPDEST
000009ed: SWAP1
000009ee: POP
000009ef: ISZERO
000009f0: DUP6
000009f1: PUSH2 0x0902
000009f4: JUMP
000009f5: JUMPDEST
000009f6: TIMESTAMP
000009f7: LT
000009f8: SWAP2
000009f9: POP
000009fa: DUP7
000009fb: PUSH2 0x08f9
000009fe: JUMP
000009ff: JUMPDEST
00000a00: SWAP1
00000a01: POP
00000a02: PUSH8 0xffffffffffffffff
00000a0b: DUP5
00000a0c: PUSH1 0x40
00000a0e: SHR
00000a0f: AND
00000a10: ISZERO
00000a11: SWAP1
00000a12: PUSH2 0x08f1
00000a15: JUMP
00000a16: JUMPDEST
00000a17: PUSH2 0x0a42
00000a1a: SWAP1
00000a1b: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000
00000a3c: PUSH0
00000a3d: MSTORE
00000a3e: PUSH2 0x23c6
00000a41: JUMP
00000a42: JUMPDEST
00000a43: PUSH0
00000a44: PUSH1 0x24
00000a46: MSTORE
00000a47: PUSH1 0x44
00000a49: PUSH0
00000a4a: REVERT
00000a4b: JUMPDEST
00000a4c: CALLVALUE
00000a4d: PUSH2 0x02a1
00000a50: JUMPI
00000a51: PUSH0
00000a52: PUSH1 0x03
00000a54: NOT
00000a55: CALLDATASIZE
00000a56: ADD
00000a57: SLT
00000a58: PUSH2 0x02a1
00000a5b: JUMPI
00000a5c: PUSH1 0x20
00000a5e: PUSH1 0x40
00000a60: MLOAD
00000a61: PUSH0
00000a62: DUP2
00000a63: MSTORE
00000a64: RETURN
00000a65: JUMPDEST
00000a66: CALLVALUE
00000a67: PUSH2 0x02a1
00000a6a: JUMPI
00000a6b: PUSH0
00000a6c: PUSH1 0x03
00000a6e: NOT
00000a6f: CALLDATASIZE
00000a70: ADD
00000a71: SLT
00000a72: PUSH2 0x02a1
00000a75: JUMPI
00000a76: PUSH1 0x20
00000a78: PUSH8 0xffffffffffffffff
00000a81: PUSH1 0x0a
00000a83: SLOAD
00000a84: PUSH1 0x40
00000a86: SHR
00000a87: AND
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: SWAP1
00000a8c: DUP2
00000a8d: MSTORE
00000a8e: RETURN
00000a8f: JUMPDEST
00000a90: CALLVALUE
00000a91: PUSH2 0x02a1
00000a94: JUMPI
00000a95: PUSH0
00000a96: PUSH1 0x03
00000a98: NOT
00000a99: CALLDATASIZE
00000a9a: ADD
00000a9b: SLT
00000a9c: PUSH2 0x02a1
00000a9f: JUMPI
00000aa0: PUSH2 0x0aa7
00000aa3: PUSH2 0x2936
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH1 0xff
00000aaa: PUSH1 0x0e
00000aac: SLOAD
00000aad: PUSH1 0xa0
00000aaf: SHR
00000ab0: AND
00000ab1: PUSH1 0x05
00000ab3: DUP2
00000ab4: LT
00000ab5: ISZERO
00000ab6: PUSH2 0x0804
00000ab9: JUMPI
00000aba: DUP1
00000abb: PUSH2 0x0a16
00000abe: JUMPI
00000abf: PUSH1 0x0e
00000ac1: SLOAD
00000ac2: PUSH21 0x010000000000000000000000000000000000000000
00000ad8: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00000af9: PUSH1 0xff
00000afb: DUP4
00000afc: PUSH1 0xa0
00000afe: SHR
00000aff: AND
00000b00: SWAP3
00000b01: AND
00000b02: OR
00000b03: PUSH1 0x0e
00000b05: SSTORE
00000b06: PUSH1 0x05
00000b08: DUP2
00000b09: LT
00000b0a: ISZERO
00000b0b: PUSH2 0x0804
00000b0e: JUMPI
00000b0f: PUSH1 0x01
00000b11: SWAP1
00000b12: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74
00000b33: PUSH0
00000b34: DUP1
00000b35: LOG3
00000b36: STOP
00000b37: JUMPDEST
00000b38: CALLVALUE
00000b39: PUSH2 0x02a1
00000b3c: JUMPI
00000b3d: PUSH0
00000b3e: PUSH1 0x03
00000b40: NOT
00000b41: CALLDATASIZE
00000b42: ADD
00000b43: SLT
00000b44: PUSH2 0x02a1
00000b47: JUMPI
00000b48: PUSH1 0x40
00000b4a: MLOAD
00000b4b: PUSH0
00000b4c: PUSH1 0x04
00000b4e: SLOAD
00000b4f: PUSH2 0x0b57
00000b52: DUP2
00000b53: PUSH2 0x2466
00000b56: JUMP
00000b57: JUMPDEST
00000b58: DUP1
00000b59: DUP5
00000b5a: MSTORE
00000b5b: SWAP1
00000b5c: PUSH1 0x01
00000b5e: DUP2
00000b5f: AND
00000b60: SWAP1
00000b61: DUP2
00000b62: ISZERO
00000b63: PUSH2 0x0bf5
00000b66: JUMPI
00000b67: POP
00000b68: PUSH1 0x01
00000b6a: EQ
00000b6b: PUSH2 0x0b97
00000b6e: JUMPI
00000b6f: JUMPDEST
00000b70: PUSH2 0x0b93
00000b73: DUP4
00000b74: PUSH2 0x0b7f
00000b77: DUP2
00000b78: DUP6
00000b79: SUB
00000b7a: DUP3
00000b7b: PUSH2 0x23f8
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x40
00000b82: MLOAD
00000b83: SWAP2
00000b84: DUP3
00000b85: SWAP2
00000b86: PUSH1 0x20
00000b88: DUP4
00000b89: MSTORE
00000b8a: PUSH1 0x20
00000b8c: DUP4
00000b8d: ADD
00000b8e: SWAP1
00000b8f: PUSH2 0x2369
00000b92: JUMP
00000b93: JUMPDEST
00000b94: SUB
00000b95: SWAP1
00000b96: RETURN
00000b97: JUMPDEST
00000b98: PUSH1 0x04
00000b9a: PUSH0
00000b9b: SWAP1
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00000bbf: SWAP4
00000bc0: SWAP3
00000bc1: POP
00000bc2: SWAP1
00000bc3: JUMPDEST
00000bc4: DUP1
00000bc5: DUP3
00000bc6: LT
00000bc7: PUSH2 0x0bdb
00000bca: JUMPI
00000bcb: POP
00000bcc: SWAP1
00000bcd: SWAP2
00000bce: POP
00000bcf: DUP2
00000bd0: ADD
00000bd1: PUSH1 0x20
00000bd3: ADD
00000bd4: PUSH2 0x0b7f
00000bd7: PUSH2 0x0b6f
00000bda: JUMP
00000bdb: JUMPDEST
00000bdc: SWAP2
00000bdd: SWAP3
00000bde: PUSH1 0x01
00000be0: DUP2
00000be1: PUSH1 0x20
00000be3: SWAP3
00000be4: SLOAD
00000be5: DUP4
00000be6: DUP6
00000be7: DUP9
00000be8: ADD
00000be9: ADD
00000bea: MSTORE
00000beb: ADD
00000bec: SWAP2
00000bed: ADD
00000bee: SWAP1
00000bef: SWAP3
00000bf0: SWAP2
00000bf1: PUSH2 0x0bc3
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: PUSH1 0xff
00000bf8: NOT
00000bf9: AND
00000bfa: PUSH1 0x20
00000bfc: DUP1
00000bfd: DUP7
00000bfe: ADD
00000bff: SWAP2
00000c00: SWAP1
00000c01: SWAP2
00000c02: MSTORE
00000c03: SWAP2
00000c04: ISZERO
00000c05: ISZERO
00000c06: PUSH1 0x05
00000c08: SHL
00000c09: DUP5
00000c0a: ADD
00000c0b: SWAP1
00000c0c: SWAP2
00000c0d: ADD
00000c0e: SWAP2
00000c0f: POP
00000c10: PUSH2 0x0b7f
00000c13: SWAP1
00000c14: POP
00000c15: PUSH2 0x0b6f
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: CALLVALUE
00000c1b: PUSH2 0x02a1
00000c1e: JUMPI
00000c1f: PUSH1 0x40
00000c21: PUSH1 0x03
00000c23: NOT
00000c24: CALLDATASIZE
00000c25: ADD
00000c26: SLT
00000c27: PUSH2 0x02a1
00000c2a: JUMPI
00000c2b: PUSH2 0x0c32
00000c2e: PUSH2 0x2319
00000c31: JUMP
00000c32: JUMPDEST
00000c33: PUSH1 0x04
00000c35: CALLDATALOAD
00000c36: PUSH0
00000c37: MSTORE
00000c38: PUSH1 0x08
00000c3a: PUSH1 0x20
00000c3c: MSTORE
00000c3d: PUSH1 0x01
00000c3f: PUSH1 0x01
00000c41: PUSH1 0xa0
00000c43: SHL
00000c44: SUB
00000c45: PUSH1 0x40
00000c47: PUSH0
00000c48: KECCAK256
00000c49: SWAP2
00000c4a: AND
00000c4b: PUSH0
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: MSTORE
00000c50: PUSH1 0x20
00000c52: PUSH1 0xff
00000c54: PUSH1 0x40
00000c56: PUSH0
00000c57: KECCAK256
00000c58: SLOAD
00000c59: AND
00000c5a: PUSH1 0x40
00000c5c: MLOAD
00000c5d: SWAP1
00000c5e: ISZERO
00000c5f: ISZERO
00000c60: DUP2
00000c61: MSTORE
00000c62: RETURN
00000c63: JUMPDEST
00000c64: CALLVALUE
00000c65: PUSH2 0x02a1
00000c68: JUMPI
00000c69: PUSH0
00000c6a: PUSH1 0x03
00000c6c: NOT
00000c6d: CALLDATASIZE
00000c6e: ADD
00000c6f: SLT
00000c70: PUSH2 0x02a1
00000c73: JUMPI
00000c74: PUSH1 0x20
00000c76: PUSH1 0x40
00000c78: MLOAD
00000c79: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000c8e: DUP2
00000c8f: MSTORE
00000c90: RETURN
00000c91: JUMPDEST
00000c92: CALLVALUE
00000c93: PUSH2 0x02a1
00000c96: JUMPI
00000c97: PUSH0
00000c98: PUSH1 0x03
00000c9a: NOT
00000c9b: CALLDATASIZE
00000c9c: ADD
00000c9d: SLT
00000c9e: PUSH2 0x02a1
00000ca1: JUMPI
00000ca2: PUSH2 0x0ca9
00000ca5: PUSH2 0x2936
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH1 0xff
00000cac: PUSH1 0x0e
00000cae: SLOAD
00000caf: PUSH1 0xa0
00000cb1: SHR
00000cb2: AND
00000cb3: PUSH1 0x05
00000cb5: DUP2
00000cb6: LT
00000cb7: ISZERO
00000cb8: PUSH2 0x0804
00000cbb: JUMPI
00000cbc: PUSH1 0x01
00000cbe: DUP2
00000cbf: SUB
00000cc0: PUSH2 0x0d3c
00000cc3: JUMPI
00000cc4: PUSH1 0x0e
00000cc6: SLOAD
00000cc7: PUSH21 0x020000000000000000000000000000000000000000
00000cdd: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00000cfe: PUSH1 0xff
00000d00: DUP4
00000d01: PUSH1 0xa0
00000d03: SHR
00000d04: AND
00000d05: SWAP3
00000d06: AND
00000d07: OR
00000d08: PUSH1 0x0e
00000d0a: SSTORE
00000d0b: PUSH1 0x05
00000d0d: DUP2
00000d0e: LT
00000d0f: ISZERO
00000d10: PUSH2 0x0804
00000d13: JUMPI
00000d14: PUSH1 0x02
00000d16: SWAP1
00000d17: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74
00000d38: PUSH0
00000d39: DUP1
00000d3a: LOG3
00000d3b: STOP
00000d3c: JUMPDEST
00000d3d: PUSH2 0x0d68
00000d40: SWAP1
00000d41: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000
00000d62: PUSH0
00000d63: MSTORE
00000d64: PUSH2 0x23c6
00000d67: JUMP
00000d68: JUMPDEST
00000d69: PUSH1 0x01
00000d6b: PUSH1 0x24
00000d6d: MSTORE
00000d6e: PUSH1 0x44
00000d70: PUSH0
00000d71: REVERT
00000d72: JUMPDEST
00000d73: CALLVALUE
00000d74: PUSH2 0x02a1
00000d77: JUMPI
00000d78: PUSH1 0x20
00000d7a: PUSH1 0x03
00000d7c: NOT
00000d7d: CALLDATASIZE
00000d7e: ADD
00000d7f: SLT
00000d80: PUSH2 0x02a1
00000d83: JUMPI
00000d84: PUSH1 0x04
00000d86: CALLDATALOAD
00000d87: PUSH2 0x0d8e
00000d8a: PUSH2 0x2936
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0xff
00000d91: PUSH1 0x0e
00000d93: SLOAD
00000d94: PUSH1 0xa0
00000d96: SHR
00000d97: AND
00000d98: PUSH1 0x05
00000d9a: DUP2
00000d9b: LT
00000d9c: ISZERO
00000d9d: PUSH2 0x0804
00000da0: JUMPI
00000da1: DUP1
00000da2: PUSH2 0x0a16
00000da5: JUMPI
00000da6: POP
00000da7: PUSH1 0x0f
00000da9: SLOAD
00000daa: DUP2
00000dab: ISZERO
00000dac: SWAP1
00000dad: DUP2
00000dae: ISZERO
00000daf: PUSH2 0x0e0a
00000db2: JUMPI
00000db3: JUMPDEST
00000db4: POP
00000db5: PUSH2 0x0de2
00000db8: JUMPI
00000db9: DUP1
00000dba: PUSH1 0x0b
00000dbc: SSTORE
00000dbd: PUSH32 0x50e5341d7a4ad030a1a03c7b2bccfa67438c0bdf5c398a3b1d7a64babfbf97fe
00000dde: PUSH0
00000ddf: DUP1
00000de0: LOG2
00000de1: STOP
00000de2: JUMPDEST
00000de3: PUSH32 0x39423ae400000000000000000000000000000000000000000000000000000000
00000e04: PUSH0
00000e05: MSTORE
00000e06: PUSH1 0x04
00000e08: PUSH0
00000e09: REVERT
00000e0a: JUMPDEST
00000e0b: SWAP1
00000e0c: POP
00000e0d: DUP2
00000e0e: LT
00000e0f: DUP3
00000e10: PUSH2 0x0db3
00000e13: JUMP
00000e14: JUMPDEST
00000e15: CALLVALUE
00000e16: PUSH2 0x02a1
00000e19: JUMPI
00000e1a: PUSH0
00000e1b: PUSH1 0x03
00000e1d: NOT
00000e1e: CALLDATASIZE
00000e1f: ADD
00000e20: SLT
00000e21: PUSH2 0x02a1
00000e24: JUMPI
00000e25: PUSH2 0x0ecc
00000e28: PUSH2 0x0e50
00000e2b: PUSH32 0x486f7572676c61737320537461626c65205072652d695553445400000000001a
00000e4c: PUSH2 0x30f7
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: PUSH2 0x0e79
00000e54: PUSH32 0x3100000000000000000000000000000000000000000000000000000000000001
00000e75: PUSH2 0x3170
00000e78: JUMP
00000e79: JUMPDEST
00000e7a: PUSH1 0x20
00000e7c: PUSH2 0x0eda
00000e7f: PUSH1 0x40
00000e81: MLOAD
00000e82: SWAP3
00000e83: PUSH2 0x0e8c
00000e86: DUP4
00000e87: DUP6
00000e88: PUSH2 0x23f8
00000e8b: JUMP
00000e8c: JUMPDEST
00000e8d: PUSH0
00000e8e: DUP5
00000e8f: MSTORE
00000e90: PUSH0
00000e91: CALLDATASIZE
00000e92: DUP2
00000e93: CALLDATACOPY
00000e94: PUSH1 0x40
00000e96: MLOAD
00000e97: SWAP6
00000e98: DUP7
00000e99: SWAP6
00000e9a: PUSH32 0x0f00000000000000000000000000000000000000000000000000000000000000
00000ebb: DUP8
00000ebc: MSTORE
00000ebd: PUSH1 0xe0
00000ebf: DUP6
00000ec0: DUP9
00000ec1: ADD
00000ec2: MSTORE
00000ec3: PUSH1 0xe0
00000ec5: DUP8
00000ec6: ADD
00000ec7: SWAP1
00000ec8: PUSH2 0x2369
00000ecb: JUMP
00000ecc: JUMPDEST
00000ecd: SWAP1
00000ece: DUP6
00000ecf: DUP3
00000ed0: SUB
00000ed1: PUSH1 0x40
00000ed3: DUP8
00000ed4: ADD
00000ed5: MSTORE
00000ed6: PUSH2 0x2369
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: CHAINID
00000edc: PUSH1 0x60
00000ede: DUP6
00000edf: ADD
00000ee0: MSTORE
00000ee1: ADDRESS
00000ee2: PUSH1 0x80
00000ee4: DUP6
00000ee5: ADD
00000ee6: MSTORE
00000ee7: PUSH0
00000ee8: PUSH1 0xa0
00000eea: DUP6
00000eeb: ADD
00000eec: MSTORE
00000eed: DUP4
00000eee: DUP2
00000eef: SUB
00000ef0: PUSH1 0xc0
00000ef2: DUP6
00000ef3: ADD
00000ef4: MSTORE
00000ef5: DUP2
00000ef6: DUP1
00000ef7: DUP5
00000ef8: MLOAD
00000ef9: SWAP3
00000efa: DUP4
00000efb: DUP2
00000efc: MSTORE
00000efd: ADD
00000efe: SWAP4
00000eff: ADD
00000f00: SWAP2
00000f01: PUSH0
00000f02: JUMPDEST
00000f03: DUP3
00000f04: DUP2
00000f05: LT
00000f06: PUSH2 0x0f11
00000f09: JUMPI
00000f0a: POP
00000f0b: POP
00000f0c: POP
00000f0d: POP
00000f0e: SUB
00000f0f: SWAP1
00000f10: RETURN
00000f11: JUMPDEST
00000f12: DUP4
00000f13: MLOAD
00000f14: DUP6
00000f15: MSTORE
00000f16: DUP7
00000f17: SWAP6
00000f18: POP
00000f19: SWAP4
00000f1a: DUP2
00000f1b: ADD
00000f1c: SWAP4
00000f1d: SWAP3
00000f1e: DUP2
00000f1f: ADD
00000f20: SWAP3
00000f21: PUSH1 0x01
00000f23: ADD
00000f24: PUSH2 0x0f02
00000f27: JUMP
00000f28: JUMPDEST
00000f29: CALLVALUE
00000f2a: PUSH2 0x02a1
00000f2d: JUMPI
00000f2e: PUSH2 0x0f36
00000f31: CALLDATASIZE
00000f32: PUSH2 0x232f
00000f35: JUMP
00000f36: JUMPDEST
00000f37: PUSH2 0x0f41
00000f3a: SWAP3
00000f3b: SWAP2
00000f3c: SWAP3
00000f3d: PUSH2 0x26a9
00000f40: JUMP
00000f41: JUMPDEST
00000f42: DUP2
00000f43: ISZERO
00000f44: PUSH2 0x03e6
00000f47: JUMPI
00000f48: PUSH1 0x01
00000f4a: PUSH1 0x01
00000f4c: PUSH1 0xa0
00000f4e: SHL
00000f4f: SUB
00000f50: PUSH1 0x0c
00000f52: SLOAD
00000f53: AND
00000f54: DUP1
00000f55: ISZERO
00000f56: PUSH2 0x1074
00000f59: JUMPI
00000f5a: CALLER
00000f5b: SUB
00000f5c: PUSH2 0x104c
00000f5f: JUMPI
00000f60: PUSH1 0xff
00000f62: PUSH1 0x0e
00000f64: SLOAD
00000f65: PUSH1 0xa0
00000f67: SHR
00000f68: AND
00000f69: PUSH1 0x05
00000f6b: DUP2
00000f6c: LT
00000f6d: ISZERO
00000f6e: PUSH2 0x0804
00000f71: JUMPI
00000f72: PUSH1 0x03
00000f74: DUP2
00000f75: SUB
00000f76: PUSH2 0x1016
00000f79: JUMPI
00000f7a: POP
00000f7b: PUSH2 0x0f84
00000f7e: DUP3
00000f7f: DUP3
00000f80: PUSH2 0x2599
00000f83: JUMP
00000f84: JUMPDEST
00000f85: POP
00000f86: POP
00000f87: SWAP2
00000f88: DUP3
00000f89: ISZERO
00000f8a: PUSH2 0x03e6
00000f8d: JUMPI
00000f8e: PUSH1 0x01
00000f90: PUSH1 0x01
00000f92: PUSH1 0xa0
00000f94: SHL
00000f95: SUB
00000f96: PUSH1 0x20
00000f98: SWAP5
00000f99: PUSH2 0x0fbc
00000f9c: DUP4
00000f9d: DUP4
00000f9e: DUP7
00000f9f: AND
00000fa0: SWAP6
00000fa1: DUP7
00000fa2: CALLER
00000fa3: SUB
00000fa4: PUSH2 0x1006
00000fa7: JUMPI
00000fa8: JUMPDEST
00000fa9: PUSH2 0x0fb4
00000fac: DUP3
00000fad: PUSH1 0x10
00000faf: SLOAD
00000fb0: PUSH2 0x23eb
00000fb3: JUMP
00000fb4: JUMPDEST
00000fb5: PUSH1 0x10
00000fb7: SSTORE
00000fb8: PUSH2 0x281b
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH2 0x0fc6
00000fc0: DUP6
00000fc1: DUP3
00000fc2: PUSH2 0x2862
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: SWAP3
00000fcb: DUP6
00000fcc: DUP5
00000fcd: MSTORE
00000fce: DUP7
00000fcf: DUP5
00000fd0: ADD
00000fd1: MSTORE
00000fd2: AND
00000fd3: SWAP1
00000fd4: PUSH32 0x3a117534609d03284c0de2e963d850ad74cede15eab049804095772d20d494c3
00000ff5: PUSH1 0x40
00000ff7: CALLER
00000ff8: SWAP3
00000ff9: LOG4
00000ffa: PUSH1 0x01
00000ffc: PUSH1 0x09
00000ffe: SSTORE
00000fff: PUSH1 0x40
00001001: MLOAD
00001002: SWAP1
00001003: DUP2
00001004: MSTORE
00001005: RETURN
00001006: JUMPDEST
00001007: PUSH2 0x1011
0000100a: DUP3
0000100b: CALLER
0000100c: DUP4
0000100d: PUSH2 0x26e2
00001010: JUMP
00001011: JUMPDEST
00001012: PUSH2 0x0fa8
00001015: JUMP
00001016: JUMPDEST
00001017: PUSH2 0x1042
0000101a: SWAP1
0000101b: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000
0000103c: PUSH0
0000103d: MSTORE
0000103e: PUSH2 0x23c6
00001041: JUMP
00001042: JUMPDEST
00001043: PUSH1 0x03
00001045: PUSH1 0x24
00001047: MSTORE
00001048: PUSH1 0x44
0000104a: PUSH0
0000104b: REVERT
0000104c: JUMPDEST
0000104d: PUSH32 0xea0e1ccb00000000000000000000000000000000000000000000000000000000
0000106e: PUSH0
0000106f: MSTORE
00001070: PUSH1 0x04
00001072: PUSH0
00001073: REVERT
00001074: JUMPDEST
00001075: PUSH32 0x733fa4c300000000000000000000000000000000000000000000000000000000
00001096: PUSH0
00001097: MSTORE
00001098: PUSH1 0x04
0000109a: PUSH0
0000109b: REVERT
0000109c: JUMPDEST
0000109d: CALLVALUE
0000109e: PUSH2 0x02a1
000010a1: JUMPI
000010a2: PUSH1 0x20
000010a4: PUSH1 0x03
000010a6: NOT
000010a7: CALLDATASIZE
000010a8: ADD
000010a9: SLT
000010aa: PUSH2 0x02a1
000010ad: JUMPI
000010ae: PUSH1 0x01
000010b0: PUSH1 0x01
000010b2: PUSH1 0xa0
000010b4: SHL
000010b5: SUB
000010b6: PUSH2 0x10bd
000010b9: PUSH2 0x2303
000010bc: JUMP
000010bd: JUMPDEST
000010be: AND
000010bf: PUSH0
000010c0: MSTORE
000010c1: PUSH1 0x07
000010c3: PUSH1 0x20
000010c5: MSTORE
000010c6: PUSH1 0x20
000010c8: PUSH1 0x40
000010ca: PUSH0
000010cb: KECCAK256
000010cc: SLOAD
000010cd: PUSH1 0x40
000010cf: MLOAD
000010d0: SWAP1
000010d1: DUP2
000010d2: MSTORE
000010d3: RETURN
000010d4: JUMPDEST
000010d5: CALLVALUE
000010d6: PUSH2 0x02a1
000010d9: JUMPI
000010da: PUSH0
000010db: PUSH1 0x03
000010dd: NOT
000010de: CALLDATASIZE
000010df: ADD
000010e0: SLT
000010e1: PUSH2 0x02a1
000010e4: JUMPI
000010e5: PUSH1 0x40
000010e7: PUSH1 0x0a
000010e9: SLOAD
000010ea: PUSH8 0xffffffffffffffff
000010f3: DUP3
000010f4: MLOAD
000010f5: SWAP2
000010f6: DUP2
000010f7: DUP2
000010f8: AND
000010f9: DUP4
000010fa: MSTORE
000010fb: DUP4
000010fc: SHR
000010fd: AND
000010fe: PUSH1 0x20
00001100: DUP3
00001101: ADD
00001102: MSTORE
00001103: RETURN
00001104: JUMPDEST
00001105: CALLVALUE
00001106: PUSH2 0x02a1
00001109: JUMPI
0000110a: PUSH0
0000110b: PUSH1 0x03
0000110d: NOT
0000110e: CALLDATASIZE
0000110f: ADD
00001110: SLT
00001111: PUSH2 0x02a1
00001114: JUMPI
00001115: PUSH1 0x20
00001117: PUSH1 0x40
00001119: MLOAD
0000111a: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775
0000113b: DUP2
0000113c: MSTORE
0000113d: RETURN
0000113e: JUMPDEST
0000113f: CALLVALUE
00001140: PUSH2 0x02a1
00001143: JUMPI
00001144: PUSH1 0x40
00001146: PUSH1 0x03
00001148: NOT
00001149: CALLDATASIZE
0000114a: ADD
0000114b: SLT
0000114c: PUSH2 0x02a1
0000114f: JUMPI
00001150: PUSH2 0x1157
00001153: PUSH2 0x2303
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH1 0x01
0000115a: PUSH1 0x01
0000115c: PUSH1 0xa0
0000115e: SHL
0000115f: SUB
00001160: PUSH2 0x1167
00001163: PUSH2 0x2319
00001166: JUMP
00001167: JUMPDEST
00001168: SWAP2
00001169: PUSH2 0x1170
0000116c: PUSH2 0x2936
0000116f: JUMP
00001170: JUMPDEST
00001171: AND
00001172: SWAP1
00001173: DUP2
00001174: ISZERO
00001175: PUSH2 0x1359
00001178: JUMPI
00001179: PUSH1 0x01
0000117b: PUSH1 0x01
0000117d: PUSH1 0xa0
0000117f: SHL
00001180: SUB
00001181: AND
00001182: DUP1
00001183: ISZERO
00001184: PUSH2 0x1359
00001187: JUMPI
00001188: PUSH2 0x118f
0000118b: PUSH2 0x26a9
0000118e: JUMP
0000118f: JUMPDEST
00001190: PUSH1 0x40
00001192: MLOAD
00001193: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000011b4: DUP2
000011b5: MSTORE
000011b6: ADDRESS
000011b7: PUSH1 0x04
000011b9: DUP3
000011ba: ADD
000011bb: MSTORE
000011bc: PUSH1 0x20
000011be: DUP2
000011bf: PUSH1 0x24
000011c1: DUP2
000011c2: DUP7
000011c3: GAS
000011c4: STATICCALL
000011c5: SWAP1
000011c6: DUP2
000011c7: ISZERO
000011c8: PUSH2 0x134e
000011cb: JUMPI
000011cc: PUSH0
000011cd: SWAP2
000011ce: PUSH2 0x131c
000011d1: JUMPI
000011d2: JUMPDEST
000011d3: POP
000011d4: PUSH0
000011d5: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000011ea: DUP5
000011eb: SUB
000011ec: PUSH2 0x12c1
000011ef: JUMPI
000011f0: POP
000011f1: PUSH2 0x11ff
000011f4: PUSH1 0x0f
000011f6: SLOAD
000011f7: PUSH1 0x11
000011f9: SLOAD
000011fa: SWAP1
000011fb: PUSH2 0x258c
000011fe: JUMP
000011ff: JUMPDEST
00001200: DUP1
00001201: DUP3
00001202: GT
00001203: ISZERO
00001204: PUSH2 0x12b8
00001207: JUMPI
00001208: PUSH2 0x1210
0000120b: SWAP2
0000120c: PUSH2 0x23eb
0000120f: JUMP
00001210: JUMPDEST
00001211: SWAP2
00001212: JUMPDEST
00001213: DUP3
00001214: ISZERO
00001215: PUSH2 0x1290
00001218: JUMPI
00001219: PUSH2 0x1265
0000121c: PUSH1 0x40
0000121e: MLOAD
0000121f: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00001240: PUSH1 0x20
00001242: DUP3
00001243: ADD
00001244: MSTORE
00001245: DUP4
00001246: PUSH1 0x24
00001248: DUP3
00001249: ADD
0000124a: MSTORE
0000124b: DUP5
0000124c: PUSH1 0x44
0000124e: DUP3
0000124f: ADD
00001250: MSTORE
00001251: PUSH1 0x44
00001253: DUP2
00001254: MSTORE
00001255: PUSH2 0x125f
00001258: PUSH1 0x64
0000125a: DUP3
0000125b: PUSH2 0x23f8
0000125e: JUMP
0000125f: JUMPDEST
00001260: DUP3
00001261: PUSH2 0x308a
00001264: JUMP
00001265: JUMPDEST
00001266: PUSH32 0x0469918f24999e267065319b4027a9fcb08e498e4081aa6a8d216836ae36f101
00001287: PUSH0
00001288: DUP1
00001289: LOG4
0000128a: PUSH1 0x01
0000128c: PUSH1 0x09
0000128e: SSTORE
0000128f: STOP
00001290: JUMPDEST
00001291: PUSH32 0x3bf4796e00000000000000000000000000000000000000000000000000000000
000012b2: PUSH0
000012b3: MSTORE
000012b4: PUSH1 0x04
000012b6: PUSH0
000012b7: REVERT
000012b8: JUMPDEST
000012b9: POP
000012ba: POP
000012bb: PUSH0
000012bc: SWAP2
000012bd: PUSH2 0x1212
000012c0: JUMP
000012c1: JUMPDEST
000012c2: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
000012d7: DUP5
000012d8: SUB
000012d9: PUSH2 0x11ff
000012dc: JUMPI
000012dd: PUSH32 0xcbdd15a900000000000000000000000000000000000000000000000000000000
000012fe: PUSH0
000012ff: MSTORE
00001300: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
00001315: PUSH1 0x04
00001317: MSTORE
00001318: PUSH1 0x24
0000131a: PUSH0
0000131b: REVERT
0000131c: JUMPDEST
0000131d: SWAP1
0000131e: POP
0000131f: PUSH1 0x20
00001321: DUP2
00001322: RETURNDATASIZE
00001323: PUSH1 0x20
00001325: GT
00001326: PUSH2 0x1346
00001329: JUMPI
0000132a: JUMPDEST
0000132b: DUP2
0000132c: PUSH2 0x1337
0000132f: PUSH1 0x20
00001331: SWAP4
00001332: DUP4
00001333: PUSH2 0x23f8
00001336: JUMP
00001337: JUMPDEST
00001338: DUP2
00001339: ADD
0000133a: SUB
0000133b: SLT
0000133c: PUSH2 0x02a1
0000133f: JUMPI
00001340: MLOAD
00001341: DUP4
00001342: PUSH2 0x11d2
00001345: JUMP
00001346: JUMPDEST
00001347: RETURNDATASIZE
00001348: SWAP2
00001349: POP
0000134a: PUSH2 0x132a
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH1 0x40
00001351: MLOAD
00001352: RETURNDATASIZE
00001353: PUSH0
00001354: DUP3
00001355: RETURNDATACOPY
00001356: RETURNDATASIZE
00001357: SWAP1
00001358: REVERT
00001359: JUMPDEST
0000135a: PUSH32 0xd92e233d00000000000000000000000000000000000000000000000000000000
0000137b: PUSH0
0000137c: MSTORE
0000137d: PUSH1 0x04
0000137f: PUSH0
00001380: REVERT
00001381: JUMPDEST
00001382: CALLVALUE
00001383: PUSH2 0x02a1
00001386: JUMPI
00001387: PUSH1 0x20
00001389: PUSH1 0x03
0000138b: NOT
0000138c: CALLDATASIZE
0000138d: ADD
0000138e: SLT
0000138f: PUSH2 0x02a1
00001392: JUMPI
00001393: PUSH1 0x01
00001395: PUSH1 0x01
00001397: PUSH1 0xa0
00001399: SHL
0000139a: SUB
0000139b: PUSH2 0x13a2
0000139e: PUSH2 0x2303
000013a1: JUMP
000013a2: JUMPDEST
000013a3: AND
000013a4: PUSH0
000013a5: MSTORE
000013a6: PUSH0
000013a7: PUSH1 0x20
000013a9: MSTORE
000013aa: PUSH1 0x20
000013ac: PUSH1 0x40
000013ae: PUSH0
000013af: KECCAK256
000013b0: SLOAD
000013b1: PUSH1 0x40
000013b3: MLOAD
000013b4: SWAP1
000013b5: DUP2
000013b6: MSTORE
000013b7: RETURN
000013b8: JUMPDEST
000013b9: CALLVALUE
000013ba: PUSH2 0x02a1
000013bd: JUMPI
000013be: PUSH1 0x40
000013c0: PUSH1 0x03
000013c2: NOT
000013c3: CALLDATASIZE
000013c4: ADD
000013c5: SLT
000013c6: PUSH2 0x02a1
000013c9: JUMPI
000013ca: PUSH1 0x04
000013cc: CALLDATALOAD
000013cd: PUSH2 0x13d4
000013d0: PUSH2 0x2319
000013d3: JUMP
000013d4: JUMPDEST
000013d5: SWAP1
000013d6: PUSH2 0x13dd
000013d9: PUSH2 0x26a9
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0xff
000013e0: PUSH1 0x0e
000013e2: SLOAD
000013e3: PUSH1 0xa0
000013e5: SHR
000013e6: AND
000013e7: PUSH1 0x05
000013e9: DUP2
000013ea: LT
000013eb: ISZERO
000013ec: PUSH2 0x0804
000013ef: JUMPI
000013f0: DUP1
000013f1: PUSH2 0x0a16
000013f4: JUMPI
000013f5: POP
000013f6: PUSH2 0x13fd
000013f9: PUSH2 0x2c6b
000013fc: JUMP
000013fd: JUMPDEST
000013fe: ISZERO
000013ff: PUSH2 0x15a1
00001402: JUMPI
00001403: DUP1
00001404: ISZERO
00001405: PUSH2 0x03e6
00001408: JUMPI
00001409: PUSH2 0x1410
0000140c: PUSH2 0x2539
0000140f: JUMP
00001410: JUMPDEST
00001411: DUP2
00001412: GT
00001413: PUSH2 0x1579
00001416: JUMPI
00001417: PUSH1 0x20
00001419: PUSH0
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: DUP3
0000141e: DUP2
0000141f: ADD
00001420: SWAP1
00001421: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001442: DUP3
00001443: MSTORE
00001444: CALLER
00001445: PUSH1 0x24
00001447: DUP3
00001448: ADD
00001449: MSTORE
0000144a: ADDRESS
0000144b: PUSH1 0x44
0000144d: DUP3
0000144e: ADD
0000144f: MSTORE
00001450: DUP5
00001451: PUSH1 0x64
00001453: DUP3
00001454: ADD
00001455: MSTORE
00001456: PUSH1 0x64
00001458: DUP2
00001459: MSTORE
0000145a: PUSH2 0x1464
0000145d: PUSH1 0x84
0000145f: DUP3
00001460: PUSH2 0x23f8
00001463: JUMP
00001464: JUMPDEST
00001465: MLOAD
00001466: SWAP1
00001467: DUP3
00001468: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000147d: GAS
0000147e: CALL
0000147f: ISZERO
00001480: PUSH2 0x134e
00001483: JUMPI
00001484: PUSH0
00001485: MLOAD
00001486: RETURNDATASIZE
00001487: PUSH2 0x1570
0000148a: JUMPI
0000148b: POP
0000148c: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
000014a1: EXTCODESIZE
000014a2: ISZERO
000014a3: JUMPDEST
000014a4: PUSH2 0x1530
000014a7: JUMPI
000014a8: PUSH2 0x14b3
000014ab: DUP2
000014ac: PUSH1 0x0f
000014ae: SLOAD
000014af: PUSH2 0x258c
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH1 0x0f
000014b6: SSTORE
000014b7: PUSH1 0x01
000014b9: PUSH1 0x01
000014bb: PUSH1 0xa0
000014bd: SHL
000014be: SUB
000014bf: DUP3
000014c0: AND
000014c1: SWAP2
000014c2: DUP3
000014c3: ISZERO
000014c4: PUSH2 0x1504
000014c7: JUMPI
000014c8: DUP2
000014c9: PUSH2 0x14d1
000014cc: SWAP2
000014cd: PUSH2 0x2d15
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH1 0x40
000014d4: MLOAD
000014d5: SWAP1
000014d6: DUP2
000014d7: MSTORE
000014d8: PUSH32 0x5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f62
000014f9: PUSH1 0x20
000014fb: CALLER
000014fc: SWAP3
000014fd: LOG3
000014fe: PUSH1 0x01
00001500: PUSH1 0x09
00001502: SSTORE
00001503: STOP
00001504: JUMPDEST
00001505: PUSH32 0xec442f0500000000000000000000000000000000000000000000000000000000
00001526: PUSH0
00001527: MSTORE
00001528: PUSH0
00001529: PUSH1 0x04
0000152b: MSTORE
0000152c: PUSH1 0x24
0000152e: PUSH0
0000152f: REVERT
00001530: JUMPDEST
00001531: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00001552: PUSH0
00001553: MSTORE
00001554: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001569: PUSH1 0x04
0000156b: MSTORE
0000156c: PUSH1 0x24
0000156e: PUSH0
0000156f: REVERT
00001570: JUMPDEST
00001571: PUSH1 0x01
00001573: EQ
00001574: ISZERO
00001575: PUSH2 0x14a3
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH32 0xb42483d100000000000000000000000000000000000000000000000000000000
0000159b: PUSH0
0000159c: MSTORE
0000159d: PUSH1 0x04
0000159f: PUSH0
000015a0: REVERT
000015a1: JUMPDEST
000015a2: PUSH32 0x0887610b00000000000000000000000000000000000000000000000000000000
000015c3: PUSH0
000015c4: MSTORE
000015c5: PUSH1 0x04
000015c7: PUSH0
000015c8: REVERT
000015c9: JUMPDEST
000015ca: CALLVALUE
000015cb: PUSH2 0x02a1
000015ce: JUMPI
000015cf: PUSH1 0x20
000015d1: PUSH1 0x03
000015d3: NOT
000015d4: CALLDATASIZE
000015d5: ADD
000015d6: SLT
000015d7: PUSH2 0x02a1
000015da: JUMPI
000015db: PUSH1 0x01
000015dd: PUSH1 0x01
000015df: PUSH1 0xa0
000015e1: SHL
000015e2: SUB
000015e3: PUSH2 0x15ea
000015e6: PUSH2 0x2303
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH2 0x15f2
000015ee: PUSH2 0x2936
000015f1: JUMP
000015f2: JUMPDEST
000015f3: AND
000015f4: DUP1
000015f5: ISZERO
000015f6: PUSH2 0x1649
000015f9: JUMPI
000015fa: DUP1
000015fb: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000161c: PUSH1 0x0e
0000161e: SLOAD
0000161f: AND
00001620: OR
00001621: PUSH1 0x0e
00001623: SSTORE
00001624: PUSH32 0x5cc4bdb402e519d4921d6bfaca9c17c16ea3a8e658ff5accd29e6080635562ce
00001645: PUSH0
00001646: DUP1
00001647: LOG2
00001648: STOP
00001649: JUMPDEST
0000164a: PUSH32 0xcfe2ea6300000000000000000000000000000000000000000000000000000000
0000166b: PUSH0
0000166c: MSTORE
0000166d: PUSH1 0x04
0000166f: PUSH0
00001670: REVERT
00001671: JUMPDEST
00001672: CALLVALUE
00001673: PUSH2 0x02a1
00001676: JUMPI
00001677: PUSH0
00001678: PUSH1 0x03
0000167a: NOT
0000167b: CALLDATASIZE
0000167c: ADD
0000167d: SLT
0000167e: PUSH2 0x02a1
00001681: JUMPI
00001682: PUSH1 0x20
00001684: PUSH2 0x168b
00001687: PUSH2 0x2539
0000168a: JUMP
0000168b: JUMPDEST
0000168c: PUSH1 0x40
0000168e: MLOAD
0000168f: SWAP1
00001690: DUP2
00001691: MSTORE
00001692: RETURN
00001693: JUMPDEST
00001694: CALLVALUE
00001695: PUSH2 0x02a1
00001698: JUMPI
00001699: PUSH1 0x40
0000169b: PUSH1 0x03
0000169d: NOT
0000169e: CALLDATASIZE
0000169f: ADD
000016a0: SLT
000016a1: PUSH2 0x02a1
000016a4: JUMPI
000016a5: PUSH1 0x04
000016a7: CALLDATALOAD
000016a8: PUSH8 0xffffffffffffffff
000016b1: DUP2
000016b2: GT
000016b3: PUSH2 0x02a1
000016b6: JUMPI
000016b7: CALLDATASIZE
000016b8: PUSH1 0x23
000016ba: DUP3
000016bb: ADD
000016bc: SLT
000016bd: ISZERO
000016be: PUSH2 0x02a1
000016c1: JUMPI
000016c2: DUP1
000016c3: PUSH1 0x04
000016c5: ADD
000016c6: CALLDATALOAD
000016c7: PUSH8 0xffffffffffffffff
000016d0: DUP2
000016d1: GT
000016d2: PUSH2 0x02a1
000016d5: JUMPI
000016d6: CALLDATASIZE
000016d7: PUSH1 0x24
000016d9: DUP3
000016da: PUSH1 0x05
000016dc: SHL
000016dd: DUP5
000016de: ADD
000016df: ADD
000016e0: GT
000016e1: PUSH2 0x02a1
000016e4: JUMPI
000016e5: PUSH1 0x24
000016e7: CALLDATALOAD
000016e8: DUP1
000016e9: ISZERO
000016ea: ISZERO
000016eb: DUP1
000016ec: DUP3
000016ed: SUB
000016ee: PUSH2 0x02a1
000016f1: JUMPI
000016f2: PUSH2 0x16f9
000016f5: PUSH2 0x2936
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0xff
000016fc: PUSH1 0x0e
000016fe: SLOAD
000016ff: PUSH1 0xa0
00001701: SHR
00001702: AND
00001703: PUSH1 0x05
00001705: DUP2
00001706: LT
00001707: ISZERO
00001708: PUSH2 0x0804
0000170b: JUMPI
0000170c: PUSH1 0x01
0000170e: DUP2
0000170f: SUB
00001710: PUSH2 0x0d3c
00001713: JUMPI
00001714: POP
00001715: DUP3
00001716: ISZERO
00001717: PUSH2 0x190b
0000171a: JUMPI
0000171b: PUSH1 0x64
0000171d: DUP4
0000171e: GT
0000171f: PUSH2 0x18da
00001722: JUMPI
00001723: SWAP2
00001724: SWAP3
00001725: PUSH1 0xff
00001727: DUP4
00001728: AND
00001729: SWAP3
0000172a: SWAP1
0000172b: PUSH0
0000172c: JUMPDEST
0000172d: DUP6
0000172e: DUP2
0000172f: LT
00001730: ISZERO
00001731: PUSH2 0x04a1
00001734: JUMPI
00001735: PUSH1 0x24
00001737: DUP2
00001738: PUSH1 0x05
0000173a: SHL
0000173b: DUP4
0000173c: ADD
0000173d: ADD
0000173e: CALLDATALOAD
0000173f: PUSH1 0x01
00001741: PUSH1 0x01
00001743: PUSH1 0xa0
00001745: SHL
00001746: SUB
00001747: DUP2
00001748: AND
00001749: DUP1
0000174a: SWAP2
0000174b: SUB
0000174c: PUSH2 0x02a1
0000174f: JUMPI
00001750: DUP1
00001751: ISZERO
00001752: PUSH2 0x1359
00001755: JUMPI
00001756: DUP1
00001757: PUSH0
00001758: MSTORE
00001759: PUSH0
0000175a: PUSH1 0x20
0000175c: MSTORE
0000175d: PUSH1 0x40
0000175f: PUSH0
00001760: KECCAK256
00001761: SLOAD
00001762: SWAP1
00001763: DUP2
00001764: ISZERO
00001765: PUSH2 0x18b2
00001768: JUMPI
00001769: DUP1
0000176a: PUSH0
0000176b: MSTORE
0000176c: PUSH1 0x0d
0000176e: PUSH1 0x20
00001770: MSTORE
00001771: DUP5
00001772: PUSH1 0xff
00001774: PUSH1 0x40
00001776: PUSH0
00001777: KECCAK256
00001778: SLOAD
00001779: AND
0000177a: ISZERO
0000177b: ISZERO
0000177c: EQ
0000177d: PUSH2 0x1882
00001780: JUMPI
00001781: DUP1
00001782: PUSH0
00001783: MSTORE
00001784: PUSH1 0x0d
00001786: PUSH1 0x20
00001788: MSTORE
00001789: PUSH1 0x40
0000178b: PUSH0
0000178c: KECCAK256
0000178d: DUP8
0000178e: PUSH1 0xff
00001790: NOT
00001791: DUP3
00001792: SLOAD
00001793: AND
00001794: OR
00001795: SWAP1
00001796: SSTORE
00001797: PUSH32 0x1150430d66ba9cbeaa47be8b8dc1f6867193174dcabf0cf2e96685c655ff8e09
000017b8: PUSH1 0x20
000017ba: PUSH1 0x40
000017bc: MLOAD
000017bd: DUP8
000017be: DUP2
000017bf: MSTORE
000017c0: LOG2
000017c1: DUP5
000017c2: ISZERO
000017c3: PUSH2 0x1850
000017c6: JUMPI
000017c7: DUP1
000017c8: PUSH2 0x17d6
000017cb: PUSH2 0x17f0
000017ce: SWAP3
000017cf: PUSH1 0x0f
000017d1: SLOAD
000017d2: PUSH2 0x23eb
000017d5: JUMP
000017d6: JUMPDEST
000017d7: PUSH1 0x0f
000017d9: SSTORE
000017da: PUSH2 0x17e5
000017dd: DUP2
000017de: PUSH1 0x10
000017e0: SLOAD
000017e1: PUSH2 0x258c
000017e4: JUMP
000017e5: JUMPDEST
000017e6: PUSH1 0x10
000017e8: SSTORE
000017e9: PUSH1 0x11
000017eb: SLOAD
000017ec: PUSH2 0x258c
000017ef: JUMP
000017f0: JUMPDEST
000017f1: PUSH1 0x11
000017f3: SSTORE
000017f4: JUMPDEST
000017f5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001816: DUP2
00001817: EQ
00001818: PUSH2 0x1823
0000181b: JUMPI
0000181c: PUSH1 0x01
0000181e: ADD
0000181f: PUSH2 0x172c
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001845: PUSH0
00001846: MSTORE
00001847: PUSH1 0x11
00001849: PUSH1 0x04
0000184b: MSTORE
0000184c: PUSH1 0x24
0000184e: PUSH0
0000184f: REVERT
00001850: JUMPDEST
00001851: DUP1
00001852: PUSH2 0x1860
00001855: PUSH2 0x187a
00001858: SWAP3
00001859: PUSH1 0x0f
0000185b: SLOAD
0000185c: PUSH2 0x258c
0000185f: JUMP
00001860: JUMPDEST
00001861: PUSH1 0x0f
00001863: SSTORE
00001864: PUSH2 0x186f
00001867: DUP2
00001868: PUSH1 0x10
0000186a: SLOAD
0000186b: PUSH2 0x23eb
0000186e: JUMP
0000186f: JUMPDEST
00001870: PUSH1 0x10
00001872: SSTORE
00001873: PUSH1 0x11
00001875: SLOAD
00001876: PUSH2 0x23eb
00001879: JUMP
0000187a: JUMPDEST
0000187b: PUSH1 0x11
0000187d: SSTORE
0000187e: PUSH2 0x17f4
00001881: JUMP
00001882: JUMPDEST
00001883: DUP5
00001884: SWAP1
00001885: PUSH32 0x7eb7c0bb00000000000000000000000000000000000000000000000000000000
000018a6: PUSH0
000018a7: MSTORE
000018a8: PUSH1 0x04
000018aa: MSTORE
000018ab: PUSH1 0x24
000018ad: MSTORE
000018ae: PUSH1 0x44
000018b0: PUSH0
000018b1: REVERT
000018b2: JUMPDEST
000018b3: PUSH32 0xedac458500000000000000000000000000000000000000000000000000000000
000018d4: PUSH0
000018d5: MSTORE
000018d6: PUSH1 0x04
000018d8: PUSH0
000018d9: REVERT
000018da: JUMPDEST
000018db: DUP3
000018dc: PUSH32 0xbb1cb70b00000000000000000000000000000000000000000000000000000000
000018fd: PUSH0
000018fe: MSTORE
000018ff: PUSH1 0x04
00001901: MSTORE
00001902: PUSH1 0x64
00001904: PUSH1 0x24
00001906: MSTORE
00001907: PUSH1 0x44
00001909: PUSH0
0000190a: REVERT
0000190b: JUMPDEST
0000190c: PUSH32 0xc2e5347d00000000000000000000000000000000000000000000000000000000
0000192d: PUSH0
0000192e: MSTORE
0000192f: PUSH1 0x04
00001931: PUSH0
00001932: REVERT
00001933: JUMPDEST
00001934: CALLVALUE
00001935: PUSH2 0x02a1
00001938: JUMPI
00001939: PUSH0
0000193a: PUSH1 0x03
0000193c: NOT
0000193d: CALLDATASIZE
0000193e: ADD
0000193f: SLT
00001940: PUSH2 0x02a1
00001943: JUMPI
00001944: PUSH1 0x20
00001946: PUSH1 0x10
00001948: SLOAD
00001949: PUSH1 0x40
0000194b: MLOAD
0000194c: SWAP1
0000194d: DUP2
0000194e: MSTORE
0000194f: RETURN
00001950: JUMPDEST
00001951: CALLVALUE
00001952: PUSH2 0x02a1
00001955: JUMPI
00001956: PUSH0
00001957: PUSH1 0x03
00001959: NOT
0000195a: CALLDATASIZE
0000195b: ADD
0000195c: SLT
0000195d: PUSH2 0x02a1
00001960: JUMPI
00001961: PUSH2 0x1968
00001964: PUSH2 0x2936
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH1 0xff
0000196b: PUSH1 0x0e
0000196d: SLOAD
0000196e: PUSH1 0xa0
00001970: SHR
00001971: AND
00001972: PUSH1 0x05
00001974: DUP2
00001975: LT
00001976: ISZERO
00001977: PUSH2 0x0804
0000197a: JUMPI
0000197b: PUSH1 0x02
0000197d: DUP2
0000197e: SUB
0000197f: PUSH2 0x19fb
00001982: JUMPI
00001983: PUSH1 0x0e
00001985: SLOAD
00001986: PUSH21 0x030000000000000000000000000000000000000000
0000199c: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
000019bd: PUSH1 0xff
000019bf: DUP4
000019c0: PUSH1 0xa0
000019c2: SHR
000019c3: AND
000019c4: SWAP3
000019c5: AND
000019c6: OR
000019c7: PUSH1 0x0e
000019c9: SSTORE
000019ca: PUSH1 0x05
000019cc: DUP2
000019cd: LT
000019ce: ISZERO
000019cf: PUSH2 0x0804
000019d2: JUMPI
000019d3: PUSH1 0x03
000019d5: SWAP1
000019d6: PUSH32 0x9e0f6d6e2258787de46228cf9227a1ae6e49996f7b197041af59c99563f36a74
000019f7: PUSH0
000019f8: DUP1
000019f9: LOG3
000019fa: STOP
000019fb: JUMPDEST
000019fc: PUSH2 0x1a27
000019ff: SWAP1
00001a00: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000
00001a21: PUSH0
00001a22: MSTORE
00001a23: PUSH2 0x23c6
00001a26: JUMP
00001a27: JUMPDEST
00001a28: PUSH1 0x02
00001a2a: PUSH1 0x24
00001a2c: MSTORE
00001a2d: PUSH1 0x44
00001a2f: PUSH0
00001a30: REVERT
00001a31: JUMPDEST
00001a32: CALLVALUE
00001a33: PUSH2 0x02a1
00001a36: JUMPI
00001a37: PUSH0
00001a38: PUSH1 0x03
00001a3a: NOT
00001a3b: CALLDATASIZE
00001a3c: ADD
00001a3d: SLT
00001a3e: PUSH2 0x02a1
00001a41: JUMPI
00001a42: PUSH1 0x20
00001a44: PUSH1 0x0f
00001a46: SLOAD
00001a47: PUSH1 0x40
00001a49: MLOAD
00001a4a: SWAP1
00001a4b: DUP2
00001a4c: MSTORE
00001a4d: RETURN
00001a4e: JUMPDEST
00001a4f: CALLVALUE
00001a50: PUSH2 0x02a1
00001a53: JUMPI
00001a54: PUSH1 0x40
00001a56: PUSH1 0x03
00001a58: NOT
00001a59: CALLDATASIZE
00001a5a: ADD
00001a5b: SLT
00001a5c: PUSH2 0x02a1
00001a5f: JUMPI
00001a60: PUSH2 0x1a67
00001a63: PUSH2 0x2319
00001a66: JUMP
00001a67: JUMPDEST
00001a68: CALLER
00001a69: PUSH1 0x01
00001a6b: PUSH1 0x01
00001a6d: PUSH1 0xa0
00001a6f: SHL
00001a70: SUB
00001a71: DUP3
00001a72: AND
00001a73: SUB
00001a74: PUSH2 0x1a83
00001a77: JUMPI
00001a78: PUSH2 0x04a1
00001a7b: SWAP1
00001a7c: PUSH1 0x04
00001a7e: CALLDATALOAD
00001a7f: PUSH2 0x2be6
00001a82: JUMP
00001a83: JUMPDEST
00001a84: PUSH32 0x6697b23200000000000000000000000000000000000000000000000000000000
00001aa5: PUSH0
00001aa6: MSTORE
00001aa7: PUSH1 0x04
00001aa9: PUSH0
00001aaa: REVERT
00001aab: JUMPDEST
00001aac: CALLVALUE
00001aad: PUSH2 0x02a1
00001ab0: JUMPI
00001ab1: PUSH0
00001ab2: PUSH1 0x03
00001ab4: NOT
00001ab5: CALLDATASIZE
00001ab6: ADD
00001ab7: SLT
00001ab8: PUSH2 0x02a1
00001abb: JUMPI
00001abc: PUSH1 0x20
00001abe: PUSH2 0x168b
00001ac1: PUSH2 0x2aca
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: CALLVALUE
00001ac7: PUSH2 0x02a1
00001aca: JUMPI
00001acb: PUSH0
00001acc: PUSH1 0x03
00001ace: NOT
00001acf: CALLDATASIZE
00001ad0: ADD
00001ad1: SLT
00001ad2: PUSH2 0x02a1
00001ad5: JUMPI
00001ad6: PUSH1 0x20
00001ad8: PUSH1 0x40
00001ada: MLOAD
00001adb: PUSH1 0x06
00001add: DUP2
00001ade: MSTORE
00001adf: RETURN
00001ae0: JUMPDEST
00001ae1: CALLVALUE
00001ae2: PUSH2 0x02a1
00001ae5: JUMPI
00001ae6: PUSH1 0x40
00001ae8: PUSH1 0x03
00001aea: NOT
00001aeb: CALLDATASIZE
00001aec: ADD
00001aed: SLT
00001aee: PUSH2 0x02a1
00001af1: JUMPI
00001af2: PUSH2 0x04a1
00001af5: PUSH1 0x04
00001af7: CALLDATALOAD
00001af8: PUSH2 0x1aff
00001afb: PUSH2 0x2319
00001afe: JUMP
00001aff: JUMPDEST
00001b00: SWAP1
00001b01: PUSH2 0x1b19
00001b04: PUSH2 0x0497
00001b07: DUP3
00001b08: PUSH0
00001b09: MSTORE
00001b0a: PUSH1 0x08
00001b0c: PUSH1 0x20
00001b0e: MSTORE
00001b0f: PUSH1 0x01
00001b11: PUSH1 0x40
00001b13: PUSH0
00001b14: KECCAK256
00001b15: ADD
00001b16: SLOAD
00001b17: SWAP1
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: PUSH2 0x2a41
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: CALLVALUE
00001b20: PUSH2 0x02a1
00001b23: JUMPI
00001b24: PUSH0
00001b25: PUSH1 0x03
00001b27: NOT
00001b28: CALLDATASIZE
00001b29: ADD
00001b2a: SLT
00001b2b: PUSH2 0x02a1
00001b2e: JUMPI
00001b2f: PUSH1 0x20
00001b31: PUSH1 0x40
00001b33: MLOAD
00001b34: PUSH32 0x0000000000000000000000000000000000000000000000000000000069e6a977
00001b55: DUP2
00001b56: MSTORE
00001b57: RETURN
00001b58: JUMPDEST
00001b59: CALLVALUE
00001b5a: PUSH2 0x02a1
00001b5d: JUMPI
00001b5e: PUSH0
00001b5f: PUSH1 0x03
00001b61: NOT
00001b62: CALLDATASIZE
00001b63: ADD
00001b64: SLT
00001b65: PUSH2 0x02a1
00001b68: JUMPI
00001b69: PUSH1 0x20
00001b6b: PUSH1 0x40
00001b6d: MLOAD
00001b6e: PUSH1 0x64
00001b70: DUP2
00001b71: MSTORE
00001b72: RETURN
00001b73: JUMPDEST
00001b74: CALLVALUE
00001b75: PUSH2 0x02a1
00001b78: JUMPI
00001b79: PUSH1 0x20
00001b7b: PUSH1 0x03
00001b7d: NOT
00001b7e: CALLDATASIZE
00001b7f: ADD
00001b80: SLT
00001b81: PUSH2 0x02a1
00001b84: JUMPI
00001b85: PUSH1 0x20
00001b87: PUSH2 0x168b
00001b8a: PUSH1 0x04
00001b8c: CALLDATALOAD
00001b8d: PUSH0
00001b8e: MSTORE
00001b8f: PUSH1 0x08
00001b91: PUSH1 0x20
00001b93: MSTORE
00001b94: PUSH1 0x01
00001b96: PUSH1 0x40
00001b98: PUSH0
00001b99: KECCAK256
00001b9a: ADD
00001b9b: SLOAD
00001b9c: SWAP1
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: CALLVALUE
00001ba0: PUSH2 0x02a1
00001ba3: JUMPI
00001ba4: PUSH1 0x60
00001ba6: PUSH1 0x03
00001ba8: NOT
00001ba9: CALLDATASIZE
00001baa: ADD
00001bab: SLT
00001bac: PUSH2 0x02a1
00001baf: JUMPI
00001bb0: PUSH2 0x087f
00001bb3: PUSH2 0x1bba
00001bb6: PUSH2 0x2303
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH2 0x1bc2
00001bbe: PUSH2 0x2319
00001bc1: JUMP
00001bc2: JUMPDEST
00001bc3: PUSH1 0x44
00001bc5: CALLDATALOAD
00001bc6: SWAP2
00001bc7: PUSH2 0x1bd1
00001bca: DUP4
00001bcb: CALLER
00001bcc: DUP4
00001bcd: PUSH2 0x26e2
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH2 0x2a18
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: CALLVALUE
00001bd8: PUSH2 0x02a1
00001bdb: JUMPI
00001bdc: PUSH0
00001bdd: PUSH1 0x03
00001bdf: NOT
00001be0: CALLDATASIZE
00001be1: ADD
00001be2: SLT
00001be3: PUSH2 0x02a1
00001be6: JUMPI
00001be7: PUSH1 0x20
00001be9: PUSH1 0x02
00001beb: SLOAD
00001bec: PUSH1 0x40
00001bee: MLOAD
00001bef: SWAP1
00001bf0: DUP2
00001bf1: MSTORE
00001bf2: RETURN
00001bf3: JUMPDEST
00001bf4: CALLVALUE
00001bf5: PUSH2 0x02a1
00001bf8: JUMPI
00001bf9: PUSH1 0x20
00001bfb: PUSH1 0x03
00001bfd: NOT
00001bfe: CALLDATASIZE
00001bff: ADD
00001c00: SLT
00001c01: PUSH2 0x02a1
00001c04: JUMPI
00001c05: PUSH2 0x1c0c
00001c08: PUSH2 0x23d4
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH2 0x1c14
00001c10: PUSH2 0x2936
00001c13: JUMP
00001c14: JUMPDEST
00001c15: PUSH1 0xff
00001c17: PUSH1 0x0e
00001c19: SLOAD
00001c1a: PUSH1 0xa0
00001c1c: SHR
00001c1d: AND
00001c1e: PUSH1 0x05
00001c20: DUP2
00001c21: LT
00001c22: ISZERO
00001c23: PUSH2 0x0804
00001c26: JUMPI
00001c27: DUP1
00001c28: PUSH2 0x0a16
00001c2b: JUMPI
00001c2c: POP
00001c2d: PUSH1 0x0a
00001c2f: SLOAD
00001c30: PUSH8 0xffffffffffffffff
00001c39: DUP2
00001c3a: AND
00001c3b: SWAP1
00001c3c: TIMESTAMP
00001c3d: DUP3
00001c3e: GT
00001c3f: PUSH2 0x09c4
00001c42: JUMPI
00001c43: PUSH8 0xffffffffffffffff
00001c4c: DUP4
00001c4d: AND
00001c4e: SWAP3
00001c4f: TIMESTAMP
00001c50: DUP5
00001c51: GT
00001c52: ISZERO
00001c53: PUSH2 0x0994
00001c56: JUMPI
00001c57: PUSH16 0xffffffffffffffff0000000000000000
00001c68: PUSH32 0xffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff
00001c89: SWAP2
00001c8a: PUSH1 0x40
00001c8c: SHL
00001c8d: AND
00001c8e: SWAP2
00001c8f: AND
00001c90: OR
00001c91: PUSH1 0x0a
00001c93: SSTORE
00001c94: PUSH32 0x709a99e52f3ad08814a91314c2ce5127558c0ffeb6d0a5df5a637276cb804d6e
00001cb5: PUSH0
00001cb6: DUP1
00001cb7: LOG3
00001cb8: STOP
00001cb9: JUMPDEST
00001cba: CALLVALUE
00001cbb: PUSH2 0x02a1
00001cbe: JUMPI
00001cbf: PUSH0
00001cc0: PUSH1 0x03
00001cc2: NOT
00001cc3: CALLDATASIZE
00001cc4: ADD
00001cc5: SLT
00001cc6: PUSH2 0x02a1
00001cc9: JUMPI
00001cca: PUSH1 0xff
00001ccc: PUSH1 0x0e
00001cce: SLOAD
00001ccf: PUSH1 0xa0
00001cd1: SHR
00001cd2: AND
00001cd3: PUSH1 0x40
00001cd5: MLOAD
00001cd6: PUSH1 0x05
00001cd8: DUP3
00001cd9: LT
00001cda: ISZERO
00001cdb: PUSH2 0x0804
00001cde: JUMPI
00001cdf: PUSH1 0x20
00001ce1: SWAP2
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: RETURN
00001ce5: JUMPDEST
00001ce6: CALLVALUE
00001ce7: PUSH2 0x02a1
00001cea: JUMPI
00001ceb: PUSH1 0x20
00001ced: PUSH1 0x03
00001cef: NOT
00001cf0: CALLDATASIZE
00001cf1: ADD
00001cf2: SLT
00001cf3: PUSH2 0x02a1
00001cf6: JUMPI
00001cf7: PUSH1 0x01
00001cf9: PUSH1 0x01
00001cfb: PUSH1 0xa0
00001cfd: SHL
00001cfe: SUB
00001cff: PUSH2 0x1d06
00001d02: PUSH2 0x2303
00001d05: JUMP
00001d06: JUMPDEST
00001d07: PUSH2 0x1d0e
00001d0a: PUSH2 0x2936
00001d0d: JUMP
00001d0e: JUMPDEST
00001d0f: AND
00001d10: DUP1
00001d11: ISZERO
00001d12: PUSH2 0x1df1
00001d15: JUMPI
00001d16: DUP1
00001d17: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001d38: PUSH1 0x0c
00001d3a: SLOAD
00001d3b: AND
00001d3c: OR
00001d3d: PUSH1 0x0c
00001d3f: SSTORE
00001d40: DUP1
00001d41: PUSH32 0xad098d6e912c08ed9aa3ee6ca9529da44a959d4c6251c6b8b088af216c1e3506
00001d62: PUSH0
00001d63: DUP1
00001d64: LOG2
00001d65: DUP1
00001d66: PUSH0
00001d67: MSTORE
00001d68: PUSH1 0x0d
00001d6a: PUSH1 0x20
00001d6c: MSTORE
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0xff
00001d71: PUSH1 0x40
00001d73: PUSH0
00001d74: KECCAK256
00001d75: SLOAD
00001d76: AND
00001d77: ISZERO
00001d78: ISZERO
00001d79: EQ
00001d7a: PUSH2 0x1dc1
00001d7d: JUMPI
00001d7e: DUP1
00001d7f: PUSH0
00001d80: MSTORE
00001d81: PUSH1 0x0d
00001d83: PUSH1 0x20
00001d85: MSTORE
00001d86: PUSH1 0x40
00001d88: PUSH0
00001d89: KECCAK256
00001d8a: PUSH1 0x01
00001d8c: PUSH1 0xff
00001d8e: NOT
00001d8f: DUP3
00001d90: SLOAD
00001d91: AND
00001d92: OR
00001d93: SWAP1
00001d94: SSTORE
00001d95: PUSH32 0x1150430d66ba9cbeaa47be8b8dc1f6867193174dcabf0cf2e96685c655ff8e09
00001db6: PUSH1 0x20
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: PUSH1 0x01
00001dbd: DUP2
00001dbe: MSTORE
00001dbf: LOG2
00001dc0: STOP
00001dc1: JUMPDEST
00001dc2: PUSH32 0x7eb7c0bb00000000000000000000000000000000000000000000000000000000
00001de3: PUSH0
00001de4: MSTORE
00001de5: PUSH1 0x04
00001de7: MSTORE
00001de8: PUSH1 0x01
00001dea: PUSH1 0x24
00001dec: MSTORE
00001ded: PUSH1 0x44
00001def: PUSH0
00001df0: REVERT
00001df1: JUMPDEST
00001df2: PUSH32 0xe9603e4b00000000000000000000000000000000000000000000000000000000
00001e13: PUSH0
00001e14: MSTORE
00001e15: PUSH1 0x04
00001e17: PUSH0
00001e18: REVERT
00001e19: JUMPDEST
00001e1a: CALLVALUE
00001e1b: PUSH2 0x02a1
00001e1e: JUMPI
00001e1f: PUSH1 0x40
00001e21: PUSH1 0x03
00001e23: NOT
00001e24: CALLDATASIZE
00001e25: ADD
00001e26: SLT
00001e27: PUSH2 0x02a1
00001e2a: JUMPI
00001e2b: PUSH2 0x087f
00001e2e: PUSH2 0x1e35
00001e31: PUSH2 0x2303
00001e34: JUMP
00001e35: JUMPDEST
00001e36: PUSH1 0x24
00001e38: CALLDATALOAD
00001e39: SWAP1
00001e3a: CALLER
00001e3b: PUSH2 0x2cb2
00001e3e: JUMP
00001e3f: JUMPDEST
00001e40: CALLVALUE
00001e41: PUSH2 0x02a1
00001e44: JUMPI
00001e45: PUSH0
00001e46: PUSH1 0x03
00001e48: NOT
00001e49: CALLDATASIZE
00001e4a: ADD
00001e4b: SLT
00001e4c: PUSH2 0x02a1
00001e4f: JUMPI
00001e50: PUSH1 0x40
00001e52: MLOAD
00001e53: PUSH0
00001e54: PUSH1 0x03
00001e56: SLOAD
00001e57: PUSH2 0x1e5f
00001e5a: DUP2
00001e5b: PUSH2 0x2466
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: DUP1
00001e61: DUP5
00001e62: MSTORE
00001e63: SWAP1
00001e64: PUSH1 0x01
00001e66: DUP2
00001e67: AND
00001e68: SWAP1
00001e69: DUP2
00001e6a: ISZERO
00001e6b: PUSH2 0x0bf5
00001e6e: JUMPI
00001e6f: POP
00001e70: PUSH1 0x01
00001e72: EQ
00001e73: PUSH2 0x1e86
00001e76: JUMPI
00001e77: PUSH2 0x0b93
00001e7a: DUP4
00001e7b: PUSH2 0x0b7f
00001e7e: DUP2
00001e7f: DUP6
00001e80: SUB
00001e81: DUP3
00001e82: PUSH2 0x23f8
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH1 0x03
00001e89: PUSH0
00001e8a: SWAP1
00001e8b: DUP2
00001e8c: MSTORE
00001e8d: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00001eae: SWAP4
00001eaf: SWAP3
00001eb0: POP
00001eb1: SWAP1
00001eb2: JUMPDEST
00001eb3: DUP1
00001eb4: DUP3
00001eb5: LT
00001eb6: PUSH2 0x1eca
00001eb9: JUMPI
00001eba: POP
00001ebb: SWAP1
00001ebc: SWAP2
00001ebd: POP
00001ebe: DUP2
00001ebf: ADD
00001ec0: PUSH1 0x20
00001ec2: ADD
00001ec3: PUSH2 0x0b7f
00001ec6: PUSH2 0x0b6f
00001ec9: JUMP
00001eca: JUMPDEST
00001ecb: SWAP2
00001ecc: SWAP3
00001ecd: PUSH1 0x01
00001ecf: DUP2
00001ed0: PUSH1 0x20
00001ed2: SWAP3
00001ed3: SLOAD
00001ed4: DUP4
00001ed5: DUP6
00001ed6: DUP9
00001ed7: ADD
00001ed8: ADD
00001ed9: MSTORE
00001eda: ADD
00001edb: SWAP2
00001edc: ADD
00001edd: SWAP1
00001ede: SWAP3
00001edf: SWAP2
00001ee0: PUSH2 0x1eb2
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: CALLVALUE
00001ee6: PUSH2 0x02a1
00001ee9: JUMPI
00001eea: PUSH1 0x20
00001eec: PUSH1 0x03
00001eee: NOT
00001eef: CALLDATASIZE
00001ef0: ADD
00001ef1: SLT
00001ef2: PUSH2 0x02a1
00001ef5: JUMPI
00001ef6: PUSH1 0x04
00001ef8: CALLDATALOAD
00001ef9: PUSH2 0x1f00
00001efc: PUSH2 0x26a9
00001eff: JUMP
00001f00: JUMPDEST
00001f01: CALLER
00001f02: PUSH0
00001f03: SWAP1
00001f04: DUP2
00001f05: MSTORE
00001f06: PUSH32 0x1e20b4164e400062c2ddca38b8bf99822fa57623ccb2157f6f8964a8803939f3
00001f27: PUSH1 0x20
00001f29: MSTORE
00001f2a: PUSH1 0x40
00001f2c: SWAP1
00001f2d: KECCAK256
00001f2e: SLOAD
00001f2f: PUSH1 0xff
00001f31: AND
00001f32: ISZERO
00001f33: PUSH2 0x209f
00001f36: JUMPI
00001f37: PUSH1 0x0e
00001f39: SLOAD
00001f3a: PUSH1 0xff
00001f3c: DUP2
00001f3d: PUSH1 0xa0
00001f3f: SHR
00001f40: AND
00001f41: PUSH1 0x05
00001f43: DUP2
00001f44: LT
00001f45: ISZERO
00001f46: PUSH2 0x0804
00001f49: JUMPI
00001f4a: PUSH1 0x02
00001f4c: DUP2
00001f4d: SUB
00001f4e: PUSH2 0x19fb
00001f51: JUMPI
00001f52: POP
00001f53: PUSH1 0x01
00001f55: PUSH1 0x01
00001f57: PUSH1 0xa0
00001f59: SHL
00001f5a: SUB
00001f5b: AND
00001f5c: DUP1
00001f5d: ISZERO
00001f5e: PUSH2 0x2077
00001f61: JUMPI
00001f62: DUP2
00001f63: ISZERO
00001f64: PUSH2 0x03e6
00001f67: JUMPI
00001f68: PUSH1 0x11
00001f6a: SLOAD
00001f6b: DUP1
00001f6c: DUP4
00001f6d: GT
00001f6e: PUSH2 0x201d
00001f71: JUMPI
00001f72: PUSH1 0x40
00001f74: MLOAD
00001f75: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001f96: DUP2
00001f97: MSTORE
00001f98: ADDRESS
00001f99: PUSH1 0x04
00001f9b: DUP3
00001f9c: ADD
00001f9d: MSTORE
00001f9e: PUSH1 0x20
00001fa0: DUP2
00001fa1: PUSH1 0x24
00001fa3: DUP2
00001fa4: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001fb9: GAS
00001fba: STATICCALL
00001fbb: SWAP1
00001fbc: DUP2
00001fbd: ISZERO
00001fbe: PUSH2 0x134e
00001fc1: JUMPI
00001fc2: PUSH0
00001fc3: SWAP2
00001fc4: PUSH2 0x2045
00001fc7: JUMPI
00001fc8: JUMPDEST
00001fc9: POP
00001fca: DUP4
00001fcb: GT
00001fcc: PUSH2 0x201d
00001fcf: JUMPI
00001fd0: PUSH2 0x1fe6
00001fd3: SWAP2
00001fd4: PUSH2 0x1fde
00001fd7: DUP5
00001fd8: DUP1
00001fd9: SWAP4
00001fda: PUSH2 0x23eb
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH1 0x11
00001fe1: SSTORE
00001fe2: PUSH2 0x28cc
00001fe5: JUMP
00001fe6: JUMPDEST
00001fe7: PUSH1 0x01
00001fe9: PUSH1 0x01
00001feb: PUSH1 0xa0
00001fed: SHL
00001fee: SUB
00001fef: PUSH1 0x0e
00001ff1: SLOAD
00001ff2: AND
00001ff3: PUSH32 0x233c84dc0c19fbf51f9fa92214ffd8a59f512e0098bff5827455d02e401221c0
00002014: PUSH0
00002015: DUP1
00002016: LOG3
00002017: PUSH1 0x01
00002019: PUSH1 0x09
0000201b: SSTORE
0000201c: STOP
0000201d: JUMPDEST
0000201e: PUSH32 0x88fc642900000000000000000000000000000000000000000000000000000000
0000203f: PUSH0
00002040: MSTORE
00002041: PUSH1 0x04
00002043: PUSH0
00002044: REVERT
00002045: JUMPDEST
00002046: SWAP1
00002047: POP
00002048: PUSH1 0x20
0000204a: DUP2
0000204b: RETURNDATASIZE
0000204c: PUSH1 0x20
0000204e: GT
0000204f: PUSH2 0x206f
00002052: JUMPI
00002053: JUMPDEST
00002054: DUP2
00002055: PUSH2 0x2060
00002058: PUSH1 0x20
0000205a: SWAP4
0000205b: DUP4
0000205c: PUSH2 0x23f8
0000205f: JUMP
00002060: JUMPDEST
00002061: DUP2
00002062: ADD
00002063: SUB
00002064: SLT
00002065: PUSH2 0x02a1
00002068: JUMPI
00002069: MLOAD
0000206a: DUP5
0000206b: PUSH2 0x1fc8
0000206e: JUMP
0000206f: JUMPDEST
00002070: RETURNDATASIZE
00002071: SWAP2
00002072: POP
00002073: PUSH2 0x2053
00002076: JUMP
00002077: JUMPDEST
00002078: PUSH32 0xb2c4cce900000000000000000000000000000000000000000000000000000000
00002099: PUSH0
0000209a: MSTORE
0000209b: PUSH1 0x04
0000209d: PUSH0
0000209e: REVERT
0000209f: JUMPDEST
000020a0: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
000020c1: PUSH0
000020c2: MSTORE
000020c3: CALLER
000020c4: PUSH1 0x04
000020c6: MSTORE
000020c7: PUSH32 0xe1dcbdb91df27212a29bc27177c840cf2f819ecf2187432e1fac86c2dd5dfca9
000020e8: PUSH1 0x24
000020ea: MSTORE
000020eb: PUSH1 0x44
000020ed: PUSH0
000020ee: REVERT
000020ef: JUMPDEST
000020f0: CALLVALUE
000020f1: PUSH2 0x02a1
000020f4: JUMPI
000020f5: PUSH2 0x20fd
000020f8: CALLDATASIZE
000020f9: PUSH2 0x232f
000020fc: JUMP
000020fd: JUMPDEST
000020fe: SWAP2
000020ff: SWAP1
00002100: PUSH2 0x2107
00002103: PUSH2 0x26a9
00002106: JUMP
00002107: JUMPDEST
00002108: PUSH1 0xff
0000210a: PUSH1 0x0e
0000210c: SLOAD
0000210d: PUSH1 0xa0
0000210f: SHR
00002110: AND
00002111: PUSH1 0x05
00002113: DUP2
00002114: LT
00002115: ISZERO
00002116: PUSH2 0x0804
00002119: JUMPI
0000211a: PUSH1 0x04
0000211c: DUP2
0000211d: SUB
0000211e: PUSH2 0x222f
00002121: JUMPI
00002122: POP
00002123: DUP2
00002124: ISZERO
00002125: PUSH2 0x03e6
00002128: JUMPI
00002129: PUSH1 0x01
0000212b: PUSH1 0x01
0000212d: PUSH1 0xa0
0000212f: SHL
00002130: SUB
00002131: DUP4
00002132: AND
00002133: SWAP2
00002134: DUP3
00002135: PUSH0
00002136: MSTORE
00002137: PUSH1 0x0d
00002139: PUSH1 0x20
0000213b: MSTORE
0000213c: PUSH1 0xff
0000213e: PUSH1 0x40
00002140: PUSH0
00002141: KECCAK256
00002142: SLOAD
00002143: AND
00002144: ISZERO
00002145: PUSH2 0x2207
00002148: JUMPI
00002149: PUSH32 0x817d7db54531c25c60d08a53debb99c4aa0c1375179953ef7befd12e1de35126
0000216a: SWAP2
0000216b: PUSH1 0x40
0000216d: SWAP2
0000216e: DUP5
0000216f: CALLER
00002170: SUB
00002171: PUSH2 0x21f7
00002174: JUMPI
00002175: JUMPDEST
00002176: PUSH2 0x217f
00002179: DUP2
0000217a: DUP8
0000217b: PUSH2 0x2599
0000217e: JUMP
0000217f: JUMPDEST
00002180: POP
00002181: DUP1
00002182: SWAP4
00002183: SWAP2
00002184: SWAP8
00002185: PUSH2 0x2190
00002188: DUP5
00002189: PUSH1 0x10
0000218b: SLOAD
0000218c: PUSH2 0x23eb
0000218f: JUMP
00002190: JUMPDEST
00002191: PUSH1 0x10
00002193: SSTORE
00002194: PUSH2 0x21a5
00002197: DUP5
00002198: DUP4
00002199: ISZERO
0000219a: ISZERO
0000219b: SWAP3
0000219c: DUP4
0000219d: PUSH2 0x21e3
000021a0: JUMPI
000021a1: PUSH2 0x281b
000021a4: JUMP
000021a5: JUMPDEST
000021a6: DUP9
000021a7: PUSH2 0x21d4
000021aa: JUMPI
000021ab: JUMPDEST
000021ac: PUSH2 0x21c4
000021af: JUMPI
000021b0: JUMPDEST
000021b1: POP
000021b2: POP
000021b3: DUP3
000021b4: MLOAD
000021b5: SWAP2
000021b6: DUP3
000021b7: MSTORE
000021b8: PUSH1 0x20
000021ba: DUP3
000021bb: ADD
000021bc: MSTORE
000021bd: LOG3
000021be: PUSH1 0x01
000021c0: PUSH1 0x09
000021c2: SSTORE
000021c3: STOP
000021c4: JUMPDEST
000021c5: PUSH2 0x21cd
000021c8: SWAP2
000021c9: PUSH2 0x28cc
000021cc: JUMP
000021cd: JUMPDEST
000021ce: DUP7
000021cf: DUP3
000021d0: PUSH2 0x21b0
000021d3: JUMP
000021d4: JUMPDEST
000021d5: PUSH2 0x21de
000021d8: DUP10
000021d9: DUP5
000021da: PUSH2 0x2862
000021dd: JUMP
000021de: JUMPDEST
000021df: PUSH2 0x21ab
000021e2: JUMP
000021e3: JUMPDEST
000021e4: PUSH2 0x21ef
000021e7: DUP6
000021e8: PUSH1 0x11
000021ea: SLOAD
000021eb: PUSH2 0x23eb
000021ee: JUMP
000021ef: JUMPDEST
000021f0: PUSH1 0x11
000021f2: SSTORE
000021f3: PUSH2 0x281b
000021f6: JUMP
000021f7: JUMPDEST
000021f8: PUSH2 0x2202
000021fb: DUP2
000021fc: CALLER
000021fd: DUP9
000021fe: PUSH2 0x26e2
00002201: JUMP
00002202: JUMPDEST
00002203: PUSH2 0x2175
00002206: JUMP
00002207: JUMPDEST
00002208: PUSH32 0xef4d50e600000000000000000000000000000000000000000000000000000000
00002229: PUSH0
0000222a: MSTORE
0000222b: PUSH1 0x04
0000222d: PUSH0
0000222e: REVERT
0000222f: JUMPDEST
00002230: PUSH2 0x225b
00002233: SWAP1
00002234: PUSH32 0x6b879df400000000000000000000000000000000000000000000000000000000
00002255: PUSH0
00002256: MSTORE
00002257: PUSH2 0x23c6
0000225a: JUMP
0000225b: JUMPDEST
0000225c: PUSH1 0x04
0000225e: PUSH1 0x24
00002260: MSTORE
00002261: PUSH1 0x44
00002263: PUSH0
00002264: REVERT
00002265: JUMPDEST
00002266: CALLVALUE
00002267: PUSH2 0x02a1
0000226a: JUMPI
0000226b: PUSH1 0x20
0000226d: PUSH1 0x03
0000226f: NOT
00002270: CALLDATASIZE
00002271: ADD
00002272: SLT
00002273: PUSH2 0x02a1
00002276: JUMPI
00002277: PUSH1 0x04
00002279: CALLDATALOAD
0000227a: SWAP1
0000227b: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000229c: DUP3
0000229d: AND
0000229e: DUP1
0000229f: SWAP3
000022a0: SUB
000022a1: PUSH2 0x02a1
000022a4: JUMPI
000022a5: DUP2
000022a6: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
000022c7: PUSH1 0x20
000022c9: SWAP4
000022ca: EQ
000022cb: SWAP1
000022cc: DUP2
000022cd: ISZERO
000022ce: PUSH2 0x22d9
000022d1: JUMPI
000022d2: JUMPDEST
000022d3: POP
000022d4: ISZERO
000022d5: ISZERO
000022d6: DUP2
000022d7: MSTORE
000022d8: RETURN
000022d9: JUMPDEST
000022da: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
000022fb: SWAP2
000022fc: POP
000022fd: EQ
000022fe: DUP4
000022ff: PUSH2 0x22d2
00002302: JUMP
00002303: JUMPDEST
00002304: PUSH1 0x04
00002306: CALLDATALOAD
00002307: SWAP1
00002308: PUSH1 0x01
0000230a: PUSH1 0x01
0000230c: PUSH1 0xa0
0000230e: SHL
0000230f: SUB
00002310: DUP3
00002311: AND
00002312: DUP3
00002313: SUB
00002314: PUSH2 0x02a1
00002317: JUMPI
00002318: JUMP
00002319: JUMPDEST
0000231a: PUSH1 0x24
0000231c: CALLDATALOAD
0000231d: SWAP1
0000231e: PUSH1 0x01
00002320: PUSH1 0x01
00002322: PUSH1 0xa0
00002324: SHL
00002325: SUB
00002326: DUP3
00002327: AND
00002328: DUP3
00002329: SUB
0000232a: PUSH2 0x02a1
0000232d: JUMPI
0000232e: JUMP
0000232f: JUMPDEST
00002330: PUSH1 0x03
00002332: NOT
00002333: PUSH1 0x60
00002335: SWAP2
00002336: ADD
00002337: SLT
00002338: PUSH2 0x02a1
0000233b: JUMPI
0000233c: PUSH1 0x04
0000233e: CALLDATALOAD
0000233f: SWAP1
00002340: PUSH1 0x24
00002342: CALLDATALOAD
00002343: PUSH1 0x01
00002345: PUSH1 0x01
00002347: PUSH1 0xa0
00002349: SHL
0000234a: SUB
0000234b: DUP2
0000234c: AND
0000234d: DUP2
0000234e: SUB
0000234f: PUSH2 0x02a1
00002352: JUMPI
00002353: SWAP1
00002354: PUSH1 0x44
00002356: CALLDATALOAD
00002357: PUSH1 0x01
00002359: PUSH1 0x01
0000235b: PUSH1 0xa0
0000235d: SHL
0000235e: SUB
0000235f: DUP2
00002360: AND
00002361: DUP2
00002362: SUB
00002363: PUSH2 0x02a1
00002366: JUMPI
00002367: SWAP1
00002368: JUMP
00002369: JUMPDEST
0000236a: SWAP2
0000236b: SWAP1
0000236c: DUP3
0000236d: MLOAD
0000236e: SWAP3
0000236f: DUP4
00002370: DUP3
00002371: MSTORE
00002372: PUSH0
00002373: JUMPDEST
00002374: DUP5
00002375: DUP2
00002376: LT
00002377: PUSH2 0x23b1
0000237a: JUMPI
0000237b: POP
0000237c: POP
0000237d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000239e: PUSH1 0x1f
000023a0: DUP5
000023a1: PUSH0
000023a2: PUSH1 0x20
000023a4: DUP1
000023a5: SWAP7
000023a6: SWAP8
000023a7: DUP7
000023a8: ADD
000023a9: ADD
000023aa: MSTORE
000023ab: ADD
000023ac: AND
000023ad: ADD
000023ae: ADD
000023af: SWAP1
000023b0: JUMP
000023b1: JUMPDEST
000023b2: DUP1
000023b3: PUSH1 0x20
000023b5: DUP1
000023b6: SWAP3
000023b7: DUP5
000023b8: ADD
000023b9: ADD
000023ba: MLOAD
000023bb: DUP3
000023bc: DUP3
000023bd: DUP7
000023be: ADD
000023bf: ADD
000023c0: MSTORE
000023c1: ADD
000023c2: PUSH2 0x2373
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH1 0x05
000023c9: DUP2
000023ca: LT
000023cb: ISZERO
000023cc: PUSH2 0x0804
000023cf: JUMPI
000023d0: PUSH1 0x04
000023d2: MSTORE
000023d3: JUMP
000023d4: JUMPDEST
000023d5: PUSH1 0x04
000023d7: CALLDATALOAD
000023d8: SWAP1
000023d9: PUSH8 0xffffffffffffffff
000023e2: DUP3
000023e3: AND
000023e4: DUP3
000023e5: SUB
000023e6: PUSH2 0x02a1
000023e9: JUMPI
000023ea: JUMP
000023eb: JUMPDEST
000023ec: SWAP2
000023ed: SWAP1
000023ee: DUP3
000023ef: SUB
000023f0: SWAP2
000023f1: DUP3
000023f2: GT
000023f3: PUSH2 0x1823
000023f6: JUMPI
000023f7: JUMP
000023f8: JUMPDEST
000023f9: SWAP1
000023fa: PUSH1 0x1f
000023fc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000241d: SWAP2
0000241e: ADD
0000241f: AND
00002420: DUP2
00002421: ADD
00002422: SWAP1
00002423: DUP2
00002424: LT
00002425: PUSH8 0xffffffffffffffff
0000242e: DUP3
0000242f: GT
00002430: OR
00002431: PUSH2 0x2439
00002434: JUMPI
00002435: PUSH1 0x40
00002437: MSTORE
00002438: JUMP
00002439: JUMPDEST
0000243a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000245b: PUSH0
0000245c: MSTORE
0000245d: PUSH1 0x41
0000245f: PUSH1 0x04
00002461: MSTORE
00002462: PUSH1 0x24
00002464: PUSH0
00002465: REVERT
00002466: JUMPDEST
00002467: SWAP1
00002468: PUSH1 0x01
0000246a: DUP3
0000246b: DUP2
0000246c: SHR
0000246d: SWAP3
0000246e: AND
0000246f: DUP1
00002470: ISZERO
00002471: PUSH2 0x24ad
00002474: JUMPI
00002475: JUMPDEST
00002476: PUSH1 0x20
00002478: DUP4
00002479: LT
0000247a: EQ
0000247b: PUSH2 0x2480
0000247e: JUMPI
0000247f: JUMP
00002480: JUMPDEST
00002481: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000024a2: PUSH0
000024a3: MSTORE
000024a4: PUSH1 0x22
000024a6: PUSH1 0x04
000024a8: MSTORE
000024a9: PUSH1 0x24
000024ab: PUSH0
000024ac: REVERT
000024ad: JUMPDEST
000024ae: SWAP2
000024af: PUSH1 0x7f
000024b1: AND
000024b2: SWAP2
000024b3: PUSH2 0x2475
000024b6: JUMP
000024b7: JUMPDEST
000024b8: PUSH0
000024b9: SWAP3
000024ba: SWAP2
000024bb: DUP2
000024bc: SLOAD
000024bd: SWAP2
000024be: PUSH2 0x24c6
000024c1: DUP4
000024c2: PUSH2 0x2466
000024c5: JUMP
000024c6: JUMPDEST
000024c7: DUP1
000024c8: DUP4
000024c9: MSTORE
000024ca: SWAP3
000024cb: PUSH1 0x01
000024cd: DUP2
000024ce: AND
000024cf: SWAP1
000024d0: DUP2
000024d1: ISZERO
000024d2: PUSH2 0x251b
000024d5: JUMPI
000024d6: POP
000024d7: PUSH1 0x01
000024d9: EQ
000024da: PUSH2 0x24e2
000024dd: JUMPI
000024de: POP
000024df: POP
000024e0: POP
000024e1: JUMP
000024e2: JUMPDEST
000024e3: PUSH0
000024e4: SWAP1
000024e5: DUP2
000024e6: MSTORE
000024e7: PUSH1 0x20
000024e9: DUP2
000024ea: KECCAK256
000024eb: SWAP4
000024ec: SWAP5
000024ed: POP
000024ee: SWAP2
000024ef: SWAP3
000024f0: JUMPDEST
000024f1: DUP4
000024f2: DUP4
000024f3: LT
000024f4: PUSH2 0x2501
000024f7: JUMPI
000024f8: POP
000024f9: PUSH1 0x20
000024fb: SWAP3
000024fc: POP
000024fd: ADD
000024fe: ADD
000024ff: SWAP1
00002500: JUMP
00002501: JUMPDEST
00002502: PUSH1 0x01
00002504: DUP2
00002505: PUSH1 0x20
00002507: SWAP3
00002508: SWAP5
00002509: SWAP4
0000250a: SWAP5
0000250b: SLOAD
0000250c: DUP4
0000250d: DUP6
0000250e: DUP8
0000250f: ADD
00002510: ADD
00002511: MSTORE
00002512: ADD
00002513: SWAP2
00002514: ADD
00002515: SWAP2
00002516: SWAP1
00002517: PUSH2 0x24f0
0000251a: JUMP
0000251b: JUMPDEST
0000251c: SWAP1
0000251d: POP
0000251e: PUSH1 0x20
00002520: SWAP5
00002521: SWAP6
00002522: POP
00002523: PUSH1 0xff
00002525: NOT
00002526: SWAP2
00002527: POP
00002528: SWAP3
00002529: SWAP2
0000252a: SWAP3
0000252b: AND
0000252c: DUP4
0000252d: DUP4
0000252e: ADD
0000252f: MSTORE
00002530: ISZERO
00002531: ISZERO
00002532: PUSH1 0x05
00002534: SHL
00002535: ADD
00002536: ADD
00002537: SWAP1
00002538: JUMP
00002539: JUMPDEST
0000253a: PUSH1 0xff
0000253c: PUSH1 0x0e
0000253e: SLOAD
0000253f: PUSH1 0xa0
00002541: SHR
00002542: AND
00002543: PUSH1 0x05
00002545: DUP2
00002546: LT
00002547: ISZERO
00002548: PUSH2 0x0804
0000254b: JUMPI
0000254c: ISZERO
0000254d: DUP1
0000254e: ISZERO
0000254f: SWAP1
00002550: PUSH2 0x257d
00002553: JUMPI
00002554: JUMPDEST
00002555: PUSH2 0x2579
00002558: JUMPI
00002559: PUSH1 0x0f
0000255b: SLOAD
0000255c: PUSH1 0x0b
0000255e: SLOAD
0000255f: SWAP1
00002560: DUP1
00002561: DUP3
00002562: GT
00002563: ISZERO
00002564: PUSH2 0x2573
00002567: JUMPI
00002568: PUSH2 0x2570
0000256b: SWAP2
0000256c: PUSH2 0x23eb
0000256f: JUMP
00002570: JUMPDEST
00002571: SWAP1
00002572: JUMP
00002573: JUMPDEST
00002574: POP
00002575: POP
00002576: PUSH0
00002577: SWAP1
00002578: JUMP
00002579: JUMPDEST
0000257a: PUSH0
0000257b: SWAP1
0000257c: JUMP
0000257d: JUMPDEST
0000257e: POP
0000257f: PUSH2 0x2586
00002582: PUSH2 0x2c6b
00002585: JUMP
00002586: JUMPDEST
00002587: ISZERO
00002588: PUSH2 0x2554
0000258b: JUMP
0000258c: JUMPDEST
0000258d: SWAP2
0000258e: SWAP1
0000258f: DUP3
00002590: ADD
00002591: DUP1
00002592: SWAP3
00002593: GT
00002594: PUSH2 0x1823
00002597: JUMPI
00002598: JUMP
00002599: JUMPDEST
0000259a: PUSH1 0x01
0000259c: PUSH1 0x01
0000259e: PUSH1 0xa0
000025a0: SHL
000025a1: SUB
000025a2: SWAP1
000025a3: SWAP3
000025a4: SWAP2
000025a5: SWAP3
000025a6: AND
000025a7: DUP1
000025a8: PUSH0
000025a9: MSTORE
000025aa: PUSH0
000025ab: PUSH1 0x20
000025ad: MSTORE
000025ae: PUSH1 0x40
000025b0: PUSH0
000025b1: KECCAK256
000025b2: SLOAD
000025b3: DUP4
000025b4: GT
000025b5: PUSH2 0x2681
000025b8: JUMPI
000025b9: PUSH0
000025ba: MSTORE
000025bb: PUSH1 0x0d
000025bd: PUSH1 0x20
000025bf: MSTORE
000025c0: PUSH1 0xff
000025c2: PUSH1 0x40
000025c4: PUSH0
000025c5: KECCAK256
000025c6: SLOAD
000025c7: AND
000025c8: DUP1
000025c9: PUSH0
000025ca: EQ
000025cb: PUSH2 0x267c
000025ce: JUMPI
000025cf: PUSH1 0x10
000025d1: SLOAD
000025d2: SWAP3
000025d3: PUSH1 0x40
000025d5: MLOAD
000025d6: SWAP1
000025d7: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000025f8: DUP3
000025f9: MSTORE
000025fa: ADDRESS
000025fb: PUSH1 0x04
000025fd: DUP4
000025fe: ADD
000025ff: MSTORE
00002600: PUSH1 0x20
00002602: DUP3
00002603: PUSH1 0x24
00002605: DUP2
00002606: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
0000261b: GAS
0000261c: STATICCALL
0000261d: SWAP2
0000261e: DUP3
0000261f: ISZERO
00002620: PUSH2 0x134e
00002623: JUMPI
00002624: PUSH0
00002625: SWAP3
00002626: PUSH2 0x2646
00002629: JUMPI
0000262a: JUMPDEST
0000262b: POP
0000262c: PUSH2 0x2639
0000262f: PUSH2 0x2643
00002632: SWAP3
00002633: DUP7
00002634: DUP4
00002635: PUSH2 0x2c9b
00002638: JUMP
00002639: JUMPDEST
0000263a: SWAP5
0000263b: PUSH1 0x11
0000263d: SLOAD
0000263e: SWAP2
0000263f: PUSH2 0x2c9b
00002642: JUMP
00002643: JUMPDEST
00002644: SWAP2
00002645: JUMP
00002646: JUMPDEST
00002647: SWAP2
00002648: POP
00002649: PUSH1 0x20
0000264b: DUP3
0000264c: RETURNDATASIZE
0000264d: PUSH1 0x20
0000264f: GT
00002650: PUSH2 0x2674
00002653: JUMPI
00002654: JUMPDEST
00002655: DUP2
00002656: PUSH2 0x2661
00002659: PUSH1 0x20
0000265b: SWAP4
0000265c: DUP4
0000265d: PUSH2 0x23f8
00002660: JUMP
00002661: JUMPDEST
00002662: DUP2
00002663: ADD
00002664: SUB
00002665: SLT
00002666: PUSH2 0x02a1
00002669: JUMPI
0000266a: SWAP1
0000266b: MLOAD
0000266c: SWAP1
0000266d: PUSH2 0x2639
00002670: PUSH2 0x262a
00002673: JUMP
00002674: JUMPDEST
00002675: RETURNDATASIZE
00002676: SWAP2
00002677: POP
00002678: PUSH2 0x2654
0000267b: JUMP
0000267c: JUMPDEST
0000267d: PUSH0
0000267e: SWAP3
0000267f: SWAP2
00002680: JUMP
00002681: JUMPDEST
00002682: PUSH32 0xf4d678b800000000000000000000000000000000000000000000000000000000
000026a3: PUSH0
000026a4: MSTORE
000026a5: PUSH1 0x04
000026a7: PUSH0
000026a8: REVERT
000026a9: JUMPDEST
000026aa: PUSH1 0x02
000026ac: PUSH1 0x09
000026ae: SLOAD
000026af: EQ
000026b0: PUSH2 0x26ba
000026b3: JUMPI
000026b4: PUSH1 0x02
000026b6: PUSH1 0x09
000026b8: SSTORE
000026b9: JUMP
000026ba: JUMPDEST
000026bb: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
000026dc: PUSH0
000026dd: MSTORE
000026de: PUSH1 0x04
000026e0: PUSH0
000026e1: REVERT
000026e2: JUMPDEST
000026e3: PUSH1 0x01
000026e5: PUSH1 0x01
000026e7: PUSH1 0xa0
000026e9: SHL
000026ea: SUB
000026eb: SWAP1
000026ec: SWAP3
000026ed: SWAP2
000026ee: SWAP3
000026ef: AND
000026f0: SWAP2
000026f1: DUP3
000026f2: PUSH0
000026f3: MSTORE
000026f4: PUSH1 0x01
000026f6: PUSH1 0x20
000026f8: MSTORE
000026f9: PUSH1 0x40
000026fb: PUSH0
000026fc: KECCAK256
000026fd: PUSH1 0x01
000026ff: PUSH1 0x01
00002701: PUSH1 0xa0
00002703: SHL
00002704: SUB
00002705: DUP3
00002706: AND
00002707: PUSH0
00002708: MSTORE
00002709: PUSH1 0x20
0000270b: MSTORE
0000270c: PUSH1 0x40
0000270e: PUSH0
0000270f: KECCAK256
00002710: SLOAD
00002711: SWAP3
00002712: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002733: DUP5
00002734: LT
00002735: PUSH2 0x273f
00002738: JUMPI
00002739: JUMPDEST
0000273a: POP
0000273b: POP
0000273c: POP
0000273d: POP
0000273e: JUMP
0000273f: JUMPDEST
00002740: DUP3
00002741: DUP5
00002742: LT
00002743: PUSH2 0x27de
00002746: JUMPI
00002747: DUP1
00002748: ISZERO
00002749: PUSH2 0x27b2
0000274c: JUMPI
0000274d: PUSH1 0x01
0000274f: PUSH1 0x01
00002751: PUSH1 0xa0
00002753: SHL
00002754: SUB
00002755: DUP3
00002756: AND
00002757: ISZERO
00002758: PUSH2 0x2786
0000275b: JUMPI
0000275c: PUSH0
0000275d: MSTORE
0000275e: PUSH1 0x01
00002760: PUSH1 0x20
00002762: MSTORE
00002763: PUSH1 0x01
00002765: PUSH1 0x01
00002767: PUSH1 0xa0
00002769: SHL
0000276a: SUB
0000276b: PUSH1 0x40
0000276d: PUSH0
0000276e: KECCAK256
0000276f: SWAP2
00002770: AND
00002771: PUSH0
00002772: MSTORE
00002773: PUSH1 0x20
00002775: MSTORE
00002776: PUSH1 0x40
00002778: PUSH0
00002779: KECCAK256
0000277a: SWAP2
0000277b: SUB
0000277c: SWAP1
0000277d: SSTORE
0000277e: PUSH0
0000277f: DUP1
00002780: DUP1
00002781: DUP1
00002782: PUSH2 0x2739
00002785: JUMP
00002786: JUMPDEST
00002787: PUSH32 0x94280d6200000000000000000000000000000000000000000000000000000000
000027a8: PUSH0
000027a9: MSTORE
000027aa: PUSH0
000027ab: PUSH1 0x04
000027ad: MSTORE
000027ae: PUSH1 0x24
000027b0: PUSH0
000027b1: REVERT
000027b2: JUMPDEST
000027b3: PUSH32 0xe602df0500000000000000000000000000000000000000000000000000000000
000027d4: PUSH0
000027d5: MSTORE
000027d6: PUSH0
000027d7: PUSH1 0x04
000027d9: MSTORE
000027da: PUSH1 0x24
000027dc: PUSH0
000027dd: REVERT
000027de: JUMPDEST
000027df: POP
000027e0: PUSH1 0x01
000027e2: PUSH1 0x01
000027e4: PUSH1 0xa0
000027e6: SHL
000027e7: SUB
000027e8: DUP4
000027e9: SWAP2
000027ea: PUSH32 0xfb8f41b200000000000000000000000000000000000000000000000000000000
0000280b: PUSH0
0000280c: MSTORE
0000280d: AND
0000280e: PUSH1 0x04
00002810: MSTORE
00002811: PUSH1 0x24
00002813: MSTORE
00002814: PUSH1 0x44
00002816: MSTORE
00002817: PUSH1 0x64
00002819: PUSH0
0000281a: REVERT
0000281b: JUMPDEST
0000281c: SWAP1
0000281d: PUSH1 0x01
0000281f: PUSH1 0x01
00002821: PUSH1 0xa0
00002823: SHL
00002824: SUB
00002825: DUP3
00002826: AND
00002827: ISZERO
00002828: PUSH2 0x2836
0000282b: JUMPI
0000282c: PUSH2 0x2834
0000282f: SWAP2
00002830: PUSH2 0x2d82
00002833: JUMP
00002834: JUMPDEST
00002835: JUMP
00002836: JUMPDEST
00002837: PUSH32 0x96c6fd1e00000000000000000000000000000000000000000000000000000000
00002858: PUSH0
00002859: MSTORE
0000285a: PUSH0
0000285b: PUSH1 0x04
0000285d: MSTORE
0000285e: PUSH1 0x24
00002860: PUSH0
00002861: REVERT
00002862: JUMPDEST
00002863: PUSH2 0x2834
00002866: SWAP2
00002867: PUSH1 0x01
00002869: PUSH1 0x01
0000286b: PUSH1 0xa0
0000286d: SHL
0000286e: SUB
0000286f: PUSH1 0x40
00002871: MLOAD
00002872: SWAP3
00002873: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002894: PUSH1 0x20
00002896: DUP6
00002897: ADD
00002898: MSTORE
00002899: AND
0000289a: PUSH1 0x24
0000289c: DUP4
0000289d: ADD
0000289e: MSTORE
0000289f: PUSH1 0x44
000028a1: DUP3
000028a2: ADD
000028a3: MSTORE
000028a4: PUSH1 0x44
000028a6: DUP2
000028a7: MSTORE
000028a8: PUSH2 0x28b2
000028ab: PUSH1 0x64
000028ad: DUP3
000028ae: PUSH2 0x23f8
000028b1: JUMP
000028b2: JUMPDEST
000028b3: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
000028c8: PUSH2 0x308a
000028cb: JUMP
000028cc: JUMPDEST
000028cd: PUSH2 0x2834
000028d0: SWAP2
000028d1: PUSH1 0x01
000028d3: PUSH1 0x01
000028d5: PUSH1 0xa0
000028d7: SHL
000028d8: SUB
000028d9: PUSH1 0x40
000028db: MLOAD
000028dc: SWAP3
000028dd: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
000028fe: PUSH1 0x20
00002900: DUP6
00002901: ADD
00002902: MSTORE
00002903: AND
00002904: PUSH1 0x24
00002906: DUP4
00002907: ADD
00002908: MSTORE
00002909: PUSH1 0x44
0000290b: DUP3
0000290c: ADD
0000290d: MSTORE
0000290e: PUSH1 0x44
00002910: DUP2
00002911: MSTORE
00002912: PUSH2 0x291c
00002915: PUSH1 0x64
00002917: DUP3
00002918: PUSH2 0x23f8
0000291b: JUMP
0000291c: JUMPDEST
0000291d: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00002932: PUSH2 0x308a
00002935: JUMP
00002936: JUMPDEST
00002937: CALLER
00002938: PUSH0
00002939: SWAP1
0000293a: DUP2
0000293b: MSTORE
0000293c: PUSH32 0x17d1276acf776df712513cd7e943076446ad62eef46fc257e0602ed40109c3c6
0000295d: PUSH1 0x20
0000295f: MSTORE
00002960: PUSH1 0x40
00002962: SWAP1
00002963: KECCAK256
00002964: SLOAD
00002965: PUSH1 0xff
00002967: AND
00002968: ISZERO
00002969: PUSH2 0x296e
0000296c: JUMPI
0000296d: JUMP
0000296e: JUMPDEST
0000296f: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00002990: PUSH0
00002991: MSTORE
00002992: CALLER
00002993: PUSH1 0x04
00002995: MSTORE
00002996: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775
000029b7: PUSH1 0x24
000029b9: MSTORE
000029ba: PUSH1 0x44
000029bc: PUSH0
000029bd: REVERT
000029be: JUMPDEST
000029bf: DUP1
000029c0: PUSH0
000029c1: MSTORE
000029c2: PUSH1 0x08
000029c4: PUSH1 0x20
000029c6: MSTORE
000029c7: PUSH1 0x40
000029c9: PUSH0
000029ca: KECCAK256
000029cb: PUSH1 0x01
000029cd: PUSH1 0x01
000029cf: PUSH1 0xa0
000029d1: SHL
000029d2: SUB
000029d3: CALLER
000029d4: AND
000029d5: PUSH0
000029d6: MSTORE
000029d7: PUSH1 0x20
000029d9: MSTORE
000029da: PUSH1 0xff
000029dc: PUSH1 0x40
000029de: PUSH0
000029df: KECCAK256
000029e0: SLOAD
000029e1: AND
000029e2: ISZERO
000029e3: PUSH2 0x29e9
000029e6: JUMPI
000029e7: POP
000029e8: JUMP
000029e9: JUMPDEST
000029ea: PUSH32 0xe2517d3f00000000000000000000000000000000000000000000000000000000
00002a0b: PUSH0
00002a0c: MSTORE
00002a0d: CALLER
00002a0e: PUSH1 0x04
00002a10: MSTORE
00002a11: PUSH1 0x24
00002a13: MSTORE
00002a14: PUSH1 0x44
00002a16: PUSH0
00002a17: REVERT
00002a18: JUMPDEST
00002a19: SWAP2
00002a1a: SWAP1
00002a1b: PUSH1 0x01
00002a1d: PUSH1 0x01
00002a1f: PUSH1 0xa0
00002a21: SHL
00002a22: SUB
00002a23: DUP4
00002a24: AND
00002a25: ISZERO
00002a26: PUSH2 0x2836
00002a29: JUMPI
00002a2a: PUSH1 0x01
00002a2c: PUSH1 0x01
00002a2e: PUSH1 0xa0
00002a30: SHL
00002a31: SUB
00002a32: DUP2
00002a33: AND
00002a34: ISZERO
00002a35: PUSH2 0x1504
00002a38: JUMPI
00002a39: PUSH2 0x2834
00002a3c: SWAP3
00002a3d: PUSH2 0x2ee9
00002a40: JUMP
00002a41: JUMPDEST
00002a42: DUP1
00002a43: PUSH0
00002a44: MSTORE
00002a45: PUSH1 0x08
00002a47: PUSH1 0x20
00002a49: MSTORE
00002a4a: PUSH1 0x40
00002a4c: PUSH0
00002a4d: KECCAK256
00002a4e: PUSH1 0x01
00002a50: PUSH1 0x01
00002a52: PUSH1 0xa0
00002a54: SHL
00002a55: SUB
00002a56: DUP4
00002a57: AND
00002a58: PUSH0
00002a59: MSTORE
00002a5a: PUSH1 0x20
00002a5c: MSTORE
00002a5d: PUSH1 0xff
00002a5f: PUSH1 0x40
00002a61: PUSH0
00002a62: KECCAK256
00002a63: SLOAD
00002a64: AND
00002a65: ISZERO
00002a66: PUSH0
00002a67: EQ
00002a68: PUSH2 0x2573
00002a6b: JUMPI
00002a6c: DUP1
00002a6d: PUSH0
00002a6e: MSTORE
00002a6f: PUSH1 0x08
00002a71: PUSH1 0x20
00002a73: MSTORE
00002a74: PUSH1 0x40
00002a76: PUSH0
00002a77: KECCAK256
00002a78: PUSH1 0x01
00002a7a: PUSH1 0x01
00002a7c: PUSH1 0xa0
00002a7e: SHL
00002a7f: SUB
00002a80: DUP4
00002a81: AND
00002a82: PUSH0
00002a83: MSTORE
00002a84: PUSH1 0x20
00002a86: MSTORE
00002a87: PUSH1 0x40
00002a89: PUSH0
00002a8a: KECCAK256
00002a8b: PUSH1 0x01
00002a8d: PUSH1 0xff
00002a8f: NOT
00002a90: DUP3
00002a91: SLOAD
00002a92: AND
00002a93: OR
00002a94: SWAP1
00002a95: SSTORE
00002a96: PUSH1 0x01
00002a98: PUSH1 0x01
00002a9a: PUSH1 0xa0
00002a9c: SHL
00002a9d: SUB
00002a9e: CALLER
00002a9f: SWAP3
00002aa0: AND
00002aa1: SWAP1
00002aa2: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00002ac3: PUSH0
00002ac4: DUP1
00002ac5: LOG4
00002ac6: PUSH1 0x01
00002ac8: SWAP1
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: PUSH1 0x01
00002acd: PUSH1 0x01
00002acf: PUSH1 0xa0
00002ad1: SHL
00002ad2: SUB
00002ad3: PUSH32 0x000000000000000000000000d9b2cb2fbad204fc548787ef56b918c845fcce40
00002af4: AND
00002af5: ADDRESS
00002af6: EQ
00002af7: DUP1
00002af8: PUSH2 0x2bbd
00002afb: JUMPI
00002afc: JUMPDEST
00002afd: ISZERO
00002afe: PUSH2 0x2b25
00002b01: JUMPI
00002b02: PUSH32 0x7605fbb00d91182092067186a564a13d1c6f769efe962b9593ee8ffadf6a4b1a
00002b23: SWAP1
00002b24: JUMP
00002b25: JUMPDEST
00002b26: PUSH1 0x40
00002b28: MLOAD
00002b29: PUSH1 0x20
00002b2b: DUP2
00002b2c: ADD
00002b2d: SWAP1
00002b2e: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00002b4f: DUP3
00002b50: MSTORE
00002b51: PUSH32 0xad59290f61ae72c51129b32a01a9b12d4cce517e3c11f1d71568e4fa40e7e0ef
00002b72: PUSH1 0x40
00002b74: DUP3
00002b75: ADD
00002b76: MSTORE
00002b77: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
00002b98: PUSH1 0x60
00002b9a: DUP3
00002b9b: ADD
00002b9c: MSTORE
00002b9d: CHAINID
00002b9e: PUSH1 0x80
00002ba0: DUP3
00002ba1: ADD
00002ba2: MSTORE
00002ba3: ADDRESS
00002ba4: PUSH1 0xa0
00002ba6: DUP3
00002ba7: ADD
00002ba8: MSTORE
00002ba9: PUSH1 0xa0
00002bab: DUP2
00002bac: MSTORE
00002bad: PUSH2 0x2bb7
00002bb0: PUSH1 0xc0
00002bb2: DUP3
00002bb3: PUSH2 0x23f8
00002bb6: JUMP
00002bb7: JUMPDEST
00002bb8: MLOAD
00002bb9: SWAP1
00002bba: KECCAK256
00002bbb: SWAP1
00002bbc: JUMP
00002bbd: JUMPDEST
00002bbe: POP
00002bbf: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00002be0: CHAINID
00002be1: EQ
00002be2: PUSH2 0x2afc
00002be5: JUMP
00002be6: JUMPDEST
00002be7: DUP1
00002be8: PUSH0
00002be9: MSTORE
00002bea: PUSH1 0x08
00002bec: PUSH1 0x20
00002bee: MSTORE
00002bef: PUSH1 0x40
00002bf1: PUSH0
00002bf2: KECCAK256
00002bf3: PUSH1 0x01
00002bf5: PUSH1 0x01
00002bf7: PUSH1 0xa0
00002bf9: SHL
00002bfa: SUB
00002bfb: DUP4
00002bfc: AND
00002bfd: PUSH0
00002bfe: MSTORE
00002bff: PUSH1 0x20
00002c01: MSTORE
00002c02: PUSH1 0xff
00002c04: PUSH1 0x40
00002c06: PUSH0
00002c07: KECCAK256
00002c08: SLOAD
00002c09: AND
00002c0a: PUSH0
00002c0b: EQ
00002c0c: PUSH2 0x2573
00002c0f: JUMPI
00002c10: DUP1
00002c11: PUSH0
00002c12: MSTORE
00002c13: PUSH1 0x08
00002c15: PUSH1 0x20
00002c17: MSTORE
00002c18: PUSH1 0x40
00002c1a: PUSH0
00002c1b: KECCAK256
00002c1c: PUSH1 0x01
00002c1e: PUSH1 0x01
00002c20: PUSH1 0xa0
00002c22: SHL
00002c23: SUB
00002c24: DUP4
00002c25: AND
00002c26: PUSH0
00002c27: MSTORE
00002c28: PUSH1 0x20
00002c2a: MSTORE
00002c2b: PUSH1 0x40
00002c2d: PUSH0
00002c2e: KECCAK256
00002c2f: PUSH1 0xff
00002c31: NOT
00002c32: DUP2
00002c33: SLOAD
00002c34: AND
00002c35: SWAP1
00002c36: SSTORE
00002c37: PUSH1 0x01
00002c39: PUSH1 0x01
00002c3b: PUSH1 0xa0
00002c3d: SHL
00002c3e: SUB
00002c3f: CALLER
00002c40: SWAP3
00002c41: AND
00002c42: SWAP1
00002c43: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002c64: PUSH0
00002c65: DUP1
00002c66: LOG4
00002c67: PUSH1 0x01
00002c69: SWAP1
00002c6a: JUMP
00002c6b: JUMPDEST
00002c6c: PUSH1 0x0a
00002c6e: SLOAD
00002c6f: PUSH8 0xffffffffffffffff
00002c78: DUP2
00002c79: AND
00002c7a: TIMESTAMP
00002c7b: LT
00002c7c: ISZERO
00002c7d: SWAP1
00002c7e: DUP2
00002c7f: PUSH2 0x2c86
00002c82: JUMPI
00002c83: POP
00002c84: SWAP1
00002c85: JUMP
00002c86: JUMPDEST
00002c87: PUSH8 0xffffffffffffffff
00002c90: SWAP2
00002c91: POP
00002c92: PUSH1 0x40
00002c94: SHR
00002c95: AND
00002c96: TIMESTAMP
00002c97: GT
00002c98: ISZERO
00002c99: SWAP1
00002c9a: JUMP
00002c9b: JUMPDEST
00002c9c: SWAP2
00002c9d: DUP2
00002c9e: ISZERO
00002c9f: PUSH2 0x2cab
00002ca2: JUMPI
00002ca3: PUSH2 0x2570
00002ca6: SWAP3
00002ca7: PUSH2 0x32fa
00002caa: JUMP
00002cab: JUMPDEST
00002cac: POP
00002cad: POP
00002cae: POP
00002caf: PUSH0
00002cb0: SWAP1
00002cb1: JUMP
00002cb2: JUMPDEST
00002cb3: PUSH1 0x01
00002cb5: PUSH1 0x01
00002cb7: PUSH1 0xa0
00002cb9: SHL
00002cba: SUB
00002cbb: AND
00002cbc: SWAP1
00002cbd: DUP2
00002cbe: ISZERO
00002cbf: PUSH2 0x27b2
00002cc2: JUMPI
00002cc3: PUSH1 0x01
00002cc5: PUSH1 0x01
00002cc7: PUSH1 0xa0
00002cc9: SHL
00002cca: SUB
00002ccb: AND
00002ccc: SWAP2
00002ccd: DUP3
00002cce: ISZERO
00002ccf: PUSH2 0x2786
00002cd2: JUMPI
00002cd3: PUSH1 0x20
00002cd5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00002cf6: SWAP2
00002cf7: DUP4
00002cf8: PUSH0
00002cf9: MSTORE
00002cfa: PUSH1 0x01
00002cfc: DUP3
00002cfd: MSTORE
00002cfe: PUSH1 0x40
00002d00: PUSH0
00002d01: KECCAK256
00002d02: DUP6
00002d03: PUSH0
00002d04: MSTORE
00002d05: DUP3
00002d06: MSTORE
00002d07: DUP1
00002d08: PUSH1 0x40
00002d0a: PUSH0
00002d0b: KECCAK256
00002d0c: SSTORE
00002d0d: PUSH1 0x40
00002d0f: MLOAD
00002d10: SWAP1
00002d11: DUP2
00002d12: MSTORE
00002d13: LOG3
00002d14: JUMP
00002d15: JUMPDEST
00002d16: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002d37: PUSH1 0x20
00002d39: PUSH1 0x01
00002d3b: PUSH1 0x01
00002d3d: PUSH1 0xa0
00002d3f: SHL
00002d40: SUB
00002d41: PUSH0
00002d42: SWAP4
00002d43: PUSH2 0x2d4e
00002d46: DUP7
00002d47: PUSH1 0x02
00002d49: SLOAD
00002d4a: PUSH2 0x258c
00002d4d: JUMP
00002d4e: JUMPDEST
00002d4f: PUSH1 0x02
00002d51: SSTORE
00002d52: AND
00002d53: SWAP4
00002d54: DUP5
00002d55: ISZERO
00002d56: DUP5
00002d57: EQ
00002d58: PUSH2 0x2d6d
00002d5b: JUMPI
00002d5c: DUP1
00002d5d: PUSH1 0x02
00002d5f: SLOAD
00002d60: SUB
00002d61: PUSH1 0x02
00002d63: SSTORE
00002d64: JUMPDEST
00002d65: PUSH1 0x40
00002d67: MLOAD
00002d68: SWAP1
00002d69: DUP2
00002d6a: MSTORE
00002d6b: LOG3
00002d6c: JUMP
00002d6d: JUMPDEST
00002d6e: DUP5
00002d6f: DUP5
00002d70: MSTORE
00002d71: DUP4
00002d72: DUP3
00002d73: MSTORE
00002d74: PUSH1 0x40
00002d76: DUP5
00002d77: KECCAK256
00002d78: DUP2
00002d79: DUP2
00002d7a: SLOAD
00002d7b: ADD
00002d7c: SWAP1
00002d7d: SSTORE
00002d7e: PUSH2 0x2d64
00002d81: JUMP
00002d82: JUMPDEST
00002d83: SWAP1
00002d84: SWAP2
00002d85: SWAP1
00002d86: PUSH1 0x01
00002d88: PUSH1 0x01
00002d8a: PUSH1 0xa0
00002d8c: SHL
00002d8d: SUB
00002d8e: AND
00002d8f: DUP1
00002d90: ISZERO
00002d91: DUP1
00002d92: DUP1
00002d93: ISZERO
00002d94: PUSH2 0x2ee1
00002d97: JUMPI
00002d98: JUMPDEST
00002d99: DUP1
00002d9a: ISZERO
00002d9b: PUSH2 0x2e96
00002d9e: JUMPI
00002d9f: JUMPDEST
00002da0: PUSH2 0x2dcb
00002da3: JUMPI
00002da4: PUSH32 0x8574adcf00000000000000000000000000000000000000000000000000000000
00002dc5: PUSH0
00002dc6: MSTORE
00002dc7: PUSH1 0x04
00002dc9: PUSH0
00002dca: REVERT
00002dcb: JUMPDEST
00002dcc: ISZERO
00002dcd: PUSH2 0x2e17
00002dd0: JUMPI
00002dd1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002df2: PUSH1 0x20
00002df4: DUP5
00002df5: PUSH2 0x2e02
00002df8: PUSH0
00002df9: SWAP6
00002dfa: SWAP7
00002dfb: PUSH1 0x02
00002dfd: SLOAD
00002dfe: PUSH2 0x258c
00002e01: JUMP
00002e02: JUMPDEST
00002e03: PUSH1 0x02
00002e05: SSTORE
00002e06: JUMPDEST
00002e07: DUP1
00002e08: PUSH1 0x02
00002e0a: SLOAD
00002e0b: SUB
00002e0c: PUSH1 0x02
00002e0e: SSTORE
00002e0f: PUSH1 0x40
00002e11: MLOAD
00002e12: SWAP1
00002e13: DUP2
00002e14: MSTORE
00002e15: LOG3
00002e16: JUMP
00002e17: JUMPDEST
00002e18: DUP1
00002e19: PUSH0
00002e1a: MSTORE
00002e1b: PUSH0
00002e1c: PUSH1 0x20
00002e1e: MSTORE
00002e1f: PUSH1 0x40
00002e21: PUSH0
00002e22: KECCAK256
00002e23: SLOAD
00002e24: DUP4
00002e25: DUP2
00002e26: LT
00002e27: PUSH2 0x2e63
00002e2a: JUMPI
00002e2b: PUSH1 0x20
00002e2d: DUP5
00002e2e: PUSH0
00002e2f: SWAP5
00002e30: SWAP6
00002e31: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002e52: SWAP4
00002e53: DUP6
00002e54: DUP8
00002e55: MSTORE
00002e56: DUP7
00002e57: DUP5
00002e58: MSTORE
00002e59: SUB
00002e5a: PUSH1 0x40
00002e5c: DUP7
00002e5d: KECCAK256
00002e5e: SSTORE
00002e5f: PUSH2 0x2e06
00002e62: JUMP
00002e63: JUMPDEST
00002e64: SWAP2
00002e65: POP
00002e66: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000
00002e87: PUSH0
00002e88: MSTORE
00002e89: PUSH1 0x04
00002e8b: MSTORE
00002e8c: PUSH1 0x24
00002e8e: MSTORE
00002e8f: PUSH1 0x44
00002e91: MSTORE
00002e92: PUSH1 0x64
00002e94: PUSH0
00002e95: REVERT
00002e96: JUMPDEST
00002e97: POP
00002e98: PUSH1 0xff
00002e9a: PUSH1 0x0e
00002e9c: SLOAD
00002e9d: PUSH1 0xa0
00002e9f: SHR
00002ea0: AND
00002ea1: PUSH1 0x05
00002ea3: DUP2
00002ea4: LT
00002ea5: ISZERO
00002ea6: PUSH2 0x0804
00002ea9: JUMPI
00002eaa: PUSH1 0x03
00002eac: EQ
00002ead: DUP1
00002eae: PUSH2 0x2ecb
00002eb1: JUMPI
00002eb2: JUMPDEST
00002eb3: DUP1
00002eb4: ISZERO
00002eb5: PUSH2 0x2d9f
00002eb8: JUMPI
00002eb9: POP
00002eba: PUSH1 0x01
00002ebc: PUSH1 0x01
00002ebe: PUSH1 0xa0
00002ec0: SHL
00002ec1: SUB
00002ec2: PUSH1 0x0c
00002ec4: SLOAD
00002ec5: AND
00002ec6: ISZERO
00002ec7: PUSH2 0x2d9f
00002eca: JUMP
00002ecb: JUMPDEST
00002ecc: POP
00002ecd: DUP2
00002ece: PUSH0
00002ecf: MSTORE
00002ed0: PUSH1 0x0d
00002ed2: PUSH1 0x20
00002ed4: MSTORE
00002ed5: PUSH1 0xff
00002ed7: PUSH1 0x40
00002ed9: PUSH0
00002eda: KECCAK256
00002edb: SLOAD
00002edc: AND
00002edd: PUSH2 0x2eb2
00002ee0: JUMP
00002ee1: JUMPDEST
00002ee2: POP
00002ee3: PUSH1 0x01
00002ee5: PUSH2 0x2d98
00002ee8: JUMP
00002ee9: JUMPDEST
00002eea: PUSH1 0x01
00002eec: PUSH1 0x01
00002eee: PUSH1 0xa0
00002ef0: SHL
00002ef1: SUB
00002ef2: AND
00002ef3: SWAP1
00002ef4: DUP2
00002ef5: ISZERO
00002ef6: DUP1
00002ef7: DUP1
00002ef8: ISZERO
00002ef9: PUSH2 0x3079
00002efc: JUMPI
00002efd: JUMPDEST
00002efe: DUP1
00002eff: ISZERO
00002f00: PUSH2 0x3024
00002f03: JUMPI
00002f04: JUMPDEST
00002f05: PUSH2 0x2f30
00002f08: JUMPI
00002f09: PUSH32 0x8574adcf00000000000000000000000000000000000000000000000000000000
00002f2a: PUSH0
00002f2b: MSTORE
00002f2c: PUSH1 0x04
00002f2e: PUSH0
00002f2f: REVERT
00002f30: JUMPDEST
00002f31: ISZERO
00002f32: PUSH2 0x2f9e
00002f35: JUMPI
00002f36: PUSH1 0x20
00002f38: PUSH1 0x01
00002f3a: PUSH1 0x01
00002f3c: PUSH1 0xa0
00002f3e: SHL
00002f3f: SUB
00002f40: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002f61: SWAP3
00002f62: PUSH2 0x2f6d
00002f65: DUP7
00002f66: PUSH1 0x02
00002f68: SLOAD
00002f69: PUSH2 0x258c
00002f6c: JUMP
00002f6d: JUMPDEST
00002f6e: PUSH1 0x02
00002f70: SSTORE
00002f71: JUMPDEST
00002f72: AND
00002f73: SWAP4
00002f74: DUP5
00002f75: PUSH2 0x2f89
00002f78: JUMPI
00002f79: DUP1
00002f7a: PUSH1 0x02
00002f7c: SLOAD
00002f7d: SUB
00002f7e: PUSH1 0x02
00002f80: SSTORE
00002f81: PUSH1 0x40
00002f83: MLOAD
00002f84: SWAP1
00002f85: DUP2
00002f86: MSTORE
00002f87: LOG3
00002f88: JUMP
00002f89: JUMPDEST
00002f8a: DUP5
00002f8b: PUSH0
00002f8c: MSTORE
00002f8d: PUSH0
00002f8e: DUP3
00002f8f: MSTORE
00002f90: PUSH1 0x40
00002f92: PUSH0
00002f93: KECCAK256
00002f94: DUP2
00002f95: DUP2
00002f96: SLOAD
00002f97: ADD
00002f98: SWAP1
00002f99: SSTORE
00002f9a: PUSH2 0x2d64
00002f9d: JUMP
00002f9e: JUMPDEST
00002f9f: DUP2
00002fa0: PUSH0
00002fa1: MSTORE
00002fa2: PUSH0
00002fa3: PUSH1 0x20
00002fa5: MSTORE
00002fa6: PUSH1 0x40
00002fa8: PUSH0
00002fa9: KECCAK256
00002faa: SLOAD
00002fab: DUP4
00002fac: DUP2
00002fad: LT
00002fae: PUSH2 0x2ff0
00002fb1: JUMPI
00002fb2: PUSH1 0x01
00002fb4: PUSH1 0x01
00002fb6: PUSH1 0xa0
00002fb8: SHL
00002fb9: SUB
00002fba: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002fdb: SWAP3
00002fdc: DUP6
00002fdd: PUSH1 0x20
00002fdf: SWAP4
00002fe0: DUP7
00002fe1: PUSH0
00002fe2: MSTORE
00002fe3: PUSH0
00002fe4: DUP6
00002fe5: MSTORE
00002fe6: SUB
00002fe7: PUSH1 0x40
00002fe9: PUSH0
00002fea: KECCAK256
00002feb: SSTORE
00002fec: PUSH2 0x2f71
00002fef: JUMP
00002ff0: JUMPDEST
00002ff1: SWAP2
00002ff2: SWAP1
00002ff3: POP
00002ff4: PUSH32 0xe450d38c00000000000000000000000000000000000000000000000000000000
00003015: PUSH0
00003016: MSTORE
00003017: PUSH1 0x04
00003019: MSTORE
0000301a: PUSH1 0x24
0000301c: MSTORE
0000301d: PUSH1 0x44
0000301f: MSTORE
00003020: PUSH1 0x64
00003022: PUSH0
00003023: REVERT
00003024: JUMPDEST
00003025: POP
00003026: PUSH1 0xff
00003028: PUSH1 0x0e
0000302a: SLOAD
0000302b: PUSH1 0xa0
0000302d: SHR
0000302e: AND
0000302f: PUSH1 0x05
00003031: DUP2
00003032: LT
00003033: ISZERO
00003034: PUSH2 0x0804
00003037: JUMPI
00003038: PUSH1 0x03
0000303a: EQ
0000303b: DUP1
0000303c: PUSH2 0x3063
0000303f: JUMPI
00003040: JUMPDEST
00003041: DUP1
00003042: ISZERO
00003043: PUSH2 0x2f04
00003046: JUMPI
00003047: POP
00003048: PUSH1 0x01
0000304a: PUSH1 0x01
0000304c: PUSH1 0xa0
0000304e: SHL
0000304f: SUB
00003050: PUSH1 0x0c
00003052: SLOAD
00003053: AND
00003054: PUSH1 0x01
00003056: PUSH1 0x01
00003058: PUSH1 0xa0
0000305a: SHL
0000305b: SUB
0000305c: DUP4
0000305d: AND
0000305e: EQ
0000305f: PUSH2 0x2f04
00003062: JUMP
00003063: JUMPDEST
00003064: POP
00003065: DUP3
00003066: PUSH0
00003067: MSTORE
00003068: PUSH1 0x0d
0000306a: PUSH1 0x20
0000306c: MSTORE
0000306d: PUSH1 0xff
0000306f: PUSH1 0x40
00003071: PUSH0
00003072: KECCAK256
00003073: SLOAD
00003074: AND
00003075: PUSH2 0x3040
00003078: JUMP
00003079: JUMPDEST
0000307a: POP
0000307b: PUSH1 0x01
0000307d: PUSH1 0x01
0000307f: PUSH1 0xa0
00003081: SHL
00003082: SUB
00003083: DUP3
00003084: AND
00003085: ISZERO
00003086: PUSH2 0x2efd
00003089: JUMP
0000308a: JUMPDEST
0000308b: SWAP1
0000308c: PUSH0
0000308d: PUSH1 0x20
0000308f: SWAP2
00003090: DUP3
00003091: DUP2
00003092: MLOAD
00003093: SWAP2
00003094: ADD
00003095: DUP3
00003096: DUP6
00003097: GAS
00003098: CALL
00003099: ISZERO
0000309a: PUSH2 0x134e
0000309d: JUMPI
0000309e: PUSH0
0000309f: MLOAD
000030a0: RETURNDATASIZE
000030a1: PUSH2 0x30ee
000030a4: JUMPI
000030a5: POP
000030a6: PUSH1 0x01
000030a8: PUSH1 0x01
000030aa: PUSH1 0xa0
000030ac: SHL
000030ad: SUB
000030ae: DUP2
000030af: AND
000030b0: EXTCODESIZE
000030b1: ISZERO
000030b2: JUMPDEST
000030b3: PUSH2 0x30b9
000030b6: JUMPI
000030b7: POP
000030b8: JUMP
000030b9: JUMPDEST
000030ba: PUSH1 0x01
000030bc: PUSH1 0x01
000030be: PUSH1 0xa0
000030c0: SHL
000030c1: SUB
000030c2: SWAP1
000030c3: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
000030e4: PUSH0
000030e5: MSTORE
000030e6: AND
000030e7: PUSH1 0x04
000030e9: MSTORE
000030ea: PUSH1 0x24
000030ec: PUSH0
000030ed: REVERT
000030ee: JUMPDEST
000030ef: PUSH1 0x01
000030f1: EQ
000030f2: ISZERO
000030f3: PUSH2 0x30b2
000030f6: JUMP
000030f7: JUMPDEST
000030f8: PUSH1 0xff
000030fa: DUP2
000030fb: EQ
000030fc: PUSH2 0x3156
000030ff: JUMPI
00003100: PUSH1 0xff
00003102: DUP2
00003103: AND
00003104: SWAP1
00003105: PUSH1 0x1f
00003107: DUP3
00003108: GT
00003109: PUSH2 0x312e
0000310c: JUMPI
0000310d: PUSH1 0x40
0000310f: MLOAD
00003110: SWAP2
00003111: PUSH2 0x311b
00003114: PUSH1 0x40
00003116: DUP5
00003117: PUSH2 0x23f8
0000311a: JUMP
0000311b: JUMPDEST
0000311c: PUSH1 0x20
0000311e: DUP1
0000311f: DUP5
00003120: MSTORE
00003121: DUP4
00003122: DUP2
00003123: ADD
00003124: SWAP2
00003125: SWAP1
00003126: CALLDATASIZE
00003127: DUP4
00003128: CALLDATACOPY
00003129: DUP4
0000312a: MSTORE
0000312b: MSTORE
0000312c: SWAP1
0000312d: JUMP
0000312e: JUMPDEST
0000312f: PUSH32 0xb3512b0c00000000000000000000000000000000000000000000000000000000
00003150: PUSH0
00003151: MSTORE
00003152: PUSH1 0x04
00003154: PUSH0
00003155: REVERT
00003156: JUMPDEST
00003157: POP
00003158: PUSH1 0x40
0000315a: MLOAD
0000315b: PUSH2 0x2570
0000315e: DUP2
0000315f: PUSH2 0x3169
00003162: DUP2
00003163: PUSH1 0x05
00003165: PUSH2 0x24b7
00003168: JUMP
00003169: JUMPDEST
0000316a: SUB
0000316b: DUP3
0000316c: PUSH2 0x23f8
0000316f: JUMP
00003170: JUMPDEST
00003171: PUSH1 0xff
00003173: DUP2
00003174: EQ
00003175: PUSH2 0x3194
00003178: JUMPI
00003179: PUSH1 0xff
0000317b: DUP2
0000317c: AND
0000317d: SWAP1
0000317e: PUSH1 0x1f
00003180: DUP3
00003181: GT
00003182: PUSH2 0x312e
00003185: JUMPI
00003186: PUSH1 0x40
00003188: MLOAD
00003189: SWAP2
0000318a: PUSH2 0x311b
0000318d: PUSH1 0x40
0000318f: DUP5
00003190: PUSH2 0x23f8
00003193: JUMP
00003194: JUMPDEST
00003195: POP
00003196: PUSH1 0x40
00003198: MLOAD
00003199: PUSH2 0x2570
0000319c: DUP2
0000319d: PUSH2 0x3169
000031a0: DUP2
000031a1: PUSH1 0x06
000031a3: PUSH2 0x24b7
000031a6: JUMP
000031a7: JUMPDEST
000031a8: SWAP2
000031a9: SWAP1
000031aa: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000031cb: DUP5
000031cc: GT
000031cd: PUSH2 0x321e
000031d0: JUMPI
000031d1: SWAP2
000031d2: PUSH1 0x20
000031d4: SWAP4
000031d5: PUSH1 0x80
000031d7: SWAP3
000031d8: PUSH1 0xff
000031da: PUSH0
000031db: SWAP6
000031dc: PUSH1 0x40
000031de: MLOAD
000031df: SWAP5
000031e0: DUP6
000031e1: MSTORE
000031e2: AND
000031e3: DUP7
000031e4: DUP5
000031e5: ADD
000031e6: MSTORE
000031e7: PUSH1 0x40
000031e9: DUP4
000031ea: ADD
000031eb: MSTORE
000031ec: PUSH1 0x60
000031ee: DUP3
000031ef: ADD
000031f0: MSTORE
000031f1: DUP3
000031f2: DUP1
000031f3: MSTORE
000031f4: PUSH1 0x01
000031f6: GAS
000031f7: STATICCALL
000031f8: ISZERO
000031f9: PUSH2 0x134e
000031fc: JUMPI
000031fd: PUSH0
000031fe: MLOAD
000031ff: PUSH1 0x01
00003201: PUSH1 0x01
00003203: PUSH1 0xa0
00003205: SHL
00003206: SUB
00003207: DUP2
00003208: AND
00003209: ISZERO
0000320a: PUSH2 0x3214
0000320d: JUMPI
0000320e: SWAP1
0000320f: PUSH0
00003210: SWAP1
00003211: PUSH0
00003212: SWAP1
00003213: JUMP
00003214: JUMPDEST
00003215: POP
00003216: PUSH0
00003217: SWAP1
00003218: PUSH1 0x01
0000321a: SWAP1
0000321b: PUSH0
0000321c: SWAP1
0000321d: JUMP
0000321e: JUMPDEST
0000321f: POP
00003220: POP
00003221: POP
00003222: PUSH0
00003223: SWAP2
00003224: PUSH1 0x03
00003226: SWAP2
00003227: SWAP1
00003228: JUMP
00003229: JUMPDEST
0000322a: PUSH1 0x04
0000322c: GT
0000322d: ISZERO
0000322e: PUSH2 0x0804
00003231: JUMPI
00003232: JUMP
00003233: JUMPDEST
00003234: PUSH2 0x323c
00003237: DUP2
00003238: PUSH2 0x3229
0000323b: JUMP
0000323c: JUMPDEST
0000323d: DUP1
0000323e: PUSH2 0x3245
00003241: JUMPI
00003242: POP
00003243: POP
00003244: JUMP
00003245: JUMPDEST
00003246: PUSH2 0x324e
00003249: DUP2
0000324a: PUSH2 0x3229
0000324d: JUMP
0000324e: JUMPDEST
0000324f: PUSH1 0x01
00003251: DUP2
00003252: SUB
00003253: PUSH2 0x327e
00003256: JUMPI
00003257: PUSH32 0xf645eedf00000000000000000000000000000000000000000000000000000000
00003278: PUSH0
00003279: MSTORE
0000327a: PUSH1 0x04
0000327c: PUSH0
0000327d: REVERT
0000327e: JUMPDEST
0000327f: PUSH2 0x3287
00003282: DUP2
00003283: PUSH2 0x3229
00003286: JUMP
00003287: JUMPDEST
00003288: PUSH1 0x02
0000328a: DUP2
0000328b: SUB
0000328c: PUSH2 0x32bb
0000328f: JUMPI
00003290: POP
00003291: PUSH32 0xfce698f700000000000000000000000000000000000000000000000000000000
000032b2: PUSH0
000032b3: MSTORE
000032b4: PUSH1 0x04
000032b6: MSTORE
000032b7: PUSH1 0x24
000032b9: PUSH0
000032ba: REVERT
000032bb: JUMPDEST
000032bc: PUSH1 0x03
000032be: SWAP1
000032bf: PUSH2 0x32c7
000032c2: DUP2
000032c3: PUSH2 0x3229
000032c6: JUMP
000032c7: JUMPDEST
000032c8: EQ
000032c9: PUSH2 0x32cf
000032cc: JUMPI
000032cd: POP
000032ce: JUMP
000032cf: JUMPDEST
000032d0: PUSH32 0xd78bce0c00000000000000000000000000000000000000000000000000000000
000032f1: PUSH0
000032f2: MSTORE
000032f3: PUSH1 0x04
000032f5: MSTORE
000032f6: PUSH1 0x24
000032f8: PUSH0
000032f9: REVERT
000032fa: JUMPDEST
000032fb: SWAP1
000032fc: SWAP2
000032fd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000331e: DUP4
0000331f: DUP4
00003320: MULMOD
00003321: SWAP3
00003322: DUP1
00003323: DUP4
00003324: MUL
00003325: SWAP3
00003326: DUP4
00003327: DUP1
00003328: DUP7
00003329: LT
0000332a: SWAP6
0000332b: SUB
0000332c: SWAP5
0000332d: DUP1
0000332e: DUP7
0000332f: SUB
00003330: SWAP6
00003331: EQ
00003332: PUSH2 0x33aa
00003335: JUMPI
00003336: DUP5
00003337: DUP4
00003338: GT
00003339: ISZERO
0000333a: PUSH2 0x3392
0000333d: JUMPI
0000333e: SWAP1
0000333f: DUP3
00003340: SWAP2
00003341: MULMOD
00003342: DUP2
00003343: PUSH0
00003344: SUB
00003345: DUP3
00003346: AND
00003347: DUP1
00003348: SWAP3
00003349: DIV
0000334a: PUSH1 0x02
0000334c: DUP2
0000334d: PUSH1 0x03
0000334f: MUL
00003350: XOR
00003351: DUP1
00003352: DUP3
00003353: MUL
00003354: PUSH1 0x02
00003356: SUB
00003357: MUL
00003358: DUP1
00003359: DUP3
0000335a: MUL
0000335b: PUSH1 0x02
0000335d: SUB
0000335e: MUL
0000335f: DUP1
00003360: DUP3
00003361: MUL
00003362: PUSH1 0x02
00003364: SUB
00003365: MUL
00003366: DUP1
00003367: DUP3
00003368: MUL
00003369: PUSH1 0x02
0000336b: SUB
0000336c: MUL
0000336d: DUP1
0000336e: DUP3
0000336f: MUL
00003370: PUSH1 0x02
00003372: SUB
00003373: MUL
00003374: DUP1
00003375: SWAP2
00003376: MUL
00003377: PUSH1 0x02
00003379: SUB
0000337a: MUL
0000337b: SWAP4
0000337c: PUSH1 0x01
0000337e: DUP4
0000337f: DUP1
00003380: PUSH0
00003381: SUB
00003382: DIV
00003383: ADD
00003384: SWAP1
00003385: DUP5
00003386: DUP4
00003387: GT
00003388: SWAP1
00003389: SUB
0000338a: MUL
0000338b: SWAP3
0000338c: SUB
0000338d: DIV
0000338e: OR
0000338f: MUL
00003390: SWAP1
00003391: JUMP
00003392: JUMPDEST
00003393: DUP3
00003394: PUSH4 0x4e487b71
00003399: PUSH0
0000339a: MSTORE
0000339b: ISZERO
0000339c: PUSH1 0x03
0000339e: MUL
0000339f: PUSH1 0x11
000033a1: XOR
000033a2: PUSH1 0x20
000033a4: MSTORE
000033a5: PUSH1 0x24
000033a7: PUSH1 0x1c
000033a9: REVERT
000033aa: JUMPDEST
000033ab: POP
000033ac: POP
000033ad: DUP1
000033ae: SWAP3
000033af: POP
000033b0: ISZERO
000033b1: PUSH2 0x33b8
000033b4: JUMPI
000033b5: DIV
000033b6: SWAP1
000033b7: JUMP
000033b8: JUMPDEST
000033b9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000033da: PUSH0
000033db: MSTORE
000033dc: PUSH1 0x12
000033de: PUSH1 0x04
000033e0: MSTORE
000033e1: PUSH1 0x24
000033e3: PUSH0
000033e4: REVERT
000033e5: INVALID
000033e6: LOG1
000033e7: PUSH5 0x736f6c6343
000033ed: STOP
000033ee: ADDMOD
000033ef: SAR
000033f0: STOP
000033f1: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f
call_targets: 0xd9b2cb2fbad204fc548787ef56b918c845fcce40
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd9b2cb2fbad204fc548787ef56b918c845fcce40"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0359632f",
            "selector": "0x0359632f",
            "calldata_variants": [
                "0x0359632f",
                "0x0359632f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x063d11de",
            "selector": "0x063d11de",
            "calldata_variants": [
                "0x063d11de",
                "0x063d11de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b26cf66",
            "selector": "0x0b26cf66",
            "calldata_variants": [
                "0x0b26cf66",
                "0x0b26cf660000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f4e7469",
            "selector": "0x0f4e7469",
            "calldata_variants": [
                "0x0f4e7469",
                "0x0f4e74690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12dc5ae6",
            "selector": "0x12dc5ae6",
            "calldata_variants": [
                "0x12dc5ae6",
                "0x12dc5ae60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5246,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f
call_targets: 0xd9b2cb2fbad204fc548787ef56b918c845fcce40
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa90ebe4849405e89e7aa91c005f0f032dfbe7fe207f46ab79e1e48e2954f270f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd9b2cb2fbad204fc548787ef56b918c845fcce40"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x01ffc9a7",
            "selector": "0x01ffc9a7",
            "calldata_variants": [
                "0x01ffc9a7",
                "0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0359632f",
            "selector": "0x0359632f",
            "calldata_variants": [
                "0x0359632f",
                "0x0359632f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x063d11de",
            "selector": "0x063d11de",
            "calldata_variants": [
                "0x063d11de",
                "0x063d11de0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0b26cf66",
            "selector": "0x0b26cf66",
            "calldata_variants": [
                "0x0b26cf66",
                "0x0b26cf660000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0f4e7469",
            "selector": "0x0f4e7469",
            "calldata_variants": [
                "0x0f4e7469",
                "0x0f4e74690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x12dc5ae6",
            "selector": "0x12dc5ae6",
            "calldata_variants": [
                "0x12dc5ae6",
                "0x12dc5ae60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 5246,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 12440,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}