019bb490-f36f-70c4-96e3-f0e30d2d9ef1
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 |
|---|---|---|---|---|
| 40095 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 40096 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 40097 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 40098 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 40099 | capability.graph | complete | 1 / 3 | 3 months ago |
| 40100 | detector.run | complete | 1 / 3 | 3 months ago |
| 40101 | validation.fork | complete | 1 / 3 | 3 months ago |
| 40230 | report.consolidate | complete | 1 / 6 | 3 months ago |
| 40231 | tool.slither | failed | 2 / 2 | 3 months ago |
{
"status": "not_proxy"
}
Traceback (most recent call last):
File "/var/www/tripwire/worker/worker.py", line 198, in main
payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
stdout_text, stderr_text, result_json = _run_slither(
~~~~~~~~~~~~^
workspace,
^^^^^^^^^^
...<4 lines>...
target_path=target_path,
^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-lbwfyide)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-lbwfyide)
'forge' returned non-zero exit code 1
[2m2026-01-13T00:44:26.826053Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout: "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-lbwfyide/contracts/Numba.sol"
stdout: with remappings:
stdout: openzeppelin-contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/
stdout: @openzeppelin/contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol: No solc version exists that matches the version requirement: ^0.8.24
Traceback (most recent call last):
File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
sys.exit(main())
~~~~^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
main_impl(all_detector_classes=detectors, all_printer_classes=printers)
~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
) = process_all(filename, args, detector_classes, printer_classes)
~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
compilations = compile_all(target, **vars(args))
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
compilations.append(CryticCompile(target, **kwargs))
~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
self._compile(**kwargs)
~~~~~~~~~~~~~^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
self._platform.compile(self, **kwargs)
~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
hardhat_like_parsing(
~~~~~~~~~~~~~~~~~~~~^
crytic_compile, str(self._target), build_directory, str(self._project_root)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
)
^
File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-lbwfyide/out/build-info is not a directory.
{"no_findings":false,"summary":"Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.","findings":[{"severity":"high","category":"auth","title":"Approved operator can burn someone else’s NFT and steal the ETH backing","exploit_scenario":"A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user’s NFT.","recommendation":"Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.","evidence":"claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.","locations":["contracts/Numba.sol:184","contracts/Numba.sol:186","contracts/Numba.sol:187"]},{"severity":"low","category":"oracle","title":"Predictable/malleable randomness for genesis token assignment","exploit_scenario":"Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID.","recommendation":"Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.","evidence":"randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.","locations":["contracts/Numba.sol:57","contracts/Numba.sol:60","contracts/Numba.sol:64","contracts/Numba.sol:65"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-x6ijhu29
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb4ad-2dc5-7da2-b684-bb5ee518ec14
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers
thinking
**Preparing to read AUDIT_BUNDLE file**
exec
/bin/bash -lc ls in /tmp/codex-x6ijhu29 succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-x6ijhu29 succeeded in 6ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.
================================================================================
FILE: contracts/Numba.sol
================================================================================
/*
__ __ __
| \ | \ | \
| $$\ | $$ __ __ ______ ____ | $$____ ______
| $$$\| $$| \ | \| \ \ | $$ \ | \
| $$$$\ $$| $$ | $$| $$$$$$\$$$$\| $$$$$$$\ \$$$$$$\
| $$\$$ $$| $$ | $$| $$ | $$ | $$| $$ | $$ / $$
| $$ \$$$$| $$__/ $$| $$ | $$ | $$| $$__/ $$| $$$$$$$
| $$ \$$$ \$$ $$| $$ | $$ | $$| $$ $$ \$$ $$
\$$ \$$ \$$$$$$ \$$ \$$ \$$ \$$$$$$$ \$$$$$$$
go up!
https://twitter.com/NumbaNFT
thinking
**Reviewing smart contract vulnerabilities**
thinking
**Summarizing vulnerability assessment details**
I’m organizing the findings into clear severities—highlighting the critical unauthorized payout via claimAndBurn and the lower-risk randomness issues—and planning to gather exact file and line numbers using shell commands to back up the report.
exec
/bin/bash -lc "nl -ba contracts/Numba.sol | sed -n '90,210p'" in /tmp/codex-x6ijhu29 succeeded in 6ms:
90 require(
91 totalSupply() + numberOfMints <= GENESIS_AMOUNT,
92 "Can't mint that much."
93 );
94 require(
95 numberOfMints > 0 && numberOfMints < 11,
96 "Too much or too lil."
97 );
98 require(price * numberOfMints == msg.value, "Hmmm.");
99
100 for (uint256 i; i < numberOfMints; i++) {
101 _safeMint(msg.sender, randomIndex());
102 numbaMinted++;
103 }
104 }
105
106 function mint() public payable nonReentrant {
107 require(numbaMinted > GENESIS_AMOUNT - 1, "Genesis mint is not over.");
108 require(msg.value >= price * 3, "Insufficient funds to purchase.");
109 if (msg.value > price * 3) {
thinking
**Requesting previous lines for context**
exec
/bin/bash -lc "nl -ba contracts/Numba.sol | sed -n '40,90p'" in /tmp/codex-x6ijhu29 succeeded in 6ms:
40 ReentrancyGuard
41 {
42
43 uint256 public constant GENESIS_AMOUNT = 1000;
44 uint256 public numbaMinted = 0;
45 uint256 public price = 0.033 ether;
46 uint256 public priceIncrement = 0.001 ether;
47 uint256 public devFee = 0.011 ether;
48 uint256 public devWithdrawn = 0;
49
50 mapping(uint256 => uint256) public nextUsable;
51
52 uint256 internal nonce = 0;
53 uint256[GENESIS_AMOUNT] internal indices;
54
55 constructor() ERC721("Numba", "#") {}
56
57 function randomIndex() internal returns (uint256) {
58 uint256 totalSize = GENESIS_AMOUNT - numbaMinted;
59 uint256 index = uint256(
thinking
**Formatting security findings as JSON**
I’m preparing a JSON output summarizing the key security findings with correct severity, category, and other metadata per the codex schema. I want to clearly describe the authorization flaw allowing approved operators to burn and steal backing, plus the randomness predictability with miner/user manipulation potential. I’ll include relevant line numbers and file paths for evidence.
codex
{"no_findings":false,"summary":"Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.","findings":[{"severity":"high","category":"auth","title":"Approved operator can burn someone else’s NFT and steal the ETH backing","exploit_scenario":"A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user’s NFT.","recommendation":"Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.","evidence":"claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.","locations":["contracts/Numba.sol:184","contracts/Numba.sol:186","contracts/Numba.sol:187"]},{"severity":"low","category":"oracle","title":"Predictable/malleable randomness for genesis token assignment","exploit_scenario":"Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID.","recommendation":"Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.","evidence":"randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.","locations":["contracts/Numba.sol:57","contracts/Numba.sol:60","contracts/Numba.sol:64","contracts/Numba.sol:65"]}]}
tokens used
15,594
{
"codex": {
"ran_at": "2026-01-13T00:08:26.422891+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 15,
"import_count": 19,
"first_party_contracts_count": 1
},
"summary": "Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.",
"raw_final": {
"summary": "Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.",
"findings": [
{
"title": "Approved operator can burn someone else\u2019s NFT and steal the ETH backing",
"category": "auth",
"evidence": "claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.",
"severity": "high",
"locations": [
"contracts/Numba.sol:184",
"contracts/Numba.sol:186",
"contracts/Numba.sol:187"
],
"recommendation": "Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.",
"exploit_scenario": "A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user\u2019s NFT."
},
{
"title": "Predictable/malleable randomness for genesis token assignment",
"category": "oracle",
"evidence": "randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.",
"severity": "low",
"locations": [
"contracts/Numba.sol:57",
"contracts/Numba.sol:60",
"contracts/Numba.sol:64",
"contracts/Numba.sol:65"
],
"recommendation": "Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.",
"exploit_scenario": "Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0260 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x7a8afcc2 00000019: GT 0000001a: PUSH2 0x0144 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb88d4fde 00000024: GT 00000025: PUSH2 0x00b6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd30f8fc0 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd30f8fc0 0000003a: EQ 0000003b: PUSH2 0x06ad 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdd7edffa 00000045: EQ 00000046: PUSH2 0x06da 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xdff63243 00000050: EQ 00000051: PUSH2 0x06f0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe21f37ce 0000005b: EQ 0000005c: PUSH2 0x0703 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xe985e9c5 00000066: EQ 00000067: PUSH2 0x0738 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xf2fde38b 00000071: EQ 00000072: PUSH2 0x0781 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xb88d4fde 00000081: EQ 00000082: PUSH2 0x062e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc62c1b97 0000008c: EQ 0000008d: PUSH2 0x064e 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc75d6daf 00000097: EQ 00000098: PUSH2 0x0663 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xc87b56dd 000000a2: EQ 000000a3: PUSH2 0x0678 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xcd3293de 000000ad: EQ 000000ae: PUSH2 0x0698 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x9e7c75c1 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x9e7c75c1 000000c8: EQ 000000c9: PUSH2 0x05a7 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa035b1fe 000000d3: EQ 000000d4: PUSH2 0x05ba 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xa1943113 000000de: EQ 000000df: PUSH2 0x05d0 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xa22cb465 000000e9: EQ 000000ea: PUSH2 0x05e6 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xad606c72 000000f4: EQ 000000f5: PUSH2 0x0606 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xad66e52a 000000ff: EQ 00000100: PUSH2 0x061b 00000103: JUMPI 00000104: PUSH1 0x00 00000106: DUP1 00000107: REVERT 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x7a8afcc2 0000010f: EQ 00000110: PUSH2 0x0521 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x83ea018d 0000011a: EQ 0000011b: PUSH2 0x0541 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x87d35216 00000125: EQ 00000126: PUSH2 0x0554 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x8da5cb5b 00000130: EQ 00000131: PUSH2 0x0574 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x95d89b41 0000013b: EQ 0000013c: PUSH2 0x0592 0000013f: JUMPI 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: DUP1 00000146: PUSH4 0x280d62ac 0000014b: GT 0000014c: PUSH2 0x01dd 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x4f6ccce7 00000156: GT 00000157: PUSH2 0x01a1 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x4f6ccce7 00000161: EQ 00000162: PUSH2 0x0483 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x5f648946 0000016c: EQ 0000016d: PUSH2 0x04a3 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x6352211e 00000177: EQ 00000178: PUSH2 0x04b6 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x6827e764 00000182: EQ 00000183: PUSH2 0x04d6 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x70a08231 0000018d: EQ 0000018e: PUSH2 0x04ec 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x715018a6 00000198: EQ 00000199: PUSH2 0x050c 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: DUP1 000001a3: PUSH4 0x280d62ac 000001a8: EQ 000001a9: PUSH2 0x03e0 000001ac: JUMPI 000001ad: DUP1 000001ae: PUSH4 0x2f745c59 000001b3: EQ 000001b4: PUSH2 0x03f6 000001b7: JUMPI 000001b8: DUP1 000001b9: PUSH4 0x3f349ba4 000001be: EQ 000001bf: PUSH2 0x0416 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x42842e0e 000001c9: EQ 000001ca: PUSH2 0x0443 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x42966c68 000001d4: EQ 000001d5: PUSH2 0x0463 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: DUP1 000001df: PUSH4 0x0c9dc144 000001e4: GT 000001e5: PUSH2 0x0224 000001e8: JUMPI 000001e9: DUP1 000001ea: PUSH4 0x0c9dc144 000001ef: EQ 000001f0: PUSH2 0x0378 000001f3: JUMPI 000001f4: DUP1 000001f5: PUSH4 0x1249c58b 000001fa: EQ 000001fb: PUSH2 0x038e 000001fe: JUMPI 000001ff: DUP1 00000200: PUSH4 0x1521843e 00000205: EQ 00000206: PUSH2 0x0396 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x18160ddd 00000210: EQ 00000211: PUSH2 0x03ab 00000214: JUMPI 00000215: DUP1 00000216: PUSH4 0x23b872dd 0000021b: EQ 0000021c: PUSH2 0x03c0 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: DUP1 00000226: PUSH4 0x01ba0260 0000022b: EQ 0000022c: PUSH2 0x02a4 0000022f: JUMPI 00000230: DUP1 00000231: PUSH4 0x01ffc9a7 00000236: EQ 00000237: PUSH2 0x02cc 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x06fdde03 00000241: EQ 00000242: PUSH2 0x02fc 00000245: JUMPI 00000246: DUP1 00000247: PUSH4 0x081812fc 0000024c: EQ 0000024d: PUSH2 0x031e 00000250: JUMPI 00000251: DUP1 00000252: PUSH4 0x095ea7b3 00000257: EQ 00000258: PUSH2 0x0356 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: CALLDATASIZE 00000262: PUSH2 0x029f 00000265: JUMPI 00000266: PUSH1 0x40 00000268: DUP1 00000269: MLOAD 0000026a: CALLER 0000026b: DUP2 0000026c: MSTORE 0000026d: CALLVALUE 0000026e: PUSH1 0x20 00000270: DUP3 00000271: ADD 00000272: MSTORE 00000273: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 00000294: SWAP2 00000295: ADD 00000296: PUSH1 0x40 00000298: MLOAD 00000299: DUP1 0000029a: SWAP2 0000029b: SUB 0000029c: SWAP1 0000029d: LOG1 0000029e: STOP 0000029f: JUMPDEST 000002a0: PUSH1 0x00 000002a2: DUP1 000002a3: REVERT 000002a4: JUMPDEST 000002a5: CALLVALUE 000002a6: DUP1 000002a7: ISZERO 000002a8: PUSH2 0x02b0 000002ab: JUMPI 000002ac: PUSH1 0x00 000002ae: DUP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: PUSH2 0x02b9 000002b5: PUSH2 0x07a1 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: SWAP1 000002be: DUP2 000002bf: MSTORE 000002c0: PUSH1 0x20 000002c2: ADD 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: DUP1 000002c8: SWAP2 000002c9: SUB 000002ca: SWAP1 000002cb: RETURN 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x02ec 000002dd: PUSH2 0x02e7 000002e0: CALLDATASIZE 000002e1: PUSH1 0x04 000002e3: PUSH2 0x2b96 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH2 0x07ca 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH1 0x40 000002ef: MLOAD 000002f0: SWAP1 000002f1: ISZERO 000002f2: ISZERO 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: PUSH2 0x02c3 000002fb: JUMP 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x0311 0000030d: PUSH2 0x07db 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH1 0x40 00000314: MLOAD 00000315: PUSH2 0x02c3 00000318: SWAP2 00000319: SWAP1 0000031a: PUSH2 0x2e20 0000031d: JUMP 0000031e: JUMPDEST 0000031f: CALLVALUE 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: POP 0000032c: PUSH2 0x033e 0000032f: PUSH2 0x0339 00000332: CALLDATASIZE 00000333: PUSH1 0x04 00000335: PUSH2 0x2bce 00000338: JUMP 00000339: JUMPDEST 0000033a: PUSH2 0x086d 0000033d: JUMP 0000033e: JUMPDEST 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: PUSH1 0x01 00000344: PUSH1 0x01 00000346: PUSH1 0xa0 00000348: SHL 00000349: SUB 0000034a: SWAP1 0000034b: SWAP2 0000034c: AND 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x20 00000351: ADD 00000352: PUSH2 0x02c3 00000355: JUMP 00000356: JUMPDEST 00000357: CALLVALUE 00000358: DUP1 00000359: ISZERO 0000035a: PUSH2 0x0362 0000035d: JUMPI 0000035e: PUSH1 0x00 00000360: DUP1 00000361: REVERT 00000362: JUMPDEST 00000363: POP 00000364: PUSH2 0x0376 00000367: PUSH2 0x0371 0000036a: CALLDATASIZE 0000036b: PUSH1 0x04 0000036d: PUSH2 0x2b6d 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH2 0x0907 00000375: JUMP 00000376: JUMPDEST 00000377: STOP 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: DUP1 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: POP 00000386: PUSH2 0x02b9 00000389: PUSH1 0x0c 0000038b: SLOAD 0000038c: DUP2 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH2 0x0376 00000392: PUSH2 0x0a1d 00000395: JUMP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a2 0000039d: JUMPI 0000039e: PUSH1 0x00 000003a0: DUP1 000003a1: REVERT 000003a2: JUMPDEST 000003a3: POP 000003a4: PUSH2 0x02b9 000003a7: PUSH2 0x0bb2 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: DUP1 000003ae: ISZERO 000003af: PUSH2 0x03b7 000003b2: JUMPI 000003b3: PUSH1 0x00 000003b5: DUP1 000003b6: REVERT 000003b7: JUMPDEST 000003b8: POP 000003b9: PUSH1 0x08 000003bb: SLOAD 000003bc: PUSH2 0x02b9 000003bf: JUMP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH2 0x0376 000003d1: PUSH2 0x03db 000003d4: CALLDATASIZE 000003d5: PUSH1 0x04 000003d7: PUSH2 0x2a23 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH2 0x0bdc 000003df: JUMP 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: DUP1 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: POP 000003ee: PUSH2 0x02b9 000003f1: PUSH1 0x0e 000003f3: SLOAD 000003f4: DUP2 000003f5: JUMP 000003f6: JUMPDEST 000003f7: CALLVALUE 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: POP 00000404: PUSH2 0x02b9 00000407: PUSH2 0x0411 0000040a: CALLDATASIZE 0000040b: PUSH1 0x04 0000040d: PUSH2 0x2b6d 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x0c0e 00000415: JUMP 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x0436 00000427: PUSH2 0x0431 0000042a: CALLDATASIZE 0000042b: PUSH1 0x04 0000042d: PUSH2 0x29d0 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH2 0x0ca4 00000435: JUMP 00000436: JUMPDEST 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: PUSH2 0x02c3 0000043d: SWAP2 0000043e: SWAP1 0000043f: PUSH2 0x2ddc 00000442: JUMP 00000443: JUMPDEST 00000444: CALLVALUE 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: PUSH2 0x0376 00000454: PUSH2 0x045e 00000457: CALLDATASIZE 00000458: PUSH1 0x04 0000045a: PUSH2 0x2a23 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH2 0x0d62 00000462: JUMP 00000463: JUMPDEST 00000464: CALLVALUE 00000465: DUP1 00000466: ISZERO 00000467: PUSH2 0x046f 0000046a: JUMPI 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: PUSH2 0x0376 00000474: PUSH2 0x047e 00000477: CALLDATASIZE 00000478: PUSH1 0x04 0000047a: PUSH2 0x2bce 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH2 0x0d7d 00000482: JUMP 00000483: JUMPDEST 00000484: CALLVALUE 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x048f 0000048a: JUMPI 0000048b: PUSH1 0x00 0000048d: DUP1 0000048e: REVERT 0000048f: JUMPDEST 00000490: POP 00000491: PUSH2 0x02b9 00000494: PUSH2 0x049e 00000497: CALLDATASIZE 00000498: PUSH1 0x04 0000049a: PUSH2 0x2bce 0000049d: JUMP 0000049e: JUMPDEST 0000049f: PUSH2 0x0df7 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH2 0x0376 000004a7: PUSH2 0x04b1 000004aa: CALLDATASIZE 000004ab: PUSH1 0x04 000004ad: PUSH2 0x2be6 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH2 0x0e98 000004b5: JUMP 000004b6: JUMPDEST 000004b7: CALLVALUE 000004b8: DUP1 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x033e 000004c7: PUSH2 0x04d1 000004ca: CALLDATASIZE 000004cb: PUSH1 0x04 000004cd: PUSH2 0x2bce 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH2 0x1006 000004d5: JUMP 000004d6: JUMPDEST 000004d7: CALLVALUE 000004d8: DUP1 000004d9: ISZERO 000004da: PUSH2 0x04e2 000004dd: JUMPI 000004de: PUSH1 0x00 000004e0: DUP1 000004e1: REVERT 000004e2: JUMPDEST 000004e3: POP 000004e4: PUSH2 0x02b9 000004e7: PUSH1 0x0f 000004e9: SLOAD 000004ea: DUP2 000004eb: JUMP 000004ec: JUMPDEST 000004ed: CALLVALUE 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04f8 000004f3: JUMPI 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: REVERT 000004f8: JUMPDEST 000004f9: POP 000004fa: PUSH2 0x02b9 000004fd: PUSH2 0x0507 00000500: CALLDATASIZE 00000501: PUSH1 0x04 00000503: PUSH2 0x29d0 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH2 0x107d 0000050b: JUMP 0000050c: JUMPDEST 0000050d: CALLVALUE 0000050e: DUP1 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: POP 0000051a: PUSH2 0x0376 0000051d: PUSH2 0x1104 00000520: JUMP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052d 00000528: JUMPI 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: REVERT 0000052d: JUMPDEST 0000052e: POP 0000052f: PUSH2 0x02b9 00000532: PUSH2 0x053c 00000535: CALLDATASIZE 00000536: PUSH1 0x04 00000538: PUSH2 0x29d0 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH2 0x113a 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH2 0x0376 00000545: PUSH2 0x054f 00000548: CALLDATASIZE 00000549: PUSH1 0x04 0000054b: PUSH2 0x2be6 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x116a 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x0376 00000565: PUSH2 0x056f 00000568: CALLDATASIZE 00000569: PUSH1 0x04 0000056b: PUSH2 0x2bce 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH2 0x1267 00000573: JUMP 00000574: JUMPDEST 00000575: CALLVALUE 00000576: DUP1 00000577: ISZERO 00000578: PUSH2 0x0580 0000057b: JUMPI 0000057c: PUSH1 0x00 0000057e: DUP1 0000057f: REVERT 00000580: JUMPDEST 00000581: POP 00000582: PUSH1 0x0a 00000584: SLOAD 00000585: PUSH1 0x01 00000587: PUSH1 0x01 00000589: PUSH1 0xa0 0000058b: SHL 0000058c: SUB 0000058d: AND 0000058e: PUSH2 0x033e 00000591: JUMP 00000592: JUMPDEST 00000593: CALLVALUE 00000594: DUP1 00000595: ISZERO 00000596: PUSH2 0x059e 00000599: JUMPI 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: REVERT 0000059e: JUMPDEST 0000059f: POP 000005a0: PUSH2 0x0311 000005a3: PUSH2 0x134e 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH2 0x0376 000005ab: PUSH2 0x05b5 000005ae: CALLDATASIZE 000005af: PUSH1 0x04 000005b1: PUSH2 0x2c07 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH2 0x135d 000005b9: JUMP 000005ba: JUMPDEST 000005bb: CALLVALUE 000005bc: DUP1 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: PUSH2 0x02b9 000005cb: PUSH1 0x0d 000005cd: SLOAD 000005ce: DUP2 000005cf: JUMP 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x02b9 000005e1: PUSH1 0x10 000005e3: SLOAD 000005e4: DUP2 000005e5: JUMP 000005e6: JUMPDEST 000005e7: CALLVALUE 000005e8: DUP1 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: POP 000005f4: PUSH2 0x0376 000005f7: PUSH2 0x0601 000005fa: CALLDATASIZE 000005fb: PUSH1 0x04 000005fd: PUSH2 0x2b33 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH2 0x1646 00000605: JUMP 00000606: JUMPDEST 00000607: CALLVALUE 00000608: DUP1 00000609: ISZERO 0000060a: PUSH2 0x0612 0000060d: JUMPI 0000060e: PUSH1 0x00 00000610: DUP1 00000611: REVERT 00000612: JUMPDEST 00000613: POP 00000614: PUSH2 0x0376 00000617: PUSH2 0x1655 0000061a: JUMP 0000061b: JUMPDEST 0000061c: CALLVALUE 0000061d: DUP1 0000061e: ISZERO 0000061f: PUSH2 0x0627 00000622: JUMPI 00000623: PUSH1 0x00 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: SELFBALANCE 0000062a: PUSH2 0x02b9 0000062d: JUMP 0000062e: JUMPDEST 0000062f: CALLVALUE 00000630: DUP1 00000631: ISZERO 00000632: PUSH2 0x063a 00000635: JUMPI 00000636: PUSH1 0x00 00000638: DUP1 00000639: REVERT 0000063a: JUMPDEST 0000063b: POP 0000063c: PUSH2 0x0376 0000063f: PUSH2 0x0649 00000642: CALLDATASIZE 00000643: PUSH1 0x04 00000645: PUSH2 0x2a5e 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH2 0x173b 0000064d: JUMP 0000064e: JUMPDEST 0000064f: CALLVALUE 00000650: DUP1 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH1 0x00 00000658: DUP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: POP 0000065c: PUSH2 0x02b9 0000065f: PUSH2 0x1773 00000662: JUMP 00000663: JUMPDEST 00000664: CALLVALUE 00000665: DUP1 00000666: ISZERO 00000667: PUSH2 0x066f 0000066a: JUMPI 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: REVERT 0000066f: JUMPDEST 00000670: POP 00000671: PUSH2 0x02b9 00000674: PUSH2 0x179a 00000677: JUMP 00000678: JUMPDEST 00000679: CALLVALUE 0000067a: DUP1 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: POP 00000686: PUSH2 0x0311 00000689: PUSH2 0x0693 0000068c: CALLDATASIZE 0000068d: PUSH1 0x04 0000068f: PUSH2 0x2bce 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH2 0x17b2 00000697: JUMP 00000698: JUMPDEST 00000699: CALLVALUE 0000069a: DUP1 0000069b: ISZERO 0000069c: PUSH2 0x06a4 0000069f: JUMPI 000006a0: PUSH1 0x00 000006a2: DUP1 000006a3: REVERT 000006a4: JUMPDEST 000006a5: POP 000006a6: PUSH2 0x02b9 000006a9: PUSH2 0x18a3 000006ac: JUMP 000006ad: JUMPDEST 000006ae: CALLVALUE 000006af: DUP1 000006b0: ISZERO 000006b1: PUSH2 0x06b9 000006b4: JUMPI 000006b5: PUSH1 0x00 000006b7: DUP1 000006b8: REVERT 000006b9: JUMPDEST 000006ba: POP 000006bb: PUSH2 0x02b9 000006be: PUSH2 0x06c8 000006c1: CALLDATASIZE 000006c2: PUSH1 0x04 000006c4: PUSH2 0x2bce 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH1 0x11 000006cb: PUSH1 0x20 000006cd: MSTORE 000006ce: PUSH1 0x00 000006d0: SWAP1 000006d1: DUP2 000006d2: MSTORE 000006d3: PUSH1 0x40 000006d5: SWAP1 000006d6: KECCAK256 000006d7: SLOAD 000006d8: DUP2 000006d9: JUMP 000006da: JUMPDEST 000006db: CALLVALUE 000006dc: DUP1 000006dd: ISZERO 000006de: PUSH2 0x06e6 000006e1: JUMPI 000006e2: PUSH1 0x00 000006e4: DUP1 000006e5: REVERT 000006e6: JUMPDEST 000006e7: POP 000006e8: PUSH2 0x02b9 000006eb: PUSH2 0x03e8 000006ee: DUP2 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH2 0x0376 000006f4: PUSH2 0x06fe 000006f7: CALLDATASIZE 000006f8: PUSH1 0x04 000006fa: PUSH2 0x2bce 000006fd: JUMP 000006fe: JUMPDEST 000006ff: PUSH2 0x18b7 00000702: JUMP 00000703: JUMPDEST 00000704: CALLVALUE 00000705: DUP1 00000706: ISZERO 00000707: PUSH2 0x070f 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: DUP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH1 0x40 00000713: DUP1 00000714: MLOAD 00000715: DUP1 00000716: DUP3 00000717: ADD 00000718: SWAP1 00000719: SWAP2 0000071a: MSTORE 0000071b: PUSH1 0x0c 0000071d: DUP2 0000071e: MSTORE 0000071f: PUSH12 0x4e756d626120676f20757021 0000072c: PUSH1 0xa0 0000072e: SHL 0000072f: PUSH1 0x20 00000731: DUP3 00000732: ADD 00000733: MSTORE 00000734: PUSH2 0x0311 00000737: JUMP 00000738: JUMPDEST 00000739: CALLVALUE 0000073a: DUP1 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: POP 00000746: PUSH2 0x02ec 00000749: PUSH2 0x0753 0000074c: CALLDATASIZE 0000074d: PUSH1 0x04 0000074f: PUSH2 0x29f1 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH1 0x01 00000756: PUSH1 0x01 00000758: PUSH1 0xa0 0000075a: SHL 0000075b: SUB 0000075c: SWAP2 0000075d: DUP3 0000075e: AND 0000075f: PUSH1 0x00 00000761: SWAP1 00000762: DUP2 00000763: MSTORE 00000764: PUSH1 0x05 00000766: PUSH1 0x20 00000768: SWAP1 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x40 0000076d: DUP1 0000076e: DUP4 0000076f: KECCAK256 00000770: SWAP4 00000771: SWAP1 00000772: SWAP5 00000773: AND 00000774: DUP3 00000775: MSTORE 00000776: SWAP2 00000777: SWAP1 00000778: SWAP2 00000779: MSTORE 0000077a: KECCAK256 0000077b: SLOAD 0000077c: PUSH1 0xff 0000077e: AND 0000077f: SWAP1 00000780: JUMP 00000781: JUMPDEST 00000782: CALLVALUE 00000783: DUP1 00000784: ISZERO 00000785: PUSH2 0x078d 00000788: JUMPI 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: REVERT 0000078d: JUMPDEST 0000078e: POP 0000078f: PUSH2 0x0376 00000792: PUSH2 0x079c 00000795: CALLDATASIZE 00000796: PUSH1 0x04 00000798: PUSH2 0x29d0 0000079b: JUMP 0000079c: JUMPDEST 0000079d: PUSH2 0x1a12 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x00 000007a4: DUP1 000007a5: PUSH1 0x0c 000007a7: SLOAD 000007a8: PUSH1 0x0f 000007aa: SLOAD 000007ab: PUSH2 0x07b4 000007ae: SWAP2 000007af: SWAP1 000007b0: PUSH2 0x30e6 000007b3: JUMP 000007b4: JUMPDEST 000007b5: SWAP1 000007b6: POP 000007b7: PUSH1 0x10 000007b9: SLOAD 000007ba: DUP2 000007bb: PUSH2 0x07c4 000007be: SWAP2 000007bf: SWAP1 000007c0: PUSH2 0x3105 000007c3: JUMP 000007c4: JUMPDEST 000007c5: SWAP2 000007c6: POP 000007c7: POP 000007c8: SWAP1 000007c9: JUMP 000007ca: JUMPDEST 000007cb: PUSH1 0x00 000007cd: PUSH2 0x07d5 000007d0: DUP3 000007d1: PUSH2 0x1aaa 000007d4: JUMP 000007d5: JUMPDEST 000007d6: SWAP3 000007d7: SWAP2 000007d8: POP 000007d9: POP 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x60 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: SLOAD 000007e2: PUSH2 0x07ea 000007e5: SWAP1 000007e6: PUSH2 0x3148 000007e9: JUMP 000007ea: JUMPDEST 000007eb: DUP1 000007ec: PUSH1 0x1f 000007ee: ADD 000007ef: PUSH1 0x20 000007f1: DUP1 000007f2: SWAP2 000007f3: DIV 000007f4: MUL 000007f5: PUSH1 0x20 000007f7: ADD 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: SWAP1 000007fc: DUP2 000007fd: ADD 000007fe: PUSH1 0x40 00000800: MSTORE 00000801: DUP1 00000802: SWAP3 00000803: SWAP2 00000804: SWAP1 00000805: DUP2 00000806: DUP2 00000807: MSTORE 00000808: PUSH1 0x20 0000080a: ADD 0000080b: DUP3 0000080c: DUP1 0000080d: SLOAD 0000080e: PUSH2 0x0816 00000811: SWAP1 00000812: PUSH2 0x3148 00000815: JUMP 00000816: JUMPDEST 00000817: DUP1 00000818: ISZERO 00000819: PUSH2 0x0863 0000081c: JUMPI 0000081d: DUP1 0000081e: PUSH1 0x1f 00000820: LT 00000821: PUSH2 0x0838 00000824: JUMPI 00000825: PUSH2 0x0100 00000828: DUP1 00000829: DUP4 0000082a: SLOAD 0000082b: DIV 0000082c: MUL 0000082d: DUP4 0000082e: MSTORE 0000082f: SWAP2 00000830: PUSH1 0x20 00000832: ADD 00000833: SWAP2 00000834: PUSH2 0x0863 00000837: JUMP 00000838: JUMPDEST 00000839: DUP3 0000083a: ADD 0000083b: SWAP2 0000083c: SWAP1 0000083d: PUSH1 0x00 0000083f: MSTORE 00000840: PUSH1 0x20 00000842: PUSH1 0x00 00000844: KECCAK256 00000845: SWAP1 00000846: JUMPDEST 00000847: DUP2 00000848: SLOAD 00000849: DUP2 0000084a: MSTORE 0000084b: SWAP1 0000084c: PUSH1 0x01 0000084e: ADD 0000084f: SWAP1 00000850: PUSH1 0x20 00000852: ADD 00000853: DUP1 00000854: DUP4 00000855: GT 00000856: PUSH2 0x0846 00000859: JUMPI 0000085a: DUP3 0000085b: SWAP1 0000085c: SUB 0000085d: PUSH1 0x1f 0000085f: AND 00000860: DUP3 00000861: ADD 00000862: SWAP2 00000863: JUMPDEST 00000864: POP 00000865: POP 00000866: POP 00000867: POP 00000868: POP 00000869: SWAP1 0000086a: POP 0000086b: SWAP1 0000086c: JUMP 0000086d: JUMPDEST 0000086e: PUSH1 0x00 00000870: DUP2 00000871: DUP2 00000872: MSTORE 00000873: PUSH1 0x02 00000875: PUSH1 0x20 00000877: MSTORE 00000878: PUSH1 0x40 0000087a: DUP2 0000087b: KECCAK256 0000087c: SLOAD 0000087d: PUSH1 0x01 0000087f: PUSH1 0x01 00000881: PUSH1 0xa0 00000883: SHL 00000884: SUB 00000885: AND 00000886: PUSH2 0x08eb 00000889: JUMPI 0000088a: PUSH1 0x40 0000088c: MLOAD 0000088d: PUSH3 0x461bcd 00000891: PUSH1 0xe5 00000893: SHL 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x20 00000898: PUSH1 0x04 0000089a: DUP3 0000089b: ADD 0000089c: MSTORE 0000089d: PUSH1 0x2c 0000089f: PUSH1 0x24 000008a1: DUP3 000008a2: ADD 000008a3: MSTORE 000008a4: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578 000008c5: PUSH1 0x44 000008c7: DUP3 000008c8: ADD 000008c9: MSTORE 000008ca: PUSH12 0x34b9ba32b73a103a37b5b2b7 000008d7: PUSH1 0xa1 000008d9: SHL 000008da: PUSH1 0x64 000008dc: DUP3 000008dd: ADD 000008de: MSTORE 000008df: PUSH1 0x84 000008e1: ADD 000008e2: JUMPDEST 000008e3: PUSH1 0x40 000008e5: MLOAD 000008e6: DUP1 000008e7: SWAP2 000008e8: SUB 000008e9: SWAP1 000008ea: REVERT 000008eb: JUMPDEST 000008ec: POP 000008ed: PUSH1 0x00 000008ef: SWAP1 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x04 000008f4: PUSH1 0x20 000008f6: MSTORE 000008f7: PUSH1 0x40 000008f9: SWAP1 000008fa: KECCAK256 000008fb: SLOAD 000008fc: PUSH1 0x01 000008fe: PUSH1 0x01 00000900: PUSH1 0xa0 00000902: SHL 00000903: SUB 00000904: AND 00000905: SWAP1 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x00 0000090a: PUSH2 0x0912 0000090d: DUP3 0000090e: PUSH2 0x1006 00000911: JUMP 00000912: JUMPDEST 00000913: SWAP1 00000914: POP 00000915: DUP1 00000916: PUSH1 0x01 00000918: PUSH1 0x01 0000091a: PUSH1 0xa0 0000091c: SHL 0000091d: SUB 0000091e: AND 0000091f: DUP4 00000920: PUSH1 0x01 00000922: PUSH1 0x01 00000924: PUSH1 0xa0 00000926: SHL 00000927: SUB 00000928: AND 00000929: EQ 0000092a: ISZERO 0000092b: PUSH2 0x0980 0000092e: JUMPI 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: PUSH3 0x461bcd 00000936: PUSH1 0xe5 00000938: SHL 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x20 0000093d: PUSH1 0x04 0000093f: DUP3 00000940: ADD 00000941: MSTORE 00000942: PUSH1 0x21 00000944: PUSH1 0x24 00000946: DUP3 00000947: ADD 00000948: MSTORE 00000949: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 0000096a: PUSH1 0x44 0000096c: DUP3 0000096d: ADD 0000096e: MSTORE 0000096f: PUSH1 0x39 00000971: PUSH1 0xf9 00000973: SHL 00000974: PUSH1 0x64 00000976: DUP3 00000977: ADD 00000978: MSTORE 00000979: PUSH1 0x84 0000097b: ADD 0000097c: PUSH2 0x08e2 0000097f: JUMP 00000980: JUMPDEST 00000981: CALLER 00000982: PUSH1 0x01 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: SHL 00000989: SUB 0000098a: DUP3 0000098b: AND 0000098c: EQ 0000098d: DUP1 0000098e: PUSH2 0x099c 00000991: JUMPI 00000992: POP 00000993: PUSH2 0x099c 00000996: DUP2 00000997: CALLER 00000998: PUSH2 0x0753 0000099b: JUMP 0000099c: JUMPDEST 0000099d: PUSH2 0x0a0e 000009a0: JUMPI 000009a1: PUSH1 0x40 000009a3: MLOAD 000009a4: PUSH3 0x461bcd 000009a8: PUSH1 0xe5 000009aa: SHL 000009ab: DUP2 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: PUSH1 0x04 000009b1: DUP3 000009b2: ADD 000009b3: MSTORE 000009b4: PUSH1 0x38 000009b6: PUSH1 0x24 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77 000009dc: PUSH1 0x44 000009de: DUP3 000009df: ADD 000009e0: MSTORE 000009e1: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000 00000a02: PUSH1 0x64 00000a04: DUP3 00000a05: ADD 00000a06: MSTORE 00000a07: PUSH1 0x84 00000a09: ADD 00000a0a: PUSH2 0x08e2 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH2 0x0a18 00000a12: DUP4 00000a13: DUP4 00000a14: PUSH2 0x1acf 00000a17: JUMP 00000a18: JUMPDEST 00000a19: POP 00000a1a: POP 00000a1b: POP 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x02 00000a20: PUSH1 0x0b 00000a22: SLOAD 00000a23: EQ 00000a24: ISZERO 00000a25: PUSH2 0x0a40 00000a28: JUMPI 00000a29: PUSH1 0x40 00000a2b: MLOAD 00000a2c: PUSH3 0x461bcd 00000a30: PUSH1 0xe5 00000a32: SHL 00000a33: DUP2 00000a34: MSTORE 00000a35: PUSH1 0x04 00000a37: ADD 00000a38: PUSH2 0x08e2 00000a3b: SWAP1 00000a3c: PUSH2 0x2f98 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: PUSH1 0x02 00000a43: PUSH1 0x0b 00000a45: SSTORE 00000a46: PUSH2 0x0a52 00000a49: PUSH1 0x01 00000a4b: PUSH2 0x03e8 00000a4e: PUSH2 0x3105 00000a51: JUMP 00000a52: JUMPDEST 00000a53: PUSH1 0x0c 00000a55: SLOAD 00000a56: GT 00000a57: PUSH2 0x0a72 00000a5a: JUMPI 00000a5b: PUSH1 0x40 00000a5d: MLOAD 00000a5e: PUSH3 0x461bcd 00000a62: PUSH1 0xe5 00000a64: SHL 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x04 00000a69: ADD 00000a6a: PUSH2 0x08e2 00000a6d: SWAP1 00000a6e: PUSH2 0x2e85 00000a71: JUMP 00000a72: JUMPDEST 00000a73: PUSH1 0x0d 00000a75: SLOAD 00000a76: PUSH2 0x0a80 00000a79: SWAP1 00000a7a: PUSH1 0x03 00000a7c: PUSH2 0x30e6 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: CALLVALUE 00000a82: LT 00000a83: ISZERO 00000a84: PUSH2 0x0acf 00000a87: JUMPI 00000a88: PUSH1 0x40 00000a8a: MLOAD 00000a8b: PUSH3 0x461bcd 00000a8f: PUSH1 0xe5 00000a91: SHL 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: PUSH1 0x04 00000a98: DUP3 00000a99: ADD 00000a9a: MSTORE 00000a9b: PUSH1 0x1f 00000a9d: PUSH1 0x24 00000a9f: DUP3 00000aa0: ADD 00000aa1: MSTORE 00000aa2: PUSH32 0x496e73756666696369656e742066756e647320746f2070757263686173652e00 00000ac3: PUSH1 0x44 00000ac5: DUP3 00000ac6: ADD 00000ac7: MSTORE 00000ac8: PUSH1 0x64 00000aca: ADD 00000acb: PUSH2 0x08e2 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x0d 00000ad2: SLOAD 00000ad3: PUSH2 0x0add 00000ad6: SWAP1 00000ad7: PUSH1 0x03 00000ad9: PUSH2 0x30e6 00000adc: JUMP 00000add: JUMPDEST 00000ade: CALLVALUE 00000adf: GT 00000ae0: ISZERO 00000ae1: PUSH2 0x0b65 00000ae4: JUMPI 00000ae5: PUSH1 0x0d 00000ae7: SLOAD 00000ae8: PUSH1 0x00 00000aea: SWAP1 00000aeb: CALLER 00000aec: SWAP1 00000aed: PUSH2 0x0af7 00000af0: SWAP1 00000af1: PUSH1 0x03 00000af3: PUSH2 0x30e6 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH2 0x0b01 00000afb: SWAP1 00000afc: CALLVALUE 00000afd: PUSH2 0x3105 00000b00: JUMP 00000b01: JUMPDEST 00000b02: PUSH1 0x40 00000b04: MLOAD 00000b05: PUSH1 0x00 00000b07: DUP2 00000b08: DUP2 00000b09: DUP2 00000b0a: DUP6 00000b0b: DUP8 00000b0c: GAS 00000b0d: CALL 00000b0e: SWAP3 00000b0f: POP 00000b10: POP 00000b11: POP 00000b12: RETURNDATASIZE 00000b13: DUP1 00000b14: PUSH1 0x00 00000b16: DUP2 00000b17: EQ 00000b18: PUSH2 0x0b3d 00000b1b: JUMPI 00000b1c: PUSH1 0x40 00000b1e: MLOAD 00000b1f: SWAP2 00000b20: POP 00000b21: PUSH1 0x1f 00000b23: NOT 00000b24: PUSH1 0x3f 00000b26: RETURNDATASIZE 00000b27: ADD 00000b28: AND 00000b29: DUP3 00000b2a: ADD 00000b2b: PUSH1 0x40 00000b2d: MSTORE 00000b2e: RETURNDATASIZE 00000b2f: DUP3 00000b30: MSTORE 00000b31: RETURNDATASIZE 00000b32: PUSH1 0x00 00000b34: PUSH1 0x20 00000b36: DUP5 00000b37: ADD 00000b38: RETURNDATACOPY 00000b39: PUSH2 0x0b42 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH1 0x60 00000b40: SWAP2 00000b41: POP 00000b42: JUMPDEST 00000b43: POP 00000b44: POP 00000b45: SWAP1 00000b46: POP 00000b47: DUP1 00000b48: PUSH2 0x0b63 00000b4b: JUMPI 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: PUSH3 0x461bcd 00000b53: PUSH1 0xe5 00000b55: SHL 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x04 00000b5a: ADD 00000b5b: PUSH2 0x08e2 00000b5e: SWAP1 00000b5f: PUSH2 0x2f1d 00000b62: JUMP 00000b63: JUMPDEST 00000b64: POP 00000b65: JUMPDEST 00000b66: PUSH2 0x0b7d 00000b69: CALLER 00000b6a: PUSH1 0x0c 00000b6c: SLOAD 00000b6d: PUSH1 0x01 00000b6f: PUSH2 0x0b78 00000b72: SWAP2 00000b73: SWAP1 00000b74: PUSH2 0x2fcf 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH2 0x1b3d 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: PUSH1 0x0c 00000b80: DUP1 00000b81: SLOAD 00000b82: SWAP1 00000b83: PUSH1 0x00 00000b85: PUSH2 0x0b8d 00000b88: DUP4 00000b89: PUSH2 0x3183 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: SWAP2 00000b8f: SWAP1 00000b90: POP 00000b91: SSTORE 00000b92: POP 00000b93: PUSH1 0x0e 00000b95: SLOAD 00000b96: PUSH1 0x0d 00000b98: PUSH1 0x00 00000b9a: DUP3 00000b9b: DUP3 00000b9c: SLOAD 00000b9d: PUSH2 0x0ba6 00000ba0: SWAP2 00000ba1: SWAP1 00000ba2: PUSH2 0x2fcf 00000ba5: JUMP 00000ba6: JUMPDEST 00000ba7: SWAP1 00000ba8: SWAP2 00000ba9: SSTORE 00000baa: POP 00000bab: POP 00000bac: PUSH1 0x01 00000bae: PUSH1 0x0b 00000bb0: SSTORE 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: PUSH1 0x00 00000bb5: DUP1 00000bb6: PUSH2 0x0bbd 00000bb9: PUSH2 0x07a1 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH2 0x0bc7 00000bc1: SWAP1 00000bc2: SELFBALANCE 00000bc3: PUSH2 0x3105 00000bc6: JUMP 00000bc7: JUMPDEST 00000bc8: SWAP1 00000bc9: POP 00000bca: PUSH2 0x0bd2 00000bcd: PUSH1 0x08 00000bcf: SLOAD 00000bd0: SWAP1 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH2 0x07c4 00000bd6: SWAP1 00000bd7: DUP3 00000bd8: PUSH2 0x2fe7 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: PUSH2 0x0be7 00000be0: CALLER 00000be1: JUMPDEST 00000be2: DUP3 00000be3: PUSH2 0x1b57 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH2 0x0c03 00000beb: JUMPI 00000bec: PUSH1 0x40 00000bee: MLOAD 00000bef: PUSH3 0x461bcd 00000bf3: PUSH1 0xe5 00000bf5: SHL 00000bf6: DUP2 00000bf7: MSTORE 00000bf8: PUSH1 0x04 00000bfa: ADD 00000bfb: PUSH2 0x08e2 00000bfe: SWAP1 00000bff: PUSH2 0x2f47 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH2 0x0a18 00000c07: DUP4 00000c08: DUP4 00000c09: DUP4 00000c0a: PUSH2 0x1c4e 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH1 0x00 00000c11: PUSH2 0x0c19 00000c14: DUP4 00000c15: PUSH2 0x107d 00000c18: JUMP 00000c19: JUMPDEST 00000c1a: DUP3 00000c1b: LT 00000c1c: PUSH2 0x0c7b 00000c1f: JUMPI 00000c20: PUSH1 0x40 00000c22: MLOAD 00000c23: PUSH3 0x461bcd 00000c27: PUSH1 0xe5 00000c29: SHL 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: PUSH1 0x20 00000c2e: PUSH1 0x04 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: PUSH1 0x2b 00000c35: PUSH1 0x24 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 00000c5b: PUSH1 0x44 00000c5d: DUP3 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH11 0x74206f6620626f756e6473 00000c6c: PUSH1 0xa8 00000c6e: SHL 00000c6f: PUSH1 0x64 00000c71: DUP3 00000c72: ADD 00000c73: MSTORE 00000c74: PUSH1 0x84 00000c76: ADD 00000c77: PUSH2 0x08e2 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: POP 00000c7d: PUSH1 0x01 00000c7f: PUSH1 0x01 00000c81: PUSH1 0xa0 00000c83: SHL 00000c84: SUB 00000c85: SWAP2 00000c86: SWAP1 00000c87: SWAP2 00000c88: AND 00000c89: PUSH1 0x00 00000c8b: SWAP1 00000c8c: DUP2 00000c8d: MSTORE 00000c8e: PUSH1 0x06 00000c90: PUSH1 0x20 00000c92: SWAP1 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x40 00000c97: DUP1 00000c98: DUP4 00000c99: KECCAK256 00000c9a: SWAP4 00000c9b: DUP4 00000c9c: MSTORE 00000c9d: SWAP3 00000c9e: SWAP1 00000c9f: MSTORE 00000ca0: KECCAK256 00000ca1: SLOAD 00000ca2: SWAP1 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: PUSH1 0x60 00000ca7: PUSH1 0x00 00000ca9: PUSH2 0x0cb1 00000cac: DUP4 00000cad: PUSH2 0x107d 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: SWAP1 00000cb3: POP 00000cb4: PUSH1 0x00 00000cb6: DUP2 00000cb7: PUSH8 0xffffffffffffffff 00000cc0: DUP2 00000cc1: GT 00000cc2: ISZERO 00000cc3: PUSH2 0x0cdc 00000cc6: JUMPI 00000cc7: PUSH4 0x4e487b71 00000ccc: PUSH1 0xe0 00000cce: SHL 00000ccf: PUSH1 0x00 00000cd1: MSTORE 00000cd2: PUSH1 0x41 00000cd4: PUSH1 0x04 00000cd6: MSTORE 00000cd7: PUSH1 0x24 00000cd9: PUSH1 0x00 00000cdb: REVERT 00000cdc: JUMPDEST 00000cdd: PUSH1 0x40 00000cdf: MLOAD 00000ce0: SWAP1 00000ce1: DUP1 00000ce2: DUP3 00000ce3: MSTORE 00000ce4: DUP1 00000ce5: PUSH1 0x20 00000ce7: MUL 00000ce8: PUSH1 0x20 00000cea: ADD 00000ceb: DUP3 00000cec: ADD 00000ced: PUSH1 0x40 00000cef: MSTORE 00000cf0: DUP1 00000cf1: ISZERO 00000cf2: PUSH2 0x0d05 00000cf5: JUMPI 00000cf6: DUP2 00000cf7: PUSH1 0x20 00000cf9: ADD 00000cfa: PUSH1 0x20 00000cfc: DUP3 00000cfd: MUL 00000cfe: DUP1 00000cff: CALLDATASIZE 00000d00: DUP4 00000d01: CALLDATACOPY 00000d02: ADD 00000d03: SWAP1 00000d04: POP 00000d05: JUMPDEST 00000d06: POP 00000d07: SWAP1 00000d08: POP 00000d09: PUSH1 0x00 00000d0b: JUMPDEST 00000d0c: DUP3 00000d0d: DUP2 00000d0e: LT 00000d0f: ISZERO 00000d10: PUSH2 0x0d5a 00000d13: JUMPI 00000d14: PUSH2 0x0d1d 00000d17: DUP6 00000d18: DUP3 00000d19: PUSH2 0x0c0e 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: DUP3 00000d1f: DUP3 00000d20: DUP2 00000d21: MLOAD 00000d22: DUP2 00000d23: LT 00000d24: PUSH2 0x0d3d 00000d27: JUMPI 00000d28: PUSH4 0x4e487b71 00000d2d: PUSH1 0xe0 00000d2f: SHL 00000d30: PUSH1 0x00 00000d32: MSTORE 00000d33: PUSH1 0x32 00000d35: PUSH1 0x04 00000d37: MSTORE 00000d38: PUSH1 0x24 00000d3a: PUSH1 0x00 00000d3c: REVERT 00000d3d: JUMPDEST 00000d3e: PUSH1 0x20 00000d40: SWAP1 00000d41: DUP2 00000d42: MUL 00000d43: SWAP2 00000d44: SWAP1 00000d45: SWAP2 00000d46: ADD 00000d47: ADD 00000d48: MSTORE 00000d49: DUP1 00000d4a: PUSH2 0x0d52 00000d4d: DUP2 00000d4e: PUSH2 0x3183 00000d51: JUMP 00000d52: JUMPDEST 00000d53: SWAP2 00000d54: POP 00000d55: POP 00000d56: PUSH2 0x0d0b 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: POP 00000d5c: SWAP4 00000d5d: SWAP3 00000d5e: POP 00000d5f: POP 00000d60: POP 00000d61: JUMP 00000d62: JUMPDEST 00000d63: PUSH2 0x0a18 00000d66: DUP4 00000d67: DUP4 00000d68: DUP4 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: DUP1 00000d6d: PUSH1 0x20 00000d6f: ADD 00000d70: PUSH1 0x40 00000d72: MSTORE 00000d73: DUP1 00000d74: PUSH1 0x00 00000d76: DUP2 00000d77: MSTORE 00000d78: POP 00000d79: PUSH2 0x173b 00000d7c: JUMP 00000d7d: JUMPDEST 00000d7e: PUSH2 0x0d86 00000d81: CALLER 00000d82: PUSH2 0x0be1 00000d85: JUMP 00000d86: JUMPDEST 00000d87: PUSH2 0x0deb 00000d8a: JUMPI 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: PUSH3 0x461bcd 00000d92: PUSH1 0xe5 00000d94: SHL 00000d95: DUP2 00000d96: MSTORE 00000d97: PUSH1 0x20 00000d99: PUSH1 0x04 00000d9b: DUP3 00000d9c: ADD 00000d9d: MSTORE 00000d9e: PUSH1 0x30 00000da0: PUSH1 0x24 00000da2: DUP3 00000da3: ADD 00000da4: MSTORE 00000da5: PUSH32 0x4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f77 00000dc6: PUSH1 0x44 00000dc8: DUP3 00000dc9: ADD 00000dca: MSTORE 00000dcb: PUSH16 0x1b995c881b9bdc88185c1c1c9bdd9959 00000ddc: PUSH1 0x82 00000dde: SHL 00000ddf: PUSH1 0x64 00000de1: DUP3 00000de2: ADD 00000de3: MSTORE 00000de4: PUSH1 0x84 00000de6: ADD 00000de7: PUSH2 0x08e2 00000dea: JUMP 00000deb: JUMPDEST 00000dec: PUSH2 0x0df4 00000def: DUP2 00000df0: PUSH2 0x1df9 00000df3: JUMP 00000df4: JUMPDEST 00000df5: POP 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x00 00000dfa: PUSH2 0x0e02 00000dfd: PUSH1 0x08 00000dff: SLOAD 00000e00: SWAP1 00000e01: JUMP 00000e02: JUMPDEST 00000e03: DUP3 00000e04: LT 00000e05: PUSH2 0x0e65 00000e08: JUMPI 00000e09: PUSH1 0x40 00000e0b: MLOAD 00000e0c: PUSH3 0x461bcd 00000e10: PUSH1 0xe5 00000e12: SHL 00000e13: DUP2 00000e14: MSTORE 00000e15: PUSH1 0x20 00000e17: PUSH1 0x04 00000e19: DUP3 00000e1a: ADD 00000e1b: MSTORE 00000e1c: PUSH1 0x2c 00000e1e: PUSH1 0x24 00000e20: DUP3 00000e21: ADD 00000e22: MSTORE 00000e23: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 00000e44: PUSH1 0x44 00000e46: DUP3 00000e47: ADD 00000e48: MSTORE 00000e49: PUSH12 0x7574206f6620626f756e6473 00000e56: PUSH1 0xa0 00000e58: SHL 00000e59: PUSH1 0x64 00000e5b: DUP3 00000e5c: ADD 00000e5d: MSTORE 00000e5e: PUSH1 0x84 00000e60: ADD 00000e61: PUSH2 0x08e2 00000e64: JUMP 00000e65: JUMPDEST 00000e66: PUSH1 0x08 00000e68: DUP3 00000e69: DUP2 00000e6a: SLOAD 00000e6b: DUP2 00000e6c: LT 00000e6d: PUSH2 0x0e86 00000e70: JUMPI 00000e71: PUSH4 0x4e487b71 00000e76: PUSH1 0xe0 00000e78: SHL 00000e79: PUSH1 0x00 00000e7b: MSTORE 00000e7c: PUSH1 0x32 00000e7e: PUSH1 0x04 00000e80: MSTORE 00000e81: PUSH1 0x24 00000e83: PUSH1 0x00 00000e85: REVERT 00000e86: JUMPDEST 00000e87: SWAP1 00000e88: PUSH1 0x00 00000e8a: MSTORE 00000e8b: PUSH1 0x20 00000e8d: PUSH1 0x00 00000e8f: KECCAK256 00000e90: ADD 00000e91: SLOAD 00000e92: SWAP1 00000e93: POP 00000e94: SWAP2 00000e95: SWAP1 00000e96: POP 00000e97: JUMP 00000e98: JUMPDEST 00000e99: PUSH1 0x02 00000e9b: PUSH1 0x0b 00000e9d: SLOAD 00000e9e: EQ 00000e9f: ISZERO 00000ea0: PUSH2 0x0ebb 00000ea3: JUMPI 00000ea4: PUSH1 0x40 00000ea6: MLOAD 00000ea7: PUSH3 0x461bcd 00000eab: PUSH1 0xe5 00000ead: SHL 00000eae: DUP2 00000eaf: MSTORE 00000eb0: PUSH1 0x04 00000eb2: ADD 00000eb3: PUSH2 0x08e2 00000eb6: SWAP1 00000eb7: PUSH2 0x2f98 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH1 0x02 00000ebe: PUSH1 0x0b 00000ec0: SSTORE 00000ec1: PUSH2 0x0ecd 00000ec4: PUSH1 0x01 00000ec6: PUSH2 0x03e8 00000ec9: PUSH2 0x3105 00000ecc: JUMP 00000ecd: JUMPDEST 00000ece: PUSH1 0x0c 00000ed0: SLOAD 00000ed1: GT 00000ed2: PUSH2 0x0eed 00000ed5: JUMPI 00000ed6: PUSH1 0x40 00000ed8: MLOAD 00000ed9: PUSH3 0x461bcd 00000edd: PUSH1 0xe5 00000edf: SHL 00000ee0: DUP2 00000ee1: MSTORE 00000ee2: PUSH1 0x04 00000ee4: ADD 00000ee5: PUSH2 0x08e2 00000ee8: SWAP1 00000ee9: PUSH2 0x2e85 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x0c 00000ef0: SLOAD 00000ef1: PUSH2 0x0efb 00000ef4: SWAP1 00000ef5: PUSH1 0x01 00000ef7: PUSH2 0x2fcf 00000efa: JUMP 00000efb: JUMPDEST 00000efc: PUSH2 0x0f05 00000eff: DUP3 00000f00: DUP5 00000f01: PUSH2 0x303e 00000f04: JUMP 00000f05: JUMPDEST 00000f06: EQ 00000f07: PUSH2 0x0f22 00000f0a: JUMPI 00000f0b: PUSH1 0x40 00000f0d: MLOAD 00000f0e: PUSH3 0x461bcd 00000f12: PUSH1 0xe5 00000f14: SHL 00000f15: DUP2 00000f16: MSTORE 00000f17: PUSH1 0x04 00000f19: ADD 00000f1a: PUSH2 0x08e2 00000f1d: SWAP1 00000f1e: PUSH2 0x2ebc 00000f21: JUMP 00000f22: JUMPDEST 00000f23: CALLER 00000f24: PUSH2 0x0f2c 00000f27: DUP4 00000f28: PUSH2 0x1006 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: PUSH1 0x01 00000f2f: PUSH1 0x01 00000f31: PUSH1 0xa0 00000f33: SHL 00000f34: SUB 00000f35: AND 00000f36: EQ 00000f37: PUSH2 0x0f82 00000f3a: JUMPI 00000f3b: PUSH1 0x40 00000f3d: MLOAD 00000f3e: PUSH3 0x461bcd 00000f42: PUSH1 0xe5 00000f44: SHL 00000f45: DUP2 00000f46: MSTORE 00000f47: PUSH1 0x20 00000f49: PUSH1 0x04 00000f4b: DUP3 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH1 0x19 00000f50: PUSH1 0x24 00000f52: DUP3 00000f53: ADD 00000f54: MSTORE 00000f55: PUSH32 0x596f7520646f6e2774206f776e20746869732c20666f6f6c2e00000000000000 00000f76: PUSH1 0x44 00000f78: DUP3 00000f79: ADD 00000f7a: MSTORE 00000f7b: PUSH1 0x64 00000f7d: ADD 00000f7e: PUSH2 0x08e2 00000f81: JUMP 00000f82: JUMPDEST 00000f83: CALLVALUE 00000f84: PUSH1 0x0d 00000f86: SLOAD 00000f87: EQ 00000f88: PUSH2 0x0fbc 00000f8b: JUMPI 00000f8c: PUSH1 0x40 00000f8e: MLOAD 00000f8f: PUSH3 0x461bcd 00000f93: PUSH1 0xe5 00000f95: SHL 00000f96: DUP2 00000f97: MSTORE 00000f98: PUSH1 0x20 00000f9a: PUSH1 0x04 00000f9c: DUP3 00000f9d: ADD 00000f9e: MSTORE 00000f9f: PUSH1 0x06 00000fa1: PUSH1 0x24 00000fa3: DUP3 00000fa4: ADD 00000fa5: MSTORE 00000fa6: PUSH6 0x2436b6b6b697 00000fad: PUSH1 0xd1 00000faf: SHL 00000fb0: PUSH1 0x44 00000fb2: DUP3 00000fb3: ADD 00000fb4: MSTORE 00000fb5: PUSH1 0x64 00000fb7: ADD 00000fb8: PUSH2 0x08e2 00000fbb: JUMP 00000fbc: JUMPDEST 00000fbd: PUSH2 0x0fcf 00000fc0: CALLER 00000fc1: PUSH1 0x0c 00000fc3: SLOAD 00000fc4: PUSH1 0x01 00000fc6: PUSH2 0x0b78 00000fc9: SWAP2 00000fca: SWAP1 00000fcb: PUSH2 0x2fcf 00000fce: JUMP 00000fcf: JUMPDEST 00000fd0: PUSH1 0x0c 00000fd2: DUP1 00000fd3: SLOAD 00000fd4: SWAP1 00000fd5: PUSH1 0x00 00000fd7: PUSH2 0x0fdf 00000fda: DUP4 00000fdb: PUSH2 0x3183 00000fde: JUMP 00000fdf: JUMPDEST 00000fe0: SWAP2 00000fe1: SWAP1 00000fe2: POP 00000fe3: SSTORE 00000fe4: POP 00000fe5: PUSH1 0x0e 00000fe7: SLOAD 00000fe8: PUSH1 0x0d 00000fea: PUSH1 0x00 00000fec: DUP3 00000fed: DUP3 00000fee: SLOAD 00000fef: PUSH2 0x0ff8 00000ff2: SWAP2 00000ff3: SWAP1 00000ff4: PUSH2 0x2fcf 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: SWAP1 00000ffa: SWAP2 00000ffb: SSTORE 00000ffc: POP 00000ffd: POP 00000ffe: PUSH1 0x01 00001000: PUSH1 0x0b 00001002: SSTORE 00001003: POP 00001004: POP 00001005: JUMP 00001006: JUMPDEST 00001007: PUSH1 0x00 00001009: DUP2 0000100a: DUP2 0000100b: MSTORE 0000100c: PUSH1 0x02 0000100e: PUSH1 0x20 00001010: MSTORE 00001011: PUSH1 0x40 00001013: DUP2 00001014: KECCAK256 00001015: SLOAD 00001016: PUSH1 0x01 00001018: PUSH1 0x01 0000101a: PUSH1 0xa0 0000101c: SHL 0000101d: SUB 0000101e: AND 0000101f: DUP1 00001020: PUSH2 0x07d5 00001023: JUMPI 00001024: PUSH1 0x40 00001026: MLOAD 00001027: PUSH3 0x461bcd 0000102b: PUSH1 0xe5 0000102d: SHL 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: PUSH1 0x04 00001034: DUP3 00001035: ADD 00001036: MSTORE 00001037: PUSH1 0x29 00001039: PUSH1 0x24 0000103b: DUP3 0000103c: ADD 0000103d: MSTORE 0000103e: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374 0000105f: PUSH1 0x44 00001061: DUP3 00001062: ADD 00001063: MSTORE 00001064: PUSH9 0x32b73a103a37b5b2b7 0000106e: PUSH1 0xb9 00001070: SHL 00001071: PUSH1 0x64 00001073: DUP3 00001074: ADD 00001075: MSTORE 00001076: PUSH1 0x84 00001078: ADD 00001079: PUSH2 0x08e2 0000107c: JUMP 0000107d: JUMPDEST 0000107e: PUSH1 0x00 00001080: PUSH1 0x01 00001082: PUSH1 0x01 00001084: PUSH1 0xa0 00001086: SHL 00001087: SUB 00001088: DUP3 00001089: AND 0000108a: PUSH2 0x10e8 0000108d: JUMPI 0000108e: PUSH1 0x40 00001090: MLOAD 00001091: PUSH3 0x461bcd 00001095: PUSH1 0xe5 00001097: SHL 00001098: DUP2 00001099: MSTORE 0000109a: PUSH1 0x20 0000109c: PUSH1 0x04 0000109e: DUP3 0000109f: ADD 000010a0: MSTORE 000010a1: PUSH1 0x2a 000010a3: PUSH1 0x24 000010a5: DUP3 000010a6: ADD 000010a7: MSTORE 000010a8: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65 000010c9: PUSH1 0x44 000010cb: DUP3 000010cc: ADD 000010cd: MSTORE 000010ce: PUSH10 0x726f2061646472657373 000010d9: PUSH1 0xb0 000010db: SHL 000010dc: PUSH1 0x64 000010de: DUP3 000010df: ADD 000010e0: MSTORE 000010e1: PUSH1 0x84 000010e3: ADD 000010e4: PUSH2 0x08e2 000010e7: JUMP 000010e8: JUMPDEST 000010e9: POP 000010ea: PUSH1 0x01 000010ec: PUSH1 0x01 000010ee: PUSH1 0xa0 000010f0: SHL 000010f1: SUB 000010f2: AND 000010f3: PUSH1 0x00 000010f5: SWAP1 000010f6: DUP2 000010f7: MSTORE 000010f8: PUSH1 0x03 000010fa: PUSH1 0x20 000010fc: MSTORE 000010fd: PUSH1 0x40 000010ff: SWAP1 00001100: KECCAK256 00001101: SLOAD 00001102: SWAP1 00001103: JUMP 00001104: JUMPDEST 00001105: PUSH1 0x0a 00001107: SLOAD 00001108: PUSH1 0x01 0000110a: PUSH1 0x01 0000110c: PUSH1 0xa0 0000110e: SHL 0000110f: SUB 00001110: AND 00001111: CALLER 00001112: EQ 00001113: PUSH2 0x112e 00001116: JUMPI 00001117: PUSH1 0x40 00001119: MLOAD 0000111a: PUSH3 0x461bcd 0000111e: PUSH1 0xe5 00001120: SHL 00001121: DUP2 00001122: MSTORE 00001123: PUSH1 0x04 00001125: ADD 00001126: PUSH2 0x08e2 00001129: SWAP1 0000112a: PUSH2 0x2ee8 0000112d: JUMP 0000112e: JUMPDEST 0000112f: PUSH2 0x1138 00001132: PUSH1 0x00 00001134: PUSH2 0x1ea0 00001137: JUMP 00001138: JUMPDEST 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x00 0000113d: PUSH2 0x1145 00001140: PUSH1 0x08 00001142: SLOAD 00001143: SWAP1 00001144: JUMP 00001145: JUMPDEST 00001146: PUSH2 0x114e 00001149: DUP4 0000114a: PUSH2 0x107d 0000114d: JUMP 0000114e: JUMPDEST 0000114f: PUSH2 0x1156 00001152: PUSH2 0x18a3 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH2 0x1160 0000115a: SWAP2 0000115b: SWAP1 0000115c: PUSH2 0x30e6 0000115f: JUMP 00001160: JUMPDEST 00001161: PUSH2 0x07d5 00001164: SWAP2 00001165: SWAP1 00001166: PUSH2 0x2fe7 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH1 0x02 0000116d: PUSH1 0x0b 0000116f: SLOAD 00001170: EQ 00001171: ISZERO 00001172: PUSH2 0x118d 00001175: JUMPI 00001176: PUSH1 0x40 00001178: MLOAD 00001179: PUSH3 0x461bcd 0000117d: PUSH1 0xe5 0000117f: SHL 00001180: DUP2 00001181: MSTORE 00001182: PUSH1 0x04 00001184: ADD 00001185: PUSH2 0x08e2 00001188: SWAP1 00001189: PUSH2 0x2f98 0000118c: JUMP 0000118d: JUMPDEST 0000118e: PUSH1 0x02 00001190: PUSH1 0x0b 00001192: SSTORE 00001193: PUSH2 0x119f 00001196: PUSH1 0x01 00001198: PUSH2 0x03e8 0000119b: PUSH2 0x3105 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH1 0x0c 000011a2: SLOAD 000011a3: GT 000011a4: PUSH2 0x11bf 000011a7: JUMPI 000011a8: PUSH1 0x40 000011aa: MLOAD 000011ab: PUSH3 0x461bcd 000011af: PUSH1 0xe5 000011b1: SHL 000011b2: DUP2 000011b3: MSTORE 000011b4: PUSH1 0x04 000011b6: ADD 000011b7: PUSH2 0x08e2 000011ba: SWAP1 000011bb: PUSH2 0x2e85 000011be: JUMP 000011bf: JUMPDEST 000011c0: PUSH1 0x0c 000011c2: SLOAD 000011c3: PUSH2 0x11cd 000011c6: SWAP1 000011c7: PUSH1 0x01 000011c9: PUSH2 0x2fcf 000011cc: JUMP 000011cd: JUMPDEST 000011ce: PUSH2 0x11d7 000011d1: DUP3 000011d2: DUP5 000011d3: PUSH2 0x30e6 000011d6: JUMP 000011d7: JUMPDEST 000011d8: EQ 000011d9: PUSH2 0x11f4 000011dc: JUMPI 000011dd: PUSH1 0x40 000011df: MLOAD 000011e0: PUSH3 0x461bcd 000011e4: PUSH1 0xe5 000011e6: SHL 000011e7: DUP2 000011e8: MSTORE 000011e9: PUSH1 0x04 000011eb: ADD 000011ec: PUSH2 0x08e2 000011ef: SWAP1 000011f0: PUSH2 0x2ebc 000011f3: JUMP 000011f4: JUMPDEST 000011f5: CALLER 000011f6: PUSH2 0x11fe 000011f9: DUP4 000011fa: PUSH2 0x1006 000011fd: JUMP 000011fe: JUMPDEST 000011ff: PUSH1 0x01 00001201: PUSH1 0x01 00001203: PUSH1 0xa0 00001205: SHL 00001206: SUB 00001207: AND 00001208: EQ 00001209: DUP1 0000120a: ISZERO 0000120b: PUSH2 0x1224 0000120e: JUMPI 0000120f: POP 00001210: CALLER 00001211: PUSH2 0x1219 00001214: DUP3 00001215: PUSH2 0x1006 00001218: JUMP 00001219: JUMPDEST 0000121a: PUSH1 0x01 0000121c: PUSH1 0x01 0000121e: PUSH1 0xa0 00001220: SHL 00001221: SUB 00001222: AND 00001223: EQ 00001224: JUMPDEST 00001225: PUSH2 0x0f82 00001228: JUMPI 00001229: PUSH1 0x40 0000122b: MLOAD 0000122c: PUSH3 0x461bcd 00001230: PUSH1 0xe5 00001232: SHL 00001233: DUP2 00001234: MSTORE 00001235: PUSH1 0x20 00001237: PUSH1 0x04 00001239: DUP3 0000123a: ADD 0000123b: MSTORE 0000123c: PUSH1 0x14 0000123e: PUSH1 0x24 00001240: DUP3 00001241: ADD 00001242: MSTORE 00001243: PUSH20 0x2cb7ba903237b713ba1037bbb7103a3432b9b297 00001258: PUSH1 0x61 0000125a: SHL 0000125b: PUSH1 0x44 0000125d: DUP3 0000125e: ADD 0000125f: MSTORE 00001260: PUSH1 0x64 00001262: ADD 00001263: PUSH2 0x08e2 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH1 0x02 0000126a: PUSH1 0x0b 0000126c: SLOAD 0000126d: EQ 0000126e: ISZERO 0000126f: PUSH2 0x128a 00001272: JUMPI 00001273: PUSH1 0x40 00001275: MLOAD 00001276: PUSH3 0x461bcd 0000127a: PUSH1 0xe5 0000127c: SHL 0000127d: DUP2 0000127e: MSTORE 0000127f: PUSH1 0x04 00001281: ADD 00001282: PUSH2 0x08e2 00001285: SWAP1 00001286: PUSH2 0x2f98 00001289: JUMP 0000128a: JUMPDEST 0000128b: PUSH1 0x02 0000128d: PUSH1 0x0b 0000128f: SSTORE 00001290: PUSH1 0x00 00001292: PUSH2 0x1299 00001295: PUSH2 0x0bb2 00001298: JUMP 00001299: JUMPDEST 0000129a: SWAP1 0000129b: POP 0000129c: PUSH2 0x12a4 0000129f: DUP3 000012a0: PUSH2 0x0d7d 000012a3: JUMP 000012a4: JUMPDEST 000012a5: PUSH1 0x40 000012a7: MLOAD 000012a8: PUSH1 0x00 000012aa: SWAP1 000012ab: CALLER 000012ac: SWAP1 000012ad: DUP4 000012ae: SWAP1 000012af: DUP4 000012b0: DUP2 000012b1: DUP2 000012b2: DUP2 000012b3: DUP6 000012b4: DUP8 000012b5: GAS 000012b6: CALL 000012b7: SWAP3 000012b8: POP 000012b9: POP 000012ba: POP 000012bb: RETURNDATASIZE 000012bc: DUP1 000012bd: PUSH1 0x00 000012bf: DUP2 000012c0: EQ 000012c1: PUSH2 0x12e6 000012c4: JUMPI 000012c5: PUSH1 0x40 000012c7: MLOAD 000012c8: SWAP2 000012c9: POP 000012ca: PUSH1 0x1f 000012cc: NOT 000012cd: PUSH1 0x3f 000012cf: RETURNDATASIZE 000012d0: ADD 000012d1: AND 000012d2: DUP3 000012d3: ADD 000012d4: PUSH1 0x40 000012d6: MSTORE 000012d7: RETURNDATASIZE 000012d8: DUP3 000012d9: MSTORE 000012da: RETURNDATASIZE 000012db: PUSH1 0x00 000012dd: PUSH1 0x20 000012df: DUP5 000012e0: ADD 000012e1: RETURNDATACOPY 000012e2: PUSH2 0x12eb 000012e5: JUMP 000012e6: JUMPDEST 000012e7: PUSH1 0x60 000012e9: SWAP2 000012ea: POP 000012eb: JUMPDEST 000012ec: POP 000012ed: POP 000012ee: SWAP1 000012ef: POP 000012f0: DUP1 000012f1: PUSH2 0x130c 000012f4: JUMPI 000012f5: PUSH1 0x40 000012f7: MLOAD 000012f8: PUSH3 0x461bcd 000012fc: PUSH1 0xe5 000012fe: SHL 000012ff: DUP2 00001300: MSTORE 00001301: PUSH1 0x04 00001303: ADD 00001304: PUSH2 0x08e2 00001307: SWAP1 00001308: PUSH2 0x2f1d 0000130b: JUMP 0000130c: JUMPDEST 0000130d: PUSH7 0x753d533d968000 00001315: PUSH1 0x0e 00001317: SLOAD 00001318: PUSH1 0x0d 0000131a: SLOAD 0000131b: PUSH2 0x1324 0000131e: SWAP2 0000131f: SWAP1 00001320: PUSH2 0x3105 00001323: JUMP 00001324: JUMPDEST 00001325: GT 00001326: ISZERO 00001327: PUSH2 0x1344 0000132a: JUMPI 0000132b: PUSH1 0x0e 0000132d: SLOAD 0000132e: PUSH1 0x0d 00001330: PUSH1 0x00 00001332: DUP3 00001333: DUP3 00001334: SLOAD 00001335: PUSH2 0x133e 00001338: SWAP2 00001339: SWAP1 0000133a: PUSH2 0x3105 0000133d: JUMP 0000133e: JUMPDEST 0000133f: SWAP1 00001340: SWAP2 00001341: SSTORE 00001342: POP 00001343: POP 00001344: JUMPDEST 00001345: POP 00001346: POP 00001347: PUSH1 0x01 00001349: PUSH1 0x0b 0000134b: SSTORE 0000134c: POP 0000134d: JUMP 0000134e: JUMPDEST 0000134f: PUSH1 0x60 00001351: PUSH1 0x01 00001353: DUP1 00001354: SLOAD 00001355: PUSH2 0x07ea 00001358: SWAP1 00001359: PUSH2 0x3148 0000135c: JUMP 0000135d: JUMPDEST 0000135e: PUSH1 0x02 00001360: PUSH1 0x0b 00001362: SLOAD 00001363: EQ 00001364: ISZERO 00001365: PUSH2 0x1380 00001368: JUMPI 00001369: PUSH1 0x40 0000136b: MLOAD 0000136c: PUSH3 0x461bcd 00001370: PUSH1 0xe5 00001372: SHL 00001373: DUP2 00001374: MSTORE 00001375: PUSH1 0x04 00001377: ADD 00001378: PUSH2 0x08e2 0000137b: SWAP1 0000137c: PUSH2 0x2f98 0000137f: JUMP 00001380: JUMPDEST 00001381: PUSH1 0x02 00001383: PUSH1 0x0b 00001385: SSTORE 00001386: PUSH2 0x1392 00001389: PUSH1 0x01 0000138b: PUSH2 0x03e8 0000138e: PUSH2 0x3105 00001391: JUMP 00001392: JUMPDEST 00001393: PUSH1 0x0c 00001395: SLOAD 00001396: GT 00001397: PUSH2 0x13b2 0000139a: JUMPI 0000139b: PUSH1 0x40 0000139d: MLOAD 0000139e: PUSH3 0x461bcd 000013a2: PUSH1 0xe5 000013a4: SHL 000013a5: DUP2 000013a6: MSTORE 000013a7: PUSH1 0x04 000013a9: ADD 000013aa: PUSH2 0x08e2 000013ad: SWAP1 000013ae: PUSH2 0x2e85 000013b1: JUMP 000013b2: JUMPDEST 000013b3: PUSH1 0x0c 000013b5: SLOAD 000013b6: PUSH2 0x13c0 000013b9: SWAP1 000013ba: PUSH1 0x01 000013bc: PUSH2 0x2fcf 000013bf: JUMP 000013c0: JUMPDEST 000013c1: DUP2 000013c2: PUSH2 0x13cb 000013c5: DUP5 000013c6: DUP7 000013c7: PUSH2 0x2fcf 000013ca: JUMP 000013cb: JUMPDEST 000013cc: PUSH2 0x13d5 000013cf: SWAP2 000013d0: SWAP1 000013d1: PUSH2 0x2fcf 000013d4: JUMP 000013d5: JUMPDEST 000013d6: EQ 000013d7: PUSH2 0x13f2 000013da: JUMPI 000013db: PUSH1 0x40 000013dd: MLOAD 000013de: PUSH3 0x461bcd 000013e2: PUSH1 0xe5 000013e4: SHL 000013e5: DUP2 000013e6: MSTORE 000013e7: PUSH1 0x04 000013e9: ADD 000013ea: PUSH2 0x08e2 000013ed: SWAP1 000013ee: PUSH2 0x2ebc 000013f1: JUMP 000013f2: JUMPDEST 000013f3: CALLER 000013f4: PUSH2 0x13fc 000013f7: DUP5 000013f8: PUSH2 0x1006 000013fb: JUMP 000013fc: JUMPDEST 000013fd: PUSH1 0x01 000013ff: PUSH1 0x01 00001401: PUSH1 0xa0 00001403: SHL 00001404: SUB 00001405: AND 00001406: EQ 00001407: DUP1 00001408: ISZERO 00001409: PUSH2 0x1422 0000140c: JUMPI 0000140d: POP 0000140e: CALLER 0000140f: PUSH2 0x1417 00001412: DUP4 00001413: PUSH2 0x1006 00001416: JUMP 00001417: JUMPDEST 00001418: PUSH1 0x01 0000141a: PUSH1 0x01 0000141c: PUSH1 0xa0 0000141e: SHL 0000141f: SUB 00001420: AND 00001421: EQ 00001422: JUMPDEST 00001423: DUP1 00001424: ISZERO 00001425: PUSH2 0x143e 00001428: JUMPI 00001429: POP 0000142a: CALLER 0000142b: PUSH2 0x1433 0000142e: DUP3 0000142f: PUSH2 0x1006 00001432: JUMP 00001433: JUMPDEST 00001434: PUSH1 0x01 00001436: PUSH1 0x01 00001438: PUSH1 0xa0 0000143a: SHL 0000143b: SUB 0000143c: AND 0000143d: EQ 0000143e: JUMPDEST 0000143f: PUSH2 0x1481 00001442: JUMPI 00001443: PUSH1 0x40 00001445: MLOAD 00001446: PUSH3 0x461bcd 0000144a: PUSH1 0xe5 0000144c: SHL 0000144d: DUP2 0000144e: MSTORE 0000144f: PUSH1 0x20 00001451: PUSH1 0x04 00001453: DUP3 00001454: ADD 00001455: MSTORE 00001456: PUSH1 0x14 00001458: PUSH1 0x24 0000145a: DUP3 0000145b: ADD 0000145c: MSTORE 0000145d: PUSH20 0x2cb7ba903237b713ba1037bbb7103a3432b9b297 00001472: PUSH1 0x61 00001474: SHL 00001475: PUSH1 0x44 00001477: DUP3 00001478: ADD 00001479: MSTORE 0000147a: PUSH1 0x64 0000147c: ADD 0000147d: PUSH2 0x08e2 00001480: JUMP 00001481: JUMPDEST 00001482: DUP2 00001483: DUP4 00001484: EQ 00001485: ISZERO 00001486: DUP1 00001487: ISZERO 00001488: PUSH2 0x1491 0000148b: JUMPI 0000148c: POP 0000148d: DUP1 0000148e: DUP3 0000148f: EQ 00001490: ISZERO 00001491: JUMPDEST 00001492: DUP1 00001493: ISZERO 00001494: PUSH2 0x149d 00001497: JUMPI 00001498: POP 00001499: DUP3 0000149a: DUP2 0000149b: EQ 0000149c: ISZERO 0000149d: JUMPDEST 0000149e: PUSH2 0x14e9 000014a1: JUMPI 000014a2: PUSH1 0x40 000014a4: MLOAD 000014a5: PUSH3 0x461bcd 000014a9: PUSH1 0xe5 000014ab: SHL 000014ac: DUP2 000014ad: MSTORE 000014ae: PUSH1 0x20 000014b0: PUSH1 0x04 000014b2: DUP3 000014b3: ADD 000014b4: MSTORE 000014b5: PUSH1 0x1a 000014b7: PUSH1 0x24 000014b9: DUP3 000014ba: ADD 000014bb: MSTORE 000014bc: PUSH32 0x43616e2774206265207573696e6720647570657320686572652e000000000000 000014dd: PUSH1 0x44 000014df: DUP3 000014e0: ADD 000014e1: MSTORE 000014e2: PUSH1 0x64 000014e4: ADD 000014e5: PUSH2 0x08e2 000014e8: JUMP 000014e9: JUMPDEST 000014ea: PUSH1 0x0c 000014ec: SLOAD 000014ed: PUSH1 0x00 000014ef: DUP5 000014f0: DUP2 000014f1: MSTORE 000014f2: PUSH1 0x11 000014f4: PUSH1 0x20 000014f6: MSTORE 000014f7: PUSH1 0x40 000014f9: SWAP1 000014fa: KECCAK256 000014fb: SLOAD 000014fc: LT 000014fd: DUP1 000014fe: ISZERO 000014ff: PUSH2 0x1517 00001502: JUMPI 00001503: POP 00001504: PUSH1 0x0c 00001506: SLOAD 00001507: PUSH1 0x00 00001509: DUP4 0000150a: DUP2 0000150b: MSTORE 0000150c: PUSH1 0x11 0000150e: PUSH1 0x20 00001510: MSTORE 00001511: PUSH1 0x40 00001513: SWAP1 00001514: KECCAK256 00001515: SLOAD 00001516: LT 00001517: JUMPDEST 00001518: DUP1 00001519: ISZERO 0000151a: PUSH2 0x1532 0000151d: JUMPI 0000151e: POP 0000151f: PUSH1 0x0c 00001521: SLOAD 00001522: PUSH1 0x00 00001524: DUP3 00001525: DUP2 00001526: MSTORE 00001527: PUSH1 0x11 00001529: PUSH1 0x20 0000152b: MSTORE 0000152c: PUSH1 0x40 0000152e: SWAP1 0000152f: KECCAK256 00001530: SLOAD 00001531: LT 00001532: JUMPDEST 00001533: PUSH2 0x156a 00001536: JUMPI 00001537: PUSH1 0x40 00001539: MLOAD 0000153a: PUSH3 0x461bcd 0000153e: PUSH1 0xe5 00001540: SHL 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x20 00001545: PUSH1 0x04 00001547: DUP3 00001548: ADD 00001549: MSTORE 0000154a: PUSH1 0x09 0000154c: PUSH1 0x24 0000154e: DUP3 0000154f: ADD 00001550: MSTORE 00001551: PUSH9 0x21b7b7b63237bbb717 0000155b: PUSH1 0xb9 0000155d: SHL 0000155e: PUSH1 0x44 00001560: DUP3 00001561: ADD 00001562: MSTORE 00001563: PUSH1 0x64 00001565: ADD 00001566: PUSH2 0x08e2 00001569: JUMP 0000156a: JUMPDEST 0000156b: CALLVALUE 0000156c: PUSH1 0x0d 0000156e: SLOAD 0000156f: EQ 00001570: PUSH2 0x15a4 00001573: JUMPI 00001574: PUSH1 0x40 00001576: MLOAD 00001577: PUSH3 0x461bcd 0000157b: PUSH1 0xe5 0000157d: SHL 0000157e: DUP2 0000157f: MSTORE 00001580: PUSH1 0x20 00001582: PUSH1 0x04 00001584: DUP3 00001585: ADD 00001586: MSTORE 00001587: PUSH1 0x06 00001589: PUSH1 0x24 0000158b: DUP3 0000158c: ADD 0000158d: MSTORE 0000158e: PUSH6 0x2436b6b6b697 00001595: PUSH1 0xd1 00001597: SHL 00001598: PUSH1 0x44 0000159a: DUP3 0000159b: ADD 0000159c: MSTORE 0000159d: PUSH1 0x64 0000159f: ADD 000015a0: PUSH2 0x08e2 000015a3: JUMP 000015a4: JUMPDEST 000015a5: PUSH2 0x15b7 000015a8: CALLER 000015a9: PUSH1 0x0c 000015ab: SLOAD 000015ac: PUSH1 0x01 000015ae: PUSH2 0x0b78 000015b1: SWAP2 000015b2: SWAP1 000015b3: PUSH2 0x2fcf 000015b6: JUMP 000015b7: JUMPDEST 000015b8: PUSH1 0x0c 000015ba: DUP1 000015bb: SLOAD 000015bc: SWAP1 000015bd: PUSH1 0x00 000015bf: PUSH2 0x15c7 000015c2: DUP4 000015c3: PUSH2 0x3183 000015c6: JUMP 000015c7: JUMPDEST 000015c8: SWAP2 000015c9: SWAP1 000015ca: POP 000015cb: SSTORE 000015cc: POP 000015cd: PUSH1 0x0e 000015cf: SLOAD 000015d0: PUSH1 0x0d 000015d2: PUSH1 0x00 000015d4: DUP3 000015d5: DUP3 000015d6: SLOAD 000015d7: PUSH2 0x15e0 000015da: SWAP2 000015db: SWAP1 000015dc: PUSH2 0x2fcf 000015df: JUMP 000015e0: JUMPDEST 000015e1: SWAP1 000015e2: SWAP2 000015e3: SSTORE 000015e4: POP 000015e5: POP 000015e6: PUSH1 0x0c 000015e8: SLOAD 000015e9: PUSH2 0x15f3 000015ec: SWAP1 000015ed: PUSH1 0x14 000015ef: PUSH2 0x2fcf 000015f2: JUMP 000015f3: JUMPDEST 000015f4: PUSH1 0x00 000015f6: DUP5 000015f7: DUP2 000015f8: MSTORE 000015f9: PUSH1 0x11 000015fb: PUSH1 0x20 000015fd: MSTORE 000015fe: PUSH1 0x40 00001600: SWAP1 00001601: KECCAK256 00001602: SSTORE 00001603: PUSH1 0x0c 00001605: SLOAD 00001606: PUSH2 0x1610 00001609: SWAP1 0000160a: PUSH1 0x14 0000160c: PUSH2 0x2fcf 0000160f: JUMP 00001610: JUMPDEST 00001611: PUSH1 0x00 00001613: DUP4 00001614: DUP2 00001615: MSTORE 00001616: PUSH1 0x11 00001618: PUSH1 0x20 0000161a: MSTORE 0000161b: PUSH1 0x40 0000161d: SWAP1 0000161e: KECCAK256 0000161f: SSTORE 00001620: PUSH1 0x0c 00001622: SLOAD 00001623: PUSH2 0x162d 00001626: SWAP1 00001627: PUSH1 0x14 00001629: PUSH2 0x2fcf 0000162c: JUMP 0000162d: JUMPDEST 0000162e: PUSH1 0x00 00001630: SWAP2 00001631: DUP3 00001632: MSTORE 00001633: PUSH1 0x11 00001635: PUSH1 0x20 00001637: MSTORE 00001638: PUSH1 0x40 0000163a: SWAP1 0000163b: SWAP2 0000163c: KECCAK256 0000163d: SSTORE 0000163e: POP 0000163f: POP 00001640: PUSH1 0x01 00001642: PUSH1 0x0b 00001644: SSTORE 00001645: JUMP 00001646: JUMPDEST 00001647: PUSH2 0x1651 0000164a: CALLER 0000164b: DUP4 0000164c: DUP4 0000164d: PUSH2 0x1ef2 00001650: JUMP 00001651: JUMPDEST 00001652: POP 00001653: POP 00001654: JUMP 00001655: JUMPDEST 00001656: PUSH1 0x0a 00001658: SLOAD 00001659: PUSH1 0x01 0000165b: PUSH1 0x01 0000165d: PUSH1 0xa0 0000165f: SHL 00001660: SUB 00001661: AND 00001662: CALLER 00001663: EQ 00001664: PUSH2 0x167f 00001667: JUMPI 00001668: PUSH1 0x40 0000166a: MLOAD 0000166b: PUSH3 0x461bcd 0000166f: PUSH1 0xe5 00001671: SHL 00001672: DUP2 00001673: MSTORE 00001674: PUSH1 0x04 00001676: ADD 00001677: PUSH2 0x08e2 0000167a: SWAP1 0000167b: PUSH2 0x2ee8 0000167e: JUMP 0000167f: JUMPDEST 00001680: PUSH1 0x02 00001682: PUSH1 0x0b 00001684: SLOAD 00001685: EQ 00001686: ISZERO 00001687: PUSH2 0x16a2 0000168a: JUMPI 0000168b: PUSH1 0x40 0000168d: MLOAD 0000168e: PUSH3 0x461bcd 00001692: PUSH1 0xe5 00001694: SHL 00001695: DUP2 00001696: MSTORE 00001697: PUSH1 0x04 00001699: ADD 0000169a: PUSH2 0x08e2 0000169d: SWAP1 0000169e: PUSH2 0x2f98 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH1 0x02 000016a5: PUSH1 0x0b 000016a7: SSTORE 000016a8: PUSH1 0x00 000016aa: PUSH2 0x16b1 000016ad: PUSH2 0x07a1 000016b0: JUMP 000016b1: JUMPDEST 000016b2: SWAP1 000016b3: POP 000016b4: DUP1 000016b5: PUSH1 0x10 000016b7: PUSH1 0x00 000016b9: DUP3 000016ba: DUP3 000016bb: SLOAD 000016bc: PUSH2 0x16c5 000016bf: SWAP2 000016c0: SWAP1 000016c1: PUSH2 0x2fcf 000016c4: JUMP 000016c5: JUMPDEST 000016c6: SWAP1 000016c7: SWAP2 000016c8: SSTORE 000016c9: POP 000016ca: POP 000016cb: PUSH1 0x40 000016cd: MLOAD 000016ce: PUSH1 0x00 000016d0: SWAP1 000016d1: CALLER 000016d2: SWAP1 000016d3: DUP4 000016d4: SWAP1 000016d5: DUP4 000016d6: DUP2 000016d7: DUP2 000016d8: DUP2 000016d9: DUP6 000016da: DUP8 000016db: GAS 000016dc: CALL 000016dd: SWAP3 000016de: POP 000016df: POP 000016e0: POP 000016e1: RETURNDATASIZE 000016e2: DUP1 000016e3: PUSH1 0x00 000016e5: DUP2 000016e6: EQ 000016e7: PUSH2 0x170c 000016ea: JUMPI 000016eb: PUSH1 0x40 000016ed: MLOAD 000016ee: SWAP2 000016ef: POP 000016f0: PUSH1 0x1f 000016f2: NOT 000016f3: PUSH1 0x3f 000016f5: RETURNDATASIZE 000016f6: ADD 000016f7: AND 000016f8: DUP3 000016f9: ADD 000016fa: PUSH1 0x40 000016fc: MSTORE 000016fd: RETURNDATASIZE 000016fe: DUP3 000016ff: MSTORE 00001700: RETURNDATASIZE 00001701: PUSH1 0x00 00001703: PUSH1 0x20 00001705: DUP5 00001706: ADD 00001707: RETURNDATACOPY 00001708: PUSH2 0x1711 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH1 0x60 0000170f: SWAP2 00001710: POP 00001711: JUMPDEST 00001712: POP 00001713: POP 00001714: SWAP1 00001715: POP 00001716: DUP1 00001717: PUSH2 0x1732 0000171a: JUMPI 0000171b: PUSH1 0x40 0000171d: MLOAD 0000171e: PUSH3 0x461bcd 00001722: PUSH1 0xe5 00001724: SHL 00001725: DUP2 00001726: MSTORE 00001727: PUSH1 0x04 00001729: ADD 0000172a: PUSH2 0x08e2 0000172d: SWAP1 0000172e: PUSH2 0x2f1d 00001731: JUMP 00001732: JUMPDEST 00001733: POP 00001734: POP 00001735: PUSH1 0x01 00001737: PUSH1 0x0b 00001739: SSTORE 0000173a: JUMP 0000173b: JUMPDEST 0000173c: PUSH2 0x1745 0000173f: CALLER 00001740: DUP4 00001741: PUSH2 0x1b57 00001744: JUMP 00001745: JUMPDEST 00001746: PUSH2 0x1761 00001749: JUMPI 0000174a: PUSH1 0x40 0000174c: MLOAD 0000174d: PUSH3 0x461bcd 00001751: PUSH1 0xe5 00001753: SHL 00001754: DUP2 00001755: MSTORE 00001756: PUSH1 0x04 00001758: ADD 00001759: PUSH2 0x08e2 0000175c: SWAP1 0000175d: PUSH2 0x2f47 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH2 0x176d 00001765: DUP5 00001766: DUP5 00001767: DUP5 00001768: DUP5 00001769: PUSH2 0x1fc1 0000176c: JUMP 0000176d: JUMPDEST 0000176e: POP 0000176f: POP 00001770: POP 00001771: POP 00001772: JUMP 00001773: JUMPDEST 00001774: PUSH1 0x00 00001776: PUSH2 0x03e8 00001779: PUSH1 0x0c 0000177b: SLOAD 0000177c: LT 0000177d: ISZERO 0000177e: PUSH2 0x1787 00001781: JUMPI 00001782: POP 00001783: PUSH1 0x00 00001785: SWAP1 00001786: JUMP 00001787: JUMPDEST 00001788: PUSH1 0x0c 0000178a: SLOAD 0000178b: PUSH2 0x1795 0000178e: SWAP1 0000178f: PUSH1 0x01 00001791: PUSH2 0x2fcf 00001794: JUMP 00001795: JUMPDEST 00001796: SWAP1 00001797: POP 00001798: SWAP1 00001799: JUMP 0000179a: JUMPDEST 0000179b: PUSH1 0x00 0000179d: PUSH2 0x17a5 000017a0: PUSH1 0x08 000017a2: SLOAD 000017a3: SWAP1 000017a4: JUMP 000017a5: JUMPDEST 000017a6: PUSH1 0x0c 000017a8: SLOAD 000017a9: PUSH2 0x1795 000017ac: SWAP2 000017ad: SWAP1 000017ae: PUSH2 0x3105 000017b1: JUMP 000017b2: JUMPDEST 000017b3: PUSH1 0x60 000017b5: PUSH2 0x17bc 000017b8: PUSH2 0x298d 000017bb: JUMP 000017bc: JUMPDEST 000017bd: PUSH1 0x40 000017bf: MLOAD 000017c0: DUP1 000017c1: PUSH2 0x0160 000017c4: ADD 000017c5: PUSH1 0x40 000017c7: MSTORE 000017c8: DUP1 000017c9: PUSH2 0x0134 000017cc: DUP2 000017cd: MSTORE 000017ce: PUSH1 0x20 000017d0: ADD 000017d1: PUSH2 0x324b 000017d4: PUSH2 0x0134 000017d7: SWAP2 000017d8: CODECOPY 000017d9: DUP2 000017da: MSTORE 000017db: PUSH2 0x17e3 000017de: DUP4 000017df: PUSH2 0x1ff4 000017e2: JUMP 000017e3: JUMPDEST 000017e4: PUSH1 0x20 000017e6: DUP3 000017e7: DUP2 000017e8: ADD 000017e9: SWAP2 000017ea: DUP3 000017eb: MSTORE 000017ec: PUSH1 0x40 000017ee: DUP1 000017ef: MLOAD 000017f0: DUP1 000017f1: DUP3 000017f2: ADD 000017f3: DUP3 000017f4: MSTORE 000017f5: PUSH1 0x0d 000017f7: DUP2 000017f8: MSTORE 000017f9: PUSH13 0x1e17ba32bc3a1f1e17b9bb339f 00001807: PUSH1 0x99 00001809: SHL 0000180a: DUP2 0000180b: DUP5 0000180c: ADD 0000180d: MSTORE 0000180e: DUP2 0000180f: DUP6 00001810: ADD 00001811: DUP2 00001812: SWAP1 00001813: MSTORE 00001814: DUP5 00001815: MLOAD 00001816: SWAP4 00001817: MLOAD 00001818: SWAP2 00001819: MLOAD 0000181a: PUSH1 0x00 0000181c: SWAP5 0000181d: PUSH2 0x182a 00001820: SWAP5 00001821: SWAP1 00001822: SWAP4 00001823: SWAP3 00001824: SWAP2 00001825: ADD 00001826: PUSH2 0x2c5e 00001829: JUMP 0000182a: JUMPDEST 0000182b: PUSH1 0x40 0000182d: MLOAD 0000182e: PUSH1 0x20 00001830: DUP2 00001831: DUP4 00001832: SUB 00001833: SUB 00001834: DUP2 00001835: MSTORE 00001836: SWAP1 00001837: PUSH1 0x40 00001839: MSTORE 0000183a: SWAP1 0000183b: POP 0000183c: PUSH1 0x00 0000183e: PUSH2 0x1877 00001841: PUSH2 0x1849 00001844: DUP7 00001845: PUSH2 0x1ff4 00001848: JUMP 00001849: JUMPDEST 0000184a: PUSH2 0x1852 0000184d: DUP5 0000184e: PUSH2 0x210e 00001851: JUMP 00001852: JUMPDEST 00001853: PUSH1 0x40 00001855: MLOAD 00001856: PUSH1 0x20 00001858: ADD 00001859: PUSH2 0x1863 0000185c: SWAP3 0000185d: SWAP2 0000185e: SWAP1 0000185f: PUSH2 0x2ce6 00001862: JUMP 00001863: JUMPDEST 00001864: PUSH1 0x40 00001866: MLOAD 00001867: PUSH1 0x20 00001869: DUP2 0000186a: DUP4 0000186b: SUB 0000186c: SUB 0000186d: DUP2 0000186e: MSTORE 0000186f: SWAP1 00001870: PUSH1 0x40 00001872: MSTORE 00001873: PUSH2 0x210e 00001876: JUMP 00001877: JUMPDEST 00001878: SWAP1 00001879: POP 0000187a: DUP1 0000187b: PUSH1 0x40 0000187d: MLOAD 0000187e: PUSH1 0x20 00001880: ADD 00001881: PUSH2 0x188a 00001884: SWAP2 00001885: SWAP1 00001886: PUSH2 0x2ca1 00001889: JUMP 0000188a: JUMPDEST 0000188b: PUSH1 0x40 0000188d: DUP1 0000188e: MLOAD 0000188f: PUSH1 0x1f 00001891: NOT 00001892: DUP2 00001893: DUP5 00001894: SUB 00001895: ADD 00001896: DUP2 00001897: MSTORE 00001898: SWAP2 00001899: SWAP1 0000189a: MSTORE 0000189b: SWAP6 0000189c: SWAP5 0000189d: POP 0000189e: POP 0000189f: POP 000018a0: POP 000018a1: POP 000018a2: JUMP 000018a3: JUMPDEST 000018a4: PUSH1 0x00 000018a6: PUSH2 0x18ad 000018a9: PUSH2 0x07a1 000018ac: JUMP 000018ad: JUMPDEST 000018ae: PUSH2 0x1795 000018b1: SWAP1 000018b2: SELFBALANCE 000018b3: PUSH2 0x3105 000018b6: JUMP 000018b7: JUMPDEST 000018b8: PUSH1 0x02 000018ba: PUSH1 0x0b 000018bc: SLOAD 000018bd: EQ 000018be: ISZERO 000018bf: PUSH2 0x18da 000018c2: JUMPI 000018c3: PUSH1 0x40 000018c5: MLOAD 000018c6: PUSH3 0x461bcd 000018ca: PUSH1 0xe5 000018cc: SHL 000018cd: DUP2 000018ce: MSTORE 000018cf: PUSH1 0x04 000018d1: ADD 000018d2: PUSH2 0x08e2 000018d5: SWAP1 000018d6: PUSH2 0x2f98 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH1 0x02 000018dd: PUSH1 0x0b 000018df: SSTORE 000018e0: PUSH2 0x03e8 000018e3: DUP2 000018e4: PUSH2 0x18ec 000018e7: PUSH1 0x08 000018e9: SLOAD 000018ea: SWAP1 000018eb: JUMP 000018ec: JUMPDEST 000018ed: PUSH2 0x18f6 000018f0: SWAP2 000018f1: SWAP1 000018f2: PUSH2 0x2fcf 000018f5: JUMP 000018f6: JUMPDEST 000018f7: GT 000018f8: ISZERO 000018f9: PUSH2 0x193c 000018fc: JUMPI 000018fd: PUSH1 0x40 000018ff: MLOAD 00001900: PUSH3 0x461bcd 00001904: PUSH1 0xe5 00001906: SHL 00001907: DUP2 00001908: MSTORE 00001909: PUSH1 0x20 0000190b: PUSH1 0x04 0000190d: DUP3 0000190e: ADD 0000190f: MSTORE 00001910: PUSH1 0x15 00001912: PUSH1 0x24 00001914: DUP3 00001915: ADD 00001916: MSTORE 00001917: PUSH21 0x21b0b713ba1036b4b73a103a3430ba1036bab1b417 0000192d: PUSH1 0x59 0000192f: SHL 00001930: PUSH1 0x44 00001932: DUP3 00001933: ADD 00001934: MSTORE 00001935: PUSH1 0x64 00001937: ADD 00001938: PUSH2 0x08e2 0000193b: JUMP 0000193c: JUMPDEST 0000193d: PUSH1 0x00 0000193f: DUP2 00001940: GT 00001941: DUP1 00001942: ISZERO 00001943: PUSH2 0x194c 00001946: JUMPI 00001947: POP 00001948: PUSH1 0x0b 0000194a: DUP2 0000194b: LT 0000194c: JUMPDEST 0000194d: PUSH2 0x198f 00001950: JUMPI 00001951: PUSH1 0x40 00001953: MLOAD 00001954: PUSH3 0x461bcd 00001958: PUSH1 0xe5 0000195a: SHL 0000195b: DUP2 0000195c: MSTORE 0000195d: PUSH1 0x20 0000195f: PUSH1 0x04 00001961: DUP3 00001962: ADD 00001963: MSTORE 00001964: PUSH1 0x14 00001966: PUSH1 0x24 00001968: DUP3 00001969: ADD 0000196a: MSTORE 0000196b: PUSH20 0x2a37b79036bab1b41037b9103a37b7903634b617 00001980: PUSH1 0x61 00001982: SHL 00001983: PUSH1 0x44 00001985: DUP3 00001986: ADD 00001987: MSTORE 00001988: PUSH1 0x64 0000198a: ADD 0000198b: PUSH2 0x08e2 0000198e: JUMP 0000198f: JUMPDEST 00001990: CALLVALUE 00001991: DUP2 00001992: PUSH1 0x0d 00001994: SLOAD 00001995: PUSH2 0x199e 00001998: SWAP2 00001999: SWAP1 0000199a: PUSH2 0x30e6 0000199d: JUMP 0000199e: JUMPDEST 0000199f: EQ 000019a0: PUSH2 0x19d3 000019a3: JUMPI 000019a4: PUSH1 0x40 000019a6: MLOAD 000019a7: PUSH3 0x461bcd 000019ab: PUSH1 0xe5 000019ad: SHL 000019ae: DUP2 000019af: MSTORE 000019b0: PUSH1 0x20 000019b2: PUSH1 0x04 000019b4: DUP3 000019b5: ADD 000019b6: MSTORE 000019b7: PUSH1 0x05 000019b9: PUSH1 0x24 000019bb: DUP3 000019bc: ADD 000019bd: MSTORE 000019be: PUSH5 0x2436b6b697 000019c4: PUSH1 0xd9 000019c6: SHL 000019c7: PUSH1 0x44 000019c9: DUP3 000019ca: ADD 000019cb: MSTORE 000019cc: PUSH1 0x64 000019ce: ADD 000019cf: PUSH2 0x08e2 000019d2: JUMP 000019d3: JUMPDEST 000019d4: PUSH1 0x00 000019d6: JUMPDEST 000019d7: DUP2 000019d8: DUP2 000019d9: LT 000019da: ISZERO 000019db: PUSH2 0x1732 000019de: JUMPI 000019df: PUSH2 0x19ea 000019e2: CALLER 000019e3: PUSH2 0x0b78 000019e6: PUSH2 0x2282 000019e9: JUMP 000019ea: JUMPDEST 000019eb: PUSH1 0x0c 000019ed: DUP1 000019ee: SLOAD 000019ef: SWAP1 000019f0: PUSH1 0x00 000019f2: PUSH2 0x19fa 000019f5: DUP4 000019f6: PUSH2 0x3183 000019f9: JUMP 000019fa: JUMPDEST 000019fb: SWAP2 000019fc: SWAP1 000019fd: POP 000019fe: SSTORE 000019ff: POP 00001a00: DUP1 00001a01: DUP1 00001a02: PUSH2 0x1a0a 00001a05: SWAP1 00001a06: PUSH2 0x3183 00001a09: JUMP 00001a0a: JUMPDEST 00001a0b: SWAP2 00001a0c: POP 00001a0d: POP 00001a0e: PUSH2 0x19d6 00001a11: JUMP 00001a12: JUMPDEST 00001a13: PUSH1 0x0a 00001a15: SLOAD 00001a16: PUSH1 0x01 00001a18: PUSH1 0x01 00001a1a: PUSH1 0xa0 00001a1c: SHL 00001a1d: SUB 00001a1e: AND 00001a1f: CALLER 00001a20: EQ 00001a21: PUSH2 0x1a3c 00001a24: JUMPI 00001a25: PUSH1 0x40 00001a27: MLOAD 00001a28: PUSH3 0x461bcd 00001a2c: PUSH1 0xe5 00001a2e: SHL 00001a2f: DUP2 00001a30: MSTORE 00001a31: PUSH1 0x04 00001a33: ADD 00001a34: PUSH2 0x08e2 00001a37: SWAP1 00001a38: PUSH2 0x2ee8 00001a3b: JUMP 00001a3c: JUMPDEST 00001a3d: PUSH1 0x01 00001a3f: PUSH1 0x01 00001a41: PUSH1 0xa0 00001a43: SHL 00001a44: SUB 00001a45: DUP2 00001a46: AND 00001a47: PUSH2 0x1aa1 00001a4a: JUMPI 00001a4b: PUSH1 0x40 00001a4d: MLOAD 00001a4e: PUSH3 0x461bcd 00001a52: PUSH1 0xe5 00001a54: SHL 00001a55: DUP2 00001a56: MSTORE 00001a57: PUSH1 0x20 00001a59: PUSH1 0x04 00001a5b: DUP3 00001a5c: ADD 00001a5d: MSTORE 00001a5e: PUSH1 0x26 00001a60: PUSH1 0x24 00001a62: DUP3 00001a63: ADD 00001a64: MSTORE 00001a65: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001a86: PUSH1 0x44 00001a88: DUP3 00001a89: ADD 00001a8a: MSTORE 00001a8b: PUSH6 0x646472657373 00001a92: PUSH1 0xd0 00001a94: SHL 00001a95: PUSH1 0x64 00001a97: DUP3 00001a98: ADD 00001a99: MSTORE 00001a9a: PUSH1 0x84 00001a9c: ADD 00001a9d: PUSH2 0x08e2 00001aa0: JUMP 00001aa1: JUMPDEST 00001aa2: PUSH2 0x0df4 00001aa5: DUP2 00001aa6: PUSH2 0x1ea0 00001aa9: JUMP 00001aaa: JUMPDEST 00001aab: PUSH1 0x00 00001aad: PUSH1 0x01 00001aaf: PUSH1 0x01 00001ab1: PUSH1 0xe0 00001ab3: SHL 00001ab4: SUB 00001ab5: NOT 00001ab6: DUP3 00001ab7: AND 00001ab8: PUSH4 0x780e9d63 00001abd: PUSH1 0xe0 00001abf: SHL 00001ac0: EQ 00001ac1: DUP1 00001ac2: PUSH2 0x07d5 00001ac5: JUMPI 00001ac6: POP 00001ac7: PUSH2 0x07d5 00001aca: DUP3 00001acb: PUSH2 0x2432 00001ace: JUMP 00001acf: JUMPDEST 00001ad0: PUSH1 0x00 00001ad2: DUP2 00001ad3: DUP2 00001ad4: MSTORE 00001ad5: PUSH1 0x04 00001ad7: PUSH1 0x20 00001ad9: MSTORE 00001ada: PUSH1 0x40 00001adc: SWAP1 00001add: KECCAK256 00001ade: DUP1 00001adf: SLOAD 00001ae0: PUSH1 0x01 00001ae2: PUSH1 0x01 00001ae4: PUSH1 0xa0 00001ae6: SHL 00001ae7: SUB 00001ae8: NOT 00001ae9: AND 00001aea: PUSH1 0x01 00001aec: PUSH1 0x01 00001aee: PUSH1 0xa0 00001af0: SHL 00001af1: SUB 00001af2: DUP5 00001af3: AND 00001af4: SWAP1 00001af5: DUP2 00001af6: OR 00001af7: SWAP1 00001af8: SWAP2 00001af9: SSTORE 00001afa: DUP2 00001afb: SWAP1 00001afc: PUSH2 0x1b04 00001aff: DUP3 00001b00: PUSH2 0x1006 00001b03: JUMP 00001b04: JUMPDEST 00001b05: PUSH1 0x01 00001b07: PUSH1 0x01 00001b09: PUSH1 0xa0 00001b0b: SHL 00001b0c: SUB 00001b0d: AND 00001b0e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001b2f: PUSH1 0x40 00001b31: MLOAD 00001b32: PUSH1 0x40 00001b34: MLOAD 00001b35: DUP1 00001b36: SWAP2 00001b37: SUB 00001b38: SWAP1 00001b39: LOG4 00001b3a: POP 00001b3b: POP 00001b3c: JUMP 00001b3d: JUMPDEST 00001b3e: PUSH2 0x1651 00001b41: DUP3 00001b42: DUP3 00001b43: PUSH1 0x40 00001b45: MLOAD 00001b46: DUP1 00001b47: PUSH1 0x20 00001b49: ADD 00001b4a: PUSH1 0x40 00001b4c: MSTORE 00001b4d: DUP1 00001b4e: PUSH1 0x00 00001b50: DUP2 00001b51: MSTORE 00001b52: POP 00001b53: PUSH2 0x2482 00001b56: JUMP 00001b57: JUMPDEST 00001b58: PUSH1 0x00 00001b5a: DUP2 00001b5b: DUP2 00001b5c: MSTORE 00001b5d: PUSH1 0x02 00001b5f: PUSH1 0x20 00001b61: MSTORE 00001b62: PUSH1 0x40 00001b64: DUP2 00001b65: KECCAK256 00001b66: SLOAD 00001b67: PUSH1 0x01 00001b69: PUSH1 0x01 00001b6b: PUSH1 0xa0 00001b6d: SHL 00001b6e: SUB 00001b6f: AND 00001b70: PUSH2 0x1bd0 00001b73: JUMPI 00001b74: PUSH1 0x40 00001b76: MLOAD 00001b77: PUSH3 0x461bcd 00001b7b: PUSH1 0xe5 00001b7d: SHL 00001b7e: DUP2 00001b7f: MSTORE 00001b80: PUSH1 0x20 00001b82: PUSH1 0x04 00001b84: DUP3 00001b85: ADD 00001b86: MSTORE 00001b87: PUSH1 0x2c 00001b89: PUSH1 0x24 00001b8b: DUP3 00001b8c: ADD 00001b8d: MSTORE 00001b8e: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578 00001baf: PUSH1 0x44 00001bb1: DUP3 00001bb2: ADD 00001bb3: MSTORE 00001bb4: PUSH12 0x34b9ba32b73a103a37b5b2b7 00001bc1: PUSH1 0xa1 00001bc3: SHL 00001bc4: PUSH1 0x64 00001bc6: DUP3 00001bc7: ADD 00001bc8: MSTORE 00001bc9: PUSH1 0x84 00001bcb: ADD 00001bcc: PUSH2 0x08e2 00001bcf: JUMP 00001bd0: JUMPDEST 00001bd1: PUSH1 0x00 00001bd3: PUSH2 0x1bdb 00001bd6: DUP4 00001bd7: PUSH2 0x1006 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: SWAP1 00001bdd: POP 00001bde: DUP1 00001bdf: PUSH1 0x01 00001be1: PUSH1 0x01 00001be3: PUSH1 0xa0 00001be5: SHL 00001be6: SUB 00001be7: AND 00001be8: DUP5 00001be9: PUSH1 0x01 00001beb: PUSH1 0x01 00001bed: PUSH1 0xa0 00001bef: SHL 00001bf0: SUB 00001bf1: AND 00001bf2: EQ 00001bf3: DUP1 00001bf4: PUSH2 0x1c16 00001bf7: JUMPI 00001bf8: POP 00001bf9: DUP4 00001bfa: PUSH1 0x01 00001bfc: PUSH1 0x01 00001bfe: PUSH1 0xa0 00001c00: SHL 00001c01: SUB 00001c02: AND 00001c03: PUSH2 0x1c0b 00001c06: DUP5 00001c07: PUSH2 0x086d 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH1 0x01 00001c0e: PUSH1 0x01 00001c10: PUSH1 0xa0 00001c12: SHL 00001c13: SUB 00001c14: AND 00001c15: EQ 00001c16: JUMPDEST 00001c17: DUP1 00001c18: PUSH2 0x1c46 00001c1b: JUMPI 00001c1c: POP 00001c1d: PUSH1 0x01 00001c1f: PUSH1 0x01 00001c21: PUSH1 0xa0 00001c23: SHL 00001c24: SUB 00001c25: DUP1 00001c26: DUP3 00001c27: AND 00001c28: PUSH1 0x00 00001c2a: SWAP1 00001c2b: DUP2 00001c2c: MSTORE 00001c2d: PUSH1 0x05 00001c2f: PUSH1 0x20 00001c31: SWAP1 00001c32: DUP2 00001c33: MSTORE 00001c34: PUSH1 0x40 00001c36: DUP1 00001c37: DUP4 00001c38: KECCAK256 00001c39: SWAP4 00001c3a: DUP9 00001c3b: AND 00001c3c: DUP4 00001c3d: MSTORE 00001c3e: SWAP3 00001c3f: SWAP1 00001c40: MSTORE 00001c41: KECCAK256 00001c42: SLOAD 00001c43: PUSH1 0xff 00001c45: AND 00001c46: JUMPDEST 00001c47: SWAP5 00001c48: SWAP4 00001c49: POP 00001c4a: POP 00001c4b: POP 00001c4c: POP 00001c4d: JUMP 00001c4e: JUMPDEST 00001c4f: DUP3 00001c50: PUSH1 0x01 00001c52: PUSH1 0x01 00001c54: PUSH1 0xa0 00001c56: SHL 00001c57: SUB 00001c58: AND 00001c59: PUSH2 0x1c61 00001c5c: DUP3 00001c5d: PUSH2 0x1006 00001c60: JUMP 00001c61: JUMPDEST 00001c62: PUSH1 0x01 00001c64: PUSH1 0x01 00001c66: PUSH1 0xa0 00001c68: SHL 00001c69: SUB 00001c6a: AND 00001c6b: EQ 00001c6c: PUSH2 0x1cc9 00001c6f: JUMPI 00001c70: PUSH1 0x40 00001c72: MLOAD 00001c73: PUSH3 0x461bcd 00001c77: PUSH1 0xe5 00001c79: SHL 00001c7a: DUP2 00001c7b: MSTORE 00001c7c: PUSH1 0x20 00001c7e: PUSH1 0x04 00001c80: DUP3 00001c81: ADD 00001c82: MSTORE 00001c83: PUSH1 0x29 00001c85: PUSH1 0x24 00001c87: DUP3 00001c88: ADD 00001c89: MSTORE 00001c8a: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069 00001cab: PUSH1 0x44 00001cad: DUP3 00001cae: ADD 00001caf: MSTORE 00001cb0: PUSH9 0x39903737ba1037bbb7 00001cba: PUSH1 0xb9 00001cbc: SHL 00001cbd: PUSH1 0x64 00001cbf: DUP3 00001cc0: ADD 00001cc1: MSTORE 00001cc2: PUSH1 0x84 00001cc4: ADD 00001cc5: PUSH2 0x08e2 00001cc8: JUMP 00001cc9: JUMPDEST 00001cca: PUSH1 0x01 00001ccc: PUSH1 0x01 00001cce: PUSH1 0xa0 00001cd0: SHL 00001cd1: SUB 00001cd2: DUP3 00001cd3: AND 00001cd4: PUSH2 0x1d2b 00001cd7: JUMPI 00001cd8: PUSH1 0x40 00001cda: MLOAD 00001cdb: PUSH3 0x461bcd 00001cdf: PUSH1 0xe5 00001ce1: SHL 00001ce2: DUP2 00001ce3: MSTORE 00001ce4: PUSH1 0x20 00001ce6: PUSH1 0x04 00001ce8: DUP3 00001ce9: ADD 00001cea: MSTORE 00001ceb: PUSH1 0x24 00001ced: DUP1 00001cee: DUP3 00001cef: ADD 00001cf0: MSTORE 00001cf1: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00001d12: PUSH1 0x44 00001d14: DUP3 00001d15: ADD 00001d16: MSTORE 00001d17: PUSH4 0x72657373 00001d1c: PUSH1 0xe0 00001d1e: SHL 00001d1f: PUSH1 0x64 00001d21: DUP3 00001d22: ADD 00001d23: MSTORE 00001d24: PUSH1 0x84 00001d26: ADD 00001d27: PUSH2 0x08e2 00001d2a: JUMP 00001d2b: JUMPDEST 00001d2c: PUSH2 0x1d36 00001d2f: DUP4 00001d30: DUP4 00001d31: DUP4 00001d32: PUSH2 0x24b5 00001d35: JUMP 00001d36: JUMPDEST 00001d37: PUSH2 0x1d41 00001d3a: PUSH1 0x00 00001d3c: DUP3 00001d3d: PUSH2 0x1acf 00001d40: JUMP 00001d41: JUMPDEST 00001d42: PUSH1 0x01 00001d44: PUSH1 0x01 00001d46: PUSH1 0xa0 00001d48: SHL 00001d49: SUB 00001d4a: DUP4 00001d4b: AND 00001d4c: PUSH1 0x00 00001d4e: SWAP1 00001d4f: DUP2 00001d50: MSTORE 00001d51: PUSH1 0x03 00001d53: PUSH1 0x20 00001d55: MSTORE 00001d56: PUSH1 0x40 00001d58: DUP2 00001d59: KECCAK256 00001d5a: DUP1 00001d5b: SLOAD 00001d5c: PUSH1 0x01 00001d5e: SWAP3 00001d5f: SWAP1 00001d60: PUSH2 0x1d6a 00001d63: SWAP1 00001d64: DUP5 00001d65: SWAP1 00001d66: PUSH2 0x3105 00001d69: JUMP 00001d6a: JUMPDEST 00001d6b: SWAP1 00001d6c: SWAP2 00001d6d: SSTORE 00001d6e: POP 00001d6f: POP 00001d70: PUSH1 0x01 00001d72: PUSH1 0x01 00001d74: PUSH1 0xa0 00001d76: SHL 00001d77: SUB 00001d78: DUP3 00001d79: AND 00001d7a: PUSH1 0x00 00001d7c: SWAP1 00001d7d: DUP2 00001d7e: MSTORE 00001d7f: PUSH1 0x03 00001d81: PUSH1 0x20 00001d83: MSTORE 00001d84: PUSH1 0x40 00001d86: DUP2 00001d87: KECCAK256 00001d88: DUP1 00001d89: SLOAD 00001d8a: PUSH1 0x01 00001d8c: SWAP3 00001d8d: SWAP1 00001d8e: PUSH2 0x1d98 00001d91: SWAP1 00001d92: DUP5 00001d93: SWAP1 00001d94: PUSH2 0x2fcf 00001d97: JUMP 00001d98: JUMPDEST 00001d99: SWAP1 00001d9a: SWAP2 00001d9b: SSTORE 00001d9c: POP 00001d9d: POP 00001d9e: PUSH1 0x00 00001da0: DUP2 00001da1: DUP2 00001da2: MSTORE 00001da3: PUSH1 0x02 00001da5: PUSH1 0x20 00001da7: MSTORE 00001da8: PUSH1 0x40 00001daa: DUP1 00001dab: DUP3 00001dac: KECCAK256 00001dad: DUP1 00001dae: SLOAD 00001daf: PUSH1 0x01 00001db1: PUSH1 0x01 00001db3: PUSH1 0xa0 00001db5: SHL 00001db6: SUB 00001db7: NOT 00001db8: AND 00001db9: PUSH1 0x01 00001dbb: PUSH1 0x01 00001dbd: PUSH1 0xa0 00001dbf: SHL 00001dc0: SUB 00001dc1: DUP7 00001dc2: DUP2 00001dc3: AND 00001dc4: SWAP2 00001dc5: DUP3 00001dc6: OR 00001dc7: SWAP1 00001dc8: SWAP3 00001dc9: SSTORE 00001dca: SWAP2 00001dcb: MLOAD 00001dcc: DUP5 00001dcd: SWAP4 00001dce: SWAP2 00001dcf: DUP8 00001dd0: AND 00001dd1: SWAP2 00001dd2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001df3: SWAP2 00001df4: LOG4 00001df5: POP 00001df6: POP 00001df7: POP 00001df8: JUMP 00001df9: JUMPDEST 00001dfa: PUSH1 0x00 00001dfc: PUSH2 0x1e04 00001dff: DUP3 00001e00: PUSH2 0x1006 00001e03: JUMP 00001e04: JUMPDEST 00001e05: SWAP1 00001e06: POP 00001e07: PUSH2 0x1e12 00001e0a: DUP2 00001e0b: PUSH1 0x00 00001e0d: DUP5 00001e0e: PUSH2 0x24b5 00001e11: JUMP 00001e12: JUMPDEST 00001e13: PUSH2 0x1e1d 00001e16: PUSH1 0x00 00001e18: DUP4 00001e19: PUSH2 0x1acf 00001e1c: JUMP 00001e1d: JUMPDEST 00001e1e: PUSH1 0x01 00001e20: PUSH1 0x01 00001e22: PUSH1 0xa0 00001e24: SHL 00001e25: SUB 00001e26: DUP2 00001e27: AND 00001e28: PUSH1 0x00 00001e2a: SWAP1 00001e2b: DUP2 00001e2c: MSTORE 00001e2d: PUSH1 0x03 00001e2f: PUSH1 0x20 00001e31: MSTORE 00001e32: PUSH1 0x40 00001e34: DUP2 00001e35: KECCAK256 00001e36: DUP1 00001e37: SLOAD 00001e38: PUSH1 0x01 00001e3a: SWAP3 00001e3b: SWAP1 00001e3c: PUSH2 0x1e46 00001e3f: SWAP1 00001e40: DUP5 00001e41: SWAP1 00001e42: PUSH2 0x3105 00001e45: JUMP 00001e46: JUMPDEST 00001e47: SWAP1 00001e48: SWAP2 00001e49: SSTORE 00001e4a: POP 00001e4b: POP 00001e4c: PUSH1 0x00 00001e4e: DUP3 00001e4f: DUP2 00001e50: MSTORE 00001e51: PUSH1 0x02 00001e53: PUSH1 0x20 00001e55: MSTORE 00001e56: PUSH1 0x40 00001e58: DUP1 00001e59: DUP3 00001e5a: KECCAK256 00001e5b: DUP1 00001e5c: SLOAD 00001e5d: PUSH1 0x01 00001e5f: PUSH1 0x01 00001e61: PUSH1 0xa0 00001e63: SHL 00001e64: SUB 00001e65: NOT 00001e66: AND 00001e67: SWAP1 00001e68: SSTORE 00001e69: MLOAD 00001e6a: DUP4 00001e6b: SWAP2 00001e6c: SWAP1 00001e6d: PUSH1 0x01 00001e6f: PUSH1 0x01 00001e71: PUSH1 0xa0 00001e73: SHL 00001e74: SUB 00001e75: DUP5 00001e76: AND 00001e77: SWAP1 00001e78: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001e99: SWAP1 00001e9a: DUP4 00001e9b: SWAP1 00001e9c: LOG4 00001e9d: POP 00001e9e: POP 00001e9f: JUMP 00001ea0: JUMPDEST 00001ea1: PUSH1 0x0a 00001ea3: DUP1 00001ea4: SLOAD 00001ea5: PUSH1 0x01 00001ea7: PUSH1 0x01 00001ea9: PUSH1 0xa0 00001eab: SHL 00001eac: SUB 00001ead: DUP4 00001eae: DUP2 00001eaf: AND 00001eb0: PUSH1 0x01 00001eb2: PUSH1 0x01 00001eb4: PUSH1 0xa0 00001eb6: SHL 00001eb7: SUB 00001eb8: NOT 00001eb9: DUP4 00001eba: AND 00001ebb: DUP2 00001ebc: OR 00001ebd: SWAP1 00001ebe: SWAP4 00001ebf: SSTORE 00001ec0: PUSH1 0x40 00001ec2: MLOAD 00001ec3: SWAP2 00001ec4: AND 00001ec5: SWAP2 00001ec6: SWAP1 00001ec7: DUP3 00001ec8: SWAP1 00001ec9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001eea: SWAP1 00001eeb: PUSH1 0x00 00001eed: SWAP1 00001eee: LOG3 00001eef: POP 00001ef0: POP 00001ef1: JUMP 00001ef2: JUMPDEST 00001ef3: DUP2 00001ef4: PUSH1 0x01 00001ef6: PUSH1 0x01 00001ef8: PUSH1 0xa0 00001efa: SHL 00001efb: SUB 00001efc: AND 00001efd: DUP4 00001efe: PUSH1 0x01 00001f00: PUSH1 0x01 00001f02: PUSH1 0xa0 00001f04: SHL 00001f05: SUB 00001f06: AND 00001f07: EQ 00001f08: ISZERO 00001f09: PUSH2 0x1f54 00001f0c: JUMPI 00001f0d: PUSH1 0x40 00001f0f: MLOAD 00001f10: PUSH3 0x461bcd 00001f14: PUSH1 0xe5 00001f16: SHL 00001f17: DUP2 00001f18: MSTORE 00001f19: PUSH1 0x20 00001f1b: PUSH1 0x04 00001f1d: DUP3 00001f1e: ADD 00001f1f: MSTORE 00001f20: PUSH1 0x19 00001f22: PUSH1 0x24 00001f24: DUP3 00001f25: ADD 00001f26: MSTORE 00001f27: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 00001f48: PUSH1 0x44 00001f4a: DUP3 00001f4b: ADD 00001f4c: MSTORE 00001f4d: PUSH1 0x64 00001f4f: ADD 00001f50: PUSH2 0x08e2 00001f53: JUMP 00001f54: JUMPDEST 00001f55: PUSH1 0x01 00001f57: PUSH1 0x01 00001f59: PUSH1 0xa0 00001f5b: SHL 00001f5c: SUB 00001f5d: DUP4 00001f5e: DUP2 00001f5f: AND 00001f60: PUSH1 0x00 00001f62: DUP2 00001f63: DUP2 00001f64: MSTORE 00001f65: PUSH1 0x05 00001f67: PUSH1 0x20 00001f69: SWAP1 00001f6a: DUP2 00001f6b: MSTORE 00001f6c: PUSH1 0x40 00001f6e: DUP1 00001f6f: DUP4 00001f70: KECCAK256 00001f71: SWAP5 00001f72: DUP8 00001f73: AND 00001f74: DUP1 00001f75: DUP5 00001f76: MSTORE 00001f77: SWAP5 00001f78: DUP3 00001f79: MSTORE 00001f7a: SWAP2 00001f7b: DUP3 00001f7c: SWAP1 00001f7d: KECCAK256 00001f7e: DUP1 00001f7f: SLOAD 00001f80: PUSH1 0xff 00001f82: NOT 00001f83: AND 00001f84: DUP7 00001f85: ISZERO 00001f86: ISZERO 00001f87: SWAP1 00001f88: DUP2 00001f89: OR 00001f8a: SWAP1 00001f8b: SWAP2 00001f8c: SSTORE 00001f8d: SWAP2 00001f8e: MLOAD 00001f8f: SWAP2 00001f90: DUP3 00001f91: MSTORE 00001f92: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00001fb3: SWAP2 00001fb4: ADD 00001fb5: PUSH1 0x40 00001fb7: MLOAD 00001fb8: DUP1 00001fb9: SWAP2 00001fba: SUB 00001fbb: SWAP1 00001fbc: LOG3 00001fbd: POP 00001fbe: POP 00001fbf: POP 00001fc0: JUMP 00001fc1: JUMPDEST 00001fc2: PUSH2 0x1fcc 00001fc5: DUP5 00001fc6: DUP5 00001fc7: DUP5 00001fc8: PUSH2 0x1c4e 00001fcb: JUMP 00001fcc: JUMPDEST 00001fcd: PUSH2 0x1fd8 00001fd0: DUP5 00001fd1: DUP5 00001fd2: DUP5 00001fd3: DUP5 00001fd4: PUSH2 0x24c0 00001fd7: JUMP 00001fd8: JUMPDEST 00001fd9: PUSH2 0x176d 00001fdc: JUMPI 00001fdd: PUSH1 0x40 00001fdf: MLOAD 00001fe0: PUSH3 0x461bcd 00001fe4: PUSH1 0xe5 00001fe6: SHL 00001fe7: DUP2 00001fe8: MSTORE 00001fe9: PUSH1 0x04 00001feb: ADD 00001fec: PUSH2 0x08e2 00001fef: SWAP1 00001ff0: PUSH2 0x2e33 00001ff3: JUMP 00001ff4: JUMPDEST 00001ff5: PUSH1 0x60 00001ff7: DUP2 00001ff8: PUSH2 0x2018 00001ffb: JUMPI 00001ffc: POP 00001ffd: POP 00001ffe: PUSH1 0x40 00002000: DUP1 00002001: MLOAD 00002002: DUP1 00002003: DUP3 00002004: ADD 00002005: SWAP1 00002006: SWAP2 00002007: MSTORE 00002008: PUSH1 0x01 0000200a: DUP2 0000200b: MSTORE 0000200c: PUSH1 0x03 0000200e: PUSH1 0xfc 00002010: SHL 00002011: PUSH1 0x20 00002013: DUP3 00002014: ADD 00002015: MSTORE 00002016: SWAP1 00002017: JUMP 00002018: JUMPDEST 00002019: DUP2 0000201a: PUSH1 0x00 0000201c: JUMPDEST 0000201d: DUP2 0000201e: ISZERO 0000201f: PUSH2 0x2042 00002022: JUMPI 00002023: DUP1 00002024: PUSH2 0x202c 00002027: DUP2 00002028: PUSH2 0x3183 0000202b: JUMP 0000202c: JUMPDEST 0000202d: SWAP2 0000202e: POP 0000202f: PUSH2 0x203b 00002032: SWAP1 00002033: POP 00002034: PUSH1 0x0a 00002036: DUP4 00002037: PUSH2 0x2fe7 0000203a: JUMP 0000203b: JUMPDEST 0000203c: SWAP2 0000203d: POP 0000203e: PUSH2 0x201c 00002041: JUMP 00002042: JUMPDEST 00002043: PUSH1 0x00 00002045: DUP2 00002046: PUSH8 0xffffffffffffffff 0000204f: DUP2 00002050: GT 00002051: ISZERO 00002052: PUSH2 0x206b 00002055: JUMPI 00002056: PUSH4 0x4e487b71 0000205b: PUSH1 0xe0 0000205d: SHL 0000205e: PUSH1 0x00 00002060: MSTORE 00002061: PUSH1 0x41 00002063: PUSH1 0x04 00002065: MSTORE 00002066: PUSH1 0x24 00002068: PUSH1 0x00 0000206a: REVERT 0000206b: JUMPDEST 0000206c: PUSH1 0x40 0000206e: MLOAD 0000206f: SWAP1 00002070: DUP1 00002071: DUP3 00002072: MSTORE 00002073: DUP1 00002074: PUSH1 0x1f 00002076: ADD 00002077: PUSH1 0x1f 00002079: NOT 0000207a: AND 0000207b: PUSH1 0x20 0000207d: ADD 0000207e: DUP3 0000207f: ADD 00002080: PUSH1 0x40 00002082: MSTORE 00002083: DUP1 00002084: ISZERO 00002085: PUSH2 0x2095 00002088: JUMPI 00002089: PUSH1 0x20 0000208b: DUP3 0000208c: ADD 0000208d: DUP2 0000208e: DUP1 0000208f: CALLDATASIZE 00002090: DUP4 00002091: CALLDATACOPY 00002092: ADD 00002093: SWAP1 00002094: POP 00002095: JUMPDEST 00002096: POP 00002097: SWAP1 00002098: POP 00002099: JUMPDEST 0000209a: DUP5 0000209b: ISZERO 0000209c: PUSH2 0x1c46 0000209f: JUMPI 000020a0: PUSH2 0x20aa 000020a3: PUSH1 0x01 000020a5: DUP4 000020a6: PUSH2 0x3105 000020a9: JUMP 000020aa: JUMPDEST 000020ab: SWAP2 000020ac: POP 000020ad: PUSH2 0x20b7 000020b0: PUSH1 0x0a 000020b2: DUP7 000020b3: PUSH2 0x319e 000020b6: JUMP 000020b7: JUMPDEST 000020b8: PUSH2 0x20c2 000020bb: SWAP1 000020bc: PUSH1 0x30 000020be: PUSH2 0x2fcf 000020c1: JUMP 000020c2: JUMPDEST 000020c3: PUSH1 0xf8 000020c5: SHL 000020c6: DUP2 000020c7: DUP4 000020c8: DUP2 000020c9: MLOAD 000020ca: DUP2 000020cb: LT 000020cc: PUSH2 0x20e5 000020cf: JUMPI 000020d0: PUSH4 0x4e487b71 000020d5: PUSH1 0xe0 000020d7: SHL 000020d8: PUSH1 0x00 000020da: MSTORE 000020db: PUSH1 0x32 000020dd: PUSH1 0x04 000020df: MSTORE 000020e0: PUSH1 0x24 000020e2: PUSH1 0x00 000020e4: REVERT 000020e5: JUMPDEST 000020e6: PUSH1 0x20 000020e8: ADD 000020e9: ADD 000020ea: SWAP1 000020eb: PUSH1 0x01 000020ed: PUSH1 0x01 000020ef: PUSH1 0xf8 000020f1: SHL 000020f2: SUB 000020f3: NOT 000020f4: AND 000020f5: SWAP1 000020f6: DUP2 000020f7: PUSH1 0x00 000020f9: BYTE 000020fa: SWAP1 000020fb: MSTORE8 000020fc: POP 000020fd: PUSH2 0x2107 00002100: PUSH1 0x0a 00002102: DUP7 00002103: PUSH2 0x2fe7 00002106: JUMP 00002107: JUMPDEST 00002108: SWAP5 00002109: POP 0000210a: PUSH2 0x2099 0000210d: JUMP 0000210e: JUMPDEST 0000210f: DUP1 00002110: MLOAD 00002111: PUSH1 0x60 00002113: SWAP1 00002114: DUP1 00002115: PUSH2 0x212e 00002118: JUMPI 00002119: POP 0000211a: POP 0000211b: PUSH1 0x40 0000211d: DUP1 0000211e: MLOAD 0000211f: PUSH1 0x20 00002121: DUP2 00002122: ADD 00002123: SWAP1 00002124: SWAP2 00002125: MSTORE 00002126: PUSH1 0x00 00002128: DUP2 00002129: MSTORE 0000212a: SWAP2 0000212b: SWAP1 0000212c: POP 0000212d: JUMP 0000212e: JUMPDEST 0000212f: PUSH1 0x00 00002131: PUSH1 0x03 00002133: PUSH2 0x213d 00002136: DUP4 00002137: PUSH1 0x02 00002139: PUSH2 0x2fcf 0000213c: JUMP 0000213d: JUMPDEST 0000213e: PUSH2 0x2147 00002141: SWAP2 00002142: SWAP1 00002143: PUSH2 0x2fe7 00002146: JUMP 00002147: JUMPDEST 00002148: PUSH2 0x2152 0000214b: SWAP1 0000214c: PUSH1 0x04 0000214e: PUSH2 0x30e6 00002151: JUMP 00002152: JUMPDEST 00002153: SWAP1 00002154: POP 00002155: PUSH1 0x00 00002157: PUSH2 0x2161 0000215a: DUP3 0000215b: PUSH1 0x20 0000215d: PUSH2 0x2fcf 00002160: JUMP 00002161: JUMPDEST 00002162: PUSH8 0xffffffffffffffff 0000216b: DUP2 0000216c: GT 0000216d: ISZERO 0000216e: PUSH2 0x2187 00002171: JUMPI 00002172: PUSH4 0x4e487b71 00002177: PUSH1 0xe0 00002179: SHL 0000217a: PUSH1 0x00 0000217c: MSTORE 0000217d: PUSH1 0x41 0000217f: PUSH1 0x04 00002181: MSTORE 00002182: PUSH1 0x24 00002184: PUSH1 0x00 00002186: REVERT 00002187: JUMPDEST 00002188: PUSH1 0x40 0000218a: MLOAD 0000218b: SWAP1 0000218c: DUP1 0000218d: DUP3 0000218e: MSTORE 0000218f: DUP1 00002190: PUSH1 0x1f 00002192: ADD 00002193: PUSH1 0x1f 00002195: NOT 00002196: AND 00002197: PUSH1 0x20 00002199: ADD 0000219a: DUP3 0000219b: ADD 0000219c: PUSH1 0x40 0000219e: MSTORE 0000219f: DUP1 000021a0: ISZERO 000021a1: PUSH2 0x21b1 000021a4: JUMPI 000021a5: PUSH1 0x20 000021a7: DUP3 000021a8: ADD 000021a9: DUP2 000021aa: DUP1 000021ab: CALLDATASIZE 000021ac: DUP4 000021ad: CALLDATACOPY 000021ae: ADD 000021af: SWAP1 000021b0: POP 000021b1: JUMPDEST 000021b2: POP 000021b3: SWAP1 000021b4: POP 000021b5: PUSH1 0x00 000021b7: PUSH1 0x40 000021b9: MLOAD 000021ba: DUP1 000021bb: PUSH1 0x60 000021bd: ADD 000021be: PUSH1 0x40 000021c0: MSTORE 000021c1: DUP1 000021c2: PUSH1 0x40 000021c4: DUP2 000021c5: MSTORE 000021c6: PUSH1 0x20 000021c8: ADD 000021c9: PUSH2 0x320b 000021cc: PUSH1 0x40 000021ce: SWAP2 000021cf: CODECOPY 000021d0: SWAP1 000021d1: POP 000021d2: PUSH1 0x01 000021d4: DUP2 000021d5: ADD 000021d6: PUSH1 0x20 000021d8: DUP4 000021d9: ADD 000021da: PUSH1 0x00 000021dc: JUMPDEST 000021dd: DUP7 000021de: DUP2 000021df: LT 000021e0: ISZERO 000021e1: PUSH2 0x223d 000021e4: JUMPI 000021e5: PUSH1 0x03 000021e7: DUP2 000021e8: DUP11 000021e9: ADD 000021ea: DUP2 000021eb: ADD 000021ec: MLOAD 000021ed: PUSH1 0x3f 000021ef: PUSH1 0x12 000021f1: DUP3 000021f2: SWAP1 000021f3: SHR 000021f4: DUP2 000021f5: AND 000021f6: DUP7 000021f7: ADD 000021f8: MLOAD 000021f9: PUSH1 0x0c 000021fb: DUP4 000021fc: SWAP1 000021fd: SHR 000021fe: DUP3 000021ff: AND 00002200: DUP8 00002201: ADD 00002202: MLOAD 00002203: PUSH1 0x06 00002205: DUP5 00002206: SWAP1 00002207: SHR 00002208: DUP4 00002209: AND 0000220a: DUP9 0000220b: ADD 0000220c: MLOAD 0000220d: SWAP3 0000220e: SWAP1 0000220f: SWAP4 00002210: AND 00002211: DUP8 00002212: ADD 00002213: MLOAD 00002214: PUSH1 0x08 00002216: SWAP2 00002217: DUP3 00002218: SHL 00002219: PUSH1 0xff 0000221b: SWAP5 0000221c: DUP6 0000221d: AND 0000221e: ADD 0000221f: DUP3 00002220: SHL 00002221: SWAP3 00002222: DUP5 00002223: AND 00002224: SWAP3 00002225: SWAP1 00002226: SWAP3 00002227: ADD 00002228: SWAP1 00002229: SHL 0000222a: SWAP2 0000222b: AND 0000222c: ADD 0000222d: PUSH1 0xe0 0000222f: SHL 00002230: DUP4 00002231: MSTORE 00002232: PUSH1 0x04 00002234: SWAP1 00002235: SWAP3 00002236: ADD 00002237: SWAP2 00002238: ADD 00002239: PUSH2 0x21dc 0000223c: JUMP 0000223d: JUMPDEST 0000223e: POP 0000223f: PUSH1 0x03 00002241: DUP7 00002242: MOD 00002243: PUSH1 0x01 00002245: DUP2 00002246: EQ 00002247: PUSH2 0x2257 0000224a: JUMPI 0000224b: PUSH1 0x02 0000224d: DUP2 0000224e: EQ 0000224f: PUSH2 0x2268 00002252: JUMPI 00002253: PUSH2 0x2274 00002256: JUMP 00002257: JUMPDEST 00002258: PUSH2 0x3d3d 0000225b: PUSH1 0xf0 0000225d: SHL 0000225e: PUSH1 0x01 00002260: NOT 00002261: DUP4 00002262: ADD 00002263: MSTORE 00002264: PUSH2 0x2274 00002267: JUMP 00002268: JUMPDEST 00002269: PUSH1 0x3d 0000226b: PUSH1 0xf8 0000226d: SHL 0000226e: PUSH1 0x00 00002270: NOT 00002271: DUP4 00002272: ADD 00002273: MSTORE 00002274: JUMPDEST 00002275: POP 00002276: POP 00002277: POP 00002278: SWAP2 00002279: DUP2 0000227a: MSTORE 0000227b: SWAP5 0000227c: SWAP4 0000227d: POP 0000227e: POP 0000227f: POP 00002280: POP 00002281: JUMP 00002282: JUMPDEST 00002283: PUSH1 0x00 00002285: DUP1 00002286: PUSH1 0x0c 00002288: SLOAD 00002289: PUSH2 0x03e8 0000228c: PUSH2 0x2295 0000228f: SWAP2 00002290: SWAP1 00002291: PUSH2 0x3105 00002294: JUMP 00002295: JUMPDEST 00002296: PUSH1 0x12 00002298: SLOAD 00002299: PUSH1 0x40 0000229b: DUP1 0000229c: MLOAD 0000229d: PUSH1 0x20 0000229f: DUP2 000022a0: ADD 000022a1: SWAP3 000022a2: SWAP1 000022a3: SWAP3 000022a4: MSTORE 000022a5: PUSH12 0xffffffffffffffffffffffff 000022b2: NOT 000022b3: CALLER 000022b4: PUSH1 0x60 000022b6: SHL 000022b7: AND 000022b8: SWAP1 000022b9: DUP3 000022ba: ADD 000022bb: MSTORE 000022bc: DIFFICULTY 000022bd: PUSH1 0x54 000022bf: DUP3 000022c0: ADD 000022c1: MSTORE 000022c2: TIMESTAMP 000022c3: PUSH1 0x74 000022c5: DUP3 000022c6: ADD 000022c7: MSTORE 000022c8: SWAP1 000022c9: SWAP2 000022ca: POP 000022cb: PUSH1 0x00 000022cd: SWAP1 000022ce: DUP3 000022cf: SWAP1 000022d0: PUSH1 0x94 000022d2: ADD 000022d3: PUSH1 0x40 000022d5: MLOAD 000022d6: PUSH1 0x20 000022d8: DUP2 000022d9: DUP4 000022da: SUB 000022db: SUB 000022dc: DUP2 000022dd: MSTORE 000022de: SWAP1 000022df: PUSH1 0x40 000022e1: MSTORE 000022e2: DUP1 000022e3: MLOAD 000022e4: SWAP1 000022e5: PUSH1 0x20 000022e7: ADD 000022e8: KECCAK256 000022e9: PUSH1 0x00 000022eb: SHR 000022ec: PUSH2 0x22f5 000022ef: SWAP2 000022f0: SWAP1 000022f1: PUSH2 0x319e 000022f4: JUMP 000022f5: JUMPDEST 000022f6: SWAP1 000022f7: POP 000022f8: PUSH1 0x00 000022fa: PUSH1 0x13 000022fc: DUP3 000022fd: PUSH2 0x03e8 00002300: DUP2 00002301: LT 00002302: PUSH2 0x231b 00002305: JUMPI 00002306: PUSH4 0x4e487b71 0000230b: PUSH1 0xe0 0000230d: SHL 0000230e: PUSH1 0x00 00002310: MSTORE 00002311: PUSH1 0x32 00002313: PUSH1 0x04 00002315: MSTORE 00002316: PUSH1 0x24 00002318: PUSH1 0x00 0000231a: REVERT 0000231b: JUMPDEST 0000231c: ADD 0000231d: SLOAD 0000231e: ISZERO 0000231f: PUSH2 0x234d 00002322: JUMPI 00002323: PUSH1 0x13 00002325: DUP3 00002326: PUSH2 0x03e8 00002329: DUP2 0000232a: LT 0000232b: PUSH2 0x2344 0000232e: JUMPI 0000232f: PUSH4 0x4e487b71 00002334: PUSH1 0xe0 00002336: SHL 00002337: PUSH1 0x00 00002339: MSTORE 0000233a: PUSH1 0x32 0000233c: PUSH1 0x04 0000233e: MSTORE 0000233f: PUSH1 0x24 00002341: PUSH1 0x00 00002343: REVERT 00002344: JUMPDEST 00002345: ADD 00002346: SLOAD 00002347: SWAP1 00002348: POP 00002349: PUSH2 0x2350 0000234c: JUMP 0000234d: JUMPDEST 0000234e: POP 0000234f: DUP1 00002350: JUMPDEST 00002351: PUSH1 0x13 00002353: PUSH2 0x235d 00002356: PUSH1 0x01 00002358: DUP6 00002359: PUSH2 0x3105 0000235c: JUMP 0000235d: JUMPDEST 0000235e: PUSH2 0x03e8 00002361: DUP2 00002362: LT 00002363: PUSH2 0x237c 00002366: JUMPI 00002367: PUSH4 0x4e487b71 0000236c: PUSH1 0xe0 0000236e: SHL 0000236f: PUSH1 0x00 00002371: MSTORE 00002372: PUSH1 0x32 00002374: PUSH1 0x04 00002376: MSTORE 00002377: PUSH1 0x24 00002379: PUSH1 0x00 0000237b: REVERT 0000237c: JUMPDEST 0000237d: ADD 0000237e: SLOAD 0000237f: PUSH2 0x23b6 00002382: JUMPI 00002383: PUSH2 0x238d 00002386: PUSH1 0x01 00002388: DUP5 00002389: PUSH2 0x3105 0000238c: JUMP 0000238d: JUMPDEST 0000238e: PUSH1 0x13 00002390: DUP4 00002391: PUSH2 0x03e8 00002394: DUP2 00002395: LT 00002396: PUSH2 0x23af 00002399: JUMPI 0000239a: PUSH4 0x4e487b71 0000239f: PUSH1 0xe0 000023a1: SHL 000023a2: PUSH1 0x00 000023a4: MSTORE 000023a5: PUSH1 0x32 000023a7: PUSH1 0x04 000023a9: MSTORE 000023aa: PUSH1 0x24 000023ac: PUSH1 0x00 000023ae: REVERT 000023af: JUMPDEST 000023b0: ADD 000023b1: SSTORE 000023b2: PUSH2 0x2409 000023b5: JUMP 000023b6: JUMPDEST 000023b7: PUSH1 0x13 000023b9: PUSH2 0x23c3 000023bc: PUSH1 0x01 000023be: DUP6 000023bf: PUSH2 0x3105 000023c2: JUMP 000023c3: JUMPDEST 000023c4: PUSH2 0x03e8 000023c7: DUP2 000023c8: LT 000023c9: PUSH2 0x23e2 000023cc: JUMPI 000023cd: PUSH4 0x4e487b71 000023d2: PUSH1 0xe0 000023d4: SHL 000023d5: PUSH1 0x00 000023d7: MSTORE 000023d8: PUSH1 0x32 000023da: PUSH1 0x04 000023dc: MSTORE 000023dd: PUSH1 0x24 000023df: PUSH1 0x00 000023e1: REVERT 000023e2: JUMPDEST 000023e3: ADD 000023e4: SLOAD 000023e5: PUSH1 0x13 000023e7: DUP4 000023e8: PUSH2 0x03e8 000023eb: DUP2 000023ec: LT 000023ed: PUSH2 0x2406 000023f0: JUMPI 000023f1: PUSH4 0x4e487b71 000023f6: PUSH1 0xe0 000023f8: SHL 000023f9: PUSH1 0x00 000023fb: MSTORE 000023fc: PUSH1 0x32 000023fe: PUSH1 0x04 00002400: MSTORE 00002401: PUSH1 0x24 00002403: PUSH1 0x00 00002405: REVERT 00002406: JUMPDEST 00002407: ADD 00002408: SSTORE 00002409: JUMPDEST 0000240a: PUSH1 0x12 0000240c: DUP1 0000240d: SLOAD 0000240e: SWAP1 0000240f: PUSH1 0x00 00002411: PUSH2 0x2419 00002414: DUP4 00002415: PUSH2 0x3183 00002418: JUMP 00002419: JUMPDEST 0000241a: SWAP1 0000241b: SWAP2 0000241c: SSTORE 0000241d: POP 0000241e: PUSH2 0x242a 00002421: SWAP1 00002422: POP 00002423: DUP2 00002424: PUSH1 0x01 00002426: PUSH2 0x2fcf 00002429: JUMP 0000242a: JUMPDEST 0000242b: SWAP4 0000242c: POP 0000242d: POP 0000242e: POP 0000242f: POP 00002430: SWAP1 00002431: JUMP 00002432: JUMPDEST 00002433: PUSH1 0x00 00002435: PUSH1 0x01 00002437: PUSH1 0x01 00002439: PUSH1 0xe0 0000243b: SHL 0000243c: SUB 0000243d: NOT 0000243e: DUP3 0000243f: AND 00002440: PUSH4 0x80ac58cd 00002445: PUSH1 0xe0 00002447: SHL 00002448: EQ 00002449: DUP1 0000244a: PUSH2 0x2463 0000244d: JUMPI 0000244e: POP 0000244f: PUSH1 0x01 00002451: PUSH1 0x01 00002453: PUSH1 0xe0 00002455: SHL 00002456: SUB 00002457: NOT 00002458: DUP3 00002459: AND 0000245a: PUSH4 0x5b5e139f 0000245f: PUSH1 0xe0 00002461: SHL 00002462: EQ 00002463: JUMPDEST 00002464: DUP1 00002465: PUSH2 0x07d5 00002468: JUMPI 00002469: POP 0000246a: PUSH4 0x01ffc9a7 0000246f: PUSH1 0xe0 00002471: SHL 00002472: PUSH1 0x01 00002474: PUSH1 0x01 00002476: PUSH1 0xe0 00002478: SHL 00002479: SUB 0000247a: NOT 0000247b: DUP4 0000247c: AND 0000247d: EQ 0000247e: PUSH2 0x07d5 00002481: JUMP 00002482: JUMPDEST 00002483: PUSH2 0x248c 00002486: DUP4 00002487: DUP4 00002488: PUSH2 0x25cd 0000248b: JUMP 0000248c: JUMPDEST 0000248d: PUSH2 0x2499 00002490: PUSH1 0x00 00002492: DUP5 00002493: DUP5 00002494: DUP5 00002495: PUSH2 0x24c0 00002498: JUMP 00002499: JUMPDEST 0000249a: PUSH2 0x0a18 0000249d: JUMPI 0000249e: PUSH1 0x40 000024a0: MLOAD 000024a1: PUSH3 0x461bcd 000024a5: PUSH1 0xe5 000024a7: SHL 000024a8: DUP2 000024a9: MSTORE 000024aa: PUSH1 0x04 000024ac: ADD 000024ad: PUSH2 0x08e2 000024b0: SWAP1 000024b1: PUSH2 0x2e33 000024b4: JUMP 000024b5: JUMPDEST 000024b6: PUSH2 0x0a18 000024b9: DUP4 000024ba: DUP4 000024bb: DUP4 000024bc: PUSH2 0x271b 000024bf: JUMP 000024c0: JUMPDEST 000024c1: PUSH1 0x00 000024c3: PUSH1 0x01 000024c5: PUSH1 0x01 000024c7: PUSH1 0xa0 000024c9: SHL 000024ca: SUB 000024cb: DUP5 000024cc: AND 000024cd: EXTCODESIZE 000024ce: ISZERO 000024cf: PUSH2 0x25c2 000024d2: JUMPI 000024d3: PUSH1 0x40 000024d5: MLOAD 000024d6: PUSH4 0x0a85bd01 000024db: PUSH1 0xe1 000024dd: SHL 000024de: DUP2 000024df: MSTORE 000024e0: PUSH1 0x01 000024e2: PUSH1 0x01 000024e4: PUSH1 0xa0 000024e6: SHL 000024e7: SUB 000024e8: DUP6 000024e9: AND 000024ea: SWAP1 000024eb: PUSH4 0x150b7a02 000024f0: SWAP1 000024f1: PUSH2 0x2504 000024f4: SWAP1 000024f5: CALLER 000024f6: SWAP1 000024f7: DUP10 000024f8: SWAP1 000024f9: DUP9 000024fa: SWAP1 000024fb: DUP9 000024fc: SWAP1 000024fd: PUSH1 0x04 000024ff: ADD 00002500: PUSH2 0x2d9f 00002503: JUMP 00002504: JUMPDEST 00002505: PUSH1 0x20 00002507: PUSH1 0x40 00002509: MLOAD 0000250a: DUP1 0000250b: DUP4 0000250c: SUB 0000250d: DUP2 0000250e: PUSH1 0x00 00002510: DUP8 00002511: DUP1 00002512: EXTCODESIZE 00002513: ISZERO 00002514: DUP1 00002515: ISZERO 00002516: PUSH2 0x251e 00002519: JUMPI 0000251a: PUSH1 0x00 0000251c: DUP1 0000251d: REVERT 0000251e: JUMPDEST 0000251f: POP 00002520: GAS 00002521: CALL 00002522: SWAP3 00002523: POP 00002524: POP 00002525: POP 00002526: DUP1 00002527: ISZERO 00002528: PUSH2 0x254e 0000252b: JUMPI 0000252c: POP 0000252d: PUSH1 0x40 0000252f: DUP1 00002530: MLOAD 00002531: PUSH1 0x1f 00002533: RETURNDATASIZE 00002534: SWAP1 00002535: DUP2 00002536: ADD 00002537: PUSH1 0x1f 00002539: NOT 0000253a: AND 0000253b: DUP3 0000253c: ADD 0000253d: SWAP1 0000253e: SWAP3 0000253f: MSTORE 00002540: PUSH2 0x254b 00002543: SWAP2 00002544: DUP2 00002545: ADD 00002546: SWAP1 00002547: PUSH2 0x2bb2 0000254a: JUMP 0000254b: JUMPDEST 0000254c: PUSH1 0x01 0000254e: JUMPDEST 0000254f: PUSH2 0x25a8 00002552: JUMPI 00002553: RETURNDATASIZE 00002554: DUP1 00002555: DUP1 00002556: ISZERO 00002557: PUSH2 0x257c 0000255a: JUMPI 0000255b: PUSH1 0x40 0000255d: MLOAD 0000255e: SWAP2 0000255f: POP 00002560: PUSH1 0x1f 00002562: NOT 00002563: PUSH1 0x3f 00002565: RETURNDATASIZE 00002566: ADD 00002567: AND 00002568: DUP3 00002569: ADD 0000256a: PUSH1 0x40 0000256c: MSTORE 0000256d: RETURNDATASIZE 0000256e: DUP3 0000256f: MSTORE 00002570: RETURNDATASIZE 00002571: PUSH1 0x00 00002573: PUSH1 0x20 00002575: DUP5 00002576: ADD 00002577: RETURNDATACOPY 00002578: PUSH2 0x2581 0000257b: JUMP 0000257c: JUMPDEST 0000257d: PUSH1 0x60 0000257f: SWAP2 00002580: POP 00002581: JUMPDEST 00002582: POP 00002583: DUP1 00002584: MLOAD 00002585: PUSH2 0x25a0 00002588: JUMPI 00002589: PUSH1 0x40 0000258b: MLOAD 0000258c: PUSH3 0x461bcd 00002590: PUSH1 0xe5 00002592: SHL 00002593: DUP2 00002594: MSTORE 00002595: PUSH1 0x04 00002597: ADD 00002598: PUSH2 0x08e2 0000259b: SWAP1 0000259c: PUSH2 0x2e33 0000259f: JUMP 000025a0: JUMPDEST 000025a1: DUP1 000025a2: MLOAD 000025a3: DUP2 000025a4: PUSH1 0x20 000025a6: ADD 000025a7: REVERT 000025a8: JUMPDEST 000025a9: PUSH1 0x01 000025ab: PUSH1 0x01 000025ad: PUSH1 0xe0 000025af: SHL 000025b0: SUB 000025b1: NOT 000025b2: AND 000025b3: PUSH4 0x0a85bd01 000025b8: PUSH1 0xe1 000025ba: SHL 000025bb: EQ 000025bc: SWAP1 000025bd: POP 000025be: PUSH2 0x1c46 000025c1: JUMP 000025c2: JUMPDEST 000025c3: POP 000025c4: PUSH1 0x01 000025c6: SWAP5 000025c7: SWAP4 000025c8: POP 000025c9: POP 000025ca: POP 000025cb: POP 000025cc: JUMP 000025cd: JUMPDEST 000025ce: PUSH1 0x01 000025d0: PUSH1 0x01 000025d2: PUSH1 0xa0 000025d4: SHL 000025d5: SUB 000025d6: DUP3 000025d7: AND 000025d8: PUSH2 0x2623 000025db: JUMPI 000025dc: PUSH1 0x40 000025de: MLOAD 000025df: PUSH3 0x461bcd 000025e3: PUSH1 0xe5 000025e5: SHL 000025e6: DUP2 000025e7: MSTORE 000025e8: PUSH1 0x20 000025ea: PUSH1 0x04 000025ec: DUP3 000025ed: ADD 000025ee: DUP2 000025ef: SWAP1 000025f0: MSTORE 000025f1: PUSH1 0x24 000025f3: DUP3 000025f4: ADD 000025f5: MSTORE 000025f6: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00002617: PUSH1 0x44 00002619: DUP3 0000261a: ADD 0000261b: MSTORE 0000261c: PUSH1 0x64 0000261e: ADD 0000261f: PUSH2 0x08e2 00002622: JUMP 00002623: JUMPDEST 00002624: PUSH1 0x00 00002626: DUP2 00002627: DUP2 00002628: MSTORE 00002629: PUSH1 0x02 0000262b: PUSH1 0x20 0000262d: MSTORE 0000262e: PUSH1 0x40 00002630: SWAP1 00002631: KECCAK256 00002632: SLOAD 00002633: PUSH1 0x01 00002635: PUSH1 0x01 00002637: PUSH1 0xa0 00002639: SHL 0000263a: SUB 0000263b: AND 0000263c: ISZERO 0000263d: PUSH2 0x2688 00002640: JUMPI 00002641: PUSH1 0x40 00002643: MLOAD 00002644: PUSH3 0x461bcd 00002648: PUSH1 0xe5 0000264a: SHL 0000264b: DUP2 0000264c: MSTORE 0000264d: PUSH1 0x20 0000264f: PUSH1 0x04 00002651: DUP3 00002652: ADD 00002653: MSTORE 00002654: PUSH1 0x1c 00002656: PUSH1 0x24 00002658: DUP3 00002659: ADD 0000265a: MSTORE 0000265b: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 0000267c: PUSH1 0x44 0000267e: DUP3 0000267f: ADD 00002680: MSTORE 00002681: PUSH1 0x64 00002683: ADD 00002684: PUSH2 0x08e2 00002687: JUMP 00002688: JUMPDEST 00002689: PUSH2 0x2694 0000268c: PUSH1 0x00 0000268e: DUP4 0000268f: DUP4 00002690: PUSH2 0x24b5 00002693: JUMP 00002694: JUMPDEST 00002695: PUSH1 0x01 00002697: PUSH1 0x01 00002699: PUSH1 0xa0 0000269b: SHL 0000269c: SUB 0000269d: DUP3 0000269e: AND 0000269f: PUSH1 0x00 000026a1: SWAP1 000026a2: DUP2 000026a3: MSTORE 000026a4: PUSH1 0x03 000026a6: PUSH1 0x20 000026a8: MSTORE 000026a9: PUSH1 0x40 000026ab: DUP2 000026ac: KECCAK256 000026ad: DUP1 000026ae: SLOAD 000026af: PUSH1 0x01 000026b1: SWAP3 000026b2: SWAP1 000026b3: PUSH2 0x26bd 000026b6: SWAP1 000026b7: DUP5 000026b8: SWAP1 000026b9: PUSH2 0x2fcf 000026bc: JUMP 000026bd: JUMPDEST 000026be: SWAP1 000026bf: SWAP2 000026c0: SSTORE 000026c1: POP 000026c2: POP 000026c3: PUSH1 0x00 000026c5: DUP2 000026c6: DUP2 000026c7: MSTORE 000026c8: PUSH1 0x02 000026ca: PUSH1 0x20 000026cc: MSTORE 000026cd: PUSH1 0x40 000026cf: DUP1 000026d0: DUP3 000026d1: KECCAK256 000026d2: DUP1 000026d3: SLOAD 000026d4: PUSH1 0x01 000026d6: PUSH1 0x01 000026d8: PUSH1 0xa0 000026da: SHL 000026db: SUB 000026dc: NOT 000026dd: AND 000026de: PUSH1 0x01 000026e0: PUSH1 0x01 000026e2: PUSH1 0xa0 000026e4: SHL 000026e5: SUB 000026e6: DUP7 000026e7: AND 000026e8: SWAP1 000026e9: DUP2 000026ea: OR 000026eb: SWAP1 000026ec: SWAP2 000026ed: SSTORE 000026ee: SWAP1 000026ef: MLOAD 000026f0: DUP4 000026f1: SWAP3 000026f2: SWAP1 000026f3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002714: SWAP1 00002715: DUP3 00002716: SWAP1 00002717: LOG4 00002718: POP 00002719: POP 0000271a: JUMP 0000271b: JUMPDEST 0000271c: PUSH1 0x01 0000271e: PUSH1 0x01 00002720: PUSH1 0xa0 00002722: SHL 00002723: SUB 00002724: DUP4 00002725: AND 00002726: PUSH2 0x2776 00002729: JUMPI 0000272a: PUSH2 0x2771 0000272d: DUP2 0000272e: PUSH1 0x08 00002730: DUP1 00002731: SLOAD 00002732: PUSH1 0x00 00002734: DUP4 00002735: DUP2 00002736: MSTORE 00002737: PUSH1 0x09 00002739: PUSH1 0x20 0000273b: MSTORE 0000273c: PUSH1 0x40 0000273e: DUP2 0000273f: KECCAK256 00002740: DUP3 00002741: SWAP1 00002742: SSTORE 00002743: PUSH1 0x01 00002745: DUP3 00002746: ADD 00002747: DUP4 00002748: SSTORE 00002749: SWAP2 0000274a: SWAP1 0000274b: SWAP2 0000274c: MSTORE 0000274d: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3 0000276e: ADD 0000276f: SSTORE 00002770: JUMP 00002771: JUMPDEST 00002772: PUSH2 0x2799 00002775: JUMP 00002776: JUMPDEST 00002777: DUP2 00002778: PUSH1 0x01 0000277a: PUSH1 0x01 0000277c: PUSH1 0xa0 0000277e: SHL 0000277f: SUB 00002780: AND 00002781: DUP4 00002782: PUSH1 0x01 00002784: PUSH1 0x01 00002786: PUSH1 0xa0 00002788: SHL 00002789: SUB 0000278a: AND 0000278b: EQ 0000278c: PUSH2 0x2799 0000278f: JUMPI 00002790: PUSH2 0x2799 00002793: DUP4 00002794: DUP3 00002795: PUSH2 0x27d3 00002798: JUMP 00002799: JUMPDEST 0000279a: PUSH1 0x01 0000279c: PUSH1 0x01 0000279e: PUSH1 0xa0 000027a0: SHL 000027a1: SUB 000027a2: DUP3 000027a3: AND 000027a4: PUSH2 0x27b0 000027a7: JUMPI 000027a8: PUSH2 0x0a18 000027ab: DUP2 000027ac: PUSH2 0x2870 000027af: JUMP 000027b0: JUMPDEST 000027b1: DUP3 000027b2: PUSH1 0x01 000027b4: PUSH1 0x01 000027b6: PUSH1 0xa0 000027b8: SHL 000027b9: SUB 000027ba: AND 000027bb: DUP3 000027bc: PUSH1 0x01 000027be: PUSH1 0x01 000027c0: PUSH1 0xa0 000027c2: SHL 000027c3: SUB 000027c4: AND 000027c5: EQ 000027c6: PUSH2 0x0a18 000027c9: JUMPI 000027ca: PUSH2 0x0a18 000027cd: DUP3 000027ce: DUP3 000027cf: PUSH2 0x2949 000027d2: JUMP 000027d3: JUMPDEST 000027d4: PUSH1 0x00 000027d6: PUSH1 0x01 000027d8: PUSH2 0x27e0 000027db: DUP5 000027dc: PUSH2 0x107d 000027df: JUMP 000027e0: JUMPDEST 000027e1: PUSH2 0x27ea 000027e4: SWAP2 000027e5: SWAP1 000027e6: PUSH2 0x3105 000027e9: JUMP 000027ea: JUMPDEST 000027eb: PUSH1 0x00 000027ed: DUP4 000027ee: DUP2 000027ef: MSTORE 000027f0: PUSH1 0x07 000027f2: PUSH1 0x20 000027f4: MSTORE 000027f5: PUSH1 0x40 000027f7: SWAP1 000027f8: KECCAK256 000027f9: SLOAD 000027fa: SWAP1 000027fb: SWAP2 000027fc: POP 000027fd: DUP1 000027fe: DUP3 000027ff: EQ 00002800: PUSH2 0x283d 00002803: JUMPI 00002804: PUSH1 0x01 00002806: PUSH1 0x01 00002808: PUSH1 0xa0 0000280a: SHL 0000280b: SUB 0000280c: DUP5 0000280d: AND 0000280e: PUSH1 0x00 00002810: SWAP1 00002811: DUP2 00002812: MSTORE 00002813: PUSH1 0x06 00002815: PUSH1 0x20 00002817: SWAP1 00002818: DUP2 00002819: MSTORE 0000281a: PUSH1 0x40 0000281c: DUP1 0000281d: DUP4 0000281e: KECCAK256 0000281f: DUP6 00002820: DUP5 00002821: MSTORE 00002822: DUP3 00002823: MSTORE 00002824: DUP1 00002825: DUP4 00002826: KECCAK256 00002827: SLOAD 00002828: DUP5 00002829: DUP5 0000282a: MSTORE 0000282b: DUP2 0000282c: DUP5 0000282d: KECCAK256 0000282e: DUP2 0000282f: SWAP1 00002830: SSTORE 00002831: DUP4 00002832: MSTORE 00002833: PUSH1 0x07 00002835: SWAP1 00002836: SWAP2 00002837: MSTORE 00002838: SWAP1 00002839: KECCAK256 0000283a: DUP2 0000283b: SWAP1 0000283c: SSTORE 0000283d: JUMPDEST 0000283e: POP 0000283f: PUSH1 0x00 00002841: SWAP2 00002842: DUP3 00002843: MSTORE 00002844: PUSH1 0x07 00002846: PUSH1 0x20 00002848: SWAP1 00002849: DUP2 0000284a: MSTORE 0000284b: PUSH1 0x40 0000284d: DUP1 0000284e: DUP5 0000284f: KECCAK256 00002850: DUP5 00002851: SWAP1 00002852: SSTORE 00002853: PUSH1 0x01 00002855: PUSH1 0x01 00002857: PUSH1 0xa0 00002859: SHL 0000285a: SUB 0000285b: SWAP1 0000285c: SWAP5 0000285d: AND 0000285e: DUP4 0000285f: MSTORE 00002860: PUSH1 0x06 00002862: DUP2 00002863: MSTORE 00002864: DUP4 00002865: DUP4 00002866: KECCAK256 00002867: SWAP2 00002868: DUP4 00002869: MSTORE 0000286a: MSTORE 0000286b: SWAP1 0000286c: DUP2 0000286d: KECCAK256 0000286e: SSTORE 0000286f: JUMP 00002870: JUMPDEST 00002871: PUSH1 0x08 00002873: SLOAD 00002874: PUSH1 0x00 00002876: SWAP1 00002877: PUSH2 0x2882 0000287a: SWAP1 0000287b: PUSH1 0x01 0000287d: SWAP1 0000287e: PUSH2 0x3105 00002881: JUMP 00002882: JUMPDEST 00002883: PUSH1 0x00 00002885: DUP4 00002886: DUP2 00002887: MSTORE 00002888: PUSH1 0x09 0000288a: PUSH1 0x20 0000288c: MSTORE 0000288d: PUSH1 0x40 0000288f: DUP2 00002890: KECCAK256 00002891: SLOAD 00002892: PUSH1 0x08 00002894: DUP1 00002895: SLOAD 00002896: SWAP4 00002897: SWAP5 00002898: POP 00002899: SWAP1 0000289a: SWAP3 0000289b: DUP5 0000289c: SWAP1 0000289d: DUP2 0000289e: LT 0000289f: PUSH2 0x28b8 000028a2: JUMPI 000028a3: PUSH4 0x4e487b71 000028a8: PUSH1 0xe0 000028aa: SHL 000028ab: PUSH1 0x00 000028ad: MSTORE 000028ae: PUSH1 0x32 000028b0: PUSH1 0x04 000028b2: MSTORE 000028b3: PUSH1 0x24 000028b5: PUSH1 0x00 000028b7: REVERT 000028b8: JUMPDEST 000028b9: SWAP1 000028ba: PUSH1 0x00 000028bc: MSTORE 000028bd: PUSH1 0x20 000028bf: PUSH1 0x00 000028c1: KECCAK256 000028c2: ADD 000028c3: SLOAD 000028c4: SWAP1 000028c5: POP 000028c6: DUP1 000028c7: PUSH1 0x08 000028c9: DUP4 000028ca: DUP2 000028cb: SLOAD 000028cc: DUP2 000028cd: LT 000028ce: PUSH2 0x28e7 000028d1: JUMPI 000028d2: PUSH4 0x4e487b71 000028d7: PUSH1 0xe0 000028d9: SHL 000028da: PUSH1 0x00 000028dc: MSTORE 000028dd: PUSH1 0x32 000028df: PUSH1 0x04 000028e1: MSTORE 000028e2: PUSH1 0x24 000028e4: PUSH1 0x00 000028e6: REVERT 000028e7: JUMPDEST 000028e8: PUSH1 0x00 000028ea: SWAP2 000028eb: DUP3 000028ec: MSTORE 000028ed: PUSH1 0x20 000028ef: DUP1 000028f0: DUP4 000028f1: KECCAK256 000028f2: SWAP1 000028f3: SWAP2 000028f4: ADD 000028f5: SWAP3 000028f6: SWAP1 000028f7: SWAP3 000028f8: SSTORE 000028f9: DUP3 000028fa: DUP2 000028fb: MSTORE 000028fc: PUSH1 0x09 000028fe: SWAP1 000028ff: SWAP2 00002900: MSTORE 00002901: PUSH1 0x40 00002903: DUP1 00002904: DUP3 00002905: KECCAK256 00002906: DUP5 00002907: SWAP1 00002908: SSTORE 00002909: DUP6 0000290a: DUP3 0000290b: MSTORE 0000290c: DUP2 0000290d: KECCAK256 0000290e: SSTORE 0000290f: PUSH1 0x08 00002911: DUP1 00002912: SLOAD 00002913: DUP1 00002914: PUSH2 0x292d 00002917: JUMPI 00002918: PUSH4 0x4e487b71 0000291d: PUSH1 0xe0 0000291f: SHL 00002920: PUSH1 0x00 00002922: MSTORE 00002923: PUSH1 0x31 00002925: PUSH1 0x04 00002927: MSTORE 00002928: PUSH1 0x24 0000292a: PUSH1 0x00 0000292c: REVERT 0000292d: JUMPDEST 0000292e: PUSH1 0x01 00002930: SWAP1 00002931: SUB 00002932: DUP2 00002933: DUP2 00002934: SWAP1 00002935: PUSH1 0x00 00002937: MSTORE 00002938: PUSH1 0x20 0000293a: PUSH1 0x00 0000293c: KECCAK256 0000293d: ADD 0000293e: PUSH1 0x00 00002940: SWAP1 00002941: SSTORE 00002942: SWAP1 00002943: SSTORE 00002944: POP 00002945: POP 00002946: POP 00002947: POP 00002948: JUMP 00002949: JUMPDEST 0000294a: PUSH1 0x00 0000294c: PUSH2 0x2954 0000294f: DUP4 00002950: PUSH2 0x107d 00002953: JUMP 00002954: JUMPDEST 00002955: PUSH1 0x01 00002957: PUSH1 0x01 00002959: PUSH1 0xa0 0000295b: SHL 0000295c: SUB 0000295d: SWAP1 0000295e: SWAP4 0000295f: AND 00002960: PUSH1 0x00 00002962: SWAP1 00002963: DUP2 00002964: MSTORE 00002965: PUSH1 0x06 00002967: PUSH1 0x20 00002969: SWAP1 0000296a: DUP2 0000296b: MSTORE 0000296c: PUSH1 0x40 0000296e: DUP1 0000296f: DUP4 00002970: KECCAK256 00002971: DUP7 00002972: DUP5 00002973: MSTORE 00002974: DUP3 00002975: MSTORE 00002976: DUP1 00002977: DUP4 00002978: KECCAK256 00002979: DUP6 0000297a: SWAP1 0000297b: SSTORE 0000297c: SWAP4 0000297d: DUP3 0000297e: MSTORE 0000297f: PUSH1 0x07 00002981: SWAP1 00002982: MSTORE 00002983: SWAP2 00002984: SWAP1 00002985: SWAP2 00002986: KECCAK256 00002987: SWAP2 00002988: SWAP1 00002989: SWAP2 0000298a: SSTORE 0000298b: POP 0000298c: JUMP 0000298d: JUMPDEST 0000298e: PUSH1 0x40 00002990: MLOAD 00002991: DUP1 00002992: PUSH1 0x60 00002994: ADD 00002995: PUSH1 0x40 00002997: MSTORE 00002998: DUP1 00002999: PUSH1 0x03 0000299b: SWAP1 0000299c: JUMPDEST 0000299d: PUSH1 0x60 0000299f: DUP2 000029a0: MSTORE 000029a1: PUSH1 0x20 000029a3: ADD 000029a4: SWAP1 000029a5: PUSH1 0x01 000029a7: SWAP1 000029a8: SUB 000029a9: SWAP1 000029aa: DUP2 000029ab: PUSH2 0x299c 000029ae: JUMPI 000029af: SWAP1 000029b0: POP 000029b1: POP 000029b2: SWAP1 000029b3: JUMP 000029b4: JUMPDEST 000029b5: DUP1 000029b6: CALLDATALOAD 000029b7: PUSH1 0x01 000029b9: PUSH1 0x01 000029bb: PUSH1 0xa0 000029bd: SHL 000029be: SUB 000029bf: DUP2 000029c0: AND 000029c1: DUP2 000029c2: EQ 000029c3: PUSH2 0x29cb 000029c6: JUMPI 000029c7: PUSH1 0x00 000029c9: DUP1 000029ca: REVERT 000029cb: JUMPDEST 000029cc: SWAP2 000029cd: SWAP1 000029ce: POP 000029cf: JUMP 000029d0: JUMPDEST 000029d1: PUSH1 0x00 000029d3: PUSH1 0x20 000029d5: DUP3 000029d6: DUP5 000029d7: SUB 000029d8: SLT 000029d9: ISZERO 000029da: PUSH2 0x29e1 000029dd: JUMPI 000029de: DUP1 000029df: DUP2 000029e0: REVERT 000029e1: JUMPDEST 000029e2: PUSH2 0x29ea 000029e5: DUP3 000029e6: PUSH2 0x29b4 000029e9: JUMP 000029ea: JUMPDEST 000029eb: SWAP4 000029ec: SWAP3 000029ed: POP 000029ee: POP 000029ef: POP 000029f0: JUMP 000029f1: JUMPDEST 000029f2: PUSH1 0x00 000029f4: DUP1 000029f5: PUSH1 0x40 000029f7: DUP4 000029f8: DUP6 000029f9: SUB 000029fa: SLT 000029fb: ISZERO 000029fc: PUSH2 0x2a03 000029ff: JUMPI 00002a00: DUP1 00002a01: DUP2 00002a02: REVERT 00002a03: JUMPDEST 00002a04: PUSH2 0x2a0c 00002a07: DUP4 00002a08: PUSH2 0x29b4 00002a0b: JUMP 00002a0c: JUMPDEST 00002a0d: SWAP2 00002a0e: POP 00002a0f: PUSH2 0x2a1a 00002a12: PUSH1 0x20 00002a14: DUP5 00002a15: ADD 00002a16: PUSH2 0x29b4 00002a19: JUMP 00002a1a: JUMPDEST 00002a1b: SWAP1 00002a1c: POP 00002a1d: SWAP3 00002a1e: POP 00002a1f: SWAP3 00002a20: SWAP1 00002a21: POP 00002a22: JUMP 00002a23: JUMPDEST 00002a24: PUSH1 0x00 00002a26: DUP1 00002a27: PUSH1 0x00 00002a29: PUSH1 0x60 00002a2b: DUP5 00002a2c: DUP7 00002a2d: SUB 00002a2e: SLT 00002a2f: ISZERO 00002a30: PUSH2 0x2a37 00002a33: JUMPI 00002a34: DUP1 00002a35: DUP2 00002a36: REVERT 00002a37: JUMPDEST 00002a38: PUSH2 0x2a40 00002a3b: DUP5 00002a3c: PUSH2 0x29b4 00002a3f: JUMP 00002a40: JUMPDEST 00002a41: SWAP3 00002a42: POP 00002a43: PUSH2 0x2a4e 00002a46: PUSH1 0x20 00002a48: DUP6 00002a49: ADD 00002a4a: PUSH2 0x29b4 00002a4d: JUMP 00002a4e: JUMPDEST 00002a4f: SWAP2 00002a50: POP 00002a51: PUSH1 0x40 00002a53: DUP5 00002a54: ADD 00002a55: CALLDATALOAD 00002a56: SWAP1 00002a57: POP 00002a58: SWAP3 00002a59: POP 00002a5a: SWAP3 00002a5b: POP 00002a5c: SWAP3 00002a5d: JUMP 00002a5e: JUMPDEST 00002a5f: PUSH1 0x00 00002a61: DUP1 00002a62: PUSH1 0x00 00002a64: DUP1 00002a65: PUSH1 0x80 00002a67: DUP6 00002a68: DUP8 00002a69: SUB 00002a6a: SLT 00002a6b: ISZERO 00002a6c: PUSH2 0x2a73 00002a6f: JUMPI 00002a70: DUP1 00002a71: DUP2 00002a72: REVERT 00002a73: JUMPDEST 00002a74: PUSH2 0x2a7c 00002a77: DUP6 00002a78: PUSH2 0x29b4 00002a7b: JUMP 00002a7c: JUMPDEST 00002a7d: SWAP4 00002a7e: POP 00002a7f: PUSH2 0x2a8a 00002a82: PUSH1 0x20 00002a84: DUP7 00002a85: ADD 00002a86: PUSH2 0x29b4 00002a89: JUMP 00002a8a: JUMPDEST 00002a8b: SWAP3 00002a8c: POP 00002a8d: PUSH1 0x40 00002a8f: DUP6 00002a90: ADD 00002a91: CALLDATALOAD 00002a92: SWAP2 00002a93: POP 00002a94: PUSH1 0x60 00002a96: DUP6 00002a97: ADD 00002a98: CALLDATALOAD 00002a99: PUSH8 0xffffffffffffffff 00002aa2: DUP1 00002aa3: DUP3 00002aa4: GT 00002aa5: ISZERO 00002aa6: PUSH2 0x2aad 00002aa9: JUMPI 00002aaa: DUP3 00002aab: DUP4 00002aac: REVERT 00002aad: JUMPDEST 00002aae: DUP2 00002aaf: DUP8 00002ab0: ADD 00002ab1: SWAP2 00002ab2: POP 00002ab3: DUP8 00002ab4: PUSH1 0x1f 00002ab6: DUP4 00002ab7: ADD 00002ab8: SLT 00002ab9: PUSH2 0x2ac0 00002abc: JUMPI 00002abd: DUP3 00002abe: DUP4 00002abf: REVERT 00002ac0: JUMPDEST 00002ac1: DUP2 00002ac2: CALLDATALOAD 00002ac3: DUP2 00002ac4: DUP2 00002ac5: GT 00002ac6: ISZERO 00002ac7: PUSH2 0x2ad2 00002aca: JUMPI 00002acb: PUSH2 0x2ad2 00002ace: PUSH2 0x31de 00002ad1: JUMP 00002ad2: JUMPDEST 00002ad3: PUSH1 0x40 00002ad5: MLOAD 00002ad6: PUSH1 0x1f 00002ad8: DUP3 00002ad9: ADD 00002ada: PUSH1 0x1f 00002adc: NOT 00002add: SWAP1 00002ade: DUP2 00002adf: AND 00002ae0: PUSH1 0x3f 00002ae2: ADD 00002ae3: AND 00002ae4: DUP2 00002ae5: ADD 00002ae6: SWAP1 00002ae7: DUP4 00002ae8: DUP3 00002ae9: GT 00002aea: DUP2 00002aeb: DUP4 00002aec: LT 00002aed: OR 00002aee: ISZERO 00002aef: PUSH2 0x2afa 00002af2: JUMPI 00002af3: PUSH2 0x2afa 00002af6: PUSH2 0x31de 00002af9: JUMP 00002afa: JUMPDEST 00002afb: DUP2 00002afc: PUSH1 0x40 00002afe: MSTORE 00002aff: DUP3 00002b00: DUP2 00002b01: MSTORE 00002b02: DUP11 00002b03: PUSH1 0x20 00002b05: DUP5 00002b06: DUP8 00002b07: ADD 00002b08: ADD 00002b09: GT 00002b0a: ISZERO 00002b0b: PUSH2 0x2b12 00002b0e: JUMPI 00002b0f: DUP6 00002b10: DUP7 00002b11: REVERT 00002b12: JUMPDEST 00002b13: DUP3 00002b14: PUSH1 0x20 00002b16: DUP7 00002b17: ADD 00002b18: PUSH1 0x20 00002b1a: DUP4 00002b1b: ADD 00002b1c: CALLDATACOPY 00002b1d: SWAP2 00002b1e: DUP3 00002b1f: ADD 00002b20: PUSH1 0x20 00002b22: ADD 00002b23: SWAP5 00002b24: SWAP1 00002b25: SWAP5 00002b26: MSTORE 00002b27: SWAP6 00002b28: SWAP9 00002b29: SWAP5 00002b2a: SWAP8 00002b2b: POP 00002b2c: SWAP3 00002b2d: SWAP6 00002b2e: POP 00002b2f: POP 00002b30: POP 00002b31: POP 00002b32: JUMP 00002b33: JUMPDEST 00002b34: PUSH1 0x00 00002b36: DUP1 00002b37: PUSH1 0x40 00002b39: DUP4 00002b3a: DUP6 00002b3b: SUB 00002b3c: SLT 00002b3d: ISZERO 00002b3e: PUSH2 0x2b45 00002b41: JUMPI 00002b42: DUP2 00002b43: DUP3 00002b44: REVERT 00002b45: JUMPDEST 00002b46: PUSH2 0x2b4e 00002b49: DUP4 00002b4a: PUSH2 0x29b4 00002b4d: JUMP 00002b4e: JUMPDEST 00002b4f: SWAP2 00002b50: POP 00002b51: PUSH1 0x20 00002b53: DUP4 00002b54: ADD 00002b55: CALLDATALOAD 00002b56: DUP1 00002b57: ISZERO 00002b58: ISZERO 00002b59: DUP2 00002b5a: EQ 00002b5b: PUSH2 0x2b62 00002b5e: JUMPI 00002b5f: DUP2 00002b60: DUP3 00002b61: REVERT 00002b62: JUMPDEST 00002b63: DUP1 00002b64: SWAP2 00002b65: POP 00002b66: POP 00002b67: SWAP3 00002b68: POP 00002b69: SWAP3 00002b6a: SWAP1 00002b6b: POP 00002b6c: JUMP 00002b6d: JUMPDEST 00002b6e: PUSH1 0x00 00002b70: DUP1 00002b71: PUSH1 0x40 00002b73: DUP4 00002b74: DUP6 00002b75: SUB 00002b76: SLT 00002b77: ISZERO 00002b78: PUSH2 0x2b7f 00002b7b: JUMPI 00002b7c: DUP2 00002b7d: DUP3 00002b7e: REVERT 00002b7f: JUMPDEST 00002b80: PUSH2 0x2b88 00002b83: DUP4 00002b84: PUSH2 0x29b4 00002b87: JUMP 00002b88: JUMPDEST 00002b89: SWAP5 00002b8a: PUSH1 0x20 00002b8c: SWAP4 00002b8d: SWAP1 00002b8e: SWAP4 00002b8f: ADD 00002b90: CALLDATALOAD 00002b91: SWAP4 00002b92: POP 00002b93: POP 00002b94: POP 00002b95: JUMP 00002b96: JUMPDEST 00002b97: PUSH1 0x00 00002b99: PUSH1 0x20 00002b9b: DUP3 00002b9c: DUP5 00002b9d: SUB 00002b9e: SLT 00002b9f: ISZERO 00002ba0: PUSH2 0x2ba7 00002ba3: JUMPI 00002ba4: DUP1 00002ba5: DUP2 00002ba6: REVERT 00002ba7: JUMPDEST 00002ba8: DUP2 00002ba9: CALLDATALOAD 00002baa: PUSH2 0x29ea 00002bad: DUP2 00002bae: PUSH2 0x31f4 00002bb1: JUMP 00002bb2: JUMPDEST 00002bb3: PUSH1 0x00 00002bb5: PUSH1 0x20 00002bb7: DUP3 00002bb8: DUP5 00002bb9: SUB 00002bba: SLT 00002bbb: ISZERO 00002bbc: PUSH2 0x2bc3 00002bbf: JUMPI 00002bc0: DUP1 00002bc1: DUP2 00002bc2: REVERT 00002bc3: JUMPDEST 00002bc4: DUP2 00002bc5: MLOAD 00002bc6: PUSH2 0x29ea 00002bc9: DUP2 00002bca: PUSH2 0x31f4 00002bcd: JUMP 00002bce: JUMPDEST 00002bcf: PUSH1 0x00 00002bd1: PUSH1 0x20 00002bd3: DUP3 00002bd4: DUP5 00002bd5: SUB 00002bd6: SLT 00002bd7: ISZERO 00002bd8: PUSH2 0x2bdf 00002bdb: JUMPI 00002bdc: DUP1 00002bdd: DUP2 00002bde: REVERT 00002bdf: JUMPDEST 00002be0: POP 00002be1: CALLDATALOAD 00002be2: SWAP2 00002be3: SWAP1 00002be4: POP 00002be5: JUMP 00002be6: JUMPDEST 00002be7: PUSH1 0x00 00002be9: DUP1 00002bea: PUSH1 0x40 00002bec: DUP4 00002bed: DUP6 00002bee: SUB 00002bef: SLT 00002bf0: ISZERO 00002bf1: PUSH2 0x2bf8 00002bf4: JUMPI 00002bf5: DUP2 00002bf6: DUP3 00002bf7: REVERT 00002bf8: JUMPDEST 00002bf9: POP 00002bfa: POP 00002bfb: DUP1 00002bfc: CALLDATALOAD 00002bfd: SWAP3 00002bfe: PUSH1 0x20 00002c00: SWAP1 00002c01: SWAP2 00002c02: ADD 00002c03: CALLDATALOAD 00002c04: SWAP2 00002c05: POP 00002c06: JUMP 00002c07: JUMPDEST 00002c08: PUSH1 0x00 00002c0a: DUP1 00002c0b: PUSH1 0x00 00002c0d: PUSH1 0x60 00002c0f: DUP5 00002c10: DUP7 00002c11: SUB 00002c12: SLT 00002c13: ISZERO 00002c14: PUSH2 0x2c1b 00002c17: JUMPI 00002c18: DUP3 00002c19: DUP4 00002c1a: REVERT 00002c1b: JUMPDEST 00002c1c: POP 00002c1d: POP 00002c1e: DUP2 00002c1f: CALLDATALOAD 00002c20: SWAP4 00002c21: PUSH1 0x20 00002c23: DUP4 00002c24: ADD 00002c25: CALLDATALOAD 00002c26: SWAP4 00002c27: POP 00002c28: PUSH1 0x40 00002c2a: SWAP1 00002c2b: SWAP3 00002c2c: ADD 00002c2d: CALLDATALOAD 00002c2e: SWAP2 00002c2f: SWAP1 00002c30: POP 00002c31: JUMP 00002c32: JUMPDEST 00002c33: PUSH1 0x00 00002c35: DUP2 00002c36: MLOAD 00002c37: DUP1 00002c38: DUP5 00002c39: MSTORE 00002c3a: PUSH2 0x2c4a 00002c3d: DUP2 00002c3e: PUSH1 0x20 00002c40: DUP7 00002c41: ADD 00002c42: PUSH1 0x20 00002c44: DUP7 00002c45: ADD 00002c46: PUSH2 0x311c 00002c49: JUMP 00002c4a: JUMPDEST 00002c4b: PUSH1 0x1f 00002c4d: ADD 00002c4e: PUSH1 0x1f 00002c50: NOT 00002c51: AND 00002c52: SWAP3 00002c53: SWAP1 00002c54: SWAP3 00002c55: ADD 00002c56: PUSH1 0x20 00002c58: ADD 00002c59: SWAP3 00002c5a: SWAP2 00002c5b: POP 00002c5c: POP 00002c5d: JUMP 00002c5e: JUMPDEST 00002c5f: PUSH1 0x00 00002c61: DUP5 00002c62: MLOAD 00002c63: PUSH2 0x2c70 00002c66: DUP2 00002c67: DUP5 00002c68: PUSH1 0x20 00002c6a: DUP10 00002c6b: ADD 00002c6c: PUSH2 0x311c 00002c6f: JUMP 00002c70: JUMPDEST 00002c71: DUP5 00002c72: MLOAD 00002c73: SWAP1 00002c74: DUP4 00002c75: ADD 00002c76: SWAP1 00002c77: PUSH2 0x2c84 00002c7a: DUP2 00002c7b: DUP4 00002c7c: PUSH1 0x20 00002c7e: DUP10 00002c7f: ADD 00002c80: PUSH2 0x311c 00002c83: JUMP 00002c84: JUMPDEST 00002c85: DUP5 00002c86: MLOAD 00002c87: SWAP2 00002c88: ADD 00002c89: SWAP1 00002c8a: PUSH2 0x2c97 00002c8d: DUP2 00002c8e: DUP4 00002c8f: PUSH1 0x20 00002c91: DUP9 00002c92: ADD 00002c93: PUSH2 0x311c 00002c96: JUMP 00002c97: JUMPDEST 00002c98: ADD 00002c99: SWAP6 00002c9a: SWAP5 00002c9b: POP 00002c9c: POP 00002c9d: POP 00002c9e: POP 00002c9f: POP 00002ca0: JUMP 00002ca1: JUMPDEST 00002ca2: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000 00002cc3: DUP2 00002cc4: MSTORE 00002cc5: PUSH1 0x00 00002cc7: DUP3 00002cc8: MLOAD 00002cc9: PUSH2 0x2cd9 00002ccc: DUP2 00002ccd: PUSH1 0x1d 00002ccf: DUP6 00002cd0: ADD 00002cd1: PUSH1 0x20 00002cd3: DUP8 00002cd4: ADD 00002cd5: PUSH2 0x311c 00002cd8: JUMP 00002cd9: JUMPDEST 00002cda: SWAP2 00002cdb: SWAP1 00002cdc: SWAP2 00002cdd: ADD 00002cde: PUSH1 0x1d 00002ce0: ADD 00002ce1: SWAP3 00002ce2: SWAP2 00002ce3: POP 00002ce4: POP 00002ce5: JUMP 00002ce6: JUMPDEST 00002ce7: PUSH16 0x03d913730b6b2911d1011273ab6b1309 00002cf8: PUSH1 0x85 00002cfa: SHL 00002cfb: DUP2 00002cfc: MSTORE 00002cfd: DUP3 00002cfe: MLOAD 00002cff: PUSH1 0x00 00002d01: SWAP1 00002d02: PUSH2 0x2d12 00002d05: DUP2 00002d06: PUSH1 0x10 00002d08: DUP6 00002d09: ADD 00002d0a: PUSH1 0x20 00002d0c: DUP9 00002d0d: ADD 00002d0e: PUSH2 0x311c 00002d11: JUMP 00002d12: JUMPDEST 00002d13: PUSH32 0x222c20226465736372697074696f6e223a20224e756d626120676f2075702122 00002d34: PUSH1 0x10 00002d36: SWAP2 00002d37: DUP5 00002d38: ADD 00002d39: SWAP2 00002d3a: DUP3 00002d3b: ADD 00002d3c: MSTORE 00002d3d: PUSH32 0x2c2022696d616765223a2022646174613a696d6167652f7376672b786d6c3b62 00002d5e: PUSH1 0x30 00002d60: DUP3 00002d61: ADD 00002d62: MSTORE 00002d63: PUSH6 0x185cd94d8d0b 00002d6a: PUSH1 0xd2 00002d6c: SHL 00002d6d: PUSH1 0x50 00002d6f: DUP3 00002d70: ADD 00002d71: MSTORE 00002d72: DUP4 00002d73: MLOAD 00002d74: PUSH2 0x2d84 00002d77: DUP2 00002d78: PUSH1 0x56 00002d7a: DUP5 00002d7b: ADD 00002d7c: PUSH1 0x20 00002d7e: DUP9 00002d7f: ADD 00002d80: PUSH2 0x311c 00002d83: JUMP 00002d84: JUMPDEST 00002d85: PUSH2 0x227d 00002d88: PUSH1 0xf0 00002d8a: SHL 00002d8b: PUSH1 0x56 00002d8d: SWAP3 00002d8e: SWAP1 00002d8f: SWAP2 00002d90: ADD 00002d91: SWAP2 00002d92: DUP3 00002d93: ADD 00002d94: MSTORE 00002d95: PUSH1 0x58 00002d97: ADD 00002d98: SWAP5 00002d99: SWAP4 00002d9a: POP 00002d9b: POP 00002d9c: POP 00002d9d: POP 00002d9e: JUMP 00002d9f: JUMPDEST 00002da0: PUSH1 0x01 00002da2: PUSH1 0x01 00002da4: PUSH1 0xa0 00002da6: SHL 00002da7: SUB 00002da8: DUP6 00002da9: DUP2 00002daa: AND 00002dab: DUP3 00002dac: MSTORE 00002dad: DUP5 00002dae: AND 00002daf: PUSH1 0x20 00002db1: DUP3 00002db2: ADD 00002db3: MSTORE 00002db4: PUSH1 0x40 00002db6: DUP2 00002db7: ADD 00002db8: DUP4 00002db9: SWAP1 00002dba: MSTORE 00002dbb: PUSH1 0x80 00002dbd: PUSH1 0x60 00002dbf: DUP3 00002dc0: ADD 00002dc1: DUP2 00002dc2: SWAP1 00002dc3: MSTORE 00002dc4: PUSH1 0x00 00002dc6: SWAP1 00002dc7: PUSH2 0x2dd2 00002dca: SWAP1 00002dcb: DUP4 00002dcc: ADD 00002dcd: DUP5 00002dce: PUSH2 0x2c32 00002dd1: JUMP 00002dd2: JUMPDEST 00002dd3: SWAP7 00002dd4: SWAP6 00002dd5: POP 00002dd6: POP 00002dd7: POP 00002dd8: POP 00002dd9: POP 00002dda: POP 00002ddb: JUMP 00002ddc: JUMPDEST 00002ddd: PUSH1 0x20 00002ddf: DUP1 00002de0: DUP3 00002de1: MSTORE 00002de2: DUP3 00002de3: MLOAD 00002de4: DUP3 00002de5: DUP3 00002de6: ADD 00002de7: DUP2 00002de8: SWAP1 00002de9: MSTORE 00002dea: PUSH1 0x00 00002dec: SWAP2 00002ded: SWAP1 00002dee: DUP5 00002def: DUP3 00002df0: ADD 00002df1: SWAP1 00002df2: PUSH1 0x40 00002df4: DUP6 00002df5: ADD 00002df6: SWAP1 00002df7: DUP5 00002df8: JUMPDEST 00002df9: DUP2 00002dfa: DUP2 00002dfb: LT 00002dfc: ISZERO 00002dfd: PUSH2 0x2e14 00002e00: JUMPI 00002e01: DUP4 00002e02: MLOAD 00002e03: DUP4 00002e04: MSTORE 00002e05: SWAP3 00002e06: DUP5 00002e07: ADD 00002e08: SWAP3 00002e09: SWAP2 00002e0a: DUP5 00002e0b: ADD 00002e0c: SWAP2 00002e0d: PUSH1 0x01 00002e0f: ADD 00002e10: PUSH2 0x2df8 00002e13: JUMP 00002e14: JUMPDEST 00002e15: POP 00002e16: SWAP1 00002e17: SWAP7 00002e18: SWAP6 00002e19: POP 00002e1a: POP 00002e1b: POP 00002e1c: POP 00002e1d: POP 00002e1e: POP 00002e1f: JUMP 00002e20: JUMPDEST 00002e21: PUSH1 0x20 00002e23: DUP2 00002e24: MSTORE 00002e25: PUSH1 0x00 00002e27: PUSH2 0x29ea 00002e2a: PUSH1 0x20 00002e2c: DUP4 00002e2d: ADD 00002e2e: DUP5 00002e2f: PUSH2 0x2c32 00002e32: JUMP 00002e33: JUMPDEST 00002e34: PUSH1 0x20 00002e36: DUP1 00002e37: DUP3 00002e38: MSTORE 00002e39: PUSH1 0x32 00002e3b: SWAP1 00002e3c: DUP3 00002e3d: ADD 00002e3e: MSTORE 00002e3f: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002e60: PUSH1 0x40 00002e62: DUP3 00002e63: ADD 00002e64: MSTORE 00002e65: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9 00002e78: PUSH1 0x71 00002e7a: SHL 00002e7b: PUSH1 0x60 00002e7d: DUP3 00002e7e: ADD 00002e7f: MSTORE 00002e80: PUSH1 0x80 00002e82: ADD 00002e83: SWAP1 00002e84: JUMP 00002e85: JUMPDEST 00002e86: PUSH1 0x20 00002e88: DUP1 00002e89: DUP3 00002e8a: MSTORE 00002e8b: PUSH1 0x19 00002e8d: SWAP1 00002e8e: DUP3 00002e8f: ADD 00002e90: MSTORE 00002e91: PUSH32 0x47656e65736973206d696e74206973206e6f74206f7665722e00000000000000 00002eb2: PUSH1 0x40 00002eb4: DUP3 00002eb5: ADD 00002eb6: MSTORE 00002eb7: PUSH1 0x60 00002eb9: ADD 00002eba: SWAP1 00002ebb: JUMP 00002ebc: JUMPDEST 00002ebd: PUSH1 0x20 00002ebf: DUP1 00002ec0: DUP3 00002ec1: MSTORE 00002ec2: PUSH1 0x12 00002ec4: SWAP1 00002ec5: DUP3 00002ec6: ADD 00002ec7: MSTORE 00002ec8: PUSH18 0x2bb937b7339034b733b932b234b2b73a3997 00002edb: PUSH1 0x71 00002edd: SHL 00002ede: PUSH1 0x40 00002ee0: DUP3 00002ee1: ADD 00002ee2: MSTORE 00002ee3: PUSH1 0x60 00002ee5: ADD 00002ee6: SWAP1 00002ee7: JUMP 00002ee8: JUMPDEST 00002ee9: PUSH1 0x20 00002eeb: DUP1 00002eec: DUP3 00002eed: MSTORE 00002eee: DUP2 00002eef: DUP2 00002ef0: ADD 00002ef1: MSTORE 00002ef2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00002f13: PUSH1 0x40 00002f15: DUP3 00002f16: ADD 00002f17: MSTORE 00002f18: PUSH1 0x60 00002f1a: ADD 00002f1b: SWAP1 00002f1c: JUMP 00002f1d: JUMPDEST 00002f1e: PUSH1 0x20 00002f20: DUP1 00002f21: DUP3 00002f22: MSTORE 00002f23: PUSH1 0x10 00002f25: SWAP1 00002f26: DUP3 00002f27: ADD 00002f28: MSTORE 00002f29: PUSH16 0x2a3930b739b332b9103330b4b632b217 00002f3a: PUSH1 0x81 00002f3c: SHL 00002f3d: PUSH1 0x40 00002f3f: DUP3 00002f40: ADD 00002f41: MSTORE 00002f42: PUSH1 0x60 00002f44: ADD 00002f45: SWAP1 00002f46: JUMP 00002f47: JUMPDEST 00002f48: PUSH1 0x20 00002f4a: DUP1 00002f4b: DUP3 00002f4c: MSTORE 00002f4d: PUSH1 0x31 00002f4f: SWAP1 00002f50: DUP3 00002f51: ADD 00002f52: MSTORE 00002f53: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00002f74: PUSH1 0x40 00002f76: DUP3 00002f77: ADD 00002f78: MSTORE 00002f79: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959 00002f8b: PUSH1 0x7a 00002f8d: SHL 00002f8e: PUSH1 0x60 00002f90: DUP3 00002f91: ADD 00002f92: MSTORE 00002f93: PUSH1 0x80 00002f95: ADD 00002f96: SWAP1 00002f97: JUMP 00002f98: JUMPDEST 00002f99: PUSH1 0x20 00002f9b: DUP1 00002f9c: DUP3 00002f9d: MSTORE 00002f9e: PUSH1 0x1f 00002fa0: SWAP1 00002fa1: DUP3 00002fa2: ADD 00002fa3: MSTORE 00002fa4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00002fc5: PUSH1 0x40 00002fc7: DUP3 00002fc8: ADD 00002fc9: MSTORE 00002fca: PUSH1 0x60 00002fcc: ADD 00002fcd: SWAP1 00002fce: JUMP 00002fcf: JUMPDEST 00002fd0: PUSH1 0x00 00002fd2: DUP3 00002fd3: NOT 00002fd4: DUP3 00002fd5: GT 00002fd6: ISZERO 00002fd7: PUSH2 0x2fe2 00002fda: JUMPI 00002fdb: PUSH2 0x2fe2 00002fde: PUSH2 0x31b2 00002fe1: JUMP 00002fe2: JUMPDEST 00002fe3: POP 00002fe4: ADD 00002fe5: SWAP1 00002fe6: JUMP 00002fe7: JUMPDEST 00002fe8: PUSH1 0x00 00002fea: DUP3 00002feb: PUSH2 0x2ff6 00002fee: JUMPI 00002fef: PUSH2 0x2ff6 00002ff2: PUSH2 0x31c8 00002ff5: JUMP 00002ff6: JUMPDEST 00002ff7: POP 00002ff8: DIV 00002ff9: SWAP1 00002ffa: JUMP 00002ffb: JUMPDEST 00002ffc: PUSH1 0x01 00002ffe: DUP2 00002fff: DUP2 00003000: JUMPDEST 00003001: DUP1 00003002: DUP6 00003003: GT 00003004: ISZERO 00003005: PUSH2 0x3036 00003008: JUMPI 00003009: DUP2 0000300a: PUSH1 0x00 0000300c: NOT 0000300d: DIV 0000300e: DUP3 0000300f: GT 00003010: ISZERO 00003011: PUSH2 0x301c 00003014: JUMPI 00003015: PUSH2 0x301c 00003018: PUSH2 0x31b2 0000301b: JUMP 0000301c: JUMPDEST 0000301d: DUP1 0000301e: DUP6 0000301f: AND 00003020: ISZERO 00003021: PUSH2 0x3029 00003024: JUMPI 00003025: SWAP2 00003026: DUP2 00003027: MUL 00003028: SWAP2 00003029: JUMPDEST 0000302a: SWAP4 0000302b: DUP5 0000302c: SHR 0000302d: SWAP4 0000302e: SWAP1 0000302f: DUP1 00003030: MUL 00003031: SWAP1 00003032: PUSH2 0x3000 00003035: JUMP 00003036: JUMPDEST 00003037: POP 00003038: SWAP3 00003039: POP 0000303a: SWAP3 0000303b: SWAP1 0000303c: POP 0000303d: JUMP 0000303e: JUMPDEST 0000303f: PUSH1 0x00 00003041: PUSH2 0x29ea 00003044: DUP4 00003045: DUP4 00003046: PUSH1 0x00 00003048: DUP3 00003049: PUSH2 0x3054 0000304c: JUMPI 0000304d: POP 0000304e: PUSH1 0x01 00003050: PUSH2 0x07d5 00003053: JUMP 00003054: JUMPDEST 00003055: DUP2 00003056: PUSH2 0x3061 00003059: JUMPI 0000305a: POP 0000305b: PUSH1 0x00 0000305d: PUSH2 0x07d5 00003060: JUMP 00003061: JUMPDEST 00003062: DUP2 00003063: PUSH1 0x01 00003065: DUP2 00003066: EQ 00003067: PUSH2 0x3077 0000306a: JUMPI 0000306b: PUSH1 0x02 0000306d: DUP2 0000306e: EQ 0000306f: PUSH2 0x3081 00003072: JUMPI 00003073: PUSH2 0x309d 00003076: JUMP 00003077: JUMPDEST 00003078: PUSH1 0x01 0000307a: SWAP2 0000307b: POP 0000307c: POP 0000307d: PUSH2 0x07d5 00003080: JUMP 00003081: JUMPDEST 00003082: PUSH1 0xff 00003084: DUP5 00003085: GT 00003086: ISZERO 00003087: PUSH2 0x3092 0000308a: JUMPI 0000308b: PUSH2 0x3092 0000308e: PUSH2 0x31b2 00003091: JUMP 00003092: JUMPDEST 00003093: POP 00003094: POP 00003095: PUSH1 0x01 00003097: DUP3 00003098: SHL 00003099: PUSH2 0x07d5 0000309c: JUMP 0000309d: JUMPDEST 0000309e: POP 0000309f: PUSH1 0x20 000030a1: DUP4 000030a2: LT 000030a3: PUSH2 0x0133 000030a6: DUP4 000030a7: LT 000030a8: AND 000030a9: PUSH1 0x4e 000030ab: DUP5 000030ac: LT 000030ad: PUSH1 0x0b 000030af: DUP5 000030b0: LT 000030b1: AND 000030b2: OR 000030b3: ISZERO 000030b4: PUSH2 0x30c0 000030b7: JUMPI 000030b8: POP 000030b9: DUP2 000030ba: DUP2 000030bb: EXP 000030bc: PUSH2 0x07d5 000030bf: JUMP 000030c0: JUMPDEST 000030c1: PUSH2 0x30ca 000030c4: DUP4 000030c5: DUP4 000030c6: PUSH2 0x2ffb 000030c9: JUMP 000030ca: JUMPDEST 000030cb: DUP1 000030cc: PUSH1 0x00 000030ce: NOT 000030cf: DIV 000030d0: DUP3 000030d1: GT 000030d2: ISZERO 000030d3: PUSH2 0x30de 000030d6: JUMPI 000030d7: PUSH2 0x30de 000030da: PUSH2 0x31b2 000030dd: JUMP 000030de: JUMPDEST 000030df: MUL 000030e0: SWAP4 000030e1: SWAP3 000030e2: POP 000030e3: POP 000030e4: POP 000030e5: JUMP 000030e6: JUMPDEST 000030e7: PUSH1 0x00 000030e9: DUP2 000030ea: PUSH1 0x00 000030ec: NOT 000030ed: DIV 000030ee: DUP4 000030ef: GT 000030f0: DUP3 000030f1: ISZERO 000030f2: ISZERO 000030f3: AND 000030f4: ISZERO 000030f5: PUSH2 0x3100 000030f8: JUMPI 000030f9: PUSH2 0x3100 000030fc: PUSH2 0x31b2 000030ff: JUMP 00003100: JUMPDEST 00003101: POP 00003102: MUL 00003103: SWAP1 00003104: JUMP 00003105: JUMPDEST 00003106: PUSH1 0x00 00003108: DUP3 00003109: DUP3 0000310a: LT 0000310b: ISZERO 0000310c: PUSH2 0x3117 0000310f: JUMPI 00003110: PUSH2 0x3117 00003113: PUSH2 0x31b2 00003116: JUMP 00003117: JUMPDEST 00003118: POP 00003119: SUB 0000311a: SWAP1 0000311b: JUMP 0000311c: JUMPDEST 0000311d: PUSH1 0x00 0000311f: JUMPDEST 00003120: DUP4 00003121: DUP2 00003122: LT 00003123: ISZERO 00003124: PUSH2 0x3137 00003127: JUMPI 00003128: DUP2 00003129: DUP2 0000312a: ADD 0000312b: MLOAD 0000312c: DUP4 0000312d: DUP3 0000312e: ADD 0000312f: MSTORE 00003130: PUSH1 0x20 00003132: ADD 00003133: PUSH2 0x311f 00003136: JUMP 00003137: JUMPDEST 00003138: DUP4 00003139: DUP2 0000313a: GT 0000313b: ISZERO 0000313c: PUSH2 0x176d 0000313f: JUMPI 00003140: POP 00003141: POP 00003142: PUSH1 0x00 00003144: SWAP2 00003145: ADD 00003146: MSTORE 00003147: JUMP 00003148: JUMPDEST 00003149: PUSH1 0x01 0000314b: DUP2 0000314c: DUP2 0000314d: SHR 0000314e: SWAP1 0000314f: DUP3 00003150: AND 00003151: DUP1 00003152: PUSH2 0x315c 00003155: JUMPI 00003156: PUSH1 0x7f 00003158: DUP3 00003159: AND 0000315a: SWAP2 0000315b: POP 0000315c: JUMPDEST 0000315d: PUSH1 0x20 0000315f: DUP3 00003160: LT 00003161: DUP2 00003162: EQ 00003163: ISZERO 00003164: PUSH2 0x317d 00003167: JUMPI 00003168: PUSH4 0x4e487b71 0000316d: PUSH1 0xe0 0000316f: SHL 00003170: PUSH1 0x00 00003172: MSTORE 00003173: PUSH1 0x22 00003175: PUSH1 0x04 00003177: MSTORE 00003178: PUSH1 0x24 0000317a: PUSH1 0x00 0000317c: REVERT 0000317d: JUMPDEST 0000317e: POP 0000317f: SWAP2 00003180: SWAP1 00003181: POP 00003182: JUMP 00003183: JUMPDEST 00003184: PUSH1 0x00 00003186: PUSH1 0x00 00003188: NOT 00003189: DUP3 0000318a: EQ 0000318b: ISZERO 0000318c: PUSH2 0x3197 0000318f: JUMPI 00003190: PUSH2 0x3197 00003193: PUSH2 0x31b2 00003196: JUMP 00003197: JUMPDEST 00003198: POP 00003199: PUSH1 0x01 0000319b: ADD 0000319c: SWAP1 0000319d: JUMP 0000319e: JUMPDEST 0000319f: PUSH1 0x00 000031a1: DUP3 000031a2: PUSH2 0x31ad 000031a5: JUMPI 000031a6: PUSH2 0x31ad 000031a9: PUSH2 0x31c8 000031ac: JUMP 000031ad: JUMPDEST 000031ae: POP 000031af: MOD 000031b0: SWAP1 000031b1: JUMP 000031b2: JUMPDEST 000031b3: PUSH4 0x4e487b71 000031b8: PUSH1 0xe0 000031ba: SHL 000031bb: PUSH1 0x00 000031bd: MSTORE 000031be: PUSH1 0x11 000031c0: PUSH1 0x04 000031c2: MSTORE 000031c3: PUSH1 0x24 000031c5: PUSH1 0x00 000031c7: REVERT 000031c8: JUMPDEST 000031c9: PUSH4 0x4e487b71 000031ce: PUSH1 0xe0 000031d0: SHL 000031d1: PUSH1 0x00 000031d3: MSTORE 000031d4: PUSH1 0x12 000031d6: PUSH1 0x04 000031d8: MSTORE 000031d9: PUSH1 0x24 000031db: PUSH1 0x00 000031dd: REVERT 000031de: JUMPDEST 000031df: PUSH4 0x4e487b71 000031e4: PUSH1 0xe0 000031e6: SHL 000031e7: PUSH1 0x00 000031e9: MSTORE 000031ea: PUSH1 0x41 000031ec: PUSH1 0x04 000031ee: MSTORE 000031ef: PUSH1 0x24 000031f1: PUSH1 0x00 000031f3: REVERT 000031f4: JUMPDEST 000031f5: PUSH1 0x01 000031f7: PUSH1 0x01 000031f9: PUSH1 0xe0 000031fb: SHL 000031fc: SUB 000031fd: NOT 000031fe: DUP2 000031ff: AND 00003200: DUP2 00003201: EQ 00003202: PUSH2 0x0df4 00003205: JUMPI 00003206: PUSH1 0x00 00003208: DUP1 00003209: REVERT 0000320a: INVALID 0000320b: COINBASE 0000320c: TIMESTAMP 0000320d: NUMBER 0000320e: DIFFICULTY 0000320f: GASLIMIT 00003210: CHAINID 00003211: SELFBALANCE 00003212: BASEFEE 00003213: BLOBHASH 00003214: BLOBBASEFEE 00003215: UNKNOWN(0x4B) 00003216: UNKNOWN(0x4C) 00003217: UNKNOWN(0x4D) 00003218: UNKNOWN(0x4E) 00003219: UNKNOWN(0x4F) 0000321a: POP 0000321b: MLOAD 0000321c: MSTORE 0000321d: MSTORE8 0000321e: SLOAD 0000321f: SSTORE 00003220: JUMP 00003221: JUMPI 00003222: PC 00003223: MSIZE 00003224: GAS 00003225: PUSH2 0x6263 00003228: PUSH5 0x6566676869 0000322e: PUSH11 0x6b6c6d6e6f707172737475 0000323a: PUSH23 0x7778797a303132333435363738392b2f3c73766720786d 00003252: PUSH13 0x6e733d22687474703a2f2f7777 00003260: PUSH24 0x2e77332e6f72672f323030302f7376672220707265736572 00003279: PUSH23 0x65417370656374526174696f3d22784d696e594d696e20 00003291: PUSH14 0x656574222076696577426f783d22 000032a0: ADDRESS 000032a1: KECCAK256 000032a2: ADDRESS 000032a3: KECCAK256 000032a4: CALLER 000032a5: CALLDATALOAD 000032a6: ADDRESS 000032a7: KECCAK256 000032a8: CALLER 000032a9: CALLDATALOAD 000032aa: ADDRESS 000032ab: UNKNOWN(0x22) 000032ac: RETURNDATACOPY 000032ad: EXTCODECOPY 000032ae: PUSH20 0x74796c653e2e62617365207b2066696c6c3a2062 000032c3: PUSH13 0x61636b3b20666f6e742d66616d 000032d1: PUSH10 0x6c793a2073616e732d73 000032dc: PUSH6 0x7269663b2066 000032e3: PUSH16 0x6e742d73697a653a20333370783b207d 000032f4: EXTCODECOPY 000032f5: UNKNOWN(0x2F) 000032f6: PUSH20 0x74796c653e3c726563742077696474683d223130 0000330b: ADDRESS 0000330c: UNKNOWN(0x25) 0000330d: UNKNOWN(0x22) 0000330e: KECCAK256 0000330f: PUSH9 0x65696768743d223130 00003319: ADDRESS 0000331a: UNKNOWN(0x25) 0000331b: UNKNOWN(0x22) 0000331c: KECCAK256 0000331d: PUSH7 0x696c6c3d227768 00003325: PUSH10 0x746522202f3e3c746578 00003330: PUSH21 0x20783d223530252220793d223530252220646f6d69 00003346: PUSH15 0x616e742d626173656c696e653d226d 00003356: PUSH10 0x64646c65222074657874 00003361: UNKNOWN(0x2D) 00003362: PUSH2 0x6e63 00003365: PUSH9 0x6f723d226d6964646c 0000336f: PUSH6 0x2220636c6173 00003376: PUSH20 0x3d2262617365223ea2646970667358221220348a 0000338b: PUSH27 0xd0172043411cb088ea42312c351742f1d0c17327a6ad86e9b9cce5 000033a7: MLOAD 000033a8: CREATE 000033a9: PUSH5 0x736f6c6343 000033af: STOP 000033b0: ADDMOD 000033b1: DIV 000033b2: STOP 000033b3: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | codex | Approved operator can burn someone else’s NFT and steal the ETH backing | 85 | no | — |
viewevidence_json{
"evidence": "claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.",
"locations": [
"contracts/Numba.sol:184",
"contracts/Numba.sol:186",
"contracts/Numba.sol:187"
],
"recommendation": "Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.",
"exploit_scenario": "A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user\u2019s NFT."
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72
call_targets:
0xc315c1982efab100b4a3eca4035567358f85bbb2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc315c1982efab100b4a3eca4035567358f85bbb2"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd30f8fc0",
"selector": "0xd30f8fc0",
"calldata_variants": [
"0xd30f8fc0",
"0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd7edffa",
"selector": "0xdd7edffa",
"calldata_variants": [
"0xdd7edffa",
"0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff63243",
"selector": "0xdff63243",
"calldata_variants": [
"0xdff63243",
"0xdff632430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21f37ce",
"selector": "0xe21f37ce",
"calldata_variants": [
"0xe21f37ce",
"0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc62c1b97",
"selector": "0xc62c1b97",
"calldata_variants": [
"0xc62c1b97",
"0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2829,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4790,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5852,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72
call_targets:
0xc315c1982efab100b4a3eca4035567358f85bbb2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc315c1982efab100b4a3eca4035567358f85bbb2"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd30f8fc0",
"selector": "0xd30f8fc0",
"calldata_variants": [
"0xd30f8fc0",
"0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd7edffa",
"selector": "0xdd7edffa",
"calldata_variants": [
"0xdd7edffa",
"0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff63243",
"selector": "0xdff63243",
"calldata_variants": [
"0xdff63243",
"0xdff632430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21f37ce",
"selector": "0xe21f37ce",
"calldata_variants": [
"0xe21f37ce",
"0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc62c1b97",
"selector": "0xc62c1b97",
"calldata_variants": [
"0xc62c1b97",
"0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2829,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4790,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5852,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x022aa41f22faf0218cd47166a3f94acf892e338eb3cda74659856f4023e61f4e
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x022aa41f22faf0218cd47166a3f94acf892e338eb3cda74659856f4023e61f4e",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd30f8fc0",
"selector": "0xd30f8fc0",
"calldata_variants": [
"0xd30f8fc0",
"0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd7edffa",
"selector": "0xdd7edffa",
"calldata_variants": [
"0xdd7edffa",
"0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdff63243",
"selector": "0xdff63243",
"calldata_variants": [
"0xdff63243",
"0xdff632430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe21f37ce",
"selector": "0xe21f37ce",
"calldata_variants": [
"0xe21f37ce",
"0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb88d4fde",
"selector": "0xb88d4fde",
"calldata_variants": [
"0xb88d4fde",
"0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc62c1b97",
"selector": "0xc62c1b97",
"calldata_variants": [
"0xc62c1b97",
"0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 1,
"create2_count": 0
}
|
| low | oracle | codex | Predictable/malleable randomness for genesis token assignment | 65 | no | — |
viewevidence_json{
"evidence": "randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.",
"locations": [
"contracts/Numba.sol:57",
"contracts/Numba.sol:60",
"contracts/Numba.sol:64",
"contracts/Numba.sol:65"
],
"recommendation": "Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.",
"exploit_scenario": "Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID."
}
|