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

Analysis Run

83adb5a4-ae0a-4874-92d3-51962fa4fdef

failed
Chain ID
1
Address
0x131fb74c6fede6d6710ff224e07ce0ed8123f144
Block Number
—
Created
Thu, Jan 1, 2026 2:00 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31023 report.consolidate complete 1 / 1 3 months ago
75952 artifact.fetch failed 1 / 3 2 weeks ago
75953 tool.cast_disasm complete 1 / 3 2 weeks ago
75954 analysis.bundle complete 1 / 3 2 weeks ago
75955 capability.graph complete 1 / 3 2 weeks ago
75956 detector.run complete 1 / 3 2 weeks ago
75957 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
No concrete, exploitable profit paths identified in the provided code.
View stderr 
[codex:646378] OpenAI Codex v0.77.0 (research preview)
[codex:646378] --------
[codex:646378] workdir: /tmp/codex-multi-83zm3t41
[codex:646378] model: gpt-5.2-codex
[codex:646378] provider: openai
[codex:646378] approval: never
[codex:646378] sandbox: read-only
[codex:646378] reasoning effort: xhigh
[codex:646378] reasoning summaries: auto
[codex:646378] session id: 019b79d8-3535-7a23-adaf-601f0288d907
[codex:646378] --------
[codex:646378] user
[codex:646378] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:646378] 
[codex:646378] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:646378] 
[codex:646378] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:646378] - Gas inefficiency, code quality, naming, or best practices
[codex:646378] - Theoretical vulnerabilities without a clear extraction path
[codex:646378] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:646378] - Front-running unless it enables theft beyond MEV
[codex:646378] - DoS, griefing, or issues that don't result in attacker profit
[codex:646378] - Missing events, view function issues, or informational findings
[codex:646378] 
[codex:646378] HIGH-VALUE PATTERNS TO HUNT:
[codex:646378] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:646378] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:646378] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:646378] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:646378] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:646378] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:646378] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:646378] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:646378] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:646378] 
[codex:646378] For each finding, you MUST provide:
[codex:646378] 1. Exact file and line numbers of vulnerable code
[codex:646378] 2. Step-by-step exploit transaction sequence
[codex:646378] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:646378] 
[codex:646378] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:646378] 
[codex:646378] Output MUST be valid JSON matching the provided schema.
[codex:646378] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:646378] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:646378] mcp startup: no servers
[codex:646378] 
[codex:646378] thinking
[codex:646378] **Preparing to audit skills instructions**
[codex:646378] exec
[codex:646378] /bin/bash -lc ls in /tmp/codex-multi-83zm3t41 succeeded in 6ms:
[codex:646378] AUDIT_BUNDLE.txt
[codex:646378] codex-output-schema.json
[codex:646378] contracts
[codex:646378] 
[codex:646378] thinking
[codex:646378] **Reading AUDIT_BUNDLE.txt contents**
[codex:646378] exec
[codex:646378] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-83zm3t41 succeeded in 5ms:
[codex:646378] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:646378] 
[codex:646378] ================================================================================
[codex:646378] FILE: contracts/contracts/Vault.sol
[codex:646378] ================================================================================
[codex:646378] pragma solidity 0.8.10;
[codex:646378] 
[codex:646378] /**
[codex:646378]  * @author InsureDAO
[codex:646378]  * @title InsureDAO vault contract
[codex:646378]  * @notice
[codex:646378]  * SPDX-License-Identifier: GPL-3.0
[codex:646378]  */
[codex:646378] import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:646378] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:646378] 
[codex:646378] import "./interfaces/IOwnership.sol";
[codex:646378] import "./interfaces/IVault.sol";
[codex:646378] 
[codex:646378] import "./interfaces/IController.sol";
[codex:646378] 
[codex:646378] 
[codex:646378] 
[codex:646378] 
[codex:646378] thinking
[codex:646378] **Analyzing Vault.sol for withdrawal exploits**
[codex:646378] thinking
[codex:646378] **Investigating rounding effects on attributions and balance**
[codex:646378] 
[codex:646378] I'm exploring how rounding in withdrawals might let a last holder burn all attributions but leave leftover balance tokens, potentially causing share inflation or stranded funds. This mismatch could let a new depositor gain disproportionate attributions relative to vault value later. Let's see what this means for attacker profit or vault integrity!
[codex:646378] thinking
[codex:646378] **Analyzing share inflation via rounding and leftover balance**
[codex:646378] 
[codex:646378] I'm breaking down how rounding in withdrawals can create leftover tokens when total attributions reach zero, letting the next depositor mint attributions 1:1 and claim those leftovers. Although it looks like a profit path, after carefully tracing deposits and withdrawals, the net gain cancels out as leftover funds originate from the attacker’s own previous deposit. I’m weighing if this leftover could ever represent real gains or just a harmless artifact of rounding.
[codex:646378] thinking
[codex:646378] **Evaluating attribution rounding and access control impacts**
[codex:646378] 
[codex:646378] I'm examining possible exploit paths from rounding leftover in addValueBatch allocations and the vault's strict access controls on deposits and withdrawals. Although rounding may leave unassigned attributions diluting holders, it doesn't create profit opportunities. Access control limits deposits to markets, restricting attacker leverage, and no concrete paths to profit emerge from interactions with debt or controller calls. Overall, no exploitable weaknesses stand out.
[codex:646378] codex
[codex:646378] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided code.","findings":[]}
[codex:646378] tokens used
[codex:646378] 27,615
[codex:646378] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided code.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-01T14:00:11.842632+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided code.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided code.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
20
EXT*/BALANCE
5
Total opcodes
5906
Flags
create_opcodes_present heavy_ext_balance_usage call_family_heavy
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01fb
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x77c7b8fc
00000026: GT
00000027: PUSH2 0x011a
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xaced1661
00000031: GT
00000032: PUSH2 0x00ad
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xf314ad83
0000003c: GT
0000003d: PUSH2 0x007c
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf314ad83
00000047: EQ
00000048: PUSH2 0x0447
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf77c4791
00000052: EQ
00000053: PUSH2 0x045a
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf8ba677f
0000005d: EQ
0000005e: PUSH2 0x046d
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfc0c546a
00000068: EQ
00000069: PUSH2 0x0480
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xfc7b9c18
00000073: EQ
00000074: PUSH2 0x0493
00000077: JUMPI
00000078: PUSH1 0x00
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xaced1661
00000083: EQ
00000084: PUSH2 0x0405
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xb4eccdce
0000008e: EQ
0000008f: PUSH2 0x0418
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xb69ef8a8
00000099: EQ
0000009a: PUSH2 0x042b
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xde4be35a
000000a4: EQ
000000a5: PUSH2 0x0434
000000a8: JUMPI
000000a9: PUSH1 0x00
000000ab: DUP1
000000ac: REVERT
000000ad: JUMPDEST
000000ae: DUP1
000000af: PUSH4 0x8b67eeb0
000000b4: GT
000000b5: PUSH2 0x00e9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8b67eeb0
000000bf: EQ
000000c0: PUSH2 0x03c4
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x92eefe9b
000000ca: EQ
000000cb: PUSH2 0x03d7
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x9f1993bb
000000d5: EQ
000000d6: PUSH2 0x03ea
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xaa8e0ac2
000000e0: EQ
000000e1: PUSH2 0x03f2
000000e4: JUMPI
000000e5: PUSH1 0x00
000000e7: DUP1
000000e8: REVERT
000000e9: JUMPDEST
000000ea: DUP1
000000eb: PUSH4 0x77c7b8fc
000000f0: EQ
000000f1: PUSH2 0x0376
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x7b103999
000000fb: EQ
000000fc: PUSH2 0x037e
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x7d42977b
00000106: EQ
00000107: PUSH2 0x0391
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0x85f18432
00000111: EQ
00000112: PUSH2 0x03a4
00000115: JUMPI
00000116: PUSH1 0x00
00000118: DUP1
00000119: REVERT
0000011a: JUMPDEST
0000011b: DUP1
0000011c: PUSH4 0x434763b4
00000121: GT
00000122: PUSH2 0x0192
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x5f96a4eb
0000012c: GT
0000012d: PUSH2 0x0161
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5f96a4eb
00000137: EQ
00000138: PUSH2 0x0327
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x6b4067af
00000142: EQ
00000143: PUSH2 0x0330
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0x6f423d6b
0000014d: EQ
0000014e: PUSH2 0x0350
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0x748747e6
00000158: EQ
00000159: PUSH2 0x0363
0000015c: JUMPI
0000015d: PUSH1 0x00
0000015f: DUP1
00000160: REVERT
00000161: JUMPDEST
00000162: DUP1
00000163: PUSH4 0x434763b4
00000168: EQ
00000169: PUSH2 0x02af
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0x48a0d754
00000173: EQ
00000174: PUSH2 0x02d8
00000177: JUMPI
00000178: DUP1
00000179: PUSH4 0x55306252
0000017e: EQ
0000017f: PUSH2 0x02e0
00000182: JUMPI
00000183: DUP1
00000184: PUSH4 0x5d03147a
00000189: EQ
0000018a: PUSH2 0x02e8
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: DUP1
00000194: PUSH4 0x2b82b208
00000199: GT
0000019a: PUSH2 0x01ce
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x2b82b208
000001a4: EQ
000001a5: PUSH2 0x0261
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x2ecd4e7d
000001af: EQ
000001b0: PUSH2 0x0274
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0x2f9ef012
000001ba: EQ
000001bb: PUSH2 0x0294
000001be: JUMPI
000001bf: DUP1
000001c0: PUSH4 0x3316d94f
000001c5: EQ
000001c6: PUSH2 0x02a7
000001c9: JUMPI
000001ca: PUSH1 0x00
000001cc: DUP1
000001cd: REVERT
000001ce: JUMPDEST
000001cf: DUP1
000001d0: PUSH4 0x09829779
000001d5: EQ
000001d6: PUSH2 0x0200
000001d9: JUMPI
000001da: DUP1
000001db: PUSH4 0x16fb5598
000001e0: EQ
000001e1: PUSH2 0x0226
000001e4: JUMPI
000001e5: DUP1
000001e6: PUSH4 0x2287f9f2
000001eb: EQ
000001ec: PUSH2 0x023b
000001ef: JUMPI
000001f0: DUP1
000001f1: PUSH4 0x231b0247
000001f6: EQ
000001f7: PUSH2 0x024e
000001fa: JUMPI
000001fb: JUMPDEST
000001fc: PUSH1 0x00
000001fe: DUP1
000001ff: REVERT
00000200: JUMPDEST
00000201: PUSH2 0x0213
00000204: PUSH2 0x020e
00000207: CALLDATASIZE
00000208: PUSH1 0x04
0000020a: PUSH2 0x2123
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH2 0x049c
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH1 0x40
00000216: MLOAD
00000217: SWAP1
00000218: DUP2
00000219: MSTORE
0000021a: PUSH1 0x20
0000021c: ADD
0000021d: JUMPDEST
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: DUP1
00000222: SWAP2
00000223: SUB
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: PUSH2 0x0239
0000022a: PUSH2 0x0234
0000022d: CALLDATASIZE
0000022e: PUSH1 0x04
00000230: PUSH2 0x2123
00000233: JUMP
00000234: JUMPDEST
00000235: PUSH2 0x04de
00000238: JUMP
00000239: JUMPDEST
0000023a: STOP
0000023b: JUMPDEST
0000023c: PUSH2 0x0213
0000023f: PUSH2 0x0249
00000242: CALLDATASIZE
00000243: PUSH1 0x04
00000245: PUSH2 0x2153
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x05ac
0000024d: JUMP
0000024e: JUMPDEST
0000024f: PUSH2 0x0213
00000252: PUSH2 0x025c
00000255: CALLDATASIZE
00000256: PUSH1 0x04
00000258: PUSH2 0x217f
0000025b: JUMP
0000025c: JUMPDEST
0000025d: PUSH2 0x05ff
00000260: JUMP
00000261: JUMPDEST
00000262: PUSH2 0x0239
00000265: PUSH2 0x026f
00000268: CALLDATASIZE
00000269: PUSH1 0x04
0000026b: PUSH2 0x2123
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH2 0x0641
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH2 0x0213
00000278: PUSH2 0x0282
0000027b: CALLDATASIZE
0000027c: PUSH1 0x04
0000027e: PUSH2 0x217f
00000281: JUMP
00000282: JUMPDEST
00000283: PUSH1 0x03
00000285: PUSH1 0x20
00000287: MSTORE
00000288: PUSH1 0x00
0000028a: SWAP1
0000028b: DUP2
0000028c: MSTORE
0000028d: PUSH1 0x40
0000028f: SWAP1
00000290: KECCAK256
00000291: SLOAD
00000292: DUP2
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH2 0x0213
00000298: PUSH2 0x02a2
0000029b: CALLDATASIZE
0000029c: PUSH1 0x04
0000029e: PUSH2 0x217f
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH2 0x0727
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH1 0x05
000002aa: SLOAD
000002ab: PUSH2 0x0213
000002ae: JUMP
000002af: JUMPDEST
000002b0: PUSH2 0x0213
000002b3: PUSH2 0x02bd
000002b6: CALLDATASIZE
000002b7: PUSH1 0x04
000002b9: PUSH2 0x217f
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x01
000002c0: PUSH1 0x01
000002c2: PUSH1 0xa0
000002c4: SHL
000002c5: SUB
000002c6: AND
000002c7: PUSH1 0x00
000002c9: SWAP1
000002ca: DUP2
000002cb: MSTORE
000002cc: PUSH1 0x04
000002ce: PUSH1 0x20
000002d0: MSTORE
000002d1: PUSH1 0x40
000002d3: SWAP1
000002d4: KECCAK256
000002d5: SLOAD
000002d6: SWAP1
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x0213
000002dc: PUSH2 0x0787
000002df: JUMP
000002e0: JUMPDEST
000002e1: PUSH2 0x0213
000002e4: PUSH2 0x079e
000002e7: JUMP
000002e8: JUMPDEST
000002e9: PUSH2 0x030f
000002ec: PUSH32 0x000000000000000000000000f4db9926ae02469d730a25ad7422764bbd45d36f
0000030d: DUP2
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH1 0x40
00000312: MLOAD
00000313: PUSH1 0x01
00000315: PUSH1 0x01
00000317: PUSH1 0xa0
00000319: SHL
0000031a: SUB
0000031b: SWAP1
0000031c: SWAP2
0000031d: AND
0000031e: DUP2
0000031f: MSTORE
00000320: PUSH1 0x20
00000322: ADD
00000323: PUSH2 0x021d
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH2 0x0213
0000032b: PUSH1 0x05
0000032d: SLOAD
0000032e: DUP2
0000032f: JUMP
00000330: JUMPDEST
00000331: PUSH2 0x0213
00000334: PUSH2 0x033e
00000337: CALLDATASIZE
00000338: PUSH1 0x04
0000033a: PUSH2 0x217f
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x04
00000341: PUSH1 0x20
00000343: MSTORE
00000344: PUSH1 0x00
00000346: SWAP1
00000347: DUP2
00000348: MSTORE
00000349: PUSH1 0x40
0000034b: SWAP1
0000034c: KECCAK256
0000034d: SLOAD
0000034e: DUP2
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH2 0x0239
00000354: PUSH2 0x035e
00000357: CALLDATASIZE
00000358: PUSH1 0x04
0000035a: PUSH2 0x219c
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x083d
00000362: JUMP
00000363: JUMPDEST
00000364: PUSH2 0x0239
00000367: PUSH2 0x0371
0000036a: CALLDATASIZE
0000036b: PUSH1 0x04
0000036d: PUSH2 0x217f
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH2 0x0ae8
00000375: JUMP
00000376: JUMPDEST
00000377: PUSH2 0x0213
0000037a: PUSH2 0x0c0b
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH1 0x02
00000381: SLOAD
00000382: PUSH2 0x030f
00000385: SWAP1
00000386: PUSH1 0x01
00000388: PUSH1 0x01
0000038a: PUSH1 0xa0
0000038c: SHL
0000038d: SUB
0000038e: AND
0000038f: DUP2
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH2 0x0239
00000395: PUSH2 0x039f
00000398: CALLDATASIZE
00000399: PUSH1 0x04
0000039b: PUSH2 0x21ca
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH2 0x0c30
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH2 0x03b7
000003a8: PUSH2 0x03b2
000003ab: CALLDATASIZE
000003ac: PUSH1 0x04
000003ae: PUSH2 0x21f4
000003b1: JUMP
000003b2: JUMPDEST
000003b3: PUSH2 0x0d26
000003b6: JUMP
000003b7: JUMPDEST
000003b8: PUSH1 0x40
000003ba: MLOAD
000003bb: PUSH2 0x021d
000003be: SWAP2
000003bf: SWAP1
000003c0: PUSH2 0x2245
000003c3: JUMP
000003c4: JUMPDEST
000003c5: PUSH2 0x0213
000003c8: PUSH2 0x03d2
000003cb: CALLDATASIZE
000003cc: PUSH1 0x04
000003ce: PUSH2 0x2123
000003d1: JUMP
000003d2: JUMPDEST
000003d3: PUSH2 0x0fbd
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH2 0x0239
000003db: PUSH2 0x03e5
000003de: CALLDATASIZE
000003df: PUSH1 0x04
000003e1: PUSH2 0x217f
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH2 0x11d1
000003e9: JUMP
000003ea: JUMPDEST
000003eb: PUSH2 0x0213
000003ee: PUSH2 0x148a
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH2 0x0213
000003f6: PUSH2 0x0400
000003f9: CALLDATASIZE
000003fa: PUSH1 0x04
000003fc: PUSH2 0x2276
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x16a3
00000404: JUMP
00000405: JUMPDEST
00000406: PUSH1 0x06
00000408: SLOAD
00000409: PUSH2 0x030f
0000040c: SWAP1
0000040d: PUSH1 0x01
0000040f: PUSH1 0x01
00000411: PUSH1 0xa0
00000413: SHL
00000414: SUB
00000415: AND
00000416: DUP2
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH2 0x0239
0000041c: PUSH2 0x0426
0000041f: CALLDATASIZE
00000420: PUSH1 0x04
00000422: PUSH2 0x2123
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH2 0x17e0
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH2 0x0213
0000042f: PUSH1 0x07
00000431: SLOAD
00000432: DUP2
00000433: JUMP
00000434: JUMPDEST
00000435: PUSH2 0x0213
00000438: PUSH2 0x0442
0000043b: CALLDATASIZE
0000043c: PUSH1 0x04
0000043e: PUSH2 0x2123
00000441: JUMP
00000442: JUMPDEST
00000443: PUSH2 0x1874
00000446: JUMP
00000447: JUMPDEST
00000448: PUSH2 0x0213
0000044b: PUSH2 0x0455
0000044e: CALLDATASIZE
0000044f: PUSH1 0x04
00000451: PUSH2 0x2123
00000454: JUMP
00000455: JUMPDEST
00000456: PUSH2 0x198b
00000459: JUMP
0000045a: JUMPDEST
0000045b: PUSH1 0x01
0000045d: SLOAD
0000045e: PUSH2 0x030f
00000461: SWAP1
00000462: PUSH1 0x01
00000464: PUSH1 0x01
00000466: PUSH1 0xa0
00000468: SHL
00000469: SUB
0000046a: AND
0000046b: DUP2
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH2 0x0213
00000471: PUSH2 0x047b
00000474: CALLDATASIZE
00000475: PUSH1 0x04
00000477: PUSH2 0x21ca
0000047a: JUMP
0000047b: JUMPDEST
0000047c: PUSH2 0x1ab9
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH1 0x00
00000483: SLOAD
00000484: PUSH2 0x030f
00000487: SWAP1
00000488: PUSH1 0x01
0000048a: PUSH1 0x01
0000048c: PUSH1 0xa0
0000048e: SHL
0000048f: SUB
00000490: AND
00000491: DUP2
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH2 0x0213
00000497: PUSH1 0x08
00000499: SLOAD
0000049a: DUP2
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH1 0x00
0000049f: PUSH1 0x01
000004a1: PUSH1 0x01
000004a3: PUSH1 0xa0
000004a5: SHL
000004a6: SUB
000004a7: DUP3
000004a8: AND
000004a9: PUSH2 0x04cd
000004ac: JUMPI
000004ad: PUSH1 0x40
000004af: MLOAD
000004b0: PUSH3 0x461bcd
000004b4: PUSH1 0xe5
000004b6: SHL
000004b7: DUP2
000004b8: MSTORE
000004b9: PUSH1 0x04
000004bb: ADD
000004bc: PUSH2 0x04c4
000004bf: SWAP1
000004c0: PUSH2 0x22b8
000004c3: JUMP
000004c4: JUMPDEST
000004c5: PUSH1 0x40
000004c7: MLOAD
000004c8: DUP1
000004c9: SWAP2
000004ca: SUB
000004cb: SWAP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: PUSH2 0x04d7
000004d1: DUP4
000004d2: DUP4
000004d3: PUSH2 0x1af5
000004d6: JUMP
000004d7: JUMPDEST
000004d8: SWAP4
000004d9: SWAP3
000004da: POP
000004db: POP
000004dc: POP
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x01
000004e1: PUSH1 0x01
000004e3: PUSH1 0xa0
000004e5: SHL
000004e6: SUB
000004e7: DUP2
000004e8: AND
000004e9: PUSH2 0x0504
000004ec: JUMPI
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: PUSH3 0x461bcd
000004f4: PUSH1 0xe5
000004f6: SHL
000004f7: DUP2
000004f8: MSTORE
000004f9: PUSH1 0x04
000004fb: ADD
000004fc: PUSH2 0x04c4
000004ff: SWAP1
00000500: PUSH2 0x22b8
00000503: JUMP
00000504: JUMPDEST
00000505: DUP2
00000506: ISZERO
00000507: DUP1
00000508: ISZERO
00000509: SWAP1
0000050a: PUSH2 0x0522
0000050d: JUMPI
0000050e: POP
0000050f: CALLER
00000510: PUSH1 0x00
00000512: SWAP1
00000513: DUP2
00000514: MSTORE
00000515: PUSH1 0x04
00000517: PUSH1 0x20
00000519: MSTORE
0000051a: PUSH1 0x40
0000051c: SWAP1
0000051d: KECCAK256
0000051e: SLOAD
0000051f: DUP3
00000520: GT
00000521: ISZERO
00000522: JUMPDEST
00000523: PUSH2 0x056e
00000526: JUMPI
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: PUSH3 0x461bcd
0000052e: PUSH1 0xe5
00000530: SHL
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x20
00000535: PUSH1 0x04
00000537: DUP3
00000538: ADD
00000539: MSTORE
0000053a: PUSH1 0x1c
0000053c: PUSH1 0x24
0000053e: DUP3
0000053f: ADD
00000540: MSTORE
00000541: PUSH32 0x5452414e534645522d4154545249425554494f4e5f424144434f4e5300000000
00000562: PUSH1 0x44
00000564: DUP3
00000565: ADD
00000566: MSTORE
00000567: PUSH1 0x64
00000569: ADD
0000056a: PUSH2 0x04c4
0000056d: JUMP
0000056e: JUMPDEST
0000056f: CALLER
00000570: PUSH1 0x00
00000572: SWAP1
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x04
00000577: PUSH1 0x20
00000579: MSTORE
0000057a: PUSH1 0x40
0000057c: DUP1
0000057d: DUP3
0000057e: KECCAK256
0000057f: DUP1
00000580: SLOAD
00000581: DUP6
00000582: SWAP1
00000583: SUB
00000584: SWAP1
00000585: SSTORE
00000586: PUSH1 0x01
00000588: PUSH1 0x01
0000058a: PUSH1 0xa0
0000058c: SHL
0000058d: SUB
0000058e: DUP4
0000058f: AND
00000590: DUP3
00000591: MSTORE
00000592: DUP2
00000593: KECCAK256
00000594: DUP1
00000595: SLOAD
00000596: DUP5
00000597: SWAP3
00000598: SWAP1
00000599: PUSH2 0x05a3
0000059c: SWAP1
0000059d: DUP5
0000059e: SWAP1
0000059f: PUSH2 0x22fa
000005a2: JUMP
000005a3: JUMPDEST
000005a4: SWAP1
000005a5: SWAP2
000005a6: SSTORE
000005a7: POP
000005a8: POP
000005a9: POP
000005aa: POP
000005ab: JUMP
000005ac: JUMPDEST
000005ad: PUSH1 0x01
000005af: PUSH1 0x01
000005b1: PUSH1 0xa0
000005b3: SHL
000005b4: SUB
000005b5: DUP3
000005b6: AND
000005b7: PUSH1 0x00
000005b9: SWAP1
000005ba: DUP2
000005bb: MSTORE
000005bc: PUSH1 0x04
000005be: PUSH1 0x20
000005c0: MSTORE
000005c1: PUSH1 0x40
000005c3: DUP2
000005c4: KECCAK256
000005c5: SLOAD
000005c6: DUP3
000005c7: ISZERO
000005c8: DUP1
000005c9: ISZERO
000005ca: SWAP1
000005cb: PUSH2 0x05d3
000005ce: JUMPI
000005cf: POP
000005d0: DUP1
000005d1: ISZERO
000005d2: ISZERO
000005d3: JUMPDEST
000005d4: ISZERO
000005d5: PUSH2 0x05f7
000005d8: JUMPI
000005d9: PUSH1 0x05
000005db: SLOAD
000005dc: PUSH2 0x05e5
000005df: DUP3
000005e0: DUP6
000005e1: PUSH2 0x2312
000005e4: JUMP
000005e5: JUMPDEST
000005e6: PUSH2 0x05ef
000005e9: SWAP2
000005ea: SWAP1
000005eb: PUSH2 0x2331
000005ee: JUMP
000005ef: JUMPDEST
000005f0: SWAP2
000005f1: POP
000005f2: POP
000005f3: PUSH2 0x05f9
000005f6: JUMP
000005f7: JUMPDEST
000005f8: POP
000005f9: JUMPDEST
000005fa: SWAP3
000005fb: SWAP2
000005fc: POP
000005fd: POP
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x00
00000602: PUSH1 0x01
00000604: PUSH1 0x01
00000606: PUSH1 0xa0
00000608: SHL
00000609: SUB
0000060a: DUP3
0000060b: AND
0000060c: PUSH2 0x0627
0000060f: JUMPI
00000610: PUSH1 0x40
00000612: MLOAD
00000613: PUSH3 0x461bcd
00000617: PUSH1 0xe5
00000619: SHL
0000061a: DUP2
0000061b: MSTORE
0000061c: PUSH1 0x04
0000061e: ADD
0000061f: PUSH2 0x04c4
00000622: SWAP1
00000623: PUSH2 0x22b8
00000626: JUMP
00000627: JUMPDEST
00000628: CALLER
00000629: PUSH1 0x00
0000062b: SWAP1
0000062c: DUP2
0000062d: MSTORE
0000062e: PUSH1 0x04
00000630: PUSH1 0x20
00000632: MSTORE
00000633: PUSH1 0x40
00000635: SWAP1
00000636: KECCAK256
00000637: SLOAD
00000638: PUSH2 0x05f9
0000063b: SWAP1
0000063c: DUP4
0000063d: PUSH2 0x1af5
00000640: JUMP
00000641: JUMPDEST
00000642: PUSH1 0x02
00000644: SLOAD
00000645: PUSH1 0x40
00000647: MLOAD
00000648: PUSH4 0x7bca0317
0000064d: PUSH1 0xe1
0000064f: SHL
00000650: DUP2
00000651: MSTORE
00000652: CALLER
00000653: PUSH1 0x04
00000655: DUP3
00000656: ADD
00000657: MSTORE
00000658: PUSH1 0x01
0000065a: PUSH1 0x01
0000065c: PUSH1 0xa0
0000065e: SHL
0000065f: SUB
00000660: SWAP1
00000661: SWAP2
00000662: AND
00000663: SWAP1
00000664: PUSH4 0xf794062e
00000669: SWAP1
0000066a: PUSH1 0x24
0000066c: ADD
0000066d: PUSH1 0x20
0000066f: PUSH1 0x40
00000671: MLOAD
00000672: DUP1
00000673: DUP4
00000674: SUB
00000675: DUP2
00000676: DUP7
00000677: GAS
00000678: STATICCALL
00000679: ISZERO
0000067a: DUP1
0000067b: ISZERO
0000067c: PUSH2 0x0689
0000067f: JUMPI
00000680: RETURNDATASIZE
00000681: PUSH1 0x00
00000683: DUP1
00000684: RETURNDATACOPY
00000685: RETURNDATASIZE
00000686: PUSH1 0x00
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: POP
0000068c: POP
0000068d: POP
0000068e: PUSH1 0x40
00000690: MLOAD
00000691: RETURNDATASIZE
00000692: PUSH1 0x1f
00000694: NOT
00000695: PUSH1 0x1f
00000697: DUP3
00000698: ADD
00000699: AND
0000069a: DUP3
0000069b: ADD
0000069c: DUP1
0000069d: PUSH1 0x40
0000069f: MSTORE
000006a0: POP
000006a1: DUP2
000006a2: ADD
000006a3: SWAP1
000006a4: PUSH2 0x06ad
000006a7: SWAP2
000006a8: SWAP1
000006a9: PUSH2 0x2353
000006ac: JUMP
000006ad: JUMPDEST
000006ae: PUSH2 0x06c9
000006b1: JUMPI
000006b2: PUSH1 0x40
000006b4: MLOAD
000006b5: PUSH3 0x461bcd
000006b9: PUSH1 0xe5
000006bb: SHL
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x04
000006c0: ADD
000006c1: PUSH2 0x04c4
000006c4: SWAP1
000006c5: PUSH2 0x2375
000006c8: JUMP
000006c9: JUMPDEST
000006ca: DUP2
000006cb: ISZERO
000006cc: PUSH2 0x0723
000006cf: JUMPI
000006d0: CALLER
000006d1: PUSH1 0x00
000006d3: SWAP1
000006d4: DUP2
000006d5: MSTORE
000006d6: PUSH1 0x03
000006d8: PUSH1 0x20
000006da: MSTORE
000006db: PUSH1 0x40
000006dd: DUP2
000006de: KECCAK256
000006df: DUP1
000006e0: SLOAD
000006e1: DUP5
000006e2: SWAP3
000006e3: SWAP1
000006e4: PUSH2 0x06ee
000006e7: SWAP1
000006e8: DUP5
000006e9: SWAP1
000006ea: PUSH2 0x22fa
000006ed: JUMP
000006ee: JUMPDEST
000006ef: SWAP3
000006f0: POP
000006f1: POP
000006f2: DUP2
000006f3: SWAP1
000006f4: SSTORE
000006f5: POP
000006f6: DUP2
000006f7: PUSH1 0x08
000006f9: PUSH1 0x00
000006fb: DUP3
000006fc: DUP3
000006fd: SLOAD
000006fe: PUSH2 0x0707
00000701: SWAP2
00000702: SWAP1
00000703: PUSH2 0x22fa
00000706: JUMP
00000707: JUMPDEST
00000708: SWAP1
00000709: SWAP2
0000070a: SSTORE
0000070b: POP
0000070c: POP
0000070d: PUSH1 0x00
0000070f: SLOAD
00000710: PUSH2 0x0723
00000713: SWAP1
00000714: PUSH1 0x01
00000716: PUSH1 0x01
00000718: PUSH1 0xa0
0000071a: SHL
0000071b: SUB
0000071c: AND
0000071d: DUP3
0000071e: DUP5
0000071f: PUSH2 0x1bf1
00000722: JUMP
00000723: JUMPDEST
00000724: POP
00000725: POP
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: PUSH2 0x0732
0000072e: PUSH2 0x079e
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x01
00000735: PUSH1 0x01
00000737: PUSH1 0xa0
00000739: SHL
0000073a: SUB
0000073b: DUP5
0000073c: AND
0000073d: PUSH1 0x00
0000073f: SWAP1
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x04
00000744: PUSH1 0x20
00000746: MSTORE
00000747: PUSH1 0x40
00000749: SWAP1
0000074a: KECCAK256
0000074b: SLOAD
0000074c: SWAP1
0000074d: SWAP2
0000074e: POP
0000074f: DUP2
00000750: ISZERO
00000751: DUP1
00000752: ISZERO
00000753: SWAP1
00000754: PUSH2 0x075c
00000757: JUMPI
00000758: POP
00000759: DUP1
0000075a: ISZERO
0000075b: ISZERO
0000075c: JUMPDEST
0000075d: ISZERO
0000075e: PUSH2 0x0780
00000761: JUMPI
00000762: PUSH1 0x05
00000764: SLOAD
00000765: PUSH2 0x076e
00000768: DUP3
00000769: DUP5
0000076a: PUSH2 0x2312
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH2 0x0778
00000772: SWAP2
00000773: SWAP1
00000774: PUSH2 0x2331
00000777: JUMP
00000778: JUMPDEST
00000779: SWAP5
0000077a: SWAP4
0000077b: POP
0000077c: POP
0000077d: POP
0000077e: POP
0000077f: JUMP
00000780: JUMPDEST
00000781: POP
00000782: POP
00000783: SWAP2
00000784: SWAP1
00000785: POP
00000786: JUMP
00000787: JUMPDEST
00000788: PUSH1 0x00
0000078a: PUSH1 0x08
0000078c: SLOAD
0000078d: PUSH1 0x07
0000078f: SLOAD
00000790: PUSH2 0x0799
00000793: SWAP2
00000794: SWAP1
00000795: PUSH2 0x23a0
00000798: JUMP
00000799: JUMPDEST
0000079a: SWAP1
0000079b: POP
0000079c: SWAP1
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x01
000007a1: SLOAD
000007a2: PUSH1 0x00
000007a4: SWAP1
000007a5: PUSH1 0x01
000007a7: PUSH1 0x01
000007a9: PUSH1 0xa0
000007ab: SHL
000007ac: SUB
000007ad: AND
000007ae: ISZERO
000007af: PUSH2 0x0836
000007b2: JUMPI
000007b3: PUSH1 0x01
000007b5: PUSH1 0x00
000007b7: SWAP1
000007b8: SLOAD
000007b9: SWAP1
000007ba: PUSH2 0x0100
000007bd: EXP
000007be: SWAP1
000007bf: DIV
000007c0: PUSH1 0x01
000007c2: PUSH1 0x01
000007c4: PUSH1 0xa0
000007c6: SHL
000007c7: SUB
000007c8: AND
000007c9: PUSH1 0x01
000007cb: PUSH1 0x01
000007cd: PUSH1 0xa0
000007cf: SHL
000007d0: SUB
000007d1: AND
000007d2: PUSH4 0x55306252
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: DUP2
000007db: PUSH4 0xffffffff
000007e0: AND
000007e1: PUSH1 0xe0
000007e3: SHL
000007e4: DUP2
000007e5: MSTORE
000007e6: PUSH1 0x04
000007e8: ADD
000007e9: PUSH1 0x20
000007eb: PUSH1 0x40
000007ed: MLOAD
000007ee: DUP1
000007ef: DUP4
000007f0: SUB
000007f1: DUP2
000007f2: DUP7
000007f3: GAS
000007f4: STATICCALL
000007f5: ISZERO
000007f6: DUP1
000007f7: ISZERO
000007f8: PUSH2 0x0805
000007fb: JUMPI
000007fc: RETURNDATASIZE
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: RETURNDATACOPY
00000801: RETURNDATASIZE
00000802: PUSH1 0x00
00000804: REVERT
00000805: JUMPDEST
00000806: POP
00000807: POP
00000808: POP
00000809: POP
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: RETURNDATASIZE
0000080e: PUSH1 0x1f
00000810: NOT
00000811: PUSH1 0x1f
00000813: DUP3
00000814: ADD
00000815: AND
00000816: DUP3
00000817: ADD
00000818: DUP1
00000819: PUSH1 0x40
0000081b: MSTORE
0000081c: POP
0000081d: DUP2
0000081e: ADD
0000081f: SWAP1
00000820: PUSH2 0x0829
00000823: SWAP2
00000824: SWAP1
00000825: PUSH2 0x23b7
00000828: JUMP
00000829: JUMPDEST
0000082a: PUSH1 0x07
0000082c: SLOAD
0000082d: PUSH2 0x0799
00000830: SWAP2
00000831: SWAP1
00000832: PUSH2 0x22fa
00000835: JUMP
00000836: JUMPDEST
00000837: POP
00000838: PUSH1 0x07
0000083a: SLOAD
0000083b: SWAP1
0000083c: JUMP
0000083d: JUMPDEST
0000083e: CALLER
0000083f: PUSH1 0x01
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: SHL
00000846: SUB
00000847: AND
00000848: PUSH32 0x000000000000000000000000f4db9926ae02469d730a25ad7422764bbd45d36f
00000869: PUSH1 0x01
0000086b: PUSH1 0x01
0000086d: PUSH1 0xa0
0000086f: SHL
00000870: SUB
00000871: AND
00000872: PUSH4 0x8da5cb5b
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: DUP2
0000087b: PUSH4 0xffffffff
00000880: AND
00000881: PUSH1 0xe0
00000883: SHL
00000884: DUP2
00000885: MSTORE
00000886: PUSH1 0x04
00000888: ADD
00000889: PUSH1 0x20
0000088b: PUSH1 0x40
0000088d: MLOAD
0000088e: DUP1
0000088f: DUP4
00000890: SUB
00000891: DUP2
00000892: DUP7
00000893: GAS
00000894: STATICCALL
00000895: ISZERO
00000896: DUP1
00000897: ISZERO
00000898: PUSH2 0x08a5
0000089b: JUMPI
0000089c: RETURNDATASIZE
0000089d: PUSH1 0x00
0000089f: DUP1
000008a0: RETURNDATACOPY
000008a1: RETURNDATASIZE
000008a2: PUSH1 0x00
000008a4: REVERT
000008a5: JUMPDEST
000008a6: POP
000008a7: POP
000008a8: POP
000008a9: POP
000008aa: PUSH1 0x40
000008ac: MLOAD
000008ad: RETURNDATASIZE
000008ae: PUSH1 0x1f
000008b0: NOT
000008b1: PUSH1 0x1f
000008b3: DUP3
000008b4: ADD
000008b5: AND
000008b6: DUP3
000008b7: ADD
000008b8: DUP1
000008b9: PUSH1 0x40
000008bb: MSTORE
000008bc: POP
000008bd: DUP2
000008be: ADD
000008bf: SWAP1
000008c0: PUSH2 0x08c9
000008c3: SWAP2
000008c4: SWAP1
000008c5: PUSH2 0x23d0
000008c8: JUMP
000008c9: JUMPDEST
000008ca: PUSH1 0x01
000008cc: PUSH1 0x01
000008ce: PUSH1 0xa0
000008d0: SHL
000008d1: SUB
000008d2: AND
000008d3: EQ
000008d4: PUSH2 0x08ef
000008d7: JUMPI
000008d8: PUSH1 0x40
000008da: MLOAD
000008db: PUSH3 0x461bcd
000008df: PUSH1 0xe5
000008e1: SHL
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x04
000008e6: ADD
000008e7: PUSH2 0x04c4
000008ea: SWAP1
000008eb: PUSH2 0x23ed
000008ee: JUMP
000008ef: JUMPDEST
000008f0: PUSH1 0x07
000008f2: SLOAD
000008f3: PUSH1 0x40
000008f5: MLOAD
000008f6: PUSH4 0x70a08231
000008fb: PUSH1 0xe0
000008fd: SHL
000008fe: DUP2
000008ff: MSTORE
00000900: ADDRESS
00000901: PUSH1 0x04
00000903: DUP3
00000904: ADD
00000905: MSTORE
00000906: PUSH1 0x00
00000908: SWAP1
00000909: PUSH1 0x01
0000090b: PUSH1 0x01
0000090d: PUSH1 0xa0
0000090f: SHL
00000910: SUB
00000911: DUP6
00000912: AND
00000913: SWAP1
00000914: PUSH4 0x70a08231
00000919: SWAP1
0000091a: PUSH1 0x24
0000091c: ADD
0000091d: PUSH1 0x20
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: DUP1
00000923: DUP4
00000924: SUB
00000925: DUP2
00000926: DUP7
00000927: GAS
00000928: STATICCALL
00000929: ISZERO
0000092a: DUP1
0000092b: ISZERO
0000092c: PUSH2 0x0939
0000092f: JUMPI
00000930: RETURNDATASIZE
00000931: PUSH1 0x00
00000933: DUP1
00000934: RETURNDATACOPY
00000935: RETURNDATASIZE
00000936: PUSH1 0x00
00000938: REVERT
00000939: JUMPDEST
0000093a: POP
0000093b: POP
0000093c: POP
0000093d: POP
0000093e: PUSH1 0x40
00000940: MLOAD
00000941: RETURNDATASIZE
00000942: PUSH1 0x1f
00000944: NOT
00000945: PUSH1 0x1f
00000947: DUP3
00000948: ADD
00000949: AND
0000094a: DUP3
0000094b: ADD
0000094c: DUP1
0000094d: PUSH1 0x40
0000094f: MSTORE
00000950: POP
00000951: DUP2
00000952: ADD
00000953: SWAP1
00000954: PUSH2 0x095d
00000957: SWAP2
00000958: SWAP1
00000959: PUSH2 0x23b7
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH1 0x00
00000960: SLOAD
00000961: SWAP1
00000962: SWAP2
00000963: POP
00000964: PUSH1 0x01
00000966: PUSH1 0x01
00000968: PUSH1 0xa0
0000096a: SHL
0000096b: SUB
0000096c: DUP6
0000096d: DUP2
0000096e: AND
0000096f: SWAP2
00000970: AND
00000971: EQ
00000972: DUP1
00000973: ISZERO
00000974: PUSH2 0x097c
00000977: JUMPI
00000978: POP
00000979: DUP1
0000097a: DUP3
0000097b: LT
0000097c: JUMPDEST
0000097d: ISZERO
0000097e: PUSH2 0x0aac
00000981: JUMPI
00000982: PUSH1 0x01
00000984: SLOAD
00000985: PUSH1 0x40
00000987: DUP1
00000988: MLOAD
00000989: PUSH4 0x2a983129
0000098e: PUSH1 0xe1
00000990: SHL
00000991: DUP2
00000992: MSTORE
00000993: SWAP1
00000994: MLOAD
00000995: PUSH1 0x00
00000997: SWAP3
00000998: PUSH1 0x01
0000099a: PUSH1 0x01
0000099c: PUSH1 0xa0
0000099e: SHL
0000099f: SUB
000009a0: AND
000009a1: SWAP2
000009a2: PUSH4 0x55306252
000009a7: SWAP2
000009a8: PUSH1 0x04
000009aa: DUP1
000009ab: DUP4
000009ac: ADD
000009ad: SWAP3
000009ae: PUSH1 0x20
000009b0: SWAP3
000009b1: SWAP2
000009b2: SWAP1
000009b3: DUP3
000009b4: SWAP1
000009b5: SUB
000009b6: ADD
000009b7: DUP2
000009b8: DUP7
000009b9: GAS
000009ba: STATICCALL
000009bb: ISZERO
000009bc: DUP1
000009bd: ISZERO
000009be: PUSH2 0x09cb
000009c1: JUMPI
000009c2: RETURNDATASIZE
000009c3: PUSH1 0x00
000009c5: DUP1
000009c6: RETURNDATACOPY
000009c7: RETURNDATASIZE
000009c8: PUSH1 0x00
000009ca: REVERT
000009cb: JUMPDEST
000009cc: POP
000009cd: POP
000009ce: POP
000009cf: POP
000009d0: PUSH1 0x40
000009d2: MLOAD
000009d3: RETURNDATASIZE
000009d4: PUSH1 0x1f
000009d6: NOT
000009d7: PUSH1 0x1f
000009d9: DUP3
000009da: ADD
000009db: AND
000009dc: DUP3
000009dd: ADD
000009de: DUP1
000009df: PUSH1 0x40
000009e1: MSTORE
000009e2: POP
000009e3: DUP2
000009e4: ADD
000009e5: SWAP1
000009e6: PUSH2 0x09ef
000009e9: SWAP2
000009ea: SWAP1
000009eb: PUSH2 0x23b7
000009ee: JUMP
000009ef: JUMPDEST
000009f0: PUSH1 0x00
000009f2: DUP1
000009f3: SLOAD
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: PUSH4 0x70a08231
000009fc: PUSH1 0xe0
000009fe: SHL
000009ff: DUP2
00000a00: MSTORE
00000a01: ADDRESS
00000a02: PUSH1 0x04
00000a04: DUP3
00000a05: ADD
00000a06: MSTORE
00000a07: SWAP3
00000a08: SWAP4
00000a09: POP
00000a0a: SWAP1
00000a0b: SWAP2
00000a0c: DUP4
00000a0d: SWAP2
00000a0e: PUSH1 0x01
00000a10: PUSH1 0x01
00000a12: PUSH1 0xa0
00000a14: SHL
00000a15: SUB
00000a16: AND
00000a17: SWAP1
00000a18: PUSH4 0x70a08231
00000a1d: SWAP1
00000a1e: PUSH1 0x24
00000a20: ADD
00000a21: PUSH1 0x20
00000a23: PUSH1 0x40
00000a25: MLOAD
00000a26: DUP1
00000a27: DUP4
00000a28: SUB
00000a29: DUP2
00000a2a: DUP7
00000a2b: GAS
00000a2c: STATICCALL
00000a2d: ISZERO
00000a2e: DUP1
00000a2f: ISZERO
00000a30: PUSH2 0x0a3d
00000a33: JUMPI
00000a34: RETURNDATASIZE
00000a35: PUSH1 0x00
00000a37: DUP1
00000a38: RETURNDATACOPY
00000a39: RETURNDATASIZE
00000a3a: PUSH1 0x00
00000a3c: REVERT
00000a3d: JUMPDEST
00000a3e: POP
00000a3f: POP
00000a40: POP
00000a41: POP
00000a42: PUSH1 0x40
00000a44: MLOAD
00000a45: RETURNDATASIZE
00000a46: PUSH1 0x1f
00000a48: NOT
00000a49: PUSH1 0x1f
00000a4b: DUP3
00000a4c: ADD
00000a4d: AND
00000a4e: DUP3
00000a4f: ADD
00000a50: DUP1
00000a51: PUSH1 0x40
00000a53: MSTORE
00000a54: POP
00000a55: DUP2
00000a56: ADD
00000a57: SWAP1
00000a58: PUSH2 0x0a61
00000a5b: SWAP2
00000a5c: SWAP1
00000a5d: PUSH2 0x23b7
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH2 0x0a6b
00000a65: SWAP2
00000a66: SWAP1
00000a67: PUSH2 0x22fa
00000a6a: JUMP
00000a6b: JUMPDEST
00000a6c: SWAP1
00000a6d: POP
00000a6e: PUSH1 0x00
00000a70: DUP3
00000a71: PUSH1 0x07
00000a73: SLOAD
00000a74: PUSH2 0x0a7d
00000a77: SWAP2
00000a78: SWAP1
00000a79: PUSH2 0x22fa
00000a7c: JUMP
00000a7d: JUMPDEST
00000a7e: SWAP1
00000a7f: POP
00000a80: DUP1
00000a81: DUP3
00000a82: GT
00000a83: ISZERO
00000a84: PUSH2 0x0aa4
00000a87: JUMPI
00000a88: PUSH1 0x00
00000a8a: SLOAD
00000a8b: DUP6
00000a8c: DUP6
00000a8d: SUB
00000a8e: SWAP1
00000a8f: PUSH2 0x0aa2
00000a92: SWAP1
00000a93: PUSH1 0x01
00000a95: PUSH1 0x01
00000a97: PUSH1 0xa0
00000a99: SHL
00000a9a: SUB
00000a9b: AND
00000a9c: DUP9
00000a9d: DUP4
00000a9e: PUSH2 0x1bf1
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: POP
00000aa4: JUMPDEST
00000aa5: POP
00000aa6: POP
00000aa7: POP
00000aa8: PUSH2 0x0ae2
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH1 0x00
00000aaf: SLOAD
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0xa0
00000ab6: SHL
00000ab7: SUB
00000ab8: DUP6
00000ab9: DUP2
00000aba: AND
00000abb: SWAP2
00000abc: AND
00000abd: EQ
00000abe: DUP1
00000abf: ISZERO
00000ac0: SWAP1
00000ac1: PUSH2 0x0ac9
00000ac4: JUMPI
00000ac5: POP
00000ac6: DUP1
00000ac7: ISZERO
00000ac8: ISZERO
00000ac9: JUMPDEST
00000aca: ISZERO
00000acb: PUSH2 0x0ae2
00000ace: JUMPI
00000acf: PUSH2 0x0ae2
00000ad2: PUSH1 0x01
00000ad4: PUSH1 0x01
00000ad6: PUSH1 0xa0
00000ad8: SHL
00000ad9: SUB
00000ada: DUP6
00000adb: AND
00000adc: DUP5
00000add: DUP4
00000ade: PUSH2 0x1bf1
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: POP
00000ae4: POP
00000ae5: POP
00000ae6: POP
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: CALLER
00000aea: PUSH1 0x01
00000aec: PUSH1 0x01
00000aee: PUSH1 0xa0
00000af0: SHL
00000af1: SUB
00000af2: AND
00000af3: PUSH32 0x000000000000000000000000f4db9926ae02469d730a25ad7422764bbd45d36f
00000b14: PUSH1 0x01
00000b16: PUSH1 0x01
00000b18: PUSH1 0xa0
00000b1a: SHL
00000b1b: SUB
00000b1c: AND
00000b1d: PUSH4 0x8da5cb5b
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: DUP2
00000b26: PUSH4 0xffffffff
00000b2b: AND
00000b2c: PUSH1 0xe0
00000b2e: SHL
00000b2f: DUP2
00000b30: MSTORE
00000b31: PUSH1 0x04
00000b33: ADD
00000b34: PUSH1 0x20
00000b36: PUSH1 0x40
00000b38: MLOAD
00000b39: DUP1
00000b3a: DUP4
00000b3b: SUB
00000b3c: DUP2
00000b3d: DUP7
00000b3e: GAS
00000b3f: STATICCALL
00000b40: ISZERO
00000b41: DUP1
00000b42: ISZERO
00000b43: PUSH2 0x0b50
00000b46: JUMPI
00000b47: RETURNDATASIZE
00000b48: PUSH1 0x00
00000b4a: DUP1
00000b4b: RETURNDATACOPY
00000b4c: RETURNDATASIZE
00000b4d: PUSH1 0x00
00000b4f: REVERT
00000b50: JUMPDEST
00000b51: POP
00000b52: POP
00000b53: POP
00000b54: POP
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: RETURNDATASIZE
00000b59: PUSH1 0x1f
00000b5b: NOT
00000b5c: PUSH1 0x1f
00000b5e: DUP3
00000b5f: ADD
00000b60: AND
00000b61: DUP3
00000b62: ADD
00000b63: DUP1
00000b64: PUSH1 0x40
00000b66: MSTORE
00000b67: POP
00000b68: DUP2
00000b69: ADD
00000b6a: SWAP1
00000b6b: PUSH2 0x0b74
00000b6e: SWAP2
00000b6f: SWAP1
00000b70: PUSH2 0x23d0
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH1 0x01
00000b77: PUSH1 0x01
00000b79: PUSH1 0xa0
00000b7b: SHL
00000b7c: SUB
00000b7d: AND
00000b7e: EQ
00000b7f: PUSH2 0x0b9a
00000b82: JUMPI
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: PUSH3 0x461bcd
00000b8a: PUSH1 0xe5
00000b8c: SHL
00000b8d: DUP2
00000b8e: MSTORE
00000b8f: PUSH1 0x04
00000b91: ADD
00000b92: PUSH2 0x04c4
00000b95: SWAP1
00000b96: PUSH2 0x23ed
00000b99: JUMP
00000b9a: JUMPDEST
00000b9b: PUSH1 0x06
00000b9d: SLOAD
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0x01
00000ba2: PUSH1 0xa0
00000ba4: SHL
00000ba5: SUB
00000ba6: DUP3
00000ba7: DUP2
00000ba8: AND
00000ba9: SWAP2
00000baa: AND
00000bab: EQ
00000bac: PUSH2 0x0bcb
00000baf: JUMPI
00000bb0: PUSH1 0x06
00000bb2: DUP1
00000bb3: SLOAD
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0xa0
00000bba: SHL
00000bbb: SUB
00000bbc: NOT
00000bbd: AND
00000bbe: PUSH1 0x01
00000bc0: PUSH1 0x01
00000bc2: PUSH1 0xa0
00000bc4: SHL
00000bc5: SUB
00000bc6: DUP4
00000bc7: AND
00000bc8: OR
00000bc9: SWAP1
00000bca: SSTORE
00000bcb: JUMPDEST
00000bcc: PUSH1 0x40
00000bce: MLOAD
00000bcf: PUSH1 0x01
00000bd1: PUSH1 0x01
00000bd3: PUSH1 0xa0
00000bd5: SHL
00000bd6: SUB
00000bd7: DUP3
00000bd8: AND
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH32 0xccbb340100ae0231275bbc78f96bf86cd6924bfdc95af2988f131406f33e18a0
00000bfc: SWAP1
00000bfd: PUSH1 0x20
00000bff: ADD
00000c00: JUMPDEST
00000c01: PUSH1 0x40
00000c03: MLOAD
00000c04: DUP1
00000c05: SWAP2
00000c06: SUB
00000c07: SWAP1
00000c08: LOG1
00000c09: POP
00000c0a: JUMP
00000c0b: JUMPDEST
00000c0c: PUSH1 0x00
00000c0e: PUSH1 0x05
00000c10: SLOAD
00000c11: PUSH3 0x0f4240
00000c15: PUSH2 0x0c1c
00000c18: PUSH2 0x079e
00000c1b: JUMP
00000c1c: JUMPDEST
00000c1d: PUSH2 0x0c26
00000c20: SWAP2
00000c21: SWAP1
00000c22: PUSH2 0x2312
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH2 0x0799
00000c2a: SWAP2
00000c2b: SWAP1
00000c2c: PUSH2 0x2331
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: PUSH1 0x02
00000c33: SLOAD
00000c34: PUSH1 0x40
00000c36: MLOAD
00000c37: PUSH4 0x7bca0317
00000c3c: PUSH1 0xe1
00000c3e: SHL
00000c3f: DUP2
00000c40: MSTORE
00000c41: CALLER
00000c42: PUSH1 0x04
00000c44: DUP3
00000c45: ADD
00000c46: MSTORE
00000c47: PUSH1 0x01
00000c49: PUSH1 0x01
00000c4b: PUSH1 0xa0
00000c4d: SHL
00000c4e: SUB
00000c4f: SWAP1
00000c50: SWAP2
00000c51: AND
00000c52: SWAP1
00000c53: PUSH4 0xf794062e
00000c58: SWAP1
00000c59: PUSH1 0x24
00000c5b: ADD
00000c5c: PUSH1 0x20
00000c5e: PUSH1 0x40
00000c60: MLOAD
00000c61: DUP1
00000c62: DUP4
00000c63: SUB
00000c64: DUP2
00000c65: DUP7
00000c66: GAS
00000c67: STATICCALL
00000c68: ISZERO
00000c69: DUP1
00000c6a: ISZERO
00000c6b: PUSH2 0x0c78
00000c6e: JUMPI
00000c6f: RETURNDATASIZE
00000c70: PUSH1 0x00
00000c72: DUP1
00000c73: RETURNDATACOPY
00000c74: RETURNDATASIZE
00000c75: PUSH1 0x00
00000c77: REVERT
00000c78: JUMPDEST
00000c79: POP
00000c7a: POP
00000c7b: POP
00000c7c: POP
00000c7d: PUSH1 0x40
00000c7f: MLOAD
00000c80: RETURNDATASIZE
00000c81: PUSH1 0x1f
00000c83: NOT
00000c84: PUSH1 0x1f
00000c86: DUP3
00000c87: ADD
00000c88: AND
00000c89: DUP3
00000c8a: ADD
00000c8b: DUP1
00000c8c: PUSH1 0x40
00000c8e: MSTORE
00000c8f: POP
00000c90: DUP2
00000c91: ADD
00000c92: SWAP1
00000c93: PUSH2 0x0c9c
00000c96: SWAP2
00000c97: SWAP1
00000c98: PUSH2 0x2353
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: PUSH2 0x0cb8
00000ca0: JUMPI
00000ca1: PUSH1 0x40
00000ca3: MLOAD
00000ca4: PUSH3 0x461bcd
00000ca8: PUSH1 0xe5
00000caa: SHL
00000cab: DUP2
00000cac: MSTORE
00000cad: PUSH1 0x04
00000caf: ADD
00000cb0: PUSH2 0x04c4
00000cb3: SWAP1
00000cb4: PUSH2 0x2375
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: DUP1
00000cba: ISZERO
00000cbb: PUSH2 0x0d23
00000cbe: JUMPI
00000cbf: CALLER
00000cc0: PUSH1 0x00
00000cc2: SWAP1
00000cc3: DUP2
00000cc4: MSTORE
00000cc5: PUSH1 0x03
00000cc7: PUSH1 0x20
00000cc9: MSTORE
00000cca: PUSH1 0x40
00000ccc: DUP2
00000ccd: KECCAK256
00000cce: DUP1
00000ccf: SLOAD
00000cd0: DUP4
00000cd1: SWAP3
00000cd2: SWAP1
00000cd3: PUSH2 0x0cdd
00000cd6: SWAP1
00000cd7: DUP5
00000cd8: SWAP1
00000cd9: PUSH2 0x23a0
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: SWAP1
00000cdf: SWAP2
00000ce0: SSTORE
00000ce1: POP
00000ce2: POP
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: DUP1
00000ce7: MSTORE
00000ce8: PUSH1 0x03
00000cea: PUSH1 0x20
00000cec: MSTORE
00000ced: PUSH32 0x3617319a054d772f909f7c479a2cebe5066e836a939412e32403c99029b92eff
00000d0e: DUP1
00000d0f: SLOAD
00000d10: DUP4
00000d11: SWAP3
00000d12: SWAP1
00000d13: PUSH2 0x0d1d
00000d16: SWAP1
00000d17: DUP5
00000d18: SWAP1
00000d19: PUSH2 0x22fa
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: SWAP1
00000d1f: SWAP2
00000d20: SSTORE
00000d21: POP
00000d22: POP
00000d23: JUMPDEST
00000d24: POP
00000d25: JUMP
00000d26: JUMPDEST
00000d27: PUSH2 0x0d2e
00000d2a: PUSH2 0x20f0
00000d2d: JUMP
00000d2e: JUMPDEST
00000d2f: PUSH1 0x02
00000d31: SLOAD
00000d32: PUSH1 0x40
00000d34: MLOAD
00000d35: PUSH4 0x7bca0317
00000d3a: PUSH1 0xe1
00000d3c: SHL
00000d3d: DUP2
00000d3e: MSTORE
00000d3f: CALLER
00000d40: PUSH1 0x04
00000d42: DUP3
00000d43: ADD
00000d44: MSTORE
00000d45: PUSH1 0x01
00000d47: PUSH1 0x01
00000d49: PUSH1 0xa0
00000d4b: SHL
00000d4c: SUB
00000d4d: SWAP1
00000d4e: SWAP2
00000d4f: AND
00000d50: SWAP1
00000d51: PUSH4 0xf794062e
00000d56: SWAP1
00000d57: PUSH1 0x24
00000d59: ADD
00000d5a: PUSH1 0x20
00000d5c: PUSH1 0x40
00000d5e: MLOAD
00000d5f: DUP1
00000d60: DUP4
00000d61: SUB
00000d62: DUP2
00000d63: DUP7
00000d64: GAS
00000d65: STATICCALL
00000d66: ISZERO
00000d67: DUP1
00000d68: ISZERO
00000d69: PUSH2 0x0d76
00000d6c: JUMPI
00000d6d: RETURNDATASIZE
00000d6e: PUSH1 0x00
00000d70: DUP1
00000d71: RETURNDATACOPY
00000d72: RETURNDATASIZE
00000d73: PUSH1 0x00
00000d75: REVERT
00000d76: JUMPDEST
00000d77: POP
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: PUSH1 0x40
00000d7d: MLOAD
00000d7e: RETURNDATASIZE
00000d7f: PUSH1 0x1f
00000d81: NOT
00000d82: PUSH1 0x1f
00000d84: DUP3
00000d85: ADD
00000d86: AND
00000d87: DUP3
00000d88: ADD
00000d89: DUP1
00000d8a: PUSH1 0x40
00000d8c: MSTORE
00000d8d: POP
00000d8e: DUP2
00000d8f: ADD
00000d90: SWAP1
00000d91: PUSH2 0x0d9a
00000d94: SWAP2
00000d95: SWAP1
00000d96: PUSH2 0x2353
00000d99: JUMP
00000d9a: JUMPDEST
00000d9b: PUSH2 0x0db6
00000d9e: JUMPI
00000d9f: PUSH1 0x40
00000da1: MLOAD
00000da2: PUSH3 0x461bcd
00000da6: PUSH1 0xe5
00000da8: SHL
00000da9: DUP2
00000daa: MSTORE
00000dab: PUSH1 0x04
00000dad: ADD
00000dae: PUSH2 0x04c4
00000db1: SWAP1
00000db2: PUSH2 0x2375
00000db5: JUMP
00000db6: JUMPDEST
00000db7: PUSH2 0x0dc5
00000dba: PUSH1 0x20
00000dbc: DUP4
00000dbd: ADD
00000dbe: CALLDATALOAD
00000dbf: DUP4
00000dc0: CALLDATALOAD
00000dc1: PUSH2 0x22fa
00000dc4: JUMP
00000dc5: JUMPDEST
00000dc6: PUSH3 0x0f4240
00000dca: EQ
00000dcb: PUSH2 0x0e0e
00000dce: JUMPI
00000dcf: PUSH1 0x40
00000dd1: MLOAD
00000dd2: PUSH3 0x461bcd
00000dd6: PUSH1 0xe5
00000dd8: SHL
00000dd9: DUP2
00000dda: MSTORE
00000ddb: PUSH1 0x20
00000ddd: PUSH1 0x04
00000ddf: DUP3
00000de0: ADD
00000de1: MSTORE
00000de2: PUSH1 0x15
00000de4: PUSH1 0x24
00000de6: DUP3
00000de7: ADD
00000de8: MSTORE
00000de9: PUSH21 0x4552524f525f494e434f52524543545f5348415245
00000dff: PUSH1 0x58
00000e01: SHL
00000e02: PUSH1 0x44
00000e04: DUP3
00000e05: ADD
00000e06: MSTORE
00000e07: PUSH1 0x64
00000e09: ADD
00000e0a: PUSH2 0x04c4
00000e0d: JUMP
00000e0e: JUMPDEST
00000e0f: PUSH1 0x00
00000e11: DUP1
00000e12: PUSH2 0x0e19
00000e15: PUSH2 0x079e
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: SWAP1
00000e1b: POP
00000e1c: PUSH1 0x05
00000e1e: SLOAD
00000e1f: PUSH1 0x00
00000e21: EQ
00000e22: ISZERO
00000e23: PUSH2 0x0e2e
00000e26: JUMPI
00000e27: DUP7
00000e28: SWAP2
00000e29: POP
00000e2a: PUSH2 0x0e97
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: DUP1
00000e30: PUSH2 0x0e7b
00000e33: JUMPI
00000e34: PUSH1 0x40
00000e36: MLOAD
00000e37: PUSH3 0x461bcd
00000e3b: PUSH1 0xe5
00000e3d: SHL
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x20
00000e42: PUSH1 0x04
00000e44: DUP3
00000e45: ADD
00000e46: MSTORE
00000e47: PUSH1 0x17
00000e49: PUSH1 0x24
00000e4b: DUP3
00000e4c: ADD
00000e4d: MSTORE
00000e4e: PUSH32 0x4552524f525f56414c55455f414c4c5f49535f5a45524f000000000000000000
00000e6f: PUSH1 0x44
00000e71: DUP3
00000e72: ADD
00000e73: MSTORE
00000e74: PUSH1 0x64
00000e76: ADD
00000e77: PUSH2 0x04c4
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: DUP1
00000e7d: PUSH1 0x05
00000e7f: SLOAD
00000e80: DUP9
00000e81: PUSH2 0x0e8a
00000e84: SWAP2
00000e85: SWAP1
00000e86: PUSH2 0x2312
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH2 0x0e94
00000e8e: SWAP2
00000e8f: SWAP1
00000e90: PUSH2 0x2331
00000e93: JUMP
00000e94: JUMPDEST
00000e95: SWAP2
00000e96: POP
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: SLOAD
00000e9b: PUSH2 0x0eaf
00000e9e: SWAP1
00000e9f: PUSH1 0x01
00000ea1: PUSH1 0x01
00000ea3: PUSH1 0xa0
00000ea5: SHL
00000ea6: SUB
00000ea7: AND
00000ea8: DUP8
00000ea9: ADDRESS
00000eaa: DUP11
00000eab: PUSH2 0x1c54
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: DUP7
00000eb1: PUSH1 0x07
00000eb3: PUSH1 0x00
00000eb5: DUP3
00000eb6: DUP3
00000eb7: SLOAD
00000eb8: PUSH2 0x0ec1
00000ebb: SWAP2
00000ebc: SWAP1
00000ebd: PUSH2 0x22fa
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: SWAP3
00000ec3: POP
00000ec4: POP
00000ec5: DUP2
00000ec6: SWAP1
00000ec7: SSTORE
00000ec8: POP
00000ec9: DUP2
00000eca: PUSH1 0x05
00000ecc: PUSH1 0x00
00000ece: DUP3
00000ecf: DUP3
00000ed0: SLOAD
00000ed1: PUSH2 0x0eda
00000ed4: SWAP2
00000ed5: SWAP1
00000ed6: PUSH2 0x22fa
00000ed9: JUMP
00000eda: JUMPDEST
00000edb: SWAP1
00000edc: SWAP2
00000edd: SSTORE
00000ede: POP
00000edf: PUSH1 0x00
00000ee1: SWAP1
00000ee2: POP
00000ee3: PUSH3 0x0f4240
00000ee7: PUSH2 0x0ef1
00000eea: DUP5
00000eeb: DUP8
00000eec: CALLDATALOAD
00000eed: PUSH2 0x2312
00000ef0: JUMP
00000ef1: JUMPDEST
00000ef2: PUSH2 0x0efb
00000ef5: SWAP2
00000ef6: SWAP1
00000ef7: PUSH2 0x2331
00000efa: JUMP
00000efb: JUMPDEST
00000efc: SWAP1
00000efd: POP
00000efe: DUP1
00000eff: PUSH1 0x04
00000f01: PUSH1 0x00
00000f03: PUSH2 0x0f0f
00000f06: PUSH1 0x20
00000f08: DUP11
00000f09: ADD
00000f0a: DUP11
00000f0b: PUSH2 0x217f
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: PUSH1 0x01
00000f12: PUSH1 0x01
00000f14: PUSH1 0xa0
00000f16: SHL
00000f17: SUB
00000f18: AND
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x01
00000f1d: PUSH1 0xa0
00000f1f: SHL
00000f20: SUB
00000f21: AND
00000f22: DUP2
00000f23: MSTORE
00000f24: PUSH1 0x20
00000f26: ADD
00000f27: SWAP1
00000f28: DUP2
00000f29: MSTORE
00000f2a: PUSH1 0x20
00000f2c: ADD
00000f2d: PUSH1 0x00
00000f2f: KECCAK256
00000f30: PUSH1 0x00
00000f32: DUP3
00000f33: DUP3
00000f34: SLOAD
00000f35: PUSH2 0x0f3e
00000f38: SWAP2
00000f39: SWAP1
00000f3a: PUSH2 0x22fa
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: SWAP1
00000f40: SWAP2
00000f41: SSTORE
00000f42: POP
00000f43: POP
00000f44: DUP1
00000f45: DUP5
00000f46: MSTORE
00000f47: PUSH3 0x0f4240
00000f4b: PUSH2 0x0f58
00000f4e: DUP5
00000f4f: PUSH1 0x20
00000f51: DUP9
00000f52: ADD
00000f53: CALLDATALOAD
00000f54: PUSH2 0x2312
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH2 0x0f62
00000f5c: SWAP2
00000f5d: SWAP1
00000f5e: PUSH2 0x2331
00000f61: JUMP
00000f62: JUMPDEST
00000f63: SWAP1
00000f64: POP
00000f65: DUP1
00000f66: PUSH1 0x04
00000f68: PUSH1 0x00
00000f6a: PUSH2 0x0f79
00000f6d: PUSH1 0x40
00000f6f: DUP11
00000f70: ADD
00000f71: PUSH1 0x20
00000f73: DUP12
00000f74: ADD
00000f75: PUSH2 0x217f
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH1 0x01
00000f7c: PUSH1 0x01
00000f7e: PUSH1 0xa0
00000f80: SHL
00000f81: SUB
00000f82: AND
00000f83: PUSH1 0x01
00000f85: PUSH1 0x01
00000f87: PUSH1 0xa0
00000f89: SHL
00000f8a: SUB
00000f8b: AND
00000f8c: DUP2
00000f8d: MSTORE
00000f8e: PUSH1 0x20
00000f90: ADD
00000f91: SWAP1
00000f92: DUP2
00000f93: MSTORE
00000f94: PUSH1 0x20
00000f96: ADD
00000f97: PUSH1 0x00
00000f99: KECCAK256
00000f9a: PUSH1 0x00
00000f9c: DUP3
00000f9d: DUP3
00000f9e: SLOAD
00000f9f: PUSH2 0x0fa8
00000fa2: SWAP2
00000fa3: SWAP1
00000fa4: PUSH2 0x22fa
00000fa7: JUMP
00000fa8: JUMPDEST
00000fa9: SWAP1
00000faa: SWAP2
00000fab: SSTORE
00000fac: POP
00000fad: POP
00000fae: PUSH1 0x20
00000fb0: DUP5
00000fb1: ADD
00000fb2: MSTORE
00000fb3: POP
00000fb4: SWAP1
00000fb5: SWAP6
00000fb6: SWAP5
00000fb7: POP
00000fb8: POP
00000fb9: POP
00000fba: POP
00000fbb: POP
00000fbc: JUMP
00000fbd: JUMPDEST
00000fbe: PUSH1 0x00
00000fc0: PUSH1 0x01
00000fc2: PUSH1 0x01
00000fc4: PUSH1 0xa0
00000fc6: SHL
00000fc7: SUB
00000fc8: DUP3
00000fc9: AND
00000fca: PUSH2 0x0fe5
00000fcd: JUMPI
00000fce: PUSH1 0x40
00000fd0: MLOAD
00000fd1: PUSH3 0x461bcd
00000fd5: PUSH1 0xe5
00000fd7: SHL
00000fd8: DUP2
00000fd9: MSTORE
00000fda: PUSH1 0x04
00000fdc: ADD
00000fdd: PUSH2 0x04c4
00000fe0: SWAP1
00000fe1: PUSH2 0x22b8
00000fe4: JUMP
00000fe5: JUMPDEST
00000fe6: PUSH1 0x00
00000fe8: PUSH2 0x0fef
00000feb: PUSH2 0x079e
00000fee: JUMP
00000fef: JUMPDEST
00000ff0: CALLER
00000ff1: PUSH1 0x00
00000ff3: SWAP1
00000ff4: DUP2
00000ff5: MSTORE
00000ff6: PUSH1 0x04
00000ff8: PUSH1 0x20
00000ffa: MSTORE
00000ffb: PUSH1 0x40
00000ffd: SWAP1
00000ffe: KECCAK256
00000fff: SLOAD
00001000: SWAP1
00001001: SWAP2
00001002: POP
00001003: ISZERO
00001004: DUP1
00001005: ISZERO
00001006: SWAP1
00001007: PUSH2 0x1019
0000100a: JUMPI
0000100b: POP
0000100c: DUP4
0000100d: PUSH2 0x1016
00001010: CALLER
00001011: DUP4
00001012: PUSH2 0x05ac
00001015: JUMP
00001016: JUMPDEST
00001017: LT
00001018: ISZERO
00001019: JUMPDEST
0000101a: PUSH2 0x1065
0000101d: JUMPI
0000101e: PUSH1 0x40
00001020: MLOAD
00001021: PUSH3 0x461bcd
00001025: PUSH1 0xe5
00001027: SHL
00001028: DUP2
00001029: MSTORE
0000102a: PUSH1 0x20
0000102c: PUSH1 0x04
0000102e: DUP3
0000102f: ADD
00001030: MSTORE
00001031: PUSH1 0x1c
00001033: PUSH1 0x24
00001035: DUP3
00001036: ADD
00001037: MSTORE
00001038: PUSH32 0x57495448445241572d56414c55455f424144434f4e444954494f4e5300000000
00001059: PUSH1 0x44
0000105b: DUP3
0000105c: ADD
0000105d: MSTORE
0000105e: PUSH1 0x64
00001060: ADD
00001061: PUSH2 0x04c4
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH2 0x1083
00001069: DUP5
0000106a: PUSH1 0x05
0000106c: SLOAD
0000106d: PUSH2 0x1076
00001070: SWAP2
00001071: SWAP1
00001072: PUSH2 0x2312
00001075: JUMP
00001076: JUMPDEST
00001077: PUSH2 0x107e
0000107a: PUSH2 0x079e
0000107d: JUMP
0000107e: JUMPDEST
0000107f: PUSH2 0x1c8c
00001082: JUMP
00001083: JUMPDEST
00001084: SWAP2
00001085: POP
00001086: PUSH1 0x00
00001088: PUSH2 0x108f
0000108b: PUSH2 0x0787
0000108e: JUMP
0000108f: JUMPDEST
00001090: CALLER
00001091: PUSH1 0x00
00001093: SWAP1
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x04
00001098: PUSH1 0x20
0000109a: MSTORE
0000109b: PUSH1 0x40
0000109d: SWAP1
0000109e: KECCAK256
0000109f: SLOAD
000010a0: SWAP1
000010a1: SWAP2
000010a2: POP
000010a3: DUP4
000010a4: GT
000010a5: ISZERO
000010a6: PUSH2 0x10f1
000010a9: JUMPI
000010aa: PUSH1 0x40
000010ac: MLOAD
000010ad: PUSH3 0x461bcd
000010b1: PUSH1 0xe5
000010b3: SHL
000010b4: DUP2
000010b5: MSTORE
000010b6: PUSH1 0x20
000010b8: PUSH1 0x04
000010ba: DUP3
000010bb: ADD
000010bc: MSTORE
000010bd: PUSH1 0x1c
000010bf: PUSH1 0x24
000010c1: DUP3
000010c2: ADD
000010c3: MSTORE
000010c4: PUSH32 0x57495448445241572d56414c55455f424144434f4e444954494f4e5300000000
000010e5: PUSH1 0x44
000010e7: DUP3
000010e8: ADD
000010e9: MSTORE
000010ea: PUSH1 0x64
000010ec: ADD
000010ed: PUSH2 0x04c4
000010f0: JUMP
000010f1: JUMPDEST
000010f2: CALLER
000010f3: PUSH1 0x00
000010f5: SWAP1
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x04
000010fa: PUSH1 0x20
000010fc: MSTORE
000010fd: PUSH1 0x40
000010ff: DUP2
00001100: KECCAK256
00001101: DUP1
00001102: SLOAD
00001103: DUP6
00001104: SWAP3
00001105: SWAP1
00001106: PUSH2 0x1110
00001109: SWAP1
0000110a: DUP5
0000110b: SWAP1
0000110c: PUSH2 0x23a0
0000110f: JUMP
00001110: JUMPDEST
00001111: SWAP3
00001112: POP
00001113: POP
00001114: DUP2
00001115: SWAP1
00001116: SSTORE
00001117: POP
00001118: DUP3
00001119: PUSH1 0x05
0000111b: PUSH1 0x00
0000111d: DUP3
0000111e: DUP3
0000111f: SLOAD
00001120: PUSH2 0x1129
00001123: SWAP2
00001124: SWAP1
00001125: PUSH2 0x23a0
00001128: JUMP
00001129: JUMPDEST
0000112a: SWAP1
0000112b: SWAP2
0000112c: SSTORE
0000112d: POP
0000112e: POP
0000112f: DUP5
00001130: DUP2
00001131: LT
00001132: ISZERO
00001133: PUSH2 0x119b
00001136: JUMPI
00001137: DUP1
00001138: DUP6
00001139: SUB
0000113a: PUSH2 0x1142
0000113d: DUP2
0000113e: PUSH2 0x1d07
00001141: JUMP
00001142: JUMPDEST
00001143: DUP6
00001144: PUSH2 0x114b
00001147: PUSH2 0x0787
0000114a: JUMP
0000114b: JUMPDEST
0000114c: LT
0000114d: ISZERO
0000114e: PUSH2 0x1199
00001151: JUMPI
00001152: PUSH1 0x40
00001154: MLOAD
00001155: PUSH3 0x461bcd
00001159: PUSH1 0xe5
0000115b: SHL
0000115c: DUP2
0000115d: MSTORE
0000115e: PUSH1 0x20
00001160: PUSH1 0x04
00001162: DUP3
00001163: ADD
00001164: MSTORE
00001165: PUSH1 0x1b
00001167: PUSH1 0x24
00001169: DUP3
0000116a: ADD
0000116b: MSTORE
0000116c: PUSH32 0x576974686472617720616d6f756e74203e20417661696c61626c650000000000
0000118d: PUSH1 0x44
0000118f: DUP3
00001190: ADD
00001191: MSTORE
00001192: PUSH1 0x64
00001194: ADD
00001195: PUSH2 0x04c4
00001198: JUMP
00001199: JUMPDEST
0000119a: POP
0000119b: JUMPDEST
0000119c: DUP5
0000119d: PUSH1 0x07
0000119f: PUSH1 0x00
000011a1: DUP3
000011a2: DUP3
000011a3: SLOAD
000011a4: PUSH2 0x11ad
000011a7: SWAP2
000011a8: SWAP1
000011a9: PUSH2 0x23a0
000011ac: JUMP
000011ad: JUMPDEST
000011ae: SWAP1
000011af: SWAP2
000011b0: SSTORE
000011b1: POP
000011b2: POP
000011b3: PUSH1 0x00
000011b5: SLOAD
000011b6: PUSH2 0x11c9
000011b9: SWAP1
000011ba: PUSH1 0x01
000011bc: PUSH1 0x01
000011be: PUSH1 0xa0
000011c0: SHL
000011c1: SUB
000011c2: AND
000011c3: DUP6
000011c4: DUP8
000011c5: PUSH2 0x1bf1
000011c8: JUMP
000011c9: JUMPDEST
000011ca: POP
000011cb: POP
000011cc: SWAP3
000011cd: SWAP2
000011ce: POP
000011cf: POP
000011d0: JUMP
000011d1: JUMPDEST
000011d2: CALLER
000011d3: PUSH1 0x01
000011d5: PUSH1 0x01
000011d7: PUSH1 0xa0
000011d9: SHL
000011da: SUB
000011db: AND
000011dc: PUSH32 0x000000000000000000000000f4db9926ae02469d730a25ad7422764bbd45d36f
000011fd: PUSH1 0x01
000011ff: PUSH1 0x01
00001201: PUSH1 0xa0
00001203: SHL
00001204: SUB
00001205: AND
00001206: PUSH4 0x8da5cb5b
0000120b: PUSH1 0x40
0000120d: MLOAD
0000120e: DUP2
0000120f: PUSH4 0xffffffff
00001214: AND
00001215: PUSH1 0xe0
00001217: SHL
00001218: DUP2
00001219: MSTORE
0000121a: PUSH1 0x04
0000121c: ADD
0000121d: PUSH1 0x20
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: DUP1
00001223: DUP4
00001224: SUB
00001225: DUP2
00001226: DUP7
00001227: GAS
00001228: STATICCALL
00001229: ISZERO
0000122a: DUP1
0000122b: ISZERO
0000122c: PUSH2 0x1239
0000122f: JUMPI
00001230: RETURNDATASIZE
00001231: PUSH1 0x00
00001233: DUP1
00001234: RETURNDATACOPY
00001235: RETURNDATASIZE
00001236: PUSH1 0x00
00001238: REVERT
00001239: JUMPDEST
0000123a: POP
0000123b: POP
0000123c: POP
0000123d: POP
0000123e: PUSH1 0x40
00001240: MLOAD
00001241: RETURNDATASIZE
00001242: PUSH1 0x1f
00001244: NOT
00001245: PUSH1 0x1f
00001247: DUP3
00001248: ADD
00001249: AND
0000124a: DUP3
0000124b: ADD
0000124c: DUP1
0000124d: PUSH1 0x40
0000124f: MSTORE
00001250: POP
00001251: DUP2
00001252: ADD
00001253: SWAP1
00001254: PUSH2 0x125d
00001257: SWAP2
00001258: SWAP1
00001259: PUSH2 0x23d0
0000125c: JUMP
0000125d: JUMPDEST
0000125e: PUSH1 0x01
00001260: PUSH1 0x01
00001262: PUSH1 0xa0
00001264: SHL
00001265: SUB
00001266: AND
00001267: EQ
00001268: PUSH2 0x1283
0000126b: JUMPI
0000126c: PUSH1 0x40
0000126e: MLOAD
0000126f: PUSH3 0x461bcd
00001273: PUSH1 0xe5
00001275: SHL
00001276: DUP2
00001277: MSTORE
00001278: PUSH1 0x04
0000127a: ADD
0000127b: PUSH2 0x04c4
0000127e: SWAP1
0000127f: PUSH2 0x23ed
00001282: JUMP
00001283: JUMPDEST
00001284: PUSH1 0x01
00001286: PUSH1 0x01
00001288: PUSH1 0xa0
0000128a: SHL
0000128b: SUB
0000128c: DUP2
0000128d: AND
0000128e: PUSH2 0x12a9
00001291: JUMPI
00001292: PUSH1 0x40
00001294: MLOAD
00001295: PUSH3 0x461bcd
00001299: PUSH1 0xe5
0000129b: SHL
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x04
000012a0: ADD
000012a1: PUSH2 0x04c4
000012a4: SWAP1
000012a5: PUSH2 0x22b8
000012a8: JUMP
000012a9: JUMPDEST
000012aa: PUSH1 0x01
000012ac: SLOAD
000012ad: PUSH1 0x01
000012af: PUSH1 0x01
000012b1: PUSH1 0xa0
000012b3: SHL
000012b4: SUB
000012b5: AND
000012b6: ISZERO
000012b7: PUSH2 0x143c
000012ba: JUMPI
000012bb: PUSH1 0x01
000012bd: SLOAD
000012be: PUSH1 0x40
000012c0: DUP1
000012c1: MLOAD
000012c2: PUSH4 0x2a983129
000012c7: PUSH1 0xe1
000012c9: SHL
000012ca: DUP2
000012cb: MSTORE
000012cc: SWAP1
000012cd: MLOAD
000012ce: PUSH1 0x00
000012d0: SWAP3
000012d1: PUSH1 0x01
000012d3: PUSH1 0x01
000012d5: PUSH1 0xa0
000012d7: SHL
000012d8: SUB
000012d9: AND
000012da: SWAP2
000012db: PUSH4 0x55306252
000012e0: SWAP2
000012e1: PUSH1 0x04
000012e3: DUP1
000012e4: DUP4
000012e5: ADD
000012e6: SWAP3
000012e7: PUSH1 0x20
000012e9: SWAP3
000012ea: SWAP2
000012eb: SWAP1
000012ec: DUP3
000012ed: SWAP1
000012ee: SUB
000012ef: ADD
000012f0: DUP2
000012f1: DUP7
000012f2: GAS
000012f3: STATICCALL
000012f4: ISZERO
000012f5: DUP1
000012f6: ISZERO
000012f7: PUSH2 0x1304
000012fa: JUMPI
000012fb: RETURNDATASIZE
000012fc: PUSH1 0x00
000012fe: DUP1
000012ff: RETURNDATACOPY
00001300: RETURNDATASIZE
00001301: PUSH1 0x00
00001303: REVERT
00001304: JUMPDEST
00001305: POP
00001306: POP
00001307: POP
00001308: POP
00001309: PUSH1 0x40
0000130b: MLOAD
0000130c: RETURNDATASIZE
0000130d: PUSH1 0x1f
0000130f: NOT
00001310: PUSH1 0x1f
00001312: DUP3
00001313: ADD
00001314: AND
00001315: DUP3
00001316: ADD
00001317: DUP1
00001318: PUSH1 0x40
0000131a: MSTORE
0000131b: POP
0000131c: DUP2
0000131d: ADD
0000131e: SWAP1
0000131f: PUSH2 0x1328
00001322: SWAP2
00001323: SWAP1
00001324: PUSH2 0x23b7
00001327: JUMP
00001328: JUMPDEST
00001329: PUSH1 0x01
0000132b: SLOAD
0000132c: PUSH1 0x40
0000132e: MLOAD
0000132f: PUSH4 0xce5494bb
00001334: PUSH1 0xe0
00001336: SHL
00001337: DUP2
00001338: MSTORE
00001339: PUSH1 0x01
0000133b: PUSH1 0x01
0000133d: PUSH1 0xa0
0000133f: SHL
00001340: SUB
00001341: DUP6
00001342: DUP2
00001343: AND
00001344: PUSH1 0x04
00001346: DUP4
00001347: ADD
00001348: MSTORE
00001349: SWAP3
0000134a: SWAP4
0000134b: POP
0000134c: SWAP2
0000134d: AND
0000134e: SWAP1
0000134f: PUSH4 0xce5494bb
00001354: SWAP1
00001355: PUSH1 0x24
00001357: ADD
00001358: PUSH1 0x00
0000135a: PUSH1 0x40
0000135c: MLOAD
0000135d: DUP1
0000135e: DUP4
0000135f: SUB
00001360: DUP2
00001361: PUSH1 0x00
00001363: DUP8
00001364: DUP1
00001365: EXTCODESIZE
00001366: ISZERO
00001367: DUP1
00001368: ISZERO
00001369: PUSH2 0x1371
0000136c: JUMPI
0000136d: PUSH1 0x00
0000136f: DUP1
00001370: REVERT
00001371: JUMPDEST
00001372: POP
00001373: GAS
00001374: CALL
00001375: ISZERO
00001376: DUP1
00001377: ISZERO
00001378: PUSH2 0x1385
0000137b: JUMPI
0000137c: RETURNDATASIZE
0000137d: PUSH1 0x00
0000137f: DUP1
00001380: RETURNDATACOPY
00001381: RETURNDATASIZE
00001382: PUSH1 0x00
00001384: REVERT
00001385: JUMPDEST
00001386: POP
00001387: POP
00001388: POP
00001389: POP
0000138a: DUP1
0000138b: DUP3
0000138c: PUSH1 0x01
0000138e: PUSH1 0x01
00001390: PUSH1 0xa0
00001392: SHL
00001393: SUB
00001394: AND
00001395: PUSH4 0x55306252
0000139a: PUSH1 0x40
0000139c: MLOAD
0000139d: DUP2
0000139e: PUSH4 0xffffffff
000013a3: AND
000013a4: PUSH1 0xe0
000013a6: SHL
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x04
000013ab: ADD
000013ac: PUSH1 0x20
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: DUP1
000013b2: DUP4
000013b3: SUB
000013b4: DUP2
000013b5: DUP7
000013b6: GAS
000013b7: STATICCALL
000013b8: ISZERO
000013b9: DUP1
000013ba: ISZERO
000013bb: PUSH2 0x13c8
000013be: JUMPI
000013bf: RETURNDATASIZE
000013c0: PUSH1 0x00
000013c2: DUP1
000013c3: RETURNDATACOPY
000013c4: RETURNDATASIZE
000013c5: PUSH1 0x00
000013c7: REVERT
000013c8: JUMPDEST
000013c9: POP
000013ca: POP
000013cb: POP
000013cc: POP
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: RETURNDATASIZE
000013d1: PUSH1 0x1f
000013d3: NOT
000013d4: PUSH1 0x1f
000013d6: DUP3
000013d7: ADD
000013d8: AND
000013d9: DUP3
000013da: ADD
000013db: DUP1
000013dc: PUSH1 0x40
000013de: MSTORE
000013df: POP
000013e0: DUP2
000013e1: ADD
000013e2: SWAP1
000013e3: PUSH2 0x13ec
000013e6: SWAP2
000013e7: SWAP1
000013e8: PUSH2 0x23b7
000013eb: JUMP
000013ec: JUMPDEST
000013ed: LT
000013ee: ISZERO
000013ef: PUSH2 0x143a
000013f2: JUMPI
000013f3: PUSH1 0x40
000013f5: MLOAD
000013f6: PUSH3 0x461bcd
000013fa: PUSH1 0xe5
000013fc: SHL
000013fd: DUP2
000013fe: MSTORE
000013ff: PUSH1 0x20
00001401: PUSH1 0x04
00001403: DUP3
00001404: ADD
00001405: MSTORE
00001406: PUSH1 0x19
00001408: PUSH1 0x24
0000140a: DUP3
0000140b: ADD
0000140c: MSTORE
0000140d: PUSH32 0x4552524f525f56414c55455f414c4c5f44454352454153454400000000000000
0000142e: PUSH1 0x44
00001430: DUP3
00001431: ADD
00001432: MSTORE
00001433: PUSH1 0x64
00001435: ADD
00001436: PUSH2 0x04c4
00001439: JUMP
0000143a: JUMPDEST
0000143b: POP
0000143c: JUMPDEST
0000143d: PUSH1 0x01
0000143f: DUP1
00001440: SLOAD
00001441: PUSH1 0x01
00001443: PUSH1 0x01
00001445: PUSH1 0xa0
00001447: SHL
00001448: SUB
00001449: NOT
0000144a: AND
0000144b: PUSH1 0x01
0000144d: PUSH1 0x01
0000144f: PUSH1 0xa0
00001451: SHL
00001452: SUB
00001453: DUP4
00001454: AND
00001455: SWAP1
00001456: DUP2
00001457: OR
00001458: SWAP1
00001459: SWAP2
0000145a: SSTORE
0000145b: PUSH1 0x40
0000145d: MLOAD
0000145e: SWAP1
0000145f: DUP2
00001460: MSTORE
00001461: PUSH32 0x79f74fd5964b6943d8a1865abfb7f668c92fa3f32c0a2e3195da7d0946703ad7
00001482: SWAP1
00001483: PUSH1 0x20
00001485: ADD
00001486: PUSH2 0x0c00
00001489: JUMP
0000148a: JUMPDEST
0000148b: PUSH1 0x01
0000148d: SLOAD
0000148e: PUSH1 0x00
00001490: SWAP1
00001491: PUSH1 0x01
00001493: PUSH1 0x01
00001495: PUSH1 0xa0
00001497: SHL
00001498: SUB
00001499: AND
0000149a: PUSH2 0x14e0
0000149d: JUMPI
0000149e: PUSH1 0x40
000014a0: MLOAD
000014a1: PUSH3 0x461bcd
000014a5: PUSH1 0xe5
000014a7: SHL
000014a8: DUP2
000014a9: MSTORE
000014aa: PUSH1 0x20
000014ac: PUSH1 0x04
000014ae: DUP3
000014af: ADD
000014b0: MSTORE
000014b1: PUSH1 0x18
000014b3: PUSH1 0x24
000014b5: DUP3
000014b6: ADD
000014b7: MSTORE
000014b8: PUSH24 0x11549493d497d0d3d3951493d313115497d393d517d4d155
000014d1: PUSH1 0x42
000014d3: SHL
000014d4: PUSH1 0x44
000014d6: DUP3
000014d7: ADD
000014d8: MSTORE
000014d9: PUSH1 0x64
000014db: ADD
000014dc: PUSH2 0x04c4
000014df: JUMP
000014e0: JUMPDEST
000014e1: PUSH1 0x00
000014e3: SLOAD
000014e4: PUSH1 0x06
000014e6: SLOAD
000014e7: PUSH1 0x01
000014e9: PUSH1 0x01
000014eb: PUSH1 0xa0
000014ed: SHL
000014ee: SUB
000014ef: SWAP2
000014f0: DUP3
000014f1: AND
000014f2: SWAP2
000014f3: AND
000014f4: ISZERO
000014f5: PUSH2 0x1545
000014f8: JUMPI
000014f9: PUSH1 0x06
000014fb: SLOAD
000014fc: PUSH1 0x01
000014fe: PUSH1 0x01
00001500: PUSH1 0xa0
00001502: SHL
00001503: SUB
00001504: AND
00001505: CALLER
00001506: EQ
00001507: PUSH2 0x1545
0000150a: JUMPI
0000150b: PUSH1 0x40
0000150d: MLOAD
0000150e: PUSH3 0x461bcd
00001512: PUSH1 0xe5
00001514: SHL
00001515: DUP2
00001516: MSTORE
00001517: PUSH1 0x20
00001519: PUSH1 0x04
0000151b: DUP3
0000151c: ADD
0000151d: MSTORE
0000151e: PUSH1 0x10
00001520: PUSH1 0x24
00001522: DUP3
00001523: ADD
00001524: MSTORE
00001525: PUSH16 0x22a92927a92fa727aa2fa5a2a2a822a9
00001536: PUSH1 0x81
00001538: SHL
00001539: PUSH1 0x44
0000153b: DUP3
0000153c: ADD
0000153d: MSTORE
0000153e: PUSH1 0x64
00001540: ADD
00001541: PUSH2 0x04c4
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH1 0x01
00001548: SLOAD
00001549: PUSH1 0x40
0000154b: DUP1
0000154c: MLOAD
0000154d: PUSH4 0xaa7b6a25
00001552: PUSH1 0xe0
00001554: SHL
00001555: DUP2
00001556: MSTORE
00001557: SWAP1
00001558: MLOAD
00001559: PUSH1 0x00
0000155b: SWAP3
0000155c: PUSH1 0x01
0000155e: PUSH1 0x01
00001560: PUSH1 0xa0
00001562: SHL
00001563: SUB
00001564: AND
00001565: SWAP2
00001566: PUSH4 0xaa7b6a25
0000156b: SWAP2
0000156c: PUSH1 0x04
0000156e: DUP1
0000156f: DUP4
00001570: ADD
00001571: SWAP3
00001572: PUSH1 0x20
00001574: SWAP3
00001575: SWAP2
00001576: SWAP1
00001577: DUP3
00001578: SWAP1
00001579: SUB
0000157a: ADD
0000157b: DUP2
0000157c: DUP8
0000157d: DUP8
0000157e: GAS
0000157f: CALL
00001580: ISZERO
00001581: DUP1
00001582: ISZERO
00001583: PUSH2 0x1590
00001586: JUMPI
00001587: RETURNDATASIZE
00001588: PUSH1 0x00
0000158a: DUP1
0000158b: RETURNDATACOPY
0000158c: RETURNDATASIZE
0000158d: PUSH1 0x00
0000158f: REVERT
00001590: JUMPDEST
00001591: POP
00001592: POP
00001593: POP
00001594: POP
00001595: PUSH1 0x40
00001597: MLOAD
00001598: RETURNDATASIZE
00001599: PUSH1 0x1f
0000159b: NOT
0000159c: PUSH1 0x1f
0000159e: DUP3
0000159f: ADD
000015a0: AND
000015a1: DUP3
000015a2: ADD
000015a3: DUP1
000015a4: PUSH1 0x40
000015a6: MSTORE
000015a7: POP
000015a8: DUP2
000015a9: ADD
000015aa: SWAP1
000015ab: PUSH2 0x15b4
000015ae: SWAP2
000015af: SWAP1
000015b0: PUSH2 0x23b7
000015b3: JUMP
000015b4: JUMPDEST
000015b5: SWAP1
000015b6: POP
000015b7: PUSH2 0x15be
000015ba: PUSH2 0x0787
000015bd: JUMP
000015be: JUMPDEST
000015bf: DUP2
000015c0: GT
000015c1: ISZERO
000015c2: PUSH2 0x1600
000015c5: JUMPI
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: PUSH3 0x461bcd
000015cd: PUSH1 0xe5
000015cf: SHL
000015d0: DUP2
000015d1: MSTORE
000015d2: PUSH1 0x20
000015d4: PUSH1 0x04
000015d6: DUP3
000015d7: ADD
000015d8: MSTORE
000015d9: PUSH1 0x10
000015db: PUSH1 0x24
000015dd: DUP3
000015de: ADD
000015df: MSTORE
000015e0: PUSH16 0x4558434545445f415641494c41424c45
000015f1: PUSH1 0x80
000015f3: SHL
000015f4: PUSH1 0x44
000015f6: DUP3
000015f7: ADD
000015f8: MSTORE
000015f9: PUSH1 0x64
000015fb: ADD
000015fc: PUSH2 0x04c4
000015ff: JUMP
00001600: JUMPDEST
00001601: DUP1
00001602: ISZERO
00001603: PUSH2 0x05f9
00001606: JUMPI
00001607: PUSH1 0x01
00001609: SLOAD
0000160a: PUSH2 0x1620
0000160d: SWAP1
0000160e: PUSH1 0x01
00001610: PUSH1 0x01
00001612: PUSH1 0xa0
00001614: SHL
00001615: SUB
00001616: DUP5
00001617: DUP2
00001618: AND
00001619: SWAP2
0000161a: AND
0000161b: DUP4
0000161c: PUSH2 0x1bf1
0000161f: JUMP
00001620: JUMPDEST
00001621: DUP1
00001622: PUSH1 0x07
00001624: PUSH1 0x00
00001626: DUP3
00001627: DUP3
00001628: SLOAD
00001629: PUSH2 0x1632
0000162c: SWAP2
0000162d: SWAP1
0000162e: PUSH2 0x23a0
00001631: JUMP
00001632: JUMPDEST
00001633: SWAP1
00001634: SWAP2
00001635: SSTORE
00001636: POP
00001637: POP
00001638: PUSH1 0x01
0000163a: SLOAD
0000163b: PUSH1 0x40
0000163d: MLOAD
0000163e: PUSH4 0xb02bf4b9
00001643: PUSH1 0xe0
00001645: SHL
00001646: DUP2
00001647: MSTORE
00001648: PUSH1 0x01
0000164a: PUSH1 0x01
0000164c: PUSH1 0xa0
0000164e: SHL
0000164f: SUB
00001650: DUP5
00001651: DUP2
00001652: AND
00001653: PUSH1 0x04
00001655: DUP4
00001656: ADD
00001657: MSTORE
00001658: PUSH1 0x24
0000165a: DUP3
0000165b: ADD
0000165c: DUP5
0000165d: SWAP1
0000165e: MSTORE
0000165f: SWAP1
00001660: SWAP2
00001661: AND
00001662: SWAP1
00001663: PUSH4 0xb02bf4b9
00001668: SWAP1
00001669: PUSH1 0x44
0000166b: ADD
0000166c: PUSH1 0x00
0000166e: PUSH1 0x40
00001670: MLOAD
00001671: DUP1
00001672: DUP4
00001673: SUB
00001674: DUP2
00001675: PUSH1 0x00
00001677: DUP8
00001678: DUP1
00001679: EXTCODESIZE
0000167a: ISZERO
0000167b: DUP1
0000167c: ISZERO
0000167d: PUSH2 0x1685
00001680: JUMPI
00001681: PUSH1 0x00
00001683: DUP1
00001684: REVERT
00001685: JUMPDEST
00001686: POP
00001687: GAS
00001688: CALL
00001689: ISZERO
0000168a: DUP1
0000168b: ISZERO
0000168c: PUSH2 0x1699
0000168f: JUMPI
00001690: RETURNDATASIZE
00001691: PUSH1 0x00
00001693: DUP1
00001694: RETURNDATACOPY
00001695: RETURNDATASIZE
00001696: PUSH1 0x00
00001698: REVERT
00001699: JUMPDEST
0000169a: POP
0000169b: POP
0000169c: POP
0000169d: POP
0000169e: SWAP3
0000169f: SWAP2
000016a0: POP
000016a1: POP
000016a2: JUMP
000016a3: JUMPDEST
000016a4: PUSH1 0x02
000016a6: SLOAD
000016a7: PUSH1 0x40
000016a9: MLOAD
000016aa: PUSH4 0x7bca0317
000016af: PUSH1 0xe1
000016b1: SHL
000016b2: DUP2
000016b3: MSTORE
000016b4: CALLER
000016b5: PUSH1 0x04
000016b7: DUP3
000016b8: ADD
000016b9: MSTORE
000016ba: PUSH1 0x00
000016bc: SWAP2
000016bd: PUSH1 0x01
000016bf: PUSH1 0x01
000016c1: PUSH1 0xa0
000016c3: SHL
000016c4: SUB
000016c5: AND
000016c6: SWAP1
000016c7: PUSH4 0xf794062e
000016cc: SWAP1
000016cd: PUSH1 0x24
000016cf: ADD
000016d0: PUSH1 0x20
000016d2: PUSH1 0x40
000016d4: MLOAD
000016d5: DUP1
000016d6: DUP4
000016d7: SUB
000016d8: DUP2
000016d9: DUP7
000016da: GAS
000016db: STATICCALL
000016dc: ISZERO
000016dd: DUP1
000016de: ISZERO
000016df: PUSH2 0x16ec
000016e2: JUMPI
000016e3: RETURNDATASIZE
000016e4: PUSH1 0x00
000016e6: DUP1
000016e7: RETURNDATACOPY
000016e8: RETURNDATASIZE
000016e9: PUSH1 0x00
000016eb: REVERT
000016ec: JUMPDEST
000016ed: POP
000016ee: POP
000016ef: POP
000016f0: POP
000016f1: PUSH1 0x40
000016f3: MLOAD
000016f4: RETURNDATASIZE
000016f5: PUSH1 0x1f
000016f7: NOT
000016f8: PUSH1 0x1f
000016fa: DUP3
000016fb: ADD
000016fc: AND
000016fd: DUP3
000016fe: ADD
000016ff: DUP1
00001700: PUSH1 0x40
00001702: MSTORE
00001703: POP
00001704: DUP2
00001705: ADD
00001706: SWAP1
00001707: PUSH2 0x1710
0000170a: SWAP2
0000170b: SWAP1
0000170c: PUSH2 0x2353
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH2 0x172c
00001714: JUMPI
00001715: PUSH1 0x40
00001717: MLOAD
00001718: PUSH3 0x461bcd
0000171c: PUSH1 0xe5
0000171e: SHL
0000171f: DUP2
00001720: MSTORE
00001721: PUSH1 0x04
00001723: ADD
00001724: PUSH2 0x04c4
00001727: SWAP1
00001728: PUSH2 0x2375
0000172b: JUMP
0000172c: JUMPDEST
0000172d: PUSH1 0x05
0000172f: SLOAD
00001730: PUSH2 0x173a
00001733: JUMPI
00001734: POP
00001735: DUP3
00001736: PUSH2 0x1763
00001739: JUMP
0000173a: JUMPDEST
0000173b: PUSH1 0x00
0000173d: PUSH2 0x1744
00001740: PUSH2 0x079e
00001743: JUMP
00001744: JUMPDEST
00001745: SWAP1
00001746: POP
00001747: DUP1
00001748: PUSH1 0x05
0000174a: SLOAD
0000174b: DUP7
0000174c: PUSH2 0x1755
0000174f: SWAP2
00001750: SWAP1
00001751: PUSH2 0x2312
00001754: JUMP
00001755: JUMPDEST
00001756: PUSH2 0x175f
00001759: SWAP2
0000175a: SWAP1
0000175b: PUSH2 0x2331
0000175e: JUMP
0000175f: JUMPDEST
00001760: SWAP2
00001761: POP
00001762: POP
00001763: JUMPDEST
00001764: PUSH1 0x00
00001766: SLOAD
00001767: PUSH2 0x177b
0000176a: SWAP1
0000176b: PUSH1 0x01
0000176d: PUSH1 0x01
0000176f: PUSH1 0xa0
00001771: SHL
00001772: SUB
00001773: AND
00001774: DUP5
00001775: ADDRESS
00001776: DUP8
00001777: PUSH2 0x1c54
0000177a: JUMP
0000177b: JUMPDEST
0000177c: DUP4
0000177d: PUSH1 0x07
0000177f: PUSH1 0x00
00001781: DUP3
00001782: DUP3
00001783: SLOAD
00001784: PUSH2 0x178d
00001787: SWAP2
00001788: SWAP1
00001789: PUSH2 0x22fa
0000178c: JUMP
0000178d: JUMPDEST
0000178e: SWAP3
0000178f: POP
00001790: POP
00001791: DUP2
00001792: SWAP1
00001793: SSTORE
00001794: POP
00001795: DUP1
00001796: PUSH1 0x05
00001798: PUSH1 0x00
0000179a: DUP3
0000179b: DUP3
0000179c: SLOAD
0000179d: PUSH2 0x17a6
000017a0: SWAP2
000017a1: SWAP1
000017a2: PUSH2 0x22fa
000017a5: JUMP
000017a6: JUMPDEST
000017a7: SWAP1
000017a8: SWAP2
000017a9: SSTORE
000017aa: POP
000017ab: POP
000017ac: PUSH1 0x01
000017ae: PUSH1 0x01
000017b0: PUSH1 0xa0
000017b2: SHL
000017b3: SUB
000017b4: DUP3
000017b5: AND
000017b6: PUSH1 0x00
000017b8: SWAP1
000017b9: DUP2
000017ba: MSTORE
000017bb: PUSH1 0x04
000017bd: PUSH1 0x20
000017bf: MSTORE
000017c0: PUSH1 0x40
000017c2: DUP2
000017c3: KECCAK256
000017c4: DUP1
000017c5: SLOAD
000017c6: DUP4
000017c7: SWAP3
000017c8: SWAP1
000017c9: PUSH2 0x17d3
000017cc: SWAP1
000017cd: DUP5
000017ce: SWAP1
000017cf: PUSH2 0x22fa
000017d2: JUMP
000017d3: JUMPDEST
000017d4: SWAP1
000017d5: SWAP2
000017d6: SSTORE
000017d7: POP
000017d8: SWAP1
000017d9: SWAP5
000017da: SWAP4
000017db: POP
000017dc: POP
000017dd: POP
000017de: POP
000017df: JUMP
000017e0: JUMPDEST
000017e1: PUSH1 0x01
000017e3: PUSH1 0x01
000017e5: PUSH1 0xa0
000017e7: SHL
000017e8: SUB
000017e9: DUP2
000017ea: AND
000017eb: PUSH1 0x00
000017ed: SWAP1
000017ee: DUP2
000017ef: MSTORE
000017f0: PUSH1 0x03
000017f2: PUSH1 0x20
000017f4: MSTORE
000017f5: PUSH1 0x40
000017f7: SWAP1
000017f8: KECCAK256
000017f9: SLOAD
000017fa: DUP3
000017fb: DUP2
000017fc: GT
000017fd: ISZERO
000017fe: PUSH2 0x1823
00001801: JUMPI
00001802: PUSH1 0x01
00001804: PUSH1 0x01
00001806: PUSH1 0xa0
00001808: SHL
00001809: SUB
0000180a: DUP3
0000180b: AND
0000180c: PUSH1 0x00
0000180e: SWAP1
0000180f: DUP2
00001810: MSTORE
00001811: PUSH1 0x03
00001813: PUSH1 0x20
00001815: MSTORE
00001816: PUSH1 0x40
00001818: SWAP1
00001819: KECCAK256
0000181a: DUP4
0000181b: DUP3
0000181c: SUB
0000181d: SWAP1
0000181e: SSTORE
0000181f: PUSH2 0x1840
00001822: JUMP
00001823: JUMPDEST
00001824: PUSH1 0x01
00001826: PUSH1 0x01
00001828: PUSH1 0xa0
0000182a: SHL
0000182b: SUB
0000182c: DUP3
0000182d: AND
0000182e: PUSH1 0x00
00001830: SWAP1
00001831: DUP2
00001832: MSTORE
00001833: PUSH1 0x03
00001835: PUSH1 0x20
00001837: MSTORE
00001838: PUSH1 0x40
0000183a: DUP2
0000183b: KECCAK256
0000183c: SSTORE
0000183d: SWAP2
0000183e: POP
0000183f: DUP2
00001840: JUMPDEST
00001841: DUP3
00001842: PUSH1 0x08
00001844: PUSH1 0x00
00001846: DUP3
00001847: DUP3
00001848: SLOAD
00001849: PUSH2 0x1852
0000184c: SWAP2
0000184d: SWAP1
0000184e: PUSH2 0x23a0
00001851: JUMP
00001852: JUMPDEST
00001853: SWAP1
00001854: SWAP2
00001855: SSTORE
00001856: POP
00001857: POP
00001858: PUSH1 0x00
0000185a: SLOAD
0000185b: PUSH2 0x186f
0000185e: SWAP1
0000185f: PUSH1 0x01
00001861: PUSH1 0x01
00001863: PUSH1 0xa0
00001865: SHL
00001866: SUB
00001867: AND
00001868: CALLER
00001869: ADDRESS
0000186a: DUP7
0000186b: PUSH2 0x1c54
0000186e: JUMP
0000186f: JUMPDEST
00001870: POP
00001871: POP
00001872: POP
00001873: JUMP
00001874: JUMPDEST
00001875: PUSH1 0x00
00001877: PUSH1 0x01
00001879: PUSH1 0x01
0000187b: PUSH1 0xa0
0000187d: SHL
0000187e: SUB
0000187f: DUP3
00001880: AND
00001881: PUSH2 0x189c
00001884: JUMPI
00001885: PUSH1 0x40
00001887: MLOAD
00001888: PUSH3 0x461bcd
0000188c: PUSH1 0xe5
0000188e: SHL
0000188f: DUP2
00001890: MSTORE
00001891: PUSH1 0x04
00001893: ADD
00001894: PUSH2 0x04c4
00001897: SWAP1
00001898: PUSH2 0x22b8
0000189b: JUMP
0000189c: JUMPDEST
0000189d: PUSH1 0x00
0000189f: PUSH2 0x18a6
000018a2: PUSH2 0x079e
000018a5: JUMP
000018a6: JUMPDEST
000018a7: CALLER
000018a8: PUSH1 0x00
000018aa: SWAP1
000018ab: DUP2
000018ac: MSTORE
000018ad: PUSH1 0x04
000018af: PUSH1 0x20
000018b1: MSTORE
000018b2: PUSH1 0x40
000018b4: SWAP1
000018b5: KECCAK256
000018b6: SLOAD
000018b7: SWAP1
000018b8: SWAP2
000018b9: POP
000018ba: ISZERO
000018bb: DUP1
000018bc: ISZERO
000018bd: SWAP1
000018be: PUSH2 0x18d0
000018c1: JUMPI
000018c2: POP
000018c3: DUP4
000018c4: PUSH2 0x18cd
000018c7: CALLER
000018c8: DUP4
000018c9: PUSH2 0x05ac
000018cc: JUMP
000018cd: JUMPDEST
000018ce: LT
000018cf: ISZERO
000018d0: JUMPDEST
000018d1: PUSH2 0x191c
000018d4: JUMPI
000018d5: PUSH1 0x40
000018d7: MLOAD
000018d8: PUSH3 0x461bcd
000018dc: PUSH1 0xe5
000018de: SHL
000018df: DUP2
000018e0: MSTORE
000018e1: PUSH1 0x20
000018e3: PUSH1 0x04
000018e5: DUP3
000018e6: ADD
000018e7: MSTORE
000018e8: PUSH1 0x1c
000018ea: PUSH1 0x24
000018ec: DUP3
000018ed: ADD
000018ee: MSTORE
000018ef: PUSH32 0x5452414e534645522d56414c55455f424144434f4e444954494f4e5300000000
00001910: PUSH1 0x44
00001912: DUP3
00001913: ADD
00001914: MSTORE
00001915: PUSH1 0x64
00001917: ADD
00001918: PUSH2 0x04c4
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH2 0x192d
00001920: DUP5
00001921: PUSH1 0x05
00001923: SLOAD
00001924: PUSH2 0x1076
00001927: SWAP2
00001928: SWAP1
00001929: PUSH2 0x2312
0000192c: JUMP
0000192d: JUMPDEST
0000192e: CALLER
0000192f: PUSH1 0x00
00001931: SWAP1
00001932: DUP2
00001933: MSTORE
00001934: PUSH1 0x04
00001936: PUSH1 0x20
00001938: MSTORE
00001939: PUSH1 0x40
0000193b: DUP2
0000193c: KECCAK256
0000193d: DUP1
0000193e: SLOAD
0000193f: SWAP3
00001940: SWAP5
00001941: POP
00001942: DUP5
00001943: SWAP3
00001944: SWAP1
00001945: SWAP2
00001946: SWAP1
00001947: PUSH2 0x1951
0000194a: SWAP1
0000194b: DUP5
0000194c: SWAP1
0000194d: PUSH2 0x23a0
00001950: JUMP
00001951: JUMPDEST
00001952: SWAP1
00001953: SWAP2
00001954: SSTORE
00001955: POP
00001956: POP
00001957: PUSH1 0x01
00001959: PUSH1 0x01
0000195b: PUSH1 0xa0
0000195d: SHL
0000195e: SUB
0000195f: DUP4
00001960: AND
00001961: PUSH1 0x00
00001963: SWAP1
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x04
00001968: PUSH1 0x20
0000196a: MSTORE
0000196b: PUSH1 0x40
0000196d: DUP2
0000196e: KECCAK256
0000196f: DUP1
00001970: SLOAD
00001971: DUP5
00001972: SWAP3
00001973: SWAP1
00001974: PUSH2 0x197e
00001977: SWAP1
00001978: DUP5
00001979: SWAP1
0000197a: PUSH2 0x22fa
0000197d: JUMP
0000197e: JUMPDEST
0000197f: SWAP1
00001980: SWAP2
00001981: SSTORE
00001982: POP
00001983: SWAP2
00001984: SWAP5
00001985: SWAP4
00001986: POP
00001987: POP
00001988: POP
00001989: POP
0000198a: JUMP
0000198b: JUMPDEST
0000198c: PUSH1 0x00
0000198e: DUP1
0000198f: PUSH2 0x1996
00001992: PUSH2 0x079e
00001995: JUMP
00001996: JUMPDEST
00001997: CALLER
00001998: PUSH1 0x00
0000199a: SWAP1
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x04
0000199f: PUSH1 0x20
000019a1: MSTORE
000019a2: PUSH1 0x40
000019a4: SWAP1
000019a5: KECCAK256
000019a6: SLOAD
000019a7: SWAP1
000019a8: SWAP2
000019a9: POP
000019aa: ISZERO
000019ab: DUP1
000019ac: ISZERO
000019ad: SWAP1
000019ae: PUSH2 0x19c0
000019b1: JUMPI
000019b2: POP
000019b3: DUP4
000019b4: PUSH2 0x19bd
000019b7: CALLER
000019b8: DUP4
000019b9: PUSH2 0x05ac
000019bc: JUMP
000019bd: JUMPDEST
000019be: LT
000019bf: ISZERO
000019c0: JUMPDEST
000019c1: PUSH2 0x1a0c
000019c4: JUMPI
000019c5: PUSH1 0x40
000019c7: MLOAD
000019c8: PUSH3 0x461bcd
000019cc: PUSH1 0xe5
000019ce: SHL
000019cf: DUP2
000019d0: MSTORE
000019d1: PUSH1 0x20
000019d3: PUSH1 0x04
000019d5: DUP3
000019d6: ADD
000019d7: MSTORE
000019d8: PUSH1 0x1e
000019da: PUSH1 0x24
000019dc: DUP3
000019dd: ADD
000019de: MSTORE
000019df: PUSH32 0x4552524f525f52455041595f444542545f424144434f4e444954494f4e530000
00001a00: PUSH1 0x44
00001a02: DUP3
00001a03: ADD
00001a04: MSTORE
00001a05: PUSH1 0x64
00001a07: ADD
00001a08: PUSH2 0x04c4
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: PUSH2 0x1a1d
00001a10: DUP5
00001a11: PUSH1 0x05
00001a13: SLOAD
00001a14: PUSH2 0x1076
00001a17: SWAP2
00001a18: SWAP1
00001a19: PUSH2 0x2312
00001a1c: JUMP
00001a1d: JUMPDEST
00001a1e: CALLER
00001a1f: PUSH1 0x00
00001a21: SWAP1
00001a22: DUP2
00001a23: MSTORE
00001a24: PUSH1 0x04
00001a26: PUSH1 0x20
00001a28: MSTORE
00001a29: PUSH1 0x40
00001a2b: DUP2
00001a2c: KECCAK256
00001a2d: DUP1
00001a2e: SLOAD
00001a2f: SWAP3
00001a30: SWAP5
00001a31: POP
00001a32: DUP5
00001a33: SWAP3
00001a34: SWAP1
00001a35: SWAP2
00001a36: SWAP1
00001a37: PUSH2 0x1a41
00001a3a: SWAP1
00001a3b: DUP5
00001a3c: SWAP1
00001a3d: PUSH2 0x23a0
00001a40: JUMP
00001a41: JUMPDEST
00001a42: SWAP3
00001a43: POP
00001a44: POP
00001a45: DUP2
00001a46: SWAP1
00001a47: SSTORE
00001a48: POP
00001a49: DUP2
00001a4a: PUSH1 0x05
00001a4c: PUSH1 0x00
00001a4e: DUP3
00001a4f: DUP3
00001a50: SLOAD
00001a51: PUSH2 0x1a5a
00001a54: SWAP2
00001a55: SWAP1
00001a56: PUSH2 0x23a0
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: SWAP3
00001a5c: POP
00001a5d: POP
00001a5e: DUP2
00001a5f: SWAP1
00001a60: SSTORE
00001a61: POP
00001a62: DUP4
00001a63: PUSH1 0x07
00001a65: PUSH1 0x00
00001a67: DUP3
00001a68: DUP3
00001a69: SLOAD
00001a6a: PUSH2 0x1a73
00001a6d: SWAP2
00001a6e: SWAP1
00001a6f: PUSH2 0x23a0
00001a72: JUMP
00001a73: JUMPDEST
00001a74: SWAP1
00001a75: SWAP2
00001a76: SSTORE
00001a77: POP
00001a78: POP
00001a79: PUSH1 0x01
00001a7b: PUSH1 0x01
00001a7d: PUSH1 0xa0
00001a7f: SHL
00001a80: SUB
00001a81: DUP4
00001a82: AND
00001a83: PUSH1 0x00
00001a85: SWAP1
00001a86: DUP2
00001a87: MSTORE
00001a88: PUSH1 0x03
00001a8a: PUSH1 0x20
00001a8c: MSTORE
00001a8d: PUSH1 0x40
00001a8f: DUP2
00001a90: KECCAK256
00001a91: DUP1
00001a92: SLOAD
00001a93: DUP7
00001a94: SWAP3
00001a95: SWAP1
00001a96: PUSH2 0x1aa0
00001a99: SWAP1
00001a9a: DUP5
00001a9b: SWAP1
00001a9c: PUSH2 0x23a0
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: SWAP3
00001aa2: POP
00001aa3: POP
00001aa4: DUP2
00001aa5: SWAP1
00001aa6: SSTORE
00001aa7: POP
00001aa8: DUP4
00001aa9: PUSH1 0x08
00001aab: PUSH1 0x00
00001aad: DUP3
00001aae: DUP3
00001aaf: SLOAD
00001ab0: PUSH2 0x197e
00001ab3: SWAP2
00001ab4: SWAP1
00001ab5: PUSH2 0x23a0
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: PUSH1 0x05
00001abc: SLOAD
00001abd: PUSH1 0x00
00001abf: SWAP1
00001ac0: DUP1
00001ac1: ISZERO
00001ac2: DUP1
00001ac3: ISZERO
00001ac4: SWAP1
00001ac5: PUSH2 0x1acd
00001ac8: JUMPI
00001ac9: POP
00001aca: DUP3
00001acb: ISZERO
00001acc: ISZERO
00001acd: JUMPDEST
00001ace: ISZERO
00001acf: PUSH2 0x1aef
00001ad2: JUMPI
00001ad3: DUP1
00001ad4: PUSH2 0x1adb
00001ad7: PUSH2 0x079e
00001ada: JUMP
00001adb: JUMPDEST
00001adc: PUSH2 0x1ae5
00001adf: SWAP1
00001ae0: DUP6
00001ae1: PUSH2 0x2312
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: PUSH2 0x04d7
00001ae9: SWAP2
00001aea: SWAP1
00001aeb: PUSH2 0x2331
00001aee: JUMP
00001aef: JUMPDEST
00001af0: POP
00001af1: SWAP2
00001af2: SWAP1
00001af3: POP
00001af4: JUMP
00001af5: JUMPDEST
00001af6: CALLER
00001af7: PUSH1 0x00
00001af9: SWAP1
00001afa: DUP2
00001afb: MSTORE
00001afc: PUSH1 0x04
00001afe: PUSH1 0x20
00001b00: MSTORE
00001b01: PUSH1 0x40
00001b03: DUP2
00001b04: KECCAK256
00001b05: SLOAD
00001b06: DUP4
00001b07: GT
00001b08: ISZERO
00001b09: PUSH2 0x1b54
00001b0c: JUMPI
00001b0d: PUSH1 0x40
00001b0f: MLOAD
00001b10: PUSH3 0x461bcd
00001b14: PUSH1 0xe5
00001b16: SHL
00001b17: DUP2
00001b18: MSTORE
00001b19: PUSH1 0x20
00001b1b: PUSH1 0x04
00001b1d: DUP3
00001b1e: ADD
00001b1f: MSTORE
00001b20: PUSH1 0x1c
00001b22: PUSH1 0x24
00001b24: DUP3
00001b25: ADD
00001b26: MSTORE
00001b27: PUSH32 0x57495448445241572d4154545249425554494f4e5f424144434f4e5300000000
00001b48: PUSH1 0x44
00001b4a: DUP3
00001b4b: ADD
00001b4c: MSTORE
00001b4d: PUSH1 0x64
00001b4f: ADD
00001b50: PUSH2 0x04c4
00001b53: JUMP
00001b54: JUMPDEST
00001b55: PUSH1 0x00
00001b57: PUSH2 0x1b5e
00001b5a: PUSH2 0x0787
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: SWAP1
00001b60: POP
00001b61: PUSH1 0x05
00001b63: SLOAD
00001b64: PUSH2 0x1b6b
00001b67: PUSH2 0x079e
00001b6a: JUMP
00001b6b: JUMPDEST
00001b6c: PUSH2 0x1b75
00001b6f: SWAP1
00001b70: DUP7
00001b71: PUSH2 0x2312
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH2 0x1b7f
00001b79: SWAP2
00001b7a: SWAP1
00001b7b: PUSH2 0x2331
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: CALLER
00001b81: PUSH1 0x00
00001b83: SWAP1
00001b84: DUP2
00001b85: MSTORE
00001b86: PUSH1 0x04
00001b88: PUSH1 0x20
00001b8a: MSTORE
00001b8b: PUSH1 0x40
00001b8d: DUP2
00001b8e: KECCAK256
00001b8f: DUP1
00001b90: SLOAD
00001b91: DUP8
00001b92: SWAP1
00001b93: SUB
00001b94: SWAP1
00001b95: SSTORE
00001b96: PUSH1 0x05
00001b98: DUP1
00001b99: SLOAD
00001b9a: SWAP3
00001b9b: SWAP5
00001b9c: POP
00001b9d: DUP7
00001b9e: SWAP3
00001b9f: SWAP1
00001ba0: SWAP2
00001ba1: SWAP1
00001ba2: PUSH2 0x1bac
00001ba5: SWAP1
00001ba6: DUP5
00001ba7: SWAP1
00001ba8: PUSH2 0x23a0
00001bab: JUMP
00001bac: JUMPDEST
00001bad: SWAP1
00001bae: SWAP2
00001baf: SSTORE
00001bb0: POP
00001bb1: POP
00001bb2: DUP2
00001bb3: DUP2
00001bb4: LT
00001bb5: ISZERO
00001bb6: PUSH2 0x1bc7
00001bb9: JUMPI
00001bba: DUP1
00001bbb: DUP3
00001bbc: SUB
00001bbd: PUSH2 0x1bc5
00001bc0: DUP2
00001bc1: PUSH2 0x1d07
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: POP
00001bc7: JUMPDEST
00001bc8: DUP2
00001bc9: PUSH1 0x07
00001bcb: PUSH1 0x00
00001bcd: DUP3
00001bce: DUP3
00001bcf: SLOAD
00001bd0: PUSH2 0x1bd9
00001bd3: SWAP2
00001bd4: SWAP1
00001bd5: PUSH2 0x23a0
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: SWAP1
00001bdb: SWAP2
00001bdc: SSTORE
00001bdd: POP
00001bde: POP
00001bdf: PUSH1 0x00
00001be1: SLOAD
00001be2: PUSH2 0x05f7
00001be5: SWAP1
00001be6: PUSH1 0x01
00001be8: PUSH1 0x01
00001bea: PUSH1 0xa0
00001bec: SHL
00001bed: SUB
00001bee: AND
00001bef: DUP5
00001bf0: DUP5
00001bf1: JUMPDEST
00001bf2: PUSH1 0x40
00001bf4: MLOAD
00001bf5: PUSH1 0x01
00001bf7: PUSH1 0x01
00001bf9: PUSH1 0xa0
00001bfb: SHL
00001bfc: SUB
00001bfd: DUP4
00001bfe: AND
00001bff: PUSH1 0x24
00001c01: DUP3
00001c02: ADD
00001c03: MSTORE
00001c04: PUSH1 0x44
00001c06: DUP2
00001c07: ADD
00001c08: DUP3
00001c09: SWAP1
00001c0a: MSTORE
00001c0b: PUSH2 0x186f
00001c0e: SWAP1
00001c0f: DUP5
00001c10: SWAP1
00001c11: PUSH4 0xa9059cbb
00001c16: PUSH1 0xe0
00001c18: SHL
00001c19: SWAP1
00001c1a: PUSH1 0x64
00001c1c: ADD
00001c1d: JUMPDEST
00001c1e: PUSH1 0x40
00001c20: DUP1
00001c21: MLOAD
00001c22: PUSH1 0x1f
00001c24: NOT
00001c25: DUP2
00001c26: DUP5
00001c27: SUB
00001c28: ADD
00001c29: DUP2
00001c2a: MSTORE
00001c2b: SWAP2
00001c2c: SWAP1
00001c2d: MSTORE
00001c2e: PUSH1 0x20
00001c30: DUP2
00001c31: ADD
00001c32: DUP1
00001c33: MLOAD
00001c34: PUSH1 0x01
00001c36: PUSH1 0x01
00001c38: PUSH1 0xe0
00001c3a: SHL
00001c3b: SUB
00001c3c: AND
00001c3d: PUSH1 0x01
00001c3f: PUSH1 0x01
00001c41: PUSH1 0xe0
00001c43: SHL
00001c44: SUB
00001c45: NOT
00001c46: SWAP1
00001c47: SWAP4
00001c48: AND
00001c49: SWAP3
00001c4a: SWAP1
00001c4b: SWAP3
00001c4c: OR
00001c4d: SWAP1
00001c4e: SWAP2
00001c4f: MSTORE
00001c50: PUSH2 0x1f13
00001c53: JUMP
00001c54: JUMPDEST
00001c55: PUSH1 0x40
00001c57: MLOAD
00001c58: PUSH1 0x01
00001c5a: PUSH1 0x01
00001c5c: PUSH1 0xa0
00001c5e: SHL
00001c5f: SUB
00001c60: DUP1
00001c61: DUP6
00001c62: AND
00001c63: PUSH1 0x24
00001c65: DUP4
00001c66: ADD
00001c67: MSTORE
00001c68: DUP4
00001c69: AND
00001c6a: PUSH1 0x44
00001c6c: DUP3
00001c6d: ADD
00001c6e: MSTORE
00001c6f: PUSH1 0x64
00001c71: DUP2
00001c72: ADD
00001c73: DUP3
00001c74: SWAP1
00001c75: MSTORE
00001c76: PUSH2 0x0ae2
00001c79: SWAP1
00001c7a: DUP6
00001c7b: SWAP1
00001c7c: PUSH4 0x23b872dd
00001c81: PUSH1 0xe0
00001c83: SHL
00001c84: SWAP1
00001c85: PUSH1 0x84
00001c87: ADD
00001c88: PUSH2 0x1c1d
00001c8b: JUMP
00001c8c: JUMPDEST
00001c8d: PUSH1 0x00
00001c8f: DUP2
00001c90: DUP4
00001c91: LT
00001c92: ISZERO
00001c93: PUSH2 0x1cde
00001c96: JUMPI
00001c97: PUSH1 0x40
00001c99: MLOAD
00001c9a: PUSH3 0x461bcd
00001c9e: PUSH1 0xe5
00001ca0: SHL
00001ca1: DUP2
00001ca2: MSTORE
00001ca3: PUSH1 0x20
00001ca5: PUSH1 0x04
00001ca7: DUP3
00001ca8: ADD
00001ca9: MSTORE
00001caa: PUSH1 0x19
00001cac: PUSH1 0x24
00001cae: DUP3
00001caf: ADD
00001cb0: MSTORE
00001cb1: PUSH32 0x4552524f525f4e554d455241544f525f544f4f5f534d414c4c00000000000000
00001cd2: PUSH1 0x44
00001cd4: DUP3
00001cd5: ADD
00001cd6: MSTORE
00001cd7: PUSH1 0x64
00001cd9: ADD
00001cda: PUSH2 0x04c4
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH1 0x00
00001ce1: PUSH2 0x1cea
00001ce4: DUP4
00001ce5: DUP6
00001ce6: PUSH2 0x2331
00001ce9: JUMP
00001cea: JUMPDEST
00001ceb: SWAP1
00001cec: POP
00001ced: DUP4
00001cee: PUSH2 0x1cf7
00001cf1: DUP5
00001cf2: DUP4
00001cf3: PUSH2 0x2312
00001cf6: JUMP
00001cf7: JUMPDEST
00001cf8: EQ
00001cf9: PUSH2 0x04d7
00001cfc: JUMPI
00001cfd: PUSH2 0x0778
00001d00: PUSH1 0x01
00001d02: DUP3
00001d03: PUSH2 0x22fa
00001d06: JUMP
00001d07: JUMPDEST
00001d08: PUSH1 0x01
00001d0a: SLOAD
00001d0b: PUSH1 0x01
00001d0d: PUSH1 0x01
00001d0f: PUSH1 0xa0
00001d11: SHL
00001d12: SUB
00001d13: AND
00001d14: PUSH2 0x1d5a
00001d17: JUMPI
00001d18: PUSH1 0x40
00001d1a: MLOAD
00001d1b: PUSH3 0x461bcd
00001d1f: PUSH1 0xe5
00001d21: SHL
00001d22: DUP2
00001d23: MSTORE
00001d24: PUSH1 0x20
00001d26: PUSH1 0x04
00001d28: DUP3
00001d29: ADD
00001d2a: MSTORE
00001d2b: PUSH1 0x18
00001d2d: PUSH1 0x24
00001d2f: DUP3
00001d30: ADD
00001d31: MSTORE
00001d32: PUSH24 0x11549493d497d0d3d3951493d313115497d393d517d4d155
00001d4b: PUSH1 0x42
00001d4d: SHL
00001d4e: PUSH1 0x44
00001d50: DUP3
00001d51: ADD
00001d52: MSTORE
00001d53: PUSH1 0x64
00001d55: ADD
00001d56: PUSH2 0x04c4
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: PUSH1 0x00
00001d5d: DUP1
00001d5e: SLOAD
00001d5f: PUSH1 0x40
00001d61: MLOAD
00001d62: PUSH4 0x70a08231
00001d67: PUSH1 0xe0
00001d69: SHL
00001d6a: DUP2
00001d6b: MSTORE
00001d6c: ADDRESS
00001d6d: PUSH1 0x04
00001d6f: DUP3
00001d70: ADD
00001d71: MSTORE
00001d72: PUSH1 0x01
00001d74: PUSH1 0x01
00001d76: PUSH1 0xa0
00001d78: SHL
00001d79: SUB
00001d7a: SWAP1
00001d7b: SWAP2
00001d7c: AND
00001d7d: SWAP1
00001d7e: PUSH4 0x70a08231
00001d83: SWAP1
00001d84: PUSH1 0x24
00001d86: ADD
00001d87: PUSH1 0x20
00001d89: PUSH1 0x40
00001d8b: MLOAD
00001d8c: DUP1
00001d8d: DUP4
00001d8e: SUB
00001d8f: DUP2
00001d90: DUP7
00001d91: GAS
00001d92: STATICCALL
00001d93: ISZERO
00001d94: DUP1
00001d95: ISZERO
00001d96: PUSH2 0x1da3
00001d99: JUMPI
00001d9a: RETURNDATASIZE
00001d9b: PUSH1 0x00
00001d9d: DUP1
00001d9e: RETURNDATACOPY
00001d9f: RETURNDATASIZE
00001da0: PUSH1 0x00
00001da2: REVERT
00001da3: JUMPDEST
00001da4: POP
00001da5: POP
00001da6: POP
00001da7: POP
00001da8: PUSH1 0x40
00001daa: MLOAD
00001dab: RETURNDATASIZE
00001dac: PUSH1 0x1f
00001dae: NOT
00001daf: PUSH1 0x1f
00001db1: DUP3
00001db2: ADD
00001db3: AND
00001db4: DUP3
00001db5: ADD
00001db6: DUP1
00001db7: PUSH1 0x40
00001db9: MSTORE
00001dba: POP
00001dbb: DUP2
00001dbc: ADD
00001dbd: SWAP1
00001dbe: PUSH2 0x1dc7
00001dc1: SWAP2
00001dc2: SWAP1
00001dc3: PUSH2 0x23b7
00001dc6: JUMP
00001dc7: JUMPDEST
00001dc8: PUSH1 0x01
00001dca: SLOAD
00001dcb: PUSH1 0x40
00001dcd: MLOAD
00001dce: PUSH4 0xf3fef3a3
00001dd3: PUSH1 0xe0
00001dd5: SHL
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: ADDRESS
00001dd9: PUSH1 0x04
00001ddb: DUP3
00001ddc: ADD
00001ddd: MSTORE
00001dde: PUSH1 0x24
00001de0: DUP2
00001de1: ADD
00001de2: DUP6
00001de3: SWAP1
00001de4: MSTORE
00001de5: SWAP2
00001de6: SWAP3
00001de7: POP
00001de8: PUSH1 0x01
00001dea: PUSH1 0x01
00001dec: PUSH1 0xa0
00001dee: SHL
00001def: SUB
00001df0: AND
00001df1: SWAP1
00001df2: PUSH4 0xf3fef3a3
00001df7: SWAP1
00001df8: PUSH1 0x44
00001dfa: ADD
00001dfb: PUSH1 0x00
00001dfd: PUSH1 0x40
00001dff: MLOAD
00001e00: DUP1
00001e01: DUP4
00001e02: SUB
00001e03: DUP2
00001e04: PUSH1 0x00
00001e06: DUP8
00001e07: DUP1
00001e08: EXTCODESIZE
00001e09: ISZERO
00001e0a: DUP1
00001e0b: ISZERO
00001e0c: PUSH2 0x1e14
00001e0f: JUMPI
00001e10: PUSH1 0x00
00001e12: DUP1
00001e13: REVERT
00001e14: JUMPDEST
00001e15: POP
00001e16: GAS
00001e17: CALL
00001e18: ISZERO
00001e19: DUP1
00001e1a: ISZERO
00001e1b: PUSH2 0x1e28
00001e1e: JUMPI
00001e1f: RETURNDATASIZE
00001e20: PUSH1 0x00
00001e22: DUP1
00001e23: RETURNDATACOPY
00001e24: RETURNDATASIZE
00001e25: PUSH1 0x00
00001e27: REVERT
00001e28: JUMPDEST
00001e29: POP
00001e2a: POP
00001e2b: PUSH1 0x00
00001e2d: DUP1
00001e2e: SLOAD
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: PUSH4 0x70a08231
00001e37: PUSH1 0xe0
00001e39: SHL
00001e3a: DUP2
00001e3b: MSTORE
00001e3c: ADDRESS
00001e3d: PUSH1 0x04
00001e3f: DUP3
00001e40: ADD
00001e41: MSTORE
00001e42: SWAP2
00001e43: SWAP4
00001e44: POP
00001e45: DUP5
00001e46: SWAP3
00001e47: POP
00001e48: PUSH1 0x01
00001e4a: PUSH1 0x01
00001e4c: PUSH1 0xa0
00001e4e: SHL
00001e4f: SUB
00001e50: AND
00001e51: SWAP1
00001e52: PUSH4 0x70a08231
00001e57: SWAP1
00001e58: PUSH1 0x24
00001e5a: ADD
00001e5b: PUSH1 0x20
00001e5d: PUSH1 0x40
00001e5f: MLOAD
00001e60: DUP1
00001e61: DUP4
00001e62: SUB
00001e63: DUP2
00001e64: DUP7
00001e65: GAS
00001e66: STATICCALL
00001e67: ISZERO
00001e68: DUP1
00001e69: ISZERO
00001e6a: PUSH2 0x1e77
00001e6d: JUMPI
00001e6e: RETURNDATASIZE
00001e6f: PUSH1 0x00
00001e71: DUP1
00001e72: RETURNDATACOPY
00001e73: RETURNDATASIZE
00001e74: PUSH1 0x00
00001e76: REVERT
00001e77: JUMPDEST
00001e78: POP
00001e79: POP
00001e7a: POP
00001e7b: POP
00001e7c: PUSH1 0x40
00001e7e: MLOAD
00001e7f: RETURNDATASIZE
00001e80: PUSH1 0x1f
00001e82: NOT
00001e83: PUSH1 0x1f
00001e85: DUP3
00001e86: ADD
00001e87: AND
00001e88: DUP3
00001e89: ADD
00001e8a: DUP1
00001e8b: PUSH1 0x40
00001e8d: MSTORE
00001e8e: POP
00001e8f: DUP2
00001e90: ADD
00001e91: SWAP1
00001e92: PUSH2 0x1e9b
00001e95: SWAP2
00001e96: SWAP1
00001e97: PUSH2 0x23b7
00001e9a: JUMP
00001e9b: JUMPDEST
00001e9c: PUSH2 0x1ea5
00001e9f: SWAP2
00001ea0: SWAP1
00001ea1: PUSH2 0x23a0
00001ea4: JUMP
00001ea5: JUMPDEST
00001ea6: SWAP1
00001ea7: POP
00001ea8: DUP3
00001ea9: DUP2
00001eaa: LT
00001eab: ISZERO
00001eac: PUSH2 0x1ef7
00001eaf: JUMPI
00001eb0: PUSH1 0x40
00001eb2: MLOAD
00001eb3: PUSH3 0x461bcd
00001eb7: PUSH1 0xe5
00001eb9: SHL
00001eba: DUP2
00001ebb: MSTORE
00001ebc: PUSH1 0x20
00001ebe: PUSH1 0x04
00001ec0: DUP3
00001ec1: ADD
00001ec2: MSTORE
00001ec3: PUSH1 0x1f
00001ec5: PUSH1 0x24
00001ec7: DUP3
00001ec8: ADD
00001ec9: MSTORE
00001eca: PUSH32 0x4552524f525f494e53554646494349454e545f52455455524e5f56414c554500
00001eeb: PUSH1 0x44
00001eed: DUP3
00001eee: ADD
00001eef: MSTORE
00001ef0: PUSH1 0x64
00001ef2: ADD
00001ef3: PUSH2 0x04c4
00001ef6: JUMP
00001ef7: JUMPDEST
00001ef8: DUP1
00001ef9: PUSH1 0x07
00001efb: PUSH1 0x00
00001efd: DUP3
00001efe: DUP3
00001eff: SLOAD
00001f00: PUSH2 0x1f09
00001f03: SWAP2
00001f04: SWAP1
00001f05: PUSH2 0x22fa
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: SWAP1
00001f0b: SWAP2
00001f0c: SSTORE
00001f0d: POP
00001f0e: POP
00001f0f: POP
00001f10: POP
00001f11: POP
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH1 0x00
00001f16: PUSH2 0x1f68
00001f19: DUP3
00001f1a: PUSH1 0x40
00001f1c: MLOAD
00001f1d: DUP1
00001f1e: PUSH1 0x40
00001f20: ADD
00001f21: PUSH1 0x40
00001f23: MSTORE
00001f24: DUP1
00001f25: PUSH1 0x20
00001f27: DUP2
00001f28: MSTORE
00001f29: PUSH1 0x20
00001f2b: ADD
00001f2c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001f4d: DUP2
00001f4e: MSTORE
00001f4f: POP
00001f50: DUP6
00001f51: PUSH1 0x01
00001f53: PUSH1 0x01
00001f55: PUSH1 0xa0
00001f57: SHL
00001f58: SUB
00001f59: AND
00001f5a: PUSH2 0x1fe5
00001f5d: SWAP1
00001f5e: SWAP3
00001f5f: SWAP2
00001f60: SWAP1
00001f61: PUSH4 0xffffffff
00001f66: AND
00001f67: JUMP
00001f68: JUMPDEST
00001f69: DUP1
00001f6a: MLOAD
00001f6b: SWAP1
00001f6c: SWAP2
00001f6d: POP
00001f6e: ISZERO
00001f6f: PUSH2 0x186f
00001f72: JUMPI
00001f73: DUP1
00001f74: DUP1
00001f75: PUSH1 0x20
00001f77: ADD
00001f78: SWAP1
00001f79: MLOAD
00001f7a: DUP2
00001f7b: ADD
00001f7c: SWAP1
00001f7d: PUSH2 0x1f86
00001f80: SWAP2
00001f81: SWAP1
00001f82: PUSH2 0x2353
00001f85: JUMP
00001f86: JUMPDEST
00001f87: PUSH2 0x186f
00001f8a: JUMPI
00001f8b: PUSH1 0x40
00001f8d: MLOAD
00001f8e: PUSH3 0x461bcd
00001f92: PUSH1 0xe5
00001f94: SHL
00001f95: DUP2
00001f96: MSTORE
00001f97: PUSH1 0x20
00001f99: PUSH1 0x04
00001f9b: DUP3
00001f9c: ADD
00001f9d: MSTORE
00001f9e: PUSH1 0x2a
00001fa0: PUSH1 0x24
00001fa2: DUP3
00001fa3: ADD
00001fa4: MSTORE
00001fa5: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001fc6: PUSH1 0x44
00001fc8: DUP3
00001fc9: ADD
00001fca: MSTORE
00001fcb: PUSH10 0x1bdd081cdd58d8d95959
00001fd6: PUSH1 0xb2
00001fd8: SHL
00001fd9: PUSH1 0x64
00001fdb: DUP3
00001fdc: ADD
00001fdd: MSTORE
00001fde: PUSH1 0x84
00001fe0: ADD
00001fe1: PUSH2 0x04c4
00001fe4: JUMP
00001fe5: JUMPDEST
00001fe6: PUSH1 0x60
00001fe8: PUSH2 0x0778
00001feb: DUP5
00001fec: DUP5
00001fed: PUSH1 0x00
00001fef: DUP6
00001ff0: DUP6
00001ff1: DUP5
00001ff2: EXTCODESIZE
00001ff3: PUSH2 0x203e
00001ff6: JUMPI
00001ff7: PUSH1 0x40
00001ff9: MLOAD
00001ffa: PUSH3 0x461bcd
00001ffe: PUSH1 0xe5
00002000: SHL
00002001: DUP2
00002002: MSTORE
00002003: PUSH1 0x20
00002005: PUSH1 0x04
00002007: DUP3
00002008: ADD
00002009: MSTORE
0000200a: PUSH1 0x1d
0000200c: PUSH1 0x24
0000200e: DUP3
0000200f: ADD
00002010: MSTORE
00002011: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002032: PUSH1 0x44
00002034: DUP3
00002035: ADD
00002036: MSTORE
00002037: PUSH1 0x64
00002039: ADD
0000203a: PUSH2 0x04c4
0000203d: JUMP
0000203e: JUMPDEST
0000203f: PUSH1 0x00
00002041: DUP1
00002042: DUP7
00002043: PUSH1 0x01
00002045: PUSH1 0x01
00002047: PUSH1 0xa0
00002049: SHL
0000204a: SUB
0000204b: AND
0000204c: DUP6
0000204d: DUP8
0000204e: PUSH1 0x40
00002050: MLOAD
00002051: PUSH2 0x205a
00002054: SWAP2
00002055: SWAP1
00002056: PUSH2 0x244e
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x00
0000205d: PUSH1 0x40
0000205f: MLOAD
00002060: DUP1
00002061: DUP4
00002062: SUB
00002063: DUP2
00002064: DUP6
00002065: DUP8
00002066: GAS
00002067: CALL
00002068: SWAP3
00002069: POP
0000206a: POP
0000206b: POP
0000206c: RETURNDATASIZE
0000206d: DUP1
0000206e: PUSH1 0x00
00002070: DUP2
00002071: EQ
00002072: PUSH2 0x2097
00002075: JUMPI
00002076: PUSH1 0x40
00002078: MLOAD
00002079: SWAP2
0000207a: POP
0000207b: PUSH1 0x1f
0000207d: NOT
0000207e: PUSH1 0x3f
00002080: RETURNDATASIZE
00002081: ADD
00002082: AND
00002083: DUP3
00002084: ADD
00002085: PUSH1 0x40
00002087: MSTORE
00002088: RETURNDATASIZE
00002089: DUP3
0000208a: MSTORE
0000208b: RETURNDATASIZE
0000208c: PUSH1 0x00
0000208e: PUSH1 0x20
00002090: DUP5
00002091: ADD
00002092: RETURNDATACOPY
00002093: PUSH2 0x209c
00002096: JUMP
00002097: JUMPDEST
00002098: PUSH1 0x60
0000209a: SWAP2
0000209b: POP
0000209c: JUMPDEST
0000209d: POP
0000209e: SWAP2
0000209f: POP
000020a0: SWAP2
000020a1: POP
000020a2: PUSH2 0x20ac
000020a5: DUP3
000020a6: DUP3
000020a7: DUP7
000020a8: PUSH2 0x20b7
000020ab: JUMP
000020ac: JUMPDEST
000020ad: SWAP8
000020ae: SWAP7
000020af: POP
000020b0: POP
000020b1: POP
000020b2: POP
000020b3: POP
000020b4: POP
000020b5: POP
000020b6: JUMP
000020b7: JUMPDEST
000020b8: PUSH1 0x60
000020ba: DUP4
000020bb: ISZERO
000020bc: PUSH2 0x20c6
000020bf: JUMPI
000020c0: POP
000020c1: DUP2
000020c2: PUSH2 0x04d7
000020c5: JUMP
000020c6: JUMPDEST
000020c7: DUP3
000020c8: MLOAD
000020c9: ISZERO
000020ca: PUSH2 0x20d6
000020cd: JUMPI
000020ce: DUP3
000020cf: MLOAD
000020d0: DUP1
000020d1: DUP5
000020d2: PUSH1 0x20
000020d4: ADD
000020d5: REVERT
000020d6: JUMPDEST
000020d7: DUP2
000020d8: PUSH1 0x40
000020da: MLOAD
000020db: PUSH3 0x461bcd
000020df: PUSH1 0xe5
000020e1: SHL
000020e2: DUP2
000020e3: MSTORE
000020e4: PUSH1 0x04
000020e6: ADD
000020e7: PUSH2 0x04c4
000020ea: SWAP2
000020eb: SWAP1
000020ec: PUSH2 0x246a
000020ef: JUMP
000020f0: JUMPDEST
000020f1: PUSH1 0x40
000020f3: MLOAD
000020f4: DUP1
000020f5: PUSH1 0x40
000020f7: ADD
000020f8: PUSH1 0x40
000020fa: MSTORE
000020fb: DUP1
000020fc: PUSH1 0x02
000020fe: SWAP1
000020ff: PUSH1 0x20
00002101: DUP3
00002102: MUL
00002103: DUP1
00002104: CALLDATASIZE
00002105: DUP4
00002106: CALLDATACOPY
00002107: POP
00002108: SWAP2
00002109: SWAP3
0000210a: SWAP2
0000210b: POP
0000210c: POP
0000210d: JUMP
0000210e: JUMPDEST
0000210f: PUSH1 0x01
00002111: PUSH1 0x01
00002113: PUSH1 0xa0
00002115: SHL
00002116: SUB
00002117: DUP2
00002118: AND
00002119: DUP2
0000211a: EQ
0000211b: PUSH2 0x0d23
0000211e: JUMPI
0000211f: PUSH1 0x00
00002121: DUP1
00002122: REVERT
00002123: JUMPDEST
00002124: PUSH1 0x00
00002126: DUP1
00002127: PUSH1 0x40
00002129: DUP4
0000212a: DUP6
0000212b: SUB
0000212c: SLT
0000212d: ISZERO
0000212e: PUSH2 0x2136
00002131: JUMPI
00002132: PUSH1 0x00
00002134: DUP1
00002135: REVERT
00002136: JUMPDEST
00002137: DUP3
00002138: CALLDATALOAD
00002139: SWAP2
0000213a: POP
0000213b: PUSH1 0x20
0000213d: DUP4
0000213e: ADD
0000213f: CALLDATALOAD
00002140: PUSH2 0x2148
00002143: DUP2
00002144: PUSH2 0x210e
00002147: JUMP
00002148: JUMPDEST
00002149: DUP1
0000214a: SWAP2
0000214b: POP
0000214c: POP
0000214d: SWAP3
0000214e: POP
0000214f: SWAP3
00002150: SWAP1
00002151: POP
00002152: JUMP
00002153: JUMPDEST
00002154: PUSH1 0x00
00002156: DUP1
00002157: PUSH1 0x40
00002159: DUP4
0000215a: DUP6
0000215b: SUB
0000215c: SLT
0000215d: ISZERO
0000215e: PUSH2 0x2166
00002161: JUMPI
00002162: PUSH1 0x00
00002164: DUP1
00002165: REVERT
00002166: JUMPDEST
00002167: DUP3
00002168: CALLDATALOAD
00002169: PUSH2 0x2171
0000216c: DUP2
0000216d: PUSH2 0x210e
00002170: JUMP
00002171: JUMPDEST
00002172: SWAP5
00002173: PUSH1 0x20
00002175: SWAP4
00002176: SWAP1
00002177: SWAP4
00002178: ADD
00002179: CALLDATALOAD
0000217a: SWAP4
0000217b: POP
0000217c: POP
0000217d: POP
0000217e: JUMP
0000217f: JUMPDEST
00002180: PUSH1 0x00
00002182: PUSH1 0x20
00002184: DUP3
00002185: DUP5
00002186: SUB
00002187: SLT
00002188: ISZERO
00002189: PUSH2 0x2191
0000218c: JUMPI
0000218d: PUSH1 0x00
0000218f: DUP1
00002190: REVERT
00002191: JUMPDEST
00002192: DUP2
00002193: CALLDATALOAD
00002194: PUSH2 0x04d7
00002197: DUP2
00002198: PUSH2 0x210e
0000219b: JUMP
0000219c: JUMPDEST
0000219d: PUSH1 0x00
0000219f: DUP1
000021a0: PUSH1 0x40
000021a2: DUP4
000021a3: DUP6
000021a4: SUB
000021a5: SLT
000021a6: ISZERO
000021a7: PUSH2 0x21af
000021aa: JUMPI
000021ab: PUSH1 0x00
000021ad: DUP1
000021ae: REVERT
000021af: JUMPDEST
000021b0: DUP3
000021b1: CALLDATALOAD
000021b2: PUSH2 0x21ba
000021b5: DUP2
000021b6: PUSH2 0x210e
000021b9: JUMP
000021ba: JUMPDEST
000021bb: SWAP2
000021bc: POP
000021bd: PUSH1 0x20
000021bf: DUP4
000021c0: ADD
000021c1: CALLDATALOAD
000021c2: PUSH2 0x2148
000021c5: DUP2
000021c6: PUSH2 0x210e
000021c9: JUMP
000021ca: JUMPDEST
000021cb: PUSH1 0x00
000021cd: PUSH1 0x20
000021cf: DUP3
000021d0: DUP5
000021d1: SUB
000021d2: SLT
000021d3: ISZERO
000021d4: PUSH2 0x21dc
000021d7: JUMPI
000021d8: PUSH1 0x00
000021da: DUP1
000021db: REVERT
000021dc: JUMPDEST
000021dd: POP
000021de: CALLDATALOAD
000021df: SWAP2
000021e0: SWAP1
000021e1: POP
000021e2: JUMP
000021e3: JUMPDEST
000021e4: DUP1
000021e5: PUSH1 0x40
000021e7: DUP2
000021e8: ADD
000021e9: DUP4
000021ea: LT
000021eb: ISZERO
000021ec: PUSH2 0x05f9
000021ef: JUMPI
000021f0: PUSH1 0x00
000021f2: DUP1
000021f3: REVERT
000021f4: JUMPDEST
000021f5: PUSH1 0x00
000021f7: DUP1
000021f8: PUSH1 0x00
000021fa: DUP1
000021fb: PUSH1 0xc0
000021fd: DUP6
000021fe: DUP8
000021ff: SUB
00002200: SLT
00002201: ISZERO
00002202: PUSH2 0x220a
00002205: JUMPI
00002206: PUSH1 0x00
00002208: DUP1
00002209: REVERT
0000220a: JUMPDEST
0000220b: DUP5
0000220c: CALLDATALOAD
0000220d: SWAP4
0000220e: POP
0000220f: PUSH1 0x20
00002211: DUP6
00002212: ADD
00002213: CALLDATALOAD
00002214: PUSH2 0x221c
00002217: DUP2
00002218: PUSH2 0x210e
0000221b: JUMP
0000221c: JUMPDEST
0000221d: SWAP3
0000221e: POP
0000221f: PUSH2 0x222b
00002222: DUP7
00002223: PUSH1 0x40
00002225: DUP8
00002226: ADD
00002227: PUSH2 0x21e3
0000222a: JUMP
0000222b: JUMPDEST
0000222c: SWAP2
0000222d: POP
0000222e: PUSH2 0x223a
00002231: DUP7
00002232: PUSH1 0x80
00002234: DUP8
00002235: ADD
00002236: PUSH2 0x21e3
00002239: JUMP
0000223a: JUMPDEST
0000223b: SWAP1
0000223c: POP
0000223d: SWAP3
0000223e: SWAP6
0000223f: SWAP2
00002240: SWAP5
00002241: POP
00002242: SWAP3
00002243: POP
00002244: JUMP
00002245: JUMPDEST
00002246: PUSH1 0x40
00002248: DUP2
00002249: ADD
0000224a: DUP2
0000224b: DUP4
0000224c: PUSH1 0x00
0000224e: JUMPDEST
0000224f: PUSH1 0x02
00002251: DUP2
00002252: LT
00002253: ISZERO
00002254: PUSH2 0x226d
00002257: JUMPI
00002258: DUP2
00002259: MLOAD
0000225a: DUP4
0000225b: MSTORE
0000225c: PUSH1 0x20
0000225e: SWAP3
0000225f: DUP4
00002260: ADD
00002261: SWAP3
00002262: SWAP1
00002263: SWAP2
00002264: ADD
00002265: SWAP1
00002266: PUSH1 0x01
00002268: ADD
00002269: PUSH2 0x224e
0000226c: JUMP
0000226d: JUMPDEST
0000226e: POP
0000226f: POP
00002270: POP
00002271: SWAP3
00002272: SWAP2
00002273: POP
00002274: POP
00002275: JUMP
00002276: JUMPDEST
00002277: PUSH1 0x00
00002279: DUP1
0000227a: PUSH1 0x00
0000227c: PUSH1 0x60
0000227e: DUP5
0000227f: DUP7
00002280: SUB
00002281: SLT
00002282: ISZERO
00002283: PUSH2 0x228b
00002286: JUMPI
00002287: PUSH1 0x00
00002289: DUP1
0000228a: REVERT
0000228b: JUMPDEST
0000228c: DUP4
0000228d: CALLDATALOAD
0000228e: SWAP3
0000228f: POP
00002290: PUSH1 0x20
00002292: DUP5
00002293: ADD
00002294: CALLDATALOAD
00002295: PUSH2 0x229d
00002298: DUP2
00002299: PUSH2 0x210e
0000229c: JUMP
0000229d: JUMPDEST
0000229e: SWAP2
0000229f: POP
000022a0: PUSH1 0x40
000022a2: DUP5
000022a3: ADD
000022a4: CALLDATALOAD
000022a5: PUSH2 0x22ad
000022a8: DUP2
000022a9: PUSH2 0x210e
000022ac: JUMP
000022ad: JUMPDEST
000022ae: DUP1
000022af: SWAP2
000022b0: POP
000022b1: POP
000022b2: SWAP3
000022b3: POP
000022b4: SWAP3
000022b5: POP
000022b6: SWAP3
000022b7: JUMP
000022b8: JUMPDEST
000022b9: PUSH1 0x20
000022bb: DUP1
000022bc: DUP3
000022bd: MSTORE
000022be: PUSH1 0x12
000022c0: SWAP1
000022c1: DUP3
000022c2: ADD
000022c3: MSTORE
000022c4: PUSH18 0x4552524f525f5a45524f5f41444452455353
000022d7: PUSH1 0x70
000022d9: SHL
000022da: PUSH1 0x40
000022dc: DUP3
000022dd: ADD
000022de: MSTORE
000022df: PUSH1 0x60
000022e1: ADD
000022e2: SWAP1
000022e3: JUMP
000022e4: JUMPDEST
000022e5: PUSH4 0x4e487b71
000022ea: PUSH1 0xe0
000022ec: SHL
000022ed: PUSH1 0x00
000022ef: MSTORE
000022f0: PUSH1 0x11
000022f2: PUSH1 0x04
000022f4: MSTORE
000022f5: PUSH1 0x24
000022f7: PUSH1 0x00
000022f9: REVERT
000022fa: JUMPDEST
000022fb: PUSH1 0x00
000022fd: DUP3
000022fe: NOT
000022ff: DUP3
00002300: GT
00002301: ISZERO
00002302: PUSH2 0x230d
00002305: JUMPI
00002306: PUSH2 0x230d
00002309: PUSH2 0x22e4
0000230c: JUMP
0000230d: JUMPDEST
0000230e: POP
0000230f: ADD
00002310: SWAP1
00002311: JUMP
00002312: JUMPDEST
00002313: PUSH1 0x00
00002315: DUP2
00002316: PUSH1 0x00
00002318: NOT
00002319: DIV
0000231a: DUP4
0000231b: GT
0000231c: DUP3
0000231d: ISZERO
0000231e: ISZERO
0000231f: AND
00002320: ISZERO
00002321: PUSH2 0x232c
00002324: JUMPI
00002325: PUSH2 0x232c
00002328: PUSH2 0x22e4
0000232b: JUMP
0000232c: JUMPDEST
0000232d: POP
0000232e: MUL
0000232f: SWAP1
00002330: JUMP
00002331: JUMPDEST
00002332: PUSH1 0x00
00002334: DUP3
00002335: PUSH2 0x234e
00002338: JUMPI
00002339: PUSH4 0x4e487b71
0000233e: PUSH1 0xe0
00002340: SHL
00002341: PUSH1 0x00
00002343: MSTORE
00002344: PUSH1 0x12
00002346: PUSH1 0x04
00002348: MSTORE
00002349: PUSH1 0x24
0000234b: PUSH1 0x00
0000234d: REVERT
0000234e: JUMPDEST
0000234f: POP
00002350: DIV
00002351: SWAP1
00002352: JUMP
00002353: JUMPDEST
00002354: PUSH1 0x00
00002356: PUSH1 0x20
00002358: DUP3
00002359: DUP5
0000235a: SUB
0000235b: SLT
0000235c: ISZERO
0000235d: PUSH2 0x2365
00002360: JUMPI
00002361: PUSH1 0x00
00002363: DUP1
00002364: REVERT
00002365: JUMPDEST
00002366: DUP2
00002367: MLOAD
00002368: DUP1
00002369: ISZERO
0000236a: ISZERO
0000236b: DUP2
0000236c: EQ
0000236d: PUSH2 0x04d7
00002370: JUMPI
00002371: PUSH1 0x00
00002373: DUP1
00002374: REVERT
00002375: JUMPDEST
00002376: PUSH1 0x20
00002378: DUP1
00002379: DUP3
0000237a: MSTORE
0000237b: PUSH1 0x11
0000237d: SWAP1
0000237e: DUP3
0000237f: ADD
00002380: MSTORE
00002381: PUSH17 0x11549493d497d3d3931657d3505492d155
00002393: PUSH1 0x7a
00002395: SHL
00002396: PUSH1 0x40
00002398: DUP3
00002399: ADD
0000239a: MSTORE
0000239b: PUSH1 0x60
0000239d: ADD
0000239e: SWAP1
0000239f: JUMP
000023a0: JUMPDEST
000023a1: PUSH1 0x00
000023a3: DUP3
000023a4: DUP3
000023a5: LT
000023a6: ISZERO
000023a7: PUSH2 0x23b2
000023aa: JUMPI
000023ab: PUSH2 0x23b2
000023ae: PUSH2 0x22e4
000023b1: JUMP
000023b2: JUMPDEST
000023b3: POP
000023b4: SUB
000023b5: SWAP1
000023b6: JUMP
000023b7: JUMPDEST
000023b8: PUSH1 0x00
000023ba: PUSH1 0x20
000023bc: DUP3
000023bd: DUP5
000023be: SUB
000023bf: SLT
000023c0: ISZERO
000023c1: PUSH2 0x23c9
000023c4: JUMPI
000023c5: PUSH1 0x00
000023c7: DUP1
000023c8: REVERT
000023c9: JUMPDEST
000023ca: POP
000023cb: MLOAD
000023cc: SWAP2
000023cd: SWAP1
000023ce: POP
000023cf: JUMP
000023d0: JUMPDEST
000023d1: PUSH1 0x00
000023d3: PUSH1 0x20
000023d5: DUP3
000023d6: DUP5
000023d7: SUB
000023d8: SLT
000023d9: ISZERO
000023da: PUSH2 0x23e2
000023dd: JUMPI
000023de: PUSH1 0x00
000023e0: DUP1
000023e1: REVERT
000023e2: JUMPDEST
000023e3: DUP2
000023e4: MLOAD
000023e5: PUSH2 0x04d7
000023e8: DUP2
000023e9: PUSH2 0x210e
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH1 0x20
000023f0: DUP1
000023f1: DUP3
000023f2: MSTORE
000023f3: DUP2
000023f4: DUP2
000023f5: ADD
000023f6: MSTORE
000023f7: PUSH32 0x43616c6c6572206973206e6f7420616c6c6f77656420746f206f706572617465
00002418: PUSH1 0x40
0000241a: DUP3
0000241b: ADD
0000241c: MSTORE
0000241d: PUSH1 0x60
0000241f: ADD
00002420: SWAP1
00002421: JUMP
00002422: JUMPDEST
00002423: PUSH1 0x00
00002425: JUMPDEST
00002426: DUP4
00002427: DUP2
00002428: LT
00002429: ISZERO
0000242a: PUSH2 0x243d
0000242d: JUMPI
0000242e: DUP2
0000242f: DUP2
00002430: ADD
00002431: MLOAD
00002432: DUP4
00002433: DUP3
00002434: ADD
00002435: MSTORE
00002436: PUSH1 0x20
00002438: ADD
00002439: PUSH2 0x2425
0000243c: JUMP
0000243d: JUMPDEST
0000243e: DUP4
0000243f: DUP2
00002440: GT
00002441: ISZERO
00002442: PUSH2 0x0ae2
00002445: JUMPI
00002446: POP
00002447: POP
00002448: PUSH1 0x00
0000244a: SWAP2
0000244b: ADD
0000244c: MSTORE
0000244d: JUMP
0000244e: JUMPDEST
0000244f: PUSH1 0x00
00002451: DUP3
00002452: MLOAD
00002453: PUSH2 0x2460
00002456: DUP2
00002457: DUP5
00002458: PUSH1 0x20
0000245a: DUP8
0000245b: ADD
0000245c: PUSH2 0x2422
0000245f: JUMP
00002460: JUMPDEST
00002461: SWAP2
00002462: SWAP1
00002463: SWAP2
00002464: ADD
00002465: SWAP3
00002466: SWAP2
00002467: POP
00002468: POP
00002469: JUMP
0000246a: JUMPDEST
0000246b: PUSH1 0x20
0000246d: DUP2
0000246e: MSTORE
0000246f: PUSH1 0x00
00002471: DUP3
00002472: MLOAD
00002473: DUP1
00002474: PUSH1 0x20
00002476: DUP5
00002477: ADD
00002478: MSTORE
00002479: PUSH2 0x2489
0000247c: DUP2
0000247d: PUSH1 0x40
0000247f: DUP6
00002480: ADD
00002481: PUSH1 0x20
00002483: DUP8
00002484: ADD
00002485: PUSH2 0x2422
00002488: JUMP
00002489: JUMPDEST
0000248a: PUSH1 0x1f
0000248c: ADD
0000248d: PUSH1 0x1f
0000248f: NOT
00002490: AND
00002491: SWAP2
00002492: SWAP1
00002493: SWAP2
00002494: ADD
00002495: PUSH1 0x40
00002497: ADD
00002498: SWAP3
00002499: SWAP2
0000249a: POP
0000249b: POP
0000249c: JUMP
0000249d: INVALID
0000249e: LOG2
0000249f: PUSH5 0x6970667358
000024a5: UNKNOWN(0x22)
000024a6: SLT
000024a7: KECCAK256
000024a8: SHL
000024a9: PUSH12 0xede4d4b64458508eb0a190d9
000024b6: XOR
000024b7: EXTCODECOPY
000024b8: UNKNOWN(0xA5)
000024b9: CREATE2
000024ba: PUSH31

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x8b7569d9a6ba92b37d8d25c66ba258ac594c9dd2013ec3091ae82473e82ce45a
call_targets: 0x131fb74c6fede6d6710ff224e07ce0ed8123f144
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8b7569d9a6ba92b37d8d25c66ba258ac594c9dd2013ec3091ae82473e82ce45a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x131fb74c6fede6d6710ff224e07ce0ed8123f144"
    ],
    "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": "0xf314ad83",
            "selector": "0xf314ad83",
            "calldata_variants": [
                "0xf314ad83",
                "0xf314ad830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8ba677f",
            "selector": "0xf8ba677f",
            "calldata_variants": [
                "0xf8ba677f",
                "0xf8ba677f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7b9c18",
            "selector": "0xfc7b9c18",
            "calldata_variants": [
                "0xfc7b9c18",
                "0xfc7b9c180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaced1661",
            "selector": "0xaced1661",
            "calldata_variants": [
                "0xaced1661",
                "0xaced16610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb4eccdce",
            "selector": "0xb4eccdce",
            "calldata_variants": [
                "0xb4eccdce",
                "0xb4eccdce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb69ef8a8",
            "selector": "0xb69ef8a8",
            "calldata_variants": [
                "0xb69ef8a8",
                "0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4980,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5503,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5768,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x8b7569d9a6ba92b37d8d25c66ba258ac594c9dd2013ec3091ae82473e82ce45a
call_targets: 0x131fb74c6fede6d6710ff224e07ce0ed8123f144
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8b7569d9a6ba92b37d8d25c66ba258ac594c9dd2013ec3091ae82473e82ce45a",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x131fb74c6fede6d6710ff224e07ce0ed8123f144"
    ],
    "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": "0xf314ad83",
            "selector": "0xf314ad83",
            "calldata_variants": [
                "0xf314ad83",
                "0xf314ad830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8ba677f",
            "selector": "0xf8ba677f",
            "calldata_variants": [
                "0xf8ba677f",
                "0xf8ba677f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7b9c18",
            "selector": "0xfc7b9c18",
            "calldata_variants": [
                "0xfc7b9c18",
                "0xfc7b9c180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaced1661",
            "selector": "0xaced1661",
            "calldata_variants": [
                "0xaced1661",
                "0xaced16610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb4eccdce",
            "selector": "0xb4eccdce",
            "calldata_variants": [
                "0xb4eccdce",
                "0xb4eccdce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb69ef8a8",
            "selector": "0xb69ef8a8",
            "calldata_variants": [
                "0xb69ef8a8",
                "0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 4980,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5503,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5768,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xb307ea28530c026a959409be4cda91ca44c0081574118de1196c587e50810cf7
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xb307ea28530c026a959409be4cda91ca44c0081574118de1196c587e50810cf7",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf314ad83",
            "selector": "0xf314ad83",
            "calldata_variants": [
                "0xf314ad83",
                "0xf314ad830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8ba677f",
            "selector": "0xf8ba677f",
            "calldata_variants": [
                "0xf8ba677f",
                "0xf8ba677f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7b9c18",
            "selector": "0xfc7b9c18",
            "calldata_variants": [
                "0xfc7b9c18",
                "0xfc7b9c180000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaced1661",
            "selector": "0xaced1661",
            "calldata_variants": [
                "0xaced1661",
                "0xaced16610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb4eccdce",
            "selector": "0xb4eccdce",
            "calldata_variants": [
                "0xb4eccdce",
                "0xb4eccdce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb69ef8a8",
            "selector": "0xb69ef8a8",
            "calldata_variants": [
                "0xb69ef8a8",
                "0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 0,
    "create2_count": 1
}
low other cast Contract creation opcode present 60 no —
view
evidence_json 
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 1
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no —
view
evidence_json 
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}
info other cast Heavy CALL-family usage 55 no —
view
evidence_json 
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 20
}