TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

622803dd-44c0-48b2-917b-e68a905c29c5

failed
Chain ID
1
Address
Block Number
Created
Mon, Dec 29, 2025 7:02 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
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).
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
1
CALL-family (heavy)
6
EXT*/BALANCE
3
Total opcodes
8371
Flags
create_opcodes_present
View cast disassembly output
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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_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
view
trace_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
view
trace_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
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 0,
    "create2_count": 1
}