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

Analysis Run

f715ba05-3ea0-4d9e-983a-7fcdb963f4fd

failed
Chain ID
1
Address
Block Number
Created
Sat, Jan 3, 2026 12:32 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 DELEGATECALL target 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
31405 report.consolidate complete 1 / 1 3 months ago
77056 artifact.fetch failed 1 / 3 1 week ago
77057 tool.cast_disasm complete 1 / 3 1 week ago
77058 analysis.bundle complete 1 / 3 1 week ago
77059 capability.graph complete 1 / 3 1 week ago
77060 detector.run complete 1 / 3 1 week ago
77061 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
No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.
View stderr
[codex:716699] OpenAI Codex v0.77.0 (research preview)
[codex:716699] --------
[codex:716699] workdir: /tmp/codex-multi-jrr0ez8j
[codex:716699] model: gpt-5.2-codex
[codex:716699] provider: openai
[codex:716699] approval: never
[codex:716699] sandbox: read-only
[codex:716699] reasoning effort: xhigh
[codex:716699] reasoning summaries: auto
[codex:716699] session id: 019b8143-9230-74f2-8818-90103c7c86b4
[codex:716699] --------
[codex:716699] user
[codex:716699] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:716699] 
[codex:716699] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:716699] 
[codex:716699] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:716699] - Gas inefficiency, code quality, naming, or best practices
[codex:716699] - Theoretical vulnerabilities without a clear extraction path
[codex:716699] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:716699] - Front-running unless it enables theft beyond MEV
[codex:716699] - DoS, griefing, or issues that don't result in attacker profit
[codex:716699] - Missing events, view function issues, or informational findings
[codex:716699] 
[codex:716699] HIGH-VALUE PATTERNS TO HUNT:
[codex:716699] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:716699] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:716699] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:716699] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:716699] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:716699] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:716699] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:716699] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:716699] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:716699] 
[codex:716699] For each finding, you MUST provide:
[codex:716699] 1. Exact file and line numbers of vulnerable code
[codex:716699] 2. Step-by-step exploit transaction sequence
[codex:716699] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:716699] 
[codex:716699] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:716699] 
[codex:716699] Output MUST be valid JSON matching the provided schema.
[codex:716699] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:716699] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:716699] mcp startup: no servers
[codex:716699] 
[codex:716699] thinking
[codex:716699] **Preparing to audit by reviewing instructions**
[codex:716699] exec
[codex:716699] /bin/bash -lc ls in /tmp/codex-multi-jrr0ez8j succeeded in 6ms:
[codex:716699] AUDIT_BUNDLE.txt
[codex:716699] codex-output-schema.json
[codex:716699] contracts
[codex:716699] 
[codex:716699] thinking
[codex:716699] **Reading AUDIT_BUNDLE.txt**
[codex:716699] exec
[codex:716699] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-jrr0ez8j succeeded in 5ms:
[codex:716699] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:716699] 
[codex:716699] ================================================================================
[codex:716699] FILE: contracts/@chainlink/contracts/src/v0.8/VRFConsumerBaseV2.sol
[codex:716699] ================================================================================
[codex:716699] // SPDX-License-Identifier: MIT
[codex:716699] pragma solidity ^0.8.4;
[codex:716699] 
[codex:716699] /** ****************************************************************************
[codex:716699]  * @notice Interface for contracts using VRF randomness
[codex:716699]  * *****************************************************************************
[codex:716699]  * @dev PURPOSE
[codex:716699]  *
[codex:716699]  * @dev Reggie the Random Oracle (not his real job) wants to provide randomness
[codex:716699]  * @dev to Vera the verifier in such a way that Vera can be sure he's not
[codex:716699]  * @dev making his output up to suit himself. Reggie provides Vera a public key
[codex:716699]  * @dev to which he knows the secret key. Each time Vera provides a seed to
[codex:716699]  * @dev Reggie, he gives back a value which is computed completely
[codex:716699]  * @dev deterministically from the seed and the secret key.
[codex:716699]  *
[codex:716699] 
[codex:716699] thinking
[codex:716699] **Analyzing Auction Contract Vulnerabilities**
[codex:716699] 
[codex:716699] I’m reviewing the auction contract for exploitable profit paths, focusing on reentrancy, bid handling, and auction-ending logic. I notice a likely overcount in quantityAtMaxPrice when updating max-price bids, which could prematurely end auctions, but this seems more like griefing than direct profit extraction. Ownership checks and refund mechanisms appear secure, and no straightforward fund extraction or reentrancy flaws are apparent. I plan to confirm this by checking other contracts in the repo for additional attack surfaces.
[codex:716699] exec
[codex:716699] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-jrr0ez8j succeeded in 8ms:
[codex:716699] contracts/@openzeppelin/contracts/security/Pausable.sol
[codex:716699] contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:716699] contracts/contracts/Auction.sol
[codex:716699] contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/Context.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:716699] contracts/@chainlink/contracts/src/v0.8/VRFConsumerBaseV2.sol
[codex:716699] contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol
[codex:716699] contracts/@chainlink/contracts/src/v0.8/interfaces/VRFCoordinatorV2Interface.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/cryptography/MerkleProof.sol
[codex:716699] 
[codex:716699] thinking
[codex:716699] **Performing detailed audit analysis**
[codex:716699] 
[codex:716699] I'm carefully reviewing the auction contract for any concrete exploit paths that would allow extracting ETH, tokens, or NFTs. I'm analyzing bid and refund logic, access controls, potential overflows, and interplay of bid updates with minimum increments, focusing on whether any loopholes could lead to profit. Everything looks secure with no direct exploits; I'll produce a clean JSON report stating no findings as requested.
[codex:716699] codex
[codex:716699] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.","findings":[]}
[codex:716699] tokens used
[codex:716699] 13,114
[codex:716699] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-03T00:32:14.937771+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
6
EXT*/BALANCE
2
Total opcodes
6030
Flags
delegatecall_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0297
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8456cb59
00000019: GT
0000001a: PUSH2 0x015a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xe0549211
00000024: GT
00000025: PUSH2 0x00c1
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xeedcf574
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xeedcf574
0000003a: EQ
0000003b: PUSH2 0x0960
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf14210a6
00000045: EQ
00000046: PUSH2 0x0980
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x09a0
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf624af15
0000005b: EQ
0000005c: PUSH2 0x09c0
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf9f486d7
00000066: EQ
00000067: PUSH2 0x09f4
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xfe67a54b
00000071: EQ
00000072: PUSH2 0x0a09
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xe0549211
00000081: EQ
00000082: PUSH2 0x084e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xe283a8b8
0000008c: EQ
0000008d: PUSH2 0x086e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe5f73d3a
00000097: EQ
00000098: PUSH2 0x0884
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xeba1b60b
000000a2: EQ
000000a3: PUSH2 0x08a4
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xec89b5e0
000000ad: EQ
000000ae: PUSH2 0x08eb
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xed647d21
000000b8: EQ
000000b9: PUSH2 0x091f
000000bc: JUMPI
000000bd: PUSH1 0x00
000000bf: DUP1
000000c0: REVERT
000000c1: JUMPDEST
000000c2: DUP1
000000c3: PUSH4 0xbcba6939
000000c8: GT
000000c9: PUSH2 0x0113
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xbcba6939
000000d3: EQ
000000d4: PUSH2 0x0799
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xbfab3db9
000000de: EQ
000000df: PUSH2 0x07b9
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xd218d95d
000000e9: EQ
000000ea: PUSH2 0x07ce
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xd53c4790
000000f4: EQ
000000f5: PUSH2 0x07ee
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xd9c4870e
000000ff: EQ
00000100: PUSH2 0x0804
00000103: JUMPI
00000104: DUP1
00000105: PUSH4 0xdf690509
0000010a: EQ
0000010b: PUSH2 0x0838
0000010e: JUMPI
0000010f: PUSH1 0x00
00000111: DUP1
00000112: REVERT
00000113: JUMPDEST
00000114: DUP1
00000115: PUSH4 0x8456cb59
0000011a: EQ
0000011b: PUSH2 0x06a3
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x8da5cb5b
00000125: EQ
00000126: PUSH2 0x06b8
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x9d6a0f28
00000130: EQ
00000131: PUSH2 0x06ea
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0xa39c44eb
0000013b: EQ
0000013c: PUSH2 0x0744
0000013f: JUMPI
00000140: DUP1
00000141: PUSH4 0xa3e56fa8
00000146: EQ
00000147: PUSH2 0x0759
0000014a: JUMPI
0000014b: DUP1
0000014c: PUSH4 0xb7054007
00000151: EQ
00000152: PUSH2 0x0779
00000155: JUMPI
00000156: PUSH1 0x00
00000158: DUP1
00000159: REVERT
0000015a: JUMPDEST
0000015b: DUP1
0000015c: PUSH4 0x50d9d472
00000161: GT
00000162: PUSH2 0x01fe
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x5e62be25
0000016c: GT
0000016d: PUSH2 0x01b7
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x5e62be25
00000177: EQ
00000178: PUSH2 0x05fd
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x6011cc9f
00000182: EQ
00000183: PUSH2 0x0610
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x60529690
0000018d: EQ
0000018e: PUSH2 0x0630
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x6b64c769
00000198: EQ
00000199: PUSH2 0x0645
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x715018a6
000001a3: EQ
000001a4: PUSH2 0x065a
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH4 0x7f06cd22
000001ae: EQ
000001af: PUSH2 0x066f
000001b2: JUMPI
000001b3: PUSH1 0x00
000001b5: DUP1
000001b6: REVERT
000001b7: JUMPDEST
000001b8: DUP1
000001b9: PUSH4 0x50d9d472
000001be: EQ
000001bf: PUSH2 0x051a
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x510c5d6a
000001c9: EQ
000001ca: PUSH2 0x054e
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x5151804a
000001d4: EQ
000001d5: PUSH2 0x0563
000001d8: JUMPI
000001d9: DUP1
000001da: PUSH4 0x598bc486
000001df: EQ
000001e0: PUSH2 0x0587
000001e3: JUMPI
000001e4: DUP1
000001e5: PUSH4 0x5a131edf
000001ea: EQ
000001eb: PUSH2 0x05bd
000001ee: JUMPI
000001ef: DUP1
000001f0: PUSH4 0x5c975abb
000001f5: EQ
000001f6: PUSH2 0x05d2
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: DUP1
00000200: PUSH4 0x338bd126
00000205: GT
00000206: PUSH2 0x0250
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x338bd126
00000210: EQ
00000211: PUSH2 0x0435
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x3b7ed734
0000021b: EQ
0000021c: PUSH2 0x0469
0000021f: JUMPI
00000220: DUP1
00000221: PUSH4 0x3f4ba83a
00000226: EQ
00000227: PUSH2 0x049b
0000022a: JUMPI
0000022b: DUP1
0000022c: PUSH4 0x4326a9d6
00000231: EQ
00000232: PUSH2 0x04b0
00000235: JUMPI
00000236: DUP1
00000237: PUSH4 0x44ff81ce
0000023c: EQ
0000023d: PUSH2 0x04e4
00000240: JUMPI
00000241: DUP1
00000242: PUSH4 0x4f245ef7
00000247: EQ
00000248: PUSH2 0x0504
0000024b: JUMPI
0000024c: PUSH1 0x00
0000024e: DUP1
0000024f: REVERT
00000250: JUMPDEST
00000251: DUP1
00000252: PUSH4 0x041d443e
00000257: EQ
00000258: PUSH2 0x038d
0000025b: JUMPI
0000025c: DUP1
0000025d: PUSH4 0x1fe543e3
00000262: EQ
00000263: PUSH2 0x03b6
00000266: JUMPI
00000267: DUP1
00000268: PUSH4 0x203543cb
0000026d: EQ
0000026e: PUSH2 0x03d6
00000271: JUMPI
00000272: DUP1
00000273: PUSH4 0x20c924d4
00000278: EQ
00000279: PUSH2 0x03eb
0000027c: JUMPI
0000027d: DUP1
0000027e: PUSH4 0x211f0036
00000283: EQ
00000284: PUSH2 0x0400
00000287: JUMPI
00000288: DUP1
00000289: PUSH4 0x2ca6d27c
0000028e: EQ
0000028f: PUSH2 0x0420
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: CALLDATASIZE
00000299: PUSH2 0x0388
0000029c: JUMPI
0000029d: PUSH1 0x00
0000029f: CALLVALUE
000002a0: GT
000002a1: PUSH2 0x02e5
000002a4: JUMPI
000002a5: PUSH1 0x40
000002a7: MLOAD
000002a8: PUSH3 0x461bcd
000002ac: PUSH1 0xe5
000002ae: SHL
000002af: DUP2
000002b0: MSTORE
000002b1: PUSH1 0x20
000002b3: PUSH1 0x04
000002b5: DUP3
000002b6: ADD
000002b7: MSTORE
000002b8: PUSH1 0x11
000002ba: PUSH1 0x24
000002bc: DUP3
000002bd: ADD
000002be: MSTORE
000002bf: PUSH17 0x139bc8195d1a195c881dd85cc81cd95b9d
000002d1: PUSH1 0x7a
000002d3: SHL
000002d4: PUSH1 0x44
000002d6: DUP3
000002d7: ADD
000002d8: MSTORE
000002d9: PUSH1 0x64
000002db: ADD
000002dc: JUMPDEST
000002dd: PUSH1 0x40
000002df: MLOAD
000002e0: DUP1
000002e1: SWAP2
000002e2: SUB
000002e3: SWAP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: CALLER
000002e7: PUSH1 0x01
000002e9: PUSH1 0x01
000002eb: PUSH1 0xa0
000002ed: SHL
000002ee: SUB
000002ef: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef
00000310: AND
00000311: EQ
00000312: DUP1
00000313: PUSH2 0x0326
00000316: JUMPI
00000317: POP
00000318: PUSH1 0x00
0000031a: SLOAD
0000031b: PUSH1 0x01
0000031d: PUSH1 0x01
0000031f: PUSH1 0xa0
00000321: SHL
00000322: SUB
00000323: AND
00000324: CALLER
00000325: EQ
00000326: JUMPDEST
00000327: PUSH2 0x0386
0000032a: JUMPI
0000032b: PUSH1 0x40
0000032d: MLOAD
0000032e: PUSH3 0x461bcd
00000332: PUSH1 0xe5
00000334: SHL
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x20
00000339: PUSH1 0x04
0000033b: DUP3
0000033c: ADD
0000033d: MSTORE
0000033e: PUSH1 0x2b
00000340: PUSH1 0x24
00000342: DUP3
00000343: ADD
00000344: MSTORE
00000345: PUSH32 0x4f6e6c79206f776e6572206f722062656e65666963696172792063616e206675
00000366: PUSH1 0x44
00000368: DUP3
00000369: ADD
0000036a: MSTORE
0000036b: PUSH11 0x1b990818dbdb9d1c9858dd
00000377: PUSH1 0xaa
00000379: SHL
0000037a: PUSH1 0x64
0000037c: DUP3
0000037d: ADD
0000037e: MSTORE
0000037f: PUSH1 0x84
00000381: ADD
00000382: PUSH2 0x02dc
00000385: JUMP
00000386: JUMPDEST
00000387: STOP
00000388: JUMPDEST
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: PUSH2 0x03a3
0000039e: PUSH1 0x02
000003a0: SLOAD
000003a1: DUP2
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH1 0x40
000003a6: MLOAD
000003a7: SWAP1
000003a8: DUP2
000003a9: MSTORE
000003aa: PUSH1 0x20
000003ac: ADD
000003ad: JUMPDEST
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: DUP1
000003b2: SWAP2
000003b3: SUB
000003b4: SWAP1
000003b5: RETURN
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c2
000003bd: JUMPI
000003be: PUSH1 0x00
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x0386
000003c7: PUSH2 0x03d1
000003ca: CALLDATASIZE
000003cb: PUSH1 0x04
000003cd: PUSH2 0x241f
000003d0: JUMP
000003d1: JUMPDEST
000003d2: PUSH2 0x0a1e
000003d5: JUMP
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: DUP1
000003d9: ISZERO
000003da: PUSH2 0x03e2
000003dd: JUMPI
000003de: PUSH1 0x00
000003e0: DUP1
000003e1: REVERT
000003e2: JUMPDEST
000003e3: POP
000003e4: PUSH2 0x03a3
000003e7: PUSH1 0x3c
000003e9: DUP2
000003ea: JUMP
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH2 0x03a3
000003fc: PUSH1 0x01
000003fe: DUP2
000003ff: JUMP
00000400: JUMPDEST
00000401: CALLVALUE
00000402: DUP1
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: POP
0000040e: PUSH2 0x0386
00000411: PUSH2 0x041b
00000414: CALLDATASIZE
00000415: PUSH1 0x04
00000417: PUSH2 0x24e9
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH2 0x0aa6
0000041f: JUMP
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x03a3
00000431: PUSH1 0x02
00000433: DUP2
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x03a3
00000446: PUSH32 0x00000000000000000000000000000000000000000000000003782dace9d90000
00000467: DUP2
00000468: JUMP
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: DUP1
0000046c: ISZERO
0000046d: PUSH2 0x0475
00000470: JUMPI
00000471: PUSH1 0x00
00000473: DUP1
00000474: REVERT
00000475: JUMPDEST
00000476: POP
00000477: PUSH1 0x03
00000479: SLOAD
0000047a: PUSH2 0x0486
0000047d: SWAP1
0000047e: PUSH4 0xffffffff
00000483: AND
00000484: DUP2
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: PUSH4 0xffffffff
0000048f: SWAP1
00000490: SWAP2
00000491: AND
00000492: DUP2
00000493: MSTORE
00000494: PUSH1 0x20
00000496: ADD
00000497: PUSH2 0x03ad
0000049a: JUMP
0000049b: JUMPDEST
0000049c: CALLVALUE
0000049d: DUP1
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: POP
000004a9: PUSH2 0x0386
000004ac: PUSH2 0x0e3c
000004af: JUMP
000004b0: JUMPDEST
000004b1: CALLVALUE
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04bc
000004b7: JUMPI
000004b8: PUSH1 0x00
000004ba: DUP1
000004bb: REVERT
000004bc: JUMPDEST
000004bd: POP
000004be: PUSH2 0x03a3
000004c1: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000
000004e2: DUP2
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x0386
000004f5: PUSH2 0x04ff
000004f8: CALLDATASIZE
000004f9: PUSH1 0x04
000004fb: PUSH2 0x257d
000004fe: JUMP
000004ff: JUMPDEST
00000500: PUSH2 0x0e70
00000503: JUMP
00000504: JUMPDEST
00000505: CALLVALUE
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0510
0000050b: JUMPI
0000050c: PUSH1 0x00
0000050e: DUP1
0000050f: REVERT
00000510: JUMPDEST
00000511: POP
00000512: PUSH2 0x03a3
00000515: PUSH1 0x05
00000517: SLOAD
00000518: DUP2
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: DUP1
0000051d: ISZERO
0000051e: PUSH2 0x0526
00000521: JUMPI
00000522: PUSH1 0x00
00000524: DUP1
00000525: REVERT
00000526: JUMPDEST
00000527: POP
00000528: PUSH2 0x03a3
0000052b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
0000054c: DUP2
0000054d: JUMP
0000054e: JUMPDEST
0000054f: CALLVALUE
00000550: DUP1
00000551: ISZERO
00000552: PUSH2 0x055a
00000555: JUMPI
00000556: PUSH1 0x00
00000558: DUP1
00000559: REVERT
0000055a: JUMPDEST
0000055b: POP
0000055c: PUSH1 0x08
0000055e: SLOAD
0000055f: PUSH2 0x03a3
00000562: JUMP
00000563: JUMPDEST
00000564: CALLVALUE
00000565: DUP1
00000566: ISZERO
00000567: PUSH2 0x056f
0000056a: JUMPI
0000056b: PUSH1 0x00
0000056d: DUP1
0000056e: REVERT
0000056f: JUMPDEST
00000570: POP
00000571: PUSH1 0x03
00000573: SLOAD
00000574: PUSH2 0x0486
00000577: SWAP1
00000578: PUSH1 0x01
0000057a: PUSH1 0x30
0000057c: SHL
0000057d: SWAP1
0000057e: DIV
0000057f: PUSH4 0xffffffff
00000584: AND
00000585: DUP2
00000586: JUMP
00000587: JUMPDEST
00000588: CALLVALUE
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH1 0x03
00000597: SLOAD
00000598: PUSH2 0x05aa
0000059b: SWAP1
0000059c: PUSH5 0x0100000000
000005a2: SWAP1
000005a3: DIV
000005a4: PUSH2 0xffff
000005a7: AND
000005a8: DUP2
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH1 0x40
000005ad: MLOAD
000005ae: PUSH2 0xffff
000005b1: SWAP1
000005b2: SWAP2
000005b3: AND
000005b4: DUP2
000005b5: MSTORE
000005b6: PUSH1 0x20
000005b8: ADD
000005b9: PUSH2 0x03ad
000005bc: JUMP
000005bd: JUMPDEST
000005be: CALLVALUE
000005bf: DUP1
000005c0: ISZERO
000005c1: PUSH2 0x05c9
000005c4: JUMPI
000005c5: PUSH1 0x00
000005c7: DUP1
000005c8: REVERT
000005c9: JUMPDEST
000005ca: POP
000005cb: PUSH2 0x03a3
000005ce: PUSH1 0xc8
000005d0: DUP2
000005d1: JUMP
000005d2: JUMPDEST
000005d3: CALLVALUE
000005d4: DUP1
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: POP
000005e0: PUSH1 0x00
000005e2: SLOAD
000005e3: PUSH1 0x01
000005e5: PUSH1 0xa0
000005e7: SHL
000005e8: SWAP1
000005e9: DIV
000005ea: PUSH1 0xff
000005ec: AND
000005ed: JUMPDEST
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: SWAP1
000005f2: ISZERO
000005f3: ISZERO
000005f4: DUP2
000005f5: MSTORE
000005f6: PUSH1 0x20
000005f8: ADD
000005f9: PUSH2 0x03ad
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH2 0x0386
00000601: PUSH2 0x060b
00000604: CALLDATASIZE
00000605: PUSH1 0x04
00000607: PUSH2 0x259a
0000060a: JUMP
0000060b: JUMPDEST
0000060c: PUSH2 0x0ebc
0000060f: JUMP
00000610: JUMPDEST
00000611: CALLVALUE
00000612: DUP1
00000613: ISZERO
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: POP
0000061e: PUSH2 0x0386
00000621: PUSH2 0x062b
00000624: CALLDATASIZE
00000625: PUSH1 0x04
00000627: PUSH2 0x25c6
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH2 0x148a
0000062f: JUMP
00000630: JUMPDEST
00000631: CALLVALUE
00000632: DUP1
00000633: ISZERO
00000634: PUSH2 0x063c
00000637: JUMPI
00000638: PUSH1 0x00
0000063a: DUP1
0000063b: REVERT
0000063c: JUMPDEST
0000063d: POP
0000063e: PUSH2 0x03a3
00000641: PUSH1 0x32
00000643: DUP2
00000644: JUMP
00000645: JUMPDEST
00000646: CALLVALUE
00000647: DUP1
00000648: ISZERO
00000649: PUSH2 0x0651
0000064c: JUMPI
0000064d: PUSH1 0x00
0000064f: DUP1
00000650: REVERT
00000651: JUMPDEST
00000652: POP
00000653: PUSH2 0x0386
00000656: PUSH2 0x14dd
00000659: JUMP
0000065a: JUMPDEST
0000065b: CALLVALUE
0000065c: DUP1
0000065d: ISZERO
0000065e: PUSH2 0x0666
00000661: JUMPI
00000662: PUSH1 0x00
00000664: DUP1
00000665: REVERT
00000666: JUMPDEST
00000667: POP
00000668: PUSH2 0x0386
0000066b: PUSH2 0x15df
0000066e: JUMP
0000066f: JUMPDEST
00000670: CALLVALUE
00000671: DUP1
00000672: ISZERO
00000673: PUSH2 0x067b
00000676: JUMPI
00000677: PUSH1 0x00
00000679: DUP1
0000067a: REVERT
0000067b: JUMPDEST
0000067c: POP
0000067d: PUSH2 0x03a3
00000680: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000
000006a1: DUP2
000006a2: JUMP
000006a3: JUMPDEST
000006a4: CALLVALUE
000006a5: DUP1
000006a6: ISZERO
000006a7: PUSH2 0x06af
000006aa: JUMPI
000006ab: PUSH1 0x00
000006ad: DUP1
000006ae: REVERT
000006af: JUMPDEST
000006b0: POP
000006b1: PUSH2 0x0386
000006b4: PUSH2 0x1613
000006b7: JUMP
000006b8: JUMPDEST
000006b9: CALLVALUE
000006ba: DUP1
000006bb: ISZERO
000006bc: PUSH2 0x06c4
000006bf: JUMPI
000006c0: PUSH1 0x00
000006c2: DUP1
000006c3: REVERT
000006c4: JUMPDEST
000006c5: POP
000006c6: PUSH1 0x00
000006c8: SLOAD
000006c9: PUSH1 0x01
000006cb: PUSH1 0x01
000006cd: PUSH1 0xa0
000006cf: SHL
000006d0: SUB
000006d1: AND
000006d2: JUMPDEST
000006d3: PUSH1 0x40
000006d5: MLOAD
000006d6: PUSH1 0x01
000006d8: PUSH1 0x01
000006da: PUSH1 0xa0
000006dc: SHL
000006dd: SUB
000006de: SWAP1
000006df: SWAP2
000006e0: AND
000006e1: DUP2
000006e2: MSTORE
000006e3: PUSH1 0x20
000006e5: ADD
000006e6: PUSH2 0x03ad
000006e9: JUMP
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: DUP1
000006ed: ISZERO
000006ee: PUSH2 0x06f6
000006f1: JUMPI
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: REVERT
000006f6: JUMPDEST
000006f7: POP
000006f8: PUSH1 0x40
000006fa: DUP1
000006fb: MLOAD
000006fc: DUP1
000006fd: DUP3
000006fe: ADD
000006ff: DUP3
00000700: MSTORE
00000701: PUSH1 0x00
00000703: DUP1
00000704: DUP3
00000705: MSTORE
00000706: PUSH1 0x20
00000708: SWAP2
00000709: DUP3
0000070a: ADD
0000070b: MSTORE
0000070c: DUP2
0000070d: MLOAD
0000070e: DUP1
0000070f: DUP4
00000710: ADD
00000711: DUP4
00000712: MSTORE
00000713: PUSH1 0x07
00000715: SLOAD
00000716: PUSH1 0xff
00000718: DUP1
00000719: DUP3
0000071a: AND
0000071b: ISZERO
0000071c: ISZERO
0000071d: DUP1
0000071e: DUP5
0000071f: MSTORE
00000720: PUSH2 0x0100
00000723: SWAP1
00000724: SWAP3
00000725: DIV
00000726: AND
00000727: ISZERO
00000728: ISZERO
00000729: SWAP2
0000072a: DUP4
0000072b: ADD
0000072c: SWAP2
0000072d: DUP3
0000072e: MSTORE
0000072f: DUP4
00000730: MLOAD
00000731: SWAP1
00000732: DUP2
00000733: MSTORE
00000734: SWAP1
00000735: MLOAD
00000736: ISZERO
00000737: ISZERO
00000738: SWAP2
00000739: DUP2
0000073a: ADD
0000073b: SWAP2
0000073c: SWAP1
0000073d: SWAP2
0000073e: MSTORE
0000073f: ADD
00000740: PUSH2 0x03ad
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 0x05ed
00000755: PUSH2 0x1645
00000758: JUMP
00000759: JUMPDEST
0000075a: CALLVALUE
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x0765
00000760: JUMPI
00000761: PUSH1 0x00
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: POP
00000767: PUSH1 0x01
00000769: SLOAD
0000076a: PUSH2 0x06d2
0000076d: SWAP1
0000076e: PUSH1 0x01
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: SHL
00000775: SUB
00000776: AND
00000777: DUP2
00000778: JUMP
00000779: JUMPDEST
0000077a: CALLVALUE
0000077b: DUP1
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: POP
00000787: PUSH2 0x0386
0000078a: PUSH2 0x0794
0000078d: CALLDATASIZE
0000078e: PUSH1 0x04
00000790: PUSH2 0x25ec
00000793: JUMP
00000794: JUMPDEST
00000795: PUSH2 0x1654
00000798: JUMP
00000799: JUMPDEST
0000079a: CALLVALUE
0000079b: DUP1
0000079c: ISZERO
0000079d: PUSH2 0x07a5
000007a0: JUMPI
000007a1: PUSH1 0x00
000007a3: DUP1
000007a4: REVERT
000007a5: JUMPDEST
000007a6: POP
000007a7: PUSH2 0x0386
000007aa: PUSH2 0x07b4
000007ad: CALLDATASIZE
000007ae: PUSH1 0x04
000007b0: PUSH2 0x2605
000007b3: JUMP
000007b4: JUMPDEST
000007b5: PUSH2 0x16f7
000007b8: JUMP
000007b9: JUMPDEST
000007ba: CALLVALUE
000007bb: DUP1
000007bc: ISZERO
000007bd: PUSH2 0x07c5
000007c0: JUMPI
000007c1: PUSH1 0x00
000007c3: DUP1
000007c4: REVERT
000007c5: JUMPDEST
000007c6: POP
000007c7: PUSH2 0x0386
000007ca: PUSH2 0x1747
000007cd: JUMP
000007ce: JUMPDEST
000007cf: CALLVALUE
000007d0: DUP1
000007d1: ISZERO
000007d2: PUSH2 0x07da
000007d5: JUMPI
000007d6: PUSH1 0x00
000007d8: DUP1
000007d9: REVERT
000007da: JUMPDEST
000007db: POP
000007dc: PUSH2 0x0386
000007df: PUSH2 0x07e9
000007e2: CALLDATASIZE
000007e3: PUSH1 0x04
000007e5: PUSH2 0x2631
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH2 0x1829
000007ed: JUMP
000007ee: JUMPDEST
000007ef: CALLVALUE
000007f0: DUP1
000007f1: ISZERO
000007f2: PUSH2 0x07fa
000007f5: JUMPI
000007f6: PUSH1 0x00
000007f8: DUP1
000007f9: REVERT
000007fa: JUMPDEST
000007fb: POP
000007fc: PUSH2 0x03a3
000007ff: PUSH1 0x04
00000801: SLOAD
00000802: DUP2
00000803: JUMP
00000804: JUMPDEST
00000805: CALLVALUE
00000806: DUP1
00000807: ISZERO
00000808: PUSH2 0x0810
0000080b: JUMPI
0000080c: PUSH1 0x00
0000080e: DUP1
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: PUSH2 0x06d2
00000815: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef
00000836: DUP2
00000837: JUMP
00000838: JUMPDEST
00000839: CALLVALUE
0000083a: DUP1
0000083b: ISZERO
0000083c: PUSH2 0x0844
0000083f: JUMPI
00000840: PUSH1 0x00
00000842: DUP1
00000843: REVERT
00000844: JUMPDEST
00000845: POP
00000846: PUSH2 0x03a3
00000849: PUSH1 0x06
0000084b: SLOAD
0000084c: DUP2
0000084d: JUMP
0000084e: JUMPDEST
0000084f: CALLVALUE
00000850: DUP1
00000851: ISZERO
00000852: PUSH2 0x085a
00000855: JUMPI
00000856: PUSH1 0x00
00000858: DUP1
00000859: REVERT
0000085a: JUMPDEST
0000085b: POP
0000085c: PUSH2 0x0386
0000085f: PUSH2 0x0869
00000862: CALLDATASIZE
00000863: PUSH1 0x04
00000865: PUSH2 0x25ec
00000868: JUMP
00000869: JUMPDEST
0000086a: PUSH2 0x1881
0000086d: JUMP
0000086e: JUMPDEST
0000086f: CALLVALUE
00000870: DUP1
00000871: ISZERO
00000872: PUSH2 0x087a
00000875: JUMPI
00000876: PUSH1 0x00
00000878: DUP1
00000879: REVERT
0000087a: JUMPDEST
0000087b: POP
0000087c: PUSH2 0x03a3
0000087f: PUSH1 0x09
00000881: SLOAD
00000882: DUP2
00000883: JUMP
00000884: JUMPDEST
00000885: CALLVALUE
00000886: DUP1
00000887: ISZERO
00000888: PUSH2 0x0890
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP1
0000088f: REVERT
00000890: JUMPDEST
00000891: POP
00000892: PUSH2 0x0386
00000895: PUSH2 0x089f
00000898: CALLDATASIZE
00000899: PUSH1 0x04
0000089b: PUSH2 0x265b
0000089e: JUMP
0000089f: JUMPDEST
000008a0: PUSH2 0x18b0
000008a3: JUMP
000008a4: JUMPDEST
000008a5: CALLVALUE
000008a6: DUP1
000008a7: ISZERO
000008a8: PUSH2 0x08b0
000008ab: JUMPI
000008ac: PUSH1 0x00
000008ae: DUP1
000008af: REVERT
000008b0: JUMPDEST
000008b1: POP
000008b2: PUSH2 0x08c4
000008b5: PUSH2 0x08bf
000008b8: CALLDATASIZE
000008b9: PUSH1 0x04
000008bb: PUSH2 0x267f
000008be: JUMP
000008bf: JUMPDEST
000008c0: PUSH2 0x18fe
000008c3: JUMP
000008c4: JUMPDEST
000008c5: PUSH1 0x40
000008c7: DUP1
000008c8: MLOAD
000008c9: DUP3
000008ca: MLOAD
000008cb: PUSH1 0x01
000008cd: PUSH1 0x01
000008cf: PUSH1 0x80
000008d1: SHL
000008d2: SUB
000008d3: SWAP1
000008d4: DUP2
000008d5: AND
000008d6: DUP3
000008d7: MSTORE
000008d8: PUSH1 0x20
000008da: SWAP4
000008db: DUP5
000008dc: ADD
000008dd: MLOAD
000008de: AND
000008df: SWAP3
000008e0: DUP2
000008e1: ADD
000008e2: SWAP3
000008e3: SWAP1
000008e4: SWAP3
000008e5: MSTORE
000008e6: ADD
000008e7: PUSH2 0x03ad
000008ea: JUMP
000008eb: JUMPDEST
000008ec: CALLVALUE
000008ed: DUP1
000008ee: ISZERO
000008ef: PUSH2 0x08f7
000008f2: JUMPI
000008f3: PUSH1 0x00
000008f5: DUP1
000008f6: REVERT
000008f7: JUMPDEST
000008f8: POP
000008f9: PUSH2 0x03a3
000008fc: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000
0000091d: DUP2
0000091e: JUMP
0000091f: JUMPDEST
00000920: CALLVALUE
00000921: DUP1
00000922: ISZERO
00000923: PUSH2 0x092b
00000926: JUMPI
00000927: PUSH1 0x00
00000929: DUP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: POP
0000092d: PUSH1 0x01
0000092f: SLOAD
00000930: PUSH2 0x0947
00000933: SWAP1
00000934: PUSH1 0x01
00000936: PUSH1 0xa0
00000938: SHL
00000939: SWAP1
0000093a: DIV
0000093b: PUSH8 0xffffffffffffffff
00000944: AND
00000945: DUP2
00000946: JUMP
00000947: JUMPDEST
00000948: PUSH1 0x40
0000094a: MLOAD
0000094b: PUSH8 0xffffffffffffffff
00000954: SWAP1
00000955: SWAP2
00000956: AND
00000957: DUP2
00000958: MSTORE
00000959: PUSH1 0x20
0000095b: ADD
0000095c: PUSH2 0x03ad
0000095f: JUMP
00000960: JUMPDEST
00000961: CALLVALUE
00000962: DUP1
00000963: ISZERO
00000964: PUSH2 0x096c
00000967: JUMPI
00000968: PUSH1 0x00
0000096a: DUP1
0000096b: REVERT
0000096c: JUMPDEST
0000096d: POP
0000096e: PUSH2 0x0386
00000971: PUSH2 0x097b
00000974: CALLDATASIZE
00000975: PUSH1 0x04
00000977: PUSH2 0x25c6
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH2 0x1960
0000097f: JUMP
00000980: JUMPDEST
00000981: CALLVALUE
00000982: DUP1
00000983: ISZERO
00000984: PUSH2 0x098c
00000987: JUMPI
00000988: PUSH1 0x00
0000098a: DUP1
0000098b: REVERT
0000098c: JUMPDEST
0000098d: POP
0000098e: PUSH2 0x0386
00000991: PUSH2 0x099b
00000994: CALLDATASIZE
00000995: PUSH1 0x04
00000997: PUSH2 0x25ec
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH2 0x19a6
0000099f: JUMP
000009a0: JUMPDEST
000009a1: CALLVALUE
000009a2: DUP1
000009a3: ISZERO
000009a4: PUSH2 0x09ac
000009a7: JUMPI
000009a8: PUSH1 0x00
000009aa: DUP1
000009ab: REVERT
000009ac: JUMPDEST
000009ad: POP
000009ae: PUSH2 0x0386
000009b1: PUSH2 0x09bb
000009b4: CALLDATASIZE
000009b5: PUSH1 0x04
000009b7: PUSH2 0x257d
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH2 0x1a85
000009bf: JUMP
000009c0: JUMPDEST
000009c1: CALLVALUE
000009c2: DUP1
000009c3: ISZERO
000009c4: PUSH2 0x09cc
000009c7: JUMPI
000009c8: PUSH1 0x00
000009ca: DUP1
000009cb: REVERT
000009cc: JUMPDEST
000009cd: POP
000009ce: PUSH2 0x03a3
000009d1: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001ebe
000009f2: DUP2
000009f3: JUMP
000009f4: JUMPDEST
000009f5: CALLVALUE
000009f6: DUP1
000009f7: ISZERO
000009f8: PUSH2 0x0a00
000009fb: JUMPI
000009fc: PUSH1 0x00
000009fe: DUP1
000009ff: REVERT
00000a00: JUMPDEST
00000a01: POP
00000a02: PUSH2 0x03a3
00000a05: PUSH1 0x18
00000a07: DUP2
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: CALLVALUE
00000a0b: DUP1
00000a0c: ISZERO
00000a0d: PUSH2 0x0a15
00000a10: JUMPI
00000a11: PUSH1 0x00
00000a13: DUP1
00000a14: REVERT
00000a15: JUMPDEST
00000a16: POP
00000a17: PUSH2 0x0386
00000a1a: PUSH2 0x1b1d
00000a1d: JUMP
00000a1e: JUMPDEST
00000a1f: CALLER
00000a20: PUSH1 0x01
00000a22: PUSH1 0x01
00000a24: PUSH1 0xa0
00000a26: SHL
00000a27: SUB
00000a28: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00000a49: AND
00000a4a: EQ
00000a4b: PUSH2 0x0a98
00000a4e: JUMPI
00000a4f: PUSH1 0x40
00000a51: MLOAD
00000a52: PUSH4 0x073e64fd
00000a57: PUSH1 0xe2
00000a59: SHL
00000a5a: DUP2
00000a5b: MSTORE
00000a5c: CALLER
00000a5d: PUSH1 0x04
00000a5f: DUP3
00000a60: ADD
00000a61: MSTORE
00000a62: PUSH1 0x01
00000a64: PUSH1 0x01
00000a66: PUSH1 0xa0
00000a68: SHL
00000a69: SUB
00000a6a: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909
00000a8b: AND
00000a8c: PUSH1 0x24
00000a8e: DUP3
00000a8f: ADD
00000a90: MSTORE
00000a91: PUSH1 0x44
00000a93: ADD
00000a94: PUSH2 0x02dc
00000a97: JUMP
00000a98: JUMPDEST
00000a99: PUSH2 0x0aa2
00000a9c: DUP3
00000a9d: DUP3
00000a9e: PUSH2 0x1bd1
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: POP
00000aa4: POP
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x00
00000aa9: SLOAD
00000aaa: PUSH1 0x01
00000aac: PUSH1 0xa0
00000aae: SHL
00000aaf: SWAP1
00000ab0: DIV
00000ab1: PUSH1 0xff
00000ab3: AND
00000ab4: ISZERO
00000ab5: PUSH2 0x0ad0
00000ab8: JUMPI
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: PUSH3 0x461bcd
00000ac0: PUSH1 0xe5
00000ac2: SHL
00000ac3: DUP2
00000ac4: MSTORE
00000ac5: PUSH1 0x04
00000ac7: ADD
00000ac8: PUSH2 0x02dc
00000acb: SWAP1
00000acc: PUSH2 0x26af
00000acf: JUMP
00000ad0: JUMPDEST
00000ad1: PUSH1 0x07
00000ad3: SLOAD
00000ad4: PUSH2 0x0100
00000ad7: SWAP1
00000ad8: DIV
00000ad9: PUSH1 0xff
00000adb: AND
00000adc: PUSH2 0x0b22
00000adf: JUMPI
00000ae0: PUSH1 0x40
00000ae2: MLOAD
00000ae3: PUSH3 0x461bcd
00000ae7: PUSH1 0xe5
00000ae9: SHL
00000aea: DUP2
00000aeb: MSTORE
00000aec: PUSH1 0x20
00000aee: PUSH1 0x04
00000af0: DUP3
00000af1: ADD
00000af2: MSTORE
00000af3: PUSH1 0x18
00000af5: PUSH1 0x24
00000af7: DUP3
00000af8: ADD
00000af9: MSTORE
00000afa: PUSH24 0x105d58dd1a5bdb881a185cdb89dd08195b991959081e595d
00000b13: PUSH1 0x42
00000b15: SHL
00000b16: PUSH1 0x44
00000b18: DUP3
00000b19: ADD
00000b1a: MSTORE
00000b1b: PUSH1 0x64
00000b1d: ADD
00000b1e: PUSH2 0x02dc
00000b21: JUMP
00000b22: JUMPDEST
00000b23: PUSH1 0x07
00000b25: SLOAD
00000b26: PUSH1 0xff
00000b28: AND
00000b29: PUSH2 0x0b44
00000b2c: JUMPI
00000b2d: PUSH1 0x40
00000b2f: MLOAD
00000b30: PUSH3 0x461bcd
00000b34: PUSH1 0xe5
00000b36: SHL
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x04
00000b3b: ADD
00000b3c: PUSH2 0x02dc
00000b3f: SWAP1
00000b40: PUSH2 0x26d9
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH1 0x06
00000b47: SLOAD
00000b48: PUSH1 0x00
00000b4a: SUB
00000b4b: PUSH2 0x0b96
00000b4e: JUMPI
00000b4f: PUSH1 0x40
00000b51: MLOAD
00000b52: PUSH3 0x461bcd
00000b56: PUSH1 0xe5
00000b58: SHL
00000b59: DUP2
00000b5a: MSTORE
00000b5b: PUSH1 0x20
00000b5d: PUSH1 0x04
00000b5f: DUP3
00000b60: ADD
00000b61: MSTORE
00000b62: PUSH1 0x1a
00000b64: PUSH1 0x24
00000b66: DUP3
00000b67: ADD
00000b68: MSTORE
00000b69: PUSH32 0x526566756e64206d65726b6c6520726f6f74206e6f7420736574000000000000
00000b8a: PUSH1 0x44
00000b8c: DUP3
00000b8d: ADD
00000b8e: MSTORE
00000b8f: PUSH1 0x64
00000b91: ADD
00000b92: PUSH2 0x02dc
00000b95: JUMP
00000b96: JUMPDEST
00000b97: CALLER
00000b98: PUSH1 0x00
00000b9a: SWAP1
00000b9b: DUP2
00000b9c: MSTORE
00000b9d: PUSH1 0x0b
00000b9f: PUSH1 0x20
00000ba1: MSTORE
00000ba2: PUSH1 0x40
00000ba4: SWAP1
00000ba5: KECCAK256
00000ba6: SLOAD
00000ba7: PUSH1 0xff
00000ba9: AND
00000baa: ISZERO
00000bab: PUSH2 0x0bee
00000bae: JUMPI
00000baf: PUSH1 0x40
00000bb1: MLOAD
00000bb2: PUSH3 0x461bcd
00000bb6: PUSH1 0xe5
00000bb8: SHL
00000bb9: DUP2
00000bba: MSTORE
00000bbb: PUSH1 0x20
00000bbd: PUSH1 0x04
00000bbf: DUP3
00000bc0: ADD
00000bc1: MSTORE
00000bc2: PUSH1 0x15
00000bc4: PUSH1 0x24
00000bc6: DUP3
00000bc7: ADD
00000bc8: MSTORE
00000bc9: PUSH21 0x1499599d5b9908185b1c9958591e481a5cdcdd5959
00000bdf: PUSH1 0x5a
00000be1: SHL
00000be2: PUSH1 0x44
00000be4: DUP3
00000be5: ADD
00000be6: MSTORE
00000be7: PUSH1 0x64
00000be9: ADD
00000bea: PUSH2 0x02dc
00000bed: JUMP
00000bee: JUMPDEST
00000bef: PUSH1 0x00
00000bf1: PUSH2 0x0bfa
00000bf4: DUP5
00000bf5: CALLER
00000bf6: PUSH2 0x1ced
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: SWAP1
00000bfc: POP
00000bfd: PUSH2 0x0c3d
00000c00: DUP4
00000c01: DUP4
00000c02: DUP1
00000c03: DUP1
00000c04: PUSH1 0x20
00000c06: MUL
00000c07: PUSH1 0x20
00000c09: ADD
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: SWAP1
00000c0e: DUP2
00000c0f: ADD
00000c10: PUSH1 0x40
00000c12: MSTORE
00000c13: DUP1
00000c14: SWAP4
00000c15: SWAP3
00000c16: SWAP2
00000c17: SWAP1
00000c18: DUP2
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: DUP4
00000c1f: DUP4
00000c20: PUSH1 0x20
00000c22: MUL
00000c23: DUP1
00000c24: DUP3
00000c25: DUP5
00000c26: CALLDATACOPY
00000c27: PUSH1 0x00
00000c29: SWAP3
00000c2a: ADD
00000c2b: SWAP2
00000c2c: SWAP1
00000c2d: SWAP2
00000c2e: MSTORE
00000c2f: POP
00000c30: POP
00000c31: PUSH1 0x06
00000c33: SLOAD
00000c34: SWAP2
00000c35: POP
00000c36: DUP5
00000c37: SWAP1
00000c38: POP
00000c39: PUSH2 0x1d3b
00000c3c: JUMP
00000c3d: JUMPDEST
00000c3e: PUSH2 0x0c80
00000c41: JUMPI
00000c42: PUSH1 0x40
00000c44: MLOAD
00000c45: PUSH3 0x461bcd
00000c49: PUSH1 0xe5
00000c4b: SHL
00000c4c: DUP2
00000c4d: MSTORE
00000c4e: PUSH1 0x20
00000c50: PUSH1 0x04
00000c52: DUP3
00000c53: ADD
00000c54: MSTORE
00000c55: PUSH1 0x14
00000c57: PUSH1 0x24
00000c59: DUP3
00000c5a: ADD
00000c5b: MSTORE
00000c5c: PUSH20 0x1499599d5b99081c1c9bdbd9881a5b9d985b1a59
00000c71: PUSH1 0x62
00000c73: SHL
00000c74: PUSH1 0x44
00000c76: DUP3
00000c77: ADD
00000c78: MSTORE
00000c79: PUSH1 0x64
00000c7b: ADD
00000c7c: PUSH2 0x02dc
00000c7f: JUMP
00000c80: JUMPDEST
00000c81: PUSH1 0x00
00000c83: DUP1
00000c84: JUMPDEST
00000c85: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000ca6: DUP2
00000ca7: LT
00000ca8: ISZERO
00000ca9: PUSH2 0x0d0f
00000cac: JUMPI
00000cad: PUSH1 0x00
00000caf: PUSH2 0x0cb8
00000cb2: DUP3
00000cb3: CALLER
00000cb4: PUSH2 0x1ced
00000cb7: JUMP
00000cb8: JUMPDEST
00000cb9: PUSH1 0x00
00000cbb: DUP2
00000cbc: DUP2
00000cbd: MSTORE
00000cbe: PUSH1 0x0a
00000cc0: PUSH1 0x20
00000cc2: MSTORE
00000cc3: PUSH1 0x40
00000cc5: SWAP1
00000cc6: KECCAK256
00000cc7: SLOAD
00000cc8: SWAP1
00000cc9: SWAP2
00000cca: POP
00000ccb: PUSH2 0x0ce6
00000cce: SWAP1
00000ccf: PUSH1 0x01
00000cd1: PUSH1 0x01
00000cd3: PUSH1 0x80
00000cd5: SHL
00000cd6: SUB
00000cd7: PUSH1 0x01
00000cd9: PUSH1 0x80
00000cdb: SHL
00000cdc: DUP3
00000cdd: DIV
00000cde: DUP2
00000cdf: AND
00000ce0: SWAP2
00000ce1: AND
00000ce2: PUSH2 0x2726
00000ce5: JUMP
00000ce6: JUMPDEST
00000ce7: PUSH2 0x0cf9
00000cea: SWAP1
00000ceb: PUSH1 0x01
00000ced: PUSH1 0x01
00000cef: PUSH1 0x80
00000cf1: SHL
00000cf2: SUB
00000cf3: AND
00000cf4: DUP5
00000cf5: PUSH2 0x2755
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: SWAP3
00000cfb: POP
00000cfc: POP
00000cfd: DUP1
00000cfe: DUP1
00000cff: PUSH2 0x0d07
00000d02: SWAP1
00000d03: PUSH2 0x276d
00000d06: JUMP
00000d07: JUMPDEST
00000d08: SWAP2
00000d09: POP
00000d0a: POP
00000d0b: PUSH2 0x0c84
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: POP
00000d11: DUP1
00000d12: DUP6
00000d13: GT
00000d14: ISZERO
00000d15: PUSH2 0x0d60
00000d18: JUMPI
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: PUSH3 0x461bcd
00000d20: PUSH1 0xe5
00000d22: SHL
00000d23: DUP2
00000d24: MSTORE
00000d25: PUSH1 0x20
00000d27: PUSH1 0x04
00000d29: DUP3
00000d2a: ADD
00000d2b: MSTORE
00000d2c: PUSH1 0x1e
00000d2e: PUSH1 0x24
00000d30: DUP3
00000d31: ADD
00000d32: MSTORE
00000d33: PUSH32 0x526566756e64207265717565737420657863656564732062616c616e63650000
00000d54: PUSH1 0x44
00000d56: DUP3
00000d57: ADD
00000d58: MSTORE
00000d59: PUSH1 0x64
00000d5b: ADD
00000d5c: PUSH2 0x02dc
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: CALLER
00000d62: PUSH1 0x00
00000d64: DUP2
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x0b
00000d69: PUSH1 0x20
00000d6b: MSTORE
00000d6c: PUSH1 0x40
00000d6e: DUP1
00000d6f: DUP3
00000d70: KECCAK256
00000d71: DUP1
00000d72: SLOAD
00000d73: PUSH1 0xff
00000d75: NOT
00000d76: AND
00000d77: PUSH1 0x01
00000d79: OR
00000d7a: SWAP1
00000d7b: SSTORE
00000d7c: MLOAD
00000d7d: SWAP1
00000d7e: SWAP2
00000d7f: SWAP1
00000d80: DUP8
00000d81: SWAP1
00000d82: DUP4
00000d83: DUP2
00000d84: DUP2
00000d85: DUP2
00000d86: DUP6
00000d87: DUP8
00000d88: GAS
00000d89: CALL
00000d8a: SWAP3
00000d8b: POP
00000d8c: POP
00000d8d: POP
00000d8e: RETURNDATASIZE
00000d8f: DUP1
00000d90: PUSH1 0x00
00000d92: DUP2
00000d93: EQ
00000d94: PUSH2 0x0db9
00000d97: JUMPI
00000d98: PUSH1 0x40
00000d9a: MLOAD
00000d9b: SWAP2
00000d9c: POP
00000d9d: PUSH1 0x1f
00000d9f: NOT
00000da0: PUSH1 0x3f
00000da2: RETURNDATASIZE
00000da3: ADD
00000da4: AND
00000da5: DUP3
00000da6: ADD
00000da7: PUSH1 0x40
00000da9: MSTORE
00000daa: RETURNDATASIZE
00000dab: DUP3
00000dac: MSTORE
00000dad: RETURNDATASIZE
00000dae: PUSH1 0x00
00000db0: PUSH1 0x20
00000db2: DUP5
00000db3: ADD
00000db4: RETURNDATACOPY
00000db5: PUSH2 0x0dbe
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x60
00000dbc: SWAP2
00000dbd: POP
00000dbe: JUMPDEST
00000dbf: POP
00000dc0: POP
00000dc1: SWAP1
00000dc2: POP
00000dc3: DUP1
00000dc4: PUSH2 0x0dff
00000dc7: JUMPI
00000dc8: PUSH1 0x40
00000dca: MLOAD
00000dcb: PUSH3 0x461bcd
00000dcf: PUSH1 0xe5
00000dd1: SHL
00000dd2: DUP2
00000dd3: MSTORE
00000dd4: PUSH1 0x20
00000dd6: PUSH1 0x04
00000dd8: DUP3
00000dd9: ADD
00000dda: MSTORE
00000ddb: PUSH1 0x0d
00000ddd: PUSH1 0x24
00000ddf: DUP3
00000de0: ADD
00000de1: MSTORE
00000de2: PUSH13 0x1499599d5b990819985a5b1959
00000df0: PUSH1 0x9a
00000df2: SHL
00000df3: PUSH1 0x44
00000df5: DUP3
00000df6: ADD
00000df7: MSTORE
00000df8: PUSH1 0x64
00000dfa: ADD
00000dfb: PUSH2 0x02dc
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x40
00000e02: MLOAD
00000e03: DUP7
00000e04: DUP2
00000e05: MSTORE
00000e06: CALLER
00000e07: SWAP1
00000e08: PUSH32 0xa171b6942063c6f2800ce40a780edce37baa2b618571b11eedd1e69e626e7d76
00000e29: SWAP1
00000e2a: PUSH1 0x20
00000e2c: ADD
00000e2d: PUSH1 0x40
00000e2f: MLOAD
00000e30: DUP1
00000e31: SWAP2
00000e32: SUB
00000e33: SWAP1
00000e34: LOG2
00000e35: POP
00000e36: POP
00000e37: POP
00000e38: POP
00000e39: POP
00000e3a: POP
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH1 0x00
00000e3f: SLOAD
00000e40: PUSH1 0x01
00000e42: PUSH1 0x01
00000e44: PUSH1 0xa0
00000e46: SHL
00000e47: SUB
00000e48: AND
00000e49: CALLER
00000e4a: EQ
00000e4b: PUSH2 0x0e66
00000e4e: JUMPI
00000e4f: PUSH1 0x40
00000e51: MLOAD
00000e52: PUSH3 0x461bcd
00000e56: PUSH1 0xe5
00000e58: SHL
00000e59: DUP2
00000e5a: MSTORE
00000e5b: PUSH1 0x04
00000e5d: ADD
00000e5e: PUSH2 0x02dc
00000e61: SWAP1
00000e62: PUSH2 0x2786
00000e65: JUMP
00000e66: JUMPDEST
00000e67: PUSH2 0x0e6e
00000e6a: PUSH2 0x1d53
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: PUSH1 0x00
00000e73: SLOAD
00000e74: PUSH1 0x01
00000e76: PUSH1 0x01
00000e78: PUSH1 0xa0
00000e7a: SHL
00000e7b: SUB
00000e7c: AND
00000e7d: CALLER
00000e7e: EQ
00000e7f: PUSH2 0x0e9a
00000e82: JUMPI
00000e83: PUSH1 0x40
00000e85: MLOAD
00000e86: PUSH3 0x461bcd
00000e8a: PUSH1 0xe5
00000e8c: SHL
00000e8d: DUP2
00000e8e: MSTORE
00000e8f: PUSH1 0x04
00000e91: ADD
00000e92: PUSH2 0x02dc
00000e95: SWAP1
00000e96: PUSH2 0x2786
00000e99: JUMP
00000e9a: JUMPDEST
00000e9b: PUSH1 0x01
00000e9d: DUP1
00000e9e: SLOAD
00000e9f: PUSH1 0x01
00000ea1: PUSH1 0x01
00000ea3: PUSH1 0xa0
00000ea5: SHL
00000ea6: SUB
00000ea7: NOT
00000ea8: AND
00000ea9: PUSH1 0x01
00000eab: PUSH1 0x01
00000ead: PUSH1 0xa0
00000eaf: SHL
00000eb0: SUB
00000eb1: SWAP3
00000eb2: SWAP1
00000eb3: SWAP3
00000eb4: AND
00000eb5: SWAP2
00000eb6: SWAP1
00000eb7: SWAP2
00000eb8: OR
00000eb9: SWAP1
00000eba: SSTORE
00000ebb: JUMP
00000ebc: JUMPDEST
00000ebd: PUSH1 0x07
00000ebf: SLOAD
00000ec0: PUSH2 0x0100
00000ec3: SWAP1
00000ec4: DIV
00000ec5: PUSH1 0xff
00000ec7: AND
00000ec8: ISZERO
00000ec9: PUSH2 0x0ee4
00000ecc: JUMPI
00000ecd: PUSH1 0x40
00000ecf: MLOAD
00000ed0: PUSH3 0x461bcd
00000ed4: PUSH1 0xe5
00000ed6: SHL
00000ed7: DUP2
00000ed8: MSTORE
00000ed9: PUSH1 0x04
00000edb: ADD
00000edc: PUSH2 0x02dc
00000edf: SWAP1
00000ee0: PUSH2 0x27bb
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x07
00000ee7: SLOAD
00000ee8: PUSH1 0xff
00000eea: AND
00000eeb: PUSH2 0x0f06
00000eee: JUMPI
00000eef: PUSH1 0x40
00000ef1: MLOAD
00000ef2: PUSH3 0x461bcd
00000ef6: PUSH1 0xe5
00000ef8: SHL
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x04
00000efd: ADD
00000efe: PUSH2 0x02dc
00000f01: SWAP1
00000f02: PUSH2 0x26d9
00000f05: JUMP
00000f06: JUMPDEST
00000f07: PUSH1 0x00
00000f09: SLOAD
00000f0a: PUSH1 0x01
00000f0c: PUSH1 0xa0
00000f0e: SHL
00000f0f: SWAP1
00000f10: DIV
00000f11: PUSH1 0xff
00000f13: AND
00000f14: ISZERO
00000f15: PUSH2 0x0f30
00000f18: JUMPI
00000f19: PUSH1 0x40
00000f1b: MLOAD
00000f1c: PUSH3 0x461bcd
00000f20: PUSH1 0xe5
00000f22: SHL
00000f23: DUP2
00000f24: MSTORE
00000f25: PUSH1 0x04
00000f27: ADD
00000f28: PUSH2 0x02dc
00000f2b: SWAP1
00000f2c: PUSH2 0x26af
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x00
00000f33: CALLVALUE
00000f34: GT
00000f35: DUP1
00000f36: ISZERO
00000f37: PUSH2 0x0f5f
00000f3a: JUMPI
00000f3b: POP
00000f3c: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000
00000f5d: CALLVALUE
00000f5e: LT
00000f5f: JUMPDEST
00000f60: ISZERO
00000f61: PUSH2 0x0fba
00000f64: JUMPI
00000f65: PUSH1 0x40
00000f67: MLOAD
00000f68: PUSH3 0x461bcd
00000f6c: PUSH1 0xe5
00000f6e: SHL
00000f6f: DUP2
00000f70: MSTORE
00000f71: PUSH1 0x20
00000f73: PUSH1 0x04
00000f75: DUP3
00000f76: ADD
00000f77: MSTORE
00000f78: PUSH1 0x25
00000f7a: PUSH1 0x24
00000f7c: DUP3
00000f7d: ADD
00000f7e: MSTORE
00000f7f: PUSH32 0x426964206c6f776572207468616e206d696e696d756d2062696420696e637265
00000fa0: PUSH1 0x44
00000fa2: DUP3
00000fa3: ADD
00000fa4: MSTORE
00000fa5: PUSH5 0x36b2b73a17
00000fab: PUSH1 0xd9
00000fad: SHL
00000fae: PUSH1 0x64
00000fb0: DUP3
00000fb1: ADD
00000fb2: MSTORE
00000fb3: PUSH1 0x84
00000fb5: ADD
00000fb6: PUSH2 0x02dc
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000fdc: DUP4
00000fdd: LT
00000fde: PUSH2 0x1020
00000fe1: JUMPI
00000fe2: PUSH1 0x40
00000fe4: MLOAD
00000fe5: PUSH3 0x461bcd
00000fe9: PUSH1 0xe5
00000feb: SHL
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: PUSH1 0x04
00000ff2: DUP3
00000ff3: ADD
00000ff4: MSTORE
00000ff5: PUSH1 0x14
00000ff7: PUSH1 0x24
00000ff9: DUP3
00000ffa: ADD
00000ffb: MSTORE
00000ffc: PUSH20 0x092dcecc2d8d2c840c2eac6e8d2dedc92dcc8caf
00001011: PUSH1 0x63
00001013: SHL
00001014: PUSH1 0x44
00001016: DUP3
00001017: ADD
00001018: MSTORE
00001019: PUSH1 0x64
0000101b: ADD
0000101c: PUSH2 0x02dc
0000101f: JUMP
00001020: JUMPDEST
00001021: PUSH1 0x00
00001023: PUSH2 0x102c
00001026: DUP5
00001027: CALLER
00001028: PUSH2 0x1ced
0000102b: JUMP
0000102c: JUMPDEST
0000102d: PUSH1 0x00
0000102f: DUP2
00001030: DUP2
00001031: MSTORE
00001032: PUSH1 0x0a
00001034: PUSH1 0x20
00001036: MSTORE
00001037: PUSH1 0x40
00001039: DUP2
0000103a: KECCAK256
0000103b: SLOAD
0000103c: SWAP2
0000103d: SWAP3
0000103e: POP
0000103f: PUSH1 0x01
00001041: PUSH1 0x01
00001043: PUSH1 0x80
00001045: SHL
00001046: SUB
00001047: DUP1
00001048: DUP4
00001049: AND
0000104a: SWAP3
0000104b: PUSH1 0x01
0000104d: PUSH1 0x80
0000104f: SHL
00001050: SWAP1
00001051: DIV
00001052: AND
00001053: SWAP1
00001054: PUSH2 0x105d
00001057: DUP3
00001058: DUP5
00001059: PUSH2 0x27f2
0000105c: JUMP
0000105d: JUMPDEST
0000105e: SWAP1
0000105f: POP
00001060: DUP5
00001061: DUP7
00001062: PUSH1 0x00
00001064: PUSH2 0x106d
00001067: CALLVALUE
00001068: DUP6
00001069: PUSH2 0x2755
0000106c: JUMP
0000106d: JUMPDEST
0000106e: SWAP1
0000106f: POP
00001070: PUSH2 0x1099
00001073: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000
00001094: DUP5
00001095: PUSH2 0x2811
00001098: JUMP
00001099: JUMPDEST
0000109a: ISZERO
0000109b: PUSH2 0x10e6
0000109e: JUMPI
0000109f: PUSH1 0x40
000010a1: MLOAD
000010a2: PUSH3 0x461bcd
000010a6: PUSH1 0xe5
000010a8: SHL
000010a9: DUP2
000010aa: MSTORE
000010ab: PUSH1 0x20
000010ad: PUSH1 0x04
000010af: DUP3
000010b0: ADD
000010b1: MSTORE
000010b2: PUSH1 0x19
000010b4: PUSH1 0x24
000010b6: DUP3
000010b7: ADD
000010b8: MSTORE
000010b9: PUSH32 0x556e6974207072696365207374657020746f6f20736d616c6c00000000000000
000010da: PUSH1 0x44
000010dc: DUP3
000010dd: ADD
000010de: MSTORE
000010df: PUSH1 0x64
000010e1: ADD
000010e2: PUSH2 0x02dc
000010e5: JUMP
000010e6: JUMPDEST
000010e7: PUSH1 0x01
000010e9: DUP3
000010ea: LT
000010eb: ISZERO
000010ec: PUSH2 0x112a
000010ef: JUMPI
000010f0: PUSH1 0x40
000010f2: MLOAD
000010f3: PUSH3 0x461bcd
000010f7: PUSH1 0xe5
000010f9: SHL
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: PUSH1 0x04
00001100: DUP3
00001101: ADD
00001102: MSTORE
00001103: PUSH1 0x10
00001105: PUSH1 0x24
00001107: DUP3
00001108: ADD
00001109: MSTORE
0000110a: PUSH16 0x5175616e7469747920746f6f206c6f77
0000111b: PUSH1 0x80
0000111d: SHL
0000111e: PUSH1 0x44
00001120: DUP3
00001121: ADD
00001122: MSTORE
00001123: PUSH1 0x64
00001125: ADD
00001126: PUSH2 0x02dc
00001129: JUMP
0000112a: JUMPDEST
0000112b: PUSH1 0x32
0000112d: DUP3
0000112e: GT
0000112f: ISZERO
00001130: PUSH2 0x116f
00001133: JUMPI
00001134: PUSH1 0x40
00001136: MLOAD
00001137: PUSH3 0x461bcd
0000113b: PUSH1 0xe5
0000113d: SHL
0000113e: DUP2
0000113f: MSTORE
00001140: PUSH1 0x20
00001142: PUSH1 0x04
00001144: DUP3
00001145: ADD
00001146: MSTORE
00001147: PUSH1 0x11
00001149: PUSH1 0x24
0000114b: DUP3
0000114c: ADD
0000114d: MSTORE
0000114e: PUSH17 0x0a2eac2dce8d2e8f240e8dede40d0d2ced
00001160: PUSH1 0x7b
00001162: SHL
00001163: PUSH1 0x44
00001165: DUP3
00001166: ADD
00001167: MSTORE
00001168: PUSH1 0x64
0000116a: ADD
0000116b: PUSH2 0x02dc
0000116e: JUMP
0000116f: JUMPDEST
00001170: DUP4
00001171: DUP2
00001172: LT
00001173: ISZERO
00001174: PUSH2 0x11bf
00001177: JUMPI
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: PUSH3 0x461bcd
0000117f: PUSH1 0xe5
00001181: SHL
00001182: DUP2
00001183: MSTORE
00001184: PUSH1 0x20
00001186: PUSH1 0x04
00001188: DUP3
00001189: ADD
0000118a: MSTORE
0000118b: PUSH1 0x18
0000118d: PUSH1 0x24
0000118f: DUP3
00001190: ADD
00001191: MSTORE
00001192: PUSH32 0x42616c616e63652063616e2774206265206c6f77657265640000000000000000
000011b3: PUSH1 0x44
000011b5: DUP3
000011b6: ADD
000011b7: MSTORE
000011b8: PUSH1 0x64
000011ba: ADD
000011bb: PUSH2 0x02dc
000011be: JUMP
000011bf: JUMPDEST
000011c0: DUP6
000011c1: DUP4
000011c2: LT
000011c3: ISZERO
000011c4: PUSH2 0x120f
000011c7: JUMPI
000011c8: PUSH1 0x40
000011ca: MLOAD
000011cb: PUSH3 0x461bcd
000011cf: PUSH1 0xe5
000011d1: SHL
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: PUSH1 0x04
000011d8: DUP3
000011d9: ADD
000011da: MSTORE
000011db: PUSH1 0x1b
000011dd: PUSH1 0x24
000011df: DUP3
000011e0: ADD
000011e1: MSTORE
000011e2: PUSH32 0x556e69742070726963652063616e2774206265206c6f77657265640000000000
00001203: PUSH1 0x44
00001205: DUP3
00001206: ADD
00001207: MSTORE
00001208: PUSH1 0x64
0000120a: ADD
0000120b: PUSH2 0x02dc
0000120e: JUMP
0000120f: JUMPDEST
00001210: DUP1
00001211: PUSH2 0x121a
00001214: DUP5
00001215: DUP5
00001216: PUSH2 0x27f2
00001219: JUMP
0000121a: JUMPDEST
0000121b: EQ
0000121c: PUSH2 0x1273
0000121f: JUMPI
00001220: PUSH1 0x40
00001222: MLOAD
00001223: PUSH3 0x461bcd
00001227: PUSH1 0xe5
00001229: SHL
0000122a: DUP2
0000122b: MSTORE
0000122c: PUSH1 0x20
0000122e: PUSH1 0x04
00001230: DUP3
00001231: ADD
00001232: MSTORE
00001233: PUSH1 0x24
00001235: DUP1
00001236: DUP3
00001237: ADD
00001238: MSTORE
00001239: PUSH32 0x5175616e74697479202a20556e697420507269636520213d20546f74616c2056
0000125a: PUSH1 0x44
0000125c: DUP3
0000125d: ADD
0000125e: MSTORE
0000125f: PUSH4 0x616c7565
00001264: PUSH1 0xe0
00001266: SHL
00001267: PUSH1 0x64
00001269: DUP3
0000126a: ADD
0000126b: MSTORE
0000126c: PUSH1 0x84
0000126e: ADD
0000126f: PUSH2 0x02dc
00001272: JUMP
00001273: JUMPDEST
00001274: PUSH32 0x00000000000000000000000000000000000000000000000003782dace9d90000
00001295: DUP4
00001296: LT
00001297: ISZERO
00001298: PUSH2 0x12dc
0000129b: JUMPI
0000129c: PUSH1 0x40
0000129e: MLOAD
0000129f: PUSH3 0x461bcd
000012a3: PUSH1 0xe5
000012a5: SHL
000012a6: DUP2
000012a7: MSTORE
000012a8: PUSH1 0x20
000012aa: PUSH1 0x04
000012ac: DUP3
000012ad: ADD
000012ae: MSTORE
000012af: PUSH1 0x16
000012b1: PUSH1 0x24
000012b3: DUP3
000012b4: ADD
000012b5: MSTORE
000012b6: PUSH22 0x42696420756e697420707269636520746f6f206c6f77
000012cd: PUSH1 0x50
000012cf: SHL
000012d0: PUSH1 0x44
000012d2: DUP3
000012d3: ADD
000012d4: MSTORE
000012d5: PUSH1 0x64
000012d7: ADD
000012d8: PUSH2 0x02dc
000012db: JUMP
000012dc: JUMPDEST
000012dd: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000
000012fe: DUP4
000012ff: GT
00001300: ISZERO
00001301: PUSH2 0x134c
00001304: JUMPI
00001305: PUSH1 0x40
00001307: MLOAD
00001308: PUSH3 0x461bcd
0000130c: PUSH1 0xe5
0000130e: SHL
0000130f: DUP2
00001310: MSTORE
00001311: PUSH1 0x20
00001313: PUSH1 0x04
00001315: DUP3
00001316: ADD
00001317: MSTORE
00001318: PUSH1 0x17
0000131a: PUSH1 0x24
0000131c: DUP3
0000131d: ADD
0000131e: MSTORE
0000131f: PUSH32 0x42696420756e697420707269636520746f6f2068696768000000000000000000
00001340: PUSH1 0x44
00001342: DUP3
00001343: ADD
00001344: MSTORE
00001345: PUSH1 0x64
00001347: ADD
00001348: PUSH2 0x02dc
0000134b: JUMP
0000134c: JUMPDEST
0000134d: DUP3
0000134e: DUP7
0000134f: EQ
00001350: DUP1
00001351: ISZERO
00001352: PUSH2 0x135a
00001355: JUMPI
00001356: POP
00001357: DUP2
00001358: DUP6
00001359: EQ
0000135a: JUMPDEST
0000135b: ISZERO
0000135c: PUSH2 0x13a7
0000135f: JUMPI
00001360: PUSH1 0x40
00001362: MLOAD
00001363: PUSH3 0x461bcd
00001367: PUSH1 0xe5
00001369: SHL
0000136a: DUP2
0000136b: MSTORE
0000136c: PUSH1 0x20
0000136e: PUSH1 0x04
00001370: DUP3
00001371: ADD
00001372: DUP2
00001373: SWAP1
00001374: MSTORE
00001375: PUSH1 0x24
00001377: DUP3
00001378: ADD
00001379: MSTORE
0000137a: PUSH32 0x546869732062696420646f65736e2774206368616e676520616e797468696e67
0000139b: PUSH1 0x44
0000139d: DUP3
0000139e: ADD
0000139f: MSTORE
000013a0: PUSH1 0x64
000013a2: ADD
000013a3: PUSH2 0x02dc
000013a6: JUMP
000013a7: JUMPDEST
000013a8: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000
000013c9: DUP4
000013ca: SUB
000013cb: PUSH2 0x13e6
000013ce: JUMPI
000013cf: DUP2
000013d0: PUSH1 0x09
000013d2: PUSH1 0x00
000013d4: DUP3
000013d5: DUP3
000013d6: SLOAD
000013d7: PUSH2 0x13e0
000013da: SWAP2
000013db: SWAP1
000013dc: PUSH2 0x2755
000013df: JUMP
000013e0: JUMPDEST
000013e1: SWAP1
000013e2: SWAP2
000013e3: SSTORE
000013e4: POP
000013e5: POP
000013e6: JUMPDEST
000013e7: PUSH1 0x00
000013e9: DUP8
000013ea: DUP2
000013eb: MSTORE
000013ec: PUSH1 0x0a
000013ee: PUSH1 0x20
000013f0: SWAP1
000013f1: DUP2
000013f2: MSTORE
000013f3: PUSH1 0x40
000013f5: SWAP2
000013f6: DUP3
000013f7: SWAP1
000013f8: KECCAK256
000013f9: PUSH1 0x01
000013fb: PUSH1 0x01
000013fd: PUSH1 0x80
000013ff: SHL
00001400: SUB
00001401: DUP6
00001402: DUP2
00001403: AND
00001404: PUSH1 0x01
00001406: PUSH1 0x80
00001408: SHL
00001409: MUL
0000140a: SWAP1
0000140b: DUP8
0000140c: AND
0000140d: OR
0000140e: SWAP1
0000140f: SSTORE
00001410: PUSH1 0x08
00001412: SLOAD
00001413: DUP3
00001414: MLOAD
00001415: SWAP1
00001416: DUP2
00001417: MSTORE
00001418: SWAP1
00001419: DUP2
0000141a: ADD
0000141b: DUP6
0000141c: SWAP1
0000141d: MSTORE
0000141e: SWAP1
0000141f: DUP2
00001420: ADD
00001421: DUP4
00001422: SWAP1
00001423: MSTORE
00001424: PUSH1 0x60
00001426: DUP2
00001427: ADD
00001428: DUP3
00001429: SWAP1
0000142a: MSTORE
0000142b: CALLER
0000142c: SWAP1
0000142d: DUP12
0000142e: SWAP1
0000142f: DUP10
00001430: SWAP1
00001431: PUSH32 0x873a7b17235b7078b0b53046e05f4271fcef4e1af54cf24fb2395f97f6b8c066
00001452: SWAP1
00001453: PUSH1 0x80
00001455: ADD
00001456: PUSH1 0x40
00001458: MLOAD
00001459: DUP1
0000145a: SWAP2
0000145b: SUB
0000145c: SWAP1
0000145d: LOG4
0000145e: PUSH1 0x01
00001460: PUSH1 0x08
00001462: PUSH1 0x00
00001464: DUP3
00001465: DUP3
00001466: SLOAD
00001467: PUSH2 0x1470
0000146a: SWAP2
0000146b: SWAP1
0000146c: PUSH2 0x2755
0000146f: JUMP
00001470: JUMPDEST
00001471: SWAP1
00001472: SWAP2
00001473: SSTORE
00001474: POP
00001475: PUSH2 0x147e
00001478: SWAP1
00001479: POP
0000147a: PUSH2 0x1df0
0000147d: JUMP
0000147e: JUMPDEST
0000147f: POP
00001480: POP
00001481: POP
00001482: POP
00001483: POP
00001484: POP
00001485: POP
00001486: POP
00001487: POP
00001488: POP
00001489: JUMP
0000148a: JUMPDEST
0000148b: PUSH1 0x00
0000148d: SLOAD
0000148e: PUSH1 0x01
00001490: PUSH1 0x01
00001492: PUSH1 0xa0
00001494: SHL
00001495: SUB
00001496: AND
00001497: CALLER
00001498: EQ
00001499: PUSH2 0x14b4
0000149c: JUMPI
0000149d: PUSH1 0x40
0000149f: MLOAD
000014a0: PUSH3 0x461bcd
000014a4: PUSH1 0xe5
000014a6: SHL
000014a7: DUP2
000014a8: MSTORE
000014a9: PUSH1 0x04
000014ab: ADD
000014ac: PUSH2 0x02dc
000014af: SWAP1
000014b0: PUSH2 0x2786
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x03
000014b7: DUP1
000014b8: SLOAD
000014b9: PUSH4 0xffffffff
000014be: SWAP1
000014bf: SWAP3
000014c0: AND
000014c1: PUSH1 0x01
000014c3: PUSH1 0x30
000014c5: SHL
000014c6: MUL
000014c7: PUSH10 0xffffffff000000000000
000014d2: NOT
000014d3: SWAP1
000014d4: SWAP3
000014d5: AND
000014d6: SWAP2
000014d7: SWAP1
000014d8: SWAP2
000014d9: OR
000014da: SWAP1
000014db: SSTORE
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH1 0x00
000014e0: SLOAD
000014e1: PUSH1 0x01
000014e3: PUSH1 0x01
000014e5: PUSH1 0xa0
000014e7: SHL
000014e8: SUB
000014e9: AND
000014ea: CALLER
000014eb: EQ
000014ec: PUSH2 0x1507
000014ef: JUMPI
000014f0: PUSH1 0x40
000014f2: MLOAD
000014f3: PUSH3 0x461bcd
000014f7: PUSH1 0xe5
000014f9: SHL
000014fa: DUP2
000014fb: MSTORE
000014fc: PUSH1 0x04
000014fe: ADD
000014ff: PUSH2 0x02dc
00001502: SWAP1
00001503: PUSH2 0x2786
00001506: JUMP
00001507: JUMPDEST
00001508: PUSH1 0x07
0000150a: SLOAD
0000150b: PUSH2 0x0100
0000150e: SWAP1
0000150f: DIV
00001510: PUSH1 0xff
00001512: AND
00001513: ISZERO
00001514: PUSH2 0x152f
00001517: JUMPI
00001518: PUSH1 0x40
0000151a: MLOAD
0000151b: PUSH3 0x461bcd
0000151f: PUSH1 0xe5
00001521: SHL
00001522: DUP2
00001523: MSTORE
00001524: PUSH1 0x04
00001526: ADD
00001527: PUSH2 0x02dc
0000152a: SWAP1
0000152b: PUSH2 0x27bb
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH1 0x07
00001532: SLOAD
00001533: PUSH1 0xff
00001535: AND
00001536: ISZERO
00001537: PUSH2 0x1582
0000153a: JUMPI
0000153b: PUSH1 0x40
0000153d: MLOAD
0000153e: PUSH3 0x461bcd
00001542: PUSH1 0xe5
00001544: SHL
00001545: DUP2
00001546: MSTORE
00001547: PUSH1 0x20
00001549: PUSH1 0x04
0000154b: DUP3
0000154c: ADD
0000154d: MSTORE
0000154e: PUSH1 0x1b
00001550: PUSH1 0x24
00001552: DUP3
00001553: ADD
00001554: MSTORE
00001555: PUSH32 0x41756374696f6e2068617320616c726561647920737461727465640000000000
00001576: PUSH1 0x44
00001578: DUP3
00001579: ADD
0000157a: MSTORE
0000157b: PUSH1 0x64
0000157d: ADD
0000157e: PUSH2 0x02dc
00001581: JUMP
00001582: JUMPDEST
00001583: PUSH1 0x07
00001585: DUP1
00001586: SLOAD
00001587: PUSH1 0xff
00001589: NOT
0000158a: AND
0000158b: PUSH1 0x01
0000158d: OR
0000158e: SWAP1
0000158f: SSTORE
00001590: TIMESTAMP
00001591: PUSH1 0x05
00001593: SSTORE
00001594: PUSH2 0x15a7
00001597: PUSH1 0x00
00001599: SLOAD
0000159a: PUSH1 0xff
0000159c: PUSH1 0x01
0000159e: PUSH1 0xa0
000015a0: SHL
000015a1: SWAP1
000015a2: SWAP2
000015a3: DIV
000015a4: AND
000015a5: SWAP1
000015a6: JUMP
000015a7: JUMPDEST
000015a8: ISZERO
000015a9: PUSH2 0x15b4
000015ac: JUMPI
000015ad: PUSH2 0x15b4
000015b0: PUSH2 0x0e3c
000015b3: JUMP
000015b4: JUMPDEST
000015b5: PUSH1 0x40
000015b7: MLOAD
000015b8: PUSH32 0xc8f99b9ac2a284b93c3652b9f064a6706724088cdafa9e0a8437c026191b2f03
000015d9: SWAP1
000015da: PUSH1 0x00
000015dc: SWAP1
000015dd: LOG1
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x00
000015e2: SLOAD
000015e3: PUSH1 0x01
000015e5: PUSH1 0x01
000015e7: PUSH1 0xa0
000015e9: SHL
000015ea: SUB
000015eb: AND
000015ec: CALLER
000015ed: EQ
000015ee: PUSH2 0x1609
000015f1: JUMPI
000015f2: PUSH1 0x40
000015f4: MLOAD
000015f5: PUSH3 0x461bcd
000015f9: PUSH1 0xe5
000015fb: SHL
000015fc: DUP2
000015fd: MSTORE
000015fe: PUSH1 0x04
00001600: ADD
00001601: PUSH2 0x02dc
00001604: SWAP1
00001605: PUSH2 0x2786
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH2 0x0e6e
0000160d: PUSH1 0x00
0000160f: PUSH2 0x1e6a
00001612: JUMP
00001613: JUMPDEST
00001614: PUSH1 0x00
00001616: SLOAD
00001617: PUSH1 0x01
00001619: PUSH1 0x01
0000161b: PUSH1 0xa0
0000161d: SHL
0000161e: SUB
0000161f: AND
00001620: CALLER
00001621: EQ
00001622: PUSH2 0x163d
00001625: JUMPI
00001626: PUSH1 0x40
00001628: MLOAD
00001629: PUSH3 0x461bcd
0000162d: PUSH1 0xe5
0000162f: SHL
00001630: DUP2
00001631: MSTORE
00001632: PUSH1 0x04
00001634: ADD
00001635: PUSH2 0x02dc
00001638: SWAP1
00001639: PUSH2 0x2786
0000163c: JUMP
0000163d: JUMPDEST
0000163e: PUSH2 0x0e6e
00001641: PUSH2 0x1eba
00001644: JUMP
00001645: JUMPDEST
00001646: PUSH1 0x00
00001648: PUSH2 0x164f
0000164b: PUSH2 0x1f1f
0000164e: JUMP
0000164f: JUMPDEST
00001650: SWAP1
00001651: POP
00001652: SWAP1
00001653: JUMP
00001654: JUMPDEST
00001655: PUSH1 0x00
00001657: SLOAD
00001658: PUSH1 0x01
0000165a: PUSH1 0x01
0000165c: PUSH1 0xa0
0000165e: SHL
0000165f: SUB
00001660: AND
00001661: CALLER
00001662: EQ
00001663: PUSH2 0x167e
00001666: JUMPI
00001667: PUSH1 0x40
00001669: MLOAD
0000166a: PUSH3 0x461bcd
0000166e: PUSH1 0xe5
00001670: SHL
00001671: DUP2
00001672: MSTORE
00001673: PUSH1 0x04
00001675: ADD
00001676: PUSH2 0x02dc
00001679: SWAP1
0000167a: PUSH2 0x2786
0000167d: JUMP
0000167e: JUMPDEST
0000167f: PUSH1 0x07
00001681: SLOAD
00001682: PUSH2 0x0100
00001685: SWAP1
00001686: DIV
00001687: PUSH1 0xff
00001689: AND
0000168a: PUSH2 0x16d0
0000168d: JUMPI
0000168e: PUSH1 0x40
00001690: MLOAD
00001691: PUSH3 0x461bcd
00001695: PUSH1 0xe5
00001697: SHL
00001698: DUP2
00001699: MSTORE
0000169a: PUSH1 0x20
0000169c: PUSH1 0x04
0000169e: DUP3
0000169f: ADD
000016a0: MSTORE
000016a1: PUSH1 0x18
000016a3: PUSH1 0x24
000016a5: DUP3
000016a6: ADD
000016a7: MSTORE
000016a8: PUSH24 0x105d58dd1a5bdb881a185cdb89dd08195b991959081e595d
000016c1: PUSH1 0x42
000016c3: SHL
000016c4: PUSH1 0x44
000016c6: DUP3
000016c7: ADD
000016c8: MSTORE
000016c9: PUSH1 0x64
000016cb: ADD
000016cc: PUSH2 0x02dc
000016cf: JUMP
000016d0: JUMPDEST
000016d1: PUSH1 0x07
000016d3: SLOAD
000016d4: PUSH1 0xff
000016d6: AND
000016d7: PUSH2 0x16f2
000016da: JUMPI
000016db: PUSH1 0x40
000016dd: MLOAD
000016de: PUSH3 0x461bcd
000016e2: PUSH1 0xe5
000016e4: SHL
000016e5: DUP2
000016e6: MSTORE
000016e7: PUSH1 0x04
000016e9: ADD
000016ea: PUSH2 0x02dc
000016ed: SWAP1
000016ee: PUSH2 0x26d9
000016f1: JUMP
000016f2: JUMPDEST
000016f3: PUSH1 0x06
000016f5: SSTORE
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH1 0x00
000016fa: SLOAD
000016fb: PUSH1 0x01
000016fd: PUSH1 0x01
000016ff: PUSH1 0xa0
00001701: SHL
00001702: SUB
00001703: AND
00001704: CALLER
00001705: EQ
00001706: PUSH2 0x1721
00001709: JUMPI
0000170a: PUSH1 0x40
0000170c: MLOAD
0000170d: PUSH3 0x461bcd
00001711: PUSH1 0xe5
00001713: SHL
00001714: DUP2
00001715: MSTORE
00001716: PUSH1 0x04
00001718: ADD
00001719: PUSH2 0x02dc
0000171c: SWAP1
0000171d: PUSH2 0x2786
00001720: JUMP
00001721: JUMPDEST
00001722: PUSH2 0x0aa2
00001725: PUSH2 0x1736
00001728: PUSH1 0x00
0000172a: SLOAD
0000172b: PUSH1 0x01
0000172d: PUSH1 0x01
0000172f: PUSH1 0xa0
00001731: SHL
00001732: SUB
00001733: AND
00001734: SWAP1
00001735: JUMP
00001736: JUMPDEST
00001737: PUSH1 0x01
00001739: PUSH1 0x01
0000173b: PUSH1 0xa0
0000173d: SHL
0000173e: SUB
0000173f: DUP5
00001740: AND
00001741: SWAP1
00001742: DUP4
00001743: PUSH2 0x1f48
00001746: JUMP
00001747: JUMPDEST
00001748: PUSH1 0x00
0000174a: SLOAD
0000174b: PUSH1 0x01
0000174d: PUSH1 0x01
0000174f: PUSH1 0xa0
00001751: SHL
00001752: SUB
00001753: AND
00001754: CALLER
00001755: EQ
00001756: PUSH2 0x1771
00001759: JUMPI
0000175a: PUSH1 0x40
0000175c: MLOAD
0000175d: PUSH3 0x461bcd
00001761: PUSH1 0xe5
00001763: SHL
00001764: DUP2
00001765: MSTORE
00001766: PUSH1 0x04
00001768: ADD
00001769: PUSH2 0x02dc
0000176c: SWAP1
0000176d: PUSH2 0x2786
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH1 0x00
00001774: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef
00001795: PUSH1 0x01
00001797: PUSH1 0x01
00001799: PUSH1 0xa0
0000179b: SHL
0000179c: SUB
0000179d: AND
0000179e: SELFBALANCE
0000179f: PUSH1 0x40
000017a1: MLOAD
000017a2: PUSH1 0x00
000017a4: PUSH1 0x40
000017a6: MLOAD
000017a7: DUP1
000017a8: DUP4
000017a9: SUB
000017aa: DUP2
000017ab: DUP6
000017ac: DUP8
000017ad: GAS
000017ae: CALL
000017af: SWAP3
000017b0: POP
000017b1: POP
000017b2: POP
000017b3: RETURNDATASIZE
000017b4: DUP1
000017b5: PUSH1 0x00
000017b7: DUP2
000017b8: EQ
000017b9: PUSH2 0x17de
000017bc: JUMPI
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: SWAP2
000017c1: POP
000017c2: PUSH1 0x1f
000017c4: NOT
000017c5: PUSH1 0x3f
000017c7: RETURNDATASIZE
000017c8: ADD
000017c9: AND
000017ca: DUP3
000017cb: ADD
000017cc: PUSH1 0x40
000017ce: MSTORE
000017cf: RETURNDATASIZE
000017d0: DUP3
000017d1: MSTORE
000017d2: RETURNDATASIZE
000017d3: PUSH1 0x00
000017d5: PUSH1 0x20
000017d7: DUP5
000017d8: ADD
000017d9: RETURNDATACOPY
000017da: PUSH2 0x17e3
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH1 0x60
000017e1: SWAP2
000017e2: POP
000017e3: JUMPDEST
000017e4: POP
000017e5: POP
000017e6: SWAP1
000017e7: POP
000017e8: DUP1
000017e9: PUSH2 0x1826
000017ec: JUMPI
000017ed: PUSH1 0x40
000017ef: MLOAD
000017f0: PUSH3 0x461bcd
000017f4: PUSH1 0xe5
000017f6: SHL
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH1 0x20
000017fb: PUSH1 0x04
000017fd: DUP3
000017fe: ADD
000017ff: MSTORE
00001800: PUSH1 0x0f
00001802: PUSH1 0x24
00001804: DUP3
00001805: ADD
00001806: MSTORE
00001807: PUSH15 0x151c985b9cd9995c8819985a5b1959
00001817: PUSH1 0x8a
00001819: SHL
0000181a: PUSH1 0x44
0000181c: DUP3
0000181d: ADD
0000181e: MSTORE
0000181f: PUSH1 0x64
00001821: ADD
00001822: PUSH2 0x02dc
00001825: JUMP
00001826: JUMPDEST
00001827: POP
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH1 0x00
0000182c: SLOAD
0000182d: PUSH1 0x01
0000182f: PUSH1 0x01
00001831: PUSH1 0xa0
00001833: SHL
00001834: SUB
00001835: AND
00001836: CALLER
00001837: EQ
00001838: PUSH2 0x1853
0000183b: JUMPI
0000183c: PUSH1 0x40
0000183e: MLOAD
0000183f: PUSH3 0x461bcd
00001843: PUSH1 0xe5
00001845: SHL
00001846: DUP2
00001847: MSTORE
00001848: PUSH1 0x04
0000184a: ADD
0000184b: PUSH2 0x02dc
0000184e: SWAP1
0000184f: PUSH2 0x2786
00001852: JUMP
00001853: JUMPDEST
00001854: PUSH1 0x01
00001856: DUP1
00001857: SLOAD
00001858: PUSH8 0xffffffffffffffff
00001861: SWAP1
00001862: SWAP3
00001863: AND
00001864: PUSH1 0x01
00001866: PUSH1 0xa0
00001868: SHL
00001869: MUL
0000186a: PUSH8 0xffffffffffffffff
00001873: PUSH1 0xa0
00001875: SHL
00001876: NOT
00001877: SWAP1
00001878: SWAP3
00001879: AND
0000187a: SWAP2
0000187b: SWAP1
0000187c: SWAP2
0000187d: OR
0000187e: SWAP1
0000187f: SSTORE
00001880: JUMP
00001881: JUMPDEST
00001882: PUSH1 0x00
00001884: SLOAD
00001885: PUSH1 0x01
00001887: PUSH1 0x01
00001889: PUSH1 0xa0
0000188b: SHL
0000188c: SUB
0000188d: AND
0000188e: CALLER
0000188f: EQ
00001890: PUSH2 0x18ab
00001893: JUMPI
00001894: PUSH1 0x40
00001896: MLOAD
00001897: PUSH3 0x461bcd
0000189b: PUSH1 0xe5
0000189d: SHL
0000189e: DUP2
0000189f: MSTORE
000018a0: PUSH1 0x04
000018a2: ADD
000018a3: PUSH2 0x02dc
000018a6: SWAP1
000018a7: PUSH2 0x2786
000018aa: JUMP
000018ab: JUMPDEST
000018ac: PUSH1 0x02
000018ae: SSTORE
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH1 0x00
000018b3: SLOAD
000018b4: PUSH1 0x01
000018b6: PUSH1 0x01
000018b8: PUSH1 0xa0
000018ba: SHL
000018bb: SUB
000018bc: AND
000018bd: CALLER
000018be: EQ
000018bf: PUSH2 0x18da
000018c2: JUMPI
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: PUSH3 0x461bcd
000018ca: PUSH1 0xe5
000018cc: SHL
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x04
000018d1: ADD
000018d2: PUSH2 0x02dc
000018d5: SWAP1
000018d6: PUSH2 0x2786
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x03
000018dd: DUP1
000018de: SLOAD
000018df: PUSH2 0xffff
000018e2: SWAP1
000018e3: SWAP3
000018e4: AND
000018e5: PUSH5 0x0100000000
000018eb: MUL
000018ec: PUSH6 0xffff00000000
000018f3: NOT
000018f4: SWAP1
000018f5: SWAP3
000018f6: AND
000018f7: SWAP2
000018f8: SWAP1
000018f9: SWAP2
000018fa: OR
000018fb: SWAP1
000018fc: SSTORE
000018fd: JUMP
000018fe: JUMPDEST
000018ff: PUSH1 0x40
00001901: DUP1
00001902: MLOAD
00001903: DUP1
00001904: DUP3
00001905: ADD
00001906: SWAP1
00001907: SWAP2
00001908: MSTORE
00001909: PUSH1 0x00
0000190b: DUP1
0000190c: DUP3
0000190d: MSTORE
0000190e: PUSH1 0x20
00001910: DUP3
00001911: ADD
00001912: MSTORE
00001913: PUSH1 0x0a
00001915: PUSH1 0x00
00001917: PUSH2 0x1920
0000191a: DUP6
0000191b: DUP6
0000191c: PUSH2 0x1ced
0000191f: JUMP
00001920: JUMPDEST
00001921: DUP2
00001922: MSTORE
00001923: PUSH1 0x20
00001925: DUP1
00001926: DUP3
00001927: ADD
00001928: SWAP3
00001929: SWAP1
0000192a: SWAP3
0000192b: MSTORE
0000192c: PUSH1 0x40
0000192e: SWAP1
0000192f: DUP2
00001930: ADD
00001931: PUSH1 0x00
00001933: KECCAK256
00001934: DUP2
00001935: MLOAD
00001936: DUP1
00001937: DUP4
00001938: ADD
00001939: SWAP1
0000193a: SWAP3
0000193b: MSTORE
0000193c: SLOAD
0000193d: PUSH1 0x01
0000193f: PUSH1 0x01
00001941: PUSH1 0x80
00001943: SHL
00001944: SUB
00001945: DUP1
00001946: DUP3
00001947: AND
00001948: DUP4
00001949: MSTORE
0000194a: PUSH1 0x01
0000194c: PUSH1 0x80
0000194e: SHL
0000194f: SWAP1
00001950: SWAP2
00001951: DIV
00001952: AND
00001953: SWAP2
00001954: DUP2
00001955: ADD
00001956: SWAP2
00001957: SWAP1
00001958: SWAP2
00001959: MSTORE
0000195a: SWAP4
0000195b: SWAP3
0000195c: POP
0000195d: POP
0000195e: POP
0000195f: JUMP
00001960: JUMPDEST
00001961: PUSH1 0x00
00001963: SLOAD
00001964: PUSH1 0x01
00001966: PUSH1 0x01
00001968: PUSH1 0xa0
0000196a: SHL
0000196b: SUB
0000196c: AND
0000196d: CALLER
0000196e: EQ
0000196f: PUSH2 0x198a
00001972: JUMPI
00001973: PUSH1 0x40
00001975: MLOAD
00001976: PUSH3 0x461bcd
0000197a: PUSH1 0xe5
0000197c: SHL
0000197d: DUP2
0000197e: MSTORE
0000197f: PUSH1 0x04
00001981: ADD
00001982: PUSH2 0x02dc
00001985: SWAP1
00001986: PUSH2 0x2786
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH1 0x03
0000198d: DUP1
0000198e: SLOAD
0000198f: PUSH4 0xffffffff
00001994: NOT
00001995: AND
00001996: PUSH4 0xffffffff
0000199b: SWAP3
0000199c: SWAP1
0000199d: SWAP3
0000199e: AND
0000199f: SWAP2
000019a0: SWAP1
000019a1: SWAP2
000019a2: OR
000019a3: SWAP1
000019a4: SSTORE
000019a5: JUMP
000019a6: JUMPDEST
000019a7: PUSH1 0x00
000019a9: SLOAD
000019aa: PUSH1 0x01
000019ac: PUSH1 0x01
000019ae: PUSH1 0xa0
000019b0: SHL
000019b1: SUB
000019b2: AND
000019b3: CALLER
000019b4: EQ
000019b5: PUSH2 0x19d0
000019b8: JUMPI
000019b9: PUSH1 0x40
000019bb: MLOAD
000019bc: PUSH3 0x461bcd
000019c0: PUSH1 0xe5
000019c2: SHL
000019c3: DUP2
000019c4: MSTORE
000019c5: PUSH1 0x04
000019c7: ADD
000019c8: PUSH2 0x02dc
000019cb: SWAP1
000019cc: PUSH2 0x2786
000019cf: JUMP
000019d0: JUMPDEST
000019d1: PUSH1 0x00
000019d3: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef
000019f4: PUSH1 0x01
000019f6: PUSH1 0x01
000019f8: PUSH1 0xa0
000019fa: SHL
000019fb: SUB
000019fc: AND
000019fd: DUP3
000019fe: PUSH1 0x40
00001a00: MLOAD
00001a01: PUSH1 0x00
00001a03: PUSH1 0x40
00001a05: MLOAD
00001a06: DUP1
00001a07: DUP4
00001a08: SUB
00001a09: DUP2
00001a0a: DUP6
00001a0b: DUP8
00001a0c: GAS
00001a0d: CALL
00001a0e: SWAP3
00001a0f: POP
00001a10: POP
00001a11: POP
00001a12: RETURNDATASIZE
00001a13: DUP1
00001a14: PUSH1 0x00
00001a16: DUP2
00001a17: EQ
00001a18: PUSH2 0x1a3d
00001a1b: JUMPI
00001a1c: PUSH1 0x40
00001a1e: MLOAD
00001a1f: SWAP2
00001a20: POP
00001a21: PUSH1 0x1f
00001a23: NOT
00001a24: PUSH1 0x3f
00001a26: RETURNDATASIZE
00001a27: ADD
00001a28: AND
00001a29: DUP3
00001a2a: ADD
00001a2b: PUSH1 0x40
00001a2d: MSTORE
00001a2e: RETURNDATASIZE
00001a2f: DUP3
00001a30: MSTORE
00001a31: RETURNDATASIZE
00001a32: PUSH1 0x00
00001a34: PUSH1 0x20
00001a36: DUP5
00001a37: ADD
00001a38: RETURNDATACOPY
00001a39: PUSH2 0x1a42
00001a3c: JUMP
00001a3d: JUMPDEST
00001a3e: PUSH1 0x60
00001a40: SWAP2
00001a41: POP
00001a42: JUMPDEST
00001a43: POP
00001a44: POP
00001a45: SWAP1
00001a46: POP
00001a47: DUP1
00001a48: PUSH2 0x0aa2
00001a4b: JUMPI
00001a4c: PUSH1 0x40
00001a4e: MLOAD
00001a4f: PUSH3 0x461bcd
00001a53: PUSH1 0xe5
00001a55: SHL
00001a56: DUP2
00001a57: MSTORE
00001a58: PUSH1 0x20
00001a5a: PUSH1 0x04
00001a5c: DUP3
00001a5d: ADD
00001a5e: MSTORE
00001a5f: PUSH1 0x0f
00001a61: PUSH1 0x24
00001a63: DUP3
00001a64: ADD
00001a65: MSTORE
00001a66: PUSH15 0x151c985b9cd9995c8819985a5b1959
00001a76: PUSH1 0x8a
00001a78: SHL
00001a79: PUSH1 0x44
00001a7b: DUP3
00001a7c: ADD
00001a7d: MSTORE
00001a7e: PUSH1 0x64
00001a80: ADD
00001a81: PUSH2 0x02dc
00001a84: JUMP
00001a85: JUMPDEST
00001a86: PUSH1 0x00
00001a88: SLOAD
00001a89: PUSH1 0x01
00001a8b: PUSH1 0x01
00001a8d: PUSH1 0xa0
00001a8f: SHL
00001a90: SUB
00001a91: AND
00001a92: CALLER
00001a93: EQ
00001a94: PUSH2 0x1aaf
00001a97: JUMPI
00001a98: PUSH1 0x40
00001a9a: MLOAD
00001a9b: PUSH3 0x461bcd
00001a9f: PUSH1 0xe5
00001aa1: SHL
00001aa2: DUP2
00001aa3: MSTORE
00001aa4: PUSH1 0x04
00001aa6: ADD
00001aa7: PUSH2 0x02dc
00001aaa: SWAP1
00001aab: PUSH2 0x2786
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: PUSH1 0x01
00001ab2: PUSH1 0x01
00001ab4: PUSH1 0xa0
00001ab6: SHL
00001ab7: SUB
00001ab8: DUP2
00001ab9: AND
00001aba: PUSH2 0x1b14
00001abd: JUMPI
00001abe: PUSH1 0x40
00001ac0: MLOAD
00001ac1: PUSH3 0x461bcd
00001ac5: PUSH1 0xe5
00001ac7: SHL
00001ac8: DUP2
00001ac9: MSTORE
00001aca: PUSH1 0x20
00001acc: PUSH1 0x04
00001ace: DUP3
00001acf: ADD
00001ad0: MSTORE
00001ad1: PUSH1 0x26
00001ad3: PUSH1 0x24
00001ad5: DUP3
00001ad6: ADD
00001ad7: MSTORE
00001ad8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001af9: PUSH1 0x44
00001afb: DUP3
00001afc: ADD
00001afd: MSTORE
00001afe: PUSH6 0x646472657373
00001b05: PUSH1 0xd0
00001b07: SHL
00001b08: PUSH1 0x64
00001b0a: DUP3
00001b0b: ADD
00001b0c: MSTORE
00001b0d: PUSH1 0x84
00001b0f: ADD
00001b10: PUSH2 0x02dc
00001b13: JUMP
00001b14: JUMPDEST
00001b15: PUSH2 0x1826
00001b18: DUP2
00001b19: PUSH2 0x1e6a
00001b1c: JUMP
00001b1d: JUMPDEST
00001b1e: PUSH1 0x07
00001b20: SLOAD
00001b21: PUSH2 0x0100
00001b24: SWAP1
00001b25: DIV
00001b26: PUSH1 0xff
00001b28: AND
00001b29: ISZERO
00001b2a: PUSH2 0x1b45
00001b2d: JUMPI
00001b2e: PUSH1 0x40
00001b30: MLOAD
00001b31: PUSH3 0x461bcd
00001b35: PUSH1 0xe5
00001b37: SHL
00001b38: DUP2
00001b39: MSTORE
00001b3a: PUSH1 0x04
00001b3c: ADD
00001b3d: PUSH2 0x02dc
00001b40: SWAP1
00001b41: PUSH2 0x27bb
00001b44: JUMP
00001b45: JUMPDEST
00001b46: PUSH1 0x07
00001b48: SLOAD
00001b49: PUSH1 0xff
00001b4b: AND
00001b4c: PUSH2 0x1b67
00001b4f: JUMPI
00001b50: PUSH1 0x40
00001b52: MLOAD
00001b53: PUSH3 0x461bcd
00001b57: PUSH1 0xe5
00001b59: SHL
00001b5a: DUP2
00001b5b: MSTORE
00001b5c: PUSH1 0x04
00001b5e: ADD
00001b5f: PUSH2 0x02dc
00001b62: SWAP1
00001b63: PUSH2 0x26d9
00001b66: JUMP
00001b67: JUMPDEST
00001b68: PUSH2 0x1b6f
00001b6b: PUSH2 0x1f9a
00001b6e: JUMP
00001b6f: JUMPDEST
00001b70: TIMESTAMP
00001b71: LT
00001b72: ISZERO
00001b73: PUSH2 0x1bc9
00001b76: JUMPI
00001b77: PUSH1 0x40
00001b79: MLOAD
00001b7a: PUSH3 0x461bcd
00001b7e: PUSH1 0xe5
00001b80: SHL
00001b81: DUP2
00001b82: MSTORE
00001b83: PUSH1 0x20
00001b85: PUSH1 0x04
00001b87: DUP3
00001b88: ADD
00001b89: MSTORE
00001b8a: PUSH1 0x22
00001b8c: PUSH1 0x24
00001b8e: DUP3
00001b8f: ADD
00001b90: MSTORE
00001b91: PUSH32 0x41756374696f6e2063616e27742062652073746f7070656420756e74696c2064
00001bb2: PUSH1 0x44
00001bb4: DUP3
00001bb5: ADD
00001bb6: MSTORE
00001bb7: PUSH2 0x7565
00001bba: PUSH1 0xf0
00001bbc: SHL
00001bbd: PUSH1 0x64
00001bbf: DUP3
00001bc0: ADD
00001bc1: MSTORE
00001bc2: PUSH1 0x84
00001bc4: ADD
00001bc5: PUSH2 0x02dc
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: PUSH2 0x0e6e
00001bcd: PUSH2 0x1fb6
00001bd0: JUMP
00001bd1: JUMPDEST
00001bd2: PUSH1 0x00
00001bd4: PUSH2 0x2710
00001bd7: DUP3
00001bd8: PUSH1 0x00
00001bda: DUP2
00001bdb: MLOAD
00001bdc: DUP2
00001bdd: LT
00001bde: PUSH2 0x1be9
00001be1: JUMPI
00001be2: PUSH2 0x1be9
00001be5: PUSH2 0x2833
00001be8: JUMP
00001be9: JUMPDEST
00001bea: PUSH1 0x20
00001bec: MUL
00001bed: PUSH1 0x20
00001bef: ADD
00001bf0: ADD
00001bf1: MLOAD
00001bf2: PUSH2 0x1bfb
00001bf5: SWAP2
00001bf6: SWAP1
00001bf7: PUSH2 0x2811
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: SWAP1
00001bfd: POP
00001bfe: DUP3
00001bff: PUSH32 0x9f3dfe0efa24b207b42aad32b527da86eb44e0c0e09e3c22e3a342f444d257e1
00001c20: DUP4
00001c21: PUSH1 0x00
00001c23: DUP2
00001c24: MLOAD
00001c25: DUP2
00001c26: LT
00001c27: PUSH2 0x1c32
00001c2a: JUMPI
00001c2b: PUSH2 0x1c32
00001c2e: PUSH2 0x2833
00001c31: JUMP
00001c32: JUMPDEST
00001c33: PUSH1 0x20
00001c35: MUL
00001c36: PUSH1 0x20
00001c38: ADD
00001c39: ADD
00001c3a: MLOAD
00001c3b: PUSH1 0x40
00001c3d: MLOAD
00001c3e: PUSH2 0x1c49
00001c41: SWAP2
00001c42: DUP2
00001c43: MSTORE
00001c44: PUSH1 0x20
00001c46: ADD
00001c47: SWAP1
00001c48: JUMP
00001c49: JUMPDEST
00001c4a: PUSH1 0x40
00001c4c: MLOAD
00001c4d: DUP1
00001c4e: SWAP2
00001c4f: SUB
00001c50: SWAP1
00001c51: LOG2
00001c52: PUSH2 0x1c59
00001c55: PUSH2 0x1f1f
00001c58: JUMP
00001c59: JUMPDEST
00001c5a: ISZERO
00001c5b: PUSH2 0x1ca9
00001c5e: JUMPI
00001c5f: PUSH1 0xc8
00001c61: DUP2
00001c62: LT
00001c63: ISZERO
00001c64: PUSH2 0x1cae
00001c67: JUMPI
00001c68: PUSH32 0xcce4f3e03656dea44733b631920726be0e854a6ef68a96afc0f61d6e049eeda7
00001c89: PUSH1 0xc8
00001c8b: DUP3
00001c8c: PUSH1 0x40
00001c8e: MLOAD
00001c8f: PUSH2 0x1c99
00001c92: SWAP3
00001c93: SWAP2
00001c94: SWAP1
00001c95: PUSH2 0x2849
00001c98: JUMP
00001c99: JUMPDEST
00001c9a: PUSH1 0x40
00001c9c: MLOAD
00001c9d: DUP1
00001c9e: SWAP2
00001c9f: SUB
00001ca0: SWAP1
00001ca1: LOG1
00001ca2: PUSH2 0x1ca9
00001ca5: PUSH2 0x1fb6
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: POP
00001cab: POP
00001cac: POP
00001cad: JUMP
00001cae: JUMPDEST
00001caf: PUSH32 0xcce4f3e03656dea44733b631920726be0e854a6ef68a96afc0f61d6e049eeda7
00001cd0: PUSH1 0xc8
00001cd2: DUP3
00001cd3: PUSH1 0x40
00001cd5: MLOAD
00001cd6: PUSH2 0x1ce0
00001cd9: SWAP3
00001cda: SWAP2
00001cdb: SWAP1
00001cdc: PUSH2 0x28b2
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: PUSH1 0x40
00001ce3: MLOAD
00001ce4: DUP1
00001ce5: SWAP2
00001ce6: SUB
00001ce7: SWAP1
00001ce8: LOG1
00001ce9: POP
00001cea: POP
00001ceb: POP
00001cec: JUMP
00001ced: JUMPDEST
00001cee: PUSH1 0x00
00001cf0: DUP3
00001cf1: DUP3
00001cf2: PUSH1 0x40
00001cf4: MLOAD
00001cf5: PUSH1 0x20
00001cf7: ADD
00001cf8: PUSH2 0x1d1d
00001cfb: SWAP3
00001cfc: SWAP2
00001cfd: SWAP1
00001cfe: SWAP2
00001cff: DUP3
00001d00: MSTORE
00001d01: PUSH1 0x60
00001d03: SHL
00001d04: PUSH12 0xffffffffffffffffffffffff
00001d11: NOT
00001d12: AND
00001d13: PUSH1 0x20
00001d15: DUP3
00001d16: ADD
00001d17: MSTORE
00001d18: PUSH1 0x34
00001d1a: ADD
00001d1b: SWAP1
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: PUSH1 0x40
00001d20: MLOAD
00001d21: PUSH1 0x20
00001d23: DUP2
00001d24: DUP4
00001d25: SUB
00001d26: SUB
00001d27: DUP2
00001d28: MSTORE
00001d29: SWAP1
00001d2a: PUSH1 0x40
00001d2c: MSTORE
00001d2d: DUP1
00001d2e: MLOAD
00001d2f: SWAP1
00001d30: PUSH1 0x20
00001d32: ADD
00001d33: KECCAK256
00001d34: SWAP1
00001d35: POP
00001d36: SWAP3
00001d37: SWAP2
00001d38: POP
00001d39: POP
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: PUSH1 0x00
00001d3e: DUP3
00001d3f: PUSH2 0x1d48
00001d42: DUP6
00001d43: DUP5
00001d44: PUSH2 0x205a
00001d47: JUMP
00001d48: JUMPDEST
00001d49: EQ
00001d4a: SWAP1
00001d4b: POP
00001d4c: JUMPDEST
00001d4d: SWAP4
00001d4e: SWAP3
00001d4f: POP
00001d50: POP
00001d51: POP
00001d52: JUMP
00001d53: JUMPDEST
00001d54: PUSH1 0x00
00001d56: SLOAD
00001d57: PUSH1 0x01
00001d59: PUSH1 0xa0
00001d5b: SHL
00001d5c: SWAP1
00001d5d: DIV
00001d5e: PUSH1 0xff
00001d60: AND
00001d61: PUSH2 0x1da3
00001d64: JUMPI
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: PUSH3 0x461bcd
00001d6c: PUSH1 0xe5
00001d6e: SHL
00001d6f: DUP2
00001d70: MSTORE
00001d71: PUSH1 0x20
00001d73: PUSH1 0x04
00001d75: DUP3
00001d76: ADD
00001d77: MSTORE
00001d78: PUSH1 0x14
00001d7a: PUSH1 0x24
00001d7c: DUP3
00001d7d: ADD
00001d7e: MSTORE
00001d7f: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959
00001d94: PUSH1 0x62
00001d96: SHL
00001d97: PUSH1 0x44
00001d99: DUP3
00001d9a: ADD
00001d9b: MSTORE
00001d9c: PUSH1 0x64
00001d9e: ADD
00001d9f: PUSH2 0x02dc
00001da2: JUMP
00001da3: JUMPDEST
00001da4: PUSH1 0x00
00001da6: DUP1
00001da7: SLOAD
00001da8: PUSH1 0xff
00001daa: PUSH1 0xa0
00001dac: SHL
00001dad: NOT
00001dae: AND
00001daf: SWAP1
00001db0: SSTORE
00001db1: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001dd2: CALLER
00001dd3: JUMPDEST
00001dd4: PUSH1 0x40
00001dd6: MLOAD
00001dd7: PUSH1 0x01
00001dd9: PUSH1 0x01
00001ddb: PUSH1 0xa0
00001ddd: SHL
00001dde: SUB
00001ddf: SWAP1
00001de0: SWAP2
00001de1: AND
00001de2: DUP2
00001de3: MSTORE
00001de4: PUSH1 0x20
00001de6: ADD
00001de7: PUSH1 0x40
00001de9: MLOAD
00001dea: DUP1
00001deb: SWAP2
00001dec: SUB
00001ded: SWAP1
00001dee: LOG1
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH2 0x1df8
00001df4: PUSH2 0x1f9a
00001df7: JUMP
00001df8: JUMPDEST
00001df9: TIMESTAMP
00001dfa: LT
00001dfb: PUSH2 0x1e06
00001dfe: JUMPI
00001dff: PUSH2 0x0e6e
00001e02: PUSH2 0x1fb6
00001e05: JUMP
00001e06: JUMPDEST
00001e07: PUSH1 0x09
00001e09: SLOAD
00001e0a: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001ebe
00001e2b: GT
00001e2c: PUSH2 0x1e37
00001e2f: JUMPI
00001e30: PUSH2 0x0e6e
00001e33: PUSH2 0x1fb6
00001e36: JUMP
00001e37: JUMPDEST
00001e38: PUSH2 0x1e3f
00001e3b: PUSH2 0x1f1f
00001e3e: JUMP
00001e3f: JUMPDEST
00001e40: DUP1
00001e41: ISZERO
00001e42: PUSH2 0x1e59
00001e45: JUMPI
00001e46: POP
00001e47: PUSH1 0x3c
00001e49: PUSH1 0x04
00001e4b: SLOAD
00001e4c: TIMESTAMP
00001e4d: PUSH2 0x1e56
00001e50: SWAP2
00001e51: SWAP1
00001e52: PUSH2 0x291b
00001e55: JUMP
00001e56: JUMPDEST
00001e57: LT
00001e58: ISZERO
00001e59: JUMPDEST
00001e5a: ISZERO
00001e5b: PUSH2 0x0e6e
00001e5e: JUMPI
00001e5f: TIMESTAMP
00001e60: PUSH1 0x04
00001e62: SSTORE
00001e63: PUSH2 0x1826
00001e66: PUSH2 0x2106
00001e69: JUMP
00001e6a: JUMPDEST
00001e6b: PUSH1 0x00
00001e6d: DUP1
00001e6e: SLOAD
00001e6f: PUSH1 0x01
00001e71: PUSH1 0x01
00001e73: PUSH1 0xa0
00001e75: SHL
00001e76: SUB
00001e77: DUP4
00001e78: DUP2
00001e79: AND
00001e7a: PUSH1 0x01
00001e7c: PUSH1 0x01
00001e7e: PUSH1 0xa0
00001e80: SHL
00001e81: SUB
00001e82: NOT
00001e83: DUP4
00001e84: AND
00001e85: DUP2
00001e86: OR
00001e87: DUP5
00001e88: SSTORE
00001e89: PUSH1 0x40
00001e8b: MLOAD
00001e8c: SWAP2
00001e8d: SWAP1
00001e8e: SWAP3
00001e8f: AND
00001e90: SWAP3
00001e91: DUP4
00001e92: SWAP2
00001e93: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001eb4: SWAP2
00001eb5: SWAP1
00001eb6: LOG3
00001eb7: POP
00001eb8: POP
00001eb9: JUMP
00001eba: JUMPDEST
00001ebb: PUSH1 0x00
00001ebd: SLOAD
00001ebe: PUSH1 0x01
00001ec0: PUSH1 0xa0
00001ec2: SHL
00001ec3: SWAP1
00001ec4: DIV
00001ec5: PUSH1 0xff
00001ec7: AND
00001ec8: ISZERO
00001ec9: PUSH2 0x1ee4
00001ecc: JUMPI
00001ecd: PUSH1 0x40
00001ecf: MLOAD
00001ed0: PUSH3 0x461bcd
00001ed4: PUSH1 0xe5
00001ed6: SHL
00001ed7: DUP2
00001ed8: MSTORE
00001ed9: PUSH1 0x04
00001edb: ADD
00001edc: PUSH2 0x02dc
00001edf: SWAP1
00001ee0: PUSH2 0x26af
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x00
00001ee7: DUP1
00001ee8: SLOAD
00001ee9: PUSH1 0xff
00001eeb: PUSH1 0xa0
00001eed: SHL
00001eee: NOT
00001eef: AND
00001ef0: PUSH1 0x01
00001ef2: PUSH1 0xa0
00001ef4: SHL
00001ef5: OR
00001ef6: SWAP1
00001ef7: SSTORE
00001ef8: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001f19: PUSH2 0x1dd3
00001f1c: CALLER
00001f1d: SWAP1
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: PUSH1 0x00
00001f22: PUSH2 0x1f2e
00001f25: PUSH1 0x02
00001f27: PUSH2 0x0e10
00001f2a: PUSH2 0x27f2
00001f2d: JUMP
00001f2e: JUMPDEST
00001f2f: PUSH2 0x1f36
00001f32: PUSH2 0x1f9a
00001f35: JUMP
00001f36: JUMPDEST
00001f37: PUSH2 0x1f40
00001f3a: SWAP2
00001f3b: SWAP1
00001f3c: PUSH2 0x291b
00001f3f: JUMP
00001f40: JUMPDEST
00001f41: TIMESTAMP
00001f42: LT
00001f43: ISZERO
00001f44: SWAP1
00001f45: POP
00001f46: SWAP1
00001f47: JUMP
00001f48: JUMPDEST
00001f49: PUSH1 0x40
00001f4b: DUP1
00001f4c: MLOAD
00001f4d: PUSH1 0x01
00001f4f: PUSH1 0x01
00001f51: PUSH1 0xa0
00001f53: SHL
00001f54: SUB
00001f55: DUP5
00001f56: AND
00001f57: PUSH1 0x24
00001f59: DUP3
00001f5a: ADD
00001f5b: MSTORE
00001f5c: PUSH1 0x44
00001f5e: DUP1
00001f5f: DUP3
00001f60: ADD
00001f61: DUP5
00001f62: SWAP1
00001f63: MSTORE
00001f64: DUP3
00001f65: MLOAD
00001f66: DUP1
00001f67: DUP4
00001f68: SUB
00001f69: SWAP1
00001f6a: SWAP2
00001f6b: ADD
00001f6c: DUP2
00001f6d: MSTORE
00001f6e: PUSH1 0x64
00001f70: SWAP1
00001f71: SWAP2
00001f72: ADD
00001f73: SWAP1
00001f74: SWAP2
00001f75: MSTORE
00001f76: PUSH1 0x20
00001f78: DUP2
00001f79: ADD
00001f7a: DUP1
00001f7b: MLOAD
00001f7c: PUSH1 0x01
00001f7e: PUSH1 0x01
00001f80: PUSH1 0xe0
00001f82: SHL
00001f83: SUB
00001f84: AND
00001f85: PUSH4 0xa9059cbb
00001f8a: PUSH1 0xe0
00001f8c: SHL
00001f8d: OR
00001f8e: SWAP1
00001f8f: MSTORE
00001f90: PUSH2 0x1ca9
00001f93: SWAP1
00001f94: DUP5
00001f95: SWAP1
00001f96: PUSH2 0x21bf
00001f99: JUMP
00001f9a: JUMPDEST
00001f9b: PUSH1 0x00
00001f9d: PUSH2 0x1fa9
00001fa0: PUSH1 0x18
00001fa2: PUSH2 0x0e10
00001fa5: PUSH2 0x27f2
00001fa8: JUMP
00001fa9: JUMPDEST
00001faa: PUSH1 0x05
00001fac: SLOAD
00001fad: PUSH2 0x164f
00001fb0: SWAP2
00001fb1: SWAP1
00001fb2: PUSH2 0x2755
00001fb5: JUMP
00001fb6: JUMPDEST
00001fb7: PUSH1 0x07
00001fb9: SLOAD
00001fba: PUSH2 0x0100
00001fbd: SWAP1
00001fbe: DIV
00001fbf: PUSH1 0xff
00001fc1: AND
00001fc2: ISZERO
00001fc3: PUSH2 0x1fde
00001fc6: JUMPI
00001fc7: PUSH1 0x40
00001fc9: MLOAD
00001fca: PUSH3 0x461bcd
00001fce: PUSH1 0xe5
00001fd0: SHL
00001fd1: DUP2
00001fd2: MSTORE
00001fd3: PUSH1 0x04
00001fd5: ADD
00001fd6: PUSH2 0x02dc
00001fd9: SWAP1
00001fda: PUSH2 0x27bb
00001fdd: JUMP
00001fde: JUMPDEST
00001fdf: PUSH1 0x07
00001fe1: SLOAD
00001fe2: PUSH1 0xff
00001fe4: AND
00001fe5: PUSH2 0x2000
00001fe8: JUMPI
00001fe9: PUSH1 0x40
00001feb: MLOAD
00001fec: PUSH3 0x461bcd
00001ff0: PUSH1 0xe5
00001ff2: SHL
00001ff3: DUP2
00001ff4: MSTORE
00001ff5: PUSH1 0x04
00001ff7: ADD
00001ff8: PUSH2 0x02dc
00001ffb: SWAP1
00001ffc: PUSH2 0x26d9
00001fff: JUMP
00002000: JUMPDEST
00002001: PUSH1 0x07
00002003: DUP1
00002004: SLOAD
00002005: PUSH2 0xff00
00002008: NOT
00002009: AND
0000200a: PUSH2 0x0100
0000200d: OR
0000200e: SWAP1
0000200f: SSTORE
00002010: PUSH2 0x2023
00002013: PUSH1 0x00
00002015: SLOAD
00002016: PUSH1 0xff
00002018: PUSH1 0x01
0000201a: PUSH1 0xa0
0000201c: SHL
0000201d: SWAP1
0000201e: SWAP2
0000201f: DIV
00002020: AND
00002021: SWAP1
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH2 0x202f
00002027: JUMPI
00002028: PUSH2 0x202f
0000202b: PUSH2 0x1eba
0000202e: JUMP
0000202f: JUMPDEST
00002030: PUSH1 0x40
00002032: MLOAD
00002033: PUSH32 0xa0e92984607195c326795751263414ee1074526323552e694c90ef2b99ae3f29
00002054: SWAP1
00002055: PUSH1 0x00
00002057: SWAP1
00002058: LOG1
00002059: JUMP
0000205a: JUMPDEST
0000205b: PUSH1 0x00
0000205d: DUP2
0000205e: DUP2
0000205f: JUMPDEST
00002060: DUP5
00002061: MLOAD
00002062: DUP2
00002063: LT
00002064: ISZERO
00002065: PUSH2 0x20fe
00002068: JUMPI
00002069: PUSH1 0x00
0000206b: DUP6
0000206c: DUP3
0000206d: DUP2
0000206e: MLOAD
0000206f: DUP2
00002070: LT
00002071: PUSH2 0x207c
00002074: JUMPI
00002075: PUSH2 0x207c
00002078: PUSH2 0x2833
0000207b: JUMP
0000207c: JUMPDEST
0000207d: PUSH1 0x20
0000207f: MUL
00002080: PUSH1 0x20
00002082: ADD
00002083: ADD
00002084: MLOAD
00002085: SWAP1
00002086: POP
00002087: DUP1
00002088: DUP4
00002089: GT
0000208a: PUSH2 0x20be
0000208d: JUMPI
0000208e: PUSH1 0x40
00002090: DUP1
00002091: MLOAD
00002092: PUSH1 0x20
00002094: DUP2
00002095: ADD
00002096: DUP6
00002097: SWAP1
00002098: MSTORE
00002099: SWAP1
0000209a: DUP2
0000209b: ADD
0000209c: DUP3
0000209d: SWAP1
0000209e: MSTORE
0000209f: PUSH1 0x60
000020a1: ADD
000020a2: PUSH1 0x40
000020a4: MLOAD
000020a5: PUSH1 0x20
000020a7: DUP2
000020a8: DUP4
000020a9: SUB
000020aa: SUB
000020ab: DUP2
000020ac: MSTORE
000020ad: SWAP1
000020ae: PUSH1 0x40
000020b0: MSTORE
000020b1: DUP1
000020b2: MLOAD
000020b3: SWAP1
000020b4: PUSH1 0x20
000020b6: ADD
000020b7: KECCAK256
000020b8: SWAP3
000020b9: POP
000020ba: PUSH2 0x20eb
000020bd: JUMP
000020be: JUMPDEST
000020bf: PUSH1 0x40
000020c1: DUP1
000020c2: MLOAD
000020c3: PUSH1 0x20
000020c5: DUP2
000020c6: ADD
000020c7: DUP4
000020c8: SWAP1
000020c9: MSTORE
000020ca: SWAP1
000020cb: DUP2
000020cc: ADD
000020cd: DUP5
000020ce: SWAP1
000020cf: MSTORE
000020d0: PUSH1 0x60
000020d2: ADD
000020d3: PUSH1 0x40
000020d5: MLOAD
000020d6: PUSH1 0x20
000020d8: DUP2
000020d9: DUP4
000020da: SUB
000020db: SUB
000020dc: DUP2
000020dd: MSTORE
000020de: SWAP1
000020df: PUSH1 0x40
000020e1: MSTORE
000020e2: DUP1
000020e3: MLOAD
000020e4: SWAP1
000020e5: PUSH1 0x20
000020e7: ADD
000020e8: KECCAK256
000020e9: SWAP3
000020ea: POP
000020eb: JUMPDEST
000020ec: POP
000020ed: DUP1
000020ee: PUSH2 0x20f6
000020f1: DUP2
000020f2: PUSH2 0x276d
000020f5: JUMP
000020f6: JUMPDEST
000020f7: SWAP2
000020f8: POP
000020f9: POP
000020fa: PUSH2 0x205f
000020fd: JUMP
000020fe: JUMPDEST
000020ff: POP
00002100: SWAP4
00002101: SWAP3
00002102: POP
00002103: POP
00002104: POP
00002105: JUMP
00002106: JUMPDEST
00002107: PUSH1 0x01
00002109: SLOAD
0000210a: PUSH1 0x02
0000210c: SLOAD
0000210d: PUSH1 0x03
0000210f: SLOAD
00002110: PUSH1 0x40
00002112: MLOAD
00002113: PUSH4 0x05d3b1d3
00002118: PUSH1 0xe4
0000211a: SHL
0000211b: DUP2
0000211c: MSTORE
0000211d: PUSH1 0x04
0000211f: DUP2
00002120: ADD
00002121: SWAP3
00002122: SWAP1
00002123: SWAP3
00002124: MSTORE
00002125: PUSH1 0x01
00002127: PUSH1 0xa0
00002129: SHL
0000212a: DUP4
0000212b: DIV
0000212c: PUSH8 0xffffffffffffffff
00002135: AND
00002136: PUSH1 0x24
00002138: DUP4
00002139: ADD
0000213a: MSTORE
0000213b: PUSH5 0x0100000000
00002141: DUP2
00002142: DIV
00002143: PUSH2 0xffff
00002146: AND
00002147: PUSH1 0x44
00002149: DUP4
0000214a: ADD
0000214b: MSTORE
0000214c: PUSH4 0xffffffff
00002151: DUP1
00002152: DUP3
00002153: AND
00002154: PUSH1 0x64
00002156: DUP5
00002157: ADD
00002158: MSTORE
00002159: PUSH1 0x01
0000215b: PUSH1 0x30
0000215d: SHL
0000215e: SWAP1
0000215f: SWAP2
00002160: DIV
00002161: AND
00002162: PUSH1 0x84
00002164: DUP3
00002165: ADD
00002166: MSTORE
00002167: PUSH1 0x00
00002169: SWAP2
0000216a: PUSH1 0x01
0000216c: PUSH1 0x01
0000216e: PUSH1 0xa0
00002170: SHL
00002171: SUB
00002172: AND
00002173: SWAP1
00002174: PUSH4 0x5d3b1d30
00002179: SWAP1
0000217a: PUSH1 0xa4
0000217c: ADD
0000217d: PUSH1 0x20
0000217f: PUSH1 0x40
00002181: MLOAD
00002182: DUP1
00002183: DUP4
00002184: SUB
00002185: DUP2
00002186: PUSH1 0x00
00002188: DUP8
00002189: GAS
0000218a: CALL
0000218b: ISZERO
0000218c: DUP1
0000218d: ISZERO
0000218e: PUSH2 0x219b
00002191: JUMPI
00002192: RETURNDATASIZE
00002193: PUSH1 0x00
00002195: DUP1
00002196: RETURNDATACOPY
00002197: RETURNDATASIZE
00002198: PUSH1 0x00
0000219a: REVERT
0000219b: JUMPDEST
0000219c: POP
0000219d: POP
0000219e: POP
0000219f: POP
000021a0: PUSH1 0x40
000021a2: MLOAD
000021a3: RETURNDATASIZE
000021a4: PUSH1 0x1f
000021a6: NOT
000021a7: PUSH1 0x1f
000021a9: DUP3
000021aa: ADD
000021ab: AND
000021ac: DUP3
000021ad: ADD
000021ae: DUP1
000021af: PUSH1 0x40
000021b1: MSTORE
000021b2: POP
000021b3: DUP2
000021b4: ADD
000021b5: SWAP1
000021b6: PUSH2 0x164f
000021b9: SWAP2
000021ba: SWAP1
000021bb: PUSH2 0x2932
000021be: JUMP
000021bf: JUMPDEST
000021c0: PUSH1 0x00
000021c2: PUSH2 0x2214
000021c5: DUP3
000021c6: PUSH1 0x40
000021c8: MLOAD
000021c9: DUP1
000021ca: PUSH1 0x40
000021cc: ADD
000021cd: PUSH1 0x40
000021cf: MSTORE
000021d0: DUP1
000021d1: PUSH1 0x20
000021d3: DUP2
000021d4: MSTORE
000021d5: PUSH1 0x20
000021d7: ADD
000021d8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000021f9: DUP2
000021fa: MSTORE
000021fb: POP
000021fc: DUP6
000021fd: PUSH1 0x01
000021ff: PUSH1 0x01
00002201: PUSH1 0xa0
00002203: SHL
00002204: SUB
00002205: AND
00002206: PUSH2 0x2291
00002209: SWAP1
0000220a: SWAP3
0000220b: SWAP2
0000220c: SWAP1
0000220d: PUSH4 0xffffffff
00002212: AND
00002213: JUMP
00002214: JUMPDEST
00002215: DUP1
00002216: MLOAD
00002217: SWAP1
00002218: SWAP2
00002219: POP
0000221a: ISZERO
0000221b: PUSH2 0x1ca9
0000221e: JUMPI
0000221f: DUP1
00002220: DUP1
00002221: PUSH1 0x20
00002223: ADD
00002224: SWAP1
00002225: MLOAD
00002226: DUP2
00002227: ADD
00002228: SWAP1
00002229: PUSH2 0x2232
0000222c: SWAP2
0000222d: SWAP1
0000222e: PUSH2 0x294b
00002231: JUMP
00002232: JUMPDEST
00002233: PUSH2 0x1ca9
00002236: JUMPI
00002237: PUSH1 0x40
00002239: MLOAD
0000223a: PUSH3 0x461bcd
0000223e: PUSH1 0xe5
00002240: SHL
00002241: DUP2
00002242: MSTORE
00002243: PUSH1 0x20
00002245: PUSH1 0x04
00002247: DUP3
00002248: ADD
00002249: MSTORE
0000224a: PUSH1 0x2a
0000224c: PUSH1 0x24
0000224e: DUP3
0000224f: ADD
00002250: MSTORE
00002251: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00002272: PUSH1 0x44
00002274: DUP3
00002275: ADD
00002276: MSTORE
00002277: PUSH10 0x1bdd081cdd58d8d95959
00002282: PUSH1 0xb2
00002284: SHL
00002285: PUSH1 0x64
00002287: DUP3
00002288: ADD
00002289: MSTORE
0000228a: PUSH1 0x84
0000228c: ADD
0000228d: PUSH2 0x02dc
00002290: JUMP
00002291: JUMPDEST
00002292: PUSH1 0x60
00002294: PUSH2 0x22a0
00002297: DUP5
00002298: DUP5
00002299: PUSH1 0x00
0000229b: DUP6
0000229c: PUSH2 0x22a8
0000229f: JUMP
000022a0: JUMPDEST
000022a1: SWAP5
000022a2: SWAP4
000022a3: POP
000022a4: POP
000022a5: POP
000022a6: POP
000022a7: JUMP
000022a8: JUMPDEST
000022a9: PUSH1 0x60
000022ab: DUP3
000022ac: SELFBALANCE
000022ad: LT
000022ae: ISZERO
000022af: PUSH2 0x2309
000022b2: JUMPI
000022b3: PUSH1 0x40
000022b5: MLOAD
000022b6: PUSH3 0x461bcd
000022ba: PUSH1 0xe5
000022bc: SHL
000022bd: DUP2
000022be: MSTORE
000022bf: PUSH1 0x20
000022c1: PUSH1 0x04
000022c3: DUP3
000022c4: ADD
000022c5: MSTORE
000022c6: PUSH1 0x26
000022c8: PUSH1 0x24
000022ca: DUP3
000022cb: ADD
000022cc: MSTORE
000022cd: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000022ee: PUSH1 0x44
000022f0: DUP3
000022f1: ADD
000022f2: MSTORE
000022f3: PUSH6 0x1c8818d85b1b
000022fa: PUSH1 0xd2
000022fc: SHL
000022fd: PUSH1 0x64
000022ff: DUP3
00002300: ADD
00002301: MSTORE
00002302: PUSH1 0x84
00002304: ADD
00002305: PUSH2 0x02dc
00002308: JUMP
00002309: JUMPDEST
0000230a: DUP5
0000230b: EXTCODESIZE
0000230c: PUSH2 0x2357
0000230f: JUMPI
00002310: PUSH1 0x40
00002312: MLOAD
00002313: PUSH3 0x461bcd
00002317: PUSH1 0xe5
00002319: SHL
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x20
0000231e: PUSH1 0x04
00002320: DUP3
00002321: ADD
00002322: MSTORE
00002323: PUSH1 0x1d
00002325: PUSH1 0x24
00002327: DUP3
00002328: ADD
00002329: MSTORE
0000232a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000234b: PUSH1 0x44
0000234d: DUP3
0000234e: ADD
0000234f: MSTORE
00002350: PUSH1 0x64
00002352: ADD
00002353: PUSH2 0x02dc
00002356: JUMP
00002357: JUMPDEST
00002358: PUSH1 0x00
0000235a: DUP1
0000235b: DUP7
0000235c: PUSH1 0x01
0000235e: PUSH1 0x01
00002360: PUSH1 0xa0
00002362: SHL
00002363: SUB
00002364: AND
00002365: DUP6
00002366: DUP8
00002367: PUSH1 0x40
00002369: MLOAD
0000236a: PUSH2 0x2373
0000236d: SWAP2
0000236e: SWAP1
0000236f: PUSH2 0x299d
00002372: JUMP
00002373: JUMPDEST
00002374: PUSH1 0x00
00002376: PUSH1 0x40
00002378: MLOAD
00002379: DUP1
0000237a: DUP4
0000237b: SUB
0000237c: DUP2
0000237d: DUP6
0000237e: DUP8
0000237f: GAS
00002380: CALL
00002381: SWAP3
00002382: POP
00002383: POP
00002384: POP
00002385: RETURNDATASIZE
00002386: DUP1
00002387: PUSH1 0x00
00002389: DUP2
0000238a: EQ
0000238b: PUSH2 0x23b0
0000238e: JUMPI
0000238f: PUSH1 0x40
00002391: MLOAD
00002392: SWAP2
00002393: POP
00002394: PUSH1 0x1f
00002396: NOT
00002397: PUSH1 0x3f
00002399: RETURNDATASIZE
0000239a: ADD
0000239b: AND
0000239c: DUP3
0000239d: ADD
0000239e: PUSH1 0x40
000023a0: MSTORE
000023a1: RETURNDATASIZE
000023a2: DUP3
000023a3: MSTORE
000023a4: RETURNDATASIZE
000023a5: PUSH1 0x00
000023a7: PUSH1 0x20
000023a9: DUP5
000023aa: ADD
000023ab: RETURNDATACOPY
000023ac: PUSH2 0x23b5
000023af: JUMP
000023b0: JUMPDEST
000023b1: PUSH1 0x60
000023b3: SWAP2
000023b4: POP
000023b5: JUMPDEST
000023b6: POP
000023b7: SWAP2
000023b8: POP
000023b9: SWAP2
000023ba: POP
000023bb: PUSH2 0x23c5
000023be: DUP3
000023bf: DUP3
000023c0: DUP7
000023c1: PUSH2 0x23d0
000023c4: JUMP
000023c5: JUMPDEST
000023c6: SWAP8
000023c7: SWAP7
000023c8: POP
000023c9: POP
000023ca: POP
000023cb: POP
000023cc: POP
000023cd: POP
000023ce: POP
000023cf: JUMP
000023d0: JUMPDEST
000023d1: PUSH1 0x60
000023d3: DUP4
000023d4: ISZERO
000023d5: PUSH2 0x23df
000023d8: JUMPI
000023d9: POP
000023da: DUP2
000023db: PUSH2 0x1d4c
000023de: JUMP
000023df: JUMPDEST
000023e0: DUP3
000023e1: MLOAD
000023e2: ISZERO
000023e3: PUSH2 0x23ef
000023e6: JUMPI
000023e7: DUP3
000023e8: MLOAD
000023e9: DUP1
000023ea: DUP5
000023eb: PUSH1 0x20
000023ed: ADD
000023ee: REVERT
000023ef: JUMPDEST
000023f0: DUP2
000023f1: PUSH1 0x40
000023f3: MLOAD
000023f4: PUSH3 0x461bcd
000023f8: PUSH1 0xe5
000023fa: SHL
000023fb: DUP2
000023fc: MSTORE
000023fd: PUSH1 0x04
000023ff: ADD
00002400: PUSH2 0x02dc
00002403: SWAP2
00002404: SWAP1
00002405: PUSH2 0x29b9
00002408: JUMP
00002409: JUMPDEST
0000240a: PUSH4 0x4e487b71
0000240f: PUSH1 0xe0
00002411: SHL
00002412: PUSH1 0x00
00002414: MSTORE
00002415: PUSH1 0x41
00002417: PUSH1 0x04
00002419: MSTORE
0000241a: PUSH1 0x24
0000241c: PUSH1 0x00
0000241e: REVERT
0000241f: JUMPDEST
00002420: PUSH1 0x00
00002422: DUP1
00002423: PUSH1 0x40
00002425: DUP4
00002426: DUP6
00002427: SUB
00002428: SLT
00002429: ISZERO
0000242a: PUSH2 0x2432
0000242d: JUMPI
0000242e: PUSH1 0x00
00002430: DUP1
00002431: REVERT
00002432: JUMPDEST
00002433: DUP3
00002434: CALLDATALOAD
00002435: SWAP2
00002436: POP
00002437: PUSH1 0x20
00002439: DUP1
0000243a: DUP5
0000243b: ADD
0000243c: CALLDATALOAD
0000243d: PUSH8 0xffffffffffffffff
00002446: DUP1
00002447: DUP3
00002448: GT
00002449: ISZERO
0000244a: PUSH2 0x2452
0000244d: JUMPI
0000244e: PUSH1 0x00
00002450: DUP1
00002451: REVERT
00002452: JUMPDEST
00002453: DUP2
00002454: DUP7
00002455: ADD
00002456: SWAP2
00002457: POP
00002458: DUP7
00002459: PUSH1 0x1f
0000245b: DUP4
0000245c: ADD
0000245d: SLT
0000245e: PUSH2 0x2466
00002461: JUMPI
00002462: PUSH1 0x00
00002464: DUP1
00002465: REVERT
00002466: JUMPDEST
00002467: DUP2
00002468: CALLDATALOAD
00002469: DUP2
0000246a: DUP2
0000246b: GT
0000246c: ISZERO
0000246d: PUSH2 0x2478
00002470: JUMPI
00002471: PUSH2 0x2478
00002474: PUSH2 0x2409
00002477: JUMP
00002478: JUMPDEST
00002479: DUP1
0000247a: PUSH1 0x05
0000247c: SHL
0000247d: PUSH1 0x40
0000247f: MLOAD
00002480: PUSH1 0x1f
00002482: NOT
00002483: PUSH1 0x3f
00002485: DUP4
00002486: ADD
00002487: AND
00002488: DUP2
00002489: ADD
0000248a: DUP2
0000248b: DUP2
0000248c: LT
0000248d: DUP6
0000248e: DUP3
0000248f: GT
00002490: OR
00002491: ISZERO
00002492: PUSH2 0x249d
00002495: JUMPI
00002496: PUSH2 0x249d
00002499: PUSH2 0x2409
0000249c: JUMP
0000249d: JUMPDEST
0000249e: PUSH1 0x40
000024a0: MSTORE
000024a1: SWAP2
000024a2: DUP3
000024a3: MSTORE
000024a4: DUP5
000024a5: DUP3
000024a6: ADD
000024a7: SWAP3
000024a8: POP
000024a9: DUP4
000024aa: DUP2
000024ab: ADD
000024ac: DUP6
000024ad: ADD
000024ae: SWAP2
000024af: DUP10
000024b0: DUP4
000024b1: GT
000024b2: ISZERO
000024b3: PUSH2 0x24bb
000024b6: JUMPI
000024b7: PUSH1 0x00
000024b9: DUP1
000024ba: REVERT
000024bb: JUMPDEST
000024bc: SWAP4
000024bd: DUP6
000024be: ADD
000024bf: SWAP4
000024c0: JUMPDEST
000024c1: DUP3
000024c2: DUP6
000024c3: LT
000024c4: ISZERO
000024c5: PUSH2 0x24d9
000024c8: JUMPI
000024c9: DUP5
000024ca: CALLDATALOAD
000024cb: DUP5
000024cc: MSTORE
000024cd: SWAP4
000024ce: DUP6
000024cf: ADD
000024d0: SWAP4
000024d1: SWAP3
000024d2: DUP6
000024d3: ADD
000024d4: SWAP3
000024d5: PUSH2 0x24c0
000024d8: JUMP
000024d9: JUMPDEST
000024da: DUP1
000024db: SWAP7
000024dc: POP
000024dd: POP
000024de: POP
000024df: POP
000024e0: POP
000024e1: POP
000024e2: POP
000024e3: SWAP3
000024e4: POP
000024e5: SWAP3
000024e6: SWAP1
000024e7: POP
000024e8: JUMP
000024e9: JUMPDEST
000024ea: PUSH1 0x00
000024ec: DUP1
000024ed: PUSH1 0x00
000024ef: PUSH1 0x40
000024f1: DUP5
000024f2: DUP7
000024f3: SUB
000024f4: SLT
000024f5: ISZERO
000024f6: PUSH2 0x24fe
000024f9: JUMPI
000024fa: PUSH1 0x00
000024fc: DUP1
000024fd: REVERT
000024fe: JUMPDEST
000024ff: DUP4
00002500: CALLDATALOAD
00002501: SWAP3
00002502: POP
00002503: PUSH1 0x20
00002505: DUP5
00002506: ADD
00002507: CALLDATALOAD
00002508: PUSH8 0xffffffffffffffff
00002511: DUP1
00002512: DUP3
00002513: GT
00002514: ISZERO
00002515: PUSH2 0x251d
00002518: JUMPI
00002519: PUSH1 0x00
0000251b: DUP1
0000251c: REVERT
0000251d: JUMPDEST
0000251e: DUP2
0000251f: DUP7
00002520: ADD
00002521: SWAP2
00002522: POP
00002523: DUP7
00002524: PUSH1 0x1f
00002526: DUP4
00002527: ADD
00002528: SLT
00002529: PUSH2 0x2531
0000252c: JUMPI
0000252d: PUSH1 0x00
0000252f: DUP1
00002530: REVERT
00002531: JUMPDEST
00002532: DUP2
00002533: CALLDATALOAD
00002534: DUP2
00002535: DUP2
00002536: GT
00002537: ISZERO
00002538: PUSH2 0x2540
0000253b: JUMPI
0000253c: PUSH1 0x00
0000253e: DUP1
0000253f: REVERT
00002540: JUMPDEST
00002541: DUP8
00002542: PUSH1 0x20
00002544: DUP3
00002545: PUSH1 0x05
00002547: SHL
00002548: DUP6
00002549: ADD
0000254a: ADD
0000254b: GT
0000254c: ISZERO
0000254d: PUSH2 0x2555
00002550: JUMPI
00002551: PUSH1 0x00
00002553: DUP1
00002554: REVERT
00002555: JUMPDEST
00002556: PUSH1 0x20
00002558: DUP4
00002559: ADD
0000255a: SWAP5
0000255b: POP
0000255c: DUP1
0000255d: SWAP4
0000255e: POP
0000255f: POP
00002560: POP
00002561: POP
00002562: SWAP3
00002563: POP
00002564: SWAP3
00002565: POP
00002566: SWAP3
00002567: JUMP
00002568: JUMPDEST
00002569: PUSH1 0x01
0000256b: PUSH1 0x01
0000256d: PUSH1 0xa0
0000256f: SHL
00002570: SUB
00002571: DUP2
00002572: AND
00002573: DUP2
00002574: EQ
00002575: PUSH2 0x1826
00002578: JUMPI
00002579: PUSH1 0x00
0000257b: DUP1
0000257c: REVERT
0000257d: JUMPDEST
0000257e: PUSH1 0x00
00002580: PUSH1 0x20
00002582: DUP3
00002583: DUP5
00002584: SUB
00002585: SLT
00002586: ISZERO
00002587: PUSH2 0x258f
0000258a: JUMPI
0000258b: PUSH1 0x00
0000258d: DUP1
0000258e: REVERT
0000258f: JUMPDEST
00002590: DUP2
00002591: CALLDATALOAD
00002592: PUSH2 0x1d4c
00002595: DUP2
00002596: PUSH2 0x2568
00002599: JUMP
0000259a: JUMPDEST
0000259b: PUSH1 0x00
0000259d: DUP1
0000259e: PUSH1 0x00
000025a0: PUSH1 0x60
000025a2: DUP5
000025a3: DUP7
000025a4: SUB
000025a5: SLT
000025a6: ISZERO
000025a7: PUSH2 0x25af
000025aa: JUMPI
000025ab: PUSH1 0x00
000025ad: DUP1
000025ae: REVERT
000025af: JUMPDEST
000025b0: POP
000025b1: POP
000025b2: DUP2
000025b3: CALLDATALOAD
000025b4: SWAP4
000025b5: PUSH1 0x20
000025b7: DUP4
000025b8: ADD
000025b9: CALLDATALOAD
000025ba: SWAP4
000025bb: POP
000025bc: PUSH1 0x40
000025be: SWAP1
000025bf: SWAP3
000025c0: ADD
000025c1: CALLDATALOAD
000025c2: SWAP2
000025c3: SWAP1
000025c4: POP
000025c5: JUMP
000025c6: JUMPDEST
000025c7: PUSH1 0x00
000025c9: PUSH1 0x20
000025cb: DUP3
000025cc: DUP5
000025cd: SUB
000025ce: SLT
000025cf: ISZERO
000025d0: PUSH2 0x25d8
000025d3: JUMPI
000025d4: PUSH1 0x00
000025d6: DUP1
000025d7: REVERT
000025d8: JUMPDEST
000025d9: DUP2
000025da: CALLDATALOAD
000025db: PUSH4 0xffffffff
000025e0: DUP2
000025e1: AND
000025e2: DUP2
000025e3: EQ
000025e4: PUSH2 0x1d4c
000025e7: JUMPI
000025e8: PUSH1 0x00
000025ea: DUP1
000025eb: REVERT
000025ec: JUMPDEST
000025ed: PUSH1 0x00
000025ef: PUSH1 0x20
000025f1: DUP3
000025f2: DUP5
000025f3: SUB
000025f4: SLT
000025f5: ISZERO
000025f6: PUSH2 0x25fe
000025f9: JUMPI
000025fa: PUSH1 0x00
000025fc: DUP1
000025fd: REVERT
000025fe: JUMPDEST
000025ff: POP
00002600: CALLDATALOAD
00002601: SWAP2
00002602: SWAP1
00002603: POP
00002604: JUMP
00002605: JUMPDEST
00002606: PUSH1 0x00
00002608: DUP1
00002609: PUSH1 0x40
0000260b: DUP4
0000260c: DUP6
0000260d: SUB
0000260e: SLT
0000260f: ISZERO
00002610: PUSH2 0x2618
00002613: JUMPI
00002614: PUSH1 0x00
00002616: DUP1
00002617: REVERT
00002618: JUMPDEST
00002619: DUP3
0000261a: CALLDATALOAD
0000261b: PUSH2 0x2623
0000261e: DUP2
0000261f: PUSH2 0x2568
00002622: JUMP
00002623: JUMPDEST
00002624: SWAP5
00002625: PUSH1 0x20
00002627: SWAP4
00002628: SWAP1
00002629: SWAP4
0000262a: ADD
0000262b: CALLDATALOAD
0000262c: SWAP4
0000262d: POP
0000262e: POP
0000262f: POP
00002630: JUMP
00002631: JUMPDEST
00002632: PUSH1 0x00
00002634: PUSH1 0x20
00002636: DUP3
00002637: DUP5
00002638: SUB
00002639: SLT
0000263a: ISZERO
0000263b: PUSH2 0x2643
0000263e: JUMPI
0000263f: PUSH1 0x00
00002641: DUP1
00002642: REVERT
00002643: JUMPDEST
00002644: DUP2
00002645: CALLDATALOAD
00002646: PUSH8 0xffffffffffffffff
0000264f: DUP2
00002650: AND
00002651: DUP2
00002652: EQ
00002653: PUSH2 0x1d4c
00002656: JUMPI
00002657: PUSH1 0x00
00002659: DUP1
0000265a: REVERT
0000265b: JUMPDEST
0000265c: PUSH1 0x00
0000265e: PUSH1 0x20
00002660: DUP3
00002661: DUP5
00002662: SUB
00002663: SLT
00002664: ISZERO
00002665: PUSH2 0x266d
00002668: JUMPI
00002669: PUSH1 0x00
0000266b: DUP1
0000266c: REVERT
0000266d: JUMPDEST
0000266e: DUP2
0000266f: CALLDATALOAD
00002670: PUSH2 0xffff
00002673: DUP2
00002674: AND
00002675: DUP2
00002676: EQ
00002677: PUSH2 0x1d4c
0000267a: JUMPI
0000267b: PUSH1 0x00
0000267d: DUP1
0000267e: REVERT
0000267f: JUMPDEST
00002680: PUSH1 0x00
00002682: DUP1
00002683: PUSH1 0x40
00002685: DUP4
00002686: DUP6
00002687: SUB
00002688: SLT
00002689: ISZERO
0000268a: PUSH2 0x2692
0000268d: JUMPI
0000268e: PUSH1 0x00
00002690: DUP1
00002691: REVERT
00002692: JUMPDEST
00002693: DUP3
00002694: CALLDATALOAD
00002695: SWAP2
00002696: POP
00002697: PUSH1 0x20
00002699: DUP4
0000269a: ADD
0000269b: CALLDATALOAD
0000269c: PUSH2 0x26a4
0000269f: DUP2
000026a0: PUSH2 0x2568
000026a3: JUMP
000026a4: JUMPDEST
000026a5: DUP1
000026a6: SWAP2
000026a7: POP
000026a8: POP
000026a9: SWAP3
000026aa: POP
000026ab: SWAP3
000026ac: SWAP1
000026ad: POP
000026ae: JUMP
000026af: JUMPDEST
000026b0: PUSH1 0x20
000026b2: DUP1
000026b3: DUP3
000026b4: MSTORE
000026b5: PUSH1 0x10
000026b7: SWAP1
000026b8: DUP3
000026b9: ADD
000026ba: MSTORE
000026bb: PUSH16 0x14185d5cd8589b194e881c185d5cd959
000026cc: PUSH1 0x82
000026ce: SHL
000026cf: PUSH1 0x40
000026d1: DUP3
000026d2: ADD
000026d3: MSTORE
000026d4: PUSH1 0x60
000026d6: ADD
000026d7: SWAP1
000026d8: JUMP
000026d9: JUMPDEST
000026da: PUSH1 0x20
000026dc: DUP1
000026dd: DUP3
000026de: MSTORE
000026df: PUSH1 0x1a
000026e1: SWAP1
000026e2: DUP3
000026e3: ADD
000026e4: MSTORE
000026e5: PUSH32 0x41756374696f6e206861736e2774207374617274656420796574000000000000
00002706: PUSH1 0x40
00002708: DUP3
00002709: ADD
0000270a: MSTORE
0000270b: PUSH1 0x60
0000270d: ADD
0000270e: SWAP1
0000270f: JUMP
00002710: JUMPDEST
00002711: PUSH4 0x4e487b71
00002716: PUSH1 0xe0
00002718: SHL
00002719: PUSH1 0x00
0000271b: MSTORE
0000271c: PUSH1 0x11
0000271e: PUSH1 0x04
00002720: MSTORE
00002721: PUSH1 0x24
00002723: PUSH1 0x00
00002725: REVERT
00002726: JUMPDEST
00002727: PUSH1 0x00
00002729: PUSH1 0x01
0000272b: PUSH1 0x01
0000272d: PUSH1 0x80
0000272f: SHL
00002730: SUB
00002731: DUP1
00002732: DUP4
00002733: AND
00002734: DUP2
00002735: DUP6
00002736: AND
00002737: DUP2
00002738: DUP4
00002739: DIV
0000273a: DUP2
0000273b: GT
0000273c: DUP3
0000273d: ISZERO
0000273e: ISZERO
0000273f: AND
00002740: ISZERO
00002741: PUSH2 0x274c
00002744: JUMPI
00002745: PUSH2 0x274c
00002748: PUSH2 0x2710
0000274b: JUMP
0000274c: JUMPDEST
0000274d: MUL
0000274e: SWAP5
0000274f: SWAP4
00002750: POP
00002751: POP
00002752: POP
00002753: POP
00002754: JUMP
00002755: JUMPDEST
00002756: PUSH1 0x00
00002758: DUP3
00002759: NOT
0000275a: DUP3
0000275b: GT
0000275c: ISZERO
0000275d: PUSH2 0x2768
00002760: JUMPI
00002761: PUSH2 0x2768
00002764: PUSH2 0x2710
00002767: JUMP
00002768: JUMPDEST
00002769: POP
0000276a: ADD
0000276b: SWAP1
0000276c: JUMP
0000276d: JUMPDEST
0000276e: PUSH1 0x00
00002770: PUSH1 0x01
00002772: DUP3
00002773: ADD
00002774: PUSH2 0x277f
00002777: JUMPI
00002778: PUSH2 0x277f
0000277b: PUSH2 0x2710
0000277e: JUMP
0000277f: JUMPDEST
00002780: POP
00002781: PUSH1 0x01
00002783: ADD
00002784: SWAP1
00002785: JUMP
00002786: JUMPDEST
00002787: PUSH1 0x20
00002789: DUP1
0000278a: DUP3
0000278b: MSTORE
0000278c: DUP2
0000278d: DUP2
0000278e: ADD
0000278f: MSTORE
00002790: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000027b1: PUSH1 0x40
000027b3: DUP3
000027b4: ADD
000027b5: MSTORE
000027b6: PUSH1 0x60
000027b8: ADD
000027b9: SWAP1
000027ba: JUMP
000027bb: JUMPDEST
000027bc: PUSH1 0x20
000027be: DUP1
000027bf: DUP3
000027c0: MSTORE
000027c1: PUSH1 0x19
000027c3: SWAP1
000027c4: DUP3
000027c5: ADD
000027c6: MSTORE
000027c7: PUSH32 0x41756374696f6e2068617320616c726561647920656e64656400000000000000
000027e8: PUSH1 0x40
000027ea: DUP3
000027eb: ADD
000027ec: MSTORE
000027ed: PUSH1 0x60
000027ef: ADD
000027f0: SWAP1
000027f1: JUMP
000027f2: JUMPDEST
000027f3: PUSH1 0x00
000027f5: DUP2
000027f6: PUSH1 0x00
000027f8: NOT
000027f9: DIV
000027fa: DUP4
000027fb: GT
000027fc: DUP3
000027fd: ISZERO
000027fe: ISZERO
000027ff: AND
00002800: ISZERO
00002801: PUSH2 0x280c
00002804: JUMPI
00002805: PUSH2 0x280c
00002808: PUSH2 0x2710
0000280b: JUMP
0000280c: JUMPDEST
0000280d: POP
0000280e: MUL
0000280f: SWAP1
00002810: JUMP
00002811: JUMPDEST
00002812: PUSH1 0x00
00002814: DUP3
00002815: PUSH2 0x282e
00002818: JUMPI
00002819: PUSH4 0x4e487b71
0000281e: PUSH1 0xe0
00002820: SHL
00002821: PUSH1 0x00
00002823: MSTORE
00002824: PUSH1 0x12
00002826: PUSH1 0x04
00002828: MSTORE
00002829: PUSH1 0x24
0000282b: PUSH1 0x00
0000282d: REVERT
0000282e: JUMPDEST
0000282f: POP
00002830: MOD
00002831: SWAP1
00002832: JUMP
00002833: JUMPDEST
00002834: PUSH4 0x4e487b71
00002839: PUSH1 0xe0
0000283b: SHL
0000283c: PUSH1 0x00
0000283e: MSTORE
0000283f: PUSH1 0x32
00002841: PUSH1 0x04
00002843: MSTORE
00002844: PUSH1 0x24
00002846: PUSH1 0x00
00002848: REVERT
00002849: JUMPDEST
0000284a: PUSH1 0x80
0000284c: DUP2
0000284d: MSTORE
0000284e: PUSH1 0x00
00002850: PUSH2 0x286d
00002853: PUSH1 0x80
00002855: DUP4
00002856: ADD
00002857: PUSH1 0x04
00002859: DUP2
0000285a: MSTORE
0000285b: PUSH4 0x54696d65
00002860: PUSH1 0xe0
00002862: SHL
00002863: PUSH1 0x20
00002865: DUP3
00002866: ADD
00002867: MSTORE
00002868: PUSH1 0x40
0000286a: ADD
0000286b: SWAP1
0000286c: JUMP
0000286d: JUMPDEST
0000286e: DUP5
0000286f: PUSH1 0x20
00002871: DUP5
00002872: ADD
00002873: MSTORE
00002874: DUP4
00002875: PUSH1 0x40
00002877: DUP5
00002878: ADD
00002879: MSTORE
0000287a: DUP3
0000287b: DUP2
0000287c: SUB
0000287d: PUSH1 0x60
0000287f: DUP5
00002880: ADD
00002881: MSTORE
00002882: PUSH1 0x16
00002884: DUP2
00002885: MSTORE
00002886: PUSH22 0x52616e646f6d20456e643a20656e64696e67206e6f77
0000289d: PUSH1 0x50
0000289f: SHL
000028a0: PUSH1 0x20
000028a2: DUP3
000028a3: ADD
000028a4: MSTORE
000028a5: PUSH1 0x40
000028a7: DUP2
000028a8: ADD
000028a9: SWAP2
000028aa: POP
000028ab: POP
000028ac: SWAP4
000028ad: SWAP3
000028ae: POP
000028af: POP
000028b0: POP
000028b1: JUMP
000028b2: JUMPDEST
000028b3: PUSH1 0x80
000028b5: DUP2
000028b6: MSTORE
000028b7: PUSH1 0x00
000028b9: PUSH2 0x28d6
000028bc: PUSH1 0x80
000028be: DUP4
000028bf: ADD
000028c0: PUSH1 0x04
000028c2: DUP2
000028c3: MSTORE
000028c4: PUSH4 0x54696d65
000028c9: PUSH1 0xe0
000028cb: SHL
000028cc: PUSH1 0x20
000028ce: DUP3
000028cf: ADD
000028d0: MSTORE
000028d1: PUSH1 0x40
000028d3: ADD
000028d4: SWAP1
000028d5: JUMP
000028d6: JUMPDEST
000028d7: DUP5
000028d8: PUSH1 0x20
000028da: DUP5
000028db: ADD
000028dc: MSTORE
000028dd: DUP4
000028de: PUSH1 0x40
000028e0: DUP5
000028e1: ADD
000028e2: MSTORE
000028e3: DUP3
000028e4: DUP2
000028e5: SUB
000028e6: PUSH1 0x60
000028e8: DUP5
000028e9: ADD
000028ea: MSTORE
000028eb: PUSH1 0x16
000028ed: DUP2
000028ee: MSTORE
000028ef: PUSH22 0x52616e646f6d20456e643a20636f6e74696e75696e67
00002906: PUSH1 0x50
00002908: SHL
00002909: PUSH1 0x20
0000290b: DUP3
0000290c: ADD
0000290d: MSTORE
0000290e: PUSH1 0x40
00002910: DUP2
00002911: ADD
00002912: SWAP2
00002913: POP
00002914: POP
00002915: SWAP4
00002916: SWAP3
00002917: POP
00002918: POP
00002919: POP
0000291a: JUMP
0000291b: JUMPDEST
0000291c: PUSH1 0x00
0000291e: DUP3
0000291f: DUP3
00002920: LT
00002921: ISZERO
00002922: PUSH2 0x292d
00002925: JUMPI
00002926: PUSH2 0x292d
00002929: PUSH2 0x2710
0000292c: JUMP
0000292d: JUMPDEST
0000292e: POP
0000292f: SUB
00002930: SWAP1
00002931: JUMP
00002932: JUMPDEST
00002933: PUSH1 0x00
00002935: PUSH1 0x20
00002937: DUP3
00002938: DUP5
00002939: SUB
0000293a: SLT
0000293b: ISZERO
0000293c: PUSH2 0x2944
0000293f: JUMPI
00002940: PUSH1 0x00
00002942: DUP1
00002943: REVERT
00002944: JUMPDEST
00002945: POP
00002946: MLOAD
00002947: SWAP2
00002948: SWAP1
00002949: POP
0000294a: JUMP
0000294b: JUMPDEST
0000294c: PUSH1 0x00
0000294e: PUSH1 0x20
00002950: DUP3
00002951: DUP5
00002952: SUB
00002953: SLT
00002954: ISZERO
00002955: PUSH2 0x295d
00002958: JUMPI
00002959: PUSH1 0x00
0000295b: DUP1
0000295c: REVERT
0000295d: JUMPDEST
0000295e: DUP2
0000295f: MLOAD
00002960: DUP1
00002961: ISZERO
00002962: ISZERO
00002963: DUP2
00002964: EQ
00002965: PUSH2 0x1d4c
00002968: JUMPI
00002969: PUSH1 0x00
0000296b: DUP1
0000296c: REVERT
0000296d: JUMPDEST
0000296e: PUSH1 0x00
00002970: JUMPDEST
00002971: DUP4
00002972: DUP2
00002973: LT
00002974: ISZERO
00002975: PUSH2 0x2988
00002978: JUMPI
00002979: DUP2
0000297a: DUP2
0000297b: ADD
0000297c: MLOAD
0000297d: DUP4
0000297e: DUP3
0000297f: ADD
00002980: MSTORE
00002981: PUSH1 0x20
00002983: ADD
00002984: PUSH2 0x2970
00002987: JUMP
00002988: JUMPDEST
00002989: DUP4
0000298a: DUP2
0000298b: GT
0000298c: ISZERO
0000298d: PUSH2 0x2997
00002990: JUMPI
00002991: PUSH1 0x00
00002993: DUP5
00002994: DUP5
00002995: ADD
00002996: MSTORE
00002997: JUMPDEST
00002998: POP
00002999: POP
0000299a: POP
0000299b: POP
0000299c: JUMP
0000299d: JUMPDEST
0000299e: PUSH1 0x00
000029a0: DUP3
000029a1: MLOAD
000029a2: PUSH2 0x29af
000029a5: DUP2
000029a6: DUP5
000029a7: PUSH1 0x20
000029a9: DUP8
000029aa: ADD
000029ab: PUSH2 0x296d
000029ae: JUMP
000029af: JUMPDEST
000029b0: SWAP2
000029b1: SWAP1
000029b2: SWAP2
000029b3: ADD
000029b4: SWAP3
000029b5: SWAP2
000029b6: POP
000029b7: POP
000029b8: JUMP
000029b9: JUMPDEST
000029ba: PUSH1 0x20
000029bc: DUP2
000029bd: MSTORE
000029be: PUSH1 0x00
000029c0: DUP3
000029c1: MLOAD
000029c2: DUP1
000029c3: PUSH1 0x20
000029c5: DUP5
000029c6: ADD
000029c7: MSTORE
000029c8: PUSH2 0x29d8
000029cb: DUP2
000029cc: PUSH1 0x40
000029ce: DUP6
000029cf: ADD
000029d0: PUSH1 0x20
000029d2: DUP8
000029d3: ADD
000029d4: PUSH2 0x296d
000029d7: JUMP
000029d8: JUMPDEST
000029d9: PUSH1 0x1f
000029db: ADD
000029dc: PUSH1 0x1f
000029de: NOT
000029df: AND
000029e0: SWAP2
000029e1: SWAP1
000029e2: SWAP2
000029e3: ADD
000029e4: PUSH1 0x40
000029e6: ADD
000029e7: SWAP3
000029e8: SWAP2
000029e9: POP
000029ea: POP
000029eb: JUMP
000029ec: INVALID
000029ed: LOG2
000029ee: PUSH5 0x6970667358
000029f4: UNKNOWN(0x22)
000029f5: SLT
000029f6: KECCAK256
000029f7: UNKNOWN(0xBC)
000029f8: UNKNOWN(0xD9)
000029f9: JUMPI
000029fa: TIMESTAMP
000029fb: RETURNDATACOPY
000029fc: CALLDATASIZE
000029fd: CHAINID
000029fe: UNKNOWN(0x29)
000029ff: STATICCALL
00002a00: UNKNOWN(0x4F)
00002a01: UNKNOWN(0xB7)
00002a02: LOG4
00002a03: UNKNOWN(0xDD)
00002a04: SMOD
00002a05: UNKNOWN(0xD4)
00002a06: UNKNOWN(0x21)
00002a07: UNKNOWN(0x4E)
00002a08: UNKNOWN(0xD9)
00002a09: EXTCODESIZE
00002a0a: BLOBBASEFEE
00002a0b: TSTORE
00002a0c: UNKNOWN(0xC5)
00002a0d: UNKNOWN(0xDC)
00002a0e: UNKNOWN(0xB8)
00002a0f: UNKNOWN(0x0C)
00002a10: MSTORE8
00002a11: DELEGATECALL
00002a12: LOG4
00002a13: SWAP2
00002a14: PUSH7 0x98de64736f6c63
00002a1c: NUMBER
00002a1d: STOP
00002a1e: ADDMOD
00002a1f: UNKNOWN(0x0F)
00002a20: STOP
00002a21: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0x28f125644268495f1168b42a95dea99d3e2b6f86884d9e22f996ef0af9065b6f
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0x28f125644268495f1168b42a95dea99d3e2b6f86884d9e22f996ef0af9065b6f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "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": "0xeedcf574",
            "selector": "0xeedcf574",
            "calldata_variants": [
                "0xeedcf574",
                "0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf14210a6",
            "selector": "0xf14210a6",
            "calldata_variants": [
                "0xf14210a6",
                "0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf624af15",
            "selector": "0xf624af15",
            "calldata_variants": [
                "0xf624af15",
                "0xf624af150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9f486d7",
            "selector": "0xf9f486d7",
            "calldata_variants": [
                "0xf9f486d7",
                "0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe67a54b",
            "selector": "0xfe67a54b",
            "calldata_variants": [
                "0xfe67a54b",
                "0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe0549211",
            "selector": "0xe0549211",
            "calldata_variants": [
                "0xe0549211",
                "0xe05492110000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe283a8b8",
            "selector": "0xe283a8b8",
            "calldata_variants": [
                "0xe283a8b8",
                "0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 10769,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961
call_targets: 0x1ecb59aecf1fc5da695242c6e78c2007e775d40f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ecb59aecf1fc5da695242c6e78c2007e775d40f"
    ],
    "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": "0xeedcf574",
            "selector": "0xeedcf574",
            "calldata_variants": [
                "0xeedcf574",
                "0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf14210a6",
            "selector": "0xf14210a6",
            "calldata_variants": [
                "0xf14210a6",
                "0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf624af15",
            "selector": "0xf624af15",
            "calldata_variants": [
                "0xf624af15",
                "0xf624af150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9f486d7",
            "selector": "0xf9f486d7",
            "calldata_variants": [
                "0xf9f486d7",
                "0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe67a54b",
            "selector": "0xfe67a54b",
            "calldata_variants": [
                "0xfe67a54b",
                "0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe0549211",
            "selector": "0xe0549211",
            "calldata_variants": [
                "0xe0549211",
                "0xe05492110000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe283a8b8",
            "selector": "0xe283a8b8",
            "calldata_variants": [
                "0xe283a8b8",
                "0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3465,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6062,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6669,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 5,
    "guards_detected": [],
    "untrusted_call_count": 5
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961
call_targets: 0x1ecb59aecf1fc5da695242c6e78c2007e775d40f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ecb59aecf1fc5da695242c6e78c2007e775d40f"
    ],
    "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": "0xeedcf574",
            "selector": "0xeedcf574",
            "calldata_variants": [
                "0xeedcf574",
                "0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf14210a6",
            "selector": "0xf14210a6",
            "calldata_variants": [
                "0xf14210a6",
                "0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf624af15",
            "selector": "0xf624af15",
            "calldata_variants": [
                "0xf624af15",
                "0xf624af150000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf9f486d7",
            "selector": "0xf9f486d7",
            "calldata_variants": [
                "0xf9f486d7",
                "0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfe67a54b",
            "selector": "0xfe67a54b",
            "calldata_variants": [
                "0xfe67a54b",
                "0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe0549211",
            "selector": "0xe0549211",
            "calldata_variants": [
                "0xe0549211",
                "0xe05492110000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe283a8b8",
            "selector": "0xe283a8b8",
            "calldata_variants": [
                "0xe283a8b8",
                "0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3465,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6062,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 6669,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 5,
    "guards_detected": []
}
medium upgradeability cast DELEGATECALL present 80 no
view
evidence_json
{
    "notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
    "delegatecall_count": 1
}