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

Analysis Run

4837d646-6835-4a86-be4f-4eb3e8c11ddb

failed
Chain ID
1
Address
Block Number
Created
Fri, Jan 2, 2026 8:28 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31333 report.consolidate complete 1 / 1 3 months ago
110996 artifact.fetch failed 1 / 3 1 week ago
110997 tool.cast_disasm complete 1 / 3 1 week ago
110998 analysis.bundle complete 1 / 3 1 week ago
110999 capability.graph complete 1 / 3 1 week ago
111000 detector.run complete 1 / 3 1 week ago
111001 validation.fork complete 1 / 3 1 week 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 contracts after reviewing AUDIT_BUNDLE.txt.
View stderr
[codex:977359] OpenAI Codex v0.77.0 (research preview)
[codex:977359] --------
[codex:977359] workdir: /tmp/codex-multi-aj4v_as6
[codex:977359] model: gpt-5.2-codex
[codex:977359] provider: openai
[codex:977359] approval: never
[codex:977359] sandbox: read-only
[codex:977359] reasoning effort: xhigh
[codex:977359] reasoning summaries: auto
[codex:977359] session id: 019b8062-9eb5-7eb0-9a5d-1b2ffa608d0c
[codex:977359] --------
[codex:977359] user
[codex:977359] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:977359] 
[codex:977359] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:977359] 
[codex:977359] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:977359] - Gas inefficiency, code quality, naming, or best practices
[codex:977359] - Theoretical vulnerabilities without a clear extraction path
[codex:977359] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:977359] - Front-running unless it enables theft beyond MEV
[codex:977359] - DoS, griefing, or issues that don't result in attacker profit
[codex:977359] - Missing events, view function issues, or informational findings
[codex:977359] 
[codex:977359] HIGH-VALUE PATTERNS TO HUNT:
[codex:977359] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:977359] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:977359] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:977359] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:977359] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:977359] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:977359] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:977359] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:977359] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:977359] 
[codex:977359] For each finding, you MUST provide:
[codex:977359] 1. Exact file and line numbers of vulnerable code
[codex:977359] 2. Step-by-step exploit transaction sequence
[codex:977359] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:977359] 
[codex:977359] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:977359] 
[codex:977359] Output MUST be valid JSON matching the provided schema.
[codex:977359] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:977359] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:977359] mcp startup: no servers
[codex:977359] 
[codex:977359] thinking
[codex:977359] **Preparing to read AUDIT_BUNDLE.txt**
[codex:977359] exec
[codex:977359] /bin/bash -lc ls in /tmp/codex-multi-aj4v_as6 succeeded in 6ms:
[codex:977359] AUDIT_BUNDLE.txt
[codex:977359] codex-output-schema.json
[codex:977359] contracts
[codex:977359] exec
[codex:977359] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:977359] 
[codex:977359] ================================================================================
[codex:977359] FILE: contracts/contracts/SuperVerseStaker.sol
[codex:977359] ================================================================================
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359] 
[codex:977359] import {
[codex:977359] 	ReentrancyGuard
[codex:977359] } from "@openzeppelin/contracts/security/ReentrancyGuard.sol";
[codex:977359] import {
[codex:977359] 	IERC20,
[codex:977359] 	SafeERC20
[codex:977359] } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:977359] 
[codex:977359] import {
[codex:977359] 	IFee1155
[codex:977359] } from "./interfaces/IFee1155.sol";
[codex:977359] import {
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,220p' contracts/contracts/lib/StakerConfig.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359] 
[codex:977359] import {
[codex:977359] 	EscapeHatch
[codex:977359] } from "./EscapeHatch.sol";
[codex:977359] 
[codex:977359] import {
[codex:977359] 	ItemOrigin
[codex:977359] } from "../interfaces/ISuperVerseStaker.sol";
[codex:977359] 
[codex:977359] /**
[codex:977359] 	Thrown when attempting to set item values with unequal argument arrays lengths.
[codex:977359] */
[codex:977359] error CantConfigureItemValues ();
[codex:977359] 
[codex:977359] /**
[codex:977359] 	@custom:benediction DEVS BENEDICAT ET PROTEGAT CONTRACTVS MEAM
[codex:977359] 	@title SuperVerseDAO staking contract.
[codex:977359] 	@author throw; <@0xthrpw>
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,220p' contracts/contracts/lib/TypesAndConstants.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359] 
[codex:977359] using ItemsHelper for ItemsById global;
[codex:977359] 
[codex:977359] library ItemsHelper {
[codex:977359] 
[codex:977359] 	function add(
[codex:977359] 		ItemsById storage _items,
[codex:977359] 		uint256 _tokenId
[codex:977359] 	) internal {
[codex:977359] 		_items.array.push(_tokenId);
[codex:977359] 		_items.idx[_tokenId] = _items.array.length;
[codex:977359] 	}
[codex:977359] 
[codex:977359] 	function remove(
[codex:977359] 		ItemsById storage _items,
[codex:977359] 		uint256 _tokenId
[codex:977359] 	) internal {
[codex:977359] 
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,240p' contracts/contracts/lib/EscapeHatch.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359] 
[codex:977359] import {
[codex:977359] 	IERC721
[codex:977359] } from "@openzeppelin/contracts/token/ERC721/IERC721.sol";
[codex:977359] import {
[codex:977359] 	IERC1155
[codex:977359] } from "@openzeppelin/contracts/token/ERC1155/IERC1155.sol";
[codex:977359] import {
[codex:977359] 	IERC20,
[codex:977359] 	SafeERC20
[codex:977359] } from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:977359] 
[codex:977359] import {
[codex:977359] 	PermitControl
[codex:977359] } from "./access/PermitControl.sol";
[codex:977359] 
[codex:977359] /**
[codex:977359] 	Thrown in the event that attempting to rescue an asset from the contract 
[codex:977359] exec
[codex:977359] /bin/bash -lc "sed -n '1,260p' contracts/contracts/lib/access/PermitControl.sol" in /tmp/codex-multi-aj4v_as6 succeeded in 5ms:
[codex:977359] // SPDX-License-Identifier: AGPL-3.0-only
[codex:977359] pragma solidity ^0.8.19;
[codex:977359] 
[codex:977359] import {
[codex:977359] 	Ownable
[codex:977359] } from "@openzeppelin/contracts/access/Ownable.sol";
[codex:977359] import {
[codex:977359] 	Address
[codex:977359] } from "@openzeppelin/contracts/utils/Address.sol";
[codex:977359] 
[codex:977359] error RightNotSpecified();
[codex:977359] error CallerHasNoAccess();
[codex:977359] error ManagedRightNotSpecified();
[codex:977359] 
[codex:977359] /**
[codex:977359] 	@custom:benediction DEVS BENEDICAT ET PROTEGAT CONTRACTVS MEAM
[codex:977359] 	@title An advanced permission-management contract.
[codex:977359] 	@author Tim Clancy <@_Enoch>
[codex:977359] 
[codex:977359] 	This contract allows for a contract owner to delegate specific rights to
[codex:977359] 
[codex:977359] 
[codex:977359] 
[codex:977359] thinking
[codex:977359] **Evaluating staking contract for vulnerabilities**
[codex:977359] thinking
[codex:977359] **Investigating permission and staking edge cases**
[codex:977359] 
[codex:977359] I'm piecing together possible risks around permission management, staking on behalf of others, and reward calculations. There are some subtle behaviors with identical constants for manager rights, staking for others resetting timers, and configurable item values affecting power accounting. I’m also looking at how rebase timing and reward distribution might impact fairness, though no clear profit exploit stands out yet. Let's explore these areas carefully to see if anything stands out as an actual vulnerability.
[codex:977359] thinking
[codex:977359] **Preparing final audit conclusion**
[codex:977359] 
[codex:977359] After thoroughly analyzing staking mechanics, permission controls, reentrancy protections, and reward calculations, I see no concrete profit-extracting exploit paths. The main risks like staking on behalf or reentrancy appear mitigated by design. I'll summarize this in the required JSON format next.
[codex:977359] codex
[codex:977359] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.","findings":[]}
[codex:977359] tokens used
[codex:977359] 28,068
[codex:977359] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-02T20:28:29.706679+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contracts after reviewing AUDIT_BUNDLE.txt.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
9
EXT*/BALANCE
8
Total opcodes
7407
Flags
heavy_ext_balance_usage
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01fd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8456cb59
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc3398f89
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdb3ad22c
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdb3ad22c
0000003a: EQ
0000003b: PUSH2 0x0697
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xeff3b3a3
00000045: EQ
00000046: PUSH2 0x06ad
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf23a6e61
00000050: EQ
00000051: PUSH2 0x06e1
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0726
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf5e63937
00000066: EQ
00000067: PUSH2 0x0746
0000006a: JUMPI
0000006b: PUSH1 0x00
0000006d: DUP1
0000006e: REVERT
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xc3398f89
00000076: EQ
00000077: PUSH2 0x0603
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcc2af308
00000081: EQ
00000082: PUSH2 0x0637
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcf64d4c2
0000008c: EQ
0000008d: PUSH2 0x0657
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd5905dfb
00000097: EQ
00000098: PUSH2 0x0677
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0xaf14052c
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xaf14052c
000000b2: EQ
000000b3: PUSH2 0x0569
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xb0392a39
000000bd: EQ
000000be: PUSH2 0x057e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xb7b469aa
000000c8: EQ
000000c9: PUSH2 0x059e
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xbc197c81
000000d3: EQ
000000d4: PUSH2 0x05be
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x8456cb59
000000e3: EQ
000000e4: PUSH2 0x04e9
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x8da5cb5b
000000ee: EQ
000000ef: PUSH2 0x04fe
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x96843e3b
000000f9: EQ
000000fa: PUSH2 0x051c
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x99f853a5
00000104: EQ
00000105: PUSH2 0x053c
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x4e71d92d
00000114: GT
00000115: PUSH2 0x0190
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x66a0e54d
0000011f: GT
00000120: PUSH2 0x015f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x66a0e54d
0000012a: EQ
0000012b: PUSH2 0x040e
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x715018a6
00000135: EQ
00000136: PUSH2 0x045c
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x736beb2b
00000140: EQ
00000141: PUSH2 0x0471
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x7fba744e
0000014b: EQ
0000014c: PUSH2 0x0487
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x82bfefc8
00000156: EQ
00000157: PUSH2 0x049d
0000015a: JUMPI
0000015b: PUSH1 0x00
0000015d: DUP1
0000015e: REVERT
0000015f: JUMPDEST
00000160: DUP1
00000161: PUSH4 0x4e71d92d
00000166: EQ
00000167: PUSH2 0x039a
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x4e745f1f
00000171: EQ
00000172: PUSH2 0x03af
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x56fecc8e
0000017c: EQ
0000017d: PUSH2 0x03e2
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x655bc69f
00000187: EQ
00000188: PUSH2 0x03f8
0000018b: JUMPI
0000018c: PUSH1 0x00
0000018e: DUP1
0000018f: REVERT
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x228cb733
00000197: GT
00000198: PUSH2 0x01cc
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x228cb733
000001a2: EQ
000001a3: PUSH2 0x02f4
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x2d727712
000001ad: EQ
000001ae: PUSH2 0x030a
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x30d4639e
000001b8: EQ
000001b9: PUSH2 0x032c
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x3f4ba83a
000001c3: EQ
000001c4: PUSH2 0x0385
000001c7: JUMPI
000001c8: PUSH1 0x00
000001ca: DUP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: DUP1
000001ce: PUSH4 0x066fd899
000001d3: EQ
000001d4: PUSH2 0x023e
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x09532200
000001de: EQ
000001df: PUSH2 0x0271
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x0a171df8
000001e9: EQ
000001ea: PUSH2 0x0287
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x150b7a02
000001f4: EQ
000001f5: PUSH2 0x02bb
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: CALLDATASIZE
000001ff: PUSH2 0x0239
00000202: JUMPI
00000203: PUSH1 0x40
00000205: MLOAD
00000206: CALLVALUE
00000207: DUP2
00000208: MSTORE
00000209: CALLER
0000020a: SWAP1
0000020b: PUSH32 0xda8220a878ff7a89474ccffdaa31ea1ed1ffbb0207d5051afccc4fbaf81f9bcd
0000022c: SWAP1
0000022d: PUSH1 0x20
0000022f: ADD
00000230: PUSH1 0x40
00000232: MLOAD
00000233: DUP1
00000234: SWAP2
00000235: SUB
00000236: SWAP1
00000237: LOG2
00000238: STOP
00000239: JUMPDEST
0000023a: PUSH1 0x00
0000023c: DUP1
0000023d: REVERT
0000023e: JUMPDEST
0000023f: CALLVALUE
00000240: DUP1
00000241: ISZERO
00000242: PUSH2 0x024a
00000245: JUMPI
00000246: PUSH1 0x00
00000248: DUP1
00000249: REVERT
0000024a: JUMPDEST
0000024b: POP
0000024c: PUSH2 0x025e
0000024f: PUSH2 0x0259
00000252: CALLDATASIZE
00000253: PUSH1 0x04
00000255: PUSH2 0x240f
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH2 0x075c
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: SWAP1
00000263: DUP2
00000264: MSTORE
00000265: PUSH1 0x20
00000267: ADD
00000268: JUMPDEST
00000269: PUSH1 0x40
0000026b: MLOAD
0000026c: DUP1
0000026d: SWAP2
0000026e: SUB
0000026f: SWAP1
00000270: RETURN
00000271: JUMPDEST
00000272: CALLVALUE
00000273: DUP1
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH2 0x025e
00000282: PUSH1 0x0e
00000284: SLOAD
00000285: DUP2
00000286: JUMP
00000287: JUMPDEST
00000288: CALLVALUE
00000289: DUP1
0000028a: ISZERO
0000028b: PUSH2 0x0293
0000028e: JUMPI
0000028f: PUSH1 0x00
00000291: DUP1
00000292: REVERT
00000293: JUMPDEST
00000294: POP
00000295: PUSH2 0x025e
00000298: PUSH32 0x0000000000000000000000000000000000000000000000000000000003c26703
000002b9: DUP2
000002ba: JUMP
000002bb: JUMPDEST
000002bc: CALLVALUE
000002bd: DUP1
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH2 0x02db
000002cc: PUSH2 0x02d6
000002cf: CALLDATASIZE
000002d0: PUSH1 0x04
000002d2: PUSH2 0x24e8
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH2 0x07c4
000002da: JUMP
000002db: JUMPDEST
000002dc: PUSH1 0x40
000002de: MLOAD
000002df: PUSH1 0x01
000002e1: PUSH1 0x01
000002e3: PUSH1 0xe0
000002e5: SHL
000002e6: SUB
000002e7: NOT
000002e8: SWAP1
000002e9: SWAP2
000002ea: AND
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: PUSH2 0x0268
000002f3: JUMP
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x025e
00000305: PUSH1 0x0a
00000307: SLOAD
00000308: DUP2
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0316
00000311: JUMPI
00000312: PUSH1 0x00
00000314: DUP1
00000315: REVERT
00000316: JUMPDEST
00000317: POP
00000318: PUSH2 0x032a
0000031b: PUSH2 0x0325
0000031e: CALLDATASIZE
0000031f: PUSH1 0x04
00000321: PUSH2 0x259c
00000324: JUMP
00000325: JUMPDEST
00000326: PUSH2 0x07ee
00000329: JUMP
0000032a: JUMPDEST
0000032b: STOP
0000032c: JUMPDEST
0000032d: CALLVALUE
0000032e: DUP1
0000032f: ISZERO
00000330: PUSH2 0x0338
00000333: JUMPI
00000334: PUSH1 0x00
00000336: DUP1
00000337: REVERT
00000338: JUMPDEST
00000339: POP
0000033a: PUSH2 0x036d
0000033d: PUSH2 0x0347
00000340: CALLDATASIZE
00000341: PUSH1 0x04
00000343: PUSH2 0x2605
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH1 0x06
0000034a: PUSH1 0x20
0000034c: SWAP1
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x00
00000351: SWAP3
00000352: DUP4
00000353: MSTORE
00000354: PUSH1 0x40
00000356: DUP1
00000357: DUP5
00000358: KECCAK256
00000359: SWAP1
0000035a: SWAP2
0000035b: MSTORE
0000035c: SWAP1
0000035d: DUP3
0000035e: MSTORE
0000035f: SWAP1
00000360: KECCAK256
00000361: SLOAD
00000362: PUSH1 0x01
00000364: PUSH1 0x01
00000366: PUSH1 0x80
00000368: SHL
00000369: SUB
0000036a: AND
0000036b: DUP2
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH1 0x40
00000370: MLOAD
00000371: PUSH1 0x01
00000373: PUSH1 0x01
00000375: PUSH1 0x80
00000377: SHL
00000378: SUB
00000379: SWAP1
0000037a: SWAP2
0000037b: AND
0000037c: DUP2
0000037d: MSTORE
0000037e: PUSH1 0x20
00000380: ADD
00000381: PUSH2 0x0268
00000384: JUMP
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH2 0x032a
00000396: PUSH2 0x08ea
00000399: JUMP
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x032a
000003ab: PUSH2 0x0985
000003ae: JUMP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x03cf
000003c0: PUSH2 0x03ca
000003c3: CALLDATASIZE
000003c4: PUSH1 0x04
000003c6: PUSH2 0x240f
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH2 0x09a1
000003ce: JUMP
000003cf: JUMPDEST
000003d0: PUSH1 0x40
000003d2: MLOAD
000003d3: PUSH2 0x0268
000003d6: SWAP8
000003d7: SWAP7
000003d8: SWAP6
000003d9: SWAP5
000003da: SWAP4
000003db: SWAP3
000003dc: SWAP2
000003dd: SWAP1
000003de: PUSH2 0x266a
000003e1: JUMP
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x025e
000003f3: PUSH1 0x05
000003f5: SLOAD
000003f6: DUP2
000003f7: JUMP
000003f8: JUMPDEST
000003f9: CALLVALUE
000003fa: DUP1
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: PUSH2 0x025e
00000409: PUSH1 0x0c
0000040b: SLOAD
0000040c: DUP2
0000040d: JUMP
0000040e: JUMPDEST
0000040f: CALLVALUE
00000410: DUP1
00000411: ISZERO
00000412: PUSH2 0x041a
00000415: JUMPI
00000416: PUSH1 0x00
00000418: DUP1
00000419: REVERT
0000041a: JUMPDEST
0000041b: POP
0000041c: PUSH2 0x025e
0000041f: PUSH2 0x0429
00000422: CALLDATASIZE
00000423: PUSH1 0x04
00000425: PUSH2 0x26bb
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH1 0x01
0000042c: PUSH1 0x01
0000042e: PUSH1 0xa0
00000430: SHL
00000431: SUB
00000432: DUP4
00000433: AND
00000434: PUSH1 0x00
00000436: SWAP1
00000437: DUP2
00000438: MSTORE
00000439: PUSH1 0x01
0000043b: PUSH1 0x20
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: PUSH1 0x40
00000442: DUP1
00000443: DUP4
00000444: KECCAK256
00000445: DUP6
00000446: DUP5
00000447: MSTORE
00000448: DUP3
00000449: MSTORE
0000044a: DUP1
0000044b: DUP4
0000044c: KECCAK256
0000044d: DUP5
0000044e: DUP5
0000044f: MSTORE
00000450: SWAP1
00000451: SWAP2
00000452: MSTORE
00000453: SWAP1
00000454: KECCAK256
00000455: SLOAD
00000456: SWAP4
00000457: SWAP3
00000458: POP
00000459: POP
0000045a: POP
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x032a
0000046d: PUSH2 0x0aa4
00000470: JUMP
00000471: JUMPDEST
00000472: CALLVALUE
00000473: DUP1
00000474: ISZERO
00000475: PUSH2 0x047d
00000478: JUMPI
00000479: PUSH1 0x00
0000047b: DUP1
0000047c: REVERT
0000047d: JUMPDEST
0000047e: POP
0000047f: PUSH2 0x025e
00000482: PUSH1 0x0d
00000484: SLOAD
00000485: DUP2
00000486: JUMP
00000487: JUMPDEST
00000488: CALLVALUE
00000489: DUP1
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: POP
00000495: PUSH2 0x025e
00000498: PUSH1 0x04
0000049a: SLOAD
0000049b: DUP2
0000049c: JUMP
0000049d: JUMPDEST
0000049e: CALLVALUE
0000049f: DUP1
000004a0: ISZERO
000004a1: PUSH2 0x04a9
000004a4: JUMPI
000004a5: PUSH1 0x00
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x04d1
000004ae: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55
000004cf: DUP2
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH1 0x40
000004d4: MLOAD
000004d5: PUSH1 0x01
000004d7: PUSH1 0x01
000004d9: PUSH1 0xa0
000004db: SHL
000004dc: SUB
000004dd: SWAP1
000004de: SWAP2
000004df: AND
000004e0: DUP2
000004e1: MSTORE
000004e2: PUSH1 0x20
000004e4: ADD
000004e5: PUSH2 0x0268
000004e8: JUMP
000004e9: JUMPDEST
000004ea: CALLVALUE
000004eb: DUP1
000004ec: ISZERO
000004ed: PUSH2 0x04f5
000004f0: JUMPI
000004f1: PUSH1 0x00
000004f3: DUP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: POP
000004f7: PUSH2 0x032a
000004fa: PUSH2 0x0ab6
000004fd: JUMP
000004fe: JUMPDEST
000004ff: CALLVALUE
00000500: DUP1
00000501: ISZERO
00000502: PUSH2 0x050a
00000505: JUMPI
00000506: PUSH1 0x00
00000508: DUP1
00000509: REVERT
0000050a: JUMPDEST
0000050b: POP
0000050c: PUSH1 0x00
0000050e: SLOAD
0000050f: PUSH1 0x01
00000511: PUSH1 0x01
00000513: PUSH1 0xa0
00000515: SHL
00000516: SUB
00000517: AND
00000518: PUSH2 0x04d1
0000051b: JUMP
0000051c: JUMPDEST
0000051d: CALLVALUE
0000051e: DUP1
0000051f: ISZERO
00000520: PUSH2 0x0528
00000523: JUMPI
00000524: PUSH1 0x00
00000526: DUP1
00000527: REVERT
00000528: JUMPDEST
00000529: POP
0000052a: PUSH2 0x032a
0000052d: PUSH2 0x0537
00000530: CALLDATASIZE
00000531: PUSH1 0x04
00000533: PUSH2 0x277d
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x0b4d
0000053b: JUMP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x025e
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: PUSH1 0x04
00000553: PUSH2 0x240f
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH1 0x07
0000055a: PUSH1 0x20
0000055c: MSTORE
0000055d: PUSH1 0x00
0000055f: SWAP1
00000560: DUP2
00000561: MSTORE
00000562: PUSH1 0x40
00000564: SWAP1
00000565: KECCAK256
00000566: SLOAD
00000567: DUP2
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0575
00000570: JUMPI
00000571: PUSH1 0x00
00000573: DUP1
00000574: REVERT
00000575: JUMPDEST
00000576: POP
00000577: PUSH2 0x032a
0000057a: PUSH2 0x0cae
0000057d: JUMP
0000057e: JUMPDEST
0000057f: CALLVALUE
00000580: DUP1
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: POP
0000058c: PUSH2 0x032a
0000058f: PUSH2 0x0599
00000592: CALLDATASIZE
00000593: PUSH1 0x04
00000595: PUSH2 0x285d
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH2 0x0cf7
0000059d: JUMP
0000059e: JUMPDEST
0000059f: CALLVALUE
000005a0: DUP1
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: PUSH2 0x032a
000005af: PUSH2 0x05b9
000005b2: CALLDATASIZE
000005b3: PUSH1 0x04
000005b5: PUSH2 0x28a9
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH2 0x0e1e
000005bd: JUMP
000005be: JUMPDEST
000005bf: CALLVALUE
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: POP
000005cc: PUSH2 0x02db
000005cf: PUSH2 0x05d9
000005d2: CALLDATASIZE
000005d3: PUSH1 0x04
000005d5: PUSH2 0x291e
000005d8: JUMP
000005d9: JUMPDEST
000005da: PUSH32 0xbc197c819b3e337a6f9652dd10becd7eef83032af3b9d958d3d42f6694146621
000005fb: SWAP6
000005fc: SWAP5
000005fd: POP
000005fe: POP
000005ff: POP
00000600: POP
00000601: POP
00000602: JUMP
00000603: JUMPDEST
00000604: CALLVALUE
00000605: DUP1
00000606: ISZERO
00000607: PUSH2 0x060f
0000060a: JUMPI
0000060b: PUSH1 0x00
0000060d: DUP1
0000060e: REVERT
0000060f: JUMPDEST
00000610: POP
00000611: PUSH2 0x04d1
00000614: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee
00000635: DUP2
00000636: JUMP
00000637: JUMPDEST
00000638: CALLVALUE
00000639: DUP1
0000063a: ISZERO
0000063b: PUSH2 0x0643
0000063e: JUMPI
0000063f: PUSH1 0x00
00000641: DUP1
00000642: REVERT
00000643: JUMPDEST
00000644: POP
00000645: PUSH2 0x032a
00000648: PUSH2 0x0652
0000064b: CALLDATASIZE
0000064c: PUSH1 0x04
0000064e: PUSH2 0x29c8
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH2 0x12df
00000656: JUMP
00000657: JUMPDEST
00000658: CALLVALUE
00000659: DUP1
0000065a: ISZERO
0000065b: PUSH2 0x0663
0000065e: JUMPI
0000065f: PUSH1 0x00
00000661: DUP1
00000662: REVERT
00000663: JUMPDEST
00000664: POP
00000665: PUSH2 0x032a
00000668: PUSH2 0x0672
0000066b: CALLDATASIZE
0000066c: PUSH1 0x04
0000066e: PUSH2 0x29ea
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH2 0x13a2
00000676: JUMP
00000677: JUMPDEST
00000678: CALLVALUE
00000679: DUP1
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: POP
00000685: PUSH2 0x032a
00000688: PUSH2 0x0692
0000068b: CALLDATASIZE
0000068c: PUSH1 0x04
0000068e: PUSH2 0x2a23
00000691: JUMP
00000692: JUMPDEST
00000693: PUSH2 0x14a4
00000696: JUMP
00000697: JUMPDEST
00000698: CALLVALUE
00000699: DUP1
0000069a: ISZERO
0000069b: PUSH2 0x06a3
0000069e: JUMPI
0000069f: PUSH1 0x00
000006a1: DUP1
000006a2: REVERT
000006a3: JUMPDEST
000006a4: POP
000006a5: PUSH2 0x025e
000006a8: PUSH1 0x0f
000006aa: SLOAD
000006ab: DUP2
000006ac: JUMP
000006ad: JUMPDEST
000006ae: CALLVALUE
000006af: DUP1
000006b0: ISZERO
000006b1: PUSH2 0x06b9
000006b4: JUMPI
000006b5: PUSH1 0x00
000006b7: DUP1
000006b8: REVERT
000006b9: JUMPDEST
000006ba: POP
000006bb: PUSH2 0x04d1
000006be: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3
000006df: DUP2
000006e0: JUMP
000006e1: JUMPDEST
000006e2: CALLVALUE
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x06ed
000006e8: JUMPI
000006e9: PUSH1 0x00
000006eb: DUP1
000006ec: REVERT
000006ed: JUMPDEST
000006ee: POP
000006ef: PUSH2 0x02db
000006f2: PUSH2 0x06fc
000006f5: CALLDATASIZE
000006f6: PUSH1 0x04
000006f8: PUSH2 0x2a3c
000006fb: JUMP
000006fc: JUMPDEST
000006fd: PUSH32 0xf23a6e612e1ff4830e658fe43f4e3cb4a5f8170bd5d9e69fb5d7a7fa9e4fdf97
0000071e: SWAP6
0000071f: SWAP5
00000720: POP
00000721: POP
00000722: POP
00000723: POP
00000724: POP
00000725: JUMP
00000726: JUMPDEST
00000727: CALLVALUE
00000728: DUP1
00000729: ISZERO
0000072a: PUSH2 0x0732
0000072d: JUMPI
0000072e: PUSH1 0x00
00000730: DUP1
00000731: REVERT
00000732: JUMPDEST
00000733: POP
00000734: PUSH2 0x032a
00000737: PUSH2 0x0741
0000073a: CALLDATASIZE
0000073b: PUSH1 0x04
0000073d: PUSH2 0x240f
00000740: JUMP
00000741: JUMPDEST
00000742: PUSH2 0x152e
00000745: JUMP
00000746: JUMPDEST
00000747: CALLVALUE
00000748: DUP1
00000749: ISZERO
0000074a: PUSH2 0x0752
0000074d: JUMPI
0000074e: PUSH1 0x00
00000750: DUP1
00000751: REVERT
00000752: JUMPDEST
00000753: POP
00000754: PUSH2 0x025e
00000757: PUSH1 0x0b
00000759: SLOAD
0000075a: DUP2
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x0e
0000075f: SLOAD
00000760: PUSH1 0x00
00000762: SWAP1
00000763: DUP2
00000764: PUSH2 0x076b
00000767: PUSH2 0x15a7
0000076a: JUMP
0000076b: JUMPDEST
0000076c: SWAP1
0000076d: POP
0000076e: PUSH1 0x00
00000770: PUSH1 0x0c
00000772: SLOAD
00000773: DUP3
00000774: PUSH2 0x077d
00000777: SWAP2
00000778: SWAP1
00000779: PUSH2 0x2ab7
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x0f
00000780: SLOAD
00000781: SWAP1
00000782: SWAP2
00000783: POP
00000784: ISZERO
00000785: PUSH2 0x07b1
00000788: JUMPI
00000789: PUSH1 0x0f
0000078b: SLOAD
0000078c: PUSH2 0x079a
0000078f: PUSH5 0xe8d4a51000
00000795: DUP4
00000796: PUSH2 0x2aca
00000799: JUMP
0000079a: JUMPDEST
0000079b: PUSH2 0x07a4
0000079e: SWAP2
0000079f: SWAP1
000007a0: PUSH2 0x2ae1
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH2 0x07ae
000007a8: SWAP1
000007a9: DUP5
000007aa: PUSH2 0x2b03
000007ad: JUMP
000007ae: JUMPDEST
000007af: SWAP3
000007b0: POP
000007b1: JUMPDEST
000007b2: PUSH2 0x07bb
000007b5: DUP6
000007b6: DUP5
000007b7: PUSH2 0x1601
000007ba: JUMP
000007bb: JUMPDEST
000007bc: SWAP6
000007bd: SWAP5
000007be: POP
000007bf: POP
000007c0: POP
000007c1: POP
000007c2: POP
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f
000007e6: JUMPDEST
000007e7: SWAP5
000007e8: SWAP4
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: JUMP
000007ee: JUMPDEST
000007ef: PUSH2 0x07f6
000007f2: PUSH2 0x165f
000007f5: JUMP
000007f6: JUMPDEST
000007f7: DUP4
000007f8: ISZERO
000007f9: DUP1
000007fa: ISZERO
000007fb: PUSH2 0x0802
000007fe: JUMPI
000007ff: POP
00000800: DUP1
00000801: ISZERO
00000802: JUMPDEST
00000803: ISZERO
00000804: PUSH2 0x0820
00000807: JUMPI
00000808: PUSH1 0x40
0000080a: MLOAD
0000080b: PUSH4 0x0b9cddcd
00000810: PUSH1 0xe1
00000812: SHL
00000813: DUP2
00000814: MSTORE
00000815: PUSH1 0x04
00000817: ADD
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: DUP1
0000081c: SWAP2
0000081d: SUB
0000081e: SWAP1
0000081f: REVERT
00000820: JUMPDEST
00000821: PUSH1 0x01
00000823: PUSH1 0x01
00000825: PUSH1 0xa0
00000827: SHL
00000828: SUB
00000829: DUP4
0000082a: AND
0000082b: PUSH1 0x00
0000082d: SWAP1
0000082e: DUP2
0000082f: MSTORE
00000830: PUSH1 0x09
00000832: PUSH1 0x20
00000834: SWAP1
00000835: DUP2
00000836: MSTORE
00000837: PUSH1 0x40
00000839: DUP1
0000083a: DUP4
0000083b: KECCAK256
0000083c: PUSH1 0x07
0000083e: SWAP1
0000083f: SWAP3
00000840: MSTORE
00000841: DUP3
00000842: KECCAK256
00000843: TIMESTAMP
00000844: SWAP1
00000845: SSTORE
00000846: SWAP1
00000847: PUSH2 0x0852
0000084a: DUP7
0000084b: DUP6
0000084c: DUP6
0000084d: DUP6
0000084e: PUSH2 0x16b8
00000851: JUMP
00000852: JUMPDEST
00000853: SWAP1
00000854: POP
00000855: PUSH2 0x085c
00000858: PUSH2 0x1ab4
0000085b: JUMP
0000085c: JUMPDEST
0000085d: PUSH1 0x03
0000085f: DUP3
00000860: ADD
00000861: DUP1
00000862: SLOAD
00000863: DUP8
00000864: ADD
00000865: SWAP1
00000866: SSTORE
00000867: DUP2
00000868: SLOAD
00000869: DUP2
0000086a: ADD
0000086b: DUP3
0000086c: SSTORE
0000086d: PUSH1 0x0e
0000086f: SLOAD
00000870: PUSH5 0xe8d4a51000
00000876: SWAP1
00000877: DUP3
00000878: MUL
00000879: PUSH1 0x01
0000087b: DUP5
0000087c: ADD
0000087d: DUP1
0000087e: SLOAD
0000087f: SWAP3
00000880: SWAP1
00000881: SWAP2
00000882: DIV
00000883: SWAP1
00000884: SWAP2
00000885: ADD
00000886: SWAP1
00000887: SSTORE
00000888: PUSH1 0x0f
0000088a: DUP1
0000088b: SLOAD
0000088c: DUP3
0000088d: ADD
0000088e: SWAP1
0000088f: SSTORE
00000890: PUSH1 0x40
00000892: MLOAD
00000893: PUSH1 0x01
00000895: PUSH1 0x01
00000897: PUSH1 0xa0
00000899: SHL
0000089a: SUB
0000089b: DUP7
0000089c: AND
0000089d: SWAP1
0000089e: PUSH32 0x24cecfb1918a5053af187c1ef1f682c88e901b7210870ef81b7c8439693be7a9
000008bf: SWAP1
000008c0: PUSH2 0x08d0
000008c3: SWAP1
000008c4: DUP10
000008c5: SWAP1
000008c6: DUP6
000008c7: SWAP1
000008c8: DUP10
000008c9: SWAP1
000008ca: DUP10
000008cb: SWAP1
000008cc: PUSH2 0x2b2c
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: DUP1
000008d5: SWAP2
000008d6: SUB
000008d7: SWAP1
000008d8: LOG2
000008d9: POP
000008da: POP
000008db: PUSH2 0x08e4
000008de: PUSH1 0x01
000008e0: PUSH1 0x08
000008e2: SSTORE
000008e3: JUMP
000008e4: JUMPDEST
000008e5: POP
000008e6: POP
000008e7: POP
000008e8: POP
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x01
000008ed: PUSH1 0x01
000008ef: PUSH1 0x80
000008f1: SHL
000008f2: SUB
000008f3: NOT
000008f4: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8
00000915: PUSH2 0x0926
00000918: PUSH1 0x00
0000091a: SLOAD
0000091b: PUSH1 0x01
0000091d: PUSH1 0x01
0000091f: PUSH1 0xa0
00000921: SHL
00000922: SUB
00000923: AND
00000924: SWAP1
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x01
00000929: PUSH1 0x01
0000092b: PUSH1 0xa0
0000092d: SHL
0000092e: SUB
0000092f: AND
00000930: CALLER
00000931: PUSH1 0x01
00000933: PUSH1 0x01
00000935: PUSH1 0xa0
00000937: SHL
00000938: SUB
00000939: AND
0000093a: EQ
0000093b: ISZERO
0000093c: DUP1
0000093d: ISZERO
0000093e: PUSH2 0x094f
00000941: JUMPI
00000942: POP
00000943: PUSH2 0x094d
00000946: CALLER
00000947: DUP4
00000948: DUP4
00000949: PUSH2 0x1b33
0000094c: JUMP
0000094d: JUMPDEST
0000094e: ISZERO
0000094f: JUMPDEST
00000950: ISZERO
00000951: PUSH2 0x096d
00000954: JUMPI
00000955: PUSH1 0x40
00000957: MLOAD
00000958: PUSH4 0x05a1b279
0000095d: PUSH1 0xe4
0000095f: SHL
00000960: DUP2
00000961: MSTORE
00000962: PUSH1 0x04
00000964: ADD
00000965: PUSH1 0x40
00000967: MLOAD
00000968: DUP1
00000969: SWAP2
0000096a: SUB
0000096b: SWAP1
0000096c: REVERT
0000096d: JUMPDEST
0000096e: PUSH1 0x03
00000970: DUP1
00000971: SLOAD
00000972: PUSH1 0x01
00000974: SWAP2
00000975: SWAP1
00000976: PUSH1 0xff
00000978: NOT
00000979: AND
0000097a: DUP3
0000097b: DUP1
0000097c: JUMPDEST
0000097d: MUL
0000097e: OR
0000097f: SWAP1
00000980: SSTORE
00000981: POP
00000982: POP
00000983: POP
00000984: JUMP
00000985: JUMPDEST
00000986: PUSH2 0x098d
00000989: PUSH2 0x165f
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH2 0x0995
00000991: PUSH2 0x1b68
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH2 0x099f
00000999: PUSH1 0x01
0000099b: PUSH1 0x08
0000099d: SSTORE
0000099e: JUMP
0000099f: JUMPDEST
000009a0: JUMP
000009a1: JUMPDEST
000009a2: PUSH1 0x01
000009a4: PUSH1 0x01
000009a6: PUSH1 0xa0
000009a8: SHL
000009a9: SUB
000009aa: DUP2
000009ab: AND
000009ac: PUSH1 0x00
000009ae: SWAP1
000009af: DUP2
000009b0: MSTORE
000009b1: PUSH1 0x09
000009b3: PUSH1 0x20
000009b5: MSTORE
000009b6: PUSH1 0x40
000009b8: DUP2
000009b9: KECCAK256
000009ba: DUP2
000009bb: SWAP1
000009bc: DUP2
000009bd: SWAP1
000009be: DUP2
000009bf: SWAP1
000009c0: DUP2
000009c1: SWAP1
000009c2: PUSH1 0x60
000009c4: SWAP1
000009c5: DUP2
000009c6: SWAP1
000009c7: PUSH2 0x09cf
000009ca: DUP10
000009cb: PUSH2 0x075c
000009ce: JUMP
000009cf: JUMPDEST
000009d0: SWAP4
000009d1: POP
000009d2: DUP1
000009d3: PUSH1 0x00
000009d5: ADD
000009d6: SLOAD
000009d7: SWAP8
000009d8: POP
000009d9: DUP1
000009da: PUSH1 0x03
000009dc: ADD
000009dd: SLOAD
000009de: SWAP7
000009df: POP
000009e0: DUP1
000009e1: PUSH1 0x02
000009e3: ADD
000009e4: SLOAD
000009e5: SWAP6
000009e6: POP
000009e7: DUP1
000009e8: PUSH1 0x01
000009ea: ADD
000009eb: SLOAD
000009ec: SWAP5
000009ed: POP
000009ee: DUP1
000009ef: PUSH1 0x04
000009f1: ADD
000009f2: PUSH1 0x00
000009f4: ADD
000009f5: DUP1
000009f6: SLOAD
000009f7: DUP1
000009f8: PUSH1 0x20
000009fa: MUL
000009fb: PUSH1 0x20
000009fd: ADD
000009fe: PUSH1 0x40
00000a00: MLOAD
00000a01: SWAP1
00000a02: DUP2
00000a03: ADD
00000a04: PUSH1 0x40
00000a06: MSTORE
00000a07: DUP1
00000a08: SWAP3
00000a09: SWAP2
00000a0a: SWAP1
00000a0b: DUP2
00000a0c: DUP2
00000a0d: MSTORE
00000a0e: PUSH1 0x20
00000a10: ADD
00000a11: DUP3
00000a12: DUP1
00000a13: SLOAD
00000a14: DUP1
00000a15: ISZERO
00000a16: PUSH2 0x0a3e
00000a19: JUMPI
00000a1a: PUSH1 0x20
00000a1c: MUL
00000a1d: DUP3
00000a1e: ADD
00000a1f: SWAP2
00000a20: SWAP1
00000a21: PUSH1 0x00
00000a23: MSTORE
00000a24: PUSH1 0x20
00000a26: PUSH1 0x00
00000a28: KECCAK256
00000a29: SWAP1
00000a2a: JUMPDEST
00000a2b: DUP2
00000a2c: SLOAD
00000a2d: DUP2
00000a2e: MSTORE
00000a2f: PUSH1 0x20
00000a31: ADD
00000a32: SWAP1
00000a33: PUSH1 0x01
00000a35: ADD
00000a36: SWAP1
00000a37: DUP1
00000a38: DUP4
00000a39: GT
00000a3a: PUSH2 0x0a2a
00000a3d: JUMPI
00000a3e: JUMPDEST
00000a3f: POP
00000a40: POP
00000a41: POP
00000a42: PUSH1 0x06
00000a44: DUP5
00000a45: ADD
00000a46: DUP1
00000a47: SLOAD
00000a48: PUSH1 0x40
00000a4a: DUP1
00000a4b: MLOAD
00000a4c: PUSH1 0x20
00000a4e: DUP1
00000a4f: DUP5
00000a50: MUL
00000a51: DUP3
00000a52: ADD
00000a53: DUP2
00000a54: ADD
00000a55: SWAP1
00000a56: SWAP3
00000a57: MSTORE
00000a58: DUP3
00000a59: DUP2
00000a5a: MSTORE
00000a5b: SWAP6
00000a5c: SWAP9
00000a5d: POP
00000a5e: SWAP2
00000a5f: SWAP4
00000a60: POP
00000a61: SWAP2
00000a62: POP
00000a63: DUP4
00000a64: ADD
00000a65: DUP3
00000a66: DUP3
00000a67: DUP1
00000a68: ISZERO
00000a69: PUSH2 0x0a91
00000a6c: JUMPI
00000a6d: PUSH1 0x20
00000a6f: MUL
00000a70: DUP3
00000a71: ADD
00000a72: SWAP2
00000a73: SWAP1
00000a74: PUSH1 0x00
00000a76: MSTORE
00000a77: PUSH1 0x20
00000a79: PUSH1 0x00
00000a7b: KECCAK256
00000a7c: SWAP1
00000a7d: JUMPDEST
00000a7e: DUP2
00000a7f: SLOAD
00000a80: DUP2
00000a81: MSTORE
00000a82: PUSH1 0x20
00000a84: ADD
00000a85: SWAP1
00000a86: PUSH1 0x01
00000a88: ADD
00000a89: SWAP1
00000a8a: DUP1
00000a8b: DUP4
00000a8c: GT
00000a8d: PUSH2 0x0a7d
00000a90: JUMPI
00000a91: JUMPDEST
00000a92: POP
00000a93: POP
00000a94: POP
00000a95: POP
00000a96: POP
00000a97: SWAP2
00000a98: POP
00000a99: POP
00000a9a: SWAP2
00000a9b: SWAP4
00000a9c: SWAP6
00000a9d: SWAP8
00000a9e: SWAP1
00000a9f: SWAP3
00000aa0: SWAP5
00000aa1: SWAP7
00000aa2: POP
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: PUSH2 0x0aac
00000aa8: PUSH2 0x1c4a
00000aab: JUMP
00000aac: JUMPDEST
00000aad: PUSH2 0x099f
00000ab0: PUSH1 0x00
00000ab2: PUSH2 0x1ca4
00000ab5: JUMP
00000ab6: JUMPDEST
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0x01
00000abb: PUSH1 0x80
00000abd: SHL
00000abe: SUB
00000abf: NOT
00000ac0: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8
00000ae1: PUSH2 0x0af2
00000ae4: PUSH1 0x00
00000ae6: SLOAD
00000ae7: PUSH1 0x01
00000ae9: PUSH1 0x01
00000aeb: PUSH1 0xa0
00000aed: SHL
00000aee: SUB
00000aef: AND
00000af0: SWAP1
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x01
00000af5: PUSH1 0x01
00000af7: PUSH1 0xa0
00000af9: SHL
00000afa: SUB
00000afb: AND
00000afc: CALLER
00000afd: PUSH1 0x01
00000aff: PUSH1 0x01
00000b01: PUSH1 0xa0
00000b03: SHL
00000b04: SUB
00000b05: AND
00000b06: EQ
00000b07: ISZERO
00000b08: DUP1
00000b09: ISZERO
00000b0a: PUSH2 0x0b1b
00000b0d: JUMPI
00000b0e: POP
00000b0f: PUSH2 0x0b19
00000b12: CALLER
00000b13: DUP4
00000b14: DUP4
00000b15: PUSH2 0x1b33
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: ISZERO
00000b1b: JUMPDEST
00000b1c: ISZERO
00000b1d: PUSH2 0x0b39
00000b20: JUMPI
00000b21: PUSH1 0x40
00000b23: MLOAD
00000b24: PUSH4 0x05a1b279
00000b29: PUSH1 0xe4
00000b2b: SHL
00000b2c: DUP2
00000b2d: MSTORE
00000b2e: PUSH1 0x04
00000b30: ADD
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: DUP1
00000b35: SWAP2
00000b36: SUB
00000b37: SWAP1
00000b38: REVERT
00000b39: JUMPDEST
00000b3a: PUSH1 0x03
00000b3c: DUP1
00000b3d: SLOAD
00000b3e: PUSH1 0x02
00000b40: SWAP2
00000b41: SWAP1
00000b42: PUSH1 0xff
00000b44: NOT
00000b45: AND
00000b46: PUSH1 0x01
00000b48: DUP4
00000b49: PUSH2 0x097c
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: PUSH1 0x01
00000b50: PUSH1 0x01
00000b52: PUSH1 0x80
00000b54: SHL
00000b55: SUB
00000b56: NOT
00000b57: PUSH32 0x5b16c23fc29cfe9813dd5c3809074afa4cb2a373a05274faa9cdada3d47065df
00000b78: PUSH2 0x0b89
00000b7b: PUSH1 0x00
00000b7d: SLOAD
00000b7e: PUSH1 0x01
00000b80: PUSH1 0x01
00000b82: PUSH1 0xa0
00000b84: SHL
00000b85: SUB
00000b86: AND
00000b87: SWAP1
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0xa0
00000b90: SHL
00000b91: SUB
00000b92: AND
00000b93: CALLER
00000b94: PUSH1 0x01
00000b96: PUSH1 0x01
00000b98: PUSH1 0xa0
00000b9a: SHL
00000b9b: SUB
00000b9c: AND
00000b9d: EQ
00000b9e: ISZERO
00000b9f: DUP1
00000ba0: ISZERO
00000ba1: PUSH2 0x0bb2
00000ba4: JUMPI
00000ba5: POP
00000ba6: PUSH2 0x0bb0
00000ba9: CALLER
00000baa: DUP4
00000bab: DUP4
00000bac: PUSH2 0x1b33
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: ISZERO
00000bb2: JUMPDEST
00000bb3: ISZERO
00000bb4: PUSH2 0x0bd0
00000bb7: JUMPI
00000bb8: PUSH1 0x40
00000bba: MLOAD
00000bbb: PUSH4 0x05a1b279
00000bc0: PUSH1 0xe4
00000bc2: SHL
00000bc3: DUP2
00000bc4: MSTORE
00000bc5: PUSH1 0x04
00000bc7: ADD
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: DUP1
00000bcc: SWAP2
00000bcd: SUB
00000bce: SWAP1
00000bcf: REVERT
00000bd0: JUMPDEST
00000bd1: DUP3
00000bd2: MLOAD
00000bd3: DUP5
00000bd4: MLOAD
00000bd5: EQ
00000bd6: PUSH2 0x0bf2
00000bd9: JUMPI
00000bda: PUSH1 0x40
00000bdc: MLOAD
00000bdd: PUSH4 0xde86ead7
00000be2: PUSH1 0xe0
00000be4: SHL
00000be5: DUP2
00000be6: MSTORE
00000be7: PUSH1 0x04
00000be9: ADD
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: DUP1
00000bee: SWAP2
00000bef: SUB
00000bf0: SWAP1
00000bf1: REVERT
00000bf2: JUMPDEST
00000bf3: PUSH1 0x00
00000bf5: JUMPDEST
00000bf6: DUP5
00000bf7: MLOAD
00000bf8: DUP2
00000bf9: LT
00000bfa: ISZERO
00000bfb: PUSH2 0x0ca6
00000bfe: JUMPI
00000bff: DUP4
00000c00: DUP2
00000c01: DUP2
00000c02: MLOAD
00000c03: DUP2
00000c04: LT
00000c05: PUSH2 0x0c10
00000c08: JUMPI
00000c09: PUSH2 0x0c10
00000c0c: PUSH2 0x2bac
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: PUSH1 0x20
00000c13: MUL
00000c14: PUSH1 0x20
00000c16: ADD
00000c17: ADD
00000c18: MLOAD
00000c19: PUSH1 0x06
00000c1b: PUSH1 0x00
00000c1d: DUP9
00000c1e: PUSH1 0x01
00000c20: DUP2
00000c21: GT
00000c22: ISZERO
00000c23: PUSH2 0x0c2e
00000c26: JUMPI
00000c27: PUSH2 0x0c2e
00000c2a: PUSH2 0x2b16
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: PUSH1 0x01
00000c31: DUP2
00000c32: GT
00000c33: ISZERO
00000c34: PUSH2 0x0c3f
00000c37: JUMPI
00000c38: PUSH2 0x0c3f
00000c3b: PUSH2 0x2b16
00000c3e: JUMP
00000c3f: JUMPDEST
00000c40: DUP2
00000c41: MSTORE
00000c42: PUSH1 0x20
00000c44: ADD
00000c45: SWAP1
00000c46: DUP2
00000c47: MSTORE
00000c48: PUSH1 0x20
00000c4a: ADD
00000c4b: PUSH1 0x00
00000c4d: KECCAK256
00000c4e: PUSH1 0x00
00000c50: DUP8
00000c51: DUP5
00000c52: DUP2
00000c53: MLOAD
00000c54: DUP2
00000c55: LT
00000c56: PUSH2 0x0c61
00000c59: JUMPI
00000c5a: PUSH2 0x0c61
00000c5d: PUSH2 0x2bac
00000c60: JUMP
00000c61: JUMPDEST
00000c62: PUSH1 0x20
00000c64: MUL
00000c65: PUSH1 0x20
00000c67: ADD
00000c68: ADD
00000c69: MLOAD
00000c6a: DUP2
00000c6b: MSTORE
00000c6c: PUSH1 0x20
00000c6e: ADD
00000c6f: SWAP1
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x20
00000c74: ADD
00000c75: PUSH1 0x00
00000c77: KECCAK256
00000c78: PUSH1 0x00
00000c7a: PUSH2 0x0100
00000c7d: EXP
00000c7e: DUP2
00000c7f: SLOAD
00000c80: DUP2
00000c81: PUSH1 0x01
00000c83: PUSH1 0x01
00000c85: PUSH1 0x80
00000c87: SHL
00000c88: SUB
00000c89: MUL
00000c8a: NOT
00000c8b: AND
00000c8c: SWAP1
00000c8d: DUP4
00000c8e: PUSH1 0x01
00000c90: PUSH1 0x01
00000c92: PUSH1 0x80
00000c94: SHL
00000c95: SUB
00000c96: AND
00000c97: MUL
00000c98: OR
00000c99: SWAP1
00000c9a: SSTORE
00000c9b: POP
00000c9c: DUP1
00000c9d: PUSH1 0x01
00000c9f: ADD
00000ca0: SWAP1
00000ca1: POP
00000ca2: PUSH2 0x0bf5
00000ca5: JUMP
00000ca6: JUMPDEST
00000ca7: POP
00000ca8: POP
00000ca9: POP
00000caa: POP
00000cab: POP
00000cac: POP
00000cad: JUMP
00000cae: JUMPDEST
00000caf: PUSH1 0x04
00000cb1: SLOAD
00000cb2: TIMESTAMP
00000cb3: LT
00000cb4: ISZERO
00000cb5: PUSH2 0x0cd1
00000cb8: JUMPI
00000cb9: PUSH1 0x40
00000cbb: MLOAD
00000cbc: PUSH4 0x97fcf5a3
00000cc1: PUSH1 0xe0
00000cc3: SHL
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x04
00000cc8: ADD
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: DUP1
00000ccd: SWAP2
00000cce: SUB
00000ccf: SWAP1
00000cd0: REVERT
00000cd1: JUMPDEST
00000cd2: PUSH2 0x0cd9
00000cd5: PUSH2 0x15a7
00000cd8: JUMP
00000cd9: JUMPDEST
00000cda: PUSH1 0x0b
00000cdc: SSTORE
00000cdd: SELFBALANCE
00000cde: PUSH1 0x0a
00000ce0: SSTORE
00000ce1: TIMESTAMP
00000ce2: PUSH1 0x0d
00000ce4: DUP2
00000ce5: SWAP1
00000ce6: SSTORE
00000ce7: PUSH1 0x05
00000ce9: SLOAD
00000cea: PUSH2 0x0cf2
00000ced: SWAP2
00000cee: PUSH2 0x2b03
00000cf1: JUMP
00000cf2: JUMPDEST
00000cf3: PUSH1 0x04
00000cf5: SSTORE
00000cf6: JUMP
00000cf7: JUMPDEST
00000cf8: PUSH2 0x0cff
00000cfb: PUSH2 0x165f
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: DUP3
00000d01: ISZERO
00000d02: DUP1
00000d03: ISZERO
00000d04: PUSH2 0x0d0b
00000d07: JUMPI
00000d08: POP
00000d09: DUP1
00000d0a: ISZERO
00000d0b: JUMPDEST
00000d0c: ISZERO
00000d0d: PUSH2 0x0d29
00000d10: JUMPI
00000d11: PUSH1 0x40
00000d13: MLOAD
00000d14: PUSH4 0x0b9cddcd
00000d19: PUSH1 0xe1
00000d1b: SHL
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x04
00000d20: ADD
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP1
00000d25: SWAP2
00000d26: SUB
00000d27: SWAP1
00000d28: REVERT
00000d29: JUMPDEST
00000d2a: CALLER
00000d2b: PUSH1 0x00
00000d2d: SWAP1
00000d2e: DUP2
00000d2f: MSTORE
00000d30: PUSH1 0x07
00000d32: PUSH1 0x20
00000d34: MSTORE
00000d35: PUSH1 0x40
00000d37: SWAP1
00000d38: KECCAK256
00000d39: SLOAD
00000d3a: PUSH2 0x0d44
00000d3d: PUSH1 0x3c
00000d3f: TIMESTAMP
00000d40: PUSH2 0x2ab7
00000d43: JUMP
00000d44: JUMPDEST
00000d45: LT
00000d46: ISZERO
00000d47: PUSH2 0x0d63
00000d4a: JUMPI
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: PUSH4 0x72111215
00000d53: PUSH1 0xe1
00000d55: SHL
00000d56: DUP2
00000d57: MSTORE
00000d58: PUSH1 0x04
00000d5a: ADD
00000d5b: PUSH1 0x40
00000d5d: MLOAD
00000d5e: DUP1
00000d5f: SWAP2
00000d60: SUB
00000d61: SWAP1
00000d62: REVERT
00000d63: JUMPDEST
00000d64: CALLER
00000d65: PUSH1 0x00
00000d67: SWAP1
00000d68: DUP2
00000d69: MSTORE
00000d6a: PUSH1 0x09
00000d6c: PUSH1 0x20
00000d6e: MSTORE
00000d6f: PUSH1 0x40
00000d71: DUP2
00000d72: KECCAK256
00000d73: SWAP1
00000d74: PUSH2 0x0d7f
00000d77: DUP6
00000d78: DUP6
00000d79: DUP6
00000d7a: DUP6
00000d7b: PUSH2 0x1cf4
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: SWAP1
00000d81: POP
00000d82: PUSH2 0x0d89
00000d85: PUSH2 0x1b68
00000d88: JUMP
00000d89: JUMPDEST
00000d8a: DUP2
00000d8b: SLOAD
00000d8c: PUSH1 0x00
00000d8e: SWAP1
00000d8f: PUSH2 0x0d99
00000d92: SWAP1
00000d93: DUP4
00000d94: SWAP1
00000d95: PUSH2 0x2ab7
00000d98: JUMP
00000d99: JUMPDEST
00000d9a: PUSH1 0x03
00000d9c: DUP5
00000d9d: ADD
00000d9e: DUP1
00000d9f: SLOAD
00000da0: DUP9
00000da1: SWAP1
00000da2: SUB
00000da3: SWAP1
00000da4: SSTORE
00000da5: DUP1
00000da6: DUP5
00000da7: SSTORE
00000da8: PUSH1 0x0e
00000daa: SLOAD
00000dab: SWAP1
00000dac: SWAP2
00000dad: POP
00000dae: PUSH5 0xe8d4a51000
00000db4: SWAP1
00000db5: DUP3
00000db6: MUL
00000db7: DIV
00000db8: PUSH1 0x01
00000dba: DUP5
00000dbb: ADD
00000dbc: SSTORE
00000dbd: PUSH1 0x0f
00000dbf: DUP1
00000dc0: SLOAD
00000dc1: DUP4
00000dc2: SWAP1
00000dc3: SUB
00000dc4: SWAP1
00000dc5: SSTORE
00000dc6: PUSH1 0x00
00000dc8: PUSH1 0x02
00000dca: DUP5
00000dcb: ADD
00000dcc: SSTORE
00000dcd: PUSH1 0x40
00000dcf: MLOAD
00000dd0: CALLER
00000dd1: SWAP1
00000dd2: PUSH32 0x6fb190e489ce9e6adb75e1635d63d5d4e4f675a5f5460c15c816797d4a8398f3
00000df3: SWAP1
00000df4: PUSH2 0x0e04
00000df7: SWAP1
00000df8: DUP10
00000df9: SWAP1
00000dfa: DUP7
00000dfb: SWAP1
00000dfc: DUP11
00000dfd: SWAP1
00000dfe: DUP11
00000dff: SWAP1
00000e00: PUSH2 0x2b2c
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x40
00000e07: MLOAD
00000e08: DUP1
00000e09: SWAP2
00000e0a: SUB
00000e0b: SWAP1
00000e0c: LOG2
00000e0d: POP
00000e0e: POP
00000e0f: POP
00000e10: PUSH2 0x0e19
00000e13: PUSH1 0x01
00000e15: PUSH1 0x08
00000e17: SSTORE
00000e18: JUMP
00000e19: JUMPDEST
00000e1a: POP
00000e1b: POP
00000e1c: POP
00000e1d: JUMP
00000e1e: JUMPDEST
00000e1f: PUSH1 0x01
00000e21: PUSH1 0x01
00000e23: PUSH1 0x80
00000e25: SHL
00000e26: SUB
00000e27: NOT
00000e28: PUSH32 0xc598636fccf548e3965f4576afe7d756c8dc5e4b6518916ae98acca4926fa6a8
00000e49: PUSH2 0x0e5a
00000e4c: PUSH1 0x00
00000e4e: SLOAD
00000e4f: PUSH1 0x01
00000e51: PUSH1 0x01
00000e53: PUSH1 0xa0
00000e55: SHL
00000e56: SUB
00000e57: AND
00000e58: SWAP1
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0x01
00000e5f: PUSH1 0xa0
00000e61: SHL
00000e62: SUB
00000e63: AND
00000e64: CALLER
00000e65: PUSH1 0x01
00000e67: PUSH1 0x01
00000e69: PUSH1 0xa0
00000e6b: SHL
00000e6c: SUB
00000e6d: AND
00000e6e: EQ
00000e6f: ISZERO
00000e70: DUP1
00000e71: ISZERO
00000e72: PUSH2 0x0e83
00000e75: JUMPI
00000e76: POP
00000e77: PUSH2 0x0e81
00000e7a: CALLER
00000e7b: DUP4
00000e7c: DUP4
00000e7d: PUSH2 0x1b33
00000e80: JUMP
00000e81: JUMPDEST
00000e82: ISZERO
00000e83: JUMPDEST
00000e84: ISZERO
00000e85: PUSH2 0x0ea1
00000e88: JUMPI
00000e89: PUSH1 0x40
00000e8b: MLOAD
00000e8c: PUSH4 0x05a1b279
00000e91: PUSH1 0xe4
00000e93: SHL
00000e94: DUP2
00000e95: MSTORE
00000e96: PUSH1 0x04
00000e98: ADD
00000e99: PUSH1 0x40
00000e9b: MLOAD
00000e9c: DUP1
00000e9d: SWAP2
00000e9e: SUB
00000e9f: SWAP1
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: PUSH1 0x00
00000ea4: JUMPDEST
00000ea5: DUP4
00000ea6: DUP2
00000ea7: LT
00000ea8: ISZERO
00000ea9: PUSH2 0x12d8
00000eac: JUMPI
00000ead: PUSH1 0x00
00000eaf: DUP6
00000eb0: DUP6
00000eb1: DUP4
00000eb2: DUP2
00000eb3: DUP2
00000eb4: LT
00000eb5: PUSH2 0x0ec0
00000eb8: JUMPI
00000eb9: PUSH2 0x0ec0
00000ebc: PUSH2 0x2bac
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: PUSH2 0x0ed6
00000ec4: SWAP3
00000ec5: PUSH1 0x20
00000ec7: PUSH1 0xa0
00000ec9: SWAP1
00000eca: SWAP3
00000ecb: MUL
00000ecc: ADD
00000ecd: SWAP1
00000ece: DUP2
00000ecf: ADD
00000ed0: SWAP2
00000ed1: POP
00000ed2: PUSH2 0x2bc2
00000ed5: JUMP
00000ed6: JUMPDEST
00000ed7: PUSH1 0x03
00000ed9: DUP2
00000eda: GT
00000edb: ISZERO
00000edc: PUSH2 0x0ee7
00000edf: JUMPI
00000ee0: PUSH2 0x0ee7
00000ee3: PUSH2 0x2b16
00000ee6: JUMP
00000ee7: JUMPDEST
00000ee8: SUB
00000ee9: PUSH2 0x0fb5
00000eec: JUMPI
00000eed: PUSH1 0x00
00000eef: DUP6
00000ef0: DUP6
00000ef1: DUP4
00000ef2: DUP2
00000ef3: DUP2
00000ef4: LT
00000ef5: PUSH2 0x0f00
00000ef8: JUMPI
00000ef9: PUSH2 0x0f00
00000efc: PUSH2 0x2bac
00000eff: JUMP
00000f00: JUMPDEST
00000f01: SWAP1
00000f02: POP
00000f03: PUSH1 0xa0
00000f05: MUL
00000f06: ADD
00000f07: PUSH1 0x80
00000f09: ADD
00000f0a: PUSH1 0x20
00000f0c: DUP2
00000f0d: ADD
00000f0e: SWAP1
00000f0f: PUSH2 0x0f18
00000f12: SWAP2
00000f13: SWAP1
00000f14: PUSH2 0x240f
00000f17: JUMP
00000f18: JUMPDEST
00000f19: PUSH1 0x01
00000f1b: PUSH1 0x01
00000f1d: PUSH1 0xa0
00000f1f: SHL
00000f20: SUB
00000f21: AND
00000f22: DUP7
00000f23: DUP7
00000f24: DUP5
00000f25: DUP2
00000f26: DUP2
00000f27: LT
00000f28: PUSH2 0x0f33
00000f2b: JUMPI
00000f2c: PUSH2 0x0f33
00000f2f: PUSH2 0x2bac
00000f32: JUMP
00000f33: JUMPDEST
00000f34: SWAP1
00000f35: POP
00000f36: PUSH1 0xa0
00000f38: MUL
00000f39: ADD
00000f3a: PUSH1 0x60
00000f3c: ADD
00000f3d: CALLDATALOAD
00000f3e: PUSH1 0x40
00000f40: MLOAD
00000f41: PUSH1 0x00
00000f43: PUSH1 0x40
00000f45: MLOAD
00000f46: DUP1
00000f47: DUP4
00000f48: SUB
00000f49: DUP2
00000f4a: DUP6
00000f4b: DUP8
00000f4c: GAS
00000f4d: CALL
00000f4e: SWAP3
00000f4f: POP
00000f50: POP
00000f51: POP
00000f52: RETURNDATASIZE
00000f53: DUP1
00000f54: PUSH1 0x00
00000f56: DUP2
00000f57: EQ
00000f58: PUSH2 0x0f7d
00000f5b: JUMPI
00000f5c: PUSH1 0x40
00000f5e: MLOAD
00000f5f: SWAP2
00000f60: POP
00000f61: PUSH1 0x1f
00000f63: NOT
00000f64: PUSH1 0x3f
00000f66: RETURNDATASIZE
00000f67: ADD
00000f68: AND
00000f69: DUP3
00000f6a: ADD
00000f6b: PUSH1 0x40
00000f6d: MSTORE
00000f6e: RETURNDATASIZE
00000f6f: DUP3
00000f70: MSTORE
00000f71: RETURNDATASIZE
00000f72: PUSH1 0x00
00000f74: PUSH1 0x20
00000f76: DUP5
00000f77: ADD
00000f78: RETURNDATACOPY
00000f79: PUSH2 0x0f82
00000f7c: JUMP
00000f7d: JUMPDEST
00000f7e: PUSH1 0x60
00000f80: SWAP2
00000f81: POP
00000f82: JUMPDEST
00000f83: POP
00000f84: POP
00000f85: SWAP1
00000f86: POP
00000f87: DUP1
00000f88: PUSH2 0x0fac
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH4 0x74c41da7
00000f94: PUSH1 0xe0
00000f96: SHL
00000f97: DUP2
00000f98: MSTORE
00000f99: PUSH1 0x04
00000f9b: DUP2
00000f9c: ADD
00000f9d: DUP4
00000f9e: SWAP1
00000f9f: MSTORE
00000fa0: PUSH1 0x24
00000fa2: ADD
00000fa3: JUMPDEST
00000fa4: PUSH1 0x40
00000fa6: MLOAD
00000fa7: DUP1
00000fa8: SWAP2
00000fa9: SUB
00000faa: SWAP1
00000fab: REVERT
00000fac: JUMPDEST
00000fad: POP
00000fae: PUSH1 0x01
00000fb0: ADD
00000fb1: PUSH2 0x0ea4
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH1 0x01
00000fb8: DUP6
00000fb9: DUP6
00000fba: DUP4
00000fbb: DUP2
00000fbc: DUP2
00000fbd: LT
00000fbe: PUSH2 0x0fc9
00000fc1: JUMPI
00000fc2: PUSH2 0x0fc9
00000fc5: PUSH2 0x2bac
00000fc8: JUMP
00000fc9: JUMPDEST
00000fca: PUSH2 0x0fdf
00000fcd: SWAP3
00000fce: PUSH1 0x20
00000fd0: PUSH1 0xa0
00000fd2: SWAP1
00000fd3: SWAP3
00000fd4: MUL
00000fd5: ADD
00000fd6: SWAP1
00000fd7: DUP2
00000fd8: ADD
00000fd9: SWAP2
00000fda: POP
00000fdb: PUSH2 0x2bc2
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: PUSH1 0x03
00000fe2: DUP2
00000fe3: GT
00000fe4: ISZERO
00000fe5: PUSH2 0x0ff0
00000fe8: JUMPI
00000fe9: PUSH2 0x0ff0
00000fec: PUSH2 0x2b16
00000fef: JUMP
00000ff0: JUMPDEST
00000ff1: SUB
00000ff2: PUSH2 0x1078
00000ff5: JUMPI
00000ff6: PUSH2 0x1078
00000ff9: DUP6
00000ffa: DUP6
00000ffb: DUP4
00000ffc: DUP2
00000ffd: DUP2
00000ffe: LT
00000fff: PUSH2 0x100a
00001002: JUMPI
00001003: PUSH2 0x100a
00001006: PUSH2 0x2bac
00001009: JUMP
0000100a: JUMPDEST
0000100b: SWAP1
0000100c: POP
0000100d: PUSH1 0xa0
0000100f: MUL
00001010: ADD
00001011: PUSH1 0x80
00001013: ADD
00001014: PUSH1 0x20
00001016: DUP2
00001017: ADD
00001018: SWAP1
00001019: PUSH2 0x1022
0000101c: SWAP2
0000101d: SWAP1
0000101e: PUSH2 0x240f
00001021: JUMP
00001022: JUMPDEST
00001023: DUP7
00001024: DUP7
00001025: DUP5
00001026: DUP2
00001027: DUP2
00001028: LT
00001029: PUSH2 0x1034
0000102c: JUMPI
0000102d: PUSH2 0x1034
00001030: PUSH2 0x2bac
00001033: JUMP
00001034: JUMPDEST
00001035: SWAP1
00001036: POP
00001037: PUSH1 0xa0
00001039: MUL
0000103a: ADD
0000103b: PUSH1 0x60
0000103d: ADD
0000103e: CALLDATALOAD
0000103f: DUP8
00001040: DUP8
00001041: DUP6
00001042: DUP2
00001043: DUP2
00001044: LT
00001045: PUSH2 0x1050
00001048: JUMPI
00001049: PUSH2 0x1050
0000104c: PUSH2 0x2bac
0000104f: JUMP
00001050: JUMPDEST
00001051: SWAP1
00001052: POP
00001053: PUSH1 0xa0
00001055: MUL
00001056: ADD
00001057: PUSH1 0x20
00001059: ADD
0000105a: PUSH1 0x20
0000105c: DUP2
0000105d: ADD
0000105e: SWAP1
0000105f: PUSH2 0x1068
00001062: SWAP2
00001063: SWAP1
00001064: PUSH2 0x240f
00001067: JUMP
00001068: JUMPDEST
00001069: PUSH1 0x01
0000106b: PUSH1 0x01
0000106d: PUSH1 0xa0
0000106f: SHL
00001070: SUB
00001071: AND
00001072: SWAP2
00001073: SWAP1
00001074: PUSH2 0x207d
00001077: JUMP
00001078: JUMPDEST
00001079: PUSH1 0x02
0000107b: DUP6
0000107c: DUP6
0000107d: DUP4
0000107e: DUP2
0000107f: DUP2
00001080: LT
00001081: PUSH2 0x108c
00001084: JUMPI
00001085: PUSH2 0x108c
00001088: PUSH2 0x2bac
0000108b: JUMP
0000108c: JUMPDEST
0000108d: PUSH2 0x10a2
00001090: SWAP3
00001091: PUSH1 0x20
00001093: PUSH1 0xa0
00001095: SWAP1
00001096: SWAP3
00001097: MUL
00001098: ADD
00001099: SWAP1
0000109a: DUP2
0000109b: ADD
0000109c: SWAP2
0000109d: POP
0000109e: PUSH2 0x2bc2
000010a1: JUMP
000010a2: JUMPDEST
000010a3: PUSH1 0x03
000010a5: DUP2
000010a6: GT
000010a7: ISZERO
000010a8: PUSH2 0x10b3
000010ab: JUMPI
000010ac: PUSH2 0x10b3
000010af: PUSH2 0x2b16
000010b2: JUMP
000010b3: JUMPDEST
000010b4: SUB
000010b5: PUSH2 0x11a3
000010b8: JUMPI
000010b9: DUP5
000010ba: DUP5
000010bb: DUP3
000010bc: DUP2
000010bd: DUP2
000010be: LT
000010bf: PUSH2 0x10ca
000010c2: JUMPI
000010c3: PUSH2 0x10ca
000010c6: PUSH2 0x2bac
000010c9: JUMP
000010ca: JUMPDEST
000010cb: SWAP1
000010cc: POP
000010cd: PUSH1 0xa0
000010cf: MUL
000010d0: ADD
000010d1: PUSH1 0x20
000010d3: ADD
000010d4: PUSH1 0x20
000010d6: DUP2
000010d7: ADD
000010d8: SWAP1
000010d9: PUSH2 0x10e2
000010dc: SWAP2
000010dd: SWAP1
000010de: PUSH2 0x240f
000010e1: JUMP
000010e2: JUMPDEST
000010e3: PUSH1 0x01
000010e5: PUSH1 0x01
000010e7: PUSH1 0xa0
000010e9: SHL
000010ea: SUB
000010eb: AND
000010ec: PUSH4 0x23b872dd
000010f1: ADDRESS
000010f2: DUP8
000010f3: DUP8
000010f4: DUP6
000010f5: DUP2
000010f6: DUP2
000010f7: LT
000010f8: PUSH2 0x1103
000010fb: JUMPI
000010fc: PUSH2 0x1103
000010ff: PUSH2 0x2bac
00001102: JUMP
00001103: JUMPDEST
00001104: SWAP1
00001105: POP
00001106: PUSH1 0xa0
00001108: MUL
00001109: ADD
0000110a: PUSH1 0x80
0000110c: ADD
0000110d: PUSH1 0x20
0000110f: DUP2
00001110: ADD
00001111: SWAP1
00001112: PUSH2 0x111b
00001115: SWAP2
00001116: SWAP1
00001117: PUSH2 0x240f
0000111a: JUMP
0000111b: JUMPDEST
0000111c: DUP9
0000111d: DUP9
0000111e: DUP7
0000111f: DUP2
00001120: DUP2
00001121: LT
00001122: PUSH2 0x112d
00001125: JUMPI
00001126: PUSH2 0x112d
00001129: PUSH2 0x2bac
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH1 0x40
00001130: DUP1
00001131: MLOAD
00001132: PUSH1 0x01
00001134: PUSH1 0x01
00001136: PUSH1 0xe0
00001138: SHL
00001139: SUB
0000113a: NOT
0000113b: PUSH1 0xe0
0000113d: DUP10
0000113e: SWAP1
0000113f: SHL
00001140: AND
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x01
00001145: PUSH1 0x01
00001147: PUSH1 0xa0
00001149: SHL
0000114a: SUB
0000114b: SWAP7
0000114c: DUP8
0000114d: AND
0000114e: PUSH1 0x04
00001150: DUP3
00001151: ADD
00001152: MSTORE
00001153: SWAP6
00001154: SWAP1
00001155: SWAP5
00001156: AND
00001157: PUSH1 0x24
00001159: DUP7
0000115a: ADD
0000115b: MSTORE
0000115c: PUSH1 0xa0
0000115e: MUL
0000115f: SWAP2
00001160: SWAP1
00001161: SWAP2
00001162: ADD
00001163: SWAP2
00001164: SWAP1
00001165: SWAP2
00001166: ADD
00001167: CALLDATALOAD
00001168: PUSH1 0x44
0000116a: DUP4
0000116b: ADD
0000116c: MSTORE
0000116d: POP
0000116e: PUSH1 0x64
00001170: ADD
00001171: PUSH1 0x00
00001173: PUSH1 0x40
00001175: MLOAD
00001176: DUP1
00001177: DUP4
00001178: SUB
00001179: DUP2
0000117a: PUSH1 0x00
0000117c: DUP8
0000117d: DUP1
0000117e: EXTCODESIZE
0000117f: ISZERO
00001180: DUP1
00001181: ISZERO
00001182: PUSH2 0x118a
00001185: JUMPI
00001186: PUSH1 0x00
00001188: DUP1
00001189: REVERT
0000118a: JUMPDEST
0000118b: POP
0000118c: GAS
0000118d: CALL
0000118e: ISZERO
0000118f: DUP1
00001190: ISZERO
00001191: PUSH2 0x119e
00001194: JUMPI
00001195: RETURNDATASIZE
00001196: PUSH1 0x00
00001198: DUP1
00001199: RETURNDATACOPY
0000119a: RETURNDATASIZE
0000119b: PUSH1 0x00
0000119d: REVERT
0000119e: JUMPDEST
0000119f: POP
000011a0: POP
000011a1: POP
000011a2: POP
000011a3: JUMPDEST
000011a4: PUSH1 0x03
000011a6: DUP6
000011a7: DUP6
000011a8: DUP4
000011a9: DUP2
000011aa: DUP2
000011ab: LT
000011ac: PUSH2 0x11b7
000011af: JUMPI
000011b0: PUSH2 0x11b7
000011b3: PUSH2 0x2bac
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH2 0x11cd
000011bb: SWAP3
000011bc: PUSH1 0x20
000011be: PUSH1 0xa0
000011c0: SWAP1
000011c1: SWAP3
000011c2: MUL
000011c3: ADD
000011c4: SWAP1
000011c5: DUP2
000011c6: ADD
000011c7: SWAP2
000011c8: POP
000011c9: PUSH2 0x2bc2
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH1 0x03
000011d0: DUP2
000011d1: GT
000011d2: ISZERO
000011d3: PUSH2 0x11de
000011d6: JUMPI
000011d7: PUSH2 0x11de
000011da: PUSH2 0x2b16
000011dd: JUMP
000011de: JUMPDEST
000011df: SUB
000011e0: PUSH2 0x12d0
000011e3: JUMPI
000011e4: DUP5
000011e5: DUP5
000011e6: DUP3
000011e7: DUP2
000011e8: DUP2
000011e9: LT
000011ea: PUSH2 0x11f5
000011ed: JUMPI
000011ee: PUSH2 0x11f5
000011f1: PUSH2 0x2bac
000011f4: JUMP
000011f5: JUMPDEST
000011f6: SWAP1
000011f7: POP
000011f8: PUSH1 0xa0
000011fa: MUL
000011fb: ADD
000011fc: PUSH1 0x20
000011fe: ADD
000011ff: PUSH1 0x20
00001201: DUP2
00001202: ADD
00001203: SWAP1
00001204: PUSH2 0x120d
00001207: SWAP2
00001208: SWAP1
00001209: PUSH2 0x240f
0000120c: JUMP
0000120d: JUMPDEST
0000120e: PUSH1 0x01
00001210: PUSH1 0x01
00001212: PUSH1 0xa0
00001214: SHL
00001215: SUB
00001216: AND
00001217: PUSH4 0xf242432a
0000121c: ADDRESS
0000121d: DUP8
0000121e: DUP8
0000121f: DUP6
00001220: DUP2
00001221: DUP2
00001222: LT
00001223: PUSH2 0x122e
00001226: JUMPI
00001227: PUSH2 0x122e
0000122a: PUSH2 0x2bac
0000122d: JUMP
0000122e: JUMPDEST
0000122f: SWAP1
00001230: POP
00001231: PUSH1 0xa0
00001233: MUL
00001234: ADD
00001235: PUSH1 0x80
00001237: ADD
00001238: PUSH1 0x20
0000123a: DUP2
0000123b: ADD
0000123c: SWAP1
0000123d: PUSH2 0x1246
00001240: SWAP2
00001241: SWAP1
00001242: PUSH2 0x240f
00001245: JUMP
00001246: JUMPDEST
00001247: DUP9
00001248: DUP9
00001249: DUP7
0000124a: DUP2
0000124b: DUP2
0000124c: LT
0000124d: PUSH2 0x1258
00001250: JUMPI
00001251: PUSH2 0x1258
00001254: PUSH2 0x2bac
00001257: JUMP
00001258: JUMPDEST
00001259: SWAP1
0000125a: POP
0000125b: PUSH1 0xa0
0000125d: MUL
0000125e: ADD
0000125f: PUSH1 0x40
00001261: ADD
00001262: CALLDATALOAD
00001263: DUP10
00001264: DUP10
00001265: DUP8
00001266: DUP2
00001267: DUP2
00001268: LT
00001269: PUSH2 0x1274
0000126c: JUMPI
0000126d: PUSH2 0x1274
00001270: PUSH2 0x2bac
00001273: JUMP
00001274: JUMPDEST
00001275: SWAP1
00001276: POP
00001277: PUSH1 0xa0
00001279: MUL
0000127a: ADD
0000127b: PUSH1 0x60
0000127d: ADD
0000127e: CALLDATALOAD
0000127f: PUSH1 0x40
00001281: MLOAD
00001282: DUP6
00001283: PUSH4 0xffffffff
00001288: AND
00001289: PUSH1 0xe0
0000128b: SHL
0000128c: DUP2
0000128d: MSTORE
0000128e: PUSH1 0x04
00001290: ADD
00001291: PUSH2 0x129d
00001294: SWAP5
00001295: SWAP4
00001296: SWAP3
00001297: SWAP2
00001298: SWAP1
00001299: PUSH2 0x2be3
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x00
000012a0: PUSH1 0x40
000012a2: MLOAD
000012a3: DUP1
000012a4: DUP4
000012a5: SUB
000012a6: DUP2
000012a7: PUSH1 0x00
000012a9: DUP8
000012aa: DUP1
000012ab: EXTCODESIZE
000012ac: ISZERO
000012ad: DUP1
000012ae: ISZERO
000012af: PUSH2 0x12b7
000012b2: JUMPI
000012b3: PUSH1 0x00
000012b5: DUP1
000012b6: REVERT
000012b7: JUMPDEST
000012b8: POP
000012b9: GAS
000012ba: CALL
000012bb: ISZERO
000012bc: DUP1
000012bd: ISZERO
000012be: PUSH2 0x12cb
000012c1: JUMPI
000012c2: RETURNDATASIZE
000012c3: PUSH1 0x00
000012c5: DUP1
000012c6: RETURNDATACOPY
000012c7: RETURNDATASIZE
000012c8: PUSH1 0x00
000012ca: REVERT
000012cb: JUMPDEST
000012cc: POP
000012cd: POP
000012ce: POP
000012cf: POP
000012d0: JUMPDEST
000012d1: PUSH1 0x01
000012d3: ADD
000012d4: PUSH2 0x0ea4
000012d7: JUMP
000012d8: JUMPDEST
000012d9: POP
000012da: POP
000012db: POP
000012dc: POP
000012dd: POP
000012de: JUMP
000012df: JUMPDEST
000012e0: PUSH1 0x01
000012e2: PUSH1 0x01
000012e4: PUSH1 0x80
000012e6: SHL
000012e7: SUB
000012e8: NOT
000012e9: DUP1
000012ea: PUSH2 0x12fb
000012ed: PUSH1 0x00
000012ef: SLOAD
000012f0: PUSH1 0x01
000012f2: PUSH1 0x01
000012f4: PUSH1 0xa0
000012f6: SHL
000012f7: SUB
000012f8: AND
000012f9: SWAP1
000012fa: JUMP
000012fb: JUMPDEST
000012fc: PUSH1 0x01
000012fe: PUSH1 0x01
00001300: PUSH1 0xa0
00001302: SHL
00001303: SUB
00001304: AND
00001305: CALLER
00001306: PUSH1 0x01
00001308: PUSH1 0x01
0000130a: PUSH1 0xa0
0000130c: SHL
0000130d: SUB
0000130e: AND
0000130f: EQ
00001310: ISZERO
00001311: DUP1
00001312: ISZERO
00001313: PUSH2 0x1324
00001316: JUMPI
00001317: POP
00001318: PUSH2 0x1322
0000131b: CALLER
0000131c: DUP4
0000131d: DUP4
0000131e: PUSH2 0x1b33
00001321: JUMP
00001322: JUMPDEST
00001323: ISZERO
00001324: JUMPDEST
00001325: ISZERO
00001326: PUSH2 0x1342
00001329: JUMPI
0000132a: PUSH1 0x40
0000132c: MLOAD
0000132d: PUSH4 0x05a1b279
00001332: PUSH1 0xe4
00001334: SHL
00001335: DUP2
00001336: MSTORE
00001337: PUSH1 0x04
00001339: ADD
0000133a: PUSH1 0x40
0000133c: MLOAD
0000133d: DUP1
0000133e: SWAP2
0000133f: SUB
00001340: SWAP1
00001341: REVERT
00001342: JUMPDEST
00001343: DUP4
00001344: PUSH2 0x1360
00001347: JUMPI
00001348: PUSH1 0x40
0000134a: MLOAD
0000134b: PUSH4 0x055e2a21
00001350: PUSH1 0xe1
00001352: SHL
00001353: DUP2
00001354: MSTORE
00001355: PUSH1 0x04
00001357: ADD
00001358: PUSH1 0x40
0000135a: MLOAD
0000135b: DUP1
0000135c: SWAP2
0000135d: SUB
0000135e: SWAP1
0000135f: REVERT
00001360: JUMPDEST
00001361: PUSH1 0x00
00001363: DUP5
00001364: DUP2
00001365: MSTORE
00001366: PUSH1 0x02
00001368: PUSH1 0x20
0000136a: MSTORE
0000136b: PUSH1 0x40
0000136d: DUP1
0000136e: DUP3
0000136f: KECCAK256
00001370: DUP6
00001371: SWAP1
00001372: SSTORE
00001373: MLOAD
00001374: DUP5
00001375: SWAP2
00001376: DUP7
00001377: SWAP2
00001378: CALLER
00001379: SWAP2
0000137a: PUSH32 0xad26b90be8a18bd2262e914f6fd4919c42f9dd6a0d07a15fa728ec603a836a88
0000139b: SWAP2
0000139c: LOG4
0000139d: POP
0000139e: POP
0000139f: POP
000013a0: POP
000013a1: JUMP
000013a2: JUMPDEST
000013a3: PUSH1 0x00
000013a5: DUP3
000013a6: DUP2
000013a7: MSTORE
000013a8: PUSH1 0x02
000013aa: PUSH1 0x20
000013ac: MSTORE
000013ad: PUSH1 0x40
000013af: SWAP1
000013b0: KECCAK256
000013b1: SLOAD
000013b2: PUSH1 0x01
000013b4: PUSH1 0x01
000013b6: PUSH1 0x80
000013b8: SHL
000013b9: SUB
000013ba: NOT
000013bb: SWAP1
000013bc: PUSH2 0x13cd
000013bf: PUSH1 0x00
000013c1: SLOAD
000013c2: PUSH1 0x01
000013c4: PUSH1 0x01
000013c6: PUSH1 0xa0
000013c8: SHL
000013c9: SUB
000013ca: AND
000013cb: SWAP1
000013cc: JUMP
000013cd: JUMPDEST
000013ce: PUSH1 0x01
000013d0: PUSH1 0x01
000013d2: PUSH1 0xa0
000013d4: SHL
000013d5: SUB
000013d6: AND
000013d7: CALLER
000013d8: PUSH1 0x01
000013da: PUSH1 0x01
000013dc: PUSH1 0xa0
000013de: SHL
000013df: SUB
000013e0: AND
000013e1: EQ
000013e2: ISZERO
000013e3: DUP1
000013e4: ISZERO
000013e5: PUSH2 0x13f6
000013e8: JUMPI
000013e9: POP
000013ea: PUSH2 0x13f4
000013ed: CALLER
000013ee: DUP4
000013ef: DUP4
000013f0: PUSH2 0x1b33
000013f3: JUMP
000013f4: JUMPDEST
000013f5: ISZERO
000013f6: JUMPDEST
000013f7: ISZERO
000013f8: PUSH2 0x1414
000013fb: JUMPI
000013fc: PUSH1 0x40
000013fe: MLOAD
000013ff: PUSH4 0x05a1b279
00001404: PUSH1 0xe4
00001406: SHL
00001407: DUP2
00001408: MSTORE
00001409: PUSH1 0x04
0000140b: ADD
0000140c: PUSH1 0x40
0000140e: MLOAD
0000140f: DUP1
00001410: SWAP2
00001411: SUB
00001412: SWAP1
00001413: REVERT
00001414: JUMPDEST
00001415: DUP4
00001416: PUSH2 0x1432
00001419: JUMPI
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: PUSH4 0x2d1845c9
00001422: PUSH1 0xe0
00001424: SHL
00001425: DUP2
00001426: MSTORE
00001427: PUSH1 0x04
00001429: ADD
0000142a: PUSH1 0x40
0000142c: MLOAD
0000142d: DUP1
0000142e: SWAP2
0000142f: SUB
00001430: SWAP1
00001431: REVERT
00001432: JUMPDEST
00001433: PUSH1 0x01
00001435: PUSH1 0x01
00001437: PUSH1 0xa0
00001439: SHL
0000143a: SUB
0000143b: DUP7
0000143c: AND
0000143d: PUSH1 0x00
0000143f: DUP2
00001440: DUP2
00001441: MSTORE
00001442: PUSH1 0x01
00001444: PUSH1 0x20
00001446: SWAP1
00001447: DUP2
00001448: MSTORE
00001449: PUSH1 0x40
0000144b: DUP1
0000144c: DUP4
0000144d: KECCAK256
0000144e: DUP10
0000144f: DUP5
00001450: MSTORE
00001451: DUP3
00001452: MSTORE
00001453: DUP1
00001454: DUP4
00001455: KECCAK256
00001456: DUP9
00001457: DUP5
00001458: MSTORE
00001459: DUP3
0000145a: MSTORE
0000145b: SWAP2
0000145c: DUP3
0000145d: SWAP1
0000145e: KECCAK256
0000145f: DUP7
00001460: SWAP1
00001461: SSTORE
00001462: DUP2
00001463: MLOAD
00001464: DUP9
00001465: DUP2
00001466: MSTORE
00001467: SWAP1
00001468: DUP2
00001469: ADD
0000146a: DUP7
0000146b: SWAP1
0000146c: MSTORE
0000146d: DUP7
0000146e: SWAP3
0000146f: SWAP2
00001470: CALLER
00001471: SWAP2
00001472: PUSH32 0x71b8ef6d2e182fa6ca30442059cc10398330b3e0561fd4ecc7232b62a8678cb6
00001493: SWAP2
00001494: ADD
00001495: PUSH1 0x40
00001497: MLOAD
00001498: DUP1
00001499: SWAP2
0000149a: SUB
0000149b: SWAP1
0000149c: LOG4
0000149d: POP
0000149e: POP
0000149f: POP
000014a0: POP
000014a1: POP
000014a2: POP
000014a3: JUMP
000014a4: JUMPDEST
000014a5: PUSH1 0x01
000014a7: PUSH1 0x01
000014a9: PUSH1 0x80
000014ab: SHL
000014ac: SUB
000014ad: NOT
000014ae: PUSH32 0x7786c767363c5272e491a0a58459b77b7665c1f44e6c8fb4deece7f8a8de6bc1
000014cf: PUSH2 0x14e0
000014d2: PUSH1 0x00
000014d4: SLOAD
000014d5: PUSH1 0x01
000014d7: PUSH1 0x01
000014d9: PUSH1 0xa0
000014db: SHL
000014dc: SUB
000014dd: AND
000014de: SWAP1
000014df: JUMP
000014e0: JUMPDEST
000014e1: PUSH1 0x01
000014e3: PUSH1 0x01
000014e5: PUSH1 0xa0
000014e7: SHL
000014e8: SUB
000014e9: AND
000014ea: CALLER
000014eb: PUSH1 0x01
000014ed: PUSH1 0x01
000014ef: PUSH1 0xa0
000014f1: SHL
000014f2: SUB
000014f3: AND
000014f4: EQ
000014f5: ISZERO
000014f6: DUP1
000014f7: ISZERO
000014f8: PUSH2 0x1509
000014fb: JUMPI
000014fc: POP
000014fd: PUSH2 0x1507
00001500: CALLER
00001501: DUP4
00001502: DUP4
00001503: PUSH2 0x1b33
00001506: JUMP
00001507: JUMPDEST
00001508: ISZERO
00001509: JUMPDEST
0000150a: ISZERO
0000150b: PUSH2 0x1527
0000150e: JUMPI
0000150f: PUSH1 0x40
00001511: MLOAD
00001512: PUSH4 0x05a1b279
00001517: PUSH1 0xe4
00001519: SHL
0000151a: DUP2
0000151b: MSTORE
0000151c: PUSH1 0x04
0000151e: ADD
0000151f: PUSH1 0x40
00001521: MLOAD
00001522: DUP1
00001523: SWAP2
00001524: SUB
00001525: SWAP1
00001526: REVERT
00001527: JUMPDEST
00001528: POP
00001529: POP
0000152a: PUSH1 0x05
0000152c: SSTORE
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH2 0x1536
00001532: PUSH2 0x1c4a
00001535: JUMP
00001536: JUMPDEST
00001537: PUSH1 0x01
00001539: PUSH1 0x01
0000153b: PUSH1 0xa0
0000153d: SHL
0000153e: SUB
0000153f: DUP2
00001540: AND
00001541: PUSH2 0x159b
00001544: JUMPI
00001545: PUSH1 0x40
00001547: MLOAD
00001548: PUSH3 0x461bcd
0000154c: PUSH1 0xe5
0000154e: SHL
0000154f: DUP2
00001550: MSTORE
00001551: PUSH1 0x20
00001553: PUSH1 0x04
00001555: DUP3
00001556: ADD
00001557: MSTORE
00001558: PUSH1 0x26
0000155a: PUSH1 0x24
0000155c: DUP3
0000155d: ADD
0000155e: MSTORE
0000155f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001580: PUSH1 0x44
00001582: DUP3
00001583: ADD
00001584: MSTORE
00001585: PUSH6 0x646472657373
0000158c: PUSH1 0xd0
0000158e: SHL
0000158f: PUSH1 0x64
00001591: DUP3
00001592: ADD
00001593: MSTORE
00001594: PUSH1 0x84
00001596: ADD
00001597: PUSH2 0x0fa3
0000159a: JUMP
0000159b: JUMPDEST
0000159c: PUSH2 0x15a4
0000159f: DUP2
000015a0: PUSH2 0x1ca4
000015a3: JUMP
000015a4: JUMPDEST
000015a5: POP
000015a6: JUMP
000015a7: JUMPDEST
000015a8: PUSH1 0x00
000015aa: PUSH32 0x0000000000000000000000000000000000000000000000000000000003c26703
000015cb: PUSH1 0x0d
000015cd: SLOAD
000015ce: TIMESTAMP
000015cf: PUSH2 0x15d8
000015d2: SWAP2
000015d3: SWAP1
000015d4: PUSH2 0x2ab7
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH1 0x0a
000015db: SLOAD
000015dc: PUSH2 0x15e5
000015df: SWAP2
000015e0: SWAP1
000015e1: PUSH2 0x2aca
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH2 0x15ef
000015e9: SWAP2
000015ea: SWAP1
000015eb: PUSH2 0x2ae1
000015ee: JUMP
000015ef: JUMPDEST
000015f0: PUSH1 0x0b
000015f2: SLOAD
000015f3: PUSH2 0x15fc
000015f6: SWAP2
000015f7: SWAP1
000015f8: PUSH2 0x2b03
000015fb: JUMP
000015fc: JUMPDEST
000015fd: SWAP1
000015fe: POP
000015ff: SWAP1
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH1 0x01
00001604: PUSH1 0x01
00001606: PUSH1 0xa0
00001608: SHL
00001609: SUB
0000160a: DUP3
0000160b: AND
0000160c: PUSH1 0x00
0000160e: SWAP1
0000160f: DUP2
00001610: MSTORE
00001611: PUSH1 0x09
00001613: PUSH1 0x20
00001615: MSTORE
00001616: PUSH1 0x40
00001618: DUP2
00001619: KECCAK256
0000161a: PUSH1 0x01
0000161c: DUP2
0000161d: ADD
0000161e: SLOAD
0000161f: PUSH1 0x02
00001621: DUP3
00001622: ADD
00001623: SLOAD
00001624: DUP3
00001625: SLOAD
00001626: PUSH5 0xe8d4a51000
0000162c: SWAP1
0000162d: PUSH2 0x1637
00001630: SWAP1
00001631: DUP8
00001632: SWAP1
00001633: PUSH2 0x2aca
00001636: JUMP
00001637: JUMPDEST
00001638: PUSH2 0x1641
0000163b: SWAP2
0000163c: SWAP1
0000163d: PUSH2 0x2ae1
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH2 0x164b
00001645: SWAP2
00001646: SWAP1
00001647: PUSH2 0x2ab7
0000164a: JUMP
0000164b: JUMPDEST
0000164c: PUSH2 0x1655
0000164f: SWAP2
00001650: SWAP1
00001651: PUSH2 0x2ab7
00001654: JUMP
00001655: JUMPDEST
00001656: SWAP2
00001657: POP
00001658: POP
00001659: JUMPDEST
0000165a: SWAP3
0000165b: SWAP2
0000165c: POP
0000165d: POP
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x02
00001662: PUSH1 0x08
00001664: SLOAD
00001665: SUB
00001666: PUSH2 0x16b1
00001669: JUMPI
0000166a: PUSH1 0x40
0000166c: MLOAD
0000166d: PUSH3 0x461bcd
00001671: PUSH1 0xe5
00001673: SHL
00001674: DUP2
00001675: MSTORE
00001676: PUSH1 0x20
00001678: PUSH1 0x04
0000167a: DUP3
0000167b: ADD
0000167c: MSTORE
0000167d: PUSH1 0x1f
0000167f: PUSH1 0x24
00001681: DUP3
00001682: ADD
00001683: MSTORE
00001684: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000016a5: PUSH1 0x44
000016a7: DUP3
000016a8: ADD
000016a9: MSTORE
000016aa: PUSH1 0x64
000016ac: ADD
000016ad: PUSH2 0x0fa3
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH1 0x02
000016b4: PUSH1 0x08
000016b6: SSTORE
000016b7: JUMP
000016b8: JUMPDEST
000016b9: PUSH1 0x00
000016bb: PUSH2 0x16ef
000016be: PUSH1 0x01
000016c0: PUSH1 0x01
000016c2: PUSH1 0xa0
000016c4: SHL
000016c5: SUB
000016c6: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55
000016e7: AND
000016e8: CALLER
000016e9: ADDRESS
000016ea: DUP9
000016eb: PUSH2 0x20e0
000016ee: JUMP
000016ef: JUMPDEST
000016f0: POP
000016f1: DUP4
000016f2: PUSH1 0x00
000016f4: JUMPDEST
000016f5: DUP4
000016f6: DUP2
000016f7: LT
000016f8: ISZERO
000016f9: PUSH2 0x1aab
000016fc: JUMPI
000016fd: PUSH1 0x01
000016ff: DUP6
00001700: DUP6
00001701: DUP4
00001702: DUP2
00001703: DUP2
00001704: LT
00001705: PUSH2 0x1710
00001708: JUMPI
00001709: PUSH2 0x1710
0000170c: PUSH2 0x2bac
0000170f: JUMP
00001710: JUMPDEST
00001711: SWAP1
00001712: POP
00001713: PUSH1 0x40
00001715: MUL
00001716: ADD
00001717: PUSH1 0x20
00001719: ADD
0000171a: PUSH1 0x20
0000171c: DUP2
0000171d: ADD
0000171e: SWAP1
0000171f: PUSH2 0x1728
00001722: SWAP2
00001723: SWAP1
00001724: PUSH2 0x2c1b
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH1 0x01
0000172b: DUP2
0000172c: GT
0000172d: ISZERO
0000172e: PUSH2 0x1739
00001731: JUMPI
00001732: PUSH2 0x1739
00001735: PUSH2 0x2b16
00001738: JUMP
00001739: JUMPDEST
0000173a: SUB
0000173b: PUSH2 0x187f
0000173e: JUMPI
0000173f: PUSH2 0x1774
00001742: DUP6
00001743: DUP6
00001744: DUP4
00001745: DUP2
00001746: DUP2
00001747: LT
00001748: PUSH2 0x1753
0000174b: JUMPI
0000174c: PUSH2 0x1753
0000174f: PUSH2 0x2bac
00001752: JUMP
00001753: JUMPDEST
00001754: PUSH1 0x40
00001756: SWAP1
00001757: DUP2
00001758: MUL
00001759: SWAP1
0000175a: SWAP3
0000175b: ADD
0000175c: CALLDATALOAD
0000175d: PUSH1 0x00
0000175f: SWAP1
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x07
00001764: DUP8
00001765: ADD
00001766: PUSH1 0x20
00001768: MSTORE
00001769: SWAP2
0000176a: SWAP1
0000176b: SWAP2
0000176c: KECCAK256
0000176d: SLOAD
0000176e: ISZERO
0000176f: ISZERO
00001770: SWAP2
00001771: SWAP1
00001772: POP
00001773: JUMP
00001774: JUMPDEST
00001775: ISZERO
00001776: PUSH2 0x1792
00001779: JUMPI
0000177a: PUSH1 0x40
0000177c: MLOAD
0000177d: PUSH4 0x0a8c3871
00001782: PUSH1 0xe1
00001784: SHL
00001785: DUP2
00001786: MSTORE
00001787: PUSH1 0x04
00001789: ADD
0000178a: PUSH1 0x40
0000178c: MLOAD
0000178d: DUP1
0000178e: SWAP2
0000178f: SUB
00001790: SWAP1
00001791: REVERT
00001792: JUMPDEST
00001793: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee
000017b4: PUSH1 0x01
000017b6: PUSH1 0x01
000017b8: PUSH1 0xa0
000017ba: SHL
000017bb: SUB
000017bc: AND
000017bd: PUSH4 0xf242432a
000017c2: CALLER
000017c3: ADDRESS
000017c4: DUP9
000017c5: DUP9
000017c6: DUP7
000017c7: DUP2
000017c8: DUP2
000017c9: LT
000017ca: PUSH2 0x17d5
000017cd: JUMPI
000017ce: PUSH2 0x17d5
000017d1: PUSH2 0x2bac
000017d4: JUMP
000017d5: JUMPDEST
000017d6: SWAP1
000017d7: POP
000017d8: PUSH1 0x40
000017da: MUL
000017db: ADD
000017dc: PUSH1 0x00
000017de: ADD
000017df: CALLDATALOAD
000017e0: PUSH1 0x01
000017e2: PUSH1 0x40
000017e4: MLOAD
000017e5: DUP6
000017e6: PUSH4 0xffffffff
000017eb: AND
000017ec: PUSH1 0xe0
000017ee: SHL
000017ef: DUP2
000017f0: MSTORE
000017f1: PUSH1 0x04
000017f3: ADD
000017f4: PUSH2 0x1800
000017f7: SWAP5
000017f8: SWAP4
000017f9: SWAP3
000017fa: SWAP2
000017fb: SWAP1
000017fc: PUSH2 0x2be3
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH1 0x00
00001803: PUSH1 0x40
00001805: MLOAD
00001806: DUP1
00001807: DUP4
00001808: SUB
00001809: DUP2
0000180a: PUSH1 0x00
0000180c: DUP8
0000180d: DUP1
0000180e: EXTCODESIZE
0000180f: ISZERO
00001810: DUP1
00001811: ISZERO
00001812: PUSH2 0x181a
00001815: JUMPI
00001816: PUSH1 0x00
00001818: DUP1
00001819: REVERT
0000181a: JUMPDEST
0000181b: POP
0000181c: GAS
0000181d: CALL
0000181e: ISZERO
0000181f: DUP1
00001820: ISZERO
00001821: PUSH2 0x182e
00001824: JUMPI
00001825: RETURNDATASIZE
00001826: PUSH1 0x00
00001828: DUP1
00001829: RETURNDATACOPY
0000182a: RETURNDATASIZE
0000182b: PUSH1 0x00
0000182d: REVERT
0000182e: JUMPDEST
0000182f: POP
00001830: POP
00001831: POP
00001832: POP
00001833: PUSH2 0x187f
00001836: DUP6
00001837: DUP6
00001838: DUP4
00001839: DUP2
0000183a: DUP2
0000183b: LT
0000183c: PUSH2 0x1847
0000183f: JUMPI
00001840: PUSH2 0x1847
00001843: PUSH2 0x2bac
00001846: JUMP
00001847: JUMPDEST
00001848: PUSH1 0x06
0000184a: DUP8
0000184b: ADD
0000184c: SWAP3
0000184d: PUSH1 0x40
0000184f: SWAP1
00001850: SWAP2
00001851: MUL
00001852: ADD
00001853: CALLDATALOAD
00001854: SWAP1
00001855: POP
00001856: DUP2
00001857: SLOAD
00001858: PUSH1 0x01
0000185a: DUP2
0000185b: DUP2
0000185c: ADD
0000185d: DUP5
0000185e: SSTORE
0000185f: PUSH1 0x00
00001861: DUP5
00001862: DUP2
00001863: MSTORE
00001864: PUSH1 0x20
00001866: DUP1
00001867: DUP3
00001868: KECCAK256
00001869: SWAP1
0000186a: SWAP4
0000186b: ADD
0000186c: DUP5
0000186d: SWAP1
0000186e: SSTORE
0000186f: DUP5
00001870: SLOAD
00001871: SWAP4
00001872: DUP2
00001873: MSTORE
00001874: SWAP4
00001875: ADD
00001876: SWAP1
00001877: MSTORE
00001878: PUSH1 0x40
0000187a: SWAP1
0000187b: SWAP2
0000187c: KECCAK256
0000187d: SSTORE
0000187e: JUMP
0000187f: JUMPDEST
00001880: PUSH1 0x00
00001882: DUP6
00001883: DUP6
00001884: DUP4
00001885: DUP2
00001886: DUP2
00001887: LT
00001888: PUSH2 0x1893
0000188b: JUMPI
0000188c: PUSH2 0x1893
0000188f: PUSH2 0x2bac
00001892: JUMP
00001893: JUMPDEST
00001894: SWAP1
00001895: POP
00001896: PUSH1 0x40
00001898: MUL
00001899: ADD
0000189a: PUSH1 0x20
0000189c: ADD
0000189d: PUSH1 0x20
0000189f: DUP2
000018a0: ADD
000018a1: SWAP1
000018a2: PUSH2 0x18ab
000018a5: SWAP2
000018a6: SWAP1
000018a7: PUSH2 0x2c1b
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH1 0x01
000018ae: DUP2
000018af: GT
000018b0: ISZERO
000018b1: PUSH2 0x18bc
000018b4: JUMPI
000018b5: PUSH2 0x18bc
000018b8: PUSH2 0x2b16
000018bb: JUMP
000018bc: JUMPDEST
000018bd: SUB
000018be: PUSH2 0x1a02
000018c1: JUMPI
000018c2: PUSH2 0x18f7
000018c5: DUP6
000018c6: DUP6
000018c7: DUP4
000018c8: DUP2
000018c9: DUP2
000018ca: LT
000018cb: PUSH2 0x18d6
000018ce: JUMPI
000018cf: PUSH2 0x18d6
000018d2: PUSH2 0x2bac
000018d5: JUMP
000018d6: JUMPDEST
000018d7: PUSH1 0x40
000018d9: SWAP1
000018da: DUP2
000018db: MUL
000018dc: SWAP1
000018dd: SWAP3
000018de: ADD
000018df: CALLDATALOAD
000018e0: PUSH1 0x00
000018e2: SWAP1
000018e3: DUP2
000018e4: MSTORE
000018e5: PUSH1 0x05
000018e7: DUP8
000018e8: ADD
000018e9: PUSH1 0x20
000018eb: MSTORE
000018ec: SWAP2
000018ed: SWAP1
000018ee: SWAP2
000018ef: KECCAK256
000018f0: SLOAD
000018f1: ISZERO
000018f2: ISZERO
000018f3: SWAP2
000018f4: SWAP1
000018f5: POP
000018f6: JUMP
000018f7: JUMPDEST
000018f8: ISZERO
000018f9: PUSH2 0x1915
000018fc: JUMPI
000018fd: PUSH1 0x40
000018ff: MLOAD
00001900: PUSH4 0x0a8c3871
00001905: PUSH1 0xe1
00001907: SHL
00001908: DUP2
00001909: MSTORE
0000190a: PUSH1 0x04
0000190c: ADD
0000190d: PUSH1 0x40
0000190f: MLOAD
00001910: DUP1
00001911: SWAP2
00001912: SUB
00001913: SWAP1
00001914: REVERT
00001915: JUMPDEST
00001916: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3
00001937: PUSH1 0x01
00001939: PUSH1 0x01
0000193b: PUSH1 0xa0
0000193d: SHL
0000193e: SUB
0000193f: AND
00001940: PUSH4 0xf242432a
00001945: CALLER
00001946: ADDRESS
00001947: DUP9
00001948: DUP9
00001949: DUP7
0000194a: DUP2
0000194b: DUP2
0000194c: LT
0000194d: PUSH2 0x1958
00001950: JUMPI
00001951: PUSH2 0x1958
00001954: PUSH2 0x2bac
00001957: JUMP
00001958: JUMPDEST
00001959: SWAP1
0000195a: POP
0000195b: PUSH1 0x40
0000195d: MUL
0000195e: ADD
0000195f: PUSH1 0x00
00001961: ADD
00001962: CALLDATALOAD
00001963: PUSH1 0x01
00001965: PUSH1 0x40
00001967: MLOAD
00001968: DUP6
00001969: PUSH4 0xffffffff
0000196e: AND
0000196f: PUSH1 0xe0
00001971: SHL
00001972: DUP2
00001973: MSTORE
00001974: PUSH1 0x04
00001976: ADD
00001977: PUSH2 0x1983
0000197a: SWAP5
0000197b: SWAP4
0000197c: SWAP3
0000197d: SWAP2
0000197e: SWAP1
0000197f: PUSH2 0x2be3
00001982: JUMP
00001983: JUMPDEST
00001984: PUSH1 0x00
00001986: PUSH1 0x40
00001988: MLOAD
00001989: DUP1
0000198a: DUP4
0000198b: SUB
0000198c: DUP2
0000198d: PUSH1 0x00
0000198f: DUP8
00001990: DUP1
00001991: EXTCODESIZE
00001992: ISZERO
00001993: DUP1
00001994: ISZERO
00001995: PUSH2 0x199d
00001998: JUMPI
00001999: PUSH1 0x00
0000199b: DUP1
0000199c: REVERT
0000199d: JUMPDEST
0000199e: POP
0000199f: GAS
000019a0: CALL
000019a1: ISZERO
000019a2: DUP1
000019a3: ISZERO
000019a4: PUSH2 0x19b1
000019a7: JUMPI
000019a8: RETURNDATASIZE
000019a9: PUSH1 0x00
000019ab: DUP1
000019ac: RETURNDATACOPY
000019ad: RETURNDATASIZE
000019ae: PUSH1 0x00
000019b0: REVERT
000019b1: JUMPDEST
000019b2: POP
000019b3: POP
000019b4: POP
000019b5: POP
000019b6: PUSH2 0x1a02
000019b9: DUP6
000019ba: DUP6
000019bb: DUP4
000019bc: DUP2
000019bd: DUP2
000019be: LT
000019bf: PUSH2 0x19ca
000019c2: JUMPI
000019c3: PUSH2 0x19ca
000019c6: PUSH2 0x2bac
000019c9: JUMP
000019ca: JUMPDEST
000019cb: PUSH1 0x04
000019cd: DUP8
000019ce: ADD
000019cf: SWAP3
000019d0: PUSH1 0x40
000019d2: SWAP1
000019d3: SWAP2
000019d4: MUL
000019d5: ADD
000019d6: CALLDATALOAD
000019d7: SWAP1
000019d8: POP
000019d9: DUP2
000019da: SLOAD
000019db: PUSH1 0x01
000019dd: DUP2
000019de: DUP2
000019df: ADD
000019e0: DUP5
000019e1: SSTORE
000019e2: PUSH1 0x00
000019e4: DUP5
000019e5: DUP2
000019e6: MSTORE
000019e7: PUSH1 0x20
000019e9: DUP1
000019ea: DUP3
000019eb: KECCAK256
000019ec: SWAP1
000019ed: SWAP4
000019ee: ADD
000019ef: DUP5
000019f0: SWAP1
000019f1: SSTORE
000019f2: DUP5
000019f3: SLOAD
000019f4: SWAP4
000019f5: DUP2
000019f6: MSTORE
000019f7: SWAP4
000019f8: ADD
000019f9: SWAP1
000019fa: MSTORE
000019fb: PUSH1 0x40
000019fd: SWAP1
000019fe: SWAP2
000019ff: KECCAK256
00001a00: SSTORE
00001a01: JUMP
00001a02: JUMPDEST
00001a03: PUSH1 0x00
00001a05: PUSH1 0x80
00001a07: DUP7
00001a08: DUP7
00001a09: DUP5
00001a0a: DUP2
00001a0b: DUP2
00001a0c: LT
00001a0d: PUSH2 0x1a18
00001a10: JUMPI
00001a11: PUSH2 0x1a18
00001a14: PUSH2 0x2bac
00001a17: JUMP
00001a18: JUMPDEST
00001a19: SWAP1
00001a1a: POP
00001a1b: PUSH1 0x40
00001a1d: MUL
00001a1e: ADD
00001a1f: PUSH1 0x00
00001a21: ADD
00001a22: CALLDATALOAD
00001a23: SWAP1
00001a24: SHR
00001a25: SWAP1
00001a26: POP
00001a27: PUSH1 0x06
00001a29: PUSH1 0x00
00001a2b: DUP8
00001a2c: DUP8
00001a2d: DUP6
00001a2e: DUP2
00001a2f: DUP2
00001a30: LT
00001a31: PUSH2 0x1a3c
00001a34: JUMPI
00001a35: PUSH2 0x1a3c
00001a38: PUSH2 0x2bac
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: SWAP1
00001a3e: POP
00001a3f: PUSH1 0x40
00001a41: MUL
00001a42: ADD
00001a43: PUSH1 0x20
00001a45: ADD
00001a46: PUSH1 0x20
00001a48: DUP2
00001a49: ADD
00001a4a: SWAP1
00001a4b: PUSH2 0x1a54
00001a4e: SWAP2
00001a4f: SWAP1
00001a50: PUSH2 0x2c1b
00001a53: JUMP
00001a54: JUMPDEST
00001a55: PUSH1 0x01
00001a57: DUP2
00001a58: GT
00001a59: ISZERO
00001a5a: PUSH2 0x1a65
00001a5d: JUMPI
00001a5e: PUSH2 0x1a65
00001a61: PUSH2 0x2b16
00001a64: JUMP
00001a65: JUMPDEST
00001a66: PUSH1 0x01
00001a68: DUP2
00001a69: GT
00001a6a: ISZERO
00001a6b: PUSH2 0x1a76
00001a6e: JUMPI
00001a6f: PUSH2 0x1a76
00001a72: PUSH2 0x2b16
00001a75: JUMP
00001a76: JUMPDEST
00001a77: DUP2
00001a78: MSTORE
00001a79: PUSH1 0x20
00001a7b: DUP1
00001a7c: DUP3
00001a7d: ADD
00001a7e: SWAP3
00001a7f: SWAP1
00001a80: SWAP3
00001a81: MSTORE
00001a82: PUSH1 0x40
00001a84: SWAP1
00001a85: DUP2
00001a86: ADD
00001a87: PUSH1 0x00
00001a89: SWAP1
00001a8a: DUP2
00001a8b: KECCAK256
00001a8c: SWAP4
00001a8d: DUP2
00001a8e: MSTORE
00001a8f: SWAP3
00001a90: SWAP1
00001a91: SWAP2
00001a92: MSTORE
00001a93: SWAP1
00001a94: KECCAK256
00001a95: SLOAD
00001a96: PUSH1 0x01
00001a98: PUSH1 0x01
00001a9a: PUSH1 0x80
00001a9c: SHL
00001a9d: SUB
00001a9e: AND
00001a9f: SWAP2
00001aa0: SWAP1
00001aa1: SWAP2
00001aa2: ADD
00001aa3: SWAP1
00001aa4: PUSH1 0x01
00001aa6: ADD
00001aa7: PUSH2 0x16f4
00001aaa: JUMP
00001aab: JUMPDEST
00001aac: POP
00001aad: SWAP5
00001aae: SWAP4
00001aaf: POP
00001ab0: POP
00001ab1: POP
00001ab2: POP
00001ab3: JUMP
00001ab4: JUMPDEST
00001ab5: PUSH1 0x00
00001ab7: PUSH2 0x1abe
00001aba: PUSH2 0x15a7
00001abd: JUMP
00001abe: JUMPDEST
00001abf: SWAP1
00001ac0: POP
00001ac1: PUSH1 0x0c
00001ac3: SLOAD
00001ac4: DUP2
00001ac5: GT
00001ac6: ISZERO
00001ac7: PUSH2 0x15a4
00001aca: JUMPI
00001acb: PUSH1 0x00
00001acd: PUSH1 0x0c
00001acf: SLOAD
00001ad0: DUP3
00001ad1: PUSH2 0x1ada
00001ad4: SWAP2
00001ad5: SWAP1
00001ad6: PUSH2 0x2ab7
00001ad9: JUMP
00001ada: JUMPDEST
00001adb: PUSH1 0x0f
00001add: SLOAD
00001ade: SWAP1
00001adf: SWAP2
00001ae0: POP
00001ae1: ISZERO
00001ae2: PUSH2 0x1b18
00001ae5: JUMPI
00001ae6: PUSH1 0x0f
00001ae8: SLOAD
00001ae9: PUSH2 0x1af7
00001aec: PUSH5 0xe8d4a51000
00001af2: DUP4
00001af3: PUSH2 0x2aca
00001af6: JUMP
00001af7: JUMPDEST
00001af8: PUSH2 0x1b01
00001afb: SWAP2
00001afc: SWAP1
00001afd: PUSH2 0x2ae1
00001b00: JUMP
00001b01: JUMPDEST
00001b02: PUSH1 0x0e
00001b04: PUSH1 0x00
00001b06: DUP3
00001b07: DUP3
00001b08: SLOAD
00001b09: PUSH2 0x1b12
00001b0c: SWAP2
00001b0d: SWAP1
00001b0e: PUSH2 0x2b03
00001b11: JUMP
00001b12: JUMPDEST
00001b13: SWAP1
00001b14: SWAP2
00001b15: SSTORE
00001b16: POP
00001b17: POP
00001b18: JUMPDEST
00001b19: DUP1
00001b1a: PUSH1 0x0c
00001b1c: PUSH1 0x00
00001b1e: DUP3
00001b1f: DUP3
00001b20: SLOAD
00001b21: PUSH2 0x1b2a
00001b24: SWAP2
00001b25: SWAP1
00001b26: PUSH2 0x2b03
00001b29: JUMP
00001b2a: JUMPDEST
00001b2b: SWAP1
00001b2c: SWAP2
00001b2d: SSTORE
00001b2e: POP
00001b2f: POP
00001b30: POP
00001b31: POP
00001b32: JUMP
00001b33: JUMPDEST
00001b34: PUSH1 0x01
00001b36: PUSH1 0x01
00001b38: PUSH1 0xa0
00001b3a: SHL
00001b3b: SUB
00001b3c: DUP4
00001b3d: AND
00001b3e: PUSH1 0x00
00001b40: SWAP1
00001b41: DUP2
00001b42: MSTORE
00001b43: PUSH1 0x01
00001b45: PUSH1 0x20
00001b47: SWAP1
00001b48: DUP2
00001b49: MSTORE
00001b4a: PUSH1 0x40
00001b4c: DUP1
00001b4d: DUP4
00001b4e: KECCAK256
00001b4f: DUP6
00001b50: DUP5
00001b51: MSTORE
00001b52: DUP3
00001b53: MSTORE
00001b54: DUP1
00001b55: DUP4
00001b56: KECCAK256
00001b57: DUP5
00001b58: DUP5
00001b59: MSTORE
00001b5a: SWAP1
00001b5b: SWAP2
00001b5c: MSTORE
00001b5d: SWAP1
00001b5e: KECCAK256
00001b5f: SLOAD
00001b60: TIMESTAMP
00001b61: LT
00001b62: SWAP4
00001b63: SWAP3
00001b64: POP
00001b65: POP
00001b66: POP
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH2 0x1b70
00001b6c: PUSH2 0x1ab4
00001b6f: JUMP
00001b70: JUMPDEST
00001b71: PUSH1 0x00
00001b73: PUSH2 0x1b7e
00001b76: CALLER
00001b77: PUSH1 0x0e
00001b79: SLOAD
00001b7a: PUSH2 0x1601
00001b7d: JUMP
00001b7e: JUMPDEST
00001b7f: SWAP1
00001b80: POP
00001b81: DUP1
00001b82: PUSH1 0x00
00001b84: SUB
00001b85: PUSH2 0x1b8b
00001b88: JUMPI
00001b89: POP
00001b8a: JUMP
00001b8b: JUMPDEST
00001b8c: PUSH1 0x40
00001b8e: MLOAD
00001b8f: PUSH1 0x00
00001b91: SWAP1
00001b92: CALLER
00001b93: SWAP1
00001b94: DUP4
00001b95: SWAP1
00001b96: DUP4
00001b97: DUP2
00001b98: DUP2
00001b99: DUP2
00001b9a: DUP6
00001b9b: DUP8
00001b9c: GAS
00001b9d: CALL
00001b9e: SWAP3
00001b9f: POP
00001ba0: POP
00001ba1: POP
00001ba2: RETURNDATASIZE
00001ba3: DUP1
00001ba4: PUSH1 0x00
00001ba6: DUP2
00001ba7: EQ
00001ba8: PUSH2 0x1bcd
00001bab: JUMPI
00001bac: PUSH1 0x40
00001bae: MLOAD
00001baf: SWAP2
00001bb0: POP
00001bb1: PUSH1 0x1f
00001bb3: NOT
00001bb4: PUSH1 0x3f
00001bb6: RETURNDATASIZE
00001bb7: ADD
00001bb8: AND
00001bb9: DUP3
00001bba: ADD
00001bbb: PUSH1 0x40
00001bbd: MSTORE
00001bbe: RETURNDATASIZE
00001bbf: DUP3
00001bc0: MSTORE
00001bc1: RETURNDATASIZE
00001bc2: PUSH1 0x00
00001bc4: PUSH1 0x20
00001bc6: DUP5
00001bc7: ADD
00001bc8: RETURNDATACOPY
00001bc9: PUSH2 0x1bd2
00001bcc: JUMP
00001bcd: JUMPDEST
00001bce: PUSH1 0x60
00001bd0: SWAP2
00001bd1: POP
00001bd2: JUMPDEST
00001bd3: POP
00001bd4: POP
00001bd5: SWAP1
00001bd6: POP
00001bd7: DUP1
00001bd8: PUSH2 0x1bf4
00001bdb: JUMPI
00001bdc: PUSH1 0x40
00001bde: MLOAD
00001bdf: PUSH4 0x09260951
00001be4: PUSH1 0xe3
00001be6: SHL
00001be7: DUP2
00001be8: MSTORE
00001be9: PUSH1 0x04
00001beb: ADD
00001bec: PUSH1 0x40
00001bee: MLOAD
00001bef: DUP1
00001bf0: SWAP2
00001bf1: SUB
00001bf2: SWAP1
00001bf3: REVERT
00001bf4: JUMPDEST
00001bf5: CALLER
00001bf6: PUSH1 0x00
00001bf8: DUP2
00001bf9: DUP2
00001bfa: MSTORE
00001bfb: PUSH1 0x09
00001bfd: PUSH1 0x20
00001bff: MSTORE
00001c00: PUSH1 0x40
00001c02: SWAP1
00001c03: DUP2
00001c04: SWAP1
00001c05: KECCAK256
00001c06: PUSH1 0x02
00001c08: ADD
00001c09: DUP1
00001c0a: SLOAD
00001c0b: DUP6
00001c0c: ADD
00001c0d: SWAP1
00001c0e: SSTORE
00001c0f: MLOAD
00001c10: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4
00001c31: SWAP1
00001c32: PUSH2 0x1c3e
00001c35: SWAP1
00001c36: DUP6
00001c37: DUP2
00001c38: MSTORE
00001c39: PUSH1 0x20
00001c3b: ADD
00001c3c: SWAP1
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: PUSH1 0x40
00001c41: MLOAD
00001c42: DUP1
00001c43: SWAP2
00001c44: SUB
00001c45: SWAP1
00001c46: LOG2
00001c47: POP
00001c48: POP
00001c49: JUMP
00001c4a: JUMPDEST
00001c4b: PUSH1 0x00
00001c4d: SLOAD
00001c4e: PUSH1 0x01
00001c50: PUSH1 0x01
00001c52: PUSH1 0xa0
00001c54: SHL
00001c55: SUB
00001c56: AND
00001c57: CALLER
00001c58: EQ
00001c59: PUSH2 0x099f
00001c5c: JUMPI
00001c5d: PUSH1 0x40
00001c5f: MLOAD
00001c60: PUSH3 0x461bcd
00001c64: PUSH1 0xe5
00001c66: SHL
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x20
00001c6b: PUSH1 0x04
00001c6d: DUP3
00001c6e: ADD
00001c6f: DUP2
00001c70: SWAP1
00001c71: MSTORE
00001c72: PUSH1 0x24
00001c74: DUP3
00001c75: ADD
00001c76: MSTORE
00001c77: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001c98: PUSH1 0x44
00001c9a: DUP3
00001c9b: ADD
00001c9c: MSTORE
00001c9d: PUSH1 0x64
00001c9f: ADD
00001ca0: PUSH2 0x0fa3
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: PUSH1 0x00
00001ca7: DUP1
00001ca8: SLOAD
00001ca9: PUSH1 0x01
00001cab: PUSH1 0x01
00001cad: PUSH1 0xa0
00001caf: SHL
00001cb0: SUB
00001cb1: DUP4
00001cb2: DUP2
00001cb3: AND
00001cb4: PUSH1 0x01
00001cb6: PUSH1 0x01
00001cb8: PUSH1 0xa0
00001cba: SHL
00001cbb: SUB
00001cbc: NOT
00001cbd: DUP4
00001cbe: AND
00001cbf: DUP2
00001cc0: OR
00001cc1: DUP5
00001cc2: SSTORE
00001cc3: PUSH1 0x40
00001cc5: MLOAD
00001cc6: SWAP2
00001cc7: SWAP1
00001cc8: SWAP3
00001cc9: AND
00001cca: SWAP3
00001ccb: DUP4
00001ccc: SWAP2
00001ccd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001cee: SWAP2
00001cef: SWAP1
00001cf0: LOG3
00001cf1: POP
00001cf2: POP
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: PUSH1 0x00
00001cf7: DUP2
00001cf8: PUSH1 0x03
00001cfa: ADD
00001cfb: SLOAD
00001cfc: DUP6
00001cfd: GT
00001cfe: ISZERO
00001cff: PUSH2 0x1d1b
00001d02: JUMPI
00001d03: PUSH1 0x40
00001d05: MLOAD
00001d06: PUSH4 0x51819b2b
00001d0b: PUSH1 0xe0
00001d0d: SHL
00001d0e: DUP2
00001d0f: MSTORE
00001d10: PUSH1 0x04
00001d12: ADD
00001d13: PUSH1 0x40
00001d15: MLOAD
00001d16: DUP1
00001d17: SWAP2
00001d18: SUB
00001d19: SWAP1
00001d1a: REVERT
00001d1b: JUMPDEST
00001d1c: PUSH2 0x1d4f
00001d1f: PUSH1 0x01
00001d21: PUSH1 0x01
00001d23: PUSH1 0xa0
00001d25: SHL
00001d26: SUB
00001d27: PUSH32 0x000000000000000000000000e53ec727dbdeb9e2d5456c3be40cff031ab40a55
00001d48: AND
00001d49: CALLER
00001d4a: DUP8
00001d4b: PUSH2 0x207d
00001d4e: JUMP
00001d4f: JUMPDEST
00001d50: POP
00001d51: DUP4
00001d52: PUSH1 0x00
00001d54: JUMPDEST
00001d55: DUP4
00001d56: DUP2
00001d57: LT
00001d58: ISZERO
00001d59: PUSH2 0x1aab
00001d5c: JUMPI
00001d5d: PUSH1 0x01
00001d5f: DUP6
00001d60: DUP6
00001d61: DUP4
00001d62: DUP2
00001d63: DUP2
00001d64: LT
00001d65: PUSH2 0x1d70
00001d68: JUMPI
00001d69: PUSH2 0x1d70
00001d6c: PUSH2 0x2bac
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: SWAP1
00001d72: POP
00001d73: PUSH1 0x40
00001d75: MUL
00001d76: ADD
00001d77: PUSH1 0x20
00001d79: ADD
00001d7a: PUSH1 0x20
00001d7c: DUP2
00001d7d: ADD
00001d7e: SWAP1
00001d7f: PUSH2 0x1d88
00001d82: SWAP2
00001d83: SWAP1
00001d84: PUSH2 0x2c1b
00001d87: JUMP
00001d88: JUMPDEST
00001d89: PUSH1 0x01
00001d8b: DUP2
00001d8c: GT
00001d8d: ISZERO
00001d8e: PUSH2 0x1d99
00001d91: JUMPI
00001d92: PUSH2 0x1d99
00001d95: PUSH2 0x2b16
00001d98: JUMP
00001d99: JUMPDEST
00001d9a: SUB
00001d9b: PUSH2 0x1e98
00001d9e: JUMPI
00001d9f: PUSH2 0x1db3
00001da2: DUP6
00001da3: DUP6
00001da4: DUP4
00001da5: DUP2
00001da6: DUP2
00001da7: LT
00001da8: PUSH2 0x1753
00001dab: JUMPI
00001dac: PUSH2 0x1753
00001daf: PUSH2 0x2bac
00001db2: JUMP
00001db3: JUMPDEST
00001db4: PUSH2 0x1dd0
00001db7: JUMPI
00001db8: PUSH1 0x40
00001dba: MLOAD
00001dbb: PUSH4 0xd3ed043d
00001dc0: PUSH1 0xe0
00001dc2: SHL
00001dc3: DUP2
00001dc4: MSTORE
00001dc5: PUSH1 0x04
00001dc7: ADD
00001dc8: PUSH1 0x40
00001dca: MLOAD
00001dcb: DUP1
00001dcc: SWAP2
00001dcd: SUB
00001dce: SWAP1
00001dcf: REVERT
00001dd0: JUMPDEST
00001dd1: PUSH32 0x000000000000000000000000e4597f9182ba947f7f3bf8cbc6562285751d5aee
00001df2: PUSH1 0x01
00001df4: PUSH1 0x01
00001df6: PUSH1 0xa0
00001df8: SHL
00001df9: SUB
00001dfa: AND
00001dfb: PUSH4 0xf242432a
00001e00: ADDRESS
00001e01: CALLER
00001e02: DUP9
00001e03: DUP9
00001e04: DUP7
00001e05: DUP2
00001e06: DUP2
00001e07: LT
00001e08: PUSH2 0x1e13
00001e0b: JUMPI
00001e0c: PUSH2 0x1e13
00001e0f: PUSH2 0x2bac
00001e12: JUMP
00001e13: JUMPDEST
00001e14: SWAP1
00001e15: POP
00001e16: PUSH1 0x40
00001e18: MUL
00001e19: ADD
00001e1a: PUSH1 0x00
00001e1c: ADD
00001e1d: CALLDATALOAD
00001e1e: PUSH1 0x01
00001e20: PUSH1 0x40
00001e22: MLOAD
00001e23: DUP6
00001e24: PUSH4 0xffffffff
00001e29: AND
00001e2a: PUSH1 0xe0
00001e2c: SHL
00001e2d: DUP2
00001e2e: MSTORE
00001e2f: PUSH1 0x04
00001e31: ADD
00001e32: PUSH2 0x1e3e
00001e35: SWAP5
00001e36: SWAP4
00001e37: SWAP3
00001e38: SWAP2
00001e39: SWAP1
00001e3a: PUSH2 0x2be3
00001e3d: JUMP
00001e3e: JUMPDEST
00001e3f: PUSH1 0x00
00001e41: PUSH1 0x40
00001e43: MLOAD
00001e44: DUP1
00001e45: DUP4
00001e46: SUB
00001e47: DUP2
00001e48: PUSH1 0x00
00001e4a: DUP8
00001e4b: DUP1
00001e4c: EXTCODESIZE
00001e4d: ISZERO
00001e4e: DUP1
00001e4f: ISZERO
00001e50: PUSH2 0x1e58
00001e53: JUMPI
00001e54: PUSH1 0x00
00001e56: DUP1
00001e57: REVERT
00001e58: JUMPDEST
00001e59: POP
00001e5a: GAS
00001e5b: CALL
00001e5c: ISZERO
00001e5d: DUP1
00001e5e: ISZERO
00001e5f: PUSH2 0x1e6c
00001e62: JUMPI
00001e63: RETURNDATASIZE
00001e64: PUSH1 0x00
00001e66: DUP1
00001e67: RETURNDATACOPY
00001e68: RETURNDATASIZE
00001e69: PUSH1 0x00
00001e6b: REVERT
00001e6c: JUMPDEST
00001e6d: POP
00001e6e: POP
00001e6f: POP
00001e70: POP
00001e71: PUSH2 0x1e98
00001e74: DUP6
00001e75: DUP6
00001e76: DUP4
00001e77: DUP2
00001e78: DUP2
00001e79: LT
00001e7a: PUSH2 0x1e85
00001e7d: JUMPI
00001e7e: PUSH2 0x1e85
00001e81: PUSH2 0x2bac
00001e84: JUMP
00001e85: JUMPDEST
00001e86: PUSH1 0x06
00001e88: DUP8
00001e89: ADD
00001e8a: SWAP3
00001e8b: PUSH1 0x40
00001e8d: SWAP1
00001e8e: SWAP2
00001e8f: MUL
00001e90: ADD
00001e91: CALLDATALOAD
00001e92: SWAP1
00001e93: POP
00001e94: PUSH2 0x2118
00001e97: JUMP
00001e98: JUMPDEST
00001e99: PUSH1 0x00
00001e9b: DUP6
00001e9c: DUP6
00001e9d: DUP4
00001e9e: DUP2
00001e9f: DUP2
00001ea0: LT
00001ea1: PUSH2 0x1eac
00001ea4: JUMPI
00001ea5: PUSH2 0x1eac
00001ea8: PUSH2 0x2bac
00001eab: JUMP
00001eac: JUMPDEST
00001ead: SWAP1
00001eae: POP
00001eaf: PUSH1 0x40
00001eb1: MUL
00001eb2: ADD
00001eb3: PUSH1 0x20
00001eb5: ADD
00001eb6: PUSH1 0x20
00001eb8: DUP2
00001eb9: ADD
00001eba: SWAP1
00001ebb: PUSH2 0x1ec4
00001ebe: SWAP2
00001ebf: SWAP1
00001ec0: PUSH2 0x2c1b
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH1 0x01
00001ec7: DUP2
00001ec8: GT
00001ec9: ISZERO
00001eca: PUSH2 0x1ed5
00001ecd: JUMPI
00001ece: PUSH2 0x1ed5
00001ed1: PUSH2 0x2b16
00001ed4: JUMP
00001ed5: JUMPDEST
00001ed6: SUB
00001ed7: PUSH2 0x1fd4
00001eda: JUMPI
00001edb: PUSH2 0x1eef
00001ede: DUP6
00001edf: DUP6
00001ee0: DUP4
00001ee1: DUP2
00001ee2: DUP2
00001ee3: LT
00001ee4: PUSH2 0x18d6
00001ee7: JUMPI
00001ee8: PUSH2 0x18d6
00001eeb: PUSH2 0x2bac
00001eee: JUMP
00001eef: JUMPDEST
00001ef0: PUSH2 0x1f0c
00001ef3: JUMPI
00001ef4: PUSH1 0x40
00001ef6: MLOAD
00001ef7: PUSH4 0xd3ed043d
00001efc: PUSH1 0xe0
00001efe: SHL
00001eff: DUP2
00001f00: MSTORE
00001f01: PUSH1 0x04
00001f03: ADD
00001f04: PUSH1 0x40
00001f06: MLOAD
00001f07: DUP1
00001f08: SWAP2
00001f09: SUB
00001f0a: SWAP1
00001f0b: REVERT
00001f0c: JUMPDEST
00001f0d: PUSH32 0x000000000000000000000000afb44cef938b1be600a4331bf9904f6cec2fcac3
00001f2e: PUSH1 0x01
00001f30: PUSH1 0x01
00001f32: PUSH1 0xa0
00001f34: SHL
00001f35: SUB
00001f36: AND
00001f37: PUSH4 0xf242432a
00001f3c: ADDRESS
00001f3d: CALLER
00001f3e: DUP9
00001f3f: DUP9
00001f40: DUP7
00001f41: DUP2
00001f42: DUP2
00001f43: LT
00001f44: PUSH2 0x1f4f
00001f47: JUMPI
00001f48: PUSH2 0x1f4f
00001f4b: PUSH2 0x2bac
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: SWAP1
00001f51: POP
00001f52: PUSH1 0x40
00001f54: MUL
00001f55: ADD
00001f56: PUSH1 0x00
00001f58: ADD
00001f59: CALLDATALOAD
00001f5a: PUSH1 0x01
00001f5c: PUSH1 0x40
00001f5e: MLOAD
00001f5f: DUP6
00001f60: PUSH4 0xffffffff
00001f65: AND
00001f66: PUSH1 0xe0
00001f68: SHL
00001f69: DUP2
00001f6a: MSTORE
00001f6b: PUSH1 0x04
00001f6d: ADD
00001f6e: PUSH2 0x1f7a
00001f71: SWAP5
00001f72: SWAP4
00001f73: SWAP3
00001f74: SWAP2
00001f75: SWAP1
00001f76: PUSH2 0x2be3
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: PUSH1 0x00
00001f7d: PUSH1 0x40
00001f7f: MLOAD
00001f80: DUP1
00001f81: DUP4
00001f82: SUB
00001f83: DUP2
00001f84: PUSH1 0x00
00001f86: DUP8
00001f87: DUP1
00001f88: EXTCODESIZE
00001f89: ISZERO
00001f8a: DUP1
00001f8b: ISZERO
00001f8c: PUSH2 0x1f94
00001f8f: JUMPI
00001f90: PUSH1 0x00
00001f92: DUP1
00001f93: REVERT
00001f94: JUMPDEST
00001f95: POP
00001f96: GAS
00001f97: CALL
00001f98: ISZERO
00001f99: DUP1
00001f9a: ISZERO
00001f9b: PUSH2 0x1fa8
00001f9e: JUMPI
00001f9f: RETURNDATASIZE
00001fa0: PUSH1 0x00
00001fa2: DUP1
00001fa3: RETURNDATACOPY
00001fa4: RETURNDATASIZE
00001fa5: PUSH1 0x00
00001fa7: REVERT
00001fa8: JUMPDEST
00001fa9: POP
00001faa: POP
00001fab: POP
00001fac: POP
00001fad: PUSH2 0x1fd4
00001fb0: DUP6
00001fb1: DUP6
00001fb2: DUP4
00001fb3: DUP2
00001fb4: DUP2
00001fb5: LT
00001fb6: PUSH2 0x1fc1
00001fb9: JUMPI
00001fba: PUSH2 0x1fc1
00001fbd: PUSH2 0x2bac
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH1 0x04
00001fc4: DUP8
00001fc5: ADD
00001fc6: SWAP3
00001fc7: PUSH1 0x40
00001fc9: SWAP1
00001fca: SWAP2
00001fcb: MUL
00001fcc: ADD
00001fcd: CALLDATALOAD
00001fce: SWAP1
00001fcf: POP
00001fd0: PUSH2 0x2118
00001fd3: JUMP
00001fd4: JUMPDEST
00001fd5: PUSH1 0x00
00001fd7: PUSH1 0x80
00001fd9: DUP7
00001fda: DUP7
00001fdb: DUP5
00001fdc: DUP2
00001fdd: DUP2
00001fde: LT
00001fdf: PUSH2 0x1fea
00001fe2: JUMPI
00001fe3: PUSH2 0x1fea
00001fe6: PUSH2 0x2bac
00001fe9: JUMP
00001fea: JUMPDEST
00001feb: SWAP1
00001fec: POP
00001fed: PUSH1 0x40
00001fef: MUL
00001ff0: ADD
00001ff1: PUSH1 0x00
00001ff3: ADD
00001ff4: CALLDATALOAD
00001ff5: SWAP1
00001ff6: SHR
00001ff7: SWAP1
00001ff8: POP
00001ff9: PUSH1 0x06
00001ffb: PUSH1 0x00
00001ffd: DUP8
00001ffe: DUP8
00001fff: DUP6
00002000: DUP2
00002001: DUP2
00002002: LT
00002003: PUSH2 0x200e
00002006: JUMPI
00002007: PUSH2 0x200e
0000200a: PUSH2 0x2bac
0000200d: JUMP
0000200e: JUMPDEST
0000200f: SWAP1
00002010: POP
00002011: PUSH1 0x40
00002013: MUL
00002014: ADD
00002015: PUSH1 0x20
00002017: ADD
00002018: PUSH1 0x20
0000201a: DUP2
0000201b: ADD
0000201c: SWAP1
0000201d: PUSH2 0x2026
00002020: SWAP2
00002021: SWAP1
00002022: PUSH2 0x2c1b
00002025: JUMP
00002026: JUMPDEST
00002027: PUSH1 0x01
00002029: DUP2
0000202a: GT
0000202b: ISZERO
0000202c: PUSH2 0x2037
0000202f: JUMPI
00002030: PUSH2 0x2037
00002033: PUSH2 0x2b16
00002036: JUMP
00002037: JUMPDEST
00002038: PUSH1 0x01
0000203a: DUP2
0000203b: GT
0000203c: ISZERO
0000203d: PUSH2 0x2048
00002040: JUMPI
00002041: PUSH2 0x2048
00002044: PUSH2 0x2b16
00002047: JUMP
00002048: JUMPDEST
00002049: DUP2
0000204a: MSTORE
0000204b: PUSH1 0x20
0000204d: DUP1
0000204e: DUP3
0000204f: ADD
00002050: SWAP3
00002051: SWAP1
00002052: SWAP3
00002053: MSTORE
00002054: PUSH1 0x40
00002056: SWAP1
00002057: DUP2
00002058: ADD
00002059: PUSH1 0x00
0000205b: SWAP1
0000205c: DUP2
0000205d: KECCAK256
0000205e: SWAP4
0000205f: DUP2
00002060: MSTORE
00002061: SWAP3
00002062: SWAP1
00002063: SWAP2
00002064: MSTORE
00002065: SWAP1
00002066: KECCAK256
00002067: SLOAD
00002068: PUSH1 0x01
0000206a: PUSH1 0x01
0000206c: PUSH1 0x80
0000206e: SHL
0000206f: SUB
00002070: AND
00002071: SWAP2
00002072: SWAP1
00002073: SWAP2
00002074: ADD
00002075: SWAP1
00002076: PUSH1 0x01
00002078: ADD
00002079: PUSH2 0x1d54
0000207c: JUMP
0000207d: JUMPDEST
0000207e: PUSH1 0x40
00002080: MLOAD
00002081: PUSH1 0x01
00002083: PUSH1 0x01
00002085: PUSH1 0xa0
00002087: SHL
00002088: SUB
00002089: DUP4
0000208a: AND
0000208b: PUSH1 0x24
0000208d: DUP3
0000208e: ADD
0000208f: MSTORE
00002090: PUSH1 0x44
00002092: DUP2
00002093: ADD
00002094: DUP3
00002095: SWAP1
00002096: MSTORE
00002097: PUSH2 0x0e19
0000209a: SWAP1
0000209b: DUP5
0000209c: SWAP1
0000209d: PUSH4 0xa9059cbb
000020a2: PUSH1 0xe0
000020a4: SHL
000020a5: SWAP1
000020a6: PUSH1 0x64
000020a8: ADD
000020a9: JUMPDEST
000020aa: PUSH1 0x40
000020ac: DUP1
000020ad: MLOAD
000020ae: PUSH1 0x1f
000020b0: NOT
000020b1: DUP2
000020b2: DUP5
000020b3: SUB
000020b4: ADD
000020b5: DUP2
000020b6: MSTORE
000020b7: SWAP2
000020b8: SWAP1
000020b9: MSTORE
000020ba: PUSH1 0x20
000020bc: DUP2
000020bd: ADD
000020be: DUP1
000020bf: MLOAD
000020c0: PUSH1 0x01
000020c2: PUSH1 0x01
000020c4: PUSH1 0xe0
000020c6: SHL
000020c7: SUB
000020c8: AND
000020c9: PUSH1 0x01
000020cb: PUSH1 0x01
000020cd: PUSH1 0xe0
000020cf: SHL
000020d0: SUB
000020d1: NOT
000020d2: SWAP1
000020d3: SWAP4
000020d4: AND
000020d5: SWAP3
000020d6: SWAP1
000020d7: SWAP3
000020d8: OR
000020d9: SWAP1
000020da: SWAP2
000020db: MSTORE
000020dc: PUSH2 0x21fb
000020df: JUMP
000020e0: JUMPDEST
000020e1: PUSH1 0x40
000020e3: MLOAD
000020e4: PUSH1 0x01
000020e6: PUSH1 0x01
000020e8: PUSH1 0xa0
000020ea: SHL
000020eb: SUB
000020ec: DUP1
000020ed: DUP6
000020ee: AND
000020ef: PUSH1 0x24
000020f1: DUP4
000020f2: ADD
000020f3: MSTORE
000020f4: DUP4
000020f5: AND
000020f6: PUSH1 0x44
000020f8: DUP3
000020f9: ADD
000020fa: MSTORE
000020fb: PUSH1 0x64
000020fd: DUP2
000020fe: ADD
000020ff: DUP3
00002100: SWAP1
00002101: MSTORE
00002102: PUSH2 0x08e4
00002105: SWAP1
00002106: DUP6
00002107: SWAP1
00002108: PUSH4 0x23b872dd
0000210d: PUSH1 0xe0
0000210f: SHL
00002110: SWAP1
00002111: PUSH1 0x84
00002113: ADD
00002114: PUSH2 0x20a9
00002117: JUMP
00002118: JUMPDEST
00002119: PUSH1 0x00
0000211b: DUP2
0000211c: DUP2
0000211d: MSTORE
0000211e: PUSH1 0x01
00002120: DUP4
00002121: DUP2
00002122: ADD
00002123: PUSH1 0x20
00002125: MSTORE
00002126: PUSH1 0x40
00002128: DUP3
00002129: KECCAK256
0000212a: SLOAD
0000212b: PUSH2 0x2134
0000212e: SWAP2
0000212f: SWAP1
00002130: PUSH2 0x2ab7
00002133: JUMP
00002134: JUMPDEST
00002135: DUP4
00002136: SLOAD
00002137: SWAP1
00002138: SWAP2
00002139: POP
0000213a: PUSH1 0x00
0000213c: SWAP1
0000213d: PUSH2 0x2148
00002140: SWAP1
00002141: PUSH1 0x01
00002143: SWAP1
00002144: PUSH2 0x2ab7
00002147: JUMP
00002148: JUMPDEST
00002149: SWAP1
0000214a: POP
0000214b: DUP1
0000214c: DUP3
0000214d: EQ
0000214e: PUSH2 0x21b5
00002151: JUMPI
00002152: PUSH1 0x00
00002154: DUP5
00002155: PUSH1 0x00
00002157: ADD
00002158: DUP3
00002159: DUP2
0000215a: SLOAD
0000215b: DUP2
0000215c: LT
0000215d: PUSH2 0x2168
00002160: JUMPI
00002161: PUSH2 0x2168
00002164: PUSH2 0x2bac
00002167: JUMP
00002168: JUMPDEST
00002169: SWAP1
0000216a: PUSH1 0x00
0000216c: MSTORE
0000216d: PUSH1 0x20
0000216f: PUSH1 0x00
00002171: KECCAK256
00002172: ADD
00002173: SLOAD
00002174: SWAP1
00002175: POP
00002176: DUP1
00002177: DUP6
00002178: PUSH1 0x00
0000217a: ADD
0000217b: DUP5
0000217c: DUP2
0000217d: SLOAD
0000217e: DUP2
0000217f: LT
00002180: PUSH2 0x218b
00002183: JUMPI
00002184: PUSH2 0x218b
00002187: PUSH2 0x2bac
0000218a: JUMP
0000218b: JUMPDEST
0000218c: PUSH1 0x00
0000218e: SWAP2
0000218f: DUP3
00002190: MSTORE
00002191: PUSH1 0x20
00002193: SWAP1
00002194: SWAP2
00002195: KECCAK256
00002196: ADD
00002197: SSTORE
00002198: PUSH2 0x21a2
0000219b: DUP4
0000219c: PUSH1 0x01
0000219e: PUSH2 0x2b03
000021a1: JUMP
000021a2: JUMPDEST
000021a3: PUSH1 0x00
000021a5: SWAP2
000021a6: DUP3
000021a7: MSTORE
000021a8: PUSH1 0x01
000021aa: DUP7
000021ab: ADD
000021ac: PUSH1 0x20
000021ae: MSTORE
000021af: PUSH1 0x40
000021b1: SWAP1
000021b2: SWAP2
000021b3: KECCAK256
000021b4: SSTORE
000021b5: JUMPDEST
000021b6: DUP4
000021b7: SLOAD
000021b8: DUP5
000021b9: SWAP1
000021ba: DUP1
000021bb: PUSH2 0x21c6
000021be: JUMPI
000021bf: PUSH2 0x21c6
000021c2: PUSH2 0x2c36
000021c5: JUMP
000021c6: JUMPDEST
000021c7: PUSH1 0x01
000021c9: SWAP1
000021ca: SUB
000021cb: DUP2
000021cc: DUP2
000021cd: SWAP1
000021ce: PUSH1 0x00
000021d0: MSTORE
000021d1: PUSH1 0x20
000021d3: PUSH1 0x00
000021d5: KECCAK256
000021d6: ADD
000021d7: PUSH1 0x00
000021d9: SWAP1
000021da: SSTORE
000021db: SWAP1
000021dc: SSTORE
000021dd: DUP4
000021de: PUSH1 0x01
000021e0: ADD
000021e1: PUSH1 0x00
000021e3: DUP5
000021e4: DUP2
000021e5: MSTORE
000021e6: PUSH1 0x20
000021e8: ADD
000021e9: SWAP1
000021ea: DUP2
000021eb: MSTORE
000021ec: PUSH1 0x20
000021ee: ADD
000021ef: PUSH1 0x00
000021f1: KECCAK256
000021f2: PUSH1 0x00
000021f4: SWAP1
000021f5: SSTORE
000021f6: POP
000021f7: POP
000021f8: POP
000021f9: POP
000021fa: JUMP
000021fb: JUMPDEST
000021fc: PUSH1 0x00
000021fe: PUSH2 0x2250
00002201: DUP3
00002202: PUSH1 0x40
00002204: MLOAD
00002205: DUP1
00002206: PUSH1 0x40
00002208: ADD
00002209: PUSH1 0x40
0000220b: MSTORE
0000220c: DUP1
0000220d: PUSH1 0x20
0000220f: DUP2
00002210: MSTORE
00002211: PUSH1 0x20
00002213: ADD
00002214: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002235: DUP2
00002236: MSTORE
00002237: POP
00002238: DUP6
00002239: PUSH1 0x01
0000223b: PUSH1 0x01
0000223d: PUSH1 0xa0
0000223f: SHL
00002240: SUB
00002241: AND
00002242: PUSH2 0x22d0
00002245: SWAP1
00002246: SWAP3
00002247: SWAP2
00002248: SWAP1
00002249: PUSH4 0xffffffff
0000224e: AND
0000224f: JUMP
00002250: JUMPDEST
00002251: SWAP1
00002252: POP
00002253: DUP1
00002254: MLOAD
00002255: PUSH1 0x00
00002257: EQ
00002258: DUP1
00002259: PUSH2 0x2271
0000225c: JUMPI
0000225d: POP
0000225e: DUP1
0000225f: DUP1
00002260: PUSH1 0x20
00002262: ADD
00002263: SWAP1
00002264: MLOAD
00002265: DUP2
00002266: ADD
00002267: SWAP1
00002268: PUSH2 0x2271
0000226b: SWAP2
0000226c: SWAP1
0000226d: PUSH2 0x2c4c
00002270: JUMP
00002271: JUMPDEST
00002272: PUSH2 0x0e19
00002275: JUMPI
00002276: PUSH1 0x40
00002278: MLOAD
00002279: PUSH3 0x461bcd
0000227d: PUSH1 0xe5
0000227f: SHL
00002280: DUP2
00002281: MSTORE
00002282: PUSH1 0x20
00002284: PUSH1 0x04
00002286: DUP3
00002287: ADD
00002288: MSTORE
00002289: PUSH1 0x2a
0000228b: PUSH1 0x24
0000228d: DUP3
0000228e: ADD
0000228f: MSTORE
00002290: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000022b1: PUSH1 0x44
000022b3: DUP3
000022b4: ADD
000022b5: MSTORE
000022b6: PUSH10 0x1bdd081cdd58d8d95959
000022c1: PUSH1 0xb2
000022c3: SHL
000022c4: PUSH1 0x64
000022c6: DUP3
000022c7: ADD
000022c8: MSTORE
000022c9: PUSH1 0x84
000022cb: ADD
000022cc: PUSH2 0x0fa3
000022cf: JUMP
000022d0: JUMPDEST
000022d1: PUSH1 0x60
000022d3: PUSH2 0x07e6
000022d6: DUP5
000022d7: DUP5
000022d8: PUSH1 0x00
000022da: DUP6
000022db: DUP6
000022dc: PUSH1 0x00
000022de: DUP1
000022df: DUP7
000022e0: PUSH1 0x01
000022e2: PUSH1 0x01
000022e4: PUSH1 0xa0
000022e6: SHL
000022e7: SUB
000022e8: AND
000022e9: DUP6
000022ea: DUP8
000022eb: PUSH1 0x40
000022ed: MLOAD
000022ee: PUSH2 0x22f7
000022f1: SWAP2
000022f2: SWAP1
000022f3: PUSH2 0x2c92
000022f6: JUMP
000022f7: JUMPDEST
000022f8: PUSH1 0x00
000022fa: PUSH1 0x40
000022fc: MLOAD
000022fd: DUP1
000022fe: DUP4
000022ff: SUB
00002300: DUP2
00002301: DUP6
00002302: DUP8
00002303: GAS
00002304: CALL
00002305: SWAP3
00002306: POP
00002307: POP
00002308: POP
00002309: RETURNDATASIZE
0000230a: DUP1
0000230b: PUSH1 0x00
0000230d: DUP2
0000230e: EQ
0000230f: PUSH2 0x2334
00002312: JUMPI
00002313: PUSH1 0x40
00002315: MLOAD
00002316: SWAP2
00002317: POP
00002318: PUSH1 0x1f
0000231a: NOT
0000231b: PUSH1 0x3f
0000231d: RETURNDATASIZE
0000231e: ADD
0000231f: AND
00002320: DUP3
00002321: ADD
00002322: PUSH1 0x40
00002324: MSTORE
00002325: RETURNDATASIZE
00002326: DUP3
00002327: MSTORE
00002328: RETURNDATASIZE
00002329: PUSH1 0x00
0000232b: PUSH1 0x20
0000232d: DUP5
0000232e: ADD
0000232f: RETURNDATACOPY
00002330: PUSH2 0x2339
00002333: JUMP
00002334: JUMPDEST
00002335: PUSH1 0x60
00002337: SWAP2
00002338: POP
00002339: JUMPDEST
0000233a: POP
0000233b: SWAP2
0000233c: POP
0000233d: SWAP2
0000233e: POP
0000233f: PUSH2 0x234a
00002342: DUP8
00002343: DUP4
00002344: DUP4
00002345: DUP8
00002346: PUSH2 0x2355
00002349: JUMP
0000234a: JUMPDEST
0000234b: SWAP8
0000234c: SWAP7
0000234d: POP
0000234e: POP
0000234f: POP
00002350: POP
00002351: POP
00002352: POP
00002353: POP
00002354: JUMP
00002355: JUMPDEST
00002356: PUSH1 0x60
00002358: DUP4
00002359: ISZERO
0000235a: PUSH2 0x23c4
0000235d: JUMPI
0000235e: DUP3
0000235f: MLOAD
00002360: PUSH1 0x00
00002362: SUB
00002363: PUSH2 0x23bd
00002366: JUMPI
00002367: PUSH1 0x01
00002369: PUSH1 0x01
0000236b: PUSH1 0xa0
0000236d: SHL
0000236e: SUB
0000236f: DUP6
00002370: AND
00002371: EXTCODESIZE
00002372: PUSH2 0x23bd
00002375: JUMPI
00002376: PUSH1 0x40
00002378: MLOAD
00002379: PUSH3 0x461bcd
0000237d: PUSH1 0xe5
0000237f: SHL
00002380: DUP2
00002381: MSTORE
00002382: PUSH1 0x20
00002384: PUSH1 0x04
00002386: DUP3
00002387: ADD
00002388: MSTORE
00002389: PUSH1 0x1d
0000238b: PUSH1 0x24
0000238d: DUP3
0000238e: ADD
0000238f: MSTORE
00002390: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000023b1: PUSH1 0x44
000023b3: DUP3
000023b4: ADD
000023b5: MSTORE
000023b6: PUSH1 0x64
000023b8: ADD
000023b9: PUSH2 0x0fa3
000023bc: JUMP
000023bd: JUMPDEST
000023be: POP
000023bf: DUP2
000023c0: PUSH2 0x07e6
000023c3: JUMP
000023c4: JUMPDEST
000023c5: PUSH2 0x07e6
000023c8: DUP4
000023c9: DUP4
000023ca: DUP2
000023cb: MLOAD
000023cc: ISZERO
000023cd: PUSH2 0x23d9
000023d0: JUMPI
000023d1: DUP2
000023d2: MLOAD
000023d3: DUP1
000023d4: DUP4
000023d5: PUSH1 0x20
000023d7: ADD
000023d8: REVERT
000023d9: JUMPDEST
000023da: DUP1
000023db: PUSH1 0x40
000023dd: MLOAD
000023de: PUSH3 0x461bcd
000023e2: PUSH1 0xe5
000023e4: SHL
000023e5: DUP2
000023e6: MSTORE
000023e7: PUSH1 0x04
000023e9: ADD
000023ea: PUSH2 0x0fa3
000023ed: SWAP2
000023ee: SWAP1
000023ef: PUSH2 0x2cae
000023f2: JUMP
000023f3: JUMPDEST
000023f4: DUP1
000023f5: CALLDATALOAD
000023f6: PUSH1 0x01
000023f8: PUSH1 0x01
000023fa: PUSH1 0xa0
000023fc: SHL
000023fd: SUB
000023fe: DUP2
000023ff: AND
00002400: DUP2
00002401: EQ
00002402: PUSH2 0x240a
00002405: JUMPI
00002406: PUSH1 0x00
00002408: DUP1
00002409: REVERT
0000240a: JUMPDEST
0000240b: SWAP2
0000240c: SWAP1
0000240d: POP
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH1 0x00
00002412: PUSH1 0x20
00002414: DUP3
00002415: DUP5
00002416: SUB
00002417: SLT
00002418: ISZERO
00002419: PUSH2 0x2421
0000241c: JUMPI
0000241d: PUSH1 0x00
0000241f: DUP1
00002420: REVERT
00002421: JUMPDEST
00002422: PUSH2 0x242a
00002425: DUP3
00002426: PUSH2 0x23f3
00002429: JUMP
0000242a: JUMPDEST
0000242b: SWAP4
0000242c: SWAP3
0000242d: POP
0000242e: POP
0000242f: POP
00002430: JUMP
00002431: JUMPDEST
00002432: PUSH4 0x4e487b71
00002437: PUSH1 0xe0
00002439: SHL
0000243a: PUSH1 0x00
0000243c: MSTORE
0000243d: PUSH1 0x41
0000243f: PUSH1 0x04
00002441: MSTORE
00002442: PUSH1 0x24
00002444: PUSH1 0x00
00002446: REVERT
00002447: JUMPDEST
00002448: PUSH1 0x40
0000244a: MLOAD
0000244b: PUSH1 0x1f
0000244d: DUP3
0000244e: ADD
0000244f: PUSH1 0x1f
00002451: NOT
00002452: AND
00002453: DUP2
00002454: ADD
00002455: PUSH8 0xffffffffffffffff
0000245e: DUP2
0000245f: GT
00002460: DUP3
00002461: DUP3
00002462: LT
00002463: OR
00002464: ISZERO
00002465: PUSH2 0x2470
00002468: JUMPI
00002469: PUSH2 0x2470
0000246c: PUSH2 0x2431
0000246f: JUMP
00002470: JUMPDEST
00002471: PUSH1 0x40
00002473: MSTORE
00002474: SWAP2
00002475: SWAP1
00002476: POP
00002477: JUMP
00002478: JUMPDEST
00002479: PUSH1 0x00
0000247b: DUP3
0000247c: PUSH1 0x1f
0000247e: DUP4
0000247f: ADD
00002480: SLT
00002481: PUSH2 0x2489
00002484: JUMPI
00002485: PUSH1 0x00
00002487: DUP1
00002488: REVERT
00002489: JUMPDEST
0000248a: DUP2
0000248b: CALLDATALOAD
0000248c: PUSH8 0xffffffffffffffff
00002495: DUP2
00002496: GT
00002497: ISZERO
00002498: PUSH2 0x24a3
0000249b: JUMPI
0000249c: PUSH2 0x24a3
0000249f: PUSH2 0x2431
000024a2: JUMP
000024a3: JUMPDEST
000024a4: PUSH2 0x24b6
000024a7: PUSH1 0x1f
000024a9: DUP3
000024aa: ADD
000024ab: PUSH1 0x1f
000024ad: NOT
000024ae: AND
000024af: PUSH1 0x20
000024b1: ADD
000024b2: PUSH2 0x2447
000024b5: JUMP
000024b6: JUMPDEST
000024b7: DUP2
000024b8: DUP2
000024b9: MSTORE
000024ba: DUP5
000024bb: PUSH1 0x20
000024bd: DUP4
000024be: DUP7
000024bf: ADD
000024c0: ADD
000024c1: GT
000024c2: ISZERO
000024c3: PUSH2 0x24cb
000024c6: JUMPI
000024c7: PUSH1 0x00
000024c9: DUP1
000024ca: REVERT
000024cb: JUMPDEST
000024cc: DUP2
000024cd: PUSH1 0x20
000024cf: DUP6
000024d0: ADD
000024d1: PUSH1 0x20
000024d3: DUP4
000024d4: ADD
000024d5: CALLDATACOPY
000024d6: PUSH1 0x00
000024d8: SWAP2
000024d9: DUP2
000024da: ADD
000024db: PUSH1 0x20
000024dd: ADD
000024de: SWAP2
000024df: SWAP1
000024e0: SWAP2
000024e1: MSTORE
000024e2: SWAP4
000024e3: SWAP3
000024e4: POP
000024e5: POP
000024e6: POP
000024e7: JUMP
000024e8: JUMPDEST
000024e9: PUSH1 0x00
000024eb: DUP1
000024ec: PUSH1 0x00
000024ee: DUP1
000024ef: PUSH1 0x80
000024f1: DUP6
000024f2: DUP8
000024f3: SUB
000024f4: SLT
000024f5: ISZERO
000024f6: PUSH2 0x24fe
000024f9: JUMPI
000024fa: PUSH1 0x00
000024fc: DUP1
000024fd: REVERT
000024fe: JUMPDEST
000024ff: PUSH2 0x2507
00002502: DUP6
00002503: PUSH2 0x23f3
00002506: JUMP
00002507: JUMPDEST
00002508: SWAP4
00002509: POP
0000250a: PUSH2 0x2515
0000250d: PUSH1 0x20
0000250f: DUP7
00002510: ADD
00002511: PUSH2 0x23f3
00002514: JUMP
00002515: JUMPDEST
00002516: SWAP3
00002517: POP
00002518: PUSH1 0x40
0000251a: DUP6
0000251b: ADD
0000251c: CALLDATALOAD
0000251d: SWAP2
0000251e: POP
0000251f: PUSH1 0x60
00002521: DUP6
00002522: ADD
00002523: CALLDATALOAD
00002524: PUSH8 0xffffffffffffffff
0000252d: DUP2
0000252e: GT
0000252f: ISZERO
00002530: PUSH2 0x2538
00002533: JUMPI
00002534: PUSH1 0x00
00002536: DUP1
00002537: REVERT
00002538: JUMPDEST
00002539: PUSH2 0x2544
0000253c: DUP8
0000253d: DUP3
0000253e: DUP9
0000253f: ADD
00002540: PUSH2 0x2478
00002543: JUMP
00002544: JUMPDEST
00002545: SWAP2
00002546: POP
00002547: POP
00002548: SWAP3
00002549: SWAP6
0000254a: SWAP2
0000254b: SWAP5
0000254c: POP
0000254d: SWAP3
0000254e: POP
0000254f: JUMP
00002550: JUMPDEST
00002551: PUSH1 0x00
00002553: DUP1
00002554: DUP4
00002555: PUSH1 0x1f
00002557: DUP5
00002558: ADD
00002559: SLT
0000255a: PUSH2 0x2562
0000255d: JUMPI
0000255e: PUSH1 0x00
00002560: DUP1
00002561: REVERT
00002562: JUMPDEST
00002563: POP
00002564: DUP2
00002565: CALLDATALOAD
00002566: PUSH8 0xffffffffffffffff
0000256f: DUP2
00002570: GT
00002571: ISZERO
00002572: PUSH2 0x257a
00002575: JUMPI
00002576: PUSH1 0x00
00002578: DUP1
00002579: REVERT
0000257a: JUMPDEST
0000257b: PUSH1 0x20
0000257d: DUP4
0000257e: ADD
0000257f: SWAP2
00002580: POP
00002581: DUP4
00002582: PUSH1 0x20
00002584: DUP3
00002585: PUSH1 0x06
00002587: SHL
00002588: DUP6
00002589: ADD
0000258a: ADD
0000258b: GT
0000258c: ISZERO
0000258d: PUSH2 0x2595
00002590: JUMPI
00002591: PUSH1 0x00
00002593: DUP1
00002594: REVERT
00002595: JUMPDEST
00002596: SWAP3
00002597: POP
00002598: SWAP3
00002599: SWAP1
0000259a: POP
0000259b: JUMP
0000259c: JUMPDEST
0000259d: PUSH1 0x00
0000259f: DUP1
000025a0: PUSH1 0x00
000025a2: DUP1
000025a3: PUSH1 0x60
000025a5: DUP6
000025a6: DUP8
000025a7: SUB
000025a8: SLT
000025a9: ISZERO
000025aa: PUSH2 0x25b2
000025ad: JUMPI
000025ae: PUSH1 0x00
000025b0: DUP1
000025b1: REVERT
000025b2: JUMPDEST
000025b3: DUP5
000025b4: CALLDATALOAD
000025b5: SWAP4
000025b6: POP
000025b7: PUSH2 0x25c2
000025ba: PUSH1 0x20
000025bc: DUP7
000025bd: ADD
000025be: PUSH2 0x23f3
000025c1: JUMP
000025c2: JUMPDEST
000025c3: SWAP3
000025c4: POP
000025c5: PUSH1 0x40
000025c7: DUP6
000025c8: ADD
000025c9: CALLDATALOAD
000025ca: PUSH8 0xffffffffffffffff
000025d3: DUP2
000025d4: GT
000025d5: ISZERO
000025d6: PUSH2 0x25de
000025d9: JUMPI
000025da: PUSH1 0x00
000025dc: DUP1
000025dd: REVERT
000025de: JUMPDEST
000025df: PUSH2 0x25ea
000025e2: DUP8
000025e3: DUP3
000025e4: DUP9
000025e5: ADD
000025e6: PUSH2 0x2550
000025e9: JUMP
000025ea: JUMPDEST
000025eb: SWAP6
000025ec: SWAP9
000025ed: SWAP5
000025ee: SWAP8
000025ef: POP
000025f0: SWAP6
000025f1: POP
000025f2: POP
000025f3: POP
000025f4: POP
000025f5: JUMP
000025f6: JUMPDEST
000025f7: DUP1
000025f8: CALLDATALOAD
000025f9: PUSH1 0x02
000025fb: DUP2
000025fc: LT
000025fd: PUSH2 0x240a
00002600: JUMPI
00002601: PUSH1 0x00
00002603: DUP1
00002604: REVERT
00002605: JUMPDEST
00002606: PUSH1 0x00
00002608: DUP1
00002609: PUSH1 0x40
0000260b: DUP4
0000260c: DUP6
0000260d: SUB
0000260e: SLT
0000260f: ISZERO
00002610: PUSH2 0x2618
00002613: JUMPI
00002614: PUSH1 0x00
00002616: DUP1
00002617: REVERT
00002618: JUMPDEST
00002619: PUSH2 0x2621
0000261c: DUP4
0000261d: PUSH2 0x25f6
00002620: JUMP
00002621: JUMPDEST
00002622: SWAP5
00002623: PUSH1 0x20
00002625: SWAP4
00002626: SWAP1
00002627: SWAP4
00002628: ADD
00002629: CALLDATALOAD
0000262a: SWAP4
0000262b: POP
0000262c: POP
0000262d: POP
0000262e: JUMP
0000262f: JUMPDEST
00002630: PUSH1 0x00
00002632: DUP2
00002633: MLOAD
00002634: DUP1
00002635: DUP5
00002636: MSTORE
00002637: PUSH1 0x20
00002639: DUP1
0000263a: DUP6
0000263b: ADD
0000263c: SWAP5
0000263d: POP
0000263e: DUP1
0000263f: DUP5
00002640: ADD
00002641: PUSH1 0x00
00002643: JUMPDEST
00002644: DUP4
00002645: DUP2
00002646: LT
00002647: ISZERO
00002648: PUSH2 0x265f
0000264b: JUMPI
0000264c: DUP2
0000264d: MLOAD
0000264e: DUP8
0000264f: MSTORE
00002650: SWAP6
00002651: DUP3
00002652: ADD
00002653: SWAP6
00002654: SWAP1
00002655: DUP3
00002656: ADD
00002657: SWAP1
00002658: PUSH1 0x01
0000265a: ADD
0000265b: PUSH2 0x2643
0000265e: JUMP
0000265f: JUMPDEST
00002660: POP
00002661: SWAP5
00002662: SWAP6
00002663: SWAP5
00002664: POP
00002665: POP
00002666: POP
00002667: POP
00002668: POP
00002669: JUMP
0000266a: JUMPDEST
0000266b: DUP8
0000266c: DUP2
0000266d: MSTORE
0000266e: DUP7
0000266f: PUSH1 0x20
00002671: DUP3
00002672: ADD
00002673: MSTORE
00002674: DUP6
00002675: PUSH1 0x40
00002677: DUP3
00002678: ADD
00002679: MSTORE
0000267a: DUP5
0000267b: PUSH1 0x60
0000267d: DUP3
0000267e: ADD
0000267f: MSTORE
00002680: DUP4
00002681: PUSH1 0x80
00002683: DUP3
00002684: ADD
00002685: MSTORE
00002686: PUSH1 0xe0
00002688: PUSH1 0xa0
0000268a: DUP3
0000268b: ADD
0000268c: MSTORE
0000268d: PUSH1 0x00
0000268f: PUSH2 0x269b
00002692: PUSH1 0xe0
00002694: DUP4
00002695: ADD
00002696: DUP6
00002697: PUSH2 0x262f
0000269a: JUMP
0000269b: JUMPDEST
0000269c: DUP3
0000269d: DUP2
0000269e: SUB
0000269f: PUSH1 0xc0
000026a1: DUP5
000026a2: ADD
000026a3: MSTORE
000026a4: PUSH2 0x26ad
000026a7: DUP2
000026a8: DUP6
000026a9: PUSH2 0x262f
000026ac: JUMP
000026ad: JUMPDEST
000026ae: SWAP11
000026af: SWAP10
000026b0: POP
000026b1: POP
000026b2: POP
000026b3: POP
000026b4: POP
000026b5: POP
000026b6: POP
000026b7: POP
000026b8: POP
000026b9: POP
000026ba: JUMP
000026bb: JUMPDEST
000026bc: PUSH1 0x00
000026be: DUP1
000026bf: PUSH1 0x00
000026c1: PUSH1 0x60
000026c3: DUP5
000026c4: DUP7
000026c5: SUB
000026c6: SLT
000026c7: ISZERO
000026c8: PUSH2 0x26d0
000026cb: JUMPI
000026cc: PUSH1 0x00
000026ce: DUP1
000026cf: REVERT
000026d0: JUMPDEST
000026d1: PUSH2 0x26d9
000026d4: DUP5
000026d5: PUSH2 0x23f3
000026d8: JUMP
000026d9: JUMPDEST
000026da: SWAP6
000026db: PUSH1 0x20
000026dd: DUP6
000026de: ADD
000026df: CALLDATALOAD
000026e0: SWAP6
000026e1: POP
000026e2: PUSH1 0x40
000026e4: SWAP1
000026e5: SWAP5
000026e6: ADD
000026e7: CALLDATALOAD
000026e8: SWAP4
000026e9: SWAP3
000026ea: POP
000026eb: POP
000026ec: POP
000026ed: JUMP
000026ee: JUMPDEST
000026ef: PUSH1 0x00
000026f1: PUSH8 0xffffffffffffffff
000026fa: DUP3
000026fb: GT
000026fc: ISZERO
000026fd: PUSH2 0x2708
00002700: JUMPI
00002701: PUSH2 0x2708
00002704: PUSH2 0x2431
00002707: JUMP
00002708: JUMPDEST
00002709: POP
0000270a: PUSH1 0x05
0000270c: SHL
0000270d: PUSH1 0x20
0000270f: ADD
00002710: SWAP1
00002711: JUMP
00002712: JUMPDEST
00002713: PUSH1 0x00
00002715: DUP3
00002716: PUSH1 0x1f
00002718: DUP4
00002719: ADD
0000271a: SLT
0000271b: PUSH2 0x2723
0000271e: JUMPI
0000271f: PUSH1 0x00
00002721: DUP1
00002722: REVERT
00002723: JUMPDEST
00002724: DUP2
00002725: CALLDATALOAD
00002726: PUSH1 0x20
00002728: PUSH2 0x2738
0000272b: PUSH2 0x2733
0000272e: DUP4
0000272f: PUSH2 0x26ee
00002732: JUMP
00002733: JUMPDEST
00002734: PUSH2 0x2447
00002737: JUMP
00002738: JUMPDEST
00002739: DUP3
0000273a: DUP2
0000273b: MSTORE
0000273c: PUSH1 0x05
0000273e: SWAP3
0000273f: SWAP1
00002740: SWAP3
00002741: SHL
00002742: DUP5
00002743: ADD
00002744: DUP2
00002745: ADD
00002746: SWAP2
00002747: DUP2
00002748: DUP2
00002749: ADD
0000274a: SWAP1
0000274b: DUP7
0000274c: DUP5
0000274d: GT
0000274e: ISZERO
0000274f: PUSH2 0x2757
00002752: JUMPI
00002753: PUSH1 0x00
00002755: DUP1
00002756: REVERT
00002757: JUMPDEST
00002758: DUP3
00002759: DUP7
0000275a: ADD
0000275b: JUMPDEST
0000275c: DUP5
0000275d: DUP2
0000275e: LT
0000275f: ISZERO
00002760: PUSH2 0x2772
00002763: JUMPI
00002764: DUP1
00002765: CALLDATALOAD
00002766: DUP4
00002767: MSTORE
00002768: SWAP2
00002769: DUP4
0000276a: ADD
0000276b: SWAP2
0000276c: DUP4
0000276d: ADD
0000276e: PUSH2 0x275b
00002771: JUMP
00002772: JUMPDEST
00002773: POP
00002774: SWAP7
00002775: SWAP6
00002776: POP
00002777: POP
00002778: POP
00002779: POP
0000277a: POP
0000277b: POP
0000277c: JUMP
0000277d: JUMPDEST
0000277e: PUSH1 0x00
00002780: DUP1
00002781: PUSH1 0x00
00002783: PUSH1 0x60
00002785: DUP5
00002786: DUP7
00002787: SUB
00002788: SLT
00002789: ISZERO
0000278a: PUSH2 0x2792
0000278d: JUMPI
0000278e: PUSH1 0x00
00002790: DUP1
00002791: REVERT
00002792: JUMPDEST
00002793: PUSH2 0x279b
00002796: DUP5
00002797: PUSH2 0x25f6
0000279a: JUMP
0000279b: JUMPDEST
0000279c: SWAP3
0000279d: POP
0000279e: PUSH1 0x20
000027a0: DUP1
000027a1: DUP6
000027a2: ADD
000027a3: CALLDATALOAD
000027a4: PUSH8 0xffffffffffffffff
000027ad: DUP1
000027ae: DUP3
000027af: GT
000027b0: ISZERO
000027b1: PUSH2 0x27b9
000027b4: JUMPI
000027b5: PUSH1 0x00
000027b7: DUP1
000027b8: REVERT
000027b9: JUMPDEST
000027ba: PUSH2 0x27c5
000027bd: DUP9
000027be: DUP4
000027bf: DUP10
000027c0: ADD
000027c1: PUSH2 0x2712
000027c4: JUMP
000027c5: JUMPDEST
000027c6: SWAP5
000027c7: POP
000027c8: PUSH1 0x40
000027ca: DUP8
000027cb: ADD
000027cc: CALLDATALOAD
000027cd: SWAP2
000027ce: POP
000027cf: DUP1
000027d0: DUP3
000027d1: GT
000027d2: ISZERO
000027d3: PUSH2 0x27db
000027d6: JUMPI
000027d7: PUSH1 0x00
000027d9: DUP1
000027da: REVERT
000027db: JUMPDEST
000027dc: POP
000027dd: DUP6
000027de: ADD
000027df: PUSH1 0x1f
000027e1: DUP2
000027e2: ADD
000027e3: DUP8
000027e4: SGT
000027e5: PUSH2 0x27ed
000027e8: JUMPI
000027e9: PUSH1 0x00
000027eb: DUP1
000027ec: REVERT
000027ed: JUMPDEST
000027ee: DUP1
000027ef: CALLDATALOAD
000027f0: PUSH2 0x27fb
000027f3: PUSH2 0x2733
000027f6: DUP3
000027f7: PUSH2 0x26ee
000027fa: JUMP
000027fb: JUMPDEST
000027fc: DUP2
000027fd: DUP2
000027fe: MSTORE
000027ff: PUSH1 0x05
00002801: SWAP2
00002802: SWAP1
00002803: SWAP2
00002804: SHL
00002805: DUP3
00002806: ADD
00002807: DUP4
00002808: ADD
00002809: SWAP1
0000280a: DUP4
0000280b: DUP2
0000280c: ADD
0000280d: SWAP1
0000280e: DUP10
0000280f: DUP4
00002810: GT
00002811: ISZERO
00002812: PUSH2 0x281a
00002815: JUMPI
00002816: PUSH1 0x00
00002818: DUP1
00002819: REVERT
0000281a: JUMPDEST
0000281b: SWAP3
0000281c: DUP5
0000281d: ADD
0000281e: SWAP3
0000281f: JUMPDEST
00002820: DUP3
00002821: DUP5
00002822: LT
00002823: ISZERO
00002824: PUSH2 0x284e
00002827: JUMPI
00002828: DUP4
00002829: CALLDATALOAD
0000282a: PUSH1 0x01
0000282c: PUSH1 0x01
0000282e: PUSH1 0x80
00002830: SHL
00002831: SUB
00002832: DUP2
00002833: AND
00002834: DUP2
00002835: EQ
00002836: PUSH2 0x283f
00002839: JUMPI
0000283a: PUSH1 0x00
0000283c: DUP1
0000283d: DUP2
0000283e: REVERT
0000283f: JUMPDEST
00002840: DUP3
00002841: MSTORE
00002842: SWAP3
00002843: DUP5
00002844: ADD
00002845: SWAP3
00002846: SWAP1
00002847: DUP5
00002848: ADD
00002849: SWAP1
0000284a: PUSH2 0x281f
0000284d: JUMP
0000284e: JUMPDEST
0000284f: DUP1
00002850: SWAP6
00002851: POP
00002852: POP
00002853: POP
00002854: POP
00002855: POP
00002856: POP
00002857: SWAP3
00002858: POP
00002859: SWAP3
0000285a: POP
0000285b: SWAP3
0000285c: JUMP
0000285d: JUMPDEST
0000285e: PUSH1 0x00
00002860: DUP1
00002861: PUSH1 0x00
00002863: PUSH1 0x40
00002865: DUP5
00002866: DUP7
00002867: SUB
00002868: SLT
00002869: ISZERO
0000286a: PUSH2 0x2872
0000286d: JUMPI
0000286e: PUSH1 0x00
00002870: DUP1
00002871: REVERT
00002872: JUMPDEST
00002873: DUP4
00002874: CALLDATALOAD
00002875: SWAP3
00002876: POP
00002877: PUSH1 0x20
00002879: DUP5
0000287a: ADD
0000287b: CALLDATALOAD
0000287c: PUSH8 0xffffffffffffffff
00002885: DUP2
00002886: GT
00002887: ISZERO
00002888: PUSH2 0x2890
0000288b: JUMPI
0000288c: PUSH1 0x00
0000288e: DUP1
0000288f: REVERT
00002890: JUMPDEST
00002891: PUSH2 0x289c
00002894: DUP7
00002895: DUP3
00002896: DUP8
00002897: ADD
00002898: PUSH2 0x2550
0000289b: JUMP
0000289c: JUMPDEST
0000289d: SWAP5
0000289e: SWAP8
0000289f: SWAP1
000028a0: SWAP7
000028a1: POP
000028a2: SWAP4
000028a3: SWAP5
000028a4: POP
000028a5: POP
000028a6: POP
000028a7: POP
000028a8: JUMP
000028a9: JUMPDEST
000028aa: PUSH1 0x00
000028ac: DUP1
000028ad: PUSH1 0x20
000028af: DUP4
000028b0: DUP6
000028b1: SUB
000028b2: SLT
000028b3: ISZERO
000028b4: PUSH2 0x28bc
000028b7: JUMPI
000028b8: PUSH1 0x00
000028ba: DUP1
000028bb: REVERT
000028bc: JUMPDEST
000028bd: DUP3
000028be: CALLDATALOAD
000028bf: PUSH8 0xffffffffffffffff
000028c8: DUP1
000028c9: DUP3
000028ca: GT
000028cb: ISZERO
000028cc: PUSH2 0x28d4
000028cf: JUMPI
000028d0: PUSH1 0x00
000028d2: DUP1
000028d3: REVERT
000028d4: JUMPDEST
000028d5: DUP2
000028d6: DUP6
000028d7: ADD
000028d8: SWAP2
000028d9: POP
000028da: DUP6
000028db: PUSH1 0x1f
000028dd: DUP4
000028de: ADD
000028df: SLT
000028e0: PUSH2 0x28e8
000028e3: JUMPI
000028e4: PUSH1 0x00
000028e6: DUP1
000028e7: REVERT
000028e8: JUMPDEST
000028e9: DUP2
000028ea: CALLDATALOAD
000028eb: DUP2
000028ec: DUP2
000028ed: GT
000028ee: ISZERO
000028ef: PUSH2 0x28f7
000028f2: JUMPI
000028f3: PUSH1 0x00
000028f5: DUP1
000028f6: REVERT
000028f7: JUMPDEST
000028f8: DUP7
000028f9: PUSH1 0x20
000028fb: PUSH1 0xa0
000028fd: DUP4
000028fe: MUL
000028ff: DUP6
00002900: ADD
00002901: ADD
00002902: GT
00002903: ISZERO
00002904: PUSH2 0x290c
00002907: JUMPI
00002908: PUSH1 0x00
0000290a: DUP1
0000290b: REVERT
0000290c: JUMPDEST
0000290d: PUSH1 0x20
0000290f: SWAP3
00002910: SWAP1
00002911: SWAP3
00002912: ADD
00002913: SWAP7
00002914: SWAP2
00002915: SWAP6
00002916: POP
00002917: SWAP1
00002918: SWAP4
00002919: POP
0000291a: POP
0000291b: POP
0000291c: POP
0000291d: JUMP
0000291e: JUMPDEST
0000291f: PUSH1 0x00
00002921: DUP1
00002922: PUSH1 0x00
00002924: DUP1
00002925: PUSH1 0x00
00002927: PUSH1 0xa0
00002929: DUP7
0000292a: DUP9
0000292b: SUB
0000292c: SLT
0000292d: ISZERO
0000292e: PUSH2 0x2936
00002931: JUMPI
00002932: PUSH1 0x00
00002934: DUP1
00002935: REVERT
00002936: JUMPDEST
00002937: PUSH2 0x293f
0000293a: DUP7
0000293b: PUSH2 0x23f3
0000293e: JUMP
0000293f: JUMPDEST
00002940: SWAP5
00002941: POP
00002942: PUSH2 0x294d
00002945: PUSH1 0x20
00002947: DUP8
00002948: ADD
00002949: PUSH2 0x23f3
0000294c: JUMP
0000294d: JUMPDEST
0000294e: SWAP4
0000294f: POP
00002950: PUSH1 0x40
00002952: DUP7
00002953: ADD
00002954: CALLDATALOAD
00002955: PUSH8 0xffffffffffffffff
0000295e: DUP1
0000295f: DUP3
00002960: GT
00002961: ISZERO
00002962: PUSH2 0x296a
00002965: JUMPI
00002966: PUSH1 0x00
00002968: DUP1
00002969: REVERT
0000296a: JUMPDEST
0000296b: PUSH2 0x2976
0000296e: DUP10
0000296f: DUP4
00002970: DUP11
00002971: ADD
00002972: PUSH2 0x2712
00002975: JUMP
00002976: JUMPDEST
00002977: SWAP5
00002978: POP
00002979: PUSH1 0x60
0000297b: DUP9
0000297c: ADD
0000297d: CALLDATALOAD
0000297e: SWAP2
0000297f: POP
00002980: DUP1
00002981: DUP3
00002982: GT
00002983: ISZERO
00002984: PUSH2 0x298c
00002987: JUMPI
00002988: PUSH1 0x00
0000298a: DUP1
0000298b: REVERT
0000298c: JUMPDEST
0000298d: PUSH2 0x2998
00002990: DUP10
00002991: DUP4
00002992: DUP11
00002993: ADD
00002994: PUSH2 0x2712
00002997: JUMP
00002998: JUMPDEST
00002999: SWAP4
0000299a: POP
0000299b: PUSH1 0x80
0000299d: DUP9
0000299e: ADD
0000299f: CALLDATALOAD
000029a0: SWAP2
000029a1: POP
000029a2: DUP1
000029a3: DUP3
000029a4: GT
000029a5: ISZERO
000029a6: PUSH2 0x29ae
000029a9: JUMPI
000029aa: PUSH1 0x00
000029ac: DUP1
000029ad: REVERT
000029ae: JUMPDEST
000029af: POP
000029b0: PUSH2 0x29bb
000029b3: DUP9
000029b4: DUP3
000029b5: DUP10
000029b6: ADD
000029b7: PUSH2 0x2478
000029ba: JUMP
000029bb: JUMPDEST
000029bc: SWAP2
000029bd: POP
000029be: POP
000029bf: SWAP3
000029c0: SWAP6
000029c1: POP
000029c2: SWAP3
000029c3: SWAP6
000029c4: SWAP1
000029c5: SWAP4
000029c6: POP
000029c7: JUMP
000029c8: JUMPDEST
000029c9: PUSH1 0x00
000029cb: DUP1
000029cc: PUSH1 0x40
000029ce: DUP4
000029cf: DUP6
000029d0: SUB
000029d1: SLT
000029d2: ISZERO
000029d3: PUSH2 0x29db
000029d6: JUMPI
000029d7: PUSH1 0x00
000029d9: DUP1
000029da: REVERT
000029db: JUMPDEST
000029dc: POP
000029dd: POP
000029de: DUP1
000029df: CALLDATALOAD
000029e0: SWAP3
000029e1: PUSH1 0x20
000029e3: SWAP1
000029e4: SWAP2
000029e5: ADD
000029e6: CALLDATALOAD
000029e7: SWAP2
000029e8: POP
000029e9: JUMP
000029ea: JUMPDEST
000029eb: PUSH1 0x00
000029ed: DUP1
000029ee: PUSH1 0x00
000029f0: DUP1
000029f1: PUSH1 0x80
000029f3: DUP6
000029f4: DUP8
000029f5: SUB
000029f6: SLT
000029f7: ISZERO
000029f8: PUSH2 0x2a00
000029fb: JUMPI
000029fc: PUSH1 0x00
000029fe: DUP1
000029ff: REVERT
00002a00: JUMPDEST
00002a01: PUSH2 0x2a09
00002a04: DUP6
00002a05: PUSH2 0x23f3
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: SWAP7
00002a0b: PUSH1 0x20
00002a0d: DUP7
00002a0e: ADD
00002a0f: CALLDATALOAD
00002a10: SWAP7
00002a11: POP
00002a12: PUSH1 0x40
00002a14: DUP7
00002a15: ADD
00002a16: CALLDATALOAD
00002a17: SWAP6
00002a18: PUSH1 0x60
00002a1a: ADD
00002a1b: CALLDATALOAD
00002a1c: SWAP5
00002a1d: POP
00002a1e: SWAP3
00002a1f: POP
00002a20: POP
00002a21: POP
00002a22: JUMP
00002a23: JUMPDEST
00002a24: PUSH1 0x00
00002a26: PUSH1 0x20
00002a28: DUP3
00002a29: DUP5
00002a2a: SUB
00002a2b: SLT
00002a2c: ISZERO
00002a2d: PUSH2 0x2a35
00002a30: JUMPI
00002a31: PUSH1 0x00
00002a33: DUP1
00002a34: REVERT
00002a35: JUMPDEST
00002a36: POP
00002a37: CALLDATALOAD
00002a38: SWAP2
00002a39: SWAP1
00002a3a: POP
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: PUSH1 0x00
00002a3f: DUP1
00002a40: PUSH1 0x00
00002a42: DUP1
00002a43: PUSH1 0x00
00002a45: PUSH1 0xa0
00002a47: DUP7
00002a48: DUP9
00002a49: SUB
00002a4a: SLT
00002a4b: ISZERO
00002a4c: PUSH2 0x2a54
00002a4f: JUMPI
00002a50: PUSH1 0x00
00002a52: DUP1
00002a53: REVERT
00002a54: JUMPDEST
00002a55: PUSH2 0x2a5d
00002a58: DUP7
00002a59: PUSH2 0x23f3
00002a5c: JUMP
00002a5d: JUMPDEST
00002a5e: SWAP5
00002a5f: POP
00002a60: PUSH2 0x2a6b
00002a63: PUSH1 0x20
00002a65: DUP8
00002a66: ADD
00002a67: PUSH2 0x23f3
00002a6a: JUMP
00002a6b: JUMPDEST
00002a6c: SWAP4
00002a6d: POP
00002a6e: PUSH1 0x40
00002a70: DUP7
00002a71: ADD
00002a72: CALLDATALOAD
00002a73: SWAP3
00002a74: POP
00002a75: PUSH1 0x60
00002a77: DUP7
00002a78: ADD
00002a79: CALLDATALOAD
00002a7a: SWAP2
00002a7b: POP
00002a7c: PUSH1 0x80
00002a7e: DUP7
00002a7f: ADD
00002a80: CALLDATALOAD
00002a81: PUSH8 0xffffffffffffffff
00002a8a: DUP2
00002a8b: GT
00002a8c: ISZERO
00002a8d: PUSH2 0x2a95
00002a90: JUMPI
00002a91: PUSH1 0x00
00002a93: DUP1
00002a94: REVERT
00002a95: JUMPDEST
00002a96: PUSH2 0x29bb
00002a99: DUP9
00002a9a: DUP3
00002a9b: DUP10
00002a9c: ADD
00002a9d: PUSH2 0x2478
00002aa0: JUMP
00002aa1: JUMPDEST
00002aa2: PUSH4 0x4e487b71
00002aa7: PUSH1 0xe0
00002aa9: SHL
00002aaa: PUSH1 0x00
00002aac: MSTORE
00002aad: PUSH1 0x11
00002aaf: PUSH1 0x04
00002ab1: MSTORE
00002ab2: PUSH1 0x24
00002ab4: PUSH1 0x00
00002ab6: REVERT
00002ab7: JUMPDEST
00002ab8: DUP2
00002ab9: DUP2
00002aba: SUB
00002abb: DUP2
00002abc: DUP2
00002abd: GT
00002abe: ISZERO
00002abf: PUSH2 0x1659
00002ac2: JUMPI
00002ac3: PUSH2 0x1659
00002ac6: PUSH2 0x2aa1
00002ac9: JUMP
00002aca: JUMPDEST
00002acb: DUP1
00002acc: DUP3
00002acd: MUL
00002ace: DUP2
00002acf: ISZERO
00002ad0: DUP3
00002ad1: DUP3
00002ad2: DIV
00002ad3: DUP5
00002ad4: EQ
00002ad5: OR
00002ad6: PUSH2 0x1659
00002ad9: JUMPI
00002ada: PUSH2 0x1659
00002add: PUSH2 0x2aa1
00002ae0: JUMP
00002ae1: JUMPDEST
00002ae2: PUSH1 0x00
00002ae4: DUP3
00002ae5: PUSH2 0x2afe
00002ae8: JUMPI
00002ae9: PUSH4 0x4e487b71
00002aee: PUSH1 0xe0
00002af0: SHL
00002af1: PUSH1 0x00
00002af3: MSTORE
00002af4: PUSH1 0x12
00002af6: PUSH1 0x04
00002af8: MSTORE
00002af9: PUSH1 0x24
00002afb: PUSH1 0x00
00002afd: REVERT
00002afe: JUMPDEST
00002aff: POP
00002b00: DIV
00002b01: SWAP1
00002b02: JUMP
00002b03: JUMPDEST
00002b04: DUP1
00002b05: DUP3
00002b06: ADD
00002b07: DUP1
00002b08: DUP3
00002b09: GT
00002b0a: ISZERO
00002b0b: PUSH2 0x1659
00002b0e: JUMPI
00002b0f: PUSH2 0x1659
00002b12: PUSH2 0x2aa1
00002b15: JUMP
00002b16: JUMPDEST
00002b17: PUSH4 0x4e487b71
00002b1c: PUSH1 0xe0
00002b1e: SHL
00002b1f: PUSH1 0x00
00002b21: MSTORE
00002b22: PUSH1 0x21
00002b24: PUSH1 0x04
00002b26: MSTORE
00002b27: PUSH1 0x24
00002b29: PUSH1 0x00
00002b2b: REVERT
00002b2c: JUMPDEST
00002b2d: PUSH1 0x00
00002b2f: PUSH1 0x60
00002b31: DUP3
00002b32: ADD
00002b33: DUP7
00002b34: DUP4
00002b35: MSTORE
00002b36: PUSH1 0x20
00002b38: DUP7
00002b39: DUP2
00002b3a: DUP6
00002b3b: ADD
00002b3c: MSTORE
00002b3d: PUSH1 0x40
00002b3f: PUSH1 0x60
00002b41: DUP2
00002b42: DUP7
00002b43: ADD
00002b44: MSTORE
00002b45: DUP3
00002b46: DUP7
00002b47: DUP5
00002b48: MSTORE
00002b49: PUSH1 0x80
00002b4b: DUP7
00002b4c: ADD
00002b4d: SWAP1
00002b4e: POP
00002b4f: DUP8
00002b50: SWAP4
00002b51: POP
00002b52: PUSH1 0x00
00002b54: DUP1
00002b55: JUMPDEST
00002b56: DUP9
00002b57: DUP2
00002b58: LT
00002b59: ISZERO
00002b5a: PUSH2 0x2b9c
00002b5d: JUMPI
00002b5e: DUP6
00002b5f: CALLDATALOAD
00002b60: DUP4
00002b61: MSTORE
00002b62: PUSH2 0x2b6c
00002b65: DUP6
00002b66: DUP8
00002b67: ADD
00002b68: PUSH2 0x25f6
00002b6b: JUMP
00002b6c: JUMPDEST
00002b6d: PUSH1 0x02
00002b6f: DUP2
00002b70: LT
00002b71: PUSH2 0x2b88
00002b74: JUMPI
00002b75: PUSH4 0x4e487b71
00002b7a: PUSH1 0xe0
00002b7c: SHL
00002b7d: DUP4
00002b7e: MSTORE
00002b7f: PUSH1 0x21
00002b81: PUSH1 0x04
00002b83: MSTORE
00002b84: PUSH1 0x24
00002b86: DUP4
00002b87: REVERT
00002b88: JUMPDEST
00002b89: DUP4
00002b8a: DUP7
00002b8b: ADD
00002b8c: MSTORE
00002b8d: SWAP5
00002b8e: DUP4
00002b8f: ADD
00002b90: SWAP5
00002b91: SWAP2
00002b92: DUP4
00002b93: ADD
00002b94: SWAP2
00002b95: PUSH1 0x01
00002b97: ADD
00002b98: PUSH2 0x2b55
00002b9b: JUMP
00002b9c: JUMPDEST
00002b9d: POP
00002b9e: SWAP1
00002b9f: SWAP11
00002ba0: SWAP10
00002ba1: POP
00002ba2: POP
00002ba3: POP
00002ba4: POP
00002ba5: POP
00002ba6: POP
00002ba7: POP
00002ba8: POP
00002ba9: POP
00002baa: POP
00002bab: JUMP
00002bac: JUMPDEST
00002bad: PUSH4 0x4e487b71
00002bb2: PUSH1 0xe0
00002bb4: SHL
00002bb5: PUSH1 0x00
00002bb7: MSTORE
00002bb8: PUSH1 0x32
00002bba: PUSH1 0x04
00002bbc: MSTORE
00002bbd: PUSH1 0x24
00002bbf: PUSH1 0x00
00002bc1: REVERT
00002bc2: JUMPDEST
00002bc3: PUSH1 0x00
00002bc5: PUSH1 0x20
00002bc7: DUP3
00002bc8: DUP5
00002bc9: SUB
00002bca: SLT
00002bcb: ISZERO
00002bcc: PUSH2 0x2bd4
00002bcf: JUMPI
00002bd0: PUSH1 0x00
00002bd2: DUP1
00002bd3: REVERT
00002bd4: JUMPDEST
00002bd5: DUP2
00002bd6: CALLDATALOAD
00002bd7: PUSH1 0x04
00002bd9: DUP2
00002bda: LT
00002bdb: PUSH2 0x242a
00002bde: JUMPI
00002bdf: PUSH1 0x00
00002be1: DUP1
00002be2: REVERT
00002be3: JUMPDEST
00002be4: PUSH1 0x01
00002be6: PUSH1 0x01
00002be8: PUSH1 0xa0
00002bea: SHL
00002beb: SUB
00002bec: SWAP5
00002bed: DUP6
00002bee: AND
00002bef: DUP2
00002bf0: MSTORE
00002bf1: SWAP3
00002bf2: SWAP1
00002bf3: SWAP4
00002bf4: AND
00002bf5: PUSH1 0x20
00002bf7: DUP4
00002bf8: ADD
00002bf9: MSTORE
00002bfa: PUSH1 0x40
00002bfc: DUP3
00002bfd: ADD
00002bfe: MSTORE
00002bff: PUSH1 0x60
00002c01: DUP2
00002c02: ADD
00002c03: SWAP2
00002c04: SWAP1
00002c05: SWAP2
00002c06: MSTORE
00002c07: PUSH1 0xa0
00002c09: PUSH1 0x80
00002c0b: DUP3
00002c0c: ADD
00002c0d: DUP2
00002c0e: SWAP1
00002c0f: MSTORE
00002c10: PUSH1 0x00
00002c12: SWAP1
00002c13: DUP3
00002c14: ADD
00002c15: MSTORE
00002c16: PUSH1 0xc0
00002c18: ADD
00002c19: SWAP1
00002c1a: JUMP
00002c1b: JUMPDEST
00002c1c: PUSH1 0x00
00002c1e: PUSH1 0x20
00002c20: DUP3
00002c21: DUP5
00002c22: SUB
00002c23: SLT
00002c24: ISZERO
00002c25: PUSH2 0x2c2d
00002c28: JUMPI
00002c29: PUSH1 0x00
00002c2b: DUP1
00002c2c: REVERT
00002c2d: JUMPDEST
00002c2e: PUSH2 0x242a
00002c31: DUP3
00002c32: PUSH2 0x25f6
00002c35: JUMP
00002c36: JUMPDEST
00002c37: PUSH4 0x4e487b71
00002c3c: PUSH1 0xe0
00002c3e: SHL
00002c3f: PUSH1 0x00
00002c41: MSTORE
00002c42: PUSH1 0x31
00002c44: PUSH1 0x04
00002c46: MSTORE
00002c47: PUSH1 0x24
00002c49: PUSH1 0x00
00002c4b: REVERT
00002c4c: JUMPDEST
00002c4d: PUSH1 0x00
00002c4f: PUSH1 0x20
00002c51: DUP3
00002c52: DUP5
00002c53: SUB
00002c54: SLT
00002c55: ISZERO
00002c56: PUSH2 0x2c5e
00002c59: JUMPI
00002c5a: PUSH1 0x00
00002c5c: DUP1
00002c5d: REVERT
00002c5e: JUMPDEST
00002c5f: DUP2
00002c60: MLOAD
00002c61: DUP1
00002c62: ISZERO
00002c63: ISZERO
00002c64: DUP2
00002c65: EQ
00002c66: PUSH2 0x242a
00002c69: JUMPI
00002c6a: PUSH1 0x00
00002c6c: DUP1
00002c6d: REVERT
00002c6e: JUMPDEST
00002c6f: PUSH1 0x00
00002c71: JUMPDEST
00002c72: DUP4
00002c73: DUP2
00002c74: LT
00002c75: ISZERO
00002c76: PUSH2 0x2c89
00002c79: JUMPI
00002c7a: DUP2
00002c7b: DUP2
00002c7c: ADD
00002c7d: MLOAD
00002c7e: DUP4
00002c7f: DUP3
00002c80: ADD
00002c81: MSTORE
00002c82: PUSH1 0x20
00002c84: ADD
00002c85: PUSH2 0x2c71
00002c88: JUMP
00002c89: JUMPDEST
00002c8a: POP
00002c8b: POP
00002c8c: PUSH1 0x00
00002c8e: SWAP2
00002c8f: ADD
00002c90: MSTORE
00002c91: JUMP
00002c92: JUMPDEST
00002c93: PUSH1 0x00
00002c95: DUP3
00002c96: MLOAD
00002c97: PUSH2 0x2ca4
00002c9a: DUP2
00002c9b: DUP5
00002c9c: PUSH1 0x20
00002c9e: DUP8
00002c9f: ADD
00002ca0: PUSH2 0x2c6e
00002ca3: JUMP
00002ca4: JUMPDEST
00002ca5: SWAP2
00002ca6: SWAP1
00002ca7: SWAP2
00002ca8: ADD
00002ca9: SWAP3
00002caa: SWAP2
00002cab: POP
00002cac: POP
00002cad: JUMP
00002cae: JUMPDEST
00002caf: PUSH1 0x20
00002cb1: DUP2
00002cb2: MSTORE
00002cb3: PUSH1 0x00
00002cb5: DUP3
00002cb6: MLOAD
00002cb7: DUP1
00002cb8: PUSH1 0x20
00002cba: DUP5
00002cbb: ADD
00002cbc: MSTORE
00002cbd: PUSH2 0x2ccd
00002cc0: DUP2
00002cc1: PUSH1 0x40
00002cc3: DUP6
00002cc4: ADD
00002cc5: PUSH1 0x20
00002cc7: DUP8
00002cc8: ADD
00002cc9: PUSH2 0x2c6e
00002ccc: JUMP
00002ccd: JUMPDEST
00002cce: PUSH1 0x1f
00002cd0: ADD
00002cd1: PUSH1 0x1f
00002cd3: NOT
00002cd4: AND
00002cd5: SWAP2
00002cd6: SWAP1
00002cd7: SWAP2
00002cd8: ADD
00002cd9: PUSH1 0x40
00002cdb: ADD
00002cdc: SWAP3
00002cdd: SWAP2
00002cde: POP
00002cdf: POP
00002ce0: JUMP
00002ce1: INVALID
00002ce2: LOG2
00002ce3: PUSH5 0x6970667358
00002ce9: UNKNOWN(0x22)
00002cea: SLT
00002ceb: KECCAK256
00002cec: DUP2
00002ced: CALLDATASIZE
00002cee: EXTCODECOPY
00002cef: SWAP4
00002cf0: UNKNOWN(0xBC)
00002cf1: CALLVALUE
00002cf2: UNKNOWN(0xDA)
00002cf3: GAS
00002cf4: REVERT
00002cf5: UNKNOWN(0xBA)
00002cf6: UNKNOWN(0xD1)
00002cf7: BLOBBASEFEE
00002cf8: UNKNOWN(0xC0)
00002cf9: BLOBHASH
00002cfa: PUSH11 0x4ceea5d18fa47c74ea0efe
00002d06: UNKNOWN(0xDD)
00002d07: UNKNOWN(0xCE)
00002d08: SWAP14
00002d09: PUSH32

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: 0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82
call_targets: 0x8c96edc82d111e3c5686f5abe738a82d54d0b887
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8c96edc82d111e3c5686f5abe738a82d54d0b887"
    ],
    "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": "0xdb3ad22c",
            "selector": "0xdb3ad22c",
            "calldata_variants": [
                "0xdb3ad22c",
                "0xdb3ad22c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeff3b3a3",
            "selector": "0xeff3b3a3",
            "calldata_variants": [
                "0xeff3b3a3",
                "0xeff3b3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf23a6e61",
            "selector": "0xf23a6e61",
            "calldata_variants": [
                "0xf23a6e61",
                "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5e63937",
            "selector": "0xf5e63937",
            "calldata_variants": [
                "0xf5e63937",
                "0xf5e639370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3398f89",
            "selector": "0xc3398f89",
            "calldata_variants": [
                "0xc3398f89",
                "0xc3398f890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcc2af308",
            "selector": "0xcc2af308",
            "calldata_variants": [
                "0xcc2af308",
                "0xcc2af3080000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf64d4c2",
            "selector": "0xcf64d4c2",
            "calldata_variants": [
                "0xcf64d4c2",
                "0xcf64d4c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3917,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4493,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4794,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 9,
    "guards_detected": [],
    "untrusted_call_count": 9
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82
call_targets: 0x8c96edc82d111e3c5686f5abe738a82d54d0b887
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x98e98c661e5df0c095623f8b82739f33bfdcadc5f79e69c31522a813a26ddf82",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x8c96edc82d111e3c5686f5abe738a82d54d0b887"
    ],
    "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": "0xdb3ad22c",
            "selector": "0xdb3ad22c",
            "calldata_variants": [
                "0xdb3ad22c",
                "0xdb3ad22c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeff3b3a3",
            "selector": "0xeff3b3a3",
            "calldata_variants": [
                "0xeff3b3a3",
                "0xeff3b3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf23a6e61",
            "selector": "0xf23a6e61",
            "calldata_variants": [
                "0xf23a6e61",
                "0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf5e63937",
            "selector": "0xf5e63937",
            "calldata_variants": [
                "0xf5e63937",
                "0xf5e639370000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc3398f89",
            "selector": "0xc3398f89",
            "calldata_variants": [
                "0xc3398f89",
                "0xc3398f890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcc2af308",
            "selector": "0xcc2af308",
            "calldata_variants": [
                "0xcc2af308",
                "0xcc2af3080000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcf64d4c2",
            "selector": "0xcf64d4c2",
            "calldata_variants": [
                "0xcf64d4c2",
                "0xcf64d4c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3917,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4493,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4794,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 9,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 8
}