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

Analysis Run

194b14ec-3263-48ea-8108-604a9ce01bff

failed
Chain ID
1
Address
0xd2d99a6c36fc2ed5a5066848a907dc445a3e2f39
Block Number
—
Created
Sun, Jan 4, 2026 4:28 AM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31557 report.consolidate complete 1 / 1 3 months ago
77969 artifact.fetch failed 1 / 3 1 week ago
77970 tool.cast_disasm complete 1 / 3 1 week ago
77971 analysis.bundle complete 1 / 3 1 week ago
77972 capability.graph complete 1 / 3 1 week ago
77973 detector.run complete 1 / 3 1 week ago
77974 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths found in the provided sources.
View stderr 
[codex:885483] OpenAI Codex v0.77.0 (research preview)
[codex:885483] --------
[codex:885483] workdir: /tmp/codex-multi-5jnoxobn
[codex:885483] model: gpt-5.2-codex
[codex:885483] provider: openai
[codex:885483] approval: never
[codex:885483] sandbox: read-only
[codex:885483] reasoning effort: xhigh
[codex:885483] reasoning summaries: auto
[codex:885483] session id: 019b8740-0d5c-7010-ac22-9760213fbe4a
[codex:885483] --------
[codex:885483] user
[codex:885483] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:885483] 
[codex:885483] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:885483] 
[codex:885483] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:885483] - Gas inefficiency, code quality, naming, or best practices
[codex:885483] - Theoretical vulnerabilities without a clear extraction path
[codex:885483] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:885483] - Front-running unless it enables theft beyond MEV
[codex:885483] - DoS, griefing, or issues that don't result in attacker profit
[codex:885483] - Missing events, view function issues, or informational findings
[codex:885483] 
[codex:885483] HIGH-VALUE PATTERNS TO HUNT:
[codex:885483] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:885483] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:885483] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:885483] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:885483] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:885483] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:885483] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:885483] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:885483] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:885483] 
[codex:885483] For each finding, you MUST provide:
[codex:885483] 1. Exact file and line numbers of vulnerable code
[codex:885483] 2. Step-by-step exploit transaction sequence
[codex:885483] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:885483] 
[codex:885483] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:885483] 
[codex:885483] Output MUST be valid JSON matching the provided schema.
[codex:885483] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:885483] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:885483] mcp startup: no servers
[codex:885483] 
[codex:885483] thinking
[codex:885483] **Accessing AUDIT_BUNDLE.txt**
[codex:885483] exec
[codex:885483] /bin/bash -lc ls in /tmp/codex-multi-5jnoxobn succeeded in 7ms:
[codex:885483] AUDIT_BUNDLE.txt
[codex:885483] codex-output-schema.json
[codex:885483] contracts
[codex:885483] exec
[codex:885483] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-5jnoxobn succeeded in 5ms:
[codex:885483] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:885483] 
[codex:885483] ================================================================================
[codex:885483] FILE: contracts/@shared/lib-contracts-v0.8/contracts/Dependencies/AddressLib.sol
[codex:885483] ================================================================================
[codex:885483] // SPDX-License-Identifier: MIT
[codex:885483] 
[codex:885483] pragma solidity 0.8.17;
[codex:885483] 
[codex:885483] library AddressLib {
[codex:885483]     address public constant PLATFORM_TOKEN_ADDRESS =
[codex:885483]         0xeFEfeFEfeFeFEFEFEfefeFeFefEfEfEfeFEFEFEf;
[codex:885483] 
[codex:885483]     function isPlatformToken(address addr) internal pure returns (bool) {
[codex:885483]         return addr == PLATFORM_TOKEN_ADDRESS;
[codex:885483]     }
[codex:885483] }
[codex:885483] 
[codex:885483] ================================================================================
[codex:885483] FILE: contracts/@shared/lib-contracts-v0.8/contracts/Dependencies/TransferHelper.sol
[codex:885483] 
[codex:885483] 
[codex:885483] thinking
[codex:885483] **Examining reentrancy and token assumptions**
[codex:885483] thinking
[codex:885483] **Identifying uninitialized proxy as critical risk**
[codex:885483] 
[codex:885483] I’m seeing that if the proxy isn’t initialized right after deployment, an attacker could call initialize to become admin, grant themselves privileged roles like ZAP_ROLE, and then withdraw staked tokens from others—effectively stealing funds. This relies on a common upgradeable contract deployment risk where the proxy’s initialize isn’t guarded. Aside from this, no other immediate profit paths emerge without such a misconfiguration.
[codex:885483] exec
[codex:885483] /bin/bash -lc 'rg --files contracts/contracts' in /tmp/codex-multi-5jnoxobn succeeded in 12ms:
[codex:885483] contracts/contracts/Interfaces/IRewards.sol
[codex:885483] contracts/contracts/Interfaces/IPendleBooster.sol
[codex:885483] contracts/contracts/Interfaces/IBaseRewardPool.sol
[codex:885483] contracts/contracts/BaseRewardPool.sol
[codex:885483] contracts/contracts/Dependencies/EqbConstants.sol
[codex:885483] contracts/contracts/Dependencies/openzeppelin/contracts/utils/PausableUpgradeable.sol
[codex:885483] 
[codex:885483] 
[codex:885483] 
[codex:885483] thinking
[codex:885483] **Evaluating reward pool for vulnerabilities**
[codex:885483] thinking
[codex:885483] **Summarizing potential initialization and transfer risks**
[codex:885483] 
[codex:885483] I'm considering the possibility that the public initializer could let an attacker take over an uninitialized proxy before the legitimate admin, enabling role grants and fund withdrawals once users stake. Although this depends on deployment context, it’s a known critical scenario. I’m also reflecting on nuanced reentrancy and token transfer behaviors that seem safe given state updates before external calls. Since no other profit-extracting exploits appear concrete, this uninitialized proxy risk feels like the central concern to mention.
[codex:885483] thinking
[codex:885483] **Analyzing token transfer behaviors and profit potential**
[codex:885483] 
[codex:885483] I'm reviewing scenarios where staking tokens might behave unusually—like fee-on-transfer or fake tokens that don't actually transfer value—and how that affects accounting and rewards. While some can cause denial of service or accounting mismatches, none seem to create clear profit paths given the contract’s protections and admin controls.
[codex:885483] codex
[codex:885483] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:885483] tokens used
[codex:885483] 23,671
[codex:885483] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-04T04:28:36.723918+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
5
EXT*/BALANCE
3
Total opcodes
6818
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x02d5
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x853828b6
00000019: GT
0000001a: PUSH2 0x0179
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc4d66de8
00000024: GT
00000025: PUSH2 0x00d6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdb2e21bc
0000002f: GT
00000030: PUSH2 0x008a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf1068454
0000003a: GT
0000003b: PUSH2 0x0064
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf1068454
00000045: EQ
00000046: PUSH2 0x08c0
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1229777
00000050: EQ
00000051: PUSH2 0x08d6
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf376d798
0000005b: EQ
0000005c: PUSH2 0x08f6
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xdb2e21bc
0000006b: EQ
0000006c: PUSH2 0x0878
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xdb518db2
00000076: EQ
00000077: PUSH2 0x088d
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xe69d849d
00000081: EQ
00000082: PUSH2 0x08ad
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0xc6def076
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xc6def076
0000009c: EQ
0000009d: PUSH2 0x080b
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xd47c3bf8
000000a7: EQ
000000a8: PUSH2 0x082b
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xd547741f
000000b2: EQ
000000b3: PUSH2 0x0858
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0xc4d66de8
000000c2: EQ
000000c3: PUSH2 0x07c9
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0xc4f59f9b
000000cd: EQ
000000ce: PUSH2 0x07e9
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0xa694fc3a
000000dd: GT
000000de: PUSH2 0x012d
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xb5fd73f8
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xb5fd73f8
000000f3: EQ
000000f4: PUSH2 0x074c
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xb65a7ea5
000000fe: EQ
000000ff: PUSH2 0x077c
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xc00007b0
00000109: EQ
0000010a: PUSH2 0x07a9
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0xa694fc3a
00000119: EQ
0000011a: PUSH2 0x06d8
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0xa980356a
00000124: EQ
00000125: PUSH2 0x06f8
00000128: JUMPI
00000129: PUSH1 0x00
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: DUP1
0000012f: PUSH4 0x8dcb4061
00000134: GT
00000135: PUSH2 0x015e
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x8dcb4061
0000013f: EQ
00000140: PUSH2 0x0668
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x91d14854
0000014a: EQ
0000014b: PUSH2 0x067d
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0xa217fddf
00000155: EQ
00000156: PUSH2 0x06c3
00000159: JUMPI
0000015a: PUSH1 0x00
0000015c: DUP1
0000015d: REVERT
0000015e: JUMPDEST
0000015f: DUP1
00000160: PUSH4 0x853828b6
00000165: EQ
00000166: PUSH2 0x0633
00000169: JUMPI
0000016a: DUP1
0000016b: PUSH4 0x86b8ea20
00000170: EQ
00000171: PUSH2 0x0648
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: DUP1
0000017b: PUSH4 0x2f2ff15d
00000180: GT
00000181: PUSH2 0x0232
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0x638634ee
0000018b: GT
0000018c: PUSH2 0x01e6
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0x75b238fc
00000196: GT
00000197: PUSH2 0x01c0
0000019a: JUMPI
0000019b: DUP1
0000019c: PUSH4 0x75b238fc
000001a1: EQ
000001a2: PUSH2 0x05ca
000001a5: JUMPI
000001a6: DUP1
000001a7: PUSH4 0x7bb7bed1
000001ac: EQ
000001ad: PUSH2 0x05fe
000001b0: JUMPI
000001b1: DUP1
000001b2: PUSH4 0x8456cb59
000001b7: EQ
000001b8: PUSH2 0x061e
000001bb: JUMPI
000001bc: PUSH1 0x00
000001be: DUP1
000001bf: REVERT
000001c0: JUMPDEST
000001c1: DUP1
000001c2: PUSH4 0x638634ee
000001c7: EQ
000001c8: PUSH2 0x053c
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0x70a08231
000001d2: EQ
000001d3: PUSH2 0x055c
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0x72f702f3
000001dd: EQ
000001de: PUSH2 0x0592
000001e1: JUMPI
000001e2: PUSH1 0x00
000001e4: DUP1
000001e5: REVERT
000001e6: JUMPDEST
000001e7: DUP1
000001e8: PUSH4 0x3f4ba83a
000001ed: GT
000001ee: PUSH2 0x0217
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x3f4ba83a
000001f8: EQ
000001f9: PUSH2 0x04bc
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0x5c975abb
00000203: EQ
00000204: PUSH2 0x04d1
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0x6343ef05
0000020e: EQ
0000020f: PUSH2 0x0508
00000212: JUMPI
00000213: PUSH1 0x00
00000215: DUP1
00000216: REVERT
00000217: JUMPDEST
00000218: DUP1
00000219: PUSH4 0x2f2ff15d
0000021e: EQ
0000021f: PUSH2 0x047c
00000222: JUMPI
00000223: DUP1
00000224: PUSH4 0x36568abe
00000229: EQ
0000022a: PUSH2 0x049c
0000022d: JUMPI
0000022e: PUSH1 0x00
00000230: DUP1
00000231: REVERT
00000232: JUMPDEST
00000233: DUP1
00000234: PUSH4 0x211dc32d
00000239: GT
0000023a: PUSH2 0x0289
0000023d: JUMPI
0000023e: DUP1
0000023f: PUSH4 0x2521cdd8
00000244: GT
00000245: PUSH2 0x026e
00000248: JUMPI
00000249: DUP1
0000024a: PUSH4 0x2521cdd8
0000024f: EQ
00000250: PUSH2 0x0427
00000253: JUMPI
00000254: DUP1
00000255: PUSH4 0x2e1a7d4d
0000025a: EQ
0000025b: PUSH2 0x043c
0000025e: JUMPI
0000025f: DUP1
00000260: PUSH4 0x2ee40908
00000265: EQ
00000266: PUSH2 0x045c
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: DUP1
00000270: PUSH4 0x211dc32d
00000275: EQ
00000276: PUSH2 0x03d7
00000279: JUMPI
0000027a: DUP1
0000027b: PUSH4 0x248a9ca3
00000280: EQ
00000281: PUSH2 0x03f7
00000284: JUMPI
00000285: PUSH1 0x00
00000287: DUP1
00000288: REVERT
00000289: JUMPDEST
0000028a: DUP1
0000028b: PUSH4 0x0700037d
00000290: GT
00000291: PUSH2 0x02ba
00000294: JUMPI
00000295: DUP1
00000296: PUSH4 0x0700037d
0000029b: EQ
0000029c: PUSH2 0x032b
0000029f: JUMPI
000002a0: DUP1
000002a1: PUSH4 0x0fb5a6b4
000002a6: EQ
000002a7: PUSH2 0x039d
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0x18160ddd
000002b1: EQ
000002b2: PUSH2 0x03c2
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: DUP1
000002bc: PUSH4 0x01ffc9a7
000002c1: EQ
000002c2: PUSH2 0x02e1
000002c5: JUMPI
000002c6: DUP1
000002c7: PUSH4 0x04d0c2c5
000002cc: EQ
000002cd: PUSH2 0x0316
000002d0: JUMPI
000002d1: PUSH1 0x00
000002d3: DUP1
000002d4: REVERT
000002d5: JUMPDEST
000002d6: CALLDATASIZE
000002d7: PUSH2 0x02dc
000002da: JUMPI
000002db: STOP
000002dc: JUMPDEST
000002dd: PUSH1 0x00
000002df: DUP1
000002e0: REVERT
000002e1: JUMPDEST
000002e2: CALLVALUE
000002e3: DUP1
000002e4: ISZERO
000002e5: PUSH2 0x02ed
000002e8: JUMPI
000002e9: PUSH1 0x00
000002eb: DUP1
000002ec: REVERT
000002ed: JUMPDEST
000002ee: POP
000002ef: PUSH2 0x0301
000002f2: PUSH2 0x02fc
000002f5: CALLDATASIZE
000002f6: PUSH1 0x04
000002f8: PUSH2 0x2c57
000002fb: JUMP
000002fc: JUMPDEST
000002fd: PUSH2 0x0916
00000300: JUMP
00000301: JUMPDEST
00000302: PUSH1 0x40
00000304: MLOAD
00000305: SWAP1
00000306: ISZERO
00000307: ISZERO
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x20
0000030c: ADD
0000030d: JUMPDEST
0000030e: PUSH1 0x40
00000310: MLOAD
00000311: DUP1
00000312: SWAP2
00000313: SUB
00000314: SWAP1
00000315: RETURN
00000316: JUMPDEST
00000317: PUSH2 0x0329
0000031a: PUSH2 0x0324
0000031d: CALLDATASIZE
0000031e: PUSH1 0x04
00000320: PUSH2 0x2c9d
00000323: JUMP
00000324: JUMPDEST
00000325: PUSH2 0x097f
00000328: JUMP
00000329: JUMPDEST
0000032a: STOP
0000032b: JUMPDEST
0000032c: CALLVALUE
0000032d: DUP1
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: POP
00000339: PUSH2 0x0375
0000033c: PUSH2 0x0346
0000033f: CALLDATASIZE
00000340: PUSH1 0x04
00000342: PUSH2 0x2cc7
00000345: JUMP
00000346: JUMPDEST
00000347: PUSH1 0x9d
00000349: PUSH1 0x20
0000034b: MSTORE
0000034c: PUSH1 0x00
0000034e: SWAP1
0000034f: DUP2
00000350: MSTORE
00000351: PUSH1 0x40
00000353: SWAP1
00000354: KECCAK256
00000355: DUP1
00000356: SLOAD
00000357: PUSH1 0x01
00000359: DUP3
0000035a: ADD
0000035b: SLOAD
0000035c: PUSH1 0x02
0000035e: DUP4
0000035f: ADD
00000360: SLOAD
00000361: PUSH1 0x03
00000363: DUP5
00000364: ADD
00000365: SLOAD
00000366: PUSH1 0x04
00000368: SWAP1
00000369: SWAP5
0000036a: ADD
0000036b: SLOAD
0000036c: SWAP3
0000036d: SWAP4
0000036e: SWAP2
0000036f: SWAP3
00000370: SWAP1
00000371: SWAP2
00000372: SWAP1
00000373: DUP6
00000374: JUMP
00000375: JUMPDEST
00000376: PUSH1 0x40
00000378: DUP1
00000379: MLOAD
0000037a: SWAP6
0000037b: DUP7
0000037c: MSTORE
0000037d: PUSH1 0x20
0000037f: DUP7
00000380: ADD
00000381: SWAP5
00000382: SWAP1
00000383: SWAP5
00000384: MSTORE
00000385: SWAP3
00000386: DUP5
00000387: ADD
00000388: SWAP2
00000389: SWAP1
0000038a: SWAP2
0000038b: MSTORE
0000038c: PUSH1 0x60
0000038e: DUP4
0000038f: ADD
00000390: MSTORE
00000391: PUSH1 0x80
00000393: DUP3
00000394: ADD
00000395: MSTORE
00000396: PUSH1 0xa0
00000398: ADD
00000399: PUSH2 0x030d
0000039c: JUMP
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: DUP1
000003a0: ISZERO
000003a1: PUSH2 0x03a9
000003a4: JUMPI
000003a5: PUSH1 0x00
000003a7: DUP1
000003a8: REVERT
000003a9: JUMPDEST
000003aa: POP
000003ab: PUSH2 0x03b4
000003ae: PUSH3 0x093a80
000003b2: DUP2
000003b3: JUMP
000003b4: JUMPDEST
000003b5: PUSH1 0x40
000003b7: MLOAD
000003b8: SWAP1
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x20
000003bd: ADD
000003be: PUSH2 0x030d
000003c1: JUMP
000003c2: JUMPDEST
000003c3: CALLVALUE
000003c4: DUP1
000003c5: ISZERO
000003c6: PUSH2 0x03ce
000003c9: JUMPI
000003ca: PUSH1 0x00
000003cc: DUP1
000003cd: REVERT
000003ce: JUMPDEST
000003cf: POP
000003d0: PUSH1 0x9b
000003d2: SLOAD
000003d3: PUSH2 0x03b4
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH2 0x03b4
000003e8: PUSH2 0x03f2
000003eb: CALLDATASIZE
000003ec: PUSH1 0x04
000003ee: PUSH2 0x2ce2
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH2 0x0bc1
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: DUP1
000003fa: ISZERO
000003fb: PUSH2 0x0403
000003fe: JUMPI
000003ff: PUSH1 0x00
00000401: DUP1
00000402: REVERT
00000403: JUMPDEST
00000404: POP
00000405: PUSH2 0x03b4
00000408: PUSH2 0x0412
0000040b: CALLDATASIZE
0000040c: PUSH1 0x04
0000040e: PUSH2 0x2d15
00000411: JUMP
00000412: JUMPDEST
00000413: PUSH1 0x00
00000415: SWAP1
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x65
0000041a: PUSH1 0x20
0000041c: MSTORE
0000041d: PUSH1 0x40
0000041f: SWAP1
00000420: KECCAK256
00000421: PUSH1 0x01
00000423: ADD
00000424: SLOAD
00000425: SWAP1
00000426: JUMP
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH1 0x9a
00000437: SLOAD
00000438: PUSH2 0x03b4
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0448
00000443: JUMPI
00000444: PUSH1 0x00
00000446: DUP1
00000447: REVERT
00000448: JUMPDEST
00000449: POP
0000044a: PUSH2 0x0329
0000044d: PUSH2 0x0457
00000450: CALLDATASIZE
00000451: PUSH1 0x04
00000453: PUSH2 0x2d15
00000456: JUMP
00000457: JUMPDEST
00000458: PUSH2 0x0c60
0000045b: JUMP
0000045c: JUMPDEST
0000045d: CALLVALUE
0000045e: DUP1
0000045f: ISZERO
00000460: PUSH2 0x0468
00000463: JUMPI
00000464: PUSH1 0x00
00000466: DUP1
00000467: REVERT
00000468: JUMPDEST
00000469: POP
0000046a: PUSH2 0x0329
0000046d: PUSH2 0x0477
00000470: CALLDATASIZE
00000471: PUSH1 0x04
00000473: PUSH2 0x2c9d
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH2 0x0c77
0000047b: JUMP
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x0329
0000048d: PUSH2 0x0497
00000490: CALLDATASIZE
00000491: PUSH1 0x04
00000493: PUSH2 0x2d2e
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x0ecd
0000049b: JUMP
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH2 0x0329
000004ad: PUSH2 0x04b7
000004b0: CALLDATASIZE
000004b1: PUSH1 0x04
000004b3: PUSH2 0x2d2e
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH2 0x0ef2
000004bb: JUMP
000004bc: JUMPDEST
000004bd: CALLVALUE
000004be: DUP1
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: POP
000004ca: PUSH2 0x0329
000004cd: PUSH2 0x0f7e
000004d0: JUMP
000004d1: JUMPDEST
000004d2: CALLVALUE
000004d3: DUP1
000004d4: ISZERO
000004d5: PUSH2 0x04dd
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: DUP1
000004dc: REVERT
000004dd: JUMPDEST
000004de: POP
000004df: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00000500: SLOAD
00000501: PUSH1 0xff
00000503: AND
00000504: PUSH2 0x0301
00000507: JUMP
00000508: JUMPDEST
00000509: CALLVALUE
0000050a: DUP1
0000050b: ISZERO
0000050c: PUSH2 0x0514
0000050f: JUMPI
00000510: PUSH1 0x00
00000512: DUP1
00000513: REVERT
00000514: JUMPDEST
00000515: POP
00000516: PUSH2 0x03b4
00000519: PUSH32 0xda13a707f7a3840d073818a6eaebbe54a724320b9a9d77ff1a6dccba94a770b3
0000053a: DUP2
0000053b: JUMP
0000053c: JUMPDEST
0000053d: CALLVALUE
0000053e: DUP1
0000053f: ISZERO
00000540: PUSH2 0x0548
00000543: JUMPI
00000544: PUSH1 0x00
00000546: DUP1
00000547: REVERT
00000548: JUMPDEST
00000549: POP
0000054a: PUSH2 0x03b4
0000054d: PUSH2 0x0557
00000550: CALLDATASIZE
00000551: PUSH1 0x04
00000553: PUSH2 0x2cc7
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH2 0x0fb0
0000055b: JUMP
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: DUP1
0000055f: ISZERO
00000560: PUSH2 0x0568
00000563: JUMPI
00000564: PUSH1 0x00
00000566: DUP1
00000567: REVERT
00000568: JUMPDEST
00000569: POP
0000056a: PUSH2 0x03b4
0000056d: PUSH2 0x0577
00000570: CALLDATASIZE
00000571: PUSH1 0x04
00000573: PUSH2 0x2cc7
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x01
0000057a: PUSH1 0x01
0000057c: PUSH1 0xa0
0000057e: SHL
0000057f: SUB
00000580: AND
00000581: PUSH1 0x00
00000583: SWAP1
00000584: DUP2
00000585: MSTORE
00000586: PUSH1 0x9c
00000588: PUSH1 0x20
0000058a: MSTORE
0000058b: PUSH1 0x40
0000058d: SWAP1
0000058e: KECCAK256
0000058f: SLOAD
00000590: SWAP1
00000591: JUMP
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH1 0x99
000005a2: SLOAD
000005a3: PUSH2 0x05b2
000005a6: SWAP1
000005a7: PUSH1 0x01
000005a9: PUSH1 0x01
000005ab: PUSH1 0xa0
000005ad: SHL
000005ae: SUB
000005af: AND
000005b0: DUP2
000005b1: JUMP
000005b2: JUMPDEST
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: PUSH1 0x01
000005b8: PUSH1 0x01
000005ba: PUSH1 0xa0
000005bc: SHL
000005bd: SUB
000005be: SWAP1
000005bf: SWAP2
000005c0: AND
000005c1: DUP2
000005c2: MSTORE
000005c3: PUSH1 0x20
000005c5: ADD
000005c6: PUSH2 0x030d
000005c9: JUMP
000005ca: JUMPDEST
000005cb: CALLVALUE
000005cc: DUP1
000005cd: ISZERO
000005ce: PUSH2 0x05d6
000005d1: JUMPI
000005d2: PUSH1 0x00
000005d4: DUP1
000005d5: REVERT
000005d6: JUMPDEST
000005d7: POP
000005d8: PUSH2 0x03b4
000005db: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775
000005fc: DUP2
000005fd: JUMP
000005fe: JUMPDEST
000005ff: CALLVALUE
00000600: DUP1
00000601: ISZERO
00000602: PUSH2 0x060a
00000605: JUMPI
00000606: PUSH1 0x00
00000608: DUP1
00000609: REVERT
0000060a: JUMPDEST
0000060b: POP
0000060c: PUSH2 0x05b2
0000060f: PUSH2 0x0619
00000612: CALLDATASIZE
00000613: PUSH1 0x04
00000615: PUSH2 0x2d15
00000618: JUMP
00000619: JUMPDEST
0000061a: PUSH2 0x0fd4
0000061d: JUMP
0000061e: JUMPDEST
0000061f: CALLVALUE
00000620: DUP1
00000621: ISZERO
00000622: PUSH2 0x062a
00000625: JUMPI
00000626: PUSH1 0x00
00000628: DUP1
00000629: REVERT
0000062a: JUMPDEST
0000062b: POP
0000062c: PUSH2 0x0329
0000062f: PUSH2 0x0ffe
00000632: JUMP
00000633: JUMPDEST
00000634: CALLVALUE
00000635: DUP1
00000636: ISZERO
00000637: PUSH2 0x063f
0000063a: JUMPI
0000063b: PUSH1 0x00
0000063d: DUP1
0000063e: REVERT
0000063f: JUMPDEST
00000640: POP
00000641: PUSH2 0x0329
00000644: PUSH2 0x1030
00000647: JUMP
00000648: JUMPDEST
00000649: CALLVALUE
0000064a: DUP1
0000064b: ISZERO
0000064c: PUSH2 0x0654
0000064f: JUMPI
00000650: PUSH1 0x00
00000652: DUP1
00000653: REVERT
00000654: JUMPDEST
00000655: POP
00000656: PUSH2 0x03b4
00000659: PUSH2 0x0663
0000065c: CALLDATASIZE
0000065d: PUSH1 0x04
0000065f: PUSH2 0x2cc7
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH2 0x1056
00000667: JUMP
00000668: JUMPDEST
00000669: CALLVALUE
0000066a: DUP1
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH2 0x0329
00000679: PUSH2 0x10f6
0000067c: JUMP
0000067d: JUMPDEST
0000067e: CALLVALUE
0000067f: DUP1
00000680: ISZERO
00000681: PUSH2 0x0689
00000684: JUMPI
00000685: PUSH1 0x00
00000687: DUP1
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: PUSH2 0x0301
0000068e: PUSH2 0x0698
00000691: CALLDATASIZE
00000692: PUSH1 0x04
00000694: PUSH2 0x2d2e
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH1 0x00
0000069b: SWAP2
0000069c: DUP3
0000069d: MSTORE
0000069e: PUSH1 0x65
000006a0: PUSH1 0x20
000006a2: SWAP1
000006a3: DUP2
000006a4: MSTORE
000006a5: PUSH1 0x40
000006a7: DUP1
000006a8: DUP5
000006a9: KECCAK256
000006aa: PUSH1 0x01
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: SHL
000006b1: SUB
000006b2: SWAP4
000006b3: SWAP1
000006b4: SWAP4
000006b5: AND
000006b6: DUP5
000006b7: MSTORE
000006b8: SWAP2
000006b9: SWAP1
000006ba: MSTORE
000006bb: SWAP1
000006bc: KECCAK256
000006bd: SLOAD
000006be: PUSH1 0xff
000006c0: AND
000006c1: SWAP1
000006c2: JUMP
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: PUSH2 0x03b4
000006d4: PUSH1 0x00
000006d6: DUP2
000006d7: JUMP
000006d8: JUMPDEST
000006d9: CALLVALUE
000006da: DUP1
000006db: ISZERO
000006dc: PUSH2 0x06e4
000006df: JUMPI
000006e0: PUSH1 0x00
000006e2: DUP1
000006e3: REVERT
000006e4: JUMPDEST
000006e5: POP
000006e6: PUSH2 0x0329
000006e9: PUSH2 0x06f3
000006ec: CALLDATASIZE
000006ed: PUSH1 0x04
000006ef: PUSH2 0x2d15
000006f2: JUMP
000006f3: JUMPDEST
000006f4: PUSH2 0x118b
000006f7: JUMP
000006f8: JUMPDEST
000006f9: CALLVALUE
000006fa: DUP1
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: PUSH2 0x0737
00000709: PUSH2 0x0713
0000070c: CALLDATASIZE
0000070d: PUSH1 0x04
0000070f: PUSH2 0x2ce2
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH1 0x9f
00000716: PUSH1 0x20
00000718: SWAP1
00000719: DUP2
0000071a: MSTORE
0000071b: PUSH1 0x00
0000071d: SWAP3
0000071e: DUP4
0000071f: MSTORE
00000720: PUSH1 0x40
00000722: DUP1
00000723: DUP5
00000724: KECCAK256
00000725: SWAP1
00000726: SWAP2
00000727: MSTORE
00000728: SWAP1
00000729: DUP3
0000072a: MSTORE
0000072b: SWAP1
0000072c: KECCAK256
0000072d: DUP1
0000072e: SLOAD
0000072f: PUSH1 0x01
00000731: SWAP1
00000732: SWAP2
00000733: ADD
00000734: SLOAD
00000735: DUP3
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x40
0000073a: DUP1
0000073b: MLOAD
0000073c: SWAP3
0000073d: DUP4
0000073e: MSTORE
0000073f: PUSH1 0x20
00000741: DUP4
00000742: ADD
00000743: SWAP2
00000744: SWAP1
00000745: SWAP2
00000746: MSTORE
00000747: ADD
00000748: PUSH2 0x030d
0000074b: JUMP
0000074c: JUMPDEST
0000074d: CALLVALUE
0000074e: DUP1
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: PUSH2 0x0301
0000075d: PUSH2 0x0767
00000760: CALLDATASIZE
00000761: PUSH1 0x04
00000763: PUSH2 0x2cc7
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH1 0x9e
0000076a: PUSH1 0x20
0000076c: MSTORE
0000076d: PUSH1 0x00
0000076f: SWAP1
00000770: DUP2
00000771: MSTORE
00000772: PUSH1 0x40
00000774: SWAP1
00000775: KECCAK256
00000776: SLOAD
00000777: PUSH1 0xff
00000779: AND
0000077a: DUP2
0000077b: JUMP
0000077c: JUMPDEST
0000077d: CALLVALUE
0000077e: DUP1
0000077f: ISZERO
00000780: PUSH2 0x0788
00000783: JUMPI
00000784: PUSH1 0x00
00000786: DUP1
00000787: REVERT
00000788: JUMPDEST
00000789: POP
0000078a: PUSH2 0x03b4
0000078d: PUSH2 0x0797
00000790: CALLDATASIZE
00000791: PUSH1 0x04
00000793: PUSH2 0x2cc7
00000796: JUMP
00000797: JUMPDEST
00000798: PUSH1 0xa0
0000079a: PUSH1 0x20
0000079c: MSTORE
0000079d: PUSH1 0x00
0000079f: SWAP1
000007a0: DUP2
000007a1: MSTORE
000007a2: PUSH1 0x40
000007a4: SWAP1
000007a5: KECCAK256
000007a6: SLOAD
000007a7: DUP2
000007a8: JUMP
000007a9: JUMPDEST
000007aa: CALLVALUE
000007ab: DUP1
000007ac: ISZERO
000007ad: PUSH2 0x07b5
000007b0: JUMPI
000007b1: PUSH1 0x00
000007b3: DUP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: POP
000007b7: PUSH2 0x0329
000007ba: PUSH2 0x07c4
000007bd: CALLDATASIZE
000007be: PUSH1 0x04
000007c0: PUSH2 0x2cc7
000007c3: JUMP
000007c4: JUMPDEST
000007c5: PUSH2 0x1373
000007c8: JUMP
000007c9: JUMPDEST
000007ca: CALLVALUE
000007cb: DUP1
000007cc: ISZERO
000007cd: PUSH2 0x07d5
000007d0: JUMPI
000007d1: PUSH1 0x00
000007d3: DUP1
000007d4: REVERT
000007d5: JUMPDEST
000007d6: POP
000007d7: PUSH2 0x0329
000007da: PUSH2 0x07e4
000007dd: CALLDATASIZE
000007de: PUSH1 0x04
000007e0: PUSH2 0x2cc7
000007e3: JUMP
000007e4: JUMPDEST
000007e5: PUSH2 0x1482
000007e8: JUMP
000007e9: JUMPDEST
000007ea: CALLVALUE
000007eb: DUP1
000007ec: ISZERO
000007ed: PUSH2 0x07f5
000007f0: JUMPI
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: POP
000007f7: PUSH2 0x07fe
000007fa: PUSH2 0x1699
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH1 0x40
00000801: MLOAD
00000802: PUSH2 0x030d
00000805: SWAP2
00000806: SWAP1
00000807: PUSH2 0x2d51
0000080a: JUMP
0000080b: JUMPDEST
0000080c: CALLVALUE
0000080d: DUP1
0000080e: ISZERO
0000080f: PUSH2 0x0817
00000812: JUMPI
00000813: PUSH1 0x00
00000815: DUP1
00000816: REVERT
00000817: JUMPDEST
00000818: POP
00000819: PUSH1 0x97
0000081b: SLOAD
0000081c: PUSH2 0x05b2
0000081f: SWAP1
00000820: PUSH1 0x01
00000822: PUSH1 0x01
00000824: PUSH1 0xa0
00000826: SHL
00000827: SUB
00000828: AND
00000829: DUP2
0000082a: JUMP
0000082b: JUMPDEST
0000082c: CALLVALUE
0000082d: DUP1
0000082e: ISZERO
0000082f: PUSH2 0x0837
00000832: JUMPI
00000833: PUSH1 0x00
00000835: DUP1
00000836: REVERT
00000837: JUMPDEST
00000838: POP
00000839: PUSH2 0x03b4
0000083c: PUSH2 0x0846
0000083f: CALLDATASIZE
00000840: PUSH1 0x04
00000842: PUSH2 0x2cc7
00000845: JUMP
00000846: JUMPDEST
00000847: PUSH1 0xa1
00000849: PUSH1 0x20
0000084b: MSTORE
0000084c: PUSH1 0x00
0000084e: SWAP1
0000084f: DUP2
00000850: MSTORE
00000851: PUSH1 0x40
00000853: SWAP1
00000854: KECCAK256
00000855: SLOAD
00000856: DUP2
00000857: JUMP
00000858: JUMPDEST
00000859: CALLVALUE
0000085a: DUP1
0000085b: ISZERO
0000085c: PUSH2 0x0864
0000085f: JUMPI
00000860: PUSH1 0x00
00000862: DUP1
00000863: REVERT
00000864: JUMPDEST
00000865: POP
00000866: PUSH2 0x0329
00000869: PUSH2 0x0873
0000086c: CALLDATASIZE
0000086d: PUSH1 0x04
0000086f: PUSH2 0x2d2e
00000872: JUMP
00000873: JUMPDEST
00000874: PUSH2 0x16fb
00000877: JUMP
00000878: JUMPDEST
00000879: CALLVALUE
0000087a: DUP1
0000087b: ISZERO
0000087c: PUSH2 0x0884
0000087f: JUMPI
00000880: PUSH1 0x00
00000882: DUP1
00000883: REVERT
00000884: JUMPDEST
00000885: POP
00000886: PUSH2 0x0329
00000889: PUSH2 0x1720
0000088c: JUMP
0000088d: JUMPDEST
0000088e: CALLVALUE
0000088f: DUP1
00000890: ISZERO
00000891: PUSH2 0x0899
00000894: JUMPI
00000895: PUSH1 0x00
00000897: DUP1
00000898: REVERT
00000899: JUMPDEST
0000089a: POP
0000089b: PUSH2 0x0329
0000089e: PUSH2 0x08a8
000008a1: CALLDATASIZE
000008a2: PUSH1 0x04
000008a4: PUSH2 0x2c9d
000008a7: JUMP
000008a8: JUMPDEST
000008a9: PUSH2 0x177c
000008ac: JUMP
000008ad: JUMPDEST
000008ae: PUSH2 0x0329
000008b1: PUSH2 0x08bb
000008b4: CALLDATASIZE
000008b5: PUSH1 0x04
000008b7: PUSH2 0x2c9d
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH2 0x17ba
000008bf: JUMP
000008c0: JUMPDEST
000008c1: CALLVALUE
000008c2: DUP1
000008c3: ISZERO
000008c4: PUSH2 0x08cc
000008c7: JUMPI
000008c8: PUSH1 0x00
000008ca: DUP1
000008cb: REVERT
000008cc: JUMPDEST
000008cd: POP
000008ce: PUSH2 0x03b4
000008d1: PUSH1 0x98
000008d3: SLOAD
000008d4: DUP2
000008d5: JUMP
000008d6: JUMPDEST
000008d7: CALLVALUE
000008d8: DUP1
000008d9: ISZERO
000008da: PUSH2 0x08e2
000008dd: JUMPI
000008de: PUSH1 0x00
000008e0: DUP1
000008e1: REVERT
000008e2: JUMPDEST
000008e3: POP
000008e4: PUSH2 0x03b4
000008e7: PUSH2 0x08f1
000008ea: CALLDATASIZE
000008eb: PUSH1 0x04
000008ed: PUSH2 0x2cc7
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH2 0x194f
000008f5: JUMP
000008f6: JUMPDEST
000008f7: CALLVALUE
000008f8: DUP1
000008f9: ISZERO
000008fa: PUSH2 0x0902
000008fd: JUMPI
000008fe: PUSH1 0x00
00000900: DUP1
00000901: REVERT
00000902: JUMPDEST
00000903: POP
00000904: PUSH2 0x0329
00000907: PUSH2 0x0911
0000090a: CALLDATASIZE
0000090b: PUSH1 0x04
0000090d: PUSH2 0x2d9e
00000910: JUMP
00000911: JUMPDEST
00000912: PUSH2 0x1a11
00000915: JUMP
00000916: JUMPDEST
00000917: PUSH1 0x00
00000919: PUSH1 0x01
0000091b: PUSH1 0x01
0000091d: PUSH1 0xe0
0000091f: SHL
00000920: SUB
00000921: NOT
00000922: DUP3
00000923: AND
00000924: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000
00000945: EQ
00000946: DUP1
00000947: PUSH2 0x0979
0000094a: JUMPI
0000094b: POP
0000094c: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
0000096d: PUSH1 0x01
0000096f: PUSH1 0x01
00000971: PUSH1 0xe0
00000973: SHL
00000974: SUB
00000975: NOT
00000976: DUP4
00000977: AND
00000978: EQ
00000979: JUMPDEST
0000097a: SWAP3
0000097b: SWAP2
0000097c: POP
0000097d: POP
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775
000009a1: PUSH2 0x09a9
000009a4: DUP2
000009a5: PUSH2 0x1bdf
000009a8: JUMP
000009a9: JUMPDEST
000009aa: PUSH2 0x09b1
000009ad: PUSH2 0x1be9
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH2 0x09ba
000009b5: DUP4
000009b6: PUSH2 0x1c45
000009b9: JUMP
000009ba: JUMPDEST
000009bb: PUSH20 0xefefefefefefefefefefefefefefefefefefefef
000009d0: PUSH1 0x01
000009d2: PUSH1 0x01
000009d4: PUSH1 0xa0
000009d6: SHL
000009d7: SUB
000009d8: DUP5
000009d9: AND
000009da: SUB
000009db: PUSH2 0x0a37
000009de: JUMPI
000009df: CALLVALUE
000009e0: DUP3
000009e1: EQ
000009e2: PUSH2 0x0a32
000009e5: JUMPI
000009e6: PUSH1 0x40
000009e8: MLOAD
000009e9: PUSH3 0x461bcd
000009ed: PUSH1 0xe5
000009ef: SHL
000009f0: DUP2
000009f1: MSTORE
000009f2: PUSH1 0x20
000009f4: PUSH1 0x04
000009f6: DUP3
000009f7: ADD
000009f8: MSTORE
000009f9: PUSH1 0x0e
000009fb: PUSH1 0x24
000009fd: DUP3
000009fe: ADD
000009ff: MSTORE
00000a00: PUSH32 0x696e76616c696420616d6f756e74000000000000000000000000000000000000
00000a21: PUSH1 0x44
00000a23: DUP3
00000a24: ADD
00000a25: MSTORE
00000a26: PUSH1 0x64
00000a28: ADD
00000a29: JUMPDEST
00000a2a: PUSH1 0x40
00000a2c: MLOAD
00000a2d: DUP1
00000a2e: SWAP2
00000a2f: SUB
00000a30: SWAP1
00000a31: REVERT
00000a32: JUMPDEST
00000a33: PUSH2 0x0a9a
00000a36: JUMP
00000a37: JUMPDEST
00000a38: CALLVALUE
00000a39: ISZERO
00000a3a: PUSH2 0x0a85
00000a3d: JUMPI
00000a3e: PUSH1 0x40
00000a40: MLOAD
00000a41: PUSH3 0x461bcd
00000a45: PUSH1 0xe5
00000a47: SHL
00000a48: DUP2
00000a49: MSTORE
00000a4a: PUSH1 0x20
00000a4c: PUSH1 0x04
00000a4e: DUP3
00000a4f: ADD
00000a50: MSTORE
00000a51: PUSH1 0x11
00000a53: PUSH1 0x24
00000a55: DUP3
00000a56: ADD
00000a57: MSTORE
00000a58: PUSH32 0x696e76616c6964206d73672e76616c7565000000000000000000000000000000
00000a79: PUSH1 0x44
00000a7b: DUP3
00000a7c: ADD
00000a7d: MSTORE
00000a7e: PUSH1 0x64
00000a80: ADD
00000a81: PUSH2 0x0a29
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH2 0x0a9a
00000a89: PUSH1 0x01
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0xa0
00000a8f: SHL
00000a90: SUB
00000a91: DUP5
00000a92: AND
00000a93: CALLER
00000a94: ADDRESS
00000a95: DUP6
00000a96: PUSH2 0x1d5b
00000a99: JUMP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x01
00000a9f: PUSH1 0xa0
00000aa1: SHL
00000aa2: SUB
00000aa3: DUP4
00000aa4: AND
00000aa5: PUSH1 0x00
00000aa7: SWAP1
00000aa8: DUP2
00000aa9: MSTORE
00000aaa: PUSH1 0x9d
00000aac: PUSH1 0x20
00000aae: MSTORE
00000aaf: PUSH1 0x40
00000ab1: SWAP1
00000ab2: KECCAK256
00000ab3: PUSH1 0x9b
00000ab5: SLOAD
00000ab6: PUSH1 0x00
00000ab8: SUB
00000ab9: PUSH2 0x0ad7
00000abc: JUMPI
00000abd: DUP3
00000abe: DUP2
00000abf: PUSH1 0x04
00000ac1: ADD
00000ac2: SLOAD
00000ac3: PUSH2 0x0acc
00000ac6: SWAP2
00000ac7: SWAP1
00000ac8: PUSH2 0x2df0
00000acb: JUMP
00000acc: JUMPDEST
00000acd: PUSH1 0x04
00000acf: SWAP1
00000ad0: SWAP2
00000ad1: ADD
00000ad2: SSTORE
00000ad3: POP
00000ad4: POP
00000ad5: POP
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH2 0x0ae0
00000adb: DUP5
00000adc: PUSH2 0x194f
00000adf: JUMP
00000ae0: JUMPDEST
00000ae1: PUSH1 0x03
00000ae3: DUP3
00000ae4: ADD
00000ae5: SSTORE
00000ae6: PUSH1 0x04
00000ae8: DUP2
00000ae9: ADD
00000aea: SLOAD
00000aeb: PUSH2 0x0af4
00000aee: SWAP1
00000aef: DUP5
00000af0: PUSH2 0x2df0
00000af3: JUMP
00000af4: JUMPDEST
00000af5: PUSH1 0x00
00000af7: PUSH1 0x04
00000af9: DUP4
00000afa: ADD
00000afb: SSTORE
00000afc: DUP2
00000afd: SLOAD
00000afe: SWAP1
00000aff: SWAP4
00000b00: POP
00000b01: TIMESTAMP
00000b02: LT
00000b03: PUSH2 0x0b1d
00000b06: JUMPI
00000b07: PUSH2 0x0b13
00000b0a: PUSH3 0x093a80
00000b0e: DUP5
00000b0f: PUSH2 0x2e03
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH1 0x01
00000b16: DUP3
00000b17: ADD
00000b18: SSTORE
00000b19: PUSH2 0x0b64
00000b1c: JUMP
00000b1d: JUMPDEST
00000b1e: DUP1
00000b1f: SLOAD
00000b20: PUSH1 0x00
00000b22: SWAP1
00000b23: PUSH2 0x0b2d
00000b26: SWAP1
00000b27: TIMESTAMP
00000b28: SWAP1
00000b29: PUSH2 0x2e25
00000b2c: JUMP
00000b2d: JUMPDEST
00000b2e: SWAP1
00000b2f: POP
00000b30: PUSH1 0x00
00000b32: DUP3
00000b33: PUSH1 0x01
00000b35: ADD
00000b36: SLOAD
00000b37: DUP3
00000b38: PUSH2 0x0b41
00000b3b: SWAP2
00000b3c: SWAP1
00000b3d: PUSH2 0x2e38
00000b40: JUMP
00000b41: JUMPDEST
00000b42: SWAP1
00000b43: POP
00000b44: PUSH2 0x0b4d
00000b47: DUP2
00000b48: DUP7
00000b49: PUSH2 0x2df0
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: SWAP5
00000b4f: POP
00000b50: PUSH2 0x0b5c
00000b53: PUSH3 0x093a80
00000b57: DUP7
00000b58: PUSH2 0x2e03
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x01
00000b5f: DUP5
00000b60: ADD
00000b61: SSTORE
00000b62: POP
00000b63: POP
00000b64: JUMPDEST
00000b65: TIMESTAMP
00000b66: PUSH1 0x02
00000b68: DUP3
00000b69: ADD
00000b6a: DUP2
00000b6b: SWAP1
00000b6c: SSTORE
00000b6d: PUSH2 0x0b7a
00000b70: SWAP1
00000b71: PUSH3 0x093a80
00000b75: SWAP1
00000b76: PUSH2 0x2df0
00000b79: JUMP
00000b7a: JUMPDEST
00000b7b: DUP2
00000b7c: SSTORE
00000b7d: PUSH1 0x40
00000b7f: MLOAD
00000b80: DUP4
00000b81: DUP2
00000b82: MSTORE
00000b83: PUSH1 0x01
00000b85: PUSH1 0x01
00000b87: PUSH1 0xa0
00000b89: SHL
00000b8a: SUB
00000b8b: DUP6
00000b8c: AND
00000b8d: SWAP1
00000b8e: PUSH32 0xac24935fd910bc682b5ccb1a07b718cadf8cf2f6d1404c4f3ddc3662dae40e29
00000baf: SWAP1
00000bb0: PUSH1 0x20
00000bb2: ADD
00000bb3: PUSH1 0x40
00000bb5: MLOAD
00000bb6: DUP1
00000bb7: SWAP2
00000bb8: SUB
00000bb9: SWAP1
00000bba: LOG2
00000bbb: POP
00000bbc: JUMPDEST
00000bbd: POP
00000bbe: POP
00000bbf: POP
00000bc0: JUMP
00000bc1: JUMPDEST
00000bc2: PUSH1 0x01
00000bc4: PUSH1 0x01
00000bc6: PUSH1 0xa0
00000bc8: SHL
00000bc9: SUB
00000bca: DUP1
00000bcb: DUP4
00000bcc: AND
00000bcd: PUSH1 0x00
00000bcf: SWAP1
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x9f
00000bd4: PUSH1 0x20
00000bd6: SWAP1
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: PUSH1 0x40
00000bdb: DUP1
00000bdc: DUP4
00000bdd: KECCAK256
00000bde: SWAP4
00000bdf: DUP6
00000be0: AND
00000be1: DUP4
00000be2: MSTORE
00000be3: SWAP3
00000be4: DUP2
00000be5: MSTORE
00000be6: DUP3
00000be7: DUP3
00000be8: KECCAK256
00000be9: DUP4
00000bea: MLOAD
00000beb: DUP1
00000bec: DUP6
00000bed: ADD
00000bee: SWAP1
00000bef: SWAP5
00000bf0: MSTORE
00000bf1: DUP1
00000bf2: SLOAD
00000bf3: DUP1
00000bf4: DUP6
00000bf5: MSTORE
00000bf6: PUSH1 0x01
00000bf8: SWAP1
00000bf9: SWAP2
00000bfa: ADD
00000bfb: SLOAD
00000bfc: SWAP2
00000bfd: DUP5
00000bfe: ADD
00000bff: DUP3
00000c00: SWAP1
00000c01: MSTORE
00000c02: SWAP2
00000c03: SWAP3
00000c04: SWAP2
00000c05: PUSH8 0x0de0b6b3a7640000
00000c0e: SWAP1
00000c0f: PUSH2 0x0c17
00000c12: DUP7
00000c13: PUSH2 0x194f
00000c16: JUMP
00000c17: JUMPDEST
00000c18: PUSH2 0x0c21
00000c1b: SWAP2
00000c1c: SWAP1
00000c1d: PUSH2 0x2e25
00000c20: JUMP
00000c21: JUMPDEST
00000c22: PUSH1 0x01
00000c24: PUSH1 0x01
00000c26: PUSH1 0xa0
00000c28: SHL
00000c29: SUB
00000c2a: DUP8
00000c2b: AND
00000c2c: PUSH1 0x00
00000c2e: SWAP1
00000c2f: DUP2
00000c30: MSTORE
00000c31: PUSH1 0x9c
00000c33: PUSH1 0x20
00000c35: MSTORE
00000c36: PUSH1 0x40
00000c38: SWAP1
00000c39: KECCAK256
00000c3a: SLOAD
00000c3b: PUSH2 0x0c44
00000c3e: SWAP2
00000c3f: SWAP1
00000c40: PUSH2 0x2e38
00000c43: JUMP
00000c44: JUMPDEST
00000c45: PUSH2 0x0c4e
00000c48: SWAP2
00000c49: SWAP1
00000c4a: PUSH2 0x2e03
00000c4d: JUMP
00000c4e: JUMPDEST
00000c4f: PUSH2 0x0c58
00000c52: SWAP2
00000c53: SWAP1
00000c54: PUSH2 0x2df0
00000c57: JUMP
00000c58: JUMPDEST
00000c59: SWAP5
00000c5a: SWAP4
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: JUMP
00000c60: JUMPDEST
00000c61: PUSH2 0x0c68
00000c64: PUSH2 0x1be9
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH2 0x0c74
00000c6c: CALLER
00000c6d: DUP3
00000c6e: PUSH1 0x01
00000c70: PUSH2 0x1dfa
00000c73: JUMP
00000c74: JUMPDEST
00000c75: POP
00000c76: JUMP
00000c77: JUMPDEST
00000c78: DUP2
00000c79: PUSH1 0x00
00000c7b: JUMPDEST
00000c7c: PUSH1 0x9a
00000c7e: SLOAD
00000c7f: DUP2
00000c80: LT
00000c81: ISZERO
00000c82: PUSH2 0x0d44
00000c85: JUMPI
00000c86: PUSH1 0x00
00000c88: PUSH1 0x9a
00000c8a: DUP3
00000c8b: DUP2
00000c8c: SLOAD
00000c8d: DUP2
00000c8e: LT
00000c8f: PUSH2 0x0c9a
00000c92: JUMPI
00000c93: PUSH2 0x0c9a
00000c96: PUSH2 0x2e4f
00000c99: JUMP
00000c9a: JUMPDEST
00000c9b: PUSH1 0x00
00000c9d: SWAP2
00000c9e: DUP3
00000c9f: MSTORE
00000ca0: PUSH1 0x20
00000ca2: DUP1
00000ca3: DUP4
00000ca4: KECCAK256
00000ca5: SWAP1
00000ca6: SWAP2
00000ca7: ADD
00000ca8: SLOAD
00000ca9: PUSH1 0x01
00000cab: PUSH1 0x01
00000cad: PUSH1 0xa0
00000caf: SHL
00000cb0: SUB
00000cb1: AND
00000cb2: DUP1
00000cb3: DUP4
00000cb4: MSTORE
00000cb5: PUSH1 0x9d
00000cb7: SWAP1
00000cb8: SWAP2
00000cb9: MSTORE
00000cba: PUSH1 0x40
00000cbc: SWAP1
00000cbd: SWAP2
00000cbe: KECCAK256
00000cbf: SWAP1
00000cc0: SWAP2
00000cc1: POP
00000cc2: PUSH2 0x0cca
00000cc5: DUP3
00000cc6: PUSH2 0x194f
00000cc9: JUMP
00000cca: JUMPDEST
00000ccb: PUSH1 0x03
00000ccd: DUP3
00000cce: ADD
00000ccf: SSTORE
00000cd0: PUSH2 0x0cd8
00000cd3: DUP3
00000cd4: PUSH2 0x0fb0
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: PUSH1 0x02
00000cdb: DUP3
00000cdc: ADD
00000cdd: SSTORE
00000cde: PUSH1 0x01
00000ce0: PUSH1 0x01
00000ce2: PUSH1 0xa0
00000ce4: SHL
00000ce5: SUB
00000ce6: DUP1
00000ce7: DUP6
00000ce8: AND
00000ce9: PUSH1 0x00
00000ceb: SWAP1
00000cec: DUP2
00000ced: MSTORE
00000cee: PUSH1 0x9f
00000cf0: PUSH1 0x20
00000cf2: SWAP1
00000cf3: DUP2
00000cf4: MSTORE
00000cf5: PUSH1 0x40
00000cf7: DUP1
00000cf8: DUP4
00000cf9: KECCAK256
00000cfa: SWAP4
00000cfb: DUP7
00000cfc: AND
00000cfd: DUP4
00000cfe: MSTORE
00000cff: SWAP3
00000d00: SWAP1
00000d01: MSTORE
00000d02: KECCAK256
00000d03: PUSH2 0x0d0c
00000d06: DUP6
00000d07: DUP5
00000d08: PUSH2 0x0bc1
00000d0b: JUMP
00000d0c: JUMPDEST
00000d0d: PUSH1 0x01
00000d0f: DUP3
00000d10: ADD
00000d11: SSTORE
00000d12: PUSH1 0x01
00000d14: PUSH1 0x01
00000d16: PUSH1 0xa0
00000d18: SHL
00000d19: SUB
00000d1a: SWAP1
00000d1b: SWAP3
00000d1c: AND
00000d1d: PUSH1 0x00
00000d1f: SWAP1
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x9d
00000d24: PUSH1 0x20
00000d26: MSTORE
00000d27: PUSH1 0x40
00000d29: SWAP1
00000d2a: KECCAK256
00000d2b: PUSH1 0x03
00000d2d: ADD
00000d2e: SLOAD
00000d2f: SWAP1
00000d30: SWAP2
00000d31: SSTORE
00000d32: POP
00000d33: DUP1
00000d34: PUSH2 0x0d3c
00000d37: DUP2
00000d38: PUSH2 0x2e65
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: SWAP2
00000d3e: POP
00000d3f: POP
00000d40: PUSH2 0x0c7b
00000d43: JUMP
00000d44: JUMPDEST
00000d45: POP
00000d46: PUSH2 0x0d4e
00000d49: DUP2
00000d4a: PUSH2 0x1056
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH1 0x01
00000d51: PUSH1 0x01
00000d53: PUSH1 0xa0
00000d55: SHL
00000d56: SUB
00000d57: DUP3
00000d58: AND
00000d59: PUSH1 0x00
00000d5b: SWAP1
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0xa1
00000d60: PUSH1 0x20
00000d62: SWAP1
00000d63: DUP2
00000d64: MSTORE
00000d65: PUSH1 0x40
00000d67: DUP1
00000d68: DUP4
00000d69: KECCAK256
00000d6a: SWAP4
00000d6b: SWAP1
00000d6c: SWAP4
00000d6d: SSTORE
00000d6e: PUSH1 0xa0
00000d70: SWAP1
00000d71: MSTORE
00000d72: KECCAK256
00000d73: TIMESTAMP
00000d74: SWAP1
00000d75: SSTORE
00000d76: PUSH2 0x0d7d
00000d79: PUSH2 0x1be9
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: PUSH1 0x01
00000d80: PUSH1 0x01
00000d82: PUSH1 0xa0
00000d84: SHL
00000d85: SUB
00000d86: DUP4
00000d87: AND
00000d88: PUSH2 0x0dd3
00000d8b: JUMPI
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: PUSH3 0x461bcd
00000d93: PUSH1 0xe5
00000d95: SHL
00000d96: DUP2
00000d97: MSTORE
00000d98: PUSH1 0x20
00000d9a: PUSH1 0x04
00000d9c: DUP3
00000d9d: ADD
00000d9e: MSTORE
00000d9f: PUSH1 0x0d
00000da1: PUSH1 0x24
00000da3: DUP3
00000da4: ADD
00000da5: MSTORE
00000da6: PUSH32 0x696e76616c6964205f666f722100000000000000000000000000000000000000
00000dc7: PUSH1 0x44
00000dc9: DUP3
00000dca: ADD
00000dcb: MSTORE
00000dcc: PUSH1 0x64
00000dce: ADD
00000dcf: PUSH2 0x0a29
00000dd2: JUMP
00000dd3: JUMPDEST
00000dd4: PUSH1 0x00
00000dd6: DUP3
00000dd7: GT
00000dd8: PUSH2 0x0e23
00000ddb: JUMPI
00000ddc: PUSH1 0x40
00000dde: MLOAD
00000ddf: PUSH3 0x461bcd
00000de3: PUSH1 0xe5
00000de5: SHL
00000de6: DUP2
00000de7: MSTORE
00000de8: PUSH1 0x20
00000dea: PUSH1 0x04
00000dec: DUP3
00000ded: ADD
00000dee: MSTORE
00000def: PUSH1 0x1b
00000df1: PUSH1 0x24
00000df3: DUP3
00000df4: ADD
00000df5: MSTORE
00000df6: PUSH32 0x526577617264506f6f6c203a2043616e6e6f74207374616b6520300000000000
00000e17: PUSH1 0x44
00000e19: DUP3
00000e1a: ADD
00000e1b: MSTORE
00000e1c: PUSH1 0x64
00000e1e: ADD
00000e1f: PUSH2 0x0a29
00000e22: JUMP
00000e23: JUMPDEST
00000e24: DUP2
00000e25: PUSH1 0x9b
00000e27: SLOAD
00000e28: PUSH2 0x0e31
00000e2b: SWAP2
00000e2c: SWAP1
00000e2d: PUSH2 0x2df0
00000e30: JUMP
00000e31: JUMPDEST
00000e32: PUSH1 0x9b
00000e34: SSTORE
00000e35: PUSH1 0x01
00000e37: PUSH1 0x01
00000e39: PUSH1 0xa0
00000e3b: SHL
00000e3c: SUB
00000e3d: DUP4
00000e3e: AND
00000e3f: PUSH1 0x00
00000e41: SWAP1
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH1 0x9c
00000e46: PUSH1 0x20
00000e48: MSTORE
00000e49: PUSH1 0x40
00000e4b: SWAP1
00000e4c: KECCAK256
00000e4d: SLOAD
00000e4e: PUSH2 0x0e58
00000e51: SWAP1
00000e52: DUP4
00000e53: SWAP1
00000e54: PUSH2 0x2df0
00000e57: JUMP
00000e58: JUMPDEST
00000e59: PUSH1 0x01
00000e5b: PUSH1 0x01
00000e5d: PUSH1 0xa0
00000e5f: SHL
00000e60: SUB
00000e61: DUP1
00000e62: DUP6
00000e63: AND
00000e64: PUSH1 0x00
00000e66: SWAP1
00000e67: DUP2
00000e68: MSTORE
00000e69: PUSH1 0x9c
00000e6b: PUSH1 0x20
00000e6d: MSTORE
00000e6e: PUSH1 0x40
00000e70: SWAP1
00000e71: KECCAK256
00000e72: SWAP2
00000e73: SWAP1
00000e74: SWAP2
00000e75: SSTORE
00000e76: PUSH1 0x99
00000e78: SLOAD
00000e79: PUSH2 0x0e85
00000e7c: SWAP2
00000e7d: AND
00000e7e: CALLER
00000e7f: ADDRESS
00000e80: DUP6
00000e81: PUSH2 0x1d5b
00000e84: JUMP
00000e85: JUMPDEST
00000e86: DUP3
00000e87: PUSH1 0x01
00000e89: PUSH1 0x01
00000e8b: PUSH1 0xa0
00000e8d: SHL
00000e8e: SUB
00000e8f: AND
00000e90: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00000eb1: DUP4
00000eb2: PUSH1 0x40
00000eb4: MLOAD
00000eb5: PUSH2 0x0ec0
00000eb8: SWAP2
00000eb9: DUP2
00000eba: MSTORE
00000ebb: PUSH1 0x20
00000ebd: ADD
00000ebe: SWAP1
00000ebf: JUMP
00000ec0: JUMPDEST
00000ec1: PUSH1 0x40
00000ec3: MLOAD
00000ec4: DUP1
00000ec5: SWAP2
00000ec6: SUB
00000ec7: SWAP1
00000ec8: LOG2
00000ec9: POP
00000eca: POP
00000ecb: POP
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x00
00000ed0: DUP3
00000ed1: DUP2
00000ed2: MSTORE
00000ed3: PUSH1 0x65
00000ed5: PUSH1 0x20
00000ed7: MSTORE
00000ed8: PUSH1 0x40
00000eda: SWAP1
00000edb: KECCAK256
00000edc: PUSH1 0x01
00000ede: ADD
00000edf: SLOAD
00000ee0: PUSH2 0x0ee8
00000ee3: DUP2
00000ee4: PUSH2 0x1bdf
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH2 0x0bbc
00000eec: DUP4
00000eed: DUP4
00000eee: PUSH2 0x1ff8
00000ef1: JUMP
00000ef2: JUMPDEST
00000ef3: PUSH1 0x01
00000ef5: PUSH1 0x01
00000ef7: PUSH1 0xa0
00000ef9: SHL
00000efa: SUB
00000efb: DUP2
00000efc: AND
00000efd: CALLER
00000efe: EQ
00000eff: PUSH2 0x0f70
00000f02: JUMPI
00000f03: PUSH1 0x40
00000f05: MLOAD
00000f06: PUSH3 0x461bcd
00000f0a: PUSH1 0xe5
00000f0c: SHL
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: PUSH1 0x04
00000f13: DUP3
00000f14: ADD
00000f15: MSTORE
00000f16: PUSH1 0x2f
00000f18: PUSH1 0x24
00000f1a: DUP3
00000f1b: ADD
00000f1c: MSTORE
00000f1d: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365
00000f3e: PUSH1 0x44
00000f40: DUP3
00000f41: ADD
00000f42: MSTORE
00000f43: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000
00000f64: PUSH1 0x64
00000f66: DUP3
00000f67: ADD
00000f68: MSTORE
00000f69: PUSH1 0x84
00000f6b: ADD
00000f6c: PUSH2 0x0a29
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: PUSH2 0x0f7a
00000f74: DUP3
00000f75: DUP3
00000f76: PUSH2 0x209a
00000f79: JUMP
00000f7a: JUMPDEST
00000f7b: POP
00000f7c: POP
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00000fa0: PUSH2 0x0fa8
00000fa3: DUP2
00000fa4: PUSH2 0x1bdf
00000fa7: JUMP
00000fa8: JUMPDEST
00000fa9: PUSH2 0x0c74
00000fac: PUSH2 0x211d
00000faf: JUMP
00000fb0: JUMPDEST
00000fb1: PUSH1 0x01
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: SHL
00000fb8: SUB
00000fb9: DUP2
00000fba: AND
00000fbb: PUSH1 0x00
00000fbd: SWAP1
00000fbe: DUP2
00000fbf: MSTORE
00000fc0: PUSH1 0x9d
00000fc2: PUSH1 0x20
00000fc4: MSTORE
00000fc5: PUSH1 0x40
00000fc7: DUP2
00000fc8: KECCAK256
00000fc9: SLOAD
00000fca: PUSH2 0x0979
00000fcd: SWAP1
00000fce: TIMESTAMP
00000fcf: SWAP1
00000fd0: PUSH2 0x218f
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: PUSH1 0x9a
00000fd7: DUP2
00000fd8: DUP2
00000fd9: SLOAD
00000fda: DUP2
00000fdb: LT
00000fdc: PUSH2 0x0fe4
00000fdf: JUMPI
00000fe0: PUSH1 0x00
00000fe2: DUP1
00000fe3: REVERT
00000fe4: JUMPDEST
00000fe5: PUSH1 0x00
00000fe7: SWAP2
00000fe8: DUP3
00000fe9: MSTORE
00000fea: PUSH1 0x20
00000fec: SWAP1
00000fed: SWAP2
00000fee: KECCAK256
00000fef: ADD
00000ff0: SLOAD
00000ff1: PUSH1 0x01
00000ff3: PUSH1 0x01
00000ff5: PUSH1 0xa0
00000ff7: SHL
00000ff8: SUB
00000ff9: AND
00000ffa: SWAP1
00000ffb: POP
00000ffc: DUP2
00000ffd: JUMP
00000ffe: JUMPDEST
00000fff: PUSH32 0x65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a
00001020: PUSH2 0x1028
00001023: DUP2
00001024: PUSH2 0x1bdf
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH2 0x0c74
0000102c: PUSH2 0x21a5
0000102f: JUMP
00001030: JUMPDEST
00001031: PUSH2 0x1038
00001034: PUSH2 0x1be9
00001037: JUMP
00001038: JUMPDEST
00001039: CALLER
0000103a: PUSH1 0x00
0000103c: DUP2
0000103d: DUP2
0000103e: MSTORE
0000103f: PUSH1 0x9c
00001041: PUSH1 0x20
00001043: MSTORE
00001044: PUSH1 0x40
00001046: SWAP1
00001047: KECCAK256
00001048: SLOAD
00001049: PUSH2 0x1054
0000104c: SWAP2
0000104d: SWAP1
0000104e: PUSH1 0x01
00001050: PUSH2 0x1dfa
00001053: JUMP
00001054: JUMPDEST
00001055: JUMP
00001056: JUMPDEST
00001057: PUSH1 0x01
00001059: PUSH1 0x01
0000105b: PUSH1 0xa0
0000105d: SHL
0000105e: SUB
0000105f: DUP2
00001060: AND
00001061: PUSH1 0x00
00001063: SWAP1
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0xa0
00001068: PUSH1 0x20
0000106a: MSTORE
0000106b: PUSH1 0x40
0000106d: DUP2
0000106e: KECCAK256
0000106f: SLOAD
00001070: DUP1
00001071: DUP3
00001072: SUB
00001073: PUSH2 0x107f
00001076: JUMPI
00001077: POP
00001078: PUSH1 0x00
0000107a: SWAP3
0000107b: SWAP2
0000107c: POP
0000107d: POP
0000107e: JUMP
0000107f: JUMPDEST
00001080: PUSH1 0x01
00001082: PUSH1 0x01
00001084: PUSH1 0xa0
00001086: SHL
00001087: SUB
00001088: DUP4
00001089: AND
0000108a: PUSH1 0x00
0000108c: SWAP1
0000108d: DUP2
0000108e: MSTORE
0000108f: PUSH1 0x9c
00001091: PUSH1 0x20
00001093: MSTORE
00001094: PUSH1 0x40
00001096: DUP2
00001097: KECCAK256
00001098: SLOAD
00001099: SWAP1
0000109a: DUP2
0000109b: SWAP1
0000109c: SUB
0000109d: PUSH2 0x10be
000010a0: JUMPI
000010a1: POP
000010a2: POP
000010a3: POP
000010a4: PUSH1 0x01
000010a6: PUSH1 0x01
000010a8: PUSH1 0xa0
000010aa: SHL
000010ab: SUB
000010ac: AND
000010ad: PUSH1 0x00
000010af: SWAP1
000010b0: DUP2
000010b1: MSTORE
000010b2: PUSH1 0xa1
000010b4: PUSH1 0x20
000010b6: MSTORE
000010b7: PUSH1 0x40
000010b9: SWAP1
000010ba: KECCAK256
000010bb: SLOAD
000010bc: SWAP1
000010bd: JUMP
000010be: JUMPDEST
000010bf: DUP1
000010c0: PUSH2 0x10c9
000010c3: DUP4
000010c4: TIMESTAMP
000010c5: PUSH2 0x2e25
000010c8: JUMP
000010c9: JUMPDEST
000010ca: PUSH2 0x10d3
000010cd: SWAP2
000010ce: SWAP1
000010cf: PUSH2 0x2e38
000010d2: JUMP
000010d3: JUMPDEST
000010d4: PUSH1 0x01
000010d6: PUSH1 0x01
000010d8: PUSH1 0xa0
000010da: SHL
000010db: SUB
000010dc: DUP6
000010dd: AND
000010de: PUSH1 0x00
000010e0: SWAP1
000010e1: DUP2
000010e2: MSTORE
000010e3: PUSH1 0xa1
000010e5: PUSH1 0x20
000010e7: MSTORE
000010e8: PUSH1 0x40
000010ea: SWAP1
000010eb: KECCAK256
000010ec: SLOAD
000010ed: PUSH2 0x0c58
000010f0: SWAP2
000010f1: SWAP1
000010f2: PUSH2 0x2df0
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH2 0x10fe
000010fa: PUSH2 0x1be9
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x99
00001101: SLOAD
00001102: PUSH1 0x40
00001104: MLOAD
00001105: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00001126: DUP2
00001127: MSTORE
00001128: CALLER
00001129: PUSH1 0x04
0000112b: DUP3
0000112c: ADD
0000112d: MSTORE
0000112e: PUSH1 0x00
00001130: SWAP2
00001131: PUSH1 0x01
00001133: PUSH1 0x01
00001135: PUSH1 0xa0
00001137: SHL
00001138: SUB
00001139: AND
0000113a: SWAP1
0000113b: PUSH4 0x70a08231
00001140: SWAP1
00001141: PUSH1 0x24
00001143: ADD
00001144: PUSH1 0x20
00001146: PUSH1 0x40
00001148: MLOAD
00001149: DUP1
0000114a: DUP4
0000114b: SUB
0000114c: DUP2
0000114d: DUP7
0000114e: GAS
0000114f: STATICCALL
00001150: ISZERO
00001151: DUP1
00001152: ISZERO
00001153: PUSH2 0x1160
00001156: JUMPI
00001157: RETURNDATASIZE
00001158: PUSH1 0x00
0000115a: DUP1
0000115b: RETURNDATACOPY
0000115c: RETURNDATASIZE
0000115d: PUSH1 0x00
0000115f: REVERT
00001160: JUMPDEST
00001161: POP
00001162: POP
00001163: POP
00001164: POP
00001165: PUSH1 0x40
00001167: MLOAD
00001168: RETURNDATASIZE
00001169: PUSH1 0x1f
0000116b: NOT
0000116c: PUSH1 0x1f
0000116e: DUP3
0000116f: ADD
00001170: AND
00001171: DUP3
00001172: ADD
00001173: DUP1
00001174: PUSH1 0x40
00001176: MSTORE
00001177: POP
00001178: DUP2
00001179: ADD
0000117a: SWAP1
0000117b: PUSH2 0x1184
0000117e: SWAP2
0000117f: SWAP1
00001180: PUSH2 0x2e7e
00001183: JUMP
00001184: JUMPDEST
00001185: SWAP1
00001186: POP
00001187: PUSH2 0x0c74
0000118a: DUP2
0000118b: JUMPDEST
0000118c: CALLER
0000118d: PUSH1 0x00
0000118f: JUMPDEST
00001190: PUSH1 0x9a
00001192: SLOAD
00001193: DUP2
00001194: LT
00001195: ISZERO
00001196: PUSH2 0x1258
00001199: JUMPI
0000119a: PUSH1 0x00
0000119c: PUSH1 0x9a
0000119e: DUP3
0000119f: DUP2
000011a0: SLOAD
000011a1: DUP2
000011a2: LT
000011a3: PUSH2 0x11ae
000011a6: JUMPI
000011a7: PUSH2 0x11ae
000011aa: PUSH2 0x2e4f
000011ad: JUMP
000011ae: JUMPDEST
000011af: PUSH1 0x00
000011b1: SWAP2
000011b2: DUP3
000011b3: MSTORE
000011b4: PUSH1 0x20
000011b6: DUP1
000011b7: DUP4
000011b8: KECCAK256
000011b9: SWAP1
000011ba: SWAP2
000011bb: ADD
000011bc: SLOAD
000011bd: PUSH1 0x01
000011bf: PUSH1 0x01
000011c1: PUSH1 0xa0
000011c3: SHL
000011c4: SUB
000011c5: AND
000011c6: DUP1
000011c7: DUP4
000011c8: MSTORE
000011c9: PUSH1 0x9d
000011cb: SWAP1
000011cc: SWAP2
000011cd: MSTORE
000011ce: PUSH1 0x40
000011d0: SWAP1
000011d1: SWAP2
000011d2: KECCAK256
000011d3: SWAP1
000011d4: SWAP2
000011d5: POP
000011d6: PUSH2 0x11de
000011d9: DUP3
000011da: PUSH2 0x194f
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x03
000011e1: DUP3
000011e2: ADD
000011e3: SSTORE
000011e4: PUSH2 0x11ec
000011e7: DUP3
000011e8: PUSH2 0x0fb0
000011eb: JUMP
000011ec: JUMPDEST
000011ed: PUSH1 0x02
000011ef: DUP3
000011f0: ADD
000011f1: SSTORE
000011f2: PUSH1 0x01
000011f4: PUSH1 0x01
000011f6: PUSH1 0xa0
000011f8: SHL
000011f9: SUB
000011fa: DUP1
000011fb: DUP6
000011fc: AND
000011fd: PUSH1 0x00
000011ff: SWAP1
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x9f
00001204: PUSH1 0x20
00001206: SWAP1
00001207: DUP2
00001208: MSTORE
00001209: PUSH1 0x40
0000120b: DUP1
0000120c: DUP4
0000120d: KECCAK256
0000120e: SWAP4
0000120f: DUP7
00001210: AND
00001211: DUP4
00001212: MSTORE
00001213: SWAP3
00001214: SWAP1
00001215: MSTORE
00001216: KECCAK256
00001217: PUSH2 0x1220
0000121a: DUP6
0000121b: DUP5
0000121c: PUSH2 0x0bc1
0000121f: JUMP
00001220: JUMPDEST
00001221: PUSH1 0x01
00001223: DUP3
00001224: ADD
00001225: SSTORE
00001226: PUSH1 0x01
00001228: PUSH1 0x01
0000122a: PUSH1 0xa0
0000122c: SHL
0000122d: SUB
0000122e: SWAP1
0000122f: SWAP3
00001230: AND
00001231: PUSH1 0x00
00001233: SWAP1
00001234: DUP2
00001235: MSTORE
00001236: PUSH1 0x9d
00001238: PUSH1 0x20
0000123a: MSTORE
0000123b: PUSH1 0x40
0000123d: SWAP1
0000123e: KECCAK256
0000123f: PUSH1 0x03
00001241: ADD
00001242: SLOAD
00001243: SWAP1
00001244: SWAP2
00001245: SSTORE
00001246: POP
00001247: DUP1
00001248: PUSH2 0x1250
0000124b: DUP2
0000124c: PUSH2 0x2e65
0000124f: JUMP
00001250: JUMPDEST
00001251: SWAP2
00001252: POP
00001253: POP
00001254: PUSH2 0x118f
00001257: JUMP
00001258: JUMPDEST
00001259: POP
0000125a: PUSH2 0x1262
0000125d: DUP2
0000125e: PUSH2 0x1056
00001261: JUMP
00001262: JUMPDEST
00001263: PUSH1 0x01
00001265: PUSH1 0x01
00001267: PUSH1 0xa0
00001269: SHL
0000126a: SUB
0000126b: DUP3
0000126c: AND
0000126d: PUSH1 0x00
0000126f: SWAP1
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0xa1
00001274: PUSH1 0x20
00001276: SWAP1
00001277: DUP2
00001278: MSTORE
00001279: PUSH1 0x40
0000127b: DUP1
0000127c: DUP4
0000127d: KECCAK256
0000127e: SWAP4
0000127f: SWAP1
00001280: SWAP4
00001281: SSTORE
00001282: PUSH1 0xa0
00001284: SWAP1
00001285: MSTORE
00001286: KECCAK256
00001287: TIMESTAMP
00001288: SWAP1
00001289: SSTORE
0000128a: PUSH2 0x1291
0000128d: PUSH2 0x1be9
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH1 0x00
00001294: DUP3
00001295: GT
00001296: PUSH2 0x12e1
00001299: JUMPI
0000129a: PUSH1 0x40
0000129c: MLOAD
0000129d: PUSH3 0x461bcd
000012a1: PUSH1 0xe5
000012a3: SHL
000012a4: DUP2
000012a5: MSTORE
000012a6: PUSH1 0x20
000012a8: PUSH1 0x04
000012aa: DUP3
000012ab: ADD
000012ac: MSTORE
000012ad: PUSH1 0x1b
000012af: PUSH1 0x24
000012b1: DUP3
000012b2: ADD
000012b3: MSTORE
000012b4: PUSH32 0x526577617264506f6f6c203a2043616e6e6f74207374616b6520300000000000
000012d5: PUSH1 0x44
000012d7: DUP3
000012d8: ADD
000012d9: MSTORE
000012da: PUSH1 0x64
000012dc: ADD
000012dd: PUSH2 0x0a29
000012e0: JUMP
000012e1: JUMPDEST
000012e2: DUP2
000012e3: PUSH1 0x9b
000012e5: SLOAD
000012e6: PUSH2 0x12ef
000012e9: SWAP2
000012ea: SWAP1
000012eb: PUSH2 0x2df0
000012ee: JUMP
000012ef: JUMPDEST
000012f0: PUSH1 0x9b
000012f2: SSTORE
000012f3: CALLER
000012f4: PUSH1 0x00
000012f6: SWAP1
000012f7: DUP2
000012f8: MSTORE
000012f9: PUSH1 0x9c
000012fb: PUSH1 0x20
000012fd: MSTORE
000012fe: PUSH1 0x40
00001300: SWAP1
00001301: KECCAK256
00001302: SLOAD
00001303: PUSH2 0x130d
00001306: SWAP1
00001307: DUP4
00001308: SWAP1
00001309: PUSH2 0x2df0
0000130c: JUMP
0000130d: JUMPDEST
0000130e: CALLER
0000130f: PUSH1 0x00
00001311: DUP2
00001312: DUP2
00001313: MSTORE
00001314: PUSH1 0x9c
00001316: PUSH1 0x20
00001318: MSTORE
00001319: PUSH1 0x40
0000131b: SWAP1
0000131c: KECCAK256
0000131d: SWAP2
0000131e: SWAP1
0000131f: SWAP2
00001320: SSTORE
00001321: PUSH1 0x99
00001323: SLOAD
00001324: PUSH2 0x133a
00001327: SWAP2
00001328: PUSH1 0x01
0000132a: PUSH1 0x01
0000132c: PUSH1 0xa0
0000132e: SHL
0000132f: SUB
00001330: SWAP1
00001331: SWAP2
00001332: AND
00001333: SWAP1
00001334: ADDRESS
00001335: DUP6
00001336: PUSH2 0x1d5b
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH1 0x40
0000133d: MLOAD
0000133e: DUP3
0000133f: DUP2
00001340: MSTORE
00001341: CALLER
00001342: SWAP1
00001343: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
00001364: SWAP1
00001365: PUSH1 0x20
00001367: ADD
00001368: PUSH1 0x40
0000136a: MLOAD
0000136b: DUP1
0000136c: SWAP2
0000136d: SUB
0000136e: SWAP1
0000136f: LOG2
00001370: POP
00001371: POP
00001372: JUMP
00001373: JUMPDEST
00001374: DUP1
00001375: PUSH1 0x00
00001377: JUMPDEST
00001378: PUSH1 0x9a
0000137a: SLOAD
0000137b: DUP2
0000137c: LT
0000137d: ISZERO
0000137e: PUSH2 0x1440
00001381: JUMPI
00001382: PUSH1 0x00
00001384: PUSH1 0x9a
00001386: DUP3
00001387: DUP2
00001388: SLOAD
00001389: DUP2
0000138a: LT
0000138b: PUSH2 0x1396
0000138e: JUMPI
0000138f: PUSH2 0x1396
00001392: PUSH2 0x2e4f
00001395: JUMP
00001396: JUMPDEST
00001397: PUSH1 0x00
00001399: SWAP2
0000139a: DUP3
0000139b: MSTORE
0000139c: PUSH1 0x20
0000139e: DUP1
0000139f: DUP4
000013a0: KECCAK256
000013a1: SWAP1
000013a2: SWAP2
000013a3: ADD
000013a4: SLOAD
000013a5: PUSH1 0x01
000013a7: PUSH1 0x01
000013a9: PUSH1 0xa0
000013ab: SHL
000013ac: SUB
000013ad: AND
000013ae: DUP1
000013af: DUP4
000013b0: MSTORE
000013b1: PUSH1 0x9d
000013b3: SWAP1
000013b4: SWAP2
000013b5: MSTORE
000013b6: PUSH1 0x40
000013b8: SWAP1
000013b9: SWAP2
000013ba: KECCAK256
000013bb: SWAP1
000013bc: SWAP2
000013bd: POP
000013be: PUSH2 0x13c6
000013c1: DUP3
000013c2: PUSH2 0x194f
000013c5: JUMP
000013c6: JUMPDEST
000013c7: PUSH1 0x03
000013c9: DUP3
000013ca: ADD
000013cb: SSTORE
000013cc: PUSH2 0x13d4
000013cf: DUP3
000013d0: PUSH2 0x0fb0
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x02
000013d7: DUP3
000013d8: ADD
000013d9: SSTORE
000013da: PUSH1 0x01
000013dc: PUSH1 0x01
000013de: PUSH1 0xa0
000013e0: SHL
000013e1: SUB
000013e2: DUP1
000013e3: DUP6
000013e4: AND
000013e5: PUSH1 0x00
000013e7: SWAP1
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x9f
000013ec: PUSH1 0x20
000013ee: SWAP1
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x40
000013f3: DUP1
000013f4: DUP4
000013f5: KECCAK256
000013f6: SWAP4
000013f7: DUP7
000013f8: AND
000013f9: DUP4
000013fa: MSTORE
000013fb: SWAP3
000013fc: SWAP1
000013fd: MSTORE
000013fe: KECCAK256
000013ff: PUSH2 0x1408
00001402: DUP6
00001403: DUP5
00001404: PUSH2 0x0bc1
00001407: JUMP
00001408: JUMPDEST
00001409: PUSH1 0x01
0000140b: DUP3
0000140c: ADD
0000140d: SSTORE
0000140e: PUSH1 0x01
00001410: PUSH1 0x01
00001412: PUSH1 0xa0
00001414: SHL
00001415: SUB
00001416: SWAP1
00001417: SWAP3
00001418: AND
00001419: PUSH1 0x00
0000141b: SWAP1
0000141c: DUP2
0000141d: MSTORE
0000141e: PUSH1 0x9d
00001420: PUSH1 0x20
00001422: MSTORE
00001423: PUSH1 0x40
00001425: SWAP1
00001426: KECCAK256
00001427: PUSH1 0x03
00001429: ADD
0000142a: SLOAD
0000142b: SWAP1
0000142c: SWAP2
0000142d: SSTORE
0000142e: POP
0000142f: DUP1
00001430: PUSH2 0x1438
00001433: DUP2
00001434: PUSH2 0x2e65
00001437: JUMP
00001438: JUMPDEST
00001439: SWAP2
0000143a: POP
0000143b: POP
0000143c: PUSH2 0x1377
0000143f: JUMP
00001440: JUMPDEST
00001441: POP
00001442: PUSH2 0x144a
00001445: DUP2
00001446: PUSH2 0x1056
00001449: JUMP
0000144a: JUMPDEST
0000144b: PUSH1 0x01
0000144d: PUSH1 0x01
0000144f: PUSH1 0xa0
00001451: SHL
00001452: SUB
00001453: DUP3
00001454: AND
00001455: PUSH1 0x00
00001457: SWAP1
00001458: DUP2
00001459: MSTORE
0000145a: PUSH1 0xa1
0000145c: PUSH1 0x20
0000145e: SWAP1
0000145f: DUP2
00001460: MSTORE
00001461: PUSH1 0x40
00001463: DUP1
00001464: DUP4
00001465: KECCAK256
00001466: SWAP4
00001467: SWAP1
00001468: SWAP4
00001469: SSTORE
0000146a: PUSH1 0xa0
0000146c: SWAP1
0000146d: MSTORE
0000146e: KECCAK256
0000146f: TIMESTAMP
00001470: SWAP1
00001471: SSTORE
00001472: PUSH2 0x1479
00001475: PUSH2 0x1be9
00001478: JUMP
00001479: JUMPDEST
0000147a: PUSH2 0x0f7a
0000147d: DUP3
0000147e: PUSH2 0x2200
00001481: JUMP
00001482: JUMPDEST
00001483: PUSH1 0x00
00001485: SLOAD
00001486: PUSH2 0x0100
00001489: SWAP1
0000148a: DIV
0000148b: PUSH1 0xff
0000148d: AND
0000148e: ISZERO
0000148f: DUP1
00001490: DUP1
00001491: ISZERO
00001492: PUSH2 0x14a2
00001495: JUMPI
00001496: POP
00001497: PUSH1 0x00
00001499: SLOAD
0000149a: PUSH1 0x01
0000149c: PUSH1 0xff
0000149e: SWAP1
0000149f: SWAP2
000014a0: AND
000014a1: LT
000014a2: JUMPDEST
000014a3: DUP1
000014a4: PUSH2 0x14bc
000014a7: JUMPI
000014a8: POP
000014a9: ADDRESS
000014aa: EXTCODESIZE
000014ab: ISZERO
000014ac: DUP1
000014ad: ISZERO
000014ae: PUSH2 0x14bc
000014b1: JUMPI
000014b2: POP
000014b3: PUSH1 0x00
000014b5: SLOAD
000014b6: PUSH1 0xff
000014b8: AND
000014b9: PUSH1 0x01
000014bb: EQ
000014bc: JUMPDEST
000014bd: PUSH2 0x152e
000014c0: JUMPI
000014c1: PUSH1 0x40
000014c3: MLOAD
000014c4: PUSH3 0x461bcd
000014c8: PUSH1 0xe5
000014ca: SHL
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x20
000014cf: PUSH1 0x04
000014d1: DUP3
000014d2: ADD
000014d3: MSTORE
000014d4: PUSH1 0x2e
000014d6: PUSH1 0x24
000014d8: DUP3
000014d9: ADD
000014da: MSTORE
000014db: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000014fc: PUSH1 0x44
000014fe: DUP3
000014ff: ADD
00001500: MSTORE
00001501: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000
00001522: PUSH1 0x64
00001524: DUP3
00001525: ADD
00001526: MSTORE
00001527: PUSH1 0x84
00001529: ADD
0000152a: PUSH2 0x0a29
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH1 0x00
00001531: DUP1
00001532: SLOAD
00001533: PUSH1 0xff
00001535: NOT
00001536: AND
00001537: PUSH1 0x01
00001539: OR
0000153a: SWAP1
0000153b: SSTORE
0000153c: DUP1
0000153d: ISZERO
0000153e: PUSH2 0x1551
00001541: JUMPI
00001542: PUSH1 0x00
00001544: DUP1
00001545: SLOAD
00001546: PUSH2 0xff00
00001549: NOT
0000154a: AND
0000154b: PUSH2 0x0100
0000154e: OR
0000154f: SWAP1
00001550: SSTORE
00001551: JUMPDEST
00001552: PUSH1 0x01
00001554: PUSH1 0x01
00001556: PUSH1 0xa0
00001558: SHL
00001559: SUB
0000155a: DUP3
0000155b: AND
0000155c: PUSH2 0x15a7
0000155f: JUMPI
00001560: PUSH1 0x40
00001562: MLOAD
00001563: PUSH3 0x461bcd
00001567: PUSH1 0xe5
00001569: SHL
0000156a: DUP2
0000156b: MSTORE
0000156c: PUSH1 0x20
0000156e: PUSH1 0x04
00001570: DUP3
00001571: ADD
00001572: MSTORE
00001573: PUSH1 0x11
00001575: PUSH1 0x24
00001577: DUP3
00001578: ADD
00001579: MSTORE
0000157a: PUSH32 0x696e76616c6964205f626f6f7374657221000000000000000000000000000000
0000159b: PUSH1 0x44
0000159d: DUP3
0000159e: ADD
0000159f: MSTORE
000015a0: PUSH1 0x64
000015a2: ADD
000015a3: PUSH2 0x0a29
000015a6: JUMP
000015a7: JUMPDEST
000015a8: PUSH2 0x15af
000015ab: PUSH2 0x238b
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH2 0x15b7
000015b3: PUSH2 0x23f6
000015b6: JUMP
000015b7: JUMPDEST
000015b8: PUSH1 0x97
000015ba: DUP1
000015bb: SLOAD
000015bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015d1: NOT
000015d2: AND
000015d3: PUSH1 0x01
000015d5: PUSH1 0x01
000015d7: PUSH1 0xa0
000015d9: SHL
000015da: SUB
000015db: DUP5
000015dc: AND
000015dd: OR
000015de: SWAP1
000015df: SSTORE
000015e0: PUSH2 0x15ea
000015e3: PUSH1 0x00
000015e5: CALLER
000015e6: PUSH2 0x1ff8
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH2 0x1614
000015ee: PUSH32 0xa49807205ce4d355092ef5a8a18f56e8913cf4a201fbe287825b095693c21775
0000160f: DUP4
00001610: PUSH2 0x1ff8
00001613: JUMP
00001614: JUMPDEST
00001615: PUSH1 0x40
00001617: MLOAD
00001618: PUSH1 0x01
0000161a: PUSH1 0x01
0000161c: PUSH1 0xa0
0000161e: SHL
0000161f: SUB
00001620: DUP4
00001621: AND
00001622: DUP2
00001623: MSTORE
00001624: PUSH32 0x5407aa361e671ca7c620332ea4c073198f8bc6125f2aceb4766a160b5afec161
00001645: SWAP1
00001646: PUSH1 0x20
00001648: ADD
00001649: PUSH1 0x40
0000164b: MLOAD
0000164c: DUP1
0000164d: SWAP2
0000164e: SUB
0000164f: SWAP1
00001650: LOG1
00001651: DUP1
00001652: ISZERO
00001653: PUSH2 0x0f7a
00001656: JUMPI
00001657: PUSH1 0x00
00001659: DUP1
0000165a: SLOAD
0000165b: PUSH2 0xff00
0000165e: NOT
0000165f: AND
00001660: SWAP1
00001661: SSTORE
00001662: PUSH1 0x40
00001664: MLOAD
00001665: PUSH1 0x01
00001667: DUP2
00001668: MSTORE
00001669: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
0000168a: SWAP1
0000168b: PUSH1 0x20
0000168d: ADD
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: DUP1
00001692: SWAP2
00001693: SUB
00001694: SWAP1
00001695: LOG1
00001696: POP
00001697: POP
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x60
0000169c: PUSH1 0x9a
0000169e: DUP1
0000169f: SLOAD
000016a0: DUP1
000016a1: PUSH1 0x20
000016a3: MUL
000016a4: PUSH1 0x20
000016a6: ADD
000016a7: PUSH1 0x40
000016a9: MLOAD
000016aa: SWAP1
000016ab: DUP2
000016ac: ADD
000016ad: PUSH1 0x40
000016af: MSTORE
000016b0: DUP1
000016b1: SWAP3
000016b2: SWAP2
000016b3: SWAP1
000016b4: DUP2
000016b5: DUP2
000016b6: MSTORE
000016b7: PUSH1 0x20
000016b9: ADD
000016ba: DUP3
000016bb: DUP1
000016bc: SLOAD
000016bd: DUP1
000016be: ISZERO
000016bf: PUSH2 0x16f1
000016c2: JUMPI
000016c3: PUSH1 0x20
000016c5: MUL
000016c6: DUP3
000016c7: ADD
000016c8: SWAP2
000016c9: SWAP1
000016ca: PUSH1 0x00
000016cc: MSTORE
000016cd: PUSH1 0x20
000016cf: PUSH1 0x00
000016d1: KECCAK256
000016d2: SWAP1
000016d3: JUMPDEST
000016d4: DUP2
000016d5: SLOAD
000016d6: PUSH1 0x01
000016d8: PUSH1 0x01
000016da: PUSH1 0xa0
000016dc: SHL
000016dd: SUB
000016de: AND
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x01
000016e3: SWAP1
000016e4: SWAP2
000016e5: ADD
000016e6: SWAP1
000016e7: PUSH1 0x20
000016e9: ADD
000016ea: DUP1
000016eb: DUP4
000016ec: GT
000016ed: PUSH2 0x16d3
000016f0: JUMPI
000016f1: JUMPDEST
000016f2: POP
000016f3: POP
000016f4: POP
000016f5: POP
000016f6: POP
000016f7: SWAP1
000016f8: POP
000016f9: SWAP1
000016fa: JUMP
000016fb: JUMPDEST
000016fc: PUSH1 0x00
000016fe: DUP3
000016ff: DUP2
00001700: MSTORE
00001701: PUSH1 0x65
00001703: PUSH1 0x20
00001705: MSTORE
00001706: PUSH1 0x40
00001708: SWAP1
00001709: KECCAK256
0000170a: PUSH1 0x01
0000170c: ADD
0000170d: SLOAD
0000170e: PUSH2 0x1716
00001711: DUP2
00001712: PUSH2 0x1bdf
00001715: JUMP
00001716: JUMPDEST
00001717: PUSH2 0x0bbc
0000171a: DUP4
0000171b: DUP4
0000171c: PUSH2 0x209a
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH2 0x1728
00001724: PUSH2 0x1be9
00001727: JUMP
00001728: JUMPDEST
00001729: CALLER
0000172a: PUSH1 0x00
0000172c: DUP2
0000172d: DUP2
0000172e: MSTORE
0000172f: PUSH1 0x9c
00001731: PUSH1 0x20
00001733: MSTORE
00001734: PUSH1 0x40
00001736: DUP2
00001737: KECCAK256
00001738: SLOAD
00001739: SWAP2
0000173a: PUSH2 0x1744
0000173d: SWAP2
0000173e: DUP4
0000173f: SWAP1
00001740: PUSH2 0x1dfa
00001743: JUMP
00001744: JUMPDEST
00001745: PUSH1 0x40
00001747: MLOAD
00001748: DUP2
00001749: DUP2
0000174a: MSTORE
0000174b: CALLER
0000174c: SWAP1
0000174d: PUSH32 0x2e39961a70a10f4d46383948095ac2752b3ee642a7c76aa827410aaff08c2e51
0000176e: SWAP1
0000176f: PUSH1 0x20
00001771: ADD
00001772: PUSH1 0x40
00001774: MLOAD
00001775: DUP1
00001776: SWAP2
00001777: SUB
00001778: SWAP1
00001779: LOG2
0000177a: POP
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH32 0xda13a707f7a3840d073818a6eaebbe54a724320b9a9d77ff1a6dccba94a770b3
0000179e: PUSH2 0x17a6
000017a1: DUP2
000017a2: PUSH2 0x1bdf
000017a5: JUMP
000017a6: JUMPDEST
000017a7: PUSH2 0x17ae
000017aa: PUSH2 0x1be9
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH2 0x0bbc
000017b2: DUP4
000017b3: DUP4
000017b4: PUSH1 0x01
000017b6: PUSH2 0x1dfa
000017b9: JUMP
000017ba: JUMPDEST
000017bb: PUSH2 0x17c2
000017be: PUSH2 0x1be9
000017c1: JUMP
000017c2: JUMPDEST
000017c3: PUSH1 0x01
000017c5: PUSH1 0x01
000017c7: PUSH1 0xa0
000017c9: SHL
000017ca: SUB
000017cb: DUP3
000017cc: AND
000017cd: PUSH1 0x00
000017cf: SWAP1
000017d0: DUP2
000017d1: MSTORE
000017d2: PUSH1 0x9e
000017d4: PUSH1 0x20
000017d6: MSTORE
000017d7: PUSH1 0x40
000017d9: SWAP1
000017da: KECCAK256
000017db: SLOAD
000017dc: PUSH1 0xff
000017de: AND
000017df: PUSH2 0x182a
000017e2: JUMPI
000017e3: PUSH1 0x40
000017e5: MLOAD
000017e6: PUSH3 0x461bcd
000017ea: PUSH1 0xe5
000017ec: SHL
000017ed: DUP2
000017ee: MSTORE
000017ef: PUSH1 0x20
000017f1: PUSH1 0x04
000017f3: DUP3
000017f4: ADD
000017f5: MSTORE
000017f6: PUSH1 0x0d
000017f8: PUSH1 0x24
000017fa: DUP3
000017fb: ADD
000017fc: MSTORE
000017fd: PUSH32 0x696e76616c696420746f6b656e00000000000000000000000000000000000000
0000181e: PUSH1 0x44
00001820: DUP3
00001821: ADD
00001822: MSTORE
00001823: PUSH1 0x64
00001825: ADD
00001826: PUSH2 0x0a29
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH20 0xefefefefefefefefefefefefefefefefefefefef
00001840: PUSH1 0x01
00001842: PUSH1 0x01
00001844: PUSH1 0xa0
00001846: SHL
00001847: SUB
00001848: DUP4
00001849: AND
0000184a: SUB
0000184b: PUSH2 0x18a2
0000184e: JUMPI
0000184f: CALLVALUE
00001850: DUP2
00001851: EQ
00001852: PUSH2 0x189d
00001855: JUMPI
00001856: PUSH1 0x40
00001858: MLOAD
00001859: PUSH3 0x461bcd
0000185d: PUSH1 0xe5
0000185f: SHL
00001860: DUP2
00001861: MSTORE
00001862: PUSH1 0x20
00001864: PUSH1 0x04
00001866: DUP3
00001867: ADD
00001868: MSTORE
00001869: PUSH1 0x0e
0000186b: PUSH1 0x24
0000186d: DUP3
0000186e: ADD
0000186f: MSTORE
00001870: PUSH32 0x696e76616c696420616d6f756e74000000000000000000000000000000000000
00001891: PUSH1 0x44
00001893: DUP3
00001894: ADD
00001895: MSTORE
00001896: PUSH1 0x64
00001898: ADD
00001899: PUSH2 0x0a29
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH2 0x1905
000018a1: JUMP
000018a2: JUMPDEST
000018a3: CALLVALUE
000018a4: ISZERO
000018a5: PUSH2 0x18f0
000018a8: JUMPI
000018a9: PUSH1 0x40
000018ab: MLOAD
000018ac: PUSH3 0x461bcd
000018b0: PUSH1 0xe5
000018b2: SHL
000018b3: DUP2
000018b4: MSTORE
000018b5: PUSH1 0x20
000018b7: PUSH1 0x04
000018b9: DUP3
000018ba: ADD
000018bb: MSTORE
000018bc: PUSH1 0x11
000018be: PUSH1 0x24
000018c0: DUP3
000018c1: ADD
000018c2: MSTORE
000018c3: PUSH32 0x696e76616c6964206d73672e76616c7565000000000000000000000000000000
000018e4: PUSH1 0x44
000018e6: DUP3
000018e7: ADD
000018e8: MSTORE
000018e9: PUSH1 0x64
000018eb: ADD
000018ec: PUSH2 0x0a29
000018ef: JUMP
000018f0: JUMPDEST
000018f1: PUSH2 0x1905
000018f4: PUSH1 0x01
000018f6: PUSH1 0x01
000018f8: PUSH1 0xa0
000018fa: SHL
000018fb: SUB
000018fc: DUP4
000018fd: AND
000018fe: CALLER
000018ff: ADDRESS
00001900: DUP5
00001901: PUSH2 0x1d5b
00001904: JUMP
00001905: JUMPDEST
00001906: PUSH1 0x01
00001908: PUSH1 0x01
0000190a: PUSH1 0xa0
0000190c: SHL
0000190d: SUB
0000190e: DUP3
0000190f: AND
00001910: PUSH1 0x00
00001912: SWAP1
00001913: DUP2
00001914: MSTORE
00001915: PUSH1 0x9d
00001917: PUSH1 0x20
00001919: MSTORE
0000191a: PUSH1 0x40
0000191c: SWAP1
0000191d: KECCAK256
0000191e: PUSH1 0x04
00001920: ADD
00001921: SLOAD
00001922: PUSH2 0x192c
00001925: SWAP1
00001926: DUP3
00001927: SWAP1
00001928: PUSH2 0x2df0
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH1 0x01
0000192f: PUSH1 0x01
00001931: PUSH1 0xa0
00001933: SHL
00001934: SUB
00001935: SWAP1
00001936: SWAP3
00001937: AND
00001938: PUSH1 0x00
0000193a: SWAP1
0000193b: DUP2
0000193c: MSTORE
0000193d: PUSH1 0x9d
0000193f: PUSH1 0x20
00001941: MSTORE
00001942: PUSH1 0x40
00001944: SWAP1
00001945: KECCAK256
00001946: PUSH1 0x04
00001948: ADD
00001949: SWAP2
0000194a: SWAP1
0000194b: SWAP2
0000194c: SSTORE
0000194d: POP
0000194e: JUMP
0000194f: JUMPDEST
00001950: PUSH1 0x01
00001952: PUSH1 0x01
00001954: PUSH1 0xa0
00001956: SHL
00001957: SUB
00001958: DUP2
00001959: AND
0000195a: PUSH1 0x00
0000195c: SWAP1
0000195d: DUP2
0000195e: MSTORE
0000195f: PUSH1 0x9d
00001961: PUSH1 0x20
00001963: SWAP1
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x40
00001968: DUP1
00001969: DUP4
0000196a: KECCAK256
0000196b: DUP2
0000196c: MLOAD
0000196d: PUSH1 0xa0
0000196f: DUP2
00001970: ADD
00001971: DUP4
00001972: MSTORE
00001973: DUP2
00001974: SLOAD
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x01
00001979: DUP3
0000197a: ADD
0000197b: SLOAD
0000197c: SWAP4
0000197d: DUP2
0000197e: ADD
0000197f: SWAP4
00001980: SWAP1
00001981: SWAP4
00001982: MSTORE
00001983: PUSH1 0x02
00001985: DUP2
00001986: ADD
00001987: SLOAD
00001988: SWAP2
00001989: DUP4
0000198a: ADD
0000198b: SWAP2
0000198c: SWAP1
0000198d: SWAP2
0000198e: MSTORE
0000198f: PUSH1 0x03
00001991: DUP2
00001992: ADD
00001993: SLOAD
00001994: PUSH1 0x60
00001996: DUP4
00001997: ADD
00001998: MSTORE
00001999: PUSH1 0x04
0000199b: ADD
0000199c: SLOAD
0000199d: PUSH1 0x80
0000199f: DUP3
000019a0: ADD
000019a1: MSTORE
000019a2: PUSH1 0x9b
000019a4: SLOAD
000019a5: PUSH1 0x00
000019a7: SUB
000019a8: PUSH2 0x19b5
000019ab: JUMPI
000019ac: PUSH1 0x60
000019ae: ADD
000019af: MLOAD
000019b0: SWAP3
000019b1: SWAP2
000019b2: POP
000019b3: POP
000019b4: JUMP
000019b5: JUMPDEST
000019b6: PUSH1 0x9b
000019b8: SLOAD
000019b9: DUP2
000019ba: PUSH1 0x20
000019bc: ADD
000019bd: MLOAD
000019be: DUP3
000019bf: PUSH1 0x40
000019c1: ADD
000019c2: MLOAD
000019c3: PUSH2 0x19cb
000019c6: DUP7
000019c7: PUSH2 0x0fb0
000019ca: JUMP
000019cb: JUMPDEST
000019cc: PUSH2 0x19d5
000019cf: SWAP2
000019d0: SWAP1
000019d1: PUSH2 0x2e25
000019d4: JUMP
000019d5: JUMPDEST
000019d6: PUSH2 0x19df
000019d9: SWAP2
000019da: SWAP1
000019db: PUSH2 0x2e38
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH2 0x19f1
000019e3: SWAP1
000019e4: PUSH8 0x0de0b6b3a7640000
000019ed: PUSH2 0x2e38
000019f0: JUMP
000019f1: JUMPDEST
000019f2: PUSH2 0x19fb
000019f5: SWAP2
000019f6: SWAP1
000019f7: PUSH2 0x2e03
000019fa: JUMP
000019fb: JUMPDEST
000019fc: DUP2
000019fd: PUSH1 0x60
000019ff: ADD
00001a00: MLOAD
00001a01: PUSH2 0x1a0a
00001a04: SWAP2
00001a05: SWAP1
00001a06: PUSH2 0x2df0
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: SWAP4
00001a0c: SWAP3
00001a0d: POP
00001a0e: POP
00001a0f: POP
00001a10: JUMP
00001a11: JUMPDEST
00001a12: CALLER
00001a13: PUSH1 0x00
00001a15: SWAP1
00001a16: DUP2
00001a17: MSTORE
00001a18: PUSH32 0xffdfc1249c027f9191656349feb0761381bb32c9f557e01f419fd08754bf5a1b
00001a39: PUSH1 0x20
00001a3b: MSTORE
00001a3c: PUSH1 0x40
00001a3e: SWAP1
00001a3f: KECCAK256
00001a40: SLOAD
00001a41: PUSH1 0xff
00001a43: AND
00001a44: DUP1
00001a45: PUSH2 0x1a58
00001a48: JUMPI
00001a49: POP
00001a4a: PUSH1 0x97
00001a4c: SLOAD
00001a4d: PUSH1 0x01
00001a4f: PUSH1 0x01
00001a51: PUSH1 0xa0
00001a53: SHL
00001a54: SUB
00001a55: AND
00001a56: CALLER
00001a57: EQ
00001a58: JUMPDEST
00001a59: PUSH2 0x1aa4
00001a5c: JUMPI
00001a5d: PUSH1 0x40
00001a5f: MLOAD
00001a60: PUSH3 0x461bcd
00001a64: PUSH1 0xe5
00001a66: SHL
00001a67: DUP2
00001a68: MSTORE
00001a69: PUSH1 0x20
00001a6b: PUSH1 0x04
00001a6d: DUP3
00001a6e: ADD
00001a6f: MSTORE
00001a70: PUSH1 0x05
00001a72: PUSH1 0x24
00001a74: DUP3
00001a75: ADD
00001a76: MSTORE
00001a77: PUSH32 0x2161757468000000000000000000000000000000000000000000000000000000
00001a98: PUSH1 0x44
00001a9a: DUP3
00001a9b: ADD
00001a9c: MSTORE
00001a9d: PUSH1 0x64
00001a9f: ADD
00001aa0: PUSH2 0x0a29
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH1 0x99
00001aa7: SLOAD
00001aa8: PUSH1 0x01
00001aaa: PUSH1 0x01
00001aac: PUSH1 0xa0
00001aae: SHL
00001aaf: SUB
00001ab0: AND
00001ab1: ISZERO
00001ab2: PUSH2 0x1afd
00001ab5: JUMPI
00001ab6: PUSH1 0x40
00001ab8: MLOAD
00001ab9: PUSH3 0x461bcd
00001abd: PUSH1 0xe5
00001abf: SHL
00001ac0: DUP2
00001ac1: MSTORE
00001ac2: PUSH1 0x20
00001ac4: PUSH1 0x04
00001ac6: DUP3
00001ac7: ADD
00001ac8: MSTORE
00001ac9: PUSH1 0x1c
00001acb: PUSH1 0x24
00001acd: DUP3
00001ace: ADD
00001acf: MSTORE
00001ad0: PUSH32 0x706172616d73206861766520616c7265616479206265656e2073657400000000
00001af1: PUSH1 0x44
00001af3: DUP3
00001af4: ADD
00001af5: MSTORE
00001af6: PUSH1 0x64
00001af8: ADD
00001af9: PUSH2 0x0a29
00001afc: JUMP
00001afd: JUMPDEST
00001afe: PUSH1 0x01
00001b00: PUSH1 0x01
00001b02: PUSH1 0xa0
00001b04: SHL
00001b05: SUB
00001b06: DUP3
00001b07: AND
00001b08: PUSH2 0x1b53
00001b0b: JUMPI
00001b0c: PUSH1 0x40
00001b0e: MLOAD
00001b0f: PUSH3 0x461bcd
00001b13: PUSH1 0xe5
00001b15: SHL
00001b16: DUP2
00001b17: MSTORE
00001b18: PUSH1 0x20
00001b1a: PUSH1 0x04
00001b1c: DUP3
00001b1d: ADD
00001b1e: MSTORE
00001b1f: PUSH1 0x16
00001b21: PUSH1 0x24
00001b23: DUP3
00001b24: ADD
00001b25: MSTORE
00001b26: PUSH32 0x696e76616c6964205f7374616b696e67546f6b656e2100000000000000000000
00001b47: PUSH1 0x44
00001b49: DUP3
00001b4a: ADD
00001b4b: MSTORE
00001b4c: PUSH1 0x64
00001b4e: ADD
00001b4f: PUSH2 0x0a29
00001b52: JUMP
00001b53: JUMPDEST
00001b54: PUSH1 0x01
00001b56: PUSH1 0x01
00001b58: PUSH1 0xa0
00001b5a: SHL
00001b5b: SUB
00001b5c: DUP2
00001b5d: AND
00001b5e: PUSH2 0x1ba9
00001b61: JUMPI
00001b62: PUSH1 0x40
00001b64: MLOAD
00001b65: PUSH3 0x461bcd
00001b69: PUSH1 0xe5
00001b6b: SHL
00001b6c: DUP2
00001b6d: MSTORE
00001b6e: PUSH1 0x20
00001b70: PUSH1 0x04
00001b72: DUP3
00001b73: ADD
00001b74: MSTORE
00001b75: PUSH1 0x15
00001b77: PUSH1 0x24
00001b79: DUP3
00001b7a: ADD
00001b7b: MSTORE
00001b7c: PUSH32 0x696e76616c6964205f726577617264546f6b656e210000000000000000000000
00001b9d: PUSH1 0x44
00001b9f: DUP3
00001ba0: ADD
00001ba1: MSTORE
00001ba2: PUSH1 0x64
00001ba4: ADD
00001ba5: PUSH2 0x0a29
00001ba8: JUMP
00001ba9: JUMPDEST
00001baa: PUSH1 0x98
00001bac: DUP4
00001bad: SWAP1
00001bae: SSTORE
00001baf: PUSH1 0x99
00001bb1: DUP1
00001bb2: SLOAD
00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc8: NOT
00001bc9: AND
00001bca: PUSH1 0x01
00001bcc: PUSH1 0x01
00001bce: PUSH1 0xa0
00001bd0: SHL
00001bd1: SUB
00001bd2: DUP5
00001bd3: AND
00001bd4: OR
00001bd5: SWAP1
00001bd6: SSTORE
00001bd7: PUSH2 0x0bbc
00001bda: DUP2
00001bdb: PUSH2 0x1c45
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: PUSH2 0x0c74
00001be3: DUP2
00001be4: CALLER
00001be5: PUSH2 0x248c
00001be8: JUMP
00001be9: JUMPDEST
00001bea: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00001c0b: SLOAD
00001c0c: PUSH1 0xff
00001c0e: AND
00001c0f: ISZERO
00001c10: PUSH2 0x1054
00001c13: JUMPI
00001c14: PUSH1 0x40
00001c16: MLOAD
00001c17: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001c38: DUP2
00001c39: MSTORE
00001c3a: PUSH1 0x04
00001c3c: ADD
00001c3d: PUSH1 0x40
00001c3f: MLOAD
00001c40: DUP1
00001c41: SWAP2
00001c42: SUB
00001c43: SWAP1
00001c44: REVERT
00001c45: JUMPDEST
00001c46: PUSH1 0x01
00001c48: PUSH1 0x01
00001c4a: PUSH1 0xa0
00001c4c: SHL
00001c4d: SUB
00001c4e: DUP2
00001c4f: AND
00001c50: PUSH2 0x1c9b
00001c53: JUMPI
00001c54: PUSH1 0x40
00001c56: MLOAD
00001c57: PUSH3 0x461bcd
00001c5b: PUSH1 0xe5
00001c5d: SHL
00001c5e: DUP2
00001c5f: MSTORE
00001c60: PUSH1 0x20
00001c62: PUSH1 0x04
00001c64: DUP3
00001c65: ADD
00001c66: MSTORE
00001c67: PUSH1 0x15
00001c69: PUSH1 0x24
00001c6b: DUP3
00001c6c: ADD
00001c6d: MSTORE
00001c6e: PUSH32 0x696e76616c6964205f726577617264546f6b656e210000000000000000000000
00001c8f: PUSH1 0x44
00001c91: DUP3
00001c92: ADD
00001c93: MSTORE
00001c94: PUSH1 0x64
00001c96: ADD
00001c97: PUSH2 0x0a29
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x01
00001c9e: PUSH1 0x01
00001ca0: PUSH1 0xa0
00001ca2: SHL
00001ca3: SUB
00001ca4: DUP2
00001ca5: AND
00001ca6: PUSH1 0x00
00001ca8: SWAP1
00001ca9: DUP2
00001caa: MSTORE
00001cab: PUSH1 0x9e
00001cad: PUSH1 0x20
00001caf: MSTORE
00001cb0: PUSH1 0x40
00001cb2: SWAP1
00001cb3: KECCAK256
00001cb4: SLOAD
00001cb5: PUSH1 0xff
00001cb7: AND
00001cb8: ISZERO
00001cb9: PUSH2 0x1cbf
00001cbc: JUMPI
00001cbd: POP
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: PUSH1 0x9a
00001cc2: DUP1
00001cc3: SLOAD
00001cc4: PUSH1 0x01
00001cc6: DUP1
00001cc7: DUP3
00001cc8: ADD
00001cc9: SWAP1
00001cca: SWAP3
00001ccb: SSTORE
00001ccc: PUSH32 0x44da158ba27f9252712a74ff6a55c5d531f69609f1f6e7f17c4443a8e2089be4
00001ced: ADD
00001cee: DUP1
00001cef: SLOAD
00001cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d05: NOT
00001d06: AND
00001d07: PUSH1 0x01
00001d09: PUSH1 0x01
00001d0b: PUSH1 0xa0
00001d0d: SHL
00001d0e: SUB
00001d0f: DUP5
00001d10: AND
00001d11: SWAP1
00001d12: DUP2
00001d13: OR
00001d14: SWAP1
00001d15: SWAP2
00001d16: SSTORE
00001d17: PUSH1 0x00
00001d19: DUP2
00001d1a: DUP2
00001d1b: MSTORE
00001d1c: PUSH1 0x9e
00001d1e: PUSH1 0x20
00001d20: MSTORE
00001d21: PUSH1 0x40
00001d23: DUP1
00001d24: DUP3
00001d25: KECCAK256
00001d26: DUP1
00001d27: SLOAD
00001d28: PUSH1 0xff
00001d2a: NOT
00001d2b: AND
00001d2c: SWAP1
00001d2d: SWAP5
00001d2e: OR
00001d2f: SWAP1
00001d30: SWAP4
00001d31: SSTORE
00001d32: SWAP2
00001d33: MLOAD
00001d34: SWAP1
00001d35: SWAP2
00001d36: PUSH32 0xf3e4c2c64e71e6ba2eaab9a599bced62f9eb91d2cda610bf41aa8c80ff2cf826
00001d57: SWAP2
00001d58: LOG2
00001d59: POP
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: PUSH1 0x01
00001d61: PUSH1 0x01
00001d63: PUSH1 0xa0
00001d65: SHL
00001d66: SUB
00001d67: DUP1
00001d68: DUP6
00001d69: AND
00001d6a: PUSH1 0x24
00001d6c: DUP4
00001d6d: ADD
00001d6e: MSTORE
00001d6f: DUP4
00001d70: AND
00001d71: PUSH1 0x44
00001d73: DUP3
00001d74: ADD
00001d75: MSTORE
00001d76: PUSH1 0x64
00001d78: DUP2
00001d79: ADD
00001d7a: DUP3
00001d7b: SWAP1
00001d7c: MSTORE
00001d7d: PUSH2 0x1df4
00001d80: SWAP1
00001d81: DUP6
00001d82: SWAP1
00001d83: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
00001da4: SWAP1
00001da5: PUSH1 0x84
00001da7: ADD
00001da8: JUMPDEST
00001da9: PUSH1 0x40
00001dab: DUP1
00001dac: MLOAD
00001dad: PUSH1 0x1f
00001daf: NOT
00001db0: DUP2
00001db1: DUP5
00001db2: SUB
00001db3: ADD
00001db4: DUP2
00001db5: MSTORE
00001db6: SWAP2
00001db7: SWAP1
00001db8: MSTORE
00001db9: PUSH1 0x20
00001dbb: DUP2
00001dbc: ADD
00001dbd: DUP1
00001dbe: MLOAD
00001dbf: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ddc: AND
00001ddd: PUSH1 0x01
00001ddf: PUSH1 0x01
00001de1: PUSH1 0xe0
00001de3: SHL
00001de4: SUB
00001de5: NOT
00001de6: SWAP1
00001de7: SWAP4
00001de8: AND
00001de9: SWAP3
00001dea: SWAP1
00001deb: SWAP3
00001dec: OR
00001ded: SWAP1
00001dee: SWAP2
00001def: MSTORE
00001df0: PUSH2 0x250c
00001df3: JUMP
00001df4: JUMPDEST
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: POP
00001df9: JUMP
00001dfa: JUMPDEST
00001dfb: DUP3
00001dfc: PUSH1 0x00
00001dfe: JUMPDEST
00001dff: PUSH1 0x9a
00001e01: SLOAD
00001e02: DUP2
00001e03: LT
00001e04: ISZERO
00001e05: PUSH2 0x1ec7
00001e08: JUMPI
00001e09: PUSH1 0x00
00001e0b: PUSH1 0x9a
00001e0d: DUP3
00001e0e: DUP2
00001e0f: SLOAD
00001e10: DUP2
00001e11: LT
00001e12: PUSH2 0x1e1d
00001e15: JUMPI
00001e16: PUSH2 0x1e1d
00001e19: PUSH2 0x2e4f
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: PUSH1 0x00
00001e20: SWAP2
00001e21: DUP3
00001e22: MSTORE
00001e23: PUSH1 0x20
00001e25: DUP1
00001e26: DUP4
00001e27: KECCAK256
00001e28: SWAP1
00001e29: SWAP2
00001e2a: ADD
00001e2b: SLOAD
00001e2c: PUSH1 0x01
00001e2e: PUSH1 0x01
00001e30: PUSH1 0xa0
00001e32: SHL
00001e33: SUB
00001e34: AND
00001e35: DUP1
00001e36: DUP4
00001e37: MSTORE
00001e38: PUSH1 0x9d
00001e3a: SWAP1
00001e3b: SWAP2
00001e3c: MSTORE
00001e3d: PUSH1 0x40
00001e3f: SWAP1
00001e40: SWAP2
00001e41: KECCAK256
00001e42: SWAP1
00001e43: SWAP2
00001e44: POP
00001e45: PUSH2 0x1e4d
00001e48: DUP3
00001e49: PUSH2 0x194f
00001e4c: JUMP
00001e4d: JUMPDEST
00001e4e: PUSH1 0x03
00001e50: DUP3
00001e51: ADD
00001e52: SSTORE
00001e53: PUSH2 0x1e5b
00001e56: DUP3
00001e57: PUSH2 0x0fb0
00001e5a: JUMP
00001e5b: JUMPDEST
00001e5c: PUSH1 0x02
00001e5e: DUP3
00001e5f: ADD
00001e60: SSTORE
00001e61: PUSH1 0x01
00001e63: PUSH1 0x01
00001e65: PUSH1 0xa0
00001e67: SHL
00001e68: SUB
00001e69: DUP1
00001e6a: DUP6
00001e6b: AND
00001e6c: PUSH1 0x00
00001e6e: SWAP1
00001e6f: DUP2
00001e70: MSTORE
00001e71: PUSH1 0x9f
00001e73: PUSH1 0x20
00001e75: SWAP1
00001e76: DUP2
00001e77: MSTORE
00001e78: PUSH1 0x40
00001e7a: DUP1
00001e7b: DUP4
00001e7c: KECCAK256
00001e7d: SWAP4
00001e7e: DUP7
00001e7f: AND
00001e80: DUP4
00001e81: MSTORE
00001e82: SWAP3
00001e83: SWAP1
00001e84: MSTORE
00001e85: KECCAK256
00001e86: PUSH2 0x1e8f
00001e89: DUP6
00001e8a: DUP5
00001e8b: PUSH2 0x0bc1
00001e8e: JUMP
00001e8f: JUMPDEST
00001e90: PUSH1 0x01
00001e92: DUP3
00001e93: ADD
00001e94: SSTORE
00001e95: PUSH1 0x01
00001e97: PUSH1 0x01
00001e99: PUSH1 0xa0
00001e9b: SHL
00001e9c: SUB
00001e9d: SWAP1
00001e9e: SWAP3
00001e9f: AND
00001ea0: PUSH1 0x00
00001ea2: SWAP1
00001ea3: DUP2
00001ea4: MSTORE
00001ea5: PUSH1 0x9d
00001ea7: PUSH1 0x20
00001ea9: MSTORE
00001eaa: PUSH1 0x40
00001eac: SWAP1
00001ead: KECCAK256
00001eae: PUSH1 0x03
00001eb0: ADD
00001eb1: SLOAD
00001eb2: SWAP1
00001eb3: SWAP2
00001eb4: SSTORE
00001eb5: POP
00001eb6: DUP1
00001eb7: PUSH2 0x1ebf
00001eba: DUP2
00001ebb: PUSH2 0x2e65
00001ebe: JUMP
00001ebf: JUMPDEST
00001ec0: SWAP2
00001ec1: POP
00001ec2: POP
00001ec3: PUSH2 0x1dfe
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: POP
00001ec9: PUSH2 0x1ed1
00001ecc: DUP2
00001ecd: PUSH2 0x1056
00001ed0: JUMP
00001ed1: JUMPDEST
00001ed2: PUSH1 0x01
00001ed4: PUSH1 0x01
00001ed6: PUSH1 0xa0
00001ed8: SHL
00001ed9: SUB
00001eda: DUP3
00001edb: AND
00001edc: PUSH1 0x00
00001ede: SWAP1
00001edf: DUP2
00001ee0: MSTORE
00001ee1: PUSH1 0xa1
00001ee3: PUSH1 0x20
00001ee5: SWAP1
00001ee6: DUP2
00001ee7: MSTORE
00001ee8: PUSH1 0x40
00001eea: DUP1
00001eeb: DUP4
00001eec: KECCAK256
00001eed: SWAP4
00001eee: SWAP1
00001eef: SWAP4
00001ef0: SSTORE
00001ef1: PUSH1 0xa0
00001ef3: SWAP1
00001ef4: MSTORE
00001ef5: KECCAK256
00001ef6: TIMESTAMP
00001ef7: SWAP1
00001ef8: SSTORE
00001ef9: DUP3
00001efa: PUSH2 0x1f45
00001efd: JUMPI
00001efe: PUSH1 0x40
00001f00: MLOAD
00001f01: PUSH3 0x461bcd
00001f05: PUSH1 0xe5
00001f07: SHL
00001f08: DUP2
00001f09: MSTORE
00001f0a: PUSH1 0x20
00001f0c: PUSH1 0x04
00001f0e: DUP3
00001f0f: ADD
00001f10: MSTORE
00001f11: PUSH1 0x1e
00001f13: PUSH1 0x24
00001f15: DUP3
00001f16: ADD
00001f17: MSTORE
00001f18: PUSH32 0x526577617264506f6f6c203a2043616e6e6f7420776974686472617720300000
00001f39: PUSH1 0x44
00001f3b: DUP3
00001f3c: ADD
00001f3d: MSTORE
00001f3e: PUSH1 0x64
00001f40: ADD
00001f41: PUSH2 0x0a29
00001f44: JUMP
00001f45: JUMPDEST
00001f46: DUP3
00001f47: PUSH1 0x9b
00001f49: SLOAD
00001f4a: PUSH2 0x1f53
00001f4d: SWAP2
00001f4e: SWAP1
00001f4f: PUSH2 0x2e25
00001f52: JUMP
00001f53: JUMPDEST
00001f54: PUSH1 0x9b
00001f56: SSTORE
00001f57: PUSH1 0x01
00001f59: PUSH1 0x01
00001f5b: PUSH1 0xa0
00001f5d: SHL
00001f5e: SUB
00001f5f: DUP5
00001f60: AND
00001f61: PUSH1 0x00
00001f63: SWAP1
00001f64: DUP2
00001f65: MSTORE
00001f66: PUSH1 0x9c
00001f68: PUSH1 0x20
00001f6a: MSTORE
00001f6b: PUSH1 0x40
00001f6d: SWAP1
00001f6e: KECCAK256
00001f6f: SLOAD
00001f70: PUSH2 0x1f7a
00001f73: SWAP1
00001f74: DUP5
00001f75: SWAP1
00001f76: PUSH2 0x2e25
00001f79: JUMP
00001f7a: JUMPDEST
00001f7b: PUSH1 0x01
00001f7d: PUSH1 0x01
00001f7f: PUSH1 0xa0
00001f81: SHL
00001f82: SUB
00001f83: DUP1
00001f84: DUP7
00001f85: AND
00001f86: PUSH1 0x00
00001f88: SWAP1
00001f89: DUP2
00001f8a: MSTORE
00001f8b: PUSH1 0x9c
00001f8d: PUSH1 0x20
00001f8f: MSTORE
00001f90: PUSH1 0x40
00001f92: SWAP1
00001f93: KECCAK256
00001f94: SWAP2
00001f95: SWAP1
00001f96: SWAP2
00001f97: SSTORE
00001f98: PUSH1 0x99
00001f9a: SLOAD
00001f9b: PUSH2 0x1fa6
00001f9e: SWAP2
00001f9f: AND
00001fa0: DUP6
00001fa1: DUP6
00001fa2: PUSH2 0x25f4
00001fa5: JUMP
00001fa6: JUMPDEST
00001fa7: DUP4
00001fa8: PUSH1 0x01
00001faa: PUSH1 0x01
00001fac: PUSH1 0xa0
00001fae: SHL
00001faf: SUB
00001fb0: AND
00001fb1: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00001fd2: DUP5
00001fd3: PUSH1 0x40
00001fd5: MLOAD
00001fd6: PUSH2 0x1fe1
00001fd9: SWAP2
00001fda: DUP2
00001fdb: MSTORE
00001fdc: PUSH1 0x20
00001fde: ADD
00001fdf: SWAP1
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: PUSH1 0x40
00001fe4: MLOAD
00001fe5: DUP1
00001fe6: SWAP2
00001fe7: SUB
00001fe8: SWAP1
00001fe9: LOG2
00001fea: DUP2
00001feb: ISZERO
00001fec: PUSH2 0x1df4
00001fef: JUMPI
00001ff0: PUSH2 0x1df4
00001ff3: DUP5
00001ff4: PUSH2 0x2200
00001ff7: JUMP
00001ff8: JUMPDEST
00001ff9: PUSH1 0x00
00001ffb: DUP3
00001ffc: DUP2
00001ffd: MSTORE
00001ffe: PUSH1 0x65
00002000: PUSH1 0x20
00002002: SWAP1
00002003: DUP2
00002004: MSTORE
00002005: PUSH1 0x40
00002007: DUP1
00002008: DUP4
00002009: KECCAK256
0000200a: PUSH1 0x01
0000200c: PUSH1 0x01
0000200e: PUSH1 0xa0
00002010: SHL
00002011: SUB
00002012: DUP6
00002013: AND
00002014: DUP5
00002015: MSTORE
00002016: SWAP1
00002017: SWAP2
00002018: MSTORE
00002019: SWAP1
0000201a: KECCAK256
0000201b: SLOAD
0000201c: PUSH1 0xff
0000201e: AND
0000201f: PUSH2 0x0f7a
00002022: JUMPI
00002023: PUSH1 0x00
00002025: DUP3
00002026: DUP2
00002027: MSTORE
00002028: PUSH1 0x65
0000202a: PUSH1 0x20
0000202c: SWAP1
0000202d: DUP2
0000202e: MSTORE
0000202f: PUSH1 0x40
00002031: DUP1
00002032: DUP4
00002033: KECCAK256
00002034: PUSH1 0x01
00002036: PUSH1 0x01
00002038: PUSH1 0xa0
0000203a: SHL
0000203b: SUB
0000203c: DUP6
0000203d: AND
0000203e: DUP5
0000203f: MSTORE
00002040: SWAP1
00002041: SWAP2
00002042: MSTORE
00002043: SWAP1
00002044: KECCAK256
00002045: DUP1
00002046: SLOAD
00002047: PUSH1 0xff
00002049: NOT
0000204a: AND
0000204b: PUSH1 0x01
0000204d: OR
0000204e: SWAP1
0000204f: SSTORE
00002050: PUSH2 0x2056
00002053: CALLER
00002054: SWAP1
00002055: JUMP
00002056: JUMPDEST
00002057: PUSH1 0x01
00002059: PUSH1 0x01
0000205b: PUSH1 0xa0
0000205d: SHL
0000205e: SUB
0000205f: AND
00002060: DUP2
00002061: PUSH1 0x01
00002063: PUSH1 0x01
00002065: PUSH1 0xa0
00002067: SHL
00002068: SUB
00002069: AND
0000206a: DUP4
0000206b: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
0000208c: PUSH1 0x40
0000208e: MLOAD
0000208f: PUSH1 0x40
00002091: MLOAD
00002092: DUP1
00002093: SWAP2
00002094: SUB
00002095: SWAP1
00002096: LOG4
00002097: POP
00002098: POP
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x00
0000209d: DUP3
0000209e: DUP2
0000209f: MSTORE
000020a0: PUSH1 0x65
000020a2: PUSH1 0x20
000020a4: SWAP1
000020a5: DUP2
000020a6: MSTORE
000020a7: PUSH1 0x40
000020a9: DUP1
000020aa: DUP4
000020ab: KECCAK256
000020ac: PUSH1 0x01
000020ae: PUSH1 0x01
000020b0: PUSH1 0xa0
000020b2: SHL
000020b3: SUB
000020b4: DUP6
000020b5: AND
000020b6: DUP5
000020b7: MSTORE
000020b8: SWAP1
000020b9: SWAP2
000020ba: MSTORE
000020bb: SWAP1
000020bc: KECCAK256
000020bd: SLOAD
000020be: PUSH1 0xff
000020c0: AND
000020c1: ISZERO
000020c2: PUSH2 0x0f7a
000020c5: JUMPI
000020c6: PUSH1 0x00
000020c8: DUP3
000020c9: DUP2
000020ca: MSTORE
000020cb: PUSH1 0x65
000020cd: PUSH1 0x20
000020cf: SWAP1
000020d0: DUP2
000020d1: MSTORE
000020d2: PUSH1 0x40
000020d4: DUP1
000020d5: DUP4
000020d6: KECCAK256
000020d7: PUSH1 0x01
000020d9: PUSH1 0x01
000020db: PUSH1 0xa0
000020dd: SHL
000020de: SUB
000020df: DUP6
000020e0: AND
000020e1: DUP1
000020e2: DUP6
000020e3: MSTORE
000020e4: SWAP3
000020e5: MSTORE
000020e6: DUP1
000020e7: DUP4
000020e8: KECCAK256
000020e9: DUP1
000020ea: SLOAD
000020eb: PUSH1 0xff
000020ed: NOT
000020ee: AND
000020ef: SWAP1
000020f0: SSTORE
000020f1: MLOAD
000020f2: CALLER
000020f3: SWAP3
000020f4: DUP6
000020f5: SWAP2
000020f6: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00002117: SWAP2
00002118: SWAP1
00002119: LOG4
0000211a: POP
0000211b: POP
0000211c: JUMP
0000211d: JUMPDEST
0000211e: PUSH2 0x2125
00002121: PUSH2 0x2624
00002124: JUMP
00002125: JUMPDEST
00002126: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00002147: DUP1
00002148: SLOAD
00002149: PUSH1 0xff
0000214b: NOT
0000214c: AND
0000214d: DUP2
0000214e: SSTORE
0000214f: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00002170: CALLER
00002171: JUMPDEST
00002172: PUSH1 0x40
00002174: MLOAD
00002175: PUSH1 0x01
00002177: PUSH1 0x01
00002179: PUSH1 0xa0
0000217b: SHL
0000217c: SUB
0000217d: SWAP1
0000217e: SWAP2
0000217f: AND
00002180: DUP2
00002181: MSTORE
00002182: PUSH1 0x20
00002184: ADD
00002185: PUSH1 0x40
00002187: MLOAD
00002188: DUP1
00002189: SWAP2
0000218a: SUB
0000218b: SWAP1
0000218c: LOG1
0000218d: POP
0000218e: JUMP
0000218f: JUMPDEST
00002190: PUSH1 0x00
00002192: DUP2
00002193: DUP4
00002194: LT
00002195: PUSH2 0x219e
00002198: JUMPI
00002199: DUP2
0000219a: PUSH2 0x1a0a
0000219d: JUMP
0000219e: JUMPDEST
0000219f: POP
000021a0: SWAP1
000021a1: SWAP2
000021a2: SWAP1
000021a3: POP
000021a4: JUMP
000021a5: JUMPDEST
000021a6: PUSH2 0x21ad
000021a9: PUSH2 0x1be9
000021ac: JUMP
000021ad: JUMPDEST
000021ae: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
000021cf: DUP1
000021d0: SLOAD
000021d1: PUSH1 0xff
000021d3: NOT
000021d4: AND
000021d5: PUSH1 0x01
000021d7: OR
000021d8: DUP2
000021d9: SSTORE
000021da: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000021fb: CALLER
000021fc: PUSH2 0x2171
000021ff: JUMP
00002200: JUMPDEST
00002201: PUSH1 0x00
00002203: JUMPDEST
00002204: PUSH1 0x9a
00002206: SLOAD
00002207: DUP2
00002208: LT
00002209: ISZERO
0000220a: PUSH2 0x0f7a
0000220d: JUMPI
0000220e: PUSH1 0x00
00002210: PUSH1 0x9a
00002212: DUP3
00002213: DUP2
00002214: SLOAD
00002215: DUP2
00002216: LT
00002217: PUSH2 0x2222
0000221a: JUMPI
0000221b: PUSH2 0x2222
0000221e: PUSH2 0x2e4f
00002221: JUMP
00002222: JUMPDEST
00002223: PUSH1 0x00
00002225: SWAP2
00002226: DUP3
00002227: MSTORE
00002228: PUSH1 0x20
0000222a: DUP1
0000222b: DUP4
0000222c: KECCAK256
0000222d: SWAP1
0000222e: SWAP2
0000222f: ADD
00002230: SLOAD
00002231: PUSH1 0x01
00002233: PUSH1 0x01
00002235: PUSH1 0xa0
00002237: SHL
00002238: SUB
00002239: DUP7
0000223a: DUP2
0000223b: AND
0000223c: DUP5
0000223d: MSTORE
0000223e: PUSH1 0x9f
00002240: DUP4
00002241: MSTORE
00002242: PUSH1 0x40
00002244: DUP1
00002245: DUP6
00002246: KECCAK256
00002247: SWAP2
00002248: SWAP1
00002249: SWAP3
0000224a: AND
0000224b: DUP1
0000224c: DUP6
0000224d: MSTORE
0000224e: SWAP3
0000224f: MSTORE
00002250: SWAP1
00002251: SWAP2
00002252: KECCAK256
00002253: PUSH1 0x01
00002255: ADD
00002256: SLOAD
00002257: SWAP1
00002258: SWAP2
00002259: POP
0000225a: DUP1
0000225b: ISZERO
0000225c: PUSH2 0x2376
0000225f: JUMPI
00002260: PUSH1 0x01
00002262: PUSH1 0x01
00002264: PUSH1 0xa0
00002266: SHL
00002267: SUB
00002268: DUP1
00002269: DUP6
0000226a: AND
0000226b: PUSH1 0x00
0000226d: SWAP1
0000226e: DUP2
0000226f: MSTORE
00002270: PUSH1 0x9f
00002272: PUSH1 0x20
00002274: SWAP1
00002275: DUP2
00002276: MSTORE
00002277: PUSH1 0x40
00002279: DUP1
0000227a: DUP4
0000227b: KECCAK256
0000227c: SWAP4
0000227d: DUP7
0000227e: AND
0000227f: DUP1
00002280: DUP5
00002281: MSTORE
00002282: SWAP4
00002283: SWAP1
00002284: SWAP2
00002285: MSTORE
00002286: DUP2
00002287: KECCAK256
00002288: PUSH1 0x01
0000228a: ADD
0000228b: SSTORE
0000228c: PUSH2 0x2296
0000228f: SWAP1
00002290: DUP6
00002291: DUP4
00002292: PUSH2 0x267f
00002295: JUMP
00002296: JUMPDEST
00002297: PUSH1 0x97
00002299: SLOAD
0000229a: PUSH1 0x98
0000229c: SLOAD
0000229d: PUSH1 0x40
0000229f: MLOAD
000022a0: PUSH32 0x2dd0568300000000000000000000000000000000000000000000000000000000
000022c1: DUP2
000022c2: MSTORE
000022c3: PUSH1 0x04
000022c5: DUP2
000022c6: ADD
000022c7: SWAP2
000022c8: SWAP1
000022c9: SWAP2
000022ca: MSTORE
000022cb: PUSH1 0x01
000022cd: PUSH1 0x01
000022cf: PUSH1 0xa0
000022d1: SHL
000022d2: SUB
000022d3: DUP7
000022d4: DUP2
000022d5: AND
000022d6: PUSH1 0x24
000022d8: DUP4
000022d9: ADD
000022da: MSTORE
000022db: DUP5
000022dc: DUP2
000022dd: AND
000022de: PUSH1 0x44
000022e0: DUP4
000022e1: ADD
000022e2: MSTORE
000022e3: PUSH1 0x64
000022e5: DUP3
000022e6: ADD
000022e7: DUP5
000022e8: SWAP1
000022e9: MSTORE
000022ea: SWAP1
000022eb: SWAP2
000022ec: AND
000022ed: SWAP1
000022ee: PUSH4 0x2dd05683
000022f3: SWAP1
000022f4: PUSH1 0x84
000022f6: ADD
000022f7: PUSH1 0x00
000022f9: PUSH1 0x40
000022fb: MLOAD
000022fc: DUP1
000022fd: DUP4
000022fe: SUB
000022ff: DUP2
00002300: PUSH1 0x00
00002302: DUP8
00002303: DUP1
00002304: EXTCODESIZE
00002305: ISZERO
00002306: DUP1
00002307: ISZERO
00002308: PUSH2 0x2310
0000230b: JUMPI
0000230c: PUSH1 0x00
0000230e: DUP1
0000230f: REVERT
00002310: JUMPDEST
00002311: POP
00002312: GAS
00002313: CALL
00002314: ISZERO
00002315: DUP1
00002316: ISZERO
00002317: PUSH2 0x2324
0000231a: JUMPI
0000231b: RETURNDATASIZE
0000231c: PUSH1 0x00
0000231e: DUP1
0000231f: RETURNDATACOPY
00002320: RETURNDATASIZE
00002321: PUSH1 0x00
00002323: REVERT
00002324: JUMPDEST
00002325: POP
00002326: POP
00002327: POP
00002328: POP
00002329: DUP2
0000232a: PUSH1 0x01
0000232c: PUSH1 0x01
0000232e: PUSH1 0xa0
00002330: SHL
00002331: SUB
00002332: AND
00002333: DUP5
00002334: PUSH1 0x01
00002336: PUSH1 0x01
00002338: PUSH1 0xa0
0000233a: SHL
0000233b: SUB
0000233c: AND
0000233d: PUSH32 0x540798df468d7b23d11f156fdb954cb19ad414d150722a7b6d55ba369dea792e
0000235e: DUP4
0000235f: PUSH1 0x40
00002361: MLOAD
00002362: PUSH2 0x236d
00002365: SWAP2
00002366: DUP2
00002367: MSTORE
00002368: PUSH1 0x20
0000236a: ADD
0000236b: SWAP1
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x40
00002370: MLOAD
00002371: DUP1
00002372: SWAP2
00002373: SUB
00002374: SWAP1
00002375: LOG3
00002376: JUMPDEST
00002377: POP
00002378: POP
00002379: DUP1
0000237a: DUP1
0000237b: PUSH2 0x2383
0000237e: SWAP1
0000237f: PUSH2 0x2e65
00002382: JUMP
00002383: JUMPDEST
00002384: SWAP2
00002385: POP
00002386: POP
00002387: PUSH2 0x2203
0000238a: JUMP
0000238b: JUMPDEST
0000238c: PUSH1 0x00
0000238e: SLOAD
0000238f: PUSH2 0x0100
00002392: SWAP1
00002393: DIV
00002394: PUSH1 0xff
00002396: AND
00002397: PUSH2 0x1054
0000239a: JUMPI
0000239b: PUSH1 0x40
0000239d: MLOAD
0000239e: PUSH3 0x461bcd
000023a2: PUSH1 0xe5
000023a4: SHL
000023a5: DUP2
000023a6: MSTORE
000023a7: PUSH1 0x20
000023a9: PUSH1 0x04
000023ab: DUP3
000023ac: ADD
000023ad: MSTORE
000023ae: PUSH1 0x2b
000023b0: PUSH1 0x24
000023b2: DUP3
000023b3: ADD
000023b4: MSTORE
000023b5: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
000023d6: PUSH1 0x44
000023d8: DUP3
000023d9: ADD
000023da: MSTORE
000023db: PUSH11 0x6e697469616c697a696e67
000023e7: PUSH1 0xa8
000023e9: SHL
000023ea: PUSH1 0x64
000023ec: DUP3
000023ed: ADD
000023ee: MSTORE
000023ef: PUSH1 0x84
000023f1: ADD
000023f2: PUSH2 0x0a29
000023f5: JUMP
000023f6: JUMPDEST
000023f7: PUSH1 0x00
000023f9: SLOAD
000023fa: PUSH2 0x0100
000023fd: SWAP1
000023fe: DIV
000023ff: PUSH1 0xff
00002401: AND
00002402: PUSH2 0x2461
00002405: JUMPI
00002406: PUSH1 0x40
00002408: MLOAD
00002409: PUSH3 0x461bcd
0000240d: PUSH1 0xe5
0000240f: SHL
00002410: DUP2
00002411: MSTORE
00002412: PUSH1 0x20
00002414: PUSH1 0x04
00002416: DUP3
00002417: ADD
00002418: MSTORE
00002419: PUSH1 0x2b
0000241b: PUSH1 0x24
0000241d: DUP3
0000241e: ADD
0000241f: MSTORE
00002420: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069
00002441: PUSH1 0x44
00002443: DUP3
00002444: ADD
00002445: MSTORE
00002446: PUSH11 0x6e697469616c697a696e67
00002452: PUSH1 0xa8
00002454: SHL
00002455: PUSH1 0x64
00002457: DUP3
00002458: ADD
00002459: MSTORE
0000245a: PUSH1 0x84
0000245c: ADD
0000245d: PUSH2 0x0a29
00002460: JUMP
00002461: JUMPDEST
00002462: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00002483: DUP1
00002484: SLOAD
00002485: PUSH1 0xff
00002487: NOT
00002488: AND
00002489: SWAP1
0000248a: SSTORE
0000248b: JUMP
0000248c: JUMPDEST
0000248d: PUSH1 0x00
0000248f: DUP3
00002490: DUP2
00002491: MSTORE
00002492: PUSH1 0x65
00002494: PUSH1 0x20
00002496: SWAP1
00002497: DUP2
00002498: MSTORE
00002499: PUSH1 0x40
0000249b: DUP1
0000249c: DUP4
0000249d: KECCAK256
0000249e: PUSH1 0x01
000024a0: PUSH1 0x01
000024a2: PUSH1 0xa0
000024a4: SHL
000024a5: SUB
000024a6: DUP6
000024a7: AND
000024a8: DUP5
000024a9: MSTORE
000024aa: SWAP1
000024ab: SWAP2
000024ac: MSTORE
000024ad: SWAP1
000024ae: KECCAK256
000024af: SLOAD
000024b0: PUSH1 0xff
000024b2: AND
000024b3: PUSH2 0x0f7a
000024b6: JUMPI
000024b7: PUSH2 0x24ca
000024ba: DUP2
000024bb: PUSH1 0x01
000024bd: PUSH1 0x01
000024bf: PUSH1 0xa0
000024c1: SHL
000024c2: SUB
000024c3: AND
000024c4: PUSH1 0x14
000024c6: PUSH2 0x26b8
000024c9: JUMP
000024ca: JUMPDEST
000024cb: PUSH2 0x24d5
000024ce: DUP4
000024cf: PUSH1 0x20
000024d1: PUSH2 0x26b8
000024d4: JUMP
000024d5: JUMPDEST
000024d6: PUSH1 0x40
000024d8: MLOAD
000024d9: PUSH1 0x20
000024db: ADD
000024dc: PUSH2 0x24e6
000024df: SWAP3
000024e0: SWAP2
000024e1: SWAP1
000024e2: PUSH2 0x2ebb
000024e5: JUMP
000024e6: JUMPDEST
000024e7: PUSH1 0x40
000024e9: DUP1
000024ea: MLOAD
000024eb: PUSH1 0x1f
000024ed: NOT
000024ee: DUP2
000024ef: DUP5
000024f0: SUB
000024f1: ADD
000024f2: DUP2
000024f3: MSTORE
000024f4: SWAP1
000024f5: DUP3
000024f6: SWAP1
000024f7: MSTORE
000024f8: PUSH3 0x461bcd
000024fc: PUSH1 0xe5
000024fe: SHL
000024ff: DUP3
00002500: MSTORE
00002501: PUSH2 0x0a29
00002504: SWAP2
00002505: PUSH1 0x04
00002507: ADD
00002508: PUSH2 0x2f3c
0000250b: JUMP
0000250c: JUMPDEST
0000250d: PUSH1 0x00
0000250f: PUSH2 0x2561
00002512: DUP3
00002513: PUSH1 0x40
00002515: MLOAD
00002516: DUP1
00002517: PUSH1 0x40
00002519: ADD
0000251a: PUSH1 0x40
0000251c: MSTORE
0000251d: DUP1
0000251e: PUSH1 0x20
00002520: DUP2
00002521: MSTORE
00002522: PUSH1 0x20
00002524: ADD
00002525: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00002546: DUP2
00002547: MSTORE
00002548: POP
00002549: DUP6
0000254a: PUSH1 0x01
0000254c: PUSH1 0x01
0000254e: PUSH1 0xa0
00002550: SHL
00002551: SUB
00002552: AND
00002553: PUSH2 0x2899
00002556: SWAP1
00002557: SWAP3
00002558: SWAP2
00002559: SWAP1
0000255a: PUSH4 0xffffffff
0000255f: AND
00002560: JUMP
00002561: JUMPDEST
00002562: SWAP1
00002563: POP
00002564: DUP1
00002565: MLOAD
00002566: PUSH1 0x00
00002568: EQ
00002569: DUP1
0000256a: PUSH2 0x2582
0000256d: JUMPI
0000256e: POP
0000256f: DUP1
00002570: DUP1
00002571: PUSH1 0x20
00002573: ADD
00002574: SWAP1
00002575: MLOAD
00002576: DUP2
00002577: ADD
00002578: SWAP1
00002579: PUSH2 0x2582
0000257c: SWAP2
0000257d: SWAP1
0000257e: PUSH2 0x2f6f
00002581: JUMP
00002582: JUMPDEST
00002583: PUSH2 0x0bbc
00002586: JUMPI
00002587: PUSH1 0x40
00002589: MLOAD
0000258a: PUSH3 0x461bcd
0000258e: PUSH1 0xe5
00002590: SHL
00002591: DUP2
00002592: MSTORE
00002593: PUSH1 0x20
00002595: PUSH1 0x04
00002597: DUP3
00002598: ADD
00002599: MSTORE
0000259a: PUSH1 0x2a
0000259c: PUSH1 0x24
0000259e: DUP3
0000259f: ADD
000025a0: MSTORE
000025a1: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000025c2: PUSH1 0x44
000025c4: DUP3
000025c5: ADD
000025c6: MSTORE
000025c7: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
000025e8: PUSH1 0x64
000025ea: DUP3
000025eb: ADD
000025ec: MSTORE
000025ed: PUSH1 0x84
000025ef: ADD
000025f0: PUSH2 0x0a29
000025f3: JUMP
000025f4: JUMPDEST
000025f5: PUSH1 0x40
000025f7: MLOAD
000025f8: PUSH1 0x01
000025fa: PUSH1 0x01
000025fc: PUSH1 0xa0
000025fe: SHL
000025ff: SUB
00002600: DUP4
00002601: AND
00002602: PUSH1 0x24
00002604: DUP3
00002605: ADD
00002606: MSTORE
00002607: PUSH1 0x44
00002609: DUP2
0000260a: ADD
0000260b: DUP3
0000260c: SWAP1
0000260d: MSTORE
0000260e: PUSH2 0x0bbc
00002611: SWAP1
00002612: DUP5
00002613: SWAP1
00002614: PUSH4 0xa9059cbb
00002619: PUSH1 0xe0
0000261b: SHL
0000261c: SWAP1
0000261d: PUSH1 0x64
0000261f: ADD
00002620: PUSH2 0x1da8
00002623: JUMP
00002624: JUMPDEST
00002625: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00002646: SLOAD
00002647: PUSH1 0xff
00002649: AND
0000264a: PUSH2 0x1054
0000264d: JUMPI
0000264e: PUSH1 0x40
00002650: MLOAD
00002651: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
00002672: DUP2
00002673: MSTORE
00002674: PUSH1 0x04
00002676: ADD
00002677: PUSH1 0x40
00002679: MLOAD
0000267a: DUP1
0000267b: SWAP2
0000267c: SUB
0000267d: SWAP1
0000267e: REVERT
0000267f: JUMPDEST
00002680: PUSH20 0xefefefefefefefefefefefefefefefefefefefef
00002695: PUSH1 0x01
00002697: PUSH1 0x01
00002699: PUSH1 0xa0
0000269b: SHL
0000269c: SUB
0000269d: DUP5
0000269e: AND
0000269f: SUB
000026a0: PUSH2 0x26ad
000026a3: JUMPI
000026a4: PUSH2 0x0bbc
000026a7: DUP3
000026a8: DUP3
000026a9: PUSH2 0x28a8
000026ac: JUMP
000026ad: JUMPDEST
000026ae: PUSH2 0x0bbc
000026b1: DUP4
000026b2: DUP4
000026b3: DUP4
000026b4: PUSH2 0x2971
000026b7: JUMP
000026b8: JUMPDEST
000026b9: PUSH1 0x60
000026bb: PUSH1 0x00
000026bd: PUSH2 0x26c7
000026c0: DUP4
000026c1: PUSH1 0x02
000026c3: PUSH2 0x2e38
000026c6: JUMP
000026c7: JUMPDEST
000026c8: PUSH2 0x26d2
000026cb: SWAP1
000026cc: PUSH1 0x02
000026ce: PUSH2 0x2df0
000026d1: JUMP
000026d2: JUMPDEST
000026d3: PUSH8 0xffffffffffffffff
000026dc: DUP2
000026dd: GT
000026de: ISZERO
000026df: PUSH2 0x26ea
000026e2: JUMPI
000026e3: PUSH2 0x26ea
000026e6: PUSH2 0x2f91
000026e9: JUMP
000026ea: JUMPDEST
000026eb: PUSH1 0x40
000026ed: MLOAD
000026ee: SWAP1
000026ef: DUP1
000026f0: DUP3
000026f1: MSTORE
000026f2: DUP1
000026f3: PUSH1 0x1f
000026f5: ADD
000026f6: PUSH1 0x1f
000026f8: NOT
000026f9: AND
000026fa: PUSH1 0x20
000026fc: ADD
000026fd: DUP3
000026fe: ADD
000026ff: PUSH1 0x40
00002701: MSTORE
00002702: DUP1
00002703: ISZERO
00002704: PUSH2 0x2714
00002707: JUMPI
00002708: PUSH1 0x20
0000270a: DUP3
0000270b: ADD
0000270c: DUP2
0000270d: DUP1
0000270e: CALLDATASIZE
0000270f: DUP4
00002710: CALLDATACOPY
00002711: ADD
00002712: SWAP1
00002713: POP
00002714: JUMPDEST
00002715: POP
00002716: SWAP1
00002717: POP
00002718: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002739: DUP2
0000273a: PUSH1 0x00
0000273c: DUP2
0000273d: MLOAD
0000273e: DUP2
0000273f: LT
00002740: PUSH2 0x274b
00002743: JUMPI
00002744: PUSH2 0x274b
00002747: PUSH2 0x2e4f
0000274a: JUMP
0000274b: JUMPDEST
0000274c: PUSH1 0x20
0000274e: ADD
0000274f: ADD
00002750: SWAP1
00002751: PUSH1 0x01
00002753: PUSH1 0x01
00002755: PUSH1 0xf8
00002757: SHL
00002758: SUB
00002759: NOT
0000275a: AND
0000275b: SWAP1
0000275c: DUP2
0000275d: PUSH1 0x00
0000275f: BYTE
00002760: SWAP1
00002761: MSTORE8
00002762: POP
00002763: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000
00002784: DUP2
00002785: PUSH1 0x01
00002787: DUP2
00002788: MLOAD
00002789: DUP2
0000278a: LT
0000278b: PUSH2 0x2796
0000278e: JUMPI
0000278f: PUSH2 0x2796
00002792: PUSH2 0x2e4f
00002795: JUMP
00002796: JUMPDEST
00002797: PUSH1 0x20
00002799: ADD
0000279a: ADD
0000279b: SWAP1
0000279c: PUSH1 0x01
0000279e: PUSH1 0x01
000027a0: PUSH1 0xf8
000027a2: SHL
000027a3: SUB
000027a4: NOT
000027a5: AND
000027a6: SWAP1
000027a7: DUP2
000027a8: PUSH1 0x00
000027aa: BYTE
000027ab: SWAP1
000027ac: MSTORE8
000027ad: POP
000027ae: PUSH1 0x00
000027b0: PUSH2 0x27ba
000027b3: DUP5
000027b4: PUSH1 0x02
000027b6: PUSH2 0x2e38
000027b9: JUMP
000027ba: JUMPDEST
000027bb: PUSH2 0x27c5
000027be: SWAP1
000027bf: PUSH1 0x01
000027c1: PUSH2 0x2df0
000027c4: JUMP
000027c5: JUMPDEST
000027c6: SWAP1
000027c7: POP
000027c8: JUMPDEST
000027c9: PUSH1 0x01
000027cb: DUP2
000027cc: GT
000027cd: ISZERO
000027ce: PUSH2 0x284a
000027d1: JUMPI
000027d2: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000
000027f3: DUP6
000027f4: PUSH1 0x0f
000027f6: AND
000027f7: PUSH1 0x10
000027f9: DUP2
000027fa: LT
000027fb: PUSH2 0x2806
000027fe: JUMPI
000027ff: PUSH2 0x2806
00002802: PUSH2 0x2e4f
00002805: JUMP
00002806: JUMPDEST
00002807: BYTE
00002808: PUSH1 0xf8
0000280a: SHL
0000280b: DUP3
0000280c: DUP3
0000280d: DUP2
0000280e: MLOAD
0000280f: DUP2
00002810: LT
00002811: PUSH2 0x281c
00002814: JUMPI
00002815: PUSH2 0x281c
00002818: PUSH2 0x2e4f
0000281b: JUMP
0000281c: JUMPDEST
0000281d: PUSH1 0x20
0000281f: ADD
00002820: ADD
00002821: SWAP1
00002822: PUSH1 0x01
00002824: PUSH1 0x01
00002826: PUSH1 0xf8
00002828: SHL
00002829: SUB
0000282a: NOT
0000282b: AND
0000282c: SWAP1
0000282d: DUP2
0000282e: PUSH1 0x00
00002830: BYTE
00002831: SWAP1
00002832: MSTORE8
00002833: POP
00002834: PUSH1 0x04
00002836: SWAP5
00002837: SWAP1
00002838: SWAP5
00002839: SHR
0000283a: SWAP4
0000283b: PUSH2 0x2843
0000283e: DUP2
0000283f: PUSH2 0x2fa7
00002842: JUMP
00002843: JUMPDEST
00002844: SWAP1
00002845: POP
00002846: PUSH2 0x27c8
00002849: JUMP
0000284a: JUMPDEST
0000284b: POP
0000284c: DUP4
0000284d: ISZERO
0000284e: PUSH2 0x1a0a
00002851: JUMPI
00002852: PUSH1 0x40
00002854: MLOAD
00002855: PUSH3 0x461bcd
00002859: PUSH1 0xe5
0000285b: SHL
0000285c: DUP2
0000285d: MSTORE
0000285e: PUSH1 0x20
00002860: PUSH1 0x04
00002862: DUP3
00002863: ADD
00002864: DUP2
00002865: SWAP1
00002866: MSTORE
00002867: PUSH1 0x24
00002869: DUP3
0000286a: ADD
0000286b: MSTORE
0000286c: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74
0000288d: PUSH1 0x44
0000288f: DUP3
00002890: ADD
00002891: MSTORE
00002892: PUSH1 0x64
00002894: ADD
00002895: PUSH2 0x0a29
00002898: JUMP
00002899: JUMPDEST
0000289a: PUSH1 0x60
0000289c: PUSH2 0x0c58
0000289f: DUP5
000028a0: DUP5
000028a1: PUSH1 0x00
000028a3: DUP6
000028a4: PUSH2 0x2ac7
000028a7: JUMP
000028a8: JUMPDEST
000028a9: PUSH1 0x00
000028ab: DUP3
000028ac: PUSH1 0x01
000028ae: PUSH1 0x01
000028b0: PUSH1 0xa0
000028b2: SHL
000028b3: SUB
000028b4: AND
000028b5: DUP3
000028b6: PUSH1 0x40
000028b8: MLOAD
000028b9: PUSH1 0x00
000028bb: PUSH1 0x40
000028bd: MLOAD
000028be: DUP1
000028bf: DUP4
000028c0: SUB
000028c1: DUP2
000028c2: DUP6
000028c3: DUP8
000028c4: GAS
000028c5: CALL
000028c6: SWAP3
000028c7: POP
000028c8: POP
000028c9: POP
000028ca: RETURNDATASIZE
000028cb: DUP1
000028cc: PUSH1 0x00
000028ce: DUP2
000028cf: EQ
000028d0: PUSH2 0x28f5
000028d3: JUMPI
000028d4: PUSH1 0x40
000028d6: MLOAD
000028d7: SWAP2
000028d8: POP
000028d9: PUSH1 0x1f
000028db: NOT
000028dc: PUSH1 0x3f
000028de: RETURNDATASIZE
000028df: ADD
000028e0: AND
000028e1: DUP3
000028e2: ADD
000028e3: PUSH1 0x40
000028e5: MSTORE
000028e6: RETURNDATASIZE
000028e7: DUP3
000028e8: MSTORE
000028e9: RETURNDATASIZE
000028ea: PUSH1 0x00
000028ec: PUSH1 0x20
000028ee: DUP5
000028ef: ADD
000028f0: RETURNDATACOPY
000028f1: PUSH2 0x28fa
000028f4: JUMP
000028f5: JUMPDEST
000028f6: PUSH1 0x60
000028f8: SWAP2
000028f9: POP
000028fa: JUMPDEST
000028fb: POP
000028fc: POP
000028fd: SWAP1
000028fe: POP
000028ff: DUP1
00002900: PUSH2 0x0bbc
00002903: JUMPI
00002904: PUSH1 0x40
00002906: MLOAD
00002907: PUSH3 0x461bcd
0000290b: PUSH1 0xe5
0000290d: SHL
0000290e: DUP2
0000290f: MSTORE
00002910: PUSH1 0x20
00002912: PUSH1 0x04
00002914: DUP3
00002915: ADD
00002916: MSTORE
00002917: PUSH1 0x22
00002919: PUSH1 0x24
0000291b: DUP3
0000291c: ADD
0000291d: MSTORE
0000291e: PUSH32 0x5472616e7366657248656c7065723a2053656e64696e6720455448206661696c
0000293f: PUSH1 0x44
00002941: DUP3
00002942: ADD
00002943: MSTORE
00002944: PUSH32 0x6564000000000000000000000000000000000000000000000000000000000000
00002965: PUSH1 0x64
00002967: DUP3
00002968: ADD
00002969: MSTORE
0000296a: PUSH1 0x84
0000296c: ADD
0000296d: PUSH2 0x0a29
00002970: JUMP
00002971: JUMPDEST
00002972: PUSH1 0x40
00002974: DUP1
00002975: MLOAD
00002976: PUSH1 0x01
00002978: PUSH1 0x01
0000297a: PUSH1 0xa0
0000297c: SHL
0000297d: SUB
0000297e: DUP5
0000297f: DUP2
00002980: AND
00002981: PUSH1 0x24
00002983: DUP4
00002984: ADD
00002985: MSTORE
00002986: PUSH1 0x44
00002988: DUP1
00002989: DUP4
0000298a: ADD
0000298b: DUP6
0000298c: SWAP1
0000298d: MSTORE
0000298e: DUP4
0000298f: MLOAD
00002990: DUP1
00002991: DUP5
00002992: SUB
00002993: SWAP1
00002994: SWAP2
00002995: ADD
00002996: DUP2
00002997: MSTORE
00002998: PUSH1 0x64
0000299a: SWAP1
0000299b: SWAP3
0000299c: ADD
0000299d: DUP4
0000299e: MSTORE
0000299f: PUSH1 0x20
000029a1: DUP3
000029a2: ADD
000029a3: DUP1
000029a4: MLOAD
000029a5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029c2: AND
000029c3: PUSH4 0xa9059cbb
000029c8: PUSH1 0xe0
000029ca: SHL
000029cb: OR
000029cc: SWAP1
000029cd: MSTORE
000029ce: SWAP2
000029cf: MLOAD
000029d0: PUSH1 0x00
000029d2: SWAP3
000029d3: DUP4
000029d4: SWAP3
000029d5: SWAP1
000029d6: DUP8
000029d7: AND
000029d8: SWAP2
000029d9: PUSH2 0x29e2
000029dc: SWAP2
000029dd: SWAP1
000029de: PUSH2 0x2fbe
000029e1: JUMP
000029e2: JUMPDEST
000029e3: PUSH1 0x00
000029e5: PUSH1 0x40
000029e7: MLOAD
000029e8: DUP1
000029e9: DUP4
000029ea: SUB
000029eb: DUP2
000029ec: PUSH1 0x00
000029ee: DUP7
000029ef: GAS
000029f0: CALL
000029f1: SWAP2
000029f2: POP
000029f3: POP
000029f4: RETURNDATASIZE
000029f5: DUP1
000029f6: PUSH1 0x00
000029f8: DUP2
000029f9: EQ
000029fa: PUSH2 0x2a1f
000029fd: JUMPI
000029fe: PUSH1 0x40
00002a00: MLOAD
00002a01: SWAP2
00002a02: POP
00002a03: PUSH1 0x1f
00002a05: NOT
00002a06: PUSH1 0x3f
00002a08: RETURNDATASIZE
00002a09: ADD
00002a0a: AND
00002a0b: DUP3
00002a0c: ADD
00002a0d: PUSH1 0x40
00002a0f: MSTORE
00002a10: RETURNDATASIZE
00002a11: DUP3
00002a12: MSTORE
00002a13: RETURNDATASIZE
00002a14: PUSH1 0x00
00002a16: PUSH1 0x20
00002a18: DUP5
00002a19: ADD
00002a1a: RETURNDATACOPY
00002a1b: PUSH2 0x2a24
00002a1e: JUMP
00002a1f: JUMPDEST
00002a20: PUSH1 0x60
00002a22: SWAP2
00002a23: POP
00002a24: JUMPDEST
00002a25: POP
00002a26: SWAP2
00002a27: POP
00002a28: SWAP2
00002a29: POP
00002a2a: DUP2
00002a2b: DUP1
00002a2c: ISZERO
00002a2d: PUSH2 0x2a4e
00002a30: JUMPI
00002a31: POP
00002a32: DUP1
00002a33: MLOAD
00002a34: ISZERO
00002a35: DUP1
00002a36: PUSH2 0x2a4e
00002a39: JUMPI
00002a3a: POP
00002a3b: DUP1
00002a3c: DUP1
00002a3d: PUSH1 0x20
00002a3f: ADD
00002a40: SWAP1
00002a41: MLOAD
00002a42: DUP2
00002a43: ADD
00002a44: SWAP1
00002a45: PUSH2 0x2a4e
00002a48: SWAP2
00002a49: SWAP1
00002a4a: PUSH2 0x2f6f
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: PUSH2 0x2ac0
00002a52: JUMPI
00002a53: PUSH1 0x40
00002a55: MLOAD
00002a56: PUSH3 0x461bcd
00002a5a: PUSH1 0xe5
00002a5c: SHL
00002a5d: DUP2
00002a5e: MSTORE
00002a5f: PUSH1 0x20
00002a61: PUSH1 0x04
00002a63: DUP3
00002a64: ADD
00002a65: MSTORE
00002a66: PUSH1 0x2d
00002a68: PUSH1 0x24
00002a6a: DUP3
00002a6b: ADD
00002a6c: MSTORE
00002a6d: PUSH32 0x5472616e7366657248656c7065723a3a736166655472616e736665723a207472
00002a8e: PUSH1 0x44
00002a90: DUP3
00002a91: ADD
00002a92: MSTORE
00002a93: PUSH32 0x616e73666572206661696c656400000000000000000000000000000000000000
00002ab4: PUSH1 0x64
00002ab6: DUP3
00002ab7: ADD
00002ab8: MSTORE
00002ab9: PUSH1 0x84
00002abb: ADD
00002abc: PUSH2 0x0a29
00002abf: JUMP
00002ac0: JUMPDEST
00002ac1: POP
00002ac2: POP
00002ac3: POP
00002ac4: POP
00002ac5: POP
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: PUSH1 0x60
00002aca: DUP3
00002acb: SELFBALANCE
00002acc: LT
00002acd: ISZERO
00002ace: PUSH2 0x2b3f
00002ad1: JUMPI
00002ad2: PUSH1 0x40
00002ad4: MLOAD
00002ad5: PUSH3 0x461bcd
00002ad9: PUSH1 0xe5
00002adb: SHL
00002adc: DUP2
00002add: MSTORE
00002ade: PUSH1 0x20
00002ae0: PUSH1 0x04
00002ae2: DUP3
00002ae3: ADD
00002ae4: MSTORE
00002ae5: PUSH1 0x26
00002ae7: PUSH1 0x24
00002ae9: DUP3
00002aea: ADD
00002aeb: MSTORE
00002aec: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00002b0d: PUSH1 0x44
00002b0f: DUP3
00002b10: ADD
00002b11: MSTORE
00002b12: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00002b33: PUSH1 0x64
00002b35: DUP3
00002b36: ADD
00002b37: MSTORE
00002b38: PUSH1 0x84
00002b3a: ADD
00002b3b: PUSH2 0x0a29
00002b3e: JUMP
00002b3f: JUMPDEST
00002b40: PUSH1 0x00
00002b42: DUP1
00002b43: DUP7
00002b44: PUSH1 0x01
00002b46: PUSH1 0x01
00002b48: PUSH1 0xa0
00002b4a: SHL
00002b4b: SUB
00002b4c: AND
00002b4d: DUP6
00002b4e: DUP8
00002b4f: PUSH1 0x40
00002b51: MLOAD
00002b52: PUSH2 0x2b5b
00002b55: SWAP2
00002b56: SWAP1
00002b57: PUSH2 0x2fbe
00002b5a: JUMP
00002b5b: JUMPDEST
00002b5c: PUSH1 0x00
00002b5e: PUSH1 0x40
00002b60: MLOAD
00002b61: DUP1
00002b62: DUP4
00002b63: SUB
00002b64: DUP2
00002b65: DUP6
00002b66: DUP8
00002b67: GAS
00002b68: CALL
00002b69: SWAP3
00002b6a: POP
00002b6b: POP
00002b6c: POP
00002b6d: RETURNDATASIZE
00002b6e: DUP1
00002b6f: PUSH1 0x00
00002b71: DUP2
00002b72: EQ
00002b73: PUSH2 0x2b98
00002b76: JUMPI
00002b77: PUSH1 0x40
00002b79: MLOAD
00002b7a: SWAP2
00002b7b: POP
00002b7c: PUSH1 0x1f
00002b7e: NOT
00002b7f: PUSH1 0x3f
00002b81: RETURNDATASIZE
00002b82: ADD
00002b83: AND
00002b84: DUP3
00002b85: ADD
00002b86: PUSH1 0x40
00002b88: MSTORE
00002b89: RETURNDATASIZE
00002b8a: DUP3
00002b8b: MSTORE
00002b8c: RETURNDATASIZE
00002b8d: PUSH1 0x00
00002b8f: PUSH1 0x20
00002b91: DUP5
00002b92: ADD
00002b93: RETURNDATACOPY
00002b94: PUSH2 0x2b9d
00002b97: JUMP
00002b98: JUMPDEST
00002b99: PUSH1 0x60
00002b9b: SWAP2
00002b9c: POP
00002b9d: JUMPDEST
00002b9e: POP
00002b9f: SWAP2
00002ba0: POP
00002ba1: SWAP2
00002ba2: POP
00002ba3: PUSH2 0x2bae
00002ba6: DUP8
00002ba7: DUP4
00002ba8: DUP4
00002ba9: DUP8
00002baa: PUSH2 0x2bb9
00002bad: JUMP
00002bae: JUMPDEST
00002baf: SWAP8
00002bb0: SWAP7
00002bb1: POP
00002bb2: POP
00002bb3: POP
00002bb4: POP
00002bb5: POP
00002bb6: POP
00002bb7: POP
00002bb8: JUMP
00002bb9: JUMPDEST
00002bba: PUSH1 0x60
00002bbc: DUP4
00002bbd: ISZERO
00002bbe: PUSH2 0x2c28
00002bc1: JUMPI
00002bc2: DUP3
00002bc3: MLOAD
00002bc4: PUSH1 0x00
00002bc6: SUB
00002bc7: PUSH2 0x2c21
00002bca: JUMPI
00002bcb: PUSH1 0x01
00002bcd: PUSH1 0x01
00002bcf: PUSH1 0xa0
00002bd1: SHL
00002bd2: SUB
00002bd3: DUP6
00002bd4: AND
00002bd5: EXTCODESIZE
00002bd6: PUSH2 0x2c21
00002bd9: JUMPI
00002bda: PUSH1 0x40
00002bdc: MLOAD
00002bdd: PUSH3 0x461bcd
00002be1: PUSH1 0xe5
00002be3: SHL
00002be4: DUP2
00002be5: MSTORE
00002be6: PUSH1 0x20
00002be8: PUSH1 0x04
00002bea: DUP3
00002beb: ADD
00002bec: MSTORE
00002bed: PUSH1 0x1d
00002bef: PUSH1 0x24
00002bf1: DUP3
00002bf2: ADD
00002bf3: MSTORE
00002bf4: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002c15: PUSH1 0x44
00002c17: DUP3
00002c18: ADD
00002c19: MSTORE
00002c1a: PUSH1 0x64
00002c1c: ADD
00002c1d: PUSH2 0x0a29
00002c20: JUMP
00002c21: JUMPDEST
00002c22: POP
00002c23: DUP2
00002c24: PUSH2 0x0c58
00002c27: JUMP
00002c28: JUMPDEST
00002c29: PUSH2 0x0c58
00002c2c: DUP4
00002c2d: DUP4
00002c2e: DUP2
00002c2f: MLOAD
00002c30: ISZERO
00002c31: PUSH2 0x2c3d
00002c34: JUMPI
00002c35: DUP2
00002c36: MLOAD
00002c37: DUP1
00002c38: DUP4
00002c39: PUSH1 0x20
00002c3b: ADD
00002c3c: REVERT
00002c3d: JUMPDEST
00002c3e: DUP1
00002c3f: PUSH1 0x40
00002c41: MLOAD
00002c42: PUSH3 0x461bcd
00002c46: PUSH1 0xe5
00002c48: SHL
00002c49: DUP2
00002c4a: MSTORE
00002c4b: PUSH1 0x04
00002c4d: ADD
00002c4e: PUSH2 0x0a29
00002c51: SWAP2
00002c52: SWAP1
00002c53: PUSH2 0x2f3c
00002c56: JUMP
00002c57: JUMPDEST
00002c58: PUSH1 0x00
00002c5a: PUSH1 0x20
00002c5c: DUP3
00002c5d: DUP5
00002c5e: SUB
00002c5f: SLT
00002c60: ISZERO
00002c61: PUSH2 0x2c69
00002c64: JUMPI
00002c65: PUSH1 0x00
00002c67: DUP1
00002c68: REVERT
00002c69: JUMPDEST
00002c6a: DUP2
00002c6b: CALLDATALOAD
00002c6c: PUSH1 0x01
00002c6e: PUSH1 0x01
00002c70: PUSH1 0xe0
00002c72: SHL
00002c73: SUB
00002c74: NOT
00002c75: DUP2
00002c76: AND
00002c77: DUP2
00002c78: EQ
00002c79: PUSH2 0x1a0a
00002c7c: JUMPI
00002c7d: PUSH1 0x00
00002c7f: DUP1
00002c80: REVERT
00002c81: JUMPDEST
00002c82: DUP1
00002c83: CALLDATALOAD
00002c84: PUSH1 0x01
00002c86: PUSH1 0x01
00002c88: PUSH1 0xa0
00002c8a: SHL
00002c8b: SUB
00002c8c: DUP2
00002c8d: AND
00002c8e: DUP2
00002c8f: EQ
00002c90: PUSH2 0x2c98
00002c93: JUMPI
00002c94: PUSH1 0x00
00002c96: DUP1
00002c97: REVERT
00002c98: JUMPDEST
00002c99: SWAP2
00002c9a: SWAP1
00002c9b: POP
00002c9c: JUMP
00002c9d: JUMPDEST
00002c9e: PUSH1 0x00
00002ca0: DUP1
00002ca1: PUSH1 0x40
00002ca3: DUP4
00002ca4: DUP6
00002ca5: SUB
00002ca6: SLT
00002ca7: ISZERO
00002ca8: PUSH2 0x2cb0
00002cab: JUMPI
00002cac: PUSH1 0x00
00002cae: DUP1
00002caf: REVERT
00002cb0: JUMPDEST
00002cb1: PUSH2 0x2cb9
00002cb4: DUP4
00002cb5: PUSH2 0x2c81
00002cb8: JUMP
00002cb9: JUMPDEST
00002cba: SWAP5
00002cbb: PUSH1 0x20
00002cbd: SWAP4
00002cbe: SWAP1
00002cbf: SWAP4
00002cc0: ADD
00002cc1: CALLDATALOAD
00002cc2: SWAP4
00002cc3: POP
00002cc4: POP
00002cc5: POP
00002cc6: JUMP
00002cc7: JUMPDEST
00002cc8: PUSH1 0x00
00002cca: PUSH1 0x20
00002ccc: DUP3
00002ccd: DUP5
00002cce: SUB
00002ccf: SLT
00002cd0: ISZERO
00002cd1: PUSH2 0x2cd9
00002cd4: JUMPI
00002cd5: PUSH1 0x00
00002cd7: DUP1
00002cd8: REVERT
00002cd9: JUMPDEST
00002cda: PUSH2 0x1a0a
00002cdd: DUP3
00002cde: PUSH2 0x2c81
00002ce1: JUMP
00002ce2: JUMPDEST
00002ce3: PUSH1 0x00
00002ce5: DUP1
00002ce6: PUSH1 0x40
00002ce8: DUP4
00002ce9: DUP6
00002cea: SUB
00002ceb: SLT
00002cec: ISZERO
00002ced: PUSH2 0x2cf5
00002cf0: JUMPI
00002cf1: PUSH1 0x00
00002cf3: DUP1
00002cf4: REVERT
00002cf5: JUMPDEST
00002cf6: PUSH2 0x2cfe
00002cf9: DUP4
00002cfa: PUSH2 0x2c81
00002cfd: JUMP
00002cfe: JUMPDEST
00002cff: SWAP2
00002d00: POP
00002d01: PUSH2 0x2d0c
00002d04: PUSH1 0x20
00002d06: DUP5
00002d07: ADD
00002d08: PUSH2 0x2c81
00002d0b: JUMP
00002d0c: JUMPDEST
00002d0d: SWAP1
00002d0e: POP
00002d0f: SWAP3
00002d10: POP
00002d11: SWAP3
00002d12: SWAP1
00002d13: POP
00002d14: JUMP
00002d15: JUMPDEST
00002d16: PUSH1 0x00
00002d18: PUSH1 0x20
00002d1a: DUP3
00002d1b: DUP5
00002d1c: SUB
00002d1d: SLT
00002d1e: ISZERO
00002d1f: PUSH2 0x2d27
00002d22: JUMPI
00002d23: PUSH1 0x00
00002d25: DUP1
00002d26: REVERT
00002d27: JUMPDEST
00002d28: POP
00002d29: CALLDATALOAD
00002d2a: SWAP2
00002d2b: SWAP1
00002d2c: POP
00002d2d: JUMP
00002d2e: JUMPDEST
00002d2f: PUSH1 0x00
00002d31: DUP1
00002d32: PUSH1 0x40
00002d34: DUP4
00002d35: DUP6
00002d36: SUB
00002d37: SLT
00002d38: ISZERO
00002d39: PUSH2 0x2d41
00002d3c: JUMPI
00002d3d: PUSH1 0x00
00002d3f: DUP1
00002d40: REVERT
00002d41: JUMPDEST
00002d42: DUP3
00002d43: CALLDATALOAD
00002d44: SWAP2
00002d45: POP
00002d46: PUSH2 0x2d0c
00002d49: PUSH1 0x20
00002d4b: DUP5
00002d4c: ADD
00002d4d: PUSH2 0x2c81
00002d50: JUMP
00002d51: JUMPDEST
00002d52: PUSH1 0x20
00002d54: DUP1
00002d55: DUP3
00002d56: MSTORE
00002d57: DUP3
00002d58: MLOAD
00002d59: DUP3
00002d5a: DUP3
00002d5b: ADD
00002d5c: DUP2
00002d5d: SWAP1
00002d5e: MSTORE
00002d5f: PUSH1 0x00
00002d61: SWAP2
00002d62: SWAP1
00002d63: DUP5
00002d64: DUP3
00002d65: ADD
00002d66: SWAP1
00002d67: PUSH1 0x40
00002d69: DUP6
00002d6a: ADD
00002d6b: SWAP1
00002d6c: DUP5
00002d6d: JUMPDEST
00002d6e: DUP2
00002d6f: DUP2
00002d70: LT
00002d71: ISZERO
00002d72: PUSH2 0x2d92
00002d75: JUMPI
00002d76: DUP4
00002d77: MLOAD
00002d78: PUSH1 0x01
00002d7a: PUSH1 0x01
00002d7c: PUSH1 0xa0
00002d7e: SHL
00002d7f: SUB
00002d80: AND
00002d81: DUP4
00002d82: MSTORE
00002d83: SWAP3
00002d84: DUP5
00002d85: ADD
00002d86: SWAP3
00002d87: SWAP2
00002d88: DUP5
00002d89: ADD
00002d8a: SWAP2
00002d8b: PUSH1 0x01
00002d8d: ADD
00002d8e: PUSH2 0x2d6d
00002d91: JUMP
00002d92: JUMPDEST
00002d93: POP
00002d94: SWAP1
00002d95: SWAP7
00002d96: SWAP6
00002d97: POP
00002d98: POP
00002d99: POP
00002d9a: POP
00002d9b: POP
00002d9c: POP
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: PUSH1 0x00
00002da1: DUP1
00002da2: PUSH1 0x00
00002da4: PUSH1 0x60
00002da6: DUP5
00002da7: DUP7
00002da8: SUB
00002da9: SLT
00002daa: ISZERO
00002dab: PUSH2 0x2db3
00002dae: JUMPI
00002daf: PUSH1 0x00
00002db1: DUP1
00002db2: REVERT
00002db3: JUMPDEST
00002db4: DUP4
00002db5: CALLDATALOAD
00002db6: SWAP3
00002db7: POP
00002db8: PUSH2 0x2dc3
00002dbb: PUSH1 0x20
00002dbd: DUP6
00002dbe: ADD
00002dbf: PUSH2 0x2c81
00002dc2: JUMP
00002dc3: JUMPDEST
00002dc4: SWAP2
00002dc5: POP
00002dc6: PUSH2 0x2dd1
00002dc9: PUSH1 0x40
00002dcb: DUP6
00002dcc: ADD
00002dcd: PUSH2 0x2c81
00002dd0: JUMP
00002dd1: JUMPDEST
00002dd2: SWAP1
00002dd3: POP
00002dd4: SWAP3
00002dd5: POP
00002dd6: SWAP3
00002dd7: POP
00002dd8: SWAP3
00002dd9: JUMP
00002dda: JUMPDEST
00002ddb: PUSH4 0x4e487b71
00002de0: PUSH1 0xe0
00002de2: SHL
00002de3: PUSH1 0x00
00002de5: MSTORE
00002de6: PUSH1 0x11
00002de8: PUSH1 0x04
00002dea: MSTORE
00002deb: PUSH1 0x24
00002ded: PUSH1 0x00
00002def: REVERT
00002df0: JUMPDEST
00002df1: DUP1
00002df2: DUP3
00002df3: ADD
00002df4: DUP1
00002df5: DUP3
00002df6: GT
00002df7: ISZERO
00002df8: PUSH2 0x0979
00002dfb: JUMPI
00002dfc: PUSH2 0x0979
00002dff: PUSH2 0x2dda
00002e02: JUMP
00002e03: JUMPDEST
00002e04: PUSH1 0x00
00002e06: DUP3
00002e07: PUSH2 0x2e20
00002e0a: JUMPI
00002e0b: PUSH4 0x4e487b71
00002e10: PUSH1 0xe0
00002e12: SHL
00002e13: PUSH1 0x00
00002e15: MSTORE
00002e16: PUSH1 0x12
00002e18: PUSH1 0x04
00002e1a: MSTORE
00002e1b: PUSH1 0x24
00002e1d: PUSH1 0x00
00002e1f: REVERT
00002e20: JUMPDEST
00002e21: POP
00002e22: DIV
00002e23: SWAP1
00002e24: JUMP
00002e25: JUMPDEST
00002e26: DUP2
00002e27: DUP2
00002e28: SUB
00002e29: DUP2
00002e2a: DUP2
00002e2b: GT
00002e2c: ISZERO
00002e2d: PUSH2 0x0979
00002e30: JUMPI
00002e31: PUSH2 0x0979
00002e34: PUSH2 0x2dda
00002e37: JUMP
00002e38: JUMPDEST
00002e39: DUP1
00002e3a: DUP3
00002e3b: MUL
00002e3c: DUP2
00002e3d: ISZERO
00002e3e: DUP3
00002e3f: DUP3
00002e40: DIV
00002e41: DUP5
00002e42: EQ
00002e43: OR
00002e44: PUSH2 0x0979
00002e47: JUMPI
00002e48: PUSH2 0x0979
00002e4b: PUSH2 0x2dda
00002e4e: JUMP
00002e4f: JUMPDEST
00002e50: PUSH4 0x4e487b71
00002e55: PUSH1 0xe0
00002e57: SHL
00002e58: PUSH1 0x00
00002e5a: MSTORE
00002e5b: PUSH1 0x32
00002e5d: PUSH1 0x04
00002e5f: MSTORE
00002e60: PUSH1 0x24
00002e62: PUSH1 0x00
00002e64: REVERT
00002e65: JUMPDEST
00002e66: PUSH1 0x00
00002e68: PUSH1 0x01
00002e6a: DUP3
00002e6b: ADD
00002e6c: PUSH2 0x2e77
00002e6f: JUMPI
00002e70: PUSH2 0x2e77
00002e73: PUSH2 0x2dda
00002e76: JUMP
00002e77: JUMPDEST
00002e78: POP
00002e79: PUSH1 0x01
00002e7b: ADD
00002e7c: SWAP1
00002e7d: JUMP
00002e7e: JUMPDEST
00002e7f: PUSH1 0x00
00002e81: PUSH1 0x20
00002e83: DUP3
00002e84: DUP5
00002e85: SUB
00002e86: SLT
00002e87: ISZERO
00002e88: PUSH2 0x2e90
00002e8b: JUMPI
00002e8c: PUSH1 0x00
00002e8e: DUP1
00002e8f: REVERT
00002e90: JUMPDEST
00002e91: POP
00002e92: MLOAD
00002e93: SWAP2
00002e94: SWAP1
00002e95: POP
00002e96: JUMP
00002e97: JUMPDEST
00002e98: PUSH1 0x00
00002e9a: JUMPDEST
00002e9b: DUP4
00002e9c: DUP2
00002e9d: LT
00002e9e: ISZERO
00002e9f: PUSH2 0x2eb2
00002ea2: JUMPI
00002ea3: DUP2
00002ea4: DUP2
00002ea5: ADD
00002ea6: MLOAD
00002ea7: DUP4
00002ea8: DUP3
00002ea9: ADD
00002eaa: MSTORE
00002eab: PUSH1 0x20
00002ead: ADD
00002eae: PUSH2 0x2e9a
00002eb1: JUMP
00002eb2: JUMPDEST
00002eb3: POP
00002eb4: POP
00002eb5: PUSH1 0x00
00002eb7: SWAP2
00002eb8: ADD
00002eb9: MSTORE
00002eba: JUMP
00002ebb: JUMPDEST
00002ebc: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000
00002edd: DUP2
00002ede: MSTORE
00002edf: PUSH1 0x00
00002ee1: DUP4
00002ee2: MLOAD
00002ee3: PUSH2 0x2ef3
00002ee6: DUP2
00002ee7: PUSH1 0x17
00002ee9: DUP6
00002eea: ADD
00002eeb: PUSH1 0x20
00002eed: DUP9
00002eee: ADD
00002eef: PUSH2 0x2e97
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000
00002f15: PUSH1 0x17
00002f17: SWAP2
00002f18: DUP5
00002f19: ADD
00002f1a: SWAP2
00002f1b: DUP3
00002f1c: ADD
00002f1d: MSTORE
00002f1e: DUP4
00002f1f: MLOAD
00002f20: PUSH2 0x2f30
00002f23: DUP2
00002f24: PUSH1 0x28
00002f26: DUP5
00002f27: ADD
00002f28: PUSH1 0x20
00002f2a: DUP9
00002f2b: ADD
00002f2c: PUSH2 0x2e97
00002f2f: JUMP
00002f30: JUMPDEST
00002f31: ADD
00002f32: PUSH1 0x28
00002f34: ADD
00002f35: SWAP5
00002f36: SWAP4
00002f37: POP
00002f38: POP
00002f39: POP
00002f3a: POP
00002f3b: JUMP
00002f3c: JUMPDEST
00002f3d: PUSH1 0x20
00002f3f: DUP2
00002f40: MSTORE
00002f41: PUSH1 0x00
00002f43: DUP3
00002f44: MLOAD
00002f45: DUP1
00002f46: PUSH1 0x20
00002f48: DUP5
00002f49: ADD
00002f4a: MSTORE
00002f4b: PUSH2 0x2f5b
00002f4e: DUP2
00002f4f: PUSH1 0x40
00002f51: DUP6
00002f52: ADD
00002f53: PUSH1 0x20
00002f55: DUP8
00002f56: ADD
00002f57: PUSH2 0x2e97
00002f5a: JUMP
00002f5b: JUMPDEST
00002f5c: PUSH1 0x1f
00002f5e: ADD
00002f5f: PUSH1 0x1f
00002f61: NOT
00002f62: AND
00002f63: SWAP2
00002f64: SWAP1
00002f65: SWAP2
00002f66: ADD
00002f67: PUSH1 0x40
00002f69: ADD
00002f6a: SWAP3
00002f6b: SWAP2
00002f6c: POP
00002f6d: POP
00002f6e: JUMP
00002f6f: JUMPDEST
00002f70: PUSH1 0x00
00002f72: PUSH1 0x20
00002f74: DUP3
00002f75: DUP5
00002f76: SUB
00002f77: SLT
00002f78: ISZERO
00002f79: PUSH2 0x2f81
00002f7c: JUMPI
00002f7d: PUSH1 0x00
00002f7f: DUP1
00002f80: REVERT
00002f81: JUMPDEST
00002f82: DUP2
00002f83: MLOAD
00002f84: DUP1
00002f85: ISZERO
00002f86: ISZERO
00002f87: DUP2
00002f88: EQ
00002f89: PUSH2 0x1a0a
00002f8c: JUMPI
00002f8d: PUSH1 0x00
00002f8f: DUP1
00002f90: REVERT
00002f91: JUMPDEST
00002f92: PUSH4 0x4e487b71
00002f97: PUSH1 0xe0
00002f99: SHL
00002f9a: PUSH1 0x00
00002f9c: MSTORE
00002f9d: PUSH1 0x41
00002f9f: PUSH1 0x04
00002fa1: MSTORE
00002fa2: PUSH1 0x24
00002fa4: PUSH1 0x00
00002fa6: REVERT
00002fa7: JUMPDEST
00002fa8: PUSH1 0x00
00002faa: DUP2
00002fab: PUSH2 0x2fb6
00002fae: JUMPI
00002faf: PUSH2 0x2fb6
00002fb2: PUSH2 0x2dda
00002fb5: JUMP
00002fb6: JUMPDEST
00002fb7: POP
00002fb8: PUSH1 0x00
00002fba: NOT
00002fbb: ADD
00002fbc: SWAP1
00002fbd: JUMP
00002fbe: JUMPDEST
00002fbf: PUSH1 0x00
00002fc1: DUP3
00002fc2: MLOAD
00002fc3: PUSH2 0x2fd0
00002fc6: DUP2
00002fc7: DUP5
00002fc8: PUSH1 0x20
00002fca: DUP8
00002fcb: ADD
00002fcc: PUSH2 0x2e97
00002fcf: JUMP
00002fd0: JUMPDEST
00002fd1: SWAP2
00002fd2: SWAP1
00002fd3: SWAP2
00002fd4: ADD
00002fd5: SWAP3
00002fd6: SWAP2
00002fd7: POP
00002fd8: POP
00002fd9: JUMP
00002fda: INVALID
00002fdb: LOG2
00002fdc: PUSH5 0x6970667358
00002fe2: UNKNOWN(0x22)
00002fe3: SLT
00002fe4: KECCAK256
00002fe5: CODESIZE
00002fe6: PUSH16 0xf43055eedb0e9f3da503f3f9f5ff5bdd
00002ff7: PUSH14 0xe67cc73e35c2c8bfe0e579344c64
00003006: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x0f9cde7641284289bf4ef34209a55ae4f06e7de9c0119a16466283d8f9e87f93
call_targets: 0xd2d99a6c36fc2ed5a5066848a907dc445a3e2f39
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0f9cde7641284289bf4ef34209a55ae4f06e7de9c0119a16466283d8f9e87f93",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd2d99a6c36fc2ed5a5066848a907dc445a3e2f39"
    ],
    "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": "0xf1068454",
            "selector": "0xf1068454",
            "calldata_variants": [
                "0xf1068454",
                "0xf10684540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1229777",
            "selector": "0xf1229777",
            "calldata_variants": [
                "0xf1229777",
                "0xf12297770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf376d798",
            "selector": "0xf376d798",
            "calldata_variants": [
                "0xf376d798",
                "0xf376d7980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb518db2",
            "selector": "0xdb518db2",
            "calldata_variants": [
                "0xdb518db2",
                "0xdb518db20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe69d849d",
            "selector": "0xe69d849d",
            "calldata_variants": [
                "0xe69d849d",
                "0xe69d849d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6def076",
            "selector": "0xc6def076",
            "calldata_variants": [
                "0xc6def076",
                "0xc6def0760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd47c3bf8",
            "selector": "0xd47c3bf8",
            "calldata_variants": [
                "0xd47c3bf8",
                "0xd47c3bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8979,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10437,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10736,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0f9cde7641284289bf4ef34209a55ae4f06e7de9c0119a16466283d8f9e87f93
call_targets: 0xd2d99a6c36fc2ed5a5066848a907dc445a3e2f39
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0f9cde7641284289bf4ef34209a55ae4f06e7de9c0119a16466283d8f9e87f93",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xd2d99a6c36fc2ed5a5066848a907dc445a3e2f39"
    ],
    "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": "0xf1068454",
            "selector": "0xf1068454",
            "calldata_variants": [
                "0xf1068454",
                "0xf10684540000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf1229777",
            "selector": "0xf1229777",
            "calldata_variants": [
                "0xf1229777",
                "0xf12297770000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf376d798",
            "selector": "0xf376d798",
            "calldata_variants": [
                "0xf376d798",
                "0xf376d7980000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb2e21bc",
            "selector": "0xdb2e21bc",
            "calldata_variants": [
                "0xdb2e21bc",
                "0xdb2e21bc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb518db2",
            "selector": "0xdb518db2",
            "calldata_variants": [
                "0xdb518db2",
                "0xdb518db20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe69d849d",
            "selector": "0xe69d849d",
            "calldata_variants": [
                "0xe69d849d",
                "0xe69d849d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc6def076",
            "selector": "0xc6def076",
            "calldata_variants": [
                "0xc6def076",
                "0xc6def0760000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd47c3bf8",
            "selector": "0xd47c3bf8",
            "calldata_variants": [
                "0xd47c3bf8",
                "0xd47c3bf80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 8979,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10437,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 10736,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}