7ee9ee51-0252-4391-a781-89e8a9c04be3
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 |
|---|---|---|---|---|
| 31251 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 110504 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 110505 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 110506 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 110507 | capability.graph | complete | 1 / 3 | 1 week ago |
| 110508 | detector.run | complete | 1 / 3 | 1 week ago |
| 110509 | validation.fork | complete | 1 / 3 | 1 week ago |
| 113951 | tool.slither | complete | 1 / 2 | 1 week ago |
'forge clean' running (wd: /tmp/slither-02hm08hq) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-02hm08hq) crytic-compile returned an empty AST. If you are trying to analyze a contract from etherscan or similar make sure it has source code available. No contracts were found in None, check the correct compilation solc-0.4.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible. Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity No contract was analyzed . analyzed (0 contracts with 100 detectors), 1 result(s) found
{
"solc": {
"status": "ok",
"use_rc": 0,
"version": "0.4.11",
"strategy": "solc-select",
"solc_path": "/var/www/tripwire/.venv/bin/solc",
"install_rc": 0,
"use_stderr": null,
"use_stdout": "Switched global version to 0.4.11",
"install_stderr": null,
"install_stdout": "Version '0.4.11' is already installed, skipping..."
},
"solc_args": "--base-path /tmp/slither-02hm08hq --allow-paths /tmp/slither-02hm08hq,/tmp/slither-02hm08hq/lib,/tmp/slither-02hm08hq/src",
"remappings": [],
"source_files": [
"contracts/Contract.sol"
],
"contract_count": 0,
"contract_names": [],
"detector_count": 1,
"workspace_hash": "f82cdf21c0f5a4c66f08f42a0fe00e52ca06c3484170dd7b757ccf678c2c0343",
"duration_seconds": 0.4788172245025635,
"solc_version_requested": "0.4.13"
}
[codex:93032] OpenAI Codex v0.77.0 (research preview)
[codex:93032] --------
[codex:93032] workdir: /tmp/codex-multi-u4k9clcz
[codex:93032] model: gpt-5.2-codex
[codex:93032] provider: openai
[codex:93032] approval: never
[codex:93032] sandbox: read-only
[codex:93032] reasoning effort: xhigh
[codex:93032] reasoning summaries: auto
[codex:93032] session id: 019b7d5c-d11b-70f2-a038-92f94011128d
[codex:93032] --------
[codex:93032] user
[codex:93032] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:93032]
[codex:93032] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:93032]
[codex:93032] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:93032] - Gas inefficiency, code quality, naming, or best practices
[codex:93032] - Theoretical vulnerabilities without a clear extraction path
[codex:93032] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:93032] - Front-running unless it enables theft beyond MEV
[codex:93032] - DoS, griefing, or issues that don't result in attacker profit
[codex:93032] - Missing events, view function issues, or informational findings
[codex:93032]
[codex:93032] HIGH-VALUE PATTERNS TO HUNT:
[codex:93032] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:93032] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:93032] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:93032] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:93032] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:93032] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:93032] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:93032] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:93032] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:93032]
[codex:93032] For each finding, you MUST provide:
[codex:93032] 1. Exact file and line numbers of vulnerable code
[codex:93032] 2. Step-by-step exploit transaction sequence
[codex:93032] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:93032]
[codex:93032] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:93032]
[codex:93032] Output MUST be valid JSON matching the provided schema.
[codex:93032] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:93032] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:93032] mcp startup: no servers
[codex:93032]
[codex:93032] thinking
[codex:93032] **Preparing to read file**
[codex:93032] exec
[codex:93032] /bin/bash -lc ls in /tmp/codex-multi-u4k9clcz succeeded in 5ms:
[codex:93032] AUDIT_BUNDLE.txt
[codex:93032] codex-output-schema.json
[codex:93032] contracts
[codex:93032] exec
[codex:93032] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-u4k9clcz succeeded in 5ms:
[codex:93032] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:93032]
[codex:93032] ================================================================================
[codex:93032] FILE: contracts/Contract.sol
[codex:93032] ================================================================================
[codex:93032] pragma solidity ^0.4.11;
[codex:93032]
[codex:93032] // ERC20 token protocol, see more details at
[codex:93032] // https://theethereum.wiki/w/index.php/ERC20_Token_Standard
[codex:93032] // And also https://github.com/ethereum/eips/issues/20
[codex:93032]
[codex:93032] contract Token {
[codex:93032] function totalSupply() constant returns (uint256 supply);
[codex:93032] function balanceOf(address _owner) constant returns (uint256 balance);
[codex:93032] function transfer(address _to, uint256 _value) returns (bool success);
[codex:93032] function transferFrom(address _from, address _to, uint256 _value) returns (bool success);
[codex:93032] function approve(address _spender, uint256 _value) returns (bool success);
[codex:93032] function allowance(address _owner, address _spender) constant returns (uint256 remaining);
[codex:93032]
[codex:93032] event Transfer(address indexed _from, address indexed _to, uint256 _value);
[codex:93032]
[codex:93032]
[codex:93032]
[codex:93032] thinking
[codex:93032] **Analyzing potential reentrancy and token abuses**
[codex:93032] thinking
[codex:93032] **Evaluating token balance checks and external calls**
[codex:93032]
[codex:93032] This chunk digs deeper into how the trade function relies on internal ledgers without external token calls, considering risks from malicious tokens and reentrancy. I’m piecing together how deposit and withdraw flows handle state updates before external calls, and how external contract calls like accountModifiers might open brief windows for reentrancy—though only if that contract is compromised. It’s a careful balance of internal consistency, signature checks, and transfer logic that mostly blocks direct profit from exploits here.
[codex:93032] thinking
[codex:93032] {
[codex:93032] "no_findings": true,
[codex:93032] "summary": "No concrete, exploitable profit paths found.",
[codex:93032] "findings": []
[codex:93032] }
[codex:93032] codex
[codex:93032] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract sources.","findings":[]}
[codex:93032] tokens used
[codex:93032] 19,028
[codex:93032] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T06:23:17.009260+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in the provided contract sources.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in the provided contract sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x014e 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH1 0xe0 00000012: PUSH1 0x02 00000014: EXP 00000015: PUSH1 0x00 00000017: CALLDATALOAD 00000018: DIV 00000019: AND 0000001a: PUSH4 0x0a19b14a 0000001f: DUP2 00000020: EQ 00000021: PUSH2 0x0166 00000024: JUMPI 00000025: DUP1 00000026: PUSH4 0x0e136b19 0000002b: EQ 0000002c: PUSH2 0x01b5 0000002f: JUMPI 00000030: DUP1 00000031: PUSH4 0x19774d43 00000036: EQ 00000037: PUSH2 0x01dc 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x278b8c0e 00000041: EQ 00000042: PUSH2 0x0210 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x2d804ca2 0000004c: EQ 0000004d: PUSH2 0x0251 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0x2e1a7d4d 00000057: EQ 00000058: PUSH2 0x029e 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0x338b5dea 00000062: EQ 00000063: PUSH2 0x02b6 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x38ec18c3 0000006d: EQ 0000006e: PUSH2 0x02da 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x3c2e2a75 00000078: EQ 00000079: PUSH2 0x02fb 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x48d64fd5 00000083: EQ 00000084: PUSH2 0x0326 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x508493bc 0000008e: EQ 0000008f: PUSH2 0x0347 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x54fd4d50 00000099: EQ 0000009a: PUSH2 0x037e 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x59015ed5 000000a4: EQ 000000a5: PUSH2 0x03a8 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x6a1db1bf 000000af: EQ 000000b0: PUSH2 0x03d3 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x6a523c5e 000000ba: EQ 000000bb: PUSH2 0x03eb 000000be: JUMPI 000000bf: DUP1 000000c0: PUSH4 0x6c86888b 000000c5: EQ 000000c6: PUSH2 0x0401 000000c9: JUMPI 000000ca: DUP1 000000cb: PUSH4 0x6ff968c3 000000d0: EQ 000000d1: PUSH2 0x046d 000000d4: JUMPI 000000d5: DUP1 000000d6: PUSH4 0x71ffcb16 000000db: EQ 000000dc: PUSH2 0x049c 000000df: JUMPI 000000e0: DUP1 000000e1: PUSH4 0x8da5cb5b 000000e6: EQ 000000e7: PUSH2 0x04bd 000000ea: JUMPI 000000eb: DUP1 000000ec: PUSH4 0x9e281a98 000000f1: EQ 000000f2: PUSH2 0x04ec 000000f5: JUMPI 000000f6: DUP1 000000f7: PUSH4 0xb719d032 000000fc: EQ 000000fd: PUSH2 0x0510 00000100: JUMPI 00000101: DUP1 00000102: PUSH4 0xbe3dd131 00000107: EQ 00000108: PUSH2 0x053f 0000010b: JUMPI 0000010c: DUP1 0000010d: PUSH4 0xd0e30db0 00000112: EQ 00000113: PUSH2 0x0590 00000116: JUMPI 00000117: DUP1 00000118: PUSH4 0xddca3f43 0000011d: EQ 0000011e: PUSH2 0x059a 00000121: JUMPI 00000122: DUP1 00000123: PUSH4 0xe6213127 00000128: EQ 00000129: PUSH2 0x05bf 0000012c: JUMPI 0000012d: DUP1 0000012e: PUSH4 0xf2fde38b 00000133: EQ 00000134: PUSH2 0x05e5 00000137: JUMPI 00000138: DUP1 00000139: PUSH4 0xf7888aec 0000013e: EQ 0000013f: PUSH2 0x0606 00000142: JUMPI 00000143: DUP1 00000144: PUSH4 0xfb6e155f 00000149: EQ 0000014a: PUSH2 0x063d 0000014d: JUMPI 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: ISZERO 00000151: PUSH2 0x0159 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: PUSH2 0x0164 0000015d: JUMPDEST 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: JUMP 00000164: JUMPDEST 00000165: STOP 00000166: JUMPDEST 00000167: CALLVALUE 00000168: ISZERO 00000169: PUSH2 0x0171 0000016c: JUMPI 0000016d: PUSH1 0x00 0000016f: DUP1 00000170: REVERT 00000171: JUMPDEST 00000172: PUSH2 0x0164 00000175: PUSH1 0x01 00000177: PUSH1 0xa0 00000179: PUSH1 0x02 0000017b: EXP 0000017c: SUB 0000017d: PUSH1 0x04 0000017f: CALLDATALOAD 00000180: DUP2 00000181: AND 00000182: SWAP1 00000183: PUSH1 0x24 00000185: CALLDATALOAD 00000186: SWAP1 00000187: PUSH1 0x44 00000189: CALLDATALOAD 0000018a: DUP2 0000018b: AND 0000018c: SWAP1 0000018d: PUSH1 0x64 0000018f: CALLDATALOAD 00000190: SWAP1 00000191: PUSH1 0x84 00000193: CALLDATALOAD 00000194: SWAP1 00000195: PUSH1 0xa4 00000197: CALLDATALOAD 00000198: SWAP1 00000199: PUSH1 0xc4 0000019b: CALLDATALOAD 0000019c: AND 0000019d: PUSH1 0xff 0000019f: PUSH1 0xe4 000001a1: CALLDATALOAD 000001a2: AND 000001a3: PUSH2 0x0104 000001a6: CALLDATALOAD 000001a7: PUSH2 0x0124 000001aa: CALLDATALOAD 000001ab: PUSH2 0x0144 000001ae: CALLDATALOAD 000001af: PUSH2 0x0698 000001b2: JUMP 000001b3: JUMPDEST 000001b4: STOP 000001b5: JUMPDEST 000001b6: CALLVALUE 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: PUSH2 0x01c8 000001c4: PUSH2 0x0921 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: SWAP1 000001cd: ISZERO 000001ce: ISZERO 000001cf: DUP2 000001d0: MSTORE 000001d1: PUSH1 0x20 000001d3: ADD 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: SWAP2 000001d9: SUB 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: ISZERO 000001df: PUSH2 0x01e7 000001e2: JUMPI 000001e3: PUSH1 0x00 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: PUSH2 0x01fe 000001eb: PUSH1 0x01 000001ed: PUSH1 0xa0 000001ef: PUSH1 0x02 000001f1: EXP 000001f2: SUB 000001f3: PUSH1 0x04 000001f5: CALLDATALOAD 000001f6: AND 000001f7: PUSH1 0x24 000001f9: CALLDATALOAD 000001fa: PUSH2 0x0931 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH1 0x40 00000201: MLOAD 00000202: SWAP1 00000203: DUP2 00000204: MSTORE 00000205: PUSH1 0x20 00000207: ADD 00000208: PUSH1 0x40 0000020a: MLOAD 0000020b: DUP1 0000020c: SWAP2 0000020d: SUB 0000020e: SWAP1 0000020f: RETURN 00000210: JUMPDEST 00000211: CALLVALUE 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: PUSH2 0x0164 0000021f: PUSH1 0x01 00000221: PUSH1 0xa0 00000223: PUSH1 0x02 00000225: EXP 00000226: SUB 00000227: PUSH1 0x04 00000229: CALLDATALOAD 0000022a: DUP2 0000022b: AND 0000022c: SWAP1 0000022d: PUSH1 0x24 0000022f: CALLDATALOAD 00000230: SWAP1 00000231: PUSH1 0x44 00000233: CALLDATALOAD 00000234: AND 00000235: PUSH1 0x64 00000237: CALLDATALOAD 00000238: PUSH1 0x84 0000023a: CALLDATALOAD 0000023b: PUSH1 0xa4 0000023d: CALLDATALOAD 0000023e: PUSH1 0xff 00000240: PUSH1 0xc4 00000242: CALLDATALOAD 00000243: AND 00000244: PUSH1 0xe4 00000246: CALLDATALOAD 00000247: PUSH2 0x0104 0000024a: CALLDATALOAD 0000024b: PUSH2 0x094e 0000024e: JUMP 0000024f: JUMPDEST 00000250: STOP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: PUSH2 0x01fe 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: PUSH1 0x04 0000026a: CALLDATALOAD 0000026b: DUP2 0000026c: AND 0000026d: SWAP1 0000026e: PUSH1 0x24 00000270: CALLDATALOAD 00000271: SWAP1 00000272: PUSH1 0x44 00000274: CALLDATALOAD 00000275: DUP2 00000276: AND 00000277: SWAP1 00000278: PUSH1 0x64 0000027a: CALLDATALOAD 0000027b: SWAP1 0000027c: PUSH1 0x84 0000027e: CALLDATALOAD 0000027f: SWAP1 00000280: PUSH1 0xa4 00000282: CALLDATALOAD 00000283: SWAP1 00000284: PUSH1 0xc4 00000286: CALLDATALOAD 00000287: AND 00000288: PUSH2 0x0b74 0000028b: JUMP 0000028c: JUMPDEST 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: SWAP1 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: PUSH1 0x40 00000298: MLOAD 00000299: DUP1 0000029a: SWAP2 0000029b: SUB 0000029c: SWAP1 0000029d: RETURN 0000029e: JUMPDEST 0000029f: CALLVALUE 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: PUSH2 0x0164 000002ad: PUSH1 0x04 000002af: CALLDATALOAD 000002b0: PUSH2 0x0c39 000002b3: JUMP 000002b4: JUMPDEST 000002b5: STOP 000002b6: JUMPDEST 000002b7: CALLVALUE 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: PUSH2 0x0164 000002c5: PUSH1 0x01 000002c7: PUSH1 0xa0 000002c9: PUSH1 0x02 000002cb: EXP 000002cc: SUB 000002cd: PUSH1 0x04 000002cf: CALLDATALOAD 000002d0: AND 000002d1: PUSH1 0x24 000002d3: CALLDATALOAD 000002d4: PUSH2 0x0d6f 000002d7: JUMP 000002d8: JUMPDEST 000002d9: STOP 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: PUSH2 0x0164 000002e9: PUSH1 0x01 000002eb: PUSH1 0xa0 000002ed: PUSH1 0x02 000002ef: EXP 000002f0: SUB 000002f1: PUSH1 0x04 000002f3: CALLDATALOAD 000002f4: AND 000002f5: PUSH2 0x0ee8 000002f8: JUMP 000002f9: JUMPDEST 000002fa: STOP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: PUSH2 0x0164 0000030a: PUSH1 0x01 0000030c: PUSH1 0xa0 0000030e: PUSH1 0x02 00000310: EXP 00000311: SUB 00000312: PUSH1 0x04 00000314: CALLDATALOAD 00000315: DUP2 00000316: AND 00000317: SWAP1 00000318: PUSH1 0x24 0000031a: CALLDATALOAD 0000031b: SWAP1 0000031c: PUSH1 0x44 0000031e: CALLDATALOAD 0000031f: AND 00000320: PUSH2 0x0f30 00000323: JUMP 00000324: JUMPDEST 00000325: STOP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: PUSH2 0x0164 00000335: PUSH1 0x01 00000337: PUSH1 0xa0 00000339: PUSH1 0x02 0000033b: EXP 0000033c: SUB 0000033d: PUSH1 0x04 0000033f: CALLDATALOAD 00000340: AND 00000341: PUSH2 0x10e3 00000344: JUMP 00000345: JUMPDEST 00000346: STOP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: PUSH2 0x01fe 00000356: PUSH1 0x01 00000358: PUSH1 0xa0 0000035a: PUSH1 0x02 0000035c: EXP 0000035d: SUB 0000035e: PUSH1 0x04 00000360: CALLDATALOAD 00000361: DUP2 00000362: AND 00000363: SWAP1 00000364: PUSH1 0x24 00000366: CALLDATALOAD 00000367: AND 00000368: PUSH2 0x112b 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: SWAP1 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0x20 00000375: ADD 00000376: PUSH1 0x40 00000378: MLOAD 00000379: DUP1 0000037a: SWAP2 0000037b: SUB 0000037c: SWAP1 0000037d: RETURN 0000037e: JUMPDEST 0000037f: CALLVALUE 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: PUSH2 0x0391 0000038d: PUSH2 0x1148 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH1 0x40 00000394: MLOAD 00000395: PUSH2 0xffff 00000398: SWAP1 00000399: SWAP2 0000039a: AND 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x20 0000039f: ADD 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: DUP1 000003a4: SWAP2 000003a5: SUB 000003a6: SWAP1 000003a7: RETURN 000003a8: JUMPDEST 000003a9: CALLVALUE 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: PUSH2 0x03bb 000003b7: PUSH2 0x116b 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: SWAP2 000003c0: DUP3 000003c1: MSTORE 000003c2: PUSH1 0x20 000003c4: DUP3 000003c5: ADD 000003c6: MSTORE 000003c7: PUSH1 0x40 000003c9: SWAP1 000003ca: DUP2 000003cb: ADD 000003cc: SWAP1 000003cd: MLOAD 000003ce: DUP1 000003cf: SWAP2 000003d0: SUB 000003d1: SWAP1 000003d2: RETURN 000003d3: JUMPDEST 000003d4: CALLVALUE 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: PUSH2 0x0164 000003e2: PUSH1 0x04 000003e4: CALLDATALOAD 000003e5: PUSH2 0x120f 000003e8: JUMP 000003e9: JUMPDEST 000003ea: STOP 000003eb: JUMPDEST 000003ec: PUSH2 0x0164 000003ef: PUSH1 0x01 000003f1: PUSH1 0xa0 000003f3: PUSH1 0x02 000003f5: EXP 000003f6: SUB 000003f7: PUSH1 0x04 000003f9: CALLDATALOAD 000003fa: AND 000003fb: PUSH2 0x1243 000003fe: JUMP 000003ff: JUMPDEST 00000400: STOP 00000401: JUMPDEST 00000402: CALLVALUE 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: PUSH2 0x01c8 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: PUSH1 0x02 00000416: EXP 00000417: SUB 00000418: PUSH1 0x04 0000041a: CALLDATALOAD 0000041b: DUP2 0000041c: AND 0000041d: SWAP1 0000041e: PUSH1 0x24 00000420: CALLDATALOAD 00000421: SWAP1 00000422: PUSH1 0x44 00000424: CALLDATALOAD 00000425: DUP2 00000426: AND 00000427: SWAP1 00000428: PUSH1 0x64 0000042a: CALLDATALOAD 0000042b: SWAP1 0000042c: PUSH1 0x84 0000042e: CALLDATALOAD 0000042f: SWAP1 00000430: PUSH1 0xa4 00000432: CALLDATALOAD 00000433: SWAP1 00000434: PUSH1 0xc4 00000436: CALLDATALOAD 00000437: DUP2 00000438: AND 00000439: SWAP1 0000043a: PUSH1 0xff 0000043c: PUSH1 0xe4 0000043e: CALLDATALOAD 0000043f: AND 00000440: SWAP1 00000441: PUSH2 0x0104 00000444: CALLDATALOAD 00000445: SWAP1 00000446: PUSH2 0x0124 00000449: CALLDATALOAD 0000044a: SWAP1 0000044b: PUSH2 0x0144 0000044e: CALLDATALOAD 0000044f: SWAP1 00000450: PUSH2 0x0164 00000453: CALLDATALOAD 00000454: AND 00000455: PUSH2 0x134f 00000458: JUMP 00000459: JUMPDEST 0000045a: PUSH1 0x40 0000045c: MLOAD 0000045d: SWAP1 0000045e: ISZERO 0000045f: ISZERO 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x20 00000464: ADD 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: SWAP2 0000046a: SUB 0000046b: SWAP1 0000046c: RETURN 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: ISZERO 00000470: PUSH2 0x0478 00000473: JUMPI 00000474: PUSH1 0x00 00000476: DUP1 00000477: REVERT 00000478: JUMPDEST 00000479: PUSH2 0x0480 0000047c: PUSH2 0x13b6 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: PUSH1 0x01 00000486: PUSH1 0xa0 00000488: PUSH1 0x02 0000048a: EXP 0000048b: SUB 0000048c: SWAP1 0000048d: SWAP2 0000048e: AND 0000048f: DUP2 00000490: MSTORE 00000491: PUSH1 0x20 00000493: ADD 00000494: PUSH1 0x40 00000496: MLOAD 00000497: DUP1 00000498: SWAP2 00000499: SUB 0000049a: SWAP1 0000049b: RETURN 0000049c: JUMPDEST 0000049d: CALLVALUE 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: PUSH2 0x0164 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: PUSH1 0x02 000004b1: EXP 000004b2: SUB 000004b3: PUSH1 0x04 000004b5: CALLDATALOAD 000004b6: AND 000004b7: PUSH2 0x13c5 000004ba: JUMP 000004bb: JUMPDEST 000004bc: STOP 000004bd: JUMPDEST 000004be: CALLVALUE 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: PUSH2 0x0480 000004cc: PUSH2 0x1422 000004cf: JUMP 000004d0: JUMPDEST 000004d1: PUSH1 0x40 000004d3: MLOAD 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: SWAP1 000004dd: SWAP2 000004de: AND 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: DUP1 000004e8: SWAP2 000004e9: SUB 000004ea: SWAP1 000004eb: RETURN 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: ISZERO 000004ef: PUSH2 0x04f7 000004f2: JUMPI 000004f3: PUSH1 0x00 000004f5: DUP1 000004f6: REVERT 000004f7: JUMPDEST 000004f8: PUSH2 0x0164 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: PUSH1 0x02 00000501: EXP 00000502: SUB 00000503: PUSH1 0x04 00000505: CALLDATALOAD 00000506: AND 00000507: PUSH1 0x24 00000509: CALLDATALOAD 0000050a: PUSH2 0x1431 0000050d: JUMP 0000050e: JUMPDEST 0000050f: STOP 00000510: JUMPDEST 00000511: CALLVALUE 00000512: ISZERO 00000513: PUSH2 0x051b 00000516: JUMPI 00000517: PUSH1 0x00 00000519: DUP1 0000051a: REVERT 0000051b: JUMPDEST 0000051c: PUSH2 0x0480 0000051f: PUSH2 0x15d9 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH1 0x40 00000526: MLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0xa0 0000052b: PUSH1 0x02 0000052d: EXP 0000052e: SUB 0000052f: SWAP1 00000530: SWAP2 00000531: AND 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x20 00000536: ADD 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: DUP1 0000053b: SWAP2 0000053c: SUB 0000053d: SWAP1 0000053e: RETURN 0000053f: JUMPDEST 00000540: CALLVALUE 00000541: ISZERO 00000542: PUSH2 0x054a 00000545: JUMPI 00000546: PUSH1 0x00 00000548: DUP1 00000549: REVERT 0000054a: JUMPDEST 0000054b: PUSH2 0x0164 0000054e: PUSH1 0x04 00000550: PUSH1 0x24 00000552: DUP2 00000553: CALLDATALOAD 00000554: DUP2 00000555: DUP2 00000556: ADD 00000557: SWAP1 00000558: DUP4 00000559: ADD 0000055a: CALLDATALOAD 0000055b: DUP1 0000055c: PUSH1 0x20 0000055e: DUP2 0000055f: DUP2 00000560: MUL 00000561: ADD 00000562: PUSH1 0x40 00000564: MLOAD 00000565: SWAP1 00000566: DUP2 00000567: ADD 00000568: PUSH1 0x40 0000056a: MSTORE 0000056b: DUP1 0000056c: SWAP4 0000056d: SWAP3 0000056e: SWAP2 0000056f: SWAP1 00000570: DUP2 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x20 00000575: ADD 00000576: DUP4 00000577: DUP4 00000578: PUSH1 0x20 0000057a: MUL 0000057b: DUP1 0000057c: DUP3 0000057d: DUP5 0000057e: CALLDATACOPY 0000057f: POP 00000580: SWAP5 00000581: SWAP7 00000582: POP 00000583: PUSH2 0x15e8 00000586: SWAP6 00000587: POP 00000588: POP 00000589: POP 0000058a: POP 0000058b: POP 0000058c: POP 0000058d: JUMP 0000058e: JUMPDEST 0000058f: STOP 00000590: JUMPDEST 00000591: PUSH2 0x0164 00000594: PUSH2 0x1970 00000597: JUMP 00000598: JUMPDEST 00000599: STOP 0000059a: JUMPDEST 0000059b: CALLVALUE 0000059c: ISZERO 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: PUSH2 0x01fe 000005a9: PUSH2 0x1a3e 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH1 0x40 000005b0: MLOAD 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: ADD 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP1 000005bb: SWAP2 000005bc: SUB 000005bd: SWAP1 000005be: RETURN 000005bf: JUMPDEST 000005c0: CALLVALUE 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: PUSH2 0x0164 000005ce: PUSH1 0x04 000005d0: CALLDATALOAD 000005d1: ISZERO 000005d2: ISZERO 000005d3: PUSH1 0x01 000005d5: PUSH1 0xa0 000005d7: PUSH1 0x02 000005d9: EXP 000005da: SUB 000005db: PUSH1 0x24 000005dd: CALLDATALOAD 000005de: AND 000005df: PUSH2 0x1a44 000005e2: JUMP 000005e3: JUMPDEST 000005e4: STOP 000005e5: JUMPDEST 000005e6: CALLVALUE 000005e7: ISZERO 000005e8: PUSH2 0x05f0 000005eb: JUMPI 000005ec: PUSH1 0x00 000005ee: DUP1 000005ef: REVERT 000005f0: JUMPDEST 000005f1: PUSH2 0x0164 000005f4: PUSH1 0x01 000005f6: PUSH1 0xa0 000005f8: PUSH1 0x02 000005fa: EXP 000005fb: SUB 000005fc: PUSH1 0x04 000005fe: CALLDATALOAD 000005ff: AND 00000600: PUSH2 0x1ab5 00000603: JUMP 00000604: JUMPDEST 00000605: STOP 00000606: JUMPDEST 00000607: CALLVALUE 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: PUSH2 0x01fe 00000615: PUSH1 0x01 00000617: PUSH1 0xa0 00000619: PUSH1 0x02 0000061b: EXP 0000061c: SUB 0000061d: PUSH1 0x04 0000061f: CALLDATALOAD 00000620: DUP2 00000621: AND 00000622: SWAP1 00000623: PUSH1 0x24 00000625: CALLDATALOAD 00000626: AND 00000627: PUSH2 0x1b12 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH1 0x40 0000062e: MLOAD 0000062f: SWAP1 00000630: DUP2 00000631: MSTORE 00000632: PUSH1 0x20 00000634: ADD 00000635: PUSH1 0x40 00000637: MLOAD 00000638: DUP1 00000639: SWAP2 0000063a: SUB 0000063b: SWAP1 0000063c: RETURN 0000063d: JUMPDEST 0000063e: CALLVALUE 0000063f: ISZERO 00000640: PUSH2 0x0648 00000643: JUMPI 00000644: PUSH1 0x00 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: PUSH2 0x01fe 0000064c: PUSH1 0x01 0000064e: PUSH1 0xa0 00000650: PUSH1 0x02 00000652: EXP 00000653: SUB 00000654: PUSH1 0x04 00000656: CALLDATALOAD 00000657: DUP2 00000658: AND 00000659: SWAP1 0000065a: PUSH1 0x24 0000065c: CALLDATALOAD 0000065d: SWAP1 0000065e: PUSH1 0x44 00000660: CALLDATALOAD 00000661: DUP2 00000662: AND 00000663: SWAP1 00000664: PUSH1 0x64 00000666: CALLDATALOAD 00000667: SWAP1 00000668: PUSH1 0x84 0000066a: CALLDATALOAD 0000066b: SWAP1 0000066c: PUSH1 0xa4 0000066e: CALLDATALOAD 0000066f: SWAP1 00000670: PUSH1 0xc4 00000672: CALLDATALOAD 00000673: AND 00000674: PUSH1 0xff 00000676: PUSH1 0xe4 00000678: CALLDATALOAD 00000679: AND 0000067a: PUSH2 0x0104 0000067d: CALLDATALOAD 0000067e: PUSH2 0x0124 00000681: CALLDATALOAD 00000682: PUSH2 0x1b3f 00000685: JUMP 00000686: JUMPDEST 00000687: PUSH1 0x40 00000689: MLOAD 0000068a: SWAP1 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x20 0000068f: ADD 00000690: PUSH1 0x40 00000692: MLOAD 00000693: DUP1 00000694: SWAP2 00000695: SUB 00000696: SWAP1 00000697: RETURN 00000698: JUMPDEST 00000699: PUSH1 0x00 0000069b: PUSH1 0x02 0000069d: ADDRESS 0000069e: DUP14 0000069f: DUP14 000006a0: DUP14 000006a1: DUP14 000006a2: DUP14 000006a3: DUP14 000006a4: PUSH1 0x00 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: PUSH1 0x20 000006ab: ADD 000006ac: MSTORE 000006ad: PUSH1 0x40 000006af: MLOAD 000006b0: PUSH13 0x01000000000000000000000000 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: PUSH1 0x02 000006c4: EXP 000006c5: SUB 000006c6: SWAP9 000006c7: DUP10 000006c8: AND 000006c9: DUP2 000006ca: MUL 000006cb: DUP3 000006cc: MSTORE 000006cd: SWAP7 000006ce: DUP9 000006cf: AND 000006d0: DUP8 000006d1: MUL 000006d2: PUSH1 0x14 000006d4: DUP3 000006d5: ADD 000006d6: MSTORE 000006d7: PUSH1 0x28 000006d9: DUP2 000006da: ADD 000006db: SWAP6 000006dc: SWAP1 000006dd: SWAP6 000006de: MSTORE 000006df: SWAP3 000006e0: SWAP1 000006e1: SWAP6 000006e2: AND 000006e3: SWAP1 000006e4: SWAP4 000006e5: MUL 000006e6: PUSH1 0x48 000006e8: DUP4 000006e9: ADD 000006ea: MSTORE 000006eb: PUSH1 0x5c 000006ed: DUP3 000006ee: ADD 000006ef: SWAP3 000006f0: SWAP1 000006f1: SWAP3 000006f2: MSTORE 000006f3: PUSH1 0x7c 000006f5: DUP2 000006f6: ADD 000006f7: SWAP3 000006f8: SWAP1 000006f9: SWAP3 000006fa: MSTORE 000006fb: PUSH1 0x9c 000006fd: DUP3 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0xbc 00000702: ADD 00000703: PUSH1 0x20 00000705: PUSH1 0x40 00000707: MLOAD 00000708: DUP1 00000709: DUP4 0000070a: SUB 0000070b: DUP2 0000070c: PUSH1 0x00 0000070e: DUP7 0000070f: PUSH2 0x646e 00000712: GAS 00000713: SUB 00000714: CALL 00000715: ISZERO 00000716: ISZERO 00000717: PUSH2 0x071f 0000071a: JUMPI 0000071b: PUSH1 0x00 0000071d: DUP1 0000071e: REVERT 0000071f: JUMPDEST 00000720: POP 00000721: POP 00000722: PUSH1 0x40 00000724: MLOAD 00000725: DUP1 00000726: MLOAD 00000727: SWAP2 00000728: POP 00000729: POP 0000072a: PUSH1 0x01 0000072c: PUSH1 0xa0 0000072e: PUSH1 0x02 00000730: EXP 00000731: SUB 00000732: DUP7 00000733: AND 00000734: PUSH1 0x01 00000736: DUP3 00000737: PUSH1 0x40 00000739: MLOAD 0000073a: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 0000075b: DUP2 0000075c: MSTORE 0000075d: PUSH1 0x1c 0000075f: DUP2 00000760: ADD 00000761: SWAP2 00000762: SWAP1 00000763: SWAP2 00000764: MSTORE 00000765: PUSH1 0x3c 00000767: ADD 00000768: PUSH1 0x40 0000076a: MLOAD 0000076b: DUP1 0000076c: SWAP2 0000076d: SUB 0000076e: SWAP1 0000076f: KECCAK256 00000770: DUP8 00000771: DUP8 00000772: DUP8 00000773: PUSH1 0x40 00000775: MLOAD 00000776: DUP1 00000777: PUSH1 0x00 00000779: MSTORE 0000077a: PUSH1 0x20 0000077c: ADD 0000077d: PUSH1 0x40 0000077f: MSTORE 00000780: PUSH1 0x00 00000782: PUSH1 0x40 00000784: MLOAD 00000785: PUSH1 0x20 00000787: ADD 00000788: MSTORE 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: SWAP4 0000078d: DUP5 0000078e: MSTORE 0000078f: PUSH1 0xff 00000791: SWAP1 00000792: SWAP3 00000793: AND 00000794: PUSH1 0x20 00000796: DUP1 00000797: DUP6 00000798: ADD 00000799: SWAP2 0000079a: SWAP1 0000079b: SWAP2 0000079c: MSTORE 0000079d: PUSH1 0x40 0000079f: DUP1 000007a0: DUP6 000007a1: ADD 000007a2: SWAP3 000007a3: SWAP1 000007a4: SWAP3 000007a5: MSTORE 000007a6: PUSH1 0x60 000007a8: DUP5 000007a9: ADD 000007aa: SWAP3 000007ab: SWAP1 000007ac: SWAP3 000007ad: MSTORE 000007ae: PUSH1 0x80 000007b0: SWAP1 000007b1: SWAP3 000007b2: ADD 000007b3: SWAP2 000007b4: MLOAD 000007b5: PUSH1 0x20 000007b7: DUP2 000007b8: SUB 000007b9: SWAP1 000007ba: DUP1 000007bb: DUP5 000007bc: SUB 000007bd: SWAP1 000007be: PUSH1 0x00 000007c0: DUP7 000007c1: PUSH2 0x646e 000007c4: GAS 000007c5: SUB 000007c6: CALL 000007c7: ISZERO 000007c8: ISZERO 000007c9: PUSH2 0x07d1 000007cc: JUMPI 000007cd: PUSH1 0x00 000007cf: DUP1 000007d0: REVERT 000007d1: JUMPDEST 000007d2: POP 000007d3: POP 000007d4: PUSH1 0x20 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: SUB 000007da: MLOAD 000007db: PUSH1 0x01 000007dd: PUSH1 0xa0 000007df: PUSH1 0x02 000007e1: EXP 000007e2: SUB 000007e3: AND 000007e4: EQ 000007e5: ISZERO 000007e6: DUP1 000007e7: PUSH2 0x07ef 000007ea: JUMPI 000007eb: POP 000007ec: DUP8 000007ed: NUMBER 000007ee: GT 000007ef: JUMPDEST 000007f0: DUP1 000007f1: PUSH2 0x0827 000007f4: JUMPI 000007f5: POP 000007f6: PUSH1 0x01 000007f8: PUSH1 0xa0 000007fa: PUSH1 0x02 000007fc: EXP 000007fd: SUB 000007fe: DUP7 000007ff: AND 00000800: PUSH1 0x00 00000802: SWAP1 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x06 00000807: PUSH1 0x20 00000809: SWAP1 0000080a: DUP2 0000080b: MSTORE 0000080c: PUSH1 0x40 0000080e: DUP1 0000080f: DUP4 00000810: KECCAK256 00000811: DUP5 00000812: DUP5 00000813: MSTORE 00000814: SWAP1 00000815: SWAP2 00000816: MSTORE 00000817: SWAP1 00000818: KECCAK256 00000819: SLOAD 0000081a: DUP12 0000081b: SWAP1 0000081c: PUSH2 0x0825 0000081f: SWAP1 00000820: DUP5 00000821: PUSH2 0x1d3d 00000824: JUMP 00000825: JUMPDEST 00000826: GT 00000827: JUMPDEST 00000828: ISZERO 00000829: PUSH2 0x0831 0000082c: JUMPI 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: REVERT 00000831: JUMPDEST 00000832: PUSH2 0x0840 00000835: DUP13 00000836: DUP13 00000837: DUP13 00000838: DUP13 00000839: DUP11 0000083a: CALLER 0000083b: DUP9 0000083c: PUSH2 0x1d65 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: PUSH1 0x02 00000847: EXP 00000848: SUB 00000849: DUP7 0000084a: AND 0000084b: PUSH1 0x00 0000084d: SWAP1 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x06 00000852: PUSH1 0x20 00000854: SWAP1 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x40 00000859: DUP1 0000085a: DUP4 0000085b: KECCAK256 0000085c: DUP5 0000085d: DUP5 0000085e: MSTORE 0000085f: SWAP1 00000860: SWAP2 00000861: MSTORE 00000862: SWAP1 00000863: KECCAK256 00000864: SLOAD 00000865: PUSH2 0x086e 00000868: SWAP1 00000869: DUP4 0000086a: PUSH2 0x1d3d 0000086d: JUMP 0000086e: JUMPDEST 0000086f: PUSH1 0x01 00000871: PUSH1 0xa0 00000873: PUSH1 0x02 00000875: EXP 00000876: SUB 00000877: DUP8 00000878: AND 00000879: PUSH1 0x00 0000087b: SWAP1 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x06 00000880: PUSH1 0x20 00000882: SWAP1 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x40 00000887: DUP1 00000888: DUP4 00000889: KECCAK256 0000088a: DUP6 0000088b: DUP5 0000088c: MSTORE 0000088d: SWAP1 0000088e: SWAP2 0000088f: MSTORE 00000890: SWAP1 00000891: KECCAK256 00000892: SSTORE 00000893: PUSH32 0x3314c351c2a2a45771640a1442b843167a4da29bd543612311c031bbfb4ffa98 000008b4: DUP13 000008b5: DUP4 000008b6: DUP13 000008b7: DUP15 000008b8: DUP14 000008b9: DUP4 000008ba: MUL 000008bb: DUP2 000008bc: ISZERO 000008bd: ISZERO 000008be: PUSH2 0x08c3 000008c1: JUMPI 000008c2: INVALID 000008c3: JUMPDEST 000008c4: DIV 000008c5: DUP11 000008c6: CALLER 000008c7: DUP14 000008c8: PUSH1 0x40 000008ca: MLOAD 000008cb: PUSH1 0x01 000008cd: PUSH1 0xa0 000008cf: PUSH1 0x02 000008d1: EXP 000008d2: SUB 000008d3: SWAP8 000008d4: DUP9 000008d5: AND 000008d6: DUP2 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: DUP2 000008db: ADD 000008dc: SWAP7 000008dd: SWAP1 000008de: SWAP7 000008df: MSTORE 000008e0: SWAP4 000008e1: DUP7 000008e2: AND 000008e3: PUSH1 0x40 000008e5: DUP1 000008e6: DUP8 000008e7: ADD 000008e8: SWAP2 000008e9: SWAP1 000008ea: SWAP2 000008eb: MSTORE 000008ec: PUSH1 0x60 000008ee: DUP7 000008ef: ADD 000008f0: SWAP4 000008f1: SWAP1 000008f2: SWAP4 000008f3: MSTORE 000008f4: SWAP1 000008f5: DUP6 000008f6: AND 000008f7: PUSH1 0x80 000008f9: DUP6 000008fa: ADD 000008fb: MSTORE 000008fc: SWAP1 000008fd: SWAP4 000008fe: AND 000008ff: PUSH1 0xa0 00000901: DUP4 00000902: ADD 00000903: MSTORE 00000904: PUSH1 0xc0 00000906: DUP3 00000907: ADD 00000908: MSTORE 00000909: PUSH1 0xe0 0000090b: ADD 0000090c: SWAP1 0000090d: MLOAD 0000090e: DUP1 0000090f: SWAP2 00000910: SUB 00000911: SWAP1 00000912: LOG1 00000913: JUMPDEST 00000914: POP 00000915: POP 00000916: POP 00000917: POP 00000918: POP 00000919: POP 0000091a: POP 0000091b: POP 0000091c: POP 0000091d: POP 0000091e: POP 0000091f: POP 00000920: JUMP 00000921: JUMPDEST 00000922: PUSH1 0x08 00000924: SLOAD 00000925: PUSH1 0xa0 00000927: PUSH1 0x02 00000929: EXP 0000092a: SWAP1 0000092b: DIV 0000092c: PUSH1 0xff 0000092e: AND 0000092f: DUP2 00000930: JUMP 00000931: JUMPDEST 00000932: PUSH1 0x06 00000934: PUSH1 0x20 00000936: SWAP1 00000937: DUP2 00000938: MSTORE 00000939: PUSH1 0x00 0000093b: SWAP3 0000093c: DUP4 0000093d: MSTORE 0000093e: PUSH1 0x40 00000940: DUP1 00000941: DUP5 00000942: KECCAK256 00000943: SWAP1 00000944: SWAP2 00000945: MSTORE 00000946: SWAP1 00000947: DUP3 00000948: MSTORE 00000949: SWAP1 0000094a: KECCAK256 0000094b: SLOAD 0000094c: DUP2 0000094d: JUMP 0000094e: JUMPDEST 0000094f: PUSH1 0x00 00000951: PUSH1 0x02 00000953: ADDRESS 00000954: DUP12 00000955: DUP12 00000956: DUP12 00000957: DUP12 00000958: DUP12 00000959: DUP12 0000095a: PUSH1 0x00 0000095c: PUSH1 0x40 0000095e: MLOAD 0000095f: PUSH1 0x20 00000961: ADD 00000962: MSTORE 00000963: PUSH1 0x40 00000965: MLOAD 00000966: PUSH13 0x01000000000000000000000000 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: PUSH1 0x02 0000097a: EXP 0000097b: SUB 0000097c: SWAP9 0000097d: DUP10 0000097e: AND 0000097f: DUP2 00000980: MUL 00000981: DUP3 00000982: MSTORE 00000983: SWAP7 00000984: DUP9 00000985: AND 00000986: DUP8 00000987: MUL 00000988: PUSH1 0x14 0000098a: DUP3 0000098b: ADD 0000098c: MSTORE 0000098d: PUSH1 0x28 0000098f: DUP2 00000990: ADD 00000991: SWAP6 00000992: SWAP1 00000993: SWAP6 00000994: MSTORE 00000995: SWAP3 00000996: SWAP1 00000997: SWAP6 00000998: AND 00000999: SWAP1 0000099a: SWAP4 0000099b: MUL 0000099c: PUSH1 0x48 0000099e: DUP4 0000099f: ADD 000009a0: MSTORE 000009a1: PUSH1 0x5c 000009a3: DUP3 000009a4: ADD 000009a5: SWAP3 000009a6: SWAP1 000009a7: SWAP3 000009a8: MSTORE 000009a9: PUSH1 0x7c 000009ab: DUP2 000009ac: ADD 000009ad: SWAP3 000009ae: SWAP1 000009af: SWAP3 000009b0: MSTORE 000009b1: PUSH1 0x9c 000009b3: DUP3 000009b4: ADD 000009b5: MSTORE 000009b6: PUSH1 0xbc 000009b8: ADD 000009b9: PUSH1 0x20 000009bb: PUSH1 0x40 000009bd: MLOAD 000009be: DUP1 000009bf: DUP4 000009c0: SUB 000009c1: DUP2 000009c2: PUSH1 0x00 000009c4: DUP7 000009c5: PUSH2 0x646e 000009c8: GAS 000009c9: SUB 000009ca: CALL 000009cb: ISZERO 000009cc: ISZERO 000009cd: PUSH2 0x09d5 000009d0: JUMPI 000009d1: PUSH1 0x00 000009d3: DUP1 000009d4: REVERT 000009d5: JUMPDEST 000009d6: POP 000009d7: POP 000009d8: PUSH1 0x40 000009da: MLOAD 000009db: DUP1 000009dc: MLOAD 000009dd: SWAP2 000009de: POP 000009df: POP 000009e0: PUSH1 0x01 000009e2: PUSH1 0xa0 000009e4: PUSH1 0x02 000009e6: EXP 000009e7: SUB 000009e8: CALLER 000009e9: AND 000009ea: PUSH1 0x01 000009ec: DUP3 000009ed: PUSH1 0x40 000009ef: MLOAD 000009f0: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000a11: DUP2 00000a12: MSTORE 00000a13: PUSH1 0x1c 00000a15: DUP2 00000a16: ADD 00000a17: SWAP2 00000a18: SWAP1 00000a19: SWAP2 00000a1a: MSTORE 00000a1b: PUSH1 0x3c 00000a1d: ADD 00000a1e: PUSH1 0x40 00000a20: MLOAD 00000a21: DUP1 00000a22: SWAP2 00000a23: SUB 00000a24: SWAP1 00000a25: KECCAK256 00000a26: DUP7 00000a27: DUP7 00000a28: DUP7 00000a29: PUSH1 0x40 00000a2b: MLOAD 00000a2c: DUP1 00000a2d: PUSH1 0x00 00000a2f: MSTORE 00000a30: PUSH1 0x20 00000a32: ADD 00000a33: PUSH1 0x40 00000a35: MSTORE 00000a36: PUSH1 0x00 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: PUSH1 0x20 00000a3d: ADD 00000a3e: MSTORE 00000a3f: PUSH1 0x40 00000a41: MLOAD 00000a42: SWAP4 00000a43: DUP5 00000a44: MSTORE 00000a45: PUSH1 0xff 00000a47: SWAP1 00000a48: SWAP3 00000a49: AND 00000a4a: PUSH1 0x20 00000a4c: DUP1 00000a4d: DUP6 00000a4e: ADD 00000a4f: SWAP2 00000a50: SWAP1 00000a51: SWAP2 00000a52: MSTORE 00000a53: PUSH1 0x40 00000a55: DUP1 00000a56: DUP6 00000a57: ADD 00000a58: SWAP3 00000a59: SWAP1 00000a5a: SWAP3 00000a5b: MSTORE 00000a5c: PUSH1 0x60 00000a5e: DUP5 00000a5f: ADD 00000a60: SWAP3 00000a61: SWAP1 00000a62: SWAP3 00000a63: MSTORE 00000a64: PUSH1 0x80 00000a66: SWAP1 00000a67: SWAP3 00000a68: ADD 00000a69: SWAP2 00000a6a: MLOAD 00000a6b: PUSH1 0x20 00000a6d: DUP2 00000a6e: SUB 00000a6f: SWAP1 00000a70: DUP1 00000a71: DUP5 00000a72: SUB 00000a73: SWAP1 00000a74: PUSH1 0x00 00000a76: DUP7 00000a77: PUSH2 0x646e 00000a7a: GAS 00000a7b: SUB 00000a7c: CALL 00000a7d: ISZERO 00000a7e: ISZERO 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: POP 00000a89: POP 00000a8a: PUSH1 0x20 00000a8c: PUSH1 0x40 00000a8e: MLOAD 00000a8f: SUB 00000a90: MLOAD 00000a91: PUSH1 0x01 00000a93: PUSH1 0xa0 00000a95: PUSH1 0x02 00000a97: EXP 00000a98: SUB 00000a99: AND 00000a9a: EQ 00000a9b: PUSH2 0x0aa3 00000a9e: JUMPI 00000a9f: PUSH1 0x00 00000aa1: DUP1 00000aa2: REVERT 00000aa3: JUMPDEST 00000aa4: CALLER 00000aa5: PUSH1 0x01 00000aa7: PUSH1 0xa0 00000aa9: PUSH1 0x02 00000aab: EXP 00000aac: SUB 00000aad: DUP2 00000aae: AND 00000aaf: PUSH1 0x00 00000ab1: SWAP1 00000ab2: DUP2 00000ab3: MSTORE 00000ab4: PUSH1 0x06 00000ab6: PUSH1 0x20 00000ab8: SWAP1 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x40 00000abd: DUP1 00000abe: DUP4 00000abf: KECCAK256 00000ac0: DUP6 00000ac1: DUP5 00000ac2: MSTORE 00000ac3: SWAP1 00000ac4: SWAP2 00000ac5: MSTORE 00000ac6: SWAP1 00000ac7: DUP2 00000ac8: SWAP1 00000ac9: KECCAK256 00000aca: DUP12 00000acb: SWAP1 00000acc: SSTORE 00000acd: PUSH32 0x1e0b760c386003e9cb9bcf4fcf3997886042859d9b6ed6320e804597fcdb28b0 00000aee: SWAP2 00000aef: DUP13 00000af0: SWAP2 00000af1: DUP13 00000af2: SWAP2 00000af3: DUP13 00000af4: SWAP2 00000af5: DUP13 00000af6: SWAP2 00000af7: DUP13 00000af8: SWAP2 00000af9: DUP13 00000afa: SWAP2 00000afb: SWAP1 00000afc: DUP13 00000afd: SWAP1 00000afe: DUP13 00000aff: SWAP1 00000b00: DUP13 00000b01: SWAP1 00000b02: MLOAD 00000b03: PUSH1 0x01 00000b05: PUSH1 0xa0 00000b07: PUSH1 0x02 00000b09: EXP 00000b0a: SUB 00000b0b: SWAP11 00000b0c: DUP12 00000b0d: AND 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0x20 00000b12: DUP2 00000b13: ADD 00000b14: SWAP10 00000b15: SWAP1 00000b16: SWAP10 00000b17: MSTORE 00000b18: SWAP7 00000b19: DUP10 00000b1a: AND 00000b1b: PUSH1 0x40 00000b1d: DUP1 00000b1e: DUP11 00000b1f: ADD 00000b20: SWAP2 00000b21: SWAP1 00000b22: SWAP2 00000b23: MSTORE 00000b24: PUSH1 0x60 00000b26: DUP10 00000b27: ADD 00000b28: SWAP7 00000b29: SWAP1 00000b2a: SWAP7 00000b2b: MSTORE 00000b2c: PUSH1 0x80 00000b2e: DUP9 00000b2f: ADD 00000b30: SWAP5 00000b31: SWAP1 00000b32: SWAP5 00000b33: MSTORE 00000b34: PUSH1 0xa0 00000b36: DUP8 00000b37: ADD 00000b38: SWAP3 00000b39: SWAP1 00000b3a: SWAP3 00000b3b: MSTORE 00000b3c: SWAP1 00000b3d: SWAP6 00000b3e: AND 00000b3f: PUSH1 0xc0 00000b41: DUP6 00000b42: ADD 00000b43: MSTORE 00000b44: PUSH1 0xff 00000b46: SWAP1 00000b47: SWAP5 00000b48: AND 00000b49: PUSH1 0xe0 00000b4b: DUP5 00000b4c: ADD 00000b4d: MSTORE 00000b4e: PUSH2 0x0100 00000b51: DUP4 00000b52: ADD 00000b53: SWAP4 00000b54: SWAP1 00000b55: SWAP4 00000b56: MSTORE 00000b57: PUSH2 0x0120 00000b5a: DUP3 00000b5b: ADD 00000b5c: MSTORE 00000b5d: PUSH2 0x0140 00000b60: ADD 00000b61: SWAP1 00000b62: MLOAD 00000b63: DUP1 00000b64: SWAP2 00000b65: SUB 00000b66: SWAP1 00000b67: LOG1 00000b68: JUMPDEST 00000b69: POP 00000b6a: POP 00000b6b: POP 00000b6c: POP 00000b6d: POP 00000b6e: POP 00000b6f: POP 00000b70: POP 00000b71: POP 00000b72: POP 00000b73: JUMP 00000b74: JUMPDEST 00000b75: PUSH1 0x00 00000b77: DUP1 00000b78: PUSH1 0x02 00000b7a: ADDRESS 00000b7b: DUP11 00000b7c: DUP11 00000b7d: DUP11 00000b7e: DUP11 00000b7f: DUP11 00000b80: DUP11 00000b81: PUSH1 0x00 00000b83: PUSH1 0x40 00000b85: MLOAD 00000b86: PUSH1 0x20 00000b88: ADD 00000b89: MSTORE 00000b8a: PUSH1 0x40 00000b8c: MLOAD 00000b8d: PUSH13 0x01000000000000000000000000 00000b9b: PUSH1 0x01 00000b9d: PUSH1 0xa0 00000b9f: PUSH1 0x02 00000ba1: EXP 00000ba2: SUB 00000ba3: SWAP9 00000ba4: DUP10 00000ba5: AND 00000ba6: DUP2 00000ba7: MUL 00000ba8: DUP3 00000ba9: MSTORE 00000baa: SWAP7 00000bab: DUP9 00000bac: AND 00000bad: DUP8 00000bae: MUL 00000baf: PUSH1 0x14 00000bb1: DUP3 00000bb2: ADD 00000bb3: MSTORE 00000bb4: PUSH1 0x28 00000bb6: DUP2 00000bb7: ADD 00000bb8: SWAP6 00000bb9: SWAP1 00000bba: SWAP6 00000bbb: MSTORE 00000bbc: SWAP3 00000bbd: SWAP1 00000bbe: SWAP6 00000bbf: AND 00000bc0: SWAP1 00000bc1: SWAP4 00000bc2: MUL 00000bc3: PUSH1 0x48 00000bc5: DUP4 00000bc6: ADD 00000bc7: MSTORE 00000bc8: PUSH1 0x5c 00000bca: DUP3 00000bcb: ADD 00000bcc: SWAP3 00000bcd: SWAP1 00000bce: SWAP3 00000bcf: MSTORE 00000bd0: PUSH1 0x7c 00000bd2: DUP2 00000bd3: ADD 00000bd4: SWAP3 00000bd5: SWAP1 00000bd6: SWAP3 00000bd7: MSTORE 00000bd8: PUSH1 0x9c 00000bda: DUP3 00000bdb: ADD 00000bdc: MSTORE 00000bdd: PUSH1 0xbc 00000bdf: ADD 00000be0: PUSH1 0x20 00000be2: PUSH1 0x40 00000be4: MLOAD 00000be5: DUP1 00000be6: DUP4 00000be7: SUB 00000be8: DUP2 00000be9: PUSH1 0x00 00000beb: DUP7 00000bec: PUSH2 0x646e 00000bef: GAS 00000bf0: SUB 00000bf1: CALL 00000bf2: ISZERO 00000bf3: ISZERO 00000bf4: PUSH2 0x0bfc 00000bf7: JUMPI 00000bf8: PUSH1 0x00 00000bfa: DUP1 00000bfb: REVERT 00000bfc: JUMPDEST 00000bfd: POP 00000bfe: POP 00000bff: PUSH1 0x40 00000c01: MLOAD 00000c02: DUP1 00000c03: MLOAD 00000c04: PUSH1 0x01 00000c06: PUSH1 0xa0 00000c08: PUSH1 0x02 00000c0a: EXP 00000c0b: SUB 00000c0c: DUP6 00000c0d: AND 00000c0e: PUSH1 0x00 00000c10: SWAP1 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x06 00000c15: PUSH1 0x20 00000c17: SWAP1 00000c18: DUP2 00000c19: MSTORE 00000c1a: PUSH1 0x40 00000c1c: DUP1 00000c1d: DUP4 00000c1e: KECCAK256 00000c1f: DUP5 00000c20: DUP5 00000c21: MSTORE 00000c22: SWAP1 00000c23: SWAP2 00000c24: MSTORE 00000c25: SWAP1 00000c26: KECCAK256 00000c27: SLOAD 00000c28: SWAP4 00000c29: POP 00000c2a: SWAP2 00000c2b: POP 00000c2c: POP 00000c2d: JUMPDEST 00000c2e: POP 00000c2f: SWAP8 00000c30: SWAP7 00000c31: POP 00000c32: POP 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: CALLER 00000c3b: PUSH1 0x01 00000c3d: PUSH1 0xa0 00000c3f: PUSH1 0x02 00000c41: EXP 00000c42: SUB 00000c43: AND 00000c44: PUSH1 0x00 00000c46: SWAP1 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x00 00000c4b: DUP1 00000c4c: MLOAD 00000c4d: PUSH1 0x20 00000c4f: PUSH2 0x2180 00000c52: DUP4 00000c53: CODECOPY 00000c54: DUP2 00000c55: MLOAD 00000c56: SWAP2 00000c57: MSTORE 00000c58: PUSH1 0x20 00000c5a: MSTORE 00000c5b: PUSH1 0x40 00000c5d: SWAP1 00000c5e: KECCAK256 00000c5f: SLOAD 00000c60: DUP2 00000c61: SWAP1 00000c62: LT 00000c63: ISZERO 00000c64: PUSH2 0x0c6c 00000c67: JUMPI 00000c68: PUSH1 0x00 00000c6a: DUP1 00000c6b: REVERT 00000c6c: JUMPDEST 00000c6d: CALLER 00000c6e: PUSH1 0x01 00000c70: PUSH1 0xa0 00000c72: PUSH1 0x02 00000c74: EXP 00000c75: SUB 00000c76: AND 00000c77: PUSH1 0x00 00000c79: SWAP1 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x00 00000c7e: DUP1 00000c7f: MLOAD 00000c80: PUSH1 0x20 00000c82: PUSH2 0x2180 00000c85: DUP4 00000c86: CODECOPY 00000c87: DUP2 00000c88: MLOAD 00000c89: SWAP2 00000c8a: MSTORE 00000c8b: PUSH1 0x20 00000c8d: MSTORE 00000c8e: PUSH1 0x40 00000c90: SWAP1 00000c91: KECCAK256 00000c92: SLOAD 00000c93: PUSH2 0x0c9c 00000c96: SWAP1 00000c97: DUP3 00000c98: PUSH2 0x2139 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: CALLER 00000c9e: PUSH1 0x01 00000ca0: PUSH1 0xa0 00000ca2: PUSH1 0x02 00000ca4: EXP 00000ca5: SUB 00000ca6: AND 00000ca7: PUSH1 0x00 00000ca9: DUP2 00000caa: DUP2 00000cab: MSTORE 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: MLOAD 00000cb0: PUSH1 0x20 00000cb2: PUSH2 0x2180 00000cb5: DUP4 00000cb6: CODECOPY 00000cb7: DUP2 00000cb8: MLOAD 00000cb9: SWAP2 00000cba: MSTORE 00000cbb: PUSH1 0x20 00000cbd: MSTORE 00000cbe: PUSH1 0x40 00000cc0: SWAP1 00000cc1: DUP2 00000cc2: SWAP1 00000cc3: KECCAK256 00000cc4: SWAP3 00000cc5: SWAP1 00000cc6: SWAP3 00000cc7: SSTORE 00000cc8: SWAP1 00000cc9: DUP3 00000cca: SWAP1 00000ccb: MLOAD 00000ccc: PUSH1 0x00 00000cce: PUSH1 0x40 00000cd0: MLOAD 00000cd1: DUP1 00000cd2: DUP4 00000cd3: SUB 00000cd4: DUP2 00000cd5: DUP6 00000cd6: DUP8 00000cd7: PUSH2 0x8796 00000cda: GAS 00000cdb: SUB 00000cdc: CALL 00000cdd: SWAP3 00000cde: POP 00000cdf: POP 00000ce0: POP 00000ce1: ISZERO 00000ce2: ISZERO 00000ce3: PUSH2 0x0ceb 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: CALLER 00000ced: PUSH1 0x01 00000cef: PUSH1 0xa0 00000cf1: PUSH1 0x02 00000cf3: EXP 00000cf4: SUB 00000cf5: DUP2 00000cf6: AND 00000cf7: PUSH1 0x00 00000cf9: SWAP1 00000cfa: DUP2 00000cfb: MSTORE 00000cfc: PUSH1 0x00 00000cfe: DUP1 00000cff: MLOAD 00000d00: PUSH1 0x20 00000d02: PUSH2 0x2180 00000d05: DUP4 00000d06: CODECOPY 00000d07: DUP2 00000d08: MLOAD 00000d09: SWAP2 00000d0a: MSTORE 00000d0b: PUSH1 0x20 00000d0d: MSTORE 00000d0e: PUSH1 0x40 00000d10: DUP1 00000d11: DUP3 00000d12: KECCAK256 00000d13: SLOAD 00000d14: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 00000d35: SWAP4 00000d36: SWAP2 00000d37: DUP6 00000d38: SWAP2 00000d39: SWAP1 00000d3a: MLOAD 00000d3b: PUSH1 0x01 00000d3d: PUSH1 0xa0 00000d3f: PUSH1 0x02 00000d41: EXP 00000d42: SUB 00000d43: SWAP5 00000d44: DUP6 00000d45: AND 00000d46: DUP2 00000d47: MSTORE 00000d48: SWAP3 00000d49: SWAP1 00000d4a: SWAP4 00000d4b: AND 00000d4c: PUSH1 0x20 00000d4e: DUP4 00000d4f: ADD 00000d50: MSTORE 00000d51: PUSH1 0x40 00000d53: DUP1 00000d54: DUP4 00000d55: ADD 00000d56: SWAP2 00000d57: SWAP1 00000d58: SWAP2 00000d59: MSTORE 00000d5a: PUSH1 0x60 00000d5c: DUP3 00000d5d: ADD 00000d5e: SWAP3 00000d5f: SWAP1 00000d60: SWAP3 00000d61: MSTORE 00000d62: PUSH1 0x80 00000d64: ADD 00000d65: SWAP1 00000d66: MLOAD 00000d67: DUP1 00000d68: SWAP2 00000d69: SUB 00000d6a: SWAP1 00000d6b: LOG1 00000d6c: JUMPDEST 00000d6d: POP 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x08 00000d72: SLOAD 00000d73: PUSH1 0xa0 00000d75: PUSH1 0x02 00000d77: EXP 00000d78: SWAP1 00000d79: DIV 00000d7a: PUSH1 0xff 00000d7c: AND 00000d7d: ISZERO 00000d7e: PUSH2 0x0d86 00000d81: JUMPI 00000d82: PUSH1 0x00 00000d84: DUP1 00000d85: REVERT 00000d86: JUMPDEST 00000d87: PUSH1 0x01 00000d89: PUSH1 0xa0 00000d8b: PUSH1 0x02 00000d8d: EXP 00000d8e: SUB 00000d8f: DUP3 00000d90: AND 00000d91: ISZERO 00000d92: ISZERO 00000d93: PUSH2 0x0d9b 00000d96: JUMPI 00000d97: PUSH1 0x00 00000d99: DUP1 00000d9a: REVERT 00000d9b: JUMPDEST 00000d9c: DUP2 00000d9d: PUSH1 0x01 00000d9f: PUSH1 0xa0 00000da1: PUSH1 0x02 00000da3: EXP 00000da4: SUB 00000da5: AND 00000da6: PUSH4 0x23b872dd 00000dab: CALLER 00000dac: ADDRESS 00000dad: DUP5 00000dae: PUSH1 0x00 00000db0: PUSH1 0x40 00000db2: MLOAD 00000db3: PUSH1 0x20 00000db5: ADD 00000db6: MSTORE 00000db7: PUSH1 0x40 00000db9: MLOAD 00000dba: PUSH1 0xe0 00000dbc: PUSH1 0x02 00000dbe: EXP 00000dbf: PUSH4 0xffffffff 00000dc4: DUP7 00000dc5: AND 00000dc6: MUL 00000dc7: DUP2 00000dc8: MSTORE 00000dc9: PUSH1 0x01 00000dcb: PUSH1 0xa0 00000dcd: PUSH1 0x02 00000dcf: EXP 00000dd0: SUB 00000dd1: SWAP4 00000dd2: DUP5 00000dd3: AND 00000dd4: PUSH1 0x04 00000dd6: DUP3 00000dd7: ADD 00000dd8: MSTORE 00000dd9: SWAP2 00000dda: SWAP1 00000ddb: SWAP3 00000ddc: AND 00000ddd: PUSH1 0x24 00000ddf: DUP3 00000de0: ADD 00000de1: MSTORE 00000de2: PUSH1 0x44 00000de4: DUP2 00000de5: ADD 00000de6: SWAP2 00000de7: SWAP1 00000de8: SWAP2 00000de9: MSTORE 00000dea: PUSH1 0x64 00000dec: ADD 00000ded: PUSH1 0x20 00000def: PUSH1 0x40 00000df1: MLOAD 00000df2: DUP1 00000df3: DUP4 00000df4: SUB 00000df5: DUP2 00000df6: PUSH1 0x00 00000df8: DUP8 00000df9: DUP1 00000dfa: EXTCODESIZE 00000dfb: ISZERO 00000dfc: ISZERO 00000dfd: PUSH2 0x0e05 00000e00: JUMPI 00000e01: PUSH1 0x00 00000e03: DUP1 00000e04: REVERT 00000e05: JUMPDEST 00000e06: PUSH2 0x02c6 00000e09: GAS 00000e0a: SUB 00000e0b: CALL 00000e0c: ISZERO 00000e0d: ISZERO 00000e0e: PUSH2 0x0e16 00000e11: JUMPI 00000e12: PUSH1 0x00 00000e14: DUP1 00000e15: REVERT 00000e16: JUMPDEST 00000e17: POP 00000e18: POP 00000e19: POP 00000e1a: PUSH1 0x40 00000e1c: MLOAD 00000e1d: DUP1 00000e1e: MLOAD 00000e1f: SWAP1 00000e20: POP 00000e21: ISZERO 00000e22: ISZERO 00000e23: PUSH2 0x0e2b 00000e26: JUMPI 00000e27: PUSH1 0x00 00000e29: DUP1 00000e2a: REVERT 00000e2b: JUMPDEST 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0xa0 00000e30: PUSH1 0x02 00000e32: EXP 00000e33: SUB 00000e34: DUP1 00000e35: DUP4 00000e36: AND 00000e37: PUSH1 0x00 00000e39: SWAP1 00000e3a: DUP2 00000e3b: MSTORE 00000e3c: PUSH1 0x05 00000e3e: PUSH1 0x20 00000e40: SWAP1 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x40 00000e45: DUP1 00000e46: DUP4 00000e47: KECCAK256 00000e48: CALLER 00000e49: SWAP1 00000e4a: SWAP5 00000e4b: AND 00000e4c: DUP4 00000e4d: MSTORE 00000e4e: SWAP3 00000e4f: SWAP1 00000e50: MSTORE 00000e51: KECCAK256 00000e52: SLOAD 00000e53: PUSH2 0x0e5c 00000e56: SWAP1 00000e57: DUP3 00000e58: PUSH2 0x1d3d 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: PUSH1 0x01 00000e5f: PUSH1 0xa0 00000e61: PUSH1 0x02 00000e63: EXP 00000e64: SUB 00000e65: DUP4 00000e66: DUP2 00000e67: AND 00000e68: PUSH1 0x00 00000e6a: SWAP1 00000e6b: DUP2 00000e6c: MSTORE 00000e6d: PUSH1 0x05 00000e6f: PUSH1 0x20 00000e71: SWAP1 00000e72: DUP2 00000e73: MSTORE 00000e74: PUSH1 0x40 00000e76: DUP1 00000e77: DUP4 00000e78: KECCAK256 00000e79: CALLER 00000e7a: SWAP5 00000e7b: DUP6 00000e7c: AND 00000e7d: DUP5 00000e7e: MSTORE 00000e7f: SWAP1 00000e80: SWAP2 00000e81: MSTORE 00000e82: SWAP1 00000e83: DUP2 00000e84: SWAP1 00000e85: KECCAK256 00000e86: DUP4 00000e87: SWAP1 00000e88: SSTORE 00000e89: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00000eaa: SWAP3 00000eab: DUP6 00000eac: SWAP3 00000ead: SWAP2 00000eae: DUP6 00000eaf: SWAP2 00000eb0: SWAP1 00000eb1: MLOAD 00000eb2: PUSH1 0x01 00000eb4: PUSH1 0xa0 00000eb6: PUSH1 0x02 00000eb8: EXP 00000eb9: SUB 00000eba: SWAP5 00000ebb: DUP6 00000ebc: AND 00000ebd: DUP2 00000ebe: MSTORE 00000ebf: SWAP3 00000ec0: SWAP1 00000ec1: SWAP4 00000ec2: AND 00000ec3: PUSH1 0x20 00000ec5: DUP4 00000ec6: ADD 00000ec7: MSTORE 00000ec8: PUSH1 0x40 00000eca: DUP1 00000ecb: DUP4 00000ecc: ADD 00000ecd: SWAP2 00000ece: SWAP1 00000ecf: SWAP2 00000ed0: MSTORE 00000ed1: PUSH1 0x60 00000ed3: DUP3 00000ed4: ADD 00000ed5: SWAP3 00000ed6: SWAP1 00000ed7: SWAP3 00000ed8: MSTORE 00000ed9: PUSH1 0x80 00000edb: ADD 00000edc: SWAP1 00000edd: MLOAD 00000ede: DUP1 00000edf: SWAP2 00000ee0: SUB 00000ee1: SWAP1 00000ee2: LOG1 00000ee3: JUMPDEST 00000ee4: JUMPDEST 00000ee5: POP 00000ee6: POP 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH1 0x00 00000eeb: SLOAD 00000eec: CALLER 00000eed: PUSH1 0x01 00000eef: PUSH1 0xa0 00000ef1: PUSH1 0x02 00000ef3: EXP 00000ef4: SUB 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: AND 00000ef8: SWAP2 00000ef9: AND 00000efa: EQ 00000efb: PUSH2 0x0f03 00000efe: JUMPI 00000eff: PUSH1 0x00 00000f01: DUP1 00000f02: REVERT 00000f03: JUMPDEST 00000f04: PUSH1 0x02 00000f06: DUP1 00000f07: SLOAD 00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1d: NOT 00000f1e: AND 00000f1f: PUSH1 0x01 00000f21: PUSH1 0xa0 00000f23: PUSH1 0x02 00000f25: EXP 00000f26: SUB 00000f27: DUP4 00000f28: AND 00000f29: OR 00000f2a: SWAP1 00000f2b: SSTORE 00000f2c: JUMPDEST 00000f2d: JUMPDEST 00000f2e: POP 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH1 0x08 00000f33: SLOAD 00000f34: PUSH1 0x00 00000f36: SWAP1 00000f37: PUSH1 0xa0 00000f39: PUSH1 0x02 00000f3b: EXP 00000f3c: SWAP1 00000f3d: DIV 00000f3e: PUSH1 0xff 00000f40: AND 00000f41: ISZERO 00000f42: PUSH2 0x0f4a 00000f45: JUMPI 00000f46: PUSH1 0x00 00000f48: DUP1 00000f49: REVERT 00000f4a: JUMPDEST 00000f4b: PUSH1 0x01 00000f4d: PUSH1 0xa0 00000f4f: PUSH1 0x02 00000f51: EXP 00000f52: SUB 00000f53: DUP5 00000f54: AND 00000f55: ISZERO 00000f56: ISZERO 00000f57: PUSH2 0x0f5f 00000f5a: JUMPI 00000f5b: PUSH1 0x00 00000f5d: DUP1 00000f5e: REVERT 00000f5f: JUMPDEST 00000f60: PUSH1 0x01 00000f62: PUSH1 0xa0 00000f64: PUSH1 0x02 00000f66: EXP 00000f67: SUB 00000f68: DUP3 00000f69: AND 00000f6a: ISZERO 00000f6b: ISZERO 00000f6c: PUSH2 0x0f74 00000f6f: JUMPI 00000f70: PUSH1 0x00 00000f72: DUP1 00000f73: REVERT 00000f74: JUMPDEST 00000f75: PUSH1 0x00 00000f77: DUP4 00000f78: GT 00000f79: PUSH2 0x0f81 00000f7c: JUMPI 00000f7d: PUSH1 0x00 00000f7f: DUP1 00000f80: REVERT 00000f81: JUMPDEST 00000f82: POP 00000f83: CALLER 00000f84: PUSH1 0x00 00000f86: PUSH1 0x01 00000f88: PUSH1 0xa0 00000f8a: PUSH1 0x02 00000f8c: EXP 00000f8d: SUB 00000f8e: DUP3 00000f8f: AND 00000f90: PUSH4 0x54fd4d50 00000f95: DUP3 00000f96: PUSH1 0x40 00000f98: MLOAD 00000f99: PUSH1 0x20 00000f9b: ADD 00000f9c: MSTORE 00000f9d: PUSH1 0x40 00000f9f: MLOAD 00000fa0: DUP2 00000fa1: PUSH4 0xffffffff 00000fa6: AND 00000fa7: PUSH1 0xe0 00000fa9: PUSH1 0x02 00000fab: EXP 00000fac: MUL 00000fad: DUP2 00000fae: MSTORE 00000faf: PUSH1 0x04 00000fb1: ADD 00000fb2: PUSH1 0x20 00000fb4: PUSH1 0x40 00000fb6: MLOAD 00000fb7: DUP1 00000fb8: DUP4 00000fb9: SUB 00000fba: DUP2 00000fbb: PUSH1 0x00 00000fbd: DUP8 00000fbe: DUP1 00000fbf: EXTCODESIZE 00000fc0: ISZERO 00000fc1: ISZERO 00000fc2: PUSH2 0x0fca 00000fc5: JUMPI 00000fc6: PUSH1 0x00 00000fc8: DUP1 00000fc9: REVERT 00000fca: JUMPDEST 00000fcb: PUSH2 0x02c6 00000fce: GAS 00000fcf: SUB 00000fd0: CALL 00000fd1: ISZERO 00000fd2: ISZERO 00000fd3: PUSH2 0x0fdb 00000fd6: JUMPI 00000fd7: PUSH1 0x00 00000fd9: DUP1 00000fda: REVERT 00000fdb: JUMPDEST 00000fdc: POP 00000fdd: POP 00000fde: POP 00000fdf: PUSH1 0x40 00000fe1: MLOAD 00000fe2: DUP1 00000fe3: MLOAD 00000fe4: SWAP1 00000fe5: POP 00000fe6: PUSH2 0xffff 00000fe9: AND 00000fea: GT 00000feb: ISZERO 00000fec: ISZERO 00000fed: PUSH2 0x0ff5 00000ff0: JUMPI 00000ff1: PUSH1 0x00 00000ff3: DUP1 00000ff4: REVERT 00000ff5: JUMPDEST 00000ff6: DUP4 00000ff7: PUSH1 0x01 00000ff9: PUSH1 0xa0 00000ffb: PUSH1 0x02 00000ffd: EXP 00000ffe: SUB 00000fff: AND 00001000: PUSH4 0x23b872dd 00001005: CALLER 00001006: ADDRESS 00001007: DUP7 00001008: PUSH1 0x00 0000100a: PUSH1 0x40 0000100c: MLOAD 0000100d: PUSH1 0x20 0000100f: ADD 00001010: MSTORE 00001011: PUSH1 0x40 00001013: MLOAD 00001014: PUSH1 0xe0 00001016: PUSH1 0x02 00001018: EXP 00001019: PUSH4 0xffffffff 0000101e: DUP7 0000101f: AND 00001020: MUL 00001021: DUP2 00001022: MSTORE 00001023: PUSH1 0x01 00001025: PUSH1 0xa0 00001027: PUSH1 0x02 00001029: EXP 0000102a: SUB 0000102b: SWAP4 0000102c: DUP5 0000102d: AND 0000102e: PUSH1 0x04 00001030: DUP3 00001031: ADD 00001032: MSTORE 00001033: SWAP2 00001034: SWAP1 00001035: SWAP3 00001036: AND 00001037: PUSH1 0x24 00001039: DUP3 0000103a: ADD 0000103b: MSTORE 0000103c: PUSH1 0x44 0000103e: DUP2 0000103f: ADD 00001040: SWAP2 00001041: SWAP1 00001042: SWAP2 00001043: MSTORE 00001044: PUSH1 0x64 00001046: ADD 00001047: PUSH1 0x20 00001049: PUSH1 0x40 0000104b: MLOAD 0000104c: DUP1 0000104d: DUP4 0000104e: SUB 0000104f: DUP2 00001050: PUSH1 0x00 00001052: DUP8 00001053: DUP1 00001054: EXTCODESIZE 00001055: ISZERO 00001056: ISZERO 00001057: PUSH2 0x105f 0000105a: JUMPI 0000105b: PUSH1 0x00 0000105d: DUP1 0000105e: REVERT 0000105f: JUMPDEST 00001060: PUSH2 0x02c6 00001063: GAS 00001064: SUB 00001065: CALL 00001066: ISZERO 00001067: ISZERO 00001068: PUSH2 0x1070 0000106b: JUMPI 0000106c: PUSH1 0x00 0000106e: DUP1 0000106f: REVERT 00001070: JUMPDEST 00001071: POP 00001072: POP 00001073: POP 00001074: PUSH1 0x40 00001076: MLOAD 00001077: DUP1 00001078: MLOAD 00001079: SWAP1 0000107a: POP 0000107b: ISZERO 0000107c: ISZERO 0000107d: PUSH2 0x1085 00001080: JUMPI 00001081: PUSH1 0x00 00001083: DUP1 00001084: REVERT 00001085: JUMPDEST 00001086: PUSH1 0x01 00001088: PUSH1 0xa0 0000108a: PUSH1 0x02 0000108c: EXP 0000108d: SUB 0000108e: DUP1 0000108f: DUP6 00001090: AND 00001091: PUSH1 0x00 00001093: SWAP1 00001094: DUP2 00001095: MSTORE 00001096: PUSH1 0x05 00001098: PUSH1 0x20 0000109a: SWAP1 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x40 0000109f: DUP1 000010a0: DUP4 000010a1: KECCAK256 000010a2: SWAP4 000010a3: DUP7 000010a4: AND 000010a5: DUP4 000010a6: MSTORE 000010a7: SWAP3 000010a8: SWAP1 000010a9: MSTORE 000010aa: KECCAK256 000010ab: SLOAD 000010ac: PUSH2 0x10b5 000010af: SWAP1 000010b0: DUP5 000010b1: PUSH2 0x1d3d 000010b4: JUMP 000010b5: JUMPDEST 000010b6: PUSH1 0x01 000010b8: PUSH1 0xa0 000010ba: PUSH1 0x02 000010bc: EXP 000010bd: SUB 000010be: DUP1 000010bf: DUP7 000010c0: AND 000010c1: PUSH1 0x00 000010c3: SWAP1 000010c4: DUP2 000010c5: MSTORE 000010c6: PUSH1 0x05 000010c8: PUSH1 0x20 000010ca: SWAP1 000010cb: DUP2 000010cc: MSTORE 000010cd: PUSH1 0x40 000010cf: DUP1 000010d0: DUP4 000010d1: KECCAK256 000010d2: SWAP4 000010d3: DUP8 000010d4: AND 000010d5: DUP4 000010d6: MSTORE 000010d7: SWAP3 000010d8: SWAP1 000010d9: MSTORE 000010da: KECCAK256 000010db: SSTORE 000010dc: JUMPDEST 000010dd: JUMPDEST 000010de: POP 000010df: POP 000010e0: POP 000010e1: POP 000010e2: JUMP 000010e3: JUMPDEST 000010e4: PUSH1 0x00 000010e6: SLOAD 000010e7: CALLER 000010e8: PUSH1 0x01 000010ea: PUSH1 0xa0 000010ec: PUSH1 0x02 000010ee: EXP 000010ef: SUB 000010f0: SWAP1 000010f1: DUP2 000010f2: AND 000010f3: SWAP2 000010f4: AND 000010f5: EQ 000010f6: PUSH2 0x10fe 000010f9: JUMPI 000010fa: PUSH1 0x00 000010fc: DUP1 000010fd: REVERT 000010fe: JUMPDEST 000010ff: PUSH1 0x03 00001101: DUP1 00001102: SLOAD 00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001118: NOT 00001119: AND 0000111a: PUSH1 0x01 0000111c: PUSH1 0xa0 0000111e: PUSH1 0x02 00001120: EXP 00001121: SUB 00001122: DUP4 00001123: AND 00001124: OR 00001125: SWAP1 00001126: SSTORE 00001127: JUMPDEST 00001128: JUMPDEST 00001129: POP 0000112a: JUMP 0000112b: JUMPDEST 0000112c: PUSH1 0x05 0000112e: PUSH1 0x20 00001130: SWAP1 00001131: DUP2 00001132: MSTORE 00001133: PUSH1 0x00 00001135: SWAP3 00001136: DUP4 00001137: MSTORE 00001138: PUSH1 0x40 0000113a: DUP1 0000113b: DUP5 0000113c: KECCAK256 0000113d: SWAP1 0000113e: SWAP2 0000113f: MSTORE 00001140: SWAP1 00001141: DUP3 00001142: MSTORE 00001143: SWAP1 00001144: KECCAK256 00001145: SLOAD 00001146: DUP2 00001147: JUMP 00001148: JUMPDEST 00001149: PUSH1 0x08 0000114b: SLOAD 0000114c: PUSH22 0x01000000000000000000000000000000000000000000 00001163: SWAP1 00001164: DIV 00001165: PUSH2 0xffff 00001168: AND 00001169: DUP2 0000116a: JUMP 0000116b: JUMPDEST 0000116c: PUSH1 0x02 0000116e: SLOAD 0000116f: PUSH1 0x00 00001171: SWAP1 00001172: DUP2 00001173: SWAP1 00001174: PUSH1 0x01 00001176: PUSH1 0xa0 00001178: PUSH1 0x02 0000117a: EXP 0000117b: SUB 0000117c: AND 0000117d: ISZERO 0000117e: PUSH2 0x1203 00001181: JUMPI 00001182: PUSH1 0x02 00001184: SLOAD 00001185: PUSH1 0x01 00001187: PUSH1 0xa0 00001189: PUSH1 0x02 0000118b: EXP 0000118c: SUB 0000118d: AND 0000118e: PUSH4 0xea08ec2c 00001193: CALLER 00001194: PUSH1 0x00 00001196: PUSH1 0x40 00001198: MLOAD 00001199: PUSH1 0x40 0000119b: ADD 0000119c: MSTORE 0000119d: PUSH1 0x40 0000119f: MLOAD 000011a0: PUSH1 0xe0 000011a2: PUSH1 0x02 000011a4: EXP 000011a5: PUSH4 0xffffffff 000011aa: DUP5 000011ab: AND 000011ac: MUL 000011ad: DUP2 000011ae: MSTORE 000011af: PUSH1 0x01 000011b1: PUSH1 0xa0 000011b3: PUSH1 0x02 000011b5: EXP 000011b6: SUB 000011b7: SWAP1 000011b8: SWAP2 000011b9: AND 000011ba: PUSH1 0x04 000011bc: DUP3 000011bd: ADD 000011be: MSTORE 000011bf: PUSH1 0x24 000011c1: ADD 000011c2: PUSH1 0x40 000011c4: DUP1 000011c5: MLOAD 000011c6: DUP1 000011c7: DUP4 000011c8: SUB 000011c9: DUP2 000011ca: PUSH1 0x00 000011cc: DUP8 000011cd: DUP1 000011ce: EXTCODESIZE 000011cf: ISZERO 000011d0: ISZERO 000011d1: PUSH2 0x11d9 000011d4: JUMPI 000011d5: PUSH1 0x00 000011d7: DUP1 000011d8: REVERT 000011d9: JUMPDEST 000011da: PUSH2 0x02c6 000011dd: GAS 000011de: SUB 000011df: CALL 000011e0: ISZERO 000011e1: ISZERO 000011e2: PUSH2 0x11ea 000011e5: JUMPI 000011e6: PUSH1 0x00 000011e8: DUP1 000011e9: REVERT 000011ea: JUMPDEST 000011eb: POP 000011ec: POP 000011ed: POP 000011ee: PUSH1 0x40 000011f0: MLOAD 000011f1: DUP1 000011f2: MLOAD 000011f3: SWAP1 000011f4: PUSH1 0x20 000011f6: ADD 000011f7: DUP1 000011f8: MLOAD 000011f9: SWAP1 000011fa: POP 000011fb: SWAP2 000011fc: POP 000011fd: SWAP2 000011fe: POP 000011ff: PUSH2 0x120a 00001202: JUMP 00001203: JUMPDEST 00001204: POP 00001205: PUSH1 0x00 00001207: SWAP1 00001208: POP 00001209: DUP1 0000120a: JUMPDEST 0000120b: JUMPDEST 0000120c: SWAP1 0000120d: SWAP2 0000120e: JUMP 0000120f: JUMPDEST 00001210: PUSH1 0x00 00001212: SLOAD 00001213: CALLER 00001214: PUSH1 0x01 00001216: PUSH1 0xa0 00001218: PUSH1 0x02 0000121a: EXP 0000121b: SUB 0000121c: SWAP1 0000121d: DUP2 0000121e: AND 0000121f: SWAP2 00001220: AND 00001221: EQ 00001222: PUSH2 0x122a 00001225: JUMPI 00001226: PUSH1 0x00 00001228: DUP1 00001229: REVERT 0000122a: JUMPDEST 0000122b: PUSH1 0x04 0000122d: SLOAD 0000122e: DUP2 0000122f: GT 00001230: ISZERO 00001231: PUSH2 0x1239 00001234: JUMPI 00001235: PUSH1 0x00 00001237: DUP1 00001238: REVERT 00001239: JUMPDEST 0000123a: PUSH1 0x04 0000123c: DUP2 0000123d: SWAP1 0000123e: SSTORE 0000123f: JUMPDEST 00001240: JUMPDEST 00001241: POP 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x08 00001246: SLOAD 00001247: PUSH1 0x00 00001249: SWAP1 0000124a: PUSH1 0xa0 0000124c: PUSH1 0x02 0000124e: EXP 0000124f: SWAP1 00001250: DIV 00001251: PUSH1 0xff 00001253: AND 00001254: ISZERO 00001255: PUSH2 0x125d 00001258: JUMPI 00001259: PUSH1 0x00 0000125b: DUP1 0000125c: REVERT 0000125d: JUMPDEST 0000125e: PUSH1 0x01 00001260: PUSH1 0xa0 00001262: PUSH1 0x02 00001264: EXP 00001265: SUB 00001266: DUP3 00001267: AND 00001268: ISZERO 00001269: ISZERO 0000126a: PUSH2 0x1272 0000126d: JUMPI 0000126e: PUSH1 0x00 00001270: DUP1 00001271: REVERT 00001272: JUMPDEST 00001273: PUSH1 0x00 00001275: CALLVALUE 00001276: GT 00001277: PUSH2 0x127f 0000127a: JUMPI 0000127b: PUSH1 0x00 0000127d: DUP1 0000127e: REVERT 0000127f: JUMPDEST 00001280: POP 00001281: CALLER 00001282: PUSH1 0x00 00001284: PUSH1 0x01 00001286: PUSH1 0xa0 00001288: PUSH1 0x02 0000128a: EXP 0000128b: SUB 0000128c: DUP3 0000128d: AND 0000128e: PUSH4 0x54fd4d50 00001293: DUP3 00001294: PUSH1 0x40 00001296: MLOAD 00001297: PUSH1 0x20 00001299: ADD 0000129a: MSTORE 0000129b: PUSH1 0x40 0000129d: MLOAD 0000129e: DUP2 0000129f: PUSH4 0xffffffff 000012a4: AND 000012a5: PUSH1 0xe0 000012a7: PUSH1 0x02 000012a9: EXP 000012aa: MUL 000012ab: DUP2 000012ac: MSTORE 000012ad: PUSH1 0x04 000012af: ADD 000012b0: PUSH1 0x20 000012b2: PUSH1 0x40 000012b4: MLOAD 000012b5: DUP1 000012b6: DUP4 000012b7: SUB 000012b8: DUP2 000012b9: PUSH1 0x00 000012bb: DUP8 000012bc: DUP1 000012bd: EXTCODESIZE 000012be: ISZERO 000012bf: ISZERO 000012c0: PUSH2 0x12c8 000012c3: JUMPI 000012c4: PUSH1 0x00 000012c6: DUP1 000012c7: REVERT 000012c8: JUMPDEST 000012c9: PUSH2 0x02c6 000012cc: GAS 000012cd: SUB 000012ce: CALL 000012cf: ISZERO 000012d0: ISZERO 000012d1: PUSH2 0x12d9 000012d4: JUMPI 000012d5: PUSH1 0x00 000012d7: DUP1 000012d8: REVERT 000012d9: JUMPDEST 000012da: POP 000012db: POP 000012dc: POP 000012dd: PUSH1 0x40 000012df: MLOAD 000012e0: DUP1 000012e1: MLOAD 000012e2: SWAP1 000012e3: POP 000012e4: PUSH2 0xffff 000012e7: AND 000012e8: GT 000012e9: ISZERO 000012ea: ISZERO 000012eb: PUSH2 0x12f3 000012ee: JUMPI 000012ef: PUSH1 0x00 000012f1: DUP1 000012f2: REVERT 000012f3: JUMPDEST 000012f4: PUSH1 0x01 000012f6: PUSH1 0xa0 000012f8: PUSH1 0x02 000012fa: EXP 000012fb: SUB 000012fc: DUP3 000012fd: AND 000012fe: PUSH1 0x00 00001300: SWAP1 00001301: DUP2 00001302: MSTORE 00001303: PUSH1 0x00 00001305: DUP1 00001306: MLOAD 00001307: PUSH1 0x20 00001309: PUSH2 0x2180 0000130c: DUP4 0000130d: CODECOPY 0000130e: DUP2 0000130f: MLOAD 00001310: SWAP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: MSTORE 00001315: PUSH1 0x40 00001317: SWAP1 00001318: KECCAK256 00001319: SLOAD 0000131a: PUSH2 0x1323 0000131d: SWAP1 0000131e: CALLVALUE 0000131f: PUSH2 0x1d3d 00001322: JUMP 00001323: JUMPDEST 00001324: PUSH1 0x01 00001326: PUSH1 0xa0 00001328: PUSH1 0x02 0000132a: EXP 0000132b: SUB 0000132c: DUP4 0000132d: AND 0000132e: PUSH1 0x00 00001330: SWAP1 00001331: DUP2 00001332: MSTORE 00001333: PUSH1 0x00 00001335: DUP1 00001336: MLOAD 00001337: PUSH1 0x20 00001339: PUSH2 0x2180 0000133c: DUP4 0000133d: CODECOPY 0000133e: DUP2 0000133f: MLOAD 00001340: SWAP2 00001341: MSTORE 00001342: PUSH1 0x20 00001344: MSTORE 00001345: PUSH1 0x40 00001347: SWAP1 00001348: KECCAK256 00001349: SSTORE 0000134a: JUMPDEST 0000134b: JUMPDEST 0000134c: POP 0000134d: POP 0000134e: JUMP 0000134f: JUMPDEST 00001350: PUSH1 0x01 00001352: PUSH1 0xa0 00001354: PUSH1 0x02 00001356: EXP 00001357: SUB 00001358: DUP1 00001359: DUP14 0000135a: AND 0000135b: PUSH1 0x00 0000135d: SWAP1 0000135e: DUP2 0000135f: MSTORE 00001360: PUSH1 0x05 00001362: PUSH1 0x20 00001364: SWAP1 00001365: DUP2 00001366: MSTORE 00001367: PUSH1 0x40 00001369: DUP1 0000136a: DUP4 0000136b: KECCAK256 0000136c: SWAP4 0000136d: DUP6 0000136e: AND 0000136f: DUP4 00001370: MSTORE 00001371: SWAP3 00001372: SWAP1 00001373: MSTORE 00001374: SWAP1 00001375: DUP2 00001376: KECCAK256 00001377: SLOAD 00001378: DUP4 00001379: SWAP1 0000137a: LT 0000137b: DUP1 0000137c: PUSH2 0x1395 0000137f: JUMPI 00001380: POP 00001381: DUP3 00001382: PUSH2 0x1393 00001385: DUP15 00001386: DUP15 00001387: DUP15 00001388: DUP15 00001389: DUP15 0000138a: DUP15 0000138b: DUP15 0000138c: DUP15 0000138d: DUP15 0000138e: DUP15 0000138f: PUSH2 0x1b3f 00001392: JUMP 00001393: JUMPDEST 00001394: LT 00001395: JUMPDEST 00001396: ISZERO 00001397: PUSH2 0x13a2 0000139a: JUMPI 0000139b: POP 0000139c: PUSH1 0x00 0000139e: PUSH2 0x13a6 000013a1: JUMP 000013a2: JUMPDEST 000013a3: POP 000013a4: PUSH1 0x01 000013a6: JUMPDEST 000013a7: SWAP13 000013a8: SWAP12 000013a9: POP 000013aa: POP 000013ab: POP 000013ac: POP 000013ad: POP 000013ae: POP 000013af: POP 000013b0: POP 000013b1: POP 000013b2: POP 000013b3: POP 000013b4: POP 000013b5: JUMP 000013b6: JUMPDEST 000013b7: PUSH1 0x07 000013b9: SLOAD 000013ba: PUSH1 0x01 000013bc: PUSH1 0xa0 000013be: PUSH1 0x02 000013c0: EXP 000013c1: SUB 000013c2: AND 000013c3: DUP2 000013c4: JUMP 000013c5: JUMPDEST 000013c6: PUSH1 0x00 000013c8: SLOAD 000013c9: CALLER 000013ca: PUSH1 0x01 000013cc: PUSH1 0xa0 000013ce: PUSH1 0x02 000013d0: EXP 000013d1: SUB 000013d2: SWAP1 000013d3: DUP2 000013d4: AND 000013d5: SWAP2 000013d6: AND 000013d7: EQ 000013d8: PUSH2 0x13e0 000013db: JUMPI 000013dc: PUSH1 0x00 000013de: DUP1 000013df: REVERT 000013e0: JUMPDEST 000013e1: PUSH1 0x01 000013e3: PUSH1 0xa0 000013e5: PUSH1 0x02 000013e7: EXP 000013e8: SUB 000013e9: DUP2 000013ea: AND 000013eb: ISZERO 000013ec: ISZERO 000013ed: PUSH2 0x13f5 000013f0: JUMPI 000013f1: PUSH1 0x00 000013f3: DUP1 000013f4: REVERT 000013f5: JUMPDEST 000013f6: PUSH1 0x01 000013f8: DUP1 000013f9: SLOAD 000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140f: NOT 00001410: AND 00001411: PUSH1 0x01 00001413: PUSH1 0xa0 00001415: PUSH1 0x02 00001417: EXP 00001418: SUB 00001419: DUP4 0000141a: AND 0000141b: OR 0000141c: SWAP1 0000141d: SSTORE 0000141e: JUMPDEST 0000141f: JUMPDEST 00001420: POP 00001421: JUMP 00001422: JUMPDEST 00001423: PUSH1 0x00 00001425: SLOAD 00001426: PUSH1 0x01 00001428: PUSH1 0xa0 0000142a: PUSH1 0x02 0000142c: EXP 0000142d: SUB 0000142e: AND 0000142f: DUP2 00001430: JUMP 00001431: JUMPDEST 00001432: PUSH1 0x01 00001434: PUSH1 0xa0 00001436: PUSH1 0x02 00001438: EXP 00001439: SUB 0000143a: DUP3 0000143b: AND 0000143c: ISZERO 0000143d: ISZERO 0000143e: PUSH2 0x1446 00001441: JUMPI 00001442: PUSH1 0x00 00001444: DUP1 00001445: REVERT 00001446: JUMPDEST 00001447: PUSH1 0x01 00001449: PUSH1 0xa0 0000144b: PUSH1 0x02 0000144d: EXP 0000144e: SUB 0000144f: DUP1 00001450: DUP4 00001451: AND 00001452: PUSH1 0x00 00001454: SWAP1 00001455: DUP2 00001456: MSTORE 00001457: PUSH1 0x05 00001459: PUSH1 0x20 0000145b: SWAP1 0000145c: DUP2 0000145d: MSTORE 0000145e: PUSH1 0x40 00001460: DUP1 00001461: DUP4 00001462: KECCAK256 00001463: CALLER 00001464: SWAP1 00001465: SWAP5 00001466: AND 00001467: DUP4 00001468: MSTORE 00001469: SWAP3 0000146a: SWAP1 0000146b: MSTORE 0000146c: KECCAK256 0000146d: SLOAD 0000146e: DUP2 0000146f: SWAP1 00001470: LT 00001471: ISZERO 00001472: PUSH2 0x147a 00001475: JUMPI 00001476: PUSH1 0x00 00001478: DUP1 00001479: REVERT 0000147a: JUMPDEST 0000147b: PUSH1 0x01 0000147d: PUSH1 0xa0 0000147f: PUSH1 0x02 00001481: EXP 00001482: SUB 00001483: DUP1 00001484: DUP4 00001485: AND 00001486: PUSH1 0x00 00001488: SWAP1 00001489: DUP2 0000148a: MSTORE 0000148b: PUSH1 0x05 0000148d: PUSH1 0x20 0000148f: SWAP1 00001490: DUP2 00001491: MSTORE 00001492: PUSH1 0x40 00001494: DUP1 00001495: DUP4 00001496: KECCAK256 00001497: CALLER 00001498: SWAP1 00001499: SWAP5 0000149a: AND 0000149b: DUP4 0000149c: MSTORE 0000149d: SWAP3 0000149e: SWAP1 0000149f: MSTORE 000014a0: KECCAK256 000014a1: SLOAD 000014a2: PUSH2 0x14ab 000014a5: SWAP1 000014a6: DUP3 000014a7: PUSH2 0x2139 000014aa: JUMP 000014ab: JUMPDEST 000014ac: PUSH1 0x01 000014ae: PUSH1 0xa0 000014b0: PUSH1 0x02 000014b2: EXP 000014b3: SUB 000014b4: DUP1 000014b5: DUP5 000014b6: AND 000014b7: PUSH1 0x00 000014b9: DUP2 000014ba: DUP2 000014bb: MSTORE 000014bc: PUSH1 0x05 000014be: PUSH1 0x20 000014c0: SWAP1 000014c1: DUP2 000014c2: MSTORE 000014c3: PUSH1 0x40 000014c5: DUP1 000014c6: DUP4 000014c7: KECCAK256 000014c8: CALLER 000014c9: SWAP6 000014ca: DUP7 000014cb: AND 000014cc: DUP5 000014cd: MSTORE 000014ce: SWAP1 000014cf: SWAP2 000014d0: MSTORE 000014d1: DUP1 000014d2: DUP3 000014d3: KECCAK256 000014d4: SWAP5 000014d5: SWAP1 000014d6: SWAP5 000014d7: SSTORE 000014d8: SWAP1 000014d9: SWAP3 000014da: PUSH4 0xa9059cbb 000014df: SWAP3 000014e0: SWAP2 000014e1: DUP6 000014e2: SWAP2 000014e3: MLOAD 000014e4: PUSH1 0x20 000014e6: ADD 000014e7: MSTORE 000014e8: PUSH1 0x40 000014ea: MLOAD 000014eb: PUSH1 0xe0 000014ed: PUSH1 0x02 000014ef: EXP 000014f0: PUSH4 0xffffffff 000014f5: DUP6 000014f6: AND 000014f7: MUL 000014f8: DUP2 000014f9: MSTORE 000014fa: PUSH1 0x01 000014fc: PUSH1 0xa0 000014fe: PUSH1 0x02 00001500: EXP 00001501: SUB 00001502: SWAP1 00001503: SWAP3 00001504: AND 00001505: PUSH1 0x04 00001507: DUP4 00001508: ADD 00001509: MSTORE 0000150a: PUSH1 0x24 0000150c: DUP3 0000150d: ADD 0000150e: MSTORE 0000150f: PUSH1 0x44 00001511: ADD 00001512: PUSH1 0x20 00001514: PUSH1 0x40 00001516: MLOAD 00001517: DUP1 00001518: DUP4 00001519: SUB 0000151a: DUP2 0000151b: PUSH1 0x00 0000151d: DUP8 0000151e: DUP1 0000151f: EXTCODESIZE 00001520: ISZERO 00001521: ISZERO 00001522: PUSH2 0x152a 00001525: JUMPI 00001526: PUSH1 0x00 00001528: DUP1 00001529: REVERT 0000152a: JUMPDEST 0000152b: PUSH2 0x02c6 0000152e: GAS 0000152f: SUB 00001530: CALL 00001531: ISZERO 00001532: ISZERO 00001533: PUSH2 0x153b 00001536: JUMPI 00001537: PUSH1 0x00 00001539: DUP1 0000153a: REVERT 0000153b: JUMPDEST 0000153c: POP 0000153d: POP 0000153e: POP 0000153f: PUSH1 0x40 00001541: MLOAD 00001542: DUP1 00001543: MLOAD 00001544: SWAP1 00001545: POP 00001546: ISZERO 00001547: ISZERO 00001548: PUSH2 0x1550 0000154b: JUMPI 0000154c: PUSH1 0x00 0000154e: DUP1 0000154f: REVERT 00001550: JUMPDEST 00001551: PUSH1 0x01 00001553: PUSH1 0xa0 00001555: PUSH1 0x02 00001557: EXP 00001558: SUB 00001559: DUP1 0000155a: DUP4 0000155b: AND 0000155c: PUSH1 0x00 0000155e: SWAP1 0000155f: DUP2 00001560: MSTORE 00001561: PUSH1 0x05 00001563: PUSH1 0x20 00001565: SWAP1 00001566: DUP2 00001567: MSTORE 00001568: PUSH1 0x40 0000156a: DUP1 0000156b: DUP4 0000156c: KECCAK256 0000156d: CALLER 0000156e: SWAP5 0000156f: DUP6 00001570: AND 00001571: DUP5 00001572: MSTORE 00001573: SWAP1 00001574: SWAP2 00001575: MSTORE 00001576: SWAP1 00001577: DUP2 00001578: SWAP1 00001579: KECCAK256 0000157a: SLOAD 0000157b: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567 0000159c: SWAP3 0000159d: DUP6 0000159e: SWAP3 0000159f: SWAP1 000015a0: SWAP2 000015a1: DUP6 000015a2: SWAP2 000015a3: MLOAD 000015a4: PUSH1 0x01 000015a6: PUSH1 0xa0 000015a8: PUSH1 0x02 000015aa: EXP 000015ab: SUB 000015ac: SWAP5 000015ad: DUP6 000015ae: AND 000015af: DUP2 000015b0: MSTORE 000015b1: SWAP3 000015b2: SWAP1 000015b3: SWAP4 000015b4: AND 000015b5: PUSH1 0x20 000015b7: DUP4 000015b8: ADD 000015b9: MSTORE 000015ba: PUSH1 0x40 000015bc: DUP1 000015bd: DUP4 000015be: ADD 000015bf: SWAP2 000015c0: SWAP1 000015c1: SWAP2 000015c2: MSTORE 000015c3: PUSH1 0x60 000015c5: DUP3 000015c6: ADD 000015c7: SWAP3 000015c8: SWAP1 000015c9: SWAP3 000015ca: MSTORE 000015cb: PUSH1 0x80 000015cd: ADD 000015ce: SWAP1 000015cf: MLOAD 000015d0: DUP1 000015d1: SWAP2 000015d2: SUB 000015d3: SWAP1 000015d4: LOG1 000015d5: JUMPDEST 000015d6: POP 000015d7: POP 000015d8: JUMP 000015d9: JUMPDEST 000015da: PUSH1 0x08 000015dc: SLOAD 000015dd: PUSH1 0x01 000015df: PUSH1 0xa0 000015e1: PUSH1 0x02 000015e3: EXP 000015e4: SUB 000015e5: AND 000015e6: DUP2 000015e7: JUMP 000015e8: JUMPDEST 000015e9: PUSH1 0x07 000015eb: SLOAD 000015ec: PUSH1 0x00 000015ee: SWAP1 000015ef: DUP2 000015f0: SWAP1 000015f1: DUP2 000015f2: SWAP1 000015f3: DUP2 000015f4: SWAP1 000015f5: DUP2 000015f6: SWAP1 000015f7: DUP2 000015f8: SWAP1 000015f9: PUSH1 0x01 000015fb: PUSH1 0xa0 000015fd: PUSH1 0x02 000015ff: EXP 00001600: SUB 00001601: AND 00001602: ISZERO 00001603: ISZERO 00001604: PUSH2 0x160c 00001607: JUMPI 00001608: PUSH1 0x00 0000160a: DUP1 0000160b: REVERT 0000160c: JUMPDEST 0000160d: PUSH1 0x07 0000160f: SLOAD 00001610: PUSH1 0x01 00001612: PUSH1 0xa0 00001614: PUSH1 0x02 00001616: EXP 00001617: SUB 00001618: AND 00001619: SWAP6 0000161a: POP 0000161b: PUSH1 0x00 0000161d: SWAP5 0000161e: POP 0000161f: JUMPDEST 00001620: PUSH1 0x14 00001622: DUP6 00001623: PUSH2 0xffff 00001626: AND 00001627: LT 00001628: ISZERO 00001629: PUSH2 0x16d2 0000162c: JUMPI 0000162d: DUP6 0000162e: PUSH1 0x01 00001630: PUSH1 0xa0 00001632: PUSH1 0x02 00001634: EXP 00001635: SUB 00001636: AND 00001637: PUSH4 0x6ff968c3 0000163c: PUSH1 0x00 0000163e: PUSH1 0x40 00001640: MLOAD 00001641: PUSH1 0x20 00001643: ADD 00001644: MSTORE 00001645: PUSH1 0x40 00001647: MLOAD 00001648: DUP2 00001649: PUSH4 0xffffffff 0000164e: AND 0000164f: PUSH1 0xe0 00001651: PUSH1 0x02 00001653: EXP 00001654: MUL 00001655: DUP2 00001656: MSTORE 00001657: PUSH1 0x04 00001659: ADD 0000165a: PUSH1 0x20 0000165c: PUSH1 0x40 0000165e: MLOAD 0000165f: DUP1 00001660: DUP4 00001661: SUB 00001662: DUP2 00001663: PUSH1 0x00 00001665: DUP8 00001666: DUP1 00001667: EXTCODESIZE 00001668: ISZERO 00001669: ISZERO 0000166a: PUSH2 0x1672 0000166d: JUMPI 0000166e: PUSH1 0x00 00001670: DUP1 00001671: REVERT 00001672: JUMPDEST 00001673: PUSH2 0x02c6 00001676: GAS 00001677: SUB 00001678: CALL 00001679: ISZERO 0000167a: ISZERO 0000167b: PUSH2 0x1683 0000167e: JUMPI 0000167f: PUSH1 0x00 00001681: DUP1 00001682: REVERT 00001683: JUMPDEST 00001684: POP 00001685: POP 00001686: POP 00001687: PUSH1 0x40 00001689: MLOAD 0000168a: DUP1 0000168b: MLOAD 0000168c: SWAP1 0000168d: POP 0000168e: SWAP4 0000168f: POP 00001690: ADDRESS 00001691: PUSH1 0x01 00001693: PUSH1 0xa0 00001695: PUSH1 0x02 00001697: EXP 00001698: SUB 00001699: AND 0000169a: DUP5 0000169b: PUSH1 0x01 0000169d: PUSH1 0xa0 0000169f: PUSH1 0x02 000016a1: EXP 000016a2: SUB 000016a3: AND 000016a4: EQ 000016a5: ISZERO 000016a6: PUSH2 0x16ae 000016a9: JUMPI 000016aa: PUSH1 0x00 000016ac: DUP1 000016ad: REVERT 000016ae: JUMPDEST 000016af: PUSH1 0x01 000016b1: PUSH1 0xa0 000016b3: PUSH1 0x02 000016b5: EXP 000016b6: SUB 000016b7: DUP5 000016b8: AND 000016b9: ISZERO 000016ba: ISZERO 000016bb: PUSH2 0x16c3 000016be: JUMPI 000016bf: PUSH2 0x16d2 000016c2: JUMP 000016c3: JUMPDEST 000016c4: DUP4 000016c5: SWAP6 000016c6: POP 000016c7: JUMPDEST 000016c8: PUSH1 0x01 000016ca: SWAP1 000016cb: SWAP5 000016cc: ADD 000016cd: SWAP4 000016ce: PUSH2 0x161f 000016d1: JUMP 000016d2: JUMPDEST 000016d3: CALLER 000016d4: PUSH1 0x01 000016d6: PUSH1 0xa0 000016d8: PUSH1 0x02 000016da: EXP 000016db: SUB 000016dc: AND 000016dd: PUSH1 0x00 000016df: SWAP1 000016e0: DUP2 000016e1: MSTORE 000016e2: PUSH1 0x00 000016e4: DUP1 000016e5: MLOAD 000016e6: PUSH1 0x20 000016e8: PUSH2 0x2180 000016eb: DUP4 000016ec: CODECOPY 000016ed: DUP2 000016ee: MLOAD 000016ef: SWAP2 000016f0: MSTORE 000016f1: PUSH1 0x20 000016f3: MSTORE 000016f4: PUSH1 0x40 000016f6: DUP2 000016f7: KECCAK256 000016f8: SLOAD 000016f9: SWAP4 000016fa: POP 000016fb: DUP4 000016fc: GT 000016fd: ISZERO 000016fe: PUSH2 0x178a 00001701: JUMPI 00001702: PUSH1 0x01 00001704: PUSH1 0xa0 00001706: PUSH1 0x02 00001708: EXP 00001709: SUB 0000170a: CALLER 0000170b: DUP2 0000170c: DUP2 0000170d: AND 0000170e: PUSH1 0x00 00001710: SWAP1 00001711: DUP2 00001712: MSTORE 00001713: PUSH1 0x00 00001715: DUP1 00001716: MLOAD 00001717: PUSH1 0x20 00001719: PUSH2 0x2180 0000171c: DUP4 0000171d: CODECOPY 0000171e: DUP2 0000171f: MLOAD 00001720: SWAP2 00001721: MSTORE 00001722: PUSH1 0x20 00001724: MSTORE 00001725: PUSH1 0x40 00001727: DUP1 00001728: DUP3 00001729: KECCAK256 0000172a: SWAP2 0000172b: SWAP1 0000172c: SWAP2 0000172d: SSTORE 0000172e: SWAP2 0000172f: DUP9 00001730: AND 00001731: SWAP2 00001732: PUSH4 0x6a523c5e 00001737: SWAP2 00001738: DUP7 00001739: SWAP2 0000173a: MLOAD 0000173b: PUSH1 0xe0 0000173d: PUSH1 0x02 0000173f: EXP 00001740: PUSH4 0xffffffff 00001745: DUP6 00001746: AND 00001747: MUL 00001748: DUP2 00001749: MSTORE 0000174a: PUSH1 0x01 0000174c: PUSH1 0xa0 0000174e: PUSH1 0x02 00001750: EXP 00001751: SUB 00001752: SWAP1 00001753: SWAP2 00001754: AND 00001755: PUSH1 0x04 00001757: DUP3 00001758: ADD 00001759: MSTORE 0000175a: PUSH1 0x24 0000175c: ADD 0000175d: PUSH1 0x00 0000175f: PUSH1 0x40 00001761: MLOAD 00001762: DUP1 00001763: DUP4 00001764: SUB 00001765: DUP2 00001766: DUP6 00001767: DUP9 00001768: DUP1 00001769: EXTCODESIZE 0000176a: ISZERO 0000176b: ISZERO 0000176c: PUSH2 0x1774 0000176f: JUMPI 00001770: PUSH1 0x00 00001772: DUP1 00001773: REVERT 00001774: JUMPDEST 00001775: PUSH2 0x25ee 00001778: GAS 00001779: SUB 0000177a: CALL 0000177b: ISZERO 0000177c: ISZERO 0000177d: PUSH2 0x1785 00001780: JUMPI 00001781: PUSH1 0x00 00001783: DUP1 00001784: REVERT 00001785: JUMPDEST 00001786: POP 00001787: POP 00001788: POP 00001789: POP 0000178a: JUMPDEST 0000178b: PUSH1 0x00 0000178d: SWAP5 0000178e: POP 0000178f: JUMPDEST 00001790: DUP7 00001791: MLOAD 00001792: DUP6 00001793: PUSH2 0xffff 00001796: AND 00001797: LT 00001798: ISZERO 00001799: PUSH2 0x1929 0000179c: JUMPI 0000179d: DUP7 0000179e: DUP6 0000179f: PUSH2 0xffff 000017a2: AND 000017a3: DUP2 000017a4: MLOAD 000017a5: DUP2 000017a6: LT 000017a7: PUSH2 0x17ac 000017aa: JUMPI 000017ab: INVALID 000017ac: JUMPDEST 000017ad: SWAP1 000017ae: PUSH1 0x20 000017b0: ADD 000017b1: SWAP1 000017b2: PUSH1 0x20 000017b4: MUL 000017b5: ADD 000017b6: MLOAD 000017b7: SWAP2 000017b8: POP 000017b9: PUSH1 0x01 000017bb: PUSH1 0xa0 000017bd: PUSH1 0x02 000017bf: EXP 000017c0: SUB 000017c1: DUP3 000017c2: AND 000017c3: ISZERO 000017c4: ISZERO 000017c5: PUSH2 0x17cd 000017c8: JUMPI 000017c9: PUSH1 0x00 000017cb: DUP1 000017cc: REVERT 000017cd: JUMPDEST 000017ce: POP 000017cf: PUSH1 0x01 000017d1: PUSH1 0xa0 000017d3: PUSH1 0x02 000017d5: EXP 000017d6: SUB 000017d7: DUP1 000017d8: DUP3 000017d9: AND 000017da: PUSH1 0x00 000017dc: SWAP1 000017dd: DUP2 000017de: MSTORE 000017df: PUSH1 0x05 000017e1: PUSH1 0x20 000017e3: SWAP1 000017e4: DUP2 000017e5: MSTORE 000017e6: PUSH1 0x40 000017e8: DUP1 000017e9: DUP4 000017ea: KECCAK256 000017eb: CALLER 000017ec: SWAP1 000017ed: SWAP5 000017ee: AND 000017ef: DUP4 000017f0: MSTORE 000017f1: SWAP3 000017f2: SWAP1 000017f3: MSTORE 000017f4: KECCAK256 000017f5: SLOAD 000017f6: DUP1 000017f7: ISZERO 000017f8: ISZERO 000017f9: PUSH2 0x1801 000017fc: JUMPI 000017fd: PUSH2 0x191e 00001800: JUMP 00001801: JUMPDEST 00001802: DUP2 00001803: PUSH1 0x01 00001805: PUSH1 0xa0 00001807: PUSH1 0x02 00001809: EXP 0000180a: SUB 0000180b: AND 0000180c: PUSH4 0x095ea7b3 00001811: DUP8 00001812: DUP4 00001813: PUSH1 0x00 00001815: PUSH1 0x40 00001817: MLOAD 00001818: PUSH1 0x20 0000181a: ADD 0000181b: MSTORE 0000181c: PUSH1 0x40 0000181e: MLOAD 0000181f: PUSH1 0xe0 00001821: PUSH1 0x02 00001823: EXP 00001824: PUSH4 0xffffffff 00001829: DUP6 0000182a: AND 0000182b: MUL 0000182c: DUP2 0000182d: MSTORE 0000182e: PUSH1 0x01 00001830: PUSH1 0xa0 00001832: PUSH1 0x02 00001834: EXP 00001835: SUB 00001836: SWAP1 00001837: SWAP3 00001838: AND 00001839: PUSH1 0x04 0000183b: DUP4 0000183c: ADD 0000183d: MSTORE 0000183e: PUSH1 0x24 00001840: DUP3 00001841: ADD 00001842: MSTORE 00001843: PUSH1 0x44 00001845: ADD 00001846: PUSH1 0x20 00001848: PUSH1 0x40 0000184a: MLOAD 0000184b: DUP1 0000184c: DUP4 0000184d: SUB 0000184e: DUP2 0000184f: PUSH1 0x00 00001851: DUP8 00001852: DUP1 00001853: EXTCODESIZE 00001854: ISZERO 00001855: ISZERO 00001856: PUSH2 0x185e 00001859: JUMPI 0000185a: PUSH1 0x00 0000185c: DUP1 0000185d: REVERT 0000185e: JUMPDEST 0000185f: PUSH2 0x02c6 00001862: GAS 00001863: SUB 00001864: CALL 00001865: ISZERO 00001866: ISZERO 00001867: PUSH2 0x186f 0000186a: JUMPI 0000186b: PUSH1 0x00 0000186d: DUP1 0000186e: REVERT 0000186f: JUMPDEST 00001870: POP 00001871: POP 00001872: POP 00001873: PUSH1 0x40 00001875: MLOAD 00001876: DUP1 00001877: MLOAD 00001878: SWAP1 00001879: POP 0000187a: ISZERO 0000187b: ISZERO 0000187c: PUSH2 0x1884 0000187f: JUMPI 00001880: PUSH1 0x00 00001882: DUP1 00001883: REVERT 00001884: JUMPDEST 00001885: PUSH1 0x01 00001887: PUSH1 0xa0 00001889: PUSH1 0x02 0000188b: EXP 0000188c: SUB 0000188d: DUP1 0000188e: DUP4 0000188f: AND 00001890: PUSH1 0x00 00001892: SWAP1 00001893: DUP2 00001894: MSTORE 00001895: PUSH1 0x05 00001897: PUSH1 0x20 00001899: SWAP1 0000189a: DUP2 0000189b: MSTORE 0000189c: PUSH1 0x40 0000189e: DUP1 0000189f: DUP4 000018a0: KECCAK256 000018a1: CALLER 000018a2: DUP1 000018a3: DUP7 000018a4: AND 000018a5: DUP6 000018a6: MSTORE 000018a7: SWAP3 000018a8: MSTORE 000018a9: DUP1 000018aa: DUP4 000018ab: KECCAK256 000018ac: SWAP3 000018ad: SWAP1 000018ae: SWAP3 000018af: SSTORE 000018b0: SWAP2 000018b1: DUP9 000018b2: AND 000018b3: SWAP2 000018b4: PUSH4 0x3c2e2a75 000018b9: SWAP2 000018ba: DUP6 000018bb: SWAP2 000018bc: DUP6 000018bd: SWAP2 000018be: MLOAD 000018bf: PUSH1 0xe0 000018c1: PUSH1 0x02 000018c3: EXP 000018c4: PUSH4 0xffffffff 000018c9: DUP7 000018ca: AND 000018cb: MUL 000018cc: DUP2 000018cd: MSTORE 000018ce: PUSH1 0x01 000018d0: PUSH1 0xa0 000018d2: PUSH1 0x02 000018d4: EXP 000018d5: SUB 000018d6: SWAP4 000018d7: DUP5 000018d8: AND 000018d9: PUSH1 0x04 000018db: DUP3 000018dc: ADD 000018dd: MSTORE 000018de: PUSH1 0x24 000018e0: DUP2 000018e1: ADD 000018e2: SWAP3 000018e3: SWAP1 000018e4: SWAP3 000018e5: MSTORE 000018e6: SWAP1 000018e7: SWAP2 000018e8: AND 000018e9: PUSH1 0x44 000018eb: DUP3 000018ec: ADD 000018ed: MSTORE 000018ee: PUSH1 0x64 000018f0: ADD 000018f1: PUSH1 0x00 000018f3: PUSH1 0x40 000018f5: MLOAD 000018f6: DUP1 000018f7: DUP4 000018f8: SUB 000018f9: DUP2 000018fa: PUSH1 0x00 000018fc: DUP8 000018fd: DUP1 000018fe: EXTCODESIZE 000018ff: ISZERO 00001900: ISZERO 00001901: PUSH2 0x1909 00001904: JUMPI 00001905: PUSH1 0x00 00001907: DUP1 00001908: REVERT 00001909: JUMPDEST 0000190a: PUSH2 0x02c6 0000190d: GAS 0000190e: SUB 0000190f: CALL 00001910: ISZERO 00001911: ISZERO 00001912: PUSH2 0x191a 00001915: JUMPI 00001916: PUSH1 0x00 00001918: DUP1 00001919: REVERT 0000191a: JUMPDEST 0000191b: POP 0000191c: POP 0000191d: POP 0000191e: JUMPDEST 0000191f: PUSH1 0x01 00001921: SWAP1 00001922: SWAP5 00001923: ADD 00001924: SWAP4 00001925: PUSH2 0x178f 00001928: JUMP 00001929: JUMPDEST 0000192a: PUSH32 0x0e3e9a671666295c299b941a07625839915442794bf73a484b24bb3e221270c3 0000194b: CALLER 0000194c: PUSH1 0x40 0000194e: MLOAD 0000194f: PUSH1 0x01 00001951: PUSH1 0xa0 00001953: PUSH1 0x02 00001955: EXP 00001956: SUB 00001957: SWAP1 00001958: SWAP2 00001959: AND 0000195a: DUP2 0000195b: MSTORE 0000195c: PUSH1 0x20 0000195e: ADD 0000195f: PUSH1 0x40 00001961: MLOAD 00001962: DUP1 00001963: SWAP2 00001964: SUB 00001965: SWAP1 00001966: LOG1 00001967: JUMPDEST 00001968: POP 00001969: POP 0000196a: POP 0000196b: POP 0000196c: POP 0000196d: POP 0000196e: POP 0000196f: JUMP 00001970: JUMPDEST 00001971: PUSH1 0x08 00001973: SLOAD 00001974: PUSH1 0xa0 00001976: PUSH1 0x02 00001978: EXP 00001979: SWAP1 0000197a: DIV 0000197b: PUSH1 0xff 0000197d: AND 0000197e: ISZERO 0000197f: PUSH2 0x1987 00001982: JUMPI 00001983: PUSH1 0x00 00001985: DUP1 00001986: REVERT 00001987: JUMPDEST 00001988: CALLER 00001989: PUSH1 0x01 0000198b: PUSH1 0xa0 0000198d: PUSH1 0x02 0000198f: EXP 00001990: SUB 00001991: AND 00001992: PUSH1 0x00 00001994: SWAP1 00001995: DUP2 00001996: MSTORE 00001997: PUSH1 0x00 00001999: DUP1 0000199a: MLOAD 0000199b: PUSH1 0x20 0000199d: PUSH2 0x2180 000019a0: DUP4 000019a1: CODECOPY 000019a2: DUP2 000019a3: MLOAD 000019a4: SWAP2 000019a5: MSTORE 000019a6: PUSH1 0x20 000019a8: MSTORE 000019a9: PUSH1 0x40 000019ab: SWAP1 000019ac: KECCAK256 000019ad: SLOAD 000019ae: PUSH2 0x19b7 000019b1: SWAP1 000019b2: CALLVALUE 000019b3: PUSH2 0x1d3d 000019b6: JUMP 000019b7: JUMPDEST 000019b8: CALLER 000019b9: PUSH1 0x01 000019bb: PUSH1 0xa0 000019bd: PUSH1 0x02 000019bf: EXP 000019c0: SUB 000019c1: DUP2 000019c2: AND 000019c3: PUSH1 0x00 000019c5: SWAP1 000019c6: DUP2 000019c7: MSTORE 000019c8: PUSH1 0x00 000019ca: DUP1 000019cb: MLOAD 000019cc: PUSH1 0x20 000019ce: PUSH2 0x2180 000019d1: DUP4 000019d2: CODECOPY 000019d3: DUP2 000019d4: MLOAD 000019d5: SWAP2 000019d6: MSTORE 000019d7: PUSH1 0x20 000019d9: MSTORE 000019da: PUSH1 0x40 000019dc: DUP1 000019dd: DUP3 000019de: KECCAK256 000019df: DUP5 000019e0: SWAP1 000019e1: SSTORE 000019e2: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00001a03: SWAP4 00001a04: SWAP2 00001a05: SWAP3 00001a06: SWAP2 00001a07: CALLVALUE 00001a08: SWAP2 00001a09: MLOAD 00001a0a: PUSH1 0x01 00001a0c: PUSH1 0xa0 00001a0e: PUSH1 0x02 00001a10: EXP 00001a11: SUB 00001a12: SWAP5 00001a13: DUP6 00001a14: AND 00001a15: DUP2 00001a16: MSTORE 00001a17: SWAP3 00001a18: SWAP1 00001a19: SWAP4 00001a1a: AND 00001a1b: PUSH1 0x20 00001a1d: DUP4 00001a1e: ADD 00001a1f: MSTORE 00001a20: PUSH1 0x40 00001a22: DUP1 00001a23: DUP4 00001a24: ADD 00001a25: SWAP2 00001a26: SWAP1 00001a27: SWAP2 00001a28: MSTORE 00001a29: PUSH1 0x60 00001a2b: DUP3 00001a2c: ADD 00001a2d: SWAP3 00001a2e: SWAP1 00001a2f: SWAP3 00001a30: MSTORE 00001a31: PUSH1 0x80 00001a33: ADD 00001a34: SWAP1 00001a35: MLOAD 00001a36: DUP1 00001a37: SWAP2 00001a38: SUB 00001a39: SWAP1 00001a3a: LOG1 00001a3b: JUMPDEST 00001a3c: JUMPDEST 00001a3d: JUMP 00001a3e: JUMPDEST 00001a3f: PUSH1 0x04 00001a41: SLOAD 00001a42: DUP2 00001a43: JUMP 00001a44: JUMPDEST 00001a45: PUSH1 0x00 00001a47: SLOAD 00001a48: CALLER 00001a49: PUSH1 0x01 00001a4b: PUSH1 0xa0 00001a4d: PUSH1 0x02 00001a4f: EXP 00001a50: SUB 00001a51: SWAP1 00001a52: DUP2 00001a53: AND 00001a54: SWAP2 00001a55: AND 00001a56: EQ 00001a57: PUSH2 0x1a5f 00001a5a: JUMPI 00001a5b: PUSH1 0x00 00001a5d: DUP1 00001a5e: REVERT 00001a5f: JUMPDEST 00001a60: PUSH1 0x08 00001a62: DUP1 00001a63: SLOAD 00001a64: PUSH21 0xff0000000000000000000000000000000000000000 00001a7a: NOT 00001a7b: AND 00001a7c: PUSH1 0xa0 00001a7e: PUSH1 0x02 00001a80: EXP 00001a81: DUP5 00001a82: ISZERO 00001a83: ISZERO 00001a84: MUL 00001a85: OR 00001a86: SWAP1 00001a87: SSTORE 00001a88: PUSH1 0x07 00001a8a: DUP1 00001a8b: SLOAD 00001a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aa1: NOT 00001aa2: AND 00001aa3: PUSH1 0x01 00001aa5: PUSH1 0xa0 00001aa7: PUSH1 0x02 00001aa9: EXP 00001aaa: SUB 00001aab: DUP4 00001aac: AND 00001aad: OR 00001aae: SWAP1 00001aaf: SSTORE 00001ab0: JUMPDEST 00001ab1: JUMPDEST 00001ab2: POP 00001ab3: POP 00001ab4: JUMP 00001ab5: JUMPDEST 00001ab6: PUSH1 0x00 00001ab8: SLOAD 00001ab9: CALLER 00001aba: PUSH1 0x01 00001abc: PUSH1 0xa0 00001abe: PUSH1 0x02 00001ac0: EXP 00001ac1: SUB 00001ac2: SWAP1 00001ac3: DUP2 00001ac4: AND 00001ac5: SWAP2 00001ac6: AND 00001ac7: EQ 00001ac8: PUSH2 0x1ad0 00001acb: JUMPI 00001acc: PUSH1 0x00 00001ace: DUP1 00001acf: REVERT 00001ad0: JUMPDEST 00001ad1: PUSH1 0x01 00001ad3: PUSH1 0xa0 00001ad5: PUSH1 0x02 00001ad7: EXP 00001ad8: SUB 00001ad9: DUP2 00001ada: AND 00001adb: ISZERO 00001adc: ISZERO 00001add: PUSH2 0x1ae5 00001ae0: JUMPI 00001ae1: PUSH1 0x00 00001ae3: DUP1 00001ae4: REVERT 00001ae5: JUMPDEST 00001ae6: PUSH1 0x00 00001ae8: DUP1 00001ae9: SLOAD 00001aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001aff: NOT 00001b00: AND 00001b01: PUSH1 0x01 00001b03: PUSH1 0xa0 00001b05: PUSH1 0x02 00001b07: EXP 00001b08: SUB 00001b09: DUP4 00001b0a: AND 00001b0b: OR 00001b0c: SWAP1 00001b0d: SSTORE 00001b0e: JUMPDEST 00001b0f: JUMPDEST 00001b10: POP 00001b11: JUMP 00001b12: JUMPDEST 00001b13: PUSH1 0x01 00001b15: PUSH1 0xa0 00001b17: PUSH1 0x02 00001b19: EXP 00001b1a: SUB 00001b1b: DUP1 00001b1c: DUP4 00001b1d: AND 00001b1e: PUSH1 0x00 00001b20: SWAP1 00001b21: DUP2 00001b22: MSTORE 00001b23: PUSH1 0x05 00001b25: PUSH1 0x20 00001b27: SWAP1 00001b28: DUP2 00001b29: MSTORE 00001b2a: PUSH1 0x40 00001b2c: DUP1 00001b2d: DUP4 00001b2e: KECCAK256 00001b2f: SWAP4 00001b30: DUP6 00001b31: AND 00001b32: DUP4 00001b33: MSTORE 00001b34: SWAP3 00001b35: SWAP1 00001b36: MSTORE 00001b37: KECCAK256 00001b38: SLOAD 00001b39: JUMPDEST 00001b3a: SWAP3 00001b3b: SWAP2 00001b3c: POP 00001b3d: POP 00001b3e: JUMP 00001b3f: JUMPDEST 00001b40: PUSH1 0x00 00001b42: DUP1 00001b43: PUSH1 0x00 00001b45: DUP1 00001b46: PUSH1 0x02 00001b48: ADDRESS 00001b49: DUP16 00001b4a: DUP16 00001b4b: DUP16 00001b4c: DUP16 00001b4d: DUP16 00001b4e: DUP16 00001b4f: PUSH1 0x00 00001b51: PUSH1 0x40 00001b53: MLOAD 00001b54: PUSH1 0x20 00001b56: ADD 00001b57: MSTORE 00001b58: PUSH1 0x40 00001b5a: MLOAD 00001b5b: PUSH13 0x01000000000000000000000000 00001b69: PUSH1 0x01 00001b6b: PUSH1 0xa0 00001b6d: PUSH1 0x02 00001b6f: EXP 00001b70: SUB 00001b71: SWAP9 00001b72: DUP10 00001b73: AND 00001b74: DUP2 00001b75: MUL 00001b76: DUP3 00001b77: MSTORE 00001b78: SWAP7 00001b79: DUP9 00001b7a: AND 00001b7b: DUP8 00001b7c: MUL 00001b7d: PUSH1 0x14 00001b7f: DUP3 00001b80: ADD 00001b81: MSTORE 00001b82: PUSH1 0x28 00001b84: DUP2 00001b85: ADD 00001b86: SWAP6 00001b87: SWAP1 00001b88: SWAP6 00001b89: MSTORE 00001b8a: SWAP3 00001b8b: SWAP1 00001b8c: SWAP6 00001b8d: AND 00001b8e: SWAP1 00001b8f: SWAP4 00001b90: MUL 00001b91: PUSH1 0x48 00001b93: DUP4 00001b94: ADD 00001b95: MSTORE 00001b96: PUSH1 0x5c 00001b98: DUP3 00001b99: ADD 00001b9a: SWAP3 00001b9b: SWAP1 00001b9c: SWAP3 00001b9d: MSTORE 00001b9e: PUSH1 0x7c 00001ba0: DUP2 00001ba1: ADD 00001ba2: SWAP3 00001ba3: SWAP1 00001ba4: SWAP3 00001ba5: MSTORE 00001ba6: PUSH1 0x9c 00001ba8: DUP3 00001ba9: ADD 00001baa: MSTORE 00001bab: PUSH1 0xbc 00001bad: ADD 00001bae: PUSH1 0x20 00001bb0: PUSH1 0x40 00001bb2: MLOAD 00001bb3: DUP1 00001bb4: DUP4 00001bb5: SUB 00001bb6: DUP2 00001bb7: PUSH1 0x00 00001bb9: DUP7 00001bba: PUSH2 0x646e 00001bbd: GAS 00001bbe: SUB 00001bbf: CALL 00001bc0: ISZERO 00001bc1: ISZERO 00001bc2: PUSH2 0x1bca 00001bc5: JUMPI 00001bc6: PUSH1 0x00 00001bc8: DUP1 00001bc9: REVERT 00001bca: JUMPDEST 00001bcb: POP 00001bcc: POP 00001bcd: PUSH1 0x40 00001bcf: MLOAD 00001bd0: DUP1 00001bd1: MLOAD 00001bd2: SWAP4 00001bd3: POP 00001bd4: POP 00001bd5: PUSH1 0x01 00001bd7: PUSH1 0xa0 00001bd9: PUSH1 0x02 00001bdb: EXP 00001bdc: SUB 00001bdd: DUP9 00001bde: AND 00001bdf: PUSH1 0x01 00001be1: DUP5 00001be2: PUSH1 0x40 00001be4: MLOAD 00001be5: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00001c06: DUP2 00001c07: MSTORE 00001c08: PUSH1 0x1c 00001c0a: DUP2 00001c0b: ADD 00001c0c: SWAP2 00001c0d: SWAP1 00001c0e: SWAP2 00001c0f: MSTORE 00001c10: PUSH1 0x3c 00001c12: ADD 00001c13: PUSH1 0x40 00001c15: MLOAD 00001c16: DUP1 00001c17: SWAP2 00001c18: SUB 00001c19: SWAP1 00001c1a: KECCAK256 00001c1b: DUP10 00001c1c: DUP10 00001c1d: DUP10 00001c1e: PUSH1 0x40 00001c20: MLOAD 00001c21: DUP1 00001c22: PUSH1 0x00 00001c24: MSTORE 00001c25: PUSH1 0x20 00001c27: ADD 00001c28: PUSH1 0x40 00001c2a: MSTORE 00001c2b: PUSH1 0x00 00001c2d: PUSH1 0x40 00001c2f: MLOAD 00001c30: PUSH1 0x20 00001c32: ADD 00001c33: MSTORE 00001c34: PUSH1 0x40 00001c36: MLOAD 00001c37: SWAP4 00001c38: DUP5 00001c39: MSTORE 00001c3a: PUSH1 0xff 00001c3c: SWAP1 00001c3d: SWAP3 00001c3e: AND 00001c3f: PUSH1 0x20 00001c41: DUP1 00001c42: DUP6 00001c43: ADD 00001c44: SWAP2 00001c45: SWAP1 00001c46: SWAP2 00001c47: MSTORE 00001c48: PUSH1 0x40 00001c4a: DUP1 00001c4b: DUP6 00001c4c: ADD 00001c4d: SWAP3 00001c4e: SWAP1 00001c4f: SWAP3 00001c50: MSTORE 00001c51: PUSH1 0x60 00001c53: DUP5 00001c54: ADD 00001c55: SWAP3 00001c56: SWAP1 00001c57: SWAP3 00001c58: MSTORE 00001c59: PUSH1 0x80 00001c5b: SWAP1 00001c5c: SWAP3 00001c5d: ADD 00001c5e: SWAP2 00001c5f: MLOAD 00001c60: PUSH1 0x20 00001c62: DUP2 00001c63: SUB 00001c64: SWAP1 00001c65: DUP1 00001c66: DUP5 00001c67: SUB 00001c68: SWAP1 00001c69: PUSH1 0x00 00001c6b: DUP7 00001c6c: PUSH2 0x646e 00001c6f: GAS 00001c70: SUB 00001c71: CALL 00001c72: ISZERO 00001c73: ISZERO 00001c74: PUSH2 0x1c7c 00001c77: JUMPI 00001c78: PUSH1 0x00 00001c7a: DUP1 00001c7b: REVERT 00001c7c: JUMPDEST 00001c7d: POP 00001c7e: POP 00001c7f: PUSH1 0x20 00001c81: PUSH1 0x40 00001c83: MLOAD 00001c84: SUB 00001c85: MLOAD 00001c86: PUSH1 0x01 00001c88: PUSH1 0xa0 00001c8a: PUSH1 0x02 00001c8c: EXP 00001c8d: SUB 00001c8e: AND 00001c8f: EQ 00001c90: ISZERO 00001c91: DUP1 00001c92: PUSH2 0x1c9a 00001c95: JUMPI 00001c96: POP 00001c97: DUP10 00001c98: NUMBER 00001c99: GT 00001c9a: JUMPDEST 00001c9b: ISZERO 00001c9c: PUSH2 0x1ca8 00001c9f: JUMPI 00001ca0: PUSH1 0x00 00001ca2: SWAP4 00001ca3: POP 00001ca4: PUSH2 0x1d2c 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: PUSH1 0x01 00001cab: PUSH1 0xa0 00001cad: PUSH1 0x02 00001caf: EXP 00001cb0: SUB 00001cb1: DUP9 00001cb2: AND 00001cb3: PUSH1 0x00 00001cb5: SWAP1 00001cb6: DUP2 00001cb7: MSTORE 00001cb8: PUSH1 0x06 00001cba: PUSH1 0x20 00001cbc: SWAP1 00001cbd: DUP2 00001cbe: MSTORE 00001cbf: PUSH1 0x40 00001cc1: DUP1 00001cc2: DUP4 00001cc3: KECCAK256 00001cc4: DUP7 00001cc5: DUP5 00001cc6: MSTORE 00001cc7: SWAP1 00001cc8: SWAP2 00001cc9: MSTORE 00001cca: SWAP1 00001ccb: KECCAK256 00001ccc: SLOAD 00001ccd: PUSH2 0x1cd7 00001cd0: SWAP1 00001cd1: DUP15 00001cd2: SWAP1 00001cd3: PUSH2 0x2139 00001cd6: JUMP 00001cd7: JUMPDEST 00001cd8: PUSH1 0x01 00001cda: PUSH1 0xa0 00001cdc: PUSH1 0x02 00001cde: EXP 00001cdf: SUB 00001ce0: DUP1 00001ce1: DUP15 00001ce2: AND 00001ce3: PUSH1 0x00 00001ce5: SWAP1 00001ce6: DUP2 00001ce7: MSTORE 00001ce8: PUSH1 0x05 00001cea: PUSH1 0x20 00001cec: SWAP1 00001ced: DUP2 00001cee: MSTORE 00001cef: PUSH1 0x40 00001cf1: DUP1 00001cf2: DUP4 00001cf3: KECCAK256 00001cf4: SWAP4 00001cf5: DUP14 00001cf6: AND 00001cf7: DUP4 00001cf8: MSTORE 00001cf9: SWAP3 00001cfa: SWAP1 00001cfb: MSTORE 00001cfc: KECCAK256 00001cfd: SLOAD 00001cfe: SWAP1 00001cff: SWAP3 00001d00: POP 00001d01: DUP12 00001d02: SWAP1 00001d03: PUSH2 0x1d0c 00001d06: SWAP1 00001d07: DUP16 00001d08: PUSH2 0x2150 00001d0b: JUMP 00001d0c: JUMPDEST 00001d0d: DUP2 00001d0e: ISZERO 00001d0f: ISZERO 00001d10: PUSH2 0x1d15 00001d13: JUMPI 00001d14: INVALID 00001d15: JUMPDEST 00001d16: DIV 00001d17: SWAP1 00001d18: POP 00001d19: DUP1 00001d1a: DUP3 00001d1b: LT 00001d1c: ISZERO 00001d1d: PUSH2 0x1d28 00001d20: JUMPI 00001d21: DUP2 00001d22: SWAP4 00001d23: POP 00001d24: PUSH2 0x1d2c 00001d27: JUMP 00001d28: JUMPDEST 00001d29: DUP1 00001d2a: SWAP4 00001d2b: POP 00001d2c: JUMPDEST 00001d2d: POP 00001d2e: POP 00001d2f: POP 00001d30: SWAP11 00001d31: SWAP10 00001d32: POP 00001d33: POP 00001d34: POP 00001d35: POP 00001d36: POP 00001d37: POP 00001d38: POP 00001d39: POP 00001d3a: POP 00001d3b: POP 00001d3c: JUMP 00001d3d: JUMPDEST 00001d3e: PUSH1 0x00 00001d40: DUP3 00001d41: DUP3 00001d42: ADD 00001d43: DUP4 00001d44: DUP2 00001d45: LT 00001d46: DUP1 00001d47: ISZERO 00001d48: SWAP1 00001d49: PUSH2 0x1d52 00001d4c: JUMPI 00001d4d: POP 00001d4e: DUP3 00001d4f: DUP2 00001d50: LT 00001d51: ISZERO 00001d52: JUMPDEST 00001d53: ISZERO 00001d54: ISZERO 00001d55: PUSH2 0x1d5a 00001d58: JUMPI 00001d59: INVALID 00001d5a: JUMPDEST 00001d5b: DUP1 00001d5c: SWAP2 00001d5d: POP 00001d5e: JUMPDEST 00001d5f: POP 00001d60: SWAP3 00001d61: SWAP2 00001d62: POP 00001d63: POP 00001d64: JUMP 00001d65: JUMPDEST 00001d66: PUSH1 0x00 00001d68: DUP1 00001d69: PUSH1 0x00 00001d6b: DUP1 00001d6c: PUSH1 0x00 00001d6e: PUSH8 0x0de0b6b3a7640000 00001d77: PUSH2 0x1d82 00001d7a: DUP8 00001d7b: PUSH1 0x04 00001d7d: SLOAD 00001d7e: PUSH2 0x2150 00001d81: JUMP 00001d82: JUMPDEST 00001d83: DUP2 00001d84: ISZERO 00001d85: ISZERO 00001d86: PUSH2 0x1d8b 00001d89: JUMPI 00001d8a: INVALID 00001d8b: JUMPDEST 00001d8c: DIV 00001d8d: SWAP5 00001d8e: POP 00001d8f: PUSH1 0x00 00001d91: SWAP4 00001d92: POP 00001d93: DUP11 00001d94: PUSH2 0x1d9d 00001d97: DUP11 00001d98: DUP9 00001d99: PUSH2 0x2150 00001d9c: JUMP 00001d9d: JUMPDEST 00001d9e: DUP2 00001d9f: ISZERO 00001da0: ISZERO 00001da1: PUSH2 0x1da6 00001da4: JUMPI 00001da5: INVALID 00001da6: JUMPDEST 00001da7: PUSH1 0x02 00001da9: SLOAD 00001daa: SWAP2 00001dab: SWAP1 00001dac: DIV 00001dad: SWAP4 00001dae: POP 00001daf: PUSH1 0x01 00001db1: PUSH1 0xa0 00001db3: PUSH1 0x02 00001db5: EXP 00001db6: SUB 00001db7: AND 00001db8: ISZERO 00001db9: PUSH2 0x1e90 00001dbc: JUMPI 00001dbd: PUSH1 0x02 00001dbf: SLOAD 00001dc0: PUSH1 0x01 00001dc2: PUSH1 0xa0 00001dc4: PUSH1 0x02 00001dc6: EXP 00001dc7: SUB 00001dc8: AND 00001dc9: PUSH4 0xe97fe114 00001dce: DUP10 00001dcf: DUP10 00001dd0: PUSH1 0x00 00001dd2: PUSH1 0x40 00001dd4: MLOAD 00001dd5: PUSH1 0x40 00001dd7: ADD 00001dd8: MSTORE 00001dd9: PUSH1 0x40 00001ddb: MLOAD 00001ddc: PUSH1 0xe0 00001dde: PUSH1 0x02 00001de0: EXP 00001de1: PUSH4 0xffffffff 00001de6: DUP6 00001de7: AND 00001de8: MUL 00001de9: DUP2 00001dea: MSTORE 00001deb: PUSH1 0x01 00001ded: PUSH1 0xa0 00001def: PUSH1 0x02 00001df1: EXP 00001df2: SUB 00001df3: SWAP3 00001df4: DUP4 00001df5: AND 00001df6: PUSH1 0x04 00001df8: DUP3 00001df9: ADD 00001dfa: MSTORE 00001dfb: SWAP2 00001dfc: AND 00001dfd: PUSH1 0x24 00001dff: DUP3 00001e00: ADD 00001e01: MSTORE 00001e02: PUSH1 0x44 00001e04: ADD 00001e05: PUSH1 0x40 00001e07: DUP1 00001e08: MLOAD 00001e09: DUP1 00001e0a: DUP4 00001e0b: SUB 00001e0c: DUP2 00001e0d: PUSH1 0x00 00001e0f: DUP8 00001e10: DUP1 00001e11: EXTCODESIZE 00001e12: ISZERO 00001e13: ISZERO 00001e14: PUSH2 0x1e1c 00001e17: JUMPI 00001e18: PUSH1 0x00 00001e1a: DUP1 00001e1b: REVERT 00001e1c: JUMPDEST 00001e1d: PUSH2 0x02c6 00001e20: GAS 00001e21: SUB 00001e22: CALL 00001e23: ISZERO 00001e24: ISZERO 00001e25: PUSH2 0x1e2d 00001e28: JUMPI 00001e29: PUSH1 0x00 00001e2b: DUP1 00001e2c: REVERT 00001e2d: JUMPDEST 00001e2e: POP 00001e2f: POP 00001e30: POP 00001e31: PUSH1 0x40 00001e33: MLOAD 00001e34: DUP1 00001e35: MLOAD 00001e36: SWAP1 00001e37: PUSH1 0x20 00001e39: ADD 00001e3a: DUP1 00001e3b: MLOAD 00001e3c: SWAP1 00001e3d: POP 00001e3e: SWAP2 00001e3f: POP 00001e40: SWAP2 00001e41: POP 00001e42: PUSH1 0x64 00001e44: DUP3 00001e45: GT 00001e46: ISZERO 00001e47: PUSH2 0x1e4f 00001e4a: JUMPI 00001e4b: PUSH1 0x00 00001e4d: SWAP2 00001e4e: POP 00001e4f: JUMPDEST 00001e50: PUSH1 0x64 00001e52: DUP2 00001e53: GT 00001e54: ISZERO 00001e55: PUSH2 0x1e5c 00001e58: JUMPI 00001e59: POP 00001e5a: PUSH1 0x00 00001e5c: JUMPDEST 00001e5d: PUSH1 0x64 00001e5f: PUSH2 0x1e6b 00001e62: DUP7 00001e63: DUP5 00001e64: PUSH1 0x64 00001e66: SUB 00001e67: PUSH2 0x2150 00001e6a: JUMP 00001e6b: JUMPDEST 00001e6c: DUP2 00001e6d: ISZERO 00001e6e: ISZERO 00001e6f: PUSH2 0x1e74 00001e72: JUMPI 00001e73: INVALID 00001e74: JUMPDEST 00001e75: DIV 00001e76: SWAP5 00001e77: POP 00001e78: PUSH1 0x64 00001e7a: PUSH2 0x1e83 00001e7d: DUP3 00001e7e: DUP8 00001e7f: PUSH2 0x2150 00001e82: JUMP 00001e83: JUMPDEST 00001e84: DUP2 00001e85: ISZERO 00001e86: ISZERO 00001e87: PUSH2 0x1e8c 00001e8a: JUMPI 00001e8b: INVALID 00001e8c: JUMPDEST 00001e8d: DIV 00001e8e: SWAP4 00001e8f: POP 00001e90: JUMPDEST 00001e91: PUSH1 0x01 00001e93: PUSH1 0xa0 00001e95: PUSH1 0x02 00001e97: EXP 00001e98: SUB 00001e99: DUP1 00001e9a: DUP14 00001e9b: AND 00001e9c: PUSH1 0x00 00001e9e: SWAP1 00001e9f: DUP2 00001ea0: MSTORE 00001ea1: PUSH1 0x05 00001ea3: PUSH1 0x20 00001ea5: SWAP1 00001ea6: DUP2 00001ea7: MSTORE 00001ea8: PUSH1 0x40 00001eaa: DUP1 00001eab: DUP4 00001eac: KECCAK256 00001ead: SWAP4 00001eae: DUP13 00001eaf: AND 00001eb0: DUP4 00001eb1: MSTORE 00001eb2: SWAP3 00001eb3: SWAP1 00001eb4: MSTORE 00001eb5: KECCAK256 00001eb6: SLOAD 00001eb7: PUSH2 0x1ec9 00001eba: SWAP1 00001ebb: PUSH2 0x1ec4 00001ebe: DUP9 00001ebf: DUP8 00001ec0: PUSH2 0x1d3d 00001ec3: JUMP 00001ec4: JUMPDEST 00001ec5: PUSH2 0x1d3d 00001ec8: JUMP 00001ec9: JUMPDEST 00001eca: PUSH1 0x01 00001ecc: PUSH1 0xa0 00001ece: PUSH1 0x02 00001ed0: EXP 00001ed1: SUB 00001ed2: DUP14 00001ed3: DUP2 00001ed4: AND 00001ed5: PUSH1 0x00 00001ed7: SWAP1 00001ed8: DUP2 00001ed9: MSTORE 00001eda: PUSH1 0x05 00001edc: PUSH1 0x20 00001ede: SWAP1 00001edf: DUP2 00001ee0: MSTORE 00001ee1: PUSH1 0x40 00001ee3: DUP1 00001ee4: DUP4 00001ee5: KECCAK256 00001ee6: DUP14 00001ee7: DUP6 00001ee8: AND 00001ee9: DUP5 00001eea: MSTORE 00001eeb: SWAP1 00001eec: SWAP2 00001eed: MSTORE 00001eee: DUP1 00001eef: DUP3 00001ef0: KECCAK256 00001ef1: SWAP4 00001ef2: SWAP1 00001ef3: SWAP4 00001ef4: SSTORE 00001ef5: SWAP1 00001ef6: DUP10 00001ef7: AND 00001ef8: DUP2 00001ef9: MSTORE 00001efa: KECCAK256 00001efb: SLOAD 00001efc: PUSH2 0x1f0e 00001eff: SWAP1 00001f00: PUSH2 0x1f09 00001f03: DUP9 00001f04: DUP9 00001f05: PUSH2 0x1d3d 00001f08: JUMP 00001f09: JUMPDEST 00001f0a: PUSH2 0x2139 00001f0d: JUMP 00001f0e: JUMPDEST 00001f0f: PUSH1 0x01 00001f11: PUSH1 0xa0 00001f13: PUSH1 0x02 00001f15: EXP 00001f16: SUB 00001f17: DUP1 00001f18: DUP15 00001f19: AND 00001f1a: PUSH1 0x00 00001f1c: SWAP1 00001f1d: DUP2 00001f1e: MSTORE 00001f1f: PUSH1 0x05 00001f21: PUSH1 0x20 00001f23: DUP2 00001f24: DUP2 00001f25: MSTORE 00001f26: PUSH1 0x40 00001f28: DUP1 00001f29: DUP5 00001f2a: KECCAK256 00001f2b: DUP14 00001f2c: DUP7 00001f2d: AND 00001f2e: DUP6 00001f2f: MSTORE 00001f30: DUP3 00001f31: MSTORE 00001f32: DUP1 00001f33: DUP5 00001f34: KECCAK256 00001f35: SWAP6 00001f36: SWAP1 00001f37: SWAP6 00001f38: SSTORE 00001f39: DUP15 00001f3a: DUP5 00001f3b: AND 00001f3c: DUP4 00001f3d: MSTORE 00001f3e: SWAP1 00001f3f: DUP2 00001f40: MSTORE 00001f41: DUP4 00001f42: DUP3 00001f43: KECCAK256 00001f44: SWAP3 00001f45: DUP13 00001f46: AND 00001f47: DUP3 00001f48: MSTORE 00001f49: SWAP2 00001f4a: SWAP1 00001f4b: SWAP2 00001f4c: MSTORE 00001f4d: KECCAK256 00001f4e: SLOAD 00001f4f: PUSH2 0x1f58 00001f52: SWAP1 00001f53: DUP5 00001f54: PUSH2 0x2139 00001f57: JUMP 00001f58: JUMPDEST 00001f59: PUSH1 0x01 00001f5b: PUSH1 0xa0 00001f5d: PUSH1 0x02 00001f5f: EXP 00001f60: SUB 00001f61: DUP12 00001f62: DUP2 00001f63: AND 00001f64: PUSH1 0x00 00001f66: SWAP1 00001f67: DUP2 00001f68: MSTORE 00001f69: PUSH1 0x05 00001f6b: PUSH1 0x20 00001f6d: SWAP1 00001f6e: DUP2 00001f6f: MSTORE 00001f70: PUSH1 0x40 00001f72: DUP1 00001f73: DUP4 00001f74: KECCAK256 00001f75: DUP14 00001f76: DUP6 00001f77: AND 00001f78: DUP5 00001f79: MSTORE 00001f7a: SWAP1 00001f7b: SWAP2 00001f7c: MSTORE 00001f7d: DUP1 00001f7e: DUP3 00001f7f: KECCAK256 00001f80: SWAP4 00001f81: SWAP1 00001f82: SWAP4 00001f83: SSTORE 00001f84: SWAP1 00001f85: DUP10 00001f86: AND 00001f87: DUP2 00001f88: MSTORE 00001f89: KECCAK256 00001f8a: SLOAD 00001f8b: PUSH2 0x1f94 00001f8e: SWAP1 00001f8f: DUP5 00001f90: PUSH2 0x1d3d 00001f93: JUMP 00001f94: JUMPDEST 00001f95: PUSH1 0x05 00001f97: PUSH1 0x00 00001f99: DUP13 00001f9a: PUSH1 0x01 00001f9c: PUSH1 0xa0 00001f9e: PUSH1 0x02 00001fa0: EXP 00001fa1: SUB 00001fa2: AND 00001fa3: PUSH1 0x01 00001fa5: PUSH1 0xa0 00001fa7: PUSH1 0x02 00001fa9: EXP 00001faa: SUB 00001fab: AND 00001fac: DUP2 00001fad: MSTORE 00001fae: PUSH1 0x20 00001fb0: ADD 00001fb1: SWAP1 00001fb2: DUP2 00001fb3: MSTORE 00001fb4: PUSH1 0x20 00001fb6: ADD 00001fb7: PUSH1 0x00 00001fb9: KECCAK256 00001fba: PUSH1 0x00 00001fbc: DUP10 00001fbd: PUSH1 0x01 00001fbf: PUSH1 0xa0 00001fc1: PUSH1 0x02 00001fc3: EXP 00001fc4: SUB 00001fc5: AND 00001fc6: PUSH1 0x01 00001fc8: PUSH1 0xa0 00001fca: PUSH1 0x02 00001fcc: EXP 00001fcd: SUB 00001fce: AND 00001fcf: DUP2 00001fd0: MSTORE 00001fd1: PUSH1 0x20 00001fd3: ADD 00001fd4: SWAP1 00001fd5: DUP2 00001fd6: MSTORE 00001fd7: PUSH1 0x20 00001fd9: ADD 00001fda: PUSH1 0x00 00001fdc: KECCAK256 00001fdd: DUP2 00001fde: SWAP1 00001fdf: SSTORE 00001fe0: POP 00001fe1: PUSH2 0x2050 00001fe4: PUSH1 0x05 00001fe6: PUSH1 0x00 00001fe8: DUP15 00001fe9: PUSH1 0x01 00001feb: PUSH1 0xa0 00001fed: PUSH1 0x02 00001fef: EXP 00001ff0: SUB 00001ff1: AND 00001ff2: PUSH1 0x01 00001ff4: PUSH1 0xa0 00001ff6: PUSH1 0x02 00001ff8: EXP 00001ff9: SUB 00001ffa: AND 00001ffb: DUP2 00001ffc: MSTORE 00001ffd: PUSH1 0x20 00001fff: ADD 00002000: SWAP1 00002001: DUP2 00002002: MSTORE 00002003: PUSH1 0x20 00002005: ADD 00002006: PUSH1 0x00 00002008: KECCAK256 00002009: PUSH1 0x00 0000200b: PUSH1 0x01 0000200d: PUSH1 0x00 0000200f: SWAP1 00002010: SLOAD 00002011: SWAP1 00002012: PUSH2 0x0100 00002015: EXP 00002016: SWAP1 00002017: DIV 00002018: PUSH1 0x01 0000201a: PUSH1 0xa0 0000201c: PUSH1 0x02 0000201e: EXP 0000201f: SUB 00002020: AND 00002021: PUSH1 0x01 00002023: PUSH1 0xa0 00002025: PUSH1 0x02 00002027: EXP 00002028: SUB 00002029: AND 0000202a: PUSH1 0x01 0000202c: PUSH1 0xa0 0000202e: PUSH1 0x02 00002030: EXP 00002031: SUB 00002032: AND 00002033: DUP2 00002034: MSTORE 00002035: PUSH1 0x20 00002037: ADD 00002038: SWAP1 00002039: DUP2 0000203a: MSTORE 0000203b: PUSH1 0x20 0000203d: ADD 0000203e: PUSH1 0x00 00002040: KECCAK256 00002041: SLOAD 00002042: PUSH2 0x1ec4 00002045: DUP8 00002046: DUP8 00002047: PUSH2 0x2139 0000204a: JUMP 0000204b: JUMPDEST 0000204c: PUSH2 0x1d3d 0000204f: JUMP 00002050: JUMPDEST 00002051: PUSH1 0x01 00002053: PUSH1 0xa0 00002055: PUSH1 0x02 00002057: EXP 00002058: SUB 00002059: DUP1 0000205a: DUP15 0000205b: AND 0000205c: PUSH1 0x00 0000205e: SWAP1 0000205f: DUP2 00002060: MSTORE 00002061: PUSH1 0x05 00002063: PUSH1 0x20 00002065: SWAP1 00002066: DUP2 00002067: MSTORE 00002068: PUSH1 0x40 0000206a: DUP1 0000206b: DUP4 0000206c: KECCAK256 0000206d: PUSH1 0x01 0000206f: SLOAD 00002070: DUP6 00002071: AND 00002072: DUP5 00002073: MSTORE 00002074: SWAP1 00002075: SWAP2 00002076: MSTORE 00002077: SWAP1 00002078: KECCAK256 00002079: SWAP2 0000207a: SWAP1 0000207b: SWAP2 0000207c: SSTORE 0000207d: PUSH1 0x03 0000207f: SLOAD 00002080: AND 00002081: ISZERO 00002082: PUSH2 0x0913 00002085: JUMPI 00002086: PUSH1 0x03 00002088: SLOAD 00002089: PUSH1 0x01 0000208b: PUSH1 0xa0 0000208d: PUSH1 0x02 0000208f: EXP 00002090: SUB 00002091: AND 00002092: PUSH4 0xf0fc1438 00002097: DUP14 00002098: DUP9 00002099: DUP14 0000209a: DUP8 0000209b: DUP14 0000209c: DUP14 0000209d: DUP13 0000209e: DUP13 0000209f: PUSH1 0x40 000020a1: MLOAD 000020a2: PUSH1 0xe0 000020a4: PUSH1 0x02 000020a6: EXP 000020a7: PUSH4 0xffffffff 000020ac: DUP12 000020ad: AND 000020ae: MUL 000020af: DUP2 000020b0: MSTORE 000020b1: PUSH1 0x01 000020b3: PUSH1 0xa0 000020b5: PUSH1 0x02 000020b7: EXP 000020b8: SUB 000020b9: SWAP9 000020ba: DUP10 000020bb: AND 000020bc: PUSH1 0x04 000020be: DUP3 000020bf: ADD 000020c0: MSTORE 000020c1: PUSH1 0x24 000020c3: DUP2 000020c4: ADD 000020c5: SWAP8 000020c6: SWAP1 000020c7: SWAP8 000020c8: MSTORE 000020c9: SWAP5 000020ca: DUP8 000020cb: AND 000020cc: PUSH1 0x44 000020ce: DUP8 000020cf: ADD 000020d0: MSTORE 000020d1: PUSH1 0x64 000020d3: DUP7 000020d4: ADD 000020d5: SWAP4 000020d6: SWAP1 000020d7: SWAP4 000020d8: MSTORE 000020d9: SWAP1 000020da: DUP6 000020db: AND 000020dc: PUSH1 0x84 000020de: DUP6 000020df: ADD 000020e0: MSTORE 000020e1: SWAP1 000020e2: SWAP4 000020e3: AND 000020e4: PUSH1 0xa4 000020e6: DUP4 000020e7: ADD 000020e8: MSTORE 000020e9: PUSH1 0xc4 000020eb: DUP3 000020ec: ADD 000020ed: SWAP3 000020ee: SWAP1 000020ef: SWAP3 000020f0: MSTORE 000020f1: PUSH1 0xe4 000020f3: DUP2 000020f4: ADD 000020f5: SWAP2 000020f6: SWAP1 000020f7: SWAP2 000020f8: MSTORE 000020f9: PUSH2 0x0104 000020fc: ADD 000020fd: PUSH1 0x00 000020ff: PUSH1 0x40 00002101: MLOAD 00002102: DUP1 00002103: DUP4 00002104: SUB 00002105: DUP2 00002106: PUSH1 0x00 00002108: DUP8 00002109: DUP1 0000210a: EXTCODESIZE 0000210b: ISZERO 0000210c: ISZERO 0000210d: PUSH2 0x2115 00002110: JUMPI 00002111: PUSH1 0x00 00002113: DUP1 00002114: REVERT 00002115: JUMPDEST 00002116: PUSH2 0x02c6 00002119: GAS 0000211a: SUB 0000211b: CALL 0000211c: ISZERO 0000211d: ISZERO 0000211e: PUSH2 0x2126 00002121: JUMPI 00002122: PUSH1 0x00 00002124: DUP1 00002125: REVERT 00002126: JUMPDEST 00002127: POP 00002128: POP 00002129: POP 0000212a: JUMPDEST 0000212b: JUMPDEST 0000212c: POP 0000212d: POP 0000212e: POP 0000212f: POP 00002130: POP 00002131: POP 00002132: POP 00002133: POP 00002134: POP 00002135: POP 00002136: POP 00002137: POP 00002138: JUMP 00002139: JUMPDEST 0000213a: PUSH1 0x00 0000213c: DUP3 0000213d: DUP3 0000213e: GT 0000213f: ISZERO 00002140: PUSH2 0x2145 00002143: JUMPI 00002144: INVALID 00002145: JUMPDEST 00002146: POP 00002147: DUP1 00002148: DUP3 00002149: SUB 0000214a: JUMPDEST 0000214b: SWAP3 0000214c: SWAP2 0000214d: POP 0000214e: POP 0000214f: JUMP 00002150: JUMPDEST 00002151: PUSH1 0x00 00002153: DUP3 00002154: DUP3 00002155: MUL 00002156: DUP4 00002157: ISZERO 00002158: DUP1 00002159: PUSH2 0x1d52 0000215c: JUMPI 0000215d: POP 0000215e: DUP3 0000215f: DUP5 00002160: DUP3 00002161: DUP2 00002162: ISZERO 00002163: ISZERO 00002164: PUSH2 0x2169 00002167: JUMPI 00002168: INVALID 00002169: JUMPDEST 0000216a: DIV 0000216b: EQ 0000216c: JUMPDEST 0000216d: ISZERO 0000216e: ISZERO 0000216f: PUSH2 0x1d5a 00002172: JUMPI 00002173: INVALID 00002174: JUMPDEST 00002175: DUP1 00002176: SWAP2 00002177: POP 00002178: JUMPDEST 00002179: POP 0000217a: SWAP3 0000217b: SWAP2 0000217c: POP 0000217d: POP 0000217e: JUMP 0000217f: STOP 00002180: SDIV 00002181: UNKNOWN(0xB8) 00002182: UNKNOWN(0xCC) 00002183: UNKNOWN(0xBB) 00002184: SWAP14 00002185: UNKNOWN(0x4D) 00002186: DUP16 00002187: UNKNOWN(0xB1) 00002188: PUSH15 0xa74ce3c29a41f1b461fbdaff4714a0 00002198: UNKNOWN(0xD9) 00002199: UNKNOWN(0xA8) 0000219a: UNKNOWN(0xEB) 0000219b: SDIV 0000219c: BLOBHASH 0000219d: SWAP8 0000219e: CHAINID 0000219f: UNKNOWN(0xBC) 000021a0: LOG1 000021a1: PUSH6 0x627a7a723058 000021a8: KECCAK256 000021a9: PUSH24 0xf218d396cd040a425e3dc0d8a1d2b99db2d2b265a225a413 000021c2: UNKNOWN(0x4E) 000021c3: UNKNOWN(0xC6) 000021c4: UNKNOWN(0xBE) 000021c5: UNKNOWN(0xD3) 000021c6: UNKNOWN(0xAD) 000021c7: UNKNOWN(0xC3) 000021c8: DUP2 000021c9: STOP 000021ca: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | yes | yes |
viewtrace_id: 0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874
call_targets:
0x0000000000000000000000000000000000000001, 0x0000000000000000000000000000000000000002, 0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x0000000000000000000000000000000000000002",
"0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0a19b14a",
"selector": "0x0a19b14a",
"calldata_variants": [
"0x0a19b14a",
"0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e136b19",
"selector": "0x0e136b19",
"calldata_variants": [
"0x0e136b19",
"0x0e136b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19774d43",
"selector": "0x19774d43",
"calldata_variants": [
"0x19774d43",
"0x19774d430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278b8c0e",
"selector": "0x278b8c0e",
"calldata_variants": [
"0x278b8c0e",
"0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d804ca2",
"selector": "0x2d804ca2",
"calldata_variants": [
"0x2d804ca2",
"0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x338b5dea",
"selector": "0x338b5dea",
"calldata_variants": [
"0x338b5dea",
"0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ec18c3",
"selector": "0x38ec18c3",
"calldata_variants": [
"0x38ec18c3",
"0x38ec18c30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1812,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 20,
"guards_detected": [],
"untrusted_call_count": 20
}
|
| high | other | detector | ETH value transfer possible | 55 | yes | yes |
viewtrace_id: 0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874
call_targets:
0x0000000000000000000000000000000000000001, 0x0000000000000000000000000000000000000002, 0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8
target_varies:
yes
classification:
target_varies
validation_json{
"sink": "CALL",
"errors": 0,
"status": "confirmed",
"attempts": 1,
"trace_id": "0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874",
"confirmed": true,
"trace_mode": "callTracer",
"call_targets": [
"0x0000000000000000000000000000000000000001",
"0x0000000000000000000000000000000000000002",
"0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8"
],
"matched_probe": null,
"target_varies": true,
"classification": "target_varies"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0a19b14a",
"selector": "0x0a19b14a",
"calldata_variants": [
"0x0a19b14a",
"0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0e136b19",
"selector": "0x0e136b19",
"calldata_variants": [
"0x0e136b19",
"0x0e136b190000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19774d43",
"selector": "0x19774d43",
"calldata_variants": [
"0x19774d43",
"0x19774d430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x278b8c0e",
"selector": "0x278b8c0e",
"calldata_variants": [
"0x278b8c0e",
"0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d804ca2",
"selector": "0x2d804ca2",
"calldata_variants": [
"0x2d804ca2",
"0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x338b5dea",
"selector": "0x338b5dea",
"calldata_variants": [
"0x338b5dea",
"0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38ec18c3",
"selector": "0x38ec18c3",
"calldata_variants": [
"0x38ec18c3",
"0x38ec18c30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1812,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1990,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2506,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 20,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 12
}
|
| 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": 20
}
|