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

Analysis Run

43da9f81-474a-4973-bdc7-62143335fb7a

failed
Chain ID
1
Address
Block Number
Created
Wed, Dec 31, 2025 11:48 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
Authorization based on tx.origin
crit 0 high 0 proxy context implementation known
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
30972 report.consolidate complete 1 / 1 3 months ago
94843 artifact.fetch failed 1 / 3 1 week ago
94844 tool.cast_disasm complete 1 / 3 1 week ago
94845 analysis.bundle complete 1 / 3 1 week ago
94846 capability.graph complete 1 / 3 1 week ago
94847 detector.run complete 1 / 3 1 week ago
94848 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
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 path identified in the provided contract under the stated assumptions.
View stderr
[codex:1074968] OpenAI Codex v0.77.0 (research preview)
[codex:1074968] --------
[codex:1074968] workdir: /tmp/codex-multi-km9qpb65
[codex:1074968] model: gpt-5.2-codex
[codex:1074968] provider: openai
[codex:1074968] approval: never
[codex:1074968] sandbox: read-only
[codex:1074968] reasoning effort: xhigh
[codex:1074968] reasoning summaries: auto
[codex:1074968] session id: 019b76cd-bc42-7462-87bd-4afff407e48e
[codex:1074968] --------
[codex:1074968] user
[codex:1074968] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1074968] 
[codex:1074968] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1074968] 
[codex:1074968] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1074968] - Gas inefficiency, code quality, naming, or best practices
[codex:1074968] - Theoretical vulnerabilities without a clear extraction path
[codex:1074968] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1074968] - Front-running unless it enables theft beyond MEV
[codex:1074968] - DoS, griefing, or issues that don't result in attacker profit
[codex:1074968] - Missing events, view function issues, or informational findings
[codex:1074968] 
[codex:1074968] HIGH-VALUE PATTERNS TO HUNT:
[codex:1074968] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1074968] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1074968] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1074968] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1074968] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1074968] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1074968] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1074968] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1074968] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1074968] 
[codex:1074968] For each finding, you MUST provide:
[codex:1074968] 1. Exact file and line numbers of vulnerable code
[codex:1074968] 2. Step-by-step exploit transaction sequence
[codex:1074968] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1074968] 
[codex:1074968] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1074968] 
[codex:1074968] Output MUST be valid JSON matching the provided schema.
[codex:1074968] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1074968] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1074968] mcp startup: no servers
[codex:1074968] 
[codex:1074968] thinking
[codex:1074968] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1074968] exec
[codex:1074968] /bin/bash -lc ls in /tmp/codex-multi-km9qpb65 succeeded in 5ms:
[codex:1074968] AUDIT_BUNDLE.txt
[codex:1074968] codex-output-schema.json
[codex:1074968] contracts
[codex:1074968] exec
[codex:1074968] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-km9qpb65 succeeded in 5ms:
[codex:1074968] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1074968] 
[codex:1074968] ================================================================================
[codex:1074968] FILE: contracts/var/www/html/boltfork/posley/AirPuff/contracts/LendingVaults/AirPuffLendingETH.sol
[codex:1074968] ================================================================================
[codex:1074968] // SPDX-License-Identifier: UNLICENSED
[codex:1074968] pragma solidity 0.8.21;
[codex:1074968] 
[codex:1074968] import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:1074968] import "@openzeppelin/contracts/token/ERC20/extensions/ERC4626.sol";
[codex:1074968] import "@openzeppelin/contracts-upgradeable/token/ERC20/extensions/ERC4626Upgradeable.sol";
[codex:1074968] import "@openzeppelin/contracts-upgradeable/utils/math/MathUpgradeable.sol";
[codex:1074968] 
[codex:1074968] interface IWETH {
[codex:1074968]     function deposit() external payable;
[codex:1074968] 
[codex:1074968]     function withdraw(uint256) external;
[codex:1074968] }
[codex:1074968] 
[codex:1074968] interface IChefIncentivesController {
[codex:1074968] 
[codex:1074968] thinking
[codex:1074968] **Analyzing contract for vulnerabilities**
[codex:1074968] 
[codex:1074968] I’m digging into the deposit and withdraw logic of the ERC4626Upgradeable contract, checking if ignoring certain parameters creates holes or if reentrancy or accounting bugs exist. I’m especially focused on how totalAsset is tracked versus actual WETH balance, reentrancy risks in withdrawETH, and whether any privileged functions can be exploited to profit without authorization. It’s tricky but I’m zeroing in on concrete exploit paths while considering trusted assumptions about external contracts.
[codex:1074968] exec
[codex:1074968] /bin/bash -lc 'rg --files' in /tmp/codex-multi-km9qpb65 succeeded in 9ms:
[codex:1074968] codex-output-schema.json
[codex:1074968] AUDIT_BUNDLE.txt
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/interfaces/IERC4626Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1074968] contracts/var/www/html/boltfork/posley/AirPuff/contracts/LendingVaults/AirPuffLendingETH.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/interfaces/IERC4626.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/ERC4626Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20PermitUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/math/Math.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/Context.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/math/MathUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/token/ERC20/ERC20.sol
[codex:1074968] 
[codex:1074968] 
[codex:1074968] thinking
[codex:1074968] **Analyzing upgradeable contract risks and token handling**
[codex:1074968] 
[codex:1074968] I'm carefully reviewing whether the contract’s external initializer and upgradeable pattern pose concrete exploitable risks, especially proxy hijacking if uninitialized. I'm also scrutinizing token transfer logic for vulnerabilities like minting shares without receiving tokens or reentrancy during withdrawals, while weighing common upgradeable patterns against the need for a clear profit path.
[codex:1074968] thinking
[codex:1074968] **Evaluating token timelock and deposit mechanics**
[codex:1074968] 
[codex:1074968] I'm examining whether timelock checks keyed by msg.sender can be bypassed using contract interactions and considering share inflation possibilities from deposit constraints and token behavior. I'm assessing if any loopholes allow profit extraction, focusing on careful interpretation of upgradeable proxy initialization and token transfer assumptions under strict profit-path criteria.
[codex:1074968] codex
[codex:1074968] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contract under the stated assumptions.","findings":[]}
[codex:1074968] tokens used
[codex:1074968] 22,647
[codex:1074968] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contract under the stated assumptions.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2025-12-31T23:48:45.075397+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path identified in the provided contract under the stated assumptions.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path identified in the provided contract under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
2
CALL-family (heavy)
11
EXT*/BALANCE
5
Total opcodes
7861
Flags
create_opcodes_present 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 0x02a9
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x015cb0a5
00000018: EQ
00000019: PUSH2 0x02b4
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x01e1d114
00000023: EQ
00000024: PUSH2 0x02e8
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x06fdde03
0000002e: EQ
0000002f: PUSH2 0x030a
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0x07a2d13a
00000039: EQ
0000003a: PUSH2 0x032b
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0x095ea7b3
00000044: EQ
00000045: PUSH2 0x034a
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0x0a28a477
0000004f: EQ
00000050: PUSH2 0x0369
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0x0d668087
0000005a: EQ
0000005b: PUSH2 0x0388
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0x1691ae25
00000065: EQ
00000066: PUSH2 0x039d
00000069: JUMPI
0000006a: DUP1
0000006b: PUSH4 0x18160ddd
00000070: EQ
00000071: PUSH2 0x03b1
00000074: JUMPI
00000075: DUP1
00000076: PUSH4 0x1fc8bc5d
0000007b: EQ
0000007c: PUSH2 0x03c5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0x23b872dd
00000086: EQ
00000087: PUSH2 0x03f2
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x302b486a
00000091: EQ
00000092: PUSH2 0x0411
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x313ce567
0000009c: EQ
0000009d: PUSH2 0x043c
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x38d52e0f
000000a7: EQ
000000a8: PUSH2 0x0462
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x39509351
000000b2: EQ
000000b3: PUSH2 0x047f
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x397eb78c
000000bd: EQ
000000be: PUSH2 0x049e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x3fb945db
000000c8: EQ
000000c9: PUSH2 0x04cc
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x402d267d
000000d3: EQ
000000d4: PUSH2 0x04e1
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x422b0ddf
000000de: EQ
000000df: PUSH2 0x0500
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x4a417a53
000000e9: EQ
000000ea: PUSH2 0x0521
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0x4cdad506
000000f4: EQ
000000f5: PUSH2 0x032b
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0x4ee2c4ce
000000ff: EQ
00000100: PUSH2 0x0535
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0x6e553f65
0000010a: EQ
0000010b: PUSH2 0x054a
0000010e: JUMPI
0000010f: DUP1
00000110: PUSH4 0x70a08231
00000115: EQ
00000116: PUSH2 0x0569
00000119: JUMPI
0000011a: DUP1
0000011b: PUSH4 0x715018a6
00000120: EQ
00000121: PUSH2 0x0588
00000124: JUMPI
00000125: DUP1
00000126: PUSH4 0x797bf343
0000012b: EQ
0000012c: PUSH2 0x059c
0000012f: JUMPI
00000130: DUP1
00000131: PUSH4 0x8da5cb5b
00000136: EQ
00000137: PUSH2 0x05b0
0000013a: JUMPI
0000013b: DUP1
0000013c: PUSH4 0x90a8c62a
00000141: EQ
00000142: PUSH2 0x05c4
00000145: JUMPI
00000146: DUP1
00000147: PUSH4 0x918f8674
0000014c: EQ
0000014d: PUSH2 0x05d9
00000150: JUMPI
00000151: DUP1
00000152: PUSH4 0x94bf804d
00000157: EQ
00000158: PUSH2 0x05ee
0000015b: JUMPI
0000015c: DUP1
0000015d: PUSH4 0x95d89b41
00000162: EQ
00000163: PUSH2 0x0608
00000166: JUMPI
00000167: DUP1
00000168: PUSH4 0xa457c2d7
0000016d: EQ
0000016e: PUSH2 0x061c
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0xa9059cbb
00000178: EQ
00000179: PUSH2 0x063b
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0xab745678
00000183: EQ
00000184: PUSH2 0x0655
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0xad5c4648
0000018e: EQ
0000018f: PUSH2 0x0681
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0xae04d45d
00000199: EQ
0000019a: PUSH2 0x06a0
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0xb1884744
000001a4: EQ
000001a5: PUSH2 0x06bf
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0xb3d7f6b9
000001af: EQ
000001b0: PUSH2 0x06de
000001b3: JUMPI
000001b4: DUP1
000001b5: PUSH4 0xb3f00674
000001ba: EQ
000001bb: PUSH2 0x06fd
000001be: JUMPI
000001bf: DUP1
000001c0: PUSH4 0xb460af94
000001c5: EQ
000001c6: PUSH2 0x071c
000001c9: JUMPI
000001ca: DUP1
000001cb: PUSH4 0xba087652
000001d0: EQ
000001d1: PUSH2 0x073b
000001d4: JUMPI
000001d5: DUP1
000001d6: PUSH4 0xc4c4f2ee
000001db: EQ
000001dc: PUSH2 0x0755
000001df: JUMPI
000001e0: DUP1
000001e1: PUSH4 0xc4d66de8
000001e6: EQ
000001e7: PUSH2 0x0774
000001ea: JUMPI
000001eb: DUP1
000001ec: PUSH4 0xc63d75b6
000001f1: EQ
000001f2: PUSH2 0x04e1
000001f5: JUMPI
000001f6: DUP1
000001f7: PUSH4 0xc6e6f592
000001fc: EQ
000001fd: PUSH2 0x0793
00000200: JUMPI
00000201: DUP1
00000202: PUSH4 0xce96cb77
00000207: EQ
00000208: PUSH2 0x07b2
0000020b: JUMPI
0000020c: DUP1
0000020d: PUSH4 0xd905777e
00000212: EQ
00000213: PUSH2 0x07d1
00000216: JUMPI
00000217: DUP1
00000218: PUSH4 0xdbbbbc63
0000021d: EQ
0000021e: PUSH2 0x07f0
00000221: JUMPI
00000222: DUP1
00000223: PUSH4 0xdd62ed3e
00000228: EQ
00000229: PUSH2 0x080f
0000022c: JUMPI
0000022d: DUP1
0000022e: PUSH4 0xe420e3db
00000233: EQ
00000234: PUSH2 0x082e
00000237: JUMPI
00000238: DUP1
00000239: PUSH4 0xe73a511c
0000023e: EQ
0000023f: PUSH2 0x084d
00000242: JUMPI
00000243: DUP1
00000244: PUSH4 0xe8d76bce
00000249: EQ
0000024a: PUSH2 0x086c
0000024d: JUMPI
0000024e: DUP1
0000024f: PUSH4 0xeb824c25
00000254: EQ
00000255: PUSH2 0x089a
00000258: JUMPI
00000259: DUP1
0000025a: PUSH4 0xef8b30f7
0000025f: EQ
00000260: PUSH2 0x0793
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0xf14210a6
0000026a: EQ
0000026b: PUSH2 0x08b9
0000026e: JUMPI
0000026f: DUP1
00000270: PUSH4 0xf2fde38b
00000275: EQ
00000276: PUSH2 0x08d8
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0xf386cfc2
00000280: EQ
00000281: PUSH2 0x08f7
00000284: JUMPI
00000285: DUP1
00000286: PUSH4 0xf6326fb3
0000028b: EQ
0000028c: PUSH2 0x0923
0000028f: JUMPI
00000290: DUP1
00000291: PUSH4 0xf9d33ef7
00000296: EQ
00000297: PUSH2 0x092b
0000029a: JUMPI
0000029b: DUP1
0000029c: PUSH4 0xfc7b9c18
000002a1: EQ
000002a2: PUSH2 0x094a
000002a5: JUMPI
000002a6: PUSH0
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: CALLDATASIZE
000002ab: PUSH2 0x02b0
000002ae: JUMPI
000002af: STOP
000002b0: JUMPDEST
000002b1: PUSH0
000002b2: DUP1
000002b3: REVERT
000002b4: JUMPDEST
000002b5: CALLVALUE
000002b6: DUP1
000002b7: ISZERO
000002b8: PUSH2 0x02bf
000002bb: JUMPI
000002bc: PUSH0
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x02d3
000002c4: PUSH2 0x02ce
000002c7: CALLDATASIZE
000002c8: PUSH1 0x04
000002ca: PUSH2 0x2a15
000002cd: JUMP
000002ce: JUMPDEST
000002cf: PUSH2 0x095f
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH1 0x40
000002d6: MLOAD
000002d7: SWAP1
000002d8: ISZERO
000002d9: ISZERO
000002da: DUP2
000002db: MSTORE
000002dc: PUSH1 0x20
000002de: ADD
000002df: JUMPDEST
000002e0: PUSH1 0x40
000002e2: MLOAD
000002e3: DUP1
000002e4: SWAP2
000002e5: SUB
000002e6: SWAP1
000002e7: RETURN
000002e8: JUMPDEST
000002e9: CALLVALUE
000002ea: DUP1
000002eb: ISZERO
000002ec: PUSH2 0x02f3
000002ef: JUMPI
000002f0: PUSH0
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x02fc
000002f8: PUSH2 0x0a41
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH1 0x40
000002ff: MLOAD
00000300: SWAP1
00000301: DUP2
00000302: MSTORE
00000303: PUSH1 0x20
00000305: ADD
00000306: PUSH2 0x02df
00000309: JUMP
0000030a: JUMPDEST
0000030b: CALLVALUE
0000030c: DUP1
0000030d: ISZERO
0000030e: PUSH2 0x0315
00000311: JUMPI
00000312: PUSH0
00000313: DUP1
00000314: REVERT
00000315: JUMPDEST
00000316: POP
00000317: PUSH2 0x031e
0000031a: PUSH2 0x0a57
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: PUSH2 0x02df
00000325: SWAP2
00000326: SWAP1
00000327: PUSH2 0x2a57
0000032a: JUMP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0336
00000332: JUMPI
00000333: PUSH0
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x02fc
0000033b: PUSH2 0x0345
0000033e: CALLDATASIZE
0000033f: PUSH1 0x04
00000341: PUSH2 0x2a89
00000344: JUMP
00000345: JUMPDEST
00000346: PUSH2 0x0ae7
00000349: JUMP
0000034a: JUMPDEST
0000034b: CALLVALUE
0000034c: DUP1
0000034d: ISZERO
0000034e: PUSH2 0x0355
00000351: JUMPI
00000352: PUSH0
00000353: DUP1
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x02d3
0000035a: PUSH2 0x0364
0000035d: CALLDATASIZE
0000035e: PUSH1 0x04
00000360: PUSH2 0x2abb
00000363: JUMP
00000364: JUMPDEST
00000365: PUSH2 0x0af2
00000368: JUMP
00000369: JUMPDEST
0000036a: CALLVALUE
0000036b: DUP1
0000036c: ISZERO
0000036d: PUSH2 0x0374
00000370: JUMPI
00000371: PUSH0
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x02fc
00000379: PUSH2 0x0383
0000037c: CALLDATASIZE
0000037d: PUSH1 0x04
0000037f: PUSH2 0x2a89
00000382: JUMP
00000383: JUMPDEST
00000384: PUSH2 0x0b09
00000387: JUMP
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: DUP1
0000038b: ISZERO
0000038c: PUSH2 0x0393
0000038f: JUMPI
00000390: PUSH0
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x02fc
00000398: PUSH1 0xd5
0000039a: SLOAD
0000039b: DUP2
0000039c: JUMP
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a8
000003a4: JUMPI
000003a5: PUSH0
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: POP
000003aa: PUSH2 0x02fc
000003ad: PUSH2 0x0b15
000003b0: JUMP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bc
000003b8: JUMPI
000003b9: PUSH0
000003ba: DUP1
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH1 0x35
000003c0: SLOAD
000003c1: PUSH2 0x02fc
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d0
000003cc: JUMPI
000003cd: PUSH0
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x010a
000003d5: SLOAD
000003d6: PUSH2 0x03e5
000003d9: SWAP1
000003da: PUSH1 0x01
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: SHL
000003e1: SUB
000003e2: AND
000003e3: DUP2
000003e4: JUMP
000003e5: JUMPDEST
000003e6: PUSH1 0x40
000003e8: MLOAD
000003e9: PUSH2 0x02df
000003ec: SWAP2
000003ed: SWAP1
000003ee: PUSH2 0x2ae3
000003f1: JUMP
000003f2: JUMPDEST
000003f3: CALLVALUE
000003f4: DUP1
000003f5: ISZERO
000003f6: PUSH2 0x03fd
000003f9: JUMPI
000003fa: PUSH0
000003fb: DUP1
000003fc: REVERT
000003fd: JUMPDEST
000003fe: POP
000003ff: PUSH2 0x02d3
00000402: PUSH2 0x040c
00000405: CALLDATASIZE
00000406: PUSH1 0x04
00000408: PUSH2 0x2af7
0000040b: JUMP
0000040c: JUMPDEST
0000040d: PUSH2 0x0b4b
00000410: JUMP
00000411: JUMPDEST
00000412: CALLVALUE
00000413: DUP1
00000414: ISZERO
00000415: PUSH2 0x041c
00000418: JUMPI
00000419: PUSH0
0000041a: DUP1
0000041b: REVERT
0000041c: JUMPDEST
0000041d: POP
0000041e: PUSH2 0x02fc
00000421: PUSH2 0x042b
00000424: CALLDATASIZE
00000425: PUSH1 0x04
00000427: PUSH2 0x2b30
0000042a: JUMP
0000042b: JUMPDEST
0000042c: PUSH1 0xd2
0000042e: PUSH1 0x20
00000430: MSTORE
00000431: PUSH0
00000432: SWAP1
00000433: DUP2
00000434: MSTORE
00000435: PUSH1 0x40
00000437: SWAP1
00000438: KECCAK256
00000439: SLOAD
0000043a: DUP2
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0447
00000443: JUMPI
00000444: PUSH0
00000445: DUP1
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH2 0x0450
0000044c: PUSH2 0x0b80
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x40
00000453: MLOAD
00000454: PUSH1 0xff
00000456: SWAP1
00000457: SWAP2
00000458: AND
00000459: DUP2
0000045a: MSTORE
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: PUSH2 0x02df
00000461: JUMP
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046d
00000469: JUMPI
0000046a: PUSH0
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH1 0x65
00000471: SLOAD
00000472: PUSH1 0x01
00000474: PUSH1 0x01
00000476: PUSH1 0xa0
00000478: SHL
00000479: SUB
0000047a: AND
0000047b: PUSH2 0x03e5
0000047e: JUMP
0000047f: JUMPDEST
00000480: CALLVALUE
00000481: DUP1
00000482: ISZERO
00000483: PUSH2 0x048a
00000486: JUMPI
00000487: PUSH0
00000488: DUP1
00000489: REVERT
0000048a: JUMPDEST
0000048b: POP
0000048c: PUSH2 0x02d3
0000048f: PUSH2 0x0499
00000492: CALLDATASIZE
00000493: PUSH1 0x04
00000495: PUSH2 0x2abb
00000498: JUMP
00000499: JUMPDEST
0000049a: PUSH2 0x0b99
0000049d: JUMP
0000049e: JUMPDEST
0000049f: CALLVALUE
000004a0: DUP1
000004a1: ISZERO
000004a2: PUSH2 0x04a9
000004a5: JUMPI
000004a6: PUSH0
000004a7: DUP1
000004a8: REVERT
000004a9: JUMPDEST
000004aa: POP
000004ab: PUSH2 0x02d3
000004ae: PUSH2 0x04b8
000004b1: CALLDATASIZE
000004b2: PUSH1 0x04
000004b4: PUSH2 0x2b30
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH1 0xd3
000004bb: PUSH1 0x20
000004bd: MSTORE
000004be: PUSH0
000004bf: SWAP1
000004c0: DUP2
000004c1: MSTORE
000004c2: PUSH1 0x40
000004c4: SWAP1
000004c5: KECCAK256
000004c6: SLOAD
000004c7: PUSH1 0xff
000004c9: AND
000004ca: DUP2
000004cb: JUMP
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d7
000004d3: JUMPI
000004d4: PUSH0
000004d5: DUP1
000004d6: REVERT
000004d7: JUMPDEST
000004d8: POP
000004d9: PUSH2 0x02fc
000004dc: PUSH1 0xd1
000004de: SLOAD
000004df: DUP2
000004e0: JUMP
000004e1: JUMPDEST
000004e2: CALLVALUE
000004e3: DUP1
000004e4: ISZERO
000004e5: PUSH2 0x04ec
000004e8: JUMPI
000004e9: PUSH0
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: POP
000004ee: PUSH2 0x02fc
000004f1: PUSH2 0x04fb
000004f4: CALLDATASIZE
000004f5: PUSH1 0x04
000004f7: PUSH2 0x2b30
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH2 0x0bba
000004ff: JUMP
00000500: JUMPDEST
00000501: CALLVALUE
00000502: DUP1
00000503: ISZERO
00000504: PUSH2 0x050b
00000507: JUMPI
00000508: PUSH0
00000509: DUP1
0000050a: REVERT
0000050b: JUMPDEST
0000050c: POP
0000050d: PUSH2 0x051f
00000510: PUSH2 0x051a
00000513: CALLDATASIZE
00000514: PUSH1 0x04
00000516: PUSH2 0x2abb
00000519: JUMP
0000051a: JUMPDEST
0000051b: PUSH2 0x0bc0
0000051e: JUMP
0000051f: JUMPDEST
00000520: STOP
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052c
00000528: JUMPI
00000529: PUSH0
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: PUSH2 0x02fc
00000531: PUSH2 0x0c9a
00000534: JUMP
00000535: JUMPDEST
00000536: CALLVALUE
00000537: DUP1
00000538: ISZERO
00000539: PUSH2 0x0540
0000053c: JUMPI
0000053d: PUSH0
0000053e: DUP1
0000053f: REVERT
00000540: JUMPDEST
00000541: POP
00000542: PUSH2 0x02fc
00000545: PUSH1 0xcb
00000547: SLOAD
00000548: DUP2
00000549: JUMP
0000054a: JUMPDEST
0000054b: CALLVALUE
0000054c: DUP1
0000054d: ISZERO
0000054e: PUSH2 0x0555
00000551: JUMPI
00000552: PUSH0
00000553: DUP1
00000554: REVERT
00000555: JUMPDEST
00000556: POP
00000557: PUSH2 0x02fc
0000055a: PUSH2 0x0564
0000055d: CALLDATASIZE
0000055e: PUSH1 0x04
00000560: PUSH2 0x2b49
00000563: JUMP
00000564: JUMPDEST
00000565: PUSH2 0x0cd5
00000568: JUMP
00000569: JUMPDEST
0000056a: CALLVALUE
0000056b: DUP1
0000056c: ISZERO
0000056d: PUSH2 0x0574
00000570: JUMPI
00000571: PUSH0
00000572: DUP1
00000573: REVERT
00000574: JUMPDEST
00000575: POP
00000576: PUSH2 0x02fc
00000579: PUSH2 0x0583
0000057c: CALLDATASIZE
0000057d: PUSH1 0x04
0000057f: PUSH2 0x2b30
00000582: JUMP
00000583: JUMPDEST
00000584: PUSH2 0x0dd7
00000587: JUMP
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: DUP1
0000058b: ISZERO
0000058c: PUSH2 0x0593
0000058f: JUMPI
00000590: PUSH0
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH2 0x051f
00000598: PUSH2 0x0df1
0000059b: JUMP
0000059c: JUMPDEST
0000059d: CALLVALUE
0000059e: DUP1
0000059f: ISZERO
000005a0: PUSH2 0x05a7
000005a3: JUMPI
000005a4: PUSH0
000005a5: DUP1
000005a6: REVERT
000005a7: JUMPDEST
000005a8: POP
000005a9: PUSH1 0xcd
000005ab: SLOAD
000005ac: PUSH2 0x02fc
000005af: JUMP
000005b0: JUMPDEST
000005b1: CALLVALUE
000005b2: DUP1
000005b3: ISZERO
000005b4: PUSH2 0x05bb
000005b7: JUMPI
000005b8: PUSH0
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: PUSH2 0x03e5
000005c0: PUSH2 0x0e04
000005c3: JUMP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05cf
000005cb: JUMPI
000005cc: PUSH0
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: POP
000005d1: PUSH2 0x02fc
000005d4: PUSH1 0xcc
000005d6: SLOAD
000005d7: DUP2
000005d8: JUMP
000005d9: JUMPDEST
000005da: CALLVALUE
000005db: DUP1
000005dc: ISZERO
000005dd: PUSH2 0x05e4
000005e0: JUMPI
000005e1: PUSH0
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: POP
000005e6: PUSH2 0x02fc
000005e9: PUSH2 0x2710
000005ec: DUP2
000005ed: JUMP
000005ee: JUMPDEST
000005ef: CALLVALUE
000005f0: DUP1
000005f1: ISZERO
000005f2: PUSH2 0x05f9
000005f5: JUMPI
000005f6: PUSH0
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: PUSH2 0x02fc
000005fe: PUSH2 0x040c
00000601: CALLDATASIZE
00000602: PUSH1 0x04
00000604: PUSH2 0x2b49
00000607: JUMP
00000608: JUMPDEST
00000609: CALLVALUE
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0613
0000060f: JUMPI
00000610: PUSH0
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: POP
00000615: PUSH2 0x031e
00000618: PUSH2 0x0e13
0000061b: JUMP
0000061c: JUMPDEST
0000061d: CALLVALUE
0000061e: DUP1
0000061f: ISZERO
00000620: PUSH2 0x0627
00000623: JUMPI
00000624: PUSH0
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: PUSH2 0x02d3
0000062c: PUSH2 0x0636
0000062f: CALLDATASIZE
00000630: PUSH1 0x04
00000632: PUSH2 0x2abb
00000635: JUMP
00000636: JUMPDEST
00000637: PUSH2 0x0e22
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0646
00000642: JUMPI
00000643: PUSH0
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: POP
00000648: PUSH2 0x02d3
0000064b: PUSH2 0x040c
0000064e: CALLDATASIZE
0000064f: PUSH1 0x04
00000651: PUSH2 0x2abb
00000654: JUMP
00000655: JUMPDEST
00000656: CALLVALUE
00000657: DUP1
00000658: ISZERO
00000659: PUSH2 0x0660
0000065c: JUMPI
0000065d: PUSH0
0000065e: DUP1
0000065f: REVERT
00000660: JUMPDEST
00000661: POP
00000662: PUSH2 0x02fc
00000665: PUSH2 0x066f
00000668: CALLDATASIZE
00000669: PUSH1 0x04
0000066b: PUSH2 0x2b30
0000066e: JUMP
0000066f: JUMPDEST
00000670: PUSH2 0x0109
00000673: PUSH1 0x20
00000675: MSTORE
00000676: PUSH0
00000677: SWAP1
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x40
0000067c: SWAP1
0000067d: KECCAK256
0000067e: SLOAD
0000067f: DUP2
00000680: JUMP
00000681: JUMPDEST
00000682: CALLVALUE
00000683: DUP1
00000684: ISZERO
00000685: PUSH2 0x068c
00000688: JUMPI
00000689: PUSH0
0000068a: DUP1
0000068b: REVERT
0000068c: JUMPDEST
0000068d: POP
0000068e: PUSH1 0xc9
00000690: SLOAD
00000691: PUSH2 0x03e5
00000694: SWAP1
00000695: PUSH1 0x01
00000697: PUSH1 0x01
00000699: PUSH1 0xa0
0000069b: SHL
0000069c: SUB
0000069d: AND
0000069e: DUP2
0000069f: JUMP
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: DUP1
000006a3: ISZERO
000006a4: PUSH2 0x06ab
000006a7: JUMPI
000006a8: PUSH0
000006a9: DUP1
000006aa: REVERT
000006ab: JUMPDEST
000006ac: POP
000006ad: PUSH2 0x051f
000006b0: PUSH2 0x06ba
000006b3: CALLDATASIZE
000006b4: PUSH1 0x04
000006b6: PUSH2 0x2a89
000006b9: JUMP
000006ba: JUMPDEST
000006bb: PUSH2 0x0ea7
000006be: JUMP
000006bf: JUMPDEST
000006c0: CALLVALUE
000006c1: DUP1
000006c2: ISZERO
000006c3: PUSH2 0x06ca
000006c6: JUMPI
000006c7: PUSH0
000006c8: DUP1
000006c9: REVERT
000006ca: JUMPDEST
000006cb: POP
000006cc: PUSH2 0x02d3
000006cf: PUSH2 0x06d9
000006d2: CALLDATASIZE
000006d3: PUSH1 0x04
000006d5: PUSH2 0x2b49
000006d8: JUMP
000006d9: JUMPDEST
000006da: PUSH2 0x0f31
000006dd: JUMP
000006de: JUMPDEST
000006df: CALLVALUE
000006e0: DUP1
000006e1: ISZERO
000006e2: PUSH2 0x06e9
000006e5: JUMPI
000006e6: PUSH0
000006e7: DUP1
000006e8: REVERT
000006e9: JUMPDEST
000006ea: POP
000006eb: PUSH2 0x02fc
000006ee: PUSH2 0x06f8
000006f1: CALLDATASIZE
000006f2: PUSH1 0x04
000006f4: PUSH2 0x2a89
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH2 0x1121
000006fc: JUMP
000006fd: JUMPDEST
000006fe: CALLVALUE
000006ff: DUP1
00000700: ISZERO
00000701: PUSH2 0x0708
00000704: JUMPI
00000705: PUSH0
00000706: DUP1
00000707: REVERT
00000708: JUMPDEST
00000709: POP
0000070a: PUSH1 0xca
0000070c: SLOAD
0000070d: PUSH2 0x03e5
00000710: SWAP1
00000711: PUSH1 0x01
00000713: PUSH1 0x01
00000715: PUSH1 0xa0
00000717: SHL
00000718: SUB
00000719: AND
0000071a: DUP2
0000071b: JUMP
0000071c: JUMPDEST
0000071d: CALLVALUE
0000071e: DUP1
0000071f: ISZERO
00000720: PUSH2 0x0727
00000723: JUMPI
00000724: PUSH0
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: POP
00000729: PUSH2 0x02fc
0000072c: PUSH2 0x0736
0000072f: CALLDATASIZE
00000730: PUSH1 0x04
00000732: PUSH2 0x2b73
00000735: JUMP
00000736: JUMPDEST
00000737: PUSH2 0x112d
0000073a: JUMP
0000073b: JUMPDEST
0000073c: CALLVALUE
0000073d: DUP1
0000073e: ISZERO
0000073f: PUSH2 0x0746
00000742: JUMPI
00000743: PUSH0
00000744: DUP1
00000745: REVERT
00000746: JUMPDEST
00000747: POP
00000748: PUSH2 0x02fc
0000074b: PUSH2 0x040c
0000074e: CALLDATASIZE
0000074f: PUSH1 0x04
00000751: PUSH2 0x2b73
00000754: JUMP
00000755: JUMPDEST
00000756: CALLVALUE
00000757: DUP1
00000758: ISZERO
00000759: PUSH2 0x0760
0000075c: JUMPI
0000075d: PUSH0
0000075e: DUP1
0000075f: REVERT
00000760: JUMPDEST
00000761: POP
00000762: PUSH2 0x051f
00000765: PUSH2 0x076f
00000768: CALLDATASIZE
00000769: PUSH1 0x04
0000076b: PUSH2 0x2bb9
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH2 0x1316
00000773: JUMP
00000774: JUMPDEST
00000775: CALLVALUE
00000776: DUP1
00000777: ISZERO
00000778: PUSH2 0x077f
0000077b: JUMPI
0000077c: PUSH0
0000077d: DUP1
0000077e: REVERT
0000077f: JUMPDEST
00000780: POP
00000781: PUSH2 0x051f
00000784: PUSH2 0x078e
00000787: CALLDATASIZE
00000788: PUSH1 0x04
0000078a: PUSH2 0x2b30
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH2 0x1370
00000792: JUMP
00000793: JUMPDEST
00000794: CALLVALUE
00000795: DUP1
00000796: ISZERO
00000797: PUSH2 0x079e
0000079a: JUMPI
0000079b: PUSH0
0000079c: DUP1
0000079d: REVERT
0000079e: JUMPDEST
0000079f: POP
000007a0: PUSH2 0x02fc
000007a3: PUSH2 0x07ad
000007a6: CALLDATASIZE
000007a7: PUSH1 0x04
000007a9: PUSH2 0x2a89
000007ac: JUMP
000007ad: JUMPDEST
000007ae: PUSH2 0x1554
000007b1: JUMP
000007b2: JUMPDEST
000007b3: CALLVALUE
000007b4: DUP1
000007b5: ISZERO
000007b6: PUSH2 0x07bd
000007b9: JUMPI
000007ba: PUSH0
000007bb: DUP1
000007bc: REVERT
000007bd: JUMPDEST
000007be: POP
000007bf: PUSH2 0x02fc
000007c2: PUSH2 0x07cc
000007c5: CALLDATASIZE
000007c6: PUSH1 0x04
000007c8: PUSH2 0x2b30
000007cb: JUMP
000007cc: JUMPDEST
000007cd: PUSH2 0x155f
000007d0: JUMP
000007d1: JUMPDEST
000007d2: CALLVALUE
000007d3: DUP1
000007d4: ISZERO
000007d5: PUSH2 0x07dc
000007d8: JUMPI
000007d9: PUSH0
000007da: DUP1
000007db: REVERT
000007dc: JUMPDEST
000007dd: POP
000007de: PUSH2 0x02fc
000007e1: PUSH2 0x07eb
000007e4: CALLDATASIZE
000007e5: PUSH1 0x04
000007e7: PUSH2 0x2b30
000007ea: JUMP
000007eb: JUMPDEST
000007ec: PUSH2 0x1572
000007ef: JUMP
000007f0: JUMPDEST
000007f1: CALLVALUE
000007f2: DUP1
000007f3: ISZERO
000007f4: PUSH2 0x07fb
000007f7: JUMPI
000007f8: PUSH0
000007f9: DUP1
000007fa: REVERT
000007fb: JUMPDEST
000007fc: POP
000007fd: PUSH2 0x051f
00000800: PUSH2 0x080a
00000803: CALLDATASIZE
00000804: PUSH1 0x04
00000806: PUSH2 0x2b30
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH2 0x157c
0000080e: JUMP
0000080f: JUMPDEST
00000810: CALLVALUE
00000811: DUP1
00000812: ISZERO
00000813: PUSH2 0x081a
00000816: JUMPI
00000817: PUSH0
00000818: DUP1
00000819: REVERT
0000081a: JUMPDEST
0000081b: POP
0000081c: PUSH2 0x02fc
0000081f: PUSH2 0x0829
00000822: CALLDATASIZE
00000823: PUSH1 0x04
00000825: PUSH2 0x2bee
00000828: JUMP
00000829: JUMPDEST
0000082a: PUSH2 0x15d0
0000082d: JUMP
0000082e: JUMPDEST
0000082f: CALLVALUE
00000830: DUP1
00000831: ISZERO
00000832: PUSH2 0x0839
00000835: JUMPI
00000836: PUSH0
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH2 0x051f
0000083e: PUSH2 0x0848
00000841: CALLDATASIZE
00000842: PUSH1 0x04
00000844: PUSH2 0x2a89
00000847: JUMP
00000848: JUMPDEST
00000849: PUSH2 0x15fa
0000084c: JUMP
0000084d: JUMPDEST
0000084e: CALLVALUE
0000084f: DUP1
00000850: ISZERO
00000851: PUSH2 0x0858
00000854: JUMPI
00000855: PUSH0
00000856: DUP1
00000857: REVERT
00000858: JUMPDEST
00000859: POP
0000085a: PUSH2 0x051f
0000085d: PUSH2 0x0867
00000860: CALLDATASIZE
00000861: PUSH1 0x04
00000863: PUSH2 0x2a89
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH2 0x16b5
0000086b: JUMP
0000086c: JUMPDEST
0000086d: CALLVALUE
0000086e: DUP1
0000086f: ISZERO
00000870: PUSH2 0x0877
00000873: JUMPI
00000874: PUSH0
00000875: DUP1
00000876: REVERT
00000877: JUMPDEST
00000878: POP
00000879: PUSH2 0x02d3
0000087c: PUSH2 0x0886
0000087f: CALLDATASIZE
00000880: PUSH1 0x04
00000882: PUSH2 0x2b30
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0xd4
00000889: PUSH1 0x20
0000088b: MSTORE
0000088c: PUSH0
0000088d: SWAP1
0000088e: DUP2
0000088f: MSTORE
00000890: PUSH1 0x40
00000892: SWAP1
00000893: KECCAK256
00000894: SLOAD
00000895: PUSH1 0xff
00000897: AND
00000898: DUP2
00000899: JUMP
0000089a: JUMPDEST
0000089b: CALLVALUE
0000089c: DUP1
0000089d: ISZERO
0000089e: PUSH2 0x08a5
000008a1: JUMPI
000008a2: PUSH0
000008a3: DUP1
000008a4: REVERT
000008a5: JUMPDEST
000008a6: POP
000008a7: PUSH2 0x051f
000008aa: PUSH2 0x08b4
000008ad: CALLDATASIZE
000008ae: PUSH1 0x04
000008b0: PUSH2 0x2abb
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH2 0x1715
000008b8: JUMP
000008b9: JUMPDEST
000008ba: CALLVALUE
000008bb: DUP1
000008bc: ISZERO
000008bd: PUSH2 0x08c4
000008c0: JUMPI
000008c1: PUSH0
000008c2: DUP1
000008c3: REVERT
000008c4: JUMPDEST
000008c5: POP
000008c6: PUSH2 0x02fc
000008c9: PUSH2 0x08d3
000008cc: CALLDATASIZE
000008cd: PUSH1 0x04
000008cf: PUSH2 0x2a89
000008d2: JUMP
000008d3: JUMPDEST
000008d4: PUSH2 0x17ce
000008d7: JUMP
000008d8: JUMPDEST
000008d9: CALLVALUE
000008da: DUP1
000008db: ISZERO
000008dc: PUSH2 0x08e3
000008df: JUMPI
000008e0: PUSH0
000008e1: DUP1
000008e2: REVERT
000008e3: JUMPDEST
000008e4: POP
000008e5: PUSH2 0x051f
000008e8: PUSH2 0x08f2
000008eb: CALLDATASIZE
000008ec: PUSH1 0x04
000008ee: PUSH2 0x2b30
000008f1: JUMP
000008f2: JUMPDEST
000008f3: PUSH2 0x1ab8
000008f6: JUMP
000008f7: JUMPDEST
000008f8: CALLVALUE
000008f9: DUP1
000008fa: ISZERO
000008fb: PUSH2 0x0902
000008fe: JUMPI
000008ff: PUSH0
00000900: DUP1
00000901: REVERT
00000902: JUMPDEST
00000903: POP
00000904: PUSH2 0x02fc
00000907: PUSH2 0x0911
0000090a: CALLDATASIZE
0000090b: PUSH1 0x04
0000090d: PUSH2 0x2b30
00000910: JUMP
00000911: JUMPDEST
00000912: PUSH2 0x0108
00000915: PUSH1 0x20
00000917: MSTORE
00000918: PUSH0
00000919: SWAP1
0000091a: DUP2
0000091b: MSTORE
0000091c: PUSH1 0x40
0000091e: SWAP1
0000091f: KECCAK256
00000920: SLOAD
00000921: DUP2
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH2 0x02fc
00000927: PUSH2 0x1b31
0000092a: JUMP
0000092b: JUMPDEST
0000092c: CALLVALUE
0000092d: DUP1
0000092e: ISZERO
0000092f: PUSH2 0x0936
00000932: JUMPI
00000933: PUSH0
00000934: DUP1
00000935: REVERT
00000936: JUMPDEST
00000937: POP
00000938: PUSH2 0x051f
0000093b: PUSH2 0x0945
0000093e: CALLDATASIZE
0000093f: PUSH1 0x04
00000941: PUSH2 0x2bb9
00000944: JUMP
00000945: JUMPDEST
00000946: PUSH2 0x1c1f
00000949: JUMP
0000094a: JUMPDEST
0000094b: CALLVALUE
0000094c: DUP1
0000094d: ISZERO
0000094e: PUSH2 0x0955
00000951: JUMPI
00000952: PUSH0
00000953: DUP1
00000954: REVERT
00000955: JUMPDEST
00000956: POP
00000957: PUSH2 0x02fc
0000095a: PUSH1 0xd0
0000095c: SLOAD
0000095d: DUP2
0000095e: JUMP
0000095f: JUMPDEST
00000960: CALLER
00000961: PUSH0
00000962: SWAP1
00000963: DUP2
00000964: MSTORE
00000965: PUSH1 0xd4
00000967: PUSH1 0x20
00000969: MSTORE
0000096a: PUSH1 0x40
0000096c: DUP2
0000096d: KECCAK256
0000096e: SLOAD
0000096f: PUSH1 0xff
00000971: AND
00000972: PUSH2 0x0996
00000975: JUMPI
00000976: PUSH1 0x40
00000978: MLOAD
00000979: PUSH3 0x461bcd
0000097d: PUSH1 0xe5
0000097f: SHL
00000980: DUP2
00000981: MSTORE
00000982: PUSH1 0x04
00000984: ADD
00000985: PUSH2 0x098d
00000988: SWAP1
00000989: PUSH2 0x2c16
0000098c: JUMP
0000098d: JUMPDEST
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: DUP1
00000992: SWAP2
00000993: SUB
00000994: SWAP1
00000995: REVERT
00000996: JUMPDEST
00000997: PUSH1 0xc9
00000999: SLOAD
0000099a: PUSH2 0x09ae
0000099d: SWAP1
0000099e: PUSH1 0x01
000009a0: PUSH1 0x01
000009a2: PUSH1 0xa0
000009a4: SHL
000009a5: SUB
000009a6: AND
000009a7: CALLER
000009a8: ADDRESS
000009a9: DUP6
000009aa: PUSH2 0x1cad
000009ad: JUMP
000009ae: JUMPDEST
000009af: DUP3
000009b0: PUSH1 0xd0
000009b2: SLOAD
000009b3: PUSH2 0x09bc
000009b6: SWAP2
000009b7: SWAP1
000009b8: PUSH2 0x2c58
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0xd0
000009bf: DUP2
000009c0: SWAP1
000009c1: SSTORE
000009c2: POP
000009c3: DUP2
000009c4: PUSH1 0xcd
000009c6: PUSH0
000009c7: DUP3
000009c8: DUP3
000009c9: SLOAD
000009ca: PUSH2 0x09d3
000009cd: SWAP2
000009ce: SWAP1
000009cf: PUSH2 0x2c6b
000009d2: JUMP
000009d3: JUMPDEST
000009d4: SWAP1
000009d5: SWAP2
000009d6: SSTORE
000009d7: POP
000009d8: POP
000009d9: CALLER
000009da: PUSH0
000009db: SWAP1
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH2 0x0109
000009e1: PUSH1 0x20
000009e3: MSTORE
000009e4: PUSH1 0x40
000009e6: DUP2
000009e7: KECCAK256
000009e8: DUP1
000009e9: SLOAD
000009ea: DUP6
000009eb: SWAP3
000009ec: SWAP1
000009ed: PUSH2 0x09f7
000009f0: SWAP1
000009f1: DUP5
000009f2: SWAP1
000009f3: PUSH2 0x2c58
000009f6: JUMP
000009f7: JUMPDEST
000009f8: SWAP1
000009f9: SWAP2
000009fa: SSTORE
000009fb: POP
000009fc: POP
000009fd: PUSH1 0x40
000009ff: DUP1
00000a00: MLOAD
00000a01: DUP5
00000a02: DUP2
00000a03: MSTORE
00000a04: PUSH1 0x20
00000a06: DUP2
00000a07: ADD
00000a08: DUP5
00000a09: SWAP1
00000a0a: MSTORE
00000a0b: CALLER
00000a0c: SWAP2
00000a0d: PUSH32 0x9ba25c7034b6ce546184222311386e26a078a33b4a1d22fd90ad758233045e92
00000a2e: SWAP2
00000a2f: ADD
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: DUP1
00000a34: SWAP2
00000a35: SUB
00000a36: SWAP1
00000a37: LOG2
00000a38: POP
00000a39: PUSH1 0x01
00000a3b: JUMPDEST
00000a3c: SWAP3
00000a3d: SWAP2
00000a3e: POP
00000a3f: POP
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH0
00000a43: PUSH1 0xd0
00000a45: SLOAD
00000a46: PUSH1 0xcd
00000a48: SLOAD
00000a49: PUSH2 0x0a52
00000a4c: SWAP2
00000a4d: SWAP1
00000a4e: PUSH2 0x2c6b
00000a51: JUMP
00000a52: JUMPDEST
00000a53: SWAP1
00000a54: POP
00000a55: SWAP1
00000a56: JUMP
00000a57: JUMPDEST
00000a58: PUSH1 0x60
00000a5a: PUSH1 0x36
00000a5c: DUP1
00000a5d: SLOAD
00000a5e: PUSH2 0x0a66
00000a61: SWAP1
00000a62: PUSH2 0x2c7e
00000a65: JUMP
00000a66: JUMPDEST
00000a67: DUP1
00000a68: PUSH1 0x1f
00000a6a: ADD
00000a6b: PUSH1 0x20
00000a6d: DUP1
00000a6e: SWAP2
00000a6f: DIV
00000a70: MUL
00000a71: PUSH1 0x20
00000a73: ADD
00000a74: PUSH1 0x40
00000a76: MLOAD
00000a77: SWAP1
00000a78: DUP2
00000a79: ADD
00000a7a: PUSH1 0x40
00000a7c: MSTORE
00000a7d: DUP1
00000a7e: SWAP3
00000a7f: SWAP2
00000a80: SWAP1
00000a81: DUP2
00000a82: DUP2
00000a83: MSTORE
00000a84: PUSH1 0x20
00000a86: ADD
00000a87: DUP3
00000a88: DUP1
00000a89: SLOAD
00000a8a: PUSH2 0x0a92
00000a8d: SWAP1
00000a8e: PUSH2 0x2c7e
00000a91: JUMP
00000a92: JUMPDEST
00000a93: DUP1
00000a94: ISZERO
00000a95: PUSH2 0x0add
00000a98: JUMPI
00000a99: DUP1
00000a9a: PUSH1 0x1f
00000a9c: LT
00000a9d: PUSH2 0x0ab4
00000aa0: JUMPI
00000aa1: PUSH2 0x0100
00000aa4: DUP1
00000aa5: DUP4
00000aa6: SLOAD
00000aa7: DIV
00000aa8: MUL
00000aa9: DUP4
00000aaa: MSTORE
00000aab: SWAP2
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: SWAP2
00000ab0: PUSH2 0x0add
00000ab3: JUMP
00000ab4: JUMPDEST
00000ab5: DUP3
00000ab6: ADD
00000ab7: SWAP2
00000ab8: SWAP1
00000ab9: PUSH0
00000aba: MSTORE
00000abb: PUSH1 0x20
00000abd: PUSH0
00000abe: KECCAK256
00000abf: SWAP1
00000ac0: JUMPDEST
00000ac1: DUP2
00000ac2: SLOAD
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: SWAP1
00000ac6: PUSH1 0x01
00000ac8: ADD
00000ac9: SWAP1
00000aca: PUSH1 0x20
00000acc: ADD
00000acd: DUP1
00000ace: DUP4
00000acf: GT
00000ad0: PUSH2 0x0ac0
00000ad3: JUMPI
00000ad4: DUP3
00000ad5: SWAP1
00000ad6: SUB
00000ad7: PUSH1 0x1f
00000ad9: AND
00000ada: DUP3
00000adb: ADD
00000adc: SWAP2
00000add: JUMPDEST
00000ade: POP
00000adf: POP
00000ae0: POP
00000ae1: POP
00000ae2: POP
00000ae3: SWAP1
00000ae4: POP
00000ae5: SWAP1
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: PUSH0
00000ae9: PUSH2 0x0a3b
00000aec: DUP3
00000aed: PUSH0
00000aee: PUSH2 0x1d0b
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH0
00000af4: CALLER
00000af5: PUSH2 0x0aff
00000af8: DUP2
00000af9: DUP6
00000afa: DUP6
00000afb: PUSH2 0x1d4a
00000afe: JUMP
00000aff: JUMPDEST
00000b00: POP
00000b01: PUSH1 0x01
00000b03: SWAP4
00000b04: SWAP3
00000b05: POP
00000b06: POP
00000b07: POP
00000b08: JUMP
00000b09: JUMPDEST
00000b0a: PUSH0
00000b0b: PUSH2 0x0a3b
00000b0e: DUP3
00000b0f: PUSH1 0x01
00000b11: PUSH2 0x1e6d
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH0
00000b17: DUP1
00000b18: PUSH2 0x0b1f
00000b1b: PUSH2 0x0a41
00000b1e: JUMP
00000b1f: JUMPDEST
00000b20: PUSH0
00000b21: SUB
00000b22: PUSH2 0x0b2d
00000b25: JUMPI
00000b26: POP
00000b27: POP
00000b28: PUSH1 0xcc
00000b2a: SLOAD
00000b2b: SWAP1
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: PUSH2 0x0a3b
00000b31: PUSH1 0xcc
00000b33: SLOAD
00000b34: PUSH2 0x0b3c
00000b37: PUSH1 0x35
00000b39: SLOAD
00000b3a: SWAP1
00000b3b: JUMP
00000b3c: JUMPDEST
00000b3d: PUSH2 0x0b44
00000b40: PUSH2 0x0a41
00000b43: JUMP
00000b44: JUMPDEST
00000b45: SWAP2
00000b46: SWAP1
00000b47: PUSH2 0x1e9c
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0x40
00000b4e: MLOAD
00000b4f: PUSH3 0x461bcd
00000b53: PUSH1 0xe5
00000b55: SHL
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x20
00000b5a: PUSH1 0x04
00000b5c: DUP3
00000b5d: ADD
00000b5e: MSTORE
00000b5f: PUSH1 0x08
00000b61: PUSH1 0x24
00000b63: DUP3
00000b64: ADD
00000b65: MSTORE
00000b66: PUSH8 0x139bdd081d5cd959
00000b6f: PUSH1 0xc2
00000b71: SHL
00000b72: PUSH1 0x44
00000b74: DUP3
00000b75: ADD
00000b76: MSTORE
00000b77: PUSH0
00000b78: SWAP1
00000b79: PUSH1 0x64
00000b7b: ADD
00000b7c: PUSH2 0x098d
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH0
00000b82: DUP1
00000b83: PUSH1 0x65
00000b85: SLOAD
00000b86: PUSH2 0x0a52
00000b89: SWAP2
00000b8a: SWAP1
00000b8b: PUSH1 0x01
00000b8d: PUSH1 0xa0
00000b8f: SHL
00000b90: SWAP1
00000b91: DIV
00000b92: PUSH1 0xff
00000b94: AND
00000b95: PUSH2 0x2cb0
00000b98: JUMP
00000b99: JUMPDEST
00000b9a: PUSH0
00000b9b: CALLER
00000b9c: PUSH2 0x0aff
00000b9f: DUP2
00000ba0: DUP6
00000ba1: DUP6
00000ba2: PUSH2 0x0bab
00000ba5: DUP4
00000ba6: DUP4
00000ba7: PUSH2 0x15d0
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH2 0x0bb5
00000baf: SWAP2
00000bb0: SWAP1
00000bb1: PUSH2 0x2c6b
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: PUSH2 0x1d4a
00000bb9: JUMP
00000bba: JUMPDEST
00000bbb: POP
00000bbc: PUSH0
00000bbd: NOT
00000bbe: SWAP1
00000bbf: JUMP
00000bc0: JUMPDEST
00000bc1: PUSH2 0x0bc8
00000bc4: PUSH2 0x1f80
00000bc7: JUMP
00000bc8: JUMPDEST
00000bc9: DUP2
00000bca: PUSH1 0x01
00000bcc: PUSH1 0x01
00000bce: PUSH1 0xa0
00000bd0: SHL
00000bd1: SUB
00000bd2: DUP2
00000bd3: AND
00000bd4: PUSH2 0x0bef
00000bd7: JUMPI
00000bd8: PUSH1 0x40
00000bda: MLOAD
00000bdb: PUSH3 0x461bcd
00000bdf: PUSH1 0xe5
00000be1: SHL
00000be2: DUP2
00000be3: MSTORE
00000be4: PUSH1 0x04
00000be6: ADD
00000be7: PUSH2 0x098d
00000bea: SWAP1
00000beb: PUSH2 0x2cc9
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH2 0x2710
00000bf3: DUP3
00000bf4: GT
00000bf5: ISZERO
00000bf6: PUSH2 0x0c3b
00000bf9: JUMPI
00000bfa: PUSH1 0x40
00000bfc: MLOAD
00000bfd: PUSH3 0x461bcd
00000c01: PUSH1 0xe5
00000c03: SHL
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x20
00000c08: PUSH1 0x04
00000c0a: DUP3
00000c0b: ADD
00000c0c: MSTORE
00000c0d: PUSH1 0x17
00000c0f: PUSH1 0x24
00000c11: DUP3
00000c12: ADD
00000c13: MSTORE
00000c14: PUSH23 0x496e76616c6964207769746864726177616c2066656573
00000c2c: PUSH1 0x48
00000c2e: SHL
00000c2f: PUSH1 0x44
00000c31: DUP3
00000c32: ADD
00000c33: MSTORE
00000c34: PUSH1 0x64
00000c36: ADD
00000c37: PUSH2 0x098d
00000c3a: JUMP
00000c3b: JUMPDEST
00000c3c: PUSH1 0xcb
00000c3e: DUP3
00000c3f: SWAP1
00000c40: SSTORE
00000c41: PUSH1 0xca
00000c43: DUP1
00000c44: SLOAD
00000c45: PUSH1 0x01
00000c47: PUSH1 0x01
00000c49: PUSH1 0xa0
00000c4b: SHL
00000c4c: SUB
00000c4d: NOT
00000c4e: AND
00000c4f: PUSH1 0x01
00000c51: PUSH1 0x01
00000c53: PUSH1 0xa0
00000c55: SHL
00000c56: SUB
00000c57: DUP6
00000c58: AND
00000c59: OR
00000c5a: SWAP1
00000c5b: SSTORE
00000c5c: PUSH1 0x40
00000c5e: MLOAD
00000c5f: PUSH32 0x51e6e26f17be04acb32a2406bbdbd518b8c44f9609ec3e2e7d27ad193c1d3633
00000c80: SWAP1
00000c81: PUSH2 0x0c8d
00000c84: SWAP1
00000c85: DUP6
00000c86: SWAP1
00000c87: DUP6
00000c88: SWAP1
00000c89: PUSH2 0x2cef
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x40
00000c90: MLOAD
00000c91: DUP1
00000c92: SWAP2
00000c93: SUB
00000c94: SWAP1
00000c95: LOG1
00000c96: POP
00000c97: POP
00000c98: POP
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH0
00000c9c: PUSH1 0xd0
00000c9e: SLOAD
00000c9f: PUSH0
00000ca0: EQ
00000ca1: PUSH2 0x0cd0
00000ca4: JUMPI
00000ca5: PUSH2 0x0a52
00000ca8: PUSH8 0x0de0b6b3a7640000
00000cb1: PUSH1 0xd0
00000cb3: SLOAD
00000cb4: PUSH2 0x0cbc
00000cb7: PUSH1 0xcd
00000cb9: SLOAD
00000cba: SWAP1
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH2 0x0cc6
00000cc0: SWAP2
00000cc1: SWAP1
00000cc2: PUSH2 0x2c6b
00000cc5: JUMP
00000cc6: JUMPDEST
00000cc7: PUSH1 0xd0
00000cc9: SLOAD
00000cca: SWAP2
00000ccb: SWAP1
00000ccc: PUSH2 0x1e9c
00000ccf: JUMP
00000cd0: JUMPDEST
00000cd1: POP
00000cd2: PUSH0
00000cd3: SWAP1
00000cd4: JUMP
00000cd5: JUMPDEST
00000cd6: PUSH0
00000cd7: DUP3
00000cd8: PUSH0
00000cd9: DUP2
00000cda: GT
00000cdb: PUSH2 0x0cf6
00000cde: JUMPI
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: PUSH3 0x461bcd
00000ce6: PUSH1 0xe5
00000ce8: SHL
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x04
00000ced: ADD
00000cee: PUSH2 0x098d
00000cf1: SWAP1
00000cf2: PUSH2 0x2d08
00000cf5: JUMP
00000cf6: JUMPDEST
00000cf7: PUSH0
00000cf8: PUSH2 0x0cff
00000cfb: PUSH2 0x0c9a
00000cfe: JUMP
00000cff: JUMPDEST
00000d00: PUSH1 0xc9
00000d02: SLOAD
00000d03: PUSH1 0x40
00000d05: MLOAD
00000d06: PUSH4 0x23b872dd
00000d0b: PUSH1 0xe0
00000d0d: SHL
00000d0e: DUP2
00000d0f: MSTORE
00000d10: SWAP2
00000d11: SWAP3
00000d12: POP
00000d13: PUSH1 0x01
00000d15: PUSH1 0x01
00000d17: PUSH1 0xa0
00000d19: SHL
00000d1a: SUB
00000d1b: AND
00000d1c: SWAP1
00000d1d: PUSH4 0x23b872dd
00000d22: SWAP1
00000d23: PUSH2 0x0d34
00000d26: SWAP1
00000d27: CALLER
00000d28: SWAP1
00000d29: ADDRESS
00000d2a: SWAP1
00000d2b: DUP11
00000d2c: SWAP1
00000d2d: PUSH1 0x04
00000d2f: ADD
00000d30: PUSH2 0x2d29
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH1 0x20
00000d37: PUSH1 0x40
00000d39: MLOAD
00000d3a: DUP1
00000d3b: DUP4
00000d3c: SUB
00000d3d: DUP2
00000d3e: PUSH0
00000d3f: DUP8
00000d40: GAS
00000d41: CALL
00000d42: ISZERO
00000d43: DUP1
00000d44: ISZERO
00000d45: PUSH2 0x0d50
00000d48: JUMPI
00000d49: RETURNDATASIZE
00000d4a: PUSH0
00000d4b: DUP1
00000d4c: RETURNDATACOPY
00000d4d: RETURNDATASIZE
00000d4e: PUSH0
00000d4f: REVERT
00000d50: JUMPDEST
00000d51: POP
00000d52: POP
00000d53: POP
00000d54: POP
00000d55: PUSH1 0x40
00000d57: MLOAD
00000d58: RETURNDATASIZE
00000d59: PUSH1 0x1f
00000d5b: NOT
00000d5c: PUSH1 0x1f
00000d5e: DUP3
00000d5f: ADD
00000d60: AND
00000d61: DUP3
00000d62: ADD
00000d63: DUP1
00000d64: PUSH1 0x40
00000d66: MSTORE
00000d67: POP
00000d68: DUP2
00000d69: ADD
00000d6a: SWAP1
00000d6b: PUSH2 0x0d74
00000d6e: SWAP2
00000d6f: SWAP1
00000d70: PUSH2 0x2d4d
00000d73: JUMP
00000d74: JUMPDEST
00000d75: POP
00000d76: PUSH0
00000d77: PUSH2 0x0d7f
00000d7a: DUP7
00000d7b: PUSH2 0x1554
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: SWAP1
00000d81: POP
00000d82: PUSH2 0x0d8d
00000d85: CALLER
00000d86: CALLER
00000d87: DUP9
00000d88: DUP5
00000d89: PUSH2 0x1fdf
00000d8c: JUMP
00000d8d: JUMPDEST
00000d8e: PUSH32 0xf3b2a76575670b4eff5a4ad3639d40d32f7ca987adac169e6f9b89a3ab857d27
00000daf: CALLER
00000db0: DUP7
00000db1: DUP9
00000db2: DUP5
00000db3: TIMESTAMP
00000db4: DUP8
00000db5: PUSH1 0x40
00000db7: MLOAD
00000db8: PUSH2 0x0dc6
00000dbb: SWAP7
00000dbc: SWAP6
00000dbd: SWAP5
00000dbe: SWAP4
00000dbf: SWAP3
00000dc0: SWAP2
00000dc1: SWAP1
00000dc2: PUSH2 0x2d68
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH1 0x40
00000dc9: MLOAD
00000dca: DUP1
00000dcb: SWAP2
00000dcc: SUB
00000dcd: SWAP1
00000dce: LOG1
00000dcf: SWAP6
00000dd0: SWAP5
00000dd1: POP
00000dd2: POP
00000dd3: POP
00000dd4: POP
00000dd5: POP
00000dd6: JUMP
00000dd7: JUMPDEST
00000dd8: PUSH1 0x01
00000dda: PUSH1 0x01
00000ddc: PUSH1 0xa0
00000dde: SHL
00000ddf: SUB
00000de0: AND
00000de1: PUSH0
00000de2: SWAP1
00000de3: DUP2
00000de4: MSTORE
00000de5: PUSH1 0x33
00000de7: PUSH1 0x20
00000de9: MSTORE
00000dea: PUSH1 0x40
00000dec: SWAP1
00000ded: KECCAK256
00000dee: SLOAD
00000def: SWAP1
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH2 0x0df9
00000df5: PUSH2 0x1f80
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: PUSH2 0x0e02
00000dfd: PUSH0
00000dfe: PUSH2 0x21a4
00000e01: JUMP
00000e02: JUMPDEST
00000e03: JUMP
00000e04: JUMPDEST
00000e05: PUSH1 0x97
00000e07: SLOAD
00000e08: PUSH1 0x01
00000e0a: PUSH1 0x01
00000e0c: PUSH1 0xa0
00000e0e: SHL
00000e0f: SUB
00000e10: AND
00000e11: SWAP1
00000e12: JUMP
00000e13: JUMPDEST
00000e14: PUSH1 0x60
00000e16: PUSH1 0x37
00000e18: DUP1
00000e19: SLOAD
00000e1a: PUSH2 0x0a66
00000e1d: SWAP1
00000e1e: PUSH2 0x2c7e
00000e21: JUMP
00000e22: JUMPDEST
00000e23: PUSH0
00000e24: CALLER
00000e25: DUP2
00000e26: PUSH2 0x0e2f
00000e29: DUP3
00000e2a: DUP7
00000e2b: PUSH2 0x15d0
00000e2e: JUMP
00000e2f: JUMPDEST
00000e30: SWAP1
00000e31: POP
00000e32: DUP4
00000e33: DUP2
00000e34: LT
00000e35: ISZERO
00000e36: PUSH2 0x0e8f
00000e39: JUMPI
00000e3a: PUSH1 0x40
00000e3c: MLOAD
00000e3d: PUSH3 0x461bcd
00000e41: PUSH1 0xe5
00000e43: SHL
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x20
00000e48: PUSH1 0x04
00000e4a: DUP3
00000e4b: ADD
00000e4c: MSTORE
00000e4d: PUSH1 0x25
00000e4f: PUSH1 0x24
00000e51: DUP3
00000e52: ADD
00000e53: MSTORE
00000e54: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000e75: PUSH1 0x44
00000e77: DUP3
00000e78: ADD
00000e79: MSTORE
00000e7a: PUSH5 0x207a65726f
00000e80: PUSH1 0xd8
00000e82: SHL
00000e83: PUSH1 0x64
00000e85: DUP3
00000e86: ADD
00000e87: MSTORE
00000e88: PUSH1 0x84
00000e8a: ADD
00000e8b: PUSH2 0x098d
00000e8e: JUMP
00000e8f: JUMPDEST
00000e90: PUSH2 0x0e9c
00000e93: DUP3
00000e94: DUP7
00000e95: DUP7
00000e96: DUP5
00000e97: SUB
00000e98: PUSH2 0x1d4a
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: POP
00000e9e: PUSH1 0x01
00000ea0: SWAP5
00000ea1: SWAP4
00000ea2: POP
00000ea3: POP
00000ea4: POP
00000ea5: POP
00000ea6: JUMP
00000ea7: JUMPDEST
00000ea8: PUSH2 0x0eaf
00000eab: PUSH2 0x1f80
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: PUSH3 0x015180
00000eb4: DUP2
00000eb5: GT
00000eb6: PUSH2 0x0ef5
00000eb9: JUMPI
00000eba: PUSH1 0x40
00000ebc: MLOAD
00000ebd: PUSH3 0x461bcd
00000ec1: PUSH1 0xe5
00000ec3: SHL
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x20
00000ec8: PUSH1 0x04
00000eca: DUP3
00000ecb: ADD
00000ecc: MSTORE
00000ecd: PUSH1 0x11
00000ecf: PUSH1 0x24
00000ed1: DUP3
00000ed2: ADD
00000ed3: MSTORE
00000ed4: PUSH17 0x496e76616c6964206c6f636b2074696d65
00000ee6: PUSH1 0x78
00000ee8: SHL
00000ee9: PUSH1 0x44
00000eeb: DUP3
00000eec: ADD
00000eed: MSTORE
00000eee: PUSH1 0x64
00000ef0: ADD
00000ef1: PUSH2 0x098d
00000ef4: JUMP
00000ef5: JUMPDEST
00000ef6: PUSH1 0xd5
00000ef8: DUP2
00000ef9: SWAP1
00000efa: SSTORE
00000efb: PUSH1 0x40
00000efd: MLOAD
00000efe: DUP2
00000eff: DUP2
00000f00: MSTORE
00000f01: PUSH32 0x41a6f7a07efe36ac8a11a10901396cbbac41e0210de8914c1ca3891288b28f4e
00000f22: SWAP1
00000f23: PUSH1 0x20
00000f25: ADD
00000f26: JUMPDEST
00000f27: PUSH1 0x40
00000f29: MLOAD
00000f2a: DUP1
00000f2b: SWAP2
00000f2c: SUB
00000f2d: SWAP1
00000f2e: LOG1
00000f2f: POP
00000f30: JUMP
00000f31: JUMPDEST
00000f32: CALLER
00000f33: PUSH0
00000f34: SWAP1
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0xd4
00000f39: PUSH1 0x20
00000f3b: MSTORE
00000f3c: PUSH1 0x40
00000f3e: DUP2
00000f3f: KECCAK256
00000f40: SLOAD
00000f41: PUSH1 0xff
00000f43: AND
00000f44: PUSH2 0x0f5f
00000f47: JUMPI
00000f48: PUSH1 0x40
00000f4a: MLOAD
00000f4b: PUSH3 0x461bcd
00000f4f: PUSH1 0xe5
00000f51: SHL
00000f52: DUP2
00000f53: MSTORE
00000f54: PUSH1 0x04
00000f56: ADD
00000f57: PUSH2 0x098d
00000f5a: SWAP1
00000f5b: PUSH2 0x2c16
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0xcd
00000f62: SLOAD
00000f63: DUP4
00000f64: SWAP1
00000f65: DUP2
00000f66: LT
00000f67: PUSH2 0x0fab
00000f6a: JUMPI
00000f6b: PUSH1 0x40
00000f6d: MLOAD
00000f6e: PUSH3 0x461bcd
00000f72: PUSH1 0xe5
00000f74: SHL
00000f75: DUP2
00000f76: MSTORE
00000f77: PUSH1 0x20
00000f79: PUSH1 0x04
00000f7b: DUP3
00000f7c: ADD
00000f7d: MSTORE
00000f7e: PUSH1 0x16
00000f80: PUSH1 0x24
00000f82: DUP3
00000f83: ADD
00000f84: MSTORE
00000f85: PUSH22 0x139bdd08195b9bdd59da08115512081d1bc81b195b99
00000f9c: PUSH1 0x52
00000f9e: SHL
00000f9f: PUSH1 0x44
00000fa1: DUP3
00000fa2: ADD
00000fa3: MSTORE
00000fa4: PUSH1 0x64
00000fa6: ADD
00000fa7: PUSH2 0x098d
00000faa: JUMP
00000fab: JUMPDEST
00000fac: CALLER
00000fad: PUSH0
00000fae: SWAP1
00000faf: DUP2
00000fb0: MSTORE
00000fb1: PUSH2 0x0108
00000fb4: PUSH1 0x20
00000fb6: SWAP1
00000fb7: DUP2
00000fb8: MSTORE
00000fb9: PUSH1 0x40
00000fbb: DUP1
00000fbc: DUP4
00000fbd: KECCAK256
00000fbe: SLOAD
00000fbf: PUSH2 0x0109
00000fc2: SWAP1
00000fc3: SWAP3
00000fc4: MSTORE
00000fc5: SWAP1
00000fc6: SWAP2
00000fc7: KECCAK256
00000fc8: SLOAD
00000fc9: PUSH2 0x0fd3
00000fcc: SWAP1
00000fcd: DUP7
00000fce: SWAP1
00000fcf: PUSH2 0x2c6b
00000fd2: JUMP
00000fd3: JUMPDEST
00000fd4: GT
00000fd5: ISZERO
00000fd6: PUSH2 0x1016
00000fd9: JUMPI
00000fda: PUSH1 0x40
00000fdc: MLOAD
00000fdd: PUSH3 0x461bcd
00000fe1: PUSH1 0xe5
00000fe3: SHL
00000fe4: DUP2
00000fe5: MSTORE
00000fe6: PUSH1 0x20
00000fe8: PUSH1 0x04
00000fea: DUP3
00000feb: ADD
00000fec: MSTORE
00000fed: PUSH1 0x12
00000fef: PUSH1 0x24
00000ff1: DUP3
00000ff2: ADD
00000ff3: MSTORE
00000ff4: PUSH18 0x109bdc9c9bddc818d85c081c995858da1959
00001007: PUSH1 0x72
00001009: SHL
0000100a: PUSH1 0x44
0000100c: DUP3
0000100d: ADD
0000100e: MSTORE
0000100f: PUSH1 0x64
00001011: ADD
00001012: PUSH2 0x098d
00001015: JUMP
00001016: JUMPDEST
00001017: CALLER
00001018: PUSH0
00001019: SWAP1
0000101a: DUP2
0000101b: MSTORE
0000101c: PUSH2 0x0109
0000101f: PUSH1 0x20
00001021: MSTORE
00001022: PUSH1 0x40
00001024: DUP2
00001025: KECCAK256
00001026: DUP1
00001027: SLOAD
00001028: DUP7
00001029: SWAP3
0000102a: SWAP1
0000102b: PUSH2 0x1035
0000102e: SWAP1
0000102f: DUP5
00001030: SWAP1
00001031: PUSH2 0x2c6b
00001034: JUMP
00001035: JUMPDEST
00001036: SWAP3
00001037: POP
00001038: POP
00001039: DUP2
0000103a: SWAP1
0000103b: SSTORE
0000103c: POP
0000103d: DUP4
0000103e: PUSH1 0xd0
00001040: PUSH0
00001041: DUP3
00001042: DUP3
00001043: SLOAD
00001044: PUSH2 0x104d
00001047: SWAP2
00001048: SWAP1
00001049: PUSH2 0x2c6b
0000104c: JUMP
0000104d: JUMPDEST
0000104e: SWAP3
0000104f: POP
00001050: POP
00001051: DUP2
00001052: SWAP1
00001053: SSTORE
00001054: POP
00001055: DUP4
00001056: PUSH1 0xcd
00001058: PUSH0
00001059: DUP3
0000105a: DUP3
0000105b: SLOAD
0000105c: PUSH2 0x1065
0000105f: SWAP2
00001060: SWAP1
00001061: PUSH2 0x2c58
00001064: JUMP
00001065: JUMPDEST
00001066: SWAP1
00001067: SWAP2
00001068: SSTORE
00001069: POP
0000106a: POP
0000106b: PUSH1 0xd1
0000106d: SLOAD
0000106e: PUSH2 0x1075
00001071: PUSH2 0x0c9a
00001074: JUMP
00001075: JUMPDEST
00001076: GT
00001077: ISZERO
00001078: PUSH2 0x10bd
0000107b: JUMPI
0000107c: PUSH1 0x40
0000107e: MLOAD
0000107f: PUSH3 0x461bcd
00001083: PUSH1 0xe5
00001085: SHL
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: PUSH1 0x04
0000108c: DUP3
0000108d: ADD
0000108e: MSTORE
0000108f: PUSH1 0x17
00001091: PUSH1 0x24
00001093: DUP3
00001094: ADD
00001095: MSTORE
00001096: PUSH23 0x098caeccae4c2ceca40e4c2e8d2de40e8dede40d0d2ced
000010ae: PUSH1 0x4b
000010b0: SHL
000010b1: PUSH1 0x44
000010b3: DUP3
000010b4: ADD
000010b5: MSTORE
000010b6: PUSH1 0x64
000010b8: ADD
000010b9: PUSH2 0x098d
000010bc: JUMP
000010bd: JUMPDEST
000010be: PUSH1 0xc9
000010c0: SLOAD
000010c1: PUSH2 0x10d4
000010c4: SWAP1
000010c5: PUSH1 0x01
000010c7: PUSH1 0x01
000010c9: PUSH1 0xa0
000010cb: SHL
000010cc: SUB
000010cd: AND
000010ce: DUP5
000010cf: DUP4
000010d0: PUSH2 0x21f5
000010d3: JUMP
000010d4: JUMPDEST
000010d5: DUP3
000010d6: PUSH1 0x01
000010d8: PUSH1 0x01
000010da: PUSH1 0xa0
000010dc: SHL
000010dd: SUB
000010de: AND
000010df: PUSH32 0x41b123d2493c7b2067b8b7f49cf71532523d83ead11494d793531ece1fd4d046
00001100: DUP3
00001101: PUSH1 0x40
00001103: MLOAD
00001104: PUSH2 0x110f
00001107: SWAP2
00001108: DUP2
00001109: MSTORE
0000110a: PUSH1 0x20
0000110c: ADD
0000110d: SWAP1
0000110e: JUMP
0000110f: JUMPDEST
00001110: PUSH1 0x40
00001112: MLOAD
00001113: DUP1
00001114: SWAP2
00001115: SUB
00001116: SWAP1
00001117: LOG2
00001118: POP
00001119: PUSH1 0x01
0000111b: SWAP4
0000111c: SWAP3
0000111d: POP
0000111e: POP
0000111f: POP
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH0
00001123: PUSH2 0x0a3b
00001126: DUP3
00001127: PUSH1 0x01
00001129: PUSH2 0x1d0b
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH0
0000112f: DUP4
00001130: PUSH0
00001131: DUP2
00001132: GT
00001133: PUSH2 0x114e
00001136: JUMPI
00001137: PUSH1 0x40
00001139: MLOAD
0000113a: PUSH3 0x461bcd
0000113e: PUSH1 0xe5
00001140: SHL
00001141: DUP2
00001142: MSTORE
00001143: PUSH1 0x04
00001145: ADD
00001146: PUSH2 0x098d
00001149: SWAP1
0000114a: PUSH2 0x2d08
0000114d: JUMP
0000114e: JUMPDEST
0000114f: CALLER
00001150: PUSH0
00001151: SWAP1
00001152: DUP2
00001153: MSTORE
00001154: PUSH1 0xd2
00001156: PUSH1 0x20
00001158: MSTORE
00001159: PUSH1 0x40
0000115b: SWAP1
0000115c: KECCAK256
0000115d: SLOAD
0000115e: TIMESTAMP
0000115f: GT
00001160: PUSH2 0x117b
00001163: JUMPI
00001164: PUSH1 0x40
00001166: MLOAD
00001167: PUSH3 0x461bcd
0000116b: PUSH1 0xe5
0000116d: SHL
0000116e: DUP2
0000116f: MSTORE
00001170: PUSH1 0x04
00001172: ADD
00001173: PUSH2 0x098d
00001176: SWAP1
00001177: PUSH2 0x2d9e
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH2 0x1184
0000117f: CALLER
00001180: PUSH2 0x155f
00001183: JUMP
00001184: JUMPDEST
00001185: DUP6
00001186: GT
00001187: ISZERO
00001188: PUSH2 0x11a3
0000118b: JUMPI
0000118c: PUSH1 0x40
0000118e: MLOAD
0000118f: PUSH3 0x461bcd
00001193: PUSH1 0xe5
00001195: SHL
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x04
0000119a: ADD
0000119b: PUSH2 0x098d
0000119e: SWAP1
0000119f: PUSH2 0x2dc4
000011a2: JUMP
000011a3: JUMPDEST
000011a4: DUP5
000011a5: PUSH2 0x11ad
000011a8: PUSH1 0xcd
000011aa: SLOAD
000011ab: SWAP1
000011ac: JUMP
000011ad: JUMPDEST
000011ae: LT
000011af: ISZERO
000011b0: PUSH2 0x11cb
000011b3: JUMPI
000011b4: PUSH1 0x40
000011b6: MLOAD
000011b7: PUSH3 0x461bcd
000011bb: PUSH1 0xe5
000011bd: SHL
000011be: DUP2
000011bf: MSTORE
000011c0: PUSH1 0x04
000011c2: ADD
000011c3: PUSH2 0x098d
000011c6: SWAP1
000011c7: PUSH2 0x2dfb
000011ca: JUMP
000011cb: JUMPDEST
000011cc: PUSH0
000011cd: PUSH2 0x11d4
000011d0: PUSH2 0x0c9a
000011d3: JUMP
000011d4: JUMPDEST
000011d5: SWAP1
000011d6: POP
000011d7: PUSH0
000011d8: PUSH2 0x11e0
000011db: DUP8
000011dc: PUSH2 0x0b09
000011df: JUMP
000011e0: JUMPDEST
000011e1: SWAP1
000011e2: POP
000011e3: PUSH0
000011e4: PUSH2 0x2710
000011e7: PUSH1 0xcb
000011e9: SLOAD
000011ea: DUP10
000011eb: PUSH2 0x11f4
000011ee: SWAP2
000011ef: SWAP1
000011f0: PUSH2 0x2e32
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH2 0x11fe
000011f8: SWAP2
000011f9: SWAP1
000011fa: PUSH2 0x2e5d
000011fd: JUMP
000011fe: JUMPDEST
000011ff: SWAP1
00001200: POP
00001201: PUSH0
00001202: PUSH2 0x120b
00001205: DUP3
00001206: DUP11
00001207: PUSH2 0x2c58
0000120a: JUMP
0000120b: JUMPDEST
0000120c: SWAP1
0000120d: POP
0000120e: DUP9
0000120f: PUSH1 0xcd
00001211: PUSH0
00001212: DUP3
00001213: DUP3
00001214: SLOAD
00001215: PUSH2 0x121e
00001218: SWAP2
00001219: SWAP1
0000121a: PUSH2 0x2c58
0000121d: JUMP
0000121e: JUMPDEST
0000121f: SWAP1
00001220: SWAP2
00001221: SSTORE
00001222: POP
00001223: POP
00001224: PUSH1 0xca
00001226: SLOAD
00001227: PUSH1 0xc9
00001229: SLOAD
0000122a: PUSH2 0x1240
0000122d: SWAP2
0000122e: PUSH1 0x01
00001230: PUSH1 0x01
00001232: PUSH1 0xa0
00001234: SHL
00001235: SUB
00001236: SWAP2
00001237: DUP3
00001238: AND
00001239: SWAP2
0000123a: AND
0000123b: DUP5
0000123c: PUSH2 0x21f5
0000123f: JUMP
00001240: JUMPDEST
00001241: PUSH2 0x124d
00001244: CALLER
00001245: CALLER
00001246: CALLER
00001247: DUP5
00001248: DUP8
00001249: PUSH2 0x2219
0000124c: JUMP
0000124d: JUMPDEST
0000124e: PUSH2 0x010a
00001251: SLOAD
00001252: PUSH1 0x01
00001254: PUSH1 0x01
00001256: PUSH1 0xa0
00001258: SHL
00001259: SUB
0000125a: AND
0000125b: ISZERO
0000125c: PUSH2 0x12c6
0000125f: JUMPI
00001260: PUSH2 0x010a
00001263: SLOAD
00001264: PUSH1 0x01
00001266: PUSH1 0x01
00001268: PUSH1 0xa0
0000126a: SHL
0000126b: SUB
0000126c: AND
0000126d: PUSH4 0x90105b42
00001272: CALLER
00001273: PUSH2 0x127b
00001276: DUP2
00001277: PUSH2 0x0dd7
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: DUP4
00001280: PUSH4 0xffffffff
00001285: AND
00001286: PUSH1 0xe0
00001288: SHL
00001289: DUP2
0000128a: MSTORE
0000128b: PUSH1 0x04
0000128d: ADD
0000128e: PUSH2 0x1298
00001291: SWAP3
00001292: SWAP2
00001293: SWAP1
00001294: PUSH2 0x2cef
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH0
0000129a: PUSH1 0x40
0000129c: MLOAD
0000129d: DUP1
0000129e: DUP4
0000129f: SUB
000012a0: DUP2
000012a1: PUSH0
000012a2: DUP8
000012a3: DUP1
000012a4: EXTCODESIZE
000012a5: ISZERO
000012a6: DUP1
000012a7: ISZERO
000012a8: PUSH2 0x12af
000012ab: JUMPI
000012ac: PUSH0
000012ad: DUP1
000012ae: REVERT
000012af: JUMPDEST
000012b0: POP
000012b1: GAS
000012b2: CALL
000012b3: ISZERO
000012b4: DUP1
000012b5: ISZERO
000012b6: PUSH2 0x12c1
000012b9: JUMPI
000012ba: RETURNDATASIZE
000012bb: PUSH0
000012bc: DUP1
000012bd: RETURNDATACOPY
000012be: RETURNDATASIZE
000012bf: PUSH0
000012c0: REVERT
000012c1: JUMPDEST
000012c2: POP
000012c3: POP
000012c4: POP
000012c5: POP
000012c6: JUMPDEST
000012c7: PUSH32 0x0d34beab7357fa067b59a9186779387ab8d932e5c2912b57e7214d3339065f59
000012e8: CALLER
000012e9: DUP10
000012ea: DUP10
000012eb: DUP13
000012ec: DUP8
000012ed: TIMESTAMP
000012ee: DUP11
000012ef: PUSH1 0x40
000012f1: MLOAD
000012f2: PUSH2 0x1301
000012f5: SWAP8
000012f6: SWAP7
000012f7: SWAP6
000012f8: SWAP5
000012f9: SWAP4
000012fa: SWAP3
000012fb: SWAP2
000012fc: SWAP1
000012fd: PUSH2 0x2e7c
00001300: JUMP
00001301: JUMPDEST
00001302: PUSH1 0x40
00001304: MLOAD
00001305: DUP1
00001306: SWAP2
00001307: SUB
00001308: SWAP1
00001309: LOG1
0000130a: POP
0000130b: SWAP1
0000130c: SWAP8
0000130d: SWAP7
0000130e: POP
0000130f: POP
00001310: POP
00001311: POP
00001312: POP
00001313: POP
00001314: POP
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH2 0x131e
0000131a: PUSH2 0x1f80
0000131d: JUMP
0000131e: JUMPDEST
0000131f: DUP2
00001320: PUSH1 0x01
00001322: PUSH1 0x01
00001324: PUSH1 0xa0
00001326: SHL
00001327: SUB
00001328: DUP2
00001329: AND
0000132a: PUSH2 0x1345
0000132d: JUMPI
0000132e: PUSH1 0x40
00001330: MLOAD
00001331: PUSH3 0x461bcd
00001335: PUSH1 0xe5
00001337: SHL
00001338: DUP2
00001339: MSTORE
0000133a: PUSH1 0x04
0000133c: ADD
0000133d: PUSH2 0x098d
00001340: SWAP1
00001341: PUSH2 0x2cc9
00001344: JUMP
00001345: JUMPDEST
00001346: POP
00001347: PUSH1 0x01
00001349: PUSH1 0x01
0000134b: PUSH1 0xa0
0000134d: SHL
0000134e: SUB
0000134f: SWAP2
00001350: SWAP1
00001351: SWAP2
00001352: AND
00001353: PUSH0
00001354: SWAP1
00001355: DUP2
00001356: MSTORE
00001357: PUSH1 0xd4
00001359: PUSH1 0x20
0000135b: MSTORE
0000135c: PUSH1 0x40
0000135e: SWAP1
0000135f: KECCAK256
00001360: DUP1
00001361: SLOAD
00001362: PUSH1 0xff
00001364: NOT
00001365: AND
00001366: SWAP2
00001367: ISZERO
00001368: ISZERO
00001369: SWAP2
0000136a: SWAP1
0000136b: SWAP2
0000136c: OR
0000136d: SWAP1
0000136e: SSTORE
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH0
00001372: SLOAD
00001373: PUSH2 0x0100
00001376: SWAP1
00001377: DIV
00001378: PUSH1 0xff
0000137a: AND
0000137b: ISZERO
0000137c: DUP1
0000137d: DUP1
0000137e: ISZERO
0000137f: PUSH2 0x138e
00001382: JUMPI
00001383: POP
00001384: PUSH0
00001385: SLOAD
00001386: PUSH1 0x01
00001388: PUSH1 0xff
0000138a: SWAP1
0000138b: SWAP2
0000138c: AND
0000138d: LT
0000138e: JUMPDEST
0000138f: DUP1
00001390: PUSH2 0x13ae
00001393: JUMPI
00001394: POP
00001395: PUSH2 0x139d
00001398: ADDRESS
00001399: PUSH2 0x22c5
0000139c: JUMP
0000139d: JUMPDEST
0000139e: ISZERO
0000139f: DUP1
000013a0: ISZERO
000013a1: PUSH2 0x13ae
000013a4: JUMPI
000013a5: POP
000013a6: PUSH0
000013a7: SLOAD
000013a8: PUSH1 0xff
000013aa: AND
000013ab: PUSH1 0x01
000013ad: EQ
000013ae: JUMPDEST
000013af: PUSH2 0x1411
000013b2: JUMPI
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: PUSH3 0x461bcd
000013ba: PUSH1 0xe5
000013bc: SHL
000013bd: DUP2
000013be: MSTORE
000013bf: PUSH1 0x20
000013c1: PUSH1 0x04
000013c3: DUP3
000013c4: ADD
000013c5: MSTORE
000013c6: PUSH1 0x2e
000013c8: PUSH1 0x24
000013ca: DUP3
000013cb: ADD
000013cc: MSTORE
000013cd: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000013ee: PUSH1 0x44
000013f0: DUP3
000013f1: ADD
000013f2: MSTORE
000013f3: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
00001402: PUSH1 0x92
00001404: SHL
00001405: PUSH1 0x64
00001407: DUP3
00001408: ADD
00001409: MSTORE
0000140a: PUSH1 0x84
0000140c: ADD
0000140d: PUSH2 0x098d
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH0
00001413: DUP1
00001414: SLOAD
00001415: PUSH1 0xff
00001417: NOT
00001418: AND
00001419: PUSH1 0x01
0000141b: OR
0000141c: SWAP1
0000141d: SSTORE
0000141e: DUP1
0000141f: ISZERO
00001420: PUSH2 0x1432
00001423: JUMPI
00001424: PUSH0
00001425: DUP1
00001426: SLOAD
00001427: PUSH2 0xff00
0000142a: NOT
0000142b: AND
0000142c: PUSH2 0x0100
0000142f: OR
00001430: SWAP1
00001431: SSTORE
00001432: JUMPDEST
00001433: PUSH1 0x01
00001435: PUSH1 0x01
00001437: PUSH1 0xa0
00001439: SHL
0000143a: SUB
0000143b: DUP3
0000143c: AND
0000143d: PUSH2 0x1458
00001440: JUMPI
00001441: PUSH1 0x40
00001443: MLOAD
00001444: PUSH3 0x461bcd
00001448: PUSH1 0xe5
0000144a: SHL
0000144b: DUP2
0000144c: MSTORE
0000144d: PUSH1 0x04
0000144f: ADD
00001450: PUSH2 0x098d
00001453: SWAP1
00001454: PUSH2 0x2cc9
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0xc9
0000145b: DUP1
0000145c: SLOAD
0000145d: PUSH1 0x01
0000145f: PUSH1 0x01
00001461: PUSH1 0xa0
00001463: SHL
00001464: SUB
00001465: NOT
00001466: SWAP1
00001467: DUP2
00001468: AND
00001469: PUSH1 0x01
0000146b: PUSH1 0x01
0000146d: PUSH1 0xa0
0000146f: SHL
00001470: SUB
00001471: DUP6
00001472: AND
00001473: OR
00001474: SWAP1
00001475: SWAP2
00001476: SSTORE
00001477: PUSH8 0x0de0b6b3a7640000
00001480: PUSH1 0xcc
00001482: SSTORE
00001483: PUSH1 0xca
00001485: DUP1
00001486: SLOAD
00001487: CALLER
00001488: SWAP3
00001489: AND
0000148a: DUP3
0000148b: OR
0000148c: SWAP1
0000148d: SSTORE
0000148e: PUSH0
0000148f: PUSH1 0xd5
00001491: DUP2
00001492: SWAP1
00001493: SSTORE
00001494: SWAP1
00001495: DUP2
00001496: MSTORE
00001497: PUSH1 0xd3
00001499: PUSH1 0x20
0000149b: MSTORE
0000149c: PUSH1 0x40
0000149e: SWAP1
0000149f: KECCAK256
000014a0: DUP1
000014a1: SLOAD
000014a2: PUSH1 0xff
000014a4: NOT
000014a5: AND
000014a6: PUSH1 0x01
000014a8: OR
000014a9: SWAP1
000014aa: SSTORE
000014ab: PUSH2 0x14b2
000014ae: PUSH2 0x22d4
000014b1: JUMP
000014b2: JUMPDEST
000014b3: PUSH2 0x14bb
000014b6: DUP3
000014b7: PUSH2 0x2302
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH2 0x150b
000014bf: PUSH1 0x40
000014c1: MLOAD
000014c2: DUP1
000014c3: PUSH1 0x40
000014c5: ADD
000014c6: PUSH1 0x40
000014c8: MSTORE
000014c9: DUP1
000014ca: PUSH1 0x0b
000014cc: DUP2
000014cd: MSTORE
000014ce: PUSH1 0x20
000014d0: ADD
000014d1: PUSH11 0x22aa2416a0b4b9283ab333
000014dd: PUSH1 0xa9
000014df: SHL
000014e0: DUP2
000014e1: MSTORE
000014e2: POP
000014e3: PUSH1 0x40
000014e5: MLOAD
000014e6: DUP1
000014e7: PUSH1 0x40
000014e9: ADD
000014ea: PUSH1 0x40
000014ec: MSTORE
000014ed: DUP1
000014ee: PUSH1 0x0b
000014f0: DUP2
000014f1: MSTORE
000014f2: PUSH1 0x20
000014f4: ADD
000014f5: PUSH11 0x22aa2416a0b4b9283ab333
00001501: PUSH1 0xa9
00001503: SHL
00001504: DUP2
00001505: MSTORE
00001506: POP
00001507: PUSH2 0x2331
0000150a: JUMP
0000150b: JUMPDEST
0000150c: DUP1
0000150d: ISZERO
0000150e: PUSH2 0x1550
00001511: JUMPI
00001512: PUSH0
00001513: DUP1
00001514: SLOAD
00001515: PUSH2 0xff00
00001518: NOT
00001519: AND
0000151a: SWAP1
0000151b: SSTORE
0000151c: PUSH1 0x40
0000151e: MLOAD
0000151f: PUSH1 0x01
00001521: DUP2
00001522: MSTORE
00001523: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00001544: SWAP1
00001545: PUSH1 0x20
00001547: ADD
00001548: PUSH1 0x40
0000154a: MLOAD
0000154b: DUP1
0000154c: SWAP2
0000154d: SUB
0000154e: SWAP1
0000154f: LOG1
00001550: JUMPDEST
00001551: POP
00001552: POP
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH0
00001556: PUSH2 0x0a3b
00001559: DUP3
0000155a: PUSH0
0000155b: PUSH2 0x1e6d
0000155e: JUMP
0000155f: JUMPDEST
00001560: PUSH0
00001561: PUSH2 0x0a3b
00001564: PUSH2 0x156c
00001567: DUP4
00001568: PUSH2 0x0dd7
0000156b: JUMP
0000156c: JUMPDEST
0000156d: PUSH0
0000156e: PUSH2 0x1d0b
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH0
00001574: PUSH2 0x0a3b
00001577: DUP3
00001578: PUSH2 0x0dd7
0000157b: JUMP
0000157c: JUMPDEST
0000157d: PUSH2 0x1584
00001580: PUSH2 0x1f80
00001583: JUMP
00001584: JUMPDEST
00001585: PUSH2 0x010a
00001588: DUP1
00001589: SLOAD
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: SHL
00001591: SUB
00001592: NOT
00001593: AND
00001594: PUSH1 0x01
00001596: PUSH1 0x01
00001598: PUSH1 0xa0
0000159a: SHL
0000159b: SUB
0000159c: DUP4
0000159d: AND
0000159e: OR
0000159f: SWAP1
000015a0: SSTORE
000015a1: PUSH1 0x40
000015a3: MLOAD
000015a4: PUSH32 0x3edc4c109bdc9b34f00f24744f770e8de831fd903d0fc75d4d990d5d81b75b98
000015c5: SWAP1
000015c6: PUSH2 0x0f26
000015c9: SWAP1
000015ca: DUP4
000015cb: SWAP1
000015cc: PUSH2 0x2ae3
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x01
000015d3: PUSH1 0x01
000015d5: PUSH1 0xa0
000015d7: SHL
000015d8: SUB
000015d9: SWAP2
000015da: DUP3
000015db: AND
000015dc: PUSH0
000015dd: SWAP1
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x34
000015e2: PUSH1 0x20
000015e4: SWAP1
000015e5: DUP2
000015e6: MSTORE
000015e7: PUSH1 0x40
000015e9: DUP1
000015ea: DUP4
000015eb: KECCAK256
000015ec: SWAP4
000015ed: SWAP1
000015ee: SWAP5
000015ef: AND
000015f0: DUP3
000015f1: MSTORE
000015f2: SWAP2
000015f3: SWAP1
000015f4: SWAP2
000015f5: MSTORE
000015f6: KECCAK256
000015f7: SLOAD
000015f8: SWAP1
000015f9: JUMP
000015fa: JUMPDEST
000015fb: CALLER
000015fc: PUSH0
000015fd: SWAP1
000015fe: DUP2
000015ff: MSTORE
00001600: PUSH1 0xd3
00001602: PUSH1 0x20
00001604: MSTORE
00001605: PUSH1 0x40
00001607: SWAP1
00001608: KECCAK256
00001609: SLOAD
0000160a: PUSH1 0xff
0000160c: AND
0000160d: PUSH2 0x1657
00001610: JUMPI
00001611: PUSH1 0x40
00001613: MLOAD
00001614: PUSH3 0x461bcd
00001618: PUSH1 0xe5
0000161a: SHL
0000161b: DUP2
0000161c: MSTORE
0000161d: PUSH1 0x20
0000161f: PUSH1 0x04
00001621: DUP3
00001622: ADD
00001623: MSTORE
00001624: PUSH1 0x1c
00001626: PUSH1 0x24
00001628: DUP3
00001629: ADD
0000162a: MSTORE
0000162b: PUSH28 0x09cdee840c2d8d8deeecac840e8de40d2dcc6e4cadacadce8408aa89
00001648: PUSH1 0x23
0000164a: SHL
0000164b: PUSH1 0x44
0000164d: DUP3
0000164e: ADD
0000164f: MSTORE
00001650: PUSH1 0x64
00001652: ADD
00001653: PUSH2 0x098d
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH1 0xc9
0000165a: SLOAD
0000165b: PUSH2 0x166f
0000165e: SWAP1
0000165f: PUSH1 0x01
00001661: PUSH1 0x01
00001663: PUSH1 0xa0
00001665: SHL
00001666: SUB
00001667: AND
00001668: CALLER
00001669: ADDRESS
0000166a: DUP5
0000166b: PUSH2 0x1cad
0000166e: JUMP
0000166f: JUMPDEST
00001670: DUP1
00001671: PUSH1 0xcd
00001673: PUSH0
00001674: DUP3
00001675: DUP3
00001676: SLOAD
00001677: PUSH2 0x1680
0000167a: SWAP2
0000167b: SWAP1
0000167c: PUSH2 0x2c6b
0000167f: JUMP
00001680: JUMPDEST
00001681: SWAP1
00001682: SWAP2
00001683: SSTORE
00001684: POP
00001685: POP
00001686: PUSH1 0x40
00001688: MLOAD
00001689: DUP2
0000168a: DUP2
0000168b: MSTORE
0000168c: PUSH32 0x6ab324fc2922570f4ce4ed0255169129d74bcd4bbcf54c1be3162b0d1fdc7365
000016ad: SWAP1
000016ae: PUSH1 0x20
000016b0: ADD
000016b1: PUSH2 0x0f26
000016b4: JUMP
000016b5: JUMPDEST
000016b6: PUSH2 0x16bd
000016b9: PUSH2 0x1f80
000016bc: JUMP
000016bd: JUMPDEST
000016be: PUSH8 0x0de0b6b3a7640000
000016c7: DUP2
000016c8: GT
000016c9: ISZERO
000016ca: PUSH2 0x1710
000016cd: JUMPI
000016ce: PUSH1 0x40
000016d0: MLOAD
000016d1: PUSH3 0x461bcd
000016d5: PUSH1 0xe5
000016d7: SHL
000016d8: DUP2
000016d9: MSTORE
000016da: PUSH1 0x20
000016dc: PUSH1 0x04
000016de: DUP3
000016df: ADD
000016e0: MSTORE
000016e1: PUSH1 0x18
000016e3: PUSH1 0x24
000016e5: DUP3
000016e6: ADD
000016e7: MSTORE
000016e8: PUSH24 0x496e76616c6964207574696c697a6174696f6e2072617465
00001701: PUSH1 0x40
00001703: SHL
00001704: PUSH1 0x44
00001706: DUP3
00001707: ADD
00001708: MSTORE
00001709: PUSH1 0x64
0000170b: ADD
0000170c: PUSH2 0x098d
0000170f: JUMP
00001710: JUMPDEST
00001711: PUSH1 0xd1
00001713: SSTORE
00001714: JUMP
00001715: JUMPDEST
00001716: PUSH2 0x171d
00001719: PUSH2 0x1f80
0000171c: JUMP
0000171d: JUMPDEST
0000171e: DUP2
0000171f: PUSH1 0x01
00001721: PUSH1 0x01
00001723: PUSH1 0xa0
00001725: SHL
00001726: SUB
00001727: DUP2
00001728: AND
00001729: PUSH2 0x1744
0000172c: JUMPI
0000172d: PUSH1 0x40
0000172f: MLOAD
00001730: PUSH3 0x461bcd
00001734: PUSH1 0xe5
00001736: SHL
00001737: DUP2
00001738: MSTORE
00001739: PUSH1 0x04
0000173b: ADD
0000173c: PUSH2 0x098d
0000173f: SWAP1
00001740: PUSH2 0x2cc9
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH0
00001746: DUP3
00001747: GT
00001748: PUSH2 0x1781
0000174b: JUMPI
0000174c: PUSH1 0x40
0000174e: MLOAD
0000174f: PUSH3 0x461bcd
00001753: PUSH1 0xe5
00001755: SHL
00001756: DUP2
00001757: MSTORE
00001758: PUSH1 0x20
0000175a: PUSH1 0x04
0000175c: DUP3
0000175d: ADD
0000175e: MSTORE
0000175f: PUSH1 0x0b
00001761: PUSH1 0x24
00001763: DUP3
00001764: ADD
00001765: MSTORE
00001766: PUSH11 0x0496e76616c69642063617
00001772: PUSH1 0xac
00001774: SHL
00001775: PUSH1 0x44
00001777: DUP3
00001778: ADD
00001779: MSTORE
0000177a: PUSH1 0x64
0000177c: ADD
0000177d: PUSH2 0x098d
00001780: JUMP
00001781: JUMPDEST
00001782: PUSH1 0x01
00001784: PUSH1 0x01
00001786: PUSH1 0xa0
00001788: SHL
00001789: SUB
0000178a: DUP4
0000178b: AND
0000178c: PUSH0
0000178d: SWAP1
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH2 0x0108
00001793: PUSH1 0x20
00001795: MSTORE
00001796: PUSH1 0x40
00001798: SWAP1
00001799: DUP2
0000179a: SWAP1
0000179b: KECCAK256
0000179c: DUP4
0000179d: SWAP1
0000179e: SSTORE
0000179f: MLOAD
000017a0: PUSH32 0xc4337e1c0960ac88a59f4bc4c791d1c34c50e4e788068ed19b44e0e02df5ece9
000017c1: SWAP1
000017c2: PUSH2 0x0c8d
000017c5: SWAP1
000017c6: DUP6
000017c7: SWAP1
000017c8: DUP6
000017c9: SWAP1
000017ca: PUSH2 0x2cef
000017cd: JUMP
000017ce: JUMPDEST
000017cf: PUSH0
000017d0: DUP2
000017d1: PUSH0
000017d2: DUP2
000017d3: GT
000017d4: PUSH2 0x17ef
000017d7: JUMPI
000017d8: PUSH1 0x40
000017da: MLOAD
000017db: PUSH3 0x461bcd
000017df: PUSH1 0xe5
000017e1: SHL
000017e2: DUP2
000017e3: MSTORE
000017e4: PUSH1 0x04
000017e6: ADD
000017e7: PUSH2 0x098d
000017ea: SWAP1
000017eb: PUSH2 0x2d08
000017ee: JUMP
000017ef: JUMPDEST
000017f0: CALLER
000017f1: PUSH0
000017f2: SWAP1
000017f3: DUP2
000017f4: MSTORE
000017f5: PUSH1 0xd2
000017f7: PUSH1 0x20
000017f9: MSTORE
000017fa: PUSH1 0x40
000017fc: SWAP1
000017fd: KECCAK256
000017fe: SLOAD
000017ff: TIMESTAMP
00001800: GT
00001801: PUSH2 0x181c
00001804: JUMPI
00001805: PUSH1 0x40
00001807: MLOAD
00001808: PUSH3 0x461bcd
0000180c: PUSH1 0xe5
0000180e: SHL
0000180f: DUP2
00001810: MSTORE
00001811: PUSH1 0x04
00001813: ADD
00001814: PUSH2 0x098d
00001817: SWAP1
00001818: PUSH2 0x2d9e
0000181b: JUMP
0000181c: JUMPDEST
0000181d: PUSH2 0x1825
00001820: CALLER
00001821: PUSH2 0x155f
00001824: JUMP
00001825: JUMPDEST
00001826: DUP4
00001827: GT
00001828: ISZERO
00001829: PUSH2 0x1844
0000182c: JUMPI
0000182d: PUSH1 0x40
0000182f: MLOAD
00001830: PUSH3 0x461bcd
00001834: PUSH1 0xe5
00001836: SHL
00001837: DUP2
00001838: MSTORE
00001839: PUSH1 0x04
0000183b: ADD
0000183c: PUSH2 0x098d
0000183f: SWAP1
00001840: PUSH2 0x2dc4
00001843: JUMP
00001844: JUMPDEST
00001845: DUP3
00001846: PUSH2 0x184e
00001849: PUSH1 0xcd
0000184b: SLOAD
0000184c: SWAP1
0000184d: JUMP
0000184e: JUMPDEST
0000184f: LT
00001850: ISZERO
00001851: PUSH2 0x186c
00001854: JUMPI
00001855: PUSH1 0x40
00001857: MLOAD
00001858: PUSH3 0x461bcd
0000185c: PUSH1 0xe5
0000185e: SHL
0000185f: DUP2
00001860: MSTORE
00001861: PUSH1 0x04
00001863: ADD
00001864: PUSH2 0x098d
00001867: SWAP1
00001868: PUSH2 0x2dfb
0000186b: JUMP
0000186c: JUMPDEST
0000186d: PUSH0
0000186e: PUSH2 0x1875
00001871: PUSH2 0x0c9a
00001874: JUMP
00001875: JUMPDEST
00001876: SWAP1
00001877: POP
00001878: PUSH0
00001879: PUSH2 0x1881
0000187c: DUP6
0000187d: PUSH2 0x0b09
00001880: JUMP
00001881: JUMPDEST
00001882: SWAP1
00001883: POP
00001884: PUSH0
00001885: PUSH2 0x2710
00001888: PUSH1 0xcb
0000188a: SLOAD
0000188b: DUP8
0000188c: PUSH2 0x1895
0000188f: SWAP2
00001890: SWAP1
00001891: PUSH2 0x2e32
00001894: JUMP
00001895: JUMPDEST
00001896: PUSH2 0x189f
00001899: SWAP2
0000189a: SWAP1
0000189b: PUSH2 0x2e5d
0000189e: JUMP
0000189f: JUMPDEST
000018a0: SWAP1
000018a1: POP
000018a2: PUSH0
000018a3: PUSH2 0x18ac
000018a6: DUP3
000018a7: DUP9
000018a8: PUSH2 0x2c58
000018ab: JUMP
000018ac: JUMPDEST
000018ad: SWAP1
000018ae: POP
000018af: PUSH2 0x18b8
000018b2: CALLER
000018b3: DUP5
000018b4: PUSH2 0x23d3
000018b7: JUMP
000018b8: JUMPDEST
000018b9: PUSH1 0xc9
000018bb: SLOAD
000018bc: PUSH1 0x40
000018be: MLOAD
000018bf: PUSH4 0x2e1a7d4d
000018c4: PUSH1 0xe0
000018c6: SHL
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x04
000018cb: DUP2
000018cc: ADD
000018cd: DUP10
000018ce: SWAP1
000018cf: MSTORE
000018d0: PUSH1 0x01
000018d2: PUSH1 0x01
000018d4: PUSH1 0xa0
000018d6: SHL
000018d7: SUB
000018d8: SWAP1
000018d9: SWAP2
000018da: AND
000018db: SWAP1
000018dc: PUSH4 0x2e1a7d4d
000018e1: SWAP1
000018e2: PUSH1 0x24
000018e4: ADD
000018e5: PUSH0
000018e6: PUSH1 0x40
000018e8: MLOAD
000018e9: DUP1
000018ea: DUP4
000018eb: SUB
000018ec: DUP2
000018ed: PUSH0
000018ee: DUP8
000018ef: DUP1
000018f0: EXTCODESIZE
000018f1: ISZERO
000018f2: DUP1
000018f3: ISZERO
000018f4: PUSH2 0x18fb
000018f7: JUMPI
000018f8: PUSH0
000018f9: DUP1
000018fa: REVERT
000018fb: JUMPDEST
000018fc: POP
000018fd: GAS
000018fe: CALL
000018ff: ISZERO
00001900: DUP1
00001901: ISZERO
00001902: PUSH2 0x190d
00001905: JUMPI
00001906: RETURNDATASIZE
00001907: PUSH0
00001908: DUP1
00001909: RETURNDATACOPY
0000190a: RETURNDATASIZE
0000190b: PUSH0
0000190c: REVERT
0000190d: JUMPDEST
0000190e: POP
0000190f: POP
00001910: POP
00001911: POP
00001912: DUP7
00001913: PUSH1 0xcd
00001915: PUSH0
00001916: DUP3
00001917: DUP3
00001918: SLOAD
00001919: PUSH2 0x1922
0000191c: SWAP2
0000191d: SWAP1
0000191e: PUSH2 0x2c58
00001921: JUMP
00001922: JUMPDEST
00001923: SWAP1
00001924: SWAP2
00001925: SSTORE
00001926: POP
00001927: POP
00001928: PUSH1 0xca
0000192a: SLOAD
0000192b: PUSH1 0x40
0000192d: MLOAD
0000192e: PUSH1 0x01
00001930: PUSH1 0x01
00001932: PUSH1 0xa0
00001934: SHL
00001935: SUB
00001936: SWAP1
00001937: SWAP2
00001938: AND
00001939: SWAP1
0000193a: DUP4
0000193b: ISZERO
0000193c: PUSH2 0x08fc
0000193f: MUL
00001940: SWAP1
00001941: DUP5
00001942: SWAP1
00001943: PUSH0
00001944: DUP2
00001945: DUP2
00001946: DUP2
00001947: DUP6
00001948: DUP9
00001949: DUP9
0000194a: CALL
0000194b: SWAP4
0000194c: POP
0000194d: POP
0000194e: POP
0000194f: POP
00001950: ISZERO
00001951: DUP1
00001952: ISZERO
00001953: PUSH2 0x195e
00001956: JUMPI
00001957: RETURNDATASIZE
00001958: PUSH0
00001959: DUP1
0000195a: RETURNDATACOPY
0000195b: RETURNDATASIZE
0000195c: PUSH0
0000195d: REVERT
0000195e: JUMPDEST
0000195f: POP
00001960: PUSH2 0x010a
00001963: SLOAD
00001964: PUSH1 0x01
00001966: PUSH1 0x01
00001968: PUSH1 0xa0
0000196a: SHL
0000196b: SUB
0000196c: AND
0000196d: ISZERO
0000196e: PUSH2 0x19d8
00001971: JUMPI
00001972: PUSH2 0x010a
00001975: SLOAD
00001976: PUSH1 0x01
00001978: PUSH1 0x01
0000197a: PUSH1 0xa0
0000197c: SHL
0000197d: SUB
0000197e: AND
0000197f: PUSH4 0x90105b42
00001984: CALLER
00001985: PUSH2 0x198d
00001988: DUP2
00001989: PUSH2 0x0dd7
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x40
00001990: MLOAD
00001991: DUP4
00001992: PUSH4 0xffffffff
00001997: AND
00001998: PUSH1 0xe0
0000199a: SHL
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x04
0000199f: ADD
000019a0: PUSH2 0x19aa
000019a3: SWAP3
000019a4: SWAP2
000019a5: SWAP1
000019a6: PUSH2 0x2cef
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH0
000019ac: PUSH1 0x40
000019ae: MLOAD
000019af: DUP1
000019b0: DUP4
000019b1: SUB
000019b2: DUP2
000019b3: PUSH0
000019b4: DUP8
000019b5: DUP1
000019b6: EXTCODESIZE
000019b7: ISZERO
000019b8: DUP1
000019b9: ISZERO
000019ba: PUSH2 0x19c1
000019bd: JUMPI
000019be: PUSH0
000019bf: DUP1
000019c0: REVERT
000019c1: JUMPDEST
000019c2: POP
000019c3: GAS
000019c4: CALL
000019c5: ISZERO
000019c6: DUP1
000019c7: ISZERO
000019c8: PUSH2 0x19d3
000019cb: JUMPI
000019cc: RETURNDATASIZE
000019cd: PUSH0
000019ce: DUP1
000019cf: RETURNDATACOPY
000019d0: RETURNDATASIZE
000019d1: PUSH0
000019d2: REVERT
000019d3: JUMPDEST
000019d4: POP
000019d5: POP
000019d6: POP
000019d7: POP
000019d8: JUMPDEST
000019d9: PUSH1 0x40
000019db: MLOAD
000019dc: PUSH0
000019dd: SWAP1
000019de: CALLER
000019df: SWAP1
000019e0: DUP4
000019e1: SWAP1
000019e2: DUP4
000019e3: DUP2
000019e4: DUP2
000019e5: DUP2
000019e6: DUP6
000019e7: DUP8
000019e8: GAS
000019e9: CALL
000019ea: SWAP3
000019eb: POP
000019ec: POP
000019ed: POP
000019ee: RETURNDATASIZE
000019ef: DUP1
000019f0: PUSH0
000019f1: DUP2
000019f2: EQ
000019f3: PUSH2 0x1a17
000019f6: JUMPI
000019f7: PUSH1 0x40
000019f9: MLOAD
000019fa: SWAP2
000019fb: POP
000019fc: PUSH1 0x1f
000019fe: NOT
000019ff: PUSH1 0x3f
00001a01: RETURNDATASIZE
00001a02: ADD
00001a03: AND
00001a04: DUP3
00001a05: ADD
00001a06: PUSH1 0x40
00001a08: MSTORE
00001a09: RETURNDATASIZE
00001a0a: DUP3
00001a0b: MSTORE
00001a0c: RETURNDATASIZE
00001a0d: PUSH0
00001a0e: PUSH1 0x20
00001a10: DUP5
00001a11: ADD
00001a12: RETURNDATACOPY
00001a13: PUSH2 0x1a1c
00001a16: JUMP
00001a17: JUMPDEST
00001a18: PUSH1 0x60
00001a1a: SWAP2
00001a1b: POP
00001a1c: JUMPDEST
00001a1d: POP
00001a1e: POP
00001a1f: SWAP1
00001a20: POP
00001a21: DUP1
00001a22: PUSH2 0x1a60
00001a25: JUMPI
00001a26: PUSH1 0x40
00001a28: MLOAD
00001a29: PUSH3 0x461bcd
00001a2d: PUSH1 0xe5
00001a2f: SHL
00001a30: DUP2
00001a31: MSTORE
00001a32: PUSH1 0x20
00001a34: PUSH1 0x04
00001a36: DUP3
00001a37: ADD
00001a38: MSTORE
00001a39: PUSH1 0x10
00001a3b: PUSH1 0x24
00001a3d: DUP3
00001a3e: ADD
00001a3f: MSTORE
00001a40: PUSH16 0x2a3930b739b332b9103330b4b632b217
00001a51: PUSH1 0x81
00001a53: SHL
00001a54: PUSH1 0x44
00001a56: DUP3
00001a57: ADD
00001a58: MSTORE
00001a59: PUSH1 0x64
00001a5b: ADD
00001a5c: PUSH2 0x098d
00001a5f: JUMP
00001a60: JUMPDEST
00001a61: PUSH32 0x0afd4dde64dc7077ea61a956aa2c73070f1f223615cf3a58d8ef9ed2ca71e86f
00001a82: CALLER
00001a83: CALLER
00001a84: CALLER
00001a85: DUP12
00001a86: DUP9
00001a87: TIMESTAMP
00001a88: PUSH2 0x1a8f
00001a8b: PUSH2 0x0c9a
00001a8e: JUMP
00001a8f: JUMPDEST
00001a90: PUSH1 0x40
00001a92: MLOAD
00001a93: PUSH2 0x1aa2
00001a96: SWAP8
00001a97: SWAP7
00001a98: SWAP6
00001a99: SWAP5
00001a9a: SWAP4
00001a9b: SWAP3
00001a9c: SWAP2
00001a9d: SWAP1
00001a9e: PUSH2 0x2e7c
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x40
00001aa5: MLOAD
00001aa6: DUP1
00001aa7: SWAP2
00001aa8: SUB
00001aa9: SWAP1
00001aaa: LOG1
00001aab: POP
00001aac: SWAP2
00001aad: SWAP5
00001aae: POP
00001aaf: POP
00001ab0: POP
00001ab1: POP
00001ab2: JUMPDEST
00001ab3: POP
00001ab4: SWAP2
00001ab5: SWAP1
00001ab6: POP
00001ab7: JUMP
00001ab8: JUMPDEST
00001ab9: PUSH2 0x1ac0
00001abc: PUSH2 0x1f80
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: PUSH1 0x01
00001ac3: PUSH1 0x01
00001ac5: PUSH1 0xa0
00001ac7: SHL
00001ac8: SUB
00001ac9: DUP2
00001aca: AND
00001acb: PUSH2 0x1b25
00001ace: JUMPI
00001acf: PUSH1 0x40
00001ad1: MLOAD
00001ad2: PUSH3 0x461bcd
00001ad6: PUSH1 0xe5
00001ad8: SHL
00001ad9: DUP2
00001ada: MSTORE
00001adb: PUSH1 0x20
00001add: PUSH1 0x04
00001adf: DUP3
00001ae0: ADD
00001ae1: MSTORE
00001ae2: PUSH1 0x26
00001ae4: PUSH1 0x24
00001ae6: DUP3
00001ae7: ADD
00001ae8: MSTORE
00001ae9: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001b0a: PUSH1 0x44
00001b0c: DUP3
00001b0d: ADD
00001b0e: MSTORE
00001b0f: PUSH6 0x646472657373
00001b16: PUSH1 0xd0
00001b18: SHL
00001b19: PUSH1 0x64
00001b1b: DUP3
00001b1c: ADD
00001b1d: MSTORE
00001b1e: PUSH1 0x84
00001b20: ADD
00001b21: PUSH2 0x098d
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH2 0x1b2e
00001b29: DUP2
00001b2a: PUSH2 0x21a4
00001b2d: JUMP
00001b2e: JUMPDEST
00001b2f: POP
00001b30: JUMP
00001b31: JUMPDEST
00001b32: PUSH0
00001b33: DUP1
00001b34: PUSH2 0x1b3b
00001b37: PUSH2 0x0c9a
00001b3a: JUMP
00001b3b: JUMPDEST
00001b3c: SWAP1
00001b3d: POP
00001b3e: CALLVALUE
00001b3f: PUSH0
00001b40: PUSH2 0x1b48
00001b43: DUP3
00001b44: PUSH2 0x1554
00001b47: JUMP
00001b48: JUMPDEST
00001b49: SWAP1
00001b4a: POP
00001b4b: PUSH1 0xc9
00001b4d: PUSH0
00001b4e: SWAP1
00001b4f: SLOAD
00001b50: SWAP1
00001b51: PUSH2 0x0100
00001b54: EXP
00001b55: SWAP1
00001b56: DIV
00001b57: PUSH1 0x01
00001b59: PUSH1 0x01
00001b5b: PUSH1 0xa0
00001b5d: SHL
00001b5e: SUB
00001b5f: AND
00001b60: PUSH1 0x01
00001b62: PUSH1 0x01
00001b64: PUSH1 0xa0
00001b66: SHL
00001b67: SUB
00001b68: AND
00001b69: PUSH4 0xd0e30db0
00001b6e: DUP4
00001b6f: PUSH1 0x40
00001b71: MLOAD
00001b72: DUP3
00001b73: PUSH4 0xffffffff
00001b78: AND
00001b79: PUSH1 0xe0
00001b7b: SHL
00001b7c: DUP2
00001b7d: MSTORE
00001b7e: PUSH1 0x04
00001b80: ADD
00001b81: PUSH0
00001b82: PUSH1 0x40
00001b84: MLOAD
00001b85: DUP1
00001b86: DUP4
00001b87: SUB
00001b88: DUP2
00001b89: DUP6
00001b8a: DUP9
00001b8b: DUP1
00001b8c: EXTCODESIZE
00001b8d: ISZERO
00001b8e: DUP1
00001b8f: ISZERO
00001b90: PUSH2 0x1b97
00001b93: JUMPI
00001b94: PUSH0
00001b95: DUP1
00001b96: REVERT
00001b97: JUMPDEST
00001b98: POP
00001b99: GAS
00001b9a: CALL
00001b9b: ISZERO
00001b9c: DUP1
00001b9d: ISZERO
00001b9e: PUSH2 0x1ba9
00001ba1: JUMPI
00001ba2: RETURNDATASIZE
00001ba3: PUSH0
00001ba4: DUP1
00001ba5: RETURNDATACOPY
00001ba6: RETURNDATASIZE
00001ba7: PUSH0
00001ba8: REVERT
00001ba9: JUMPDEST
00001baa: POP
00001bab: POP
00001bac: POP
00001bad: POP
00001bae: POP
00001baf: PUSH2 0x1bc0
00001bb2: PUSH2 0x1bb8
00001bb5: CALLER
00001bb6: SWAP1
00001bb7: JUMP
00001bb8: JUMPDEST
00001bb9: CALLER
00001bba: DUP5
00001bbb: DUP5
00001bbc: PUSH2 0x1fdf
00001bbf: JUMP
00001bc0: JUMPDEST
00001bc1: DUP2
00001bc2: PUSH1 0xce
00001bc4: PUSH0
00001bc5: DUP3
00001bc6: DUP3
00001bc7: SLOAD
00001bc8: PUSH2 0x1bd1
00001bcb: SWAP2
00001bcc: SWAP1
00001bcd: PUSH2 0x2c6b
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: SWAP1
00001bd3: SWAP2
00001bd4: SSTORE
00001bd5: POP
00001bd6: POP
00001bd7: PUSH1 0x40
00001bd9: MLOAD
00001bda: PUSH32 0x8c0669c80bc6bb7d75a0bcedec8f7204f77c40647ac2f4b213ff429e3af8d09d
00001bfb: SWAP1
00001bfc: PUSH2 0x1c10
00001bff: SWAP1
00001c00: CALLER
00001c01: SWAP1
00001c02: DUP2
00001c03: SWAP1
00001c04: DUP7
00001c05: SWAP1
00001c06: DUP7
00001c07: SWAP1
00001c08: TIMESTAMP
00001c09: SWAP1
00001c0a: DUP11
00001c0b: SWAP1
00001c0c: PUSH2 0x2d68
00001c0f: JUMP
00001c10: JUMPDEST
00001c11: PUSH1 0x40
00001c13: MLOAD
00001c14: DUP1
00001c15: SWAP2
00001c16: SUB
00001c17: SWAP1
00001c18: LOG1
00001c19: SWAP4
00001c1a: SWAP3
00001c1b: POP
00001c1c: POP
00001c1d: POP
00001c1e: JUMP
00001c1f: JUMPDEST
00001c20: PUSH2 0x1c27
00001c23: PUSH2 0x1f80
00001c26: JUMP
00001c27: JUMPDEST
00001c28: DUP2
00001c29: PUSH1 0x01
00001c2b: PUSH1 0x01
00001c2d: PUSH1 0xa0
00001c2f: SHL
00001c30: SUB
00001c31: DUP2
00001c32: AND
00001c33: PUSH2 0x1c4e
00001c36: JUMPI
00001c37: PUSH1 0x40
00001c39: MLOAD
00001c3a: PUSH3 0x461bcd
00001c3e: PUSH1 0xe5
00001c40: SHL
00001c41: DUP2
00001c42: MSTORE
00001c43: PUSH1 0x04
00001c45: ADD
00001c46: PUSH2 0x098d
00001c49: SWAP1
00001c4a: PUSH2 0x2cc9
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: PUSH1 0x01
00001c51: PUSH1 0x01
00001c53: PUSH1 0xa0
00001c55: SHL
00001c56: SUB
00001c57: DUP4
00001c58: AND
00001c59: PUSH0
00001c5a: DUP2
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: PUSH1 0xd3
00001c5f: PUSH1 0x20
00001c61: SWAP1
00001c62: DUP2
00001c63: MSTORE
00001c64: PUSH1 0x40
00001c66: SWAP2
00001c67: DUP3
00001c68: SWAP1
00001c69: KECCAK256
00001c6a: DUP1
00001c6b: SLOAD
00001c6c: PUSH1 0xff
00001c6e: NOT
00001c6f: AND
00001c70: DUP7
00001c71: ISZERO
00001c72: ISZERO
00001c73: SWAP1
00001c74: DUP2
00001c75: OR
00001c76: SWAP1
00001c77: SWAP2
00001c78: SSTORE
00001c79: SWAP2
00001c7a: MLOAD
00001c7b: SWAP2
00001c7c: DUP3
00001c7d: MSTORE
00001c7e: PUSH32 0x1654faf85125411e694fdad729dc22b2b583917b157587351f34968d782b32f7
00001c9f: SWAP2
00001ca0: ADD
00001ca1: PUSH1 0x40
00001ca3: MLOAD
00001ca4: DUP1
00001ca5: SWAP2
00001ca6: SUB
00001ca7: SWAP1
00001ca8: LOG2
00001ca9: POP
00001caa: POP
00001cab: POP
00001cac: JUMP
00001cad: JUMPDEST
00001cae: PUSH2 0x1d05
00001cb1: DUP5
00001cb2: PUSH4 0x23b872dd
00001cb7: PUSH1 0xe0
00001cb9: SHL
00001cba: DUP6
00001cbb: DUP6
00001cbc: DUP6
00001cbd: PUSH1 0x40
00001cbf: MLOAD
00001cc0: PUSH1 0x24
00001cc2: ADD
00001cc3: PUSH2 0x1cce
00001cc6: SWAP4
00001cc7: SWAP3
00001cc8: SWAP2
00001cc9: SWAP1
00001cca: PUSH2 0x2d29
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH1 0x40
00001cd1: DUP1
00001cd2: MLOAD
00001cd3: PUSH1 0x1f
00001cd5: NOT
00001cd6: DUP2
00001cd7: DUP5
00001cd8: SUB
00001cd9: ADD
00001cda: DUP2
00001cdb: MSTORE
00001cdc: SWAP2
00001cdd: SWAP1
00001cde: MSTORE
00001cdf: PUSH1 0x20
00001ce1: DUP2
00001ce2: ADD
00001ce3: DUP1
00001ce4: MLOAD
00001ce5: PUSH1 0x01
00001ce7: PUSH1 0x01
00001ce9: PUSH1 0xe0
00001ceb: SHL
00001cec: SUB
00001ced: AND
00001cee: PUSH1 0x01
00001cf0: PUSH1 0x01
00001cf2: PUSH1 0xe0
00001cf4: SHL
00001cf5: SUB
00001cf6: NOT
00001cf7: SWAP1
00001cf8: SWAP4
00001cf9: AND
00001cfa: SWAP3
00001cfb: SWAP1
00001cfc: SWAP3
00001cfd: OR
00001cfe: SWAP1
00001cff: SWAP2
00001d00: MSTORE
00001d01: PUSH2 0x24f2
00001d04: JUMP
00001d05: JUMPDEST
00001d06: POP
00001d07: POP
00001d08: POP
00001d09: POP
00001d0a: JUMP
00001d0b: JUMPDEST
00001d0c: PUSH0
00001d0d: PUSH2 0x1d43
00001d10: PUSH2 0x1d17
00001d13: PUSH2 0x0a41
00001d16: JUMP
00001d17: JUMPDEST
00001d18: PUSH2 0x1d22
00001d1b: SWAP1
00001d1c: PUSH1 0x01
00001d1e: PUSH2 0x2c6b
00001d21: JUMP
00001d22: JUMPDEST
00001d23: PUSH2 0x1d2d
00001d26: PUSH0
00001d27: PUSH1 0x0a
00001d29: PUSH2 0x2f9d
00001d2c: JUMP
00001d2d: JUMPDEST
00001d2e: PUSH1 0x35
00001d30: SLOAD
00001d31: PUSH2 0x1d3a
00001d34: SWAP2
00001d35: SWAP1
00001d36: PUSH2 0x2c6b
00001d39: JUMP
00001d3a: JUMPDEST
00001d3b: DUP6
00001d3c: SWAP2
00001d3d: SWAP1
00001d3e: DUP6
00001d3f: PUSH2 0x25c5
00001d42: JUMP
00001d43: JUMPDEST
00001d44: SWAP4
00001d45: SWAP3
00001d46: POP
00001d47: POP
00001d48: POP
00001d49: JUMP
00001d4a: JUMPDEST
00001d4b: PUSH1 0x01
00001d4d: PUSH1 0x01
00001d4f: PUSH1 0xa0
00001d51: SHL
00001d52: SUB
00001d53: DUP4
00001d54: AND
00001d55: PUSH2 0x1dac
00001d58: JUMPI
00001d59: PUSH1 0x40
00001d5b: MLOAD
00001d5c: PUSH3 0x461bcd
00001d60: PUSH1 0xe5
00001d62: SHL
00001d63: DUP2
00001d64: MSTORE
00001d65: PUSH1 0x20
00001d67: PUSH1 0x04
00001d69: DUP3
00001d6a: ADD
00001d6b: MSTORE
00001d6c: PUSH1 0x24
00001d6e: DUP1
00001d6f: DUP3
00001d70: ADD
00001d71: MSTORE
00001d72: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00001d93: PUSH1 0x44
00001d95: DUP3
00001d96: ADD
00001d97: MSTORE
00001d98: PUSH4 0x72657373
00001d9d: PUSH1 0xe0
00001d9f: SHL
00001da0: PUSH1 0x64
00001da2: DUP3
00001da3: ADD
00001da4: MSTORE
00001da5: PUSH1 0x84
00001da7: ADD
00001da8: PUSH2 0x098d
00001dab: JUMP
00001dac: JUMPDEST
00001dad: PUSH1 0x01
00001daf: PUSH1 0x01
00001db1: PUSH1 0xa0
00001db3: SHL
00001db4: SUB
00001db5: DUP3
00001db6: AND
00001db7: PUSH2 0x1e0d
00001dba: JUMPI
00001dbb: PUSH1 0x40
00001dbd: MLOAD
00001dbe: PUSH3 0x461bcd
00001dc2: PUSH1 0xe5
00001dc4: SHL
00001dc5: DUP2
00001dc6: MSTORE
00001dc7: PUSH1 0x20
00001dc9: PUSH1 0x04
00001dcb: DUP3
00001dcc: ADD
00001dcd: MSTORE
00001dce: PUSH1 0x22
00001dd0: PUSH1 0x24
00001dd2: DUP3
00001dd3: ADD
00001dd4: MSTORE
00001dd5: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00001df6: PUSH1 0x44
00001df8: DUP3
00001df9: ADD
00001dfa: MSTORE
00001dfb: PUSH2 0x7373
00001dfe: PUSH1 0xf0
00001e00: SHL
00001e01: PUSH1 0x64
00001e03: DUP3
00001e04: ADD
00001e05: MSTORE
00001e06: PUSH1 0x84
00001e08: ADD
00001e09: PUSH2 0x098d
00001e0c: JUMP
00001e0d: JUMPDEST
00001e0e: PUSH1 0x01
00001e10: PUSH1 0x01
00001e12: PUSH1 0xa0
00001e14: SHL
00001e15: SUB
00001e16: DUP4
00001e17: DUP2
00001e18: AND
00001e19: PUSH0
00001e1a: DUP2
00001e1b: DUP2
00001e1c: MSTORE
00001e1d: PUSH1 0x34
00001e1f: PUSH1 0x20
00001e21: SWAP1
00001e22: DUP2
00001e23: MSTORE
00001e24: PUSH1 0x40
00001e26: DUP1
00001e27: DUP4
00001e28: KECCAK256
00001e29: SWAP5
00001e2a: DUP8
00001e2b: AND
00001e2c: DUP1
00001e2d: DUP5
00001e2e: MSTORE
00001e2f: SWAP5
00001e30: DUP3
00001e31: MSTORE
00001e32: SWAP2
00001e33: DUP3
00001e34: SWAP1
00001e35: KECCAK256
00001e36: DUP6
00001e37: SWAP1
00001e38: SSTORE
00001e39: SWAP1
00001e3a: MLOAD
00001e3b: DUP5
00001e3c: DUP2
00001e3d: MSTORE
00001e3e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001e5f: SWAP2
00001e60: ADD
00001e61: PUSH1 0x40
00001e63: MLOAD
00001e64: DUP1
00001e65: SWAP2
00001e66: SUB
00001e67: SWAP1
00001e68: LOG3
00001e69: POP
00001e6a: POP
00001e6b: POP
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: PUSH0
00001e6f: PUSH2 0x1d43
00001e72: PUSH2 0x1e7c
00001e75: DUP3
00001e76: PUSH1 0x0a
00001e78: PUSH2 0x2f9d
00001e7b: JUMP
00001e7c: JUMPDEST
00001e7d: PUSH1 0x35
00001e7f: SLOAD
00001e80: PUSH2 0x1e89
00001e83: SWAP2
00001e84: SWAP1
00001e85: PUSH2 0x2c6b
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH2 0x1e91
00001e8d: PUSH2 0x0a41
00001e90: JUMP
00001e91: JUMPDEST
00001e92: PUSH2 0x1d3a
00001e95: SWAP1
00001e96: PUSH1 0x01
00001e98: PUSH2 0x2c6b
00001e9b: JUMP
00001e9c: JUMPDEST
00001e9d: PUSH0
00001e9e: DUP1
00001e9f: DUP1
00001ea0: PUSH0
00001ea1: NOT
00001ea2: DUP6
00001ea3: DUP8
00001ea4: MULMOD
00001ea5: DUP6
00001ea6: DUP8
00001ea7: MUL
00001ea8: SWAP3
00001ea9: POP
00001eaa: DUP3
00001eab: DUP2
00001eac: LT
00001ead: DUP4
00001eae: DUP3
00001eaf: SUB
00001eb0: SUB
00001eb1: SWAP2
00001eb2: POP
00001eb3: POP
00001eb4: DUP1
00001eb5: PUSH0
00001eb6: SUB
00001eb7: PUSH2 0x1ed3
00001eba: JUMPI
00001ebb: DUP4
00001ebc: DUP3
00001ebd: DUP2
00001ebe: PUSH2 0x1ec9
00001ec1: JUMPI
00001ec2: PUSH2 0x1ec9
00001ec5: PUSH2 0x2e49
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: DIV
00001ecb: SWAP3
00001ecc: POP
00001ecd: POP
00001ece: POP
00001ecf: PUSH2 0x1d43
00001ed2: JUMP
00001ed3: JUMPDEST
00001ed4: DUP1
00001ed5: DUP5
00001ed6: GT
00001ed7: PUSH2 0x1f1a
00001eda: JUMPI
00001edb: PUSH1 0x40
00001edd: MLOAD
00001ede: PUSH3 0x461bcd
00001ee2: PUSH1 0xe5
00001ee4: SHL
00001ee5: DUP2
00001ee6: MSTORE
00001ee7: PUSH1 0x20
00001ee9: PUSH1 0x04
00001eeb: DUP3
00001eec: ADD
00001eed: MSTORE
00001eee: PUSH1 0x15
00001ef0: PUSH1 0x24
00001ef2: DUP3
00001ef3: ADD
00001ef4: MSTORE
00001ef5: PUSH21 0x4d6174683a206d756c446976206f766572666c6f77
00001f0b: PUSH1 0x58
00001f0d: SHL
00001f0e: PUSH1 0x44
00001f10: DUP3
00001f11: ADD
00001f12: MSTORE
00001f13: PUSH1 0x64
00001f15: ADD
00001f16: PUSH2 0x098d
00001f19: JUMP
00001f1a: JUMPDEST
00001f1b: PUSH0
00001f1c: DUP5
00001f1d: DUP7
00001f1e: DUP9
00001f1f: MULMOD
00001f20: PUSH1 0x02
00001f22: PUSH1 0x03
00001f24: PUSH1 0x01
00001f26: DUP9
00001f27: NOT
00001f28: DUP2
00001f29: ADD
00001f2a: DUP10
00001f2b: AND
00001f2c: SWAP9
00001f2d: DUP10
00001f2e: SWAP1
00001f2f: DIV
00001f30: SWAP2
00001f31: DUP3
00001f32: MUL
00001f33: DUP4
00001f34: XOR
00001f35: DUP1
00001f36: DUP4
00001f37: MUL
00001f38: DUP5
00001f39: SUB
00001f3a: MUL
00001f3b: DUP1
00001f3c: DUP4
00001f3d: MUL
00001f3e: DUP5
00001f3f: SUB
00001f40: MUL
00001f41: DUP1
00001f42: DUP4
00001f43: MUL
00001f44: DUP5
00001f45: SUB
00001f46: MUL
00001f47: DUP1
00001f48: DUP4
00001f49: MUL
00001f4a: DUP5
00001f4b: SUB
00001f4c: MUL
00001f4d: DUP1
00001f4e: DUP4
00001f4f: MUL
00001f50: DUP5
00001f51: SUB
00001f52: MUL
00001f53: SWAP2
00001f54: DUP3
00001f55: MUL
00001f56: SWAP1
00001f57: SWAP3
00001f58: SUB
00001f59: MUL
00001f5a: PUSH0
00001f5b: DUP9
00001f5c: SWAP1
00001f5d: SUB
00001f5e: DUP9
00001f5f: SWAP1
00001f60: DIV
00001f61: SWAP1
00001f62: SWAP2
00001f63: ADD
00001f64: DUP6
00001f65: DUP4
00001f66: GT
00001f67: SWAP1
00001f68: SWAP5
00001f69: SUB
00001f6a: SWAP4
00001f6b: SWAP1
00001f6c: SWAP4
00001f6d: MUL
00001f6e: SWAP4
00001f6f: SUB
00001f70: SWAP5
00001f71: SWAP1
00001f72: SWAP5
00001f73: DIV
00001f74: SWAP2
00001f75: SWAP1
00001f76: SWAP2
00001f77: OR
00001f78: MUL
00001f79: SWAP5
00001f7a: SWAP4
00001f7b: POP
00001f7c: POP
00001f7d: POP
00001f7e: POP
00001f7f: JUMP
00001f80: JUMPDEST
00001f81: CALLER
00001f82: PUSH2 0x1f89
00001f85: PUSH2 0x0e04
00001f88: JUMP
00001f89: JUMPDEST
00001f8a: PUSH1 0x01
00001f8c: PUSH1 0x01
00001f8e: PUSH1 0xa0
00001f90: SHL
00001f91: SUB
00001f92: AND
00001f93: EQ
00001f94: PUSH2 0x0e02
00001f97: JUMPI
00001f98: PUSH1 0x40
00001f9a: MLOAD
00001f9b: PUSH3 0x461bcd
00001f9f: PUSH1 0xe5
00001fa1: SHL
00001fa2: DUP2
00001fa3: MSTORE
00001fa4: PUSH1 0x20
00001fa6: PUSH1 0x04
00001fa8: DUP3
00001fa9: ADD
00001faa: DUP2
00001fab: SWAP1
00001fac: MSTORE
00001fad: PUSH1 0x24
00001faf: DUP3
00001fb0: ADD
00001fb1: MSTORE
00001fb2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001fd3: PUSH1 0x44
00001fd5: DUP3
00001fd6: ADD
00001fd7: MSTORE
00001fd8: PUSH1 0x64
00001fda: ADD
00001fdb: PUSH2 0x098d
00001fde: JUMP
00001fdf: JUMPDEST
00001fe0: DUP2
00001fe1: PUSH0
00001fe2: DUP2
00001fe3: GT
00001fe4: PUSH2 0x1fff
00001fe7: JUMPI
00001fe8: PUSH1 0x40
00001fea: MLOAD
00001feb: PUSH3 0x461bcd
00001fef: PUSH1 0xe5
00001ff1: SHL
00001ff2: DUP2
00001ff3: MSTORE
00001ff4: PUSH1 0x04
00001ff6: ADD
00001ff7: PUSH2 0x098d
00001ffa: SWAP1
00001ffb: PUSH2 0x2d08
00001ffe: JUMP
00001fff: JUMPDEST
00002000: PUSH2 0x2008
00002003: CALLER
00002004: PUSH2 0x0bba
00002007: JUMP
00002008: JUMPDEST
00002009: DUP4
0000200a: GT
0000200b: ISZERO
0000200c: PUSH2 0x2057
0000200f: JUMPI
00002010: PUSH1 0x40
00002012: MLOAD
00002013: PUSH3 0x461bcd
00002017: PUSH1 0xe5
00002019: SHL
0000201a: DUP2
0000201b: MSTORE
0000201c: PUSH1 0x20
0000201e: PUSH1 0x04
00002020: DUP3
00002021: ADD
00002022: MSTORE
00002023: PUSH1 0x1e
00002025: PUSH1 0x24
00002027: DUP3
00002028: ADD
00002029: MSTORE
0000202a: PUSH32 0x455243343632363a206465706f736974206d6f7265207468616e206d61780000
0000204b: PUSH1 0x44
0000204d: DUP3
0000204e: ADD
0000204f: MSTORE
00002050: PUSH1 0x64
00002052: ADD
00002053: PUSH2 0x098d
00002056: JUMP
00002057: JUMPDEST
00002058: PUSH0
00002059: PUSH2 0x2061
0000205c: PUSH1 0x35
0000205e: SLOAD
0000205f: SWAP1
00002060: JUMP
00002061: JUMPDEST
00002062: PUSH0
00002063: SUB
00002064: PUSH2 0x2115
00002067: JUMPI
00002068: PUSH2 0x03e8
0000206b: DUP5
0000206c: GT
0000206d: PUSH2 0x20b8
00002070: JUMPI
00002071: PUSH1 0x40
00002073: MLOAD
00002074: PUSH3 0x461bcd
00002078: PUSH1 0xe5
0000207a: SHL
0000207b: DUP2
0000207c: MSTORE
0000207d: PUSH1 0x20
0000207f: PUSH1 0x04
00002081: DUP3
00002082: ADD
00002083: DUP2
00002084: SWAP1
00002085: MSTORE
00002086: PUSH1 0x24
00002088: DUP3
00002089: ADD
0000208a: MSTORE
0000208b: PUSH32 0x4e6f7420456e6f7567682053686172657320666f72206669727374206d696e74
000020ac: PUSH1 0x44
000020ae: DUP3
000020af: ADD
000020b0: MSTORE
000020b1: PUSH1 0x64
000020b3: ADD
000020b4: PUSH2 0x098d
000020b7: JUMP
000020b8: JUMPDEST
000020b9: PUSH0
000020ba: PUSH8 0x0de0b6b3a7640000
000020c3: PUSH2 0x20ca
000020c6: PUSH2 0x0b80
000020c9: JUMP
000020ca: JUMPDEST
000020cb: PUSH2 0x20d5
000020ce: SWAP1
000020cf: PUSH1 0x0a
000020d1: PUSH2 0x2f9d
000020d4: JUMP
000020d5: JUMPDEST
000020d6: PUSH2 0x20df
000020d9: SWAP2
000020da: SWAP1
000020db: PUSH2 0x2e5d
000020de: JUMP
000020df: JUMPDEST
000020e0: SWAP1
000020e1: POP
000020e2: DUP1
000020e3: PUSH2 0x20ee
000020e6: PUSH2 0x03e8
000020e9: DUP8
000020ea: PUSH2 0x2c58
000020ed: JUMP
000020ee: JUMPDEST
000020ef: PUSH2 0x20f8
000020f2: SWAP2
000020f3: SWAP1
000020f4: PUSH2 0x2e32
000020f7: JUMP
000020f8: JUMPDEST
000020f9: SWAP2
000020fa: POP
000020fb: PUSH2 0x210f
000020fe: ADDRESS
000020ff: PUSH2 0x210a
00002102: DUP4
00002103: PUSH2 0x03e8
00002106: PUSH2 0x2e32
00002109: JUMP
0000210a: JUMPDEST
0000210b: PUSH2 0x2622
0000210e: JUMP
0000210f: JUMPDEST
00002110: POP
00002111: PUSH2 0x2118
00002114: JUMP
00002115: JUMPDEST
00002116: POP
00002117: DUP2
00002118: JUMPDEST
00002119: PUSH2 0x2122
0000211c: DUP6
0000211d: DUP3
0000211e: PUSH2 0x2622
00002121: JUMP
00002122: JUMPDEST
00002123: DUP4
00002124: PUSH1 0xcd
00002126: PUSH0
00002127: DUP3
00002128: DUP3
00002129: SLOAD
0000212a: PUSH2 0x2133
0000212d: SWAP2
0000212e: SWAP1
0000212f: PUSH2 0x2c6b
00002132: JUMP
00002133: JUMPDEST
00002134: SWAP1
00002135: SWAP2
00002136: SSTORE
00002137: POP
00002138: POP
00002139: PUSH1 0xd5
0000213b: SLOAD
0000213c: PUSH2 0x2145
0000213f: SWAP1
00002140: TIMESTAMP
00002141: PUSH2 0x2c6b
00002144: JUMP
00002145: JUMPDEST
00002146: CALLER
00002147: PUSH0
00002148: DUP2
00002149: DUP2
0000214a: MSTORE
0000214b: PUSH1 0xd2
0000214d: PUSH1 0x20
0000214f: SWAP1
00002150: DUP2
00002151: MSTORE
00002152: PUSH1 0x40
00002154: SWAP2
00002155: DUP3
00002156: SWAP1
00002157: KECCAK256
00002158: SWAP4
00002159: SWAP1
0000215a: SWAP4
0000215b: SSTORE
0000215c: DUP1
0000215d: MLOAD
0000215e: DUP8
0000215f: DUP2
00002160: MSTORE
00002161: SWAP3
00002162: DUP4
00002163: ADD
00002164: DUP5
00002165: SWAP1
00002166: MSTORE
00002167: PUSH1 0x01
00002169: PUSH1 0x01
0000216b: PUSH1 0xa0
0000216d: SHL
0000216e: SUB
0000216f: DUP9
00002170: AND
00002171: SWAP3
00002172: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00002193: SWAP2
00002194: ADD
00002195: PUSH1 0x40
00002197: MLOAD
00002198: DUP1
00002199: SWAP2
0000219a: SUB
0000219b: SWAP1
0000219c: LOG3
0000219d: POP
0000219e: POP
0000219f: POP
000021a0: POP
000021a1: POP
000021a2: POP
000021a3: JUMP
000021a4: JUMPDEST
000021a5: PUSH1 0x97
000021a7: DUP1
000021a8: SLOAD
000021a9: PUSH1 0x01
000021ab: PUSH1 0x01
000021ad: PUSH1 0xa0
000021af: SHL
000021b0: SUB
000021b1: DUP4
000021b2: DUP2
000021b3: AND
000021b4: PUSH1 0x01
000021b6: PUSH1 0x01
000021b8: PUSH1 0xa0
000021ba: SHL
000021bb: SUB
000021bc: NOT
000021bd: DUP4
000021be: AND
000021bf: DUP2
000021c0: OR
000021c1: SWAP1
000021c2: SWAP4
000021c3: SSTORE
000021c4: PUSH1 0x40
000021c6: MLOAD
000021c7: SWAP2
000021c8: AND
000021c9: SWAP2
000021ca: SWAP1
000021cb: DUP3
000021cc: SWAP1
000021cd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000021ee: SWAP1
000021ef: PUSH0
000021f0: SWAP1
000021f1: LOG3
000021f2: POP
000021f3: POP
000021f4: JUMP
000021f5: JUMPDEST
000021f6: PUSH2 0x2214
000021f9: DUP4
000021fa: PUSH4 0xa9059cbb
000021ff: PUSH1 0xe0
00002201: SHL
00002202: DUP5
00002203: DUP5
00002204: PUSH1 0x40
00002206: MLOAD
00002207: PUSH1 0x24
00002209: ADD
0000220a: PUSH2 0x1cce
0000220d: SWAP3
0000220e: SWAP2
0000220f: SWAP1
00002210: PUSH2 0x2cef
00002213: JUMP
00002214: JUMPDEST
00002215: POP
00002216: POP
00002217: POP
00002218: JUMP
00002219: JUMPDEST
0000221a: DUP3
0000221b: PUSH1 0x01
0000221d: PUSH1 0x01
0000221f: PUSH1 0xa0
00002221: SHL
00002222: SUB
00002223: AND
00002224: DUP6
00002225: PUSH1 0x01
00002227: PUSH1 0x01
00002229: PUSH1 0xa0
0000222b: SHL
0000222c: SUB
0000222d: AND
0000222e: EQ
0000222f: PUSH2 0x223d
00002232: JUMPI
00002233: PUSH2 0x223d
00002236: DUP4
00002237: DUP7
00002238: DUP4
00002239: PUSH2 0x2361
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH2 0x2247
00002241: DUP4
00002242: DUP3
00002243: PUSH2 0x23d3
00002246: JUMP
00002247: JUMPDEST
00002248: PUSH1 0x65
0000224a: SLOAD
0000224b: PUSH2 0x225e
0000224e: SWAP1
0000224f: PUSH1 0x01
00002251: PUSH1 0x01
00002253: PUSH1 0xa0
00002255: SHL
00002256: SUB
00002257: AND
00002258: DUP6
00002259: DUP5
0000225a: PUSH2 0x21f5
0000225d: JUMP
0000225e: JUMPDEST
0000225f: DUP3
00002260: PUSH1 0x01
00002262: PUSH1 0x01
00002264: PUSH1 0xa0
00002266: SHL
00002267: SUB
00002268: AND
00002269: DUP5
0000226a: PUSH1 0x01
0000226c: PUSH1 0x01
0000226e: PUSH1 0xa0
00002270: SHL
00002271: SUB
00002272: AND
00002273: DUP7
00002274: PUSH1 0x01
00002276: PUSH1 0x01
00002278: PUSH1 0xa0
0000227a: SHL
0000227b: SUB
0000227c: AND
0000227d: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db
0000229e: DUP6
0000229f: DUP6
000022a0: PUSH1 0x40
000022a2: MLOAD
000022a3: PUSH2 0x22b6
000022a6: SWAP3
000022a7: SWAP2
000022a8: SWAP1
000022a9: SWAP2
000022aa: DUP3
000022ab: MSTORE
000022ac: PUSH1 0x20
000022ae: DUP3
000022af: ADD
000022b0: MSTORE
000022b1: PUSH1 0x40
000022b3: ADD
000022b4: SWAP1
000022b5: JUMP
000022b6: JUMPDEST
000022b7: PUSH1 0x40
000022b9: MLOAD
000022ba: DUP1
000022bb: SWAP2
000022bc: SUB
000022bd: SWAP1
000022be: LOG4
000022bf: POP
000022c0: POP
000022c1: POP
000022c2: POP
000022c3: POP
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x01
000022c8: PUSH1 0x01
000022ca: PUSH1 0xa0
000022cc: SHL
000022cd: SUB
000022ce: AND
000022cf: EXTCODESIZE
000022d0: ISZERO
000022d1: ISZERO
000022d2: SWAP1
000022d3: JUMP
000022d4: JUMPDEST
000022d5: PUSH0
000022d6: SLOAD
000022d7: PUSH2 0x0100
000022da: SWAP1
000022db: DIV
000022dc: PUSH1 0xff
000022de: AND
000022df: PUSH2 0x22fa
000022e2: JUMPI
000022e3: PUSH1 0x40
000022e5: MLOAD
000022e6: PUSH3 0x461bcd
000022ea: PUSH1 0xe5
000022ec: SHL
000022ed: DUP2
000022ee: MSTORE
000022ef: PUSH1 0x04
000022f1: ADD
000022f2: PUSH2 0x098d
000022f5: SWAP1
000022f6: PUSH2 0x2fab
000022f9: JUMP
000022fa: JUMPDEST
000022fb: PUSH2 0x0e02
000022fe: PUSH2 0x26ce
00002301: JUMP
00002302: JUMPDEST
00002303: PUSH0
00002304: SLOAD
00002305: PUSH2 0x0100
00002308: SWAP1
00002309: DIV
0000230a: PUSH1 0xff
0000230c: AND
0000230d: PUSH2 0x2328
00002310: JUMPI
00002311: PUSH1 0x40
00002313: MLOAD
00002314: PUSH3 0x461bcd
00002318: PUSH1 0xe5
0000231a: SHL
0000231b: DUP2
0000231c: MSTORE
0000231d: PUSH1 0x04
0000231f: ADD
00002320: PUSH2 0x098d
00002323: SWAP1
00002324: PUSH2 0x2fab
00002327: JUMP
00002328: JUMPDEST
00002329: PUSH2 0x1b2e
0000232c: DUP2
0000232d: PUSH2 0x26fd
00002330: JUMP
00002331: JUMPDEST
00002332: PUSH0
00002333: SLOAD
00002334: PUSH2 0x0100
00002337: SWAP1
00002338: DIV
00002339: PUSH1 0xff
0000233b: AND
0000233c: PUSH2 0x2357
0000233f: JUMPI
00002340: PUSH1 0x40
00002342: MLOAD
00002343: PUSH3 0x461bcd
00002347: PUSH1 0xe5
00002349: SHL
0000234a: DUP2
0000234b: MSTORE
0000234c: PUSH1 0x04
0000234e: ADD
0000234f: PUSH2 0x098d
00002352: SWAP1
00002353: PUSH2 0x2fab
00002356: JUMP
00002357: JUMPDEST
00002358: PUSH2 0x1550
0000235b: DUP3
0000235c: DUP3
0000235d: PUSH2 0x2780
00002360: JUMP
00002361: JUMPDEST
00002362: PUSH0
00002363: PUSH2 0x236c
00002366: DUP5
00002367: DUP5
00002368: PUSH2 0x15d0
0000236b: JUMP
0000236c: JUMPDEST
0000236d: SWAP1
0000236e: POP
0000236f: PUSH0
00002370: NOT
00002371: DUP2
00002372: EQ
00002373: PUSH2 0x1d05
00002376: JUMPI
00002377: DUP2
00002378: DUP2
00002379: LT
0000237a: ISZERO
0000237b: PUSH2 0x23c6
0000237e: JUMPI
0000237f: PUSH1 0x40
00002381: MLOAD
00002382: PUSH3 0x461bcd
00002386: PUSH1 0xe5
00002388: SHL
00002389: DUP2
0000238a: MSTORE
0000238b: PUSH1 0x20
0000238d: PUSH1 0x04
0000238f: DUP3
00002390: ADD
00002391: MSTORE
00002392: PUSH1 0x1d
00002394: PUSH1 0x24
00002396: DUP3
00002397: ADD
00002398: MSTORE
00002399: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
000023ba: PUSH1 0x44
000023bc: DUP3
000023bd: ADD
000023be: MSTORE
000023bf: PUSH1 0x64
000023c1: ADD
000023c2: PUSH2 0x098d
000023c5: JUMP
000023c6: JUMPDEST
000023c7: PUSH2 0x1d05
000023ca: DUP5
000023cb: DUP5
000023cc: DUP5
000023cd: DUP5
000023ce: SUB
000023cf: PUSH2 0x1d4a
000023d2: JUMP
000023d3: JUMPDEST
000023d4: PUSH1 0x01
000023d6: PUSH1 0x01
000023d8: PUSH1 0xa0
000023da: SHL
000023db: SUB
000023dc: DUP3
000023dd: AND
000023de: PUSH2 0x2433
000023e1: JUMPI
000023e2: PUSH1 0x40
000023e4: MLOAD
000023e5: PUSH3 0x461bcd
000023e9: PUSH1 0xe5
000023eb: SHL
000023ec: DUP2
000023ed: MSTORE
000023ee: PUSH1 0x20
000023f0: PUSH1 0x04
000023f2: DUP3
000023f3: ADD
000023f4: MSTORE
000023f5: PUSH1 0x21
000023f7: PUSH1 0x24
000023f9: DUP3
000023fa: ADD
000023fb: MSTORE
000023fc: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
0000241d: PUSH1 0x44
0000241f: DUP3
00002420: ADD
00002421: MSTORE
00002422: PUSH1 0x73
00002424: PUSH1 0xf8
00002426: SHL
00002427: PUSH1 0x64
00002429: DUP3
0000242a: ADD
0000242b: MSTORE
0000242c: PUSH1 0x84
0000242e: ADD
0000242f: PUSH2 0x098d
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH1 0x01
00002436: PUSH1 0x01
00002438: PUSH1 0xa0
0000243a: SHL
0000243b: SUB
0000243c: DUP3
0000243d: AND
0000243e: PUSH0
0000243f: SWAP1
00002440: DUP2
00002441: MSTORE
00002442: PUSH1 0x33
00002444: PUSH1 0x20
00002446: MSTORE
00002447: PUSH1 0x40
00002449: SWAP1
0000244a: KECCAK256
0000244b: SLOAD
0000244c: DUP2
0000244d: DUP2
0000244e: LT
0000244f: ISZERO
00002450: PUSH2 0x24a6
00002453: JUMPI
00002454: PUSH1 0x40
00002456: MLOAD
00002457: PUSH3 0x461bcd
0000245b: PUSH1 0xe5
0000245d: SHL
0000245e: DUP2
0000245f: MSTORE
00002460: PUSH1 0x20
00002462: PUSH1 0x04
00002464: DUP3
00002465: ADD
00002466: MSTORE
00002467: PUSH1 0x22
00002469: PUSH1 0x24
0000246b: DUP3
0000246c: ADD
0000246d: MSTORE
0000246e: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
0000248f: PUSH1 0x44
00002491: DUP3
00002492: ADD
00002493: MSTORE
00002494: PUSH2 0x6365
00002497: PUSH1 0xf0
00002499: SHL
0000249a: PUSH1 0x64
0000249c: DUP3
0000249d: ADD
0000249e: MSTORE
0000249f: PUSH1 0x84
000024a1: ADD
000024a2: PUSH2 0x098d
000024a5: JUMP
000024a6: JUMPDEST
000024a7: PUSH1 0x01
000024a9: PUSH1 0x01
000024ab: PUSH1 0xa0
000024ad: SHL
000024ae: SUB
000024af: DUP4
000024b0: AND
000024b1: PUSH0
000024b2: DUP2
000024b3: DUP2
000024b4: MSTORE
000024b5: PUSH1 0x33
000024b7: PUSH1 0x20
000024b9: SWAP1
000024ba: DUP2
000024bb: MSTORE
000024bc: PUSH1 0x40
000024be: DUP1
000024bf: DUP4
000024c0: KECCAK256
000024c1: DUP7
000024c2: DUP7
000024c3: SUB
000024c4: SWAP1
000024c5: SSTORE
000024c6: PUSH1 0x35
000024c8: DUP1
000024c9: SLOAD
000024ca: DUP8
000024cb: SWAP1
000024cc: SUB
000024cd: SWAP1
000024ce: SSTORE
000024cf: MLOAD
000024d0: DUP6
000024d1: DUP2
000024d2: MSTORE
000024d3: SWAP2
000024d4: SWAP3
000024d5: SWAP2
000024d6: PUSH0
000024d7: DUP1
000024d8: MLOAD
000024d9: PUSH1 0x20
000024db: PUSH2 0x3159
000024de: DUP4
000024df: CODECOPY
000024e0: DUP2
000024e1: MLOAD
000024e2: SWAP2
000024e3: MSTORE
000024e4: SWAP2
000024e5: ADD
000024e6: PUSH1 0x40
000024e8: MLOAD
000024e9: DUP1
000024ea: SWAP2
000024eb: SUB
000024ec: SWAP1
000024ed: LOG3
000024ee: POP
000024ef: POP
000024f0: POP
000024f1: JUMP
000024f2: JUMPDEST
000024f3: PUSH0
000024f4: PUSH2 0x2546
000024f7: DUP3
000024f8: PUSH1 0x40
000024fa: MLOAD
000024fb: DUP1
000024fc: PUSH1 0x40
000024fe: ADD
000024ff: PUSH1 0x40
00002501: MSTORE
00002502: DUP1
00002503: PUSH1 0x20
00002505: DUP2
00002506: MSTORE
00002507: PUSH1 0x20
00002509: ADD
0000250a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000252b: DUP2
0000252c: MSTORE
0000252d: POP
0000252e: DUP6
0000252f: PUSH1 0x01
00002531: PUSH1 0x01
00002533: PUSH1 0xa0
00002535: SHL
00002536: SUB
00002537: AND
00002538: PUSH2 0x27bf
0000253b: SWAP1
0000253c: SWAP3
0000253d: SWAP2
0000253e: SWAP1
0000253f: PUSH4 0xffffffff
00002544: AND
00002545: JUMP
00002546: JUMPDEST
00002547: SWAP1
00002548: POP
00002549: DUP1
0000254a: MLOAD
0000254b: PUSH0
0000254c: EQ
0000254d: DUP1
0000254e: PUSH2 0x2566
00002551: JUMPI
00002552: POP
00002553: DUP1
00002554: DUP1
00002555: PUSH1 0x20
00002557: ADD
00002558: SWAP1
00002559: MLOAD
0000255a: DUP2
0000255b: ADD
0000255c: SWAP1
0000255d: PUSH2 0x2566
00002560: SWAP2
00002561: SWAP1
00002562: PUSH2 0x2d4d
00002565: JUMP
00002566: JUMPDEST
00002567: PUSH2 0x2214
0000256a: JUMPI
0000256b: PUSH1 0x40
0000256d: MLOAD
0000256e: PUSH3 0x461bcd
00002572: PUSH1 0xe5
00002574: SHL
00002575: DUP2
00002576: MSTORE
00002577: PUSH1 0x20
00002579: PUSH1 0x04
0000257b: DUP3
0000257c: ADD
0000257d: MSTORE
0000257e: PUSH1 0x2a
00002580: PUSH1 0x24
00002582: DUP3
00002583: ADD
00002584: MSTORE
00002585: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000025a6: PUSH1 0x44
000025a8: DUP3
000025a9: ADD
000025aa: MSTORE
000025ab: PUSH10 0x1bdd081cdd58d8d95959
000025b6: PUSH1 0xb2
000025b8: SHL
000025b9: PUSH1 0x64
000025bb: DUP3
000025bc: ADD
000025bd: MSTORE
000025be: PUSH1 0x84
000025c0: ADD
000025c1: PUSH2 0x098d
000025c4: JUMP
000025c5: JUMPDEST
000025c6: PUSH0
000025c7: DUP1
000025c8: PUSH2 0x25d2
000025cb: DUP7
000025cc: DUP7
000025cd: DUP7
000025ce: PUSH2 0x1e9c
000025d1: JUMP
000025d2: JUMPDEST
000025d3: SWAP1
000025d4: POP
000025d5: PUSH1 0x01
000025d7: DUP4
000025d8: PUSH1 0x02
000025da: DUP2
000025db: GT
000025dc: ISZERO
000025dd: PUSH2 0x25e8
000025e0: JUMPI
000025e1: PUSH2 0x25e8
000025e4: PUSH2 0x2ff6
000025e7: JUMP
000025e8: JUMPDEST
000025e9: EQ
000025ea: DUP1
000025eb: ISZERO
000025ec: PUSH2 0x2604
000025ef: JUMPI
000025f0: POP
000025f1: PUSH0
000025f2: DUP5
000025f3: DUP1
000025f4: PUSH2 0x25ff
000025f7: JUMPI
000025f8: PUSH2 0x25ff
000025fb: PUSH2 0x2e49
000025fe: JUMP
000025ff: JUMPDEST
00002600: DUP7
00002601: DUP9
00002602: MULMOD
00002603: GT
00002604: JUMPDEST
00002605: ISZERO
00002606: PUSH2 0x2617
00002609: JUMPI
0000260a: PUSH2 0x2614
0000260d: PUSH1 0x01
0000260f: DUP3
00002610: PUSH2 0x2c6b
00002613: JUMP
00002614: JUMPDEST
00002615: SWAP1
00002616: POP
00002617: JUMPDEST
00002618: SWAP1
00002619: POP
0000261a: JUMPDEST
0000261b: SWAP5
0000261c: SWAP4
0000261d: POP
0000261e: POP
0000261f: POP
00002620: POP
00002621: JUMP
00002622: JUMPDEST
00002623: PUSH1 0x01
00002625: PUSH1 0x01
00002627: PUSH1 0xa0
00002629: SHL
0000262a: SUB
0000262b: DUP3
0000262c: AND
0000262d: PUSH2 0x2678
00002630: JUMPI
00002631: PUSH1 0x40
00002633: MLOAD
00002634: PUSH3 0x461bcd
00002638: PUSH1 0xe5
0000263a: SHL
0000263b: DUP2
0000263c: MSTORE
0000263d: PUSH1 0x20
0000263f: PUSH1 0x04
00002641: DUP3
00002642: ADD
00002643: MSTORE
00002644: PUSH1 0x1f
00002646: PUSH1 0x24
00002648: DUP3
00002649: ADD
0000264a: MSTORE
0000264b: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
0000266c: PUSH1 0x44
0000266e: DUP3
0000266f: ADD
00002670: MSTORE
00002671: PUSH1 0x64
00002673: ADD
00002674: PUSH2 0x098d
00002677: JUMP
00002678: JUMPDEST
00002679: DUP1
0000267a: PUSH1 0x35
0000267c: PUSH0
0000267d: DUP3
0000267e: DUP3
0000267f: SLOAD
00002680: PUSH2 0x2689
00002683: SWAP2
00002684: SWAP1
00002685: PUSH2 0x2c6b
00002688: JUMP
00002689: JUMPDEST
0000268a: SWAP1
0000268b: SWAP2
0000268c: SSTORE
0000268d: POP
0000268e: POP
0000268f: PUSH1 0x01
00002691: PUSH1 0x01
00002693: PUSH1 0xa0
00002695: SHL
00002696: SUB
00002697: DUP3
00002698: AND
00002699: PUSH0
0000269a: DUP2
0000269b: DUP2
0000269c: MSTORE
0000269d: PUSH1 0x33
0000269f: PUSH1 0x20
000026a1: SWAP1
000026a2: DUP2
000026a3: MSTORE
000026a4: PUSH1 0x40
000026a6: DUP1
000026a7: DUP4
000026a8: KECCAK256
000026a9: DUP1
000026aa: SLOAD
000026ab: DUP7
000026ac: ADD
000026ad: SWAP1
000026ae: SSTORE
000026af: MLOAD
000026b0: DUP5
000026b1: DUP2
000026b2: MSTORE
000026b3: PUSH0
000026b4: DUP1
000026b5: MLOAD
000026b6: PUSH1 0x20
000026b8: PUSH2 0x3159
000026bb: DUP4
000026bc: CODECOPY
000026bd: DUP2
000026be: MLOAD
000026bf: SWAP2
000026c0: MSTORE
000026c1: SWAP2
000026c2: ADD
000026c3: PUSH1 0x40
000026c5: MLOAD
000026c6: DUP1
000026c7: SWAP2
000026c8: SUB
000026c9: SWAP1
000026ca: LOG3
000026cb: POP
000026cc: POP
000026cd: JUMP
000026ce: JUMPDEST
000026cf: PUSH0
000026d0: SLOAD
000026d1: PUSH2 0x0100
000026d4: SWAP1
000026d5: DIV
000026d6: PUSH1 0xff
000026d8: AND
000026d9: PUSH2 0x26f4
000026dc: JUMPI
000026dd: PUSH1 0x40
000026df: MLOAD
000026e0: PUSH3 0x461bcd
000026e4: PUSH1 0xe5
000026e6: SHL
000026e7: DUP2
000026e8: MSTORE
000026e9: PUSH1 0x04
000026eb: ADD
000026ec: PUSH2 0x098d
000026ef: SWAP1
000026f0: PUSH2 0x2fab
000026f3: JUMP
000026f4: JUMPDEST
000026f5: PUSH2 0x0e02
000026f8: CALLER
000026f9: PUSH2 0x21a4
000026fc: JUMP
000026fd: JUMPDEST
000026fe: PUSH0
000026ff: SLOAD
00002700: PUSH2 0x0100
00002703: SWAP1
00002704: DIV
00002705: PUSH1 0xff
00002707: AND
00002708: PUSH2 0x2723
0000270b: JUMPI
0000270c: PUSH1 0x40
0000270e: MLOAD
0000270f: PUSH3 0x461bcd
00002713: PUSH1 0xe5
00002715: SHL
00002716: DUP2
00002717: MSTORE
00002718: PUSH1 0x04
0000271a: ADD
0000271b: PUSH2 0x098d
0000271e: SWAP1
0000271f: PUSH2 0x2fab
00002722: JUMP
00002723: JUMPDEST
00002724: PUSH0
00002725: DUP1
00002726: PUSH2 0x272e
00002729: DUP4
0000272a: PUSH2 0x27cd
0000272d: JUMP
0000272e: JUMPDEST
0000272f: SWAP2
00002730: POP
00002731: SWAP2
00002732: POP
00002733: DUP2
00002734: PUSH2 0x273e
00002737: JUMPI
00002738: PUSH1 0x12
0000273a: PUSH2 0x2740
0000273d: JUMP
0000273e: JUMPDEST
0000273f: DUP1
00002740: JUMPDEST
00002741: PUSH1 0x65
00002743: DUP1
00002744: SLOAD
00002745: PUSH1 0x01
00002747: PUSH1 0x01
00002749: PUSH1 0xa0
0000274b: SHL
0000274c: SUB
0000274d: SWAP1
0000274e: SWAP6
0000274f: AND
00002750: PUSH1 0x01
00002752: PUSH1 0x01
00002754: PUSH1 0xa0
00002756: SHL
00002757: SUB
00002758: NOT
00002759: PUSH1 0xff
0000275b: SWAP4
0000275c: SWAP1
0000275d: SWAP4
0000275e: AND
0000275f: PUSH1 0x01
00002761: PUSH1 0xa0
00002763: SHL
00002764: MUL
00002765: SWAP3
00002766: SWAP1
00002767: SWAP3
00002768: AND
00002769: PUSH1 0x01
0000276b: PUSH1 0x01
0000276d: PUSH1 0xa8
0000276f: SHL
00002770: SUB
00002771: NOT
00002772: SWAP1
00002773: SWAP6
00002774: AND
00002775: SWAP5
00002776: SWAP1
00002777: SWAP5
00002778: OR
00002779: OR
0000277a: SWAP1
0000277b: SWAP3
0000277c: SSTORE
0000277d: POP
0000277e: POP
0000277f: JUMP
00002780: JUMPDEST
00002781: PUSH0
00002782: SLOAD
00002783: PUSH2 0x0100
00002786: SWAP1
00002787: DIV
00002788: PUSH1 0xff
0000278a: AND
0000278b: PUSH2 0x27a6
0000278e: JUMPI
0000278f: PUSH1 0x40
00002791: MLOAD
00002792: PUSH3 0x461bcd
00002796: PUSH1 0xe5
00002798: SHL
00002799: DUP2
0000279a: MSTORE
0000279b: PUSH1 0x04
0000279d: ADD
0000279e: PUSH2 0x098d
000027a1: SWAP1
000027a2: PUSH2 0x2fab
000027a5: JUMP
000027a6: JUMPDEST
000027a7: PUSH1 0x36
000027a9: PUSH2 0x27b2
000027ac: DUP4
000027ad: DUP3
000027ae: PUSH2 0x306b
000027b1: JUMP
000027b2: JUMPDEST
000027b3: POP
000027b4: PUSH1 0x37
000027b6: PUSH2 0x2214
000027b9: DUP3
000027ba: DUP3
000027bb: PUSH2 0x306b
000027be: JUMP
000027bf: JUMPDEST
000027c0: PUSH1 0x60
000027c2: PUSH2 0x261a
000027c5: DUP5
000027c6: DUP5
000027c7: PUSH0
000027c8: DUP6
000027c9: PUSH2 0x28a3
000027cc: JUMP
000027cd: JUMPDEST
000027ce: PUSH1 0x40
000027d0: DUP1
000027d1: MLOAD
000027d2: PUSH1 0x04
000027d4: DUP2
000027d5: MSTORE
000027d6: PUSH1 0x24
000027d8: DUP2
000027d9: ADD
000027da: DUP3
000027db: MSTORE
000027dc: PUSH1 0x20
000027de: DUP2
000027df: ADD
000027e0: DUP1
000027e1: MLOAD
000027e2: PUSH1 0x01
000027e4: PUSH1 0x01
000027e6: PUSH1 0xe0
000027e8: SHL
000027e9: SUB
000027ea: AND
000027eb: PUSH4 0x313ce567
000027f0: PUSH1 0xe0
000027f2: SHL
000027f3: OR
000027f4: SWAP1
000027f5: MSTORE
000027f6: SWAP1
000027f7: MLOAD
000027f8: PUSH0
000027f9: SWAP2
000027fa: DUP3
000027fb: SWAP2
000027fc: DUP3
000027fd: SWAP2
000027fe: DUP3
000027ff: SWAP2
00002800: PUSH1 0x01
00002802: PUSH1 0x01
00002804: PUSH1 0xa0
00002806: SHL
00002807: SUB
00002808: DUP8
00002809: AND
0000280a: SWAP2
0000280b: PUSH2 0x2813
0000280e: SWAP2
0000280f: PUSH2 0x3126
00002812: JUMP
00002813: JUMPDEST
00002814: PUSH0
00002815: PUSH1 0x40
00002817: MLOAD
00002818: DUP1
00002819: DUP4
0000281a: SUB
0000281b: DUP2
0000281c: DUP6
0000281d: GAS
0000281e: STATICCALL
0000281f: SWAP2
00002820: POP
00002821: POP
00002822: RETURNDATASIZE
00002823: DUP1
00002824: PUSH0
00002825: DUP2
00002826: EQ
00002827: PUSH2 0x284b
0000282a: JUMPI
0000282b: PUSH1 0x40
0000282d: MLOAD
0000282e: SWAP2
0000282f: POP
00002830: PUSH1 0x1f
00002832: NOT
00002833: PUSH1 0x3f
00002835: RETURNDATASIZE
00002836: ADD
00002837: AND
00002838: DUP3
00002839: ADD
0000283a: PUSH1 0x40
0000283c: MSTORE
0000283d: RETURNDATASIZE
0000283e: DUP3
0000283f: MSTORE
00002840: RETURNDATASIZE
00002841: PUSH0
00002842: PUSH1 0x20
00002844: DUP5
00002845: ADD
00002846: RETURNDATACOPY
00002847: PUSH2 0x2850
0000284a: JUMP
0000284b: JUMPDEST
0000284c: PUSH1 0x60
0000284e: SWAP2
0000284f: POP
00002850: JUMPDEST
00002851: POP
00002852: SWAP2
00002853: POP
00002854: SWAP2
00002855: POP
00002856: DUP2
00002857: DUP1
00002858: ISZERO
00002859: PUSH2 0x2864
0000285c: JUMPI
0000285d: POP
0000285e: PUSH1 0x20
00002860: DUP2
00002861: MLOAD
00002862: LT
00002863: ISZERO
00002864: JUMPDEST
00002865: ISZERO
00002866: PUSH2 0x2897
00002869: JUMPI
0000286a: PUSH0
0000286b: DUP2
0000286c: DUP1
0000286d: PUSH1 0x20
0000286f: ADD
00002870: SWAP1
00002871: MLOAD
00002872: DUP2
00002873: ADD
00002874: SWAP1
00002875: PUSH2 0x287e
00002878: SWAP2
00002879: SWAP1
0000287a: PUSH2 0x3141
0000287d: JUMP
0000287e: JUMPDEST
0000287f: SWAP1
00002880: POP
00002881: PUSH1 0xff
00002883: DUP2
00002884: GT
00002885: PUSH2 0x2895
00002888: JUMPI
00002889: PUSH1 0x01
0000288b: SWAP7
0000288c: SWAP1
0000288d: SWAP6
0000288e: POP
0000288f: SWAP4
00002890: POP
00002891: POP
00002892: POP
00002893: POP
00002894: JUMP
00002895: JUMPDEST
00002896: POP
00002897: JUMPDEST
00002898: POP
00002899: PUSH0
0000289a: SWAP5
0000289b: DUP6
0000289c: SWAP5
0000289d: POP
0000289e: SWAP3
0000289f: POP
000028a0: POP
000028a1: POP
000028a2: JUMP
000028a3: JUMPDEST
000028a4: PUSH1 0x60
000028a6: DUP3
000028a7: SELFBALANCE
000028a8: LT
000028a9: ISZERO
000028aa: PUSH2 0x2904
000028ad: JUMPI
000028ae: PUSH1 0x40
000028b0: MLOAD
000028b1: PUSH3 0x461bcd
000028b5: PUSH1 0xe5
000028b7: SHL
000028b8: DUP2
000028b9: MSTORE
000028ba: PUSH1 0x20
000028bc: PUSH1 0x04
000028be: DUP3
000028bf: ADD
000028c0: MSTORE
000028c1: PUSH1 0x26
000028c3: PUSH1 0x24
000028c5: DUP3
000028c6: ADD
000028c7: MSTORE
000028c8: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000028e9: PUSH1 0x44
000028eb: DUP3
000028ec: ADD
000028ed: MSTORE
000028ee: PUSH6 0x1c8818d85b1b
000028f5: PUSH1 0xd2
000028f7: SHL
000028f8: PUSH1 0x64
000028fa: DUP3
000028fb: ADD
000028fc: MSTORE
000028fd: PUSH1 0x84
000028ff: ADD
00002900: PUSH2 0x098d
00002903: JUMP
00002904: JUMPDEST
00002905: PUSH0
00002906: DUP1
00002907: DUP7
00002908: PUSH1 0x01
0000290a: PUSH1 0x01
0000290c: PUSH1 0xa0
0000290e: SHL
0000290f: SUB
00002910: AND
00002911: DUP6
00002912: DUP8
00002913: PUSH1 0x40
00002915: MLOAD
00002916: PUSH2 0x291f
00002919: SWAP2
0000291a: SWAP1
0000291b: PUSH2 0x3126
0000291e: JUMP
0000291f: JUMPDEST
00002920: PUSH0
00002921: PUSH1 0x40
00002923: MLOAD
00002924: DUP1
00002925: DUP4
00002926: SUB
00002927: DUP2
00002928: DUP6
00002929: DUP8
0000292a: GAS
0000292b: CALL
0000292c: SWAP3
0000292d: POP
0000292e: POP
0000292f: POP
00002930: RETURNDATASIZE
00002931: DUP1
00002932: PUSH0
00002933: DUP2
00002934: EQ
00002935: PUSH2 0x2959
00002938: JUMPI
00002939: PUSH1 0x40
0000293b: MLOAD
0000293c: SWAP2
0000293d: POP
0000293e: PUSH1 0x1f
00002940: NOT
00002941: PUSH1 0x3f
00002943: RETURNDATASIZE
00002944: ADD
00002945: AND
00002946: DUP3
00002947: ADD
00002948: PUSH1 0x40
0000294a: MSTORE
0000294b: RETURNDATASIZE
0000294c: DUP3
0000294d: MSTORE
0000294e: RETURNDATASIZE
0000294f: PUSH0
00002950: PUSH1 0x20
00002952: DUP5
00002953: ADD
00002954: RETURNDATACOPY
00002955: PUSH2 0x295e
00002958: JUMP
00002959: JUMPDEST
0000295a: PUSH1 0x60
0000295c: SWAP2
0000295d: POP
0000295e: JUMPDEST
0000295f: POP
00002960: SWAP2
00002961: POP
00002962: SWAP2
00002963: POP
00002964: PUSH2 0x296f
00002967: DUP8
00002968: DUP4
00002969: DUP4
0000296a: DUP8
0000296b: PUSH2 0x297a
0000296e: JUMP
0000296f: JUMPDEST
00002970: SWAP8
00002971: SWAP7
00002972: POP
00002973: POP
00002974: POP
00002975: POP
00002976: POP
00002977: POP
00002978: POP
00002979: JUMP
0000297a: JUMPDEST
0000297b: PUSH1 0x60
0000297d: DUP4
0000297e: ISZERO
0000297f: PUSH2 0x29e6
00002982: JUMPI
00002983: DUP3
00002984: MLOAD
00002985: PUSH0
00002986: SUB
00002987: PUSH2 0x29df
0000298a: JUMPI
0000298b: PUSH2 0x2993
0000298e: DUP6
0000298f: PUSH2 0x22c5
00002992: JUMP
00002993: JUMPDEST
00002994: PUSH2 0x29df
00002997: JUMPI
00002998: PUSH1 0x40
0000299a: MLOAD
0000299b: PUSH3 0x461bcd
0000299f: PUSH1 0xe5
000029a1: SHL
000029a2: DUP2
000029a3: MSTORE
000029a4: PUSH1 0x20
000029a6: PUSH1 0x04
000029a8: DUP3
000029a9: ADD
000029aa: MSTORE
000029ab: PUSH1 0x1d
000029ad: PUSH1 0x24
000029af: DUP3
000029b0: ADD
000029b1: MSTORE
000029b2: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000029d3: PUSH1 0x44
000029d5: DUP3
000029d6: ADD
000029d7: MSTORE
000029d8: PUSH1 0x64
000029da: ADD
000029db: PUSH2 0x098d
000029de: JUMP
000029df: JUMPDEST
000029e0: POP
000029e1: DUP2
000029e2: PUSH2 0x261a
000029e5: JUMP
000029e6: JUMPDEST
000029e7: PUSH2 0x261a
000029ea: DUP4
000029eb: DUP4
000029ec: DUP2
000029ed: MLOAD
000029ee: ISZERO
000029ef: PUSH2 0x29fb
000029f2: JUMPI
000029f3: DUP2
000029f4: MLOAD
000029f5: DUP1
000029f6: DUP4
000029f7: PUSH1 0x20
000029f9: ADD
000029fa: REVERT
000029fb: JUMPDEST
000029fc: DUP1
000029fd: PUSH1 0x40
000029ff: MLOAD
00002a00: PUSH3 0x461bcd
00002a04: PUSH1 0xe5
00002a06: SHL
00002a07: DUP2
00002a08: MSTORE
00002a09: PUSH1 0x04
00002a0b: ADD
00002a0c: PUSH2 0x098d
00002a0f: SWAP2
00002a10: SWAP1
00002a11: PUSH2 0x2a57
00002a14: JUMP
00002a15: JUMPDEST
00002a16: PUSH0
00002a17: DUP1
00002a18: PUSH1 0x40
00002a1a: DUP4
00002a1b: DUP6
00002a1c: SUB
00002a1d: SLT
00002a1e: ISZERO
00002a1f: PUSH2 0x2a26
00002a22: JUMPI
00002a23: PUSH0
00002a24: DUP1
00002a25: REVERT
00002a26: JUMPDEST
00002a27: POP
00002a28: POP
00002a29: DUP1
00002a2a: CALLDATALOAD
00002a2b: SWAP3
00002a2c: PUSH1 0x20
00002a2e: SWAP1
00002a2f: SWAP2
00002a30: ADD
00002a31: CALLDATALOAD
00002a32: SWAP2
00002a33: POP
00002a34: JUMP
00002a35: JUMPDEST
00002a36: PUSH0
00002a37: JUMPDEST
00002a38: DUP4
00002a39: DUP2
00002a3a: LT
00002a3b: ISZERO
00002a3c: PUSH2 0x2a4f
00002a3f: JUMPI
00002a40: DUP2
00002a41: DUP2
00002a42: ADD
00002a43: MLOAD
00002a44: DUP4
00002a45: DUP3
00002a46: ADD
00002a47: MSTORE
00002a48: PUSH1 0x20
00002a4a: ADD
00002a4b: PUSH2 0x2a37
00002a4e: JUMP
00002a4f: JUMPDEST
00002a50: POP
00002a51: POP
00002a52: PUSH0
00002a53: SWAP2
00002a54: ADD
00002a55: MSTORE
00002a56: JUMP
00002a57: JUMPDEST
00002a58: PUSH1 0x20
00002a5a: DUP2
00002a5b: MSTORE
00002a5c: PUSH0
00002a5d: DUP3
00002a5e: MLOAD
00002a5f: DUP1
00002a60: PUSH1 0x20
00002a62: DUP5
00002a63: ADD
00002a64: MSTORE
00002a65: PUSH2 0x2a75
00002a68: DUP2
00002a69: PUSH1 0x40
00002a6b: DUP6
00002a6c: ADD
00002a6d: PUSH1 0x20
00002a6f: DUP8
00002a70: ADD
00002a71: PUSH2 0x2a35
00002a74: JUMP
00002a75: JUMPDEST
00002a76: PUSH1 0x1f
00002a78: ADD
00002a79: PUSH1 0x1f
00002a7b: NOT
00002a7c: AND
00002a7d: SWAP2
00002a7e: SWAP1
00002a7f: SWAP2
00002a80: ADD
00002a81: PUSH1 0x40
00002a83: ADD
00002a84: SWAP3
00002a85: SWAP2
00002a86: POP
00002a87: POP
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH0
00002a8b: PUSH1 0x20
00002a8d: DUP3
00002a8e: DUP5
00002a8f: SUB
00002a90: SLT
00002a91: ISZERO
00002a92: PUSH2 0x2a99
00002a95: JUMPI
00002a96: PUSH0
00002a97: DUP1
00002a98: REVERT
00002a99: JUMPDEST
00002a9a: POP
00002a9b: CALLDATALOAD
00002a9c: SWAP2
00002a9d: SWAP1
00002a9e: POP
00002a9f: JUMP
00002aa0: JUMPDEST
00002aa1: DUP1
00002aa2: CALLDATALOAD
00002aa3: PUSH1 0x01
00002aa5: PUSH1 0x01
00002aa7: PUSH1 0xa0
00002aa9: SHL
00002aaa: SUB
00002aab: DUP2
00002aac: AND
00002aad: DUP2
00002aae: EQ
00002aaf: PUSH2 0x2ab6
00002ab2: JUMPI
00002ab3: PUSH0
00002ab4: DUP1
00002ab5: REVERT
00002ab6: JUMPDEST
00002ab7: SWAP2
00002ab8: SWAP1
00002ab9: POP
00002aba: JUMP
00002abb: JUMPDEST
00002abc: PUSH0
00002abd: DUP1
00002abe: PUSH1 0x40
00002ac0: DUP4
00002ac1: DUP6
00002ac2: SUB
00002ac3: SLT
00002ac4: ISZERO
00002ac5: PUSH2 0x2acc
00002ac8: JUMPI
00002ac9: PUSH0
00002aca: DUP1
00002acb: REVERT
00002acc: JUMPDEST
00002acd: PUSH2 0x2ad5
00002ad0: DUP4
00002ad1: PUSH2 0x2aa0
00002ad4: JUMP
00002ad5: JUMPDEST
00002ad6: SWAP5
00002ad7: PUSH1 0x20
00002ad9: SWAP4
00002ada: SWAP1
00002adb: SWAP4
00002adc: ADD
00002add: CALLDATALOAD
00002ade: SWAP4
00002adf: POP
00002ae0: POP
00002ae1: POP
00002ae2: JUMP
00002ae3: JUMPDEST
00002ae4: PUSH1 0x01
00002ae6: PUSH1 0x01
00002ae8: PUSH1 0xa0
00002aea: SHL
00002aeb: SUB
00002aec: SWAP2
00002aed: SWAP1
00002aee: SWAP2
00002aef: AND
00002af0: DUP2
00002af1: MSTORE
00002af2: PUSH1 0x20
00002af4: ADD
00002af5: SWAP1
00002af6: JUMP
00002af7: JUMPDEST
00002af8: PUSH0
00002af9: DUP1
00002afa: PUSH0
00002afb: PUSH1 0x60
00002afd: DUP5
00002afe: DUP7
00002aff: SUB
00002b00: SLT
00002b01: ISZERO
00002b02: PUSH2 0x2b09
00002b05: JUMPI
00002b06: PUSH0
00002b07: DUP1
00002b08: REVERT
00002b09: JUMPDEST
00002b0a: PUSH2 0x2b12
00002b0d: DUP5
00002b0e: PUSH2 0x2aa0
00002b11: JUMP
00002b12: JUMPDEST
00002b13: SWAP3
00002b14: POP
00002b15: PUSH2 0x2b20
00002b18: PUSH1 0x20
00002b1a: DUP6
00002b1b: ADD
00002b1c: PUSH2 0x2aa0
00002b1f: JUMP
00002b20: JUMPDEST
00002b21: SWAP2
00002b22: POP
00002b23: PUSH1 0x40
00002b25: DUP5
00002b26: ADD
00002b27: CALLDATALOAD
00002b28: SWAP1
00002b29: POP
00002b2a: SWAP3
00002b2b: POP
00002b2c: SWAP3
00002b2d: POP
00002b2e: SWAP3
00002b2f: JUMP
00002b30: JUMPDEST
00002b31: PUSH0
00002b32: PUSH1 0x20
00002b34: DUP3
00002b35: DUP5
00002b36: SUB
00002b37: SLT
00002b38: ISZERO
00002b39: PUSH2 0x2b40
00002b3c: JUMPI
00002b3d: PUSH0
00002b3e: DUP1
00002b3f: REVERT
00002b40: JUMPDEST
00002b41: PUSH2 0x1d43
00002b44: DUP3
00002b45: PUSH2 0x2aa0
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: PUSH0
00002b4b: DUP1
00002b4c: PUSH1 0x40
00002b4e: DUP4
00002b4f: DUP6
00002b50: SUB
00002b51: SLT
00002b52: ISZERO
00002b53: PUSH2 0x2b5a
00002b56: JUMPI
00002b57: PUSH0
00002b58: DUP1
00002b59: REVERT
00002b5a: JUMPDEST
00002b5b: DUP3
00002b5c: CALLDATALOAD
00002b5d: SWAP2
00002b5e: POP
00002b5f: PUSH2 0x2b6a
00002b62: PUSH1 0x20
00002b64: DUP5
00002b65: ADD
00002b66: PUSH2 0x2aa0
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: SWAP1
00002b6c: POP
00002b6d: SWAP3
00002b6e: POP
00002b6f: SWAP3
00002b70: SWAP1
00002b71: POP
00002b72: JUMP
00002b73: JUMPDEST
00002b74: PUSH0
00002b75: DUP1
00002b76: PUSH0
00002b77: PUSH1 0x60
00002b79: DUP5
00002b7a: DUP7
00002b7b: SUB
00002b7c: SLT
00002b7d: ISZERO
00002b7e: PUSH2 0x2b85
00002b81: JUMPI
00002b82: PUSH0
00002b83: DUP1
00002b84: REVERT
00002b85: JUMPDEST
00002b86: DUP4
00002b87: CALLDATALOAD
00002b88: SWAP3
00002b89: POP
00002b8a: PUSH2 0x2b95
00002b8d: PUSH1 0x20
00002b8f: DUP6
00002b90: ADD
00002b91: PUSH2 0x2aa0
00002b94: JUMP
00002b95: JUMPDEST
00002b96: SWAP2
00002b97: POP
00002b98: PUSH2 0x2ba3
00002b9b: PUSH1 0x40
00002b9d: DUP6
00002b9e: ADD
00002b9f: PUSH2 0x2aa0
00002ba2: JUMP
00002ba3: JUMPDEST
00002ba4: SWAP1
00002ba5: POP
00002ba6: SWAP3
00002ba7: POP
00002ba8: SWAP3
00002ba9: POP
00002baa: SWAP3
00002bab: JUMP
00002bac: JUMPDEST
00002bad: DUP1
00002bae: ISZERO
00002baf: ISZERO
00002bb0: DUP2
00002bb1: EQ
00002bb2: PUSH2 0x1b2e
00002bb5: JUMPI
00002bb6: PUSH0
00002bb7: DUP1
00002bb8: REVERT
00002bb9: JUMPDEST
00002bba: PUSH0
00002bbb: DUP1
00002bbc: PUSH1 0x40
00002bbe: DUP4
00002bbf: DUP6
00002bc0: SUB
00002bc1: SLT
00002bc2: ISZERO
00002bc3: PUSH2 0x2bca
00002bc6: JUMPI
00002bc7: PUSH0
00002bc8: DUP1
00002bc9: REVERT
00002bca: JUMPDEST
00002bcb: PUSH2 0x2bd3
00002bce: DUP4
00002bcf: PUSH2 0x2aa0
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: SWAP2
00002bd5: POP
00002bd6: PUSH1 0x20
00002bd8: DUP4
00002bd9: ADD
00002bda: CALLDATALOAD
00002bdb: PUSH2 0x2be3
00002bde: DUP2
00002bdf: PUSH2 0x2bac
00002be2: JUMP
00002be3: JUMPDEST
00002be4: DUP1
00002be5: SWAP2
00002be6: POP
00002be7: POP
00002be8: SWAP3
00002be9: POP
00002bea: SWAP3
00002beb: SWAP1
00002bec: POP
00002bed: JUMP
00002bee: JUMPDEST
00002bef: PUSH0
00002bf0: DUP1
00002bf1: PUSH1 0x40
00002bf3: DUP4
00002bf4: DUP6
00002bf5: SUB
00002bf6: SLT
00002bf7: ISZERO
00002bf8: PUSH2 0x2bff
00002bfb: JUMPI
00002bfc: PUSH0
00002bfd: DUP1
00002bfe: REVERT
00002bff: JUMPDEST
00002c00: PUSH2 0x2c08
00002c03: DUP4
00002c04: PUSH2 0x2aa0
00002c07: JUMP
00002c08: JUMPDEST
00002c09: SWAP2
00002c0a: POP
00002c0b: PUSH2 0x2b6a
00002c0e: PUSH1 0x20
00002c10: DUP5
00002c11: ADD
00002c12: PUSH2 0x2aa0
00002c15: JUMP
00002c16: JUMPDEST
00002c17: PUSH1 0x20
00002c19: DUP1
00002c1a: DUP3
00002c1b: MSTORE
00002c1c: PUSH1 0x14
00002c1e: SWAP1
00002c1f: DUP3
00002c20: ADD
00002c21: MSTORE
00002c22: PUSH20 0x139bdd08185b88185b1b1bddd959081d985d5b1d
00002c37: PUSH1 0x62
00002c39: SHL
00002c3a: PUSH1 0x40
00002c3c: DUP3
00002c3d: ADD
00002c3e: MSTORE
00002c3f: PUSH1 0x60
00002c41: ADD
00002c42: SWAP1
00002c43: JUMP
00002c44: JUMPDEST
00002c45: PUSH4 0x4e487b71
00002c4a: PUSH1 0xe0
00002c4c: SHL
00002c4d: PUSH0
00002c4e: MSTORE
00002c4f: PUSH1 0x11
00002c51: PUSH1 0x04
00002c53: MSTORE
00002c54: PUSH1 0x24
00002c56: PUSH0
00002c57: REVERT
00002c58: JUMPDEST
00002c59: DUP2
00002c5a: DUP2
00002c5b: SUB
00002c5c: DUP2
00002c5d: DUP2
00002c5e: GT
00002c5f: ISZERO
00002c60: PUSH2 0x0a3b
00002c63: JUMPI
00002c64: PUSH2 0x0a3b
00002c67: PUSH2 0x2c44
00002c6a: JUMP
00002c6b: JUMPDEST
00002c6c: DUP1
00002c6d: DUP3
00002c6e: ADD
00002c6f: DUP1
00002c70: DUP3
00002c71: GT
00002c72: ISZERO
00002c73: PUSH2 0x0a3b
00002c76: JUMPI
00002c77: PUSH2 0x0a3b
00002c7a: PUSH2 0x2c44
00002c7d: JUMP
00002c7e: JUMPDEST
00002c7f: PUSH1 0x01
00002c81: DUP2
00002c82: DUP2
00002c83: SHR
00002c84: SWAP1
00002c85: DUP3
00002c86: AND
00002c87: DUP1
00002c88: PUSH2 0x2c92
00002c8b: JUMPI
00002c8c: PUSH1 0x7f
00002c8e: DUP3
00002c8f: AND
00002c90: SWAP2
00002c91: POP
00002c92: JUMPDEST
00002c93: PUSH1 0x20
00002c95: DUP3
00002c96: LT
00002c97: DUP2
00002c98: SUB
00002c99: PUSH2 0x1ab2
00002c9c: JUMPI
00002c9d: PUSH4 0x4e487b71
00002ca2: PUSH1 0xe0
00002ca4: SHL
00002ca5: PUSH0
00002ca6: MSTORE
00002ca7: PUSH1 0x22
00002ca9: PUSH1 0x04
00002cab: MSTORE
00002cac: PUSH1 0x24
00002cae: PUSH0
00002caf: REVERT
00002cb0: JUMPDEST
00002cb1: PUSH1 0xff
00002cb3: DUP2
00002cb4: DUP2
00002cb5: AND
00002cb6: DUP4
00002cb7: DUP3
00002cb8: AND
00002cb9: ADD
00002cba: SWAP1
00002cbb: DUP2
00002cbc: GT
00002cbd: ISZERO
00002cbe: PUSH2 0x0a3b
00002cc1: JUMPI
00002cc2: PUSH2 0x0a3b
00002cc5: PUSH2 0x2c44
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: PUSH1 0x20
00002ccc: DUP1
00002ccd: DUP3
00002cce: MSTORE
00002ccf: PUSH1 0x0c
00002cd1: SWAP1
00002cd2: DUP3
00002cd3: ADD
00002cd4: MSTORE
00002cd5: PUSH12 0x5a45524f5f41444452455353
00002ce2: PUSH1 0xa0
00002ce4: SHL
00002ce5: PUSH1 0x40
00002ce7: DUP3
00002ce8: ADD
00002ce9: MSTORE
00002cea: PUSH1 0x60
00002cec: ADD
00002ced: SWAP1
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: PUSH1 0x01
00002cf2: PUSH1 0x01
00002cf4: PUSH1 0xa0
00002cf6: SHL
00002cf7: SUB
00002cf8: SWAP3
00002cf9: SWAP1
00002cfa: SWAP3
00002cfb: AND
00002cfc: DUP3
00002cfd: MSTORE
00002cfe: PUSH1 0x20
00002d00: DUP3
00002d01: ADD
00002d02: MSTORE
00002d03: PUSH1 0x40
00002d05: ADD
00002d06: SWAP1
00002d07: JUMP
00002d08: JUMPDEST
00002d09: PUSH1 0x20
00002d0b: DUP1
00002d0c: DUP3
00002d0d: MSTORE
00002d0e: PUSH1 0x07
00002d10: SWAP1
00002d11: DUP3
00002d12: ADD
00002d13: MSTORE
00002d14: PUSH7 0x056414c55455f3
00002d1c: PUSH1 0xcc
00002d1e: SHL
00002d1f: PUSH1 0x40
00002d21: DUP3
00002d22: ADD
00002d23: MSTORE
00002d24: PUSH1 0x60
00002d26: ADD
00002d27: SWAP1
00002d28: JUMP
00002d29: JUMPDEST
00002d2a: PUSH1 0x01
00002d2c: PUSH1 0x01
00002d2e: PUSH1 0xa0
00002d30: SHL
00002d31: SUB
00002d32: SWAP4
00002d33: DUP5
00002d34: AND
00002d35: DUP2
00002d36: MSTORE
00002d37: SWAP2
00002d38: SWAP1
00002d39: SWAP3
00002d3a: AND
00002d3b: PUSH1 0x20
00002d3d: DUP3
00002d3e: ADD
00002d3f: MSTORE
00002d40: PUSH1 0x40
00002d42: DUP2
00002d43: ADD
00002d44: SWAP2
00002d45: SWAP1
00002d46: SWAP2
00002d47: MSTORE
00002d48: PUSH1 0x60
00002d4a: ADD
00002d4b: SWAP1
00002d4c: JUMP
00002d4d: JUMPDEST
00002d4e: PUSH0
00002d4f: PUSH1 0x20
00002d51: DUP3
00002d52: DUP5
00002d53: SUB
00002d54: SLT
00002d55: ISZERO
00002d56: PUSH2 0x2d5d
00002d59: JUMPI
00002d5a: PUSH0
00002d5b: DUP1
00002d5c: REVERT
00002d5d: JUMPDEST
00002d5e: DUP2
00002d5f: MLOAD
00002d60: PUSH2 0x1d43
00002d63: DUP2
00002d64: PUSH2 0x2bac
00002d67: JUMP
00002d68: JUMPDEST
00002d69: PUSH1 0x01
00002d6b: PUSH1 0x01
00002d6d: PUSH1 0xa0
00002d6f: SHL
00002d70: SUB
00002d71: SWAP7
00002d72: DUP8
00002d73: AND
00002d74: DUP2
00002d75: MSTORE
00002d76: SWAP5
00002d77: SWAP1
00002d78: SWAP6
00002d79: AND
00002d7a: PUSH1 0x20
00002d7c: DUP6
00002d7d: ADD
00002d7e: MSTORE
00002d7f: PUSH1 0x40
00002d81: DUP5
00002d82: ADD
00002d83: SWAP3
00002d84: SWAP1
00002d85: SWAP3
00002d86: MSTORE
00002d87: PUSH1 0x60
00002d89: DUP4
00002d8a: ADD
00002d8b: MSTORE
00002d8c: PUSH1 0x80
00002d8e: DUP3
00002d8f: ADD
00002d90: MSTORE
00002d91: PUSH1 0xa0
00002d93: DUP2
00002d94: ADD
00002d95: SWAP2
00002d96: SWAP1
00002d97: SWAP2
00002d98: MSTORE
00002d99: PUSH1 0xc0
00002d9b: ADD
00002d9c: SWAP1
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH1 0x20
00002da1: DUP1
00002da2: DUP3
00002da3: MSTORE
00002da4: PUSH1 0x0c
00002da6: SWAP1
00002da7: DUP3
00002da8: ADD
00002da9: MSTORE
00002daa: PUSH12 0x14dd1a5b1b081b1bd8dad959
00002db7: PUSH1 0xa2
00002db9: SHL
00002dba: PUSH1 0x40
00002dbc: DUP3
00002dbd: ADD
00002dbe: MSTORE
00002dbf: PUSH1 0x60
00002dc1: ADD
00002dc2: SWAP1
00002dc3: JUMP
00002dc4: JUMPDEST
00002dc5: PUSH1 0x20
00002dc7: DUP1
00002dc8: DUP3
00002dc9: MSTORE
00002dca: PUSH1 0x1f
00002dcc: SWAP1
00002dcd: DUP3
00002dce: ADD
00002dcf: MSTORE
00002dd0: PUSH32 0x455243343632363a207769746864726177206d6f7265207468616e206d617800
00002df1: PUSH1 0x40
00002df3: DUP3
00002df4: ADD
00002df5: MSTORE
00002df6: PUSH1 0x60
00002df8: ADD
00002df9: SWAP1
00002dfa: JUMP
00002dfb: JUMPDEST
00002dfc: PUSH1 0x20
00002dfe: DUP1
00002dff: DUP3
00002e00: MSTORE
00002e01: PUSH1 0x1d
00002e03: SWAP1
00002e04: DUP3
00002e05: ADD
00002e06: MSTORE
00002e07: PUSH32 0x496e73756666696369656e742062616c616e636520696e207661756c74000000
00002e28: PUSH1 0x40
00002e2a: DUP3
00002e2b: ADD
00002e2c: MSTORE
00002e2d: PUSH1 0x60
00002e2f: ADD
00002e30: SWAP1
00002e31: JUMP
00002e32: JUMPDEST
00002e33: DUP1
00002e34: DUP3
00002e35: MUL
00002e36: DUP2
00002e37: ISZERO
00002e38: DUP3
00002e39: DUP3
00002e3a: DIV
00002e3b: DUP5
00002e3c: EQ
00002e3d: OR
00002e3e: PUSH2 0x0a3b
00002e41: JUMPI
00002e42: PUSH2 0x0a3b
00002e45: PUSH2 0x2c44
00002e48: JUMP
00002e49: JUMPDEST
00002e4a: PUSH4 0x4e487b71
00002e4f: PUSH1 0xe0
00002e51: SHL
00002e52: PUSH0
00002e53: MSTORE
00002e54: PUSH1 0x12
00002e56: PUSH1 0x04
00002e58: MSTORE
00002e59: PUSH1 0x24
00002e5b: PUSH0
00002e5c: REVERT
00002e5d: JUMPDEST
00002e5e: PUSH0
00002e5f: DUP3
00002e60: PUSH2 0x2e77
00002e63: JUMPI
00002e64: PUSH4 0x4e487b71
00002e69: PUSH1 0xe0
00002e6b: SHL
00002e6c: PUSH0
00002e6d: MSTORE
00002e6e: PUSH1 0x12
00002e70: PUSH1 0x04
00002e72: MSTORE
00002e73: PUSH1 0x24
00002e75: PUSH0
00002e76: REVERT
00002e77: JUMPDEST
00002e78: POP
00002e79: DIV
00002e7a: SWAP1
00002e7b: JUMP
00002e7c: JUMPDEST
00002e7d: PUSH1 0x01
00002e7f: PUSH1 0x01
00002e81: PUSH1 0xa0
00002e83: SHL
00002e84: SUB
00002e85: SWAP8
00002e86: DUP9
00002e87: AND
00002e88: DUP2
00002e89: MSTORE
00002e8a: SWAP6
00002e8b: DUP8
00002e8c: AND
00002e8d: PUSH1 0x20
00002e8f: DUP8
00002e90: ADD
00002e91: MSTORE
00002e92: SWAP4
00002e93: SWAP1
00002e94: SWAP6
00002e95: AND
00002e96: PUSH1 0x40
00002e98: DUP6
00002e99: ADD
00002e9a: MSTORE
00002e9b: PUSH1 0x60
00002e9d: DUP5
00002e9e: ADD
00002e9f: SWAP2
00002ea0: SWAP1
00002ea1: SWAP2
00002ea2: MSTORE
00002ea3: PUSH1 0x80
00002ea5: DUP4
00002ea6: ADD
00002ea7: MSTORE
00002ea8: PUSH1 0xa0
00002eaa: DUP3
00002eab: ADD
00002eac: SWAP3
00002ead: SWAP1
00002eae: SWAP3
00002eaf: MSTORE
00002eb0: PUSH1 0xc0
00002eb2: DUP2
00002eb3: ADD
00002eb4: SWAP2
00002eb5: SWAP1
00002eb6: SWAP2
00002eb7: MSTORE
00002eb8: PUSH1 0xe0
00002eba: ADD
00002ebb: SWAP1
00002ebc: JUMP
00002ebd: JUMPDEST
00002ebe: PUSH1 0x01
00002ec0: DUP2
00002ec1: DUP2
00002ec2: JUMPDEST
00002ec3: DUP1
00002ec4: DUP6
00002ec5: GT
00002ec6: ISZERO
00002ec7: PUSH2 0x2ef7
00002eca: JUMPI
00002ecb: DUP2
00002ecc: PUSH0
00002ecd: NOT
00002ece: DIV
00002ecf: DUP3
00002ed0: GT
00002ed1: ISZERO
00002ed2: PUSH2 0x2edd
00002ed5: JUMPI
00002ed6: PUSH2 0x2edd
00002ed9: PUSH2 0x2c44
00002edc: JUMP
00002edd: JUMPDEST
00002ede: DUP1
00002edf: DUP6
00002ee0: AND
00002ee1: ISZERO
00002ee2: PUSH2 0x2eea
00002ee5: JUMPI
00002ee6: SWAP2
00002ee7: DUP2
00002ee8: MUL
00002ee9: SWAP2
00002eea: JUMPDEST
00002eeb: SWAP4
00002eec: DUP5
00002eed: SHR
00002eee: SWAP4
00002eef: SWAP1
00002ef0: DUP1
00002ef1: MUL
00002ef2: SWAP1
00002ef3: PUSH2 0x2ec2
00002ef6: JUMP
00002ef7: JUMPDEST
00002ef8: POP
00002ef9: SWAP3
00002efa: POP
00002efb: SWAP3
00002efc: SWAP1
00002efd: POP
00002efe: JUMP
00002eff: JUMPDEST
00002f00: PUSH0
00002f01: DUP3
00002f02: PUSH2 0x2f0d
00002f05: JUMPI
00002f06: POP
00002f07: PUSH1 0x01
00002f09: PUSH2 0x0a3b
00002f0c: JUMP
00002f0d: JUMPDEST
00002f0e: DUP2
00002f0f: PUSH2 0x2f19
00002f12: JUMPI
00002f13: POP
00002f14: PUSH0
00002f15: PUSH2 0x0a3b
00002f18: JUMP
00002f19: JUMPDEST
00002f1a: DUP2
00002f1b: PUSH1 0x01
00002f1d: DUP2
00002f1e: EQ
00002f1f: PUSH2 0x2f2f
00002f22: JUMPI
00002f23: PUSH1 0x02
00002f25: DUP2
00002f26: EQ
00002f27: PUSH2 0x2f39
00002f2a: JUMPI
00002f2b: PUSH2 0x2f55
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: PUSH1 0x01
00002f32: SWAP2
00002f33: POP
00002f34: POP
00002f35: PUSH2 0x0a3b
00002f38: JUMP
00002f39: JUMPDEST
00002f3a: PUSH1 0xff
00002f3c: DUP5
00002f3d: GT
00002f3e: ISZERO
00002f3f: PUSH2 0x2f4a
00002f42: JUMPI
00002f43: PUSH2 0x2f4a
00002f46: PUSH2 0x2c44
00002f49: JUMP
00002f4a: JUMPDEST
00002f4b: POP
00002f4c: POP
00002f4d: PUSH1 0x01
00002f4f: DUP3
00002f50: SHL
00002f51: PUSH2 0x0a3b
00002f54: JUMP
00002f55: JUMPDEST
00002f56: POP
00002f57: PUSH1 0x20
00002f59: DUP4
00002f5a: LT
00002f5b: PUSH2 0x0133
00002f5e: DUP4
00002f5f: LT
00002f60: AND
00002f61: PUSH1 0x4e
00002f63: DUP5
00002f64: LT
00002f65: PUSH1 0x0b
00002f67: DUP5
00002f68: LT
00002f69: AND
00002f6a: OR
00002f6b: ISZERO
00002f6c: PUSH2 0x2f78
00002f6f: JUMPI
00002f70: POP
00002f71: DUP2
00002f72: DUP2
00002f73: EXP
00002f74: PUSH2 0x0a3b
00002f77: JUMP
00002f78: JUMPDEST
00002f79: PUSH2 0x2f82
00002f7c: DUP4
00002f7d: DUP4
00002f7e: PUSH2 0x2ebd
00002f81: JUMP
00002f82: JUMPDEST
00002f83: DUP1
00002f84: PUSH0
00002f85: NOT
00002f86: DIV
00002f87: DUP3
00002f88: GT
00002f89: ISZERO
00002f8a: PUSH2 0x2f95
00002f8d: JUMPI
00002f8e: PUSH2 0x2f95
00002f91: PUSH2 0x2c44
00002f94: JUMP
00002f95: JUMPDEST
00002f96: MUL
00002f97: SWAP4
00002f98: SWAP3
00002f99: POP
00002f9a: POP
00002f9b: POP
00002f9c: JUMP
00002f9d: JUMPDEST
00002f9e: PUSH0
00002f9f: PUSH2 0x1d43
00002fa2: PUSH1 0xff
00002fa4: DUP5
00002fa5: AND
00002fa6: DUP4
00002fa7: PUSH2 0x2eff
00002faa: JUMP
00002fab: JUMPDEST
00002fac: PUSH1 0x20
00002fae: DUP1
00002faf: DUP3
00002fb0: MSTORE
00002fb1: PUSH1 0x2b
00002fb3: SWAP1
00002fb4: DUP3
00002fb5: ADD
00002fb6: MSTORE
00002fb7: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002fd8: PUSH1 0x40
00002fda: DUP3
00002fdb: ADD
00002fdc: MSTORE
00002fdd: PUSH11 0x6e697469616c697a696e67
00002fe9: PUSH1 0xa8
00002feb: SHL
00002fec: PUSH1 0x60
00002fee: DUP3
00002fef: ADD
00002ff0: MSTORE
00002ff1: PUSH1 0x80
00002ff3: ADD
00002ff4: SWAP1
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: PUSH4 0x4e487b71
00002ffc: PUSH1 0xe0
00002ffe: SHL
00002fff: PUSH0
00003000: MSTORE
00003001: PUSH1 0x21
00003003: PUSH1 0x04
00003005: MSTORE
00003006: PUSH1 0x24
00003008: PUSH0
00003009: REVERT
0000300a: JUMPDEST
0000300b: PUSH4 0x4e487b71
00003010: PUSH1 0xe0
00003012: SHL
00003013: PUSH0
00003014: MSTORE
00003015: PUSH1 0x41
00003017: PUSH1 0x04
00003019: MSTORE
0000301a: PUSH1 0x24
0000301c: PUSH0
0000301d: REVERT
0000301e: JUMPDEST
0000301f: PUSH1 0x1f
00003021: DUP3
00003022: GT
00003023: ISZERO
00003024: PUSH2 0x2214
00003027: JUMPI
00003028: PUSH0
00003029: DUP2
0000302a: DUP2
0000302b: MSTORE
0000302c: PUSH1 0x20
0000302e: DUP2
0000302f: KECCAK256
00003030: PUSH1 0x1f
00003032: DUP6
00003033: ADD
00003034: PUSH1 0x05
00003036: SHR
00003037: DUP2
00003038: ADD
00003039: PUSH1 0x20
0000303b: DUP7
0000303c: LT
0000303d: ISZERO
0000303e: PUSH2 0x3044
00003041: JUMPI
00003042: POP
00003043: DUP1
00003044: JUMPDEST
00003045: PUSH1 0x1f
00003047: DUP6
00003048: ADD
00003049: PUSH1 0x05
0000304b: SHR
0000304c: DUP3
0000304d: ADD
0000304e: SWAP2
0000304f: POP
00003050: JUMPDEST
00003051: DUP2
00003052: DUP2
00003053: LT
00003054: ISZERO
00003055: PUSH2 0x3063
00003058: JUMPI
00003059: DUP3
0000305a: DUP2
0000305b: SSTORE
0000305c: PUSH1 0x01
0000305e: ADD
0000305f: PUSH2 0x3050
00003062: JUMP
00003063: JUMPDEST
00003064: POP
00003065: POP
00003066: POP
00003067: POP
00003068: POP
00003069: POP
0000306a: JUMP
0000306b: JUMPDEST
0000306c: DUP2
0000306d: MLOAD
0000306e: PUSH1 0x01
00003070: PUSH1 0x01
00003072: PUSH1 0x40
00003074: SHL
00003075: SUB
00003076: DUP2
00003077: GT
00003078: ISZERO
00003079: PUSH2 0x3084
0000307c: JUMPI
0000307d: PUSH2 0x3084
00003080: PUSH2 0x300a
00003083: JUMP
00003084: JUMPDEST
00003085: PUSH2 0x3098
00003088: DUP2
00003089: PUSH2 0x3092
0000308c: DUP5
0000308d: SLOAD
0000308e: PUSH2 0x2c7e
00003091: JUMP
00003092: JUMPDEST
00003093: DUP5
00003094: PUSH2 0x301e
00003097: JUMP
00003098: JUMPDEST
00003099: PUSH1 0x20
0000309b: DUP1
0000309c: PUSH1 0x1f
0000309e: DUP4
0000309f: GT
000030a0: PUSH1 0x01
000030a2: DUP2
000030a3: EQ
000030a4: PUSH2 0x30cb
000030a7: JUMPI
000030a8: PUSH0
000030a9: DUP5
000030aa: ISZERO
000030ab: PUSH2 0x30b4
000030ae: JUMPI
000030af: POP
000030b0: DUP6
000030b1: DUP4
000030b2: ADD
000030b3: MLOAD
000030b4: JUMPDEST
000030b5: PUSH0
000030b6: NOT
000030b7: PUSH1 0x03
000030b9: DUP7
000030ba: SWAP1
000030bb: SHL
000030bc: SHR
000030bd: NOT
000030be: AND
000030bf: PUSH1 0x01
000030c1: DUP6
000030c2: SWAP1
000030c3: SHL
000030c4: OR
000030c5: DUP6
000030c6: SSTORE
000030c7: PUSH2 0x3063
000030ca: JUMP
000030cb: JUMPDEST
000030cc: PUSH0
000030cd: DUP6
000030ce: DUP2
000030cf: MSTORE
000030d0: PUSH1 0x20
000030d2: DUP2
000030d3: KECCAK256
000030d4: PUSH1 0x1f
000030d6: NOT
000030d7: DUP7
000030d8: AND
000030d9: SWAP2
000030da: JUMPDEST
000030db: DUP3
000030dc: DUP2
000030dd: LT
000030de: ISZERO
000030df: PUSH2 0x30f9
000030e2: JUMPI
000030e3: DUP9
000030e4: DUP7
000030e5: ADD
000030e6: MLOAD
000030e7: DUP3
000030e8: SSTORE
000030e9: SWAP5
000030ea: DUP5
000030eb: ADD
000030ec: SWAP5
000030ed: PUSH1 0x01
000030ef: SWAP1
000030f0: SWAP2
000030f1: ADD
000030f2: SWAP1
000030f3: DUP5
000030f4: ADD
000030f5: PUSH2 0x30da
000030f8: JUMP
000030f9: JUMPDEST
000030fa: POP
000030fb: DUP6
000030fc: DUP3
000030fd: LT
000030fe: ISZERO
000030ff: PUSH2 0x3116
00003102: JUMPI
00003103: DUP8
00003104: DUP6
00003105: ADD
00003106: MLOAD
00003107: PUSH0
00003108: NOT
00003109: PUSH1 0x03
0000310b: DUP9
0000310c: SWAP1
0000310d: SHL
0000310e: PUSH1 0xf8
00003110: AND
00003111: SHR
00003112: NOT
00003113: AND
00003114: DUP2
00003115: SSTORE
00003116: JUMPDEST
00003117: POP
00003118: POP
00003119: POP
0000311a: POP
0000311b: POP
0000311c: PUSH1 0x01
0000311e: SWAP1
0000311f: DUP2
00003120: SHL
00003121: ADD
00003122: SWAP1
00003123: SSTORE
00003124: POP
00003125: JUMP
00003126: JUMPDEST
00003127: PUSH0
00003128: DUP3
00003129: MLOAD
0000312a: PUSH2 0x3137
0000312d: DUP2
0000312e: DUP5
0000312f: PUSH1 0x20
00003131: DUP8
00003132: ADD
00003133: PUSH2 0x2a35
00003136: JUMP
00003137: JUMPDEST
00003138: SWAP2
00003139: SWAP1
0000313a: SWAP2
0000313b: ADD
0000313c: SWAP3
0000313d: SWAP2
0000313e: POP
0000313f: POP
00003140: JUMP
00003141: JUMPDEST
00003142: PUSH0
00003143: PUSH1 0x20
00003145: DUP3
00003146: DUP5
00003147: SUB
00003148: SLT
00003149: ISZERO
0000314a: PUSH2 0x3151
0000314d: JUMPI
0000314e: PUSH0
0000314f: DUP1
00003150: REVERT
00003151: JUMPDEST
00003152: POP
00003153: MLOAD
00003154: SWAP2
00003155: SWAP1
00003156: POP
00003157: JUMP
00003158: INVALID
00003159: UNKNOWN(0xDD)
0000315a: CALLCODE
0000315b: MSTORE
0000315c: UNKNOWN(0xAD)
0000315d: SHL
0000315e: UNKNOWN(0xE2)
0000315f: UNKNOWN(0xC8)
00003160: SWAP12
00003161: PUSH10 0xc2b068fc378daa952ba7
0000316c: CALL
0000316d: PUSH4 0xc4a11628
00003172: CREATE2
00003173: GAS
00003174: UNKNOWN(0x4D)
00003175: CREATE2
00003176: UNKNOWN(0x23)
00003177: UNKNOWN(0xB3)
00003178: UNKNOWN(0xEF)
00003179: LOG2
0000317a: PUSH5 0x6970667358
00003180: UNKNOWN(0x22)
00003181: SLT
00003182: KECCAK256
00003183: UNKNOWN(0x2E)
00003184: LT
00003185: ORIGIN
00003186: UNKNOWN(0xAC)
00003187: PUSH18 0x118669b10e113000402d40a7f96dc726b6da
0000319a: PUSH7 0x30e1f979da0bf0
000031a2: LOG3
000031a3: PUSH5 0x736f6c6343
000031a9: STOP
000031aa: ADDMOD
000031ab: ISZERO
000031ac: STOP
000031ad: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x015cb0a5",
            "selector": "0x015cb0a5",
            "calldata_variants": [
                "0x015cb0a5",
                "0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e1d114",
            "selector": "0x01e1d114",
            "calldata_variants": [
                "0x01e1d114",
                "0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a2d13a",
            "selector": "0x07a2d13a",
            "calldata_variants": [
                "0x07a2d13a",
                "0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a28a477",
            "selector": "0x0a28a477",
            "calldata_variants": [
                "0x0a28a477",
                "0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668087",
            "selector": "0x0d668087",
            "calldata_variants": [
                "0x0d668087",
                "0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1691ae25",
            "selector": "0x1691ae25",
            "calldata_variants": [
                "0x1691ae25",
                "0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 12677,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7
call_targets: 0x025347f0e979ca18a3ade6ae917926a937d38ad8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x025347f0e979ca18a3ade6ae917926a937d38ad8"
    ],
    "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": "0x015cb0a5",
            "selector": "0x015cb0a5",
            "calldata_variants": [
                "0x015cb0a5",
                "0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e1d114",
            "selector": "0x01e1d114",
            "calldata_variants": [
                "0x01e1d114",
                "0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a2d13a",
            "selector": "0x07a2d13a",
            "calldata_variants": [
                "0x07a2d13a",
                "0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a28a477",
            "selector": "0x0a28a477",
            "calldata_variants": [
                "0x0a28a477",
                "0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668087",
            "selector": "0x0d668087",
            "calldata_variants": [
                "0x0d668087",
                "0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1691ae25",
            "selector": "0x1691ae25",
            "calldata_variants": [
                "0x1691ae25",
                "0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3393,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4786,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6398,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [
        {
            "pc": 12677,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 10
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7
call_targets: 0x025347f0e979ca18a3ade6ae917926a937d38ad8
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x025347f0e979ca18a3ade6ae917926a937d38ad8"
    ],
    "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": "0x015cb0a5",
            "selector": "0x015cb0a5",
            "calldata_variants": [
                "0x015cb0a5",
                "0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e1d114",
            "selector": "0x01e1d114",
            "calldata_variants": [
                "0x01e1d114",
                "0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a2d13a",
            "selector": "0x07a2d13a",
            "calldata_variants": [
                "0x07a2d13a",
                "0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a28a477",
            "selector": "0x0a28a477",
            "calldata_variants": [
                "0x0a28a477",
                "0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668087",
            "selector": "0x0d668087",
            "calldata_variants": [
                "0x0d668087",
                "0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1691ae25",
            "selector": "0x1691ae25",
            "calldata_variants": [
                "0x1691ae25",
                "0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3393,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4786,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6398,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": [
        {
            "pc": 12677,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0xf71343a4edd728c8ffb2ee45fb7c85704a9add4eb418a0a10ad946dc49078e09
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xf71343a4edd728c8ffb2ee45fb7c85704a9add4eb418a0a10ad946dc49078e09",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x015cb0a5",
            "selector": "0x015cb0a5",
            "calldata_variants": [
                "0x015cb0a5",
                "0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x01e1d114",
            "selector": "0x01e1d114",
            "calldata_variants": [
                "0x01e1d114",
                "0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x07a2d13a",
            "selector": "0x07a2d13a",
            "calldata_variants": [
                "0x07a2d13a",
                "0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0a28a477",
            "selector": "0x0a28a477",
            "calldata_variants": [
                "0x0a28a477",
                "0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d668087",
            "selector": "0x0d668087",
            "calldata_variants": [
                "0x0d668087",
                "0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x1691ae25",
            "selector": "0x1691ae25",
            "calldata_variants": [
                "0x1691ae25",
                "0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 0,
    "create2_count": 2
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 2
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 5
}