622803dd-44c0-48b2-917b-e68a905c29c5
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 |
|---|---|---|---|---|
| 30455 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 103589 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 103590 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 103591 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103592 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103593 | detector.run | complete | 1 / 3 | 1 week ago |
| 103594 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1006532] OpenAI Codex v0.77.0 (research preview)
[codex:1006532] --------
[codex:1006532] workdir: /tmp/codex-multi-7zbymulv
[codex:1006532] model: gpt-5.2-codex
[codex:1006532] provider: openai
[codex:1006532] approval: never
[codex:1006532] sandbox: read-only
[codex:1006532] reasoning effort: xhigh
[codex:1006532] reasoning summaries: auto
[codex:1006532] session id: 019b68e4-93c1-7a01-b81e-59ba9e5ace91
[codex:1006532] --------
[codex:1006532] user
[codex:1006532] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:1006532] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:1006532] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:1006532]
[codex:1006532] Scope rules:
[codex:1006532] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:1006532] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:1006532]
[codex:1006532] Output MUST be valid JSON matching the provided schema.
[codex:1006532] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:1006532] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:1006532]
[codex:1006532] Output constraints (IMPORTANT):
[codex:1006532] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:1006532] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:1006532] mcp startup: no servers
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Preparing to audit with AUDIT_BUNDLE.txt**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-7zbymulv succeeded in 5ms:
[codex:1006532] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:1006532]
[codex:1006532] ================================================================================
[codex:1006532] FILE: contracts/@openzeppelin/contracts/access/AccessControl.sol
[codex:1006532] ================================================================================
[codex:1006532] // SPDX-License-Identifier: MIT
[codex:1006532] // OpenZeppelin Contracts (last updated v4.9.0) (access/AccessControl.sol)
[codex:1006532]
[codex:1006532] pragma solidity ^0.8.0;
[codex:1006532]
[codex:1006532] import "./IAccessControl.sol";
[codex:1006532] import "../utils/Context.sol";
[codex:1006532] import "../utils/Strings.sol";
[codex:1006532] import "../utils/introspection/ERC165.sol";
[codex:1006532]
[codex:1006532] /**
[codex:1006532] * @dev Contract module that allows children to implement role-based access
[codex:1006532] * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:1006532] * members except through off-chain means by accessing the contract event logs. Some
[codex:1006532] * applications may benefit from on-chain enumerability, for those cases see
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Identifying first-party contracts**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc 'rg -n "''^FILE: contracts/" AUDIT_BUNDLE.txt' in /tmp/codex-multi-7zbymulv succeeded in 16ms:
[codex:1006532] 4:FILE: contracts/@openzeppelin/contracts/access/AccessControl.sol
[codex:1006532] 256:FILE: contracts/@openzeppelin/contracts/access/AccessControlEnumerable.sol
[codex:1006532] 324:FILE: contracts/@openzeppelin/contracts/access/IAccessControl.sol
[codex:1006532] 416:FILE: contracts/@openzeppelin/contracts/access/IAccessControlEnumerable.sol
[codex:1006532] 451:FILE: contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:1006532] 533:FILE: contracts/@openzeppelin/contracts/token/ERC20/extensions/IERC20Permit.sol
[codex:1006532] 597:FILE: contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol
[codex:1006532] 744:FILE: contracts/@openzeppelin/contracts/utils/Address.sol
[codex:1006532] 992:FILE: contracts/@openzeppelin/contracts/utils/Context.sol
[codex:1006532] 1020:FILE: contracts/@openzeppelin/contracts/utils/Strings.sol
[codex:1006532] 1109:FILE: contracts/@openzeppelin/contracts/utils/cryptography/ECDSA.sol
[codex:1006532] 1330:FILE: contracts/@openzeppelin/contracts/utils/introspection/ERC165.sol
[codex:1006532] 1363:FILE: contracts/@openzeppelin/contracts/utils/introspection/IERC165.sol
[codex:1006532] 1392:FILE: contracts/@openzeppelin/contracts/utils/math/Math.sol
[codex:1006532] 1735:FILE: contracts/@openzeppelin/contracts/utils/math/SignedMath.sol
[codex:1006532] 1782:FILE: contracts/@openzeppelin/contracts/utils/structs/EnumerableSet.sol
[codex:1006532] 2164:FILE: contracts/contracts/OperatorRecoverable.sol
[codex:1006532] 2269:FILE: contracts/contracts/OperatorRole.sol
[codex:1006532] 2425:FILE: contracts/contracts/PaymentChannels.sol
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Extracting contract files from AUDIT_BUNDLE**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc "sed -n '2164,2268p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-7zbymulv succeeded in 6ms:
[codex:1006532] FILE: contracts/contracts/OperatorRecoverable.sol
[codex:1006532] ================================================================================
[codex:1006532] // SPDX-License-Identifier: LGPL-3.0-or-later
[codex:1006532] pragma solidity 0.8.9;
[codex:1006532] /*
[codex:1006532] *@#+:-*== .:. : =#*=. .. :=**- :+%@@@@@#*+-.......... .-.-@@
[codex:1006532] *%%*.. +*: =%.-- :+***+=++**=. .+%@@@@@*- . . . . -+=
[codex:1006532] * -==+++. :#: .. .=#@@@@@*- .:=*#%@@@@%#*=. ...:::::
[codex:1006532] * .:-======+=--%@*. .*@@@@@@+ .=#@@@@@@##*#%@@@@@*-
[codex:1006532] *-:::-===-::------+#@@@*. :*@@@@@@= :*@@@%*==------=--+@@@@@#=: .-=
[codex:1006532] *=++==::: .:=+=:.-=. .-**+++#**#@@@+ -#@@%=-::== :*+--*@@@@@@@@@@@@
[codex:1006532] *.....-=*+***+-. .+#*- +@@@@@@@@@+. -%@@%-::. .- .::-@@@%- -#@@@@@@@@@
[codex:1006532] * :*=@@@@@@@@@@#=. -*@%#%@@@@@@@@*. :#@@%-:: := =*%@@@@@@@%++*+*%@@@@@
[codex:1006532] * .+*%@#+-:-=+*##*#@#=. -*%@@@@@#=. -#@@%-:: -: :+@@@@@@@@*: ..
[codex:1006532] *@@@%= .-. :*@@#=. ... .=%@@#-:- :-=++#####+=: -#@@@@@@@@%*+++
[codex:1006532] *@*: :-=+::.. -#@@%+==--=+#@@%=.:+*= :=*%@@@@%@@@@@@@@@*- .+%@@@@ SMG @
[codex:1006532] *. .+%@@=%%%##=.... :+*%%@@%#+-. =%@@@@@@%@@@@@@@@@@@%%%%@@@@@#=:-+%@@@@@@@
[codex:1006532] */
[codex:1006532] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1006532] import "./OperatorRole.sol";
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Progressing to OperatorRole**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc "sed -n '2269,2424p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-7zbymulv succeeded in 6ms:
[codex:1006532] FILE: contracts/contracts/OperatorRole.sol
[codex:1006532] ================================================================================
[codex:1006532] // SPDX-License-Identifier: LGPL-3.0-or-later
[codex:1006532] pragma solidity 0.8.9;
[codex:1006532] /*
[codex:1006532] *@#+:-*== .:. : =#*=. .. :=**- :+%@@@@@#*+-.......... .-.-@@
[codex:1006532] *%%*.. +*: =%.-- :+***+=++**=. .+%@@@@@*- . . . . -+=
[codex:1006532] * -==+++. :#: .. .=#@@@@@*- .:=*#%@@@@%#*=. ...:::::
[codex:1006532] * .:-======+=--%@*. .*@@@@@@+ .=#@@@@@@##*#%@@@@@*-
[codex:1006532] *-:::-===-::------+#@@@*. :*@@@@@@= :*@@@%*==------=--+@@@@@#=: .-=
[codex:1006532] *=++==::: .:=+=:.-=. .-**+++#**#@@@+ -#@@%=-::== :*+--*@@@@@@@@@@@@
[codex:1006532] *.....-=*+***+-. .+#*- +@@@@@@@@@+. -%@@%-::. .- .::-@@@%- -#@@@@@@@@@
[codex:1006532] * :*=@@@@@@@@@@#=. -*@%#%@@@@@@@@*. :#@@%-:: := =*%@@@@@@@%++*+*%@@@@@
[codex:1006532] * .+*%@#+-:-=+*##*#@#=. -*%@@@@@#=. -#@@%-:: -: :+@@@@@@@@*: ..
[codex:1006532] *@@@%= .-. :*@@#=. ... .=%@@#-:- :-=++#####+=: -#@@@@@@@@%*+++
[codex:1006532] *@*: :-=+::.. -#@@%+==--=+#@@%=.:+*= :=*%@@@@%@@@@@@@@@*- .+%@@@@ SMG @
[codex:1006532] *. .+%@@=%%%##=.... :+*%%@@%#+-. =%@@@@@@%@@@@@@@@@@@%%%%@@@@@#=:-+%@@@@@@@
[codex:1006532] */
[codex:1006532] import "@openzeppelin/contracts/access/AccessControlEnumerable.sol";
[codex:1006532]
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Moving on to PaymentChannels**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc "sed -n '2425,3374p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-7zbymulv succeeded in 6ms:
[codex:1006532] FILE: contracts/contracts/PaymentChannels.sol
[codex:1006532] ================================================================================
[codex:1006532] // SPDX-License-Identifier: MIT
[codex:1006532] pragma solidity 0.8.9;
[codex:1006532] /*
[codex:1006532] *@#+:-*== .:. : =#*=. .. :=**- :+%@@@@@#*+-.......... .-.-@@
[codex:1006532] *%%*.. +*: =%.-- :+***+=++**=. .+%@@@@@*- . . . . -+=
[codex:1006532] * -==+++. :#: .. .=#@@@@@*- .:=*#%@@@@%#*=. ...:::::
[codex:1006532] * .:-======+=--%@*. .*@@@@@@+ .=#@@@@@@##*#%@@@@@*-
[codex:1006532] *-:::-===-::------+#@@@*. :*@@@@@@= :*@@@%*==------=--+@@@@@#=: .-=
[codex:1006532] *=++==::: .:=+=:.-=. .-**+++#**#@@@+ -#@@%=-::== :*+--*@@@@@@@@@@@@
[codex:1006532] *.....-=*+***+-. .+#*- +@@@@@@@@@+. -%@@%-::. .- .::-@@@%- -#@@@@@@@@@
[codex:1006532] * :*=@@@@@@@@@@#=. -*@%#%@@@@@@@@*. :#@@%-:: := =*%@@@@@@@%++*+*%@@@@@
[codex:1006532] * .+*%@#+-:-=+*##*#@#=. -*%@@@@@#=. -#@@%-:: -: :+@@@@@@@@*: ..
[codex:1006532] *@@@%= .-. :*@@#=. ... .=%@@#-:- :-=++#####+=: -#@@@@@@@@%*+++
[codex:1006532] *@*: :-=+::.. -#@@%+==--=+#@@%=.:+*= :=*%@@@@%@@@@@@@@@*- .+%@@@@ SMG @
[codex:1006532] *. .+%@@=%%%##=.... :+*%%@@%#+-. =%@@@@@@%@@@@@@@@@@@%%%%@@@@@#=:-+%@@@@@@@
[codex:1006532] */
[codex:1006532] import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
[codex:1006532] import "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";
[codex:1006532]
[codex:1006532]
[codex:1006532]
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Analyzing PaymentChannels vulnerabilities**
[codex:1006532]
[codex:1006532] I'm carefully reviewing PaymentChannels for common risks like reentrancy, access control flaws, signature validation issues, and accounting correctness. There’s a lot to unpack around external calls, operator permissions, stake commitment handling, timelock logic, and token recoverability. I’m checking if state updates precede external calls to prevent reentrancy, verifying signature domain separation, and assessing if accounting invariants and nonce usage are robust. There are subtle interactions especially with stake commitments, timelocks, and operator role revocations that I need to keep in mind while ensuring no unchecked returns or unsafe assumptions remain. Let’s explore these areas step by step!
[codex:1006532] thinking
[codex:1006532] **Examining stake and claim accounting details**
[codex:1006532]
[codex:1006532] I’m analyzing how PaymentChannels manages WETH balances, staked amounts, and claimable funds, focusing on batch settlement logic and nonce ordering to ensure accurate global accounting despite netting refunds and spends. I’m also considering edge cases like potential DoS via commitment ordering, operator token recovery quirks, and timelock extension mechanics that might allow privileged roles to repeatedly delay unstaking. The interplay between signatures, nonce checks, and role permissions is complex but essential to verify correctness and resilience.
[codex:1006532] thinking
[codex:1006532] **Assessing liveness risks and edge case behaviors**
[codex:1006532]
[codex:1006532] I'm evaluating how repeated timelock resets by privileged roles can indefinitely block unstaking, how state keys in timelock tracking avoid conflicts across channels, and how operator token recovery handles ETH with potential edge cases in reentrancy and address sentinels. There are also subtle access control and nonce checks that mitigate inconsistencies but can lead to minor usability quirks or governance risks. Overall, these details reveal trust assumptions and operational constraints rather than clear-cut flaws.
[codex:1006532] thinking
[codex:1006532] **Examining access control risks with operator privileges**
[codex:1006532]
[codex:1006532] I’m exploring how the operator role’s authority to change stake and claim notary addresses might let them redirect claims or stakes by swapping in their own addresses, effectively gaining control over claim settlements. This looks like a crucial access control concern if operator and admin roles aren’t strictly separated, highlighting risks when operators have broader privileges than expected.
[codex:1006532] exec
[codex:1006532] /bin/bash -lc 'rg -n "setClaimNotaryAddress|onlyOperator" AUDIT_BUNDLE.txt' in /tmp/codex-multi-7zbymulv succeeded in 7ms:
[codex:1006532] 2222: onlyOperator
[codex:1006532] 2245: onlyOperator
[codex:1006532] 2324: modifier onlyOperator()
[codex:1006532] 2918: onlyOperator
[codex:1006532] 2935: function setClaimNotaryAddress(
[codex:1006532] 2939: onlyOperator
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Examining setClaimNotaryAddress function**
[codex:1006532] exec
[codex:1006532] /bin/bash -lc "sed -n '2888,2965p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-7zbymulv succeeded in 5ms:
[codex:1006532] )
[codex:1006532] );
[codex:1006532]
[codex:1006532] /* Emit events */
[codex:1006532] emit SetStakeNotaryAddress(address(0), _stakeNotaryAddress);
[codex:1006532] emit SetClaimNotaryAddress(address(0), _claimNotaryAddress);
[codex:1006532] }
[codex:1006532]
[codex:1006532] fallback() external payable {}
[codex:1006532] receive() external payable {}
[codex:1006532]
[codex:1006532] /*//////////////////////////////////////////////////////////////
[codex:1006532] ADDRESS MANAGEMENT
[codex:1006532] //////////////////////////////////////////////////////////////*/
[codex:1006532]
[codex:1006532] /**
[codex:1006532] * @notice Update the stakeNotaryAddress.
[codex:1006532] *
[codex:1006532] * @dev Only the contract operator can call this function.
[codex:1006532] * @dev Any unsettled commitments co-signed by the old stakeNotaryAddress
[codex:1006532]
[codex:1006532]
[codex:1006532] thinking
[codex:1006532] **Analyzing potential contract vulnerabilities**
[codex:1006532] thinking
[codex:1006532] **Summarizing vulnerability analysis and finalizing JSON output**
[codex:1006532]
[codex:1006532] I'll produce a JSON summary noting no exploitable vulnerabilities found in the core contracts, highlighting key areas reviewed and that the trust assumptions remain but are outside exploitable scope.
[codex:1006532] codex
[codex:1006532] {"no_findings":true,"summary":"Reviewed first-party contracts (OperatorRecoverable, OperatorRole, PaymentChannels); no exploitable reentrancy, access control, signature validation, accounting, or external call issues identified under stated trust assumptions (operator/notaries).","findings":[]}
[codex:1006532] tokens used
[codex:1006532] 52,252
[codex:1006532] {"no_findings":true,"summary":"Reviewed first-party contracts (OperatorRecoverable, OperatorRole, PaymentChannels); no exploitable reentrancy, access control, signature validation, accounting, or external call issues identified under stated trust assumptions (operator/notaries).","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T07:02:40.345544+00:00",
"returncode": 0
},
"summary": "Reviewed first-party contracts (OperatorRecoverable, OperatorRole, PaymentChannels); no exploitable reentrancy, access control, signature validation, accounting, or external call issues identified under stated trust assumptions (operator/notaries).",
"raw_final": {
"summary": "Reviewed first-party contracts (OperatorRecoverable, OperatorRole, PaymentChannels); no exploitable reentrancy, access control, signature validation, accounting, or external call issues identified under stated trust assumptions (operator/notaries).",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0227 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9ec79de0 00000019: GT 0000001a: PUSH2 0x0122 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd547741f 00000024: GT 00000025: PUSH2 0x00a5 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf5b541a6 0000002f: GT 00000030: PUSH2 0x006c 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf5b541a6 0000003a: EQ 0000003b: PUSH2 0x0744 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf8248e28 00000045: EQ 00000046: PUSH2 0x0766 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf9931855 00000050: EQ 00000051: PUSH2 0x0786 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfa71fa0a 0000005b: EQ 0000005c: PUSH2 0x07b3 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfe326417 00000066: EQ 00000067: PUSH2 0x07d3 0000006a: JUMPI 0000006b: STOP 0000006c: JUMPDEST 0000006d: DUP1 0000006e: PUSH4 0xd547741f 00000073: EQ 00000074: PUSH2 0x0697 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xd90f651f 0000007e: EQ 0000007f: PUSH2 0x06b7 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xe10ea844 00000089: EQ 0000008a: PUSH2 0x06d7 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xe5cc546b 00000094: EQ 00000095: PUSH2 0x06f7 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xea5bbfa5 0000009f: EQ 000000a0: PUSH2 0x0724 000000a3: JUMPI 000000a4: STOP 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH4 0xb1a035ed 000000ac: GT 000000ad: PUSH2 0x00e9 000000b0: JUMPI 000000b1: DUP1 000000b2: PUSH4 0xb1a035ed 000000b7: EQ 000000b8: PUSH2 0x05ea 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0xb887f801 000000c2: EQ 000000c3: PUSH2 0x060a 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0xc07de7af 000000cd: EQ 000000ce: PUSH2 0x0637 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xc9cebbda 000000d8: EQ 000000d9: PUSH2 0x0657 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xca15c873 000000e3: EQ 000000e4: PUSH2 0x0677 000000e7: JUMPI 000000e8: STOP 000000e9: JUMPDEST 000000ea: DUP1 000000eb: PUSH4 0x9ec79de0 000000f0: EQ 000000f1: PUSH2 0x055f 000000f4: JUMPI 000000f5: DUP1 000000f6: PUSH4 0xa217fddf 000000fb: EQ 000000fc: PUSH2 0x057f 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0xa694fc3a 00000106: EQ 00000107: PUSH2 0x0594 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0xa839d301 00000111: EQ 00000112: PUSH2 0x05b4 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0xa89989dd 0000011c: EQ 0000011d: PUSH2 0x05d4 00000120: JUMPI 00000121: STOP 00000122: JUMPDEST 00000123: DUP1 00000124: PUSH4 0x766309f9 00000129: GT 0000012a: PUSH2 0x01aa 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x9010d07c 00000134: GT 00000135: PUSH2 0x0171 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x9010d07c 0000013f: EQ 00000140: PUSH2 0x049a 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x91d14854 0000014a: EQ 0000014b: PUSH2 0x04d2 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x9870d7fe 00000155: EQ 00000156: PUSH2 0x04f2 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x99074c33 00000160: EQ 00000161: PUSH2 0x0512 00000164: JUMPI 00000165: DUP1 00000166: PUSH4 0x9be65a60 0000016b: EQ 0000016c: PUSH2 0x053f 0000016f: JUMPI 00000170: STOP 00000171: JUMPDEST 00000172: DUP1 00000173: PUSH4 0x766309f9 00000178: EQ 00000179: PUSH2 0x03da 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0x78f9e55c 00000183: EQ 00000184: PUSH2 0x03fa 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0x79c392f0 0000018e: EQ 0000018f: PUSH2 0x041a 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0x8a6690f3 00000199: EQ 0000019a: PUSH2 0x043a 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0x8f0bc152 000001a4: EQ 000001a5: PUSH2 0x047a 000001a8: JUMPI 000001a9: STOP 000001aa: JUMPDEST 000001ab: DUP1 000001ac: PUSH4 0x36568abe 000001b1: GT 000001b2: PUSH2 0x01ee 000001b5: JUMPI 000001b6: DUP1 000001b7: PUSH4 0x36568abe 000001bc: EQ 000001bd: PUSH2 0x0305 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x429f9ef5 000001c7: EQ 000001c8: PUSH2 0x0325 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x42e8ab9c 000001d2: EQ 000001d3: PUSH2 0x0352 000001d6: JUMPI 000001d7: DUP1 000001d8: PUSH4 0x6d70f7ae 000001dd: EQ 000001de: PUSH2 0x0372 000001e1: JUMPI 000001e2: DUP1 000001e3: PUSH4 0x71f72506 000001e8: EQ 000001e9: PUSH2 0x0392 000001ec: JUMPI 000001ed: STOP 000001ee: JUMPDEST 000001ef: DUP1 000001f0: PUSH4 0x01ffc9a7 000001f5: EQ 000001f6: PUSH2 0x0230 000001f9: JUMPI 000001fa: DUP1 000001fb: PUSH4 0x04e86903 00000200: EQ 00000201: PUSH2 0x0265 00000204: JUMPI 00000205: DUP1 00000206: PUSH4 0x248a9ca3 0000020b: EQ 0000020c: PUSH2 0x02a0 0000020f: JUMPI 00000210: DUP1 00000211: PUSH4 0x2ab6f8db 00000216: EQ 00000217: PUSH2 0x02d0 0000021a: JUMPI 0000021b: DUP1 0000021c: PUSH4 0x2f2ff15d 00000221: EQ 00000222: PUSH2 0x02e5 00000225: JUMPI 00000226: STOP 00000227: JUMPDEST 00000228: CALLDATASIZE 00000229: PUSH2 0x022e 0000022c: JUMPI 0000022d: STOP 0000022e: JUMPDEST 0000022f: STOP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: POP 0000023e: PUSH2 0x0250 00000241: PUSH2 0x024b 00000244: CALLDATASIZE 00000245: PUSH1 0x04 00000247: PUSH2 0x2f75 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH2 0x07f3 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: SWAP1 00000255: ISZERO 00000256: ISZERO 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x20 0000025b: ADD 0000025c: JUMPDEST 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: DUP1 00000261: SWAP2 00000262: SUB 00000263: SWAP1 00000264: RETURN 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x0292 00000276: PUSH2 0x0280 00000279: CALLDATASIZE 0000027a: PUSH1 0x04 0000027c: PUSH2 0x2fbb 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH1 0x0a 00000283: PUSH1 0x20 00000285: MSTORE 00000286: PUSH1 0x00 00000288: SWAP1 00000289: DUP2 0000028a: MSTORE 0000028b: PUSH1 0x40 0000028d: SWAP1 0000028e: KECCAK256 0000028f: SLOAD 00000290: DUP2 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: MLOAD 00000296: SWAP1 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: PUSH2 0x025c 0000029f: JUMP 000002a0: JUMPDEST 000002a1: CALLVALUE 000002a2: DUP1 000002a3: ISZERO 000002a4: PUSH2 0x02ac 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: DUP1 000002ab: REVERT 000002ac: JUMPDEST 000002ad: POP 000002ae: PUSH2 0x0292 000002b1: PUSH2 0x02bb 000002b4: CALLDATASIZE 000002b5: PUSH1 0x04 000002b7: PUSH2 0x2fd6 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH1 0x00 000002be: SWAP1 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x20 000002c3: DUP2 000002c4: SWAP1 000002c5: MSTORE 000002c6: PUSH1 0x40 000002c8: SWAP1 000002c9: KECCAK256 000002ca: PUSH1 0x01 000002cc: ADD 000002cd: SLOAD 000002ce: SWAP1 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH2 0x022e 000002e1: PUSH2 0x081e 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x022e 000002f6: PUSH2 0x0300 000002f9: CALLDATASIZE 000002fa: PUSH1 0x04 000002fc: PUSH2 0x2fef 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x0829 00000304: JUMP 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH2 0x022e 00000316: PUSH2 0x0320 00000319: CALLDATASIZE 0000031a: PUSH1 0x04 0000031c: PUSH2 0x2fef 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x0853 00000324: JUMP 00000325: JUMPDEST 00000326: CALLVALUE 00000327: DUP1 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH2 0x0292 00000336: PUSH2 0x0340 00000339: CALLDATASIZE 0000033a: PUSH1 0x04 0000033c: PUSH2 0x2fbb 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH1 0x08 00000343: PUSH1 0x20 00000345: MSTORE 00000346: PUSH1 0x00 00000348: SWAP1 00000349: DUP2 0000034a: MSTORE 0000034b: PUSH1 0x40 0000034d: SWAP1 0000034e: KECCAK256 0000034f: SLOAD 00000350: DUP2 00000351: JUMP 00000352: JUMPDEST 00000353: CALLVALUE 00000354: DUP1 00000355: ISZERO 00000356: PUSH2 0x035e 00000359: JUMPI 0000035a: PUSH1 0x00 0000035c: DUP1 0000035d: REVERT 0000035e: JUMPDEST 0000035f: POP 00000360: PUSH2 0x022e 00000363: PUSH2 0x036d 00000366: CALLDATASIZE 00000367: PUSH1 0x04 00000369: PUSH2 0x2fbb 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH2 0x08d6 00000371: JUMP 00000372: JUMPDEST 00000373: CALLVALUE 00000374: DUP1 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: POP 00000380: PUSH2 0x0250 00000383: PUSH2 0x038d 00000386: CALLDATASIZE 00000387: PUSH1 0x04 00000389: PUSH2 0x2fbb 0000038c: JUMP 0000038d: JUMPDEST 0000038e: PUSH2 0x0957 00000391: JUMP 00000392: JUMPDEST 00000393: CALLVALUE 00000394: DUP1 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: REVERT 0000039e: JUMPDEST 0000039f: POP 000003a0: PUSH2 0x03b2 000003a3: PUSH2 0x03ad 000003a6: CALLDATASIZE 000003a7: PUSH1 0x04 000003a9: PUSH2 0x2fbb 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH2 0x0971 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH1 0x40 000003b5: DUP1 000003b6: MLOAD 000003b7: SWAP6 000003b8: DUP7 000003b9: MSTORE 000003ba: PUSH1 0x20 000003bc: DUP7 000003bd: ADD 000003be: SWAP5 000003bf: SWAP1 000003c0: SWAP5 000003c1: MSTORE 000003c2: SWAP3 000003c3: DUP5 000003c4: ADD 000003c5: SWAP2 000003c6: SWAP1 000003c7: SWAP2 000003c8: MSTORE 000003c9: PUSH1 0x60 000003cb: DUP4 000003cc: ADD 000003cd: MSTORE 000003ce: PUSH1 0x80 000003d0: DUP3 000003d1: ADD 000003d2: MSTORE 000003d3: PUSH1 0xa0 000003d5: ADD 000003d6: PUSH2 0x025c 000003d9: JUMP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x022e 000003eb: PUSH2 0x03f5 000003ee: CALLDATASIZE 000003ef: PUSH1 0x04 000003f1: PUSH2 0x2fbb 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH2 0x09cc 000003f9: JUMP 000003fa: JUMPDEST 000003fb: CALLVALUE 000003fc: DUP1 000003fd: ISZERO 000003fe: PUSH2 0x0406 00000401: JUMPI 00000402: PUSH1 0x00 00000404: DUP1 00000405: REVERT 00000406: JUMPDEST 00000407: POP 00000408: PUSH2 0x022e 0000040b: PUSH2 0x0415 0000040e: CALLDATASIZE 0000040f: PUSH1 0x04 00000411: PUSH2 0x31be 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH2 0x0bff 00000419: JUMP 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: DUP1 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: PUSH2 0x022e 0000042b: PUSH2 0x0435 0000042e: CALLDATASIZE 0000042f: PUSH1 0x04 00000431: PUSH2 0x2fbb 00000434: JUMP 00000435: JUMPDEST 00000436: PUSH2 0x0f8f 00000439: JUMP 0000043a: JUMPDEST 0000043b: CALLVALUE 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: POP 00000448: PUSH2 0x046d 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP1 0000044f: PUSH1 0x40 00000451: ADD 00000452: PUSH1 0x40 00000454: MSTORE 00000455: DUP1 00000456: PUSH1 0x07 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: PUSH7 0x125394d5105395 00000465: PUSH1 0xca 00000467: SHL 00000468: DUP2 00000469: MSTORE 0000046a: POP 0000046b: DUP2 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x40 00000470: MLOAD 00000471: PUSH2 0x025c 00000474: SWAP2 00000475: SWAP1 00000476: PUSH2 0x32d9 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: POP 00000488: PUSH2 0x022e 0000048b: PUSH2 0x0495 0000048e: CALLDATASIZE 0000048f: PUSH1 0x04 00000491: PUSH2 0x32ec 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH2 0x1000 00000499: JUMP 0000049a: JUMPDEST 0000049b: CALLVALUE 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: PUSH2 0x04ba 000004ab: PUSH2 0x04b5 000004ae: CALLDATASIZE 000004af: PUSH1 0x04 000004b1: PUSH2 0x3343 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH2 0x100d 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH1 0x40 000004bd: MLOAD 000004be: PUSH1 0x01 000004c0: PUSH1 0x01 000004c2: PUSH1 0xa0 000004c4: SHL 000004c5: SUB 000004c6: SWAP1 000004c7: SWAP2 000004c8: AND 000004c9: DUP2 000004ca: MSTORE 000004cb: PUSH1 0x20 000004cd: ADD 000004ce: PUSH2 0x025c 000004d1: JUMP 000004d2: JUMPDEST 000004d3: CALLVALUE 000004d4: DUP1 000004d5: ISZERO 000004d6: PUSH2 0x04de 000004d9: JUMPI 000004da: PUSH1 0x00 000004dc: DUP1 000004dd: REVERT 000004de: JUMPDEST 000004df: POP 000004e0: PUSH2 0x0250 000004e3: PUSH2 0x04ed 000004e6: CALLDATASIZE 000004e7: PUSH1 0x04 000004e9: PUSH2 0x2fef 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH2 0x102c 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x022e 00000503: PUSH2 0x050d 00000506: CALLDATASIZE 00000507: PUSH1 0x04 00000509: PUSH2 0x2fbb 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH2 0x1055 00000511: JUMP 00000512: JUMPDEST 00000513: CALLVALUE 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: POP 00000520: PUSH2 0x0292 00000523: PUSH2 0x052d 00000526: CALLDATASIZE 00000527: PUSH1 0x04 00000529: PUSH2 0x2fd6 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH1 0x09 00000530: PUSH1 0x20 00000532: MSTORE 00000533: PUSH1 0x00 00000535: SWAP1 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x40 0000053a: SWAP1 0000053b: KECCAK256 0000053c: SLOAD 0000053d: DUP2 0000053e: JUMP 0000053f: JUMPDEST 00000540: CALLVALUE 00000541: DUP1 00000542: ISZERO 00000543: PUSH2 0x054b 00000546: JUMPI 00000547: PUSH1 0x00 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: PUSH2 0x022e 00000550: PUSH2 0x055a 00000553: CALLDATASIZE 00000554: PUSH1 0x04 00000556: PUSH2 0x2fbb 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH2 0x1061 0000055e: JUMP 0000055f: JUMPDEST 00000560: CALLVALUE 00000561: DUP1 00000562: ISZERO 00000563: PUSH2 0x056b 00000566: JUMPI 00000567: PUSH1 0x00 00000569: DUP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: POP 0000056d: PUSH2 0x022e 00000570: PUSH2 0x057a 00000573: CALLDATASIZE 00000574: PUSH1 0x04 00000576: PUSH2 0x3365 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH2 0x12bd 0000057e: JUMP 0000057f: JUMPDEST 00000580: CALLVALUE 00000581: DUP1 00000582: ISZERO 00000583: PUSH2 0x058b 00000586: JUMPI 00000587: PUSH1 0x00 00000589: DUP1 0000058a: REVERT 0000058b: JUMPDEST 0000058c: POP 0000058d: PUSH2 0x0292 00000590: PUSH1 0x00 00000592: DUP2 00000593: JUMP 00000594: JUMPDEST 00000595: CALLVALUE 00000596: DUP1 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: POP 000005a2: PUSH2 0x022e 000005a5: PUSH2 0x05af 000005a8: CALLDATASIZE 000005a9: PUSH1 0x04 000005ab: PUSH2 0x2fd6 000005ae: JUMP 000005af: JUMPDEST 000005b0: PUSH2 0x16aa 000005b3: JUMP 000005b4: JUMPDEST 000005b5: CALLVALUE 000005b6: DUP1 000005b7: ISZERO 000005b8: PUSH2 0x05c0 000005bb: JUMPI 000005bc: PUSH1 0x00 000005be: DUP1 000005bf: REVERT 000005c0: JUMPDEST 000005c1: POP 000005c2: PUSH1 0x04 000005c4: SLOAD 000005c5: PUSH2 0x04ba 000005c8: SWAP1 000005c9: PUSH1 0x01 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: SHL 000005d0: SUB 000005d1: AND 000005d2: DUP2 000005d3: JUMP 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: DUP1 000005d7: ISZERO 000005d8: PUSH2 0x05e0 000005db: JUMPI 000005dc: PUSH1 0x00 000005de: DUP1 000005df: REVERT 000005e0: JUMPDEST 000005e1: POP 000005e2: PUSH2 0x0292 000005e5: PUSH1 0x0b 000005e7: SLOAD 000005e8: DUP2 000005e9: JUMP 000005ea: JUMPDEST 000005eb: CALLVALUE 000005ec: DUP1 000005ed: ISZERO 000005ee: PUSH2 0x05f6 000005f1: JUMPI 000005f2: PUSH1 0x00 000005f4: DUP1 000005f5: REVERT 000005f6: JUMPDEST 000005f7: POP 000005f8: PUSH2 0x0292 000005fb: PUSH2 0x0605 000005fe: CALLDATASIZE 000005ff: PUSH1 0x04 00000601: PUSH2 0x339a 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH2 0x17e2 00000609: JUMP 0000060a: JUMPDEST 0000060b: CALLVALUE 0000060c: DUP1 0000060d: ISZERO 0000060e: PUSH2 0x0616 00000611: JUMPI 00000612: PUSH1 0x00 00000614: DUP1 00000615: REVERT 00000616: JUMPDEST 00000617: POP 00000618: PUSH2 0x0292 0000061b: PUSH2 0x0625 0000061e: CALLDATASIZE 0000061f: PUSH1 0x04 00000621: PUSH2 0x2fbb 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH1 0x06 00000628: PUSH1 0x20 0000062a: MSTORE 0000062b: PUSH1 0x00 0000062d: SWAP1 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x40 00000632: SWAP1 00000633: KECCAK256 00000634: SLOAD 00000635: DUP2 00000636: JUMP 00000637: JUMPDEST 00000638: CALLVALUE 00000639: DUP1 0000063a: ISZERO 0000063b: PUSH2 0x0643 0000063e: JUMPI 0000063f: PUSH1 0x00 00000641: DUP1 00000642: REVERT 00000643: JUMPDEST 00000644: POP 00000645: PUSH2 0x022e 00000648: PUSH2 0x0652 0000064b: CALLDATASIZE 0000064c: PUSH1 0x04 0000064e: PUSH2 0x2fbb 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x1830 00000656: JUMP 00000657: JUMPDEST 00000658: CALLVALUE 00000659: DUP1 0000065a: ISZERO 0000065b: PUSH2 0x0663 0000065e: JUMPI 0000065f: PUSH1 0x00 00000661: DUP1 00000662: REVERT 00000663: JUMPDEST 00000664: POP 00000665: PUSH2 0x0292 00000668: PUSH2 0x0672 0000066b: CALLDATASIZE 0000066c: PUSH1 0x04 0000066e: PUSH2 0x2fbb 00000671: JUMP 00000672: JUMPDEST 00000673: PUSH2 0x18b1 00000676: JUMP 00000677: JUMPDEST 00000678: CALLVALUE 00000679: DUP1 0000067a: ISZERO 0000067b: PUSH2 0x0683 0000067e: JUMPI 0000067f: PUSH1 0x00 00000681: DUP1 00000682: REVERT 00000683: JUMPDEST 00000684: POP 00000685: PUSH2 0x0292 00000688: PUSH2 0x0692 0000068b: CALLDATASIZE 0000068c: PUSH1 0x04 0000068e: PUSH2 0x2fd6 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x1905 00000696: JUMP 00000697: JUMPDEST 00000698: CALLVALUE 00000699: DUP1 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: POP 000006a5: PUSH2 0x022e 000006a8: PUSH2 0x06b2 000006ab: CALLDATASIZE 000006ac: PUSH1 0x04 000006ae: PUSH2 0x2fef 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x191c 000006b6: JUMP 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: POP 000006c5: PUSH2 0x022e 000006c8: PUSH2 0x06d2 000006cb: CALLDATASIZE 000006cc: PUSH1 0x04 000006ce: PUSH2 0x2fd6 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH2 0x1941 000006d6: JUMP 000006d7: JUMPDEST 000006d8: CALLVALUE 000006d9: DUP1 000006da: ISZERO 000006db: PUSH2 0x06e3 000006de: JUMPI 000006df: PUSH1 0x00 000006e1: DUP1 000006e2: REVERT 000006e3: JUMPDEST 000006e4: POP 000006e5: PUSH2 0x022e 000006e8: PUSH2 0x06f2 000006eb: CALLDATASIZE 000006ec: PUSH1 0x04 000006ee: PUSH2 0x32ec 000006f1: JUMP 000006f2: JUMPDEST 000006f3: PUSH2 0x19af 000006f6: JUMP 000006f7: JUMPDEST 000006f8: CALLVALUE 000006f9: DUP1 000006fa: ISZERO 000006fb: PUSH2 0x0703 000006fe: JUMPI 000006ff: PUSH1 0x00 00000701: DUP1 00000702: REVERT 00000703: JUMPDEST 00000704: POP 00000705: PUSH2 0x0292 00000708: PUSH2 0x0712 0000070b: CALLDATASIZE 0000070c: PUSH1 0x04 0000070e: PUSH2 0x2fbb 00000711: JUMP 00000712: JUMPDEST 00000713: PUSH1 0x07 00000715: PUSH1 0x20 00000717: MSTORE 00000718: PUSH1 0x00 0000071a: SWAP1 0000071b: DUP2 0000071c: MSTORE 0000071d: PUSH1 0x40 0000071f: SWAP1 00000720: KECCAK256 00000721: SLOAD 00000722: DUP2 00000723: JUMP 00000724: JUMPDEST 00000725: CALLVALUE 00000726: DUP1 00000727: ISZERO 00000728: PUSH2 0x0730 0000072b: JUMPI 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: REVERT 00000730: JUMPDEST 00000731: POP 00000732: PUSH2 0x0292 00000735: PUSH2 0x073f 00000738: CALLDATASIZE 00000739: PUSH1 0x04 0000073b: PUSH2 0x33d3 0000073e: JUMP 0000073f: JUMPDEST 00000740: PUSH2 0x19bc 00000743: JUMP 00000744: JUMPDEST 00000745: CALLVALUE 00000746: DUP1 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x0292 00000755: PUSH1 0x00 00000757: DUP1 00000758: MLOAD 00000759: PUSH1 0x20 0000075b: PUSH2 0x38a2 0000075e: DUP4 0000075f: CODECOPY 00000760: DUP2 00000761: MLOAD 00000762: SWAP2 00000763: MSTORE 00000764: DUP2 00000765: JUMP 00000766: JUMPDEST 00000767: CALLVALUE 00000768: DUP1 00000769: ISZERO 0000076a: PUSH2 0x0772 0000076d: JUMPI 0000076e: PUSH1 0x00 00000770: DUP1 00000771: REVERT 00000772: JUMPDEST 00000773: POP 00000774: PUSH2 0x0292 00000777: PUSH2 0x0781 0000077a: CALLDATASIZE 0000077b: PUSH1 0x04 0000077d: PUSH2 0x33fd 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH2 0x1a73 00000785: JUMP 00000786: JUMPDEST 00000787: CALLVALUE 00000788: DUP1 00000789: ISZERO 0000078a: PUSH2 0x0792 0000078d: JUMPI 0000078e: PUSH1 0x00 00000790: DUP1 00000791: REVERT 00000792: JUMPDEST 00000793: POP 00000794: PUSH2 0x0292 00000797: PUSH2 0x07a1 0000079a: CALLDATASIZE 0000079b: PUSH1 0x04 0000079d: PUSH2 0x2fbb 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x05 000007a4: PUSH1 0x20 000007a6: MSTORE 000007a7: PUSH1 0x00 000007a9: SWAP1 000007aa: DUP2 000007ab: MSTORE 000007ac: PUSH1 0x40 000007ae: SWAP1 000007af: KECCAK256 000007b0: SLOAD 000007b1: DUP2 000007b2: JUMP 000007b3: JUMPDEST 000007b4: CALLVALUE 000007b5: DUP1 000007b6: ISZERO 000007b7: PUSH2 0x07bf 000007ba: JUMPI 000007bb: PUSH1 0x00 000007bd: DUP1 000007be: REVERT 000007bf: JUMPDEST 000007c0: POP 000007c1: PUSH1 0x03 000007c3: SLOAD 000007c4: PUSH2 0x04ba 000007c7: SWAP1 000007c8: PUSH1 0x01 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: SHL 000007cf: SUB 000007d0: AND 000007d1: DUP2 000007d2: JUMP 000007d3: JUMPDEST 000007d4: CALLVALUE 000007d5: DUP1 000007d6: ISZERO 000007d7: PUSH2 0x07df 000007da: JUMPI 000007db: PUSH1 0x00 000007dd: DUP1 000007de: REVERT 000007df: JUMPDEST 000007e0: POP 000007e1: PUSH2 0x022e 000007e4: PUSH2 0x07ee 000007e7: CALLDATASIZE 000007e8: PUSH1 0x04 000007ea: PUSH2 0x3365 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH2 0x1b78 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x00 000007f6: PUSH1 0x01 000007f8: PUSH1 0x01 000007fa: PUSH1 0xe0 000007fc: SHL 000007fd: SUB 000007fe: NOT 000007ff: DUP3 00000800: AND 00000801: PUSH4 0x5a05180f 00000806: PUSH1 0xe0 00000808: SHL 00000809: EQ 0000080a: DUP1 0000080b: PUSH2 0x0818 0000080e: JUMPI 0000080f: POP 00000810: PUSH2 0x0818 00000813: DUP3 00000814: PUSH2 0x1fc5 00000817: JUMP 00000818: JUMPDEST 00000819: SWAP3 0000081a: SWAP2 0000081b: POP 0000081c: POP 0000081d: JUMP 0000081e: JUMPDEST 0000081f: PUSH2 0x0827 00000822: CALLER 00000823: PUSH2 0x1ffa 00000826: JUMP 00000827: JUMPDEST 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x00 0000082c: DUP3 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x20 00000831: DUP2 00000832: SWAP1 00000833: MSTORE 00000834: PUSH1 0x40 00000836: SWAP1 00000837: KECCAK256 00000838: PUSH1 0x01 0000083a: ADD 0000083b: SLOAD 0000083c: PUSH2 0x0844 0000083f: DUP2 00000840: PUSH2 0x2049 00000843: JUMP 00000844: JUMPDEST 00000845: PUSH2 0x084e 00000848: DUP4 00000849: DUP4 0000084a: PUSH2 0x2053 0000084d: JUMP 0000084e: JUMPDEST 0000084f: POP 00000850: POP 00000851: POP 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x01 00000856: PUSH1 0x01 00000858: PUSH1 0xa0 0000085a: SHL 0000085b: SUB 0000085c: DUP2 0000085d: AND 0000085e: CALLER 0000085f: EQ 00000860: PUSH2 0x08c8 00000863: JUMPI 00000864: PUSH1 0x40 00000866: MLOAD 00000867: PUSH3 0x461bcd 0000086b: PUSH1 0xe5 0000086d: SHL 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: PUSH1 0x04 00000874: DUP3 00000875: ADD 00000876: MSTORE 00000877: PUSH1 0x2f 00000879: PUSH1 0x24 0000087b: DUP3 0000087c: ADD 0000087d: MSTORE 0000087e: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 0000089f: PUSH1 0x44 000008a1: DUP3 000008a2: ADD 000008a3: MSTORE 000008a4: PUSH15 0x103937b632b9903337b91039b2b633 000008b4: PUSH1 0x89 000008b6: SHL 000008b7: PUSH1 0x64 000008b9: DUP3 000008ba: ADD 000008bb: MSTORE 000008bc: PUSH1 0x84 000008be: ADD 000008bf: JUMPDEST 000008c0: PUSH1 0x40 000008c2: MLOAD 000008c3: DUP1 000008c4: SWAP2 000008c5: SUB 000008c6: SWAP1 000008c7: REVERT 000008c8: JUMPDEST 000008c9: PUSH2 0x08d2 000008cc: DUP3 000008cd: DUP3 000008ce: PUSH2 0x2075 000008d1: JUMP 000008d2: JUMPDEST 000008d3: POP 000008d4: POP 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH2 0x08df 000008da: CALLER 000008db: PUSH2 0x0957 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH2 0x08fb 000008e3: JUMPI 000008e4: PUSH1 0x40 000008e6: MLOAD 000008e7: PUSH3 0x461bcd 000008eb: PUSH1 0xe5 000008ed: SHL 000008ee: DUP2 000008ef: MSTORE 000008f0: PUSH1 0x04 000008f2: ADD 000008f3: PUSH2 0x08bf 000008f6: SWAP1 000008f7: PUSH2 0x3468 000008fa: JUMP 000008fb: JUMPDEST 000008fc: PUSH1 0x04 000008fe: SLOAD 000008ff: PUSH1 0x40 00000901: MLOAD 00000902: PUSH1 0x01 00000904: PUSH1 0x01 00000906: PUSH1 0xa0 00000908: SHL 00000909: SUB 0000090a: DUP1 0000090b: DUP5 0000090c: AND 0000090d: SWAP3 0000090e: AND 0000090f: SWAP1 00000910: PUSH32 0xbabeb6d937962c3cb8ae9723c43f83d6f48a22b93553e96c110d23d462b9aec2 00000931: SWAP1 00000932: PUSH1 0x00 00000934: SWAP1 00000935: LOG3 00000936: PUSH1 0x04 00000938: DUP1 00000939: SLOAD 0000093a: PUSH1 0x01 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: SHL 00000941: SUB 00000942: NOT 00000943: AND 00000944: PUSH1 0x01 00000946: PUSH1 0x01 00000948: PUSH1 0xa0 0000094a: SHL 0000094b: SUB 0000094c: SWAP3 0000094d: SWAP1 0000094e: SWAP3 0000094f: AND 00000950: SWAP2 00000951: SWAP1 00000952: SWAP2 00000953: OR 00000954: SWAP1 00000955: SSTORE 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x00 0000095a: PUSH2 0x0818 0000095d: PUSH1 0x00 0000095f: DUP1 00000960: MLOAD 00000961: PUSH1 0x20 00000963: PUSH2 0x38a2 00000966: DUP4 00000967: CODECOPY 00000968: DUP2 00000969: MLOAD 0000096a: SWAP2 0000096b: MSTORE 0000096c: DUP4 0000096d: PUSH2 0x102c 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x01 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: SHL 00000979: SUB 0000097a: DUP2 0000097b: AND 0000097c: PUSH1 0x00 0000097e: SWAP1 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x05 00000983: PUSH1 0x20 00000985: SWAP1 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x40 0000098a: DUP1 0000098b: DUP4 0000098c: KECCAK256 0000098d: SLOAD 0000098e: PUSH1 0x06 00000990: DUP4 00000991: MSTORE 00000992: DUP2 00000993: DUP5 00000994: KECCAK256 00000995: SLOAD 00000996: PUSH1 0x07 00000998: DUP5 00000999: MSTORE 0000099a: DUP3 0000099b: DUP6 0000099c: KECCAK256 0000099d: SLOAD 0000099e: PUSH1 0x08 000009a0: SWAP1 000009a1: SWAP5 000009a2: MSTORE 000009a3: SWAP2 000009a4: DUP5 000009a5: KECCAK256 000009a6: SLOAD 000009a7: DUP5 000009a8: SWAP4 000009a9: DUP5 000009aa: SWAP4 000009ab: DUP5 000009ac: SWAP4 000009ad: DUP5 000009ae: SWAP4 000009af: SWAP1 000009b0: SWAP3 000009b1: SWAP1 000009b2: PUSH2 0x09ba 000009b5: DUP11 000009b6: PUSH2 0x18b1 000009b9: JUMP 000009ba: JUMPDEST 000009bb: SWAP4 000009bc: SWAP11 000009bd: SWAP3 000009be: SWAP10 000009bf: POP 000009c0: SWAP1 000009c1: SWAP8 000009c2: POP 000009c3: SWAP6 000009c4: POP 000009c5: SWAP1 000009c6: SWAP4 000009c7: POP 000009c8: SWAP2 000009c9: POP 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH1 0x01 000009cf: PUSH1 0x01 000009d1: PUSH1 0xa0 000009d3: SHL 000009d4: SUB 000009d5: DUP2 000009d6: AND 000009d7: PUSH1 0x00 000009d9: SWAP1 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x08 000009de: PUSH1 0x20 000009e0: MSTORE 000009e1: PUSH1 0x40 000009e3: DUP2 000009e4: KECCAK256 000009e5: SLOAD 000009e6: SWAP1 000009e7: PUSH2 0x09ef 000009ea: DUP4 000009eb: PUSH2 0x18b1 000009ee: JUMP 000009ef: JUMPDEST 000009f0: GT 000009f1: PUSH2 0x0a62 000009f4: JUMPI 000009f5: PUSH1 0x40 000009f7: MLOAD 000009f8: PUSH3 0x461bcd 000009fc: PUSH1 0xe5 000009fe: SHL 000009ff: DUP2 00000a00: MSTORE 00000a01: PUSH1 0x20 00000a03: PUSH1 0x04 00000a05: DUP3 00000a06: ADD 00000a07: MSTORE 00000a08: PUSH1 0x39 00000a0a: PUSH1 0x24 00000a0c: DUP3 00000a0d: ADD 00000a0e: MSTORE 00000a0f: PUSH32 0x496e76616c69642074696d656c6f636b3a206d7573742063616c6c2073746172 00000a30: PUSH1 0x44 00000a32: DUP3 00000a33: ADD 00000a34: MSTORE 00000a35: PUSH32 0x7454696d656c6f636b6564556e7374616b652066697273742e00000000000000 00000a56: PUSH1 0x64 00000a58: DUP3 00000a59: ADD 00000a5a: MSTORE 00000a5b: PUSH1 0x84 00000a5d: ADD 00000a5e: PUSH2 0x08bf 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH2 0x0a6b 00000a66: DUP3 00000a67: PUSH2 0x18b1 00000a6a: JUMP 00000a6b: JUMPDEST 00000a6c: TIMESTAMP 00000a6d: GT 00000a6e: PUSH2 0x0ad1 00000a71: JUMPI 00000a72: PUSH1 0x40 00000a74: MLOAD 00000a75: PUSH3 0x461bcd 00000a79: PUSH1 0xe5 00000a7b: SHL 00000a7c: DUP2 00000a7d: MSTORE 00000a7e: PUSH1 0x20 00000a80: PUSH1 0x04 00000a82: DUP3 00000a83: ADD 00000a84: MSTORE 00000a85: PUSH1 0x2f 00000a87: PUSH1 0x24 00000a89: DUP3 00000a8a: ADD 00000a8b: MSTORE 00000a8c: PUSH32 0x496e76616c69642074696d656c6f636b3a2074696d656c6f636b20686173206e 00000aad: PUSH1 0x44 00000aaf: DUP3 00000ab0: ADD 00000ab1: MSTORE 00000ab2: PUSH15 0x37ba103cb2ba1032bc3834b932b217 00000ac2: PUSH1 0x89 00000ac4: SHL 00000ac5: PUSH1 0x64 00000ac7: DUP3 00000ac8: ADD 00000ac9: MSTORE 00000aca: PUSH1 0x84 00000acc: ADD 00000acd: PUSH2 0x08bf 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0xa0 00000ad8: SHL 00000ad9: SUB 00000ada: DUP3 00000adb: AND 00000adc: PUSH1 0x00 00000ade: SWAP1 00000adf: DUP2 00000ae0: MSTORE 00000ae1: PUSH1 0x07 00000ae3: PUSH1 0x20 00000ae5: SWAP1 00000ae6: DUP2 00000ae7: MSTORE 00000ae8: PUSH1 0x40 00000aea: DUP1 00000aeb: DUP4 00000aec: KECCAK256 00000aed: SLOAD 00000aee: PUSH1 0x05 00000af0: SWAP1 00000af1: SWAP3 00000af2: MSTORE 00000af3: DUP3 00000af4: KECCAK256 00000af5: SLOAD 00000af6: PUSH2 0x0aff 00000af9: SWAP2 00000afa: SWAP1 00000afb: PUSH2 0x34d3 00000afe: JUMP 00000aff: JUMPDEST 00000b00: SWAP1 00000b01: POP 00000b02: PUSH1 0x00 00000b04: DUP2 00000b05: GT 00000b06: PUSH2 0x0b46 00000b09: JUMPI 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: PUSH3 0x461bcd 00000b11: PUSH1 0xe5 00000b13: SHL 00000b14: DUP2 00000b15: MSTORE 00000b16: PUSH1 0x20 00000b18: PUSH1 0x04 00000b1a: DUP3 00000b1b: ADD 00000b1c: MSTORE 00000b1d: PUSH1 0x12 00000b1f: PUSH1 0x24 00000b21: DUP3 00000b22: ADD 00000b23: MSTORE 00000b24: PUSH18 0x4e6f7468696e6720746f20756e7374616b65 00000b37: PUSH1 0x70 00000b39: SHL 00000b3a: PUSH1 0x44 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: PUSH1 0x64 00000b41: ADD 00000b42: PUSH2 0x08bf 00000b45: JUMP 00000b46: JUMPDEST 00000b47: PUSH1 0x01 00000b49: PUSH1 0x01 00000b4b: PUSH1 0xa0 00000b4d: SHL 00000b4e: SUB 00000b4f: DUP4 00000b50: AND 00000b51: PUSH1 0x00 00000b53: SWAP1 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x06 00000b58: PUSH1 0x20 00000b5a: SWAP1 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x40 00000b5f: DUP1 00000b60: DUP4 00000b61: KECCAK256 00000b62: DUP4 00000b63: SWAP1 00000b64: SSTORE 00000b65: PUSH1 0x07 00000b67: DUP3 00000b68: MSTORE 00000b69: DUP1 00000b6a: DUP4 00000b6b: KECCAK256 00000b6c: DUP4 00000b6d: SWAP1 00000b6e: SSTORE 00000b6f: PUSH1 0x05 00000b71: DUP3 00000b72: MSTORE 00000b73: DUP1 00000b74: DUP4 00000b75: KECCAK256 00000b76: DUP4 00000b77: SWAP1 00000b78: SSTORE 00000b79: PUSH1 0x08 00000b7b: SWAP1 00000b7c: SWAP2 00000b7d: MSTORE 00000b7e: DUP2 00000b7f: KECCAK256 00000b80: DUP1 00000b81: SLOAD 00000b82: PUSH1 0x01 00000b84: SWAP3 00000b85: SWAP1 00000b86: PUSH2 0x0b90 00000b89: SWAP1 00000b8a: DUP5 00000b8b: SWAP1 00000b8c: PUSH2 0x34ea 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: SWAP1 00000b92: SWAP2 00000b93: SSTORE 00000b94: POP 00000b95: PUSH2 0x0bb5 00000b98: SWAP1 00000b99: POP 00000b9a: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000baf: DUP5 00000bb0: DUP4 00000bb1: PUSH2 0x20fb 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x40 00000bb8: DUP1 00000bb9: MLOAD 00000bba: DUP4 00000bbb: DUP2 00000bbc: MSTORE 00000bbd: PUSH1 0x20 00000bbf: DUP2 00000bc0: ADD 00000bc1: DUP4 00000bc2: SWAP1 00000bc3: MSTORE 00000bc4: PUSH1 0x01 00000bc6: PUSH1 0x01 00000bc8: PUSH1 0xa0 00000bca: SHL 00000bcb: SUB 00000bcc: DUP6 00000bcd: AND 00000bce: SWAP2 00000bcf: PUSH32 0x7fc4727e062e336010f2c282598ef5f14facb3de68cf8195c2f23e1454b2b74e 00000bf0: SWAP2 00000bf1: ADD 00000bf2: JUMPDEST 00000bf3: PUSH1 0x40 00000bf5: MLOAD 00000bf6: DUP1 00000bf7: SWAP2 00000bf8: SUB 00000bf9: SWAP1 00000bfa: LOG2 00000bfb: POP 00000bfc: POP 00000bfd: POP 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: PUSH1 0x00 00000c05: JUMPDEST 00000c06: DUP4 00000c07: MLOAD 00000c08: DUP2 00000c09: LT 00000c0a: ISZERO 00000c0b: PUSH2 0x0f46 00000c0e: JUMPI 00000c0f: PUSH1 0x00 00000c11: DUP5 00000c12: DUP3 00000c13: DUP2 00000c14: MLOAD 00000c15: DUP2 00000c16: LT 00000c17: PUSH2 0x0c22 00000c1a: JUMPI 00000c1b: PUSH2 0x0c22 00000c1e: PUSH2 0x3502 00000c21: JUMP 00000c22: JUMPDEST 00000c23: PUSH1 0x20 00000c25: MUL 00000c26: PUSH1 0x20 00000c28: ADD 00000c29: ADD 00000c2a: MLOAD 00000c2b: SWAP1 00000c2c: POP 00000c2d: PUSH2 0x0c39 00000c30: DUP2 00000c31: PUSH1 0x00 00000c33: ADD 00000c34: MLOAD 00000c35: PUSH2 0x18b1 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: ISZERO 00000c3b: PUSH2 0x0ce2 00000c3e: JUMPI 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: PUSH3 0x461bcd 00000c46: PUSH1 0xe5 00000c48: SHL 00000c49: DUP2 00000c4a: MSTORE 00000c4b: PUSH1 0x20 00000c4d: PUSH1 0x04 00000c4f: DUP3 00000c50: ADD 00000c51: MSTORE 00000c52: PUSH1 0x67 00000c54: PUSH1 0x24 00000c56: DUP3 00000c57: ADD 00000c58: MSTORE 00000c59: PUSH32 0x496e76616c6964206368616e6e656c2073746174653a2063616e6e6f74207365 00000c7a: PUSH1 0x44 00000c7c: DUP3 00000c7d: ADD 00000c7e: MSTORE 00000c7f: PUSH32 0x74746c65206e6577205374616b65436f6d6d69746d656e747320616674657220 00000ca0: PUSH1 0x64 00000ca2: DUP3 00000ca3: ADD 00000ca4: MSTORE 00000ca5: PUSH32 0x737461727454696d656c6f636b6564556e7374616b6520686173206265656e20 00000cc6: PUSH1 0x84 00000cc8: DUP3 00000cc9: ADD 00000cca: MSTORE 00000ccb: PUSH7 0x31b0b63632b217 00000cd3: PUSH1 0xc9 00000cd5: SHL 00000cd6: PUSH1 0xa4 00000cd8: DUP3 00000cd9: ADD 00000cda: MSTORE 00000cdb: PUSH1 0xc4 00000cdd: ADD 00000cde: PUSH2 0x08bf 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: DUP1 00000ce4: MLOAD 00000ce5: PUSH1 0x01 00000ce7: PUSH1 0x01 00000ce9: PUSH1 0xa0 00000ceb: SHL 00000cec: SUB 00000ced: AND 00000cee: PUSH1 0x00 00000cf0: SWAP1 00000cf1: DUP2 00000cf2: MSTORE 00000cf3: PUSH1 0x05 00000cf5: PUSH1 0x20 00000cf7: SWAP1 00000cf8: DUP2 00000cf9: MSTORE 00000cfa: PUSH1 0x40 00000cfc: SWAP1 00000cfd: SWAP2 00000cfe: KECCAK256 00000cff: SLOAD 00000d00: SWAP1 00000d01: DUP3 00000d02: ADD 00000d03: MLOAD 00000d04: GT 00000d05: ISZERO 00000d06: PUSH2 0x0d21 00000d09: JUMPI 00000d0a: PUSH1 0x40 00000d0c: MLOAD 00000d0d: PUSH3 0x461bcd 00000d11: PUSH1 0xe5 00000d13: SHL 00000d14: DUP2 00000d15: MSTORE 00000d16: PUSH1 0x04 00000d18: ADD 00000d19: PUSH2 0x08bf 00000d1c: SWAP1 00000d1d: PUSH2 0x3518 00000d20: JUMP 00000d21: JUMPDEST 00000d22: DUP1 00000d23: MLOAD 00000d24: PUSH1 0x01 00000d26: PUSH1 0x01 00000d28: PUSH1 0xa0 00000d2a: SHL 00000d2b: SUB 00000d2c: AND 00000d2d: PUSH1 0x00 00000d2f: SWAP1 00000d30: DUP2 00000d31: MSTORE 00000d32: PUSH1 0x06 00000d34: PUSH1 0x20 00000d36: MSTORE 00000d37: PUSH1 0x40 00000d39: SWAP1 00000d3a: DUP2 00000d3b: SWAP1 00000d3c: KECCAK256 00000d3d: SLOAD 00000d3e: SWAP1 00000d3f: DUP3 00000d40: ADD 00000d41: MLOAD 00000d42: LT 00000d43: ISZERO 00000d44: PUSH2 0x0d5f 00000d47: JUMPI 00000d48: PUSH1 0x40 00000d4a: MLOAD 00000d4b: PUSH3 0x461bcd 00000d4f: PUSH1 0xe5 00000d51: SHL 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x04 00000d56: ADD 00000d57: PUSH2 0x08bf 00000d5a: SWAP1 00000d5b: PUSH2 0x357a 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: DUP1 00000d61: MLOAD 00000d62: PUSH1 0x01 00000d64: PUSH1 0x01 00000d66: PUSH1 0xa0 00000d68: SHL 00000d69: SUB 00000d6a: AND 00000d6b: PUSH1 0x00 00000d6d: SWAP1 00000d6e: DUP2 00000d6f: MSTORE 00000d70: PUSH1 0x08 00000d72: PUSH1 0x20 00000d74: MSTORE 00000d75: PUSH1 0x40 00000d77: SWAP1 00000d78: KECCAK256 00000d79: SLOAD 00000d7a: PUSH1 0x60 00000d7c: DUP3 00000d7d: ADD 00000d7e: MLOAD 00000d7f: EQ 00000d80: PUSH2 0x0d9b 00000d83: JUMPI 00000d84: PUSH1 0x40 00000d86: MLOAD 00000d87: PUSH3 0x461bcd 00000d8b: PUSH1 0xe5 00000d8d: SHL 00000d8e: DUP2 00000d8f: MSTORE 00000d90: PUSH1 0x04 00000d92: ADD 00000d93: PUSH2 0x08bf 00000d96: SWAP1 00000d97: PUSH2 0x35f6 00000d9a: JUMP 00000d9b: JUMPDEST 00000d9c: DUP1 00000d9d: MLOAD 00000d9e: PUSH1 0x01 00000da0: PUSH1 0x01 00000da2: PUSH1 0xa0 00000da4: SHL 00000da5: SUB 00000da6: AND 00000da7: PUSH1 0x00 00000da9: SWAP1 00000daa: DUP2 00000dab: MSTORE 00000dac: PUSH1 0x06 00000dae: PUSH1 0x20 00000db0: MSTORE 00000db1: PUSH1 0x40 00000db3: SWAP1 00000db4: DUP2 00000db5: SWAP1 00000db6: KECCAK256 00000db7: SLOAD 00000db8: SWAP1 00000db9: DUP3 00000dba: ADD 00000dbb: MLOAD 00000dbc: EQ 00000dbd: ISZERO 00000dbe: PUSH2 0x0dc7 00000dc1: JUMPI 00000dc2: POP 00000dc3: PUSH2 0x0f34 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x00 00000dca: PUSH2 0x0ddf 00000dcd: PUSH2 0x0dd5 00000dd0: DUP4 00000dd1: PUSH2 0x215e 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: DUP4 00000dd7: PUSH1 0xa0 00000dd9: ADD 00000dda: MLOAD 00000ddb: PUSH2 0x2181 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: SWAP1 00000de1: POP 00000de2: DUP2 00000de3: PUSH1 0x00 00000de5: ADD 00000de6: MLOAD 00000de7: PUSH1 0x01 00000de9: PUSH1 0x01 00000deb: PUSH1 0xa0 00000ded: SHL 00000dee: SUB 00000def: AND 00000df0: DUP2 00000df1: PUSH1 0x01 00000df3: PUSH1 0x01 00000df5: PUSH1 0xa0 00000df7: SHL 00000df8: SUB 00000df9: AND 00000dfa: EQ 00000dfb: PUSH2 0x0e16 00000dfe: JUMPI 00000dff: PUSH1 0x40 00000e01: MLOAD 00000e02: PUSH3 0x461bcd 00000e06: PUSH1 0xe5 00000e08: SHL 00000e09: DUP2 00000e0a: MSTORE 00000e0b: PUSH1 0x04 00000e0d: ADD 00000e0e: PUSH2 0x08bf 00000e11: SWAP1 00000e12: PUSH2 0x365b 00000e15: JUMP 00000e16: JUMPDEST 00000e17: PUSH1 0x00 00000e19: PUSH2 0x0e2e 00000e1c: PUSH2 0x0e24 00000e1f: DUP5 00000e20: PUSH2 0x215e 00000e23: JUMP 00000e24: JUMPDEST 00000e25: DUP5 00000e26: PUSH1 0xc0 00000e28: ADD 00000e29: MLOAD 00000e2a: PUSH2 0x2181 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH1 0x03 00000e31: SLOAD 00000e32: SWAP1 00000e33: SWAP2 00000e34: POP 00000e35: PUSH1 0x01 00000e37: PUSH1 0x01 00000e39: PUSH1 0xa0 00000e3b: SHL 00000e3c: SUB 00000e3d: DUP1 00000e3e: DUP4 00000e3f: AND 00000e40: SWAP2 00000e41: AND 00000e42: EQ 00000e43: PUSH2 0x0e5e 00000e46: JUMPI 00000e47: PUSH1 0x40 00000e49: MLOAD 00000e4a: PUSH3 0x461bcd 00000e4e: PUSH1 0xe5 00000e50: SHL 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x04 00000e55: ADD 00000e56: PUSH2 0x08bf 00000e59: SWAP1 00000e5a: PUSH2 0x36d5 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: DUP3 00000e60: MLOAD 00000e61: PUSH1 0x01 00000e63: PUSH1 0x01 00000e65: PUSH1 0xa0 00000e67: SHL 00000e68: SUB 00000e69: AND 00000e6a: PUSH1 0x00 00000e6c: SWAP1 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: PUSH1 0x07 00000e71: PUSH1 0x20 00000e73: SWAP1 00000e74: DUP2 00000e75: MSTORE 00000e76: PUSH1 0x40 00000e78: SWAP1 00000e79: SWAP2 00000e7a: KECCAK256 00000e7b: SLOAD 00000e7c: SWAP1 00000e7d: DUP5 00000e7e: ADD 00000e7f: MLOAD 00000e80: LT 00000e81: ISZERO 00000e82: PUSH2 0x0ec1 00000e85: JUMPI 00000e86: PUSH1 0x20 00000e88: DUP1 00000e89: DUP5 00000e8a: ADD 00000e8b: MLOAD 00000e8c: DUP5 00000e8d: MLOAD 00000e8e: PUSH1 0x01 00000e90: PUSH1 0x01 00000e92: PUSH1 0xa0 00000e94: SHL 00000e95: SUB 00000e96: AND 00000e97: PUSH1 0x00 00000e99: SWAP1 00000e9a: DUP2 00000e9b: MSTORE 00000e9c: PUSH1 0x07 00000e9e: SWAP1 00000e9f: SWAP3 00000ea0: MSTORE 00000ea1: PUSH1 0x40 00000ea3: SWAP1 00000ea4: SWAP2 00000ea5: KECCAK256 00000ea6: SLOAD 00000ea7: PUSH2 0x0eb0 00000eaa: SWAP2 00000eab: SWAP1 00000eac: PUSH2 0x34d3 00000eaf: JUMP 00000eb0: JUMPDEST 00000eb1: PUSH2 0x0eba 00000eb4: SWAP1 00000eb5: DUP7 00000eb6: PUSH2 0x34ea 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: SWAP5 00000ebc: POP 00000ebd: PUSH2 0x0ef9 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: DUP3 00000ec3: MLOAD 00000ec4: PUSH1 0x01 00000ec6: PUSH1 0x01 00000ec8: PUSH1 0xa0 00000eca: SHL 00000ecb: SUB 00000ecc: AND 00000ecd: PUSH1 0x00 00000ecf: SWAP1 00000ed0: DUP2 00000ed1: MSTORE 00000ed2: PUSH1 0x07 00000ed4: PUSH1 0x20 00000ed6: SWAP1 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x40 00000edb: SWAP1 00000edc: SWAP2 00000edd: KECCAK256 00000ede: SLOAD 00000edf: SWAP1 00000ee0: DUP5 00000ee1: ADD 00000ee2: MLOAD 00000ee3: PUSH2 0x0eec 00000ee6: SWAP2 00000ee7: SWAP1 00000ee8: PUSH2 0x34d3 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: PUSH2 0x0ef6 00000ef0: SWAP1 00000ef1: DUP8 00000ef2: PUSH2 0x34ea 00000ef5: JUMP 00000ef6: JUMPDEST 00000ef7: SWAP6 00000ef8: POP 00000ef9: JUMPDEST 00000efa: POP 00000efb: POP 00000efc: PUSH1 0x40 00000efe: DUP1 00000eff: DUP3 00000f00: ADD 00000f01: MLOAD 00000f02: DUP3 00000f03: MLOAD 00000f04: PUSH1 0x01 00000f06: PUSH1 0x01 00000f08: PUSH1 0xa0 00000f0a: SHL 00000f0b: SUB 00000f0c: SWAP1 00000f0d: DUP2 00000f0e: AND 00000f0f: PUSH1 0x00 00000f11: SWAP1 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x06 00000f16: PUSH1 0x20 00000f18: SWAP1 00000f19: DUP2 00000f1a: MSTORE 00000f1b: DUP5 00000f1c: DUP3 00000f1d: KECCAK256 00000f1e: SWAP4 00000f1f: SWAP1 00000f20: SWAP4 00000f21: SSTORE 00000f22: DUP3 00000f23: DUP6 00000f24: ADD 00000f25: MLOAD 00000f26: SWAP5 00000f27: MLOAD 00000f28: SWAP1 00000f29: SWAP2 00000f2a: AND 00000f2b: DUP2 00000f2c: MSTORE 00000f2d: PUSH1 0x07 00000f2f: SWAP1 00000f30: SWAP2 00000f31: MSTORE 00000f32: KECCAK256 00000f33: SSTORE 00000f34: JUMPDEST 00000f35: DUP1 00000f36: PUSH2 0x0f3e 00000f39: DUP2 00000f3a: PUSH2 0x3758 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: SWAP2 00000f40: POP 00000f41: POP 00000f42: PUSH2 0x0c05 00000f45: JUMP 00000f46: JUMPDEST 00000f47: POP 00000f48: PUSH2 0x0f51 00000f4b: DUP2 00000f4c: DUP4 00000f4d: PUSH2 0x21a5 00000f50: JUMP 00000f51: JUMPDEST 00000f52: PUSH1 0x40 00000f54: DUP1 00000f55: MLOAD 00000f56: DUP3 00000f57: DUP2 00000f58: MSTORE 00000f59: PUSH1 0x20 00000f5b: DUP2 00000f5c: ADD 00000f5d: DUP5 00000f5e: SWAP1 00000f5f: MSTORE 00000f60: PUSH32 0xc0e49144f2dce0b7d155215f14a020847ca56b1c754434f8350efd1f856aa738 00000f81: SWAP2 00000f82: ADD 00000f83: PUSH1 0x40 00000f85: MLOAD 00000f86: DUP1 00000f87: SWAP2 00000f88: SUB 00000f89: SWAP1 00000f8a: LOG1 00000f8b: POP 00000f8c: POP 00000f8d: POP 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH2 0x0f98 00000f93: CALLER 00000f94: PUSH2 0x0957 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH2 0x0fb4 00000f9c: JUMPI 00000f9d: PUSH1 0x40 00000f9f: MLOAD 00000fa0: PUSH3 0x461bcd 00000fa4: PUSH1 0xe5 00000fa6: SHL 00000fa7: DUP2 00000fa8: MSTORE 00000fa9: PUSH1 0x04 00000fab: ADD 00000fac: PUSH2 0x08bf 00000faf: SWAP1 00000fb0: PUSH2 0x3468 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: PUSH1 0x01 00000fb7: PUSH1 0x01 00000fb9: PUSH1 0xa0 00000fbb: SHL 00000fbc: SUB 00000fbd: DUP2 00000fbe: AND 00000fbf: PUSH1 0x00 00000fc1: DUP2 00000fc2: DUP2 00000fc3: MSTORE 00000fc4: PUSH1 0x02 00000fc6: PUSH1 0x20 00000fc8: MSTORE 00000fc9: PUSH1 0x40 00000fcb: DUP1 00000fcc: DUP3 00000fcd: KECCAK256 00000fce: DUP1 00000fcf: SLOAD 00000fd0: PUSH1 0xff 00000fd2: NOT 00000fd3: AND 00000fd4: PUSH1 0x01 00000fd6: OR 00000fd7: SWAP1 00000fd8: SSTORE 00000fd9: MLOAD 00000fda: PUSH32 0xe6225108fead86774c60163d47442066f622e2b48106c996b866349da866b962 00000ffb: SWAP2 00000ffc: SWAP1 00000ffd: LOG2 00000ffe: POP 00000fff: JUMP 00001000: JUMPDEST 00001001: PUSH2 0x084e 00001004: DUP4 00001005: DUP4 00001006: DUP4 00001007: PUSH1 0x00 00001009: PUSH2 0x2277 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH1 0x00 00001010: DUP3 00001011: DUP2 00001012: MSTORE 00001013: PUSH1 0x01 00001015: PUSH1 0x20 00001017: MSTORE 00001018: PUSH1 0x40 0000101a: DUP2 0000101b: KECCAK256 0000101c: PUSH2 0x1025 0000101f: SWAP1 00001020: DUP4 00001021: PUSH2 0x2611 00001024: JUMP 00001025: JUMPDEST 00001026: SWAP4 00001027: SWAP3 00001028: POP 00001029: POP 0000102a: POP 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x00 0000102f: SWAP2 00001030: DUP3 00001031: MSTORE 00001032: PUSH1 0x20 00001034: DUP3 00001035: DUP2 00001036: MSTORE 00001037: PUSH1 0x40 00001039: DUP1 0000103a: DUP5 0000103b: KECCAK256 0000103c: PUSH1 0x01 0000103e: PUSH1 0x01 00001040: PUSH1 0xa0 00001042: SHL 00001043: SUB 00001044: SWAP4 00001045: SWAP1 00001046: SWAP4 00001047: AND 00001048: DUP5 00001049: MSTORE 0000104a: SWAP2 0000104b: SWAP1 0000104c: MSTORE 0000104d: SWAP1 0000104e: KECCAK256 0000104f: SLOAD 00001050: PUSH1 0xff 00001052: AND 00001053: SWAP1 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH2 0x105e 00001059: DUP2 0000105a: PUSH2 0x261d 0000105d: JUMP 0000105e: JUMPDEST 0000105f: POP 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH2 0x106a 00001065: CALLER 00001066: PUSH2 0x0957 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH2 0x1086 0000106e: JUMPI 0000106f: PUSH1 0x40 00001071: MLOAD 00001072: PUSH3 0x461bcd 00001076: PUSH1 0xe5 00001078: SHL 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x04 0000107d: ADD 0000107e: PUSH2 0x08bf 00001081: SWAP1 00001082: PUSH2 0x3468 00001085: JUMP 00001086: JUMPDEST 00001087: PUSH1 0x01 00001089: PUSH1 0x01 0000108b: PUSH1 0xa0 0000108d: SHL 0000108e: SUB 0000108f: DUP2 00001090: AND 00001091: PUSH1 0x00 00001093: SWAP1 00001094: DUP2 00001095: MSTORE 00001096: PUSH1 0x02 00001098: PUSH1 0x20 0000109a: MSTORE 0000109b: PUSH1 0x40 0000109d: SWAP1 0000109e: KECCAK256 0000109f: SLOAD 000010a0: PUSH1 0xff 000010a2: AND 000010a3: ISZERO 000010a4: PUSH2 0x1121 000010a7: JUMPI 000010a8: PUSH1 0x40 000010aa: MLOAD 000010ab: PUSH3 0x461bcd 000010af: PUSH1 0xe5 000010b1: SHL 000010b2: DUP2 000010b3: MSTORE 000010b4: PUSH1 0x20 000010b6: PUSH1 0x04 000010b8: DUP3 000010b9: ADD 000010ba: MSTORE 000010bb: PUSH1 0x43 000010bd: PUSH1 0x24 000010bf: DUP3 000010c0: ADD 000010c1: MSTORE 000010c2: PUSH32 0x4f70657261746f725265636f76657261626c653a2063616e6e6f74207265636f 000010e3: PUSH1 0x44 000010e5: DUP3 000010e6: ADD 000010e7: MSTORE 000010e8: PUSH32 0x7665722c20746f6b656e206d61726b656420617320756e7265636f7665726162 00001109: PUSH1 0x64 0000110b: DUP3 0000110c: ADD 0000110d: MSTORE 0000110e: PUSH3 0x363297 00001112: PUSH1 0xe9 00001114: SHL 00001115: PUSH1 0x84 00001117: DUP3 00001118: ADD 00001119: MSTORE 0000111a: PUSH1 0xa4 0000111c: ADD 0000111d: PUSH2 0x08bf 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x01 00001124: PUSH1 0x01 00001126: PUSH1 0xa0 00001128: SHL 00001129: SUB 0000112a: DUP2 0000112b: AND 0000112c: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001141: EQ 00001142: ISZERO 00001143: PUSH2 0x11f6 00001146: JUMPI 00001147: PUSH1 0x40 00001149: MLOAD 0000114a: PUSH1 0x00 0000114c: SWAP1 0000114d: CALLER 0000114e: SWAP1 0000114f: SELFBALANCE 00001150: SWAP1 00001151: DUP4 00001152: DUP2 00001153: DUP2 00001154: DUP2 00001155: DUP6 00001156: DUP8 00001157: GAS 00001158: CALL 00001159: SWAP3 0000115a: POP 0000115b: POP 0000115c: POP 0000115d: RETURNDATASIZE 0000115e: DUP1 0000115f: PUSH1 0x00 00001161: DUP2 00001162: EQ 00001163: PUSH2 0x1188 00001166: JUMPI 00001167: PUSH1 0x40 00001169: MLOAD 0000116a: SWAP2 0000116b: POP 0000116c: PUSH1 0x1f 0000116e: NOT 0000116f: PUSH1 0x3f 00001171: RETURNDATASIZE 00001172: ADD 00001173: AND 00001174: DUP3 00001175: ADD 00001176: PUSH1 0x40 00001178: MSTORE 00001179: RETURNDATASIZE 0000117a: DUP3 0000117b: MSTORE 0000117c: RETURNDATASIZE 0000117d: PUSH1 0x00 0000117f: PUSH1 0x20 00001181: DUP5 00001182: ADD 00001183: RETURNDATACOPY 00001184: PUSH2 0x118d 00001187: JUMP 00001188: JUMPDEST 00001189: PUSH1 0x60 0000118b: SWAP2 0000118c: POP 0000118d: JUMPDEST 0000118e: POP 0000118f: POP 00001190: SWAP1 00001191: POP 00001192: DUP1 00001193: PUSH2 0x11f0 00001196: JUMPI 00001197: PUSH1 0x40 00001199: MLOAD 0000119a: PUSH3 0x461bcd 0000119e: PUSH1 0xe5 000011a0: SHL 000011a1: DUP2 000011a2: MSTORE 000011a3: PUSH1 0x20 000011a5: PUSH1 0x04 000011a7: DUP3 000011a8: ADD 000011a9: MSTORE 000011aa: PUSH1 0x29 000011ac: PUSH1 0x24 000011ae: DUP3 000011af: ADD 000011b0: MSTORE 000011b1: PUSH32 0x4f70657261746f725265636f76657261626c653a20455448207472616e736665 000011d2: PUSH1 0x44 000011d4: DUP3 000011d5: ADD 000011d6: MSTORE 000011d7: PUSH9 0x39103330b4b632b217 000011e1: PUSH1 0xb9 000011e3: SHL 000011e4: PUSH1 0x64 000011e6: DUP3 000011e7: ADD 000011e8: MSTORE 000011e9: PUSH1 0x84 000011eb: ADD 000011ec: PUSH2 0x08bf 000011ef: JUMP 000011f0: JUMPDEST 000011f1: POP 000011f2: PUSH2 0x1284 000011f5: JUMP 000011f6: JUMPDEST 000011f7: PUSH1 0x40 000011f9: MLOAD 000011fa: PUSH4 0x70a08231 000011ff: PUSH1 0xe0 00001201: SHL 00001202: DUP2 00001203: MSTORE 00001204: ADDRESS 00001205: PUSH1 0x04 00001207: DUP3 00001208: ADD 00001209: MSTORE 0000120a: PUSH2 0x1284 0000120d: SWAP1 0000120e: CALLER 0000120f: SWAP1 00001210: PUSH1 0x01 00001212: PUSH1 0x01 00001214: PUSH1 0xa0 00001216: SHL 00001217: SUB 00001218: DUP5 00001219: AND 0000121a: SWAP1 0000121b: PUSH4 0x70a08231 00001220: SWAP1 00001221: PUSH1 0x24 00001223: ADD 00001224: PUSH1 0x20 00001226: PUSH1 0x40 00001228: MLOAD 00001229: DUP1 0000122a: DUP4 0000122b: SUB 0000122c: DUP2 0000122d: DUP7 0000122e: DUP1 0000122f: EXTCODESIZE 00001230: ISZERO 00001231: DUP1 00001232: ISZERO 00001233: PUSH2 0x123b 00001236: JUMPI 00001237: PUSH1 0x00 00001239: DUP1 0000123a: REVERT 0000123b: JUMPDEST 0000123c: POP 0000123d: GAS 0000123e: STATICCALL 0000123f: ISZERO 00001240: DUP1 00001241: ISZERO 00001242: PUSH2 0x124f 00001245: JUMPI 00001246: RETURNDATASIZE 00001247: PUSH1 0x00 00001249: DUP1 0000124a: RETURNDATACOPY 0000124b: RETURNDATASIZE 0000124c: PUSH1 0x00 0000124e: REVERT 0000124f: JUMPDEST 00001250: POP 00001251: POP 00001252: POP 00001253: POP 00001254: PUSH1 0x40 00001256: MLOAD 00001257: RETURNDATASIZE 00001258: PUSH1 0x1f 0000125a: NOT 0000125b: PUSH1 0x1f 0000125d: DUP3 0000125e: ADD 0000125f: AND 00001260: DUP3 00001261: ADD 00001262: DUP1 00001263: PUSH1 0x40 00001265: MSTORE 00001266: POP 00001267: DUP2 00001268: ADD 00001269: SWAP1 0000126a: PUSH2 0x1273 0000126d: SWAP2 0000126e: SWAP1 0000126f: PUSH2 0x3773 00001272: JUMP 00001273: JUMPDEST 00001274: PUSH1 0x01 00001276: PUSH1 0x01 00001278: PUSH1 0xa0 0000127a: SHL 0000127b: SUB 0000127c: DUP5 0000127d: AND 0000127e: SWAP2 0000127f: SWAP1 00001280: PUSH2 0x20fb 00001283: JUMP 00001284: JUMPDEST 00001285: PUSH1 0x40 00001287: MLOAD 00001288: CALLER 00001289: SWAP1 0000128a: PUSH1 0x01 0000128c: PUSH1 0x01 0000128e: PUSH1 0xa0 00001290: SHL 00001291: SUB 00001292: DUP4 00001293: AND 00001294: SWAP1 00001295: PUSH32 0xc4aef5da6b1f6085ebd05a82a61d94bf83a486f32ab4ac3f7843afeed66b1440 000012b6: SWAP1 000012b7: PUSH1 0x00 000012b9: SWAP1 000012ba: LOG3 000012bb: POP 000012bc: JUMP 000012bd: JUMPDEST 000012be: DUP1 000012bf: MLOAD 000012c0: PUSH1 0x01 000012c2: PUSH1 0x01 000012c4: PUSH1 0xa0 000012c6: SHL 000012c7: SUB 000012c8: AND 000012c9: CALLER 000012ca: EQ 000012cb: PUSH2 0x1333 000012ce: JUMPI 000012cf: PUSH1 0x40 000012d1: MLOAD 000012d2: PUSH3 0x461bcd 000012d6: PUSH1 0xe5 000012d8: SHL 000012d9: DUP2 000012da: MSTORE 000012db: PUSH1 0x20 000012dd: PUSH1 0x04 000012df: DUP3 000012e0: ADD 000012e1: MSTORE 000012e2: PUSH1 0x34 000012e4: PUSH1 0x24 000012e6: DUP3 000012e7: ADD 000012e8: MSTORE 000012e9: PUSH32 0x496e76616c69642063616c6c65723a206f6e6c79207374616b65724164647265 0000130a: PUSH1 0x44 0000130c: DUP3 0000130d: ADD 0000130e: MSTORE 0000130f: PUSH20 0x39b99031b0b71031b0b636103ab739ba30b5b297 00001324: PUSH1 0x61 00001326: SHL 00001327: PUSH1 0x64 00001329: DUP3 0000132a: ADD 0000132b: MSTORE 0000132c: PUSH1 0x84 0000132e: ADD 0000132f: PUSH2 0x08bf 00001332: JUMP 00001333: JUMPDEST 00001334: DUP1 00001335: MLOAD 00001336: PUSH1 0x01 00001338: PUSH1 0x01 0000133a: PUSH1 0xa0 0000133c: SHL 0000133d: SUB 0000133e: AND 0000133f: PUSH1 0x00 00001341: SWAP1 00001342: DUP2 00001343: MSTORE 00001344: PUSH1 0x05 00001346: PUSH1 0x20 00001348: SWAP1 00001349: DUP2 0000134a: MSTORE 0000134b: PUSH1 0x40 0000134d: SWAP1 0000134e: SWAP2 0000134f: KECCAK256 00001350: SLOAD 00001351: SWAP1 00001352: DUP3 00001353: ADD 00001354: MLOAD 00001355: GT 00001356: ISZERO 00001357: PUSH2 0x1372 0000135a: JUMPI 0000135b: PUSH1 0x40 0000135d: MLOAD 0000135e: PUSH3 0x461bcd 00001362: PUSH1 0xe5 00001364: SHL 00001365: DUP2 00001366: MSTORE 00001367: PUSH1 0x04 00001369: ADD 0000136a: PUSH2 0x08bf 0000136d: SWAP1 0000136e: PUSH2 0x3518 00001371: JUMP 00001372: JUMPDEST 00001373: DUP1 00001374: MLOAD 00001375: PUSH1 0x01 00001377: PUSH1 0x01 00001379: PUSH1 0xa0 0000137b: SHL 0000137c: SUB 0000137d: AND 0000137e: PUSH1 0x00 00001380: SWAP1 00001381: DUP2 00001382: MSTORE 00001383: PUSH1 0x06 00001385: PUSH1 0x20 00001387: MSTORE 00001388: PUSH1 0x40 0000138a: SWAP1 0000138b: DUP2 0000138c: SWAP1 0000138d: KECCAK256 0000138e: SLOAD 0000138f: SWAP1 00001390: DUP3 00001391: ADD 00001392: MLOAD 00001393: LT 00001394: ISZERO 00001395: PUSH2 0x13b0 00001398: JUMPI 00001399: PUSH1 0x40 0000139b: MLOAD 0000139c: PUSH3 0x461bcd 000013a0: PUSH1 0xe5 000013a2: SHL 000013a3: DUP2 000013a4: MSTORE 000013a5: PUSH1 0x04 000013a7: ADD 000013a8: PUSH2 0x08bf 000013ab: SWAP1 000013ac: PUSH2 0x357a 000013af: JUMP 000013b0: JUMPDEST 000013b1: DUP1 000013b2: MLOAD 000013b3: PUSH1 0x01 000013b5: PUSH1 0x01 000013b7: PUSH1 0xa0 000013b9: SHL 000013ba: SUB 000013bb: AND 000013bc: PUSH1 0x00 000013be: SWAP1 000013bf: DUP2 000013c0: MSTORE 000013c1: PUSH1 0x08 000013c3: PUSH1 0x20 000013c5: MSTORE 000013c6: PUSH1 0x40 000013c8: SWAP1 000013c9: KECCAK256 000013ca: SLOAD 000013cb: PUSH1 0x60 000013cd: DUP3 000013ce: ADD 000013cf: MLOAD 000013d0: EQ 000013d1: PUSH2 0x13ec 000013d4: JUMPI 000013d5: PUSH1 0x40 000013d7: MLOAD 000013d8: PUSH3 0x461bcd 000013dc: PUSH1 0xe5 000013de: SHL 000013df: DUP2 000013e0: MSTORE 000013e1: PUSH1 0x04 000013e3: ADD 000013e4: PUSH2 0x08bf 000013e7: SWAP1 000013e8: PUSH2 0x35f6 000013eb: JUMP 000013ec: JUMPDEST 000013ed: PUSH1 0x40 000013ef: DUP1 000013f0: MLOAD 000013f1: DUP1 000013f2: DUP3 000013f3: ADD 000013f4: SWAP1 000013f5: SWAP2 000013f6: MSTORE 000013f7: PUSH1 0x07 000013f9: DUP2 000013fa: MSTORE 000013fb: PUSH7 0x125394d5105395 00001403: PUSH1 0xca 00001405: SHL 00001406: PUSH1 0x20 00001408: SWAP2 00001409: DUP3 0000140a: ADD 0000140b: MSTORE 0000140c: PUSH1 0x80 0000140e: DUP3 0000140f: ADD 00001410: MLOAD 00001411: DUP1 00001412: MLOAD 00001413: SWAP2 00001414: ADD 00001415: KECCAK256 00001416: PUSH32 0x95f9e5276b62430bf81e5586f1eaa799db1c11b5b20e060bc0001d1d781be52f 00001437: EQ 00001438: PUSH2 0x14b2 0000143b: JUMPI 0000143c: PUSH1 0x40 0000143e: MLOAD 0000143f: PUSH3 0x461bcd 00001443: PUSH1 0xe5 00001445: SHL 00001446: DUP2 00001447: MSTORE 00001448: PUSH1 0x20 0000144a: PUSH1 0x04 0000144c: DUP3 0000144d: ADD 0000144e: MSTORE 0000144f: PUSH1 0x52 00001451: PUSH1 0x24 00001453: DUP3 00001454: ADD 00001455: MSTORE 00001456: PUSH1 0x00 00001458: DUP1 00001459: MLOAD 0000145a: PUSH1 0x20 0000145c: PUSH2 0x38c2 0000145f: DUP4 00001460: CODECOPY 00001461: DUP2 00001462: MLOAD 00001463: SWAP2 00001464: MSTORE 00001465: PUSH1 0x44 00001467: DUP3 00001468: ADD 00001469: MSTORE 0000146a: PUSH32 0x642064617461206d757374206d6174636820494e5354414e545f554e5354414b 0000148b: PUSH1 0x64 0000148d: DUP3 0000148e: ADD 0000148f: MSTORE 00001490: PUSH18 0x22afa1a7a6a6a4aa26a2a72a2fa220aa2097 000014a3: PUSH1 0x71 000014a5: SHL 000014a6: PUSH1 0x84 000014a8: DUP3 000014a9: ADD 000014aa: MSTORE 000014ab: PUSH1 0xa4 000014ad: ADD 000014ae: PUSH2 0x08bf 000014b1: JUMP 000014b2: JUMPDEST 000014b3: PUSH1 0x00 000014b5: PUSH2 0x14c0 000014b8: PUSH2 0x0dd5 000014bb: DUP4 000014bc: PUSH2 0x215e 000014bf: JUMP 000014c0: JUMPDEST 000014c1: SWAP1 000014c2: POP 000014c3: DUP2 000014c4: PUSH1 0x00 000014c6: ADD 000014c7: MLOAD 000014c8: PUSH1 0x01 000014ca: PUSH1 0x01 000014cc: PUSH1 0xa0 000014ce: SHL 000014cf: SUB 000014d0: AND 000014d1: DUP2 000014d2: PUSH1 0x01 000014d4: PUSH1 0x01 000014d6: PUSH1 0xa0 000014d8: SHL 000014d9: SUB 000014da: AND 000014db: EQ 000014dc: PUSH2 0x14f7 000014df: JUMPI 000014e0: PUSH1 0x40 000014e2: MLOAD 000014e3: PUSH3 0x461bcd 000014e7: PUSH1 0xe5 000014e9: SHL 000014ea: DUP2 000014eb: MSTORE 000014ec: PUSH1 0x04 000014ee: ADD 000014ef: PUSH2 0x08bf 000014f2: SWAP1 000014f3: PUSH2 0x365b 000014f6: JUMP 000014f7: JUMPDEST 000014f8: PUSH1 0x00 000014fa: PUSH2 0x1505 000014fd: PUSH2 0x0e24 00001500: DUP5 00001501: PUSH2 0x215e 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH1 0x03 00001508: SLOAD 00001509: SWAP1 0000150a: SWAP2 0000150b: POP 0000150c: PUSH1 0x01 0000150e: PUSH1 0x01 00001510: PUSH1 0xa0 00001512: SHL 00001513: SUB 00001514: DUP1 00001515: DUP4 00001516: AND 00001517: SWAP2 00001518: AND 00001519: EQ 0000151a: PUSH2 0x1535 0000151d: JUMPI 0000151e: PUSH1 0x40 00001520: MLOAD 00001521: PUSH3 0x461bcd 00001525: PUSH1 0xe5 00001527: SHL 00001528: DUP2 00001529: MSTORE 0000152a: PUSH1 0x04 0000152c: ADD 0000152d: PUSH2 0x08bf 00001530: SWAP1 00001531: PUSH2 0x36d5 00001534: JUMP 00001535: JUMPDEST 00001536: DUP3 00001537: MLOAD 00001538: PUSH1 0x01 0000153a: PUSH1 0x01 0000153c: PUSH1 0xa0 0000153e: SHL 0000153f: SUB 00001540: AND 00001541: PUSH1 0x00 00001543: SWAP1 00001544: DUP2 00001545: MSTORE 00001546: PUSH1 0x07 00001548: PUSH1 0x20 0000154a: SWAP1 0000154b: DUP2 0000154c: MSTORE 0000154d: PUSH1 0x40 0000154f: SWAP1 00001550: SWAP2 00001551: KECCAK256 00001552: SLOAD 00001553: SWAP1 00001554: DUP5 00001555: ADD 00001556: MLOAD 00001557: PUSH2 0x1560 0000155a: SWAP2 0000155b: SWAP1 0000155c: PUSH2 0x21a5 0000155f: JUMP 00001560: JUMPDEST 00001561: PUSH1 0x20 00001563: DUP1 00001564: DUP5 00001565: ADD 00001566: MLOAD 00001567: DUP5 00001568: MLOAD 00001569: PUSH1 0x01 0000156b: PUSH1 0x01 0000156d: PUSH1 0xa0 0000156f: SHL 00001570: SUB 00001571: AND 00001572: PUSH1 0x00 00001574: SWAP1 00001575: DUP2 00001576: MSTORE 00001577: PUSH1 0x05 00001579: SWAP1 0000157a: SWAP3 0000157b: MSTORE 0000157c: PUSH1 0x40 0000157e: DUP3 0000157f: KECCAK256 00001580: SLOAD 00001581: PUSH2 0x158a 00001584: SWAP2 00001585: SWAP1 00001586: PUSH2 0x34d3 00001589: JUMP 0000158a: JUMPDEST 0000158b: SWAP1 0000158c: POP 0000158d: PUSH1 0x00 0000158f: DUP2 00001590: GT 00001591: PUSH2 0x15d1 00001594: JUMPI 00001595: PUSH1 0x40 00001597: MLOAD 00001598: PUSH3 0x461bcd 0000159c: PUSH1 0xe5 0000159e: SHL 0000159f: DUP2 000015a0: MSTORE 000015a1: PUSH1 0x20 000015a3: PUSH1 0x04 000015a5: DUP3 000015a6: ADD 000015a7: MSTORE 000015a8: PUSH1 0x12 000015aa: PUSH1 0x24 000015ac: DUP3 000015ad: ADD 000015ae: MSTORE 000015af: PUSH18 0x4e6f7468696e6720746f20756e7374616b65 000015c2: PUSH1 0x70 000015c4: SHL 000015c5: PUSH1 0x44 000015c7: DUP3 000015c8: ADD 000015c9: MSTORE 000015ca: PUSH1 0x64 000015cc: ADD 000015cd: PUSH2 0x08bf 000015d0: JUMP 000015d1: JUMPDEST 000015d2: DUP4 000015d3: MLOAD 000015d4: PUSH1 0x01 000015d6: PUSH1 0x01 000015d8: PUSH1 0xa0 000015da: SHL 000015db: SUB 000015dc: SWAP1 000015dd: DUP2 000015de: AND 000015df: PUSH1 0x00 000015e1: SWAP1 000015e2: DUP2 000015e3: MSTORE 000015e4: PUSH1 0x06 000015e6: PUSH1 0x20 000015e8: SWAP1 000015e9: DUP2 000015ea: MSTORE 000015eb: PUSH1 0x40 000015ed: DUP1 000015ee: DUP4 000015ef: KECCAK256 000015f0: DUP4 000015f1: SWAP1 000015f2: SSTORE 000015f3: DUP8 000015f4: MLOAD 000015f5: DUP5 000015f6: AND 000015f7: DUP4 000015f8: MSTORE 000015f9: PUSH1 0x07 000015fb: DUP3 000015fc: MSTORE 000015fd: DUP1 000015fe: DUP4 000015ff: KECCAK256 00001600: DUP4 00001601: SWAP1 00001602: SSTORE 00001603: DUP8 00001604: MLOAD 00001605: DUP5 00001606: AND 00001607: DUP4 00001608: MSTORE 00001609: PUSH1 0x05 0000160b: DUP3 0000160c: MSTORE 0000160d: DUP1 0000160e: DUP4 0000160f: KECCAK256 00001610: DUP4 00001611: SWAP1 00001612: SSTORE 00001613: DUP8 00001614: MLOAD 00001615: SWAP1 00001616: SWAP4 00001617: AND 00001618: DUP3 00001619: MSTORE 0000161a: PUSH1 0x08 0000161c: SWAP1 0000161d: MSTORE 0000161e: SWAP1 0000161f: DUP2 00001620: KECCAK256 00001621: DUP1 00001622: SLOAD 00001623: PUSH1 0x01 00001625: SWAP3 00001626: SWAP1 00001627: PUSH2 0x1631 0000162a: SWAP1 0000162b: DUP5 0000162c: SWAP1 0000162d: PUSH2 0x34ea 00001630: JUMP 00001631: JUMPDEST 00001632: SWAP1 00001633: SWAP2 00001634: SSTORE 00001635: POP 00001636: POP 00001637: DUP4 00001638: MLOAD 00001639: PUSH2 0x1658 0000163c: SWAP1 0000163d: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001652: SWAP1 00001653: DUP4 00001654: PUSH2 0x20fb 00001657: JUMP 00001658: JUMPDEST 00001659: DUP4 0000165a: MLOAD 0000165b: PUSH1 0x60 0000165d: DUP6 0000165e: ADD 0000165f: MLOAD 00001660: PUSH1 0x40 00001662: DUP1 00001663: MLOAD 00001664: SWAP2 00001665: DUP3 00001666: MSTORE 00001667: PUSH1 0x20 00001669: DUP3 0000166a: ADD 0000166b: DUP5 0000166c: SWAP1 0000166d: MSTORE 0000166e: PUSH1 0x01 00001670: PUSH1 0x01 00001672: PUSH1 0xa0 00001674: SHL 00001675: SUB 00001676: SWAP1 00001677: SWAP3 00001678: AND 00001679: SWAP2 0000167a: PUSH32 0x7fc4727e062e336010f2c282598ef5f14facb3de68cf8195c2f23e1454b2b74e 0000169b: SWAP2 0000169c: ADD 0000169d: PUSH1 0x40 0000169f: MLOAD 000016a0: DUP1 000016a1: SWAP2 000016a2: SUB 000016a3: SWAP1 000016a4: LOG2 000016a5: POP 000016a6: POP 000016a7: POP 000016a8: POP 000016a9: JUMP 000016aa: JUMPDEST 000016ab: PUSH2 0x16b3 000016ae: CALLER 000016af: PUSH2 0x18b1 000016b2: JUMP 000016b3: JUMPDEST 000016b4: ISZERO 000016b5: PUSH2 0x1740 000016b8: JUMPI 000016b9: PUSH1 0x40 000016bb: MLOAD 000016bc: PUSH3 0x461bcd 000016c0: PUSH1 0xe5 000016c2: SHL 000016c3: DUP2 000016c4: MSTORE 000016c5: PUSH1 0x20 000016c7: PUSH1 0x04 000016c9: DUP3 000016ca: ADD 000016cb: MSTORE 000016cc: PUSH1 0x51 000016ce: PUSH1 0x24 000016d0: DUP3 000016d1: ADD 000016d2: MSTORE 000016d3: PUSH32 0x496e76616c6964206368616e6e656c2073746174653a2063616e6e6f74207374 000016f4: PUSH1 0x44 000016f6: DUP3 000016f7: ADD 000016f8: MSTORE 000016f9: PUSH32 0x616b6520616674657220737461727454696d656c6f636b6564556e7374616b65 0000171a: PUSH1 0x64 0000171c: DUP3 0000171d: ADD 0000171e: MSTORE 0000171f: PUSH17 0x103430b9903132b2b71031b0b63632b217 00001731: PUSH1 0x79 00001733: SHL 00001734: PUSH1 0x84 00001736: DUP3 00001737: ADD 00001738: MSTORE 00001739: PUSH1 0xa4 0000173b: ADD 0000173c: PUSH2 0x08bf 0000173f: JUMP 00001740: JUMPDEST 00001741: CALLER 00001742: PUSH1 0x00 00001744: SWAP1 00001745: DUP2 00001746: MSTORE 00001747: PUSH1 0x05 00001749: PUSH1 0x20 0000174b: MSTORE 0000174c: PUSH1 0x40 0000174e: DUP2 0000174f: KECCAK256 00001750: DUP1 00001751: SLOAD 00001752: DUP4 00001753: SWAP3 00001754: SWAP1 00001755: PUSH2 0x175f 00001758: SWAP1 00001759: DUP5 0000175a: SWAP1 0000175b: PUSH2 0x34ea 0000175e: JUMP 0000175f: JUMPDEST 00001760: SWAP1 00001761: SWAP2 00001762: SSTORE 00001763: POP 00001764: PUSH2 0x1785 00001767: SWAP1 00001768: POP 00001769: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000177e: CALLER 0000177f: ADDRESS 00001780: DUP5 00001781: PUSH2 0x266c 00001784: JUMP 00001785: JUMPDEST 00001786: CALLER 00001787: PUSH1 0x00 00001789: DUP2 0000178a: DUP2 0000178b: MSTORE 0000178c: PUSH1 0x08 0000178e: PUSH1 0x20 00001790: SWAP1 00001791: DUP2 00001792: MSTORE 00001793: PUSH1 0x40 00001795: DUP1 00001796: DUP4 00001797: KECCAK256 00001798: SLOAD 00001799: PUSH1 0x05 0000179b: SWAP1 0000179c: SWAP3 0000179d: MSTORE 0000179e: SWAP2 0000179f: DUP3 000017a0: SWAP1 000017a1: KECCAK256 000017a2: SLOAD 000017a3: SWAP2 000017a4: MLOAD 000017a5: PUSH32 0x1449c6dd7851abc30abf37f57715f492010519147cc2652fbc38202c18a6ee90 000017c6: SWAP3 000017c7: PUSH2 0x17d7 000017ca: SWAP3 000017cb: DUP3 000017cc: MSTORE 000017cd: PUSH1 0x20 000017cf: DUP3 000017d0: ADD 000017d1: MSTORE 000017d2: PUSH1 0x40 000017d4: ADD 000017d5: SWAP1 000017d6: JUMP 000017d7: JUMPDEST 000017d8: PUSH1 0x40 000017da: MLOAD 000017db: DUP1 000017dc: SWAP2 000017dd: SUB 000017de: SWAP1 000017df: LOG2 000017e0: POP 000017e1: JUMP 000017e2: JUMPDEST 000017e3: PUSH1 0x40 000017e5: DUP1 000017e6: MLOAD 000017e7: PUSH1 0x01 000017e9: PUSH1 0x01 000017eb: PUSH1 0xa0 000017ed: SHL 000017ee: SUB 000017ef: DUP7 000017f0: AND 000017f1: PUSH1 0x20 000017f3: DUP3 000017f4: ADD 000017f5: MSTORE 000017f6: SWAP1 000017f7: DUP2 000017f8: ADD 000017f9: DUP5 000017fa: SWAP1 000017fb: MSTORE 000017fc: PUSH1 0x60 000017fe: DUP2 000017ff: ADD 00001800: DUP4 00001801: SWAP1 00001802: MSTORE 00001803: PUSH1 0x80 00001805: DUP2 00001806: ADD 00001807: DUP3 00001808: SWAP1 00001809: MSTORE 0000180a: PUSH1 0x00 0000180c: SWAP1 0000180d: PUSH1 0xa0 0000180f: ADD 00001810: PUSH1 0x40 00001812: MLOAD 00001813: PUSH1 0x20 00001815: DUP2 00001816: DUP4 00001817: SUB 00001818: SUB 00001819: DUP2 0000181a: MSTORE 0000181b: SWAP1 0000181c: PUSH1 0x40 0000181e: MSTORE 0000181f: DUP1 00001820: MLOAD 00001821: SWAP1 00001822: PUSH1 0x20 00001824: ADD 00001825: KECCAK256 00001826: SWAP1 00001827: POP 00001828: JUMPDEST 00001829: SWAP5 0000182a: SWAP4 0000182b: POP 0000182c: POP 0000182d: POP 0000182e: POP 0000182f: JUMP 00001830: JUMPDEST 00001831: PUSH2 0x1839 00001834: CALLER 00001835: PUSH2 0x0957 00001838: JUMP 00001839: JUMPDEST 0000183a: PUSH2 0x1855 0000183d: JUMPI 0000183e: PUSH1 0x40 00001840: MLOAD 00001841: PUSH3 0x461bcd 00001845: PUSH1 0xe5 00001847: SHL 00001848: DUP2 00001849: MSTORE 0000184a: PUSH1 0x04 0000184c: ADD 0000184d: PUSH2 0x08bf 00001850: SWAP1 00001851: PUSH2 0x3468 00001854: JUMP 00001855: JUMPDEST 00001856: PUSH1 0x03 00001858: SLOAD 00001859: PUSH1 0x40 0000185b: MLOAD 0000185c: PUSH1 0x01 0000185e: PUSH1 0x01 00001860: PUSH1 0xa0 00001862: SHL 00001863: SUB 00001864: DUP1 00001865: DUP5 00001866: AND 00001867: SWAP3 00001868: AND 00001869: SWAP1 0000186a: PUSH32 0x9cf2c03ab4c13fff690d20e8ad308de54b028c8ffcd268169f71811e03bfe058 0000188b: SWAP1 0000188c: PUSH1 0x00 0000188e: SWAP1 0000188f: LOG3 00001890: PUSH1 0x03 00001892: DUP1 00001893: SLOAD 00001894: PUSH1 0x01 00001896: PUSH1 0x01 00001898: PUSH1 0xa0 0000189a: SHL 0000189b: SUB 0000189c: NOT 0000189d: AND 0000189e: PUSH1 0x01 000018a0: PUSH1 0x01 000018a2: PUSH1 0xa0 000018a4: SHL 000018a5: SUB 000018a6: SWAP3 000018a7: SWAP1 000018a8: SWAP3 000018a9: AND 000018aa: SWAP2 000018ab: SWAP1 000018ac: SWAP2 000018ad: OR 000018ae: SWAP1 000018af: SSTORE 000018b0: JUMP 000018b1: JUMPDEST 000018b2: PUSH1 0x01 000018b4: PUSH1 0x01 000018b6: PUSH1 0xa0 000018b8: SHL 000018b9: SUB 000018ba: DUP2 000018bb: AND 000018bc: PUSH1 0x00 000018be: SWAP1 000018bf: DUP2 000018c0: MSTORE 000018c1: PUSH1 0x07 000018c3: PUSH1 0x20 000018c5: SWAP1 000018c6: DUP2 000018c7: MSTORE 000018c8: PUSH1 0x40 000018ca: DUP1 000018cb: DUP4 000018cc: KECCAK256 000018cd: SLOAD 000018ce: PUSH1 0x06 000018d0: DUP4 000018d1: MSTORE 000018d2: DUP2 000018d3: DUP5 000018d4: KECCAK256 000018d5: SLOAD 000018d6: PUSH1 0x08 000018d8: SWAP1 000018d9: SWAP4 000018da: MSTORE 000018db: SWAP1 000018dc: DUP4 000018dd: KECCAK256 000018de: SLOAD 000018df: PUSH1 0x09 000018e1: SWAP3 000018e2: DUP5 000018e3: SWAP3 000018e4: PUSH2 0x18ef 000018e7: SWAP3 000018e8: DUP8 000018e9: SWAP3 000018ea: SWAP1 000018eb: PUSH2 0x17e2 000018ee: JUMP 000018ef: JUMPDEST 000018f0: DUP2 000018f1: MSTORE 000018f2: PUSH1 0x20 000018f4: ADD 000018f5: SWAP1 000018f6: DUP2 000018f7: MSTORE 000018f8: PUSH1 0x20 000018fa: ADD 000018fb: PUSH1 0x00 000018fd: KECCAK256 000018fe: SLOAD 000018ff: SWAP1 00001900: POP 00001901: SWAP2 00001902: SWAP1 00001903: POP 00001904: JUMP 00001905: JUMPDEST 00001906: PUSH1 0x00 00001908: DUP2 00001909: DUP2 0000190a: MSTORE 0000190b: PUSH1 0x01 0000190d: PUSH1 0x20 0000190f: MSTORE 00001910: PUSH1 0x40 00001912: DUP2 00001913: KECCAK256 00001914: PUSH2 0x0818 00001917: SWAP1 00001918: PUSH2 0x26aa 0000191b: JUMP 0000191c: JUMPDEST 0000191d: PUSH1 0x00 0000191f: DUP3 00001920: DUP2 00001921: MSTORE 00001922: PUSH1 0x20 00001924: DUP2 00001925: SWAP1 00001926: MSTORE 00001927: PUSH1 0x40 00001929: SWAP1 0000192a: KECCAK256 0000192b: PUSH1 0x01 0000192d: ADD 0000192e: SLOAD 0000192f: PUSH2 0x1937 00001932: DUP2 00001933: PUSH2 0x2049 00001936: JUMP 00001937: JUMPDEST 00001938: PUSH2 0x084e 0000193b: DUP4 0000193c: DUP4 0000193d: PUSH2 0x2075 00001940: JUMP 00001941: JUMPDEST 00001942: DUP1 00001943: PUSH1 0x0b 00001945: PUSH1 0x00 00001947: DUP3 00001948: DUP3 00001949: SLOAD 0000194a: PUSH2 0x1953 0000194d: SWAP2 0000194e: SWAP1 0000194f: PUSH2 0x34ea 00001952: JUMP 00001953: JUMPDEST 00001954: SWAP1 00001955: SWAP2 00001956: SSTORE 00001957: POP 00001958: PUSH2 0x1979 0000195b: SWAP1 0000195c: POP 0000195d: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001972: CALLER 00001973: ADDRESS 00001974: DUP5 00001975: PUSH2 0x266c 00001978: JUMP 00001979: JUMPDEST 0000197a: PUSH1 0x40 0000197c: MLOAD 0000197d: DUP2 0000197e: DUP2 0000197f: MSTORE 00001980: PUSH32 0x1815df8769558d8aa159ce573cd5520ecb83df4dd328901efc3ff48783b3802e 000019a1: SWAP1 000019a2: PUSH1 0x20 000019a4: ADD 000019a5: PUSH1 0x40 000019a7: MLOAD 000019a8: DUP1 000019a9: SWAP2 000019aa: SUB 000019ab: SWAP1 000019ac: LOG1 000019ad: POP 000019ae: JUMP 000019af: JUMPDEST 000019b0: PUSH2 0x084e 000019b3: DUP4 000019b4: DUP4 000019b5: DUP4 000019b6: PUSH1 0x01 000019b8: PUSH2 0x2277 000019bb: JUMP 000019bc: JUMPDEST 000019bd: PUSH1 0x40 000019bf: DUP1 000019c0: MLOAD 000019c1: PUSH32 0xe4b9cf9fbc171554593523e2939ab56651fedc5f1bf02a4b434b60bdf8e16159 000019e2: PUSH1 0x20 000019e4: DUP1 000019e5: DUP4 000019e6: ADD 000019e7: SWAP2 000019e8: SWAP1 000019e9: SWAP2 000019ea: MSTORE 000019eb: PUSH1 0x01 000019ed: PUSH1 0x01 000019ef: PUSH1 0xa0 000019f1: SHL 000019f2: SUB 000019f3: DUP6 000019f4: AND 000019f5: DUP3 000019f6: DUP5 000019f7: ADD 000019f8: MSTORE 000019f9: PUSH1 0x60 000019fb: DUP1 000019fc: DUP4 000019fd: ADD 000019fe: DUP6 000019ff: SWAP1 00001a00: MSTORE 00001a01: DUP4 00001a02: MLOAD 00001a03: DUP1 00001a04: DUP5 00001a05: SUB 00001a06: SWAP1 00001a07: SWAP2 00001a08: ADD 00001a09: DUP2 00001a0a: MSTORE 00001a0b: PUSH1 0x80 00001a0d: DUP4 00001a0e: ADD 00001a0f: SWAP1 00001a10: SWAP4 00001a11: MSTORE 00001a12: DUP3 00001a13: MLOAD 00001a14: SWAP3 00001a15: ADD 00001a16: SWAP2 00001a17: SWAP1 00001a18: SWAP2 00001a19: KECCAK256 00001a1a: PUSH2 0x1901 00001a1d: PUSH1 0xf0 00001a1f: SHL 00001a20: PUSH1 0xa0 00001a22: DUP4 00001a23: ADD 00001a24: MSTORE 00001a25: PUSH32 0xa69483ac42e407568a3000b951cd6c757fb6e63106ef7addcc2e473b6281c68e 00001a46: PUSH1 0xa2 00001a48: DUP4 00001a49: ADD 00001a4a: MSTORE 00001a4b: PUSH1 0xc2 00001a4d: DUP3 00001a4e: ADD 00001a4f: MSTORE 00001a50: PUSH1 0x00 00001a52: SWAP1 00001a53: PUSH1 0xe2 00001a55: ADD 00001a56: PUSH1 0x40 00001a58: MLOAD 00001a59: PUSH1 0x20 00001a5b: DUP2 00001a5c: DUP4 00001a5d: SUB 00001a5e: SUB 00001a5f: DUP2 00001a60: MSTORE 00001a61: SWAP1 00001a62: PUSH1 0x40 00001a64: MSTORE 00001a65: DUP1 00001a66: MLOAD 00001a67: SWAP1 00001a68: PUSH1 0x20 00001a6a: ADD 00001a6b: KECCAK256 00001a6c: SWAP1 00001a6d: POP 00001a6e: SWAP3 00001a6f: SWAP2 00001a70: POP 00001a71: POP 00001a72: JUMP 00001a73: JUMPDEST 00001a74: PUSH1 0x00 00001a76: PUSH32 0xa69483ac42e407568a3000b951cd6c757fb6e63106ef7addcc2e473b6281c68e 00001a97: PUSH32 0x4f388dfa61ebd5dfc31f5d2df5794c361b043c146ba2f3884f3629a53af3ebca 00001ab8: DUP8 00001ab9: DUP8 00001aba: DUP8 00001abb: DUP8 00001abc: DUP8 00001abd: PUSH1 0x40 00001abf: MLOAD 00001ac0: PUSH1 0x20 00001ac2: ADD 00001ac3: PUSH2 0x1acc 00001ac6: SWAP2 00001ac7: SWAP1 00001ac8: PUSH2 0x378c 00001acb: JUMP 00001acc: JUMPDEST 00001acd: PUSH1 0x40 00001acf: DUP1 00001ad0: MLOAD 00001ad1: PUSH1 0x1f 00001ad3: NOT 00001ad4: DUP2 00001ad5: DUP5 00001ad6: SUB 00001ad7: ADD 00001ad8: DUP2 00001ad9: MSTORE 00001ada: DUP3 00001adb: DUP3 00001adc: MSTORE 00001add: DUP1 00001ade: MLOAD 00001adf: PUSH1 0x20 00001ae1: SWAP2 00001ae2: DUP3 00001ae3: ADD 00001ae4: KECCAK256 00001ae5: SWAP1 00001ae6: DUP4 00001ae7: ADD 00001ae8: SWAP8 00001ae9: SWAP1 00001aea: SWAP8 00001aeb: MSTORE 00001aec: PUSH1 0x01 00001aee: PUSH1 0x01 00001af0: PUSH1 0xa0 00001af2: SHL 00001af3: SUB 00001af4: SWAP1 00001af5: SWAP6 00001af6: AND 00001af7: SWAP5 00001af8: DUP2 00001af9: ADD 00001afa: SWAP5 00001afb: SWAP1 00001afc: SWAP5 00001afd: MSTORE 00001afe: PUSH1 0x60 00001b00: DUP5 00001b01: ADD 00001b02: SWAP3 00001b03: SWAP1 00001b04: SWAP3 00001b05: MSTORE 00001b06: PUSH1 0x80 00001b08: DUP4 00001b09: ADD 00001b0a: MSTORE 00001b0b: PUSH1 0xa0 00001b0d: DUP3 00001b0e: ADD 00001b0f: MSTORE 00001b10: PUSH1 0xc0 00001b12: DUP2 00001b13: ADD 00001b14: SWAP2 00001b15: SWAP1 00001b16: SWAP2 00001b17: MSTORE 00001b18: PUSH1 0xe0 00001b1a: ADD 00001b1b: PUSH1 0x40 00001b1d: MLOAD 00001b1e: PUSH1 0x20 00001b20: DUP2 00001b21: DUP4 00001b22: SUB 00001b23: SUB 00001b24: DUP2 00001b25: MSTORE 00001b26: SWAP1 00001b27: PUSH1 0x40 00001b29: MSTORE 00001b2a: DUP1 00001b2b: MLOAD 00001b2c: SWAP1 00001b2d: PUSH1 0x20 00001b2f: ADD 00001b30: KECCAK256 00001b31: PUSH1 0x40 00001b33: MLOAD 00001b34: PUSH1 0x20 00001b36: ADD 00001b37: PUSH2 0x1b57 00001b3a: SWAP3 00001b3b: SWAP2 00001b3c: SWAP1 00001b3d: PUSH2 0x1901 00001b40: PUSH1 0xf0 00001b42: SHL 00001b43: DUP2 00001b44: MSTORE 00001b45: PUSH1 0x02 00001b47: DUP2 00001b48: ADD 00001b49: SWAP3 00001b4a: SWAP1 00001b4b: SWAP3 00001b4c: MSTORE 00001b4d: PUSH1 0x22 00001b4f: DUP3 00001b50: ADD 00001b51: MSTORE 00001b52: PUSH1 0x42 00001b54: ADD 00001b55: SWAP1 00001b56: JUMP 00001b57: JUMPDEST 00001b58: PUSH1 0x40 00001b5a: MLOAD 00001b5b: PUSH1 0x20 00001b5d: DUP2 00001b5e: DUP4 00001b5f: SUB 00001b60: SUB 00001b61: DUP2 00001b62: MSTORE 00001b63: SWAP1 00001b64: PUSH1 0x40 00001b66: MSTORE 00001b67: DUP1 00001b68: MLOAD 00001b69: SWAP1 00001b6a: PUSH1 0x20 00001b6c: ADD 00001b6d: KECCAK256 00001b6e: SWAP1 00001b6f: POP 00001b70: SWAP6 00001b71: SWAP5 00001b72: POP 00001b73: POP 00001b74: POP 00001b75: POP 00001b76: POP 00001b77: JUMP 00001b78: JUMPDEST 00001b79: DUP1 00001b7a: MLOAD 00001b7b: PUSH2 0x1b83 00001b7e: SWAP1 00001b7f: PUSH2 0x18b1 00001b82: JUMP 00001b83: JUMPDEST 00001b84: PUSH2 0x1c25 00001b87: JUMPI 00001b88: DUP1 00001b89: MLOAD 00001b8a: PUSH1 0x01 00001b8c: PUSH1 0x01 00001b8e: PUSH1 0xa0 00001b90: SHL 00001b91: SUB 00001b92: AND 00001b93: CALLER 00001b94: EQ 00001b95: PUSH2 0x1c25 00001b98: JUMPI 00001b99: PUSH1 0x40 00001b9b: MLOAD 00001b9c: PUSH3 0x461bcd 00001ba0: PUSH1 0xe5 00001ba2: SHL 00001ba3: DUP2 00001ba4: MSTORE 00001ba5: PUSH1 0x20 00001ba7: PUSH1 0x04 00001ba9: DUP3 00001baa: ADD 00001bab: MSTORE 00001bac: PUSH1 0x56 00001bae: PUSH1 0x24 00001bb0: DUP3 00001bb1: ADD 00001bb2: MSTORE 00001bb3: PUSH32 0x496e76616c69642063616c6c65723a206f6e6c79207374616b65724164647265 00001bd4: PUSH1 0x44 00001bd6: DUP3 00001bd7: ADD 00001bd8: MSTORE 00001bd9: PUSH32 0x73732063616e2063616c6c20737461727454696d656c6f636b6564556e737461 00001bfa: PUSH1 0x64 00001bfc: DUP3 00001bfd: ADD 00001bfe: MSTORE 00001bff: PUSH22 0x35b2903337b9103a3432903334b939ba103a34b6b297 00001c16: PUSH1 0x51 00001c18: SHL 00001c19: PUSH1 0x84 00001c1b: DUP3 00001c1c: ADD 00001c1d: MSTORE 00001c1e: PUSH1 0xa4 00001c20: ADD 00001c21: PUSH2 0x08bf 00001c24: JUMP 00001c25: JUMPDEST 00001c26: DUP1 00001c27: MLOAD 00001c28: PUSH1 0x01 00001c2a: PUSH1 0x01 00001c2c: PUSH1 0xa0 00001c2e: SHL 00001c2f: SUB 00001c30: AND 00001c31: PUSH1 0x00 00001c33: SWAP1 00001c34: DUP2 00001c35: MSTORE 00001c36: PUSH1 0x05 00001c38: PUSH1 0x20 00001c3a: SWAP1 00001c3b: DUP2 00001c3c: MSTORE 00001c3d: PUSH1 0x40 00001c3f: SWAP1 00001c40: SWAP2 00001c41: KECCAK256 00001c42: SLOAD 00001c43: SWAP1 00001c44: DUP3 00001c45: ADD 00001c46: MLOAD 00001c47: GT 00001c48: ISZERO 00001c49: PUSH2 0x1c64 00001c4c: JUMPI 00001c4d: PUSH1 0x40 00001c4f: MLOAD 00001c50: PUSH3 0x461bcd 00001c54: PUSH1 0xe5 00001c56: SHL 00001c57: DUP2 00001c58: MSTORE 00001c59: PUSH1 0x04 00001c5b: ADD 00001c5c: PUSH2 0x08bf 00001c5f: SWAP1 00001c60: PUSH2 0x3518 00001c63: JUMP 00001c64: JUMPDEST 00001c65: DUP1 00001c66: MLOAD 00001c67: PUSH1 0x01 00001c69: PUSH1 0x01 00001c6b: PUSH1 0xa0 00001c6d: SHL 00001c6e: SUB 00001c6f: AND 00001c70: PUSH1 0x00 00001c72: SWAP1 00001c73: DUP2 00001c74: MSTORE 00001c75: PUSH1 0x06 00001c77: PUSH1 0x20 00001c79: MSTORE 00001c7a: PUSH1 0x40 00001c7c: SWAP1 00001c7d: DUP2 00001c7e: SWAP1 00001c7f: KECCAK256 00001c80: SLOAD 00001c81: SWAP1 00001c82: DUP3 00001c83: ADD 00001c84: MLOAD 00001c85: LT 00001c86: ISZERO 00001c87: PUSH2 0x1ca2 00001c8a: JUMPI 00001c8b: PUSH1 0x40 00001c8d: MLOAD 00001c8e: PUSH3 0x461bcd 00001c92: PUSH1 0xe5 00001c94: SHL 00001c95: DUP2 00001c96: MSTORE 00001c97: PUSH1 0x04 00001c99: ADD 00001c9a: PUSH2 0x08bf 00001c9d: SWAP1 00001c9e: PUSH2 0x357a 00001ca1: JUMP 00001ca2: JUMPDEST 00001ca3: DUP1 00001ca4: MLOAD 00001ca5: PUSH1 0x01 00001ca7: PUSH1 0x01 00001ca9: PUSH1 0xa0 00001cab: SHL 00001cac: SUB 00001cad: AND 00001cae: PUSH1 0x00 00001cb0: SWAP1 00001cb1: DUP2 00001cb2: MSTORE 00001cb3: PUSH1 0x08 00001cb5: PUSH1 0x20 00001cb7: MSTORE 00001cb8: PUSH1 0x40 00001cba: SWAP1 00001cbb: KECCAK256 00001cbc: SLOAD 00001cbd: PUSH1 0x60 00001cbf: DUP3 00001cc0: ADD 00001cc1: MLOAD 00001cc2: EQ 00001cc3: PUSH2 0x1cde 00001cc6: JUMPI 00001cc7: PUSH1 0x40 00001cc9: MLOAD 00001cca: PUSH3 0x461bcd 00001cce: PUSH1 0xe5 00001cd0: SHL 00001cd1: DUP2 00001cd2: MSTORE 00001cd3: PUSH1 0x04 00001cd5: ADD 00001cd6: PUSH2 0x08bf 00001cd9: SWAP1 00001cda: PUSH2 0x35f6 00001cdd: JUMP 00001cde: JUMPDEST 00001cdf: DUP1 00001ce0: MLOAD 00001ce1: PUSH1 0x01 00001ce3: PUSH1 0x01 00001ce5: PUSH1 0xa0 00001ce7: SHL 00001ce8: SUB 00001ce9: AND 00001cea: CALLER 00001ceb: EQ 00001cec: DUP1 00001ced: PUSH2 0x1d00 00001cf0: JUMPI 00001cf1: POP 00001cf2: PUSH1 0x03 00001cf4: SLOAD 00001cf5: PUSH1 0x01 00001cf7: PUSH1 0x01 00001cf9: PUSH1 0xa0 00001cfb: SHL 00001cfc: SUB 00001cfd: AND 00001cfe: CALLER 00001cff: EQ 00001d00: JUMPDEST 00001d01: PUSH2 0x1d98 00001d04: JUMPI 00001d05: PUSH1 0x40 00001d07: MLOAD 00001d08: PUSH3 0x461bcd 00001d0c: PUSH1 0xe5 00001d0e: SHL 00001d0f: DUP2 00001d10: MSTORE 00001d11: PUSH1 0x20 00001d13: PUSH1 0x04 00001d15: DUP3 00001d16: ADD 00001d17: MSTORE 00001d18: PUSH1 0x59 00001d1a: PUSH1 0x24 00001d1c: DUP3 00001d1d: ADD 00001d1e: MSTORE 00001d1f: PUSH32 0x496e76616c69642063616c6c65723a206f6e6c79207374616b65724164647265 00001d40: PUSH1 0x44 00001d42: DUP3 00001d43: ADD 00001d44: MSTORE 00001d45: PUSH32 0x7373206f72207374616b654e6f74617279416464726573732063616e2063616c 00001d66: PUSH1 0x64 00001d68: DUP3 00001d69: ADD 00001d6a: MSTORE 00001d6b: PUSH32 0x6c20737461727454696d656c6f636b6564556e7374616b652e00000000000000 00001d8c: PUSH1 0x84 00001d8e: DUP3 00001d8f: ADD 00001d90: MSTORE 00001d91: PUSH1 0xa4 00001d93: ADD 00001d94: PUSH2 0x08bf 00001d97: JUMP 00001d98: JUMPDEST 00001d99: PUSH1 0x00 00001d9b: PUSH2 0x1da6 00001d9e: PUSH2 0x0dd5 00001da1: DUP4 00001da2: PUSH2 0x215e 00001da5: JUMP 00001da6: JUMPDEST 00001da7: SWAP1 00001da8: POP 00001da9: DUP2 00001daa: PUSH1 0x00 00001dac: ADD 00001dad: MLOAD 00001dae: PUSH1 0x01 00001db0: PUSH1 0x01 00001db2: PUSH1 0xa0 00001db4: SHL 00001db5: SUB 00001db6: AND 00001db7: DUP2 00001db8: PUSH1 0x01 00001dba: PUSH1 0x01 00001dbc: PUSH1 0xa0 00001dbe: SHL 00001dbf: SUB 00001dc0: AND 00001dc1: EQ 00001dc2: PUSH2 0x1ddd 00001dc5: JUMPI 00001dc6: PUSH1 0x40 00001dc8: MLOAD 00001dc9: PUSH3 0x461bcd 00001dcd: PUSH1 0xe5 00001dcf: SHL 00001dd0: DUP2 00001dd1: MSTORE 00001dd2: PUSH1 0x04 00001dd4: ADD 00001dd5: PUSH2 0x08bf 00001dd8: SWAP1 00001dd9: PUSH2 0x365b 00001ddc: JUMP 00001ddd: JUMPDEST 00001dde: PUSH1 0x00 00001de0: PUSH2 0x1deb 00001de3: PUSH2 0x0e24 00001de6: DUP5 00001de7: PUSH2 0x215e 00001dea: JUMP 00001deb: JUMPDEST 00001dec: PUSH1 0x03 00001dee: SLOAD 00001def: SWAP1 00001df0: SWAP2 00001df1: POP 00001df2: PUSH1 0x01 00001df4: PUSH1 0x01 00001df6: PUSH1 0xa0 00001df8: SHL 00001df9: SUB 00001dfa: DUP1 00001dfb: DUP4 00001dfc: AND 00001dfd: SWAP2 00001dfe: AND 00001dff: EQ 00001e00: PUSH2 0x1e1b 00001e03: JUMPI 00001e04: PUSH1 0x40 00001e06: MLOAD 00001e07: PUSH3 0x461bcd 00001e0b: PUSH1 0xe5 00001e0d: SHL 00001e0e: DUP2 00001e0f: MSTORE 00001e10: PUSH1 0x04 00001e12: ADD 00001e13: PUSH2 0x08bf 00001e16: SWAP1 00001e17: PUSH2 0x36d5 00001e1a: JUMP 00001e1b: JUMPDEST 00001e1c: DUP3 00001e1d: MLOAD 00001e1e: PUSH1 0x01 00001e20: PUSH1 0x01 00001e22: PUSH1 0xa0 00001e24: SHL 00001e25: SUB 00001e26: AND 00001e27: PUSH1 0x00 00001e29: SWAP1 00001e2a: DUP2 00001e2b: MSTORE 00001e2c: PUSH1 0x07 00001e2e: PUSH1 0x20 00001e30: SWAP1 00001e31: DUP2 00001e32: MSTORE 00001e33: PUSH1 0x40 00001e35: SWAP1 00001e36: SWAP2 00001e37: KECCAK256 00001e38: SLOAD 00001e39: SWAP1 00001e3a: DUP5 00001e3b: ADD 00001e3c: MLOAD 00001e3d: PUSH2 0x1e46 00001e40: SWAP2 00001e41: SWAP1 00001e42: PUSH2 0x21a5 00001e45: JUMP 00001e46: JUMPDEST 00001e47: PUSH1 0x40 00001e49: DUP1 00001e4a: DUP5 00001e4b: ADD 00001e4c: MLOAD 00001e4d: DUP5 00001e4e: MLOAD 00001e4f: PUSH1 0x01 00001e51: PUSH1 0x01 00001e53: PUSH1 0xa0 00001e55: SHL 00001e56: SUB 00001e57: SWAP1 00001e58: DUP2 00001e59: AND 00001e5a: PUSH1 0x00 00001e5c: SWAP1 00001e5d: DUP2 00001e5e: MSTORE 00001e5f: PUSH1 0x06 00001e61: PUSH1 0x20 00001e63: SWAP1 00001e64: DUP2 00001e65: MSTORE 00001e66: DUP5 00001e67: DUP3 00001e68: KECCAK256 00001e69: SWAP4 00001e6a: SWAP1 00001e6b: SWAP4 00001e6c: SSTORE 00001e6d: DUP3 00001e6e: DUP8 00001e6f: ADD 00001e70: MLOAD 00001e71: DUP8 00001e72: MLOAD 00001e73: SWAP1 00001e74: SWAP3 00001e75: AND 00001e76: DUP2 00001e77: MSTORE 00001e78: PUSH1 0x07 00001e7a: SWAP1 00001e7b: SWAP3 00001e7c: MSTORE 00001e7d: SWAP2 00001e7e: SWAP1 00001e7f: KECCAK256 00001e80: SSTORE 00001e81: PUSH2 0x1e8d 00001e84: TIMESTAMP 00001e85: PUSH3 0x093a80 00001e89: PUSH2 0x34ea 00001e8c: JUMP 00001e8d: JUMPDEST 00001e8e: PUSH1 0x09 00001e90: PUSH1 0x00 00001e92: PUSH2 0x1ead 00001e95: DUP7 00001e96: PUSH1 0x00 00001e98: ADD 00001e99: MLOAD 00001e9a: DUP8 00001e9b: PUSH1 0x20 00001e9d: ADD 00001e9e: MLOAD 00001e9f: DUP9 00001ea0: PUSH1 0x40 00001ea2: ADD 00001ea3: MLOAD 00001ea4: DUP10 00001ea5: PUSH1 0x60 00001ea7: ADD 00001ea8: MLOAD 00001ea9: PUSH2 0x17e2 00001eac: JUMP 00001ead: JUMPDEST 00001eae: DUP2 00001eaf: MSTORE 00001eb0: PUSH1 0x20 00001eb2: ADD 00001eb3: SWAP1 00001eb4: DUP2 00001eb5: MSTORE 00001eb6: PUSH1 0x20 00001eb8: ADD 00001eb9: PUSH1 0x00 00001ebb: KECCAK256 00001ebc: DUP2 00001ebd: SWAP1 00001ebe: SSTORE 00001ebf: POP 00001ec0: DUP3 00001ec1: PUSH1 0x00 00001ec3: ADD 00001ec4: MLOAD 00001ec5: PUSH1 0x01 00001ec7: PUSH1 0x01 00001ec9: PUSH1 0xa0 00001ecb: SHL 00001ecc: SUB 00001ecd: AND 00001ece: PUSH32 0x0fa670d8a6c76bc4cb7120bae0a17c3cc31485d33c4788b43c1a230e71d394e5 00001eef: DUP5 00001ef0: PUSH1 0x20 00001ef2: ADD 00001ef3: MLOAD 00001ef4: DUP6 00001ef5: PUSH1 0x40 00001ef7: ADD 00001ef8: MLOAD 00001ef9: DUP7 00001efa: PUSH1 0x60 00001efc: ADD 00001efd: MLOAD 00001efe: TIMESTAMP 00001eff: PUSH3 0x093a80 00001f03: PUSH2 0x1f0c 00001f06: SWAP2 00001f07: SWAP1 00001f08: PUSH2 0x34ea 00001f0b: JUMP 00001f0c: JUMPDEST 00001f0d: PUSH1 0x40 00001f0f: DUP1 00001f10: MLOAD 00001f11: SWAP5 00001f12: DUP6 00001f13: MSTORE 00001f14: PUSH1 0x20 00001f16: DUP6 00001f17: ADD 00001f18: SWAP4 00001f19: SWAP1 00001f1a: SWAP4 00001f1b: MSTORE 00001f1c: SWAP2 00001f1d: DUP4 00001f1e: ADD 00001f1f: MSTORE 00001f20: PUSH1 0x60 00001f22: DUP3 00001f23: ADD 00001f24: MSTORE 00001f25: PUSH1 0x80 00001f27: ADD 00001f28: PUSH2 0x0bf2 00001f2b: JUMP 00001f2c: JUMPDEST 00001f2d: PUSH2 0x1f36 00001f30: DUP3 00001f31: DUP3 00001f32: PUSH2 0x102c 00001f35: JUMP 00001f36: JUMPDEST 00001f37: PUSH2 0x08d2 00001f3a: JUMPI 00001f3b: PUSH1 0x00 00001f3d: DUP3 00001f3e: DUP2 00001f3f: MSTORE 00001f40: PUSH1 0x20 00001f42: DUP2 00001f43: DUP2 00001f44: MSTORE 00001f45: PUSH1 0x40 00001f47: DUP1 00001f48: DUP4 00001f49: KECCAK256 00001f4a: PUSH1 0x01 00001f4c: PUSH1 0x01 00001f4e: PUSH1 0xa0 00001f50: SHL 00001f51: SUB 00001f52: DUP6 00001f53: AND 00001f54: DUP5 00001f55: MSTORE 00001f56: SWAP1 00001f57: SWAP2 00001f58: MSTORE 00001f59: SWAP1 00001f5a: KECCAK256 00001f5b: DUP1 00001f5c: SLOAD 00001f5d: PUSH1 0xff 00001f5f: NOT 00001f60: AND 00001f61: PUSH1 0x01 00001f63: OR 00001f64: SWAP1 00001f65: SSTORE 00001f66: PUSH2 0x1f6c 00001f69: CALLER 00001f6a: SWAP1 00001f6b: JUMP 00001f6c: JUMPDEST 00001f6d: PUSH1 0x01 00001f6f: PUSH1 0x01 00001f71: PUSH1 0xa0 00001f73: SHL 00001f74: SUB 00001f75: AND 00001f76: DUP2 00001f77: PUSH1 0x01 00001f79: PUSH1 0x01 00001f7b: PUSH1 0xa0 00001f7d: SHL 00001f7e: SUB 00001f7f: AND 00001f80: DUP4 00001f81: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001fa2: PUSH1 0x40 00001fa4: MLOAD 00001fa5: PUSH1 0x40 00001fa7: MLOAD 00001fa8: DUP1 00001fa9: SWAP2 00001faa: SUB 00001fab: SWAP1 00001fac: LOG4 00001fad: POP 00001fae: POP 00001faf: JUMP 00001fb0: JUMPDEST 00001fb1: PUSH1 0x00 00001fb3: PUSH2 0x1025 00001fb6: DUP4 00001fb7: PUSH1 0x01 00001fb9: PUSH1 0x01 00001fbb: PUSH1 0xa0 00001fbd: SHL 00001fbe: SUB 00001fbf: DUP5 00001fc0: AND 00001fc1: PUSH2 0x26b4 00001fc4: JUMP 00001fc5: JUMPDEST 00001fc6: PUSH1 0x00 00001fc8: PUSH1 0x01 00001fca: PUSH1 0x01 00001fcc: PUSH1 0xe0 00001fce: SHL 00001fcf: SUB 00001fd0: NOT 00001fd1: DUP3 00001fd2: AND 00001fd3: PUSH4 0x7965db0b 00001fd8: PUSH1 0xe0 00001fda: SHL 00001fdb: EQ 00001fdc: DUP1 00001fdd: PUSH2 0x0818 00001fe0: JUMPI 00001fe1: POP 00001fe2: PUSH4 0x01ffc9a7 00001fe7: PUSH1 0xe0 00001fe9: SHL 00001fea: PUSH1 0x01 00001fec: PUSH1 0x01 00001fee: PUSH1 0xe0 00001ff0: SHL 00001ff1: SUB 00001ff2: NOT 00001ff3: DUP4 00001ff4: AND 00001ff5: EQ 00001ff6: PUSH2 0x0818 00001ff9: JUMP 00001ffa: JUMPDEST 00001ffb: PUSH2 0x2012 00001ffe: PUSH1 0x00 00002000: DUP1 00002001: MLOAD 00002002: PUSH1 0x20 00002004: PUSH2 0x38a2 00002007: DUP4 00002008: CODECOPY 00002009: DUP2 0000200a: MLOAD 0000200b: SWAP2 0000200c: MSTORE 0000200d: DUP3 0000200e: PUSH2 0x0853 00002011: JUMP 00002012: JUMPDEST 00002013: PUSH1 0x40 00002015: MLOAD 00002016: PUSH1 0x01 00002018: PUSH1 0x01 0000201a: PUSH1 0xa0 0000201c: SHL 0000201d: SUB 0000201e: DUP3 0000201f: AND 00002020: SWAP1 00002021: PUSH32 0xe522b87acd91c0ddd687ad5a469acffe69b08b5809ed528b823949a291e51816 00002042: SWAP1 00002043: PUSH1 0x00 00002045: SWAP1 00002046: LOG2 00002047: POP 00002048: JUMP 00002049: JUMPDEST 0000204a: PUSH2 0x105e 0000204d: DUP2 0000204e: CALLER 0000204f: PUSH2 0x2703 00002052: JUMP 00002053: JUMPDEST 00002054: PUSH2 0x205d 00002057: DUP3 00002058: DUP3 00002059: PUSH2 0x1f2c 0000205c: JUMP 0000205d: JUMPDEST 0000205e: PUSH1 0x00 00002060: DUP3 00002061: DUP2 00002062: MSTORE 00002063: PUSH1 0x01 00002065: PUSH1 0x20 00002067: MSTORE 00002068: PUSH1 0x40 0000206a: SWAP1 0000206b: KECCAK256 0000206c: PUSH2 0x084e 0000206f: SWAP1 00002070: DUP3 00002071: PUSH2 0x1fb0 00002074: JUMP 00002075: JUMPDEST 00002076: PUSH2 0x207f 00002079: DUP3 0000207a: DUP3 0000207b: PUSH2 0x275c 0000207e: JUMP 0000207f: JUMPDEST 00002080: PUSH1 0x00 00002082: PUSH2 0x208a 00002085: DUP4 00002086: PUSH2 0x1905 00002089: JUMP 0000208a: JUMPDEST 0000208b: SWAP1 0000208c: POP 0000208d: PUSH1 0x00 0000208f: DUP2 00002090: GT 00002091: PUSH2 0x084e 00002094: JUMPI 00002095: PUSH1 0x40 00002097: MLOAD 00002098: PUSH3 0x461bcd 0000209c: PUSH1 0xe5 0000209e: SHL 0000209f: DUP2 000020a0: MSTORE 000020a1: PUSH1 0x20 000020a3: PUSH1 0x04 000020a5: DUP3 000020a6: ADD 000020a7: MSTORE 000020a8: PUSH1 0x36 000020aa: PUSH1 0x24 000020ac: DUP3 000020ad: ADD 000020ae: MSTORE 000020af: PUSH32 0x4f70657261746f72526f6c653a20636f6e7472616374206d7573742068617665 000020d0: PUSH1 0x44 000020d2: DUP3 000020d3: ADD 000020d4: MSTORE 000020d5: PUSH22 0x1030ba103632b0b9ba1037b7329037b832b930ba37b9 000020ec: PUSH1 0x51 000020ee: SHL 000020ef: PUSH1 0x64 000020f1: DUP3 000020f2: ADD 000020f3: MSTORE 000020f4: PUSH1 0x84 000020f6: ADD 000020f7: PUSH2 0x08bf 000020fa: JUMP 000020fb: JUMPDEST 000020fc: PUSH1 0x40 000020fe: MLOAD 000020ff: PUSH1 0x01 00002101: PUSH1 0x01 00002103: PUSH1 0xa0 00002105: SHL 00002106: SUB 00002107: DUP4 00002108: AND 00002109: PUSH1 0x24 0000210b: DUP3 0000210c: ADD 0000210d: MSTORE 0000210e: PUSH1 0x44 00002110: DUP2 00002111: ADD 00002112: DUP3 00002113: SWAP1 00002114: MSTORE 00002115: PUSH2 0x084e 00002118: SWAP1 00002119: DUP5 0000211a: SWAP1 0000211b: PUSH4 0xa9059cbb 00002120: PUSH1 0xe0 00002122: SHL 00002123: SWAP1 00002124: PUSH1 0x64 00002126: ADD 00002127: JUMPDEST 00002128: PUSH1 0x40 0000212a: DUP1 0000212b: MLOAD 0000212c: PUSH1 0x1f 0000212e: NOT 0000212f: DUP2 00002130: DUP5 00002131: SUB 00002132: ADD 00002133: DUP2 00002134: MSTORE 00002135: SWAP2 00002136: SWAP1 00002137: MSTORE 00002138: PUSH1 0x20 0000213a: DUP2 0000213b: ADD 0000213c: DUP1 0000213d: MLOAD 0000213e: PUSH1 0x01 00002140: PUSH1 0x01 00002142: PUSH1 0xe0 00002144: SHL 00002145: SUB 00002146: AND 00002147: PUSH1 0x01 00002149: PUSH1 0x01 0000214b: PUSH1 0xe0 0000214d: SHL 0000214e: SUB 0000214f: NOT 00002150: SWAP1 00002151: SWAP4 00002152: AND 00002153: SWAP3 00002154: SWAP1 00002155: SWAP3 00002156: OR 00002157: SWAP1 00002158: SWAP2 00002159: MSTORE 0000215a: PUSH2 0x277e 0000215d: JUMP 0000215e: JUMPDEST 0000215f: PUSH1 0x00 00002161: PUSH2 0x0818 00002164: DUP3 00002165: PUSH1 0x00 00002167: ADD 00002168: MLOAD 00002169: DUP4 0000216a: PUSH1 0x20 0000216c: ADD 0000216d: MLOAD 0000216e: DUP5 0000216f: PUSH1 0x40 00002171: ADD 00002172: MLOAD 00002173: DUP6 00002174: PUSH1 0x60 00002176: ADD 00002177: MLOAD 00002178: DUP7 00002179: PUSH1 0x80 0000217b: ADD 0000217c: MLOAD 0000217d: PUSH2 0x1a73 00002180: JUMP 00002181: JUMPDEST 00002182: PUSH1 0x00 00002184: DUP1 00002185: PUSH1 0x00 00002187: PUSH2 0x2190 0000218a: DUP6 0000218b: DUP6 0000218c: PUSH2 0x2853 0000218f: JUMP 00002190: JUMPDEST 00002191: SWAP2 00002192: POP 00002193: SWAP2 00002194: POP 00002195: PUSH2 0x219d 00002198: DUP2 00002199: PUSH2 0x2899 0000219c: JUMP 0000219d: JUMPDEST 0000219e: POP 0000219f: SWAP4 000021a0: SWAP3 000021a1: POP 000021a2: POP 000021a3: POP 000021a4: JUMP 000021a5: JUMPDEST 000021a6: DUP2 000021a7: DUP2 000021a8: LT 000021a9: ISZERO 000021aa: PUSH2 0x2253 000021ad: JUMPI 000021ae: PUSH1 0x00 000021b0: PUSH2 0x21b9 000021b3: DUP3 000021b4: DUP5 000021b5: PUSH2 0x34d3 000021b8: JUMP 000021b9: JUMPDEST 000021ba: SWAP1 000021bb: POP 000021bc: DUP1 000021bd: PUSH1 0x0b 000021bf: SLOAD 000021c0: LT 000021c1: ISZERO 000021c2: PUSH2 0x2235 000021c5: JUMPI 000021c6: PUSH1 0x40 000021c8: DUP1 000021c9: MLOAD 000021ca: PUSH3 0x461bcd 000021ce: PUSH1 0xe5 000021d0: SHL 000021d1: DUP2 000021d2: MSTORE 000021d3: PUSH1 0x20 000021d5: PUSH1 0x04 000021d7: DUP3 000021d8: ADD 000021d9: MSTORE 000021da: PUSH1 0x24 000021dc: DUP2 000021dd: ADD 000021de: SWAP2 000021df: SWAP1 000021e0: SWAP2 000021e1: MSTORE 000021e2: PUSH32 0x496e76616c696420726566756e643a20726566756e64416d6f756e742063616e 00002203: PUSH1 0x44 00002205: DUP3 00002206: ADD 00002207: MSTORE 00002208: PUSH32 0x6e6f742065786365656420746f74616c436c61696d61626c65416d6f756e742e 00002229: PUSH1 0x64 0000222b: DUP3 0000222c: ADD 0000222d: MSTORE 0000222e: PUSH1 0x84 00002230: ADD 00002231: PUSH2 0x08bf 00002234: JUMP 00002235: JUMPDEST 00002236: DUP1 00002237: PUSH1 0x0b 00002239: PUSH1 0x00 0000223b: DUP3 0000223c: DUP3 0000223d: SLOAD 0000223e: PUSH2 0x2247 00002241: SWAP2 00002242: SWAP1 00002243: PUSH2 0x34d3 00002246: JUMP 00002247: JUMPDEST 00002248: SWAP1 00002249: SWAP2 0000224a: SSTORE 0000224b: POP 0000224c: PUSH2 0x08d2 0000224f: SWAP2 00002250: POP 00002251: POP 00002252: JUMP 00002253: JUMPDEST 00002254: PUSH2 0x225d 00002257: DUP3 00002258: DUP3 00002259: PUSH2 0x34d3 0000225c: JUMP 0000225d: JUMPDEST 0000225e: PUSH1 0x0b 00002260: PUSH1 0x00 00002262: DUP3 00002263: DUP3 00002264: SLOAD 00002265: PUSH2 0x226e 00002268: SWAP2 00002269: SWAP1 0000226a: PUSH2 0x34ea 0000226d: JUMP 0000226e: JUMPDEST 0000226f: SWAP1 00002270: SWAP2 00002271: SSTORE 00002272: POP 00002273: POP 00002274: POP 00002275: POP 00002276: JUMP 00002277: JUMPDEST 00002278: PUSH1 0x01 0000227a: PUSH1 0x01 0000227c: PUSH1 0xa0 0000227e: SHL 0000227f: SUB 00002280: DUP5 00002281: AND 00002282: PUSH1 0x00 00002284: SWAP1 00002285: DUP2 00002286: MSTORE 00002287: PUSH1 0x0a 00002289: PUSH1 0x20 0000228b: MSTORE 0000228c: PUSH1 0x40 0000228e: SWAP1 0000228f: KECCAK256 00002290: SLOAD 00002291: DUP4 00002292: GT 00002293: PUSH2 0x2304 00002296: JUMPI 00002297: PUSH1 0x40 00002299: MLOAD 0000229a: PUSH3 0x461bcd 0000229e: PUSH1 0xe5 000022a0: SHL 000022a1: DUP2 000022a2: MSTORE 000022a3: PUSH1 0x20 000022a5: PUSH1 0x04 000022a7: DUP3 000022a8: ADD 000022a9: MSTORE 000022aa: PUSH1 0x39 000022ac: PUSH1 0x24 000022ae: DUP3 000022af: ADD 000022b0: MSTORE 000022b1: PUSH32 0x496e76616c696420636c61696d3a207468657265206973206e6f7468696e6720 000022d2: PUSH1 0x44 000022d4: DUP3 000022d5: ADD 000022d6: MSTORE 000022d7: PUSH32 0x666f722074686520636c61696d657220746f20636c61696d2e00000000000000 000022f8: PUSH1 0x64 000022fa: DUP3 000022fb: ADD 000022fc: MSTORE 000022fd: PUSH1 0x84 000022ff: ADD 00002300: PUSH2 0x08bf 00002303: JUMP 00002304: JUMPDEST 00002305: PUSH1 0x00 00002307: PUSH2 0x2319 0000230a: PUSH2 0x2313 0000230d: DUP7 0000230e: DUP7 0000230f: PUSH2 0x19bc 00002312: JUMP 00002313: JUMPDEST 00002314: DUP5 00002315: PUSH2 0x2181 00002318: JUMP 00002319: JUMPDEST 0000231a: PUSH1 0x04 0000231c: SLOAD 0000231d: SWAP1 0000231e: SWAP2 0000231f: POP 00002320: PUSH1 0x01 00002322: PUSH1 0x01 00002324: PUSH1 0xa0 00002326: SHL 00002327: SUB 00002328: DUP1 00002329: DUP4 0000232a: AND 0000232b: SWAP2 0000232c: AND 0000232d: EQ 0000232e: PUSH2 0x23b4 00002331: JUMPI 00002332: PUSH1 0x40 00002334: MLOAD 00002335: PUSH3 0x461bcd 00002339: PUSH1 0xe5 0000233b: SHL 0000233c: DUP2 0000233d: MSTORE 0000233e: PUSH1 0x20 00002340: PUSH1 0x04 00002342: DUP3 00002343: ADD 00002344: MSTORE 00002345: PUSH1 0x4c 00002347: PUSH1 0x24 00002349: DUP3 0000234a: ADD 0000234b: MSTORE 0000234c: PUSH32 0x496e76616c696420636c61696d3a20636c61696d4e6f74617279416464726573 0000236d: PUSH1 0x44 0000236f: DUP3 00002370: ADD 00002371: MSTORE 00002372: PUSH32 0x73206973206e6f7420746865207369676e6572206f6620636c61696d4e6f7461 00002393: PUSH1 0x64 00002395: DUP3 00002396: ADD 00002397: MSTORE 00002398: PUSH12 0x393ca9b4b3b730ba3ab93297 000023a5: PUSH1 0xa1 000023a7: SHL 000023a8: PUSH1 0x84 000023aa: DUP3 000023ab: ADD 000023ac: MSTORE 000023ad: PUSH1 0xa4 000023af: ADD 000023b0: PUSH2 0x08bf 000023b3: JUMP 000023b4: JUMPDEST 000023b5: PUSH1 0x01 000023b7: PUSH1 0x01 000023b9: PUSH1 0xa0 000023bb: SHL 000023bc: SUB 000023bd: DUP6 000023be: AND 000023bf: PUSH1 0x00 000023c1: SWAP1 000023c2: DUP2 000023c3: MSTORE 000023c4: PUSH1 0x0a 000023c6: PUSH1 0x20 000023c8: MSTORE 000023c9: PUSH1 0x40 000023cb: DUP2 000023cc: KECCAK256 000023cd: SLOAD 000023ce: PUSH2 0x23d7 000023d1: SWAP1 000023d2: DUP7 000023d3: PUSH2 0x34d3 000023d6: JUMP 000023d7: JUMPDEST 000023d8: SWAP1 000023d9: POP 000023da: PUSH1 0x0b 000023dc: SLOAD 000023dd: DUP2 000023de: GT 000023df: ISZERO 000023e0: PUSH2 0x2461 000023e3: JUMPI 000023e4: PUSH1 0x40 000023e6: MLOAD 000023e7: PUSH3 0x461bcd 000023eb: PUSH1 0xe5 000023ed: SHL 000023ee: DUP2 000023ef: MSTORE 000023f0: PUSH1 0x20 000023f2: PUSH1 0x04 000023f4: DUP3 000023f5: ADD 000023f6: MSTORE 000023f7: PUSH1 0x47 000023f9: PUSH1 0x24 000023fb: DUP3 000023fc: ADD 000023fd: MSTORE 000023fe: PUSH32 0x496e76616c696420636c61696d3a2070726f766964656420636c61696d416d6f 0000241f: PUSH1 0x44 00002421: DUP3 00002422: ADD 00002423: MSTORE 00002424: PUSH32 0x756e742063616e6e6f742065786365656420746f74616c436c61696d61626c65 00002445: PUSH1 0x64 00002447: DUP3 00002448: ADD 00002449: MSTORE 0000244a: PUSH7 0x20b6b7bab73a17 00002452: PUSH1 0xc9 00002454: SHL 00002455: PUSH1 0x84 00002457: DUP3 00002458: ADD 00002459: MSTORE 0000245a: PUSH1 0xa4 0000245c: ADD 0000245d: PUSH2 0x08bf 00002460: JUMP 00002461: JUMPDEST 00002462: PUSH1 0x01 00002464: PUSH1 0x01 00002466: PUSH1 0xa0 00002468: SHL 00002469: SUB 0000246a: DUP7 0000246b: AND 0000246c: PUSH1 0x00 0000246e: SWAP1 0000246f: DUP2 00002470: MSTORE 00002471: PUSH1 0x0a 00002473: PUSH1 0x20 00002475: MSTORE 00002476: PUSH1 0x40 00002478: DUP2 00002479: KECCAK256 0000247a: DUP7 0000247b: SWAP1 0000247c: SSTORE 0000247d: PUSH1 0x0b 0000247f: DUP1 00002480: SLOAD 00002481: DUP4 00002482: SWAP3 00002483: SWAP1 00002484: PUSH2 0x248e 00002487: SWAP1 00002488: DUP5 00002489: SWAP1 0000248a: PUSH2 0x34d3 0000248d: JUMP 0000248e: JUMPDEST 0000248f: SWAP1 00002490: SWAP2 00002491: SSTORE 00002492: POP 00002493: POP 00002494: DUP3 00002495: ISZERO 00002496: PUSH2 0x25a7 00002499: JUMPI 0000249a: PUSH1 0x40 0000249c: MLOAD 0000249d: PUSH4 0x2e1a7d4d 000024a2: PUSH1 0xe0 000024a4: SHL 000024a5: DUP2 000024a6: MSTORE 000024a7: PUSH1 0x04 000024a9: DUP2 000024aa: ADD 000024ab: DUP3 000024ac: SWAP1 000024ad: MSTORE 000024ae: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000024c3: SWAP1 000024c4: PUSH4 0x2e1a7d4d 000024c9: SWAP1 000024ca: PUSH1 0x24 000024cc: ADD 000024cd: PUSH1 0x00 000024cf: PUSH1 0x40 000024d1: MLOAD 000024d2: DUP1 000024d3: DUP4 000024d4: SUB 000024d5: DUP2 000024d6: PUSH1 0x00 000024d8: DUP8 000024d9: DUP1 000024da: EXTCODESIZE 000024db: ISZERO 000024dc: DUP1 000024dd: ISZERO 000024de: PUSH2 0x24e6 000024e1: JUMPI 000024e2: PUSH1 0x00 000024e4: DUP1 000024e5: REVERT 000024e6: JUMPDEST 000024e7: POP 000024e8: GAS 000024e9: CALL 000024ea: ISZERO 000024eb: DUP1 000024ec: ISZERO 000024ed: PUSH2 0x24fa 000024f0: JUMPI 000024f1: RETURNDATASIZE 000024f2: PUSH1 0x00 000024f4: DUP1 000024f5: RETURNDATACOPY 000024f6: RETURNDATASIZE 000024f7: PUSH1 0x00 000024f9: REVERT 000024fa: JUMPDEST 000024fb: POP 000024fc: POP 000024fd: POP 000024fe: POP 000024ff: PUSH1 0x00 00002501: DUP7 00002502: PUSH1 0x01 00002504: PUSH1 0x01 00002506: PUSH1 0xa0 00002508: SHL 00002509: SUB 0000250a: AND 0000250b: DUP3 0000250c: PUSH1 0x40 0000250e: MLOAD 0000250f: PUSH1 0x00 00002511: PUSH1 0x40 00002513: MLOAD 00002514: DUP1 00002515: DUP4 00002516: SUB 00002517: DUP2 00002518: DUP6 00002519: DUP8 0000251a: GAS 0000251b: CALL 0000251c: SWAP3 0000251d: POP 0000251e: POP 0000251f: POP 00002520: RETURNDATASIZE 00002521: DUP1 00002522: PUSH1 0x00 00002524: DUP2 00002525: EQ 00002526: PUSH2 0x254b 00002529: JUMPI 0000252a: PUSH1 0x40 0000252c: MLOAD 0000252d: SWAP2 0000252e: POP 0000252f: PUSH1 0x1f 00002531: NOT 00002532: PUSH1 0x3f 00002534: RETURNDATASIZE 00002535: ADD 00002536: AND 00002537: DUP3 00002538: ADD 00002539: PUSH1 0x40 0000253b: MSTORE 0000253c: RETURNDATASIZE 0000253d: DUP3 0000253e: MSTORE 0000253f: RETURNDATASIZE 00002540: PUSH1 0x00 00002542: PUSH1 0x20 00002544: DUP5 00002545: ADD 00002546: RETURNDATACOPY 00002547: PUSH2 0x2550 0000254a: JUMP 0000254b: JUMPDEST 0000254c: PUSH1 0x60 0000254e: SWAP2 0000254f: POP 00002550: JUMPDEST 00002551: POP 00002552: POP 00002553: SWAP1 00002554: POP 00002555: DUP1 00002556: PUSH2 0x25a1 00002559: JUMPI 0000255a: PUSH1 0x40 0000255c: MLOAD 0000255d: PUSH3 0x461bcd 00002561: PUSH1 0xe5 00002563: SHL 00002564: DUP2 00002565: MSTORE 00002566: PUSH1 0x20 00002568: PUSH1 0x04 0000256a: DUP3 0000256b: ADD 0000256c: DUP2 0000256d: SWAP1 0000256e: MSTORE 0000256f: PUSH1 0x24 00002571: DUP3 00002572: ADD 00002573: MSTORE 00002574: PUSH32 0x436c61696d206572726f723a204661696c656420746f2073656e64204554482e 00002595: PUSH1 0x44 00002597: DUP3 00002598: ADD 00002599: MSTORE 0000259a: PUSH1 0x64 0000259c: ADD 0000259d: PUSH2 0x08bf 000025a0: JUMP 000025a1: JUMPDEST 000025a2: POP 000025a3: PUSH2 0x25c6 000025a6: JUMP 000025a7: JUMPDEST 000025a8: PUSH2 0x25c6 000025ab: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000025c0: DUP8 000025c1: DUP4 000025c2: PUSH2 0x20fb 000025c5: JUMP 000025c6: JUMPDEST 000025c7: DUP6 000025c8: PUSH1 0x01 000025ca: PUSH1 0x01 000025cc: PUSH1 0xa0 000025ce: SHL 000025cf: SUB 000025d0: AND 000025d1: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 000025f2: DUP3 000025f3: PUSH1 0x40 000025f5: MLOAD 000025f6: PUSH2 0x2601 000025f9: SWAP2 000025fa: DUP2 000025fb: MSTORE 000025fc: PUSH1 0x20 000025fe: ADD 000025ff: SWAP1 00002600: JUMP 00002601: JUMPDEST 00002602: PUSH1 0x40 00002604: MLOAD 00002605: DUP1 00002606: SWAP2 00002607: SUB 00002608: SWAP1 00002609: LOG2 0000260a: POP 0000260b: POP 0000260c: POP 0000260d: POP 0000260e: POP 0000260f: POP 00002610: JUMP 00002611: JUMPDEST 00002612: PUSH1 0x00 00002614: PUSH2 0x1025 00002617: DUP4 00002618: DUP4 00002619: PUSH2 0x29e7 0000261c: JUMP 0000261d: JUMPDEST 0000261e: PUSH2 0x2635 00002621: PUSH1 0x00 00002623: DUP1 00002624: MLOAD 00002625: PUSH1 0x20 00002627: PUSH2 0x38a2 0000262a: DUP4 0000262b: CODECOPY 0000262c: DUP2 0000262d: MLOAD 0000262e: SWAP2 0000262f: MSTORE 00002630: DUP3 00002631: PUSH2 0x0829 00002634: JUMP 00002635: JUMPDEST 00002636: PUSH1 0x40 00002638: MLOAD 00002639: PUSH1 0x01 0000263b: PUSH1 0x01 0000263d: PUSH1 0xa0 0000263f: SHL 00002640: SUB 00002641: DUP3 00002642: AND 00002643: SWAP1 00002644: PUSH32 0x62cb02f3de5017db2b7d0bffac1845be0b5034dc8dbde6e56dd561e2b22446c2 00002665: SWAP1 00002666: PUSH1 0x00 00002668: SWAP1 00002669: LOG2 0000266a: POP 0000266b: JUMP 0000266c: JUMPDEST 0000266d: PUSH1 0x40 0000266f: MLOAD 00002670: PUSH1 0x01 00002672: PUSH1 0x01 00002674: PUSH1 0xa0 00002676: SHL 00002677: SUB 00002678: DUP1 00002679: DUP6 0000267a: AND 0000267b: PUSH1 0x24 0000267d: DUP4 0000267e: ADD 0000267f: MSTORE 00002680: DUP4 00002681: AND 00002682: PUSH1 0x44 00002684: DUP3 00002685: ADD 00002686: MSTORE 00002687: PUSH1 0x64 00002689: DUP2 0000268a: ADD 0000268b: DUP3 0000268c: SWAP1 0000268d: MSTORE 0000268e: PUSH2 0x26a4 00002691: SWAP1 00002692: DUP6 00002693: SWAP1 00002694: PUSH4 0x23b872dd 00002699: PUSH1 0xe0 0000269b: SHL 0000269c: SWAP1 0000269d: PUSH1 0x84 0000269f: ADD 000026a0: PUSH2 0x2127 000026a3: JUMP 000026a4: JUMPDEST 000026a5: POP 000026a6: POP 000026a7: POP 000026a8: POP 000026a9: JUMP 000026aa: JUMPDEST 000026ab: PUSH1 0x00 000026ad: PUSH2 0x0818 000026b0: DUP3 000026b1: SLOAD 000026b2: SWAP1 000026b3: JUMP 000026b4: JUMPDEST 000026b5: PUSH1 0x00 000026b7: DUP2 000026b8: DUP2 000026b9: MSTORE 000026ba: PUSH1 0x01 000026bc: DUP4 000026bd: ADD 000026be: PUSH1 0x20 000026c0: MSTORE 000026c1: PUSH1 0x40 000026c3: DUP2 000026c4: KECCAK256 000026c5: SLOAD 000026c6: PUSH2 0x26fb 000026c9: JUMPI 000026ca: POP 000026cb: DUP2 000026cc: SLOAD 000026cd: PUSH1 0x01 000026cf: DUP2 000026d0: DUP2 000026d1: ADD 000026d2: DUP5 000026d3: SSTORE 000026d4: PUSH1 0x00 000026d6: DUP5 000026d7: DUP2 000026d8: MSTORE 000026d9: PUSH1 0x20 000026db: DUP1 000026dc: DUP3 000026dd: KECCAK256 000026de: SWAP1 000026df: SWAP4 000026e0: ADD 000026e1: DUP5 000026e2: SWAP1 000026e3: SSTORE 000026e4: DUP5 000026e5: SLOAD 000026e6: DUP5 000026e7: DUP3 000026e8: MSTORE 000026e9: DUP3 000026ea: DUP7 000026eb: ADD 000026ec: SWAP1 000026ed: SWAP4 000026ee: MSTORE 000026ef: PUSH1 0x40 000026f1: SWAP1 000026f2: KECCAK256 000026f3: SWAP2 000026f4: SWAP1 000026f5: SWAP2 000026f6: SSTORE 000026f7: PUSH2 0x0818 000026fa: JUMP 000026fb: JUMPDEST 000026fc: POP 000026fd: PUSH1 0x00 000026ff: PUSH2 0x0818 00002702: JUMP 00002703: JUMPDEST 00002704: PUSH2 0x270d 00002707: DUP3 00002708: DUP3 00002709: PUSH2 0x102c 0000270c: JUMP 0000270d: JUMPDEST 0000270e: PUSH2 0x08d2 00002711: JUMPI 00002712: PUSH2 0x271a 00002715: DUP2 00002716: PUSH2 0x2a11 00002719: JUMP 0000271a: JUMPDEST 0000271b: PUSH2 0x2725 0000271e: DUP4 0000271f: PUSH1 0x20 00002721: PUSH2 0x2a23 00002724: JUMP 00002725: JUMPDEST 00002726: PUSH1 0x40 00002728: MLOAD 00002729: PUSH1 0x20 0000272b: ADD 0000272c: PUSH2 0x2736 0000272f: SWAP3 00002730: SWAP2 00002731: SWAP1 00002732: PUSH2 0x37a8 00002735: JUMP 00002736: JUMPDEST 00002737: PUSH1 0x40 00002739: DUP1 0000273a: MLOAD 0000273b: PUSH1 0x1f 0000273d: NOT 0000273e: DUP2 0000273f: DUP5 00002740: SUB 00002741: ADD 00002742: DUP2 00002743: MSTORE 00002744: SWAP1 00002745: DUP3 00002746: SWAP1 00002747: MSTORE 00002748: PUSH3 0x461bcd 0000274c: PUSH1 0xe5 0000274e: SHL 0000274f: DUP3 00002750: MSTORE 00002751: PUSH2 0x08bf 00002754: SWAP2 00002755: PUSH1 0x04 00002757: ADD 00002758: PUSH2 0x32d9 0000275b: JUMP 0000275c: JUMPDEST 0000275d: PUSH2 0x2766 00002760: DUP3 00002761: DUP3 00002762: PUSH2 0x2bbf 00002765: JUMP 00002766: JUMPDEST 00002767: PUSH1 0x00 00002769: DUP3 0000276a: DUP2 0000276b: MSTORE 0000276c: PUSH1 0x01 0000276e: PUSH1 0x20 00002770: MSTORE 00002771: PUSH1 0x40 00002773: SWAP1 00002774: KECCAK256 00002775: PUSH2 0x084e 00002778: SWAP1 00002779: DUP3 0000277a: PUSH2 0x2c24 0000277d: JUMP 0000277e: JUMPDEST 0000277f: PUSH1 0x00 00002781: PUSH2 0x27d3 00002784: DUP3 00002785: PUSH1 0x40 00002787: MLOAD 00002788: DUP1 00002789: PUSH1 0x40 0000278b: ADD 0000278c: PUSH1 0x40 0000278e: MSTORE 0000278f: DUP1 00002790: PUSH1 0x20 00002792: DUP2 00002793: MSTORE 00002794: PUSH1 0x20 00002796: ADD 00002797: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000027b8: DUP2 000027b9: MSTORE 000027ba: POP 000027bb: DUP6 000027bc: PUSH1 0x01 000027be: PUSH1 0x01 000027c0: PUSH1 0xa0 000027c2: SHL 000027c3: SUB 000027c4: AND 000027c5: PUSH2 0x2c39 000027c8: SWAP1 000027c9: SWAP3 000027ca: SWAP2 000027cb: SWAP1 000027cc: PUSH4 0xffffffff 000027d1: AND 000027d2: JUMP 000027d3: JUMPDEST 000027d4: SWAP1 000027d5: POP 000027d6: DUP1 000027d7: MLOAD 000027d8: PUSH1 0x00 000027da: EQ 000027db: DUP1 000027dc: PUSH2 0x27f4 000027df: JUMPI 000027e0: POP 000027e1: DUP1 000027e2: DUP1 000027e3: PUSH1 0x20 000027e5: ADD 000027e6: SWAP1 000027e7: MLOAD 000027e8: DUP2 000027e9: ADD 000027ea: SWAP1 000027eb: PUSH2 0x27f4 000027ee: SWAP2 000027ef: SWAP1 000027f0: PUSH2 0x381d 000027f3: JUMP 000027f4: JUMPDEST 000027f5: PUSH2 0x084e 000027f8: JUMPI 000027f9: PUSH1 0x40 000027fb: MLOAD 000027fc: PUSH3 0x461bcd 00002800: PUSH1 0xe5 00002802: SHL 00002803: DUP2 00002804: MSTORE 00002805: PUSH1 0x20 00002807: PUSH1 0x04 00002809: DUP3 0000280a: ADD 0000280b: MSTORE 0000280c: PUSH1 0x2a 0000280e: PUSH1 0x24 00002810: DUP3 00002811: ADD 00002812: MSTORE 00002813: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00002834: PUSH1 0x44 00002836: DUP3 00002837: ADD 00002838: MSTORE 00002839: PUSH10 0x1bdd081cdd58d8d95959 00002844: PUSH1 0xb2 00002846: SHL 00002847: PUSH1 0x64 00002849: DUP3 0000284a: ADD 0000284b: MSTORE 0000284c: PUSH1 0x84 0000284e: ADD 0000284f: PUSH2 0x08bf 00002852: JUMP 00002853: JUMPDEST 00002854: PUSH1 0x00 00002856: DUP1 00002857: DUP3 00002858: MLOAD 00002859: PUSH1 0x41 0000285b: EQ 0000285c: ISZERO 0000285d: PUSH2 0x288a 00002860: JUMPI 00002861: PUSH1 0x20 00002863: DUP4 00002864: ADD 00002865: MLOAD 00002866: PUSH1 0x40 00002868: DUP5 00002869: ADD 0000286a: MLOAD 0000286b: PUSH1 0x60 0000286d: DUP6 0000286e: ADD 0000286f: MLOAD 00002870: PUSH1 0x00 00002872: BYTE 00002873: PUSH2 0x287e 00002876: DUP8 00002877: DUP3 00002878: DUP6 00002879: DUP6 0000287a: PUSH2 0x2c48 0000287d: JUMP 0000287e: JUMPDEST 0000287f: SWAP5 00002880: POP 00002881: SWAP5 00002882: POP 00002883: POP 00002884: POP 00002885: POP 00002886: PUSH2 0x2892 00002889: JUMP 0000288a: JUMPDEST 0000288b: POP 0000288c: PUSH1 0x00 0000288e: SWAP1 0000288f: POP 00002890: PUSH1 0x02 00002892: JUMPDEST 00002893: SWAP3 00002894: POP 00002895: SWAP3 00002896: SWAP1 00002897: POP 00002898: JUMP 00002899: JUMPDEST 0000289a: PUSH1 0x00 0000289c: DUP2 0000289d: PUSH1 0x04 0000289f: DUP2 000028a0: GT 000028a1: ISZERO 000028a2: PUSH2 0x28ad 000028a5: JUMPI 000028a6: PUSH2 0x28ad 000028a9: PUSH2 0x383f 000028ac: JUMP 000028ad: JUMPDEST 000028ae: EQ 000028af: ISZERO 000028b0: PUSH2 0x28b6 000028b3: JUMPI 000028b4: POP 000028b5: JUMP 000028b6: JUMPDEST 000028b7: PUSH1 0x01 000028b9: DUP2 000028ba: PUSH1 0x04 000028bc: DUP2 000028bd: GT 000028be: ISZERO 000028bf: PUSH2 0x28ca 000028c2: JUMPI 000028c3: PUSH2 0x28ca 000028c6: PUSH2 0x383f 000028c9: JUMP 000028ca: JUMPDEST 000028cb: EQ 000028cc: ISZERO 000028cd: PUSH2 0x2918 000028d0: JUMPI 000028d1: PUSH1 0x40 000028d3: MLOAD 000028d4: PUSH3 0x461bcd 000028d8: PUSH1 0xe5 000028da: SHL 000028db: DUP2 000028dc: MSTORE 000028dd: PUSH1 0x20 000028df: PUSH1 0x04 000028e1: DUP3 000028e2: ADD 000028e3: MSTORE 000028e4: PUSH1 0x18 000028e6: PUSH1 0x24 000028e8: DUP3 000028e9: ADD 000028ea: MSTORE 000028eb: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 0000290c: PUSH1 0x44 0000290e: DUP3 0000290f: ADD 00002910: MSTORE 00002911: PUSH1 0x64 00002913: ADD 00002914: PUSH2 0x08bf 00002917: JUMP 00002918: JUMPDEST 00002919: PUSH1 0x02 0000291b: DUP2 0000291c: PUSH1 0x04 0000291e: DUP2 0000291f: GT 00002920: ISZERO 00002921: PUSH2 0x292c 00002924: JUMPI 00002925: PUSH2 0x292c 00002928: PUSH2 0x383f 0000292b: JUMP 0000292c: JUMPDEST 0000292d: EQ 0000292e: ISZERO 0000292f: PUSH2 0x297a 00002932: JUMPI 00002933: PUSH1 0x40 00002935: MLOAD 00002936: PUSH3 0x461bcd 0000293a: PUSH1 0xe5 0000293c: SHL 0000293d: DUP2 0000293e: MSTORE 0000293f: PUSH1 0x20 00002941: PUSH1 0x04 00002943: DUP3 00002944: ADD 00002945: MSTORE 00002946: PUSH1 0x1f 00002948: PUSH1 0x24 0000294a: DUP3 0000294b: ADD 0000294c: MSTORE 0000294d: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 0000296e: PUSH1 0x44 00002970: DUP3 00002971: ADD 00002972: MSTORE 00002973: PUSH1 0x64 00002975: ADD 00002976: PUSH2 0x08bf 00002979: JUMP 0000297a: JUMPDEST 0000297b: PUSH1 0x03 0000297d: DUP2 0000297e: PUSH1 0x04 00002980: DUP2 00002981: GT 00002982: ISZERO 00002983: PUSH2 0x298e 00002986: JUMPI 00002987: PUSH2 0x298e 0000298a: PUSH2 0x383f 0000298d: JUMP 0000298e: JUMPDEST 0000298f: EQ 00002990: ISZERO 00002991: PUSH2 0x105e 00002994: JUMPI 00002995: PUSH1 0x40 00002997: MLOAD 00002998: PUSH3 0x461bcd 0000299c: PUSH1 0xe5 0000299e: SHL 0000299f: DUP2 000029a0: MSTORE 000029a1: PUSH1 0x20 000029a3: PUSH1 0x04 000029a5: DUP3 000029a6: ADD 000029a7: MSTORE 000029a8: PUSH1 0x22 000029aa: PUSH1 0x24 000029ac: DUP3 000029ad: ADD 000029ae: MSTORE 000029af: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 000029d0: PUSH1 0x44 000029d2: DUP3 000029d3: ADD 000029d4: MSTORE 000029d5: PUSH2 0x7565 000029d8: PUSH1 0xf0 000029da: SHL 000029db: PUSH1 0x64 000029dd: DUP3 000029de: ADD 000029df: MSTORE 000029e0: PUSH1 0x84 000029e2: ADD 000029e3: PUSH2 0x08bf 000029e6: JUMP 000029e7: JUMPDEST 000029e8: PUSH1 0x00 000029ea: DUP3 000029eb: PUSH1 0x00 000029ed: ADD 000029ee: DUP3 000029ef: DUP2 000029f0: SLOAD 000029f1: DUP2 000029f2: LT 000029f3: PUSH2 0x29fe 000029f6: JUMPI 000029f7: PUSH2 0x29fe 000029fa: PUSH2 0x3502 000029fd: JUMP 000029fe: JUMPDEST 000029ff: SWAP1 00002a00: PUSH1 0x00 00002a02: MSTORE 00002a03: PUSH1 0x20 00002a05: PUSH1 0x00 00002a07: KECCAK256 00002a08: ADD 00002a09: SLOAD 00002a0a: SWAP1 00002a0b: POP 00002a0c: SWAP3 00002a0d: SWAP2 00002a0e: POP 00002a0f: POP 00002a10: JUMP 00002a11: JUMPDEST 00002a12: PUSH1 0x60 00002a14: PUSH2 0x0818 00002a17: PUSH1 0x01 00002a19: PUSH1 0x01 00002a1b: PUSH1 0xa0 00002a1d: SHL 00002a1e: SUB 00002a1f: DUP4 00002a20: AND 00002a21: PUSH1 0x14 00002a23: JUMPDEST 00002a24: PUSH1 0x60 00002a26: PUSH1 0x00 00002a28: PUSH2 0x2a32 00002a2b: DUP4 00002a2c: PUSH1 0x02 00002a2e: PUSH2 0x3855 00002a31: JUMP 00002a32: JUMPDEST 00002a33: PUSH2 0x2a3d 00002a36: SWAP1 00002a37: PUSH1 0x02 00002a39: PUSH2 0x34ea 00002a3c: JUMP 00002a3d: JUMPDEST 00002a3e: PUSH8 0xffffffffffffffff 00002a47: DUP2 00002a48: GT 00002a49: ISZERO 00002a4a: PUSH2 0x2a55 00002a4d: JUMPI 00002a4e: PUSH2 0x2a55 00002a51: PUSH2 0x301b 00002a54: JUMP 00002a55: JUMPDEST 00002a56: PUSH1 0x40 00002a58: MLOAD 00002a59: SWAP1 00002a5a: DUP1 00002a5b: DUP3 00002a5c: MSTORE 00002a5d: DUP1 00002a5e: PUSH1 0x1f 00002a60: ADD 00002a61: PUSH1 0x1f 00002a63: NOT 00002a64: AND 00002a65: PUSH1 0x20 00002a67: ADD 00002a68: DUP3 00002a69: ADD 00002a6a: PUSH1 0x40 00002a6c: MSTORE 00002a6d: DUP1 00002a6e: ISZERO 00002a6f: PUSH2 0x2a7f 00002a72: JUMPI 00002a73: PUSH1 0x20 00002a75: DUP3 00002a76: ADD 00002a77: DUP2 00002a78: DUP1 00002a79: CALLDATASIZE 00002a7a: DUP4 00002a7b: CALLDATACOPY 00002a7c: ADD 00002a7d: SWAP1 00002a7e: POP 00002a7f: JUMPDEST 00002a80: POP 00002a81: SWAP1 00002a82: POP 00002a83: PUSH1 0x03 00002a85: PUSH1 0xfc 00002a87: SHL 00002a88: DUP2 00002a89: PUSH1 0x00 00002a8b: DUP2 00002a8c: MLOAD 00002a8d: DUP2 00002a8e: LT 00002a8f: PUSH2 0x2a9a 00002a92: JUMPI 00002a93: PUSH2 0x2a9a 00002a96: PUSH2 0x3502 00002a99: JUMP 00002a9a: JUMPDEST 00002a9b: PUSH1 0x20 00002a9d: ADD 00002a9e: ADD 00002a9f: SWAP1 00002aa0: PUSH1 0x01 00002aa2: PUSH1 0x01 00002aa4: PUSH1 0xf8 00002aa6: SHL 00002aa7: SUB 00002aa8: NOT 00002aa9: AND 00002aaa: SWAP1 00002aab: DUP2 00002aac: PUSH1 0x00 00002aae: BYTE 00002aaf: SWAP1 00002ab0: MSTORE8 00002ab1: POP 00002ab2: PUSH1 0x0f 00002ab4: PUSH1 0xfb 00002ab6: SHL 00002ab7: DUP2 00002ab8: PUSH1 0x01 00002aba: DUP2 00002abb: MLOAD 00002abc: DUP2 00002abd: LT 00002abe: PUSH2 0x2ac9 00002ac1: JUMPI 00002ac2: PUSH2 0x2ac9 00002ac5: PUSH2 0x3502 00002ac8: JUMP 00002ac9: JUMPDEST 00002aca: PUSH1 0x20 00002acc: ADD 00002acd: ADD 00002ace: SWAP1 00002acf: PUSH1 0x01 00002ad1: PUSH1 0x01 00002ad3: PUSH1 0xf8 00002ad5: SHL 00002ad6: SUB 00002ad7: NOT 00002ad8: AND 00002ad9: SWAP1 00002ada: DUP2 00002adb: PUSH1 0x00 00002add: BYTE 00002ade: SWAP1 00002adf: MSTORE8 00002ae0: POP 00002ae1: PUSH1 0x00 00002ae3: PUSH2 0x2aed 00002ae6: DUP5 00002ae7: PUSH1 0x02 00002ae9: PUSH2 0x3855 00002aec: JUMP 00002aed: JUMPDEST 00002aee: PUSH2 0x2af8 00002af1: SWAP1 00002af2: PUSH1 0x01 00002af4: PUSH2 0x34ea 00002af7: JUMP 00002af8: JUMPDEST 00002af9: SWAP1 00002afa: POP 00002afb: JUMPDEST 00002afc: PUSH1 0x01 00002afe: DUP2 00002aff: GT 00002b00: ISZERO 00002b01: PUSH2 0x2b70 00002b04: JUMPI 00002b05: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 00002b16: PUSH1 0x81 00002b18: SHL 00002b19: DUP6 00002b1a: PUSH1 0x0f 00002b1c: AND 00002b1d: PUSH1 0x10 00002b1f: DUP2 00002b20: LT 00002b21: PUSH2 0x2b2c 00002b24: JUMPI 00002b25: PUSH2 0x2b2c 00002b28: PUSH2 0x3502 00002b2b: JUMP 00002b2c: JUMPDEST 00002b2d: BYTE 00002b2e: PUSH1 0xf8 00002b30: SHL 00002b31: DUP3 00002b32: DUP3 00002b33: DUP2 00002b34: MLOAD 00002b35: DUP2 00002b36: LT 00002b37: PUSH2 0x2b42 00002b3a: JUMPI 00002b3b: PUSH2 0x2b42 00002b3e: PUSH2 0x3502 00002b41: JUMP 00002b42: JUMPDEST 00002b43: PUSH1 0x20 00002b45: ADD 00002b46: ADD 00002b47: SWAP1 00002b48: PUSH1 0x01 00002b4a: PUSH1 0x01 00002b4c: PUSH1 0xf8 00002b4e: SHL 00002b4f: SUB 00002b50: NOT 00002b51: AND 00002b52: SWAP1 00002b53: DUP2 00002b54: PUSH1 0x00 00002b56: BYTE 00002b57: SWAP1 00002b58: MSTORE8 00002b59: POP 00002b5a: PUSH1 0x04 00002b5c: SWAP5 00002b5d: SWAP1 00002b5e: SWAP5 00002b5f: SHR 00002b60: SWAP4 00002b61: PUSH2 0x2b69 00002b64: DUP2 00002b65: PUSH2 0x3874 00002b68: JUMP 00002b69: JUMPDEST 00002b6a: SWAP1 00002b6b: POP 00002b6c: PUSH2 0x2afb 00002b6f: JUMP 00002b70: JUMPDEST 00002b71: POP 00002b72: DUP4 00002b73: ISZERO 00002b74: PUSH2 0x1025 00002b77: JUMPI 00002b78: PUSH1 0x40 00002b7a: MLOAD 00002b7b: PUSH3 0x461bcd 00002b7f: PUSH1 0xe5 00002b81: SHL 00002b82: DUP2 00002b83: MSTORE 00002b84: PUSH1 0x20 00002b86: PUSH1 0x04 00002b88: DUP3 00002b89: ADD 00002b8a: DUP2 00002b8b: SWAP1 00002b8c: MSTORE 00002b8d: PUSH1 0x24 00002b8f: DUP3 00002b90: ADD 00002b91: MSTORE 00002b92: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00002bb3: PUSH1 0x44 00002bb5: DUP3 00002bb6: ADD 00002bb7: MSTORE 00002bb8: PUSH1 0x64 00002bba: ADD 00002bbb: PUSH2 0x08bf 00002bbe: JUMP 00002bbf: JUMPDEST 00002bc0: PUSH2 0x2bc9 00002bc3: DUP3 00002bc4: DUP3 00002bc5: PUSH2 0x102c 00002bc8: JUMP 00002bc9: JUMPDEST 00002bca: ISZERO 00002bcb: PUSH2 0x08d2 00002bce: JUMPI 00002bcf: PUSH1 0x00 00002bd1: DUP3 00002bd2: DUP2 00002bd3: MSTORE 00002bd4: PUSH1 0x20 00002bd6: DUP2 00002bd7: DUP2 00002bd8: MSTORE 00002bd9: PUSH1 0x40 00002bdb: DUP1 00002bdc: DUP4 00002bdd: KECCAK256 00002bde: PUSH1 0x01 00002be0: PUSH1 0x01 00002be2: PUSH1 0xa0 00002be4: SHL 00002be5: SUB 00002be6: DUP6 00002be7: AND 00002be8: DUP1 00002be9: DUP6 00002bea: MSTORE 00002beb: SWAP3 00002bec: MSTORE 00002bed: DUP1 00002bee: DUP4 00002bef: KECCAK256 00002bf0: DUP1 00002bf1: SLOAD 00002bf2: PUSH1 0xff 00002bf4: NOT 00002bf5: AND 00002bf6: SWAP1 00002bf7: SSTORE 00002bf8: MLOAD 00002bf9: CALLER 00002bfa: SWAP3 00002bfb: DUP6 00002bfc: SWAP2 00002bfd: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00002c1e: SWAP2 00002c1f: SWAP1 00002c20: LOG4 00002c21: POP 00002c22: POP 00002c23: JUMP 00002c24: JUMPDEST 00002c25: PUSH1 0x00 00002c27: PUSH2 0x1025 00002c2a: DUP4 00002c2b: PUSH1 0x01 00002c2d: PUSH1 0x01 00002c2f: PUSH1 0xa0 00002c31: SHL 00002c32: SUB 00002c33: DUP5 00002c34: AND 00002c35: PUSH2 0x2d0c 00002c38: JUMP 00002c39: JUMPDEST 00002c3a: PUSH1 0x60 00002c3c: PUSH2 0x1828 00002c3f: DUP5 00002c40: DUP5 00002c41: PUSH1 0x00 00002c43: DUP6 00002c44: PUSH2 0x2dff 00002c47: JUMP 00002c48: JUMPDEST 00002c49: PUSH1 0x00 00002c4b: DUP1 00002c4c: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00002c6d: DUP4 00002c6e: GT 00002c6f: ISZERO 00002c70: PUSH2 0x2c7f 00002c73: JUMPI 00002c74: POP 00002c75: PUSH1 0x00 00002c77: SWAP1 00002c78: POP 00002c79: PUSH1 0x03 00002c7b: PUSH2 0x2d03 00002c7e: JUMP 00002c7f: JUMPDEST 00002c80: PUSH1 0x40 00002c82: DUP1 00002c83: MLOAD 00002c84: PUSH1 0x00 00002c86: DUP1 00002c87: DUP3 00002c88: MSTORE 00002c89: PUSH1 0x20 00002c8b: DUP3 00002c8c: ADD 00002c8d: DUP1 00002c8e: DUP5 00002c8f: MSTORE 00002c90: DUP10 00002c91: SWAP1 00002c92: MSTORE 00002c93: PUSH1 0xff 00002c95: DUP9 00002c96: AND 00002c97: SWAP3 00002c98: DUP3 00002c99: ADD 00002c9a: SWAP3 00002c9b: SWAP1 00002c9c: SWAP3 00002c9d: MSTORE 00002c9e: PUSH1 0x60 00002ca0: DUP2 00002ca1: ADD 00002ca2: DUP7 00002ca3: SWAP1 00002ca4: MSTORE 00002ca5: PUSH1 0x80 00002ca7: DUP2 00002ca8: ADD 00002ca9: DUP6 00002caa: SWAP1 00002cab: MSTORE 00002cac: PUSH1 0x01 00002cae: SWAP1 00002caf: PUSH1 0xa0 00002cb1: ADD 00002cb2: PUSH1 0x20 00002cb4: PUSH1 0x40 00002cb6: MLOAD 00002cb7: PUSH1 0x20 00002cb9: DUP2 00002cba: SUB 00002cbb: SWAP1 00002cbc: DUP1 00002cbd: DUP5 00002cbe: SUB 00002cbf: SWAP1 00002cc0: DUP6 00002cc1: GAS 00002cc2: STATICCALL 00002cc3: ISZERO 00002cc4: DUP1 00002cc5: ISZERO 00002cc6: PUSH2 0x2cd3 00002cc9: JUMPI 00002cca: RETURNDATASIZE 00002ccb: PUSH1 0x00 00002ccd: DUP1 00002cce: RETURNDATACOPY 00002ccf: RETURNDATASIZE 00002cd0: PUSH1 0x00 00002cd2: REVERT 00002cd3: JUMPDEST 00002cd4: POP 00002cd5: POP 00002cd6: PUSH1 0x40 00002cd8: MLOAD 00002cd9: PUSH1 0x1f 00002cdb: NOT 00002cdc: ADD 00002cdd: MLOAD 00002cde: SWAP2 00002cdf: POP 00002ce0: POP 00002ce1: PUSH1 0x01 00002ce3: PUSH1 0x01 00002ce5: PUSH1 0xa0 00002ce7: SHL 00002ce8: SUB 00002ce9: DUP2 00002cea: AND 00002ceb: PUSH2 0x2cfc 00002cee: JUMPI 00002cef: PUSH1 0x00 00002cf1: PUSH1 0x01 00002cf3: SWAP3 00002cf4: POP 00002cf5: SWAP3 00002cf6: POP 00002cf7: POP 00002cf8: PUSH2 0x2d03 00002cfb: JUMP 00002cfc: JUMPDEST 00002cfd: SWAP2 00002cfe: POP 00002cff: PUSH1 0x00 00002d01: SWAP1 00002d02: POP 00002d03: JUMPDEST 00002d04: SWAP5 00002d05: POP 00002d06: SWAP5 00002d07: SWAP3 00002d08: POP 00002d09: POP 00002d0a: POP 00002d0b: JUMP 00002d0c: JUMPDEST 00002d0d: PUSH1 0x00 00002d0f: DUP2 00002d10: DUP2 00002d11: MSTORE 00002d12: PUSH1 0x01 00002d14: DUP4 00002d15: ADD 00002d16: PUSH1 0x20 00002d18: MSTORE 00002d19: PUSH1 0x40 00002d1b: DUP2 00002d1c: KECCAK256 00002d1d: SLOAD 00002d1e: DUP1 00002d1f: ISZERO 00002d20: PUSH2 0x2df5 00002d23: JUMPI 00002d24: PUSH1 0x00 00002d26: PUSH2 0x2d30 00002d29: PUSH1 0x01 00002d2b: DUP4 00002d2c: PUSH2 0x34d3 00002d2f: JUMP 00002d30: JUMPDEST 00002d31: DUP6 00002d32: SLOAD 00002d33: SWAP1 00002d34: SWAP2 00002d35: POP 00002d36: PUSH1 0x00 00002d38: SWAP1 00002d39: PUSH2 0x2d44 00002d3c: SWAP1 00002d3d: PUSH1 0x01 00002d3f: SWAP1 00002d40: PUSH2 0x34d3 00002d43: JUMP 00002d44: JUMPDEST 00002d45: SWAP1 00002d46: POP 00002d47: DUP2 00002d48: DUP2 00002d49: EQ 00002d4a: PUSH2 0x2da9 00002d4d: JUMPI 00002d4e: PUSH1 0x00 00002d50: DUP7 00002d51: PUSH1 0x00 00002d53: ADD 00002d54: DUP3 00002d55: DUP2 00002d56: SLOAD 00002d57: DUP2 00002d58: LT 00002d59: PUSH2 0x2d64 00002d5c: JUMPI 00002d5d: PUSH2 0x2d64 00002d60: PUSH2 0x3502 00002d63: JUMP 00002d64: JUMPDEST 00002d65: SWAP1 00002d66: PUSH1 0x00 00002d68: MSTORE 00002d69: PUSH1 0x20 00002d6b: PUSH1 0x00 00002d6d: KECCAK256 00002d6e: ADD 00002d6f: SLOAD 00002d70: SWAP1 00002d71: POP 00002d72: DUP1 00002d73: DUP8 00002d74: PUSH1 0x00 00002d76: ADD 00002d77: DUP5 00002d78: DUP2 00002d79: SLOAD 00002d7a: DUP2 00002d7b: LT 00002d7c: PUSH2 0x2d87 00002d7f: JUMPI 00002d80: PUSH2 0x2d87 00002d83: PUSH2 0x3502 00002d86: JUMP 00002d87: JUMPDEST 00002d88: PUSH1 0x00 00002d8a: SWAP2 00002d8b: DUP3 00002d8c: MSTORE 00002d8d: PUSH1 0x20 00002d8f: DUP1 00002d90: DUP4 00002d91: KECCAK256 00002d92: SWAP1 00002d93: SWAP2 00002d94: ADD 00002d95: SWAP3 00002d96: SWAP1 00002d97: SWAP3 00002d98: SSTORE 00002d99: SWAP2 00002d9a: DUP3 00002d9b: MSTORE 00002d9c: PUSH1 0x01 00002d9e: DUP9 00002d9f: ADD 00002da0: SWAP1 00002da1: MSTORE 00002da2: PUSH1 0x40 00002da4: SWAP1 00002da5: KECCAK256 00002da6: DUP4 00002da7: SWAP1 00002da8: SSTORE 00002da9: JUMPDEST 00002daa: DUP6 00002dab: SLOAD 00002dac: DUP7 00002dad: SWAP1 00002dae: DUP1 00002daf: PUSH2 0x2dba 00002db2: JUMPI 00002db3: PUSH2 0x2dba 00002db6: PUSH2 0x388b 00002db9: JUMP 00002dba: JUMPDEST 00002dbb: PUSH1 0x01 00002dbd: SWAP1 00002dbe: SUB 00002dbf: DUP2 00002dc0: DUP2 00002dc1: SWAP1 00002dc2: PUSH1 0x00 00002dc4: MSTORE 00002dc5: PUSH1 0x20 00002dc7: PUSH1 0x00 00002dc9: KECCAK256 00002dca: ADD 00002dcb: PUSH1 0x00 00002dcd: SWAP1 00002dce: SSTORE 00002dcf: SWAP1 00002dd0: SSTORE 00002dd1: DUP6 00002dd2: PUSH1 0x01 00002dd4: ADD 00002dd5: PUSH1 0x00 00002dd7: DUP7 00002dd8: DUP2 00002dd9: MSTORE 00002dda: PUSH1 0x20 00002ddc: ADD 00002ddd: SWAP1 00002dde: DUP2 00002ddf: MSTORE 00002de0: PUSH1 0x20 00002de2: ADD 00002de3: PUSH1 0x00 00002de5: KECCAK256 00002de6: PUSH1 0x00 00002de8: SWAP1 00002de9: SSTORE 00002dea: PUSH1 0x01 00002dec: SWAP4 00002ded: POP 00002dee: POP 00002def: POP 00002df0: POP 00002df1: PUSH2 0x0818 00002df4: JUMP 00002df5: JUMPDEST 00002df6: PUSH1 0x00 00002df8: SWAP2 00002df9: POP 00002dfa: POP 00002dfb: PUSH2 0x0818 00002dfe: JUMP 00002dff: JUMPDEST 00002e00: PUSH1 0x60 00002e02: DUP3 00002e03: SELFBALANCE 00002e04: LT 00002e05: ISZERO 00002e06: PUSH2 0x2e60 00002e09: JUMPI 00002e0a: PUSH1 0x40 00002e0c: MLOAD 00002e0d: PUSH3 0x461bcd 00002e11: PUSH1 0xe5 00002e13: SHL 00002e14: DUP2 00002e15: MSTORE 00002e16: PUSH1 0x20 00002e18: PUSH1 0x04 00002e1a: DUP3 00002e1b: ADD 00002e1c: MSTORE 00002e1d: PUSH1 0x26 00002e1f: PUSH1 0x24 00002e21: DUP3 00002e22: ADD 00002e23: MSTORE 00002e24: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00002e45: PUSH1 0x44 00002e47: DUP3 00002e48: ADD 00002e49: MSTORE 00002e4a: PUSH6 0x1c8818d85b1b 00002e51: PUSH1 0xd2 00002e53: SHL 00002e54: PUSH1 0x64 00002e56: DUP3 00002e57: ADD 00002e58: MSTORE 00002e59: PUSH1 0x84 00002e5b: ADD 00002e5c: PUSH2 0x08bf 00002e5f: JUMP 00002e60: JUMPDEST 00002e61: PUSH1 0x00 00002e63: DUP1 00002e64: DUP7 00002e65: PUSH1 0x01 00002e67: PUSH1 0x01 00002e69: PUSH1 0xa0 00002e6b: SHL 00002e6c: SUB 00002e6d: AND 00002e6e: DUP6 00002e6f: DUP8 00002e70: PUSH1 0x40 00002e72: MLOAD 00002e73: PUSH2 0x2e7c 00002e76: SWAP2 00002e77: SWAP1 00002e78: PUSH2 0x378c 00002e7b: JUMP 00002e7c: JUMPDEST 00002e7d: PUSH1 0x00 00002e7f: PUSH1 0x40 00002e81: MLOAD 00002e82: DUP1 00002e83: DUP4 00002e84: SUB 00002e85: DUP2 00002e86: DUP6 00002e87: DUP8 00002e88: GAS 00002e89: CALL 00002e8a: SWAP3 00002e8b: POP 00002e8c: POP 00002e8d: POP 00002e8e: RETURNDATASIZE 00002e8f: DUP1 00002e90: PUSH1 0x00 00002e92: DUP2 00002e93: EQ 00002e94: PUSH2 0x2eb9 00002e97: JUMPI 00002e98: PUSH1 0x40 00002e9a: MLOAD 00002e9b: SWAP2 00002e9c: POP 00002e9d: PUSH1 0x1f 00002e9f: NOT 00002ea0: PUSH1 0x3f 00002ea2: RETURNDATASIZE 00002ea3: ADD 00002ea4: AND 00002ea5: DUP3 00002ea6: ADD 00002ea7: PUSH1 0x40 00002ea9: MSTORE 00002eaa: RETURNDATASIZE 00002eab: DUP3 00002eac: MSTORE 00002ead: RETURNDATASIZE 00002eae: PUSH1 0x00 00002eb0: PUSH1 0x20 00002eb2: DUP5 00002eb3: ADD 00002eb4: RETURNDATACOPY 00002eb5: PUSH2 0x2ebe 00002eb8: JUMP 00002eb9: JUMPDEST 00002eba: PUSH1 0x60 00002ebc: SWAP2 00002ebd: POP 00002ebe: JUMPDEST 00002ebf: POP 00002ec0: SWAP2 00002ec1: POP 00002ec2: SWAP2 00002ec3: POP 00002ec4: PUSH2 0x2ecf 00002ec7: DUP8 00002ec8: DUP4 00002ec9: DUP4 00002eca: DUP8 00002ecb: PUSH2 0x2eda 00002ece: JUMP 00002ecf: JUMPDEST 00002ed0: SWAP8 00002ed1: SWAP7 00002ed2: POP 00002ed3: POP 00002ed4: POP 00002ed5: POP 00002ed6: POP 00002ed7: POP 00002ed8: POP 00002ed9: JUMP 00002eda: JUMPDEST 00002edb: PUSH1 0x60 00002edd: DUP4 00002ede: ISZERO 00002edf: PUSH2 0x2f46 00002ee2: JUMPI 00002ee3: DUP3 00002ee4: MLOAD 00002ee5: PUSH2 0x2f3f 00002ee8: JUMPI 00002ee9: PUSH1 0x01 00002eeb: PUSH1 0x01 00002eed: PUSH1 0xa0 00002eef: SHL 00002ef0: SUB 00002ef1: DUP6 00002ef2: AND 00002ef3: EXTCODESIZE 00002ef4: PUSH2 0x2f3f 00002ef7: JUMPI 00002ef8: PUSH1 0x40 00002efa: MLOAD 00002efb: PUSH3 0x461bcd 00002eff: PUSH1 0xe5 00002f01: SHL 00002f02: DUP2 00002f03: MSTORE 00002f04: PUSH1 0x20 00002f06: PUSH1 0x04 00002f08: DUP3 00002f09: ADD 00002f0a: MSTORE 00002f0b: PUSH1 0x1d 00002f0d: PUSH1 0x24 00002f0f: DUP3 00002f10: ADD 00002f11: MSTORE 00002f12: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00002f33: PUSH1 0x44 00002f35: DUP3 00002f36: ADD 00002f37: MSTORE 00002f38: PUSH1 0x64 00002f3a: ADD 00002f3b: PUSH2 0x08bf 00002f3e: JUMP 00002f3f: JUMPDEST 00002f40: POP 00002f41: DUP2 00002f42: PUSH2 0x1828 00002f45: JUMP 00002f46: JUMPDEST 00002f47: PUSH2 0x1828 00002f4a: DUP4 00002f4b: DUP4 00002f4c: DUP2 00002f4d: MLOAD 00002f4e: ISZERO 00002f4f: PUSH2 0x2f5b 00002f52: JUMPI 00002f53: DUP2 00002f54: MLOAD 00002f55: DUP1 00002f56: DUP4 00002f57: PUSH1 0x20 00002f59: ADD 00002f5a: REVERT 00002f5b: JUMPDEST 00002f5c: DUP1 00002f5d: PUSH1 0x40 00002f5f: MLOAD 00002f60: PUSH3 0x461bcd 00002f64: PUSH1 0xe5 00002f66: SHL 00002f67: DUP2 00002f68: MSTORE 00002f69: PUSH1 0x04 00002f6b: ADD 00002f6c: PUSH2 0x08bf 00002f6f: SWAP2 00002f70: SWAP1 00002f71: PUSH2 0x32d9 00002f74: JUMP 00002f75: JUMPDEST 00002f76: PUSH1 0x00 00002f78: PUSH1 0x20 00002f7a: DUP3 00002f7b: DUP5 00002f7c: SUB 00002f7d: SLT 00002f7e: ISZERO 00002f7f: PUSH2 0x2f87 00002f82: JUMPI 00002f83: PUSH1 0x00 00002f85: DUP1 00002f86: REVERT 00002f87: JUMPDEST 00002f88: DUP2 00002f89: CALLDATALOAD 00002f8a: PUSH1 0x01 00002f8c: PUSH1 0x01 00002f8e: PUSH1 0xe0 00002f90: SHL 00002f91: SUB 00002f92: NOT 00002f93: DUP2 00002f94: AND 00002f95: DUP2 00002f96: EQ 00002f97: PUSH2 0x1025 00002f9a: JUMPI 00002f9b: PUSH1 0x00 00002f9d: DUP1 00002f9e: REVERT 00002f9f: JUMPDEST 00002fa0: DUP1 00002fa1: CALLDATALOAD 00002fa2: PUSH1 0x01 00002fa4: PUSH1 0x01 00002fa6: PUSH1 0xa0 00002fa8: SHL 00002fa9: SUB 00002faa: DUP2 00002fab: AND 00002fac: DUP2 00002fad: EQ 00002fae: PUSH2 0x2fb6 00002fb1: JUMPI 00002fb2: PUSH1 0x00 00002fb4: DUP1 00002fb5: REVERT 00002fb6: JUMPDEST 00002fb7: SWAP2 00002fb8: SWAP1 00002fb9: POP 00002fba: JUMP 00002fbb: JUMPDEST 00002fbc: PUSH1 0x00 00002fbe: PUSH1 0x20 00002fc0: DUP3 00002fc1: DUP5 00002fc2: SUB 00002fc3: SLT 00002fc4: ISZERO 00002fc5: PUSH2 0x2fcd 00002fc8: JUMPI 00002fc9: PUSH1 0x00 00002fcb: DUP1 00002fcc: REVERT 00002fcd: JUMPDEST 00002fce: PUSH2 0x1025 00002fd1: DUP3 00002fd2: PUSH2 0x2f9f 00002fd5: JUMP 00002fd6: JUMPDEST 00002fd7: PUSH1 0x00 00002fd9: PUSH1 0x20 00002fdb: DUP3 00002fdc: DUP5 00002fdd: SUB 00002fde: SLT 00002fdf: ISZERO 00002fe0: PUSH2 0x2fe8 00002fe3: JUMPI 00002fe4: PUSH1 0x00 00002fe6: DUP1 00002fe7: REVERT 00002fe8: JUMPDEST 00002fe9: POP 00002fea: CALLDATALOAD 00002feb: SWAP2 00002fec: SWAP1 00002fed: POP 00002fee: JUMP 00002fef: JUMPDEST 00002ff0: PUSH1 0x00 00002ff2: DUP1 00002ff3: PUSH1 0x40 00002ff5: DUP4 00002ff6: DUP6 00002ff7: SUB 00002ff8: SLT 00002ff9: ISZERO 00002ffa: PUSH2 0x3002 00002ffd: JUMPI 00002ffe: PUSH1 0x00 00003000: DUP1 00003001: REVERT 00003002: JUMPDEST 00003003: DUP3 00003004: CALLDATALOAD 00003005: SWAP2 00003006: POP 00003007: PUSH2 0x3012 0000300a: PUSH1 0x20 0000300c: DUP5 0000300d: ADD 0000300e: PUSH2 0x2f9f 00003011: JUMP 00003012: JUMPDEST 00003013: SWAP1 00003014: POP 00003015: SWAP3 00003016: POP 00003017: SWAP3 00003018: SWAP1 00003019: POP 0000301a: JUMP 0000301b: JUMPDEST 0000301c: PUSH4 0x4e487b71 00003021: PUSH1 0xe0 00003023: SHL 00003024: PUSH1 0x00 00003026: MSTORE 00003027: PUSH1 0x41 00003029: PUSH1 0x04 0000302b: MSTORE 0000302c: PUSH1 0x24 0000302e: PUSH1 0x00 00003030: REVERT 00003031: JUMPDEST 00003032: PUSH1 0x40 00003034: MLOAD 00003035: PUSH1 0xe0 00003037: DUP2 00003038: ADD 00003039: PUSH8 0xffffffffffffffff 00003042: DUP2 00003043: GT 00003044: DUP3 00003045: DUP3 00003046: LT 00003047: OR 00003048: ISZERO 00003049: PUSH2 0x3054 0000304c: JUMPI 0000304d: PUSH2 0x3054 00003050: PUSH2 0x301b 00003053: JUMP 00003054: JUMPDEST 00003055: PUSH1 0x40 00003057: MSTORE 00003058: SWAP1 00003059: JUMP 0000305a: JUMPDEST 0000305b: PUSH1 0x40 0000305d: MLOAD 0000305e: PUSH1 0x1f 00003060: DUP3 00003061: ADD 00003062: PUSH1 0x1f 00003064: NOT 00003065: AND 00003066: DUP2 00003067: ADD 00003068: PUSH8 0xffffffffffffffff 00003071: DUP2 00003072: GT 00003073: DUP3 00003074: DUP3 00003075: LT 00003076: OR 00003077: ISZERO 00003078: PUSH2 0x3083 0000307b: JUMPI 0000307c: PUSH2 0x3083 0000307f: PUSH2 0x301b 00003082: JUMP 00003083: JUMPDEST 00003084: PUSH1 0x40 00003086: MSTORE 00003087: SWAP2 00003088: SWAP1 00003089: POP 0000308a: JUMP 0000308b: JUMPDEST 0000308c: PUSH1 0x00 0000308e: DUP3 0000308f: PUSH1 0x1f 00003091: DUP4 00003092: ADD 00003093: SLT 00003094: PUSH2 0x309c 00003097: JUMPI 00003098: PUSH1 0x00 0000309a: DUP1 0000309b: REVERT 0000309c: JUMPDEST 0000309d: DUP2 0000309e: CALLDATALOAD 0000309f: PUSH8 0xffffffffffffffff 000030a8: DUP2 000030a9: GT 000030aa: ISZERO 000030ab: PUSH2 0x30b6 000030ae: JUMPI 000030af: PUSH2 0x30b6 000030b2: PUSH2 0x301b 000030b5: JUMP 000030b6: JUMPDEST 000030b7: PUSH2 0x30c9 000030ba: PUSH1 0x1f 000030bc: DUP3 000030bd: ADD 000030be: PUSH1 0x1f 000030c0: NOT 000030c1: AND 000030c2: PUSH1 0x20 000030c4: ADD 000030c5: PUSH2 0x305a 000030c8: JUMP 000030c9: JUMPDEST 000030ca: DUP2 000030cb: DUP2 000030cc: MSTORE 000030cd: DUP5 000030ce: PUSH1 0x20 000030d0: DUP4 000030d1: DUP7 000030d2: ADD 000030d3: ADD 000030d4: GT 000030d5: ISZERO 000030d6: PUSH2 0x30de 000030d9: JUMPI 000030da: PUSH1 0x00 000030dc: DUP1 000030dd: REVERT 000030de: JUMPDEST 000030df: DUP2 000030e0: PUSH1 0x20 000030e2: DUP6 000030e3: ADD 000030e4: PUSH1 0x20 000030e6: DUP4 000030e7: ADD 000030e8: CALLDATACOPY 000030e9: PUSH1 0x00 000030eb: SWAP2 000030ec: DUP2 000030ed: ADD 000030ee: PUSH1 0x20 000030f0: ADD 000030f1: SWAP2 000030f2: SWAP1 000030f3: SWAP2 000030f4: MSTORE 000030f5: SWAP4 000030f6: SWAP3 000030f7: POP 000030f8: POP 000030f9: POP 000030fa: JUMP 000030fb: JUMPDEST 000030fc: PUSH1 0x00 000030fe: PUSH1 0xe0 00003100: DUP3 00003101: DUP5 00003102: SUB 00003103: SLT 00003104: ISZERO 00003105: PUSH2 0x310d 00003108: JUMPI 00003109: PUSH1 0x00 0000310b: DUP1 0000310c: REVERT 0000310d: JUMPDEST 0000310e: PUSH2 0x3115 00003111: PUSH2 0x3031 00003114: JUMP 00003115: JUMPDEST 00003116: SWAP1 00003117: POP 00003118: PUSH2 0x3120 0000311b: DUP3 0000311c: PUSH2 0x2f9f 0000311f: JUMP 00003120: JUMPDEST 00003121: DUP2 00003122: MSTORE 00003123: PUSH1 0x20 00003125: DUP3 00003126: ADD 00003127: CALLDATALOAD 00003128: PUSH1 0x20 0000312a: DUP3 0000312b: ADD 0000312c: MSTORE 0000312d: PUSH1 0x40 0000312f: DUP3 00003130: ADD 00003131: CALLDATALOAD 00003132: PUSH1 0x40 00003134: DUP3 00003135: ADD 00003136: MSTORE 00003137: PUSH1 0x60 00003139: DUP3 0000313a: ADD 0000313b: CALLDATALOAD 0000313c: PUSH1 0x60 0000313e: DUP3 0000313f: ADD 00003140: MSTORE 00003141: PUSH1 0x80 00003143: DUP3 00003144: ADD 00003145: CALLDATALOAD 00003146: PUSH8 0xffffffffffffffff 0000314f: DUP1 00003150: DUP3 00003151: GT 00003152: ISZERO 00003153: PUSH2 0x315b 00003156: JUMPI 00003157: PUSH1 0x00 00003159: DUP1 0000315a: REVERT 0000315b: JUMPDEST 0000315c: PUSH2 0x3167 0000315f: DUP6 00003160: DUP4 00003161: DUP7 00003162: ADD 00003163: PUSH2 0x308b 00003166: JUMP 00003167: JUMPDEST 00003168: PUSH1 0x80 0000316a: DUP5 0000316b: ADD 0000316c: MSTORE 0000316d: PUSH1 0xa0 0000316f: DUP5 00003170: ADD 00003171: CALLDATALOAD 00003172: SWAP2 00003173: POP 00003174: DUP1 00003175: DUP3 00003176: GT 00003177: ISZERO 00003178: PUSH2 0x3180 0000317b: JUMPI 0000317c: PUSH1 0x00 0000317e: DUP1 0000317f: REVERT 00003180: JUMPDEST 00003181: PUSH2 0x318c 00003184: DUP6 00003185: DUP4 00003186: DUP7 00003187: ADD 00003188: PUSH2 0x308b 0000318b: JUMP 0000318c: JUMPDEST 0000318d: PUSH1 0xa0 0000318f: DUP5 00003190: ADD 00003191: MSTORE 00003192: PUSH1 0xc0 00003194: DUP5 00003195: ADD 00003196: CALLDATALOAD 00003197: SWAP2 00003198: POP 00003199: DUP1 0000319a: DUP3 0000319b: GT 0000319c: ISZERO 0000319d: PUSH2 0x31a5 000031a0: JUMPI 000031a1: PUSH1 0x00 000031a3: DUP1 000031a4: REVERT 000031a5: JUMPDEST 000031a6: POP 000031a7: PUSH2 0x31b2 000031aa: DUP5 000031ab: DUP3 000031ac: DUP6 000031ad: ADD 000031ae: PUSH2 0x308b 000031b1: JUMP 000031b2: JUMPDEST 000031b3: PUSH1 0xc0 000031b5: DUP4 000031b6: ADD 000031b7: MSTORE 000031b8: POP 000031b9: SWAP3 000031ba: SWAP2 000031bb: POP 000031bc: POP 000031bd: JUMP 000031be: JUMPDEST 000031bf: PUSH1 0x00 000031c1: PUSH1 0x20 000031c3: DUP1 000031c4: DUP4 000031c5: DUP6 000031c6: SUB 000031c7: SLT 000031c8: ISZERO 000031c9: PUSH2 0x31d1 000031cc: JUMPI 000031cd: PUSH1 0x00 000031cf: DUP1 000031d0: REVERT 000031d1: JUMPDEST 000031d2: DUP3 000031d3: CALLDATALOAD 000031d4: PUSH8 0xffffffffffffffff 000031dd: DUP1 000031de: DUP3 000031df: GT 000031e0: ISZERO 000031e1: PUSH2 0x31e9 000031e4: JUMPI 000031e5: PUSH1 0x00 000031e7: DUP1 000031e8: REVERT 000031e9: JUMPDEST 000031ea: DUP2 000031eb: DUP6 000031ec: ADD 000031ed: SWAP2 000031ee: POP 000031ef: DUP6 000031f0: PUSH1 0x1f 000031f2: DUP4 000031f3: ADD 000031f4: SLT 000031f5: PUSH2 0x31fd 000031f8: JUMPI 000031f9: PUSH1 0x00 000031fb: DUP1 000031fc: REVERT 000031fd: JUMPDEST 000031fe: DUP2 000031ff: CALLDATALOAD 00003200: DUP2 00003201: DUP2 00003202: GT 00003203: ISZERO 00003204: PUSH2 0x320f 00003207: JUMPI 00003208: PUSH2 0x320f 0000320b: PUSH2 0x301b 0000320e: JUMP 0000320f: JUMPDEST 00003210: DUP1 00003211: PUSH1 0x05 00003213: SHL 00003214: PUSH2 0x321e 00003217: DUP6 00003218: DUP3 00003219: ADD 0000321a: PUSH2 0x305a 0000321d: JUMP 0000321e: JUMPDEST 0000321f: SWAP2 00003220: DUP3 00003221: MSTORE 00003222: DUP4 00003223: DUP2 00003224: ADD 00003225: DUP6 00003226: ADD 00003227: SWAP2 00003228: DUP6 00003229: DUP2 0000322a: ADD 0000322b: SWAP1 0000322c: DUP10 0000322d: DUP5 0000322e: GT 0000322f: ISZERO 00003230: PUSH2 0x3238 00003233: JUMPI 00003234: PUSH1 0x00 00003236: DUP1 00003237: REVERT 00003238: JUMPDEST 00003239: DUP7 0000323a: DUP7 0000323b: ADD 0000323c: SWAP3 0000323d: POP 0000323e: JUMPDEST 0000323f: DUP4 00003240: DUP4 00003241: LT 00003242: ISZERO 00003243: PUSH2 0x3274 00003246: JUMPI 00003247: DUP3 00003248: CALLDATALOAD 00003249: DUP6 0000324a: DUP2 0000324b: GT 0000324c: ISZERO 0000324d: PUSH2 0x3256 00003250: JUMPI 00003251: PUSH1 0x00 00003253: DUP1 00003254: DUP2 00003255: REVERT 00003256: JUMPDEST 00003257: PUSH2 0x3264 0000325a: DUP12 0000325b: DUP10 0000325c: DUP4 0000325d: DUP11 0000325e: ADD 0000325f: ADD 00003260: PUSH2 0x30fb 00003263: JUMP 00003264: JUMPDEST 00003265: DUP4 00003266: MSTORE 00003267: POP 00003268: SWAP2 00003269: DUP7 0000326a: ADD 0000326b: SWAP2 0000326c: SWAP1 0000326d: DUP7 0000326e: ADD 0000326f: SWAP1 00003270: PUSH2 0x323e 00003273: JUMP 00003274: JUMPDEST 00003275: SWAP10 00003276: SWAP9 00003277: POP 00003278: POP 00003279: POP 0000327a: POP 0000327b: POP 0000327c: POP 0000327d: POP 0000327e: POP 0000327f: POP 00003280: JUMP 00003281: JUMPDEST 00003282: PUSH1 0x00 00003284: JUMPDEST 00003285: DUP4 00003286: DUP2 00003287: LT 00003288: ISZERO 00003289: PUSH2 0x329c 0000328c: JUMPI 0000328d: DUP2 0000328e: DUP2 0000328f: ADD 00003290: MLOAD 00003291: DUP4 00003292: DUP3 00003293: ADD 00003294: MSTORE 00003295: PUSH1 0x20 00003297: ADD 00003298: PUSH2 0x3284 0000329b: JUMP 0000329c: JUMPDEST 0000329d: DUP4 0000329e: DUP2 0000329f: GT 000032a0: ISZERO 000032a1: PUSH2 0x26a4 000032a4: JUMPI 000032a5: POP 000032a6: POP 000032a7: PUSH1 0x00 000032a9: SWAP2 000032aa: ADD 000032ab: MSTORE 000032ac: JUMP 000032ad: JUMPDEST 000032ae: PUSH1 0x00 000032b0: DUP2 000032b1: MLOAD 000032b2: DUP1 000032b3: DUP5 000032b4: MSTORE 000032b5: PUSH2 0x32c5 000032b8: DUP2 000032b9: PUSH1 0x20 000032bb: DUP7 000032bc: ADD 000032bd: PUSH1 0x20 000032bf: DUP7 000032c0: ADD 000032c1: PUSH2 0x3281 000032c4: JUMP 000032c5: JUMPDEST 000032c6: PUSH1 0x1f 000032c8: ADD 000032c9: PUSH1 0x1f 000032cb: NOT 000032cc: AND 000032cd: SWAP3 000032ce: SWAP1 000032cf: SWAP3 000032d0: ADD 000032d1: PUSH1 0x20 000032d3: ADD 000032d4: SWAP3 000032d5: SWAP2 000032d6: POP 000032d7: POP 000032d8: JUMP 000032d9: JUMPDEST 000032da: PUSH1 0x20 000032dc: DUP2 000032dd: MSTORE 000032de: PUSH1 0x00 000032e0: PUSH2 0x1025 000032e3: PUSH1 0x20 000032e5: DUP4 000032e6: ADD 000032e7: DUP5 000032e8: PUSH2 0x32ad 000032eb: JUMP 000032ec: JUMPDEST 000032ed: PUSH1 0x00 000032ef: DUP1 000032f0: PUSH1 0x00 000032f2: PUSH1 0x60 000032f4: DUP5 000032f5: DUP7 000032f6: SUB 000032f7: SLT 000032f8: ISZERO 000032f9: PUSH2 0x3301 000032fc: JUMPI 000032fd: PUSH1 0x00 000032ff: DUP1 00003300: REVERT 00003301: JUMPDEST 00003302: PUSH2 0x330a 00003305: DUP5 00003306: PUSH2 0x2f9f 00003309: JUMP 0000330a: JUMPDEST 0000330b: SWAP3 0000330c: POP 0000330d: PUSH1 0x20 0000330f: DUP5 00003310: ADD 00003311: CALLDATALOAD 00003312: SWAP2 00003313: POP 00003314: PUSH1 0x40 00003316: DUP5 00003317: ADD 00003318: CALLDATALOAD 00003319: PUSH8 0xffffffffffffffff 00003322: DUP2 00003323: GT 00003324: ISZERO 00003325: PUSH2 0x332d 00003328: JUMPI 00003329: PUSH1 0x00 0000332b: DUP1 0000332c: REVERT 0000332d: JUMPDEST 0000332e: PUSH2 0x3339 00003331: DUP7 00003332: DUP3 00003333: DUP8 00003334: ADD 00003335: PUSH2 0x308b 00003338: JUMP 00003339: JUMPDEST 0000333a: SWAP2 0000333b: POP 0000333c: POP 0000333d: SWAP3 0000333e: POP 0000333f: SWAP3 00003340: POP 00003341: SWAP3 00003342: JUMP 00003343: JUMPDEST 00003344: PUSH1 0x00 00003346: DUP1 00003347: PUSH1 0x40 00003349: DUP4 0000334a: DUP6 0000334b: SUB 0000334c: SLT 0000334d: ISZERO 0000334e: PUSH2 0x3356 00003351: JUMPI 00003352: PUSH1 0x00 00003354: DUP1 00003355: REVERT 00003356: JUMPDEST 00003357: POP 00003358: POP 00003359: DUP1 0000335a: CALLDATALOAD 0000335b: SWAP3 0000335c: PUSH1 0x20 0000335e: SWAP1 0000335f: SWAP2 00003360: ADD 00003361: CALLDATALOAD 00003362: SWAP2 00003363: POP 00003364: JUMP 00003365: JUMPDEST 00003366: PUSH1 0x00 00003368: PUSH1 0x20 0000336a: DUP3 0000336b: DUP5 0000336c: SUB 0000336d: SLT 0000336e: ISZERO 0000336f: PUSH2 0x3377 00003372: JUMPI 00003373: PUSH1 0x00 00003375: DUP1 00003376: REVERT 00003377: JUMPDEST 00003378: DUP2 00003379: CALLDATALOAD 0000337a: PUSH8 0xffffffffffffffff 00003383: DUP2 00003384: GT 00003385: ISZERO 00003386: PUSH2 0x338e 00003389: JUMPI 0000338a: PUSH1 0x00 0000338c: DUP1 0000338d: REVERT 0000338e: JUMPDEST 0000338f: PUSH2 0x1828 00003392: DUP5 00003393: DUP3 00003394: DUP6 00003395: ADD 00003396: PUSH2 0x30fb 00003399: JUMP 0000339a: JUMPDEST 0000339b: PUSH1 0x00 0000339d: DUP1 0000339e: PUSH1 0x00 000033a0: DUP1 000033a1: PUSH1 0x80 000033a3: DUP6 000033a4: DUP8 000033a5: SUB 000033a6: SLT 000033a7: ISZERO 000033a8: PUSH2 0x33b0 000033ab: JUMPI 000033ac: PUSH1 0x00 000033ae: DUP1 000033af: REVERT 000033b0: JUMPDEST 000033b1: PUSH2 0x33b9 000033b4: DUP6 000033b5: PUSH2 0x2f9f 000033b8: JUMP 000033b9: JUMPDEST 000033ba: SWAP7 000033bb: PUSH1 0x20 000033bd: DUP7 000033be: ADD 000033bf: CALLDATALOAD 000033c0: SWAP7 000033c1: POP 000033c2: PUSH1 0x40 000033c4: DUP7 000033c5: ADD 000033c6: CALLDATALOAD 000033c7: SWAP6 000033c8: PUSH1 0x60 000033ca: ADD 000033cb: CALLDATALOAD 000033cc: SWAP5 000033cd: POP 000033ce: SWAP3 000033cf: POP 000033d0: POP 000033d1: POP 000033d2: JUMP 000033d3: JUMPDEST 000033d4: PUSH1 0x00 000033d6: DUP1 000033d7: PUSH1 0x40 000033d9: DUP4 000033da: DUP6 000033db: SUB 000033dc: SLT 000033dd: ISZERO 000033de: PUSH2 0x33e6 000033e1: JUMPI 000033e2: PUSH1 0x00 000033e4: DUP1 000033e5: REVERT 000033e6: JUMPDEST 000033e7: PUSH2 0x33ef 000033ea: DUP4 000033eb: PUSH2 0x2f9f 000033ee: JUMP 000033ef: JUMPDEST 000033f0: SWAP5 000033f1: PUSH1 0x20 000033f3: SWAP4 000033f4: SWAP1 000033f5: SWAP4 000033f6: ADD 000033f7: CALLDATALOAD 000033f8: SWAP4 000033f9: POP 000033fa: POP 000033fb: POP 000033fc: JUMP 000033fd: JUMPDEST 000033fe: PUSH1 0x00 00003400: DUP1 00003401: PUSH1 0x00 00003403: DUP1 00003404: PUSH1 0x00 00003406: PUSH1 0xa0 00003408: DUP7 00003409: DUP9 0000340a: SUB 0000340b: SLT 0000340c: ISZERO 0000340d: PUSH2 0x3415 00003410: JUMPI 00003411: PUSH1 0x00 00003413: DUP1 00003414: REVERT 00003415: JUMPDEST 00003416: PUSH2 0x341e 00003419: DUP7 0000341a: PUSH2 0x2f9f 0000341d: JUMP 0000341e: JUMPDEST 0000341f: SWAP5 00003420: POP 00003421: PUSH1 0x20 00003423: DUP7 00003424: ADD 00003425: CALLDATALOAD 00003426: SWAP4 00003427: POP 00003428: PUSH1 0x40 0000342a: DUP7 0000342b: ADD 0000342c: CALLDATALOAD 0000342d: SWAP3 0000342e: POP 0000342f: PUSH1 0x60 00003431: DUP7 00003432: ADD 00003433: CALLDATALOAD 00003434: SWAP2 00003435: POP 00003436: PUSH1 0x80 00003438: DUP7 00003439: ADD 0000343a: CALLDATALOAD 0000343b: PUSH8 0xffffffffffffffff 00003444: DUP2 00003445: GT 00003446: ISZERO 00003447: PUSH2 0x344f 0000344a: JUMPI 0000344b: PUSH1 0x00 0000344d: DUP1 0000344e: REVERT 0000344f: JUMPDEST 00003450: PUSH2 0x345b 00003453: DUP9 00003454: DUP3 00003455: DUP10 00003456: ADD 00003457: PUSH2 0x308b 0000345a: JUMP 0000345b: JUMPDEST 0000345c: SWAP2 0000345d: POP 0000345e: POP 0000345f: SWAP3 00003460: SWAP6 00003461: POP 00003462: SWAP3 00003463: SWAP6 00003464: SWAP1 00003465: SWAP4 00003466: POP 00003467: JUMP 00003468: JUMPDEST 00003469: PUSH1 0x20 0000346b: DUP1 0000346c: DUP3 0000346d: MSTORE 0000346e: PUSH1 0x35 00003470: SWAP1 00003471: DUP3 00003472: ADD 00003473: MSTORE 00003474: PUSH32 0x4f70657261746f72526f6c653a2063616c6c657220646f6573206e6f74206861 00003495: PUSH1 0x40 00003497: DUP3 00003498: ADD 00003499: MSTORE 0000349a: PUSH21 0x3b32903a34329027b832b930ba37b9103937b63297 000034b0: PUSH1 0x59 000034b2: SHL 000034b3: PUSH1 0x60 000034b5: DUP3 000034b6: ADD 000034b7: MSTORE 000034b8: PUSH1 0x80 000034ba: ADD 000034bb: SWAP1 000034bc: JUMP 000034bd: JUMPDEST 000034be: PUSH4 0x4e487b71 000034c3: PUSH1 0xe0 000034c5: SHL 000034c6: PUSH1 0x00 000034c8: MSTORE 000034c9: PUSH1 0x11 000034cb: PUSH1 0x04 000034cd: MSTORE 000034ce: PUSH1 0x24 000034d0: PUSH1 0x00 000034d2: REVERT 000034d3: JUMPDEST 000034d4: PUSH1 0x00 000034d6: DUP3 000034d7: DUP3 000034d8: LT 000034d9: ISZERO 000034da: PUSH2 0x34e5 000034dd: JUMPI 000034de: PUSH2 0x34e5 000034e1: PUSH2 0x34bd 000034e4: JUMP 000034e5: JUMPDEST 000034e6: POP 000034e7: SUB 000034e8: SWAP1 000034e9: JUMP 000034ea: JUMPDEST 000034eb: PUSH1 0x00 000034ed: DUP3 000034ee: NOT 000034ef: DUP3 000034f0: GT 000034f1: ISZERO 000034f2: PUSH2 0x34fd 000034f5: JUMPI 000034f6: PUSH2 0x34fd 000034f9: PUSH2 0x34bd 000034fc: JUMP 000034fd: JUMPDEST 000034fe: POP 000034ff: ADD 00003500: SWAP1 00003501: JUMP 00003502: JUMPDEST 00003503: PUSH4 0x4e487b71 00003508: PUSH1 0xe0 0000350a: SHL 0000350b: PUSH1 0x00 0000350d: MSTORE 0000350e: PUSH1 0x32 00003510: PUSH1 0x04 00003512: MSTORE 00003513: PUSH1 0x24 00003515: PUSH1 0x00 00003517: REVERT 00003518: JUMPDEST 00003519: PUSH1 0x20 0000351b: DUP1 0000351c: DUP3 0000351d: MSTORE 0000351e: PUSH1 0x4e 00003520: SWAP1 00003521: DUP3 00003522: ADD 00003523: MSTORE 00003524: PUSH1 0x00 00003526: DUP1 00003527: MLOAD 00003528: PUSH1 0x20 0000352a: PUSH2 0x38c2 0000352d: DUP4 0000352e: CODECOPY 0000352f: DUP2 00003530: MLOAD 00003531: SWAP2 00003532: MSTORE 00003533: PUSH1 0x40 00003535: DUP3 00003536: ADD 00003537: MSTORE 00003538: PUSH32 0x64207374616b655370656e74416d6f756e742063616e6e6f7420657863656564 00003559: PUSH1 0x60 0000355b: DUP3 0000355c: ADD 0000355d: MSTORE 0000355e: PUSH14 0x1039ba30b5b2b220b6b7bab73a17 0000356d: PUSH1 0x91 0000356f: SHL 00003570: PUSH1 0x80 00003572: DUP3 00003573: ADD 00003574: MSTORE 00003575: PUSH1 0xa0 00003577: ADD 00003578: SWAP1 00003579: JUMP 0000357a: JUMPDEST 0000357b: PUSH1 0x20 0000357d: DUP1 0000357e: DUP3 0000357f: MSTORE 00003580: PUSH1 0x62 00003582: SWAP1 00003583: DUP3 00003584: ADD 00003585: MSTORE 00003586: PUSH1 0x00 00003588: DUP1 00003589: MLOAD 0000358a: PUSH1 0x20 0000358c: PUSH2 0x38c2 0000358f: DUP4 00003590: CODECOPY 00003591: DUP2 00003592: MLOAD 00003593: SWAP2 00003594: MSTORE 00003595: PUSH1 0x40 00003597: DUP3 00003598: ADD 00003599: MSTORE 0000359a: PUSH32 0x64207374616b65436f6d6d69746d656e744e6f6e6365206d757374206265206e 000035bb: PUSH1 0x60 000035bd: DUP3 000035be: ADD 000035bf: MSTORE 000035c0: PUSH32 0x6f206f6c646572207468616e207374616b65436f6d6d69746d656e744e6f6e63 000035e1: PUSH1 0x80 000035e3: DUP3 000035e4: ADD 000035e5: MSTORE 000035e6: PUSH2 0x3297 000035e9: PUSH1 0xf1 000035eb: SHL 000035ec: PUSH1 0xa0 000035ee: DUP3 000035ef: ADD 000035f0: MSTORE 000035f1: PUSH1 0xc0 000035f3: ADD 000035f4: SWAP1 000035f5: JUMP 000035f6: JUMPDEST 000035f7: PUSH1 0x20 000035f9: DUP1 000035fa: DUP3 000035fb: MSTORE 000035fc: PUSH1 0x51 000035fe: SWAP1 000035ff: DUP3 00003600: ADD 00003601: MSTORE 00003602: PUSH1 0x00 00003604: DUP1 00003605: MLOAD 00003606: PUSH1 0x20 00003608: PUSH2 0x38c2 0000360b: DUP4 0000360c: CODECOPY 0000360d: DUP2 0000360e: MLOAD 0000360f: SWAP2 00003610: MSTORE 00003611: PUSH1 0x40 00003613: DUP3 00003614: ADD 00003615: MSTORE 00003616: PUSH32 0x64207374616b654368616e6e656c4e6f6e6365206d757374206d617463682073 00003637: PUSH1 0x60 00003639: DUP3 0000363a: ADD 0000363b: MSTORE 0000363c: PUSH17 0x3a30b5b2a1b430b73732b62737b731b297 0000364e: PUSH1 0x79 00003650: SHL 00003651: PUSH1 0x80 00003653: DUP3 00003654: ADD 00003655: MSTORE 00003656: PUSH1 0xa0 00003658: ADD 00003659: SWAP1 0000365a: JUMP 0000365b: JUMPDEST 0000365c: PUSH1 0x20 0000365e: DUP1 0000365f: DUP3 00003660: MSTORE 00003661: PUSH1 0x54 00003663: SWAP1 00003664: DUP3 00003665: ADD 00003666: MSTORE 00003667: PUSH32 0x496e76616c6964205374616b65436f6d6d69746d656e743a207374616b657241 00003688: PUSH1 0x40 0000368a: DUP3 0000368b: ADD 0000368c: MSTORE 0000368d: PUSH32 0x64647265737320646f6573206e6f74206d6174636820746865207369676e6572 000036ae: PUSH1 0x60 000036b0: DUP3 000036b1: ADD 000036b2: MSTORE 000036b3: PUSH20 0x1037b31039ba30b5b2b929b4b3b730ba3ab93297 000036c8: PUSH1 0x61 000036ca: SHL 000036cb: PUSH1 0x80 000036cd: DUP3 000036ce: ADD 000036cf: MSTORE 000036d0: PUSH1 0xa0 000036d2: ADD 000036d3: SWAP1 000036d4: JUMP 000036d5: JUMPDEST 000036d6: PUSH1 0x20 000036d8: DUP1 000036d9: DUP3 000036da: MSTORE 000036db: PUSH1 0x5e 000036dd: SWAP1 000036de: DUP3 000036df: ADD 000036e0: MSTORE 000036e1: PUSH32 0x496e76616c6964205374616b65436f6d6d69746d656e743a207374616b654e6f 00003702: PUSH1 0x40 00003704: DUP3 00003705: ADD 00003706: MSTORE 00003707: PUSH32 0x746172794164647265737320646f6573206e6f74206d61746368207468652073 00003728: PUSH1 0x60 0000372a: DUP3 0000372b: ADD 0000372c: MSTORE 0000372d: PUSH32 0x69676e6572206f66207374616b654e6f746172795369676e61747572652e0000 0000374e: PUSH1 0x80 00003750: DUP3 00003751: ADD 00003752: MSTORE 00003753: PUSH1 0xa0 00003755: ADD 00003756: SWAP1 00003757: JUMP 00003758: JUMPDEST 00003759: PUSH1 0x00 0000375b: PUSH1 0x00 0000375d: NOT 0000375e: DUP3 0000375f: EQ 00003760: ISZERO 00003761: PUSH2 0x376c 00003764: JUMPI 00003765: PUSH2 0x376c 00003768: PUSH2 0x34bd 0000376b: JUMP 0000376c: JUMPDEST 0000376d: POP 0000376e: PUSH1 0x01 00003770: ADD 00003771: SWAP1 00003772: JUMP 00003773: JUMPDEST 00003774: PUSH1 0x00 00003776: PUSH1 0x20 00003778: DUP3 00003779: DUP5 0000377a: SUB 0000377b: SLT 0000377c: ISZERO 0000377d: PUSH2 0x3785 00003780: JUMPI 00003781: PUSH1 0x00 00003783: DUP1 00003784: REVERT 00003785: JUMPDEST 00003786: POP 00003787: MLOAD 00003788: SWAP2 00003789: SWAP1 0000378a: POP 0000378b: JUMP 0000378c: JUMPDEST 0000378d: PUSH1 0x00 0000378f: DUP3 00003790: MLOAD 00003791: PUSH2 0x379e 00003794: DUP2 00003795: DUP5 00003796: PUSH1 0x20 00003798: DUP8 00003799: ADD 0000379a: PUSH2 0x3281 0000379d: JUMP 0000379e: JUMPDEST 0000379f: SWAP2 000037a0: SWAP1 000037a1: SWAP2 000037a2: ADD 000037a3: SWAP3 000037a4: SWAP2 000037a5: POP 000037a6: POP 000037a7: JUMP 000037a8: JUMPDEST 000037a9: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 000037ca: DUP2 000037cb: MSTORE 000037cc: PUSH1 0x00 000037ce: DUP4 000037cf: MLOAD 000037d0: PUSH2 0x37e0 000037d3: DUP2 000037d4: PUSH1 0x17 000037d6: DUP6 000037d7: ADD 000037d8: PUSH1 0x20 000037da: DUP9 000037db: ADD 000037dc: PUSH2 0x3281 000037df: JUMP 000037e0: JUMPDEST 000037e1: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 000037f3: PUSH1 0x7d 000037f5: SHL 000037f6: PUSH1 0x17 000037f8: SWAP2 000037f9: DUP5 000037fa: ADD 000037fb: SWAP2 000037fc: DUP3 000037fd: ADD 000037fe: MSTORE 000037ff: DUP4 00003800: MLOAD 00003801: PUSH2 0x3811 00003804: DUP2 00003805: PUSH1 0x28 00003807: DUP5 00003808: ADD 00003809: PUSH1 0x20 0000380b: DUP9 0000380c: ADD 0000380d: PUSH2 0x3281 00003810: JUMP 00003811: JUMPDEST 00003812: ADD 00003813: PUSH1 0x28 00003815: ADD 00003816: SWAP5 00003817: SWAP4 00003818: POP 00003819: POP 0000381a: POP 0000381b: POP 0000381c: JUMP 0000381d: JUMPDEST 0000381e: PUSH1 0x00 00003820: PUSH1 0x20 00003822: DUP3 00003823: DUP5 00003824: SUB 00003825: SLT 00003826: ISZERO 00003827: PUSH2 0x382f 0000382a: JUMPI 0000382b: PUSH1 0x00 0000382d: DUP1 0000382e: REVERT 0000382f: JUMPDEST 00003830: DUP2 00003831: MLOAD 00003832: DUP1 00003833: ISZERO 00003834: ISZERO 00003835: DUP2 00003836: EQ 00003837: PUSH2 0x1025 0000383a: JUMPI 0000383b: PUSH1 0x00 0000383d: DUP1 0000383e: REVERT 0000383f: JUMPDEST 00003840: PUSH4 0x4e487b71 00003845: PUSH1 0xe0 00003847: SHL 00003848: PUSH1 0x00 0000384a: MSTORE 0000384b: PUSH1 0x21 0000384d: PUSH1 0x04 0000384f: MSTORE 00003850: PUSH1 0x24 00003852: PUSH1 0x00 00003854: REVERT 00003855: JUMPDEST 00003856: PUSH1 0x00 00003858: DUP2 00003859: PUSH1 0x00 0000385b: NOT 0000385c: DIV 0000385d: DUP4 0000385e: GT 0000385f: DUP3 00003860: ISZERO 00003861: ISZERO 00003862: AND 00003863: ISZERO 00003864: PUSH2 0x386f 00003867: JUMPI 00003868: PUSH2 0x386f 0000386b: PUSH2 0x34bd 0000386e: JUMP 0000386f: JUMPDEST 00003870: POP 00003871: MUL 00003872: SWAP1 00003873: JUMP 00003874: JUMPDEST 00003875: PUSH1 0x00 00003877: DUP2 00003878: PUSH2 0x3883 0000387b: JUMPI 0000387c: PUSH2 0x3883 0000387f: PUSH2 0x34bd 00003882: JUMP 00003883: JUMPDEST 00003884: POP 00003885: PUSH1 0x00 00003887: NOT 00003888: ADD 00003889: SWAP1 0000388a: JUMP 0000388b: JUMPDEST 0000388c: PUSH4 0x4e487b71 00003891: PUSH1 0xe0 00003893: SHL 00003894: PUSH1 0x00 00003896: MSTORE 00003897: PUSH1 0x31 00003899: PUSH1 0x04 0000389b: MSTORE 0000389c: PUSH1 0x24 0000389e: PUSH1 0x00 000038a0: REVERT 000038a1: INVALID 000038a2: SWAP8 000038a3: PUSH7 0x7070c54ef182b0 000038ab: CREATE2 000038ac: DUP6 000038ad: DUP12 000038ae: SUB 000038af: UNKNOWN(0x4B) 000038b0: UNKNOWN(0xEA) 000038b1: UNKNOWN(0xC1) 000038b2: UNKNOWN(0xB6) 000038b3: RETURN 000038b4: ADDMOD 000038b5: SWAP11 000038b6: LOG2 000038b7: UNKNOWN(0xD3) 000038b8: XOR 000038b9: DUP12 000038ba: UNKNOWN(0xB1) 000038bb: UNKNOWN(0xE8) 000038bc: SWAP3 000038bd: SWAP16 000038be: UNKNOWN(0x4F) 000038bf: UNKNOWN(0xA9) 000038c0: UNKNOWN(0xB9) 000038c1: UNKNOWN(0x29) 000038c2: BLOBHASH 000038c3: PUSH15 0x76616c6964205374616b65436f6d6d 000038d3: PUSH10 0x746d656e743a2070726f 000038de: PUSH23 0x696465a2646970667358221220ff4a5750ad723405dd7c 000038f6: UNKNOWN(0x4C) 000038f7: UNKNOWN(0xBE) 000038f8: SWAP5 000038f9: SLT 000038fa: COINBASE 000038fb: UNKNOWN(0xBA) 000038fc: TIMESTAMP 000038fd: SWAP9 000038fe: PUSH7 0xa185f9dd6cf11a 00003906: DUP2 00003907: SHR 00003908: MSTORE8 00003909: UNKNOWN(0xD9) 0000390a: SELFBALANCE 0000390b: PUSH7 0x64736f6c634300 00003913: ADDMOD 00003914: MULMOD 00003915: STOP 00003916: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0bd361c8d539403e60c852a6a05959c543ecb3448500e37683f8aaec9e72bd38
call_targets:
0xaffa8300d0e0ae1fbe140e1a74de31a64c78f6c1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0bd361c8d539403e60c852a6a05959c543ecb3448500e37683f8aaec9e72bd38",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaffa8300d0e0ae1fbe140e1a74de31a64c78f6c1"
],
"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": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8248e28",
"selector": "0xf8248e28",
"calldata_variants": [
"0xf8248e28",
"0xf8248e280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9931855",
"selector": "0xf9931855",
"calldata_variants": [
"0xf9931855",
"0xf99318550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa71fa0a",
"selector": "0xfa71fa0a",
"calldata_variants": [
"0xfa71fa0a",
"0xfa71fa0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe326417",
"selector": "0xfe326417",
"calldata_variants": [
"0xfe326417",
"0xfe3264170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd90f651f",
"selector": "0xd90f651f",
"calldata_variants": [
"0xd90f651f",
"0xd90f651f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe10ea844",
"selector": "0xe10ea844",
"calldata_variants": [
"0xe10ea844",
"0xe10ea8440000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9449,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9499,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0bd361c8d539403e60c852a6a05959c543ecb3448500e37683f8aaec9e72bd38
call_targets:
0xaffa8300d0e0ae1fbe140e1a74de31a64c78f6c1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0bd361c8d539403e60c852a6a05959c543ecb3448500e37683f8aaec9e72bd38",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaffa8300d0e0ae1fbe140e1a74de31a64c78f6c1"
],
"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": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8248e28",
"selector": "0xf8248e28",
"calldata_variants": [
"0xf8248e28",
"0xf8248e280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9931855",
"selector": "0xf9931855",
"calldata_variants": [
"0xf9931855",
"0xf99318550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa71fa0a",
"selector": "0xfa71fa0a",
"calldata_variants": [
"0xfa71fa0a",
"0xfa71fa0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe326417",
"selector": "0xfe326417",
"calldata_variants": [
"0xfe326417",
"0xfe3264170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd90f651f",
"selector": "0xd90f651f",
"calldata_variants": [
"0xd90f651f",
"0xd90f651f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe10ea844",
"selector": "0xe10ea844",
"calldata_variants": [
"0xe10ea844",
"0xe10ea8440000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4440,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9449,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9499,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x64cb95dd26e3f881ee453e3f98810071b90330229624e7cf8d3f728d0f8e8587
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x64cb95dd26e3f881ee453e3f98810071b90330229624e7cf8d3f728d0f8e8587",
"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": "0xf5b541a6",
"selector": "0xf5b541a6",
"calldata_variants": [
"0xf5b541a6",
"0xf5b541a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8248e28",
"selector": "0xf8248e28",
"calldata_variants": [
"0xf8248e28",
"0xf8248e280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9931855",
"selector": "0xf9931855",
"calldata_variants": [
"0xf9931855",
"0xf99318550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa71fa0a",
"selector": "0xfa71fa0a",
"calldata_variants": [
"0xfa71fa0a",
"0xfa71fa0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe326417",
"selector": "0xfe326417",
"calldata_variants": [
"0xfe326417",
"0xfe3264170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd90f651f",
"selector": "0xd90f651f",
"calldata_variants": [
"0xd90f651f",
"0xd90f651f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe10ea844",
"selector": "0xe10ea844",
"calldata_variants": [
"0xe10ea844",
"0xe10ea8440000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 1
}
|