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

Analysis Run

db3fb3bf-a117-42af-8e4b-79941e0d1148

failed
Chain ID
1
Address
0xe65f525ec48c7e95654b9824ecc358454ea9185e
Block Number
—
Created
Sat, Jan 3, 2026 11:02 PM
Review Summary

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31477 report.consolidate complete 1 / 1 3 months ago
77488 artifact.fetch failed 1 / 3 1 week ago
77489 tool.cast_disasm complete 1 / 3 1 week ago
77490 analysis.bundle complete 1 / 3 1 week ago
77491 capability.graph complete 1 / 3 1 week ago
77492 detector.run complete 1 / 3 1 week ago
77493 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contract.
View stderr 
[codex:427618] OpenAI Codex v0.77.0 (research preview)
[codex:427618] --------
[codex:427618] workdir: /tmp/codex-multi-t6v23nds
[codex:427618] model: gpt-5.2-codex
[codex:427618] provider: openai
[codex:427618] approval: never
[codex:427618] sandbox: read-only
[codex:427618] reasoning effort: xhigh
[codex:427618] reasoning summaries: auto
[codex:427618] session id: 019b8615-9398-7c40-bd94-9b83ff531154
[codex:427618] --------
[codex:427618] user
[codex:427618] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:427618] 
[codex:427618] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:427618] 
[codex:427618] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:427618] - Gas inefficiency, code quality, naming, or best practices
[codex:427618] - Theoretical vulnerabilities without a clear extraction path
[codex:427618] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:427618] - Front-running unless it enables theft beyond MEV
[codex:427618] - DoS, griefing, or issues that don't result in attacker profit
[codex:427618] - Missing events, view function issues, or informational findings
[codex:427618] 
[codex:427618] HIGH-VALUE PATTERNS TO HUNT:
[codex:427618] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:427618] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:427618] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:427618] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:427618] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:427618] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:427618] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:427618] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:427618] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:427618] 
[codex:427618] For each finding, you MUST provide:
[codex:427618] 1. Exact file and line numbers of vulnerable code
[codex:427618] 2. Step-by-step exploit transaction sequence
[codex:427618] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:427618] 
[codex:427618] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:427618] 
[codex:427618] Output MUST be valid JSON matching the provided schema.
[codex:427618] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:427618] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:427618] mcp startup: no servers
[codex:427618] 
[codex:427618] thinking
[codex:427618] **Preparing to read AUDIT_BUNDLE.txt**
[codex:427618] exec
[codex:427618] /bin/bash -lc ls in /tmp/codex-multi-t6v23nds succeeded in 5ms:
[codex:427618] AUDIT_BUNDLE.txt
[codex:427618] codex-output-schema.json
[codex:427618] contracts
[codex:427618] exec
[codex:427618] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-t6v23nds succeeded in 5ms:
[codex:427618] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:427618] 
[codex:427618] ================================================================================
[codex:427618] FILE: contracts/Contract.sol
[codex:427618] ================================================================================
[codex:427618] pragma solidity ^0.4.25;
[codex:427618]  
[codex:427618] /*
[codex:427618] *
[codex:427618] * Eth Exchange by AceWins.io
[codex:427618] * 24% Buy Fees
[codex:427618] * 24% Sell Fees
[codex:427618] * 1% Transfer Fees
[codex:427618] * 8% Affiliate Commission
[codex:427618] * 0.10% Daily Interest (As long as sufficient ETH is available in the allocated pool)
[codex:427618] * Website: https://www.acedapp.net
[codex:427618] * Casino Website: https://www.acewins.io
[codex:427618] */
[codex:427618] 
[codex:427618] 
[codex:427618] 
[codex:427618] 
[codex:427618] 
[codex:427618] 
[codex:427618] thinking
[codex:427618] **Analyzing potential contract vulnerabilities**
[codex:427618] 
[codex:427618] I'm examining the token contract for exploitable flaws, focusing on reentrancy, arithmetic errors, dividend calculations, fee structures, and token supply manipulations to see if any realistic attacker profit beyond normal token mechanics exists. There’s subtle complexity around fees, dividends, and payouts, but nothing jumps out as a straightforward exploit given transfer gas limits and access controls.
[codex:427618] thinking
[codex:427618] **Evaluating fee interactions and transfer mechanics**
[codex:427618] 
[codex:427618] I’m digging into how buy, sell, and transfer fees interrelate, especially the transfer’s 1% burn and dividend distribution. It looks like transferring tokens lets holders convert tokens to ETH with just a 1% fee instead of the usual 24% sell fee, potentially enabling a cheaper exit path by cycling tokens between controlled addresses. This could let someone extract ETH more efficiently, which feels like a notable economic leakage in the design.
[codex:427618] thinking
[codex:427618] **Analyzing potential profit from fee circumvention and rounding**
[codex:427618] 
[codex:427618] I’m working through whether repeatedly transferring tokens to incur only a 1% fee lets an attacker profit beyond their initial investment, including flash loan scenarios and dividend manipulations. The math suggests no guaranteed gain above what was contributed, though this transfer mechanism creates a cheaper exit path than selling. I’m also checking rounding effects, dividend calculations, and contract-owner-only features for vulnerabilities but haven’t found a definitive exploit. The token price formulas and fee flows appear consistent with expected economics, though subtle edge cases like integer casts and underflows merit caution.
[codex:427618] thinking
[codex:427618] **Reviewing underflow risks and dividend calculations**
[codex:427618] 
[codex:427618] I’m examining potential underflow in the InterestPool_ during owner-triggered distributions, checking transfer logic for division-by-zero or rounding issues, and assessing dividend updates during token transfers. Although some edge cases might cause unexpected state changes, none present a concrete exploit path for profit by an attacker. Functions that move ETH all have appropriate restrictions or safe patterns. Overall, no exploitable vulnerability stands out in dividend or transfer handling.
[codex:427618] codex
[codex:427618] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contract.","findings":[]}
[codex:427618] tokens used
[codex:427618] 27,584
[codex:427618] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contract.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-03T23:02:46.096300+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in the provided contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
2
Total opcodes
4799
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 0x0148
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x024b
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x02a2
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x0332
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x0373
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x039e
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x2858507f
00000072: EQ
00000073: PUSH2 0x03df
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x313ce567
0000007d: EQ
0000007e: PUSH2 0x03f6
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3ccfd60b
00000088: EQ
00000089: PUSH2 0x0427
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x4b750334
00000093: EQ
00000094: PUSH2 0x043e
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x56d399e8
0000009e: EQ
0000009f: PUSH2 0x0469
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x56d5938f
000000a9: EQ
000000aa: PUSH2 0x0494
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x6284ae41
000000b4: EQ
000000b5: PUSH2 0x04b2
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x688abbf7
000000bf: EQ
000000c0: PUSH2 0x04e3
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x6b2f4632
000000ca: EQ
000000cb: PUSH2 0x0526
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x70a08231
000000d5: EQ
000000d6: PUSH2 0x0551
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x8620410b
000000e0: EQ
000000e1: PUSH2 0x05a8
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x8da5cb5b
000000eb: EQ
000000ec: PUSH2 0x05d3
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x92f8def2
000000f6: EQ
000000f7: PUSH2 0x062a
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x949e8acd
00000101: EQ
00000102: PUSH2 0x0655
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x95d89b41
0000010c: EQ
0000010d: PUSH2 0x0680
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xa9059cbb
00000117: EQ
00000118: PUSH2 0x0710
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xe4849b32
00000122: EQ
00000123: PUSH2 0x0775
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0xe9fad8ee
0000012d: EQ
0000012e: PUSH2 0x07a2
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0xf088d547
00000138: EQ
00000139: PUSH2 0x07b9
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0xfdb5a03e
00000143: EQ
00000144: PUSH2 0x0803
00000147: JUMPI
00000148: JUMPDEST
00000149: PUSH1 0x00
0000014b: DUP1
0000014c: PUSH1 0x00
0000014e: DUP1
0000014f: PUSH2 0x0178
00000152: PUSH1 0x0f
00000154: PUSH1 0xff
00000156: AND
00000157: PUSH2 0x016a
0000015a: PUSH1 0x64
0000015c: CALLVALUE
0000015d: PUSH2 0x081a
00000160: SWAP1
00000161: SWAP2
00000162: SWAP1
00000163: PUSH4 0xffffffff
00000168: AND
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH2 0x0835
0000016e: SWAP1
0000016f: SWAP2
00000170: SWAP1
00000171: PUSH4 0xffffffff
00000176: AND
00000177: JUMP
00000178: JUMPDEST
00000179: SWAP4
0000017a: POP
0000017b: PUSH2 0x0185
0000017e: DUP5
0000017f: PUSH1 0x0a
00000181: PUSH2 0x081a
00000184: JUMP
00000185: JUMPDEST
00000186: SWAP3
00000187: POP
00000188: PUSH1 0x0a
0000018a: PUSH1 0x00
0000018c: SWAP1
0000018d: SLOAD
0000018e: SWAP1
0000018f: PUSH2 0x0100
00000192: EXP
00000193: SWAP1
00000194: DIV
00000195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001aa: AND
000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c0: AND
000001c1: PUSH2 0x08fc
000001c4: DUP5
000001c5: SWAP1
000001c6: DUP2
000001c7: ISZERO
000001c8: MUL
000001c9: SWAP1
000001ca: PUSH1 0x40
000001cc: MLOAD
000001cd: PUSH1 0x00
000001cf: PUSH1 0x40
000001d1: MLOAD
000001d2: DUP1
000001d3: DUP4
000001d4: SUB
000001d5: DUP2
000001d6: DUP6
000001d7: DUP9
000001d8: DUP9
000001d9: CALL
000001da: SWAP4
000001db: POP
000001dc: POP
000001dd: POP
000001de: POP
000001df: ISZERO
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01ef
000001e5: JUMPI
000001e6: RETURNDATASIZE
000001e7: PUSH1 0x00
000001e9: DUP1
000001ea: RETURNDATACOPY
000001eb: RETURNDATASIZE
000001ec: PUSH1 0x00
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x021a
000001f4: PUSH1 0x23
000001f6: PUSH1 0xff
000001f8: AND
000001f9: PUSH2 0x020c
000001fc: PUSH1 0x64
000001fe: CALLVALUE
000001ff: PUSH2 0x081a
00000202: SWAP1
00000203: SWAP2
00000204: SWAP1
00000205: PUSH4 0xffffffff
0000020a: AND
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x0835
00000210: SWAP1
00000211: SWAP2
00000212: SWAP1
00000213: PUSH4 0xffffffff
00000218: AND
00000219: JUMP
0000021a: JUMPDEST
0000021b: SWAP2
0000021c: POP
0000021d: PUSH2 0x0227
00000220: DUP3
00000221: PUSH1 0x0a
00000223: PUSH2 0x081a
00000226: JUMP
00000227: JUMPDEST
00000228: SWAP1
00000229: POP
0000022a: DUP1
0000022b: PUSH1 0x03
0000022d: PUSH1 0x00
0000022f: DUP3
00000230: DUP3
00000231: SLOAD
00000232: ADD
00000233: SWAP3
00000234: POP
00000235: POP
00000236: DUP2
00000237: SWAP1
00000238: SSTORE
00000239: POP
0000023a: PUSH2 0x0244
0000023d: CALLVALUE
0000023e: PUSH1 0x00
00000240: PUSH2 0x0870
00000243: JUMP
00000244: JUMPDEST
00000245: POP
00000246: POP
00000247: POP
00000248: POP
00000249: POP
0000024a: STOP
0000024b: JUMPDEST
0000024c: CALLVALUE
0000024d: DUP1
0000024e: ISZERO
0000024f: PUSH2 0x0257
00000252: JUMPI
00000253: PUSH1 0x00
00000255: DUP1
00000256: REVERT
00000257: JUMPDEST
00000258: POP
00000259: PUSH2 0x028c
0000025c: PUSH1 0x04
0000025e: DUP1
0000025f: CALLDATASIZE
00000260: SUB
00000261: DUP2
00000262: ADD
00000263: SWAP1
00000264: DUP1
00000265: DUP1
00000266: CALLDATALOAD
00000267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000027c: AND
0000027d: SWAP1
0000027e: PUSH1 0x20
00000280: ADD
00000281: SWAP1
00000282: SWAP3
00000283: SWAP2
00000284: SWAP1
00000285: POP
00000286: POP
00000287: POP
00000288: PUSH2 0x0c86
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: DUP1
00000291: DUP3
00000292: DUP2
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: SWAP2
00000298: POP
00000299: POP
0000029a: PUSH1 0x40
0000029c: MLOAD
0000029d: DUP1
0000029e: SWAP2
0000029f: SUB
000002a0: SWAP1
000002a1: RETURN
000002a2: JUMPDEST
000002a3: CALLVALUE
000002a4: DUP1
000002a5: ISZERO
000002a6: PUSH2 0x02ae
000002a9: JUMPI
000002aa: PUSH1 0x00
000002ac: DUP1
000002ad: REVERT
000002ae: JUMPDEST
000002af: POP
000002b0: PUSH2 0x02b7
000002b3: PUSH2 0x0d28
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH1 0x40
000002ba: MLOAD
000002bb: DUP1
000002bc: DUP1
000002bd: PUSH1 0x20
000002bf: ADD
000002c0: DUP3
000002c1: DUP2
000002c2: SUB
000002c3: DUP3
000002c4: MSTORE
000002c5: DUP4
000002c6: DUP2
000002c7: DUP2
000002c8: MLOAD
000002c9: DUP2
000002ca: MSTORE
000002cb: PUSH1 0x20
000002cd: ADD
000002ce: SWAP2
000002cf: POP
000002d0: DUP1
000002d1: MLOAD
000002d2: SWAP1
000002d3: PUSH1 0x20
000002d5: ADD
000002d6: SWAP1
000002d7: DUP1
000002d8: DUP4
000002d9: DUP4
000002da: PUSH1 0x00
000002dc: JUMPDEST
000002dd: DUP4
000002de: DUP2
000002df: LT
000002e0: ISZERO
000002e1: PUSH2 0x02f7
000002e4: JUMPI
000002e5: DUP1
000002e6: DUP3
000002e7: ADD
000002e8: MLOAD
000002e9: DUP2
000002ea: DUP5
000002eb: ADD
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: DUP2
000002f0: ADD
000002f1: SWAP1
000002f2: POP
000002f3: PUSH2 0x02dc
000002f6: JUMP
000002f7: JUMPDEST
000002f8: POP
000002f9: POP
000002fa: POP
000002fb: POP
000002fc: SWAP1
000002fd: POP
000002fe: SWAP1
000002ff: DUP2
00000300: ADD
00000301: SWAP1
00000302: PUSH1 0x1f
00000304: AND
00000305: DUP1
00000306: ISZERO
00000307: PUSH2 0x0324
0000030a: JUMPI
0000030b: DUP1
0000030c: DUP3
0000030d: SUB
0000030e: DUP1
0000030f: MLOAD
00000310: PUSH1 0x01
00000312: DUP4
00000313: PUSH1 0x20
00000315: SUB
00000316: PUSH2 0x0100
00000319: EXP
0000031a: SUB
0000031b: NOT
0000031c: AND
0000031d: DUP2
0000031e: MSTORE
0000031f: PUSH1 0x20
00000321: ADD
00000322: SWAP2
00000323: POP
00000324: JUMPDEST
00000325: POP
00000326: SWAP3
00000327: POP
00000328: POP
00000329: POP
0000032a: PUSH1 0x40
0000032c: MLOAD
0000032d: DUP1
0000032e: SWAP2
0000032f: SUB
00000330: SWAP1
00000331: RETURN
00000332: JUMPDEST
00000333: CALLVALUE
00000334: DUP1
00000335: ISZERO
00000336: PUSH2 0x033e
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: REVERT
0000033e: JUMPDEST
0000033f: POP
00000340: PUSH2 0x035d
00000343: PUSH1 0x04
00000345: DUP1
00000346: CALLDATASIZE
00000347: SUB
00000348: DUP2
00000349: ADD
0000034a: SWAP1
0000034b: DUP1
0000034c: DUP1
0000034d: CALLDATALOAD
0000034e: SWAP1
0000034f: PUSH1 0x20
00000351: ADD
00000352: SWAP1
00000353: SWAP3
00000354: SWAP2
00000355: SWAP1
00000356: POP
00000357: POP
00000358: POP
00000359: PUSH2 0x0dc6
0000035c: JUMP
0000035d: JUMPDEST
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: DUP3
00000363: DUP2
00000364: MSTORE
00000365: PUSH1 0x20
00000367: ADD
00000368: SWAP2
00000369: POP
0000036a: POP
0000036b: PUSH1 0x40
0000036d: MLOAD
0000036e: DUP1
0000036f: SWAP2
00000370: SUB
00000371: SWAP1
00000372: RETURN
00000373: JUMPDEST
00000374: CALLVALUE
00000375: DUP1
00000376: ISZERO
00000377: PUSH2 0x037f
0000037a: JUMPI
0000037b: PUSH1 0x00
0000037d: DUP1
0000037e: REVERT
0000037f: JUMPDEST
00000380: POP
00000381: PUSH2 0x0388
00000384: PUSH2 0x0e30
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH1 0x40
0000038b: MLOAD
0000038c: DUP1
0000038d: DUP3
0000038e: DUP2
0000038f: MSTORE
00000390: PUSH1 0x20
00000392: ADD
00000393: SWAP2
00000394: POP
00000395: POP
00000396: PUSH1 0x40
00000398: MLOAD
00000399: DUP1
0000039a: SWAP2
0000039b: SUB
0000039c: SWAP1
0000039d: RETURN
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x03c9
000003af: PUSH1 0x04
000003b1: DUP1
000003b2: CALLDATASIZE
000003b3: SUB
000003b4: DUP2
000003b5: ADD
000003b6: SWAP1
000003b7: DUP1
000003b8: DUP1
000003b9: CALLDATALOAD
000003ba: SWAP1
000003bb: PUSH1 0x20
000003bd: ADD
000003be: SWAP1
000003bf: SWAP3
000003c0: SWAP2
000003c1: SWAP1
000003c2: POP
000003c3: POP
000003c4: POP
000003c5: PUSH2 0x0e3a
000003c8: JUMP
000003c9: JUMPDEST
000003ca: PUSH1 0x40
000003cc: MLOAD
000003cd: DUP1
000003ce: DUP3
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP2
000003d5: POP
000003d6: POP
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: DUP1
000003db: SWAP2
000003dc: SUB
000003dd: SWAP1
000003de: RETURN
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03eb
000003e6: JUMPI
000003e7: PUSH1 0x00
000003e9: DUP1
000003ea: REVERT
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH2 0x03f4
000003f0: PUSH2 0x0ebb
000003f3: JUMP
000003f4: JUMPDEST
000003f5: STOP
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x040b
00000407: PUSH2 0x0f88
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: DUP1
00000410: DUP3
00000411: PUSH1 0xff
00000413: AND
00000414: PUSH1 0xff
00000416: AND
00000417: DUP2
00000418: MSTORE
00000419: PUSH1 0x20
0000041b: ADD
0000041c: SWAP2
0000041d: POP
0000041e: POP
0000041f: PUSH1 0x40
00000421: MLOAD
00000422: DUP1
00000423: SWAP2
00000424: SUB
00000425: SWAP1
00000426: RETURN
00000427: JUMPDEST
00000428: CALLVALUE
00000429: DUP1
0000042a: ISZERO
0000042b: PUSH2 0x0433
0000042e: JUMPI
0000042f: PUSH1 0x00
00000431: DUP1
00000432: REVERT
00000433: JUMPDEST
00000434: POP
00000435: PUSH2 0x043c
00000438: PUSH2 0x0f8d
0000043b: JUMP
0000043c: JUMPDEST
0000043d: STOP
0000043e: JUMPDEST
0000043f: CALLVALUE
00000440: DUP1
00000441: ISZERO
00000442: PUSH2 0x044a
00000445: JUMPI
00000446: PUSH1 0x00
00000448: DUP1
00000449: REVERT
0000044a: JUMPDEST
0000044b: POP
0000044c: PUSH2 0x0453
0000044f: PUSH2 0x1131
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH1 0x40
00000456: MLOAD
00000457: DUP1
00000458: DUP3
00000459: DUP2
0000045a: MSTORE
0000045b: PUSH1 0x20
0000045d: ADD
0000045e: SWAP2
0000045f: POP
00000460: POP
00000461: PUSH1 0x40
00000463: MLOAD
00000464: DUP1
00000465: SWAP2
00000466: SUB
00000467: SWAP1
00000468: RETURN
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH2 0x047e
0000047a: PUSH2 0x11c7
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH1 0x40
00000481: MLOAD
00000482: DUP1
00000483: DUP3
00000484: DUP2
00000485: MSTORE
00000486: PUSH1 0x20
00000488: ADD
00000489: SWAP2
0000048a: POP
0000048b: POP
0000048c: PUSH1 0x40
0000048e: MLOAD
0000048f: DUP1
00000490: SWAP2
00000491: SUB
00000492: SWAP1
00000493: RETURN
00000494: JUMPDEST
00000495: PUSH2 0x049c
00000498: PUSH2 0x11cd
0000049b: JUMP
0000049c: JUMPDEST
0000049d: PUSH1 0x40
0000049f: MLOAD
000004a0: DUP1
000004a1: DUP3
000004a2: DUP2
000004a3: MSTORE
000004a4: PUSH1 0x20
000004a6: ADD
000004a7: SWAP2
000004a8: POP
000004a9: POP
000004aa: PUSH1 0x40
000004ac: MLOAD
000004ad: DUP1
000004ae: SWAP2
000004af: SUB
000004b0: SWAP1
000004b1: RETURN
000004b2: JUMPDEST
000004b3: CALLVALUE
000004b4: DUP1
000004b5: ISZERO
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: POP
000004c0: PUSH2 0x04c7
000004c3: PUSH2 0x11de
000004c6: JUMP
000004c7: JUMPDEST
000004c8: PUSH1 0x40
000004ca: MLOAD
000004cb: DUP1
000004cc: DUP3
000004cd: PUSH1 0xff
000004cf: AND
000004d0: PUSH1 0xff
000004d2: AND
000004d3: DUP2
000004d4: MSTORE
000004d5: PUSH1 0x20
000004d7: ADD
000004d8: SWAP2
000004d9: POP
000004da: POP
000004db: PUSH1 0x40
000004dd: MLOAD
000004de: DUP1
000004df: SWAP2
000004e0: SUB
000004e1: SWAP1
000004e2: RETURN
000004e3: JUMPDEST
000004e4: CALLVALUE
000004e5: DUP1
000004e6: ISZERO
000004e7: PUSH2 0x04ef
000004ea: JUMPI
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x0510
000004f4: PUSH1 0x04
000004f6: DUP1
000004f7: CALLDATASIZE
000004f8: SUB
000004f9: DUP2
000004fa: ADD
000004fb: SWAP1
000004fc: DUP1
000004fd: DUP1
000004fe: CALLDATALOAD
000004ff: ISZERO
00000500: ISZERO
00000501: SWAP1
00000502: PUSH1 0x20
00000504: ADD
00000505: SWAP1
00000506: SWAP3
00000507: SWAP2
00000508: SWAP1
00000509: POP
0000050a: POP
0000050b: POP
0000050c: PUSH2 0x11e7
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x40
00000513: MLOAD
00000514: DUP1
00000515: DUP3
00000516: DUP2
00000517: MSTORE
00000518: PUSH1 0x20
0000051a: ADD
0000051b: SWAP2
0000051c: POP
0000051d: POP
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: DUP1
00000522: SWAP2
00000523: SUB
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: DUP1
00000529: ISZERO
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: POP
00000534: PUSH2 0x053b
00000537: PUSH2 0x1253
0000053a: JUMP
0000053b: JUMPDEST
0000053c: PUSH1 0x40
0000053e: MLOAD
0000053f: DUP1
00000540: DUP3
00000541: DUP2
00000542: MSTORE
00000543: PUSH1 0x20
00000545: ADD
00000546: SWAP2
00000547: POP
00000548: POP
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: DUP1
0000054d: SWAP2
0000054e: SUB
0000054f: SWAP1
00000550: RETURN
00000551: JUMPDEST
00000552: CALLVALUE
00000553: DUP1
00000554: ISZERO
00000555: PUSH2 0x055d
00000558: JUMPI
00000559: PUSH1 0x00
0000055b: DUP1
0000055c: REVERT
0000055d: JUMPDEST
0000055e: POP
0000055f: PUSH2 0x0592
00000562: PUSH1 0x04
00000564: DUP1
00000565: CALLDATASIZE
00000566: SUB
00000567: DUP2
00000568: ADD
00000569: SWAP1
0000056a: DUP1
0000056b: DUP1
0000056c: CALLDATALOAD
0000056d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000582: AND
00000583: SWAP1
00000584: PUSH1 0x20
00000586: ADD
00000587: SWAP1
00000588: SWAP3
00000589: SWAP2
0000058a: SWAP1
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: PUSH2 0x1272
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH1 0x40
00000595: MLOAD
00000596: DUP1
00000597: DUP3
00000598: DUP2
00000599: MSTORE
0000059a: PUSH1 0x20
0000059c: ADD
0000059d: SWAP2
0000059e: POP
0000059f: POP
000005a0: PUSH1 0x40
000005a2: MLOAD
000005a3: DUP1
000005a4: SWAP2
000005a5: SUB
000005a6: SWAP1
000005a7: RETURN
000005a8: JUMPDEST
000005a9: CALLVALUE
000005aa: DUP1
000005ab: ISZERO
000005ac: PUSH2 0x05b4
000005af: JUMPI
000005b0: PUSH1 0x00
000005b2: DUP1
000005b3: REVERT
000005b4: JUMPDEST
000005b5: POP
000005b6: PUSH2 0x05bd
000005b9: PUSH2 0x12bb
000005bc: JUMP
000005bd: JUMPDEST
000005be: PUSH1 0x40
000005c0: MLOAD
000005c1: DUP1
000005c2: DUP3
000005c3: DUP2
000005c4: MSTORE
000005c5: PUSH1 0x20
000005c7: ADD
000005c8: SWAP2
000005c9: POP
000005ca: POP
000005cb: PUSH1 0x40
000005cd: MLOAD
000005ce: DUP1
000005cf: SWAP2
000005d0: SUB
000005d1: SWAP1
000005d2: RETURN
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: DUP1
000005d6: ISZERO
000005d7: PUSH2 0x05df
000005da: JUMPI
000005db: PUSH1 0x00
000005dd: DUP1
000005de: REVERT
000005df: JUMPDEST
000005e0: POP
000005e1: PUSH2 0x05e8
000005e4: PUSH2 0x134b
000005e7: JUMP
000005e8: JUMPDEST
000005e9: PUSH1 0x40
000005eb: MLOAD
000005ec: DUP1
000005ed: DUP3
000005ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000603: AND
00000604: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000619: AND
0000061a: DUP2
0000061b: MSTORE
0000061c: PUSH1 0x20
0000061e: ADD
0000061f: SWAP2
00000620: POP
00000621: POP
00000622: PUSH1 0x40
00000624: MLOAD
00000625: DUP1
00000626: SWAP2
00000627: SUB
00000628: SWAP1
00000629: RETURN
0000062a: JUMPDEST
0000062b: CALLVALUE
0000062c: DUP1
0000062d: ISZERO
0000062e: PUSH2 0x0636
00000631: JUMPI
00000632: PUSH1 0x00
00000634: DUP1
00000635: REVERT
00000636: JUMPDEST
00000637: POP
00000638: PUSH2 0x063f
0000063b: PUSH2 0x1370
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x40
00000642: MLOAD
00000643: DUP1
00000644: DUP3
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: SWAP2
0000064b: POP
0000064c: POP
0000064d: PUSH1 0x40
0000064f: MLOAD
00000650: DUP1
00000651: SWAP2
00000652: SUB
00000653: SWAP1
00000654: RETURN
00000655: JUMPDEST
00000656: CALLVALUE
00000657: DUP1
00000658: ISZERO
00000659: PUSH2 0x0661
0000065c: JUMPI
0000065d: PUSH1 0x00
0000065f: DUP1
00000660: REVERT
00000661: JUMPDEST
00000662: POP
00000663: PUSH2 0x066a
00000666: PUSH2 0x1376
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH1 0x40
0000066d: MLOAD
0000066e: DUP1
0000066f: DUP3
00000670: DUP2
00000671: MSTORE
00000672: PUSH1 0x20
00000674: ADD
00000675: SWAP2
00000676: POP
00000677: POP
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: DUP1
0000067c: SWAP2
0000067d: SUB
0000067e: SWAP1
0000067f: RETURN
00000680: JUMPDEST
00000681: CALLVALUE
00000682: DUP1
00000683: ISZERO
00000684: PUSH2 0x068c
00000687: JUMPI
00000688: PUSH1 0x00
0000068a: DUP1
0000068b: REVERT
0000068c: JUMPDEST
0000068d: POP
0000068e: PUSH2 0x0695
00000691: PUSH2 0x138b
00000694: JUMP
00000695: JUMPDEST
00000696: PUSH1 0x40
00000698: MLOAD
00000699: DUP1
0000069a: DUP1
0000069b: PUSH1 0x20
0000069d: ADD
0000069e: DUP3
0000069f: DUP2
000006a0: SUB
000006a1: DUP3
000006a2: MSTORE
000006a3: DUP4
000006a4: DUP2
000006a5: DUP2
000006a6: MLOAD
000006a7: DUP2
000006a8: MSTORE
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: SWAP2
000006ad: POP
000006ae: DUP1
000006af: MLOAD
000006b0: SWAP1
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: SWAP1
000006b5: DUP1
000006b6: DUP4
000006b7: DUP4
000006b8: PUSH1 0x00
000006ba: JUMPDEST
000006bb: DUP4
000006bc: DUP2
000006bd: LT
000006be: ISZERO
000006bf: PUSH2 0x06d5
000006c2: JUMPI
000006c3: DUP1
000006c4: DUP3
000006c5: ADD
000006c6: MLOAD
000006c7: DUP2
000006c8: DUP5
000006c9: ADD
000006ca: MSTORE
000006cb: PUSH1 0x20
000006cd: DUP2
000006ce: ADD
000006cf: SWAP1
000006d0: POP
000006d1: PUSH2 0x06ba
000006d4: JUMP
000006d5: JUMPDEST
000006d6: POP
000006d7: POP
000006d8: POP
000006d9: POP
000006da: SWAP1
000006db: POP
000006dc: SWAP1
000006dd: DUP2
000006de: ADD
000006df: SWAP1
000006e0: PUSH1 0x1f
000006e2: AND
000006e3: DUP1
000006e4: ISZERO
000006e5: PUSH2 0x0702
000006e8: JUMPI
000006e9: DUP1
000006ea: DUP3
000006eb: SUB
000006ec: DUP1
000006ed: MLOAD
000006ee: PUSH1 0x01
000006f0: DUP4
000006f1: PUSH1 0x20
000006f3: SUB
000006f4: PUSH2 0x0100
000006f7: EXP
000006f8: SUB
000006f9: NOT
000006fa: AND
000006fb: DUP2
000006fc: MSTORE
000006fd: PUSH1 0x20
000006ff: ADD
00000700: SWAP2
00000701: POP
00000702: JUMPDEST
00000703: POP
00000704: SWAP3
00000705: POP
00000706: POP
00000707: POP
00000708: PUSH1 0x40
0000070a: MLOAD
0000070b: DUP1
0000070c: SWAP2
0000070d: SUB
0000070e: SWAP1
0000070f: RETURN
00000710: JUMPDEST
00000711: CALLVALUE
00000712: DUP1
00000713: ISZERO
00000714: PUSH2 0x071c
00000717: JUMPI
00000718: PUSH1 0x00
0000071a: DUP1
0000071b: REVERT
0000071c: JUMPDEST
0000071d: POP
0000071e: PUSH2 0x075b
00000721: PUSH1 0x04
00000723: DUP1
00000724: CALLDATASIZE
00000725: SUB
00000726: DUP2
00000727: ADD
00000728: SWAP1
00000729: DUP1
0000072a: DUP1
0000072b: CALLDATALOAD
0000072c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000741: AND
00000742: SWAP1
00000743: PUSH1 0x20
00000745: ADD
00000746: SWAP1
00000747: SWAP3
00000748: SWAP2
00000749: SWAP1
0000074a: DUP1
0000074b: CALLDATALOAD
0000074c: SWAP1
0000074d: PUSH1 0x20
0000074f: ADD
00000750: SWAP1
00000751: SWAP3
00000752: SWAP2
00000753: SWAP1
00000754: POP
00000755: POP
00000756: POP
00000757: PUSH2 0x1429
0000075a: JUMP
0000075b: JUMPDEST
0000075c: PUSH1 0x40
0000075e: MLOAD
0000075f: DUP1
00000760: DUP3
00000761: ISZERO
00000762: ISZERO
00000763: ISZERO
00000764: ISZERO
00000765: DUP2
00000766: MSTORE
00000767: PUSH1 0x20
00000769: ADD
0000076a: SWAP2
0000076b: POP
0000076c: POP
0000076d: PUSH1 0x40
0000076f: MLOAD
00000770: DUP1
00000771: SWAP2
00000772: SUB
00000773: SWAP1
00000774: RETURN
00000775: JUMPDEST
00000776: CALLVALUE
00000777: DUP1
00000778: ISZERO
00000779: PUSH2 0x0781
0000077c: JUMPI
0000077d: PUSH1 0x00
0000077f: DUP1
00000780: REVERT
00000781: JUMPDEST
00000782: POP
00000783: PUSH2 0x07a0
00000786: PUSH1 0x04
00000788: DUP1
00000789: CALLDATASIZE
0000078a: SUB
0000078b: DUP2
0000078c: ADD
0000078d: SWAP1
0000078e: DUP1
0000078f: DUP1
00000790: CALLDATALOAD
00000791: SWAP1
00000792: PUSH1 0x20
00000794: ADD
00000795: SWAP1
00000796: SWAP3
00000797: SWAP2
00000798: SWAP1
00000799: POP
0000079a: POP
0000079b: POP
0000079c: PUSH2 0x174c
0000079f: JUMP
000007a0: JUMPDEST
000007a1: STOP
000007a2: JUMPDEST
000007a3: CALLVALUE
000007a4: DUP1
000007a5: ISZERO
000007a6: PUSH2 0x07ae
000007a9: JUMPI
000007aa: PUSH1 0x00
000007ac: DUP1
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH2 0x07b7
000007b3: PUSH2 0x1a9a
000007b6: JUMP
000007b7: JUMPDEST
000007b8: STOP
000007b9: JUMPDEST
000007ba: PUSH2 0x07ed
000007bd: PUSH1 0x04
000007bf: DUP1
000007c0: CALLDATASIZE
000007c1: SUB
000007c2: DUP2
000007c3: ADD
000007c4: SWAP1
000007c5: DUP1
000007c6: DUP1
000007c7: CALLDATALOAD
000007c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007dd: AND
000007de: SWAP1
000007df: PUSH1 0x20
000007e1: ADD
000007e2: SWAP1
000007e3: SWAP3
000007e4: SWAP2
000007e5: SWAP1
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: PUSH2 0x1b01
000007ec: JUMP
000007ed: JUMPDEST
000007ee: PUSH1 0x40
000007f0: MLOAD
000007f1: DUP1
000007f2: DUP3
000007f3: DUP2
000007f4: MSTORE
000007f5: PUSH1 0x20
000007f7: ADD
000007f8: SWAP2
000007f9: POP
000007fa: POP
000007fb: PUSH1 0x40
000007fd: MLOAD
000007fe: DUP1
000007ff: SWAP2
00000800: SUB
00000801: SWAP1
00000802: RETURN
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH2 0x0818
00000814: PUSH2 0x1c08
00000817: JUMP
00000818: JUMPDEST
00000819: STOP
0000081a: JUMPDEST
0000081b: PUSH1 0x00
0000081d: DUP1
0000081e: DUP3
0000081f: DUP5
00000820: DUP2
00000821: ISZERO
00000822: ISZERO
00000823: PUSH2 0x0828
00000826: JUMPI
00000827: INVALID
00000828: JUMPDEST
00000829: DIV
0000082a: SWAP1
0000082b: POP
0000082c: DUP1
0000082d: SWAP2
0000082e: POP
0000082f: POP
00000830: SWAP3
00000831: SWAP2
00000832: POP
00000833: POP
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH1 0x00
00000838: DUP1
00000839: PUSH1 0x00
0000083b: DUP5
0000083c: EQ
0000083d: ISZERO
0000083e: PUSH2 0x084a
00000841: JUMPI
00000842: PUSH1 0x00
00000844: SWAP2
00000845: POP
00000846: PUSH2 0x0869
00000849: JUMP
0000084a: JUMPDEST
0000084b: DUP3
0000084c: DUP5
0000084d: MUL
0000084e: SWAP1
0000084f: POP
00000850: DUP3
00000851: DUP5
00000852: DUP3
00000853: DUP2
00000854: ISZERO
00000855: ISZERO
00000856: PUSH2 0x085b
00000859: JUMPI
0000085a: INVALID
0000085b: JUMPDEST
0000085c: DIV
0000085d: EQ
0000085e: ISZERO
0000085f: ISZERO
00000860: PUSH2 0x0865
00000863: JUMPI
00000864: INVALID
00000865: JUMPDEST
00000866: DUP1
00000867: SWAP2
00000868: POP
00000869: JUMPDEST
0000086a: POP
0000086b: SWAP3
0000086c: SWAP2
0000086d: POP
0000086e: POP
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x00
00000873: DUP1
00000874: PUSH1 0x00
00000876: DUP1
00000877: PUSH1 0x00
00000879: DUP1
0000087a: PUSH1 0x00
0000087c: DUP1
0000087d: PUSH1 0x00
0000087f: DUP1
00000880: PUSH1 0x00
00000882: CALLER
00000883: SWAP10
00000884: POP
00000885: PUSH2 0x089c
00000888: PUSH2 0x0895
0000088b: DUP15
0000088c: PUSH1 0x1d
0000088e: PUSH1 0xff
00000890: AND
00000891: PUSH2 0x0835
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x64
00000898: PUSH2 0x081a
0000089b: JUMP
0000089c: JUMPDEST
0000089d: SWAP9
0000089e: POP
0000089f: PUSH2 0x08b6
000008a2: PUSH2 0x08af
000008a5: DUP11
000008a6: PUSH1 0x08
000008a8: PUSH1 0xff
000008aa: AND
000008ab: PUSH2 0x0835
000008ae: JUMP
000008af: JUMPDEST
000008b0: PUSH1 0x64
000008b2: PUSH2 0x081a
000008b5: JUMP
000008b6: JUMPDEST
000008b7: SWAP8
000008b8: POP
000008b9: PUSH2 0x08cd
000008bc: PUSH2 0x08c6
000008bf: DUP15
000008c0: PUSH1 0x05
000008c2: PUSH2 0x0835
000008c5: JUMP
000008c6: JUMPDEST
000008c7: PUSH1 0x64
000008c9: PUSH2 0x081a
000008cc: JUMP
000008cd: JUMPDEST
000008ce: SWAP7
000008cf: POP
000008d0: PUSH2 0x08d9
000008d3: DUP10
000008d4: DUP10
000008d5: PUSH2 0x1d7c
000008d8: JUMP
000008d9: JUMPDEST
000008da: SWAP6
000008db: POP
000008dc: PUSH2 0x08e5
000008df: DUP7
000008e0: DUP9
000008e1: PUSH2 0x1d7c
000008e4: JUMP
000008e5: JUMPDEST
000008e6: SWAP5
000008e7: POP
000008e8: PUSH2 0x08f1
000008eb: DUP14
000008ec: DUP11
000008ed: PUSH2 0x1d7c
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP4
000008f3: POP
000008f4: PUSH2 0x08fc
000008f7: DUP5
000008f8: PUSH2 0x1d95
000008fb: JUMP
000008fc: JUMPDEST
000008fd: SWAP3
000008fe: POP
000008ff: PUSH9 0x010000000000000000
00000909: DUP6
0000090a: MUL
0000090b: SWAP2
0000090c: POP
0000090d: PUSH1 0x00
0000090f: DUP4
00000910: GT
00000911: DUP1
00000912: ISZERO
00000913: PUSH2 0x0928
00000916: JUMPI
00000917: POP
00000918: PUSH1 0x08
0000091a: SLOAD
0000091b: PUSH2 0x0926
0000091e: DUP5
0000091f: PUSH1 0x08
00000921: SLOAD
00000922: PUSH2 0x1e22
00000925: JUMP
00000926: JUMPDEST
00000927: GT
00000928: JUMPDEST
00000929: ISZERO
0000092a: ISZERO
0000092b: PUSH2 0x0933
0000092e: JUMPI
0000092f: PUSH1 0x00
00000931: DUP1
00000932: REVERT
00000933: JUMPDEST
00000934: PUSH1 0x00
00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000094b: AND
0000094c: DUP13
0000094d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000962: AND
00000963: EQ
00000964: ISZERO
00000965: DUP1
00000966: ISZERO
00000967: PUSH2 0x099c
0000096a: JUMPI
0000096b: POP
0000096c: DUP10
0000096d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000982: AND
00000983: DUP13
00000984: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000999: AND
0000099a: EQ
0000099b: ISZERO
0000099c: JUMPDEST
0000099d: DUP1
0000099e: ISZERO
0000099f: PUSH2 0x09e9
000009a2: JUMPI
000009a3: POP
000009a4: PUSH1 0x04
000009a6: SLOAD
000009a7: PUSH1 0x05
000009a9: PUSH1 0x00
000009ab: DUP15
000009ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c1: AND
000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d7: AND
000009d8: DUP2
000009d9: MSTORE
000009da: PUSH1 0x20
000009dc: ADD
000009dd: SWAP1
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x20
000009e2: ADD
000009e3: PUSH1 0x00
000009e5: KECCAK256
000009e6: SLOAD
000009e7: LT
000009e8: ISZERO
000009e9: JUMPDEST
000009ea: ISZERO
000009eb: PUSH2 0x0a7f
000009ee: JUMPI
000009ef: PUSH2 0x0a37
000009f2: PUSH1 0x06
000009f4: PUSH1 0x00
000009f6: DUP15
000009f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a0c: AND
00000a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a22: AND
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x20
00000a27: ADD
00000a28: SWAP1
00000a29: DUP2
00000a2a: MSTORE
00000a2b: PUSH1 0x20
00000a2d: ADD
00000a2e: PUSH1 0x00
00000a30: KECCAK256
00000a31: SLOAD
00000a32: DUP10
00000a33: PUSH2 0x1e22
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x06
00000a3a: PUSH1 0x00
00000a3c: DUP15
00000a3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a52: AND
00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a68: AND
00000a69: DUP2
00000a6a: MSTORE
00000a6b: PUSH1 0x20
00000a6d: ADD
00000a6e: SWAP1
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x20
00000a73: ADD
00000a74: PUSH1 0x00
00000a76: KECCAK256
00000a77: DUP2
00000a78: SWAP1
00000a79: SSTORE
00000a7a: POP
00000a7b: PUSH2 0x0a9a
00000a7e: JUMP
00000a7f: JUMPDEST
00000a80: PUSH2 0x0a89
00000a83: DUP6
00000a84: DUP10
00000a85: PUSH2 0x1e22
00000a88: JUMP
00000a89: JUMPDEST
00000a8a: SWAP5
00000a8b: POP
00000a8c: PUSH9 0x010000000000000000
00000a96: DUP6
00000a97: MUL
00000a98: SWAP2
00000a99: POP
00000a9a: JUMPDEST
00000a9b: PUSH1 0x00
00000a9d: PUSH1 0x08
00000a9f: SLOAD
00000aa0: GT
00000aa1: ISZERO
00000aa2: PUSH2 0x0b05
00000aa5: JUMPI
00000aa6: PUSH2 0x0ab1
00000aa9: PUSH1 0x08
00000aab: SLOAD
00000aac: DUP5
00000aad: PUSH2 0x1e22
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x08
00000ab4: DUP2
00000ab5: SWAP1
00000ab6: SSTORE
00000ab7: POP
00000ab8: PUSH1 0x08
00000aba: SLOAD
00000abb: PUSH9 0x010000000000000000
00000ac5: DUP7
00000ac6: MUL
00000ac7: DUP2
00000ac8: ISZERO
00000ac9: ISZERO
00000aca: PUSH2 0x0acf
00000acd: JUMPI
00000ace: INVALID
00000acf: JUMPDEST
00000ad0: DIV
00000ad1: PUSH1 0x09
00000ad3: PUSH1 0x00
00000ad5: DUP3
00000ad6: DUP3
00000ad7: SLOAD
00000ad8: ADD
00000ad9: SWAP3
00000ada: POP
00000adb: POP
00000adc: DUP2
00000add: SWAP1
00000ade: SSTORE
00000adf: POP
00000ae0: PUSH1 0x08
00000ae2: SLOAD
00000ae3: PUSH9 0x010000000000000000
00000aed: DUP7
00000aee: MUL
00000aef: DUP2
00000af0: ISZERO
00000af1: ISZERO
00000af2: PUSH2 0x0af7
00000af5: JUMPI
00000af6: INVALID
00000af7: JUMPDEST
00000af8: DIV
00000af9: DUP4
00000afa: MUL
00000afb: DUP3
00000afc: SUB
00000afd: DUP3
00000afe: SUB
00000aff: SWAP2
00000b00: POP
00000b01: PUSH2 0x0b0d
00000b04: JUMP
00000b05: JUMPDEST
00000b06: DUP3
00000b07: PUSH1 0x08
00000b09: DUP2
00000b0a: SWAP1
00000b0b: SSTORE
00000b0c: POP
00000b0d: JUMPDEST
00000b0e: PUSH2 0x0b56
00000b11: PUSH1 0x05
00000b13: PUSH1 0x00
00000b15: DUP13
00000b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2b: AND
00000b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b41: AND
00000b42: DUP2
00000b43: MSTORE
00000b44: PUSH1 0x20
00000b46: ADD
00000b47: SWAP1
00000b48: DUP2
00000b49: MSTORE
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: PUSH1 0x00
00000b4f: KECCAK256
00000b50: SLOAD
00000b51: DUP5
00000b52: PUSH2 0x1e22
00000b55: JUMP
00000b56: JUMPDEST
00000b57: PUSH1 0x05
00000b59: PUSH1 0x00
00000b5b: DUP13
00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b71: AND
00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b87: AND
00000b88: DUP2
00000b89: MSTORE
00000b8a: PUSH1 0x20
00000b8c: ADD
00000b8d: SWAP1
00000b8e: DUP2
00000b8f: MSTORE
00000b90: PUSH1 0x20
00000b92: ADD
00000b93: PUSH1 0x00
00000b95: KECCAK256
00000b96: DUP2
00000b97: SWAP1
00000b98: SSTORE
00000b99: POP
00000b9a: DUP2
00000b9b: DUP4
00000b9c: PUSH1 0x09
00000b9e: SLOAD
00000b9f: MUL
00000ba0: SUB
00000ba1: SWAP1
00000ba2: POP
00000ba3: DUP1
00000ba4: PUSH1 0x07
00000ba6: PUSH1 0x00
00000ba8: DUP13
00000ba9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bbe: AND
00000bbf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd4: AND
00000bd5: DUP2
00000bd6: MSTORE
00000bd7: PUSH1 0x20
00000bd9: ADD
00000bda: SWAP1
00000bdb: DUP2
00000bdc: MSTORE
00000bdd: PUSH1 0x20
00000bdf: ADD
00000be0: PUSH1 0x00
00000be2: KECCAK256
00000be3: PUSH1 0x00
00000be5: DUP3
00000be6: DUP3
00000be7: SLOAD
00000be8: ADD
00000be9: SWAP3
00000bea: POP
00000beb: POP
00000bec: DUP2
00000bed: SWAP1
00000bee: SSTORE
00000bef: POP
00000bf0: DUP12
00000bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c06: AND
00000c07: DUP11
00000c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1d: AND
00000c1e: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab
00000c3f: DUP16
00000c40: DUP7
00000c41: TIMESTAMP
00000c42: PUSH2 0x0c49
00000c45: PUSH2 0x12bb
00000c48: JUMP
00000c49: JUMPDEST
00000c4a: PUSH1 0x40
00000c4c: MLOAD
00000c4d: DUP1
00000c4e: DUP6
00000c4f: DUP2
00000c50: MSTORE
00000c51: PUSH1 0x20
00000c53: ADD
00000c54: DUP5
00000c55: DUP2
00000c56: MSTORE
00000c57: PUSH1 0x20
00000c59: ADD
00000c5a: DUP4
00000c5b: DUP2
00000c5c: MSTORE
00000c5d: PUSH1 0x20
00000c5f: ADD
00000c60: DUP3
00000c61: DUP2
00000c62: MSTORE
00000c63: PUSH1 0x20
00000c65: ADD
00000c66: SWAP5
00000c67: POP
00000c68: POP
00000c69: POP
00000c6a: POP
00000c6b: POP
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: DUP1
00000c70: SWAP2
00000c71: SUB
00000c72: SWAP1
00000c73: LOG3
00000c74: DUP3
00000c75: SWAP11
00000c76: POP
00000c77: POP
00000c78: POP
00000c79: POP
00000c7a: POP
00000c7b: POP
00000c7c: POP
00000c7d: POP
00000c7e: POP
00000c7f: POP
00000c80: POP
00000c81: SWAP3
00000c82: SWAP2
00000c83: POP
00000c84: POP
00000c85: JUMP
00000c86: JUMPDEST
00000c87: PUSH1 0x00
00000c89: PUSH9 0x010000000000000000
00000c93: PUSH1 0x07
00000c95: PUSH1 0x00
00000c97: DUP5
00000c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cad: AND
00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc3: AND
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x20
00000cc8: ADD
00000cc9: SWAP1
00000cca: DUP2
00000ccb: MSTORE
00000ccc: PUSH1 0x20
00000cce: ADD
00000ccf: PUSH1 0x00
00000cd1: KECCAK256
00000cd2: SLOAD
00000cd3: PUSH1 0x05
00000cd5: PUSH1 0x00
00000cd7: DUP6
00000cd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ced: AND
00000cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d03: AND
00000d04: DUP2
00000d05: MSTORE
00000d06: PUSH1 0x20
00000d08: ADD
00000d09: SWAP1
00000d0a: DUP2
00000d0b: MSTORE
00000d0c: PUSH1 0x20
00000d0e: ADD
00000d0f: PUSH1 0x00
00000d11: KECCAK256
00000d12: SLOAD
00000d13: PUSH1 0x09
00000d15: SLOAD
00000d16: MUL
00000d17: SUB
00000d18: DUP2
00000d19: ISZERO
00000d1a: ISZERO
00000d1b: PUSH2 0x0d20
00000d1e: JUMPI
00000d1f: INVALID
00000d20: JUMPDEST
00000d21: DIV
00000d22: SWAP1
00000d23: POP
00000d24: SWAP2
00000d25: SWAP1
00000d26: POP
00000d27: JUMP
00000d28: JUMPDEST
00000d29: PUSH1 0x01
00000d2b: DUP1
00000d2c: SLOAD
00000d2d: PUSH1 0x01
00000d2f: DUP2
00000d30: PUSH1 0x01
00000d32: AND
00000d33: ISZERO
00000d34: PUSH2 0x0100
00000d37: MUL
00000d38: SUB
00000d39: AND
00000d3a: PUSH1 0x02
00000d3c: SWAP1
00000d3d: DIV
00000d3e: DUP1
00000d3f: PUSH1 0x1f
00000d41: ADD
00000d42: PUSH1 0x20
00000d44: DUP1
00000d45: SWAP2
00000d46: DIV
00000d47: MUL
00000d48: PUSH1 0x20
00000d4a: ADD
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: SWAP1
00000d4f: DUP2
00000d50: ADD
00000d51: PUSH1 0x40
00000d53: MSTORE
00000d54: DUP1
00000d55: SWAP3
00000d56: SWAP2
00000d57: SWAP1
00000d58: DUP2
00000d59: DUP2
00000d5a: MSTORE
00000d5b: PUSH1 0x20
00000d5d: ADD
00000d5e: DUP3
00000d5f: DUP1
00000d60: SLOAD
00000d61: PUSH1 0x01
00000d63: DUP2
00000d64: PUSH1 0x01
00000d66: AND
00000d67: ISZERO
00000d68: PUSH2 0x0100
00000d6b: MUL
00000d6c: SUB
00000d6d: AND
00000d6e: PUSH1 0x02
00000d70: SWAP1
00000d71: DIV
00000d72: DUP1
00000d73: ISZERO
00000d74: PUSH2 0x0dbe
00000d77: JUMPI
00000d78: DUP1
00000d79: PUSH1 0x1f
00000d7b: LT
00000d7c: PUSH2 0x0d93
00000d7f: JUMPI
00000d80: PUSH2 0x0100
00000d83: DUP1
00000d84: DUP4
00000d85: SLOAD
00000d86: DIV
00000d87: MUL
00000d88: DUP4
00000d89: MSTORE
00000d8a: SWAP2
00000d8b: PUSH1 0x20
00000d8d: ADD
00000d8e: SWAP2
00000d8f: PUSH2 0x0dbe
00000d92: JUMP
00000d93: JUMPDEST
00000d94: DUP3
00000d95: ADD
00000d96: SWAP2
00000d97: SWAP1
00000d98: PUSH1 0x00
00000d9a: MSTORE
00000d9b: PUSH1 0x20
00000d9d: PUSH1 0x00
00000d9f: KECCAK256
00000da0: SWAP1
00000da1: JUMPDEST
00000da2: DUP2
00000da3: SLOAD
00000da4: DUP2
00000da5: MSTORE
00000da6: SWAP1
00000da7: PUSH1 0x01
00000da9: ADD
00000daa: SWAP1
00000dab: PUSH1 0x20
00000dad: ADD
00000dae: DUP1
00000daf: DUP4
00000db0: GT
00000db1: PUSH2 0x0da1
00000db4: JUMPI
00000db5: DUP3
00000db6: SWAP1
00000db7: SUB
00000db8: PUSH1 0x1f
00000dba: AND
00000dbb: DUP3
00000dbc: ADD
00000dbd: SWAP2
00000dbe: JUMPDEST
00000dbf: POP
00000dc0: POP
00000dc1: POP
00000dc2: POP
00000dc3: POP
00000dc4: DUP2
00000dc5: JUMP
00000dc6: JUMPDEST
00000dc7: PUSH1 0x00
00000dc9: DUP1
00000dca: PUSH1 0x00
00000dcc: DUP1
00000dcd: PUSH1 0x00
00000dcf: DUP1
00000dd0: PUSH2 0x0de7
00000dd3: PUSH2 0x0de0
00000dd6: DUP9
00000dd7: PUSH1 0x1d
00000dd9: PUSH1 0xff
00000ddb: AND
00000ddc: PUSH2 0x0835
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH1 0x64
00000de3: PUSH2 0x081a
00000de6: JUMP
00000de7: JUMPDEST
00000de8: SWAP5
00000de9: POP
00000dea: PUSH2 0x0dfe
00000ded: PUSH2 0x0df7
00000df0: DUP9
00000df1: PUSH1 0x05
00000df3: PUSH2 0x0835
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x64
00000dfa: PUSH2 0x081a
00000dfd: JUMP
00000dfe: JUMPDEST
00000dff: SWAP4
00000e00: POP
00000e01: PUSH2 0x0e0a
00000e04: DUP8
00000e05: DUP7
00000e06: PUSH2 0x1d7c
00000e09: JUMP
00000e0a: JUMPDEST
00000e0b: SWAP3
00000e0c: POP
00000e0d: PUSH2 0x0e16
00000e10: DUP4
00000e11: DUP6
00000e12: PUSH2 0x1d7c
00000e15: JUMP
00000e16: JUMPDEST
00000e17: SWAP2
00000e18: POP
00000e19: PUSH2 0x0e21
00000e1c: DUP3
00000e1d: PUSH2 0x1d95
00000e20: JUMP
00000e21: JUMPDEST
00000e22: SWAP1
00000e23: POP
00000e24: DUP1
00000e25: SWAP6
00000e26: POP
00000e27: POP
00000e28: POP
00000e29: POP
00000e2a: POP
00000e2b: POP
00000e2c: SWAP2
00000e2d: SWAP1
00000e2e: POP
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: PUSH1 0x00
00000e33: PUSH1 0x08
00000e35: SLOAD
00000e36: SWAP1
00000e37: POP
00000e38: SWAP1
00000e39: JUMP
00000e3a: JUMPDEST
00000e3b: PUSH1 0x00
00000e3d: DUP1
00000e3e: PUSH1 0x00
00000e40: DUP1
00000e41: PUSH1 0x00
00000e43: DUP1
00000e44: PUSH1 0x08
00000e46: SLOAD
00000e47: DUP8
00000e48: GT
00000e49: ISZERO
00000e4a: ISZERO
00000e4b: ISZERO
00000e4c: PUSH2 0x0e54
00000e4f: JUMPI
00000e50: PUSH1 0x00
00000e52: DUP1
00000e53: REVERT
00000e54: JUMPDEST
00000e55: PUSH2 0x0e5d
00000e58: DUP8
00000e59: PUSH2 0x1e40
00000e5c: JUMP
00000e5d: JUMPDEST
00000e5e: SWAP5
00000e5f: POP
00000e60: PUSH2 0x0e7d
00000e63: PUSH2 0x0e76
00000e66: DUP7
00000e67: PUSH2 0x0e6e
00000e6a: PUSH2 0x11de
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH1 0xff
00000e71: AND
00000e72: PUSH2 0x0835
00000e75: JUMP
00000e76: JUMPDEST
00000e77: PUSH1 0x64
00000e79: PUSH2 0x081a
00000e7c: JUMP
00000e7d: JUMPDEST
00000e7e: SWAP4
00000e7f: POP
00000e80: PUSH2 0x0e94
00000e83: PUSH2 0x0e8d
00000e86: DUP7
00000e87: PUSH1 0x05
00000e89: PUSH2 0x0835
00000e8c: JUMP
00000e8d: JUMPDEST
00000e8e: PUSH1 0x64
00000e90: PUSH2 0x081a
00000e93: JUMP
00000e94: JUMPDEST
00000e95: SWAP3
00000e96: POP
00000e97: PUSH2 0x0ea0
00000e9a: DUP6
00000e9b: DUP6
00000e9c: PUSH2 0x1d7c
00000e9f: JUMP
00000ea0: JUMPDEST
00000ea1: SWAP2
00000ea2: POP
00000ea3: PUSH2 0x0eac
00000ea6: DUP3
00000ea7: DUP5
00000ea8: PUSH2 0x1d7c
00000eab: JUMP
00000eac: JUMPDEST
00000ead: SWAP1
00000eae: POP
00000eaf: DUP1
00000eb0: SWAP6
00000eb1: POP
00000eb2: POP
00000eb3: POP
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: SWAP2
00000eb8: SWAP1
00000eb9: POP
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x00
00000ebe: DUP1
00000ebf: PUSH1 0x00
00000ec1: DUP1
00000ec2: PUSH1 0x00
00000ec4: SWAP1
00000ec5: SLOAD
00000ec6: SWAP1
00000ec7: PUSH2 0x0100
00000eca: EXP
00000ecb: SWAP1
00000ecc: DIV
00000ecd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee2: AND
00000ee3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef8: AND
00000ef9: CALLER
00000efa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0f: AND
00000f10: EQ
00000f11: ISZERO
00000f12: ISZERO
00000f13: PUSH2 0x0f1b
00000f16: JUMPI
00000f17: PUSH1 0x00
00000f19: DUP1
00000f1a: REVERT
00000f1b: JUMPDEST
00000f1c: PUSH2 0x0f3e
00000f1f: ADDRESS
00000f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f35: AND
00000f36: BALANCE
00000f37: PUSH1 0x03
00000f39: SLOAD
00000f3a: PUSH2 0x1d7c
00000f3d: JUMP
00000f3e: JUMPDEST
00000f3f: SWAP3
00000f40: POP
00000f41: PUSH2 0x0f58
00000f44: PUSH2 0x0f51
00000f47: DUP5
00000f48: PUSH1 0x01
00000f4a: PUSH1 0xff
00000f4c: AND
00000f4d: PUSH2 0x0835
00000f50: JUMP
00000f51: JUMPDEST
00000f52: PUSH1 0x64
00000f54: PUSH2 0x081a
00000f57: JUMP
00000f58: JUMPDEST
00000f59: SWAP2
00000f5a: POP
00000f5b: PUSH2 0x0f65
00000f5e: DUP3
00000f5f: PUSH1 0x0a
00000f61: PUSH2 0x081a
00000f64: JUMP
00000f65: JUMPDEST
00000f66: SWAP1
00000f67: POP
00000f68: DUP1
00000f69: PUSH1 0x03
00000f6b: PUSH1 0x00
00000f6d: DUP3
00000f6e: DUP3
00000f6f: SLOAD
00000f70: SUB
00000f71: SWAP3
00000f72: POP
00000f73: POP
00000f74: DUP2
00000f75: SWAP1
00000f76: SSTORE
00000f77: POP
00000f78: PUSH2 0x0f82
00000f7b: DUP2
00000f7c: PUSH1 0x00
00000f7e: PUSH2 0x1eeb
00000f81: JUMP
00000f82: JUMPDEST
00000f83: POP
00000f84: POP
00000f85: POP
00000f86: POP
00000f87: JUMP
00000f88: JUMPDEST
00000f89: PUSH1 0x12
00000f8b: DUP2
00000f8c: JUMP
00000f8d: JUMPDEST
00000f8e: PUSH1 0x00
00000f90: DUP1
00000f91: PUSH1 0x00
00000f93: PUSH2 0x0f9c
00000f96: PUSH1 0x01
00000f98: PUSH2 0x11e7
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: GT
00000f9e: ISZERO
00000f9f: ISZERO
00000fa0: PUSH2 0x0fa8
00000fa3: JUMPI
00000fa4: PUSH1 0x00
00000fa6: DUP1
00000fa7: REVERT
00000fa8: JUMPDEST
00000fa9: CALLER
00000faa: SWAP2
00000fab: POP
00000fac: PUSH2 0x0fb5
00000faf: PUSH1 0x00
00000fb1: PUSH2 0x11e7
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: SWAP1
00000fb7: POP
00000fb8: PUSH9 0x010000000000000000
00000fc2: DUP2
00000fc3: MUL
00000fc4: PUSH1 0x07
00000fc6: PUSH1 0x00
00000fc8: DUP5
00000fc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fde: AND
00000fdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff4: AND
00000ff5: DUP2
00000ff6: MSTORE
00000ff7: PUSH1 0x20
00000ff9: ADD
00000ffa: SWAP1
00000ffb: DUP2
00000ffc: MSTORE
00000ffd: PUSH1 0x20
00000fff: ADD
00001000: PUSH1 0x00
00001002: KECCAK256
00001003: PUSH1 0x00
00001005: DUP3
00001006: DUP3
00001007: SLOAD
00001008: ADD
00001009: SWAP3
0000100a: POP
0000100b: POP
0000100c: DUP2
0000100d: SWAP1
0000100e: SSTORE
0000100f: POP
00001010: PUSH1 0x06
00001012: PUSH1 0x00
00001014: DUP4
00001015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000102a: AND
0000102b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001040: AND
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: ADD
00001046: SWAP1
00001047: DUP2
00001048: MSTORE
00001049: PUSH1 0x20
0000104b: ADD
0000104c: PUSH1 0x00
0000104e: KECCAK256
0000104f: SLOAD
00001050: DUP2
00001051: ADD
00001052: SWAP1
00001053: POP
00001054: PUSH1 0x00
00001056: PUSH1 0x06
00001058: PUSH1 0x00
0000105a: DUP5
0000105b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001070: AND
00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001086: AND
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x20
0000108b: ADD
0000108c: SWAP1
0000108d: DUP2
0000108e: MSTORE
0000108f: PUSH1 0x20
00001091: ADD
00001092: PUSH1 0x00
00001094: KECCAK256
00001095: DUP2
00001096: SWAP1
00001097: SSTORE
00001098: POP
00001099: DUP2
0000109a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010af: AND
000010b0: PUSH2 0x08fc
000010b3: DUP3
000010b4: SWAP1
000010b5: DUP2
000010b6: ISZERO
000010b7: MUL
000010b8: SWAP1
000010b9: PUSH1 0x40
000010bb: MLOAD
000010bc: PUSH1 0x00
000010be: PUSH1 0x40
000010c0: MLOAD
000010c1: DUP1
000010c2: DUP4
000010c3: SUB
000010c4: DUP2
000010c5: DUP6
000010c6: DUP9
000010c7: DUP9
000010c8: CALL
000010c9: SWAP4
000010ca: POP
000010cb: POP
000010cc: POP
000010cd: POP
000010ce: ISZERO
000010cf: DUP1
000010d0: ISZERO
000010d1: PUSH2 0x10de
000010d4: JUMPI
000010d5: RETURNDATASIZE
000010d6: PUSH1 0x00
000010d8: DUP1
000010d9: RETURNDATACOPY
000010da: RETURNDATASIZE
000010db: PUSH1 0x00
000010dd: REVERT
000010de: JUMPDEST
000010df: POP
000010e0: DUP2
000010e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f6: AND
000010f7: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001118: DUP3
00001119: PUSH1 0x40
0000111b: MLOAD
0000111c: DUP1
0000111d: DUP3
0000111e: DUP2
0000111f: MSTORE
00001120: PUSH1 0x20
00001122: ADD
00001123: SWAP2
00001124: POP
00001125: POP
00001126: PUSH1 0x40
00001128: MLOAD
00001129: DUP1
0000112a: SWAP2
0000112b: SUB
0000112c: SWAP1
0000112d: LOG2
0000112e: POP
0000112f: POP
00001130: JUMP
00001131: JUMPDEST
00001132: PUSH1 0x00
00001134: DUP1
00001135: PUSH1 0x00
00001137: DUP1
00001138: PUSH1 0x00
0000113a: DUP1
0000113b: PUSH1 0x00
0000113d: PUSH1 0x08
0000113f: SLOAD
00001140: EQ
00001141: ISZERO
00001142: PUSH2 0x1159
00001145: JUMPI
00001146: PUSH5 0x02540be400
0000114c: PUSH5 0x174876e800
00001152: SUB
00001153: SWAP6
00001154: POP
00001155: PUSH2 0x11bf
00001158: JUMP
00001159: JUMPDEST
0000115a: PUSH2 0x116a
0000115d: PUSH8 0x0de0b6b3a7640000
00001166: PUSH2 0x1e40
00001169: JUMP
0000116a: JUMPDEST
0000116b: SWAP5
0000116c: POP
0000116d: PUSH2 0x118a
00001170: PUSH2 0x1183
00001173: DUP7
00001174: PUSH2 0x117b
00001177: PUSH2 0x11de
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0xff
0000117e: AND
0000117f: PUSH2 0x0835
00001182: JUMP
00001183: JUMPDEST
00001184: PUSH1 0x64
00001186: PUSH2 0x081a
00001189: JUMP
0000118a: JUMPDEST
0000118b: SWAP4
0000118c: POP
0000118d: PUSH2 0x11a1
00001190: PUSH2 0x119a
00001193: DUP7
00001194: PUSH1 0x05
00001196: PUSH2 0x0835
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH1 0x64
0000119d: PUSH2 0x081a
000011a0: JUMP
000011a1: JUMPDEST
000011a2: SWAP3
000011a3: POP
000011a4: PUSH2 0x11ad
000011a7: DUP6
000011a8: DUP6
000011a9: PUSH2 0x1d7c
000011ac: JUMP
000011ad: JUMPDEST
000011ae: SWAP2
000011af: POP
000011b0: PUSH2 0x11b9
000011b3: DUP3
000011b4: DUP5
000011b5: PUSH2 0x1d7c
000011b8: JUMP
000011b9: JUMPDEST
000011ba: SWAP1
000011bb: POP
000011bc: DUP1
000011bd: SWAP6
000011be: POP
000011bf: JUMPDEST
000011c0: POP
000011c1: POP
000011c2: POP
000011c3: POP
000011c4: POP
000011c5: SWAP1
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH1 0x04
000011ca: SLOAD
000011cb: DUP2
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH1 0x00
000011d0: PUSH2 0x11da
000011d3: CALLVALUE
000011d4: PUSH1 0x00
000011d6: PUSH2 0x1eeb
000011d9: JUMP
000011da: JUMPDEST
000011db: POP
000011dc: SWAP1
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x00
000011e1: PUSH1 0x18
000011e3: SWAP1
000011e4: POP
000011e5: SWAP1
000011e6: JUMP
000011e7: JUMPDEST
000011e8: PUSH1 0x00
000011ea: DUP1
000011eb: CALLER
000011ec: SWAP1
000011ed: POP
000011ee: DUP3
000011ef: PUSH2 0x1200
000011f2: JUMPI
000011f3: PUSH2 0x11fb
000011f6: DUP2
000011f7: PUSH2 0x0c86
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH2 0x124b
000011ff: JUMP
00001200: JUMPDEST
00001201: PUSH1 0x06
00001203: PUSH1 0x00
00001205: DUP3
00001206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121b: AND
0000121c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001231: AND
00001232: DUP2
00001233: MSTORE
00001234: PUSH1 0x20
00001236: ADD
00001237: SWAP1
00001238: DUP2
00001239: MSTORE
0000123a: PUSH1 0x20
0000123c: ADD
0000123d: PUSH1 0x00
0000123f: KECCAK256
00001240: SLOAD
00001241: PUSH2 0x1249
00001244: DUP3
00001245: PUSH2 0x0c86
00001248: JUMP
00001249: JUMPDEST
0000124a: ADD
0000124b: JUMPDEST
0000124c: SWAP2
0000124d: POP
0000124e: POP
0000124f: SWAP2
00001250: SWAP1
00001251: POP
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH1 0x00
00001256: ADDRESS
00001257: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000126c: AND
0000126d: BALANCE
0000126e: SWAP1
0000126f: POP
00001270: SWAP1
00001271: JUMP
00001272: JUMPDEST
00001273: PUSH1 0x00
00001275: PUSH1 0x05
00001277: PUSH1 0x00
00001279: DUP4
0000127a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128f: AND
00001290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012a5: AND
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: ADD
000012ab: SWAP1
000012ac: DUP2
000012ad: MSTORE
000012ae: PUSH1 0x20
000012b0: ADD
000012b1: PUSH1 0x00
000012b3: KECCAK256
000012b4: SLOAD
000012b5: SWAP1
000012b6: POP
000012b7: SWAP2
000012b8: SWAP1
000012b9: POP
000012ba: JUMP
000012bb: JUMPDEST
000012bc: PUSH1 0x00
000012be: DUP1
000012bf: PUSH1 0x00
000012c1: DUP1
000012c2: PUSH1 0x00
000012c4: DUP1
000012c5: PUSH1 0x00
000012c7: PUSH1 0x08
000012c9: SLOAD
000012ca: EQ
000012cb: ISZERO
000012cc: PUSH2 0x12e3
000012cf: JUMPI
000012d0: PUSH5 0x02540be400
000012d6: PUSH5 0x174876e800
000012dc: ADD
000012dd: SWAP6
000012de: POP
000012df: PUSH2 0x1343
000012e2: JUMP
000012e3: JUMPDEST
000012e4: PUSH2 0x12f4
000012e7: PUSH8 0x0de0b6b3a7640000
000012f0: PUSH2 0x1e40
000012f3: JUMP
000012f4: JUMPDEST
000012f5: SWAP5
000012f6: POP
000012f7: PUSH2 0x130e
000012fa: PUSH2 0x1307
000012fd: DUP7
000012fe: PUSH1 0x1d
00001300: PUSH1 0xff
00001302: AND
00001303: PUSH2 0x0835
00001306: JUMP
00001307: JUMPDEST
00001308: PUSH1 0x64
0000130a: PUSH2 0x081a
0000130d: JUMP
0000130e: JUMPDEST
0000130f: SWAP4
00001310: POP
00001311: PUSH2 0x1325
00001314: PUSH2 0x131e
00001317: DUP7
00001318: PUSH1 0x05
0000131a: PUSH2 0x0835
0000131d: JUMP
0000131e: JUMPDEST
0000131f: PUSH1 0x64
00001321: PUSH2 0x081a
00001324: JUMP
00001325: JUMPDEST
00001326: SWAP3
00001327: POP
00001328: PUSH2 0x1331
0000132b: DUP6
0000132c: DUP6
0000132d: PUSH2 0x1e22
00001330: JUMP
00001331: JUMPDEST
00001332: SWAP2
00001333: POP
00001334: PUSH2 0x133d
00001337: DUP3
00001338: DUP5
00001339: PUSH2 0x1e22
0000133c: JUMP
0000133d: JUMPDEST
0000133e: SWAP1
0000133f: POP
00001340: DUP1
00001341: SWAP6
00001342: POP
00001343: JUMPDEST
00001344: POP
00001345: POP
00001346: POP
00001347: POP
00001348: POP
00001349: SWAP1
0000134a: JUMP
0000134b: JUMPDEST
0000134c: PUSH1 0x00
0000134e: DUP1
0000134f: SWAP1
00001350: SLOAD
00001351: SWAP1
00001352: PUSH2 0x0100
00001355: EXP
00001356: SWAP1
00001357: DIV
00001358: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136d: AND
0000136e: DUP2
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x03
00001373: SLOAD
00001374: DUP2
00001375: JUMP
00001376: JUMPDEST
00001377: PUSH1 0x00
00001379: DUP1
0000137a: CALLER
0000137b: SWAP1
0000137c: POP
0000137d: PUSH2 0x1385
00001380: DUP2
00001381: PUSH2 0x1272
00001384: JUMP
00001385: JUMPDEST
00001386: SWAP2
00001387: POP
00001388: POP
00001389: SWAP1
0000138a: JUMP
0000138b: JUMPDEST
0000138c: PUSH1 0x02
0000138e: DUP1
0000138f: SLOAD
00001390: PUSH1 0x01
00001392: DUP2
00001393: PUSH1 0x01
00001395: AND
00001396: ISZERO
00001397: PUSH2 0x0100
0000139a: MUL
0000139b: SUB
0000139c: AND
0000139d: PUSH1 0x02
0000139f: SWAP1
000013a0: DIV
000013a1: DUP1
000013a2: PUSH1 0x1f
000013a4: ADD
000013a5: PUSH1 0x20
000013a7: DUP1
000013a8: SWAP2
000013a9: DIV
000013aa: MUL
000013ab: PUSH1 0x20
000013ad: ADD
000013ae: PUSH1 0x40
000013b0: MLOAD
000013b1: SWAP1
000013b2: DUP2
000013b3: ADD
000013b4: PUSH1 0x40
000013b6: MSTORE
000013b7: DUP1
000013b8: SWAP3
000013b9: SWAP2
000013ba: SWAP1
000013bb: DUP2
000013bc: DUP2
000013bd: MSTORE
000013be: PUSH1 0x20
000013c0: ADD
000013c1: DUP3
000013c2: DUP1
000013c3: SLOAD
000013c4: PUSH1 0x01
000013c6: DUP2
000013c7: PUSH1 0x01
000013c9: AND
000013ca: ISZERO
000013cb: PUSH2 0x0100
000013ce: MUL
000013cf: SUB
000013d0: AND
000013d1: PUSH1 0x02
000013d3: SWAP1
000013d4: DIV
000013d5: DUP1
000013d6: ISZERO
000013d7: PUSH2 0x1421
000013da: JUMPI
000013db: DUP1
000013dc: PUSH1 0x1f
000013de: LT
000013df: PUSH2 0x13f6
000013e2: JUMPI
000013e3: PUSH2 0x0100
000013e6: DUP1
000013e7: DUP4
000013e8: SLOAD
000013e9: DIV
000013ea: MUL
000013eb: DUP4
000013ec: MSTORE
000013ed: SWAP2
000013ee: PUSH1 0x20
000013f0: ADD
000013f1: SWAP2
000013f2: PUSH2 0x1421
000013f5: JUMP
000013f6: JUMPDEST
000013f7: DUP3
000013f8: ADD
000013f9: SWAP2
000013fa: SWAP1
000013fb: PUSH1 0x00
000013fd: MSTORE
000013fe: PUSH1 0x20
00001400: PUSH1 0x00
00001402: KECCAK256
00001403: SWAP1
00001404: JUMPDEST
00001405: DUP2
00001406: SLOAD
00001407: DUP2
00001408: MSTORE
00001409: SWAP1
0000140a: PUSH1 0x01
0000140c: ADD
0000140d: SWAP1
0000140e: PUSH1 0x20
00001410: ADD
00001411: DUP1
00001412: DUP4
00001413: GT
00001414: PUSH2 0x1404
00001417: JUMPI
00001418: DUP3
00001419: SWAP1
0000141a: SUB
0000141b: PUSH1 0x1f
0000141d: AND
0000141e: DUP3
0000141f: ADD
00001420: SWAP2
00001421: JUMPDEST
00001422: POP
00001423: POP
00001424: POP
00001425: POP
00001426: POP
00001427: DUP2
00001428: JUMP
00001429: JUMPDEST
0000142a: PUSH1 0x00
0000142c: DUP1
0000142d: PUSH1 0x00
0000142f: DUP1
00001430: PUSH1 0x00
00001432: DUP1
00001433: PUSH2 0x143a
00001436: PUSH2 0x1376
00001439: JUMP
0000143a: JUMPDEST
0000143b: GT
0000143c: ISZERO
0000143d: ISZERO
0000143e: PUSH2 0x1446
00001441: JUMPI
00001442: PUSH1 0x00
00001444: DUP1
00001445: REVERT
00001446: JUMPDEST
00001447: CALLER
00001448: SWAP4
00001449: POP
0000144a: PUSH1 0x05
0000144c: PUSH1 0x00
0000144e: DUP6
0000144f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001464: AND
00001465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147a: AND
0000147b: DUP2
0000147c: MSTORE
0000147d: PUSH1 0x20
0000147f: ADD
00001480: SWAP1
00001481: DUP2
00001482: MSTORE
00001483: PUSH1 0x20
00001485: ADD
00001486: PUSH1 0x00
00001488: KECCAK256
00001489: SLOAD
0000148a: DUP7
0000148b: GT
0000148c: ISZERO
0000148d: ISZERO
0000148e: ISZERO
0000148f: PUSH2 0x1497
00001492: JUMPI
00001493: PUSH1 0x00
00001495: DUP1
00001496: REVERT
00001497: JUMPDEST
00001498: PUSH1 0x00
0000149a: PUSH2 0x14a3
0000149d: PUSH1 0x01
0000149f: PUSH2 0x11e7
000014a2: JUMP
000014a3: JUMPDEST
000014a4: GT
000014a5: ISZERO
000014a6: PUSH2 0x14b2
000014a9: JUMPI
000014aa: PUSH2 0x14b1
000014ad: PUSH2 0x0f8d
000014b0: JUMP
000014b1: JUMPDEST
000014b2: JUMPDEST
000014b3: PUSH2 0x14ca
000014b6: PUSH2 0x14c3
000014b9: DUP8
000014ba: PUSH1 0x01
000014bc: PUSH1 0xff
000014be: AND
000014bf: PUSH2 0x0835
000014c2: JUMP
000014c3: JUMPDEST
000014c4: PUSH1 0x64
000014c6: PUSH2 0x081a
000014c9: JUMP
000014ca: JUMPDEST
000014cb: SWAP3
000014cc: POP
000014cd: PUSH2 0x14d6
000014d0: DUP7
000014d1: DUP5
000014d2: PUSH2 0x1d7c
000014d5: JUMP
000014d6: JUMPDEST
000014d7: SWAP2
000014d8: POP
000014d9: PUSH2 0x14e1
000014dc: DUP4
000014dd: PUSH2 0x1e40
000014e0: JUMP
000014e1: JUMPDEST
000014e2: SWAP1
000014e3: POP
000014e4: PUSH2 0x14ef
000014e7: PUSH1 0x08
000014e9: SLOAD
000014ea: DUP5
000014eb: PUSH2 0x1d7c
000014ee: JUMP
000014ef: JUMPDEST
000014f0: PUSH1 0x08
000014f2: DUP2
000014f3: SWAP1
000014f4: SSTORE
000014f5: POP
000014f6: PUSH2 0x153e
000014f9: PUSH1 0x05
000014fb: PUSH1 0x00
000014fd: DUP7
000014fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001513: AND
00001514: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001529: AND
0000152a: DUP2
0000152b: MSTORE
0000152c: PUSH1 0x20
0000152e: ADD
0000152f: SWAP1
00001530: DUP2
00001531: MSTORE
00001532: PUSH1 0x20
00001534: ADD
00001535: PUSH1 0x00
00001537: KECCAK256
00001538: SLOAD
00001539: DUP8
0000153a: PUSH2 0x1d7c
0000153d: JUMP
0000153e: JUMPDEST
0000153f: PUSH1 0x05
00001541: PUSH1 0x00
00001543: DUP7
00001544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001559: AND
0000155a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156f: AND
00001570: DUP2
00001571: MSTORE
00001572: PUSH1 0x20
00001574: ADD
00001575: SWAP1
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x20
0000157a: ADD
0000157b: PUSH1 0x00
0000157d: KECCAK256
0000157e: DUP2
0000157f: SWAP1
00001580: SSTORE
00001581: POP
00001582: PUSH2 0x15ca
00001585: PUSH1 0x05
00001587: PUSH1 0x00
00001589: DUP10
0000158a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159f: AND
000015a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b5: AND
000015b6: DUP2
000015b7: MSTORE
000015b8: PUSH1 0x20
000015ba: ADD
000015bb: SWAP1
000015bc: DUP2
000015bd: MSTORE
000015be: PUSH1 0x20
000015c0: ADD
000015c1: PUSH1 0x00
000015c3: KECCAK256
000015c4: SLOAD
000015c5: DUP4
000015c6: PUSH2 0x1e22
000015c9: JUMP
000015ca: JUMPDEST
000015cb: PUSH1 0x05
000015cd: PUSH1 0x00
000015cf: DUP10
000015d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015e5: AND
000015e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015fb: AND
000015fc: DUP2
000015fd: MSTORE
000015fe: PUSH1 0x20
00001600: ADD
00001601: SWAP1
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x20
00001606: ADD
00001607: PUSH1 0x00
00001609: KECCAK256
0000160a: DUP2
0000160b: SWAP1
0000160c: SSTORE
0000160d: POP
0000160e: DUP6
0000160f: PUSH1 0x09
00001611: SLOAD
00001612: MUL
00001613: PUSH1 0x07
00001615: PUSH1 0x00
00001617: DUP7
00001618: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162d: AND
0000162e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001643: AND
00001644: DUP2
00001645: MSTORE
00001646: PUSH1 0x20
00001648: ADD
00001649: SWAP1
0000164a: DUP2
0000164b: MSTORE
0000164c: PUSH1 0x20
0000164e: ADD
0000164f: PUSH1 0x00
00001651: KECCAK256
00001652: PUSH1 0x00
00001654: DUP3
00001655: DUP3
00001656: SLOAD
00001657: SUB
00001658: SWAP3
00001659: POP
0000165a: POP
0000165b: DUP2
0000165c: SWAP1
0000165d: SSTORE
0000165e: POP
0000165f: DUP2
00001660: PUSH1 0x09
00001662: SLOAD
00001663: MUL
00001664: PUSH1 0x07
00001666: PUSH1 0x00
00001668: DUP10
00001669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000167e: AND
0000167f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001694: AND
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x20
00001699: ADD
0000169a: SWAP1
0000169b: DUP2
0000169c: MSTORE
0000169d: PUSH1 0x20
0000169f: ADD
000016a0: PUSH1 0x00
000016a2: KECCAK256
000016a3: PUSH1 0x00
000016a5: DUP3
000016a6: DUP3
000016a7: SLOAD
000016a8: ADD
000016a9: SWAP3
000016aa: POP
000016ab: POP
000016ac: DUP2
000016ad: SWAP1
000016ae: SSTORE
000016af: POP
000016b0: PUSH2 0x16d3
000016b3: PUSH1 0x09
000016b5: SLOAD
000016b6: PUSH1 0x08
000016b8: SLOAD
000016b9: PUSH9 0x010000000000000000
000016c3: DUP5
000016c4: MUL
000016c5: DUP2
000016c6: ISZERO
000016c7: ISZERO
000016c8: PUSH2 0x16cd
000016cb: JUMPI
000016cc: INVALID
000016cd: JUMPDEST
000016ce: DIV
000016cf: PUSH2 0x1e22
000016d2: JUMP
000016d3: JUMPDEST
000016d4: PUSH1 0x09
000016d6: DUP2
000016d7: SWAP1
000016d8: SSTORE
000016d9: POP
000016da: DUP7
000016db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f0: AND
000016f1: DUP5
000016f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001707: AND
00001708: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001729: DUP5
0000172a: PUSH1 0x40
0000172c: MLOAD
0000172d: DUP1
0000172e: DUP3
0000172f: DUP2
00001730: MSTORE
00001731: PUSH1 0x20
00001733: ADD
00001734: SWAP2
00001735: POP
00001736: POP
00001737: PUSH1 0x40
00001739: MLOAD
0000173a: DUP1
0000173b: SWAP2
0000173c: SUB
0000173d: SWAP1
0000173e: LOG3
0000173f: PUSH1 0x01
00001741: SWAP5
00001742: POP
00001743: POP
00001744: POP
00001745: POP
00001746: POP
00001747: SWAP3
00001748: SWAP2
00001749: POP
0000174a: POP
0000174b: JUMP
0000174c: JUMPDEST
0000174d: PUSH1 0x00
0000174f: DUP1
00001750: PUSH1 0x00
00001752: DUP1
00001753: PUSH1 0x00
00001755: DUP1
00001756: PUSH1 0x00
00001758: DUP1
00001759: PUSH1 0x00
0000175b: DUP1
0000175c: PUSH1 0x00
0000175e: DUP1
0000175f: PUSH1 0x00
00001761: PUSH2 0x1768
00001764: PUSH2 0x1376
00001767: JUMP
00001768: JUMPDEST
00001769: GT
0000176a: ISZERO
0000176b: ISZERO
0000176c: PUSH2 0x1774
0000176f: JUMPI
00001770: PUSH1 0x00
00001772: DUP1
00001773: REVERT
00001774: JUMPDEST
00001775: CALLER
00001776: SWAP12
00001777: POP
00001778: PUSH1 0x05
0000177a: PUSH1 0x00
0000177c: DUP14
0000177d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001792: AND
00001793: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017a8: AND
000017a9: DUP2
000017aa: MSTORE
000017ab: PUSH1 0x20
000017ad: ADD
000017ae: SWAP1
000017af: DUP2
000017b0: MSTORE
000017b1: PUSH1 0x20
000017b3: ADD
000017b4: PUSH1 0x00
000017b6: KECCAK256
000017b7: SLOAD
000017b8: DUP14
000017b9: GT
000017ba: ISZERO
000017bb: ISZERO
000017bc: ISZERO
000017bd: PUSH2 0x17c5
000017c0: JUMPI
000017c1: PUSH1 0x00
000017c3: DUP1
000017c4: REVERT
000017c5: JUMPDEST
000017c6: DUP13
000017c7: SWAP11
000017c8: POP
000017c9: PUSH2 0x17d1
000017cc: DUP12
000017cd: PUSH2 0x1e40
000017d0: JUMP
000017d1: JUMPDEST
000017d2: SWAP10
000017d3: POP
000017d4: PUSH2 0x17f1
000017d7: PUSH2 0x17ea
000017da: DUP12
000017db: PUSH2 0x17e2
000017de: PUSH2 0x11de
000017e1: JUMP
000017e2: JUMPDEST
000017e3: PUSH1 0xff
000017e5: AND
000017e6: PUSH2 0x0835
000017e9: JUMP
000017ea: JUMPDEST
000017eb: PUSH1 0x64
000017ed: PUSH2 0x081a
000017f0: JUMP
000017f1: JUMPDEST
000017f2: SWAP9
000017f3: POP
000017f4: PUSH2 0x1808
000017f7: PUSH2 0x1801
000017fa: DUP12
000017fb: PUSH1 0x05
000017fd: PUSH2 0x0835
00001800: JUMP
00001801: JUMPDEST
00001802: PUSH1 0x64
00001804: PUSH2 0x081a
00001807: JUMP
00001808: JUMPDEST
00001809: SWAP8
0000180a: POP
0000180b: PUSH2 0x1814
0000180e: DUP11
0000180f: DUP11
00001810: PUSH2 0x1d7c
00001813: JUMP
00001814: JUMPDEST
00001815: SWAP7
00001816: POP
00001817: PUSH2 0x1820
0000181a: DUP8
0000181b: DUP10
0000181c: PUSH2 0x1d7c
0000181f: JUMP
00001820: JUMPDEST
00001821: SWAP6
00001822: POP
00001823: PUSH2 0x183a
00001826: PUSH2 0x1833
00001829: DUP12
0000182a: PUSH1 0x0f
0000182c: PUSH1 0xff
0000182e: AND
0000182f: PUSH2 0x0835
00001832: JUMP
00001833: JUMPDEST
00001834: PUSH1 0x64
00001836: PUSH2 0x081a
00001839: JUMP
0000183a: JUMPDEST
0000183b: SWAP5
0000183c: POP
0000183d: PUSH2 0x1847
00001840: DUP6
00001841: PUSH1 0x0a
00001843: PUSH2 0x081a
00001846: JUMP
00001847: JUMPDEST
00001848: SWAP4
00001849: POP
0000184a: PUSH2 0x1861
0000184d: PUSH2 0x185a
00001850: DUP12
00001851: PUSH1 0x23
00001853: PUSH1 0xff
00001855: AND
00001856: PUSH2 0x0835
00001859: JUMP
0000185a: JUMPDEST
0000185b: PUSH1 0x64
0000185d: PUSH2 0x081a
00001860: JUMP
00001861: JUMPDEST
00001862: SWAP3
00001863: POP
00001864: PUSH2 0x186e
00001867: DUP4
00001868: PUSH1 0x0a
0000186a: PUSH2 0x081a
0000186d: JUMP
0000186e: JUMPDEST
0000186f: SWAP2
00001870: POP
00001871: DUP2
00001872: PUSH1 0x03
00001874: PUSH1 0x00
00001876: DUP3
00001877: DUP3
00001878: SLOAD
00001879: ADD
0000187a: SWAP3
0000187b: POP
0000187c: POP
0000187d: DUP2
0000187e: SWAP1
0000187f: SSTORE
00001880: POP
00001881: PUSH2 0x188c
00001884: PUSH1 0x08
00001886: SLOAD
00001887: DUP13
00001888: PUSH2 0x1d7c
0000188b: JUMP
0000188c: JUMPDEST
0000188d: PUSH1 0x08
0000188f: DUP2
00001890: SWAP1
00001891: SSTORE
00001892: POP
00001893: PUSH2 0x18db
00001896: PUSH1 0x05
00001898: PUSH1 0x00
0000189a: DUP15
0000189b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b0: AND
000018b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018c6: AND
000018c7: DUP2
000018c8: MSTORE
000018c9: PUSH1 0x20
000018cb: ADD
000018cc: SWAP1
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x20
000018d1: ADD
000018d2: PUSH1 0x00
000018d4: KECCAK256
000018d5: SLOAD
000018d6: DUP13
000018d7: PUSH2 0x1d7c
000018da: JUMP
000018db: JUMPDEST
000018dc: PUSH1 0x05
000018de: PUSH1 0x00
000018e0: DUP15
000018e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f6: AND
000018f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190c: AND
0000190d: DUP2
0000190e: MSTORE
0000190f: PUSH1 0x20
00001911: ADD
00001912: SWAP1
00001913: DUP2
00001914: MSTORE
00001915: PUSH1 0x20
00001917: ADD
00001918: PUSH1 0x00
0000191a: KECCAK256
0000191b: DUP2
0000191c: SWAP1
0000191d: SSTORE
0000191e: POP
0000191f: PUSH1 0x0a
00001921: PUSH1 0x00
00001923: SWAP1
00001924: SLOAD
00001925: SWAP1
00001926: PUSH2 0x0100
00001929: EXP
0000192a: SWAP1
0000192b: DIV
0000192c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001941: AND
00001942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001957: AND
00001958: PUSH2 0x08fc
0000195b: DUP6
0000195c: SWAP1
0000195d: DUP2
0000195e: ISZERO
0000195f: MUL
00001960: SWAP1
00001961: PUSH1 0x40
00001963: MLOAD
00001964: PUSH1 0x00
00001966: PUSH1 0x40
00001968: MLOAD
00001969: DUP1
0000196a: DUP4
0000196b: SUB
0000196c: DUP2
0000196d: DUP6
0000196e: DUP9
0000196f: DUP9
00001970: CALL
00001971: SWAP4
00001972: POP
00001973: POP
00001974: POP
00001975: POP
00001976: ISZERO
00001977: DUP1
00001978: ISZERO
00001979: PUSH2 0x1986
0000197c: JUMPI
0000197d: RETURNDATASIZE
0000197e: PUSH1 0x00
00001980: DUP1
00001981: RETURNDATACOPY
00001982: RETURNDATASIZE
00001983: PUSH1 0x00
00001985: REVERT
00001986: JUMPDEST
00001987: POP
00001988: PUSH9 0x010000000000000000
00001992: DUP7
00001993: MUL
00001994: DUP12
00001995: PUSH1 0x09
00001997: SLOAD
00001998: MUL
00001999: ADD
0000199a: SWAP1
0000199b: POP
0000199c: DUP1
0000199d: PUSH1 0x07
0000199f: PUSH1 0x00
000019a1: DUP15
000019a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b7: AND
000019b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cd: AND
000019ce: DUP2
000019cf: MSTORE
000019d0: PUSH1 0x20
000019d2: ADD
000019d3: SWAP1
000019d4: DUP2
000019d5: MSTORE
000019d6: PUSH1 0x20
000019d8: ADD
000019d9: PUSH1 0x00
000019db: KECCAK256
000019dc: PUSH1 0x00
000019de: DUP3
000019df: DUP3
000019e0: SLOAD
000019e1: SUB
000019e2: SWAP3
000019e3: POP
000019e4: POP
000019e5: DUP2
000019e6: SWAP1
000019e7: SSTORE
000019e8: POP
000019e9: PUSH1 0x00
000019eb: PUSH1 0x08
000019ed: SLOAD
000019ee: GT
000019ef: ISZERO
000019f0: PUSH2 0x1a1e
000019f3: JUMPI
000019f4: PUSH2 0x1a17
000019f7: PUSH1 0x09
000019f9: SLOAD
000019fa: PUSH1 0x08
000019fc: SLOAD
000019fd: PUSH9 0x010000000000000000
00001a07: DUP13
00001a08: MUL
00001a09: DUP2
00001a0a: ISZERO
00001a0b: ISZERO
00001a0c: PUSH2 0x1a11
00001a0f: JUMPI
00001a10: INVALID
00001a11: JUMPDEST
00001a12: DIV
00001a13: PUSH2 0x1e22
00001a16: JUMP
00001a17: JUMPDEST
00001a18: PUSH1 0x09
00001a1a: DUP2
00001a1b: SWAP1
00001a1c: SSTORE
00001a1d: POP
00001a1e: JUMPDEST
00001a1f: DUP12
00001a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a35: AND
00001a36: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e
00001a57: DUP13
00001a58: DUP9
00001a59: TIMESTAMP
00001a5a: PUSH2 0x1a61
00001a5d: PUSH2 0x12bb
00001a60: JUMP
00001a61: JUMPDEST
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: DUP1
00001a66: DUP6
00001a67: DUP2
00001a68: MSTORE
00001a69: PUSH1 0x20
00001a6b: ADD
00001a6c: DUP5
00001a6d: DUP2
00001a6e: MSTORE
00001a6f: PUSH1 0x20
00001a71: ADD
00001a72: DUP4
00001a73: DUP2
00001a74: MSTORE
00001a75: PUSH1 0x20
00001a77: ADD
00001a78: DUP3
00001a79: DUP2
00001a7a: MSTORE
00001a7b: PUSH1 0x20
00001a7d: ADD
00001a7e: SWAP5
00001a7f: POP
00001a80: POP
00001a81: POP
00001a82: POP
00001a83: POP
00001a84: PUSH1 0x40
00001a86: MLOAD
00001a87: DUP1
00001a88: SWAP2
00001a89: SUB
00001a8a: SWAP1
00001a8b: LOG2
00001a8c: POP
00001a8d: POP
00001a8e: POP
00001a8f: POP
00001a90: POP
00001a91: POP
00001a92: POP
00001a93: POP
00001a94: POP
00001a95: POP
00001a96: POP
00001a97: POP
00001a98: POP
00001a99: JUMP
00001a9a: JUMPDEST
00001a9b: PUSH1 0x00
00001a9d: DUP1
00001a9e: CALLER
00001a9f: SWAP2
00001aa0: POP
00001aa1: PUSH1 0x05
00001aa3: PUSH1 0x00
00001aa5: DUP4
00001aa6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001abb: AND
00001abc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad1: AND
00001ad2: DUP2
00001ad3: MSTORE
00001ad4: PUSH1 0x20
00001ad6: ADD
00001ad7: SWAP1
00001ad8: DUP2
00001ad9: MSTORE
00001ada: PUSH1 0x20
00001adc: ADD
00001add: PUSH1 0x00
00001adf: KECCAK256
00001ae0: SLOAD
00001ae1: SWAP1
00001ae2: POP
00001ae3: PUSH1 0x00
00001ae5: DUP2
00001ae6: GT
00001ae7: ISZERO
00001ae8: PUSH2 0x1af5
00001aeb: JUMPI
00001aec: PUSH2 0x1af4
00001aef: DUP2
00001af0: PUSH2 0x174c
00001af3: JUMP
00001af4: JUMPDEST
00001af5: JUMPDEST
00001af6: PUSH2 0x1afd
00001af9: PUSH2 0x0f8d
00001afc: JUMP
00001afd: JUMPDEST
00001afe: POP
00001aff: POP
00001b00: JUMP
00001b01: JUMPDEST
00001b02: PUSH1 0x00
00001b04: DUP1
00001b05: PUSH1 0x00
00001b07: DUP1
00001b08: PUSH1 0x00
00001b0a: PUSH2 0x1b33
00001b0d: PUSH1 0x0f
00001b0f: PUSH1 0xff
00001b11: AND
00001b12: PUSH2 0x1b25
00001b15: PUSH1 0x64
00001b17: CALLVALUE
00001b18: PUSH2 0x081a
00001b1b: SWAP1
00001b1c: SWAP2
00001b1d: SWAP1
00001b1e: PUSH4 0xffffffff
00001b23: AND
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH2 0x0835
00001b29: SWAP1
00001b2a: SWAP2
00001b2b: SWAP1
00001b2c: PUSH4 0xffffffff
00001b31: AND
00001b32: JUMP
00001b33: JUMPDEST
00001b34: SWAP4
00001b35: POP
00001b36: PUSH2 0x1b40
00001b39: DUP5
00001b3a: PUSH1 0x0a
00001b3c: PUSH2 0x081a
00001b3f: JUMP
00001b40: JUMPDEST
00001b41: SWAP3
00001b42: POP
00001b43: PUSH1 0x0a
00001b45: PUSH1 0x00
00001b47: SWAP1
00001b48: SLOAD
00001b49: SWAP1
00001b4a: PUSH2 0x0100
00001b4d: EXP
00001b4e: SWAP1
00001b4f: DIV
00001b50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b65: AND
00001b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b7b: AND
00001b7c: PUSH2 0x08fc
00001b7f: DUP5
00001b80: SWAP1
00001b81: DUP2
00001b82: ISZERO
00001b83: MUL
00001b84: SWAP1
00001b85: PUSH1 0x40
00001b87: MLOAD
00001b88: PUSH1 0x00
00001b8a: PUSH1 0x40
00001b8c: MLOAD
00001b8d: DUP1
00001b8e: DUP4
00001b8f: SUB
00001b90: DUP2
00001b91: DUP6
00001b92: DUP9
00001b93: DUP9
00001b94: CALL
00001b95: SWAP4
00001b96: POP
00001b97: POP
00001b98: POP
00001b99: POP
00001b9a: ISZERO
00001b9b: DUP1
00001b9c: ISZERO
00001b9d: PUSH2 0x1baa
00001ba0: JUMPI
00001ba1: RETURNDATASIZE
00001ba2: PUSH1 0x00
00001ba4: DUP1
00001ba5: RETURNDATACOPY
00001ba6: RETURNDATASIZE
00001ba7: PUSH1 0x00
00001ba9: REVERT
00001baa: JUMPDEST
00001bab: POP
00001bac: PUSH2 0x1bd5
00001baf: PUSH1 0x23
00001bb1: PUSH1 0xff
00001bb3: AND
00001bb4: PUSH2 0x1bc7
00001bb7: PUSH1 0x64
00001bb9: CALLVALUE
00001bba: PUSH2 0x081a
00001bbd: SWAP1
00001bbe: SWAP2
00001bbf: SWAP1
00001bc0: PUSH4 0xffffffff
00001bc5: AND
00001bc6: JUMP
00001bc7: JUMPDEST
00001bc8: PUSH2 0x0835
00001bcb: SWAP1
00001bcc: SWAP2
00001bcd: SWAP1
00001bce: PUSH4 0xffffffff
00001bd3: AND
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: SWAP2
00001bd7: POP
00001bd8: PUSH2 0x1be2
00001bdb: DUP3
00001bdc: PUSH1 0x0a
00001bde: PUSH2 0x081a
00001be1: JUMP
00001be2: JUMPDEST
00001be3: SWAP1
00001be4: POP
00001be5: DUP1
00001be6: PUSH1 0x03
00001be8: PUSH1 0x00
00001bea: DUP3
00001beb: DUP3
00001bec: SLOAD
00001bed: ADD
00001bee: SWAP3
00001bef: POP
00001bf0: POP
00001bf1: DUP2
00001bf2: SWAP1
00001bf3: SSTORE
00001bf4: POP
00001bf5: PUSH2 0x1bfe
00001bf8: CALLVALUE
00001bf9: DUP8
00001bfa: PUSH2 0x0870
00001bfd: JUMP
00001bfe: JUMPDEST
00001bff: POP
00001c00: POP
00001c01: POP
00001c02: POP
00001c03: POP
00001c04: SWAP2
00001c05: SWAP1
00001c06: POP
00001c07: JUMP
00001c08: JUMPDEST
00001c09: PUSH1 0x00
00001c0b: DUP1
00001c0c: PUSH1 0x00
00001c0e: DUP1
00001c0f: PUSH2 0x1c18
00001c12: PUSH1 0x01
00001c14: PUSH2 0x11e7
00001c17: JUMP
00001c18: JUMPDEST
00001c19: GT
00001c1a: ISZERO
00001c1b: ISZERO
00001c1c: PUSH2 0x1c24
00001c1f: JUMPI
00001c20: PUSH1 0x00
00001c22: DUP1
00001c23: REVERT
00001c24: JUMPDEST
00001c25: PUSH2 0x1c2e
00001c28: PUSH1 0x00
00001c2a: PUSH2 0x11e7
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: SWAP3
00001c30: POP
00001c31: CALLER
00001c32: SWAP2
00001c33: POP
00001c34: PUSH9 0x010000000000000000
00001c3e: DUP4
00001c3f: MUL
00001c40: PUSH1 0x07
00001c42: PUSH1 0x00
00001c44: DUP5
00001c45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5a: AND
00001c5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c70: AND
00001c71: DUP2
00001c72: MSTORE
00001c73: PUSH1 0x20
00001c75: ADD
00001c76: SWAP1
00001c77: DUP2
00001c78: MSTORE
00001c79: PUSH1 0x20
00001c7b: ADD
00001c7c: PUSH1 0x00
00001c7e: KECCAK256
00001c7f: PUSH1 0x00
00001c81: DUP3
00001c82: DUP3
00001c83: SLOAD
00001c84: ADD
00001c85: SWAP3
00001c86: POP
00001c87: POP
00001c88: DUP2
00001c89: SWAP1
00001c8a: SSTORE
00001c8b: POP
00001c8c: PUSH1 0x06
00001c8e: PUSH1 0x00
00001c90: DUP4
00001c91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ca6: AND
00001ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cbc: AND
00001cbd: DUP2
00001cbe: MSTORE
00001cbf: PUSH1 0x20
00001cc1: ADD
00001cc2: SWAP1
00001cc3: DUP2
00001cc4: MSTORE
00001cc5: PUSH1 0x20
00001cc7: ADD
00001cc8: PUSH1 0x00
00001cca: KECCAK256
00001ccb: SLOAD
00001ccc: DUP4
00001ccd: ADD
00001cce: SWAP3
00001ccf: POP
00001cd0: PUSH1 0x00
00001cd2: PUSH1 0x06
00001cd4: PUSH1 0x00
00001cd6: DUP5
00001cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cec: AND
00001ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d02: AND
00001d03: DUP2
00001d04: MSTORE
00001d05: PUSH1 0x20
00001d07: ADD
00001d08: SWAP1
00001d09: DUP2
00001d0a: MSTORE
00001d0b: PUSH1 0x20
00001d0d: ADD
00001d0e: PUSH1 0x00
00001d10: KECCAK256
00001d11: DUP2
00001d12: SWAP1
00001d13: SSTORE
00001d14: POP
00001d15: PUSH2 0x1d1f
00001d18: DUP4
00001d19: PUSH1 0x00
00001d1b: PUSH2 0x0870
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: SWAP1
00001d21: POP
00001d22: DUP2
00001d23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d38: AND
00001d39: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001d5a: DUP5
00001d5b: DUP4
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: DUP1
00001d60: DUP4
00001d61: DUP2
00001d62: MSTORE
00001d63: PUSH1 0x20
00001d65: ADD
00001d66: DUP3
00001d67: DUP2
00001d68: MSTORE
00001d69: PUSH1 0x20
00001d6b: ADD
00001d6c: SWAP3
00001d6d: POP
00001d6e: POP
00001d6f: POP
00001d70: PUSH1 0x40
00001d72: MLOAD
00001d73: DUP1
00001d74: SWAP2
00001d75: SUB
00001d76: SWAP1
00001d77: LOG2
00001d78: POP
00001d79: POP
00001d7a: POP
00001d7b: JUMP
00001d7c: JUMPDEST
00001d7d: PUSH1 0x00
00001d7f: DUP3
00001d80: DUP3
00001d81: GT
00001d82: ISZERO
00001d83: ISZERO
00001d84: ISZERO
00001d85: PUSH2 0x1d8a
00001d88: JUMPI
00001d89: INVALID
00001d8a: JUMPDEST
00001d8b: DUP2
00001d8c: DUP4
00001d8d: SUB
00001d8e: SWAP1
00001d8f: POP
00001d90: SWAP3
00001d91: SWAP2
00001d92: POP
00001d93: POP
00001d94: JUMP
00001d95: JUMPDEST
00001d96: PUSH1 0x00
00001d98: DUP1
00001d99: PUSH1 0x00
00001d9b: PUSH8 0x0de0b6b3a7640000
00001da4: PUSH5 0x174876e800
00001daa: MUL
00001dab: SWAP2
00001dac: POP
00001dad: PUSH1 0x08
00001daf: SLOAD
00001db0: PUSH5 0x02540be400
00001db6: PUSH2 0x1e0b
00001db9: PUSH2 0x1e05
00001dbc: PUSH1 0x08
00001dbe: SLOAD
00001dbf: DUP7
00001dc0: PUSH5 0x02540be400
00001dc6: PUSH1 0x02
00001dc8: MUL
00001dc9: MUL
00001dca: MUL
00001dcb: PUSH1 0x02
00001dcd: PUSH1 0x08
00001dcf: SLOAD
00001dd0: EXP
00001dd1: PUSH1 0x02
00001dd3: PUSH5 0x02540be400
00001dd9: EXP
00001dda: MUL
00001ddb: PUSH8 0x0de0b6b3a7640000
00001de4: DUP11
00001de5: MUL
00001de6: PUSH8 0x0de0b6b3a7640000
00001def: PUSH5 0x02540be400
00001df5: MUL
00001df6: PUSH1 0x02
00001df8: MUL
00001df9: MUL
00001dfa: PUSH1 0x02
00001dfc: DUP10
00001dfd: EXP
00001dfe: ADD
00001dff: ADD
00001e00: ADD
00001e01: PUSH2 0x22d8
00001e04: JUMP
00001e05: JUMPDEST
00001e06: DUP6
00001e07: PUSH2 0x1d7c
00001e0a: JUMP
00001e0b: JUMPDEST
00001e0c: DUP2
00001e0d: ISZERO
00001e0e: ISZERO
00001e0f: PUSH2 0x1e14
00001e12: JUMPI
00001e13: INVALID
00001e14: JUMPDEST
00001e15: DIV
00001e16: SUB
00001e17: SWAP1
00001e18: POP
00001e19: DUP1
00001e1a: SWAP3
00001e1b: POP
00001e1c: POP
00001e1d: POP
00001e1e: SWAP2
00001e1f: SWAP1
00001e20: POP
00001e21: JUMP
00001e22: JUMPDEST
00001e23: PUSH1 0x00
00001e25: DUP1
00001e26: DUP3
00001e27: DUP5
00001e28: ADD
00001e29: SWAP1
00001e2a: POP
00001e2b: DUP4
00001e2c: DUP2
00001e2d: LT
00001e2e: ISZERO
00001e2f: ISZERO
00001e30: ISZERO
00001e31: PUSH2 0x1e36
00001e34: JUMPI
00001e35: INVALID
00001e36: JUMPDEST
00001e37: DUP1
00001e38: SWAP2
00001e39: POP
00001e3a: POP
00001e3b: SWAP3
00001e3c: SWAP2
00001e3d: POP
00001e3e: POP
00001e3f: JUMP
00001e40: JUMPDEST
00001e41: PUSH1 0x00
00001e43: DUP1
00001e44: PUSH1 0x00
00001e46: DUP1
00001e47: PUSH8 0x0de0b6b3a7640000
00001e50: DUP6
00001e51: ADD
00001e52: SWAP3
00001e53: POP
00001e54: PUSH8 0x0de0b6b3a7640000
00001e5d: PUSH1 0x08
00001e5f: SLOAD
00001e60: ADD
00001e61: SWAP2
00001e62: POP
00001e63: PUSH8 0x0de0b6b3a7640000
00001e6c: PUSH2 0x1ed4
00001e6f: PUSH8 0x0de0b6b3a7640000
00001e78: DUP6
00001e79: SUB
00001e7a: PUSH5 0x02540be400
00001e80: PUSH8 0x0de0b6b3a7640000
00001e89: DUP7
00001e8a: DUP2
00001e8b: ISZERO
00001e8c: ISZERO
00001e8d: PUSH2 0x1e92
00001e90: JUMPI
00001e91: INVALID
00001e92: JUMPDEST
00001e93: DIV
00001e94: PUSH5 0x02540be400
00001e9a: MUL
00001e9b: PUSH5 0x174876e800
00001ea1: ADD
00001ea2: SUB
00001ea3: MUL
00001ea4: PUSH1 0x02
00001ea6: PUSH8 0x0de0b6b3a7640000
00001eaf: DUP8
00001eb0: PUSH1 0x02
00001eb2: DUP10
00001eb3: EXP
00001eb4: SUB
00001eb5: DUP2
00001eb6: ISZERO
00001eb7: ISZERO
00001eb8: PUSH2 0x1ebd
00001ebb: JUMPI
00001ebc: INVALID
00001ebd: JUMPDEST
00001ebe: DIV
00001ebf: PUSH5 0x02540be400
00001ec5: MUL
00001ec6: DUP2
00001ec7: ISZERO
00001ec8: ISZERO
00001ec9: PUSH2 0x1ece
00001ecc: JUMPI
00001ecd: INVALID
00001ece: JUMPDEST
00001ecf: DIV
00001ed0: PUSH2 0x1d7c
00001ed3: JUMP
00001ed4: JUMPDEST
00001ed5: DUP2
00001ed6: ISZERO
00001ed7: ISZERO
00001ed8: PUSH2 0x1edd
00001edb: JUMPI
00001edc: INVALID
00001edd: JUMPDEST
00001ede: DIV
00001edf: SWAP1
00001ee0: POP
00001ee1: DUP1
00001ee2: SWAP4
00001ee3: POP
00001ee4: POP
00001ee5: POP
00001ee6: POP
00001ee7: SWAP2
00001ee8: SWAP1
00001ee9: POP
00001eea: JUMP
00001eeb: JUMPDEST
00001eec: PUSH1 0x00
00001eee: DUP1
00001eef: PUSH1 0x00
00001ef1: DUP1
00001ef2: PUSH1 0x00
00001ef4: DUP1
00001ef5: PUSH1 0x00
00001ef7: DUP1
00001ef8: PUSH1 0x00
00001efa: CALLER
00001efb: SWAP8
00001efc: POP
00001efd: PUSH2 0x1f11
00001f00: PUSH2 0x1f0a
00001f03: DUP13
00001f04: PUSH1 0x64
00001f06: PUSH2 0x0835
00001f09: JUMP
00001f0a: JUMPDEST
00001f0b: PUSH1 0x64
00001f0d: PUSH2 0x081a
00001f10: JUMP
00001f11: JUMPDEST
00001f12: SWAP7
00001f13: POP
00001f14: PUSH2 0x1f2b
00001f17: PUSH2 0x1f24
00001f1a: DUP9
00001f1b: PUSH1 0x08
00001f1d: PUSH1 0xff
00001f1f: AND
00001f20: PUSH2 0x0835
00001f23: JUMP
00001f24: JUMPDEST
00001f25: PUSH1 0x64
00001f27: PUSH2 0x081a
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: SWAP6
00001f2d: POP
00001f2e: PUSH2 0x1f37
00001f31: DUP8
00001f32: DUP8
00001f33: PUSH2 0x1d7c
00001f36: JUMP
00001f37: JUMPDEST
00001f38: SWAP5
00001f39: POP
00001f3a: PUSH2 0x1f43
00001f3d: DUP12
00001f3e: DUP9
00001f3f: PUSH2 0x1d7c
00001f42: JUMP
00001f43: JUMPDEST
00001f44: SWAP4
00001f45: POP
00001f46: PUSH2 0x1f4e
00001f49: DUP5
00001f4a: PUSH2 0x1d95
00001f4d: JUMP
00001f4e: JUMPDEST
00001f4f: SWAP3
00001f50: POP
00001f51: PUSH9 0x010000000000000000
00001f5b: DUP6
00001f5c: MUL
00001f5d: SWAP2
00001f5e: POP
00001f5f: PUSH1 0x00
00001f61: DUP4
00001f62: LT
00001f63: ISZERO
00001f64: DUP1
00001f65: ISZERO
00001f66: PUSH2 0x1f7c
00001f69: JUMPI
00001f6a: POP
00001f6b: PUSH1 0x08
00001f6d: SLOAD
00001f6e: PUSH2 0x1f79
00001f71: DUP5
00001f72: PUSH1 0x08
00001f74: SLOAD
00001f75: PUSH2 0x1e22
00001f78: JUMP
00001f79: JUMPDEST
00001f7a: LT
00001f7b: ISZERO
00001f7c: JUMPDEST
00001f7d: ISZERO
00001f7e: ISZERO
00001f7f: PUSH2 0x1f87
00001f82: JUMPI
00001f83: PUSH1 0x00
00001f85: DUP1
00001f86: REVERT
00001f87: JUMPDEST
00001f88: PUSH1 0x00
00001f8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9f: AND
00001fa0: DUP11
00001fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb6: AND
00001fb7: EQ
00001fb8: ISZERO
00001fb9: DUP1
00001fba: ISZERO
00001fbb: PUSH2 0x1ff0
00001fbe: JUMPI
00001fbf: POP
00001fc0: DUP8
00001fc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd6: AND
00001fd7: DUP11
00001fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fed: AND
00001fee: EQ
00001fef: ISZERO
00001ff0: JUMPDEST
00001ff1: DUP1
00001ff2: ISZERO
00001ff3: PUSH2 0x203d
00001ff6: JUMPI
00001ff7: POP
00001ff8: PUSH1 0x04
00001ffa: SLOAD
00001ffb: PUSH1 0x05
00001ffd: PUSH1 0x00
00001fff: DUP13
00002000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002015: AND
00002016: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202b: AND
0000202c: DUP2
0000202d: MSTORE
0000202e: PUSH1 0x20
00002030: ADD
00002031: SWAP1
00002032: DUP2
00002033: MSTORE
00002034: PUSH1 0x20
00002036: ADD
00002037: PUSH1 0x00
00002039: KECCAK256
0000203a: SLOAD
0000203b: LT
0000203c: ISZERO
0000203d: JUMPDEST
0000203e: ISZERO
0000203f: PUSH2 0x20d3
00002042: JUMPI
00002043: PUSH2 0x208b
00002046: PUSH1 0x06
00002048: PUSH1 0x00
0000204a: DUP13
0000204b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002060: AND
00002061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002076: AND
00002077: DUP2
00002078: MSTORE
00002079: PUSH1 0x20
0000207b: ADD
0000207c: SWAP1
0000207d: DUP2
0000207e: MSTORE
0000207f: PUSH1 0x20
00002081: ADD
00002082: PUSH1 0x00
00002084: KECCAK256
00002085: SLOAD
00002086: DUP8
00002087: PUSH2 0x1e22
0000208a: JUMP
0000208b: JUMPDEST
0000208c: PUSH1 0x06
0000208e: PUSH1 0x00
00002090: DUP13
00002091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a6: AND
000020a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020bc: AND
000020bd: DUP2
000020be: MSTORE
000020bf: PUSH1 0x20
000020c1: ADD
000020c2: SWAP1
000020c3: DUP2
000020c4: MSTORE
000020c5: PUSH1 0x20
000020c7: ADD
000020c8: PUSH1 0x00
000020ca: KECCAK256
000020cb: DUP2
000020cc: SWAP1
000020cd: SSTORE
000020ce: POP
000020cf: PUSH2 0x20ee
000020d2: JUMP
000020d3: JUMPDEST
000020d4: PUSH2 0x20dd
000020d7: DUP6
000020d8: DUP8
000020d9: PUSH2 0x1e22
000020dc: JUMP
000020dd: JUMPDEST
000020de: SWAP5
000020df: POP
000020e0: PUSH9 0x010000000000000000
000020ea: DUP6
000020eb: MUL
000020ec: SWAP2
000020ed: POP
000020ee: JUMPDEST
000020ef: PUSH1 0x00
000020f1: PUSH1 0x08
000020f3: SLOAD
000020f4: GT
000020f5: ISZERO
000020f6: PUSH2 0x2159
000020f9: JUMPI
000020fa: PUSH2 0x2105
000020fd: PUSH1 0x08
000020ff: SLOAD
00002100: DUP5
00002101: PUSH2 0x1e22
00002104: JUMP
00002105: JUMPDEST
00002106: PUSH1 0x08
00002108: DUP2
00002109: SWAP1
0000210a: SSTORE
0000210b: POP
0000210c: PUSH1 0x08
0000210e: SLOAD
0000210f: PUSH9 0x010000000000000000
00002119: DUP7
0000211a: MUL
0000211b: DUP2
0000211c: ISZERO
0000211d: ISZERO
0000211e: PUSH2 0x2123
00002121: JUMPI
00002122: INVALID
00002123: JUMPDEST
00002124: DIV
00002125: PUSH1 0x09
00002127: PUSH1 0x00
00002129: DUP3
0000212a: DUP3
0000212b: SLOAD
0000212c: ADD
0000212d: SWAP3
0000212e: POP
0000212f: POP
00002130: DUP2
00002131: SWAP1
00002132: SSTORE
00002133: POP
00002134: PUSH1 0x08
00002136: SLOAD
00002137: PUSH9 0x010000000000000000
00002141: DUP7
00002142: MUL
00002143: DUP2
00002144: ISZERO
00002145: ISZERO
00002146: PUSH2 0x214b
00002149: JUMPI
0000214a: INVALID
0000214b: JUMPDEST
0000214c: DIV
0000214d: DUP4
0000214e: MUL
0000214f: DUP3
00002150: SUB
00002151: DUP3
00002152: SUB
00002153: SWAP2
00002154: POP
00002155: PUSH2 0x2161
00002158: JUMP
00002159: JUMPDEST
0000215a: DUP3
0000215b: PUSH1 0x08
0000215d: DUP2
0000215e: SWAP1
0000215f: SSTORE
00002160: POP
00002161: JUMPDEST
00002162: PUSH2 0x21aa
00002165: PUSH1 0x05
00002167: PUSH1 0x00
00002169: DUP11
0000216a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217f: AND
00002180: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002195: AND
00002196: DUP2
00002197: MSTORE
00002198: PUSH1 0x20
0000219a: ADD
0000219b: SWAP1
0000219c: DUP2
0000219d: MSTORE
0000219e: PUSH1 0x20
000021a0: ADD
000021a1: PUSH1 0x00
000021a3: KECCAK256
000021a4: SLOAD
000021a5: DUP5
000021a6: PUSH2 0x1e22
000021a9: JUMP
000021aa: JUMPDEST
000021ab: PUSH1 0x05
000021ad: PUSH1 0x00
000021af: DUP11
000021b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021c5: AND
000021c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021db: AND
000021dc: DUP2
000021dd: MSTORE
000021de: PUSH1 0x20
000021e0: ADD
000021e1: SWAP1
000021e2: DUP2
000021e3: MSTORE
000021e4: PUSH1 0x20
000021e6: ADD
000021e7: PUSH1 0x00
000021e9: KECCAK256
000021ea: DUP2
000021eb: SWAP1
000021ec: SSTORE
000021ed: POP
000021ee: DUP2
000021ef: DUP4
000021f0: PUSH1 0x09
000021f2: SLOAD
000021f3: MUL
000021f4: SUB
000021f5: SWAP1
000021f6: POP
000021f7: DUP1
000021f8: PUSH1 0x07
000021fa: PUSH1 0x00
000021fc: DUP11
000021fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002212: AND
00002213: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002228: AND
00002229: DUP2
0000222a: MSTORE
0000222b: PUSH1 0x20
0000222d: ADD
0000222e: SWAP1
0000222f: DUP2
00002230: MSTORE
00002231: PUSH1 0x20
00002233: ADD
00002234: PUSH1 0x00
00002236: KECCAK256
00002237: PUSH1 0x00
00002239: DUP3
0000223a: DUP3
0000223b: SLOAD
0000223c: ADD
0000223d: SWAP3
0000223e: POP
0000223f: POP
00002240: DUP2
00002241: SWAP1
00002242: SSTORE
00002243: POP
00002244: DUP10
00002245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000225a: AND
0000225b: DUP9
0000225c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002271: AND
00002272: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab
00002293: DUP14
00002294: DUP7
00002295: TIMESTAMP
00002296: PUSH2 0x229d
00002299: PUSH2 0x12bb
0000229c: JUMP
0000229d: JUMPDEST
0000229e: PUSH1 0x40
000022a0: MLOAD
000022a1: DUP1
000022a2: DUP6
000022a3: DUP2
000022a4: MSTORE
000022a5: PUSH1 0x20
000022a7: ADD
000022a8: DUP5
000022a9: DUP2
000022aa: MSTORE
000022ab: PUSH1 0x20
000022ad: ADD
000022ae: DUP4
000022af: DUP2
000022b0: MSTORE
000022b1: PUSH1 0x20
000022b3: ADD
000022b4: DUP3
000022b5: DUP2
000022b6: MSTORE
000022b7: PUSH1 0x20
000022b9: ADD
000022ba: SWAP5
000022bb: POP
000022bc: POP
000022bd: POP
000022be: POP
000022bf: POP
000022c0: PUSH1 0x40
000022c2: MLOAD
000022c3: DUP1
000022c4: SWAP2
000022c5: SUB
000022c6: SWAP1
000022c7: LOG3
000022c8: DUP3
000022c9: SWAP9
000022ca: POP
000022cb: POP
000022cc: POP
000022cd: POP
000022ce: POP
000022cf: POP
000022d0: POP
000022d1: POP
000022d2: POP
000022d3: SWAP3
000022d4: SWAP2
000022d5: POP
000022d6: POP
000022d7: JUMP
000022d8: JUMPDEST
000022d9: PUSH1 0x00
000022db: DUP1
000022dc: PUSH1 0x02
000022de: PUSH1 0x01
000022e0: DUP5
000022e1: ADD
000022e2: DUP2
000022e3: ISZERO
000022e4: ISZERO
000022e5: PUSH2 0x22ea
000022e8: JUMPI
000022e9: INVALID
000022ea: JUMPDEST
000022eb: DIV
000022ec: SWAP1
000022ed: POP
000022ee: DUP3
000022ef: SWAP2
000022f0: POP
000022f1: JUMPDEST
000022f2: DUP2
000022f3: DUP2
000022f4: LT
000022f5: ISZERO
000022f6: PUSH2 0x231d
000022f9: JUMPI
000022fa: DUP1
000022fb: SWAP2
000022fc: POP
000022fd: PUSH1 0x02
000022ff: DUP2
00002300: DUP3
00002301: DUP6
00002302: DUP2
00002303: ISZERO
00002304: ISZERO
00002305: PUSH2 0x230a
00002308: JUMPI
00002309: INVALID
0000230a: JUMPDEST
0000230b: DIV
0000230c: ADD
0000230d: DUP2
0000230e: ISZERO
0000230f: ISZERO
00002310: PUSH2 0x2315
00002313: JUMPI
00002314: INVALID
00002315: JUMPDEST
00002316: DIV
00002317: SWAP1
00002318: POP
00002319: PUSH2 0x22f1
0000231c: JUMP
0000231d: JUMPDEST
0000231e: POP
0000231f: SWAP2
00002320: SWAP1
00002321: POP
00002322: JUMP
00002323: STOP
00002324: LOG1
00002325: PUSH6 0x627a7a723058
0000232c: KECCAK256
0000232d: PUSH16 0x86954f9df6a2ad2861ad4ce9987a8b4e
0000233e: PUSH1 0xc1
00002340: UNKNOWN(0xB0)
00002341: UNKNOWN(0xBD)
00002342: TSTORE
00002343: UNKNOWN(0x2F)
00002344: KECCAK256
00002345: SAR
00002346: UNKNOWN(0xDC)
00002347: ORIGIN
00002348: DUP14
00002349: DUP14
0000234a: SLT
0000234b: SWAP1
0000234c: UNKNOWN(0xD6)
0000234d: STOP
0000234e: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no —
view
validation_json 
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2858507f",
            "selector": "0x2858507f",
            "calldata_variants": [
                "0x2858507f",
                "0x2858507f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 3833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9031,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 yes yes
view
trace_id: 0xcaeefb8f38e0c8690090a99838e3c90a3591bce8b68d776435b47555e36f156b
call_targets: 0xa4d05a1c22c8abe6ccb2333c092ec80bd0955031, 0xe65f525ec48c7e95654b9824ecc358454ea9185e
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xcaeefb8f38e0c8690090a99838e3c90a3591bce8b68d776435b47555e36f156b",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa4d05a1c22c8abe6ccb2333c092ec80bd0955031",
        "0xe65f525ec48c7e95654b9824ecc358454ea9185e"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2858507f",
            "selector": "0x2858507f",
            "calldata_variants": [
                "0x2858507f",
                "0x2858507f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 473,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4296,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6512,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 3833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9031,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 yes yes
view
trace_id: 0xcaeefb8f38e0c8690090a99838e3c90a3591bce8b68d776435b47555e36f156b
call_targets: 0xa4d05a1c22c8abe6ccb2333c092ec80bd0955031, 0xe65f525ec48c7e95654b9824ecc358454ea9185e
target_varies: yes
classification: target_varies
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0xcaeefb8f38e0c8690090a99838e3c90a3591bce8b68d776435b47555e36f156b",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa4d05a1c22c8abe6ccb2333c092ec80bd0955031",
        "0xe65f525ec48c7e95654b9824ecc358454ea9185e"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x10d0ffdd",
            "selector": "0x10d0ffdd",
            "calldata_variants": [
                "0x10d0ffdd",
                "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x22609373",
            "selector": "0x22609373",
            "calldata_variants": [
                "0x22609373",
                "0x226093730000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2858507f",
            "selector": "0x2858507f",
            "calldata_variants": [
                "0x2858507f",
                "0x2858507f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 473,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4296,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6512,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 3833,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 9031,
            "type": "tx_origin_used"
        }
    ]
}