019c0ea9-09a9-73f4-811c-8ba88e5365e8
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 |
|---|---|---|---|---|
| 42138 | artifact.fetch | complete | 1 / 3 | 2 months ago |
| 42139 | proxy.resolve | complete | 1 / 3 | 2 months ago |
| 42140 | tool.cast_disasm | complete | 1 / 3 | 2 months ago |
| 42141 | analysis.bundle | complete | 1 / 3 | 2 months ago |
| 42142 | capability.graph | complete | 1 / 3 | 2 months ago |
| 42143 | detector.run | complete | 1 / 3 | 2 months ago |
| 42144 | validation.fork | complete | 1 / 3 | 2 months ago |
| 42463 | report.consolidate | complete | 1 / 6 | 2 months ago |
| 42464 | tool.slither | failed | 2 / 2 | 2 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-crb98u_5)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-crb98u_5)
'forge' returned non-zero exit code 1
[2m2026-01-30T16:57:31.836104Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/tmp/slither-crb98u_5/lib/openzeppelin-contracts/contracts/token/ERC20/ERC20Burnable.sol": No such file or directory (os error 2)
stdout: [2m2026-01-30T16:57:31.836155Z[0m [31mERROR[0m [2mfoundry_compilers_artifacts_solc::sources[0m[2m:[0m [3merror[0m[2m=[0m"/tmp/slither-crb98u_5/lib/openzeppelin-contracts/contracts/math/SafeMath.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout: "@openzeppelin/contracts/token/ERC20/ERC20Burnable.sol" in "/tmp/slither-crb98u_5/contracts/BondingNOM.sol"
stdout: "@openzeppelin/contracts/math/SafeMath.sol" in "/tmp/slither-crb98u_5/contracts/BondingNOM.sol"
stdout: with remappings:
stdout: openzeppelin-contracts/=/tmp/slither-crb98u_5/lib/openzeppelin-contracts/
stdout: @openzeppelin/contracts/=/tmp/slither-crb98u_5/lib/openzeppelin-contracts/contracts/
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/access/Ownable.sol: No solc version exists that matches the version requirement: ^0.8.20
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-crb98u_5/out/build-info is not a directory.
{"no_findings":false,"summary":"Unchecked ERC20 transfer results can desynchronize bonding-curve accounting, potentially causing users to lose funds or allowing ETH payouts without receiving tokens if the NOM token is non‑standard.","findings":[{"severity":"medium","category":"other","title":"Unchecked ERC20 transfer/transferFrom return values can desync accounting","exploit_scenario":"If the NOM token returns false instead of reverting (or is otherwise non‑standard), `buyNOM` will accept ETH, update supply/pricing, and emit events even though `transfer` failed, so buyers lose ETH without receiving tokens. In `sellNOM`, `transferFrom` can fail silently and the contract still decreases `supplyNOM` and pays out ETH, enabling ETH to be drained without delivering tokens.","recommendation":"Use OpenZeppelin SafeERC20 (`safeTransfer`, `safeTransferFrom`) or explicitly `require` the boolean return values to ensure token transfers succeeded before updating state or sending ETH.","evidence":"`nc.transfer(...)` and `nc.transferFrom(...)` return values are ignored.","locations":["contracts/BondingNOM.sol:279","contracts/BondingNOM.sol:325"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-j90of_yi
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0f8c-d824-78c0-9f5b-1f94a30d47cf
--------
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
exec
/bin/bash -lc ls in /tmp/codex-j90of_yi succeeded in 6ms:
abdk-libraries-solidity
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-j90of_yi 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: abdk-libraries-solidity/ABDKMath64x64.sol
================================================================================
// SPDX-License-Identifier: BSD-4-Clause
/*
* ABDK Math 64.64 Smart Contract Library. Copyright © 2019 by ABDK Consulting.
* Author: Mikhail Vladimirov <mikhail.vladimirov@gmail.com>
*/
pragma solidity ^0.5.0 || ^0.6.0 || ^0.7.0;
/**
* Smart contract library of mathematical functions operating with signed
* 64.64-bit fixed point numbers. Signed 64.64-bit fixed point number is
* basically a simple fraction whose numerator is signed 128-bit integer and
* denominator is 2^64. As long as denominator is always the same, there is no
* need to store it, thus in Solidity signed 64.64-bit fixed point numbers are
* represented by int128 type holding only the numerator.
exec
/bin/bash -lc 'nl -ba contracts/BondingNOM.sol' in /tmp/codex-j90of_yi succeeded in 8ms:
1 // SPDX-License-Identifier: MIT
2 pragma solidity 0.7.6;
3
4 import "@openzeppelin/contracts/token/ERC20/ERC20Burnable.sol";
5 import "@openzeppelin/contracts/math/SafeMath.sol";
6 import "@openzeppelin/contracts/access/Ownable.sol";
7 import "abdk-libraries-solidity/ABDKMath64x64.sol";
8
9 interface ERC20Token {
10 function allowance(address, address) external returns (uint256);
11 function balanceOf(address) external returns (uint256);
12 function totalSupply() external view returns (uint256);
13 function transferFrom(address, address, uint256) external returns (bool);
14 function transfer(address, uint256) external returns (bool);
15 }
16
17 /// @title bNOM Bonding Contract
18 contract BondingNOM is Ownable {
19 ERC20Token nc;
20 using SafeMath for uint256;
codex
{"no_findings":false,"summary":"Unchecked ERC20 transfer results can desynchronize bonding-curve accounting, potentially causing users to lose funds or allowing ETH payouts without receiving tokens if the NOM token is non‑standard.","findings":[{"severity":"medium","category":"other","title":"Unchecked ERC20 transfer/transferFrom return values can desync accounting","exploit_scenario":"If the NOM token returns false instead of reverting (or is otherwise non‑standard), `buyNOM` will accept ETH, update supply/pricing, and emit events even though `transfer` failed, so buyers lose ETH without receiving tokens. In `sellNOM`, `transferFrom` can fail silently and the contract still decreases `supplyNOM` and pays out ETH, enabling ETH to be drained without delivering tokens.","recommendation":"Use OpenZeppelin SafeERC20 (`safeTransfer`, `safeTransferFrom`) or explicitly `require` the boolean return values to ensure token transfers succeeded before updating state or sending ETH.","evidence":"`nc.transfer(...)` and `nc.transferFrom(...)` return values are ignored.","locations":["contracts/BondingNOM.sol:279","contracts/BondingNOM.sol:325"]}]}
tokens used
29,758
{
"codex": {
"ran_at": "2026-01-30T15:40:08.506089+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 8,
"import_count": 9,
"first_party_contracts_count": 2
},
"summary": "Unchecked ERC20 transfer results can desynchronize bonding-curve accounting, potentially causing users to lose funds or allowing ETH payouts without receiving tokens if the NOM token is non\u2011standard.",
"raw_final": {
"summary": "Unchecked ERC20 transfer results can desynchronize bonding-curve accounting, potentially causing users to lose funds or allowing ETH payouts without receiving tokens if the NOM token is non\u2011standard.",
"findings": [
{
"title": "Unchecked ERC20 transfer/transferFrom return values can desync accounting",
"category": "other",
"evidence": "`nc.transfer(...)` and `nc.transferFrom(...)` return values are ignored.",
"severity": "medium",
"locations": [
"contracts/BondingNOM.sol:279",
"contracts/BondingNOM.sol:325"
],
"recommendation": "Use OpenZeppelin SafeERC20 (`safeTransfer`, `safeTransferFrom`) or explicitly `require` the boolean return values to ensure token transfers succeeded before updating state or sending ETH.",
"exploit_scenario": "If the NOM token returns false instead of reverting (or is otherwise non\u2011standard), `buyNOM` will accept ETH, update supply/pricing, and emit events even though `transfer` failed, so buyers lose ETH without receiving tokens. In `sellNOM`, `transferFrom` can fail silently and the contract still decreases `supplyNOM` and pays out ETH, enabling ETH to be drained without delivering tokens."
}
],
"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 0x01b6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x59eaced0 00000019: GT 0000001a: PUSH2 0x00ec 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8e117f6d 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdaff394a 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdaff394a 0000003a: EQ 0000003b: PUSH2 0x0721 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xeb208d6f 00000045: EQ 00000046: PUSH2 0x0770 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x07b2 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa83cb58 0000005b: EQ 0000005c: PUSH2 0x0803 0000005f: JUMPI 00000060: PUSH2 0x01b6 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8e117f6d 0000006b: EQ 0000006c: PUSH2 0x0672 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xafea5852 00000076: EQ 00000077: PUSH2 0x069d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbc0f023c 00000081: EQ 00000082: PUSH2 0x06f6 00000085: JUMPI 00000086: PUSH2 0x01b6 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x7eda9347 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x7eda9347 0000009c: EQ 0000009d: PUSH2 0x05c4 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x89e85217 000000a7: EQ 000000a8: PUSH2 0x05ef 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8a8c523c 000000b2: EQ 000000b3: PUSH2 0x061a 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x0631 000000c1: JUMPI 000000c2: PUSH2 0x01b6 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x59eaced0 000000cd: EQ 000000ce: PUSH2 0x051d 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x715018a6 000000d8: EQ 000000d9: PUSH2 0x055e 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x7abe7448 000000e3: EQ 000000e4: PUSH2 0x0575 000000e7: JUMPI 000000e8: PUSH2 0x01b6 000000eb: JUMP 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x313ce567 000000f3: GT 000000f4: PUSH2 0x0159 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x3ccfd60b 000000fe: GT 000000ff: PUSH2 0x0133 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x3ccfd60b 00000109: EQ 0000010a: PUSH2 0x0446 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4477392b 00000114: EQ 00000115: PUSH2 0x0473 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x4ada218b 0000011f: EQ 00000120: PUSH2 0x049e 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x5700f200 0000012a: EQ 0000012b: PUSH2 0x04cb 0000012e: JUMPI 0000012f: PUSH2 0x01b6 00000132: JUMP 00000133: JUMPDEST 00000134: DUP1 00000135: PUSH4 0x313ce567 0000013a: EQ 0000013b: PUSH2 0x03ac 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x3542a097 00000145: EQ 00000146: PUSH2 0x03da 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x3c4df4fc 00000150: EQ 00000151: PUSH2 0x041b 00000154: JUMPI 00000155: PUSH2 0x01b6 00000158: JUMP 00000159: JUMPDEST 0000015a: DUP1 0000015b: PUSH4 0x0dbe671f 00000160: GT 00000161: PUSH2 0x0195 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x0dbe671f 0000016b: EQ 0000016c: PUSH2 0x0291 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x25572aa4 00000176: EQ 00000177: PUSH2 0x02bc 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x28904475 00000181: EQ 00000182: PUSH2 0x030b 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x29b57f88 0000018c: EQ 0000018d: PUSH2 0x035a 00000190: JUMPI 00000191: PUSH2 0x01b6 00000194: JUMP 00000195: JUMPDEST 00000196: DUP1 00000197: PUSH3 0x7f39c7 0000019b: EQ 0000019c: PUSH2 0x01bb 0000019f: JUMPI 000001a0: DUP1 000001a1: PUSH4 0x02689ad6 000001a6: EQ 000001a7: PUSH2 0x020a 000001aa: JUMPI 000001ab: DUP1 000001ac: PUSH4 0x080d1f82 000001b1: EQ 000001b2: PUSH2 0x0259 000001b5: JUMPI 000001b6: JUMPDEST 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: CALLVALUE 000001bd: DUP1 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: PUSH2 0x01f4 000001cc: PUSH1 0x04 000001ce: DUP1 000001cf: CALLDATASIZE 000001d0: SUB 000001d1: PUSH1 0x20 000001d3: DUP2 000001d4: LT 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: DUP2 000001e0: ADD 000001e1: SWAP1 000001e2: DUP1 000001e3: DUP1 000001e4: CALLDATALOAD 000001e5: SWAP1 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP1 000001ea: SWAP3 000001eb: SWAP2 000001ec: SWAP1 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: PUSH2 0x0830 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: DUP1 000001f9: DUP3 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH1 0x20 000001fe: ADD 000001ff: SWAP2 00000200: POP 00000201: POP 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x0243 0000021b: PUSH1 0x04 0000021d: DUP1 0000021e: CALLDATASIZE 0000021f: SUB 00000220: PUSH1 0x20 00000222: DUP2 00000223: LT 00000224: ISZERO 00000225: PUSH2 0x022d 00000228: JUMPI 00000229: PUSH1 0x00 0000022b: DUP1 0000022c: REVERT 0000022d: JUMPDEST 0000022e: DUP2 0000022f: ADD 00000230: SWAP1 00000231: DUP1 00000232: DUP1 00000233: CALLDATALOAD 00000234: SWAP1 00000235: PUSH1 0x20 00000237: ADD 00000238: SWAP1 00000239: SWAP3 0000023a: SWAP2 0000023b: SWAP1 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: PUSH2 0x09ff 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: MLOAD 00000247: DUP1 00000248: DUP3 00000249: DUP2 0000024a: MSTORE 0000024b: PUSH1 0x20 0000024d: ADD 0000024e: SWAP2 0000024f: POP 00000250: POP 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: SWAP2 00000256: SUB 00000257: SWAP1 00000258: RETURN 00000259: JUMPDEST 0000025a: PUSH2 0x028f 0000025d: PUSH1 0x04 0000025f: DUP1 00000260: CALLDATASIZE 00000261: SUB 00000262: PUSH1 0x40 00000264: DUP2 00000265: LT 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: DUP2 00000271: ADD 00000272: SWAP1 00000273: DUP1 00000274: DUP1 00000275: CALLDATALOAD 00000276: SWAP1 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP1 0000027b: SWAP3 0000027c: SWAP2 0000027d: SWAP1 0000027e: DUP1 0000027f: CALLDATALOAD 00000280: SWAP1 00000281: PUSH1 0x20 00000283: ADD 00000284: SWAP1 00000285: SWAP3 00000286: SWAP2 00000287: SWAP1 00000288: POP 00000289: POP 0000028a: POP 0000028b: PUSH2 0x0acf 0000028e: JUMP 0000028f: JUMPDEST 00000290: STOP 00000291: JUMPDEST 00000292: CALLVALUE 00000293: DUP1 00000294: ISZERO 00000295: PUSH2 0x029d 00000298: JUMPI 00000299: PUSH1 0x00 0000029b: DUP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: POP 0000029f: PUSH2 0x02a6 000002a2: PUSH2 0x0e8f 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: DUP3 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x20 000002b0: ADD 000002b1: SWAP2 000002b2: POP 000002b3: POP 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: SWAP2 000002b9: SUB 000002ba: SWAP1 000002bb: RETURN 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x02f5 000002cd: PUSH1 0x04 000002cf: DUP1 000002d0: CALLDATASIZE 000002d1: SUB 000002d2: PUSH1 0x20 000002d4: DUP2 000002d5: LT 000002d6: ISZERO 000002d7: PUSH2 0x02df 000002da: JUMPI 000002db: PUSH1 0x00 000002dd: DUP1 000002de: REVERT 000002df: JUMPDEST 000002e0: DUP2 000002e1: ADD 000002e2: SWAP1 000002e3: DUP1 000002e4: DUP1 000002e5: CALLDATALOAD 000002e6: SWAP1 000002e7: PUSH1 0x20 000002e9: ADD 000002ea: SWAP1 000002eb: SWAP3 000002ec: SWAP2 000002ed: SWAP1 000002ee: POP 000002ef: POP 000002f0: POP 000002f1: PUSH2 0x0e95 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: DUP1 000002fa: DUP3 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x20 000002ff: ADD 00000300: SWAP2 00000301: POP 00000302: POP 00000303: PUSH1 0x40 00000305: MLOAD 00000306: DUP1 00000307: SWAP2 00000308: SUB 00000309: SWAP1 0000030a: RETURN 0000030b: JUMPDEST 0000030c: CALLVALUE 0000030d: DUP1 0000030e: ISZERO 0000030f: PUSH2 0x0317 00000312: JUMPI 00000313: PUSH1 0x00 00000315: DUP1 00000316: REVERT 00000317: JUMPDEST 00000318: POP 00000319: PUSH2 0x0344 0000031c: PUSH1 0x04 0000031e: DUP1 0000031f: CALLDATASIZE 00000320: SUB 00000321: PUSH1 0x20 00000323: DUP2 00000324: LT 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: DUP2 00000330: ADD 00000331: SWAP1 00000332: DUP1 00000333: DUP1 00000334: CALLDATALOAD 00000335: SWAP1 00000336: PUSH1 0x20 00000338: ADD 00000339: SWAP1 0000033a: SWAP3 0000033b: SWAP2 0000033c: SWAP1 0000033d: POP 0000033e: POP 0000033f: POP 00000340: PUSH2 0x0f3d 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH1 0x40 00000347: MLOAD 00000348: DUP1 00000349: DUP3 0000034a: DUP2 0000034b: MSTORE 0000034c: PUSH1 0x20 0000034e: ADD 0000034f: SWAP2 00000350: POP 00000351: POP 00000352: PUSH1 0x40 00000354: MLOAD 00000355: DUP1 00000356: SWAP2 00000357: SUB 00000358: SWAP1 00000359: RETURN 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH2 0x0393 0000036b: PUSH1 0x04 0000036d: DUP1 0000036e: CALLDATASIZE 0000036f: SUB 00000370: PUSH1 0x20 00000372: DUP2 00000373: LT 00000374: ISZERO 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: DUP2 0000037f: ADD 00000380: SWAP1 00000381: DUP1 00000382: DUP1 00000383: CALLDATALOAD 00000384: SWAP1 00000385: PUSH1 0x20 00000387: ADD 00000388: SWAP1 00000389: SWAP3 0000038a: SWAP2 0000038b: SWAP1 0000038c: POP 0000038d: POP 0000038e: POP 0000038f: PUSH2 0x1018 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH1 0x40 00000396: MLOAD 00000397: DUP1 00000398: DUP3 00000399: PUSH1 0x0f 0000039b: SIGNEXTEND 0000039c: DUP2 0000039d: MSTORE 0000039e: PUSH1 0x20 000003a0: ADD 000003a1: SWAP2 000003a2: POP 000003a3: POP 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: DUP1 000003a8: SWAP2 000003a9: SUB 000003aa: SWAP1 000003ab: RETURN 000003ac: JUMPDEST 000003ad: CALLVALUE 000003ae: DUP1 000003af: ISZERO 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: POP 000003ba: PUSH2 0x03c1 000003bd: PUSH2 0x1040 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: DUP1 000003c6: DUP3 000003c7: PUSH1 0xff 000003c9: AND 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x20 000003ce: ADD 000003cf: SWAP2 000003d0: POP 000003d1: POP 000003d2: PUSH1 0x40 000003d4: MLOAD 000003d5: DUP1 000003d6: SWAP2 000003d7: SUB 000003d8: SWAP1 000003d9: RETURN 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x03ef 000003eb: PUSH2 0x1053 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x40 000003f2: MLOAD 000003f3: DUP1 000003f4: DUP3 000003f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040a: AND 0000040b: DUP2 0000040c: MSTORE 0000040d: PUSH1 0x20 0000040f: ADD 00000410: SWAP2 00000411: POP 00000412: POP 00000413: PUSH1 0x40 00000415: MLOAD 00000416: DUP1 00000417: SWAP2 00000418: SUB 00000419: SWAP1 0000041a: RETURN 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x0430 0000042c: PUSH2 0x1079 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x40 00000433: MLOAD 00000434: DUP1 00000435: DUP3 00000436: DUP2 00000437: MSTORE 00000438: PUSH1 0x20 0000043a: ADD 0000043b: SWAP2 0000043c: POP 0000043d: POP 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: SWAP2 00000443: SUB 00000444: SWAP1 00000445: RETURN 00000446: JUMPDEST 00000447: CALLVALUE 00000448: DUP1 00000449: ISZERO 0000044a: PUSH2 0x0452 0000044d: JUMPI 0000044e: PUSH1 0x00 00000450: DUP1 00000451: REVERT 00000452: JUMPDEST 00000453: POP 00000454: PUSH2 0x045b 00000457: PUSH2 0x107f 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH1 0x40 0000045e: MLOAD 0000045f: DUP1 00000460: DUP3 00000461: ISZERO 00000462: ISZERO 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x20 00000467: ADD 00000468: SWAP2 00000469: POP 0000046a: POP 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: SWAP2 00000470: SUB 00000471: SWAP1 00000472: RETURN 00000473: JUMPDEST 00000474: CALLVALUE 00000475: DUP1 00000476: ISZERO 00000477: PUSH2 0x047f 0000047a: JUMPI 0000047b: PUSH1 0x00 0000047d: DUP1 0000047e: REVERT 0000047f: JUMPDEST 00000480: POP 00000481: PUSH2 0x0488 00000484: PUSH2 0x120a 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: DUP3 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x20 00000492: ADD 00000493: SWAP2 00000494: POP 00000495: POP 00000496: PUSH1 0x40 00000498: MLOAD 00000499: DUP1 0000049a: SWAP2 0000049b: SUB 0000049c: SWAP1 0000049d: RETURN 0000049e: JUMPDEST 0000049f: CALLVALUE 000004a0: DUP1 000004a1: ISZERO 000004a2: PUSH2 0x04aa 000004a5: JUMPI 000004a6: PUSH1 0x00 000004a8: DUP1 000004a9: REVERT 000004aa: JUMPDEST 000004ab: POP 000004ac: PUSH2 0x04b3 000004af: PUSH2 0x12c8 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: DUP3 000004b9: ISZERO 000004ba: ISZERO 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: SWAP2 000004c1: POP 000004c2: POP 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: DUP1 000004c7: SWAP2 000004c8: SUB 000004c9: SWAP1 000004ca: RETURN 000004cb: JUMPDEST 000004cc: CALLVALUE 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH2 0x0507 000004dc: PUSH1 0x04 000004de: DUP1 000004df: CALLDATASIZE 000004e0: SUB 000004e1: PUSH1 0x20 000004e3: DUP2 000004e4: LT 000004e5: ISZERO 000004e6: PUSH2 0x04ee 000004e9: JUMPI 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: DUP2 000004f0: ADD 000004f1: SWAP1 000004f2: DUP1 000004f3: DUP1 000004f4: CALLDATALOAD 000004f5: PUSH1 0x0f 000004f7: SIGNEXTEND 000004f8: SWAP1 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: SWAP1 000004fd: SWAP3 000004fe: SWAP2 000004ff: SWAP1 00000500: POP 00000501: POP 00000502: POP 00000503: PUSH2 0x12db 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: DUP1 0000050c: DUP3 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x20 00000511: ADD 00000512: SWAP2 00000513: POP 00000514: POP 00000515: PUSH1 0x40 00000517: MLOAD 00000518: DUP1 00000519: SWAP2 0000051a: SUB 0000051b: SWAP1 0000051c: RETURN 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: PUSH2 0x0532 0000052e: PUSH2 0x1303 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x40 00000535: MLOAD 00000536: DUP1 00000537: DUP3 00000538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054d: AND 0000054e: DUP2 0000054f: MSTORE 00000550: PUSH1 0x20 00000552: ADD 00000553: SWAP2 00000554: POP 00000555: POP 00000556: PUSH1 0x40 00000558: MLOAD 00000559: DUP1 0000055a: SWAP2 0000055b: SUB 0000055c: SWAP1 0000055d: RETURN 0000055e: JUMPDEST 0000055f: CALLVALUE 00000560: DUP1 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH2 0x0573 0000056f: PUSH2 0x132d 00000572: JUMP 00000573: JUMPDEST 00000574: STOP 00000575: JUMPDEST 00000576: CALLVALUE 00000577: DUP1 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: PUSH2 0x05ae 00000586: PUSH1 0x04 00000588: DUP1 00000589: CALLDATASIZE 0000058a: SUB 0000058b: PUSH1 0x20 0000058d: DUP2 0000058e: LT 0000058f: ISZERO 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH1 0x00 00000596: DUP1 00000597: REVERT 00000598: JUMPDEST 00000599: DUP2 0000059a: ADD 0000059b: SWAP1 0000059c: DUP1 0000059d: DUP1 0000059e: CALLDATALOAD 0000059f: SWAP1 000005a0: PUSH1 0x20 000005a2: ADD 000005a3: SWAP1 000005a4: SWAP3 000005a5: SWAP2 000005a6: SWAP1 000005a7: POP 000005a8: POP 000005a9: POP 000005aa: PUSH2 0x149a 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH1 0x40 000005b1: MLOAD 000005b2: DUP1 000005b3: DUP3 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: SWAP2 000005ba: POP 000005bb: POP 000005bc: PUSH1 0x40 000005be: MLOAD 000005bf: DUP1 000005c0: SWAP2 000005c1: SUB 000005c2: SWAP1 000005c3: RETURN 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: POP 000005d2: PUSH2 0x05d9 000005d5: PUSH2 0x15d2 000005d8: JUMP 000005d9: JUMPDEST 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: DUP3 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x20 000005e3: ADD 000005e4: SWAP2 000005e5: POP 000005e6: POP 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: DUP1 000005eb: SWAP2 000005ec: SUB 000005ed: SWAP1 000005ee: RETURN 000005ef: JUMPDEST 000005f0: CALLVALUE 000005f1: DUP1 000005f2: ISZERO 000005f3: PUSH2 0x05fb 000005f6: JUMPI 000005f7: PUSH1 0x00 000005f9: DUP1 000005fa: REVERT 000005fb: JUMPDEST 000005fc: POP 000005fd: PUSH2 0x0604 00000600: PUSH2 0x15d8 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH1 0x40 00000607: MLOAD 00000608: DUP1 00000609: DUP3 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x20 0000060e: ADD 0000060f: SWAP2 00000610: POP 00000611: POP 00000612: PUSH1 0x40 00000614: MLOAD 00000615: DUP1 00000616: SWAP2 00000617: SUB 00000618: SWAP1 00000619: RETURN 0000061a: JUMPDEST 0000061b: CALLVALUE 0000061c: DUP1 0000061d: ISZERO 0000061e: PUSH2 0x0626 00000621: JUMPI 00000622: PUSH1 0x00 00000624: DUP1 00000625: REVERT 00000626: JUMPDEST 00000627: POP 00000628: PUSH2 0x062f 0000062b: PUSH2 0x161d 0000062e: JUMP 0000062f: JUMPDEST 00000630: STOP 00000631: JUMPDEST 00000632: CALLVALUE 00000633: DUP1 00000634: ISZERO 00000635: PUSH2 0x063d 00000638: JUMPI 00000639: PUSH1 0x00 0000063b: DUP1 0000063c: REVERT 0000063d: JUMPDEST 0000063e: POP 0000063f: PUSH2 0x0646 00000642: PUSH2 0x16e9 00000645: JUMP 00000646: JUMPDEST 00000647: PUSH1 0x40 00000649: MLOAD 0000064a: DUP1 0000064b: DUP3 0000064c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000661: AND 00000662: DUP2 00000663: MSTORE 00000664: PUSH1 0x20 00000666: ADD 00000667: SWAP2 00000668: POP 00000669: POP 0000066a: PUSH1 0x40 0000066c: MLOAD 0000066d: DUP1 0000066e: SWAP2 0000066f: SUB 00000670: SWAP1 00000671: RETURN 00000672: JUMPDEST 00000673: CALLVALUE 00000674: DUP1 00000675: ISZERO 00000676: PUSH2 0x067e 00000679: JUMPI 0000067a: PUSH1 0x00 0000067c: DUP1 0000067d: REVERT 0000067e: JUMPDEST 0000067f: POP 00000680: PUSH2 0x0687 00000683: PUSH2 0x1712 00000686: JUMP 00000687: JUMPDEST 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: DUP1 0000068c: DUP3 0000068d: DUP2 0000068e: MSTORE 0000068f: PUSH1 0x20 00000691: ADD 00000692: SWAP2 00000693: POP 00000694: POP 00000695: PUSH1 0x40 00000697: MLOAD 00000698: DUP1 00000699: SWAP2 0000069a: SUB 0000069b: SWAP1 0000069c: RETURN 0000069d: JUMPDEST 0000069e: CALLVALUE 0000069f: DUP1 000006a0: ISZERO 000006a1: PUSH2 0x06a9 000006a4: JUMPI 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: REVERT 000006a9: JUMPDEST 000006aa: POP 000006ab: PUSH2 0x06e0 000006ae: PUSH1 0x04 000006b0: DUP1 000006b1: CALLDATASIZE 000006b2: SUB 000006b3: PUSH1 0x40 000006b5: DUP2 000006b6: LT 000006b7: ISZERO 000006b8: PUSH2 0x06c0 000006bb: JUMPI 000006bc: PUSH1 0x00 000006be: DUP1 000006bf: REVERT 000006c0: JUMPDEST 000006c1: DUP2 000006c2: ADD 000006c3: SWAP1 000006c4: DUP1 000006c5: DUP1 000006c6: CALLDATALOAD 000006c7: SWAP1 000006c8: PUSH1 0x20 000006ca: ADD 000006cb: SWAP1 000006cc: SWAP3 000006cd: SWAP2 000006ce: SWAP1 000006cf: DUP1 000006d0: CALLDATALOAD 000006d1: SWAP1 000006d2: PUSH1 0x20 000006d4: ADD 000006d5: SWAP1 000006d6: SWAP3 000006d7: SWAP2 000006d8: SWAP1 000006d9: POP 000006da: POP 000006db: POP 000006dc: PUSH2 0x171c 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH1 0x40 000006e3: MLOAD 000006e4: DUP1 000006e5: DUP3 000006e6: DUP2 000006e7: MSTORE 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: SWAP2 000006ec: POP 000006ed: POP 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: DUP1 000006f2: SWAP2 000006f3: SUB 000006f4: SWAP1 000006f5: RETURN 000006f6: JUMPDEST 000006f7: CALLVALUE 000006f8: DUP1 000006f9: ISZERO 000006fa: PUSH2 0x0702 000006fd: JUMPI 000006fe: PUSH1 0x00 00000700: DUP1 00000701: REVERT 00000702: JUMPDEST 00000703: POP 00000704: PUSH2 0x070b 00000707: PUSH2 0x18ef 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: DUP1 00000710: DUP3 00000711: DUP2 00000712: MSTORE 00000713: PUSH1 0x20 00000715: ADD 00000716: SWAP2 00000717: POP 00000718: POP 00000719: PUSH1 0x40 0000071b: MLOAD 0000071c: DUP1 0000071d: SWAP2 0000071e: SUB 0000071f: SWAP1 00000720: RETURN 00000721: JUMPDEST 00000722: CALLVALUE 00000723: DUP1 00000724: ISZERO 00000725: PUSH2 0x072d 00000728: JUMPI 00000729: PUSH1 0x00 0000072b: DUP1 0000072c: REVERT 0000072d: JUMPDEST 0000072e: POP 0000072f: PUSH2 0x075a 00000732: PUSH1 0x04 00000734: DUP1 00000735: CALLDATASIZE 00000736: SUB 00000737: PUSH1 0x20 00000739: DUP2 0000073a: LT 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: DUP2 00000746: ADD 00000747: SWAP1 00000748: DUP1 00000749: DUP1 0000074a: CALLDATALOAD 0000074b: SWAP1 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: SWAP1 00000750: SWAP3 00000751: SWAP2 00000752: SWAP1 00000753: POP 00000754: POP 00000755: POP 00000756: PUSH2 0x18f9 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH1 0x40 0000075d: MLOAD 0000075e: DUP1 0000075f: DUP3 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x20 00000764: ADD 00000765: SWAP2 00000766: POP 00000767: POP 00000768: PUSH1 0x40 0000076a: MLOAD 0000076b: DUP1 0000076c: SWAP2 0000076d: SUB 0000076e: SWAP1 0000076f: RETURN 00000770: JUMPDEST 00000771: PUSH2 0x07b0 00000774: PUSH1 0x04 00000776: DUP1 00000777: CALLDATASIZE 00000778: SUB 00000779: PUSH1 0x60 0000077b: DUP2 0000077c: LT 0000077d: ISZERO 0000077e: PUSH2 0x0786 00000781: JUMPI 00000782: PUSH1 0x00 00000784: DUP1 00000785: REVERT 00000786: JUMPDEST 00000787: DUP2 00000788: ADD 00000789: SWAP1 0000078a: DUP1 0000078b: DUP1 0000078c: CALLDATALOAD 0000078d: SWAP1 0000078e: PUSH1 0x20 00000790: ADD 00000791: SWAP1 00000792: SWAP3 00000793: SWAP2 00000794: SWAP1 00000795: DUP1 00000796: CALLDATALOAD 00000797: SWAP1 00000798: PUSH1 0x20 0000079a: ADD 0000079b: SWAP1 0000079c: SWAP3 0000079d: SWAP2 0000079e: SWAP1 0000079f: DUP1 000007a0: CALLDATALOAD 000007a1: SWAP1 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: SWAP1 000007a6: SWAP3 000007a7: SWAP2 000007a8: SWAP1 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: PUSH2 0x199d 000007af: JUMP 000007b0: JUMPDEST 000007b1: STOP 000007b2: JUMPDEST 000007b3: CALLVALUE 000007b4: DUP1 000007b5: ISZERO 000007b6: PUSH2 0x07be 000007b9: JUMPI 000007ba: PUSH1 0x00 000007bc: DUP1 000007bd: REVERT 000007be: JUMPDEST 000007bf: POP 000007c0: PUSH2 0x0801 000007c3: PUSH1 0x04 000007c5: DUP1 000007c6: CALLDATASIZE 000007c7: SUB 000007c8: PUSH1 0x20 000007ca: DUP2 000007cb: LT 000007cc: ISZERO 000007cd: PUSH2 0x07d5 000007d0: JUMPI 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: REVERT 000007d5: JUMPDEST 000007d6: DUP2 000007d7: ADD 000007d8: SWAP1 000007d9: DUP1 000007da: DUP1 000007db: CALLDATALOAD 000007dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f1: AND 000007f2: SWAP1 000007f3: PUSH1 0x20 000007f5: ADD 000007f6: SWAP1 000007f7: SWAP3 000007f8: SWAP2 000007f9: SWAP1 000007fa: POP 000007fb: POP 000007fc: POP 000007fd: PUSH2 0x1e72 00000800: JUMP 00000801: JUMPDEST 00000802: STOP 00000803: JUMPDEST 00000804: CALLVALUE 00000805: DUP1 00000806: ISZERO 00000807: PUSH2 0x080f 0000080a: JUMPI 0000080b: PUSH1 0x00 0000080d: DUP1 0000080e: REVERT 0000080f: JUMPDEST 00000810: POP 00000811: PUSH2 0x0818 00000814: PUSH2 0x2064 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x40 0000081b: MLOAD 0000081c: DUP1 0000081d: DUP3 0000081e: ISZERO 0000081f: ISZERO 00000820: DUP2 00000821: MSTORE 00000822: PUSH1 0x20 00000824: ADD 00000825: SWAP2 00000826: POP 00000827: POP 00000828: PUSH1 0x40 0000082a: MLOAD 0000082b: DUP1 0000082c: SWAP2 0000082d: SUB 0000082e: SWAP1 0000082f: RETURN 00000830: JUMPDEST 00000831: PUSH1 0x00 00000833: DUP1 00000834: DUP3 00000835: EQ 00000836: ISZERO 00000837: PUSH2 0x0843 0000083a: JUMPI 0000083b: PUSH1 0x00 0000083d: SWAP1 0000083e: POP 0000083f: PUSH2 0x09fa 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x00 00000846: DUP3 00000847: SWAP1 00000848: POP 00000849: PUSH1 0x00 0000084b: PUSH1 0x01 0000084d: SWAP1 0000084e: POP 0000084f: PUSH19 0x01000000000000000000000000000000000000 00000863: DUP3 00000864: LT 00000865: PUSH2 0x0877 00000868: JUMPI 00000869: PUSH1 0x90 0000086b: DUP3 0000086c: SWAP1 0000086d: SHR 0000086e: SWAP2 0000086f: POP 00000870: PUSH1 0x30 00000872: DUP2 00000873: SWAP1 00000874: SHL 00000875: SWAP1 00000876: POP 00000877: JUMPDEST 00000878: PUSH10 0x01000000000000000000 00000883: DUP3 00000884: LT 00000885: PUSH2 0x0897 00000888: JUMPI 00000889: PUSH1 0x48 0000088b: DUP3 0000088c: SWAP1 0000088d: SHR 0000088e: SWAP2 0000088f: POP 00000890: PUSH1 0x18 00000892: DUP2 00000893: SWAP1 00000894: SHL 00000895: SWAP1 00000896: POP 00000897: JUMPDEST 00000898: PUSH5 0x1000000000 0000089e: DUP3 0000089f: LT 000008a0: PUSH2 0x08b2 000008a3: JUMPI 000008a4: PUSH1 0x24 000008a6: DUP3 000008a7: SWAP1 000008a8: SHR 000008a9: SWAP2 000008aa: POP 000008ab: PUSH1 0x0c 000008ad: DUP2 000008ae: SWAP1 000008af: SHL 000008b0: SWAP1 000008b1: POP 000008b2: JUMPDEST 000008b3: PUSH3 0x040000 000008b7: DUP3 000008b8: LT 000008b9: PUSH2 0x08cb 000008bc: JUMPI 000008bd: PUSH1 0x12 000008bf: DUP3 000008c0: SWAP1 000008c1: SHR 000008c2: SWAP2 000008c3: POP 000008c4: PUSH1 0x06 000008c6: DUP2 000008c7: SWAP1 000008c8: SHL 000008c9: SWAP1 000008ca: POP 000008cb: JUMPDEST 000008cc: PUSH2 0x1000 000008cf: DUP3 000008d0: LT 000008d1: PUSH2 0x08e3 000008d4: JUMPI 000008d5: PUSH1 0x0c 000008d7: DUP3 000008d8: SWAP1 000008d9: SHR 000008da: SWAP2 000008db: POP 000008dc: PUSH1 0x04 000008de: DUP2 000008df: SWAP1 000008e0: SHL 000008e1: SWAP1 000008e2: POP 000008e3: JUMPDEST 000008e4: PUSH2 0x0200 000008e7: DUP3 000008e8: LT 000008e9: PUSH2 0x08fb 000008ec: JUMPI 000008ed: PUSH1 0x09 000008ef: DUP3 000008f0: SWAP1 000008f1: SHR 000008f2: SWAP2 000008f3: POP 000008f4: PUSH1 0x03 000008f6: DUP2 000008f7: SWAP1 000008f8: SHL 000008f9: SWAP1 000008fa: POP 000008fb: JUMPDEST 000008fc: PUSH1 0x40 000008fe: DUP3 000008ff: LT 00000900: PUSH2 0x0912 00000903: JUMPI 00000904: PUSH1 0x06 00000906: DUP3 00000907: SWAP1 00000908: SHR 00000909: SWAP2 0000090a: POP 0000090b: PUSH1 0x02 0000090d: DUP2 0000090e: SWAP1 0000090f: SHL 00000910: SWAP1 00000911: POP 00000912: JUMPDEST 00000913: PUSH1 0x08 00000915: DUP3 00000916: LT 00000917: PUSH2 0x0922 0000091a: JUMPI 0000091b: PUSH1 0x01 0000091d: DUP2 0000091e: SWAP1 0000091f: SHL 00000920: SWAP1 00000921: POP 00000922: JUMPDEST 00000923: PUSH1 0x03 00000925: DUP2 00000926: PUSH1 0x02 00000928: MUL 00000929: PUSH1 0x02 0000092b: DUP4 0000092c: EXP 0000092d: DUP7 0000092e: DUP2 0000092f: PUSH2 0x0934 00000932: JUMPI 00000933: INVALID 00000934: JUMPDEST 00000935: DIV 00000936: ADD 00000937: DUP2 00000938: PUSH2 0x093d 0000093b: JUMPI 0000093c: INVALID 0000093d: JUMPDEST 0000093e: DIV 0000093f: SWAP1 00000940: POP 00000941: PUSH1 0x03 00000943: DUP2 00000944: PUSH1 0x02 00000946: MUL 00000947: PUSH1 0x02 00000949: DUP4 0000094a: EXP 0000094b: DUP7 0000094c: DUP2 0000094d: PUSH2 0x0952 00000950: JUMPI 00000951: INVALID 00000952: JUMPDEST 00000953: DIV 00000954: ADD 00000955: DUP2 00000956: PUSH2 0x095b 00000959: JUMPI 0000095a: INVALID 0000095b: JUMPDEST 0000095c: DIV 0000095d: SWAP1 0000095e: POP 0000095f: PUSH1 0x03 00000961: DUP2 00000962: PUSH1 0x02 00000964: MUL 00000965: PUSH1 0x02 00000967: DUP4 00000968: EXP 00000969: DUP7 0000096a: DUP2 0000096b: PUSH2 0x0970 0000096e: JUMPI 0000096f: INVALID 00000970: JUMPDEST 00000971: DIV 00000972: ADD 00000973: DUP2 00000974: PUSH2 0x0979 00000977: JUMPI 00000978: INVALID 00000979: JUMPDEST 0000097a: DIV 0000097b: SWAP1 0000097c: POP 0000097d: PUSH1 0x03 0000097f: DUP2 00000980: PUSH1 0x02 00000982: MUL 00000983: PUSH1 0x02 00000985: DUP4 00000986: EXP 00000987: DUP7 00000988: DUP2 00000989: PUSH2 0x098e 0000098c: JUMPI 0000098d: INVALID 0000098e: JUMPDEST 0000098f: DIV 00000990: ADD 00000991: DUP2 00000992: PUSH2 0x0997 00000995: JUMPI 00000996: INVALID 00000997: JUMPDEST 00000998: DIV 00000999: SWAP1 0000099a: POP 0000099b: PUSH1 0x03 0000099d: DUP2 0000099e: PUSH1 0x02 000009a0: MUL 000009a1: PUSH1 0x02 000009a3: DUP4 000009a4: EXP 000009a5: DUP7 000009a6: DUP2 000009a7: PUSH2 0x09ac 000009aa: JUMPI 000009ab: INVALID 000009ac: JUMPDEST 000009ad: DIV 000009ae: ADD 000009af: DUP2 000009b0: PUSH2 0x09b5 000009b3: JUMPI 000009b4: INVALID 000009b5: JUMPDEST 000009b6: DIV 000009b7: SWAP1 000009b8: POP 000009b9: PUSH1 0x03 000009bb: DUP2 000009bc: PUSH1 0x02 000009be: MUL 000009bf: PUSH1 0x02 000009c1: DUP4 000009c2: EXP 000009c3: DUP7 000009c4: DUP2 000009c5: PUSH2 0x09ca 000009c8: JUMPI 000009c9: INVALID 000009ca: JUMPDEST 000009cb: DIV 000009cc: ADD 000009cd: DUP2 000009ce: PUSH2 0x09d3 000009d1: JUMPI 000009d2: INVALID 000009d3: JUMPDEST 000009d4: DIV 000009d5: SWAP1 000009d6: POP 000009d7: PUSH1 0x03 000009d9: DUP2 000009da: PUSH1 0x02 000009dc: MUL 000009dd: PUSH1 0x02 000009df: DUP4 000009e0: EXP 000009e1: DUP7 000009e2: DUP2 000009e3: PUSH2 0x09e8 000009e6: JUMPI 000009e7: INVALID 000009e8: JUMPDEST 000009e9: DIV 000009ea: ADD 000009eb: DUP2 000009ec: PUSH2 0x09f1 000009ef: JUMPI 000009f0: INVALID 000009f1: JUMPDEST 000009f2: DIV 000009f3: SWAP1 000009f4: POP 000009f5: DUP1 000009f6: SWAP3 000009f7: POP 000009f8: POP 000009f9: POP 000009fa: JUMPDEST 000009fb: SWAP2 000009fc: SWAP1 000009fd: POP 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH1 0x00 00000a02: DUP1 00000a03: DUP3 00000a04: EQ 00000a05: ISZERO 00000a06: PUSH2 0x0a12 00000a09: JUMPI 00000a0a: PUSH1 0x00 00000a0c: SWAP1 00000a0d: POP 00000a0e: PUSH2 0x0aca 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH2 0x0a1a 00000a16: PUSH2 0x120a 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH1 0x03 00000a1d: SLOAD 00000a1e: SUB 00000a1f: DUP3 00000a20: GT 00000a21: ISZERO 00000a22: PUSH2 0x0a76 00000a25: JUMPI 00000a26: PUSH1 0x40 00000a28: MLOAD 00000a29: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x04 00000a4e: ADD 00000a4f: DUP1 00000a50: DUP1 00000a51: PUSH1 0x20 00000a53: ADD 00000a54: DUP3 00000a55: DUP2 00000a56: SUB 00000a57: DUP3 00000a58: MSTORE 00000a59: PUSH1 0x38 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: DUP1 00000a61: PUSH2 0x2ccb 00000a64: PUSH1 0x38 00000a66: SWAP2 00000a67: CODECOPY 00000a68: PUSH1 0x40 00000a6a: ADD 00000a6b: SWAP2 00000a6c: POP 00000a6d: POP 00000a6e: PUSH1 0x40 00000a70: MLOAD 00000a71: DUP1 00000a72: SWAP2 00000a73: SUB 00000a74: SWAP1 00000a75: REVERT 00000a76: JUMPDEST 00000a77: PUSH1 0x00 00000a79: PUSH2 0x0a8d 00000a7c: DUP4 00000a7d: PUSH1 0x03 00000a7f: SLOAD 00000a80: PUSH2 0x2101 00000a83: SWAP1 00000a84: SWAP2 00000a85: SWAP1 00000a86: PUSH4 0xffffffff 00000a8b: AND 00000a8c: JUMP 00000a8d: JUMPDEST 00000a8e: SWAP1 00000a8f: POP 00000a90: PUSH1 0x00 00000a92: PUSH2 0x0a9d 00000a95: PUSH1 0x03 00000a97: SLOAD 00000a98: DUP4 00000a99: PUSH2 0x171c 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: SWAP1 00000a9f: POP 00000aa0: PUSH2 0x0ac5 00000aa3: PUSH2 0x0ab6 00000aa6: PUSH1 0x64 00000aa8: DUP4 00000aa9: PUSH2 0x2184 00000aac: SWAP1 00000aad: SWAP2 00000aae: SWAP1 00000aaf: PUSH4 0xffffffff 00000ab4: AND 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: DUP3 00000ab8: PUSH2 0x2101 00000abb: SWAP1 00000abc: SWAP2 00000abd: SWAP1 00000abe: PUSH4 0xffffffff 00000ac3: AND 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: SWAP3 00000ac7: POP 00000ac8: POP 00000ac9: POP 00000aca: JUMPDEST 00000acb: SWAP2 00000acc: SWAP1 00000acd: POP 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x07 00000ad2: PUSH1 0x00 00000ad4: SWAP1 00000ad5: SLOAD 00000ad6: SWAP1 00000ad7: PUSH2 0x0100 00000ada: EXP 00000adb: SWAP1 00000adc: DIV 00000add: PUSH1 0xff 00000adf: AND 00000ae0: PUSH2 0x0b51 00000ae3: JUMPI 00000ae4: PUSH1 0x40 00000ae6: MLOAD 00000ae7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x04 00000b0c: ADD 00000b0d: DUP1 00000b0e: DUP1 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: DUP3 00000b13: DUP2 00000b14: SUB 00000b15: DUP3 00000b16: MSTORE 00000b17: PUSH1 0x17 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x20 00000b1d: ADD 00000b1e: DUP1 00000b1f: PUSH32 0x5468652074726164696e672069732064697361626c6564000000000000000000 00000b40: DUP2 00000b41: MSTORE 00000b42: POP 00000b43: PUSH1 0x20 00000b45: ADD 00000b46: SWAP2 00000b47: POP 00000b48: POP 00000b49: PUSH1 0x40 00000b4b: MLOAD 00000b4c: DUP1 00000b4d: SWAP2 00000b4e: SUB 00000b4f: SWAP1 00000b50: REVERT 00000b51: JUMPDEST 00000b52: PUSH1 0x00 00000b54: CALLVALUE 00000b55: GT 00000b56: PUSH2 0x0baa 00000b59: JUMPI 00000b5a: PUSH1 0x40 00000b5c: MLOAD 00000b5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x04 00000b82: ADD 00000b83: DUP1 00000b84: DUP1 00000b85: PUSH1 0x20 00000b87: ADD 00000b88: DUP3 00000b89: DUP2 00000b8a: SUB 00000b8b: DUP3 00000b8c: MSTORE 00000b8d: PUSH1 0x2a 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH1 0x20 00000b93: ADD 00000b94: DUP1 00000b95: PUSH2 0x2d95 00000b98: PUSH1 0x2a 00000b9a: SWAP2 00000b9b: CODECOPY 00000b9c: PUSH1 0x40 00000b9e: ADD 00000b9f: SWAP2 00000ba0: POP 00000ba1: POP 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: DUP1 00000ba6: SWAP2 00000ba7: SUB 00000ba8: SWAP1 00000ba9: REVERT 00000baa: JUMPDEST 00000bab: PUSH2 0x0bc1 00000bae: PUSH1 0x03 00000bb0: SLOAD 00000bb1: PUSH1 0x06 00000bb3: SLOAD 00000bb4: PUSH2 0x2101 00000bb7: SWAP1 00000bb8: SWAP2 00000bb9: SWAP1 00000bba: PUSH4 0xffffffff 00000bbf: AND 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: DUP3 00000bc3: GT 00000bc4: ISZERO 00000bc5: PUSH2 0x0c19 00000bc8: JUMPI 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH1 0x04 00000bf1: ADD 00000bf2: DUP1 00000bf3: DUP1 00000bf4: PUSH1 0x20 00000bf6: ADD 00000bf7: DUP3 00000bf8: DUP2 00000bf9: SUB 00000bfa: DUP3 00000bfb: MSTORE 00000bfc: PUSH1 0x36 00000bfe: DUP2 00000bff: MSTORE 00000c00: PUSH1 0x20 00000c02: ADD 00000c03: DUP1 00000c04: PUSH2 0x2e16 00000c07: PUSH1 0x36 00000c09: SWAP2 00000c0a: CODECOPY 00000c0b: PUSH1 0x40 00000c0d: ADD 00000c0e: SWAP2 00000c0f: POP 00000c10: POP 00000c11: PUSH1 0x40 00000c13: MLOAD 00000c14: DUP1 00000c15: SWAP2 00000c16: SUB 00000c17: SWAP1 00000c18: REVERT 00000c19: JUMPDEST 00000c1a: PUSH1 0x00 00000c1c: PUSH2 0x0c24 00000c1f: CALLVALUE 00000c20: PUSH2 0x149a 00000c23: JUMP 00000c24: JUMPDEST 00000c25: SWAP1 00000c26: POP 00000c27: DUP1 00000c28: DUP4 00000c29: GT 00000c2a: ISZERO 00000c2b: PUSH2 0x0cdc 00000c2e: JUMPI 00000c2f: PUSH2 0x0c55 00000c32: DUP3 00000c33: PUSH2 0x0c47 00000c36: PUSH2 0x2710 00000c39: DUP7 00000c3a: PUSH2 0x2184 00000c3d: SWAP1 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: PUSH4 0xffffffff 00000c45: AND 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH2 0x207b 00000c4b: SWAP1 00000c4c: SWAP2 00000c4d: SWAP1 00000c4e: PUSH4 0xffffffff 00000c53: AND 00000c54: JUMP 00000c55: JUMPDEST 00000c56: PUSH2 0x0c68 00000c59: DUP3 00000c5a: DUP6 00000c5b: PUSH2 0x2101 00000c5e: SWAP1 00000c5f: SWAP2 00000c60: SWAP1 00000c61: PUSH4 0xffffffff 00000c66: AND 00000c67: JUMP 00000c68: JUMPDEST 00000c69: LT 00000c6a: PUSH2 0x0cdb 00000c6d: JUMPI 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c92: DUP2 00000c93: MSTORE 00000c94: PUSH1 0x04 00000c96: ADD 00000c97: DUP1 00000c98: DUP1 00000c99: PUSH1 0x20 00000c9b: ADD 00000c9c: DUP3 00000c9d: DUP2 00000c9e: SUB 00000c9f: DUP3 00000ca0: MSTORE 00000ca1: PUSH1 0x1d 00000ca3: DUP2 00000ca4: MSTORE 00000ca5: PUSH1 0x20 00000ca7: ADD 00000ca8: DUP1 00000ca9: PUSH32 0x536c6970706167652067726561746572207468616e20616c6c6f776564000000 00000cca: DUP2 00000ccb: MSTORE 00000ccc: POP 00000ccd: PUSH1 0x20 00000ccf: ADD 00000cd0: SWAP2 00000cd1: POP 00000cd2: POP 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: DUP1 00000cd7: SWAP2 00000cd8: SUB 00000cd9: SWAP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: JUMPDEST 00000cdd: PUSH1 0x00 00000cdf: DUP2 00000ce0: DUP5 00000ce1: SUB 00000ce2: SWAP1 00000ce3: POP 00000ce4: PUSH2 0x0cf8 00000ce7: DUP3 00000ce8: PUSH1 0x03 00000cea: SLOAD 00000ceb: PUSH2 0x220d 00000cee: SWAP1 00000cef: SWAP2 00000cf0: SWAP1 00000cf1: PUSH4 0xffffffff 00000cf6: AND 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x03 00000cfb: DUP2 00000cfc: SWAP1 00000cfd: SSTORE 00000cfe: POP 00000cff: PUSH2 0x0d09 00000d02: PUSH1 0x03 00000d04: SLOAD 00000d05: PUSH2 0x18f9 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH1 0x04 00000d0c: DUP2 00000d0d: SWAP1 00000d0e: SSTORE 00000d0f: POP 00000d10: PUSH1 0x01 00000d12: PUSH1 0x00 00000d14: SWAP1 00000d15: SLOAD 00000d16: SWAP1 00000d17: PUSH2 0x0100 00000d1a: EXP 00000d1b: SWAP1 00000d1c: DIV 00000d1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d32: AND 00000d33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d48: AND 00000d49: PUSH4 0xa9059cbb 00000d4e: CALLER 00000d4f: DUP5 00000d50: PUSH1 0x40 00000d52: MLOAD 00000d53: DUP4 00000d54: PUSH4 0xffffffff 00000d59: AND 00000d5a: PUSH1 0xe0 00000d5c: SHL 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: PUSH1 0x04 00000d61: ADD 00000d62: DUP1 00000d63: DUP4 00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d79: AND 00000d7a: DUP2 00000d7b: MSTORE 00000d7c: PUSH1 0x20 00000d7e: ADD 00000d7f: DUP3 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x20 00000d84: ADD 00000d85: SWAP3 00000d86: POP 00000d87: POP 00000d88: POP 00000d89: PUSH1 0x20 00000d8b: PUSH1 0x40 00000d8d: MLOAD 00000d8e: DUP1 00000d8f: DUP4 00000d90: SUB 00000d91: DUP2 00000d92: PUSH1 0x00 00000d94: DUP8 00000d95: DUP1 00000d96: EXTCODESIZE 00000d97: ISZERO 00000d98: DUP1 00000d99: ISZERO 00000d9a: PUSH2 0x0da2 00000d9d: JUMPI 00000d9e: PUSH1 0x00 00000da0: DUP1 00000da1: REVERT 00000da2: JUMPDEST 00000da3: POP 00000da4: GAS 00000da5: CALL 00000da6: ISZERO 00000da7: DUP1 00000da8: ISZERO 00000da9: PUSH2 0x0db6 00000dac: JUMPI 00000dad: RETURNDATASIZE 00000dae: PUSH1 0x00 00000db0: DUP1 00000db1: RETURNDATACOPY 00000db2: RETURNDATASIZE 00000db3: PUSH1 0x00 00000db5: REVERT 00000db6: JUMPDEST 00000db7: POP 00000db8: POP 00000db9: POP 00000dba: POP 00000dbb: PUSH1 0x40 00000dbd: MLOAD 00000dbe: RETURNDATASIZE 00000dbf: PUSH1 0x20 00000dc1: DUP2 00000dc2: LT 00000dc3: ISZERO 00000dc4: PUSH2 0x0dcc 00000dc7: JUMPI 00000dc8: PUSH1 0x00 00000dca: DUP1 00000dcb: REVERT 00000dcc: JUMPDEST 00000dcd: DUP2 00000dce: ADD 00000dcf: SWAP1 00000dd0: DUP1 00000dd1: DUP1 00000dd2: MLOAD 00000dd3: SWAP1 00000dd4: PUSH1 0x20 00000dd6: ADD 00000dd7: SWAP1 00000dd8: SWAP3 00000dd9: SWAP2 00000dda: SWAP1 00000ddb: POP 00000ddc: POP 00000ddd: POP 00000dde: POP 00000ddf: CALLER 00000de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df5: AND 00000df6: PUSH32 0xa70108fc37a77e4fb183df412c5ec85d9c12294d6f4c1634c5d2a594a44db9aa 00000e17: DUP4 00000e18: CALLVALUE 00000e19: PUSH1 0x04 00000e1b: SLOAD 00000e1c: PUSH1 0x03 00000e1e: SLOAD 00000e1f: DUP7 00000e20: PUSH1 0x40 00000e22: MLOAD 00000e23: DUP1 00000e24: DUP7 00000e25: DUP2 00000e26: MSTORE 00000e27: PUSH1 0x20 00000e29: ADD 00000e2a: DUP6 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: DUP5 00000e31: DUP2 00000e32: MSTORE 00000e33: PUSH1 0x20 00000e35: ADD 00000e36: DUP4 00000e37: DUP2 00000e38: MSTORE 00000e39: PUSH1 0x20 00000e3b: ADD 00000e3c: DUP1 00000e3d: PUSH1 0x20 00000e3f: ADD 00000e40: DUP4 00000e41: DUP2 00000e42: MSTORE 00000e43: PUSH1 0x20 00000e45: ADD 00000e46: DUP3 00000e47: DUP2 00000e48: SUB 00000e49: DUP3 00000e4a: MSTORE 00000e4b: PUSH1 0x03 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0x20 00000e51: ADD 00000e52: DUP1 00000e53: PUSH32 0x6275790000000000000000000000000000000000000000000000000000000000 00000e74: DUP2 00000e75: MSTORE 00000e76: POP 00000e77: PUSH1 0x20 00000e79: ADD 00000e7a: SWAP7 00000e7b: POP 00000e7c: POP 00000e7d: POP 00000e7e: POP 00000e7f: POP 00000e80: POP 00000e81: POP 00000e82: PUSH1 0x40 00000e84: MLOAD 00000e85: DUP1 00000e86: SWAP2 00000e87: SUB 00000e88: SWAP1 00000e89: LOG2 00000e8a: POP 00000e8b: POP 00000e8c: POP 00000e8d: POP 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x06 00000e92: SLOAD 00000e93: DUP2 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x00 00000e98: DUP1 00000e99: DUP3 00000e9a: EQ 00000e9b: ISZERO 00000e9c: PUSH2 0x0ea8 00000e9f: JUMPI 00000ea0: PUSH1 0x00 00000ea2: SWAP1 00000ea3: POP 00000ea4: PUSH2 0x0f38 00000ea7: JUMP 00000ea8: JUMPDEST 00000ea9: PUSH8 0x0de0b6b3a7640000 00000eb2: DUP3 00000eb3: GT 00000eb4: ISZERO 00000eb5: PUSH2 0x0f09 00000eb8: JUMPI 00000eb9: PUSH1 0x40 00000ebb: MLOAD 00000ebc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000edd: DUP2 00000ede: MSTORE 00000edf: PUSH1 0x04 00000ee1: ADD 00000ee2: DUP1 00000ee3: DUP1 00000ee4: PUSH1 0x20 00000ee6: ADD 00000ee7: DUP3 00000ee8: DUP2 00000ee9: SUB 00000eea: DUP3 00000eeb: MSTORE 00000eec: PUSH1 0x33 00000eee: DUP2 00000eef: MSTORE 00000ef0: PUSH1 0x20 00000ef2: ADD 00000ef3: DUP1 00000ef4: PUSH2 0x2c68 00000ef7: PUSH1 0x33 00000ef9: SWAP2 00000efa: CODECOPY 00000efb: PUSH1 0x40 00000efd: ADD 00000efe: SWAP2 00000eff: POP 00000f00: POP 00000f01: PUSH1 0x40 00000f03: MLOAD 00000f04: DUP1 00000f05: SWAP2 00000f06: SUB 00000f07: SWAP1 00000f08: REVERT 00000f09: JUMPDEST 00000f0a: PUSH2 0x0f35 00000f0d: PUSH2 0x0f30 00000f10: PUSH2 0x0f20 00000f13: PUSH2 0x0f1b 00000f16: DUP6 00000f17: PUSH2 0x1018 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: PUSH2 0x2295 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH2 0x0f2b 00000f24: PUSH1 0x06 00000f26: SLOAD 00000f27: PUSH2 0x1018 00000f2a: JUMP 00000f2b: JUMPDEST 00000f2c: PUSH2 0x22be 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH2 0x12db 00000f34: JUMP 00000f35: JUMPDEST 00000f36: SWAP1 00000f37: POP 00000f38: JUMPDEST 00000f39: SWAP2 00000f3a: SWAP1 00000f3b: POP 00000f3c: JUMP 00000f3d: JUMPDEST 00000f3e: PUSH1 0x00 00000f40: DUP1 00000f41: DUP3 00000f42: EQ 00000f43: ISZERO 00000f44: PUSH2 0x0f50 00000f47: JUMPI 00000f48: PUSH1 0x00 00000f4a: SWAP1 00000f4b: POP 00000f4c: PUSH2 0x1013 00000f4f: JUMP 00000f50: JUMPDEST 00000f51: PUSH2 0x0f67 00000f54: PUSH1 0x03 00000f56: SLOAD 00000f57: PUSH1 0x06 00000f59: SLOAD 00000f5a: PUSH2 0x2101 00000f5d: SWAP1 00000f5e: SWAP2 00000f5f: SWAP1 00000f60: PUSH4 0xffffffff 00000f65: AND 00000f66: JUMP 00000f67: JUMPDEST 00000f68: DUP3 00000f69: GT 00000f6a: ISZERO 00000f6b: PUSH2 0x0fbf 00000f6e: JUMPI 00000f6f: PUSH1 0x40 00000f71: MLOAD 00000f72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f93: DUP2 00000f94: MSTORE 00000f95: PUSH1 0x04 00000f97: ADD 00000f98: DUP1 00000f99: DUP1 00000f9a: PUSH1 0x20 00000f9c: ADD 00000f9d: DUP3 00000f9e: DUP2 00000f9f: SUB 00000fa0: DUP3 00000fa1: MSTORE 00000fa2: PUSH1 0x38 00000fa4: DUP2 00000fa5: MSTORE 00000fa6: PUSH1 0x20 00000fa8: ADD 00000fa9: DUP1 00000faa: PUSH2 0x2ccb 00000fad: PUSH1 0x38 00000faf: SWAP2 00000fb0: CODECOPY 00000fb1: PUSH1 0x40 00000fb3: ADD 00000fb4: SWAP2 00000fb5: POP 00000fb6: POP 00000fb7: PUSH1 0x40 00000fb9: MLOAD 00000fba: DUP1 00000fbb: SWAP2 00000fbc: SUB 00000fbd: SWAP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: PUSH1 0x00 00000fc2: PUSH2 0x0fd6 00000fc5: DUP4 00000fc6: PUSH1 0x03 00000fc8: SLOAD 00000fc9: PUSH2 0x220d 00000fcc: SWAP1 00000fcd: SWAP2 00000fce: SWAP1 00000fcf: PUSH4 0xffffffff 00000fd4: AND 00000fd5: JUMP 00000fd6: JUMPDEST 00000fd7: SWAP1 00000fd8: POP 00000fd9: PUSH1 0x00 00000fdb: PUSH2 0x0fe6 00000fde: DUP3 00000fdf: PUSH1 0x03 00000fe1: SLOAD 00000fe2: PUSH2 0x171c 00000fe5: JUMP 00000fe6: JUMPDEST 00000fe7: SWAP1 00000fe8: POP 00000fe9: PUSH2 0x100e 00000fec: PUSH2 0x0fff 00000fef: PUSH1 0x64 00000ff1: DUP4 00000ff2: PUSH2 0x2184 00000ff5: SWAP1 00000ff6: SWAP2 00000ff7: SWAP1 00000ff8: PUSH4 0xffffffff 00000ffd: AND 00000ffe: JUMP 00000fff: JUMPDEST 00001000: DUP3 00001001: PUSH2 0x2101 00001004: SWAP1 00001005: SWAP2 00001006: SWAP1 00001007: PUSH4 0xffffffff 0000100c: AND 0000100d: JUMP 0000100e: JUMPDEST 0000100f: SWAP3 00001010: POP 00001011: POP 00001012: POP 00001013: JUMPDEST 00001014: SWAP2 00001015: SWAP1 00001016: POP 00001017: JUMP 00001018: JUMPDEST 00001019: PUSH1 0x00 0000101b: PUSH2 0x1039 0000101e: DUP3 0000101f: PUSH1 0x05 00001021: PUSH1 0x00 00001023: SWAP1 00001024: SLOAD 00001025: SWAP1 00001026: PUSH2 0x0100 00001029: EXP 0000102a: SWAP1 0000102b: DIV 0000102c: PUSH1 0xff 0000102e: AND 0000102f: PUSH1 0xff 00001031: AND 00001032: PUSH1 0x0a 00001034: EXP 00001035: PUSH2 0x2329 00001038: JUMP 00001039: JUMPDEST 0000103a: SWAP1 0000103b: POP 0000103c: SWAP2 0000103d: SWAP1 0000103e: POP 0000103f: JUMP 00001040: JUMPDEST 00001041: PUSH1 0x05 00001043: PUSH1 0x00 00001045: SWAP1 00001046: SLOAD 00001047: SWAP1 00001048: PUSH2 0x0100 0000104b: EXP 0000104c: SWAP1 0000104d: DIV 0000104e: PUSH1 0xff 00001050: AND 00001051: DUP2 00001052: JUMP 00001053: JUMPDEST 00001054: PUSH1 0x02 00001056: PUSH1 0x00 00001058: SWAP1 00001059: SLOAD 0000105a: SWAP1 0000105b: PUSH2 0x0100 0000105e: EXP 0000105f: SWAP1 00001060: DIV 00001061: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001076: AND 00001077: DUP2 00001078: JUMP 00001079: JUMPDEST 0000107a: PUSH1 0x03 0000107c: SLOAD 0000107d: DUP2 0000107e: JUMP 0000107f: JUMPDEST 00001080: PUSH1 0x00 00001082: PUSH2 0x1089 00001085: PUSH2 0x2391 00001088: JUMP 00001089: JUMPDEST 0000108a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109f: AND 000010a0: PUSH2 0x10a7 000010a3: PUSH2 0x16e9 000010a6: JUMP 000010a7: JUMPDEST 000010a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010bd: AND 000010be: EQ 000010bf: PUSH2 0x1130 000010c2: JUMPI 000010c3: PUSH1 0x40 000010c5: MLOAD 000010c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010e7: DUP2 000010e8: MSTORE 000010e9: PUSH1 0x04 000010eb: ADD 000010ec: DUP1 000010ed: DUP1 000010ee: PUSH1 0x20 000010f0: ADD 000010f1: DUP3 000010f2: DUP2 000010f3: SUB 000010f4: DUP3 000010f5: MSTORE 000010f6: PUSH1 0x20 000010f8: DUP2 000010f9: MSTORE 000010fa: PUSH1 0x20 000010fc: ADD 000010fd: DUP1 000010fe: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000111f: DUP2 00001120: MSTORE 00001121: POP 00001122: PUSH1 0x20 00001124: ADD 00001125: SWAP2 00001126: POP 00001127: POP 00001128: PUSH1 0x40 0000112a: MLOAD 0000112b: DUP1 0000112c: SWAP2 0000112d: SUB 0000112e: SWAP1 0000112f: REVERT 00001130: JUMPDEST 00001131: PUSH1 0x00 00001133: PUSH1 0x03 00001135: SLOAD 00001136: EQ 00001137: ISZERO 00001138: PUSH2 0x118b 0000113b: JUMPI 0000113c: CALLER 0000113d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001152: AND 00001153: PUSH2 0x08fc 00001156: SELFBALANCE 00001157: SWAP1 00001158: DUP2 00001159: ISZERO 0000115a: MUL 0000115b: SWAP1 0000115c: PUSH1 0x40 0000115e: MLOAD 0000115f: PUSH1 0x00 00001161: PUSH1 0x40 00001163: MLOAD 00001164: DUP1 00001165: DUP4 00001166: SUB 00001167: DUP2 00001168: DUP6 00001169: DUP9 0000116a: DUP9 0000116b: CALL 0000116c: SWAP4 0000116d: POP 0000116e: POP 0000116f: POP 00001170: POP 00001171: ISZERO 00001172: DUP1 00001173: ISZERO 00001174: PUSH2 0x1181 00001177: JUMPI 00001178: RETURNDATASIZE 00001179: PUSH1 0x00 0000117b: DUP1 0000117c: RETURNDATACOPY 0000117d: RETURNDATASIZE 0000117e: PUSH1 0x00 00001180: REVERT 00001181: JUMPDEST 00001182: POP 00001183: PUSH1 0x01 00001185: SWAP1 00001186: POP 00001187: PUSH2 0x1207 0000118a: JUMP 0000118b: JUMPDEST 0000118c: PUSH1 0x00 0000118e: PUSH2 0x11a0 00001191: PUSH1 0x03 00001193: SLOAD 00001194: PUSH2 0x119b 00001197: PUSH2 0x120a 0000119a: JUMP 0000119b: JUMPDEST 0000119c: PUSH2 0x171c 0000119f: JUMP 000011a0: JUMPDEST 000011a1: SWAP1 000011a2: POP 000011a3: PUSH1 0x00 000011a5: PUSH2 0x11b7 000011a8: DUP3 000011a9: SELFBALANCE 000011aa: PUSH2 0x2101 000011ad: SWAP1 000011ae: SWAP2 000011af: SWAP1 000011b0: PUSH4 0xffffffff 000011b5: AND 000011b6: JUMP 000011b7: JUMPDEST 000011b8: SWAP1 000011b9: POP 000011ba: CALLER 000011bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d0: AND 000011d1: PUSH2 0x08fc 000011d4: DUP3 000011d5: SWAP1 000011d6: DUP2 000011d7: ISZERO 000011d8: MUL 000011d9: SWAP1 000011da: PUSH1 0x40 000011dc: MLOAD 000011dd: PUSH1 0x00 000011df: PUSH1 0x40 000011e1: MLOAD 000011e2: DUP1 000011e3: DUP4 000011e4: SUB 000011e5: DUP2 000011e6: DUP6 000011e7: DUP9 000011e8: DUP9 000011e9: CALL 000011ea: SWAP4 000011eb: POP 000011ec: POP 000011ed: POP 000011ee: POP 000011ef: ISZERO 000011f0: DUP1 000011f1: ISZERO 000011f2: PUSH2 0x11ff 000011f5: JUMPI 000011f6: RETURNDATASIZE 000011f7: PUSH1 0x00 000011f9: DUP1 000011fa: RETURNDATACOPY 000011fb: RETURNDATASIZE 000011fc: PUSH1 0x00 000011fe: REVERT 000011ff: JUMPDEST 00001200: POP 00001201: PUSH1 0x01 00001203: SWAP3 00001204: POP 00001205: POP 00001206: POP 00001207: JUMPDEST 00001208: SWAP1 00001209: JUMP 0000120a: JUMPDEST 0000120b: PUSH1 0x00 0000120d: PUSH2 0x12c3 00001210: PUSH1 0x01 00001212: PUSH1 0x00 00001214: SWAP1 00001215: SLOAD 00001216: SWAP1 00001217: PUSH2 0x0100 0000121a: EXP 0000121b: SWAP1 0000121c: DIV 0000121d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001232: AND 00001233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001248: AND 00001249: PUSH4 0x18160ddd 0000124e: PUSH1 0x40 00001250: MLOAD 00001251: DUP2 00001252: PUSH4 0xffffffff 00001257: AND 00001258: PUSH1 0xe0 0000125a: SHL 0000125b: DUP2 0000125c: MSTORE 0000125d: PUSH1 0x04 0000125f: ADD 00001260: PUSH1 0x20 00001262: PUSH1 0x40 00001264: MLOAD 00001265: DUP1 00001266: DUP4 00001267: SUB 00001268: DUP2 00001269: DUP7 0000126a: DUP1 0000126b: EXTCODESIZE 0000126c: ISZERO 0000126d: DUP1 0000126e: ISZERO 0000126f: PUSH2 0x1277 00001272: JUMPI 00001273: PUSH1 0x00 00001275: DUP1 00001276: REVERT 00001277: JUMPDEST 00001278: POP 00001279: GAS 0000127a: STATICCALL 0000127b: ISZERO 0000127c: DUP1 0000127d: ISZERO 0000127e: PUSH2 0x128b 00001281: JUMPI 00001282: RETURNDATASIZE 00001283: PUSH1 0x00 00001285: DUP1 00001286: RETURNDATACOPY 00001287: RETURNDATASIZE 00001288: PUSH1 0x00 0000128a: REVERT 0000128b: JUMPDEST 0000128c: POP 0000128d: POP 0000128e: POP 0000128f: POP 00001290: PUSH1 0x40 00001292: MLOAD 00001293: RETURNDATASIZE 00001294: PUSH1 0x20 00001296: DUP2 00001297: LT 00001298: ISZERO 00001299: PUSH2 0x12a1 0000129c: JUMPI 0000129d: PUSH1 0x00 0000129f: DUP1 000012a0: REVERT 000012a1: JUMPDEST 000012a2: DUP2 000012a3: ADD 000012a4: SWAP1 000012a5: DUP1 000012a6: DUP1 000012a7: MLOAD 000012a8: SWAP1 000012a9: PUSH1 0x20 000012ab: ADD 000012ac: SWAP1 000012ad: SWAP3 000012ae: SWAP2 000012af: SWAP1 000012b0: POP 000012b1: POP 000012b2: POP 000012b3: PUSH1 0x06 000012b5: SLOAD 000012b6: PUSH2 0x2101 000012b9: SWAP1 000012ba: SWAP2 000012bb: SWAP1 000012bc: PUSH4 0xffffffff 000012c1: AND 000012c2: JUMP 000012c3: JUMPDEST 000012c4: SWAP1 000012c5: POP 000012c6: SWAP1 000012c7: JUMP 000012c8: JUMPDEST 000012c9: PUSH1 0x07 000012cb: PUSH1 0x00 000012cd: SWAP1 000012ce: SLOAD 000012cf: SWAP1 000012d0: PUSH2 0x0100 000012d3: EXP 000012d4: SWAP1 000012d5: DIV 000012d6: PUSH1 0xff 000012d8: AND 000012d9: DUP2 000012da: JUMP 000012db: JUMPDEST 000012dc: PUSH1 0x00 000012de: PUSH2 0x12fc 000012e1: DUP3 000012e2: PUSH1 0x05 000012e4: PUSH1 0x00 000012e6: SWAP1 000012e7: SLOAD 000012e8: SWAP1 000012e9: PUSH2 0x0100 000012ec: EXP 000012ed: SWAP1 000012ee: DIV 000012ef: PUSH1 0xff 000012f1: AND 000012f2: PUSH1 0xff 000012f4: AND 000012f5: PUSH1 0x0a 000012f7: EXP 000012f8: PUSH2 0x2399 000012fb: JUMP 000012fc: JUMPDEST 000012fd: SWAP1 000012fe: POP 000012ff: SWAP2 00001300: SWAP1 00001301: POP 00001302: JUMP 00001303: JUMPDEST 00001304: PUSH1 0x00 00001306: PUSH1 0x02 00001308: PUSH1 0x00 0000130a: SWAP1 0000130b: SLOAD 0000130c: SWAP1 0000130d: PUSH2 0x0100 00001310: EXP 00001311: SWAP1 00001312: DIV 00001313: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001328: AND 00001329: SWAP1 0000132a: POP 0000132b: SWAP1 0000132c: JUMP 0000132d: JUMPDEST 0000132e: PUSH2 0x1335 00001331: PUSH2 0x2391 00001334: JUMP 00001335: JUMPDEST 00001336: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000134b: AND 0000134c: PUSH2 0x1353 0000134f: PUSH2 0x16e9 00001352: JUMP 00001353: JUMPDEST 00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001369: AND 0000136a: EQ 0000136b: PUSH2 0x13dc 0000136e: JUMPI 0000136f: PUSH1 0x40 00001371: MLOAD 00001372: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001393: DUP2 00001394: MSTORE 00001395: PUSH1 0x04 00001397: ADD 00001398: DUP1 00001399: DUP1 0000139a: PUSH1 0x20 0000139c: ADD 0000139d: DUP3 0000139e: DUP2 0000139f: SUB 000013a0: DUP3 000013a1: MSTORE 000013a2: PUSH1 0x20 000013a4: DUP2 000013a5: MSTORE 000013a6: PUSH1 0x20 000013a8: ADD 000013a9: DUP1 000013aa: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000013cb: DUP2 000013cc: MSTORE 000013cd: POP 000013ce: PUSH1 0x20 000013d0: ADD 000013d1: SWAP2 000013d2: POP 000013d3: POP 000013d4: PUSH1 0x40 000013d6: MLOAD 000013d7: DUP1 000013d8: SWAP2 000013d9: SUB 000013da: SWAP1 000013db: REVERT 000013dc: JUMPDEST 000013dd: PUSH1 0x00 000013df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f4: AND 000013f5: PUSH1 0x00 000013f7: DUP1 000013f8: SLOAD 000013f9: SWAP1 000013fa: PUSH2 0x0100 000013fd: EXP 000013fe: SWAP1 000013ff: DIV 00001400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001415: AND 00001416: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142b: AND 0000142c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000144d: PUSH1 0x40 0000144f: MLOAD 00001450: PUSH1 0x40 00001452: MLOAD 00001453: DUP1 00001454: SWAP2 00001455: SUB 00001456: SWAP1 00001457: LOG3 00001458: PUSH1 0x00 0000145a: DUP1 0000145b: PUSH1 0x00 0000145d: PUSH2 0x0100 00001460: EXP 00001461: DUP2 00001462: SLOAD 00001463: DUP2 00001464: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001479: MUL 0000147a: NOT 0000147b: AND 0000147c: SWAP1 0000147d: DUP4 0000147e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001493: AND 00001494: MUL 00001495: OR 00001496: SWAP1 00001497: SSTORE 00001498: POP 00001499: JUMP 0000149a: JUMPDEST 0000149b: PUSH1 0x00 0000149d: DUP1 0000149e: DUP3 0000149f: EQ 000014a0: ISZERO 000014a1: PUSH2 0x14ad 000014a4: JUMPI 000014a5: PUSH1 0x00 000014a7: SWAP1 000014a8: POP 000014a9: PUSH2 0x15cd 000014ac: JUMP 000014ad: JUMPDEST 000014ae: PUSH1 0x00 000014b0: PUSH2 0x14d5 000014b3: PUSH2 0x14c6 000014b6: PUSH1 0x64 000014b8: DUP6 000014b9: PUSH2 0x2184 000014bc: SWAP1 000014bd: SWAP2 000014be: SWAP1 000014bf: PUSH4 0xffffffff 000014c4: AND 000014c5: JUMP 000014c6: JUMPDEST 000014c7: DUP5 000014c8: PUSH2 0x2101 000014cb: SWAP1 000014cc: SWAP2 000014cd: SWAP1 000014ce: PUSH4 0xffffffff 000014d3: AND 000014d4: JUMP 000014d5: JUMPDEST 000014d6: SWAP1 000014d7: POP 000014d8: PUSH1 0x00 000014da: PUSH2 0x1566 000014dd: PUSH2 0x1561 000014e0: PUSH2 0x14f6 000014e3: PUSH1 0x06 000014e5: SLOAD 000014e6: PUSH1 0x06 000014e8: SLOAD 000014e9: PUSH2 0x207b 000014ec: SWAP1 000014ed: SWAP2 000014ee: SWAP1 000014ef: PUSH4 0xffffffff 000014f4: AND 000014f5: JUMP 000014f6: JUMPDEST 000014f7: PUSH2 0x155c 000014fa: PUSH2 0x1557 000014fd: PUSH2 0x1517 00001500: PUSH2 0x1509 00001503: PUSH1 0x03 00001505: PUSH2 0x2454 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH2 0x1512 0000150d: DUP10 0000150e: PUSH2 0x1018 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH2 0x22be 00001516: JUMP 00001517: JUMPDEST 00001518: PUSH2 0x1552 0000151b: PUSH2 0x1542 0000151e: PUSH2 0x153b 00001521: PUSH2 0x152b 00001524: PUSH1 0x03 00001526: SLOAD 00001527: PUSH2 0x1018 0000152a: JUMP 0000152b: JUMPDEST 0000152c: PUSH2 0x1536 0000152f: PUSH1 0x06 00001531: SLOAD 00001532: PUSH2 0x1018 00001535: JUMP 00001536: JUMPDEST 00001537: PUSH2 0x2477 0000153a: JUMP 0000153b: JUMPDEST 0000153c: PUSH1 0x02 0000153e: PUSH2 0x24fa 00001541: JUMP 00001542: JUMPDEST 00001543: PUSH2 0x154d 00001546: PUSH1 0x03 00001548: SLOAD 00001549: PUSH2 0x1018 0000154c: JUMP 0000154d: JUMPDEST 0000154e: PUSH2 0x22be 00001551: JUMP 00001552: JUMPDEST 00001553: PUSH2 0x280f 00001556: JUMP 00001557: JUMPDEST 00001558: PUSH2 0x12db 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH2 0x207b 00001560: JUMP 00001561: JUMPDEST 00001562: PUSH2 0x0830 00001565: JUMP 00001566: JUMPDEST 00001567: SWAP1 00001568: POP 00001569: PUSH1 0x06 0000156b: SLOAD 0000156c: DUP2 0000156d: GT 0000156e: ISZERO 0000156f: PUSH2 0x15c3 00001572: JUMPI 00001573: PUSH1 0x40 00001575: MLOAD 00001576: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001597: DUP2 00001598: MSTORE 00001599: PUSH1 0x04 0000159b: ADD 0000159c: DUP1 0000159d: DUP1 0000159e: PUSH1 0x20 000015a0: ADD 000015a1: DUP3 000015a2: DUP2 000015a3: SUB 000015a4: DUP3 000015a5: MSTORE 000015a6: PUSH1 0x26 000015a8: DUP2 000015a9: MSTORE 000015aa: PUSH1 0x20 000015ac: ADD 000015ad: DUP1 000015ae: PUSH2 0x2c42 000015b1: PUSH1 0x26 000015b3: SWAP2 000015b4: CODECOPY 000015b5: PUSH1 0x40 000015b7: ADD 000015b8: SWAP2 000015b9: POP 000015ba: POP 000015bb: PUSH1 0x40 000015bd: MLOAD 000015be: DUP1 000015bf: SWAP2 000015c0: SUB 000015c1: SWAP1 000015c2: REVERT 000015c3: JUMPDEST 000015c4: PUSH1 0x03 000015c6: SLOAD 000015c7: DUP2 000015c8: SUB 000015c9: SWAP3 000015ca: POP 000015cb: POP 000015cc: POP 000015cd: JUMPDEST 000015ce: SWAP2 000015cf: SWAP1 000015d0: POP 000015d1: JUMP 000015d2: JUMPDEST 000015d3: PUSH1 0x04 000015d5: SLOAD 000015d6: DUP2 000015d7: JUMP 000015d8: JUMPDEST 000015d9: PUSH1 0x00 000015db: DUP1 000015dc: PUSH1 0x03 000015de: SLOAD 000015df: EQ 000015e0: ISZERO 000015e1: PUSH2 0x15ec 000015e4: JUMPI 000015e5: SELFBALANCE 000015e6: SWAP1 000015e7: POP 000015e8: PUSH2 0x161a 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH1 0x00 000015ef: PUSH2 0x1601 000015f2: PUSH1 0x03 000015f4: SLOAD 000015f5: PUSH2 0x15fc 000015f8: PUSH2 0x120a 000015fb: JUMP 000015fc: JUMPDEST 000015fd: PUSH2 0x171c 00001600: JUMP 00001601: JUMPDEST 00001602: SWAP1 00001603: POP 00001604: PUSH2 0x1616 00001607: DUP2 00001608: SELFBALANCE 00001609: PUSH2 0x2101 0000160c: SWAP1 0000160d: SWAP2 0000160e: SWAP1 0000160f: PUSH4 0xffffffff 00001614: AND 00001615: JUMP 00001616: JUMPDEST 00001617: SWAP2 00001618: POP 00001619: POP 0000161a: JUMPDEST 0000161b: SWAP1 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH2 0x1625 00001621: PUSH2 0x2391 00001624: JUMP 00001625: JUMPDEST 00001626: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163b: AND 0000163c: PUSH2 0x1643 0000163f: PUSH2 0x16e9 00001642: JUMP 00001643: JUMPDEST 00001644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001659: AND 0000165a: EQ 0000165b: PUSH2 0x16cc 0000165e: JUMPI 0000165f: PUSH1 0x40 00001661: MLOAD 00001662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001683: DUP2 00001684: MSTORE 00001685: PUSH1 0x04 00001687: ADD 00001688: DUP1 00001689: DUP1 0000168a: PUSH1 0x20 0000168c: ADD 0000168d: DUP3 0000168e: DUP2 0000168f: SUB 00001690: DUP3 00001691: MSTORE 00001692: PUSH1 0x20 00001694: DUP2 00001695: MSTORE 00001696: PUSH1 0x20 00001698: ADD 00001699: DUP1 0000169a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000016bb: DUP2 000016bc: MSTORE 000016bd: POP 000016be: PUSH1 0x20 000016c0: ADD 000016c1: SWAP2 000016c2: POP 000016c3: POP 000016c4: PUSH1 0x40 000016c6: MLOAD 000016c7: DUP1 000016c8: SWAP2 000016c9: SUB 000016ca: SWAP1 000016cb: REVERT 000016cc: JUMPDEST 000016cd: PUSH1 0x01 000016cf: PUSH1 0x07 000016d1: PUSH1 0x00 000016d3: PUSH2 0x0100 000016d6: EXP 000016d7: DUP2 000016d8: SLOAD 000016d9: DUP2 000016da: PUSH1 0xff 000016dc: MUL 000016dd: NOT 000016de: AND 000016df: SWAP1 000016e0: DUP4 000016e1: ISZERO 000016e2: ISZERO 000016e3: MUL 000016e4: OR 000016e5: SWAP1 000016e6: SSTORE 000016e7: POP 000016e8: JUMP 000016e9: JUMPDEST 000016ea: PUSH1 0x00 000016ec: DUP1 000016ed: PUSH1 0x00 000016ef: SWAP1 000016f0: SLOAD 000016f1: SWAP1 000016f2: PUSH2 0x0100 000016f5: EXP 000016f6: SWAP1 000016f7: DIV 000016f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000170d: AND 0000170e: SWAP1 0000170f: POP 00001710: SWAP1 00001711: JUMP 00001712: JUMPDEST 00001713: PUSH1 0x00 00001715: PUSH1 0x04 00001717: SLOAD 00001718: SWAP1 00001719: POP 0000171a: SWAP1 0000171b: JUMP 0000171c: JUMPDEST 0000171d: PUSH1 0x00 0000171f: DUP1 00001720: DUP3 00001721: DUP5 00001722: SUB 00001723: EQ 00001724: ISZERO 00001725: PUSH2 0x1731 00001728: JUMPI 00001729: PUSH1 0x00 0000172b: SWAP1 0000172c: POP 0000172d: PUSH2 0x18e9 00001730: JUMP 00001731: JUMPDEST 00001732: DUP2 00001733: DUP4 00001734: GT 00001735: PUSH2 0x1789 00001738: JUMPI 00001739: PUSH1 0x40 0000173b: MLOAD 0000173c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000175d: DUP2 0000175e: MSTORE 0000175f: PUSH1 0x04 00001761: ADD 00001762: DUP1 00001763: DUP1 00001764: PUSH1 0x20 00001766: ADD 00001767: DUP3 00001768: DUP2 00001769: SUB 0000176a: DUP3 0000176b: MSTORE 0000176c: PUSH1 0x22 0000176e: DUP2 0000176f: MSTORE 00001770: PUSH1 0x20 00001772: ADD 00001773: DUP1 00001774: PUSH2 0x2d24 00001777: PUSH1 0x22 00001779: SWAP2 0000177a: CODECOPY 0000177b: PUSH1 0x40 0000177d: ADD 0000177e: SWAP2 0000177f: POP 00001780: POP 00001781: PUSH1 0x40 00001783: MLOAD 00001784: DUP1 00001785: SWAP2 00001786: SUB 00001787: SWAP1 00001788: REVERT 00001789: JUMPDEST 0000178a: PUSH1 0x06 0000178c: SLOAD 0000178d: DUP4 0000178e: GT 0000178f: ISZERO 00001790: PUSH2 0x17e4 00001793: JUMPI 00001794: PUSH1 0x40 00001796: MLOAD 00001797: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017b8: DUP2 000017b9: MSTORE 000017ba: PUSH1 0x04 000017bc: ADD 000017bd: DUP1 000017be: DUP1 000017bf: PUSH1 0x20 000017c1: ADD 000017c2: DUP3 000017c3: DUP2 000017c4: SUB 000017c5: DUP3 000017c6: MSTORE 000017c7: PUSH1 0x2e 000017c9: DUP2 000017ca: MSTORE 000017cb: PUSH1 0x20 000017cd: ADD 000017ce: DUP1 000017cf: PUSH2 0x2d67 000017d2: PUSH1 0x2e 000017d4: SWAP2 000017d5: CODECOPY 000017d6: PUSH1 0x40 000017d8: ADD 000017d9: SWAP2 000017da: POP 000017db: POP 000017dc: PUSH1 0x40 000017de: MLOAD 000017df: DUP1 000017e0: SWAP2 000017e1: SUB 000017e2: SWAP1 000017e3: REVERT 000017e4: JUMPDEST 000017e5: PUSH2 0x17fb 000017e8: PUSH1 0x03 000017ea: SLOAD 000017eb: PUSH1 0x06 000017ed: SLOAD 000017ee: PUSH2 0x2101 000017f1: SWAP1 000017f2: SWAP2 000017f3: SWAP1 000017f4: PUSH4 0xffffffff 000017f9: AND 000017fa: JUMP 000017fb: JUMPDEST 000017fc: PUSH2 0x180e 000017ff: DUP4 00001800: DUP6 00001801: PUSH2 0x2101 00001804: SWAP1 00001805: SWAP2 00001806: SWAP1 00001807: PUSH4 0xffffffff 0000180c: AND 0000180d: JUMP 0000180e: JUMPDEST 0000180f: GT 00001810: ISZERO 00001811: PUSH2 0x1865 00001814: JUMPI 00001815: PUSH1 0x40 00001817: MLOAD 00001818: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001839: DUP2 0000183a: MSTORE 0000183b: PUSH1 0x04 0000183d: ADD 0000183e: DUP1 0000183f: DUP1 00001840: PUSH1 0x20 00001842: ADD 00001843: DUP3 00001844: DUP2 00001845: SUB 00001846: DUP3 00001847: MSTORE 00001848: PUSH1 0x2e 0000184a: DUP2 0000184b: MSTORE 0000184c: PUSH1 0x20 0000184e: ADD 0000184f: DUP1 00001850: PUSH2 0x2de8 00001853: PUSH1 0x2e 00001855: SWAP2 00001856: CODECOPY 00001857: PUSH1 0x40 00001859: ADD 0000185a: SWAP2 0000185b: POP 0000185c: POP 0000185d: PUSH1 0x40 0000185f: MLOAD 00001860: DUP1 00001861: SWAP2 00001862: SUB 00001863: SWAP1 00001864: REVERT 00001865: JUMPDEST 00001866: PUSH2 0x18e6 00001869: PUSH2 0x18e1 0000186c: PUSH2 0x1888 0000186f: PUSH2 0x1879 00001872: PUSH1 0x06 00001874: SLOAD 00001875: PUSH2 0x1018 00001878: JUMP 00001879: JUMPDEST 0000187a: PUSH2 0x1883 0000187d: PUSH1 0x03 0000187f: PUSH2 0x2454 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH2 0x2477 00001887: JUMP 00001888: JUMPDEST 00001889: PUSH2 0x18dc 0000188c: PUSH2 0x18b1 0000188f: PUSH2 0x18aa 00001892: PUSH2 0x189a 00001895: DUP10 00001896: PUSH2 0x1018 00001899: JUMP 0000189a: JUMPDEST 0000189b: PUSH2 0x18a5 0000189e: PUSH1 0x06 000018a0: SLOAD 000018a1: PUSH2 0x1018 000018a4: JUMP 000018a5: JUMPDEST 000018a6: PUSH2 0x2477 000018a9: JUMP 000018aa: JUMPDEST 000018ab: PUSH1 0x03 000018ad: PUSH2 0x24fa 000018b0: JUMP 000018b1: JUMPDEST 000018b2: PUSH2 0x18d7 000018b5: PUSH2 0x18d0 000018b8: PUSH2 0x18c0 000018bb: DUP10 000018bc: PUSH2 0x1018 000018bf: JUMP 000018c0: JUMPDEST 000018c1: PUSH2 0x18cb 000018c4: PUSH1 0x06 000018c6: SLOAD 000018c7: PUSH2 0x1018 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH2 0x2477 000018cf: JUMP 000018d0: JUMPDEST 000018d1: PUSH1 0x03 000018d3: PUSH2 0x24fa 000018d6: JUMP 000018d7: JUMPDEST 000018d8: PUSH2 0x2876 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH2 0x22be 000018e0: JUMP 000018e1: JUMPDEST 000018e2: PUSH2 0x12db 000018e5: JUMP 000018e6: JUMPDEST 000018e7: SWAP1 000018e8: POP 000018e9: JUMPDEST 000018ea: SWAP3 000018eb: SWAP2 000018ec: POP 000018ed: POP 000018ee: JUMP 000018ef: JUMPDEST 000018f0: PUSH1 0x00 000018f2: PUSH1 0x03 000018f4: SLOAD 000018f5: SWAP1 000018f6: POP 000018f7: SWAP1 000018f8: JUMP 000018f9: JUMPDEST 000018fa: PUSH1 0x00 000018fc: DUP1 000018fd: DUP3 000018fe: EQ 000018ff: ISZERO 00001900: PUSH2 0x190c 00001903: JUMPI 00001904: PUSH1 0x00 00001906: SWAP1 00001907: POP 00001908: PUSH2 0x1998 0000190b: JUMP 0000190c: JUMPDEST 0000190d: PUSH1 0x06 0000190f: SLOAD 00001910: DUP3 00001911: GT 00001912: ISZERO 00001913: PUSH2 0x1967 00001916: JUMPI 00001917: PUSH1 0x40 00001919: MLOAD 0000191a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000193b: DUP2 0000193c: MSTORE 0000193d: PUSH1 0x04 0000193f: ADD 00001940: DUP1 00001941: DUP1 00001942: PUSH1 0x20 00001944: ADD 00001945: DUP3 00001946: DUP2 00001947: SUB 00001948: DUP3 00001949: MSTORE 0000194a: PUSH1 0x30 0000194c: DUP2 0000194d: MSTORE 0000194e: PUSH1 0x20 00001950: ADD 00001951: DUP1 00001952: PUSH2 0x2c9b 00001955: PUSH1 0x30 00001957: SWAP2 00001958: CODECOPY 00001959: PUSH1 0x40 0000195b: ADD 0000195c: SWAP2 0000195d: POP 0000195e: POP 0000195f: PUSH1 0x40 00001961: MLOAD 00001962: DUP1 00001963: SWAP2 00001964: SUB 00001965: SWAP1 00001966: REVERT 00001967: JUMPDEST 00001968: PUSH2 0x1995 0000196b: PUSH2 0x1990 0000196e: PUSH2 0x1989 00001971: PUSH2 0x1979 00001974: DUP6 00001975: PUSH2 0x1018 00001978: JUMP 00001979: JUMPDEST 0000197a: PUSH2 0x1984 0000197d: PUSH1 0x06 0000197f: SLOAD 00001980: PUSH2 0x1018 00001983: JUMP 00001984: JUMPDEST 00001985: PUSH2 0x2477 00001988: JUMP 00001989: JUMPDEST 0000198a: PUSH1 0x02 0000198c: PUSH2 0x24fa 0000198f: JUMP 00001990: JUMPDEST 00001991: PUSH2 0x12db 00001994: JUMP 00001995: JUMPDEST 00001996: SWAP1 00001997: POP 00001998: JUMPDEST 00001999: SWAP2 0000199a: SWAP1 0000199b: POP 0000199c: JUMP 0000199d: JUMPDEST 0000199e: PUSH1 0x00 000019a0: DUP4 000019a1: GT 000019a2: PUSH2 0x19f6 000019a5: JUMPI 000019a6: PUSH1 0x40 000019a8: MLOAD 000019a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000019ca: DUP2 000019cb: MSTORE 000019cc: PUSH1 0x04 000019ce: ADD 000019cf: DUP1 000019d0: DUP1 000019d1: PUSH1 0x20 000019d3: ADD 000019d4: DUP3 000019d5: DUP2 000019d6: SUB 000019d7: DUP3 000019d8: MSTORE 000019d9: PUSH1 0x21 000019db: DUP2 000019dc: MSTORE 000019dd: PUSH1 0x20 000019df: ADD 000019e0: DUP1 000019e1: PUSH2 0x2d46 000019e4: PUSH1 0x21 000019e6: SWAP2 000019e7: CODECOPY 000019e8: PUSH1 0x40 000019ea: ADD 000019eb: SWAP2 000019ec: POP 000019ed: POP 000019ee: PUSH1 0x40 000019f0: MLOAD 000019f1: DUP1 000019f2: SWAP2 000019f3: SUB 000019f4: SWAP1 000019f5: REVERT 000019f6: JUMPDEST 000019f7: PUSH2 0x19fe 000019fa: PUSH2 0x120a 000019fd: JUMP 000019fe: JUMPDEST 000019ff: PUSH1 0x03 00001a01: SLOAD 00001a02: SUB 00001a03: DUP4 00001a04: GT 00001a05: ISZERO 00001a06: PUSH2 0x1a5a 00001a09: JUMPI 00001a0a: PUSH1 0x40 00001a0c: MLOAD 00001a0d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a2e: DUP2 00001a2f: MSTORE 00001a30: PUSH1 0x04 00001a32: ADD 00001a33: DUP1 00001a34: DUP1 00001a35: PUSH1 0x20 00001a37: ADD 00001a38: DUP3 00001a39: DUP2 00001a3a: SUB 00001a3b: DUP3 00001a3c: MSTORE 00001a3d: PUSH1 0x38 00001a3f: DUP2 00001a40: MSTORE 00001a41: PUSH1 0x20 00001a43: ADD 00001a44: DUP1 00001a45: PUSH2 0x2ccb 00001a48: PUSH1 0x38 00001a4a: SWAP2 00001a4b: CODECOPY 00001a4c: PUSH1 0x40 00001a4e: ADD 00001a4f: SWAP2 00001a50: POP 00001a51: POP 00001a52: PUSH1 0x40 00001a54: MLOAD 00001a55: DUP1 00001a56: SWAP2 00001a57: SUB 00001a58: SWAP1 00001a59: REVERT 00001a5a: JUMPDEST 00001a5b: PUSH1 0x01 00001a5d: PUSH1 0x00 00001a5f: SWAP1 00001a60: SLOAD 00001a61: SWAP1 00001a62: PUSH2 0x0100 00001a65: EXP 00001a66: SWAP1 00001a67: DIV 00001a68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a7d: AND 00001a7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a93: AND 00001a94: PUSH4 0xdd62ed3e 00001a99: CALLER 00001a9a: ADDRESS 00001a9b: PUSH1 0x40 00001a9d: MLOAD 00001a9e: DUP4 00001a9f: PUSH4 0xffffffff 00001aa4: AND 00001aa5: PUSH1 0xe0 00001aa7: SHL 00001aa8: DUP2 00001aa9: MSTORE 00001aaa: PUSH1 0x04 00001aac: ADD 00001aad: DUP1 00001aae: DUP4 00001aaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ac4: AND 00001ac5: DUP2 00001ac6: MSTORE 00001ac7: PUSH1 0x20 00001ac9: ADD 00001aca: DUP3 00001acb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ae0: AND 00001ae1: DUP2 00001ae2: MSTORE 00001ae3: PUSH1 0x20 00001ae5: ADD 00001ae6: SWAP3 00001ae7: POP 00001ae8: POP 00001ae9: POP 00001aea: PUSH1 0x20 00001aec: PUSH1 0x40 00001aee: MLOAD 00001aef: DUP1 00001af0: DUP4 00001af1: SUB 00001af2: DUP2 00001af3: PUSH1 0x00 00001af5: DUP8 00001af6: DUP1 00001af7: EXTCODESIZE 00001af8: ISZERO 00001af9: DUP1 00001afa: ISZERO 00001afb: PUSH2 0x1b03 00001afe: JUMPI 00001aff: PUSH1 0x00 00001b01: DUP1 00001b02: REVERT 00001b03: JUMPDEST 00001b04: POP 00001b05: GAS 00001b06: CALL 00001b07: ISZERO 00001b08: DUP1 00001b09: ISZERO 00001b0a: PUSH2 0x1b17 00001b0d: JUMPI 00001b0e: RETURNDATASIZE 00001b0f: PUSH1 0x00 00001b11: DUP1 00001b12: RETURNDATACOPY 00001b13: RETURNDATASIZE 00001b14: PUSH1 0x00 00001b16: REVERT 00001b17: JUMPDEST 00001b18: POP 00001b19: POP 00001b1a: POP 00001b1b: POP 00001b1c: PUSH1 0x40 00001b1e: MLOAD 00001b1f: RETURNDATASIZE 00001b20: PUSH1 0x20 00001b22: DUP2 00001b23: LT 00001b24: ISZERO 00001b25: PUSH2 0x1b2d 00001b28: JUMPI 00001b29: PUSH1 0x00 00001b2b: DUP1 00001b2c: REVERT 00001b2d: JUMPDEST 00001b2e: DUP2 00001b2f: ADD 00001b30: SWAP1 00001b31: DUP1 00001b32: DUP1 00001b33: MLOAD 00001b34: SWAP1 00001b35: PUSH1 0x20 00001b37: ADD 00001b38: SWAP1 00001b39: SWAP3 00001b3a: SWAP2 00001b3b: SWAP1 00001b3c: POP 00001b3d: POP 00001b3e: POP 00001b3f: DUP4 00001b40: GT 00001b41: ISZERO 00001b42: PUSH2 0x1b96 00001b45: JUMPI 00001b46: PUSH1 0x40 00001b48: MLOAD 00001b49: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b6a: DUP2 00001b6b: MSTORE 00001b6c: PUSH1 0x04 00001b6e: ADD 00001b6f: DUP1 00001b70: DUP1 00001b71: PUSH1 0x20 00001b73: ADD 00001b74: DUP3 00001b75: DUP2 00001b76: SUB 00001b77: DUP3 00001b78: MSTORE 00001b79: PUSH1 0x29 00001b7b: DUP2 00001b7c: MSTORE 00001b7d: PUSH1 0x20 00001b7f: ADD 00001b80: DUP1 00001b81: PUSH2 0x2dbf 00001b84: PUSH1 0x29 00001b86: SWAP2 00001b87: CODECOPY 00001b88: PUSH1 0x40 00001b8a: ADD 00001b8b: SWAP2 00001b8c: POP 00001b8d: POP 00001b8e: PUSH1 0x40 00001b90: MLOAD 00001b91: DUP1 00001b92: SWAP2 00001b93: SUB 00001b94: SWAP1 00001b95: REVERT 00001b96: JUMPDEST 00001b97: PUSH1 0x00 00001b99: PUSH2 0x1ba1 00001b9c: DUP5 00001b9d: PUSH2 0x09ff 00001ba0: JUMP 00001ba1: JUMPDEST 00001ba2: SWAP1 00001ba3: POP 00001ba4: DUP1 00001ba5: DUP4 00001ba6: GT 00001ba7: ISZERO 00001ba8: PUSH2 0x1c59 00001bab: JUMPI 00001bac: PUSH2 0x1bd2 00001baf: DUP3 00001bb0: PUSH2 0x1bc4 00001bb3: PUSH2 0x2710 00001bb6: DUP7 00001bb7: PUSH2 0x2184 00001bba: SWAP1 00001bbb: SWAP2 00001bbc: SWAP1 00001bbd: PUSH4 0xffffffff 00001bc2: AND 00001bc3: JUMP 00001bc4: JUMPDEST 00001bc5: PUSH2 0x207b 00001bc8: SWAP1 00001bc9: SWAP2 00001bca: SWAP1 00001bcb: PUSH4 0xffffffff 00001bd0: AND 00001bd1: JUMP 00001bd2: JUMPDEST 00001bd3: PUSH2 0x1be5 00001bd6: DUP3 00001bd7: DUP6 00001bd8: PUSH2 0x2101 00001bdb: SWAP1 00001bdc: SWAP2 00001bdd: SWAP1 00001bde: PUSH4 0xffffffff 00001be3: AND 00001be4: JUMP 00001be5: JUMPDEST 00001be6: LT 00001be7: PUSH2 0x1c58 00001bea: JUMPI 00001beb: PUSH1 0x40 00001bed: MLOAD 00001bee: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c0f: DUP2 00001c10: MSTORE 00001c11: PUSH1 0x04 00001c13: ADD 00001c14: DUP1 00001c15: DUP1 00001c16: PUSH1 0x20 00001c18: ADD 00001c19: DUP3 00001c1a: DUP2 00001c1b: SUB 00001c1c: DUP3 00001c1d: MSTORE 00001c1e: PUSH1 0x1d 00001c20: DUP2 00001c21: MSTORE 00001c22: PUSH1 0x20 00001c24: ADD 00001c25: DUP1 00001c26: PUSH32 0x536c6970706167652067726561746572207468616e20616c6c6f776564000000 00001c47: DUP2 00001c48: MSTORE 00001c49: POP 00001c4a: PUSH1 0x20 00001c4c: ADD 00001c4d: SWAP2 00001c4e: POP 00001c4f: POP 00001c50: PUSH1 0x40 00001c52: MLOAD 00001c53: DUP1 00001c54: SWAP2 00001c55: SUB 00001c56: SWAP1 00001c57: REVERT 00001c58: JUMPDEST 00001c59: JUMPDEST 00001c5a: PUSH1 0x00 00001c5c: DUP2 00001c5d: DUP5 00001c5e: SUB 00001c5f: SWAP1 00001c60: POP 00001c61: PUSH1 0x01 00001c63: PUSH1 0x00 00001c65: SWAP1 00001c66: SLOAD 00001c67: SWAP1 00001c68: PUSH2 0x0100 00001c6b: EXP 00001c6c: SWAP1 00001c6d: DIV 00001c6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c83: AND 00001c84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c99: AND 00001c9a: PUSH4 0x23b872dd 00001c9f: CALLER 00001ca0: ADDRESS 00001ca1: DUP9 00001ca2: PUSH1 0x40 00001ca4: MLOAD 00001ca5: DUP5 00001ca6: PUSH4 0xffffffff 00001cab: AND 00001cac: PUSH1 0xe0 00001cae: SHL 00001caf: DUP2 00001cb0: MSTORE 00001cb1: PUSH1 0x04 00001cb3: ADD 00001cb4: DUP1 00001cb5: DUP5 00001cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ccb: AND 00001ccc: DUP2 00001ccd: MSTORE 00001cce: PUSH1 0x20 00001cd0: ADD 00001cd1: DUP4 00001cd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ce7: AND 00001ce8: DUP2 00001ce9: MSTORE 00001cea: PUSH1 0x20 00001cec: ADD 00001ced: DUP3 00001cee: DUP2 00001cef: MSTORE 00001cf0: PUSH1 0x20 00001cf2: ADD 00001cf3: SWAP4 00001cf4: POP 00001cf5: POP 00001cf6: POP 00001cf7: POP 00001cf8: PUSH1 0x20 00001cfa: PUSH1 0x40 00001cfc: MLOAD 00001cfd: DUP1 00001cfe: DUP4 00001cff: SUB 00001d00: DUP2 00001d01: PUSH1 0x00 00001d03: DUP8 00001d04: DUP1 00001d05: EXTCODESIZE 00001d06: ISZERO 00001d07: DUP1 00001d08: ISZERO 00001d09: PUSH2 0x1d11 00001d0c: JUMPI 00001d0d: PUSH1 0x00 00001d0f: DUP1 00001d10: REVERT 00001d11: JUMPDEST 00001d12: POP 00001d13: GAS 00001d14: CALL 00001d15: ISZERO 00001d16: DUP1 00001d17: ISZERO 00001d18: PUSH2 0x1d25 00001d1b: JUMPI 00001d1c: RETURNDATASIZE 00001d1d: PUSH1 0x00 00001d1f: DUP1 00001d20: RETURNDATACOPY 00001d21: RETURNDATASIZE 00001d22: PUSH1 0x00 00001d24: REVERT 00001d25: JUMPDEST 00001d26: POP 00001d27: POP 00001d28: POP 00001d29: POP 00001d2a: PUSH1 0x40 00001d2c: MLOAD 00001d2d: RETURNDATASIZE 00001d2e: PUSH1 0x20 00001d30: DUP2 00001d31: LT 00001d32: ISZERO 00001d33: PUSH2 0x1d3b 00001d36: JUMPI 00001d37: PUSH1 0x00 00001d39: DUP1 00001d3a: REVERT 00001d3b: JUMPDEST 00001d3c: DUP2 00001d3d: ADD 00001d3e: SWAP1 00001d3f: DUP1 00001d40: DUP1 00001d41: MLOAD 00001d42: SWAP1 00001d43: PUSH1 0x20 00001d45: ADD 00001d46: SWAP1 00001d47: SWAP3 00001d48: SWAP2 00001d49: SWAP1 00001d4a: POP 00001d4b: POP 00001d4c: POP 00001d4d: POP 00001d4e: PUSH2 0x1d62 00001d51: DUP6 00001d52: PUSH1 0x03 00001d54: SLOAD 00001d55: PUSH2 0x2101 00001d58: SWAP1 00001d59: SWAP2 00001d5a: SWAP1 00001d5b: PUSH4 0xffffffff 00001d60: AND 00001d61: JUMP 00001d62: JUMPDEST 00001d63: PUSH1 0x03 00001d65: DUP2 00001d66: SWAP1 00001d67: SSTORE 00001d68: POP 00001d69: PUSH2 0x1d73 00001d6c: PUSH1 0x03 00001d6e: SLOAD 00001d6f: PUSH2 0x18f9 00001d72: JUMP 00001d73: JUMPDEST 00001d74: PUSH1 0x04 00001d76: DUP2 00001d77: SWAP1 00001d78: SSTORE 00001d79: POP 00001d7a: CALLER 00001d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d90: AND 00001d91: PUSH32 0xa70108fc37a77e4fb183df412c5ec85d9c12294d6f4c1634c5d2a594a44db9aa 00001db2: DUP7 00001db3: DUP5 00001db4: PUSH1 0x04 00001db6: SLOAD 00001db7: PUSH1 0x03 00001db9: SLOAD 00001dba: DUP7 00001dbb: PUSH1 0x40 00001dbd: MLOAD 00001dbe: DUP1 00001dbf: DUP7 00001dc0: DUP2 00001dc1: MSTORE 00001dc2: PUSH1 0x20 00001dc4: ADD 00001dc5: DUP6 00001dc6: DUP2 00001dc7: MSTORE 00001dc8: PUSH1 0x20 00001dca: ADD 00001dcb: DUP5 00001dcc: DUP2 00001dcd: MSTORE 00001dce: PUSH1 0x20 00001dd0: ADD 00001dd1: DUP4 00001dd2: DUP2 00001dd3: MSTORE 00001dd4: PUSH1 0x20 00001dd6: ADD 00001dd7: DUP1 00001dd8: PUSH1 0x20 00001dda: ADD 00001ddb: DUP4 00001ddc: DUP2 00001ddd: MSTORE 00001dde: PUSH1 0x20 00001de0: ADD 00001de1: DUP3 00001de2: DUP2 00001de3: SUB 00001de4: DUP3 00001de5: MSTORE 00001de6: PUSH1 0x04 00001de8: DUP2 00001de9: MSTORE 00001dea: PUSH1 0x20 00001dec: ADD 00001ded: DUP1 00001dee: PUSH32 0x73656c6c00000000000000000000000000000000000000000000000000000000 00001e0f: DUP2 00001e10: MSTORE 00001e11: POP 00001e12: PUSH1 0x20 00001e14: ADD 00001e15: SWAP7 00001e16: POP 00001e17: POP 00001e18: POP 00001e19: POP 00001e1a: POP 00001e1b: POP 00001e1c: POP 00001e1d: PUSH1 0x40 00001e1f: MLOAD 00001e20: DUP1 00001e21: SWAP2 00001e22: SUB 00001e23: SWAP1 00001e24: LOG2 00001e25: CALLER 00001e26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e3b: AND 00001e3c: PUSH2 0x08fc 00001e3f: DUP4 00001e40: SWAP1 00001e41: DUP2 00001e42: ISZERO 00001e43: MUL 00001e44: SWAP1 00001e45: PUSH1 0x40 00001e47: MLOAD 00001e48: PUSH1 0x00 00001e4a: PUSH1 0x40 00001e4c: MLOAD 00001e4d: DUP1 00001e4e: DUP4 00001e4f: SUB 00001e50: DUP2 00001e51: DUP6 00001e52: DUP9 00001e53: DUP9 00001e54: CALL 00001e55: SWAP4 00001e56: POP 00001e57: POP 00001e58: POP 00001e59: POP 00001e5a: ISZERO 00001e5b: DUP1 00001e5c: ISZERO 00001e5d: PUSH2 0x1e6a 00001e60: JUMPI 00001e61: RETURNDATASIZE 00001e62: PUSH1 0x00 00001e64: DUP1 00001e65: RETURNDATACOPY 00001e66: RETURNDATASIZE 00001e67: PUSH1 0x00 00001e69: REVERT 00001e6a: JUMPDEST 00001e6b: POP 00001e6c: POP 00001e6d: POP 00001e6e: POP 00001e6f: POP 00001e70: POP 00001e71: JUMP 00001e72: JUMPDEST 00001e73: PUSH2 0x1e7a 00001e76: PUSH2 0x2391 00001e79: JUMP 00001e7a: JUMPDEST 00001e7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e90: AND 00001e91: PUSH2 0x1e98 00001e94: PUSH2 0x16e9 00001e97: JUMP 00001e98: JUMPDEST 00001e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001eae: AND 00001eaf: EQ 00001eb0: PUSH2 0x1f21 00001eb3: JUMPI 00001eb4: PUSH1 0x40 00001eb6: MLOAD 00001eb7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ed8: DUP2 00001ed9: MSTORE 00001eda: PUSH1 0x04 00001edc: ADD 00001edd: DUP1 00001ede: DUP1 00001edf: PUSH1 0x20 00001ee1: ADD 00001ee2: DUP3 00001ee3: DUP2 00001ee4: SUB 00001ee5: DUP3 00001ee6: MSTORE 00001ee7: PUSH1 0x20 00001ee9: DUP2 00001eea: MSTORE 00001eeb: PUSH1 0x20 00001eed: ADD 00001eee: DUP1 00001eef: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001f10: DUP2 00001f11: MSTORE 00001f12: POP 00001f13: PUSH1 0x20 00001f15: ADD 00001f16: SWAP2 00001f17: POP 00001f18: POP 00001f19: PUSH1 0x40 00001f1b: MLOAD 00001f1c: DUP1 00001f1d: SWAP2 00001f1e: SUB 00001f1f: SWAP1 00001f20: REVERT 00001f21: JUMPDEST 00001f22: PUSH1 0x00 00001f24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f39: AND 00001f3a: DUP2 00001f3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f50: AND 00001f51: EQ 00001f52: ISZERO 00001f53: PUSH2 0x1fa7 00001f56: JUMPI 00001f57: PUSH1 0x40 00001f59: MLOAD 00001f5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f7b: DUP2 00001f7c: MSTORE 00001f7d: PUSH1 0x04 00001f7f: ADD 00001f80: DUP1 00001f81: DUP1 00001f82: PUSH1 0x20 00001f84: ADD 00001f85: DUP3 00001f86: DUP2 00001f87: SUB 00001f88: DUP3 00001f89: MSTORE 00001f8a: PUSH1 0x26 00001f8c: DUP2 00001f8d: MSTORE 00001f8e: PUSH1 0x20 00001f90: ADD 00001f91: DUP1 00001f92: PUSH2 0x2c1c 00001f95: PUSH1 0x26 00001f97: SWAP2 00001f98: CODECOPY 00001f99: PUSH1 0x40 00001f9b: ADD 00001f9c: SWAP2 00001f9d: POP 00001f9e: POP 00001f9f: PUSH1 0x40 00001fa1: MLOAD 00001fa2: DUP1 00001fa3: SWAP2 00001fa4: SUB 00001fa5: SWAP1 00001fa6: REVERT 00001fa7: JUMPDEST 00001fa8: DUP1 00001fa9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fbe: AND 00001fbf: PUSH1 0x00 00001fc1: DUP1 00001fc2: SLOAD 00001fc3: SWAP1 00001fc4: PUSH2 0x0100 00001fc7: EXP 00001fc8: SWAP1 00001fc9: DIV 00001fca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fdf: AND 00001fe0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ff5: AND 00001ff6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00002017: PUSH1 0x40 00002019: MLOAD 0000201a: PUSH1 0x40 0000201c: MLOAD 0000201d: DUP1 0000201e: SWAP2 0000201f: SUB 00002020: SWAP1 00002021: LOG3 00002022: DUP1 00002023: PUSH1 0x00 00002025: DUP1 00002026: PUSH2 0x0100 00002029: EXP 0000202a: DUP2 0000202b: SLOAD 0000202c: DUP2 0000202d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002042: MUL 00002043: NOT 00002044: AND 00002045: SWAP1 00002046: DUP4 00002047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000205c: AND 0000205d: MUL 0000205e: OR 0000205f: SWAP1 00002060: SSTORE 00002061: POP 00002062: POP 00002063: JUMP 00002064: JUMPDEST 00002065: PUSH1 0x00 00002067: PUSH1 0x07 00002069: PUSH1 0x00 0000206b: SWAP1 0000206c: SLOAD 0000206d: SWAP1 0000206e: PUSH2 0x0100 00002071: EXP 00002072: SWAP1 00002073: DIV 00002074: PUSH1 0xff 00002076: AND 00002077: SWAP1 00002078: POP 00002079: SWAP1 0000207a: JUMP 0000207b: JUMPDEST 0000207c: PUSH1 0x00 0000207e: DUP1 0000207f: DUP4 00002080: EQ 00002081: ISZERO 00002082: PUSH2 0x208e 00002085: JUMPI 00002086: PUSH1 0x00 00002088: SWAP1 00002089: POP 0000208a: PUSH2 0x20fb 0000208d: JUMP 0000208e: JUMPDEST 0000208f: PUSH1 0x00 00002091: DUP3 00002092: DUP5 00002093: MUL 00002094: SWAP1 00002095: POP 00002096: DUP3 00002097: DUP5 00002098: DUP3 00002099: DUP2 0000209a: PUSH2 0x209f 0000209d: JUMPI 0000209e: INVALID 0000209f: JUMPDEST 000020a0: DIV 000020a1: EQ 000020a2: PUSH2 0x20f6 000020a5: JUMPI 000020a6: PUSH1 0x40 000020a8: MLOAD 000020a9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000020ca: DUP2 000020cb: MSTORE 000020cc: PUSH1 0x04 000020ce: ADD 000020cf: DUP1 000020d0: DUP1 000020d1: PUSH1 0x20 000020d3: ADD 000020d4: DUP3 000020d5: DUP2 000020d6: SUB 000020d7: DUP3 000020d8: MSTORE 000020d9: PUSH1 0x21 000020db: DUP2 000020dc: MSTORE 000020dd: PUSH1 0x20 000020df: ADD 000020e0: DUP1 000020e1: PUSH2 0x2d03 000020e4: PUSH1 0x21 000020e6: SWAP2 000020e7: CODECOPY 000020e8: PUSH1 0x40 000020ea: ADD 000020eb: SWAP2 000020ec: POP 000020ed: POP 000020ee: PUSH1 0x40 000020f0: MLOAD 000020f1: DUP1 000020f2: SWAP2 000020f3: SUB 000020f4: SWAP1 000020f5: REVERT 000020f6: JUMPDEST 000020f7: DUP1 000020f8: SWAP2 000020f9: POP 000020fa: POP 000020fb: JUMPDEST 000020fc: SWAP3 000020fd: SWAP2 000020fe: POP 000020ff: POP 00002100: JUMP 00002101: JUMPDEST 00002102: PUSH1 0x00 00002104: DUP3 00002105: DUP3 00002106: GT 00002107: ISZERO 00002108: PUSH2 0x2179 0000210b: JUMPI 0000210c: PUSH1 0x40 0000210e: MLOAD 0000210f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002130: DUP2 00002131: MSTORE 00002132: PUSH1 0x04 00002134: ADD 00002135: DUP1 00002136: DUP1 00002137: PUSH1 0x20 00002139: ADD 0000213a: DUP3 0000213b: DUP2 0000213c: SUB 0000213d: DUP3 0000213e: MSTORE 0000213f: PUSH1 0x1e 00002141: DUP2 00002142: MSTORE 00002143: PUSH1 0x20 00002145: ADD 00002146: DUP1 00002147: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002168: DUP2 00002169: MSTORE 0000216a: POP 0000216b: PUSH1 0x20 0000216d: ADD 0000216e: SWAP2 0000216f: POP 00002170: POP 00002171: PUSH1 0x40 00002173: MLOAD 00002174: DUP1 00002175: SWAP2 00002176: SUB 00002177: SWAP1 00002178: REVERT 00002179: JUMPDEST 0000217a: DUP2 0000217b: DUP4 0000217c: SUB 0000217d: SWAP1 0000217e: POP 0000217f: SWAP3 00002180: SWAP2 00002181: POP 00002182: POP 00002183: JUMP 00002184: JUMPDEST 00002185: PUSH1 0x00 00002187: DUP1 00002188: DUP3 00002189: GT 0000218a: PUSH2 0x21fb 0000218d: JUMPI 0000218e: PUSH1 0x40 00002190: MLOAD 00002191: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000021b2: DUP2 000021b3: MSTORE 000021b4: PUSH1 0x04 000021b6: ADD 000021b7: DUP1 000021b8: DUP1 000021b9: PUSH1 0x20 000021bb: ADD 000021bc: DUP3 000021bd: DUP2 000021be: SUB 000021bf: DUP3 000021c0: MSTORE 000021c1: PUSH1 0x1a 000021c3: DUP2 000021c4: MSTORE 000021c5: PUSH1 0x20 000021c7: ADD 000021c8: DUP1 000021c9: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000021ea: DUP2 000021eb: MSTORE 000021ec: POP 000021ed: PUSH1 0x20 000021ef: ADD 000021f0: SWAP2 000021f1: POP 000021f2: POP 000021f3: PUSH1 0x40 000021f5: MLOAD 000021f6: DUP1 000021f7: SWAP2 000021f8: SUB 000021f9: SWAP1 000021fa: REVERT 000021fb: JUMPDEST 000021fc: DUP2 000021fd: DUP4 000021fe: DUP2 000021ff: PUSH2 0x2204 00002202: JUMPI 00002203: INVALID 00002204: JUMPDEST 00002205: DIV 00002206: SWAP1 00002207: POP 00002208: SWAP3 00002209: SWAP2 0000220a: POP 0000220b: POP 0000220c: JUMP 0000220d: JUMPDEST 0000220e: PUSH1 0x00 00002210: DUP1 00002211: DUP3 00002212: DUP5 00002213: ADD 00002214: SWAP1 00002215: POP 00002216: DUP4 00002217: DUP2 00002218: LT 00002219: ISZERO 0000221a: PUSH2 0x228b 0000221d: JUMPI 0000221e: PUSH1 0x40 00002220: MLOAD 00002221: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002242: DUP2 00002243: MSTORE 00002244: PUSH1 0x04 00002246: ADD 00002247: DUP1 00002248: DUP1 00002249: PUSH1 0x20 0000224b: ADD 0000224c: DUP3 0000224d: DUP2 0000224e: SUB 0000224f: DUP3 00002250: MSTORE 00002251: PUSH1 0x1b 00002253: DUP2 00002254: MSTORE 00002255: PUSH1 0x20 00002257: ADD 00002258: DUP1 00002259: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 0000227a: DUP2 0000227b: MSTORE 0000227c: POP 0000227d: PUSH1 0x20 0000227f: ADD 00002280: SWAP2 00002281: POP 00002282: POP 00002283: PUSH1 0x40 00002285: MLOAD 00002286: DUP1 00002287: SWAP2 00002288: SUB 00002289: SWAP1 0000228a: REVERT 0000228b: JUMPDEST 0000228c: DUP1 0000228d: SWAP2 0000228e: POP 0000228f: POP 00002290: SWAP3 00002291: SWAP2 00002292: POP 00002293: POP 00002294: JUMP 00002295: JUMPDEST 00002296: PUSH1 0x00 00002298: DUP1 00002299: DUP3 0000229a: PUSH1 0x0f 0000229c: SIGNEXTEND 0000229d: SLT 0000229e: ISZERO 0000229f: PUSH2 0x22a7 000022a2: JUMPI 000022a3: PUSH1 0x00 000022a5: DUP1 000022a6: REVERT 000022a7: JUMPDEST 000022a8: PUSH2 0x22b7 000022ab: PUSH1 0x40 000022ad: DUP4 000022ae: PUSH1 0x0f 000022b0: SIGNEXTEND 000022b1: SWAP1 000022b2: SHL 000022b3: PUSH2 0x28dd 000022b6: JUMP 000022b7: JUMPDEST 000022b8: SWAP1 000022b9: POP 000022ba: SWAP2 000022bb: SWAP1 000022bc: POP 000022bd: JUMP 000022be: JUMPDEST 000022bf: PUSH1 0x00 000022c1: DUP1 000022c2: PUSH1 0x40 000022c4: DUP4 000022c5: PUSH1 0x0f 000022c7: SIGNEXTEND 000022c8: DUP6 000022c9: PUSH1 0x0f 000022cb: SIGNEXTEND 000022cc: MUL 000022cd: SWAP1 000022ce: SAR 000022cf: SWAP1 000022d0: POP 000022d1: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 000022f2: PUSH1 0x0f 000022f4: SIGNEXTEND 000022f5: DUP2 000022f6: SLT 000022f7: ISZERO 000022f8: DUP1 000022f9: ISZERO 000022fa: PUSH2 0x2316 000022fd: JUMPI 000022fe: POP 000022ff: PUSH16 0x7fffffffffffffffffffffffffffffff 00002310: PUSH1 0x0f 00002312: SIGNEXTEND 00002313: DUP2 00002314: SGT 00002315: ISZERO 00002316: JUMPDEST 00002317: PUSH2 0x231f 0000231a: JUMPI 0000231b: PUSH1 0x00 0000231d: DUP1 0000231e: REVERT 0000231f: JUMPDEST 00002320: DUP1 00002321: SWAP2 00002322: POP 00002323: POP 00002324: SWAP3 00002325: SWAP2 00002326: POP 00002327: POP 00002328: JUMP 00002329: JUMPDEST 0000232a: PUSH1 0x00 0000232c: DUP1 0000232d: DUP3 0000232e: EQ 0000232f: ISZERO 00002330: PUSH2 0x2338 00002333: JUMPI 00002334: PUSH1 0x00 00002336: DUP1 00002337: REVERT 00002338: JUMPDEST 00002339: PUSH1 0x00 0000233b: PUSH2 0x2344 0000233e: DUP5 0000233f: DUP5 00002340: PUSH2 0x2a5a 00002343: JUMP 00002344: JUMPDEST 00002345: SWAP1 00002346: POP 00002347: PUSH16 0x7fffffffffffffffffffffffffffffff 00002358: PUSH16 0xffffffffffffffffffffffffffffffff 00002369: AND 0000236a: DUP2 0000236b: PUSH16 0xffffffffffffffffffffffffffffffff 0000237c: AND 0000237d: GT 0000237e: ISZERO 0000237f: PUSH2 0x2387 00002382: JUMPI 00002383: PUSH1 0x00 00002385: DUP1 00002386: REVERT 00002387: JUMPDEST 00002388: DUP1 00002389: SWAP2 0000238a: POP 0000238b: POP 0000238c: SWAP3 0000238d: SWAP2 0000238e: POP 0000238f: POP 00002390: JUMP 00002391: JUMPDEST 00002392: PUSH1 0x00 00002394: CALLER 00002395: SWAP1 00002396: POP 00002397: SWAP1 00002398: JUMP 00002399: JUMPDEST 0000239a: PUSH1 0x00 0000239c: DUP1 0000239d: DUP3 0000239e: EQ 0000239f: ISZERO 000023a0: PUSH2 0x23ac 000023a3: JUMPI 000023a4: PUSH1 0x00 000023a6: SWAP1 000023a7: POP 000023a8: PUSH2 0x244e 000023ab: JUMP 000023ac: JUMPDEST 000023ad: PUSH1 0x00 000023af: DUP4 000023b0: PUSH1 0x0f 000023b2: SIGNEXTEND 000023b3: SLT 000023b4: ISZERO 000023b5: PUSH2 0x23bd 000023b8: JUMPI 000023b9: PUSH1 0x00 000023bb: DUP1 000023bc: REVERT 000023bd: JUMPDEST 000023be: PUSH1 0x00 000023c0: PUSH1 0x40 000023c2: PUSH16 0xffffffffffffffffffffffffffffffff 000023d3: DUP5 000023d4: AND 000023d5: DUP6 000023d6: PUSH1 0x0f 000023d8: SIGNEXTEND 000023d9: MUL 000023da: SWAP1 000023db: SHR 000023dc: SWAP1 000023dd: POP 000023de: PUSH1 0x00 000023e0: PUSH1 0x80 000023e2: DUP5 000023e3: SWAP1 000023e4: SHR 000023e5: DUP6 000023e6: PUSH1 0x0f 000023e8: SIGNEXTEND 000023e9: MUL 000023ea: SWAP1 000023eb: POP 000023ec: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00002405: DUP2 00002406: GT 00002407: ISZERO 00002408: PUSH2 0x2410 0000240b: JUMPI 0000240c: PUSH1 0x00 0000240e: DUP1 0000240f: REVERT 00002410: JUMPDEST 00002411: PUSH1 0x40 00002413: DUP2 00002414: SWAP1 00002415: SHL 00002416: SWAP1 00002417: POP 00002418: DUP2 00002419: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000243a: SUB 0000243b: DUP2 0000243c: GT 0000243d: ISZERO 0000243e: PUSH2 0x2446 00002441: JUMPI 00002442: PUSH1 0x00 00002444: DUP1 00002445: REVERT 00002446: JUMPDEST 00002447: DUP2 00002448: DUP2 00002449: ADD 0000244a: SWAP3 0000244b: POP 0000244c: POP 0000244d: POP 0000244e: JUMPDEST 0000244f: SWAP3 00002450: SWAP2 00002451: POP 00002452: POP 00002453: JUMP 00002454: JUMPDEST 00002455: PUSH1 0x00 00002457: PUSH8 0x7fffffffffffffff 00002460: DUP3 00002461: GT 00002462: ISZERO 00002463: PUSH2 0x246b 00002466: JUMPI 00002467: PUSH1 0x00 00002469: DUP1 0000246a: REVERT 0000246b: JUMPDEST 0000246c: PUSH1 0x40 0000246e: DUP3 0000246f: SWAP1 00002470: SHL 00002471: SWAP1 00002472: POP 00002473: SWAP2 00002474: SWAP1 00002475: POP 00002476: JUMP 00002477: JUMPDEST 00002478: PUSH1 0x00 0000247a: DUP1 0000247b: DUP3 0000247c: PUSH1 0x0f 0000247e: SIGNEXTEND 0000247f: EQ 00002480: ISZERO 00002481: PUSH2 0x2489 00002484: JUMPI 00002485: PUSH1 0x00 00002487: DUP1 00002488: REVERT 00002489: JUMPDEST 0000248a: PUSH1 0x00 0000248c: DUP3 0000248d: PUSH1 0x0f 0000248f: SIGNEXTEND 00002490: PUSH1 0x40 00002492: DUP6 00002493: PUSH1 0x0f 00002495: SIGNEXTEND 00002496: SWAP1 00002497: SHL 00002498: DUP2 00002499: PUSH2 0x249e 0000249c: JUMPI 0000249d: INVALID 0000249e: JUMPDEST 0000249f: SDIV 000024a0: SWAP1 000024a1: POP 000024a2: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 000024c3: PUSH1 0x0f 000024c5: SIGNEXTEND 000024c6: DUP2 000024c7: SLT 000024c8: ISZERO 000024c9: DUP1 000024ca: ISZERO 000024cb: PUSH2 0x24e7 000024ce: JUMPI 000024cf: POP 000024d0: PUSH16 0x7fffffffffffffffffffffffffffffff 000024e1: PUSH1 0x0f 000024e3: SIGNEXTEND 000024e4: DUP2 000024e5: SGT 000024e6: ISZERO 000024e7: JUMPDEST 000024e8: PUSH2 0x24f0 000024eb: JUMPI 000024ec: PUSH1 0x00 000024ee: DUP1 000024ef: REVERT 000024f0: JUMPDEST 000024f1: DUP1 000024f2: SWAP2 000024f3: POP 000024f4: POP 000024f5: SWAP3 000024f6: SWAP2 000024f7: POP 000024f8: POP 000024f9: JUMP 000024fa: JUMPDEST 000024fb: PUSH1 0x00 000024fd: DUP1 000024fe: PUSH1 0x00 00002500: DUP5 00002501: PUSH1 0x0f 00002503: SIGNEXTEND 00002504: SLT 00002505: DUP1 00002506: ISZERO 00002507: PUSH2 0x2512 0000250a: JUMPI 0000250b: POP 0000250c: PUSH1 0x01 0000250e: DUP1 0000250f: DUP5 00002510: AND 00002511: EQ 00002512: JUMPDEST 00002513: SWAP1 00002514: POP 00002515: PUSH1 0x00 00002517: DUP1 00002518: DUP6 00002519: PUSH1 0x0f 0000251b: SIGNEXTEND 0000251c: SLT 0000251d: PUSH2 0x2526 00002520: JUMPI 00002521: DUP5 00002522: PUSH2 0x252b 00002525: JUMP 00002526: JUMPDEST 00002527: DUP5 00002528: PUSH1 0x00 0000252a: SUB 0000252b: JUMPDEST 0000252c: PUSH16 0xffffffffffffffffffffffffffffffff 0000253d: AND 0000253e: SWAP1 0000253f: POP 00002540: PUSH1 0x00 00002542: PUSH17 0x0100000000000000000000000000000000 00002554: SWAP1 00002555: POP 00002556: PUSH9 0x010000000000000000 00002560: DUP3 00002561: GT 00002562: PUSH2 0x2605 00002565: JUMPI 00002566: PUSH1 0x3f 00002568: DUP3 00002569: SWAP1 0000256a: SHL 0000256b: SWAP2 0000256c: POP 0000256d: JUMPDEST 0000256e: PUSH1 0x00 00002570: DUP6 00002571: EQ 00002572: PUSH2 0x25f9 00002575: JUMPI 00002576: PUSH1 0x00 00002578: PUSH1 0x01 0000257a: DUP7 0000257b: AND 0000257c: EQ 0000257d: PUSH2 0x258a 00002580: JUMPI 00002581: PUSH1 0x7f 00002583: DUP3 00002584: DUP3 00002585: MUL 00002586: SWAP1 00002587: SHR 00002588: SWAP1 00002589: POP 0000258a: JUMPDEST 0000258b: PUSH1 0x7f 0000258d: DUP3 0000258e: DUP4 0000258f: MUL 00002590: SWAP1 00002591: SHR 00002592: SWAP2 00002593: POP 00002594: PUSH1 0x00 00002596: PUSH1 0x02 00002598: DUP7 00002599: AND 0000259a: EQ 0000259b: PUSH2 0x25a8 0000259e: JUMPI 0000259f: PUSH1 0x7f 000025a1: DUP3 000025a2: DUP3 000025a3: MUL 000025a4: SWAP1 000025a5: SHR 000025a6: SWAP1 000025a7: POP 000025a8: JUMPDEST 000025a9: PUSH1 0x7f 000025ab: DUP3 000025ac: DUP4 000025ad: MUL 000025ae: SWAP1 000025af: SHR 000025b0: SWAP2 000025b1: POP 000025b2: PUSH1 0x00 000025b4: PUSH1 0x04 000025b6: DUP7 000025b7: AND 000025b8: EQ 000025b9: PUSH2 0x25c6 000025bc: JUMPI 000025bd: PUSH1 0x7f 000025bf: DUP3 000025c0: DUP3 000025c1: MUL 000025c2: SWAP1 000025c3: SHR 000025c4: SWAP1 000025c5: POP 000025c6: JUMPDEST 000025c7: PUSH1 0x7f 000025c9: DUP3 000025ca: DUP4 000025cb: MUL 000025cc: SWAP1 000025cd: SHR 000025ce: SWAP2 000025cf: POP 000025d0: PUSH1 0x00 000025d2: PUSH1 0x08 000025d4: DUP7 000025d5: AND 000025d6: EQ 000025d7: PUSH2 0x25e4 000025da: JUMPI 000025db: PUSH1 0x7f 000025dd: DUP3 000025de: DUP3 000025df: MUL 000025e0: SWAP1 000025e1: SHR 000025e2: SWAP1 000025e3: POP 000025e4: JUMPDEST 000025e5: PUSH1 0x7f 000025e7: DUP3 000025e8: DUP4 000025e9: MUL 000025ea: SWAP1 000025eb: SHR 000025ec: SWAP2 000025ed: POP 000025ee: PUSH1 0x04 000025f0: DUP6 000025f1: SWAP1 000025f2: SHR 000025f3: SWAP5 000025f4: POP 000025f5: PUSH2 0x256d 000025f8: JUMP 000025f9: JUMPDEST 000025fa: PUSH1 0x40 000025fc: DUP2 000025fd: SWAP1 000025fe: SHR 000025ff: SWAP1 00002600: POP 00002601: PUSH2 0x279f 00002604: JUMP 00002605: JUMPDEST 00002606: PUSH1 0x00 00002608: PUSH1 0x3f 0000260a: SWAP1 0000260b: POP 0000260c: PUSH13 0x01000000000000000000000000 0000261a: DUP4 0000261b: LT 0000261c: ISZERO 0000261d: PUSH2 0x262e 00002620: JUMPI 00002621: PUSH1 0x20 00002623: DUP4 00002624: SWAP1 00002625: SHL 00002626: SWAP3 00002627: POP 00002628: PUSH1 0x20 0000262a: DUP2 0000262b: SUB 0000262c: SWAP1 0000262d: POP 0000262e: JUMPDEST 0000262f: PUSH15 0x010000000000000000000000000000 0000263f: DUP4 00002640: LT 00002641: ISZERO 00002642: PUSH2 0x2653 00002645: JUMPI 00002646: PUSH1 0x10 00002648: DUP4 00002649: SWAP1 0000264a: SHL 0000264b: SWAP3 0000264c: POP 0000264d: PUSH1 0x10 0000264f: DUP2 00002650: SUB 00002651: SWAP1 00002652: POP 00002653: JUMPDEST 00002654: PUSH16 0x01000000000000000000000000000000 00002665: DUP4 00002666: LT 00002667: ISZERO 00002668: PUSH2 0x2679 0000266b: JUMPI 0000266c: PUSH1 0x08 0000266e: DUP4 0000266f: SWAP1 00002670: SHL 00002671: SWAP3 00002672: POP 00002673: PUSH1 0x08 00002675: DUP2 00002676: SUB 00002677: SWAP1 00002678: POP 00002679: JUMPDEST 0000267a: PUSH16 0x10000000000000000000000000000000 0000268b: DUP4 0000268c: LT 0000268d: ISZERO 0000268e: PUSH2 0x269f 00002691: JUMPI 00002692: PUSH1 0x04 00002694: DUP4 00002695: SWAP1 00002696: SHL 00002697: SWAP3 00002698: POP 00002699: PUSH1 0x04 0000269b: DUP2 0000269c: SUB 0000269d: SWAP1 0000269e: POP 0000269f: JUMPDEST 000026a0: PUSH16 0x40000000000000000000000000000000 000026b1: DUP4 000026b2: LT 000026b3: ISZERO 000026b4: PUSH2 0x26c5 000026b7: JUMPI 000026b8: PUSH1 0x02 000026ba: DUP4 000026bb: SWAP1 000026bc: SHL 000026bd: SWAP3 000026be: POP 000026bf: PUSH1 0x02 000026c1: DUP2 000026c2: SUB 000026c3: SWAP1 000026c4: POP 000026c5: JUMPDEST 000026c6: PUSH16 0x80000000000000000000000000000000 000026d7: DUP4 000026d8: LT 000026d9: ISZERO 000026da: PUSH2 0x26eb 000026dd: JUMPI 000026de: PUSH1 0x01 000026e0: DUP4 000026e1: SWAP1 000026e2: SHL 000026e3: SWAP3 000026e4: POP 000026e5: PUSH1 0x01 000026e7: DUP2 000026e8: SUB 000026e9: SWAP1 000026ea: POP 000026eb: JUMPDEST 000026ec: PUSH1 0x00 000026ee: JUMPDEST 000026ef: PUSH1 0x00 000026f1: DUP8 000026f2: EQ 000026f3: PUSH2 0x2786 000026f6: JUMPI 000026f7: PUSH1 0x40 000026f9: DUP3 000026fa: LT 000026fb: PUSH2 0x2703 000026fe: JUMPI 000026ff: PUSH1 0x00 00002701: DUP1 00002702: REVERT 00002703: JUMPDEST 00002704: PUSH1 0x00 00002706: PUSH1 0x01 00002708: DUP9 00002709: AND 0000270a: EQ 0000270b: PUSH2 0x2744 0000270e: JUMPI 0000270f: PUSH1 0x7f 00002711: DUP5 00002712: DUP5 00002713: MUL 00002714: SWAP1 00002715: SHR 00002716: SWAP3 00002717: POP 00002718: DUP2 00002719: DUP2 0000271a: ADD 0000271b: SWAP1 0000271c: POP 0000271d: PUSH17 0x0100000000000000000000000000000000 0000272f: DUP4 00002730: GT 00002731: ISZERO 00002732: PUSH2 0x2743 00002735: JUMPI 00002736: PUSH1 0x01 00002738: DUP4 00002739: SWAP1 0000273a: SHR 0000273b: SWAP3 0000273c: POP 0000273d: PUSH1 0x01 0000273f: DUP2 00002740: ADD 00002741: SWAP1 00002742: POP 00002743: JUMPDEST 00002744: JUMPDEST 00002745: PUSH1 0x7f 00002747: DUP5 00002748: DUP6 00002749: MUL 0000274a: SWAP1 0000274b: SHR 0000274c: SWAP4 0000274d: POP 0000274e: PUSH1 0x01 00002750: DUP3 00002751: SWAP1 00002752: SHL 00002753: SWAP2 00002754: POP 00002755: PUSH17 0x0100000000000000000000000000000000 00002767: DUP5 00002768: LT 00002769: PUSH2 0x277a 0000276c: JUMPI 0000276d: PUSH1 0x01 0000276f: DUP5 00002770: SWAP1 00002771: SHR 00002772: SWAP4 00002773: POP 00002774: PUSH1 0x01 00002776: DUP3 00002777: ADD 00002778: SWAP2 00002779: POP 0000277a: JUMPDEST 0000277b: PUSH1 0x01 0000277d: DUP8 0000277e: SWAP1 0000277f: SHR 00002780: SWAP7 00002781: POP 00002782: PUSH2 0x26ee 00002785: JUMP 00002786: JUMPDEST 00002787: PUSH1 0x40 00002789: DUP2 0000278a: LT 0000278b: PUSH2 0x2793 0000278e: JUMPI 0000278f: PUSH1 0x00 00002791: DUP1 00002792: REVERT 00002793: JUMPDEST 00002794: DUP1 00002795: PUSH1 0x40 00002797: SUB 00002798: DUP4 00002799: SWAP1 0000279a: SHR 0000279b: SWAP3 0000279c: POP 0000279d: POP 0000279e: POP 0000279f: JUMPDEST 000027a0: PUSH1 0x00 000027a2: DUP4 000027a3: PUSH2 0x27ac 000027a6: JUMPI 000027a7: DUP2 000027a8: PUSH2 0x27b1 000027ab: JUMP 000027ac: JUMPDEST 000027ad: DUP2 000027ae: PUSH1 0x00 000027b0: SUB 000027b1: JUMPDEST 000027b2: SWAP1 000027b3: POP 000027b4: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 000027d5: PUSH1 0x0f 000027d7: SIGNEXTEND 000027d8: DUP2 000027d9: SLT 000027da: ISZERO 000027db: DUP1 000027dc: ISZERO 000027dd: PUSH2 0x27f9 000027e0: JUMPI 000027e1: POP 000027e2: PUSH16 0x7fffffffffffffffffffffffffffffff 000027f3: PUSH1 0x0f 000027f5: SIGNEXTEND 000027f6: DUP2 000027f7: SGT 000027f8: ISZERO 000027f9: JUMPDEST 000027fa: PUSH2 0x2802 000027fd: JUMPI 000027fe: PUSH1 0x00 00002800: DUP1 00002801: REVERT 00002802: JUMPDEST 00002803: DUP1 00002804: SWAP5 00002805: POP 00002806: POP 00002807: POP 00002808: POP 00002809: POP 0000280a: SWAP3 0000280b: SWAP2 0000280c: POP 0000280d: POP 0000280e: JUMP 0000280f: JUMPDEST 00002810: PUSH1 0x00 00002812: DUP1 00002813: DUP3 00002814: PUSH1 0x0f 00002816: SIGNEXTEND 00002817: DUP5 00002818: PUSH1 0x0f 0000281a: SIGNEXTEND 0000281b: ADD 0000281c: SWAP1 0000281d: POP 0000281e: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 0000283f: PUSH1 0x0f 00002841: SIGNEXTEND 00002842: DUP2 00002843: SLT 00002844: ISZERO 00002845: DUP1 00002846: ISZERO 00002847: PUSH2 0x2863 0000284a: JUMPI 0000284b: POP 0000284c: PUSH16 0x7fffffffffffffffffffffffffffffff 0000285d: PUSH1 0x0f 0000285f: SIGNEXTEND 00002860: DUP2 00002861: SGT 00002862: ISZERO 00002863: JUMPDEST 00002864: PUSH2 0x286c 00002867: JUMPI 00002868: PUSH1 0x00 0000286a: DUP1 0000286b: REVERT 0000286c: JUMPDEST 0000286d: DUP1 0000286e: SWAP2 0000286f: POP 00002870: POP 00002871: SWAP3 00002872: SWAP2 00002873: POP 00002874: POP 00002875: JUMP 00002876: JUMPDEST 00002877: PUSH1 0x00 00002879: DUP1 0000287a: DUP3 0000287b: PUSH1 0x0f 0000287d: SIGNEXTEND 0000287e: DUP5 0000287f: PUSH1 0x0f 00002881: SIGNEXTEND 00002882: SUB 00002883: SWAP1 00002884: POP 00002885: PUSH32 0xffffffffffffffffffffffffffffffff80000000000000000000000000000000 000028a6: PUSH1 0x0f 000028a8: SIGNEXTEND 000028a9: DUP2 000028aa: SLT 000028ab: ISZERO 000028ac: DUP1 000028ad: ISZERO 000028ae: PUSH2 0x28ca 000028b1: JUMPI 000028b2: POP 000028b3: PUSH16 0x7fffffffffffffffffffffffffffffff 000028c4: PUSH1 0x0f 000028c6: SIGNEXTEND 000028c7: DUP2 000028c8: SGT 000028c9: ISZERO 000028ca: JUMPDEST 000028cb: PUSH2 0x28d3 000028ce: JUMPI 000028cf: PUSH1 0x00 000028d1: DUP1 000028d2: REVERT 000028d3: JUMPDEST 000028d4: DUP1 000028d5: SWAP2 000028d6: POP 000028d7: POP 000028d8: SWAP3 000028d9: SWAP2 000028da: POP 000028db: POP 000028dc: JUMP 000028dd: JUMPDEST 000028de: PUSH1 0x00 000028e0: DUP1 000028e1: DUP3 000028e2: EQ 000028e3: ISZERO 000028e4: PUSH2 0x28f0 000028e7: JUMPI 000028e8: PUSH1 0x00 000028ea: SWAP1 000028eb: POP 000028ec: PUSH2 0x2a55 000028ef: JUMP 000028f0: JUMPDEST 000028f1: PUSH1 0x00 000028f3: DUP3 000028f4: SWAP1 000028f5: POP 000028f6: PUSH1 0x00 000028f8: PUSH1 0x01 000028fa: SWAP1 000028fb: POP 000028fc: PUSH17 0x0100000000000000000000000000000000 0000290e: DUP3 0000290f: LT 00002910: PUSH2 0x2922 00002913: JUMPI 00002914: PUSH1 0x80 00002916: DUP3 00002917: SWAP1 00002918: SHR 00002919: SWAP2 0000291a: POP 0000291b: PUSH1 0x40 0000291d: DUP2 0000291e: SWAP1 0000291f: SHL 00002920: SWAP1 00002921: POP 00002922: JUMPDEST 00002923: PUSH9 0x010000000000000000 0000292d: DUP3 0000292e: LT 0000292f: PUSH2 0x2941 00002932: JUMPI 00002933: PUSH1 0x40 00002935: DUP3 00002936: SWAP1 00002937: SHR 00002938: SWAP2 00002939: POP 0000293a: PUSH1 0x20 0000293c: DUP2 0000293d: SWAP1 0000293e: SHL 0000293f: SWAP1 00002940: POP 00002941: JUMPDEST 00002942: PUSH5 0x0100000000 00002948: DUP3 00002949: LT 0000294a: PUSH2 0x295c 0000294d: JUMPI 0000294e: PUSH1 0x20 00002950: DUP3 00002951: SWAP1 00002952: SHR 00002953: SWAP2 00002954: POP 00002955: PUSH1 0x10 00002957: DUP2 00002958: SWAP1 00002959: SHL 0000295a: SWAP1 0000295b: POP 0000295c: JUMPDEST 0000295d: PUSH3 0x010000 00002961: DUP3 00002962: LT 00002963: PUSH2 0x2975 00002966: JUMPI 00002967: PUSH1 0x10 00002969: DUP3 0000296a: SWAP1 0000296b: SHR 0000296c: SWAP2 0000296d: POP 0000296e: PUSH1 0x08 00002970: DUP2 00002971: SWAP1 00002972: SHL 00002973: SWAP1 00002974: POP 00002975: JUMPDEST 00002976: PUSH2 0x0100 00002979: DUP3 0000297a: LT 0000297b: PUSH2 0x298d 0000297e: JUMPI 0000297f: PUSH1 0x08 00002981: DUP3 00002982: SWAP1 00002983: SHR 00002984: SWAP2 00002985: POP 00002986: PUSH1 0x04 00002988: DUP2 00002989: SWAP1 0000298a: SHL 0000298b: SWAP1 0000298c: POP 0000298d: JUMPDEST 0000298e: PUSH1 0x10 00002990: DUP3 00002991: LT 00002992: PUSH2 0x29a4 00002995: JUMPI 00002996: PUSH1 0x04 00002998: DUP3 00002999: SWAP1 0000299a: SHR 0000299b: SWAP2 0000299c: POP 0000299d: PUSH1 0x02 0000299f: DUP2 000029a0: SWAP1 000029a1: SHL 000029a2: SWAP1 000029a3: POP 000029a4: JUMPDEST 000029a5: PUSH1 0x08 000029a7: DUP3 000029a8: LT 000029a9: PUSH2 0x29b4 000029ac: JUMPI 000029ad: PUSH1 0x01 000029af: DUP2 000029b0: SWAP1 000029b1: SHL 000029b2: SWAP1 000029b3: POP 000029b4: JUMPDEST 000029b5: PUSH1 0x01 000029b7: DUP2 000029b8: DUP6 000029b9: DUP2 000029ba: PUSH2 0x29bf 000029bd: JUMPI 000029be: INVALID 000029bf: JUMPDEST 000029c0: DIV 000029c1: DUP3 000029c2: ADD 000029c3: SWAP1 000029c4: SHR 000029c5: SWAP1 000029c6: POP 000029c7: PUSH1 0x01 000029c9: DUP2 000029ca: DUP6 000029cb: DUP2 000029cc: PUSH2 0x29d1 000029cf: JUMPI 000029d0: INVALID 000029d1: JUMPDEST 000029d2: DIV 000029d3: DUP3 000029d4: ADD 000029d5: SWAP1 000029d6: SHR 000029d7: SWAP1 000029d8: POP 000029d9: PUSH1 0x01 000029db: DUP2 000029dc: DUP6 000029dd: DUP2 000029de: PUSH2 0x29e3 000029e1: JUMPI 000029e2: INVALID 000029e3: JUMPDEST 000029e4: DIV 000029e5: DUP3 000029e6: ADD 000029e7: SWAP1 000029e8: SHR 000029e9: SWAP1 000029ea: POP 000029eb: PUSH1 0x01 000029ed: DUP2 000029ee: DUP6 000029ef: DUP2 000029f0: PUSH2 0x29f5 000029f3: JUMPI 000029f4: INVALID 000029f5: JUMPDEST 000029f6: DIV 000029f7: DUP3 000029f8: ADD 000029f9: SWAP1 000029fa: SHR 000029fb: SWAP1 000029fc: POP 000029fd: PUSH1 0x01 000029ff: DUP2 00002a00: DUP6 00002a01: DUP2 00002a02: PUSH2 0x2a07 00002a05: JUMPI 00002a06: INVALID 00002a07: JUMPDEST 00002a08: DIV 00002a09: DUP3 00002a0a: ADD 00002a0b: SWAP1 00002a0c: SHR 00002a0d: SWAP1 00002a0e: POP 00002a0f: PUSH1 0x01 00002a11: DUP2 00002a12: DUP6 00002a13: DUP2 00002a14: PUSH2 0x2a19 00002a17: JUMPI 00002a18: INVALID 00002a19: JUMPDEST 00002a1a: DIV 00002a1b: DUP3 00002a1c: ADD 00002a1d: SWAP1 00002a1e: SHR 00002a1f: SWAP1 00002a20: POP 00002a21: PUSH1 0x01 00002a23: DUP2 00002a24: DUP6 00002a25: DUP2 00002a26: PUSH2 0x2a2b 00002a29: JUMPI 00002a2a: INVALID 00002a2b: JUMPDEST 00002a2c: DIV 00002a2d: DUP3 00002a2e: ADD 00002a2f: SWAP1 00002a30: SHR 00002a31: SWAP1 00002a32: POP 00002a33: PUSH1 0x00 00002a35: DUP2 00002a36: DUP6 00002a37: DUP2 00002a38: PUSH2 0x2a3d 00002a3b: JUMPI 00002a3c: INVALID 00002a3d: JUMPDEST 00002a3e: DIV 00002a3f: SWAP1 00002a40: POP 00002a41: DUP1 00002a42: DUP3 00002a43: LT 00002a44: PUSH2 0x2a4d 00002a47: JUMPI 00002a48: DUP1 00002a49: PUSH2 0x2a4f 00002a4c: JUMP 00002a4d: JUMPDEST 00002a4e: DUP2 00002a4f: JUMPDEST 00002a50: SWAP4 00002a51: POP 00002a52: POP 00002a53: POP 00002a54: POP 00002a55: JUMPDEST 00002a56: SWAP2 00002a57: SWAP1 00002a58: POP 00002a59: JUMP 00002a5a: JUMPDEST 00002a5b: PUSH1 0x00 00002a5d: DUP1 00002a5e: DUP3 00002a5f: EQ 00002a60: ISZERO 00002a61: PUSH2 0x2a69 00002a64: JUMPI 00002a65: PUSH1 0x00 00002a67: DUP1 00002a68: REVERT 00002a69: JUMPDEST 00002a6a: PUSH1 0x00 00002a6c: PUSH24 0xffffffffffffffffffffffffffffffffffffffffffffffff 00002a85: DUP5 00002a86: GT 00002a87: PUSH2 0x2a9f 00002a8a: JUMPI 00002a8b: DUP3 00002a8c: PUSH1 0x40 00002a8e: DUP6 00002a8f: SWAP1 00002a90: SHL 00002a91: DUP2 00002a92: PUSH2 0x2a97 00002a95: JUMPI 00002a96: INVALID 00002a97: JUMPDEST 00002a98: DIV 00002a99: SWAP1 00002a9a: POP 00002a9b: PUSH2 0x2bf4 00002a9e: JUMP 00002a9f: JUMPDEST 00002aa0: PUSH1 0x00 00002aa2: PUSH1 0xc0 00002aa4: SWAP1 00002aa5: POP 00002aa6: PUSH1 0x00 00002aa8: PUSH1 0xc0 00002aaa: DUP7 00002aab: SWAP1 00002aac: SHR 00002aad: SWAP1 00002aae: POP 00002aaf: PUSH5 0x0100000000 00002ab5: DUP2 00002ab6: LT 00002ab7: PUSH2 0x2ac8 00002aba: JUMPI 00002abb: PUSH1 0x20 00002abd: DUP2 00002abe: SWAP1 00002abf: SHR 00002ac0: SWAP1 00002ac1: POP 00002ac2: PUSH1 0x20 00002ac4: DUP3 00002ac5: ADD 00002ac6: SWAP2 00002ac7: POP 00002ac8: JUMPDEST 00002ac9: PUSH3 0x010000 00002acd: DUP2 00002ace: LT 00002acf: PUSH2 0x2ae0 00002ad2: JUMPI 00002ad3: PUSH1 0x10 00002ad5: DUP2 00002ad6: SWAP1 00002ad7: SHR 00002ad8: SWAP1 00002ad9: POP 00002ada: PUSH1 0x10 00002adc: DUP3 00002add: ADD 00002ade: SWAP2 00002adf: POP 00002ae0: JUMPDEST 00002ae1: PUSH2 0x0100 00002ae4: DUP2 00002ae5: LT 00002ae6: PUSH2 0x2af7 00002ae9: JUMPI 00002aea: PUSH1 0x08 00002aec: DUP2 00002aed: SWAP1 00002aee: SHR 00002aef: SWAP1 00002af0: POP 00002af1: PUSH1 0x08 00002af3: DUP3 00002af4: ADD 00002af5: SWAP2 00002af6: POP 00002af7: JUMPDEST 00002af8: PUSH1 0x10 00002afa: DUP2 00002afb: LT 00002afc: PUSH2 0x2b0d 00002aff: JUMPI 00002b00: PUSH1 0x04 00002b02: DUP2 00002b03: SWAP1 00002b04: SHR 00002b05: SWAP1 00002b06: POP 00002b07: PUSH1 0x04 00002b09: DUP3 00002b0a: ADD 00002b0b: SWAP2 00002b0c: POP 00002b0d: JUMPDEST 00002b0e: PUSH1 0x04 00002b10: DUP2 00002b11: LT 00002b12: PUSH2 0x2b23 00002b15: JUMPI 00002b16: PUSH1 0x02 00002b18: DUP2 00002b19: SWAP1 00002b1a: SHR 00002b1b: SWAP1 00002b1c: POP 00002b1d: PUSH1 0x02 00002b1f: DUP3 00002b20: ADD 00002b21: SWAP2 00002b22: POP 00002b23: JUMPDEST 00002b24: PUSH1 0x02 00002b26: DUP2 00002b27: LT 00002b28: PUSH2 0x2b32 00002b2b: JUMPI 00002b2c: PUSH1 0x01 00002b2e: DUP3 00002b2f: ADD 00002b30: SWAP2 00002b31: POP 00002b32: JUMPDEST 00002b33: PUSH1 0x01 00002b35: PUSH1 0xbf 00002b37: DUP4 00002b38: SUB 00002b39: PUSH1 0x01 00002b3b: DUP8 00002b3c: SUB 00002b3d: SWAP1 00002b3e: SHR 00002b3f: ADD 00002b40: DUP3 00002b41: PUSH1 0xff 00002b43: SUB 00002b44: DUP8 00002b45: SWAP1 00002b46: SHL 00002b47: DUP2 00002b48: PUSH2 0x2b4d 00002b4b: JUMPI 00002b4c: INVALID 00002b4d: JUMPDEST 00002b4e: DIV 00002b4f: SWAP3 00002b50: POP 00002b51: PUSH16 0xffffffffffffffffffffffffffffffff 00002b62: DUP4 00002b63: GT 00002b64: ISZERO 00002b65: PUSH2 0x2b6d 00002b68: JUMPI 00002b69: PUSH1 0x00 00002b6b: DUP1 00002b6c: REVERT 00002b6d: JUMPDEST 00002b6e: PUSH1 0x00 00002b70: PUSH1 0x80 00002b72: DUP7 00002b73: SWAP1 00002b74: SHR 00002b75: DUP5 00002b76: MUL 00002b77: SWAP1 00002b78: POP 00002b79: PUSH1 0x00 00002b7b: PUSH16 0xffffffffffffffffffffffffffffffff 00002b8c: DUP8 00002b8d: AND 00002b8e: DUP6 00002b8f: MUL 00002b90: SWAP1 00002b91: POP 00002b92: PUSH1 0x00 00002b94: PUSH1 0xc0 00002b96: DUP10 00002b97: SWAP1 00002b98: SHR 00002b99: SWAP1 00002b9a: POP 00002b9b: PUSH1 0x00 00002b9d: PUSH1 0x40 00002b9f: DUP11 00002ba0: SWAP1 00002ba1: SHL 00002ba2: SWAP1 00002ba3: POP 00002ba4: DUP3 00002ba5: DUP2 00002ba6: LT 00002ba7: ISZERO 00002ba8: PUSH2 0x2bb2 00002bab: JUMPI 00002bac: PUSH1 0x01 00002bae: DUP3 00002baf: SUB 00002bb0: SWAP2 00002bb1: POP 00002bb2: JUMPDEST 00002bb3: DUP3 00002bb4: DUP2 00002bb5: SUB 00002bb6: SWAP1 00002bb7: POP 00002bb8: PUSH1 0x80 00002bba: DUP5 00002bbb: SWAP1 00002bbc: SHL 00002bbd: SWAP3 00002bbe: POP 00002bbf: DUP3 00002bc0: DUP2 00002bc1: LT 00002bc2: ISZERO 00002bc3: PUSH2 0x2bcd 00002bc6: JUMPI 00002bc7: PUSH1 0x01 00002bc9: DUP3 00002bca: SUB 00002bcb: SWAP2 00002bcc: POP 00002bcd: JUMPDEST 00002bce: DUP3 00002bcf: DUP2 00002bd0: SUB 00002bd1: SWAP1 00002bd2: POP 00002bd3: PUSH1 0x80 00002bd5: DUP5 00002bd6: SWAP1 00002bd7: SHR 00002bd8: DUP3 00002bd9: EQ 00002bda: PUSH2 0x2bdf 00002bdd: JUMPI 00002bde: INVALID 00002bdf: JUMPDEST 00002be0: DUP9 00002be1: DUP2 00002be2: DUP2 00002be3: PUSH2 0x2be8 00002be6: JUMPI 00002be7: INVALID 00002be8: JUMPDEST 00002be9: DIV 00002bea: DUP8 00002beb: ADD 00002bec: SWAP7 00002bed: POP 00002bee: POP 00002bef: POP 00002bf0: POP 00002bf1: POP 00002bf2: POP 00002bf3: POP 00002bf4: JUMPDEST 00002bf5: PUSH16 0xffffffffffffffffffffffffffffffff 00002c06: DUP2 00002c07: GT 00002c08: ISZERO 00002c09: PUSH2 0x2c11 00002c0c: JUMPI 00002c0d: PUSH1 0x00 00002c0f: DUP1 00002c10: REVERT 00002c11: JUMPDEST 00002c12: DUP1 00002c13: SWAP2 00002c14: POP 00002c15: POP 00002c16: SWAP3 00002c17: SWAP2 00002c18: POP 00002c19: POP 00002c1a: JUMP 00002c1b: INVALID 00002c1c: UNKNOWN(0x4F) 00002c1d: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00002c36: PUSH27 0x65726f2061646472657373537570706c7920546f70206772656174 00002c52: PUSH6 0x72207468616e 00002c59: KECCAK256 00002c5a: PUSH10 0x6e697469616c20737570 00002c65: PUSH17 0x6c79426f6e64696e672043757276652074 00002c77: PUSH6 0x726d696e6174 00002c7e: PUSH6 0x732062656c6f 00002c85: PUSH24 0x204554482f624e4f4d20707269636520696e707574426f6e 00002c9e: PUSH5 0x696e672043 00002ca4: PUSH22 0x727665207465726d696e617465732062656c6f772062 00002cbb: UNKNOWN(0x4E) 00002cbc: UNKNOWN(0x4F) 00002cbd: UNKNOWN(0x4D) 00002cbe: KECCAK256 00002cbf: PUSH2 0x6d6f 00002cc2: PUSH22 0x6e7420696e70757453656c6c20616d6f756e74206f66 00002cd9: KECCAK256 00002cda: PUSH3 0x4e4f4d 00002cde: KECCAK256 00002cdf: PUSH8 0x7265617465722074 00002ce8: PUSH9 0x616e20756e626f6e64 00002cf2: PUSH6 0x6420616d6f75 00002cf9: PUSH15 0x74206f6620624e4f4d536166654d61 00002d09: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665 00002d1f: PUSH19 0x666c6f77537570706c7920426f742067726561 00002d33: PUSH21 0x6572207468616e20537570706c7920546f7053656c 00002d49: PUSH13 0x20616d6f756e74206f6620624e 00002d57: UNKNOWN(0x4F) 00002d58: UNKNOWN(0x4D) 00002d59: KECCAK256 00002d5a: PUSH6 0x7175616c2074 00002d61: PUSH16 0x207a65726f537570706c7920546f7020 00002d72: PUSH8 0x7265617465722074 00002d7b: PUSH9 0x616e20696e69746961 00002d85: PUSH13 0x20737570706c79206f6620624e 00002d93: UNKNOWN(0x4F) 00002d94: UNKNOWN(0x4D) 00002d95: COINBASE 00002d96: PUSH14 0x6f756e74204554482073656e7420 00002da5: PUSH24 0x697468207265717565737420657175616c20746f207a6572 00002dbe: PUSH16 0x496e73756666696369656e7420426f6e 00002dcf: PUSH5 0x20436f6e74 00002dd5: PUSH19 0x61637420624e4f4d20616c6c6f77616e636552 00002de9: PUSH6 0x717565737420 00002df0: PUSH8 0x7265617465722074 00002df9: PUSH9 0x616e2074686520626f 00002e03: PUSH15 0x64656420737570706c79206f662062 00002e13: UNKNOWN(0x4E) 00002e14: UNKNOWN(0x4F) 00002e15: UNKNOWN(0x4D) 00002e16: GASLIMIT 00002e17: PUSH20 0x74696d6174656420616d6f756e74206f6620624e 00002e2c: UNKNOWN(0x4F) 00002e2d: UNKNOWN(0x4D) 00002e2e: KECCAK256 00002e2f: PUSH8 0x7265617465722062 00002e38: PUSH16 0x6e64656420737570706c79206f662062 00002e49: UNKNOWN(0x4E) 00002e4a: UNKNOWN(0x4F) 00002e4b: UNKNOWN(0x4D) 00002e4c: LOG2 00002e4d: PUSH5 0x6970667358 00002e53: UNKNOWN(0x22) 00002e54: SLT 00002e55: KECCAK256 00002e56: DUP7 00002e57: PUSH14 0xb4554f310636ac5cfb85df93ff7d 00002e66: UNKNOWN(0xB7) 00002e67: MSIZE 00002e68: EXTCODECOPY 00002e69: UNKNOWN(0xCD) 00002e6a: UNKNOWN(0xE7) 00002e6b: DUP16 00002e6c: MLOAD 00002e6d: UNKNOWN(0xB1) 00002e6e: ISZERO 00002e6f: UNKNOWN(0x4F) 00002e70: MULMOD 00002e71: UNKNOWN(0xEA) 00002e72: UNKNOWN(0xEB) 00002e73: UNKNOWN(0x2A) 00002e74: CALLDATALOAD 00002e75: AND 00002e76: PUSH5 0x736f6c6343 00002e7c: STOP 00002e7d: SMOD 00002e7e: MOD 00002e7f: STOP 00002e80: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa19df516c46005be624182671daf64279704b93308a7989f46dca6364282c4a1
call_targets:
0x264c13cfed981e3137fb43b198d14d8d5d64977e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa19df516c46005be624182671daf64279704b93308a7989f46dca6364282c4a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x264c13cfed981e3137fb43b198d14d8d5d64977e"
],
"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": "0xdaff394a",
"selector": "0xdaff394a",
"calldata_variants": [
"0xdaff394a",
"0xdaff394a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb208d6f",
"selector": "0xeb208d6f",
"calldata_variants": [
"0xeb208d6f",
"0xeb208d6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa83cb58",
"selector": "0xfa83cb58",
"calldata_variants": [
"0xfa83cb58",
"0xfa83cb580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e117f6d",
"selector": "0x8e117f6d",
"calldata_variants": [
"0x8e117f6d",
"0x8e117f6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafea5852",
"selector": "0xafea5852",
"calldata_variants": [
"0xafea5852",
"0xafea58520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc0f023c",
"selector": "0xbc0f023c",
"calldata_variants": [
"0xbc0f023c",
"0xbc0f023c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7eda9347",
"selector": "0x7eda9347",
"calldata_variants": [
"0x7eda9347",
"0x7eda93470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3493,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4585,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa19df516c46005be624182671daf64279704b93308a7989f46dca6364282c4a1
call_targets:
0x264c13cfed981e3137fb43b198d14d8d5d64977e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa19df516c46005be624182671daf64279704b93308a7989f46dca6364282c4a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x264c13cfed981e3137fb43b198d14d8d5d64977e"
],
"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": "0xdaff394a",
"selector": "0xdaff394a",
"calldata_variants": [
"0xdaff394a",
"0xdaff394a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb208d6f",
"selector": "0xeb208d6f",
"calldata_variants": [
"0xeb208d6f",
"0xeb208d6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa83cb58",
"selector": "0xfa83cb58",
"calldata_variants": [
"0xfa83cb58",
"0xfa83cb580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e117f6d",
"selector": "0x8e117f6d",
"calldata_variants": [
"0x8e117f6d",
"0x8e117f6d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xafea5852",
"selector": "0xafea5852",
"calldata_variants": [
"0xafea5852",
"0xafea58520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc0f023c",
"selector": "0xbc0f023c",
"calldata_variants": [
"0xbc0f023c",
"0xbc0f023c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7eda9347",
"selector": "0x7eda9347",
"calldata_variants": [
"0x7eda9347",
"0x7eda93470000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3493,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4585,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| medium | other | codex | Unchecked ERC20 transfer/transferFrom return values can desync accounting | 75 | no | — |
viewevidence_json{
"evidence": "`nc.transfer(...)` and `nc.transferFrom(...)` return values are ignored.",
"locations": [
"contracts/BondingNOM.sol:279",
"contracts/BondingNOM.sol:325"
],
"recommendation": "Use OpenZeppelin SafeERC20 (`safeTransfer`, `safeTransferFrom`) or explicitly `require` the boolean return values to ensure token transfers succeeded before updating state or sending ETH.",
"exploit_scenario": "If the NOM token returns false instead of reverting (or is otherwise non\u2011standard), `buyNOM` will accept ETH, update supply/pricing, and emit events even though `transfer` failed, so buyers lose ETH without receiving tokens. In `sellNOM`, `transferFrom` can fail silently and the contract still decreases `supplyNOM` and pays out ETH, enabling ETH to be drained without delivering tokens."
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|