caf881a5-f3a8-4b00-b6b0-31c41e3b5ede
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 |
|---|---|---|---|---|
| 30926 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 94567 | artifact.fetch | complete | 1 / 3 | 1 week ago |
| 94568 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 94569 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 94570 | capability.graph | complete | 1 / 3 | 1 week ago |
| 94571 | detector.run | complete | 1 / 3 | 1 week ago |
| 94572 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1073197] OpenAI Codex v0.77.0 (research preview)
[codex:1073197] --------
[codex:1073197] workdir: /tmp/codex-multi-1vje2c64
[codex:1073197] model: gpt-5.2-codex
[codex:1073197] provider: openai
[codex:1073197] approval: never
[codex:1073197] sandbox: read-only
[codex:1073197] reasoning effort: xhigh
[codex:1073197] reasoning summaries: auto
[codex:1073197] session id: 019b7638-e3f5-7022-be84-34c6b3bfabd5
[codex:1073197] --------
[codex:1073197] user
[codex:1073197] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1073197]
[codex:1073197] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1073197]
[codex:1073197] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1073197] - Gas inefficiency, code quality, naming, or best practices
[codex:1073197] - Theoretical vulnerabilities without a clear extraction path
[codex:1073197] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1073197] - Front-running unless it enables theft beyond MEV
[codex:1073197] - DoS, griefing, or issues that don't result in attacker profit
[codex:1073197] - Missing events, view function issues, or informational findings
[codex:1073197]
[codex:1073197] HIGH-VALUE PATTERNS TO HUNT:
[codex:1073197] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1073197] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1073197] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1073197] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1073197] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1073197] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1073197] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1073197] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1073197] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1073197]
[codex:1073197] For each finding, you MUST provide:
[codex:1073197] 1. Exact file and line numbers of vulnerable code
[codex:1073197] 2. Step-by-step exploit transaction sequence
[codex:1073197] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1073197]
[codex:1073197] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1073197]
[codex:1073197] Output MUST be valid JSON matching the provided schema.
[codex:1073197] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1073197] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1073197] mcp startup: no servers
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Reading instructions from AUDIT_BUNDLE**
[codex:1073197] exec
[codex:1073197] /bin/bash -lc ls in /tmp/codex-multi-1vje2c64 succeeded in 5ms:
[codex:1073197] AUDIT_BUNDLE.txt
[codex:1073197] codex-output-schema.json
[codex:1073197] contracts
[codex:1073197] exec
[codex:1073197] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-1vje2c64 succeeded in 5ms:
[codex:1073197] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1073197]
[codex:1073197] ================================================================================
[codex:1073197] FILE: contracts/contracts/interfaces/IDiamondCut.sol
[codex:1073197] ================================================================================
[codex:1073197] // SPDX-License-Identifier: MIT
[codex:1073197] pragma solidity ^0.8.20;
[codex:1073197]
[codex:1073197]
[codex:1073197] /******************************************************************************\
[codex:1073197] * Author: Nick Mudge <nick@perfectabstractions.com> (https://twitter.com/mudgen)
[codex:1073197] /******************************************************************************/
[codex:1073197]
[codex:1073197] interface IDiamondCut {
[codex:1073197] enum FacetCutAction {Add, Replace, Remove}
[codex:1073197]
[codex:1073197] struct FacetCut {
[codex:1073197] address facetAddress;
[codex:1073197] FacetCutAction action;
[codex:1073197] bytes4[] functionSelectors;
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Continuing to audit files**
[codex:1073197] exec
[codex:1073197] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-1vje2c64 succeeded in 6ms:
[codex:1073197] * Author: Nick Mudge <nick@perfectabstractions.com> (https://twitter.com/mudgen)
[codex:1073197] * EIP-2535 Diamond Standard: https://eips.ethereum.org/EIPS/eip-2535
[codex:1073197] /******************************************************************************/
[codex:1073197]
[codex:1073197]
[codex:1073197]
[codex:1073197]
[codex:1073197]
[codex:1073197] contract DiamondLoupeFacet is IDiamondLoupe, IERC165 {
[codex:1073197] // Diamond Loupe Functions
[codex:1073197] ////////////////////////////////////////////////////////////////////
[codex:1073197] /// These functions are expected to be called frequently by tools.
[codex:1073197] //
[codex:1073197] // struct Facet {
[codex:1073197] // address facetAddress;
[codex:1073197] // bytes4[] functionSelectors;
[codex:1073197] // }
[codex:1073197]
[codex:1073197] /// @notice Gets all facets and their selectors.
[codex:1073197] /// @return facets_ Facet
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Continuing to read to the end**
[codex:1073197] exec
[codex:1073197] /bin/bash -lc 'tail -n 20 AUDIT_BUNDLE.txt' in /tmp/codex-multi-1vje2c64 succeeded in 6ms:
[codex:1073197] if (success == false) {
[codex:1073197] if (error.length > 0) {
[codex:1073197] // bubble up the error
[codex:1073197] revert(string(error));
[codex:1073197] } else {
[codex:1073197] revert("DiamondStorage: _init function reverted");
[codex:1073197] }
[codex:1073197] }
[codex:1073197] }
[codex:1073197] }
[codex:1073197]
[codex:1073197] function enforceHasContractCode(address _contract, string memory _errorMessage) internal view {
[codex:1073197] uint256 contractSize;
[codex:1073197] assembly {
[codex:1073197] contractSize := extcodesize(_contract)
[codex:1073197] }
[codex:1073197] require(contractSize != 0, _errorMessage);
[codex:1073197] }
[codex:1073197] }
[codex:1073197]
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Analyzing potential uninitialized ownership exploit**
[codex:1073197]
[codex:1073197] I'll evaluate the EIP-2535 Diamond's unprotected initialize function that allows anyone to become owner if deployer delays initialization. This could let an attacker add malicious facets to steal funds, assuming the diamond contract holds assets. I'll seek concrete evidence with file names and line numbers for reporting a real profit path.
[codex:1073197] exec
[codex:1073197] /bin/bash -lc 'nl -ba contracts/contracts/multivault/Diamond.sol' in /tmp/codex-multi-1vje2c64 succeeded in 6ms:
[codex:1073197] 1 // SPDX-License-Identifier: MIT
[codex:1073197] 2 pragma solidity ^0.8.20;
[codex:1073197] 3
[codex:1073197] 4
[codex:1073197] 5 import "./facets/DiamondCutFacet.sol";
[codex:1073197] 6 import "./facets/DiamondLoupeFacet.sol";
[codex:1073197] 7 import "./facets/DiamondOwnershipFacet.sol";
[codex:1073197] 8
[codex:1073197] 9 import "./storage/DiamondStorage.sol";
[codex:1073197] 10
[codex:1073197] 11
[codex:1073197] 12 contract Diamond {
[codex:1073197] 13 // No collision with MultiVaultFacetSettings.initialize because of the different parameters
[codex:1073197] 14 function initialize(address _contractOwner) external {
[codex:1073197] 15 DiamondStorage.enforceNotInitialized();
[codex:1073197] 16
[codex:1073197] 17 DiamondStorage.setContractOwner(_contractOwner);
[codex:1073197] 18 DiamondStorage.addDiamondFunctions(
[codex:1073197] 19 address(new DiamondCutFacet()),
[codex:1073197] 20 address(new DiamondLoupeFacet()),
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Detailing unprotected initialization vulnerability**
[codex:1073197] exec
[codex:1073197] /bin/bash -lc "nl -ba contracts/contracts/multivault/storage/DiamondStorage.sol | sed -n '50,120p'" in /tmp/codex-multi-1vje2c64 succeeded in 6ms:
[codex:1073197] 50 event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
[codex:1073197] 51
[codex:1073197] 52 function setContractOwner(address _newOwner) internal {
[codex:1073197] 53 Storage storage ds = _storage();
[codex:1073197] 54 address previousOwner = ds.contractOwner;
[codex:1073197] 55 ds.contractOwner = _newOwner;
[codex:1073197] 56 emit OwnershipTransferred(previousOwner, _newOwner);
[codex:1073197] 57 }
[codex:1073197] 58
[codex:1073197] 59 function contractOwner() internal view returns (address contractOwner_) {
[codex:1073197] 60 contractOwner_ = _storage().contractOwner;
[codex:1073197] 61 }
[codex:1073197] 62
[codex:1073197] 63 function enforceIsContractOwner() internal view {
[codex:1073197] 64 require(Meta.msgSender() == _storage().contractOwner, "LibDiamond: Must be contract owner");
[codex:1073197] 65 }
[codex:1073197] 66
[codex:1073197] 67 function enforceNotInitialized() internal {
[codex:1073197] 68 require(_storage().initialized == false, "DiamondStorage: already initialized");
[codex:1073197] 69
[codex:1073197]
[codex:1073197] thinking
[codex:1073197] **Composing detailed JSON report**
[codex:1073197] codex
[codex:1073197] {"no_findings":false,"summary":"Found a single concrete takeover vector: unprotected initializer lets the first external caller become owner and then add malicious facets to drain all assets.","findings":[{"severity":"critical","category":"access_control","title":"Unprotected initializer allows ownership takeover and full asset drain","exploit_scenario":"1) Diamond is deployed but initialize is not called in the same transaction. 2) Attacker calls initialize(attackerAddress), which succeeds because only enforceNotInitialized is checked. 3) Attacker is now contract owner and can call diamondCut to add a malicious facet with a withdraw/transfer function. 4) Attacker calls the new facet to transfer all ETH/tokens held by the diamond (and any vault facets that use diamond storage) to themselves.","recommendation":"Gate initialize with a trusted deployer or constructor-based initialization; alternatively require a one-time initializer callable only by a known factory/deployer and/or use a deployment that calls initialize atomically.","evidence":"Diamond.initialize is external and only checks enforceNotInitialized; there is no owner/deployer check, so the first caller sets the owner.","locations":["contracts/contracts/multivault/Diamond.sol:14","contracts/contracts/multivault/Diamond.sol:15","contracts/contracts/multivault/Diamond.sol:17","contracts/contracts/multivault/storage/DiamondStorage.sol:67","contracts/contracts/multivault/storage/DiamondStorage.sol:70"]}]}
[codex:1073197] tokens used
[codex:1073197] 29,140
[codex:1073197] {"no_findings":false,"summary":"Found a single concrete takeover vector: unprotected initializer lets the first external caller become owner and then add malicious facets to drain all assets.","findings":[{"severity":"critical","category":"access_control","title":"Unprotected initializer allows ownership takeover and full asset drain","exploit_scenario":"1) Diamond is deployed but initialize is not called in the same transaction. 2) Attacker calls initialize(attackerAddress), which succeeds because only enforceNotInitialized is checked. 3) Attacker is now contract owner and can call diamondCut to add a malicious facet with a withdraw/transfer function. 4) Attacker calls the new facet to transfer all ETH/tokens held by the diamond (and any vault facets that use diamond storage) to themselves.","recommendation":"Gate initialize with a trusted deployer or constructor-based initialization; alternatively require a one-time initializer callable only by a known factory/deployer and/or use a deployment that calls initialize atomically.","evidence":"Diamond.initialize is external and only checks enforceNotInitialized; there is no owner/deployer check, so the first caller sets the owner.","locations":["contracts/contracts/multivault/Diamond.sol:14","contracts/contracts/multivault/Diamond.sol:15","contracts/contracts/multivault/Diamond.sol:17","contracts/contracts/multivault/storage/DiamondStorage.sol:67","contracts/contracts/multivault/storage/DiamondStorage.sol:70"]}]}
{
"codex": {
"ran_at": "2025-12-31T21:04:10.628917+00:00",
"returncode": 0
},
"summary": "Found a single concrete takeover vector: unprotected initializer lets the first external caller become owner and then add malicious facets to drain all assets.",
"raw_final": {
"summary": "Found a single concrete takeover vector: unprotected initializer lets the first external caller become owner and then add malicious facets to drain all assets.",
"findings": [
{
"title": "Unprotected initializer allows ownership takeover and full asset drain",
"category": "access_control",
"evidence": "Diamond.initialize is external and only checks enforceNotInitialized; there is no owner/deployer check, so the first caller sets the owner.",
"severity": "critical",
"locations": [
"contracts/contracts/multivault/Diamond.sol:14",
"contracts/contracts/multivault/Diamond.sol:15",
"contracts/contracts/multivault/Diamond.sol:17",
"contracts/contracts/multivault/storage/DiamondStorage.sol:67",
"contracts/contracts/multivault/storage/DiamondStorage.sol:70"
],
"recommendation": "Gate initialize with a trusted deployer or constructor-based initialization; alternatively require a one-time initializer callable only by a known factory/deployer and/or use a deployment that calls initialize atomically.",
"exploit_scenario": "1) Diamond is deployed but initialize is not called in the same transaction. 2) Attacker calls initialize(attackerAddress), which succeeds because only enforceNotInitialized is checked. 3) Attacker is now contract owner and can call diamondCut to add a malicious facet with a withdraw/transfer function. 4) Attacker calls the new facet to transfer all ETH/tokens held by the diamond (and any vault facets that use diamond storage) to themselves."
}
],
"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 0x0022 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xc4d66de8 00000019: EQ 0000001a: PUSH2 0x00d9 0000001d: JUMPI 0000001e: PUSH2 0x002c 00000021: JUMP 00000022: JUMPDEST 00000023: CALLDATASIZE 00000024: PUSH2 0x002c 00000027: JUMPI 00000028: PUSH1 0x00 0000002a: DUP1 0000002b: REVERT 0000002c: JUMPDEST 0000002d: PUSH1 0x00 0000002f: DUP1 00000030: CALLDATALOAD 00000031: PUSH1 0x01 00000033: PUSH1 0x01 00000035: PUSH1 0xe0 00000037: SHL 00000038: SUB 00000039: NOT 0000003a: AND 0000003b: DUP2 0000003c: MSTORE 0000003d: PUSH1 0x00 0000003f: DUP1 00000040: MLOAD 00000041: PUSH1 0x20 00000043: PUSH2 0x35ac 00000046: DUP4 00000047: CODECOPY 00000048: DUP2 00000049: MLOAD 0000004a: SWAP2 0000004b: MSTORE 0000004c: PUSH1 0x20 0000004e: DUP2 0000004f: SWAP1 00000050: MSTORE 00000051: PUSH1 0x40 00000053: SWAP1 00000054: SWAP2 00000055: KECCAK256 00000056: SLOAD 00000057: DUP2 00000058: SWAP1 00000059: PUSH1 0x01 0000005b: PUSH1 0x01 0000005d: PUSH1 0xa0 0000005f: SHL 00000060: SUB 00000061: AND 00000062: DUP1 00000063: PUSH2 0x00b3 00000066: JUMPI 00000067: PUSH1 0x40 00000069: MLOAD 0000006a: PUSH3 0x461bcd 0000006e: PUSH1 0xe5 00000070: SHL 00000071: DUP2 00000072: MSTORE 00000073: PUSH1 0x20 00000075: PUSH1 0x04 00000077: DUP3 00000078: ADD 00000079: DUP2 0000007a: SWAP1 0000007b: MSTORE 0000007c: PUSH1 0x24 0000007e: DUP3 0000007f: ADD 00000080: MSTORE 00000081: PUSH32 0x4469616d6f6e643a2046756e6374696f6e20646f6573206e6f74206578697374 000000a2: PUSH1 0x44 000000a4: DUP3 000000a5: ADD 000000a6: MSTORE 000000a7: PUSH1 0x64 000000a9: ADD 000000aa: JUMPDEST 000000ab: PUSH1 0x40 000000ad: MLOAD 000000ae: DUP1 000000af: SWAP2 000000b0: SUB 000000b1: SWAP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: CALLDATASIZE 000000b5: PUSH1 0x00 000000b7: DUP1 000000b8: CALLDATACOPY 000000b9: PUSH1 0x00 000000bb: DUP1 000000bc: CALLDATASIZE 000000bd: PUSH1 0x00 000000bf: DUP5 000000c0: GAS 000000c1: DELEGATECALL 000000c2: RETURNDATASIZE 000000c3: PUSH1 0x00 000000c5: DUP1 000000c6: RETURNDATACOPY 000000c7: DUP1 000000c8: DUP1 000000c9: ISZERO 000000ca: PUSH2 0x00d2 000000cd: JUMPI 000000ce: RETURNDATASIZE 000000cf: PUSH1 0x00 000000d1: RETURN 000000d2: JUMPDEST 000000d3: RETURNDATASIZE 000000d4: PUSH1 0x00 000000d6: REVERT 000000d7: JUMPDEST 000000d8: STOP 000000d9: JUMPDEST 000000da: CALLVALUE 000000db: DUP1 000000dc: ISZERO 000000dd: PUSH2 0x00e5 000000e0: JUMPI 000000e1: PUSH1 0x00 000000e3: DUP1 000000e4: REVERT 000000e5: JUMPDEST 000000e6: POP 000000e7: PUSH2 0x00d7 000000ea: PUSH2 0x00f4 000000ed: CALLDATASIZE 000000ee: PUSH1 0x04 000000f0: PUSH2 0x13af 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH2 0x00fc 000000f8: PUSH2 0x018b 000000fb: JUMP 000000fc: JUMPDEST 000000fd: PUSH2 0x0105 00000100: DUP2 00000101: PUSH2 0x0244 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH2 0x0188 00000109: PUSH1 0x40 0000010b: MLOAD 0000010c: PUSH2 0x0114 0000010f: SWAP1 00000110: PUSH2 0x1388 00000113: JUMP 00000114: JUMPDEST 00000115: PUSH1 0x40 00000117: MLOAD 00000118: DUP1 00000119: SWAP2 0000011a: SUB 0000011b: SWAP1 0000011c: PUSH1 0x00 0000011e: CREATE 0000011f: DUP1 00000120: ISZERO 00000121: DUP1 00000122: ISZERO 00000123: PUSH2 0x0130 00000126: JUMPI 00000127: RETURNDATASIZE 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: RETURNDATACOPY 0000012c: RETURNDATASIZE 0000012d: PUSH1 0x00 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH1 0x40 00000134: MLOAD 00000135: PUSH2 0x013d 00000138: SWAP1 00000139: PUSH2 0x1395 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: DUP1 00000142: SWAP2 00000143: SUB 00000144: SWAP1 00000145: PUSH1 0x00 00000147: CREATE 00000148: DUP1 00000149: ISZERO 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0159 0000014f: JUMPI 00000150: RETURNDATASIZE 00000151: PUSH1 0x00 00000153: DUP1 00000154: RETURNDATACOPY 00000155: RETURNDATASIZE 00000156: PUSH1 0x00 00000158: REVERT 00000159: JUMPDEST 0000015a: POP 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: PUSH2 0x0166 00000161: SWAP1 00000162: PUSH2 0x13a2 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: SWAP2 0000016c: SUB 0000016d: SWAP1 0000016e: PUSH1 0x00 00000170: CREATE 00000171: DUP1 00000172: ISZERO 00000173: DUP1 00000174: ISZERO 00000175: PUSH2 0x0182 00000178: JUMPI 00000179: RETURNDATASIZE 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: RETURNDATACOPY 0000017e: RETURNDATASIZE 0000017f: PUSH1 0x00 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x02c7 00000187: JUMP 00000188: JUMPDEST 00000189: POP 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 000001ad: SLOAD 000001ae: PUSH1 0x01 000001b0: PUSH1 0xa0 000001b2: SHL 000001b3: SWAP1 000001b4: DIV 000001b5: PUSH1 0xff 000001b7: AND 000001b8: ISZERO 000001b9: PUSH2 0x0210 000001bc: JUMPI 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: PUSH3 0x461bcd 000001c4: PUSH1 0xe5 000001c6: SHL 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: PUSH1 0x04 000001cd: DUP3 000001ce: ADD 000001cf: MSTORE 000001d0: PUSH1 0x23 000001d2: PUSH1 0x24 000001d4: DUP3 000001d5: ADD 000001d6: MSTORE 000001d7: PUSH32 0x4469616d6f6e6453746f726167653a20616c726561647920696e697469616c69 000001f8: PUSH1 0x44 000001fa: DUP3 000001fb: ADD 000001fc: MSTORE 000001fd: PUSH3 0x1e9959 00000201: PUSH1 0xea 00000203: SHL 00000204: PUSH1 0x64 00000206: DUP3 00000207: ADD 00000208: MSTORE 00000209: PUSH1 0x84 0000020b: ADD 0000020c: PUSH2 0x00aa 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 00000232: DUP1 00000233: SLOAD 00000234: PUSH1 0xff 00000236: PUSH1 0xa0 00000238: SHL 00000239: NOT 0000023a: AND 0000023b: PUSH1 0x01 0000023d: PUSH1 0xa0 0000023f: SHL 00000240: OR 00000241: SWAP1 00000242: SSTORE 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 00000266: DUP1 00000267: SLOAD 00000268: PUSH1 0x01 0000026a: PUSH1 0x01 0000026c: PUSH1 0xa0 0000026e: SHL 0000026f: SUB 00000270: NOT 00000271: DUP2 00000272: AND 00000273: PUSH1 0x01 00000275: PUSH1 0x01 00000277: PUSH1 0xa0 00000279: SHL 0000027a: SUB 0000027b: DUP5 0000027c: DUP2 0000027d: AND 0000027e: SWAP2 0000027f: DUP3 00000280: OR 00000281: SWAP1 00000282: SWAP4 00000283: SSTORE 00000284: PUSH1 0x40 00000286: MLOAD 00000287: PUSH1 0x00 00000289: DUP1 0000028a: MLOAD 0000028b: PUSH1 0x20 0000028d: PUSH2 0x35ac 00000290: DUP4 00000291: CODECOPY 00000292: DUP2 00000293: MLOAD 00000294: SWAP2 00000295: MSTORE 00000296: SWAP4 00000297: SWAP1 00000298: SWAP3 00000299: AND 0000029a: SWAP2 0000029b: DUP3 0000029c: SWAP1 0000029d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000002be: SWAP1 000002bf: PUSH1 0x00 000002c1: SWAP1 000002c2: LOG3 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x40 000002ca: DUP1 000002cb: MLOAD 000002cc: PUSH1 0x03 000002ce: DUP1 000002cf: DUP3 000002d0: MSTORE 000002d1: PUSH1 0x80 000002d3: DUP3 000002d4: ADD 000002d5: SWAP1 000002d6: SWAP3 000002d7: MSTORE 000002d8: PUSH1 0x00 000002da: SWAP2 000002db: DUP2 000002dc: PUSH1 0x20 000002de: ADD 000002df: JUMPDEST 000002e0: PUSH1 0x40 000002e2: DUP1 000002e3: MLOAD 000002e4: PUSH1 0x60 000002e6: DUP1 000002e7: DUP3 000002e8: ADD 000002e9: DUP4 000002ea: MSTORE 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: DUP4 000002ef: MSTORE 000002f0: PUSH1 0x20 000002f2: DUP4 000002f3: ADD 000002f4: MSTORE 000002f5: SWAP2 000002f6: DUP2 000002f7: ADD 000002f8: SWAP2 000002f9: SWAP1 000002fa: SWAP2 000002fb: MSTORE 000002fc: DUP2 000002fd: MSTORE 000002fe: PUSH1 0x20 00000300: ADD 00000301: SWAP1 00000302: PUSH1 0x01 00000304: SWAP1 00000305: SUB 00000306: SWAP1 00000307: DUP2 00000308: PUSH2 0x02df 0000030b: JUMPI 0000030c: POP 0000030d: POP 0000030e: PUSH1 0x40 00000310: DUP1 00000311: MLOAD 00000312: PUSH1 0x01 00000314: DUP1 00000315: DUP3 00000316: MSTORE 00000317: DUP2 00000318: DUP4 00000319: ADD 0000031a: SWAP1 0000031b: SWAP3 0000031c: MSTORE 0000031d: SWAP2 0000031e: SWAP3 0000031f: POP 00000320: PUSH1 0x00 00000322: SWAP2 00000323: SWAP1 00000324: PUSH1 0x20 00000326: DUP1 00000327: DUP4 00000328: ADD 00000329: SWAP1 0000032a: DUP1 0000032b: CALLDATASIZE 0000032c: DUP4 0000032d: CALLDATACOPY 0000032e: ADD 0000032f: SWAP1 00000330: POP 00000331: POP 00000332: SWAP1 00000333: POP 00000334: PUSH4 0x1f931c1c 00000339: PUSH1 0xe0 0000033b: SHL 0000033c: DUP2 0000033d: PUSH1 0x00 0000033f: DUP2 00000340: MLOAD 00000341: DUP2 00000342: LT 00000343: PUSH2 0x034e 00000346: JUMPI 00000347: PUSH2 0x034e 0000034a: PUSH2 0x13df 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH1 0x01 00000351: PUSH1 0x01 00000353: PUSH1 0xe0 00000355: SHL 00000356: SUB 00000357: NOT 00000358: SWAP1 00000359: SWAP3 0000035a: AND 0000035b: PUSH1 0x20 0000035d: SWAP3 0000035e: DUP4 0000035f: MUL 00000360: SWAP2 00000361: SWAP1 00000362: SWAP2 00000363: ADD 00000364: DUP3 00000365: ADD 00000366: MSTORE 00000367: PUSH1 0x40 00000369: DUP1 0000036a: MLOAD 0000036b: PUSH1 0x60 0000036d: DUP2 0000036e: ADD 0000036f: SWAP1 00000370: SWAP2 00000371: MSTORE 00000372: PUSH1 0x01 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: SHL 00000379: SUB 0000037a: DUP8 0000037b: AND 0000037c: DUP2 0000037d: MSTORE 0000037e: SWAP1 0000037f: DUP2 00000380: ADD 00000381: PUSH1 0x00 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: DUP3 00000389: DUP2 0000038a: MSTORE 0000038b: POP 0000038c: DUP3 0000038d: PUSH1 0x00 0000038f: DUP2 00000390: MLOAD 00000391: DUP2 00000392: LT 00000393: PUSH2 0x039e 00000396: JUMPI 00000397: PUSH2 0x039e 0000039a: PUSH2 0x13df 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH1 0x20 000003a1: SWAP1 000003a2: DUP2 000003a3: MUL 000003a4: SWAP2 000003a5: SWAP1 000003a6: SWAP2 000003a7: ADD 000003a8: ADD 000003a9: MSTORE 000003aa: PUSH1 0x40 000003ac: DUP1 000003ad: MLOAD 000003ae: PUSH1 0x05 000003b0: DUP1 000003b1: DUP3 000003b2: MSTORE 000003b3: PUSH1 0xc0 000003b5: DUP3 000003b6: ADD 000003b7: SWAP1 000003b8: SWAP3 000003b9: MSTORE 000003ba: SWAP1 000003bb: DUP2 000003bc: PUSH1 0x20 000003be: ADD 000003bf: PUSH1 0x20 000003c1: DUP3 000003c2: MUL 000003c3: DUP1 000003c4: CALLDATASIZE 000003c5: DUP4 000003c6: CALLDATACOPY 000003c7: ADD 000003c8: SWAP1 000003c9: POP 000003ca: POP 000003cb: SWAP1 000003cc: POP 000003cd: PUSH4 0x7a0ed627 000003d2: PUSH1 0xe0 000003d4: SHL 000003d5: DUP2 000003d6: PUSH1 0x00 000003d8: DUP2 000003d9: MLOAD 000003da: DUP2 000003db: LT 000003dc: PUSH2 0x03e7 000003df: JUMPI 000003e0: PUSH2 0x03e7 000003e3: PUSH2 0x13df 000003e6: JUMP 000003e7: JUMPDEST 000003e8: PUSH1 0x01 000003ea: PUSH1 0x01 000003ec: PUSH1 0xe0 000003ee: SHL 000003ef: SUB 000003f0: NOT 000003f1: SWAP1 000003f2: SWAP3 000003f3: AND 000003f4: PUSH1 0x20 000003f6: SWAP3 000003f7: DUP4 000003f8: MUL 000003f9: SWAP2 000003fa: SWAP1 000003fb: SWAP2 000003fc: ADD 000003fd: SWAP1 000003fe: SWAP2 000003ff: ADD 00000400: MSTORE 00000401: DUP1 00000402: MLOAD 00000403: PUSH4 0x56fe50af 00000408: PUSH1 0xe1 0000040a: SHL 0000040b: SWAP1 0000040c: DUP3 0000040d: SWAP1 0000040e: PUSH1 0x01 00000410: SWAP1 00000411: DUP2 00000412: LT 00000413: PUSH2 0x041e 00000416: JUMPI 00000417: PUSH2 0x041e 0000041a: PUSH2 0x13df 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH1 0x01 00000421: PUSH1 0x01 00000423: PUSH1 0xe0 00000425: SHL 00000426: SUB 00000427: NOT 00000428: SWAP1 00000429: SWAP3 0000042a: AND 0000042b: PUSH1 0x20 0000042d: SWAP3 0000042e: DUP4 0000042f: MUL 00000430: SWAP2 00000431: SWAP1 00000432: SWAP2 00000433: ADD 00000434: SWAP1 00000435: SWAP2 00000436: ADD 00000437: MSTORE 00000438: DUP1 00000439: MLOAD 0000043a: PUSH4 0x14bbdacb 0000043f: PUSH1 0xe2 00000441: SHL 00000442: SWAP1 00000443: DUP3 00000444: SWAP1 00000445: PUSH1 0x02 00000447: SWAP1 00000448: DUP2 00000449: LT 0000044a: PUSH2 0x0455 0000044d: JUMPI 0000044e: PUSH2 0x0455 00000451: PUSH2 0x13df 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x01 00000458: PUSH1 0x01 0000045a: PUSH1 0xe0 0000045c: SHL 0000045d: SUB 0000045e: NOT 0000045f: SWAP1 00000460: SWAP3 00000461: AND 00000462: PUSH1 0x20 00000464: SWAP3 00000465: DUP4 00000466: MUL 00000467: SWAP2 00000468: SWAP1 00000469: SWAP2 0000046a: ADD 0000046b: SWAP1 0000046c: SWAP2 0000046d: ADD 0000046e: MSTORE 0000046f: DUP1 00000470: MLOAD 00000471: PUSH4 0x66ffd663 00000476: PUSH1 0xe1 00000478: SHL 00000479: SWAP1 0000047a: DUP3 0000047b: SWAP1 0000047c: PUSH1 0x03 0000047e: SWAP1 0000047f: DUP2 00000480: LT 00000481: PUSH2 0x048c 00000484: JUMPI 00000485: PUSH2 0x048c 00000488: PUSH2 0x13df 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH1 0x01 0000048f: PUSH1 0x01 00000491: PUSH1 0xe0 00000493: SHL 00000494: SUB 00000495: NOT 00000496: SWAP1 00000497: SWAP3 00000498: AND 00000499: PUSH1 0x20 0000049b: SWAP3 0000049c: DUP4 0000049d: MUL 0000049e: SWAP2 0000049f: SWAP1 000004a0: SWAP2 000004a1: ADD 000004a2: SWAP1 000004a3: SWAP2 000004a4: ADD 000004a5: MSTORE 000004a6: DUP1 000004a7: MLOAD 000004a8: PUSH4 0x01ffc9a7 000004ad: PUSH1 0xe0 000004af: SHL 000004b0: SWAP1 000004b1: DUP3 000004b2: SWAP1 000004b3: PUSH1 0x04 000004b5: SWAP1 000004b6: DUP2 000004b7: LT 000004b8: PUSH2 0x04c3 000004bb: JUMPI 000004bc: PUSH2 0x04c3 000004bf: PUSH2 0x13df 000004c2: JUMP 000004c3: JUMPDEST 000004c4: PUSH1 0x01 000004c6: PUSH1 0x01 000004c8: PUSH1 0xe0 000004ca: SHL 000004cb: SUB 000004cc: NOT 000004cd: SWAP1 000004ce: SWAP3 000004cf: AND 000004d0: PUSH1 0x20 000004d2: SWAP3 000004d3: DUP4 000004d4: MUL 000004d5: SWAP2 000004d6: SWAP1 000004d7: SWAP2 000004d8: ADD 000004d9: DUP3 000004da: ADD 000004db: MSTORE 000004dc: PUSH1 0x40 000004de: DUP1 000004df: MLOAD 000004e0: PUSH1 0x60 000004e2: DUP2 000004e3: ADD 000004e4: SWAP1 000004e5: SWAP2 000004e6: MSTORE 000004e7: PUSH1 0x01 000004e9: PUSH1 0x01 000004eb: PUSH1 0xa0 000004ed: SHL 000004ee: SUB 000004ef: DUP7 000004f0: AND 000004f1: DUP2 000004f2: MSTORE 000004f3: SWAP1 000004f4: DUP2 000004f5: ADD 000004f6: PUSH1 0x00 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: DUP3 000004fe: DUP2 000004ff: MSTORE 00000500: POP 00000501: DUP3 00000502: PUSH1 0x01 00000504: DUP2 00000505: MLOAD 00000506: DUP2 00000507: LT 00000508: PUSH2 0x0513 0000050b: JUMPI 0000050c: PUSH2 0x0513 0000050f: PUSH2 0x13df 00000512: JUMP 00000513: JUMPDEST 00000514: PUSH1 0x20 00000516: SWAP1 00000517: DUP2 00000518: MUL 00000519: SWAP2 0000051a: SWAP1 0000051b: SWAP2 0000051c: ADD 0000051d: ADD 0000051e: MSTORE 0000051f: PUSH1 0x40 00000521: DUP1 00000522: MLOAD 00000523: PUSH1 0x02 00000525: DUP1 00000526: DUP3 00000527: MSTORE 00000528: PUSH1 0x60 0000052a: DUP3 0000052b: ADD 0000052c: SWAP1 0000052d: SWAP3 0000052e: MSTORE 0000052f: SWAP1 00000530: DUP2 00000531: PUSH1 0x20 00000533: ADD 00000534: PUSH1 0x20 00000536: DUP3 00000537: MUL 00000538: DUP1 00000539: CALLDATASIZE 0000053a: DUP4 0000053b: CALLDATACOPY 0000053c: ADD 0000053d: SWAP1 0000053e: POP 0000053f: POP 00000540: SWAP1 00000541: POP 00000542: PUSH4 0xf2fde38b 00000547: PUSH1 0xe0 00000549: SHL 0000054a: DUP2 0000054b: PUSH1 0x00 0000054d: DUP2 0000054e: MLOAD 0000054f: DUP2 00000550: LT 00000551: PUSH2 0x055c 00000554: JUMPI 00000555: PUSH2 0x055c 00000558: PUSH2 0x13df 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH1 0x01 0000055f: PUSH1 0x01 00000561: PUSH1 0xe0 00000563: SHL 00000564: SUB 00000565: NOT 00000566: SWAP1 00000567: SWAP3 00000568: AND 00000569: PUSH1 0x20 0000056b: SWAP3 0000056c: DUP4 0000056d: MUL 0000056e: SWAP2 0000056f: SWAP1 00000570: SWAP2 00000571: ADD 00000572: SWAP1 00000573: SWAP2 00000574: ADD 00000575: MSTORE 00000576: DUP1 00000577: MLOAD 00000578: PUSH4 0x8da5cb5b 0000057d: PUSH1 0xe0 0000057f: SHL 00000580: SWAP1 00000581: DUP3 00000582: SWAP1 00000583: PUSH1 0x01 00000585: SWAP1 00000586: DUP2 00000587: LT 00000588: PUSH2 0x0593 0000058b: JUMPI 0000058c: PUSH2 0x0593 0000058f: PUSH2 0x13df 00000592: JUMP 00000593: JUMPDEST 00000594: PUSH1 0x01 00000596: PUSH1 0x01 00000598: PUSH1 0xe0 0000059a: SHL 0000059b: SUB 0000059c: NOT 0000059d: SWAP1 0000059e: SWAP3 0000059f: AND 000005a0: PUSH1 0x20 000005a2: SWAP3 000005a3: DUP4 000005a4: MUL 000005a5: SWAP2 000005a6: SWAP1 000005a7: SWAP2 000005a8: ADD 000005a9: DUP3 000005aa: ADD 000005ab: MSTORE 000005ac: PUSH1 0x40 000005ae: DUP1 000005af: MLOAD 000005b0: PUSH1 0x60 000005b2: DUP2 000005b3: ADD 000005b4: SWAP1 000005b5: SWAP2 000005b6: MSTORE 000005b7: PUSH1 0x01 000005b9: PUSH1 0x01 000005bb: PUSH1 0xa0 000005bd: SHL 000005be: SUB 000005bf: DUP6 000005c0: AND 000005c1: DUP2 000005c2: MSTORE 000005c3: SWAP1 000005c4: DUP2 000005c5: ADD 000005c6: PUSH1 0x00 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x20 000005cc: ADD 000005cd: DUP3 000005ce: DUP2 000005cf: MSTORE 000005d0: POP 000005d1: DUP3 000005d2: PUSH1 0x02 000005d4: DUP2 000005d5: MLOAD 000005d6: DUP2 000005d7: LT 000005d8: PUSH2 0x05e3 000005db: JUMPI 000005dc: PUSH2 0x05e3 000005df: PUSH2 0x13df 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH1 0x20 000005e6: MUL 000005e7: PUSH1 0x20 000005e9: ADD 000005ea: ADD 000005eb: DUP2 000005ec: SWAP1 000005ed: MSTORE 000005ee: POP 000005ef: PUSH2 0x0609 000005f2: DUP3 000005f3: PUSH1 0x00 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: PUSH1 0x20 000005fb: ADD 000005fc: PUSH1 0x40 000005fe: MSTORE 000005ff: DUP1 00000600: PUSH1 0x00 00000602: DUP2 00000603: MSTORE 00000604: POP 00000605: PUSH2 0x0610 00000608: JUMP 00000609: JUMPDEST 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x00 00000613: JUMPDEST 00000614: DUP4 00000615: MLOAD 00000616: DUP2 00000617: LT 00000618: ISZERO 00000619: PUSH2 0x07d7 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP5 00000620: DUP3 00000621: DUP2 00000622: MLOAD 00000623: DUP2 00000624: LT 00000625: PUSH2 0x0630 00000628: JUMPI 00000629: PUSH2 0x0630 0000062c: PUSH2 0x13df 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x20 00000633: MUL 00000634: PUSH1 0x20 00000636: ADD 00000637: ADD 00000638: MLOAD 00000639: PUSH1 0x20 0000063b: ADD 0000063c: MLOAD 0000063d: SWAP1 0000063e: POP 0000063f: PUSH1 0x00 00000641: PUSH1 0x02 00000643: DUP2 00000644: GT 00000645: ISZERO 00000646: PUSH2 0x0651 00000649: JUMPI 0000064a: PUSH2 0x0651 0000064d: PUSH2 0x13f5 00000650: JUMP 00000651: JUMPDEST 00000652: DUP2 00000653: PUSH1 0x02 00000655: DUP2 00000656: GT 00000657: ISZERO 00000658: PUSH2 0x0663 0000065b: JUMPI 0000065c: PUSH2 0x0663 0000065f: PUSH2 0x13f5 00000662: JUMP 00000663: JUMPDEST 00000664: SUB 00000665: PUSH2 0x06b1 00000668: JUMPI 00000669: PUSH2 0x06ac 0000066c: DUP6 0000066d: DUP4 0000066e: DUP2 0000066f: MLOAD 00000670: DUP2 00000671: LT 00000672: PUSH2 0x067d 00000675: JUMPI 00000676: PUSH2 0x067d 00000679: PUSH2 0x13df 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x20 00000680: MUL 00000681: PUSH1 0x20 00000683: ADD 00000684: ADD 00000685: MLOAD 00000686: PUSH1 0x00 00000688: ADD 00000689: MLOAD 0000068a: DUP7 0000068b: DUP5 0000068c: DUP2 0000068d: MLOAD 0000068e: DUP2 0000068f: LT 00000690: PUSH2 0x069b 00000693: JUMPI 00000694: PUSH2 0x069b 00000697: PUSH2 0x13df 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH1 0x20 0000069e: MUL 0000069f: PUSH1 0x20 000006a1: ADD 000006a2: ADD 000006a3: MLOAD 000006a4: PUSH1 0x40 000006a6: ADD 000006a7: MLOAD 000006a8: PUSH2 0x0822 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH2 0x07c4 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x01 000006b4: DUP2 000006b5: PUSH1 0x02 000006b7: DUP2 000006b8: GT 000006b9: ISZERO 000006ba: PUSH2 0x06c5 000006bd: JUMPI 000006be: PUSH2 0x06c5 000006c1: PUSH2 0x13f5 000006c4: JUMP 000006c5: JUMPDEST 000006c6: SUB 000006c7: PUSH2 0x070e 000006ca: JUMPI 000006cb: PUSH2 0x06ac 000006ce: DUP6 000006cf: DUP4 000006d0: DUP2 000006d1: MLOAD 000006d2: DUP2 000006d3: LT 000006d4: PUSH2 0x06df 000006d7: JUMPI 000006d8: PUSH2 0x06df 000006db: PUSH2 0x13df 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x20 000006e2: MUL 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: ADD 000006e7: MLOAD 000006e8: PUSH1 0x00 000006ea: ADD 000006eb: MLOAD 000006ec: DUP7 000006ed: DUP5 000006ee: DUP2 000006ef: MLOAD 000006f0: DUP2 000006f1: LT 000006f2: PUSH2 0x06fd 000006f5: JUMPI 000006f6: PUSH2 0x06fd 000006f9: PUSH2 0x13df 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH1 0x20 00000700: MUL 00000701: PUSH1 0x20 00000703: ADD 00000704: ADD 00000705: MLOAD 00000706: PUSH1 0x40 00000708: ADD 00000709: MLOAD 0000070a: PUSH2 0x0996 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x02 00000711: DUP2 00000712: PUSH1 0x02 00000714: DUP2 00000715: GT 00000716: ISZERO 00000717: PUSH2 0x0722 0000071a: JUMPI 0000071b: PUSH2 0x0722 0000071e: PUSH2 0x13f5 00000721: JUMP 00000722: JUMPDEST 00000723: SUB 00000724: PUSH2 0x076b 00000727: JUMPI 00000728: PUSH2 0x06ac 0000072b: DUP6 0000072c: DUP4 0000072d: DUP2 0000072e: MLOAD 0000072f: DUP2 00000730: LT 00000731: PUSH2 0x073c 00000734: JUMPI 00000735: PUSH2 0x073c 00000738: PUSH2 0x13df 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x20 0000073f: MUL 00000740: PUSH1 0x20 00000742: ADD 00000743: ADD 00000744: MLOAD 00000745: PUSH1 0x00 00000747: ADD 00000748: MLOAD 00000749: DUP7 0000074a: DUP5 0000074b: DUP2 0000074c: MLOAD 0000074d: DUP2 0000074e: LT 0000074f: PUSH2 0x075a 00000752: JUMPI 00000753: PUSH2 0x075a 00000756: PUSH2 0x13df 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH1 0x20 0000075d: MUL 0000075e: PUSH1 0x20 00000760: ADD 00000761: ADD 00000762: MLOAD 00000763: PUSH1 0x40 00000765: ADD 00000766: MLOAD 00000767: PUSH2 0x0b20 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: PUSH3 0x461bcd 00000773: PUSH1 0xe5 00000775: SHL 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x20 0000077a: PUSH1 0x04 0000077c: DUP3 0000077d: ADD 0000077e: MSTORE 0000077f: PUSH1 0x28 00000781: PUSH1 0x24 00000783: DUP3 00000784: ADD 00000785: MSTORE 00000786: PUSH32 0x4469616d6f6e6453746f726167653a20496e636f727265637420466163657443 000007a7: PUSH1 0x44 000007a9: DUP3 000007aa: ADD 000007ab: MSTORE 000007ac: PUSH8 0x3aba20b1ba34b7b7 000007b5: PUSH1 0xc1 000007b7: SHL 000007b8: PUSH1 0x64 000007ba: DUP3 000007bb: ADD 000007bc: MSTORE 000007bd: PUSH1 0x84 000007bf: ADD 000007c0: PUSH2 0x00aa 000007c3: JUMP 000007c4: JUMPDEST 000007c5: POP 000007c6: DUP1 000007c7: PUSH2 0x07cf 000007ca: DUP2 000007cb: PUSH2 0x1421 000007ce: JUMP 000007cf: JUMPDEST 000007d0: SWAP2 000007d1: POP 000007d2: POP 000007d3: PUSH2 0x0613 000007d6: JUMP 000007d7: JUMPDEST 000007d8: POP 000007d9: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673 000007fa: DUP4 000007fb: DUP4 000007fc: DUP4 000007fd: PUSH1 0x40 000007ff: MLOAD 00000800: PUSH2 0x080b 00000803: SWAP4 00000804: SWAP3 00000805: SWAP2 00000806: SWAP1 00000807: PUSH2 0x148a 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x40 0000080e: MLOAD 0000080f: DUP1 00000810: SWAP2 00000811: SUB 00000812: SWAP1 00000813: LOG1 00000814: PUSH2 0x081d 00000817: DUP3 00000818: DUP3 00000819: PUSH2 0x0c44 0000081c: JUMP 0000081d: JUMPDEST 0000081e: POP 0000081f: POP 00000820: POP 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH1 0x00 00000825: DUP2 00000826: MLOAD 00000827: GT 00000828: PUSH2 0x0843 0000082b: JUMPI 0000082c: PUSH1 0x40 0000082e: MLOAD 0000082f: PUSH3 0x461bcd 00000833: PUSH1 0xe5 00000835: SHL 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x04 0000083a: ADD 0000083b: PUSH2 0x00aa 0000083e: SWAP1 0000083f: PUSH2 0x158a 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x00 00000846: DUP1 00000847: MLOAD 00000848: PUSH1 0x20 0000084a: PUSH2 0x35ac 0000084d: DUP4 0000084e: CODECOPY 0000084f: DUP2 00000850: MLOAD 00000851: SWAP2 00000852: MSTORE 00000853: PUSH1 0x01 00000855: PUSH1 0x01 00000857: PUSH1 0xa0 00000859: SHL 0000085a: SUB 0000085b: DUP4 0000085c: AND 0000085d: PUSH2 0x0878 00000860: JUMPI 00000861: PUSH1 0x40 00000863: MLOAD 00000864: PUSH3 0x461bcd 00000868: PUSH1 0xe5 0000086a: SHL 0000086b: DUP2 0000086c: MSTORE 0000086d: PUSH1 0x04 0000086f: ADD 00000870: PUSH2 0x00aa 00000873: SWAP1 00000874: PUSH2 0x15d6 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x01 0000087b: PUSH1 0x01 0000087d: PUSH1 0xa0 0000087f: SHL 00000880: SUB 00000881: DUP4 00000882: AND 00000883: PUSH1 0x00 00000885: SWAP1 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x01 0000088a: DUP3 0000088b: ADD 0000088c: PUSH1 0x20 0000088e: MSTORE 0000088f: PUSH1 0x40 00000891: DUP2 00000892: KECCAK256 00000893: SLOAD 00000894: SWAP1 00000895: PUSH2 0xffff 00000898: DUP3 00000899: AND 0000089a: SWAP1 0000089b: SUB 0000089c: PUSH2 0x08a9 0000089f: JUMPI 000008a0: PUSH2 0x08a9 000008a3: DUP3 000008a4: DUP6 000008a5: PUSH2 0x0e58 000008a8: JUMP 000008a9: JUMPDEST 000008aa: PUSH1 0x00 000008ac: JUMPDEST 000008ad: DUP4 000008ae: MLOAD 000008af: DUP2 000008b0: LT 000008b1: ISZERO 000008b2: PUSH2 0x0609 000008b5: JUMPI 000008b6: PUSH1 0x00 000008b8: DUP5 000008b9: DUP3 000008ba: DUP2 000008bb: MLOAD 000008bc: DUP2 000008bd: LT 000008be: PUSH2 0x08c9 000008c1: JUMPI 000008c2: PUSH2 0x08c9 000008c5: PUSH2 0x13df 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x20 000008cc: SWAP1 000008cd: DUP2 000008ce: MUL 000008cf: SWAP2 000008d0: SWAP1 000008d1: SWAP2 000008d2: ADD 000008d3: DUP2 000008d4: ADD 000008d5: MLOAD 000008d6: PUSH1 0x01 000008d8: PUSH1 0x01 000008da: PUSH1 0xe0 000008dc: SHL 000008dd: SUB 000008de: NOT 000008df: DUP2 000008e0: AND 000008e1: PUSH1 0x00 000008e3: SWAP1 000008e4: DUP2 000008e5: MSTORE 000008e6: SWAP2 000008e7: DUP7 000008e8: SWAP1 000008e9: MSTORE 000008ea: PUSH1 0x40 000008ec: SWAP1 000008ed: SWAP2 000008ee: KECCAK256 000008ef: SLOAD 000008f0: SWAP1 000008f1: SWAP2 000008f2: POP 000008f3: PUSH1 0x01 000008f5: PUSH1 0x01 000008f7: PUSH1 0xa0 000008f9: SHL 000008fa: SUB 000008fb: AND 000008fc: DUP1 000008fd: ISZERO 000008fe: PUSH2 0x0968 00000901: JUMPI 00000902: PUSH1 0x40 00000904: MLOAD 00000905: PUSH3 0x461bcd 00000909: PUSH1 0xe5 0000090b: SHL 0000090c: DUP2 0000090d: MSTORE 0000090e: PUSH1 0x20 00000910: PUSH1 0x04 00000912: DUP3 00000913: ADD 00000914: MSTORE 00000915: PUSH1 0x36 00000917: PUSH1 0x24 00000919: DUP3 0000091a: ADD 0000091b: MSTORE 0000091c: PUSH32 0x4469616d6f6e6453746f726167653a2043616e2774206164642066756e637469 0000093d: PUSH1 0x44 0000093f: DUP3 00000940: ADD 00000941: MSTORE 00000942: PUSH22 0x6f6e207468617420616c726561647920657869737473 00000959: PUSH1 0x50 0000095b: SHL 0000095c: PUSH1 0x64 0000095e: DUP3 0000095f: ADD 00000960: MSTORE 00000961: PUSH1 0x84 00000963: ADD 00000964: PUSH2 0x00aa 00000967: JUMP 00000968: JUMPDEST 00000969: PUSH2 0x0974 0000096c: DUP6 0000096d: DUP4 0000096e: DUP7 0000096f: DUP11 00000970: PUSH2 0x0ed8 00000973: JUMP 00000974: JUMPDEST 00000975: DUP4 00000976: PUSH2 0x097e 00000979: DUP2 0000097a: PUSH2 0x1623 0000097d: JUMP 0000097e: JUMPDEST 0000097f: SWAP5 00000980: POP 00000981: POP 00000982: POP 00000983: POP 00000984: DUP1 00000985: DUP1 00000986: PUSH2 0x098e 00000989: SWAP1 0000098a: PUSH2 0x1421 0000098d: JUMP 0000098e: JUMPDEST 0000098f: SWAP2 00000990: POP 00000991: POP 00000992: PUSH2 0x08ac 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x00 00000999: DUP2 0000099a: MLOAD 0000099b: GT 0000099c: PUSH2 0x09b7 0000099f: JUMPI 000009a0: PUSH1 0x40 000009a2: MLOAD 000009a3: PUSH3 0x461bcd 000009a7: PUSH1 0xe5 000009a9: SHL 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x04 000009ae: ADD 000009af: PUSH2 0x00aa 000009b2: SWAP1 000009b3: PUSH2 0x158a 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x00 000009ba: DUP1 000009bb: MLOAD 000009bc: PUSH1 0x20 000009be: PUSH2 0x35ac 000009c1: DUP4 000009c2: CODECOPY 000009c3: DUP2 000009c4: MLOAD 000009c5: SWAP2 000009c6: MSTORE 000009c7: PUSH1 0x01 000009c9: PUSH1 0x01 000009cb: PUSH1 0xa0 000009cd: SHL 000009ce: SUB 000009cf: DUP4 000009d0: AND 000009d1: PUSH2 0x09ec 000009d4: JUMPI 000009d5: PUSH1 0x40 000009d7: MLOAD 000009d8: PUSH3 0x461bcd 000009dc: PUSH1 0xe5 000009de: SHL 000009df: DUP2 000009e0: MSTORE 000009e1: PUSH1 0x04 000009e3: ADD 000009e4: PUSH2 0x00aa 000009e7: SWAP1 000009e8: PUSH2 0x15d6 000009eb: JUMP 000009ec: JUMPDEST 000009ed: PUSH1 0x01 000009ef: PUSH1 0x01 000009f1: PUSH1 0xa0 000009f3: SHL 000009f4: SUB 000009f5: DUP4 000009f6: AND 000009f7: PUSH1 0x00 000009f9: SWAP1 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x01 000009fe: DUP3 000009ff: ADD 00000a00: PUSH1 0x20 00000a02: MSTORE 00000a03: PUSH1 0x40 00000a05: DUP2 00000a06: KECCAK256 00000a07: SLOAD 00000a08: SWAP1 00000a09: PUSH2 0xffff 00000a0c: DUP3 00000a0d: AND 00000a0e: SWAP1 00000a0f: SUB 00000a10: PUSH2 0x0a1d 00000a13: JUMPI 00000a14: PUSH2 0x0a1d 00000a17: DUP3 00000a18: DUP6 00000a19: PUSH2 0x0e58 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x00 00000a20: JUMPDEST 00000a21: DUP4 00000a22: MLOAD 00000a23: DUP2 00000a24: LT 00000a25: ISZERO 00000a26: PUSH2 0x0609 00000a29: JUMPI 00000a2a: PUSH1 0x00 00000a2c: DUP5 00000a2d: DUP3 00000a2e: DUP2 00000a2f: MLOAD 00000a30: DUP2 00000a31: LT 00000a32: PUSH2 0x0a3d 00000a35: JUMPI 00000a36: PUSH2 0x0a3d 00000a39: PUSH2 0x13df 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: PUSH1 0x20 00000a40: SWAP1 00000a41: DUP2 00000a42: MUL 00000a43: SWAP2 00000a44: SWAP1 00000a45: SWAP2 00000a46: ADD 00000a47: DUP2 00000a48: ADD 00000a49: MLOAD 00000a4a: PUSH1 0x01 00000a4c: PUSH1 0x01 00000a4e: PUSH1 0xe0 00000a50: SHL 00000a51: SUB 00000a52: NOT 00000a53: DUP2 00000a54: AND 00000a55: PUSH1 0x00 00000a57: SWAP1 00000a58: DUP2 00000a59: MSTORE 00000a5a: SWAP2 00000a5b: DUP7 00000a5c: SWAP1 00000a5d: MSTORE 00000a5e: PUSH1 0x40 00000a60: SWAP1 00000a61: SWAP2 00000a62: KECCAK256 00000a63: SLOAD 00000a64: SWAP1 00000a65: SWAP2 00000a66: POP 00000a67: PUSH1 0x01 00000a69: PUSH1 0x01 00000a6b: PUSH1 0xa0 00000a6d: SHL 00000a6e: SUB 00000a6f: SWAP1 00000a70: DUP2 00000a71: AND 00000a72: SWAP1 00000a73: DUP8 00000a74: AND 00000a75: DUP2 00000a76: SUB 00000a77: PUSH2 0x0ae8 00000a7a: JUMPI 00000a7b: PUSH1 0x40 00000a7d: MLOAD 00000a7e: PUSH3 0x461bcd 00000a82: PUSH1 0xe5 00000a84: SHL 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x20 00000a89: PUSH1 0x04 00000a8b: DUP3 00000a8c: ADD 00000a8d: MSTORE 00000a8e: PUSH1 0x39 00000a90: PUSH1 0x24 00000a92: DUP3 00000a93: ADD 00000a94: MSTORE 00000a95: PUSH32 0x4469616d6f6e6453746f726167653a2043616e2774207265706c616365206675 00000ab6: PUSH1 0x44 00000ab8: DUP3 00000ab9: ADD 00000aba: MSTORE 00000abb: PUSH32 0x6e6374696f6e20776974682073616d652066756e6374696f6e00000000000000 00000adc: PUSH1 0x64 00000ade: DUP3 00000adf: ADD 00000ae0: MSTORE 00000ae1: PUSH1 0x84 00000ae3: ADD 00000ae4: PUSH2 0x00aa 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: PUSH2 0x0af2 00000aec: DUP2 00000aed: DUP4 00000aee: PUSH2 0x0f7b 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH2 0x0afe 00000af6: DUP6 00000af7: DUP4 00000af8: DUP7 00000af9: DUP11 00000afa: PUSH2 0x0ed8 00000afd: JUMP 00000afe: JUMPDEST 00000aff: DUP4 00000b00: PUSH2 0x0b08 00000b03: DUP2 00000b04: PUSH2 0x1623 00000b07: JUMP 00000b08: JUMPDEST 00000b09: SWAP5 00000b0a: POP 00000b0b: POP 00000b0c: POP 00000b0d: POP 00000b0e: DUP1 00000b0f: DUP1 00000b10: PUSH2 0x0b18 00000b13: SWAP1 00000b14: PUSH2 0x1421 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP2 00000b1a: POP 00000b1b: POP 00000b1c: PUSH2 0x0a20 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: PUSH1 0x00 00000b23: DUP2 00000b24: MLOAD 00000b25: GT 00000b26: PUSH2 0x0b41 00000b29: JUMPI 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: PUSH3 0x461bcd 00000b31: PUSH1 0xe5 00000b33: SHL 00000b34: DUP2 00000b35: MSTORE 00000b36: PUSH1 0x04 00000b38: ADD 00000b39: PUSH2 0x00aa 00000b3c: SWAP1 00000b3d: PUSH2 0x158a 00000b40: JUMP 00000b41: JUMPDEST 00000b42: PUSH1 0x00 00000b44: DUP1 00000b45: MLOAD 00000b46: PUSH1 0x20 00000b48: PUSH2 0x35ac 00000b4b: DUP4 00000b4c: CODECOPY 00000b4d: DUP2 00000b4e: MLOAD 00000b4f: SWAP2 00000b50: MSTORE 00000b51: PUSH1 0x01 00000b53: PUSH1 0x01 00000b55: PUSH1 0xa0 00000b57: SHL 00000b58: SUB 00000b59: DUP4 00000b5a: AND 00000b5b: ISZERO 00000b5c: PUSH2 0x0bcd 00000b5f: JUMPI 00000b60: PUSH1 0x40 00000b62: MLOAD 00000b63: PUSH3 0x461bcd 00000b67: PUSH1 0xe5 00000b69: SHL 00000b6a: DUP2 00000b6b: MSTORE 00000b6c: PUSH1 0x20 00000b6e: PUSH1 0x04 00000b70: DUP3 00000b71: ADD 00000b72: MSTORE 00000b73: PUSH1 0x37 00000b75: PUSH1 0x24 00000b77: DUP3 00000b78: ADD 00000b79: MSTORE 00000b7a: PUSH32 0x4469616d6f6e6453746f726167653a2052656d6f766520666163657420616464 00000b9b: PUSH1 0x44 00000b9d: DUP3 00000b9e: ADD 00000b9f: MSTORE 00000ba0: PUSH32 0x72657373206d7573742062652061646472657373283029000000000000000000 00000bc1: PUSH1 0x64 00000bc3: DUP3 00000bc4: ADD 00000bc5: MSTORE 00000bc6: PUSH1 0x84 00000bc8: ADD 00000bc9: PUSH2 0x00aa 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: PUSH1 0x00 00000bd0: JUMPDEST 00000bd1: DUP3 00000bd2: MLOAD 00000bd3: DUP2 00000bd4: LT 00000bd5: ISZERO 00000bd6: PUSH2 0x0c3e 00000bd9: JUMPI 00000bda: PUSH1 0x00 00000bdc: DUP4 00000bdd: DUP3 00000bde: DUP2 00000bdf: MLOAD 00000be0: DUP2 00000be1: LT 00000be2: PUSH2 0x0bed 00000be5: JUMPI 00000be6: PUSH2 0x0bed 00000be9: PUSH2 0x13df 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH1 0x20 00000bf0: SWAP1 00000bf1: DUP2 00000bf2: MUL 00000bf3: SWAP2 00000bf4: SWAP1 00000bf5: SWAP2 00000bf6: ADD 00000bf7: DUP2 00000bf8: ADD 00000bf9: MLOAD 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0x01 00000bfe: PUSH1 0xe0 00000c00: SHL 00000c01: SUB 00000c02: NOT 00000c03: DUP2 00000c04: AND 00000c05: PUSH1 0x00 00000c07: SWAP1 00000c08: DUP2 00000c09: MSTORE 00000c0a: SWAP2 00000c0b: DUP6 00000c0c: SWAP1 00000c0d: MSTORE 00000c0e: PUSH1 0x40 00000c10: SWAP1 00000c11: SWAP2 00000c12: KECCAK256 00000c13: SLOAD 00000c14: SWAP1 00000c15: SWAP2 00000c16: POP 00000c17: PUSH1 0x01 00000c19: PUSH1 0x01 00000c1b: PUSH1 0xa0 00000c1d: SHL 00000c1e: SUB 00000c1f: AND 00000c20: PUSH2 0x0c29 00000c23: DUP2 00000c24: DUP4 00000c25: PUSH2 0x0f7b 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: POP 00000c2b: POP 00000c2c: DUP1 00000c2d: DUP1 00000c2e: PUSH2 0x0c36 00000c31: SWAP1 00000c32: PUSH2 0x1421 00000c35: JUMP 00000c36: JUMPDEST 00000c37: SWAP2 00000c38: POP 00000c39: POP 00000c3a: PUSH2 0x0bd0 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: POP 00000c43: JUMP 00000c44: JUMPDEST 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: DUP3 00000c4e: AND 00000c4f: PUSH2 0x0ccb 00000c52: JUMPI 00000c53: DUP1 00000c54: MLOAD 00000c55: ISZERO 00000c56: PUSH2 0x0cc7 00000c59: JUMPI 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: PUSH3 0x461bcd 00000c61: PUSH1 0xe5 00000c63: SHL 00000c64: DUP2 00000c65: MSTORE 00000c66: PUSH1 0x20 00000c68: PUSH1 0x04 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH1 0x3d 00000c6f: PUSH1 0x24 00000c71: DUP3 00000c72: ADD 00000c73: MSTORE 00000c74: PUSH32 0x4469616d6f6e6453746f726167653a205f696e69742069732061646472657373 00000c95: PUSH1 0x44 00000c97: DUP3 00000c98: ADD 00000c99: MSTORE 00000c9a: PUSH32 0x283029206275745f63616c6c64617461206973206e6f7420656d707479000000 00000cbb: PUSH1 0x64 00000cbd: DUP3 00000cbe: ADD 00000cbf: MSTORE 00000cc0: PUSH1 0x84 00000cc2: ADD 00000cc3: PUSH2 0x00aa 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: POP 00000cc9: POP 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: PUSH1 0x00 00000cce: DUP2 00000ccf: MLOAD 00000cd0: GT 00000cd1: PUSH2 0x0d42 00000cd4: JUMPI 00000cd5: PUSH1 0x40 00000cd7: MLOAD 00000cd8: PUSH3 0x461bcd 00000cdc: PUSH1 0xe5 00000cde: SHL 00000cdf: DUP2 00000ce0: MSTORE 00000ce1: PUSH1 0x20 00000ce3: PUSH1 0x04 00000ce5: DUP3 00000ce6: ADD 00000ce7: MSTORE 00000ce8: PUSH1 0x3e 00000cea: PUSH1 0x24 00000cec: DUP3 00000ced: ADD 00000cee: MSTORE 00000cef: PUSH32 0x4469616d6f6e6453746f726167653a205f63616c6c6461746120697320656d70 00000d10: PUSH1 0x44 00000d12: DUP3 00000d13: ADD 00000d14: MSTORE 00000d15: PUSH32 0x747920627574205f696e6974206973206e6f7420616464726573732830290000 00000d36: PUSH1 0x64 00000d38: DUP3 00000d39: ADD 00000d3a: MSTORE 00000d3b: PUSH1 0x84 00000d3d: ADD 00000d3e: PUSH2 0x00aa 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH1 0x01 00000d45: PUSH1 0x01 00000d47: PUSH1 0xa0 00000d49: SHL 00000d4a: SUB 00000d4b: DUP3 00000d4c: AND 00000d4d: ADDRESS 00000d4e: EQ 00000d4f: PUSH2 0x0d74 00000d52: JUMPI 00000d53: PUSH2 0x0d74 00000d56: DUP3 00000d57: PUSH1 0x40 00000d59: MLOAD 00000d5a: DUP1 00000d5b: PUSH1 0x60 00000d5d: ADD 00000d5e: PUSH1 0x40 00000d60: MSTORE 00000d61: DUP1 00000d62: PUSH1 0x29 00000d64: DUP2 00000d65: MSTORE 00000d66: PUSH1 0x20 00000d68: ADD 00000d69: PUSH2 0x35cc 00000d6c: PUSH1 0x29 00000d6e: SWAP2 00000d6f: CODECOPY 00000d70: PUSH2 0x1367 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x00 00000d77: DUP1 00000d78: DUP4 00000d79: PUSH1 0x01 00000d7b: PUSH1 0x01 00000d7d: PUSH1 0xa0 00000d7f: SHL 00000d80: SUB 00000d81: AND 00000d82: DUP4 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: PUSH2 0x0d8f 00000d89: SWAP2 00000d8a: SWAP1 00000d8b: PUSH2 0x1644 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH1 0x00 00000d92: PUSH1 0x40 00000d94: MLOAD 00000d95: DUP1 00000d96: DUP4 00000d97: SUB 00000d98: DUP2 00000d99: DUP6 00000d9a: GAS 00000d9b: DELEGATECALL 00000d9c: SWAP2 00000d9d: POP 00000d9e: POP 00000d9f: RETURNDATASIZE 00000da0: DUP1 00000da1: PUSH1 0x00 00000da3: DUP2 00000da4: EQ 00000da5: PUSH2 0x0dca 00000da8: JUMPI 00000da9: PUSH1 0x40 00000dab: MLOAD 00000dac: SWAP2 00000dad: POP 00000dae: PUSH1 0x1f 00000db0: NOT 00000db1: PUSH1 0x3f 00000db3: RETURNDATASIZE 00000db4: ADD 00000db5: AND 00000db6: DUP3 00000db7: ADD 00000db8: PUSH1 0x40 00000dba: MSTORE 00000dbb: RETURNDATASIZE 00000dbc: DUP3 00000dbd: MSTORE 00000dbe: RETURNDATASIZE 00000dbf: PUSH1 0x00 00000dc1: PUSH1 0x20 00000dc3: DUP5 00000dc4: ADD 00000dc5: RETURNDATACOPY 00000dc6: PUSH2 0x0dcf 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: PUSH1 0x60 00000dcd: SWAP2 00000dce: POP 00000dcf: JUMPDEST 00000dd0: POP 00000dd1: SWAP1 00000dd2: SWAP3 00000dd3: POP 00000dd4: SWAP1 00000dd5: POP 00000dd6: DUP2 00000dd7: ISZERO 00000dd8: ISZERO 00000dd9: PUSH1 0x00 00000ddb: SUB 00000ddc: PUSH2 0x0c3e 00000ddf: JUMPI 00000de0: DUP1 00000de1: MLOAD 00000de2: ISZERO 00000de3: PUSH2 0x0e00 00000de6: JUMPI 00000de7: DUP1 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: PUSH3 0x461bcd 00000def: PUSH1 0xe5 00000df1: SHL 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x04 00000df6: ADD 00000df7: PUSH2 0x00aa 00000dfa: SWAP2 00000dfb: SWAP1 00000dfc: PUSH2 0x1660 00000dff: JUMP 00000e00: JUMPDEST 00000e01: PUSH1 0x40 00000e03: MLOAD 00000e04: PUSH3 0x461bcd 00000e08: PUSH1 0xe5 00000e0a: SHL 00000e0b: DUP2 00000e0c: MSTORE 00000e0d: PUSH1 0x20 00000e0f: PUSH1 0x04 00000e11: DUP3 00000e12: ADD 00000e13: MSTORE 00000e14: PUSH1 0x27 00000e16: PUSH1 0x24 00000e18: DUP3 00000e19: ADD 00000e1a: MSTORE 00000e1b: PUSH32 0x4469616d6f6e6453746f726167653a205f696e69742066756e6374696f6e2072 00000e3c: PUSH1 0x44 00000e3e: DUP3 00000e3f: ADD 00000e40: MSTORE 00000e41: PUSH7 0x195d995c9d1959 00000e49: PUSH1 0xca 00000e4b: SHL 00000e4c: PUSH1 0x64 00000e4e: DUP3 00000e4f: ADD 00000e50: MSTORE 00000e51: PUSH1 0x84 00000e53: ADD 00000e54: PUSH2 0x00aa 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH2 0x0e7a 00000e5c: DUP2 00000e5d: PUSH1 0x40 00000e5f: MLOAD 00000e60: DUP1 00000e61: PUSH1 0x60 00000e63: ADD 00000e64: PUSH1 0x40 00000e66: MSTORE 00000e67: DUP1 00000e68: PUSH1 0x25 00000e6a: DUP2 00000e6b: MSTORE 00000e6c: PUSH1 0x20 00000e6e: ADD 00000e6f: PUSH2 0x35f5 00000e72: PUSH1 0x25 00000e74: SWAP2 00000e75: CODECOPY 00000e76: PUSH2 0x1367 00000e79: JUMP 00000e7a: JUMPDEST 00000e7b: PUSH1 0x02 00000e7d: DUP3 00000e7e: ADD 00000e7f: DUP1 00000e80: SLOAD 00000e81: PUSH1 0x01 00000e83: PUSH1 0x01 00000e85: PUSH1 0xa0 00000e87: SHL 00000e88: SUB 00000e89: SWAP3 00000e8a: SWAP1 00000e8b: SWAP3 00000e8c: AND 00000e8d: PUSH1 0x00 00000e8f: DUP2 00000e90: DUP2 00000e91: MSTORE 00000e92: PUSH1 0x01 00000e94: SWAP5 00000e95: DUP6 00000e96: ADD 00000e97: PUSH1 0x20 00000e99: SWAP1 00000e9a: DUP2 00000e9b: MSTORE 00000e9c: PUSH1 0x40 00000e9e: DUP3 00000e9f: KECCAK256 00000ea0: DUP7 00000ea1: ADD 00000ea2: DUP1 00000ea3: SLOAD 00000ea4: PUSH2 0xffff 00000ea7: NOT 00000ea8: AND 00000ea9: PUSH2 0xffff 00000eac: SWAP1 00000ead: SWAP7 00000eae: AND 00000eaf: SWAP6 00000eb0: SWAP1 00000eb1: SWAP6 00000eb2: OR 00000eb3: SWAP1 00000eb4: SWAP5 00000eb5: SSTORE 00000eb6: DUP3 00000eb7: SLOAD 00000eb8: SWAP5 00000eb9: DUP6 00000eba: ADD 00000ebb: DUP4 00000ebc: SSTORE 00000ebd: SWAP2 00000ebe: DUP3 00000ebf: MSTORE 00000ec0: SWAP2 00000ec1: SWAP1 00000ec2: KECCAK256 00000ec3: SWAP1 00000ec4: SWAP2 00000ec5: ADD 00000ec6: DUP1 00000ec7: SLOAD 00000ec8: PUSH1 0x01 00000eca: PUSH1 0x01 00000ecc: PUSH1 0xa0 00000ece: SHL 00000ecf: SUB 00000ed0: NOT 00000ed1: AND 00000ed2: SWAP1 00000ed3: SWAP2 00000ed4: OR 00000ed5: SWAP1 00000ed6: SSTORE 00000ed7: JUMP 00000ed8: JUMPDEST 00000ed9: PUSH1 0x01 00000edb: PUSH1 0x01 00000edd: PUSH1 0xe0 00000edf: SHL 00000ee0: SUB 00000ee1: NOT 00000ee2: DUP4 00000ee3: AND 00000ee4: PUSH1 0x00 00000ee6: DUP2 00000ee7: DUP2 00000ee8: MSTORE 00000ee9: PUSH1 0x20 00000eeb: DUP7 00000eec: DUP2 00000eed: MSTORE 00000eee: PUSH1 0x40 00000ef0: DUP1 00000ef1: DUP4 00000ef2: KECCAK256 00000ef3: DUP1 00000ef4: SLOAD 00000ef5: PUSH2 0xffff 00000ef8: PUSH1 0xa0 00000efa: SHL 00000efb: NOT 00000efc: AND 00000efd: PUSH1 0x01 00000eff: PUSH1 0xa0 00000f01: SHL 00000f02: PUSH2 0xffff 00000f05: SWAP9 00000f06: SWAP1 00000f07: SWAP9 00000f08: AND 00000f09: SWAP8 00000f0a: SWAP1 00000f0b: SWAP8 00000f0c: MUL 00000f0d: SWAP7 00000f0e: SWAP1 00000f0f: SWAP7 00000f10: OR 00000f11: DUP7 00000f12: SSTORE 00000f13: PUSH1 0x01 00000f15: PUSH1 0x01 00000f17: PUSH1 0xa0 00000f19: SHL 00000f1a: SUB 00000f1b: SWAP5 00000f1c: SWAP1 00000f1d: SWAP5 00000f1e: AND 00000f1f: DUP1 00000f20: DUP4 00000f21: MSTORE 00000f22: PUSH1 0x01 00000f24: DUP1 00000f25: DUP10 00000f26: ADD 00000f27: DUP4 00000f28: MSTORE 00000f29: SWAP5 00000f2a: DUP4 00000f2b: KECCAK256 00000f2c: DUP1 00000f2d: SLOAD 00000f2e: SWAP6 00000f2f: DUP7 00000f30: ADD 00000f31: DUP2 00000f32: SSTORE 00000f33: DUP4 00000f34: MSTORE 00000f35: DUP2 00000f36: DUP4 00000f37: KECCAK256 00000f38: PUSH1 0x08 00000f3a: DUP7 00000f3b: DIV 00000f3c: ADD 00000f3d: DUP1 00000f3e: SLOAD 00000f3f: PUSH4 0xffffffff 00000f44: PUSH1 0x07 00000f46: SWAP1 00000f47: SWAP8 00000f48: AND 00000f49: PUSH1 0x04 00000f4b: MUL 00000f4c: PUSH2 0x0100 00000f4f: EXP 00000f50: SWAP7 00000f51: DUP8 00000f52: MUL 00000f53: NOT 00000f54: AND 00000f55: PUSH1 0xe0 00000f57: SWAP9 00000f58: SWAP1 00000f59: SWAP9 00000f5a: SHR 00000f5b: SWAP6 00000f5c: SWAP1 00000f5d: SWAP6 00000f5e: MUL 00000f5f: SWAP7 00000f60: SWAP1 00000f61: SWAP7 00000f62: OR 00000f63: SWAP1 00000f64: SWAP4 00000f65: SSTORE 00000f66: MSTORE 00000f67: SWAP3 00000f68: SWAP1 00000f69: SWAP3 00000f6a: MSTORE 00000f6b: DUP2 00000f6c: SLOAD 00000f6d: PUSH1 0x01 00000f6f: PUSH1 0x01 00000f71: PUSH1 0xa0 00000f73: SHL 00000f74: SUB 00000f75: NOT 00000f76: AND 00000f77: OR 00000f78: SWAP1 00000f79: SSTORE 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x00 00000f7e: DUP1 00000f7f: MLOAD 00000f80: PUSH1 0x20 00000f82: PUSH2 0x35ac 00000f85: DUP4 00000f86: CODECOPY 00000f87: DUP2 00000f88: MLOAD 00000f89: SWAP2 00000f8a: MSTORE 00000f8b: PUSH1 0x01 00000f8d: PUSH1 0x01 00000f8f: PUSH1 0xa0 00000f91: SHL 00000f92: SUB 00000f93: DUP4 00000f94: AND 00000f95: PUSH2 0x1006 00000f98: JUMPI 00000f99: PUSH1 0x40 00000f9b: MLOAD 00000f9c: PUSH3 0x461bcd 00000fa0: PUSH1 0xe5 00000fa2: SHL 00000fa3: DUP2 00000fa4: MSTORE 00000fa5: PUSH1 0x20 00000fa7: PUSH1 0x04 00000fa9: DUP3 00000faa: ADD 00000fab: MSTORE 00000fac: PUSH1 0x38 00000fae: PUSH1 0x24 00000fb0: DUP3 00000fb1: ADD 00000fb2: MSTORE 00000fb3: PUSH32 0x4469616d6f6e6453746f726167653a2043616e27742072656d6f76652066756e 00000fd4: PUSH1 0x44 00000fd6: DUP3 00000fd7: ADD 00000fd8: MSTORE 00000fd9: PUSH32 0x6374696f6e207468617420646f65736e27742065786973740000000000000000 00000ffa: PUSH1 0x64 00000ffc: DUP3 00000ffd: ADD 00000ffe: MSTORE 00000fff: PUSH1 0x84 00001001: ADD 00001002: PUSH2 0x00aa 00001005: JUMP 00001006: JUMPDEST 00001007: ADDRESS 00001008: PUSH1 0x01 0000100a: PUSH1 0x01 0000100c: PUSH1 0xa0 0000100e: SHL 0000100f: SUB 00001010: DUP5 00001011: AND 00001012: SUB 00001013: PUSH2 0x1076 00001016: JUMPI 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: PUSH3 0x461bcd 0000101e: PUSH1 0xe5 00001020: SHL 00001021: DUP2 00001022: MSTORE 00001023: PUSH1 0x20 00001025: PUSH1 0x04 00001027: DUP3 00001028: ADD 00001029: MSTORE 0000102a: PUSH1 0x2f 0000102c: PUSH1 0x24 0000102e: DUP3 0000102f: ADD 00001030: MSTORE 00001031: PUSH32 0x4469616d6f6e6453746f726167653a2043616e27742072656d6f766520696d6d 00001052: PUSH1 0x44 00001054: DUP3 00001055: ADD 00001056: MSTORE 00001057: PUSH15 0x3aba30b1363290333ab731ba34b7b7 00001067: PUSH1 0x89 00001069: SHL 0000106a: PUSH1 0x64 0000106c: DUP3 0000106d: ADD 0000106e: MSTORE 0000106f: PUSH1 0x84 00001071: ADD 00001072: PUSH2 0x00aa 00001075: JUMP 00001076: JUMPDEST 00001077: PUSH1 0x01 00001079: PUSH1 0x01 0000107b: PUSH1 0xe0 0000107d: SHL 0000107e: SUB 0000107f: NOT 00001080: DUP3 00001081: AND 00001082: PUSH1 0x00 00001084: SWAP1 00001085: DUP2 00001086: MSTORE 00001087: PUSH1 0x20 00001089: DUP3 0000108a: DUP2 0000108b: MSTORE 0000108c: PUSH1 0x40 0000108e: DUP1 0000108f: DUP4 00001090: KECCAK256 00001091: SLOAD 00001092: PUSH1 0x01 00001094: PUSH1 0x01 00001096: PUSH1 0xa0 00001098: SHL 00001099: SUB 0000109a: DUP8 0000109b: AND 0000109c: DUP5 0000109d: MSTORE 0000109e: PUSH1 0x01 000010a0: DUP1 000010a1: DUP7 000010a2: ADD 000010a3: SWAP1 000010a4: SWAP4 000010a5: MSTORE 000010a6: SWAP1 000010a7: DUP4 000010a8: KECCAK256 000010a9: SLOAD 000010aa: PUSH1 0x01 000010ac: PUSH1 0xa0 000010ae: SHL 000010af: SWAP1 000010b0: SWAP2 000010b1: DIV 000010b2: PUSH2 0xffff 000010b5: AND 000010b6: SWAP3 000010b7: SWAP2 000010b8: PUSH2 0x10c0 000010bb: SWAP2 000010bc: PUSH2 0x1673 000010bf: JUMP 000010c0: JUMPDEST 000010c1: SWAP1 000010c2: POP 000010c3: DUP1 000010c4: DUP3 000010c5: EQ 000010c6: PUSH2 0x11ac 000010c9: JUMPI 000010ca: PUSH1 0x01 000010cc: PUSH1 0x01 000010ce: PUSH1 0xa0 000010d0: SHL 000010d1: SUB 000010d2: DUP6 000010d3: AND 000010d4: PUSH1 0x00 000010d6: SWAP1 000010d7: DUP2 000010d8: MSTORE 000010d9: PUSH1 0x01 000010db: DUP5 000010dc: ADD 000010dd: PUSH1 0x20 000010df: MSTORE 000010e0: PUSH1 0x40 000010e2: DUP2 000010e3: KECCAK256 000010e4: DUP1 000010e5: SLOAD 000010e6: DUP4 000010e7: SWAP1 000010e8: DUP2 000010e9: LT 000010ea: PUSH2 0x10f5 000010ed: JUMPI 000010ee: PUSH2 0x10f5 000010f1: PUSH2 0x13df 000010f4: JUMP 000010f5: JUMPDEST 000010f6: PUSH1 0x00 000010f8: SWAP2 000010f9: DUP3 000010fa: MSTORE 000010fb: PUSH1 0x20 000010fd: DUP1 000010fe: DUP4 000010ff: KECCAK256 00001100: PUSH1 0x08 00001102: DUP4 00001103: DIV 00001104: ADD 00001105: SLOAD 00001106: PUSH1 0x01 00001108: PUSH1 0x01 0000110a: PUSH1 0xa0 0000110c: SHL 0000110d: SUB 0000110e: DUP11 0000110f: AND 00001110: DUP5 00001111: MSTORE 00001112: PUSH1 0x01 00001114: DUP9 00001115: ADD 00001116: SWAP1 00001117: SWAP2 00001118: MSTORE 00001119: PUSH1 0x40 0000111b: SWAP1 0000111c: SWAP3 0000111d: KECCAK256 0000111e: DUP1 0000111f: SLOAD 00001120: PUSH1 0x07 00001122: SWAP1 00001123: SWAP3 00001124: AND 00001125: PUSH1 0x04 00001127: MUL 00001128: PUSH2 0x0100 0000112b: EXP 0000112c: SWAP1 0000112d: SWAP3 0000112e: DIV 0000112f: PUSH1 0xe0 00001131: SHL 00001132: SWAP3 00001133: POP 00001134: DUP3 00001135: SWAP2 00001136: SWAP1 00001137: DUP6 00001138: SWAP1 00001139: DUP2 0000113a: LT 0000113b: PUSH2 0x1146 0000113e: JUMPI 0000113f: PUSH2 0x1146 00001142: PUSH2 0x13df 00001145: JUMP 00001146: JUMPDEST 00001147: PUSH1 0x00 00001149: SWAP2 0000114a: DUP3 0000114b: MSTORE 0000114c: PUSH1 0x20 0000114e: DUP1 0000114f: DUP4 00001150: KECCAK256 00001151: PUSH1 0x08 00001153: DUP4 00001154: DIV 00001155: ADD 00001156: DUP1 00001157: SLOAD 00001158: PUSH4 0xffffffff 0000115d: PUSH1 0x07 0000115f: SWAP1 00001160: SWAP5 00001161: AND 00001162: PUSH1 0x04 00001164: MUL 00001165: PUSH2 0x0100 00001168: EXP 00001169: SWAP4 0000116a: DUP5 0000116b: MUL 0000116c: NOT 0000116d: AND 0000116e: PUSH1 0xe0 00001170: SWAP6 00001171: SWAP1 00001172: SWAP6 00001173: SHR 00001174: SWAP3 00001175: SWAP1 00001176: SWAP3 00001177: MUL 00001178: SWAP4 00001179: SWAP1 0000117a: SWAP4 0000117b: OR 0000117c: SWAP1 0000117d: SSTORE 0000117e: PUSH1 0x01 00001180: PUSH1 0x01 00001182: PUSH1 0xe0 00001184: SHL 00001185: SUB 00001186: NOT 00001187: SWAP3 00001188: SWAP1 00001189: SWAP3 0000118a: AND 0000118b: DUP3 0000118c: MSTORE 0000118d: DUP5 0000118e: SWAP1 0000118f: MSTORE 00001190: PUSH1 0x40 00001192: SWAP1 00001193: KECCAK256 00001194: DUP1 00001195: SLOAD 00001196: PUSH2 0xffff 00001199: PUSH1 0xa0 0000119b: SHL 0000119c: NOT 0000119d: AND 0000119e: PUSH1 0x01 000011a0: PUSH1 0xa0 000011a2: SHL 000011a3: PUSH2 0xffff 000011a6: DUP6 000011a7: AND 000011a8: MUL 000011a9: OR 000011aa: SWAP1 000011ab: SSTORE 000011ac: JUMPDEST 000011ad: PUSH1 0x01 000011af: PUSH1 0x01 000011b1: PUSH1 0xa0 000011b3: SHL 000011b4: SUB 000011b5: DUP6 000011b6: AND 000011b7: PUSH1 0x00 000011b9: SWAP1 000011ba: DUP2 000011bb: MSTORE 000011bc: PUSH1 0x01 000011be: DUP5 000011bf: ADD 000011c0: PUSH1 0x20 000011c2: MSTORE 000011c3: PUSH1 0x40 000011c5: SWAP1 000011c6: KECCAK256 000011c7: DUP1 000011c8: SLOAD 000011c9: DUP1 000011ca: PUSH2 0x11d5 000011cd: JUMPI 000011ce: PUSH2 0x11d5 000011d1: PUSH2 0x168c 000011d4: JUMP 000011d5: JUMPDEST 000011d6: PUSH1 0x00 000011d8: DUP3 000011d9: DUP2 000011da: MSTORE 000011db: PUSH1 0x20 000011dd: DUP1 000011de: DUP3 000011df: KECCAK256 000011e0: PUSH1 0x08 000011e2: PUSH1 0x00 000011e4: NOT 000011e5: SWAP1 000011e6: SWAP5 000011e7: ADD 000011e8: SWAP4 000011e9: DUP5 000011ea: DIV 000011eb: ADD 000011ec: DUP1 000011ed: SLOAD 000011ee: PUSH4 0xffffffff 000011f3: PUSH1 0x04 000011f5: PUSH1 0x07 000011f7: DUP8 000011f8: AND 000011f9: MUL 000011fa: PUSH2 0x0100 000011fd: EXP 000011fe: MUL 000011ff: NOT 00001200: AND 00001201: SWAP1 00001202: SSTORE 00001203: SWAP2 00001204: SWAP1 00001205: SWAP3 00001206: SSTORE 00001207: PUSH1 0x01 00001209: PUSH1 0x01 0000120b: PUSH1 0xe0 0000120d: SHL 0000120e: SUB 0000120f: NOT 00001210: DUP7 00001211: AND 00001212: DUP3 00001213: MSTORE 00001214: DUP5 00001215: SWAP1 00001216: MSTORE 00001217: PUSH1 0x40 00001219: DUP2 0000121a: KECCAK256 0000121b: DUP1 0000121c: SLOAD 0000121d: PUSH1 0x01 0000121f: PUSH1 0x01 00001221: PUSH1 0xb0 00001223: SHL 00001224: SUB 00001225: NOT 00001226: AND 00001227: SWAP1 00001228: SSTORE 00001229: DUP2 0000122a: SWAP1 0000122b: SUB 0000122c: PUSH2 0x0609 0000122f: JUMPI 00001230: PUSH1 0x02 00001232: DUP4 00001233: ADD 00001234: SLOAD 00001235: PUSH1 0x00 00001237: SWAP1 00001238: PUSH2 0x1243 0000123b: SWAP1 0000123c: PUSH1 0x01 0000123e: SWAP1 0000123f: PUSH2 0x1673 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x01 00001246: PUSH1 0x01 00001248: PUSH1 0xa0 0000124a: SHL 0000124b: SUB 0000124c: DUP8 0000124d: AND 0000124e: PUSH1 0x00 00001250: SWAP1 00001251: DUP2 00001252: MSTORE 00001253: PUSH1 0x01 00001255: DUP1 00001256: DUP8 00001257: ADD 00001258: PUSH1 0x20 0000125a: MSTORE 0000125b: PUSH1 0x40 0000125d: SWAP1 0000125e: SWAP2 0000125f: KECCAK256 00001260: ADD 00001261: SLOAD 00001262: SWAP1 00001263: SWAP2 00001264: POP 00001265: PUSH2 0xffff 00001268: AND 00001269: DUP1 0000126a: DUP3 0000126b: EQ 0000126c: PUSH2 0x1302 0000126f: JUMPI 00001270: PUSH1 0x00 00001272: DUP6 00001273: PUSH1 0x02 00001275: ADD 00001276: DUP4 00001277: DUP2 00001278: SLOAD 00001279: DUP2 0000127a: LT 0000127b: PUSH2 0x1286 0000127e: JUMPI 0000127f: PUSH2 0x1286 00001282: PUSH2 0x13df 00001285: JUMP 00001286: JUMPDEST 00001287: PUSH1 0x00 00001289: SWAP2 0000128a: DUP3 0000128b: MSTORE 0000128c: PUSH1 0x20 0000128e: SWAP1 0000128f: SWAP2 00001290: KECCAK256 00001291: ADD 00001292: SLOAD 00001293: PUSH1 0x02 00001295: DUP8 00001296: ADD 00001297: DUP1 00001298: SLOAD 00001299: PUSH1 0x01 0000129b: PUSH1 0x01 0000129d: PUSH1 0xa0 0000129f: SHL 000012a0: SUB 000012a1: SWAP1 000012a2: SWAP3 000012a3: AND 000012a4: SWAP3 000012a5: POP 000012a6: DUP3 000012a7: SWAP2 000012a8: DUP5 000012a9: SWAP1 000012aa: DUP2 000012ab: LT 000012ac: PUSH2 0x12b7 000012af: JUMPI 000012b0: PUSH2 0x12b7 000012b3: PUSH2 0x13df 000012b6: JUMP 000012b7: JUMPDEST 000012b8: PUSH1 0x00 000012ba: SWAP2 000012bb: DUP3 000012bc: MSTORE 000012bd: PUSH1 0x20 000012bf: DUP1 000012c0: DUP4 000012c1: KECCAK256 000012c2: SWAP2 000012c3: SWAP1 000012c4: SWAP2 000012c5: ADD 000012c6: DUP1 000012c7: SLOAD 000012c8: PUSH1 0x01 000012ca: PUSH1 0x01 000012cc: PUSH1 0xa0 000012ce: SHL 000012cf: SUB 000012d0: NOT 000012d1: AND 000012d2: PUSH1 0x01 000012d4: PUSH1 0x01 000012d6: PUSH1 0xa0 000012d8: SHL 000012d9: SUB 000012da: SWAP5 000012db: DUP6 000012dc: AND 000012dd: OR 000012de: SWAP1 000012df: SSTORE 000012e0: SWAP3 000012e1: SWAP1 000012e2: SWAP2 000012e3: AND 000012e4: DUP2 000012e5: MSTORE 000012e6: PUSH1 0x01 000012e8: DUP8 000012e9: DUP2 000012ea: ADD 000012eb: SWAP1 000012ec: SWAP3 000012ed: MSTORE 000012ee: PUSH1 0x40 000012f0: SWAP1 000012f1: KECCAK256 000012f2: ADD 000012f3: DUP1 000012f4: SLOAD 000012f5: PUSH2 0xffff 000012f8: NOT 000012f9: AND 000012fa: PUSH2 0xffff 000012fd: DUP4 000012fe: AND 000012ff: OR 00001300: SWAP1 00001301: SSTORE 00001302: JUMPDEST 00001303: DUP5 00001304: PUSH1 0x02 00001306: ADD 00001307: DUP1 00001308: SLOAD 00001309: DUP1 0000130a: PUSH2 0x1315 0000130d: JUMPI 0000130e: PUSH2 0x1315 00001311: PUSH2 0x168c 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x00 00001318: DUP3 00001319: DUP2 0000131a: MSTORE 0000131b: PUSH1 0x20 0000131d: DUP1 0000131e: DUP3 0000131f: KECCAK256 00001320: DUP4 00001321: ADD 00001322: PUSH1 0x00 00001324: NOT 00001325: SWAP1 00001326: DUP2 00001327: ADD 00001328: DUP1 00001329: SLOAD 0000132a: PUSH1 0x01 0000132c: PUSH1 0x01 0000132e: PUSH1 0xa0 00001330: SHL 00001331: SUB 00001332: NOT 00001333: AND 00001334: SWAP1 00001335: SSTORE 00001336: SWAP1 00001337: SWAP3 00001338: ADD 00001339: SWAP1 0000133a: SWAP3 0000133b: SSTORE 0000133c: PUSH1 0x01 0000133e: PUSH1 0x01 00001340: PUSH1 0xa0 00001342: SHL 00001343: SUB 00001344: DUP10 00001345: AND 00001346: DUP3 00001347: MSTORE 00001348: PUSH1 0x01 0000134a: DUP8 0000134b: DUP2 0000134c: ADD 0000134d: SWAP1 0000134e: SWAP2 0000134f: MSTORE 00001350: PUSH1 0x40 00001352: SWAP1 00001353: SWAP2 00001354: KECCAK256 00001355: ADD 00001356: DUP1 00001357: SLOAD 00001358: PUSH2 0xffff 0000135b: NOT 0000135c: AND 0000135d: SWAP1 0000135e: SSTORE 0000135f: POP 00001360: POP 00001361: POP 00001362: POP 00001363: POP 00001364: POP 00001365: POP 00001366: JUMP 00001367: JUMPDEST 00001368: DUP2 00001369: EXTCODESIZE 0000136a: DUP2 0000136b: DUP2 0000136c: PUSH2 0x0c3e 0000136f: JUMPI 00001370: PUSH1 0x40 00001372: MLOAD 00001373: PUSH3 0x461bcd 00001377: PUSH1 0xe5 00001379: SHL 0000137a: DUP2 0000137b: MSTORE 0000137c: PUSH1 0x04 0000137e: ADD 0000137f: PUSH2 0x00aa 00001382: SWAP2 00001383: SWAP1 00001384: PUSH2 0x1660 00001387: JUMP 00001388: JUMPDEST 00001389: PUSH2 0x158a 0000138c: DUP1 0000138d: PUSH2 0x16a3 00001390: DUP4 00001391: CODECOPY 00001392: ADD 00001393: SWAP1 00001394: JUMP 00001395: JUMPDEST 00001396: PUSH2 0x06ae 00001399: DUP1 0000139a: PUSH2 0x2c2d 0000139d: DUP4 0000139e: CODECOPY 0000139f: ADD 000013a0: SWAP1 000013a1: JUMP 000013a2: JUMPDEST 000013a3: PUSH2 0x02d1 000013a6: DUP1 000013a7: PUSH2 0x32db 000013aa: DUP4 000013ab: CODECOPY 000013ac: ADD 000013ad: SWAP1 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH1 0x00 000013b2: PUSH1 0x20 000013b4: DUP3 000013b5: DUP5 000013b6: SUB 000013b7: SLT 000013b8: ISZERO 000013b9: PUSH2 0x13c1 000013bc: JUMPI 000013bd: PUSH1 0x00 000013bf: DUP1 000013c0: REVERT 000013c1: JUMPDEST 000013c2: DUP2 000013c3: CALLDATALOAD 000013c4: PUSH1 0x01 000013c6: PUSH1 0x01 000013c8: PUSH1 0xa0 000013ca: SHL 000013cb: SUB 000013cc: DUP2 000013cd: AND 000013ce: DUP2 000013cf: EQ 000013d0: PUSH2 0x13d8 000013d3: JUMPI 000013d4: PUSH1 0x00 000013d6: DUP1 000013d7: REVERT 000013d8: JUMPDEST 000013d9: SWAP4 000013da: SWAP3 000013db: POP 000013dc: POP 000013dd: POP 000013de: JUMP 000013df: JUMPDEST 000013e0: PUSH4 0x4e487b71 000013e5: PUSH1 0xe0 000013e7: SHL 000013e8: PUSH1 0x00 000013ea: MSTORE 000013eb: PUSH1 0x32 000013ed: PUSH1 0x04 000013ef: MSTORE 000013f0: PUSH1 0x24 000013f2: PUSH1 0x00 000013f4: REVERT 000013f5: JUMPDEST 000013f6: PUSH4 0x4e487b71 000013fb: PUSH1 0xe0 000013fd: SHL 000013fe: PUSH1 0x00 00001400: MSTORE 00001401: PUSH1 0x21 00001403: PUSH1 0x04 00001405: MSTORE 00001406: PUSH1 0x24 00001408: PUSH1 0x00 0000140a: REVERT 0000140b: JUMPDEST 0000140c: PUSH4 0x4e487b71 00001411: PUSH1 0xe0 00001413: SHL 00001414: PUSH1 0x00 00001416: MSTORE 00001417: PUSH1 0x11 00001419: PUSH1 0x04 0000141b: MSTORE 0000141c: PUSH1 0x24 0000141e: PUSH1 0x00 00001420: REVERT 00001421: JUMPDEST 00001422: PUSH1 0x00 00001424: PUSH1 0x01 00001426: DUP3 00001427: ADD 00001428: PUSH2 0x1433 0000142b: JUMPI 0000142c: PUSH2 0x1433 0000142f: PUSH2 0x140b 00001432: JUMP 00001433: JUMPDEST 00001434: POP 00001435: PUSH1 0x01 00001437: ADD 00001438: SWAP1 00001439: JUMP 0000143a: JUMPDEST 0000143b: PUSH1 0x00 0000143d: JUMPDEST 0000143e: DUP4 0000143f: DUP2 00001440: LT 00001441: ISZERO 00001442: PUSH2 0x1455 00001445: JUMPI 00001446: DUP2 00001447: DUP2 00001448: ADD 00001449: MLOAD 0000144a: DUP4 0000144b: DUP3 0000144c: ADD 0000144d: MSTORE 0000144e: PUSH1 0x20 00001450: ADD 00001451: PUSH2 0x143d 00001454: JUMP 00001455: JUMPDEST 00001456: POP 00001457: POP 00001458: PUSH1 0x00 0000145a: SWAP2 0000145b: ADD 0000145c: MSTORE 0000145d: JUMP 0000145e: JUMPDEST 0000145f: PUSH1 0x00 00001461: DUP2 00001462: MLOAD 00001463: DUP1 00001464: DUP5 00001465: MSTORE 00001466: PUSH2 0x1476 00001469: DUP2 0000146a: PUSH1 0x20 0000146c: DUP7 0000146d: ADD 0000146e: PUSH1 0x20 00001470: DUP7 00001471: ADD 00001472: PUSH2 0x143a 00001475: JUMP 00001476: JUMPDEST 00001477: PUSH1 0x1f 00001479: ADD 0000147a: PUSH1 0x1f 0000147c: NOT 0000147d: AND 0000147e: SWAP3 0000147f: SWAP1 00001480: SWAP3 00001481: ADD 00001482: PUSH1 0x20 00001484: ADD 00001485: SWAP3 00001486: SWAP2 00001487: POP 00001488: POP 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x00 0000148d: PUSH1 0x60 0000148f: DUP1 00001490: DUP4 00001491: ADD 00001492: DUP2 00001493: DUP5 00001494: MSTORE 00001495: DUP1 00001496: DUP8 00001497: MLOAD 00001498: DUP1 00001499: DUP4 0000149a: MSTORE 0000149b: PUSH1 0x80 0000149d: SWAP3 0000149e: POP 0000149f: DUP3 000014a0: DUP7 000014a1: ADD 000014a2: SWAP2 000014a3: POP 000014a4: DUP3 000014a5: DUP2 000014a6: PUSH1 0x05 000014a8: SHL 000014a9: DUP8 000014aa: ADD 000014ab: ADD 000014ac: PUSH1 0x20 000014ae: DUP1 000014af: DUP12 000014b0: ADD 000014b1: PUSH1 0x00 000014b3: JUMPDEST 000014b4: DUP5 000014b5: DUP2 000014b6: LT 000014b7: ISZERO 000014b8: PUSH2 0x155a 000014bb: JUMPI 000014bc: DUP10 000014bd: DUP5 000014be: SUB 000014bf: PUSH1 0x7f 000014c1: NOT 000014c2: ADD 000014c3: DUP7 000014c4: MSTORE 000014c5: DUP2 000014c6: MLOAD 000014c7: DUP1 000014c8: MLOAD 000014c9: PUSH1 0x01 000014cb: PUSH1 0x01 000014cd: PUSH1 0xa0 000014cf: SHL 000014d0: SUB 000014d1: AND 000014d2: DUP6 000014d3: MSTORE 000014d4: DUP4 000014d5: DUP2 000014d6: ADD 000014d7: MLOAD 000014d8: DUP10 000014d9: DUP7 000014da: ADD 000014db: SWAP1 000014dc: PUSH1 0x03 000014de: DUP2 000014df: LT 000014e0: PUSH2 0x14f9 000014e3: JUMPI 000014e4: PUSH4 0x4e487b71 000014e9: PUSH1 0xe0 000014eb: SHL 000014ec: PUSH1 0x00 000014ee: MSTORE 000014ef: PUSH1 0x21 000014f1: PUSH1 0x04 000014f3: MSTORE 000014f4: PUSH1 0x24 000014f6: PUSH1 0x00 000014f8: REVERT 000014f9: JUMPDEST 000014fa: DUP7 000014fb: DUP7 000014fc: ADD 000014fd: MSTORE 000014fe: PUSH1 0x40 00001500: SWAP2 00001501: DUP3 00001502: ADD 00001503: MLOAD 00001504: SWAP2 00001505: DUP7 00001506: ADD 00001507: DUP11 00001508: SWAP1 00001509: MSTORE 0000150a: DUP2 0000150b: MLOAD 0000150c: SWAP1 0000150d: DUP2 0000150e: SWAP1 0000150f: MSTORE 00001510: SWAP1 00001511: DUP5 00001512: ADD 00001513: SWAP1 00001514: PUSH1 0x00 00001516: SWAP1 00001517: DUP10 00001518: DUP8 00001519: ADD 0000151a: SWAP1 0000151b: JUMPDEST 0000151c: DUP1 0000151d: DUP4 0000151e: LT 0000151f: ISZERO 00001520: PUSH2 0x1545 00001523: JUMPI 00001524: DUP4 00001525: MLOAD 00001526: PUSH1 0x01 00001528: PUSH1 0x01 0000152a: PUSH1 0xe0 0000152c: SHL 0000152d: SUB 0000152e: NOT 0000152f: AND 00001530: DUP3 00001531: MSTORE 00001532: SWAP3 00001533: DUP7 00001534: ADD 00001535: SWAP3 00001536: PUSH1 0x01 00001538: SWAP3 00001539: SWAP1 0000153a: SWAP3 0000153b: ADD 0000153c: SWAP2 0000153d: SWAP1 0000153e: DUP7 0000153f: ADD 00001540: SWAP1 00001541: PUSH2 0x151b 00001544: JUMP 00001545: JUMPDEST 00001546: POP 00001547: SWAP8 00001548: DUP6 00001549: ADD 0000154a: SWAP8 0000154b: SWAP6 0000154c: POP 0000154d: POP 0000154e: POP 0000154f: SWAP1 00001550: DUP3 00001551: ADD 00001552: SWAP1 00001553: PUSH1 0x01 00001555: ADD 00001556: PUSH2 0x14b3 00001559: JUMP 0000155a: JUMPDEST 0000155b: POP 0000155c: POP 0000155d: PUSH1 0x01 0000155f: PUSH1 0x01 00001561: PUSH1 0xa0 00001563: SHL 00001564: SUB 00001565: DUP11 00001566: AND 00001567: SWAP1 00001568: DUP9 00001569: ADD 0000156a: MSTORE 0000156b: DUP7 0000156c: DUP2 0000156d: SUB 0000156e: PUSH1 0x40 00001570: DUP9 00001571: ADD 00001572: MSTORE 00001573: PUSH2 0x157c 00001576: DUP2 00001577: DUP10 00001578: PUSH2 0x145e 0000157b: JUMP 0000157c: JUMPDEST 0000157d: SWAP11 0000157e: SWAP10 0000157f: POP 00001580: POP 00001581: POP 00001582: POP 00001583: POP 00001584: POP 00001585: POP 00001586: POP 00001587: POP 00001588: POP 00001589: JUMP 0000158a: JUMPDEST 0000158b: PUSH1 0x20 0000158d: DUP1 0000158e: DUP3 0000158f: MSTORE 00001590: PUSH1 0x2c 00001592: SWAP1 00001593: DUP3 00001594: ADD 00001595: MSTORE 00001596: PUSH32 0x4469616d6f6e6453746f726167653a204e6f2073656c6563746f727320696e20 000015b7: PUSH1 0x40 000015b9: DUP3 000015ba: ADD 000015bb: MSTORE 000015bc: PUSH12 0x199858d95d081d1bc818dd5d 000015c9: PUSH1 0xa2 000015cb: SHL 000015cc: PUSH1 0x60 000015ce: DUP3 000015cf: ADD 000015d0: MSTORE 000015d1: PUSH1 0x80 000015d3: ADD 000015d4: SWAP1 000015d5: JUMP 000015d6: JUMPDEST 000015d7: PUSH1 0x20 000015d9: DUP1 000015da: DUP3 000015db: MSTORE 000015dc: PUSH1 0x2d 000015de: SWAP1 000015df: DUP3 000015e0: ADD 000015e1: MSTORE 000015e2: PUSH32 0x4469616d6f6e6453746f726167653a204164642066616365742063616e277420 00001603: PUSH1 0x40 00001605: DUP3 00001606: ADD 00001607: MSTORE 00001608: PUSH13 0x62652061646472657373283029 00001616: PUSH1 0x98 00001618: SHL 00001619: PUSH1 0x60 0000161b: DUP3 0000161c: ADD 0000161d: MSTORE 0000161e: PUSH1 0x80 00001620: ADD 00001621: SWAP1 00001622: JUMP 00001623: JUMPDEST 00001624: PUSH1 0x00 00001626: PUSH2 0xffff 00001629: DUP1 0000162a: DUP4 0000162b: AND 0000162c: DUP2 0000162d: DUP2 0000162e: SUB 0000162f: PUSH2 0x163a 00001632: JUMPI 00001633: PUSH2 0x163a 00001636: PUSH2 0x140b 00001639: JUMP 0000163a: JUMPDEST 0000163b: PUSH1 0x01 0000163d: ADD 0000163e: SWAP4 0000163f: SWAP3 00001640: POP 00001641: POP 00001642: POP 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH1 0x00 00001647: DUP3 00001648: MLOAD 00001649: PUSH2 0x1656 0000164c: DUP2 0000164d: DUP5 0000164e: PUSH1 0x20 00001650: DUP8 00001651: ADD 00001652: PUSH2 0x143a 00001655: JUMP 00001656: JUMPDEST 00001657: SWAP2 00001658: SWAP1 00001659: SWAP2 0000165a: ADD 0000165b: SWAP3 0000165c: SWAP2 0000165d: POP 0000165e: POP 0000165f: JUMP 00001660: JUMPDEST 00001661: PUSH1 0x20 00001663: DUP2 00001664: MSTORE 00001665: PUSH1 0x00 00001667: PUSH2 0x13d8 0000166a: PUSH1 0x20 0000166c: DUP4 0000166d: ADD 0000166e: DUP5 0000166f: PUSH2 0x145e 00001672: JUMP 00001673: JUMPDEST 00001674: DUP2 00001675: DUP2 00001676: SUB 00001677: DUP2 00001678: DUP2 00001679: GT 0000167a: ISZERO 0000167b: PUSH2 0x1686 0000167e: JUMPI 0000167f: PUSH2 0x1686 00001682: PUSH2 0x140b 00001685: JUMP 00001686: JUMPDEST 00001687: SWAP3 00001688: SWAP2 00001689: POP 0000168a: POP 0000168b: JUMP 0000168c: JUMPDEST 0000168d: PUSH4 0x4e487b71 00001692: PUSH1 0xe0 00001694: SHL 00001695: PUSH1 0x00 00001697: MSTORE 00001698: PUSH1 0x31 0000169a: PUSH1 0x04 0000169c: MSTORE 0000169d: PUSH1 0x24 0000169f: PUSH1 0x00 000016a1: REVERT 000016a2: INVALID 000016a3: PUSH1 0x80 000016a5: PUSH1 0x40 000016a7: MSTORE 000016a8: CALLVALUE 000016a9: DUP1 000016aa: ISZERO 000016ab: PUSH2 0x0010 000016ae: JUMPI 000016af: PUSH1 0x00 000016b1: DUP1 000016b2: REVERT 000016b3: JUMPDEST 000016b4: POP 000016b5: PUSH2 0x156a 000016b8: DUP1 000016b9: PUSH2 0x0020 000016bc: PUSH1 0x00 000016be: CODECOPY 000016bf: PUSH1 0x00 000016c1: RETURN 000016c2: INVALID 000016c3: PUSH1 0x80 000016c5: PUSH1 0x40 000016c7: MSTORE 000016c8: CALLVALUE 000016c9: DUP1 000016ca: ISZERO 000016cb: PUSH2 0x0010 000016ce: JUMPI 000016cf: PUSH1 0x00 000016d1: DUP1 000016d2: REVERT 000016d3: JUMPDEST 000016d4: POP 000016d5: PUSH1 0x04 000016d7: CALLDATASIZE 000016d8: LT 000016d9: PUSH2 0x002b 000016dc: JUMPI 000016dd: PUSH1 0x00 000016df: CALLDATALOAD 000016e0: PUSH1 0xe0 000016e2: SHR 000016e3: DUP1 000016e4: PUSH4 0x1f931c1c 000016e9: EQ 000016ea: PUSH2 0x0030 000016ed: JUMPI 000016ee: JUMPDEST 000016ef: PUSH1 0x00 000016f1: DUP1 000016f2: REVERT 000016f3: JUMPDEST 000016f4: PUSH2 0x0043 000016f7: PUSH2 0x003e 000016fa: CALLDATASIZE 000016fb: PUSH1 0x04 000016fd: PUSH2 0x0f72 00001700: JUMP 00001701: JUMPDEST 00001702: PUSH2 0x0045 00001705: JUMP 00001706: JUMPDEST 00001707: STOP 00001708: JUMPDEST 00001709: PUSH2 0x004d 0000170c: PUSH2 0x009e 0000170f: JUMP 00001710: JUMPDEST 00001711: PUSH2 0x0097 00001714: PUSH2 0x005a 00001717: DUP6 00001718: DUP8 00001719: PUSH2 0x10b8 0000171c: JUMP 0000171d: JUMPDEST 0000171e: DUP5 0000171f: DUP5 00001720: DUP5 00001721: DUP1 00001722: DUP1 00001723: PUSH1 0x1f 00001725: ADD 00001726: PUSH1 0x20 00001728: DUP1 00001729: SWAP2 0000172a: DIV 0000172b: MUL 0000172c: PUSH1 0x20 0000172e: ADD 0000172f: PUSH1 0x40 00001731: MLOAD 00001732: SWAP1 00001733: DUP2 00001734: ADD 00001735: PUSH1 0x40 00001737: MSTORE 00001738: DUP1 00001739: SWAP4 0000173a: SWAP3 0000173b: SWAP2 0000173c: SWAP1 0000173d: DUP2 0000173e: DUP2 0000173f: MSTORE 00001740: PUSH1 0x20 00001742: ADD 00001743: DUP4 00001744: DUP4 00001745: DUP1 00001746: DUP3 00001747: DUP5 00001748: CALLDATACOPY 00001749: PUSH1 0x00 0000174b: SWAP3 0000174c: ADD 0000174d: SWAP2 0000174e: SWAP1 0000174f: SWAP2 00001750: MSTORE 00001751: POP 00001752: PUSH2 0x0139 00001755: SWAP3 00001756: POP 00001757: POP 00001758: POP 00001759: JUMP 0000175a: JUMPDEST 0000175b: POP 0000175c: POP 0000175d: POP 0000175e: POP 0000175f: POP 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 00001783: SLOAD 00001784: PUSH1 0x01 00001786: PUSH1 0x01 00001788: PUSH1 0xa0 0000178a: SHL 0000178b: SUB 0000178c: AND 0000178d: PUSH2 0x00d1 00001790: PUSH2 0x034b 00001793: JUMP 00001794: JUMPDEST 00001795: PUSH1 0x01 00001797: PUSH1 0x01 00001799: PUSH1 0xa0 0000179b: SHL 0000179c: SUB 0000179d: AND 0000179e: EQ 0000179f: PUSH2 0x0137 000017a2: JUMPI 000017a3: PUSH1 0x40 000017a5: MLOAD 000017a6: PUSH3 0x461bcd 000017aa: PUSH1 0xe5 000017ac: SHL 000017ad: DUP2 000017ae: MSTORE 000017af: PUSH1 0x20 000017b1: PUSH1 0x04 000017b3: DUP3 000017b4: ADD 000017b5: MSTORE 000017b6: PUSH1 0x22 000017b8: PUSH1 0x24 000017ba: DUP3 000017bb: ADD 000017bc: MSTORE 000017bd: PUSH32 0x4c69624469616d6f6e643a204d75737420626520636f6e7472616374206f776e 000017de: PUSH1 0x44 000017e0: DUP3 000017e1: ADD 000017e2: MSTORE 000017e3: PUSH2 0x32b9 000017e6: PUSH1 0xf1 000017e8: SHL 000017e9: PUSH1 0x64 000017eb: DUP3 000017ec: ADD 000017ed: MSTORE 000017ee: PUSH1 0x84 000017f0: ADD 000017f1: JUMPDEST 000017f2: PUSH1 0x40 000017f4: MLOAD 000017f5: DUP1 000017f6: SWAP2 000017f7: SUB 000017f8: SWAP1 000017f9: REVERT 000017fa: JUMPDEST 000017fb: JUMP 000017fc: JUMPDEST 000017fd: PUSH1 0x00 000017ff: JUMPDEST 00001800: DUP4 00001801: MLOAD 00001802: DUP2 00001803: LT 00001804: ISZERO 00001805: PUSH2 0x0300 00001808: JUMPI 00001809: PUSH1 0x00 0000180b: DUP5 0000180c: DUP3 0000180d: DUP2 0000180e: MLOAD 0000180f: DUP2 00001810: LT 00001811: PUSH2 0x0159 00001814: JUMPI 00001815: PUSH2 0x0159 00001818: PUSH2 0x11fc 0000181b: JUMP 0000181c: JUMPDEST 0000181d: PUSH1 0x20 0000181f: MUL 00001820: PUSH1 0x20 00001822: ADD 00001823: ADD 00001824: MLOAD 00001825: PUSH1 0x20 00001827: ADD 00001828: MLOAD 00001829: SWAP1 0000182a: POP 0000182b: PUSH1 0x00 0000182d: PUSH1 0x02 0000182f: DUP2 00001830: GT 00001831: ISZERO 00001832: PUSH2 0x017a 00001835: JUMPI 00001836: PUSH2 0x017a 00001839: PUSH2 0x1212 0000183c: JUMP 0000183d: JUMPDEST 0000183e: DUP2 0000183f: PUSH1 0x02 00001841: DUP2 00001842: GT 00001843: ISZERO 00001844: PUSH2 0x018c 00001847: JUMPI 00001848: PUSH2 0x018c 0000184b: PUSH2 0x1212 0000184e: JUMP 0000184f: JUMPDEST 00001850: SUB 00001851: PUSH2 0x01da 00001854: JUMPI 00001855: PUSH2 0x01d5 00001858: DUP6 00001859: DUP4 0000185a: DUP2 0000185b: MLOAD 0000185c: DUP2 0000185d: LT 0000185e: PUSH2 0x01a6 00001861: JUMPI 00001862: PUSH2 0x01a6 00001865: PUSH2 0x11fc 00001868: JUMP 00001869: JUMPDEST 0000186a: PUSH1 0x20 0000186c: MUL 0000186d: PUSH1 0x20 0000186f: ADD 00001870: ADD 00001871: MLOAD 00001872: PUSH1 0x00 00001874: ADD 00001875: MLOAD 00001876: DUP7 00001877: DUP5 00001878: DUP2 00001879: MLOAD 0000187a: DUP2 0000187b: LT 0000187c: PUSH2 0x01c4 0000187f: JUMPI 00001880: PUSH2 0x01c4 00001883: PUSH2 0x11fc 00001886: JUMP 00001887: JUMPDEST 00001888: PUSH1 0x20 0000188a: MUL 0000188b: PUSH1 0x20 0000188d: ADD 0000188e: ADD 0000188f: MLOAD 00001890: PUSH1 0x40 00001892: ADD 00001893: MLOAD 00001894: PUSH2 0x03a7 00001897: JUMP 00001898: JUMPDEST 00001899: PUSH2 0x02ed 0000189c: JUMP 0000189d: JUMPDEST 0000189e: PUSH1 0x01 000018a0: DUP2 000018a1: PUSH1 0x02 000018a3: DUP2 000018a4: GT 000018a5: ISZERO 000018a6: PUSH2 0x01ee 000018a9: JUMPI 000018aa: PUSH2 0x01ee 000018ad: PUSH2 0x1212 000018b0: JUMP 000018b1: JUMPDEST 000018b2: SUB 000018b3: PUSH2 0x0237 000018b6: JUMPI 000018b7: PUSH2 0x01d5 000018ba: DUP6 000018bb: DUP4 000018bc: DUP2 000018bd: MLOAD 000018be: DUP2 000018bf: LT 000018c0: PUSH2 0x0208 000018c3: JUMPI 000018c4: PUSH2 0x0208 000018c7: PUSH2 0x11fc 000018ca: JUMP 000018cb: JUMPDEST 000018cc: PUSH1 0x20 000018ce: MUL 000018cf: PUSH1 0x20 000018d1: ADD 000018d2: ADD 000018d3: MLOAD 000018d4: PUSH1 0x00 000018d6: ADD 000018d7: MLOAD 000018d8: DUP7 000018d9: DUP5 000018da: DUP2 000018db: MLOAD 000018dc: DUP2 000018dd: LT 000018de: PUSH2 0x0226 000018e1: JUMPI 000018e2: PUSH2 0x0226 000018e5: PUSH2 0x11fc 000018e8: JUMP 000018e9: JUMPDEST 000018ea: PUSH1 0x20 000018ec: MUL 000018ed: PUSH1 0x20 000018ef: ADD 000018f0: ADD 000018f1: MLOAD 000018f2: PUSH1 0x40 000018f4: ADD 000018f5: MLOAD 000018f6: PUSH2 0x051b 000018f9: JUMP 000018fa: JUMPDEST 000018fb: PUSH1 0x02 000018fd: DUP2 000018fe: PUSH1 0x02 00001900: DUP2 00001901: GT 00001902: ISZERO 00001903: PUSH2 0x024b 00001906: JUMPI 00001907: PUSH2 0x024b 0000190a: PUSH2 0x1212 0000190d: JUMP 0000190e: JUMPDEST 0000190f: SUB 00001910: PUSH2 0x0294 00001913: JUMPI 00001914: PUSH2 0x01d5 00001917: DUP6 00001918: DUP4 00001919: DUP2 0000191a: MLOAD 0000191b: DUP2 0000191c: LT 0000191d: PUSH2 0x0265 00001920: JUMPI 00001921: PUSH2 0x0265 00001924: PUSH2 0x11fc 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH1 0x20 0000192b: MUL 0000192c: PUSH1 0x20 0000192e: ADD 0000192f: ADD 00001930: MLOAD 00001931: PUSH1 0x00 00001933: ADD 00001934: MLOAD 00001935: DUP7 00001936: DUP5 00001937: DUP2 00001938: MLOAD 00001939: DUP2 0000193a: LT 0000193b: PUSH2 0x0283 0000193e: JUMPI 0000193f: PUSH2 0x0283 00001942: PUSH2 0x11fc 00001945: JUMP 00001946: JUMPDEST 00001947: PUSH1 0x20 00001949: MUL 0000194a: PUSH1 0x20 0000194c: ADD 0000194d: ADD 0000194e: MLOAD 0000194f: PUSH1 0x40 00001951: ADD 00001952: MLOAD 00001953: PUSH2 0x06a5 00001956: JUMP 00001957: JUMPDEST 00001958: PUSH1 0x40 0000195a: MLOAD 0000195b: PUSH3 0x461bcd 0000195f: PUSH1 0xe5 00001961: SHL 00001962: DUP2 00001963: MSTORE 00001964: PUSH1 0x20 00001966: PUSH1 0x04 00001968: DUP3 00001969: ADD 0000196a: MSTORE 0000196b: PUSH1 0x28 0000196d: PUSH1 0x24 0000196f: DUP3 00001970: ADD 00001971: MSTORE 00001972: PUSH32 0x4469616d6f6e6453746f726167653a20496e636f727265637420466163657443 00001993: PUSH1 0x44 00001995: DUP3 00001996: ADD 00001997: MSTORE 00001998: PUSH8 0x3aba20b1ba34b7b7 000019a1: PUSH1 0xc1 000019a3: SHL 000019a4: PUSH1 0x64 000019a6: DUP3 000019a7: ADD 000019a8: MSTORE 000019a9: PUSH1 0x84 000019ab: ADD 000019ac: PUSH2 0x012e 000019af: JUMP 000019b0: JUMPDEST 000019b1: POP 000019b2: DUP1 000019b3: PUSH2 0x02f8 000019b6: DUP2 000019b7: PUSH2 0x123e 000019ba: JUMP 000019bb: JUMPDEST 000019bc: SWAP2 000019bd: POP 000019be: POP 000019bf: PUSH2 0x013c 000019c2: JUMP 000019c3: JUMPDEST 000019c4: POP 000019c5: PUSH32 0x8faa70878671ccd212d20771b795c50af8fd3ff6cf27f4bde57e5d4de0aeb673 000019e6: DUP4 000019e7: DUP4 000019e8: DUP4 000019e9: PUSH1 0x40 000019eb: MLOAD 000019ec: PUSH2 0x0334 000019ef: SWAP4 000019f0: SWAP3 000019f1: SWAP2 000019f2: SWAP1 000019f3: PUSH2 0x12a7 000019f6: JUMP 000019f7: JUMPDEST 000019f8: PUSH1 0x40 000019fa: MLOAD 000019fb: DUP1 000019fc: SWAP2 000019fd: SUB 000019fe: SWAP1 000019ff: LOG1 00001a00: PUSH2 0x0346 00001a03: DUP3 00001a04: DUP3 00001a05: PUSH2 0x07c9 00001a08: JUMP 00001a09: JUMPDEST 00001a0a: POP 00001a0b: POP 00001a0c: POP 00001a0d: JUMP 00001a0e: JUMPDEST 00001a0f: PUSH1 0x00 00001a11: ADDRESS 00001a12: CALLER 00001a13: SUB 00001a14: PUSH2 0x03a1 00001a17: JUMPI 00001a18: PUSH1 0x00 00001a1a: DUP1 00001a1b: CALLDATASIZE 00001a1c: DUP1 00001a1d: DUP1 00001a1e: PUSH1 0x1f 00001a20: ADD 00001a21: PUSH1 0x20 00001a23: DUP1 00001a24: SWAP2 00001a25: DIV 00001a26: MUL 00001a27: PUSH1 0x20 00001a29: ADD 00001a2a: PUSH1 0x40 00001a2c: MLOAD 00001a2d: SWAP1 00001a2e: DUP2 00001a2f: ADD 00001a30: PUSH1 0x40 00001a32: MSTORE 00001a33: DUP1 00001a34: SWAP4 00001a35: SWAP3 00001a36: SWAP2 00001a37: SWAP1 00001a38: DUP2 00001a39: DUP2 00001a3a: MSTORE 00001a3b: PUSH1 0x20 00001a3d: ADD 00001a3e: DUP4 00001a3f: DUP4 00001a40: DUP1 00001a41: DUP3 00001a42: DUP5 00001a43: CALLDATACOPY 00001a44: PUSH1 0x00 00001a46: SWAP3 00001a47: ADD 00001a48: SWAP2 00001a49: SWAP1 00001a4a: SWAP2 00001a4b: MSTORE 00001a4c: POP 00001a4d: POP 00001a4e: POP 00001a4f: POP 00001a50: CALLDATASIZE 00001a51: ADD 00001a52: MLOAD 00001a53: PUSH1 0x01 00001a55: PUSH1 0x01 00001a57: PUSH1 0xa0 00001a59: SHL 00001a5a: SUB 00001a5b: AND 00001a5c: SWAP2 00001a5d: POP 00001a5e: PUSH2 0x03a4 00001a61: SWAP1 00001a62: POP 00001a63: JUMP 00001a64: JUMPDEST 00001a65: POP 00001a66: CALLER 00001a67: JUMPDEST 00001a68: SWAP1 00001a69: JUMP 00001a6a: JUMPDEST 00001a6b: PUSH1 0x00 00001a6d: DUP2 00001a6e: MLOAD 00001a6f: GT 00001a70: PUSH2 0x03c8 00001a73: JUMPI 00001a74: PUSH1 0x40 00001a76: MLOAD 00001a77: PUSH3 0x461bcd 00001a7b: PUSH1 0xe5 00001a7d: SHL 00001a7e: DUP2 00001a7f: MSTORE 00001a80: PUSH1 0x04 00001a82: ADD 00001a83: PUSH2 0x012e 00001a86: SWAP1 00001a87: PUSH2 0x13a7 00001a8a: JUMP 00001a8b: JUMPDEST 00001a8c: PUSH1 0x00 00001a8e: DUP1 00001a8f: MLOAD 00001a90: PUSH1 0x20 00001a92: PUSH2 0x14c7 00001a95: DUP4 00001a96: CODECOPY 00001a97: DUP2 00001a98: MLOAD 00001a99: SWAP2 00001a9a: MSTORE 00001a9b: PUSH1 0x01 00001a9d: PUSH1 0x01 00001a9f: PUSH1 0xa0 00001aa1: SHL 00001aa2: SUB 00001aa3: DUP4 00001aa4: AND 00001aa5: PUSH2 0x03fd 00001aa8: JUMPI 00001aa9: PUSH1 0x40 00001aab: MLOAD 00001aac: PUSH3 0x461bcd 00001ab0: PUSH1 0xe5 00001ab2: SHL 00001ab3: DUP2 00001ab4: MSTORE 00001ab5: PUSH1 0x04 00001ab7: ADD 00001ab8: PUSH2 0x012e 00001abb: SWAP1 00001abc: PUSH2 0x13f3 00001abf: JUMP 00001ac0: JUMPDEST 00001ac1: PUSH1 0x01 00001ac3: PUSH1 0x01 00001ac5: PUSH1 0xa0 00001ac7: SHL 00001ac8: SUB 00001ac9: DUP4 00001aca: AND 00001acb: PUSH1 0x00 00001acd: SWAP1 00001ace: DUP2 00001acf: MSTORE 00001ad0: PUSH1 0x01 00001ad2: DUP3 00001ad3: ADD 00001ad4: PUSH1 0x20 00001ad6: MSTORE 00001ad7: PUSH1 0x40 00001ad9: DUP2 00001ada: KECCAK256 00001adb: SLOAD 00001adc: SWAP1 00001add: PUSH2 0xffff 00001ae0: DUP3 00001ae1: AND 00001ae2: SWAP1 00001ae3: SUB 00001ae4: PUSH2 0x042e 00001ae7: JUMPI 00001ae8: PUSH2 0x042e 00001aeb: DUP3 00001aec: DUP6 00001aed: PUSH2 0x09dd 00001af0: JUMP 00001af1: JUMPDEST 00001af2: PUSH1 0x00 00001af4: JUMPDEST 00001af5: DUP4 00001af6: MLOAD 00001af7: DUP2 00001af8: LT 00001af9: ISZERO 00001afa: PUSH2 0x0097 00001afd: JUMPI 00001afe: PUSH1 0x00 00001b00: DUP5 00001b01: DUP3 00001b02: DUP2 00001b03: MLOAD 00001b04: DUP2 00001b05: LT 00001b06: PUSH2 0x044e 00001b09: JUMPI 00001b0a: PUSH2 0x044e 00001b0d: PUSH2 0x11fc 00001b10: JUMP 00001b11: JUMPDEST 00001b12: PUSH1 0x20 00001b14: SWAP1 00001b15: DUP2 00001b16: MUL 00001b17: SWAP2 00001b18: SWAP1 00001b19: SWAP2 00001b1a: ADD 00001b1b: DUP2 00001b1c: ADD 00001b1d: MLOAD 00001b1e: PUSH1 0x01 00001b20: PUSH1 0x01 00001b22: PUSH1 0xe0 00001b24: SHL 00001b25: SUB 00001b26: NOT 00001b27: DUP2 00001b28: AND 00001b29: PUSH1 0x00 00001b2b: SWAP1 00001b2c: DUP2 00001b2d: MSTORE 00001b2e: SWAP2 00001b2f: DUP7 00001b30: SWAP1 00001b31: MSTORE 00001b32: PUSH1 0x40 00001b34: SWAP1 00001b35: SWAP2 00001b36: KECCAK256 00001b37: SLOAD 00001b38: SWAP1 00001b39: SWAP2 00001b3a: POP 00001b3b: PUSH1 0x01 00001b3d: PUSH1 0x01 00001b3f: PUSH1 0xa0 00001b41: SHL 00001b42: SUB 00001b43: AND 00001b44: DUP1 00001b45: ISZERO 00001b46: PUSH2 0x04ed 00001b49: JUMPI 00001b4a: PUSH1 0x40 00001b4c: MLOAD 00001b4d: PUSH3 0x461bcd 00001b51: PUSH1 0xe5 00001b53: SHL 00001b54: DUP2 00001b55: MSTORE 00001b56: PUSH1 0x20 00001b58: PUSH1 0x04 00001b5a: DUP3 00001b5b: ADD 00001b5c: MSTORE 00001b5d: PUSH1 0x36 00001b5f: PUSH1 0x24 00001b61: DUP3 00001b62: ADD 00001b63: MSTORE 00001b64: PUSH32 0x4469616d6f6e6453746f726167653a2043616e2774206164642066756e637469 00001b85: PUSH1 0x44 00001b87: DUP3 00001b88: ADD 00001b89: MSTORE 00001b8a: PUSH22 0x6f6e207468617420616c726561647920657869737473 00001ba1: PUSH1 0x50 00001ba3: SHL 00001ba4: PUSH1 0x64 00001ba6: DUP3 00001ba7: ADD 00001ba8: MSTORE 00001ba9: PUSH1 0x84 00001bab: ADD 00001bac: PUSH2 0x012e 00001baf: JUMP 00001bb0: JUMPDEST 00001bb1: PUSH2 0x04f9 00001bb4: DUP6 00001bb5: DUP4 00001bb6: DUP7 00001bb7: DUP11 00001bb8: PUSH2 0x0a5d 00001bbb: JUMP 00001bbc: JUMPDEST 00001bbd: DUP4 00001bbe: PUSH2 0x0503 00001bc1: DUP2 00001bc2: PUSH2 0x1440 00001bc5: JUMP 00001bc6: JUMPDEST 00001bc7: SWAP5 00001bc8: POP 00001bc9: POP 00001bca: POP 00001bcb: POP 00001bcc: DUP1 00001bcd: DUP1 00001bce: PUSH2 0x0513 00001bd1: SWAP1 00001bd2: PUSH2 0x123e 00001bd5: JUMP 00001bd6: JUMPDEST 00001bd7: SWAP2 00001bd8: POP 00001bd9: POP 00001bda: PUSH2 0x0431 00001bdd: JUMP 00001bde: JUMPDEST 00001bdf: PUSH1 0x00 00001be1: DUP2 00001be2: MLOAD 00001be3: GT 00001be4: PUSH2 0x053c 00001be7: JUMPI 00001be8: PUSH1 0x40 00001bea: MLOAD 00001beb: PUSH3 0x461bcd 00001bef: PUSH1 0xe5 00001bf1: SHL 00001bf2: DUP2 00001bf3: MSTORE 00001bf4: PUSH1 0x04 00001bf6: ADD 00001bf7: PUSH2 0x012e 00001bfa: SWAP1 00001bfb: PUSH2 0x13a7 00001bfe: JUMP 00001bff: JUMPDEST 00001c00: PUSH1 0x00 00001c02: DUP1 00001c03: MLOAD 00001c04: PUSH1 0x20 00001c06: PUSH2 0x14c7 00001c09: DUP4 00001c0a: CODECOPY 00001c0b: DUP2 00001c0c: MLOAD 00001c0d: SWAP2 00001c0e: MSTORE 00001c0f: PUSH1 0x01 00001c11: PUSH1 0x01 00001c13: PUSH1 0xa0 00001c15: SHL 00001c16: SUB 00001c17: DUP4 00001c18: AND 00001c19: PUSH2 0x0571 00001c1c: JUMPI 00001c1d: PUSH1 0x40 00001c1f: MLOAD 00001c20: PUSH3 0x461bcd 00001c24: PUSH1 0xe5 00001c26: SHL 00001c27: DUP2 00001c28: MSTORE 00001c29: PUSH1 0x04 00001c2b: ADD 00001c2c: PUSH2 0x012e 00001c2f: SWAP1 00001c30: PUSH2 0x13f3 00001c33: JUMP 00001c34: JUMPDEST 00001c35: PUSH1 0x01 00001c37: PUSH1 0x01 00001c39: PUSH1 0xa0 00001c3b: SHL 00001c3c: SUB 00001c3d: DUP4 00001c3e: AND 00001c3f: PUSH1 0x00 00001c41: SWAP1 00001c42: DUP2 00001c43: MSTORE 00001c44: PUSH1 0x01 00001c46: DUP3 00001c47: ADD 00001c48: PUSH1 0x20 00001c4a: MSTORE 00001c4b: PUSH1 0x40 00001c4d: DUP2 00001c4e: KECCAK256 00001c4f: SLOAD 00001c50: SWAP1 00001c51: PUSH2 0xffff 00001c54: DUP3 00001c55: AND 00001c56: SWAP1 00001c57: SUB 00001c58: PUSH2 0x05a2 00001c5b: JUMPI 00001c5c: PUSH2 0x05a2 00001c5f: DUP3 00001c60: DUP6 00001c61: PUSH2 0x09dd 00001c64: JUMP 00001c65: JUMPDEST 00001c66: PUSH1 0x00 00001c68: JUMPDEST 00001c69: DUP4 00001c6a: MLOAD 00001c6b: DUP2 00001c6c: LT 00001c6d: ISZERO 00001c6e: PUSH2 0x0097 00001c71: JUMPI 00001c72: PUSH1 0x00 00001c74: DUP5 00001c75: DUP3 00001c76: DUP2 00001c77: MLOAD 00001c78: DUP2 00001c79: LT 00001c7a: PUSH2 0x05c2 00001c7d: JUMPI 00001c7e: PUSH2 0x05c2 00001c81: PUSH2 0x11fc 00001c84: JUMP 00001c85: JUMPDEST 00001c86: PUSH1 0x20 00001c88: SWAP1 00001c89: DUP2 00001c8a: MUL 00001c8b: SWAP2 00001c8c: SWAP1 00001c8d: SWAP2 00001c8e: ADD 00001c8f: DUP2 00001c90: ADD 00001c91: MLOAD 00001c92: PUSH1 0x01 00001c94: PUSH1 0x01 00001c96: PUSH1 0xe0 00001c98: SHL 00001c99: SUB 00001c9a: NOT 00001c9b: DUP2 00001c9c: AND 00001c9d: PUSH1 0x00 00001c9f: SWAP1 00001ca0: DUP2 00001ca1: MSTORE 00001ca2: SWAP2 00001ca3: DUP7 00001ca4: SWAP1 00001ca5: MSTORE 00001ca6: PUSH1 0x40 00001ca8: SWAP1 00001ca9: SWAP2 00001caa: KECCAK256 00001cab: SLOAD 00001cac: SWAP1 00001cad: SWAP2 00001cae: POP 00001caf: PUSH1 0x01 00001cb1: PUSH1 0x01 00001cb3: PUSH1 0xa0 00001cb5: SHL 00001cb6: SUB 00001cb7: SWAP1 00001cb8: DUP2 00001cb9: AND 00001cba: SWAP1 00001cbb: DUP8 00001cbc: AND 00001cbd: DUP2 00001cbe: SUB 00001cbf: PUSH2 0x066d 00001cc2: JUMPI 00001cc3: PUSH1 0x40 00001cc5: MLOAD 00001cc6: PUSH3 0x461bcd 00001cca: PUSH1 0xe5 00001ccc: SHL 00001ccd: DUP2 00001cce: MSTORE 00001ccf: PUSH1 0x20 00001cd1: PUSH1 0x04 00001cd3: DUP3 00001cd4: ADD 00001cd5: MSTORE 00001cd6: PUSH1 0x39 00001cd8: PUSH1 0x24 00001cda: DUP3 00001cdb: ADD 00001cdc: MSTORE 00001cdd: PUSH32 0x4469616d6f6e6453746f726167653a2043616e2774207265706c616365206675 00001cfe: PUSH1 0x44 00001d00: DUP3 00001d01: ADD 00001d02: MSTORE 00001d03: PUSH32 0x6e6374696f6e20776974682073616d652066756e6374696f6e00000000000000 00001d24: PUSH1 0x64 00001d26: DUP3 00001d27: ADD 00001d28: MSTORE 00001d29: PUSH1 0x84 00001d2b: ADD 00001d2c: PUSH2 0x012e 00001d2f: JUMP 00001d30: JUMPDEST 00001d31: PUSH2 0x0677 00001d34: DUP2 00001d35: DUP4 00001d36: PUSH2 0x0b00 00001d39: JUMP 00001d3a: JUMPDEST 00001d3b: PUSH2 0x0683 00001d3e: DUP6 00001d3f: DUP4 00001d40: DUP7 00001d41: DUP11 00001d42: PUSH2 0x0a5d 00001d45: JUMP 00001d46: JUMPDEST 00001d47: DUP4 00001d48: PUSH2 0x068d 00001d4b: DUP2 00001d4c: PUSH2 0x1440 00001d4f: JUMP 00001d50: JUMPDEST 00001d51: SWAP5 00001d52: POP 00001d53: POP 00001d54: POP 00001d55: POP 00001d56: DUP1 00001d57: DUP1 00001d58: PUSH2 0x069d 00001d5b: SWAP1 00001d5c: PUSH2 0x123e 00001d5f: JUMP 00001d60: JUMPDEST 00001d61: SWAP2 00001d62: POP 00001d63: POP 00001d64: PUSH2 0x05a5 00001d67: JUMP 00001d68: JUMPDEST 00001d69: PUSH1 0x00 00001d6b: DUP2 00001d6c: MLOAD 00001d6d: GT 00001d6e: PUSH2 0x06c6 00001d71: JUMPI 00001d72: PUSH1 0x40 00001d74: MLOAD 00001d75: PUSH3 0x461bcd 00001d79: PUSH1 0xe5 00001d7b: SHL 00001d7c: DUP2 00001d7d: MSTORE 00001d7e: PUSH1 0x04 00001d80: ADD 00001d81: PUSH2 0x012e 00001d84: SWAP1 00001d85: PUSH2 0x13a7 00001d88: JUMP 00001d89: JUMPDEST 00001d8a: PUSH1 0x00 00001d8c: DUP1 00001d8d: MLOAD 00001d8e: PUSH1 0x20 00001d90: PUSH2 0x14c7 00001d93: DUP4 00001d94: CODECOPY 00001d95: DUP2 00001d96: MLOAD 00001d97: SWAP2 00001d98: MSTORE 00001d99: PUSH1 0x01 00001d9b: PUSH1 0x01 00001d9d: PUSH1 0xa0 00001d9f: SHL 00001da0: SUB 00001da1: DUP4 00001da2: AND 00001da3: ISZERO 00001da4: PUSH2 0x0752 00001da7: JUMPI 00001da8: PUSH1 0x40 00001daa: MLOAD 00001dab: PUSH3 0x461bcd 00001daf: PUSH1 0xe5 00001db1: SHL 00001db2: DUP2 00001db3: MSTORE 00001db4: PUSH1 0x20 00001db6: PUSH1 0x04 00001db8: DUP3 00001db9: ADD 00001dba: MSTORE 00001dbb: PUSH1 0x37 00001dbd: PUSH1 0x24 00001dbf: DUP3 00001dc0: ADD 00001dc1: MSTORE 00001dc2: PUSH32 0x4469616d6f6e6453746f726167653a2052656d6f766520666163657420616464 00001de3: PUSH1 0x44 00001de5: DUP3 00001de6: ADD 00001de7: MSTORE 00001de8: PUSH32 0x72657373206d7573742062652061646472657373283029000000000000000000 00001e09: PUSH1 0x64 00001e0b: DUP3 00001e0c: ADD 00001e0d: MSTORE 00001e0e: PUSH1 0x84 00001e10: ADD 00001e11: PUSH2 0x012e 00001e14: JUMP 00001e15: JUMPDEST 00001e16: PUSH1 0x00 00001e18: JUMPDEST 00001e19: DUP3 00001e1a: MLOAD 00001e1b: DUP2 00001e1c: LT 00001e1d: ISZERO 00001e1e: PUSH2 0x07c3 00001e21: JUMPI 00001e22: PUSH1 0x00 00001e24: DUP4 00001e25: DUP3 00001e26: DUP2 00001e27: MLOAD 00001e28: DUP2 00001e29: LT 00001e2a: PUSH2 0x0772 00001e2d: JUMPI 00001e2e: PUSH2 0x0772 00001e31: PUSH2 0x11fc 00001e34: JUMP 00001e35: JUMPDEST 00001e36: PUSH1 0x20 00001e38: SWAP1 00001e39: DUP2 00001e3a: MUL 00001e3b: SWAP2 00001e3c: SWAP1 00001e3d: SWAP2 00001e3e: ADD 00001e3f: DUP2 00001e40: ADD 00001e41: MLOAD 00001e42: PUSH1 0x01 00001e44: PUSH1 0x01 00001e46: PUSH1 0xe0 00001e48: SHL 00001e49: SUB 00001e4a: NOT 00001e4b: DUP2 00001e4c: AND 00001e4d: PUSH1 0x00 00001e4f: SWAP1 00001e50: DUP2 00001e51: MSTORE 00001e52: SWAP2 00001e53: DUP6 00001e54: SWAP1 00001e55: MSTORE 00001e56: PUSH1 0x40 00001e58: SWAP1 00001e59: SWAP2 00001e5a: KECCAK256 00001e5b: SLOAD 00001e5c: SWAP1 00001e5d: SWAP2 00001e5e: POP 00001e5f: PUSH1 0x01 00001e61: PUSH1 0x01 00001e63: PUSH1 0xa0 00001e65: SHL 00001e66: SUB 00001e67: AND 00001e68: PUSH2 0x07ae 00001e6b: DUP2 00001e6c: DUP4 00001e6d: PUSH2 0x0b00 00001e70: JUMP 00001e71: JUMPDEST 00001e72: POP 00001e73: POP 00001e74: DUP1 00001e75: DUP1 00001e76: PUSH2 0x07bb 00001e79: SWAP1 00001e7a: PUSH2 0x123e 00001e7d: JUMP 00001e7e: JUMPDEST 00001e7f: SWAP2 00001e80: POP 00001e81: POP 00001e82: PUSH2 0x0755 00001e85: JUMP 00001e86: JUMPDEST 00001e87: POP 00001e88: POP 00001e89: POP 00001e8a: POP 00001e8b: JUMP 00001e8c: JUMPDEST 00001e8d: PUSH1 0x01 00001e8f: PUSH1 0x01 00001e91: PUSH1 0xa0 00001e93: SHL 00001e94: SUB 00001e95: DUP3 00001e96: AND 00001e97: PUSH2 0x0850 00001e9a: JUMPI 00001e9b: DUP1 00001e9c: MLOAD 00001e9d: ISZERO 00001e9e: PUSH2 0x084c 00001ea1: JUMPI 00001ea2: PUSH1 0x40 00001ea4: MLOAD 00001ea5: PUSH3 0x461bcd 00001ea9: PUSH1 0xe5 00001eab: SHL 00001eac: DUP2 00001ead: MSTORE 00001eae: PUSH1 0x20 00001eb0: PUSH1 0x04 00001eb2: DUP3 00001eb3: ADD 00001eb4: MSTORE 00001eb5: PUSH1 0x3d 00001eb7: PUSH1 0x24 00001eb9: DUP3 00001eba: ADD 00001ebb: MSTORE 00001ebc: PUSH32 0x4469616d6f6e6453746f726167653a205f696e69742069732061646472657373 00001edd: PUSH1 0x44 00001edf: DUP3 00001ee0: ADD 00001ee1: MSTORE 00001ee2: PUSH32 0x283029206275745f63616c6c64617461206973206e6f7420656d707479000000 00001f03: PUSH1 0x64 00001f05: DUP3 00001f06: ADD 00001f07: MSTORE 00001f08: PUSH1 0x84 00001f0a: ADD 00001f0b: PUSH2 0x012e 00001f0e: JUMP 00001f0f: JUMPDEST 00001f10: POP 00001f11: POP 00001f12: JUMP 00001f13: JUMPDEST 00001f14: PUSH1 0x00 00001f16: DUP2 00001f17: MLOAD 00001f18: GT 00001f19: PUSH2 0x08c7 00001f1c: JUMPI 00001f1d: PUSH1 0x40 00001f1f: MLOAD 00001f20: PUSH3 0x461bcd 00001f24: PUSH1 0xe5 00001f26: SHL 00001f27: DUP2 00001f28: MSTORE 00001f29: PUSH1 0x20 00001f2b: PUSH1 0x04 00001f2d: DUP3 00001f2e: ADD 00001f2f: MSTORE 00001f30: PUSH1 0x3e 00001f32: PUSH1 0x24 00001f34: DUP3 00001f35: ADD 00001f36: MSTORE 00001f37: PUSH32 0x4469616d6f6e6453746f726167653a205f63616c6c6461746120697320656d70 00001f58: PUSH1 0x44 00001f5a: DUP3 00001f5b: ADD 00001f5c: MSTORE 00001f5d: PUSH32 0x747920627574205f696e6974206973206e6f7420616464726573732830290000 00001f7e: PUSH1 0x64 00001f80: DUP3 00001f81: ADD 00001f82: MSTORE 00001f83: PUSH1 0x84 00001f85: ADD 00001f86: PUSH2 0x012e 00001f89: JUMP 00001f8a: JUMPDEST 00001f8b: PUSH1 0x01 00001f8d: PUSH1 0x01 00001f8f: PUSH1 0xa0 00001f91: SHL 00001f92: SUB 00001f93: DUP3 00001f94: AND 00001f95: ADDRESS 00001f96: EQ 00001f97: PUSH2 0x08f9 00001f9a: JUMPI 00001f9b: PUSH2 0x08f9 00001f9e: DUP3 00001f9f: PUSH1 0x40 00001fa1: MLOAD 00001fa2: DUP1 00001fa3: PUSH1 0x60 00001fa5: ADD 00001fa6: PUSH1 0x40 00001fa8: MSTORE 00001fa9: DUP1 00001faa: PUSH1 0x29 00001fac: DUP2 00001fad: MSTORE 00001fae: PUSH1 0x20 00001fb0: ADD 00001fb1: PUSH2 0x14e7 00001fb4: PUSH1 0x29 00001fb6: SWAP2 00001fb7: CODECOPY 00001fb8: PUSH2 0x0eec 00001fbb: JUMP 00001fbc: JUMPDEST 00001fbd: PUSH1 0x00 00001fbf: DUP1 00001fc0: DUP4 00001fc1: PUSH1 0x01 00001fc3: PUSH1 0x01 00001fc5: PUSH1 0xa0 00001fc7: SHL 00001fc8: SUB 00001fc9: AND 00001fca: DUP4 00001fcb: PUSH1 0x40 00001fcd: MLOAD 00001fce: PUSH2 0x0914 00001fd1: SWAP2 00001fd2: SWAP1 00001fd3: PUSH2 0x1461 00001fd6: JUMP 00001fd7: JUMPDEST 00001fd8: PUSH1 0x00 00001fda: PUSH1 0x40 00001fdc: MLOAD 00001fdd: DUP1 00001fde: DUP4 00001fdf: SUB 00001fe0: DUP2 00001fe1: DUP6 00001fe2: GAS 00001fe3: DELEGATECALL 00001fe4: SWAP2 00001fe5: POP 00001fe6: POP 00001fe7: RETURNDATASIZE 00001fe8: DUP1 00001fe9: PUSH1 0x00 00001feb: DUP2 00001fec: EQ 00001fed: PUSH2 0x094f 00001ff0: JUMPI 00001ff1: PUSH1 0x40 00001ff3: MLOAD 00001ff4: SWAP2 00001ff5: POP 00001ff6: PUSH1 0x1f 00001ff8: NOT 00001ff9: PUSH1 0x3f 00001ffb: RETURNDATASIZE 00001ffc: ADD 00001ffd: AND 00001ffe: DUP3 00001fff: ADD 00002000: PUSH1 0x40 00002002: MSTORE 00002003: RETURNDATASIZE 00002004: DUP3 00002005: MSTORE 00002006: RETURNDATASIZE 00002007: PUSH1 0x00 00002009: PUSH1 0x20 0000200b: DUP5 0000200c: ADD 0000200d: RETURNDATACOPY 0000200e: PUSH2 0x0954 00002011: JUMP 00002012: JUMPDEST 00002013: PUSH1 0x60 00002015: SWAP2 00002016: POP 00002017: JUMPDEST 00002018: POP 00002019: SWAP1 0000201a: SWAP3 0000201b: POP 0000201c: SWAP1 0000201d: POP 0000201e: DUP2 0000201f: ISZERO 00002020: ISZERO 00002021: PUSH1 0x00 00002023: SUB 00002024: PUSH2 0x07c3 00002027: JUMPI 00002028: DUP1 00002029: MLOAD 0000202a: ISZERO 0000202b: PUSH2 0x0985 0000202e: JUMPI 0000202f: DUP1 00002030: PUSH1 0x40 00002032: MLOAD 00002033: PUSH3 0x461bcd 00002037: PUSH1 0xe5 00002039: SHL 0000203a: DUP2 0000203b: MSTORE 0000203c: PUSH1 0x04 0000203e: ADD 0000203f: PUSH2 0x012e 00002042: SWAP2 00002043: SWAP1 00002044: PUSH2 0x147d 00002047: JUMP 00002048: JUMPDEST 00002049: PUSH1 0x40 0000204b: MLOAD 0000204c: PUSH3 0x461bcd 00002050: PUSH1 0xe5 00002052: SHL 00002053: DUP2 00002054: MSTORE 00002055: PUSH1 0x20 00002057: PUSH1 0x04 00002059: DUP3 0000205a: ADD 0000205b: MSTORE 0000205c: PUSH1 0x27 0000205e: PUSH1 0x24 00002060: DUP3 00002061: ADD 00002062: MSTORE 00002063: PUSH32 0x4469616d6f6e6453746f726167653a205f696e69742066756e6374696f6e2072 00002084: PUSH1 0x44 00002086: DUP3 00002087: ADD 00002088: MSTORE 00002089: PUSH7 0x195d995c9d1959 00002091: PUSH1 0xca 00002093: SHL 00002094: PUSH1 0x64 00002096: DUP3 00002097: ADD 00002098: MSTORE 00002099: PUSH1 0x84 0000209b: ADD 0000209c: PUSH2 0x012e 0000209f: JUMP 000020a0: JUMPDEST 000020a1: PUSH2 0x09ff 000020a4: DUP2 000020a5: PUSH1 0x40 000020a7: MLOAD 000020a8: DUP1 000020a9: PUSH1 0x60 000020ab: ADD 000020ac: PUSH1 0x40 000020ae: MSTORE 000020af: DUP1 000020b0: PUSH1 0x25 000020b2: DUP2 000020b3: MSTORE 000020b4: PUSH1 0x20 000020b6: ADD 000020b7: PUSH2 0x1510 000020ba: PUSH1 0x25 000020bc: SWAP2 000020bd: CODECOPY 000020be: PUSH2 0x0eec 000020c1: JUMP 000020c2: JUMPDEST 000020c3: PUSH1 0x02 000020c5: DUP3 000020c6: ADD 000020c7: DUP1 000020c8: SLOAD 000020c9: PUSH1 0x01 000020cb: PUSH1 0x01 000020cd: PUSH1 0xa0 000020cf: SHL 000020d0: SUB 000020d1: SWAP3 000020d2: SWAP1 000020d3: SWAP3 000020d4: AND 000020d5: PUSH1 0x00 000020d7: DUP2 000020d8: DUP2 000020d9: MSTORE 000020da: PUSH1 0x01 000020dc: SWAP5 000020dd: DUP6 000020de: ADD 000020df: PUSH1 0x20 000020e1: SWAP1 000020e2: DUP2 000020e3: MSTORE 000020e4: PUSH1 0x40 000020e6: DUP3 000020e7: KECCAK256 000020e8: DUP7 000020e9: ADD 000020ea: DUP1 000020eb: SLOAD 000020ec: PUSH2 0xffff 000020ef: NOT 000020f0: AND 000020f1: PUSH2 0xffff 000020f4: SWAP1 000020f5: SWAP7 000020f6: AND 000020f7: SWAP6 000020f8: SWAP1 000020f9: SWAP6 000020fa: OR 000020fb: SWAP1 000020fc: SWAP5 000020fd: SSTORE 000020fe: DUP3 000020ff: SLOAD 00002100: SWAP5 00002101: DUP6 00002102: ADD 00002103: DUP4 00002104: SSTORE 00002105: SWAP2 00002106: DUP3 00002107: MSTORE 00002108: SWAP2 00002109: SWAP1 0000210a: KECCAK256 0000210b: SWAP1 0000210c: SWAP2 0000210d: ADD 0000210e: DUP1 0000210f: SLOAD 00002110: PUSH1 0x01 00002112: PUSH1 0x01 00002114: PUSH1 0xa0 00002116: SHL 00002117: SUB 00002118: NOT 00002119: AND 0000211a: SWAP1 0000211b: SWAP2 0000211c: OR 0000211d: SWAP1 0000211e: SSTORE 0000211f: JUMP 00002120: JUMPDEST 00002121: PUSH1 0x01 00002123: PUSH1 0x01 00002125: PUSH1 0xe0 00002127: SHL 00002128: SUB 00002129: NOT 0000212a: DUP4 0000212b: AND 0000212c: PUSH1 0x00 0000212e: DUP2 0000212f: DUP2 00002130: MSTORE 00002131: PUSH1 0x20 00002133: DUP7 00002134: DUP2 00002135: MSTORE 00002136: PUSH1 0x40 00002138: DUP1 00002139: DUP4 0000213a: KECCAK256 0000213b: DUP1 0000213c: SLOAD 0000213d: PUSH2 0xffff 00002140: PUSH1 0xa0 00002142: SHL 00002143: NOT 00002144: AND 00002145: PUSH1 0x01 00002147: PUSH1 0xa0 00002149: SHL 0000214a: PUSH2 0xffff 0000214d: SWAP9 0000214e: SWAP1 0000214f: SWAP9 00002150: AND 00002151: SWAP8 00002152: SWAP1 00002153: SWAP8 00002154: MUL 00002155: SWAP7 00002156: SWAP1 00002157: SWAP7 00002158: OR 00002159: DUP7 0000215a: SSTORE 0000215b: PUSH1 0x01 0000215d: PUSH1 0x01 0000215f: PUSH1 0xa0 00002161: SHL 00002162: SUB 00002163: SWAP5 00002164: SWAP1 00002165: SWAP5 00002166: AND 00002167: DUP1 00002168: DUP4 00002169: MSTORE 0000216a: PUSH1 0x01 0000216c: DUP1 0000216d: DUP10 0000216e: ADD 0000216f: DUP4 00002170: MSTORE 00002171: SWAP5 00002172: DUP4 00002173: KECCAK256 00002174: DUP1 00002175: SLOAD 00002176: SWAP6 00002177: DUP7 00002178: ADD 00002179: DUP2 0000217a: SSTORE 0000217b: DUP4 0000217c: MSTORE 0000217d: DUP2 0000217e: DUP4 0000217f: KECCAK256 00002180: PUSH1 0x08 00002182: DUP7 00002183: DIV 00002184: ADD 00002185: DUP1 00002186: SLOAD 00002187: PUSH4 0xffffffff 0000218c: PUSH1 0x07 0000218e: SWAP1 0000218f: SWAP8 00002190: AND 00002191: PUSH1 0x04 00002193: MUL 00002194: PUSH2 0x0100 00002197: EXP 00002198: SWAP7 00002199: DUP8 0000219a: MUL 0000219b: NOT 0000219c: AND 0000219d: PUSH1 0xe0 0000219f: SWAP9 000021a0: SWAP1 000021a1: SWAP9 000021a2: SHR 000021a3: SWAP6 000021a4: SWAP1 000021a5: SWAP6 000021a6: MUL 000021a7: SWAP7 000021a8: SWAP1 000021a9: SWAP7 000021aa: OR 000021ab: SWAP1 000021ac: SWAP4 000021ad: SSTORE 000021ae: MSTORE 000021af: SWAP3 000021b0: SWAP1 000021b1: SWAP3 000021b2: MSTORE 000021b3: DUP2 000021b4: SLOAD 000021b5: PUSH1 0x01 000021b7: PUSH1 0x01 000021b9: PUSH1 0xa0 000021bb: SHL 000021bc: SUB 000021bd: NOT 000021be: AND 000021bf: OR 000021c0: SWAP1 000021c1: SSTORE 000021c2: JUMP 000021c3: JUMPDEST 000021c4: PUSH1 0x00 000021c6: DUP1 000021c7: MLOAD 000021c8: PUSH1 0x20 000021ca: PUSH2 0x14c7 000021cd: DUP4 000021ce: CODECOPY 000021cf: DUP2 000021d0: MLOAD 000021d1: SWAP2 000021d2: MSTORE 000021d3: PUSH1 0x01 000021d5: PUSH1 0x01 000021d7: PUSH1 0xa0 000021d9: SHL 000021da: SUB 000021db: DUP4 000021dc: AND 000021dd: PUSH2 0x0b8b 000021e0: JUMPI 000021e1: PUSH1 0x40 000021e3: MLOAD 000021e4: PUSH3 0x461bcd 000021e8: PUSH1 0xe5 000021ea: SHL 000021eb: DUP2 000021ec: MSTORE 000021ed: PUSH1 0x20 000021ef: PUSH1 0x04 000021f1: DUP3 000021f2: ADD 000021f3: MSTORE 000021f4: PUSH1 0x38 000021f6: PUSH1 0x24 000021f8: DUP3 000021f9: ADD 000021fa: MSTORE 000021fb: PUSH32 0x4469616d6f6e6453746f726167653a2043616e27742072656d6f76652066756e 0000221c: PUSH1 0x44 0000221e: DUP3 0000221f: ADD 00002220: MSTORE 00002221: PUSH32 0x6374696f6e207468617420646f65736e27742065786973740000000000000000 00002242: PUSH1 0x64 00002244: DUP3 00002245: ADD 00002246: MSTORE 00002247: PUSH1 0x84 00002249: ADD 0000224a: PUSH2 0x012e 0000224d: JUMP 0000224e: JUMPDEST 0000224f: ADDRESS 00002250: PUSH1 0x01 00002252: PUSH1 0x01 00002254: PUSH1 0xa0 00002256: SHL 00002257: SUB 00002258: DUP5 00002259: AND 0000225a: SUB 0000225b: PUSH2 0x0bfb 0000225e: JUMPI 0000225f: PUSH1 0x40 00002261: MLOAD 00002262: PUSH3 0x461bcd 00002266: PUSH1 0xe5 00002268: SHL 00002269: DUP2 0000226a: MSTORE 0000226b: PUSH1 0x20 0000226d: PUSH1 0x04 0000226f: DUP3 00002270: ADD 00002271: MSTORE 00002272: PUSH1 0x2f 00002274: PUSH1 0x24 00002276: DUP3 00002277: ADD 00002278: MSTORE 00002279: PUSH32 0x4469616d6f6e6453746f726167653a2043616e27742072656d6f766520696d6d 0000229a: PUSH1 0x44 0000229c: DUP3 0000229d: ADD 0000229e: MSTORE 0000229f: PUSH15 0x3aba30b1363290333ab731ba34b7b7 000022af: PUSH1 0x89 000022b1: SHL 000022b2: PUSH1 0x64 000022b4: DUP3 000022b5: ADD 000022b6: MSTORE 000022b7: PUSH1 0x84 000022b9: ADD 000022ba: PUSH2 0x012e 000022bd: JUMP 000022be: JUMPDEST 000022bf: PUSH1 0x01 000022c1: PUSH1 0x01 000022c3: PUSH1 0xe0 000022c5: SHL 000022c6: SUB 000022c7: NOT 000022c8: DUP3 000022c9: AND 000022ca: PUSH1 0x00 000022cc: SWAP1 000022cd: DUP2 000022ce: MSTORE 000022cf: PUSH1 0x20 000022d1: DUP3 000022d2: DUP2 000022d3: MSTORE 000022d4: PUSH1 0x40 000022d6: DUP1 000022d7: DUP4 000022d8: KECCAK256 000022d9: SLOAD 000022da: PUSH1 0x01 000022dc: PUSH1 0x01 000022de: PUSH1 0xa0 000022e0: SHL 000022e1: SUB 000022e2: DUP8 000022e3: AND 000022e4: DUP5 000022e5: MSTORE 000022e6: PUSH1 0x01 000022e8: DUP1 000022e9: DUP7 000022ea: ADD 000022eb: SWAP1 000022ec: SWAP4 000022ed: MSTORE 000022ee: SWAP1 000022ef: DUP4 000022f0: KECCAK256 000022f1: SLOAD 000022f2: PUSH1 0x01 000022f4: PUSH1 0xa0 000022f6: SHL 000022f7: SWAP1 000022f8: SWAP2 000022f9: DIV 000022fa: PUSH2 0xffff 000022fd: AND 000022fe: SWAP3 000022ff: SWAP2 00002300: PUSH2 0x0c45 00002303: SWAP2 00002304: PUSH2 0x1497 00002307: JUMP 00002308: JUMPDEST 00002309: SWAP1 0000230a: POP 0000230b: DUP1 0000230c: DUP3 0000230d: EQ 0000230e: PUSH2 0x0d31 00002311: JUMPI 00002312: PUSH1 0x01 00002314: PUSH1 0x01 00002316: PUSH1 0xa0 00002318: SHL 00002319: SUB 0000231a: DUP6 0000231b: AND 0000231c: PUSH1 0x00 0000231e: SWAP1 0000231f: DUP2 00002320: MSTORE 00002321: PUSH1 0x01 00002323: DUP5 00002324: ADD 00002325: PUSH1 0x20 00002327: MSTORE 00002328: PUSH1 0x40 0000232a: DUP2 0000232b: KECCAK256 0000232c: DUP1 0000232d: SLOAD 0000232e: DUP4 0000232f: SWAP1 00002330: DUP2 00002331: LT 00002332: PUSH2 0x0c7a 00002335: JUMPI 00002336: PUSH2 0x0c7a 00002339: PUSH2 0x11fc 0000233c: JUMP 0000233d: JUMPDEST 0000233e: PUSH1 0x00 00002340: SWAP2 00002341: DUP3 00002342: MSTORE 00002343: PUSH1 0x20 00002345: DUP1 00002346: DUP4 00002347: KECCAK256 00002348: PUSH1 0x08 0000234a: DUP4 0000234b: DIV 0000234c: ADD 0000234d: SLOAD 0000234e: PUSH1 0x01 00002350: PUSH1 0x01 00002352: PUSH1 0xa0 00002354: SHL 00002355: SUB 00002356: DUP11 00002357: AND 00002358: DUP5 00002359: MSTORE 0000235a: PUSH1 0x01 0000235c: DUP9 0000235d: ADD 0000235e: SWAP1 0000235f: SWAP2 00002360: MSTORE 00002361: PUSH1 0x40 00002363: SWAP1 00002364: SWAP3 00002365: KECCAK256 00002366: DUP1 00002367: SLOAD 00002368: PUSH1 0x07 0000236a: SWAP1 0000236b: SWAP3 0000236c: AND 0000236d: PUSH1 0x04 0000236f: MUL 00002370: PUSH2 0x0100 00002373: EXP 00002374: SWAP1 00002375: SWAP3 00002376: DIV 00002377: PUSH1 0xe0 00002379: SHL 0000237a: SWAP3 0000237b: POP 0000237c: DUP3 0000237d: SWAP2 0000237e: SWAP1 0000237f: DUP6 00002380: SWAP1 00002381: DUP2 00002382: LT 00002383: PUSH2 0x0ccb 00002386: JUMPI 00002387: PUSH2 0x0ccb 0000238a: PUSH2 0x11fc 0000238d: JUMP 0000238e: JUMPDEST 0000238f: PUSH1 0x00 00002391: SWAP2 00002392: DUP3 00002393: MSTORE 00002394: PUSH1 0x20 00002396: DUP1 00002397: DUP4 00002398: KECCAK256 00002399: PUSH1 0x08 0000239b: DUP4 0000239c: DIV 0000239d: ADD 0000239e: DUP1 0000239f: SLOAD 000023a0: PUSH4 0xffffffff 000023a5: PUSH1 0x07 000023a7: SWAP1 000023a8: SWAP5 000023a9: AND 000023aa: PUSH1 0x04 000023ac: MUL 000023ad: PUSH2 0x0100 000023b0: EXP 000023b1: SWAP4 000023b2: DUP5 000023b3: MUL 000023b4: NOT 000023b5: AND 000023b6: PUSH1 0xe0 000023b8: SWAP6 000023b9: SWAP1 000023ba: SWAP6 000023bb: SHR 000023bc: SWAP3 000023bd: SWAP1 000023be: SWAP3 000023bf: MUL 000023c0: SWAP4 000023c1: SWAP1 000023c2: SWAP4 000023c3: OR 000023c4: SWAP1 000023c5: SSTORE 000023c6: PUSH1 0x01 000023c8: PUSH1 0x01 000023ca: PUSH1 0xe0 000023cc: SHL 000023cd: SUB 000023ce: NOT 000023cf: SWAP3 000023d0: SWAP1 000023d1: SWAP3 000023d2: AND 000023d3: DUP3 000023d4: MSTORE 000023d5: DUP5 000023d6: SWAP1 000023d7: MSTORE 000023d8: PUSH1 0x40 000023da: SWAP1 000023db: KECCAK256 000023dc: DUP1 000023dd: SLOAD 000023de: PUSH2 0xffff 000023e1: PUSH1 0xa0 000023e3: SHL 000023e4: NOT 000023e5: AND 000023e6: PUSH1 0x01 000023e8: PUSH1 0xa0 000023ea: SHL 000023eb: PUSH2 0xffff 000023ee: DUP6 000023ef: AND 000023f0: MUL 000023f1: OR 000023f2: SWAP1 000023f3: SSTORE 000023f4: JUMPDEST 000023f5: PUSH1 0x01 000023f7: PUSH1 0x01 000023f9: PUSH1 0xa0 000023fb: SHL 000023fc: SUB 000023fd: DUP6 000023fe: AND 000023ff: PUSH1 0x00 00002401: SWAP1 00002402: DUP2 00002403: MSTORE 00002404: PUSH1 0x01 00002406: DUP5 00002407: ADD 00002408: PUSH1 0x20 0000240a: MSTORE 0000240b: PUSH1 0x40 0000240d: SWAP1 0000240e: KECCAK256 0000240f: DUP1 00002410: SLOAD 00002411: DUP1 00002412: PUSH2 0x0d5a 00002415: JUMPI 00002416: PUSH2 0x0d5a 00002419: PUSH2 0x14b0 0000241c: JUMP 0000241d: JUMPDEST 0000241e: PUSH1 0x00 00002420: DUP3 00002421: DUP2 00002422: MSTORE 00002423: PUSH1 0x20 00002425: DUP1 00002426: DUP3 00002427: KECCAK256 00002428: PUSH1 0x08 0000242a: PUSH1 0x00 0000242c: NOT 0000242d: SWAP1 0000242e: SWAP5 0000242f: ADD 00002430: SWAP4 00002431: DUP5 00002432: DIV 00002433: ADD 00002434: DUP1 00002435: SLOAD 00002436: PUSH4 0xffffffff 0000243b: PUSH1 0x04 0000243d: PUSH1 0x07 0000243f: DUP8 00002440: AND 00002441: MUL 00002442: PUSH2 0x0100 00002445: EXP 00002446: MUL 00002447: NOT 00002448: AND 00002449: SWAP1 0000244a: SSTORE 0000244b: SWAP2 0000244c: SWAP1 0000244d: SWAP3 0000244e: SSTORE 0000244f: PUSH1 0x01 00002451: PUSH1 0x01 00002453: PUSH1 0xe0 00002455: SHL 00002456: SUB 00002457: NOT 00002458: DUP7 00002459: AND 0000245a: DUP3 0000245b: MSTORE 0000245c: DUP5 0000245d: SWAP1 0000245e: MSTORE 0000245f: PUSH1 0x40 00002461: DUP2 00002462: KECCAK256 00002463: DUP1 00002464: SLOAD 00002465: PUSH1 0x01 00002467: PUSH1 0x01 00002469: PUSH1 0xb0 0000246b: SHL 0000246c: SUB 0000246d: NOT 0000246e: AND 0000246f: SWAP1 00002470: SSTORE 00002471: DUP2 00002472: SWAP1 00002473: SUB 00002474: PUSH2 0x0097 00002477: JUMPI 00002478: PUSH1 0x02 0000247a: DUP4 0000247b: ADD 0000247c: SLOAD 0000247d: PUSH1 0x00 0000247f: SWAP1 00002480: PUSH2 0x0dc8 00002483: SWAP1 00002484: PUSH1 0x01 00002486: SWAP1 00002487: PUSH2 0x1497 0000248a: JUMP 0000248b: JUMPDEST 0000248c: PUSH1 0x01 0000248e: PUSH1 0x01 00002490: PUSH1 0xa0 00002492: SHL 00002493: SUB 00002494: DUP8 00002495: AND 00002496: PUSH1 0x00 00002498: SWAP1 00002499: DUP2 0000249a: MSTORE 0000249b: PUSH1 0x01 0000249d: DUP1 0000249e: DUP8 0000249f: ADD 000024a0: PUSH1 0x20 000024a2: MSTORE 000024a3: PUSH1 0x40 000024a5: SWAP1 000024a6: SWAP2 000024a7: KECCAK256 000024a8: ADD 000024a9: SLOAD 000024aa: SWAP1 000024ab: SWAP2 000024ac: POP 000024ad: PUSH2 0xffff 000024b0: AND 000024b1: DUP1 000024b2: DUP3 000024b3: EQ 000024b4: PUSH2 0x0e87 000024b7: JUMPI 000024b8: PUSH1 0x00 000024ba: DUP6 000024bb: PUSH1 0x02 000024bd: ADD 000024be: DUP4 000024bf: DUP2 000024c0: SLOAD 000024c1: DUP2 000024c2: LT 000024c3: PUSH2 0x0e0b 000024c6: JUMPI 000024c7: PUSH2 0x0e0b 000024ca: PUSH2 0x11fc 000024cd: JUMP 000024ce: JUMPDEST 000024cf: PUSH1 0x00 000024d1: SWAP2 000024d2: DUP3 000024d3: MSTORE 000024d4: PUSH1 0x20 000024d6: SWAP1 000024d7: SWAP2 000024d8: KECCAK256 000024d9: ADD 000024da: SLOAD 000024db: PUSH1 0x02 000024dd: DUP8 000024de: ADD 000024df: DUP1 000024e0: SLOAD 000024e1: PUSH1 0x01 000024e3: PUSH1 0x01 000024e5: PUSH1 0xa0 000024e7: SHL 000024e8: SUB 000024e9: SWAP1 000024ea: SWAP3 000024eb: AND 000024ec: SWAP3 000024ed: POP 000024ee: DUP3 000024ef: SWAP2 000024f0: DUP5 000024f1: SWAP1 000024f2: DUP2 000024f3: LT 000024f4: PUSH2 0x0e3c 000024f7: JUMPI 000024f8: PUSH2 0x0e3c 000024fb: PUSH2 0x11fc 000024fe: JUMP 000024ff: JUMPDEST 00002500: PUSH1 0x00 00002502: SWAP2 00002503: DUP3 00002504: MSTORE 00002505: PUSH1 0x20 00002507: DUP1 00002508: DUP4 00002509: KECCAK256 0000250a: SWAP2 0000250b: SWAP1 0000250c: SWAP2 0000250d: ADD 0000250e: DUP1 0000250f: SLOAD 00002510: PUSH1 0x01 00002512: PUSH1 0x01 00002514: PUSH1 0xa0 00002516: SHL 00002517: SUB 00002518: NOT 00002519: AND 0000251a: PUSH1 0x01 0000251c: PUSH1 0x01 0000251e: PUSH1 0xa0 00002520: SHL 00002521: SUB 00002522: SWAP5 00002523: DUP6 00002524: AND 00002525: OR 00002526: SWAP1 00002527: SSTORE 00002528: SWAP3 00002529: SWAP1 0000252a: SWAP2 0000252b: AND 0000252c: DUP2 0000252d: MSTORE 0000252e: PUSH1 0x01 00002530: DUP8 00002531: DUP2 00002532: ADD 00002533: SWAP1 00002534: SWAP3 00002535: MSTORE 00002536: PUSH1 0x40 00002538: SWAP1 00002539: KECCAK256 0000253a: ADD 0000253b: DUP1 0000253c: SLOAD 0000253d: PUSH2 0xffff 00002540: NOT 00002541: AND 00002542: PUSH2 0xffff 00002545: DUP4 00002546: AND 00002547: OR 00002548: SWAP1 00002549: SSTORE 0000254a: JUMPDEST 0000254b: DUP5 0000254c: PUSH1 0x02 0000254e: ADD 0000254f: DUP1 00002550: SLOAD 00002551: DUP1 00002552: PUSH2 0x0e9a 00002555: JUMPI 00002556: PUSH2 0x0e9a 00002559: PUSH2 0x14b0 0000255c: JUMP 0000255d: JUMPDEST 0000255e: PUSH1 0x00 00002560: DUP3 00002561: DUP2 00002562: MSTORE 00002563: PUSH1 0x20 00002565: DUP1 00002566: DUP3 00002567: KECCAK256 00002568: DUP4 00002569: ADD 0000256a: PUSH1 0x00 0000256c: NOT 0000256d: SWAP1 0000256e: DUP2 0000256f: ADD 00002570: DUP1 00002571: SLOAD 00002572: PUSH1 0x01 00002574: PUSH1 0x01 00002576: PUSH1 0xa0 00002578: SHL 00002579: SUB 0000257a: NOT 0000257b: AND 0000257c: SWAP1 0000257d: SSTORE 0000257e: SWAP1 0000257f: SWAP3 00002580: ADD 00002581: SWAP1 00002582: SWAP3 00002583: SSTORE 00002584: PUSH1 0x01 00002586: PUSH1 0x01 00002588: PUSH1 0xa0 0000258a: SHL 0000258b: SUB 0000258c: DUP10 0000258d: AND 0000258e: DUP3 0000258f: MSTORE 00002590: PUSH1 0x01 00002592: DUP8 00002593: DUP2 00002594: ADD 00002595: SWAP1 00002596: SWAP2 00002597: MSTORE 00002598: PUSH1 0x40 0000259a: SWAP1 0000259b: SWAP2 0000259c: KECCAK256 0000259d: ADD 0000259e: DUP1 0000259f: SLOAD 000025a0: PUSH2 0xffff 000025a3: NOT 000025a4: AND 000025a5: SWAP1 000025a6: SSTORE 000025a7: POP 000025a8: POP 000025a9: POP 000025aa: POP 000025ab: POP 000025ac: POP 000025ad: POP 000025ae: JUMP 000025af: JUMPDEST 000025b0: DUP2 000025b1: EXTCODESIZE 000025b2: DUP2 000025b3: DUP2 000025b4: PUSH2 0x07c3 000025b7: JUMPI 000025b8: PUSH1 0x40 000025ba: MLOAD 000025bb: PUSH3 0x461bcd 000025bf: PUSH1 0xe5 000025c1: SHL 000025c2: DUP2 000025c3: MSTORE 000025c4: PUSH1 0x04 000025c6: ADD 000025c7: PUSH2 0x012e 000025ca: SWAP2 000025cb: SWAP1 000025cc: PUSH2 0x147d 000025cf: JUMP 000025d0: JUMPDEST 000025d1: DUP1 000025d2: CALLDATALOAD 000025d3: PUSH1 0x01 000025d5: PUSH1 0x01 000025d7: PUSH1 0xa0 000025d9: SHL 000025da: SUB 000025db: DUP2 000025dc: AND 000025dd: DUP2 000025de: EQ 000025df: PUSH2 0x0f24 000025e2: JUMPI 000025e3: PUSH1 0x00 000025e5: DUP1 000025e6: REVERT 000025e7: JUMPDEST 000025e8: SWAP2 000025e9: SWAP1 000025ea: POP 000025eb: JUMP 000025ec: JUMPDEST 000025ed: PUSH1 0x00 000025ef: DUP1 000025f0: DUP4 000025f1: PUSH1 0x1f 000025f3: DUP5 000025f4: ADD 000025f5: SLT 000025f6: PUSH2 0x0f3b 000025f9: JUMPI 000025fa: PUSH1 0x00 000025fc: DUP1 000025fd: REVERT 000025fe: JUMPDEST 000025ff: POP 00002600: DUP2 00002601: CALLDATALOAD 00002602: PUSH8 0xffffffffffffffff 0000260b: DUP2 0000260c: GT 0000260d: ISZERO 0000260e: PUSH2 0x0f53 00002611: JUMPI 00002612: PUSH1 0x00 00002614: DUP1 00002615: REVERT 00002616: JUMPDEST 00002617: PUSH1 0x20 00002619: DUP4 0000261a: ADD 0000261b: SWAP2 0000261c: POP 0000261d: DUP4 0000261e: PUSH1 0x20 00002620: DUP3 00002621: DUP6 00002622: ADD 00002623: ADD 00002624: GT 00002625: ISZERO 00002626: PUSH2 0x0f6b 00002629: JUMPI 0000262a: PUSH1 0x00 0000262c: DUP1 0000262d: REVERT 0000262e: JUMPDEST 0000262f: SWAP3 00002630: POP 00002631: SWAP3 00002632: SWAP1 00002633: POP 00002634: JUMP 00002635: JUMPDEST 00002636: PUSH1 0x00 00002638: DUP1 00002639: PUSH1 0x00 0000263b: DUP1 0000263c: PUSH1 0x00 0000263e: PUSH1 0x60 00002640: DUP7 00002641: DUP9 00002642: SUB 00002643: SLT 00002644: ISZERO 00002645: PUSH2 0x0f8a 00002648: JUMPI 00002649: PUSH1 0x00 0000264b: DUP1 0000264c: REVERT 0000264d: JUMPDEST 0000264e: DUP6 0000264f: CALLDATALOAD 00002650: PUSH8 0xffffffffffffffff 00002659: DUP1 0000265a: DUP3 0000265b: GT 0000265c: ISZERO 0000265d: PUSH2 0x0fa2 00002660: JUMPI 00002661: PUSH1 0x00 00002663: DUP1 00002664: REVERT 00002665: JUMPDEST 00002666: DUP2 00002667: DUP9 00002668: ADD 00002669: SWAP2 0000266a: POP 0000266b: DUP9 0000266c: PUSH1 0x1f 0000266e: DUP4 0000266f: ADD 00002670: SLT 00002671: PUSH2 0x0fb6 00002674: JUMPI 00002675: PUSH1 0x00 00002677: DUP1 00002678: REVERT 00002679: JUMPDEST 0000267a: DUP2 0000267b: CALLDATALOAD 0000267c: DUP2 0000267d: DUP2 0000267e: GT 0000267f: ISZERO 00002680: PUSH2 0x0fc5 00002683: JUMPI 00002684: PUSH1 0x00 00002686: DUP1 00002687: REVERT 00002688: JUMPDEST 00002689: DUP10 0000268a: PUSH1 0x20 0000268c: DUP3 0000268d: PUSH1 0x05 0000268f: SHL 00002690: DUP6 00002691: ADD 00002692: ADD 00002693: GT 00002694: ISZERO 00002695: PUSH2 0x0fda 00002698: JUMPI 00002699: PUSH1 0x00 0000269b: DUP1 0000269c: REVERT 0000269d: JUMPDEST 0000269e: PUSH1 0x20 000026a0: DUP4 000026a1: ADD 000026a2: SWAP8 000026a3: POP 000026a4: DUP1 000026a5: SWAP7 000026a6: POP 000026a7: POP 000026a8: PUSH2 0x0ff0 000026ab: PUSH1 0x20 000026ad: DUP10 000026ae: ADD 000026af: PUSH2 0x0f0d 000026b2: JUMP 000026b3: JUMPDEST 000026b4: SWAP5 000026b5: POP 000026b6: PUSH1 0x40 000026b8: DUP9 000026b9: ADD 000026ba: CALLDATALOAD 000026bb: SWAP2 000026bc: POP 000026bd: DUP1 000026be: DUP3 000026bf: GT 000026c0: ISZERO 000026c1: PUSH2 0x1006 000026c4: JUMPI 000026c5: PUSH1 0x00 000026c7: DUP1 000026c8: REVERT 000026c9: JUMPDEST 000026ca: POP 000026cb: PUSH2 0x1013 000026ce: DUP9 000026cf: DUP3 000026d0: DUP10 000026d1: ADD 000026d2: PUSH2 0x0f29 000026d5: JUMP 000026d6: JUMPDEST 000026d7: SWAP7 000026d8: SWAP10 000026d9: SWAP6 000026da: SWAP9 000026db: POP 000026dc: SWAP4 000026dd: SWAP7 000026de: POP 000026df: SWAP3 000026e0: SWAP5 000026e1: SWAP4 000026e2: SWAP3 000026e3: POP 000026e4: POP 000026e5: POP 000026e6: JUMP 000026e7: JUMPDEST 000026e8: PUSH4 0x4e487b71 000026ed: PUSH1 0xe0 000026ef: SHL 000026f0: PUSH1 0x00 000026f2: MSTORE 000026f3: PUSH1 0x41 000026f5: PUSH1 0x04 000026f7: MSTORE 000026f8: PUSH1 0x24 000026fa: PUSH1 0x00 000026fc: REVERT 000026fd: JUMPDEST 000026fe: PUSH1 0x40 00002700: MLOAD 00002701: PUSH1 0x60 00002703: DUP2 00002704: ADD 00002705: PUSH8 0xffffffffffffffff 0000270e: DUP2 0000270f: GT 00002710: DUP3 00002711: DUP3 00002712: LT 00002713: OR 00002714: ISZERO 00002715: PUSH2 0x105d 00002718: JUMPI 00002719: PUSH2 0x105d 0000271c: PUSH2 0x1024 0000271f: JUMP 00002720: JUMPDEST 00002721: PUSH1 0x40 00002723: MSTORE 00002724: SWAP1 00002725: JUMP 00002726: JUMPDEST 00002727: PUSH1 0x40 00002729: MLOAD 0000272a: PUSH1 0x1f 0000272c: DUP3 0000272d: ADD 0000272e: PUSH1 0x1f 00002730: NOT 00002731: AND 00002732: DUP2 00002733: ADD 00002734: PUSH8 0xffffffffffffffff 0000273d: DUP2 0000273e: GT 0000273f: DUP3 00002740: DUP3 00002741: LT 00002742: OR 00002743: ISZERO 00002744: PUSH2 0x108c 00002747: JUMPI 00002748: PUSH2 0x108c 0000274b: PUSH2 0x1024 0000274e: JUMP 0000274f: JUMPDEST 00002750: PUSH1 0x40 00002752: MSTORE 00002753: SWAP2 00002754: SWAP1 00002755: POP 00002756: JUMP 00002757: JUMPDEST 00002758: PUSH1 0x00 0000275a: PUSH8 0xffffffffffffffff 00002763: DUP3 00002764: GT 00002765: ISZERO 00002766: PUSH2 0x10ae 00002769: JUMPI 0000276a: PUSH2 0x10ae 0000276d: PUSH2 0x1024 00002770: JUMP 00002771: JUMPDEST 00002772: POP 00002773: PUSH1 0x05 00002775: SHL 00002776: PUSH1 0x20 00002778: ADD 00002779: SWAP1 0000277a: JUMP 0000277b: JUMPDEST 0000277c: PUSH1 0x00 0000277e: PUSH2 0x10cb 00002781: PUSH2 0x10c6 00002784: DUP5 00002785: PUSH2 0x1094 00002788: JUMP 00002789: JUMPDEST 0000278a: PUSH2 0x1063 0000278d: JUMP 0000278e: JUMPDEST 0000278f: DUP4 00002790: DUP2 00002791: MSTORE 00002792: PUSH1 0x20 00002794: DUP1 00002795: DUP3 00002796: ADD 00002797: SWAP2 00002798: SWAP1 00002799: PUSH1 0x05 0000279b: DUP7 0000279c: DUP2 0000279d: SHL 0000279e: DUP7 0000279f: ADD 000027a0: CALLDATASIZE 000027a1: DUP2 000027a2: GT 000027a3: ISZERO 000027a4: PUSH2 0x10e9 000027a7: JUMPI 000027a8: PUSH1 0x00 000027aa: DUP1 000027ab: REVERT 000027ac: JUMPDEST 000027ad: DUP7 000027ae: JUMPDEST 000027af: DUP2 000027b0: DUP2 000027b1: LT 000027b2: ISZERO 000027b3: PUSH2 0x11ef 000027b6: JUMPI 000027b7: DUP1 000027b8: CALLDATALOAD 000027b9: PUSH8 0xffffffffffffffff 000027c2: DUP1 000027c3: DUP3 000027c4: GT 000027c5: ISZERO 000027c6: PUSH2 0x110c 000027c9: JUMPI 000027ca: PUSH1 0x00 000027cc: DUP1 000027cd: DUP2 000027ce: REVERT 000027cf: JUMPDEST 000027d0: DUP2 000027d1: DUP11 000027d2: ADD 000027d3: SWAP2 000027d4: POP 000027d5: PUSH1 0x60 000027d7: DUP3 000027d8: CALLDATASIZE 000027d9: SUB 000027da: SLT 000027db: ISZERO 000027dc: PUSH2 0x1122 000027df: JUMPI 000027e0: PUSH1 0x00 000027e2: DUP1 000027e3: DUP2 000027e4: REVERT 000027e5: JUMPDEST 000027e6: PUSH2 0x112a 000027e9: PUSH2 0x103a 000027ec: JUMP 000027ed: JUMPDEST 000027ee: PUSH2 0x1133 000027f1: DUP4 000027f2: PUSH2 0x0f0d 000027f5: JUMP 000027f6: JUMPDEST 000027f7: DUP2 000027f8: MSTORE 000027f9: DUP7 000027fa: DUP4 000027fb: ADD 000027fc: CALLDATALOAD 000027fd: PUSH1 0x03 000027ff: DUP2 00002800: LT 00002801: PUSH2 0x1147 00002804: JUMPI 00002805: PUSH1 0x00 00002807: DUP1 00002808: DUP2 00002809: REVERT 0000280a: JUMPDEST 0000280b: DUP2 0000280c: DUP9 0000280d: ADD 0000280e: MSTORE 0000280f: PUSH1 0x40 00002811: DUP4 00002812: DUP2 00002813: ADD 00002814: CALLDATALOAD 00002815: DUP4 00002816: DUP2 00002817: GT 00002818: ISZERO 00002819: PUSH2 0x115f 0000281c: JUMPI 0000281d: PUSH1 0x00 0000281f: DUP1 00002820: DUP2 00002821: REVERT 00002822: JUMPDEST 00002823: SWAP4 00002824: SWAP1 00002825: SWAP4 00002826: ADD 00002827: SWAP3 00002828: CALLDATASIZE 00002829: PUSH1 0x1f 0000282b: DUP6 0000282c: ADD 0000282d: SLT 0000282e: PUSH2 0x1176 00002831: JUMPI 00002832: PUSH1 0x00 00002834: SWAP3 00002835: POP 00002836: DUP3 00002837: DUP4 00002838: REVERT 00002839: JUMPDEST 0000283a: DUP4 0000283b: CALLDATALOAD 0000283c: SWAP3 0000283d: POP 0000283e: PUSH2 0x1186 00002841: PUSH2 0x10c6 00002844: DUP5 00002845: PUSH2 0x1094 00002848: JUMP 00002849: JUMPDEST 0000284a: DUP4 0000284b: DUP2 0000284c: MSTORE 0000284d: SWAP3 0000284e: DUP8 0000284f: SHL 00002850: DUP5 00002851: ADD 00002852: DUP9 00002853: ADD 00002854: SWAP3 00002855: DUP9 00002856: DUP2 00002857: ADD 00002858: SWAP1 00002859: CALLDATASIZE 0000285a: DUP6 0000285b: GT 0000285c: ISZERO 0000285d: PUSH2 0x11a3 00002860: JUMPI 00002861: PUSH1 0x00 00002863: DUP1 00002864: DUP2 00002865: REVERT 00002866: JUMPDEST 00002867: SWAP5 00002868: DUP10 00002869: ADD 0000286a: SWAP5 0000286b: JUMPDEST 0000286c: DUP5 0000286d: DUP7 0000286e: LT 0000286f: ISZERO 00002870: PUSH2 0x11d8 00002873: JUMPI 00002874: DUP6 00002875: CALLDATALOAD 00002876: PUSH1 0x01 00002878: PUSH1 0x01 0000287a: PUSH1 0xe0 0000287c: SHL 0000287d: SUB 0000287e: NOT 0000287f: DUP2 00002880: AND 00002881: DUP2 00002882: EQ 00002883: PUSH2 0x11c9 00002886: JUMPI 00002887: PUSH1 0x00 00002889: DUP1 0000288a: DUP2 0000288b: REVERT 0000288c: JUMPDEST 0000288d: DUP3 0000288e: MSTORE 0000288f: SWAP5 00002890: DUP10 00002891: ADD 00002892: SWAP5 00002893: SWAP1 00002894: DUP10 00002895: ADD 00002896: SWAP1 00002897: PUSH2 0x11a8 0000289a: JUMP 0000289b: JUMPDEST 0000289c: SWAP2 0000289d: DUP4 0000289e: ADD 0000289f: SWAP2 000028a0: SWAP1 000028a1: SWAP2 000028a2: MSTORE 000028a3: POP 000028a4: DUP9 000028a5: MSTORE 000028a6: POP 000028a7: POP 000028a8: SWAP5 000028a9: DUP4 000028aa: ADD 000028ab: SWAP5 000028ac: DUP4 000028ad: ADD 000028ae: PUSH2 0x10eb 000028b1: JUMP 000028b2: JUMPDEST 000028b3: POP 000028b4: SWAP3 000028b5: SWAP8 000028b6: SWAP7 000028b7: POP 000028b8: POP 000028b9: POP 000028ba: POP 000028bb: POP 000028bc: POP 000028bd: POP 000028be: JUMP 000028bf: JUMPDEST 000028c0: PUSH4 0x4e487b71 000028c5: PUSH1 0xe0 000028c7: SHL 000028c8: PUSH1 0x00 000028ca: MSTORE 000028cb: PUSH1 0x32 000028cd: PUSH1 0x04 000028cf: MSTORE 000028d0: PUSH1 0x24 000028d2: PUSH1 0x00 000028d4: REVERT 000028d5: JUMPDEST 000028d6: PUSH4 0x4e487b71 000028db: PUSH1 0xe0 000028dd: SHL 000028de: PUSH1 0x00 000028e0: MSTORE 000028e1: PUSH1 0x21 000028e3: PUSH1 0x04 000028e5: MSTORE 000028e6: PUSH1 0x24 000028e8: PUSH1 0x00 000028ea: REVERT 000028eb: JUMPDEST 000028ec: PUSH4 0x4e487b71 000028f1: PUSH1 0xe0 000028f3: SHL 000028f4: PUSH1 0x00 000028f6: MSTORE 000028f7: PUSH1 0x11 000028f9: PUSH1 0x04 000028fb: MSTORE 000028fc: PUSH1 0x24 000028fe: PUSH1 0x00 00002900: REVERT 00002901: JUMPDEST 00002902: PUSH1 0x00 00002904: PUSH1 0x01 00002906: DUP3 00002907: ADD 00002908: PUSH2 0x1250 0000290b: JUMPI 0000290c: PUSH2 0x1250 0000290f: PUSH2 0x1228 00002912: JUMP 00002913: JUMPDEST 00002914: POP 00002915: PUSH1 0x01 00002917: ADD 00002918: SWAP1 00002919: JUMP 0000291a: JUMPDEST 0000291b: PUSH1 0x00 0000291d: JUMPDEST 0000291e: DUP4 0000291f: DUP2 00002920: LT 00002921: ISZERO 00002922: PUSH2 0x1272 00002925: JUMPI 00002926: DUP2 00002927: DUP2 00002928: ADD 00002929: MLOAD 0000292a: DUP4 0000292b: DUP3 0000292c: ADD 0000292d: MSTORE 0000292e: PUSH1 0x20 00002930: ADD 00002931: PUSH2 0x125a 00002934: JUMP 00002935: JUMPDEST 00002936: POP 00002937: POP 00002938: PUSH1 0x00 0000293a: SWAP2 0000293b: ADD 0000293c: MSTORE 0000293d: JUMP 0000293e: JUMPDEST 0000293f: PUSH1 0x00 00002941: DUP2 00002942: MLOAD 00002943: DUP1 00002944: DUP5 00002945: MSTORE 00002946: PUSH2 0x1293 00002949: DUP2 0000294a: PUSH1 0x20 0000294c: DUP7 0000294d: ADD 0000294e: PUSH1 0x20 00002950: DUP7 00002951: ADD 00002952: PUSH2 0x1257 00002955: JUMP 00002956: JUMPDEST 00002957: PUSH1 0x1f 00002959: ADD 0000295a: PUSH1 0x1f 0000295c: NOT 0000295d: AND 0000295e: SWAP3 0000295f: SWAP1 00002960: SWAP3 00002961: ADD 00002962: PUSH1 0x20 00002964: ADD 00002965: SWAP3 00002966: SWAP2 00002967: POP 00002968: POP 00002969: JUMP 0000296a: JUMPDEST 0000296b: PUSH1 0x00 0000296d: PUSH1 0x60 0000296f: DUP1 00002970: DUP4 00002971: ADD 00002972: DUP2 00002973: DUP5 00002974: MSTORE 00002975: DUP1 00002976: DUP8 00002977: MLOAD 00002978: DUP1 00002979: DUP4 0000297a: MSTORE 0000297b: PUSH1 0x80 0000297d: SWAP3 0000297e: POP 0000297f: DUP3 00002980: DUP7 00002981: ADD 00002982: SWAP2 00002983: POP 00002984: DUP3 00002985: DUP2 00002986: PUSH1 0x05 00002988: SHL 00002989: DUP8 0000298a: ADD 0000298b: ADD 0000298c: PUSH1 0x20 0000298e: DUP1 0000298f: DUP12 00002990: ADD 00002991: PUSH1 0x00 00002993: JUMPDEST 00002994: DUP5 00002995: DUP2 00002996: LT 00002997: ISZERO 00002998: PUSH2 0x1377 0000299b: JUMPI 0000299c: DUP10 0000299d: DUP5 0000299e: SUB 0000299f: PUSH1 0x7f 000029a1: NOT 000029a2: ADD 000029a3: DUP7 000029a4: MSTORE 000029a5: DUP2 000029a6: MLOAD 000029a7: DUP1 000029a8: MLOAD 000029a9: PUSH1 0x01 000029ab: PUSH1 0x01 000029ad: PUSH1 0xa0 000029af: SHL 000029b0: SUB 000029b1: AND 000029b2: DUP6 000029b3: MSTORE 000029b4: DUP4 000029b5: DUP2 000029b6: ADD 000029b7: MLOAD 000029b8: DUP10 000029b9: DUP7 000029ba: ADD 000029bb: SWAP1 000029bc: PUSH1 0x03 000029be: DUP2 000029bf: LT 000029c0: PUSH2 0x1316 000029c3: JUMPI 000029c4: PUSH4 0x4e487b71 000029c9: PUSH1 0xe0 000029cb: SHL 000029cc: PUSH1 0x00 000029ce: MSTORE 000029cf: PUSH1 0x21 000029d1: PUSH1 0x04 000029d3: MSTORE 000029d4: PUSH1 0x24 000029d6: PUSH1 0x00 000029d8: REVERT 000029d9: JUMPDEST 000029da: DUP7 000029db: DUP7 000029dc: ADD 000029dd: MSTORE 000029de: PUSH1 0x40 000029e0: SWAP2 000029e1: DUP3 000029e2: ADD 000029e3: MLOAD 000029e4: SWAP2 000029e5: DUP7 000029e6: ADD 000029e7: DUP11 000029e8: SWAP1 000029e9: MSTORE 000029ea: DUP2 000029eb: MLOAD 000029ec: SWAP1 000029ed: DUP2 000029ee: SWAP1 000029ef: MSTORE 000029f0: SWAP1 000029f1: DUP5 000029f2: ADD 000029f3: SWAP1 000029f4: PUSH1 0x00 000029f6: SWAP1 000029f7: DUP10 000029f8: DUP8 000029f9: ADD 000029fa: SWAP1 000029fb: JUMPDEST 000029fc: DUP1 000029fd: DUP4 000029fe: LT 000029ff: ISZERO 00002a00: PUSH2 0x1362 00002a03: JUMPI 00002a04: DUP4 00002a05: MLOAD 00002a06: PUSH1 0x01 00002a08: PUSH1 0x01 00002a0a: PUSH1 0xe0 00002a0c: SHL 00002a0d: SUB 00002a0e: NOT 00002a0f: AND 00002a10: DUP3 00002a11: MSTORE 00002a12: SWAP3 00002a13: DUP7 00002a14: ADD 00002a15: SWAP3 00002a16: PUSH1 0x01 00002a18: SWAP3 00002a19: SWAP1 00002a1a: SWAP3 00002a1b: ADD 00002a1c: SWAP2 00002a1d: SWAP1 00002a1e: DUP7 00002a1f: ADD 00002a20: SWAP1 00002a21: PUSH2 0x1338 00002a24: JUMP 00002a25: JUMPDEST 00002a26: POP 00002a27: SWAP8 00002a28: DUP6 00002a29: ADD 00002a2a: SWAP8 00002a2b: SWAP6 00002a2c: POP 00002a2d: POP 00002a2e: POP 00002a2f: SWAP1 00002a30: DUP3 00002a31: ADD 00002a32: SWAP1 00002a33: PUSH1 0x01 00002a35: ADD 00002a36: PUSH2 0x12d0 00002a39: JUMP 00002a3a: JUMPDEST 00002a3b: POP 00002a3c: POP 00002a3d: PUSH1 0x01 00002a3f: PUSH1 0x01 00002a41: PUSH1 0xa0 00002a43: SHL 00002a44: SUB 00002a45: DUP11 00002a46: AND 00002a47: SWAP1 00002a48: DUP9 00002a49: ADD 00002a4a: MSTORE 00002a4b: DUP7 00002a4c: DUP2 00002a4d: SUB 00002a4e: PUSH1 0x40 00002a50: DUP9 00002a51: ADD 00002a52: MSTORE 00002a53: PUSH2 0x1399 00002a56: DUP2 00002a57: DUP10 00002a58: PUSH2 0x127b 00002a5b: JUMP 00002a5c: JUMPDEST 00002a5d: SWAP11 00002a5e: SWAP10 00002a5f: POP 00002a60: POP 00002a61: POP 00002a62: POP 00002a63: POP 00002a64: POP 00002a65: POP 00002a66: POP 00002a67: POP 00002a68: POP 00002a69: JUMP 00002a6a: JUMPDEST 00002a6b: PUSH1 0x20 00002a6d: DUP1 00002a6e: DUP3 00002a6f: MSTORE 00002a70: PUSH1 0x2c 00002a72: SWAP1 00002a73: DUP3 00002a74: ADD 00002a75: MSTORE 00002a76: PUSH32 0x4469616d6f6e6453746f726167653a204e6f2073656c6563746f727320696e20 00002a97: PUSH1 0x40 00002a99: DUP3 00002a9a: ADD 00002a9b: MSTORE 00002a9c: PUSH12 0x199858d95d081d1bc818dd5d 00002aa9: PUSH1 0xa2 00002aab: SHL 00002aac: PUSH1 0x60 00002aae: DUP3 00002aaf: ADD 00002ab0: MSTORE 00002ab1: PUSH1 0x80 00002ab3: ADD 00002ab4: SWAP1 00002ab5: JUMP 00002ab6: JUMPDEST 00002ab7: PUSH1 0x20 00002ab9: DUP1 00002aba: DUP3 00002abb: MSTORE 00002abc: PUSH1 0x2d 00002abe: SWAP1 00002abf: DUP3 00002ac0: ADD 00002ac1: MSTORE 00002ac2: PUSH32 0x4469616d6f6e6453746f726167653a204164642066616365742063616e277420 00002ae3: PUSH1 0x40 00002ae5: DUP3 00002ae6: ADD 00002ae7: MSTORE 00002ae8: PUSH13 0x62652061646472657373283029 00002af6: PUSH1 0x98 00002af8: SHL 00002af9: PUSH1 0x60 00002afb: DUP3 00002afc: ADD 00002afd: MSTORE 00002afe: PUSH1 0x80 00002b00: ADD 00002b01: SWAP1 00002b02: JUMP 00002b03: JUMPDEST 00002b04: PUSH1 0x00 00002b06: PUSH2 0xffff 00002b09: DUP1 00002b0a: DUP4 00002b0b: AND 00002b0c: DUP2 00002b0d: DUP2 00002b0e: SUB 00002b0f: PUSH2 0x1457 00002b12: JUMPI 00002b13: PUSH2 0x1457 00002b16: PUSH2 0x1228 00002b19: JUMP 00002b1a: JUMPDEST 00002b1b: PUSH1 0x01 00002b1d: ADD 00002b1e: SWAP4 00002b1f: SWAP3 00002b20: POP 00002b21: POP 00002b22: POP 00002b23: JUMP 00002b24: JUMPDEST 00002b25: PUSH1 0x00 00002b27: DUP3 00002b28: MLOAD 00002b29: PUSH2 0x1473 00002b2c: DUP2 00002b2d: DUP5 00002b2e: PUSH1 0x20 00002b30: DUP8 00002b31: ADD 00002b32: PUSH2 0x1257 00002b35: JUMP 00002b36: JUMPDEST 00002b37: SWAP2 00002b38: SWAP1 00002b39: SWAP2 00002b3a: ADD 00002b3b: SWAP3 00002b3c: SWAP2 00002b3d: POP 00002b3e: POP 00002b3f: JUMP 00002b40: JUMPDEST 00002b41: PUSH1 0x20 00002b43: DUP2 00002b44: MSTORE 00002b45: PUSH1 0x00 00002b47: PUSH2 0x1490 00002b4a: PUSH1 0x20 00002b4c: DUP4 00002b4d: ADD 00002b4e: DUP5 00002b4f: PUSH2 0x127b 00002b52: JUMP 00002b53: JUMPDEST 00002b54: SWAP4 00002b55: SWAP3 00002b56: POP 00002b57: POP 00002b58: POP 00002b59: JUMP 00002b5a: JUMPDEST 00002b5b: DUP2 00002b5c: DUP2 00002b5d: SUB 00002b5e: DUP2 00002b5f: DUP2 00002b60: GT 00002b61: ISZERO 00002b62: PUSH2 0x14aa 00002b65: JUMPI 00002b66: PUSH2 0x14aa 00002b69: PUSH2 0x1228 00002b6c: JUMP 00002b6d: JUMPDEST 00002b6e: SWAP3 00002b6f: SWAP2 00002b70: POP 00002b71: POP 00002b72: JUMP 00002b73: JUMPDEST 00002b74: PUSH4 0x4e487b71 00002b79: PUSH1 0xe0 00002b7b: SHL 00002b7c: PUSH1 0x00 00002b7e: MSTORE 00002b7f: PUSH1 0x31 00002b81: PUSH1 0x04 00002b83: MSTORE 00002b84: PUSH1 0x24 00002b86: PUSH1 0x00 00002b88: REVERT 00002b89: INVALID 00002b8a: UNKNOWN(0xC8) 00002b8b: UNKNOWN(0xFC) 00002b8c: UNKNOWN(0xAD) 00002b8d: DUP14 00002b8e: UNKNOWN(0xB8) 00002b8f: UNKNOWN(0x4D) 00002b90: EXTCODECOPY 00002b91: UNKNOWN(0xC1) 00002b92: DUP12 00002b93: UNKNOWN(0x4C) 00002b94: COINBASE 00002b95: UNKNOWN(0xD5) 00002b96: MLOAD 00002b97: UNKNOWN(0xEA) 00002b98: UNKNOWN(0x0E) 00002b99: UNKNOWN(0xE6) 00002b9a: PUSH14 0xd599cde068d998e57d5e09332c13 00002ba9: SHR 00002baa: DIFFICULTY 00002bab: PUSH10 0x616d6f6e6453746f7261 00002bb6: PUSH8 0x653a205f696e6974 00002bbf: KECCAK256 00002bc0: PUSH2 0x6464 00002bc3: PUSH19 0x65737320686173206e6f20636f64654469616d 00002bd7: PUSH16 0x6e6453746f726167653a204e65772066 00002be8: PUSH2 0x6365 00002beb: PUSH21 0x20686173206e6f20636f6465a26469706673582212 00002c01: KECCAK256 00002c02: PUSH11 0x73678058da79f6e7121fc6 00002c0e: PUSH2 0xd12b 00002c11: DUP6 00002c12: PUSH3 0xdf90e1 00002c16: UNKNOWN(0xAD) 00002c17: PUSH29 0x5c29762906660082e38e64736f6c634300081400336080604052348015 00002c35: PUSH2 0x0010 00002c38: JUMPI 00002c39: PUSH1 0x00 00002c3b: DUP1 00002c3c: REVERT 00002c3d: JUMPDEST 00002c3e: POP 00002c3f: PUSH2 0x068e 00002c42: DUP1 00002c43: PUSH2 0x0020 00002c46: PUSH1 0x00 00002c48: CODECOPY 00002c49: PUSH1 0x00 00002c4b: RETURN 00002c4c: INVALID 00002c4d: PUSH1 0x80 00002c4f: PUSH1 0x40 00002c51: MSTORE 00002c52: CALLVALUE 00002c53: DUP1 00002c54: ISZERO 00002c55: PUSH2 0x0010 00002c58: JUMPI 00002c59: PUSH1 0x00 00002c5b: DUP1 00002c5c: REVERT 00002c5d: JUMPDEST 00002c5e: POP 00002c5f: PUSH1 0x04 00002c61: CALLDATASIZE 00002c62: LT 00002c63: PUSH2 0x0057 00002c66: JUMPI 00002c67: PUSH1 0x00 00002c69: CALLDATALOAD 00002c6a: PUSH1 0xe0 00002c6c: SHR 00002c6d: DUP1 00002c6e: PUSH4 0x01ffc9a7 00002c73: EQ 00002c74: PUSH2 0x005c 00002c77: JUMPI 00002c78: DUP1 00002c79: PUSH4 0x52ef6b2c 00002c7e: EQ 00002c7f: PUSH2 0x00bd 00002c82: JUMPI 00002c83: DUP1 00002c84: PUSH4 0x7a0ed627 00002c89: EQ 00002c8a: PUSH2 0x00d2 00002c8d: JUMPI 00002c8e: DUP1 00002c8f: PUSH4 0xadfca15e 00002c94: EQ 00002c95: PUSH2 0x00e7 00002c98: JUMPI 00002c99: DUP1 00002c9a: PUSH4 0xcdffacc6 00002c9f: EQ 00002ca0: PUSH2 0x0107 00002ca3: JUMPI 00002ca4: JUMPDEST 00002ca5: PUSH1 0x00 00002ca7: DUP1 00002ca8: REVERT 00002ca9: JUMPDEST 00002caa: PUSH2 0x00a8 00002cad: PUSH2 0x006a 00002cb0: CALLDATASIZE 00002cb1: PUSH1 0x04 00002cb3: PUSH2 0x0469 00002cb6: JUMP 00002cb7: JUMPDEST 00002cb8: PUSH1 0x01 00002cba: PUSH1 0x01 00002cbc: PUSH1 0xe0 00002cbe: SHL 00002cbf: SUB 00002cc0: NOT 00002cc1: AND 00002cc2: PUSH1 0x00 00002cc4: SWAP1 00002cc5: DUP2 00002cc6: MSTORE 00002cc7: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131f 00002ce8: PUSH1 0x20 00002cea: MSTORE 00002ceb: PUSH1 0x40 00002ced: SWAP1 00002cee: KECCAK256 00002cef: SLOAD 00002cf0: PUSH1 0xff 00002cf2: AND 00002cf3: SWAP1 00002cf4: JUMP 00002cf5: JUMPDEST 00002cf6: PUSH1 0x40 00002cf8: MLOAD 00002cf9: SWAP1 00002cfa: ISZERO 00002cfb: ISZERO 00002cfc: DUP2 00002cfd: MSTORE 00002cfe: PUSH1 0x20 00002d00: ADD 00002d01: JUMPDEST 00002d02: PUSH1 0x40 00002d04: MLOAD 00002d05: DUP1 00002d06: SWAP2 00002d07: SUB 00002d08: SWAP1 00002d09: RETURN 00002d0a: JUMPDEST 00002d0b: PUSH2 0x00c5 00002d0e: PUSH2 0x015f 00002d11: JUMP 00002d12: JUMPDEST 00002d13: PUSH1 0x40 00002d15: MLOAD 00002d16: PUSH2 0x00b4 00002d19: SWAP2 00002d1a: SWAP1 00002d1b: PUSH2 0x049a 00002d1e: JUMP 00002d1f: JUMPDEST 00002d20: PUSH2 0x00da 00002d23: PUSH2 0x01d2 00002d26: JUMP 00002d27: JUMPDEST 00002d28: PUSH1 0x40 00002d2a: MLOAD 00002d2b: PUSH2 0x00b4 00002d2e: SWAP2 00002d2f: SWAP1 00002d30: PUSH2 0x052c 00002d33: JUMP 00002d34: JUMPDEST 00002d35: PUSH2 0x00fa 00002d38: PUSH2 0x00f5 00002d3b: CALLDATASIZE 00002d3c: PUSH1 0x04 00002d3e: PUSH2 0x05a9 00002d41: JUMP 00002d42: JUMPDEST 00002d43: PUSH2 0x039d 00002d46: JUMP 00002d47: JUMPDEST 00002d48: PUSH1 0x40 00002d4a: MLOAD 00002d4b: PUSH2 0x00b4 00002d4e: SWAP2 00002d4f: SWAP1 00002d50: PUSH2 0x05d2 00002d53: JUMP 00002d54: JUMPDEST 00002d55: PUSH2 0x0147 00002d58: PUSH2 0x0115 00002d5b: CALLDATASIZE 00002d5c: PUSH1 0x04 00002d5e: PUSH2 0x0469 00002d61: JUMP 00002d62: JUMPDEST 00002d63: PUSH1 0x01 00002d65: PUSH1 0x01 00002d67: PUSH1 0xe0 00002d69: SHL 00002d6a: SUB 00002d6b: NOT 00002d6c: AND 00002d6d: PUSH1 0x00 00002d6f: SWAP1 00002d70: DUP2 00002d71: MSTORE 00002d72: PUSH1 0x00 00002d74: DUP1 00002d75: MLOAD 00002d76: PUSH1 0x20 00002d78: PUSH2 0x0639 00002d7b: DUP4 00002d7c: CODECOPY 00002d7d: DUP2 00002d7e: MLOAD 00002d7f: SWAP2 00002d80: MSTORE 00002d81: PUSH1 0x20 00002d83: MSTORE 00002d84: PUSH1 0x40 00002d86: SWAP1 00002d87: KECCAK256 00002d88: SLOAD 00002d89: PUSH1 0x01 00002d8b: PUSH1 0x01 00002d8d: PUSH1 0xa0 00002d8f: SHL 00002d90: SUB 00002d91: AND 00002d92: SWAP1 00002d93: JUMP 00002d94: JUMPDEST 00002d95: PUSH1 0x40 00002d97: MLOAD 00002d98: PUSH1 0x01 00002d9a: PUSH1 0x01 00002d9c: PUSH1 0xa0 00002d9e: SHL 00002d9f: SUB 00002da0: SWAP1 00002da1: SWAP2 00002da2: AND 00002da3: DUP2 00002da4: MSTORE 00002da5: PUSH1 0x20 00002da7: ADD 00002da8: PUSH2 0x00b4 00002dab: JUMP 00002dac: JUMPDEST 00002dad: PUSH1 0x60 00002daf: PUSH1 0x00 00002db1: PUSH1 0x00 00002db3: DUP1 00002db4: MLOAD 00002db5: PUSH1 0x20 00002db7: PUSH2 0x0639 00002dba: DUP4 00002dbb: CODECOPY 00002dbc: DUP2 00002dbd: MLOAD 00002dbe: SWAP2 00002dbf: MSTORE 00002dc0: PUSH1 0x02 00002dc2: DUP2 00002dc3: ADD 00002dc4: DUP1 00002dc5: SLOAD 00002dc6: PUSH1 0x40 00002dc8: DUP1 00002dc9: MLOAD 00002dca: PUSH1 0x20 00002dcc: DUP1 00002dcd: DUP5 00002dce: MUL 00002dcf: DUP3 00002dd0: ADD 00002dd1: DUP2 00002dd2: ADD 00002dd3: SWAP1 00002dd4: SWAP3 00002dd5: MSTORE 00002dd6: DUP3 00002dd7: DUP2 00002dd8: MSTORE 00002dd9: SWAP4 00002dda: SWAP5 00002ddb: POP 00002ddc: DUP4 00002ddd: ADD 00002dde: DUP3 00002ddf: DUP3 00002de0: DUP1 00002de1: ISZERO 00002de2: PUSH2 0x01c7 00002de5: JUMPI 00002de6: PUSH1 0x20 00002de8: MUL 00002de9: DUP3 00002dea: ADD 00002deb: SWAP2 00002dec: SWAP1 00002ded: PUSH1 0x00 00002def: MSTORE 00002df0: PUSH1 0x20 00002df2: PUSH1 0x00 00002df4: KECCAK256 00002df5: SWAP1 00002df6: JUMPDEST 00002df7: DUP2 00002df8: SLOAD 00002df9: PUSH1 0x01 00002dfb: PUSH1 0x01 00002dfd: PUSH1 0xa0 00002dff: SHL 00002e00: SUB 00002e01: AND 00002e02: DUP2 00002e03: MSTORE 00002e04: PUSH1 0x01 00002e06: SWAP1 00002e07: SWAP2 00002e08: ADD 00002e09: SWAP1 00002e0a: PUSH1 0x20 00002e0c: ADD 00002e0d: DUP1 00002e0e: DUP4 00002e0f: GT 00002e10: PUSH2 0x01a9 00002e13: JUMPI 00002e14: JUMPDEST 00002e15: POP 00002e16: POP 00002e17: POP 00002e18: POP 00002e19: POP 00002e1a: SWAP2 00002e1b: POP 00002e1c: POP 00002e1d: SWAP1 00002e1e: JUMP 00002e1f: JUMPDEST 00002e20: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131e 00002e41: SLOAD 00002e42: PUSH1 0x60 00002e44: SWAP1 00002e45: PUSH1 0x00 00002e47: DUP1 00002e48: MLOAD 00002e49: PUSH1 0x20 00002e4b: PUSH2 0x0639 00002e4e: DUP4 00002e4f: CODECOPY 00002e50: DUP2 00002e51: MLOAD 00002e52: SWAP2 00002e53: MSTORE 00002e54: SWAP1 00002e55: DUP1 00002e56: PUSH8 0xffffffffffffffff 00002e5f: DUP2 00002e60: GT 00002e61: ISZERO 00002e62: PUSH2 0x0220 00002e65: JUMPI 00002e66: PUSH2 0x0220 00002e69: PUSH2 0x05e5 00002e6c: JUMP 00002e6d: JUMPDEST 00002e6e: PUSH1 0x40 00002e70: MLOAD 00002e71: SWAP1 00002e72: DUP1 00002e73: DUP3 00002e74: MSTORE 00002e75: DUP1 00002e76: PUSH1 0x20 00002e78: MUL 00002e79: PUSH1 0x20 00002e7b: ADD 00002e7c: DUP3 00002e7d: ADD 00002e7e: PUSH1 0x40 00002e80: MSTORE 00002e81: DUP1 00002e82: ISZERO 00002e83: PUSH2 0x0266 00002e86: JUMPI 00002e87: DUP2 00002e88: PUSH1 0x20 00002e8a: ADD 00002e8b: JUMPDEST 00002e8c: PUSH1 0x40 00002e8e: DUP1 00002e8f: MLOAD 00002e90: DUP1 00002e91: DUP3 00002e92: ADD 00002e93: SWAP1 00002e94: SWAP2 00002e95: MSTORE 00002e96: PUSH1 0x00 00002e98: DUP2 00002e99: MSTORE 00002e9a: PUSH1 0x60 00002e9c: PUSH1 0x20 00002e9e: DUP3 00002e9f: ADD 00002ea0: MSTORE 00002ea1: DUP2 00002ea2: MSTORE 00002ea3: PUSH1 0x20 00002ea5: ADD 00002ea6: SWAP1 00002ea7: PUSH1 0x01 00002ea9: SWAP1 00002eaa: SUB 00002eab: SWAP1 00002eac: DUP2 00002ead: PUSH2 0x023e 00002eb0: JUMPI 00002eb1: SWAP1 00002eb2: POP 00002eb3: JUMPDEST 00002eb4: POP 00002eb5: SWAP3 00002eb6: POP 00002eb7: PUSH1 0x00 00002eb9: JUMPDEST 00002eba: DUP2 00002ebb: DUP2 00002ebc: LT 00002ebd: ISZERO 00002ebe: PUSH2 0x0397 00002ec1: JUMPI 00002ec2: PUSH1 0x00 00002ec4: DUP4 00002ec5: PUSH1 0x02 00002ec7: ADD 00002ec8: DUP3 00002ec9: DUP2 00002eca: SLOAD 00002ecb: DUP2 00002ecc: LT 00002ecd: PUSH2 0x028b 00002ed0: JUMPI 00002ed1: PUSH2 0x028b 00002ed4: PUSH2 0x05fb 00002ed7: JUMP 00002ed8: JUMPDEST 00002ed9: SWAP1 00002eda: PUSH1 0x00 00002edc: MSTORE 00002edd: PUSH1 0x20 00002edf: PUSH1 0x00 00002ee1: KECCAK256 00002ee2: ADD 00002ee3: PUSH1 0x00 00002ee5: SWAP1 00002ee6: SLOAD 00002ee7: SWAP1 00002ee8: PUSH2 0x0100 00002eeb: EXP 00002eec: SWAP1 00002eed: DIV 00002eee: PUSH1 0x01 00002ef0: PUSH1 0x01 00002ef2: PUSH1 0xa0 00002ef4: SHL 00002ef5: SUB 00002ef6: AND 00002ef7: SWAP1 00002ef8: POP 00002ef9: DUP1 00002efa: DUP6 00002efb: DUP4 00002efc: DUP2 00002efd: MLOAD 00002efe: DUP2 00002eff: LT 00002f00: PUSH2 0x02be 00002f03: JUMPI 00002f04: PUSH2 0x02be 00002f07: PUSH2 0x05fb 00002f0a: JUMP 00002f0b: JUMPDEST 00002f0c: PUSH1 0x20 00002f0e: SWAP1 00002f0f: DUP2 00002f10: MUL 00002f11: SWAP2 00002f12: SWAP1 00002f13: SWAP2 00002f14: ADD 00002f15: DUP2 00002f16: ADD 00002f17: MLOAD 00002f18: PUSH1 0x01 00002f1a: PUSH1 0x01 00002f1c: PUSH1 0xa0 00002f1e: SHL 00002f1f: SUB 00002f20: SWAP3 00002f21: DUP4 00002f22: AND 00002f23: SWAP1 00002f24: MSTORE 00002f25: SWAP1 00002f26: DUP3 00002f27: AND 00002f28: PUSH1 0x00 00002f2a: SWAP1 00002f2b: DUP2 00002f2c: MSTORE 00002f2d: PUSH1 0x01 00002f2f: DUP7 00002f30: ADD 00002f31: DUP3 00002f32: MSTORE 00002f33: PUSH1 0x40 00002f35: SWAP1 00002f36: DUP2 00002f37: SWAP1 00002f38: KECCAK256 00002f39: DUP1 00002f3a: SLOAD 00002f3b: DUP3 00002f3c: MLOAD 00002f3d: DUP2 00002f3e: DUP6 00002f3f: MUL 00002f40: DUP2 00002f41: ADD 00002f42: DUP6 00002f43: ADD 00002f44: SWAP1 00002f45: SWAP4 00002f46: MSTORE 00002f47: DUP1 00002f48: DUP4 00002f49: MSTORE 00002f4a: SWAP2 00002f4b: SWAP3 00002f4c: SWAP1 00002f4d: SWAP2 00002f4e: SWAP1 00002f4f: DUP4 00002f50: ADD 00002f51: DUP3 00002f52: DUP3 00002f53: DUP1 00002f54: ISZERO 00002f55: PUSH2 0x035d 00002f58: JUMPI 00002f59: PUSH1 0x20 00002f5b: MUL 00002f5c: DUP3 00002f5d: ADD 00002f5e: SWAP2 00002f5f: SWAP1 00002f60: PUSH1 0x00 00002f62: MSTORE 00002f63: PUSH1 0x20 00002f65: PUSH1 0x00 00002f67: KECCAK256 00002f68: SWAP1 00002f69: PUSH1 0x00 00002f6b: SWAP1 00002f6c: JUMPDEST 00002f6d: DUP3 00002f6e: DUP3 00002f6f: SWAP1 00002f70: SLOAD 00002f71: SWAP1 00002f72: PUSH2 0x0100 00002f75: EXP 00002f76: SWAP1 00002f77: DIV 00002f78: PUSH1 0xe0 00002f7a: SHL 00002f7b: PUSH1 0x01 00002f7d: PUSH1 0x01 00002f7f: PUSH1 0xe0 00002f81: SHL 00002f82: SUB 00002f83: NOT 00002f84: AND 00002f85: DUP2 00002f86: MSTORE 00002f87: PUSH1 0x20 00002f89: ADD 00002f8a: SWAP1 00002f8b: PUSH1 0x04 00002f8d: ADD 00002f8e: SWAP1 00002f8f: PUSH1 0x20 00002f91: DUP3 00002f92: PUSH1 0x03 00002f94: ADD 00002f95: DIV 00002f96: SWAP3 00002f97: DUP4 00002f98: ADD 00002f99: SWAP3 00002f9a: PUSH1 0x01 00002f9c: SUB 00002f9d: DUP3 00002f9e: MUL 00002f9f: SWAP2 00002fa0: POP 00002fa1: DUP1 00002fa2: DUP5 00002fa3: GT 00002fa4: PUSH2 0x031f 00002fa7: JUMPI 00002fa8: SWAP1 00002fa9: POP 00002faa: JUMPDEST 00002fab: POP 00002fac: POP 00002fad: POP 00002fae: POP 00002faf: POP 00002fb0: DUP6 00002fb1: DUP4 00002fb2: DUP2 00002fb3: MLOAD 00002fb4: DUP2 00002fb5: LT 00002fb6: PUSH2 0x0374 00002fb9: JUMPI 00002fba: PUSH2 0x0374 00002fbd: PUSH2 0x05fb 00002fc0: JUMP 00002fc1: JUMPDEST 00002fc2: PUSH1 0x20 00002fc4: MUL 00002fc5: PUSH1 0x20 00002fc7: ADD 00002fc8: ADD 00002fc9: MLOAD 00002fca: PUSH1 0x20 00002fcc: ADD 00002fcd: DUP2 00002fce: SWAP1 00002fcf: MSTORE 00002fd0: POP 00002fd1: POP 00002fd2: DUP1 00002fd3: DUP1 00002fd4: PUSH2 0x038f 00002fd7: SWAP1 00002fd8: PUSH2 0x0611 00002fdb: JUMP 00002fdc: JUMPDEST 00002fdd: SWAP2 00002fde: POP 00002fdf: POP 00002fe0: PUSH2 0x026c 00002fe3: JUMP 00002fe4: JUMPDEST 00002fe5: POP 00002fe6: POP 00002fe7: POP 00002fe8: SWAP1 00002fe9: JUMP 00002fea: JUMPDEST 00002feb: PUSH1 0x01 00002fed: PUSH1 0x01 00002fef: PUSH1 0xa0 00002ff1: SHL 00002ff2: SUB 00002ff3: DUP2 00002ff4: AND 00002ff5: PUSH1 0x00 00002ff7: SWAP1 00002ff8: DUP2 00002ff9: MSTORE 00002ffa: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131d 0000301b: PUSH1 0x20 0000301d: SWAP1 0000301e: DUP2 0000301f: MSTORE 00003020: PUSH1 0x40 00003022: SWAP2 00003023: DUP3 00003024: SWAP1 00003025: KECCAK256 00003026: DUP1 00003027: SLOAD 00003028: DUP4 00003029: MLOAD 0000302a: DUP2 0000302b: DUP5 0000302c: MUL 0000302d: DUP2 0000302e: ADD 0000302f: DUP5 00003030: ADD 00003031: SWAP1 00003032: SWAP5 00003033: MSTORE 00003034: DUP1 00003035: DUP5 00003036: MSTORE 00003037: PUSH1 0x60 00003039: SWAP4 0000303a: PUSH1 0x00 0000303c: DUP1 0000303d: MLOAD 0000303e: PUSH1 0x20 00003040: PUSH2 0x0639 00003043: DUP4 00003044: CODECOPY 00003045: DUP2 00003046: MLOAD 00003047: SWAP2 00003048: MSTORE 00003049: SWAP4 0000304a: SWAP1 0000304b: SWAP3 0000304c: SWAP2 0000304d: SWAP1 0000304e: DUP4 0000304f: ADD 00003050: DUP3 00003051: DUP3 00003052: DUP1 00003053: ISZERO 00003054: PUSH2 0x045c 00003057: JUMPI 00003058: PUSH1 0x20 0000305a: MUL 0000305b: DUP3 0000305c: ADD 0000305d: SWAP2 0000305e: SWAP1 0000305f: PUSH1 0x00 00003061: MSTORE 00003062: PUSH1 0x20 00003064: PUSH1 0x00 00003066: KECCAK256 00003067: SWAP1 00003068: PUSH1 0x00 0000306a: SWAP1 0000306b: JUMPDEST 0000306c: DUP3 0000306d: DUP3 0000306e: SWAP1 0000306f: SLOAD 00003070: SWAP1 00003071: PUSH2 0x0100 00003074: EXP 00003075: SWAP1 00003076: DIV 00003077: PUSH1 0xe0 00003079: SHL 0000307a: PUSH1 0x01 0000307c: PUSH1 0x01 0000307e: PUSH1 0xe0 00003080: SHL 00003081: SUB 00003082: NOT 00003083: AND 00003084: DUP2 00003085: MSTORE 00003086: PUSH1 0x20 00003088: ADD 00003089: SWAP1 0000308a: PUSH1 0x04 0000308c: ADD 0000308d: SWAP1 0000308e: PUSH1 0x20 00003090: DUP3 00003091: PUSH1 0x03 00003093: ADD 00003094: DIV 00003095: SWAP3 00003096: DUP4 00003097: ADD 00003098: SWAP3 00003099: PUSH1 0x01 0000309b: SUB 0000309c: DUP3 0000309d: MUL 0000309e: SWAP2 0000309f: POP 000030a0: DUP1 000030a1: DUP5 000030a2: GT 000030a3: PUSH2 0x041e 000030a6: JUMPI 000030a7: SWAP1 000030a8: POP 000030a9: JUMPDEST 000030aa: POP 000030ab: POP 000030ac: POP 000030ad: POP 000030ae: POP 000030af: SWAP2 000030b0: POP 000030b1: POP 000030b2: SWAP2 000030b3: SWAP1 000030b4: POP 000030b5: JUMP 000030b6: JUMPDEST 000030b7: PUSH1 0x00 000030b9: PUSH1 0x20 000030bb: DUP3 000030bc: DUP5 000030bd: SUB 000030be: SLT 000030bf: ISZERO 000030c0: PUSH2 0x047b 000030c3: JUMPI 000030c4: PUSH1 0x00 000030c6: DUP1 000030c7: REVERT 000030c8: JUMPDEST 000030c9: DUP2 000030ca: CALLDATALOAD 000030cb: PUSH1 0x01 000030cd: PUSH1 0x01 000030cf: PUSH1 0xe0 000030d1: SHL 000030d2: SUB 000030d3: NOT 000030d4: DUP2 000030d5: AND 000030d6: DUP2 000030d7: EQ 000030d8: PUSH2 0x0493 000030db: JUMPI 000030dc: PUSH1 0x00 000030de: DUP1 000030df: REVERT 000030e0: JUMPDEST 000030e1: SWAP4 000030e2: SWAP3 000030e3: POP 000030e4: POP 000030e5: POP 000030e6: JUMP 000030e7: JUMPDEST 000030e8: PUSH1 0x20 000030ea: DUP1 000030eb: DUP3 000030ec: MSTORE 000030ed: DUP3 000030ee: MLOAD 000030ef: DUP3 000030f0: DUP3 000030f1: ADD 000030f2: DUP2 000030f3: SWAP1 000030f4: MSTORE 000030f5: PUSH1 0x00 000030f7: SWAP2 000030f8: SWAP1 000030f9: DUP5 000030fa: DUP3 000030fb: ADD 000030fc: SWAP1 000030fd: PUSH1 0x40 000030ff: DUP6 00003100: ADD 00003101: SWAP1 00003102: DUP5 00003103: JUMPDEST 00003104: DUP2 00003105: DUP2 00003106: LT 00003107: ISZERO 00003108: PUSH2 0x04db 0000310b: JUMPI 0000310c: DUP4 0000310d: MLOAD 0000310e: PUSH1 0x01 00003110: PUSH1 0x01 00003112: PUSH1 0xa0 00003114: SHL 00003115: SUB 00003116: AND 00003117: DUP4 00003118: MSTORE 00003119: SWAP3 0000311a: DUP5 0000311b: ADD 0000311c: SWAP3 0000311d: SWAP2 0000311e: DUP5 0000311f: ADD 00003120: SWAP2 00003121: PUSH1 0x01 00003123: ADD 00003124: PUSH2 0x04b6 00003127: JUMP 00003128: JUMPDEST 00003129: POP 0000312a: SWAP1 0000312b: SWAP7 0000312c: SWAP6 0000312d: POP 0000312e: POP 0000312f: POP 00003130: POP 00003131: POP 00003132: POP 00003133: JUMP 00003134: JUMPDEST 00003135: PUSH1 0x00 00003137: DUP2 00003138: MLOAD 00003139: DUP1 0000313a: DUP5 0000313b: MSTORE 0000313c: PUSH1 0x20 0000313e: DUP1 0000313f: DUP6 00003140: ADD 00003141: SWAP5 00003142: POP 00003143: DUP1 00003144: DUP5 00003145: ADD 00003146: PUSH1 0x00 00003148: JUMPDEST 00003149: DUP4 0000314a: DUP2 0000314b: LT 0000314c: ISZERO 0000314d: PUSH2 0x0521 00003150: JUMPI 00003151: DUP2 00003152: MLOAD 00003153: PUSH1 0x01 00003155: PUSH1 0x01 00003157: PUSH1 0xe0 00003159: SHL 0000315a: SUB 0000315b: NOT 0000315c: AND 0000315d: DUP8 0000315e: MSTORE 0000315f: SWAP6 00003160: DUP3 00003161: ADD 00003162: SWAP6 00003163: SWAP1 00003164: DUP3 00003165: ADD 00003166: SWAP1 00003167: PUSH1 0x01 00003169: ADD 0000316a: PUSH2 0x04fb 0000316d: JUMP 0000316e: JUMPDEST 0000316f: POP 00003170: SWAP5 00003171: SWAP6 00003172: SWAP5 00003173: POP 00003174: POP 00003175: POP 00003176: POP 00003177: POP 00003178: JUMP 00003179: JUMPDEST 0000317a: PUSH1 0x00 0000317c: PUSH1 0x20 0000317e: DUP1 0000317f: DUP4 00003180: ADD 00003181: DUP2 00003182: DUP5 00003183: MSTORE 00003184: DUP1 00003185: DUP6 00003186: MLOAD 00003187: DUP1 00003188: DUP4 00003189: MSTORE 0000318a: PUSH1 0x40 0000318c: SWAP3 0000318d: POP 0000318e: DUP3 0000318f: DUP7 00003190: ADD 00003191: SWAP2 00003192: POP 00003193: DUP3 00003194: DUP2 00003195: PUSH1 0x05 00003197: SHL 00003198: DUP8 00003199: ADD 0000319a: ADD 0000319b: DUP5 0000319c: DUP9 0000319d: ADD 0000319e: PUSH1 0x00 000031a0: JUMPDEST 000031a1: DUP4 000031a2: DUP2 000031a3: LT 000031a4: ISZERO 000031a5: PUSH2 0x059b 000031a8: JUMPI 000031a9: DUP9 000031aa: DUP4 000031ab: SUB 000031ac: PUSH1 0x3f 000031ae: NOT 000031af: ADD 000031b0: DUP6 000031b1: MSTORE 000031b2: DUP2 000031b3: MLOAD 000031b4: DUP1 000031b5: MLOAD 000031b6: PUSH1 0x01 000031b8: PUSH1 0x01 000031ba: PUSH1 0xa0 000031bc: SHL 000031bd: SUB 000031be: AND 000031bf: DUP5 000031c0: MSTORE 000031c1: DUP8 000031c2: ADD 000031c3: MLOAD 000031c4: DUP8 000031c5: DUP5 000031c6: ADD 000031c7: DUP8 000031c8: SWAP1 000031c9: MSTORE 000031ca: PUSH2 0x0588 000031cd: DUP8 000031ce: DUP6 000031cf: ADD 000031d0: DUP3 000031d1: PUSH2 0x04e7 000031d4: JUMP 000031d5: JUMPDEST 000031d6: SWAP6 000031d7: DUP9 000031d8: ADD 000031d9: SWAP6 000031da: SWAP4 000031db: POP 000031dc: POP 000031dd: SWAP1 000031de: DUP7 000031df: ADD 000031e0: SWAP1 000031e1: PUSH1 0x01 000031e3: ADD 000031e4: PUSH2 0x0553 000031e7: JUMP 000031e8: JUMPDEST 000031e9: POP 000031ea: SWAP1 000031eb: SWAP9 000031ec: SWAP8 000031ed: POP 000031ee: POP 000031ef: POP 000031f0: POP 000031f1: POP 000031f2: POP 000031f3: POP 000031f4: POP 000031f5: JUMP 000031f6: JUMPDEST 000031f7: PUSH1 0x00 000031f9: PUSH1 0x20 000031fb: DUP3 000031fc: DUP5 000031fd: SUB 000031fe: SLT 000031ff: ISZERO 00003200: PUSH2 0x05bb 00003203: JUMPI 00003204: PUSH1 0x00 00003206: DUP1 00003207: REVERT 00003208: JUMPDEST 00003209: DUP2 0000320a: CALLDATALOAD 0000320b: PUSH1 0x01 0000320d: PUSH1 0x01 0000320f: PUSH1 0xa0 00003211: SHL 00003212: SUB 00003213: DUP2 00003214: AND 00003215: DUP2 00003216: EQ 00003217: PUSH2 0x0493 0000321a: JUMPI 0000321b: PUSH1 0x00 0000321d: DUP1 0000321e: REVERT 0000321f: JUMPDEST 00003220: PUSH1 0x20 00003222: DUP2 00003223: MSTORE 00003224: PUSH1 0x00 00003226: PUSH2 0x0493 00003229: PUSH1 0x20 0000322b: DUP4 0000322c: ADD 0000322d: DUP5 0000322e: PUSH2 0x04e7 00003231: JUMP 00003232: JUMPDEST 00003233: PUSH4 0x4e487b71 00003238: PUSH1 0xe0 0000323a: SHL 0000323b: PUSH1 0x00 0000323d: MSTORE 0000323e: PUSH1 0x41 00003240: PUSH1 0x04 00003242: MSTORE 00003243: PUSH1 0x24 00003245: PUSH1 0x00 00003247: REVERT 00003248: JUMPDEST 00003249: PUSH4 0x4e487b71 0000324e: PUSH1 0xe0 00003250: SHL 00003251: PUSH1 0x00 00003253: MSTORE 00003254: PUSH1 0x32 00003256: PUSH1 0x04 00003258: MSTORE 00003259: PUSH1 0x24 0000325b: PUSH1 0x00 0000325d: REVERT 0000325e: JUMPDEST 0000325f: PUSH1 0x00 00003261: PUSH1 0x01 00003263: DUP3 00003264: ADD 00003265: PUSH2 0x0631 00003268: JUMPI 00003269: PUSH4 0x4e487b71 0000326e: PUSH1 0xe0 00003270: SHL 00003271: PUSH1 0x00 00003273: MSTORE 00003274: PUSH1 0x11 00003276: PUSH1 0x04 00003278: MSTORE 00003279: PUSH1 0x24 0000327b: PUSH1 0x00 0000327d: REVERT 0000327e: JUMPDEST 0000327f: POP 00003280: PUSH1 0x01 00003282: ADD 00003283: SWAP1 00003284: JUMP 00003285: INVALID 00003286: UNKNOWN(0xC8) 00003287: UNKNOWN(0xFC) 00003288: UNKNOWN(0xAD) 00003289: DUP14 0000328a: UNKNOWN(0xB8) 0000328b: UNKNOWN(0x4D) 0000328c: EXTCODECOPY 0000328d: UNKNOWN(0xC1) 0000328e: DUP12 0000328f: UNKNOWN(0x4C) 00003290: COINBASE 00003291: UNKNOWN(0xD5) 00003292: MLOAD 00003293: UNKNOWN(0xEA) 00003294: UNKNOWN(0x0E) 00003295: UNKNOWN(0xE6) 00003296: PUSH14 0xd599cde068d998e57d5e09332c13 000032a5: SHR 000032a6: LOG2 000032a7: PUSH5 0x6970667358 000032ad: UNKNOWN(0x22) 000032ae: SLT 000032af: KECCAK256 000032b0: UNKNOWN(0xBD) 000032b1: MCOPY 000032b2: XOR 000032b3: UNKNOWN(0xC2) 000032b4: SWAP1 000032b5: UNKNOWN(0xCE) 000032b6: UNKNOWN(0xB4) 000032b7: UNKNOWN(0x4D) 000032b8: PUSH21 0x14062cf034fceb88fbc76124160f81694c198413a7 000032ce: EXTCODEHASH 000032cf: GAS 000032d0: PUSH5 0x736f6c6343 000032d6: STOP 000032d7: ADDMOD 000032d8: EQ 000032d9: STOP 000032da: CALLER 000032db: PUSH1 0x80 000032dd: PUSH1 0x40 000032df: MSTORE 000032e0: CALLVALUE 000032e1: DUP1 000032e2: ISZERO 000032e3: PUSH2 0x0010 000032e6: JUMPI 000032e7: PUSH1 0x00 000032e9: DUP1 000032ea: REVERT 000032eb: JUMPDEST 000032ec: POP 000032ed: PUSH2 0x02b1 000032f0: DUP1 000032f1: PUSH2 0x0020 000032f4: PUSH1 0x00 000032f6: CODECOPY 000032f7: PUSH1 0x00 000032f9: RETURN 000032fa: INVALID 000032fb: PUSH1 0x80 000032fd: PUSH1 0x40 000032ff: MSTORE 00003300: CALLVALUE 00003301: DUP1 00003302: ISZERO 00003303: PUSH2 0x0010 00003306: JUMPI 00003307: PUSH1 0x00 00003309: DUP1 0000330a: REVERT 0000330b: JUMPDEST 0000330c: POP 0000330d: PUSH1 0x04 0000330f: CALLDATASIZE 00003310: LT 00003311: PUSH2 0x0036 00003314: JUMPI 00003315: PUSH1 0x00 00003317: CALLDATALOAD 00003318: PUSH1 0xe0 0000331a: SHR 0000331b: DUP1 0000331c: PUSH4 0x8da5cb5b 00003321: EQ 00003322: PUSH2 0x003b 00003325: JUMPI 00003326: DUP1 00003327: PUSH4 0xf2fde38b 0000332c: EQ 0000332d: PUSH2 0x005f 00003330: JUMPI 00003331: JUMPDEST 00003332: PUSH1 0x00 00003334: DUP1 00003335: REVERT 00003336: JUMPDEST 00003337: PUSH2 0x0043 0000333a: PUSH2 0x0074 0000333d: JUMP 0000333e: JUMPDEST 0000333f: PUSH1 0x40 00003341: MLOAD 00003342: PUSH1 0x01 00003344: PUSH1 0x01 00003346: PUSH1 0xa0 00003348: SHL 00003349: SUB 0000334a: SWAP1 0000334b: SWAP2 0000334c: AND 0000334d: DUP2 0000334e: MSTORE 0000334f: PUSH1 0x20 00003351: ADD 00003352: PUSH1 0x40 00003354: MLOAD 00003355: DUP1 00003356: SWAP2 00003357: SUB 00003358: SWAP1 00003359: RETURN 0000335a: JUMPDEST 0000335b: PUSH2 0x0072 0000335e: PUSH2 0x006d 00003361: CALLDATASIZE 00003362: PUSH1 0x04 00003364: PUSH2 0x024b 00003367: JUMP 00003368: JUMPDEST 00003369: PUSH2 0x00ac 0000336c: JUMP 0000336d: JUMPDEST 0000336e: STOP 0000336f: JUMPDEST 00003370: PUSH1 0x00 00003372: PUSH2 0x00a7 00003375: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 00003396: SLOAD 00003397: PUSH1 0x01 00003399: PUSH1 0x01 0000339b: PUSH1 0xa0 0000339d: SHL 0000339e: SUB 0000339f: AND 000033a0: SWAP1 000033a1: JUMP 000033a2: JUMPDEST 000033a3: SWAP1 000033a4: POP 000033a5: SWAP1 000033a6: JUMP 000033a7: JUMPDEST 000033a8: PUSH2 0x00b4 000033ab: PUSH2 0x00c0 000033ae: JUMP 000033af: JUMPDEST 000033b0: PUSH2 0x00bd 000033b3: DUP2 000033b4: PUSH2 0x015a 000033b7: JUMP 000033b8: JUMPDEST 000033b9: POP 000033ba: JUMP 000033bb: JUMPDEST 000033bc: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 000033dd: SLOAD 000033de: PUSH1 0x01 000033e0: PUSH1 0x01 000033e2: PUSH1 0xa0 000033e4: SHL 000033e5: SUB 000033e6: AND 000033e7: PUSH2 0x00f3 000033ea: PUSH2 0x01ef 000033ed: JUMP 000033ee: JUMPDEST 000033ef: PUSH1 0x01 000033f1: PUSH1 0x01 000033f3: PUSH1 0xa0 000033f5: SHL 000033f6: SUB 000033f7: AND 000033f8: EQ 000033f9: PUSH2 0x0158 000033fc: JUMPI 000033fd: PUSH1 0x40 000033ff: MLOAD 00003400: PUSH3 0x461bcd 00003404: PUSH1 0xe5 00003406: SHL 00003407: DUP2 00003408: MSTORE 00003409: PUSH1 0x20 0000340b: PUSH1 0x04 0000340d: DUP3 0000340e: ADD 0000340f: MSTORE 00003410: PUSH1 0x22 00003412: PUSH1 0x24 00003414: DUP3 00003415: ADD 00003416: MSTORE 00003417: PUSH32 0x4c69624469616d6f6e643a204d75737420626520636f6e7472616374206f776e 00003438: PUSH1 0x44 0000343a: DUP3 0000343b: ADD 0000343c: MSTORE 0000343d: PUSH2 0x32b9 00003440: PUSH1 0xf1 00003442: SHL 00003443: PUSH1 0x64 00003445: DUP3 00003446: ADD 00003447: MSTORE 00003448: PUSH1 0x84 0000344a: ADD 0000344b: PUSH1 0x40 0000344d: MLOAD 0000344e: DUP1 0000344f: SWAP2 00003450: SUB 00003451: SWAP1 00003452: REVERT 00003453: JUMPDEST 00003454: JUMP 00003455: JUMPDEST 00003456: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c1320 00003477: DUP1 00003478: SLOAD 00003479: PUSH1 0x01 0000347b: PUSH1 0x01 0000347d: PUSH1 0xa0 0000347f: SHL 00003480: SUB 00003481: NOT 00003482: DUP2 00003483: AND 00003484: PUSH1 0x01 00003486: PUSH1 0x01 00003488: PUSH1 0xa0 0000348a: SHL 0000348b: SUB 0000348c: DUP5 0000348d: DUP2 0000348e: AND 0000348f: SWAP2 00003490: DUP3 00003491: OR 00003492: SWAP1 00003493: SWAP4 00003494: SSTORE 00003495: PUSH1 0x40 00003497: MLOAD 00003498: PUSH32 0xc8fcad8db84d3cc18b4c41d551ea0ee66dd599cde068d998e57d5e09332c131c 000034b9: SWAP4 000034ba: SWAP1 000034bb: SWAP3 000034bc: AND 000034bd: SWAP2 000034be: DUP3 000034bf: SWAP1 000034c0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000034e1: SWAP1 000034e2: PUSH1 0x00 000034e4: SWAP1 000034e5: LOG3 000034e6: POP 000034e7: POP 000034e8: POP 000034e9: JUMP 000034ea: JUMPDEST 000034eb: PUSH1 0x00 000034ed: ADDRESS 000034ee: CALLER 000034ef: SUB 000034f0: PUSH2 0x0245 000034f3: JUMPI 000034f4: PUSH1 0x00 000034f6: DUP1 000034f7: CALLDATASIZE 000034f8: DUP1 000034f9: DUP1 000034fa: PUSH1 0x1f 000034fc: ADD 000034fd: PUSH1 0x20 000034ff: DUP1 00003500: SWAP2 00003501: DIV 00003502: MUL 00003503: PUSH1 0x20 00003505: ADD 00003506: PUSH1 0x40 00003508: MLOAD 00003509: SWAP1 0000350a: DUP2 0000350b: ADD 0000350c: PUSH1 0x40 0000350e: MSTORE 0000350f: DUP1 00003510: SWAP4 00003511: SWAP3 00003512: SWAP2 00003513: SWAP1 00003514: DUP2 00003515: DUP2 00003516: MSTORE 00003517: PUSH1 0x20 00003519: ADD 0000351a: DUP4 0000351b: DUP4 0000351c: DUP1 0000351d: DUP3 0000351e: DUP5 0000351f: CALLDATACOPY 00003520: PUSH1 0x00 00003522: SWAP3 00003523: ADD 00003524: SWAP2 00003525: SWAP1 00003526: SWAP2 00003527: MSTORE 00003528: POP 00003529: POP 0000352a: POP 0000352b: POP 0000352c: CALLDATASIZE 0000352d: ADD 0000352e: MLOAD 0000352f: PUSH1 0x01 00003531: PUSH1 0x01 00003533: PUSH1 0xa0 00003535: SHL 00003536: SUB 00003537: AND 00003538: SWAP2 00003539: POP 0000353a: PUSH2 0x0248 0000353d: SWAP1 0000353e: POP 0000353f: JUMP 00003540: JUMPDEST 00003541: POP 00003542: CALLER 00003543: JUMPDEST 00003544: SWAP1 00003545: JUMP 00003546: JUMPDEST 00003547: PUSH1 0x00 00003549: PUSH1 0x20 0000354b: DUP3 0000354c: DUP5 0000354d: SUB 0000354e: SLT 0000354f: ISZERO 00003550: PUSH2 0x025d 00003553: JUMPI 00003554: PUSH1 0x00 00003556: DUP1 00003557: REVERT 00003558: JUMPDEST 00003559: DUP2 0000355a: CALLDATALOAD 0000355b: PUSH1 0x01 0000355d: PUSH1 0x01 0000355f: PUSH1 0xa0 00003561: SHL 00003562: SUB 00003563: DUP2 00003564: AND 00003565: DUP2 00003566: EQ 00003567: PUSH2 0x0274 0000356a: JUMPI 0000356b: PUSH1 0x00 0000356d: DUP1 0000356e: REVERT 0000356f: JUMPDEST 00003570: SWAP4 00003571: SWAP3 00003572: POP 00003573: POP 00003574: POP 00003575: JUMP 00003576: INVALID 00003577: LOG2 00003578: PUSH5 0x6970667358 0000357e: UNKNOWN(0x22) 0000357f: SLT 00003580: KECCAK256 00003581: DUP8 00003582: RETURNDATASIZE 00003583: RETURNDATACOPY 00003584: UNKNOWN(0xB5) 00003585: UNKNOWN(0xC3) 00003586: GASPRICE 00003587: UNKNOWN(0xED) 00003588: CALLCODE 00003589: BLOBHASH 0000358a: UNKNOWN(0xB5) 0000358b: UNKNOWN(0xB1) 0000358c: RETURN 0000358d: UNKNOWN(0x24) 0000358e: UNKNOWN(0xB1) 0000358f: PUSH23 0x4e5378931c4498512a2115b4a992f5062464736f6c6343 000035a7: STOP 000035a8: ADDMOD 000035a9: EQ 000035aa: STOP 000035ab: CALLER 000035ac: UNKNOWN(0xC8) 000035ad: UNKNOWN(0xFC) 000035ae: UNKNOWN(0xAD) 000035af: DUP14 000035b0: UNKNOWN(0xB8) 000035b1: UNKNOWN(0x4D) 000035b2: EXTCODECOPY 000035b3: UNKNOWN(0xC1) 000035b4: DUP12 000035b5: UNKNOWN(0x4C) 000035b6: COINBASE 000035b7: UNKNOWN(0xD5) 000035b8: MLOAD 000035b9: UNKNOWN(0xEA) 000035ba: UNKNOWN(0x0E) 000035bb: UNKNOWN(0xE6) 000035bc: PUSH14 0xd599cde068d998e57d5e09332c13 000035cb: SHR 000035cc: DIFFICULTY 000035cd: PUSH10 0x616d6f6e6453746f7261 000035d8: PUSH8 0x653a205f696e6974 000035e1: KECCAK256 000035e2: PUSH2 0x6464 000035e5: PUSH19 0x65737320686173206e6f20636f64654469616d 000035f9: PUSH16 0x6e6453746f726167653a204e65772066 0000360a: PUSH2 0x6365 0000360d: PUSH21 0x20686173206e6f20636f6465a26469706673582212 00003623: KECCAK256 00003624: NOT 00003625: SWAP5 00003626: UNKNOWN(0xDC) 00003627: TIMESTAMP 00003628: CREATE2 00003629: BYTE 0000362a: SDIV 0000362b: NUMBER 0000362c: SWAP10 0000362d: MSIZE 0000362e: UNKNOWN(0xD0) 0000362f: UNKNOWN(0xA8) 00003630: PUSH27 0x23ba71b7dcde8d0b524a0d3a7c35a15f016fe264736f6c63430008 0000364c: EQ 0000364d: STOP 0000364e: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | access_control | codex | Unprotected initializer allows ownership takeover and full asset drain | 90 | no | — |
viewevidence_json{
"evidence": "Diamond.initialize is external and only checks enforceNotInitialized; there is no owner/deployer check, so the first caller sets the owner.",
"locations": [
"contracts/contracts/multivault/Diamond.sol:14",
"contracts/contracts/multivault/Diamond.sol:15",
"contracts/contracts/multivault/Diamond.sol:17",
"contracts/contracts/multivault/storage/DiamondStorage.sol:67",
"contracts/contracts/multivault/storage/DiamondStorage.sol:70"
],
"recommendation": "Gate initialize with a trusted deployer or constructor-based initialization; alternatively require a one-time initializer callable only by a known factory/deployer and/or use a deployment that calls initialize atomically.",
"exploit_scenario": "1) Diamond is deployed but initialize is not called in the same transaction. 2) Attacker calls initialize(attackerAddress), which succeeds because only enforceNotInitialized is checked. 3) Attacker is now contract owner and can call diamondCut to add a malicious facet with a withdraw/transfer function. 4) Attacker calls the new facet to transfer all ETH/tokens held by the diamond (and any vault facets that use diamond storage) to themselves."
}
|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xdefc2eed1d3ea44d8399ed00f7153faf68fcbf7822981dd9d1bf3dfcd919ecae
call_targets:
0x59f0aca15e286b03515664909a0286b1ff537a79
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 13,
"trace_id": "0xdefc2eed1d3ea44d8399ed00f7153faf68fcbf7822981dd9d1bf3dfcd919ecae",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x59f0aca15e286b03515664909a0286b1ff537a79"
],
"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": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f931c1c",
"selector": "0x1f931c1c",
"calldata_variants": [
"0x1f931c1c",
"0x1f931c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52ef6b2c",
"selector": "0x52ef6b2c",
"calldata_variants": [
"0x52ef6b2c",
"0x52ef6b2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a0ed627",
"selector": "0x7a0ed627",
"calldata_variants": [
"0x7a0ed627",
"0x7a0ed6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadfca15e",
"selector": "0xadfca15e",
"calldata_variants": [
"0xadfca15e",
"0xadfca15e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdffacc6",
"selector": "0xcdffacc6",
"calldata_variants": [
"0xcdffacc6",
"0xcdffacc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 193,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3483,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 8163,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 3,
"untrusted_delegatecall_count": 3
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9851e3f6cb7614d86f4c3dd2a378357827a8ec13668b794ddbb5659ed8b3c067
call_targets:
0x0bc8c8212c0c74773671c4badb18999c2b07f3c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9851e3f6cb7614d86f4c3dd2a378357827a8ec13668b794ddbb5659ed8b3c067",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0bc8c8212c0c74773671c4badb18999c2b07f3c6"
],
"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": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f931c1c",
"selector": "0x1f931c1c",
"calldata_variants": [
"0x1f931c1c",
"0x1f931c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52ef6b2c",
"selector": "0x52ef6b2c",
"calldata_variants": [
"0x52ef6b2c",
"0x52ef6b2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a0ed627",
"selector": "0x7a0ed627",
"calldata_variants": [
"0x7a0ed627",
"0x7a0ed6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadfca15e",
"selector": "0xadfca15e",
"calldata_variants": [
"0xadfca15e",
"0xadfca15e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdffacc6",
"selector": "0xcdffacc6",
"calldata_variants": [
"0xcdffacc6",
"0xcdffacc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13704,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9851e3f6cb7614d86f4c3dd2a378357827a8ec13668b794ddbb5659ed8b3c067
call_targets:
0x0bc8c8212c0c74773671c4badb18999c2b07f3c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9851e3f6cb7614d86f4c3dd2a378357827a8ec13668b794ddbb5659ed8b3c067",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0bc8c8212c0c74773671c4badb18999c2b07f3c6"
],
"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": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f931c1c",
"selector": "0x1f931c1c",
"calldata_variants": [
"0x1f931c1c",
"0x1f931c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52ef6b2c",
"selector": "0x52ef6b2c",
"calldata_variants": [
"0x52ef6b2c",
"0x52ef6b2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a0ed627",
"selector": "0x7a0ed627",
"calldata_variants": [
"0x7a0ed627",
"0x7a0ed6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadfca15e",
"selector": "0xadfca15e",
"calldata_variants": [
"0xadfca15e",
"0xadfca15e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdffacc6",
"selector": "0xcdffacc6",
"calldata_variants": [
"0xcdffacc6",
"0xcdffacc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 13704,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa73efbd1273571bc6d14c57f88a946f8b7ee0fa7d24bb36da1a1dcfd2be89ce7
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 18,
"trace_id": "0xa73efbd1273571bc6d14c57f88a946f8b7ee0fa7d24bb36da1a1dcfd2be89ce7",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc4d66de8",
"selector": "0xc4d66de8",
"calldata_variants": [
"0xc4d66de8",
"0xc4d66de80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1f931c1c",
"selector": "0x1f931c1c",
"calldata_variants": [
"0x1f931c1c",
"0x1f931c1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52ef6b2c",
"selector": "0x52ef6b2c",
"calldata_variants": [
"0x52ef6b2c",
"0x52ef6b2c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a0ed627",
"selector": "0x7a0ed627",
"calldata_variants": [
"0x7a0ed627",
"0x7a0ed6270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadfca15e",
"selector": "0xadfca15e",
"calldata_variants": [
"0xadfca15e",
"0xadfca15e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdffacc6",
"selector": "0xcdffacc6",
"calldata_variants": [
"0xcdffacc6",
"0xcdffacc60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 3,
"create2_count": 1
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 3
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 3,
"create2_count": 1
}
|
| 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": 6
}
|