656aa1d1-5be0-4320-8fa3-0bdc15d48cb8
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 30992 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 94963 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 94964 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 94965 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 94966 | capability.graph | complete | 1 / 3 | 1 week ago |
| 94967 | detector.run | complete | 1 / 3 | 1 week ago |
| 94968 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:481151] OpenAI Codex v0.77.0 (research preview)
[codex:481151] --------
[codex:481151] workdir: /tmp/codex-multi-a58xiaqk
[codex:481151] model: gpt-5.2-codex
[codex:481151] provider: openai
[codex:481151] approval: never
[codex:481151] sandbox: read-only
[codex:481151] reasoning effort: xhigh
[codex:481151] reasoning summaries: auto
[codex:481151] session id: 019b76f1-d57c-7381-89ca-028fe492684d
[codex:481151] --------
[codex:481151] user
[codex:481151] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:481151]
[codex:481151] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:481151]
[codex:481151] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:481151] - Gas inefficiency, code quality, naming, or best practices
[codex:481151] - Theoretical vulnerabilities without a clear extraction path
[codex:481151] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:481151] - Front-running unless it enables theft beyond MEV
[codex:481151] - DoS, griefing, or issues that don't result in attacker profit
[codex:481151] - Missing events, view function issues, or informational findings
[codex:481151]
[codex:481151] HIGH-VALUE PATTERNS TO HUNT:
[codex:481151] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:481151] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:481151] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:481151] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:481151] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:481151] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:481151] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:481151] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:481151] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:481151]
[codex:481151] For each finding, you MUST provide:
[codex:481151] 1. Exact file and line numbers of vulnerable code
[codex:481151] 2. Step-by-step exploit transaction sequence
[codex:481151] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:481151]
[codex:481151] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:481151]
[codex:481151] Output MUST be valid JSON matching the provided schema.
[codex:481151] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:481151] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:481151] mcp startup: no servers
[codex:481151]
[codex:481151] thinking
[codex:481151] **Preparing to read AUDIT_BUNDLE.txt**
[codex:481151] exec
[codex:481151] /bin/bash -lc ls in /tmp/codex-multi-a58xiaqk succeeded in 6ms:
[codex:481151] AUDIT_BUNDLE.txt
[codex:481151] codex-output-schema.json
[codex:481151] contracts
[codex:481151] exec
[codex:481151] /bin/bash -lc 'rg --files' in /tmp/codex-multi-a58xiaqk succeeded in 9ms:
[codex:481151] codex-output-schema.json
[codex:481151] AUDIT_BUNDLE.txt
[codex:481151] contracts/Contract.sol
[codex:481151] exec
[codex:481151] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-a58xiaqk succeeded in 5ms:
[codex:481151] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:481151]
[codex:481151] ================================================================================
[codex:481151] FILE: contracts/Contract.sol
[codex:481151] ================================================================================
[codex:481151] /*
[codex:481151] ____ __ __ __ _
[codex:481151] / __/__ __ ___ / /_ / / ___ / /_ (_)__ __
[codex:481151] _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:481151] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:481151] /___/
[codex:481151]
[codex:481151] * Synthetix: YFIRewards.sol
[codex:481151] *
[codex:481151] * Docs: https://docs.synthetix.io/
[codex:481151] *
[codex:481151] *
[codex:481151] * MIT License
[codex:481151] * ===========
[codex:481151] *
[codex:481151]
[codex:481151]
[codex:481151]
[codex:481151]
[codex:481151] thinking
[codex:481151] **Analyzing staking rewards contract for exploits**
[codex:481151]
[codex:481151] I'm carefully examining the staking rewards contract to find possible attack paths that yield concrete profit, focusing on reward calculations, minting logic, reentrancy risks, access controls, and token interactions; I'm skeptical about bypassing contract restrictions, reentrancy via token mint calls, and reward manipulation, but no clear exploitable vulnerability emerges despite intricate checks.
[codex:481151] thinking
[codex:481151] **Detecting reward calculation initialization flaw**
[codex:481151]
[codex:481151] I’m exploring a critical bug where the reward calculation’s last update time starts at zero, causing an enormous time delta that massively inflates rewards far beyond minted tokens, potentially breaking withdrawals or reward distribution due to impossible payouts. This looks like a serious initialization issue that wouldn’t directly give attackers profit but could disrupt the contract’s economics.
[codex:481151] thinking
[codex:481151] **Evaluating reward minting and withdrawal constraints**
[codex:481151]
[codex:481151] I’m carefully weighing if the huge inflated rewards from the zero lastUpdateTime bug can be cashed out considering the contract’s fixed minted YFV supply and balance limits; while withdrawals might succeed despite reward inflation, actual reward claims would revert if rewards exceed contract balance, making true profit unlikely but opening denial-of-service risks and inheritance of large owed rewards dependent on staking distribution.
[codex:481151] thinking
[codex:481151] **Analyzing reward claim mechanics and potential exploits**
[codex:481151]
[codex:481151] I'm carefully verifying how the reward calculation and claiming process interacts with the zero lastUpdateTime bug, confirming the huge initial reward bug occurs only once and that reward claims will revert if the contract lacks sufficient YFV balance. I’m exploring if partial claims or other functions like withdraw could bypass this, but none seem profitable, with most paths leading to denial-of-service rather than token extraction. Possible external token vulnerabilities remain outside this contract’s scope, so no direct exploit appears feasible here.
[codex:481151] codex
[codex:481151] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:481151] tokens used
[codex:481151] 26,122
[codex:481151] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-01T00:29:23.242334+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths identified in the provided sources.",
"raw_final": {
"summary": "No concrete, exploitable profit paths identified in the provided sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0381 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x7b0a47ee 00000026: GT 00000027: PUSH2 0x01de 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xc8333bb2 00000031: GT 00000032: PUSH2 0x010f 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xe9b46e6d 0000003c: GT 0000003d: PUSH2 0x00ad 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xf2fde38b 00000047: GT 00000048: PUSH2 0x007c 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x07ce 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xf3fef3a3 0000005d: EQ 0000005e: PUSH2 0x07f4 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf7888aec 00000068: EQ 00000069: PUSH2 0x0820 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xffe48902 00000073: EQ 00000074: PUSH2 0x084e 00000077: JUMPI 00000078: PUSH2 0x0381 0000007b: JUMP 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0xe9b46e6d 00000083: EQ 00000084: PUSH2 0x0772 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xe9fad8ee 0000008e: EQ 0000008f: PUSH2 0x0798 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xeb504614 00000099: EQ 0000009a: PUSH2 0x07a0 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0xebe2b12b 000000a4: EQ 000000a5: PUSH2 0x07c6 000000a8: JUMPI 000000a9: PUSH2 0x0381 000000ac: JUMP 000000ad: JUMPDEST 000000ae: DUP1 000000af: PUSH4 0xdc8d3683 000000b4: GT 000000b5: PUSH2 0x00e9 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xdc8d3683 000000bf: EQ 000000c0: PUSH2 0x0734 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xdf136d65 000000ca: EQ 000000cb: PUSH2 0x073c 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xe4dc2aa4 000000d5: EQ 000000d6: PUSH2 0x0744 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xe68e035b 000000e0: EQ 000000e1: PUSH2 0x076a 000000e4: JUMPI 000000e5: PUSH2 0x0381 000000e8: JUMP 000000e9: JUMPDEST 000000ea: DUP1 000000eb: PUSH4 0xc8333bb2 000000f0: EQ 000000f1: PUSH2 0x071c 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0xc8f33c91 000000fb: EQ 000000fc: PUSH2 0x0724 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xcd3daf9d 00000106: EQ 00000107: PUSH2 0x072c 0000010a: JUMPI 0000010b: PUSH2 0x0381 0000010e: JUMP 0000010f: JUMPDEST 00000110: DUP1 00000111: PUSH4 0x98309e3d 00000116: GT 00000117: PUSH2 0x017c 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xaa5a0d5e 00000121: GT 00000122: PUSH2 0x0156 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xaa5a0d5e 0000012c: EQ 0000012d: PUSH2 0x06de 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xb3d673d8 00000137: EQ 00000138: PUSH2 0x06e6 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xb591d3a5 00000142: EQ 00000143: PUSH2 0x06ee 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xc3dee20b 0000014d: EQ 0000014e: PUSH2 0x0714 00000151: JUMPI 00000152: PUSH2 0x0381 00000155: JUMP 00000156: JUMPDEST 00000157: DUP1 00000158: PUSH4 0x98309e3d 0000015d: EQ 0000015e: PUSH2 0x06a8 00000161: JUMPI 00000162: DUP1 00000163: PUSH4 0x9c907b58 00000168: EQ 00000169: PUSH2 0x06ce 0000016c: JUMPI 0000016d: DUP1 0000016e: PUSH4 0xa457536c 00000173: EQ 00000174: PUSH2 0x06d6 00000177: JUMPI 00000178: PUSH2 0x0381 0000017b: JUMP 0000017c: JUMPDEST 0000017d: DUP1 0000017e: PUSH4 0x8b876347 00000183: GT 00000184: PUSH2 0x01b8 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x8b876347 0000018e: EQ 0000018f: PUSH2 0x066a 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x8da58897 00000199: EQ 0000019a: PUSH2 0x0690 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x8da5cb5b 000001a4: EQ 000001a5: PUSH2 0x0698 000001a8: JUMPI 000001a9: DUP1 000001aa: PUSH4 0x8f32d59b 000001af: EQ 000001b0: PUSH2 0x06a0 000001b3: JUMPI 000001b4: PUSH2 0x0381 000001b7: JUMP 000001b8: JUMPDEST 000001b9: DUP1 000001ba: PUSH4 0x7b0a47ee 000001bf: EQ 000001c0: PUSH2 0x0652 000001c3: JUMPI 000001c4: DUP1 000001c5: PUSH4 0x80ad3008 000001ca: EQ 000001cb: PUSH2 0x065a 000001ce: JUMPI 000001cf: DUP1 000001d0: PUSH4 0x80faa57d 000001d5: EQ 000001d6: PUSH2 0x0662 000001d9: JUMPI 000001da: PUSH2 0x0381 000001dd: JUMP 000001de: JUMPDEST 000001df: DUP1 000001e0: PUSH4 0x2f38c8a1 000001e5: GT 000001e6: PUSH2 0x02b8 000001e9: JUMPI 000001ea: DUP1 000001eb: PUSH4 0x53220a42 000001f0: GT 000001f1: PUSH2 0x0256 000001f4: JUMPI 000001f5: DUP1 000001f6: PUSH4 0x6a46d059 000001fb: GT 000001fc: PUSH2 0x0230 000001ff: JUMPI 00000200: DUP1 00000201: PUSH4 0x6a46d059 00000206: EQ 00000207: PUSH2 0x061d 0000020a: JUMPI 0000020b: DUP1 0000020c: PUSH4 0x715018a6 00000211: EQ 00000212: PUSH2 0x063a 00000215: JUMPI 00000216: DUP1 00000217: PUSH4 0x7318a730 0000021c: EQ 0000021d: PUSH2 0x0642 00000220: JUMPI 00000221: DUP1 00000222: PUSH4 0x79a7d1be 00000227: EQ 00000228: PUSH2 0x064a 0000022b: JUMPI 0000022c: PUSH2 0x0381 0000022f: JUMP 00000230: JUMPDEST 00000231: DUP1 00000232: PUSH4 0x53220a42 00000237: EQ 00000238: PUSH2 0x05d3 0000023b: JUMPI 0000023c: DUP1 0000023d: PUSH4 0x541dbe9f 00000242: EQ 00000243: PUSH2 0x05db 00000246: JUMPI 00000247: DUP1 00000248: PUSH4 0x67b37b7a 0000024d: EQ 0000024e: PUSH2 0x05e3 00000251: JUMPI 00000252: PUSH2 0x0381 00000255: JUMP 00000256: JUMPDEST 00000257: DUP1 00000258: PUSH4 0x3d62bbe1 0000025d: GT 0000025e: PUSH2 0x0292 00000261: JUMPI 00000262: DUP1 00000263: PUSH4 0x3d62bbe1 00000268: EQ 00000269: PUSH2 0x0562 0000026c: JUMPI 0000026d: DUP1 0000026e: PUSH4 0x3f7b06d8 00000273: EQ 00000274: PUSH2 0x0588 00000277: JUMPI 00000278: DUP1 00000279: PUSH4 0x41c5c207 0000027e: EQ 0000027f: PUSH2 0x05ae 00000282: JUMPI 00000283: DUP1 00000284: PUSH4 0x4d286a3d 00000289: EQ 0000028a: PUSH2 0x05cb 0000028d: JUMPI 0000028e: PUSH2 0x0381 00000291: JUMP 00000292: JUMPDEST 00000293: DUP1 00000294: PUSH4 0x2f38c8a1 00000299: EQ 0000029a: PUSH2 0x0517 0000029d: JUMPI 0000029e: DUP1 0000029f: PUSH4 0x3c6b16ab 000002a4: EQ 000002a5: PUSH2 0x053d 000002a8: JUMPI 000002a9: DUP1 000002aa: PUSH4 0x3d18b912 000002af: EQ 000002b0: PUSH2 0x055a 000002b3: JUMPI 000002b4: PUSH2 0x0381 000002b7: JUMP 000002b8: JUMPDEST 000002b9: DUP1 000002ba: PUSH4 0x13eb6c88 000002bf: GT 000002c0: PUSH2 0x0325 000002c3: JUMPI 000002c4: DUP1 000002c5: PUSH4 0x1d8a6d10 000002ca: GT 000002cb: PUSH2 0x02ff 000002ce: JUMPI 000002cf: DUP1 000002d0: PUSH4 0x1d8a6d10 000002d5: EQ 000002d6: PUSH2 0x04b2 000002d9: JUMPI 000002da: DUP1 000002db: PUSH4 0x207e821d 000002e0: EQ 000002e1: PUSH2 0x04ba 000002e4: JUMPI 000002e5: DUP1 000002e6: PUSH4 0x294091cd 000002eb: EQ 000002ec: PUSH2 0x04c2 000002ef: JUMPI 000002f0: DUP1 000002f1: PUSH4 0x2e329bd3 000002f6: EQ 000002f7: PUSH2 0x04f8 000002fa: JUMPI 000002fb: PUSH2 0x0381 000002fe: JUMP 000002ff: JUMPDEST 00000300: DUP1 00000301: PUSH4 0x13eb6c88 00000306: EQ 00000307: PUSH2 0x047c 0000030a: JUMPI 0000030b: DUP1 0000030c: PUSH4 0x1961eaf9 00000311: EQ 00000312: PUSH2 0x0484 00000315: JUMPI 00000316: DUP1 00000317: PUSH4 0x1be05289 0000031c: EQ 0000031d: PUSH2 0x04aa 00000320: JUMPI 00000321: PUSH2 0x0381 00000324: JUMP 00000325: JUMPDEST 00000326: DUP1 00000327: PUSH4 0x0700037d 0000032c: GT 0000032d: PUSH2 0x0361 00000330: JUMPI 00000331: DUP1 00000332: PUSH4 0x0700037d 00000337: EQ 00000338: PUSH2 0x03ee 0000033b: JUMPI 0000033c: DUP1 0000033d: PUSH4 0x0cdb43c4 00000342: EQ 00000343: PUSH2 0x0414 00000346: JUMPI 00000347: DUP1 00000348: PUSH4 0x0d68b761 0000034d: EQ 0000034e: PUSH2 0x0438 00000351: JUMPI 00000352: DUP1 00000353: PUSH4 0x0fcfc6a8 00000358: EQ 00000359: PUSH2 0x045e 0000035c: JUMPI 0000035d: PUSH2 0x0381 00000360: JUMP 00000361: JUMPDEST 00000362: DUP1 00000363: PUSH3 0x2dcfb9 00000367: EQ 00000368: PUSH2 0x0386 0000036b: JUMPI 0000036c: DUP1 0000036d: PUSH3 0x8cc262 00000371: EQ 00000372: PUSH2 0x03ae 00000375: JUMPI 00000376: DUP1 00000377: PUSH4 0x04e01d87 0000037c: EQ 0000037d: PUSH2 0x03e6 00000380: JUMPI 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: PUSH2 0x03ac 0000038a: PUSH1 0x04 0000038c: DUP1 0000038d: CALLDATASIZE 0000038e: SUB 0000038f: PUSH1 0x20 00000391: DUP2 00000392: LT 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: CALLDATALOAD 0000039f: PUSH1 0x01 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: SHL 000003a6: SUB 000003a7: AND 000003a8: PUSH2 0x0874 000003ab: JUMP 000003ac: JUMPDEST 000003ad: STOP 000003ae: JUMPDEST 000003af: PUSH2 0x03d4 000003b2: PUSH1 0x04 000003b4: DUP1 000003b5: CALLDATASIZE 000003b6: SUB 000003b7: PUSH1 0x20 000003b9: DUP2 000003ba: LT 000003bb: ISZERO 000003bc: PUSH2 0x03c4 000003bf: JUMPI 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: CALLDATALOAD 000003c7: PUSH1 0x01 000003c9: PUSH1 0x01 000003cb: PUSH1 0xa0 000003cd: SHL 000003ce: SUB 000003cf: AND 000003d0: PUSH2 0x08dd 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH1 0x40 000003d7: DUP1 000003d8: MLOAD 000003d9: SWAP2 000003da: DUP3 000003db: MSTORE 000003dc: MLOAD 000003dd: SWAP1 000003de: DUP2 000003df: SWAP1 000003e0: SUB 000003e1: PUSH1 0x20 000003e3: ADD 000003e4: SWAP1 000003e5: RETURN 000003e6: JUMPDEST 000003e7: PUSH2 0x03d4 000003ea: PUSH2 0x0963 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH2 0x03d4 000003f2: PUSH1 0x04 000003f4: DUP1 000003f5: CALLDATASIZE 000003f6: SUB 000003f7: PUSH1 0x20 000003f9: DUP2 000003fa: LT 000003fb: ISZERO 000003fc: PUSH2 0x0404 000003ff: JUMPI 00000400: PUSH1 0x00 00000402: DUP1 00000403: REVERT 00000404: JUMPDEST 00000405: POP 00000406: CALLDATALOAD 00000407: PUSH1 0x01 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: SHL 0000040e: SUB 0000040f: AND 00000410: PUSH2 0x0969 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH2 0x041c 00000418: PUSH2 0x097b 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x40 0000041f: DUP1 00000420: MLOAD 00000421: PUSH1 0x01 00000423: PUSH1 0x01 00000425: PUSH1 0xa0 00000427: SHL 00000428: SUB 00000429: SWAP1 0000042a: SWAP3 0000042b: AND 0000042c: DUP3 0000042d: MSTORE 0000042e: MLOAD 0000042f: SWAP1 00000430: DUP2 00000431: SWAP1 00000432: SUB 00000433: PUSH1 0x20 00000435: ADD 00000436: SWAP1 00000437: RETURN 00000438: JUMPDEST 00000439: PUSH2 0x03ac 0000043c: PUSH1 0x04 0000043e: DUP1 0000043f: CALLDATASIZE 00000440: SUB 00000441: PUSH1 0x20 00000443: DUP2 00000444: LT 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: CALLDATALOAD 00000451: PUSH1 0x01 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: SHL 00000458: SUB 00000459: AND 0000045a: PUSH2 0x098a 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH2 0x0466 00000462: PUSH2 0x09f3 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH1 0x40 00000469: DUP1 0000046a: MLOAD 0000046b: PUSH1 0xff 0000046d: SWAP1 0000046e: SWAP3 0000046f: AND 00000470: DUP3 00000471: MSTORE 00000472: MLOAD 00000473: SWAP1 00000474: DUP2 00000475: SWAP1 00000476: SUB 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP1 0000047b: RETURN 0000047c: JUMPDEST 0000047d: PUSH2 0x03d4 00000480: PUSH2 0x09f8 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH2 0x03ac 00000488: PUSH1 0x04 0000048a: DUP1 0000048b: CALLDATASIZE 0000048c: SUB 0000048d: PUSH1 0x20 0000048f: DUP2 00000490: LT 00000491: ISZERO 00000492: PUSH2 0x049a 00000495: JUMPI 00000496: PUSH1 0x00 00000498: DUP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: CALLDATALOAD 0000049d: PUSH1 0x01 0000049f: PUSH1 0x01 000004a1: PUSH1 0xa0 000004a3: SHL 000004a4: SUB 000004a5: AND 000004a6: PUSH2 0x0a06 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH2 0x03d4 000004ae: PUSH2 0x0a6f 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x03ac 000004b6: PUSH2 0x0a76 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH2 0x03d4 000004be: PUSH2 0x0ba5 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH2 0x03ac 000004c6: PUSH1 0x04 000004c8: DUP1 000004c9: CALLDATASIZE 000004ca: SUB 000004cb: PUSH1 0x60 000004cd: DUP2 000004ce: LT 000004cf: ISZERO 000004d0: PUSH2 0x04d8 000004d3: JUMPI 000004d4: PUSH1 0x00 000004d6: DUP1 000004d7: REVERT 000004d8: JUMPDEST 000004d9: POP 000004da: PUSH1 0x01 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: SHL 000004e1: SUB 000004e2: DUP2 000004e3: CALLDATALOAD 000004e4: DUP2 000004e5: AND 000004e6: SWAP2 000004e7: PUSH1 0x20 000004e9: DUP2 000004ea: ADD 000004eb: CALLDATALOAD 000004ec: SWAP2 000004ed: PUSH1 0x40 000004ef: SWAP1 000004f0: SWAP2 000004f1: ADD 000004f2: CALLDATALOAD 000004f3: AND 000004f4: PUSH2 0x0bab 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH2 0x0500 000004fc: PUSH2 0x10c6 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x40 00000503: DUP1 00000504: MLOAD 00000505: PUSH2 0xffff 00000508: SWAP1 00000509: SWAP3 0000050a: AND 0000050b: DUP3 0000050c: MSTORE 0000050d: MLOAD 0000050e: SWAP1 0000050f: DUP2 00000510: SWAP1 00000511: SUB 00000512: PUSH1 0x20 00000514: ADD 00000515: SWAP1 00000516: RETURN 00000517: JUMPDEST 00000518: PUSH2 0x03d4 0000051b: PUSH1 0x04 0000051d: DUP1 0000051e: CALLDATASIZE 0000051f: SUB 00000520: PUSH1 0x20 00000522: DUP2 00000523: LT 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: CALLDATALOAD 00000530: PUSH1 0x01 00000532: PUSH1 0x01 00000534: PUSH1 0xa0 00000536: SHL 00000537: SUB 00000538: AND 00000539: PUSH2 0x117c 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH2 0x03ac 00000541: PUSH1 0x04 00000543: DUP1 00000544: CALLDATASIZE 00000545: SUB 00000546: PUSH1 0x20 00000548: DUP2 00000549: LT 0000054a: ISZERO 0000054b: PUSH2 0x0553 0000054e: JUMPI 0000054f: PUSH1 0x00 00000551: DUP1 00000552: REVERT 00000553: JUMPDEST 00000554: POP 00000555: CALLDATALOAD 00000556: PUSH2 0x118d 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH2 0x03ac 0000055e: PUSH2 0x1485 00000561: JUMP 00000562: JUMPDEST 00000563: PUSH2 0x03d4 00000566: PUSH1 0x04 00000568: DUP1 00000569: CALLDATASIZE 0000056a: SUB 0000056b: PUSH1 0x20 0000056d: DUP2 0000056e: LT 0000056f: ISZERO 00000570: PUSH2 0x0578 00000573: JUMPI 00000574: PUSH1 0x00 00000576: DUP1 00000577: REVERT 00000578: JUMPDEST 00000579: POP 0000057a: CALLDATALOAD 0000057b: PUSH1 0x01 0000057d: PUSH1 0x01 0000057f: PUSH1 0xa0 00000581: SHL 00000582: SUB 00000583: AND 00000584: PUSH2 0x1a53 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH2 0x03d4 0000058c: PUSH1 0x04 0000058e: DUP1 0000058f: CALLDATASIZE 00000590: SUB 00000591: PUSH1 0x20 00000593: DUP2 00000594: LT 00000595: ISZERO 00000596: PUSH2 0x059e 00000599: JUMPI 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: CALLDATALOAD 000005a1: PUSH1 0x01 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: SHL 000005a8: SUB 000005a9: AND 000005aa: PUSH2 0x1a64 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH2 0x03d4 000005b2: PUSH1 0x04 000005b4: DUP1 000005b5: CALLDATASIZE 000005b6: SUB 000005b7: PUSH1 0x20 000005b9: DUP2 000005ba: LT 000005bb: ISZERO 000005bc: PUSH2 0x05c4 000005bf: JUMPI 000005c0: PUSH1 0x00 000005c2: DUP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: POP 000005c6: CALLDATALOAD 000005c7: PUSH2 0x1a76 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH2 0x041c 000005cf: PUSH2 0x1a8a 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH2 0x03d4 000005d7: PUSH2 0x1aa2 000005da: JUMP 000005db: JUMPDEST 000005dc: PUSH2 0x03d4 000005df: PUSH2 0x1aa7 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH2 0x0609 000005e7: PUSH1 0x04 000005e9: DUP1 000005ea: CALLDATASIZE 000005eb: SUB 000005ec: PUSH1 0x20 000005ee: DUP2 000005ef: LT 000005f0: ISZERO 000005f1: PUSH2 0x05f9 000005f4: JUMPI 000005f5: PUSH1 0x00 000005f7: DUP1 000005f8: REVERT 000005f9: JUMPDEST 000005fa: POP 000005fb: CALLDATALOAD 000005fc: PUSH1 0x01 000005fe: PUSH1 0x01 00000600: PUSH1 0xa0 00000602: SHL 00000603: SUB 00000604: AND 00000605: PUSH2 0x1b10 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH1 0x40 0000060c: DUP1 0000060d: MLOAD 0000060e: SWAP2 0000060f: ISZERO 00000610: ISZERO 00000611: DUP3 00000612: MSTORE 00000613: MLOAD 00000614: SWAP1 00000615: DUP2 00000616: SWAP1 00000617: SUB 00000618: PUSH1 0x20 0000061a: ADD 0000061b: SWAP1 0000061c: RETURN 0000061d: JUMPDEST 0000061e: PUSH2 0x041c 00000621: PUSH1 0x04 00000623: DUP1 00000624: CALLDATASIZE 00000625: SUB 00000626: PUSH1 0x20 00000628: DUP2 00000629: LT 0000062a: ISZERO 0000062b: PUSH2 0x0633 0000062e: JUMPI 0000062f: PUSH1 0x00 00000631: DUP1 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: CALLDATALOAD 00000636: PUSH2 0x1b25 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH2 0x03ac 0000063e: PUSH2 0x1b42 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH2 0x041c 00000646: PUSH2 0x1bd3 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH2 0x041c 0000064e: PUSH2 0x1be2 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x03d4 00000656: PUSH2 0x1bf1 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH2 0x041c 0000065e: PUSH2 0x1bf7 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH2 0x03d4 00000666: PUSH2 0x1c0f 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH2 0x03d4 0000066e: PUSH1 0x04 00000670: DUP1 00000671: CALLDATASIZE 00000672: SUB 00000673: PUSH1 0x20 00000675: DUP2 00000676: LT 00000677: ISZERO 00000678: PUSH2 0x0680 0000067b: JUMPI 0000067c: PUSH1 0x00 0000067e: DUP1 0000067f: REVERT 00000680: JUMPDEST 00000681: POP 00000682: CALLDATALOAD 00000683: PUSH1 0x01 00000685: PUSH1 0x01 00000687: PUSH1 0xa0 00000689: SHL 0000068a: SUB 0000068b: AND 0000068c: PUSH2 0x1c22 0000068f: JUMP 00000690: JUMPDEST 00000691: PUSH2 0x03d4 00000694: PUSH2 0x1c34 00000697: JUMP 00000698: JUMPDEST 00000699: PUSH2 0x041c 0000069c: PUSH2 0x1c3a 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH2 0x0609 000006a4: PUSH2 0x1c49 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH2 0x03d4 000006ac: PUSH1 0x04 000006ae: DUP1 000006af: CALLDATASIZE 000006b0: SUB 000006b1: PUSH1 0x20 000006b3: DUP2 000006b4: LT 000006b5: ISZERO 000006b6: PUSH2 0x06be 000006b9: JUMPI 000006ba: PUSH1 0x00 000006bc: DUP1 000006bd: REVERT 000006be: JUMPDEST 000006bf: POP 000006c0: CALLDATALOAD 000006c1: PUSH1 0x01 000006c3: PUSH1 0x01 000006c5: PUSH1 0xa0 000006c7: SHL 000006c8: SUB 000006c9: AND 000006ca: PUSH2 0x1c6f 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH2 0x03d4 000006d2: PUSH2 0x1cf3 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH2 0x041c 000006da: PUSH2 0x1cf9 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH2 0x041c 000006e2: PUSH2 0x1d08 000006e5: JUMP 000006e6: JUMPDEST 000006e7: PUSH2 0x041c 000006ea: PUSH2 0x1d1b 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH2 0x041c 000006f2: PUSH1 0x04 000006f4: DUP1 000006f5: CALLDATASIZE 000006f6: SUB 000006f7: PUSH1 0x20 000006f9: DUP2 000006fa: LT 000006fb: ISZERO 000006fc: PUSH2 0x0704 000006ff: JUMPI 00000700: PUSH1 0x00 00000702: DUP1 00000703: REVERT 00000704: JUMPDEST 00000705: POP 00000706: CALLDATALOAD 00000707: PUSH1 0x01 00000709: PUSH1 0x01 0000070b: PUSH1 0xa0 0000070d: SHL 0000070e: SUB 0000070f: AND 00000710: PUSH2 0x1d33 00000713: JUMP 00000714: JUMPDEST 00000715: PUSH2 0x041c 00000718: PUSH2 0x1d4d 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH2 0x03d4 00000720: PUSH2 0x1d5c 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH2 0x03d4 00000728: PUSH2 0x1d6a 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH2 0x03d4 00000730: PUSH2 0x1d70 00000733: JUMP 00000734: JUMPDEST 00000735: PUSH2 0x03d4 00000738: PUSH2 0x1dc4 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH2 0x03d4 00000740: PUSH2 0x1dca 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH2 0x03d4 00000748: PUSH1 0x04 0000074a: DUP1 0000074b: CALLDATASIZE 0000074c: SUB 0000074d: PUSH1 0x20 0000074f: DUP2 00000750: LT 00000751: ISZERO 00000752: PUSH2 0x075a 00000755: JUMPI 00000756: PUSH1 0x00 00000758: DUP1 00000759: REVERT 0000075a: JUMPDEST 0000075b: POP 0000075c: CALLDATALOAD 0000075d: PUSH1 0x01 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: SHL 00000764: SUB 00000765: AND 00000766: PUSH2 0x1dd0 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH2 0x03d4 0000076e: PUSH2 0x1deb 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH2 0x03d4 00000776: PUSH1 0x04 00000778: DUP1 00000779: CALLDATASIZE 0000077a: SUB 0000077b: PUSH1 0x20 0000077d: DUP2 0000077e: LT 0000077f: ISZERO 00000780: PUSH2 0x0788 00000783: JUMPI 00000784: PUSH1 0x00 00000786: DUP1 00000787: REVERT 00000788: JUMPDEST 00000789: POP 0000078a: CALLDATALOAD 0000078b: PUSH1 0x01 0000078d: PUSH1 0x01 0000078f: PUSH1 0xa0 00000791: SHL 00000792: SUB 00000793: AND 00000794: PUSH2 0x1df1 00000797: JUMP 00000798: JUMPDEST 00000799: PUSH2 0x03ac 0000079c: PUSH2 0x1e03 0000079f: JUMP 000007a0: JUMPDEST 000007a1: PUSH2 0x03d4 000007a4: PUSH1 0x04 000007a6: DUP1 000007a7: CALLDATASIZE 000007a8: SUB 000007a9: PUSH1 0x20 000007ab: DUP2 000007ac: LT 000007ad: ISZERO 000007ae: PUSH2 0x07b6 000007b1: JUMPI 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: REVERT 000007b6: JUMPDEST 000007b7: POP 000007b8: CALLDATALOAD 000007b9: PUSH1 0x01 000007bb: PUSH1 0x01 000007bd: PUSH1 0xa0 000007bf: SHL 000007c0: SUB 000007c1: AND 000007c2: PUSH2 0x1e78 000007c5: JUMP 000007c6: JUMPDEST 000007c7: PUSH2 0x03d4 000007ca: PUSH2 0x1e8a 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH2 0x03ac 000007d2: PUSH1 0x04 000007d4: DUP1 000007d5: CALLDATASIZE 000007d6: SUB 000007d7: PUSH1 0x20 000007d9: DUP2 000007da: LT 000007db: ISZERO 000007dc: PUSH2 0x07e4 000007df: JUMPI 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: REVERT 000007e4: JUMPDEST 000007e5: POP 000007e6: CALLDATALOAD 000007e7: PUSH1 0x01 000007e9: PUSH1 0x01 000007eb: PUSH1 0xa0 000007ed: SHL 000007ee: SUB 000007ef: AND 000007f0: PUSH2 0x1e90 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH2 0x03ac 000007f8: PUSH1 0x04 000007fa: DUP1 000007fb: CALLDATASIZE 000007fc: SUB 000007fd: PUSH1 0x40 000007ff: DUP2 00000800: LT 00000801: ISZERO 00000802: PUSH2 0x080a 00000805: JUMPI 00000806: PUSH1 0x00 00000808: DUP1 00000809: REVERT 0000080a: JUMPDEST 0000080b: POP 0000080c: PUSH1 0x01 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: SHL 00000813: SUB 00000814: DUP2 00000815: CALLDATALOAD 00000816: AND 00000817: SWAP1 00000818: PUSH1 0x20 0000081a: ADD 0000081b: CALLDATALOAD 0000081c: PUSH2 0x1ee0 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH2 0x03d4 00000824: PUSH1 0x04 00000826: DUP1 00000827: CALLDATASIZE 00000828: SUB 00000829: PUSH1 0x40 0000082b: DUP2 0000082c: LT 0000082d: ISZERO 0000082e: PUSH2 0x0836 00000831: JUMPI 00000832: PUSH1 0x00 00000834: DUP1 00000835: REVERT 00000836: JUMPDEST 00000837: POP 00000838: PUSH1 0x01 0000083a: PUSH1 0x01 0000083c: PUSH1 0xa0 0000083e: SHL 0000083f: SUB 00000840: DUP2 00000841: CALLDATALOAD 00000842: DUP2 00000843: AND 00000844: SWAP2 00000845: PUSH1 0x20 00000847: ADD 00000848: CALLDATALOAD 00000849: AND 0000084a: PUSH2 0x230b 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH2 0x03d4 00000852: PUSH1 0x04 00000854: DUP1 00000855: CALLDATASIZE 00000856: SUB 00000857: PUSH1 0x20 00000859: DUP2 0000085a: LT 0000085b: ISZERO 0000085c: PUSH2 0x0864 0000085f: JUMPI 00000860: PUSH1 0x00 00000862: DUP1 00000863: REVERT 00000864: JUMPDEST 00000865: POP 00000866: CALLDATALOAD 00000867: PUSH1 0x01 00000869: PUSH1 0x01 0000086b: PUSH1 0xa0 0000086d: SHL 0000086e: SUB 0000086f: AND 00000870: PUSH2 0x2336 00000873: JUMP 00000874: JUMPDEST 00000875: PUSH2 0x087c 00000878: PUSH2 0x1c49 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH2 0x08bb 00000880: JUMPI 00000881: PUSH1 0x40 00000883: DUP1 00000884: MLOAD 00000885: PUSH3 0x461bcd 00000889: PUSH1 0xe5 0000088b: SHL 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x20 00000890: PUSH1 0x04 00000892: DUP3 00000893: ADD 00000894: DUP2 00000895: SWAP1 00000896: MSTORE 00000897: PUSH1 0x24 00000899: DUP3 0000089a: ADD 0000089b: MSTORE 0000089c: PUSH1 0x00 0000089e: DUP1 0000089f: MLOAD 000008a0: PUSH1 0x20 000008a2: PUSH2 0x2ba1 000008a5: DUP4 000008a6: CODECOPY 000008a7: DUP2 000008a8: MLOAD 000008a9: SWAP2 000008aa: MSTORE 000008ab: PUSH1 0x44 000008ad: DUP3 000008ae: ADD 000008af: MSTORE 000008b0: SWAP1 000008b1: MLOAD 000008b2: SWAP1 000008b3: DUP2 000008b4: SWAP1 000008b5: SUB 000008b6: PUSH1 0x64 000008b8: ADD 000008b9: SWAP1 000008ba: REVERT 000008bb: JUMPDEST 000008bc: PUSH1 0x05 000008be: DUP1 000008bf: SLOAD 000008c0: PUSH1 0x01 000008c2: PUSH1 0x01 000008c4: PUSH1 0xa0 000008c6: SHL 000008c7: SUB 000008c8: NOT 000008c9: AND 000008ca: PUSH1 0x01 000008cc: PUSH1 0x01 000008ce: PUSH1 0xa0 000008d0: SHL 000008d1: SUB 000008d2: SWAP3 000008d3: SWAP1 000008d4: SWAP3 000008d5: AND 000008d6: SWAP2 000008d7: SWAP1 000008d8: SWAP2 000008d9: OR 000008da: SWAP1 000008db: SSTORE 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x01 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: SHL 000008e5: SUB 000008e6: DUP2 000008e7: AND 000008e8: PUSH1 0x00 000008ea: SWAP1 000008eb: DUP2 000008ec: MSTORE 000008ed: PUSH1 0x14 000008ef: PUSH1 0x20 000008f1: SWAP1 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x40 000008f6: DUP1 000008f7: DUP4 000008f8: KECCAK256 000008f9: SLOAD 000008fa: PUSH1 0x13 000008fc: SWAP1 000008fd: SWAP3 000008fe: MSTORE 000008ff: DUP3 00000900: KECCAK256 00000901: SLOAD 00000902: PUSH2 0x095d 00000905: SWAP2 00000906: SWAP1 00000907: PUSH2 0x0951 0000090a: SWAP1 0000090b: PUSH8 0x0de0b6b3a7640000 00000914: SWAP1 00000915: PUSH2 0x0945 00000918: SWAP1 00000919: PUSH2 0x0930 0000091c: SWAP1 0000091d: PUSH2 0x0924 00000920: PUSH2 0x1d70 00000923: JUMP 00000924: JUMPDEST 00000925: SWAP1 00000926: PUSH4 0xffffffff 0000092b: PUSH2 0x2369 0000092e: AND 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH2 0x0939 00000934: DUP9 00000935: PUSH2 0x1c6f 00000938: JUMP 00000939: JUMPDEST 0000093a: SWAP1 0000093b: PUSH4 0xffffffff 00000940: PUSH2 0x23b2 00000943: AND 00000944: JUMP 00000945: JUMPDEST 00000946: SWAP1 00000947: PUSH4 0xffffffff 0000094c: PUSH2 0x240b 0000094f: AND 00000950: JUMP 00000951: JUMPDEST 00000952: SWAP1 00000953: PUSH4 0xffffffff 00000958: PUSH2 0x244d 0000095b: AND 0000095c: JUMP 0000095d: JUMPDEST 0000095e: SWAP3 0000095f: SWAP2 00000960: POP 00000961: POP 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x0a 00000966: SLOAD 00000967: DUP2 00000968: JUMP 00000969: JUMPDEST 0000096a: PUSH1 0x14 0000096c: PUSH1 0x20 0000096e: MSTORE 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: DUP2 00000973: MSTORE 00000974: PUSH1 0x40 00000976: SWAP1 00000977: KECCAK256 00000978: SLOAD 00000979: DUP2 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH1 0x05 0000097e: SLOAD 0000097f: PUSH1 0x01 00000981: PUSH1 0x01 00000983: PUSH1 0xa0 00000985: SHL 00000986: SUB 00000987: AND 00000988: DUP2 00000989: JUMP 0000098a: JUMPDEST 0000098b: PUSH2 0x0992 0000098e: PUSH2 0x1c49 00000991: JUMP 00000992: JUMPDEST 00000993: PUSH2 0x09d1 00000996: JUMPI 00000997: PUSH1 0x40 00000999: DUP1 0000099a: MLOAD 0000099b: PUSH3 0x461bcd 0000099f: PUSH1 0xe5 000009a1: SHL 000009a2: DUP2 000009a3: MSTORE 000009a4: PUSH1 0x20 000009a6: PUSH1 0x04 000009a8: DUP3 000009a9: ADD 000009aa: DUP2 000009ab: SWAP1 000009ac: MSTORE 000009ad: PUSH1 0x24 000009af: DUP3 000009b0: ADD 000009b1: MSTORE 000009b2: PUSH1 0x00 000009b4: DUP1 000009b5: MLOAD 000009b6: PUSH1 0x20 000009b8: PUSH2 0x2ba1 000009bb: DUP4 000009bc: CODECOPY 000009bd: DUP2 000009be: MLOAD 000009bf: SWAP2 000009c0: MSTORE 000009c1: PUSH1 0x44 000009c3: DUP3 000009c4: ADD 000009c5: MSTORE 000009c6: SWAP1 000009c7: MLOAD 000009c8: SWAP1 000009c9: DUP2 000009ca: SWAP1 000009cb: SUB 000009cc: PUSH1 0x64 000009ce: ADD 000009cf: SWAP1 000009d0: REVERT 000009d1: JUMPDEST 000009d2: PUSH1 0x03 000009d4: DUP1 000009d5: SLOAD 000009d6: PUSH1 0x01 000009d8: PUSH1 0x01 000009da: PUSH1 0xa0 000009dc: SHL 000009dd: SUB 000009de: NOT 000009df: AND 000009e0: PUSH1 0x01 000009e2: PUSH1 0x01 000009e4: PUSH1 0xa0 000009e6: SHL 000009e7: SUB 000009e8: SWAP3 000009e9: SWAP1 000009ea: SWAP3 000009eb: AND 000009ec: SWAP2 000009ed: SWAP1 000009ee: SWAP2 000009ef: OR 000009f0: SWAP1 000009f1: SSTORE 000009f2: JUMP 000009f3: JUMPDEST 000009f4: PUSH1 0x0a 000009f6: DUP2 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH10 0x0d573ca1c3b1c9600000 00000a04: DUP2 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH2 0x0a0e 00000a0a: PUSH2 0x1c49 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH2 0x0a4d 00000a12: JUMPI 00000a13: PUSH1 0x40 00000a15: DUP1 00000a16: MLOAD 00000a17: PUSH3 0x461bcd 00000a1b: PUSH1 0xe5 00000a1d: SHL 00000a1e: DUP2 00000a1f: MSTORE 00000a20: PUSH1 0x20 00000a22: PUSH1 0x04 00000a24: DUP3 00000a25: ADD 00000a26: DUP2 00000a27: SWAP1 00000a28: MSTORE 00000a29: PUSH1 0x24 00000a2b: DUP3 00000a2c: ADD 00000a2d: MSTORE 00000a2e: PUSH1 0x00 00000a30: DUP1 00000a31: MLOAD 00000a32: PUSH1 0x20 00000a34: PUSH2 0x2ba1 00000a37: DUP4 00000a38: CODECOPY 00000a39: DUP2 00000a3a: MLOAD 00000a3b: SWAP2 00000a3c: MSTORE 00000a3d: PUSH1 0x44 00000a3f: DUP3 00000a40: ADD 00000a41: MSTORE 00000a42: SWAP1 00000a43: MLOAD 00000a44: SWAP1 00000a45: DUP2 00000a46: SWAP1 00000a47: SUB 00000a48: PUSH1 0x64 00000a4a: ADD 00000a4b: SWAP1 00000a4c: REVERT 00000a4d: JUMPDEST 00000a4e: PUSH1 0x04 00000a50: DUP1 00000a51: SLOAD 00000a52: PUSH1 0x01 00000a54: PUSH1 0x01 00000a56: PUSH1 0xa0 00000a58: SHL 00000a59: SUB 00000a5a: NOT 00000a5b: AND 00000a5c: PUSH1 0x01 00000a5e: PUSH1 0x01 00000a60: PUSH1 0xa0 00000a62: SHL 00000a63: SUB 00000a64: SWAP3 00000a65: SWAP1 00000a66: SWAP3 00000a67: AND 00000a68: SWAP2 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: OR 00000a6c: SWAP1 00000a6d: SSTORE 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH3 0x093a80 00000a74: DUP2 00000a75: JUMP 00000a76: JUMPDEST 00000a77: PUSH1 0x00 00000a79: PUSH1 0x10 00000a7b: SLOAD 00000a7c: GT 00000a7d: PUSH2 0x0ab7 00000a80: JUMPI 00000a81: PUSH1 0x40 00000a83: MLOAD 00000a84: PUSH3 0x461bcd 00000a88: PUSH1 0xe5 00000a8a: SHL 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x04 00000a8f: ADD 00000a90: DUP1 00000a91: DUP1 00000a92: PUSH1 0x20 00000a94: ADD 00000a95: DUP3 00000a96: DUP2 00000a97: SUB 00000a98: DUP3 00000a99: MSTORE 00000a9a: PUSH1 0x2f 00000a9c: DUP2 00000a9d: MSTORE 00000a9e: PUSH1 0x20 00000aa0: ADD 00000aa1: DUP1 00000aa2: PUSH2 0x2c0c 00000aa5: PUSH1 0x2f 00000aa7: SWAP2 00000aa8: CODECOPY 00000aa9: PUSH1 0x40 00000aab: ADD 00000aac: SWAP2 00000aad: POP 00000aae: POP 00000aaf: PUSH1 0x40 00000ab1: MLOAD 00000ab2: DUP1 00000ab3: SWAP2 00000ab4: SUB 00000ab5: SWAP1 00000ab6: REVERT 00000ab7: JUMPDEST 00000ab8: PUSH1 0x00 00000aba: PUSH2 0x0ac2 00000abd: CALLER 00000abe: PUSH2 0x1a53 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: SWAP1 00000ac4: POP 00000ac5: PUSH1 0x00 00000ac7: DUP2 00000ac8: GT 00000ac9: PUSH2 0x0b19 00000acc: JUMPI 00000acd: PUSH1 0x40 00000acf: DUP1 00000ad0: MLOAD 00000ad1: PUSH3 0x461bcd 00000ad5: PUSH1 0xe5 00000ad7: SHL 00000ad8: DUP2 00000ad9: MSTORE 00000ada: PUSH1 0x20 00000adc: PUSH1 0x04 00000ade: DUP3 00000adf: ADD 00000ae0: MSTORE 00000ae1: PUSH1 0x19 00000ae3: PUSH1 0x24 00000ae5: DUP3 00000ae6: ADD 00000ae7: MSTORE 00000ae8: PUSH32 0x596f752068617665206e6f207645544820746f20636c61696d00000000000000 00000b09: PUSH1 0x44 00000b0b: DUP3 00000b0c: ADD 00000b0d: MSTORE 00000b0e: SWAP1 00000b0f: MLOAD 00000b10: SWAP1 00000b11: DUP2 00000b12: SWAP1 00000b13: SUB 00000b14: PUSH1 0x64 00000b16: ADD 00000b17: SWAP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: CALLER 00000b1b: PUSH1 0x00 00000b1d: SWAP1 00000b1e: DUP2 00000b1f: MSTORE 00000b20: PUSH1 0x15 00000b22: PUSH1 0x20 00000b24: MSTORE 00000b25: PUSH1 0x40 00000b27: SWAP1 00000b28: KECCAK256 00000b29: SLOAD 00000b2a: PUSH1 0xff 00000b2c: AND 00000b2d: ISZERO 00000b2e: PUSH2 0x0b68 00000b31: JUMPI 00000b32: PUSH1 0x40 00000b34: MLOAD 00000b35: PUSH3 0x461bcd 00000b39: PUSH1 0xe5 00000b3b: SHL 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x04 00000b40: ADD 00000b41: DUP1 00000b42: DUP1 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: DUP3 00000b47: DUP2 00000b48: SUB 00000b49: DUP3 00000b4a: MSTORE 00000b4b: PUSH1 0x22 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x20 00000b51: ADD 00000b52: DUP1 00000b53: PUSH2 0x2b3e 00000b56: PUSH1 0x22 00000b58: SWAP2 00000b59: CODECOPY 00000b5a: PUSH1 0x40 00000b5c: ADD 00000b5d: SWAP2 00000b5e: POP 00000b5f: POP 00000b60: PUSH1 0x40 00000b62: MLOAD 00000b63: DUP1 00000b64: SWAP2 00000b65: SUB 00000b66: SWAP1 00000b67: REVERT 00000b68: JUMPDEST 00000b69: CALLER 00000b6a: PUSH1 0x00 00000b6c: DUP2 00000b6d: DUP2 00000b6e: MSTORE 00000b6f: PUSH1 0x15 00000b71: PUSH1 0x20 00000b73: MSTORE 00000b74: PUSH1 0x40 00000b76: SWAP1 00000b77: KECCAK256 00000b78: DUP1 00000b79: SLOAD 00000b7a: PUSH1 0xff 00000b7c: NOT 00000b7d: AND 00000b7e: PUSH1 0x01 00000b80: OR 00000b81: SWAP1 00000b82: SSTORE 00000b83: PUSH1 0x08 00000b85: SLOAD 00000b86: PUSH2 0x0ba2 00000b89: SWAP2 00000b8a: PUSH1 0x01 00000b8c: PUSH1 0x01 00000b8e: PUSH1 0xa0 00000b90: SHL 00000b91: SUB 00000b92: SWAP2 00000b93: SWAP1 00000b94: SWAP2 00000b95: AND 00000b96: SWAP1 00000b97: DUP4 00000b98: PUSH4 0xffffffff 00000b9d: PUSH2 0x24a7 00000ba0: AND 00000ba1: JUMP 00000ba2: JUMPDEST 00000ba3: POP 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x0d 00000ba8: SLOAD 00000ba9: DUP2 00000baa: JUMP 00000bab: JUMPDEST 00000bac: CALLER 00000bad: PUSH2 0x0bb4 00000bb0: PUSH2 0x1d70 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: PUSH1 0x12 00000bb7: SSTORE 00000bb8: PUSH2 0x0bbf 00000bbb: PUSH2 0x1c0f 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x11 00000bc2: SSTORE 00000bc3: PUSH1 0x01 00000bc5: PUSH1 0x01 00000bc7: PUSH1 0xa0 00000bc9: SHL 00000bca: SUB 00000bcb: DUP2 00000bcc: AND 00000bcd: ISZERO 00000bce: PUSH2 0x0c06 00000bd1: JUMPI 00000bd2: PUSH2 0x0bda 00000bd5: DUP2 00000bd6: PUSH2 0x08dd 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x01 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0xa0 00000be1: SHL 00000be2: SUB 00000be3: DUP3 00000be4: AND 00000be5: PUSH1 0x00 00000be7: SWAP1 00000be8: DUP2 00000be9: MSTORE 00000bea: PUSH1 0x14 00000bec: PUSH1 0x20 00000bee: SWAP1 00000bef: DUP2 00000bf0: MSTORE 00000bf1: PUSH1 0x40 00000bf3: DUP1 00000bf4: DUP4 00000bf5: KECCAK256 00000bf6: SWAP4 00000bf7: SWAP1 00000bf8: SWAP4 00000bf9: SSTORE 00000bfa: PUSH1 0x12 00000bfc: SLOAD 00000bfd: PUSH1 0x13 00000bff: SWAP1 00000c00: SWAP2 00000c01: MSTORE 00000c02: SWAP2 00000c03: SWAP1 00000c04: KECCAK256 00000c05: SSTORE 00000c06: JUMPDEST 00000c07: PUSH1 0x0f 00000c09: SLOAD 00000c0a: TIMESTAMP 00000c0b: LT 00000c0c: PUSH2 0x0e9d 00000c0f: JUMPI 00000c10: PUSH10 0x0d573ca1c3b1c9600000 00000c1b: PUSH1 0x0b 00000c1d: SSTORE 00000c1e: PUSH1 0x00 00000c20: PUSH2 0x0c27 00000c23: PUSH2 0x10c6 00000c26: JUMP 00000c27: JUMPDEST 00000c28: SWAP1 00000c29: POP 00000c2a: PUSH2 0x0c47 00000c2d: PUSH1 0x64 00000c2f: PUSH2 0x0945 00000c32: DUP4 00000c33: PUSH2 0xffff 00000c36: AND 00000c37: PUSH1 0x0b 00000c39: SLOAD 00000c3a: PUSH2 0x23b2 00000c3d: SWAP1 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: PUSH4 0xffffffff 00000c45: AND 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH1 0x0c 00000c4a: DUP2 00000c4b: SWAP1 00000c4c: SSTORE 00000c4d: PUSH1 0x0d 00000c4f: SLOAD 00000c50: PUSH10 0x85685e51a4f1ddc00000 00000c5b: SWAP2 00000c5c: PUSH2 0x0c6b 00000c5f: SWAP2 00000c60: SWAP1 00000c61: PUSH4 0xffffffff 00000c66: PUSH2 0x244d 00000c69: AND 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: GT 00000c6d: ISZERO 00000c6e: PUSH2 0x0c93 00000c71: JUMPI 00000c72: PUSH1 0x0d 00000c74: SLOAD 00000c75: PUSH2 0x0c8f 00000c78: SWAP1 00000c79: PUSH10 0x85685e51a4f1ddc00000 00000c84: SWAP1 00000c85: PUSH4 0xffffffff 00000c8a: PUSH2 0x2369 00000c8d: AND 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: PUSH1 0x0c 00000c92: SSTORE 00000c93: JUMPDEST 00000c94: PUSH1 0x0c 00000c96: SLOAD 00000c97: ISZERO 00000c98: PUSH2 0x0e49 00000c9b: JUMPI 00000c9c: PUSH1 0x06 00000c9e: SLOAD 00000c9f: PUSH1 0x0c 00000ca1: SLOAD 00000ca2: PUSH1 0x40 00000ca4: DUP1 00000ca5: MLOAD 00000ca6: PUSH4 0x40c10f19 00000cab: PUSH1 0xe0 00000cad: SHL 00000cae: DUP2 00000caf: MSTORE 00000cb0: ADDRESS 00000cb1: PUSH1 0x04 00000cb3: DUP3 00000cb4: ADD 00000cb5: MSTORE 00000cb6: PUSH1 0x24 00000cb8: DUP2 00000cb9: ADD 00000cba: SWAP3 00000cbb: SWAP1 00000cbc: SWAP3 00000cbd: MSTORE 00000cbe: MLOAD 00000cbf: PUSH1 0x01 00000cc1: PUSH1 0x01 00000cc3: PUSH1 0xa0 00000cc5: SHL 00000cc6: SUB 00000cc7: SWAP1 00000cc8: SWAP3 00000cc9: AND 00000cca: SWAP2 00000ccb: PUSH4 0x40c10f19 00000cd0: SWAP2 00000cd1: PUSH1 0x44 00000cd3: DUP1 00000cd4: DUP3 00000cd5: ADD 00000cd6: SWAP3 00000cd7: PUSH1 0x00 00000cd9: SWAP3 00000cda: SWAP1 00000cdb: SWAP2 00000cdc: SWAP1 00000cdd: DUP3 00000cde: SWAP1 00000cdf: SUB 00000ce0: ADD 00000ce1: DUP2 00000ce2: DUP4 00000ce3: DUP8 00000ce4: DUP1 00000ce5: EXTCODESIZE 00000ce6: ISZERO 00000ce7: DUP1 00000ce8: ISZERO 00000ce9: PUSH2 0x0cf1 00000cec: JUMPI 00000ced: PUSH1 0x00 00000cef: DUP1 00000cf0: REVERT 00000cf1: JUMPDEST 00000cf2: POP 00000cf3: GAS 00000cf4: CALL 00000cf5: ISZERO 00000cf6: DUP1 00000cf7: ISZERO 00000cf8: PUSH2 0x0d05 00000cfb: JUMPI 00000cfc: RETURNDATASIZE 00000cfd: PUSH1 0x00 00000cff: DUP1 00000d00: RETURNDATACOPY 00000d01: RETURNDATASIZE 00000d02: PUSH1 0x00 00000d04: REVERT 00000d05: JUMPDEST 00000d06: POP 00000d07: POP 00000d08: PUSH1 0x07 00000d0a: SLOAD 00000d0b: PUSH1 0x09 00000d0d: SLOAD 00000d0e: PUSH1 0x0c 00000d10: SLOAD 00000d11: PUSH1 0x01 00000d13: PUSH1 0x01 00000d15: PUSH1 0xa0 00000d17: SHL 00000d18: SUB 00000d19: SWAP1 00000d1a: SWAP3 00000d1b: AND 00000d1c: SWAP4 00000d1d: POP 00000d1e: PUSH4 0x40c10f19 00000d23: SWAP3 00000d24: POP 00000d25: ADDRESS 00000d26: SWAP2 00000d27: PUSH2 0x0d35 00000d2a: SWAP2 00000d2b: PUSH4 0xffffffff 00000d30: PUSH2 0x240b 00000d33: AND 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH1 0x40 00000d38: MLOAD 00000d39: DUP4 00000d3a: PUSH4 0xffffffff 00000d3f: AND 00000d40: PUSH1 0xe0 00000d42: SHL 00000d43: DUP2 00000d44: MSTORE 00000d45: PUSH1 0x04 00000d47: ADD 00000d48: DUP1 00000d49: DUP4 00000d4a: PUSH1 0x01 00000d4c: PUSH1 0x01 00000d4e: PUSH1 0xa0 00000d50: SHL 00000d51: SUB 00000d52: AND 00000d53: PUSH1 0x01 00000d55: PUSH1 0x01 00000d57: PUSH1 0xa0 00000d59: SHL 00000d5a: SUB 00000d5b: AND 00000d5c: DUP2 00000d5d: MSTORE 00000d5e: PUSH1 0x20 00000d60: ADD 00000d61: DUP3 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x20 00000d66: ADD 00000d67: SWAP3 00000d68: POP 00000d69: POP 00000d6a: POP 00000d6b: PUSH1 0x00 00000d6d: PUSH1 0x40 00000d6f: MLOAD 00000d70: DUP1 00000d71: DUP4 00000d72: SUB 00000d73: DUP2 00000d74: PUSH1 0x00 00000d76: DUP8 00000d77: DUP1 00000d78: EXTCODESIZE 00000d79: ISZERO 00000d7a: DUP1 00000d7b: ISZERO 00000d7c: PUSH2 0x0d84 00000d7f: JUMPI 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: POP 00000d86: GAS 00000d87: CALL 00000d88: ISZERO 00000d89: DUP1 00000d8a: ISZERO 00000d8b: PUSH2 0x0d98 00000d8e: JUMPI 00000d8f: RETURNDATASIZE 00000d90: PUSH1 0x00 00000d92: DUP1 00000d93: RETURNDATACOPY 00000d94: RETURNDATASIZE 00000d95: PUSH1 0x00 00000d97: REVERT 00000d98: JUMPDEST 00000d99: POP 00000d9a: POP 00000d9b: PUSH1 0x08 00000d9d: SLOAD 00000d9e: PUSH1 0x0a 00000da0: SLOAD 00000da1: PUSH1 0x0c 00000da3: SLOAD 00000da4: PUSH1 0x01 00000da6: PUSH1 0x01 00000da8: PUSH1 0xa0 00000daa: SHL 00000dab: SUB 00000dac: SWAP1 00000dad: SWAP3 00000dae: AND 00000daf: SWAP4 00000db0: POP 00000db1: PUSH4 0x40c10f19 00000db6: SWAP3 00000db7: POP 00000db8: ADDRESS 00000db9: SWAP2 00000dba: PUSH2 0x0dc8 00000dbd: SWAP2 00000dbe: PUSH4 0xffffffff 00000dc3: PUSH2 0x240b 00000dc6: AND 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: PUSH1 0x40 00000dcb: MLOAD 00000dcc: DUP4 00000dcd: PUSH4 0xffffffff 00000dd2: AND 00000dd3: PUSH1 0xe0 00000dd5: SHL 00000dd6: DUP2 00000dd7: MSTORE 00000dd8: PUSH1 0x04 00000dda: ADD 00000ddb: DUP1 00000ddc: DUP4 00000ddd: PUSH1 0x01 00000ddf: PUSH1 0x01 00000de1: PUSH1 0xa0 00000de3: SHL 00000de4: SUB 00000de5: AND 00000de6: PUSH1 0x01 00000de8: PUSH1 0x01 00000dea: PUSH1 0xa0 00000dec: SHL 00000ded: SUB 00000dee: AND 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x20 00000df3: ADD 00000df4: DUP3 00000df5: DUP2 00000df6: MSTORE 00000df7: PUSH1 0x20 00000df9: ADD 00000dfa: SWAP3 00000dfb: POP 00000dfc: POP 00000dfd: POP 00000dfe: PUSH1 0x00 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: DUP1 00000e04: DUP4 00000e05: SUB 00000e06: DUP2 00000e07: PUSH1 0x00 00000e09: DUP8 00000e0a: DUP1 00000e0b: EXTCODESIZE 00000e0c: ISZERO 00000e0d: DUP1 00000e0e: ISZERO 00000e0f: PUSH2 0x0e17 00000e12: JUMPI 00000e13: PUSH1 0x00 00000e15: DUP1 00000e16: REVERT 00000e17: JUMPDEST 00000e18: POP 00000e19: GAS 00000e1a: CALL 00000e1b: ISZERO 00000e1c: DUP1 00000e1d: ISZERO 00000e1e: PUSH2 0x0e2b 00000e21: JUMPI 00000e22: RETURNDATASIZE 00000e23: PUSH1 0x00 00000e25: DUP1 00000e26: RETURNDATACOPY 00000e27: RETURNDATASIZE 00000e28: PUSH1 0x00 00000e2a: REVERT 00000e2b: JUMPDEST 00000e2c: POP 00000e2d: POP 00000e2e: PUSH1 0x0c 00000e30: SLOAD 00000e31: PUSH1 0x0d 00000e33: SLOAD 00000e34: PUSH2 0x0e45 00000e37: SWAP4 00000e38: POP 00000e39: SWAP2 00000e3a: POP 00000e3b: PUSH4 0xffffffff 00000e40: PUSH2 0x244d 00000e43: AND 00000e44: JUMP 00000e45: JUMPDEST 00000e46: PUSH1 0x0d 00000e48: SSTORE 00000e49: JUMPDEST 00000e4a: PUSH1 0x0c 00000e4c: SLOAD 00000e4d: PUSH2 0x0e5f 00000e50: SWAP1 00000e51: PUSH3 0x093a80 00000e55: PUSH4 0xffffffff 00000e5a: PUSH2 0x240b 00000e5d: AND 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH1 0x10 00000e62: SSTORE 00000e63: PUSH2 0x0e75 00000e66: TIMESTAMP 00000e67: PUSH3 0x093a80 00000e6b: PUSH4 0xffffffff 00000e70: PUSH2 0x244d 00000e73: AND 00000e74: JUMP 00000e75: JUMPDEST 00000e76: PUSH1 0x0f 00000e78: SSTORE 00000e79: PUSH1 0x0c 00000e7b: SLOAD 00000e7c: PUSH1 0x40 00000e7e: DUP1 00000e7f: MLOAD 00000e80: SWAP2 00000e81: DUP3 00000e82: MSTORE 00000e83: MLOAD 00000e84: PUSH1 0x00 00000e86: DUP1 00000e87: MLOAD 00000e88: PUSH1 0x20 00000e8a: PUSH2 0x2b60 00000e8d: DUP4 00000e8e: CODECOPY 00000e8f: DUP2 00000e90: MLOAD 00000e91: SWAP2 00000e92: MSTORE 00000e93: SWAP2 00000e94: DUP2 00000e95: SWAP1 00000e96: SUB 00000e97: PUSH1 0x20 00000e99: ADD 00000e9a: SWAP1 00000e9b: LOG1 00000e9c: POP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x0e 00000ea0: SLOAD 00000ea1: TIMESTAMP 00000ea2: GT 00000ea3: PUSH2 0x0edf 00000ea6: JUMPI 00000ea7: PUSH1 0x40 00000ea9: DUP1 00000eaa: MLOAD 00000eab: PUSH3 0x461bcd 00000eaf: PUSH1 0xe5 00000eb1: SHL 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x20 00000eb6: PUSH1 0x04 00000eb8: DUP3 00000eb9: ADD 00000eba: MSTORE 00000ebb: PUSH1 0x09 00000ebd: PUSH1 0x24 00000ebf: DUP3 00000ec0: ADD 00000ec1: MSTORE 00000ec2: PUSH9 0x1b9bdd081cdd185c9d 00000ecc: PUSH1 0xba 00000ece: SHL 00000ecf: PUSH1 0x44 00000ed1: DUP3 00000ed2: ADD 00000ed3: MSTORE 00000ed4: SWAP1 00000ed5: MLOAD 00000ed6: SWAP1 00000ed7: DUP2 00000ed8: SWAP1 00000ed9: SUB 00000eda: PUSH1 0x64 00000edc: ADD 00000edd: SWAP1 00000ede: REVERT 00000edf: JUMPDEST 00000ee0: PUSH1 0x00 00000ee2: DUP4 00000ee3: GT 00000ee4: PUSH2 0x0f25 00000ee7: JUMPI 00000ee8: PUSH1 0x40 00000eea: DUP1 00000eeb: MLOAD 00000eec: PUSH3 0x461bcd 00000ef0: PUSH1 0xe5 00000ef2: SHL 00000ef3: DUP2 00000ef4: MSTORE 00000ef5: PUSH1 0x20 00000ef7: PUSH1 0x04 00000ef9: DUP3 00000efa: ADD 00000efb: MSTORE 00000efc: PUSH1 0x0e 00000efe: PUSH1 0x24 00000f00: DUP3 00000f01: ADD 00000f02: MSTORE 00000f03: PUSH14 0x043616e6e6f74207374616b65203 00000f12: PUSH1 0x94 00000f14: SHL 00000f15: PUSH1 0x44 00000f17: DUP3 00000f18: ADD 00000f19: MSTORE 00000f1a: SWAP1 00000f1b: MLOAD 00000f1c: SWAP1 00000f1d: DUP2 00000f1e: SWAP1 00000f1f: SUB 00000f20: PUSH1 0x64 00000f22: ADD 00000f23: SWAP1 00000f24: REVERT 00000f25: JUMPDEST 00000f26: PUSH1 0x01 00000f28: PUSH1 0x01 00000f2a: PUSH1 0xa0 00000f2c: SHL 00000f2d: SUB 00000f2e: DUP5 00000f2f: AND 00000f30: PUSH1 0x00 00000f32: SWAP1 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x1f 00000f37: PUSH1 0x20 00000f39: MSTORE 00000f3a: PUSH1 0x40 00000f3c: SWAP1 00000f3d: KECCAK256 00000f3e: SLOAD 00000f3f: PUSH2 0x0f84 00000f42: JUMPI 00000f43: PUSH1 0x40 00000f45: DUP1 00000f46: MLOAD 00000f47: PUSH3 0x461bcd 00000f4b: PUSH1 0xe5 00000f4d: SHL 00000f4e: DUP2 00000f4f: MSTORE 00000f50: PUSH1 0x20 00000f52: PUSH1 0x04 00000f54: DUP3 00000f55: ADD 00000f56: MSTORE 00000f57: PUSH1 0x12 00000f59: PUSH1 0x24 00000f5b: DUP3 00000f5c: ADD 00000f5d: MSTORE 00000f5e: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7 00000f71: PUSH1 0x71 00000f73: SHL 00000f74: PUSH1 0x44 00000f76: DUP3 00000f77: ADD 00000f78: MSTORE 00000f79: SWAP1 00000f7a: MLOAD 00000f7b: SWAP1 00000f7c: DUP2 00000f7d: SWAP1 00000f7e: SUB 00000f7f: PUSH1 0x64 00000f81: ADD 00000f82: SWAP1 00000f83: REVERT 00000f84: JUMPDEST 00000f85: PUSH1 0x01 00000f87: PUSH1 0x01 00000f89: PUSH1 0xa0 00000f8b: SHL 00000f8c: SUB 00000f8d: DUP3 00000f8e: AND 00000f8f: CALLER 00000f90: EQ 00000f91: ISZERO 00000f92: PUSH2 0x0fe2 00000f95: JUMPI 00000f96: PUSH1 0x40 00000f98: DUP1 00000f99: MLOAD 00000f9a: PUSH3 0x461bcd 00000f9e: PUSH1 0xe5 00000fa0: SHL 00000fa1: DUP2 00000fa2: MSTORE 00000fa3: PUSH1 0x20 00000fa5: PUSH1 0x04 00000fa7: DUP3 00000fa8: ADD 00000fa9: MSTORE 00000faa: PUSH1 0x1a 00000fac: PUSH1 0x24 00000fae: DUP3 00000faf: ADD 00000fb0: MSTORE 00000fb1: PUSH32 0x596f752063616e6e6f7420726566657220796f757273656c662e000000000000 00000fd2: PUSH1 0x44 00000fd4: DUP3 00000fd5: ADD 00000fd6: MSTORE 00000fd7: SWAP1 00000fd8: MLOAD 00000fd9: SWAP1 00000fda: DUP2 00000fdb: SWAP1 00000fdc: SUB 00000fdd: PUSH1 0x64 00000fdf: ADD 00000fe0: SWAP1 00000fe1: REVERT 00000fe2: JUMPDEST 00000fe3: PUSH2 0x0fec 00000fe6: DUP5 00000fe7: DUP5 00000fe8: PUSH2 0x24fe 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x40 00000fef: DUP1 00000ff0: MLOAD 00000ff1: DUP5 00000ff2: DUP2 00000ff3: MSTORE 00000ff4: SWAP1 00000ff5: MLOAD 00000ff6: PUSH1 0x01 00000ff8: PUSH1 0x01 00000ffa: PUSH1 0xa0 00000ffc: SHL 00000ffd: SUB 00000ffe: DUP7 00000fff: AND 00001000: SWAP2 00001001: CALLER 00001002: SWAP2 00001003: PUSH32 0x5dac0c1b1112564a045ba943c9d50270893e8e826c49be8e7073adc713ab7bd7 00001024: SWAP2 00001025: DUP2 00001026: SWAP1 00001027: SUB 00001028: PUSH1 0x20 0000102a: ADD 0000102b: SWAP1 0000102c: LOG3 0000102d: PUSH1 0x05 0000102f: SLOAD 00001030: PUSH1 0x01 00001032: PUSH1 0x01 00001034: PUSH1 0xa0 00001036: SHL 00001037: SUB 00001038: AND 00001039: ISZERO 0000103a: DUP1 0000103b: ISZERO 0000103c: SWAP1 0000103d: PUSH2 0x104e 00001040: JUMPI 00001041: POP 00001042: PUSH1 0x01 00001044: PUSH1 0x01 00001046: PUSH1 0xa0 00001048: SHL 00001049: SUB 0000104a: DUP3 0000104b: AND 0000104c: ISZERO 0000104d: ISZERO 0000104e: JUMPDEST 0000104f: ISZERO 00001050: PUSH2 0x10c0 00001053: JUMPI 00001054: PUSH1 0x05 00001056: SLOAD 00001057: PUSH1 0x40 00001059: DUP1 0000105a: MLOAD 0000105b: PUSH4 0xbbddaca3 00001060: PUSH1 0xe0 00001062: SHL 00001063: DUP2 00001064: MSTORE 00001065: CALLER 00001066: PUSH1 0x04 00001068: DUP3 00001069: ADD 0000106a: MSTORE 0000106b: PUSH1 0x01 0000106d: PUSH1 0x01 0000106f: PUSH1 0xa0 00001071: SHL 00001072: SUB 00001073: DUP6 00001074: DUP2 00001075: AND 00001076: PUSH1 0x24 00001078: DUP4 00001079: ADD 0000107a: MSTORE 0000107b: SWAP2 0000107c: MLOAD 0000107d: SWAP2 0000107e: SWAP1 0000107f: SWAP3 00001080: AND 00001081: SWAP2 00001082: PUSH4 0xbbddaca3 00001087: SWAP2 00001088: PUSH1 0x44 0000108a: DUP1 0000108b: DUP4 0000108c: ADD 0000108d: SWAP3 0000108e: PUSH1 0x00 00001090: SWAP3 00001091: SWAP2 00001092: SWAP1 00001093: DUP3 00001094: SWAP1 00001095: SUB 00001096: ADD 00001097: DUP2 00001098: DUP4 00001099: DUP8 0000109a: DUP1 0000109b: EXTCODESIZE 0000109c: ISZERO 0000109d: DUP1 0000109e: ISZERO 0000109f: PUSH2 0x10a7 000010a2: JUMPI 000010a3: PUSH1 0x00 000010a5: DUP1 000010a6: REVERT 000010a7: JUMPDEST 000010a8: POP 000010a9: GAS 000010aa: CALL 000010ab: ISZERO 000010ac: DUP1 000010ad: ISZERO 000010ae: PUSH2 0x10bb 000010b1: JUMPI 000010b2: RETURNDATASIZE 000010b3: PUSH1 0x00 000010b5: DUP1 000010b6: RETURNDATACOPY 000010b7: RETURNDATASIZE 000010b8: PUSH1 0x00 000010ba: REVERT 000010bb: JUMPDEST 000010bc: POP 000010bd: POP 000010be: POP 000010bf: POP 000010c0: JUMPDEST 000010c1: POP 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x04 000010c9: SLOAD 000010ca: PUSH1 0x00 000010cc: SWAP1 000010cd: PUSH1 0x01 000010cf: PUSH1 0x01 000010d1: PUSH1 0xa0 000010d3: SHL 000010d4: SUB 000010d5: AND 000010d6: ISZERO 000010d7: PUSH2 0x1175 000010da: JUMPI 000010db: PUSH1 0x04 000010dd: DUP1 000010de: SLOAD 000010df: PUSH1 0x0f 000010e1: SLOAD 000010e2: PUSH1 0x40 000010e4: DUP1 000010e5: MLOAD 000010e6: PUSH4 0x97ec0ffd 000010eb: PUSH1 0xe0 000010ed: SHL 000010ee: DUP2 000010ef: MSTORE 000010f0: ADDRESS 000010f1: SWAP5 000010f2: DUP2 000010f3: ADD 000010f4: SWAP5 000010f5: SWAP1 000010f6: SWAP5 000010f7: MSTORE 000010f8: PUSH1 0x24 000010fa: DUP5 000010fb: ADD 000010fc: SWAP2 000010fd: SWAP1 000010fe: SWAP2 000010ff: MSTORE 00001100: MLOAD 00001101: PUSH1 0x00 00001103: SWAP3 00001104: PUSH1 0x01 00001106: PUSH1 0x01 00001108: PUSH1 0xa0 0000110a: SHL 0000110b: SUB 0000110c: SWAP1 0000110d: SWAP3 0000110e: AND 0000110f: SWAP2 00001110: PUSH4 0x97ec0ffd 00001115: SWAP2 00001116: PUSH1 0x44 00001118: DUP1 00001119: DUP4 0000111a: ADD 0000111b: SWAP3 0000111c: PUSH1 0x20 0000111e: SWAP3 0000111f: SWAP2 00001120: SWAP1 00001121: DUP3 00001122: SWAP1 00001123: SUB 00001124: ADD 00001125: DUP2 00001126: DUP7 00001127: DUP1 00001128: EXTCODESIZE 00001129: ISZERO 0000112a: DUP1 0000112b: ISZERO 0000112c: PUSH2 0x1134 0000112f: JUMPI 00001130: PUSH1 0x00 00001132: DUP1 00001133: REVERT 00001134: JUMPDEST 00001135: POP 00001136: GAS 00001137: STATICCALL 00001138: ISZERO 00001139: DUP1 0000113a: ISZERO 0000113b: PUSH2 0x1148 0000113e: JUMPI 0000113f: RETURNDATASIZE 00001140: PUSH1 0x00 00001142: DUP1 00001143: RETURNDATACOPY 00001144: RETURNDATASIZE 00001145: PUSH1 0x00 00001147: REVERT 00001148: JUMPDEST 00001149: POP 0000114a: POP 0000114b: POP 0000114c: POP 0000114d: PUSH1 0x40 0000114f: MLOAD 00001150: RETURNDATASIZE 00001151: PUSH1 0x20 00001153: DUP2 00001154: LT 00001155: ISZERO 00001156: PUSH2 0x115e 00001159: JUMPI 0000115a: PUSH1 0x00 0000115c: DUP1 0000115d: REVERT 0000115e: JUMPDEST 0000115f: POP 00001160: MLOAD 00001161: SWAP1 00001162: POP 00001163: PUSH2 0xffff 00001166: DUP2 00001167: AND 00001168: ISZERO 00001169: PUSH2 0x1173 0000116c: JUMPI 0000116d: SWAP1 0000116e: POP 0000116f: PUSH2 0x1179 00001172: JUMP 00001173: JUMPDEST 00001174: POP 00001175: JUMPDEST 00001176: POP 00001177: PUSH1 0x64 00001179: JUMPDEST 0000117a: SWAP1 0000117b: JUMP 0000117c: JUMPDEST 0000117d: PUSH1 0x00 0000117f: PUSH2 0x095d 00001182: PUSH1 0x09 00001184: SLOAD 00001185: PUSH2 0x0945 00001188: DUP5 00001189: PUSH2 0x08dd 0000118c: JUMP 0000118d: JUMPDEST 0000118e: PUSH1 0x03 00001190: SLOAD 00001191: PUSH1 0x01 00001193: PUSH1 0x01 00001195: PUSH1 0xa0 00001197: SHL 00001198: SUB 00001199: AND 0000119a: PUSH2 0x11a1 0000119d: PUSH2 0x2638 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH1 0x01 000011a4: PUSH1 0x01 000011a6: PUSH1 0xa0 000011a8: SHL 000011a9: SUB 000011aa: AND 000011ab: EQ 000011ac: PUSH2 0x11e6 000011af: JUMPI 000011b0: PUSH1 0x40 000011b2: MLOAD 000011b3: PUSH3 0x461bcd 000011b7: PUSH1 0xe5 000011b9: SHL 000011ba: DUP2 000011bb: MSTORE 000011bc: PUSH1 0x04 000011be: ADD 000011bf: DUP1 000011c0: DUP1 000011c1: PUSH1 0x20 000011c3: ADD 000011c4: DUP3 000011c5: DUP2 000011c6: SUB 000011c7: DUP3 000011c8: MSTORE 000011c9: PUSH1 0x21 000011cb: DUP2 000011cc: MSTORE 000011cd: PUSH1 0x20 000011cf: ADD 000011d0: DUP1 000011d1: PUSH2 0x2bc1 000011d4: PUSH1 0x21 000011d6: SWAP2 000011d7: CODECOPY 000011d8: PUSH1 0x40 000011da: ADD 000011db: SWAP2 000011dc: POP 000011dd: POP 000011de: PUSH1 0x40 000011e0: MLOAD 000011e1: DUP1 000011e2: SWAP2 000011e3: SUB 000011e4: SWAP1 000011e5: REVERT 000011e6: JUMPDEST 000011e7: PUSH1 0x00 000011e9: PUSH2 0x11f0 000011ec: PUSH2 0x1d70 000011ef: JUMP 000011f0: JUMPDEST 000011f1: PUSH1 0x12 000011f3: SSTORE 000011f4: PUSH2 0x11fb 000011f7: PUSH2 0x1c0f 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH1 0x11 000011fe: SSTORE 000011ff: PUSH1 0x01 00001201: PUSH1 0x01 00001203: PUSH1 0xa0 00001205: SHL 00001206: SUB 00001207: DUP2 00001208: AND 00001209: ISZERO 0000120a: PUSH2 0x1242 0000120d: JUMPI 0000120e: PUSH2 0x1216 00001211: DUP2 00001212: PUSH2 0x08dd 00001215: JUMP 00001216: JUMPDEST 00001217: PUSH1 0x01 00001219: PUSH1 0x01 0000121b: PUSH1 0xa0 0000121d: SHL 0000121e: SUB 0000121f: DUP3 00001220: AND 00001221: PUSH1 0x00 00001223: SWAP1 00001224: DUP2 00001225: MSTORE 00001226: PUSH1 0x14 00001228: PUSH1 0x20 0000122a: SWAP1 0000122b: DUP2 0000122c: MSTORE 0000122d: PUSH1 0x40 0000122f: DUP1 00001230: DUP4 00001231: KECCAK256 00001232: SWAP4 00001233: SWAP1 00001234: SWAP4 00001235: SSTORE 00001236: PUSH1 0x12 00001238: SLOAD 00001239: PUSH1 0x13 0000123b: SWAP1 0000123c: SWAP2 0000123d: MSTORE 0000123e: SWAP2 0000123f: SWAP1 00001240: KECCAK256 00001241: SSTORE 00001242: JUMPDEST 00001243: PUSH1 0x0f 00001245: SLOAD 00001246: TIMESTAMP 00001247: LT 00001248: PUSH2 0x1266 0000124b: JUMPI 0000124c: PUSH2 0x125e 0000124f: DUP3 00001250: PUSH3 0x093a80 00001254: PUSH4 0xffffffff 00001259: PUSH2 0x240b 0000125c: AND 0000125d: JUMP 0000125e: JUMPDEST 0000125f: PUSH1 0x10 00001261: SSTORE 00001262: PUSH2 0x12b4 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x0f 00001269: SLOAD 0000126a: PUSH1 0x00 0000126c: SWAP1 0000126d: PUSH2 0x127c 00001270: SWAP1 00001271: TIMESTAMP 00001272: PUSH4 0xffffffff 00001277: PUSH2 0x2369 0000127a: AND 0000127b: JUMP 0000127c: JUMPDEST 0000127d: SWAP1 0000127e: POP 0000127f: PUSH1 0x00 00001281: PUSH2 0x1295 00001284: PUSH1 0x10 00001286: SLOAD 00001287: DUP4 00001288: PUSH2 0x23b2 0000128b: SWAP1 0000128c: SWAP2 0000128d: SWAP1 0000128e: PUSH4 0xffffffff 00001293: AND 00001294: JUMP 00001295: JUMPDEST 00001296: SWAP1 00001297: POP 00001298: PUSH2 0x12ae 0000129b: PUSH3 0x093a80 0000129f: PUSH2 0x0945 000012a2: DUP7 000012a3: DUP5 000012a4: PUSH4 0xffffffff 000012a9: PUSH2 0x244d 000012ac: AND 000012ad: JUMP 000012ae: JUMPDEST 000012af: PUSH1 0x10 000012b1: SSTORE 000012b2: POP 000012b3: POP 000012b4: JUMPDEST 000012b5: PUSH1 0x06 000012b7: SLOAD 000012b8: PUSH1 0x40 000012ba: DUP1 000012bb: MLOAD 000012bc: PUSH4 0x40c10f19 000012c1: PUSH1 0xe0 000012c3: SHL 000012c4: DUP2 000012c5: MSTORE 000012c6: ADDRESS 000012c7: PUSH1 0x04 000012c9: DUP3 000012ca: ADD 000012cb: MSTORE 000012cc: PUSH1 0x24 000012ce: DUP2 000012cf: ADD 000012d0: DUP6 000012d1: SWAP1 000012d2: MSTORE 000012d3: SWAP1 000012d4: MLOAD 000012d5: PUSH1 0x01 000012d7: PUSH1 0x01 000012d9: PUSH1 0xa0 000012db: SHL 000012dc: SUB 000012dd: SWAP1 000012de: SWAP3 000012df: AND 000012e0: SWAP2 000012e1: PUSH4 0x40c10f19 000012e6: SWAP2 000012e7: PUSH1 0x44 000012e9: DUP1 000012ea: DUP3 000012eb: ADD 000012ec: SWAP3 000012ed: PUSH1 0x00 000012ef: SWAP3 000012f0: SWAP1 000012f1: SWAP2 000012f2: SWAP1 000012f3: DUP3 000012f4: SWAP1 000012f5: SUB 000012f6: ADD 000012f7: DUP2 000012f8: DUP4 000012f9: DUP8 000012fa: DUP1 000012fb: EXTCODESIZE 000012fc: ISZERO 000012fd: DUP1 000012fe: ISZERO 000012ff: PUSH2 0x1307 00001302: JUMPI 00001303: PUSH1 0x00 00001305: DUP1 00001306: REVERT 00001307: JUMPDEST 00001308: POP 00001309: GAS 0000130a: CALL 0000130b: ISZERO 0000130c: DUP1 0000130d: ISZERO 0000130e: PUSH2 0x131b 00001311: JUMPI 00001312: RETURNDATASIZE 00001313: PUSH1 0x00 00001315: DUP1 00001316: RETURNDATACOPY 00001317: RETURNDATASIZE 00001318: PUSH1 0x00 0000131a: REVERT 0000131b: JUMPDEST 0000131c: POP 0000131d: POP 0000131e: PUSH1 0x07 00001320: SLOAD 00001321: PUSH1 0x09 00001323: SLOAD 00001324: PUSH1 0x01 00001326: PUSH1 0x01 00001328: PUSH1 0xa0 0000132a: SHL 0000132b: SUB 0000132c: SWAP1 0000132d: SWAP2 0000132e: AND 0000132f: SWAP3 00001330: POP 00001331: PUSH4 0x40c10f19 00001336: SWAP2 00001337: POP 00001338: ADDRESS 00001339: SWAP1 0000133a: PUSH2 0x134a 0000133d: SWAP1 0000133e: DUP7 0000133f: SWAP1 00001340: PUSH4 0xffffffff 00001345: PUSH2 0x240b 00001348: AND 00001349: JUMP 0000134a: JUMPDEST 0000134b: PUSH1 0x40 0000134d: MLOAD 0000134e: DUP4 0000134f: PUSH4 0xffffffff 00001354: AND 00001355: PUSH1 0xe0 00001357: SHL 00001358: DUP2 00001359: MSTORE 0000135a: PUSH1 0x04 0000135c: ADD 0000135d: DUP1 0000135e: DUP4 0000135f: PUSH1 0x01 00001361: PUSH1 0x01 00001363: PUSH1 0xa0 00001365: SHL 00001366: SUB 00001367: AND 00001368: PUSH1 0x01 0000136a: PUSH1 0x01 0000136c: PUSH1 0xa0 0000136e: SHL 0000136f: SUB 00001370: AND 00001371: DUP2 00001372: MSTORE 00001373: PUSH1 0x20 00001375: ADD 00001376: DUP3 00001377: DUP2 00001378: MSTORE 00001379: PUSH1 0x20 0000137b: ADD 0000137c: SWAP3 0000137d: POP 0000137e: POP 0000137f: POP 00001380: PUSH1 0x00 00001382: PUSH1 0x40 00001384: MLOAD 00001385: DUP1 00001386: DUP4 00001387: SUB 00001388: DUP2 00001389: PUSH1 0x00 0000138b: DUP8 0000138c: DUP1 0000138d: EXTCODESIZE 0000138e: ISZERO 0000138f: DUP1 00001390: ISZERO 00001391: PUSH2 0x1399 00001394: JUMPI 00001395: PUSH1 0x00 00001397: DUP1 00001398: REVERT 00001399: JUMPDEST 0000139a: POP 0000139b: GAS 0000139c: CALL 0000139d: ISZERO 0000139e: DUP1 0000139f: ISZERO 000013a0: PUSH2 0x13ad 000013a3: JUMPI 000013a4: RETURNDATASIZE 000013a5: PUSH1 0x00 000013a7: DUP1 000013a8: RETURNDATACOPY 000013a9: RETURNDATASIZE 000013aa: PUSH1 0x00 000013ac: REVERT 000013ad: JUMPDEST 000013ae: POP 000013af: POP 000013b0: PUSH1 0x08 000013b2: SLOAD 000013b3: PUSH1 0x0a 000013b5: SLOAD 000013b6: PUSH1 0x01 000013b8: PUSH1 0x01 000013ba: PUSH1 0xa0 000013bc: SHL 000013bd: SUB 000013be: SWAP1 000013bf: SWAP2 000013c0: AND 000013c1: SWAP3 000013c2: POP 000013c3: PUSH4 0x40c10f19 000013c8: SWAP2 000013c9: POP 000013ca: ADDRESS 000013cb: SWAP1 000013cc: PUSH2 0x13dc 000013cf: SWAP1 000013d0: DUP7 000013d1: SWAP1 000013d2: PUSH4 0xffffffff 000013d7: PUSH2 0x240b 000013da: AND 000013db: JUMP 000013dc: JUMPDEST 000013dd: PUSH1 0x40 000013df: MLOAD 000013e0: DUP4 000013e1: PUSH4 0xffffffff 000013e6: AND 000013e7: PUSH1 0xe0 000013e9: SHL 000013ea: DUP2 000013eb: MSTORE 000013ec: PUSH1 0x04 000013ee: ADD 000013ef: DUP1 000013f0: DUP4 000013f1: PUSH1 0x01 000013f3: PUSH1 0x01 000013f5: PUSH1 0xa0 000013f7: SHL 000013f8: SUB 000013f9: AND 000013fa: PUSH1 0x01 000013fc: PUSH1 0x01 000013fe: PUSH1 0xa0 00001400: SHL 00001401: SUB 00001402: AND 00001403: DUP2 00001404: MSTORE 00001405: PUSH1 0x20 00001407: ADD 00001408: DUP3 00001409: DUP2 0000140a: MSTORE 0000140b: PUSH1 0x20 0000140d: ADD 0000140e: SWAP3 0000140f: POP 00001410: POP 00001411: POP 00001412: PUSH1 0x00 00001414: PUSH1 0x40 00001416: MLOAD 00001417: DUP1 00001418: DUP4 00001419: SUB 0000141a: DUP2 0000141b: PUSH1 0x00 0000141d: DUP8 0000141e: DUP1 0000141f: EXTCODESIZE 00001420: ISZERO 00001421: DUP1 00001422: ISZERO 00001423: PUSH2 0x142b 00001426: JUMPI 00001427: PUSH1 0x00 00001429: DUP1 0000142a: REVERT 0000142b: JUMPDEST 0000142c: POP 0000142d: GAS 0000142e: CALL 0000142f: ISZERO 00001430: DUP1 00001431: ISZERO 00001432: PUSH2 0x143f 00001435: JUMPI 00001436: RETURNDATASIZE 00001437: PUSH1 0x00 00001439: DUP1 0000143a: RETURNDATACOPY 0000143b: RETURNDATASIZE 0000143c: PUSH1 0x00 0000143e: REVERT 0000143f: JUMPDEST 00001440: POP 00001441: POP 00001442: TIMESTAMP 00001443: PUSH1 0x11 00001445: DUP2 00001446: SWAP1 00001447: SSTORE 00001448: PUSH2 0x145d 0000144b: SWAP3 0000144c: POP 0000144d: SWAP1 0000144e: POP 0000144f: PUSH3 0x093a80 00001453: PUSH4 0xffffffff 00001458: PUSH2 0x244d 0000145b: AND 0000145c: JUMP 0000145d: JUMPDEST 0000145e: PUSH1 0x0f 00001460: SSTORE 00001461: PUSH1 0x40 00001463: DUP1 00001464: MLOAD 00001465: DUP4 00001466: DUP2 00001467: MSTORE 00001468: SWAP1 00001469: MLOAD 0000146a: PUSH1 0x00 0000146c: DUP1 0000146d: MLOAD 0000146e: PUSH1 0x20 00001470: PUSH2 0x2b60 00001473: DUP4 00001474: CODECOPY 00001475: DUP2 00001476: MLOAD 00001477: SWAP2 00001478: MSTORE 00001479: SWAP2 0000147a: DUP2 0000147b: SWAP1 0000147c: SUB 0000147d: PUSH1 0x20 0000147f: ADD 00001480: SWAP1 00001481: LOG1 00001482: POP 00001483: POP 00001484: JUMP 00001485: JUMPDEST 00001486: CALLER 00001487: PUSH2 0x148e 0000148a: PUSH2 0x1d70 0000148d: JUMP 0000148e: JUMPDEST 0000148f: PUSH1 0x12 00001491: SSTORE 00001492: PUSH2 0x1499 00001495: PUSH2 0x1c0f 00001498: JUMP 00001499: JUMPDEST 0000149a: PUSH1 0x11 0000149c: SSTORE 0000149d: PUSH1 0x01 0000149f: PUSH1 0x01 000014a1: PUSH1 0xa0 000014a3: SHL 000014a4: SUB 000014a5: DUP2 000014a6: AND 000014a7: ISZERO 000014a8: PUSH2 0x14e0 000014ab: JUMPI 000014ac: PUSH2 0x14b4 000014af: DUP2 000014b0: PUSH2 0x08dd 000014b3: JUMP 000014b4: JUMPDEST 000014b5: PUSH1 0x01 000014b7: PUSH1 0x01 000014b9: PUSH1 0xa0 000014bb: SHL 000014bc: SUB 000014bd: DUP3 000014be: AND 000014bf: PUSH1 0x00 000014c1: SWAP1 000014c2: DUP2 000014c3: MSTORE 000014c4: PUSH1 0x14 000014c6: PUSH1 0x20 000014c8: SWAP1 000014c9: DUP2 000014ca: MSTORE 000014cb: PUSH1 0x40 000014cd: DUP1 000014ce: DUP4 000014cf: KECCAK256 000014d0: SWAP4 000014d1: SWAP1 000014d2: SWAP4 000014d3: SSTORE 000014d4: PUSH1 0x12 000014d6: SLOAD 000014d7: PUSH1 0x13 000014d9: SWAP1 000014da: SWAP2 000014db: MSTORE 000014dc: SWAP2 000014dd: SWAP1 000014de: KECCAK256 000014df: SSTORE 000014e0: JUMPDEST 000014e1: PUSH1 0x0f 000014e3: SLOAD 000014e4: TIMESTAMP 000014e5: LT 000014e6: PUSH2 0x1777 000014e9: JUMPI 000014ea: PUSH10 0x0d573ca1c3b1c9600000 000014f5: PUSH1 0x0b 000014f7: SSTORE 000014f8: PUSH1 0x00 000014fa: PUSH2 0x1501 000014fd: PUSH2 0x10c6 00001500: JUMP 00001501: JUMPDEST 00001502: SWAP1 00001503: POP 00001504: PUSH2 0x1521 00001507: PUSH1 0x64 00001509: PUSH2 0x0945 0000150c: DUP4 0000150d: PUSH2 0xffff 00001510: AND 00001511: PUSH1 0x0b 00001513: SLOAD 00001514: PUSH2 0x23b2 00001517: SWAP1 00001518: SWAP2 00001519: SWAP1 0000151a: PUSH4 0xffffffff 0000151f: AND 00001520: JUMP 00001521: JUMPDEST 00001522: PUSH1 0x0c 00001524: DUP2 00001525: SWAP1 00001526: SSTORE 00001527: PUSH1 0x0d 00001529: SLOAD 0000152a: PUSH10 0x85685e51a4f1ddc00000 00001535: SWAP2 00001536: PUSH2 0x1545 00001539: SWAP2 0000153a: SWAP1 0000153b: PUSH4 0xffffffff 00001540: PUSH2 0x244d 00001543: AND 00001544: JUMP 00001545: JUMPDEST 00001546: GT 00001547: ISZERO 00001548: PUSH2 0x156d 0000154b: JUMPI 0000154c: PUSH1 0x0d 0000154e: SLOAD 0000154f: PUSH2 0x1569 00001552: SWAP1 00001553: PUSH10 0x85685e51a4f1ddc00000 0000155e: SWAP1 0000155f: PUSH4 0xffffffff 00001564: PUSH2 0x2369 00001567: AND 00001568: JUMP 00001569: JUMPDEST 0000156a: PUSH1 0x0c 0000156c: SSTORE 0000156d: JUMPDEST 0000156e: PUSH1 0x0c 00001570: SLOAD 00001571: ISZERO 00001572: PUSH2 0x1723 00001575: JUMPI 00001576: PUSH1 0x06 00001578: SLOAD 00001579: PUSH1 0x0c 0000157b: SLOAD 0000157c: PUSH1 0x40 0000157e: DUP1 0000157f: MLOAD 00001580: PUSH4 0x40c10f19 00001585: PUSH1 0xe0 00001587: SHL 00001588: DUP2 00001589: MSTORE 0000158a: ADDRESS 0000158b: PUSH1 0x04 0000158d: DUP3 0000158e: ADD 0000158f: MSTORE 00001590: PUSH1 0x24 00001592: DUP2 00001593: ADD 00001594: SWAP3 00001595: SWAP1 00001596: SWAP3 00001597: MSTORE 00001598: MLOAD 00001599: PUSH1 0x01 0000159b: PUSH1 0x01 0000159d: PUSH1 0xa0 0000159f: SHL 000015a0: SUB 000015a1: SWAP1 000015a2: SWAP3 000015a3: AND 000015a4: SWAP2 000015a5: PUSH4 0x40c10f19 000015aa: SWAP2 000015ab: PUSH1 0x44 000015ad: DUP1 000015ae: DUP3 000015af: ADD 000015b0: SWAP3 000015b1: PUSH1 0x00 000015b3: SWAP3 000015b4: SWAP1 000015b5: SWAP2 000015b6: SWAP1 000015b7: DUP3 000015b8: SWAP1 000015b9: SUB 000015ba: ADD 000015bb: DUP2 000015bc: DUP4 000015bd: DUP8 000015be: DUP1 000015bf: EXTCODESIZE 000015c0: ISZERO 000015c1: DUP1 000015c2: ISZERO 000015c3: PUSH2 0x15cb 000015c6: JUMPI 000015c7: PUSH1 0x00 000015c9: DUP1 000015ca: REVERT 000015cb: JUMPDEST 000015cc: POP 000015cd: GAS 000015ce: CALL 000015cf: ISZERO 000015d0: DUP1 000015d1: ISZERO 000015d2: PUSH2 0x15df 000015d5: JUMPI 000015d6: RETURNDATASIZE 000015d7: PUSH1 0x00 000015d9: DUP1 000015da: RETURNDATACOPY 000015db: RETURNDATASIZE 000015dc: PUSH1 0x00 000015de: REVERT 000015df: JUMPDEST 000015e0: POP 000015e1: POP 000015e2: PUSH1 0x07 000015e4: SLOAD 000015e5: PUSH1 0x09 000015e7: SLOAD 000015e8: PUSH1 0x0c 000015ea: SLOAD 000015eb: PUSH1 0x01 000015ed: PUSH1 0x01 000015ef: PUSH1 0xa0 000015f1: SHL 000015f2: SUB 000015f3: SWAP1 000015f4: SWAP3 000015f5: AND 000015f6: SWAP4 000015f7: POP 000015f8: PUSH4 0x40c10f19 000015fd: SWAP3 000015fe: POP 000015ff: ADDRESS 00001600: SWAP2 00001601: PUSH2 0x160f 00001604: SWAP2 00001605: PUSH4 0xffffffff 0000160a: PUSH2 0x240b 0000160d: AND 0000160e: JUMP 0000160f: JUMPDEST 00001610: PUSH1 0x40 00001612: MLOAD 00001613: DUP4 00001614: PUSH4 0xffffffff 00001619: AND 0000161a: PUSH1 0xe0 0000161c: SHL 0000161d: DUP2 0000161e: MSTORE 0000161f: PUSH1 0x04 00001621: ADD 00001622: DUP1 00001623: DUP4 00001624: PUSH1 0x01 00001626: PUSH1 0x01 00001628: PUSH1 0xa0 0000162a: SHL 0000162b: SUB 0000162c: AND 0000162d: PUSH1 0x01 0000162f: PUSH1 0x01 00001631: PUSH1 0xa0 00001633: SHL 00001634: SUB 00001635: AND 00001636: DUP2 00001637: MSTORE 00001638: PUSH1 0x20 0000163a: ADD 0000163b: DUP3 0000163c: DUP2 0000163d: MSTORE 0000163e: PUSH1 0x20 00001640: ADD 00001641: SWAP3 00001642: POP 00001643: POP 00001644: POP 00001645: PUSH1 0x00 00001647: PUSH1 0x40 00001649: MLOAD 0000164a: DUP1 0000164b: DUP4 0000164c: SUB 0000164d: DUP2 0000164e: PUSH1 0x00 00001650: DUP8 00001651: DUP1 00001652: EXTCODESIZE 00001653: ISZERO 00001654: DUP1 00001655: ISZERO 00001656: PUSH2 0x165e 00001659: JUMPI 0000165a: PUSH1 0x00 0000165c: DUP1 0000165d: REVERT 0000165e: JUMPDEST 0000165f: POP 00001660: GAS 00001661: CALL 00001662: ISZERO 00001663: DUP1 00001664: ISZERO 00001665: PUSH2 0x1672 00001668: JUMPI 00001669: RETURNDATASIZE 0000166a: PUSH1 0x00 0000166c: DUP1 0000166d: RETURNDATACOPY 0000166e: RETURNDATASIZE 0000166f: PUSH1 0x00 00001671: REVERT 00001672: JUMPDEST 00001673: POP 00001674: POP 00001675: PUSH1 0x08 00001677: SLOAD 00001678: PUSH1 0x0a 0000167a: SLOAD 0000167b: PUSH1 0x0c 0000167d: SLOAD 0000167e: PUSH1 0x01 00001680: PUSH1 0x01 00001682: PUSH1 0xa0 00001684: SHL 00001685: SUB 00001686: SWAP1 00001687: SWAP3 00001688: AND 00001689: SWAP4 0000168a: POP 0000168b: PUSH4 0x40c10f19 00001690: SWAP3 00001691: POP 00001692: ADDRESS 00001693: SWAP2 00001694: PUSH2 0x16a2 00001697: SWAP2 00001698: PUSH4 0xffffffff 0000169d: PUSH2 0x240b 000016a0: AND 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH1 0x40 000016a5: MLOAD 000016a6: DUP4 000016a7: PUSH4 0xffffffff 000016ac: AND 000016ad: PUSH1 0xe0 000016af: SHL 000016b0: DUP2 000016b1: MSTORE 000016b2: PUSH1 0x04 000016b4: ADD 000016b5: DUP1 000016b6: DUP4 000016b7: PUSH1 0x01 000016b9: PUSH1 0x01 000016bb: PUSH1 0xa0 000016bd: SHL 000016be: SUB 000016bf: AND 000016c0: PUSH1 0x01 000016c2: PUSH1 0x01 000016c4: PUSH1 0xa0 000016c6: SHL 000016c7: SUB 000016c8: AND 000016c9: DUP2 000016ca: MSTORE 000016cb: PUSH1 0x20 000016cd: ADD 000016ce: DUP3 000016cf: DUP2 000016d0: MSTORE 000016d1: PUSH1 0x20 000016d3: ADD 000016d4: SWAP3 000016d5: POP 000016d6: POP 000016d7: POP 000016d8: PUSH1 0x00 000016da: PUSH1 0x40 000016dc: MLOAD 000016dd: DUP1 000016de: DUP4 000016df: SUB 000016e0: DUP2 000016e1: PUSH1 0x00 000016e3: DUP8 000016e4: DUP1 000016e5: EXTCODESIZE 000016e6: ISZERO 000016e7: DUP1 000016e8: ISZERO 000016e9: PUSH2 0x16f1 000016ec: JUMPI 000016ed: PUSH1 0x00 000016ef: DUP1 000016f0: REVERT 000016f1: JUMPDEST 000016f2: POP 000016f3: GAS 000016f4: CALL 000016f5: ISZERO 000016f6: DUP1 000016f7: ISZERO 000016f8: PUSH2 0x1705 000016fb: JUMPI 000016fc: RETURNDATASIZE 000016fd: PUSH1 0x00 000016ff: DUP1 00001700: RETURNDATACOPY 00001701: RETURNDATASIZE 00001702: PUSH1 0x00 00001704: REVERT 00001705: JUMPDEST 00001706: POP 00001707: POP 00001708: PUSH1 0x0c 0000170a: SLOAD 0000170b: PUSH1 0x0d 0000170d: SLOAD 0000170e: PUSH2 0x171f 00001711: SWAP4 00001712: POP 00001713: SWAP2 00001714: POP 00001715: PUSH4 0xffffffff 0000171a: PUSH2 0x244d 0000171d: AND 0000171e: JUMP 0000171f: JUMPDEST 00001720: PUSH1 0x0d 00001722: SSTORE 00001723: JUMPDEST 00001724: PUSH1 0x0c 00001726: SLOAD 00001727: PUSH2 0x1739 0000172a: SWAP1 0000172b: PUSH3 0x093a80 0000172f: PUSH4 0xffffffff 00001734: PUSH2 0x240b 00001737: AND 00001738: JUMP 00001739: JUMPDEST 0000173a: PUSH1 0x10 0000173c: SSTORE 0000173d: PUSH2 0x174f 00001740: TIMESTAMP 00001741: PUSH3 0x093a80 00001745: PUSH4 0xffffffff 0000174a: PUSH2 0x244d 0000174d: AND 0000174e: JUMP 0000174f: JUMPDEST 00001750: PUSH1 0x0f 00001752: SSTORE 00001753: PUSH1 0x0c 00001755: SLOAD 00001756: PUSH1 0x40 00001758: DUP1 00001759: MLOAD 0000175a: SWAP2 0000175b: DUP3 0000175c: MSTORE 0000175d: MLOAD 0000175e: PUSH1 0x00 00001760: DUP1 00001761: MLOAD 00001762: PUSH1 0x20 00001764: PUSH2 0x2b60 00001767: DUP4 00001768: CODECOPY 00001769: DUP2 0000176a: MLOAD 0000176b: SWAP2 0000176c: MSTORE 0000176d: SWAP2 0000176e: DUP2 0000176f: SWAP1 00001770: SUB 00001771: PUSH1 0x20 00001773: ADD 00001774: SWAP1 00001775: LOG1 00001776: POP 00001777: JUMPDEST 00001778: PUSH1 0x0e 0000177a: SLOAD 0000177b: TIMESTAMP 0000177c: GT 0000177d: PUSH2 0x17b9 00001780: JUMPI 00001781: PUSH1 0x40 00001783: DUP1 00001784: MLOAD 00001785: PUSH3 0x461bcd 00001789: PUSH1 0xe5 0000178b: SHL 0000178c: DUP2 0000178d: MSTORE 0000178e: PUSH1 0x20 00001790: PUSH1 0x04 00001792: DUP3 00001793: ADD 00001794: MSTORE 00001795: PUSH1 0x09 00001797: PUSH1 0x24 00001799: DUP3 0000179a: ADD 0000179b: MSTORE 0000179c: PUSH9 0x1b9bdd081cdd185c9d 000017a6: PUSH1 0xba 000017a8: SHL 000017a9: PUSH1 0x44 000017ab: DUP3 000017ac: ADD 000017ad: MSTORE 000017ae: SWAP1 000017af: MLOAD 000017b0: SWAP1 000017b1: DUP2 000017b2: SWAP1 000017b3: SUB 000017b4: PUSH1 0x64 000017b6: ADD 000017b7: SWAP1 000017b8: REVERT 000017b9: JUMPDEST 000017ba: PUSH1 0x00 000017bc: PUSH2 0x17c4 000017bf: CALLER 000017c0: PUSH2 0x08dd 000017c3: JUMP 000017c4: JUMPDEST 000017c5: SWAP1 000017c6: POP 000017c7: PUSH1 0x01 000017c9: DUP2 000017ca: GT 000017cb: ISZERO 000017cc: PUSH2 0x1a4f 000017cf: JUMPI 000017d0: CALLER 000017d1: PUSH1 0x00 000017d3: SWAP1 000017d4: DUP2 000017d5: MSTORE 000017d6: PUSH1 0x14 000017d8: PUSH1 0x20 000017da: SWAP1 000017db: DUP2 000017dc: MSTORE 000017dd: PUSH1 0x40 000017df: DUP1 000017e0: DUP4 000017e1: KECCAK256 000017e2: SLOAD 000017e3: PUSH1 0x16 000017e5: SWAP1 000017e6: SWAP3 000017e7: MSTORE 000017e8: SWAP1 000017e9: SWAP2 000017ea: KECCAK256 000017eb: SLOAD 000017ec: PUSH2 0x17fa 000017ef: SWAP2 000017f0: PUSH4 0xffffffff 000017f5: PUSH2 0x244d 000017f8: AND 000017f9: JUMP 000017fa: JUMPDEST 000017fb: CALLER 000017fc: PUSH1 0x00 000017fe: SWAP1 000017ff: DUP2 00001800: MSTORE 00001801: PUSH1 0x16 00001803: PUSH1 0x20 00001805: SWAP1 00001806: DUP2 00001807: MSTORE 00001808: PUSH1 0x40 0000180a: DUP1 0000180b: DUP4 0000180c: KECCAK256 0000180d: SWAP4 0000180e: SWAP1 0000180f: SWAP4 00001810: SSTORE 00001811: PUSH1 0x14 00001813: SWAP1 00001814: MSTORE 00001815: SWAP1 00001816: DUP2 00001817: KECCAK256 00001818: DUP2 00001819: SWAP1 0000181a: SSTORE 0000181b: PUSH2 0x1830 0000181e: PUSH1 0x64 00001820: PUSH2 0x0945 00001823: DUP5 00001824: PUSH1 0x63 00001826: PUSH4 0xffffffff 0000182b: PUSH2 0x23b2 0000182e: AND 0000182f: JUMP 00001830: JUMPDEST 00001831: PUSH1 0x06 00001833: SLOAD 00001834: SWAP1 00001835: SWAP2 00001836: POP 00001837: DUP2 00001838: DUP4 00001839: SUB 0000183a: SWAP1 0000183b: PUSH2 0x1854 0000183e: SWAP1 0000183f: PUSH1 0x01 00001841: PUSH1 0x01 00001843: PUSH1 0xa0 00001845: SHL 00001846: SUB 00001847: AND 00001848: CALLER 00001849: DUP5 0000184a: PUSH4 0xffffffff 0000184f: PUSH2 0x24a7 00001852: AND 00001853: JUMP 00001854: JUMPDEST 00001855: PUSH1 0x40 00001857: DUP1 00001858: MLOAD 00001859: DUP4 0000185a: DUP2 0000185b: MSTORE 0000185c: SWAP1 0000185d: MLOAD 0000185e: CALLER 0000185f: SWAP2 00001860: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00001881: SWAP2 00001882: SWAP1 00001883: DUP2 00001884: SWAP1 00001885: SUB 00001886: PUSH1 0x20 00001888: ADD 00001889: SWAP1 0000188a: LOG2 0000188b: PUSH1 0x05 0000188d: SLOAD 0000188e: PUSH1 0x00 00001890: SWAP1 00001891: PUSH1 0x01 00001893: PUSH1 0x01 00001895: PUSH1 0xa0 00001897: SHL 00001898: SUB 00001899: AND 0000189a: ISZERO 0000189b: PUSH2 0x1918 0000189e: JUMPI 0000189f: PUSH1 0x05 000018a1: SLOAD 000018a2: PUSH1 0x40 000018a4: DUP1 000018a5: MLOAD 000018a6: PUSH4 0x4a9fefc7 000018ab: PUSH1 0xe0 000018ad: SHL 000018ae: DUP2 000018af: MSTORE 000018b0: CALLER 000018b1: PUSH1 0x04 000018b3: DUP3 000018b4: ADD 000018b5: MSTORE 000018b6: SWAP1 000018b7: MLOAD 000018b8: PUSH1 0x01 000018ba: PUSH1 0x01 000018bc: PUSH1 0xa0 000018be: SHL 000018bf: SUB 000018c0: SWAP1 000018c1: SWAP3 000018c2: AND 000018c3: SWAP2 000018c4: PUSH4 0x4a9fefc7 000018c9: SWAP2 000018ca: PUSH1 0x24 000018cc: DUP1 000018cd: DUP3 000018ce: ADD 000018cf: SWAP3 000018d0: PUSH1 0x20 000018d2: SWAP3 000018d3: SWAP1 000018d4: SWAP2 000018d5: SWAP1 000018d6: DUP3 000018d7: SWAP1 000018d8: SUB 000018d9: ADD 000018da: DUP2 000018db: DUP7 000018dc: DUP1 000018dd: EXTCODESIZE 000018de: ISZERO 000018df: DUP1 000018e0: ISZERO 000018e1: PUSH2 0x18e9 000018e4: JUMPI 000018e5: PUSH1 0x00 000018e7: DUP1 000018e8: REVERT 000018e9: JUMPDEST 000018ea: POP 000018eb: GAS 000018ec: STATICCALL 000018ed: ISZERO 000018ee: DUP1 000018ef: ISZERO 000018f0: PUSH2 0x18fd 000018f3: JUMPI 000018f4: RETURNDATASIZE 000018f5: PUSH1 0x00 000018f7: DUP1 000018f8: RETURNDATACOPY 000018f9: RETURNDATASIZE 000018fa: PUSH1 0x00 000018fc: REVERT 000018fd: JUMPDEST 000018fe: POP 000018ff: POP 00001900: POP 00001901: POP 00001902: PUSH1 0x40 00001904: MLOAD 00001905: RETURNDATASIZE 00001906: PUSH1 0x20 00001908: DUP2 00001909: LT 0000190a: ISZERO 0000190b: PUSH2 0x1913 0000190e: JUMPI 0000190f: PUSH1 0x00 00001911: DUP1 00001912: REVERT 00001913: JUMPDEST 00001914: POP 00001915: MLOAD 00001916: SWAP1 00001917: POP 00001918: JUMPDEST 00001919: PUSH1 0x01 0000191b: PUSH1 0x01 0000191d: PUSH1 0xa0 0000191f: SHL 00001920: SUB 00001921: DUP2 00001922: AND 00001923: ISZERO 00001924: PUSH2 0x197f 00001927: JUMPI 00001928: PUSH1 0x06 0000192a: SLOAD 0000192b: PUSH2 0x1944 0000192e: SWAP1 0000192f: PUSH1 0x01 00001931: PUSH1 0x01 00001933: PUSH1 0xa0 00001935: SHL 00001936: SUB 00001937: AND 00001938: DUP3 00001939: DUP5 0000193a: PUSH4 0xffffffff 0000193f: PUSH2 0x24a7 00001942: AND 00001943: JUMP 00001944: JUMPDEST 00001945: PUSH1 0x40 00001947: DUP1 00001948: MLOAD 00001949: DUP4 0000194a: DUP2 0000194b: MSTORE 0000194c: SWAP1 0000194d: MLOAD 0000194e: CALLER 0000194f: SWAP2 00001950: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00001971: SWAP2 00001972: SWAP1 00001973: DUP2 00001974: SWAP1 00001975: SUB 00001976: PUSH1 0x20 00001978: ADD 00001979: SWAP1 0000197a: LOG2 0000197b: PUSH2 0x1a19 0000197e: JUMP 0000197f: JUMPDEST 00001980: PUSH1 0x06 00001982: SLOAD 00001983: PUSH1 0x40 00001985: DUP1 00001986: MLOAD 00001987: PUSH4 0x0852cd8d 0000198c: PUSH1 0xe3 0000198e: SHL 0000198f: DUP2 00001990: MSTORE 00001991: PUSH1 0x04 00001993: DUP2 00001994: ADD 00001995: DUP6 00001996: SWAP1 00001997: MSTORE 00001998: SWAP1 00001999: MLOAD 0000199a: PUSH1 0x01 0000199c: PUSH1 0x01 0000199e: PUSH1 0xa0 000019a0: SHL 000019a1: SUB 000019a2: SWAP1 000019a3: SWAP3 000019a4: AND 000019a5: SWAP2 000019a6: PUSH4 0x42966c68 000019ab: SWAP2 000019ac: PUSH1 0x24 000019ae: DUP1 000019af: DUP3 000019b0: ADD 000019b1: SWAP3 000019b2: PUSH1 0x00 000019b4: SWAP3 000019b5: SWAP1 000019b6: SWAP2 000019b7: SWAP1 000019b8: DUP3 000019b9: SWAP1 000019ba: SUB 000019bb: ADD 000019bc: DUP2 000019bd: DUP4 000019be: DUP8 000019bf: DUP1 000019c0: EXTCODESIZE 000019c1: ISZERO 000019c2: DUP1 000019c3: ISZERO 000019c4: PUSH2 0x19cc 000019c7: JUMPI 000019c8: PUSH1 0x00 000019ca: DUP1 000019cb: REVERT 000019cc: JUMPDEST 000019cd: POP 000019ce: GAS 000019cf: CALL 000019d0: ISZERO 000019d1: DUP1 000019d2: ISZERO 000019d3: PUSH2 0x19e0 000019d6: JUMPI 000019d7: RETURNDATASIZE 000019d8: PUSH1 0x00 000019da: DUP1 000019db: RETURNDATACOPY 000019dc: RETURNDATASIZE 000019dd: PUSH1 0x00 000019df: REVERT 000019e0: JUMPDEST 000019e1: POP 000019e2: POP 000019e3: PUSH1 0x40 000019e5: DUP1 000019e6: MLOAD 000019e7: DUP6 000019e8: DUP2 000019e9: MSTORE 000019ea: SWAP1 000019eb: MLOAD 000019ec: PUSH32 0xd83c63197e8e676d80ab0122beba9a9d20f3828839e9a1d6fe81d242e9cd7e6e 00001a0d: SWAP4 00001a0e: POP 00001a0f: SWAP1 00001a10: DUP2 00001a11: SWAP1 00001a12: SUB 00001a13: PUSH1 0x20 00001a15: ADD 00001a16: SWAP2 00001a17: POP 00001a18: LOG1 00001a19: JUMPDEST 00001a1a: PUSH2 0x1a4b 00001a1d: CALLER 00001a1e: PUSH2 0x1a32 00001a21: PUSH1 0x09 00001a23: SLOAD 00001a24: DUP8 00001a25: PUSH2 0x240b 00001a28: SWAP1 00001a29: SWAP2 00001a2a: SWAP1 00001a2b: PUSH4 0xffffffff 00001a30: AND 00001a31: JUMP 00001a32: JUMPDEST 00001a33: PUSH1 0x07 00001a35: SLOAD 00001a36: PUSH1 0x01 00001a38: PUSH1 0x01 00001a3a: PUSH1 0xa0 00001a3c: SHL 00001a3d: SUB 00001a3e: AND 00001a3f: SWAP2 00001a40: SWAP1 00001a41: PUSH4 0xffffffff 00001a46: PUSH2 0x24a7 00001a49: AND 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: POP 00001a4d: POP 00001a4e: POP 00001a4f: JUMPDEST 00001a50: POP 00001a51: POP 00001a52: JUMP 00001a53: JUMPDEST 00001a54: PUSH1 0x00 00001a56: PUSH2 0x095d 00001a59: PUSH1 0x0a 00001a5b: SLOAD 00001a5c: PUSH2 0x0945 00001a5f: DUP5 00001a60: PUSH2 0x2336 00001a63: JUMP 00001a64: JUMPDEST 00001a65: PUSH1 0x21 00001a67: PUSH1 0x20 00001a69: MSTORE 00001a6a: PUSH1 0x00 00001a6c: SWAP1 00001a6d: DUP2 00001a6e: MSTORE 00001a6f: PUSH1 0x40 00001a71: SWAP1 00001a72: KECCAK256 00001a73: SLOAD 00001a74: DUP2 00001a75: JUMP 00001a76: JUMPDEST 00001a77: PUSH1 0x1b 00001a79: DUP2 00001a7a: PUSH1 0x04 00001a7c: DUP2 00001a7d: LT 00001a7e: PUSH2 0x1a83 00001a81: JUMPI 00001a82: INVALID 00001a83: JUMPDEST 00001a84: ADD 00001a85: SLOAD 00001a86: SWAP1 00001a87: POP 00001a88: DUP2 00001a89: JUMP 00001a8a: JUMPDEST 00001a8b: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7 00001aa0: DUP2 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: PUSH1 0x01 00001aa5: DUP2 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: PUSH1 0x00 00001aaa: DUP1 00001aab: DUP1 00001aac: JUMPDEST 00001aad: PUSH1 0x04 00001aaf: DUP2 00001ab0: PUSH1 0xff 00001ab2: AND 00001ab3: LT 00001ab4: ISZERO 00001ab5: PUSH2 0x1b0a 00001ab8: JUMPI 00001ab9: PUSH2 0x1b00 00001abc: PUSH2 0x1af3 00001abf: PUSH1 0x1b 00001ac1: DUP4 00001ac2: PUSH1 0xff 00001ac4: AND 00001ac5: PUSH1 0x04 00001ac7: DUP2 00001ac8: LT 00001ac9: PUSH2 0x1ace 00001acc: JUMPI 00001acd: INVALID 00001ace: JUMPDEST 00001acf: ADD 00001ad0: SLOAD 00001ad1: PUSH2 0x0939 00001ad4: PUSH1 0x17 00001ad6: DUP6 00001ad7: PUSH1 0xff 00001ad9: AND 00001ada: PUSH1 0x04 00001adc: DUP2 00001add: LT 00001ade: PUSH2 0x1ae3 00001ae1: JUMPI 00001ae2: INVALID 00001ae3: JUMPDEST 00001ae4: ADD 00001ae5: SLOAD 00001ae6: PUSH1 0x01 00001ae8: PUSH1 0x01 00001aea: PUSH1 0xa0 00001aec: SHL 00001aed: SUB 00001aee: AND 00001aef: PUSH2 0x1dd0 00001af2: JUMP 00001af3: JUMPDEST 00001af4: DUP4 00001af5: SWAP1 00001af6: PUSH4 0xffffffff 00001afb: PUSH2 0x244d 00001afe: AND 00001aff: JUMP 00001b00: JUMPDEST 00001b01: SWAP2 00001b02: POP 00001b03: PUSH1 0x01 00001b05: ADD 00001b06: PUSH2 0x1aac 00001b09: JUMP 00001b0a: JUMPDEST 00001b0b: POP 00001b0c: SWAP1 00001b0d: POP 00001b0e: SWAP1 00001b0f: JUMP 00001b10: JUMPDEST 00001b11: PUSH1 0x15 00001b13: PUSH1 0x20 00001b15: MSTORE 00001b16: PUSH1 0x00 00001b18: SWAP1 00001b19: DUP2 00001b1a: MSTORE 00001b1b: PUSH1 0x40 00001b1d: SWAP1 00001b1e: KECCAK256 00001b1f: SLOAD 00001b20: PUSH1 0xff 00001b22: AND 00001b23: DUP2 00001b24: JUMP 00001b25: JUMPDEST 00001b26: PUSH1 0x17 00001b28: DUP2 00001b29: PUSH1 0x04 00001b2b: DUP2 00001b2c: LT 00001b2d: PUSH2 0x1b32 00001b30: JUMPI 00001b31: INVALID 00001b32: JUMPDEST 00001b33: ADD 00001b34: SLOAD 00001b35: PUSH1 0x01 00001b37: PUSH1 0x01 00001b39: PUSH1 0xa0 00001b3b: SHL 00001b3c: SUB 00001b3d: AND 00001b3e: SWAP1 00001b3f: POP 00001b40: DUP2 00001b41: JUMP 00001b42: JUMPDEST 00001b43: PUSH2 0x1b4a 00001b46: PUSH2 0x1c49 00001b49: JUMP 00001b4a: JUMPDEST 00001b4b: PUSH2 0x1b89 00001b4e: JUMPI 00001b4f: PUSH1 0x40 00001b51: DUP1 00001b52: MLOAD 00001b53: PUSH3 0x461bcd 00001b57: PUSH1 0xe5 00001b59: SHL 00001b5a: DUP2 00001b5b: MSTORE 00001b5c: PUSH1 0x20 00001b5e: PUSH1 0x04 00001b60: DUP3 00001b61: ADD 00001b62: DUP2 00001b63: SWAP1 00001b64: MSTORE 00001b65: PUSH1 0x24 00001b67: DUP3 00001b68: ADD 00001b69: MSTORE 00001b6a: PUSH1 0x00 00001b6c: DUP1 00001b6d: MLOAD 00001b6e: PUSH1 0x20 00001b70: PUSH2 0x2ba1 00001b73: DUP4 00001b74: CODECOPY 00001b75: DUP2 00001b76: MLOAD 00001b77: SWAP2 00001b78: MSTORE 00001b79: PUSH1 0x44 00001b7b: DUP3 00001b7c: ADD 00001b7d: MSTORE 00001b7e: SWAP1 00001b7f: MLOAD 00001b80: SWAP1 00001b81: DUP2 00001b82: SWAP1 00001b83: SUB 00001b84: PUSH1 0x64 00001b86: ADD 00001b87: SWAP1 00001b88: REVERT 00001b89: JUMPDEST 00001b8a: PUSH1 0x02 00001b8c: SLOAD 00001b8d: PUSH1 0x40 00001b8f: MLOAD 00001b90: PUSH1 0x00 00001b92: SWAP2 00001b93: PUSH1 0x01 00001b95: PUSH1 0x01 00001b97: PUSH1 0xa0 00001b99: SHL 00001b9a: SUB 00001b9b: AND 00001b9c: SWAP1 00001b9d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001bbe: SWAP1 00001bbf: DUP4 00001bc0: SWAP1 00001bc1: LOG3 00001bc2: PUSH1 0x02 00001bc4: DUP1 00001bc5: SLOAD 00001bc6: PUSH1 0x01 00001bc8: PUSH1 0x01 00001bca: PUSH1 0xa0 00001bcc: SHL 00001bcd: SUB 00001bce: NOT 00001bcf: AND 00001bd0: SWAP1 00001bd1: SSTORE 00001bd2: JUMP 00001bd3: JUMPDEST 00001bd4: PUSH1 0x06 00001bd6: SLOAD 00001bd7: PUSH1 0x01 00001bd9: PUSH1 0x01 00001bdb: PUSH1 0xa0 00001bdd: SHL 00001bde: SUB 00001bdf: AND 00001be0: DUP2 00001be1: JUMP 00001be2: JUMPDEST 00001be3: PUSH1 0x08 00001be5: SLOAD 00001be6: PUSH1 0x01 00001be8: PUSH1 0x01 00001bea: PUSH1 0xa0 00001bec: SHL 00001bed: SUB 00001bee: AND 00001bef: DUP2 00001bf0: JUMP 00001bf1: JUMPDEST 00001bf2: PUSH1 0x10 00001bf4: SLOAD 00001bf5: DUP2 00001bf6: JUMP 00001bf7: JUMPDEST 00001bf8: PUSH20 0x6b175474e89094c44da98b954eedeac495271d0f 00001c0d: DUP2 00001c0e: JUMP 00001c0f: JUMPDEST 00001c10: PUSH1 0x00 00001c12: PUSH2 0x1c1d 00001c15: TIMESTAMP 00001c16: PUSH1 0x0f 00001c18: SLOAD 00001c19: PUSH2 0x263c 00001c1c: JUMP 00001c1d: JUMPDEST 00001c1e: SWAP1 00001c1f: POP 00001c20: SWAP1 00001c21: JUMP 00001c22: JUMPDEST 00001c23: PUSH1 0x13 00001c25: PUSH1 0x20 00001c27: MSTORE 00001c28: PUSH1 0x00 00001c2a: SWAP1 00001c2b: DUP2 00001c2c: MSTORE 00001c2d: PUSH1 0x40 00001c2f: SWAP1 00001c30: KECCAK256 00001c31: SLOAD 00001c32: DUP2 00001c33: JUMP 00001c34: JUMPDEST 00001c35: PUSH1 0x0e 00001c37: SLOAD 00001c38: DUP2 00001c39: JUMP 00001c3a: JUMPDEST 00001c3b: PUSH1 0x02 00001c3d: SLOAD 00001c3e: PUSH1 0x01 00001c40: PUSH1 0x01 00001c42: PUSH1 0xa0 00001c44: SHL 00001c45: SUB 00001c46: AND 00001c47: SWAP1 00001c48: JUMP 00001c49: JUMPDEST 00001c4a: PUSH1 0x02 00001c4c: SLOAD 00001c4d: PUSH1 0x00 00001c4f: SWAP1 00001c50: PUSH1 0x01 00001c52: PUSH1 0x01 00001c54: PUSH1 0xa0 00001c56: SHL 00001c57: SUB 00001c58: AND 00001c59: PUSH2 0x1c60 00001c5c: PUSH2 0x2638 00001c5f: JUMP 00001c60: JUMPDEST 00001c61: PUSH1 0x01 00001c63: PUSH1 0x01 00001c65: PUSH1 0xa0 00001c67: SHL 00001c68: SUB 00001c69: AND 00001c6a: EQ 00001c6b: SWAP1 00001c6c: POP 00001c6d: SWAP1 00001c6e: JUMP 00001c6f: JUMPDEST 00001c70: PUSH1 0x00 00001c72: DUP1 00001c73: DUP1 00001c74: JUMPDEST 00001c75: PUSH1 0x04 00001c77: DUP2 00001c78: PUSH1 0xff 00001c7a: AND 00001c7b: LT 00001c7c: ISZERO 00001c7d: PUSH2 0x1cec 00001c80: JUMPI 00001c81: PUSH1 0x00 00001c83: PUSH2 0x1ca6 00001c86: PUSH1 0x17 00001c88: DUP4 00001c89: PUSH1 0xff 00001c8b: AND 00001c8c: PUSH1 0x04 00001c8e: DUP2 00001c8f: LT 00001c90: PUSH2 0x1c95 00001c93: JUMPI 00001c94: INVALID 00001c95: JUMPDEST 00001c96: ADD 00001c97: SLOAD 00001c98: PUSH1 0x01 00001c9a: PUSH1 0x01 00001c9c: PUSH1 0xa0 00001c9e: SHL 00001c9f: SUB 00001ca0: AND 00001ca1: DUP7 00001ca2: PUSH2 0x230b 00001ca5: JUMP 00001ca6: JUMPDEST 00001ca7: SWAP1 00001ca8: POP 00001ca9: DUP1 00001caa: ISZERO 00001cab: PUSH2 0x1ce3 00001cae: JUMPI 00001caf: PUSH2 0x1ce0 00001cb2: PUSH2 0x1cd3 00001cb5: PUSH1 0x1b 00001cb7: DUP5 00001cb8: PUSH1 0xff 00001cba: AND 00001cbb: PUSH1 0x04 00001cbd: DUP2 00001cbe: LT 00001cbf: PUSH2 0x1cc4 00001cc2: JUMPI 00001cc3: INVALID 00001cc4: JUMPDEST 00001cc5: ADD 00001cc6: SLOAD 00001cc7: DUP4 00001cc8: SWAP1 00001cc9: PUSH4 0xffffffff 00001cce: PUSH2 0x23b2 00001cd1: AND 00001cd2: JUMP 00001cd3: JUMPDEST 00001cd4: DUP5 00001cd5: SWAP1 00001cd6: PUSH4 0xffffffff 00001cdb: PUSH2 0x244d 00001cde: AND 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: SWAP3 00001ce2: POP 00001ce3: JUMPDEST 00001ce4: POP 00001ce5: PUSH1 0x01 00001ce7: ADD 00001ce8: PUSH2 0x1c74 00001ceb: JUMP 00001cec: JUMPDEST 00001ced: POP 00001cee: SWAP3 00001cef: SWAP2 00001cf0: POP 00001cf1: POP 00001cf2: JUMP 00001cf3: JUMPDEST 00001cf4: PUSH1 0x0b 00001cf6: SLOAD 00001cf7: DUP2 00001cf8: JUMP 00001cf9: JUMPDEST 00001cfa: PUSH1 0x07 00001cfc: SLOAD 00001cfd: PUSH1 0x01 00001cff: PUSH1 0x01 00001d01: PUSH1 0xa0 00001d03: SHL 00001d04: SUB 00001d05: AND 00001d06: DUP2 00001d07: JUMP 00001d08: JUMPDEST 00001d09: PUSH15 0x085d4780b73119b644ae5ecd22b376 00001d19: DUP2 00001d1a: JUMP 00001d1b: JUMPDEST 00001d1c: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00001d31: DUP2 00001d32: JUMP 00001d33: JUMPDEST 00001d34: PUSH1 0x20 00001d36: DUP1 00001d37: MSTORE 00001d38: PUSH1 0x00 00001d3a: SWAP1 00001d3b: DUP2 00001d3c: MSTORE 00001d3d: PUSH1 0x40 00001d3f: SWAP1 00001d40: KECCAK256 00001d41: SLOAD 00001d42: PUSH1 0x01 00001d44: PUSH1 0x01 00001d46: PUSH1 0xa0 00001d48: SHL 00001d49: SUB 00001d4a: AND 00001d4b: DUP2 00001d4c: JUMP 00001d4d: JUMPDEST 00001d4e: PUSH1 0x04 00001d50: SLOAD 00001d51: PUSH1 0x01 00001d53: PUSH1 0x01 00001d55: PUSH1 0xa0 00001d57: SHL 00001d58: SUB 00001d59: AND 00001d5a: DUP2 00001d5b: JUMP 00001d5c: JUMPDEST 00001d5d: PUSH10 0x85685e51a4f1ddc00000 00001d68: DUP2 00001d69: JUMP 00001d6a: JUMPDEST 00001d6b: PUSH1 0x11 00001d6d: SLOAD 00001d6e: DUP2 00001d6f: JUMP 00001d70: JUMPDEST 00001d71: PUSH1 0x00 00001d73: PUSH2 0x1d7a 00001d76: PUSH2 0x1aa7 00001d79: JUMP 00001d7a: JUMPDEST 00001d7b: PUSH2 0x1d87 00001d7e: JUMPI 00001d7f: POP 00001d80: PUSH1 0x12 00001d82: SLOAD 00001d83: PUSH2 0x1179 00001d86: JUMP 00001d87: JUMPDEST 00001d88: PUSH2 0x1c1d 00001d8b: PUSH2 0x1db5 00001d8e: PUSH2 0x1d95 00001d91: PUSH2 0x1aa7 00001d94: JUMP 00001d95: JUMPDEST 00001d96: PUSH2 0x0945 00001d99: PUSH8 0x0de0b6b3a7640000 00001da2: PUSH2 0x0939 00001da5: PUSH1 0x10 00001da7: SLOAD 00001da8: PUSH2 0x0939 00001dab: PUSH1 0x11 00001dad: SLOAD 00001dae: PUSH2 0x0924 00001db1: PUSH2 0x1c0f 00001db4: JUMP 00001db5: JUMPDEST 00001db6: PUSH1 0x12 00001db8: SLOAD 00001db9: SWAP1 00001dba: PUSH4 0xffffffff 00001dbf: PUSH2 0x244d 00001dc2: AND 00001dc3: JUMP 00001dc4: JUMPDEST 00001dc5: PUSH1 0x09 00001dc7: SLOAD 00001dc8: DUP2 00001dc9: JUMP 00001dca: JUMPDEST 00001dcb: PUSH1 0x12 00001dcd: SLOAD 00001dce: DUP2 00001dcf: JUMP 00001dd0: JUMPDEST 00001dd1: PUSH1 0x01 00001dd3: PUSH1 0x01 00001dd5: PUSH1 0xa0 00001dd7: SHL 00001dd8: SUB 00001dd9: AND 00001dda: PUSH1 0x00 00001ddc: SWAP1 00001ddd: DUP2 00001dde: MSTORE 00001ddf: PUSH1 0x20 00001de1: DUP2 00001de2: SWAP1 00001de3: MSTORE 00001de4: PUSH1 0x40 00001de6: SWAP1 00001de7: KECCAK256 00001de8: SLOAD 00001de9: SWAP1 00001dea: JUMP 00001deb: JUMPDEST 00001dec: PUSH1 0x0c 00001dee: SLOAD 00001def: DUP2 00001df0: JUMP 00001df1: JUMPDEST 00001df2: PUSH1 0x16 00001df4: PUSH1 0x20 00001df6: MSTORE 00001df7: PUSH1 0x00 00001df9: SWAP1 00001dfa: DUP2 00001dfb: MSTORE 00001dfc: PUSH1 0x40 00001dfe: SWAP1 00001dff: KECCAK256 00001e00: SLOAD 00001e01: DUP2 00001e02: JUMP 00001e03: JUMPDEST 00001e04: PUSH1 0x00 00001e06: JUMPDEST 00001e07: PUSH1 0x04 00001e09: DUP2 00001e0a: PUSH1 0xff 00001e0c: AND 00001e0d: LT 00001e0e: ISZERO 00001e0f: PUSH2 0x1e6d 00001e12: JUMPI 00001e13: PUSH1 0x00 00001e15: PUSH2 0x1e38 00001e18: PUSH1 0x17 00001e1a: DUP4 00001e1b: PUSH1 0xff 00001e1d: AND 00001e1e: PUSH1 0x04 00001e20: DUP2 00001e21: LT 00001e22: PUSH2 0x1e27 00001e25: JUMPI 00001e26: INVALID 00001e27: JUMPDEST 00001e28: ADD 00001e29: SLOAD 00001e2a: PUSH1 0x01 00001e2c: PUSH1 0x01 00001e2e: PUSH1 0xa0 00001e30: SHL 00001e31: SUB 00001e32: AND 00001e33: CALLER 00001e34: PUSH2 0x230b 00001e37: JUMP 00001e38: JUMPDEST 00001e39: SWAP1 00001e3a: POP 00001e3b: DUP1 00001e3c: ISZERO 00001e3d: PUSH2 0x1e64 00001e40: JUMPI 00001e41: PUSH2 0x1e64 00001e44: PUSH1 0x17 00001e46: DUP4 00001e47: PUSH1 0xff 00001e49: AND 00001e4a: PUSH1 0x04 00001e4c: DUP2 00001e4d: LT 00001e4e: PUSH2 0x1e53 00001e51: JUMPI 00001e52: INVALID 00001e53: JUMPDEST 00001e54: ADD 00001e55: SLOAD 00001e56: PUSH1 0x01 00001e58: PUSH1 0x01 00001e5a: PUSH1 0xa0 00001e5c: SHL 00001e5d: SUB 00001e5e: AND 00001e5f: DUP3 00001e60: PUSH2 0x1ee0 00001e63: JUMP 00001e64: JUMPDEST 00001e65: POP 00001e66: PUSH1 0x01 00001e68: ADD 00001e69: PUSH2 0x1e06 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: POP 00001e6f: PUSH2 0x1e76 00001e72: PUSH2 0x1485 00001e75: JUMP 00001e76: JUMPDEST 00001e77: JUMP 00001e78: JUMPDEST 00001e79: PUSH1 0x1f 00001e7b: PUSH1 0x20 00001e7d: MSTORE 00001e7e: PUSH1 0x00 00001e80: SWAP1 00001e81: DUP2 00001e82: MSTORE 00001e83: PUSH1 0x40 00001e85: SWAP1 00001e86: KECCAK256 00001e87: SLOAD 00001e88: DUP2 00001e89: JUMP 00001e8a: JUMPDEST 00001e8b: PUSH1 0x0f 00001e8d: SLOAD 00001e8e: DUP2 00001e8f: JUMP 00001e90: JUMPDEST 00001e91: PUSH2 0x1e98 00001e94: PUSH2 0x1c49 00001e97: JUMP 00001e98: JUMPDEST 00001e99: PUSH2 0x1ed7 00001e9c: JUMPI 00001e9d: PUSH1 0x40 00001e9f: DUP1 00001ea0: MLOAD 00001ea1: PUSH3 0x461bcd 00001ea5: PUSH1 0xe5 00001ea7: SHL 00001ea8: DUP2 00001ea9: MSTORE 00001eaa: PUSH1 0x20 00001eac: PUSH1 0x04 00001eae: DUP3 00001eaf: ADD 00001eb0: DUP2 00001eb1: SWAP1 00001eb2: MSTORE 00001eb3: PUSH1 0x24 00001eb5: DUP3 00001eb6: ADD 00001eb7: MSTORE 00001eb8: PUSH1 0x00 00001eba: DUP1 00001ebb: MLOAD 00001ebc: PUSH1 0x20 00001ebe: PUSH2 0x2ba1 00001ec1: DUP4 00001ec2: CODECOPY 00001ec3: DUP2 00001ec4: MLOAD 00001ec5: SWAP2 00001ec6: MSTORE 00001ec7: PUSH1 0x44 00001ec9: DUP3 00001eca: ADD 00001ecb: MSTORE 00001ecc: SWAP1 00001ecd: MLOAD 00001ece: SWAP1 00001ecf: DUP2 00001ed0: SWAP1 00001ed1: SUB 00001ed2: PUSH1 0x64 00001ed4: ADD 00001ed5: SWAP1 00001ed6: REVERT 00001ed7: JUMPDEST 00001ed8: PUSH2 0x0ba2 00001edb: DUP2 00001edc: PUSH2 0x2652 00001edf: JUMP 00001ee0: JUMPDEST 00001ee1: CALLER 00001ee2: PUSH2 0x1ee9 00001ee5: PUSH2 0x1d70 00001ee8: JUMP 00001ee9: JUMPDEST 00001eea: PUSH1 0x12 00001eec: SSTORE 00001eed: PUSH2 0x1ef4 00001ef0: PUSH2 0x1c0f 00001ef3: JUMP 00001ef4: JUMPDEST 00001ef5: PUSH1 0x11 00001ef7: SSTORE 00001ef8: PUSH1 0x01 00001efa: PUSH1 0x01 00001efc: PUSH1 0xa0 00001efe: SHL 00001eff: SUB 00001f00: DUP2 00001f01: AND 00001f02: ISZERO 00001f03: PUSH2 0x1f3b 00001f06: JUMPI 00001f07: PUSH2 0x1f0f 00001f0a: DUP2 00001f0b: PUSH2 0x08dd 00001f0e: JUMP 00001f0f: JUMPDEST 00001f10: PUSH1 0x01 00001f12: PUSH1 0x01 00001f14: PUSH1 0xa0 00001f16: SHL 00001f17: SUB 00001f18: DUP3 00001f19: AND 00001f1a: PUSH1 0x00 00001f1c: SWAP1 00001f1d: DUP2 00001f1e: MSTORE 00001f1f: PUSH1 0x14 00001f21: PUSH1 0x20 00001f23: SWAP1 00001f24: DUP2 00001f25: MSTORE 00001f26: PUSH1 0x40 00001f28: DUP1 00001f29: DUP4 00001f2a: KECCAK256 00001f2b: SWAP4 00001f2c: SWAP1 00001f2d: SWAP4 00001f2e: SSTORE 00001f2f: PUSH1 0x12 00001f31: SLOAD 00001f32: PUSH1 0x13 00001f34: SWAP1 00001f35: SWAP2 00001f36: MSTORE 00001f37: SWAP2 00001f38: SWAP1 00001f39: KECCAK256 00001f3a: SSTORE 00001f3b: JUMPDEST 00001f3c: PUSH1 0x0f 00001f3e: SLOAD 00001f3f: TIMESTAMP 00001f40: LT 00001f41: PUSH2 0x21d2 00001f44: JUMPI 00001f45: PUSH10 0x0d573ca1c3b1c9600000 00001f50: PUSH1 0x0b 00001f52: SSTORE 00001f53: PUSH1 0x00 00001f55: PUSH2 0x1f5c 00001f58: PUSH2 0x10c6 00001f5b: JUMP 00001f5c: JUMPDEST 00001f5d: SWAP1 00001f5e: POP 00001f5f: PUSH2 0x1f7c 00001f62: PUSH1 0x64 00001f64: PUSH2 0x0945 00001f67: DUP4 00001f68: PUSH2 0xffff 00001f6b: AND 00001f6c: PUSH1 0x0b 00001f6e: SLOAD 00001f6f: PUSH2 0x23b2 00001f72: SWAP1 00001f73: SWAP2 00001f74: SWAP1 00001f75: PUSH4 0xffffffff 00001f7a: AND 00001f7b: JUMP 00001f7c: JUMPDEST 00001f7d: PUSH1 0x0c 00001f7f: DUP2 00001f80: SWAP1 00001f81: SSTORE 00001f82: PUSH1 0x0d 00001f84: SLOAD 00001f85: PUSH10 0x85685e51a4f1ddc00000 00001f90: SWAP2 00001f91: PUSH2 0x1fa0 00001f94: SWAP2 00001f95: SWAP1 00001f96: PUSH4 0xffffffff 00001f9b: PUSH2 0x244d 00001f9e: AND 00001f9f: JUMP 00001fa0: JUMPDEST 00001fa1: GT 00001fa2: ISZERO 00001fa3: PUSH2 0x1fc8 00001fa6: JUMPI 00001fa7: PUSH1 0x0d 00001fa9: SLOAD 00001faa: PUSH2 0x1fc4 00001fad: SWAP1 00001fae: PUSH10 0x85685e51a4f1ddc00000 00001fb9: SWAP1 00001fba: PUSH4 0xffffffff 00001fbf: PUSH2 0x2369 00001fc2: AND 00001fc3: JUMP 00001fc4: JUMPDEST 00001fc5: PUSH1 0x0c 00001fc7: SSTORE 00001fc8: JUMPDEST 00001fc9: PUSH1 0x0c 00001fcb: SLOAD 00001fcc: ISZERO 00001fcd: PUSH2 0x217e 00001fd0: JUMPI 00001fd1: PUSH1 0x06 00001fd3: SLOAD 00001fd4: PUSH1 0x0c 00001fd6: SLOAD 00001fd7: PUSH1 0x40 00001fd9: DUP1 00001fda: MLOAD 00001fdb: PUSH4 0x40c10f19 00001fe0: PUSH1 0xe0 00001fe2: SHL 00001fe3: DUP2 00001fe4: MSTORE 00001fe5: ADDRESS 00001fe6: PUSH1 0x04 00001fe8: DUP3 00001fe9: ADD 00001fea: MSTORE 00001feb: PUSH1 0x24 00001fed: DUP2 00001fee: ADD 00001fef: SWAP3 00001ff0: SWAP1 00001ff1: SWAP3 00001ff2: MSTORE 00001ff3: MLOAD 00001ff4: PUSH1 0x01 00001ff6: PUSH1 0x01 00001ff8: PUSH1 0xa0 00001ffa: SHL 00001ffb: SUB 00001ffc: SWAP1 00001ffd: SWAP3 00001ffe: AND 00001fff: SWAP2 00002000: PUSH4 0x40c10f19 00002005: SWAP2 00002006: PUSH1 0x44 00002008: DUP1 00002009: DUP3 0000200a: ADD 0000200b: SWAP3 0000200c: PUSH1 0x00 0000200e: SWAP3 0000200f: SWAP1 00002010: SWAP2 00002011: SWAP1 00002012: DUP3 00002013: SWAP1 00002014: SUB 00002015: ADD 00002016: DUP2 00002017: DUP4 00002018: DUP8 00002019: DUP1 0000201a: EXTCODESIZE 0000201b: ISZERO 0000201c: DUP1 0000201d: ISZERO 0000201e: PUSH2 0x2026 00002021: JUMPI 00002022: PUSH1 0x00 00002024: DUP1 00002025: REVERT 00002026: JUMPDEST 00002027: POP 00002028: GAS 00002029: CALL 0000202a: ISZERO 0000202b: DUP1 0000202c: ISZERO 0000202d: PUSH2 0x203a 00002030: JUMPI 00002031: RETURNDATASIZE 00002032: PUSH1 0x00 00002034: DUP1 00002035: RETURNDATACOPY 00002036: RETURNDATASIZE 00002037: PUSH1 0x00 00002039: REVERT 0000203a: JUMPDEST 0000203b: POP 0000203c: POP 0000203d: PUSH1 0x07 0000203f: SLOAD 00002040: PUSH1 0x09 00002042: SLOAD 00002043: PUSH1 0x0c 00002045: SLOAD 00002046: PUSH1 0x01 00002048: PUSH1 0x01 0000204a: PUSH1 0xa0 0000204c: SHL 0000204d: SUB 0000204e: SWAP1 0000204f: SWAP3 00002050: AND 00002051: SWAP4 00002052: POP 00002053: PUSH4 0x40c10f19 00002058: SWAP3 00002059: POP 0000205a: ADDRESS 0000205b: SWAP2 0000205c: PUSH2 0x206a 0000205f: SWAP2 00002060: PUSH4 0xffffffff 00002065: PUSH2 0x240b 00002068: AND 00002069: JUMP 0000206a: JUMPDEST 0000206b: PUSH1 0x40 0000206d: MLOAD 0000206e: DUP4 0000206f: PUSH4 0xffffffff 00002074: AND 00002075: PUSH1 0xe0 00002077: SHL 00002078: DUP2 00002079: MSTORE 0000207a: PUSH1 0x04 0000207c: ADD 0000207d: DUP1 0000207e: DUP4 0000207f: PUSH1 0x01 00002081: PUSH1 0x01 00002083: PUSH1 0xa0 00002085: SHL 00002086: SUB 00002087: AND 00002088: PUSH1 0x01 0000208a: PUSH1 0x01 0000208c: PUSH1 0xa0 0000208e: SHL 0000208f: SUB 00002090: AND 00002091: DUP2 00002092: MSTORE 00002093: PUSH1 0x20 00002095: ADD 00002096: DUP3 00002097: DUP2 00002098: MSTORE 00002099: PUSH1 0x20 0000209b: ADD 0000209c: SWAP3 0000209d: POP 0000209e: POP 0000209f: POP 000020a0: PUSH1 0x00 000020a2: PUSH1 0x40 000020a4: MLOAD 000020a5: DUP1 000020a6: DUP4 000020a7: SUB 000020a8: DUP2 000020a9: PUSH1 0x00 000020ab: DUP8 000020ac: DUP1 000020ad: EXTCODESIZE 000020ae: ISZERO 000020af: DUP1 000020b0: ISZERO 000020b1: PUSH2 0x20b9 000020b4: JUMPI 000020b5: PUSH1 0x00 000020b7: DUP1 000020b8: REVERT 000020b9: JUMPDEST 000020ba: POP 000020bb: GAS 000020bc: CALL 000020bd: ISZERO 000020be: DUP1 000020bf: ISZERO 000020c0: PUSH2 0x20cd 000020c3: JUMPI 000020c4: RETURNDATASIZE 000020c5: PUSH1 0x00 000020c7: DUP1 000020c8: RETURNDATACOPY 000020c9: RETURNDATASIZE 000020ca: PUSH1 0x00 000020cc: REVERT 000020cd: JUMPDEST 000020ce: POP 000020cf: POP 000020d0: PUSH1 0x08 000020d2: SLOAD 000020d3: PUSH1 0x0a 000020d5: SLOAD 000020d6: PUSH1 0x0c 000020d8: SLOAD 000020d9: PUSH1 0x01 000020db: PUSH1 0x01 000020dd: PUSH1 0xa0 000020df: SHL 000020e0: SUB 000020e1: SWAP1 000020e2: SWAP3 000020e3: AND 000020e4: SWAP4 000020e5: POP 000020e6: PUSH4 0x40c10f19 000020eb: SWAP3 000020ec: POP 000020ed: ADDRESS 000020ee: SWAP2 000020ef: PUSH2 0x20fd 000020f2: SWAP2 000020f3: PUSH4 0xffffffff 000020f8: PUSH2 0x240b 000020fb: AND 000020fc: JUMP 000020fd: JUMPDEST 000020fe: PUSH1 0x40 00002100: MLOAD 00002101: DUP4 00002102: PUSH4 0xffffffff 00002107: AND 00002108: PUSH1 0xe0 0000210a: SHL 0000210b: DUP2 0000210c: MSTORE 0000210d: PUSH1 0x04 0000210f: ADD 00002110: DUP1 00002111: DUP4 00002112: PUSH1 0x01 00002114: PUSH1 0x01 00002116: PUSH1 0xa0 00002118: SHL 00002119: SUB 0000211a: AND 0000211b: PUSH1 0x01 0000211d: PUSH1 0x01 0000211f: PUSH1 0xa0 00002121: SHL 00002122: SUB 00002123: AND 00002124: DUP2 00002125: MSTORE 00002126: PUSH1 0x20 00002128: ADD 00002129: DUP3 0000212a: DUP2 0000212b: MSTORE 0000212c: PUSH1 0x20 0000212e: ADD 0000212f: SWAP3 00002130: POP 00002131: POP 00002132: POP 00002133: PUSH1 0x00 00002135: PUSH1 0x40 00002137: MLOAD 00002138: DUP1 00002139: DUP4 0000213a: SUB 0000213b: DUP2 0000213c: PUSH1 0x00 0000213e: DUP8 0000213f: DUP1 00002140: EXTCODESIZE 00002141: ISZERO 00002142: DUP1 00002143: ISZERO 00002144: PUSH2 0x214c 00002147: JUMPI 00002148: PUSH1 0x00 0000214a: DUP1 0000214b: REVERT 0000214c: JUMPDEST 0000214d: POP 0000214e: GAS 0000214f: CALL 00002150: ISZERO 00002151: DUP1 00002152: ISZERO 00002153: PUSH2 0x2160 00002156: JUMPI 00002157: RETURNDATASIZE 00002158: PUSH1 0x00 0000215a: DUP1 0000215b: RETURNDATACOPY 0000215c: RETURNDATASIZE 0000215d: PUSH1 0x00 0000215f: REVERT 00002160: JUMPDEST 00002161: POP 00002162: POP 00002163: PUSH1 0x0c 00002165: SLOAD 00002166: PUSH1 0x0d 00002168: SLOAD 00002169: PUSH2 0x217a 0000216c: SWAP4 0000216d: POP 0000216e: SWAP2 0000216f: POP 00002170: PUSH4 0xffffffff 00002175: PUSH2 0x244d 00002178: AND 00002179: JUMP 0000217a: JUMPDEST 0000217b: PUSH1 0x0d 0000217d: SSTORE 0000217e: JUMPDEST 0000217f: PUSH1 0x0c 00002181: SLOAD 00002182: PUSH2 0x2194 00002185: SWAP1 00002186: PUSH3 0x093a80 0000218a: PUSH4 0xffffffff 0000218f: PUSH2 0x240b 00002192: AND 00002193: JUMP 00002194: JUMPDEST 00002195: PUSH1 0x10 00002197: SSTORE 00002198: PUSH2 0x21aa 0000219b: TIMESTAMP 0000219c: PUSH3 0x093a80 000021a0: PUSH4 0xffffffff 000021a5: PUSH2 0x244d 000021a8: AND 000021a9: JUMP 000021aa: JUMPDEST 000021ab: PUSH1 0x0f 000021ad: SSTORE 000021ae: PUSH1 0x0c 000021b0: SLOAD 000021b1: PUSH1 0x40 000021b3: DUP1 000021b4: MLOAD 000021b5: SWAP2 000021b6: DUP3 000021b7: MSTORE 000021b8: MLOAD 000021b9: PUSH1 0x00 000021bb: DUP1 000021bc: MLOAD 000021bd: PUSH1 0x20 000021bf: PUSH2 0x2b60 000021c2: DUP4 000021c3: CODECOPY 000021c4: DUP2 000021c5: MLOAD 000021c6: SWAP2 000021c7: MSTORE 000021c8: SWAP2 000021c9: DUP2 000021ca: SWAP1 000021cb: SUB 000021cc: PUSH1 0x20 000021ce: ADD 000021cf: SWAP1 000021d0: LOG1 000021d1: POP 000021d2: JUMPDEST 000021d3: PUSH1 0x0e 000021d5: SLOAD 000021d6: TIMESTAMP 000021d7: GT 000021d8: PUSH2 0x2214 000021db: JUMPI 000021dc: PUSH1 0x40 000021de: DUP1 000021df: MLOAD 000021e0: PUSH3 0x461bcd 000021e4: PUSH1 0xe5 000021e6: SHL 000021e7: DUP2 000021e8: MSTORE 000021e9: PUSH1 0x20 000021eb: PUSH1 0x04 000021ed: DUP3 000021ee: ADD 000021ef: MSTORE 000021f0: PUSH1 0x09 000021f2: PUSH1 0x24 000021f4: DUP3 000021f5: ADD 000021f6: MSTORE 000021f7: PUSH9 0x1b9bdd081cdd185c9d 00002201: PUSH1 0xba 00002203: SHL 00002204: PUSH1 0x44 00002206: DUP3 00002207: ADD 00002208: MSTORE 00002209: SWAP1 0000220a: MLOAD 0000220b: SWAP1 0000220c: DUP2 0000220d: SWAP1 0000220e: SUB 0000220f: PUSH1 0x64 00002211: ADD 00002212: SWAP1 00002213: REVERT 00002214: JUMPDEST 00002215: PUSH1 0x00 00002217: DUP3 00002218: GT 00002219: PUSH2 0x225d 0000221c: JUMPI 0000221d: PUSH1 0x40 0000221f: DUP1 00002220: MLOAD 00002221: PUSH3 0x461bcd 00002225: PUSH1 0xe5 00002227: SHL 00002228: DUP2 00002229: MSTORE 0000222a: PUSH1 0x20 0000222c: PUSH1 0x04 0000222e: DUP3 0000222f: ADD 00002230: MSTORE 00002231: PUSH1 0x11 00002233: PUSH1 0x24 00002235: DUP3 00002236: ADD 00002237: MSTORE 00002238: PUSH17 0x043616e6e6f74207769746864726177203 0000224a: PUSH1 0x7c 0000224c: SHL 0000224d: PUSH1 0x44 0000224f: DUP3 00002250: ADD 00002251: MSTORE 00002252: SWAP1 00002253: MLOAD 00002254: SWAP1 00002255: DUP2 00002256: SWAP1 00002257: SUB 00002258: PUSH1 0x64 0000225a: ADD 0000225b: SWAP1 0000225c: REVERT 0000225d: JUMPDEST 0000225e: PUSH1 0x01 00002260: PUSH1 0x01 00002262: PUSH1 0xa0 00002264: SHL 00002265: SUB 00002266: DUP4 00002267: AND 00002268: PUSH1 0x00 0000226a: SWAP1 0000226b: DUP2 0000226c: MSTORE 0000226d: PUSH1 0x1f 0000226f: PUSH1 0x20 00002271: MSTORE 00002272: PUSH1 0x40 00002274: SWAP1 00002275: KECCAK256 00002276: SLOAD 00002277: PUSH2 0x22bc 0000227a: JUMPI 0000227b: PUSH1 0x40 0000227d: DUP1 0000227e: MLOAD 0000227f: PUSH3 0x461bcd 00002283: PUSH1 0xe5 00002285: SHL 00002286: DUP2 00002287: MSTORE 00002288: PUSH1 0x20 0000228a: PUSH1 0x04 0000228c: DUP3 0000228d: ADD 0000228e: MSTORE 0000228f: PUSH1 0x12 00002291: PUSH1 0x24 00002293: DUP3 00002294: ADD 00002295: MSTORE 00002296: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7 000022a9: PUSH1 0x71 000022ab: SHL 000022ac: PUSH1 0x44 000022ae: DUP3 000022af: ADD 000022b0: MSTORE 000022b1: SWAP1 000022b2: MLOAD 000022b3: SWAP1 000022b4: DUP2 000022b5: SWAP1 000022b6: SUB 000022b7: PUSH1 0x64 000022b9: ADD 000022ba: SWAP1 000022bb: REVERT 000022bc: JUMPDEST 000022bd: PUSH2 0x22c6 000022c0: DUP4 000022c1: DUP4 000022c2: PUSH2 0x26f3 000022c5: JUMP 000022c6: JUMPDEST 000022c7: PUSH1 0x40 000022c9: DUP1 000022ca: MLOAD 000022cb: DUP4 000022cc: DUP2 000022cd: MSTORE 000022ce: SWAP1 000022cf: MLOAD 000022d0: PUSH1 0x01 000022d2: PUSH1 0x01 000022d4: PUSH1 0xa0 000022d6: SHL 000022d7: SUB 000022d8: DUP6 000022d9: AND 000022da: SWAP2 000022db: CALLER 000022dc: SWAP2 000022dd: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 000022fe: SWAP2 000022ff: DUP2 00002300: SWAP1 00002301: SUB 00002302: PUSH1 0x20 00002304: ADD 00002305: SWAP1 00002306: LOG3 00002307: POP 00002308: POP 00002309: POP 0000230a: JUMP 0000230b: JUMPDEST 0000230c: PUSH1 0x01 0000230e: PUSH1 0x01 00002310: PUSH1 0xa0 00002312: SHL 00002313: SUB 00002314: SWAP2 00002315: DUP3 00002316: AND 00002317: PUSH1 0x00 00002319: SWAP1 0000231a: DUP2 0000231b: MSTORE 0000231c: PUSH1 0x01 0000231e: PUSH1 0x20 00002320: SWAP1 00002321: DUP2 00002322: MSTORE 00002323: PUSH1 0x40 00002325: DUP1 00002326: DUP4 00002327: KECCAK256 00002328: SWAP4 00002329: SWAP1 0000232a: SWAP5 0000232b: AND 0000232c: DUP3 0000232d: MSTORE 0000232e: SWAP2 0000232f: SWAP1 00002330: SWAP2 00002331: MSTORE 00002332: KECCAK256 00002333: SLOAD 00002334: SWAP1 00002335: JUMP 00002336: JUMPDEST 00002337: PUSH1 0x00 00002339: PUSH2 0x095d 0000233c: PUSH2 0x2344 0000233f: DUP4 00002340: PUSH2 0x08dd 00002343: JUMP 00002344: JUMPDEST 00002345: PUSH1 0x01 00002347: PUSH1 0x01 00002349: PUSH1 0xa0 0000234b: SHL 0000234c: SUB 0000234d: DUP5 0000234e: AND 0000234f: PUSH1 0x00 00002351: SWAP1 00002352: DUP2 00002353: MSTORE 00002354: PUSH1 0x16 00002356: PUSH1 0x20 00002358: MSTORE 00002359: PUSH1 0x40 0000235b: SWAP1 0000235c: KECCAK256 0000235d: SLOAD 0000235e: SWAP1 0000235f: PUSH4 0xffffffff 00002364: PUSH2 0x244d 00002367: AND 00002368: JUMP 00002369: JUMPDEST 0000236a: PUSH1 0x00 0000236c: PUSH2 0x23ab 0000236f: DUP4 00002370: DUP4 00002371: PUSH1 0x40 00002373: MLOAD 00002374: DUP1 00002375: PUSH1 0x40 00002377: ADD 00002378: PUSH1 0x40 0000237a: MSTORE 0000237b: DUP1 0000237c: PUSH1 0x1e 0000237e: DUP2 0000237f: MSTORE 00002380: PUSH1 0x20 00002382: ADD 00002383: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 000023a4: DUP2 000023a5: MSTORE 000023a6: POP 000023a7: PUSH2 0x278f 000023aa: JUMP 000023ab: JUMPDEST 000023ac: SWAP4 000023ad: SWAP3 000023ae: POP 000023af: POP 000023b0: POP 000023b1: JUMP 000023b2: JUMPDEST 000023b3: PUSH1 0x00 000023b5: DUP3 000023b6: PUSH2 0x23c1 000023b9: JUMPI 000023ba: POP 000023bb: PUSH1 0x00 000023bd: PUSH2 0x095d 000023c0: JUMP 000023c1: JUMPDEST 000023c2: DUP3 000023c3: DUP3 000023c4: MUL 000023c5: DUP3 000023c6: DUP5 000023c7: DUP3 000023c8: DUP2 000023c9: PUSH2 0x23ce 000023cc: JUMPI 000023cd: INVALID 000023ce: JUMPDEST 000023cf: DIV 000023d0: EQ 000023d1: PUSH2 0x23ab 000023d4: JUMPI 000023d5: PUSH1 0x40 000023d7: MLOAD 000023d8: PUSH3 0x461bcd 000023dc: PUSH1 0xe5 000023de: SHL 000023df: DUP2 000023e0: MSTORE 000023e1: PUSH1 0x04 000023e3: ADD 000023e4: DUP1 000023e5: DUP1 000023e6: PUSH1 0x20 000023e8: ADD 000023e9: DUP3 000023ea: DUP2 000023eb: SUB 000023ec: DUP3 000023ed: MSTORE 000023ee: PUSH1 0x21 000023f0: DUP2 000023f1: MSTORE 000023f2: PUSH1 0x20 000023f4: ADD 000023f5: DUP1 000023f6: PUSH2 0x2b80 000023f9: PUSH1 0x21 000023fb: SWAP2 000023fc: CODECOPY 000023fd: PUSH1 0x40 000023ff: ADD 00002400: SWAP2 00002401: POP 00002402: POP 00002403: PUSH1 0x40 00002405: MLOAD 00002406: DUP1 00002407: SWAP2 00002408: SUB 00002409: SWAP1 0000240a: REVERT 0000240b: JUMPDEST 0000240c: PUSH1 0x00 0000240e: PUSH2 0x23ab 00002411: DUP4 00002412: DUP4 00002413: PUSH1 0x40 00002415: MLOAD 00002416: DUP1 00002417: PUSH1 0x40 00002419: ADD 0000241a: PUSH1 0x40 0000241c: MSTORE 0000241d: DUP1 0000241e: PUSH1 0x1a 00002420: DUP2 00002421: MSTORE 00002422: PUSH1 0x20 00002424: ADD 00002425: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00002446: DUP2 00002447: MSTORE 00002448: POP 00002449: PUSH2 0x2826 0000244c: JUMP 0000244d: JUMPDEST 0000244e: PUSH1 0x00 00002450: DUP3 00002451: DUP3 00002452: ADD 00002453: DUP4 00002454: DUP2 00002455: LT 00002456: ISZERO 00002457: PUSH2 0x23ab 0000245a: JUMPI 0000245b: PUSH1 0x40 0000245d: DUP1 0000245e: MLOAD 0000245f: PUSH3 0x461bcd 00002463: PUSH1 0xe5 00002465: SHL 00002466: DUP2 00002467: MSTORE 00002468: PUSH1 0x20 0000246a: PUSH1 0x04 0000246c: DUP3 0000246d: ADD 0000246e: MSTORE 0000246f: PUSH1 0x1b 00002471: PUSH1 0x24 00002473: DUP3 00002474: ADD 00002475: MSTORE 00002476: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00002497: PUSH1 0x44 00002499: DUP3 0000249a: ADD 0000249b: MSTORE 0000249c: SWAP1 0000249d: MLOAD 0000249e: SWAP1 0000249f: DUP2 000024a0: SWAP1 000024a1: SUB 000024a2: PUSH1 0x64 000024a4: ADD 000024a5: SWAP1 000024a6: REVERT 000024a7: JUMPDEST 000024a8: PUSH1 0x40 000024aa: DUP1 000024ab: MLOAD 000024ac: PUSH1 0x01 000024ae: PUSH1 0x01 000024b0: PUSH1 0xa0 000024b2: SHL 000024b3: SUB 000024b4: DUP5 000024b5: AND 000024b6: PUSH1 0x24 000024b8: DUP3 000024b9: ADD 000024ba: MSTORE 000024bb: PUSH1 0x44 000024bd: DUP1 000024be: DUP3 000024bf: ADD 000024c0: DUP5 000024c1: SWAP1 000024c2: MSTORE 000024c3: DUP3 000024c4: MLOAD 000024c5: DUP1 000024c6: DUP4 000024c7: SUB 000024c8: SWAP1 000024c9: SWAP2 000024ca: ADD 000024cb: DUP2 000024cc: MSTORE 000024cd: PUSH1 0x64 000024cf: SWAP1 000024d0: SWAP2 000024d1: ADD 000024d2: SWAP1 000024d3: SWAP2 000024d4: MSTORE 000024d5: PUSH1 0x20 000024d7: DUP2 000024d8: ADD 000024d9: DUP1 000024da: MLOAD 000024db: PUSH1 0x01 000024dd: PUSH1 0x01 000024df: PUSH1 0xe0 000024e1: SHL 000024e2: SUB 000024e3: AND 000024e4: PUSH4 0xa9059cbb 000024e9: PUSH1 0xe0 000024eb: SHL 000024ec: OR 000024ed: SWAP1 000024ee: MSTORE 000024ef: PUSH2 0x24f9 000024f2: SWAP1 000024f3: DUP5 000024f4: SWAP1 000024f5: PUSH2 0x288b 000024f8: JUMP 000024f9: JUMPDEST 000024fa: POP 000024fb: POP 000024fc: POP 000024fd: JUMP 000024fe: JUMPDEST 000024ff: CALLER 00002500: PUSH2 0x2508 00002503: DUP2 00002504: PUSH2 0x2a43 00002507: JUMP 00002508: JUMPDEST 00002509: ISZERO 0000250a: PUSH2 0x2544 0000250d: JUMPI 0000250e: PUSH1 0x40 00002510: MLOAD 00002511: PUSH3 0x461bcd 00002515: PUSH1 0xe5 00002517: SHL 00002518: DUP2 00002519: MSTORE 0000251a: PUSH1 0x04 0000251c: ADD 0000251d: DUP1 0000251e: DUP1 0000251f: PUSH1 0x20 00002521: ADD 00002522: DUP3 00002523: DUP2 00002524: SUB 00002525: DUP3 00002526: MSTORE 00002527: PUSH1 0x3e 00002529: DUP2 0000252a: MSTORE 0000252b: PUSH1 0x20 0000252d: ADD 0000252e: DUP1 0000252f: PUSH2 0x2ada 00002532: PUSH1 0x3e 00002534: SWAP2 00002535: CODECOPY 00002536: PUSH1 0x40 00002538: ADD 00002539: SWAP2 0000253a: POP 0000253b: POP 0000253c: PUSH1 0x40 0000253e: MLOAD 0000253f: DUP1 00002540: SWAP2 00002541: SUB 00002542: SWAP1 00002543: REVERT 00002544: JUMPDEST 00002545: ORIGIN 00002546: PUSH1 0x01 00002548: PUSH1 0x01 0000254a: PUSH1 0xa0 0000254c: SHL 0000254d: SUB 0000254e: DUP3 0000254f: AND 00002550: EQ 00002551: PUSH2 0x2591 00002554: JUMPI 00002555: PUSH1 0x40 00002557: DUP1 00002558: MLOAD 00002559: PUSH3 0x461bcd 0000255d: PUSH1 0xe5 0000255f: SHL 00002560: DUP2 00002561: MSTORE 00002562: PUSH1 0x20 00002564: PUSH1 0x04 00002566: DUP3 00002567: ADD 00002568: MSTORE 00002569: PUSH1 0x0d 0000256b: PUSH1 0x24 0000256d: DUP3 0000256e: ADD 0000256f: MSTORE 00002570: PUSH13 0x20b7323932961039ba30b43817 0000257e: PUSH1 0x99 00002580: SHL 00002581: PUSH1 0x44 00002583: DUP3 00002584: ADD 00002585: MSTORE 00002586: SWAP1 00002587: MLOAD 00002588: SWAP1 00002589: DUP2 0000258a: SWAP1 0000258b: SUB 0000258c: PUSH1 0x64 0000258e: ADD 0000258f: SWAP1 00002590: REVERT 00002591: JUMPDEST 00002592: PUSH1 0x01 00002594: PUSH1 0x01 00002596: PUSH1 0xa0 00002598: SHL 00002599: SUB 0000259a: DUP4 0000259b: AND 0000259c: PUSH1 0x00 0000259e: SWAP1 0000259f: DUP2 000025a0: MSTORE 000025a1: PUSH1 0x20 000025a3: DUP2 000025a4: SWAP1 000025a5: MSTORE 000025a6: PUSH1 0x40 000025a8: SWAP1 000025a9: KECCAK256 000025aa: SLOAD 000025ab: PUSH2 0x25ba 000025ae: SWAP1 000025af: DUP4 000025b0: PUSH4 0xffffffff 000025b5: PUSH2 0x244d 000025b8: AND 000025b9: JUMP 000025ba: JUMPDEST 000025bb: PUSH1 0x01 000025bd: PUSH1 0x01 000025bf: PUSH1 0xa0 000025c1: SHL 000025c2: SUB 000025c3: DUP1 000025c4: DUP6 000025c5: AND 000025c6: PUSH1 0x00 000025c8: SWAP1 000025c9: DUP2 000025ca: MSTORE 000025cb: PUSH1 0x20 000025cd: DUP2 000025ce: DUP2 000025cf: MSTORE 000025d0: PUSH1 0x40 000025d2: DUP1 000025d3: DUP4 000025d4: KECCAK256 000025d5: SWAP5 000025d6: SWAP1 000025d7: SWAP5 000025d8: SSTORE 000025d9: PUSH1 0x01 000025db: DUP2 000025dc: MSTORE 000025dd: DUP4 000025de: DUP3 000025df: KECCAK256 000025e0: SWAP3 000025e1: DUP6 000025e2: AND 000025e3: DUP3 000025e4: MSTORE 000025e5: SWAP2 000025e6: SWAP1 000025e7: SWAP2 000025e8: MSTORE 000025e9: KECCAK256 000025ea: SLOAD 000025eb: PUSH2 0x25fa 000025ee: SWAP1 000025ef: DUP4 000025f0: PUSH4 0xffffffff 000025f5: PUSH2 0x244d 000025f8: AND 000025f9: JUMP 000025fa: JUMPDEST 000025fb: PUSH1 0x01 000025fd: PUSH1 0x01 000025ff: PUSH1 0xa0 00002601: SHL 00002602: SUB 00002603: DUP1 00002604: DUP6 00002605: AND 00002606: PUSH1 0x00 00002608: DUP2 00002609: DUP2 0000260a: MSTORE 0000260b: PUSH1 0x01 0000260d: PUSH1 0x20 0000260f: SWAP1 00002610: DUP2 00002611: MSTORE 00002612: PUSH1 0x40 00002614: DUP1 00002615: DUP4 00002616: KECCAK256 00002617: SWAP5 00002618: DUP8 00002619: AND 0000261a: DUP4 0000261b: MSTORE 0000261c: SWAP4 0000261d: SWAP1 0000261e: MSTORE 0000261f: SWAP2 00002620: SWAP1 00002621: SWAP2 00002622: KECCAK256 00002623: SWAP2 00002624: SWAP1 00002625: SWAP2 00002626: SSTORE 00002627: PUSH2 0x24f9 0000262a: SWAP1 0000262b: DUP3 0000262c: ADDRESS 0000262d: DUP6 0000262e: PUSH4 0xffffffff 00002633: PUSH2 0x2a7f 00002636: AND 00002637: JUMP 00002638: JUMPDEST 00002639: CALLER 0000263a: SWAP1 0000263b: JUMP 0000263c: JUMPDEST 0000263d: PUSH1 0x00 0000263f: DUP2 00002640: DUP4 00002641: LT 00002642: PUSH2 0x264b 00002645: JUMPI 00002646: DUP2 00002647: PUSH2 0x23ab 0000264a: JUMP 0000264b: JUMPDEST 0000264c: POP 0000264d: SWAP1 0000264e: SWAP2 0000264f: SWAP1 00002650: POP 00002651: JUMP 00002652: JUMPDEST 00002653: PUSH1 0x01 00002655: PUSH1 0x01 00002657: PUSH1 0xa0 00002659: SHL 0000265a: SUB 0000265b: DUP2 0000265c: AND 0000265d: PUSH2 0x2697 00002660: JUMPI 00002661: PUSH1 0x40 00002663: MLOAD 00002664: PUSH3 0x461bcd 00002668: PUSH1 0xe5 0000266a: SHL 0000266b: DUP2 0000266c: MSTORE 0000266d: PUSH1 0x04 0000266f: ADD 00002670: DUP1 00002671: DUP1 00002672: PUSH1 0x20 00002674: ADD 00002675: DUP3 00002676: DUP2 00002677: SUB 00002678: DUP3 00002679: MSTORE 0000267a: PUSH1 0x26 0000267c: DUP2 0000267d: MSTORE 0000267e: PUSH1 0x20 00002680: ADD 00002681: DUP1 00002682: PUSH2 0x2b18 00002685: PUSH1 0x26 00002687: SWAP2 00002688: CODECOPY 00002689: PUSH1 0x40 0000268b: ADD 0000268c: SWAP2 0000268d: POP 0000268e: POP 0000268f: PUSH1 0x40 00002691: MLOAD 00002692: DUP1 00002693: SWAP2 00002694: SUB 00002695: SWAP1 00002696: REVERT 00002697: JUMPDEST 00002698: PUSH1 0x02 0000269a: SLOAD 0000269b: PUSH1 0x40 0000269d: MLOAD 0000269e: PUSH1 0x01 000026a0: PUSH1 0x01 000026a2: PUSH1 0xa0 000026a4: SHL 000026a5: SUB 000026a6: DUP1 000026a7: DUP5 000026a8: AND 000026a9: SWAP3 000026aa: AND 000026ab: SWAP1 000026ac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000026cd: SWAP1 000026ce: PUSH1 0x00 000026d0: SWAP1 000026d1: LOG3 000026d2: PUSH1 0x02 000026d4: DUP1 000026d5: SLOAD 000026d6: PUSH1 0x01 000026d8: PUSH1 0x01 000026da: PUSH1 0xa0 000026dc: SHL 000026dd: SUB 000026de: NOT 000026df: AND 000026e0: PUSH1 0x01 000026e2: PUSH1 0x01 000026e4: PUSH1 0xa0 000026e6: SHL 000026e7: SUB 000026e8: SWAP3 000026e9: SWAP1 000026ea: SWAP3 000026eb: AND 000026ec: SWAP2 000026ed: SWAP1 000026ee: SWAP2 000026ef: OR 000026f0: SWAP1 000026f1: SSTORE 000026f2: JUMP 000026f3: JUMPDEST 000026f4: PUSH1 0x01 000026f6: PUSH1 0x01 000026f8: PUSH1 0xa0 000026fa: SHL 000026fb: SUB 000026fc: DUP3 000026fd: AND 000026fe: PUSH1 0x00 00002700: SWAP1 00002701: DUP2 00002702: MSTORE 00002703: PUSH1 0x20 00002705: DUP2 00002706: SWAP1 00002707: MSTORE 00002708: PUSH1 0x40 0000270a: SWAP1 0000270b: KECCAK256 0000270c: SLOAD 0000270d: PUSH2 0x271c 00002710: SWAP1 00002711: DUP3 00002712: PUSH4 0xffffffff 00002717: PUSH2 0x2369 0000271a: AND 0000271b: JUMP 0000271c: JUMPDEST 0000271d: PUSH1 0x01 0000271f: PUSH1 0x01 00002721: PUSH1 0xa0 00002723: SHL 00002724: SUB 00002725: DUP4 00002726: AND 00002727: PUSH1 0x00 00002729: SWAP1 0000272a: DUP2 0000272b: MSTORE 0000272c: PUSH1 0x20 0000272e: DUP2 0000272f: DUP2 00002730: MSTORE 00002731: PUSH1 0x40 00002733: DUP1 00002734: DUP4 00002735: KECCAK256 00002736: SWAP4 00002737: SWAP1 00002738: SWAP4 00002739: SSTORE 0000273a: PUSH1 0x01 0000273c: DUP2 0000273d: MSTORE 0000273e: DUP3 0000273f: DUP3 00002740: KECCAK256 00002741: CALLER 00002742: DUP4 00002743: MSTORE 00002744: SWAP1 00002745: MSTORE 00002746: KECCAK256 00002747: SLOAD 00002748: PUSH2 0x2757 0000274b: SWAP1 0000274c: DUP3 0000274d: PUSH4 0xffffffff 00002752: PUSH2 0x2369 00002755: AND 00002756: JUMP 00002757: JUMPDEST 00002758: PUSH1 0x01 0000275a: PUSH1 0x01 0000275c: PUSH1 0xa0 0000275e: SHL 0000275f: SUB 00002760: DUP4 00002761: AND 00002762: PUSH1 0x00 00002764: DUP2 00002765: DUP2 00002766: MSTORE 00002767: PUSH1 0x01 00002769: PUSH1 0x20 0000276b: SWAP1 0000276c: DUP2 0000276d: MSTORE 0000276e: PUSH1 0x40 00002770: DUP1 00002771: DUP4 00002772: KECCAK256 00002773: CALLER 00002774: DUP1 00002775: DUP6 00002776: MSTORE 00002777: SWAP3 00002778: MSTORE 00002779: SWAP1 0000277a: SWAP2 0000277b: KECCAK256 0000277c: SWAP3 0000277d: SWAP1 0000277e: SWAP3 0000277f: SSTORE 00002780: PUSH2 0x1a4f 00002783: SWAP2 00002784: DUP4 00002785: PUSH4 0xffffffff 0000278a: PUSH2 0x24a7 0000278d: AND 0000278e: JUMP 0000278f: JUMPDEST 00002790: PUSH1 0x00 00002792: DUP2 00002793: DUP5 00002794: DUP5 00002795: GT 00002796: ISZERO 00002797: PUSH2 0x281e 0000279a: JUMPI 0000279b: PUSH1 0x40 0000279d: MLOAD 0000279e: PUSH3 0x461bcd 000027a2: PUSH1 0xe5 000027a4: SHL 000027a5: DUP2 000027a6: MSTORE 000027a7: PUSH1 0x04 000027a9: ADD 000027aa: DUP1 000027ab: DUP1 000027ac: PUSH1 0x20 000027ae: ADD 000027af: DUP3 000027b0: DUP2 000027b1: SUB 000027b2: DUP3 000027b3: MSTORE 000027b4: DUP4 000027b5: DUP2 000027b6: DUP2 000027b7: MLOAD 000027b8: DUP2 000027b9: MSTORE 000027ba: PUSH1 0x20 000027bc: ADD 000027bd: SWAP2 000027be: POP 000027bf: DUP1 000027c0: MLOAD 000027c1: SWAP1 000027c2: PUSH1 0x20 000027c4: ADD 000027c5: SWAP1 000027c6: DUP1 000027c7: DUP4 000027c8: DUP4 000027c9: PUSH1 0x00 000027cb: JUMPDEST 000027cc: DUP4 000027cd: DUP2 000027ce: LT 000027cf: ISZERO 000027d0: PUSH2 0x27e3 000027d3: JUMPI 000027d4: DUP2 000027d5: DUP2 000027d6: ADD 000027d7: MLOAD 000027d8: DUP4 000027d9: DUP3 000027da: ADD 000027db: MSTORE 000027dc: PUSH1 0x20 000027de: ADD 000027df: PUSH2 0x27cb 000027e2: JUMP 000027e3: JUMPDEST 000027e4: POP 000027e5: POP 000027e6: POP 000027e7: POP 000027e8: SWAP1 000027e9: POP 000027ea: SWAP1 000027eb: DUP2 000027ec: ADD 000027ed: SWAP1 000027ee: PUSH1 0x1f 000027f0: AND 000027f1: DUP1 000027f2: ISZERO 000027f3: PUSH2 0x2810 000027f6: JUMPI 000027f7: DUP1 000027f8: DUP3 000027f9: SUB 000027fa: DUP1 000027fb: MLOAD 000027fc: PUSH1 0x01 000027fe: DUP4 000027ff: PUSH1 0x20 00002801: SUB 00002802: PUSH2 0x0100 00002805: EXP 00002806: SUB 00002807: NOT 00002808: AND 00002809: DUP2 0000280a: MSTORE 0000280b: PUSH1 0x20 0000280d: ADD 0000280e: SWAP2 0000280f: POP 00002810: JUMPDEST 00002811: POP 00002812: SWAP3 00002813: POP 00002814: POP 00002815: POP 00002816: PUSH1 0x40 00002818: MLOAD 00002819: DUP1 0000281a: SWAP2 0000281b: SUB 0000281c: SWAP1 0000281d: REVERT 0000281e: JUMPDEST 0000281f: POP 00002820: POP 00002821: POP 00002822: SWAP1 00002823: SUB 00002824: SWAP1 00002825: JUMP 00002826: JUMPDEST 00002827: PUSH1 0x00 00002829: DUP2 0000282a: DUP4 0000282b: PUSH2 0x2875 0000282e: JUMPI 0000282f: PUSH1 0x40 00002831: MLOAD 00002832: PUSH3 0x461bcd 00002836: PUSH1 0xe5 00002838: SHL 00002839: DUP2 0000283a: MSTORE 0000283b: PUSH1 0x20 0000283d: PUSH1 0x04 0000283f: DUP3 00002840: ADD 00002841: DUP2 00002842: DUP2 00002843: MSTORE 00002844: DUP4 00002845: MLOAD 00002846: PUSH1 0x24 00002848: DUP5 00002849: ADD 0000284a: MSTORE 0000284b: DUP4 0000284c: MLOAD 0000284d: SWAP1 0000284e: SWAP3 0000284f: DUP4 00002850: SWAP3 00002851: PUSH1 0x44 00002853: SWAP1 00002854: SWAP2 00002855: ADD 00002856: SWAP2 00002857: SWAP1 00002858: DUP6 00002859: ADD 0000285a: SWAP1 0000285b: DUP1 0000285c: DUP4 0000285d: DUP4 0000285e: PUSH1 0x00 00002860: DUP4 00002861: ISZERO 00002862: PUSH2 0x27e3 00002865: JUMPI 00002866: DUP2 00002867: DUP2 00002868: ADD 00002869: MLOAD 0000286a: DUP4 0000286b: DUP3 0000286c: ADD 0000286d: MSTORE 0000286e: PUSH1 0x20 00002870: ADD 00002871: PUSH2 0x27cb 00002874: JUMP 00002875: JUMPDEST 00002876: POP 00002877: PUSH1 0x00 00002879: DUP4 0000287a: DUP6 0000287b: DUP2 0000287c: PUSH2 0x2881 0000287f: JUMPI 00002880: INVALID 00002881: JUMPDEST 00002882: DIV 00002883: SWAP6 00002884: SWAP5 00002885: POP 00002886: POP 00002887: POP 00002888: POP 00002889: POP 0000288a: JUMP 0000288b: JUMPDEST 0000288c: PUSH2 0x289d 0000288f: DUP3 00002890: PUSH1 0x01 00002892: PUSH1 0x01 00002894: PUSH1 0xa0 00002896: SHL 00002897: SUB 00002898: AND 00002899: PUSH2 0x2a43 0000289c: JUMP 0000289d: JUMPDEST 0000289e: PUSH2 0x28ee 000028a1: JUMPI 000028a2: PUSH1 0x40 000028a4: DUP1 000028a5: MLOAD 000028a6: PUSH3 0x461bcd 000028aa: PUSH1 0xe5 000028ac: SHL 000028ad: DUP2 000028ae: MSTORE 000028af: PUSH1 0x20 000028b1: PUSH1 0x04 000028b3: DUP3 000028b4: ADD 000028b5: MSTORE 000028b6: PUSH1 0x1f 000028b8: PUSH1 0x24 000028ba: DUP3 000028bb: ADD 000028bc: MSTORE 000028bd: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 000028de: PUSH1 0x44 000028e0: DUP3 000028e1: ADD 000028e2: MSTORE 000028e3: SWAP1 000028e4: MLOAD 000028e5: SWAP1 000028e6: DUP2 000028e7: SWAP1 000028e8: SUB 000028e9: PUSH1 0x64 000028eb: ADD 000028ec: SWAP1 000028ed: REVERT 000028ee: JUMPDEST 000028ef: PUSH1 0x00 000028f1: PUSH1 0x60 000028f3: DUP4 000028f4: PUSH1 0x01 000028f6: PUSH1 0x01 000028f8: PUSH1 0xa0 000028fa: SHL 000028fb: SUB 000028fc: AND 000028fd: DUP4 000028fe: PUSH1 0x40 00002900: MLOAD 00002901: DUP1 00002902: DUP3 00002903: DUP1 00002904: MLOAD 00002905: SWAP1 00002906: PUSH1 0x20 00002908: ADD 00002909: SWAP1 0000290a: DUP1 0000290b: DUP4 0000290c: DUP4 0000290d: JUMPDEST 0000290e: PUSH1 0x20 00002910: DUP4 00002911: LT 00002912: PUSH2 0x292c 00002915: JUMPI 00002916: DUP1 00002917: MLOAD 00002918: DUP3 00002919: MSTORE 0000291a: PUSH1 0x1f 0000291c: NOT 0000291d: SWAP1 0000291e: SWAP3 0000291f: ADD 00002920: SWAP2 00002921: PUSH1 0x20 00002923: SWAP2 00002924: DUP3 00002925: ADD 00002926: SWAP2 00002927: ADD 00002928: PUSH2 0x290d 0000292b: JUMP 0000292c: JUMPDEST 0000292d: PUSH1 0x01 0000292f: DUP4 00002930: PUSH1 0x20 00002932: SUB 00002933: PUSH2 0x0100 00002936: EXP 00002937: SUB 00002938: DUP1 00002939: NOT 0000293a: DUP3 0000293b: MLOAD 0000293c: AND 0000293d: DUP2 0000293e: DUP5 0000293f: MLOAD 00002940: AND 00002941: DUP1 00002942: DUP3 00002943: OR 00002944: DUP6 00002945: MSTORE 00002946: POP 00002947: POP 00002948: POP 00002949: POP 0000294a: POP 0000294b: POP 0000294c: SWAP1 0000294d: POP 0000294e: ADD 0000294f: SWAP2 00002950: POP 00002951: POP 00002952: PUSH1 0x00 00002954: PUSH1 0x40 00002956: MLOAD 00002957: DUP1 00002958: DUP4 00002959: SUB 0000295a: DUP2 0000295b: PUSH1 0x00 0000295d: DUP7 0000295e: GAS 0000295f: CALL 00002960: SWAP2 00002961: POP 00002962: POP 00002963: RETURNDATASIZE 00002964: DUP1 00002965: PUSH1 0x00 00002967: DUP2 00002968: EQ 00002969: PUSH2 0x298e 0000296c: JUMPI 0000296d: PUSH1 0x40 0000296f: MLOAD 00002970: SWAP2 00002971: POP 00002972: PUSH1 0x1f 00002974: NOT 00002975: PUSH1 0x3f 00002977: RETURNDATASIZE 00002978: ADD 00002979: AND 0000297a: DUP3 0000297b: ADD 0000297c: PUSH1 0x40 0000297e: MSTORE 0000297f: RETURNDATASIZE 00002980: DUP3 00002981: MSTORE 00002982: RETURNDATASIZE 00002983: PUSH1 0x00 00002985: PUSH1 0x20 00002987: DUP5 00002988: ADD 00002989: RETURNDATACOPY 0000298a: PUSH2 0x2993 0000298d: JUMP 0000298e: JUMPDEST 0000298f: PUSH1 0x60 00002991: SWAP2 00002992: POP 00002993: JUMPDEST 00002994: POP 00002995: SWAP2 00002996: POP 00002997: SWAP2 00002998: POP 00002999: DUP2 0000299a: PUSH2 0x29ea 0000299d: JUMPI 0000299e: PUSH1 0x40 000029a0: DUP1 000029a1: MLOAD 000029a2: PUSH3 0x461bcd 000029a6: PUSH1 0xe5 000029a8: SHL 000029a9: DUP2 000029aa: MSTORE 000029ab: PUSH1 0x20 000029ad: PUSH1 0x04 000029af: DUP3 000029b0: ADD 000029b1: DUP2 000029b2: SWAP1 000029b3: MSTORE 000029b4: PUSH1 0x24 000029b6: DUP3 000029b7: ADD 000029b8: MSTORE 000029b9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000029da: PUSH1 0x44 000029dc: DUP3 000029dd: ADD 000029de: MSTORE 000029df: SWAP1 000029e0: MLOAD 000029e1: SWAP1 000029e2: DUP2 000029e3: SWAP1 000029e4: SUB 000029e5: PUSH1 0x64 000029e7: ADD 000029e8: SWAP1 000029e9: REVERT 000029ea: JUMPDEST 000029eb: DUP1 000029ec: MLOAD 000029ed: ISZERO 000029ee: PUSH2 0x10c0 000029f1: JUMPI 000029f2: DUP1 000029f3: DUP1 000029f4: PUSH1 0x20 000029f6: ADD 000029f7: SWAP1 000029f8: MLOAD 000029f9: PUSH1 0x20 000029fb: DUP2 000029fc: LT 000029fd: ISZERO 000029fe: PUSH2 0x2a06 00002a01: JUMPI 00002a02: PUSH1 0x00 00002a04: DUP1 00002a05: REVERT 00002a06: JUMPDEST 00002a07: POP 00002a08: MLOAD 00002a09: PUSH2 0x10c0 00002a0c: JUMPI 00002a0d: PUSH1 0x40 00002a0f: MLOAD 00002a10: PUSH3 0x461bcd 00002a14: PUSH1 0xe5 00002a16: SHL 00002a17: DUP2 00002a18: MSTORE 00002a19: PUSH1 0x04 00002a1b: ADD 00002a1c: DUP1 00002a1d: DUP1 00002a1e: PUSH1 0x20 00002a20: ADD 00002a21: DUP3 00002a22: DUP2 00002a23: SUB 00002a24: DUP3 00002a25: MSTORE 00002a26: PUSH1 0x2a 00002a28: DUP2 00002a29: MSTORE 00002a2a: PUSH1 0x20 00002a2c: ADD 00002a2d: DUP1 00002a2e: PUSH2 0x2be2 00002a31: PUSH1 0x2a 00002a33: SWAP2 00002a34: CODECOPY 00002a35: PUSH1 0x40 00002a37: ADD 00002a38: SWAP2 00002a39: POP 00002a3a: POP 00002a3b: PUSH1 0x40 00002a3d: MLOAD 00002a3e: DUP1 00002a3f: SWAP2 00002a40: SUB 00002a41: SWAP1 00002a42: REVERT 00002a43: JUMPDEST 00002a44: PUSH1 0x00 00002a46: DUP2 00002a47: EXTCODEHASH 00002a48: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470 00002a69: DUP2 00002a6a: ISZERO 00002a6b: DUP1 00002a6c: ISZERO 00002a6d: SWAP1 00002a6e: PUSH2 0x2a77 00002a71: JUMPI 00002a72: POP 00002a73: DUP1 00002a74: DUP3 00002a75: EQ 00002a76: ISZERO 00002a77: JUMPDEST 00002a78: SWAP5 00002a79: SWAP4 00002a7a: POP 00002a7b: POP 00002a7c: POP 00002a7d: POP 00002a7e: JUMP 00002a7f: JUMPDEST 00002a80: PUSH1 0x40 00002a82: DUP1 00002a83: MLOAD 00002a84: PUSH1 0x01 00002a86: PUSH1 0x01 00002a88: PUSH1 0xa0 00002a8a: SHL 00002a8b: SUB 00002a8c: DUP6 00002a8d: DUP2 00002a8e: AND 00002a8f: PUSH1 0x24 00002a91: DUP4 00002a92: ADD 00002a93: MSTORE 00002a94: DUP5 00002a95: AND 00002a96: PUSH1 0x44 00002a98: DUP3 00002a99: ADD 00002a9a: MSTORE 00002a9b: PUSH1 0x64 00002a9d: DUP1 00002a9e: DUP3 00002a9f: ADD 00002aa0: DUP5 00002aa1: SWAP1 00002aa2: MSTORE 00002aa3: DUP3 00002aa4: MLOAD 00002aa5: DUP1 00002aa6: DUP4 00002aa7: SUB 00002aa8: SWAP1 00002aa9: SWAP2 00002aaa: ADD 00002aab: DUP2 00002aac: MSTORE 00002aad: PUSH1 0x84 00002aaf: SWAP1 00002ab0: SWAP2 00002ab1: ADD 00002ab2: SWAP1 00002ab3: SWAP2 00002ab4: MSTORE 00002ab5: PUSH1 0x20 00002ab7: DUP2 00002ab8: ADD 00002ab9: DUP1 00002aba: MLOAD 00002abb: PUSH1 0x01 00002abd: PUSH1 0x01 00002abf: PUSH1 0xe0 00002ac1: SHL 00002ac2: SUB 00002ac3: AND 00002ac4: PUSH4 0x23b872dd 00002ac9: PUSH1 0xe0 00002acb: SHL 00002acc: OR 00002acd: SWAP1 00002ace: MSTORE 00002acf: PUSH2 0x10c0 00002ad2: SWAP1 00002ad3: DUP6 00002ad4: SWAP1 00002ad5: PUSH2 0x288b 00002ad8: JUMP 00002ad9: INVALID 00002ada: COINBASE 00002adb: PUSH15 0x6472652c2077652061726520666172 00002aeb: PUSH14 0x696e6720696e2070656163652c20 00002afa: PUSH8 0x6f20686172766573 00002b03: PUSH21 0x20736f6d65776865726520656c7365207369722e4f 00002b19: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00002b32: PUSH27 0x65726f2061646472657373596f75206861766520636c61696d6564 00002b4e: KECCAK256 00002b4f: PUSH2 0x6c6c 00002b52: KECCAK256 00002b53: PUSH17 0x656e64696e6720764554482ede88a922e0 00002b65: UNKNOWN(0xD3) 00002b66: UNKNOWN(0xB8) 00002b67: DUP12 00002b68: UNKNOWN(0x24) 00002b69: UNKNOWN(0xE9) 00002b6a: PUSH3 0x3efeb4 00002b6e: PUSH5 0x919c6bf9f6 00002b74: PUSH9 0x57a65e2bfcf2ce87a9 00002b7e: NUMBER 00002b7f: RETURNDATASIZE 00002b80: MSTORE8 00002b81: PUSH2 0x6665 00002b84: UNKNOWN(0x4D) 00002b85: PUSH2 0x7468 00002b88: GASPRICE 00002b89: KECCAK256 00002b8a: PUSH14 0x756c7469706c69636174696f6e20 00002b99: PUSH16 0x766572666c6f774f776e61626c653a20 00002baa: PUSH4 0x616c6c65 00002baf: PUSH19 0x206973206e6f7420746865206f776e65724361 00002bc3: PUSH13 0x6c6572206973206e6f74207265 00002bd1: PUSH24 0x61726420646973747269627574696f6e5361666545524332 00002bea: ADDRESS 00002beb: GASPRICE 00002bec: KECCAK256 00002bed: GASLIMIT 00002bee: MSTORE 00002bef: NUMBER 00002bf0: ORIGIN 00002bf1: ADDRESS 00002bf2: KECCAK256 00002bf3: PUSH16 0x7065726174696f6e20646964206e6f74 00002c04: KECCAK256 00002c05: PUSH20 0x7563636565647645544820636f756c6420626520 00002c1a: PUSH4 0x6c61696d 00002c1f: PUSH6 0x64206f6e6c79 00002c26: KECCAK256 00002c27: PUSH2 0x6674 00002c2a: PUSH6 0x722074686520 00002c31: PUSH17 0x6f6f6c20656e64732ea265627a7a723158 00002c43: KECCAK256 00002c44: SIGNEXTEND 00002c45: PUSH17 0x9963c107f08352dba89086a12e4e5f01b0 00002c57: DUP4 00002c58: SDIV 00002c59: UNKNOWN(0xC2) 00002c5a: UNKNOWN(0xA9) 00002c5b: DIV 00002c5c: UNKNOWN(0xD6) 00002c5d: DUP14 00002c5e: COINBASE 00002c5f: UNKNOWN(0xB7) 00002c60: UNKNOWN(0xDD) 00002c61: DUP10 00002c62: UNKNOWN(0xC2) 00002c63: SHR 00002c64: PUSH5 0x736f6c6343 00002c6a: STOP 00002c6b: SDIV 00002c6c: GT 00002c6d: STOP 00002c6e: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7888aec",
"selector": "0xf7888aec",
"calldata_variants": [
"0xf7888aec",
"0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffe48902",
"selector": "0xffe48902",
"calldata_variants": [
"0xffe48902",
"0xffe489020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9b46e6d",
"selector": "0xe9b46e6d",
"calldata_variants": [
"0xe9b46e6d",
"0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb504614",
"selector": "0xeb504614",
"calldata_variants": [
"0xeb504614",
"0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 9541,
"type": "tx_origin_used"
},
{
"pc": 11248,
"type": "tx_origin_used"
},
{
"pc": 11374,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b
call_targets:
0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7888aec",
"selector": "0xf7888aec",
"calldata_variants": [
"0xf7888aec",
"0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffe48902",
"selector": "0xffe48902",
"calldata_variants": [
"0xffe48902",
"0xffe489020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9b46e6d",
"selector": "0xe9b46e6d",
"calldata_variants": [
"0xe9b46e6d",
"0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb504614",
"selector": "0xeb504614",
"calldata_variants": [
"0xeb504614",
"0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3463,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 15,
"guards_detected": [
{
"pc": 9541,
"type": "tx_origin_used"
},
{
"pc": 11248,
"type": "tx_origin_used"
},
{
"pc": 11374,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 15
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b
call_targets:
0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe"
],
"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": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7888aec",
"selector": "0xf7888aec",
"calldata_variants": [
"0xf7888aec",
"0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffe48902",
"selector": "0xffe48902",
"calldata_variants": [
"0xffe48902",
"0xffe489020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9b46e6d",
"selector": "0xe9b46e6d",
"calldata_variants": [
"0xe9b46e6d",
"0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb504614",
"selector": "0xeb504614",
"calldata_variants": [
"0xeb504614",
"0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebe2b12b",
"selector": "0xebe2b12b",
"calldata_variants": [
"0xebe2b12b",
"0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3463,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3610,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 15,
"guards_detected": [
{
"pc": 9541,
"type": "tx_origin_used"
},
{
"pc": 11248,
"type": "tx_origin_used"
},
{
"pc": 11374,
"type": "tx_origin_used"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 17
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 17
}
|