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

Analysis Run

5b0ff640-def1-4297-8513-973da872efa2

failed
Chain ID
1
Address
0xda7c0810ce6f8329786160bb3d1734cf6661ca6e
Block Number
—
Created
Sun, Jan 4, 2026 12:36 AM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
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
31494 report.consolidate complete 1 / 1 3 months ago
77590 artifact.fetch failed 1 / 3 2 weeks ago
77591 tool.cast_disasm complete 1 / 3 2 weeks ago
77592 analysis.bundle complete 1 / 3 2 weeks ago
77593 capability.graph complete 1 / 3 2 weeks ago
77594 detector.run complete 1 / 3 2 weeks ago
77595 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 found in the provided contract.
View stderr 
[codex:843814] OpenAI Codex v0.77.0 (research preview)
[codex:843814] --------
[codex:843814] workdir: /tmp/codex-multi-ww5hc6ea
[codex:843814] model: gpt-5.2-codex
[codex:843814] provider: openai
[codex:843814] approval: never
[codex:843814] sandbox: read-only
[codex:843814] reasoning effort: xhigh
[codex:843814] reasoning summaries: auto
[codex:843814] session id: 019b866b-1bb1-7ea0-9797-ad784222d6ee
[codex:843814] --------
[codex:843814] user
[codex:843814] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:843814] 
[codex:843814] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:843814] 
[codex:843814] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:843814] - Gas inefficiency, code quality, naming, or best practices
[codex:843814] - Theoretical vulnerabilities without a clear extraction path
[codex:843814] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:843814] - Front-running unless it enables theft beyond MEV
[codex:843814] - DoS, griefing, or issues that don't result in attacker profit
[codex:843814] - Missing events, view function issues, or informational findings
[codex:843814] 
[codex:843814] HIGH-VALUE PATTERNS TO HUNT:
[codex:843814] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:843814] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:843814] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:843814] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:843814] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:843814] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:843814] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:843814] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:843814] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:843814] 
[codex:843814] For each finding, you MUST provide:
[codex:843814] 1. Exact file and line numbers of vulnerable code
[codex:843814] 2. Step-by-step exploit transaction sequence
[codex:843814] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:843814] 
[codex:843814] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:843814] 
[codex:843814] Output MUST be valid JSON matching the provided schema.
[codex:843814] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:843814] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:843814] mcp startup: no servers
[codex:843814] 
[codex:843814] thinking
[codex:843814] **Preparing to locate audit instructions**
[codex:843814] exec
[codex:843814] /bin/bash -lc ls in /tmp/codex-multi-ww5hc6ea succeeded in 5ms:
[codex:843814] AUDIT_BUNDLE.txt
[codex:843814] codex-output-schema.json
[codex:843814] contracts
[codex:843814] 
[codex:843814] thinking
[codex:843814] **Reading AUDIT_BUNDLE.txt file**
[codex:843814] exec
[codex:843814] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ww5hc6ea succeeded in 5ms:
[codex:843814] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:843814] 
[codex:843814] ================================================================================
[codex:843814] FILE: contracts/contracts/JayERC20.sol
[codex:843814] ================================================================================
[codex:843814] //SPDX-License-Identifier: MIT
[codex:843814] pragma solidity 0.8.16;
[codex:843814] 
[codex:843814] import "@openzeppelin/contracts/token/ERC20/extensions/ERC20Burnable.sol";
[codex:843814] import "@openzeppelin/contracts/access/Ownable.sol";
[codex:843814] import {ReentrancyGuard} from "@openzeppelin/contracts/security/ReentrancyGuard.sol";
[codex:843814] 
[codex:843814] contract JAY is ERC20Burnable, Ownable, ReentrancyGuard {
[codex:843814]     address payable private FEE_ADDRESS;
[codex:843814] 
[codex:843814]     uint256 public constant MIN = 1000;
[codex:843814]     uint256 public MAX = 1 * 10 ** 28;
[codex:843814] 
[codex:843814]     uint16 public SELL_FEE = 900;
[codex:843814]     uint16 public BUY_FEE = 900;
[codex:843814] 
[codex:843814] 
[codex:843814] 
[codex:843814] 
[codex:843814] thinking
[codex:843814] **Evaluating bonding curve token vulnerabilities**
[codex:843814] thinking
[codex:843814] **Analyzing underflow, reentrancy, and fee mechanics in buy/sell functions**
[codex:843814] 
[codex:843814] I’m digging into how division by zero and underflow might occur in buy when initial balance is zero and confirming how nonReentrant guards prevent reentry. I’m also examining if reentrancy during external calls to fee or user addresses could enable balance manipulation through deposit or burn calls, and how fees and rounding affect token minting and ETH payouts to assess if profit extraction is possible.
[codex:843814] thinking
[codex:843814] **Evaluating flash loan and donation-based manipulation scenarios**
[codex:843814] 
[codex:843814] I'm working through whether temporarily inflating the contract’s ETH balance via flash loans or donations can be exploited to extract more ETH than invested by buying and selling tokens within a single transaction, and how fees, integer division, and supply changes influence these possibilities. The math suggests fees prevent profitable arbitrage here, so no straightforward gain appears from these maneuvers.
[codex:843814] thinking
[codex:843814] **Completing final audit assessment**
[codex:843814] 
[codex:843814] I'm wrapping up with a detailed review of arithmetic, reentrancy, fee logic, and access control; no concrete exploit path emerges, so preparing a clear no-findings JSON summary per schema.
[codex:843814] codex
[codex:843814] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}
[codex:843814] tokens used
[codex:843814] 21,442
[codex:843814] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T00:36:14.638870+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
5714
Flags
create_opcodes_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0213
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x79cc6790
00000019: GT
0000001a: PUSH2 0x0118
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd0e30db0
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe4849b32
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe4849b32
0000003a: EQ
0000003b: PUSH2 0x079e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf088d547
00000045: EQ
00000046: PUSH2 0x07c7
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x07e3
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf5755747
0000005b: EQ
0000005c: PUSH2 0x080c
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfea449f7
00000066: EQ
00000067: PUSH2 0x0849
0000006a: JUMPI
0000006b: PUSH2 0x021a
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xd0e30db0
00000076: EQ
00000077: PUSH2 0x0703
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd49d5181
00000081: EQ
00000082: PUSH2 0x070d
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xdd62ed3e
0000008c: EQ
0000008d: PUSH2 0x0738
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe064648a
00000097: EQ
00000098: PUSH2 0x0775
0000009b: JUMPI
0000009c: PUSH2 0x021a
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x0608
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa391da88
000000bd: EQ
000000be: PUSH2 0x0633
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa457c2d7
000000c8: EQ
000000c9: PUSH2 0x065e
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa9059cbb
000000d3: EQ
000000d4: PUSH2 0x069b
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xbe9a6555
000000de: EQ
000000df: PUSH2 0x06d8
000000e2: JUMPI
000000e3: PUSH2 0x021a
000000e6: JUMP
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x79cc6790
000000ee: EQ
000000ef: PUSH2 0x0560
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x8705fcd4
000000f9: EQ
000000fa: PUSH2 0x0589
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x8b7b23ee
00000104: EQ
00000105: PUSH2 0x05b2
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x05dd
00000113: JUMPI
00000114: PUSH2 0x021a
00000117: JUMP
00000118: JUMPDEST
00000119: DUP1
0000011a: PUSH4 0x37a7f2b7
0000011f: GT
00000120: PUSH2 0x019b
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x509bb1d7
0000012a: GT
0000012b: PUSH2 0x016a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x509bb1d7
00000135: EQ
00000136: PUSH2 0x047b
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x70a08231
00000140: EQ
00000141: PUSH2 0x04a6
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x70c47671
0000014b: EQ
0000014c: PUSH2 0x04e3
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x715018a6
00000156: EQ
00000157: PUSH2 0x050c
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x7478b325
00000161: EQ
00000162: PUSH2 0x0523
00000165: JUMPI
00000166: PUSH2 0x021a
00000169: JUMP
0000016a: JUMPDEST
0000016b: DUP1
0000016c: PUSH4 0x37a7f2b7
00000171: EQ
00000172: PUSH2 0x03bf
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x39509351
0000017c: EQ
0000017d: PUSH2 0x03ea
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x42966c68
00000187: EQ
00000188: PUSH2 0x0427
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x4773a6a9
00000192: EQ
00000193: PUSH2 0x0450
00000196: JUMPI
00000197: PUSH2 0x021a
0000019a: JUMP
0000019b: JUMPDEST
0000019c: DUP1
0000019d: PUSH4 0x1fe9eabc
000001a2: GT
000001a3: PUSH2 0x01e2
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x1fe9eabc
000001ad: EQ
000001ae: PUSH2 0x02ec
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x23b872dd
000001b8: EQ
000001b9: PUSH2 0x0315
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x27b9bb9c
000001c3: EQ
000001c4: PUSH2 0x0352
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x313ce567
000001ce: EQ
000001cf: PUSH2 0x037d
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x35975a37
000001d9: EQ
000001da: PUSH2 0x03a8
000001dd: JUMPI
000001de: PUSH2 0x021a
000001e1: JUMP
000001e2: JUMPDEST
000001e3: DUP1
000001e4: PUSH4 0x06fdde03
000001e9: EQ
000001ea: PUSH2 0x021c
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x095ea7b3
000001f4: EQ
000001f5: PUSH2 0x0247
000001f8: JUMPI
000001f9: DUP1
000001fa: PUSH4 0x0f0266f5
000001ff: EQ
00000200: PUSH2 0x0284
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x18160ddd
0000020a: EQ
0000020b: PUSH2 0x02c1
0000020e: JUMPI
0000020f: PUSH2 0x021a
00000212: JUMP
00000213: JUMPDEST
00000214: CALLDATASIZE
00000215: PUSH2 0x021a
00000218: JUMPI
00000219: STOP
0000021a: JUMPDEST
0000021b: STOP
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x0231
0000022d: PUSH2 0x0886
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH1 0x40
00000234: MLOAD
00000235: PUSH2 0x023e
00000238: SWAP2
00000239: SWAP1
0000023a: PUSH2 0x1d4f
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x40
00000241: MLOAD
00000242: DUP1
00000243: SWAP2
00000244: SUB
00000245: SWAP1
00000246: RETURN
00000247: JUMPDEST
00000248: CALLVALUE
00000249: DUP1
0000024a: ISZERO
0000024b: PUSH2 0x0253
0000024e: JUMPI
0000024f: PUSH1 0x00
00000251: DUP1
00000252: REVERT
00000253: JUMPDEST
00000254: POP
00000255: PUSH2 0x026e
00000258: PUSH1 0x04
0000025a: DUP1
0000025b: CALLDATASIZE
0000025c: SUB
0000025d: DUP2
0000025e: ADD
0000025f: SWAP1
00000260: PUSH2 0x0269
00000263: SWAP2
00000264: SWAP1
00000265: PUSH2 0x1e0a
00000268: JUMP
00000269: JUMPDEST
0000026a: PUSH2 0x0918
0000026d: JUMP
0000026e: JUMPDEST
0000026f: PUSH1 0x40
00000271: MLOAD
00000272: PUSH2 0x027b
00000275: SWAP2
00000276: SWAP1
00000277: PUSH2 0x1e65
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH1 0x40
0000027e: MLOAD
0000027f: DUP1
00000280: SWAP2
00000281: SUB
00000282: SWAP1
00000283: RETURN
00000284: JUMPDEST
00000285: CALLVALUE
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0290
0000028b: JUMPI
0000028c: PUSH1 0x00
0000028e: DUP1
0000028f: REVERT
00000290: JUMPDEST
00000291: POP
00000292: PUSH2 0x02ab
00000295: PUSH1 0x04
00000297: DUP1
00000298: CALLDATASIZE
00000299: SUB
0000029a: DUP2
0000029b: ADD
0000029c: SWAP1
0000029d: PUSH2 0x02a6
000002a0: SWAP2
000002a1: SWAP1
000002a2: PUSH2 0x1e80
000002a5: JUMP
000002a6: JUMPDEST
000002a7: PUSH2 0x093b
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH1 0x40
000002ae: MLOAD
000002af: PUSH2 0x02b8
000002b2: SWAP2
000002b3: SWAP1
000002b4: PUSH2 0x1ebc
000002b7: JUMP
000002b8: JUMPDEST
000002b9: PUSH1 0x40
000002bb: MLOAD
000002bc: DUP1
000002bd: SWAP2
000002be: SUB
000002bf: SWAP1
000002c0: RETURN
000002c1: JUMPDEST
000002c2: CALLVALUE
000002c3: DUP1
000002c4: ISZERO
000002c5: PUSH2 0x02cd
000002c8: JUMPI
000002c9: PUSH1 0x00
000002cb: DUP1
000002cc: REVERT
000002cd: JUMPDEST
000002ce: POP
000002cf: PUSH2 0x02d6
000002d2: PUSH2 0x0992
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: PUSH2 0x02e3
000002dd: SWAP2
000002de: SWAP1
000002df: PUSH2 0x1ebc
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: MLOAD
000002e7: DUP1
000002e8: SWAP2
000002e9: SUB
000002ea: SWAP1
000002eb: RETURN
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0313
000002fd: PUSH1 0x04
000002ff: DUP1
00000300: CALLDATASIZE
00000301: SUB
00000302: DUP2
00000303: ADD
00000304: SWAP1
00000305: PUSH2 0x030e
00000308: SWAP2
00000309: SWAP1
0000030a: PUSH2 0x1e80
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH2 0x099c
00000312: JUMP
00000313: JUMPDEST
00000314: STOP
00000315: JUMPDEST
00000316: CALLVALUE
00000317: DUP1
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: POP
00000323: PUSH2 0x033c
00000326: PUSH1 0x04
00000328: DUP1
00000329: CALLDATASIZE
0000032a: SUB
0000032b: DUP2
0000032c: ADD
0000032d: SWAP1
0000032e: PUSH2 0x0337
00000331: SWAP2
00000332: SWAP1
00000333: PUSH2 0x1ed7
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x09e5
0000033b: JUMP
0000033c: JUMPDEST
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: PUSH2 0x0349
00000343: SWAP2
00000344: SWAP1
00000345: PUSH2 0x1e65
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: DUP1
0000034e: SWAP2
0000034f: SUB
00000350: SWAP1
00000351: RETURN
00000352: JUMPDEST
00000353: CALLVALUE
00000354: DUP1
00000355: ISZERO
00000356: PUSH2 0x035e
00000359: JUMPI
0000035a: PUSH1 0x00
0000035c: DUP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: POP
00000360: PUSH2 0x0367
00000363: PUSH2 0x0a14
00000366: JUMP
00000367: JUMPDEST
00000368: PUSH1 0x40
0000036a: MLOAD
0000036b: PUSH2 0x0374
0000036e: SWAP2
0000036f: SWAP1
00000370: PUSH2 0x1f47
00000373: JUMP
00000374: JUMPDEST
00000375: PUSH1 0x40
00000377: MLOAD
00000378: DUP1
00000379: SWAP2
0000037a: SUB
0000037b: SWAP1
0000037c: RETURN
0000037d: JUMPDEST
0000037e: CALLVALUE
0000037f: DUP1
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: POP
0000038b: PUSH2 0x0392
0000038e: PUSH2 0x0a28
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH1 0x40
00000395: MLOAD
00000396: PUSH2 0x039f
00000399: SWAP2
0000039a: SWAP1
0000039b: PUSH2 0x1f7e
0000039e: JUMP
0000039f: JUMPDEST
000003a0: PUSH1 0x40
000003a2: MLOAD
000003a3: DUP1
000003a4: SWAP2
000003a5: SUB
000003a6: SWAP1
000003a7: RETURN
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x03bd
000003b9: PUSH2 0x0a31
000003bc: JUMP
000003bd: JUMPDEST
000003be: STOP
000003bf: JUMPDEST
000003c0: CALLVALUE
000003c1: DUP1
000003c2: ISZERO
000003c3: PUSH2 0x03cb
000003c6: JUMPI
000003c7: PUSH1 0x00
000003c9: DUP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: POP
000003cd: PUSH2 0x03d4
000003d0: PUSH2 0x0a56
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x40
000003d7: MLOAD
000003d8: PUSH2 0x03e1
000003db: SWAP2
000003dc: SWAP1
000003dd: PUSH2 0x1ebc
000003e0: JUMP
000003e1: JUMPDEST
000003e2: PUSH1 0x40
000003e4: MLOAD
000003e5: DUP1
000003e6: SWAP2
000003e7: SUB
000003e8: SWAP1
000003e9: RETURN
000003ea: JUMPDEST
000003eb: CALLVALUE
000003ec: DUP1
000003ed: ISZERO
000003ee: PUSH2 0x03f6
000003f1: JUMPI
000003f2: PUSH1 0x00
000003f4: DUP1
000003f5: REVERT
000003f6: JUMPDEST
000003f7: POP
000003f8: PUSH2 0x0411
000003fb: PUSH1 0x04
000003fd: DUP1
000003fe: CALLDATASIZE
000003ff: SUB
00000400: DUP2
00000401: ADD
00000402: SWAP1
00000403: PUSH2 0x040c
00000406: SWAP2
00000407: SWAP1
00000408: PUSH2 0x1e0a
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0a5c
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x40
00000414: MLOAD
00000415: PUSH2 0x041e
00000418: SWAP2
00000419: SWAP1
0000041a: PUSH2 0x1e65
0000041d: JUMP
0000041e: JUMPDEST
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP1
00000423: SWAP2
00000424: SUB
00000425: SWAP1
00000426: RETURN
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x044e
00000438: PUSH1 0x04
0000043a: DUP1
0000043b: CALLDATASIZE
0000043c: SUB
0000043d: DUP2
0000043e: ADD
0000043f: SWAP1
00000440: PUSH2 0x0449
00000443: SWAP2
00000444: SWAP1
00000445: PUSH2 0x1e80
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH2 0x0a93
0000044d: JUMP
0000044e: JUMPDEST
0000044f: STOP
00000450: JUMPDEST
00000451: CALLVALUE
00000452: DUP1
00000453: ISZERO
00000454: PUSH2 0x045c
00000457: JUMPI
00000458: PUSH1 0x00
0000045a: DUP1
0000045b: REVERT
0000045c: JUMPDEST
0000045d: POP
0000045e: PUSH2 0x0465
00000461: PUSH2 0x0aa7
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH1 0x40
00000468: MLOAD
00000469: PUSH2 0x0472
0000046c: SWAP2
0000046d: SWAP1
0000046e: PUSH2 0x1f47
00000471: JUMP
00000472: JUMPDEST
00000473: PUSH1 0x40
00000475: MLOAD
00000476: DUP1
00000477: SWAP2
00000478: SUB
00000479: SWAP1
0000047a: RETURN
0000047b: JUMPDEST
0000047c: CALLVALUE
0000047d: DUP1
0000047e: ISZERO
0000047f: PUSH2 0x0487
00000482: JUMPI
00000483: PUSH1 0x00
00000485: DUP1
00000486: REVERT
00000487: JUMPDEST
00000488: POP
00000489: PUSH2 0x0490
0000048c: PUSH2 0x0abb
0000048f: JUMP
00000490: JUMPDEST
00000491: PUSH1 0x40
00000493: MLOAD
00000494: PUSH2 0x049d
00000497: SWAP2
00000498: SWAP1
00000499: PUSH2 0x1f47
0000049c: JUMP
0000049d: JUMPDEST
0000049e: PUSH1 0x40
000004a0: MLOAD
000004a1: DUP1
000004a2: SWAP2
000004a3: SUB
000004a4: SWAP1
000004a5: RETURN
000004a6: JUMPDEST
000004a7: CALLVALUE
000004a8: DUP1
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: POP
000004b4: PUSH2 0x04cd
000004b7: PUSH1 0x04
000004b9: DUP1
000004ba: CALLDATASIZE
000004bb: SUB
000004bc: DUP2
000004bd: ADD
000004be: SWAP1
000004bf: PUSH2 0x04c8
000004c2: SWAP2
000004c3: SWAP1
000004c4: PUSH2 0x1f99
000004c7: JUMP
000004c8: JUMPDEST
000004c9: PUSH2 0x0ac1
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: PUSH2 0x04da
000004d4: SWAP2
000004d5: SWAP1
000004d6: PUSH2 0x1ebc
000004d9: JUMP
000004da: JUMPDEST
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP1
000004df: SWAP2
000004e0: SUB
000004e1: SWAP1
000004e2: RETURN
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x050a
000004f4: PUSH1 0x04
000004f6: DUP1
000004f7: CALLDATASIZE
000004f8: SUB
000004f9: DUP2
000004fa: ADD
000004fb: SWAP1
000004fc: PUSH2 0x0505
000004ff: SWAP2
00000500: SWAP1
00000501: PUSH2 0x1ff2
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x0b09
00000509: JUMP
0000050a: JUMPDEST
0000050b: STOP
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: DUP1
0000050f: ISZERO
00000510: PUSH2 0x0518
00000513: JUMPI
00000514: PUSH1 0x00
00000516: DUP1
00000517: REVERT
00000518: JUMPDEST
00000519: POP
0000051a: PUSH2 0x0521
0000051d: PUSH2 0x0b8c
00000520: JUMP
00000521: JUMPDEST
00000522: STOP
00000523: JUMPDEST
00000524: CALLVALUE
00000525: DUP1
00000526: ISZERO
00000527: PUSH2 0x052f
0000052a: JUMPI
0000052b: PUSH1 0x00
0000052d: DUP1
0000052e: REVERT
0000052f: JUMPDEST
00000530: POP
00000531: PUSH2 0x054a
00000534: PUSH1 0x04
00000536: DUP1
00000537: CALLDATASIZE
00000538: SUB
00000539: DUP2
0000053a: ADD
0000053b: SWAP1
0000053c: PUSH2 0x0545
0000053f: SWAP2
00000540: SWAP1
00000541: PUSH2 0x1e80
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH2 0x0ba0
00000549: JUMP
0000054a: JUMPDEST
0000054b: PUSH1 0x40
0000054d: MLOAD
0000054e: PUSH2 0x0557
00000551: SWAP2
00000552: SWAP1
00000553: PUSH2 0x1ebc
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x40
0000055a: MLOAD
0000055b: DUP1
0000055c: SWAP2
0000055d: SUB
0000055e: SWAP1
0000055f: RETURN
00000560: JUMPDEST
00000561: CALLVALUE
00000562: DUP1
00000563: ISZERO
00000564: PUSH2 0x056c
00000567: JUMPI
00000568: PUSH1 0x00
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0587
00000571: PUSH1 0x04
00000573: DUP1
00000574: CALLDATASIZE
00000575: SUB
00000576: DUP2
00000577: ADD
00000578: SWAP1
00000579: PUSH2 0x0582
0000057c: SWAP2
0000057d: SWAP1
0000057e: PUSH2 0x1e0a
00000581: JUMP
00000582: JUMPDEST
00000583: PUSH2 0x0bf7
00000586: JUMP
00000587: JUMPDEST
00000588: STOP
00000589: JUMPDEST
0000058a: CALLVALUE
0000058b: DUP1
0000058c: ISZERO
0000058d: PUSH2 0x0595
00000590: JUMPI
00000591: PUSH1 0x00
00000593: DUP1
00000594: REVERT
00000595: JUMPDEST
00000596: POP
00000597: PUSH2 0x05b0
0000059a: PUSH1 0x04
0000059c: DUP1
0000059d: CALLDATASIZE
0000059e: SUB
0000059f: DUP2
000005a0: ADD
000005a1: SWAP1
000005a2: PUSH2 0x05ab
000005a5: SWAP2
000005a6: SWAP1
000005a7: PUSH2 0x1f99
000005aa: JUMP
000005ab: JUMPDEST
000005ac: PUSH2 0x0c17
000005af: JUMP
000005b0: JUMPDEST
000005b1: STOP
000005b2: JUMPDEST
000005b3: CALLVALUE
000005b4: DUP1
000005b5: ISZERO
000005b6: PUSH2 0x05be
000005b9: JUMPI
000005ba: PUSH1 0x00
000005bc: DUP1
000005bd: REVERT
000005be: JUMPDEST
000005bf: POP
000005c0: PUSH2 0x05c7
000005c3: PUSH2 0x0c9c
000005c6: JUMP
000005c7: JUMPDEST
000005c8: PUSH1 0x40
000005ca: MLOAD
000005cb: PUSH2 0x05d4
000005ce: SWAP2
000005cf: SWAP1
000005d0: PUSH2 0x1f7e
000005d3: JUMP
000005d4: JUMPDEST
000005d5: PUSH1 0x40
000005d7: MLOAD
000005d8: DUP1
000005d9: SWAP2
000005da: SUB
000005db: SWAP1
000005dc: RETURN
000005dd: JUMPDEST
000005de: CALLVALUE
000005df: DUP1
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: PUSH2 0x05f2
000005ee: PUSH2 0x0ca1
000005f1: JUMP
000005f2: JUMPDEST
000005f3: PUSH1 0x40
000005f5: MLOAD
000005f6: PUSH2 0x05ff
000005f9: SWAP2
000005fa: SWAP1
000005fb: PUSH2 0x202e
000005fe: JUMP
000005ff: JUMPDEST
00000600: PUSH1 0x40
00000602: MLOAD
00000603: DUP1
00000604: SWAP2
00000605: SUB
00000606: SWAP1
00000607: RETURN
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0614
0000060f: JUMPI
00000610: PUSH1 0x00
00000612: DUP1
00000613: REVERT
00000614: JUMPDEST
00000615: POP
00000616: PUSH2 0x061d
00000619: PUSH2 0x0ccb
0000061c: JUMP
0000061d: JUMPDEST
0000061e: PUSH1 0x40
00000620: MLOAD
00000621: PUSH2 0x062a
00000624: SWAP2
00000625: SWAP1
00000626: PUSH2 0x1d4f
00000629: JUMP
0000062a: JUMPDEST
0000062b: PUSH1 0x40
0000062d: MLOAD
0000062e: DUP1
0000062f: SWAP2
00000630: SUB
00000631: SWAP1
00000632: RETURN
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x0648
00000644: PUSH2 0x0d5d
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH1 0x40
0000064b: MLOAD
0000064c: PUSH2 0x0655
0000064f: SWAP2
00000650: SWAP1
00000651: PUSH2 0x2074
00000654: JUMP
00000655: JUMPDEST
00000656: PUSH1 0x40
00000658: MLOAD
00000659: DUP1
0000065a: SWAP2
0000065b: SUB
0000065c: SWAP1
0000065d: RETURN
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: DUP1
00000661: ISZERO
00000662: PUSH2 0x066a
00000665: JUMPI
00000666: PUSH1 0x00
00000668: DUP1
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: PUSH2 0x0685
0000066f: PUSH1 0x04
00000671: DUP1
00000672: CALLDATASIZE
00000673: SUB
00000674: DUP2
00000675: ADD
00000676: SWAP1
00000677: PUSH2 0x0680
0000067a: SWAP2
0000067b: SWAP1
0000067c: PUSH2 0x1e0a
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH2 0x0d69
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH1 0x40
00000688: MLOAD
00000689: PUSH2 0x0692
0000068c: SWAP2
0000068d: SWAP1
0000068e: PUSH2 0x1e65
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH1 0x40
00000695: MLOAD
00000696: DUP1
00000697: SWAP2
00000698: SUB
00000699: SWAP1
0000069a: RETURN
0000069b: JUMPDEST
0000069c: CALLVALUE
0000069d: DUP1
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: PUSH2 0x06c2
000006ac: PUSH1 0x04
000006ae: DUP1
000006af: CALLDATASIZE
000006b0: SUB
000006b1: DUP2
000006b2: ADD
000006b3: SWAP1
000006b4: PUSH2 0x06bd
000006b7: SWAP2
000006b8: SWAP1
000006b9: PUSH2 0x1e0a
000006bc: JUMP
000006bd: JUMPDEST
000006be: PUSH2 0x0de0
000006c1: JUMP
000006c2: JUMPDEST
000006c3: PUSH1 0x40
000006c5: MLOAD
000006c6: PUSH2 0x06cf
000006c9: SWAP2
000006ca: SWAP1
000006cb: PUSH2 0x1e65
000006ce: JUMP
000006cf: JUMPDEST
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: DUP1
000006d4: SWAP2
000006d5: SUB
000006d6: SWAP1
000006d7: RETURN
000006d8: JUMPDEST
000006d9: CALLVALUE
000006da: DUP1
000006db: ISZERO
000006dc: PUSH2 0x06e4
000006df: JUMPI
000006e0: PUSH1 0x00
000006e2: DUP1
000006e3: REVERT
000006e4: JUMPDEST
000006e5: POP
000006e6: PUSH2 0x06ed
000006e9: PUSH2 0x0e03
000006ec: JUMP
000006ed: JUMPDEST
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: PUSH2 0x06fa
000006f4: SWAP2
000006f5: SWAP1
000006f6: PUSH2 0x1e65
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH1 0x40
000006fd: MLOAD
000006fe: DUP1
000006ff: SWAP2
00000700: SUB
00000701: SWAP1
00000702: RETURN
00000703: JUMPDEST
00000704: PUSH2 0x070b
00000707: PUSH2 0x0e16
0000070a: JUMP
0000070b: JUMPDEST
0000070c: STOP
0000070d: JUMPDEST
0000070e: CALLVALUE
0000070f: DUP1
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: PUSH1 0x00
00000717: DUP1
00000718: REVERT
00000719: JUMPDEST
0000071a: POP
0000071b: PUSH2 0x0722
0000071e: PUSH2 0x0e18
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH1 0x40
00000725: MLOAD
00000726: PUSH2 0x072f
00000729: SWAP2
0000072a: SWAP1
0000072b: PUSH2 0x1ebc
0000072e: JUMP
0000072f: JUMPDEST
00000730: PUSH1 0x40
00000732: MLOAD
00000733: DUP1
00000734: SWAP2
00000735: SUB
00000736: SWAP1
00000737: RETURN
00000738: JUMPDEST
00000739: CALLVALUE
0000073a: DUP1
0000073b: ISZERO
0000073c: PUSH2 0x0744
0000073f: JUMPI
00000740: PUSH1 0x00
00000742: DUP1
00000743: REVERT
00000744: JUMPDEST
00000745: POP
00000746: PUSH2 0x075f
00000749: PUSH1 0x04
0000074b: DUP1
0000074c: CALLDATASIZE
0000074d: SUB
0000074e: DUP2
0000074f: ADD
00000750: SWAP1
00000751: PUSH2 0x075a
00000754: SWAP2
00000755: SWAP1
00000756: PUSH2 0x208f
00000759: JUMP
0000075a: JUMPDEST
0000075b: PUSH2 0x0e1e
0000075e: JUMP
0000075f: JUMPDEST
00000760: PUSH1 0x40
00000762: MLOAD
00000763: PUSH2 0x076c
00000766: SWAP2
00000767: SWAP1
00000768: PUSH2 0x1ebc
0000076b: JUMP
0000076c: JUMPDEST
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: DUP1
00000771: SWAP2
00000772: SUB
00000773: SWAP1
00000774: RETURN
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x079c
00000786: PUSH1 0x04
00000788: DUP1
00000789: CALLDATASIZE
0000078a: SUB
0000078b: DUP2
0000078c: ADD
0000078d: SWAP1
0000078e: PUSH2 0x0797
00000791: SWAP2
00000792: SWAP1
00000793: PUSH2 0x1ff2
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH2 0x0ea5
0000079b: JUMP
0000079c: JUMPDEST
0000079d: STOP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x07c5
000007af: PUSH1 0x04
000007b1: DUP1
000007b2: CALLDATASIZE
000007b3: SUB
000007b4: DUP2
000007b5: ADD
000007b6: SWAP1
000007b7: PUSH2 0x07c0
000007ba: SWAP2
000007bb: SWAP1
000007bc: PUSH2 0x1e80
000007bf: JUMP
000007c0: JUMPDEST
000007c1: PUSH2 0x0f3b
000007c4: JUMP
000007c5: JUMPDEST
000007c6: STOP
000007c7: JUMPDEST
000007c8: PUSH2 0x07e1
000007cb: PUSH1 0x04
000007cd: DUP1
000007ce: CALLDATASIZE
000007cf: SUB
000007d0: DUP2
000007d1: ADD
000007d2: SWAP1
000007d3: PUSH2 0x07dc
000007d6: SWAP2
000007d7: SWAP1
000007d8: PUSH2 0x1f99
000007db: JUMP
000007dc: JUMPDEST
000007dd: PUSH2 0x105a
000007e0: JUMP
000007e1: JUMPDEST
000007e2: STOP
000007e3: JUMPDEST
000007e4: CALLVALUE
000007e5: DUP1
000007e6: ISZERO
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: PUSH1 0x00
000007ed: DUP1
000007ee: REVERT
000007ef: JUMPDEST
000007f0: POP
000007f1: PUSH2 0x080a
000007f4: PUSH1 0x04
000007f6: DUP1
000007f7: CALLDATASIZE
000007f8: SUB
000007f9: DUP2
000007fa: ADD
000007fb: SWAP1
000007fc: PUSH2 0x0805
000007ff: SWAP2
00000800: SWAP1
00000801: PUSH2 0x1f99
00000804: JUMP
00000805: JUMPDEST
00000806: PUSH2 0x1195
00000809: JUMP
0000080a: JUMPDEST
0000080b: STOP
0000080c: JUMPDEST
0000080d: CALLVALUE
0000080e: DUP1
0000080f: ISZERO
00000810: PUSH2 0x0818
00000813: JUMPI
00000814: PUSH1 0x00
00000816: DUP1
00000817: REVERT
00000818: JUMPDEST
00000819: POP
0000081a: PUSH2 0x0833
0000081d: PUSH1 0x04
0000081f: DUP1
00000820: CALLDATASIZE
00000821: SUB
00000822: DUP2
00000823: ADD
00000824: SWAP1
00000825: PUSH2 0x082e
00000828: SWAP2
00000829: SWAP1
0000082a: PUSH2 0x1e80
0000082d: JUMP
0000082e: JUMPDEST
0000082f: PUSH2 0x1218
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH1 0x40
00000836: MLOAD
00000837: PUSH2 0x0840
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH2 0x1ebc
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x40
00000843: MLOAD
00000844: DUP1
00000845: SWAP2
00000846: SUB
00000847: SWAP1
00000848: RETURN
00000849: JUMPDEST
0000084a: CALLVALUE
0000084b: DUP1
0000084c: ISZERO
0000084d: PUSH2 0x0855
00000850: JUMPI
00000851: PUSH1 0x00
00000853: DUP1
00000854: REVERT
00000855: JUMPDEST
00000856: POP
00000857: PUSH2 0x0870
0000085a: PUSH1 0x04
0000085c: DUP1
0000085d: CALLDATASIZE
0000085e: SUB
0000085f: DUP2
00000860: ADD
00000861: SWAP1
00000862: PUSH2 0x086b
00000865: SWAP2
00000866: SWAP1
00000867: PUSH2 0x1e80
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH2 0x124a
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x40
00000873: MLOAD
00000874: PUSH2 0x087d
00000877: SWAP2
00000878: SWAP1
00000879: PUSH2 0x1ebc
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: DUP1
00000882: SWAP2
00000883: SUB
00000884: SWAP1
00000885: RETURN
00000886: JUMPDEST
00000887: PUSH1 0x60
00000889: PUSH1 0x03
0000088b: DUP1
0000088c: SLOAD
0000088d: PUSH2 0x0895
00000890: SWAP1
00000891: PUSH2 0x20fe
00000894: JUMP
00000895: JUMPDEST
00000896: DUP1
00000897: PUSH1 0x1f
00000899: ADD
0000089a: PUSH1 0x20
0000089c: DUP1
0000089d: SWAP2
0000089e: DIV
0000089f: MUL
000008a0: PUSH1 0x20
000008a2: ADD
000008a3: PUSH1 0x40
000008a5: MLOAD
000008a6: SWAP1
000008a7: DUP2
000008a8: ADD
000008a9: PUSH1 0x40
000008ab: MSTORE
000008ac: DUP1
000008ad: SWAP3
000008ae: SWAP2
000008af: SWAP1
000008b0: DUP2
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x20
000008b5: ADD
000008b6: DUP3
000008b7: DUP1
000008b8: SLOAD
000008b9: PUSH2 0x08c1
000008bc: SWAP1
000008bd: PUSH2 0x20fe
000008c0: JUMP
000008c1: JUMPDEST
000008c2: DUP1
000008c3: ISZERO
000008c4: PUSH2 0x090e
000008c7: JUMPI
000008c8: DUP1
000008c9: PUSH1 0x1f
000008cb: LT
000008cc: PUSH2 0x08e3
000008cf: JUMPI
000008d0: PUSH2 0x0100
000008d3: DUP1
000008d4: DUP4
000008d5: SLOAD
000008d6: DIV
000008d7: MUL
000008d8: DUP4
000008d9: MSTORE
000008da: SWAP2
000008db: PUSH1 0x20
000008dd: ADD
000008de: SWAP2
000008df: PUSH2 0x090e
000008e2: JUMP
000008e3: JUMPDEST
000008e4: DUP3
000008e5: ADD
000008e6: SWAP2
000008e7: SWAP1
000008e8: PUSH1 0x00
000008ea: MSTORE
000008eb: PUSH1 0x20
000008ed: PUSH1 0x00
000008ef: KECCAK256
000008f0: SWAP1
000008f1: JUMPDEST
000008f2: DUP2
000008f3: SLOAD
000008f4: DUP2
000008f5: MSTORE
000008f6: SWAP1
000008f7: PUSH1 0x01
000008f9: ADD
000008fa: SWAP1
000008fb: PUSH1 0x20
000008fd: ADD
000008fe: DUP1
000008ff: DUP4
00000900: GT
00000901: PUSH2 0x08f1
00000904: JUMPI
00000905: DUP3
00000906: SWAP1
00000907: SUB
00000908: PUSH1 0x1f
0000090a: AND
0000090b: DUP3
0000090c: ADD
0000090d: SWAP2
0000090e: JUMPDEST
0000090f: POP
00000910: POP
00000911: POP
00000912: POP
00000913: POP
00000914: SWAP1
00000915: POP
00000916: SWAP1
00000917: JUMP
00000918: JUMPDEST
00000919: PUSH1 0x00
0000091b: DUP1
0000091c: PUSH2 0x0923
0000091f: PUSH2 0x1271
00000922: JUMP
00000923: JUMPDEST
00000924: SWAP1
00000925: POP
00000926: PUSH2 0x0930
00000929: DUP2
0000092a: DUP6
0000092b: DUP6
0000092c: PUSH2 0x1279
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH1 0x01
00000933: SWAP2
00000934: POP
00000935: POP
00000936: SWAP3
00000937: SWAP2
00000938: POP
00000939: POP
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x00
0000093e: PUSH2 0x03e8
00000941: PUSH2 0xffff
00000944: AND
00000945: SELFBALANCE
00000946: PUSH1 0x09
00000948: PUSH1 0x02
0000094a: SWAP1
0000094b: SLOAD
0000094c: SWAP1
0000094d: PUSH2 0x0100
00000950: EXP
00000951: SWAP1
00000952: DIV
00000953: PUSH2 0xffff
00000956: AND
00000957: PUSH2 0xffff
0000095a: AND
0000095b: PUSH2 0x0962
0000095e: PUSH2 0x0992
00000961: JUMP
00000962: JUMPDEST
00000963: DUP6
00000964: PUSH2 0x096d
00000967: SWAP2
00000968: SWAP1
00000969: PUSH2 0x215e
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH2 0x0977
00000971: SWAP2
00000972: SWAP1
00000973: PUSH2 0x215e
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH2 0x0981
0000097b: SWAP2
0000097c: SWAP1
0000097d: PUSH2 0x21e7
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH2 0x098b
00000985: SWAP2
00000986: SWAP1
00000987: PUSH2 0x21e7
0000098a: JUMP
0000098b: JUMPDEST
0000098c: SWAP1
0000098d: POP
0000098e: SWAP2
0000098f: SWAP1
00000990: POP
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH1 0x00
00000995: PUSH1 0x02
00000997: SLOAD
00000998: SWAP1
00000999: POP
0000099a: SWAP1
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH2 0x09a4
000009a0: PUSH2 0x1442
000009a3: JUMP
000009a4: JUMPDEST
000009a5: DUP1
000009a6: PUSH1 0x08
000009a8: DUP2
000009a9: SWAP1
000009aa: SSTORE
000009ab: POP
000009ac: PUSH32 0x772ff6e3371c3a674ced69185fcffe1c41e3e910595f1f186268b6bf79cfb7f7
000009cd: DUP2
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: PUSH2 0x09da
000009d4: SWAP2
000009d5: SWAP1
000009d6: PUSH2 0x1ebc
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: DUP1
000009df: SWAP2
000009e0: SUB
000009e1: SWAP1
000009e2: LOG1
000009e3: POP
000009e4: JUMP
000009e5: JUMPDEST
000009e6: PUSH1 0x00
000009e8: DUP1
000009e9: PUSH2 0x09f0
000009ec: PUSH2 0x1271
000009ef: JUMP
000009f0: JUMPDEST
000009f1: SWAP1
000009f2: POP
000009f3: PUSH2 0x09fd
000009f6: DUP6
000009f7: DUP3
000009f8: DUP6
000009f9: PUSH2 0x14c0
000009fc: JUMP
000009fd: JUMPDEST
000009fe: PUSH2 0x0a08
00000a01: DUP6
00000a02: DUP6
00000a03: DUP6
00000a04: PUSH2 0x154c
00000a07: JUMP
00000a08: JUMPDEST
00000a09: PUSH1 0x01
00000a0b: SWAP2
00000a0c: POP
00000a0d: POP
00000a0e: SWAP4
00000a0f: SWAP3
00000a10: POP
00000a11: POP
00000a12: POP
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x09
00000a17: PUSH1 0x02
00000a19: SWAP1
00000a1a: SLOAD
00000a1b: SWAP1
00000a1c: PUSH2 0x0100
00000a1f: EXP
00000a20: SWAP1
00000a21: DIV
00000a22: PUSH2 0xffff
00000a25: AND
00000a26: DUP2
00000a27: JUMP
00000a28: JUMPDEST
00000a29: PUSH1 0x00
00000a2b: PUSH1 0x12
00000a2d: SWAP1
00000a2e: POP
00000a2f: SWAP1
00000a30: JUMP
00000a31: JUMPDEST
00000a32: PUSH2 0x0a39
00000a35: PUSH2 0x1442
00000a38: JUMP
00000a39: JUMPDEST
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0x09
00000a3e: PUSH1 0x04
00000a40: PUSH2 0x0100
00000a43: EXP
00000a44: DUP2
00000a45: SLOAD
00000a46: DUP2
00000a47: PUSH1 0xff
00000a49: MUL
00000a4a: NOT
00000a4b: AND
00000a4c: SWAP1
00000a4d: DUP4
00000a4e: ISZERO
00000a4f: ISZERO
00000a50: MUL
00000a51: OR
00000a52: SWAP1
00000a53: SSTORE
00000a54: POP
00000a55: JUMP
00000a56: JUMPDEST
00000a57: PUSH2 0x03e8
00000a5a: DUP2
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: PUSH1 0x00
00000a5f: DUP1
00000a60: PUSH2 0x0a67
00000a63: PUSH2 0x1271
00000a66: JUMP
00000a67: JUMPDEST
00000a68: SWAP1
00000a69: POP
00000a6a: PUSH2 0x0a88
00000a6d: DUP2
00000a6e: DUP6
00000a6f: DUP6
00000a70: PUSH2 0x0a79
00000a73: DUP6
00000a74: DUP10
00000a75: PUSH2 0x0e1e
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH2 0x0a83
00000a7d: SWAP2
00000a7e: SWAP1
00000a7f: PUSH2 0x2218
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH2 0x1279
00000a87: JUMP
00000a88: JUMPDEST
00000a89: PUSH1 0x01
00000a8b: SWAP2
00000a8c: POP
00000a8d: POP
00000a8e: SWAP3
00000a8f: SWAP2
00000a90: POP
00000a91: POP
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH2 0x0aa4
00000a97: PUSH2 0x0a9e
00000a9a: PUSH2 0x1271
00000a9d: JUMP
00000a9e: JUMPDEST
00000a9f: DUP3
00000aa0: PUSH2 0x17c2
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: POP
00000aa6: JUMP
00000aa7: JUMPDEST
00000aa8: PUSH1 0x09
00000aaa: PUSH1 0x00
00000aac: SWAP1
00000aad: SLOAD
00000aae: SWAP1
00000aaf: PUSH2 0x0100
00000ab2: EXP
00000ab3: SWAP1
00000ab4: DIV
00000ab5: PUSH2 0xffff
00000ab8: AND
00000ab9: DUP2
00000aba: JUMP
00000abb: JUMPDEST
00000abc: PUSH2 0x03e8
00000abf: DUP2
00000ac0: JUMP
00000ac1: JUMPDEST
00000ac2: PUSH1 0x00
00000ac4: DUP1
00000ac5: PUSH1 0x00
00000ac7: DUP4
00000ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000add: AND
00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af3: AND
00000af4: DUP2
00000af5: MSTORE
00000af6: PUSH1 0x20
00000af8: ADD
00000af9: SWAP1
00000afa: DUP2
00000afb: MSTORE
00000afc: PUSH1 0x20
00000afe: ADD
00000aff: PUSH1 0x00
00000b01: KECCAK256
00000b02: SLOAD
00000b03: SWAP1
00000b04: POP
00000b05: SWAP2
00000b06: SWAP1
00000b07: POP
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH2 0x0b11
00000b0d: PUSH2 0x1442
00000b10: JUMP
00000b11: JUMPDEST
00000b12: PUSH2 0x03c9
00000b15: DUP2
00000b16: PUSH2 0xffff
00000b19: AND
00000b1a: GT
00000b1b: ISZERO
00000b1c: DUP1
00000b1d: ISZERO
00000b1e: PUSH2 0x0b2c
00000b21: JUMPI
00000b22: POP
00000b23: PUSH1 0x0a
00000b25: DUP2
00000b26: PUSH2 0xffff
00000b29: AND
00000b2a: LT
00000b2b: ISZERO
00000b2c: JUMPDEST
00000b2d: PUSH2 0x0b35
00000b30: JUMPI
00000b31: PUSH1 0x00
00000b33: DUP1
00000b34: REVERT
00000b35: JUMPDEST
00000b36: DUP1
00000b37: PUSH1 0x09
00000b39: PUSH1 0x02
00000b3b: PUSH2 0x0100
00000b3e: EXP
00000b3f: DUP2
00000b40: SLOAD
00000b41: DUP2
00000b42: PUSH2 0xffff
00000b45: MUL
00000b46: NOT
00000b47: AND
00000b48: SWAP1
00000b49: DUP4
00000b4a: PUSH2 0xffff
00000b4d: AND
00000b4e: MUL
00000b4f: OR
00000b50: SWAP1
00000b51: SSTORE
00000b52: POP
00000b53: PUSH32 0x11953a0453d6e2e337ab856b9de1f4818ffa2a51f3a9c12f924e2a043ae37f6d
00000b74: DUP2
00000b75: PUSH1 0x40
00000b77: MLOAD
00000b78: PUSH2 0x0b81
00000b7b: SWAP2
00000b7c: SWAP1
00000b7d: PUSH2 0x2287
00000b80: JUMP
00000b81: JUMPDEST
00000b82: PUSH1 0x40
00000b84: MLOAD
00000b85: DUP1
00000b86: SWAP2
00000b87: SUB
00000b88: SWAP1
00000b89: LOG1
00000b8a: POP
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH2 0x0b94
00000b90: PUSH2 0x1442
00000b93: JUMP
00000b94: JUMPDEST
00000b95: PUSH2 0x0b9e
00000b98: PUSH1 0x00
00000b9a: PUSH2 0x198f
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x00
00000ba3: PUSH2 0x03e8
00000ba6: PUSH2 0xffff
00000ba9: AND
00000baa: PUSH2 0x0bb1
00000bad: PUSH2 0x0992
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x09
00000bb4: PUSH1 0x00
00000bb6: SWAP1
00000bb7: SLOAD
00000bb8: SWAP1
00000bb9: PUSH2 0x0100
00000bbc: EXP
00000bbd: SWAP1
00000bbe: DIV
00000bbf: PUSH2 0xffff
00000bc2: AND
00000bc3: PUSH2 0xffff
00000bc6: AND
00000bc7: SELFBALANCE
00000bc8: DUP6
00000bc9: PUSH2 0x0bd2
00000bcc: SWAP2
00000bcd: SWAP1
00000bce: PUSH2 0x215e
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH2 0x0bdc
00000bd6: SWAP2
00000bd7: SWAP1
00000bd8: PUSH2 0x215e
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH2 0x0be6
00000be0: SWAP2
00000be1: SWAP1
00000be2: PUSH2 0x21e7
00000be5: JUMP
00000be6: JUMPDEST
00000be7: PUSH2 0x0bf0
00000bea: SWAP2
00000beb: SWAP1
00000bec: PUSH2 0x21e7
00000bef: JUMP
00000bf0: JUMPDEST
00000bf1: SWAP1
00000bf2: POP
00000bf3: SWAP2
00000bf4: SWAP1
00000bf5: POP
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: PUSH2 0x0c09
00000bfb: DUP3
00000bfc: PUSH2 0x0c03
00000bff: PUSH2 0x1271
00000c02: JUMP
00000c03: JUMPDEST
00000c04: DUP4
00000c05: PUSH2 0x14c0
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: PUSH2 0x0c13
00000c0d: DUP3
00000c0e: DUP3
00000c0f: PUSH2 0x17c2
00000c12: JUMP
00000c13: JUMPDEST
00000c14: POP
00000c15: POP
00000c16: JUMP
00000c17: JUMPDEST
00000c18: PUSH2 0x0c1f
00000c1b: PUSH2 0x1442
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x00
00000c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c37: AND
00000c38: DUP2
00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4e: AND
00000c4f: SUB
00000c50: PUSH2 0x0c58
00000c53: JUMPI
00000c54: PUSH1 0x00
00000c56: DUP1
00000c57: REVERT
00000c58: JUMPDEST
00000c59: DUP1
00000c5a: PUSH1 0x07
00000c5c: PUSH1 0x00
00000c5e: PUSH2 0x0100
00000c61: EXP
00000c62: DUP2
00000c63: SLOAD
00000c64: DUP2
00000c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c7a: MUL
00000c7b: NOT
00000c7c: AND
00000c7d: SWAP1
00000c7e: DUP4
00000c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c94: AND
00000c95: MUL
00000c96: OR
00000c97: SWAP1
00000c98: SSTORE
00000c99: POP
00000c9a: POP
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: PUSH1 0x21
00000c9f: DUP2
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH1 0x00
00000ca4: PUSH1 0x05
00000ca6: PUSH1 0x00
00000ca8: SWAP1
00000ca9: SLOAD
00000caa: SWAP1
00000cab: PUSH2 0x0100
00000cae: EXP
00000caf: SWAP1
00000cb0: DIV
00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc6: AND
00000cc7: SWAP1
00000cc8: POP
00000cc9: SWAP1
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x60
00000cce: PUSH1 0x04
00000cd0: DUP1
00000cd1: SLOAD
00000cd2: PUSH2 0x0cda
00000cd5: SWAP1
00000cd6: PUSH2 0x20fe
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: DUP1
00000cdc: PUSH1 0x1f
00000cde: ADD
00000cdf: PUSH1 0x20
00000ce1: DUP1
00000ce2: SWAP2
00000ce3: DIV
00000ce4: MUL
00000ce5: PUSH1 0x20
00000ce7: ADD
00000ce8: PUSH1 0x40
00000cea: MLOAD
00000ceb: SWAP1
00000cec: DUP2
00000ced: ADD
00000cee: PUSH1 0x40
00000cf0: MSTORE
00000cf1: DUP1
00000cf2: SWAP3
00000cf3: SWAP2
00000cf4: SWAP1
00000cf5: DUP2
00000cf6: DUP2
00000cf7: MSTORE
00000cf8: PUSH1 0x20
00000cfa: ADD
00000cfb: DUP3
00000cfc: DUP1
00000cfd: SLOAD
00000cfe: PUSH2 0x0d06
00000d01: SWAP1
00000d02: PUSH2 0x20fe
00000d05: JUMP
00000d06: JUMPDEST
00000d07: DUP1
00000d08: ISZERO
00000d09: PUSH2 0x0d53
00000d0c: JUMPI
00000d0d: DUP1
00000d0e: PUSH1 0x1f
00000d10: LT
00000d11: PUSH2 0x0d28
00000d14: JUMPI
00000d15: PUSH2 0x0100
00000d18: DUP1
00000d19: DUP4
00000d1a: SLOAD
00000d1b: DIV
00000d1c: MUL
00000d1d: DUP4
00000d1e: MSTORE
00000d1f: SWAP2
00000d20: PUSH1 0x20
00000d22: ADD
00000d23: SWAP2
00000d24: PUSH2 0x0d53
00000d27: JUMP
00000d28: JUMPDEST
00000d29: DUP3
00000d2a: ADD
00000d2b: SWAP2
00000d2c: SWAP1
00000d2d: PUSH1 0x00
00000d2f: MSTORE
00000d30: PUSH1 0x20
00000d32: PUSH1 0x00
00000d34: KECCAK256
00000d35: SWAP1
00000d36: JUMPDEST
00000d37: DUP2
00000d38: SLOAD
00000d39: DUP2
00000d3a: MSTORE
00000d3b: SWAP1
00000d3c: PUSH1 0x01
00000d3e: ADD
00000d3f: SWAP1
00000d40: PUSH1 0x20
00000d42: ADD
00000d43: DUP1
00000d44: DUP4
00000d45: GT
00000d46: PUSH2 0x0d36
00000d49: JUMPI
00000d4a: DUP3
00000d4b: SWAP1
00000d4c: SUB
00000d4d: PUSH1 0x1f
00000d4f: AND
00000d50: DUP3
00000d51: ADD
00000d52: SWAP2
00000d53: JUMPDEST
00000d54: POP
00000d55: POP
00000d56: POP
00000d57: POP
00000d58: POP
00000d59: SWAP1
00000d5a: POP
00000d5b: SWAP1
00000d5c: JUMP
00000d5d: JUMPDEST
00000d5e: PUSH8 0x0de0b6b3a7640000
00000d67: DUP2
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: PUSH1 0x00
00000d6c: DUP1
00000d6d: PUSH2 0x0d74
00000d70: PUSH2 0x1271
00000d73: JUMP
00000d74: JUMPDEST
00000d75: SWAP1
00000d76: POP
00000d77: PUSH1 0x00
00000d79: PUSH2 0x0d82
00000d7c: DUP3
00000d7d: DUP7
00000d7e: PUSH2 0x0e1e
00000d81: JUMP
00000d82: JUMPDEST
00000d83: SWAP1
00000d84: POP
00000d85: DUP4
00000d86: DUP2
00000d87: LT
00000d88: ISZERO
00000d89: PUSH2 0x0dc7
00000d8c: JUMPI
00000d8d: PUSH1 0x40
00000d8f: MLOAD
00000d90: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000db1: DUP2
00000db2: MSTORE
00000db3: PUSH1 0x04
00000db5: ADD
00000db6: PUSH2 0x0dbe
00000db9: SWAP1
00000dba: PUSH2 0x2314
00000dbd: JUMP
00000dbe: JUMPDEST
00000dbf: PUSH1 0x40
00000dc1: MLOAD
00000dc2: DUP1
00000dc3: SWAP2
00000dc4: SUB
00000dc5: SWAP1
00000dc6: REVERT
00000dc7: JUMPDEST
00000dc8: PUSH2 0x0dd4
00000dcb: DUP3
00000dcc: DUP7
00000dcd: DUP7
00000dce: DUP5
00000dcf: SUB
00000dd0: PUSH2 0x1279
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: PUSH1 0x01
00000dd7: SWAP3
00000dd8: POP
00000dd9: POP
00000dda: POP
00000ddb: SWAP3
00000ddc: SWAP2
00000ddd: POP
00000dde: POP
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH1 0x00
00000de3: DUP1
00000de4: PUSH2 0x0deb
00000de7: PUSH2 0x1271
00000dea: JUMP
00000deb: JUMPDEST
00000dec: SWAP1
00000ded: POP
00000dee: PUSH2 0x0df8
00000df1: DUP2
00000df2: DUP6
00000df3: DUP6
00000df4: PUSH2 0x154c
00000df7: JUMP
00000df8: JUMPDEST
00000df9: PUSH1 0x01
00000dfb: SWAP2
00000dfc: POP
00000dfd: POP
00000dfe: SWAP3
00000dff: SWAP2
00000e00: POP
00000e01: POP
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH1 0x09
00000e06: PUSH1 0x04
00000e08: SWAP1
00000e09: SLOAD
00000e0a: SWAP1
00000e0b: PUSH2 0x0100
00000e0e: EXP
00000e0f: SWAP1
00000e10: DIV
00000e11: PUSH1 0xff
00000e13: AND
00000e14: DUP2
00000e15: JUMP
00000e16: JUMPDEST
00000e17: JUMP
00000e18: JUMPDEST
00000e19: PUSH1 0x08
00000e1b: SLOAD
00000e1c: DUP2
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: PUSH1 0x00
00000e21: PUSH1 0x01
00000e23: PUSH1 0x00
00000e25: DUP5
00000e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3b: AND
00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e51: AND
00000e52: DUP2
00000e53: MSTORE
00000e54: PUSH1 0x20
00000e56: ADD
00000e57: SWAP1
00000e58: DUP2
00000e59: MSTORE
00000e5a: PUSH1 0x20
00000e5c: ADD
00000e5d: PUSH1 0x00
00000e5f: KECCAK256
00000e60: PUSH1 0x00
00000e62: DUP4
00000e63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e78: AND
00000e79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8e: AND
00000e8f: DUP2
00000e90: MSTORE
00000e91: PUSH1 0x20
00000e93: ADD
00000e94: SWAP1
00000e95: DUP2
00000e96: MSTORE
00000e97: PUSH1 0x20
00000e99: ADD
00000e9a: PUSH1 0x00
00000e9c: KECCAK256
00000e9d: SLOAD
00000e9e: SWAP1
00000e9f: POP
00000ea0: SWAP3
00000ea1: SWAP2
00000ea2: POP
00000ea3: POP
00000ea4: JUMP
00000ea5: JUMPDEST
00000ea6: PUSH2 0x0ead
00000ea9: PUSH2 0x1442
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH2 0x03c9
00000eb1: DUP2
00000eb2: PUSH2 0xffff
00000eb5: AND
00000eb6: GT
00000eb7: ISZERO
00000eb8: PUSH2 0x0ec0
00000ebb: JUMPI
00000ebc: PUSH1 0x00
00000ebe: DUP1
00000ebf: REVERT
00000ec0: JUMPDEST
00000ec1: PUSH1 0x09
00000ec3: PUSH1 0x00
00000ec5: SWAP1
00000ec6: SLOAD
00000ec7: SWAP1
00000ec8: PUSH2 0x0100
00000ecb: EXP
00000ecc: SWAP1
00000ecd: DIV
00000ece: PUSH2 0xffff
00000ed1: AND
00000ed2: PUSH2 0xffff
00000ed5: AND
00000ed6: DUP2
00000ed7: PUSH2 0xffff
00000eda: AND
00000edb: GT
00000edc: PUSH2 0x0ee4
00000edf: JUMPI
00000ee0: PUSH1 0x00
00000ee2: DUP1
00000ee3: REVERT
00000ee4: JUMPDEST
00000ee5: DUP1
00000ee6: PUSH1 0x09
00000ee8: PUSH1 0x00
00000eea: PUSH2 0x0100
00000eed: EXP
00000eee: DUP2
00000eef: SLOAD
00000ef0: DUP2
00000ef1: PUSH2 0xffff
00000ef4: MUL
00000ef5: NOT
00000ef6: AND
00000ef7: SWAP1
00000ef8: DUP4
00000ef9: PUSH2 0xffff
00000efc: AND
00000efd: MUL
00000efe: OR
00000eff: SWAP1
00000f00: SSTORE
00000f01: POP
00000f02: PUSH32 0x495ee53ee22006979ebc689a00ed737d7c13b6419142f82dcaea4ed95ac1e780
00000f23: DUP2
00000f24: PUSH1 0x40
00000f26: MLOAD
00000f27: PUSH2 0x0f30
00000f2a: SWAP2
00000f2b: SWAP1
00000f2c: PUSH2 0x2287
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x40
00000f33: MLOAD
00000f34: DUP1
00000f35: SWAP2
00000f36: SUB
00000f37: SWAP1
00000f38: LOG1
00000f39: POP
00000f3a: JUMP
00000f3b: JUMPDEST
00000f3c: PUSH2 0x0f43
00000f3f: PUSH2 0x1a55
00000f42: JUMP
00000f43: JUMPDEST
00000f44: PUSH2 0x03e8
00000f47: DUP2
00000f48: GT
00000f49: PUSH2 0x0f87
00000f4c: JUMPI
00000f4d: PUSH1 0x40
00000f4f: MLOAD
00000f50: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x04
00000f75: ADD
00000f76: PUSH2 0x0f7e
00000f79: SWAP1
00000f7a: PUSH2 0x2380
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH1 0x40
00000f81: MLOAD
00000f82: DUP1
00000f83: SWAP2
00000f84: SUB
00000f85: SWAP1
00000f86: REVERT
00000f87: JUMPDEST
00000f88: PUSH1 0x00
00000f8a: PUSH2 0x0f92
00000f8d: DUP3
00000f8e: PUSH2 0x124a
00000f91: JUMP
00000f92: JUMPDEST
00000f93: SWAP1
00000f94: POP
00000f95: PUSH2 0x0f9e
00000f98: CALLER
00000f99: DUP4
00000f9a: PUSH2 0x17c2
00000f9d: JUMP
00000f9e: JUMPDEST
00000f9f: PUSH2 0x0fd8
00000fa2: CALLER
00000fa3: PUSH2 0x03e8
00000fa6: PUSH2 0xffff
00000fa9: AND
00000faa: PUSH1 0x09
00000fac: PUSH1 0x00
00000fae: SWAP1
00000faf: SLOAD
00000fb0: SWAP1
00000fb1: PUSH2 0x0100
00000fb4: EXP
00000fb5: SWAP1
00000fb6: DIV
00000fb7: PUSH2 0xffff
00000fba: AND
00000fbb: PUSH2 0xffff
00000fbe: AND
00000fbf: DUP5
00000fc0: PUSH2 0x0fc9
00000fc3: SWAP2
00000fc4: SWAP1
00000fc5: PUSH2 0x215e
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: PUSH2 0x0fd3
00000fcd: SWAP2
00000fce: SWAP1
00000fcf: PUSH2 0x21e7
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: PUSH2 0x1aa4
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH2 0x1013
00000fdc: PUSH1 0x07
00000fde: PUSH1 0x00
00000fe0: SWAP1
00000fe1: SLOAD
00000fe2: SWAP1
00000fe3: PUSH2 0x0100
00000fe6: EXP
00000fe7: SWAP1
00000fe8: DIV
00000fe9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffe: AND
00000fff: PUSH1 0x21
00001001: PUSH1 0xff
00001003: AND
00001004: DUP4
00001005: PUSH2 0x100e
00001008: SWAP2
00001009: SWAP1
0000100a: PUSH2 0x21e7
0000100d: JUMP
0000100e: JUMPDEST
0000100f: PUSH2 0x1aa4
00001012: JUMP
00001013: JUMPDEST
00001014: PUSH32 0x4afcb4a87cdbd9974efdb92ee48bc8d7cd0ae4bf217004db3d080cbaee652ca7
00001035: TIMESTAMP
00001036: DUP4
00001037: DUP4
00001038: PUSH1 0x40
0000103a: MLOAD
0000103b: PUSH2 0x1046
0000103e: SWAP4
0000103f: SWAP3
00001040: SWAP2
00001041: SWAP1
00001042: PUSH2 0x23a0
00001045: JUMP
00001046: JUMPDEST
00001047: PUSH1 0x40
00001049: MLOAD
0000104a: DUP1
0000104b: SWAP2
0000104c: SUB
0000104d: SWAP1
0000104e: LOG1
0000104f: POP
00001050: PUSH2 0x1057
00001053: PUSH2 0x1b55
00001056: JUMP
00001057: JUMPDEST
00001058: POP
00001059: JUMP
0000105a: JUMPDEST
0000105b: PUSH2 0x1062
0000105e: PUSH2 0x1a55
00001061: JUMP
00001062: JUMPDEST
00001063: PUSH1 0x09
00001065: PUSH1 0x04
00001067: SWAP1
00001068: SLOAD
00001069: SWAP1
0000106a: PUSH2 0x0100
0000106d: EXP
0000106e: SWAP1
0000106f: DIV
00001070: PUSH1 0xff
00001072: AND
00001073: PUSH2 0x107b
00001076: JUMPI
00001077: PUSH1 0x00
00001079: DUP1
0000107a: REVERT
0000107b: JUMPDEST
0000107c: PUSH2 0x03e8
0000107f: CALLVALUE
00001080: GT
00001081: DUP1
00001082: ISZERO
00001083: PUSH2 0x108d
00001086: JUMPI
00001087: POP
00001088: PUSH1 0x08
0000108a: SLOAD
0000108b: CALLVALUE
0000108c: LT
0000108d: JUMPDEST
0000108e: PUSH2 0x10cc
00001091: JUMPI
00001092: PUSH1 0x40
00001094: MLOAD
00001095: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000010b6: DUP2
000010b7: MSTORE
000010b8: PUSH1 0x04
000010ba: ADD
000010bb: PUSH2 0x10c3
000010be: SWAP1
000010bf: PUSH2 0x2380
000010c2: JUMP
000010c3: JUMPDEST
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: DUP1
000010c8: SWAP2
000010c9: SUB
000010ca: SWAP1
000010cb: REVERT
000010cc: JUMPDEST
000010cd: PUSH1 0x00
000010cf: PUSH2 0x10d7
000010d2: CALLVALUE
000010d3: PUSH2 0x1218
000010d6: JUMP
000010d7: JUMPDEST
000010d8: SWAP1
000010d9: POP
000010da: PUSH2 0x1113
000010dd: DUP3
000010de: PUSH2 0x03e8
000010e1: PUSH2 0xffff
000010e4: AND
000010e5: PUSH1 0x09
000010e7: PUSH1 0x02
000010e9: SWAP1
000010ea: SLOAD
000010eb: SWAP1
000010ec: PUSH2 0x0100
000010ef: EXP
000010f0: SWAP1
000010f1: DIV
000010f2: PUSH2 0xffff
000010f5: AND
000010f6: PUSH2 0xffff
000010f9: AND
000010fa: DUP5
000010fb: PUSH2 0x1104
000010fe: SWAP2
000010ff: SWAP1
00001100: PUSH2 0x215e
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH2 0x110e
00001108: SWAP2
00001109: SWAP1
0000110a: PUSH2 0x21e7
0000110d: JUMP
0000110e: JUMPDEST
0000110f: PUSH2 0x1b5f
00001112: JUMP
00001113: JUMPDEST
00001114: PUSH2 0x114e
00001117: PUSH1 0x07
00001119: PUSH1 0x00
0000111b: SWAP1
0000111c: SLOAD
0000111d: SWAP1
0000111e: PUSH2 0x0100
00001121: EXP
00001122: SWAP1
00001123: DIV
00001124: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001139: AND
0000113a: PUSH1 0x21
0000113c: PUSH1 0xff
0000113e: AND
0000113f: CALLVALUE
00001140: PUSH2 0x1149
00001143: SWAP2
00001144: SWAP1
00001145: PUSH2 0x21e7
00001148: JUMP
00001149: JUMPDEST
0000114a: PUSH2 0x1aa4
0000114d: JUMP
0000114e: JUMPDEST
0000114f: PUSH32 0x4afcb4a87cdbd9974efdb92ee48bc8d7cd0ae4bf217004db3d080cbaee652ca7
00001170: TIMESTAMP
00001171: DUP3
00001172: CALLVALUE
00001173: PUSH1 0x40
00001175: MLOAD
00001176: PUSH2 0x1181
00001179: SWAP4
0000117a: SWAP3
0000117b: SWAP2
0000117c: SWAP1
0000117d: PUSH2 0x23a0
00001180: JUMP
00001181: JUMPDEST
00001182: PUSH1 0x40
00001184: MLOAD
00001185: DUP1
00001186: SWAP2
00001187: SUB
00001188: SWAP1
00001189: LOG1
0000118a: POP
0000118b: PUSH2 0x1192
0000118e: PUSH2 0x1b55
00001191: JUMP
00001192: JUMPDEST
00001193: POP
00001194: JUMP
00001195: JUMPDEST
00001196: PUSH2 0x119d
00001199: PUSH2 0x1442
0000119c: JUMP
0000119d: JUMPDEST
0000119e: PUSH1 0x00
000011a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b5: AND
000011b6: DUP2
000011b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cc: AND
000011cd: SUB
000011ce: PUSH2 0x120c
000011d1: JUMPI
000011d2: PUSH1 0x40
000011d4: MLOAD
000011d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011f6: DUP2
000011f7: MSTORE
000011f8: PUSH1 0x04
000011fa: ADD
000011fb: PUSH2 0x1203
000011fe: SWAP1
000011ff: PUSH2 0x2449
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0x40
00001206: MLOAD
00001207: DUP1
00001208: SWAP2
00001209: SUB
0000120a: SWAP1
0000120b: REVERT
0000120c: JUMPDEST
0000120d: PUSH2 0x1215
00001210: DUP2
00001211: PUSH2 0x198f
00001214: JUMP
00001215: JUMPDEST
00001216: POP
00001217: JUMP
00001218: JUMPDEST
00001219: PUSH1 0x00
0000121b: DUP2
0000121c: SELFBALANCE
0000121d: PUSH2 0x1226
00001220: SWAP2
00001221: SWAP1
00001222: PUSH2 0x2469
00001225: JUMP
00001226: JUMPDEST
00001227: PUSH2 0x122e
0000122a: PUSH2 0x0992
0000122d: JUMP
0000122e: JUMPDEST
0000122f: DUP4
00001230: PUSH2 0x1239
00001233: SWAP2
00001234: SWAP1
00001235: PUSH2 0x215e
00001238: JUMP
00001239: JUMPDEST
0000123a: PUSH2 0x1243
0000123d: SWAP2
0000123e: SWAP1
0000123f: PUSH2 0x21e7
00001242: JUMP
00001243: JUMPDEST
00001244: SWAP1
00001245: POP
00001246: SWAP2
00001247: SWAP1
00001248: POP
00001249: JUMP
0000124a: JUMPDEST
0000124b: PUSH1 0x00
0000124d: PUSH2 0x1254
00001250: PUSH2 0x0992
00001253: JUMP
00001254: JUMPDEST
00001255: SELFBALANCE
00001256: DUP4
00001257: PUSH2 0x1260
0000125a: SWAP2
0000125b: SWAP1
0000125c: PUSH2 0x215e
0000125f: JUMP
00001260: JUMPDEST
00001261: PUSH2 0x126a
00001264: SWAP2
00001265: SWAP1
00001266: PUSH2 0x21e7
00001269: JUMP
0000126a: JUMPDEST
0000126b: SWAP1
0000126c: POP
0000126d: SWAP2
0000126e: SWAP1
0000126f: POP
00001270: JUMP
00001271: JUMPDEST
00001272: PUSH1 0x00
00001274: CALLER
00001275: SWAP1
00001276: POP
00001277: SWAP1
00001278: JUMP
00001279: JUMPDEST
0000127a: PUSH1 0x00
0000127c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001291: AND
00001292: DUP4
00001293: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a8: AND
000012a9: SUB
000012aa: PUSH2 0x12e8
000012ad: JUMPI
000012ae: PUSH1 0x40
000012b0: MLOAD
000012b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x04
000012d6: ADD
000012d7: PUSH2 0x12df
000012da: SWAP1
000012db: PUSH2 0x250f
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x40
000012e2: MLOAD
000012e3: DUP1
000012e4: SWAP2
000012e5: SUB
000012e6: SWAP1
000012e7: REVERT
000012e8: JUMPDEST
000012e9: PUSH1 0x00
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: DUP3
00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001317: AND
00001318: SUB
00001319: PUSH2 0x1357
0000131c: JUMPI
0000131d: PUSH1 0x40
0000131f: MLOAD
00001320: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001341: DUP2
00001342: MSTORE
00001343: PUSH1 0x04
00001345: ADD
00001346: PUSH2 0x134e
00001349: SWAP1
0000134a: PUSH2 0x25a1
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH1 0x40
00001351: MLOAD
00001352: DUP1
00001353: SWAP2
00001354: SUB
00001355: SWAP1
00001356: REVERT
00001357: JUMPDEST
00001358: DUP1
00001359: PUSH1 0x01
0000135b: PUSH1 0x00
0000135d: DUP6
0000135e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001373: AND
00001374: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001389: AND
0000138a: DUP2
0000138b: MSTORE
0000138c: PUSH1 0x20
0000138e: ADD
0000138f: SWAP1
00001390: DUP2
00001391: MSTORE
00001392: PUSH1 0x20
00001394: ADD
00001395: PUSH1 0x00
00001397: KECCAK256
00001398: PUSH1 0x00
0000139a: DUP5
0000139b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b0: AND
000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c6: AND
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x20
000013cb: ADD
000013cc: SWAP1
000013cd: DUP2
000013ce: MSTORE
000013cf: PUSH1 0x20
000013d1: ADD
000013d2: PUSH1 0x00
000013d4: KECCAK256
000013d5: DUP2
000013d6: SWAP1
000013d7: SSTORE
000013d8: POP
000013d9: DUP2
000013da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ef: AND
000013f0: DUP4
000013f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001406: AND
00001407: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001428: DUP4
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: PUSH2 0x1435
0000142f: SWAP2
00001430: SWAP1
00001431: PUSH2 0x1ebc
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x40
00001438: MLOAD
00001439: DUP1
0000143a: SWAP2
0000143b: SUB
0000143c: SWAP1
0000143d: LOG3
0000143e: POP
0000143f: POP
00001440: POP
00001441: JUMP
00001442: JUMPDEST
00001443: PUSH2 0x144a
00001446: PUSH2 0x1271
00001449: JUMP
0000144a: JUMPDEST
0000144b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001460: AND
00001461: PUSH2 0x1468
00001464: PUSH2 0x0ca1
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147e: AND
0000147f: EQ
00001480: PUSH2 0x14be
00001483: JUMPI
00001484: PUSH1 0x40
00001486: MLOAD
00001487: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014a8: DUP2
000014a9: MSTORE
000014aa: PUSH1 0x04
000014ac: ADD
000014ad: PUSH2 0x14b5
000014b0: SWAP1
000014b1: PUSH2 0x260d
000014b4: JUMP
000014b5: JUMPDEST
000014b6: PUSH1 0x40
000014b8: MLOAD
000014b9: DUP1
000014ba: SWAP2
000014bb: SUB
000014bc: SWAP1
000014bd: REVERT
000014be: JUMPDEST
000014bf: JUMP
000014c0: JUMPDEST
000014c1: PUSH1 0x00
000014c3: PUSH2 0x14cc
000014c6: DUP5
000014c7: DUP5
000014c8: PUSH2 0x0e1e
000014cb: JUMP
000014cc: JUMPDEST
000014cd: SWAP1
000014ce: POP
000014cf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000014f0: DUP2
000014f1: EQ
000014f2: PUSH2 0x1546
000014f5: JUMPI
000014f6: DUP2
000014f7: DUP2
000014f8: LT
000014f9: ISZERO
000014fa: PUSH2 0x1538
000014fd: JUMPI
000014fe: PUSH1 0x40
00001500: MLOAD
00001501: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x04
00001526: ADD
00001527: PUSH2 0x152f
0000152a: SWAP1
0000152b: PUSH2 0x2679
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH1 0x40
00001532: MLOAD
00001533: DUP1
00001534: SWAP2
00001535: SUB
00001536: SWAP1
00001537: REVERT
00001538: JUMPDEST
00001539: PUSH2 0x1545
0000153c: DUP5
0000153d: DUP5
0000153e: DUP5
0000153f: DUP5
00001540: SUB
00001541: PUSH2 0x1279
00001544: JUMP
00001545: JUMPDEST
00001546: JUMPDEST
00001547: POP
00001548: POP
00001549: POP
0000154a: POP
0000154b: JUMP
0000154c: JUMPDEST
0000154d: PUSH1 0x00
0000154f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001564: AND
00001565: DUP4
00001566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157b: AND
0000157c: SUB
0000157d: PUSH2 0x15bb
00001580: JUMPI
00001581: PUSH1 0x40
00001583: MLOAD
00001584: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015a5: DUP2
000015a6: MSTORE
000015a7: PUSH1 0x04
000015a9: ADD
000015aa: PUSH2 0x15b2
000015ad: SWAP1
000015ae: PUSH2 0x270b
000015b1: JUMP
000015b2: JUMPDEST
000015b3: PUSH1 0x40
000015b5: MLOAD
000015b6: DUP1
000015b7: SWAP2
000015b8: SUB
000015b9: SWAP1
000015ba: REVERT
000015bb: JUMPDEST
000015bc: PUSH1 0x00
000015be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d3: AND
000015d4: DUP3
000015d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ea: AND
000015eb: SUB
000015ec: PUSH2 0x162a
000015ef: JUMPI
000015f0: PUSH1 0x40
000015f2: MLOAD
000015f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001614: DUP2
00001615: MSTORE
00001616: PUSH1 0x04
00001618: ADD
00001619: PUSH2 0x1621
0000161c: SWAP1
0000161d: PUSH2 0x279d
00001620: JUMP
00001621: JUMPDEST
00001622: PUSH1 0x40
00001624: MLOAD
00001625: DUP1
00001626: SWAP2
00001627: SUB
00001628: SWAP1
00001629: REVERT
0000162a: JUMPDEST
0000162b: PUSH2 0x1635
0000162e: DUP4
0000162f: DUP4
00001630: DUP4
00001631: PUSH2 0x1cb5
00001634: JUMP
00001635: JUMPDEST
00001636: PUSH1 0x00
00001638: DUP1
00001639: PUSH1 0x00
0000163b: DUP6
0000163c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001651: AND
00001652: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001667: AND
00001668: DUP2
00001669: MSTORE
0000166a: PUSH1 0x20
0000166c: ADD
0000166d: SWAP1
0000166e: DUP2
0000166f: MSTORE
00001670: PUSH1 0x20
00001672: ADD
00001673: PUSH1 0x00
00001675: KECCAK256
00001676: SLOAD
00001677: SWAP1
00001678: POP
00001679: DUP2
0000167a: DUP2
0000167b: LT
0000167c: ISZERO
0000167d: PUSH2 0x16bb
00001680: JUMPI
00001681: PUSH1 0x40
00001683: MLOAD
00001684: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x04
000016a9: ADD
000016aa: PUSH2 0x16b2
000016ad: SWAP1
000016ae: PUSH2 0x282f
000016b1: JUMP
000016b2: JUMPDEST
000016b3: PUSH1 0x40
000016b5: MLOAD
000016b6: DUP1
000016b7: SWAP2
000016b8: SUB
000016b9: SWAP1
000016ba: REVERT
000016bb: JUMPDEST
000016bc: DUP2
000016bd: DUP2
000016be: SUB
000016bf: PUSH1 0x00
000016c1: DUP1
000016c2: DUP7
000016c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016d8: AND
000016d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016ee: AND
000016ef: DUP2
000016f0: MSTORE
000016f1: PUSH1 0x20
000016f3: ADD
000016f4: SWAP1
000016f5: DUP2
000016f6: MSTORE
000016f7: PUSH1 0x20
000016f9: ADD
000016fa: PUSH1 0x00
000016fc: KECCAK256
000016fd: DUP2
000016fe: SWAP1
000016ff: SSTORE
00001700: POP
00001701: DUP2
00001702: PUSH1 0x00
00001704: DUP1
00001705: DUP6
00001706: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171b: AND
0000171c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001731: AND
00001732: DUP2
00001733: MSTORE
00001734: PUSH1 0x20
00001736: ADD
00001737: SWAP1
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x20
0000173c: ADD
0000173d: PUSH1 0x00
0000173f: KECCAK256
00001740: PUSH1 0x00
00001742: DUP3
00001743: DUP3
00001744: SLOAD
00001745: ADD
00001746: SWAP3
00001747: POP
00001748: POP
00001749: DUP2
0000174a: SWAP1
0000174b: SSTORE
0000174c: POP
0000174d: DUP3
0000174e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001763: AND
00001764: DUP5
00001765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000177a: AND
0000177b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000179c: DUP5
0000179d: PUSH1 0x40
0000179f: MLOAD
000017a0: PUSH2 0x17a9
000017a3: SWAP2
000017a4: SWAP1
000017a5: PUSH2 0x1ebc
000017a8: JUMP
000017a9: JUMPDEST
000017aa: PUSH1 0x40
000017ac: MLOAD
000017ad: DUP1
000017ae: SWAP2
000017af: SUB
000017b0: SWAP1
000017b1: LOG3
000017b2: PUSH2 0x17bc
000017b5: DUP5
000017b6: DUP5
000017b7: DUP5
000017b8: PUSH2 0x1cba
000017bb: JUMP
000017bc: JUMPDEST
000017bd: POP
000017be: POP
000017bf: POP
000017c0: POP
000017c1: JUMP
000017c2: JUMPDEST
000017c3: PUSH1 0x00
000017c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017da: AND
000017db: DUP3
000017dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f1: AND
000017f2: SUB
000017f3: PUSH2 0x1831
000017f6: JUMPI
000017f7: PUSH1 0x40
000017f9: MLOAD
000017fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000181b: DUP2
0000181c: MSTORE
0000181d: PUSH1 0x04
0000181f: ADD
00001820: PUSH2 0x1828
00001823: SWAP1
00001824: PUSH2 0x28c1
00001827: JUMP
00001828: JUMPDEST
00001829: PUSH1 0x40
0000182b: MLOAD
0000182c: DUP1
0000182d: SWAP2
0000182e: SUB
0000182f: SWAP1
00001830: REVERT
00001831: JUMPDEST
00001832: PUSH2 0x183d
00001835: DUP3
00001836: PUSH1 0x00
00001838: DUP4
00001839: PUSH2 0x1cb5
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x00
00001840: DUP1
00001841: PUSH1 0x00
00001843: DUP5
00001844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001859: AND
0000185a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186f: AND
00001870: DUP2
00001871: MSTORE
00001872: PUSH1 0x20
00001874: ADD
00001875: SWAP1
00001876: DUP2
00001877: MSTORE
00001878: PUSH1 0x20
0000187a: ADD
0000187b: PUSH1 0x00
0000187d: KECCAK256
0000187e: SLOAD
0000187f: SWAP1
00001880: POP
00001881: DUP2
00001882: DUP2
00001883: LT
00001884: ISZERO
00001885: PUSH2 0x18c3
00001888: JUMPI
00001889: PUSH1 0x40
0000188b: MLOAD
0000188c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018ad: DUP2
000018ae: MSTORE
000018af: PUSH1 0x04
000018b1: ADD
000018b2: PUSH2 0x18ba
000018b5: SWAP1
000018b6: PUSH2 0x2953
000018b9: JUMP
000018ba: JUMPDEST
000018bb: PUSH1 0x40
000018bd: MLOAD
000018be: DUP1
000018bf: SWAP2
000018c0: SUB
000018c1: SWAP1
000018c2: REVERT
000018c3: JUMPDEST
000018c4: DUP2
000018c5: DUP2
000018c6: SUB
000018c7: PUSH1 0x00
000018c9: DUP1
000018ca: DUP6
000018cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018e0: AND
000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f6: AND
000018f7: DUP2
000018f8: MSTORE
000018f9: PUSH1 0x20
000018fb: ADD
000018fc: SWAP1
000018fd: DUP2
000018fe: MSTORE
000018ff: PUSH1 0x20
00001901: ADD
00001902: PUSH1 0x00
00001904: KECCAK256
00001905: DUP2
00001906: SWAP1
00001907: SSTORE
00001908: POP
00001909: DUP2
0000190a: PUSH1 0x02
0000190c: PUSH1 0x00
0000190e: DUP3
0000190f: DUP3
00001910: SLOAD
00001911: SUB
00001912: SWAP3
00001913: POP
00001914: POP
00001915: DUP2
00001916: SWAP1
00001917: SSTORE
00001918: POP
00001919: PUSH1 0x00
0000191b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001930: AND
00001931: DUP4
00001932: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001947: AND
00001948: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001969: DUP5
0000196a: PUSH1 0x40
0000196c: MLOAD
0000196d: PUSH2 0x1976
00001970: SWAP2
00001971: SWAP1
00001972: PUSH2 0x1ebc
00001975: JUMP
00001976: JUMPDEST
00001977: PUSH1 0x40
00001979: MLOAD
0000197a: DUP1
0000197b: SWAP2
0000197c: SUB
0000197d: SWAP1
0000197e: LOG3
0000197f: PUSH2 0x198a
00001982: DUP4
00001983: PUSH1 0x00
00001985: DUP5
00001986: PUSH2 0x1cba
00001989: JUMP
0000198a: JUMPDEST
0000198b: POP
0000198c: POP
0000198d: POP
0000198e: JUMP
0000198f: JUMPDEST
00001990: PUSH1 0x00
00001992: PUSH1 0x05
00001994: PUSH1 0x00
00001996: SWAP1
00001997: SLOAD
00001998: SWAP1
00001999: PUSH2 0x0100
0000199c: EXP
0000199d: SWAP1
0000199e: DIV
0000199f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b4: AND
000019b5: SWAP1
000019b6: POP
000019b7: DUP2
000019b8: PUSH1 0x05
000019ba: PUSH1 0x00
000019bc: PUSH2 0x0100
000019bf: EXP
000019c0: DUP2
000019c1: SLOAD
000019c2: DUP2
000019c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d8: MUL
000019d9: NOT
000019da: AND
000019db: SWAP1
000019dc: DUP4
000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f2: AND
000019f3: MUL
000019f4: OR
000019f5: SWAP1
000019f6: SSTORE
000019f7: POP
000019f8: DUP2
000019f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0e: AND
00001a0f: DUP2
00001a10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a25: AND
00001a26: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001a47: PUSH1 0x40
00001a49: MLOAD
00001a4a: PUSH1 0x40
00001a4c: MLOAD
00001a4d: DUP1
00001a4e: SWAP2
00001a4f: SUB
00001a50: SWAP1
00001a51: LOG3
00001a52: POP
00001a53: POP
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH1 0x02
00001a58: PUSH1 0x06
00001a5a: SLOAD
00001a5b: SUB
00001a5c: PUSH2 0x1a9a
00001a5f: JUMPI
00001a60: PUSH1 0x40
00001a62: MLOAD
00001a63: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a84: DUP2
00001a85: MSTORE
00001a86: PUSH1 0x04
00001a88: ADD
00001a89: PUSH2 0x1a91
00001a8c: SWAP1
00001a8d: PUSH2 0x29bf
00001a90: JUMP
00001a91: JUMPDEST
00001a92: PUSH1 0x40
00001a94: MLOAD
00001a95: DUP1
00001a96: SWAP2
00001a97: SUB
00001a98: SWAP1
00001a99: REVERT
00001a9a: JUMPDEST
00001a9b: PUSH1 0x02
00001a9d: PUSH1 0x06
00001a9f: DUP2
00001aa0: SWAP1
00001aa1: SSTORE
00001aa2: POP
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH1 0x00
00001aa7: DUP3
00001aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abd: AND
00001abe: DUP3
00001abf: PUSH1 0x40
00001ac1: MLOAD
00001ac2: PUSH2 0x1aca
00001ac5: SWAP1
00001ac6: PUSH2 0x2a10
00001ac9: JUMP
00001aca: JUMPDEST
00001acb: PUSH1 0x00
00001acd: PUSH1 0x40
00001acf: MLOAD
00001ad0: DUP1
00001ad1: DUP4
00001ad2: SUB
00001ad3: DUP2
00001ad4: DUP6
00001ad5: DUP8
00001ad6: GAS
00001ad7: CALL
00001ad8: SWAP3
00001ad9: POP
00001ada: POP
00001adb: POP
00001adc: RETURNDATASIZE
00001add: DUP1
00001ade: PUSH1 0x00
00001ae0: DUP2
00001ae1: EQ
00001ae2: PUSH2 0x1b07
00001ae5: JUMPI
00001ae6: PUSH1 0x40
00001ae8: MLOAD
00001ae9: SWAP2
00001aea: POP
00001aeb: PUSH1 0x1f
00001aed: NOT
00001aee: PUSH1 0x3f
00001af0: RETURNDATASIZE
00001af1: ADD
00001af2: AND
00001af3: DUP3
00001af4: ADD
00001af5: PUSH1 0x40
00001af7: MSTORE
00001af8: RETURNDATASIZE
00001af9: DUP3
00001afa: MSTORE
00001afb: RETURNDATASIZE
00001afc: PUSH1 0x00
00001afe: PUSH1 0x20
00001b00: DUP5
00001b01: ADD
00001b02: RETURNDATACOPY
00001b03: PUSH2 0x1b0c
00001b06: JUMP
00001b07: JUMPDEST
00001b08: PUSH1 0x60
00001b0a: SWAP2
00001b0b: POP
00001b0c: JUMPDEST
00001b0d: POP
00001b0e: POP
00001b0f: SWAP1
00001b10: POP
00001b11: DUP1
00001b12: PUSH2 0x1b50
00001b15: JUMPI
00001b16: PUSH1 0x40
00001b18: MLOAD
00001b19: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b3a: DUP2
00001b3b: MSTORE
00001b3c: PUSH1 0x04
00001b3e: ADD
00001b3f: PUSH2 0x1b47
00001b42: SWAP1
00001b43: PUSH2 0x2a71
00001b46: JUMP
00001b47: JUMPDEST
00001b48: PUSH1 0x40
00001b4a: MLOAD
00001b4b: DUP1
00001b4c: SWAP2
00001b4d: SUB
00001b4e: SWAP1
00001b4f: REVERT
00001b50: JUMPDEST
00001b51: POP
00001b52: POP
00001b53: POP
00001b54: JUMP
00001b55: JUMPDEST
00001b56: PUSH1 0x01
00001b58: PUSH1 0x06
00001b5a: DUP2
00001b5b: SWAP1
00001b5c: SSTORE
00001b5d: POP
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: PUSH1 0x00
00001b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b77: AND
00001b78: DUP3
00001b79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8e: AND
00001b8f: SUB
00001b90: PUSH2 0x1bce
00001b93: JUMPI
00001b94: PUSH1 0x40
00001b96: MLOAD
00001b97: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bb8: DUP2
00001bb9: MSTORE
00001bba: PUSH1 0x04
00001bbc: ADD
00001bbd: PUSH2 0x1bc5
00001bc0: SWAP1
00001bc1: PUSH2 0x2add
00001bc4: JUMP
00001bc5: JUMPDEST
00001bc6: PUSH1 0x40
00001bc8: MLOAD
00001bc9: DUP1
00001bca: SWAP2
00001bcb: SUB
00001bcc: SWAP1
00001bcd: REVERT
00001bce: JUMPDEST
00001bcf: PUSH2 0x1bda
00001bd2: PUSH1 0x00
00001bd4: DUP4
00001bd5: DUP4
00001bd6: PUSH2 0x1cb5
00001bd9: JUMP
00001bda: JUMPDEST
00001bdb: DUP1
00001bdc: PUSH1 0x02
00001bde: PUSH1 0x00
00001be0: DUP3
00001be1: DUP3
00001be2: SLOAD
00001be3: PUSH2 0x1bec
00001be6: SWAP2
00001be7: SWAP1
00001be8: PUSH2 0x2218
00001beb: JUMP
00001bec: JUMPDEST
00001bed: SWAP3
00001bee: POP
00001bef: POP
00001bf0: DUP2
00001bf1: SWAP1
00001bf2: SSTORE
00001bf3: POP
00001bf4: DUP1
00001bf5: PUSH1 0x00
00001bf7: DUP1
00001bf8: DUP5
00001bf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c0e: AND
00001c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c24: AND
00001c25: DUP2
00001c26: MSTORE
00001c27: PUSH1 0x20
00001c29: ADD
00001c2a: SWAP1
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x20
00001c2f: ADD
00001c30: PUSH1 0x00
00001c32: KECCAK256
00001c33: PUSH1 0x00
00001c35: DUP3
00001c36: DUP3
00001c37: SLOAD
00001c38: ADD
00001c39: SWAP3
00001c3a: POP
00001c3b: POP
00001c3c: DUP2
00001c3d: SWAP1
00001c3e: SSTORE
00001c3f: POP
00001c40: DUP2
00001c41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c56: AND
00001c57: PUSH1 0x00
00001c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c6e: AND
00001c6f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001c90: DUP4
00001c91: PUSH1 0x40
00001c93: MLOAD
00001c94: PUSH2 0x1c9d
00001c97: SWAP2
00001c98: SWAP1
00001c99: PUSH2 0x1ebc
00001c9c: JUMP
00001c9d: JUMPDEST
00001c9e: PUSH1 0x40
00001ca0: MLOAD
00001ca1: DUP1
00001ca2: SWAP2
00001ca3: SUB
00001ca4: SWAP1
00001ca5: LOG3
00001ca6: PUSH2 0x1cb1
00001ca9: PUSH1 0x00
00001cab: DUP4
00001cac: DUP4
00001cad: PUSH2 0x1cba
00001cb0: JUMP
00001cb1: JUMPDEST
00001cb2: POP
00001cb3: POP
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: POP
00001cb7: POP
00001cb8: POP
00001cb9: JUMP
00001cba: JUMPDEST
00001cbb: POP
00001cbc: POP
00001cbd: POP
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: PUSH1 0x00
00001cc2: DUP2
00001cc3: MLOAD
00001cc4: SWAP1
00001cc5: POP
00001cc6: SWAP2
00001cc7: SWAP1
00001cc8: POP
00001cc9: JUMP
00001cca: JUMPDEST
00001ccb: PUSH1 0x00
00001ccd: DUP3
00001cce: DUP3
00001ccf: MSTORE
00001cd0: PUSH1 0x20
00001cd2: DUP3
00001cd3: ADD
00001cd4: SWAP1
00001cd5: POP
00001cd6: SWAP3
00001cd7: SWAP2
00001cd8: POP
00001cd9: POP
00001cda: JUMP
00001cdb: JUMPDEST
00001cdc: PUSH1 0x00
00001cde: JUMPDEST
00001cdf: DUP4
00001ce0: DUP2
00001ce1: LT
00001ce2: ISZERO
00001ce3: PUSH2 0x1cf9
00001ce6: JUMPI
00001ce7: DUP1
00001ce8: DUP3
00001ce9: ADD
00001cea: MLOAD
00001ceb: DUP2
00001cec: DUP5
00001ced: ADD
00001cee: MSTORE
00001cef: PUSH1 0x20
00001cf1: DUP2
00001cf2: ADD
00001cf3: SWAP1
00001cf4: POP
00001cf5: PUSH2 0x1cde
00001cf8: JUMP
00001cf9: JUMPDEST
00001cfa: PUSH1 0x00
00001cfc: DUP5
00001cfd: DUP5
00001cfe: ADD
00001cff: MSTORE
00001d00: POP
00001d01: POP
00001d02: POP
00001d03: POP
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH1 0x00
00001d08: PUSH1 0x1f
00001d0a: NOT
00001d0b: PUSH1 0x1f
00001d0d: DUP4
00001d0e: ADD
00001d0f: AND
00001d10: SWAP1
00001d11: POP
00001d12: SWAP2
00001d13: SWAP1
00001d14: POP
00001d15: JUMP
00001d16: JUMPDEST
00001d17: PUSH1 0x00
00001d19: PUSH2 0x1d21
00001d1c: DUP3
00001d1d: PUSH2 0x1cbf
00001d20: JUMP
00001d21: JUMPDEST
00001d22: PUSH2 0x1d2b
00001d25: DUP2
00001d26: DUP6
00001d27: PUSH2 0x1cca
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: SWAP4
00001d2d: POP
00001d2e: PUSH2 0x1d3b
00001d31: DUP2
00001d32: DUP6
00001d33: PUSH1 0x20
00001d35: DUP7
00001d36: ADD
00001d37: PUSH2 0x1cdb
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: PUSH2 0x1d44
00001d3f: DUP2
00001d40: PUSH2 0x1d05
00001d43: JUMP
00001d44: JUMPDEST
00001d45: DUP5
00001d46: ADD
00001d47: SWAP2
00001d48: POP
00001d49: POP
00001d4a: SWAP3
00001d4b: SWAP2
00001d4c: POP
00001d4d: POP
00001d4e: JUMP
00001d4f: JUMPDEST
00001d50: PUSH1 0x00
00001d52: PUSH1 0x20
00001d54: DUP3
00001d55: ADD
00001d56: SWAP1
00001d57: POP
00001d58: DUP2
00001d59: DUP2
00001d5a: SUB
00001d5b: PUSH1 0x00
00001d5d: DUP4
00001d5e: ADD
00001d5f: MSTORE
00001d60: PUSH2 0x1d69
00001d63: DUP2
00001d64: DUP5
00001d65: PUSH2 0x1d16
00001d68: JUMP
00001d69: JUMPDEST
00001d6a: SWAP1
00001d6b: POP
00001d6c: SWAP3
00001d6d: SWAP2
00001d6e: POP
00001d6f: POP
00001d70: JUMP
00001d71: JUMPDEST
00001d72: PUSH1 0x00
00001d74: DUP1
00001d75: REVERT
00001d76: JUMPDEST
00001d77: PUSH1 0x00
00001d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d8e: DUP3
00001d8f: AND
00001d90: SWAP1
00001d91: POP
00001d92: SWAP2
00001d93: SWAP1
00001d94: POP
00001d95: JUMP
00001d96: JUMPDEST
00001d97: PUSH1 0x00
00001d99: PUSH2 0x1da1
00001d9c: DUP3
00001d9d: PUSH2 0x1d76
00001da0: JUMP
00001da1: JUMPDEST
00001da2: SWAP1
00001da3: POP
00001da4: SWAP2
00001da5: SWAP1
00001da6: POP
00001da7: JUMP
00001da8: JUMPDEST
00001da9: PUSH2 0x1db1
00001dac: DUP2
00001dad: PUSH2 0x1d96
00001db0: JUMP
00001db1: JUMPDEST
00001db2: DUP2
00001db3: EQ
00001db4: PUSH2 0x1dbc
00001db7: JUMPI
00001db8: PUSH1 0x00
00001dba: DUP1
00001dbb: REVERT
00001dbc: JUMPDEST
00001dbd: POP
00001dbe: JUMP
00001dbf: JUMPDEST
00001dc0: PUSH1 0x00
00001dc2: DUP2
00001dc3: CALLDATALOAD
00001dc4: SWAP1
00001dc5: POP
00001dc6: PUSH2 0x1dce
00001dc9: DUP2
00001dca: PUSH2 0x1da8
00001dcd: JUMP
00001dce: JUMPDEST
00001dcf: SWAP3
00001dd0: SWAP2
00001dd1: POP
00001dd2: POP
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x00
00001dd7: DUP2
00001dd8: SWAP1
00001dd9: POP
00001dda: SWAP2
00001ddb: SWAP1
00001ddc: POP
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: PUSH2 0x1de7
00001de2: DUP2
00001de3: PUSH2 0x1dd4
00001de6: JUMP
00001de7: JUMPDEST
00001de8: DUP2
00001de9: EQ
00001dea: PUSH2 0x1df2
00001ded: JUMPI
00001dee: PUSH1 0x00
00001df0: DUP1
00001df1: REVERT
00001df2: JUMPDEST
00001df3: POP
00001df4: JUMP
00001df5: JUMPDEST
00001df6: PUSH1 0x00
00001df8: DUP2
00001df9: CALLDATALOAD
00001dfa: SWAP1
00001dfb: POP
00001dfc: PUSH2 0x1e04
00001dff: DUP2
00001e00: PUSH2 0x1dde
00001e03: JUMP
00001e04: JUMPDEST
00001e05: SWAP3
00001e06: SWAP2
00001e07: POP
00001e08: POP
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: PUSH1 0x00
00001e0d: DUP1
00001e0e: PUSH1 0x40
00001e10: DUP4
00001e11: DUP6
00001e12: SUB
00001e13: SLT
00001e14: ISZERO
00001e15: PUSH2 0x1e21
00001e18: JUMPI
00001e19: PUSH2 0x1e20
00001e1c: PUSH2 0x1d71
00001e1f: JUMP
00001e20: JUMPDEST
00001e21: JUMPDEST
00001e22: PUSH1 0x00
00001e24: PUSH2 0x1e2f
00001e27: DUP6
00001e28: DUP3
00001e29: DUP7
00001e2a: ADD
00001e2b: PUSH2 0x1dbf
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: SWAP3
00001e31: POP
00001e32: POP
00001e33: PUSH1 0x20
00001e35: PUSH2 0x1e40
00001e38: DUP6
00001e39: DUP3
00001e3a: DUP7
00001e3b: ADD
00001e3c: PUSH2 0x1df5
00001e3f: JUMP
00001e40: JUMPDEST
00001e41: SWAP2
00001e42: POP
00001e43: POP
00001e44: SWAP3
00001e45: POP
00001e46: SWAP3
00001e47: SWAP1
00001e48: POP
00001e49: JUMP
00001e4a: JUMPDEST
00001e4b: PUSH1 0x00
00001e4d: DUP2
00001e4e: ISZERO
00001e4f: ISZERO
00001e50: SWAP1
00001e51: POP
00001e52: SWAP2
00001e53: SWAP1
00001e54: POP
00001e55: JUMP
00001e56: JUMPDEST
00001e57: PUSH2 0x1e5f
00001e5a: DUP2
00001e5b: PUSH2 0x1e4a
00001e5e: JUMP
00001e5f: JUMPDEST
00001e60: DUP3
00001e61: MSTORE
00001e62: POP
00001e63: POP
00001e64: JUMP
00001e65: JUMPDEST
00001e66: PUSH1 0x00
00001e68: PUSH1 0x20
00001e6a: DUP3
00001e6b: ADD
00001e6c: SWAP1
00001e6d: POP
00001e6e: PUSH2 0x1e7a
00001e71: PUSH1 0x00
00001e73: DUP4
00001e74: ADD
00001e75: DUP5
00001e76: PUSH2 0x1e56
00001e79: JUMP
00001e7a: JUMPDEST
00001e7b: SWAP3
00001e7c: SWAP2
00001e7d: POP
00001e7e: POP
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH1 0x00
00001e83: PUSH1 0x20
00001e85: DUP3
00001e86: DUP5
00001e87: SUB
00001e88: SLT
00001e89: ISZERO
00001e8a: PUSH2 0x1e96
00001e8d: JUMPI
00001e8e: PUSH2 0x1e95
00001e91: PUSH2 0x1d71
00001e94: JUMP
00001e95: JUMPDEST
00001e96: JUMPDEST
00001e97: PUSH1 0x00
00001e99: PUSH2 0x1ea4
00001e9c: DUP5
00001e9d: DUP3
00001e9e: DUP6
00001e9f: ADD
00001ea0: PUSH2 0x1df5
00001ea3: JUMP
00001ea4: JUMPDEST
00001ea5: SWAP2
00001ea6: POP
00001ea7: POP
00001ea8: SWAP3
00001ea9: SWAP2
00001eaa: POP
00001eab: POP
00001eac: JUMP
00001ead: JUMPDEST
00001eae: PUSH2 0x1eb6
00001eb1: DUP2
00001eb2: PUSH2 0x1dd4
00001eb5: JUMP
00001eb6: JUMPDEST
00001eb7: DUP3
00001eb8: MSTORE
00001eb9: POP
00001eba: POP
00001ebb: JUMP
00001ebc: JUMPDEST
00001ebd: PUSH1 0x00
00001ebf: PUSH1 0x20
00001ec1: DUP3
00001ec2: ADD
00001ec3: SWAP1
00001ec4: POP
00001ec5: PUSH2 0x1ed1
00001ec8: PUSH1 0x00
00001eca: DUP4
00001ecb: ADD
00001ecc: DUP5
00001ecd: PUSH2 0x1ead
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: SWAP3
00001ed3: SWAP2
00001ed4: POP
00001ed5: POP
00001ed6: JUMP
00001ed7: JUMPDEST
00001ed8: PUSH1 0x00
00001eda: DUP1
00001edb: PUSH1 0x00
00001edd: PUSH1 0x60
00001edf: DUP5
00001ee0: DUP7
00001ee1: SUB
00001ee2: SLT
00001ee3: ISZERO
00001ee4: PUSH2 0x1ef0
00001ee7: JUMPI
00001ee8: PUSH2 0x1eef
00001eeb: PUSH2 0x1d71
00001eee: JUMP
00001eef: JUMPDEST
00001ef0: JUMPDEST
00001ef1: PUSH1 0x00
00001ef3: PUSH2 0x1efe
00001ef6: DUP7
00001ef7: DUP3
00001ef8: DUP8
00001ef9: ADD
00001efa: PUSH2 0x1dbf
00001efd: JUMP
00001efe: JUMPDEST
00001eff: SWAP4
00001f00: POP
00001f01: POP
00001f02: PUSH1 0x20
00001f04: PUSH2 0x1f0f
00001f07: DUP7
00001f08: DUP3
00001f09: DUP8
00001f0a: ADD
00001f0b: PUSH2 0x1dbf
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: SWAP3
00001f11: POP
00001f12: POP
00001f13: PUSH1 0x40
00001f15: PUSH2 0x1f20
00001f18: DUP7
00001f19: DUP3
00001f1a: DUP8
00001f1b: ADD
00001f1c: PUSH2 0x1df5
00001f1f: JUMP
00001f20: JUMPDEST
00001f21: SWAP2
00001f22: POP
00001f23: POP
00001f24: SWAP3
00001f25: POP
00001f26: SWAP3
00001f27: POP
00001f28: SWAP3
00001f29: JUMP
00001f2a: JUMPDEST
00001f2b: PUSH1 0x00
00001f2d: PUSH2 0xffff
00001f30: DUP3
00001f31: AND
00001f32: SWAP1
00001f33: POP
00001f34: SWAP2
00001f35: SWAP1
00001f36: POP
00001f37: JUMP
00001f38: JUMPDEST
00001f39: PUSH2 0x1f41
00001f3c: DUP2
00001f3d: PUSH2 0x1f2a
00001f40: JUMP
00001f41: JUMPDEST
00001f42: DUP3
00001f43: MSTORE
00001f44: POP
00001f45: POP
00001f46: JUMP
00001f47: JUMPDEST
00001f48: PUSH1 0x00
00001f4a: PUSH1 0x20
00001f4c: DUP3
00001f4d: ADD
00001f4e: SWAP1
00001f4f: POP
00001f50: PUSH2 0x1f5c
00001f53: PUSH1 0x00
00001f55: DUP4
00001f56: ADD
00001f57: DUP5
00001f58: PUSH2 0x1f38
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: SWAP3
00001f5e: SWAP2
00001f5f: POP
00001f60: POP
00001f61: JUMP
00001f62: JUMPDEST
00001f63: PUSH1 0x00
00001f65: PUSH1 0xff
00001f67: DUP3
00001f68: AND
00001f69: SWAP1
00001f6a: POP
00001f6b: SWAP2
00001f6c: SWAP1
00001f6d: POP
00001f6e: JUMP
00001f6f: JUMPDEST
00001f70: PUSH2 0x1f78
00001f73: DUP2
00001f74: PUSH2 0x1f62
00001f77: JUMP
00001f78: JUMPDEST
00001f79: DUP3
00001f7a: MSTORE
00001f7b: POP
00001f7c: POP
00001f7d: JUMP
00001f7e: JUMPDEST
00001f7f: PUSH1 0x00
00001f81: PUSH1 0x20
00001f83: DUP3
00001f84: ADD
00001f85: SWAP1
00001f86: POP
00001f87: PUSH2 0x1f93
00001f8a: PUSH1 0x00
00001f8c: DUP4
00001f8d: ADD
00001f8e: DUP5
00001f8f: PUSH2 0x1f6f
00001f92: JUMP
00001f93: JUMPDEST
00001f94: SWAP3
00001f95: SWAP2
00001f96: POP
00001f97: POP
00001f98: JUMP
00001f99: JUMPDEST
00001f9a: PUSH1 0x00
00001f9c: PUSH1 0x20
00001f9e: DUP3
00001f9f: DUP5
00001fa0: SUB
00001fa1: SLT
00001fa2: ISZERO
00001fa3: PUSH2 0x1faf
00001fa6: JUMPI
00001fa7: PUSH2 0x1fae
00001faa: PUSH2 0x1d71
00001fad: JUMP
00001fae: JUMPDEST
00001faf: JUMPDEST
00001fb0: PUSH1 0x00
00001fb2: PUSH2 0x1fbd
00001fb5: DUP5
00001fb6: DUP3
00001fb7: DUP6
00001fb8: ADD
00001fb9: PUSH2 0x1dbf
00001fbc: JUMP
00001fbd: JUMPDEST
00001fbe: SWAP2
00001fbf: POP
00001fc0: POP
00001fc1: SWAP3
00001fc2: SWAP2
00001fc3: POP
00001fc4: POP
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH2 0x1fcf
00001fca: DUP2
00001fcb: PUSH2 0x1f2a
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: DUP2
00001fd1: EQ
00001fd2: PUSH2 0x1fda
00001fd5: JUMPI
00001fd6: PUSH1 0x00
00001fd8: DUP1
00001fd9: REVERT
00001fda: JUMPDEST
00001fdb: POP
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: PUSH1 0x00
00001fe0: DUP2
00001fe1: CALLDATALOAD
00001fe2: SWAP1
00001fe3: POP
00001fe4: PUSH2 0x1fec
00001fe7: DUP2
00001fe8: PUSH2 0x1fc6
00001feb: JUMP
00001fec: JUMPDEST
00001fed: SWAP3
00001fee: SWAP2
00001fef: POP
00001ff0: POP
00001ff1: JUMP
00001ff2: JUMPDEST
00001ff3: PUSH1 0x00
00001ff5: PUSH1 0x20
00001ff7: DUP3
00001ff8: DUP5
00001ff9: SUB
00001ffa: SLT
00001ffb: ISZERO
00001ffc: PUSH2 0x2008
00001fff: JUMPI
00002000: PUSH2 0x2007
00002003: PUSH2 0x1d71
00002006: JUMP
00002007: JUMPDEST
00002008: JUMPDEST
00002009: PUSH1 0x00
0000200b: PUSH2 0x2016
0000200e: DUP5
0000200f: DUP3
00002010: DUP6
00002011: ADD
00002012: PUSH2 0x1fdd
00002015: JUMP
00002016: JUMPDEST
00002017: SWAP2
00002018: POP
00002019: POP
0000201a: SWAP3
0000201b: SWAP2
0000201c: POP
0000201d: POP
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH2 0x2028
00002023: DUP2
00002024: PUSH2 0x1d96
00002027: JUMP
00002028: JUMPDEST
00002029: DUP3
0000202a: MSTORE
0000202b: POP
0000202c: POP
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH1 0x00
00002031: PUSH1 0x20
00002033: DUP3
00002034: ADD
00002035: SWAP1
00002036: POP
00002037: PUSH2 0x2043
0000203a: PUSH1 0x00
0000203c: DUP4
0000203d: ADD
0000203e: DUP5
0000203f: PUSH2 0x201f
00002042: JUMP
00002043: JUMPDEST
00002044: SWAP3
00002045: SWAP2
00002046: POP
00002047: POP
00002048: JUMP
00002049: JUMPDEST
0000204a: PUSH1 0x00
0000204c: PUSH16 0xffffffffffffffffffffffffffffffff
0000205d: DUP3
0000205e: AND
0000205f: SWAP1
00002060: POP
00002061: SWAP2
00002062: SWAP1
00002063: POP
00002064: JUMP
00002065: JUMPDEST
00002066: PUSH2 0x206e
00002069: DUP2
0000206a: PUSH2 0x2049
0000206d: JUMP
0000206e: JUMPDEST
0000206f: DUP3
00002070: MSTORE
00002071: POP
00002072: POP
00002073: JUMP
00002074: JUMPDEST
00002075: PUSH1 0x00
00002077: PUSH1 0x20
00002079: DUP3
0000207a: ADD
0000207b: SWAP1
0000207c: POP
0000207d: PUSH2 0x2089
00002080: PUSH1 0x00
00002082: DUP4
00002083: ADD
00002084: DUP5
00002085: PUSH2 0x2065
00002088: JUMP
00002089: JUMPDEST
0000208a: SWAP3
0000208b: SWAP2
0000208c: POP
0000208d: POP
0000208e: JUMP
0000208f: JUMPDEST
00002090: PUSH1 0x00
00002092: DUP1
00002093: PUSH1 0x40
00002095: DUP4
00002096: DUP6
00002097: SUB
00002098: SLT
00002099: ISZERO
0000209a: PUSH2 0x20a6
0000209d: JUMPI
0000209e: PUSH2 0x20a5
000020a1: PUSH2 0x1d71
000020a4: JUMP
000020a5: JUMPDEST
000020a6: JUMPDEST
000020a7: PUSH1 0x00
000020a9: PUSH2 0x20b4
000020ac: DUP6
000020ad: DUP3
000020ae: DUP7
000020af: ADD
000020b0: PUSH2 0x1dbf
000020b3: JUMP
000020b4: JUMPDEST
000020b5: SWAP3
000020b6: POP
000020b7: POP
000020b8: PUSH1 0x20
000020ba: PUSH2 0x20c5
000020bd: DUP6
000020be: DUP3
000020bf: DUP7
000020c0: ADD
000020c1: PUSH2 0x1dbf
000020c4: JUMP
000020c5: JUMPDEST
000020c6: SWAP2
000020c7: POP
000020c8: POP
000020c9: SWAP3
000020ca: POP
000020cb: SWAP3
000020cc: SWAP1
000020cd: POP
000020ce: JUMP
000020cf: JUMPDEST
000020d0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000020f1: PUSH1 0x00
000020f3: MSTORE
000020f4: PUSH1 0x22
000020f6: PUSH1 0x04
000020f8: MSTORE
000020f9: PUSH1 0x24
000020fb: PUSH1 0x00
000020fd: REVERT
000020fe: JUMPDEST
000020ff: PUSH1 0x00
00002101: PUSH1 0x02
00002103: DUP3
00002104: DIV
00002105: SWAP1
00002106: POP
00002107: PUSH1 0x01
00002109: DUP3
0000210a: AND
0000210b: DUP1
0000210c: PUSH2 0x2116
0000210f: JUMPI
00002110: PUSH1 0x7f
00002112: DUP3
00002113: AND
00002114: SWAP2
00002115: POP
00002116: JUMPDEST
00002117: PUSH1 0x20
00002119: DUP3
0000211a: LT
0000211b: DUP2
0000211c: SUB
0000211d: PUSH2 0x2129
00002120: JUMPI
00002121: PUSH2 0x2128
00002124: PUSH2 0x20cf
00002127: JUMP
00002128: JUMPDEST
00002129: JUMPDEST
0000212a: POP
0000212b: SWAP2
0000212c: SWAP1
0000212d: POP
0000212e: JUMP
0000212f: JUMPDEST
00002130: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002151: PUSH1 0x00
00002153: MSTORE
00002154: PUSH1 0x11
00002156: PUSH1 0x04
00002158: MSTORE
00002159: PUSH1 0x24
0000215b: PUSH1 0x00
0000215d: REVERT
0000215e: JUMPDEST
0000215f: PUSH1 0x00
00002161: PUSH2 0x2169
00002164: DUP3
00002165: PUSH2 0x1dd4
00002168: JUMP
00002169: JUMPDEST
0000216a: SWAP2
0000216b: POP
0000216c: PUSH2 0x2174
0000216f: DUP4
00002170: PUSH2 0x1dd4
00002173: JUMP
00002174: JUMPDEST
00002175: SWAP3
00002176: POP
00002177: DUP2
00002178: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002199: DIV
0000219a: DUP4
0000219b: GT
0000219c: DUP3
0000219d: ISZERO
0000219e: ISZERO
0000219f: AND
000021a0: ISZERO
000021a1: PUSH2 0x21ad
000021a4: JUMPI
000021a5: PUSH2 0x21ac
000021a8: PUSH2 0x212f
000021ab: JUMP
000021ac: JUMPDEST
000021ad: JUMPDEST
000021ae: DUP3
000021af: DUP3
000021b0: MUL
000021b1: SWAP1
000021b2: POP
000021b3: SWAP3
000021b4: SWAP2
000021b5: POP
000021b6: POP
000021b7: JUMP
000021b8: JUMPDEST
000021b9: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000021da: PUSH1 0x00
000021dc: MSTORE
000021dd: PUSH1 0x12
000021df: PUSH1 0x04
000021e1: MSTORE
000021e2: PUSH1 0x24
000021e4: PUSH1 0x00
000021e6: REVERT
000021e7: JUMPDEST
000021e8: PUSH1 0x00
000021ea: PUSH2 0x21f2
000021ed: DUP3
000021ee: PUSH2 0x1dd4
000021f1: JUMP
000021f2: JUMPDEST
000021f3: SWAP2
000021f4: POP
000021f5: PUSH2 0x21fd
000021f8: DUP4
000021f9: PUSH2 0x1dd4
000021fc: JUMP
000021fd: JUMPDEST
000021fe: SWAP3
000021ff: POP
00002200: DUP3
00002201: PUSH2 0x220d
00002204: JUMPI
00002205: PUSH2 0x220c
00002208: PUSH2 0x21b8
0000220b: JUMP
0000220c: JUMPDEST
0000220d: JUMPDEST
0000220e: DUP3
0000220f: DUP3
00002210: DIV
00002211: SWAP1
00002212: POP
00002213: SWAP3
00002214: SWAP2
00002215: POP
00002216: POP
00002217: JUMP
00002218: JUMPDEST
00002219: PUSH1 0x00
0000221b: PUSH2 0x2223
0000221e: DUP3
0000221f: PUSH2 0x1dd4
00002222: JUMP
00002223: JUMPDEST
00002224: SWAP2
00002225: POP
00002226: PUSH2 0x222e
00002229: DUP4
0000222a: PUSH2 0x1dd4
0000222d: JUMP
0000222e: JUMPDEST
0000222f: SWAP3
00002230: POP
00002231: DUP3
00002232: DUP3
00002233: ADD
00002234: SWAP1
00002235: POP
00002236: DUP1
00002237: DUP3
00002238: GT
00002239: ISZERO
0000223a: PUSH2 0x2246
0000223d: JUMPI
0000223e: PUSH2 0x2245
00002241: PUSH2 0x212f
00002244: JUMP
00002245: JUMPDEST
00002246: JUMPDEST
00002247: SWAP3
00002248: SWAP2
00002249: POP
0000224a: POP
0000224b: JUMP
0000224c: JUMPDEST
0000224d: PUSH1 0x00
0000224f: DUP2
00002250: SWAP1
00002251: POP
00002252: SWAP2
00002253: SWAP1
00002254: POP
00002255: JUMP
00002256: JUMPDEST
00002257: PUSH1 0x00
00002259: PUSH2 0x2271
0000225c: PUSH2 0x226c
0000225f: PUSH2 0x2267
00002262: DUP5
00002263: PUSH2 0x1f2a
00002266: JUMP
00002267: JUMPDEST
00002268: PUSH2 0x224c
0000226b: JUMP
0000226c: JUMPDEST
0000226d: PUSH2 0x1dd4
00002270: JUMP
00002271: JUMPDEST
00002272: SWAP1
00002273: POP
00002274: SWAP2
00002275: SWAP1
00002276: POP
00002277: JUMP
00002278: JUMPDEST
00002279: PUSH2 0x2281
0000227c: DUP2
0000227d: PUSH2 0x2256
00002280: JUMP
00002281: JUMPDEST
00002282: DUP3
00002283: MSTORE
00002284: POP
00002285: POP
00002286: JUMP
00002287: JUMPDEST
00002288: PUSH1 0x00
0000228a: PUSH1 0x20
0000228c: DUP3
0000228d: ADD
0000228e: SWAP1
0000228f: POP
00002290: PUSH2 0x229c
00002293: PUSH1 0x00
00002295: DUP4
00002296: ADD
00002297: DUP5
00002298: PUSH2 0x2278
0000229b: JUMP
0000229c: JUMPDEST
0000229d: SWAP3
0000229e: SWAP2
0000229f: POP
000022a0: POP
000022a1: JUMP
000022a2: JUMPDEST
000022a3: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
000022c4: PUSH1 0x00
000022c6: DUP3
000022c7: ADD
000022c8: MSTORE
000022c9: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
000022ea: PUSH1 0x20
000022ec: DUP3
000022ed: ADD
000022ee: MSTORE
000022ef: POP
000022f0: JUMP
000022f1: JUMPDEST
000022f2: PUSH1 0x00
000022f4: PUSH2 0x22fe
000022f7: PUSH1 0x25
000022f9: DUP4
000022fa: PUSH2 0x1cca
000022fd: JUMP
000022fe: JUMPDEST
000022ff: SWAP2
00002300: POP
00002301: PUSH2 0x2309
00002304: DUP3
00002305: PUSH2 0x22a2
00002308: JUMP
00002309: JUMPDEST
0000230a: PUSH1 0x40
0000230c: DUP3
0000230d: ADD
0000230e: SWAP1
0000230f: POP
00002310: SWAP2
00002311: SWAP1
00002312: POP
00002313: JUMP
00002314: JUMPDEST
00002315: PUSH1 0x00
00002317: PUSH1 0x20
00002319: DUP3
0000231a: ADD
0000231b: SWAP1
0000231c: POP
0000231d: DUP2
0000231e: DUP2
0000231f: SUB
00002320: PUSH1 0x00
00002322: DUP4
00002323: ADD
00002324: MSTORE
00002325: PUSH2 0x232d
00002328: DUP2
00002329: PUSH2 0x22f1
0000232c: JUMP
0000232d: JUMPDEST
0000232e: SWAP1
0000232f: POP
00002330: SWAP2
00002331: SWAP1
00002332: POP
00002333: JUMP
00002334: JUMPDEST
00002335: PUSH32 0x6d757374207472616465206f766572206d696e00000000000000000000000000
00002356: PUSH1 0x00
00002358: DUP3
00002359: ADD
0000235a: MSTORE
0000235b: POP
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH1 0x00
00002360: PUSH2 0x236a
00002363: PUSH1 0x13
00002365: DUP4
00002366: PUSH2 0x1cca
00002369: JUMP
0000236a: JUMPDEST
0000236b: SWAP2
0000236c: POP
0000236d: PUSH2 0x2375
00002370: DUP3
00002371: PUSH2 0x2334
00002374: JUMP
00002375: JUMPDEST
00002376: PUSH1 0x20
00002378: DUP3
00002379: ADD
0000237a: SWAP1
0000237b: POP
0000237c: SWAP2
0000237d: SWAP1
0000237e: POP
0000237f: JUMP
00002380: JUMPDEST
00002381: PUSH1 0x00
00002383: PUSH1 0x20
00002385: DUP3
00002386: ADD
00002387: SWAP1
00002388: POP
00002389: DUP2
0000238a: DUP2
0000238b: SUB
0000238c: PUSH1 0x00
0000238e: DUP4
0000238f: ADD
00002390: MSTORE
00002391: PUSH2 0x2399
00002394: DUP2
00002395: PUSH2 0x235d
00002398: JUMP
00002399: JUMPDEST
0000239a: SWAP1
0000239b: POP
0000239c: SWAP2
0000239d: SWAP1
0000239e: POP
0000239f: JUMP
000023a0: JUMPDEST
000023a1: PUSH1 0x00
000023a3: PUSH1 0x60
000023a5: DUP3
000023a6: ADD
000023a7: SWAP1
000023a8: POP
000023a9: PUSH2 0x23b5
000023ac: PUSH1 0x00
000023ae: DUP4
000023af: ADD
000023b0: DUP7
000023b1: PUSH2 0x1ead
000023b4: JUMP
000023b5: JUMPDEST
000023b6: PUSH2 0x23c2
000023b9: PUSH1 0x20
000023bb: DUP4
000023bc: ADD
000023bd: DUP6
000023be: PUSH2 0x1ead
000023c1: JUMP
000023c2: JUMPDEST
000023c3: PUSH2 0x23cf
000023c6: PUSH1 0x40
000023c8: DUP4
000023c9: ADD
000023ca: DUP5
000023cb: PUSH2 0x1ead
000023ce: JUMP
000023cf: JUMPDEST
000023d0: SWAP5
000023d1: SWAP4
000023d2: POP
000023d3: POP
000023d4: POP
000023d5: POP
000023d6: JUMP
000023d7: JUMPDEST
000023d8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000023f9: PUSH1 0x00
000023fb: DUP3
000023fc: ADD
000023fd: MSTORE
000023fe: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
0000241f: PUSH1 0x20
00002421: DUP3
00002422: ADD
00002423: MSTORE
00002424: POP
00002425: JUMP
00002426: JUMPDEST
00002427: PUSH1 0x00
00002429: PUSH2 0x2433
0000242c: PUSH1 0x26
0000242e: DUP4
0000242f: PUSH2 0x1cca
00002432: JUMP
00002433: JUMPDEST
00002434: SWAP2
00002435: POP
00002436: PUSH2 0x243e
00002439: DUP3
0000243a: PUSH2 0x23d7
0000243d: JUMP
0000243e: JUMPDEST
0000243f: PUSH1 0x40
00002441: DUP3
00002442: ADD
00002443: SWAP1
00002444: POP
00002445: SWAP2
00002446: SWAP1
00002447: POP
00002448: JUMP
00002449: JUMPDEST
0000244a: PUSH1 0x00
0000244c: PUSH1 0x20
0000244e: DUP3
0000244f: ADD
00002450: SWAP1
00002451: POP
00002452: DUP2
00002453: DUP2
00002454: SUB
00002455: PUSH1 0x00
00002457: DUP4
00002458: ADD
00002459: MSTORE
0000245a: PUSH2 0x2462
0000245d: DUP2
0000245e: PUSH2 0x2426
00002461: JUMP
00002462: JUMPDEST
00002463: SWAP1
00002464: POP
00002465: SWAP2
00002466: SWAP1
00002467: POP
00002468: JUMP
00002469: JUMPDEST
0000246a: PUSH1 0x00
0000246c: PUSH2 0x2474
0000246f: DUP3
00002470: PUSH2 0x1dd4
00002473: JUMP
00002474: JUMPDEST
00002475: SWAP2
00002476: POP
00002477: PUSH2 0x247f
0000247a: DUP4
0000247b: PUSH2 0x1dd4
0000247e: JUMP
0000247f: JUMPDEST
00002480: SWAP3
00002481: POP
00002482: DUP3
00002483: DUP3
00002484: SUB
00002485: SWAP1
00002486: POP
00002487: DUP2
00002488: DUP2
00002489: GT
0000248a: ISZERO
0000248b: PUSH2 0x2497
0000248e: JUMPI
0000248f: PUSH2 0x2496
00002492: PUSH2 0x212f
00002495: JUMP
00002496: JUMPDEST
00002497: JUMPDEST
00002498: SWAP3
00002499: SWAP2
0000249a: POP
0000249b: POP
0000249c: JUMP
0000249d: JUMPDEST
0000249e: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
000024bf: PUSH1 0x00
000024c1: DUP3
000024c2: ADD
000024c3: MSTORE
000024c4: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
000024e5: PUSH1 0x20
000024e7: DUP3
000024e8: ADD
000024e9: MSTORE
000024ea: POP
000024eb: JUMP
000024ec: JUMPDEST
000024ed: PUSH1 0x00
000024ef: PUSH2 0x24f9
000024f2: PUSH1 0x24
000024f4: DUP4
000024f5: PUSH2 0x1cca
000024f8: JUMP
000024f9: JUMPDEST
000024fa: SWAP2
000024fb: POP
000024fc: PUSH2 0x2504
000024ff: DUP3
00002500: PUSH2 0x249d
00002503: JUMP
00002504: JUMPDEST
00002505: PUSH1 0x40
00002507: DUP3
00002508: ADD
00002509: SWAP1
0000250a: POP
0000250b: SWAP2
0000250c: SWAP1
0000250d: POP
0000250e: JUMP
0000250f: JUMPDEST
00002510: PUSH1 0x00
00002512: PUSH1 0x20
00002514: DUP3
00002515: ADD
00002516: SWAP1
00002517: POP
00002518: DUP2
00002519: DUP2
0000251a: SUB
0000251b: PUSH1 0x00
0000251d: DUP4
0000251e: ADD
0000251f: MSTORE
00002520: PUSH2 0x2528
00002523: DUP2
00002524: PUSH2 0x24ec
00002527: JUMP
00002528: JUMPDEST
00002529: SWAP1
0000252a: POP
0000252b: SWAP2
0000252c: SWAP1
0000252d: POP
0000252e: JUMP
0000252f: JUMPDEST
00002530: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00002551: PUSH1 0x00
00002553: DUP3
00002554: ADD
00002555: MSTORE
00002556: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002577: PUSH1 0x20
00002579: DUP3
0000257a: ADD
0000257b: MSTORE
0000257c: POP
0000257d: JUMP
0000257e: JUMPDEST
0000257f: PUSH1 0x00
00002581: PUSH2 0x258b
00002584: PUSH1 0x22
00002586: DUP4
00002587: PUSH2 0x1cca
0000258a: JUMP
0000258b: JUMPDEST
0000258c: SWAP2
0000258d: POP
0000258e: PUSH2 0x2596
00002591: DUP3
00002592: PUSH2 0x252f
00002595: JUMP
00002596: JUMPDEST
00002597: PUSH1 0x40
00002599: DUP3
0000259a: ADD
0000259b: SWAP1
0000259c: POP
0000259d: SWAP2
0000259e: SWAP1
0000259f: POP
000025a0: JUMP
000025a1: JUMPDEST
000025a2: PUSH1 0x00
000025a4: PUSH1 0x20
000025a6: DUP3
000025a7: ADD
000025a8: SWAP1
000025a9: POP
000025aa: DUP2
000025ab: DUP2
000025ac: SUB
000025ad: PUSH1 0x00
000025af: DUP4
000025b0: ADD
000025b1: MSTORE
000025b2: PUSH2 0x25ba
000025b5: DUP2
000025b6: PUSH2 0x257e
000025b9: JUMP
000025ba: JUMPDEST
000025bb: SWAP1
000025bc: POP
000025bd: SWAP2
000025be: SWAP1
000025bf: POP
000025c0: JUMP
000025c1: JUMPDEST
000025c2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000025e3: PUSH1 0x00
000025e5: DUP3
000025e6: ADD
000025e7: MSTORE
000025e8: POP
000025e9: JUMP
000025ea: JUMPDEST
000025eb: PUSH1 0x00
000025ed: PUSH2 0x25f7
000025f0: PUSH1 0x20
000025f2: DUP4
000025f3: PUSH2 0x1cca
000025f6: JUMP
000025f7: JUMPDEST
000025f8: SWAP2
000025f9: POP
000025fa: PUSH2 0x2602
000025fd: DUP3
000025fe: PUSH2 0x25c1
00002601: JUMP
00002602: JUMPDEST
00002603: PUSH1 0x20
00002605: DUP3
00002606: ADD
00002607: SWAP1
00002608: POP
00002609: SWAP2
0000260a: SWAP1
0000260b: POP
0000260c: JUMP
0000260d: JUMPDEST
0000260e: PUSH1 0x00
00002610: PUSH1 0x20
00002612: DUP3
00002613: ADD
00002614: SWAP1
00002615: POP
00002616: DUP2
00002617: DUP2
00002618: SUB
00002619: PUSH1 0x00
0000261b: DUP4
0000261c: ADD
0000261d: MSTORE
0000261e: PUSH2 0x2626
00002621: DUP2
00002622: PUSH2 0x25ea
00002625: JUMP
00002626: JUMPDEST
00002627: SWAP1
00002628: POP
00002629: SWAP2
0000262a: SWAP1
0000262b: POP
0000262c: JUMP
0000262d: JUMPDEST
0000262e: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
0000264f: PUSH1 0x00
00002651: DUP3
00002652: ADD
00002653: MSTORE
00002654: POP
00002655: JUMP
00002656: JUMPDEST
00002657: PUSH1 0x00
00002659: PUSH2 0x2663
0000265c: PUSH1 0x1d
0000265e: DUP4
0000265f: PUSH2 0x1cca
00002662: JUMP
00002663: JUMPDEST
00002664: SWAP2
00002665: POP
00002666: PUSH2 0x266e
00002669: DUP3
0000266a: PUSH2 0x262d
0000266d: JUMP
0000266e: JUMPDEST
0000266f: PUSH1 0x20
00002671: DUP3
00002672: ADD
00002673: SWAP1
00002674: POP
00002675: SWAP2
00002676: SWAP1
00002677: POP
00002678: JUMP
00002679: JUMPDEST
0000267a: PUSH1 0x00
0000267c: PUSH1 0x20
0000267e: DUP3
0000267f: ADD
00002680: SWAP1
00002681: POP
00002682: DUP2
00002683: DUP2
00002684: SUB
00002685: PUSH1 0x00
00002687: DUP4
00002688: ADD
00002689: MSTORE
0000268a: PUSH2 0x2692
0000268d: DUP2
0000268e: PUSH2 0x2656
00002691: JUMP
00002692: JUMPDEST
00002693: SWAP1
00002694: POP
00002695: SWAP2
00002696: SWAP1
00002697: POP
00002698: JUMP
00002699: JUMPDEST
0000269a: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000026bb: PUSH1 0x00
000026bd: DUP3
000026be: ADD
000026bf: MSTORE
000026c0: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
000026e1: PUSH1 0x20
000026e3: DUP3
000026e4: ADD
000026e5: MSTORE
000026e6: POP
000026e7: JUMP
000026e8: JUMPDEST
000026e9: PUSH1 0x00
000026eb: PUSH2 0x26f5
000026ee: PUSH1 0x25
000026f0: DUP4
000026f1: PUSH2 0x1cca
000026f4: JUMP
000026f5: JUMPDEST
000026f6: SWAP2
000026f7: POP
000026f8: PUSH2 0x2700
000026fb: DUP3
000026fc: PUSH2 0x2699
000026ff: JUMP
00002700: JUMPDEST
00002701: PUSH1 0x40
00002703: DUP3
00002704: ADD
00002705: SWAP1
00002706: POP
00002707: SWAP2
00002708: SWAP1
00002709: POP
0000270a: JUMP
0000270b: JUMPDEST
0000270c: PUSH1 0x00
0000270e: PUSH1 0x20
00002710: DUP3
00002711: ADD
00002712: SWAP1
00002713: POP
00002714: DUP2
00002715: DUP2
00002716: SUB
00002717: PUSH1 0x00
00002719: DUP4
0000271a: ADD
0000271b: MSTORE
0000271c: PUSH2 0x2724
0000271f: DUP2
00002720: PUSH2 0x26e8
00002723: JUMP
00002724: JUMPDEST
00002725: SWAP1
00002726: POP
00002727: SWAP2
00002728: SWAP1
00002729: POP
0000272a: JUMP
0000272b: JUMPDEST
0000272c: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
0000274d: PUSH1 0x00
0000274f: DUP3
00002750: ADD
00002751: MSTORE
00002752: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
00002773: PUSH1 0x20
00002775: DUP3
00002776: ADD
00002777: MSTORE
00002778: POP
00002779: JUMP
0000277a: JUMPDEST
0000277b: PUSH1 0x00
0000277d: PUSH2 0x2787
00002780: PUSH1 0x23
00002782: DUP4
00002783: PUSH2 0x1cca
00002786: JUMP
00002787: JUMPDEST
00002788: SWAP2
00002789: POP
0000278a: PUSH2 0x2792
0000278d: DUP3
0000278e: PUSH2 0x272b
00002791: JUMP
00002792: JUMPDEST
00002793: PUSH1 0x40
00002795: DUP3
00002796: ADD
00002797: SWAP1
00002798: POP
00002799: SWAP2
0000279a: SWAP1
0000279b: POP
0000279c: JUMP
0000279d: JUMPDEST
0000279e: PUSH1 0x00
000027a0: PUSH1 0x20
000027a2: DUP3
000027a3: ADD
000027a4: SWAP1
000027a5: POP
000027a6: DUP2
000027a7: DUP2
000027a8: SUB
000027a9: PUSH1 0x00
000027ab: DUP4
000027ac: ADD
000027ad: MSTORE
000027ae: PUSH2 0x27b6
000027b1: DUP2
000027b2: PUSH2 0x277a
000027b5: JUMP
000027b6: JUMPDEST
000027b7: SWAP1
000027b8: POP
000027b9: SWAP2
000027ba: SWAP1
000027bb: POP
000027bc: JUMP
000027bd: JUMPDEST
000027be: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
000027df: PUSH1 0x00
000027e1: DUP3
000027e2: ADD
000027e3: MSTORE
000027e4: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00002805: PUSH1 0x20
00002807: DUP3
00002808: ADD
00002809: MSTORE
0000280a: POP
0000280b: JUMP
0000280c: JUMPDEST
0000280d: PUSH1 0x00
0000280f: PUSH2 0x2819
00002812: PUSH1 0x26
00002814: DUP4
00002815: PUSH2 0x1cca
00002818: JUMP
00002819: JUMPDEST
0000281a: SWAP2
0000281b: POP
0000281c: PUSH2 0x2824
0000281f: DUP3
00002820: PUSH2 0x27bd
00002823: JUMP
00002824: JUMPDEST
00002825: PUSH1 0x40
00002827: DUP3
00002828: ADD
00002829: SWAP1
0000282a: POP
0000282b: SWAP2
0000282c: SWAP1
0000282d: POP
0000282e: JUMP
0000282f: JUMPDEST
00002830: PUSH1 0x00
00002832: PUSH1 0x20
00002834: DUP3
00002835: ADD
00002836: SWAP1
00002837: POP
00002838: DUP2
00002839: DUP2
0000283a: SUB
0000283b: PUSH1 0x00
0000283d: DUP4
0000283e: ADD
0000283f: MSTORE
00002840: PUSH2 0x2848
00002843: DUP2
00002844: PUSH2 0x280c
00002847: JUMP
00002848: JUMPDEST
00002849: SWAP1
0000284a: POP
0000284b: SWAP2
0000284c: SWAP1
0000284d: POP
0000284e: JUMP
0000284f: JUMPDEST
00002850: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00002871: PUSH1 0x00
00002873: DUP3
00002874: ADD
00002875: MSTORE
00002876: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000
00002897: PUSH1 0x20
00002899: DUP3
0000289a: ADD
0000289b: MSTORE
0000289c: POP
0000289d: JUMP
0000289e: JUMPDEST
0000289f: PUSH1 0x00
000028a1: PUSH2 0x28ab
000028a4: PUSH1 0x21
000028a6: DUP4
000028a7: PUSH2 0x1cca
000028aa: JUMP
000028ab: JUMPDEST
000028ac: SWAP2
000028ad: POP
000028ae: PUSH2 0x28b6
000028b1: DUP3
000028b2: PUSH2 0x284f
000028b5: JUMP
000028b6: JUMPDEST
000028b7: PUSH1 0x40
000028b9: DUP3
000028ba: ADD
000028bb: SWAP1
000028bc: POP
000028bd: SWAP2
000028be: SWAP1
000028bf: POP
000028c0: JUMP
000028c1: JUMPDEST
000028c2: PUSH1 0x00
000028c4: PUSH1 0x20
000028c6: DUP3
000028c7: ADD
000028c8: SWAP1
000028c9: POP
000028ca: DUP2
000028cb: DUP2
000028cc: SUB
000028cd: PUSH1 0x00
000028cf: DUP4
000028d0: ADD
000028d1: MSTORE
000028d2: PUSH2 0x28da
000028d5: DUP2
000028d6: PUSH2 0x289e
000028d9: JUMP
000028da: JUMPDEST
000028db: SWAP1
000028dc: POP
000028dd: SWAP2
000028de: SWAP1
000028df: POP
000028e0: JUMP
000028e1: JUMPDEST
000028e2: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00002903: PUSH1 0x00
00002905: DUP3
00002906: ADD
00002907: MSTORE
00002908: PUSH32 0x6365000000000000000000000000000000000000000000000000000000000000
00002929: PUSH1 0x20
0000292b: DUP3
0000292c: ADD
0000292d: MSTORE
0000292e: POP
0000292f: JUMP
00002930: JUMPDEST
00002931: PUSH1 0x00
00002933: PUSH2 0x293d
00002936: PUSH1 0x22
00002938: DUP4
00002939: PUSH2 0x1cca
0000293c: JUMP
0000293d: JUMPDEST
0000293e: SWAP2
0000293f: POP
00002940: PUSH2 0x2948
00002943: DUP3
00002944: PUSH2 0x28e1
00002947: JUMP
00002948: JUMPDEST
00002949: PUSH1 0x40
0000294b: DUP3
0000294c: ADD
0000294d: SWAP1
0000294e: POP
0000294f: SWAP2
00002950: SWAP1
00002951: POP
00002952: JUMP
00002953: JUMPDEST
00002954: PUSH1 0x00
00002956: PUSH1 0x20
00002958: DUP3
00002959: ADD
0000295a: SWAP1
0000295b: POP
0000295c: DUP2
0000295d: DUP2
0000295e: SUB
0000295f: PUSH1 0x00
00002961: DUP4
00002962: ADD
00002963: MSTORE
00002964: PUSH2 0x296c
00002967: DUP2
00002968: PUSH2 0x2930
0000296b: JUMP
0000296c: JUMPDEST
0000296d: SWAP1
0000296e: POP
0000296f: SWAP2
00002970: SWAP1
00002971: POP
00002972: JUMP
00002973: JUMPDEST
00002974: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002995: PUSH1 0x00
00002997: DUP3
00002998: ADD
00002999: MSTORE
0000299a: POP
0000299b: JUMP
0000299c: JUMPDEST
0000299d: PUSH1 0x00
0000299f: PUSH2 0x29a9
000029a2: PUSH1 0x1f
000029a4: DUP4
000029a5: PUSH2 0x1cca
000029a8: JUMP
000029a9: JUMPDEST
000029aa: SWAP2
000029ab: POP
000029ac: PUSH2 0x29b4
000029af: DUP3
000029b0: PUSH2 0x2973
000029b3: JUMP
000029b4: JUMPDEST
000029b5: PUSH1 0x20
000029b7: DUP3
000029b8: ADD
000029b9: SWAP1
000029ba: POP
000029bb: SWAP2
000029bc: SWAP1
000029bd: POP
000029be: JUMP
000029bf: JUMPDEST
000029c0: PUSH1 0x00
000029c2: PUSH1 0x20
000029c4: DUP3
000029c5: ADD
000029c6: SWAP1
000029c7: POP
000029c8: DUP2
000029c9: DUP2
000029ca: SUB
000029cb: PUSH1 0x00
000029cd: DUP4
000029ce: ADD
000029cf: MSTORE
000029d0: PUSH2 0x29d8
000029d3: DUP2
000029d4: PUSH2 0x299c
000029d7: JUMP
000029d8: JUMPDEST
000029d9: SWAP1
000029da: POP
000029db: SWAP2
000029dc: SWAP1
000029dd: POP
000029de: JUMP
000029df: JUMPDEST
000029e0: PUSH1 0x00
000029e2: DUP2
000029e3: SWAP1
000029e4: POP
000029e5: SWAP3
000029e6: SWAP2
000029e7: POP
000029e8: POP
000029e9: JUMP
000029ea: JUMPDEST
000029eb: POP
000029ec: JUMP
000029ed: JUMPDEST
000029ee: PUSH1 0x00
000029f0: PUSH2 0x29fa
000029f3: PUSH1 0x00
000029f5: DUP4
000029f6: PUSH2 0x29df
000029f9: JUMP
000029fa: JUMPDEST
000029fb: SWAP2
000029fc: POP
000029fd: PUSH2 0x2a05
00002a00: DUP3
00002a01: PUSH2 0x29ea
00002a04: JUMP
00002a05: JUMPDEST
00002a06: PUSH1 0x00
00002a08: DUP3
00002a09: ADD
00002a0a: SWAP1
00002a0b: POP
00002a0c: SWAP2
00002a0d: SWAP1
00002a0e: POP
00002a0f: JUMP
00002a10: JUMPDEST
00002a11: PUSH1 0x00
00002a13: PUSH2 0x2a1b
00002a16: DUP3
00002a17: PUSH2 0x29ed
00002a1a: JUMP
00002a1b: JUMPDEST
00002a1c: SWAP2
00002a1d: POP
00002a1e: DUP2
00002a1f: SWAP1
00002a20: POP
00002a21: SWAP2
00002a22: SWAP1
00002a23: POP
00002a24: JUMP
00002a25: JUMPDEST
00002a26: PUSH32 0x455448205472616e73666572206661696c65642e000000000000000000000000
00002a47: PUSH1 0x00
00002a49: DUP3
00002a4a: ADD
00002a4b: MSTORE
00002a4c: POP
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: PUSH1 0x00
00002a51: PUSH2 0x2a5b
00002a54: PUSH1 0x14
00002a56: DUP4
00002a57: PUSH2 0x1cca
00002a5a: JUMP
00002a5b: JUMPDEST
00002a5c: SWAP2
00002a5d: POP
00002a5e: PUSH2 0x2a66
00002a61: DUP3
00002a62: PUSH2 0x2a25
00002a65: JUMP
00002a66: JUMPDEST
00002a67: PUSH1 0x20
00002a69: DUP3
00002a6a: ADD
00002a6b: SWAP1
00002a6c: POP
00002a6d: SWAP2
00002a6e: SWAP1
00002a6f: POP
00002a70: JUMP
00002a71: JUMPDEST
00002a72: PUSH1 0x00
00002a74: PUSH1 0x20
00002a76: DUP3
00002a77: ADD
00002a78: SWAP1
00002a79: POP
00002a7a: DUP2
00002a7b: DUP2
00002a7c: SUB
00002a7d: PUSH1 0x00
00002a7f: DUP4
00002a80: ADD
00002a81: MSTORE
00002a82: PUSH2 0x2a8a
00002a85: DUP2
00002a86: PUSH2 0x2a4e
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: SWAP1
00002a8c: POP
00002a8d: SWAP2
00002a8e: SWAP1
00002a8f: POP
00002a90: JUMP
00002a91: JUMPDEST
00002a92: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00002ab3: PUSH1 0x00
00002ab5: DUP3
00002ab6: ADD
00002ab7: MSTORE
00002ab8: POP
00002ab9: JUMP
00002aba: JUMPDEST
00002abb: PUSH1 0x00
00002abd: PUSH2 0x2ac7
00002ac0: PUSH1 0x1f
00002ac2: DUP4
00002ac3: PUSH2 0x1cca
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: SWAP2
00002ac9: POP
00002aca: PUSH2 0x2ad2
00002acd: DUP3
00002ace: PUSH2 0x2a91
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH1 0x20
00002ad5: DUP3
00002ad6: ADD
00002ad7: SWAP1
00002ad8: POP
00002ad9: SWAP2
00002ada: SWAP1
00002adb: POP
00002adc: JUMP
00002add: JUMPDEST
00002ade: PUSH1 0x00
00002ae0: PUSH1 0x20
00002ae2: DUP3
00002ae3: ADD
00002ae4: SWAP1
00002ae5: POP
00002ae6: DUP2
00002ae7: DUP2
00002ae8: SUB
00002ae9: PUSH1 0x00
00002aeb: DUP4
00002aec: ADD
00002aed: MSTORE
00002aee: PUSH2 0x2af6
00002af1: DUP2
00002af2: PUSH2 0x2aba
00002af5: JUMP
00002af6: JUMPDEST
00002af7: SWAP1
00002af8: POP
00002af9: SWAP2
00002afa: SWAP1
00002afb: POP
00002afc: JUMP
00002afd: INVALID
00002afe: LOG2
00002aff: PUSH5 0x6970667358
00002b05: UNKNOWN(0x22)
00002b06: SLT
00002b07: KECCAK256
00002b08: PUSH27 0xe637d44d9d917a349bdade8fbac13d45ff1fa205371c9f295efb86
00002b24: CREATE2
00002b25: UNKNOWN(0x2F)
00002b26: UNKNOWN(0x21)
00002b27: BYTE
00002b28: PUSH5 0x736f6c6343
00002b2e: STOP
00002b2f: ADDMOD
00002b30: LT
00002b31: STOP
00002b32: CALLER

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: 0xeb5294a214f7b86fa2345f570b5c239da75729a01a84521d354fa23494f89f3e
call_targets: 0xda7c0810ce6f8329786160bb3d1734cf6661ca6e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeb5294a214f7b86fa2345f570b5c239da75729a01a84521d354fa23494f89f3e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xda7c0810ce6f8329786160bb3d1734cf6661ca6e"
    ],
    "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": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5755747",
            "selector": "0xf5755747",
            "calldata_variants": [
                "0xf5755747",
                "0xf57557470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfea449f7",
            "selector": "0xfea449f7",
            "calldata_variants": [
                "0xfea449f7",
                "0xfea449f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd49d5181",
            "selector": "0xd49d5181",
            "calldata_variants": [
                "0xd49d5181",
                "0xd49d51810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6871,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [],
    "untrusted_call_count": 1
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xeb5294a214f7b86fa2345f570b5c239da75729a01a84521d354fa23494f89f3e
call_targets: 0xda7c0810ce6f8329786160bb3d1734cf6661ca6e
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xeb5294a214f7b86fa2345f570b5c239da75729a01a84521d354fa23494f89f3e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xda7c0810ce6f8329786160bb3d1734cf6661ca6e"
    ],
    "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": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5755747",
            "selector": "0xf5755747",
            "calldata_variants": [
                "0xf5755747",
                "0xf57557470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfea449f7",
            "selector": "0xfea449f7",
            "calldata_variants": [
                "0xfea449f7",
                "0xfea449f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd49d5181",
            "selector": "0xd49d5181",
            "calldata_variants": [
                "0xd49d5181",
                "0xd49d51810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6871,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x5204594cde5dd6a2f5aa7a252fd84fc196ae51704749d8edb92ec2245898e95e
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x5204594cde5dd6a2f5aa7a252fd84fc196ae51704749d8edb92ec2245898e95e",
    "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": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5755747",
            "selector": "0xf5755747",
            "calldata_variants": [
                "0xf5755747",
                "0xf57557470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfea449f7",
            "selector": "0xfea449f7",
            "calldata_variants": [
                "0xfea449f7",
                "0xfea449f70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd49d5181",
            "selector": "0xd49d5181",
            "calldata_variants": [
                "0xd49d5181",
                "0xd49d51810000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
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
}