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

Analysis Run

44243406-18fe-4324-9ecb-548f4693198e

failed
Chain ID
1
Address
0xa0c90c25ce5b5beef1369c977d4c20407d5d69b4
Block Number
—
Created
Thu, Jan 1, 2026 12:55 AM
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?

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
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
31006 report.consolidate complete 1 / 1 3 months ago
75850 artifact.fetch failed 1 / 3 2 weeks ago
75851 tool.cast_disasm complete 1 / 3 2 weeks ago
75852 analysis.bundle complete 1 / 3 2 weeks ago
75853 capability.graph complete 1 / 3 2 weeks ago
75854 detector.run complete 1 / 3 2 weeks ago
75855 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 `R2YieldRequestManagerV2` and related interfaces in `AUDIT_BUNDLE.txt`; no concrete attacker-profit extraction paths found under the stated assumptions.
View stderr 
[codex:1476448] OpenAI Codex v0.77.0 (research preview)
[codex:1476448] --------
[codex:1476448] workdir: /tmp/codex-multi-thcinjoh
[codex:1476448] model: gpt-5.2-codex
[codex:1476448] provider: openai
[codex:1476448] approval: never
[codex:1476448] sandbox: read-only
[codex:1476448] reasoning effort: xhigh
[codex:1476448] reasoning summaries: auto
[codex:1476448] session id: 019b770d-1d64-7eb0-8816-cc441bbd2f78
[codex:1476448] --------
[codex:1476448] user
[codex:1476448] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1476448] 
[codex:1476448] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1476448] 
[codex:1476448] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1476448] - Gas inefficiency, code quality, naming, or best practices
[codex:1476448] - Theoretical vulnerabilities without a clear extraction path
[codex:1476448] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1476448] - Front-running unless it enables theft beyond MEV
[codex:1476448] - DoS, griefing, or issues that don't result in attacker profit
[codex:1476448] - Missing events, view function issues, or informational findings
[codex:1476448] 
[codex:1476448] HIGH-VALUE PATTERNS TO HUNT:
[codex:1476448] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1476448] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1476448] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1476448] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1476448] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1476448] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1476448] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1476448] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1476448] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1476448] 
[codex:1476448] For each finding, you MUST provide:
[codex:1476448] 1. Exact file and line numbers of vulnerable code
[codex:1476448] 2. Step-by-step exploit transaction sequence
[codex:1476448] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1476448] 
[codex:1476448] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1476448] 
[codex:1476448] Output MUST be valid JSON matching the provided schema.
[codex:1476448] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1476448] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1476448] mcp startup: no servers
[codex:1476448] 
[codex:1476448] thinking
[codex:1476448] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1476448] exec
[codex:1476448] /bin/bash -lc ls in /tmp/codex-multi-thcinjoh succeeded in 5ms:
[codex:1476448] AUDIT_BUNDLE.txt
[codex:1476448] codex-output-schema.json
[codex:1476448] contracts
[codex:1476448] 
[codex:1476448] thinking
[codex:1476448] **Reading AUDIT_BUNDLE.txt file**
[codex:1476448] exec
[codex:1476448] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-thcinjoh succeeded in 5ms:
[codex:1476448] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1476448] 
[codex:1476448] ================================================================================
[codex:1476448] FILE: contracts/src/R2YieldRequestManagerV2.sol
[codex:1476448] ================================================================================
[codex:1476448] // SPDX-License-Identifier: MIT
[codex:1476448] pragma solidity ^0.8.26;
[codex:1476448] 
[codex:1476448] import "./interfaces/IR2AssetVault.sol";
[codex:1476448] import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1476448] import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1476448] import {Ownable2Step} from "@openzeppelin/contracts/access/Ownable2Step.sol";
[codex:1476448] import {Ownable} from "@openzeppelin/contracts/access/Ownable.sol";
[codex:1476448] import {IR2USD} from "./interfaces/IR2USD.sol";
[codex:1476448] import {IR2YieldShareToken} from "./interfaces/IR2YieldShareToken.sol";
[codex:1476448] 
[codex:1476448] contract R2YieldRequestManagerV2 is Ownable2Step {
[codex:1476448] 
[codex:1476448]     using SafeERC20 for IERC20;
[codex:1476448] 
[codex:1476448] 
[codex:1476448] thinking
[codex:1476448] **Summarizing audit results**
[codex:1476448] 
[codex:1476448] I carefully reviewed the `R2YieldRequestManagerV2` contract, focusing on potential profit extraction by unauthorized users or through whitelisted share tokens. I analyzed functions, access controls, and possible reentrancy attack vectors, concluding no exploitable profit paths exist given the assumptions about trusted libraries and owner-controlled settings. I’ll provide a JSON summary indicating no findings.
[codex:1476448] codex
[codex:1476448] {"no_findings":true,"summary":"Reviewed `R2YieldRequestManagerV2` and related interfaces in `AUDIT_BUNDLE.txt`; no concrete attacker-profit extraction paths found under the stated assumptions.","findings":[]}
[codex:1476448] tokens used
[codex:1476448] 19,122
[codex:1476448] {"no_findings":true,"summary":"Reviewed `R2YieldRequestManagerV2` and related interfaces in `AUDIT_BUNDLE.txt`; no concrete attacker-profit extraction paths found under the stated assumptions.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-01T00:55:48.375551+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `R2YieldRequestManagerV2` and related interfaces in `AUDIT_BUNDLE.txt`; no concrete attacker-profit extraction paths found under the stated assumptions.",
    "raw_final": {
        "summary": "Reviewed `R2YieldRequestManagerV2` and related interfaces in `AUDIT_BUNDLE.txt`; no concrete attacker-profit extraction paths found under the stated assumptions.",
        "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
1
Total opcodes
3758
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 0x05ede4e3
0000001f: EQ
00000020: PUSH2 0x1f8c
00000023: JUMPI
00000024: POP
00000025: DUP1
00000026: PUSH4 0x0650b8c4
0000002b: EQ
0000002c: PUSH2 0x1f24
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x077c7c67
00000036: EQ
00000037: PUSH2 0x1e90
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x1b10acf8
00000041: EQ
00000042: PUSH2 0x1e03
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x1f68f20a
0000004c: EQ
0000004d: PUSH2 0x1dc9
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x22221b9f
00000057: EQ
00000058: PUSH2 0x1cff
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x22b33bdb
00000062: EQ
00000063: PUSH2 0x1b6f
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x2fa8e44a
0000006d: EQ
0000006e: PUSH2 0x1816
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x35fad8a7
00000078: EQ
00000079: PUSH2 0x16d9
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x3bbd64bc
00000083: EQ
00000084: PUSH2 0x1671
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x40a39c6e
0000008e: EQ
0000008f: PUSH2 0x1620
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x418aee36
00000099: EQ
0000009a: PUSH2 0x12d1
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x424635f8
000000a4: EQ
000000a5: PUSH2 0x1296
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x500e9d51
000000af: EQ
000000b0: PUSH2 0x11ac
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x5a8d8559
000000ba: EQ
000000bb: PUSH2 0x1149
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x5d37c977
000000c5: EQ
000000c6: PUSH2 0x10e2
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x5f439289
000000d0: EQ
000000d1: PUSH2 0x0eb5
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x611f1a7f
000000db: EQ
000000dc: PUSH2 0x0d96
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x715018a6
000000e6: EQ
000000e7: PUSH2 0x0cd4
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x79ba5097
000000f1: EQ
000000f2: PUSH2 0x0bcc
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x81b0525b
000000fc: EQ
000000fd: PUSH2 0x0b36
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x8429d158
00000107: EQ
00000108: PUSH2 0x0ae5
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x87925cdd
00000112: EQ
00000113: PUSH2 0x0a6c
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x8da5cb5b
0000011d: EQ
0000011e: PUSH2 0x0a1c
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xa1e80640
00000128: EQ
00000129: PUSH2 0x0659
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xb753142c
00000133: EQ
00000134: PUSH2 0x059b
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xc4935334
0000013e: EQ
0000013f: PUSH2 0x03a5
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xca735ff3
00000149: EQ
0000014a: PUSH2 0x036a
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xcafc17d1
00000154: EQ
00000155: PUSH2 0x0283
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xe30c3978
0000015f: EQ
00000160: PUSH2 0x0232
00000163: JUMPI
00000164: PUSH4 0xf2fde38b
00000169: EQ
0000016a: PUSH2 0x0171
0000016d: JUMPI
0000016e: PUSH0
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: CALLVALUE
00000173: PUSH2 0x022e
00000176: JUMPI
00000177: PUSH1 0x20
00000179: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000019a: CALLDATASIZE
0000019b: ADD
0000019c: SLT
0000019d: PUSH2 0x022e
000001a0: JUMPI
000001a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001b6: PUSH2 0x01bd
000001b9: PUSH2 0x1feb
000001bc: JUMP
000001bd: JUMPDEST
000001be: PUSH2 0x01c5
000001c1: PUSH2 0x2305
000001c4: JUMP
000001c5: JUMPDEST
000001c6: AND
000001c7: DUP1
000001c8: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000001e9: PUSH1 0x01
000001eb: SLOAD
000001ec: AND
000001ed: OR
000001ee: PUSH1 0x01
000001f0: SSTORE
000001f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000206: PUSH0
00000207: SLOAD
00000208: AND
00000209: PUSH32 0x38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700
0000022a: PUSH0
0000022b: DUP1
0000022c: LOG3
0000022d: STOP
0000022e: JUMPDEST
0000022f: PUSH0
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: CALLVALUE
00000234: PUSH2 0x022e
00000237: JUMPI
00000238: PUSH0
00000239: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000025a: CALLDATASIZE
0000025b: ADD
0000025c: SLT
0000025d: PUSH2 0x022e
00000260: JUMPI
00000261: PUSH1 0x20
00000263: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000278: PUSH1 0x01
0000027a: SLOAD
0000027b: AND
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: SWAP1
00000280: DUP2
00000281: MSTORE
00000282: RETURN
00000283: JUMPDEST
00000284: CALLVALUE
00000285: PUSH2 0x022e
00000288: JUMPI
00000289: PUSH1 0x40
0000028b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000002ac: CALLDATASIZE
000002ad: ADD
000002ae: SLT
000002af: PUSH2 0x022e
000002b2: JUMPI
000002b3: PUSH2 0x02ba
000002b6: PUSH2 0x1feb
000002b9: JUMP
000002ba: JUMPDEST
000002bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002d0: PUSH2 0x02d7
000002d3: PUSH2 0x200e
000002d6: JUMP
000002d7: JUMPDEST
000002d8: SWAP2
000002d9: PUSH2 0x02e0
000002dc: PUSH2 0x2305
000002df: JUMP
000002e0: JUMPDEST
000002e1: AND
000002e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f7: DUP3
000002f8: AND
000002f9: DUP2
000002fa: PUSH32 0x5da8762a0ffcdd4e386f26e33bb27d9a41c1d1bd2e61fbaa78e80e8fd03135e9
0000031b: PUSH0
0000031c: DUP1
0000031d: LOG3
0000031e: PUSH0
0000031f: MSTORE
00000320: PUSH1 0x08
00000322: PUSH1 0x20
00000324: MSTORE
00000325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000033a: PUSH1 0x40
0000033c: PUSH0
0000033d: KECCAK256
0000033e: SWAP2
0000033f: AND
00000340: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000361: DUP3
00000362: SLOAD
00000363: AND
00000364: OR
00000365: SWAP1
00000366: SSTORE
00000367: PUSH0
00000368: DUP1
00000369: RETURN
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: PUSH2 0x022e
0000036f: JUMPI
00000370: PUSH0
00000371: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000392: CALLDATASIZE
00000393: ADD
00000394: SLT
00000395: PUSH2 0x022e
00000398: JUMPI
00000399: PUSH1 0x20
0000039b: PUSH1 0x02
0000039d: SLOAD
0000039e: PUSH1 0x40
000003a0: MLOAD
000003a1: SWAP1
000003a2: DUP2
000003a3: MSTORE
000003a4: RETURN
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: PUSH2 0x022e
000003aa: JUMPI
000003ab: PUSH1 0x80
000003ad: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000003ce: CALLDATASIZE
000003cf: ADD
000003d0: SLT
000003d1: PUSH2 0x022e
000003d4: JUMPI
000003d5: PUSH2 0x03dc
000003d8: PUSH2 0x1feb
000003db: JUMP
000003dc: JUMPDEST
000003dd: PUSH2 0x03e4
000003e0: PUSH2 0x200e
000003e3: JUMP
000003e4: JUMPDEST
000003e5: PUSH1 0x44
000003e7: CALLDATALOAD
000003e8: SWAP1
000003e9: CALLER
000003ea: PUSH0
000003eb: MSTORE
000003ec: PUSH1 0x07
000003ee: PUSH1 0x20
000003f0: MSTORE
000003f1: PUSH1 0xff
000003f3: PUSH1 0x40
000003f5: PUSH0
000003f6: KECCAK256
000003f7: SLOAD
000003f8: AND
000003f9: ISZERO
000003fa: PUSH2 0x056f
000003fd: JUMPI
000003fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000413: PUSH1 0x04
00000415: SLOAD
00000416: AND
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0547
0000041c: JUMPI
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: SWAP1
00000421: PUSH32 0x38d52e0f00000000000000000000000000000000000000000000000000000000
00000442: DUP3
00000443: MSTORE
00000444: PUSH1 0x20
00000446: DUP3
00000447: PUSH1 0x04
00000449: DUP2
0000044a: DUP5
0000044b: GAS
0000044c: STATICCALL
0000044d: DUP1
0000044e: ISZERO
0000044f: PUSH2 0x053c
00000452: JUMPI
00000453: DUP5
00000454: SWAP3
00000455: PUSH0
00000456: SWAP2
00000457: PUSH2 0x04de
0000045a: JUMPI
0000045b: JUMPDEST
0000045c: POP
0000045d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000472: SWAP4
00000473: SWAP2
00000474: SWAP3
00000475: DUP5
00000476: SWAP4
00000477: DUP5
00000478: PUSH2 0x0481
0000047b: SWAP4
0000047c: AND
0000047d: PUSH2 0x2325
00000480: JUMP
00000481: JUMPDEST
00000482: CALLER
00000483: PUSH0
00000484: MSTORE
00000485: PUSH1 0x0a
00000487: PUSH1 0x20
00000489: MSTORE
0000048a: PUSH2 0x0497
0000048d: DUP5
0000048e: PUSH1 0x40
00000490: PUSH0
00000491: KECCAK256
00000492: SLOAD
00000493: PUSH2 0x22eb
00000496: JUMP
00000497: JUMPDEST
00000498: CALLER
00000499: PUSH0
0000049a: MSTORE
0000049b: PUSH1 0x0a
0000049d: PUSH1 0x20
0000049f: MSTORE
000004a0: PUSH1 0x40
000004a2: PUSH0
000004a3: KECCAK256
000004a4: SSTORE
000004a5: PUSH1 0x40
000004a7: MLOAD
000004a8: SWAP4
000004a9: PUSH1 0x64
000004ab: CALLDATALOAD
000004ac: DUP6
000004ad: MSTORE
000004ae: PUSH1 0x20
000004b0: DUP6
000004b1: ADD
000004b2: MSTORE
000004b3: AND
000004b4: SWAP3
000004b5: AND
000004b6: SWAP1
000004b7: PUSH32 0x04303a8651a7a24cc67bfa350915183ef324a5ce3c6b6b3366750d18ea68f7ed
000004d8: PUSH1 0x40
000004da: CALLER
000004db: SWAP3
000004dc: LOG4
000004dd: STOP
000004de: JUMPDEST
000004df: SWAP3
000004e0: POP
000004e1: POP
000004e2: SWAP2
000004e3: PUSH1 0x20
000004e5: DUP3
000004e6: RETURNDATASIZE
000004e7: PUSH1 0x20
000004e9: GT
000004ea: PUSH2 0x0534
000004ed: JUMPI
000004ee: JUMPDEST
000004ef: DUP2
000004f0: PUSH2 0x04fb
000004f3: PUSH1 0x20
000004f5: SWAP4
000004f6: DUP4
000004f7: PUSH2 0x20d4
000004fa: JUMP
000004fb: JUMPDEST
000004fc: DUP2
000004fd: ADD
000004fe: SUB
000004ff: SLT
00000500: PUSH2 0x022e
00000503: JUMPI
00000504: PUSH2 0x0481
00000507: DUP5
00000508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051d: SWAP5
0000051e: DUP6
0000051f: PUSH2 0x0528
00000522: DUP2
00000523: SWAP7
00000524: PUSH2 0x22be
00000527: JUMP
00000528: JUMPDEST
00000529: SWAP4
0000052a: POP
0000052b: POP
0000052c: SWAP3
0000052d: SWAP5
0000052e: POP
0000052f: SWAP3
00000530: PUSH2 0x045b
00000533: JUMP
00000534: JUMPDEST
00000535: RETURNDATASIZE
00000536: SWAP2
00000537: POP
00000538: PUSH2 0x04ee
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: RETURNDATASIZE
00000541: PUSH0
00000542: DUP3
00000543: RETURNDATACOPY
00000544: RETURNDATASIZE
00000545: SWAP1
00000546: REVERT
00000547: JUMPDEST
00000548: PUSH32 0x9b0a663600000000000000000000000000000000000000000000000000000000
00000569: PUSH0
0000056a: MSTORE
0000056b: PUSH1 0x04
0000056d: PUSH0
0000056e: REVERT
0000056f: JUMPDEST
00000570: PUSH32 0x490c066c00000000000000000000000000000000000000000000000000000000
00000591: PUSH0
00000592: MSTORE
00000593: CALLER
00000594: PUSH1 0x04
00000596: MSTORE
00000597: PUSH1 0x24
00000599: PUSH0
0000059a: REVERT
0000059b: JUMPDEST
0000059c: CALLVALUE
0000059d: PUSH2 0x022e
000005a0: JUMPI
000005a1: PUSH1 0x20
000005a3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000005c4: CALLDATASIZE
000005c5: ADD
000005c6: SLT
000005c7: PUSH2 0x022e
000005ca: JUMPI
000005cb: PUSH2 0x05d2
000005ce: PUSH2 0x1feb
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x05da
000005d6: PUSH2 0x2305
000005d9: JUMP
000005da: JUMPDEST
000005db: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000005fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000611: PUSH1 0x04
00000613: SLOAD
00000614: SWAP3
00000615: AND
00000616: SWAP2
00000617: DUP3
00000618: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062d: DUP3
0000062e: AND
0000062f: PUSH32 0x1654f4768df5279516fed9a5f97bcbd969e2ee0d8be89fc9ca839d24fb755819
00000650: PUSH0
00000651: DUP1
00000652: LOG3
00000653: AND
00000654: OR
00000655: PUSH1 0x04
00000657: SSTORE
00000658: STOP
00000659: JUMPDEST
0000065a: CALLVALUE
0000065b: PUSH2 0x022e
0000065e: JUMPI
0000065f: PUSH1 0x60
00000661: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000682: CALLDATASIZE
00000683: ADD
00000684: SLT
00000685: PUSH2 0x022e
00000688: JUMPI
00000689: PUSH2 0x0690
0000068c: PUSH2 0x1feb
0000068f: JUMP
00000690: JUMPDEST
00000691: CALLER
00000692: PUSH0
00000693: MSTORE
00000694: PUSH1 0x07
00000696: PUSH1 0x20
00000698: MSTORE
00000699: PUSH1 0xff
0000069b: PUSH1 0x40
0000069d: PUSH0
0000069e: KECCAK256
0000069f: SLOAD
000006a0: AND
000006a1: ISZERO
000006a2: PUSH2 0x056f
000006a5: JUMPI
000006a6: CALLER
000006a7: PUSH0
000006a8: MSTORE
000006a9: PUSH1 0x08
000006ab: PUSH1 0x20
000006ad: MSTORE
000006ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c3: PUSH1 0x40
000006c5: PUSH0
000006c6: KECCAK256
000006c7: SLOAD
000006c8: AND
000006c9: ISZERO
000006ca: PUSH2 0x09f0
000006cd: JUMPI
000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e3: PUSH1 0x04
000006e5: SLOAD
000006e6: AND
000006e7: DUP1
000006e8: ISZERO
000006e9: PUSH2 0x0547
000006ec: JUMPI
000006ed: PUSH1 0x40
000006ef: PUSH0
000006f0: SWAP2
000006f1: PUSH1 0x24
000006f3: DUP3
000006f4: MLOAD
000006f5: DUP1
000006f6: SWAP5
000006f7: DUP2
000006f8: SWAP4
000006f9: PUSH32 0x0fcc56f700000000000000000000000000000000000000000000000000000000
0000071a: DUP4
0000071b: MSTORE
0000071c: DUP4
0000071d: CALLDATALOAD
0000071e: PUSH1 0x04
00000720: DUP5
00000721: ADD
00000722: MSTORE
00000723: GAS
00000724: CALL
00000725: SWAP2
00000726: DUP3
00000727: ISZERO
00000728: PUSH2 0x053c
0000072b: JUMPI
0000072c: PUSH0
0000072d: SWAP2
0000072e: PUSH0
0000072f: SWAP4
00000730: PUSH2 0x09ae
00000733: JUMPI
00000734: JUMPDEST
00000735: POP
00000736: PUSH1 0x40
00000738: MLOAD
00000739: SWAP2
0000073a: PUSH32 0x38d52e0f00000000000000000000000000000000000000000000000000000000
0000075b: DUP4
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: DUP4
00000760: PUSH1 0x04
00000762: DUP2
00000763: CALLER
00000764: GAS
00000765: STATICCALL
00000766: SWAP3
00000767: DUP4
00000768: ISZERO
00000769: PUSH2 0x053c
0000076c: JUMPI
0000076d: PUSH0
0000076e: SWAP4
0000076f: PUSH2 0x095c
00000772: JUMPI
00000773: JUMPDEST
00000774: POP
00000775: PUSH1 0x20
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: SWAP4
0000078d: PUSH1 0x24
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: DUP1
00000793: SWAP7
00000794: DUP2
00000795: SWAP4
00000796: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
000007b7: DUP4
000007b8: MSTORE
000007b9: CALLER
000007ba: PUSH1 0x04
000007bc: DUP5
000007bd: ADD
000007be: MSTORE
000007bf: AND
000007c0: GAS
000007c1: STATICCALL
000007c2: SWAP3
000007c3: DUP4
000007c4: ISZERO
000007c5: PUSH2 0x053c
000007c8: JUMPI
000007c9: PUSH0
000007ca: SWAP4
000007cb: PUSH2 0x0928
000007ce: JUMPI
000007cf: JUMPDEST
000007d0: POP
000007d1: PUSH1 0x03
000007d3: SLOAD
000007d4: SWAP3
000007d5: DUP4
000007d6: DUP2
000007d7: MUL
000007d8: SWAP4
000007d9: DUP2
000007da: DUP6
000007db: DIV
000007dc: EQ
000007dd: SWAP1
000007de: ISZERO
000007df: OR
000007e0: ISZERO
000007e1: PUSH2 0x08fb
000007e4: JUMPI
000007e5: PUSH2 0x2710
000007e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fd: SWAP4
000007fe: DIV
000007ff: SWAP1
00000800: PUSH0
00000801: SWAP2
00000802: CALLER
00000803: PUSH0
00000804: MSTORE
00000805: PUSH1 0x0a
00000807: PUSH1 0x20
00000809: MSTORE
0000080a: DUP1
0000080b: PUSH1 0x40
0000080d: PUSH0
0000080e: KECCAK256
0000080f: SLOAD
00000810: LT
00000811: PUSH0
00000812: EQ
00000813: PUSH2 0x08f2
00000816: JUMPI
00000817: PUSH2 0x082d
0000081a: SWAP1
0000081b: CALLER
0000081c: PUSH0
0000081d: MSTORE
0000081e: PUSH1 0x0a
00000820: PUSH1 0x20
00000822: MSTORE
00000823: PUSH1 0x40
00000825: PUSH0
00000826: KECCAK256
00000827: SLOAD
00000828: SWAP1
00000829: PUSH2 0x22eb
0000082c: JUMP
0000082d: JUMPDEST
0000082e: DUP6
0000082f: DUP2
00000830: LT
00000831: PUSH2 0x08c7
00000834: JUMPI
00000835: POP
00000836: CALLER
00000837: PUSH0
00000838: MSTORE
00000839: PUSH1 0x0a
0000083b: PUSH1 0x20
0000083d: MSTORE
0000083e: PUSH1 0x40
00000840: PUSH0
00000841: KECCAK256
00000842: PUSH2 0x084c
00000845: DUP7
00000846: DUP3
00000847: SLOAD
00000848: PUSH2 0x22f8
0000084b: JUMP
0000084c: JUMPDEST
0000084d: SWAP1
0000084e: SSTORE
0000084f: JUMPDEST
00000850: DUP2
00000851: DUP1
00000852: PUSH2 0x08a5
00000855: JUMPI
00000856: JUMPDEST
00000857: PUSH2 0x0861
0000085a: SWAP2
0000085b: POP
0000085c: DUP6
0000085d: PUSH2 0x22eb
00000860: JUMP
00000861: JUMPDEST
00000862: PUSH1 0x40
00000864: MLOAD
00000865: SWAP5
00000866: PUSH1 0x44
00000868: CALLDATALOAD
00000869: DUP7
0000086a: MSTORE
0000086b: PUSH1 0x20
0000086d: DUP7
0000086e: ADD
0000086f: MSTORE
00000870: PUSH1 0x40
00000872: DUP6
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x60
00000877: DUP5
00000878: ADD
00000879: MSTORE
0000087a: AND
0000087b: SWAP1
0000087c: ORIGIN
0000087d: SWAP1
0000087e: PUSH32 0xb92ce8756c1dd094e789d9f7d73397de41173decf66dc52acd934c41f17db549
0000089f: PUSH1 0x80
000008a1: CALLER
000008a2: SWAP3
000008a3: LOG4
000008a4: STOP
000008a5: JUMPDEST
000008a6: PUSH2 0x08c0
000008a9: SWAP2
000008aa: CALLER
000008ab: PUSH0
000008ac: MSTORE
000008ad: PUSH1 0x08
000008af: PUSH1 0x20
000008b1: MSTORE
000008b2: DUP6
000008b3: DUP1
000008b4: PUSH1 0x40
000008b6: PUSH0
000008b7: KECCAK256
000008b8: SLOAD
000008b9: AND
000008ba: SWAP2
000008bb: AND
000008bc: PUSH2 0x2325
000008bf: JUMP
000008c0: JUMPDEST
000008c1: DUP5
000008c2: DUP2
000008c3: PUSH2 0x0856
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x08ec
000008cb: SWAP2
000008cc: SWAP3
000008cd: POP
000008ce: CALLER
000008cf: PUSH0
000008d0: MSTORE
000008d1: PUSH1 0x0a
000008d3: PUSH1 0x20
000008d5: MSTORE
000008d6: PUSH1 0x40
000008d8: PUSH0
000008d9: KECCAK256
000008da: PUSH2 0x08e4
000008dd: DUP3
000008de: DUP3
000008df: SLOAD
000008e0: PUSH2 0x22f8
000008e3: JUMP
000008e4: JUMPDEST
000008e5: SWAP1
000008e6: SSTORE
000008e7: DUP6
000008e8: PUSH2 0x22eb
000008eb: JUMP
000008ec: JUMPDEST
000008ed: SWAP1
000008ee: PUSH2 0x084f
000008f1: JUMP
000008f2: JUMPDEST
000008f3: POP
000008f4: DUP5
000008f5: SWAP2
000008f6: POP
000008f7: PUSH2 0x084f
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000091d: PUSH0
0000091e: MSTORE
0000091f: PUSH1 0x11
00000921: PUSH1 0x04
00000923: MSTORE
00000924: PUSH1 0x24
00000926: PUSH0
00000927: REVERT
00000928: JUMPDEST
00000929: SWAP1
0000092a: SWAP3
0000092b: POP
0000092c: PUSH1 0x20
0000092e: DUP2
0000092f: RETURNDATASIZE
00000930: PUSH1 0x20
00000932: GT
00000933: PUSH2 0x0954
00000936: JUMPI
00000937: JUMPDEST
00000938: DUP2
00000939: PUSH2 0x0944
0000093c: PUSH1 0x20
0000093e: SWAP4
0000093f: DUP4
00000940: PUSH2 0x20d4
00000943: JUMP
00000944: JUMPDEST
00000945: DUP2
00000946: ADD
00000947: SUB
00000948: SLT
00000949: PUSH2 0x022e
0000094c: JUMPI
0000094d: MLOAD
0000094e: SWAP2
0000094f: DUP5
00000950: PUSH2 0x07cf
00000953: JUMP
00000954: JUMPDEST
00000955: RETURNDATASIZE
00000956: SWAP2
00000957: POP
00000958: PUSH2 0x0937
0000095b: JUMP
0000095c: JUMPDEST
0000095d: SWAP3
0000095e: POP
0000095f: PUSH1 0x20
00000961: DUP4
00000962: RETURNDATASIZE
00000963: PUSH1 0x20
00000965: GT
00000966: PUSH2 0x09a6
00000969: JUMPI
0000096a: JUMPDEST
0000096b: DUP2
0000096c: PUSH2 0x0977
0000096f: PUSH1 0x20
00000971: SWAP4
00000972: DUP4
00000973: PUSH2 0x20d4
00000976: JUMP
00000977: JUMPDEST
00000978: DUP2
00000979: ADD
0000097a: SUB
0000097b: SLT
0000097c: PUSH2 0x022e
0000097f: JUMPI
00000980: PUSH1 0x20
00000982: PUSH2 0x099f
00000985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099a: SWAP5
0000099b: PUSH2 0x22be
0000099e: JUMP
0000099f: JUMPDEST
000009a0: SWAP4
000009a1: POP
000009a2: PUSH2 0x0773
000009a5: JUMP
000009a6: JUMPDEST
000009a7: RETURNDATASIZE
000009a8: SWAP2
000009a9: POP
000009aa: PUSH2 0x096a
000009ad: JUMP
000009ae: JUMPDEST
000009af: SWAP2
000009b0: POP
000009b1: SWAP2
000009b2: POP
000009b3: PUSH1 0x40
000009b5: DUP2
000009b6: RETURNDATASIZE
000009b7: PUSH1 0x40
000009b9: GT
000009ba: PUSH2 0x09e8
000009bd: JUMPI
000009be: JUMPDEST
000009bf: DUP2
000009c0: PUSH2 0x09cb
000009c3: PUSH1 0x40
000009c5: SWAP4
000009c6: DUP4
000009c7: PUSH2 0x20d4
000009ca: JUMP
000009cb: JUMPDEST
000009cc: DUP2
000009cd: ADD
000009ce: SUB
000009cf: SLT
000009d0: PUSH2 0x022e
000009d3: JUMPI
000009d4: PUSH1 0x20
000009d6: PUSH2 0x09de
000009d9: DUP3
000009da: PUSH2 0x22be
000009dd: JUMP
000009de: JUMPDEST
000009df: SWAP2
000009e0: ADD
000009e1: MLOAD
000009e2: SWAP2
000009e3: DUP4
000009e4: PUSH2 0x0734
000009e7: JUMP
000009e8: JUMPDEST
000009e9: RETURNDATASIZE
000009ea: SWAP2
000009eb: POP
000009ec: PUSH2 0x09be
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH32 0x096cee8500000000000000000000000000000000000000000000000000000000
00000a12: PUSH0
00000a13: MSTORE
00000a14: CALLER
00000a15: PUSH1 0x04
00000a17: MSTORE
00000a18: PUSH1 0x24
00000a1a: PUSH0
00000a1b: REVERT
00000a1c: JUMPDEST
00000a1d: CALLVALUE
00000a1e: PUSH2 0x022e
00000a21: JUMPI
00000a22: PUSH0
00000a23: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a44: CALLDATASIZE
00000a45: ADD
00000a46: SLT
00000a47: PUSH2 0x022e
00000a4a: JUMPI
00000a4b: PUSH1 0x20
00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a62: PUSH0
00000a63: SLOAD
00000a64: AND
00000a65: PUSH1 0x40
00000a67: MLOAD
00000a68: SWAP1
00000a69: DUP2
00000a6a: MSTORE
00000a6b: RETURN
00000a6c: JUMPDEST
00000a6d: CALLVALUE
00000a6e: PUSH2 0x022e
00000a71: JUMPI
00000a72: PUSH1 0x20
00000a74: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000a95: CALLDATASIZE
00000a96: ADD
00000a97: SLT
00000a98: PUSH2 0x022e
00000a9b: JUMPI
00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab1: PUSH2 0x0ab8
00000ab4: PUSH2 0x1feb
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: AND
00000aba: PUSH0
00000abb: MSTORE
00000abc: PUSH1 0x08
00000abe: PUSH1 0x20
00000ac0: MSTORE
00000ac1: PUSH1 0x20
00000ac3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad8: PUSH1 0x40
00000ada: PUSH0
00000adb: KECCAK256
00000adc: SLOAD
00000add: AND
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: SWAP1
00000ae2: DUP2
00000ae3: MSTORE
00000ae4: RETURN
00000ae5: JUMPDEST
00000ae6: CALLVALUE
00000ae7: PUSH2 0x022e
00000aea: JUMPI
00000aeb: PUSH0
00000aec: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000b0d: CALLDATASIZE
00000b0e: ADD
00000b0f: SLT
00000b10: PUSH2 0x022e
00000b13: JUMPI
00000b14: PUSH1 0x20
00000b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2b: PUSH1 0x05
00000b2d: SLOAD
00000b2e: AND
00000b2f: PUSH1 0x40
00000b31: MLOAD
00000b32: SWAP1
00000b33: DUP2
00000b34: MSTORE
00000b35: RETURN
00000b36: JUMPDEST
00000b37: CALLVALUE
00000b38: PUSH2 0x022e
00000b3b: JUMPI
00000b3c: PUSH2 0x0bca
00000b3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b54: PUSH2 0x0b5c
00000b57: CALLDATASIZE
00000b58: PUSH2 0x2031
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: SWAP2
00000b5e: SWAP1
00000b5f: PUSH2 0x0b66
00000b62: PUSH2 0x2305
00000b65: JUMP
00000b66: JUMPDEST
00000b67: AND
00000b68: DUP2
00000b69: ISZERO
00000b6a: ISZERO
00000b6b: DUP2
00000b6c: PUSH32 0xe6c63952eb6d2063a6eae16a7cac13b4d4d66fcab42adad4397e6d8fdfe4c0b7
00000b8d: PUSH0
00000b8e: DUP1
00000b8f: LOG3
00000b90: PUSH0
00000b91: MSTORE
00000b92: PUSH1 0x07
00000b94: PUSH1 0x20
00000b96: MSTORE
00000b97: PUSH1 0x40
00000b99: PUSH0
00000b9a: KECCAK256
00000b9b: SWAP1
00000b9c: PUSH1 0xff
00000b9e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000bbf: DUP4
00000bc0: SLOAD
00000bc1: AND
00000bc2: SWAP2
00000bc3: ISZERO
00000bc4: ISZERO
00000bc5: AND
00000bc6: OR
00000bc7: SWAP1
00000bc8: SSTORE
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: STOP
00000bcc: JUMPDEST
00000bcd: CALLVALUE
00000bce: PUSH2 0x022e
00000bd1: JUMPI
00000bd2: PUSH0
00000bd3: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000bf4: CALLDATASIZE
00000bf5: ADD
00000bf6: SLT
00000bf7: PUSH2 0x022e
00000bfa: JUMPI
00000bfb: CALLER
00000bfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c11: PUSH1 0x01
00000c13: SLOAD
00000c14: AND
00000c15: SUB
00000c16: PUSH2 0x0ca8
00000c19: JUMPI
00000c1a: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000c3b: PUSH1 0x01
00000c3d: SLOAD
00000c3e: AND
00000c3f: PUSH1 0x01
00000c41: SSTORE
00000c42: PUSH0
00000c43: SLOAD
00000c44: CALLER
00000c45: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000c66: DUP3
00000c67: AND
00000c68: OR
00000c69: PUSH0
00000c6a: SSTORE
00000c6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c80: CALLER
00000c81: SWAP2
00000c82: AND
00000c83: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ca4: PUSH0
00000ca5: DUP1
00000ca6: LOG3
00000ca7: STOP
00000ca8: JUMPDEST
00000ca9: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
00000cca: PUSH0
00000ccb: MSTORE
00000ccc: CALLER
00000ccd: PUSH1 0x04
00000ccf: MSTORE
00000cd0: PUSH1 0x24
00000cd2: PUSH0
00000cd3: REVERT
00000cd4: JUMPDEST
00000cd5: CALLVALUE
00000cd6: PUSH2 0x022e
00000cd9: JUMPI
00000cda: PUSH0
00000cdb: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000cfc: CALLDATASIZE
00000cfd: ADD
00000cfe: SLT
00000cff: PUSH2 0x022e
00000d02: JUMPI
00000d03: PUSH2 0x0d0a
00000d06: PUSH2 0x2305
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000d2c: PUSH1 0x01
00000d2e: SLOAD
00000d2f: AND
00000d30: PUSH1 0x01
00000d32: SSTORE
00000d33: PUSH0
00000d34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d49: DUP2
00000d4a: SLOAD
00000d4b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000d6c: DUP2
00000d6d: AND
00000d6e: DUP4
00000d6f: SSTORE
00000d70: AND
00000d71: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000d92: DUP3
00000d93: DUP1
00000d94: LOG3
00000d95: STOP
00000d96: JUMPDEST
00000d97: CALLVALUE
00000d98: PUSH2 0x022e
00000d9b: JUMPI
00000d9c: PUSH1 0x20
00000d9e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000dbf: CALLDATASIZE
00000dc0: ADD
00000dc1: SLT
00000dc2: PUSH2 0x022e
00000dc5: JUMPI
00000dc6: PUSH1 0x04
00000dc8: CALLDATALOAD
00000dc9: CALLER
00000dca: PUSH0
00000dcb: MSTORE
00000dcc: PUSH1 0x07
00000dce: PUSH1 0x20
00000dd0: MSTORE
00000dd1: PUSH1 0xff
00000dd3: PUSH1 0x40
00000dd5: PUSH0
00000dd6: KECCAK256
00000dd7: SLOAD
00000dd8: AND
00000dd9: ISZERO
00000dda: PUSH2 0x056f
00000ddd: JUMPI
00000dde: CALLER
00000ddf: PUSH0
00000de0: MSTORE
00000de1: PUSH1 0x06
00000de3: PUSH1 0x20
00000de5: MSTORE
00000de6: PUSH1 0x40
00000de8: PUSH0
00000de9: KECCAK256
00000dea: DUP2
00000deb: PUSH0
00000dec: MSTORE
00000ded: PUSH1 0x20
00000def: MSTORE
00000df0: PUSH1 0x40
00000df2: PUSH0
00000df3: KECCAK256
00000df4: PUSH1 0xff
00000df6: DUP2
00000df7: SLOAD
00000df8: AND
00000df9: PUSH1 0x04
00000dfb: DUP2
00000dfc: LT
00000dfd: ISZERO
00000dfe: PUSH2 0x0e88
00000e01: JUMPI
00000e02: DUP1
00000e03: PUSH2 0x0e5d
00000e06: JUMPI
00000e07: POP
00000e08: PUSH1 0x03
00000e0a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000e2b: DUP3
00000e2c: SLOAD
00000e2d: AND
00000e2e: OR
00000e2f: DUP2
00000e30: SSTORE
00000e31: PUSH1 0x05
00000e33: TIMESTAMP
00000e34: SWAP2
00000e35: ADD
00000e36: SSTORE
00000e37: CALLER
00000e38: PUSH32 0xc645c73d740a96e84d90ddec22f1f0f2cba845c47226f21a5770112248db2718
00000e59: PUSH0
00000e5a: DUP1
00000e5b: LOG3
00000e5c: STOP
00000e5d: JUMPDEST
00000e5e: PUSH32 0x1d81059400000000000000000000000000000000000000000000000000000000
00000e7f: PUSH0
00000e80: MSTORE
00000e81: PUSH1 0x04
00000e83: MSTORE
00000e84: PUSH1 0x24
00000e86: PUSH0
00000e87: REVERT
00000e88: JUMPDEST
00000e89: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000eaa: PUSH0
00000eab: MSTORE
00000eac: PUSH1 0x21
00000eae: PUSH1 0x04
00000eb0: MSTORE
00000eb1: PUSH1 0x24
00000eb3: PUSH0
00000eb4: REVERT
00000eb5: JUMPDEST
00000eb6: CALLVALUE
00000eb7: PUSH2 0x022e
00000eba: JUMPI
00000ebb: PUSH1 0xa0
00000ebd: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00000ede: CALLDATASIZE
00000edf: ADD
00000ee0: SLT
00000ee1: PUSH2 0x022e
00000ee4: JUMPI
00000ee5: PUSH2 0x0eec
00000ee8: PUSH2 0x1feb
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH2 0x0ef4
00000ef0: PUSH2 0x200e
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: SWAP1
00000ef6: PUSH1 0x44
00000ef8: CALLDATALOAD
00000ef9: PUSH1 0x64
00000efb: CALLDATALOAD
00000efc: SWAP2
00000efd: CALLER
00000efe: PUSH0
00000eff: MSTORE
00000f00: PUSH1 0x07
00000f02: PUSH1 0x20
00000f04: MSTORE
00000f05: PUSH1 0xff
00000f07: PUSH1 0x40
00000f09: PUSH0
00000f0a: KECCAK256
00000f0b: SLOAD
00000f0c: AND
00000f0d: ISZERO
00000f0e: PUSH2 0x056f
00000f11: JUMPI
00000f12: PUSH1 0x02
00000f14: SLOAD
00000f15: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f36: DUP2
00000f37: EQ
00000f38: PUSH2 0x08fb
00000f3b: JUMPI
00000f3c: PUSH1 0x01
00000f3e: ADD
00000f3f: SWAP2
00000f40: DUP3
00000f41: PUSH1 0x02
00000f43: SSTORE
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: PUSH2 0x0f4f
00000f4a: DUP2
00000f4b: PUSH2 0x208b
00000f4e: JUMP
00000f4f: JUMPDEST
00000f50: PUSH0
00000f51: DUP2
00000f52: MSTORE
00000f53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f68: PUSH1 0x20
00000f6a: DUP3
00000f6b: ADD
00000f6c: SWAP4
00000f6d: AND
00000f6e: SWAP3
00000f6f: DUP4
00000f70: DUP2
00000f71: MSTORE
00000f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f87: PUSH1 0x40
00000f89: DUP4
00000f8a: ADD
00000f8b: SWAP8
00000f8c: AND
00000f8d: SWAP5
00000f8e: DUP6
00000f8f: DUP9
00000f90: MSTORE
00000f91: PUSH1 0x60
00000f93: DUP4
00000f94: ADD
00000f95: DUP5
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x80
00000f9a: DUP5
00000f9b: ADD
00000f9c: DUP9
00000f9d: DUP2
00000f9e: MSTORE
00000f9f: PUSH1 0xa0
00000fa1: DUP6
00000fa2: ADD
00000fa3: SWAP2
00000fa4: TIMESTAMP
00000fa5: DUP4
00000fa6: MSTORE
00000fa7: PUSH1 0xc0
00000fa9: DUP7
00000faa: ADD
00000fab: SWAP4
00000fac: PUSH0
00000fad: DUP6
00000fae: MSTORE
00000faf: CALLER
00000fb0: PUSH0
00000fb1: MSTORE
00000fb2: PUSH1 0x06
00000fb4: PUSH1 0x20
00000fb6: MSTORE
00000fb7: PUSH1 0x40
00000fb9: PUSH0
00000fba: KECCAK256
00000fbb: SWAP1
00000fbc: PUSH0
00000fbd: MSTORE
00000fbe: PUSH1 0x20
00000fc0: MSTORE
00000fc1: PUSH1 0x40
00000fc3: PUSH0
00000fc4: KECCAK256
00000fc5: SWAP6
00000fc6: MLOAD
00000fc7: PUSH1 0x04
00000fc9: DUP2
00000fca: LT
00000fcb: ISZERO
00000fcc: PUSH2 0x0e88
00000fcf: JUMPI
00000fd0: PUSH1 0x20
00000fd2: SWAP12
00000fd3: PUSH1 0x05
00000fd5: SWAP7
00000fd6: PUSH2 0x0ff4
00000fd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fee: SWAP4
00000fef: DUP11
00000ff0: PUSH2 0x2236
00000ff3: JUMP
00000ff4: JUMPDEST
00000ff5: MLOAD
00000ff6: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff
00001017: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
0000102d: DUP11
0000102e: SLOAD
0000102f: SWAP3
00001030: PUSH1 0x08
00001032: SHL
00001033: AND
00001034: SWAP2
00001035: AND
00001036: OR
00001037: DUP9
00001038: SSTORE
00001039: MLOAD
0000103a: AND
0000103b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001050: PUSH1 0x01
00001052: DUP9
00001053: ADD
00001054: SWAP2
00001055: AND
00001056: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001077: DUP3
00001078: SLOAD
00001079: AND
0000107a: OR
0000107b: SWAP1
0000107c: SSTORE
0000107d: MLOAD
0000107e: PUSH1 0x02
00001080: DUP7
00001081: ADD
00001082: SSTORE
00001083: MLOAD
00001084: PUSH1 0x03
00001086: DUP6
00001087: ADD
00001088: SSTORE
00001089: MLOAD
0000108a: PUSH1 0x04
0000108c: DUP5
0000108d: ADD
0000108e: SSTORE
0000108f: MLOAD
00001090: SWAP2
00001091: ADD
00001092: SSTORE
00001093: PUSH1 0x02
00001095: SLOAD
00001096: SWAP4
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: SWAP2
0000109b: PUSH1 0x84
0000109d: CALLDATALOAD
0000109e: DUP4
0000109f: MSTORE
000010a0: DUP6
000010a1: DUP8
000010a2: DUP5
000010a3: ADD
000010a4: MSTORE
000010a5: PUSH1 0x40
000010a7: DUP4
000010a8: ADD
000010a9: MSTORE
000010aa: PUSH1 0x60
000010ac: DUP3
000010ad: ADD
000010ae: MSTORE
000010af: TIMESTAMP
000010b0: PUSH1 0x80
000010b2: DUP3
000010b3: ADD
000010b4: MSTORE
000010b5: PUSH32 0x1d01b7c53f6a326dfc7a18889e2b81777adb5f9288416a2c264298d86723119b
000010d6: PUSH1 0xa0
000010d8: CALLER
000010d9: SWAP3
000010da: LOG4
000010db: PUSH1 0x40
000010dd: MLOAD
000010de: SWAP1
000010df: DUP2
000010e0: MSTORE
000010e1: RETURN
000010e2: JUMPDEST
000010e3: CALLVALUE
000010e4: PUSH2 0x022e
000010e7: JUMPI
000010e8: PUSH1 0x20
000010ea: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000110b: CALLDATASIZE
0000110c: ADD
0000110d: SLT
0000110e: PUSH2 0x022e
00001111: JUMPI
00001112: PUSH1 0x04
00001114: CALLDATALOAD
00001115: PUSH2 0x111c
00001118: PUSH2 0x2305
0000111b: JUMP
0000111c: JUMPDEST
0000111d: DUP1
0000111e: PUSH1 0x03
00001120: SLOAD
00001121: PUSH32 0x2c9fde138e413c8e8e06fd05c286007f78946a5ba02b815804652fc24f6eb5c2
00001142: PUSH0
00001143: DUP1
00001144: LOG3
00001145: PUSH1 0x03
00001147: SSTORE
00001148: STOP
00001149: JUMPDEST
0000114a: CALLVALUE
0000114b: PUSH2 0x022e
0000114e: JUMPI
0000114f: PUSH1 0x20
00001151: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001172: CALLDATASIZE
00001173: ADD
00001174: SLT
00001175: PUSH2 0x022e
00001178: JUMPI
00001179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000118e: PUSH2 0x1195
00001191: PUSH2 0x1feb
00001194: JUMP
00001195: JUMPDEST
00001196: AND
00001197: PUSH0
00001198: MSTORE
00001199: PUSH1 0x0a
0000119b: PUSH1 0x20
0000119d: MSTORE
0000119e: PUSH1 0x20
000011a0: PUSH1 0x40
000011a2: PUSH0
000011a3: KECCAK256
000011a4: SLOAD
000011a5: PUSH1 0x40
000011a7: MLOAD
000011a8: SWAP1
000011a9: DUP2
000011aa: MSTORE
000011ab: RETURN
000011ac: JUMPDEST
000011ad: CALLVALUE
000011ae: PUSH2 0x022e
000011b1: JUMPI
000011b2: PUSH1 0x40
000011b4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000011d5: CALLDATASIZE
000011d6: ADD
000011d7: SLT
000011d8: PUSH2 0x022e
000011db: JUMPI
000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f1: PUSH2 0x11f8
000011f4: PUSH2 0x1feb
000011f7: JUMP
000011f8: JUMPDEST
000011f9: AND
000011fa: PUSH0
000011fb: MSTORE
000011fc: PUSH1 0x06
000011fe: PUSH1 0x20
00001200: MSTORE
00001201: PUSH1 0x40
00001203: PUSH0
00001204: KECCAK256
00001205: PUSH1 0x24
00001207: CALLDATALOAD
00001208: PUSH0
00001209: MSTORE
0000120a: PUSH1 0x20
0000120c: MSTORE
0000120d: PUSH1 0x40
0000120f: PUSH0
00001210: KECCAK256
00001211: DUP1
00001212: SLOAD
00001213: SWAP1
00001214: PUSH1 0xff
00001216: DUP3
00001217: AND
00001218: SWAP1
00001219: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122e: PUSH1 0x01
00001230: DUP3
00001231: ADD
00001232: SLOAD
00001233: AND
00001234: SWAP1
00001235: PUSH1 0x02
00001237: DUP2
00001238: ADD
00001239: SLOAD
0000123a: PUSH1 0x03
0000123c: DUP3
0000123d: ADD
0000123e: SLOAD
0000123f: SWAP1
00001240: PUSH1 0x05
00001242: PUSH1 0x04
00001244: DUP5
00001245: ADD
00001246: SLOAD
00001247: SWAP4
00001248: ADD
00001249: SLOAD
0000124a: SWAP4
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: SWAP6
0000124f: PUSH1 0x04
00001251: DUP2
00001252: LT
00001253: ISZERO
00001254: PUSH2 0x0e88
00001257: JUMPI
00001258: PUSH1 0xe0
0000125a: SWAP8
0000125b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001270: SWAP2
00001271: DUP9
00001272: MSTORE
00001273: PUSH1 0x08
00001275: SHR
00001276: AND
00001277: PUSH1 0x20
00001279: DUP8
0000127a: ADD
0000127b: MSTORE
0000127c: PUSH1 0x40
0000127e: DUP7
0000127f: ADD
00001280: MSTORE
00001281: PUSH1 0x60
00001283: DUP6
00001284: ADD
00001285: MSTORE
00001286: PUSH1 0x80
00001288: DUP5
00001289: ADD
0000128a: MSTORE
0000128b: PUSH1 0xa0
0000128d: DUP4
0000128e: ADD
0000128f: MSTORE
00001290: PUSH1 0xc0
00001292: DUP3
00001293: ADD
00001294: MSTORE
00001295: RETURN
00001296: JUMPDEST
00001297: CALLVALUE
00001298: PUSH2 0x022e
0000129b: JUMPI
0000129c: PUSH0
0000129d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000012be: CALLDATASIZE
000012bf: ADD
000012c0: SLT
000012c1: PUSH2 0x022e
000012c4: JUMPI
000012c5: PUSH1 0x20
000012c7: PUSH1 0x03
000012c9: SLOAD
000012ca: PUSH1 0x40
000012cc: MLOAD
000012cd: SWAP1
000012ce: DUP2
000012cf: MSTORE
000012d0: RETURN
000012d1: JUMPDEST
000012d2: CALLVALUE
000012d3: PUSH2 0x022e
000012d6: JUMPI
000012d7: PUSH1 0xe0
000012d9: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
000012fa: CALLDATASIZE
000012fb: ADD
000012fc: SLT
000012fd: PUSH2 0x022e
00001300: JUMPI
00001301: PUSH1 0x04
00001303: CALLDATALOAD
00001304: PUSH8 0xffffffffffffffff
0000130d: DUP2
0000130e: GT
0000130f: PUSH2 0x022e
00001312: JUMPI
00001313: PUSH2 0x1320
00001316: SWAP1
00001317: CALLDATASIZE
00001318: SWAP1
00001319: PUSH1 0x04
0000131b: ADD
0000131c: PUSH2 0x212d
0000131f: JUMP
00001320: JUMPDEST
00001321: PUSH1 0x24
00001323: CALLDATALOAD
00001324: PUSH8 0xffffffffffffffff
0000132d: DUP2
0000132e: GT
0000132f: PUSH2 0x022e
00001332: JUMPI
00001333: PUSH2 0x1340
00001336: SWAP1
00001337: CALLDATASIZE
00001338: SWAP1
00001339: PUSH1 0x04
0000133b: ADD
0000133c: PUSH2 0x21a8
0000133f: JUMP
00001340: JUMPDEST
00001341: SWAP1
00001342: PUSH1 0x44
00001344: CALLDATALOAD
00001345: SWAP1
00001346: PUSH8 0xffffffffffffffff
0000134f: DUP3
00001350: GT
00001351: PUSH2 0x022e
00001354: JUMPI
00001355: CALLDATASIZE
00001356: PUSH1 0x23
00001358: DUP4
00001359: ADD
0000135a: SLT
0000135b: ISZERO
0000135c: PUSH2 0x022e
0000135f: JUMPI
00001360: DUP2
00001361: PUSH1 0x04
00001363: ADD
00001364: CALLDATALOAD
00001365: PUSH2 0x136d
00001368: DUP2
00001369: PUSH2 0x2115
0000136c: JUMP
0000136d: JUMPDEST
0000136e: SWAP3
0000136f: PUSH2 0x137b
00001372: PUSH1 0x40
00001374: MLOAD
00001375: SWAP5
00001376: DUP6
00001377: PUSH2 0x20d4
0000137a: JUMP
0000137b: JUMPDEST
0000137c: DUP2
0000137d: DUP5
0000137e: MSTORE
0000137f: PUSH1 0x24
00001381: PUSH1 0x20
00001383: DUP6
00001384: ADD
00001385: SWAP3
00001386: PUSH1 0x05
00001388: SHL
00001389: DUP3
0000138a: ADD
0000138b: ADD
0000138c: SWAP1
0000138d: CALLDATASIZE
0000138e: DUP3
0000138f: GT
00001390: PUSH2 0x022e
00001393: JUMPI
00001394: PUSH1 0x24
00001396: ADD
00001397: SWAP2
00001398: JUMPDEST
00001399: DUP2
0000139a: DUP4
0000139b: LT
0000139c: PUSH2 0x1607
0000139f: JUMPI
000013a0: POP
000013a1: POP
000013a2: POP
000013a3: PUSH1 0x64
000013a5: CALLDATALOAD
000013a6: PUSH8 0xffffffffffffffff
000013af: DUP2
000013b0: GT
000013b1: PUSH2 0x022e
000013b4: JUMPI
000013b5: PUSH2 0x13c2
000013b8: SWAP1
000013b9: CALLDATASIZE
000013ba: SWAP1
000013bb: PUSH1 0x04
000013bd: ADD
000013be: PUSH2 0x212d
000013c1: JUMP
000013c2: JUMPDEST
000013c3: SWAP1
000013c4: PUSH1 0x84
000013c6: CALLDATALOAD
000013c7: PUSH8 0xffffffffffffffff
000013d0: DUP2
000013d1: GT
000013d2: PUSH2 0x022e
000013d5: JUMPI
000013d6: PUSH2 0x13e3
000013d9: SWAP1
000013da: CALLDATASIZE
000013db: SWAP1
000013dc: PUSH1 0x04
000013de: ADD
000013df: PUSH2 0x212d
000013e2: JUMP
000013e3: JUMPDEST
000013e4: SWAP1
000013e5: PUSH1 0xa4
000013e7: CALLDATALOAD
000013e8: PUSH8 0xffffffffffffffff
000013f1: DUP2
000013f2: GT
000013f3: PUSH2 0x022e
000013f6: JUMPI
000013f7: PUSH2 0x1404
000013fa: SWAP1
000013fb: CALLDATASIZE
000013fc: SWAP1
000013fd: PUSH1 0x04
000013ff: ADD
00001400: PUSH2 0x21a8
00001403: JUMP
00001404: JUMPDEST
00001405: SWAP5
00001406: PUSH1 0xc4
00001408: CALLDATALOAD
00001409: PUSH8 0xffffffffffffffff
00001412: DUP2
00001413: GT
00001414: PUSH2 0x022e
00001417: JUMPI
00001418: PUSH2 0x1425
0000141b: SWAP1
0000141c: CALLDATASIZE
0000141d: SWAP1
0000141e: PUSH1 0x04
00001420: ADD
00001421: PUSH2 0x21a8
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH2 0x142d
00001429: PUSH2 0x2305
0000142c: JUMP
0000142d: JUMPDEST
0000142e: PUSH0
0000142f: JUMPDEST
00001430: DUP4
00001431: MLOAD
00001432: DUP2
00001433: LT
00001434: ISZERO
00001435: PUSH2 0x0bca
00001438: JUMPI
00001439: PUSH2 0x1442
0000143c: DUP2
0000143d: DUP9
0000143e: PUSH2 0x226d
00001441: JUMP
00001442: JUMPDEST
00001443: MLOAD
00001444: SWAP1
00001445: PUSH1 0x04
00001447: DUP3
00001448: LT
00001449: ISZERO
0000144a: PUSH2 0x0e88
0000144d: JUMPI
0000144e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001463: PUSH2 0x146c
00001466: DUP3
00001467: DUP10
00001468: PUSH2 0x226d
0000146b: JUMP
0000146c: JUMPDEST
0000146d: MLOAD
0000146e: AND
0000146f: SWAP2
00001470: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001485: PUSH2 0x148e
00001488: DUP4
00001489: DUP10
0000148a: PUSH2 0x226d
0000148d: JUMP
0000148e: JUMPDEST
0000148f: MLOAD
00001490: AND
00001491: SWAP3
00001492: PUSH2 0x149b
00001495: DUP4
00001496: DUP13
00001497: PUSH2 0x226d
0000149a: JUMP
0000149b: JUMPDEST
0000149c: MLOAD
0000149d: PUSH2 0x14a6
000014a0: DUP5
000014a1: DUP14
000014a2: PUSH2 0x226d
000014a5: JUMP
000014a6: JUMPDEST
000014a7: MLOAD
000014a8: PUSH2 0x14b1
000014ab: DUP6
000014ac: DUP9
000014ad: PUSH2 0x226d
000014b0: JUMP
000014b1: JUMPDEST
000014b2: MLOAD
000014b3: SWAP1
000014b4: PUSH2 0x14c9
000014b7: PUSH1 0x40
000014b9: MLOAD
000014ba: SWAP6
000014bb: PUSH2 0x14c3
000014be: DUP8
000014bf: PUSH2 0x208b
000014c2: JUMP
000014c3: JUMPDEST
000014c4: DUP7
000014c5: PUSH2 0x22df
000014c8: JUMP
000014c9: JUMPDEST
000014ca: PUSH1 0x20
000014cc: DUP6
000014cd: ADD
000014ce: SWAP4
000014cf: DUP5
000014d0: MSTORE
000014d1: PUSH1 0x40
000014d3: DUP6
000014d4: ADD
000014d5: SWAP7
000014d6: DUP8
000014d7: MSTORE
000014d8: PUSH1 0x60
000014da: DUP6
000014db: ADD
000014dc: SWAP3
000014dd: DUP4
000014de: MSTORE
000014df: PUSH1 0x80
000014e1: DUP6
000014e2: ADD
000014e3: SWAP1
000014e4: DUP2
000014e5: MSTORE
000014e6: PUSH1 0xa0
000014e8: DUP6
000014e9: ADD
000014ea: SWAP2
000014eb: DUP3
000014ec: MSTORE
000014ed: PUSH1 0xc0
000014ef: DUP6
000014f0: ADD
000014f1: SWAP3
000014f2: PUSH0
000014f3: DUP5
000014f4: MSTORE
000014f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150a: PUSH2 0x1513
0000150d: DUP9
0000150e: DUP14
0000150f: PUSH2 0x226d
00001512: JUMP
00001513: JUMPDEST
00001514: MLOAD
00001515: AND
00001516: PUSH0
00001517: MSTORE
00001518: PUSH1 0x06
0000151a: PUSH1 0x20
0000151c: MSTORE
0000151d: PUSH1 0x40
0000151f: PUSH0
00001520: KECCAK256
00001521: PUSH2 0x152a
00001524: DUP9
00001525: DUP13
00001526: PUSH2 0x226d
00001529: JUMP
0000152a: JUMPDEST
0000152b: MLOAD
0000152c: PUSH0
0000152d: MSTORE
0000152e: PUSH1 0x20
00001530: MSTORE
00001531: PUSH1 0x40
00001533: PUSH0
00001534: KECCAK256
00001535: SWAP6
00001536: MLOAD
00001537: PUSH1 0x04
00001539: DUP2
0000153a: LT
0000153b: ISZERO
0000153c: PUSH2 0x0e88
0000153f: JUMPI
00001540: PUSH1 0x01
00001542: SWAP9
00001543: PUSH1 0x05
00001545: SWAP7
00001546: PUSH2 0x1564
00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155e: SWAP4
0000155f: DUP11
00001560: PUSH2 0x2236
00001563: JUMP
00001564: JUMPDEST
00001565: MLOAD
00001566: PUSH32 0xffffffffffffffffffffff0000000000000000000000000000000000000000ff
00001587: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
0000159d: DUP11
0000159e: SLOAD
0000159f: SWAP3
000015a0: PUSH1 0x08
000015a2: SHL
000015a3: AND
000015a4: SWAP2
000015a5: AND
000015a6: OR
000015a7: DUP9
000015a8: SSTORE
000015a9: MLOAD
000015aa: AND
000015ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c0: DUP10
000015c1: DUP9
000015c2: ADD
000015c3: SWAP2
000015c4: AND
000015c5: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000015e6: DUP3
000015e7: SLOAD
000015e8: AND
000015e9: OR
000015ea: SWAP1
000015eb: SSTORE
000015ec: MLOAD
000015ed: PUSH1 0x02
000015ef: DUP7
000015f0: ADD
000015f1: SSTORE
000015f2: MLOAD
000015f3: PUSH1 0x03
000015f5: DUP6
000015f6: ADD
000015f7: SSTORE
000015f8: MLOAD
000015f9: PUSH1 0x04
000015fb: DUP5
000015fc: ADD
000015fd: SSTORE
000015fe: MLOAD
000015ff: SWAP2
00001600: ADD
00001601: SSTORE
00001602: ADD
00001603: PUSH2 0x142f
00001606: JUMP
00001607: JUMPDEST
00001608: DUP3
00001609: CALLDATALOAD
0000160a: PUSH1 0x04
0000160c: DUP2
0000160d: LT
0000160e: ISZERO
0000160f: PUSH2 0x022e
00001612: JUMPI
00001613: DUP2
00001614: MSTORE
00001615: PUSH1 0x20
00001617: SWAP3
00001618: DUP4
00001619: ADD
0000161a: SWAP3
0000161b: ADD
0000161c: PUSH2 0x1398
0000161f: JUMP
00001620: JUMPDEST
00001621: CALLVALUE
00001622: PUSH2 0x022e
00001625: JUMPI
00001626: PUSH0
00001627: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001648: CALLDATASIZE
00001649: ADD
0000164a: SLT
0000164b: PUSH2 0x022e
0000164e: JUMPI
0000164f: PUSH1 0x20
00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001666: PUSH1 0x04
00001668: SLOAD
00001669: AND
0000166a: PUSH1 0x40
0000166c: MLOAD
0000166d: SWAP1
0000166e: DUP2
0000166f: MSTORE
00001670: RETURN
00001671: JUMPDEST
00001672: CALLVALUE
00001673: PUSH2 0x022e
00001676: JUMPI
00001677: PUSH1 0x20
00001679: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000169a: CALLDATASIZE
0000169b: ADD
0000169c: SLT
0000169d: PUSH2 0x022e
000016a0: JUMPI
000016a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016b6: PUSH2 0x16bd
000016b9: PUSH2 0x1feb
000016bc: JUMP
000016bd: JUMPDEST
000016be: AND
000016bf: PUSH0
000016c0: MSTORE
000016c1: PUSH1 0x09
000016c3: PUSH1 0x20
000016c5: MSTORE
000016c6: PUSH1 0x20
000016c8: PUSH1 0xff
000016ca: PUSH1 0x40
000016cc: PUSH0
000016cd: KECCAK256
000016ce: SLOAD
000016cf: AND
000016d0: PUSH1 0x40
000016d2: MLOAD
000016d3: SWAP1
000016d4: ISZERO
000016d5: ISZERO
000016d6: DUP2
000016d7: MSTORE
000016d8: RETURN
000016d9: JUMPDEST
000016da: CALLVALUE
000016db: PUSH2 0x022e
000016de: JUMPI
000016df: PUSH1 0x40
000016e1: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001702: CALLDATASIZE
00001703: ADD
00001704: SLT
00001705: PUSH2 0x022e
00001708: JUMPI
00001709: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171e: PUSH2 0x1725
00001721: PUSH2 0x1feb
00001724: JUMP
00001725: JUMPDEST
00001726: AND
00001727: PUSH0
00001728: MSTORE
00001729: PUSH1 0x06
0000172b: PUSH1 0x20
0000172d: MSTORE
0000172e: PUSH1 0x40
00001730: PUSH0
00001731: KECCAK256
00001732: PUSH1 0x24
00001734: CALLDATALOAD
00001735: PUSH0
00001736: MSTORE
00001737: PUSH1 0x20
00001739: MSTORE
0000173a: PUSH1 0x40
0000173c: PUSH0
0000173d: KECCAK256
0000173e: PUSH1 0x40
00001740: MLOAD
00001741: PUSH2 0x1749
00001744: DUP2
00001745: PUSH2 0x208b
00001748: JUMP
00001749: JUMPDEST
0000174a: DUP2
0000174b: SLOAD
0000174c: SWAP2
0000174d: PUSH2 0x1759
00001750: PUSH1 0xff
00001752: DUP5
00001753: AND
00001754: DUP4
00001755: PUSH2 0x22df
00001758: JUMP
00001759: JUMPDEST
0000175a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176f: PUSH1 0x20
00001771: DUP4
00001772: ADD
00001773: SWAP4
00001774: PUSH1 0x08
00001776: SHR
00001777: AND
00001778: DUP4
00001779: MSTORE
0000177a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000178f: PUSH1 0x01
00001791: DUP3
00001792: ADD
00001793: SLOAD
00001794: AND
00001795: SWAP1
00001796: PUSH1 0x40
00001798: DUP4
00001799: ADD
0000179a: SWAP2
0000179b: DUP3
0000179c: MSTORE
0000179d: PUSH1 0x02
0000179f: DUP2
000017a0: ADD
000017a1: SLOAD
000017a2: SWAP3
000017a3: PUSH1 0x60
000017a5: DUP2
000017a6: ADD
000017a7: SWAP4
000017a8: DUP5
000017a9: MSTORE
000017aa: PUSH1 0x05
000017ac: PUSH1 0x03
000017ae: DUP4
000017af: ADD
000017b0: SLOAD
000017b1: SWAP3
000017b2: PUSH1 0x80
000017b4: DUP4
000017b5: ADD
000017b6: SWAP4
000017b7: DUP5
000017b8: MSTORE
000017b9: PUSH1 0x04
000017bb: DUP2
000017bc: ADD
000017bd: SLOAD
000017be: PUSH1 0xa0
000017c0: DUP5
000017c1: ADD
000017c2: MSTORE
000017c3: ADD
000017c4: SLOAD
000017c5: PUSH1 0xc0
000017c7: DUP3
000017c8: ADD
000017c9: MSTORE
000017ca: MLOAD
000017cb: SWAP3
000017cc: PUSH1 0x04
000017ce: DUP5
000017cf: LT
000017d0: ISZERO
000017d1: PUSH2 0x0e88
000017d4: JUMPI
000017d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ea: DUP1
000017eb: PUSH1 0xa0
000017ed: SWAP7
000017ee: MLOAD
000017ef: AND
000017f0: SWAP4
000017f1: MLOAD
000017f2: AND
000017f3: SWAP1
000017f4: MLOAD
000017f5: SWAP2
000017f6: MLOAD
000017f7: SWAP3
000017f8: PUSH1 0xff
000017fa: PUSH1 0x40
000017fc: MLOAD
000017fd: SWAP6
000017fe: AND
000017ff: DUP6
00001800: MSTORE
00001801: PUSH1 0x20
00001803: DUP6
00001804: ADD
00001805: MSTORE
00001806: PUSH1 0x40
00001808: DUP5
00001809: ADD
0000180a: MSTORE
0000180b: PUSH1 0x60
0000180d: DUP4
0000180e: ADD
0000180f: MSTORE
00001810: PUSH1 0x80
00001812: DUP3
00001813: ADD
00001814: MSTORE
00001815: RETURN
00001816: JUMPDEST
00001817: CALLVALUE
00001818: PUSH2 0x022e
0000181b: JUMPI
0000181c: PUSH1 0x40
0000181e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
0000183f: CALLDATASIZE
00001840: ADD
00001841: SLT
00001842: PUSH2 0x022e
00001845: JUMPI
00001846: PUSH1 0x04
00001848: CALLDATALOAD
00001849: PUSH8 0xffffffffffffffff
00001852: DUP2
00001853: GT
00001854: PUSH2 0x022e
00001857: JUMPI
00001858: PUSH2 0x1865
0000185b: SWAP1
0000185c: CALLDATASIZE
0000185d: SWAP1
0000185e: PUSH1 0x04
00001860: ADD
00001861: PUSH2 0x2205
00001864: JUMP
00001865: JUMPDEST
00001866: SWAP1
00001867: PUSH1 0x24
00001869: CALLDATALOAD
0000186a: PUSH8 0xffffffffffffffff
00001873: DUP2
00001874: GT
00001875: PUSH2 0x022e
00001878: JUMPI
00001879: PUSH2 0x1886
0000187c: SWAP1
0000187d: CALLDATASIZE
0000187e: SWAP1
0000187f: PUSH1 0x04
00001881: ADD
00001882: PUSH2 0x2205
00001885: JUMP
00001886: JUMPDEST
00001887: SWAP1
00001888: SWAP3
00001889: DUP2
0000188a: DUP2
0000188b: SUB
0000188c: PUSH2 0x1b11
0000188f: JUMPI
00001890: CALLER
00001891: PUSH0
00001892: MSTORE
00001893: PUSH1 0x09
00001895: PUSH1 0x20
00001897: MSTORE
00001898: PUSH1 0xff
0000189a: PUSH1 0x40
0000189c: PUSH0
0000189d: KECCAK256
0000189e: SLOAD
0000189f: AND
000018a0: ISZERO
000018a1: PUSH2 0x1ab3
000018a4: JUMPI
000018a5: PUSH0
000018a6: JUMPDEST
000018a7: DUP3
000018a8: DUP2
000018a9: LT
000018aa: PUSH2 0x18af
000018ad: JUMPI
000018ae: STOP
000018af: JUMPDEST
000018b0: PUSH2 0x18ba
000018b3: DUP2
000018b4: DUP4
000018b5: DUP7
000018b6: PUSH2 0x22ae
000018b9: JUMP
000018ba: JUMPDEST
000018bb: CALLDATALOAD
000018bc: SWAP1
000018bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018d2: DUP3
000018d3: AND
000018d4: DUP1
000018d5: SWAP3
000018d6: SUB
000018d7: PUSH2 0x022e
000018da: JUMPI
000018db: PUSH2 0x18e5
000018de: DUP2
000018df: DUP6
000018e0: DUP9
000018e1: PUSH2 0x22ae
000018e4: JUMP
000018e5: JUMPDEST
000018e6: CALLDATALOAD
000018e7: DUP3
000018e8: PUSH0
000018e9: MSTORE
000018ea: PUSH1 0x06
000018ec: PUSH1 0x20
000018ee: MSTORE
000018ef: PUSH1 0x40
000018f1: PUSH0
000018f2: KECCAK256
000018f3: SWAP1
000018f4: PUSH0
000018f5: MSTORE
000018f6: PUSH1 0x20
000018f8: MSTORE
000018f9: PUSH1 0x40
000018fb: PUSH0
000018fc: KECCAK256
000018fd: SWAP2
000018fe: PUSH1 0xff
00001900: DUP4
00001901: SLOAD
00001902: AND
00001903: PUSH1 0x04
00001905: DUP2
00001906: LT
00001907: ISZERO
00001908: PUSH2 0x0e88
0000190b: JUMPI
0000190c: ISZERO
0000190d: DUP1
0000190e: PUSH2 0x1aa6
00001911: JUMPI
00001912: JUMPDEST
00001913: PUSH2 0x1922
00001916: JUMPI
00001917: JUMPDEST
00001918: POP
00001919: PUSH1 0x01
0000191b: SWAP2
0000191c: POP
0000191d: ADD
0000191e: PUSH2 0x18a6
00001921: JUMP
00001922: JUMPDEST
00001923: PUSH1 0x01
00001925: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001946: DUP5
00001947: SLOAD
00001948: AND
00001949: OR
0000194a: DUP4
0000194b: SSTORE
0000194c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001961: PUSH1 0x04
00001963: SLOAD
00001964: AND
00001965: PUSH1 0x40
00001967: MLOAD
00001968: SWAP4
00001969: PUSH32 0x38d52e0f00000000000000000000000000000000000000000000000000000000
0000198a: DUP6
0000198b: MSTORE
0000198c: PUSH1 0x20
0000198e: DUP6
0000198f: PUSH1 0x04
00001991: DUP2
00001992: DUP6
00001993: GAS
00001994: STATICCALL
00001995: SWAP5
00001996: DUP6
00001997: ISZERO
00001998: PUSH2 0x053c
0000199b: JUMPI
0000199c: PUSH0
0000199d: SWAP6
0000199e: PUSH2 0x1a4a
000019a1: JUMPI
000019a2: JUMPDEST
000019a3: POP
000019a4: SWAP1
000019a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019ba: PUSH1 0x01
000019bc: SWAP6
000019bd: PUSH1 0x03
000019bf: PUSH2 0x1a13
000019c2: SWAP5
000019c3: ADD
000019c4: SLOAD
000019c5: PUSH1 0x40
000019c7: MLOAD
000019c8: SWAP4
000019c9: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000019ea: PUSH1 0x20
000019ec: DUP7
000019ed: ADD
000019ee: MSTORE
000019ef: CALLER
000019f0: PUSH1 0x24
000019f2: DUP7
000019f3: ADD
000019f4: MSTORE
000019f5: PUSH1 0x44
000019f7: DUP6
000019f8: ADD
000019f9: MSTORE
000019fa: PUSH1 0x64
000019fc: DUP5
000019fd: ADD
000019fe: MSTORE
000019ff: PUSH1 0x64
00001a01: DUP4
00001a02: MSTORE
00001a03: PUSH2 0x1a0d
00001a06: PUSH1 0x84
00001a08: DUP5
00001a09: PUSH2 0x20d4
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: AND
00001a0f: PUSH2 0x2389
00001a12: JUMP
00001a13: JUMPDEST
00001a14: PUSH2 0x1a1e
00001a17: DUP3
00001a18: DUP7
00001a19: DUP10
00001a1a: PUSH2 0x22ae
00001a1d: JUMP
00001a1e: JUMPDEST
00001a1f: CALLDATALOAD
00001a20: SWAP1
00001a21: PUSH32 0xb05720dffdb8c11c9b879faa77fe0304940960a72a217de002d0f983934bebd9
00001a42: PUSH0
00001a43: DUP1
00001a44: LOG3
00001a45: DUP7
00001a46: PUSH2 0x1917
00001a49: JUMP
00001a4a: JUMPDEST
00001a4b: SWAP5
00001a4c: POP
00001a4d: SWAP1
00001a4e: PUSH1 0x20
00001a50: DUP6
00001a51: RETURNDATASIZE
00001a52: DUP3
00001a53: GT
00001a54: PUSH2 0x1a9e
00001a57: JUMPI
00001a58: JUMPDEST
00001a59: DUP2
00001a5a: PUSH2 0x1a65
00001a5d: PUSH1 0x20
00001a5f: SWAP4
00001a60: DUP4
00001a61: PUSH2 0x20d4
00001a64: JUMP
00001a65: JUMPDEST
00001a66: DUP2
00001a67: ADD
00001a68: SUB
00001a69: SLT
00001a6a: PUSH2 0x022e
00001a6d: JUMPI
00001a6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a83: PUSH2 0x1a13
00001a86: SWAP3
00001a87: PUSH1 0x03
00001a89: PUSH2 0x1a93
00001a8c: PUSH1 0x01
00001a8e: SWAP9
00001a8f: PUSH2 0x22be
00001a92: JUMP
00001a93: JUMPDEST
00001a94: SWAP8
00001a95: POP
00001a96: POP
00001a97: SWAP2
00001a98: SWAP3
00001a99: POP
00001a9a: PUSH2 0x19a2
00001a9d: JUMP
00001a9e: JUMPDEST
00001a9f: RETURNDATASIZE
00001aa0: SWAP2
00001aa1: POP
00001aa2: PUSH2 0x1a58
00001aa5: JUMP
00001aa6: JUMPDEST
00001aa7: POP
00001aa8: PUSH1 0x03
00001aaa: DUP4
00001aab: ADD
00001aac: SLOAD
00001aad: ISZERO
00001aae: ISZERO
00001aaf: PUSH2 0x1912
00001ab2: JUMP
00001ab3: JUMPDEST
00001ab4: PUSH1 0x64
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ada: DUP2
00001adb: MSTORE
00001adc: PUSH1 0x20
00001ade: PUSH1 0x04
00001ae0: DUP3
00001ae1: ADD
00001ae2: MSTORE
00001ae3: PUSH1 0x0e
00001ae5: PUSH1 0x24
00001ae7: DUP3
00001ae8: ADD
00001ae9: MSTORE
00001aea: PUSH32 0x696e76616c6964206b6565706572000000000000000000000000000000000000
00001b0b: PUSH1 0x44
00001b0d: DUP3
00001b0e: ADD
00001b0f: MSTORE
00001b10: REVERT
00001b11: JUMPDEST
00001b12: PUSH1 0x64
00001b14: PUSH1 0x40
00001b16: MLOAD
00001b17: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b38: DUP2
00001b39: MSTORE
00001b3a: PUSH1 0x20
00001b3c: PUSH1 0x04
00001b3e: DUP3
00001b3f: ADD
00001b40: MSTORE
00001b41: PUSH1 0x0c
00001b43: PUSH1 0x24
00001b45: DUP3
00001b46: ADD
00001b47: MSTORE
00001b48: PUSH32 0x696e76616c696420646174610000000000000000000000000000000000000000
00001b69: PUSH1 0x44
00001b6b: DUP3
00001b6c: ADD
00001b6d: MSTORE
00001b6e: REVERT
00001b6f: JUMPDEST
00001b70: CALLVALUE
00001b71: PUSH2 0x022e
00001b74: JUMPI
00001b75: PUSH1 0x40
00001b77: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001b98: CALLDATASIZE
00001b99: ADD
00001b9a: SLT
00001b9b: PUSH2 0x022e
00001b9e: JUMPI
00001b9f: PUSH1 0x04
00001ba1: CALLDATALOAD
00001ba2: PUSH8 0xffffffffffffffff
00001bab: DUP2
00001bac: GT
00001bad: PUSH2 0x022e
00001bb0: JUMPI
00001bb1: PUSH2 0x1bbe
00001bb4: SWAP1
00001bb5: CALLDATASIZE
00001bb6: SWAP1
00001bb7: PUSH1 0x04
00001bb9: ADD
00001bba: PUSH2 0x212d
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: PUSH1 0x24
00001bc1: CALLDATALOAD
00001bc2: PUSH8 0xffffffffffffffff
00001bcb: DUP2
00001bcc: GT
00001bcd: PUSH2 0x022e
00001bd0: JUMPI
00001bd1: PUSH2 0x1bde
00001bd4: SWAP1
00001bd5: CALLDATASIZE
00001bd6: SWAP1
00001bd7: PUSH1 0x04
00001bd9: ADD
00001bda: PUSH2 0x21a8
00001bdd: JUMP
00001bde: JUMPDEST
00001bdf: PUSH2 0x1be6
00001be2: PUSH2 0x2305
00001be5: JUMP
00001be6: JUMPDEST
00001be7: DUP2
00001be8: MLOAD
00001be9: DUP2
00001bea: MLOAD
00001beb: SUB
00001bec: PUSH2 0x1ca1
00001bef: JUMPI
00001bf0: PUSH0
00001bf1: JUMPDEST
00001bf2: DUP3
00001bf3: MLOAD
00001bf4: DUP2
00001bf5: LT
00001bf6: ISZERO
00001bf7: PUSH2 0x0bca
00001bfa: JUMPI
00001bfb: DUP1
00001bfc: PUSH2 0x1c4a
00001bff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c14: PUSH2 0x1c1f
00001c17: PUSH1 0x01
00001c19: SWAP5
00001c1a: DUP8
00001c1b: PUSH2 0x226d
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: MLOAD
00001c21: AND
00001c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c37: PUSH0
00001c38: SLOAD
00001c39: AND
00001c3a: PUSH2 0x1c43
00001c3d: DUP5
00001c3e: DUP8
00001c3f: PUSH2 0x226d
00001c42: JUMP
00001c43: JUMPDEST
00001c44: MLOAD
00001c45: SWAP2
00001c46: PUSH2 0x2325
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c60: PUSH2 0x1c69
00001c63: DUP3
00001c64: DUP7
00001c65: PUSH2 0x226d
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: MLOAD
00001c6b: AND
00001c6c: PUSH2 0x1c75
00001c6f: DUP3
00001c70: DUP6
00001c71: PUSH2 0x226d
00001c74: JUMP
00001c75: JUMPDEST
00001c76: MLOAD
00001c77: SWAP1
00001c78: PUSH32 0xfba2d3bdfb2d601eb66a89783a2c614856101cadce71556753c2edadd60c831c
00001c99: PUSH0
00001c9a: DUP1
00001c9b: LOG3
00001c9c: ADD
00001c9d: PUSH2 0x1bf1
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: PUSH1 0x64
00001ca4: PUSH1 0x40
00001ca6: MLOAD
00001ca7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001cc8: DUP2
00001cc9: MSTORE
00001cca: PUSH1 0x20
00001ccc: PUSH1 0x04
00001cce: DUP3
00001ccf: ADD
00001cd0: MSTORE
00001cd1: PUSH1 0x07
00001cd3: PUSH1 0x24
00001cd5: DUP3
00001cd6: ADD
00001cd7: MSTORE
00001cd8: PUSH32 0x696e76616c696400000000000000000000000000000000000000000000000000
00001cf9: PUSH1 0x44
00001cfb: DUP3
00001cfc: ADD
00001cfd: MSTORE
00001cfe: REVERT
00001cff: JUMPDEST
00001d00: CALLVALUE
00001d01: PUSH2 0x022e
00001d04: JUMPI
00001d05: PUSH1 0x20
00001d07: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001d28: CALLDATASIZE
00001d29: ADD
00001d2a: SLT
00001d2b: PUSH2 0x022e
00001d2e: JUMPI
00001d2f: PUSH1 0x04
00001d31: CALLDATALOAD
00001d32: CALLER
00001d33: PUSH0
00001d34: MSTORE
00001d35: PUSH1 0x07
00001d37: PUSH1 0x20
00001d39: MSTORE
00001d3a: PUSH1 0xff
00001d3c: PUSH1 0x40
00001d3e: PUSH0
00001d3f: KECCAK256
00001d40: SLOAD
00001d41: AND
00001d42: ISZERO
00001d43: PUSH2 0x056f
00001d46: JUMPI
00001d47: CALLER
00001d48: PUSH0
00001d49: MSTORE
00001d4a: PUSH1 0x06
00001d4c: PUSH1 0x20
00001d4e: MSTORE
00001d4f: PUSH1 0x40
00001d51: PUSH0
00001d52: KECCAK256
00001d53: DUP2
00001d54: PUSH0
00001d55: MSTORE
00001d56: PUSH1 0x20
00001d58: MSTORE
00001d59: PUSH1 0x40
00001d5b: PUSH0
00001d5c: KECCAK256
00001d5d: PUSH1 0xff
00001d5f: DUP2
00001d60: SLOAD
00001d61: AND
00001d62: PUSH1 0x04
00001d64: DUP2
00001d65: LT
00001d66: ISZERO
00001d67: PUSH2 0x0e88
00001d6a: JUMPI
00001d6b: PUSH1 0x01
00001d6d: DUP2
00001d6e: SUB
00001d6f: PUSH2 0x0e5d
00001d72: JUMPI
00001d73: POP
00001d74: PUSH1 0x02
00001d76: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001d97: DUP3
00001d98: SLOAD
00001d99: AND
00001d9a: OR
00001d9b: DUP2
00001d9c: SSTORE
00001d9d: PUSH1 0x05
00001d9f: TIMESTAMP
00001da0: SWAP2
00001da1: ADD
00001da2: SSTORE
00001da3: CALLER
00001da4: PUSH32 0x4dbfdead3f1d1c821c913ec64326cc591f19dc76fb9ec2bcc50c3e4322d4d633
00001dc5: PUSH0
00001dc6: DUP1
00001dc7: LOG3
00001dc8: STOP
00001dc9: JUMPDEST
00001dca: CALLVALUE
00001dcb: PUSH2 0x022e
00001dce: JUMPI
00001dcf: PUSH0
00001dd0: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001df1: CALLDATASIZE
00001df2: ADD
00001df3: SLT
00001df4: PUSH2 0x022e
00001df7: JUMPI
00001df8: PUSH1 0x20
00001dfa: PUSH1 0x40
00001dfc: MLOAD
00001dfd: PUSH2 0x2710
00001e00: DUP2
00001e01: MSTORE
00001e02: RETURN
00001e03: JUMPDEST
00001e04: CALLVALUE
00001e05: PUSH2 0x022e
00001e08: JUMPI
00001e09: PUSH1 0x40
00001e0b: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001e2c: CALLDATASIZE
00001e2d: ADD
00001e2e: SLT
00001e2f: PUSH2 0x022e
00001e32: JUMPI
00001e33: PUSH2 0x1e3a
00001e36: PUSH2 0x1feb
00001e39: JUMP
00001e3a: JUMPDEST
00001e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e50: PUSH1 0x24
00001e52: CALLDATALOAD
00001e53: SWAP2
00001e54: PUSH2 0x1e5b
00001e57: PUSH2 0x2305
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: AND
00001e5d: DUP1
00001e5e: PUSH0
00001e5f: MSTORE
00001e60: PUSH1 0x0a
00001e62: PUSH1 0x20
00001e64: MSTORE
00001e65: DUP2
00001e66: PUSH1 0x40
00001e68: PUSH0
00001e69: KECCAK256
00001e6a: SSTORE
00001e6b: PUSH32 0xd1188bbda8a0f35e74d291c3e72c3f1f70210a224cc56fbd22f45a0d5b19807e
00001e8c: PUSH0
00001e8d: DUP1
00001e8e: LOG3
00001e8f: STOP
00001e90: JUMPDEST
00001e91: CALLVALUE
00001e92: PUSH2 0x022e
00001e95: JUMPI
00001e96: PUSH2 0x0bca
00001e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eae: PUSH2 0x1eb6
00001eb1: CALLDATASIZE
00001eb2: PUSH2 0x2031
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: SWAP2
00001eb8: SWAP1
00001eb9: PUSH2 0x1ec0
00001ebc: PUSH2 0x2305
00001ebf: JUMP
00001ec0: JUMPDEST
00001ec1: AND
00001ec2: DUP2
00001ec3: ISZERO
00001ec4: ISZERO
00001ec5: DUP2
00001ec6: PUSH32 0x93f57b94c86428d13cc274554d2f2511279a98a6850c4c4def4e5d602eb2c7cf
00001ee7: PUSH0
00001ee8: DUP1
00001ee9: LOG3
00001eea: PUSH0
00001eeb: MSTORE
00001eec: PUSH1 0x09
00001eee: PUSH1 0x20
00001ef0: MSTORE
00001ef1: PUSH1 0x40
00001ef3: PUSH0
00001ef4: KECCAK256
00001ef5: SWAP1
00001ef6: PUSH1 0xff
00001ef8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00001f19: DUP4
00001f1a: SLOAD
00001f1b: AND
00001f1c: SWAP2
00001f1d: ISZERO
00001f1e: ISZERO
00001f1f: AND
00001f20: OR
00001f21: SWAP1
00001f22: SSTORE
00001f23: JUMP
00001f24: JUMPDEST
00001f25: CALLVALUE
00001f26: PUSH2 0x022e
00001f29: JUMPI
00001f2a: PUSH1 0x20
00001f2c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001f4d: CALLDATASIZE
00001f4e: ADD
00001f4f: SLT
00001f50: PUSH2 0x022e
00001f53: JUMPI
00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f69: PUSH2 0x1f70
00001f6c: PUSH2 0x1feb
00001f6f: JUMP
00001f70: JUMPDEST
00001f71: AND
00001f72: PUSH0
00001f73: MSTORE
00001f74: PUSH1 0x07
00001f76: PUSH1 0x20
00001f78: MSTORE
00001f79: PUSH1 0x20
00001f7b: PUSH1 0xff
00001f7d: PUSH1 0x40
00001f7f: PUSH0
00001f80: KECCAK256
00001f81: SLOAD
00001f82: AND
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: SWAP1
00001f87: ISZERO
00001f88: ISZERO
00001f89: DUP2
00001f8a: MSTORE
00001f8b: RETURN
00001f8c: JUMPDEST
00001f8d: CALLVALUE
00001f8e: PUSH2 0x022e
00001f91: JUMPI
00001f92: PUSH1 0x20
00001f94: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00001fb5: CALLDATASIZE
00001fb6: ADD
00001fb7: SLT
00001fb8: PUSH2 0x022e
00001fbb: JUMPI
00001fbc: PUSH1 0x20
00001fbe: SWAP1
00001fbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd4: PUSH2 0x1fdb
00001fd7: PUSH2 0x1feb
00001fda: JUMP
00001fdb: JUMPDEST
00001fdc: AND
00001fdd: PUSH0
00001fde: MSTORE
00001fdf: PUSH1 0x0a
00001fe1: DUP3
00001fe2: MSTORE
00001fe3: PUSH1 0x40
00001fe5: PUSH0
00001fe6: KECCAK256
00001fe7: SLOAD
00001fe8: DUP2
00001fe9: MSTORE
00001fea: RETURN
00001feb: JUMPDEST
00001fec: PUSH1 0x04
00001fee: CALLDATALOAD
00001fef: SWAP1
00001ff0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002005: DUP3
00002006: AND
00002007: DUP3
00002008: SUB
00002009: PUSH2 0x022e
0000200c: JUMPI
0000200d: JUMP
0000200e: JUMPDEST
0000200f: PUSH1 0x24
00002011: CALLDATALOAD
00002012: SWAP1
00002013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002028: DUP3
00002029: AND
0000202a: DUP3
0000202b: SUB
0000202c: PUSH2 0x022e
0000202f: JUMPI
00002030: JUMP
00002031: JUMPDEST
00002032: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc
00002053: PUSH1 0x40
00002055: SWAP2
00002056: ADD
00002057: SLT
00002058: PUSH2 0x022e
0000205b: JUMPI
0000205c: PUSH1 0x04
0000205e: CALLDATALOAD
0000205f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002074: DUP2
00002075: AND
00002076: DUP2
00002077: SUB
00002078: PUSH2 0x022e
0000207b: JUMPI
0000207c: SWAP1
0000207d: PUSH1 0x24
0000207f: CALLDATALOAD
00002080: DUP1
00002081: ISZERO
00002082: ISZERO
00002083: DUP2
00002084: SUB
00002085: PUSH2 0x022e
00002088: JUMPI
00002089: SWAP1
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0xe0
0000208e: DUP2
0000208f: ADD
00002090: SWAP1
00002091: DUP2
00002092: LT
00002093: PUSH8 0xffffffffffffffff
0000209c: DUP3
0000209d: GT
0000209e: OR
0000209f: PUSH2 0x20a7
000020a2: JUMPI
000020a3: PUSH1 0x40
000020a5: MSTORE
000020a6: JUMP
000020a7: JUMPDEST
000020a8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000020c9: PUSH0
000020ca: MSTORE
000020cb: PUSH1 0x41
000020cd: PUSH1 0x04
000020cf: MSTORE
000020d0: PUSH1 0x24
000020d2: PUSH0
000020d3: REVERT
000020d4: JUMPDEST
000020d5: SWAP1
000020d6: PUSH1 0x1f
000020d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000020f9: SWAP2
000020fa: ADD
000020fb: AND
000020fc: DUP2
000020fd: ADD
000020fe: SWAP1
000020ff: DUP2
00002100: LT
00002101: PUSH8 0xffffffffffffffff
0000210a: DUP3
0000210b: GT
0000210c: OR
0000210d: PUSH2 0x20a7
00002110: JUMPI
00002111: PUSH1 0x40
00002113: MSTORE
00002114: JUMP
00002115: JUMPDEST
00002116: PUSH8 0xffffffffffffffff
0000211f: DUP2
00002120: GT
00002121: PUSH2 0x20a7
00002124: JUMPI
00002125: PUSH1 0x05
00002127: SHL
00002128: PUSH1 0x20
0000212a: ADD
0000212b: SWAP1
0000212c: JUMP
0000212d: JUMPDEST
0000212e: SWAP1
0000212f: DUP1
00002130: PUSH1 0x1f
00002132: DUP4
00002133: ADD
00002134: SLT
00002135: ISZERO
00002136: PUSH2 0x022e
00002139: JUMPI
0000213a: DUP2
0000213b: CALLDATALOAD
0000213c: SWAP1
0000213d: PUSH2 0x2145
00002140: DUP3
00002141: PUSH2 0x2115
00002144: JUMP
00002145: JUMPDEST
00002146: SWAP3
00002147: PUSH2 0x2153
0000214a: PUSH1 0x40
0000214c: MLOAD
0000214d: SWAP5
0000214e: DUP6
0000214f: PUSH2 0x20d4
00002152: JUMP
00002153: JUMPDEST
00002154: DUP3
00002155: DUP5
00002156: MSTORE
00002157: PUSH1 0x20
00002159: DUP1
0000215a: DUP6
0000215b: ADD
0000215c: SWAP4
0000215d: PUSH1 0x05
0000215f: SHL
00002160: DUP3
00002161: ADD
00002162: ADD
00002163: SWAP2
00002164: DUP3
00002165: GT
00002166: PUSH2 0x022e
00002169: JUMPI
0000216a: PUSH1 0x20
0000216c: ADD
0000216d: SWAP2
0000216e: JUMPDEST
0000216f: DUP2
00002170: DUP4
00002171: LT
00002172: PUSH2 0x217b
00002175: JUMPI
00002176: POP
00002177: POP
00002178: POP
00002179: SWAP1
0000217a: JUMP
0000217b: JUMPDEST
0000217c: DUP3
0000217d: CALLDATALOAD
0000217e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002193: DUP2
00002194: AND
00002195: DUP2
00002196: SUB
00002197: PUSH2 0x022e
0000219a: JUMPI
0000219b: DUP2
0000219c: MSTORE
0000219d: PUSH1 0x20
0000219f: SWAP3
000021a0: DUP4
000021a1: ADD
000021a2: SWAP3
000021a3: ADD
000021a4: PUSH2 0x216e
000021a7: JUMP
000021a8: JUMPDEST
000021a9: SWAP1
000021aa: DUP1
000021ab: PUSH1 0x1f
000021ad: DUP4
000021ae: ADD
000021af: SLT
000021b0: ISZERO
000021b1: PUSH2 0x022e
000021b4: JUMPI
000021b5: DUP2
000021b6: CALLDATALOAD
000021b7: PUSH2 0x21bf
000021ba: DUP2
000021bb: PUSH2 0x2115
000021be: JUMP
000021bf: JUMPDEST
000021c0: SWAP3
000021c1: PUSH2 0x21cd
000021c4: PUSH1 0x40
000021c6: MLOAD
000021c7: SWAP5
000021c8: DUP6
000021c9: PUSH2 0x20d4
000021cc: JUMP
000021cd: JUMPDEST
000021ce: DUP2
000021cf: DUP5
000021d0: MSTORE
000021d1: PUSH1 0x20
000021d3: DUP1
000021d4: DUP6
000021d5: ADD
000021d6: SWAP3
000021d7: PUSH1 0x05
000021d9: SHL
000021da: DUP3
000021db: ADD
000021dc: ADD
000021dd: SWAP3
000021de: DUP4
000021df: GT
000021e0: PUSH2 0x022e
000021e3: JUMPI
000021e4: PUSH1 0x20
000021e6: ADD
000021e7: SWAP1
000021e8: JUMPDEST
000021e9: DUP3
000021ea: DUP3
000021eb: LT
000021ec: PUSH2 0x21f5
000021ef: JUMPI
000021f0: POP
000021f1: POP
000021f2: POP
000021f3: SWAP1
000021f4: JUMP
000021f5: JUMPDEST
000021f6: DUP2
000021f7: CALLDATALOAD
000021f8: DUP2
000021f9: MSTORE
000021fa: PUSH1 0x20
000021fc: SWAP2
000021fd: DUP3
000021fe: ADD
000021ff: SWAP2
00002200: ADD
00002201: PUSH2 0x21e8
00002204: JUMP
00002205: JUMPDEST
00002206: SWAP2
00002207: DUP2
00002208: PUSH1 0x1f
0000220a: DUP5
0000220b: ADD
0000220c: SLT
0000220d: ISZERO
0000220e: PUSH2 0x022e
00002211: JUMPI
00002212: DUP3
00002213: CALLDATALOAD
00002214: SWAP2
00002215: PUSH8 0xffffffffffffffff
0000221e: DUP4
0000221f: GT
00002220: PUSH2 0x022e
00002223: JUMPI
00002224: PUSH1 0x20
00002226: DUP1
00002227: DUP6
00002228: ADD
00002229: SWAP5
0000222a: DUP5
0000222b: PUSH1 0x05
0000222d: SHL
0000222e: ADD
0000222f: ADD
00002230: GT
00002231: PUSH2 0x022e
00002234: JUMPI
00002235: JUMP
00002236: JUMPDEST
00002237: SWAP1
00002238: PUSH1 0x04
0000223a: DUP2
0000223b: LT
0000223c: ISZERO
0000223d: PUSH2 0x0e88
00002240: JUMPI
00002241: PUSH1 0xff
00002243: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002264: DUP4
00002265: SLOAD
00002266: AND
00002267: SWAP2
00002268: AND
00002269: OR
0000226a: SWAP1
0000226b: SSTORE
0000226c: JUMP
0000226d: JUMPDEST
0000226e: DUP1
0000226f: MLOAD
00002270: DUP3
00002271: LT
00002272: ISZERO
00002273: PUSH2 0x2281
00002276: JUMPI
00002277: PUSH1 0x20
00002279: SWAP2
0000227a: PUSH1 0x05
0000227c: SHL
0000227d: ADD
0000227e: ADD
0000227f: SWAP1
00002280: JUMP
00002281: JUMPDEST
00002282: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000022a3: PUSH0
000022a4: MSTORE
000022a5: PUSH1 0x32
000022a7: PUSH1 0x04
000022a9: MSTORE
000022aa: PUSH1 0x24
000022ac: PUSH0
000022ad: REVERT
000022ae: JUMPDEST
000022af: SWAP2
000022b0: SWAP1
000022b1: DUP2
000022b2: LT
000022b3: ISZERO
000022b4: PUSH2 0x2281
000022b7: JUMPI
000022b8: PUSH1 0x05
000022ba: SHL
000022bb: ADD
000022bc: SWAP1
000022bd: JUMP
000022be: JUMPDEST
000022bf: MLOAD
000022c0: SWAP1
000022c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022d6: DUP3
000022d7: AND
000022d8: DUP3
000022d9: SUB
000022da: PUSH2 0x022e
000022dd: JUMPI
000022de: JUMP
000022df: JUMPDEST
000022e0: PUSH1 0x04
000022e2: DUP3
000022e3: LT
000022e4: ISZERO
000022e5: PUSH2 0x0e88
000022e8: JUMPI
000022e9: MSTORE
000022ea: JUMP
000022eb: JUMPDEST
000022ec: SWAP2
000022ed: SWAP1
000022ee: DUP3
000022ef: SUB
000022f0: SWAP2
000022f1: DUP3
000022f2: GT
000022f3: PUSH2 0x08fb
000022f6: JUMPI
000022f7: JUMP
000022f8: JUMPDEST
000022f9: SWAP2
000022fa: SWAP1
000022fb: DUP3
000022fc: ADD
000022fd: DUP1
000022fe: SWAP3
000022ff: GT
00002300: PUSH2 0x08fb
00002303: JUMPI
00002304: JUMP
00002305: JUMPDEST
00002306: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000231b: PUSH0
0000231c: SLOAD
0000231d: AND
0000231e: CALLER
0000231f: SUB
00002320: PUSH2 0x0ca8
00002323: JUMPI
00002324: JUMP
00002325: JUMPDEST
00002326: PUSH2 0x2387
00002329: SWAP3
0000232a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000233f: PUSH1 0x40
00002341: MLOAD
00002342: SWAP4
00002343: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002364: PUSH1 0x20
00002366: DUP7
00002367: ADD
00002368: MSTORE
00002369: AND
0000236a: PUSH1 0x24
0000236c: DUP5
0000236d: ADD
0000236e: MSTORE
0000236f: PUSH1 0x44
00002371: DUP4
00002372: ADD
00002373: MSTORE
00002374: PUSH1 0x44
00002376: DUP3
00002377: MSTORE
00002378: PUSH2 0x2382
0000237b: PUSH1 0x64
0000237d: DUP4
0000237e: PUSH2 0x20d4
00002381: JUMP
00002382: JUMPDEST
00002383: PUSH2 0x2389
00002386: JUMP
00002387: JUMPDEST
00002388: JUMP
00002389: JUMPDEST
0000238a: PUSH0
0000238b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023a0: DUP2
000023a1: SWAP3
000023a2: AND
000023a3: SWAP3
000023a4: PUSH1 0x20
000023a6: DUP2
000023a7: MLOAD
000023a8: SWAP2
000023a9: ADD
000023aa: DUP3
000023ab: DUP6
000023ac: GAS
000023ad: CALL
000023ae: RETURNDATASIZE
000023af: ISZERO
000023b0: PUSH2 0x2472
000023b3: JUMPI
000023b4: RETURNDATASIZE
000023b5: PUSH8 0xffffffffffffffff
000023be: DUP2
000023bf: GT
000023c0: PUSH2 0x20a7
000023c3: JUMPI
000023c4: PUSH2 0x240d
000023c7: SWAP2
000023c8: PUSH1 0x40
000023ca: MLOAD
000023cb: SWAP2
000023cc: PUSH2 0x23fd
000023cf: PUSH1 0x20
000023d1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000023f2: PUSH1 0x1f
000023f4: DUP5
000023f5: ADD
000023f6: AND
000023f7: ADD
000023f8: DUP5
000023f9: PUSH2 0x20d4
000023fc: JUMP
000023fd: JUMPDEST
000023fe: DUP3
000023ff: MSTORE
00002400: RETURNDATASIZE
00002401: PUSH0
00002402: PUSH1 0x20
00002404: DUP5
00002405: ADD
00002406: RETURNDATACOPY
00002407: JUMPDEST
00002408: DUP4
00002409: PUSH2 0x247e
0000240c: JUMP
0000240d: JUMPDEST
0000240e: DUP1
0000240f: MLOAD
00002410: SWAP1
00002411: DUP2
00002412: ISZERO
00002413: ISZERO
00002414: SWAP2
00002415: DUP3
00002416: PUSH2 0x244e
00002419: JUMPI
0000241a: JUMPDEST
0000241b: POP
0000241c: POP
0000241d: PUSH2 0x2423
00002420: JUMPI
00002421: POP
00002422: JUMP
00002423: JUMPDEST
00002424: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000
00002445: PUSH0
00002446: MSTORE
00002447: PUSH1 0x04
00002449: MSTORE
0000244a: PUSH1 0x24
0000244c: PUSH0
0000244d: REVERT
0000244e: JUMPDEST
0000244f: DUP2
00002450: SWAP3
00002451: POP
00002452: SWAP1
00002453: PUSH1 0x20
00002455: SWAP2
00002456: DUP2
00002457: ADD
00002458: SUB
00002459: SLT
0000245a: PUSH2 0x022e
0000245d: JUMPI
0000245e: PUSH1 0x20
00002460: ADD
00002461: MLOAD
00002462: DUP1
00002463: ISZERO
00002464: SWAP1
00002465: DUP2
00002466: ISZERO
00002467: SUB
00002468: PUSH2 0x022e
0000246b: JUMPI
0000246c: PUSH0
0000246d: DUP1
0000246e: PUSH2 0x241a
00002471: JUMP
00002472: JUMPDEST
00002473: PUSH2 0x240d
00002476: SWAP1
00002477: PUSH1 0x60
00002479: SWAP1
0000247a: PUSH2 0x2407
0000247d: JUMP
0000247e: JUMPDEST
0000247f: SWAP1
00002480: PUSH2 0x24bb
00002483: JUMPI
00002484: POP
00002485: DUP1
00002486: MLOAD
00002487: ISZERO
00002488: PUSH2 0x2493
0000248b: JUMPI
0000248c: DUP1
0000248d: MLOAD
0000248e: SWAP1
0000248f: PUSH1 0x20
00002491: ADD
00002492: REVERT
00002493: JUMPDEST
00002494: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000
000024b5: PUSH0
000024b6: MSTORE
000024b7: PUSH1 0x04
000024b9: PUSH0
000024ba: REVERT
000024bb: JUMPDEST
000024bc: DUP2
000024bd: MLOAD
000024be: ISZERO
000024bf: DUP1
000024c0: PUSH2 0x250e
000024c3: JUMPI
000024c4: JUMPDEST
000024c5: PUSH2 0x24cc
000024c8: JUMPI
000024c9: POP
000024ca: SWAP1
000024cb: JUMP
000024cc: JUMPDEST
000024cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e2: SWAP1
000024e3: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000
00002504: PUSH0
00002505: MSTORE
00002506: AND
00002507: PUSH1 0x04
00002509: MSTORE
0000250a: PUSH1 0x24
0000250c: PUSH0
0000250d: REVERT
0000250e: JUMPDEST
0000250f: POP
00002510: DUP1
00002511: EXTCODESIZE
00002512: ISZERO
00002513: PUSH2 0x24c4
00002516: JUMP
00002517: INVALID
00002518: LOG1
00002519: PUSH5 0x736f6c6343
0000251f: STOP
00002520: ADDMOD
00002521: BYTE
00002522: STOP
00002523: EXP

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x05ede4e3",
            "selector": "0x05ede4e3",
            "calldata_variants": [
                "0x05ede4e3",
                "0x05ede4e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0650b8c4",
            "selector": "0x0650b8c4",
            "calldata_variants": [
                "0x0650b8c4",
                "0x0650b8c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x077c7c67",
            "selector": "0x077c7c67",
            "calldata_variants": [
                "0x077c7c67",
                "0x077c7c670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1b10acf8",
            "selector": "0x1b10acf8",
            "calldata_variants": [
                "0x1b10acf8",
                "0x1b10acf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f68f20a",
            "selector": "0x1f68f20a",
            "calldata_variants": [
                "0x1f68f20a",
                "0x1f68f20a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22221b9f",
            "selector": "0x22221b9f",
            "calldata_variants": [
                "0x22221b9f",
                "0x22221b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22b33bdb",
            "selector": "0x22b33bdb",
            "calldata_variants": [
                "0x22b33bdb",
                "0x22b33bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2fa8e44a",
            "selector": "0x2fa8e44a",
            "calldata_variants": [
                "0x2fa8e44a",
                "0x2fa8e44a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 2172,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xe62b906716c1be0a10bcca57fc3606b190104d56d52df9992738aa3f04fbac64
call_targets: 0xa0c90c25ce5b5beef1369c977d4c20407d5d69b4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe62b906716c1be0a10bcca57fc3606b190104d56d52df9992738aa3f04fbac64",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa0c90c25ce5b5beef1369c977d4c20407d5d69b4"
    ],
    "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": "0x05ede4e3",
            "selector": "0x05ede4e3",
            "calldata_variants": [
                "0x05ede4e3",
                "0x05ede4e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0650b8c4",
            "selector": "0x0650b8c4",
            "calldata_variants": [
                "0x0650b8c4",
                "0x0650b8c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x077c7c67",
            "selector": "0x077c7c67",
            "calldata_variants": [
                "0x077c7c67",
                "0x077c7c670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1b10acf8",
            "selector": "0x1b10acf8",
            "calldata_variants": [
                "0x1b10acf8",
                "0x1b10acf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f68f20a",
            "selector": "0x1f68f20a",
            "calldata_variants": [
                "0x1f68f20a",
                "0x1f68f20a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22221b9f",
            "selector": "0x22221b9f",
            "calldata_variants": [
                "0x22221b9f",
                "0x22221b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22b33bdb",
            "selector": "0x22b33bdb",
            "calldata_variants": [
                "0x22b33bdb",
                "0x22b33bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2fa8e44a",
            "selector": "0x2fa8e44a",
            "calldata_variants": [
                "0x2fa8e44a",
                "0x2fa8e44a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1828,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9133,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 2172,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 2
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xe62b906716c1be0a10bcca57fc3606b190104d56d52df9992738aa3f04fbac64
call_targets: 0xa0c90c25ce5b5beef1369c977d4c20407d5d69b4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xe62b906716c1be0a10bcca57fc3606b190104d56d52df9992738aa3f04fbac64",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa0c90c25ce5b5beef1369c977d4c20407d5d69b4"
    ],
    "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": "0x05ede4e3",
            "selector": "0x05ede4e3",
            "calldata_variants": [
                "0x05ede4e3",
                "0x05ede4e30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0650b8c4",
            "selector": "0x0650b8c4",
            "calldata_variants": [
                "0x0650b8c4",
                "0x0650b8c40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x077c7c67",
            "selector": "0x077c7c67",
            "calldata_variants": [
                "0x077c7c67",
                "0x077c7c670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1b10acf8",
            "selector": "0x1b10acf8",
            "calldata_variants": [
                "0x1b10acf8",
                "0x1b10acf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1f68f20a",
            "selector": "0x1f68f20a",
            "calldata_variants": [
                "0x1f68f20a",
                "0x1f68f20a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22221b9f",
            "selector": "0x22221b9f",
            "calldata_variants": [
                "0x22221b9f",
                "0x22221b9f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22b33bdb",
            "selector": "0x22b33bdb",
            "calldata_variants": [
                "0x22b33bdb",
                "0x22b33bdb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2fa8e44a",
            "selector": "0x2fa8e44a",
            "calldata_variants": [
                "0x2fa8e44a",
                "0x2fa8e44a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1828,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9133,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 2172,
            "type": "tx_origin_used"
        }
    ]
}