8fb66791-d78f-4297-865c-2b0b24ce67dd
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 |
|---|---|---|---|---|
| 31414 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 77110 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 77111 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 77112 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 77113 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 77114 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 77115 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:502356] OpenAI Codex v0.77.0 (research preview)
[codex:502356] --------
[codex:502356] workdir: /tmp/codex-multi-ipquurvb
[codex:502356] model: gpt-5.2-codex
[codex:502356] provider: openai
[codex:502356] approval: never
[codex:502356] sandbox: read-only
[codex:502356] reasoning effort: xhigh
[codex:502356] reasoning summaries: auto
[codex:502356] session id: 019b816b-1039-7471-a0ce-cd88847392e4
[codex:502356] --------
[codex:502356] user
[codex:502356] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:502356]
[codex:502356] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:502356]
[codex:502356] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:502356] - Gas inefficiency, code quality, naming, or best practices
[codex:502356] - Theoretical vulnerabilities without a clear extraction path
[codex:502356] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:502356] - Front-running unless it enables theft beyond MEV
[codex:502356] - DoS, griefing, or issues that don't result in attacker profit
[codex:502356] - Missing events, view function issues, or informational findings
[codex:502356]
[codex:502356] HIGH-VALUE PATTERNS TO HUNT:
[codex:502356] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:502356] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:502356] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:502356] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:502356] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:502356] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:502356] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:502356] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:502356] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:502356]
[codex:502356] For each finding, you MUST provide:
[codex:502356] 1. Exact file and line numbers of vulnerable code
[codex:502356] 2. Step-by-step exploit transaction sequence
[codex:502356] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:502356]
[codex:502356] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:502356]
[codex:502356] Output MUST be valid JSON matching the provided schema.
[codex:502356] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:502356] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:502356] mcp startup: no servers
[codex:502356]
[codex:502356] thinking
[codex:502356] **Preparing to read AUDIT_BUNDLE.txt**
[codex:502356] exec
[codex:502356] /bin/bash -lc ls in /tmp/codex-multi-ipquurvb succeeded in 7ms:
[codex:502356] AUDIT_BUNDLE.txt
[codex:502356] codex-output-schema.json
[codex:502356] contracts
[codex:502356]
[codex:502356] thinking
[codex:502356] **Reading AUDIT_BUNDLE.txt**
[codex:502356] exec
[codex:502356] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ipquurvb succeeded in 8ms:
[codex:502356] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:502356]
[codex:502356] ================================================================================
[codex:502356] FILE: contracts/Contract.sol
[codex:502356] ================================================================================
[codex:502356] /**
[codex:502356] * www.the8020.ch
[codex:502356] */
[codex:502356]
[codex:502356] pragma solidity ^0.6.0;
[codex:502356]
[codex:502356] /*==================================================================================
[codex:502356] = The 80/20 is a Wealth Distribution system that is open for anyone to use. =
[codex:502356] = We created this application with hopes that it will provide a steady stream =
[codex:502356] = of passive income for generations to come. The foundation that stands behind =
[codex:502356] = this product would like you to live happy, free, and prosperous. =
[codex:502356] = Stay tuned for more dApps from the GSG Global Marketing Group. =
[codex:502356] = #LuckyRico #LACGold #JCunn24 #BoHarvey #LennyBones #WealthWithPhelps =
[codex:502356] = #ShahzainTariq >= developer of this smart contract =
[codex:502356] ================================================================================*/
[codex:502356]
[codex:502356]
[codex:502356]
[codex:502356]
[codex:502356] thinking
[codex:502356] **Analyzing token contract mechanics and potential vulnerabilities**
[codex:502356]
[codex:502356] I'm carefully examining the contract's token economics, especially referral payouts, dividend calculations, and loyalty bonuses to spot exploitable profit paths. There’s a complex interplay involving referral bonuses being credited partly to the zero address, dividend payout adjustments on sells, and an unusual loyalty multiplier that might let holders withdraw substantially more than expected. I'm scrutinizing math logic and state updates to see if these lead to any concrete exploits for unauthorized profit extraction.
[codex:502356] thinking
[codex:502356] **Investigating potential underflow and payout manipulation**
[codex:502356]
[codex:502356] I'm exploring whether unchecked subtraction on the loyaltyPool can cause underflows that might lead to abnormal contract states or repeated withdrawals. I’m also digging into how payoutsTo_ could become negative or manipulated via transfers to inflate dividends or loyalty bonuses illicitly. There’s a complex interaction of dividend calculations, loyalty multipliers, and payout adjustments that might allow creative manipulation, so I want to understand if these math and state update details expose any real profit exploits.
[codex:502356] thinking
[codex:502356] **Examining arithmetic edge cases and loyalty payout economics**
[codex:502356]
[codex:502356] I'm carefully analyzing math operations for potential overflow or division-by-zero issues, especially in token pricing formulas that mix large powers and unchecked arithmetic. While overflows seem theoretically possible, practical token supply limits make this unlikely. I’m also parsing how loyalty payouts, set at 2.8x dividends but funded only partially by the loyaltyPool, could enable holders to withdraw more than their proportional share, which might drain contract funds faster than intended—this might be an economic quirk rather than a direct exploit.
[codex:502356] thinking
[codex:502356] **Verifying absence of concrete exploits**
[codex:502356]
[codex:502356] I'll confirm that no exploitable path exists by reviewing edge cases in referrals, token transfers, payout adjustments, and fee calculations. I see some quirks like referral bonuses to unregistered addresses and token transfers without fees, but none that lead to unauthorized profit. The design details and state updates appear consistent, so I'll prepare a no_findings report with a clear summary and empty findings list.
[codex:502356] exec
[codex:502356] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-ipquurvb succeeded in 8ms:
[codex:502356] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:502356]
[codex:502356]
[codex:502356] thinking
[codex:502356] **Analyzing dividend and reinvest mechanics**
[codex:502356]
[codex:502356] I'm carefully examining how dividends, reinvestment, and fee transfers interact, especially potential token inflation from minting tokens against virtual dividends while transferring ETH fees out, and whether payout calculations or rounding could lead to exploits or inconsistencies in contract balances. There’s a lot to consider about fee distributions, referral bonuses, and how first buyers receive dividends, so I'm analyzing each mechanism's effects on contract solvency and user profit potential.
[codex:502356] thinking
[codex:502356] **Preparing JSON audit summary**
[codex:502356]
[codex:502356] I'm wrapping up by composing a JSON output confirming no exploitable profit paths were found in the contract, mentioning the audit bundle was read, and ensuring strict compliance to output valid JSON only with no additional commentary.
[codex:502356] codex
[codex:502356] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.","findings":[]}
[codex:502356] tokens used
[codex:502356] 28,382
[codex:502356] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.","findings":[]}
{
"codex": {
"ran_at": "2026-01-03T01:19:44.019852+00:00",
"returncode": 0
},
"summary": "Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.",
"raw_final": {
"summary": "Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0254 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7c3fcc38 00000019: GT 0000001a: PUSH2 0x0139 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc664f7f1 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe4849b32 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe4849b32 0000003a: EQ 0000003b: PUSH2 0x146a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe9fad8ee 00000045: EQ 00000046: PUSH2 0x14a5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf088d547 00000050: EQ 00000051: PUSH2 0x14bc 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa4ee6d5 0000005b: EQ 0000005c: PUSH2 0x1514 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfdb5a03e 00000066: EQ 00000067: PUSH2 0x153f 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xff50abdc 00000071: EQ 00000072: PUSH2 0x1556 00000075: JUMPI 00000076: PUSH2 0x0594 00000079: JUMP 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xc664f7f1 00000081: EQ 00000082: PUSH2 0x12c5 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xca5d3813 0000008c: EQ 0000008d: PUSH2 0x132a 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xdd62ed3e 00000097: EQ 00000098: PUSH2 0x1355 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xe00dd161 000000a2: EQ 000000a3: PUSH2 0x13da 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xe1456cb4 000000ad: EQ 000000ae: PUSH2 0x1405 000000b1: JUMPI 000000b2: PUSH2 0x0594 000000b5: JUMP 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x9f4216e8 000000bd: GT 000000be: PUSH2 0x00fd 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x9f4216e8 000000c8: EQ 000000c9: PUSH2 0x108f 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa457c2d7 000000d3: EQ 000000d4: PUSH2 0x110a 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xa87430ba 000000de: EQ 000000df: PUSH2 0x117d 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xa9059cbb 000000e9: EQ 000000ea: PUSH2 0x1227 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xc625565c 000000f4: EQ 000000f5: PUSH2 0x129a 000000f8: JUMPI 000000f9: PUSH2 0x0594 000000fc: JUMP 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x7c3fcc38 00000104: EQ 00000105: PUSH2 0x0eed 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x8620410b 0000010f: EQ 00000110: PUSH2 0x0f7e 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x8a2381d7 0000011a: EQ 0000011b: PUSH2 0x0fa9 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x949e8acd 00000125: EQ 00000126: PUSH2 0x0fd4 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x95d89b41 00000130: EQ 00000131: PUSH2 0x0fff 00000134: JUMPI 00000135: PUSH2 0x0594 00000138: JUMP 00000139: JUMPDEST 0000013a: DUP1 0000013b: PUSH4 0x3ccfd60b 00000140: GT 00000141: PUSH2 0x01d2 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x66d0832c 0000014b: GT 0000014c: PUSH2 0x0196 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x66d0832c 00000156: EQ 00000157: PUSH2 0x0d8b 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x688abbf7 00000161: EQ 00000162: PUSH2 0x0db6 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x6b2f4632 0000016c: EQ 0000016d: PUSH2 0x0e07 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x6cd38db8 00000177: EQ 00000178: PUSH2 0x0e32 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x70a08231 00000182: EQ 00000183: PUSH2 0x0e5d 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x7b76ac91 0000018d: EQ 0000018e: PUSH2 0x0ec2 00000191: JUMPI 00000192: PUSH2 0x0594 00000195: JUMP 00000196: JUMPDEST 00000197: DUP1 00000198: PUSH4 0x3ccfd60b 0000019d: EQ 0000019e: PUSH2 0x0c62 000001a1: JUMPI 000001a2: DUP1 000001a3: PUSH4 0x455fd623 000001a8: EQ 000001a9: PUSH2 0x0c79 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x4b750334 000001b3: EQ 000001b4: PUSH2 0x0ca4 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x5c5a0a9d 000001be: EQ 000001bf: PUSH2 0x0ccf 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x5e52a00b 000001c9: EQ 000001ca: PUSH2 0x0d34 000001cd: JUMPI 000001ce: PUSH2 0x0594 000001d1: JUMP 000001d2: JUMPDEST 000001d3: DUP1 000001d4: PUSH4 0x18160ddd 000001d9: GT 000001da: PUSH2 0x0219 000001dd: JUMPI 000001de: DUP1 000001df: PUSH4 0x18160ddd 000001e4: EQ 000001e5: PUSH2 0x0ab1 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x22609373 000001ef: EQ 000001f0: PUSH2 0x0adc 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x23b872dd 000001fa: EQ 000001fb: PUSH2 0x0b2b 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x313ce567 00000205: EQ 00000206: PUSH2 0x0bbe 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x39509351 00000210: EQ 00000211: PUSH2 0x0bef 00000214: JUMPI 00000215: PUSH2 0x0594 00000218: JUMP 00000219: JUMPDEST 0000021a: DUP1 0000021b: PUSH3 0x65318b 0000021f: EQ 00000220: PUSH2 0x08cf 00000223: JUMPI 00000224: DUP1 00000225: PUSH4 0x06fdde03 0000022a: EQ 0000022b: PUSH2 0x0934 0000022e: JUMPI 0000022f: DUP1 00000230: PUSH4 0x095ea7b3 00000235: EQ 00000236: PUSH2 0x09c4 00000239: JUMPI 0000023a: DUP1 0000023b: PUSH4 0x104e9929 00000240: EQ 00000241: PUSH2 0x0a37 00000244: JUMPI 00000245: DUP1 00000246: PUSH4 0x10d0ffdd 0000024b: EQ 0000024c: PUSH2 0x0a62 0000024f: JUMPI 00000250: PUSH2 0x0594 00000253: JUMP 00000254: JUMPDEST 00000255: CALLDATASIZE 00000256: PUSH2 0x0594 00000259: JUMPI 0000025a: PUSH8 0x016345785d8a0000 00000263: CALLVALUE 00000264: LT 00000265: ISZERO 00000266: PUSH2 0x02d7 00000269: JUMPI 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000028e: DUP2 0000028f: MSTORE 00000290: PUSH1 0x04 00000292: ADD 00000293: DUP1 00000294: DUP1 00000295: PUSH1 0x20 00000297: ADD 00000298: DUP3 00000299: DUP2 0000029a: SUB 0000029b: DUP3 0000029c: MSTORE 0000029d: PUSH1 0x1d 0000029f: DUP2 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: ADD 000002a4: DUP1 000002a5: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d202e000000 000002c6: DUP2 000002c7: MSTORE 000002c8: POP 000002c9: PUSH1 0x20 000002cb: ADD 000002cc: SWAP2 000002cd: POP 000002ce: POP 000002cf: PUSH1 0x40 000002d1: MLOAD 000002d2: DUP1 000002d3: SWAP2 000002d4: SUB 000002d5: SWAP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: PUSH1 0x17 000002da: PUSH1 0x00 000002dc: CALLER 000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f2: AND 000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000308: AND 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x20 0000030d: ADD 0000030e: SWAP1 0000030f: DUP2 00000310: MSTORE 00000311: PUSH1 0x20 00000313: ADD 00000314: PUSH1 0x00 00000316: KECCAK256 00000317: PUSH1 0x00 00000319: ADD 0000031a: PUSH1 0x00 0000031c: SWAP1 0000031d: SLOAD 0000031e: SWAP1 0000031f: PUSH2 0x0100 00000322: EXP 00000323: SWAP1 00000324: DIV 00000325: PUSH1 0xff 00000327: AND 00000328: PUSH2 0x0337 0000032b: JUMPI 0000032c: PUSH2 0x0336 0000032f: CALLER 00000330: PUSH1 0x00 00000332: PUSH2 0x1581 00000335: JUMP 00000336: JUMPDEST 00000337: JUMPDEST 00000338: PUSH2 0x0342 0000033b: CALLVALUE 0000033c: PUSH1 0x00 0000033e: PUSH2 0x1738 00000341: JUMP 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x036a 00000347: PUSH1 0x64 00000349: PUSH2 0x035c 0000034c: PUSH1 0x0c 0000034e: CALLVALUE 0000034f: PUSH2 0x1ac2 00000352: SWAP1 00000353: SWAP2 00000354: SWAP1 00000355: PUSH4 0xffffffff 0000035a: AND 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH2 0x1b48 00000360: SWAP1 00000361: SWAP2 00000362: SWAP1 00000363: PUSH4 0xffffffff 00000368: AND 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH1 0x07 0000036d: PUSH1 0x00 0000036f: DUP3 00000370: DUP3 00000371: SLOAD 00000372: ADD 00000373: SWAP3 00000374: POP 00000375: POP 00000376: DUP2 00000377: SWAP1 00000378: SSTORE 00000379: POP 0000037a: PUSH2 0x03a0 0000037d: PUSH1 0x64 0000037f: PUSH2 0x0392 00000382: PUSH1 0x02 00000384: CALLVALUE 00000385: PUSH2 0x1ac2 00000388: SWAP1 00000389: SWAP2 0000038a: SWAP1 0000038b: PUSH4 0xffffffff 00000390: AND 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x1b48 00000396: SWAP1 00000397: SWAP2 00000398: SWAP1 00000399: PUSH4 0xffffffff 0000039e: AND 0000039f: JUMP 000003a0: JUMPDEST 000003a1: PUSH1 0x08 000003a3: PUSH1 0x00 000003a5: DUP3 000003a6: DUP3 000003a7: SLOAD 000003a8: ADD 000003a9: SWAP3 000003aa: POP 000003ab: POP 000003ac: DUP2 000003ad: SWAP1 000003ae: SSTORE 000003af: POP 000003b0: PUSH2 0x03d6 000003b3: PUSH1 0x64 000003b5: PUSH2 0x03c8 000003b8: PUSH1 0x02 000003ba: CALLVALUE 000003bb: PUSH2 0x1ac2 000003be: SWAP1 000003bf: SWAP2 000003c0: SWAP1 000003c1: PUSH4 0xffffffff 000003c6: AND 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH2 0x1b48 000003cc: SWAP1 000003cd: SWAP2 000003ce: SWAP1 000003cf: PUSH4 0xffffffff 000003d4: AND 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH1 0x0a 000003d9: PUSH1 0x00 000003db: DUP3 000003dc: DUP3 000003dd: SLOAD 000003de: ADD 000003df: SWAP3 000003e0: POP 000003e1: POP 000003e2: DUP2 000003e3: SWAP1 000003e4: SSTORE 000003e5: POP 000003e6: PUSH1 0x0d 000003e8: PUSH1 0x00 000003ea: SWAP1 000003eb: SLOAD 000003ec: SWAP1 000003ed: PUSH2 0x0100 000003f0: EXP 000003f1: SWAP1 000003f2: DIV 000003f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000408: AND 00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041e: AND 0000041f: PUSH2 0x08fc 00000422: PUSH2 0x0448 00000425: PUSH1 0x64 00000427: PUSH2 0x043a 0000042a: PUSH1 0x02 0000042c: CALLVALUE 0000042d: PUSH2 0x1ac2 00000430: SWAP1 00000431: SWAP2 00000432: SWAP1 00000433: PUSH4 0xffffffff 00000438: AND 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x1b48 0000043e: SWAP1 0000043f: SWAP2 00000440: SWAP1 00000441: PUSH4 0xffffffff 00000446: AND 00000447: JUMP 00000448: JUMPDEST 00000449: SWAP1 0000044a: DUP2 0000044b: ISZERO 0000044c: MUL 0000044d: SWAP1 0000044e: PUSH1 0x40 00000450: MLOAD 00000451: PUSH1 0x00 00000453: PUSH1 0x40 00000455: MLOAD 00000456: DUP1 00000457: DUP4 00000458: SUB 00000459: DUP2 0000045a: DUP6 0000045b: DUP9 0000045c: DUP9 0000045d: CALL 0000045e: SWAP4 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: ISZERO 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x0473 00000469: JUMPI 0000046a: RETURNDATASIZE 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: RETURNDATACOPY 0000046f: RETURNDATASIZE 00000470: PUSH1 0x00 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH1 0x0b 00000477: PUSH1 0x00 00000479: SWAP1 0000047a: SLOAD 0000047b: SWAP1 0000047c: PUSH2 0x0100 0000047f: EXP 00000480: SWAP1 00000481: DIV 00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000497: AND 00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ad: AND 000004ae: PUSH2 0x08fc 000004b1: PUSH2 0x04d7 000004b4: PUSH1 0x64 000004b6: PUSH2 0x04c9 000004b9: PUSH1 0x01 000004bb: CALLVALUE 000004bc: PUSH2 0x1ac2 000004bf: SWAP1 000004c0: SWAP2 000004c1: SWAP1 000004c2: PUSH4 0xffffffff 000004c7: AND 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH2 0x1b48 000004cd: SWAP1 000004ce: SWAP2 000004cf: SWAP1 000004d0: PUSH4 0xffffffff 000004d5: AND 000004d6: JUMP 000004d7: JUMPDEST 000004d8: SWAP1 000004d9: DUP2 000004da: ISZERO 000004db: MUL 000004dc: SWAP1 000004dd: PUSH1 0x40 000004df: MLOAD 000004e0: PUSH1 0x00 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: DUP1 000004e6: DUP4 000004e7: SUB 000004e8: DUP2 000004e9: DUP6 000004ea: DUP9 000004eb: DUP9 000004ec: CALL 000004ed: SWAP4 000004ee: POP 000004ef: POP 000004f0: POP 000004f1: POP 000004f2: ISZERO 000004f3: DUP1 000004f4: ISZERO 000004f5: PUSH2 0x0502 000004f8: JUMPI 000004f9: RETURNDATASIZE 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: RETURNDATACOPY 000004fe: RETURNDATASIZE 000004ff: PUSH1 0x00 00000501: REVERT 00000502: JUMPDEST 00000503: POP 00000504: PUSH1 0x0c 00000506: PUSH1 0x00 00000508: SWAP1 00000509: SLOAD 0000050a: SWAP1 0000050b: PUSH2 0x0100 0000050e: EXP 0000050f: SWAP1 00000510: DIV 00000511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000526: AND 00000527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053c: AND 0000053d: PUSH2 0x08fc 00000540: PUSH2 0x0566 00000543: PUSH1 0x64 00000545: PUSH2 0x0558 00000548: PUSH1 0x01 0000054a: CALLVALUE 0000054b: PUSH2 0x1ac2 0000054e: SWAP1 0000054f: SWAP2 00000550: SWAP1 00000551: PUSH4 0xffffffff 00000556: AND 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH2 0x1b48 0000055c: SWAP1 0000055d: SWAP2 0000055e: SWAP1 0000055f: PUSH4 0xffffffff 00000564: AND 00000565: JUMP 00000566: JUMPDEST 00000567: SWAP1 00000568: DUP2 00000569: ISZERO 0000056a: MUL 0000056b: SWAP1 0000056c: PUSH1 0x40 0000056e: MLOAD 0000056f: PUSH1 0x00 00000571: PUSH1 0x40 00000573: MLOAD 00000574: DUP1 00000575: DUP4 00000576: SUB 00000577: DUP2 00000578: DUP6 00000579: DUP9 0000057a: DUP9 0000057b: CALL 0000057c: SWAP4 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: ISZERO 00000582: DUP1 00000583: ISZERO 00000584: PUSH2 0x0591 00000587: JUMPI 00000588: RETURNDATASIZE 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: RETURNDATACOPY 0000058d: RETURNDATASIZE 0000058e: PUSH1 0x00 00000590: REVERT 00000591: JUMPDEST 00000592: POP 00000593: STOP 00000594: JUMPDEST 00000595: PUSH8 0x016345785d8a0000 0000059e: CALLVALUE 0000059f: LT 000005a0: ISZERO 000005a1: PUSH2 0x0612 000005a4: JUMPI 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005c9: DUP2 000005ca: MSTORE 000005cb: PUSH1 0x04 000005cd: ADD 000005ce: DUP1 000005cf: DUP1 000005d0: PUSH1 0x20 000005d2: ADD 000005d3: DUP3 000005d4: DUP2 000005d5: SUB 000005d6: DUP3 000005d7: MSTORE 000005d8: PUSH1 0x1d 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x20 000005de: ADD 000005df: DUP1 000005e0: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d202e000000 00000601: DUP2 00000602: MSTORE 00000603: POP 00000604: PUSH1 0x20 00000606: ADD 00000607: SWAP2 00000608: POP 00000609: POP 0000060a: PUSH1 0x40 0000060c: MLOAD 0000060d: DUP1 0000060e: SWAP2 0000060f: SUB 00000610: SWAP1 00000611: REVERT 00000612: JUMPDEST 00000613: PUSH1 0x17 00000615: PUSH1 0x00 00000617: CALLER 00000618: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062d: AND 0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000643: AND 00000644: DUP2 00000645: MSTORE 00000646: PUSH1 0x20 00000648: ADD 00000649: SWAP1 0000064a: DUP2 0000064b: MSTORE 0000064c: PUSH1 0x20 0000064e: ADD 0000064f: PUSH1 0x00 00000651: KECCAK256 00000652: PUSH1 0x00 00000654: ADD 00000655: PUSH1 0x00 00000657: SWAP1 00000658: SLOAD 00000659: SWAP1 0000065a: PUSH2 0x0100 0000065d: EXP 0000065e: SWAP1 0000065f: DIV 00000660: PUSH1 0xff 00000662: AND 00000663: PUSH2 0x0672 00000666: JUMPI 00000667: PUSH2 0x0671 0000066a: CALLER 0000066b: PUSH1 0x00 0000066d: PUSH2 0x1581 00000670: JUMP 00000671: JUMPDEST 00000672: JUMPDEST 00000673: PUSH2 0x067d 00000676: CALLVALUE 00000677: PUSH1 0x00 00000679: PUSH2 0x1738 0000067c: JUMP 0000067d: JUMPDEST 0000067e: POP 0000067f: PUSH2 0x06a5 00000682: PUSH1 0x64 00000684: PUSH2 0x0697 00000687: PUSH1 0x0c 00000689: CALLVALUE 0000068a: PUSH2 0x1ac2 0000068d: SWAP1 0000068e: SWAP2 0000068f: SWAP1 00000690: PUSH4 0xffffffff 00000695: AND 00000696: JUMP 00000697: JUMPDEST 00000698: PUSH2 0x1b48 0000069b: SWAP1 0000069c: SWAP2 0000069d: SWAP1 0000069e: PUSH4 0xffffffff 000006a3: AND 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x07 000006a8: PUSH1 0x00 000006aa: DUP3 000006ab: DUP3 000006ac: SLOAD 000006ad: ADD 000006ae: SWAP3 000006af: POP 000006b0: POP 000006b1: DUP2 000006b2: SWAP1 000006b3: SSTORE 000006b4: POP 000006b5: PUSH2 0x06db 000006b8: PUSH1 0x64 000006ba: PUSH2 0x06cd 000006bd: PUSH1 0x02 000006bf: CALLVALUE 000006c0: PUSH2 0x1ac2 000006c3: SWAP1 000006c4: SWAP2 000006c5: SWAP1 000006c6: PUSH4 0xffffffff 000006cb: AND 000006cc: JUMP 000006cd: JUMPDEST 000006ce: PUSH2 0x1b48 000006d1: SWAP1 000006d2: SWAP2 000006d3: SWAP1 000006d4: PUSH4 0xffffffff 000006d9: AND 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH1 0x08 000006de: PUSH1 0x00 000006e0: DUP3 000006e1: DUP3 000006e2: SLOAD 000006e3: ADD 000006e4: SWAP3 000006e5: POP 000006e6: POP 000006e7: DUP2 000006e8: SWAP1 000006e9: SSTORE 000006ea: POP 000006eb: PUSH2 0x0711 000006ee: PUSH1 0x64 000006f0: PUSH2 0x0703 000006f3: PUSH1 0x02 000006f5: CALLVALUE 000006f6: PUSH2 0x1ac2 000006f9: SWAP1 000006fa: SWAP2 000006fb: SWAP1 000006fc: PUSH4 0xffffffff 00000701: AND 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH2 0x1b48 00000707: SWAP1 00000708: SWAP2 00000709: SWAP1 0000070a: PUSH4 0xffffffff 0000070f: AND 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x0a 00000714: PUSH1 0x00 00000716: DUP3 00000717: DUP3 00000718: SLOAD 00000719: ADD 0000071a: SWAP3 0000071b: POP 0000071c: POP 0000071d: DUP2 0000071e: SWAP1 0000071f: SSTORE 00000720: POP 00000721: PUSH1 0x0d 00000723: PUSH1 0x00 00000725: SWAP1 00000726: SLOAD 00000727: SWAP1 00000728: PUSH2 0x0100 0000072b: EXP 0000072c: SWAP1 0000072d: DIV 0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000743: AND 00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000759: AND 0000075a: PUSH2 0x08fc 0000075d: PUSH2 0x0783 00000760: PUSH1 0x64 00000762: PUSH2 0x0775 00000765: PUSH1 0x02 00000767: CALLVALUE 00000768: PUSH2 0x1ac2 0000076b: SWAP1 0000076c: SWAP2 0000076d: SWAP1 0000076e: PUSH4 0xffffffff 00000773: AND 00000774: JUMP 00000775: JUMPDEST 00000776: PUSH2 0x1b48 00000779: SWAP1 0000077a: SWAP2 0000077b: SWAP1 0000077c: PUSH4 0xffffffff 00000781: AND 00000782: JUMP 00000783: JUMPDEST 00000784: SWAP1 00000785: DUP2 00000786: ISZERO 00000787: MUL 00000788: SWAP1 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: PUSH1 0x00 0000078e: PUSH1 0x40 00000790: MLOAD 00000791: DUP1 00000792: DUP4 00000793: SUB 00000794: DUP2 00000795: DUP6 00000796: DUP9 00000797: DUP9 00000798: CALL 00000799: SWAP4 0000079a: POP 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: ISZERO 0000079f: DUP1 000007a0: ISZERO 000007a1: PUSH2 0x07ae 000007a4: JUMPI 000007a5: RETURNDATASIZE 000007a6: PUSH1 0x00 000007a8: DUP1 000007a9: RETURNDATACOPY 000007aa: RETURNDATASIZE 000007ab: PUSH1 0x00 000007ad: REVERT 000007ae: JUMPDEST 000007af: POP 000007b0: PUSH1 0x0b 000007b2: PUSH1 0x00 000007b4: SWAP1 000007b5: SLOAD 000007b6: SWAP1 000007b7: PUSH2 0x0100 000007ba: EXP 000007bb: SWAP1 000007bc: DIV 000007bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d2: AND 000007d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e8: AND 000007e9: PUSH2 0x08fc 000007ec: PUSH2 0x0812 000007ef: PUSH1 0x64 000007f1: PUSH2 0x0804 000007f4: PUSH1 0x01 000007f6: CALLVALUE 000007f7: PUSH2 0x1ac2 000007fa: SWAP1 000007fb: SWAP2 000007fc: SWAP1 000007fd: PUSH4 0xffffffff 00000802: AND 00000803: JUMP 00000804: JUMPDEST 00000805: PUSH2 0x1b48 00000808: SWAP1 00000809: SWAP2 0000080a: SWAP1 0000080b: PUSH4 0xffffffff 00000810: AND 00000811: JUMP 00000812: JUMPDEST 00000813: SWAP1 00000814: DUP2 00000815: ISZERO 00000816: MUL 00000817: SWAP1 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: PUSH1 0x00 0000081d: PUSH1 0x40 0000081f: MLOAD 00000820: DUP1 00000821: DUP4 00000822: SUB 00000823: DUP2 00000824: DUP6 00000825: DUP9 00000826: DUP9 00000827: CALL 00000828: SWAP4 00000829: POP 0000082a: POP 0000082b: POP 0000082c: POP 0000082d: ISZERO 0000082e: DUP1 0000082f: ISZERO 00000830: PUSH2 0x083d 00000833: JUMPI 00000834: RETURNDATASIZE 00000835: PUSH1 0x00 00000837: DUP1 00000838: RETURNDATACOPY 00000839: RETURNDATASIZE 0000083a: PUSH1 0x00 0000083c: REVERT 0000083d: JUMPDEST 0000083e: POP 0000083f: PUSH1 0x0c 00000841: PUSH1 0x00 00000843: SWAP1 00000844: SLOAD 00000845: SWAP1 00000846: PUSH2 0x0100 00000849: EXP 0000084a: SWAP1 0000084b: DIV 0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000861: AND 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: PUSH2 0x08fc 0000087b: PUSH2 0x08a1 0000087e: PUSH1 0x64 00000880: PUSH2 0x0893 00000883: PUSH1 0x01 00000885: CALLVALUE 00000886: PUSH2 0x1ac2 00000889: SWAP1 0000088a: SWAP2 0000088b: SWAP1 0000088c: PUSH4 0xffffffff 00000891: AND 00000892: JUMP 00000893: JUMPDEST 00000894: PUSH2 0x1b48 00000897: SWAP1 00000898: SWAP2 00000899: SWAP1 0000089a: PUSH4 0xffffffff 0000089f: AND 000008a0: JUMP 000008a1: JUMPDEST 000008a2: SWAP1 000008a3: DUP2 000008a4: ISZERO 000008a5: MUL 000008a6: SWAP1 000008a7: PUSH1 0x40 000008a9: MLOAD 000008aa: PUSH1 0x00 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: DUP1 000008b0: DUP4 000008b1: SUB 000008b2: DUP2 000008b3: DUP6 000008b4: DUP9 000008b5: DUP9 000008b6: CALL 000008b7: SWAP4 000008b8: POP 000008b9: POP 000008ba: POP 000008bb: POP 000008bc: ISZERO 000008bd: DUP1 000008be: ISZERO 000008bf: PUSH2 0x08cc 000008c2: JUMPI 000008c3: RETURNDATASIZE 000008c4: PUSH1 0x00 000008c6: DUP1 000008c7: RETURNDATACOPY 000008c8: RETURNDATASIZE 000008c9: PUSH1 0x00 000008cb: REVERT 000008cc: JUMPDEST 000008cd: POP 000008ce: STOP 000008cf: JUMPDEST 000008d0: CALLVALUE 000008d1: DUP1 000008d2: ISZERO 000008d3: PUSH2 0x08db 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: REVERT 000008db: JUMPDEST 000008dc: POP 000008dd: PUSH2 0x091e 000008e0: PUSH1 0x04 000008e2: DUP1 000008e3: CALLDATASIZE 000008e4: SUB 000008e5: PUSH1 0x20 000008e7: DUP2 000008e8: LT 000008e9: ISZERO 000008ea: PUSH2 0x08f2 000008ed: JUMPI 000008ee: PUSH1 0x00 000008f0: DUP1 000008f1: REVERT 000008f2: JUMPDEST 000008f3: DUP2 000008f4: ADD 000008f5: SWAP1 000008f6: DUP1 000008f7: DUP1 000008f8: CALLDATALOAD 000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090e: AND 0000090f: SWAP1 00000910: PUSH1 0x20 00000912: ADD 00000913: SWAP1 00000914: SWAP3 00000915: SWAP2 00000916: SWAP1 00000917: POP 00000918: POP 00000919: POP 0000091a: PUSH2 0x1b92 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x40 00000921: MLOAD 00000922: DUP1 00000923: DUP3 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x20 00000928: ADD 00000929: SWAP2 0000092a: POP 0000092b: POP 0000092c: PUSH1 0x40 0000092e: MLOAD 0000092f: DUP1 00000930: SWAP2 00000931: SUB 00000932: SWAP1 00000933: RETURN 00000934: JUMPDEST 00000935: CALLVALUE 00000936: DUP1 00000937: ISZERO 00000938: PUSH2 0x0940 0000093b: JUMPI 0000093c: PUSH1 0x00 0000093e: DUP1 0000093f: REVERT 00000940: JUMPDEST 00000941: POP 00000942: PUSH2 0x0949 00000945: PUSH2 0x1c2b 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH1 0x40 0000094c: MLOAD 0000094d: DUP1 0000094e: DUP1 0000094f: PUSH1 0x20 00000951: ADD 00000952: DUP3 00000953: DUP2 00000954: SUB 00000955: DUP3 00000956: MSTORE 00000957: DUP4 00000958: DUP2 00000959: DUP2 0000095a: MLOAD 0000095b: DUP2 0000095c: MSTORE 0000095d: PUSH1 0x20 0000095f: ADD 00000960: SWAP2 00000961: POP 00000962: DUP1 00000963: MLOAD 00000964: SWAP1 00000965: PUSH1 0x20 00000967: ADD 00000968: SWAP1 00000969: DUP1 0000096a: DUP4 0000096b: DUP4 0000096c: PUSH1 0x00 0000096e: JUMPDEST 0000096f: DUP4 00000970: DUP2 00000971: LT 00000972: ISZERO 00000973: PUSH2 0x0989 00000976: JUMPI 00000977: DUP1 00000978: DUP3 00000979: ADD 0000097a: MLOAD 0000097b: DUP2 0000097c: DUP5 0000097d: ADD 0000097e: MSTORE 0000097f: PUSH1 0x20 00000981: DUP2 00000982: ADD 00000983: SWAP1 00000984: POP 00000985: PUSH2 0x096e 00000988: JUMP 00000989: JUMPDEST 0000098a: POP 0000098b: POP 0000098c: POP 0000098d: POP 0000098e: SWAP1 0000098f: POP 00000990: SWAP1 00000991: DUP2 00000992: ADD 00000993: SWAP1 00000994: PUSH1 0x1f 00000996: AND 00000997: DUP1 00000998: ISZERO 00000999: PUSH2 0x09b6 0000099c: JUMPI 0000099d: DUP1 0000099e: DUP3 0000099f: SUB 000009a0: DUP1 000009a1: MLOAD 000009a2: PUSH1 0x01 000009a4: DUP4 000009a5: PUSH1 0x20 000009a7: SUB 000009a8: PUSH2 0x0100 000009ab: EXP 000009ac: SUB 000009ad: NOT 000009ae: AND 000009af: DUP2 000009b0: MSTORE 000009b1: PUSH1 0x20 000009b3: ADD 000009b4: SWAP2 000009b5: POP 000009b6: JUMPDEST 000009b7: POP 000009b8: SWAP3 000009b9: POP 000009ba: POP 000009bb: POP 000009bc: PUSH1 0x40 000009be: MLOAD 000009bf: DUP1 000009c0: SWAP2 000009c1: SUB 000009c2: SWAP1 000009c3: RETURN 000009c4: JUMPDEST 000009c5: CALLVALUE 000009c6: DUP1 000009c7: ISZERO 000009c8: PUSH2 0x09d0 000009cb: JUMPI 000009cc: PUSH1 0x00 000009ce: DUP1 000009cf: REVERT 000009d0: JUMPDEST 000009d1: POP 000009d2: PUSH2 0x0a1d 000009d5: PUSH1 0x04 000009d7: DUP1 000009d8: CALLDATASIZE 000009d9: SUB 000009da: PUSH1 0x40 000009dc: DUP2 000009dd: LT 000009de: ISZERO 000009df: PUSH2 0x09e7 000009e2: JUMPI 000009e3: PUSH1 0x00 000009e5: DUP1 000009e6: REVERT 000009e7: JUMPDEST 000009e8: DUP2 000009e9: ADD 000009ea: SWAP1 000009eb: DUP1 000009ec: DUP1 000009ed: CALLDATALOAD 000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a03: AND 00000a04: SWAP1 00000a05: PUSH1 0x20 00000a07: ADD 00000a08: SWAP1 00000a09: SWAP3 00000a0a: SWAP2 00000a0b: SWAP1 00000a0c: DUP1 00000a0d: CALLDATALOAD 00000a0e: SWAP1 00000a0f: PUSH1 0x20 00000a11: ADD 00000a12: SWAP1 00000a13: SWAP3 00000a14: SWAP2 00000a15: SWAP1 00000a16: POP 00000a17: POP 00000a18: POP 00000a19: PUSH2 0x1cc9 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x40 00000a20: MLOAD 00000a21: DUP1 00000a22: DUP3 00000a23: ISZERO 00000a24: ISZERO 00000a25: ISZERO 00000a26: ISZERO 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x20 00000a2b: ADD 00000a2c: SWAP2 00000a2d: POP 00000a2e: POP 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: DUP1 00000a33: SWAP2 00000a34: SUB 00000a35: SWAP1 00000a36: RETURN 00000a37: JUMPDEST 00000a38: CALLVALUE 00000a39: DUP1 00000a3a: ISZERO 00000a3b: PUSH2 0x0a43 00000a3e: JUMPI 00000a3f: PUSH1 0x00 00000a41: DUP1 00000a42: REVERT 00000a43: JUMPDEST 00000a44: POP 00000a45: PUSH2 0x0a4c 00000a48: PUSH2 0x1ce0 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH1 0x40 00000a4f: MLOAD 00000a50: DUP1 00000a51: DUP3 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: SWAP2 00000a58: POP 00000a59: POP 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: DUP1 00000a5e: SWAP2 00000a5f: SUB 00000a60: SWAP1 00000a61: RETURN 00000a62: JUMPDEST 00000a63: CALLVALUE 00000a64: DUP1 00000a65: ISZERO 00000a66: PUSH2 0x0a6e 00000a69: JUMPI 00000a6a: PUSH1 0x00 00000a6c: DUP1 00000a6d: REVERT 00000a6e: JUMPDEST 00000a6f: POP 00000a70: PUSH2 0x0a9b 00000a73: PUSH1 0x04 00000a75: DUP1 00000a76: CALLDATASIZE 00000a77: SUB 00000a78: PUSH1 0x20 00000a7a: DUP2 00000a7b: LT 00000a7c: ISZERO 00000a7d: PUSH2 0x0a85 00000a80: JUMPI 00000a81: PUSH1 0x00 00000a83: DUP1 00000a84: REVERT 00000a85: JUMPDEST 00000a86: DUP2 00000a87: ADD 00000a88: SWAP1 00000a89: DUP1 00000a8a: DUP1 00000a8b: CALLDATALOAD 00000a8c: SWAP1 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: SWAP1 00000a91: SWAP3 00000a92: SWAP2 00000a93: SWAP1 00000a94: POP 00000a95: POP 00000a96: POP 00000a97: PUSH2 0x1ce6 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x40 00000a9e: MLOAD 00000a9f: DUP1 00000aa0: DUP3 00000aa1: DUP2 00000aa2: MSTORE 00000aa3: PUSH1 0x20 00000aa5: ADD 00000aa6: SWAP2 00000aa7: POP 00000aa8: POP 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: DUP1 00000aad: SWAP2 00000aae: SUB 00000aaf: SWAP1 00000ab0: RETURN 00000ab1: JUMPDEST 00000ab2: CALLVALUE 00000ab3: DUP1 00000ab4: ISZERO 00000ab5: PUSH2 0x0abd 00000ab8: JUMPI 00000ab9: PUSH1 0x00 00000abb: DUP1 00000abc: REVERT 00000abd: JUMPDEST 00000abe: POP 00000abf: PUSH2 0x0ac6 00000ac2: PUSH2 0x1d59 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x40 00000ac9: MLOAD 00000aca: DUP1 00000acb: DUP3 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x20 00000ad0: ADD 00000ad1: SWAP2 00000ad2: POP 00000ad3: POP 00000ad4: PUSH1 0x40 00000ad6: MLOAD 00000ad7: DUP1 00000ad8: SWAP2 00000ad9: SUB 00000ada: SWAP1 00000adb: RETURN 00000adc: JUMPDEST 00000add: CALLVALUE 00000ade: DUP1 00000adf: ISZERO 00000ae0: PUSH2 0x0ae8 00000ae3: JUMPI 00000ae4: PUSH1 0x00 00000ae6: DUP1 00000ae7: REVERT 00000ae8: JUMPDEST 00000ae9: POP 00000aea: PUSH2 0x0b15 00000aed: PUSH1 0x04 00000aef: DUP1 00000af0: CALLDATASIZE 00000af1: SUB 00000af2: PUSH1 0x20 00000af4: DUP2 00000af5: LT 00000af6: ISZERO 00000af7: PUSH2 0x0aff 00000afa: JUMPI 00000afb: PUSH1 0x00 00000afd: DUP1 00000afe: REVERT 00000aff: JUMPDEST 00000b00: DUP2 00000b01: ADD 00000b02: SWAP1 00000b03: DUP1 00000b04: DUP1 00000b05: CALLDATALOAD 00000b06: SWAP1 00000b07: PUSH1 0x20 00000b09: ADD 00000b0a: SWAP1 00000b0b: SWAP3 00000b0c: SWAP2 00000b0d: SWAP1 00000b0e: POP 00000b0f: POP 00000b10: POP 00000b11: PUSH2 0x1d63 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x40 00000b18: MLOAD 00000b19: DUP1 00000b1a: DUP3 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x20 00000b1f: ADD 00000b20: SWAP2 00000b21: POP 00000b22: POP 00000b23: PUSH1 0x40 00000b25: MLOAD 00000b26: DUP1 00000b27: SWAP2 00000b28: SUB 00000b29: SWAP1 00000b2a: RETURN 00000b2b: JUMPDEST 00000b2c: CALLVALUE 00000b2d: DUP1 00000b2e: ISZERO 00000b2f: PUSH2 0x0b37 00000b32: JUMPI 00000b33: PUSH1 0x00 00000b35: DUP1 00000b36: REVERT 00000b37: JUMPDEST 00000b38: POP 00000b39: PUSH2 0x0ba4 00000b3c: PUSH1 0x04 00000b3e: DUP1 00000b3f: CALLDATASIZE 00000b40: SUB 00000b41: PUSH1 0x60 00000b43: DUP2 00000b44: LT 00000b45: ISZERO 00000b46: PUSH2 0x0b4e 00000b49: JUMPI 00000b4a: PUSH1 0x00 00000b4c: DUP1 00000b4d: REVERT 00000b4e: JUMPDEST 00000b4f: DUP2 00000b50: ADD 00000b51: SWAP1 00000b52: DUP1 00000b53: DUP1 00000b54: CALLDATALOAD 00000b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6a: AND 00000b6b: SWAP1 00000b6c: PUSH1 0x20 00000b6e: ADD 00000b6f: SWAP1 00000b70: SWAP3 00000b71: SWAP2 00000b72: SWAP1 00000b73: DUP1 00000b74: CALLDATALOAD 00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8a: AND 00000b8b: SWAP1 00000b8c: PUSH1 0x20 00000b8e: ADD 00000b8f: SWAP1 00000b90: SWAP3 00000b91: SWAP2 00000b92: SWAP1 00000b93: DUP1 00000b94: CALLDATALOAD 00000b95: SWAP1 00000b96: PUSH1 0x20 00000b98: ADD 00000b99: SWAP1 00000b9a: SWAP3 00000b9b: SWAP2 00000b9c: SWAP1 00000b9d: POP 00000b9e: POP 00000b9f: POP 00000ba0: PUSH2 0x1dd4 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x40 00000ba7: MLOAD 00000ba8: DUP1 00000ba9: DUP3 00000baa: ISZERO 00000bab: ISZERO 00000bac: ISZERO 00000bad: ISZERO 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x20 00000bb2: ADD 00000bb3: SWAP2 00000bb4: POP 00000bb5: POP 00000bb6: PUSH1 0x40 00000bb8: MLOAD 00000bb9: DUP1 00000bba: SWAP2 00000bbb: SUB 00000bbc: SWAP1 00000bbd: RETURN 00000bbe: JUMPDEST 00000bbf: CALLVALUE 00000bc0: DUP1 00000bc1: ISZERO 00000bc2: PUSH2 0x0bca 00000bc5: JUMPI 00000bc6: PUSH1 0x00 00000bc8: DUP1 00000bc9: REVERT 00000bca: JUMPDEST 00000bcb: POP 00000bcc: PUSH2 0x0bd3 00000bcf: PUSH2 0x210c 00000bd2: JUMP 00000bd3: JUMPDEST 00000bd4: PUSH1 0x40 00000bd6: MLOAD 00000bd7: DUP1 00000bd8: DUP3 00000bd9: PUSH1 0xff 00000bdb: AND 00000bdc: PUSH1 0xff 00000bde: AND 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: ADD 00000be4: SWAP2 00000be5: POP 00000be6: POP 00000be7: PUSH1 0x40 00000be9: MLOAD 00000bea: DUP1 00000beb: SWAP2 00000bec: SUB 00000bed: SWAP1 00000bee: RETURN 00000bef: JUMPDEST 00000bf0: CALLVALUE 00000bf1: DUP1 00000bf2: ISZERO 00000bf3: PUSH2 0x0bfb 00000bf6: JUMPI 00000bf7: PUSH1 0x00 00000bf9: DUP1 00000bfa: REVERT 00000bfb: JUMPDEST 00000bfc: POP 00000bfd: PUSH2 0x0c48 00000c00: PUSH1 0x04 00000c02: DUP1 00000c03: CALLDATASIZE 00000c04: SUB 00000c05: PUSH1 0x40 00000c07: DUP2 00000c08: LT 00000c09: ISZERO 00000c0a: PUSH2 0x0c12 00000c0d: JUMPI 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: REVERT 00000c12: JUMPDEST 00000c13: DUP2 00000c14: ADD 00000c15: SWAP1 00000c16: DUP1 00000c17: DUP1 00000c18: CALLDATALOAD 00000c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2e: AND 00000c2f: SWAP1 00000c30: PUSH1 0x20 00000c32: ADD 00000c33: SWAP1 00000c34: SWAP3 00000c35: SWAP2 00000c36: SWAP1 00000c37: DUP1 00000c38: CALLDATALOAD 00000c39: SWAP1 00000c3a: PUSH1 0x20 00000c3c: ADD 00000c3d: SWAP1 00000c3e: SWAP3 00000c3f: SWAP2 00000c40: SWAP1 00000c41: POP 00000c42: POP 00000c43: POP 00000c44: PUSH2 0x211f 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x40 00000c4b: MLOAD 00000c4c: DUP1 00000c4d: DUP3 00000c4e: ISZERO 00000c4f: ISZERO 00000c50: ISZERO 00000c51: ISZERO 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x20 00000c56: ADD 00000c57: SWAP2 00000c58: POP 00000c59: POP 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: DUP1 00000c5e: SWAP2 00000c5f: SUB 00000c60: SWAP1 00000c61: RETURN 00000c62: JUMPDEST 00000c63: CALLVALUE 00000c64: DUP1 00000c65: ISZERO 00000c66: PUSH2 0x0c6e 00000c69: JUMPI 00000c6a: PUSH1 0x00 00000c6c: DUP1 00000c6d: REVERT 00000c6e: JUMPDEST 00000c6f: POP 00000c70: PUSH2 0x0c77 00000c73: PUSH2 0x21c4 00000c76: JUMP 00000c77: JUMPDEST 00000c78: STOP 00000c79: JUMPDEST 00000c7a: CALLVALUE 00000c7b: DUP1 00000c7c: ISZERO 00000c7d: PUSH2 0x0c85 00000c80: JUMPI 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: REVERT 00000c85: JUMPDEST 00000c86: POP 00000c87: PUSH2 0x0c8e 00000c8a: PUSH2 0x23ac 00000c8d: JUMP 00000c8e: JUMPDEST 00000c8f: PUSH1 0x40 00000c91: MLOAD 00000c92: DUP1 00000c93: DUP3 00000c94: DUP2 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: ADD 00000c99: SWAP2 00000c9a: POP 00000c9b: POP 00000c9c: PUSH1 0x40 00000c9e: MLOAD 00000c9f: DUP1 00000ca0: SWAP2 00000ca1: SUB 00000ca2: SWAP1 00000ca3: RETURN 00000ca4: JUMPDEST 00000ca5: CALLVALUE 00000ca6: DUP1 00000ca7: ISZERO 00000ca8: PUSH2 0x0cb0 00000cab: JUMPI 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: REVERT 00000cb0: JUMPDEST 00000cb1: POP 00000cb2: PUSH2 0x0cb9 00000cb5: PUSH2 0x23b2 00000cb8: JUMP 00000cb9: JUMPDEST 00000cba: PUSH1 0x40 00000cbc: MLOAD 00000cbd: DUP1 00000cbe: DUP3 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x20 00000cc3: ADD 00000cc4: SWAP2 00000cc5: POP 00000cc6: POP 00000cc7: PUSH1 0x40 00000cc9: MLOAD 00000cca: DUP1 00000ccb: SWAP2 00000ccc: SUB 00000ccd: SWAP1 00000cce: RETURN 00000ccf: JUMPDEST 00000cd0: CALLVALUE 00000cd1: DUP1 00000cd2: ISZERO 00000cd3: PUSH2 0x0cdb 00000cd6: JUMPI 00000cd7: PUSH1 0x00 00000cd9: DUP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: POP 00000cdd: PUSH2 0x0d1e 00000ce0: PUSH1 0x04 00000ce2: DUP1 00000ce3: CALLDATASIZE 00000ce4: SUB 00000ce5: PUSH1 0x20 00000ce7: DUP2 00000ce8: LT 00000ce9: ISZERO 00000cea: PUSH2 0x0cf2 00000ced: JUMPI 00000cee: PUSH1 0x00 00000cf0: DUP1 00000cf1: REVERT 00000cf2: JUMPDEST 00000cf3: DUP2 00000cf4: ADD 00000cf5: SWAP1 00000cf6: DUP1 00000cf7: DUP1 00000cf8: CALLDATALOAD 00000cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d0e: AND 00000d0f: SWAP1 00000d10: PUSH1 0x20 00000d12: ADD 00000d13: SWAP1 00000d14: SWAP3 00000d15: SWAP2 00000d16: SWAP1 00000d17: POP 00000d18: POP 00000d19: POP 00000d1a: PUSH2 0x2433 00000d1d: JUMP 00000d1e: JUMPDEST 00000d1f: PUSH1 0x40 00000d21: MLOAD 00000d22: DUP1 00000d23: DUP3 00000d24: DUP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: ADD 00000d29: SWAP2 00000d2a: POP 00000d2b: POP 00000d2c: PUSH1 0x40 00000d2e: MLOAD 00000d2f: DUP1 00000d30: SWAP2 00000d31: SUB 00000d32: SWAP1 00000d33: RETURN 00000d34: JUMPDEST 00000d35: CALLVALUE 00000d36: DUP1 00000d37: ISZERO 00000d38: PUSH2 0x0d40 00000d3b: JUMPI 00000d3c: PUSH1 0x00 00000d3e: DUP1 00000d3f: REVERT 00000d40: JUMPDEST 00000d41: POP 00000d42: PUSH2 0x0d49 00000d45: PUSH2 0x244b 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: PUSH1 0x40 00000d4c: MLOAD 00000d4d: DUP1 00000d4e: DUP3 00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d64: AND 00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7a: AND 00000d7b: DUP2 00000d7c: MSTORE 00000d7d: PUSH1 0x20 00000d7f: ADD 00000d80: SWAP2 00000d81: POP 00000d82: POP 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: DUP1 00000d87: SWAP2 00000d88: SUB 00000d89: SWAP1 00000d8a: RETURN 00000d8b: JUMPDEST 00000d8c: CALLVALUE 00000d8d: DUP1 00000d8e: ISZERO 00000d8f: PUSH2 0x0d97 00000d92: JUMPI 00000d93: PUSH1 0x00 00000d95: DUP1 00000d96: REVERT 00000d97: JUMPDEST 00000d98: POP 00000d99: PUSH2 0x0da0 00000d9c: PUSH2 0x24b5 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: DUP1 00000da5: DUP3 00000da6: DUP2 00000da7: MSTORE 00000da8: PUSH1 0x20 00000daa: ADD 00000dab: SWAP2 00000dac: POP 00000dad: POP 00000dae: PUSH1 0x40 00000db0: MLOAD 00000db1: DUP1 00000db2: SWAP2 00000db3: SUB 00000db4: SWAP1 00000db5: RETURN 00000db6: JUMPDEST 00000db7: CALLVALUE 00000db8: DUP1 00000db9: ISZERO 00000dba: PUSH2 0x0dc2 00000dbd: JUMPI 00000dbe: PUSH1 0x00 00000dc0: DUP1 00000dc1: REVERT 00000dc2: JUMPDEST 00000dc3: POP 00000dc4: PUSH2 0x0df1 00000dc7: PUSH1 0x04 00000dc9: DUP1 00000dca: CALLDATASIZE 00000dcb: SUB 00000dcc: PUSH1 0x20 00000dce: DUP2 00000dcf: LT 00000dd0: ISZERO 00000dd1: PUSH2 0x0dd9 00000dd4: JUMPI 00000dd5: PUSH1 0x00 00000dd7: DUP1 00000dd8: REVERT 00000dd9: JUMPDEST 00000dda: DUP2 00000ddb: ADD 00000ddc: SWAP1 00000ddd: DUP1 00000dde: DUP1 00000ddf: CALLDATALOAD 00000de0: ISZERO 00000de1: ISZERO 00000de2: SWAP1 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: SWAP1 00000de7: SWAP3 00000de8: SWAP2 00000de9: SWAP1 00000dea: POP 00000deb: POP 00000dec: POP 00000ded: PUSH2 0x24bb 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH1 0x40 00000df4: MLOAD 00000df5: DUP1 00000df6: DUP3 00000df7: DUP2 00000df8: MSTORE 00000df9: PUSH1 0x20 00000dfb: ADD 00000dfc: SWAP2 00000dfd: POP 00000dfe: POP 00000dff: PUSH1 0x40 00000e01: MLOAD 00000e02: DUP1 00000e03: SWAP2 00000e04: SUB 00000e05: SWAP1 00000e06: RETURN 00000e07: JUMPDEST 00000e08: CALLVALUE 00000e09: DUP1 00000e0a: ISZERO 00000e0b: PUSH2 0x0e13 00000e0e: JUMPI 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: POP 00000e15: PUSH2 0x0e1c 00000e18: PUSH2 0x2527 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: PUSH1 0x40 00000e1f: MLOAD 00000e20: DUP1 00000e21: DUP3 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x20 00000e26: ADD 00000e27: SWAP2 00000e28: POP 00000e29: POP 00000e2a: PUSH1 0x40 00000e2c: MLOAD 00000e2d: DUP1 00000e2e: SWAP2 00000e2f: SUB 00000e30: SWAP1 00000e31: RETURN 00000e32: JUMPDEST 00000e33: CALLVALUE 00000e34: DUP1 00000e35: ISZERO 00000e36: PUSH2 0x0e3e 00000e39: JUMPI 00000e3a: PUSH1 0x00 00000e3c: DUP1 00000e3d: REVERT 00000e3e: JUMPDEST 00000e3f: POP 00000e40: PUSH2 0x0e47 00000e43: PUSH2 0x252f 00000e46: JUMP 00000e47: JUMPDEST 00000e48: PUSH1 0x40 00000e4a: MLOAD 00000e4b: DUP1 00000e4c: DUP3 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0x20 00000e51: ADD 00000e52: SWAP2 00000e53: POP 00000e54: POP 00000e55: PUSH1 0x40 00000e57: MLOAD 00000e58: DUP1 00000e59: SWAP2 00000e5a: SUB 00000e5b: SWAP1 00000e5c: RETURN 00000e5d: JUMPDEST 00000e5e: CALLVALUE 00000e5f: DUP1 00000e60: ISZERO 00000e61: PUSH2 0x0e69 00000e64: JUMPI 00000e65: PUSH1 0x00 00000e67: DUP1 00000e68: REVERT 00000e69: JUMPDEST 00000e6a: POP 00000e6b: PUSH2 0x0eac 00000e6e: PUSH1 0x04 00000e70: DUP1 00000e71: CALLDATASIZE 00000e72: SUB 00000e73: PUSH1 0x20 00000e75: DUP2 00000e76: LT 00000e77: ISZERO 00000e78: PUSH2 0x0e80 00000e7b: JUMPI 00000e7c: PUSH1 0x00 00000e7e: DUP1 00000e7f: REVERT 00000e80: JUMPDEST 00000e81: DUP2 00000e82: ADD 00000e83: SWAP1 00000e84: DUP1 00000e85: DUP1 00000e86: CALLDATALOAD 00000e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9c: AND 00000e9d: SWAP1 00000e9e: PUSH1 0x20 00000ea0: ADD 00000ea1: SWAP1 00000ea2: SWAP3 00000ea3: SWAP2 00000ea4: SWAP1 00000ea5: POP 00000ea6: POP 00000ea7: POP 00000ea8: PUSH2 0x2535 00000eab: JUMP 00000eac: JUMPDEST 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP1 00000eb1: DUP3 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x20 00000eb6: ADD 00000eb7: SWAP2 00000eb8: POP 00000eb9: POP 00000eba: PUSH1 0x40 00000ebc: MLOAD 00000ebd: DUP1 00000ebe: SWAP2 00000ebf: SUB 00000ec0: SWAP1 00000ec1: RETURN 00000ec2: JUMPDEST 00000ec3: CALLVALUE 00000ec4: DUP1 00000ec5: ISZERO 00000ec6: PUSH2 0x0ece 00000ec9: JUMPI 00000eca: PUSH1 0x00 00000ecc: DUP1 00000ecd: REVERT 00000ece: JUMPDEST 00000ecf: POP 00000ed0: PUSH2 0x0ed7 00000ed3: PUSH2 0x257e 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: PUSH1 0x40 00000eda: MLOAD 00000edb: DUP1 00000edc: DUP3 00000edd: DUP2 00000ede: MSTORE 00000edf: PUSH1 0x20 00000ee1: ADD 00000ee2: SWAP2 00000ee3: POP 00000ee4: POP 00000ee5: PUSH1 0x40 00000ee7: MLOAD 00000ee8: DUP1 00000ee9: SWAP2 00000eea: SUB 00000eeb: SWAP1 00000eec: RETURN 00000eed: JUMPDEST 00000eee: CALLVALUE 00000eef: DUP1 00000ef0: ISZERO 00000ef1: PUSH2 0x0ef9 00000ef4: JUMPI 00000ef5: PUSH1 0x00 00000ef7: DUP1 00000ef8: REVERT 00000ef9: JUMPDEST 00000efa: POP 00000efb: PUSH2 0x0f3c 00000efe: PUSH1 0x04 00000f00: DUP1 00000f01: CALLDATASIZE 00000f02: SUB 00000f03: PUSH1 0x20 00000f05: DUP2 00000f06: LT 00000f07: ISZERO 00000f08: PUSH2 0x0f10 00000f0b: JUMPI 00000f0c: PUSH1 0x00 00000f0e: DUP1 00000f0f: REVERT 00000f10: JUMPDEST 00000f11: DUP2 00000f12: ADD 00000f13: SWAP1 00000f14: DUP1 00000f15: DUP1 00000f16: CALLDATALOAD 00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2c: AND 00000f2d: SWAP1 00000f2e: PUSH1 0x20 00000f30: ADD 00000f31: SWAP1 00000f32: SWAP3 00000f33: SWAP2 00000f34: SWAP1 00000f35: POP 00000f36: POP 00000f37: POP 00000f38: PUSH2 0x2584 00000f3b: JUMP 00000f3c: JUMPDEST 00000f3d: PUSH1 0x40 00000f3f: MLOAD 00000f40: DUP1 00000f41: DUP3 00000f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f57: AND 00000f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f6d: AND 00000f6e: DUP2 00000f6f: MSTORE 00000f70: PUSH1 0x20 00000f72: ADD 00000f73: SWAP2 00000f74: POP 00000f75: POP 00000f76: PUSH1 0x40 00000f78: MLOAD 00000f79: DUP1 00000f7a: SWAP2 00000f7b: SUB 00000f7c: SWAP1 00000f7d: RETURN 00000f7e: JUMPDEST 00000f7f: CALLVALUE 00000f80: DUP1 00000f81: ISZERO 00000f82: PUSH2 0x0f8a 00000f85: JUMPI 00000f86: PUSH1 0x00 00000f88: DUP1 00000f89: REVERT 00000f8a: JUMPDEST 00000f8b: POP 00000f8c: PUSH2 0x0f93 00000f8f: PUSH2 0x2603 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x40 00000f96: MLOAD 00000f97: DUP1 00000f98: DUP3 00000f99: DUP2 00000f9a: MSTORE 00000f9b: PUSH1 0x20 00000f9d: ADD 00000f9e: SWAP2 00000f9f: POP 00000fa0: POP 00000fa1: PUSH1 0x40 00000fa3: MLOAD 00000fa4: DUP1 00000fa5: SWAP2 00000fa6: SUB 00000fa7: SWAP1 00000fa8: RETURN 00000fa9: JUMPDEST 00000faa: CALLVALUE 00000fab: DUP1 00000fac: ISZERO 00000fad: PUSH2 0x0fb5 00000fb0: JUMPI 00000fb1: PUSH1 0x00 00000fb3: DUP1 00000fb4: REVERT 00000fb5: JUMPDEST 00000fb6: POP 00000fb7: PUSH2 0x0fbe 00000fba: PUSH2 0x266a 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x40 00000fc1: MLOAD 00000fc2: DUP1 00000fc3: DUP3 00000fc4: DUP2 00000fc5: MSTORE 00000fc6: PUSH1 0x20 00000fc8: ADD 00000fc9: SWAP2 00000fca: POP 00000fcb: POP 00000fcc: PUSH1 0x40 00000fce: MLOAD 00000fcf: DUP1 00000fd0: SWAP2 00000fd1: SUB 00000fd2: SWAP1 00000fd3: RETURN 00000fd4: JUMPDEST 00000fd5: CALLVALUE 00000fd6: DUP1 00000fd7: ISZERO 00000fd8: PUSH2 0x0fe0 00000fdb: JUMPI 00000fdc: PUSH1 0x00 00000fde: DUP1 00000fdf: REVERT 00000fe0: JUMPDEST 00000fe1: POP 00000fe2: PUSH2 0x0fe9 00000fe5: PUSH2 0x2670 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH1 0x40 00000fec: MLOAD 00000fed: DUP1 00000fee: DUP3 00000fef: DUP2 00000ff0: MSTORE 00000ff1: PUSH1 0x20 00000ff3: ADD 00000ff4: SWAP2 00000ff5: POP 00000ff6: POP 00000ff7: PUSH1 0x40 00000ff9: MLOAD 00000ffa: DUP1 00000ffb: SWAP2 00000ffc: SUB 00000ffd: SWAP1 00000ffe: RETURN 00000fff: JUMPDEST 00001000: CALLVALUE 00001001: DUP1 00001002: ISZERO 00001003: PUSH2 0x100b 00001006: JUMPI 00001007: PUSH1 0x00 00001009: DUP1 0000100a: REVERT 0000100b: JUMPDEST 0000100c: POP 0000100d: PUSH2 0x1014 00001010: PUSH2 0x2685 00001013: JUMP 00001014: JUMPDEST 00001015: PUSH1 0x40 00001017: MLOAD 00001018: DUP1 00001019: DUP1 0000101a: PUSH1 0x20 0000101c: ADD 0000101d: DUP3 0000101e: DUP2 0000101f: SUB 00001020: DUP3 00001021: MSTORE 00001022: DUP4 00001023: DUP2 00001024: DUP2 00001025: MLOAD 00001026: DUP2 00001027: MSTORE 00001028: PUSH1 0x20 0000102a: ADD 0000102b: SWAP2 0000102c: POP 0000102d: DUP1 0000102e: MLOAD 0000102f: SWAP1 00001030: PUSH1 0x20 00001032: ADD 00001033: SWAP1 00001034: DUP1 00001035: DUP4 00001036: DUP4 00001037: PUSH1 0x00 00001039: JUMPDEST 0000103a: DUP4 0000103b: DUP2 0000103c: LT 0000103d: ISZERO 0000103e: PUSH2 0x1054 00001041: JUMPI 00001042: DUP1 00001043: DUP3 00001044: ADD 00001045: MLOAD 00001046: DUP2 00001047: DUP5 00001048: ADD 00001049: MSTORE 0000104a: PUSH1 0x20 0000104c: DUP2 0000104d: ADD 0000104e: SWAP1 0000104f: POP 00001050: PUSH2 0x1039 00001053: JUMP 00001054: JUMPDEST 00001055: POP 00001056: POP 00001057: POP 00001058: POP 00001059: SWAP1 0000105a: POP 0000105b: SWAP1 0000105c: DUP2 0000105d: ADD 0000105e: SWAP1 0000105f: PUSH1 0x1f 00001061: AND 00001062: DUP1 00001063: ISZERO 00001064: PUSH2 0x1081 00001067: JUMPI 00001068: DUP1 00001069: DUP3 0000106a: SUB 0000106b: DUP1 0000106c: MLOAD 0000106d: PUSH1 0x01 0000106f: DUP4 00001070: PUSH1 0x20 00001072: SUB 00001073: PUSH2 0x0100 00001076: EXP 00001077: SUB 00001078: NOT 00001079: AND 0000107a: DUP2 0000107b: MSTORE 0000107c: PUSH1 0x20 0000107e: ADD 0000107f: SWAP2 00001080: POP 00001081: JUMPDEST 00001082: POP 00001083: SWAP3 00001084: POP 00001085: POP 00001086: POP 00001087: PUSH1 0x40 00001089: MLOAD 0000108a: DUP1 0000108b: SWAP2 0000108c: SUB 0000108d: SWAP1 0000108e: RETURN 0000108f: JUMPDEST 00001090: CALLVALUE 00001091: DUP1 00001092: ISZERO 00001093: PUSH2 0x109b 00001096: JUMPI 00001097: PUSH1 0x00 00001099: DUP1 0000109a: REVERT 0000109b: JUMPDEST 0000109c: POP 0000109d: PUSH2 0x10c8 000010a0: PUSH1 0x04 000010a2: DUP1 000010a3: CALLDATASIZE 000010a4: SUB 000010a5: PUSH1 0x20 000010a7: DUP2 000010a8: LT 000010a9: ISZERO 000010aa: PUSH2 0x10b2 000010ad: JUMPI 000010ae: PUSH1 0x00 000010b0: DUP1 000010b1: REVERT 000010b2: JUMPDEST 000010b3: DUP2 000010b4: ADD 000010b5: SWAP1 000010b6: DUP1 000010b7: DUP1 000010b8: CALLDATALOAD 000010b9: SWAP1 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP1 000010be: SWAP3 000010bf: SWAP2 000010c0: SWAP1 000010c1: POP 000010c2: POP 000010c3: POP 000010c4: PUSH2 0x2723 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH1 0x40 000010cb: MLOAD 000010cc: DUP1 000010cd: DUP3 000010ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e3: AND 000010e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f9: AND 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x20 000010fe: ADD 000010ff: SWAP2 00001100: POP 00001101: POP 00001102: PUSH1 0x40 00001104: MLOAD 00001105: DUP1 00001106: SWAP2 00001107: SUB 00001108: SWAP1 00001109: RETURN 0000110a: JUMPDEST 0000110b: CALLVALUE 0000110c: DUP1 0000110d: ISZERO 0000110e: PUSH2 0x1116 00001111: JUMPI 00001112: PUSH1 0x00 00001114: DUP1 00001115: REVERT 00001116: JUMPDEST 00001117: POP 00001118: PUSH2 0x1163 0000111b: PUSH1 0x04 0000111d: DUP1 0000111e: CALLDATASIZE 0000111f: SUB 00001120: PUSH1 0x40 00001122: DUP2 00001123: LT 00001124: ISZERO 00001125: PUSH2 0x112d 00001128: JUMPI 00001129: PUSH1 0x00 0000112b: DUP1 0000112c: REVERT 0000112d: JUMPDEST 0000112e: DUP2 0000112f: ADD 00001130: SWAP1 00001131: DUP1 00001132: DUP1 00001133: CALLDATALOAD 00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001149: AND 0000114a: SWAP1 0000114b: PUSH1 0x20 0000114d: ADD 0000114e: SWAP1 0000114f: SWAP3 00001150: SWAP2 00001151: SWAP1 00001152: DUP1 00001153: CALLDATALOAD 00001154: SWAP1 00001155: PUSH1 0x20 00001157: ADD 00001158: SWAP1 00001159: SWAP3 0000115a: SWAP2 0000115b: SWAP1 0000115c: POP 0000115d: POP 0000115e: POP 0000115f: PUSH2 0x2756 00001162: JUMP 00001163: JUMPDEST 00001164: PUSH1 0x40 00001166: MLOAD 00001167: DUP1 00001168: DUP3 00001169: ISZERO 0000116a: ISZERO 0000116b: ISZERO 0000116c: ISZERO 0000116d: DUP2 0000116e: MSTORE 0000116f: PUSH1 0x20 00001171: ADD 00001172: SWAP2 00001173: POP 00001174: POP 00001175: PUSH1 0x40 00001177: MLOAD 00001178: DUP1 00001179: SWAP2 0000117a: SUB 0000117b: SWAP1 0000117c: RETURN 0000117d: JUMPDEST 0000117e: CALLVALUE 0000117f: DUP1 00001180: ISZERO 00001181: PUSH2 0x1189 00001184: JUMPI 00001185: PUSH1 0x00 00001187: DUP1 00001188: REVERT 00001189: JUMPDEST 0000118a: POP 0000118b: PUSH2 0x11cc 0000118e: PUSH1 0x04 00001190: DUP1 00001191: CALLDATASIZE 00001192: SUB 00001193: PUSH1 0x20 00001195: DUP2 00001196: LT 00001197: ISZERO 00001198: PUSH2 0x11a0 0000119b: JUMPI 0000119c: PUSH1 0x00 0000119e: DUP1 0000119f: REVERT 000011a0: JUMPDEST 000011a1: DUP2 000011a2: ADD 000011a3: SWAP1 000011a4: DUP1 000011a5: DUP1 000011a6: CALLDATALOAD 000011a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011bc: AND 000011bd: SWAP1 000011be: PUSH1 0x20 000011c0: ADD 000011c1: SWAP1 000011c2: SWAP3 000011c3: SWAP2 000011c4: SWAP1 000011c5: POP 000011c6: POP 000011c7: POP 000011c8: PUSH2 0x2815 000011cb: JUMP 000011cc: JUMPDEST 000011cd: PUSH1 0x40 000011cf: MLOAD 000011d0: DUP1 000011d1: DUP6 000011d2: ISZERO 000011d3: ISZERO 000011d4: ISZERO 000011d5: ISZERO 000011d6: DUP2 000011d7: MSTORE 000011d8: PUSH1 0x20 000011da: ADD 000011db: DUP5 000011dc: DUP2 000011dd: MSTORE 000011de: PUSH1 0x20 000011e0: ADD 000011e1: DUP4 000011e2: DUP2 000011e3: MSTORE 000011e4: PUSH1 0x20 000011e6: ADD 000011e7: DUP3 000011e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fd: AND 000011fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001213: AND 00001214: DUP2 00001215: MSTORE 00001216: PUSH1 0x20 00001218: ADD 00001219: SWAP5 0000121a: POP 0000121b: POP 0000121c: POP 0000121d: POP 0000121e: POP 0000121f: PUSH1 0x40 00001221: MLOAD 00001222: DUP1 00001223: SWAP2 00001224: SUB 00001225: SWAP1 00001226: RETURN 00001227: JUMPDEST 00001228: CALLVALUE 00001229: DUP1 0000122a: ISZERO 0000122b: PUSH2 0x1233 0000122e: JUMPI 0000122f: PUSH1 0x00 00001231: DUP1 00001232: REVERT 00001233: JUMPDEST 00001234: POP 00001235: PUSH2 0x1280 00001238: PUSH1 0x04 0000123a: DUP1 0000123b: CALLDATASIZE 0000123c: SUB 0000123d: PUSH1 0x40 0000123f: DUP2 00001240: LT 00001241: ISZERO 00001242: PUSH2 0x124a 00001245: JUMPI 00001246: PUSH1 0x00 00001248: DUP1 00001249: REVERT 0000124a: JUMPDEST 0000124b: DUP2 0000124c: ADD 0000124d: SWAP1 0000124e: DUP1 0000124f: DUP1 00001250: CALLDATALOAD 00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001266: AND 00001267: SWAP1 00001268: PUSH1 0x20 0000126a: ADD 0000126b: SWAP1 0000126c: SWAP3 0000126d: SWAP2 0000126e: SWAP1 0000126f: DUP1 00001270: CALLDATALOAD 00001271: SWAP1 00001272: PUSH1 0x20 00001274: ADD 00001275: SWAP1 00001276: SWAP3 00001277: SWAP2 00001278: SWAP1 00001279: POP 0000127a: POP 0000127b: POP 0000127c: PUSH2 0x2872 0000127f: JUMP 00001280: JUMPDEST 00001281: PUSH1 0x40 00001283: MLOAD 00001284: DUP1 00001285: DUP3 00001286: ISZERO 00001287: ISZERO 00001288: ISZERO 00001289: ISZERO 0000128a: DUP2 0000128b: MSTORE 0000128c: PUSH1 0x20 0000128e: ADD 0000128f: SWAP2 00001290: POP 00001291: POP 00001292: PUSH1 0x40 00001294: MLOAD 00001295: DUP1 00001296: SWAP2 00001297: SUB 00001298: SWAP1 00001299: RETURN 0000129a: JUMPDEST 0000129b: CALLVALUE 0000129c: DUP1 0000129d: ISZERO 0000129e: PUSH2 0x12a6 000012a1: JUMPI 000012a2: PUSH1 0x00 000012a4: DUP1 000012a5: REVERT 000012a6: JUMPDEST 000012a7: POP 000012a8: PUSH2 0x12af 000012ab: PUSH2 0x2b0a 000012ae: JUMP 000012af: JUMPDEST 000012b0: PUSH1 0x40 000012b2: MLOAD 000012b3: DUP1 000012b4: DUP3 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x20 000012b9: ADD 000012ba: SWAP2 000012bb: POP 000012bc: POP 000012bd: PUSH1 0x40 000012bf: MLOAD 000012c0: DUP1 000012c1: SWAP2 000012c2: SUB 000012c3: SWAP1 000012c4: RETURN 000012c5: JUMPDEST 000012c6: CALLVALUE 000012c7: DUP1 000012c8: ISZERO 000012c9: PUSH2 0x12d1 000012cc: JUMPI 000012cd: PUSH1 0x00 000012cf: DUP1 000012d0: REVERT 000012d1: JUMPDEST 000012d2: POP 000012d3: PUSH2 0x1314 000012d6: PUSH1 0x04 000012d8: DUP1 000012d9: CALLDATASIZE 000012da: SUB 000012db: PUSH1 0x20 000012dd: DUP2 000012de: LT 000012df: ISZERO 000012e0: PUSH2 0x12e8 000012e3: JUMPI 000012e4: PUSH1 0x00 000012e6: DUP1 000012e7: REVERT 000012e8: JUMPDEST 000012e9: DUP2 000012ea: ADD 000012eb: SWAP1 000012ec: DUP1 000012ed: DUP1 000012ee: CALLDATALOAD 000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001304: AND 00001305: SWAP1 00001306: PUSH1 0x20 00001308: ADD 00001309: SWAP1 0000130a: SWAP3 0000130b: SWAP2 0000130c: SWAP1 0000130d: POP 0000130e: POP 0000130f: POP 00001310: PUSH2 0x2b10 00001313: JUMP 00001314: JUMPDEST 00001315: PUSH1 0x40 00001317: MLOAD 00001318: DUP1 00001319: DUP3 0000131a: DUP2 0000131b: MSTORE 0000131c: PUSH1 0x20 0000131e: ADD 0000131f: SWAP2 00001320: POP 00001321: POP 00001322: PUSH1 0x40 00001324: MLOAD 00001325: DUP1 00001326: SWAP2 00001327: SUB 00001328: SWAP1 00001329: RETURN 0000132a: JUMPDEST 0000132b: CALLVALUE 0000132c: DUP1 0000132d: ISZERO 0000132e: PUSH2 0x1336 00001331: JUMPI 00001332: PUSH1 0x00 00001334: DUP1 00001335: REVERT 00001336: JUMPDEST 00001337: POP 00001338: PUSH2 0x133f 0000133b: PUSH2 0x2b28 0000133e: JUMP 0000133f: JUMPDEST 00001340: PUSH1 0x40 00001342: MLOAD 00001343: DUP1 00001344: DUP3 00001345: DUP2 00001346: MSTORE 00001347: PUSH1 0x20 00001349: ADD 0000134a: SWAP2 0000134b: POP 0000134c: POP 0000134d: PUSH1 0x40 0000134f: MLOAD 00001350: DUP1 00001351: SWAP2 00001352: SUB 00001353: SWAP1 00001354: RETURN 00001355: JUMPDEST 00001356: CALLVALUE 00001357: DUP1 00001358: ISZERO 00001359: PUSH2 0x1361 0000135c: JUMPI 0000135d: PUSH1 0x00 0000135f: DUP1 00001360: REVERT 00001361: JUMPDEST 00001362: POP 00001363: PUSH2 0x13c4 00001366: PUSH1 0x04 00001368: DUP1 00001369: CALLDATASIZE 0000136a: SUB 0000136b: PUSH1 0x40 0000136d: DUP2 0000136e: LT 0000136f: ISZERO 00001370: PUSH2 0x1378 00001373: JUMPI 00001374: PUSH1 0x00 00001376: DUP1 00001377: REVERT 00001378: JUMPDEST 00001379: DUP2 0000137a: ADD 0000137b: SWAP1 0000137c: DUP1 0000137d: DUP1 0000137e: CALLDATALOAD 0000137f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001394: AND 00001395: SWAP1 00001396: PUSH1 0x20 00001398: ADD 00001399: SWAP1 0000139a: SWAP3 0000139b: SWAP2 0000139c: SWAP1 0000139d: DUP1 0000139e: CALLDATALOAD 0000139f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b4: AND 000013b5: SWAP1 000013b6: PUSH1 0x20 000013b8: ADD 000013b9: SWAP1 000013ba: SWAP3 000013bb: SWAP2 000013bc: SWAP1 000013bd: POP 000013be: POP 000013bf: POP 000013c0: PUSH2 0x2b2e 000013c3: JUMP 000013c4: JUMPDEST 000013c5: PUSH1 0x40 000013c7: MLOAD 000013c8: DUP1 000013c9: DUP3 000013ca: DUP2 000013cb: MSTORE 000013cc: PUSH1 0x20 000013ce: ADD 000013cf: SWAP2 000013d0: POP 000013d1: POP 000013d2: PUSH1 0x40 000013d4: MLOAD 000013d5: DUP1 000013d6: SWAP2 000013d7: SUB 000013d8: SWAP1 000013d9: RETURN 000013da: JUMPDEST 000013db: CALLVALUE 000013dc: DUP1 000013dd: ISZERO 000013de: PUSH2 0x13e6 000013e1: JUMPI 000013e2: PUSH1 0x00 000013e4: DUP1 000013e5: REVERT 000013e6: JUMPDEST 000013e7: POP 000013e8: PUSH2 0x13ef 000013eb: PUSH2 0x2bb5 000013ee: JUMP 000013ef: JUMPDEST 000013f0: PUSH1 0x40 000013f2: MLOAD 000013f3: DUP1 000013f4: DUP3 000013f5: DUP2 000013f6: MSTORE 000013f7: PUSH1 0x20 000013f9: ADD 000013fa: SWAP2 000013fb: POP 000013fc: POP 000013fd: PUSH1 0x40 000013ff: MLOAD 00001400: DUP1 00001401: SWAP2 00001402: SUB 00001403: SWAP1 00001404: RETURN 00001405: JUMPDEST 00001406: CALLVALUE 00001407: DUP1 00001408: ISZERO 00001409: PUSH2 0x1411 0000140c: JUMPI 0000140d: PUSH1 0x00 0000140f: DUP1 00001410: REVERT 00001411: JUMPDEST 00001412: POP 00001413: PUSH2 0x1454 00001416: PUSH1 0x04 00001418: DUP1 00001419: CALLDATASIZE 0000141a: SUB 0000141b: PUSH1 0x20 0000141d: DUP2 0000141e: LT 0000141f: ISZERO 00001420: PUSH2 0x1428 00001423: JUMPI 00001424: PUSH1 0x00 00001426: DUP1 00001427: REVERT 00001428: JUMPDEST 00001429: DUP2 0000142a: ADD 0000142b: SWAP1 0000142c: DUP1 0000142d: DUP1 0000142e: CALLDATALOAD 0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001444: AND 00001445: SWAP1 00001446: PUSH1 0x20 00001448: ADD 00001449: SWAP1 0000144a: SWAP3 0000144b: SWAP2 0000144c: SWAP1 0000144d: POP 0000144e: POP 0000144f: POP 00001450: PUSH2 0x2bbb 00001453: JUMP 00001454: JUMPDEST 00001455: PUSH1 0x40 00001457: MLOAD 00001458: DUP1 00001459: DUP3 0000145a: DUP2 0000145b: MSTORE 0000145c: PUSH1 0x20 0000145e: ADD 0000145f: SWAP2 00001460: POP 00001461: POP 00001462: PUSH1 0x40 00001464: MLOAD 00001465: DUP1 00001466: SWAP2 00001467: SUB 00001468: SWAP1 00001469: RETURN 0000146a: JUMPDEST 0000146b: CALLVALUE 0000146c: DUP1 0000146d: ISZERO 0000146e: PUSH2 0x1476 00001471: JUMPI 00001472: PUSH1 0x00 00001474: DUP1 00001475: REVERT 00001476: JUMPDEST 00001477: POP 00001478: PUSH2 0x14a3 0000147b: PUSH1 0x04 0000147d: DUP1 0000147e: CALLDATASIZE 0000147f: SUB 00001480: PUSH1 0x20 00001482: DUP2 00001483: LT 00001484: ISZERO 00001485: PUSH2 0x148d 00001488: JUMPI 00001489: PUSH1 0x00 0000148b: DUP1 0000148c: REVERT 0000148d: JUMPDEST 0000148e: DUP2 0000148f: ADD 00001490: SWAP1 00001491: DUP1 00001492: DUP1 00001493: CALLDATALOAD 00001494: SWAP1 00001495: PUSH1 0x20 00001497: ADD 00001498: SWAP1 00001499: SWAP3 0000149a: SWAP2 0000149b: SWAP1 0000149c: POP 0000149d: POP 0000149e: POP 0000149f: PUSH2 0x2bd3 000014a2: JUMP 000014a3: JUMPDEST 000014a4: STOP 000014a5: JUMPDEST 000014a6: CALLVALUE 000014a7: DUP1 000014a8: ISZERO 000014a9: PUSH2 0x14b1 000014ac: JUMPI 000014ad: PUSH1 0x00 000014af: DUP1 000014b0: REVERT 000014b1: JUMPDEST 000014b2: POP 000014b3: PUSH2 0x14ba 000014b6: PUSH2 0x2f02 000014b9: JUMP 000014ba: JUMPDEST 000014bb: STOP 000014bc: JUMPDEST 000014bd: PUSH2 0x14fe 000014c0: PUSH1 0x04 000014c2: DUP1 000014c3: CALLDATASIZE 000014c4: SUB 000014c5: PUSH1 0x20 000014c7: DUP2 000014c8: LT 000014c9: ISZERO 000014ca: PUSH2 0x14d2 000014cd: JUMPI 000014ce: PUSH1 0x00 000014d0: DUP1 000014d1: REVERT 000014d2: JUMPDEST 000014d3: DUP2 000014d4: ADD 000014d5: SWAP1 000014d6: DUP1 000014d7: DUP1 000014d8: CALLDATALOAD 000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ee: AND 000014ef: SWAP1 000014f0: PUSH1 0x20 000014f2: ADD 000014f3: SWAP1 000014f4: SWAP3 000014f5: SWAP2 000014f6: SWAP1 000014f7: POP 000014f8: POP 000014f9: POP 000014fa: PUSH2 0x2f6a 000014fd: JUMP 000014fe: JUMPDEST 000014ff: PUSH1 0x40 00001501: MLOAD 00001502: DUP1 00001503: DUP3 00001504: DUP2 00001505: MSTORE 00001506: PUSH1 0x20 00001508: ADD 00001509: SWAP2 0000150a: POP 0000150b: POP 0000150c: PUSH1 0x40 0000150e: MLOAD 0000150f: DUP1 00001510: SWAP2 00001511: SUB 00001512: SWAP1 00001513: RETURN 00001514: JUMPDEST 00001515: CALLVALUE 00001516: DUP1 00001517: ISZERO 00001518: PUSH2 0x1520 0000151b: JUMPI 0000151c: PUSH1 0x00 0000151e: DUP1 0000151f: REVERT 00001520: JUMPDEST 00001521: POP 00001522: PUSH2 0x1529 00001525: PUSH2 0x335a 00001528: JUMP 00001529: JUMPDEST 0000152a: PUSH1 0x40 0000152c: MLOAD 0000152d: DUP1 0000152e: DUP3 0000152f: DUP2 00001530: MSTORE 00001531: PUSH1 0x20 00001533: ADD 00001534: SWAP2 00001535: POP 00001536: POP 00001537: PUSH1 0x40 00001539: MLOAD 0000153a: DUP1 0000153b: SWAP2 0000153c: SUB 0000153d: SWAP1 0000153e: RETURN 0000153f: JUMPDEST 00001540: CALLVALUE 00001541: DUP1 00001542: ISZERO 00001543: PUSH2 0x154b 00001546: JUMPI 00001547: PUSH1 0x00 00001549: DUP1 0000154a: REVERT 0000154b: JUMPDEST 0000154c: POP 0000154d: PUSH2 0x1554 00001550: PUSH2 0x346d 00001553: JUMP 00001554: JUMPDEST 00001555: STOP 00001556: JUMPDEST 00001557: CALLVALUE 00001558: DUP1 00001559: ISZERO 0000155a: PUSH2 0x1562 0000155d: JUMPI 0000155e: PUSH1 0x00 00001560: DUP1 00001561: REVERT 00001562: JUMPDEST 00001563: POP 00001564: PUSH2 0x156b 00001567: PUSH2 0x391e 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH1 0x40 0000156e: MLOAD 0000156f: DUP1 00001570: DUP3 00001571: DUP2 00001572: MSTORE 00001573: PUSH1 0x20 00001575: ADD 00001576: SWAP2 00001577: POP 00001578: POP 00001579: PUSH1 0x40 0000157b: MLOAD 0000157c: DUP1 0000157d: SWAP2 0000157e: SUB 0000157f: SWAP1 00001580: RETURN 00001581: JUMPDEST 00001582: PUSH1 0x00 00001584: PUSH1 0x17 00001586: PUSH1 0x00 00001588: DUP4 00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000159e: AND 0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b4: AND 000015b5: DUP2 000015b6: MSTORE 000015b7: PUSH1 0x20 000015b9: ADD 000015ba: SWAP1 000015bb: DUP2 000015bc: MSTORE 000015bd: PUSH1 0x20 000015bf: ADD 000015c0: PUSH1 0x00 000015c2: KECCAK256 000015c3: PUSH1 0x01 000015c5: ADD 000015c6: SLOAD 000015c7: SWAP1 000015c8: POP 000015c9: PUSH2 0x15d0 000015cc: PUSH2 0x431e 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH1 0x0e 000015d3: PUSH1 0x00 000015d5: DUP2 000015d6: SLOAD 000015d7: DUP1 000015d8: SWAP3 000015d9: SWAP2 000015da: SWAP1 000015db: PUSH1 0x01 000015dd: ADD 000015de: SWAP2 000015df: SWAP1 000015e0: POP 000015e1: SSTORE 000015e2: POP 000015e3: PUSH1 0x40 000015e5: MLOAD 000015e6: DUP1 000015e7: PUSH1 0x80 000015e9: ADD 000015ea: PUSH1 0x40 000015ec: MSTORE 000015ed: DUP1 000015ee: PUSH1 0x01 000015f0: ISZERO 000015f1: ISZERO 000015f2: DUP2 000015f3: MSTORE 000015f4: PUSH1 0x20 000015f6: ADD 000015f7: PUSH1 0x0e 000015f9: SLOAD 000015fa: DUP2 000015fb: MSTORE 000015fc: PUSH1 0x20 000015fe: ADD 000015ff: DUP4 00001600: DUP2 00001601: MSTORE 00001602: PUSH1 0x20 00001604: ADD 00001605: DUP5 00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000161b: AND 0000161c: DUP2 0000161d: MSTORE 0000161e: POP 0000161f: SWAP1 00001620: POP 00001621: DUP4 00001622: PUSH1 0x18 00001624: PUSH1 0x00 00001626: PUSH1 0x0e 00001628: SLOAD 00001629: DUP2 0000162a: MSTORE 0000162b: PUSH1 0x20 0000162d: ADD 0000162e: SWAP1 0000162f: DUP2 00001630: MSTORE 00001631: PUSH1 0x20 00001633: ADD 00001634: PUSH1 0x00 00001636: KECCAK256 00001637: PUSH1 0x00 00001639: PUSH2 0x0100 0000163c: EXP 0000163d: DUP2 0000163e: SLOAD 0000163f: DUP2 00001640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001655: MUL 00001656: NOT 00001657: AND 00001658: SWAP1 00001659: DUP4 0000165a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166f: AND 00001670: MUL 00001671: OR 00001672: SWAP1 00001673: SSTORE 00001674: POP 00001675: DUP1 00001676: PUSH1 0x17 00001678: PUSH1 0x00 0000167a: CALLER 0000167b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001690: AND 00001691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016a6: AND 000016a7: DUP2 000016a8: MSTORE 000016a9: PUSH1 0x20 000016ab: ADD 000016ac: SWAP1 000016ad: DUP2 000016ae: MSTORE 000016af: PUSH1 0x20 000016b1: ADD 000016b2: PUSH1 0x00 000016b4: KECCAK256 000016b5: PUSH1 0x00 000016b7: DUP3 000016b8: ADD 000016b9: MLOAD 000016ba: DUP2 000016bb: PUSH1 0x00 000016bd: ADD 000016be: PUSH1 0x00 000016c0: PUSH2 0x0100 000016c3: EXP 000016c4: DUP2 000016c5: SLOAD 000016c6: DUP2 000016c7: PUSH1 0xff 000016c9: MUL 000016ca: NOT 000016cb: AND 000016cc: SWAP1 000016cd: DUP4 000016ce: ISZERO 000016cf: ISZERO 000016d0: MUL 000016d1: OR 000016d2: SWAP1 000016d3: SSTORE 000016d4: POP 000016d5: PUSH1 0x20 000016d7: DUP3 000016d8: ADD 000016d9: MLOAD 000016da: DUP2 000016db: PUSH1 0x01 000016dd: ADD 000016de: SSTORE 000016df: PUSH1 0x40 000016e1: DUP3 000016e2: ADD 000016e3: MLOAD 000016e4: DUP2 000016e5: PUSH1 0x02 000016e7: ADD 000016e8: SSTORE 000016e9: PUSH1 0x60 000016eb: DUP3 000016ec: ADD 000016ed: MLOAD 000016ee: DUP2 000016ef: PUSH1 0x03 000016f1: ADD 000016f2: PUSH1 0x00 000016f4: PUSH2 0x0100 000016f7: EXP 000016f8: DUP2 000016f9: SLOAD 000016fa: DUP2 000016fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001710: MUL 00001711: NOT 00001712: AND 00001713: SWAP1 00001714: DUP4 00001715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000172a: AND 0000172b: MUL 0000172c: OR 0000172d: SWAP1 0000172e: SSTORE 0000172f: POP 00001730: SWAP1 00001731: POP 00001732: POP 00001733: POP 00001734: POP 00001735: POP 00001736: POP 00001737: JUMP 00001738: JUMPDEST 00001739: PUSH1 0x00 0000173b: DUP1 0000173c: PUSH2 0x1762 0000173f: PUSH1 0x64 00001741: PUSH2 0x1754 00001744: PUSH1 0x40 00001746: DUP8 00001747: PUSH2 0x1ac2 0000174a: SWAP1 0000174b: SWAP2 0000174c: SWAP1 0000174d: PUSH4 0xffffffff 00001752: AND 00001753: JUMP 00001754: JUMPDEST 00001755: PUSH2 0x1b48 00001758: SWAP1 00001759: SWAP2 0000175a: SWAP1 0000175b: PUSH4 0xffffffff 00001760: AND 00001761: JUMP 00001762: JUMPDEST 00001763: SWAP1 00001764: POP 00001765: PUSH1 0x00 00001767: CALLER 00001768: SWAP1 00001769: POP 0000176a: PUSH1 0x00 0000176c: PUSH2 0x1787 0000176f: DUP4 00001770: PUSH1 0x02 00001772: PUSH1 0x01 00001774: SWAP1 00001775: SLOAD 00001776: SWAP1 00001777: PUSH2 0x0100 0000177a: EXP 0000177b: SWAP1 0000177c: DIV 0000177d: PUSH1 0xff 0000177f: AND 00001780: PUSH1 0xff 00001782: AND 00001783: PUSH2 0x1b48 00001786: JUMP 00001787: JUMPDEST 00001788: SWAP1 00001789: POP 0000178a: PUSH1 0x00 0000178c: PUSH2 0x1796 0000178f: DUP3 00001790: PUSH1 0x03 00001792: PUSH2 0x1b48 00001795: JUMP 00001796: JUMPDEST 00001797: SWAP1 00001798: POP 00001799: PUSH1 0x00 0000179b: PUSH2 0x17a4 0000179e: DUP4 0000179f: DUP4 000017a0: PUSH2 0x3924 000017a3: JUMP 000017a4: JUMPDEST 000017a5: SWAP1 000017a6: POP 000017a7: PUSH1 0x00 000017a9: PUSH2 0x17b2 000017ac: DUP7 000017ad: DUP6 000017ae: PUSH2 0x3924 000017b1: JUMP 000017b2: JUMPDEST 000017b3: SWAP1 000017b4: POP 000017b5: PUSH1 0x00 000017b7: PUSH2 0x17bf 000017ba: DUP3 000017bb: PUSH2 0x396e 000017be: JUMP 000017bf: JUMPDEST 000017c0: SWAP1 000017c1: POP 000017c2: PUSH1 0x00 000017c4: PUSH1 0x05 000017c6: SLOAD 000017c7: DUP5 000017c8: MUL 000017c9: SWAP1 000017ca: POP 000017cb: DUP3 000017cc: PUSH1 0x06 000017ce: PUSH1 0x00 000017d0: DUP3 000017d1: DUP3 000017d2: SLOAD 000017d3: ADD 000017d4: SWAP3 000017d5: POP 000017d6: POP 000017d7: DUP2 000017d8: SWAP1 000017d9: SSTORE 000017da: POP 000017db: PUSH1 0x00 000017dd: DUP3 000017de: GT 000017df: DUP1 000017e0: ISZERO 000017e1: PUSH2 0x17f6 000017e4: JUMPI 000017e5: POP 000017e6: PUSH1 0x19 000017e8: SLOAD 000017e9: PUSH2 0x17f4 000017ec: DUP4 000017ed: PUSH1 0x19 000017ef: SLOAD 000017f0: PUSH2 0x39ea 000017f3: JUMP 000017f4: JUMPDEST 000017f5: GT 000017f6: JUMPDEST 000017f7: PUSH2 0x17ff 000017fa: JUMPI 000017fb: PUSH1 0x00 000017fd: DUP1 000017fe: REVERT 000017ff: JUMPDEST 00001800: PUSH1 0x00 00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001817: AND 00001818: DUP11 00001819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000182e: AND 0000182f: EQ 00001830: ISZERO 00001831: DUP1 00001832: ISZERO 00001833: PUSH2 0x1868 00001836: JUMPI 00001837: POP 00001838: DUP7 00001839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184e: AND 0000184f: DUP11 00001850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001865: AND 00001866: EQ 00001867: ISZERO 00001868: JUMPDEST 00001869: ISZERO 0000186a: PUSH2 0x187c 0000186d: JUMPI 0000186e: PUSH2 0x1877 00001871: DUP11 00001872: DUP13 00001873: PUSH2 0x3a72 00001876: JUMP 00001877: JUMPDEST 00001878: PUSH2 0x1890 0000187b: JUMP 0000187c: JUMPDEST 0000187d: PUSH2 0x1886 00001880: DUP5 00001881: DUP7 00001882: PUSH2 0x39ea 00001885: JUMP 00001886: JUMPDEST 00001887: SWAP4 00001888: POP 00001889: PUSH1 0x05 0000188b: SLOAD 0000188c: DUP5 0000188d: MUL 0000188e: SWAP1 0000188f: POP 00001890: JUMPDEST 00001891: PUSH1 0x00 00001893: PUSH1 0x19 00001895: SLOAD 00001896: GT 00001897: ISZERO 00001898: PUSH2 0x1908 0000189b: JUMPI 0000189c: PUSH2 0x18a7 0000189f: PUSH1 0x19 000018a1: SLOAD 000018a2: DUP4 000018a3: PUSH2 0x39ea 000018a6: JUMP 000018a7: JUMPDEST 000018a8: PUSH1 0x19 000018aa: DUP2 000018ab: SWAP1 000018ac: SSTORE 000018ad: POP 000018ae: PUSH1 0x19 000018b0: SLOAD 000018b1: PUSH1 0x05 000018b3: SLOAD 000018b4: DUP6 000018b5: MUL 000018b6: DUP2 000018b7: PUSH2 0x18bc 000018ba: JUMPI 000018bb: INVALID 000018bc: JUMPDEST 000018bd: DIV 000018be: PUSH1 0x1a 000018c0: PUSH1 0x00 000018c2: DUP3 000018c3: DUP3 000018c4: SLOAD 000018c5: ADD 000018c6: SWAP3 000018c7: POP 000018c8: POP 000018c9: DUP2 000018ca: SWAP1 000018cb: SSTORE 000018cc: POP 000018cd: PUSH1 0x19 000018cf: SLOAD 000018d0: PUSH1 0x05 000018d2: SLOAD 000018d3: DUP6 000018d4: MUL 000018d5: DUP2 000018d6: PUSH2 0x18db 000018d9: JUMPI 000018da: INVALID 000018db: JUMPDEST 000018dc: DIV 000018dd: PUSH1 0x1b 000018df: PUSH1 0x00 000018e1: DUP3 000018e2: DUP3 000018e3: SLOAD 000018e4: ADD 000018e5: SWAP3 000018e6: POP 000018e7: POP 000018e8: DUP2 000018e9: SWAP1 000018ea: SSTORE 000018eb: POP 000018ec: PUSH1 0x19 000018ee: SLOAD 000018ef: PUSH1 0x05 000018f1: SLOAD 000018f2: DUP6 000018f3: MUL 000018f4: DUP2 000018f5: PUSH2 0x18fa 000018f8: JUMPI 000018f9: INVALID 000018fa: JUMPDEST 000018fb: DIV 000018fc: DUP3 000018fd: MUL 000018fe: DUP2 000018ff: SUB 00001900: DUP2 00001901: SUB 00001902: SWAP1 00001903: POP 00001904: PUSH2 0x1910 00001907: JUMP 00001908: JUMPDEST 00001909: DUP2 0000190a: PUSH1 0x19 0000190c: DUP2 0000190d: SWAP1 0000190e: SSTORE 0000190f: POP 00001910: JUMPDEST 00001911: PUSH2 0x1959 00001914: PUSH1 0x13 00001916: PUSH1 0x00 00001918: DUP10 00001919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000192e: AND 0000192f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001944: AND 00001945: DUP2 00001946: MSTORE 00001947: PUSH1 0x20 00001949: ADD 0000194a: SWAP1 0000194b: DUP2 0000194c: MSTORE 0000194d: PUSH1 0x20 0000194f: ADD 00001950: PUSH1 0x00 00001952: KECCAK256 00001953: SLOAD 00001954: DUP4 00001955: PUSH2 0x39ea 00001958: JUMP 00001959: JUMPDEST 0000195a: PUSH1 0x13 0000195c: PUSH1 0x00 0000195e: DUP10 0000195f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001974: AND 00001975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000198a: AND 0000198b: DUP2 0000198c: MSTORE 0000198d: PUSH1 0x20 0000198f: ADD 00001990: SWAP1 00001991: DUP2 00001992: MSTORE 00001993: PUSH1 0x20 00001995: ADD 00001996: PUSH1 0x00 00001998: KECCAK256 00001999: DUP2 0000199a: SWAP1 0000199b: SSTORE 0000199c: POP 0000199d: PUSH1 0x00 0000199f: DUP2 000019a0: DUP4 000019a1: PUSH1 0x1a 000019a3: SLOAD 000019a4: MUL 000019a5: SUB 000019a6: SWAP1 000019a7: POP 000019a8: DUP1 000019a9: PUSH1 0x16 000019ab: PUSH1 0x00 000019ad: DUP11 000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019c3: AND 000019c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d9: AND 000019da: DUP2 000019db: MSTORE 000019dc: PUSH1 0x20 000019de: ADD 000019df: SWAP1 000019e0: DUP2 000019e1: MSTORE 000019e2: PUSH1 0x20 000019e4: ADD 000019e5: PUSH1 0x00 000019e7: KECCAK256 000019e8: PUSH1 0x00 000019ea: DUP3 000019eb: DUP3 000019ec: SLOAD 000019ed: ADD 000019ee: SWAP3 000019ef: POP 000019f0: POP 000019f1: DUP2 000019f2: SWAP1 000019f3: SSTORE 000019f4: POP 000019f5: DUP11 000019f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a0b: AND 00001a0c: DUP9 00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a22: AND 00001a23: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 00001a44: DUP12 00001a45: DUP7 00001a46: TIMESTAMP 00001a47: PUSH1 0x13 00001a49: PUSH1 0x00 00001a4b: DUP16 00001a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a61: AND 00001a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a77: AND 00001a78: DUP2 00001a79: MSTORE 00001a7a: PUSH1 0x20 00001a7c: ADD 00001a7d: SWAP1 00001a7e: DUP2 00001a7f: MSTORE 00001a80: PUSH1 0x20 00001a82: ADD 00001a83: PUSH1 0x00 00001a85: KECCAK256 00001a86: SLOAD 00001a87: PUSH1 0x40 00001a89: MLOAD 00001a8a: DUP1 00001a8b: DUP6 00001a8c: DUP2 00001a8d: MSTORE 00001a8e: PUSH1 0x20 00001a90: ADD 00001a91: DUP5 00001a92: DUP2 00001a93: MSTORE 00001a94: PUSH1 0x20 00001a96: ADD 00001a97: DUP4 00001a98: DUP2 00001a99: MSTORE 00001a9a: PUSH1 0x20 00001a9c: ADD 00001a9d: DUP3 00001a9e: DUP2 00001a9f: MSTORE 00001aa0: PUSH1 0x20 00001aa2: ADD 00001aa3: SWAP5 00001aa4: POP 00001aa5: POP 00001aa6: POP 00001aa7: POP 00001aa8: POP 00001aa9: PUSH1 0x40 00001aab: MLOAD 00001aac: DUP1 00001aad: SWAP2 00001aae: SUB 00001aaf: SWAP1 00001ab0: LOG3 00001ab1: DUP3 00001ab2: SWAP10 00001ab3: POP 00001ab4: POP 00001ab5: POP 00001ab6: POP 00001ab7: POP 00001ab8: POP 00001ab9: POP 00001aba: POP 00001abb: POP 00001abc: POP 00001abd: SWAP3 00001abe: SWAP2 00001abf: POP 00001ac0: POP 00001ac1: JUMP 00001ac2: JUMPDEST 00001ac3: PUSH1 0x00 00001ac5: DUP1 00001ac6: DUP4 00001ac7: EQ 00001ac8: ISZERO 00001ac9: PUSH2 0x1ad5 00001acc: JUMPI 00001acd: PUSH1 0x00 00001acf: SWAP1 00001ad0: POP 00001ad1: PUSH2 0x1b42 00001ad4: JUMP 00001ad5: JUMPDEST 00001ad6: PUSH1 0x00 00001ad8: DUP3 00001ad9: DUP5 00001ada: MUL 00001adb: SWAP1 00001adc: POP 00001add: DUP3 00001ade: DUP5 00001adf: DUP3 00001ae0: DUP2 00001ae1: PUSH2 0x1ae6 00001ae4: JUMPI 00001ae5: INVALID 00001ae6: JUMPDEST 00001ae7: DIV 00001ae8: EQ 00001ae9: PUSH2 0x1b3d 00001aec: JUMPI 00001aed: PUSH1 0x40 00001aef: MLOAD 00001af0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b11: DUP2 00001b12: MSTORE 00001b13: PUSH1 0x04 00001b15: ADD 00001b16: DUP1 00001b17: DUP1 00001b18: PUSH1 0x20 00001b1a: ADD 00001b1b: DUP3 00001b1c: DUP2 00001b1d: SUB 00001b1e: DUP3 00001b1f: MSTORE 00001b20: PUSH1 0x21 00001b22: DUP2 00001b23: MSTORE 00001b24: PUSH1 0x20 00001b26: ADD 00001b27: DUP1 00001b28: PUSH2 0x4381 00001b2b: PUSH1 0x21 00001b2d: SWAP2 00001b2e: CODECOPY 00001b2f: PUSH1 0x40 00001b31: ADD 00001b32: SWAP2 00001b33: POP 00001b34: POP 00001b35: PUSH1 0x40 00001b37: MLOAD 00001b38: DUP1 00001b39: SWAP2 00001b3a: SUB 00001b3b: SWAP1 00001b3c: REVERT 00001b3d: JUMPDEST 00001b3e: DUP1 00001b3f: SWAP2 00001b40: POP 00001b41: POP 00001b42: JUMPDEST 00001b43: SWAP3 00001b44: SWAP2 00001b45: POP 00001b46: POP 00001b47: JUMP 00001b48: JUMPDEST 00001b49: PUSH1 0x00 00001b4b: PUSH2 0x1b8a 00001b4e: DUP4 00001b4f: DUP4 00001b50: PUSH1 0x40 00001b52: MLOAD 00001b53: DUP1 00001b54: PUSH1 0x40 00001b56: ADD 00001b57: PUSH1 0x40 00001b59: MSTORE 00001b5a: DUP1 00001b5b: PUSH1 0x1a 00001b5d: DUP2 00001b5e: MSTORE 00001b5f: PUSH1 0x20 00001b61: ADD 00001b62: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00001b83: DUP2 00001b84: MSTORE 00001b85: POP 00001b86: PUSH2 0x3ec4 00001b89: JUMP 00001b8a: JUMPDEST 00001b8b: SWAP1 00001b8c: POP 00001b8d: SWAP3 00001b8e: SWAP2 00001b8f: POP 00001b90: POP 00001b91: JUMP 00001b92: JUMPDEST 00001b93: PUSH1 0x00 00001b95: PUSH1 0x05 00001b97: SLOAD 00001b98: PUSH1 0x16 00001b9a: PUSH1 0x00 00001b9c: DUP5 00001b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bb2: AND 00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bc8: AND 00001bc9: DUP2 00001bca: MSTORE 00001bcb: PUSH1 0x20 00001bcd: ADD 00001bce: SWAP1 00001bcf: DUP2 00001bd0: MSTORE 00001bd1: PUSH1 0x20 00001bd3: ADD 00001bd4: PUSH1 0x00 00001bd6: KECCAK256 00001bd7: SLOAD 00001bd8: PUSH1 0x13 00001bda: PUSH1 0x00 00001bdc: DUP6 00001bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001bf2: AND 00001bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c08: AND 00001c09: DUP2 00001c0a: MSTORE 00001c0b: PUSH1 0x20 00001c0d: ADD 00001c0e: SWAP1 00001c0f: DUP2 00001c10: MSTORE 00001c11: PUSH1 0x20 00001c13: ADD 00001c14: PUSH1 0x00 00001c16: KECCAK256 00001c17: SLOAD 00001c18: PUSH1 0x1a 00001c1a: SLOAD 00001c1b: MUL 00001c1c: SUB 00001c1d: DUP2 00001c1e: PUSH2 0x1c23 00001c21: JUMPI 00001c22: INVALID 00001c23: JUMPDEST 00001c24: DIV 00001c25: SWAP1 00001c26: POP 00001c27: SWAP2 00001c28: SWAP1 00001c29: POP 00001c2a: JUMP 00001c2b: JUMPDEST 00001c2c: PUSH1 0x00 00001c2e: DUP1 00001c2f: SLOAD 00001c30: PUSH1 0x01 00001c32: DUP2 00001c33: PUSH1 0x01 00001c35: AND 00001c36: ISZERO 00001c37: PUSH2 0x0100 00001c3a: MUL 00001c3b: SUB 00001c3c: AND 00001c3d: PUSH1 0x02 00001c3f: SWAP1 00001c40: DIV 00001c41: DUP1 00001c42: PUSH1 0x1f 00001c44: ADD 00001c45: PUSH1 0x20 00001c47: DUP1 00001c48: SWAP2 00001c49: DIV 00001c4a: MUL 00001c4b: PUSH1 0x20 00001c4d: ADD 00001c4e: PUSH1 0x40 00001c50: MLOAD 00001c51: SWAP1 00001c52: DUP2 00001c53: ADD 00001c54: PUSH1 0x40 00001c56: MSTORE 00001c57: DUP1 00001c58: SWAP3 00001c59: SWAP2 00001c5a: SWAP1 00001c5b: DUP2 00001c5c: DUP2 00001c5d: MSTORE 00001c5e: PUSH1 0x20 00001c60: ADD 00001c61: DUP3 00001c62: DUP1 00001c63: SLOAD 00001c64: PUSH1 0x01 00001c66: DUP2 00001c67: PUSH1 0x01 00001c69: AND 00001c6a: ISZERO 00001c6b: PUSH2 0x0100 00001c6e: MUL 00001c6f: SUB 00001c70: AND 00001c71: PUSH1 0x02 00001c73: SWAP1 00001c74: DIV 00001c75: DUP1 00001c76: ISZERO 00001c77: PUSH2 0x1cc1 00001c7a: JUMPI 00001c7b: DUP1 00001c7c: PUSH1 0x1f 00001c7e: LT 00001c7f: PUSH2 0x1c96 00001c82: JUMPI 00001c83: PUSH2 0x0100 00001c86: DUP1 00001c87: DUP4 00001c88: SLOAD 00001c89: DIV 00001c8a: MUL 00001c8b: DUP4 00001c8c: MSTORE 00001c8d: SWAP2 00001c8e: PUSH1 0x20 00001c90: ADD 00001c91: SWAP2 00001c92: PUSH2 0x1cc1 00001c95: JUMP 00001c96: JUMPDEST 00001c97: DUP3 00001c98: ADD 00001c99: SWAP2 00001c9a: SWAP1 00001c9b: PUSH1 0x00 00001c9d: MSTORE 00001c9e: PUSH1 0x20 00001ca0: PUSH1 0x00 00001ca2: KECCAK256 00001ca3: SWAP1 00001ca4: JUMPDEST 00001ca5: DUP2 00001ca6: SLOAD 00001ca7: DUP2 00001ca8: MSTORE 00001ca9: SWAP1 00001caa: PUSH1 0x01 00001cac: ADD 00001cad: SWAP1 00001cae: PUSH1 0x20 00001cb0: ADD 00001cb1: DUP1 00001cb2: DUP4 00001cb3: GT 00001cb4: PUSH2 0x1ca4 00001cb7: JUMPI 00001cb8: DUP3 00001cb9: SWAP1 00001cba: SUB 00001cbb: PUSH1 0x1f 00001cbd: AND 00001cbe: DUP3 00001cbf: ADD 00001cc0: SWAP2 00001cc1: JUMPDEST 00001cc2: POP 00001cc3: POP 00001cc4: POP 00001cc5: POP 00001cc6: POP 00001cc7: DUP2 00001cc8: JUMP 00001cc9: JUMPDEST 00001cca: PUSH1 0x00 00001ccc: PUSH2 0x1cd6 00001ccf: CALLER 00001cd0: DUP5 00001cd1: DUP5 00001cd2: PUSH2 0x3f8a 00001cd5: JUMP 00001cd6: JUMPDEST 00001cd7: PUSH1 0x01 00001cd9: SWAP1 00001cda: POP 00001cdb: SWAP3 00001cdc: SWAP2 00001cdd: POP 00001cde: POP 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: PUSH1 0x06 00001ce3: SLOAD 00001ce4: DUP2 00001ce5: JUMP 00001ce6: JUMPDEST 00001ce7: PUSH1 0x00 00001ce9: DUP1 00001cea: PUSH2 0x1d10 00001ced: PUSH1 0x64 00001cef: PUSH2 0x1d02 00001cf2: PUSH1 0x40 00001cf4: DUP7 00001cf5: PUSH2 0x1ac2 00001cf8: SWAP1 00001cf9: SWAP2 00001cfa: SWAP1 00001cfb: PUSH4 0xffffffff 00001d00: AND 00001d01: JUMP 00001d02: JUMPDEST 00001d03: PUSH2 0x1b48 00001d06: SWAP1 00001d07: SWAP2 00001d08: SWAP1 00001d09: PUSH4 0xffffffff 00001d0e: AND 00001d0f: JUMP 00001d10: JUMPDEST 00001d11: SWAP1 00001d12: POP 00001d13: PUSH1 0x00 00001d15: PUSH2 0x1d30 00001d18: DUP3 00001d19: PUSH1 0x02 00001d1b: PUSH1 0x01 00001d1d: SWAP1 00001d1e: SLOAD 00001d1f: SWAP1 00001d20: PUSH2 0x0100 00001d23: EXP 00001d24: SWAP1 00001d25: DIV 00001d26: PUSH1 0xff 00001d28: AND 00001d29: PUSH1 0xff 00001d2b: AND 00001d2c: PUSH2 0x1b48 00001d2f: JUMP 00001d30: JUMPDEST 00001d31: SWAP1 00001d32: POP 00001d33: PUSH1 0x00 00001d35: PUSH2 0x1d3e 00001d38: DUP4 00001d39: DUP4 00001d3a: PUSH2 0x3924 00001d3d: JUMP 00001d3e: JUMPDEST 00001d3f: SWAP1 00001d40: POP 00001d41: PUSH1 0x00 00001d43: PUSH2 0x1d4b 00001d46: DUP3 00001d47: PUSH2 0x396e 00001d4a: JUMP 00001d4b: JUMPDEST 00001d4c: SWAP1 00001d4d: POP 00001d4e: DUP1 00001d4f: SWAP5 00001d50: POP 00001d51: POP 00001d52: POP 00001d53: POP 00001d54: POP 00001d55: SWAP2 00001d56: SWAP1 00001d57: POP 00001d58: JUMP 00001d59: JUMPDEST 00001d5a: PUSH1 0x00 00001d5c: PUSH1 0x19 00001d5e: SLOAD 00001d5f: SWAP1 00001d60: POP 00001d61: SWAP1 00001d62: JUMP 00001d63: JUMPDEST 00001d64: PUSH1 0x00 00001d66: PUSH1 0x19 00001d68: SLOAD 00001d69: DUP3 00001d6a: GT 00001d6b: ISZERO 00001d6c: PUSH2 0x1d74 00001d6f: JUMPI 00001d70: PUSH1 0x00 00001d72: DUP1 00001d73: REVERT 00001d74: JUMPDEST 00001d75: PUSH1 0x00 00001d77: PUSH2 0x1d7f 00001d7a: DUP4 00001d7b: PUSH2 0x4181 00001d7e: JUMP 00001d7f: JUMPDEST 00001d80: SWAP1 00001d81: POP 00001d82: PUSH1 0x00 00001d84: PUSH2 0x1daa 00001d87: PUSH1 0x64 00001d89: PUSH2 0x1d9c 00001d8c: PUSH1 0x05 00001d8e: DUP6 00001d8f: PUSH2 0x1ac2 00001d92: SWAP1 00001d93: SWAP2 00001d94: SWAP1 00001d95: PUSH4 0xffffffff 00001d9a: AND 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: PUSH2 0x1b48 00001da0: SWAP1 00001da1: SWAP2 00001da2: SWAP1 00001da3: PUSH4 0xffffffff 00001da8: AND 00001da9: JUMP 00001daa: JUMPDEST 00001dab: SWAP1 00001dac: POP 00001dad: PUSH1 0x00 00001daf: PUSH2 0x1db8 00001db2: DUP4 00001db3: DUP4 00001db4: PUSH2 0x1b48 00001db7: JUMP 00001db8: JUMPDEST 00001db9: SWAP1 00001dba: POP 00001dbb: PUSH1 0x00 00001dbd: PUSH2 0x1dc6 00001dc0: DUP5 00001dc1: DUP4 00001dc2: PUSH2 0x3924 00001dc5: JUMP 00001dc6: JUMPDEST 00001dc7: SWAP1 00001dc8: POP 00001dc9: DUP1 00001dca: SWAP5 00001dcb: POP 00001dcc: POP 00001dcd: POP 00001dce: POP 00001dcf: POP 00001dd0: SWAP2 00001dd1: SWAP1 00001dd2: POP 00001dd3: JUMP 00001dd4: JUMPDEST 00001dd5: PUSH1 0x00 00001dd7: DUP1 00001dd8: DUP5 00001dd9: SWAP1 00001dda: POP 00001ddb: PUSH1 0x13 00001ddd: PUSH1 0x00 00001ddf: DUP3 00001de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001df5: AND 00001df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e0b: AND 00001e0c: DUP2 00001e0d: MSTORE 00001e0e: PUSH1 0x20 00001e10: ADD 00001e11: SWAP1 00001e12: DUP2 00001e13: MSTORE 00001e14: PUSH1 0x20 00001e16: ADD 00001e17: PUSH1 0x00 00001e19: KECCAK256 00001e1a: SLOAD 00001e1b: DUP4 00001e1c: GT 00001e1d: ISZERO 00001e1e: PUSH2 0x1e26 00001e21: JUMPI 00001e22: PUSH1 0x00 00001e24: DUP1 00001e25: REVERT 00001e26: JUMPDEST 00001e27: PUSH2 0x1e6f 00001e2a: PUSH1 0x13 00001e2c: PUSH1 0x00 00001e2e: DUP4 00001e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e44: AND 00001e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e5a: AND 00001e5b: DUP2 00001e5c: MSTORE 00001e5d: PUSH1 0x20 00001e5f: ADD 00001e60: SWAP1 00001e61: DUP2 00001e62: MSTORE 00001e63: PUSH1 0x20 00001e65: ADD 00001e66: PUSH1 0x00 00001e68: KECCAK256 00001e69: SLOAD 00001e6a: DUP5 00001e6b: PUSH2 0x3924 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: PUSH1 0x13 00001e72: PUSH1 0x00 00001e74: DUP4 00001e75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e8a: AND 00001e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea0: AND 00001ea1: DUP2 00001ea2: MSTORE 00001ea3: PUSH1 0x20 00001ea5: ADD 00001ea6: SWAP1 00001ea7: DUP2 00001ea8: MSTORE 00001ea9: PUSH1 0x20 00001eab: ADD 00001eac: PUSH1 0x00 00001eae: KECCAK256 00001eaf: DUP2 00001eb0: SWAP1 00001eb1: SSTORE 00001eb2: POP 00001eb3: PUSH2 0x1efb 00001eb6: PUSH1 0x13 00001eb8: PUSH1 0x00 00001eba: DUP7 00001ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ed0: AND 00001ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ee6: AND 00001ee7: DUP2 00001ee8: MSTORE 00001ee9: PUSH1 0x20 00001eeb: ADD 00001eec: SWAP1 00001eed: DUP2 00001eee: MSTORE 00001eef: PUSH1 0x20 00001ef1: ADD 00001ef2: PUSH1 0x00 00001ef4: KECCAK256 00001ef5: SLOAD 00001ef6: DUP5 00001ef7: PUSH2 0x39ea 00001efa: JUMP 00001efb: JUMPDEST 00001efc: PUSH1 0x13 00001efe: PUSH1 0x00 00001f00: DUP7 00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f16: AND 00001f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f2c: AND 00001f2d: DUP2 00001f2e: MSTORE 00001f2f: PUSH1 0x20 00001f31: ADD 00001f32: SWAP1 00001f33: DUP2 00001f34: MSTORE 00001f35: PUSH1 0x20 00001f37: ADD 00001f38: PUSH1 0x00 00001f3a: KECCAK256 00001f3b: DUP2 00001f3c: SWAP1 00001f3d: SSTORE 00001f3e: POP 00001f3f: DUP3 00001f40: PUSH1 0x1a 00001f42: SLOAD 00001f43: MUL 00001f44: PUSH1 0x16 00001f46: PUSH1 0x00 00001f48: DUP4 00001f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f5e: AND 00001f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f74: AND 00001f75: DUP2 00001f76: MSTORE 00001f77: PUSH1 0x20 00001f79: ADD 00001f7a: SWAP1 00001f7b: DUP2 00001f7c: MSTORE 00001f7d: PUSH1 0x20 00001f7f: ADD 00001f80: PUSH1 0x00 00001f82: KECCAK256 00001f83: PUSH1 0x00 00001f85: DUP3 00001f86: DUP3 00001f87: SLOAD 00001f88: SUB 00001f89: SWAP3 00001f8a: POP 00001f8b: POP 00001f8c: DUP2 00001f8d: SWAP1 00001f8e: SSTORE 00001f8f: POP 00001f90: DUP3 00001f91: PUSH1 0x1a 00001f93: SLOAD 00001f94: MUL 00001f95: PUSH1 0x16 00001f97: PUSH1 0x00 00001f99: DUP7 00001f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001faf: AND 00001fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fc5: AND 00001fc6: DUP2 00001fc7: MSTORE 00001fc8: PUSH1 0x20 00001fca: ADD 00001fcb: SWAP1 00001fcc: DUP2 00001fcd: MSTORE 00001fce: PUSH1 0x20 00001fd0: ADD 00001fd1: PUSH1 0x00 00001fd3: KECCAK256 00001fd4: PUSH1 0x00 00001fd6: DUP3 00001fd7: DUP3 00001fd8: SLOAD 00001fd9: ADD 00001fda: SWAP3 00001fdb: POP 00001fdc: POP 00001fdd: DUP2 00001fde: SWAP1 00001fdf: SSTORE 00001fe0: POP 00001fe1: DUP4 00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ff7: AND 00001ff8: DUP2 00001ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000200e: AND 0000200f: PUSH32 0x9ed053bb818ff08b8353cd46f78db1f0799f31c9e4458fdb425c10eccd2efc44 00002030: DUP6 00002031: TIMESTAMP 00002032: PUSH1 0x40 00002034: MLOAD 00002035: DUP1 00002036: DUP4 00002037: DUP2 00002038: MSTORE 00002039: PUSH1 0x20 0000203b: ADD 0000203c: DUP3 0000203d: DUP2 0000203e: MSTORE 0000203f: PUSH1 0x20 00002041: ADD 00002042: SWAP3 00002043: POP 00002044: POP 00002045: POP 00002046: PUSH1 0x40 00002048: MLOAD 00002049: DUP1 0000204a: SWAP2 0000204b: SUB 0000204c: SWAP1 0000204d: LOG3 0000204e: PUSH2 0x2100 00002051: DUP6 00002052: CALLER 00002053: PUSH2 0x20fb 00002056: DUP7 00002057: PUSH1 0x40 00002059: MLOAD 0000205a: DUP1 0000205b: PUSH1 0x60 0000205d: ADD 0000205e: PUSH1 0x40 00002060: MSTORE 00002061: DUP1 00002062: PUSH1 0x28 00002064: DUP2 00002065: MSTORE 00002066: PUSH1 0x20 00002068: ADD 00002069: PUSH2 0x43a2 0000206c: PUSH1 0x28 0000206e: SWAP2 0000206f: CODECOPY 00002070: PUSH1 0x15 00002072: PUSH1 0x00 00002074: DUP13 00002075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208a: AND 0000208b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020a0: AND 000020a1: DUP2 000020a2: MSTORE 000020a3: PUSH1 0x20 000020a5: ADD 000020a6: SWAP1 000020a7: DUP2 000020a8: MSTORE 000020a9: PUSH1 0x20 000020ab: ADD 000020ac: PUSH1 0x00 000020ae: KECCAK256 000020af: PUSH1 0x00 000020b1: CALLER 000020b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020c7: AND 000020c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020dd: AND 000020de: DUP2 000020df: MSTORE 000020e0: PUSH1 0x20 000020e2: ADD 000020e3: SWAP1 000020e4: DUP2 000020e5: MSTORE 000020e6: PUSH1 0x20 000020e8: ADD 000020e9: PUSH1 0x00 000020eb: KECCAK256 000020ec: SLOAD 000020ed: PUSH2 0x4219 000020f0: SWAP1 000020f1: SWAP3 000020f2: SWAP2 000020f3: SWAP1 000020f4: PUSH4 0xffffffff 000020f9: AND 000020fa: JUMP 000020fb: JUMPDEST 000020fc: PUSH2 0x3f8a 000020ff: JUMP 00002100: JUMPDEST 00002101: PUSH1 0x01 00002103: SWAP2 00002104: POP 00002105: POP 00002106: SWAP4 00002107: SWAP3 00002108: POP 00002109: POP 0000210a: POP 0000210b: JUMP 0000210c: JUMPDEST 0000210d: PUSH1 0x02 0000210f: PUSH1 0x00 00002111: SWAP1 00002112: SLOAD 00002113: SWAP1 00002114: PUSH2 0x0100 00002117: EXP 00002118: SWAP1 00002119: DIV 0000211a: PUSH1 0xff 0000211c: AND 0000211d: DUP2 0000211e: JUMP 0000211f: JUMPDEST 00002120: PUSH1 0x00 00002122: PUSH2 0x21ba 00002125: CALLER 00002126: DUP5 00002127: PUSH2 0x21b5 0000212a: DUP6 0000212b: PUSH1 0x15 0000212d: PUSH1 0x00 0000212f: CALLER 00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002145: AND 00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000215b: AND 0000215c: DUP2 0000215d: MSTORE 0000215e: PUSH1 0x20 00002160: ADD 00002161: SWAP1 00002162: DUP2 00002163: MSTORE 00002164: PUSH1 0x20 00002166: ADD 00002167: PUSH1 0x00 00002169: KECCAK256 0000216a: PUSH1 0x00 0000216c: DUP10 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: PUSH2 0x39ea 000021ab: SWAP1 000021ac: SWAP2 000021ad: SWAP1 000021ae: PUSH4 0xffffffff 000021b3: AND 000021b4: JUMP 000021b5: JUMPDEST 000021b6: PUSH2 0x3f8a 000021b9: JUMP 000021ba: JUMPDEST 000021bb: PUSH1 0x01 000021bd: SWAP1 000021be: POP 000021bf: SWAP3 000021c0: SWAP2 000021c1: POP 000021c2: POP 000021c3: JUMP 000021c4: JUMPDEST 000021c5: PUSH1 0x00 000021c7: PUSH2 0x21d0 000021ca: PUSH1 0x01 000021cc: PUSH2 0x24bb 000021cf: JUMP 000021d0: JUMPDEST 000021d1: GT 000021d2: PUSH2 0x21da 000021d5: JUMPI 000021d6: PUSH1 0x00 000021d8: DUP1 000021d9: REVERT 000021da: JUMPDEST 000021db: PUSH1 0x00 000021dd: CALLER 000021de: SWAP1 000021df: POP 000021e0: PUSH1 0x00 000021e2: PUSH2 0x21eb 000021e5: PUSH1 0x00 000021e7: PUSH2 0x24bb 000021ea: JUMP 000021eb: JUMPDEST 000021ec: SWAP1 000021ed: POP 000021ee: PUSH1 0x00 000021f0: PUSH2 0x21f7 000021f3: PUSH2 0x335a 000021f6: JUMP 000021f7: JUMPDEST 000021f8: SWAP1 000021f9: POP 000021fa: PUSH1 0x05 000021fc: SLOAD 000021fd: DUP3 000021fe: MUL 000021ff: PUSH1 0x16 00002201: PUSH1 0x00 00002203: DUP6 00002204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002219: AND 0000221a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000222f: AND 00002230: DUP2 00002231: MSTORE 00002232: PUSH1 0x20 00002234: ADD 00002235: SWAP1 00002236: DUP2 00002237: MSTORE 00002238: PUSH1 0x20 0000223a: ADD 0000223b: PUSH1 0x00 0000223d: KECCAK256 0000223e: PUSH1 0x00 00002240: DUP3 00002241: DUP3 00002242: SLOAD 00002243: ADD 00002244: SWAP3 00002245: POP 00002246: POP 00002247: DUP2 00002248: SWAP1 00002249: SSTORE 0000224a: POP 0000224b: PUSH1 0x00 0000224d: DUP2 0000224e: GT 0000224f: ISZERO 00002250: PUSH2 0x2279 00002253: JUMPI 00002254: DUP1 00002255: DUP3 00002256: ADD 00002257: SWAP2 00002258: POP 00002259: DUP1 0000225a: PUSH1 0x07 0000225c: PUSH1 0x00 0000225e: DUP3 0000225f: DUP3 00002260: SLOAD 00002261: SUB 00002262: SWAP3 00002263: POP 00002264: POP 00002265: DUP2 00002266: SWAP1 00002267: SSTORE 00002268: POP 00002269: DUP1 0000226a: PUSH1 0x10 0000226c: PUSH1 0x00 0000226e: DUP3 0000226f: DUP3 00002270: SLOAD 00002271: ADD 00002272: SWAP3 00002273: POP 00002274: POP 00002275: DUP2 00002276: SWAP1 00002277: SSTORE 00002278: POP 00002279: JUMPDEST 0000227a: PUSH1 0x14 0000227c: PUSH1 0x00 0000227e: DUP5 0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002294: AND 00002295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022aa: AND 000022ab: DUP2 000022ac: MSTORE 000022ad: PUSH1 0x20 000022af: ADD 000022b0: SWAP1 000022b1: DUP2 000022b2: MSTORE 000022b3: PUSH1 0x20 000022b5: ADD 000022b6: PUSH1 0x00 000022b8: KECCAK256 000022b9: SLOAD 000022ba: DUP3 000022bb: ADD 000022bc: SWAP2 000022bd: POP 000022be: PUSH1 0x00 000022c0: PUSH1 0x14 000022c2: PUSH1 0x00 000022c4: DUP6 000022c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022da: AND 000022db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022f0: AND 000022f1: DUP2 000022f2: MSTORE 000022f3: PUSH1 0x20 000022f5: ADD 000022f6: SWAP1 000022f7: DUP2 000022f8: MSTORE 000022f9: PUSH1 0x20 000022fb: ADD 000022fc: PUSH1 0x00 000022fe: KECCAK256 000022ff: DUP2 00002300: SWAP1 00002301: SSTORE 00002302: POP 00002303: DUP2 00002304: PUSH1 0x12 00002306: PUSH1 0x00 00002308: DUP3 00002309: DUP3 0000230a: SLOAD 0000230b: ADD 0000230c: SWAP3 0000230d: POP 0000230e: POP 0000230f: DUP2 00002310: SWAP1 00002311: SSTORE 00002312: POP 00002313: DUP3 00002314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002329: AND 0000232a: PUSH2 0x08fc 0000232d: DUP4 0000232e: SWAP1 0000232f: DUP2 00002330: ISZERO 00002331: MUL 00002332: SWAP1 00002333: PUSH1 0x40 00002335: MLOAD 00002336: PUSH1 0x00 00002338: PUSH1 0x40 0000233a: MLOAD 0000233b: DUP1 0000233c: DUP4 0000233d: SUB 0000233e: DUP2 0000233f: DUP6 00002340: DUP9 00002341: DUP9 00002342: CALL 00002343: SWAP4 00002344: POP 00002345: POP 00002346: POP 00002347: POP 00002348: ISZERO 00002349: DUP1 0000234a: ISZERO 0000234b: PUSH2 0x2358 0000234e: JUMPI 0000234f: RETURNDATASIZE 00002350: PUSH1 0x00 00002352: DUP1 00002353: RETURNDATACOPY 00002354: RETURNDATASIZE 00002355: PUSH1 0x00 00002357: REVERT 00002358: JUMPDEST 00002359: POP 0000235a: DUP3 0000235b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002370: AND 00002371: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00002392: DUP4 00002393: PUSH1 0x40 00002395: MLOAD 00002396: DUP1 00002397: DUP3 00002398: DUP2 00002399: MSTORE 0000239a: PUSH1 0x20 0000239c: ADD 0000239d: SWAP2 0000239e: POP 0000239f: POP 000023a0: PUSH1 0x40 000023a2: MLOAD 000023a3: DUP1 000023a4: SWAP2 000023a5: SUB 000023a6: SWAP1 000023a7: LOG2 000023a8: POP 000023a9: POP 000023aa: POP 000023ab: JUMP 000023ac: JUMPDEST 000023ad: PUSH1 0x12 000023af: SLOAD 000023b0: DUP2 000023b1: JUMP 000023b2: JUMPDEST 000023b3: PUSH1 0x00 000023b5: DUP1 000023b6: PUSH1 0x19 000023b8: SLOAD 000023b9: EQ 000023ba: ISZERO 000023bb: PUSH2 0x23cc 000023be: JUMPI 000023bf: PUSH1 0x04 000023c1: SLOAD 000023c2: PUSH1 0x03 000023c4: SLOAD 000023c5: SUB 000023c6: SWAP1 000023c7: POP 000023c8: PUSH2 0x2430 000023cb: JUMP 000023cc: JUMPDEST 000023cd: PUSH1 0x00 000023cf: PUSH2 0x23df 000023d2: PUSH8 0x0de0b6b3a7640000 000023db: PUSH2 0x4181 000023de: JUMP 000023df: JUMPDEST 000023e0: SWAP1 000023e1: POP 000023e2: PUSH1 0x00 000023e4: PUSH2 0x240a 000023e7: PUSH1 0x64 000023e9: PUSH2 0x23fc 000023ec: PUSH1 0x05 000023ee: DUP6 000023ef: PUSH2 0x1ac2 000023f2: SWAP1 000023f3: SWAP2 000023f4: SWAP1 000023f5: PUSH4 0xffffffff 000023fa: AND 000023fb: JUMP 000023fc: JUMPDEST 000023fd: PUSH2 0x1b48 00002400: SWAP1 00002401: SWAP2 00002402: SWAP1 00002403: PUSH4 0xffffffff 00002408: AND 00002409: JUMP 0000240a: JUMPDEST 0000240b: SWAP1 0000240c: POP 0000240d: PUSH1 0x00 0000240f: PUSH2 0x2418 00002412: DUP4 00002413: DUP4 00002414: PUSH2 0x1b48 00002417: JUMP 00002418: JUMPDEST 00002419: SWAP1 0000241a: POP 0000241b: PUSH1 0x00 0000241d: PUSH2 0x2426 00002420: DUP5 00002421: DUP4 00002422: PUSH2 0x3924 00002425: JUMP 00002426: JUMPDEST 00002427: SWAP1 00002428: POP 00002429: DUP1 0000242a: SWAP5 0000242b: POP 0000242c: POP 0000242d: POP 0000242e: POP 0000242f: POP 00002430: JUMPDEST 00002431: SWAP1 00002432: JUMP 00002433: JUMPDEST 00002434: PUSH1 0x13 00002436: PUSH1 0x20 00002438: MSTORE 00002439: DUP1 0000243a: PUSH1 0x00 0000243c: MSTORE 0000243d: PUSH1 0x40 0000243f: PUSH1 0x00 00002441: KECCAK256 00002442: PUSH1 0x00 00002444: SWAP2 00002445: POP 00002446: SWAP1 00002447: POP 00002448: SLOAD 00002449: DUP2 0000244a: JUMP 0000244b: JUMPDEST 0000244c: PUSH1 0x00 0000244e: PUSH1 0x17 00002450: PUSH1 0x00 00002452: CALLER 00002453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002468: AND 00002469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000247e: AND 0000247f: DUP2 00002480: MSTORE 00002481: PUSH1 0x20 00002483: ADD 00002484: SWAP1 00002485: DUP2 00002486: MSTORE 00002487: PUSH1 0x20 00002489: ADD 0000248a: PUSH1 0x00 0000248c: KECCAK256 0000248d: PUSH1 0x03 0000248f: ADD 00002490: PUSH1 0x00 00002492: SWAP1 00002493: SLOAD 00002494: SWAP1 00002495: PUSH2 0x0100 00002498: EXP 00002499: SWAP1 0000249a: DIV 0000249b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024b0: AND 000024b1: SWAP1 000024b2: POP 000024b3: SWAP1 000024b4: JUMP 000024b5: JUMPDEST 000024b6: PUSH1 0x09 000024b8: SLOAD 000024b9: DUP2 000024ba: JUMP 000024bb: JUMPDEST 000024bc: PUSH1 0x00 000024be: DUP1 000024bf: CALLER 000024c0: SWAP1 000024c1: POP 000024c2: DUP3 000024c3: PUSH2 0x24d4 000024c6: JUMPI 000024c7: PUSH2 0x24cf 000024ca: DUP2 000024cb: PUSH2 0x1b92 000024ce: JUMP 000024cf: JUMPDEST 000024d0: PUSH2 0x251f 000024d3: JUMP 000024d4: JUMPDEST 000024d5: PUSH1 0x14 000024d7: PUSH1 0x00 000024d9: DUP3 000024da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024ef: AND 000024f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002505: AND 00002506: DUP2 00002507: MSTORE 00002508: PUSH1 0x20 0000250a: ADD 0000250b: SWAP1 0000250c: DUP2 0000250d: MSTORE 0000250e: PUSH1 0x20 00002510: ADD 00002511: PUSH1 0x00 00002513: KECCAK256 00002514: SLOAD 00002515: PUSH2 0x251d 00002518: DUP3 00002519: PUSH2 0x1b92 0000251c: JUMP 0000251d: JUMPDEST 0000251e: ADD 0000251f: JUMPDEST 00002520: SWAP2 00002521: POP 00002522: POP 00002523: SWAP2 00002524: SWAP1 00002525: POP 00002526: JUMP 00002527: JUMPDEST 00002528: PUSH1 0x00 0000252a: SELFBALANCE 0000252b: SWAP1 0000252c: POP 0000252d: SWAP1 0000252e: JUMP 0000252f: JUMPDEST 00002530: PUSH1 0x0a 00002532: SLOAD 00002533: DUP2 00002534: JUMP 00002535: JUMPDEST 00002536: PUSH1 0x00 00002538: PUSH1 0x13 0000253a: PUSH1 0x00 0000253c: DUP4 0000253d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002552: AND 00002553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002568: AND 00002569: DUP2 0000256a: MSTORE 0000256b: PUSH1 0x20 0000256d: ADD 0000256e: SWAP1 0000256f: DUP2 00002570: MSTORE 00002571: PUSH1 0x20 00002573: ADD 00002574: PUSH1 0x00 00002576: KECCAK256 00002577: SLOAD 00002578: SWAP1 00002579: POP 0000257a: SWAP2 0000257b: SWAP1 0000257c: POP 0000257d: JUMP 0000257e: JUMPDEST 0000257f: PUSH1 0x0f 00002581: SLOAD 00002582: DUP2 00002583: JUMP 00002584: JUMPDEST 00002585: PUSH1 0x00 00002587: PUSH1 0x18 00002589: PUSH1 0x00 0000258b: PUSH1 0x17 0000258d: PUSH1 0x00 0000258f: DUP6 00002590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025a5: AND 000025a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025bb: AND 000025bc: DUP2 000025bd: MSTORE 000025be: PUSH1 0x20 000025c0: ADD 000025c1: SWAP1 000025c2: DUP2 000025c3: MSTORE 000025c4: PUSH1 0x20 000025c6: ADD 000025c7: PUSH1 0x00 000025c9: KECCAK256 000025ca: PUSH1 0x02 000025cc: ADD 000025cd: SLOAD 000025ce: DUP2 000025cf: MSTORE 000025d0: PUSH1 0x20 000025d2: ADD 000025d3: SWAP1 000025d4: DUP2 000025d5: MSTORE 000025d6: PUSH1 0x20 000025d8: ADD 000025d9: PUSH1 0x00 000025db: KECCAK256 000025dc: PUSH1 0x00 000025de: SWAP1 000025df: SLOAD 000025e0: SWAP1 000025e1: PUSH2 0x0100 000025e4: EXP 000025e5: SWAP1 000025e6: DIV 000025e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025fc: AND 000025fd: SWAP1 000025fe: POP 000025ff: SWAP2 00002600: SWAP1 00002601: POP 00002602: JUMP 00002603: JUMPDEST 00002604: PUSH1 0x00 00002606: DUP1 00002607: PUSH1 0x19 00002609: SLOAD 0000260a: EQ 0000260b: ISZERO 0000260c: PUSH2 0x261d 0000260f: JUMPI 00002610: PUSH1 0x04 00002612: SLOAD 00002613: PUSH1 0x03 00002615: SLOAD 00002616: ADD 00002617: SWAP1 00002618: POP 00002619: PUSH2 0x2667 0000261c: JUMP 0000261d: JUMPDEST 0000261e: PUSH1 0x00 00002620: PUSH2 0x2630 00002623: PUSH8 0x0de0b6b3a7640000 0000262c: PUSH2 0x4181 0000262f: JUMP 00002630: JUMPDEST 00002631: SWAP1 00002632: POP 00002633: PUSH1 0x00 00002635: PUSH2 0x2650 00002638: DUP3 00002639: PUSH1 0x02 0000263b: PUSH1 0x01 0000263d: SWAP1 0000263e: SLOAD 0000263f: SWAP1 00002640: PUSH2 0x0100 00002643: EXP 00002644: SWAP1 00002645: DIV 00002646: PUSH1 0xff 00002648: AND 00002649: PUSH1 0xff 0000264b: AND 0000264c: PUSH2 0x1b48 0000264f: JUMP 00002650: JUMPDEST 00002651: SWAP1 00002652: POP 00002653: PUSH1 0x00 00002655: PUSH2 0x265e 00002658: DUP4 00002659: DUP4 0000265a: PUSH2 0x39ea 0000265d: JUMP 0000265e: JUMPDEST 0000265f: SWAP1 00002660: POP 00002661: DUP1 00002662: SWAP4 00002663: POP 00002664: POP 00002665: POP 00002666: POP 00002667: JUMPDEST 00002668: SWAP1 00002669: JUMP 0000266a: JUMPDEST 0000266b: PUSH1 0x08 0000266d: SLOAD 0000266e: DUP2 0000266f: JUMP 00002670: JUMPDEST 00002671: PUSH1 0x00 00002673: DUP1 00002674: CALLER 00002675: SWAP1 00002676: POP 00002677: PUSH2 0x267f 0000267a: DUP2 0000267b: PUSH2 0x2535 0000267e: JUMP 0000267f: JUMPDEST 00002680: SWAP2 00002681: POP 00002682: POP 00002683: SWAP1 00002684: JUMP 00002685: JUMPDEST 00002686: PUSH1 0x01 00002688: DUP1 00002689: SLOAD 0000268a: PUSH1 0x01 0000268c: DUP2 0000268d: PUSH1 0x01 0000268f: AND 00002690: ISZERO 00002691: PUSH2 0x0100 00002694: MUL 00002695: SUB 00002696: AND 00002697: PUSH1 0x02 00002699: SWAP1 0000269a: DIV 0000269b: DUP1 0000269c: PUSH1 0x1f 0000269e: ADD 0000269f: PUSH1 0x20 000026a1: DUP1 000026a2: SWAP2 000026a3: DIV 000026a4: MUL 000026a5: PUSH1 0x20 000026a7: ADD 000026a8: PUSH1 0x40 000026aa: MLOAD 000026ab: SWAP1 000026ac: DUP2 000026ad: ADD 000026ae: PUSH1 0x40 000026b0: MSTORE 000026b1: DUP1 000026b2: SWAP3 000026b3: SWAP2 000026b4: SWAP1 000026b5: DUP2 000026b6: DUP2 000026b7: MSTORE 000026b8: PUSH1 0x20 000026ba: ADD 000026bb: DUP3 000026bc: DUP1 000026bd: SLOAD 000026be: PUSH1 0x01 000026c0: DUP2 000026c1: PUSH1 0x01 000026c3: AND 000026c4: ISZERO 000026c5: PUSH2 0x0100 000026c8: MUL 000026c9: SUB 000026ca: AND 000026cb: PUSH1 0x02 000026cd: SWAP1 000026ce: DIV 000026cf: DUP1 000026d0: ISZERO 000026d1: PUSH2 0x271b 000026d4: JUMPI 000026d5: DUP1 000026d6: PUSH1 0x1f 000026d8: LT 000026d9: PUSH2 0x26f0 000026dc: JUMPI 000026dd: PUSH2 0x0100 000026e0: DUP1 000026e1: DUP4 000026e2: SLOAD 000026e3: DIV 000026e4: MUL 000026e5: DUP4 000026e6: MSTORE 000026e7: SWAP2 000026e8: PUSH1 0x20 000026ea: ADD 000026eb: SWAP2 000026ec: PUSH2 0x271b 000026ef: JUMP 000026f0: JUMPDEST 000026f1: DUP3 000026f2: ADD 000026f3: SWAP2 000026f4: SWAP1 000026f5: PUSH1 0x00 000026f7: MSTORE 000026f8: PUSH1 0x20 000026fa: PUSH1 0x00 000026fc: KECCAK256 000026fd: SWAP1 000026fe: JUMPDEST 000026ff: DUP2 00002700: SLOAD 00002701: DUP2 00002702: MSTORE 00002703: SWAP1 00002704: PUSH1 0x01 00002706: ADD 00002707: SWAP1 00002708: PUSH1 0x20 0000270a: ADD 0000270b: DUP1 0000270c: DUP4 0000270d: GT 0000270e: PUSH2 0x26fe 00002711: JUMPI 00002712: DUP3 00002713: SWAP1 00002714: SUB 00002715: PUSH1 0x1f 00002717: AND 00002718: DUP3 00002719: ADD 0000271a: SWAP2 0000271b: JUMPDEST 0000271c: POP 0000271d: POP 0000271e: POP 0000271f: POP 00002720: POP 00002721: DUP2 00002722: JUMP 00002723: JUMPDEST 00002724: PUSH1 0x18 00002726: PUSH1 0x20 00002728: MSTORE 00002729: DUP1 0000272a: PUSH1 0x00 0000272c: MSTORE 0000272d: PUSH1 0x40 0000272f: PUSH1 0x00 00002731: KECCAK256 00002732: PUSH1 0x00 00002734: SWAP2 00002735: POP 00002736: SLOAD 00002737: SWAP1 00002738: PUSH2 0x0100 0000273b: EXP 0000273c: SWAP1 0000273d: DIV 0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002753: AND 00002754: DUP2 00002755: JUMP 00002756: JUMPDEST 00002757: PUSH1 0x00 00002759: PUSH2 0x280b 0000275c: CALLER 0000275d: DUP5 0000275e: PUSH2 0x2806 00002761: DUP6 00002762: PUSH1 0x40 00002764: MLOAD 00002765: DUP1 00002766: PUSH1 0x60 00002768: ADD 00002769: PUSH1 0x40 0000276b: MSTORE 0000276c: DUP1 0000276d: PUSH1 0x25 0000276f: DUP2 00002770: MSTORE 00002771: PUSH1 0x20 00002773: ADD 00002774: PUSH2 0x43ee 00002777: PUSH1 0x25 00002779: SWAP2 0000277a: CODECOPY 0000277b: PUSH1 0x15 0000277d: PUSH1 0x00 0000277f: CALLER 00002780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002795: AND 00002796: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027ab: AND 000027ac: DUP2 000027ad: MSTORE 000027ae: PUSH1 0x20 000027b0: ADD 000027b1: SWAP1 000027b2: DUP2 000027b3: MSTORE 000027b4: PUSH1 0x20 000027b6: ADD 000027b7: PUSH1 0x00 000027b9: KECCAK256 000027ba: PUSH1 0x00 000027bc: DUP11 000027bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027d2: AND 000027d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e8: AND 000027e9: DUP2 000027ea: MSTORE 000027eb: PUSH1 0x20 000027ed: ADD 000027ee: SWAP1 000027ef: DUP2 000027f0: MSTORE 000027f1: PUSH1 0x20 000027f3: ADD 000027f4: PUSH1 0x00 000027f6: KECCAK256 000027f7: SLOAD 000027f8: PUSH2 0x4219 000027fb: SWAP1 000027fc: SWAP3 000027fd: SWAP2 000027fe: SWAP1 000027ff: PUSH4 0xffffffff 00002804: AND 00002805: JUMP 00002806: JUMPDEST 00002807: PUSH2 0x3f8a 0000280a: JUMP 0000280b: JUMPDEST 0000280c: PUSH1 0x01 0000280e: SWAP1 0000280f: POP 00002810: SWAP3 00002811: SWAP2 00002812: POP 00002813: POP 00002814: JUMP 00002815: JUMPDEST 00002816: PUSH1 0x17 00002818: PUSH1 0x20 0000281a: MSTORE 0000281b: DUP1 0000281c: PUSH1 0x00 0000281e: MSTORE 0000281f: PUSH1 0x40 00002821: PUSH1 0x00 00002823: KECCAK256 00002824: PUSH1 0x00 00002826: SWAP2 00002827: POP 00002828: SWAP1 00002829: POP 0000282a: DUP1 0000282b: PUSH1 0x00 0000282d: ADD 0000282e: PUSH1 0x00 00002830: SWAP1 00002831: SLOAD 00002832: SWAP1 00002833: PUSH2 0x0100 00002836: EXP 00002837: SWAP1 00002838: DIV 00002839: PUSH1 0xff 0000283b: AND 0000283c: SWAP1 0000283d: DUP1 0000283e: PUSH1 0x01 00002840: ADD 00002841: SLOAD 00002842: SWAP1 00002843: DUP1 00002844: PUSH1 0x02 00002846: ADD 00002847: SLOAD 00002848: SWAP1 00002849: DUP1 0000284a: PUSH1 0x03 0000284c: ADD 0000284d: PUSH1 0x00 0000284f: SWAP1 00002850: SLOAD 00002851: SWAP1 00002852: PUSH2 0x0100 00002855: EXP 00002856: SWAP1 00002857: DIV 00002858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000286d: AND 0000286e: SWAP1 0000286f: POP 00002870: DUP5 00002871: JUMP 00002872: JUMPDEST 00002873: PUSH1 0x00 00002875: DUP1 00002876: PUSH2 0x287d 00002879: PUSH2 0x2670 0000287c: JUMP 0000287d: JUMPDEST 0000287e: GT 0000287f: PUSH2 0x2887 00002882: JUMPI 00002883: PUSH1 0x00 00002885: DUP1 00002886: REVERT 00002887: JUMPDEST 00002888: PUSH1 0x00 0000288a: CALLER 0000288b: SWAP1 0000288c: POP 0000288d: PUSH1 0x13 0000288f: PUSH1 0x00 00002891: DUP3 00002892: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028a7: AND 000028a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028bd: AND 000028be: DUP2 000028bf: MSTORE 000028c0: PUSH1 0x20 000028c2: ADD 000028c3: SWAP1 000028c4: DUP2 000028c5: MSTORE 000028c6: PUSH1 0x20 000028c8: ADD 000028c9: PUSH1 0x00 000028cb: KECCAK256 000028cc: SLOAD 000028cd: DUP4 000028ce: GT 000028cf: ISZERO 000028d0: PUSH2 0x28d8 000028d3: JUMPI 000028d4: PUSH1 0x00 000028d6: DUP1 000028d7: REVERT 000028d8: JUMPDEST 000028d9: PUSH2 0x2921 000028dc: PUSH1 0x13 000028de: PUSH1 0x00 000028e0: DUP4 000028e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028f6: AND 000028f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000290c: AND 0000290d: DUP2 0000290e: MSTORE 0000290f: PUSH1 0x20 00002911: ADD 00002912: SWAP1 00002913: DUP2 00002914: MSTORE 00002915: PUSH1 0x20 00002917: ADD 00002918: PUSH1 0x00 0000291a: KECCAK256 0000291b: SLOAD 0000291c: DUP5 0000291d: PUSH2 0x3924 00002920: JUMP 00002921: JUMPDEST 00002922: PUSH1 0x13 00002924: PUSH1 0x00 00002926: DUP4 00002927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000293c: AND 0000293d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002952: AND 00002953: DUP2 00002954: MSTORE 00002955: PUSH1 0x20 00002957: ADD 00002958: SWAP1 00002959: DUP2 0000295a: MSTORE 0000295b: PUSH1 0x20 0000295d: ADD 0000295e: PUSH1 0x00 00002960: KECCAK256 00002961: DUP2 00002962: SWAP1 00002963: SSTORE 00002964: POP 00002965: PUSH2 0x29ad 00002968: PUSH1 0x13 0000296a: PUSH1 0x00 0000296c: DUP7 0000296d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002982: AND 00002983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002998: AND 00002999: DUP2 0000299a: MSTORE 0000299b: PUSH1 0x20 0000299d: ADD 0000299e: SWAP1 0000299f: DUP2 000029a0: MSTORE 000029a1: PUSH1 0x20 000029a3: ADD 000029a4: PUSH1 0x00 000029a6: KECCAK256 000029a7: SLOAD 000029a8: DUP5 000029a9: PUSH2 0x39ea 000029ac: JUMP 000029ad: JUMPDEST 000029ae: PUSH1 0x13 000029b0: PUSH1 0x00 000029b2: DUP7 000029b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029c8: AND 000029c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000029de: AND 000029df: DUP2 000029e0: MSTORE 000029e1: PUSH1 0x20 000029e3: ADD 000029e4: SWAP1 000029e5: DUP2 000029e6: MSTORE 000029e7: PUSH1 0x20 000029e9: ADD 000029ea: PUSH1 0x00 000029ec: KECCAK256 000029ed: DUP2 000029ee: SWAP1 000029ef: SSTORE 000029f0: POP 000029f1: DUP3 000029f2: PUSH1 0x1a 000029f4: SLOAD 000029f5: MUL 000029f6: PUSH1 0x16 000029f8: PUSH1 0x00 000029fa: DUP4 000029fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a10: AND 00002a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a26: AND 00002a27: DUP2 00002a28: MSTORE 00002a29: PUSH1 0x20 00002a2b: ADD 00002a2c: SWAP1 00002a2d: DUP2 00002a2e: MSTORE 00002a2f: PUSH1 0x20 00002a31: ADD 00002a32: PUSH1 0x00 00002a34: KECCAK256 00002a35: PUSH1 0x00 00002a37: DUP3 00002a38: DUP3 00002a39: SLOAD 00002a3a: SUB 00002a3b: SWAP3 00002a3c: POP 00002a3d: POP 00002a3e: DUP2 00002a3f: SWAP1 00002a40: SSTORE 00002a41: POP 00002a42: DUP3 00002a43: PUSH1 0x1a 00002a45: SLOAD 00002a46: MUL 00002a47: PUSH1 0x16 00002a49: PUSH1 0x00 00002a4b: DUP7 00002a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a61: AND 00002a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002a77: AND 00002a78: DUP2 00002a79: MSTORE 00002a7a: PUSH1 0x20 00002a7c: ADD 00002a7d: SWAP1 00002a7e: DUP2 00002a7f: MSTORE 00002a80: PUSH1 0x20 00002a82: ADD 00002a83: PUSH1 0x00 00002a85: KECCAK256 00002a86: PUSH1 0x00 00002a88: DUP3 00002a89: DUP3 00002a8a: SLOAD 00002a8b: ADD 00002a8c: SWAP3 00002a8d: POP 00002a8e: POP 00002a8f: DUP2 00002a90: SWAP1 00002a91: SSTORE 00002a92: POP 00002a93: DUP4 00002a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002aa9: AND 00002aaa: DUP2 00002aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ac0: AND 00002ac1: PUSH32 0x9ed053bb818ff08b8353cd46f78db1f0799f31c9e4458fdb425c10eccd2efc44 00002ae2: DUP6 00002ae3: TIMESTAMP 00002ae4: PUSH1 0x40 00002ae6: MLOAD 00002ae7: DUP1 00002ae8: DUP4 00002ae9: DUP2 00002aea: MSTORE 00002aeb: PUSH1 0x20 00002aed: ADD 00002aee: DUP3 00002aef: DUP2 00002af0: MSTORE 00002af1: PUSH1 0x20 00002af3: ADD 00002af4: SWAP3 00002af5: POP 00002af6: POP 00002af7: POP 00002af8: PUSH1 0x40 00002afa: MLOAD 00002afb: DUP1 00002afc: SWAP2 00002afd: SUB 00002afe: SWAP1 00002aff: LOG3 00002b00: PUSH1 0x01 00002b02: SWAP2 00002b03: POP 00002b04: POP 00002b05: SWAP3 00002b06: SWAP2 00002b07: POP 00002b08: POP 00002b09: JUMP 00002b0a: JUMPDEST 00002b0b: PUSH1 0x10 00002b0d: SLOAD 00002b0e: DUP2 00002b0f: JUMP 00002b10: JUMPDEST 00002b11: PUSH1 0x14 00002b13: PUSH1 0x20 00002b15: MSTORE 00002b16: DUP1 00002b17: PUSH1 0x00 00002b19: MSTORE 00002b1a: PUSH1 0x40 00002b1c: PUSH1 0x00 00002b1e: KECCAK256 00002b1f: PUSH1 0x00 00002b21: SWAP2 00002b22: POP 00002b23: SWAP1 00002b24: POP 00002b25: SLOAD 00002b26: DUP2 00002b27: JUMP 00002b28: JUMPDEST 00002b29: PUSH1 0x07 00002b2b: SLOAD 00002b2c: DUP2 00002b2d: JUMP 00002b2e: JUMPDEST 00002b2f: PUSH1 0x00 00002b31: PUSH1 0x15 00002b33: PUSH1 0x00 00002b35: DUP5 00002b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b4b: AND 00002b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b61: AND 00002b62: DUP2 00002b63: MSTORE 00002b64: PUSH1 0x20 00002b66: ADD 00002b67: SWAP1 00002b68: DUP2 00002b69: MSTORE 00002b6a: PUSH1 0x20 00002b6c: ADD 00002b6d: PUSH1 0x00 00002b6f: KECCAK256 00002b70: PUSH1 0x00 00002b72: DUP4 00002b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b88: AND 00002b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b9e: AND 00002b9f: DUP2 00002ba0: MSTORE 00002ba1: PUSH1 0x20 00002ba3: ADD 00002ba4: SWAP1 00002ba5: DUP2 00002ba6: MSTORE 00002ba7: PUSH1 0x20 00002ba9: ADD 00002baa: PUSH1 0x00 00002bac: KECCAK256 00002bad: SLOAD 00002bae: SWAP1 00002baf: POP 00002bb0: SWAP3 00002bb1: SWAP2 00002bb2: POP 00002bb3: POP 00002bb4: JUMP 00002bb5: JUMPDEST 00002bb6: PUSH1 0x0e 00002bb8: SLOAD 00002bb9: DUP2 00002bba: JUMP 00002bbb: JUMPDEST 00002bbc: PUSH1 0x16 00002bbe: PUSH1 0x20 00002bc0: MSTORE 00002bc1: DUP1 00002bc2: PUSH1 0x00 00002bc4: MSTORE 00002bc5: PUSH1 0x40 00002bc7: PUSH1 0x00 00002bc9: KECCAK256 00002bca: PUSH1 0x00 00002bcc: SWAP2 00002bcd: POP 00002bce: SWAP1 00002bcf: POP 00002bd0: SLOAD 00002bd1: DUP2 00002bd2: JUMP 00002bd3: JUMPDEST 00002bd4: PUSH1 0x00 00002bd6: PUSH2 0x2bdd 00002bd9: PUSH2 0x2670 00002bdc: JUMP 00002bdd: JUMPDEST 00002bde: GT 00002bdf: PUSH2 0x2be7 00002be2: JUMPI 00002be3: PUSH1 0x00 00002be5: DUP1 00002be6: REVERT 00002be7: JUMPDEST 00002be8: PUSH1 0x00 00002bea: CALLER 00002beb: SWAP1 00002bec: POP 00002bed: PUSH1 0x13 00002bef: PUSH1 0x00 00002bf1: DUP3 00002bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c07: AND 00002c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002c1d: AND 00002c1e: DUP2 00002c1f: MSTORE 00002c20: PUSH1 0x20 00002c22: ADD 00002c23: SWAP1 00002c24: DUP2 00002c25: MSTORE 00002c26: PUSH1 0x20 00002c28: ADD 00002c29: PUSH1 0x00 00002c2b: KECCAK256 00002c2c: SLOAD 00002c2d: DUP3 00002c2e: GT 00002c2f: ISZERO 00002c30: PUSH2 0x2c38 00002c33: JUMPI 00002c34: PUSH1 0x00 00002c36: DUP1 00002c37: REVERT 00002c38: JUMPDEST 00002c39: PUSH1 0x00 00002c3b: DUP3 00002c3c: SWAP1 00002c3d: POP 00002c3e: PUSH1 0x00 00002c40: PUSH2 0x2c48 00002c43: DUP3 00002c44: PUSH2 0x4181 00002c47: JUMP 00002c48: JUMPDEST 00002c49: SWAP1 00002c4a: POP 00002c4b: PUSH1 0x00 00002c4d: PUSH2 0x2c73 00002c50: PUSH1 0x64 00002c52: PUSH2 0x2c65 00002c55: PUSH1 0x05 00002c57: DUP6 00002c58: PUSH2 0x1ac2 00002c5b: SWAP1 00002c5c: SWAP2 00002c5d: SWAP1 00002c5e: PUSH4 0xffffffff 00002c63: AND 00002c64: JUMP 00002c65: JUMPDEST 00002c66: PUSH2 0x1b48 00002c69: SWAP1 00002c6a: SWAP2 00002c6b: SWAP1 00002c6c: PUSH4 0xffffffff 00002c71: AND 00002c72: JUMP 00002c73: JUMPDEST 00002c74: SWAP1 00002c75: POP 00002c76: PUSH2 0x2c81 00002c79: PUSH1 0x07 00002c7b: SLOAD 00002c7c: DUP3 00002c7d: PUSH2 0x39ea 00002c80: JUMP 00002c81: JUMPDEST 00002c82: PUSH1 0x07 00002c84: DUP2 00002c85: SWAP1 00002c86: SSTORE 00002c87: POP 00002c88: PUSH1 0x00 00002c8a: PUSH2 0x2c93 00002c8d: DUP4 00002c8e: DUP4 00002c8f: PUSH2 0x3924 00002c92: JUMP 00002c93: JUMPDEST 00002c94: SWAP1 00002c95: POP 00002c96: PUSH2 0x2ca1 00002c99: PUSH1 0x19 00002c9b: SLOAD 00002c9c: DUP6 00002c9d: PUSH2 0x3924 00002ca0: JUMP 00002ca1: JUMPDEST 00002ca2: PUSH1 0x19 00002ca4: DUP2 00002ca5: SWAP1 00002ca6: SSTORE 00002ca7: POP 00002ca8: PUSH2 0x2cf0 00002cab: PUSH1 0x13 00002cad: PUSH1 0x00 00002caf: DUP8 00002cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cc5: AND 00002cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002cdb: AND 00002cdc: DUP2 00002cdd: MSTORE 00002cde: PUSH1 0x20 00002ce0: ADD 00002ce1: SWAP1 00002ce2: DUP2 00002ce3: MSTORE 00002ce4: PUSH1 0x20 00002ce6: ADD 00002ce7: PUSH1 0x00 00002ce9: KECCAK256 00002cea: SLOAD 00002ceb: DUP6 00002cec: PUSH2 0x3924 00002cef: JUMP 00002cf0: JUMPDEST 00002cf1: PUSH1 0x13 00002cf3: PUSH1 0x00 00002cf5: DUP8 00002cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d0b: AND 00002d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d21: AND 00002d22: DUP2 00002d23: MSTORE 00002d24: PUSH1 0x20 00002d26: ADD 00002d27: SWAP1 00002d28: DUP2 00002d29: MSTORE 00002d2a: PUSH1 0x20 00002d2c: ADD 00002d2d: PUSH1 0x00 00002d2f: KECCAK256 00002d30: DUP2 00002d31: SWAP1 00002d32: SSTORE 00002d33: POP 00002d34: PUSH1 0x00 00002d36: PUSH1 0x05 00002d38: SLOAD 00002d39: DUP3 00002d3a: MUL 00002d3b: DUP6 00002d3c: PUSH1 0x1a 00002d3e: SLOAD 00002d3f: MUL 00002d40: ADD 00002d41: SWAP1 00002d42: POP 00002d43: DUP1 00002d44: PUSH1 0x16 00002d46: PUSH1 0x00 00002d48: DUP9 00002d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d5e: AND 00002d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d74: AND 00002d75: DUP2 00002d76: MSTORE 00002d77: PUSH1 0x20 00002d79: ADD 00002d7a: SWAP1 00002d7b: DUP2 00002d7c: MSTORE 00002d7d: PUSH1 0x20 00002d7f: ADD 00002d80: PUSH1 0x00 00002d82: KECCAK256 00002d83: PUSH1 0x00 00002d85: DUP3 00002d86: DUP3 00002d87: SLOAD 00002d88: SUB 00002d89: SWAP3 00002d8a: POP 00002d8b: POP 00002d8c: DUP2 00002d8d: SWAP1 00002d8e: SSTORE 00002d8f: POP 00002d90: PUSH1 0x05 00002d92: SLOAD 00002d93: DUP3 00002d94: MUL 00002d95: PUSH1 0x16 00002d97: PUSH1 0x00 00002d99: DUP9 00002d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002daf: AND 00002db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002dc5: AND 00002dc6: DUP2 00002dc7: MSTORE 00002dc8: PUSH1 0x20 00002dca: ADD 00002dcb: SWAP1 00002dcc: DUP2 00002dcd: MSTORE 00002dce: PUSH1 0x20 00002dd0: ADD 00002dd1: PUSH1 0x00 00002dd3: KECCAK256 00002dd4: PUSH1 0x00 00002dd6: DUP3 00002dd7: DUP3 00002dd8: SLOAD 00002dd9: ADD 00002dda: SWAP3 00002ddb: POP 00002ddc: POP 00002ddd: DUP2 00002dde: SWAP1 00002ddf: SSTORE 00002de0: POP 00002de1: DUP2 00002de2: PUSH1 0x12 00002de4: PUSH1 0x00 00002de6: DUP3 00002de7: DUP3 00002de8: SLOAD 00002de9: ADD 00002dea: SWAP3 00002deb: POP 00002dec: POP 00002ded: DUP2 00002dee: SWAP1 00002def: SSTORE 00002df0: POP 00002df1: DUP6 00002df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e07: AND 00002e08: PUSH2 0x08fc 00002e0b: DUP4 00002e0c: SWAP1 00002e0d: DUP2 00002e0e: ISZERO 00002e0f: MUL 00002e10: SWAP1 00002e11: PUSH1 0x40 00002e13: MLOAD 00002e14: PUSH1 0x00 00002e16: PUSH1 0x40 00002e18: MLOAD 00002e19: DUP1 00002e1a: DUP4 00002e1b: SUB 00002e1c: DUP2 00002e1d: DUP6 00002e1e: DUP9 00002e1f: DUP9 00002e20: CALL 00002e21: SWAP4 00002e22: POP 00002e23: POP 00002e24: POP 00002e25: POP 00002e26: ISZERO 00002e27: DUP1 00002e28: ISZERO 00002e29: PUSH2 0x2e36 00002e2c: JUMPI 00002e2d: RETURNDATASIZE 00002e2e: PUSH1 0x00 00002e30: DUP1 00002e31: RETURNDATACOPY 00002e32: RETURNDATASIZE 00002e33: PUSH1 0x00 00002e35: REVERT 00002e36: JUMPDEST 00002e37: POP 00002e38: PUSH1 0x06 00002e3a: SLOAD 00002e3b: DUP5 00002e3c: LT 00002e3d: ISZERO 00002e3e: PUSH2 0x2e54 00002e41: JUMPI 00002e42: PUSH2 0x2e4d 00002e45: PUSH1 0x06 00002e47: SLOAD 00002e48: DUP6 00002e49: PUSH2 0x3924 00002e4c: JUMP 00002e4d: JUMPDEST 00002e4e: PUSH1 0x06 00002e50: DUP2 00002e51: SWAP1 00002e52: SSTORE 00002e53: POP 00002e54: JUMPDEST 00002e55: DUP6 00002e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e6b: AND 00002e6c: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e 00002e8d: DUP7 00002e8e: DUP5 00002e8f: TIMESTAMP 00002e90: PUSH1 0x13 00002e92: PUSH1 0x00 00002e94: DUP13 00002e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eaa: AND 00002eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002ec0: AND 00002ec1: DUP2 00002ec2: MSTORE 00002ec3: PUSH1 0x20 00002ec5: ADD 00002ec6: SWAP1 00002ec7: DUP2 00002ec8: MSTORE 00002ec9: PUSH1 0x20 00002ecb: ADD 00002ecc: PUSH1 0x00 00002ece: KECCAK256 00002ecf: SLOAD 00002ed0: PUSH1 0x40 00002ed2: MLOAD 00002ed3: DUP1 00002ed4: DUP6 00002ed5: DUP2 00002ed6: MSTORE 00002ed7: PUSH1 0x20 00002ed9: ADD 00002eda: DUP5 00002edb: DUP2 00002edc: MSTORE 00002edd: PUSH1 0x20 00002edf: ADD 00002ee0: DUP4 00002ee1: DUP2 00002ee2: MSTORE 00002ee3: PUSH1 0x20 00002ee5: ADD 00002ee6: DUP3 00002ee7: DUP2 00002ee8: MSTORE 00002ee9: PUSH1 0x20 00002eeb: ADD 00002eec: SWAP5 00002eed: POP 00002eee: POP 00002eef: POP 00002ef0: POP 00002ef1: POP 00002ef2: PUSH1 0x40 00002ef4: MLOAD 00002ef5: DUP1 00002ef6: SWAP2 00002ef7: SUB 00002ef8: SWAP1 00002ef9: LOG2 00002efa: POP 00002efb: POP 00002efc: POP 00002efd: POP 00002efe: POP 00002eff: POP 00002f00: POP 00002f01: JUMP 00002f02: JUMPDEST 00002f03: PUSH1 0x00 00002f05: CALLER 00002f06: SWAP1 00002f07: POP 00002f08: PUSH1 0x00 00002f0a: PUSH1 0x13 00002f0c: PUSH1 0x00 00002f0e: DUP4 00002f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f24: AND 00002f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f3a: AND 00002f3b: DUP2 00002f3c: MSTORE 00002f3d: PUSH1 0x20 00002f3f: ADD 00002f40: SWAP1 00002f41: DUP2 00002f42: MSTORE 00002f43: PUSH1 0x20 00002f45: ADD 00002f46: PUSH1 0x00 00002f48: KECCAK256 00002f49: SLOAD 00002f4a: SWAP1 00002f4b: POP 00002f4c: PUSH1 0x00 00002f4e: DUP2 00002f4f: GT 00002f50: ISZERO 00002f51: PUSH2 0x2f5e 00002f54: JUMPI 00002f55: PUSH2 0x2f5d 00002f58: DUP2 00002f59: PUSH2 0x2bd3 00002f5c: JUMP 00002f5d: JUMPDEST 00002f5e: JUMPDEST 00002f5f: PUSH2 0x2f66 00002f62: PUSH2 0x21c4 00002f65: JUMP 00002f66: JUMPDEST 00002f67: POP 00002f68: POP 00002f69: JUMP 00002f6a: JUMPDEST 00002f6b: PUSH1 0x00 00002f6d: PUSH8 0x016345785d8a0000 00002f76: CALLVALUE 00002f77: LT 00002f78: ISZERO 00002f79: PUSH2 0x2fea 00002f7c: JUMPI 00002f7d: PUSH1 0x40 00002f7f: MLOAD 00002f80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002fa1: DUP2 00002fa2: MSTORE 00002fa3: PUSH1 0x04 00002fa5: ADD 00002fa6: DUP1 00002fa7: DUP1 00002fa8: PUSH1 0x20 00002faa: ADD 00002fab: DUP3 00002fac: DUP2 00002fad: SUB 00002fae: DUP3 00002faf: MSTORE 00002fb0: PUSH1 0x1c 00002fb2: DUP2 00002fb3: MSTORE 00002fb4: PUSH1 0x20 00002fb6: ADD 00002fb7: DUP1 00002fb8: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d2000000000 00002fd9: DUP2 00002fda: MSTORE 00002fdb: POP 00002fdc: PUSH1 0x20 00002fde: ADD 00002fdf: SWAP2 00002fe0: POP 00002fe1: POP 00002fe2: PUSH1 0x40 00002fe4: MLOAD 00002fe5: DUP1 00002fe6: SWAP2 00002fe7: SUB 00002fe8: SWAP1 00002fe9: REVERT 00002fea: JUMPDEST 00002feb: CALLER 00002fec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003001: AND 00003002: DUP3 00003003: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003018: AND 00003019: EQ 0000301a: ISZERO 0000301b: PUSH2 0x308c 0000301e: JUMPI 0000301f: PUSH1 0x40 00003021: MLOAD 00003022: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003043: DUP2 00003044: MSTORE 00003045: PUSH1 0x04 00003047: ADD 00003048: DUP1 00003049: DUP1 0000304a: PUSH1 0x20 0000304c: ADD 0000304d: DUP3 0000304e: DUP2 0000304f: SUB 00003050: DUP3 00003051: MSTORE 00003052: PUSH1 0x1c 00003054: DUP2 00003055: MSTORE 00003056: PUSH1 0x20 00003058: ADD 00003059: DUP1 0000305a: PUSH32 0x4552524f523a2063616e6e6f74206265636f6d65206f776e2072656600000000 0000307b: DUP2 0000307c: MSTORE 0000307d: POP 0000307e: PUSH1 0x20 00003080: ADD 00003081: SWAP2 00003082: POP 00003083: POP 00003084: PUSH1 0x40 00003086: MLOAD 00003087: DUP1 00003088: SWAP2 00003089: SUB 0000308a: SWAP1 0000308b: REVERT 0000308c: JUMPDEST 0000308d: PUSH1 0x17 0000308f: PUSH1 0x00 00003091: CALLER 00003092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030a7: AND 000030a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000030bd: AND 000030be: DUP2 000030bf: MSTORE 000030c0: PUSH1 0x20 000030c2: ADD 000030c3: SWAP1 000030c4: DUP2 000030c5: MSTORE 000030c6: PUSH1 0x20 000030c8: ADD 000030c9: PUSH1 0x00 000030cb: KECCAK256 000030cc: PUSH1 0x00 000030ce: ADD 000030cf: PUSH1 0x00 000030d1: SWAP1 000030d2: SLOAD 000030d3: SWAP1 000030d4: PUSH2 0x0100 000030d7: EXP 000030d8: SWAP1 000030d9: DIV 000030da: PUSH1 0xff 000030dc: AND 000030dd: PUSH2 0x30eb 000030e0: JUMPI 000030e1: PUSH2 0x30ea 000030e4: CALLER 000030e5: DUP4 000030e6: PUSH2 0x1581 000030e9: JUMP 000030ea: JUMPDEST 000030eb: JUMPDEST 000030ec: PUSH2 0x30f5 000030ef: CALLVALUE 000030f0: DUP4 000030f1: PUSH2 0x1738 000030f4: JUMP 000030f5: JUMPDEST 000030f6: POP 000030f7: PUSH2 0x311d 000030fa: PUSH1 0x64 000030fc: PUSH2 0x310f 000030ff: PUSH1 0x0c 00003101: CALLVALUE 00003102: PUSH2 0x1ac2 00003105: SWAP1 00003106: SWAP2 00003107: SWAP1 00003108: PUSH4 0xffffffff 0000310d: AND 0000310e: JUMP 0000310f: JUMPDEST 00003110: PUSH2 0x1b48 00003113: SWAP1 00003114: SWAP2 00003115: SWAP1 00003116: PUSH4 0xffffffff 0000311b: AND 0000311c: JUMP 0000311d: JUMPDEST 0000311e: PUSH1 0x07 00003120: PUSH1 0x00 00003122: DUP3 00003123: DUP3 00003124: SLOAD 00003125: ADD 00003126: SWAP3 00003127: POP 00003128: POP 00003129: DUP2 0000312a: SWAP1 0000312b: SSTORE 0000312c: POP 0000312d: PUSH2 0x3153 00003130: PUSH1 0x64 00003132: PUSH2 0x3145 00003135: PUSH1 0x02 00003137: CALLVALUE 00003138: PUSH2 0x1ac2 0000313b: SWAP1 0000313c: SWAP2 0000313d: SWAP1 0000313e: PUSH4 0xffffffff 00003143: AND 00003144: JUMP 00003145: JUMPDEST 00003146: PUSH2 0x1b48 00003149: SWAP1 0000314a: SWAP2 0000314b: SWAP1 0000314c: PUSH4 0xffffffff 00003151: AND 00003152: JUMP 00003153: JUMPDEST 00003154: PUSH1 0x08 00003156: PUSH1 0x00 00003158: DUP3 00003159: DUP3 0000315a: SLOAD 0000315b: ADD 0000315c: SWAP3 0000315d: POP 0000315e: POP 0000315f: DUP2 00003160: SWAP1 00003161: SSTORE 00003162: POP 00003163: PUSH2 0x3189 00003166: PUSH1 0x64 00003168: PUSH2 0x317b 0000316b: PUSH1 0x02 0000316d: CALLVALUE 0000316e: PUSH2 0x1ac2 00003171: SWAP1 00003172: SWAP2 00003173: SWAP1 00003174: PUSH4 0xffffffff 00003179: AND 0000317a: JUMP 0000317b: JUMPDEST 0000317c: PUSH2 0x1b48 0000317f: SWAP1 00003180: SWAP2 00003181: SWAP1 00003182: PUSH4 0xffffffff 00003187: AND 00003188: JUMP 00003189: JUMPDEST 0000318a: PUSH1 0x0a 0000318c: PUSH1 0x00 0000318e: DUP3 0000318f: DUP3 00003190: SLOAD 00003191: ADD 00003192: SWAP3 00003193: POP 00003194: POP 00003195: DUP2 00003196: SWAP1 00003197: SSTORE 00003198: POP 00003199: PUSH1 0x0d 0000319b: PUSH1 0x00 0000319d: SWAP1 0000319e: SLOAD 0000319f: SWAP1 000031a0: PUSH2 0x0100 000031a3: EXP 000031a4: SWAP1 000031a5: DIV 000031a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000031bb: AND 000031bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000031d1: AND 000031d2: PUSH2 0x08fc 000031d5: PUSH2 0x31fb 000031d8: PUSH1 0x64 000031da: PUSH2 0x31ed 000031dd: PUSH1 0x02 000031df: CALLVALUE 000031e0: PUSH2 0x1ac2 000031e3: SWAP1 000031e4: SWAP2 000031e5: SWAP1 000031e6: PUSH4 0xffffffff 000031eb: AND 000031ec: JUMP 000031ed: JUMPDEST 000031ee: PUSH2 0x1b48 000031f1: SWAP1 000031f2: SWAP2 000031f3: SWAP1 000031f4: PUSH4 0xffffffff 000031f9: AND 000031fa: JUMP 000031fb: JUMPDEST 000031fc: SWAP1 000031fd: DUP2 000031fe: ISZERO 000031ff: MUL 00003200: SWAP1 00003201: PUSH1 0x40 00003203: MLOAD 00003204: PUSH1 0x00 00003206: PUSH1 0x40 00003208: MLOAD 00003209: DUP1 0000320a: DUP4 0000320b: SUB 0000320c: DUP2 0000320d: DUP6 0000320e: DUP9 0000320f: DUP9 00003210: CALL 00003211: SWAP4 00003212: POP 00003213: POP 00003214: POP 00003215: POP 00003216: ISZERO 00003217: DUP1 00003218: ISZERO 00003219: PUSH2 0x3226 0000321c: JUMPI 0000321d: RETURNDATASIZE 0000321e: PUSH1 0x00 00003220: DUP1 00003221: RETURNDATACOPY 00003222: RETURNDATASIZE 00003223: PUSH1 0x00 00003225: REVERT 00003226: JUMPDEST 00003227: POP 00003228: PUSH1 0x0b 0000322a: PUSH1 0x00 0000322c: SWAP1 0000322d: SLOAD 0000322e: SWAP1 0000322f: PUSH2 0x0100 00003232: EXP 00003233: SWAP1 00003234: DIV 00003235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000324a: AND 0000324b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003260: AND 00003261: PUSH2 0x08fc 00003264: PUSH2 0x328a 00003267: PUSH1 0x64 00003269: PUSH2 0x327c 0000326c: PUSH1 0x01 0000326e: CALLVALUE 0000326f: PUSH2 0x1ac2 00003272: SWAP1 00003273: SWAP2 00003274: SWAP1 00003275: PUSH4 0xffffffff 0000327a: AND 0000327b: JUMP 0000327c: JUMPDEST 0000327d: PUSH2 0x1b48 00003280: SWAP1 00003281: SWAP2 00003282: SWAP1 00003283: PUSH4 0xffffffff 00003288: AND 00003289: JUMP 0000328a: JUMPDEST 0000328b: SWAP1 0000328c: DUP2 0000328d: ISZERO 0000328e: MUL 0000328f: SWAP1 00003290: PUSH1 0x40 00003292: MLOAD 00003293: PUSH1 0x00 00003295: PUSH1 0x40 00003297: MLOAD 00003298: DUP1 00003299: DUP4 0000329a: SUB 0000329b: DUP2 0000329c: DUP6 0000329d: DUP9 0000329e: DUP9 0000329f: CALL 000032a0: SWAP4 000032a1: POP 000032a2: POP 000032a3: POP 000032a4: POP 000032a5: ISZERO 000032a6: DUP1 000032a7: ISZERO 000032a8: PUSH2 0x32b5 000032ab: JUMPI 000032ac: RETURNDATASIZE 000032ad: PUSH1 0x00 000032af: DUP1 000032b0: RETURNDATACOPY 000032b1: RETURNDATASIZE 000032b2: PUSH1 0x00 000032b4: REVERT 000032b5: JUMPDEST 000032b6: POP 000032b7: PUSH1 0x0c 000032b9: PUSH1 0x00 000032bb: SWAP1 000032bc: SLOAD 000032bd: SWAP1 000032be: PUSH2 0x0100 000032c1: EXP 000032c2: SWAP1 000032c3: DIV 000032c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032d9: AND 000032da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032ef: AND 000032f0: PUSH2 0x08fc 000032f3: PUSH2 0x3319 000032f6: PUSH1 0x64 000032f8: PUSH2 0x330b 000032fb: PUSH1 0x01 000032fd: CALLVALUE 000032fe: PUSH2 0x1ac2 00003301: SWAP1 00003302: SWAP2 00003303: SWAP1 00003304: PUSH4 0xffffffff 00003309: AND 0000330a: JUMP 0000330b: JUMPDEST 0000330c: PUSH2 0x1b48 0000330f: SWAP1 00003310: SWAP2 00003311: SWAP1 00003312: PUSH4 0xffffffff 00003317: AND 00003318: JUMP 00003319: JUMPDEST 0000331a: SWAP1 0000331b: DUP2 0000331c: ISZERO 0000331d: MUL 0000331e: SWAP1 0000331f: PUSH1 0x40 00003321: MLOAD 00003322: PUSH1 0x00 00003324: PUSH1 0x40 00003326: MLOAD 00003327: DUP1 00003328: DUP4 00003329: SUB 0000332a: DUP2 0000332b: DUP6 0000332c: DUP9 0000332d: DUP9 0000332e: CALL 0000332f: SWAP4 00003330: POP 00003331: POP 00003332: POP 00003333: POP 00003334: ISZERO 00003335: DUP1 00003336: ISZERO 00003337: PUSH2 0x3344 0000333a: JUMPI 0000333b: RETURNDATASIZE 0000333c: PUSH1 0x00 0000333e: DUP1 0000333f: RETURNDATACOPY 00003340: RETURNDATASIZE 00003341: PUSH1 0x00 00003343: REVERT 00003344: JUMPDEST 00003345: POP 00003346: CALLVALUE 00003347: PUSH1 0x11 00003349: PUSH1 0x00 0000334b: DUP3 0000334c: DUP3 0000334d: SLOAD 0000334e: ADD 0000334f: SWAP3 00003350: POP 00003351: POP 00003352: DUP2 00003353: SWAP1 00003354: SSTORE 00003355: POP 00003356: SWAP2 00003357: SWAP1 00003358: POP 00003359: JUMP 0000335a: JUMPDEST 0000335b: PUSH1 0x00 0000335d: DUP1 0000335e: CALLER 0000335f: SWAP1 00003360: POP 00003361: PUSH1 0x02 00003363: PUSH1 0x00 00003365: SWAP1 00003366: SLOAD 00003367: SWAP1 00003368: PUSH2 0x0100 0000336b: EXP 0000336c: SWAP1 0000336d: DIV 0000336e: PUSH1 0xff 00003370: AND 00003371: PUSH1 0xff 00003373: AND 00003374: PUSH1 0x0a 00003376: EXP 00003377: PUSH2 0x07d0 0000337a: MUL 0000337b: PUSH1 0x13 0000337d: PUSH1 0x00 0000337f: DUP4 00003380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003395: AND 00003396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033ab: AND 000033ac: DUP2 000033ad: MSTORE 000033ae: PUSH1 0x20 000033b0: ADD 000033b1: SWAP1 000033b2: DUP2 000033b3: MSTORE 000033b4: PUSH1 0x20 000033b6: ADD 000033b7: PUSH1 0x00 000033b9: KECCAK256 000033ba: SLOAD 000033bb: LT 000033bc: PUSH2 0x3464 000033bf: JUMPI 000033c0: PUSH1 0x05 000033c2: PUSH1 0x0e 000033c4: PUSH1 0x05 000033c6: SLOAD 000033c7: PUSH1 0x16 000033c9: PUSH1 0x00 000033cb: DUP6 000033cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033e1: AND 000033e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000033f7: AND 000033f8: DUP2 000033f9: MSTORE 000033fa: PUSH1 0x20 000033fc: ADD 000033fd: SWAP1 000033fe: DUP2 000033ff: MSTORE 00003400: PUSH1 0x20 00003402: ADD 00003403: PUSH1 0x00 00003405: KECCAK256 00003406: SLOAD 00003407: PUSH1 0x13 00003409: PUSH1 0x00 0000340b: DUP7 0000340c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003421: AND 00003422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003437: AND 00003438: DUP2 00003439: MSTORE 0000343a: PUSH1 0x20 0000343c: ADD 0000343d: SWAP1 0000343e: DUP2 0000343f: MSTORE 00003440: PUSH1 0x20 00003442: ADD 00003443: PUSH1 0x00 00003445: KECCAK256 00003446: SLOAD 00003447: PUSH1 0x1b 00003449: SLOAD 0000344a: MUL 0000344b: SUB 0000344c: DUP2 0000344d: PUSH2 0x3452 00003450: JUMPI 00003451: INVALID 00003452: JUMPDEST 00003453: DIV 00003454: MUL 00003455: DUP2 00003456: PUSH2 0x345b 00003459: JUMPI 0000345a: INVALID 0000345b: JUMPDEST 0000345c: DIV 0000345d: SWAP2 0000345e: POP 0000345f: POP 00003460: PUSH2 0x346a 00003463: JUMP 00003464: JUMPDEST 00003465: PUSH1 0x00 00003467: SWAP2 00003468: POP 00003469: POP 0000346a: JUMPDEST 0000346b: SWAP1 0000346c: JUMP 0000346d: JUMPDEST 0000346e: PUSH1 0x00 00003470: PUSH2 0x3479 00003473: PUSH1 0x01 00003475: PUSH2 0x24bb 00003478: JUMP 00003479: JUMPDEST 0000347a: GT 0000347b: PUSH2 0x3483 0000347e: JUMPI 0000347f: PUSH1 0x00 00003481: DUP1 00003482: REVERT 00003483: JUMPDEST 00003484: PUSH1 0x00 00003486: CALLER 00003487: SWAP1 00003488: POP 00003489: PUSH1 0x00 0000348b: PUSH2 0x3494 0000348e: PUSH1 0x00 00003490: PUSH2 0x24bb 00003493: JUMP 00003494: JUMPDEST 00003495: SWAP1 00003496: POP 00003497: PUSH1 0x00 00003499: PUSH2 0x34a0 0000349c: PUSH2 0x335a 0000349f: JUMP 000034a0: JUMPDEST 000034a1: SWAP1 000034a2: POP 000034a3: PUSH1 0x00 000034a5: DUP2 000034a6: GT 000034a7: ISZERO 000034a8: PUSH2 0x3523 000034ab: JUMPI 000034ac: DUP3 000034ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034c2: AND 000034c3: PUSH2 0x08fc 000034c6: DUP3 000034c7: SWAP1 000034c8: DUP2 000034c9: ISZERO 000034ca: MUL 000034cb: SWAP1 000034cc: PUSH1 0x40 000034ce: MLOAD 000034cf: PUSH1 0x00 000034d1: PUSH1 0x40 000034d3: MLOAD 000034d4: DUP1 000034d5: DUP4 000034d6: SUB 000034d7: DUP2 000034d8: DUP6 000034d9: DUP9 000034da: DUP9 000034db: CALL 000034dc: SWAP4 000034dd: POP 000034de: POP 000034df: POP 000034e0: POP 000034e1: ISZERO 000034e2: DUP1 000034e3: ISZERO 000034e4: PUSH2 0x34f1 000034e7: JUMPI 000034e8: RETURNDATASIZE 000034e9: PUSH1 0x00 000034eb: DUP1 000034ec: RETURNDATACOPY 000034ed: RETURNDATASIZE 000034ee: PUSH1 0x00 000034f0: REVERT 000034f1: JUMPDEST 000034f2: POP 000034f3: DUP1 000034f4: PUSH1 0x07 000034f6: PUSH1 0x00 000034f8: DUP3 000034f9: DUP3 000034fa: SLOAD 000034fb: SUB 000034fc: SWAP3 000034fd: POP 000034fe: POP 000034ff: DUP2 00003500: SWAP1 00003501: SSTORE 00003502: POP 00003503: DUP1 00003504: PUSH1 0x10 00003506: PUSH1 0x00 00003508: DUP3 00003509: DUP3 0000350a: SLOAD 0000350b: ADD 0000350c: SWAP3 0000350d: POP 0000350e: POP 0000350f: DUP2 00003510: SWAP1 00003511: SSTORE 00003512: POP 00003513: DUP1 00003514: PUSH1 0x12 00003516: PUSH1 0x00 00003518: DUP3 00003519: DUP3 0000351a: SLOAD 0000351b: ADD 0000351c: SWAP3 0000351d: POP 0000351e: POP 0000351f: DUP2 00003520: SWAP1 00003521: SSTORE 00003522: POP 00003523: JUMPDEST 00003524: PUSH1 0x05 00003526: SLOAD 00003527: DUP3 00003528: MUL 00003529: PUSH1 0x16 0000352b: PUSH1 0x00 0000352d: DUP6 0000352e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003543: AND 00003544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003559: AND 0000355a: DUP2 0000355b: MSTORE 0000355c: PUSH1 0x20 0000355e: ADD 0000355f: SWAP1 00003560: DUP2 00003561: MSTORE 00003562: PUSH1 0x20 00003564: ADD 00003565: PUSH1 0x00 00003567: KECCAK256 00003568: PUSH1 0x00 0000356a: DUP3 0000356b: DUP3 0000356c: SLOAD 0000356d: ADD 0000356e: SWAP3 0000356f: POP 00003570: POP 00003571: DUP2 00003572: SWAP1 00003573: SSTORE 00003574: POP 00003575: PUSH1 0x14 00003577: PUSH1 0x00 00003579: DUP5 0000357a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000358f: AND 00003590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035a5: AND 000035a6: DUP2 000035a7: MSTORE 000035a8: PUSH1 0x20 000035aa: ADD 000035ab: SWAP1 000035ac: DUP2 000035ad: MSTORE 000035ae: PUSH1 0x20 000035b0: ADD 000035b1: PUSH1 0x00 000035b3: KECCAK256 000035b4: SLOAD 000035b5: DUP3 000035b6: ADD 000035b7: SWAP2 000035b8: POP 000035b9: PUSH1 0x00 000035bb: PUSH1 0x14 000035bd: PUSH1 0x00 000035bf: DUP6 000035c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035d5: AND 000035d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035eb: AND 000035ec: DUP2 000035ed: MSTORE 000035ee: PUSH1 0x20 000035f0: ADD 000035f1: SWAP1 000035f2: DUP2 000035f3: MSTORE 000035f4: PUSH1 0x20 000035f6: ADD 000035f7: PUSH1 0x00 000035f9: KECCAK256 000035fa: DUP2 000035fb: SWAP1 000035fc: SSTORE 000035fd: POP 000035fe: PUSH1 0x00 00003600: PUSH1 0x17 00003602: PUSH1 0x00 00003604: DUP6 00003605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000361a: AND 0000361b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003630: AND 00003631: DUP2 00003632: MSTORE 00003633: PUSH1 0x20 00003635: ADD 00003636: SWAP1 00003637: DUP2 00003638: MSTORE 00003639: PUSH1 0x20 0000363b: ADD 0000363c: PUSH1 0x00 0000363e: KECCAK256 0000363f: PUSH1 0x03 00003641: ADD 00003642: PUSH1 0x00 00003644: SWAP1 00003645: SLOAD 00003646: SWAP1 00003647: PUSH2 0x0100 0000364a: EXP 0000364b: SWAP1 0000364c: DIV 0000364d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003662: AND 00003663: SWAP1 00003664: POP 00003665: PUSH1 0x00 00003667: PUSH2 0x3670 0000366a: DUP5 0000366b: DUP4 0000366c: PUSH2 0x1738 0000366f: JUMP 00003670: JUMPDEST 00003671: SWAP1 00003672: POP 00003673: PUSH2 0x3699 00003676: PUSH1 0x64 00003678: PUSH2 0x368b 0000367b: PUSH1 0x0c 0000367d: DUP8 0000367e: PUSH2 0x1ac2 00003681: SWAP1 00003682: SWAP2 00003683: SWAP1 00003684: PUSH4 0xffffffff 00003689: AND 0000368a: JUMP 0000368b: JUMPDEST 0000368c: PUSH2 0x1b48 0000368f: SWAP1 00003690: SWAP2 00003691: SWAP1 00003692: PUSH4 0xffffffff 00003697: AND 00003698: JUMP 00003699: JUMPDEST 0000369a: PUSH1 0x07 0000369c: PUSH1 0x00 0000369e: DUP3 0000369f: DUP3 000036a0: SLOAD 000036a1: ADD 000036a2: SWAP3 000036a3: POP 000036a4: POP 000036a5: DUP2 000036a6: SWAP1 000036a7: SSTORE 000036a8: POP 000036a9: PUSH2 0x36cf 000036ac: PUSH1 0x64 000036ae: PUSH2 0x36c1 000036b1: PUSH1 0x02 000036b3: DUP8 000036b4: PUSH2 0x1ac2 000036b7: SWAP1 000036b8: SWAP2 000036b9: SWAP1 000036ba: PUSH4 0xffffffff 000036bf: AND 000036c0: JUMP 000036c1: JUMPDEST 000036c2: PUSH2 0x1b48 000036c5: SWAP1 000036c6: SWAP2 000036c7: SWAP1 000036c8: PUSH4 0xffffffff 000036cd: AND 000036ce: JUMP 000036cf: JUMPDEST 000036d0: PUSH1 0x08 000036d2: PUSH1 0x00 000036d4: DUP3 000036d5: DUP3 000036d6: SLOAD 000036d7: ADD 000036d8: SWAP3 000036d9: POP 000036da: POP 000036db: DUP2 000036dc: SWAP1 000036dd: SSTORE 000036de: POP 000036df: PUSH2 0x3705 000036e2: PUSH1 0x64 000036e4: PUSH2 0x36f7 000036e7: PUSH1 0x02 000036e9: DUP8 000036ea: PUSH2 0x1ac2 000036ed: SWAP1 000036ee: SWAP2 000036ef: SWAP1 000036f0: PUSH4 0xffffffff 000036f5: AND 000036f6: JUMP 000036f7: JUMPDEST 000036f8: PUSH2 0x1b48 000036fb: SWAP1 000036fc: SWAP2 000036fd: SWAP1 000036fe: PUSH4 0xffffffff 00003703: AND 00003704: JUMP 00003705: JUMPDEST 00003706: PUSH1 0x0a 00003708: PUSH1 0x00 0000370a: DUP3 0000370b: DUP3 0000370c: SLOAD 0000370d: ADD 0000370e: SWAP3 0000370f: POP 00003710: POP 00003711: DUP2 00003712: SWAP1 00003713: SSTORE 00003714: POP 00003715: PUSH1 0x0d 00003717: PUSH1 0x00 00003719: SWAP1 0000371a: SLOAD 0000371b: SWAP1 0000371c: PUSH2 0x0100 0000371f: EXP 00003720: SWAP1 00003721: DIV 00003722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003737: AND 00003738: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000374d: AND 0000374e: PUSH2 0x08fc 00003751: PUSH2 0x3777 00003754: PUSH1 0x64 00003756: PUSH2 0x3769 00003759: PUSH1 0x02 0000375b: DUP10 0000375c: PUSH2 0x1ac2 0000375f: SWAP1 00003760: SWAP2 00003761: SWAP1 00003762: PUSH4 0xffffffff 00003767: AND 00003768: JUMP 00003769: JUMPDEST 0000376a: PUSH2 0x1b48 0000376d: SWAP1 0000376e: SWAP2 0000376f: SWAP1 00003770: PUSH4 0xffffffff 00003775: AND 00003776: JUMP 00003777: JUMPDEST 00003778: SWAP1 00003779: DUP2 0000377a: ISZERO 0000377b: MUL 0000377c: SWAP1 0000377d: PUSH1 0x40 0000377f: MLOAD 00003780: PUSH1 0x00 00003782: PUSH1 0x40 00003784: MLOAD 00003785: DUP1 00003786: DUP4 00003787: SUB 00003788: DUP2 00003789: DUP6 0000378a: DUP9 0000378b: DUP9 0000378c: CALL 0000378d: SWAP4 0000378e: POP 0000378f: POP 00003790: POP 00003791: POP 00003792: ISZERO 00003793: DUP1 00003794: ISZERO 00003795: PUSH2 0x37a2 00003798: JUMPI 00003799: RETURNDATASIZE 0000379a: PUSH1 0x00 0000379c: DUP1 0000379d: RETURNDATACOPY 0000379e: RETURNDATASIZE 0000379f: PUSH1 0x00 000037a1: REVERT 000037a2: JUMPDEST 000037a3: POP 000037a4: PUSH1 0x0b 000037a6: PUSH1 0x00 000037a8: SWAP1 000037a9: SLOAD 000037aa: SWAP1 000037ab: PUSH2 0x0100 000037ae: EXP 000037af: SWAP1 000037b0: DIV 000037b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000037c6: AND 000037c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000037dc: AND 000037dd: PUSH2 0x08fc 000037e0: PUSH2 0x3806 000037e3: PUSH1 0x64 000037e5: PUSH2 0x37f8 000037e8: PUSH1 0x01 000037ea: DUP10 000037eb: PUSH2 0x1ac2 000037ee: SWAP1 000037ef: SWAP2 000037f0: SWAP1 000037f1: PUSH4 0xffffffff 000037f6: AND 000037f7: JUMP 000037f8: JUMPDEST 000037f9: PUSH2 0x1b48 000037fc: SWAP1 000037fd: SWAP2 000037fe: SWAP1 000037ff: PUSH4 0xffffffff 00003804: AND 00003805: JUMP 00003806: JUMPDEST 00003807: SWAP1 00003808: DUP2 00003809: ISZERO 0000380a: MUL 0000380b: SWAP1 0000380c: PUSH1 0x40 0000380e: MLOAD 0000380f: PUSH1 0x00 00003811: PUSH1 0x40 00003813: MLOAD 00003814: DUP1 00003815: DUP4 00003816: SUB 00003817: DUP2 00003818: DUP6 00003819: DUP9 0000381a: DUP9 0000381b: CALL 0000381c: SWAP4 0000381d: POP 0000381e: POP 0000381f: POP 00003820: POP 00003821: ISZERO 00003822: DUP1 00003823: ISZERO 00003824: PUSH2 0x3831 00003827: JUMPI 00003828: RETURNDATASIZE 00003829: PUSH1 0x00 0000382b: DUP1 0000382c: RETURNDATACOPY 0000382d: RETURNDATASIZE 0000382e: PUSH1 0x00 00003830: REVERT 00003831: JUMPDEST 00003832: POP 00003833: PUSH1 0x0c 00003835: PUSH1 0x00 00003837: SWAP1 00003838: SLOAD 00003839: SWAP1 0000383a: PUSH2 0x0100 0000383d: EXP 0000383e: SWAP1 0000383f: DIV 00003840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003855: AND 00003856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000386b: AND 0000386c: PUSH2 0x08fc 0000386f: PUSH2 0x3895 00003872: PUSH1 0x64 00003874: PUSH2 0x3887 00003877: PUSH1 0x01 00003879: DUP10 0000387a: PUSH2 0x1ac2 0000387d: SWAP1 0000387e: SWAP2 0000387f: SWAP1 00003880: PUSH4 0xffffffff 00003885: AND 00003886: JUMP 00003887: JUMPDEST 00003888: PUSH2 0x1b48 0000388b: SWAP1 0000388c: SWAP2 0000388d: SWAP1 0000388e: PUSH4 0xffffffff 00003893: AND 00003894: JUMP 00003895: JUMPDEST 00003896: SWAP1 00003897: DUP2 00003898: ISZERO 00003899: MUL 0000389a: SWAP1 0000389b: PUSH1 0x40 0000389d: MLOAD 0000389e: PUSH1 0x00 000038a0: PUSH1 0x40 000038a2: MLOAD 000038a3: DUP1 000038a4: DUP4 000038a5: SUB 000038a6: DUP2 000038a7: DUP6 000038a8: DUP9 000038a9: DUP9 000038aa: CALL 000038ab: SWAP4 000038ac: POP 000038ad: POP 000038ae: POP 000038af: POP 000038b0: ISZERO 000038b1: DUP1 000038b2: ISZERO 000038b3: PUSH2 0x38c0 000038b6: JUMPI 000038b7: RETURNDATASIZE 000038b8: PUSH1 0x00 000038ba: DUP1 000038bb: RETURNDATACOPY 000038bc: RETURNDATASIZE 000038bd: PUSH1 0x00 000038bf: REVERT 000038c0: JUMPDEST 000038c1: POP 000038c2: DUP5 000038c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000038d8: AND 000038d9: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000038fa: DUP6 000038fb: DUP4 000038fc: PUSH1 0x40 000038fe: MLOAD 000038ff: DUP1 00003900: DUP4 00003901: DUP2 00003902: MSTORE 00003903: PUSH1 0x20 00003905: ADD 00003906: DUP3 00003907: DUP2 00003908: MSTORE 00003909: PUSH1 0x20 0000390b: ADD 0000390c: SWAP3 0000390d: POP 0000390e: POP 0000390f: POP 00003910: PUSH1 0x40 00003912: MLOAD 00003913: DUP1 00003914: SWAP2 00003915: SUB 00003916: SWAP1 00003917: LOG2 00003918: POP 00003919: POP 0000391a: POP 0000391b: POP 0000391c: POP 0000391d: JUMP 0000391e: JUMPDEST 0000391f: PUSH1 0x11 00003921: SLOAD 00003922: DUP2 00003923: JUMP 00003924: JUMPDEST 00003925: PUSH1 0x00 00003927: PUSH2 0x3966 0000392a: DUP4 0000392b: DUP4 0000392c: PUSH1 0x40 0000392e: MLOAD 0000392f: DUP1 00003930: PUSH1 0x40 00003932: ADD 00003933: PUSH1 0x40 00003935: MSTORE 00003936: DUP1 00003937: PUSH1 0x1e 00003939: DUP2 0000393a: MSTORE 0000393b: PUSH1 0x20 0000393d: ADD 0000393e: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000395f: DUP2 00003960: MSTORE 00003961: POP 00003962: PUSH2 0x4219 00003965: JUMP 00003966: JUMPDEST 00003967: SWAP1 00003968: POP 00003969: SWAP3 0000396a: SWAP2 0000396b: POP 0000396c: POP 0000396d: JUMP 0000396e: JUMPDEST 0000396f: PUSH1 0x00 00003971: DUP1 00003972: PUSH8 0x0de0b6b3a7640000 0000397b: PUSH1 0x03 0000397d: SLOAD 0000397e: MUL 0000397f: SWAP1 00003980: POP 00003981: PUSH1 0x00 00003983: PUSH1 0x19 00003985: SLOAD 00003986: PUSH1 0x04 00003988: SLOAD 00003989: PUSH2 0x39d5 0000398c: PUSH2 0x39cf 0000398f: PUSH1 0x19 00003991: SLOAD 00003992: DUP7 00003993: PUSH1 0x04 00003995: SLOAD 00003996: PUSH1 0x02 00003998: MUL 00003999: MUL 0000399a: MUL 0000399b: PUSH1 0x02 0000399d: PUSH1 0x19 0000399f: SLOAD 000039a0: EXP 000039a1: PUSH1 0x02 000039a3: PUSH1 0x04 000039a5: SLOAD 000039a6: EXP 000039a7: MUL 000039a8: PUSH8 0x0de0b6b3a7640000 000039b1: DUP11 000039b2: MUL 000039b3: PUSH8 0x0de0b6b3a7640000 000039bc: PUSH1 0x04 000039be: SLOAD 000039bf: MUL 000039c0: PUSH1 0x02 000039c2: MUL 000039c3: MUL 000039c4: PUSH1 0x02 000039c6: DUP10 000039c7: EXP 000039c8: ADD 000039c9: ADD 000039ca: ADD 000039cb: PUSH2 0x42d9 000039ce: JUMP 000039cf: JUMPDEST 000039d0: DUP6 000039d1: PUSH2 0x3924 000039d4: JUMP 000039d5: JUMPDEST 000039d6: DUP2 000039d7: PUSH2 0x39dc 000039da: JUMPI 000039db: INVALID 000039dc: JUMPDEST 000039dd: DIV 000039de: SUB 000039df: SWAP1 000039e0: POP 000039e1: DUP1 000039e2: SWAP3 000039e3: POP 000039e4: POP 000039e5: POP 000039e6: SWAP2 000039e7: SWAP1 000039e8: POP 000039e9: JUMP 000039ea: JUMPDEST 000039eb: PUSH1 0x00 000039ed: DUP1 000039ee: DUP3 000039ef: DUP5 000039f0: ADD 000039f1: SWAP1 000039f2: POP 000039f3: DUP4 000039f4: DUP2 000039f5: LT 000039f6: ISZERO 000039f7: PUSH2 0x3a68 000039fa: JUMPI 000039fb: PUSH1 0x40 000039fd: MLOAD 000039fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003a1f: DUP2 00003a20: MSTORE 00003a21: PUSH1 0x04 00003a23: ADD 00003a24: DUP1 00003a25: DUP1 00003a26: PUSH1 0x20 00003a28: ADD 00003a29: DUP3 00003a2a: DUP2 00003a2b: SUB 00003a2c: DUP3 00003a2d: MSTORE 00003a2e: PUSH1 0x1b 00003a30: DUP2 00003a31: MSTORE 00003a32: PUSH1 0x20 00003a34: ADD 00003a35: DUP1 00003a36: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00003a57: DUP2 00003a58: MSTORE 00003a59: POP 00003a5a: PUSH1 0x20 00003a5c: ADD 00003a5d: SWAP2 00003a5e: POP 00003a5f: POP 00003a60: PUSH1 0x40 00003a62: MLOAD 00003a63: DUP1 00003a64: SWAP2 00003a65: SUB 00003a66: SWAP1 00003a67: REVERT 00003a68: JUMPDEST 00003a69: DUP1 00003a6a: SWAP2 00003a6b: POP 00003a6c: POP 00003a6d: SWAP3 00003a6e: SWAP2 00003a6f: POP 00003a70: POP 00003a71: JUMP 00003a72: JUMPDEST 00003a73: PUSH1 0x00 00003a75: PUSH2 0x3a9b 00003a78: PUSH1 0x64 00003a7a: PUSH2 0x3a8d 00003a7d: PUSH1 0x0a 00003a7f: DUP6 00003a80: PUSH2 0x1ac2 00003a83: SWAP1 00003a84: SWAP2 00003a85: SWAP1 00003a86: PUSH4 0xffffffff 00003a8b: AND 00003a8c: JUMP 00003a8d: JUMPDEST 00003a8e: PUSH2 0x1b48 00003a91: SWAP1 00003a92: SWAP2 00003a93: SWAP1 00003a94: PUSH4 0xffffffff 00003a99: AND 00003a9a: JUMP 00003a9b: JUMPDEST 00003a9c: SWAP1 00003a9d: POP 00003a9e: PUSH1 0x00 00003aa0: PUSH2 0x3ac6 00003aa3: PUSH1 0x64 00003aa5: PUSH2 0x3ab8 00003aa8: PUSH1 0x07 00003aaa: DUP7 00003aab: PUSH2 0x1ac2 00003aae: SWAP1 00003aaf: SWAP2 00003ab0: SWAP1 00003ab1: PUSH4 0xffffffff 00003ab6: AND 00003ab7: JUMP 00003ab8: JUMPDEST 00003ab9: PUSH2 0x1b48 00003abc: SWAP1 00003abd: SWAP2 00003abe: SWAP1 00003abf: PUSH4 0xffffffff 00003ac4: AND 00003ac5: JUMP 00003ac6: JUMPDEST 00003ac7: SWAP1 00003ac8: POP 00003ac9: PUSH1 0x00 00003acb: PUSH2 0x3af1 00003ace: PUSH1 0x64 00003ad0: PUSH2 0x3ae3 00003ad3: PUSH1 0x03 00003ad5: DUP8 00003ad6: PUSH2 0x1ac2 00003ad9: SWAP1 00003ada: SWAP2 00003adb: SWAP1 00003adc: PUSH4 0xffffffff 00003ae1: AND 00003ae2: JUMP 00003ae3: JUMPDEST 00003ae4: PUSH2 0x1b48 00003ae7: SWAP1 00003ae8: SWAP2 00003ae9: SWAP1 00003aea: PUSH4 0xffffffff 00003aef: AND 00003af0: JUMP 00003af1: JUMPDEST 00003af2: SWAP1 00003af3: POP 00003af4: PUSH1 0x00 00003af6: DUP6 00003af7: SWAP1 00003af8: POP 00003af9: PUSH1 0x00 00003afb: PUSH1 0x17 00003afd: PUSH1 0x00 00003aff: DUP9 00003b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b15: AND 00003b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b2b: AND 00003b2c: DUP2 00003b2d: MSTORE 00003b2e: PUSH1 0x20 00003b30: ADD 00003b31: SWAP1 00003b32: DUP2 00003b33: MSTORE 00003b34: PUSH1 0x20 00003b36: ADD 00003b37: PUSH1 0x00 00003b39: KECCAK256 00003b3a: PUSH1 0x03 00003b3c: ADD 00003b3d: PUSH1 0x00 00003b3f: SWAP1 00003b40: SLOAD 00003b41: SWAP1 00003b42: PUSH2 0x0100 00003b45: EXP 00003b46: SWAP1 00003b47: DIV 00003b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b5d: AND 00003b5e: SWAP1 00003b5f: POP 00003b60: PUSH1 0x00 00003b62: PUSH1 0x17 00003b64: PUSH1 0x00 00003b66: DUP4 00003b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b7c: AND 00003b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b92: AND 00003b93: DUP2 00003b94: MSTORE 00003b95: PUSH1 0x20 00003b97: ADD 00003b98: SWAP1 00003b99: DUP2 00003b9a: MSTORE 00003b9b: PUSH1 0x20 00003b9d: ADD 00003b9e: PUSH1 0x00 00003ba0: KECCAK256 00003ba1: PUSH1 0x03 00003ba3: ADD 00003ba4: PUSH1 0x00 00003ba6: SWAP1 00003ba7: SLOAD 00003ba8: SWAP1 00003ba9: PUSH2 0x0100 00003bac: EXP 00003bad: SWAP1 00003bae: DIV 00003baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003bc4: AND 00003bc5: SWAP1 00003bc6: POP 00003bc7: DUP6 00003bc8: PUSH1 0x14 00003bca: PUSH1 0x00 00003bcc: DUP6 00003bcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003be2: AND 00003be3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003bf8: AND 00003bf9: DUP2 00003bfa: MSTORE 00003bfb: PUSH1 0x20 00003bfd: ADD 00003bfe: SWAP1 00003bff: DUP2 00003c00: MSTORE 00003c01: PUSH1 0x20 00003c03: ADD 00003c04: PUSH1 0x00 00003c06: KECCAK256 00003c07: PUSH1 0x00 00003c09: DUP3 00003c0a: DUP3 00003c0b: SLOAD 00003c0c: ADD 00003c0d: SWAP3 00003c0e: POP 00003c0f: POP 00003c10: DUP2 00003c11: SWAP1 00003c12: SSTORE 00003c13: POP 00003c14: DUP6 00003c15: PUSH1 0x09 00003c17: PUSH1 0x00 00003c19: DUP3 00003c1a: DUP3 00003c1b: SLOAD 00003c1c: ADD 00003c1d: SWAP3 00003c1e: POP 00003c1f: POP 00003c20: DUP2 00003c21: SWAP1 00003c22: SSTORE 00003c23: POP 00003c24: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78 00003c45: CALLER 00003c46: DUP5 00003c47: DUP9 00003c48: PUSH1 0x40 00003c4a: MLOAD 00003c4b: DUP1 00003c4c: DUP5 00003c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003c62: AND 00003c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003c78: AND 00003c79: DUP2 00003c7a: MSTORE 00003c7b: PUSH1 0x20 00003c7d: ADD 00003c7e: DUP4 00003c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003c94: AND 00003c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003caa: AND 00003cab: DUP2 00003cac: MSTORE 00003cad: PUSH1 0x20 00003caf: ADD 00003cb0: DUP3 00003cb1: DUP2 00003cb2: MSTORE 00003cb3: PUSH1 0x20 00003cb5: ADD 00003cb6: SWAP4 00003cb7: POP 00003cb8: POP 00003cb9: POP 00003cba: POP 00003cbb: PUSH1 0x40 00003cbd: MLOAD 00003cbe: DUP1 00003cbf: SWAP2 00003cc0: SUB 00003cc1: SWAP1 00003cc2: LOG1 00003cc3: DUP5 00003cc4: PUSH1 0x14 00003cc6: PUSH1 0x00 00003cc8: DUP5 00003cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003cde: AND 00003cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003cf4: AND 00003cf5: DUP2 00003cf6: MSTORE 00003cf7: PUSH1 0x20 00003cf9: ADD 00003cfa: SWAP1 00003cfb: DUP2 00003cfc: MSTORE 00003cfd: PUSH1 0x20 00003cff: ADD 00003d00: PUSH1 0x00 00003d02: KECCAK256 00003d03: PUSH1 0x00 00003d05: DUP3 00003d06: DUP3 00003d07: SLOAD 00003d08: ADD 00003d09: SWAP3 00003d0a: POP 00003d0b: POP 00003d0c: DUP2 00003d0d: SWAP1 00003d0e: SSTORE 00003d0f: POP 00003d10: DUP5 00003d11: PUSH1 0x09 00003d13: PUSH1 0x00 00003d15: DUP3 00003d16: DUP3 00003d17: SLOAD 00003d18: ADD 00003d19: SWAP3 00003d1a: POP 00003d1b: POP 00003d1c: DUP2 00003d1d: SWAP1 00003d1e: SSTORE 00003d1f: POP 00003d20: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78 00003d41: CALLER 00003d42: DUP4 00003d43: DUP8 00003d44: PUSH1 0x40 00003d46: MLOAD 00003d47: DUP1 00003d48: DUP5 00003d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003d5e: AND 00003d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003d74: AND 00003d75: DUP2 00003d76: MSTORE 00003d77: PUSH1 0x20 00003d79: ADD 00003d7a: DUP4 00003d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003d90: AND 00003d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003da6: AND 00003da7: DUP2 00003da8: MSTORE 00003da9: PUSH1 0x20 00003dab: ADD 00003dac: DUP3 00003dad: DUP2 00003dae: MSTORE 00003daf: PUSH1 0x20 00003db1: ADD 00003db2: SWAP4 00003db3: POP 00003db4: POP 00003db5: POP 00003db6: POP 00003db7: PUSH1 0x40 00003db9: MLOAD 00003dba: DUP1 00003dbb: SWAP2 00003dbc: SUB 00003dbd: SWAP1 00003dbe: LOG1 00003dbf: DUP4 00003dc0: PUSH1 0x14 00003dc2: PUSH1 0x00 00003dc4: DUP4 00003dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003dda: AND 00003ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003df0: AND 00003df1: DUP2 00003df2: MSTORE 00003df3: PUSH1 0x20 00003df5: ADD 00003df6: SWAP1 00003df7: DUP2 00003df8: MSTORE 00003df9: PUSH1 0x20 00003dfb: ADD 00003dfc: PUSH1 0x00 00003dfe: KECCAK256 00003dff: PUSH1 0x00 00003e01: DUP3 00003e02: DUP3 00003e03: SLOAD 00003e04: ADD 00003e05: SWAP3 00003e06: POP 00003e07: POP 00003e08: DUP2 00003e09: SWAP1 00003e0a: SSTORE 00003e0b: POP 00003e0c: DUP4 00003e0d: PUSH1 0x09 00003e0f: PUSH1 0x00 00003e11: DUP3 00003e12: DUP3 00003e13: SLOAD 00003e14: ADD 00003e15: SWAP3 00003e16: POP 00003e17: POP 00003e18: DUP2 00003e19: SWAP1 00003e1a: SSTORE 00003e1b: POP 00003e1c: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78 00003e3d: CALLER 00003e3e: DUP3 00003e3f: DUP7 00003e40: PUSH1 0x40 00003e42: MLOAD 00003e43: DUP1 00003e44: DUP5 00003e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003e5a: AND 00003e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003e70: AND 00003e71: DUP2 00003e72: MSTORE 00003e73: PUSH1 0x20 00003e75: ADD 00003e76: DUP4 00003e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003e8c: AND 00003e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003ea2: AND 00003ea3: DUP2 00003ea4: MSTORE 00003ea5: PUSH1 0x20 00003ea7: ADD 00003ea8: DUP3 00003ea9: DUP2 00003eaa: MSTORE 00003eab: PUSH1 0x20 00003ead: ADD 00003eae: SWAP4 00003eaf: POP 00003eb0: POP 00003eb1: POP 00003eb2: POP 00003eb3: PUSH1 0x40 00003eb5: MLOAD 00003eb6: DUP1 00003eb7: SWAP2 00003eb8: SUB 00003eb9: SWAP1 00003eba: LOG1 00003ebb: POP 00003ebc: POP 00003ebd: POP 00003ebe: POP 00003ebf: POP 00003ec0: POP 00003ec1: POP 00003ec2: POP 00003ec3: JUMP 00003ec4: JUMPDEST 00003ec5: PUSH1 0x00 00003ec7: DUP1 00003ec8: DUP4 00003ec9: GT 00003eca: DUP3 00003ecb: SWAP1 00003ecc: PUSH2 0x3f70 00003ecf: JUMPI 00003ed0: PUSH1 0x40 00003ed2: MLOAD 00003ed3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003ef4: DUP2 00003ef5: MSTORE 00003ef6: PUSH1 0x04 00003ef8: ADD 00003ef9: DUP1 00003efa: DUP1 00003efb: PUSH1 0x20 00003efd: ADD 00003efe: DUP3 00003eff: DUP2 00003f00: SUB 00003f01: DUP3 00003f02: MSTORE 00003f03: DUP4 00003f04: DUP2 00003f05: DUP2 00003f06: MLOAD 00003f07: DUP2 00003f08: MSTORE 00003f09: PUSH1 0x20 00003f0b: ADD 00003f0c: SWAP2 00003f0d: POP 00003f0e: DUP1 00003f0f: MLOAD 00003f10: SWAP1 00003f11: PUSH1 0x20 00003f13: ADD 00003f14: SWAP1 00003f15: DUP1 00003f16: DUP4 00003f17: DUP4 00003f18: PUSH1 0x00 00003f1a: JUMPDEST 00003f1b: DUP4 00003f1c: DUP2 00003f1d: LT 00003f1e: ISZERO 00003f1f: PUSH2 0x3f35 00003f22: JUMPI 00003f23: DUP1 00003f24: DUP3 00003f25: ADD 00003f26: MLOAD 00003f27: DUP2 00003f28: DUP5 00003f29: ADD 00003f2a: MSTORE 00003f2b: PUSH1 0x20 00003f2d: DUP2 00003f2e: ADD 00003f2f: SWAP1 00003f30: POP 00003f31: PUSH2 0x3f1a 00003f34: JUMP 00003f35: JUMPDEST 00003f36: POP 00003f37: POP 00003f38: POP 00003f39: POP 00003f3a: SWAP1 00003f3b: POP 00003f3c: SWAP1 00003f3d: DUP2 00003f3e: ADD 00003f3f: SWAP1 00003f40: PUSH1 0x1f 00003f42: AND 00003f43: DUP1 00003f44: ISZERO 00003f45: PUSH2 0x3f62 00003f48: JUMPI 00003f49: DUP1 00003f4a: DUP3 00003f4b: SUB 00003f4c: DUP1 00003f4d: MLOAD 00003f4e: PUSH1 0x01 00003f50: DUP4 00003f51: PUSH1 0x20 00003f53: SUB 00003f54: PUSH2 0x0100 00003f57: EXP 00003f58: SUB 00003f59: NOT 00003f5a: AND 00003f5b: DUP2 00003f5c: MSTORE 00003f5d: PUSH1 0x20 00003f5f: ADD 00003f60: SWAP2 00003f61: POP 00003f62: JUMPDEST 00003f63: POP 00003f64: SWAP3 00003f65: POP 00003f66: POP 00003f67: POP 00003f68: PUSH1 0x40 00003f6a: MLOAD 00003f6b: DUP1 00003f6c: SWAP2 00003f6d: SUB 00003f6e: SWAP1 00003f6f: REVERT 00003f70: JUMPDEST 00003f71: POP 00003f72: PUSH1 0x00 00003f74: DUP4 00003f75: DUP6 00003f76: DUP2 00003f77: PUSH2 0x3f7c 00003f7a: JUMPI 00003f7b: INVALID 00003f7c: JUMPDEST 00003f7d: DIV 00003f7e: SWAP1 00003f7f: POP 00003f80: DUP1 00003f81: SWAP2 00003f82: POP 00003f83: POP 00003f84: SWAP4 00003f85: SWAP3 00003f86: POP 00003f87: POP 00003f88: POP 00003f89: JUMP 00003f8a: JUMPDEST 00003f8b: PUSH1 0x00 00003f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003fa2: AND 00003fa3: DUP4 00003fa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003fb9: AND 00003fba: EQ 00003fbb: ISZERO 00003fbc: PUSH2 0x4010 00003fbf: JUMPI 00003fc0: PUSH1 0x40 00003fc2: MLOAD 00003fc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003fe4: DUP2 00003fe5: MSTORE 00003fe6: PUSH1 0x04 00003fe8: ADD 00003fe9: DUP1 00003fea: DUP1 00003feb: PUSH1 0x20 00003fed: ADD 00003fee: DUP3 00003fef: DUP2 00003ff0: SUB 00003ff1: DUP3 00003ff2: MSTORE 00003ff3: PUSH1 0x24 00003ff5: DUP2 00003ff6: MSTORE 00003ff7: PUSH1 0x20 00003ff9: ADD 00003ffa: DUP1 00003ffb: PUSH2 0x43ca 00003ffe: PUSH1 0x24 00004000: SWAP2 00004001: CODECOPY 00004002: PUSH1 0x40 00004004: ADD 00004005: SWAP2 00004006: POP 00004007: POP 00004008: PUSH1 0x40 0000400a: MLOAD 0000400b: DUP1 0000400c: SWAP2 0000400d: SUB 0000400e: SWAP1 0000400f: REVERT 00004010: JUMPDEST 00004011: PUSH1 0x00 00004013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004028: AND 00004029: DUP3 0000402a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000403f: AND 00004040: EQ 00004041: ISZERO 00004042: PUSH2 0x4096 00004045: JUMPI 00004046: PUSH1 0x40 00004048: MLOAD 00004049: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000406a: DUP2 0000406b: MSTORE 0000406c: PUSH1 0x04 0000406e: ADD 0000406f: DUP1 00004070: DUP1 00004071: PUSH1 0x20 00004073: ADD 00004074: DUP3 00004075: DUP2 00004076: SUB 00004077: DUP3 00004078: MSTORE 00004079: PUSH1 0x22 0000407b: DUP2 0000407c: MSTORE 0000407d: PUSH1 0x20 0000407f: ADD 00004080: DUP1 00004081: PUSH2 0x435f 00004084: PUSH1 0x22 00004086: SWAP2 00004087: CODECOPY 00004088: PUSH1 0x40 0000408a: ADD 0000408b: SWAP2 0000408c: POP 0000408d: POP 0000408e: PUSH1 0x40 00004090: MLOAD 00004091: DUP1 00004092: SWAP2 00004093: SUB 00004094: SWAP1 00004095: REVERT 00004096: JUMPDEST 00004097: DUP1 00004098: PUSH1 0x15 0000409a: PUSH1 0x00 0000409c: DUP6 0000409d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000040b2: AND 000040b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000040c8: AND 000040c9: DUP2 000040ca: MSTORE 000040cb: PUSH1 0x20 000040cd: ADD 000040ce: SWAP1 000040cf: DUP2 000040d0: MSTORE 000040d1: PUSH1 0x20 000040d3: ADD 000040d4: PUSH1 0x00 000040d6: KECCAK256 000040d7: PUSH1 0x00 000040d9: DUP5 000040da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000040ef: AND 000040f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004105: AND 00004106: DUP2 00004107: MSTORE 00004108: PUSH1 0x20 0000410a: ADD 0000410b: SWAP1 0000410c: DUP2 0000410d: MSTORE 0000410e: PUSH1 0x20 00004110: ADD 00004111: PUSH1 0x00 00004113: KECCAK256 00004114: DUP2 00004115: SWAP1 00004116: SSTORE 00004117: POP 00004118: DUP2 00004119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000412e: AND 0000412f: DUP4 00004130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004145: AND 00004146: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00004167: DUP4 00004168: PUSH1 0x40 0000416a: MLOAD 0000416b: DUP1 0000416c: DUP3 0000416d: DUP2 0000416e: MSTORE 0000416f: PUSH1 0x20 00004171: ADD 00004172: SWAP2 00004173: POP 00004174: POP 00004175: PUSH1 0x40 00004177: MLOAD 00004178: DUP1 00004179: SWAP2 0000417a: SUB 0000417b: SWAP1 0000417c: LOG3 0000417d: POP 0000417e: POP 0000417f: POP 00004180: JUMP 00004181: JUMPDEST 00004182: PUSH1 0x00 00004184: DUP1 00004185: PUSH8 0x0de0b6b3a7640000 0000418e: DUP4 0000418f: ADD 00004190: SWAP1 00004191: POP 00004192: PUSH1 0x00 00004194: PUSH8 0x0de0b6b3a7640000 0000419d: PUSH1 0x19 0000419f: SLOAD 000041a0: ADD 000041a1: SWAP1 000041a2: POP 000041a3: PUSH1 0x00 000041a5: PUSH8 0x0de0b6b3a7640000 000041ae: PUSH2 0x4204 000041b1: PUSH8 0x0de0b6b3a7640000 000041ba: DUP6 000041bb: SUB 000041bc: PUSH1 0x04 000041be: SLOAD 000041bf: PUSH8 0x0de0b6b3a7640000 000041c8: DUP7 000041c9: DUP2 000041ca: PUSH2 0x41cf 000041cd: JUMPI 000041ce: INVALID 000041cf: JUMPDEST 000041d0: DIV 000041d1: PUSH1 0x04 000041d3: SLOAD 000041d4: MUL 000041d5: PUSH1 0x03 000041d7: SLOAD 000041d8: ADD 000041d9: SUB 000041da: MUL 000041db: PUSH1 0x02 000041dd: PUSH8 0x0de0b6b3a7640000 000041e6: DUP8 000041e7: PUSH1 0x02 000041e9: DUP10 000041ea: EXP 000041eb: SUB 000041ec: DUP2 000041ed: PUSH2 0x41f2 000041f0: JUMPI 000041f1: INVALID 000041f2: JUMPDEST 000041f3: DIV 000041f4: PUSH1 0x04 000041f6: SLOAD 000041f7: MUL 000041f8: DUP2 000041f9: PUSH2 0x41fe 000041fc: JUMPI 000041fd: INVALID 000041fe: JUMPDEST 000041ff: DIV 00004200: PUSH2 0x3924 00004203: JUMP 00004204: JUMPDEST 00004205: DUP2 00004206: PUSH2 0x420b 00004209: JUMPI 0000420a: INVALID 0000420b: JUMPDEST 0000420c: DIV 0000420d: SWAP1 0000420e: POP 0000420f: DUP1 00004210: SWAP4 00004211: POP 00004212: POP 00004213: POP 00004214: POP 00004215: SWAP2 00004216: SWAP1 00004217: POP 00004218: JUMP 00004219: JUMPDEST 0000421a: PUSH1 0x00 0000421c: DUP4 0000421d: DUP4 0000421e: GT 0000421f: ISZERO 00004220: DUP3 00004221: SWAP1 00004222: PUSH2 0x42c6 00004225: JUMPI 00004226: PUSH1 0x40 00004228: MLOAD 00004229: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000424a: DUP2 0000424b: MSTORE 0000424c: PUSH1 0x04 0000424e: ADD 0000424f: DUP1 00004250: DUP1 00004251: PUSH1 0x20 00004253: ADD 00004254: DUP3 00004255: DUP2 00004256: SUB 00004257: DUP3 00004258: MSTORE 00004259: DUP4 0000425a: DUP2 0000425b: DUP2 0000425c: MLOAD 0000425d: DUP2 0000425e: MSTORE 0000425f: PUSH1 0x20 00004261: ADD 00004262: SWAP2 00004263: POP 00004264: DUP1 00004265: MLOAD 00004266: SWAP1 00004267: PUSH1 0x20 00004269: ADD 0000426a: SWAP1 0000426b: DUP1 0000426c: DUP4 0000426d: DUP4 0000426e: PUSH1 0x00 00004270: JUMPDEST 00004271: DUP4 00004272: DUP2 00004273: LT 00004274: ISZERO 00004275: PUSH2 0x428b 00004278: JUMPI 00004279: DUP1 0000427a: DUP3 0000427b: ADD 0000427c: MLOAD 0000427d: DUP2 0000427e: DUP5 0000427f: ADD 00004280: MSTORE 00004281: PUSH1 0x20 00004283: DUP2 00004284: ADD 00004285: SWAP1 00004286: POP 00004287: PUSH2 0x4270 0000428a: JUMP 0000428b: JUMPDEST 0000428c: POP 0000428d: POP 0000428e: POP 0000428f: POP 00004290: SWAP1 00004291: POP 00004292: SWAP1 00004293: DUP2 00004294: ADD 00004295: SWAP1 00004296: PUSH1 0x1f 00004298: AND 00004299: DUP1 0000429a: ISZERO 0000429b: PUSH2 0x42b8 0000429e: JUMPI 0000429f: DUP1 000042a0: DUP3 000042a1: SUB 000042a2: DUP1 000042a3: MLOAD 000042a4: PUSH1 0x01 000042a6: DUP4 000042a7: PUSH1 0x20 000042a9: SUB 000042aa: PUSH2 0x0100 000042ad: EXP 000042ae: SUB 000042af: NOT 000042b0: AND 000042b1: DUP2 000042b2: MSTORE 000042b3: PUSH1 0x20 000042b5: ADD 000042b6: SWAP2 000042b7: POP 000042b8: JUMPDEST 000042b9: POP 000042ba: SWAP3 000042bb: POP 000042bc: POP 000042bd: POP 000042be: PUSH1 0x40 000042c0: MLOAD 000042c1: DUP1 000042c2: SWAP2 000042c3: SUB 000042c4: SWAP1 000042c5: REVERT 000042c6: JUMPDEST 000042c7: POP 000042c8: PUSH1 0x00 000042ca: DUP4 000042cb: DUP6 000042cc: SUB 000042cd: SWAP1 000042ce: POP 000042cf: DUP1 000042d0: SWAP2 000042d1: POP 000042d2: POP 000042d3: SWAP4 000042d4: SWAP3 000042d5: POP 000042d6: POP 000042d7: POP 000042d8: JUMP 000042d9: JUMPDEST 000042da: PUSH1 0x00 000042dc: DUP1 000042dd: PUSH1 0x02 000042df: PUSH1 0x01 000042e1: DUP5 000042e2: ADD 000042e3: DUP2 000042e4: PUSH2 0x42e9 000042e7: JUMPI 000042e8: INVALID 000042e9: JUMPDEST 000042ea: DIV 000042eb: SWAP1 000042ec: POP 000042ed: DUP3 000042ee: SWAP2 000042ef: POP 000042f0: JUMPDEST 000042f1: DUP2 000042f2: DUP2 000042f3: LT 000042f4: ISZERO 000042f5: PUSH2 0x4318 000042f8: JUMPI 000042f9: DUP1 000042fa: SWAP2 000042fb: POP 000042fc: PUSH1 0x02 000042fe: DUP2 000042ff: DUP3 00004300: DUP6 00004301: DUP2 00004302: PUSH2 0x4307 00004305: JUMPI 00004306: INVALID 00004307: JUMPDEST 00004308: DIV 00004309: ADD 0000430a: DUP2 0000430b: PUSH2 0x4310 0000430e: JUMPI 0000430f: INVALID 00004310: JUMPDEST 00004311: DIV 00004312: SWAP1 00004313: POP 00004314: PUSH2 0x42f0 00004317: JUMP 00004318: JUMPDEST 00004319: POP 0000431a: SWAP2 0000431b: SWAP1 0000431c: POP 0000431d: JUMP 0000431e: JUMPDEST 0000431f: PUSH1 0x40 00004321: MLOAD 00004322: DUP1 00004323: PUSH1 0x80 00004325: ADD 00004326: PUSH1 0x40 00004328: MSTORE 00004329: DUP1 0000432a: PUSH1 0x00 0000432c: ISZERO 0000432d: ISZERO 0000432e: DUP2 0000432f: MSTORE 00004330: PUSH1 0x20 00004332: ADD 00004333: PUSH1 0x00 00004335: DUP2 00004336: MSTORE 00004337: PUSH1 0x20 00004339: ADD 0000433a: PUSH1 0x00 0000433c: DUP2 0000433d: MSTORE 0000433e: PUSH1 0x20 00004340: ADD 00004341: PUSH1 0x00 00004343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00004358: AND 00004359: DUP2 0000435a: MSTORE 0000435b: POP 0000435c: SWAP1 0000435d: JUMP 0000435e: INVALID 0000435f: GASLIMIT 00004360: MSTORE 00004361: NUMBER 00004362: ORIGIN 00004363: ADDRESS 00004364: GASPRICE 00004365: KECCAK256 00004366: PUSH2 0x7070 00004369: PUSH19 0x6f766520746f20746865207a65726f20616464 0000437d: PUSH19 0x657373536166654d6174683a206d756c746970 00004391: PUSH13 0x69636174696f6e206f76657266 0000439f: PUSH13 0x6f7745524332303a207472616e 000043ad: PUSH20 0x66657220616d6f756e7420657863656564732061 000043c2: PUSH13 0x6c6f77616e636545524332303a 000043d0: KECCAK256 000043d1: PUSH2 0x7070 000043d4: PUSH19 0x6f76652066726f6d20746865207a65726f2061 000043e8: PUSH5 0x6472657373 000043ee: GASLIMIT 000043ef: MSTORE 000043f0: NUMBER 000043f1: ORIGIN 000043f2: ADDRESS 000043f3: GASPRICE 000043f4: KECCAK256 000043f5: PUSH5 0x6563726561 000043fb: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a 00004410: PUSH6 0x726fa2646970 00004417: PUSH7 0x73582212202afd 0000441f: EQ 00004420: SHL 00004421: MOD 00004422: ADDRESS 00004423: XOR 00004424: UNKNOWN(0x4D) 00004425: CALLER 00004426: UNKNOWN(0x2C) 00004427: UNKNOWN(0xB1) 00004428: UNKNOWN(0xA9) 00004429: PUSH0 0000442a: DUP9 0000442b: UNKNOWN(0xEF) 0000442c: UNKNOWN(0xB9) 0000442d: CALLDATACOPY 0000442e: DUP14 0000442f: UNKNOWN(0xDB) 00004430: ISZERO 00004431: UNKNOWN(0xAE) 00004432: SLOAD 00004433: SSTORE 00004434: UNKNOWN(0xD5) 00004435: CALL 00004436: PUSH12 0x5f80e5f0d08664736f6c6343 00004443: STOP 00004444: MOD 00004445: MOD 00004446: STOP 00004447: CALLER
| 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": "0xe4849b32",
"selector": "0xe4849b32",
"calldata_variants": [
"0xe4849b32",
"0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf088d547",
"selector": "0xf088d547",
"calldata_variants": [
"0xf088d547",
"0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa4ee6d5",
"selector": "0xfa4ee6d5",
"calldata_variants": [
"0xfa4ee6d5",
"0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb5a03e",
"selector": "0xfdb5a03e",
"calldata_variants": [
"0xfdb5a03e",
"0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff50abdc",
"selector": "0xff50abdc",
"calldata_variants": [
"0xff50abdc",
"0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc664f7f1",
"selector": "0xc664f7f1",
"calldata_variants": [
"0xc664f7f1",
"0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca5d3813",
"selector": "0xca5d3813",
"calldata_variants": [
"0xca5d3813",
"0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 17250,
"type": "tx_origin_used"
},
{
"pc": 17393,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58
call_targets:
0x9b4ea303ca6302dfa46b73bc660598c65de96b3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b4ea303ca6302dfa46b73bc660598c65de96b3d"
],
"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": "0xe4849b32",
"selector": "0xe4849b32",
"calldata_variants": [
"0xe4849b32",
"0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf088d547",
"selector": "0xf088d547",
"calldata_variants": [
"0xf088d547",
"0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa4ee6d5",
"selector": "0xfa4ee6d5",
"calldata_variants": [
"0xfa4ee6d5",
"0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb5a03e",
"selector": "0xfdb5a03e",
"calldata_variants": [
"0xfdb5a03e",
"0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff50abdc",
"selector": "0xff50abdc",
"calldata_variants": [
"0xff50abdc",
"0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc664f7f1",
"selector": "0xc664f7f1",
"calldata_variants": [
"0xc664f7f1",
"0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca5d3813",
"selector": "0xca5d3813",
"calldata_variants": [
"0xca5d3813",
"0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 16,
"guards_detected": [
{
"pc": 17250,
"type": "tx_origin_used"
},
{
"pc": 17393,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 16
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58
call_targets:
0x9b4ea303ca6302dfa46b73bc660598c65de96b3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b4ea303ca6302dfa46b73bc660598c65de96b3d"
],
"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": "0xe4849b32",
"selector": "0xe4849b32",
"calldata_variants": [
"0xe4849b32",
"0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe9fad8ee",
"selector": "0xe9fad8ee",
"calldata_variants": [
"0xe9fad8ee",
"0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf088d547",
"selector": "0xf088d547",
"calldata_variants": [
"0xf088d547",
"0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa4ee6d5",
"selector": "0xfa4ee6d5",
"calldata_variants": [
"0xfa4ee6d5",
"0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb5a03e",
"selector": "0xfdb5a03e",
"calldata_variants": [
"0xfdb5a03e",
"0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff50abdc",
"selector": "0xff50abdc",
"calldata_variants": [
"0xff50abdc",
"0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc664f7f1",
"selector": "0xc664f7f1",
"calldata_variants": [
"0xc664f7f1",
"0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca5d3813",
"selector": "0xca5d3813",
"calldata_variants": [
"0xca5d3813",
"0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1260,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": [
{
"pc": 17250,
"type": "tx_origin_used"
},
{
"pc": 17393,
"type": "tx_origin_used"
}
]
}
|
| 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": 16
}
|