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

Analysis Run

60b7b2a4-6a92-4ba7-99fd-dc3d0f09c397

failed
Chain ID
1
Address
0xcc446c3d1738a6e66d366446c37a942c5e750250
Block Number
—
Created
Fri, Jan 2, 2026 5:34 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
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31302 report.consolidate complete 1 / 1 3 months ago
110810 artifact.fetch failed 1 / 3 1 week ago
110811 tool.cast_disasm complete 1 / 3 1 week ago
110812 analysis.bundle complete 1 / 3 1 week ago
110813 capability.graph complete 1 / 3 1 week ago
110814 detector.run complete 1 / 3 1 week ago
110815 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: yes
Implementation:
0xcc446c3d1738a6e66d366446c37a942c5e750250
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
Reviewed AUDIT_BUNDLE.txt (FETH + libraries); no concrete, exploitable paths to extract ETH/tokens/NFTs found under the given constraints.
View stderr 
[codex:650663] OpenAI Codex v0.77.0 (research preview)
[codex:650663] --------
[codex:650663] workdir: /tmp/codex-multi-jxk7xu8o
[codex:650663] model: gpt-5.2-codex
[codex:650663] provider: openai
[codex:650663] approval: never
[codex:650663] sandbox: read-only
[codex:650663] reasoning effort: xhigh
[codex:650663] reasoning summaries: auto
[codex:650663] session id: 019b7fc5-944b-7ea2-ae22-0e3830a3ad40
[codex:650663] --------
[codex:650663] user
[codex:650663] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:650663] 
[codex:650663] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:650663] 
[codex:650663] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:650663] - Gas inefficiency, code quality, naming, or best practices
[codex:650663] - Theoretical vulnerabilities without a clear extraction path
[codex:650663] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:650663] - Front-running unless it enables theft beyond MEV
[codex:650663] - DoS, griefing, or issues that don't result in attacker profit
[codex:650663] - Missing events, view function issues, or informational findings
[codex:650663] 
[codex:650663] HIGH-VALUE PATTERNS TO HUNT:
[codex:650663] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:650663] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:650663] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:650663] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:650663] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:650663] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:650663] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:650663] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:650663] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:650663] 
[codex:650663] For each finding, you MUST provide:
[codex:650663] 1. Exact file and line numbers of vulnerable code
[codex:650663] 2. Step-by-step exploit transaction sequence
[codex:650663] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:650663] 
[codex:650663] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:650663] 
[codex:650663] Output MUST be valid JSON matching the provided schema.
[codex:650663] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:650663] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:650663] mcp startup: no servers
[codex:650663] 
[codex:650663] thinking
[codex:650663] **Preparing to check skill triggers**
[codex:650663] exec
[codex:650663] /bin/bash -lc ls in /tmp/codex-multi-jxk7xu8o succeeded in 6ms:
[codex:650663] AUDIT_BUNDLE.txt
[codex:650663] codex-output-schema.json
[codex:650663] contracts
[codex:650663] 
[codex:650663] thinking
[codex:650663] **Reading AUDIT_BUNDLE.txt file**
[codex:650663] exec
[codex:650663] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-jxk7xu8o succeeded in 5ms:
[codex:650663] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:650663] 
[codex:650663] ================================================================================
[codex:650663] FILE: contracts/contracts/FETH.sol
[codex:650663] ================================================================================
[codex:650663] /*
[codex:650663]   ･
[codex:650663]    *　★
[codex:650663]       ･ ｡
[codex:650663]         　･　ﾟ☆ ｡
[codex:650663]   　　　 *　★ ﾟ･｡ *  ｡
[codex:650663]           　　* ☆ ｡･ﾟ*.｡
[codex:650663]       　　　ﾟ *.｡☆｡★　･
[codex:650663] ​
[codex:650663]                       `                     .-:::::-.`              `-::---...```
[codex:650663]                      `-:`               .:+ssssoooo++//:.`       .-/+shhhhhhhhhhhhhyyyssooo:
[codex:650663]                     .--::.            .+ossso+/////++/:://-`   .////+shhhhhhhhhhhhhhhhhhhhhy
[codex:650663]                   `-----::.         `/+////+++///+++/:--:/+/-  -////+shhhhhhhhhhhhhhhhhhhhhy
[codex:650663]                  `------:::-`      `//-.``.-/+ooosso+:-.-/oso- -////+shhhhhhhhhhhhhhhhhhhhhy
[codex:650663]                 .--------:::-`     :+:.`  .-/osyyyyyyso++syhyo.-////+shhhhhhhhhhhhhhhhhhhhhy
[codex:650663] 
[codex:650663] thinking
[codex:650663] **Preparing JSON audit report**
[codex:650663] 
[codex:650663] I'm making a JSON output summarizing the audit of the FETH-like contract, confirming no exploitable vulnerabilities for profit extraction, with no findings and a concise summary.
[codex:650663] codex
[codex:650663] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (FETH + libraries); no concrete, exploitable paths to extract ETH/tokens/NFTs found under the given constraints.","findings":[]}
[codex:650663] tokens used
[codex:650663] 15,596
[codex:650663] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt (FETH + libraries); no concrete, exploitable paths to extract ETH/tokens/NFTs found under the given constraints.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-02T17:34:00.688533+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt (FETH + libraries); no concrete, exploitable paths to extract ETH/tokens/NFTs found under the given constraints.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt (FETH + libraries); no concrete, exploitable paths to extract ETH/tokens/NFTs found under the given constraints.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
1
EXT*/BALANCE
0
Total opcodes
3962
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 0x0184
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x5fdec561
00000019: GT
0000001a: PUSH2 0x00d6
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xaa67c919
00000024: GT
00000025: PUSH2 0x007f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdd62ed3e
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xdd62ed3e
0000003a: EQ
0000003b: PUSH2 0x048d
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xebb0be15
00000045: EQ
00000046: PUSH2 0x04e2
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xfe383e0b
00000050: EQ
00000051: PUSH2 0x0515
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xaa67c919
00000060: EQ
00000061: PUSH2 0x045d
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xb1111359
0000006b: EQ
0000006c: PUSH2 0x0470
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xd0e30db0
00000076: EQ
00000077: PUSH2 0x0485
0000007a: JUMPI
0000007b: PUSH1 0x00
0000007d: DUP1
0000007e: REVERT
0000007f: JUMPDEST
00000080: DUP1
00000081: PUSH4 0x95d89b41
00000086: GT
00000087: PUSH2 0x00b0
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0x95d89b41
00000091: EQ
00000092: PUSH2 0x03a0
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x989c5aaa
0000009c: EQ
0000009d: PUSH2 0x03e9
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa9059cbb
000000a7: EQ
000000a8: PUSH2 0x043d
000000ab: JUMPI
000000ac: PUSH1 0x00
000000ae: DUP1
000000af: REVERT
000000b0: JUMPDEST
000000b1: DUP1
000000b2: PUSH4 0x5fdec561
000000b7: EQ
000000b8: PUSH2 0x034d
000000bb: JUMPI
000000bc: DUP1
000000bd: PUSH4 0x70a08231
000000c2: EQ
000000c3: PUSH2 0x0360
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x9555a942
000000cd: EQ
000000ce: PUSH2 0x0380
000000d1: JUMPI
000000d2: PUSH1 0x00
000000d4: DUP1
000000d5: REVERT
000000d6: JUMPDEST
000000d7: DUP1
000000d8: PUSH4 0x313ce567
000000dd: GT
000000de: PUSH2 0x0138
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x4b0ee02a
000000e8: GT
000000e9: PUSH2 0x0112
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x4b0ee02a
000000f3: EQ
000000f4: PUSH2 0x02fa
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x4dc8fb3c
000000fe: EQ
000000ff: PUSH2 0x031a
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x4ec58ed7
00000109: EQ
0000010a: PUSH2 0x033a
0000010d: JUMPI
0000010e: PUSH1 0x00
00000110: DUP1
00000111: REVERT
00000112: JUMPDEST
00000113: DUP1
00000114: PUSH4 0x313ce567
00000119: EQ
0000011a: PUSH2 0x0293
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x345db493
00000124: EQ
00000125: PUSH2 0x02ba
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x452f2b8f
0000012f: EQ
00000130: PUSH2 0x02da
00000133: JUMPI
00000134: PUSH1 0x00
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: DUP1
0000013a: PUSH4 0x0f36e18b
0000013f: GT
00000140: PUSH2 0x0169
00000143: JUMPI
00000144: DUP1
00000145: PUSH4 0x0f36e18b
0000014a: EQ
0000014b: PUSH2 0x0228
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x18160ddd
00000155: EQ
00000156: PUSH2 0x0256
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x23b872dd
00000160: EQ
00000161: PUSH2 0x0273
00000164: JUMPI
00000165: PUSH1 0x00
00000167: DUP1
00000168: REVERT
00000169: JUMPDEST
0000016a: DUP1
0000016b: PUSH4 0x06fdde03
00000170: EQ
00000171: PUSH2 0x0199
00000174: JUMPI
00000175: DUP1
00000176: PUSH4 0x095ea7b3
0000017b: EQ
0000017c: PUSH2 0x01f8
0000017f: JUMPI
00000180: PUSH1 0x00
00000182: DUP1
00000183: REVERT
00000184: JUMPDEST
00000185: CALLDATASIZE
00000186: PUSH2 0x0194
00000189: JUMPI
0000018a: PUSH2 0x0192
0000018d: CALLER
0000018e: PUSH2 0x0548
00000191: JUMP
00000192: JUMPDEST
00000193: STOP
00000194: JUMPDEST
00000195: PUSH1 0x00
00000197: DUP1
00000198: REVERT
00000199: JUMPDEST
0000019a: CALLVALUE
0000019b: DUP1
0000019c: ISZERO
0000019d: PUSH2 0x01a5
000001a0: JUMPI
000001a1: PUSH1 0x00
000001a3: DUP1
000001a4: REVERT
000001a5: JUMPDEST
000001a6: POP
000001a7: PUSH2 0x01e2
000001aa: PUSH1 0x40
000001ac: MLOAD
000001ad: DUP1
000001ae: PUSH1 0x40
000001b0: ADD
000001b1: PUSH1 0x40
000001b3: MSTORE
000001b4: DUP1
000001b5: PUSH1 0x0e
000001b7: DUP2
000001b8: MSTORE
000001b9: PUSH1 0x20
000001bb: ADD
000001bc: PUSH32 0x466f756e646174696f6e20455448000000000000000000000000000000000000
000001dd: DUP2
000001de: MSTORE
000001df: POP
000001e0: DUP2
000001e1: JUMP
000001e2: JUMPDEST
000001e3: PUSH1 0x40
000001e5: MLOAD
000001e6: PUSH2 0x01ef
000001e9: SWAP2
000001ea: SWAP1
000001eb: PUSH2 0x21f2
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH1 0x40
000001f2: MLOAD
000001f3: DUP1
000001f4: SWAP2
000001f5: SUB
000001f6: SWAP1
000001f7: RETURN
000001f8: JUMPDEST
000001f9: CALLVALUE
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x0218
00000209: PUSH2 0x0213
0000020c: CALLDATASIZE
0000020d: PUSH1 0x04
0000020f: PUSH2 0x2284
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH2 0x06ba
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: MLOAD
0000021c: SWAP1
0000021d: ISZERO
0000021e: ISZERO
0000021f: DUP2
00000220: MSTORE
00000221: PUSH1 0x20
00000223: ADD
00000224: PUSH2 0x01ef
00000227: JUMP
00000228: JUMPDEST
00000229: CALLVALUE
0000022a: DUP1
0000022b: ISZERO
0000022c: PUSH2 0x0234
0000022f: JUMPI
00000230: PUSH1 0x00
00000232: DUP1
00000233: REVERT
00000234: JUMPDEST
00000235: POP
00000236: PUSH2 0x0248
00000239: PUSH2 0x0243
0000023c: CALLDATASIZE
0000023d: PUSH1 0x04
0000023f: PUSH2 0x22b0
00000242: JUMP
00000243: JUMPDEST
00000244: PUSH2 0x0731
00000247: JUMP
00000248: JUMPDEST
00000249: PUSH1 0x40
0000024b: MLOAD
0000024c: PUSH2 0x01ef
0000024f: SWAP3
00000250: SWAP2
00000251: SWAP1
00000252: PUSH2 0x2309
00000255: JUMP
00000256: JUMPDEST
00000257: CALLVALUE
00000258: DUP1
00000259: ISZERO
0000025a: PUSH2 0x0262
0000025d: JUMPI
0000025e: PUSH1 0x00
00000260: DUP1
00000261: REVERT
00000262: JUMPDEST
00000263: POP
00000264: SELFBALANCE
00000265: JUMPDEST
00000266: PUSH1 0x40
00000268: MLOAD
00000269: SWAP1
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: PUSH2 0x01ef
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x0218
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x2337
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x0948
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02a8
000002a4: PUSH1 0x12
000002a6: DUP2
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH1 0x40
000002ab: MLOAD
000002ac: PUSH1 0xff
000002ae: SWAP1
000002af: SWAP2
000002b0: AND
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x20
000002b5: ADD
000002b6: PUSH2 0x01ef
000002b9: JUMP
000002ba: JUMPDEST
000002bb: CALLVALUE
000002bc: DUP1
000002bd: ISZERO
000002be: PUSH2 0x02c6
000002c1: JUMPI
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: POP
000002c8: PUSH2 0x0192
000002cb: PUSH2 0x02d5
000002ce: CALLDATASIZE
000002cf: PUSH1 0x04
000002d1: PUSH2 0x2378
000002d4: JUMP
000002d5: JUMPDEST
000002d6: PUSH2 0x0aca
000002d9: JUMP
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: DUP1
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: POP
000002e8: PUSH2 0x0192
000002eb: PUSH2 0x02f5
000002ee: CALLDATASIZE
000002ef: PUSH1 0x04
000002f1: PUSH2 0x2284
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x0bcf
000002f9: JUMP
000002fa: JUMPDEST
000002fb: CALLVALUE
000002fc: DUP1
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: POP
00000308: PUSH2 0x0265
0000030b: PUSH2 0x0315
0000030e: CALLDATASIZE
0000030f: PUSH1 0x04
00000311: PUSH2 0x22b0
00000314: JUMP
00000315: JUMPDEST
00000316: PUSH2 0x0d38
00000319: JUMP
0000031a: JUMPDEST
0000031b: CALLVALUE
0000031c: DUP1
0000031d: ISZERO
0000031e: PUSH2 0x0326
00000321: JUMPI
00000322: PUSH1 0x00
00000324: DUP1
00000325: REVERT
00000326: JUMPDEST
00000327: POP
00000328: PUSH2 0x0192
0000032b: PUSH2 0x0335
0000032e: CALLDATASIZE
0000032f: PUSH1 0x04
00000331: PUSH2 0x2378
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH2 0x0dd4
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x0265
0000033e: PUSH2 0x0348
00000341: CALLDATASIZE
00000342: PUSH1 0x04
00000344: PUSH2 0x2284
00000347: JUMP
00000348: JUMPDEST
00000349: PUSH2 0x0f29
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH2 0x0265
00000351: PUSH2 0x035b
00000354: CALLDATASIZE
00000355: PUSH1 0x04
00000357: PUSH2 0x23ad
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x1031
0000035f: JUMP
00000360: JUMPDEST
00000361: CALLVALUE
00000362: DUP1
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: POP
0000036e: PUSH2 0x0265
00000371: PUSH2 0x037b
00000374: CALLDATASIZE
00000375: PUSH1 0x04
00000377: PUSH2 0x22b0
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH2 0x1147
0000037f: JUMP
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038c
00000387: JUMPI
00000388: PUSH1 0x00
0000038a: DUP1
0000038b: REVERT
0000038c: JUMPDEST
0000038d: POP
0000038e: PUSH2 0x0192
00000391: PUSH2 0x039b
00000394: CALLDATASIZE
00000395: PUSH1 0x04
00000397: PUSH2 0x2337
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH2 0x11ed
0000039f: JUMP
000003a0: JUMPDEST
000003a1: CALLVALUE
000003a2: DUP1
000003a3: ISZERO
000003a4: PUSH2 0x03ac
000003a7: JUMPI
000003a8: PUSH1 0x00
000003aa: DUP1
000003ab: REVERT
000003ac: JUMPDEST
000003ad: POP
000003ae: PUSH2 0x01e2
000003b1: PUSH1 0x40
000003b3: MLOAD
000003b4: DUP1
000003b5: PUSH1 0x40
000003b7: ADD
000003b8: PUSH1 0x40
000003ba: MSTORE
000003bb: DUP1
000003bc: PUSH1 0x04
000003be: DUP2
000003bf: MSTORE
000003c0: PUSH1 0x20
000003c2: ADD
000003c3: PUSH32 0x4645544800000000000000000000000000000000000000000000000000000000
000003e4: DUP2
000003e5: MSTORE
000003e6: POP
000003e7: DUP2
000003e8: JUMP
000003e9: JUMPDEST
000003ea: CALLVALUE
000003eb: DUP1
000003ec: ISZERO
000003ed: PUSH2 0x03f5
000003f0: JUMPI
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: POP
000003f7: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
00000418: JUMPDEST
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000431: SWAP1
00000432: SWAP2
00000433: AND
00000434: DUP2
00000435: MSTORE
00000436: PUSH1 0x20
00000438: ADD
00000439: PUSH2 0x01ef
0000043c: JUMP
0000043d: JUMPDEST
0000043e: CALLVALUE
0000043f: DUP1
00000440: ISZERO
00000441: PUSH2 0x0449
00000444: JUMPI
00000445: PUSH1 0x00
00000447: DUP1
00000448: REVERT
00000449: JUMPDEST
0000044a: POP
0000044b: PUSH2 0x0218
0000044e: PUSH2 0x0458
00000451: CALLDATASIZE
00000452: PUSH1 0x04
00000454: PUSH2 0x2284
00000457: JUMP
00000458: JUMPDEST
00000459: PUSH2 0x151e
0000045c: JUMP
0000045d: JUMPDEST
0000045e: PUSH2 0x0192
00000461: PUSH2 0x046b
00000464: CALLDATASIZE
00000465: PUSH1 0x04
00000467: PUSH2 0x22b0
0000046a: JUMP
0000046b: JUMPDEST
0000046c: PUSH2 0x0548
0000046f: JUMP
00000470: JUMPDEST
00000471: CALLVALUE
00000472: DUP1
00000473: ISZERO
00000474: PUSH2 0x047c
00000477: JUMPI
00000478: PUSH1 0x00
0000047a: DUP1
0000047b: REVERT
0000047c: JUMPDEST
0000047d: POP
0000047e: PUSH2 0x0192
00000481: PUSH2 0x152b
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH2 0x0192
00000489: PUSH2 0x15e8
0000048c: JUMP
0000048d: JUMPDEST
0000048e: CALLVALUE
0000048f: DUP1
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: PUSH2 0x0265
0000049e: PUSH2 0x04a8
000004a1: CALLDATASIZE
000004a2: PUSH1 0x04
000004a4: PUSH2 0x23ff
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004be: SWAP2
000004bf: DUP3
000004c0: AND
000004c1: PUSH1 0x00
000004c3: SWAP1
000004c4: DUP2
000004c5: MSTORE
000004c6: PUSH1 0x20
000004c8: DUP2
000004c9: DUP2
000004ca: MSTORE
000004cb: PUSH1 0x40
000004cd: DUP1
000004ce: DUP4
000004cf: KECCAK256
000004d0: SWAP4
000004d1: SWAP1
000004d2: SWAP5
000004d3: AND
000004d4: DUP3
000004d5: MSTORE
000004d6: PUSH1 0x02
000004d8: SWAP1
000004d9: SWAP3
000004da: ADD
000004db: SWAP1
000004dc: SWAP2
000004dd: MSTORE
000004de: KECCAK256
000004df: SLOAD
000004e0: SWAP1
000004e1: JUMP
000004e2: JUMPDEST
000004e3: CALLVALUE
000004e4: DUP1
000004e5: ISZERO
000004e6: PUSH2 0x04ee
000004e9: JUMPI
000004ea: PUSH1 0x00
000004ec: DUP1
000004ed: REVERT
000004ee: JUMPDEST
000004ef: POP
000004f0: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
00000511: PUSH2 0x0418
00000514: JUMP
00000515: JUMPDEST
00000516: CALLVALUE
00000517: DUP1
00000518: ISZERO
00000519: PUSH2 0x0521
0000051c: JUMPI
0000051d: PUSH1 0x00
0000051f: DUP1
00000520: REVERT
00000521: JUMPDEST
00000522: POP
00000523: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
00000544: PUSH2 0x0418
00000547: JUMP
00000548: JUMPDEST
00000549: CALLVALUE
0000054a: PUSH1 0x00
0000054c: SUB
0000054d: PUSH2 0x0582
00000550: JUMPI
00000551: PUSH1 0x40
00000553: MLOAD
00000554: PUSH32 0xd5e2ea2a00000000000000000000000000000000000000000000000000000000
00000575: DUP2
00000576: MSTORE
00000577: PUSH1 0x04
00000579: ADD
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: SWAP2
0000057f: SUB
00000580: SWAP1
00000581: REVERT
00000582: JUMPDEST
00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000598: DUP2
00000599: AND
0000059a: PUSH2 0x05cf
0000059d: JUMPI
0000059e: PUSH1 0x40
000005a0: MLOAD
000005a1: PUSH32 0x9681468e00000000000000000000000000000000000000000000000000000000
000005c2: DUP2
000005c3: MSTORE
000005c4: PUSH1 0x04
000005c6: ADD
000005c7: PUSH1 0x40
000005c9: MLOAD
000005ca: DUP1
000005cb: SWAP2
000005cc: SUB
000005cd: SWAP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: ADDRESS
000005d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e6: DUP3
000005e7: AND
000005e8: SUB
000005e9: PUSH2 0x061e
000005ec: JUMPI
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: PUSH32 0xcce444a300000000000000000000000000000000000000000000000000000000
00000611: DUP2
00000612: MSTORE
00000613: PUSH1 0x04
00000615: ADD
00000616: PUSH1 0x40
00000618: MLOAD
00000619: DUP1
0000061a: SWAP2
0000061b: SUB
0000061c: SWAP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000634: DUP2
00000635: AND
00000636: PUSH1 0x00
00000638: DUP2
00000639: DUP2
0000063a: MSTORE
0000063b: PUSH1 0x20
0000063d: DUP2
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x40
00000642: DUP1
00000643: DUP4
00000644: KECCAK256
00000645: DUP1
00000646: SLOAD
00000647: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000668: DUP2
00000669: AND
0000066a: CALLVALUE
0000066b: PUSH12 0xffffffffffffffffffffffff
00000678: SWAP3
00000679: DUP4
0000067a: AND
0000067b: DUP2
0000067c: ADD
0000067d: SWAP1
0000067e: SWAP3
0000067f: AND
00000680: OR
00000681: DUP3
00000682: SSTORE
00000683: SWAP2
00000684: MLOAD
00000685: SWAP2
00000686: DUP3
00000687: MSTORE
00000688: SWAP4
00000689: SWAP3
0000068a: SWAP2
0000068b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000006ac: SWAP2
000006ad: ADD
000006ae: JUMPDEST
000006af: PUSH1 0x40
000006b1: MLOAD
000006b2: DUP1
000006b3: SWAP2
000006b4: SUB
000006b5: SWAP1
000006b6: LOG3
000006b7: POP
000006b8: POP
000006b9: JUMP
000006ba: JUMPDEST
000006bb: CALLER
000006bc: PUSH1 0x00
000006be: DUP2
000006bf: DUP2
000006c0: MSTORE
000006c1: PUSH1 0x20
000006c3: DUP2
000006c4: DUP2
000006c5: MSTORE
000006c6: PUSH1 0x40
000006c8: DUP1
000006c9: DUP4
000006ca: KECCAK256
000006cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006e0: DUP8
000006e1: AND
000006e2: DUP1
000006e3: DUP6
000006e4: MSTORE
000006e5: PUSH1 0x02
000006e7: SWAP1
000006e8: SWAP2
000006e9: ADD
000006ea: DUP4
000006eb: MSTORE
000006ec: DUP2
000006ed: DUP5
000006ee: KECCAK256
000006ef: DUP7
000006f0: SWAP1
000006f1: SSTORE
000006f2: SWAP1
000006f3: MLOAD
000006f4: DUP6
000006f5: DUP2
000006f6: MSTORE
000006f7: SWAP3
000006f8: SWAP4
000006f9: SWAP1
000006fa: SWAP3
000006fb: SWAP1
000006fc: SWAP2
000006fd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000071e: SWAP2
0000071f: ADD
00000720: PUSH1 0x40
00000722: MLOAD
00000723: DUP1
00000724: SWAP2
00000725: SUB
00000726: SWAP1
00000727: LOG3
00000728: POP
00000729: PUSH1 0x01
0000072b: JUMPDEST
0000072c: SWAP3
0000072d: SWAP2
0000072e: POP
0000072f: POP
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000747: DUP2
00000748: AND
00000749: PUSH1 0x00
0000074b: SWAP1
0000074c: DUP2
0000074d: MSTORE
0000074e: PUSH1 0x20
00000750: DUP2
00000751: SWAP1
00000752: MSTORE
00000753: PUSH1 0x40
00000755: DUP2
00000756: KECCAK256
00000757: DUP1
00000758: SLOAD
00000759: PUSH1 0x60
0000075b: SWAP3
0000075c: DUP4
0000075d: SWAP3
0000075e: SWAP2
0000075f: PUSH13 0x01000000000000000000000000
0000076d: SWAP1
0000076e: DIV
0000076f: PUSH4 0xffffffff
00000774: AND
00000775: JUMPDEST
00000776: PUSH1 0x00
00000778: PUSH2 0x0784
0000077b: PUSH1 0x01
0000077d: DUP6
0000077e: ADD
0000077f: DUP4
00000780: PUSH2 0x15f3
00000783: JUMP
00000784: JUMPDEST
00000785: DUP1
00000786: MLOAD
00000787: SWAP1
00000788: SWAP2
00000789: POP
0000078a: PUSH4 0xffffffff
0000078f: AND
00000790: PUSH1 0x00
00000792: SUB
00000793: PUSH2 0x079c
00000796: JUMPI
00000797: POP
00000798: PUSH2 0x07d9
0000079b: JUMP
0000079c: JUMPDEST
0000079d: DUP1
0000079e: MLOAD
0000079f: PUSH4 0xffffffff
000007a4: AND
000007a5: TIMESTAMP
000007a6: GT
000007a7: ISZERO
000007a8: DUP1
000007a9: ISZERO
000007aa: PUSH2 0x07c4
000007ad: JUMPI
000007ae: POP
000007af: PUSH1 0x20
000007b1: DUP2
000007b2: ADD
000007b3: MLOAD
000007b4: PUSH12 0xffffffffffffffffffffffff
000007c1: AND
000007c2: ISZERO
000007c3: ISZERO
000007c4: JUMPDEST
000007c5: ISZERO
000007c6: PUSH2 0x07d0
000007c9: JUMPI
000007ca: DUP3
000007cb: PUSH1 0x01
000007cd: ADD
000007ce: SWAP3
000007cf: POP
000007d0: JUMPDEST
000007d1: POP
000007d2: PUSH1 0x01
000007d4: ADD
000007d5: PUSH2 0x0775
000007d8: JUMP
000007d9: JUMPDEST
000007da: POP
000007db: DUP1
000007dc: PUSH8 0xffffffffffffffff
000007e5: DUP2
000007e6: GT
000007e7: ISZERO
000007e8: PUSH2 0x07f3
000007eb: JUMPI
000007ec: PUSH2 0x07f3
000007ef: PUSH2 0x2438
000007f2: JUMP
000007f3: JUMPDEST
000007f4: PUSH1 0x40
000007f6: MLOAD
000007f7: SWAP1
000007f8: DUP1
000007f9: DUP3
000007fa: MSTORE
000007fb: DUP1
000007fc: PUSH1 0x20
000007fe: MUL
000007ff: PUSH1 0x20
00000801: ADD
00000802: DUP3
00000803: ADD
00000804: PUSH1 0x40
00000806: MSTORE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x081c
0000080c: JUMPI
0000080d: DUP2
0000080e: PUSH1 0x20
00000810: ADD
00000811: PUSH1 0x20
00000813: DUP3
00000814: MUL
00000815: DUP1
00000816: CALLDATASIZE
00000817: DUP4
00000818: CALLDATACOPY
00000819: ADD
0000081a: SWAP1
0000081b: POP
0000081c: JUMPDEST
0000081d: POP
0000081e: SWAP4
0000081f: POP
00000820: DUP1
00000821: PUSH8 0xffffffffffffffff
0000082a: DUP2
0000082b: GT
0000082c: ISZERO
0000082d: PUSH2 0x0838
00000830: JUMPI
00000831: PUSH2 0x0838
00000834: PUSH2 0x2438
00000837: JUMP
00000838: JUMPDEST
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: SWAP1
0000083d: DUP1
0000083e: DUP3
0000083f: MSTORE
00000840: DUP1
00000841: PUSH1 0x20
00000843: MUL
00000844: PUSH1 0x20
00000846: ADD
00000847: DUP3
00000848: ADD
00000849: PUSH1 0x40
0000084b: MSTORE
0000084c: DUP1
0000084d: ISZERO
0000084e: PUSH2 0x0861
00000851: JUMPI
00000852: DUP2
00000853: PUSH1 0x20
00000855: ADD
00000856: PUSH1 0x20
00000858: DUP3
00000859: MUL
0000085a: DUP1
0000085b: CALLDATASIZE
0000085c: DUP4
0000085d: CALLDATACOPY
0000085e: ADD
0000085f: SWAP1
00000860: POP
00000861: JUMPDEST
00000862: POP
00000863: DUP3
00000864: SLOAD
00000865: SWAP1
00000866: SWAP4
00000867: POP
00000868: PUSH1 0x00
0000086a: SWAP1
0000086b: PUSH13 0x01000000000000000000000000
00000879: SWAP1
0000087a: DIV
0000087b: PUSH4 0xffffffff
00000880: AND
00000881: JUMPDEST
00000882: PUSH1 0x00
00000884: PUSH2 0x0890
00000887: PUSH1 0x01
00000889: DUP7
0000088a: ADD
0000088b: DUP4
0000088c: PUSH2 0x15f3
0000088f: JUMP
00000890: JUMPDEST
00000891: DUP1
00000892: MLOAD
00000893: SWAP1
00000894: SWAP2
00000895: POP
00000896: PUSH4 0xffffffff
0000089b: AND
0000089c: PUSH1 0x00
0000089e: SUB
0000089f: PUSH2 0x08a8
000008a2: JUMPI
000008a3: POP
000008a4: PUSH2 0x093f
000008a7: JUMP
000008a8: JUMPDEST
000008a9: DUP1
000008aa: MLOAD
000008ab: PUSH4 0xffffffff
000008b0: AND
000008b1: TIMESTAMP
000008b2: GT
000008b3: ISZERO
000008b4: DUP1
000008b5: ISZERO
000008b6: PUSH2 0x08d0
000008b9: JUMPI
000008ba: POP
000008bb: PUSH1 0x20
000008bd: DUP2
000008be: ADD
000008bf: MLOAD
000008c0: PUSH12 0xffffffffffffffffffffffff
000008cd: AND
000008ce: ISZERO
000008cf: ISZERO
000008d0: JUMPDEST
000008d1: ISZERO
000008d2: PUSH2 0x0936
000008d5: JUMPI
000008d6: DUP1
000008d7: PUSH1 0x00
000008d9: ADD
000008da: MLOAD
000008db: PUSH4 0xffffffff
000008e0: AND
000008e1: DUP8
000008e2: DUP5
000008e3: DUP2
000008e4: MLOAD
000008e5: DUP2
000008e6: LT
000008e7: PUSH2 0x08f2
000008ea: JUMPI
000008eb: PUSH2 0x08f2
000008ee: PUSH2 0x2467
000008f1: JUMP
000008f2: JUMPDEST
000008f3: PUSH1 0x20
000008f5: MUL
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: ADD
000008fa: DUP2
000008fb: DUP2
000008fc: MSTORE
000008fd: POP
000008fe: POP
000008ff: DUP1
00000900: PUSH1 0x20
00000902: ADD
00000903: MLOAD
00000904: PUSH12 0xffffffffffffffffffffffff
00000911: AND
00000912: DUP7
00000913: DUP5
00000914: DUP2
00000915: MLOAD
00000916: DUP2
00000917: LT
00000918: PUSH2 0x0923
0000091b: JUMPI
0000091c: PUSH2 0x0923
0000091f: PUSH2 0x2467
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x20
00000926: MUL
00000927: PUSH1 0x20
00000929: ADD
0000092a: ADD
0000092b: DUP2
0000092c: DUP2
0000092d: MSTORE
0000092e: POP
0000092f: POP
00000930: DUP3
00000931: PUSH1 0x01
00000933: ADD
00000934: SWAP3
00000935: POP
00000936: JUMPDEST
00000937: POP
00000938: PUSH1 0x01
0000093a: ADD
0000093b: PUSH2 0x0881
0000093e: JUMP
0000093f: JUMPDEST
00000940: POP
00000941: POP
00000942: POP
00000943: POP
00000944: SWAP2
00000945: POP
00000946: SWAP2
00000947: JUMP
00000948: JUMPDEST
00000949: PUSH1 0x00
0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000960: DUP4
00000961: AND
00000962: PUSH2 0x0997
00000965: JUMPI
00000966: PUSH1 0x40
00000968: MLOAD
00000969: PUSH32 0x3450e8b100000000000000000000000000000000000000000000000000000000
0000098a: DUP2
0000098b: MSTORE
0000098c: PUSH1 0x04
0000098e: ADD
0000098f: PUSH1 0x40
00000991: MLOAD
00000992: DUP1
00000993: SWAP2
00000994: SUB
00000995: SWAP1
00000996: REVERT
00000997: JUMPDEST
00000998: ADDRESS
00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ae: DUP5
000009af: AND
000009b0: SUB
000009b1: PUSH2 0x09e6
000009b4: JUMPI
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: PUSH32 0xb7c2c08f00000000000000000000000000000000000000000000000000000000
000009d9: DUP2
000009da: MSTORE
000009db: PUSH1 0x04
000009dd: ADD
000009de: PUSH1 0x40
000009e0: MLOAD
000009e1: DUP1
000009e2: SWAP2
000009e3: SUB
000009e4: SWAP1
000009e5: REVERT
000009e6: JUMPDEST
000009e7: PUSH1 0x00
000009e9: PUSH2 0x09f1
000009ec: DUP6
000009ed: PUSH2 0x1679
000009f0: JUMP
000009f1: JUMPDEST
000009f2: SWAP1
000009f3: POP
000009f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a09: DUP6
00000a0a: AND
00000a0b: CALLER
00000a0c: EQ
00000a0d: PUSH2 0x0a1b
00000a10: JUMPI
00000a11: PUSH2 0x0a1b
00000a14: DUP2
00000a15: DUP5
00000a16: DUP8
00000a17: PUSH2 0x17c3
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH2 0x0a25
00000a1f: DUP2
00000a20: DUP5
00000a21: PUSH2 0x1888
00000a24: JUMP
00000a25: JUMPDEST
00000a26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3b: DUP5
00000a3c: DUP2
00000a3d: AND
00000a3e: PUSH1 0x00
00000a40: DUP2
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x20
00000a45: DUP2
00000a46: DUP2
00000a47: MSTORE
00000a48: PUSH1 0x40
00000a4a: SWAP2
00000a4b: DUP3
00000a4c: SWAP1
00000a4d: KECCAK256
00000a4e: DUP1
00000a4f: SLOAD
00000a50: PUSH12 0xffffffffffffffffffffffff
00000a5d: DUP1
00000a5e: DUP3
00000a5f: AND
00000a60: DUP11
00000a61: ADD
00000a62: AND
00000a63: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000a84: SWAP1
00000a85: SWAP2
00000a86: AND
00000a87: OR
00000a88: DUP2
00000a89: SSTORE
00000a8a: SWAP2
00000a8b: MLOAD
00000a8c: DUP8
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: SWAP2
00000a90: SWAP4
00000a91: DUP10
00000a92: AND
00000a93: SWAP2
00000a94: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ab5: SWAP2
00000ab6: ADD
00000ab7: PUSH1 0x40
00000ab9: MLOAD
00000aba: DUP1
00000abb: SWAP2
00000abc: SUB
00000abd: SWAP1
00000abe: LOG3
00000abf: POP
00000ac0: PUSH1 0x01
00000ac2: SWAP6
00000ac3: SWAP5
00000ac4: POP
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: JUMP
00000aca: JUMPDEST
00000acb: CALLER
00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae1: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
00000b02: AND
00000b03: EQ
00000b04: DUP1
00000b05: ISZERO
00000b06: SWAP1
00000b07: PUSH2 0x0b46
00000b0a: JUMPI
00000b0b: POP
00000b0c: CALLER
00000b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b22: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
00000b43: AND
00000b44: EQ
00000b45: ISZERO
00000b46: JUMPDEST
00000b47: DUP1
00000b48: ISZERO
00000b49: PUSH2 0x0b88
00000b4c: JUMPI
00000b4d: POP
00000b4e: CALLER
00000b4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b64: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
00000b85: AND
00000b86: EQ
00000b87: ISZERO
00000b88: JUMPDEST
00000b89: ISZERO
00000b8a: PUSH2 0x0bbf
00000b8d: JUMPI
00000b8e: PUSH1 0x40
00000b90: MLOAD
00000b91: PUSH32 0xce3c4d0e00000000000000000000000000000000000000000000000000000000
00000bb2: DUP2
00000bb3: MSTORE
00000bb4: PUSH1 0x04
00000bb6: ADD
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: DUP1
00000bbb: SWAP2
00000bbc: SUB
00000bbd: SWAP1
00000bbe: REVERT
00000bbf: JUMPDEST
00000bc0: PUSH2 0x0bca
00000bc3: DUP4
00000bc4: DUP4
00000bc5: DUP4
00000bc6: PUSH2 0x191c
00000bc9: JUMP
00000bca: JUMPDEST
00000bcb: POP
00000bcc: POP
00000bcd: POP
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: CALLER
00000bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be6: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
00000c07: AND
00000c08: EQ
00000c09: DUP1
00000c0a: ISZERO
00000c0b: SWAP1
00000c0c: PUSH2 0x0c4b
00000c0f: JUMPI
00000c10: POP
00000c11: CALLER
00000c12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c27: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
00000c48: AND
00000c49: EQ
00000c4a: ISZERO
00000c4b: JUMPDEST
00000c4c: DUP1
00000c4d: ISZERO
00000c4e: PUSH2 0x0c8d
00000c51: JUMPI
00000c52: POP
00000c53: CALLER
00000c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c69: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
00000c8a: AND
00000c8b: EQ
00000c8c: ISZERO
00000c8d: JUMPDEST
00000c8e: ISZERO
00000c8f: PUSH2 0x0cc4
00000c92: JUMPI
00000c93: PUSH1 0x40
00000c95: MLOAD
00000c96: PUSH32 0xce3c4d0e00000000000000000000000000000000000000000000000000000000
00000cb7: DUP2
00000cb8: MSTORE
00000cb9: PUSH1 0x04
00000cbb: ADD
00000cbc: PUSH1 0x40
00000cbe: MLOAD
00000cbf: DUP1
00000cc0: SWAP2
00000cc1: SUB
00000cc2: SWAP1
00000cc3: REVERT
00000cc4: JUMPDEST
00000cc5: PUSH1 0x00
00000cc7: PUSH2 0x0ccf
00000cca: DUP4
00000ccb: PUSH2 0x1679
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: SWAP1
00000cd1: POP
00000cd2: PUSH2 0x0cdb
00000cd5: DUP2
00000cd6: DUP4
00000cd7: PUSH2 0x1888
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: PUSH2 0x0ce5
00000cdf: CALLER
00000ce0: DUP4
00000ce1: PUSH2 0x196f
00000ce4: JUMP
00000ce5: JUMPDEST
00000ce6: PUSH1 0x40
00000ce8: MLOAD
00000ce9: DUP3
00000cea: DUP2
00000ceb: MSTORE
00000cec: CALLER
00000ced: SWAP1
00000cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d03: DUP6
00000d04: AND
00000d05: SWAP1
00000d06: PUSH32 0xc81b1761d304f16ef2aeae3a8611d9bd1d618adfff67d5157365cfb125139532
00000d27: SWAP1
00000d28: PUSH1 0x20
00000d2a: ADD
00000d2b: JUMPDEST
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: DUP1
00000d30: SWAP2
00000d31: SUB
00000d32: SWAP1
00000d33: LOG3
00000d34: POP
00000d35: POP
00000d36: POP
00000d37: JUMP
00000d38: JUMPDEST
00000d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d4e: DUP2
00000d4f: AND
00000d50: PUSH1 0x00
00000d52: SWAP1
00000d53: DUP2
00000d54: MSTORE
00000d55: PUSH1 0x20
00000d57: DUP2
00000d58: SWAP1
00000d59: MSTORE
00000d5a: PUSH1 0x40
00000d5c: SWAP1
00000d5d: KECCAK256
00000d5e: DUP1
00000d5f: SLOAD
00000d60: PUSH12 0xffffffffffffffffffffffff
00000d6d: DUP2
00000d6e: AND
00000d6f: SWAP2
00000d70: SWAP1
00000d71: PUSH13 0x01000000000000000000000000
00000d7f: SWAP1
00000d80: DIV
00000d81: PUSH4 0xffffffff
00000d86: AND
00000d87: JUMPDEST
00000d88: PUSH1 0x00
00000d8a: PUSH2 0x0d96
00000d8d: PUSH1 0x01
00000d8f: DUP5
00000d90: ADD
00000d91: DUP4
00000d92: PUSH2 0x15f3
00000d95: JUMP
00000d96: JUMPDEST
00000d97: DUP1
00000d98: MLOAD
00000d99: SWAP1
00000d9a: SWAP2
00000d9b: POP
00000d9c: PUSH4 0xffffffff
00000da1: AND
00000da2: PUSH1 0x00
00000da4: SUB
00000da5: PUSH2 0x0dae
00000da8: JUMPI
00000da9: POP
00000daa: PUSH2 0x0dcd
00000dad: JUMP
00000dae: JUMPDEST
00000daf: PUSH1 0x20
00000db1: ADD
00000db2: MLOAD
00000db3: PUSH12 0xffffffffffffffffffffffff
00000dc0: AND
00000dc1: SWAP3
00000dc2: SWAP1
00000dc3: SWAP3
00000dc4: ADD
00000dc5: SWAP2
00000dc6: PUSH1 0x01
00000dc8: ADD
00000dc9: PUSH2 0x0d87
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: POP
00000dcf: POP
00000dd0: SWAP2
00000dd1: SWAP1
00000dd2: POP
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: CALLER
00000dd6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000deb: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
00000e0c: AND
00000e0d: EQ
00000e0e: DUP1
00000e0f: ISZERO
00000e10: SWAP1
00000e11: PUSH2 0x0e50
00000e14: JUMPI
00000e15: POP
00000e16: CALLER
00000e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e2c: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
00000e4d: AND
00000e4e: EQ
00000e4f: ISZERO
00000e50: JUMPDEST
00000e51: DUP1
00000e52: ISZERO
00000e53: PUSH2 0x0e92
00000e56: JUMPI
00000e57: POP
00000e58: CALLER
00000e59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6e: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
00000e8f: AND
00000e90: EQ
00000e91: ISZERO
00000e92: JUMPDEST
00000e93: ISZERO
00000e94: PUSH2 0x0ec9
00000e97: JUMPI
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: PUSH32 0xce3c4d0e00000000000000000000000000000000000000000000000000000000
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x04
00000ec0: ADD
00000ec1: PUSH1 0x40
00000ec3: MLOAD
00000ec4: DUP1
00000ec5: SWAP2
00000ec6: SUB
00000ec7: SWAP1
00000ec8: REVERT
00000ec9: JUMPDEST
00000eca: PUSH2 0x0ed4
00000ecd: DUP4
00000ece: DUP4
00000ecf: DUP4
00000ed0: PUSH2 0x1ac9
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: POP
00000ed6: PUSH2 0x0edf
00000ed9: CALLER
00000eda: DUP3
00000edb: PUSH2 0x196f
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: PUSH1 0x40
00000ee2: MLOAD
00000ee3: DUP2
00000ee4: DUP2
00000ee5: MSTORE
00000ee6: CALLER
00000ee7: SWAP1
00000ee8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000efd: DUP6
00000efe: AND
00000eff: SWAP1
00000f00: PUSH32 0xc81b1761d304f16ef2aeae3a8611d9bd1d618adfff67d5157365cfb125139532
00000f21: SWAP1
00000f22: PUSH1 0x20
00000f24: ADD
00000f25: PUSH2 0x0d2b
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x00
00000f2c: CALLER
00000f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f42: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
00000f63: AND
00000f64: EQ
00000f65: DUP1
00000f66: ISZERO
00000f67: SWAP1
00000f68: PUSH2 0x0fa7
00000f6b: JUMPI
00000f6c: POP
00000f6d: CALLER
00000f6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f83: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
00000fa4: AND
00000fa5: EQ
00000fa6: ISZERO
00000fa7: JUMPDEST
00000fa8: DUP1
00000fa9: ISZERO
00000faa: PUSH2 0x0fe9
00000fad: JUMPI
00000fae: POP
00000faf: CALLER
00000fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc5: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
00000fe6: AND
00000fe7: EQ
00000fe8: ISZERO
00000fe9: JUMPDEST
00000fea: ISZERO
00000feb: PUSH2 0x1020
00000fee: JUMPI
00000fef: PUSH1 0x40
00000ff1: MLOAD
00000ff2: PUSH32 0xce3c4d0e00000000000000000000000000000000000000000000000000000000
00001013: DUP2
00001014: MSTORE
00001015: PUSH1 0x04
00001017: ADD
00001018: PUSH1 0x40
0000101a: MLOAD
0000101b: DUP1
0000101c: SWAP2
0000101d: SUB
0000101e: SWAP1
0000101f: REVERT
00001020: JUMPDEST
00001021: PUSH2 0x102a
00001024: DUP4
00001025: DUP4
00001026: PUSH2 0x1db9
00001029: JUMP
0000102a: JUMPDEST
0000102b: SWAP4
0000102c: SWAP3
0000102d: POP
0000102e: POP
0000102f: POP
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x00
00001034: CALLER
00001035: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000104a: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
0000106b: AND
0000106c: EQ
0000106d: DUP1
0000106e: ISZERO
0000106f: SWAP1
00001070: PUSH2 0x10af
00001073: JUMPI
00001074: POP
00001075: CALLER
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
000010ac: AND
000010ad: EQ
000010ae: ISZERO
000010af: JUMPDEST
000010b0: DUP1
000010b1: ISZERO
000010b2: PUSH2 0x10f1
000010b5: JUMPI
000010b6: POP
000010b7: CALLER
000010b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010cd: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
000010ee: AND
000010ef: EQ
000010f0: ISZERO
000010f1: JUMPDEST
000010f2: ISZERO
000010f3: PUSH2 0x1128
000010f6: JUMPI
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: PUSH32 0xce3c4d0e00000000000000000000000000000000000000000000000000000000
0000111b: DUP2
0000111c: MSTORE
0000111d: PUSH1 0x04
0000111f: ADD
00001120: PUSH1 0x40
00001122: MLOAD
00001123: DUP1
00001124: SWAP2
00001125: SUB
00001126: SWAP1
00001127: REVERT
00001128: JUMPDEST
00001129: PUSH2 0x1133
0000112c: DUP7
0000112d: DUP7
0000112e: DUP7
0000112f: PUSH2 0x191c
00001132: JUMP
00001133: JUMPDEST
00001134: PUSH2 0x113d
00001137: DUP4
00001138: DUP4
00001139: PUSH2 0x1db9
0000113c: JUMP
0000113d: JUMPDEST
0000113e: SWAP7
0000113f: SWAP6
00001140: POP
00001141: POP
00001142: POP
00001143: POP
00001144: POP
00001145: POP
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000115d: DUP2
0000115e: AND
0000115f: PUSH1 0x00
00001161: SWAP1
00001162: DUP2
00001163: MSTORE
00001164: PUSH1 0x20
00001166: DUP2
00001167: SWAP1
00001168: MSTORE
00001169: PUSH1 0x40
0000116b: SWAP1
0000116c: KECCAK256
0000116d: DUP1
0000116e: SLOAD
0000116f: PUSH12 0xffffffffffffffffffffffff
0000117c: DUP2
0000117d: AND
0000117e: SWAP2
0000117f: SWAP1
00001180: PUSH13 0x01000000000000000000000000
0000118e: SWAP1
0000118f: DIV
00001190: PUSH4 0xffffffff
00001195: AND
00001196: JUMPDEST
00001197: PUSH1 0x00
00001199: PUSH2 0x11a5
0000119c: PUSH1 0x01
0000119e: DUP5
0000119f: ADD
000011a0: DUP4
000011a1: PUSH2 0x15f3
000011a4: JUMP
000011a5: JUMPDEST
000011a6: DUP1
000011a7: MLOAD
000011a8: SWAP1
000011a9: SWAP2
000011aa: POP
000011ab: PUSH4 0xffffffff
000011b0: AND
000011b1: ISZERO
000011b2: DUP1
000011b3: PUSH2 0x11c3
000011b6: JUMPI
000011b7: POP
000011b8: DUP1
000011b9: MLOAD
000011ba: PUSH4 0xffffffff
000011bf: AND
000011c0: TIMESTAMP
000011c1: GT
000011c2: ISZERO
000011c3: JUMPDEST
000011c4: ISZERO
000011c5: PUSH2 0x11ce
000011c8: JUMPI
000011c9: POP
000011ca: PUSH2 0x0dcd
000011cd: JUMP
000011ce: JUMPDEST
000011cf: PUSH1 0x20
000011d1: ADD
000011d2: MLOAD
000011d3: PUSH12 0xffffffffffffffffffffffff
000011e0: AND
000011e1: SWAP3
000011e2: SWAP1
000011e3: SWAP3
000011e4: ADD
000011e5: SWAP2
000011e6: PUSH1 0x01
000011e8: ADD
000011e9: PUSH2 0x1196
000011ec: JUMP
000011ed: JUMPDEST
000011ee: DUP1
000011ef: PUSH1 0x00
000011f1: SUB
000011f2: PUSH2 0x1227
000011f5: JUMPI
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: PUSH32 0xb64cff2500000000000000000000000000000000000000000000000000000000
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x04
0000121e: ADD
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: DUP1
00001223: SWAP2
00001224: SUB
00001225: SWAP1
00001226: REVERT
00001227: JUMPDEST
00001228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123d: DUP3
0000123e: AND
0000123f: PUSH2 0x1274
00001242: JUMPI
00001243: PUSH1 0x40
00001245: MLOAD
00001246: PUSH32 0x586e5c7900000000000000000000000000000000000000000000000000000000
00001267: DUP2
00001268: MSTORE
00001269: PUSH1 0x04
0000126b: ADD
0000126c: PUSH1 0x40
0000126e: MLOAD
0000126f: DUP1
00001270: SWAP2
00001271: SUB
00001272: SWAP1
00001273: REVERT
00001274: JUMPDEST
00001275: ADDRESS
00001276: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000128b: DUP4
0000128c: AND
0000128d: SUB
0000128e: PUSH2 0x12c3
00001291: JUMPI
00001292: PUSH1 0x40
00001294: MLOAD
00001295: PUSH32 0x82b3dce900000000000000000000000000000000000000000000000000000000
000012b6: DUP2
000012b7: MSTORE
000012b8: PUSH1 0x04
000012ba: ADD
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: DUP1
000012bf: SWAP2
000012c0: SUB
000012c1: SWAP1
000012c2: REVERT
000012c3: JUMPDEST
000012c4: PUSH32 0x000000000000000000000000cda72070e455bb31c7690a170224ce43623d0b6f
000012e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012fa: AND
000012fb: DUP3
000012fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001311: AND
00001312: SUB
00001313: PUSH2 0x1348
00001316: JUMPI
00001317: PUSH1 0x40
00001319: MLOAD
0000131a: PUSH32 0xe296545e00000000000000000000000000000000000000000000000000000000
0000133b: DUP2
0000133c: MSTORE
0000133d: PUSH1 0x04
0000133f: ADD
00001340: PUSH1 0x40
00001342: MLOAD
00001343: DUP1
00001344: SWAP2
00001345: SUB
00001346: SWAP1
00001347: REVERT
00001348: JUMPDEST
00001349: PUSH32 0x00000000000000000000000053f451165ba6fdbe39a134673d13948261b2334a
0000136a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000137f: AND
00001380: DUP3
00001381: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001396: AND
00001397: SUB
00001398: PUSH2 0x13cd
0000139b: JUMPI
0000139c: PUSH1 0x40
0000139e: MLOAD
0000139f: PUSH32 0xe296545e00000000000000000000000000000000000000000000000000000000
000013c0: DUP2
000013c1: MSTORE
000013c2: PUSH1 0x04
000013c4: ADD
000013c5: PUSH1 0x40
000013c7: MLOAD
000013c8: DUP1
000013c9: SWAP2
000013ca: SUB
000013cb: SWAP1
000013cc: REVERT
000013cd: JUMPDEST
000013ce: PUSH32 0x000000000000000000000000f7e3609a5615a34b8755ee62421b9addea7670b1
000013ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001404: AND
00001405: DUP3
00001406: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141b: AND
0000141c: SUB
0000141d: PUSH2 0x1452
00001420: JUMPI
00001421: PUSH1 0x40
00001423: MLOAD
00001424: PUSH32 0xe296545e00000000000000000000000000000000000000000000000000000000
00001445: DUP2
00001446: MSTORE
00001447: PUSH1 0x04
00001449: ADD
0000144a: PUSH1 0x40
0000144c: MLOAD
0000144d: DUP1
0000144e: SWAP2
0000144f: SUB
00001450: SWAP1
00001451: REVERT
00001452: JUMPDEST
00001453: PUSH1 0x00
00001455: PUSH2 0x145d
00001458: DUP5
00001459: PUSH2 0x1679
0000145c: JUMP
0000145d: JUMPDEST
0000145e: SWAP1
0000145f: POP
00001460: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001475: DUP5
00001476: AND
00001477: CALLER
00001478: EQ
00001479: PUSH2 0x1487
0000147c: JUMPI
0000147d: PUSH2 0x1487
00001480: DUP2
00001481: DUP4
00001482: DUP7
00001483: PUSH2 0x17c3
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH2 0x1491
0000148b: DUP2
0000148c: DUP4
0000148d: PUSH2 0x1888
00001490: JUMP
00001491: JUMPDEST
00001492: PUSH2 0x14b1
00001495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014aa: DUP5
000014ab: AND
000014ac: DUP4
000014ad: PUSH2 0x196f
000014b0: JUMP
000014b1: JUMPDEST
000014b2: DUP3
000014b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c8: AND
000014c9: DUP5
000014ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014df: AND
000014e0: PUSH32 0xc81b1761d304f16ef2aeae3a8611d9bd1d618adfff67d5157365cfb125139532
00001501: DUP5
00001502: PUSH1 0x40
00001504: MLOAD
00001505: PUSH2 0x1510
00001508: SWAP2
00001509: DUP2
0000150a: MSTORE
0000150b: PUSH1 0x20
0000150d: ADD
0000150e: SWAP1
0000150f: JUMP
00001510: JUMPDEST
00001511: PUSH1 0x40
00001513: MLOAD
00001514: DUP1
00001515: SWAP2
00001516: SUB
00001517: SWAP1
00001518: LOG3
00001519: POP
0000151a: POP
0000151b: POP
0000151c: POP
0000151d: JUMP
0000151e: JUMPDEST
0000151f: PUSH1 0x00
00001521: PUSH2 0x102a
00001524: CALLER
00001525: DUP5
00001526: DUP5
00001527: PUSH2 0x0948
0000152a: JUMP
0000152b: JUMPDEST
0000152c: PUSH1 0x00
0000152e: PUSH2 0x1536
00001531: CALLER
00001532: PUSH2 0x1679
00001535: JUMP
00001536: JUMPDEST
00001537: DUP1
00001538: SLOAD
00001539: SWAP1
0000153a: SWAP2
0000153b: POP
0000153c: PUSH12 0xffffffffffffffffffffffff
00001549: AND
0000154a: PUSH1 0x00
0000154c: DUP2
0000154d: SWAP1
0000154e: SUB
0000154f: PUSH2 0x1584
00001552: JUMPI
00001553: PUSH1 0x40
00001555: MLOAD
00001556: PUSH32 0xb64cff2500000000000000000000000000000000000000000000000000000000
00001577: DUP2
00001578: MSTORE
00001579: PUSH1 0x04
0000157b: ADD
0000157c: PUSH1 0x40
0000157e: MLOAD
0000157f: DUP1
00001580: SWAP2
00001581: SUB
00001582: SWAP1
00001583: REVERT
00001584: JUMPDEST
00001585: DUP2
00001586: SLOAD
00001587: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000015a8: AND
000015a9: DUP3
000015aa: SSTORE
000015ab: PUSH2 0x15b4
000015ae: CALLER
000015af: DUP3
000015b0: PUSH2 0x196f
000015b3: JUMP
000015b4: JUMPDEST
000015b5: PUSH1 0x40
000015b7: MLOAD
000015b8: DUP2
000015b9: DUP2
000015ba: MSTORE
000015bb: CALLER
000015bc: SWAP1
000015bd: DUP2
000015be: SWAP1
000015bf: PUSH32 0xc81b1761d304f16ef2aeae3a8611d9bd1d618adfff67d5157365cfb125139532
000015e0: SWAP1
000015e1: PUSH1 0x20
000015e3: ADD
000015e4: PUSH2 0x06ae
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH2 0x15f1
000015ec: CALLER
000015ed: PUSH2 0x0548
000015f0: JUMP
000015f1: JUMPDEST
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH1 0x40
000015f6: DUP1
000015f7: MLOAD
000015f8: DUP1
000015f9: DUP3
000015fa: ADD
000015fb: DUP3
000015fc: MSTORE
000015fd: PUSH1 0x00
000015ff: DUP1
00001600: DUP3
00001601: MSTORE
00001602: PUSH1 0x20
00001604: DUP1
00001605: DUP4
00001606: ADD
00001607: DUP3
00001608: SWAP1
00001609: MSTORE
0000160a: PUSH1 0x02
0000160c: DUP6
0000160d: DIV
0000160e: DUP3
0000160f: MSTORE
00001610: DUP6
00001611: SWAP1
00001612: MSTORE
00001613: SWAP2
00001614: DUP3
00001615: KECCAK256
00001616: SLOAD
00001617: SWAP1
00001618: SWAP2
00001619: DUP2
0000161a: SWAP1
0000161b: SUB
0000161c: PUSH2 0x1625
0000161f: JUMPI
00001620: POP
00001621: PUSH2 0x072b
00001624: JUMP
00001625: JUMPDEST
00001626: PUSH1 0x00
00001628: PUSH1 0x02
0000162a: DUP5
0000162b: MOD
0000162c: PUSH1 0x00
0000162e: SUB
0000162f: PUSH2 0x163d
00001632: JUMPI
00001633: POP
00001634: PUSH1 0x80
00001636: DUP2
00001637: SWAP1
00001638: SHR
00001639: PUSH2 0x1652
0000163c: JUMP
0000163d: JUMPDEST
0000163e: POP
0000163f: PUSH16 0xffffffffffffffffffffffffffffffff
00001650: DUP2
00001651: AND
00001652: JUMPDEST
00001653: PUSH1 0x60
00001655: DUP2
00001656: SWAP1
00001657: SHR
00001658: PUSH4 0xffffffff
0000165d: AND
0000165e: DUP4
0000165f: MSTORE
00001660: PUSH12 0xffffffffffffffffffffffff
0000166d: AND
0000166e: PUSH1 0x20
00001670: DUP4
00001671: ADD
00001672: MSTORE
00001673: POP
00001674: SWAP3
00001675: SWAP2
00001676: POP
00001677: POP
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000168f: DUP2
00001690: AND
00001691: PUSH1 0x00
00001693: SWAP1
00001694: DUP2
00001695: MSTORE
00001696: PUSH1 0x20
00001698: DUP2
00001699: SWAP1
0000169a: MSTORE
0000169b: PUSH1 0x40
0000169d: DUP2
0000169e: KECCAK256
0000169f: DUP1
000016a0: SLOAD
000016a1: PUSH4 0xffffffff
000016a6: PUSH13 0x01000000000000000000000000
000016b4: SWAP1
000016b5: SWAP2
000016b6: DIV
000016b7: DUP2
000016b8: AND
000016b9: SWAP1
000016ba: DUP4
000016bb: SWAP1
000016bc: PUSH2 0x16cc
000016bf: SWAP1
000016c0: PUSH1 0x01
000016c2: DUP6
000016c3: ADD
000016c4: SWAP1
000016c5: DUP5
000016c6: SWAP1
000016c7: PUSH2 0x15f3
000016ca: AND
000016cb: JUMP
000016cc: JUMPDEST
000016cd: DUP1
000016ce: MLOAD
000016cf: SWAP1
000016d0: SWAP2
000016d1: POP
000016d2: PUSH4 0xffffffff
000016d7: AND
000016d8: ISZERO
000016d9: DUP1
000016da: PUSH2 0x16ea
000016dd: JUMPI
000016de: POP
000016df: DUP1
000016e0: MLOAD
000016e1: PUSH4 0xffffffff
000016e6: AND
000016e7: TIMESTAMP
000016e8: GT
000016e9: ISZERO
000016ea: JUMPDEST
000016eb: ISZERO
000016ec: PUSH2 0x16f8
000016ef: JUMPI
000016f0: POP
000016f1: SWAP1
000016f2: SWAP4
000016f3: SWAP3
000016f4: POP
000016f5: POP
000016f6: POP
000016f7: JUMP
000016f8: JUMPDEST
000016f9: PUSH1 0x20
000016fb: DUP2
000016fc: ADD
000016fd: MLOAD
000016fe: DUP4
000016ff: SLOAD
00001700: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00001721: DUP2
00001722: AND
00001723: PUSH12 0xffffffffffffffffffffffff
00001730: SWAP2
00001731: DUP3
00001732: AND
00001733: SWAP1
00001734: SWAP3
00001735: ADD
00001736: AND
00001737: OR
00001738: DUP4
00001739: SSTORE
0000173a: PUSH2 0x1746
0000173d: PUSH1 0x01
0000173f: DUP5
00001740: ADD
00001741: DUP4
00001742: PUSH2 0x2015
00001745: JUMP
00001746: JUMPDEST
00001747: PUSH2 0x1756
0000174a: PUSH1 0x01
0000174c: DUP5
0000174d: DUP2
0000174e: ADD
0000174f: SWAP1
00001750: DUP5
00001751: ADD
00001752: PUSH2 0x15f3
00001755: JUMP
00001756: JUMPDEST
00001757: DUP1
00001758: MLOAD
00001759: SWAP1
0000175a: SWAP2
0000175b: POP
0000175c: PUSH4 0xffffffff
00001761: AND
00001762: ISZERO
00001763: PUSH2 0x177c
00001766: JUMPI
00001767: DUP1
00001768: MLOAD
00001769: PUSH1 0x01
0000176b: SWAP3
0000176c: SWAP1
0000176d: SWAP3
0000176e: ADD
0000176f: SWAP2
00001770: PUSH4 0xffffffff
00001775: AND
00001776: TIMESTAMP
00001777: GT
00001778: PUSH2 0x16f8
0000177b: JUMPI
0000177c: JUMPDEST
0000177d: POP
0000177e: DUP2
0000177f: SLOAD
00001780: PUSH4 0xffffffff
00001785: SWAP1
00001786: SWAP2
00001787: AND
00001788: PUSH13 0x01000000000000000000000000
00001796: MUL
00001797: PUSH32 0xffffffffffffffffffffffffffffffff00000000ffffffffffffffffffffffff
000017b8: SWAP1
000017b9: SWAP2
000017ba: AND
000017bb: OR
000017bc: DUP2
000017bd: SSTORE
000017be: SWAP3
000017bf: SWAP2
000017c0: POP
000017c1: POP
000017c2: JUMP
000017c3: JUMPDEST
000017c4: CALLER
000017c5: PUSH1 0x00
000017c7: SWAP1
000017c8: DUP2
000017c9: MSTORE
000017ca: PUSH1 0x02
000017cc: DUP5
000017cd: ADD
000017ce: PUSH1 0x20
000017d0: MSTORE
000017d1: PUSH1 0x40
000017d3: SWAP1
000017d4: KECCAK256
000017d5: SLOAD
000017d6: PUSH1 0x01
000017d8: DUP2
000017d9: ADD
000017da: PUSH2 0x17e3
000017dd: JUMPI
000017de: POP
000017df: POP
000017e0: POP
000017e1: POP
000017e2: JUMP
000017e3: JUMPDEST
000017e4: DUP3
000017e5: DUP2
000017e6: LT
000017e7: ISZERO
000017e8: PUSH2 0x1825
000017eb: JUMPI
000017ec: PUSH1 0x40
000017ee: MLOAD
000017ef: PUSH32 0xfc87283a00000000000000000000000000000000000000000000000000000000
00001810: DUP2
00001811: MSTORE
00001812: PUSH1 0x04
00001814: DUP2
00001815: ADD
00001816: DUP3
00001817: SWAP1
00001818: MSTORE
00001819: PUSH1 0x24
0000181b: ADD
0000181c: JUMPDEST
0000181d: PUSH1 0x40
0000181f: MLOAD
00001820: DUP1
00001821: SWAP2
00001822: SUB
00001823: SWAP1
00001824: REVERT
00001825: JUMPDEST
00001826: CALLER
00001827: PUSH1 0x00
00001829: DUP2
0000182a: DUP2
0000182b: MSTORE
0000182c: PUSH1 0x02
0000182e: DUP7
0000182f: ADD
00001830: PUSH1 0x20
00001832: MSTORE
00001833: PUSH1 0x40
00001835: SWAP1
00001836: DUP2
00001837: SWAP1
00001838: KECCAK256
00001839: SWAP3
0000183a: DUP6
0000183b: SWAP1
0000183c: SUB
0000183d: SWAP3
0000183e: DUP4
0000183f: SWAP1
00001840: SSTORE
00001841: MLOAD
00001842: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001857: DUP5
00001858: AND
00001859: SWAP1
0000185a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000187b: SWAP1
0000187c: PUSH2 0x1510
0000187f: SWAP1
00001880: DUP6
00001881: DUP2
00001882: MSTORE
00001883: PUSH1 0x20
00001885: ADD
00001886: SWAP1
00001887: JUMP
00001888: JUMPDEST
00001889: DUP2
0000188a: SLOAD
0000188b: PUSH12 0xffffffffffffffffffffffff
00001898: AND
00001899: DUP2
0000189a: DUP2
0000189b: LT
0000189c: ISZERO
0000189d: PUSH2 0x18e2
000018a0: JUMPI
000018a1: PUSH1 0x40
000018a3: MLOAD
000018a4: PUSH32 0xa8834ff000000000000000000000000000000000000000000000000000000000
000018c5: DUP2
000018c6: MSTORE
000018c7: PUSH12 0xffffffffffffffffffffffff
000018d4: DUP3
000018d5: AND
000018d6: PUSH1 0x04
000018d8: DUP3
000018d9: ADD
000018da: MSTORE
000018db: PUSH1 0x24
000018dd: ADD
000018de: PUSH2 0x181c
000018e1: JUMP
000018e2: JUMPDEST
000018e3: DUP3
000018e4: SLOAD
000018e5: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00001906: AND
00001907: SWAP2
00001908: SWAP1
00001909: SUB
0000190a: PUSH12 0xffffffffffffffffffffffff
00001917: AND
00001918: OR
00001919: SWAP1
0000191a: SSTORE
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH1 0x00
0000191f: PUSH2 0x1929
00001922: DUP5
00001923: DUP5
00001924: DUP5
00001925: PUSH2 0x1ac9
00001928: JUMP
00001929: JUMPDEST
0000192a: DUP1
0000192b: SLOAD
0000192c: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
0000194d: DUP2
0000194e: AND
0000194f: PUSH12 0xffffffffffffffffffffffff
0000195c: SWAP2
0000195d: DUP3
0000195e: AND
0000195f: SWAP5
00001960: SWAP1
00001961: SWAP5
00001962: ADD
00001963: AND
00001964: SWAP3
00001965: SWAP1
00001966: SWAP3
00001967: OR
00001968: SWAP1
00001969: SWAP2
0000196a: SSTORE
0000196b: POP
0000196c: POP
0000196d: POP
0000196e: JUMP
0000196f: JUMPDEST
00001970: DUP1
00001971: SELFBALANCE
00001972: LT
00001973: ISZERO
00001974: PUSH2 0x19d9
00001977: JUMPI
00001978: PUSH1 0x40
0000197a: MLOAD
0000197b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000199c: DUP2
0000199d: MSTORE
0000199e: PUSH1 0x20
000019a0: PUSH1 0x04
000019a2: DUP3
000019a3: ADD
000019a4: MSTORE
000019a5: PUSH1 0x1d
000019a7: PUSH1 0x24
000019a9: DUP3
000019aa: ADD
000019ab: MSTORE
000019ac: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000
000019cd: PUSH1 0x44
000019cf: DUP3
000019d0: ADD
000019d1: MSTORE
000019d2: PUSH1 0x64
000019d4: ADD
000019d5: PUSH2 0x181c
000019d8: JUMP
000019d9: JUMPDEST
000019da: PUSH1 0x00
000019dc: DUP3
000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f2: AND
000019f3: DUP3
000019f4: PUSH1 0x40
000019f6: MLOAD
000019f7: PUSH1 0x00
000019f9: PUSH1 0x40
000019fb: MLOAD
000019fc: DUP1
000019fd: DUP4
000019fe: SUB
000019ff: DUP2
00001a00: DUP6
00001a01: DUP8
00001a02: GAS
00001a03: CALL
00001a04: SWAP3
00001a05: POP
00001a06: POP
00001a07: POP
00001a08: RETURNDATASIZE
00001a09: DUP1
00001a0a: PUSH1 0x00
00001a0c: DUP2
00001a0d: EQ
00001a0e: PUSH2 0x1a33
00001a11: JUMPI
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: SWAP2
00001a16: POP
00001a17: PUSH1 0x1f
00001a19: NOT
00001a1a: PUSH1 0x3f
00001a1c: RETURNDATASIZE
00001a1d: ADD
00001a1e: AND
00001a1f: DUP3
00001a20: ADD
00001a21: PUSH1 0x40
00001a23: MSTORE
00001a24: RETURNDATASIZE
00001a25: DUP3
00001a26: MSTORE
00001a27: RETURNDATASIZE
00001a28: PUSH1 0x00
00001a2a: PUSH1 0x20
00001a2c: DUP5
00001a2d: ADD
00001a2e: RETURNDATACOPY
00001a2f: PUSH2 0x1a38
00001a32: JUMP
00001a33: JUMPDEST
00001a34: PUSH1 0x60
00001a36: SWAP2
00001a37: POP
00001a38: JUMPDEST
00001a39: POP
00001a3a: POP
00001a3b: SWAP1
00001a3c: POP
00001a3d: DUP1
00001a3e: PUSH2 0x0bca
00001a41: JUMPI
00001a42: PUSH1 0x40
00001a44: MLOAD
00001a45: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001a66: DUP2
00001a67: MSTORE
00001a68: PUSH1 0x20
00001a6a: PUSH1 0x04
00001a6c: DUP3
00001a6d: ADD
00001a6e: MSTORE
00001a6f: PUSH1 0x3a
00001a71: PUSH1 0x24
00001a73: DUP3
00001a74: ADD
00001a75: MSTORE
00001a76: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072
00001a97: PUSH1 0x44
00001a99: DUP3
00001a9a: ADD
00001a9b: MSTORE
00001a9c: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000
00001abd: PUSH1 0x64
00001abf: DUP3
00001ac0: ADD
00001ac1: MSTORE
00001ac2: PUSH1 0x84
00001ac4: ADD
00001ac5: PUSH2 0x181c
00001ac8: JUMP
00001ac9: JUMPDEST
00001aca: PUSH1 0x00
00001acc: PUSH2 0x1ad4
00001acf: DUP4
00001ad0: TIMESTAMP
00001ad1: GT
00001ad2: SWAP1
00001ad3: JUMP
00001ad4: JUMPDEST
00001ad5: ISZERO
00001ad6: PUSH2 0x1b0b
00001ad9: JUMPI
00001ada: PUSH1 0x40
00001adc: MLOAD
00001add: PUSH32 0x95600b3d00000000000000000000000000000000000000000000000000000000
00001afe: DUP2
00001aff: MSTORE
00001b00: PUSH1 0x04
00001b02: ADD
00001b03: PUSH1 0x40
00001b05: MLOAD
00001b06: DUP1
00001b07: SWAP2
00001b08: SUB
00001b09: SWAP1
00001b0a: REVERT
00001b0b: JUMPDEST
00001b0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b21: DUP5
00001b22: AND
00001b23: PUSH1 0x00
00001b25: SWAP1
00001b26: DUP2
00001b27: MSTORE
00001b28: PUSH1 0x20
00001b2a: DUP2
00001b2b: SWAP1
00001b2c: MSTORE
00001b2d: PUSH1 0x40
00001b2f: DUP2
00001b30: KECCAK256
00001b31: DUP1
00001b32: SLOAD
00001b33: SWAP1
00001b34: SWAP2
00001b35: PUSH4 0xffffffff
00001b3a: PUSH13 0x01000000000000000000000000
00001b48: SWAP1
00001b49: SWAP3
00001b4a: DIV
00001b4b: DUP3
00001b4c: AND
00001b4d: SWAP2
00001b4e: PUSH2 0x1b5e
00001b51: SWAP1
00001b52: PUSH1 0x01
00001b54: DUP6
00001b55: ADD
00001b56: SWAP1
00001b57: DUP5
00001b58: SWAP1
00001b59: PUSH2 0x15f3
00001b5c: AND
00001b5d: JUMP
00001b5e: JUMPDEST
00001b5f: SWAP1
00001b60: POP
00001b61: DUP6
00001b62: DUP2
00001b63: PUSH1 0x00
00001b65: ADD
00001b66: MLOAD
00001b67: PUSH4 0xffffffff
00001b6c: AND
00001b6d: SUB
00001b6e: PUSH2 0x1c90
00001b71: JUMPI
00001b72: DUP5
00001b73: DUP2
00001b74: PUSH1 0x20
00001b76: ADD
00001b77: MLOAD
00001b78: PUSH12 0xffffffffffffffffffffffff
00001b85: AND
00001b86: SUB
00001b87: PUSH2 0x1c02
00001b8a: JUMPI
00001b8b: PUSH2 0x1b97
00001b8e: PUSH1 0x01
00001b90: DUP5
00001b91: ADD
00001b92: DUP4
00001b93: PUSH2 0x2015
00001b96: JUMP
00001b97: JUMPDEST
00001b98: PUSH2 0x1ba7
00001b9b: PUSH1 0x01
00001b9d: DUP5
00001b9e: DUP2
00001b9f: ADD
00001ba0: SWAP1
00001ba1: DUP5
00001ba2: ADD
00001ba3: PUSH2 0x15f3
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: MLOAD
00001ba9: PUSH4 0xffffffff
00001bae: AND
00001baf: ISZERO
00001bb0: PUSH2 0x1bfd
00001bb3: JUMPI
00001bb4: DUP3
00001bb5: SLOAD
00001bb6: PUSH1 0x01
00001bb8: PUSH4 0xffffffff
00001bbd: PUSH13 0x01000000000000000000000000
00001bcb: DUP1
00001bcc: DUP5
00001bcd: DIV
00001bce: DUP3
00001bcf: AND
00001bd0: SWAP3
00001bd1: SWAP1
00001bd2: SWAP3
00001bd3: ADD
00001bd4: AND
00001bd5: MUL
00001bd6: PUSH32 0xffffffffffffffffffffffffffffffff00000000ffffffffffffffffffffffff
00001bf7: SWAP1
00001bf8: SWAP2
00001bf9: AND
00001bfa: OR
00001bfb: DUP4
00001bfc: SSTORE
00001bfd: JUMPDEST
00001bfe: PUSH2 0x1d5d
00001c01: JUMP
00001c02: JUMPDEST
00001c03: DUP5
00001c04: DUP2
00001c05: PUSH1 0x20
00001c07: ADD
00001c08: MLOAD
00001c09: PUSH12 0xffffffffffffffffffffffff
00001c16: AND
00001c17: LT
00001c18: ISZERO
00001c19: PUSH2 0x1c64
00001c1c: JUMPI
00001c1d: PUSH1 0x20
00001c1f: DUP2
00001c20: ADD
00001c21: MLOAD
00001c22: PUSH1 0x40
00001c24: MLOAD
00001c25: PUSH32 0x4531598a00000000000000000000000000000000000000000000000000000000
00001c46: DUP2
00001c47: MSTORE
00001c48: PUSH12 0xffffffffffffffffffffffff
00001c55: SWAP1
00001c56: SWAP2
00001c57: AND
00001c58: PUSH1 0x04
00001c5a: DUP3
00001c5b: ADD
00001c5c: MSTORE
00001c5d: PUSH1 0x24
00001c5f: ADD
00001c60: PUSH2 0x181c
00001c63: JUMP
00001c64: JUMPDEST
00001c65: PUSH2 0x1bfd
00001c68: DUP3
00001c69: DUP7
00001c6a: DUP4
00001c6b: PUSH1 0x20
00001c6d: ADD
00001c6e: MLOAD
00001c6f: PUSH12 0xffffffffffffffffffffffff
00001c7c: AND
00001c7d: SUB
00001c7e: DUP6
00001c7f: PUSH1 0x01
00001c81: ADD
00001c82: PUSH2 0x2086
00001c85: SWAP1
00001c86: SWAP3
00001c87: SWAP2
00001c88: SWAP1
00001c89: PUSH4 0xffffffff
00001c8e: AND
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: PUSH1 0x01
00001c93: SWAP2
00001c94: DUP3
00001c95: ADD
00001c96: SWAP2
00001c97: PUSH2 0x1ca2
00001c9a: SWAP1
00001c9b: DUP5
00001c9c: ADD
00001c9d: DUP4
00001c9e: PUSH2 0x15f3
00001ca1: JUMP
00001ca2: JUMPDEST
00001ca3: SWAP1
00001ca4: POP
00001ca5: DUP6
00001ca6: DUP2
00001ca7: PUSH1 0x00
00001ca9: ADD
00001caa: MLOAD
00001cab: PUSH4 0xffffffff
00001cb0: AND
00001cb1: SUB
00001cb2: PUSH2 0x1d17
00001cb5: JUMPI
00001cb6: DUP1
00001cb7: PUSH1 0x20
00001cb9: ADD
00001cba: MLOAD
00001cbb: PUSH12 0xffffffffffffffffffffffff
00001cc8: AND
00001cc9: DUP6
00001cca: GT
00001ccb: ISZERO
00001ccc: PUSH2 0x1c64
00001ccf: JUMPI
00001cd0: PUSH1 0x20
00001cd2: DUP2
00001cd3: ADD
00001cd4: MLOAD
00001cd5: PUSH1 0x40
00001cd7: MLOAD
00001cd8: PUSH32 0x4531598a00000000000000000000000000000000000000000000000000000000
00001cf9: DUP2
00001cfa: MSTORE
00001cfb: PUSH12 0xffffffffffffffffffffffff
00001d08: SWAP1
00001d09: SWAP2
00001d0a: AND
00001d0b: PUSH1 0x04
00001d0d: DUP3
00001d0e: ADD
00001d0f: MSTORE
00001d10: PUSH1 0x24
00001d12: ADD
00001d13: PUSH2 0x181c
00001d16: JUMP
00001d17: JUMPDEST
00001d18: DUP1
00001d19: MLOAD
00001d1a: PUSH4 0xffffffff
00001d1f: AND
00001d20: PUSH1 0x00
00001d22: SUB
00001d23: PUSH2 0x1d58
00001d26: JUMPI
00001d27: PUSH1 0x40
00001d29: MLOAD
00001d2a: PUSH32 0x2d3aa47000000000000000000000000000000000000000000000000000000000
00001d4b: DUP2
00001d4c: MSTORE
00001d4d: PUSH1 0x04
00001d4f: ADD
00001d50: PUSH1 0x40
00001d52: MLOAD
00001d53: DUP1
00001d54: SWAP2
00001d55: SUB
00001d56: SWAP1
00001d57: REVERT
00001d58: JUMPDEST
00001d59: PUSH2 0x1c90
00001d5c: JUMP
00001d5d: JUMPDEST
00001d5e: DUP6
00001d5f: DUP8
00001d60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d75: AND
00001d76: PUSH32 0x67dcc6a962ee3bd2b41b5dce478a7e643b8600791e7c4143ef5c7c9c3e18f1fd
00001d97: DUP8
00001d98: PUSH1 0x40
00001d9a: MLOAD
00001d9b: PUSH2 0x1da6
00001d9e: SWAP2
00001d9f: DUP2
00001da0: MSTORE
00001da1: PUSH1 0x20
00001da3: ADD
00001da4: SWAP1
00001da5: JUMP
00001da6: JUMPDEST
00001da7: PUSH1 0x40
00001da9: MLOAD
00001daa: DUP1
00001dab: SWAP2
00001dac: SUB
00001dad: SWAP1
00001dae: LOG3
00001daf: POP
00001db0: SWAP1
00001db1: SWAP6
00001db2: SWAP5
00001db3: POP
00001db4: POP
00001db5: POP
00001db6: POP
00001db7: POP
00001db8: JUMP
00001db9: JUMPDEST
00001dba: PUSH1 0x00
00001dbc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dd1: DUP4
00001dd2: AND
00001dd3: PUSH2 0x1e08
00001dd6: JUMPI
00001dd7: PUSH1 0x40
00001dd9: MLOAD
00001dda: PUSH32 0xda7f52ef00000000000000000000000000000000000000000000000000000000
00001dfb: DUP2
00001dfc: MSTORE
00001dfd: PUSH1 0x04
00001dff: ADD
00001e00: PUSH1 0x40
00001e02: MLOAD
00001e03: DUP1
00001e04: SWAP2
00001e05: SUB
00001e06: SWAP1
00001e07: REVERT
00001e08: JUMPDEST
00001e09: DUP2
00001e0a: PUSH1 0x00
00001e0c: SUB
00001e0d: PUSH2 0x1e42
00001e10: JUMPI
00001e11: PUSH1 0x40
00001e13: MLOAD
00001e14: PUSH32 0x8b7a046f00000000000000000000000000000000000000000000000000000000
00001e35: DUP2
00001e36: MSTORE
00001e37: PUSH1 0x04
00001e39: ADD
00001e3a: PUSH1 0x40
00001e3c: MLOAD
00001e3d: DUP1
00001e3e: SWAP2
00001e3f: SUB
00001e40: SWAP1
00001e41: REVERT
00001e42: JUMPDEST
00001e43: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000e10
00001e64: PUSH2 0x1e6d
00001e67: TIMESTAMP
00001e68: DUP3
00001e69: PUSH2 0x2117
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: MUL
00001e6f: PUSH32 0x0000000000000000000000000000000000000000000000000000000000015180
00001e90: ADD
00001e91: SWAP1
00001e92: POP
00001e93: PUSH1 0x00
00001e95: PUSH2 0x1e9d
00001e98: DUP5
00001e99: PUSH2 0x1679
00001e9c: JUMP
00001e9d: JUMPDEST
00001e9e: SWAP1
00001e9f: POP
00001ea0: DUP3
00001ea1: CALLVALUE
00001ea2: LT
00001ea3: ISZERO
00001ea4: PUSH2 0x1eb8
00001ea7: JUMPI
00001ea8: PUSH2 0x1eb3
00001eab: DUP2
00001eac: CALLVALUE
00001ead: DUP6
00001eae: SUB
00001eaf: PUSH2 0x1888
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: PUSH2 0x1ef1
00001eb7: JUMP
00001eb8: JUMPDEST
00001eb9: DUP3
00001eba: CALLVALUE
00001ebb: EQ
00001ebc: PUSH2 0x1ef1
00001ebf: JUMPI
00001ec0: PUSH1 0x40
00001ec2: MLOAD
00001ec3: PUSH32 0x995ace5300000000000000000000000000000000000000000000000000000000
00001ee4: DUP2
00001ee5: MSTORE
00001ee6: PUSH1 0x04
00001ee8: ADD
00001ee9: PUSH1 0x40
00001eeb: MLOAD
00001eec: DUP1
00001eed: SWAP2
00001eee: SUB
00001eef: SWAP1
00001ef0: REVERT
00001ef1: JUMPDEST
00001ef2: DUP1
00001ef3: SLOAD
00001ef4: PUSH13 0x01000000000000000000000000
00001f02: SWAP1
00001f03: DIV
00001f04: PUSH4 0xffffffff
00001f09: AND
00001f0a: JUMPDEST
00001f0b: PUSH1 0x00
00001f0d: PUSH2 0x1f19
00001f10: PUSH1 0x01
00001f12: DUP5
00001f13: ADD
00001f14: DUP4
00001f15: PUSH2 0x15f3
00001f18: JUMP
00001f19: JUMPDEST
00001f1a: DUP1
00001f1b: MLOAD
00001f1c: SWAP1
00001f1d: SWAP2
00001f1e: POP
00001f1f: PUSH4 0xffffffff
00001f24: AND
00001f25: PUSH1 0x00
00001f27: SUB
00001f28: PUSH2 0x1f7e
00001f2b: JUMPI
00001f2c: PUSH4 0xffffffff
00001f31: DUP5
00001f32: GT
00001f33: ISZERO
00001f34: PUSH2 0x1f69
00001f37: JUMPI
00001f38: PUSH1 0x40
00001f3a: MLOAD
00001f3b: PUSH32 0x01437d8800000000000000000000000000000000000000000000000000000000
00001f5c: DUP2
00001f5d: MSTORE
00001f5e: PUSH1 0x04
00001f60: ADD
00001f61: PUSH1 0x40
00001f63: MLOAD
00001f64: DUP1
00001f65: SWAP2
00001f66: SUB
00001f67: SWAP1
00001f68: REVERT
00001f69: JUMPDEST
00001f6a: PUSH2 0x1f78
00001f6d: PUSH1 0x01
00001f6f: DUP5
00001f70: ADD
00001f71: DUP4
00001f72: DUP7
00001f73: DUP9
00001f74: PUSH2 0x2167
00001f77: JUMP
00001f78: JUMPDEST
00001f79: POP
00001f7a: PUSH2 0x1fbb
00001f7d: JUMP
00001f7e: JUMPDEST
00001f7f: DUP1
00001f80: MLOAD
00001f81: PUSH4 0xffffffff
00001f86: AND
00001f87: DUP5
00001f88: SWAP1
00001f89: SUB
00001f8a: PUSH2 0x1fb2
00001f8d: JUMPI
00001f8e: PUSH1 0x20
00001f90: DUP2
00001f91: ADD
00001f92: MLOAD
00001f93: PUSH2 0x1f78
00001f96: SWAP1
00001f97: PUSH1 0x01
00001f99: DUP6
00001f9a: ADD
00001f9b: SWAP1
00001f9c: DUP5
00001f9d: SWAP1
00001f9e: PUSH12 0xffffffffffffffffffffffff
00001fab: AND
00001fac: DUP9
00001fad: ADD
00001fae: PUSH2 0x2086
00001fb1: JUMP
00001fb2: JUMPDEST
00001fb3: POP
00001fb4: PUSH1 0x01
00001fb6: ADD
00001fb7: PUSH2 0x1f0a
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: POP
00001fbd: PUSH1 0x40
00001fbf: DUP1
00001fc0: MLOAD
00001fc1: DUP5
00001fc2: DUP2
00001fc3: MSTORE
00001fc4: CALLVALUE
00001fc5: PUSH1 0x20
00001fc7: DUP3
00001fc8: ADD
00001fc9: MSTORE
00001fca: DUP4
00001fcb: SWAP2
00001fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fe1: DUP8
00001fe2: AND
00001fe3: SWAP2
00001fe4: PUSH32 0x89f85a4bd38f70943757e43dedd843409e565220cb52ba80fc297d1246b3b9bb
00002005: SWAP2
00002006: ADD
00002007: PUSH1 0x40
00002009: MLOAD
0000200a: DUP1
0000200b: SWAP2
0000200c: SUB
0000200d: SWAP1
0000200e: LOG3
0000200f: POP
00002010: SWAP3
00002011: SWAP2
00002012: POP
00002013: POP
00002014: JUMP
00002015: JUMPDEST
00002016: PUSH1 0x02
00002018: DUP2
00002019: MOD
0000201a: PUSH1 0x00
0000201c: SUB
0000201d: PUSH2 0x204b
00002020: JUMPI
00002021: PUSH1 0x02
00002023: SWAP1
00002024: DIV
00002025: PUSH1 0x00
00002027: SWAP1
00002028: DUP2
00002029: MSTORE
0000202a: PUSH1 0x20
0000202c: SWAP2
0000202d: SWAP1
0000202e: SWAP2
0000202f: MSTORE
00002030: PUSH1 0x40
00002032: SWAP1
00002033: KECCAK256
00002034: DUP1
00002035: SLOAD
00002036: PUSH16 0xffffffffffffffffffffffffffffffff
00002047: AND
00002048: SWAP1
00002049: SSTORE
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH1 0x02
0000204e: SWAP1
0000204f: DIV
00002050: PUSH1 0x00
00002052: SWAP1
00002053: DUP2
00002054: MSTORE
00002055: PUSH1 0x20
00002057: SWAP2
00002058: SWAP1
00002059: SWAP2
0000205a: MSTORE
0000205b: PUSH1 0x40
0000205d: SWAP1
0000205e: KECCAK256
0000205f: DUP1
00002060: SLOAD
00002061: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
00002082: AND
00002083: SWAP1
00002084: SSTORE
00002085: JUMP
00002086: JUMPDEST
00002087: PUSH1 0x02
00002089: DUP3
0000208a: MOD
0000208b: PUSH1 0x00
0000208d: SUB
0000208e: PUSH2 0x20d6
00002091: JUMPI
00002092: PUSH1 0x02
00002094: DUP3
00002095: DIV
00002096: PUSH1 0x00
00002098: DUP2
00002099: DUP2
0000209a: MSTORE
0000209b: PUSH1 0x20
0000209d: DUP6
0000209e: SWAP1
0000209f: MSTORE
000020a0: PUSH1 0x40
000020a2: SWAP1
000020a3: KECCAK256
000020a4: DUP1
000020a5: SLOAD
000020a6: PUSH32 0xffffffff000000000000000000000000ffffffffffffffffffffffffffffffff
000020c7: AND
000020c8: PUSH1 0x80
000020ca: DUP5
000020cb: SWAP1
000020cc: SHL
000020cd: OR
000020ce: SWAP1
000020cf: SSTORE
000020d0: SWAP2
000020d1: POP
000020d2: POP
000020d3: POP
000020d4: POP
000020d5: JUMP
000020d6: JUMPDEST
000020d7: PUSH1 0x02
000020d9: DUP3
000020da: DIV
000020db: PUSH1 0x00
000020dd: DUP2
000020de: DUP2
000020df: MSTORE
000020e0: PUSH1 0x20
000020e2: DUP6
000020e3: SWAP1
000020e4: MSTORE
000020e5: PUSH1 0x40
000020e7: SWAP1
000020e8: KECCAK256
000020e9: DUP1
000020ea: SLOAD
000020eb: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
0000210c: AND
0000210d: DUP4
0000210e: OR
0000210f: SWAP1
00002110: SSTORE
00002111: SWAP2
00002112: POP
00002113: POP
00002114: POP
00002115: POP
00002116: JUMP
00002117: JUMPDEST
00002118: PUSH1 0x00
0000211a: DUP2
0000211b: PUSH1 0x00
0000211d: SUB
0000211e: PUSH2 0x2132
00002121: JUMPI
00002122: PUSH2 0x212b
00002125: DUP3
00002126: DUP5
00002127: PUSH2 0x24c5
0000212a: JUMP
0000212b: JUMPDEST
0000212c: SWAP1
0000212d: POP
0000212e: PUSH2 0x072b
00002131: JUMP
00002132: JUMPDEST
00002133: DUP3
00002134: ISZERO
00002135: PUSH2 0x215e
00002138: JUMPI
00002139: DUP2
0000213a: PUSH2 0x2144
0000213d: PUSH1 0x01
0000213f: DUP6
00002140: PUSH2 0x2500
00002143: JUMP
00002144: JUMPDEST
00002145: PUSH2 0x214e
00002148: SWAP2
00002149: SWAP1
0000214a: PUSH2 0x24c5
0000214d: JUMP
0000214e: JUMPDEST
0000214f: PUSH2 0x2159
00002152: SWAP1
00002153: PUSH1 0x01
00002155: PUSH2 0x2513
00002158: JUMP
00002159: JUMPDEST
0000215a: PUSH2 0x102a
0000215d: JUMP
0000215e: JUMPDEST
0000215f: POP
00002160: PUSH1 0x00
00002162: SWAP3
00002163: SWAP2
00002164: POP
00002165: POP
00002166: JUMP
00002167: JUMPDEST
00002168: PUSH1 0x60
0000216a: DUP3
0000216b: SWAP1
0000216c: SHL
0000216d: DUP2
0000216e: OR
0000216f: PUSH1 0x02
00002171: DUP5
00002172: MOD
00002173: PUSH1 0x00
00002175: SUB
00002176: PUSH2 0x21ae
00002179: JUMPI
0000217a: PUSH1 0x02
0000217c: DUP5
0000217d: DIV
0000217e: PUSH1 0x00
00002180: DUP2
00002181: DUP2
00002182: MSTORE
00002183: PUSH1 0x20
00002185: DUP8
00002186: SWAP1
00002187: MSTORE
00002188: PUSH1 0x40
0000218a: SWAP1
0000218b: KECCAK256
0000218c: DUP1
0000218d: SLOAD
0000218e: PUSH16 0xffffffffffffffffffffffffffffffff
0000219f: AND
000021a0: PUSH1 0x80
000021a2: DUP5
000021a3: SWAP1
000021a4: SHL
000021a5: OR
000021a6: SWAP1
000021a7: SSTORE
000021a8: SWAP4
000021a9: POP
000021aa: PUSH2 0x21eb
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH1 0x02
000021b1: DUP5
000021b2: DIV
000021b3: PUSH1 0x00
000021b5: DUP2
000021b6: DUP2
000021b7: MSTORE
000021b8: PUSH1 0x20
000021ba: DUP8
000021bb: SWAP1
000021bc: MSTORE
000021bd: PUSH1 0x40
000021bf: SWAP1
000021c0: KECCAK256
000021c1: DUP1
000021c2: SLOAD
000021c3: PUSH32 0xffffffffffffffffffffffffffffffff00000000000000000000000000000000
000021e4: AND
000021e5: DUP4
000021e6: OR
000021e7: SWAP1
000021e8: SSTORE
000021e9: SWAP4
000021ea: POP
000021eb: JUMPDEST
000021ec: POP
000021ed: POP
000021ee: POP
000021ef: POP
000021f0: POP
000021f1: JUMP
000021f2: JUMPDEST
000021f3: PUSH1 0x00
000021f5: PUSH1 0x20
000021f7: DUP1
000021f8: DUP4
000021f9: MSTORE
000021fa: DUP4
000021fb: MLOAD
000021fc: DUP1
000021fd: PUSH1 0x20
000021ff: DUP6
00002200: ADD
00002201: MSTORE
00002202: PUSH1 0x00
00002204: JUMPDEST
00002205: DUP2
00002206: DUP2
00002207: LT
00002208: ISZERO
00002209: PUSH2 0x2220
0000220c: JUMPI
0000220d: DUP6
0000220e: DUP2
0000220f: ADD
00002210: DUP4
00002211: ADD
00002212: MLOAD
00002213: DUP6
00002214: DUP3
00002215: ADD
00002216: PUSH1 0x40
00002218: ADD
00002219: MSTORE
0000221a: DUP3
0000221b: ADD
0000221c: PUSH2 0x2204
0000221f: JUMP
00002220: JUMPDEST
00002221: POP
00002222: PUSH1 0x00
00002224: PUSH1 0x40
00002226: DUP3
00002227: DUP7
00002228: ADD
00002229: ADD
0000222a: MSTORE
0000222b: PUSH1 0x40
0000222d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000224e: PUSH1 0x1f
00002250: DUP4
00002251: ADD
00002252: AND
00002253: DUP6
00002254: ADD
00002255: ADD
00002256: SWAP3
00002257: POP
00002258: POP
00002259: POP
0000225a: SWAP3
0000225b: SWAP2
0000225c: POP
0000225d: POP
0000225e: JUMP
0000225f: JUMPDEST
00002260: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002275: DUP2
00002276: AND
00002277: DUP2
00002278: EQ
00002279: PUSH2 0x2281
0000227c: JUMPI
0000227d: PUSH1 0x00
0000227f: DUP1
00002280: REVERT
00002281: JUMPDEST
00002282: POP
00002283: JUMP
00002284: JUMPDEST
00002285: PUSH1 0x00
00002287: DUP1
00002288: PUSH1 0x40
0000228a: DUP4
0000228b: DUP6
0000228c: SUB
0000228d: SLT
0000228e: ISZERO
0000228f: PUSH2 0x2297
00002292: JUMPI
00002293: PUSH1 0x00
00002295: DUP1
00002296: REVERT
00002297: JUMPDEST
00002298: DUP3
00002299: CALLDATALOAD
0000229a: PUSH2 0x22a2
0000229d: DUP2
0000229e: PUSH2 0x225f
000022a1: JUMP
000022a2: JUMPDEST
000022a3: SWAP5
000022a4: PUSH1 0x20
000022a6: SWAP4
000022a7: SWAP1
000022a8: SWAP4
000022a9: ADD
000022aa: CALLDATALOAD
000022ab: SWAP4
000022ac: POP
000022ad: POP
000022ae: POP
000022af: JUMP
000022b0: JUMPDEST
000022b1: PUSH1 0x00
000022b3: PUSH1 0x20
000022b5: DUP3
000022b6: DUP5
000022b7: SUB
000022b8: SLT
000022b9: ISZERO
000022ba: PUSH2 0x22c2
000022bd: JUMPI
000022be: PUSH1 0x00
000022c0: DUP1
000022c1: REVERT
000022c2: JUMPDEST
000022c3: DUP2
000022c4: CALLDATALOAD
000022c5: PUSH2 0x102a
000022c8: DUP2
000022c9: PUSH2 0x225f
000022cc: JUMP
000022cd: JUMPDEST
000022ce: PUSH1 0x00
000022d0: DUP2
000022d1: MLOAD
000022d2: DUP1
000022d3: DUP5
000022d4: MSTORE
000022d5: PUSH1 0x20
000022d7: DUP1
000022d8: DUP6
000022d9: ADD
000022da: SWAP5
000022db: POP
000022dc: PUSH1 0x20
000022de: DUP5
000022df: ADD
000022e0: PUSH1 0x00
000022e2: JUMPDEST
000022e3: DUP4
000022e4: DUP2
000022e5: LT
000022e6: ISZERO
000022e7: PUSH2 0x22fe
000022ea: JUMPI
000022eb: DUP2
000022ec: MLOAD
000022ed: DUP8
000022ee: MSTORE
000022ef: SWAP6
000022f0: DUP3
000022f1: ADD
000022f2: SWAP6
000022f3: SWAP1
000022f4: DUP3
000022f5: ADD
000022f6: SWAP1
000022f7: PUSH1 0x01
000022f9: ADD
000022fa: PUSH2 0x22e2
000022fd: JUMP
000022fe: JUMPDEST
000022ff: POP
00002300: SWAP5
00002301: SWAP6
00002302: SWAP5
00002303: POP
00002304: POP
00002305: POP
00002306: POP
00002307: POP
00002308: JUMP
00002309: JUMPDEST
0000230a: PUSH1 0x40
0000230c: DUP2
0000230d: MSTORE
0000230e: PUSH1 0x00
00002310: PUSH2 0x231c
00002313: PUSH1 0x40
00002315: DUP4
00002316: ADD
00002317: DUP6
00002318: PUSH2 0x22cd
0000231b: JUMP
0000231c: JUMPDEST
0000231d: DUP3
0000231e: DUP2
0000231f: SUB
00002320: PUSH1 0x20
00002322: DUP5
00002323: ADD
00002324: MSTORE
00002325: PUSH2 0x232e
00002328: DUP2
00002329: DUP6
0000232a: PUSH2 0x22cd
0000232d: JUMP
0000232e: JUMPDEST
0000232f: SWAP6
00002330: SWAP5
00002331: POP
00002332: POP
00002333: POP
00002334: POP
00002335: POP
00002336: JUMP
00002337: JUMPDEST
00002338: PUSH1 0x00
0000233a: DUP1
0000233b: PUSH1 0x00
0000233d: PUSH1 0x60
0000233f: DUP5
00002340: DUP7
00002341: SUB
00002342: SLT
00002343: ISZERO
00002344: PUSH2 0x234c
00002347: JUMPI
00002348: PUSH1 0x00
0000234a: DUP1
0000234b: REVERT
0000234c: JUMPDEST
0000234d: DUP4
0000234e: CALLDATALOAD
0000234f: PUSH2 0x2357
00002352: DUP2
00002353: PUSH2 0x225f
00002356: JUMP
00002357: JUMPDEST
00002358: SWAP3
00002359: POP
0000235a: PUSH1 0x20
0000235c: DUP5
0000235d: ADD
0000235e: CALLDATALOAD
0000235f: PUSH2 0x2367
00002362: DUP2
00002363: PUSH2 0x225f
00002366: JUMP
00002367: JUMPDEST
00002368: SWAP3
00002369: SWAP6
0000236a: SWAP3
0000236b: SWAP5
0000236c: POP
0000236d: POP
0000236e: POP
0000236f: PUSH1 0x40
00002371: SWAP2
00002372: SWAP1
00002373: SWAP2
00002374: ADD
00002375: CALLDATALOAD
00002376: SWAP1
00002377: JUMP
00002378: JUMPDEST
00002379: PUSH1 0x00
0000237b: DUP1
0000237c: PUSH1 0x00
0000237e: PUSH1 0x60
00002380: DUP5
00002381: DUP7
00002382: SUB
00002383: SLT
00002384: ISZERO
00002385: PUSH2 0x238d
00002388: JUMPI
00002389: PUSH1 0x00
0000238b: DUP1
0000238c: REVERT
0000238d: JUMPDEST
0000238e: DUP4
0000238f: CALLDATALOAD
00002390: PUSH2 0x2398
00002393: DUP2
00002394: PUSH2 0x225f
00002397: JUMP
00002398: JUMPDEST
00002399: SWAP6
0000239a: PUSH1 0x20
0000239c: DUP6
0000239d: ADD
0000239e: CALLDATALOAD
0000239f: SWAP6
000023a0: POP
000023a1: PUSH1 0x40
000023a3: SWAP1
000023a4: SWAP5
000023a5: ADD
000023a6: CALLDATALOAD
000023a7: SWAP4
000023a8: SWAP3
000023a9: POP
000023aa: POP
000023ab: POP
000023ac: JUMP
000023ad: JUMPDEST
000023ae: PUSH1 0x00
000023b0: DUP1
000023b1: PUSH1 0x00
000023b3: DUP1
000023b4: PUSH1 0x00
000023b6: PUSH1 0xa0
000023b8: DUP7
000023b9: DUP9
000023ba: SUB
000023bb: SLT
000023bc: ISZERO
000023bd: PUSH2 0x23c5
000023c0: JUMPI
000023c1: PUSH1 0x00
000023c3: DUP1
000023c4: REVERT
000023c5: JUMPDEST
000023c6: DUP6
000023c7: CALLDATALOAD
000023c8: PUSH2 0x23d0
000023cb: DUP2
000023cc: PUSH2 0x225f
000023cf: JUMP
000023d0: JUMPDEST
000023d1: SWAP5
000023d2: POP
000023d3: PUSH1 0x20
000023d5: DUP7
000023d6: ADD
000023d7: CALLDATALOAD
000023d8: SWAP4
000023d9: POP
000023da: PUSH1 0x40
000023dc: DUP7
000023dd: ADD
000023de: CALLDATALOAD
000023df: SWAP3
000023e0: POP
000023e1: PUSH1 0x60
000023e3: DUP7
000023e4: ADD
000023e5: CALLDATALOAD
000023e6: PUSH2 0x23ee
000023e9: DUP2
000023ea: PUSH2 0x225f
000023ed: JUMP
000023ee: JUMPDEST
000023ef: SWAP5
000023f0: SWAP8
000023f1: SWAP4
000023f2: SWAP7
000023f3: POP
000023f4: SWAP2
000023f5: SWAP5
000023f6: PUSH1 0x80
000023f8: ADD
000023f9: CALLDATALOAD
000023fa: SWAP3
000023fb: SWAP2
000023fc: POP
000023fd: POP
000023fe: JUMP
000023ff: JUMPDEST
00002400: PUSH1 0x00
00002402: DUP1
00002403: PUSH1 0x40
00002405: DUP4
00002406: DUP6
00002407: SUB
00002408: SLT
00002409: ISZERO
0000240a: PUSH2 0x2412
0000240d: JUMPI
0000240e: PUSH1 0x00
00002410: DUP1
00002411: REVERT
00002412: JUMPDEST
00002413: DUP3
00002414: CALLDATALOAD
00002415: PUSH2 0x241d
00002418: DUP2
00002419: PUSH2 0x225f
0000241c: JUMP
0000241d: JUMPDEST
0000241e: SWAP2
0000241f: POP
00002420: PUSH1 0x20
00002422: DUP4
00002423: ADD
00002424: CALLDATALOAD
00002425: PUSH2 0x242d
00002428: DUP2
00002429: PUSH2 0x225f
0000242c: JUMP
0000242d: JUMPDEST
0000242e: DUP1
0000242f: SWAP2
00002430: POP
00002431: POP
00002432: SWAP3
00002433: POP
00002434: SWAP3
00002435: SWAP1
00002436: POP
00002437: JUMP
00002438: JUMPDEST
00002439: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000245a: PUSH1 0x00
0000245c: MSTORE
0000245d: PUSH1 0x41
0000245f: PUSH1 0x04
00002461: MSTORE
00002462: PUSH1 0x24
00002464: PUSH1 0x00
00002466: REVERT
00002467: JUMPDEST
00002468: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002489: PUSH1 0x00
0000248b: MSTORE
0000248c: PUSH1 0x32
0000248e: PUSH1 0x04
00002490: MSTORE
00002491: PUSH1 0x24
00002493: PUSH1 0x00
00002495: REVERT
00002496: JUMPDEST
00002497: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000024b8: PUSH1 0x00
000024ba: MSTORE
000024bb: PUSH1 0x11
000024bd: PUSH1 0x04
000024bf: MSTORE
000024c0: PUSH1 0x24
000024c2: PUSH1 0x00
000024c4: REVERT
000024c5: JUMPDEST
000024c6: PUSH1 0x00
000024c8: DUP3
000024c9: PUSH2 0x24fb
000024cc: JUMPI
000024cd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000024ee: PUSH1 0x00
000024f0: MSTORE
000024f1: PUSH1 0x12
000024f3: PUSH1 0x04
000024f5: MSTORE
000024f6: PUSH1 0x24
000024f8: PUSH1 0x00
000024fa: REVERT
000024fb: JUMPDEST
000024fc: POP
000024fd: DIV
000024fe: SWAP1
000024ff: JUMP
00002500: JUMPDEST
00002501: DUP2
00002502: DUP2
00002503: SUB
00002504: DUP2
00002505: DUP2
00002506: GT
00002507: ISZERO
00002508: PUSH2 0x072b
0000250b: JUMPI
0000250c: PUSH2 0x072b
0000250f: PUSH2 0x2496
00002512: JUMP
00002513: JUMPDEST
00002514: DUP1
00002515: DUP3
00002516: ADD
00002517: DUP1
00002518: DUP3
00002519: GT
0000251a: ISZERO
0000251b: PUSH2 0x072b
0000251e: JUMPI
0000251f: PUSH2 0x072b
00002522: PUSH2 0x2496
00002525: JUMP
00002526: INVALID
00002527: LOG2
00002528: PUSH5 0x6970667358
0000252e: UNKNOWN(0x22)
0000252f: SLT
00002530: KECCAK256
00002531: DIFFICULTY
00002532: GT
00002533: PUSH30 0xc6571557ce4b584f3a3954c6a30e1524dac0977fd05840be298cf9d11264
00002552: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xc15239d3a82f3d0a565aa7756cfce47a36c8bbae35d318479f2ae55db509b5ce
call_targets: 0xcc446c3d1738a6e66d366446c37a942c5e750250
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc15239d3a82f3d0a565aa7756cfce47a36c8bbae35d318479f2ae55db509b5ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcc446c3d1738a6e66d366446c37a942c5e750250"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebb0be15",
            "selector": "0xebb0be15",
            "calldata_variants": [
                "0xebb0be15",
                "0xebb0be150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe383e0b",
            "selector": "0xfe383e0b",
            "calldata_variants": [
                "0xfe383e0b",
                "0xfe383e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa67c919",
            "selector": "0xaa67c919",
            "calldata_variants": [
                "0xaa67c919",
                "0xaa67c9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1111359",
            "selector": "0xb1111359",
            "calldata_variants": [
                "0xb1111359",
                "0xb11113590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x989c5aaa",
            "selector": "0x989c5aaa",
            "calldata_variants": [
                "0x989c5aaa",
                "0x989c5aaa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 1,
    "guards_detected": [
        {
            "pc": 2763,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2828,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2894,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3024,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3089,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3155,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3541,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3606,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3884,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3949,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4015,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4148,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4213,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4279,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xc15239d3a82f3d0a565aa7756cfce47a36c8bbae35d318479f2ae55db509b5ce
call_targets: 0xcc446c3d1738a6e66d366446c37a942c5e750250
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xc15239d3a82f3d0a565aa7756cfce47a36c8bbae35d318479f2ae55db509b5ce",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xcc446c3d1738a6e66d366446c37a942c5e750250"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xdd62ed3e",
            "selector": "0xdd62ed3e",
            "calldata_variants": [
                "0xdd62ed3e",
                "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebb0be15",
            "selector": "0xebb0be15",
            "calldata_variants": [
                "0xebb0be15",
                "0xebb0be150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe383e0b",
            "selector": "0xfe383e0b",
            "calldata_variants": [
                "0xfe383e0b",
                "0xfe383e0b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xaa67c919",
            "selector": "0xaa67c919",
            "calldata_variants": [
                "0xaa67c919",
                "0xaa67c9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb1111359",
            "selector": "0xb1111359",
            "calldata_variants": [
                "0xb1111359",
                "0xb11113590000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd0e30db0",
            "selector": "0xd0e30db0",
            "calldata_variants": [
                "0xd0e30db0",
                "0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x95d89b41",
            "selector": "0x95d89b41",
            "calldata_variants": [
                "0x95d89b41",
                "0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x989c5aaa",
            "selector": "0x989c5aaa",
            "calldata_variants": [
                "0x989c5aaa",
                "0x989c5aaa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 6659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 1,
    "guards_detected": [
        {
            "pc": 2763,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2828,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2894,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3024,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3089,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3155,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3541,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3606,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3672,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3884,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 3949,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4015,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4148,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4213,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 4279,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}