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

Analysis Run

8168815f-a83a-478a-a51b-8e3c229c0adb

failed
Chain ID
1
Address
0x1d90d50d5dd04fa7c8bef89aa5872f0701be7982
Block Number
—
Created
Sun, Jan 4, 2026 10:14 AM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31628 report.consolidate complete 1 / 1 3 months ago
111566 artifact.fetch failed 1 / 3 1 week ago
111567 tool.cast_disasm complete 1 / 3 1 week ago
111568 analysis.bundle complete 1 / 3 1 week ago
111569 capability.graph complete 1 / 3 1 week ago
111570 detector.run complete 1 / 3 1 week ago
111571 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete exploitable profit paths found in `contracts/Contract.sol` under the stated assumptions (trusted admin, configured token/NFT contracts).
View stderr 
[codex:514038] OpenAI Codex v0.77.0 (research preview)
[codex:514038] --------
[codex:514038] workdir: /tmp/codex-multi-43fceb2_
[codex:514038] model: gpt-5.2-codex
[codex:514038] provider: openai
[codex:514038] approval: never
[codex:514038] sandbox: read-only
[codex:514038] reasoning effort: xhigh
[codex:514038] reasoning summaries: auto
[codex:514038] session id: 019b887c-5c72-74e0-a07e-05ecfeec51e9
[codex:514038] --------
[codex:514038] user
[codex:514038] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:514038] 
[codex:514038] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:514038] 
[codex:514038] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:514038] - Gas inefficiency, code quality, naming, or best practices
[codex:514038] - Theoretical vulnerabilities without a clear extraction path
[codex:514038] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:514038] - Front-running unless it enables theft beyond MEV
[codex:514038] - DoS, griefing, or issues that don't result in attacker profit
[codex:514038] - Missing events, view function issues, or informational findings
[codex:514038] 
[codex:514038] HIGH-VALUE PATTERNS TO HUNT:
[codex:514038] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:514038] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:514038] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:514038] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:514038] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:514038] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:514038] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:514038] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:514038] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:514038] 
[codex:514038] For each finding, you MUST provide:
[codex:514038] 1. Exact file and line numbers of vulnerable code
[codex:514038] 2. Step-by-step exploit transaction sequence
[codex:514038] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:514038] 
[codex:514038] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:514038] 
[codex:514038] Output MUST be valid JSON matching the provided schema.
[codex:514038] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:514038] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:514038] mcp startup: no servers
[codex:514038] 
[codex:514038] thinking
[codex:514038] **Checking for applicable skills**
[codex:514038] exec
[codex:514038] /bin/bash -lc ls in /tmp/codex-multi-43fceb2_ succeeded in 6ms:
[codex:514038] AUDIT_BUNDLE.txt
[codex:514038] codex-output-schema.json
[codex:514038] contracts
[codex:514038] 
[codex:514038] thinking
[codex:514038] **Reading audit bundle file**
[codex:514038] exec
[codex:514038] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-43fceb2_ succeeded in 5ms:
[codex:514038] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:514038] 
[codex:514038] ================================================================================
[codex:514038] FILE: contracts/Contract.sol
[codex:514038] ================================================================================
[codex:514038] pragma solidity ^0.5.0;
[codex:514038] 
[codex:514038] 
[codex:514038] /**
[codex:514038]  * @dev Wrappers over Solidity's arithmetic operations with added overflow
[codex:514038]  * checks.
[codex:514038]  *
[codex:514038]  * Arithmetic operations in Solidity wrap on overflow. This can easily result
[codex:514038]  * in bugs, because programmers usually assume that an overflow raises an
[codex:514038]  * error, which is the standard behavior in high level programming languages.
[codex:514038]  * `SafeMath` restores this intuition by reverting the transaction when an
[codex:514038]  * operation overflows.
[codex:514038]  *
[codex:514038]  * Using this library instead of the unchecked operations eliminates an entire
[codex:514038]  * class of bugs, so it's recommended to use it always.
[codex:514038] 
[codex:514038] 
[codex:514038] thinking
[codex:514038] **Analyzing contract for profit exploits**
[codex:514038] 
[codex:514038] I've carefully examined token staking, withdrawal, reward, and redemption logic to find concrete exploit paths allowing profit. While unchecked ERC20 return values might enable staking without token transfer if the token is non-standard, the fixed token address and assumptions reduce this risk. I also spotted a bug in internal accounting during rescuePineapples that could disrupt balances but not yield profit. Reentrancy risks seem mitigated by state updates before external calls and limited gas transfers. Overall, no clearly exploitable profit pathway emerges from this audit.
[codex:514038] thinking
[codex:514038] **Examining function visibility and overrides**
[codex:514038] 
[codex:514038] I'm exploring potential issues with public functions in the base contract being overridden in a derived contract under Solidity 0.5 rules, checking if base functions remain accessible externally or if overrides fully replace them. I'm also considering concerns around unrestricted card minting and admin-only roles affecting exploit possibilities. To be thorough, I plan to scan for additional contracts in the codebase.
[codex:514038] exec
[codex:514038] /bin/bash -lc 'rg --files' in /tmp/codex-multi-43fceb2_ succeeded in 10ms:
[codex:514038] codex-output-schema.json
[codex:514038] AUDIT_BUNDLE.txt
[codex:514038] contracts/Contract.sol
[codex:514038] 
[codex:514038] 
[codex:514038] 
[codex:514038] thinking
[codex:514038] **Analyzing contract for exploitable paths**
[codex:514038] 
[codex:514038] I'm carefully examining the contract’s logic to identify any exploitable vulnerabilities that could lead to profit. I'm scrutinizing staking, withdrawing, transferring between pools, reward calculations, reentrancy risks, and token minting mechanics to see if any attack vector or inconsistency could be leveraged, while verifying if apparent issues may actually be safe due to state updates or restrictions.
[codex:514038] thinking
[codex:514038] **Examining subtle token and reward interactions**
[codex:514038] 
[codex:514038] I’m digging into nuanced behaviors like reentrancy possibilities, unchecked token transfer returns, rewardTiming and point calculations, and transfer edge cases to see if any overlooked issues could yield a gain. The biggest question revolves around ignoring ERC20 transferFrom return values—if the token is non-standard, that might allow staking without actual token transfer, creating a possible profit path.
[codex:514038] thinking
[codex:514038] **Concluding audit with JSON output**
[codex:514038] 
[codex:514038] I’m finalizing the audit by preparing a JSON summary stating no concrete exploitable profit paths were found under the given assumptions, ensuring the output matches the required schema and is concise without extra commentary.
[codex:514038] codex
[codex:514038] {"no_findings":true,"summary":"No concrete exploitable profit paths found in `contracts/Contract.sol` under the stated assumptions (trusted admin, configured token/NFT contracts).","findings":[]}
[codex:514038] tokens used
[codex:514038] 25,905
[codex:514038] {"no_findings":true,"summary":"No concrete exploitable profit paths found in `contracts/Contract.sol` under the stated assumptions (trusted admin, configured token/NFT contracts).","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T10:14:43.696516+00:00",
        "returncode": 0
    },
    "summary": "No concrete exploitable profit paths found in `contracts/Contract.sol` under the stated assumptions (trusted admin, configured token/NFT contracts).",
    "raw_final": {
        "summary": "No concrete exploitable profit paths found in `contracts/Contract.sol` under the stated assumptions (trusted admin, configured token/NFT contracts).",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
6
Total opcodes
7560
Flags
delegatecall_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 0x029f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x90dd2627
00000019: GT
0000001a: PUSH2 0x016e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe3d6e69f
00000024: GT
00000025: PUSH2 0x00cb
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf3f43703
0000002f: GT
00000030: PUSH2 0x007f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf77c4791
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf77c4791
00000045: EQ
00000046: PUSH2 0x0925
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfb233733
00000050: EQ
00000051: PUSH2 0x093a
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x096a
0000005f: JUMPI
00000060: PUSH2 0x029f
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xf3f43703
0000006b: EQ
0000006c: PUSH2 0x08c2
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xf4dcb1eb
00000076: EQ
00000077: PUSH2 0x08f5
0000007a: JUMPI
0000007b: PUSH2 0x029f
0000007e: JUMP
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0xecef6c3b
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xecef6c3b
00000091: EQ
00000092: PUSH2 0x0814
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xf2e75dab
0000009c: EQ
0000009d: PUSH2 0x0856
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xf2fde38b
000000a7: EQ
000000a8: PUSH2 0x088f
000000ab: JUMPI
000000ac: PUSH2 0x029f
000000af: JUMP
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0xe3d6e69f
000000b7: EQ
000000b8: PUSH2 0x07cf
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0xe941fa78
000000c2: EQ
000000c3: PUSH2 0x07ff
000000c6: JUMPI
000000c7: PUSH2 0x029f
000000ca: JUMP
000000cb: JUMPDEST
000000cc: DUP1
000000cd: PUSH4 0xc237d392
000000d2: GT
000000d3: PUSH2 0x0122
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0xd76a386a
000000dd: GT
000000de: PUSH2 0x0107
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xd76a386a
000000e8: EQ
000000e9: PUSH2 0x0751
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xe1039f48
000000f3: EQ
000000f4: PUSH2 0x078a
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xe107aa17
000000fe: EQ
000000ff: PUSH2 0x07ba
00000102: JUMPI
00000103: PUSH2 0x029f
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH4 0xc237d392
0000010e: EQ
0000010f: PUSH2 0x06eb
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0xcd5cecf8
00000119: EQ
0000011a: PUSH2 0x071e
0000011d: JUMPI
0000011e: PUSH2 0x029f
00000121: JUMP
00000122: JUMPDEST
00000123: DUP1
00000124: PUSH4 0xac4afa38
00000129: GT
0000012a: PUSH2 0x0153
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0xac4afa38
00000134: EQ
00000135: PUSH2 0x060e
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0xbe109c65
0000013f: EQ
00000140: PUSH2 0x0679
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0xc07bf52a
0000014a: EQ
0000014b: PUSH2 0x06a9
0000014e: JUMPI
0000014f: PUSH2 0x029f
00000152: JUMP
00000153: JUMPDEST
00000154: DUP1
00000155: PUSH4 0x90dd2627
0000015a: EQ
0000015b: PUSH2 0x05a5
0000015e: JUMPI
0000015f: DUP1
00000160: PUSH4 0x92eefe9b
00000165: EQ
00000166: PUSH2 0x05db
00000169: JUMPI
0000016a: PUSH2 0x029f
0000016d: JUMP
0000016e: JUMPDEST
0000016f: DUP1
00000170: PUSH4 0x5c975abb
00000175: GT
00000176: PUSH2 0x021c
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0x7f8661a1
00000180: GT
00000181: PUSH2 0x01d0
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x8456cb59
0000018b: GT
0000018c: PUSH2 0x01b5
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x8456cb59
00000196: EQ
00000197: PUSH2 0x0566
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x8da5cb5b
000001a1: EQ
000001a2: PUSH2 0x057b
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x8f32d59b
000001ac: EQ
000001ad: PUSH2 0x0590
000001b0: JUMPI
000001b1: PUSH2 0x029f
000001b4: JUMP
000001b5: JUMPDEST
000001b6: DUP1
000001b7: PUSH4 0x7f8661a1
000001bc: EQ
000001bd: PUSH2 0x0509
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0x82dc1ec4
000001c7: EQ
000001c8: PUSH2 0x0533
000001cb: JUMPI
000001cc: PUSH2 0x029f
000001cf: JUMP
000001d0: JUMPDEST
000001d1: DUP1
000001d2: PUSH4 0x715018a6
000001d7: GT
000001d8: PUSH2 0x0201
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0x715018a6
000001e2: EQ
000001e3: PUSH2 0x04a1
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x7b0472f0
000001ed: EQ
000001ee: PUSH2 0x04b6
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x7cbc2373
000001f8: EQ
000001f9: PUSH2 0x04e6
000001fc: JUMPI
000001fd: PUSH2 0x029f
00000200: JUMP
00000201: JUMPDEST
00000202: DUP1
00000203: PUSH4 0x5c975abb
00000208: EQ
00000209: PUSH2 0x0477
0000020c: JUMPI
0000020d: DUP1
0000020e: PUSH4 0x6ef8d66d
00000213: EQ
00000214: PUSH2 0x048c
00000217: JUMPI
00000218: PUSH2 0x029f
0000021b: JUMP
0000021c: JUMPDEST
0000021d: DUP1
0000021e: PUSH4 0x3e491d47
00000223: GT
00000224: PUSH2 0x0273
00000227: JUMPI
00000228: DUP1
00000229: PUSH4 0x441a3e70
0000022e: GT
0000022f: PUSH2 0x0258
00000232: JUMPI
00000233: DUP1
00000234: PUSH4 0x441a3e70
00000239: EQ
0000023a: PUSH2 0x03af
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x46fbf68e
00000244: EQ
00000245: PUSH2 0x03df
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x480d42bd
0000024f: EQ
00000250: PUSH2 0x0426
00000253: JUMPI
00000254: PUSH2 0x029f
00000257: JUMP
00000258: JUMPDEST
00000259: DUP1
0000025a: PUSH4 0x3e491d47
0000025f: EQ
00000260: PUSH2 0x035f
00000263: JUMPI
00000264: DUP1
00000265: PUSH4 0x3f4ba83a
0000026a: EQ
0000026b: PUSH2 0x0398
0000026e: JUMPI
0000026f: PUSH2 0x029f
00000272: JUMP
00000273: JUMPDEST
00000274: DUP1
00000275: PUSH3 0xfdd58e
00000279: EQ
0000027a: PUSH2 0x02a4
0000027d: JUMPI
0000027e: DUP1
0000027f: PUSH4 0x0d749cec
00000284: EQ
00000285: PUSH2 0x02ef
00000288: JUMPI
00000289: DUP1
0000028a: PUSH4 0x18160ddd
0000028f: EQ
00000290: PUSH2 0x0319
00000293: JUMPI
00000294: DUP1
00000295: PUSH4 0x38a63183
0000029a: EQ
0000029b: PUSH2 0x032e
0000029e: JUMPI
0000029f: JUMPDEST
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02dd
000002b5: PUSH1 0x04
000002b7: DUP1
000002b8: CALLDATASIZE
000002b9: SUB
000002ba: PUSH1 0x40
000002bc: DUP2
000002bd: LT
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: POP
000002c9: PUSH1 0x01
000002cb: PUSH1 0x01
000002cd: PUSH1 0xa0
000002cf: SHL
000002d0: SUB
000002d1: DUP2
000002d2: CALLDATALOAD
000002d3: AND
000002d4: SWAP1
000002d5: PUSH1 0x20
000002d7: ADD
000002d8: CALLDATALOAD
000002d9: PUSH2 0x097f
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: DUP1
000002e1: MLOAD
000002e2: SWAP2
000002e3: DUP3
000002e4: MSTORE
000002e5: MLOAD
000002e6: SWAP1
000002e7: DUP2
000002e8: SWAP1
000002e9: SUB
000002ea: PUSH1 0x20
000002ec: ADD
000002ed: SWAP1
000002ee: RETURN
000002ef: JUMPDEST
000002f0: CALLVALUE
000002f1: DUP1
000002f2: ISZERO
000002f3: PUSH2 0x02fb
000002f6: JUMPI
000002f7: PUSH1 0x00
000002f9: DUP1
000002fa: REVERT
000002fb: JUMPDEST
000002fc: POP
000002fd: PUSH2 0x02dd
00000300: PUSH1 0x04
00000302: DUP1
00000303: CALLDATASIZE
00000304: SUB
00000305: PUSH1 0x20
00000307: DUP2
00000308: LT
00000309: ISZERO
0000030a: PUSH2 0x0312
0000030d: JUMPI
0000030e: PUSH1 0x00
00000310: DUP1
00000311: REVERT
00000312: JUMPDEST
00000313: POP
00000314: CALLDATALOAD
00000315: PUSH2 0x09a9
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x02dd
0000032a: PUSH2 0x09bb
0000032d: JUMP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x033a
00000335: JUMPI
00000336: PUSH1 0x00
00000338: DUP1
00000339: REVERT
0000033a: JUMPDEST
0000033b: POP
0000033c: PUSH2 0x0343
0000033f: PUSH2 0x09c1
00000342: JUMP
00000343: JUMPDEST
00000344: PUSH1 0x40
00000346: DUP1
00000347: MLOAD
00000348: PUSH1 0x01
0000034a: PUSH1 0x01
0000034c: PUSH1 0xa0
0000034e: SHL
0000034f: SUB
00000350: SWAP1
00000351: SWAP3
00000352: AND
00000353: DUP3
00000354: MSTORE
00000355: MLOAD
00000356: SWAP1
00000357: DUP2
00000358: SWAP1
00000359: SUB
0000035a: PUSH1 0x20
0000035c: ADD
0000035d: SWAP1
0000035e: RETURN
0000035f: JUMPDEST
00000360: CALLVALUE
00000361: DUP1
00000362: ISZERO
00000363: PUSH2 0x036b
00000366: JUMPI
00000367: PUSH1 0x00
00000369: DUP1
0000036a: REVERT
0000036b: JUMPDEST
0000036c: POP
0000036d: PUSH2 0x02dd
00000370: PUSH1 0x04
00000372: DUP1
00000373: CALLDATASIZE
00000374: SUB
00000375: PUSH1 0x40
00000377: DUP2
00000378: LT
00000379: ISZERO
0000037a: PUSH2 0x0382
0000037d: JUMPI
0000037e: PUSH1 0x00
00000380: DUP1
00000381: REVERT
00000382: JUMPDEST
00000383: POP
00000384: PUSH1 0x01
00000386: PUSH1 0x01
00000388: PUSH1 0xa0
0000038a: SHL
0000038b: SUB
0000038c: DUP2
0000038d: CALLDATALOAD
0000038e: AND
0000038f: SWAP1
00000390: PUSH1 0x20
00000392: ADD
00000393: CALLDATALOAD
00000394: PUSH2 0x09d0
00000397: JUMP
00000398: JUMPDEST
00000399: CALLVALUE
0000039a: DUP1
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: POP
000003a6: PUSH2 0x03ad
000003a9: PUSH2 0x0a6c
000003ac: JUMP
000003ad: JUMPDEST
000003ae: STOP
000003af: JUMPDEST
000003b0: CALLVALUE
000003b1: DUP1
000003b2: ISZERO
000003b3: PUSH2 0x03bb
000003b6: JUMPI
000003b7: PUSH1 0x00
000003b9: DUP1
000003ba: REVERT
000003bb: JUMPDEST
000003bc: POP
000003bd: PUSH2 0x03ad
000003c0: PUSH1 0x04
000003c2: DUP1
000003c3: CALLDATASIZE
000003c4: SUB
000003c5: PUSH1 0x40
000003c7: DUP2
000003c8: LT
000003c9: ISZERO
000003ca: PUSH2 0x03d2
000003cd: JUMPI
000003ce: PUSH1 0x00
000003d0: DUP1
000003d1: REVERT
000003d2: JUMPDEST
000003d3: POP
000003d4: DUP1
000003d5: CALLDATALOAD
000003d6: SWAP1
000003d7: PUSH1 0x20
000003d9: ADD
000003da: CALLDATALOAD
000003db: PUSH2 0x0b7c
000003de: JUMP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x0412
000003f0: PUSH1 0x04
000003f2: DUP1
000003f3: CALLDATASIZE
000003f4: SUB
000003f5: PUSH1 0x20
000003f7: DUP2
000003f8: LT
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: CALLDATALOAD
00000405: PUSH1 0x01
00000407: PUSH1 0x01
00000409: PUSH1 0xa0
0000040b: SHL
0000040c: SUB
0000040d: AND
0000040e: PUSH2 0x0cc9
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH1 0x40
00000415: DUP1
00000416: MLOAD
00000417: SWAP2
00000418: ISZERO
00000419: ISZERO
0000041a: DUP3
0000041b: MSTORE
0000041c: MLOAD
0000041d: SWAP1
0000041e: DUP2
0000041f: SWAP1
00000420: SUB
00000421: PUSH1 0x20
00000423: ADD
00000424: SWAP1
00000425: RETURN
00000426: JUMPDEST
00000427: CALLVALUE
00000428: DUP1
00000429: ISZERO
0000042a: PUSH2 0x0432
0000042d: JUMPI
0000042e: PUSH1 0x00
00000430: DUP1
00000431: REVERT
00000432: JUMPDEST
00000433: POP
00000434: PUSH2 0x02dd
00000437: PUSH1 0x04
00000439: DUP1
0000043a: CALLDATASIZE
0000043b: SUB
0000043c: PUSH1 0xc0
0000043e: DUP2
0000043f: LT
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: DUP1
0000044c: CALLDATALOAD
0000044d: SWAP1
0000044e: PUSH1 0x20
00000450: DUP2
00000451: ADD
00000452: CALLDATALOAD
00000453: SWAP1
00000454: PUSH1 0x40
00000456: DUP2
00000457: ADD
00000458: CALLDATALOAD
00000459: SWAP1
0000045a: PUSH1 0x60
0000045c: DUP2
0000045d: ADD
0000045e: CALLDATALOAD
0000045f: SWAP1
00000460: PUSH1 0x80
00000462: DUP2
00000463: ADD
00000464: CALLDATALOAD
00000465: SWAP1
00000466: PUSH1 0xa0
00000468: ADD
00000469: CALLDATALOAD
0000046a: PUSH1 0x01
0000046c: PUSH1 0x01
0000046e: PUSH1 0xa0
00000470: SHL
00000471: SUB
00000472: AND
00000473: PUSH2 0x0cdc
00000476: JUMP
00000477: JUMPDEST
00000478: CALLVALUE
00000479: DUP1
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: POP
00000485: PUSH2 0x0412
00000488: PUSH2 0x0e52
0000048b: JUMP
0000048c: JUMPDEST
0000048d: CALLVALUE
0000048e: DUP1
0000048f: ISZERO
00000490: PUSH2 0x0498
00000493: JUMPI
00000494: PUSH1 0x00
00000496: DUP1
00000497: REVERT
00000498: JUMPDEST
00000499: POP
0000049a: PUSH2 0x03ad
0000049d: PUSH2 0x0e5b
000004a0: JUMP
000004a1: JUMPDEST
000004a2: CALLVALUE
000004a3: DUP1
000004a4: ISZERO
000004a5: PUSH2 0x04ad
000004a8: JUMPI
000004a9: PUSH1 0x00
000004ab: DUP1
000004ac: REVERT
000004ad: JUMPDEST
000004ae: POP
000004af: PUSH2 0x03ad
000004b2: PUSH2 0x0e6d
000004b5: JUMP
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: DUP1
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x03ad
000004c7: PUSH1 0x04
000004c9: DUP1
000004ca: CALLDATASIZE
000004cb: SUB
000004cc: PUSH1 0x40
000004ce: DUP2
000004cf: LT
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: POP
000004db: DUP1
000004dc: CALLDATALOAD
000004dd: SWAP1
000004de: PUSH1 0x20
000004e0: ADD
000004e1: CALLDATALOAD
000004e2: PUSH2 0x0f28
000004e5: JUMP
000004e6: JUMPDEST
000004e7: PUSH2 0x03ad
000004ea: PUSH1 0x04
000004ec: DUP1
000004ed: CALLDATASIZE
000004ee: SUB
000004ef: PUSH1 0x40
000004f1: DUP2
000004f2: LT
000004f3: ISZERO
000004f4: PUSH2 0x04fc
000004f7: JUMPI
000004f8: PUSH1 0x00
000004fa: DUP1
000004fb: REVERT
000004fc: JUMPDEST
000004fd: POP
000004fe: DUP1
000004ff: CALLDATALOAD
00000500: SWAP1
00000501: PUSH1 0x20
00000503: ADD
00000504: CALLDATALOAD
00000505: PUSH2 0x11af
00000508: JUMP
00000509: JUMPDEST
0000050a: CALLVALUE
0000050b: DUP1
0000050c: ISZERO
0000050d: PUSH2 0x0515
00000510: JUMPI
00000511: PUSH1 0x00
00000513: DUP1
00000514: REVERT
00000515: JUMPDEST
00000516: POP
00000517: PUSH2 0x03ad
0000051a: PUSH1 0x04
0000051c: DUP1
0000051d: CALLDATASIZE
0000051e: SUB
0000051f: PUSH1 0x20
00000521: DUP2
00000522: LT
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: CALLDATALOAD
0000052f: PUSH2 0x16b1
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x03ad
00000544: PUSH1 0x04
00000546: DUP1
00000547: CALLDATASIZE
00000548: SUB
00000549: PUSH1 0x20
0000054b: DUP2
0000054c: LT
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: CALLDATALOAD
00000559: PUSH1 0x01
0000055b: PUSH1 0x01
0000055d: PUSH1 0xa0
0000055f: SHL
00000560: SUB
00000561: AND
00000562: PUSH2 0x16c7
00000565: JUMP
00000566: JUMPDEST
00000567: CALLVALUE
00000568: DUP1
00000569: ISZERO
0000056a: PUSH2 0x0572
0000056d: JUMPI
0000056e: PUSH1 0x00
00000570: DUP1
00000571: REVERT
00000572: JUMPDEST
00000573: POP
00000574: PUSH2 0x03ad
00000577: PUSH2 0x1716
0000057a: JUMP
0000057b: JUMPDEST
0000057c: CALLVALUE
0000057d: DUP1
0000057e: ISZERO
0000057f: PUSH2 0x0587
00000582: JUMPI
00000583: PUSH1 0x00
00000585: DUP1
00000586: REVERT
00000587: JUMPDEST
00000588: POP
00000589: PUSH2 0x0343
0000058c: PUSH2 0x1808
0000058f: JUMP
00000590: JUMPDEST
00000591: CALLVALUE
00000592: DUP1
00000593: ISZERO
00000594: PUSH2 0x059c
00000597: JUMPI
00000598: PUSH1 0x00
0000059a: DUP1
0000059b: REVERT
0000059c: JUMPDEST
0000059d: POP
0000059e: PUSH2 0x0412
000005a1: PUSH2 0x1817
000005a4: JUMP
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: PUSH2 0x03ad
000005b6: PUSH1 0x04
000005b8: DUP1
000005b9: CALLDATASIZE
000005ba: SUB
000005bb: PUSH1 0x60
000005bd: DUP2
000005be: LT
000005bf: ISZERO
000005c0: PUSH2 0x05c8
000005c3: JUMPI
000005c4: PUSH1 0x00
000005c6: DUP1
000005c7: REVERT
000005c8: JUMPDEST
000005c9: POP
000005ca: DUP1
000005cb: CALLDATALOAD
000005cc: SWAP1
000005cd: PUSH1 0x20
000005cf: DUP2
000005d0: ADD
000005d1: CALLDATALOAD
000005d2: SWAP1
000005d3: PUSH1 0x40
000005d5: ADD
000005d6: CALLDATALOAD
000005d7: PUSH2 0x183d
000005da: JUMP
000005db: JUMPDEST
000005dc: CALLVALUE
000005dd: DUP1
000005de: ISZERO
000005df: PUSH2 0x05e7
000005e2: JUMPI
000005e3: PUSH1 0x00
000005e5: DUP1
000005e6: REVERT
000005e7: JUMPDEST
000005e8: POP
000005e9: PUSH2 0x03ad
000005ec: PUSH1 0x04
000005ee: DUP1
000005ef: CALLDATASIZE
000005f0: SUB
000005f1: PUSH1 0x20
000005f3: DUP2
000005f4: LT
000005f5: ISZERO
000005f6: PUSH2 0x05fe
000005f9: JUMPI
000005fa: PUSH1 0x00
000005fc: DUP1
000005fd: REVERT
000005fe: JUMPDEST
000005ff: POP
00000600: CALLDATALOAD
00000601: PUSH1 0x01
00000603: PUSH1 0x01
00000605: PUSH1 0xa0
00000607: SHL
00000608: SUB
00000609: AND
0000060a: PUSH2 0x1b7f
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: DUP1
00000611: ISZERO
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: POP
0000061c: PUSH2 0x0638
0000061f: PUSH1 0x04
00000621: DUP1
00000622: CALLDATASIZE
00000623: SUB
00000624: PUSH1 0x20
00000626: DUP2
00000627: LT
00000628: ISZERO
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: POP
00000633: CALLDATALOAD
00000634: PUSH2 0x1c5e
00000637: JUMP
00000638: JUMPDEST
00000639: PUSH1 0x40
0000063b: DUP1
0000063c: MLOAD
0000063d: SWAP8
0000063e: DUP9
0000063f: MSTORE
00000640: PUSH1 0x20
00000642: DUP9
00000643: ADD
00000644: SWAP7
00000645: SWAP1
00000646: SWAP7
00000647: MSTORE
00000648: DUP7
00000649: DUP7
0000064a: ADD
0000064b: SWAP5
0000064c: SWAP1
0000064d: SWAP5
0000064e: MSTORE
0000064f: PUSH1 0x60
00000651: DUP7
00000652: ADD
00000653: SWAP3
00000654: SWAP1
00000655: SWAP3
00000656: MSTORE
00000657: PUSH1 0x80
00000659: DUP6
0000065a: ADD
0000065b: MSTORE
0000065c: PUSH1 0xa0
0000065e: DUP5
0000065f: ADD
00000660: MSTORE
00000661: PUSH1 0x01
00000663: PUSH1 0x01
00000665: PUSH1 0xa0
00000667: SHL
00000668: SUB
00000669: AND
0000066a: PUSH1 0xc0
0000066c: DUP4
0000066d: ADD
0000066e: MSTORE
0000066f: MLOAD
00000670: SWAP1
00000671: DUP2
00000672: SWAP1
00000673: SUB
00000674: PUSH1 0xe0
00000676: ADD
00000677: SWAP1
00000678: RETURN
00000679: JUMPDEST
0000067a: CALLVALUE
0000067b: DUP1
0000067c: ISZERO
0000067d: PUSH2 0x0685
00000680: JUMPI
00000681: PUSH1 0x00
00000683: DUP1
00000684: REVERT
00000685: JUMPDEST
00000686: POP
00000687: PUSH2 0x02dd
0000068a: PUSH1 0x04
0000068c: DUP1
0000068d: CALLDATASIZE
0000068e: SUB
0000068f: PUSH1 0x40
00000691: DUP2
00000692: LT
00000693: ISZERO
00000694: PUSH2 0x069c
00000697: JUMPI
00000698: PUSH1 0x00
0000069a: DUP1
0000069b: REVERT
0000069c: JUMPDEST
0000069d: POP
0000069e: DUP1
0000069f: CALLDATALOAD
000006a0: SWAP1
000006a1: PUSH1 0x20
000006a3: ADD
000006a4: CALLDATALOAD
000006a5: PUSH2 0x1ca4
000006a8: JUMP
000006a9: JUMPDEST
000006aa: CALLVALUE
000006ab: DUP1
000006ac: ISZERO
000006ad: PUSH2 0x06b5
000006b0: JUMPI
000006b1: PUSH1 0x00
000006b3: DUP1
000006b4: REVERT
000006b5: JUMPDEST
000006b6: POP
000006b7: PUSH2 0x02dd
000006ba: PUSH1 0x04
000006bc: DUP1
000006bd: CALLDATASIZE
000006be: SUB
000006bf: PUSH1 0xa0
000006c1: DUP2
000006c2: LT
000006c3: ISZERO
000006c4: PUSH2 0x06cc
000006c7: JUMPI
000006c8: PUSH1 0x00
000006ca: DUP1
000006cb: REVERT
000006cc: JUMPDEST
000006cd: POP
000006ce: DUP1
000006cf: CALLDATALOAD
000006d0: SWAP1
000006d1: PUSH1 0x20
000006d3: DUP2
000006d4: ADD
000006d5: CALLDATALOAD
000006d6: SWAP1
000006d7: PUSH1 0x40
000006d9: DUP2
000006da: ADD
000006db: CALLDATALOAD
000006dc: SWAP1
000006dd: PUSH1 0x60
000006df: DUP2
000006e0: ADD
000006e1: CALLDATALOAD
000006e2: SWAP1
000006e3: PUSH1 0x80
000006e5: ADD
000006e6: CALLDATALOAD
000006e7: PUSH2 0x1cc5
000006ea: JUMP
000006eb: JUMPDEST
000006ec: CALLVALUE
000006ed: DUP1
000006ee: ISZERO
000006ef: PUSH2 0x06f7
000006f2: JUMPI
000006f3: PUSH1 0x00
000006f5: DUP1
000006f6: REVERT
000006f7: JUMPDEST
000006f8: POP
000006f9: PUSH2 0x02dd
000006fc: PUSH1 0x04
000006fe: DUP1
000006ff: CALLDATASIZE
00000700: SUB
00000701: PUSH1 0x20
00000703: DUP2
00000704: LT
00000705: ISZERO
00000706: PUSH2 0x070e
00000709: JUMPI
0000070a: PUSH1 0x00
0000070c: DUP1
0000070d: REVERT
0000070e: JUMPDEST
0000070f: POP
00000710: CALLDATALOAD
00000711: PUSH1 0x01
00000713: PUSH1 0x01
00000715: PUSH1 0xa0
00000717: SHL
00000718: SUB
00000719: AND
0000071a: PUSH2 0x1f1b
0000071d: JUMP
0000071e: JUMPDEST
0000071f: CALLVALUE
00000720: DUP1
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH2 0x03ad
0000072f: PUSH1 0x04
00000731: DUP1
00000732: CALLDATASIZE
00000733: SUB
00000734: PUSH1 0x20
00000736: DUP2
00000737: LT
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: CALLDATALOAD
00000744: PUSH1 0x01
00000746: PUSH1 0x01
00000748: PUSH1 0xa0
0000074a: SHL
0000074b: SUB
0000074c: AND
0000074d: PUSH2 0x1f36
00000750: JUMP
00000751: JUMPDEST
00000752: CALLVALUE
00000753: DUP1
00000754: ISZERO
00000755: PUSH2 0x075d
00000758: JUMPI
00000759: PUSH1 0x00
0000075b: DUP1
0000075c: REVERT
0000075d: JUMPDEST
0000075e: POP
0000075f: PUSH2 0x03ad
00000762: PUSH1 0x04
00000764: DUP1
00000765: CALLDATASIZE
00000766: SUB
00000767: PUSH1 0x40
00000769: DUP2
0000076a: LT
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: PUSH1 0x00
00000772: DUP1
00000773: REVERT
00000774: JUMPDEST
00000775: POP
00000776: DUP1
00000777: CALLDATALOAD
00000778: SWAP1
00000779: PUSH1 0x20
0000077b: ADD
0000077c: CALLDATALOAD
0000077d: PUSH1 0x01
0000077f: PUSH1 0x01
00000781: PUSH1 0xa0
00000783: SHL
00000784: SUB
00000785: AND
00000786: PUSH2 0x1fc9
00000789: JUMP
0000078a: JUMPDEST
0000078b: CALLVALUE
0000078c: DUP1
0000078d: ISZERO
0000078e: PUSH2 0x0796
00000791: JUMPI
00000792: PUSH1 0x00
00000794: DUP1
00000795: REVERT
00000796: JUMPDEST
00000797: POP
00000798: PUSH2 0x03ad
0000079b: PUSH1 0x04
0000079d: DUP1
0000079e: CALLDATASIZE
0000079f: SUB
000007a0: PUSH1 0x40
000007a2: DUP2
000007a3: LT
000007a4: ISZERO
000007a5: PUSH2 0x07ad
000007a8: JUMPI
000007a9: PUSH1 0x00
000007ab: DUP1
000007ac: REVERT
000007ad: JUMPDEST
000007ae: POP
000007af: DUP1
000007b0: CALLDATALOAD
000007b1: SWAP1
000007b2: PUSH1 0x20
000007b4: ADD
000007b5: CALLDATALOAD
000007b6: PUSH2 0x20e4
000007b9: JUMP
000007ba: JUMPDEST
000007bb: CALLVALUE
000007bc: DUP1
000007bd: ISZERO
000007be: PUSH2 0x07c6
000007c1: JUMPI
000007c2: PUSH1 0x00
000007c4: DUP1
000007c5: REVERT
000007c6: JUMPDEST
000007c7: POP
000007c8: PUSH2 0x0343
000007cb: PUSH2 0x21b8
000007ce: JUMP
000007cf: JUMPDEST
000007d0: CALLVALUE
000007d1: DUP1
000007d2: ISZERO
000007d3: PUSH2 0x07db
000007d6: JUMPI
000007d7: PUSH1 0x00
000007d9: DUP1
000007da: REVERT
000007db: JUMPDEST
000007dc: POP
000007dd: PUSH2 0x02dd
000007e0: PUSH1 0x04
000007e2: DUP1
000007e3: CALLDATASIZE
000007e4: SUB
000007e5: PUSH1 0x40
000007e7: DUP2
000007e8: LT
000007e9: ISZERO
000007ea: PUSH2 0x07f2
000007ed: JUMPI
000007ee: PUSH1 0x00
000007f0: DUP1
000007f1: REVERT
000007f2: JUMPDEST
000007f3: POP
000007f4: DUP1
000007f5: CALLDATALOAD
000007f6: SWAP1
000007f7: PUSH1 0x20
000007f9: ADD
000007fa: CALLDATALOAD
000007fb: PUSH2 0x21cc
000007fe: JUMP
000007ff: JUMPDEST
00000800: CALLVALUE
00000801: DUP1
00000802: ISZERO
00000803: PUSH2 0x080b
00000806: JUMPI
00000807: PUSH1 0x00
00000809: DUP1
0000080a: REVERT
0000080b: JUMPDEST
0000080c: POP
0000080d: PUSH2 0x03ad
00000810: PUSH2 0x21f0
00000813: JUMP
00000814: JUMPDEST
00000815: CALLVALUE
00000816: DUP1
00000817: ISZERO
00000818: PUSH2 0x0820
0000081b: JUMPI
0000081c: PUSH1 0x00
0000081e: DUP1
0000081f: REVERT
00000820: JUMPDEST
00000821: POP
00000822: PUSH2 0x03ad
00000825: PUSH1 0x04
00000827: DUP1
00000828: CALLDATASIZE
00000829: SUB
0000082a: PUSH1 0xa0
0000082c: DUP2
0000082d: LT
0000082e: ISZERO
0000082f: PUSH2 0x0837
00000832: JUMPI
00000833: PUSH1 0x00
00000835: DUP1
00000836: REVERT
00000837: JUMPDEST
00000838: POP
00000839: DUP1
0000083a: CALLDATALOAD
0000083b: SWAP1
0000083c: PUSH1 0x20
0000083e: DUP2
0000083f: ADD
00000840: CALLDATALOAD
00000841: SWAP1
00000842: PUSH1 0x40
00000844: DUP2
00000845: ADD
00000846: CALLDATALOAD
00000847: SWAP1
00000848: PUSH1 0x60
0000084a: DUP2
0000084b: ADD
0000084c: CALLDATALOAD
0000084d: SWAP1
0000084e: PUSH1 0x80
00000850: ADD
00000851: CALLDATALOAD
00000852: PUSH2 0x2291
00000855: JUMP
00000856: JUMPDEST
00000857: CALLVALUE
00000858: DUP1
00000859: ISZERO
0000085a: PUSH2 0x0862
0000085d: JUMPI
0000085e: PUSH1 0x00
00000860: DUP1
00000861: REVERT
00000862: JUMPDEST
00000863: POP
00000864: PUSH2 0x02dd
00000867: PUSH1 0x04
00000869: DUP1
0000086a: CALLDATASIZE
0000086b: SUB
0000086c: PUSH1 0x40
0000086e: DUP2
0000086f: LT
00000870: ISZERO
00000871: PUSH2 0x0879
00000874: JUMPI
00000875: PUSH1 0x00
00000877: DUP1
00000878: REVERT
00000879: JUMPDEST
0000087a: POP
0000087b: PUSH1 0x01
0000087d: PUSH1 0x01
0000087f: PUSH1 0xa0
00000881: SHL
00000882: SUB
00000883: DUP2
00000884: CALLDATALOAD
00000885: AND
00000886: SWAP1
00000887: PUSH1 0x20
00000889: ADD
0000088a: CALLDATALOAD
0000088b: PUSH2 0x23d1
0000088e: JUMP
0000088f: JUMPDEST
00000890: CALLVALUE
00000891: DUP1
00000892: ISZERO
00000893: PUSH2 0x089b
00000896: JUMPI
00000897: PUSH1 0x00
00000899: DUP1
0000089a: REVERT
0000089b: JUMPDEST
0000089c: POP
0000089d: PUSH2 0x03ad
000008a0: PUSH1 0x04
000008a2: DUP1
000008a3: CALLDATASIZE
000008a4: SUB
000008a5: PUSH1 0x20
000008a7: DUP2
000008a8: LT
000008a9: ISZERO
000008aa: PUSH2 0x08b2
000008ad: JUMPI
000008ae: PUSH1 0x00
000008b0: DUP1
000008b1: REVERT
000008b2: JUMPDEST
000008b3: POP
000008b4: CALLDATALOAD
000008b5: PUSH1 0x01
000008b7: PUSH1 0x01
000008b9: PUSH1 0xa0
000008bb: SHL
000008bc: SUB
000008bd: AND
000008be: PUSH2 0x25ad
000008c1: JUMP
000008c2: JUMPDEST
000008c3: CALLVALUE
000008c4: DUP1
000008c5: ISZERO
000008c6: PUSH2 0x08ce
000008c9: JUMPI
000008ca: PUSH1 0x00
000008cc: DUP1
000008cd: REVERT
000008ce: JUMPDEST
000008cf: POP
000008d0: PUSH2 0x02dd
000008d3: PUSH1 0x04
000008d5: DUP1
000008d6: CALLDATASIZE
000008d7: SUB
000008d8: PUSH1 0x20
000008da: DUP2
000008db: LT
000008dc: ISZERO
000008dd: PUSH2 0x08e5
000008e0: JUMPI
000008e1: PUSH1 0x00
000008e3: DUP1
000008e4: REVERT
000008e5: JUMPDEST
000008e6: POP
000008e7: CALLDATALOAD
000008e8: PUSH1 0x01
000008ea: PUSH1 0x01
000008ec: PUSH1 0xa0
000008ee: SHL
000008ef: SUB
000008f0: AND
000008f1: PUSH2 0x260f
000008f4: JUMP
000008f5: JUMPDEST
000008f6: CALLVALUE
000008f7: DUP1
000008f8: ISZERO
000008f9: PUSH2 0x0901
000008fc: JUMPI
000008fd: PUSH1 0x00
000008ff: DUP1
00000900: REVERT
00000901: JUMPDEST
00000902: POP
00000903: PUSH2 0x03ad
00000906: PUSH1 0x04
00000908: DUP1
00000909: CALLDATASIZE
0000090a: SUB
0000090b: PUSH1 0x40
0000090d: DUP2
0000090e: LT
0000090f: ISZERO
00000910: PUSH2 0x0918
00000913: JUMPI
00000914: PUSH1 0x00
00000916: DUP1
00000917: REVERT
00000918: JUMPDEST
00000919: POP
0000091a: DUP1
0000091b: CALLDATALOAD
0000091c: SWAP1
0000091d: PUSH1 0x20
0000091f: ADD
00000920: CALLDATALOAD
00000921: PUSH2 0x2621
00000924: JUMP
00000925: JUMPDEST
00000926: CALLVALUE
00000927: DUP1
00000928: ISZERO
00000929: PUSH2 0x0931
0000092c: JUMPI
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: REVERT
00000931: JUMPDEST
00000932: POP
00000933: PUSH2 0x0343
00000936: PUSH2 0x2635
00000939: JUMP
0000093a: JUMPDEST
0000093b: CALLVALUE
0000093c: DUP1
0000093d: ISZERO
0000093e: PUSH2 0x0946
00000941: JUMPI
00000942: PUSH1 0x00
00000944: DUP1
00000945: REVERT
00000946: JUMPDEST
00000947: POP
00000948: PUSH2 0x02dd
0000094b: PUSH1 0x04
0000094d: DUP1
0000094e: CALLDATASIZE
0000094f: SUB
00000950: PUSH1 0x40
00000952: DUP2
00000953: LT
00000954: ISZERO
00000955: PUSH2 0x095d
00000958: JUMPI
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: REVERT
0000095d: JUMPDEST
0000095e: POP
0000095f: DUP1
00000960: CALLDATALOAD
00000961: SWAP1
00000962: PUSH1 0x20
00000964: ADD
00000965: CALLDATALOAD
00000966: PUSH2 0x2644
00000969: JUMP
0000096a: JUMPDEST
0000096b: CALLVALUE
0000096c: DUP1
0000096d: ISZERO
0000096e: PUSH2 0x0976
00000971: JUMPI
00000972: PUSH1 0x00
00000974: DUP1
00000975: REVERT
00000976: JUMPDEST
00000977: POP
00000978: PUSH2 0x0343
0000097b: PUSH2 0x2668
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH1 0x00
00000982: DUP2
00000983: DUP2
00000984: MSTORE
00000985: PUSH1 0x02
00000987: PUSH1 0x20
00000989: SWAP1
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x40
0000098e: DUP1
0000098f: DUP4
00000990: KECCAK256
00000991: PUSH1 0x01
00000993: PUSH1 0x01
00000995: PUSH1 0xa0
00000997: SHL
00000998: SUB
00000999: DUP7
0000099a: AND
0000099b: DUP5
0000099c: MSTORE
0000099d: SWAP1
0000099e: SWAP2
0000099f: MSTORE
000009a0: SWAP1
000009a1: KECCAK256
000009a2: SLOAD
000009a3: JUMPDEST
000009a4: SWAP3
000009a5: SWAP2
000009a6: POP
000009a7: POP
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH1 0x00
000009ac: SWAP1
000009ad: DUP2
000009ae: MSTORE
000009af: PUSH1 0x04
000009b1: PUSH1 0x20
000009b3: MSTORE
000009b4: PUSH1 0x40
000009b6: SWAP1
000009b7: KECCAK256
000009b8: SLOAD
000009b9: SWAP1
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH1 0x01
000009be: SLOAD
000009bf: SWAP1
000009c0: JUMP
000009c1: JUMPDEST
000009c2: PUSH1 0x09
000009c4: SLOAD
000009c5: PUSH1 0x01
000009c7: PUSH1 0x01
000009c9: PUSH1 0xa0
000009cb: SHL
000009cc: SUB
000009cd: AND
000009ce: DUP2
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH1 0x00
000009d3: DUP2
000009d4: DUP2
000009d5: MSTORE
000009d6: PUSH1 0x0b
000009d8: PUSH1 0x20
000009da: SWAP1
000009db: DUP2
000009dc: MSTORE
000009dd: PUSH1 0x40
000009df: DUP1
000009e0: DUP4
000009e1: KECCAK256
000009e2: PUSH1 0x01
000009e4: PUSH1 0x01
000009e6: PUSH1 0xa0
000009e8: SHL
000009e9: SUB
000009ea: DUP7
000009eb: AND
000009ec: DUP5
000009ed: MSTORE
000009ee: PUSH1 0x08
000009f0: DUP2
000009f1: ADD
000009f2: DUP4
000009f3: MSTORE
000009f4: DUP2
000009f5: DUP5
000009f6: KECCAK256
000009f7: SLOAD
000009f8: PUSH1 0x02
000009fa: DUP3
000009fb: ADD
000009fc: SLOAD
000009fd: PUSH1 0x07
000009ff: DUP4
00000a00: ADD
00000a01: SWAP1
00000a02: SWAP5
00000a03: MSTORE
00000a04: SWAP2
00000a05: DUP5
00000a06: KECCAK256
00000a07: SLOAD
00000a08: SWAP1
00000a09: SWAP3
00000a0a: TIMESTAMP
00000a0b: SWAP3
00000a0c: PUSH2 0x0a63
00000a0f: SWAP3
00000a10: SWAP1
00000a11: SWAP2
00000a12: PUSH2 0x0a57
00000a15: SWAP2
00000a16: PUSH4 0x05f5e100
00000a1b: SWAP2
00000a1c: PUSH2 0x0a4b
00000a1f: SWAP2
00000a20: PUSH2 0x0a41
00000a23: SWAP2
00000a24: SWAP1
00000a25: PUSH2 0x0a35
00000a28: SWAP1
00000a29: DUP10
00000a2a: SWAP1
00000a2b: PUSH4 0xffffffff
00000a30: PUSH2 0x2677
00000a33: AND
00000a34: JUMP
00000a35: JUMPDEST
00000a36: SWAP1
00000a37: PUSH4 0xffffffff
00000a3c: PUSH2 0x26c0
00000a3f: AND
00000a40: JUMP
00000a41: JUMPDEST
00000a42: PUSH2 0x0a35
00000a45: DUP12
00000a46: DUP12
00000a47: PUSH2 0x097f
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: SWAP1
00000a4d: PUSH4 0xffffffff
00000a52: PUSH2 0x2719
00000a55: AND
00000a56: JUMP
00000a57: JUMPDEST
00000a58: SWAP1
00000a59: PUSH4 0xffffffff
00000a5e: PUSH2 0x275b
00000a61: AND
00000a62: JUMP
00000a63: JUMPDEST
00000a64: SWAP6
00000a65: SWAP5
00000a66: POP
00000a67: POP
00000a68: POP
00000a69: POP
00000a6a: POP
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: PUSH2 0x0a7c
00000a70: PUSH2 0x0a77
00000a73: PUSH2 0x27b5
00000a76: JUMP
00000a77: JUMPDEST
00000a78: PUSH2 0x0cc9
00000a7b: JUMP
00000a7c: JUMPDEST
00000a7d: PUSH2 0x0ab7
00000a80: JUMPI
00000a81: PUSH1 0x40
00000a83: MLOAD
00000a84: PUSH3 0x461bcd
00000a88: PUSH1 0xe5
00000a8a: SHL
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: PUSH1 0x04
00000a8f: ADD
00000a90: DUP1
00000a91: DUP1
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: DUP3
00000a96: DUP2
00000a97: SUB
00000a98: DUP3
00000a99: MSTORE
00000a9a: PUSH1 0x30
00000a9c: DUP2
00000a9d: MSTORE
00000a9e: PUSH1 0x20
00000aa0: ADD
00000aa1: DUP1
00000aa2: PUSH2 0x30cb
00000aa5: PUSH1 0x30
00000aa7: SWAP2
00000aa8: CODECOPY
00000aa9: PUSH1 0x40
00000aab: ADD
00000aac: SWAP2
00000aad: POP
00000aae: POP
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: DUP1
00000ab3: SWAP2
00000ab4: SUB
00000ab5: SWAP1
00000ab6: REVERT
00000ab7: JUMPDEST
00000ab8: PUSH1 0x07
00000aba: SLOAD
00000abb: PUSH1 0xff
00000abd: AND
00000abe: PUSH2 0x0b0e
00000ac1: JUMPI
00000ac2: PUSH1 0x40
00000ac4: DUP1
00000ac5: MLOAD
00000ac6: PUSH3 0x461bcd
00000aca: PUSH1 0xe5
00000acc: SHL
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x20
00000ad1: PUSH1 0x04
00000ad3: DUP3
00000ad4: ADD
00000ad5: MSTORE
00000ad6: PUSH1 0x14
00000ad8: PUSH1 0x24
00000ada: DUP3
00000adb: ADD
00000adc: MSTORE
00000add: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000
00000afe: PUSH1 0x44
00000b00: DUP3
00000b01: ADD
00000b02: MSTORE
00000b03: SWAP1
00000b04: MLOAD
00000b05: SWAP1
00000b06: DUP2
00000b07: SWAP1
00000b08: SUB
00000b09: PUSH1 0x64
00000b0b: ADD
00000b0c: SWAP1
00000b0d: REVERT
00000b0e: JUMPDEST
00000b0f: PUSH1 0x07
00000b11: DUP1
00000b12: SLOAD
00000b13: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b34: AND
00000b35: SWAP1
00000b36: SSTORE
00000b37: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000b58: PUSH2 0x0b5f
00000b5b: PUSH2 0x27b5
00000b5e: JUMP
00000b5f: JUMPDEST
00000b60: PUSH1 0x40
00000b62: DUP1
00000b63: MLOAD
00000b64: PUSH1 0x01
00000b66: PUSH1 0x01
00000b68: PUSH1 0xa0
00000b6a: SHL
00000b6b: SUB
00000b6c: SWAP1
00000b6d: SWAP3
00000b6e: AND
00000b6f: DUP3
00000b70: MSTORE
00000b71: MLOAD
00000b72: SWAP1
00000b73: DUP2
00000b74: SWAP1
00000b75: SUB
00000b76: PUSH1 0x20
00000b78: ADD
00000b79: SWAP1
00000b7a: LOG1
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: PUSH1 0x00
00000b7f: DUP3
00000b80: DUP2
00000b81: MSTORE
00000b82: PUSH1 0x0b
00000b84: PUSH1 0x20
00000b86: MSTORE
00000b87: PUSH1 0x40
00000b89: SWAP1
00000b8a: KECCAK256
00000b8b: PUSH1 0x02
00000b8d: ADD
00000b8e: SLOAD
00000b8f: DUP3
00000b90: SWAP1
00000b91: PUSH2 0x0be1
00000b94: JUMPI
00000b95: PUSH1 0x40
00000b97: DUP1
00000b98: MLOAD
00000b99: PUSH3 0x461bcd
00000b9d: PUSH1 0xe5
00000b9f: SHL
00000ba0: DUP2
00000ba1: MSTORE
00000ba2: PUSH1 0x20
00000ba4: PUSH1 0x04
00000ba6: DUP3
00000ba7: ADD
00000ba8: MSTORE
00000ba9: PUSH1 0x14
00000bab: PUSH1 0x24
00000bad: DUP3
00000bae: ADD
00000baf: MSTORE
00000bb0: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00000bd1: PUSH1 0x44
00000bd3: DUP3
00000bd4: ADD
00000bd5: MSTORE
00000bd6: SWAP1
00000bd7: MLOAD
00000bd8: SWAP1
00000bd9: DUP2
00000bda: SWAP1
00000bdb: SUB
00000bdc: PUSH1 0x64
00000bde: ADD
00000bdf: SWAP1
00000be0: REVERT
00000be1: JUMPDEST
00000be2: CALLER
00000be3: DUP4
00000be4: DUP2
00000be5: ISZERO
00000be6: PUSH2 0x0c29
00000be9: JUMPI
00000bea: PUSH2 0x0bf3
00000bed: DUP3
00000bee: DUP3
00000bef: PUSH2 0x09d0
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x00
00000bf6: DUP3
00000bf7: DUP2
00000bf8: MSTORE
00000bf9: PUSH1 0x0b
00000bfb: PUSH1 0x20
00000bfd: SWAP1
00000bfe: DUP2
00000bff: MSTORE
00000c00: PUSH1 0x40
00000c02: DUP1
00000c03: DUP4
00000c04: KECCAK256
00000c05: PUSH1 0x01
00000c07: PUSH1 0x01
00000c09: PUSH1 0xa0
00000c0b: SHL
00000c0c: SUB
00000c0d: DUP8
00000c0e: AND
00000c0f: DUP5
00000c10: MSTORE
00000c11: PUSH1 0x08
00000c13: DUP2
00000c14: ADD
00000c15: DUP4
00000c16: MSTORE
00000c17: DUP2
00000c18: DUP5
00000c19: KECCAK256
00000c1a: SWAP5
00000c1b: SWAP1
00000c1c: SWAP5
00000c1d: SSTORE
00000c1e: PUSH1 0x07
00000c20: SWAP1
00000c21: SWAP4
00000c22: ADD
00000c23: SWAP1
00000c24: MSTORE
00000c25: KECCAK256
00000c26: TIMESTAMP
00000c27: SWAP1
00000c28: SSTORE
00000c29: JUMPDEST
00000c2a: PUSH1 0x00
00000c2c: DUP5
00000c2d: GT
00000c2e: PUSH2 0x0c7e
00000c31: JUMPI
00000c32: PUSH1 0x40
00000c34: DUP1
00000c35: MLOAD
00000c36: PUSH3 0x461bcd
00000c3a: PUSH1 0xe5
00000c3c: SHL
00000c3d: DUP2
00000c3e: MSTORE
00000c3f: PUSH1 0x20
00000c41: PUSH1 0x04
00000c43: DUP3
00000c44: ADD
00000c45: MSTORE
00000c46: PUSH1 0x11
00000c48: PUSH1 0x24
00000c4a: DUP3
00000c4b: ADD
00000c4c: MSTORE
00000c4d: PUSH32 0x63616e6e6f742077697468647261772030000000000000000000000000000000
00000c6e: PUSH1 0x44
00000c70: DUP3
00000c71: ADD
00000c72: MSTORE
00000c73: SWAP1
00000c74: MLOAD
00000c75: SWAP1
00000c76: DUP2
00000c77: SWAP1
00000c78: SUB
00000c79: PUSH1 0x64
00000c7b: ADD
00000c7c: SWAP1
00000c7d: REVERT
00000c7e: JUMPDEST
00000c7f: PUSH2 0x0c88
00000c82: DUP6
00000c83: DUP6
00000c84: PUSH2 0x27b9
00000c87: JUMP
00000c88: JUMPDEST
00000c89: PUSH1 0x40
00000c8b: DUP1
00000c8c: MLOAD
00000c8d: DUP7
00000c8e: DUP2
00000c8f: MSTORE
00000c90: PUSH1 0x20
00000c92: DUP2
00000c93: ADD
00000c94: DUP7
00000c95: SWAP1
00000c96: MSTORE
00000c97: DUP2
00000c98: MLOAD
00000c99: CALLER
00000c9a: SWAP3
00000c9b: PUSH32 0x92ccf450a286a957af52509bc1c9939d1a6a481783e142e41e2499f0bb66ebc6
00000cbc: SWAP3
00000cbd: DUP3
00000cbe: SWAP1
00000cbf: SUB
00000cc0: ADD
00000cc1: SWAP1
00000cc2: LOG2
00000cc3: POP
00000cc4: POP
00000cc5: POP
00000cc6: POP
00000cc7: POP
00000cc8: JUMP
00000cc9: JUMPDEST
00000cca: PUSH1 0x00
00000ccc: PUSH2 0x09a3
00000ccf: PUSH1 0x06
00000cd1: DUP4
00000cd2: PUSH4 0xffffffff
00000cd7: PUSH2 0x290c
00000cda: AND
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x00
00000cdf: PUSH2 0x0ce6
00000ce2: PUSH2 0x1817
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH2 0x0d37
00000cea: JUMPI
00000ceb: PUSH1 0x40
00000ced: DUP1
00000cee: MLOAD
00000cef: PUSH3 0x461bcd
00000cf3: PUSH1 0xe5
00000cf5: SHL
00000cf6: DUP2
00000cf7: MSTORE
00000cf8: PUSH1 0x20
00000cfa: PUSH1 0x04
00000cfc: DUP3
00000cfd: ADD
00000cfe: DUP2
00000cff: SWAP1
00000d00: MSTORE
00000d01: PUSH1 0x24
00000d03: DUP3
00000d04: ADD
00000d05: MSTORE
00000d06: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d27: PUSH1 0x44
00000d29: DUP3
00000d2a: ADD
00000d2b: MSTORE
00000d2c: SWAP1
00000d2d: MLOAD
00000d2e: SWAP1
00000d2f: DUP2
00000d30: SWAP1
00000d31: SUB
00000d32: PUSH1 0x64
00000d34: ADD
00000d35: SWAP1
00000d36: REVERT
00000d37: JUMPDEST
00000d38: PUSH1 0x00
00000d3a: DUP8
00000d3b: DUP2
00000d3c: MSTORE
00000d3d: PUSH1 0x0b
00000d3f: PUSH1 0x20
00000d41: MSTORE
00000d42: PUSH1 0x40
00000d44: SWAP1
00000d45: KECCAK256
00000d46: PUSH1 0x02
00000d48: ADD
00000d49: SLOAD
00000d4a: ISZERO
00000d4b: PUSH2 0x0d9b
00000d4e: JUMPI
00000d4f: PUSH1 0x40
00000d51: DUP1
00000d52: MLOAD
00000d53: PUSH3 0x461bcd
00000d57: PUSH1 0xe5
00000d59: SHL
00000d5a: DUP2
00000d5b: MSTORE
00000d5c: PUSH1 0x20
00000d5e: PUSH1 0x04
00000d60: DUP3
00000d61: ADD
00000d62: MSTORE
00000d63: PUSH1 0x0b
00000d65: PUSH1 0x24
00000d67: DUP3
00000d68: ADD
00000d69: MSTORE
00000d6a: PUSH32 0x706f6f6c20657869737473000000000000000000000000000000000000000000
00000d8b: PUSH1 0x44
00000d8d: DUP3
00000d8e: ADD
00000d8f: MSTORE
00000d90: SWAP1
00000d91: MLOAD
00000d92: SWAP1
00000d93: DUP2
00000d94: SWAP1
00000d95: SUB
00000d96: PUSH1 0x64
00000d98: ADD
00000d99: SWAP1
00000d9a: REVERT
00000d9b: JUMPDEST
00000d9c: PUSH1 0x00
00000d9e: DUP8
00000d9f: DUP2
00000da0: MSTORE
00000da1: PUSH1 0x0b
00000da3: PUSH1 0x20
00000da5: SWAP1
00000da6: DUP2
00000da7: MSTORE
00000da8: PUSH1 0x40
00000daa: SWAP2
00000dab: DUP3
00000dac: SWAP1
00000dad: KECCAK256
00000dae: DUP9
00000daf: DUP2
00000db0: SSTORE
00000db1: PUSH1 0x01
00000db3: DUP2
00000db4: ADD
00000db5: DUP9
00000db6: SWAP1
00000db7: SSTORE
00000db8: PUSH1 0x02
00000dba: DUP2
00000dbb: ADD
00000dbc: DUP8
00000dbd: SWAP1
00000dbe: SSTORE
00000dbf: PUSH1 0x05
00000dc1: DUP2
00000dc2: ADD
00000dc3: DUP7
00000dc4: SWAP1
00000dc5: SSTORE
00000dc6: PUSH1 0x06
00000dc8: DUP2
00000dc9: ADD
00000dca: DUP1
00000dcb: SLOAD
00000dcc: PUSH1 0x01
00000dce: PUSH1 0x01
00000dd0: PUSH1 0xa0
00000dd2: SHL
00000dd3: SUB
00000dd4: DUP8
00000dd5: AND
00000dd6: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000df7: SWAP1
00000df8: SWAP2
00000df9: AND
00000dfa: DUP2
00000dfb: OR
00000dfc: SWAP1
00000dfd: SWAP2
00000dfe: SSTORE
00000dff: DUP4
00000e00: MLOAD
00000e01: DUP12
00000e02: DUP2
00000e03: MSTORE
00000e04: SWAP3
00000e05: DUP4
00000e06: ADD
00000e07: MSTORE
00000e08: DUP2
00000e09: DUP4
00000e0a: ADD
00000e0b: DUP10
00000e0c: SWAP1
00000e0d: MSTORE
00000e0e: PUSH1 0x60
00000e10: DUP3
00000e11: ADD
00000e12: DUP8
00000e13: SWAP1
00000e14: MSTORE
00000e15: PUSH1 0x80
00000e17: DUP3
00000e18: ADD
00000e19: DUP9
00000e1a: SWAP1
00000e1b: MSTORE
00000e1c: SWAP2
00000e1d: MLOAD
00000e1e: PUSH32 0xdcad60f82308d160bd8a3814cf84788a2c98294718485b86d238d14cbf166dab
00000e3f: SWAP2
00000e40: DUP2
00000e41: SWAP1
00000e42: SUB
00000e43: PUSH1 0xa0
00000e45: ADD
00000e46: SWAP1
00000e47: LOG1
00000e48: POP
00000e49: SWAP7
00000e4a: SWAP6
00000e4b: POP
00000e4c: POP
00000e4d: POP
00000e4e: POP
00000e4f: POP
00000e50: POP
00000e51: JUMP
00000e52: JUMPDEST
00000e53: PUSH1 0x07
00000e55: SLOAD
00000e56: PUSH1 0xff
00000e58: AND
00000e59: SWAP1
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH2 0x0e6b
00000e5f: PUSH2 0x0e66
00000e62: PUSH2 0x27b5
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH2 0x2973
00000e6a: JUMP
00000e6b: JUMPDEST
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: PUSH2 0x0e75
00000e71: PUSH2 0x1817
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH2 0x0ec6
00000e79: JUMPI
00000e7a: PUSH1 0x40
00000e7c: DUP1
00000e7d: MLOAD
00000e7e: PUSH3 0x461bcd
00000e82: PUSH1 0xe5
00000e84: SHL
00000e85: DUP2
00000e86: MSTORE
00000e87: PUSH1 0x20
00000e89: PUSH1 0x04
00000e8b: DUP3
00000e8c: ADD
00000e8d: DUP2
00000e8e: SWAP1
00000e8f: MSTORE
00000e90: PUSH1 0x24
00000e92: DUP3
00000e93: ADD
00000e94: MSTORE
00000e95: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000eb6: PUSH1 0x44
00000eb8: DUP3
00000eb9: ADD
00000eba: MSTORE
00000ebb: SWAP1
00000ebc: MLOAD
00000ebd: SWAP1
00000ebe: DUP2
00000ebf: SWAP1
00000ec0: SUB
00000ec1: PUSH1 0x64
00000ec3: ADD
00000ec4: SWAP1
00000ec5: REVERT
00000ec6: JUMPDEST
00000ec7: PUSH1 0x05
00000ec9: SLOAD
00000eca: PUSH1 0x40
00000ecc: MLOAD
00000ecd: PUSH1 0x00
00000ecf: SWAP2
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0x01
00000ed4: PUSH1 0xa0
00000ed6: SHL
00000ed7: SUB
00000ed8: AND
00000ed9: SWAP1
00000eda: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000efb: SWAP1
00000efc: DUP4
00000efd: SWAP1
00000efe: LOG3
00000eff: PUSH1 0x05
00000f01: DUP1
00000f02: SLOAD
00000f03: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000f24: AND
00000f25: SWAP1
00000f26: SSTORE
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH1 0x00
00000f2b: DUP3
00000f2c: DUP2
00000f2d: MSTORE
00000f2e: PUSH1 0x0b
00000f30: PUSH1 0x20
00000f32: MSTORE
00000f33: PUSH1 0x40
00000f35: SWAP1
00000f36: KECCAK256
00000f37: PUSH1 0x02
00000f39: ADD
00000f3a: SLOAD
00000f3b: DUP3
00000f3c: SWAP1
00000f3d: PUSH2 0x0f8d
00000f40: JUMPI
00000f41: PUSH1 0x40
00000f43: DUP1
00000f44: MLOAD
00000f45: PUSH3 0x461bcd
00000f49: PUSH1 0xe5
00000f4b: SHL
00000f4c: DUP2
00000f4d: MSTORE
00000f4e: PUSH1 0x20
00000f50: PUSH1 0x04
00000f52: DUP3
00000f53: ADD
00000f54: MSTORE
00000f55: PUSH1 0x14
00000f57: PUSH1 0x24
00000f59: DUP3
00000f5a: ADD
00000f5b: MSTORE
00000f5c: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00000f7d: PUSH1 0x44
00000f7f: DUP3
00000f80: ADD
00000f81: MSTORE
00000f82: SWAP1
00000f83: MLOAD
00000f84: SWAP1
00000f85: DUP2
00000f86: SWAP1
00000f87: SUB
00000f88: PUSH1 0x64
00000f8a: ADD
00000f8b: SWAP1
00000f8c: REVERT
00000f8d: JUMPDEST
00000f8e: CALLER
00000f8f: DUP4
00000f90: DUP2
00000f91: ISZERO
00000f92: PUSH2 0x0fd5
00000f95: JUMPI
00000f96: PUSH2 0x0f9f
00000f99: DUP3
00000f9a: DUP3
00000f9b: PUSH2 0x09d0
00000f9e: JUMP
00000f9f: JUMPDEST
00000fa0: PUSH1 0x00
00000fa2: DUP3
00000fa3: DUP2
00000fa4: MSTORE
00000fa5: PUSH1 0x0b
00000fa7: PUSH1 0x20
00000fa9: SWAP1
00000faa: DUP2
00000fab: MSTORE
00000fac: PUSH1 0x40
00000fae: DUP1
00000faf: DUP4
00000fb0: KECCAK256
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: SHL
00000fb8: SUB
00000fb9: DUP8
00000fba: AND
00000fbb: DUP5
00000fbc: MSTORE
00000fbd: PUSH1 0x08
00000fbf: DUP2
00000fc0: ADD
00000fc1: DUP4
00000fc2: MSTORE
00000fc3: DUP2
00000fc4: DUP5
00000fc5: KECCAK256
00000fc6: SWAP5
00000fc7: SWAP1
00000fc8: SWAP5
00000fc9: SSTORE
00000fca: PUSH1 0x07
00000fcc: SWAP1
00000fcd: SWAP4
00000fce: ADD
00000fcf: SWAP1
00000fd0: MSTORE
00000fd1: KECCAK256
00000fd2: TIMESTAMP
00000fd3: SWAP1
00000fd4: SSTORE
00000fd5: JUMPDEST
00000fd6: PUSH1 0x07
00000fd8: SLOAD
00000fd9: PUSH1 0xff
00000fdb: AND
00000fdc: ISZERO
00000fdd: PUSH2 0x102d
00000fe0: JUMPI
00000fe1: PUSH1 0x40
00000fe3: DUP1
00000fe4: MLOAD
00000fe5: PUSH3 0x461bcd
00000fe9: PUSH1 0xe5
00000feb: SHL
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: PUSH1 0x04
00000ff2: DUP3
00000ff3: ADD
00000ff4: MSTORE
00000ff5: PUSH1 0x10
00000ff7: PUSH1 0x24
00000ff9: DUP3
00000ffa: ADD
00000ffb: MSTORE
00000ffc: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
0000101d: PUSH1 0x44
0000101f: DUP3
00001020: ADD
00001021: MSTORE
00001022: SWAP1
00001023: MLOAD
00001024: SWAP1
00001025: DUP2
00001026: SWAP1
00001027: SUB
00001028: PUSH1 0x64
0000102a: ADD
0000102b: SWAP1
0000102c: REVERT
0000102d: JUMPDEST
0000102e: PUSH2 0x1035
00001031: PUSH2 0x3063
00001034: JUMP
00001035: JUMPDEST
00001036: POP
00001037: PUSH1 0x00
00001039: DUP6
0000103a: DUP2
0000103b: MSTORE
0000103c: PUSH1 0x0b
0000103e: PUSH1 0x20
00001040: SWAP1
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x40
00001045: SWAP2
00001046: DUP3
00001047: SWAP1
00001048: KECCAK256
00001049: DUP3
0000104a: MLOAD
0000104b: PUSH1 0xe0
0000104d: DUP2
0000104e: ADD
0000104f: DUP5
00001050: MSTORE
00001051: DUP2
00001052: SLOAD
00001053: DUP1
00001054: DUP3
00001055: MSTORE
00001056: PUSH1 0x01
00001058: DUP4
00001059: ADD
0000105a: SLOAD
0000105b: SWAP4
0000105c: DUP3
0000105d: ADD
0000105e: SWAP4
0000105f: SWAP1
00001060: SWAP4
00001061: MSTORE
00001062: PUSH1 0x02
00001064: DUP3
00001065: ADD
00001066: SLOAD
00001067: SWAP4
00001068: DUP2
00001069: ADD
0000106a: SWAP4
0000106b: SWAP1
0000106c: SWAP4
0000106d: MSTORE
0000106e: PUSH1 0x03
00001070: DUP2
00001071: ADD
00001072: SLOAD
00001073: PUSH1 0x60
00001075: DUP5
00001076: ADD
00001077: MSTORE
00001078: PUSH1 0x04
0000107a: DUP2
0000107b: ADD
0000107c: SLOAD
0000107d: PUSH1 0x80
0000107f: DUP5
00001080: ADD
00001081: MSTORE
00001082: PUSH1 0x05
00001084: DUP2
00001085: ADD
00001086: SLOAD
00001087: PUSH1 0xa0
00001089: DUP5
0000108a: ADD
0000108b: MSTORE
0000108c: PUSH1 0x06
0000108e: ADD
0000108f: SLOAD
00001090: PUSH1 0x01
00001092: PUSH1 0x01
00001094: PUSH1 0xa0
00001096: SHL
00001097: SUB
00001098: AND
00001099: PUSH1 0xc0
0000109b: DUP4
0000109c: ADD
0000109d: MSTORE
0000109e: TIMESTAMP
0000109f: LT
000010a0: ISZERO
000010a1: PUSH2 0x10f1
000010a4: JUMPI
000010a5: PUSH1 0x40
000010a7: DUP1
000010a8: MLOAD
000010a9: PUSH3 0x461bcd
000010ad: PUSH1 0xe5
000010af: SHL
000010b0: DUP2
000010b1: MSTORE
000010b2: PUSH1 0x20
000010b4: PUSH1 0x04
000010b6: DUP3
000010b7: ADD
000010b8: MSTORE
000010b9: PUSH1 0x0d
000010bb: PUSH1 0x24
000010bd: DUP3
000010be: ADD
000010bf: MSTORE
000010c0: PUSH32 0x706f6f6c206e6f74206f70656e00000000000000000000000000000000000000
000010e1: PUSH1 0x44
000010e3: DUP3
000010e4: ADD
000010e5: MSTORE
000010e6: SWAP1
000010e7: MLOAD
000010e8: SWAP1
000010e9: DUP2
000010ea: SWAP1
000010eb: SUB
000010ec: PUSH1 0x64
000010ee: ADD
000010ef: SWAP1
000010f0: REVERT
000010f1: JUMPDEST
000010f2: DUP1
000010f3: PUSH1 0x20
000010f5: ADD
000010f6: MLOAD
000010f7: PUSH2 0x1110
000010fa: PUSH2 0x1103
000010fd: CALLER
000010fe: DUP10
000010ff: PUSH2 0x097f
00001102: JUMP
00001103: JUMPDEST
00001104: DUP8
00001105: SWAP1
00001106: PUSH4 0xffffffff
0000110b: PUSH2 0x275b
0000110e: AND
0000110f: JUMP
00001110: JUMPDEST
00001111: GT
00001112: ISZERO
00001113: PUSH2 0x1163
00001116: JUMPI
00001117: PUSH1 0x40
00001119: DUP1
0000111a: MLOAD
0000111b: PUSH3 0x461bcd
0000111f: PUSH1 0xe5
00001121: SHL
00001122: DUP2
00001123: MSTORE
00001124: PUSH1 0x20
00001126: PUSH1 0x04
00001128: DUP3
00001129: ADD
0000112a: MSTORE
0000112b: PUSH1 0x11
0000112d: PUSH1 0x24
0000112f: DUP3
00001130: ADD
00001131: MSTORE
00001132: PUSH32 0x7374616b652065786365656473206d6178000000000000000000000000000000
00001153: PUSH1 0x44
00001155: DUP3
00001156: ADD
00001157: MSTORE
00001158: SWAP1
00001159: MLOAD
0000115a: SWAP1
0000115b: DUP2
0000115c: SWAP1
0000115d: SUB
0000115e: PUSH1 0x64
00001160: ADD
00001161: SWAP1
00001162: REVERT
00001163: JUMPDEST
00001164: PUSH2 0x116d
00001167: DUP7
00001168: DUP7
00001169: PUSH2 0x29bb
0000116c: JUMP
0000116d: JUMPDEST
0000116e: PUSH1 0x40
00001170: DUP1
00001171: MLOAD
00001172: DUP8
00001173: DUP2
00001174: MSTORE
00001175: PUSH1 0x20
00001177: DUP2
00001178: ADD
00001179: DUP8
0000117a: SWAP1
0000117b: MSTORE
0000117c: DUP2
0000117d: MLOAD
0000117e: CALLER
0000117f: SWAP3
00001180: PUSH32 0x1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee90
000011a1: SWAP3
000011a2: DUP3
000011a3: SWAP1
000011a4: SUB
000011a5: ADD
000011a6: SWAP1
000011a7: LOG2
000011a8: POP
000011a9: POP
000011aa: POP
000011ab: POP
000011ac: POP
000011ad: POP
000011ae: JUMP
000011af: JUMPDEST
000011b0: PUSH1 0x00
000011b2: DUP3
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x0b
000011b7: PUSH1 0x20
000011b9: MSTORE
000011ba: PUSH1 0x40
000011bc: SWAP1
000011bd: KECCAK256
000011be: PUSH1 0x02
000011c0: ADD
000011c1: SLOAD
000011c2: DUP3
000011c3: SWAP1
000011c4: PUSH2 0x1214
000011c7: JUMPI
000011c8: PUSH1 0x40
000011ca: DUP1
000011cb: MLOAD
000011cc: PUSH3 0x461bcd
000011d0: PUSH1 0xe5
000011d2: SHL
000011d3: DUP2
000011d4: MSTORE
000011d5: PUSH1 0x20
000011d7: PUSH1 0x04
000011d9: DUP3
000011da: ADD
000011db: MSTORE
000011dc: PUSH1 0x14
000011de: PUSH1 0x24
000011e0: DUP3
000011e1: ADD
000011e2: MSTORE
000011e3: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00001204: PUSH1 0x44
00001206: DUP3
00001207: ADD
00001208: MSTORE
00001209: SWAP1
0000120a: MLOAD
0000120b: SWAP1
0000120c: DUP2
0000120d: SWAP1
0000120e: SUB
0000120f: PUSH1 0x64
00001211: ADD
00001212: SWAP1
00001213: REVERT
00001214: JUMPDEST
00001215: PUSH1 0x00
00001217: DUP4
00001218: DUP2
00001219: MSTORE
0000121a: PUSH1 0x0b
0000121c: PUSH1 0x20
0000121e: SWAP1
0000121f: DUP2
00001220: MSTORE
00001221: PUSH1 0x40
00001223: DUP1
00001224: DUP4
00001225: KECCAK256
00001226: DUP6
00001227: DUP5
00001228: MSTORE
00001229: PUSH1 0x09
0000122b: ADD
0000122c: SWAP1
0000122d: SWAP2
0000122e: MSTORE
0000122f: SWAP1
00001230: KECCAK256
00001231: SLOAD
00001232: DUP4
00001233: SWAP1
00001234: DUP4
00001235: SWAP1
00001236: PUSH2 0x1286
00001239: JUMPI
0000123a: PUSH1 0x40
0000123c: DUP1
0000123d: MLOAD
0000123e: PUSH3 0x461bcd
00001242: PUSH1 0xe5
00001244: SHL
00001245: DUP2
00001246: MSTORE
00001247: PUSH1 0x20
00001249: PUSH1 0x04
0000124b: DUP3
0000124c: ADD
0000124d: MSTORE
0000124e: PUSH1 0x14
00001250: PUSH1 0x24
00001252: DUP3
00001253: ADD
00001254: MSTORE
00001255: PUSH32 0x6361726420646f6573206e6f7420657869737473000000000000000000000000
00001276: PUSH1 0x44
00001278: DUP3
00001279: ADD
0000127a: MSTORE
0000127b: SWAP1
0000127c: MLOAD
0000127d: SWAP1
0000127e: DUP2
0000127f: SWAP1
00001280: SUB
00001281: PUSH1 0x64
00001283: ADD
00001284: SWAP1
00001285: REVERT
00001286: JUMPDEST
00001287: CALLER
00001288: DUP6
00001289: DUP2
0000128a: ISZERO
0000128b: PUSH2 0x12ce
0000128e: JUMPI
0000128f: PUSH2 0x1298
00001292: DUP3
00001293: DUP3
00001294: PUSH2 0x09d0
00001297: JUMP
00001298: JUMPDEST
00001299: PUSH1 0x00
0000129b: DUP3
0000129c: DUP2
0000129d: MSTORE
0000129e: PUSH1 0x0b
000012a0: PUSH1 0x20
000012a2: SWAP1
000012a3: DUP2
000012a4: MSTORE
000012a5: PUSH1 0x40
000012a7: DUP1
000012a8: DUP4
000012a9: KECCAK256
000012aa: PUSH1 0x01
000012ac: PUSH1 0x01
000012ae: PUSH1 0xa0
000012b0: SHL
000012b1: SUB
000012b2: DUP8
000012b3: AND
000012b4: DUP5
000012b5: MSTORE
000012b6: PUSH1 0x08
000012b8: DUP2
000012b9: ADD
000012ba: DUP4
000012bb: MSTORE
000012bc: DUP2
000012bd: DUP5
000012be: KECCAK256
000012bf: SWAP5
000012c0: SWAP1
000012c1: SWAP5
000012c2: SSTORE
000012c3: PUSH1 0x07
000012c5: SWAP1
000012c6: SWAP4
000012c7: ADD
000012c8: SWAP1
000012c9: MSTORE
000012ca: KECCAK256
000012cb: TIMESTAMP
000012cc: SWAP1
000012cd: SSTORE
000012ce: JUMPDEST
000012cf: PUSH1 0x00
000012d1: DUP8
000012d2: DUP2
000012d3: MSTORE
000012d4: PUSH1 0x0b
000012d6: PUSH1 0x20
000012d8: MSTORE
000012d9: PUSH1 0x40
000012db: SWAP1
000012dc: KECCAK256
000012dd: PUSH2 0x12e4
000012e0: PUSH2 0x30a9
000012e3: JUMP
000012e4: JUMPDEST
000012e5: POP
000012e6: PUSH1 0x00
000012e8: DUP8
000012e9: DUP2
000012ea: MSTORE
000012eb: PUSH1 0x09
000012ed: DUP3
000012ee: ADD
000012ef: PUSH1 0x20
000012f1: SWAP1
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x40
000012f6: SWAP2
000012f7: DUP3
000012f8: SWAP1
000012f9: KECCAK256
000012fa: DUP3
000012fb: MLOAD
000012fc: PUSH1 0x60
000012fe: DUP2
000012ff: ADD
00001300: DUP5
00001301: MSTORE
00001302: DUP2
00001303: SLOAD
00001304: DUP2
00001305: MSTORE
00001306: PUSH1 0x01
00001308: DUP3
00001309: ADD
0000130a: SLOAD
0000130b: SWAP3
0000130c: DUP2
0000130d: ADD
0000130e: DUP4
0000130f: SWAP1
00001310: MSTORE
00001311: PUSH1 0x02
00001313: SWAP1
00001314: SWAP2
00001315: ADD
00001316: SLOAD
00001317: SWAP3
00001318: DUP2
00001319: ADD
0000131a: SWAP3
0000131b: SWAP1
0000131c: SWAP3
0000131d: MSTORE
0000131e: TIMESTAMP
0000131f: LT
00001320: ISZERO
00001321: PUSH2 0x1371
00001324: JUMPI
00001325: PUSH1 0x40
00001327: DUP1
00001328: MLOAD
00001329: PUSH3 0x461bcd
0000132d: PUSH1 0xe5
0000132f: SHL
00001330: DUP2
00001331: MSTORE
00001332: PUSH1 0x20
00001334: PUSH1 0x04
00001336: DUP3
00001337: ADD
00001338: MSTORE
00001339: PUSH1 0x11
0000133b: PUSH1 0x24
0000133d: DUP3
0000133e: ADD
0000133f: MSTORE
00001340: PUSH32 0x63617264206e6f742072656c6561736564000000000000000000000000000000
00001361: PUSH1 0x44
00001363: DUP3
00001364: ADD
00001365: MSTORE
00001366: SWAP1
00001367: MLOAD
00001368: SWAP1
00001369: DUP2
0000136a: SWAP1
0000136b: SUB
0000136c: PUSH1 0x64
0000136e: ADD
0000136f: SWAP1
00001370: REVERT
00001371: JUMPDEST
00001372: DUP1
00001373: MLOAD
00001374: CALLER
00001375: PUSH1 0x00
00001377: SWAP1
00001378: DUP2
00001379: MSTORE
0000137a: PUSH1 0x08
0000137c: DUP5
0000137d: ADD
0000137e: PUSH1 0x20
00001380: MSTORE
00001381: PUSH1 0x40
00001383: SWAP1
00001384: KECCAK256
00001385: SLOAD
00001386: LT
00001387: ISZERO
00001388: PUSH2 0x13d8
0000138b: JUMPI
0000138c: PUSH1 0x40
0000138e: DUP1
0000138f: MLOAD
00001390: PUSH3 0x461bcd
00001394: PUSH1 0xe5
00001396: SHL
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x20
0000139b: PUSH1 0x04
0000139d: DUP3
0000139e: ADD
0000139f: MSTORE
000013a0: PUSH1 0x15
000013a2: PUSH1 0x24
000013a4: DUP3
000013a5: ADD
000013a6: MSTORE
000013a7: PUSH32 0x6e6f7420656e6f7567682070696e656170706c65730000000000000000000000
000013c8: PUSH1 0x44
000013ca: DUP3
000013cb: ADD
000013cc: MSTORE
000013cd: SWAP1
000013ce: MLOAD
000013cf: SWAP1
000013d0: DUP2
000013d1: SWAP1
000013d2: SUB
000013d3: PUSH1 0x64
000013d5: ADD
000013d6: SWAP1
000013d7: REVERT
000013d8: JUMPDEST
000013d9: DUP1
000013da: PUSH1 0x40
000013dc: ADD
000013dd: MLOAD
000013de: CALLVALUE
000013df: EQ
000013e0: PUSH2 0x1430
000013e3: JUMPI
000013e4: PUSH1 0x40
000013e6: DUP1
000013e7: MLOAD
000013e8: PUSH3 0x461bcd
000013ec: PUSH1 0xe5
000013ee: SHL
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x20
000013f3: PUSH1 0x04
000013f5: DUP3
000013f6: ADD
000013f7: MSTORE
000013f8: PUSH1 0x1d
000013fa: PUSH1 0x24
000013fc: DUP3
000013fd: ADD
000013fe: MSTORE
000013ff: PUSH32 0x737570706f7274206f757220617274697374732c2073656e6420657468000000
00001420: PUSH1 0x44
00001422: DUP3
00001423: ADD
00001424: MSTORE
00001425: SWAP1
00001426: MLOAD
00001427: SWAP1
00001428: DUP2
00001429: SWAP1
0000142a: SUB
0000142b: PUSH1 0x64
0000142d: ADD
0000142e: SWAP1
0000142f: REVERT
00001430: JUMPDEST
00001431: PUSH1 0x40
00001433: DUP2
00001434: ADD
00001435: MLOAD
00001436: ISZERO
00001437: PUSH2 0x1578
0000143a: JUMPI
0000143b: PUSH1 0x00
0000143d: PUSH2 0x1459
00001440: PUSH2 0x03e8
00001443: PUSH2 0x0a4b
00001446: DUP6
00001447: PUSH1 0x05
00001449: ADD
0000144a: SLOAD
0000144b: CALLVALUE
0000144c: PUSH2 0x26c0
0000144f: SWAP1
00001450: SWAP2
00001451: SWAP1
00001452: PUSH4 0xffffffff
00001457: AND
00001458: JUMP
00001459: JUMPDEST
0000145a: SWAP1
0000145b: POP
0000145c: PUSH1 0x00
0000145e: PUSH2 0x146d
00001461: CALLVALUE
00001462: DUP4
00001463: PUSH4 0xffffffff
00001468: PUSH2 0x2677
0000146b: AND
0000146c: JUMP
0000146d: JUMPDEST
0000146e: SWAP1
0000146f: POP
00001470: CALLVALUE
00001471: PUSH2 0x1480
00001474: DUP3
00001475: DUP5
00001476: PUSH4 0xffffffff
0000147b: PUSH2 0x275b
0000147e: AND
0000147f: JUMP
00001480: JUMPDEST
00001481: EQ
00001482: PUSH2 0x14d2
00001485: JUMPI
00001486: PUSH1 0x40
00001488: DUP1
00001489: MLOAD
0000148a: PUSH3 0x461bcd
0000148e: PUSH1 0xe5
00001490: SHL
00001491: DUP2
00001492: MSTORE
00001493: PUSH1 0x20
00001495: PUSH1 0x04
00001497: DUP3
00001498: ADD
00001499: MSTORE
0000149a: PUSH1 0x10
0000149c: PUSH1 0x24
0000149e: DUP3
0000149f: ADD
000014a0: MSTORE
000014a1: PUSH32 0x70726f626c656d20776974682066656500000000000000000000000000000000
000014c2: PUSH1 0x44
000014c4: DUP3
000014c5: ADD
000014c6: MSTORE
000014c7: SWAP1
000014c8: MLOAD
000014c9: SWAP1
000014ca: DUP2
000014cb: SWAP1
000014cc: SUB
000014cd: PUSH1 0x64
000014cf: ADD
000014d0: SWAP1
000014d1: REVERT
000014d2: JUMPDEST
000014d3: PUSH1 0x40
000014d5: DUP4
000014d6: ADD
000014d7: MLOAD
000014d8: PUSH1 0x03
000014da: DUP6
000014db: ADD
000014dc: SLOAD
000014dd: PUSH2 0x14eb
000014e0: SWAP2
000014e1: PUSH4 0xffffffff
000014e6: PUSH2 0x275b
000014e9: AND
000014ea: JUMP
000014eb: JUMPDEST
000014ec: PUSH1 0x03
000014ee: DUP6
000014ef: ADD
000014f0: SSTORE
000014f1: PUSH1 0x08
000014f3: SLOAD
000014f4: PUSH1 0x01
000014f6: PUSH1 0x01
000014f8: PUSH1 0xa0
000014fa: SHL
000014fb: SUB
000014fc: AND
000014fd: PUSH1 0x00
000014ff: SWAP1
00001500: DUP2
00001501: MSTORE
00001502: PUSH1 0x0a
00001504: PUSH1 0x20
00001506: MSTORE
00001507: PUSH1 0x40
00001509: SWAP1
0000150a: KECCAK256
0000150b: SLOAD
0000150c: PUSH2 0x151b
0000150f: SWAP1
00001510: DUP4
00001511: PUSH4 0xffffffff
00001516: PUSH2 0x275b
00001519: AND
0000151a: JUMP
0000151b: JUMPDEST
0000151c: PUSH1 0x08
0000151e: SLOAD
0000151f: PUSH1 0x01
00001521: PUSH1 0x01
00001523: PUSH1 0xa0
00001525: SHL
00001526: SUB
00001527: SWAP1
00001528: DUP2
00001529: AND
0000152a: PUSH1 0x00
0000152c: SWAP1
0000152d: DUP2
0000152e: MSTORE
0000152f: PUSH1 0x0a
00001531: PUSH1 0x20
00001533: MSTORE
00001534: PUSH1 0x40
00001536: DUP1
00001537: DUP3
00001538: KECCAK256
00001539: SWAP4
0000153a: SWAP1
0000153b: SWAP4
0000153c: SSTORE
0000153d: PUSH1 0x06
0000153f: DUP8
00001540: ADD
00001541: SLOAD
00001542: SWAP1
00001543: SWAP2
00001544: AND
00001545: DUP2
00001546: MSTORE
00001547: KECCAK256
00001548: SLOAD
00001549: PUSH2 0x1558
0000154c: SWAP1
0000154d: DUP3
0000154e: PUSH4 0xffffffff
00001553: PUSH2 0x275b
00001556: AND
00001557: JUMP
00001558: JUMPDEST
00001559: PUSH1 0x06
0000155b: DUP6
0000155c: ADD
0000155d: SLOAD
0000155e: PUSH1 0x01
00001560: PUSH1 0x01
00001562: PUSH1 0xa0
00001564: SHL
00001565: SUB
00001566: AND
00001567: PUSH1 0x00
00001569: SWAP1
0000156a: DUP2
0000156b: MSTORE
0000156c: PUSH1 0x0a
0000156e: PUSH1 0x20
00001570: MSTORE
00001571: PUSH1 0x40
00001573: SWAP1
00001574: KECCAK256
00001575: SSTORE
00001576: POP
00001577: POP
00001578: JUMPDEST
00001579: DUP1
0000157a: MLOAD
0000157b: CALLER
0000157c: PUSH1 0x00
0000157e: SWAP1
0000157f: DUP2
00001580: MSTORE
00001581: PUSH1 0x08
00001583: DUP5
00001584: ADD
00001585: PUSH1 0x20
00001587: MSTORE
00001588: PUSH1 0x40
0000158a: SWAP1
0000158b: KECCAK256
0000158c: SLOAD
0000158d: PUSH2 0x159b
00001590: SWAP2
00001591: PUSH4 0xffffffff
00001596: PUSH2 0x2677
00001599: AND
0000159a: JUMP
0000159b: JUMPDEST
0000159c: CALLER
0000159d: PUSH1 0x00
0000159f: SWAP1
000015a0: DUP2
000015a1: MSTORE
000015a2: PUSH1 0x08
000015a4: DUP5
000015a5: ADD
000015a6: PUSH1 0x20
000015a8: MSTORE
000015a9: PUSH1 0x40
000015ab: SWAP1
000015ac: KECCAK256
000015ad: SSTORE
000015ae: DUP1
000015af: MLOAD
000015b0: PUSH1 0x04
000015b2: DUP4
000015b3: ADD
000015b4: SLOAD
000015b5: PUSH2 0x15c3
000015b8: SWAP2
000015b9: PUSH4 0xffffffff
000015be: PUSH2 0x275b
000015c1: AND
000015c2: JUMP
000015c3: JUMPDEST
000015c4: PUSH1 0x04
000015c6: DUP4
000015c7: DUP2
000015c8: ADD
000015c9: SWAP2
000015ca: SWAP1
000015cb: SWAP2
000015cc: SSTORE
000015cd: PUSH1 0x07
000015cf: SLOAD
000015d0: PUSH1 0x40
000015d2: DUP1
000015d3: MLOAD
000015d4: PUSH32 0x731133e900000000000000000000000000000000000000000000000000000000
000015f5: DUP2
000015f6: MSTORE
000015f7: CALLER
000015f8: SWAP4
000015f9: DUP2
000015fa: ADD
000015fb: SWAP4
000015fc: SWAP1
000015fd: SWAP4
000015fe: MSTORE
000015ff: PUSH1 0x24
00001601: DUP4
00001602: ADD
00001603: DUP12
00001604: SWAP1
00001605: MSTORE
00001606: PUSH1 0x01
00001608: PUSH1 0x44
0000160a: DUP5
0000160b: ADD
0000160c: MSTORE
0000160d: PUSH1 0x80
0000160f: PUSH1 0x64
00001611: DUP5
00001612: ADD
00001613: MSTORE
00001614: PUSH1 0x00
00001616: PUSH1 0x84
00001618: DUP5
00001619: ADD
0000161a: DUP2
0000161b: SWAP1
0000161c: MSTORE
0000161d: SWAP1
0000161e: MLOAD
0000161f: PUSH2 0x0100
00001622: SWAP1
00001623: SWAP3
00001624: DIV
00001625: PUSH1 0x01
00001627: PUSH1 0x01
00001629: PUSH1 0xa0
0000162b: SHL
0000162c: SUB
0000162d: AND
0000162e: SWAP3
0000162f: PUSH4 0x731133e9
00001634: SWAP3
00001635: PUSH1 0xc4
00001637: DUP1
00001638: DUP4
00001639: ADD
0000163a: SWAP4
0000163b: SWAP3
0000163c: DUP3
0000163d: SWAP1
0000163e: SUB
0000163f: ADD
00001640: DUP2
00001641: DUP4
00001642: DUP8
00001643: DUP1
00001644: EXTCODESIZE
00001645: ISZERO
00001646: DUP1
00001647: ISZERO
00001648: PUSH2 0x1650
0000164b: JUMPI
0000164c: PUSH1 0x00
0000164e: DUP1
0000164f: REVERT
00001650: JUMPDEST
00001651: POP
00001652: GAS
00001653: CALL
00001654: ISZERO
00001655: DUP1
00001656: ISZERO
00001657: PUSH2 0x1664
0000165a: JUMPI
0000165b: RETURNDATASIZE
0000165c: PUSH1 0x00
0000165e: DUP1
0000165f: RETURNDATACOPY
00001660: RETURNDATASIZE
00001661: PUSH1 0x00
00001663: REVERT
00001664: JUMPDEST
00001665: POP
00001666: POP
00001667: DUP3
00001668: MLOAD
00001669: PUSH1 0x40
0000166b: DUP1
0000166c: MLOAD
0000166d: DUP14
0000166e: DUP2
0000166f: MSTORE
00001670: PUSH1 0x20
00001672: DUP2
00001673: ADD
00001674: SWAP3
00001675: SWAP1
00001676: SWAP3
00001677: MSTORE
00001678: DUP1
00001679: MLOAD
0000167a: CALLER
0000167b: SWAP5
0000167c: POP
0000167d: PUSH32 0xf3a670cd3af7d64b488926880889d08a8585a138ff455227af6737339a1ec262
0000169e: SWAP4
0000169f: POP
000016a0: SWAP2
000016a1: DUP3
000016a2: SWAP1
000016a3: SUB
000016a4: ADD
000016a5: SWAP1
000016a6: LOG2
000016a7: POP
000016a8: POP
000016a9: POP
000016aa: POP
000016ab: POP
000016ac: POP
000016ad: POP
000016ae: POP
000016af: POP
000016b0: JUMP
000016b1: JUMPDEST
000016b2: PUSH2 0x16c4
000016b5: DUP2
000016b6: PUSH2 0x16bf
000016b9: CALLER
000016ba: DUP5
000016bb: PUSH2 0x097f
000016be: JUMP
000016bf: JUMPDEST
000016c0: PUSH2 0x0b7c
000016c3: JUMP
000016c4: JUMPDEST
000016c5: POP
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH2 0x16d2
000016cb: PUSH2 0x0a77
000016ce: PUSH2 0x27b5
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH2 0x170d
000016d6: JUMPI
000016d7: PUSH1 0x40
000016d9: MLOAD
000016da: PUSH3 0x461bcd
000016de: PUSH1 0xe5
000016e0: SHL
000016e1: DUP2
000016e2: MSTORE
000016e3: PUSH1 0x04
000016e5: ADD
000016e6: DUP1
000016e7: DUP1
000016e8: PUSH1 0x20
000016ea: ADD
000016eb: DUP3
000016ec: DUP2
000016ed: SUB
000016ee: DUP3
000016ef: MSTORE
000016f0: PUSH1 0x30
000016f2: DUP2
000016f3: MSTORE
000016f4: PUSH1 0x20
000016f6: ADD
000016f7: DUP1
000016f8: PUSH2 0x30cb
000016fb: PUSH1 0x30
000016fd: SWAP2
000016fe: CODECOPY
000016ff: PUSH1 0x40
00001701: ADD
00001702: SWAP2
00001703: POP
00001704: POP
00001705: PUSH1 0x40
00001707: MLOAD
00001708: DUP1
00001709: SWAP2
0000170a: SUB
0000170b: SWAP1
0000170c: REVERT
0000170d: JUMPDEST
0000170e: PUSH2 0x16c4
00001711: DUP2
00001712: PUSH2 0x2ae4
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH2 0x1721
0000171a: PUSH2 0x0a77
0000171d: PUSH2 0x27b5
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH2 0x175c
00001725: JUMPI
00001726: PUSH1 0x40
00001728: MLOAD
00001729: PUSH3 0x461bcd
0000172d: PUSH1 0xe5
0000172f: SHL
00001730: DUP2
00001731: MSTORE
00001732: PUSH1 0x04
00001734: ADD
00001735: DUP1
00001736: DUP1
00001737: PUSH1 0x20
00001739: ADD
0000173a: DUP3
0000173b: DUP2
0000173c: SUB
0000173d: DUP3
0000173e: MSTORE
0000173f: PUSH1 0x30
00001741: DUP2
00001742: MSTORE
00001743: PUSH1 0x20
00001745: ADD
00001746: DUP1
00001747: PUSH2 0x30cb
0000174a: PUSH1 0x30
0000174c: SWAP2
0000174d: CODECOPY
0000174e: PUSH1 0x40
00001750: ADD
00001751: SWAP2
00001752: POP
00001753: POP
00001754: PUSH1 0x40
00001756: MLOAD
00001757: DUP1
00001758: SWAP2
00001759: SUB
0000175a: SWAP1
0000175b: REVERT
0000175c: JUMPDEST
0000175d: PUSH1 0x07
0000175f: SLOAD
00001760: PUSH1 0xff
00001762: AND
00001763: ISZERO
00001764: PUSH2 0x17b4
00001767: JUMPI
00001768: PUSH1 0x40
0000176a: DUP1
0000176b: MLOAD
0000176c: PUSH3 0x461bcd
00001770: PUSH1 0xe5
00001772: SHL
00001773: DUP2
00001774: MSTORE
00001775: PUSH1 0x20
00001777: PUSH1 0x04
00001779: DUP3
0000177a: ADD
0000177b: MSTORE
0000177c: PUSH1 0x10
0000177e: PUSH1 0x24
00001780: DUP3
00001781: ADD
00001782: MSTORE
00001783: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
000017a4: PUSH1 0x44
000017a6: DUP3
000017a7: ADD
000017a8: MSTORE
000017a9: SWAP1
000017aa: MLOAD
000017ab: SWAP1
000017ac: DUP2
000017ad: SWAP1
000017ae: SUB
000017af: PUSH1 0x64
000017b1: ADD
000017b2: SWAP1
000017b3: REVERT
000017b4: JUMPDEST
000017b5: PUSH1 0x07
000017b7: DUP1
000017b8: SLOAD
000017b9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
000017da: AND
000017db: PUSH1 0x01
000017dd: OR
000017de: SWAP1
000017df: SSTORE
000017e0: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001801: PUSH2 0x0b5f
00001804: PUSH2 0x27b5
00001807: JUMP
00001808: JUMPDEST
00001809: PUSH1 0x05
0000180b: SLOAD
0000180c: PUSH1 0x01
0000180e: PUSH1 0x01
00001810: PUSH1 0xa0
00001812: SHL
00001813: SUB
00001814: AND
00001815: SWAP1
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x05
0000181a: SLOAD
0000181b: PUSH1 0x00
0000181d: SWAP1
0000181e: PUSH1 0x01
00001820: PUSH1 0x01
00001822: PUSH1 0xa0
00001824: SHL
00001825: SUB
00001826: AND
00001827: PUSH2 0x182e
0000182a: PUSH2 0x27b5
0000182d: JUMP
0000182e: JUMPDEST
0000182f: PUSH1 0x01
00001831: PUSH1 0x01
00001833: PUSH1 0xa0
00001835: SHL
00001836: SUB
00001837: AND
00001838: EQ
00001839: SWAP1
0000183a: POP
0000183b: SWAP1
0000183c: JUMP
0000183d: JUMPDEST
0000183e: PUSH1 0x00
00001840: DUP4
00001841: DUP2
00001842: MSTORE
00001843: PUSH1 0x0b
00001845: PUSH1 0x20
00001847: MSTORE
00001848: PUSH1 0x40
0000184a: SWAP1
0000184b: KECCAK256
0000184c: PUSH1 0x02
0000184e: ADD
0000184f: SLOAD
00001850: DUP4
00001851: SWAP1
00001852: PUSH2 0x18a2
00001855: JUMPI
00001856: PUSH1 0x40
00001858: DUP1
00001859: MLOAD
0000185a: PUSH3 0x461bcd
0000185e: PUSH1 0xe5
00001860: SHL
00001861: DUP2
00001862: MSTORE
00001863: PUSH1 0x20
00001865: PUSH1 0x04
00001867: DUP3
00001868: ADD
00001869: MSTORE
0000186a: PUSH1 0x14
0000186c: PUSH1 0x24
0000186e: DUP3
0000186f: ADD
00001870: MSTORE
00001871: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00001892: PUSH1 0x44
00001894: DUP3
00001895: ADD
00001896: MSTORE
00001897: SWAP1
00001898: MLOAD
00001899: SWAP1
0000189a: DUP2
0000189b: SWAP1
0000189c: SUB
0000189d: PUSH1 0x64
0000189f: ADD
000018a0: SWAP1
000018a1: REVERT
000018a2: JUMPDEST
000018a3: PUSH1 0x00
000018a5: DUP4
000018a6: DUP2
000018a7: MSTORE
000018a8: PUSH1 0x0b
000018aa: PUSH1 0x20
000018ac: MSTORE
000018ad: PUSH1 0x40
000018af: SWAP1
000018b0: KECCAK256
000018b1: PUSH1 0x02
000018b3: ADD
000018b4: SLOAD
000018b5: DUP4
000018b6: SWAP1
000018b7: PUSH2 0x1907
000018ba: JUMPI
000018bb: PUSH1 0x40
000018bd: DUP1
000018be: MLOAD
000018bf: PUSH3 0x461bcd
000018c3: PUSH1 0xe5
000018c5: SHL
000018c6: DUP2
000018c7: MSTORE
000018c8: PUSH1 0x20
000018ca: PUSH1 0x04
000018cc: DUP3
000018cd: ADD
000018ce: MSTORE
000018cf: PUSH1 0x14
000018d1: PUSH1 0x24
000018d3: DUP3
000018d4: ADD
000018d5: MSTORE
000018d6: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
000018f7: PUSH1 0x44
000018f9: DUP3
000018fa: ADD
000018fb: MSTORE
000018fc: SWAP1
000018fd: MLOAD
000018fe: SWAP1
000018ff: DUP2
00001900: SWAP1
00001901: SUB
00001902: PUSH1 0x64
00001904: ADD
00001905: SWAP1
00001906: REVERT
00001907: JUMPDEST
00001908: CALLER
00001909: DUP6
0000190a: DUP2
0000190b: ISZERO
0000190c: PUSH2 0x194f
0000190f: JUMPI
00001910: PUSH2 0x1919
00001913: DUP3
00001914: DUP3
00001915: PUSH2 0x09d0
00001918: JUMP
00001919: JUMPDEST
0000191a: PUSH1 0x00
0000191c: DUP3
0000191d: DUP2
0000191e: MSTORE
0000191f: PUSH1 0x0b
00001921: PUSH1 0x20
00001923: SWAP1
00001924: DUP2
00001925: MSTORE
00001926: PUSH1 0x40
00001928: DUP1
00001929: DUP4
0000192a: KECCAK256
0000192b: PUSH1 0x01
0000192d: PUSH1 0x01
0000192f: PUSH1 0xa0
00001931: SHL
00001932: SUB
00001933: DUP8
00001934: AND
00001935: DUP5
00001936: MSTORE
00001937: PUSH1 0x08
00001939: DUP2
0000193a: ADD
0000193b: DUP4
0000193c: MSTORE
0000193d: DUP2
0000193e: DUP5
0000193f: KECCAK256
00001940: SWAP5
00001941: SWAP1
00001942: SWAP5
00001943: SSTORE
00001944: PUSH1 0x07
00001946: SWAP1
00001947: SWAP4
00001948: ADD
00001949: SWAP1
0000194a: MSTORE
0000194b: KECCAK256
0000194c: TIMESTAMP
0000194d: SWAP1
0000194e: SSTORE
0000194f: JUMPDEST
00001950: CALLER
00001951: DUP7
00001952: DUP2
00001953: ISZERO
00001954: PUSH2 0x1997
00001957: JUMPI
00001958: PUSH2 0x1961
0000195b: DUP3
0000195c: DUP3
0000195d: PUSH2 0x09d0
00001960: JUMP
00001961: JUMPDEST
00001962: PUSH1 0x00
00001964: DUP3
00001965: DUP2
00001966: MSTORE
00001967: PUSH1 0x0b
00001969: PUSH1 0x20
0000196b: SWAP1
0000196c: DUP2
0000196d: MSTORE
0000196e: PUSH1 0x40
00001970: DUP1
00001971: DUP4
00001972: KECCAK256
00001973: PUSH1 0x01
00001975: PUSH1 0x01
00001977: PUSH1 0xa0
00001979: SHL
0000197a: SUB
0000197b: DUP8
0000197c: AND
0000197d: DUP5
0000197e: MSTORE
0000197f: PUSH1 0x08
00001981: DUP2
00001982: ADD
00001983: DUP4
00001984: MSTORE
00001985: DUP2
00001986: DUP5
00001987: KECCAK256
00001988: SWAP5
00001989: SWAP1
0000198a: SWAP5
0000198b: SSTORE
0000198c: PUSH1 0x07
0000198e: SWAP1
0000198f: SWAP4
00001990: ADD
00001991: SWAP1
00001992: MSTORE
00001993: KECCAK256
00001994: TIMESTAMP
00001995: SWAP1
00001996: SSTORE
00001997: JUMPDEST
00001998: PUSH1 0x07
0000199a: SLOAD
0000199b: PUSH1 0xff
0000199d: AND
0000199e: ISZERO
0000199f: PUSH2 0x19ef
000019a2: JUMPI
000019a3: PUSH1 0x40
000019a5: DUP1
000019a6: MLOAD
000019a7: PUSH3 0x461bcd
000019ab: PUSH1 0xe5
000019ad: SHL
000019ae: DUP2
000019af: MSTORE
000019b0: PUSH1 0x20
000019b2: PUSH1 0x04
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: PUSH1 0x10
000019b9: PUSH1 0x24
000019bb: DUP3
000019bc: ADD
000019bd: MSTORE
000019be: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000
000019df: PUSH1 0x44
000019e1: DUP3
000019e2: ADD
000019e3: MSTORE
000019e4: SWAP1
000019e5: MLOAD
000019e6: SWAP1
000019e7: DUP2
000019e8: SWAP1
000019e9: SUB
000019ea: PUSH1 0x64
000019ec: ADD
000019ed: SWAP1
000019ee: REVERT
000019ef: JUMPDEST
000019f0: PUSH2 0x19f7
000019f3: PUSH2 0x3063
000019f6: JUMP
000019f7: JUMPDEST
000019f8: POP
000019f9: PUSH1 0x00
000019fb: DUP9
000019fc: DUP2
000019fd: MSTORE
000019fe: PUSH1 0x0b
00001a00: PUSH1 0x20
00001a02: SWAP1
00001a03: DUP2
00001a04: MSTORE
00001a05: PUSH1 0x40
00001a07: SWAP2
00001a08: DUP3
00001a09: SWAP1
00001a0a: KECCAK256
00001a0b: DUP3
00001a0c: MLOAD
00001a0d: PUSH1 0xe0
00001a0f: DUP2
00001a10: ADD
00001a11: DUP5
00001a12: MSTORE
00001a13: DUP2
00001a14: SLOAD
00001a15: DUP1
00001a16: DUP3
00001a17: MSTORE
00001a18: PUSH1 0x01
00001a1a: DUP4
00001a1b: ADD
00001a1c: SLOAD
00001a1d: SWAP4
00001a1e: DUP3
00001a1f: ADD
00001a20: SWAP4
00001a21: SWAP1
00001a22: SWAP4
00001a23: MSTORE
00001a24: PUSH1 0x02
00001a26: DUP3
00001a27: ADD
00001a28: SLOAD
00001a29: SWAP4
00001a2a: DUP2
00001a2b: ADD
00001a2c: SWAP4
00001a2d: SWAP1
00001a2e: SWAP4
00001a2f: MSTORE
00001a30: PUSH1 0x03
00001a32: DUP2
00001a33: ADD
00001a34: SLOAD
00001a35: PUSH1 0x60
00001a37: DUP5
00001a38: ADD
00001a39: MSTORE
00001a3a: PUSH1 0x04
00001a3c: DUP2
00001a3d: ADD
00001a3e: SLOAD
00001a3f: PUSH1 0x80
00001a41: DUP5
00001a42: ADD
00001a43: MSTORE
00001a44: PUSH1 0x05
00001a46: DUP2
00001a47: ADD
00001a48: SLOAD
00001a49: PUSH1 0xa0
00001a4b: DUP5
00001a4c: ADD
00001a4d: MSTORE
00001a4e: PUSH1 0x06
00001a50: ADD
00001a51: SLOAD
00001a52: PUSH1 0x01
00001a54: PUSH1 0x01
00001a56: PUSH1 0xa0
00001a58: SHL
00001a59: SUB
00001a5a: AND
00001a5b: PUSH1 0xc0
00001a5d: DUP4
00001a5e: ADD
00001a5f: MSTORE
00001a60: TIMESTAMP
00001a61: LT
00001a62: ISZERO
00001a63: PUSH2 0x1ab3
00001a66: JUMPI
00001a67: PUSH1 0x40
00001a69: DUP1
00001a6a: MLOAD
00001a6b: PUSH3 0x461bcd
00001a6f: PUSH1 0xe5
00001a71: SHL
00001a72: DUP2
00001a73: MSTORE
00001a74: PUSH1 0x20
00001a76: PUSH1 0x04
00001a78: DUP3
00001a79: ADD
00001a7a: MSTORE
00001a7b: PUSH1 0x0d
00001a7d: PUSH1 0x24
00001a7f: DUP3
00001a80: ADD
00001a81: MSTORE
00001a82: PUSH32 0x706f6f6c206e6f74206f70656e00000000000000000000000000000000000000
00001aa3: PUSH1 0x44
00001aa5: DUP3
00001aa6: ADD
00001aa7: MSTORE
00001aa8: SWAP1
00001aa9: MLOAD
00001aaa: SWAP1
00001aab: DUP2
00001aac: SWAP1
00001aad: SUB
00001aae: PUSH1 0x64
00001ab0: ADD
00001ab1: SWAP1
00001ab2: REVERT
00001ab3: JUMPDEST
00001ab4: DUP1
00001ab5: PUSH1 0x20
00001ab7: ADD
00001ab8: MLOAD
00001ab9: PUSH2 0x1ad2
00001abc: PUSH2 0x1ac5
00001abf: CALLER
00001ac0: DUP13
00001ac1: PUSH2 0x097f
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: DUP11
00001ac7: SWAP1
00001ac8: PUSH4 0xffffffff
00001acd: PUSH2 0x275b
00001ad0: AND
00001ad1: JUMP
00001ad2: JUMPDEST
00001ad3: GT
00001ad4: ISZERO
00001ad5: PUSH2 0x1b25
00001ad8: JUMPI
00001ad9: PUSH1 0x40
00001adb: DUP1
00001adc: MLOAD
00001add: PUSH3 0x461bcd
00001ae1: PUSH1 0xe5
00001ae3: SHL
00001ae4: DUP2
00001ae5: MSTORE
00001ae6: PUSH1 0x20
00001ae8: PUSH1 0x04
00001aea: DUP3
00001aeb: ADD
00001aec: MSTORE
00001aed: PUSH1 0x11
00001aef: PUSH1 0x24
00001af1: DUP3
00001af2: ADD
00001af3: MSTORE
00001af4: PUSH32 0x7374616b652065786365656473206d6178000000000000000000000000000000
00001b15: PUSH1 0x44
00001b17: DUP3
00001b18: ADD
00001b19: MSTORE
00001b1a: SWAP1
00001b1b: MLOAD
00001b1c: SWAP1
00001b1d: DUP2
00001b1e: SWAP1
00001b1f: SUB
00001b20: PUSH1 0x64
00001b22: ADD
00001b23: SWAP1
00001b24: REVERT
00001b25: JUMPDEST
00001b26: PUSH2 0x1b30
00001b29: DUP11
00001b2a: DUP11
00001b2b: DUP11
00001b2c: PUSH2 0x2b2c
00001b2f: JUMP
00001b30: JUMPDEST
00001b31: PUSH1 0x40
00001b33: DUP1
00001b34: MLOAD
00001b35: DUP12
00001b36: DUP2
00001b37: MSTORE
00001b38: PUSH1 0x20
00001b3a: DUP2
00001b3b: ADD
00001b3c: DUP12
00001b3d: SWAP1
00001b3e: MSTORE
00001b3f: DUP1
00001b40: DUP3
00001b41: ADD
00001b42: DUP11
00001b43: SWAP1
00001b44: MSTORE
00001b45: SWAP1
00001b46: MLOAD
00001b47: CALLER
00001b48: SWAP2
00001b49: PUSH32 0x9ee37244ba9f5d4982dfc3452c1cea0d297249501a9ef8040a9e646f336717b4
00001b6a: SWAP2
00001b6b: SWAP1
00001b6c: DUP2
00001b6d: SWAP1
00001b6e: SUB
00001b6f: PUSH1 0x60
00001b71: ADD
00001b72: SWAP1
00001b73: LOG2
00001b74: POP
00001b75: POP
00001b76: POP
00001b77: POP
00001b78: POP
00001b79: POP
00001b7a: POP
00001b7b: POP
00001b7c: POP
00001b7d: POP
00001b7e: JUMP
00001b7f: JUMPDEST
00001b80: PUSH2 0x1b87
00001b83: PUSH2 0x1817
00001b86: JUMP
00001b87: JUMPDEST
00001b88: PUSH2 0x1bd8
00001b8b: JUMPI
00001b8c: PUSH1 0x40
00001b8e: DUP1
00001b8f: MLOAD
00001b90: PUSH3 0x461bcd
00001b94: PUSH1 0xe5
00001b96: SHL
00001b97: DUP2
00001b98: MSTORE
00001b99: PUSH1 0x20
00001b9b: PUSH1 0x04
00001b9d: DUP3
00001b9e: ADD
00001b9f: DUP2
00001ba0: SWAP1
00001ba1: MSTORE
00001ba2: PUSH1 0x24
00001ba4: DUP3
00001ba5: ADD
00001ba6: MSTORE
00001ba7: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001bc8: PUSH1 0x44
00001bca: DUP3
00001bcb: ADD
00001bcc: MSTORE
00001bcd: SWAP1
00001bce: MLOAD
00001bcf: SWAP1
00001bd0: DUP2
00001bd1: SWAP1
00001bd2: SUB
00001bd3: PUSH1 0x64
00001bd5: ADD
00001bd6: SWAP1
00001bd7: REVERT
00001bd8: JUMPDEST
00001bd9: PUSH1 0x08
00001bdb: SLOAD
00001bdc: PUSH1 0x01
00001bde: PUSH1 0x01
00001be0: PUSH1 0xa0
00001be2: SHL
00001be3: SUB
00001be4: SWAP1
00001be5: DUP2
00001be6: AND
00001be7: PUSH1 0x00
00001be9: SWAP1
00001bea: DUP2
00001beb: MSTORE
00001bec: PUSH1 0x0a
00001bee: PUSH1 0x20
00001bf0: MSTORE
00001bf1: PUSH1 0x40
00001bf3: DUP1
00001bf4: DUP3
00001bf5: KECCAK256
00001bf6: DUP1
00001bf7: SLOAD
00001bf8: SWAP1
00001bf9: DUP4
00001bfa: SWAP1
00001bfb: SSTORE
00001bfc: SWAP3
00001bfd: DUP5
00001bfe: AND
00001bff: DUP3
00001c00: MSTORE
00001c01: SWAP1
00001c02: KECCAK256
00001c03: SLOAD
00001c04: PUSH2 0x1c13
00001c07: SWAP1
00001c08: DUP3
00001c09: PUSH4 0xffffffff
00001c0e: PUSH2 0x275b
00001c11: AND
00001c12: JUMP
00001c13: JUMPDEST
00001c14: PUSH1 0x01
00001c16: PUSH1 0x01
00001c18: PUSH1 0xa0
00001c1a: SHL
00001c1b: SUB
00001c1c: SWAP1
00001c1d: SWAP3
00001c1e: AND
00001c1f: PUSH1 0x00
00001c21: DUP2
00001c22: DUP2
00001c23: MSTORE
00001c24: PUSH1 0x0a
00001c26: PUSH1 0x20
00001c28: MSTORE
00001c29: PUSH1 0x40
00001c2b: SWAP1
00001c2c: KECCAK256
00001c2d: SWAP3
00001c2e: SWAP1
00001c2f: SWAP3
00001c30: SSTORE
00001c31: POP
00001c32: PUSH1 0x08
00001c34: DUP1
00001c35: SLOAD
00001c36: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001c57: AND
00001c58: SWAP1
00001c59: SWAP2
00001c5a: OR
00001c5b: SWAP1
00001c5c: SSTORE
00001c5d: JUMP
00001c5e: JUMPDEST
00001c5f: PUSH1 0x0b
00001c61: PUSH1 0x20
00001c63: MSTORE
00001c64: PUSH1 0x00
00001c66: SWAP1
00001c67: DUP2
00001c68: MSTORE
00001c69: PUSH1 0x40
00001c6b: SWAP1
00001c6c: KECCAK256
00001c6d: DUP1
00001c6e: SLOAD
00001c6f: PUSH1 0x01
00001c71: DUP3
00001c72: ADD
00001c73: SLOAD
00001c74: PUSH1 0x02
00001c76: DUP4
00001c77: ADD
00001c78: SLOAD
00001c79: PUSH1 0x03
00001c7b: DUP5
00001c7c: ADD
00001c7d: SLOAD
00001c7e: PUSH1 0x04
00001c80: DUP6
00001c81: ADD
00001c82: SLOAD
00001c83: PUSH1 0x05
00001c85: DUP7
00001c86: ADD
00001c87: SLOAD
00001c88: PUSH1 0x06
00001c8a: SWAP1
00001c8b: SWAP7
00001c8c: ADD
00001c8d: SLOAD
00001c8e: SWAP5
00001c8f: SWAP6
00001c90: SWAP4
00001c91: SWAP5
00001c92: SWAP3
00001c93: SWAP4
00001c94: SWAP2
00001c95: SWAP3
00001c96: SWAP1
00001c97: SWAP2
00001c98: SWAP1
00001c99: PUSH1 0x01
00001c9b: PUSH1 0x01
00001c9d: PUSH1 0xa0
00001c9f: SHL
00001ca0: SUB
00001ca1: AND
00001ca2: DUP8
00001ca3: JUMP
00001ca4: JUMPDEST
00001ca5: PUSH1 0x00
00001ca7: SWAP2
00001ca8: DUP3
00001ca9: MSTORE
00001caa: PUSH1 0x0b
00001cac: PUSH1 0x20
00001cae: SWAP1
00001caf: DUP2
00001cb0: MSTORE
00001cb1: PUSH1 0x40
00001cb3: DUP1
00001cb4: DUP5
00001cb5: KECCAK256
00001cb6: SWAP3
00001cb7: DUP5
00001cb8: MSTORE
00001cb9: PUSH1 0x09
00001cbb: SWAP1
00001cbc: SWAP3
00001cbd: ADD
00001cbe: SWAP1
00001cbf: MSTORE
00001cc0: SWAP1
00001cc1: KECCAK256
00001cc2: SLOAD
00001cc3: SWAP1
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x00
00001cc8: PUSH2 0x1ccf
00001ccb: PUSH2 0x1817
00001cce: JUMP
00001ccf: JUMPDEST
00001cd0: PUSH2 0x1d20
00001cd3: JUMPI
00001cd4: PUSH1 0x40
00001cd6: DUP1
00001cd7: MLOAD
00001cd8: PUSH3 0x461bcd
00001cdc: PUSH1 0xe5
00001cde: SHL
00001cdf: DUP2
00001ce0: MSTORE
00001ce1: PUSH1 0x20
00001ce3: PUSH1 0x04
00001ce5: DUP3
00001ce6: ADD
00001ce7: DUP2
00001ce8: SWAP1
00001ce9: MSTORE
00001cea: PUSH1 0x24
00001cec: DUP3
00001ced: ADD
00001cee: MSTORE
00001cef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001d10: PUSH1 0x44
00001d12: DUP3
00001d13: ADD
00001d14: MSTORE
00001d15: SWAP1
00001d16: MLOAD
00001d17: SWAP1
00001d18: DUP2
00001d19: SWAP1
00001d1a: SUB
00001d1b: PUSH1 0x64
00001d1d: ADD
00001d1e: SWAP1
00001d1f: REVERT
00001d20: JUMPDEST
00001d21: PUSH1 0x00
00001d23: DUP7
00001d24: DUP2
00001d25: MSTORE
00001d26: PUSH1 0x0b
00001d28: PUSH1 0x20
00001d2a: MSTORE
00001d2b: PUSH1 0x40
00001d2d: SWAP1
00001d2e: KECCAK256
00001d2f: PUSH1 0x02
00001d31: ADD
00001d32: SLOAD
00001d33: DUP7
00001d34: SWAP1
00001d35: PUSH2 0x1d85
00001d38: JUMPI
00001d39: PUSH1 0x40
00001d3b: DUP1
00001d3c: MLOAD
00001d3d: PUSH3 0x461bcd
00001d41: PUSH1 0xe5
00001d43: SHL
00001d44: DUP2
00001d45: MSTORE
00001d46: PUSH1 0x20
00001d48: PUSH1 0x04
00001d4a: DUP3
00001d4b: ADD
00001d4c: MSTORE
00001d4d: PUSH1 0x14
00001d4f: PUSH1 0x24
00001d51: DUP3
00001d52: ADD
00001d53: MSTORE
00001d54: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00001d75: PUSH1 0x44
00001d77: DUP3
00001d78: ADD
00001d79: MSTORE
00001d7a: SWAP1
00001d7b: MLOAD
00001d7c: SWAP1
00001d7d: DUP2
00001d7e: SWAP1
00001d7f: SUB
00001d80: PUSH1 0x64
00001d82: ADD
00001d83: SWAP1
00001d84: REVERT
00001d85: JUMPDEST
00001d86: PUSH1 0x07
00001d88: SLOAD
00001d89: PUSH1 0x40
00001d8b: DUP1
00001d8c: MLOAD
00001d8d: PUSH32 0xb09ddf7b00000000000000000000000000000000000000000000000000000000
00001dae: DUP2
00001daf: MSTORE
00001db0: PUSH1 0x04
00001db2: DUP2
00001db3: ADD
00001db4: DUP10
00001db5: SWAP1
00001db6: MSTORE
00001db7: PUSH1 0x00
00001db9: PUSH1 0x24
00001dbb: DUP3
00001dbc: ADD
00001dbd: DUP2
00001dbe: SWAP1
00001dbf: MSTORE
00001dc0: PUSH1 0x80
00001dc2: PUSH1 0x44
00001dc4: DUP4
00001dc5: ADD
00001dc6: MSTORE
00001dc7: PUSH1 0x84
00001dc9: DUP3
00001dca: ADD
00001dcb: DUP2
00001dcc: SWAP1
00001dcd: MSTORE
00001dce: PUSH1 0xc0
00001dd0: PUSH1 0x64
00001dd2: DUP4
00001dd3: ADD
00001dd4: MSTORE
00001dd5: PUSH1 0xc4
00001dd7: DUP3
00001dd8: ADD
00001dd9: DUP2
00001dda: SWAP1
00001ddb: MSTORE
00001ddc: SWAP2
00001ddd: MLOAD
00001dde: SWAP2
00001ddf: SWAP3
00001de0: PUSH2 0x0100
00001de3: SWAP1
00001de4: DIV
00001de5: PUSH1 0x01
00001de7: PUSH1 0x01
00001de9: PUSH1 0xa0
00001deb: SHL
00001dec: SUB
00001ded: AND
00001dee: SWAP2
00001def: PUSH4 0xb09ddf7b
00001df4: SWAP2
00001df5: PUSH2 0x0104
00001df8: DUP1
00001df9: DUP3
00001dfa: ADD
00001dfb: SWAP3
00001dfc: PUSH1 0x20
00001dfe: SWAP3
00001dff: SWAP1
00001e00: SWAP2
00001e01: SWAP1
00001e02: DUP3
00001e03: SWAP1
00001e04: SUB
00001e05: ADD
00001e06: DUP2
00001e07: DUP8
00001e08: DUP8
00001e09: DUP1
00001e0a: EXTCODESIZE
00001e0b: ISZERO
00001e0c: DUP1
00001e0d: ISZERO
00001e0e: PUSH2 0x1e16
00001e11: JUMPI
00001e12: PUSH1 0x00
00001e14: DUP1
00001e15: REVERT
00001e16: JUMPDEST
00001e17: POP
00001e18: GAS
00001e19: CALL
00001e1a: ISZERO
00001e1b: DUP1
00001e1c: ISZERO
00001e1d: PUSH2 0x1e2a
00001e20: JUMPI
00001e21: RETURNDATASIZE
00001e22: PUSH1 0x00
00001e24: DUP1
00001e25: RETURNDATACOPY
00001e26: RETURNDATASIZE
00001e27: PUSH1 0x00
00001e29: REVERT
00001e2a: JUMPDEST
00001e2b: POP
00001e2c: POP
00001e2d: POP
00001e2e: POP
00001e2f: PUSH1 0x40
00001e31: MLOAD
00001e32: RETURNDATASIZE
00001e33: PUSH1 0x20
00001e35: DUP2
00001e36: LT
00001e37: ISZERO
00001e38: PUSH2 0x1e40
00001e3b: JUMPI
00001e3c: PUSH1 0x00
00001e3e: DUP1
00001e3f: REVERT
00001e40: JUMPDEST
00001e41: POP
00001e42: MLOAD
00001e43: SWAP1
00001e44: POP
00001e45: DUP1
00001e46: PUSH2 0x1e96
00001e49: JUMPI
00001e4a: PUSH1 0x40
00001e4c: DUP1
00001e4d: MLOAD
00001e4e: PUSH3 0x461bcd
00001e52: PUSH1 0xe5
00001e54: SHL
00001e55: DUP2
00001e56: MSTORE
00001e57: PUSH1 0x20
00001e59: PUSH1 0x04
00001e5b: DUP3
00001e5c: ADD
00001e5d: MSTORE
00001e5e: PUSH1 0x1e
00001e60: PUSH1 0x24
00001e62: DUP3
00001e63: ADD
00001e64: MSTORE
00001e65: PUSH32 0x455243313135352063726561746520646964206e6f7420737563636565640000
00001e86: PUSH1 0x44
00001e88: DUP3
00001e89: ADD
00001e8a: MSTORE
00001e8b: SWAP1
00001e8c: MLOAD
00001e8d: SWAP1
00001e8e: DUP2
00001e8f: SWAP1
00001e90: SUB
00001e91: PUSH1 0x64
00001e93: ADD
00001e94: SWAP1
00001e95: REVERT
00001e96: JUMPDEST
00001e97: PUSH1 0x00
00001e99: DUP9
00001e9a: DUP2
00001e9b: MSTORE
00001e9c: PUSH1 0x0b
00001e9e: PUSH1 0x20
00001ea0: SWAP1
00001ea1: DUP2
00001ea2: MSTORE
00001ea3: PUSH1 0x40
00001ea5: DUP1
00001ea6: DUP4
00001ea7: KECCAK256
00001ea8: DUP5
00001ea9: DUP5
00001eaa: MSTORE
00001eab: PUSH1 0x09
00001ead: ADD
00001eae: DUP3
00001eaf: MSTORE
00001eb0: SWAP2
00001eb1: DUP3
00001eb2: SWAP1
00001eb3: KECCAK256
00001eb4: DUP9
00001eb5: DUP2
00001eb6: SSTORE
00001eb7: PUSH1 0x01
00001eb9: DUP2
00001eba: ADD
00001ebb: DUP8
00001ebc: SWAP1
00001ebd: SSTORE
00001ebe: PUSH1 0x02
00001ec0: DUP2
00001ec1: ADD
00001ec2: DUP9
00001ec3: SWAP1
00001ec4: SSTORE
00001ec5: DUP3
00001ec6: MLOAD
00001ec7: DUP12
00001ec8: DUP2
00001ec9: MSTORE
00001eca: SWAP2
00001ecb: DUP3
00001ecc: ADD
00001ecd: DUP5
00001ece: SWAP1
00001ecf: MSTORE
00001ed0: DUP2
00001ed1: DUP4
00001ed2: ADD
00001ed3: DUP10
00001ed4: SWAP1
00001ed5: MSTORE
00001ed6: PUSH1 0x60
00001ed8: DUP3
00001ed9: ADD
00001eda: DUP9
00001edb: SWAP1
00001edc: MSTORE
00001edd: PUSH1 0x80
00001edf: DUP3
00001ee0: ADD
00001ee1: DUP8
00001ee2: SWAP1
00001ee3: MSTORE
00001ee4: SWAP2
00001ee5: MLOAD
00001ee6: PUSH32 0x91197497bafa5606f6e9834b08c79bc7774902e4207deec0a888032bd796a54d
00001f07: SWAP2
00001f08: DUP2
00001f09: SWAP1
00001f0a: SUB
00001f0b: PUSH1 0xa0
00001f0d: ADD
00001f0e: SWAP1
00001f0f: LOG1
00001f10: POP
00001f11: SWAP8
00001f12: SWAP7
00001f13: POP
00001f14: POP
00001f15: POP
00001f16: POP
00001f17: POP
00001f18: POP
00001f19: POP
00001f1a: JUMP
00001f1b: JUMPDEST
00001f1c: PUSH1 0x01
00001f1e: PUSH1 0x01
00001f20: PUSH1 0xa0
00001f22: SHL
00001f23: SUB
00001f24: AND
00001f25: PUSH1 0x00
00001f27: SWAP1
00001f28: DUP2
00001f29: MSTORE
00001f2a: PUSH1 0x03
00001f2c: PUSH1 0x20
00001f2e: MSTORE
00001f2f: PUSH1 0x40
00001f31: SWAP1
00001f32: KECCAK256
00001f33: SLOAD
00001f34: SWAP1
00001f35: JUMP
00001f36: JUMPDEST
00001f37: PUSH2 0x1f3e
00001f3a: PUSH2 0x1817
00001f3d: JUMP
00001f3e: JUMPDEST
00001f3f: PUSH2 0x1f8f
00001f42: JUMPI
00001f43: PUSH1 0x40
00001f45: DUP1
00001f46: MLOAD
00001f47: PUSH3 0x461bcd
00001f4b: PUSH1 0xe5
00001f4d: SHL
00001f4e: DUP2
00001f4f: MSTORE
00001f50: PUSH1 0x20
00001f52: PUSH1 0x04
00001f54: DUP3
00001f55: ADD
00001f56: DUP2
00001f57: SWAP1
00001f58: MSTORE
00001f59: PUSH1 0x24
00001f5b: DUP3
00001f5c: ADD
00001f5d: MSTORE
00001f5e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001f7f: PUSH1 0x44
00001f81: DUP3
00001f82: ADD
00001f83: MSTORE
00001f84: SWAP1
00001f85: MLOAD
00001f86: SWAP1
00001f87: DUP2
00001f88: SWAP1
00001f89: SUB
00001f8a: PUSH1 0x64
00001f8c: ADD
00001f8d: SWAP1
00001f8e: REVERT
00001f8f: JUMPDEST
00001f90: PUSH1 0x09
00001f92: DUP1
00001f93: SLOAD
00001f94: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001fb5: AND
00001fb6: PUSH1 0x01
00001fb8: PUSH1 0x01
00001fba: PUSH1 0xa0
00001fbc: SHL
00001fbd: SUB
00001fbe: SWAP3
00001fbf: SWAP1
00001fc0: SWAP3
00001fc1: AND
00001fc2: SWAP2
00001fc3: SWAP1
00001fc4: SWAP2
00001fc5: OR
00001fc6: SWAP1
00001fc7: SSTORE
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: PUSH2 0x1fd1
00001fcd: PUSH2 0x1817
00001fd0: JUMP
00001fd1: JUMPDEST
00001fd2: PUSH2 0x2022
00001fd5: JUMPI
00001fd6: PUSH1 0x40
00001fd8: DUP1
00001fd9: MLOAD
00001fda: PUSH3 0x461bcd
00001fde: PUSH1 0xe5
00001fe0: SHL
00001fe1: DUP2
00001fe2: MSTORE
00001fe3: PUSH1 0x20
00001fe5: PUSH1 0x04
00001fe7: DUP3
00001fe8: ADD
00001fe9: DUP2
00001fea: SWAP1
00001feb: MSTORE
00001fec: PUSH1 0x24
00001fee: DUP3
00001fef: ADD
00001ff0: MSTORE
00001ff1: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002012: PUSH1 0x44
00002014: DUP3
00002015: ADD
00002016: MSTORE
00002017: SWAP1
00002018: MLOAD
00002019: SWAP1
0000201a: DUP2
0000201b: SWAP1
0000201c: SUB
0000201d: PUSH1 0x64
0000201f: ADD
00002020: SWAP1
00002021: REVERT
00002022: JUMPDEST
00002023: PUSH1 0x01
00002025: PUSH1 0x01
00002027: PUSH1 0xa0
00002029: SHL
0000202a: SUB
0000202b: DUP2
0000202c: AND
0000202d: PUSH1 0x00
0000202f: SWAP1
00002030: DUP2
00002031: MSTORE
00002032: PUSH1 0x0a
00002034: PUSH1 0x20
00002036: MSTORE
00002037: PUSH1 0x40
00002039: DUP2
0000203a: KECCAK256
0000203b: DUP1
0000203c: SLOAD
0000203d: SWAP1
0000203e: DUP3
0000203f: SWAP1
00002040: SSTORE
00002041: SWAP1
00002042: PUSH2 0x2051
00002045: SWAP1
00002046: DUP3
00002047: PUSH4 0xffffffff
0000204c: PUSH2 0x275b
0000204f: AND
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH1 0x01
00002054: PUSH1 0x01
00002056: PUSH1 0xa0
00002058: SHL
00002059: SUB
0000205a: DUP4
0000205b: AND
0000205c: PUSH1 0x00
0000205e: DUP2
0000205f: DUP2
00002060: MSTORE
00002061: PUSH1 0x0a
00002063: PUSH1 0x20
00002065: SWAP1
00002066: DUP2
00002067: MSTORE
00002068: PUSH1 0x40
0000206a: DUP1
0000206b: DUP4
0000206c: KECCAK256
0000206d: SWAP5
0000206e: SWAP1
0000206f: SWAP5
00002070: SSTORE
00002071: DUP7
00002072: DUP3
00002073: MSTORE
00002074: PUSH1 0x0b
00002076: DUP2
00002077: MSTORE
00002078: SWAP1
00002079: DUP4
0000207a: SWAP1
0000207b: KECCAK256
0000207c: PUSH1 0x06
0000207e: ADD
0000207f: DUP1
00002080: SLOAD
00002081: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000020a2: AND
000020a3: DUP4
000020a4: OR
000020a5: SWAP1
000020a6: SSTORE
000020a7: DUP3
000020a8: MLOAD
000020a9: DUP7
000020aa: DUP2
000020ab: MSTORE
000020ac: SWAP1
000020ad: DUP2
000020ae: ADD
000020af: SWAP2
000020b0: SWAP1
000020b1: SWAP2
000020b2: MSTORE
000020b3: DUP2
000020b4: MLOAD
000020b5: PUSH32 0xcf297069128b7751fcf709170966c4c654bb1d79aea8cb8f23890cda40dac923
000020d6: SWAP3
000020d7: SWAP2
000020d8: DUP2
000020d9: SWAP1
000020da: SUB
000020db: SWAP1
000020dc: SWAP2
000020dd: ADD
000020de: SWAP1
000020df: LOG1
000020e0: POP
000020e1: POP
000020e2: POP
000020e3: JUMP
000020e4: JUMPDEST
000020e5: PUSH2 0x20ec
000020e8: PUSH2 0x1817
000020eb: JUMP
000020ec: JUMPDEST
000020ed: PUSH2 0x213d
000020f0: JUMPI
000020f1: PUSH1 0x40
000020f3: DUP1
000020f4: MLOAD
000020f5: PUSH3 0x461bcd
000020f9: PUSH1 0xe5
000020fb: SHL
000020fc: DUP2
000020fd: MSTORE
000020fe: PUSH1 0x20
00002100: PUSH1 0x04
00002102: DUP3
00002103: ADD
00002104: DUP2
00002105: SWAP1
00002106: MSTORE
00002107: PUSH1 0x24
00002109: DUP3
0000210a: ADD
0000210b: MSTORE
0000210c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000212d: PUSH1 0x44
0000212f: DUP3
00002130: ADD
00002131: MSTORE
00002132: SWAP1
00002133: MLOAD
00002134: SWAP1
00002135: DUP2
00002136: SWAP1
00002137: SUB
00002138: PUSH1 0x64
0000213a: ADD
0000213b: SWAP1
0000213c: REVERT
0000213d: JUMPDEST
0000213e: PUSH1 0x00
00002140: DUP3
00002141: DUP2
00002142: MSTORE
00002143: PUSH1 0x0b
00002145: PUSH1 0x20
00002147: MSTORE
00002148: PUSH1 0x40
0000214a: SWAP1
0000214b: KECCAK256
0000214c: PUSH1 0x02
0000214e: ADD
0000214f: SLOAD
00002150: DUP3
00002151: SWAP1
00002152: PUSH2 0x21a2
00002155: JUMPI
00002156: PUSH1 0x40
00002158: DUP1
00002159: MLOAD
0000215a: PUSH3 0x461bcd
0000215e: PUSH1 0xe5
00002160: SHL
00002161: DUP2
00002162: MSTORE
00002163: PUSH1 0x20
00002165: PUSH1 0x04
00002167: DUP3
00002168: ADD
00002169: MSTORE
0000216a: PUSH1 0x14
0000216c: PUSH1 0x24
0000216e: DUP3
0000216f: ADD
00002170: MSTORE
00002171: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00002192: PUSH1 0x44
00002194: DUP3
00002195: ADD
00002196: MSTORE
00002197: SWAP1
00002198: MLOAD
00002199: SWAP1
0000219a: DUP2
0000219b: SWAP1
0000219c: SUB
0000219d: PUSH1 0x64
0000219f: ADD
000021a0: SWAP1
000021a1: REVERT
000021a2: JUMPDEST
000021a3: POP
000021a4: PUSH1 0x00
000021a6: SWAP2
000021a7: DUP3
000021a8: MSTORE
000021a9: PUSH1 0x0b
000021ab: PUSH1 0x20
000021ad: MSTORE
000021ae: PUSH1 0x40
000021b0: SWAP1
000021b1: SWAP2
000021b2: KECCAK256
000021b3: PUSH1 0x05
000021b5: ADD
000021b6: SSTORE
000021b7: JUMP
000021b8: JUMPDEST
000021b9: PUSH1 0x07
000021bb: SLOAD
000021bc: PUSH2 0x0100
000021bf: SWAP1
000021c0: DIV
000021c1: PUSH1 0x01
000021c3: PUSH1 0x01
000021c5: PUSH1 0xa0
000021c7: SHL
000021c8: SUB
000021c9: AND
000021ca: DUP2
000021cb: JUMP
000021cc: JUMPDEST
000021cd: PUSH1 0x00
000021cf: SWAP2
000021d0: DUP3
000021d1: MSTORE
000021d2: PUSH1 0x0b
000021d4: PUSH1 0x20
000021d6: SWAP1
000021d7: DUP2
000021d8: MSTORE
000021d9: PUSH1 0x40
000021db: DUP1
000021dc: DUP5
000021dd: KECCAK256
000021de: SWAP3
000021df: DUP5
000021e0: MSTORE
000021e1: PUSH1 0x09
000021e3: SWAP1
000021e4: SWAP3
000021e5: ADD
000021e6: SWAP1
000021e7: MSTORE
000021e8: SWAP1
000021e9: KECCAK256
000021ea: PUSH1 0x02
000021ec: ADD
000021ed: SLOAD
000021ee: SWAP1
000021ef: JUMP
000021f0: JUMPDEST
000021f1: CALLER
000021f2: PUSH1 0x00
000021f4: SWAP1
000021f5: DUP2
000021f6: MSTORE
000021f7: PUSH1 0x0a
000021f9: PUSH1 0x20
000021fb: MSTORE
000021fc: PUSH1 0x40
000021fe: SWAP1
000021ff: KECCAK256
00002200: SLOAD
00002201: DUP1
00002202: PUSH2 0x2252
00002205: JUMPI
00002206: PUSH1 0x40
00002208: DUP1
00002209: MLOAD
0000220a: PUSH3 0x461bcd
0000220e: PUSH1 0xe5
00002210: SHL
00002211: DUP2
00002212: MSTORE
00002213: PUSH1 0x20
00002215: PUSH1 0x04
00002217: DUP3
00002218: ADD
00002219: MSTORE
0000221a: PUSH1 0x13
0000221c: PUSH1 0x24
0000221e: DUP3
0000221f: ADD
00002220: MSTORE
00002221: PUSH32 0x6e6f7468696e6720746f20776974686472617700000000000000000000000000
00002242: PUSH1 0x44
00002244: DUP3
00002245: ADD
00002246: MSTORE
00002247: SWAP1
00002248: MLOAD
00002249: SWAP1
0000224a: DUP2
0000224b: SWAP1
0000224c: SUB
0000224d: PUSH1 0x64
0000224f: ADD
00002250: SWAP1
00002251: REVERT
00002252: JUMPDEST
00002253: CALLER
00002254: PUSH1 0x00
00002256: DUP2
00002257: DUP2
00002258: MSTORE
00002259: PUSH1 0x0a
0000225b: PUSH1 0x20
0000225d: MSTORE
0000225e: PUSH1 0x40
00002260: DUP1
00002261: DUP3
00002262: KECCAK256
00002263: DUP3
00002264: SWAP1
00002265: SSTORE
00002266: MLOAD
00002267: DUP4
00002268: ISZERO
00002269: PUSH2 0x08fc
0000226c: MUL
0000226d: SWAP2
0000226e: DUP5
0000226f: SWAP2
00002270: SWAP1
00002271: DUP2
00002272: DUP2
00002273: DUP2
00002274: DUP6
00002275: DUP9
00002276: DUP9
00002277: CALL
00002278: SWAP4
00002279: POP
0000227a: POP
0000227b: POP
0000227c: POP
0000227d: ISZERO
0000227e: DUP1
0000227f: ISZERO
00002280: PUSH2 0x228d
00002283: JUMPI
00002284: RETURNDATASIZE
00002285: PUSH1 0x00
00002287: DUP1
00002288: RETURNDATACOPY
00002289: RETURNDATASIZE
0000228a: PUSH1 0x00
0000228c: REVERT
0000228d: JUMPDEST
0000228e: POP
0000228f: POP
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH2 0x2299
00002295: PUSH2 0x1817
00002298: JUMP
00002299: JUMPDEST
0000229a: PUSH2 0x22ea
0000229d: JUMPI
0000229e: PUSH1 0x40
000022a0: DUP1
000022a1: MLOAD
000022a2: PUSH3 0x461bcd
000022a6: PUSH1 0xe5
000022a8: SHL
000022a9: DUP2
000022aa: MSTORE
000022ab: PUSH1 0x20
000022ad: PUSH1 0x04
000022af: DUP3
000022b0: ADD
000022b1: DUP2
000022b2: SWAP1
000022b3: MSTORE
000022b4: PUSH1 0x24
000022b6: DUP3
000022b7: ADD
000022b8: MSTORE
000022b9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000022da: PUSH1 0x44
000022dc: DUP3
000022dd: ADD
000022de: MSTORE
000022df: SWAP1
000022e0: MLOAD
000022e1: SWAP1
000022e2: DUP2
000022e3: SWAP1
000022e4: SUB
000022e5: PUSH1 0x64
000022e7: ADD
000022e8: SWAP1
000022e9: REVERT
000022ea: JUMPDEST
000022eb: PUSH1 0x00
000022ed: DUP6
000022ee: DUP2
000022ef: MSTORE
000022f0: PUSH1 0x0b
000022f2: PUSH1 0x20
000022f4: MSTORE
000022f5: PUSH1 0x40
000022f7: SWAP1
000022f8: KECCAK256
000022f9: PUSH1 0x02
000022fb: ADD
000022fc: SLOAD
000022fd: DUP6
000022fe: SWAP1
000022ff: PUSH2 0x234f
00002302: JUMPI
00002303: PUSH1 0x40
00002305: DUP1
00002306: MLOAD
00002307: PUSH3 0x461bcd
0000230b: PUSH1 0xe5
0000230d: SHL
0000230e: DUP2
0000230f: MSTORE
00002310: PUSH1 0x20
00002312: PUSH1 0x04
00002314: DUP3
00002315: ADD
00002316: MSTORE
00002317: PUSH1 0x14
00002319: PUSH1 0x24
0000231b: DUP3
0000231c: ADD
0000231d: MSTORE
0000231e: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
0000233f: PUSH1 0x44
00002341: DUP3
00002342: ADD
00002343: MSTORE
00002344: SWAP1
00002345: MLOAD
00002346: SWAP1
00002347: DUP2
00002348: SWAP1
00002349: SUB
0000234a: PUSH1 0x64
0000234c: ADD
0000234d: SWAP1
0000234e: REVERT
0000234f: JUMPDEST
00002350: PUSH1 0x00
00002352: DUP7
00002353: DUP2
00002354: MSTORE
00002355: PUSH1 0x0b
00002357: PUSH1 0x20
00002359: SWAP1
0000235a: DUP2
0000235b: MSTORE
0000235c: PUSH1 0x40
0000235e: DUP1
0000235f: DUP4
00002360: KECCAK256
00002361: DUP9
00002362: DUP5
00002363: MSTORE
00002364: PUSH1 0x09
00002366: ADD
00002367: DUP3
00002368: MSTORE
00002369: SWAP2
0000236a: DUP3
0000236b: SWAP1
0000236c: KECCAK256
0000236d: DUP7
0000236e: DUP2
0000236f: SSTORE
00002370: PUSH1 0x01
00002372: DUP2
00002373: ADD
00002374: DUP6
00002375: SWAP1
00002376: SSTORE
00002377: PUSH1 0x02
00002379: DUP2
0000237a: ADD
0000237b: DUP7
0000237c: SWAP1
0000237d: SSTORE
0000237e: DUP3
0000237f: MLOAD
00002380: DUP10
00002381: DUP2
00002382: MSTORE
00002383: SWAP2
00002384: DUP3
00002385: ADD
00002386: DUP9
00002387: SWAP1
00002388: MSTORE
00002389: DUP2
0000238a: DUP4
0000238b: ADD
0000238c: DUP8
0000238d: SWAP1
0000238e: MSTORE
0000238f: PUSH1 0x60
00002391: DUP3
00002392: ADD
00002393: DUP7
00002394: SWAP1
00002395: MSTORE
00002396: PUSH1 0x80
00002398: DUP3
00002399: ADD
0000239a: DUP6
0000239b: SWAP1
0000239c: MSTORE
0000239d: SWAP2
0000239e: MLOAD
0000239f: PUSH32 0x91197497bafa5606f6e9834b08c79bc7774902e4207deec0a888032bd796a54d
000023c0: SWAP2
000023c1: DUP2
000023c2: SWAP1
000023c3: SUB
000023c4: PUSH1 0xa0
000023c6: ADD
000023c7: SWAP1
000023c8: LOG1
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: POP
000023d0: JUMP
000023d1: JUMPDEST
000023d2: PUSH1 0x00
000023d4: DUP2
000023d5: DUP2
000023d6: MSTORE
000023d7: PUSH1 0x0b
000023d9: PUSH1 0x20
000023db: MSTORE
000023dc: PUSH1 0x40
000023de: DUP2
000023df: KECCAK256
000023e0: PUSH1 0x02
000023e2: ADD
000023e3: SLOAD
000023e4: DUP3
000023e5: SWAP1
000023e6: PUSH2 0x2436
000023e9: JUMPI
000023ea: PUSH1 0x40
000023ec: DUP1
000023ed: MLOAD
000023ee: PUSH3 0x461bcd
000023f2: PUSH1 0xe5
000023f4: SHL
000023f5: DUP2
000023f6: MSTORE
000023f7: PUSH1 0x20
000023f9: PUSH1 0x04
000023fb: DUP3
000023fc: ADD
000023fd: MSTORE
000023fe: PUSH1 0x14
00002400: PUSH1 0x24
00002402: DUP3
00002403: ADD
00002404: MSTORE
00002405: PUSH32 0x706f6f6c20646f6573206e6f7420657869737473000000000000000000000000
00002426: PUSH1 0x44
00002428: DUP3
00002429: ADD
0000242a: MSTORE
0000242b: SWAP1
0000242c: MLOAD
0000242d: SWAP1
0000242e: DUP2
0000242f: SWAP1
00002430: SUB
00002431: PUSH1 0x64
00002433: ADD
00002434: SWAP1
00002435: REVERT
00002436: JUMPDEST
00002437: DUP4
00002438: DUP4
00002439: PUSH1 0x01
0000243b: PUSH1 0x01
0000243d: PUSH1 0xa0
0000243f: SHL
00002440: SUB
00002441: DUP3
00002442: AND
00002443: ISZERO
00002444: PUSH2 0x2487
00002447: JUMPI
00002448: PUSH2 0x2451
0000244b: DUP3
0000244c: DUP3
0000244d: PUSH2 0x09d0
00002450: JUMP
00002451: JUMPDEST
00002452: PUSH1 0x00
00002454: DUP3
00002455: DUP2
00002456: MSTORE
00002457: PUSH1 0x0b
00002459: PUSH1 0x20
0000245b: SWAP1
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH1 0x40
00002460: DUP1
00002461: DUP4
00002462: KECCAK256
00002463: PUSH1 0x01
00002465: PUSH1 0x01
00002467: PUSH1 0xa0
00002469: SHL
0000246a: SUB
0000246b: DUP8
0000246c: AND
0000246d: DUP5
0000246e: MSTORE
0000246f: PUSH1 0x08
00002471: DUP2
00002472: ADD
00002473: DUP4
00002474: MSTORE
00002475: DUP2
00002476: DUP5
00002477: KECCAK256
00002478: SWAP5
00002479: SWAP1
0000247a: SWAP5
0000247b: SSTORE
0000247c: PUSH1 0x07
0000247e: SWAP1
0000247f: SWAP4
00002480: ADD
00002481: SWAP1
00002482: MSTORE
00002483: KECCAK256
00002484: TIMESTAMP
00002485: SWAP1
00002486: SSTORE
00002487: JUMPDEST
00002488: PUSH1 0x09
0000248a: SLOAD
0000248b: PUSH1 0x01
0000248d: PUSH1 0x01
0000248f: PUSH1 0xa0
00002491: SHL
00002492: SUB
00002493: AND
00002494: CALLER
00002495: EQ
00002496: PUSH2 0x24e6
00002499: JUMPI
0000249a: PUSH1 0x40
0000249c: DUP1
0000249d: MLOAD
0000249e: PUSH3 0x461bcd
000024a2: PUSH1 0xe5
000024a4: SHL
000024a5: DUP2
000024a6: MSTORE
000024a7: PUSH1 0x20
000024a9: PUSH1 0x04
000024ab: DUP3
000024ac: ADD
000024ad: MSTORE
000024ae: PUSH1 0x08
000024b0: PUSH1 0x24
000024b2: DUP3
000024b3: ADD
000024b4: MSTORE
000024b5: PUSH32 0x2172657363756572000000000000000000000000000000000000000000000000
000024d6: PUSH1 0x44
000024d8: DUP3
000024d9: ADD
000024da: MSTORE
000024db: SWAP1
000024dc: MLOAD
000024dd: SWAP1
000024de: DUP2
000024df: SWAP1
000024e0: SUB
000024e1: PUSH1 0x64
000024e3: ADD
000024e4: SWAP1
000024e5: REVERT
000024e6: JUMPDEST
000024e7: PUSH1 0x00
000024e9: DUP6
000024ea: DUP2
000024eb: MSTORE
000024ec: PUSH1 0x0b
000024ee: PUSH1 0x20
000024f0: SWAP1
000024f1: DUP2
000024f2: MSTORE
000024f3: PUSH1 0x40
000024f5: DUP1
000024f6: DUP4
000024f7: KECCAK256
000024f8: PUSH1 0x01
000024fa: PUSH1 0x01
000024fc: PUSH1 0xa0
000024fe: SHL
000024ff: SUB
00002500: DUP11
00002501: AND
00002502: DUP5
00002503: MSTORE
00002504: PUSH1 0x08
00002506: DUP2
00002507: ADD
00002508: SWAP1
00002509: SWAP3
0000250a: MSTORE
0000250b: SWAP1
0000250c: SWAP2
0000250d: KECCAK256
0000250e: SLOAD
0000250f: PUSH1 0x04
00002511: DUP3
00002512: ADD
00002513: SLOAD
00002514: PUSH2 0x2523
00002517: SWAP1
00002518: DUP3
00002519: PUSH4 0xffffffff
0000251e: PUSH2 0x275b
00002521: AND
00002522: JUMP
00002523: JUMPDEST
00002524: PUSH1 0x04
00002526: DUP4
00002527: ADD
00002528: SSTORE
00002529: PUSH1 0x01
0000252b: PUSH1 0x01
0000252d: PUSH1 0xa0
0000252f: SHL
00002530: SUB
00002531: DUP9
00002532: AND
00002533: PUSH1 0x00
00002535: SWAP1
00002536: DUP2
00002537: MSTORE
00002538: PUSH1 0x08
0000253a: DUP4
0000253b: ADD
0000253c: PUSH1 0x20
0000253e: MSTORE
0000253f: PUSH1 0x40
00002541: DUP2
00002542: KECCAK256
00002543: DUP2
00002544: SWAP1
00002545: SSTORE
00002546: PUSH2 0x254f
00002549: DUP10
0000254a: DUP10
0000254b: PUSH2 0x097f
0000254e: JUMP
0000254f: JUMPDEST
00002550: GT
00002551: ISZERO
00002552: PUSH2 0x255f
00002555: JUMPI
00002556: PUSH2 0x255f
00002559: DUP9
0000255a: DUP9
0000255b: PUSH2 0x2c09
0000255e: JUMP
0000255f: JUMPDEST
00002560: PUSH1 0x40
00002562: DUP1
00002563: MLOAD
00002564: DUP9
00002565: DUP2
00002566: MSTORE
00002567: PUSH1 0x20
00002569: DUP2
0000256a: ADD
0000256b: DUP4
0000256c: SWAP1
0000256d: MSTORE
0000256e: DUP2
0000256f: MLOAD
00002570: PUSH1 0x01
00002572: PUSH1 0x01
00002574: PUSH1 0xa0
00002576: SHL
00002577: SUB
00002578: DUP12
00002579: AND
0000257a: SWAP3
0000257b: PUSH32 0xf3a670cd3af7d64b488926880889d08a8585a138ff455227af6737339a1ec262
0000259c: SWAP3
0000259d: DUP3
0000259e: SWAP1
0000259f: SUB
000025a0: ADD
000025a1: SWAP1
000025a2: LOG2
000025a3: SWAP8
000025a4: SWAP7
000025a5: POP
000025a6: POP
000025a7: POP
000025a8: POP
000025a9: POP
000025aa: POP
000025ab: POP
000025ac: JUMP
000025ad: JUMPDEST
000025ae: PUSH2 0x25b5
000025b1: PUSH2 0x1817
000025b4: JUMP
000025b5: JUMPDEST
000025b6: PUSH2 0x2606
000025b9: JUMPI
000025ba: PUSH1 0x40
000025bc: DUP1
000025bd: MLOAD
000025be: PUSH3 0x461bcd
000025c2: PUSH1 0xe5
000025c4: SHL
000025c5: DUP2
000025c6: MSTORE
000025c7: PUSH1 0x20
000025c9: PUSH1 0x04
000025cb: DUP3
000025cc: ADD
000025cd: DUP2
000025ce: SWAP1
000025cf: MSTORE
000025d0: PUSH1 0x24
000025d2: DUP3
000025d3: ADD
000025d4: MSTORE
000025d5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000025f6: PUSH1 0x44
000025f8: DUP3
000025f9: ADD
000025fa: MSTORE
000025fb: SWAP1
000025fc: MLOAD
000025fd: SWAP1
000025fe: DUP2
000025ff: SWAP1
00002600: SUB
00002601: PUSH1 0x64
00002603: ADD
00002604: SWAP1
00002605: REVERT
00002606: JUMPDEST
00002607: PUSH2 0x16c4
0000260a: DUP2
0000260b: PUSH2 0x2d8a
0000260e: JUMP
0000260f: JUMPDEST
00002610: PUSH1 0x0a
00002612: PUSH1 0x20
00002614: MSTORE
00002615: PUSH1 0x00
00002617: SWAP1
00002618: DUP2
00002619: MSTORE
0000261a: PUSH1 0x40
0000261c: SWAP1
0000261d: KECCAK256
0000261e: SLOAD
0000261f: DUP2
00002620: JUMP
00002621: JUMPDEST
00002622: PUSH2 0x228d
00002625: DUP3
00002626: DUP3
00002627: PUSH2 0x2630
0000262a: CALLER
0000262b: DUP7
0000262c: PUSH2 0x097f
0000262f: JUMP
00002630: JUMPDEST
00002631: PUSH2 0x183d
00002634: JUMP
00002635: JUMPDEST
00002636: PUSH1 0x08
00002638: SLOAD
00002639: PUSH1 0x01
0000263b: PUSH1 0x01
0000263d: PUSH1 0xa0
0000263f: SHL
00002640: SUB
00002641: AND
00002642: DUP2
00002643: JUMP
00002644: JUMPDEST
00002645: PUSH1 0x00
00002647: SWAP2
00002648: DUP3
00002649: MSTORE
0000264a: PUSH1 0x0b
0000264c: PUSH1 0x20
0000264e: SWAP1
0000264f: DUP2
00002650: MSTORE
00002651: PUSH1 0x40
00002653: DUP1
00002654: DUP5
00002655: KECCAK256
00002656: SWAP3
00002657: DUP5
00002658: MSTORE
00002659: PUSH1 0x09
0000265b: SWAP1
0000265c: SWAP3
0000265d: ADD
0000265e: SWAP1
0000265f: MSTORE
00002660: SWAP1
00002661: KECCAK256
00002662: PUSH1 0x01
00002664: ADD
00002665: SLOAD
00002666: SWAP1
00002667: JUMP
00002668: JUMPDEST
00002669: PUSH1 0x00
0000266b: SLOAD
0000266c: PUSH1 0x01
0000266e: PUSH1 0x01
00002670: PUSH1 0xa0
00002672: SHL
00002673: SUB
00002674: AND
00002675: DUP2
00002676: JUMP
00002677: JUMPDEST
00002678: PUSH1 0x00
0000267a: PUSH2 0x26b9
0000267d: DUP4
0000267e: DUP4
0000267f: PUSH1 0x40
00002681: MLOAD
00002682: DUP1
00002683: PUSH1 0x40
00002685: ADD
00002686: PUSH1 0x40
00002688: MSTORE
00002689: DUP1
0000268a: PUSH1 0x1e
0000268c: DUP2
0000268d: MSTORE
0000268e: PUSH1 0x20
00002690: ADD
00002691: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000026b2: DUP2
000026b3: MSTORE
000026b4: POP
000026b5: PUSH2 0x2e43
000026b8: JUMP
000026b9: JUMPDEST
000026ba: SWAP4
000026bb: SWAP3
000026bc: POP
000026bd: POP
000026be: POP
000026bf: JUMP
000026c0: JUMPDEST
000026c1: PUSH1 0x00
000026c3: DUP3
000026c4: PUSH2 0x26cf
000026c7: JUMPI
000026c8: POP
000026c9: PUSH1 0x00
000026cb: PUSH2 0x09a3
000026ce: JUMP
000026cf: JUMPDEST
000026d0: DUP3
000026d1: DUP3
000026d2: MUL
000026d3: DUP3
000026d4: DUP5
000026d5: DUP3
000026d6: DUP2
000026d7: PUSH2 0x26dc
000026da: JUMPI
000026db: INVALID
000026dc: JUMPDEST
000026dd: DIV
000026de: EQ
000026df: PUSH2 0x26b9
000026e2: JUMPI
000026e3: PUSH1 0x40
000026e5: MLOAD
000026e6: PUSH3 0x461bcd
000026ea: PUSH1 0xe5
000026ec: SHL
000026ed: DUP2
000026ee: MSTORE
000026ef: PUSH1 0x04
000026f1: ADD
000026f2: DUP1
000026f3: DUP1
000026f4: PUSH1 0x20
000026f6: ADD
000026f7: DUP3
000026f8: DUP2
000026f9: SUB
000026fa: DUP3
000026fb: MSTORE
000026fc: PUSH1 0x21
000026fe: DUP2
000026ff: MSTORE
00002700: PUSH1 0x20
00002702: ADD
00002703: DUP1
00002704: PUSH2 0x3142
00002707: PUSH1 0x21
00002709: SWAP2
0000270a: CODECOPY
0000270b: PUSH1 0x40
0000270d: ADD
0000270e: SWAP2
0000270f: POP
00002710: POP
00002711: PUSH1 0x40
00002713: MLOAD
00002714: DUP1
00002715: SWAP2
00002716: SUB
00002717: SWAP1
00002718: REVERT
00002719: JUMPDEST
0000271a: PUSH1 0x00
0000271c: PUSH2 0x26b9
0000271f: DUP4
00002720: DUP4
00002721: PUSH1 0x40
00002723: MLOAD
00002724: DUP1
00002725: PUSH1 0x40
00002727: ADD
00002728: PUSH1 0x40
0000272a: MSTORE
0000272b: DUP1
0000272c: PUSH1 0x1a
0000272e: DUP2
0000272f: MSTORE
00002730: PUSH1 0x20
00002732: ADD
00002733: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002754: DUP2
00002755: MSTORE
00002756: POP
00002757: PUSH2 0x2eda
0000275a: JUMP
0000275b: JUMPDEST
0000275c: PUSH1 0x00
0000275e: DUP3
0000275f: DUP3
00002760: ADD
00002761: DUP4
00002762: DUP2
00002763: LT
00002764: ISZERO
00002765: PUSH2 0x26b9
00002768: JUMPI
00002769: PUSH1 0x40
0000276b: DUP1
0000276c: MLOAD
0000276d: PUSH3 0x461bcd
00002771: PUSH1 0xe5
00002773: SHL
00002774: DUP2
00002775: MSTORE
00002776: PUSH1 0x20
00002778: PUSH1 0x04
0000277a: DUP3
0000277b: ADD
0000277c: MSTORE
0000277d: PUSH1 0x1b
0000277f: PUSH1 0x24
00002781: DUP3
00002782: ADD
00002783: MSTORE
00002784: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
000027a5: PUSH1 0x44
000027a7: DUP3
000027a8: ADD
000027a9: MSTORE
000027aa: SWAP1
000027ab: MLOAD
000027ac: SWAP1
000027ad: DUP2
000027ae: SWAP1
000027af: SUB
000027b0: PUSH1 0x64
000027b2: ADD
000027b3: SWAP1
000027b4: REVERT
000027b5: JUMPDEST
000027b6: CALLER
000027b7: SWAP1
000027b8: JUMP
000027b9: JUMPDEST
000027ba: PUSH1 0x01
000027bc: SLOAD
000027bd: PUSH2 0x27cc
000027c0: SWAP1
000027c1: DUP3
000027c2: PUSH4 0xffffffff
000027c7: PUSH2 0x2677
000027ca: AND
000027cb: JUMP
000027cc: JUMPDEST
000027cd: PUSH1 0x01
000027cf: SSTORE
000027d0: PUSH1 0x00
000027d2: DUP3
000027d3: DUP2
000027d4: MSTORE
000027d5: PUSH1 0x04
000027d7: PUSH1 0x20
000027d9: MSTORE
000027da: PUSH1 0x40
000027dc: SWAP1
000027dd: KECCAK256
000027de: SLOAD
000027df: PUSH2 0x27ee
000027e2: SWAP1
000027e3: DUP3
000027e4: PUSH4 0xffffffff
000027e9: PUSH2 0x2677
000027ec: AND
000027ed: JUMP
000027ee: JUMPDEST
000027ef: PUSH1 0x00
000027f1: DUP4
000027f2: DUP2
000027f3: MSTORE
000027f4: PUSH1 0x04
000027f6: PUSH1 0x20
000027f8: SWAP1
000027f9: DUP2
000027fa: MSTORE
000027fb: PUSH1 0x40
000027fd: DUP1
000027fe: DUP4
000027ff: KECCAK256
00002800: SWAP4
00002801: SWAP1
00002802: SWAP4
00002803: SSTORE
00002804: CALLER
00002805: DUP3
00002806: MSTORE
00002807: PUSH1 0x03
00002809: SWAP1
0000280a: MSTORE
0000280b: KECCAK256
0000280c: SLOAD
0000280d: PUSH2 0x281c
00002810: SWAP1
00002811: DUP3
00002812: PUSH4 0xffffffff
00002817: PUSH2 0x2677
0000281a: AND
0000281b: JUMP
0000281c: JUMPDEST
0000281d: CALLER
0000281e: PUSH1 0x00
00002820: DUP2
00002821: DUP2
00002822: MSTORE
00002823: PUSH1 0x03
00002825: PUSH1 0x20
00002827: SWAP1
00002828: DUP2
00002829: MSTORE
0000282a: PUSH1 0x40
0000282c: DUP1
0000282d: DUP4
0000282e: KECCAK256
0000282f: SWAP5
00002830: SWAP1
00002831: SWAP5
00002832: SSTORE
00002833: DUP6
00002834: DUP3
00002835: MSTORE
00002836: PUSH1 0x02
00002838: DUP2
00002839: MSTORE
0000283a: DUP4
0000283b: DUP3
0000283c: KECCAK256
0000283d: SWAP3
0000283e: DUP3
0000283f: MSTORE
00002840: SWAP2
00002841: SWAP1
00002842: SWAP2
00002843: MSTORE
00002844: KECCAK256
00002845: SLOAD
00002846: PUSH2 0x2855
00002849: SWAP1
0000284a: DUP3
0000284b: PUSH4 0xffffffff
00002850: PUSH2 0x2677
00002853: AND
00002854: JUMP
00002855: JUMPDEST
00002856: PUSH1 0x00
00002858: DUP4
00002859: DUP2
0000285a: MSTORE
0000285b: PUSH1 0x02
0000285d: PUSH1 0x20
0000285f: SWAP1
00002860: DUP2
00002861: MSTORE
00002862: PUSH1 0x40
00002864: DUP1
00002865: DUP4
00002866: KECCAK256
00002867: CALLER
00002868: DUP1
00002869: DUP6
0000286a: MSTORE
0000286b: SWAP1
0000286c: DUP4
0000286d: MSTORE
0000286e: DUP2
0000286f: DUP5
00002870: KECCAK256
00002871: SWAP5
00002872: SWAP1
00002873: SWAP5
00002874: SSTORE
00002875: DUP3
00002876: SLOAD
00002877: DUP2
00002878: MLOAD
00002879: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
0000289a: DUP2
0000289b: MSTORE
0000289c: PUSH1 0x04
0000289e: DUP2
0000289f: ADD
000028a0: SWAP6
000028a1: SWAP1
000028a2: SWAP6
000028a3: MSTORE
000028a4: PUSH1 0x24
000028a6: DUP6
000028a7: ADD
000028a8: DUP7
000028a9: SWAP1
000028aa: MSTORE
000028ab: SWAP1
000028ac: MLOAD
000028ad: PUSH1 0x01
000028af: PUSH1 0x01
000028b1: PUSH1 0xa0
000028b3: SHL
000028b4: SUB
000028b5: SWAP1
000028b6: SWAP2
000028b7: AND
000028b8: SWAP4
000028b9: PUSH4 0xa9059cbb
000028be: SWAP4
000028bf: PUSH1 0x44
000028c1: DUP1
000028c2: DUP4
000028c3: ADD
000028c4: SWAP5
000028c5: SWAP4
000028c6: SWAP3
000028c7: DUP4
000028c8: SWAP1
000028c9: SUB
000028ca: ADD
000028cb: SWAP1
000028cc: DUP3
000028cd: SWAP1
000028ce: DUP8
000028cf: DUP1
000028d0: EXTCODESIZE
000028d1: ISZERO
000028d2: DUP1
000028d3: ISZERO
000028d4: PUSH2 0x28dc
000028d7: JUMPI
000028d8: PUSH1 0x00
000028da: DUP1
000028db: REVERT
000028dc: JUMPDEST
000028dd: POP
000028de: GAS
000028df: CALL
000028e0: ISZERO
000028e1: DUP1
000028e2: ISZERO
000028e3: PUSH2 0x28f0
000028e6: JUMPI
000028e7: RETURNDATASIZE
000028e8: PUSH1 0x00
000028ea: DUP1
000028eb: RETURNDATACOPY
000028ec: RETURNDATASIZE
000028ed: PUSH1 0x00
000028ef: REVERT
000028f0: JUMPDEST
000028f1: POP
000028f2: POP
000028f3: POP
000028f4: POP
000028f5: PUSH1 0x40
000028f7: MLOAD
000028f8: RETURNDATASIZE
000028f9: PUSH1 0x20
000028fb: DUP2
000028fc: LT
000028fd: ISZERO
000028fe: PUSH2 0x2906
00002901: JUMPI
00002902: PUSH1 0x00
00002904: DUP1
00002905: REVERT
00002906: JUMPDEST
00002907: POP
00002908: POP
00002909: POP
0000290a: POP
0000290b: JUMP
0000290c: JUMPDEST
0000290d: PUSH1 0x00
0000290f: PUSH1 0x01
00002911: PUSH1 0x01
00002913: PUSH1 0xa0
00002915: SHL
00002916: SUB
00002917: DUP3
00002918: AND
00002919: PUSH2 0x2953
0000291c: JUMPI
0000291d: PUSH1 0x40
0000291f: MLOAD
00002920: PUSH3 0x461bcd
00002924: PUSH1 0xe5
00002926: SHL
00002927: DUP2
00002928: MSTORE
00002929: PUSH1 0x04
0000292b: ADD
0000292c: DUP1
0000292d: DUP1
0000292e: PUSH1 0x20
00002930: ADD
00002931: DUP3
00002932: DUP2
00002933: SUB
00002934: DUP3
00002935: MSTORE
00002936: PUSH1 0x22
00002938: DUP2
00002939: MSTORE
0000293a: PUSH1 0x20
0000293c: ADD
0000293d: DUP1
0000293e: PUSH2 0x3163
00002941: PUSH1 0x22
00002943: SWAP2
00002944: CODECOPY
00002945: PUSH1 0x40
00002947: ADD
00002948: SWAP2
00002949: POP
0000294a: POP
0000294b: PUSH1 0x40
0000294d: MLOAD
0000294e: DUP1
0000294f: SWAP2
00002950: SUB
00002951: SWAP1
00002952: REVERT
00002953: JUMPDEST
00002954: POP
00002955: PUSH1 0x01
00002957: PUSH1 0x01
00002959: PUSH1 0xa0
0000295b: SHL
0000295c: SUB
0000295d: AND
0000295e: PUSH1 0x00
00002960: SWAP1
00002961: DUP2
00002962: MSTORE
00002963: PUSH1 0x20
00002965: SWAP2
00002966: SWAP1
00002967: SWAP2
00002968: MSTORE
00002969: PUSH1 0x40
0000296b: SWAP1
0000296c: KECCAK256
0000296d: SLOAD
0000296e: PUSH1 0xff
00002970: AND
00002971: SWAP1
00002972: JUMP
00002973: JUMPDEST
00002974: PUSH2 0x2984
00002977: PUSH1 0x06
00002979: DUP3
0000297a: PUSH4 0xffffffff
0000297f: PUSH2 0x2f3f
00002982: AND
00002983: JUMP
00002984: JUMPDEST
00002985: PUSH1 0x40
00002987: MLOAD
00002988: PUSH1 0x01
0000298a: PUSH1 0x01
0000298c: PUSH1 0xa0
0000298e: SHL
0000298f: SUB
00002990: DUP3
00002991: AND
00002992: SWAP1
00002993: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
000029b4: SWAP1
000029b5: PUSH1 0x00
000029b7: SWAP1
000029b8: LOG2
000029b9: POP
000029ba: JUMP
000029bb: JUMPDEST
000029bc: PUSH1 0x01
000029be: SLOAD
000029bf: PUSH2 0x29ce
000029c2: SWAP1
000029c3: DUP3
000029c4: PUSH4 0xffffffff
000029c9: PUSH2 0x275b
000029cc: AND
000029cd: JUMP
000029ce: JUMPDEST
000029cf: PUSH1 0x01
000029d1: SSTORE
000029d2: PUSH1 0x00
000029d4: DUP3
000029d5: DUP2
000029d6: MSTORE
000029d7: PUSH1 0x04
000029d9: PUSH1 0x20
000029db: MSTORE
000029dc: PUSH1 0x40
000029de: SWAP1
000029df: KECCAK256
000029e0: SLOAD
000029e1: PUSH2 0x29f0
000029e4: SWAP1
000029e5: DUP3
000029e6: PUSH4 0xffffffff
000029eb: PUSH2 0x275b
000029ee: AND
000029ef: JUMP
000029f0: JUMPDEST
000029f1: PUSH1 0x00
000029f3: DUP4
000029f4: DUP2
000029f5: MSTORE
000029f6: PUSH1 0x04
000029f8: PUSH1 0x20
000029fa: SWAP1
000029fb: DUP2
000029fc: MSTORE
000029fd: PUSH1 0x40
000029ff: DUP1
00002a00: DUP4
00002a01: KECCAK256
00002a02: SWAP4
00002a03: SWAP1
00002a04: SWAP4
00002a05: SSTORE
00002a06: CALLER
00002a07: DUP3
00002a08: MSTORE
00002a09: PUSH1 0x03
00002a0b: SWAP1
00002a0c: MSTORE
00002a0d: KECCAK256
00002a0e: SLOAD
00002a0f: PUSH2 0x2a1e
00002a12: SWAP1
00002a13: DUP3
00002a14: PUSH4 0xffffffff
00002a19: PUSH2 0x275b
00002a1c: AND
00002a1d: JUMP
00002a1e: JUMPDEST
00002a1f: CALLER
00002a20: PUSH1 0x00
00002a22: DUP2
00002a23: DUP2
00002a24: MSTORE
00002a25: PUSH1 0x03
00002a27: PUSH1 0x20
00002a29: SWAP1
00002a2a: DUP2
00002a2b: MSTORE
00002a2c: PUSH1 0x40
00002a2e: DUP1
00002a2f: DUP4
00002a30: KECCAK256
00002a31: SWAP5
00002a32: SWAP1
00002a33: SWAP5
00002a34: SSTORE
00002a35: DUP6
00002a36: DUP3
00002a37: MSTORE
00002a38: PUSH1 0x02
00002a3a: DUP2
00002a3b: MSTORE
00002a3c: DUP4
00002a3d: DUP3
00002a3e: KECCAK256
00002a3f: SWAP3
00002a40: DUP3
00002a41: MSTORE
00002a42: SWAP2
00002a43: SWAP1
00002a44: SWAP2
00002a45: MSTORE
00002a46: KECCAK256
00002a47: SLOAD
00002a48: PUSH2 0x2a57
00002a4b: SWAP1
00002a4c: DUP3
00002a4d: PUSH4 0xffffffff
00002a52: PUSH2 0x275b
00002a55: AND
00002a56: JUMP
00002a57: JUMPDEST
00002a58: PUSH1 0x00
00002a5a: DUP4
00002a5b: DUP2
00002a5c: MSTORE
00002a5d: PUSH1 0x02
00002a5f: PUSH1 0x20
00002a61: SWAP1
00002a62: DUP2
00002a63: MSTORE
00002a64: PUSH1 0x40
00002a66: DUP1
00002a67: DUP4
00002a68: KECCAK256
00002a69: CALLER
00002a6a: DUP1
00002a6b: DUP6
00002a6c: MSTORE
00002a6d: SWAP1
00002a6e: DUP4
00002a6f: MSTORE
00002a70: DUP2
00002a71: DUP5
00002a72: KECCAK256
00002a73: SWAP5
00002a74: SWAP1
00002a75: SWAP5
00002a76: SSTORE
00002a77: DUP3
00002a78: SLOAD
00002a79: DUP2
00002a7a: MLOAD
00002a7b: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00002a9c: DUP2
00002a9d: MSTORE
00002a9e: PUSH1 0x04
00002aa0: DUP2
00002aa1: ADD
00002aa2: SWAP6
00002aa3: SWAP1
00002aa4: SWAP6
00002aa5: MSTORE
00002aa6: ADDRESS
00002aa7: PUSH1 0x24
00002aa9: DUP7
00002aaa: ADD
00002aab: MSTORE
00002aac: PUSH1 0x44
00002aae: DUP6
00002aaf: ADD
00002ab0: DUP7
00002ab1: SWAP1
00002ab2: MSTORE
00002ab3: SWAP1
00002ab4: MLOAD
00002ab5: PUSH1 0x01
00002ab7: PUSH1 0x01
00002ab9: PUSH1 0xa0
00002abb: SHL
00002abc: SUB
00002abd: SWAP1
00002abe: SWAP2
00002abf: AND
00002ac0: SWAP4
00002ac1: PUSH4 0x23b872dd
00002ac6: SWAP4
00002ac7: PUSH1 0x64
00002ac9: DUP1
00002aca: DUP4
00002acb: ADD
00002acc: SWAP5
00002acd: SWAP4
00002ace: SWAP3
00002acf: DUP4
00002ad0: SWAP1
00002ad1: SUB
00002ad2: ADD
00002ad3: SWAP1
00002ad4: DUP3
00002ad5: SWAP1
00002ad6: DUP8
00002ad7: DUP1
00002ad8: EXTCODESIZE
00002ad9: ISZERO
00002ada: DUP1
00002adb: ISZERO
00002adc: PUSH2 0x28dc
00002adf: JUMPI
00002ae0: PUSH1 0x00
00002ae2: DUP1
00002ae3: REVERT
00002ae4: JUMPDEST
00002ae5: PUSH2 0x2af5
00002ae8: PUSH1 0x06
00002aea: DUP3
00002aeb: PUSH4 0xffffffff
00002af0: PUSH2 0x2fc4
00002af3: AND
00002af4: JUMP
00002af5: JUMPDEST
00002af6: PUSH1 0x40
00002af8: MLOAD
00002af9: PUSH1 0x01
00002afb: PUSH1 0x01
00002afd: PUSH1 0xa0
00002aff: SHL
00002b00: SUB
00002b01: DUP3
00002b02: AND
00002b03: SWAP1
00002b04: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
00002b25: SWAP1
00002b26: PUSH1 0x00
00002b28: SWAP1
00002b29: LOG2
00002b2a: POP
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: PUSH1 0x00
00002b2f: DUP4
00002b30: DUP2
00002b31: MSTORE
00002b32: PUSH1 0x04
00002b34: PUSH1 0x20
00002b36: MSTORE
00002b37: PUSH1 0x40
00002b39: SWAP1
00002b3a: KECCAK256
00002b3b: SLOAD
00002b3c: PUSH2 0x2b4b
00002b3f: SWAP1
00002b40: DUP3
00002b41: PUSH4 0xffffffff
00002b46: PUSH2 0x2677
00002b49: AND
00002b4a: JUMP
00002b4b: JUMPDEST
00002b4c: PUSH1 0x00
00002b4e: DUP5
00002b4f: DUP2
00002b50: MSTORE
00002b51: PUSH1 0x04
00002b53: PUSH1 0x20
00002b55: SWAP1
00002b56: DUP2
00002b57: MSTORE
00002b58: PUSH1 0x40
00002b5a: DUP1
00002b5b: DUP4
00002b5c: KECCAK256
00002b5d: SWAP4
00002b5e: SWAP1
00002b5f: SWAP4
00002b60: SSTORE
00002b61: PUSH1 0x02
00002b63: DUP2
00002b64: MSTORE
00002b65: DUP3
00002b66: DUP3
00002b67: KECCAK256
00002b68: CALLER
00002b69: DUP4
00002b6a: MSTORE
00002b6b: SWAP1
00002b6c: MSTORE
00002b6d: KECCAK256
00002b6e: SLOAD
00002b6f: PUSH2 0x2b7e
00002b72: SWAP1
00002b73: DUP3
00002b74: PUSH4 0xffffffff
00002b79: PUSH2 0x2677
00002b7c: AND
00002b7d: JUMP
00002b7e: JUMPDEST
00002b7f: PUSH1 0x00
00002b81: DUP5
00002b82: DUP2
00002b83: MSTORE
00002b84: PUSH1 0x02
00002b86: PUSH1 0x20
00002b88: SWAP1
00002b89: DUP2
00002b8a: MSTORE
00002b8b: PUSH1 0x40
00002b8d: DUP1
00002b8e: DUP4
00002b8f: KECCAK256
00002b90: CALLER
00002b91: DUP5
00002b92: MSTORE
00002b93: DUP3
00002b94: MSTORE
00002b95: DUP1
00002b96: DUP4
00002b97: KECCAK256
00002b98: SWAP4
00002b99: SWAP1
00002b9a: SWAP4
00002b9b: SSTORE
00002b9c: DUP5
00002b9d: DUP3
00002b9e: MSTORE
00002b9f: PUSH1 0x04
00002ba1: SWAP1
00002ba2: MSTORE
00002ba3: KECCAK256
00002ba4: SLOAD
00002ba5: PUSH2 0x2bb4
00002ba8: SWAP1
00002ba9: DUP3
00002baa: PUSH4 0xffffffff
00002baf: PUSH2 0x275b
00002bb2: AND
00002bb3: JUMP
00002bb4: JUMPDEST
00002bb5: PUSH1 0x00
00002bb7: DUP4
00002bb8: DUP2
00002bb9: MSTORE
00002bba: PUSH1 0x04
00002bbc: PUSH1 0x20
00002bbe: SWAP1
00002bbf: DUP2
00002bc0: MSTORE
00002bc1: PUSH1 0x40
00002bc3: DUP1
00002bc4: DUP4
00002bc5: KECCAK256
00002bc6: SWAP4
00002bc7: SWAP1
00002bc8: SWAP4
00002bc9: SSTORE
00002bca: PUSH1 0x02
00002bcc: DUP2
00002bcd: MSTORE
00002bce: DUP3
00002bcf: DUP3
00002bd0: KECCAK256
00002bd1: CALLER
00002bd2: DUP4
00002bd3: MSTORE
00002bd4: SWAP1
00002bd5: MSTORE
00002bd6: KECCAK256
00002bd7: SLOAD
00002bd8: PUSH2 0x2be7
00002bdb: SWAP1
00002bdc: DUP3
00002bdd: PUSH4 0xffffffff
00002be2: PUSH2 0x275b
00002be5: AND
00002be6: JUMP
00002be7: JUMPDEST
00002be8: PUSH1 0x00
00002bea: SWAP3
00002beb: DUP4
00002bec: MSTORE
00002bed: PUSH1 0x02
00002bef: PUSH1 0x20
00002bf1: SWAP1
00002bf2: DUP2
00002bf3: MSTORE
00002bf4: PUSH1 0x40
00002bf6: DUP1
00002bf7: DUP6
00002bf8: KECCAK256
00002bf9: CALLER
00002bfa: DUP7
00002bfb: MSTORE
00002bfc: SWAP1
00002bfd: SWAP2
00002bfe: MSTORE
00002bff: SWAP1
00002c00: SWAP3
00002c01: KECCAK256
00002c02: SWAP2
00002c03: SWAP1
00002c04: SWAP2
00002c05: SSTORE
00002c06: POP
00002c07: POP
00002c08: JUMP
00002c09: JUMPDEST
00002c0a: PUSH1 0x00
00002c0c: DUP2
00002c0d: DUP2
00002c0e: MSTORE
00002c0f: PUSH1 0x02
00002c11: PUSH1 0x20
00002c13: SWAP1
00002c14: DUP2
00002c15: MSTORE
00002c16: PUSH1 0x40
00002c18: DUP1
00002c19: DUP4
00002c1a: KECCAK256
00002c1b: PUSH1 0x01
00002c1d: PUSH1 0x01
00002c1f: PUSH1 0xa0
00002c21: SHL
00002c22: SUB
00002c23: DUP7
00002c24: AND
00002c25: DUP5
00002c26: MSTORE
00002c27: SWAP1
00002c28: SWAP2
00002c29: MSTORE
00002c2a: SWAP1
00002c2b: KECCAK256
00002c2c: SLOAD
00002c2d: PUSH1 0x01
00002c2f: SLOAD
00002c30: PUSH2 0x2c3f
00002c33: SWAP1
00002c34: DUP3
00002c35: PUSH4 0xffffffff
00002c3a: PUSH2 0x2677
00002c3d: AND
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: PUSH1 0x01
00002c42: SSTORE
00002c43: PUSH1 0x00
00002c45: DUP3
00002c46: DUP2
00002c47: MSTORE
00002c48: PUSH1 0x04
00002c4a: PUSH1 0x20
00002c4c: MSTORE
00002c4d: PUSH1 0x40
00002c4f: SWAP1
00002c50: KECCAK256
00002c51: SLOAD
00002c52: PUSH2 0x2c61
00002c55: SWAP1
00002c56: DUP3
00002c57: PUSH4 0xffffffff
00002c5c: PUSH2 0x2677
00002c5f: AND
00002c60: JUMP
00002c61: JUMPDEST
00002c62: PUSH1 0x00
00002c64: DUP4
00002c65: DUP2
00002c66: MSTORE
00002c67: PUSH1 0x04
00002c69: PUSH1 0x20
00002c6b: SWAP1
00002c6c: DUP2
00002c6d: MSTORE
00002c6e: PUSH1 0x40
00002c70: DUP1
00002c71: DUP4
00002c72: KECCAK256
00002c73: SWAP4
00002c74: SWAP1
00002c75: SWAP4
00002c76: SSTORE
00002c77: CALLER
00002c78: DUP3
00002c79: MSTORE
00002c7a: PUSH1 0x03
00002c7c: SWAP1
00002c7d: MSTORE
00002c7e: KECCAK256
00002c7f: SLOAD
00002c80: PUSH2 0x2c8f
00002c83: SWAP1
00002c84: DUP3
00002c85: PUSH4 0xffffffff
00002c8a: PUSH2 0x2677
00002c8d: AND
00002c8e: JUMP
00002c8f: JUMPDEST
00002c90: CALLER
00002c91: PUSH1 0x00
00002c93: SWAP1
00002c94: DUP2
00002c95: MSTORE
00002c96: PUSH1 0x03
00002c98: PUSH1 0x20
00002c9a: SWAP1
00002c9b: DUP2
00002c9c: MSTORE
00002c9d: PUSH1 0x40
00002c9f: DUP1
00002ca0: DUP4
00002ca1: KECCAK256
00002ca2: SWAP4
00002ca3: SWAP1
00002ca4: SWAP4
00002ca5: SSTORE
00002ca6: DUP5
00002ca7: DUP3
00002ca8: MSTORE
00002ca9: PUSH1 0x02
00002cab: DUP2
00002cac: MSTORE
00002cad: DUP3
00002cae: DUP3
00002caf: KECCAK256
00002cb0: PUSH1 0x01
00002cb2: PUSH1 0x01
00002cb4: PUSH1 0xa0
00002cb6: SHL
00002cb7: SUB
00002cb8: DUP8
00002cb9: AND
00002cba: DUP4
00002cbb: MSTORE
00002cbc: SWAP1
00002cbd: MSTORE
00002cbe: KECCAK256
00002cbf: SLOAD
00002cc0: PUSH2 0x2ccf
00002cc3: SWAP1
00002cc4: DUP3
00002cc5: PUSH4 0xffffffff
00002cca: PUSH2 0x2677
00002ccd: AND
00002cce: JUMP
00002ccf: JUMPDEST
00002cd0: PUSH1 0x00
00002cd2: DUP4
00002cd3: DUP2
00002cd4: MSTORE
00002cd5: PUSH1 0x02
00002cd7: PUSH1 0x20
00002cd9: SWAP1
00002cda: DUP2
00002cdb: MSTORE
00002cdc: PUSH1 0x40
00002cde: DUP1
00002cdf: DUP4
00002ce0: KECCAK256
00002ce1: PUSH1 0x01
00002ce3: PUSH1 0x01
00002ce5: PUSH1 0xa0
00002ce7: SHL
00002ce8: SUB
00002ce9: DUP1
00002cea: DUP10
00002ceb: AND
00002cec: DUP1
00002ced: DUP7
00002cee: MSTORE
00002cef: SWAP2
00002cf0: DUP5
00002cf1: MSTORE
00002cf2: DUP3
00002cf3: DUP6
00002cf4: KECCAK256
00002cf5: SWAP6
00002cf6: SWAP1
00002cf7: SWAP6
00002cf8: SSTORE
00002cf9: DUP4
00002cfa: SLOAD
00002cfb: DUP3
00002cfc: MLOAD
00002cfd: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00002d1e: DUP2
00002d1f: MSTORE
00002d20: PUSH1 0x04
00002d22: DUP2
00002d23: ADD
00002d24: SWAP3
00002d25: SWAP1
00002d26: SWAP3
00002d27: MSTORE
00002d28: PUSH1 0x24
00002d2a: DUP3
00002d2b: ADD
00002d2c: DUP8
00002d2d: SWAP1
00002d2e: MSTORE
00002d2f: SWAP2
00002d30: MLOAD
00002d31: SWAP2
00002d32: SWAP1
00002d33: SWAP5
00002d34: AND
00002d35: SWAP4
00002d36: PUSH4 0xa9059cbb
00002d3b: SWAP4
00002d3c: PUSH1 0x44
00002d3e: DUP1
00002d3f: DUP4
00002d40: ADD
00002d41: SWAP5
00002d42: SWAP4
00002d43: SWAP3
00002d44: DUP4
00002d45: SWAP1
00002d46: SUB
00002d47: ADD
00002d48: SWAP1
00002d49: DUP3
00002d4a: SWAP1
00002d4b: DUP8
00002d4c: DUP1
00002d4d: EXTCODESIZE
00002d4e: ISZERO
00002d4f: DUP1
00002d50: ISZERO
00002d51: PUSH2 0x2d59
00002d54: JUMPI
00002d55: PUSH1 0x00
00002d57: DUP1
00002d58: REVERT
00002d59: JUMPDEST
00002d5a: POP
00002d5b: GAS
00002d5c: CALL
00002d5d: ISZERO
00002d5e: DUP1
00002d5f: ISZERO
00002d60: PUSH2 0x2d6d
00002d63: JUMPI
00002d64: RETURNDATASIZE
00002d65: PUSH1 0x00
00002d67: DUP1
00002d68: RETURNDATACOPY
00002d69: RETURNDATASIZE
00002d6a: PUSH1 0x00
00002d6c: REVERT
00002d6d: JUMPDEST
00002d6e: POP
00002d6f: POP
00002d70: POP
00002d71: POP
00002d72: PUSH1 0x40
00002d74: MLOAD
00002d75: RETURNDATASIZE
00002d76: PUSH1 0x20
00002d78: DUP2
00002d79: LT
00002d7a: ISZERO
00002d7b: PUSH2 0x2d83
00002d7e: JUMPI
00002d7f: PUSH1 0x00
00002d81: DUP1
00002d82: REVERT
00002d83: JUMPDEST
00002d84: POP
00002d85: POP
00002d86: POP
00002d87: POP
00002d88: POP
00002d89: JUMP
00002d8a: JUMPDEST
00002d8b: PUSH1 0x01
00002d8d: PUSH1 0x01
00002d8f: PUSH1 0xa0
00002d91: SHL
00002d92: SUB
00002d93: DUP2
00002d94: AND
00002d95: PUSH2 0x2dcf
00002d98: JUMPI
00002d99: PUSH1 0x40
00002d9b: MLOAD
00002d9c: PUSH3 0x461bcd
00002da0: PUSH1 0xe5
00002da2: SHL
00002da3: DUP2
00002da4: MSTORE
00002da5: PUSH1 0x04
00002da7: ADD
00002da8: DUP1
00002da9: DUP1
00002daa: PUSH1 0x20
00002dac: ADD
00002dad: DUP3
00002dae: DUP2
00002daf: SUB
00002db0: DUP3
00002db1: MSTORE
00002db2: PUSH1 0x26
00002db4: DUP2
00002db5: MSTORE
00002db6: PUSH1 0x20
00002db8: ADD
00002db9: DUP1
00002dba: PUSH2 0x30fb
00002dbd: PUSH1 0x26
00002dbf: SWAP2
00002dc0: CODECOPY
00002dc1: PUSH1 0x40
00002dc3: ADD
00002dc4: SWAP2
00002dc5: POP
00002dc6: POP
00002dc7: PUSH1 0x40
00002dc9: MLOAD
00002dca: DUP1
00002dcb: SWAP2
00002dcc: SUB
00002dcd: SWAP1
00002dce: REVERT
00002dcf: JUMPDEST
00002dd0: PUSH1 0x05
00002dd2: SLOAD
00002dd3: PUSH1 0x40
00002dd5: MLOAD
00002dd6: PUSH1 0x01
00002dd8: PUSH1 0x01
00002dda: PUSH1 0xa0
00002ddc: SHL
00002ddd: SUB
00002dde: DUP1
00002ddf: DUP5
00002de0: AND
00002de1: SWAP3
00002de2: AND
00002de3: SWAP1
00002de4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00002e05: SWAP1
00002e06: PUSH1 0x00
00002e08: SWAP1
00002e09: LOG3
00002e0a: PUSH1 0x05
00002e0c: DUP1
00002e0d: SLOAD
00002e0e: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00002e2f: AND
00002e30: PUSH1 0x01
00002e32: PUSH1 0x01
00002e34: PUSH1 0xa0
00002e36: SHL
00002e37: SUB
00002e38: SWAP3
00002e39: SWAP1
00002e3a: SWAP3
00002e3b: AND
00002e3c: SWAP2
00002e3d: SWAP1
00002e3e: SWAP2
00002e3f: OR
00002e40: SWAP1
00002e41: SSTORE
00002e42: JUMP
00002e43: JUMPDEST
00002e44: PUSH1 0x00
00002e46: DUP2
00002e47: DUP5
00002e48: DUP5
00002e49: GT
00002e4a: ISZERO
00002e4b: PUSH2 0x2ed2
00002e4e: JUMPI
00002e4f: PUSH1 0x40
00002e51: MLOAD
00002e52: PUSH3 0x461bcd
00002e56: PUSH1 0xe5
00002e58: SHL
00002e59: DUP2
00002e5a: MSTORE
00002e5b: PUSH1 0x04
00002e5d: ADD
00002e5e: DUP1
00002e5f: DUP1
00002e60: PUSH1 0x20
00002e62: ADD
00002e63: DUP3
00002e64: DUP2
00002e65: SUB
00002e66: DUP3
00002e67: MSTORE
00002e68: DUP4
00002e69: DUP2
00002e6a: DUP2
00002e6b: MLOAD
00002e6c: DUP2
00002e6d: MSTORE
00002e6e: PUSH1 0x20
00002e70: ADD
00002e71: SWAP2
00002e72: POP
00002e73: DUP1
00002e74: MLOAD
00002e75: SWAP1
00002e76: PUSH1 0x20
00002e78: ADD
00002e79: SWAP1
00002e7a: DUP1
00002e7b: DUP4
00002e7c: DUP4
00002e7d: PUSH1 0x00
00002e7f: JUMPDEST
00002e80: DUP4
00002e81: DUP2
00002e82: LT
00002e83: ISZERO
00002e84: PUSH2 0x2e97
00002e87: JUMPI
00002e88: DUP2
00002e89: DUP2
00002e8a: ADD
00002e8b: MLOAD
00002e8c: DUP4
00002e8d: DUP3
00002e8e: ADD
00002e8f: MSTORE
00002e90: PUSH1 0x20
00002e92: ADD
00002e93: PUSH2 0x2e7f
00002e96: JUMP
00002e97: JUMPDEST
00002e98: POP
00002e99: POP
00002e9a: POP
00002e9b: POP
00002e9c: SWAP1
00002e9d: POP
00002e9e: SWAP1
00002e9f: DUP2
00002ea0: ADD
00002ea1: SWAP1
00002ea2: PUSH1 0x1f
00002ea4: AND
00002ea5: DUP1
00002ea6: ISZERO
00002ea7: PUSH2 0x2ec4
00002eaa: JUMPI
00002eab: DUP1
00002eac: DUP3
00002ead: SUB
00002eae: DUP1
00002eaf: MLOAD
00002eb0: PUSH1 0x01
00002eb2: DUP4
00002eb3: PUSH1 0x20
00002eb5: SUB
00002eb6: PUSH2 0x0100
00002eb9: EXP
00002eba: SUB
00002ebb: NOT
00002ebc: AND
00002ebd: DUP2
00002ebe: MSTORE
00002ebf: PUSH1 0x20
00002ec1: ADD
00002ec2: SWAP2
00002ec3: POP
00002ec4: JUMPDEST
00002ec5: POP
00002ec6: SWAP3
00002ec7: POP
00002ec8: POP
00002ec9: POP
00002eca: PUSH1 0x40
00002ecc: MLOAD
00002ecd: DUP1
00002ece: SWAP2
00002ecf: SUB
00002ed0: SWAP1
00002ed1: REVERT
00002ed2: JUMPDEST
00002ed3: POP
00002ed4: POP
00002ed5: POP
00002ed6: SWAP1
00002ed7: SUB
00002ed8: SWAP1
00002ed9: JUMP
00002eda: JUMPDEST
00002edb: PUSH1 0x00
00002edd: DUP2
00002ede: DUP4
00002edf: PUSH2 0x2f29
00002ee2: JUMPI
00002ee3: PUSH1 0x40
00002ee5: MLOAD
00002ee6: PUSH3 0x461bcd
00002eea: PUSH1 0xe5
00002eec: SHL
00002eed: DUP2
00002eee: MSTORE
00002eef: PUSH1 0x20
00002ef1: PUSH1 0x04
00002ef3: DUP3
00002ef4: ADD
00002ef5: DUP2
00002ef6: DUP2
00002ef7: MSTORE
00002ef8: DUP4
00002ef9: MLOAD
00002efa: PUSH1 0x24
00002efc: DUP5
00002efd: ADD
00002efe: MSTORE
00002eff: DUP4
00002f00: MLOAD
00002f01: SWAP1
00002f02: SWAP3
00002f03: DUP4
00002f04: SWAP3
00002f05: PUSH1 0x44
00002f07: SWAP1
00002f08: SWAP2
00002f09: ADD
00002f0a: SWAP2
00002f0b: SWAP1
00002f0c: DUP6
00002f0d: ADD
00002f0e: SWAP1
00002f0f: DUP1
00002f10: DUP4
00002f11: DUP4
00002f12: PUSH1 0x00
00002f14: DUP4
00002f15: ISZERO
00002f16: PUSH2 0x2e97
00002f19: JUMPI
00002f1a: DUP2
00002f1b: DUP2
00002f1c: ADD
00002f1d: MLOAD
00002f1e: DUP4
00002f1f: DUP3
00002f20: ADD
00002f21: MSTORE
00002f22: PUSH1 0x20
00002f24: ADD
00002f25: PUSH2 0x2e7f
00002f28: JUMP
00002f29: JUMPDEST
00002f2a: POP
00002f2b: PUSH1 0x00
00002f2d: DUP4
00002f2e: DUP6
00002f2f: DUP2
00002f30: PUSH2 0x2f35
00002f33: JUMPI
00002f34: INVALID
00002f35: JUMPDEST
00002f36: DIV
00002f37: SWAP6
00002f38: SWAP5
00002f39: POP
00002f3a: POP
00002f3b: POP
00002f3c: POP
00002f3d: POP
00002f3e: JUMP
00002f3f: JUMPDEST
00002f40: PUSH2 0x2f49
00002f43: DUP3
00002f44: DUP3
00002f45: PUSH2 0x290c
00002f48: JUMP
00002f49: JUMPDEST
00002f4a: PUSH2 0x2f84
00002f4d: JUMPI
00002f4e: PUSH1 0x40
00002f50: MLOAD
00002f51: PUSH3 0x461bcd
00002f55: PUSH1 0xe5
00002f57: SHL
00002f58: DUP2
00002f59: MSTORE
00002f5a: PUSH1 0x04
00002f5c: ADD
00002f5d: DUP1
00002f5e: DUP1
00002f5f: PUSH1 0x20
00002f61: ADD
00002f62: DUP3
00002f63: DUP2
00002f64: SUB
00002f65: DUP3
00002f66: MSTORE
00002f67: PUSH1 0x21
00002f69: DUP2
00002f6a: MSTORE
00002f6b: PUSH1 0x20
00002f6d: ADD
00002f6e: DUP1
00002f6f: PUSH2 0x3121
00002f72: PUSH1 0x21
00002f74: SWAP2
00002f75: CODECOPY
00002f76: PUSH1 0x40
00002f78: ADD
00002f79: SWAP2
00002f7a: POP
00002f7b: POP
00002f7c: PUSH1 0x40
00002f7e: MLOAD
00002f7f: DUP1
00002f80: SWAP2
00002f81: SUB
00002f82: SWAP1
00002f83: REVERT
00002f84: JUMPDEST
00002f85: PUSH1 0x01
00002f87: PUSH1 0x01
00002f89: PUSH1 0xa0
00002f8b: SHL
00002f8c: SUB
00002f8d: AND
00002f8e: PUSH1 0x00
00002f90: SWAP1
00002f91: DUP2
00002f92: MSTORE
00002f93: PUSH1 0x20
00002f95: SWAP2
00002f96: SWAP1
00002f97: SWAP2
00002f98: MSTORE
00002f99: PUSH1 0x40
00002f9b: SWAP1
00002f9c: KECCAK256
00002f9d: DUP1
00002f9e: SLOAD
00002f9f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00002fc0: AND
00002fc1: SWAP1
00002fc2: SSTORE
00002fc3: JUMP
00002fc4: JUMPDEST
00002fc5: PUSH2 0x2fce
00002fc8: DUP3
00002fc9: DUP3
00002fca: PUSH2 0x290c
00002fcd: JUMP
00002fce: JUMPDEST
00002fcf: ISZERO
00002fd0: PUSH2 0x3020
00002fd3: JUMPI
00002fd4: PUSH1 0x40
00002fd6: DUP1
00002fd7: MLOAD
00002fd8: PUSH3 0x461bcd
00002fdc: PUSH1 0xe5
00002fde: SHL
00002fdf: DUP2
00002fe0: MSTORE
00002fe1: PUSH1 0x20
00002fe3: PUSH1 0x04
00002fe5: DUP3
00002fe6: ADD
00002fe7: MSTORE
00002fe8: PUSH1 0x1f
00002fea: PUSH1 0x24
00002fec: DUP3
00002fed: ADD
00002fee: MSTORE
00002fef: PUSH32 0x526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500
00003010: PUSH1 0x44
00003012: DUP3
00003013: ADD
00003014: MSTORE
00003015: SWAP1
00003016: MLOAD
00003017: SWAP1
00003018: DUP2
00003019: SWAP1
0000301a: SUB
0000301b: PUSH1 0x64
0000301d: ADD
0000301e: SWAP1
0000301f: REVERT
00003020: JUMPDEST
00003021: PUSH1 0x01
00003023: PUSH1 0x01
00003025: PUSH1 0xa0
00003027: SHL
00003028: SUB
00003029: AND
0000302a: PUSH1 0x00
0000302c: SWAP1
0000302d: DUP2
0000302e: MSTORE
0000302f: PUSH1 0x20
00003031: SWAP2
00003032: SWAP1
00003033: SWAP2
00003034: MSTORE
00003035: PUSH1 0x40
00003037: SWAP1
00003038: KECCAK256
00003039: DUP1
0000303a: SLOAD
0000303b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
0000305c: AND
0000305d: PUSH1 0x01
0000305f: OR
00003060: SWAP1
00003061: SSTORE
00003062: JUMP
00003063: JUMPDEST
00003064: PUSH1 0x40
00003066: MLOAD
00003067: DUP1
00003068: PUSH1 0xe0
0000306a: ADD
0000306b: PUSH1 0x40
0000306d: MSTORE
0000306e: DUP1
0000306f: PUSH1 0x00
00003071: DUP2
00003072: MSTORE
00003073: PUSH1 0x20
00003075: ADD
00003076: PUSH1 0x00
00003078: DUP2
00003079: MSTORE
0000307a: PUSH1 0x20
0000307c: ADD
0000307d: PUSH1 0x00
0000307f: DUP2
00003080: MSTORE
00003081: PUSH1 0x20
00003083: ADD
00003084: PUSH1 0x00
00003086: DUP2
00003087: MSTORE
00003088: PUSH1 0x20
0000308a: ADD
0000308b: PUSH1 0x00
0000308d: DUP2
0000308e: MSTORE
0000308f: PUSH1 0x20
00003091: ADD
00003092: PUSH1 0x00
00003094: DUP2
00003095: MSTORE
00003096: PUSH1 0x20
00003098: ADD
00003099: PUSH1 0x00
0000309b: PUSH1 0x01
0000309d: PUSH1 0x01
0000309f: PUSH1 0xa0
000030a1: SHL
000030a2: SUB
000030a3: AND
000030a4: DUP2
000030a5: MSTORE
000030a6: POP
000030a7: SWAP1
000030a8: JUMP
000030a9: JUMPDEST
000030aa: PUSH1 0x40
000030ac: MLOAD
000030ad: DUP1
000030ae: PUSH1 0x60
000030b0: ADD
000030b1: PUSH1 0x40
000030b3: MSTORE
000030b4: DUP1
000030b5: PUSH1 0x00
000030b7: DUP2
000030b8: MSTORE
000030b9: PUSH1 0x20
000030bb: ADD
000030bc: PUSH1 0x00
000030be: DUP2
000030bf: MSTORE
000030c0: PUSH1 0x20
000030c2: ADD
000030c3: PUSH1 0x00
000030c5: DUP2
000030c6: MSTORE
000030c7: POP
000030c8: SWAP1
000030c9: JUMP
000030ca: INVALID
000030cb: POP
000030cc: PUSH2 0x7573
000030cf: PUSH6 0x72526f6c653a
000030d6: KECCAK256
000030d7: PUSH4 0x616c6c65
000030dc: PUSH19 0x20646f6573206e6f7420686176652074686520
000030f0: POP
000030f1: PUSH2 0x7573
000030f4: PUSH6 0x7220726f6c65
000030fb: UNKNOWN(0x4F)
000030fc: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00003115: PUSH27 0x65726f2061646472657373526f6c65733a206163636f756e742064
00003131: PUSH16 0x6573206e6f74206861766520726f6c65
00003142: MSTORE8
00003143: PUSH2 0x6665
00003146: UNKNOWN(0x4D)
00003147: PUSH2 0x7468
0000314a: GASPRICE
0000314b: KECCAK256
0000314c: PUSH14 0x756c7469706c69636174696f6e20
0000315b: PUSH16 0x766572666c6f77526f6c65733a206163
0000316c: PUSH4 0x6f756e74
00003171: KECCAK256
00003172: PUSH10 0x7320746865207a65726f
0000317d: KECCAK256
0000317e: PUSH2 0x6464
00003181: PUSH19 0x657373a265627a7a72315820830c631d64adc8
00003195: UNKNOWN(0xF9)
00003196: UNKNOWN(0xDA)
00003197: PUSH7 0x5cf0f2f0f77543
0000319f: EXTCODEHASH
000031a0: UNKNOWN(0x23)
000031a1: STOP
000031a2: UNKNOWN(0xB3)
000031a3: UNKNOWN(0xED)
000031a4: DELEGATECALL
000031a5: MLOAD
000031a6: DUP10
000031a7: MLOAD
000031a8: UNKNOWN(0xB6)
000031a9: UNKNOWN(0xB5)
000031aa: DIV
000031ab: CODESIZE
000031ac: SWAP3
000031ad: UNKNOWN(0x2E)
000031ae: PUSH5 0x736f6c6343
000031b4: STOP
000031b5: SDIV
000031b6: UNKNOWN(0x0C)
000031b7: STOP
000031b8: ORIGIN

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high upgradeability detector Untrusted DELEGATECALL target reachable 55 no no
view
trace_id: 0x5b6caffe57126374d65bc4a7a524bb00c672a8dacef90f703addb882716ef5cb
validation_json 
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x5b6caffe57126374d65bc4a7a524bb00c672a8dacef90f703addb882716ef5cb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "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": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb233733",
            "selector": "0xfb233733",
            "calldata_variants": [
                "0xfb233733",
                "0xfb2337330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3f43703",
            "selector": "0xf3f43703",
            "calldata_variants": [
                "0xf3f43703",
                "0xf3f437030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4dcb1eb",
            "selector": "0xf4dcb1eb",
            "calldata_variants": [
                "0xf4dcb1eb",
                "0xf4dcb1eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecef6c3b",
            "selector": "0xecef6c3b",
            "calldata_variants": [
                "0xecef6c3b",
                "0xecef6c3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2e75dab",
            "selector": "0xf2e75dab",
            "calldata_variants": [
                "0xf2e75dab",
                "0xf2e75dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 12708,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [
        {
            "pc": 12728,
            "type": "tx_origin_used"
        }
    ],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
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": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb233733",
            "selector": "0xfb233733",
            "calldata_variants": [
                "0xfb233733",
                "0xfb2337330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3f43703",
            "selector": "0xf3f43703",
            "calldata_variants": [
                "0xf3f43703",
                "0xf3f437030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4dcb1eb",
            "selector": "0xf4dcb1eb",
            "calldata_variants": [
                "0xf4dcb1eb",
                "0xf4dcb1eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecef6c3b",
            "selector": "0xecef6c3b",
            "calldata_variants": [
                "0xecef6c3b",
                "0xecef6c3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2e75dab",
            "selector": "0xf2e75dab",
            "calldata_variants": [
                "0xf2e75dab",
                "0xf2e75dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 12728,
            "type": "tx_origin_used"
        }
    ]
}
medium upgradeability cast DELEGATECALL present 80 no —
view
evidence_json 
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xc6a28fe763f17c78e83e4d2ce059d33ca9fab111b30fde3eb6677742a9448ce7
call_targets: 0x1d90d50d5dd04fa7c8bef89aa5872f0701be7982
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc6a28fe763f17c78e83e4d2ce059d33ca9fab111b30fde3eb6677742a9448ce7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1d90d50d5dd04fa7c8bef89aa5872f0701be7982"
    ],
    "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": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb233733",
            "selector": "0xfb233733",
            "calldata_variants": [
                "0xfb233733",
                "0xfb2337330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3f43703",
            "selector": "0xf3f43703",
            "calldata_variants": [
                "0xf3f43703",
                "0xf3f437030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4dcb1eb",
            "selector": "0xf4dcb1eb",
            "calldata_variants": [
                "0xf4dcb1eb",
                "0xf4dcb1eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecef6c3b",
            "selector": "0xecef6c3b",
            "calldata_variants": [
                "0xecef6c3b",
                "0xecef6c3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2e75dab",
            "selector": "0xf2e75dab",
            "calldata_variants": [
                "0xf2e75dab",
                "0xf2e75dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5715,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7705,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8823,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [
        {
            "pc": 12728,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 5
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xc6a28fe763f17c78e83e4d2ce059d33ca9fab111b30fde3eb6677742a9448ce7
call_targets: 0x1d90d50d5dd04fa7c8bef89aa5872f0701be7982
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc6a28fe763f17c78e83e4d2ce059d33ca9fab111b30fde3eb6677742a9448ce7",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1d90d50d5dd04fa7c8bef89aa5872f0701be7982"
    ],
    "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": "0xf77c4791",
            "selector": "0xf77c4791",
            "calldata_variants": [
                "0xf77c4791",
                "0xf77c47910000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfb233733",
            "selector": "0xfb233733",
            "calldata_variants": [
                "0xfb233733",
                "0xfb2337330000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc0c546a",
            "selector": "0xfc0c546a",
            "calldata_variants": [
                "0xfc0c546a",
                "0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3f43703",
            "selector": "0xf3f43703",
            "calldata_variants": [
                "0xf3f43703",
                "0xf3f437030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf4dcb1eb",
            "selector": "0xf4dcb1eb",
            "calldata_variants": [
                "0xf4dcb1eb",
                "0xf4dcb1eb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xecef6c3b",
            "selector": "0xecef6c3b",
            "calldata_variants": [
                "0xecef6c3b",
                "0xecef6c3b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2e75dab",
            "selector": "0xf2e75dab",
            "calldata_variants": [
                "0xf2e75dab",
                "0xf2e75dab0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 5715,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 7705,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 8823,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": [
        {
            "pc": 12728,
            "type": "tx_origin_used"
        }
    ]
}
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": 6
}