6db274cf-f603-4ff4-931b-925804e03b3e
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 |
|---|---|---|---|---|
| 31726 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95779 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 95780 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95781 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95782 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95783 | detector.run | complete | 1 / 3 | 1 week ago |
| 95784 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:252947] OpenAI Codex v0.77.0 (research preview)
[codex:252947] --------
[codex:252947] workdir: /tmp/codex-multi-o70034jw
[codex:252947] model: gpt-5.2-codex
[codex:252947] provider: openai
[codex:252947] approval: never
[codex:252947] sandbox: read-only
[codex:252947] reasoning effort: xhigh
[codex:252947] reasoning summaries: auto
[codex:252947] session id: 019b8f4e-d752-76c0-a0b1-9e609f42d516
[codex:252947] --------
[codex:252947] user
[codex:252947] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:252947]
[codex:252947] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:252947]
[codex:252947] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:252947] - Gas inefficiency, code quality, naming, or best practices
[codex:252947] - Theoretical vulnerabilities without a clear extraction path
[codex:252947] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:252947] - Front-running unless it enables theft beyond MEV
[codex:252947] - DoS, griefing, or issues that don't result in attacker profit
[codex:252947] - Missing events, view function issues, or informational findings
[codex:252947]
[codex:252947] HIGH-VALUE PATTERNS TO HUNT:
[codex:252947] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:252947] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:252947] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:252947] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:252947] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:252947] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:252947] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:252947] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:252947] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:252947]
[codex:252947] For each finding, you MUST provide:
[codex:252947] 1. Exact file and line numbers of vulnerable code
[codex:252947] 2. Step-by-step exploit transaction sequence
[codex:252947] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:252947]
[codex:252947] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:252947]
[codex:252947] Output MUST be valid JSON matching the provided schema.
[codex:252947] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:252947] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:252947] mcp startup: no servers
[codex:252947]
[codex:252947] thinking
[codex:252947] **Preparing to read instructions**
[codex:252947] exec
[codex:252947] /bin/bash -lc ls in /tmp/codex-multi-o70034jw succeeded in 5ms:
[codex:252947] AUDIT_BUNDLE.txt
[codex:252947] codex-output-schema.json
[codex:252947] contracts
[codex:252947] exec
[codex:252947] /bin/bash -lc 'rg --files' in /tmp/codex-multi-o70034jw succeeded in 16ms:
[codex:252947] codex-output-schema.json
[codex:252947] AUDIT_BUNDLE.txt
[codex:252947] contracts/Contract.sol
[codex:252947] exec
[codex:252947] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-o70034jw succeeded in 5ms:
[codex:252947] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:252947]
[codex:252947] ================================================================================
[codex:252947] FILE: contracts/Contract.sol
[codex:252947] ================================================================================
[codex:252947] pragma solidity 0.4.19;
[codex:252947]
[codex:252947] /**
[codex:252947] * @title SafeMath
[codex:252947] * @dev Math operations with safety checks that throw on error
[codex:252947] */
[codex:252947] library SafeMath {
[codex:252947]
[codex:252947] /**
[codex:252947] * @dev Multiplies two numbers, throws on overflow.
[codex:252947] */
[codex:252947] function mul(uint256 a, uint256 b) internal pure returns (uint256) {
[codex:252947] if (a == 0) {
[codex:252947] return 0;
[codex:252947] }
[codex:252947]
[codex:252947]
[codex:252947] thinking
[codex:252947] **Analyzing potential dividend withdrawal exploits**
[codex:252947] thinking
[codex:252947] **Confirming absence of exploitable vulnerabilities**
[codex:252947]
[codex:252947] I've reviewed potential overflow, reentrancy, and allowance race issues and found no concrete profit exploits in the contract logic; standard ERC20 allowance behaviors rely on user caution but do not expose fresh attack vectors here. I'll prepare the final JSON response confirming no findings.
[codex:252947] codex
[codex:252947] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were identified in the reviewed source.","findings":[]}
[codex:252947] tokens used
[codex:252947] 9,126
[codex:252947] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs were identified in the reviewed source.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T17:59:05.910503+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were identified in the reviewed source.",
"raw_final": {
"summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs were identified in the reviewed source.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0107 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x05d2035b 0000003c: EQ 0000003d: PUSH2 0x0114 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x06fdde03 00000047: EQ 00000048: PUSH2 0x0141 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x095ea7b3 00000052: EQ 00000053: PUSH2 0x01cf 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x18160ddd 0000005d: EQ 0000005e: PUSH2 0x0229 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x23b872dd 00000068: EQ 00000069: PUSH2 0x0252 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x02cb 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x40c10f19 0000007e: EQ 0000007f: PUSH2 0x02fa 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x4634d81c 00000089: EQ 0000008a: PUSH2 0x0354 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x66188463 00000094: EQ 00000095: PUSH2 0x03a1 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x6cfb2c9c 0000009f: EQ 000000a0: PUSH2 0x03fb 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x70a08231 000000aa: EQ 000000ab: PUSH2 0x0429 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x7d64bcb4 000000b5: EQ 000000b6: PUSH2 0x0476 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x8da5cb5b 000000c0: EQ 000000c1: PUSH2 0x04a3 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x95d89b41 000000cb: EQ 000000cc: PUSH2 0x04f8 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xa9059cbb 000000d6: EQ 000000d7: PUSH2 0x0586 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xd0e30db0 000000e1: EQ 000000e2: PUSH2 0x05e0 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xd73dd623 000000ec: EQ 000000ed: PUSH2 0x05ea 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xdd62ed3e 000000f7: EQ 000000f8: PUSH2 0x0644 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xf2fde38b 00000102: EQ 00000103: PUSH2 0x06b0 00000106: JUMPI 00000107: JUMPDEST 00000108: PUSH2 0x0111 0000010b: CALLER 0000010c: CALLVALUE 0000010d: PUSH2 0x06e9 00000110: JUMP 00000111: JUMPDEST 00000112: POP 00000113: STOP 00000114: JUMPDEST 00000115: CALLVALUE 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: PUSH2 0x0127 00000123: PUSH2 0x09a1 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH1 0x40 0000012a: MLOAD 0000012b: DUP1 0000012c: DUP3 0000012d: ISZERO 0000012e: ISZERO 0000012f: ISZERO 00000130: ISZERO 00000131: DUP2 00000132: MSTORE 00000133: PUSH1 0x20 00000135: ADD 00000136: SWAP2 00000137: POP 00000138: POP 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: DUP1 0000013d: SWAP2 0000013e: SUB 0000013f: SWAP1 00000140: RETURN 00000141: JUMPDEST 00000142: CALLVALUE 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: PUSH2 0x0154 00000150: PUSH2 0x09b4 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH1 0x40 00000157: MLOAD 00000158: DUP1 00000159: DUP1 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: DUP3 0000015e: DUP2 0000015f: SUB 00000160: DUP3 00000161: MSTORE 00000162: DUP4 00000163: DUP2 00000164: DUP2 00000165: MLOAD 00000166: DUP2 00000167: MSTORE 00000168: PUSH1 0x20 0000016a: ADD 0000016b: SWAP2 0000016c: POP 0000016d: DUP1 0000016e: MLOAD 0000016f: SWAP1 00000170: PUSH1 0x20 00000172: ADD 00000173: SWAP1 00000174: DUP1 00000175: DUP4 00000176: DUP4 00000177: PUSH1 0x00 00000179: JUMPDEST 0000017a: DUP4 0000017b: DUP2 0000017c: LT 0000017d: ISZERO 0000017e: PUSH2 0x0194 00000181: JUMPI 00000182: DUP1 00000183: DUP3 00000184: ADD 00000185: MLOAD 00000186: DUP2 00000187: DUP5 00000188: ADD 00000189: MSTORE 0000018a: PUSH1 0x20 0000018c: DUP2 0000018d: ADD 0000018e: SWAP1 0000018f: POP 00000190: PUSH2 0x0179 00000193: JUMP 00000194: JUMPDEST 00000195: POP 00000196: POP 00000197: POP 00000198: POP 00000199: SWAP1 0000019a: POP 0000019b: SWAP1 0000019c: DUP2 0000019d: ADD 0000019e: SWAP1 0000019f: PUSH1 0x1f 000001a1: AND 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01c1 000001a7: JUMPI 000001a8: DUP1 000001a9: DUP3 000001aa: SUB 000001ab: DUP1 000001ac: MLOAD 000001ad: PUSH1 0x01 000001af: DUP4 000001b0: PUSH1 0x20 000001b2: SUB 000001b3: PUSH2 0x0100 000001b6: EXP 000001b7: SUB 000001b8: NOT 000001b9: AND 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x20 000001be: ADD 000001bf: SWAP2 000001c0: POP 000001c1: JUMPDEST 000001c2: POP 000001c3: SWAP3 000001c4: POP 000001c5: POP 000001c6: POP 000001c7: PUSH1 0x40 000001c9: MLOAD 000001ca: DUP1 000001cb: SWAP2 000001cc: SUB 000001cd: SWAP1 000001ce: RETURN 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: ISZERO 000001d2: PUSH2 0x01da 000001d5: JUMPI 000001d6: PUSH1 0x00 000001d8: DUP1 000001d9: REVERT 000001da: JUMPDEST 000001db: PUSH2 0x020f 000001de: PUSH1 0x04 000001e0: DUP1 000001e1: DUP1 000001e2: CALLDATALOAD 000001e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f8: AND 000001f9: SWAP1 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: SWAP1 000001fe: SWAP2 000001ff: SWAP1 00000200: DUP1 00000201: CALLDATALOAD 00000202: SWAP1 00000203: PUSH1 0x20 00000205: ADD 00000206: SWAP1 00000207: SWAP2 00000208: SWAP1 00000209: POP 0000020a: POP 0000020b: PUSH2 0x0a52 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: DUP3 00000215: ISZERO 00000216: ISZERO 00000217: ISZERO 00000218: ISZERO 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x20 0000021d: ADD 0000021e: SWAP2 0000021f: POP 00000220: POP 00000221: PUSH1 0x40 00000223: MLOAD 00000224: DUP1 00000225: SWAP2 00000226: SUB 00000227: SWAP1 00000228: RETURN 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: PUSH2 0x023c 00000238: PUSH2 0x0b44 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: DUP3 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x20 00000246: ADD 00000247: SWAP2 00000248: POP 00000249: POP 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: DUP1 0000024e: SWAP2 0000024f: SUB 00000250: SWAP1 00000251: RETURN 00000252: JUMPDEST 00000253: CALLVALUE 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: PUSH2 0x02b1 00000261: PUSH1 0x04 00000263: DUP1 00000264: DUP1 00000265: CALLDATALOAD 00000266: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027b: AND 0000027c: SWAP1 0000027d: PUSH1 0x20 0000027f: ADD 00000280: SWAP1 00000281: SWAP2 00000282: SWAP1 00000283: DUP1 00000284: CALLDATALOAD 00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029a: AND 0000029b: SWAP1 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: SWAP1 000002a0: SWAP2 000002a1: SWAP1 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: SWAP1 000002a5: PUSH1 0x20 000002a7: ADD 000002a8: SWAP1 000002a9: SWAP2 000002aa: SWAP1 000002ab: POP 000002ac: POP 000002ad: PUSH2 0x0b4e 000002b0: JUMP 000002b1: JUMPDEST 000002b2: PUSH1 0x40 000002b4: MLOAD 000002b5: DUP1 000002b6: DUP3 000002b7: ISZERO 000002b8: ISZERO 000002b9: ISZERO 000002ba: ISZERO 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: SWAP2 000002c1: POP 000002c2: POP 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: DUP1 000002c7: SWAP2 000002c8: SUB 000002c9: SWAP1 000002ca: RETURN 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: PUSH2 0x02de 000002da: PUSH2 0x0dd9 000002dd: JUMP 000002de: JUMPDEST 000002df: PUSH1 0x40 000002e1: MLOAD 000002e2: DUP1 000002e3: DUP3 000002e4: PUSH1 0xff 000002e6: AND 000002e7: PUSH1 0xff 000002e9: AND 000002ea: DUP2 000002eb: MSTORE 000002ec: PUSH1 0x20 000002ee: ADD 000002ef: SWAP2 000002f0: POP 000002f1: POP 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: SWAP2 000002f7: SUB 000002f8: SWAP1 000002f9: RETURN 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: PUSH2 0x033a 00000309: PUSH1 0x04 0000030b: DUP1 0000030c: DUP1 0000030d: CALLDATALOAD 0000030e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000323: AND 00000324: SWAP1 00000325: PUSH1 0x20 00000327: ADD 00000328: SWAP1 00000329: SWAP2 0000032a: SWAP1 0000032b: DUP1 0000032c: CALLDATALOAD 0000032d: SWAP1 0000032e: PUSH1 0x20 00000330: ADD 00000331: SWAP1 00000332: SWAP2 00000333: SWAP1 00000334: POP 00000335: POP 00000336: PUSH2 0x0dec 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: DUP1 0000033f: DUP3 00000340: ISZERO 00000341: ISZERO 00000342: ISZERO 00000343: ISZERO 00000344: DUP2 00000345: MSTORE 00000346: PUSH1 0x20 00000348: ADD 00000349: SWAP2 0000034a: POP 0000034b: POP 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: SWAP2 00000351: SUB 00000352: SWAP1 00000353: RETURN 00000354: JUMPDEST 00000355: CALLVALUE 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: PUSH2 0x038b 00000363: PUSH1 0x04 00000365: DUP1 00000366: DUP1 00000367: CALLDATALOAD 00000368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037d: AND 0000037e: SWAP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP1 00000383: SWAP2 00000384: SWAP1 00000385: POP 00000386: POP 00000387: PUSH2 0x0fd2 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: DUP3 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x20 00000395: ADD 00000396: SWAP2 00000397: POP 00000398: POP 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: SWAP2 0000039e: SUB 0000039f: SWAP1 000003a0: RETURN 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: ISZERO 000003a4: PUSH2 0x03ac 000003a7: JUMPI 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: REVERT 000003ac: JUMPDEST 000003ad: PUSH2 0x03e1 000003b0: PUSH1 0x04 000003b2: DUP1 000003b3: DUP1 000003b4: CALLDATALOAD 000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ca: AND 000003cb: SWAP1 000003cc: PUSH1 0x20 000003ce: ADD 000003cf: SWAP1 000003d0: SWAP2 000003d1: SWAP1 000003d2: DUP1 000003d3: CALLDATALOAD 000003d4: SWAP1 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: SWAP1 000003d9: SWAP2 000003da: SWAP1 000003db: POP 000003dc: POP 000003dd: PUSH2 0x10e5 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP1 000003e6: DUP3 000003e7: ISZERO 000003e8: ISZERO 000003e9: ISZERO 000003ea: ISZERO 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: SWAP2 000003f1: POP 000003f2: POP 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: DUP1 000003f7: SWAP2 000003f8: SUB 000003f9: SWAP1 000003fa: RETURN 000003fb: JUMPDEST 000003fc: CALLVALUE 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: PUSH2 0x0427 0000040a: PUSH1 0x04 0000040c: DUP1 0000040d: DUP1 0000040e: CALLDATALOAD 0000040f: SWAP1 00000410: PUSH1 0x20 00000412: ADD 00000413: SWAP1 00000414: DUP3 00000415: ADD 00000416: DUP1 00000417: CALLDATALOAD 00000418: SWAP1 00000419: PUSH1 0x20 0000041b: ADD 0000041c: SWAP2 0000041d: SWAP1 0000041e: SWAP2 0000041f: SWAP3 00000420: SWAP1 00000421: POP 00000422: POP 00000423: PUSH2 0x1376 00000426: JUMP 00000427: JUMPDEST 00000428: STOP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: PUSH2 0x0460 00000438: PUSH1 0x04 0000043a: DUP1 0000043b: DUP1 0000043c: CALLDATALOAD 0000043d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000452: AND 00000453: SWAP1 00000454: PUSH1 0x20 00000456: ADD 00000457: SWAP1 00000458: SWAP2 00000459: SWAP1 0000045a: POP 0000045b: POP 0000045c: PUSH2 0x13f4 0000045f: JUMP 00000460: JUMPDEST 00000461: PUSH1 0x40 00000463: MLOAD 00000464: DUP1 00000465: DUP3 00000466: DUP2 00000467: MSTORE 00000468: PUSH1 0x20 0000046a: ADD 0000046b: SWAP2 0000046c: POP 0000046d: POP 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: DUP1 00000472: SWAP2 00000473: SUB 00000474: SWAP1 00000475: RETURN 00000476: JUMPDEST 00000477: CALLVALUE 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: PUSH2 0x0489 00000485: PUSH2 0x143c 00000488: JUMP 00000489: JUMPDEST 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: DUP1 0000048e: DUP3 0000048f: ISZERO 00000490: ISZERO 00000491: ISZERO 00000492: ISZERO 00000493: DUP2 00000494: MSTORE 00000495: PUSH1 0x20 00000497: ADD 00000498: SWAP2 00000499: POP 0000049a: POP 0000049b: PUSH1 0x40 0000049d: MLOAD 0000049e: DUP1 0000049f: SWAP2 000004a0: SUB 000004a1: SWAP1 000004a2: RETURN 000004a3: JUMPDEST 000004a4: CALLVALUE 000004a5: ISZERO 000004a6: PUSH2 0x04ae 000004a9: JUMPI 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: REVERT 000004ae: JUMPDEST 000004af: PUSH2 0x04b6 000004b2: PUSH2 0x1504 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH1 0x40 000004b9: MLOAD 000004ba: DUP1 000004bb: DUP3 000004bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d1: AND 000004d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e7: AND 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: SWAP2 000004ee: POP 000004ef: POP 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: DUP1 000004f4: SWAP2 000004f5: SUB 000004f6: SWAP1 000004f7: RETURN 000004f8: JUMPDEST 000004f9: CALLVALUE 000004fa: ISZERO 000004fb: PUSH2 0x0503 000004fe: JUMPI 000004ff: PUSH1 0x00 00000501: DUP1 00000502: REVERT 00000503: JUMPDEST 00000504: PUSH2 0x050b 00000507: PUSH2 0x152a 0000050a: JUMP 0000050b: JUMPDEST 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: DUP1 00000511: PUSH1 0x20 00000513: ADD 00000514: DUP3 00000515: DUP2 00000516: SUB 00000517: DUP3 00000518: MSTORE 00000519: DUP4 0000051a: DUP2 0000051b: DUP2 0000051c: MLOAD 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP2 00000523: POP 00000524: DUP1 00000525: MLOAD 00000526: SWAP1 00000527: PUSH1 0x20 00000529: ADD 0000052a: SWAP1 0000052b: DUP1 0000052c: DUP4 0000052d: DUP4 0000052e: PUSH1 0x00 00000530: JUMPDEST 00000531: DUP4 00000532: DUP2 00000533: LT 00000534: ISZERO 00000535: PUSH2 0x054b 00000538: JUMPI 00000539: DUP1 0000053a: DUP3 0000053b: ADD 0000053c: MLOAD 0000053d: DUP2 0000053e: DUP5 0000053f: ADD 00000540: MSTORE 00000541: PUSH1 0x20 00000543: DUP2 00000544: ADD 00000545: SWAP1 00000546: POP 00000547: PUSH2 0x0530 0000054a: JUMP 0000054b: JUMPDEST 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: POP 00000550: SWAP1 00000551: POP 00000552: SWAP1 00000553: DUP2 00000554: ADD 00000555: SWAP1 00000556: PUSH1 0x1f 00000558: AND 00000559: DUP1 0000055a: ISZERO 0000055b: PUSH2 0x0578 0000055e: JUMPI 0000055f: DUP1 00000560: DUP3 00000561: SUB 00000562: DUP1 00000563: MLOAD 00000564: PUSH1 0x01 00000566: DUP4 00000567: PUSH1 0x20 00000569: SUB 0000056a: PUSH2 0x0100 0000056d: EXP 0000056e: SUB 0000056f: NOT 00000570: AND 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x20 00000575: ADD 00000576: SWAP2 00000577: POP 00000578: JUMPDEST 00000579: POP 0000057a: SWAP3 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: PUSH1 0x40 00000580: MLOAD 00000581: DUP1 00000582: SWAP2 00000583: SUB 00000584: SWAP1 00000585: RETURN 00000586: JUMPDEST 00000587: CALLVALUE 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: PUSH2 0x05c6 00000595: PUSH1 0x04 00000597: DUP1 00000598: DUP1 00000599: CALLDATALOAD 0000059a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005af: AND 000005b0: SWAP1 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: SWAP1 000005b5: SWAP2 000005b6: SWAP1 000005b7: DUP1 000005b8: CALLDATALOAD 000005b9: SWAP1 000005ba: PUSH1 0x20 000005bc: ADD 000005bd: SWAP1 000005be: SWAP2 000005bf: SWAP1 000005c0: POP 000005c1: POP 000005c2: PUSH2 0x15c8 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH1 0x40 000005c9: MLOAD 000005ca: DUP1 000005cb: DUP3 000005cc: ISZERO 000005cd: ISZERO 000005ce: ISZERO 000005cf: ISZERO 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x20 000005d4: ADD 000005d5: SWAP2 000005d6: POP 000005d7: POP 000005d8: PUSH1 0x40 000005da: MLOAD 000005db: DUP1 000005dc: SWAP2 000005dd: SUB 000005de: SWAP1 000005df: RETURN 000005e0: JUMPDEST 000005e1: PUSH2 0x05e8 000005e4: PUSH2 0x1851 000005e7: JUMP 000005e8: JUMPDEST 000005e9: STOP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: ISZERO 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: PUSH2 0x062a 000005f9: PUSH1 0x04 000005fb: DUP1 000005fc: DUP1 000005fd: CALLDATALOAD 000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000613: AND 00000614: SWAP1 00000615: PUSH1 0x20 00000617: ADD 00000618: SWAP1 00000619: SWAP2 0000061a: SWAP1 0000061b: DUP1 0000061c: CALLDATALOAD 0000061d: SWAP1 0000061e: PUSH1 0x20 00000620: ADD 00000621: SWAP1 00000622: SWAP2 00000623: SWAP1 00000624: POP 00000625: POP 00000626: PUSH2 0x1909 00000629: JUMP 0000062a: JUMPDEST 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: DUP3 00000630: ISZERO 00000631: ISZERO 00000632: ISZERO 00000633: ISZERO 00000634: DUP2 00000635: MSTORE 00000636: PUSH1 0x20 00000638: ADD 00000639: SWAP2 0000063a: POP 0000063b: POP 0000063c: PUSH1 0x40 0000063e: MLOAD 0000063f: DUP1 00000640: SWAP2 00000641: SUB 00000642: SWAP1 00000643: RETURN 00000644: JUMPDEST 00000645: CALLVALUE 00000646: ISZERO 00000647: PUSH2 0x064f 0000064a: JUMPI 0000064b: PUSH1 0x00 0000064d: DUP1 0000064e: REVERT 0000064f: JUMPDEST 00000650: PUSH2 0x069a 00000653: PUSH1 0x04 00000655: DUP1 00000656: DUP1 00000657: CALLDATALOAD 00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066d: AND 0000066e: SWAP1 0000066f: PUSH1 0x20 00000671: ADD 00000672: SWAP1 00000673: SWAP2 00000674: SWAP1 00000675: DUP1 00000676: CALLDATALOAD 00000677: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068c: AND 0000068d: SWAP1 0000068e: PUSH1 0x20 00000690: ADD 00000691: SWAP1 00000692: SWAP2 00000693: SWAP1 00000694: POP 00000695: POP 00000696: PUSH2 0x1b05 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: DUP1 0000069f: DUP3 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x20 000006a4: ADD 000006a5: SWAP2 000006a6: POP 000006a7: POP 000006a8: PUSH1 0x40 000006aa: MLOAD 000006ab: DUP1 000006ac: SWAP2 000006ad: SUB 000006ae: SWAP1 000006af: RETURN 000006b0: JUMPDEST 000006b1: CALLVALUE 000006b2: ISZERO 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: PUSH2 0x06e7 000006bf: PUSH1 0x04 000006c1: DUP1 000006c2: DUP1 000006c3: CALLDATALOAD 000006c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d9: AND 000006da: SWAP1 000006db: PUSH1 0x20 000006dd: ADD 000006de: SWAP1 000006df: SWAP2 000006e0: SWAP1 000006e1: POP 000006e2: POP 000006e3: PUSH2 0x1b8c 000006e6: JUMP 000006e7: JUMPDEST 000006e8: STOP 000006e9: JUMPDEST 000006ea: PUSH1 0x00 000006ec: DUP1 000006ed: PUSH1 0x00 000006ef: PUSH1 0x03 000006f1: PUSH1 0x14 000006f3: SWAP1 000006f4: SLOAD 000006f5: SWAP1 000006f6: PUSH2 0x0100 000006f9: EXP 000006fa: SWAP1 000006fb: DIV 000006fc: PUSH1 0xff 000006fe: AND 000006ff: ISZERO 00000700: ISZERO 00000701: PUSH2 0x0709 00000704: JUMPI 00000705: PUSH1 0x00 00000707: DUP1 00000708: REVERT 00000709: JUMPDEST 0000070a: DUP5 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: PUSH1 0x00 00000710: PUSH1 0x07 00000712: PUSH1 0x00 00000714: DUP6 00000715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072a: AND 0000072b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000740: AND 00000741: DUP2 00000742: MSTORE 00000743: PUSH1 0x20 00000745: ADD 00000746: SWAP1 00000747: DUP2 00000748: MSTORE 00000749: PUSH1 0x20 0000074b: ADD 0000074c: PUSH1 0x00 0000074e: KECCAK256 0000074f: SWAP3 00000750: POP 00000751: PUSH2 0x0769 00000754: DUP4 00000755: PUSH1 0x00 00000757: ADD 00000758: SLOAD 00000759: PUSH1 0x08 0000075b: SLOAD 0000075c: PUSH2 0x1ce4 0000075f: SWAP1 00000760: SWAP2 00000761: SWAP1 00000762: PUSH4 0xffffffff 00000767: AND 00000768: JUMP 00000769: JUMPDEST 0000076a: SWAP2 0000076b: POP 0000076c: PUSH1 0x00 0000076e: DUP3 0000076f: GT 00000770: ISZERO 00000771: PUSH2 0x0832 00000774: JUMPI 00000775: PUSH2 0x07db 00000778: PUSH2 0x07c8 0000077b: DUP4 0000077c: PUSH1 0x00 0000077e: DUP1 0000077f: DUP9 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ab: AND 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: SWAP1 000007b2: DUP2 000007b3: MSTORE 000007b4: PUSH1 0x20 000007b6: ADD 000007b7: PUSH1 0x00 000007b9: KECCAK256 000007ba: SLOAD 000007bb: PUSH2 0x1cfd 000007be: SWAP1 000007bf: SWAP2 000007c0: SWAP1 000007c1: PUSH4 0xffffffff 000007c6: AND 000007c7: JUMP 000007c8: JUMPDEST 000007c9: DUP5 000007ca: PUSH1 0x02 000007cc: ADD 000007cd: SLOAD 000007ce: PUSH2 0x1d38 000007d1: SWAP1 000007d2: SWAP2 000007d3: SWAP1 000007d4: PUSH4 0xffffffff 000007d9: AND 000007da: JUMP 000007db: JUMPDEST 000007dc: SWAP1 000007dd: POP 000007de: PUSH2 0x0808 000007e1: PUSH2 0x07f5 000007e4: PUSH1 0x01 000007e6: SLOAD 000007e7: DUP4 000007e8: PUSH2 0x1d56 000007eb: SWAP1 000007ec: SWAP2 000007ed: SWAP1 000007ee: PUSH4 0xffffffff 000007f3: AND 000007f4: JUMP 000007f5: JUMPDEST 000007f6: DUP5 000007f7: PUSH1 0x01 000007f9: ADD 000007fa: SLOAD 000007fb: PUSH2 0x1d38 000007fe: SWAP1 000007ff: SWAP2 00000800: SWAP1 00000801: PUSH4 0xffffffff 00000806: AND 00000807: JUMP 00000808: JUMPDEST 00000809: DUP4 0000080a: PUSH1 0x01 0000080c: ADD 0000080d: DUP2 0000080e: SWAP1 0000080f: SSTORE 00000810: POP 00000811: PUSH1 0x01 00000813: SLOAD 00000814: DUP2 00000815: DUP2 00000816: ISZERO 00000817: ISZERO 00000818: PUSH2 0x081d 0000081b: JUMPI 0000081c: INVALID 0000081d: JUMPDEST 0000081e: MOD 0000081f: DUP4 00000820: PUSH1 0x02 00000822: ADD 00000823: DUP2 00000824: SWAP1 00000825: SSTORE 00000826: POP 00000827: PUSH1 0x08 00000829: SLOAD 0000082a: DUP4 0000082b: PUSH1 0x00 0000082d: ADD 0000082e: DUP2 0000082f: SWAP1 00000830: SSTORE 00000831: POP 00000832: JUMPDEST 00000833: PUSH1 0x07 00000835: PUSH1 0x00 00000837: DUP11 00000838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084d: AND 0000084e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000863: AND 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x20 00000868: ADD 00000869: SWAP1 0000086a: DUP2 0000086b: MSTORE 0000086c: PUSH1 0x20 0000086e: ADD 0000086f: PUSH1 0x00 00000871: KECCAK256 00000872: PUSH1 0x01 00000874: ADD 00000875: SLOAD 00000876: SWAP6 00000877: POP 00000878: PUSH2 0x088c 0000087b: DUP7 0000087c: PUSH1 0x09 0000087e: SLOAD 0000087f: PUSH2 0x1ce4 00000882: SWAP1 00000883: SWAP2 00000884: SWAP1 00000885: PUSH4 0xffffffff 0000088a: AND 0000088b: JUMP 0000088c: JUMPDEST 0000088d: PUSH1 0x09 0000088f: DUP2 00000890: SWAP1 00000891: SSTORE 00000892: POP 00000893: PUSH1 0x00 00000895: PUSH1 0x07 00000897: PUSH1 0x00 00000899: DUP12 0000089a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008af: AND 000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c5: AND 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: SWAP1 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x20 000008d0: ADD 000008d1: PUSH1 0x00 000008d3: KECCAK256 000008d4: PUSH1 0x01 000008d6: ADD 000008d7: DUP2 000008d8: SWAP1 000008d9: SSTORE 000008da: POP 000008db: PUSH2 0x08ed 000008de: DUP9 000008df: DUP8 000008e0: PUSH2 0x1d38 000008e3: SWAP1 000008e4: SWAP2 000008e5: SWAP1 000008e6: PUSH4 0xffffffff 000008eb: AND 000008ec: JUMP 000008ed: JUMPDEST 000008ee: SWAP5 000008ef: POP 000008f0: PUSH1 0x00 000008f2: DUP6 000008f3: GT 000008f4: ISZERO 000008f5: PUSH2 0x0939 000008f8: JUMPI 000008f9: DUP9 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: PUSH2 0x08fc 00000913: DUP7 00000914: SWAP1 00000915: DUP2 00000916: ISZERO 00000917: MUL 00000918: SWAP1 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: PUSH1 0x00 0000091e: PUSH1 0x40 00000920: MLOAD 00000921: DUP1 00000922: DUP4 00000923: SUB 00000924: DUP2 00000925: DUP6 00000926: DUP9 00000927: DUP9 00000928: CALL 00000929: SWAP4 0000092a: POP 0000092b: POP 0000092c: POP 0000092d: POP 0000092e: ISZERO 0000092f: ISZERO 00000930: PUSH2 0x0938 00000933: JUMPI 00000934: PUSH1 0x00 00000936: DUP1 00000937: REVERT 00000938: JUMPDEST 00000939: JUMPDEST 0000093a: PUSH1 0x00 0000093c: DUP7 0000093d: GT 0000093e: ISZERO 0000093f: PUSH2 0x0991 00000942: JUMPI 00000943: DUP9 00000944: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000959: AND 0000095a: PUSH32 0x737c69225d647e5994eab1a6c301bf6d9232beb2759ae1e27a8966b4732bc489 0000097b: DUP8 0000097c: PUSH1 0x40 0000097e: MLOAD 0000097f: DUP1 00000980: DUP3 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: ADD 00000986: SWAP2 00000987: POP 00000988: POP 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: DUP1 0000098d: SWAP2 0000098e: SUB 0000098f: SWAP1 00000990: LOG2 00000991: JUMPDEST 00000992: PUSH1 0x01 00000994: SWAP7 00000995: POP 00000996: POP 00000997: POP 00000998: POP 00000999: POP 0000099a: POP 0000099b: POP 0000099c: SWAP3 0000099d: SWAP2 0000099e: POP 0000099f: POP 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH1 0x03 000009a4: PUSH1 0x14 000009a6: SWAP1 000009a7: SLOAD 000009a8: SWAP1 000009a9: PUSH2 0x0100 000009ac: EXP 000009ad: SWAP1 000009ae: DIV 000009af: PUSH1 0xff 000009b1: AND 000009b2: DUP2 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH1 0x04 000009b7: DUP1 000009b8: SLOAD 000009b9: PUSH1 0x01 000009bb: DUP2 000009bc: PUSH1 0x01 000009be: AND 000009bf: ISZERO 000009c0: PUSH2 0x0100 000009c3: MUL 000009c4: SUB 000009c5: AND 000009c6: PUSH1 0x02 000009c8: SWAP1 000009c9: DIV 000009ca: DUP1 000009cb: PUSH1 0x1f 000009cd: ADD 000009ce: PUSH1 0x20 000009d0: DUP1 000009d1: SWAP2 000009d2: DIV 000009d3: MUL 000009d4: PUSH1 0x20 000009d6: ADD 000009d7: PUSH1 0x40 000009d9: MLOAD 000009da: SWAP1 000009db: DUP2 000009dc: ADD 000009dd: PUSH1 0x40 000009df: MSTORE 000009e0: DUP1 000009e1: SWAP3 000009e2: SWAP2 000009e3: SWAP1 000009e4: DUP2 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x20 000009e9: ADD 000009ea: DUP3 000009eb: DUP1 000009ec: SLOAD 000009ed: PUSH1 0x01 000009ef: DUP2 000009f0: PUSH1 0x01 000009f2: AND 000009f3: ISZERO 000009f4: PUSH2 0x0100 000009f7: MUL 000009f8: SUB 000009f9: AND 000009fa: PUSH1 0x02 000009fc: SWAP1 000009fd: DIV 000009fe: DUP1 000009ff: ISZERO 00000a00: PUSH2 0x0a4a 00000a03: JUMPI 00000a04: DUP1 00000a05: PUSH1 0x1f 00000a07: LT 00000a08: PUSH2 0x0a1f 00000a0b: JUMPI 00000a0c: PUSH2 0x0100 00000a0f: DUP1 00000a10: DUP4 00000a11: SLOAD 00000a12: DIV 00000a13: MUL 00000a14: DUP4 00000a15: MSTORE 00000a16: SWAP2 00000a17: PUSH1 0x20 00000a19: ADD 00000a1a: SWAP2 00000a1b: PUSH2 0x0a4a 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: DUP3 00000a21: ADD 00000a22: SWAP2 00000a23: SWAP1 00000a24: PUSH1 0x00 00000a26: MSTORE 00000a27: PUSH1 0x20 00000a29: PUSH1 0x00 00000a2b: KECCAK256 00000a2c: SWAP1 00000a2d: JUMPDEST 00000a2e: DUP2 00000a2f: SLOAD 00000a30: DUP2 00000a31: MSTORE 00000a32: SWAP1 00000a33: PUSH1 0x01 00000a35: ADD 00000a36: SWAP1 00000a37: PUSH1 0x20 00000a39: ADD 00000a3a: DUP1 00000a3b: DUP4 00000a3c: GT 00000a3d: PUSH2 0x0a2d 00000a40: JUMPI 00000a41: DUP3 00000a42: SWAP1 00000a43: SUB 00000a44: PUSH1 0x1f 00000a46: AND 00000a47: DUP3 00000a48: ADD 00000a49: SWAP2 00000a4a: JUMPDEST 00000a4b: POP 00000a4c: POP 00000a4d: POP 00000a4e: POP 00000a4f: POP 00000a50: DUP2 00000a51: JUMP 00000a52: JUMPDEST 00000a53: PUSH1 0x00 00000a55: DUP2 00000a56: PUSH1 0x02 00000a58: PUSH1 0x00 00000a5a: CALLER 00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a70: AND 00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a86: AND 00000a87: DUP2 00000a88: MSTORE 00000a89: PUSH1 0x20 00000a8b: ADD 00000a8c: SWAP1 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: ADD 00000a92: PUSH1 0x00 00000a94: KECCAK256 00000a95: PUSH1 0x00 00000a97: DUP6 00000a98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aad: AND 00000aae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac3: AND 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: ADD 00000ac9: SWAP1 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: PUSH1 0x00 00000ad1: KECCAK256 00000ad2: DUP2 00000ad3: SWAP1 00000ad4: SSTORE 00000ad5: POP 00000ad6: DUP3 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: CALLER 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000b25: DUP5 00000b26: PUSH1 0x40 00000b28: MLOAD 00000b29: DUP1 00000b2a: DUP3 00000b2b: DUP2 00000b2c: MSTORE 00000b2d: PUSH1 0x20 00000b2f: ADD 00000b30: SWAP2 00000b31: POP 00000b32: POP 00000b33: PUSH1 0x40 00000b35: MLOAD 00000b36: DUP1 00000b37: SWAP2 00000b38: SUB 00000b39: SWAP1 00000b3a: LOG3 00000b3b: PUSH1 0x01 00000b3d: SWAP1 00000b3e: POP 00000b3f: SWAP3 00000b40: SWAP2 00000b41: POP 00000b42: POP 00000b43: JUMP 00000b44: JUMPDEST 00000b45: PUSH1 0x00 00000b47: PUSH1 0x01 00000b49: SLOAD 00000b4a: SWAP1 00000b4b: POP 00000b4c: SWAP1 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: PUSH1 0x00 00000b51: PUSH1 0x03 00000b53: PUSH1 0x14 00000b55: SWAP1 00000b56: SLOAD 00000b57: SWAP1 00000b58: PUSH2 0x0100 00000b5b: EXP 00000b5c: SWAP1 00000b5d: DIV 00000b5e: PUSH1 0xff 00000b60: AND 00000b61: ISZERO 00000b62: ISZERO 00000b63: PUSH2 0x0b6b 00000b66: JUMPI 00000b67: PUSH1 0x00 00000b69: DUP1 00000b6a: REVERT 00000b6b: JUMPDEST 00000b6c: DUP4 00000b6d: PUSH1 0x00 00000b6f: DUP1 00000b70: PUSH1 0x00 00000b72: PUSH1 0x07 00000b74: PUSH1 0x00 00000b76: DUP6 00000b77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8c: AND 00000b8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba2: AND 00000ba3: DUP2 00000ba4: MSTORE 00000ba5: PUSH1 0x20 00000ba7: ADD 00000ba8: SWAP1 00000ba9: DUP2 00000baa: MSTORE 00000bab: PUSH1 0x20 00000bad: ADD 00000bae: PUSH1 0x00 00000bb0: KECCAK256 00000bb1: SWAP3 00000bb2: POP 00000bb3: PUSH2 0x0bcb 00000bb6: DUP4 00000bb7: PUSH1 0x00 00000bb9: ADD 00000bba: SLOAD 00000bbb: PUSH1 0x08 00000bbd: SLOAD 00000bbe: PUSH2 0x1ce4 00000bc1: SWAP1 00000bc2: SWAP2 00000bc3: SWAP1 00000bc4: PUSH4 0xffffffff 00000bc9: AND 00000bca: JUMP 00000bcb: JUMPDEST 00000bcc: SWAP2 00000bcd: POP 00000bce: PUSH1 0x00 00000bd0: DUP3 00000bd1: GT 00000bd2: ISZERO 00000bd3: PUSH2 0x0c94 00000bd6: JUMPI 00000bd7: PUSH2 0x0c3d 00000bda: PUSH2 0x0c2a 00000bdd: DUP4 00000bde: PUSH1 0x00 00000be0: DUP1 00000be1: DUP9 00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf7: AND 00000bf8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0d: AND 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x20 00000c12: ADD 00000c13: SWAP1 00000c14: DUP2 00000c15: MSTORE 00000c16: PUSH1 0x20 00000c18: ADD 00000c19: PUSH1 0x00 00000c1b: KECCAK256 00000c1c: SLOAD 00000c1d: PUSH2 0x1cfd 00000c20: SWAP1 00000c21: SWAP2 00000c22: SWAP1 00000c23: PUSH4 0xffffffff 00000c28: AND 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: DUP5 00000c2c: PUSH1 0x02 00000c2e: ADD 00000c2f: SLOAD 00000c30: PUSH2 0x1d38 00000c33: SWAP1 00000c34: SWAP2 00000c35: SWAP1 00000c36: PUSH4 0xffffffff 00000c3b: AND 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: SWAP1 00000c3f: POP 00000c40: PUSH2 0x0c6a 00000c43: PUSH2 0x0c57 00000c46: PUSH1 0x01 00000c48: SLOAD 00000c49: DUP4 00000c4a: PUSH2 0x1d56 00000c4d: SWAP1 00000c4e: SWAP2 00000c4f: SWAP1 00000c50: PUSH4 0xffffffff 00000c55: AND 00000c56: JUMP 00000c57: JUMPDEST 00000c58: DUP5 00000c59: PUSH1 0x01 00000c5b: ADD 00000c5c: SLOAD 00000c5d: PUSH2 0x1d38 00000c60: SWAP1 00000c61: SWAP2 00000c62: SWAP1 00000c63: PUSH4 0xffffffff 00000c68: AND 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: DUP4 00000c6c: PUSH1 0x01 00000c6e: ADD 00000c6f: DUP2 00000c70: SWAP1 00000c71: SSTORE 00000c72: POP 00000c73: PUSH1 0x01 00000c75: SLOAD 00000c76: DUP2 00000c77: DUP2 00000c78: ISZERO 00000c79: ISZERO 00000c7a: PUSH2 0x0c7f 00000c7d: JUMPI 00000c7e: INVALID 00000c7f: JUMPDEST 00000c80: MOD 00000c81: DUP4 00000c82: PUSH1 0x02 00000c84: ADD 00000c85: DUP2 00000c86: SWAP1 00000c87: SSTORE 00000c88: POP 00000c89: PUSH1 0x08 00000c8b: SLOAD 00000c8c: DUP4 00000c8d: PUSH1 0x00 00000c8f: ADD 00000c90: DUP2 00000c91: SWAP1 00000c92: SSTORE 00000c93: POP 00000c94: JUMPDEST 00000c95: DUP7 00000c96: PUSH1 0x00 00000c98: DUP1 00000c99: PUSH1 0x00 00000c9b: PUSH1 0x07 00000c9d: PUSH1 0x00 00000c9f: DUP6 00000ca0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb5: AND 00000cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccb: AND 00000ccc: DUP2 00000ccd: MSTORE 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: SWAP1 00000cd2: DUP2 00000cd3: MSTORE 00000cd4: PUSH1 0x20 00000cd6: ADD 00000cd7: PUSH1 0x00 00000cd9: KECCAK256 00000cda: SWAP3 00000cdb: POP 00000cdc: PUSH2 0x0cf4 00000cdf: DUP4 00000ce0: PUSH1 0x00 00000ce2: ADD 00000ce3: SLOAD 00000ce4: PUSH1 0x08 00000ce6: SLOAD 00000ce7: PUSH2 0x1ce4 00000cea: SWAP1 00000ceb: SWAP2 00000cec: SWAP1 00000ced: PUSH4 0xffffffff 00000cf2: AND 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: SWAP2 00000cf6: POP 00000cf7: PUSH1 0x00 00000cf9: DUP3 00000cfa: GT 00000cfb: ISZERO 00000cfc: PUSH2 0x0dbd 00000cff: JUMPI 00000d00: PUSH2 0x0d66 00000d03: PUSH2 0x0d53 00000d06: DUP4 00000d07: PUSH1 0x00 00000d09: DUP1 00000d0a: DUP9 00000d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d20: AND 00000d21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d36: AND 00000d37: DUP2 00000d38: MSTORE 00000d39: PUSH1 0x20 00000d3b: ADD 00000d3c: SWAP1 00000d3d: DUP2 00000d3e: MSTORE 00000d3f: PUSH1 0x20 00000d41: ADD 00000d42: PUSH1 0x00 00000d44: KECCAK256 00000d45: SLOAD 00000d46: PUSH2 0x1cfd 00000d49: SWAP1 00000d4a: SWAP2 00000d4b: SWAP1 00000d4c: PUSH4 0xffffffff 00000d51: AND 00000d52: JUMP 00000d53: JUMPDEST 00000d54: DUP5 00000d55: PUSH1 0x02 00000d57: ADD 00000d58: SLOAD 00000d59: PUSH2 0x1d38 00000d5c: SWAP1 00000d5d: SWAP2 00000d5e: SWAP1 00000d5f: PUSH4 0xffffffff 00000d64: AND 00000d65: JUMP 00000d66: JUMPDEST 00000d67: SWAP1 00000d68: POP 00000d69: PUSH2 0x0d93 00000d6c: PUSH2 0x0d80 00000d6f: PUSH1 0x01 00000d71: SLOAD 00000d72: DUP4 00000d73: PUSH2 0x1d56 00000d76: SWAP1 00000d77: SWAP2 00000d78: SWAP1 00000d79: PUSH4 0xffffffff 00000d7e: AND 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: DUP5 00000d82: PUSH1 0x01 00000d84: ADD 00000d85: SLOAD 00000d86: PUSH2 0x1d38 00000d89: SWAP1 00000d8a: SWAP2 00000d8b: SWAP1 00000d8c: PUSH4 0xffffffff 00000d91: AND 00000d92: JUMP 00000d93: JUMPDEST 00000d94: DUP4 00000d95: PUSH1 0x01 00000d97: ADD 00000d98: DUP2 00000d99: SWAP1 00000d9a: SSTORE 00000d9b: POP 00000d9c: PUSH1 0x01 00000d9e: SLOAD 00000d9f: DUP2 00000da0: DUP2 00000da1: ISZERO 00000da2: ISZERO 00000da3: PUSH2 0x0da8 00000da6: JUMPI 00000da7: INVALID 00000da8: JUMPDEST 00000da9: MOD 00000daa: DUP4 00000dab: PUSH1 0x02 00000dad: ADD 00000dae: DUP2 00000daf: SWAP1 00000db0: SSTORE 00000db1: POP 00000db2: PUSH1 0x08 00000db4: SLOAD 00000db5: DUP4 00000db6: PUSH1 0x00 00000db8: ADD 00000db9: DUP2 00000dba: SWAP1 00000dbb: SSTORE 00000dbc: POP 00000dbd: JUMPDEST 00000dbe: PUSH2 0x0dc8 00000dc1: DUP13 00000dc2: DUP13 00000dc3: DUP13 00000dc4: PUSH2 0x1d71 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: SWAP9 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: POP 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: SWAP4 00000dd4: SWAP3 00000dd5: POP 00000dd6: POP 00000dd7: POP 00000dd8: JUMP 00000dd9: JUMPDEST 00000dda: PUSH1 0x06 00000ddc: PUSH1 0x00 00000dde: SWAP1 00000ddf: SLOAD 00000de0: SWAP1 00000de1: PUSH2 0x0100 00000de4: EXP 00000de5: SWAP1 00000de6: DIV 00000de7: PUSH1 0xff 00000de9: AND 00000dea: DUP2 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x00 00000def: PUSH1 0x03 00000df1: PUSH1 0x00 00000df3: SWAP1 00000df4: SLOAD 00000df5: SWAP1 00000df6: PUSH2 0x0100 00000df9: EXP 00000dfa: SWAP1 00000dfb: DIV 00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e11: AND 00000e12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e27: AND 00000e28: CALLER 00000e29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3e: AND 00000e3f: EQ 00000e40: ISZERO 00000e41: ISZERO 00000e42: PUSH2 0x0e4a 00000e45: JUMPI 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: REVERT 00000e4a: JUMPDEST 00000e4b: PUSH1 0x03 00000e4d: PUSH1 0x14 00000e4f: SWAP1 00000e50: SLOAD 00000e51: SWAP1 00000e52: PUSH2 0x0100 00000e55: EXP 00000e56: SWAP1 00000e57: DIV 00000e58: PUSH1 0xff 00000e5a: AND 00000e5b: ISZERO 00000e5c: ISZERO 00000e5d: ISZERO 00000e5e: PUSH2 0x0e66 00000e61: JUMPI 00000e62: PUSH1 0x00 00000e64: DUP1 00000e65: REVERT 00000e66: JUMPDEST 00000e67: PUSH2 0x0e7b 00000e6a: DUP3 00000e6b: PUSH1 0x01 00000e6d: SLOAD 00000e6e: PUSH2 0x1d38 00000e71: SWAP1 00000e72: SWAP2 00000e73: SWAP1 00000e74: PUSH4 0xffffffff 00000e79: AND 00000e7a: JUMP 00000e7b: JUMPDEST 00000e7c: PUSH1 0x01 00000e7e: DUP2 00000e7f: SWAP1 00000e80: SSTORE 00000e81: POP 00000e82: PUSH2 0x0ed2 00000e85: DUP3 00000e86: PUSH1 0x00 00000e88: DUP1 00000e89: DUP7 00000e8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9f: AND 00000ea0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eb5: AND 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x20 00000eba: ADD 00000ebb: SWAP1 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x20 00000ec0: ADD 00000ec1: PUSH1 0x00 00000ec3: KECCAK256 00000ec4: SLOAD 00000ec5: PUSH2 0x1d38 00000ec8: SWAP1 00000ec9: SWAP2 00000eca: SWAP1 00000ecb: PUSH4 0xffffffff 00000ed0: AND 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: PUSH1 0x00 00000ed5: DUP1 00000ed6: DUP6 00000ed7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eec: AND 00000eed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f02: AND 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: SWAP1 00000f09: DUP2 00000f0a: MSTORE 00000f0b: PUSH1 0x20 00000f0d: ADD 00000f0e: PUSH1 0x00 00000f10: KECCAK256 00000f11: DUP2 00000f12: SWAP1 00000f13: SSTORE 00000f14: POP 00000f15: DUP3 00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2b: AND 00000f2c: PUSH32 0x0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885 00000f4d: DUP4 00000f4e: PUSH1 0x40 00000f50: MLOAD 00000f51: DUP1 00000f52: DUP3 00000f53: DUP2 00000f54: MSTORE 00000f55: PUSH1 0x20 00000f57: ADD 00000f58: SWAP2 00000f59: POP 00000f5a: POP 00000f5b: PUSH1 0x40 00000f5d: MLOAD 00000f5e: DUP1 00000f5f: SWAP2 00000f60: SUB 00000f61: SWAP1 00000f62: LOG2 00000f63: DUP3 00000f64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f79: AND 00000f7a: PUSH1 0x00 00000f7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f91: AND 00000f92: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000fb3: DUP5 00000fb4: PUSH1 0x40 00000fb6: MLOAD 00000fb7: DUP1 00000fb8: DUP3 00000fb9: DUP2 00000fba: MSTORE 00000fbb: PUSH1 0x20 00000fbd: ADD 00000fbe: SWAP2 00000fbf: POP 00000fc0: POP 00000fc1: PUSH1 0x40 00000fc3: MLOAD 00000fc4: DUP1 00000fc5: SWAP2 00000fc6: SUB 00000fc7: SWAP1 00000fc8: LOG3 00000fc9: PUSH1 0x01 00000fcb: SWAP1 00000fcc: POP 00000fcd: SWAP3 00000fce: SWAP2 00000fcf: POP 00000fd0: POP 00000fd1: JUMP 00000fd2: JUMPDEST 00000fd3: PUSH1 0x00 00000fd5: DUP1 00000fd6: PUSH1 0x00 00000fd8: DUP1 00000fd9: PUSH1 0x07 00000fdb: PUSH1 0x00 00000fdd: DUP7 00000fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff3: AND 00000ff4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001009: AND 0000100a: DUP2 0000100b: MSTORE 0000100c: PUSH1 0x20 0000100e: ADD 0000100f: SWAP1 00001010: DUP2 00001011: MSTORE 00001012: PUSH1 0x20 00001014: ADD 00001015: PUSH1 0x00 00001017: KECCAK256 00001018: SWAP3 00001019: POP 0000101a: PUSH2 0x1032 0000101d: DUP4 0000101e: PUSH1 0x00 00001020: ADD 00001021: SLOAD 00001022: PUSH1 0x08 00001024: SLOAD 00001025: PUSH2 0x1ce4 00001028: SWAP1 00001029: SWAP2 0000102a: SWAP1 0000102b: PUSH4 0xffffffff 00001030: AND 00001031: JUMP 00001032: JUMPDEST 00001033: SWAP2 00001034: POP 00001035: PUSH1 0x00 00001037: DUP3 00001038: GT 00001039: ISZERO 0000103a: PUSH2 0x10d8 0000103d: JUMPI 0000103e: PUSH2 0x10a4 00001041: PUSH2 0x1091 00001044: DUP4 00001045: PUSH1 0x00 00001047: DUP1 00001048: DUP10 00001049: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105e: AND 0000105f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001074: AND 00001075: DUP2 00001076: MSTORE 00001077: PUSH1 0x20 00001079: ADD 0000107a: SWAP1 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x20 0000107f: ADD 00001080: PUSH1 0x00 00001082: KECCAK256 00001083: SLOAD 00001084: PUSH2 0x1cfd 00001087: SWAP1 00001088: SWAP2 00001089: SWAP1 0000108a: PUSH4 0xffffffff 0000108f: AND 00001090: JUMP 00001091: JUMPDEST 00001092: DUP5 00001093: PUSH1 0x02 00001095: ADD 00001096: SLOAD 00001097: PUSH2 0x1d38 0000109a: SWAP1 0000109b: SWAP2 0000109c: SWAP1 0000109d: PUSH4 0xffffffff 000010a2: AND 000010a3: JUMP 000010a4: JUMPDEST 000010a5: SWAP1 000010a6: POP 000010a7: PUSH2 0x10d1 000010aa: PUSH2 0x10be 000010ad: PUSH1 0x01 000010af: SLOAD 000010b0: DUP4 000010b1: PUSH2 0x1d56 000010b4: SWAP1 000010b5: SWAP2 000010b6: SWAP1 000010b7: PUSH4 0xffffffff 000010bc: AND 000010bd: JUMP 000010be: JUMPDEST 000010bf: DUP5 000010c0: PUSH1 0x01 000010c2: ADD 000010c3: SLOAD 000010c4: PUSH2 0x1d38 000010c7: SWAP1 000010c8: SWAP2 000010c9: SWAP1 000010ca: PUSH4 0xffffffff 000010cf: AND 000010d0: JUMP 000010d1: JUMPDEST 000010d2: SWAP4 000010d3: POP 000010d4: PUSH2 0x10dd 000010d7: JUMP 000010d8: JUMPDEST 000010d9: PUSH1 0x00 000010db: SWAP4 000010dc: POP 000010dd: JUMPDEST 000010de: POP 000010df: POP 000010e0: POP 000010e1: SWAP2 000010e2: SWAP1 000010e3: POP 000010e4: JUMP 000010e5: JUMPDEST 000010e6: PUSH1 0x00 000010e8: DUP1 000010e9: PUSH1 0x02 000010eb: PUSH1 0x00 000010ed: CALLER 000010ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001103: AND 00001104: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001119: AND 0000111a: DUP2 0000111b: MSTORE 0000111c: PUSH1 0x20 0000111e: ADD 0000111f: SWAP1 00001120: DUP2 00001121: MSTORE 00001122: PUSH1 0x20 00001124: ADD 00001125: PUSH1 0x00 00001127: KECCAK256 00001128: PUSH1 0x00 0000112a: DUP6 0000112b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001140: AND 00001141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001156: AND 00001157: DUP2 00001158: MSTORE 00001159: PUSH1 0x20 0000115b: ADD 0000115c: SWAP1 0000115d: DUP2 0000115e: MSTORE 0000115f: PUSH1 0x20 00001161: ADD 00001162: PUSH1 0x00 00001164: KECCAK256 00001165: SLOAD 00001166: SWAP1 00001167: POP 00001168: DUP1 00001169: DUP4 0000116a: GT 0000116b: ISZERO 0000116c: PUSH2 0x11f6 0000116f: JUMPI 00001170: PUSH1 0x00 00001172: PUSH1 0x02 00001174: PUSH1 0x00 00001176: CALLER 00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118c: AND 0000118d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a2: AND 000011a3: DUP2 000011a4: MSTORE 000011a5: PUSH1 0x20 000011a7: ADD 000011a8: SWAP1 000011a9: DUP2 000011aa: MSTORE 000011ab: PUSH1 0x20 000011ad: ADD 000011ae: PUSH1 0x00 000011b0: KECCAK256 000011b1: PUSH1 0x00 000011b3: DUP7 000011b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c9: AND 000011ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011df: AND 000011e0: DUP2 000011e1: MSTORE 000011e2: PUSH1 0x20 000011e4: ADD 000011e5: SWAP1 000011e6: DUP2 000011e7: MSTORE 000011e8: PUSH1 0x20 000011ea: ADD 000011eb: PUSH1 0x00 000011ed: KECCAK256 000011ee: DUP2 000011ef: SWAP1 000011f0: SSTORE 000011f1: POP 000011f2: PUSH2 0x128a 000011f5: JUMP 000011f6: JUMPDEST 000011f7: PUSH2 0x1209 000011fa: DUP4 000011fb: DUP3 000011fc: PUSH2 0x1ce4 000011ff: SWAP1 00001200: SWAP2 00001201: SWAP1 00001202: PUSH4 0xffffffff 00001207: AND 00001208: JUMP 00001209: JUMPDEST 0000120a: PUSH1 0x02 0000120c: PUSH1 0x00 0000120e: CALLER 0000120f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001224: AND 00001225: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123a: AND 0000123b: DUP2 0000123c: MSTORE 0000123d: PUSH1 0x20 0000123f: ADD 00001240: SWAP1 00001241: DUP2 00001242: MSTORE 00001243: PUSH1 0x20 00001245: ADD 00001246: PUSH1 0x00 00001248: KECCAK256 00001249: PUSH1 0x00 0000124b: DUP7 0000124c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001261: AND 00001262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001277: AND 00001278: DUP2 00001279: MSTORE 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: SWAP1 0000127e: DUP2 0000127f: MSTORE 00001280: PUSH1 0x20 00001282: ADD 00001283: PUSH1 0x00 00001285: KECCAK256 00001286: DUP2 00001287: SWAP1 00001288: SSTORE 00001289: POP 0000128a: JUMPDEST 0000128b: DUP4 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: AND 000012a2: CALLER 000012a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b8: AND 000012b9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000012da: PUSH1 0x02 000012dc: PUSH1 0x00 000012de: CALLER 000012df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f4: AND 000012f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000130a: AND 0000130b: DUP2 0000130c: MSTORE 0000130d: PUSH1 0x20 0000130f: ADD 00001310: SWAP1 00001311: DUP2 00001312: MSTORE 00001313: PUSH1 0x20 00001315: ADD 00001316: PUSH1 0x00 00001318: KECCAK256 00001319: PUSH1 0x00 0000131b: DUP9 0000131c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001331: AND 00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001347: AND 00001348: DUP2 00001349: MSTORE 0000134a: PUSH1 0x20 0000134c: ADD 0000134d: SWAP1 0000134e: DUP2 0000134f: MSTORE 00001350: PUSH1 0x20 00001352: ADD 00001353: PUSH1 0x00 00001355: KECCAK256 00001356: SLOAD 00001357: PUSH1 0x40 00001359: MLOAD 0000135a: DUP1 0000135b: DUP3 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x20 00001360: ADD 00001361: SWAP2 00001362: POP 00001363: POP 00001364: PUSH1 0x40 00001366: MLOAD 00001367: DUP1 00001368: SWAP2 00001369: SUB 0000136a: SWAP1 0000136b: LOG3 0000136c: PUSH1 0x01 0000136e: SWAP2 0000136f: POP 00001370: POP 00001371: SWAP3 00001372: SWAP2 00001373: POP 00001374: POP 00001375: JUMP 00001376: JUMPDEST 00001377: PUSH1 0x00 00001379: DUP1 0000137a: DUP4 0000137b: DUP4 0000137c: SWAP1 0000137d: POP 0000137e: GT 0000137f: ISZERO 00001380: ISZERO 00001381: PUSH2 0x1389 00001384: JUMPI 00001385: PUSH1 0x00 00001387: DUP1 00001388: REVERT 00001389: JUMPDEST 0000138a: PUSH1 0x64 0000138c: DUP4 0000138d: DUP4 0000138e: SWAP1 0000138f: POP 00001390: GT 00001391: ISZERO 00001392: ISZERO 00001393: ISZERO 00001394: PUSH2 0x139c 00001397: JUMPI 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: REVERT 0000139c: JUMPDEST 0000139d: PUSH1 0x00 0000139f: SWAP1 000013a0: POP 000013a1: JUMPDEST 000013a2: DUP3 000013a3: DUP3 000013a4: SWAP1 000013a5: POP 000013a6: DUP2 000013a7: LT 000013a8: ISZERO 000013a9: PUSH2 0x13ef 000013ac: JUMPI 000013ad: PUSH2 0x13e1 000013b0: DUP4 000013b1: DUP4 000013b2: DUP4 000013b3: DUP2 000013b4: DUP2 000013b5: LT 000013b6: ISZERO 000013b7: ISZERO 000013b8: PUSH2 0x13bd 000013bb: JUMPI 000013bc: INVALID 000013bd: JUMPDEST 000013be: SWAP1 000013bf: POP 000013c0: PUSH1 0x20 000013c2: MUL 000013c3: ADD 000013c4: CALLDATALOAD 000013c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013da: AND 000013db: PUSH1 0x00 000013dd: PUSH2 0x06e9 000013e0: JUMP 000013e1: JUMPDEST 000013e2: POP 000013e3: DUP1 000013e4: DUP1 000013e5: PUSH1 0x01 000013e7: ADD 000013e8: SWAP2 000013e9: POP 000013ea: POP 000013eb: PUSH2 0x13a1 000013ee: JUMP 000013ef: JUMPDEST 000013f0: POP 000013f1: POP 000013f2: POP 000013f3: JUMP 000013f4: JUMPDEST 000013f5: PUSH1 0x00 000013f7: DUP1 000013f8: PUSH1 0x00 000013fa: DUP4 000013fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001410: AND 00001411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001426: AND 00001427: DUP2 00001428: MSTORE 00001429: PUSH1 0x20 0000142b: ADD 0000142c: SWAP1 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x20 00001431: ADD 00001432: PUSH1 0x00 00001434: KECCAK256 00001435: SLOAD 00001436: SWAP1 00001437: POP 00001438: SWAP2 00001439: SWAP1 0000143a: POP 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x00 0000143f: PUSH1 0x03 00001441: PUSH1 0x00 00001443: SWAP1 00001444: SLOAD 00001445: SWAP1 00001446: PUSH2 0x0100 00001449: EXP 0000144a: SWAP1 0000144b: DIV 0000144c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001461: AND 00001462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001477: AND 00001478: CALLER 00001479: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000148e: AND 0000148f: EQ 00001490: ISZERO 00001491: ISZERO 00001492: PUSH2 0x149a 00001495: JUMPI 00001496: PUSH1 0x00 00001498: DUP1 00001499: REVERT 0000149a: JUMPDEST 0000149b: PUSH1 0x03 0000149d: PUSH1 0x14 0000149f: SWAP1 000014a0: SLOAD 000014a1: SWAP1 000014a2: PUSH2 0x0100 000014a5: EXP 000014a6: SWAP1 000014a7: DIV 000014a8: PUSH1 0xff 000014aa: AND 000014ab: ISZERO 000014ac: ISZERO 000014ad: ISZERO 000014ae: PUSH2 0x14b6 000014b1: JUMPI 000014b2: PUSH1 0x00 000014b4: DUP1 000014b5: REVERT 000014b6: JUMPDEST 000014b7: PUSH1 0x01 000014b9: PUSH1 0x03 000014bb: PUSH1 0x14 000014bd: PUSH2 0x0100 000014c0: EXP 000014c1: DUP2 000014c2: SLOAD 000014c3: DUP2 000014c4: PUSH1 0xff 000014c6: MUL 000014c7: NOT 000014c8: AND 000014c9: SWAP1 000014ca: DUP4 000014cb: ISZERO 000014cc: ISZERO 000014cd: MUL 000014ce: OR 000014cf: SWAP1 000014d0: SSTORE 000014d1: POP 000014d2: PUSH32 0xae5184fba832cb2b1f702aca6117b8d265eaf03ad33eb133f19dde0f5920fa08 000014f3: PUSH1 0x40 000014f5: MLOAD 000014f6: PUSH1 0x40 000014f8: MLOAD 000014f9: DUP1 000014fa: SWAP2 000014fb: SUB 000014fc: SWAP1 000014fd: LOG1 000014fe: PUSH1 0x01 00001500: SWAP1 00001501: POP 00001502: SWAP1 00001503: JUMP 00001504: JUMPDEST 00001505: PUSH1 0x03 00001507: PUSH1 0x00 00001509: SWAP1 0000150a: SLOAD 0000150b: SWAP1 0000150c: PUSH2 0x0100 0000150f: EXP 00001510: SWAP1 00001511: DIV 00001512: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001527: AND 00001528: DUP2 00001529: JUMP 0000152a: JUMPDEST 0000152b: PUSH1 0x05 0000152d: DUP1 0000152e: SLOAD 0000152f: PUSH1 0x01 00001531: DUP2 00001532: PUSH1 0x01 00001534: AND 00001535: ISZERO 00001536: PUSH2 0x0100 00001539: MUL 0000153a: SUB 0000153b: AND 0000153c: PUSH1 0x02 0000153e: SWAP1 0000153f: DIV 00001540: DUP1 00001541: PUSH1 0x1f 00001543: ADD 00001544: PUSH1 0x20 00001546: DUP1 00001547: SWAP2 00001548: DIV 00001549: MUL 0000154a: PUSH1 0x20 0000154c: ADD 0000154d: PUSH1 0x40 0000154f: MLOAD 00001550: SWAP1 00001551: DUP2 00001552: ADD 00001553: PUSH1 0x40 00001555: MSTORE 00001556: DUP1 00001557: SWAP3 00001558: SWAP2 00001559: SWAP1 0000155a: DUP2 0000155b: DUP2 0000155c: MSTORE 0000155d: PUSH1 0x20 0000155f: ADD 00001560: DUP3 00001561: DUP1 00001562: SLOAD 00001563: PUSH1 0x01 00001565: DUP2 00001566: PUSH1 0x01 00001568: AND 00001569: ISZERO 0000156a: PUSH2 0x0100 0000156d: MUL 0000156e: SUB 0000156f: AND 00001570: PUSH1 0x02 00001572: SWAP1 00001573: DIV 00001574: DUP1 00001575: ISZERO 00001576: PUSH2 0x15c0 00001579: JUMPI 0000157a: DUP1 0000157b: PUSH1 0x1f 0000157d: LT 0000157e: PUSH2 0x1595 00001581: JUMPI 00001582: PUSH2 0x0100 00001585: DUP1 00001586: DUP4 00001587: SLOAD 00001588: DIV 00001589: MUL 0000158a: DUP4 0000158b: MSTORE 0000158c: SWAP2 0000158d: PUSH1 0x20 0000158f: ADD 00001590: SWAP2 00001591: PUSH2 0x15c0 00001594: JUMP 00001595: JUMPDEST 00001596: DUP3 00001597: ADD 00001598: SWAP2 00001599: SWAP1 0000159a: PUSH1 0x00 0000159c: MSTORE 0000159d: PUSH1 0x20 0000159f: PUSH1 0x00 000015a1: KECCAK256 000015a2: SWAP1 000015a3: JUMPDEST 000015a4: DUP2 000015a5: SLOAD 000015a6: DUP2 000015a7: MSTORE 000015a8: SWAP1 000015a9: PUSH1 0x01 000015ab: ADD 000015ac: SWAP1 000015ad: PUSH1 0x20 000015af: ADD 000015b0: DUP1 000015b1: DUP4 000015b2: GT 000015b3: PUSH2 0x15a3 000015b6: JUMPI 000015b7: DUP3 000015b8: SWAP1 000015b9: SUB 000015ba: PUSH1 0x1f 000015bc: AND 000015bd: DUP3 000015be: ADD 000015bf: SWAP2 000015c0: JUMPDEST 000015c1: POP 000015c2: POP 000015c3: POP 000015c4: POP 000015c5: POP 000015c6: DUP2 000015c7: JUMP 000015c8: JUMPDEST 000015c9: PUSH1 0x00 000015cb: PUSH1 0x03 000015cd: PUSH1 0x14 000015cf: SWAP1 000015d0: SLOAD 000015d1: SWAP1 000015d2: PUSH2 0x0100 000015d5: EXP 000015d6: SWAP1 000015d7: DIV 000015d8: PUSH1 0xff 000015da: AND 000015db: ISZERO 000015dc: ISZERO 000015dd: PUSH2 0x15e5 000015e0: JUMPI 000015e1: PUSH1 0x00 000015e3: DUP1 000015e4: REVERT 000015e5: JUMPDEST 000015e6: CALLER 000015e7: PUSH1 0x00 000015e9: DUP1 000015ea: PUSH1 0x00 000015ec: PUSH1 0x07 000015ee: PUSH1 0x00 000015f0: DUP6 000015f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001606: AND 00001607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161c: AND 0000161d: DUP2 0000161e: MSTORE 0000161f: PUSH1 0x20 00001621: ADD 00001622: SWAP1 00001623: DUP2 00001624: MSTORE 00001625: PUSH1 0x20 00001627: ADD 00001628: PUSH1 0x00 0000162a: KECCAK256 0000162b: SWAP3 0000162c: POP 0000162d: PUSH2 0x1645 00001630: DUP4 00001631: PUSH1 0x00 00001633: ADD 00001634: SLOAD 00001635: PUSH1 0x08 00001637: SLOAD 00001638: PUSH2 0x1ce4 0000163b: SWAP1 0000163c: SWAP2 0000163d: SWAP1 0000163e: PUSH4 0xffffffff 00001643: AND 00001644: JUMP 00001645: JUMPDEST 00001646: SWAP2 00001647: POP 00001648: PUSH1 0x00 0000164a: DUP3 0000164b: GT 0000164c: ISZERO 0000164d: PUSH2 0x170e 00001650: JUMPI 00001651: PUSH2 0x16b7 00001654: PUSH2 0x16a4 00001657: DUP4 00001658: PUSH1 0x00 0000165a: DUP1 0000165b: DUP9 0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001671: AND 00001672: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001687: AND 00001688: DUP2 00001689: MSTORE 0000168a: PUSH1 0x20 0000168c: ADD 0000168d: SWAP1 0000168e: DUP2 0000168f: MSTORE 00001690: PUSH1 0x20 00001692: ADD 00001693: PUSH1 0x00 00001695: KECCAK256 00001696: SLOAD 00001697: PUSH2 0x1cfd 0000169a: SWAP1 0000169b: SWAP2 0000169c: SWAP1 0000169d: PUSH4 0xffffffff 000016a2: AND 000016a3: JUMP 000016a4: JUMPDEST 000016a5: DUP5 000016a6: PUSH1 0x02 000016a8: ADD 000016a9: SLOAD 000016aa: PUSH2 0x1d38 000016ad: SWAP1 000016ae: SWAP2 000016af: SWAP1 000016b0: PUSH4 0xffffffff 000016b5: AND 000016b6: JUMP 000016b7: JUMPDEST 000016b8: SWAP1 000016b9: POP 000016ba: PUSH2 0x16e4 000016bd: PUSH2 0x16d1 000016c0: PUSH1 0x01 000016c2: SLOAD 000016c3: DUP4 000016c4: PUSH2 0x1d56 000016c7: SWAP1 000016c8: SWAP2 000016c9: SWAP1 000016ca: PUSH4 0xffffffff 000016cf: AND 000016d0: JUMP 000016d1: JUMPDEST 000016d2: DUP5 000016d3: PUSH1 0x01 000016d5: ADD 000016d6: SLOAD 000016d7: PUSH2 0x1d38 000016da: SWAP1 000016db: SWAP2 000016dc: SWAP1 000016dd: PUSH4 0xffffffff 000016e2: AND 000016e3: JUMP 000016e4: JUMPDEST 000016e5: DUP4 000016e6: PUSH1 0x01 000016e8: ADD 000016e9: DUP2 000016ea: SWAP1 000016eb: SSTORE 000016ec: POP 000016ed: PUSH1 0x01 000016ef: SLOAD 000016f0: DUP2 000016f1: DUP2 000016f2: ISZERO 000016f3: ISZERO 000016f4: PUSH2 0x16f9 000016f7: JUMPI 000016f8: INVALID 000016f9: JUMPDEST 000016fa: MOD 000016fb: DUP4 000016fc: PUSH1 0x02 000016fe: ADD 000016ff: DUP2 00001700: SWAP1 00001701: SSTORE 00001702: POP 00001703: PUSH1 0x08 00001705: SLOAD 00001706: DUP4 00001707: PUSH1 0x00 00001709: ADD 0000170a: DUP2 0000170b: SWAP1 0000170c: SSTORE 0000170d: POP 0000170e: JUMPDEST 0000170f: DUP7 00001710: PUSH1 0x00 00001712: DUP1 00001713: PUSH1 0x00 00001715: PUSH1 0x07 00001717: PUSH1 0x00 00001719: DUP6 0000171a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172f: AND 00001730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001745: AND 00001746: DUP2 00001747: MSTORE 00001748: PUSH1 0x20 0000174a: ADD 0000174b: SWAP1 0000174c: DUP2 0000174d: MSTORE 0000174e: PUSH1 0x20 00001750: ADD 00001751: PUSH1 0x00 00001753: KECCAK256 00001754: SWAP3 00001755: POP 00001756: PUSH2 0x176e 00001759: DUP4 0000175a: PUSH1 0x00 0000175c: ADD 0000175d: SLOAD 0000175e: PUSH1 0x08 00001760: SLOAD 00001761: PUSH2 0x1ce4 00001764: SWAP1 00001765: SWAP2 00001766: SWAP1 00001767: PUSH4 0xffffffff 0000176c: AND 0000176d: JUMP 0000176e: JUMPDEST 0000176f: SWAP2 00001770: POP 00001771: PUSH1 0x00 00001773: DUP3 00001774: GT 00001775: ISZERO 00001776: PUSH2 0x1837 00001779: JUMPI 0000177a: PUSH2 0x17e0 0000177d: PUSH2 0x17cd 00001780: DUP4 00001781: PUSH1 0x00 00001783: DUP1 00001784: DUP9 00001785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000179a: AND 0000179b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017b0: AND 000017b1: DUP2 000017b2: MSTORE 000017b3: PUSH1 0x20 000017b5: ADD 000017b6: SWAP1 000017b7: DUP2 000017b8: MSTORE 000017b9: PUSH1 0x20 000017bb: ADD 000017bc: PUSH1 0x00 000017be: KECCAK256 000017bf: SLOAD 000017c0: PUSH2 0x1cfd 000017c3: SWAP1 000017c4: SWAP2 000017c5: SWAP1 000017c6: PUSH4 0xffffffff 000017cb: AND 000017cc: JUMP 000017cd: JUMPDEST 000017ce: DUP5 000017cf: PUSH1 0x02 000017d1: ADD 000017d2: SLOAD 000017d3: PUSH2 0x1d38 000017d6: SWAP1 000017d7: SWAP2 000017d8: SWAP1 000017d9: PUSH4 0xffffffff 000017de: AND 000017df: JUMP 000017e0: JUMPDEST 000017e1: SWAP1 000017e2: POP 000017e3: PUSH2 0x180d 000017e6: PUSH2 0x17fa 000017e9: PUSH1 0x01 000017eb: SLOAD 000017ec: DUP4 000017ed: PUSH2 0x1d56 000017f0: SWAP1 000017f1: SWAP2 000017f2: SWAP1 000017f3: PUSH4 0xffffffff 000017f8: AND 000017f9: JUMP 000017fa: JUMPDEST 000017fb: DUP5 000017fc: PUSH1 0x01 000017fe: ADD 000017ff: SLOAD 00001800: PUSH2 0x1d38 00001803: SWAP1 00001804: SWAP2 00001805: SWAP1 00001806: PUSH4 0xffffffff 0000180b: AND 0000180c: JUMP 0000180d: JUMPDEST 0000180e: DUP4 0000180f: PUSH1 0x01 00001811: ADD 00001812: DUP2 00001813: SWAP1 00001814: SSTORE 00001815: POP 00001816: PUSH1 0x01 00001818: SLOAD 00001819: DUP2 0000181a: DUP2 0000181b: ISZERO 0000181c: ISZERO 0000181d: PUSH2 0x1822 00001820: JUMPI 00001821: INVALID 00001822: JUMPDEST 00001823: MOD 00001824: DUP4 00001825: PUSH1 0x02 00001827: ADD 00001828: DUP2 00001829: SWAP1 0000182a: SSTORE 0000182b: POP 0000182c: PUSH1 0x08 0000182e: SLOAD 0000182f: DUP4 00001830: PUSH1 0x00 00001832: ADD 00001833: DUP2 00001834: SWAP1 00001835: SSTORE 00001836: POP 00001837: JUMPDEST 00001838: PUSH2 0x1841 0000183b: DUP12 0000183c: DUP12 0000183d: PUSH2 0x212b 00001840: JUMP 00001841: JUMPDEST 00001842: SWAP9 00001843: POP 00001844: POP 00001845: POP 00001846: POP 00001847: POP 00001848: POP 00001849: POP 0000184a: POP 0000184b: POP 0000184c: SWAP3 0000184d: SWAP2 0000184e: POP 0000184f: POP 00001850: JUMP 00001851: JUMPDEST 00001852: PUSH1 0x00 00001854: CALLVALUE 00001855: GT 00001856: ISZERO 00001857: ISZERO 00001858: PUSH2 0x1860 0000185b: JUMPI 0000185c: PUSH1 0x00 0000185e: DUP1 0000185f: REVERT 00001860: JUMPDEST 00001861: PUSH2 0x188c 00001864: PUSH1 0x09 00001866: SLOAD 00001867: ADDRESS 00001868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187d: AND 0000187e: BALANCE 0000187f: PUSH2 0x1ce4 00001882: SWAP1 00001883: SWAP2 00001884: SWAP1 00001885: PUSH4 0xffffffff 0000188a: AND 0000188b: JUMP 0000188c: JUMPDEST 0000188d: CALLVALUE 0000188e: GT 0000188f: ISZERO 00001890: ISZERO 00001891: ISZERO 00001892: PUSH2 0x189a 00001895: JUMPI 00001896: PUSH1 0x00 00001898: DUP1 00001899: REVERT 0000189a: JUMPDEST 0000189b: PUSH2 0x18af 0000189e: CALLVALUE 0000189f: PUSH1 0x08 000018a1: SLOAD 000018a2: PUSH2 0x1d38 000018a5: SWAP1 000018a6: SWAP2 000018a7: SWAP1 000018a8: PUSH4 0xffffffff 000018ad: AND 000018ae: JUMP 000018af: JUMPDEST 000018b0: PUSH1 0x08 000018b2: DUP2 000018b3: SWAP1 000018b4: SSTORE 000018b5: POP 000018b6: PUSH2 0x18ca 000018b9: CALLVALUE 000018ba: PUSH1 0x09 000018bc: SLOAD 000018bd: PUSH2 0x1d38 000018c0: SWAP1 000018c1: SWAP2 000018c2: SWAP1 000018c3: PUSH4 0xffffffff 000018c8: AND 000018c9: JUMP 000018ca: JUMPDEST 000018cb: PUSH1 0x09 000018cd: DUP2 000018ce: SWAP1 000018cf: SSTORE 000018d0: POP 000018d1: PUSH32 0xddc9c30275a04c48091f24199f9c405765de34d979d6847f5b9798a57232d2e5 000018f2: CALLVALUE 000018f3: PUSH1 0x40 000018f5: MLOAD 000018f6: DUP1 000018f7: DUP3 000018f8: DUP2 000018f9: MSTORE 000018fa: PUSH1 0x20 000018fc: ADD 000018fd: SWAP2 000018fe: POP 000018ff: POP 00001900: PUSH1 0x40 00001902: MLOAD 00001903: DUP1 00001904: SWAP2 00001905: SUB 00001906: SWAP1 00001907: LOG1 00001908: JUMP 00001909: JUMPDEST 0000190a: PUSH1 0x00 0000190c: PUSH2 0x199a 0000190f: DUP3 00001910: PUSH1 0x02 00001912: PUSH1 0x00 00001914: CALLER 00001915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192a: AND 0000192b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001940: AND 00001941: DUP2 00001942: MSTORE 00001943: PUSH1 0x20 00001945: ADD 00001946: SWAP1 00001947: DUP2 00001948: MSTORE 00001949: PUSH1 0x20 0000194b: ADD 0000194c: PUSH1 0x00 0000194e: KECCAK256 0000194f: PUSH1 0x00 00001951: DUP7 00001952: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001967: AND 00001968: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000197d: AND 0000197e: DUP2 0000197f: MSTORE 00001980: PUSH1 0x20 00001982: ADD 00001983: SWAP1 00001984: DUP2 00001985: MSTORE 00001986: PUSH1 0x20 00001988: ADD 00001989: PUSH1 0x00 0000198b: KECCAK256 0000198c: SLOAD 0000198d: PUSH2 0x1d38 00001990: SWAP1 00001991: SWAP2 00001992: SWAP1 00001993: PUSH4 0xffffffff 00001998: AND 00001999: JUMP 0000199a: JUMPDEST 0000199b: PUSH1 0x02 0000199d: PUSH1 0x00 0000199f: CALLER 000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019b5: AND 000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019cb: AND 000019cc: DUP2 000019cd: MSTORE 000019ce: PUSH1 0x20 000019d0: ADD 000019d1: SWAP1 000019d2: DUP2 000019d3: MSTORE 000019d4: PUSH1 0x20 000019d6: ADD 000019d7: PUSH1 0x00 000019d9: KECCAK256 000019da: PUSH1 0x00 000019dc: DUP6 000019dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019f2: AND 000019f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a08: AND 00001a09: DUP2 00001a0a: MSTORE 00001a0b: PUSH1 0x20 00001a0d: ADD 00001a0e: SWAP1 00001a0f: DUP2 00001a10: MSTORE 00001a11: PUSH1 0x20 00001a13: ADD 00001a14: PUSH1 0x00 00001a16: KECCAK256 00001a17: DUP2 00001a18: SWAP1 00001a19: SSTORE 00001a1a: POP 00001a1b: DUP3 00001a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a31: AND 00001a32: CALLER 00001a33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a48: AND 00001a49: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001a6a: PUSH1 0x02 00001a6c: PUSH1 0x00 00001a6e: CALLER 00001a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a84: AND 00001a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a9a: AND 00001a9b: DUP2 00001a9c: MSTORE 00001a9d: PUSH1 0x20 00001a9f: ADD 00001aa0: SWAP1 00001aa1: DUP2 00001aa2: MSTORE 00001aa3: PUSH1 0x20 00001aa5: ADD 00001aa6: PUSH1 0x00 00001aa8: KECCAK256 00001aa9: PUSH1 0x00 00001aab: DUP8 00001aac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac1: AND 00001ac2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ad7: AND 00001ad8: DUP2 00001ad9: MSTORE 00001ada: PUSH1 0x20 00001adc: ADD 00001add: SWAP1 00001ade: DUP2 00001adf: MSTORE 00001ae0: PUSH1 0x20 00001ae2: ADD 00001ae3: PUSH1 0x00 00001ae5: KECCAK256 00001ae6: SLOAD 00001ae7: PUSH1 0x40 00001ae9: MLOAD 00001aea: DUP1 00001aeb: DUP3 00001aec: DUP2 00001aed: MSTORE 00001aee: PUSH1 0x20 00001af0: ADD 00001af1: SWAP2 00001af2: POP 00001af3: POP 00001af4: PUSH1 0x40 00001af6: MLOAD 00001af7: DUP1 00001af8: SWAP2 00001af9: SUB 00001afa: SWAP1 00001afb: LOG3 00001afc: PUSH1 0x01 00001afe: SWAP1 00001aff: POP 00001b00: SWAP3 00001b01: SWAP2 00001b02: POP 00001b03: POP 00001b04: JUMP 00001b05: JUMPDEST 00001b06: PUSH1 0x00 00001b08: PUSH1 0x02 00001b0a: PUSH1 0x00 00001b0c: DUP5 00001b0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b22: AND 00001b23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b38: AND 00001b39: DUP2 00001b3a: MSTORE 00001b3b: PUSH1 0x20 00001b3d: ADD 00001b3e: SWAP1 00001b3f: DUP2 00001b40: MSTORE 00001b41: PUSH1 0x20 00001b43: ADD 00001b44: PUSH1 0x00 00001b46: KECCAK256 00001b47: PUSH1 0x00 00001b49: DUP4 00001b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b5f: AND 00001b60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b75: AND 00001b76: DUP2 00001b77: MSTORE 00001b78: PUSH1 0x20 00001b7a: ADD 00001b7b: SWAP1 00001b7c: DUP2 00001b7d: MSTORE 00001b7e: PUSH1 0x20 00001b80: ADD 00001b81: PUSH1 0x00 00001b83: KECCAK256 00001b84: SLOAD 00001b85: SWAP1 00001b86: POP 00001b87: SWAP3 00001b88: SWAP2 00001b89: POP 00001b8a: POP 00001b8b: JUMP 00001b8c: JUMPDEST 00001b8d: PUSH1 0x03 00001b8f: PUSH1 0x00 00001b91: SWAP1 00001b92: SLOAD 00001b93: SWAP1 00001b94: PUSH2 0x0100 00001b97: EXP 00001b98: SWAP1 00001b99: DIV 00001b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001baf: AND 00001bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc5: AND 00001bc6: CALLER 00001bc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bdc: AND 00001bdd: EQ 00001bde: ISZERO 00001bdf: ISZERO 00001be0: PUSH2 0x1be8 00001be3: JUMPI 00001be4: PUSH1 0x00 00001be6: DUP1 00001be7: REVERT 00001be8: JUMPDEST 00001be9: PUSH1 0x00 00001beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c00: AND 00001c01: DUP2 00001c02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c17: AND 00001c18: EQ 00001c19: ISZERO 00001c1a: ISZERO 00001c1b: ISZERO 00001c1c: PUSH2 0x1c24 00001c1f: JUMPI 00001c20: PUSH1 0x00 00001c22: DUP1 00001c23: REVERT 00001c24: JUMPDEST 00001c25: DUP1 00001c26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c3b: AND 00001c3c: PUSH1 0x03 00001c3e: PUSH1 0x00 00001c40: SWAP1 00001c41: SLOAD 00001c42: SWAP1 00001c43: PUSH2 0x0100 00001c46: EXP 00001c47: SWAP1 00001c48: DIV 00001c49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c5e: AND 00001c5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c74: AND 00001c75: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001c96: PUSH1 0x40 00001c98: MLOAD 00001c99: PUSH1 0x40 00001c9b: MLOAD 00001c9c: DUP1 00001c9d: SWAP2 00001c9e: SUB 00001c9f: SWAP1 00001ca0: LOG3 00001ca1: DUP1 00001ca2: PUSH1 0x03 00001ca4: PUSH1 0x00 00001ca6: PUSH2 0x0100 00001ca9: EXP 00001caa: DUP2 00001cab: SLOAD 00001cac: DUP2 00001cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cc2: MUL 00001cc3: NOT 00001cc4: AND 00001cc5: SWAP1 00001cc6: DUP4 00001cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cdc: AND 00001cdd: MUL 00001cde: OR 00001cdf: SWAP1 00001ce0: SSTORE 00001ce1: POP 00001ce2: POP 00001ce3: JUMP 00001ce4: JUMPDEST 00001ce5: PUSH1 0x00 00001ce7: DUP3 00001ce8: DUP3 00001ce9: GT 00001cea: ISZERO 00001ceb: ISZERO 00001cec: ISZERO 00001ced: PUSH2 0x1cf2 00001cf0: JUMPI 00001cf1: INVALID 00001cf2: JUMPDEST 00001cf3: DUP2 00001cf4: DUP4 00001cf5: SUB 00001cf6: SWAP1 00001cf7: POP 00001cf8: SWAP3 00001cf9: SWAP2 00001cfa: POP 00001cfb: POP 00001cfc: JUMP 00001cfd: JUMPDEST 00001cfe: PUSH1 0x00 00001d00: DUP1 00001d01: PUSH1 0x00 00001d03: DUP5 00001d04: EQ 00001d05: ISZERO 00001d06: PUSH2 0x1d12 00001d09: JUMPI 00001d0a: PUSH1 0x00 00001d0c: SWAP2 00001d0d: POP 00001d0e: PUSH2 0x1d31 00001d11: JUMP 00001d12: JUMPDEST 00001d13: DUP3 00001d14: DUP5 00001d15: MUL 00001d16: SWAP1 00001d17: POP 00001d18: DUP3 00001d19: DUP5 00001d1a: DUP3 00001d1b: DUP2 00001d1c: ISZERO 00001d1d: ISZERO 00001d1e: PUSH2 0x1d23 00001d21: JUMPI 00001d22: INVALID 00001d23: JUMPDEST 00001d24: DIV 00001d25: EQ 00001d26: ISZERO 00001d27: ISZERO 00001d28: PUSH2 0x1d2d 00001d2b: JUMPI 00001d2c: INVALID 00001d2d: JUMPDEST 00001d2e: DUP1 00001d2f: SWAP2 00001d30: POP 00001d31: JUMPDEST 00001d32: POP 00001d33: SWAP3 00001d34: SWAP2 00001d35: POP 00001d36: POP 00001d37: JUMP 00001d38: JUMPDEST 00001d39: PUSH1 0x00 00001d3b: DUP1 00001d3c: DUP3 00001d3d: DUP5 00001d3e: ADD 00001d3f: SWAP1 00001d40: POP 00001d41: DUP4 00001d42: DUP2 00001d43: LT 00001d44: ISZERO 00001d45: ISZERO 00001d46: ISZERO 00001d47: PUSH2 0x1d4c 00001d4a: JUMPI 00001d4b: INVALID 00001d4c: JUMPDEST 00001d4d: DUP1 00001d4e: SWAP2 00001d4f: POP 00001d50: POP 00001d51: SWAP3 00001d52: SWAP2 00001d53: POP 00001d54: POP 00001d55: JUMP 00001d56: JUMPDEST 00001d57: PUSH1 0x00 00001d59: DUP1 00001d5a: DUP3 00001d5b: DUP5 00001d5c: DUP2 00001d5d: ISZERO 00001d5e: ISZERO 00001d5f: PUSH2 0x1d64 00001d62: JUMPI 00001d63: INVALID 00001d64: JUMPDEST 00001d65: DIV 00001d66: SWAP1 00001d67: POP 00001d68: DUP1 00001d69: SWAP2 00001d6a: POP 00001d6b: POP 00001d6c: SWAP3 00001d6d: SWAP2 00001d6e: POP 00001d6f: POP 00001d70: JUMP 00001d71: JUMPDEST 00001d72: PUSH1 0x00 00001d74: DUP1 00001d75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d8a: AND 00001d8b: DUP4 00001d8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001da1: AND 00001da2: EQ 00001da3: ISZERO 00001da4: ISZERO 00001da5: ISZERO 00001da6: PUSH2 0x1dae 00001da9: JUMPI 00001daa: PUSH1 0x00 00001dac: DUP1 00001dad: REVERT 00001dae: JUMPDEST 00001daf: PUSH1 0x00 00001db1: DUP1 00001db2: DUP6 00001db3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc8: AND 00001dc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dde: AND 00001ddf: DUP2 00001de0: MSTORE 00001de1: PUSH1 0x20 00001de3: ADD 00001de4: SWAP1 00001de5: DUP2 00001de6: MSTORE 00001de7: PUSH1 0x20 00001de9: ADD 00001dea: PUSH1 0x00 00001dec: KECCAK256 00001ded: SLOAD 00001dee: DUP3 00001def: GT 00001df0: ISZERO 00001df1: ISZERO 00001df2: ISZERO 00001df3: PUSH2 0x1dfb 00001df6: JUMPI 00001df7: PUSH1 0x00 00001df9: DUP1 00001dfa: REVERT 00001dfb: JUMPDEST 00001dfc: PUSH1 0x02 00001dfe: PUSH1 0x00 00001e00: DUP6 00001e01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e16: AND 00001e17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e2c: AND 00001e2d: DUP2 00001e2e: MSTORE 00001e2f: PUSH1 0x20 00001e31: ADD 00001e32: SWAP1 00001e33: DUP2 00001e34: MSTORE 00001e35: PUSH1 0x20 00001e37: ADD 00001e38: PUSH1 0x00 00001e3a: KECCAK256 00001e3b: PUSH1 0x00 00001e3d: CALLER 00001e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e53: AND 00001e54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e69: AND 00001e6a: DUP2 00001e6b: MSTORE 00001e6c: PUSH1 0x20 00001e6e: ADD 00001e6f: SWAP1 00001e70: DUP2 00001e71: MSTORE 00001e72: PUSH1 0x20 00001e74: ADD 00001e75: PUSH1 0x00 00001e77: KECCAK256 00001e78: SLOAD 00001e79: DUP3 00001e7a: GT 00001e7b: ISZERO 00001e7c: ISZERO 00001e7d: ISZERO 00001e7e: PUSH2 0x1e86 00001e81: JUMPI 00001e82: PUSH1 0x00 00001e84: DUP1 00001e85: REVERT 00001e86: JUMPDEST 00001e87: PUSH2 0x1ed7 00001e8a: DUP3 00001e8b: PUSH1 0x00 00001e8d: DUP1 00001e8e: DUP8 00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea4: AND 00001ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eba: AND 00001ebb: DUP2 00001ebc: MSTORE 00001ebd: PUSH1 0x20 00001ebf: ADD 00001ec0: SWAP1 00001ec1: DUP2 00001ec2: MSTORE 00001ec3: PUSH1 0x20 00001ec5: ADD 00001ec6: PUSH1 0x00 00001ec8: KECCAK256 00001ec9: SLOAD 00001eca: PUSH2 0x1ce4 00001ecd: SWAP1 00001ece: SWAP2 00001ecf: SWAP1 00001ed0: PUSH4 0xffffffff 00001ed5: AND 00001ed6: JUMP 00001ed7: JUMPDEST 00001ed8: PUSH1 0x00 00001eda: DUP1 00001edb: DUP7 00001edc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ef1: AND 00001ef2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f07: AND 00001f08: DUP2 00001f09: MSTORE 00001f0a: PUSH1 0x20 00001f0c: ADD 00001f0d: SWAP1 00001f0e: DUP2 00001f0f: MSTORE 00001f10: PUSH1 0x20 00001f12: ADD 00001f13: PUSH1 0x00 00001f15: KECCAK256 00001f16: DUP2 00001f17: SWAP1 00001f18: SSTORE 00001f19: POP 00001f1a: PUSH2 0x1f6a 00001f1d: DUP3 00001f1e: PUSH1 0x00 00001f20: DUP1 00001f21: DUP7 00001f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f37: AND 00001f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f4d: AND 00001f4e: DUP2 00001f4f: MSTORE 00001f50: PUSH1 0x20 00001f52: ADD 00001f53: SWAP1 00001f54: DUP2 00001f55: MSTORE 00001f56: PUSH1 0x20 00001f58: ADD 00001f59: PUSH1 0x00 00001f5b: KECCAK256 00001f5c: SLOAD 00001f5d: PUSH2 0x1d38 00001f60: SWAP1 00001f61: SWAP2 00001f62: SWAP1 00001f63: PUSH4 0xffffffff 00001f68: AND 00001f69: JUMP 00001f6a: JUMPDEST 00001f6b: PUSH1 0x00 00001f6d: DUP1 00001f6e: DUP6 00001f6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f84: AND 00001f85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9a: AND 00001f9b: DUP2 00001f9c: MSTORE 00001f9d: PUSH1 0x20 00001f9f: ADD 00001fa0: SWAP1 00001fa1: DUP2 00001fa2: MSTORE 00001fa3: PUSH1 0x20 00001fa5: ADD 00001fa6: PUSH1 0x00 00001fa8: KECCAK256 00001fa9: DUP2 00001faa: SWAP1 00001fab: SSTORE 00001fac: POP 00001fad: PUSH2 0x203b 00001fb0: DUP3 00001fb1: PUSH1 0x02 00001fb3: PUSH1 0x00 00001fb5: DUP8 00001fb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fcb: AND 00001fcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fe1: AND 00001fe2: DUP2 00001fe3: MSTORE 00001fe4: PUSH1 0x20 00001fe6: ADD 00001fe7: SWAP1 00001fe8: DUP2 00001fe9: MSTORE 00001fea: PUSH1 0x20 00001fec: ADD 00001fed: PUSH1 0x00 00001fef: KECCAK256 00001ff0: PUSH1 0x00 00001ff2: CALLER 00001ff3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002008: AND 00002009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000201e: AND 0000201f: DUP2 00002020: MSTORE 00002021: PUSH1 0x20 00002023: ADD 00002024: SWAP1 00002025: DUP2 00002026: MSTORE 00002027: PUSH1 0x20 00002029: ADD 0000202a: PUSH1 0x00 0000202c: KECCAK256 0000202d: SLOAD 0000202e: PUSH2 0x1ce4 00002031: SWAP1 00002032: SWAP2 00002033: SWAP1 00002034: PUSH4 0xffffffff 00002039: AND 0000203a: JUMP 0000203b: JUMPDEST 0000203c: PUSH1 0x02 0000203e: PUSH1 0x00 00002040: DUP7 00002041: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002056: AND 00002057: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000206c: AND 0000206d: DUP2 0000206e: MSTORE 0000206f: PUSH1 0x20 00002071: ADD 00002072: SWAP1 00002073: DUP2 00002074: MSTORE 00002075: PUSH1 0x20 00002077: ADD 00002078: PUSH1 0x00 0000207a: KECCAK256 0000207b: PUSH1 0x00 0000207d: CALLER 0000207e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002093: AND 00002094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a9: AND 000020aa: DUP2 000020ab: MSTORE 000020ac: PUSH1 0x20 000020ae: ADD 000020af: SWAP1 000020b0: DUP2 000020b1: MSTORE 000020b2: PUSH1 0x20 000020b4: ADD 000020b5: PUSH1 0x00 000020b7: KECCAK256 000020b8: DUP2 000020b9: SWAP1 000020ba: SSTORE 000020bb: POP 000020bc: DUP3 000020bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020d2: AND 000020d3: DUP5 000020d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020e9: AND 000020ea: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000210b: DUP5 0000210c: PUSH1 0x40 0000210e: MLOAD 0000210f: DUP1 00002110: DUP3 00002111: DUP2 00002112: MSTORE 00002113: PUSH1 0x20 00002115: ADD 00002116: SWAP2 00002117: POP 00002118: POP 00002119: PUSH1 0x40 0000211b: MLOAD 0000211c: DUP1 0000211d: SWAP2 0000211e: SUB 0000211f: SWAP1 00002120: LOG3 00002121: PUSH1 0x01 00002123: SWAP1 00002124: POP 00002125: SWAP4 00002126: SWAP3 00002127: POP 00002128: POP 00002129: POP 0000212a: JUMP 0000212b: JUMPDEST 0000212c: PUSH1 0x00 0000212e: DUP1 0000212f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002144: AND 00002145: DUP4 00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000215b: AND 0000215c: EQ 0000215d: ISZERO 0000215e: ISZERO 0000215f: ISZERO 00002160: PUSH2 0x2168 00002163: JUMPI 00002164: PUSH1 0x00 00002166: DUP1 00002167: REVERT 00002168: JUMPDEST 00002169: PUSH1 0x00 0000216b: DUP1 0000216c: CALLER 0000216d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002182: AND 00002183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002198: AND 00002199: DUP2 0000219a: MSTORE 0000219b: PUSH1 0x20 0000219d: ADD 0000219e: SWAP1 0000219f: DUP2 000021a0: MSTORE 000021a1: PUSH1 0x20 000021a3: ADD 000021a4: PUSH1 0x00 000021a6: KECCAK256 000021a7: SLOAD 000021a8: DUP3 000021a9: GT 000021aa: ISZERO 000021ab: ISZERO 000021ac: ISZERO 000021ad: PUSH2 0x21b5 000021b0: JUMPI 000021b1: PUSH1 0x00 000021b3: DUP1 000021b4: REVERT 000021b5: JUMPDEST 000021b6: PUSH2 0x2206 000021b9: DUP3 000021ba: PUSH1 0x00 000021bc: DUP1 000021bd: CALLER 000021be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d3: AND 000021d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021e9: AND 000021ea: DUP2 000021eb: MSTORE 000021ec: PUSH1 0x20 000021ee: ADD 000021ef: SWAP1 000021f0: DUP2 000021f1: MSTORE 000021f2: PUSH1 0x20 000021f4: ADD 000021f5: PUSH1 0x00 000021f7: KECCAK256 000021f8: SLOAD 000021f9: PUSH2 0x1ce4 000021fc: SWAP1 000021fd: SWAP2 000021fe: SWAP1 000021ff: PUSH4 0xffffffff 00002204: AND 00002205: JUMP 00002206: JUMPDEST 00002207: PUSH1 0x00 00002209: DUP1 0000220a: CALLER 0000220b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002220: AND 00002221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002236: AND 00002237: DUP2 00002238: MSTORE 00002239: PUSH1 0x20 0000223b: ADD 0000223c: SWAP1 0000223d: DUP2 0000223e: MSTORE 0000223f: PUSH1 0x20 00002241: ADD 00002242: PUSH1 0x00 00002244: KECCAK256 00002245: DUP2 00002246: SWAP1 00002247: SSTORE 00002248: POP 00002249: PUSH2 0x2299 0000224c: DUP3 0000224d: PUSH1 0x00 0000224f: DUP1 00002250: DUP7 00002251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002266: AND 00002267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000227c: AND 0000227d: DUP2 0000227e: MSTORE 0000227f: PUSH1 0x20 00002281: ADD 00002282: SWAP1 00002283: DUP2 00002284: MSTORE 00002285: PUSH1 0x20 00002287: ADD 00002288: PUSH1 0x00 0000228a: KECCAK256 0000228b: SLOAD 0000228c: PUSH2 0x1d38 0000228f: SWAP1 00002290: SWAP2 00002291: SWAP1 00002292: PUSH4 0xffffffff 00002297: AND 00002298: JUMP 00002299: JUMPDEST 0000229a: PUSH1 0x00 0000229c: DUP1 0000229d: DUP6 0000229e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022b3: AND 000022b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022c9: AND 000022ca: DUP2 000022cb: MSTORE 000022cc: PUSH1 0x20 000022ce: ADD 000022cf: SWAP1 000022d0: DUP2 000022d1: MSTORE 000022d2: PUSH1 0x20 000022d4: ADD 000022d5: PUSH1 0x00 000022d7: KECCAK256 000022d8: DUP2 000022d9: SWAP1 000022da: SSTORE 000022db: POP 000022dc: DUP3 000022dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022f2: AND 000022f3: CALLER 000022f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002309: AND 0000230a: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000232b: DUP5 0000232c: PUSH1 0x40 0000232e: MLOAD 0000232f: DUP1 00002330: DUP3 00002331: DUP2 00002332: MSTORE 00002333: PUSH1 0x20 00002335: ADD 00002336: SWAP2 00002337: POP 00002338: POP 00002339: PUSH1 0x40 0000233b: MLOAD 0000233c: DUP1 0000233d: SWAP2 0000233e: SUB 0000233f: SWAP1 00002340: LOG3 00002341: PUSH1 0x01 00002343: SWAP1 00002344: POP 00002345: SWAP3 00002346: SWAP2 00002347: POP 00002348: POP 00002349: JUMP 0000234a: STOP 0000234b: LOG1 0000234c: PUSH6 0x627a7a723058 00002353: KECCAK256 00002354: PUSH11 0x04765acee041bc16d2f524 00002360: UNKNOWN(0xF6) 00002361: CALLDATALOAD 00002362: UNKNOWN(0xCC) 00002363: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x35687ca8f10f185d61481c8ebb28493331d5cb3afe5af457778de0a4a1962af9
call_targets:
0x141044ccc363d6e8d92dd8983422775913e304ec
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35687ca8f10f185d61481c8ebb28493331d5cb3afe5af457778de0a4a1962af9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x141044ccc363d6e8d92dd8983422775913e304ec"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 3624,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7110,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x35687ca8f10f185d61481c8ebb28493331d5cb3afe5af457778de0a4a1962af9
call_targets:
0x141044ccc363d6e8d92dd8983422775913e304ec
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35687ca8f10f185d61481c8ebb28493331d5cb3afe5af457778de0a4a1962af9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x141044ccc363d6e8d92dd8983422775913e304ec"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x05d2035b",
"selector": "0x05d2035b",
"calldata_variants": [
"0x05d2035b",
"0x05d2035b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2344,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 3624,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5240,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 7110,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|