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

Analysis Run

656aa1d1-5be0-4320-8fa3-0bdc15d48cb8

failed
Chain ID
1
Address
Block Number
Created
Thu, Jan 1, 2026 12:29 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
Authorization based on tx.origin
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
30992 report.consolidate complete 1 / 1 3 months ago
94963 artifact.fetch failed 1 / 3 1 week ago
94964 tool.cast_disasm complete 1 / 3 1 week ago
94965 analysis.bundle complete 1 / 3 1 week ago
94966 capability.graph complete 1 / 3 1 week ago
94967 detector.run complete 1 / 3 1 week ago
94968 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 profit paths identified in the provided sources.
View stderr
[codex:481151] OpenAI Codex v0.77.0 (research preview)
[codex:481151] --------
[codex:481151] workdir: /tmp/codex-multi-a58xiaqk
[codex:481151] model: gpt-5.2-codex
[codex:481151] provider: openai
[codex:481151] approval: never
[codex:481151] sandbox: read-only
[codex:481151] reasoning effort: xhigh
[codex:481151] reasoning summaries: auto
[codex:481151] session id: 019b76f1-d57c-7381-89ca-028fe492684d
[codex:481151] --------
[codex:481151] user
[codex:481151] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:481151] 
[codex:481151] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:481151] 
[codex:481151] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:481151] - Gas inefficiency, code quality, naming, or best practices
[codex:481151] - Theoretical vulnerabilities without a clear extraction path
[codex:481151] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:481151] - Front-running unless it enables theft beyond MEV
[codex:481151] - DoS, griefing, or issues that don't result in attacker profit
[codex:481151] - Missing events, view function issues, or informational findings
[codex:481151] 
[codex:481151] HIGH-VALUE PATTERNS TO HUNT:
[codex:481151] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:481151] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:481151] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:481151] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:481151] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:481151] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:481151] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:481151] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:481151] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:481151] 
[codex:481151] For each finding, you MUST provide:
[codex:481151] 1. Exact file and line numbers of vulnerable code
[codex:481151] 2. Step-by-step exploit transaction sequence
[codex:481151] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:481151] 
[codex:481151] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:481151] 
[codex:481151] Output MUST be valid JSON matching the provided schema.
[codex:481151] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:481151] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:481151] mcp startup: no servers
[codex:481151] 
[codex:481151] thinking
[codex:481151] **Preparing to read AUDIT_BUNDLE.txt**
[codex:481151] exec
[codex:481151] /bin/bash -lc ls in /tmp/codex-multi-a58xiaqk succeeded in 6ms:
[codex:481151] AUDIT_BUNDLE.txt
[codex:481151] codex-output-schema.json
[codex:481151] contracts
[codex:481151] exec
[codex:481151] /bin/bash -lc 'rg --files' in /tmp/codex-multi-a58xiaqk succeeded in 9ms:
[codex:481151] codex-output-schema.json
[codex:481151] AUDIT_BUNDLE.txt
[codex:481151] contracts/Contract.sol
[codex:481151] exec
[codex:481151] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-a58xiaqk succeeded in 5ms:
[codex:481151] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:481151] 
[codex:481151] ================================================================================
[codex:481151] FILE: contracts/Contract.sol
[codex:481151] ================================================================================
[codex:481151] /*
[codex:481151]    ____            __   __        __   _
[codex:481151]   / __/__ __ ___  / /_ / /  ___  / /_ (_)__ __
[codex:481151]  _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:481151] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:481151]      /___/
[codex:481151] 
[codex:481151] * Synthetix: YFIRewards.sol
[codex:481151] *
[codex:481151] * Docs: https://docs.synthetix.io/
[codex:481151] *
[codex:481151] *
[codex:481151] * MIT License
[codex:481151] * ===========
[codex:481151] *
[codex:481151] 
[codex:481151] 
[codex:481151] 
[codex:481151] 
[codex:481151] thinking
[codex:481151] **Analyzing staking rewards contract for exploits**
[codex:481151] 
[codex:481151] I'm carefully examining the staking rewards contract to find possible attack paths that yield concrete profit, focusing on reward calculations, minting logic, reentrancy risks, access controls, and token interactions; I'm skeptical about bypassing contract restrictions, reentrancy via token mint calls, and reward manipulation, but no clear exploitable vulnerability emerges despite intricate checks.
[codex:481151] thinking
[codex:481151] **Detecting reward calculation initialization flaw**
[codex:481151] 
[codex:481151] I’m exploring a critical bug where the reward calculation’s last update time starts at zero, causing an enormous time delta that massively inflates rewards far beyond minted tokens, potentially breaking withdrawals or reward distribution due to impossible payouts. This looks like a serious initialization issue that wouldn’t directly give attackers profit but could disrupt the contract’s economics.
[codex:481151] thinking
[codex:481151] **Evaluating reward minting and withdrawal constraints**
[codex:481151] 
[codex:481151] I’m carefully weighing if the huge inflated rewards from the zero lastUpdateTime bug can be cashed out considering the contract’s fixed minted YFV supply and balance limits; while withdrawals might succeed despite reward inflation, actual reward claims would revert if rewards exceed contract balance, making true profit unlikely but opening denial-of-service risks and inheritance of large owed rewards dependent on staking distribution.
[codex:481151] thinking
[codex:481151] **Analyzing reward claim mechanics and potential exploits**
[codex:481151] 
[codex:481151] I'm carefully verifying how the reward calculation and claiming process interacts with the zero lastUpdateTime bug, confirming the huge initial reward bug occurs only once and that reward claims will revert if the contract lacks sufficient YFV balance. I’m exploring if partial claims or other functions like withdraw could bypass this, but none seem profitable, with most paths leading to denial-of-service rather than token extraction. Possible external token vulnerabilities remain outside this contract’s scope, so no direct exploit appears feasible here.
[codex:481151] codex
[codex:481151] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:481151] tokens used
[codex:481151] 26,122
[codex:481151] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-01T00:29:23.242334+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
17
EXT*/BALANCE
17
Total opcodes
7083
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x0381
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7b0a47ee
00000026: GT
00000027: PUSH2 0x01de
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc8333bb2
00000031: GT
00000032: PUSH2 0x010f
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe9b46e6d
0000003c: GT
0000003d: PUSH2 0x00ad
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xf2fde38b
00000047: GT
00000048: PUSH2 0x007c
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf2fde38b
00000052: EQ
00000053: PUSH2 0x07ce
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf3fef3a3
0000005d: EQ
0000005e: PUSH2 0x07f4
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf7888aec
00000068: EQ
00000069: PUSH2 0x0820
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xffe48902
00000073: EQ
00000074: PUSH2 0x084e
00000077: JUMPI
00000078: PUSH2 0x0381
0000007b: JUMP
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0xe9b46e6d
00000083: EQ
00000084: PUSH2 0x0772
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xe9fad8ee
0000008e: EQ
0000008f: PUSH2 0x0798
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xeb504614
00000099: EQ
0000009a: PUSH2 0x07a0
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xebe2b12b
000000a4: EQ
000000a5: PUSH2 0x07c6
000000a8: JUMPI
000000a9: PUSH2 0x0381
000000ac: JUMP
000000ad: JUMPDEST
000000ae: DUP1
000000af: PUSH4 0xdc8d3683
000000b4: GT
000000b5: PUSH2 0x00e9
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xdc8d3683
000000bf: EQ
000000c0: PUSH2 0x0734
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xdf136d65
000000ca: EQ
000000cb: PUSH2 0x073c
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xe4dc2aa4
000000d5: EQ
000000d6: PUSH2 0x0744
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xe68e035b
000000e0: EQ
000000e1: PUSH2 0x076a
000000e4: JUMPI
000000e5: PUSH2 0x0381
000000e8: JUMP
000000e9: JUMPDEST
000000ea: DUP1
000000eb: PUSH4 0xc8333bb2
000000f0: EQ
000000f1: PUSH2 0x071c
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0xc8f33c91
000000fb: EQ
000000fc: PUSH2 0x0724
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0xcd3daf9d
00000106: EQ
00000107: PUSH2 0x072c
0000010a: JUMPI
0000010b: PUSH2 0x0381
0000010e: JUMP
0000010f: JUMPDEST
00000110: DUP1
00000111: PUSH4 0x98309e3d
00000116: GT
00000117: PUSH2 0x017c
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xaa5a0d5e
00000121: GT
00000122: PUSH2 0x0156
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xaa5a0d5e
0000012c: EQ
0000012d: PUSH2 0x06de
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xb3d673d8
00000137: EQ
00000138: PUSH2 0x06e6
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xb591d3a5
00000142: EQ
00000143: PUSH2 0x06ee
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xc3dee20b
0000014d: EQ
0000014e: PUSH2 0x0714
00000151: JUMPI
00000152: PUSH2 0x0381
00000155: JUMP
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x98309e3d
0000015d: EQ
0000015e: PUSH2 0x06a8
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x9c907b58
00000168: EQ
00000169: PUSH2 0x06ce
0000016c: JUMPI
0000016d: DUP1
0000016e: PUSH4 0xa457536c
00000173: EQ
00000174: PUSH2 0x06d6
00000177: JUMPI
00000178: PUSH2 0x0381
0000017b: JUMP
0000017c: JUMPDEST
0000017d: DUP1
0000017e: PUSH4 0x8b876347
00000183: GT
00000184: PUSH2 0x01b8
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x8b876347
0000018e: EQ
0000018f: PUSH2 0x066a
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x8da58897
00000199: EQ
0000019a: PUSH2 0x0690
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x8da5cb5b
000001a4: EQ
000001a5: PUSH2 0x0698
000001a8: JUMPI
000001a9: DUP1
000001aa: PUSH4 0x8f32d59b
000001af: EQ
000001b0: PUSH2 0x06a0
000001b3: JUMPI
000001b4: PUSH2 0x0381
000001b7: JUMP
000001b8: JUMPDEST
000001b9: DUP1
000001ba: PUSH4 0x7b0a47ee
000001bf: EQ
000001c0: PUSH2 0x0652
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x80ad3008
000001ca: EQ
000001cb: PUSH2 0x065a
000001ce: JUMPI
000001cf: DUP1
000001d0: PUSH4 0x80faa57d
000001d5: EQ
000001d6: PUSH2 0x0662
000001d9: JUMPI
000001da: PUSH2 0x0381
000001dd: JUMP
000001de: JUMPDEST
000001df: DUP1
000001e0: PUSH4 0x2f38c8a1
000001e5: GT
000001e6: PUSH2 0x02b8
000001e9: JUMPI
000001ea: DUP1
000001eb: PUSH4 0x53220a42
000001f0: GT
000001f1: PUSH2 0x0256
000001f4: JUMPI
000001f5: DUP1
000001f6: PUSH4 0x6a46d059
000001fb: GT
000001fc: PUSH2 0x0230
000001ff: JUMPI
00000200: DUP1
00000201: PUSH4 0x6a46d059
00000206: EQ
00000207: PUSH2 0x061d
0000020a: JUMPI
0000020b: DUP1
0000020c: PUSH4 0x715018a6
00000211: EQ
00000212: PUSH2 0x063a
00000215: JUMPI
00000216: DUP1
00000217: PUSH4 0x7318a730
0000021c: EQ
0000021d: PUSH2 0x0642
00000220: JUMPI
00000221: DUP1
00000222: PUSH4 0x79a7d1be
00000227: EQ
00000228: PUSH2 0x064a
0000022b: JUMPI
0000022c: PUSH2 0x0381
0000022f: JUMP
00000230: JUMPDEST
00000231: DUP1
00000232: PUSH4 0x53220a42
00000237: EQ
00000238: PUSH2 0x05d3
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x541dbe9f
00000242: EQ
00000243: PUSH2 0x05db
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x67b37b7a
0000024d: EQ
0000024e: PUSH2 0x05e3
00000251: JUMPI
00000252: PUSH2 0x0381
00000255: JUMP
00000256: JUMPDEST
00000257: DUP1
00000258: PUSH4 0x3d62bbe1
0000025d: GT
0000025e: PUSH2 0x0292
00000261: JUMPI
00000262: DUP1
00000263: PUSH4 0x3d62bbe1
00000268: EQ
00000269: PUSH2 0x0562
0000026c: JUMPI
0000026d: DUP1
0000026e: PUSH4 0x3f7b06d8
00000273: EQ
00000274: PUSH2 0x0588
00000277: JUMPI
00000278: DUP1
00000279: PUSH4 0x41c5c207
0000027e: EQ
0000027f: PUSH2 0x05ae
00000282: JUMPI
00000283: DUP1
00000284: PUSH4 0x4d286a3d
00000289: EQ
0000028a: PUSH2 0x05cb
0000028d: JUMPI
0000028e: PUSH2 0x0381
00000291: JUMP
00000292: JUMPDEST
00000293: DUP1
00000294: PUSH4 0x2f38c8a1
00000299: EQ
0000029a: PUSH2 0x0517
0000029d: JUMPI
0000029e: DUP1
0000029f: PUSH4 0x3c6b16ab
000002a4: EQ
000002a5: PUSH2 0x053d
000002a8: JUMPI
000002a9: DUP1
000002aa: PUSH4 0x3d18b912
000002af: EQ
000002b0: PUSH2 0x055a
000002b3: JUMPI
000002b4: PUSH2 0x0381
000002b7: JUMP
000002b8: JUMPDEST
000002b9: DUP1
000002ba: PUSH4 0x13eb6c88
000002bf: GT
000002c0: PUSH2 0x0325
000002c3: JUMPI
000002c4: DUP1
000002c5: PUSH4 0x1d8a6d10
000002ca: GT
000002cb: PUSH2 0x02ff
000002ce: JUMPI
000002cf: DUP1
000002d0: PUSH4 0x1d8a6d10
000002d5: EQ
000002d6: PUSH2 0x04b2
000002d9: JUMPI
000002da: DUP1
000002db: PUSH4 0x207e821d
000002e0: EQ
000002e1: PUSH2 0x04ba
000002e4: JUMPI
000002e5: DUP1
000002e6: PUSH4 0x294091cd
000002eb: EQ
000002ec: PUSH2 0x04c2
000002ef: JUMPI
000002f0: DUP1
000002f1: PUSH4 0x2e329bd3
000002f6: EQ
000002f7: PUSH2 0x04f8
000002fa: JUMPI
000002fb: PUSH2 0x0381
000002fe: JUMP
000002ff: JUMPDEST
00000300: DUP1
00000301: PUSH4 0x13eb6c88
00000306: EQ
00000307: PUSH2 0x047c
0000030a: JUMPI
0000030b: DUP1
0000030c: PUSH4 0x1961eaf9
00000311: EQ
00000312: PUSH2 0x0484
00000315: JUMPI
00000316: DUP1
00000317: PUSH4 0x1be05289
0000031c: EQ
0000031d: PUSH2 0x04aa
00000320: JUMPI
00000321: PUSH2 0x0381
00000324: JUMP
00000325: JUMPDEST
00000326: DUP1
00000327: PUSH4 0x0700037d
0000032c: GT
0000032d: PUSH2 0x0361
00000330: JUMPI
00000331: DUP1
00000332: PUSH4 0x0700037d
00000337: EQ
00000338: PUSH2 0x03ee
0000033b: JUMPI
0000033c: DUP1
0000033d: PUSH4 0x0cdb43c4
00000342: EQ
00000343: PUSH2 0x0414
00000346: JUMPI
00000347: DUP1
00000348: PUSH4 0x0d68b761
0000034d: EQ
0000034e: PUSH2 0x0438
00000351: JUMPI
00000352: DUP1
00000353: PUSH4 0x0fcfc6a8
00000358: EQ
00000359: PUSH2 0x045e
0000035c: JUMPI
0000035d: PUSH2 0x0381
00000360: JUMP
00000361: JUMPDEST
00000362: DUP1
00000363: PUSH3 0x2dcfb9
00000367: EQ
00000368: PUSH2 0x0386
0000036b: JUMPI
0000036c: DUP1
0000036d: PUSH3 0x8cc262
00000371: EQ
00000372: PUSH2 0x03ae
00000375: JUMPI
00000376: DUP1
00000377: PUSH4 0x04e01d87
0000037c: EQ
0000037d: PUSH2 0x03e6
00000380: JUMPI
00000381: JUMPDEST
00000382: PUSH1 0x00
00000384: DUP1
00000385: REVERT
00000386: JUMPDEST
00000387: PUSH2 0x03ac
0000038a: PUSH1 0x04
0000038c: DUP1
0000038d: CALLDATASIZE
0000038e: SUB
0000038f: PUSH1 0x20
00000391: DUP2
00000392: LT
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: CALLDATALOAD
0000039f: PUSH1 0x01
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: SHL
000003a6: SUB
000003a7: AND
000003a8: PUSH2 0x0874
000003ab: JUMP
000003ac: JUMPDEST
000003ad: STOP
000003ae: JUMPDEST
000003af: PUSH2 0x03d4
000003b2: PUSH1 0x04
000003b4: DUP1
000003b5: CALLDATASIZE
000003b6: SUB
000003b7: PUSH1 0x20
000003b9: DUP2
000003ba: LT
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: CALLDATALOAD
000003c7: PUSH1 0x01
000003c9: PUSH1 0x01
000003cb: PUSH1 0xa0
000003cd: SHL
000003ce: SUB
000003cf: AND
000003d0: PUSH2 0x08dd
000003d3: JUMP
000003d4: JUMPDEST
000003d5: PUSH1 0x40
000003d7: DUP1
000003d8: MLOAD
000003d9: SWAP2
000003da: DUP3
000003db: MSTORE
000003dc: MLOAD
000003dd: SWAP1
000003de: DUP2
000003df: SWAP1
000003e0: SUB
000003e1: PUSH1 0x20
000003e3: ADD
000003e4: SWAP1
000003e5: RETURN
000003e6: JUMPDEST
000003e7: PUSH2 0x03d4
000003ea: PUSH2 0x0963
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x03d4
000003f2: PUSH1 0x04
000003f4: DUP1
000003f5: CALLDATASIZE
000003f6: SUB
000003f7: PUSH1 0x20
000003f9: DUP2
000003fa: LT
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: CALLDATALOAD
00000407: PUSH1 0x01
00000409: PUSH1 0x01
0000040b: PUSH1 0xa0
0000040d: SHL
0000040e: SUB
0000040f: AND
00000410: PUSH2 0x0969
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x041c
00000418: PUSH2 0x097b
0000041b: JUMP
0000041c: JUMPDEST
0000041d: PUSH1 0x40
0000041f: DUP1
00000420: MLOAD
00000421: PUSH1 0x01
00000423: PUSH1 0x01
00000425: PUSH1 0xa0
00000427: SHL
00000428: SUB
00000429: SWAP1
0000042a: SWAP3
0000042b: AND
0000042c: DUP3
0000042d: MSTORE
0000042e: MLOAD
0000042f: SWAP1
00000430: DUP2
00000431: SWAP1
00000432: SUB
00000433: PUSH1 0x20
00000435: ADD
00000436: SWAP1
00000437: RETURN
00000438: JUMPDEST
00000439: PUSH2 0x03ac
0000043c: PUSH1 0x04
0000043e: DUP1
0000043f: CALLDATASIZE
00000440: SUB
00000441: PUSH1 0x20
00000443: DUP2
00000444: LT
00000445: ISZERO
00000446: PUSH2 0x044e
00000449: JUMPI
0000044a: PUSH1 0x00
0000044c: DUP1
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: CALLDATALOAD
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: AND
0000045a: PUSH2 0x098a
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0466
00000462: PUSH2 0x09f3
00000465: JUMP
00000466: JUMPDEST
00000467: PUSH1 0x40
00000469: DUP1
0000046a: MLOAD
0000046b: PUSH1 0xff
0000046d: SWAP1
0000046e: SWAP3
0000046f: AND
00000470: DUP3
00000471: MSTORE
00000472: MLOAD
00000473: SWAP1
00000474: DUP2
00000475: SWAP1
00000476: SUB
00000477: PUSH1 0x20
00000479: ADD
0000047a: SWAP1
0000047b: RETURN
0000047c: JUMPDEST
0000047d: PUSH2 0x03d4
00000480: PUSH2 0x09f8
00000483: JUMP
00000484: JUMPDEST
00000485: PUSH2 0x03ac
00000488: PUSH1 0x04
0000048a: DUP1
0000048b: CALLDATASIZE
0000048c: SUB
0000048d: PUSH1 0x20
0000048f: DUP2
00000490: LT
00000491: ISZERO
00000492: PUSH2 0x049a
00000495: JUMPI
00000496: PUSH1 0x00
00000498: DUP1
00000499: REVERT
0000049a: JUMPDEST
0000049b: POP
0000049c: CALLDATALOAD
0000049d: PUSH1 0x01
0000049f: PUSH1 0x01
000004a1: PUSH1 0xa0
000004a3: SHL
000004a4: SUB
000004a5: AND
000004a6: PUSH2 0x0a06
000004a9: JUMP
000004aa: JUMPDEST
000004ab: PUSH2 0x03d4
000004ae: PUSH2 0x0a6f
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH2 0x03ac
000004b6: PUSH2 0x0a76
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH2 0x03d4
000004be: PUSH2 0x0ba5
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x03ac
000004c6: PUSH1 0x04
000004c8: DUP1
000004c9: CALLDATASIZE
000004ca: SUB
000004cb: PUSH1 0x60
000004cd: DUP2
000004ce: LT
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH1 0x01
000004dc: PUSH1 0x01
000004de: PUSH1 0xa0
000004e0: SHL
000004e1: SUB
000004e2: DUP2
000004e3: CALLDATALOAD
000004e4: DUP2
000004e5: AND
000004e6: SWAP2
000004e7: PUSH1 0x20
000004e9: DUP2
000004ea: ADD
000004eb: CALLDATALOAD
000004ec: SWAP2
000004ed: PUSH1 0x40
000004ef: SWAP1
000004f0: SWAP2
000004f1: ADD
000004f2: CALLDATALOAD
000004f3: AND
000004f4: PUSH2 0x0bab
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH2 0x0500
000004fc: PUSH2 0x10c6
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: DUP1
00000504: MLOAD
00000505: PUSH2 0xffff
00000508: SWAP1
00000509: SWAP3
0000050a: AND
0000050b: DUP3
0000050c: MSTORE
0000050d: MLOAD
0000050e: SWAP1
0000050f: DUP2
00000510: SWAP1
00000511: SUB
00000512: PUSH1 0x20
00000514: ADD
00000515: SWAP1
00000516: RETURN
00000517: JUMPDEST
00000518: PUSH2 0x03d4
0000051b: PUSH1 0x04
0000051d: DUP1
0000051e: CALLDATASIZE
0000051f: SUB
00000520: PUSH1 0x20
00000522: DUP2
00000523: LT
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: CALLDATALOAD
00000530: PUSH1 0x01
00000532: PUSH1 0x01
00000534: PUSH1 0xa0
00000536: SHL
00000537: SUB
00000538: AND
00000539: PUSH2 0x117c
0000053c: JUMP
0000053d: JUMPDEST
0000053e: PUSH2 0x03ac
00000541: PUSH1 0x04
00000543: DUP1
00000544: CALLDATASIZE
00000545: SUB
00000546: PUSH1 0x20
00000548: DUP2
00000549: LT
0000054a: ISZERO
0000054b: PUSH2 0x0553
0000054e: JUMPI
0000054f: PUSH1 0x00
00000551: DUP1
00000552: REVERT
00000553: JUMPDEST
00000554: POP
00000555: CALLDATALOAD
00000556: PUSH2 0x118d
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH2 0x03ac
0000055e: PUSH2 0x1485
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH2 0x03d4
00000566: PUSH1 0x04
00000568: DUP1
00000569: CALLDATASIZE
0000056a: SUB
0000056b: PUSH1 0x20
0000056d: DUP2
0000056e: LT
0000056f: ISZERO
00000570: PUSH2 0x0578
00000573: JUMPI
00000574: PUSH1 0x00
00000576: DUP1
00000577: REVERT
00000578: JUMPDEST
00000579: POP
0000057a: CALLDATALOAD
0000057b: PUSH1 0x01
0000057d: PUSH1 0x01
0000057f: PUSH1 0xa0
00000581: SHL
00000582: SUB
00000583: AND
00000584: PUSH2 0x1a53
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH2 0x03d4
0000058c: PUSH1 0x04
0000058e: DUP1
0000058f: CALLDATASIZE
00000590: SUB
00000591: PUSH1 0x20
00000593: DUP2
00000594: LT
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: CALLDATALOAD
000005a1: PUSH1 0x01
000005a3: PUSH1 0x01
000005a5: PUSH1 0xa0
000005a7: SHL
000005a8: SUB
000005a9: AND
000005aa: PUSH2 0x1a64
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH2 0x03d4
000005b2: PUSH1 0x04
000005b4: DUP1
000005b5: CALLDATASIZE
000005b6: SUB
000005b7: PUSH1 0x20
000005b9: DUP2
000005ba: LT
000005bb: ISZERO
000005bc: PUSH2 0x05c4
000005bf: JUMPI
000005c0: PUSH1 0x00
000005c2: DUP1
000005c3: REVERT
000005c4: JUMPDEST
000005c5: POP
000005c6: CALLDATALOAD
000005c7: PUSH2 0x1a76
000005ca: JUMP
000005cb: JUMPDEST
000005cc: PUSH2 0x041c
000005cf: PUSH2 0x1a8a
000005d2: JUMP
000005d3: JUMPDEST
000005d4: PUSH2 0x03d4
000005d7: PUSH2 0x1aa2
000005da: JUMP
000005db: JUMPDEST
000005dc: PUSH2 0x03d4
000005df: PUSH2 0x1aa7
000005e2: JUMP
000005e3: JUMPDEST
000005e4: PUSH2 0x0609
000005e7: PUSH1 0x04
000005e9: DUP1
000005ea: CALLDATASIZE
000005eb: SUB
000005ec: PUSH1 0x20
000005ee: DUP2
000005ef: LT
000005f0: ISZERO
000005f1: PUSH2 0x05f9
000005f4: JUMPI
000005f5: PUSH1 0x00
000005f7: DUP1
000005f8: REVERT
000005f9: JUMPDEST
000005fa: POP
000005fb: CALLDATALOAD
000005fc: PUSH1 0x01
000005fe: PUSH1 0x01
00000600: PUSH1 0xa0
00000602: SHL
00000603: SUB
00000604: AND
00000605: PUSH2 0x1b10
00000608: JUMP
00000609: JUMPDEST
0000060a: PUSH1 0x40
0000060c: DUP1
0000060d: MLOAD
0000060e: SWAP2
0000060f: ISZERO
00000610: ISZERO
00000611: DUP3
00000612: MSTORE
00000613: MLOAD
00000614: SWAP1
00000615: DUP2
00000616: SWAP1
00000617: SUB
00000618: PUSH1 0x20
0000061a: ADD
0000061b: SWAP1
0000061c: RETURN
0000061d: JUMPDEST
0000061e: PUSH2 0x041c
00000621: PUSH1 0x04
00000623: DUP1
00000624: CALLDATASIZE
00000625: SUB
00000626: PUSH1 0x20
00000628: DUP2
00000629: LT
0000062a: ISZERO
0000062b: PUSH2 0x0633
0000062e: JUMPI
0000062f: PUSH1 0x00
00000631: DUP1
00000632: REVERT
00000633: JUMPDEST
00000634: POP
00000635: CALLDATALOAD
00000636: PUSH2 0x1b25
00000639: JUMP
0000063a: JUMPDEST
0000063b: PUSH2 0x03ac
0000063e: PUSH2 0x1b42
00000641: JUMP
00000642: JUMPDEST
00000643: PUSH2 0x041c
00000646: PUSH2 0x1bd3
00000649: JUMP
0000064a: JUMPDEST
0000064b: PUSH2 0x041c
0000064e: PUSH2 0x1be2
00000651: JUMP
00000652: JUMPDEST
00000653: PUSH2 0x03d4
00000656: PUSH2 0x1bf1
00000659: JUMP
0000065a: JUMPDEST
0000065b: PUSH2 0x041c
0000065e: PUSH2 0x1bf7
00000661: JUMP
00000662: JUMPDEST
00000663: PUSH2 0x03d4
00000666: PUSH2 0x1c0f
00000669: JUMP
0000066a: JUMPDEST
0000066b: PUSH2 0x03d4
0000066e: PUSH1 0x04
00000670: DUP1
00000671: CALLDATASIZE
00000672: SUB
00000673: PUSH1 0x20
00000675: DUP2
00000676: LT
00000677: ISZERO
00000678: PUSH2 0x0680
0000067b: JUMPI
0000067c: PUSH1 0x00
0000067e: DUP1
0000067f: REVERT
00000680: JUMPDEST
00000681: POP
00000682: CALLDATALOAD
00000683: PUSH1 0x01
00000685: PUSH1 0x01
00000687: PUSH1 0xa0
00000689: SHL
0000068a: SUB
0000068b: AND
0000068c: PUSH2 0x1c22
0000068f: JUMP
00000690: JUMPDEST
00000691: PUSH2 0x03d4
00000694: PUSH2 0x1c34
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH2 0x041c
0000069c: PUSH2 0x1c3a
0000069f: JUMP
000006a0: JUMPDEST
000006a1: PUSH2 0x0609
000006a4: PUSH2 0x1c49
000006a7: JUMP
000006a8: JUMPDEST
000006a9: PUSH2 0x03d4
000006ac: PUSH1 0x04
000006ae: DUP1
000006af: CALLDATASIZE
000006b0: SUB
000006b1: PUSH1 0x20
000006b3: DUP2
000006b4: LT
000006b5: ISZERO
000006b6: PUSH2 0x06be
000006b9: JUMPI
000006ba: PUSH1 0x00
000006bc: DUP1
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: CALLDATALOAD
000006c1: PUSH1 0x01
000006c3: PUSH1 0x01
000006c5: PUSH1 0xa0
000006c7: SHL
000006c8: SUB
000006c9: AND
000006ca: PUSH2 0x1c6f
000006cd: JUMP
000006ce: JUMPDEST
000006cf: PUSH2 0x03d4
000006d2: PUSH2 0x1cf3
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH2 0x041c
000006da: PUSH2 0x1cf9
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH2 0x041c
000006e2: PUSH2 0x1d08
000006e5: JUMP
000006e6: JUMPDEST
000006e7: PUSH2 0x041c
000006ea: PUSH2 0x1d1b
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x041c
000006f2: PUSH1 0x04
000006f4: DUP1
000006f5: CALLDATASIZE
000006f6: SUB
000006f7: PUSH1 0x20
000006f9: DUP2
000006fa: LT
000006fb: ISZERO
000006fc: PUSH2 0x0704
000006ff: JUMPI
00000700: PUSH1 0x00
00000702: DUP1
00000703: REVERT
00000704: JUMPDEST
00000705: POP
00000706: CALLDATALOAD
00000707: PUSH1 0x01
00000709: PUSH1 0x01
0000070b: PUSH1 0xa0
0000070d: SHL
0000070e: SUB
0000070f: AND
00000710: PUSH2 0x1d33
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH2 0x041c
00000718: PUSH2 0x1d4d
0000071b: JUMP
0000071c: JUMPDEST
0000071d: PUSH2 0x03d4
00000720: PUSH2 0x1d5c
00000723: JUMP
00000724: JUMPDEST
00000725: PUSH2 0x03d4
00000728: PUSH2 0x1d6a
0000072b: JUMP
0000072c: JUMPDEST
0000072d: PUSH2 0x03d4
00000730: PUSH2 0x1d70
00000733: JUMP
00000734: JUMPDEST
00000735: PUSH2 0x03d4
00000738: PUSH2 0x1dc4
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH2 0x03d4
00000740: PUSH2 0x1dca
00000743: JUMP
00000744: JUMPDEST
00000745: PUSH2 0x03d4
00000748: PUSH1 0x04
0000074a: DUP1
0000074b: CALLDATASIZE
0000074c: SUB
0000074d: PUSH1 0x20
0000074f: DUP2
00000750: LT
00000751: ISZERO
00000752: PUSH2 0x075a
00000755: JUMPI
00000756: PUSH1 0x00
00000758: DUP1
00000759: REVERT
0000075a: JUMPDEST
0000075b: POP
0000075c: CALLDATALOAD
0000075d: PUSH1 0x01
0000075f: PUSH1 0x01
00000761: PUSH1 0xa0
00000763: SHL
00000764: SUB
00000765: AND
00000766: PUSH2 0x1dd0
00000769: JUMP
0000076a: JUMPDEST
0000076b: PUSH2 0x03d4
0000076e: PUSH2 0x1deb
00000771: JUMP
00000772: JUMPDEST
00000773: PUSH2 0x03d4
00000776: PUSH1 0x04
00000778: DUP1
00000779: CALLDATASIZE
0000077a: SUB
0000077b: PUSH1 0x20
0000077d: DUP2
0000077e: LT
0000077f: ISZERO
00000780: PUSH2 0x0788
00000783: JUMPI
00000784: PUSH1 0x00
00000786: DUP1
00000787: REVERT
00000788: JUMPDEST
00000789: POP
0000078a: CALLDATALOAD
0000078b: PUSH1 0x01
0000078d: PUSH1 0x01
0000078f: PUSH1 0xa0
00000791: SHL
00000792: SUB
00000793: AND
00000794: PUSH2 0x1df1
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH2 0x03ac
0000079c: PUSH2 0x1e03
0000079f: JUMP
000007a0: JUMPDEST
000007a1: PUSH2 0x03d4
000007a4: PUSH1 0x04
000007a6: DUP1
000007a7: CALLDATASIZE
000007a8: SUB
000007a9: PUSH1 0x20
000007ab: DUP2
000007ac: LT
000007ad: ISZERO
000007ae: PUSH2 0x07b6
000007b1: JUMPI
000007b2: PUSH1 0x00
000007b4: DUP1
000007b5: REVERT
000007b6: JUMPDEST
000007b7: POP
000007b8: CALLDATALOAD
000007b9: PUSH1 0x01
000007bb: PUSH1 0x01
000007bd: PUSH1 0xa0
000007bf: SHL
000007c0: SUB
000007c1: AND
000007c2: PUSH2 0x1e78
000007c5: JUMP
000007c6: JUMPDEST
000007c7: PUSH2 0x03d4
000007ca: PUSH2 0x1e8a
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH2 0x03ac
000007d2: PUSH1 0x04
000007d4: DUP1
000007d5: CALLDATASIZE
000007d6: SUB
000007d7: PUSH1 0x20
000007d9: DUP2
000007da: LT
000007db: ISZERO
000007dc: PUSH2 0x07e4
000007df: JUMPI
000007e0: PUSH1 0x00
000007e2: DUP1
000007e3: REVERT
000007e4: JUMPDEST
000007e5: POP
000007e6: CALLDATALOAD
000007e7: PUSH1 0x01
000007e9: PUSH1 0x01
000007eb: PUSH1 0xa0
000007ed: SHL
000007ee: SUB
000007ef: AND
000007f0: PUSH2 0x1e90
000007f3: JUMP
000007f4: JUMPDEST
000007f5: PUSH2 0x03ac
000007f8: PUSH1 0x04
000007fa: DUP1
000007fb: CALLDATASIZE
000007fc: SUB
000007fd: PUSH1 0x40
000007ff: DUP2
00000800: LT
00000801: ISZERO
00000802: PUSH2 0x080a
00000805: JUMPI
00000806: PUSH1 0x00
00000808: DUP1
00000809: REVERT
0000080a: JUMPDEST
0000080b: POP
0000080c: PUSH1 0x01
0000080e: PUSH1 0x01
00000810: PUSH1 0xa0
00000812: SHL
00000813: SUB
00000814: DUP2
00000815: CALLDATALOAD
00000816: AND
00000817: SWAP1
00000818: PUSH1 0x20
0000081a: ADD
0000081b: CALLDATALOAD
0000081c: PUSH2 0x1ee0
0000081f: JUMP
00000820: JUMPDEST
00000821: PUSH2 0x03d4
00000824: PUSH1 0x04
00000826: DUP1
00000827: CALLDATASIZE
00000828: SUB
00000829: PUSH1 0x40
0000082b: DUP2
0000082c: LT
0000082d: ISZERO
0000082e: PUSH2 0x0836
00000831: JUMPI
00000832: PUSH1 0x00
00000834: DUP1
00000835: REVERT
00000836: JUMPDEST
00000837: POP
00000838: PUSH1 0x01
0000083a: PUSH1 0x01
0000083c: PUSH1 0xa0
0000083e: SHL
0000083f: SUB
00000840: DUP2
00000841: CALLDATALOAD
00000842: DUP2
00000843: AND
00000844: SWAP2
00000845: PUSH1 0x20
00000847: ADD
00000848: CALLDATALOAD
00000849: AND
0000084a: PUSH2 0x230b
0000084d: JUMP
0000084e: JUMPDEST
0000084f: PUSH2 0x03d4
00000852: PUSH1 0x04
00000854: DUP1
00000855: CALLDATASIZE
00000856: SUB
00000857: PUSH1 0x20
00000859: DUP2
0000085a: LT
0000085b: ISZERO
0000085c: PUSH2 0x0864
0000085f: JUMPI
00000860: PUSH1 0x00
00000862: DUP1
00000863: REVERT
00000864: JUMPDEST
00000865: POP
00000866: CALLDATALOAD
00000867: PUSH1 0x01
00000869: PUSH1 0x01
0000086b: PUSH1 0xa0
0000086d: SHL
0000086e: SUB
0000086f: AND
00000870: PUSH2 0x2336
00000873: JUMP
00000874: JUMPDEST
00000875: PUSH2 0x087c
00000878: PUSH2 0x1c49
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH2 0x08bb
00000880: JUMPI
00000881: PUSH1 0x40
00000883: DUP1
00000884: MLOAD
00000885: PUSH3 0x461bcd
00000889: PUSH1 0xe5
0000088b: SHL
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: PUSH1 0x04
00000892: DUP3
00000893: ADD
00000894: DUP2
00000895: SWAP1
00000896: MSTORE
00000897: PUSH1 0x24
00000899: DUP3
0000089a: ADD
0000089b: MSTORE
0000089c: PUSH1 0x00
0000089e: DUP1
0000089f: MLOAD
000008a0: PUSH1 0x20
000008a2: PUSH2 0x2ba1
000008a5: DUP4
000008a6: CODECOPY
000008a7: DUP2
000008a8: MLOAD
000008a9: SWAP2
000008aa: MSTORE
000008ab: PUSH1 0x44
000008ad: DUP3
000008ae: ADD
000008af: MSTORE
000008b0: SWAP1
000008b1: MLOAD
000008b2: SWAP1
000008b3: DUP2
000008b4: SWAP1
000008b5: SUB
000008b6: PUSH1 0x64
000008b8: ADD
000008b9: SWAP1
000008ba: REVERT
000008bb: JUMPDEST
000008bc: PUSH1 0x05
000008be: DUP1
000008bf: SLOAD
000008c0: PUSH1 0x01
000008c2: PUSH1 0x01
000008c4: PUSH1 0xa0
000008c6: SHL
000008c7: SUB
000008c8: NOT
000008c9: AND
000008ca: PUSH1 0x01
000008cc: PUSH1 0x01
000008ce: PUSH1 0xa0
000008d0: SHL
000008d1: SUB
000008d2: SWAP3
000008d3: SWAP1
000008d4: SWAP3
000008d5: AND
000008d6: SWAP2
000008d7: SWAP1
000008d8: SWAP2
000008d9: OR
000008da: SWAP1
000008db: SSTORE
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH1 0x01
000008e0: PUSH1 0x01
000008e2: PUSH1 0xa0
000008e4: SHL
000008e5: SUB
000008e6: DUP2
000008e7: AND
000008e8: PUSH1 0x00
000008ea: SWAP1
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x14
000008ef: PUSH1 0x20
000008f1: SWAP1
000008f2: DUP2
000008f3: MSTORE
000008f4: PUSH1 0x40
000008f6: DUP1
000008f7: DUP4
000008f8: KECCAK256
000008f9: SLOAD
000008fa: PUSH1 0x13
000008fc: SWAP1
000008fd: SWAP3
000008fe: MSTORE
000008ff: DUP3
00000900: KECCAK256
00000901: SLOAD
00000902: PUSH2 0x095d
00000905: SWAP2
00000906: SWAP1
00000907: PUSH2 0x0951
0000090a: SWAP1
0000090b: PUSH8 0x0de0b6b3a7640000
00000914: SWAP1
00000915: PUSH2 0x0945
00000918: SWAP1
00000919: PUSH2 0x0930
0000091c: SWAP1
0000091d: PUSH2 0x0924
00000920: PUSH2 0x1d70
00000923: JUMP
00000924: JUMPDEST
00000925: SWAP1
00000926: PUSH4 0xffffffff
0000092b: PUSH2 0x2369
0000092e: AND
0000092f: JUMP
00000930: JUMPDEST
00000931: PUSH2 0x0939
00000934: DUP9
00000935: PUSH2 0x1c6f
00000938: JUMP
00000939: JUMPDEST
0000093a: SWAP1
0000093b: PUSH4 0xffffffff
00000940: PUSH2 0x23b2
00000943: AND
00000944: JUMP
00000945: JUMPDEST
00000946: SWAP1
00000947: PUSH4 0xffffffff
0000094c: PUSH2 0x240b
0000094f: AND
00000950: JUMP
00000951: JUMPDEST
00000952: SWAP1
00000953: PUSH4 0xffffffff
00000958: PUSH2 0x244d
0000095b: AND
0000095c: JUMP
0000095d: JUMPDEST
0000095e: SWAP3
0000095f: SWAP2
00000960: POP
00000961: POP
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x0a
00000966: SLOAD
00000967: DUP2
00000968: JUMP
00000969: JUMPDEST
0000096a: PUSH1 0x14
0000096c: PUSH1 0x20
0000096e: MSTORE
0000096f: PUSH1 0x00
00000971: SWAP1
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x40
00000976: SWAP1
00000977: KECCAK256
00000978: SLOAD
00000979: DUP2
0000097a: JUMP
0000097b: JUMPDEST
0000097c: PUSH1 0x05
0000097e: SLOAD
0000097f: PUSH1 0x01
00000981: PUSH1 0x01
00000983: PUSH1 0xa0
00000985: SHL
00000986: SUB
00000987: AND
00000988: DUP2
00000989: JUMP
0000098a: JUMPDEST
0000098b: PUSH2 0x0992
0000098e: PUSH2 0x1c49
00000991: JUMP
00000992: JUMPDEST
00000993: PUSH2 0x09d1
00000996: JUMPI
00000997: PUSH1 0x40
00000999: DUP1
0000099a: MLOAD
0000099b: PUSH3 0x461bcd
0000099f: PUSH1 0xe5
000009a1: SHL
000009a2: DUP2
000009a3: MSTORE
000009a4: PUSH1 0x20
000009a6: PUSH1 0x04
000009a8: DUP3
000009a9: ADD
000009aa: DUP2
000009ab: SWAP1
000009ac: MSTORE
000009ad: PUSH1 0x24
000009af: DUP3
000009b0: ADD
000009b1: MSTORE
000009b2: PUSH1 0x00
000009b4: DUP1
000009b5: MLOAD
000009b6: PUSH1 0x20
000009b8: PUSH2 0x2ba1
000009bb: DUP4
000009bc: CODECOPY
000009bd: DUP2
000009be: MLOAD
000009bf: SWAP2
000009c0: MSTORE
000009c1: PUSH1 0x44
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: SWAP1
000009c7: MLOAD
000009c8: SWAP1
000009c9: DUP2
000009ca: SWAP1
000009cb: SUB
000009cc: PUSH1 0x64
000009ce: ADD
000009cf: SWAP1
000009d0: REVERT
000009d1: JUMPDEST
000009d2: PUSH1 0x03
000009d4: DUP1
000009d5: SLOAD
000009d6: PUSH1 0x01
000009d8: PUSH1 0x01
000009da: PUSH1 0xa0
000009dc: SHL
000009dd: SUB
000009de: NOT
000009df: AND
000009e0: PUSH1 0x01
000009e2: PUSH1 0x01
000009e4: PUSH1 0xa0
000009e6: SHL
000009e7: SUB
000009e8: SWAP3
000009e9: SWAP1
000009ea: SWAP3
000009eb: AND
000009ec: SWAP2
000009ed: SWAP1
000009ee: SWAP2
000009ef: OR
000009f0: SWAP1
000009f1: SSTORE
000009f2: JUMP
000009f3: JUMPDEST
000009f4: PUSH1 0x0a
000009f6: DUP2
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH10 0x0d573ca1c3b1c9600000
00000a04: DUP2
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH2 0x0a0e
00000a0a: PUSH2 0x1c49
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH2 0x0a4d
00000a12: JUMPI
00000a13: PUSH1 0x40
00000a15: DUP1
00000a16: MLOAD
00000a17: PUSH3 0x461bcd
00000a1b: PUSH1 0xe5
00000a1d: SHL
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x20
00000a22: PUSH1 0x04
00000a24: DUP3
00000a25: ADD
00000a26: DUP2
00000a27: SWAP1
00000a28: MSTORE
00000a29: PUSH1 0x24
00000a2b: DUP3
00000a2c: ADD
00000a2d: MSTORE
00000a2e: PUSH1 0x00
00000a30: DUP1
00000a31: MLOAD
00000a32: PUSH1 0x20
00000a34: PUSH2 0x2ba1
00000a37: DUP4
00000a38: CODECOPY
00000a39: DUP2
00000a3a: MLOAD
00000a3b: SWAP2
00000a3c: MSTORE
00000a3d: PUSH1 0x44
00000a3f: DUP3
00000a40: ADD
00000a41: MSTORE
00000a42: SWAP1
00000a43: MLOAD
00000a44: SWAP1
00000a45: DUP2
00000a46: SWAP1
00000a47: SUB
00000a48: PUSH1 0x64
00000a4a: ADD
00000a4b: SWAP1
00000a4c: REVERT
00000a4d: JUMPDEST
00000a4e: PUSH1 0x04
00000a50: DUP1
00000a51: SLOAD
00000a52: PUSH1 0x01
00000a54: PUSH1 0x01
00000a56: PUSH1 0xa0
00000a58: SHL
00000a59: SUB
00000a5a: NOT
00000a5b: AND
00000a5c: PUSH1 0x01
00000a5e: PUSH1 0x01
00000a60: PUSH1 0xa0
00000a62: SHL
00000a63: SUB
00000a64: SWAP3
00000a65: SWAP1
00000a66: SWAP3
00000a67: AND
00000a68: SWAP2
00000a69: SWAP1
00000a6a: SWAP2
00000a6b: OR
00000a6c: SWAP1
00000a6d: SSTORE
00000a6e: JUMP
00000a6f: JUMPDEST
00000a70: PUSH3 0x093a80
00000a74: DUP2
00000a75: JUMP
00000a76: JUMPDEST
00000a77: PUSH1 0x00
00000a79: PUSH1 0x10
00000a7b: SLOAD
00000a7c: GT
00000a7d: PUSH2 0x0ab7
00000a80: JUMPI
00000a81: PUSH1 0x40
00000a83: MLOAD
00000a84: PUSH3 0x461bcd
00000a88: PUSH1 0xe5
00000a8a: SHL
00000a8b: DUP2
00000a8c: MSTORE
00000a8d: PUSH1 0x04
00000a8f: ADD
00000a90: DUP1
00000a91: DUP1
00000a92: PUSH1 0x20
00000a94: ADD
00000a95: DUP3
00000a96: DUP2
00000a97: SUB
00000a98: DUP3
00000a99: MSTORE
00000a9a: PUSH1 0x2f
00000a9c: DUP2
00000a9d: MSTORE
00000a9e: PUSH1 0x20
00000aa0: ADD
00000aa1: DUP1
00000aa2: PUSH2 0x2c0c
00000aa5: PUSH1 0x2f
00000aa7: SWAP2
00000aa8: CODECOPY
00000aa9: PUSH1 0x40
00000aab: ADD
00000aac: SWAP2
00000aad: POP
00000aae: POP
00000aaf: PUSH1 0x40
00000ab1: MLOAD
00000ab2: DUP1
00000ab3: SWAP2
00000ab4: SUB
00000ab5: SWAP1
00000ab6: REVERT
00000ab7: JUMPDEST
00000ab8: PUSH1 0x00
00000aba: PUSH2 0x0ac2
00000abd: CALLER
00000abe: PUSH2 0x1a53
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: SWAP1
00000ac4: POP
00000ac5: PUSH1 0x00
00000ac7: DUP2
00000ac8: GT
00000ac9: PUSH2 0x0b19
00000acc: JUMPI
00000acd: PUSH1 0x40
00000acf: DUP1
00000ad0: MLOAD
00000ad1: PUSH3 0x461bcd
00000ad5: PUSH1 0xe5
00000ad7: SHL
00000ad8: DUP2
00000ad9: MSTORE
00000ada: PUSH1 0x20
00000adc: PUSH1 0x04
00000ade: DUP3
00000adf: ADD
00000ae0: MSTORE
00000ae1: PUSH1 0x19
00000ae3: PUSH1 0x24
00000ae5: DUP3
00000ae6: ADD
00000ae7: MSTORE
00000ae8: PUSH32 0x596f752068617665206e6f207645544820746f20636c61696d00000000000000
00000b09: PUSH1 0x44
00000b0b: DUP3
00000b0c: ADD
00000b0d: MSTORE
00000b0e: SWAP1
00000b0f: MLOAD
00000b10: SWAP1
00000b11: DUP2
00000b12: SWAP1
00000b13: SUB
00000b14: PUSH1 0x64
00000b16: ADD
00000b17: SWAP1
00000b18: REVERT
00000b19: JUMPDEST
00000b1a: CALLER
00000b1b: PUSH1 0x00
00000b1d: SWAP1
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x15
00000b22: PUSH1 0x20
00000b24: MSTORE
00000b25: PUSH1 0x40
00000b27: SWAP1
00000b28: KECCAK256
00000b29: SLOAD
00000b2a: PUSH1 0xff
00000b2c: AND
00000b2d: ISZERO
00000b2e: PUSH2 0x0b68
00000b31: JUMPI
00000b32: PUSH1 0x40
00000b34: MLOAD
00000b35: PUSH3 0x461bcd
00000b39: PUSH1 0xe5
00000b3b: SHL
00000b3c: DUP2
00000b3d: MSTORE
00000b3e: PUSH1 0x04
00000b40: ADD
00000b41: DUP1
00000b42: DUP1
00000b43: PUSH1 0x20
00000b45: ADD
00000b46: DUP3
00000b47: DUP2
00000b48: SUB
00000b49: DUP3
00000b4a: MSTORE
00000b4b: PUSH1 0x22
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x20
00000b51: ADD
00000b52: DUP1
00000b53: PUSH2 0x2b3e
00000b56: PUSH1 0x22
00000b58: SWAP2
00000b59: CODECOPY
00000b5a: PUSH1 0x40
00000b5c: ADD
00000b5d: SWAP2
00000b5e: POP
00000b5f: POP
00000b60: PUSH1 0x40
00000b62: MLOAD
00000b63: DUP1
00000b64: SWAP2
00000b65: SUB
00000b66: SWAP1
00000b67: REVERT
00000b68: JUMPDEST
00000b69: CALLER
00000b6a: PUSH1 0x00
00000b6c: DUP2
00000b6d: DUP2
00000b6e: MSTORE
00000b6f: PUSH1 0x15
00000b71: PUSH1 0x20
00000b73: MSTORE
00000b74: PUSH1 0x40
00000b76: SWAP1
00000b77: KECCAK256
00000b78: DUP1
00000b79: SLOAD
00000b7a: PUSH1 0xff
00000b7c: NOT
00000b7d: AND
00000b7e: PUSH1 0x01
00000b80: OR
00000b81: SWAP1
00000b82: SSTORE
00000b83: PUSH1 0x08
00000b85: SLOAD
00000b86: PUSH2 0x0ba2
00000b89: SWAP2
00000b8a: PUSH1 0x01
00000b8c: PUSH1 0x01
00000b8e: PUSH1 0xa0
00000b90: SHL
00000b91: SUB
00000b92: SWAP2
00000b93: SWAP1
00000b94: SWAP2
00000b95: AND
00000b96: SWAP1
00000b97: DUP4
00000b98: PUSH4 0xffffffff
00000b9d: PUSH2 0x24a7
00000ba0: AND
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: POP
00000ba4: JUMP
00000ba5: JUMPDEST
00000ba6: PUSH1 0x0d
00000ba8: SLOAD
00000ba9: DUP2
00000baa: JUMP
00000bab: JUMPDEST
00000bac: CALLER
00000bad: PUSH2 0x0bb4
00000bb0: PUSH2 0x1d70
00000bb3: JUMP
00000bb4: JUMPDEST
00000bb5: PUSH1 0x12
00000bb7: SSTORE
00000bb8: PUSH2 0x0bbf
00000bbb: PUSH2 0x1c0f
00000bbe: JUMP
00000bbf: JUMPDEST
00000bc0: PUSH1 0x11
00000bc2: SSTORE
00000bc3: PUSH1 0x01
00000bc5: PUSH1 0x01
00000bc7: PUSH1 0xa0
00000bc9: SHL
00000bca: SUB
00000bcb: DUP2
00000bcc: AND
00000bcd: ISZERO
00000bce: PUSH2 0x0c06
00000bd1: JUMPI
00000bd2: PUSH2 0x0bda
00000bd5: DUP2
00000bd6: PUSH2 0x08dd
00000bd9: JUMP
00000bda: JUMPDEST
00000bdb: PUSH1 0x01
00000bdd: PUSH1 0x01
00000bdf: PUSH1 0xa0
00000be1: SHL
00000be2: SUB
00000be3: DUP3
00000be4: AND
00000be5: PUSH1 0x00
00000be7: SWAP1
00000be8: DUP2
00000be9: MSTORE
00000bea: PUSH1 0x14
00000bec: PUSH1 0x20
00000bee: SWAP1
00000bef: DUP2
00000bf0: MSTORE
00000bf1: PUSH1 0x40
00000bf3: DUP1
00000bf4: DUP4
00000bf5: KECCAK256
00000bf6: SWAP4
00000bf7: SWAP1
00000bf8: SWAP4
00000bf9: SSTORE
00000bfa: PUSH1 0x12
00000bfc: SLOAD
00000bfd: PUSH1 0x13
00000bff: SWAP1
00000c00: SWAP2
00000c01: MSTORE
00000c02: SWAP2
00000c03: SWAP1
00000c04: KECCAK256
00000c05: SSTORE
00000c06: JUMPDEST
00000c07: PUSH1 0x0f
00000c09: SLOAD
00000c0a: TIMESTAMP
00000c0b: LT
00000c0c: PUSH2 0x0e9d
00000c0f: JUMPI
00000c10: PUSH10 0x0d573ca1c3b1c9600000
00000c1b: PUSH1 0x0b
00000c1d: SSTORE
00000c1e: PUSH1 0x00
00000c20: PUSH2 0x0c27
00000c23: PUSH2 0x10c6
00000c26: JUMP
00000c27: JUMPDEST
00000c28: SWAP1
00000c29: POP
00000c2a: PUSH2 0x0c47
00000c2d: PUSH1 0x64
00000c2f: PUSH2 0x0945
00000c32: DUP4
00000c33: PUSH2 0xffff
00000c36: AND
00000c37: PUSH1 0x0b
00000c39: SLOAD
00000c3a: PUSH2 0x23b2
00000c3d: SWAP1
00000c3e: SWAP2
00000c3f: SWAP1
00000c40: PUSH4 0xffffffff
00000c45: AND
00000c46: JUMP
00000c47: JUMPDEST
00000c48: PUSH1 0x0c
00000c4a: DUP2
00000c4b: SWAP1
00000c4c: SSTORE
00000c4d: PUSH1 0x0d
00000c4f: SLOAD
00000c50: PUSH10 0x85685e51a4f1ddc00000
00000c5b: SWAP2
00000c5c: PUSH2 0x0c6b
00000c5f: SWAP2
00000c60: SWAP1
00000c61: PUSH4 0xffffffff
00000c66: PUSH2 0x244d
00000c69: AND
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: GT
00000c6d: ISZERO
00000c6e: PUSH2 0x0c93
00000c71: JUMPI
00000c72: PUSH1 0x0d
00000c74: SLOAD
00000c75: PUSH2 0x0c8f
00000c78: SWAP1
00000c79: PUSH10 0x85685e51a4f1ddc00000
00000c84: SWAP1
00000c85: PUSH4 0xffffffff
00000c8a: PUSH2 0x2369
00000c8d: AND
00000c8e: JUMP
00000c8f: JUMPDEST
00000c90: PUSH1 0x0c
00000c92: SSTORE
00000c93: JUMPDEST
00000c94: PUSH1 0x0c
00000c96: SLOAD
00000c97: ISZERO
00000c98: PUSH2 0x0e49
00000c9b: JUMPI
00000c9c: PUSH1 0x06
00000c9e: SLOAD
00000c9f: PUSH1 0x0c
00000ca1: SLOAD
00000ca2: PUSH1 0x40
00000ca4: DUP1
00000ca5: MLOAD
00000ca6: PUSH4 0x40c10f19
00000cab: PUSH1 0xe0
00000cad: SHL
00000cae: DUP2
00000caf: MSTORE
00000cb0: ADDRESS
00000cb1: PUSH1 0x04
00000cb3: DUP3
00000cb4: ADD
00000cb5: MSTORE
00000cb6: PUSH1 0x24
00000cb8: DUP2
00000cb9: ADD
00000cba: SWAP3
00000cbb: SWAP1
00000cbc: SWAP3
00000cbd: MSTORE
00000cbe: MLOAD
00000cbf: PUSH1 0x01
00000cc1: PUSH1 0x01
00000cc3: PUSH1 0xa0
00000cc5: SHL
00000cc6: SUB
00000cc7: SWAP1
00000cc8: SWAP3
00000cc9: AND
00000cca: SWAP2
00000ccb: PUSH4 0x40c10f19
00000cd0: SWAP2
00000cd1: PUSH1 0x44
00000cd3: DUP1
00000cd4: DUP3
00000cd5: ADD
00000cd6: SWAP3
00000cd7: PUSH1 0x00
00000cd9: SWAP3
00000cda: SWAP1
00000cdb: SWAP2
00000cdc: SWAP1
00000cdd: DUP3
00000cde: SWAP1
00000cdf: SUB
00000ce0: ADD
00000ce1: DUP2
00000ce2: DUP4
00000ce3: DUP8
00000ce4: DUP1
00000ce5: EXTCODESIZE
00000ce6: ISZERO
00000ce7: DUP1
00000ce8: ISZERO
00000ce9: PUSH2 0x0cf1
00000cec: JUMPI
00000ced: PUSH1 0x00
00000cef: DUP1
00000cf0: REVERT
00000cf1: JUMPDEST
00000cf2: POP
00000cf3: GAS
00000cf4: CALL
00000cf5: ISZERO
00000cf6: DUP1
00000cf7: ISZERO
00000cf8: PUSH2 0x0d05
00000cfb: JUMPI
00000cfc: RETURNDATASIZE
00000cfd: PUSH1 0x00
00000cff: DUP1
00000d00: RETURNDATACOPY
00000d01: RETURNDATASIZE
00000d02: PUSH1 0x00
00000d04: REVERT
00000d05: JUMPDEST
00000d06: POP
00000d07: POP
00000d08: PUSH1 0x07
00000d0a: SLOAD
00000d0b: PUSH1 0x09
00000d0d: SLOAD
00000d0e: PUSH1 0x0c
00000d10: SLOAD
00000d11: PUSH1 0x01
00000d13: PUSH1 0x01
00000d15: PUSH1 0xa0
00000d17: SHL
00000d18: SUB
00000d19: SWAP1
00000d1a: SWAP3
00000d1b: AND
00000d1c: SWAP4
00000d1d: POP
00000d1e: PUSH4 0x40c10f19
00000d23: SWAP3
00000d24: POP
00000d25: ADDRESS
00000d26: SWAP2
00000d27: PUSH2 0x0d35
00000d2a: SWAP2
00000d2b: PUSH4 0xffffffff
00000d30: PUSH2 0x240b
00000d33: AND
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: DUP4
00000d3a: PUSH4 0xffffffff
00000d3f: AND
00000d40: PUSH1 0xe0
00000d42: SHL
00000d43: DUP2
00000d44: MSTORE
00000d45: PUSH1 0x04
00000d47: ADD
00000d48: DUP1
00000d49: DUP4
00000d4a: PUSH1 0x01
00000d4c: PUSH1 0x01
00000d4e: PUSH1 0xa0
00000d50: SHL
00000d51: SUB
00000d52: AND
00000d53: PUSH1 0x01
00000d55: PUSH1 0x01
00000d57: PUSH1 0xa0
00000d59: SHL
00000d5a: SUB
00000d5b: AND
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: ADD
00000d61: DUP3
00000d62: DUP2
00000d63: MSTORE
00000d64: PUSH1 0x20
00000d66: ADD
00000d67: SWAP3
00000d68: POP
00000d69: POP
00000d6a: POP
00000d6b: PUSH1 0x00
00000d6d: PUSH1 0x40
00000d6f: MLOAD
00000d70: DUP1
00000d71: DUP4
00000d72: SUB
00000d73: DUP2
00000d74: PUSH1 0x00
00000d76: DUP8
00000d77: DUP1
00000d78: EXTCODESIZE
00000d79: ISZERO
00000d7a: DUP1
00000d7b: ISZERO
00000d7c: PUSH2 0x0d84
00000d7f: JUMPI
00000d80: PUSH1 0x00
00000d82: DUP1
00000d83: REVERT
00000d84: JUMPDEST
00000d85: POP
00000d86: GAS
00000d87: CALL
00000d88: ISZERO
00000d89: DUP1
00000d8a: ISZERO
00000d8b: PUSH2 0x0d98
00000d8e: JUMPI
00000d8f: RETURNDATASIZE
00000d90: PUSH1 0x00
00000d92: DUP1
00000d93: RETURNDATACOPY
00000d94: RETURNDATASIZE
00000d95: PUSH1 0x00
00000d97: REVERT
00000d98: JUMPDEST
00000d99: POP
00000d9a: POP
00000d9b: PUSH1 0x08
00000d9d: SLOAD
00000d9e: PUSH1 0x0a
00000da0: SLOAD
00000da1: PUSH1 0x0c
00000da3: SLOAD
00000da4: PUSH1 0x01
00000da6: PUSH1 0x01
00000da8: PUSH1 0xa0
00000daa: SHL
00000dab: SUB
00000dac: SWAP1
00000dad: SWAP3
00000dae: AND
00000daf: SWAP4
00000db0: POP
00000db1: PUSH4 0x40c10f19
00000db6: SWAP3
00000db7: POP
00000db8: ADDRESS
00000db9: SWAP2
00000dba: PUSH2 0x0dc8
00000dbd: SWAP2
00000dbe: PUSH4 0xffffffff
00000dc3: PUSH2 0x240b
00000dc6: AND
00000dc7: JUMP
00000dc8: JUMPDEST
00000dc9: PUSH1 0x40
00000dcb: MLOAD
00000dcc: DUP4
00000dcd: PUSH4 0xffffffff
00000dd2: AND
00000dd3: PUSH1 0xe0
00000dd5: SHL
00000dd6: DUP2
00000dd7: MSTORE
00000dd8: PUSH1 0x04
00000dda: ADD
00000ddb: DUP1
00000ddc: DUP4
00000ddd: PUSH1 0x01
00000ddf: PUSH1 0x01
00000de1: PUSH1 0xa0
00000de3: SHL
00000de4: SUB
00000de5: AND
00000de6: PUSH1 0x01
00000de8: PUSH1 0x01
00000dea: PUSH1 0xa0
00000dec: SHL
00000ded: SUB
00000dee: AND
00000def: DUP2
00000df0: MSTORE
00000df1: PUSH1 0x20
00000df3: ADD
00000df4: DUP3
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0x20
00000df9: ADD
00000dfa: SWAP3
00000dfb: POP
00000dfc: POP
00000dfd: POP
00000dfe: PUSH1 0x00
00000e00: PUSH1 0x40
00000e02: MLOAD
00000e03: DUP1
00000e04: DUP4
00000e05: SUB
00000e06: DUP2
00000e07: PUSH1 0x00
00000e09: DUP8
00000e0a: DUP1
00000e0b: EXTCODESIZE
00000e0c: ISZERO
00000e0d: DUP1
00000e0e: ISZERO
00000e0f: PUSH2 0x0e17
00000e12: JUMPI
00000e13: PUSH1 0x00
00000e15: DUP1
00000e16: REVERT
00000e17: JUMPDEST
00000e18: POP
00000e19: GAS
00000e1a: CALL
00000e1b: ISZERO
00000e1c: DUP1
00000e1d: ISZERO
00000e1e: PUSH2 0x0e2b
00000e21: JUMPI
00000e22: RETURNDATASIZE
00000e23: PUSH1 0x00
00000e25: DUP1
00000e26: RETURNDATACOPY
00000e27: RETURNDATASIZE
00000e28: PUSH1 0x00
00000e2a: REVERT
00000e2b: JUMPDEST
00000e2c: POP
00000e2d: POP
00000e2e: PUSH1 0x0c
00000e30: SLOAD
00000e31: PUSH1 0x0d
00000e33: SLOAD
00000e34: PUSH2 0x0e45
00000e37: SWAP4
00000e38: POP
00000e39: SWAP2
00000e3a: POP
00000e3b: PUSH4 0xffffffff
00000e40: PUSH2 0x244d
00000e43: AND
00000e44: JUMP
00000e45: JUMPDEST
00000e46: PUSH1 0x0d
00000e48: SSTORE
00000e49: JUMPDEST
00000e4a: PUSH1 0x0c
00000e4c: SLOAD
00000e4d: PUSH2 0x0e5f
00000e50: SWAP1
00000e51: PUSH3 0x093a80
00000e55: PUSH4 0xffffffff
00000e5a: PUSH2 0x240b
00000e5d: AND
00000e5e: JUMP
00000e5f: JUMPDEST
00000e60: PUSH1 0x10
00000e62: SSTORE
00000e63: PUSH2 0x0e75
00000e66: TIMESTAMP
00000e67: PUSH3 0x093a80
00000e6b: PUSH4 0xffffffff
00000e70: PUSH2 0x244d
00000e73: AND
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH1 0x0f
00000e78: SSTORE
00000e79: PUSH1 0x0c
00000e7b: SLOAD
00000e7c: PUSH1 0x40
00000e7e: DUP1
00000e7f: MLOAD
00000e80: SWAP2
00000e81: DUP3
00000e82: MSTORE
00000e83: MLOAD
00000e84: PUSH1 0x00
00000e86: DUP1
00000e87: MLOAD
00000e88: PUSH1 0x20
00000e8a: PUSH2 0x2b60
00000e8d: DUP4
00000e8e: CODECOPY
00000e8f: DUP2
00000e90: MLOAD
00000e91: SWAP2
00000e92: MSTORE
00000e93: SWAP2
00000e94: DUP2
00000e95: SWAP1
00000e96: SUB
00000e97: PUSH1 0x20
00000e99: ADD
00000e9a: SWAP1
00000e9b: LOG1
00000e9c: POP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x0e
00000ea0: SLOAD
00000ea1: TIMESTAMP
00000ea2: GT
00000ea3: PUSH2 0x0edf
00000ea6: JUMPI
00000ea7: PUSH1 0x40
00000ea9: DUP1
00000eaa: MLOAD
00000eab: PUSH3 0x461bcd
00000eaf: PUSH1 0xe5
00000eb1: SHL
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: PUSH1 0x20
00000eb6: PUSH1 0x04
00000eb8: DUP3
00000eb9: ADD
00000eba: MSTORE
00000ebb: PUSH1 0x09
00000ebd: PUSH1 0x24
00000ebf: DUP3
00000ec0: ADD
00000ec1: MSTORE
00000ec2: PUSH9 0x1b9bdd081cdd185c9d
00000ecc: PUSH1 0xba
00000ece: SHL
00000ecf: PUSH1 0x44
00000ed1: DUP3
00000ed2: ADD
00000ed3: MSTORE
00000ed4: SWAP1
00000ed5: MLOAD
00000ed6: SWAP1
00000ed7: DUP2
00000ed8: SWAP1
00000ed9: SUB
00000eda: PUSH1 0x64
00000edc: ADD
00000edd: SWAP1
00000ede: REVERT
00000edf: JUMPDEST
00000ee0: PUSH1 0x00
00000ee2: DUP4
00000ee3: GT
00000ee4: PUSH2 0x0f25
00000ee7: JUMPI
00000ee8: PUSH1 0x40
00000eea: DUP1
00000eeb: MLOAD
00000eec: PUSH3 0x461bcd
00000ef0: PUSH1 0xe5
00000ef2: SHL
00000ef3: DUP2
00000ef4: MSTORE
00000ef5: PUSH1 0x20
00000ef7: PUSH1 0x04
00000ef9: DUP3
00000efa: ADD
00000efb: MSTORE
00000efc: PUSH1 0x0e
00000efe: PUSH1 0x24
00000f00: DUP3
00000f01: ADD
00000f02: MSTORE
00000f03: PUSH14 0x043616e6e6f74207374616b65203
00000f12: PUSH1 0x94
00000f14: SHL
00000f15: PUSH1 0x44
00000f17: DUP3
00000f18: ADD
00000f19: MSTORE
00000f1a: SWAP1
00000f1b: MLOAD
00000f1c: SWAP1
00000f1d: DUP2
00000f1e: SWAP1
00000f1f: SUB
00000f20: PUSH1 0x64
00000f22: ADD
00000f23: SWAP1
00000f24: REVERT
00000f25: JUMPDEST
00000f26: PUSH1 0x01
00000f28: PUSH1 0x01
00000f2a: PUSH1 0xa0
00000f2c: SHL
00000f2d: SUB
00000f2e: DUP5
00000f2f: AND
00000f30: PUSH1 0x00
00000f32: SWAP1
00000f33: DUP2
00000f34: MSTORE
00000f35: PUSH1 0x1f
00000f37: PUSH1 0x20
00000f39: MSTORE
00000f3a: PUSH1 0x40
00000f3c: SWAP1
00000f3d: KECCAK256
00000f3e: SLOAD
00000f3f: PUSH2 0x0f84
00000f42: JUMPI
00000f43: PUSH1 0x40
00000f45: DUP1
00000f46: MLOAD
00000f47: PUSH3 0x461bcd
00000f4b: PUSH1 0xe5
00000f4d: SHL
00000f4e: DUP2
00000f4f: MSTORE
00000f50: PUSH1 0x20
00000f52: PUSH1 0x04
00000f54: DUP3
00000f55: ADD
00000f56: MSTORE
00000f57: PUSH1 0x12
00000f59: PUSH1 0x24
00000f5b: DUP3
00000f5c: ADD
00000f5d: MSTORE
00000f5e: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7
00000f71: PUSH1 0x71
00000f73: SHL
00000f74: PUSH1 0x44
00000f76: DUP3
00000f77: ADD
00000f78: MSTORE
00000f79: SWAP1
00000f7a: MLOAD
00000f7b: SWAP1
00000f7c: DUP2
00000f7d: SWAP1
00000f7e: SUB
00000f7f: PUSH1 0x64
00000f81: ADD
00000f82: SWAP1
00000f83: REVERT
00000f84: JUMPDEST
00000f85: PUSH1 0x01
00000f87: PUSH1 0x01
00000f89: PUSH1 0xa0
00000f8b: SHL
00000f8c: SUB
00000f8d: DUP3
00000f8e: AND
00000f8f: CALLER
00000f90: EQ
00000f91: ISZERO
00000f92: PUSH2 0x0fe2
00000f95: JUMPI
00000f96: PUSH1 0x40
00000f98: DUP1
00000f99: MLOAD
00000f9a: PUSH3 0x461bcd
00000f9e: PUSH1 0xe5
00000fa0: SHL
00000fa1: DUP2
00000fa2: MSTORE
00000fa3: PUSH1 0x20
00000fa5: PUSH1 0x04
00000fa7: DUP3
00000fa8: ADD
00000fa9: MSTORE
00000faa: PUSH1 0x1a
00000fac: PUSH1 0x24
00000fae: DUP3
00000faf: ADD
00000fb0: MSTORE
00000fb1: PUSH32 0x596f752063616e6e6f7420726566657220796f757273656c662e000000000000
00000fd2: PUSH1 0x44
00000fd4: DUP3
00000fd5: ADD
00000fd6: MSTORE
00000fd7: SWAP1
00000fd8: MLOAD
00000fd9: SWAP1
00000fda: DUP2
00000fdb: SWAP1
00000fdc: SUB
00000fdd: PUSH1 0x64
00000fdf: ADD
00000fe0: SWAP1
00000fe1: REVERT
00000fe2: JUMPDEST
00000fe3: PUSH2 0x0fec
00000fe6: DUP5
00000fe7: DUP5
00000fe8: PUSH2 0x24fe
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH1 0x40
00000fef: DUP1
00000ff0: MLOAD
00000ff1: DUP5
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: SWAP1
00000ff5: MLOAD
00000ff6: PUSH1 0x01
00000ff8: PUSH1 0x01
00000ffa: PUSH1 0xa0
00000ffc: SHL
00000ffd: SUB
00000ffe: DUP7
00000fff: AND
00001000: SWAP2
00001001: CALLER
00001002: SWAP2
00001003: PUSH32 0x5dac0c1b1112564a045ba943c9d50270893e8e826c49be8e7073adc713ab7bd7
00001024: SWAP2
00001025: DUP2
00001026: SWAP1
00001027: SUB
00001028: PUSH1 0x20
0000102a: ADD
0000102b: SWAP1
0000102c: LOG3
0000102d: PUSH1 0x05
0000102f: SLOAD
00001030: PUSH1 0x01
00001032: PUSH1 0x01
00001034: PUSH1 0xa0
00001036: SHL
00001037: SUB
00001038: AND
00001039: ISZERO
0000103a: DUP1
0000103b: ISZERO
0000103c: SWAP1
0000103d: PUSH2 0x104e
00001040: JUMPI
00001041: POP
00001042: PUSH1 0x01
00001044: PUSH1 0x01
00001046: PUSH1 0xa0
00001048: SHL
00001049: SUB
0000104a: DUP3
0000104b: AND
0000104c: ISZERO
0000104d: ISZERO
0000104e: JUMPDEST
0000104f: ISZERO
00001050: PUSH2 0x10c0
00001053: JUMPI
00001054: PUSH1 0x05
00001056: SLOAD
00001057: PUSH1 0x40
00001059: DUP1
0000105a: MLOAD
0000105b: PUSH4 0xbbddaca3
00001060: PUSH1 0xe0
00001062: SHL
00001063: DUP2
00001064: MSTORE
00001065: CALLER
00001066: PUSH1 0x04
00001068: DUP3
00001069: ADD
0000106a: MSTORE
0000106b: PUSH1 0x01
0000106d: PUSH1 0x01
0000106f: PUSH1 0xa0
00001071: SHL
00001072: SUB
00001073: DUP6
00001074: DUP2
00001075: AND
00001076: PUSH1 0x24
00001078: DUP4
00001079: ADD
0000107a: MSTORE
0000107b: SWAP2
0000107c: MLOAD
0000107d: SWAP2
0000107e: SWAP1
0000107f: SWAP3
00001080: AND
00001081: SWAP2
00001082: PUSH4 0xbbddaca3
00001087: SWAP2
00001088: PUSH1 0x44
0000108a: DUP1
0000108b: DUP4
0000108c: ADD
0000108d: SWAP3
0000108e: PUSH1 0x00
00001090: SWAP3
00001091: SWAP2
00001092: SWAP1
00001093: DUP3
00001094: SWAP1
00001095: SUB
00001096: ADD
00001097: DUP2
00001098: DUP4
00001099: DUP8
0000109a: DUP1
0000109b: EXTCODESIZE
0000109c: ISZERO
0000109d: DUP1
0000109e: ISZERO
0000109f: PUSH2 0x10a7
000010a2: JUMPI
000010a3: PUSH1 0x00
000010a5: DUP1
000010a6: REVERT
000010a7: JUMPDEST
000010a8: POP
000010a9: GAS
000010aa: CALL
000010ab: ISZERO
000010ac: DUP1
000010ad: ISZERO
000010ae: PUSH2 0x10bb
000010b1: JUMPI
000010b2: RETURNDATASIZE
000010b3: PUSH1 0x00
000010b5: DUP1
000010b6: RETURNDATACOPY
000010b7: RETURNDATASIZE
000010b8: PUSH1 0x00
000010ba: REVERT
000010bb: JUMPDEST
000010bc: POP
000010bd: POP
000010be: POP
000010bf: POP
000010c0: JUMPDEST
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: POP
000010c5: JUMP
000010c6: JUMPDEST
000010c7: PUSH1 0x04
000010c9: SLOAD
000010ca: PUSH1 0x00
000010cc: SWAP1
000010cd: PUSH1 0x01
000010cf: PUSH1 0x01
000010d1: PUSH1 0xa0
000010d3: SHL
000010d4: SUB
000010d5: AND
000010d6: ISZERO
000010d7: PUSH2 0x1175
000010da: JUMPI
000010db: PUSH1 0x04
000010dd: DUP1
000010de: SLOAD
000010df: PUSH1 0x0f
000010e1: SLOAD
000010e2: PUSH1 0x40
000010e4: DUP1
000010e5: MLOAD
000010e6: PUSH4 0x97ec0ffd
000010eb: PUSH1 0xe0
000010ed: SHL
000010ee: DUP2
000010ef: MSTORE
000010f0: ADDRESS
000010f1: SWAP5
000010f2: DUP2
000010f3: ADD
000010f4: SWAP5
000010f5: SWAP1
000010f6: SWAP5
000010f7: MSTORE
000010f8: PUSH1 0x24
000010fa: DUP5
000010fb: ADD
000010fc: SWAP2
000010fd: SWAP1
000010fe: SWAP2
000010ff: MSTORE
00001100: MLOAD
00001101: PUSH1 0x00
00001103: SWAP3
00001104: PUSH1 0x01
00001106: PUSH1 0x01
00001108: PUSH1 0xa0
0000110a: SHL
0000110b: SUB
0000110c: SWAP1
0000110d: SWAP3
0000110e: AND
0000110f: SWAP2
00001110: PUSH4 0x97ec0ffd
00001115: SWAP2
00001116: PUSH1 0x44
00001118: DUP1
00001119: DUP4
0000111a: ADD
0000111b: SWAP3
0000111c: PUSH1 0x20
0000111e: SWAP3
0000111f: SWAP2
00001120: SWAP1
00001121: DUP3
00001122: SWAP1
00001123: SUB
00001124: ADD
00001125: DUP2
00001126: DUP7
00001127: DUP1
00001128: EXTCODESIZE
00001129: ISZERO
0000112a: DUP1
0000112b: ISZERO
0000112c: PUSH2 0x1134
0000112f: JUMPI
00001130: PUSH1 0x00
00001132: DUP1
00001133: REVERT
00001134: JUMPDEST
00001135: POP
00001136: GAS
00001137: STATICCALL
00001138: ISZERO
00001139: DUP1
0000113a: ISZERO
0000113b: PUSH2 0x1148
0000113e: JUMPI
0000113f: RETURNDATASIZE
00001140: PUSH1 0x00
00001142: DUP1
00001143: RETURNDATACOPY
00001144: RETURNDATASIZE
00001145: PUSH1 0x00
00001147: REVERT
00001148: JUMPDEST
00001149: POP
0000114a: POP
0000114b: POP
0000114c: POP
0000114d: PUSH1 0x40
0000114f: MLOAD
00001150: RETURNDATASIZE
00001151: PUSH1 0x20
00001153: DUP2
00001154: LT
00001155: ISZERO
00001156: PUSH2 0x115e
00001159: JUMPI
0000115a: PUSH1 0x00
0000115c: DUP1
0000115d: REVERT
0000115e: JUMPDEST
0000115f: POP
00001160: MLOAD
00001161: SWAP1
00001162: POP
00001163: PUSH2 0xffff
00001166: DUP2
00001167: AND
00001168: ISZERO
00001169: PUSH2 0x1173
0000116c: JUMPI
0000116d: SWAP1
0000116e: POP
0000116f: PUSH2 0x1179
00001172: JUMP
00001173: JUMPDEST
00001174: POP
00001175: JUMPDEST
00001176: POP
00001177: PUSH1 0x64
00001179: JUMPDEST
0000117a: SWAP1
0000117b: JUMP
0000117c: JUMPDEST
0000117d: PUSH1 0x00
0000117f: PUSH2 0x095d
00001182: PUSH1 0x09
00001184: SLOAD
00001185: PUSH2 0x0945
00001188: DUP5
00001189: PUSH2 0x08dd
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x03
00001190: SLOAD
00001191: PUSH1 0x01
00001193: PUSH1 0x01
00001195: PUSH1 0xa0
00001197: SHL
00001198: SUB
00001199: AND
0000119a: PUSH2 0x11a1
0000119d: PUSH2 0x2638
000011a0: JUMP
000011a1: JUMPDEST
000011a2: PUSH1 0x01
000011a4: PUSH1 0x01
000011a6: PUSH1 0xa0
000011a8: SHL
000011a9: SUB
000011aa: AND
000011ab: EQ
000011ac: PUSH2 0x11e6
000011af: JUMPI
000011b0: PUSH1 0x40
000011b2: MLOAD
000011b3: PUSH3 0x461bcd
000011b7: PUSH1 0xe5
000011b9: SHL
000011ba: DUP2
000011bb: MSTORE
000011bc: PUSH1 0x04
000011be: ADD
000011bf: DUP1
000011c0: DUP1
000011c1: PUSH1 0x20
000011c3: ADD
000011c4: DUP3
000011c5: DUP2
000011c6: SUB
000011c7: DUP3
000011c8: MSTORE
000011c9: PUSH1 0x21
000011cb: DUP2
000011cc: MSTORE
000011cd: PUSH1 0x20
000011cf: ADD
000011d0: DUP1
000011d1: PUSH2 0x2bc1
000011d4: PUSH1 0x21
000011d6: SWAP2
000011d7: CODECOPY
000011d8: PUSH1 0x40
000011da: ADD
000011db: SWAP2
000011dc: POP
000011dd: POP
000011de: PUSH1 0x40
000011e0: MLOAD
000011e1: DUP1
000011e2: SWAP2
000011e3: SUB
000011e4: SWAP1
000011e5: REVERT
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: PUSH2 0x11f0
000011ec: PUSH2 0x1d70
000011ef: JUMP
000011f0: JUMPDEST
000011f1: PUSH1 0x12
000011f3: SSTORE
000011f4: PUSH2 0x11fb
000011f7: PUSH2 0x1c0f
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH1 0x11
000011fe: SSTORE
000011ff: PUSH1 0x01
00001201: PUSH1 0x01
00001203: PUSH1 0xa0
00001205: SHL
00001206: SUB
00001207: DUP2
00001208: AND
00001209: ISZERO
0000120a: PUSH2 0x1242
0000120d: JUMPI
0000120e: PUSH2 0x1216
00001211: DUP2
00001212: PUSH2 0x08dd
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x01
00001219: PUSH1 0x01
0000121b: PUSH1 0xa0
0000121d: SHL
0000121e: SUB
0000121f: DUP3
00001220: AND
00001221: PUSH1 0x00
00001223: SWAP1
00001224: DUP2
00001225: MSTORE
00001226: PUSH1 0x14
00001228: PUSH1 0x20
0000122a: SWAP1
0000122b: DUP2
0000122c: MSTORE
0000122d: PUSH1 0x40
0000122f: DUP1
00001230: DUP4
00001231: KECCAK256
00001232: SWAP4
00001233: SWAP1
00001234: SWAP4
00001235: SSTORE
00001236: PUSH1 0x12
00001238: SLOAD
00001239: PUSH1 0x13
0000123b: SWAP1
0000123c: SWAP2
0000123d: MSTORE
0000123e: SWAP2
0000123f: SWAP1
00001240: KECCAK256
00001241: SSTORE
00001242: JUMPDEST
00001243: PUSH1 0x0f
00001245: SLOAD
00001246: TIMESTAMP
00001247: LT
00001248: PUSH2 0x1266
0000124b: JUMPI
0000124c: PUSH2 0x125e
0000124f: DUP3
00001250: PUSH3 0x093a80
00001254: PUSH4 0xffffffff
00001259: PUSH2 0x240b
0000125c: AND
0000125d: JUMP
0000125e: JUMPDEST
0000125f: PUSH1 0x10
00001261: SSTORE
00001262: PUSH2 0x12b4
00001265: JUMP
00001266: JUMPDEST
00001267: PUSH1 0x0f
00001269: SLOAD
0000126a: PUSH1 0x00
0000126c: SWAP1
0000126d: PUSH2 0x127c
00001270: SWAP1
00001271: TIMESTAMP
00001272: PUSH4 0xffffffff
00001277: PUSH2 0x2369
0000127a: AND
0000127b: JUMP
0000127c: JUMPDEST
0000127d: SWAP1
0000127e: POP
0000127f: PUSH1 0x00
00001281: PUSH2 0x1295
00001284: PUSH1 0x10
00001286: SLOAD
00001287: DUP4
00001288: PUSH2 0x23b2
0000128b: SWAP1
0000128c: SWAP2
0000128d: SWAP1
0000128e: PUSH4 0xffffffff
00001293: AND
00001294: JUMP
00001295: JUMPDEST
00001296: SWAP1
00001297: POP
00001298: PUSH2 0x12ae
0000129b: PUSH3 0x093a80
0000129f: PUSH2 0x0945
000012a2: DUP7
000012a3: DUP5
000012a4: PUSH4 0xffffffff
000012a9: PUSH2 0x244d
000012ac: AND
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH1 0x10
000012b1: SSTORE
000012b2: POP
000012b3: POP
000012b4: JUMPDEST
000012b5: PUSH1 0x06
000012b7: SLOAD
000012b8: PUSH1 0x40
000012ba: DUP1
000012bb: MLOAD
000012bc: PUSH4 0x40c10f19
000012c1: PUSH1 0xe0
000012c3: SHL
000012c4: DUP2
000012c5: MSTORE
000012c6: ADDRESS
000012c7: PUSH1 0x04
000012c9: DUP3
000012ca: ADD
000012cb: MSTORE
000012cc: PUSH1 0x24
000012ce: DUP2
000012cf: ADD
000012d0: DUP6
000012d1: SWAP1
000012d2: MSTORE
000012d3: SWAP1
000012d4: MLOAD
000012d5: PUSH1 0x01
000012d7: PUSH1 0x01
000012d9: PUSH1 0xa0
000012db: SHL
000012dc: SUB
000012dd: SWAP1
000012de: SWAP3
000012df: AND
000012e0: SWAP2
000012e1: PUSH4 0x40c10f19
000012e6: SWAP2
000012e7: PUSH1 0x44
000012e9: DUP1
000012ea: DUP3
000012eb: ADD
000012ec: SWAP3
000012ed: PUSH1 0x00
000012ef: SWAP3
000012f0: SWAP1
000012f1: SWAP2
000012f2: SWAP1
000012f3: DUP3
000012f4: SWAP1
000012f5: SUB
000012f6: ADD
000012f7: DUP2
000012f8: DUP4
000012f9: DUP8
000012fa: DUP1
000012fb: EXTCODESIZE
000012fc: ISZERO
000012fd: DUP1
000012fe: ISZERO
000012ff: PUSH2 0x1307
00001302: JUMPI
00001303: PUSH1 0x00
00001305: DUP1
00001306: REVERT
00001307: JUMPDEST
00001308: POP
00001309: GAS
0000130a: CALL
0000130b: ISZERO
0000130c: DUP1
0000130d: ISZERO
0000130e: PUSH2 0x131b
00001311: JUMPI
00001312: RETURNDATASIZE
00001313: PUSH1 0x00
00001315: DUP1
00001316: RETURNDATACOPY
00001317: RETURNDATASIZE
00001318: PUSH1 0x00
0000131a: REVERT
0000131b: JUMPDEST
0000131c: POP
0000131d: POP
0000131e: PUSH1 0x07
00001320: SLOAD
00001321: PUSH1 0x09
00001323: SLOAD
00001324: PUSH1 0x01
00001326: PUSH1 0x01
00001328: PUSH1 0xa0
0000132a: SHL
0000132b: SUB
0000132c: SWAP1
0000132d: SWAP2
0000132e: AND
0000132f: SWAP3
00001330: POP
00001331: PUSH4 0x40c10f19
00001336: SWAP2
00001337: POP
00001338: ADDRESS
00001339: SWAP1
0000133a: PUSH2 0x134a
0000133d: SWAP1
0000133e: DUP7
0000133f: SWAP1
00001340: PUSH4 0xffffffff
00001345: PUSH2 0x240b
00001348: AND
00001349: JUMP
0000134a: JUMPDEST
0000134b: PUSH1 0x40
0000134d: MLOAD
0000134e: DUP4
0000134f: PUSH4 0xffffffff
00001354: AND
00001355: PUSH1 0xe0
00001357: SHL
00001358: DUP2
00001359: MSTORE
0000135a: PUSH1 0x04
0000135c: ADD
0000135d: DUP1
0000135e: DUP4
0000135f: PUSH1 0x01
00001361: PUSH1 0x01
00001363: PUSH1 0xa0
00001365: SHL
00001366: SUB
00001367: AND
00001368: PUSH1 0x01
0000136a: PUSH1 0x01
0000136c: PUSH1 0xa0
0000136e: SHL
0000136f: SUB
00001370: AND
00001371: DUP2
00001372: MSTORE
00001373: PUSH1 0x20
00001375: ADD
00001376: DUP3
00001377: DUP2
00001378: MSTORE
00001379: PUSH1 0x20
0000137b: ADD
0000137c: SWAP3
0000137d: POP
0000137e: POP
0000137f: POP
00001380: PUSH1 0x00
00001382: PUSH1 0x40
00001384: MLOAD
00001385: DUP1
00001386: DUP4
00001387: SUB
00001388: DUP2
00001389: PUSH1 0x00
0000138b: DUP8
0000138c: DUP1
0000138d: EXTCODESIZE
0000138e: ISZERO
0000138f: DUP1
00001390: ISZERO
00001391: PUSH2 0x1399
00001394: JUMPI
00001395: PUSH1 0x00
00001397: DUP1
00001398: REVERT
00001399: JUMPDEST
0000139a: POP
0000139b: GAS
0000139c: CALL
0000139d: ISZERO
0000139e: DUP1
0000139f: ISZERO
000013a0: PUSH2 0x13ad
000013a3: JUMPI
000013a4: RETURNDATASIZE
000013a5: PUSH1 0x00
000013a7: DUP1
000013a8: RETURNDATACOPY
000013a9: RETURNDATASIZE
000013aa: PUSH1 0x00
000013ac: REVERT
000013ad: JUMPDEST
000013ae: POP
000013af: POP
000013b0: PUSH1 0x08
000013b2: SLOAD
000013b3: PUSH1 0x0a
000013b5: SLOAD
000013b6: PUSH1 0x01
000013b8: PUSH1 0x01
000013ba: PUSH1 0xa0
000013bc: SHL
000013bd: SUB
000013be: SWAP1
000013bf: SWAP2
000013c0: AND
000013c1: SWAP3
000013c2: POP
000013c3: PUSH4 0x40c10f19
000013c8: SWAP2
000013c9: POP
000013ca: ADDRESS
000013cb: SWAP1
000013cc: PUSH2 0x13dc
000013cf: SWAP1
000013d0: DUP7
000013d1: SWAP1
000013d2: PUSH4 0xffffffff
000013d7: PUSH2 0x240b
000013da: AND
000013db: JUMP
000013dc: JUMPDEST
000013dd: PUSH1 0x40
000013df: MLOAD
000013e0: DUP4
000013e1: PUSH4 0xffffffff
000013e6: AND
000013e7: PUSH1 0xe0
000013e9: SHL
000013ea: DUP2
000013eb: MSTORE
000013ec: PUSH1 0x04
000013ee: ADD
000013ef: DUP1
000013f0: DUP4
000013f1: PUSH1 0x01
000013f3: PUSH1 0x01
000013f5: PUSH1 0xa0
000013f7: SHL
000013f8: SUB
000013f9: AND
000013fa: PUSH1 0x01
000013fc: PUSH1 0x01
000013fe: PUSH1 0xa0
00001400: SHL
00001401: SUB
00001402: AND
00001403: DUP2
00001404: MSTORE
00001405: PUSH1 0x20
00001407: ADD
00001408: DUP3
00001409: DUP2
0000140a: MSTORE
0000140b: PUSH1 0x20
0000140d: ADD
0000140e: SWAP3
0000140f: POP
00001410: POP
00001411: POP
00001412: PUSH1 0x00
00001414: PUSH1 0x40
00001416: MLOAD
00001417: DUP1
00001418: DUP4
00001419: SUB
0000141a: DUP2
0000141b: PUSH1 0x00
0000141d: DUP8
0000141e: DUP1
0000141f: EXTCODESIZE
00001420: ISZERO
00001421: DUP1
00001422: ISZERO
00001423: PUSH2 0x142b
00001426: JUMPI
00001427: PUSH1 0x00
00001429: DUP1
0000142a: REVERT
0000142b: JUMPDEST
0000142c: POP
0000142d: GAS
0000142e: CALL
0000142f: ISZERO
00001430: DUP1
00001431: ISZERO
00001432: PUSH2 0x143f
00001435: JUMPI
00001436: RETURNDATASIZE
00001437: PUSH1 0x00
00001439: DUP1
0000143a: RETURNDATACOPY
0000143b: RETURNDATASIZE
0000143c: PUSH1 0x00
0000143e: REVERT
0000143f: JUMPDEST
00001440: POP
00001441: POP
00001442: TIMESTAMP
00001443: PUSH1 0x11
00001445: DUP2
00001446: SWAP1
00001447: SSTORE
00001448: PUSH2 0x145d
0000144b: SWAP3
0000144c: POP
0000144d: SWAP1
0000144e: POP
0000144f: PUSH3 0x093a80
00001453: PUSH4 0xffffffff
00001458: PUSH2 0x244d
0000145b: AND
0000145c: JUMP
0000145d: JUMPDEST
0000145e: PUSH1 0x0f
00001460: SSTORE
00001461: PUSH1 0x40
00001463: DUP1
00001464: MLOAD
00001465: DUP4
00001466: DUP2
00001467: MSTORE
00001468: SWAP1
00001469: MLOAD
0000146a: PUSH1 0x00
0000146c: DUP1
0000146d: MLOAD
0000146e: PUSH1 0x20
00001470: PUSH2 0x2b60
00001473: DUP4
00001474: CODECOPY
00001475: DUP2
00001476: MLOAD
00001477: SWAP2
00001478: MSTORE
00001479: SWAP2
0000147a: DUP2
0000147b: SWAP1
0000147c: SUB
0000147d: PUSH1 0x20
0000147f: ADD
00001480: SWAP1
00001481: LOG1
00001482: POP
00001483: POP
00001484: JUMP
00001485: JUMPDEST
00001486: CALLER
00001487: PUSH2 0x148e
0000148a: PUSH2 0x1d70
0000148d: JUMP
0000148e: JUMPDEST
0000148f: PUSH1 0x12
00001491: SSTORE
00001492: PUSH2 0x1499
00001495: PUSH2 0x1c0f
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x11
0000149c: SSTORE
0000149d: PUSH1 0x01
0000149f: PUSH1 0x01
000014a1: PUSH1 0xa0
000014a3: SHL
000014a4: SUB
000014a5: DUP2
000014a6: AND
000014a7: ISZERO
000014a8: PUSH2 0x14e0
000014ab: JUMPI
000014ac: PUSH2 0x14b4
000014af: DUP2
000014b0: PUSH2 0x08dd
000014b3: JUMP
000014b4: JUMPDEST
000014b5: PUSH1 0x01
000014b7: PUSH1 0x01
000014b9: PUSH1 0xa0
000014bb: SHL
000014bc: SUB
000014bd: DUP3
000014be: AND
000014bf: PUSH1 0x00
000014c1: SWAP1
000014c2: DUP2
000014c3: MSTORE
000014c4: PUSH1 0x14
000014c6: PUSH1 0x20
000014c8: SWAP1
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x40
000014cd: DUP1
000014ce: DUP4
000014cf: KECCAK256
000014d0: SWAP4
000014d1: SWAP1
000014d2: SWAP4
000014d3: SSTORE
000014d4: PUSH1 0x12
000014d6: SLOAD
000014d7: PUSH1 0x13
000014d9: SWAP1
000014da: SWAP2
000014db: MSTORE
000014dc: SWAP2
000014dd: SWAP1
000014de: KECCAK256
000014df: SSTORE
000014e0: JUMPDEST
000014e1: PUSH1 0x0f
000014e3: SLOAD
000014e4: TIMESTAMP
000014e5: LT
000014e6: PUSH2 0x1777
000014e9: JUMPI
000014ea: PUSH10 0x0d573ca1c3b1c9600000
000014f5: PUSH1 0x0b
000014f7: SSTORE
000014f8: PUSH1 0x00
000014fa: PUSH2 0x1501
000014fd: PUSH2 0x10c6
00001500: JUMP
00001501: JUMPDEST
00001502: SWAP1
00001503: POP
00001504: PUSH2 0x1521
00001507: PUSH1 0x64
00001509: PUSH2 0x0945
0000150c: DUP4
0000150d: PUSH2 0xffff
00001510: AND
00001511: PUSH1 0x0b
00001513: SLOAD
00001514: PUSH2 0x23b2
00001517: SWAP1
00001518: SWAP2
00001519: SWAP1
0000151a: PUSH4 0xffffffff
0000151f: AND
00001520: JUMP
00001521: JUMPDEST
00001522: PUSH1 0x0c
00001524: DUP2
00001525: SWAP1
00001526: SSTORE
00001527: PUSH1 0x0d
00001529: SLOAD
0000152a: PUSH10 0x85685e51a4f1ddc00000
00001535: SWAP2
00001536: PUSH2 0x1545
00001539: SWAP2
0000153a: SWAP1
0000153b: PUSH4 0xffffffff
00001540: PUSH2 0x244d
00001543: AND
00001544: JUMP
00001545: JUMPDEST
00001546: GT
00001547: ISZERO
00001548: PUSH2 0x156d
0000154b: JUMPI
0000154c: PUSH1 0x0d
0000154e: SLOAD
0000154f: PUSH2 0x1569
00001552: SWAP1
00001553: PUSH10 0x85685e51a4f1ddc00000
0000155e: SWAP1
0000155f: PUSH4 0xffffffff
00001564: PUSH2 0x2369
00001567: AND
00001568: JUMP
00001569: JUMPDEST
0000156a: PUSH1 0x0c
0000156c: SSTORE
0000156d: JUMPDEST
0000156e: PUSH1 0x0c
00001570: SLOAD
00001571: ISZERO
00001572: PUSH2 0x1723
00001575: JUMPI
00001576: PUSH1 0x06
00001578: SLOAD
00001579: PUSH1 0x0c
0000157b: SLOAD
0000157c: PUSH1 0x40
0000157e: DUP1
0000157f: MLOAD
00001580: PUSH4 0x40c10f19
00001585: PUSH1 0xe0
00001587: SHL
00001588: DUP2
00001589: MSTORE
0000158a: ADDRESS
0000158b: PUSH1 0x04
0000158d: DUP3
0000158e: ADD
0000158f: MSTORE
00001590: PUSH1 0x24
00001592: DUP2
00001593: ADD
00001594: SWAP3
00001595: SWAP1
00001596: SWAP3
00001597: MSTORE
00001598: MLOAD
00001599: PUSH1 0x01
0000159b: PUSH1 0x01
0000159d: PUSH1 0xa0
0000159f: SHL
000015a0: SUB
000015a1: SWAP1
000015a2: SWAP3
000015a3: AND
000015a4: SWAP2
000015a5: PUSH4 0x40c10f19
000015aa: SWAP2
000015ab: PUSH1 0x44
000015ad: DUP1
000015ae: DUP3
000015af: ADD
000015b0: SWAP3
000015b1: PUSH1 0x00
000015b3: SWAP3
000015b4: SWAP1
000015b5: SWAP2
000015b6: SWAP1
000015b7: DUP3
000015b8: SWAP1
000015b9: SUB
000015ba: ADD
000015bb: DUP2
000015bc: DUP4
000015bd: DUP8
000015be: DUP1
000015bf: EXTCODESIZE
000015c0: ISZERO
000015c1: DUP1
000015c2: ISZERO
000015c3: PUSH2 0x15cb
000015c6: JUMPI
000015c7: PUSH1 0x00
000015c9: DUP1
000015ca: REVERT
000015cb: JUMPDEST
000015cc: POP
000015cd: GAS
000015ce: CALL
000015cf: ISZERO
000015d0: DUP1
000015d1: ISZERO
000015d2: PUSH2 0x15df
000015d5: JUMPI
000015d6: RETURNDATASIZE
000015d7: PUSH1 0x00
000015d9: DUP1
000015da: RETURNDATACOPY
000015db: RETURNDATASIZE
000015dc: PUSH1 0x00
000015de: REVERT
000015df: JUMPDEST
000015e0: POP
000015e1: POP
000015e2: PUSH1 0x07
000015e4: SLOAD
000015e5: PUSH1 0x09
000015e7: SLOAD
000015e8: PUSH1 0x0c
000015ea: SLOAD
000015eb: PUSH1 0x01
000015ed: PUSH1 0x01
000015ef: PUSH1 0xa0
000015f1: SHL
000015f2: SUB
000015f3: SWAP1
000015f4: SWAP3
000015f5: AND
000015f6: SWAP4
000015f7: POP
000015f8: PUSH4 0x40c10f19
000015fd: SWAP3
000015fe: POP
000015ff: ADDRESS
00001600: SWAP2
00001601: PUSH2 0x160f
00001604: SWAP2
00001605: PUSH4 0xffffffff
0000160a: PUSH2 0x240b
0000160d: AND
0000160e: JUMP
0000160f: JUMPDEST
00001610: PUSH1 0x40
00001612: MLOAD
00001613: DUP4
00001614: PUSH4 0xffffffff
00001619: AND
0000161a: PUSH1 0xe0
0000161c: SHL
0000161d: DUP2
0000161e: MSTORE
0000161f: PUSH1 0x04
00001621: ADD
00001622: DUP1
00001623: DUP4
00001624: PUSH1 0x01
00001626: PUSH1 0x01
00001628: PUSH1 0xa0
0000162a: SHL
0000162b: SUB
0000162c: AND
0000162d: PUSH1 0x01
0000162f: PUSH1 0x01
00001631: PUSH1 0xa0
00001633: SHL
00001634: SUB
00001635: AND
00001636: DUP2
00001637: MSTORE
00001638: PUSH1 0x20
0000163a: ADD
0000163b: DUP3
0000163c: DUP2
0000163d: MSTORE
0000163e: PUSH1 0x20
00001640: ADD
00001641: SWAP3
00001642: POP
00001643: POP
00001644: POP
00001645: PUSH1 0x00
00001647: PUSH1 0x40
00001649: MLOAD
0000164a: DUP1
0000164b: DUP4
0000164c: SUB
0000164d: DUP2
0000164e: PUSH1 0x00
00001650: DUP8
00001651: DUP1
00001652: EXTCODESIZE
00001653: ISZERO
00001654: DUP1
00001655: ISZERO
00001656: PUSH2 0x165e
00001659: JUMPI
0000165a: PUSH1 0x00
0000165c: DUP1
0000165d: REVERT
0000165e: JUMPDEST
0000165f: POP
00001660: GAS
00001661: CALL
00001662: ISZERO
00001663: DUP1
00001664: ISZERO
00001665: PUSH2 0x1672
00001668: JUMPI
00001669: RETURNDATASIZE
0000166a: PUSH1 0x00
0000166c: DUP1
0000166d: RETURNDATACOPY
0000166e: RETURNDATASIZE
0000166f: PUSH1 0x00
00001671: REVERT
00001672: JUMPDEST
00001673: POP
00001674: POP
00001675: PUSH1 0x08
00001677: SLOAD
00001678: PUSH1 0x0a
0000167a: SLOAD
0000167b: PUSH1 0x0c
0000167d: SLOAD
0000167e: PUSH1 0x01
00001680: PUSH1 0x01
00001682: PUSH1 0xa0
00001684: SHL
00001685: SUB
00001686: SWAP1
00001687: SWAP3
00001688: AND
00001689: SWAP4
0000168a: POP
0000168b: PUSH4 0x40c10f19
00001690: SWAP3
00001691: POP
00001692: ADDRESS
00001693: SWAP2
00001694: PUSH2 0x16a2
00001697: SWAP2
00001698: PUSH4 0xffffffff
0000169d: PUSH2 0x240b
000016a0: AND
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH1 0x40
000016a5: MLOAD
000016a6: DUP4
000016a7: PUSH4 0xffffffff
000016ac: AND
000016ad: PUSH1 0xe0
000016af: SHL
000016b0: DUP2
000016b1: MSTORE
000016b2: PUSH1 0x04
000016b4: ADD
000016b5: DUP1
000016b6: DUP4
000016b7: PUSH1 0x01
000016b9: PUSH1 0x01
000016bb: PUSH1 0xa0
000016bd: SHL
000016be: SUB
000016bf: AND
000016c0: PUSH1 0x01
000016c2: PUSH1 0x01
000016c4: PUSH1 0xa0
000016c6: SHL
000016c7: SUB
000016c8: AND
000016c9: DUP2
000016ca: MSTORE
000016cb: PUSH1 0x20
000016cd: ADD
000016ce: DUP3
000016cf: DUP2
000016d0: MSTORE
000016d1: PUSH1 0x20
000016d3: ADD
000016d4: SWAP3
000016d5: POP
000016d6: POP
000016d7: POP
000016d8: PUSH1 0x00
000016da: PUSH1 0x40
000016dc: MLOAD
000016dd: DUP1
000016de: DUP4
000016df: SUB
000016e0: DUP2
000016e1: PUSH1 0x00
000016e3: DUP8
000016e4: DUP1
000016e5: EXTCODESIZE
000016e6: ISZERO
000016e7: DUP1
000016e8: ISZERO
000016e9: PUSH2 0x16f1
000016ec: JUMPI
000016ed: PUSH1 0x00
000016ef: DUP1
000016f0: REVERT
000016f1: JUMPDEST
000016f2: POP
000016f3: GAS
000016f4: CALL
000016f5: ISZERO
000016f6: DUP1
000016f7: ISZERO
000016f8: PUSH2 0x1705
000016fb: JUMPI
000016fc: RETURNDATASIZE
000016fd: PUSH1 0x00
000016ff: DUP1
00001700: RETURNDATACOPY
00001701: RETURNDATASIZE
00001702: PUSH1 0x00
00001704: REVERT
00001705: JUMPDEST
00001706: POP
00001707: POP
00001708: PUSH1 0x0c
0000170a: SLOAD
0000170b: PUSH1 0x0d
0000170d: SLOAD
0000170e: PUSH2 0x171f
00001711: SWAP4
00001712: POP
00001713: SWAP2
00001714: POP
00001715: PUSH4 0xffffffff
0000171a: PUSH2 0x244d
0000171d: AND
0000171e: JUMP
0000171f: JUMPDEST
00001720: PUSH1 0x0d
00001722: SSTORE
00001723: JUMPDEST
00001724: PUSH1 0x0c
00001726: SLOAD
00001727: PUSH2 0x1739
0000172a: SWAP1
0000172b: PUSH3 0x093a80
0000172f: PUSH4 0xffffffff
00001734: PUSH2 0x240b
00001737: AND
00001738: JUMP
00001739: JUMPDEST
0000173a: PUSH1 0x10
0000173c: SSTORE
0000173d: PUSH2 0x174f
00001740: TIMESTAMP
00001741: PUSH3 0x093a80
00001745: PUSH4 0xffffffff
0000174a: PUSH2 0x244d
0000174d: AND
0000174e: JUMP
0000174f: JUMPDEST
00001750: PUSH1 0x0f
00001752: SSTORE
00001753: PUSH1 0x0c
00001755: SLOAD
00001756: PUSH1 0x40
00001758: DUP1
00001759: MLOAD
0000175a: SWAP2
0000175b: DUP3
0000175c: MSTORE
0000175d: MLOAD
0000175e: PUSH1 0x00
00001760: DUP1
00001761: MLOAD
00001762: PUSH1 0x20
00001764: PUSH2 0x2b60
00001767: DUP4
00001768: CODECOPY
00001769: DUP2
0000176a: MLOAD
0000176b: SWAP2
0000176c: MSTORE
0000176d: SWAP2
0000176e: DUP2
0000176f: SWAP1
00001770: SUB
00001771: PUSH1 0x20
00001773: ADD
00001774: SWAP1
00001775: LOG1
00001776: POP
00001777: JUMPDEST
00001778: PUSH1 0x0e
0000177a: SLOAD
0000177b: TIMESTAMP
0000177c: GT
0000177d: PUSH2 0x17b9
00001780: JUMPI
00001781: PUSH1 0x40
00001783: DUP1
00001784: MLOAD
00001785: PUSH3 0x461bcd
00001789: PUSH1 0xe5
0000178b: SHL
0000178c: DUP2
0000178d: MSTORE
0000178e: PUSH1 0x20
00001790: PUSH1 0x04
00001792: DUP3
00001793: ADD
00001794: MSTORE
00001795: PUSH1 0x09
00001797: PUSH1 0x24
00001799: DUP3
0000179a: ADD
0000179b: MSTORE
0000179c: PUSH9 0x1b9bdd081cdd185c9d
000017a6: PUSH1 0xba
000017a8: SHL
000017a9: PUSH1 0x44
000017ab: DUP3
000017ac: ADD
000017ad: MSTORE
000017ae: SWAP1
000017af: MLOAD
000017b0: SWAP1
000017b1: DUP2
000017b2: SWAP1
000017b3: SUB
000017b4: PUSH1 0x64
000017b6: ADD
000017b7: SWAP1
000017b8: REVERT
000017b9: JUMPDEST
000017ba: PUSH1 0x00
000017bc: PUSH2 0x17c4
000017bf: CALLER
000017c0: PUSH2 0x08dd
000017c3: JUMP
000017c4: JUMPDEST
000017c5: SWAP1
000017c6: POP
000017c7: PUSH1 0x01
000017c9: DUP2
000017ca: GT
000017cb: ISZERO
000017cc: PUSH2 0x1a4f
000017cf: JUMPI
000017d0: CALLER
000017d1: PUSH1 0x00
000017d3: SWAP1
000017d4: DUP2
000017d5: MSTORE
000017d6: PUSH1 0x14
000017d8: PUSH1 0x20
000017da: SWAP1
000017db: DUP2
000017dc: MSTORE
000017dd: PUSH1 0x40
000017df: DUP1
000017e0: DUP4
000017e1: KECCAK256
000017e2: SLOAD
000017e3: PUSH1 0x16
000017e5: SWAP1
000017e6: SWAP3
000017e7: MSTORE
000017e8: SWAP1
000017e9: SWAP2
000017ea: KECCAK256
000017eb: SLOAD
000017ec: PUSH2 0x17fa
000017ef: SWAP2
000017f0: PUSH4 0xffffffff
000017f5: PUSH2 0x244d
000017f8: AND
000017f9: JUMP
000017fa: JUMPDEST
000017fb: CALLER
000017fc: PUSH1 0x00
000017fe: SWAP1
000017ff: DUP2
00001800: MSTORE
00001801: PUSH1 0x16
00001803: PUSH1 0x20
00001805: SWAP1
00001806: DUP2
00001807: MSTORE
00001808: PUSH1 0x40
0000180a: DUP1
0000180b: DUP4
0000180c: KECCAK256
0000180d: SWAP4
0000180e: SWAP1
0000180f: SWAP4
00001810: SSTORE
00001811: PUSH1 0x14
00001813: SWAP1
00001814: MSTORE
00001815: SWAP1
00001816: DUP2
00001817: KECCAK256
00001818: DUP2
00001819: SWAP1
0000181a: SSTORE
0000181b: PUSH2 0x1830
0000181e: PUSH1 0x64
00001820: PUSH2 0x0945
00001823: DUP5
00001824: PUSH1 0x63
00001826: PUSH4 0xffffffff
0000182b: PUSH2 0x23b2
0000182e: AND
0000182f: JUMP
00001830: JUMPDEST
00001831: PUSH1 0x06
00001833: SLOAD
00001834: SWAP1
00001835: SWAP2
00001836: POP
00001837: DUP2
00001838: DUP4
00001839: SUB
0000183a: SWAP1
0000183b: PUSH2 0x1854
0000183e: SWAP1
0000183f: PUSH1 0x01
00001841: PUSH1 0x01
00001843: PUSH1 0xa0
00001845: SHL
00001846: SUB
00001847: AND
00001848: CALLER
00001849: DUP5
0000184a: PUSH4 0xffffffff
0000184f: PUSH2 0x24a7
00001852: AND
00001853: JUMP
00001854: JUMPDEST
00001855: PUSH1 0x40
00001857: DUP1
00001858: MLOAD
00001859: DUP4
0000185a: DUP2
0000185b: MSTORE
0000185c: SWAP1
0000185d: MLOAD
0000185e: CALLER
0000185f: SWAP2
00001860: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
00001881: SWAP2
00001882: SWAP1
00001883: DUP2
00001884: SWAP1
00001885: SUB
00001886: PUSH1 0x20
00001888: ADD
00001889: SWAP1
0000188a: LOG2
0000188b: PUSH1 0x05
0000188d: SLOAD
0000188e: PUSH1 0x00
00001890: SWAP1
00001891: PUSH1 0x01
00001893: PUSH1 0x01
00001895: PUSH1 0xa0
00001897: SHL
00001898: SUB
00001899: AND
0000189a: ISZERO
0000189b: PUSH2 0x1918
0000189e: JUMPI
0000189f: PUSH1 0x05
000018a1: SLOAD
000018a2: PUSH1 0x40
000018a4: DUP1
000018a5: MLOAD
000018a6: PUSH4 0x4a9fefc7
000018ab: PUSH1 0xe0
000018ad: SHL
000018ae: DUP2
000018af: MSTORE
000018b0: CALLER
000018b1: PUSH1 0x04
000018b3: DUP3
000018b4: ADD
000018b5: MSTORE
000018b6: SWAP1
000018b7: MLOAD
000018b8: PUSH1 0x01
000018ba: PUSH1 0x01
000018bc: PUSH1 0xa0
000018be: SHL
000018bf: SUB
000018c0: SWAP1
000018c1: SWAP3
000018c2: AND
000018c3: SWAP2
000018c4: PUSH4 0x4a9fefc7
000018c9: SWAP2
000018ca: PUSH1 0x24
000018cc: DUP1
000018cd: DUP3
000018ce: ADD
000018cf: SWAP3
000018d0: PUSH1 0x20
000018d2: SWAP3
000018d3: SWAP1
000018d4: SWAP2
000018d5: SWAP1
000018d6: DUP3
000018d7: SWAP1
000018d8: SUB
000018d9: ADD
000018da: DUP2
000018db: DUP7
000018dc: DUP1
000018dd: EXTCODESIZE
000018de: ISZERO
000018df: DUP1
000018e0: ISZERO
000018e1: PUSH2 0x18e9
000018e4: JUMPI
000018e5: PUSH1 0x00
000018e7: DUP1
000018e8: REVERT
000018e9: JUMPDEST
000018ea: POP
000018eb: GAS
000018ec: STATICCALL
000018ed: ISZERO
000018ee: DUP1
000018ef: ISZERO
000018f0: PUSH2 0x18fd
000018f3: JUMPI
000018f4: RETURNDATASIZE
000018f5: PUSH1 0x00
000018f7: DUP1
000018f8: RETURNDATACOPY
000018f9: RETURNDATASIZE
000018fa: PUSH1 0x00
000018fc: REVERT
000018fd: JUMPDEST
000018fe: POP
000018ff: POP
00001900: POP
00001901: POP
00001902: PUSH1 0x40
00001904: MLOAD
00001905: RETURNDATASIZE
00001906: PUSH1 0x20
00001908: DUP2
00001909: LT
0000190a: ISZERO
0000190b: PUSH2 0x1913
0000190e: JUMPI
0000190f: PUSH1 0x00
00001911: DUP1
00001912: REVERT
00001913: JUMPDEST
00001914: POP
00001915: MLOAD
00001916: SWAP1
00001917: POP
00001918: JUMPDEST
00001919: PUSH1 0x01
0000191b: PUSH1 0x01
0000191d: PUSH1 0xa0
0000191f: SHL
00001920: SUB
00001921: DUP2
00001922: AND
00001923: ISZERO
00001924: PUSH2 0x197f
00001927: JUMPI
00001928: PUSH1 0x06
0000192a: SLOAD
0000192b: PUSH2 0x1944
0000192e: SWAP1
0000192f: PUSH1 0x01
00001931: PUSH1 0x01
00001933: PUSH1 0xa0
00001935: SHL
00001936: SUB
00001937: AND
00001938: DUP3
00001939: DUP5
0000193a: PUSH4 0xffffffff
0000193f: PUSH2 0x24a7
00001942: AND
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH1 0x40
00001947: DUP1
00001948: MLOAD
00001949: DUP4
0000194a: DUP2
0000194b: MSTORE
0000194c: SWAP1
0000194d: MLOAD
0000194e: CALLER
0000194f: SWAP2
00001950: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
00001971: SWAP2
00001972: SWAP1
00001973: DUP2
00001974: SWAP1
00001975: SUB
00001976: PUSH1 0x20
00001978: ADD
00001979: SWAP1
0000197a: LOG2
0000197b: PUSH2 0x1a19
0000197e: JUMP
0000197f: JUMPDEST
00001980: PUSH1 0x06
00001982: SLOAD
00001983: PUSH1 0x40
00001985: DUP1
00001986: MLOAD
00001987: PUSH4 0x0852cd8d
0000198c: PUSH1 0xe3
0000198e: SHL
0000198f: DUP2
00001990: MSTORE
00001991: PUSH1 0x04
00001993: DUP2
00001994: ADD
00001995: DUP6
00001996: SWAP1
00001997: MSTORE
00001998: SWAP1
00001999: MLOAD
0000199a: PUSH1 0x01
0000199c: PUSH1 0x01
0000199e: PUSH1 0xa0
000019a0: SHL
000019a1: SUB
000019a2: SWAP1
000019a3: SWAP3
000019a4: AND
000019a5: SWAP2
000019a6: PUSH4 0x42966c68
000019ab: SWAP2
000019ac: PUSH1 0x24
000019ae: DUP1
000019af: DUP3
000019b0: ADD
000019b1: SWAP3
000019b2: PUSH1 0x00
000019b4: SWAP3
000019b5: SWAP1
000019b6: SWAP2
000019b7: SWAP1
000019b8: DUP3
000019b9: SWAP1
000019ba: SUB
000019bb: ADD
000019bc: DUP2
000019bd: DUP4
000019be: DUP8
000019bf: DUP1
000019c0: EXTCODESIZE
000019c1: ISZERO
000019c2: DUP1
000019c3: ISZERO
000019c4: PUSH2 0x19cc
000019c7: JUMPI
000019c8: PUSH1 0x00
000019ca: DUP1
000019cb: REVERT
000019cc: JUMPDEST
000019cd: POP
000019ce: GAS
000019cf: CALL
000019d0: ISZERO
000019d1: DUP1
000019d2: ISZERO
000019d3: PUSH2 0x19e0
000019d6: JUMPI
000019d7: RETURNDATASIZE
000019d8: PUSH1 0x00
000019da: DUP1
000019db: RETURNDATACOPY
000019dc: RETURNDATASIZE
000019dd: PUSH1 0x00
000019df: REVERT
000019e0: JUMPDEST
000019e1: POP
000019e2: POP
000019e3: PUSH1 0x40
000019e5: DUP1
000019e6: MLOAD
000019e7: DUP6
000019e8: DUP2
000019e9: MSTORE
000019ea: SWAP1
000019eb: MLOAD
000019ec: PUSH32 0xd83c63197e8e676d80ab0122beba9a9d20f3828839e9a1d6fe81d242e9cd7e6e
00001a0d: SWAP4
00001a0e: POP
00001a0f: SWAP1
00001a10: DUP2
00001a11: SWAP1
00001a12: SUB
00001a13: PUSH1 0x20
00001a15: ADD
00001a16: SWAP2
00001a17: POP
00001a18: LOG1
00001a19: JUMPDEST
00001a1a: PUSH2 0x1a4b
00001a1d: CALLER
00001a1e: PUSH2 0x1a32
00001a21: PUSH1 0x09
00001a23: SLOAD
00001a24: DUP8
00001a25: PUSH2 0x240b
00001a28: SWAP1
00001a29: SWAP2
00001a2a: SWAP1
00001a2b: PUSH4 0xffffffff
00001a30: AND
00001a31: JUMP
00001a32: JUMPDEST
00001a33: PUSH1 0x07
00001a35: SLOAD
00001a36: PUSH1 0x01
00001a38: PUSH1 0x01
00001a3a: PUSH1 0xa0
00001a3c: SHL
00001a3d: SUB
00001a3e: AND
00001a3f: SWAP2
00001a40: SWAP1
00001a41: PUSH4 0xffffffff
00001a46: PUSH2 0x24a7
00001a49: AND
00001a4a: JUMP
00001a4b: JUMPDEST
00001a4c: POP
00001a4d: POP
00001a4e: POP
00001a4f: JUMPDEST
00001a50: POP
00001a51: POP
00001a52: JUMP
00001a53: JUMPDEST
00001a54: PUSH1 0x00
00001a56: PUSH2 0x095d
00001a59: PUSH1 0x0a
00001a5b: SLOAD
00001a5c: PUSH2 0x0945
00001a5f: DUP5
00001a60: PUSH2 0x2336
00001a63: JUMP
00001a64: JUMPDEST
00001a65: PUSH1 0x21
00001a67: PUSH1 0x20
00001a69: MSTORE
00001a6a: PUSH1 0x00
00001a6c: SWAP1
00001a6d: DUP2
00001a6e: MSTORE
00001a6f: PUSH1 0x40
00001a71: SWAP1
00001a72: KECCAK256
00001a73: SLOAD
00001a74: DUP2
00001a75: JUMP
00001a76: JUMPDEST
00001a77: PUSH1 0x1b
00001a79: DUP2
00001a7a: PUSH1 0x04
00001a7c: DUP2
00001a7d: LT
00001a7e: PUSH2 0x1a83
00001a81: JUMPI
00001a82: INVALID
00001a83: JUMPDEST
00001a84: ADD
00001a85: SLOAD
00001a86: SWAP1
00001a87: POP
00001a88: DUP2
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: PUSH20 0xdac17f958d2ee523a2206206994597c13d831ec7
00001aa0: DUP2
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: PUSH1 0x01
00001aa5: DUP2
00001aa6: JUMP
00001aa7: JUMPDEST
00001aa8: PUSH1 0x00
00001aaa: DUP1
00001aab: DUP1
00001aac: JUMPDEST
00001aad: PUSH1 0x04
00001aaf: DUP2
00001ab0: PUSH1 0xff
00001ab2: AND
00001ab3: LT
00001ab4: ISZERO
00001ab5: PUSH2 0x1b0a
00001ab8: JUMPI
00001ab9: PUSH2 0x1b00
00001abc: PUSH2 0x1af3
00001abf: PUSH1 0x1b
00001ac1: DUP4
00001ac2: PUSH1 0xff
00001ac4: AND
00001ac5: PUSH1 0x04
00001ac7: DUP2
00001ac8: LT
00001ac9: PUSH2 0x1ace
00001acc: JUMPI
00001acd: INVALID
00001ace: JUMPDEST
00001acf: ADD
00001ad0: SLOAD
00001ad1: PUSH2 0x0939
00001ad4: PUSH1 0x17
00001ad6: DUP6
00001ad7: PUSH1 0xff
00001ad9: AND
00001ada: PUSH1 0x04
00001adc: DUP2
00001add: LT
00001ade: PUSH2 0x1ae3
00001ae1: JUMPI
00001ae2: INVALID
00001ae3: JUMPDEST
00001ae4: ADD
00001ae5: SLOAD
00001ae6: PUSH1 0x01
00001ae8: PUSH1 0x01
00001aea: PUSH1 0xa0
00001aec: SHL
00001aed: SUB
00001aee: AND
00001aef: PUSH2 0x1dd0
00001af2: JUMP
00001af3: JUMPDEST
00001af4: DUP4
00001af5: SWAP1
00001af6: PUSH4 0xffffffff
00001afb: PUSH2 0x244d
00001afe: AND
00001aff: JUMP
00001b00: JUMPDEST
00001b01: SWAP2
00001b02: POP
00001b03: PUSH1 0x01
00001b05: ADD
00001b06: PUSH2 0x1aac
00001b09: JUMP
00001b0a: JUMPDEST
00001b0b: POP
00001b0c: SWAP1
00001b0d: POP
00001b0e: SWAP1
00001b0f: JUMP
00001b10: JUMPDEST
00001b11: PUSH1 0x15
00001b13: PUSH1 0x20
00001b15: MSTORE
00001b16: PUSH1 0x00
00001b18: SWAP1
00001b19: DUP2
00001b1a: MSTORE
00001b1b: PUSH1 0x40
00001b1d: SWAP1
00001b1e: KECCAK256
00001b1f: SLOAD
00001b20: PUSH1 0xff
00001b22: AND
00001b23: DUP2
00001b24: JUMP
00001b25: JUMPDEST
00001b26: PUSH1 0x17
00001b28: DUP2
00001b29: PUSH1 0x04
00001b2b: DUP2
00001b2c: LT
00001b2d: PUSH2 0x1b32
00001b30: JUMPI
00001b31: INVALID
00001b32: JUMPDEST
00001b33: ADD
00001b34: SLOAD
00001b35: PUSH1 0x01
00001b37: PUSH1 0x01
00001b39: PUSH1 0xa0
00001b3b: SHL
00001b3c: SUB
00001b3d: AND
00001b3e: SWAP1
00001b3f: POP
00001b40: DUP2
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH2 0x1b4a
00001b46: PUSH2 0x1c49
00001b49: JUMP
00001b4a: JUMPDEST
00001b4b: PUSH2 0x1b89
00001b4e: JUMPI
00001b4f: PUSH1 0x40
00001b51: DUP1
00001b52: MLOAD
00001b53: PUSH3 0x461bcd
00001b57: PUSH1 0xe5
00001b59: SHL
00001b5a: DUP2
00001b5b: MSTORE
00001b5c: PUSH1 0x20
00001b5e: PUSH1 0x04
00001b60: DUP3
00001b61: ADD
00001b62: DUP2
00001b63: SWAP1
00001b64: MSTORE
00001b65: PUSH1 0x24
00001b67: DUP3
00001b68: ADD
00001b69: MSTORE
00001b6a: PUSH1 0x00
00001b6c: DUP1
00001b6d: MLOAD
00001b6e: PUSH1 0x20
00001b70: PUSH2 0x2ba1
00001b73: DUP4
00001b74: CODECOPY
00001b75: DUP2
00001b76: MLOAD
00001b77: SWAP2
00001b78: MSTORE
00001b79: PUSH1 0x44
00001b7b: DUP3
00001b7c: ADD
00001b7d: MSTORE
00001b7e: SWAP1
00001b7f: MLOAD
00001b80: SWAP1
00001b81: DUP2
00001b82: SWAP1
00001b83: SUB
00001b84: PUSH1 0x64
00001b86: ADD
00001b87: SWAP1
00001b88: REVERT
00001b89: JUMPDEST
00001b8a: PUSH1 0x02
00001b8c: SLOAD
00001b8d: PUSH1 0x40
00001b8f: MLOAD
00001b90: PUSH1 0x00
00001b92: SWAP2
00001b93: PUSH1 0x01
00001b95: PUSH1 0x01
00001b97: PUSH1 0xa0
00001b99: SHL
00001b9a: SUB
00001b9b: AND
00001b9c: SWAP1
00001b9d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001bbe: SWAP1
00001bbf: DUP4
00001bc0: SWAP1
00001bc1: LOG3
00001bc2: PUSH1 0x02
00001bc4: DUP1
00001bc5: SLOAD
00001bc6: PUSH1 0x01
00001bc8: PUSH1 0x01
00001bca: PUSH1 0xa0
00001bcc: SHL
00001bcd: SUB
00001bce: NOT
00001bcf: AND
00001bd0: SWAP1
00001bd1: SSTORE
00001bd2: JUMP
00001bd3: JUMPDEST
00001bd4: PUSH1 0x06
00001bd6: SLOAD
00001bd7: PUSH1 0x01
00001bd9: PUSH1 0x01
00001bdb: PUSH1 0xa0
00001bdd: SHL
00001bde: SUB
00001bdf: AND
00001be0: DUP2
00001be1: JUMP
00001be2: JUMPDEST
00001be3: PUSH1 0x08
00001be5: SLOAD
00001be6: PUSH1 0x01
00001be8: PUSH1 0x01
00001bea: PUSH1 0xa0
00001bec: SHL
00001bed: SUB
00001bee: AND
00001bef: DUP2
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: PUSH1 0x10
00001bf4: SLOAD
00001bf5: DUP2
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH20 0x6b175474e89094c44da98b954eedeac495271d0f
00001c0d: DUP2
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: PUSH1 0x00
00001c12: PUSH2 0x1c1d
00001c15: TIMESTAMP
00001c16: PUSH1 0x0f
00001c18: SLOAD
00001c19: PUSH2 0x263c
00001c1c: JUMP
00001c1d: JUMPDEST
00001c1e: SWAP1
00001c1f: POP
00001c20: SWAP1
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH1 0x13
00001c25: PUSH1 0x20
00001c27: MSTORE
00001c28: PUSH1 0x00
00001c2a: SWAP1
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x40
00001c2f: SWAP1
00001c30: KECCAK256
00001c31: SLOAD
00001c32: DUP2
00001c33: JUMP
00001c34: JUMPDEST
00001c35: PUSH1 0x0e
00001c37: SLOAD
00001c38: DUP2
00001c39: JUMP
00001c3a: JUMPDEST
00001c3b: PUSH1 0x02
00001c3d: SLOAD
00001c3e: PUSH1 0x01
00001c40: PUSH1 0x01
00001c42: PUSH1 0xa0
00001c44: SHL
00001c45: SUB
00001c46: AND
00001c47: SWAP1
00001c48: JUMP
00001c49: JUMPDEST
00001c4a: PUSH1 0x02
00001c4c: SLOAD
00001c4d: PUSH1 0x00
00001c4f: SWAP1
00001c50: PUSH1 0x01
00001c52: PUSH1 0x01
00001c54: PUSH1 0xa0
00001c56: SHL
00001c57: SUB
00001c58: AND
00001c59: PUSH2 0x1c60
00001c5c: PUSH2 0x2638
00001c5f: JUMP
00001c60: JUMPDEST
00001c61: PUSH1 0x01
00001c63: PUSH1 0x01
00001c65: PUSH1 0xa0
00001c67: SHL
00001c68: SUB
00001c69: AND
00001c6a: EQ
00001c6b: SWAP1
00001c6c: POP
00001c6d: SWAP1
00001c6e: JUMP
00001c6f: JUMPDEST
00001c70: PUSH1 0x00
00001c72: DUP1
00001c73: DUP1
00001c74: JUMPDEST
00001c75: PUSH1 0x04
00001c77: DUP2
00001c78: PUSH1 0xff
00001c7a: AND
00001c7b: LT
00001c7c: ISZERO
00001c7d: PUSH2 0x1cec
00001c80: JUMPI
00001c81: PUSH1 0x00
00001c83: PUSH2 0x1ca6
00001c86: PUSH1 0x17
00001c88: DUP4
00001c89: PUSH1 0xff
00001c8b: AND
00001c8c: PUSH1 0x04
00001c8e: DUP2
00001c8f: LT
00001c90: PUSH2 0x1c95
00001c93: JUMPI
00001c94: INVALID
00001c95: JUMPDEST
00001c96: ADD
00001c97: SLOAD
00001c98: PUSH1 0x01
00001c9a: PUSH1 0x01
00001c9c: PUSH1 0xa0
00001c9e: SHL
00001c9f: SUB
00001ca0: AND
00001ca1: DUP7
00001ca2: PUSH2 0x230b
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: SWAP1
00001ca8: POP
00001ca9: DUP1
00001caa: ISZERO
00001cab: PUSH2 0x1ce3
00001cae: JUMPI
00001caf: PUSH2 0x1ce0
00001cb2: PUSH2 0x1cd3
00001cb5: PUSH1 0x1b
00001cb7: DUP5
00001cb8: PUSH1 0xff
00001cba: AND
00001cbb: PUSH1 0x04
00001cbd: DUP2
00001cbe: LT
00001cbf: PUSH2 0x1cc4
00001cc2: JUMPI
00001cc3: INVALID
00001cc4: JUMPDEST
00001cc5: ADD
00001cc6: SLOAD
00001cc7: DUP4
00001cc8: SWAP1
00001cc9: PUSH4 0xffffffff
00001cce: PUSH2 0x23b2
00001cd1: AND
00001cd2: JUMP
00001cd3: JUMPDEST
00001cd4: DUP5
00001cd5: SWAP1
00001cd6: PUSH4 0xffffffff
00001cdb: PUSH2 0x244d
00001cde: AND
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: SWAP3
00001ce2: POP
00001ce3: JUMPDEST
00001ce4: POP
00001ce5: PUSH1 0x01
00001ce7: ADD
00001ce8: PUSH2 0x1c74
00001ceb: JUMP
00001cec: JUMPDEST
00001ced: POP
00001cee: SWAP3
00001cef: SWAP2
00001cf0: POP
00001cf1: POP
00001cf2: JUMP
00001cf3: JUMPDEST
00001cf4: PUSH1 0x0b
00001cf6: SLOAD
00001cf7: DUP2
00001cf8: JUMP
00001cf9: JUMPDEST
00001cfa: PUSH1 0x07
00001cfc: SLOAD
00001cfd: PUSH1 0x01
00001cff: PUSH1 0x01
00001d01: PUSH1 0xa0
00001d03: SHL
00001d04: SUB
00001d05: AND
00001d06: DUP2
00001d07: JUMP
00001d08: JUMPDEST
00001d09: PUSH15 0x085d4780b73119b644ae5ecd22b376
00001d19: DUP2
00001d1a: JUMP
00001d1b: JUMPDEST
00001d1c: PUSH20 0xa0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00001d31: DUP2
00001d32: JUMP
00001d33: JUMPDEST
00001d34: PUSH1 0x20
00001d36: DUP1
00001d37: MSTORE
00001d38: PUSH1 0x00
00001d3a: SWAP1
00001d3b: DUP2
00001d3c: MSTORE
00001d3d: PUSH1 0x40
00001d3f: SWAP1
00001d40: KECCAK256
00001d41: SLOAD
00001d42: PUSH1 0x01
00001d44: PUSH1 0x01
00001d46: PUSH1 0xa0
00001d48: SHL
00001d49: SUB
00001d4a: AND
00001d4b: DUP2
00001d4c: JUMP
00001d4d: JUMPDEST
00001d4e: PUSH1 0x04
00001d50: SLOAD
00001d51: PUSH1 0x01
00001d53: PUSH1 0x01
00001d55: PUSH1 0xa0
00001d57: SHL
00001d58: SUB
00001d59: AND
00001d5a: DUP2
00001d5b: JUMP
00001d5c: JUMPDEST
00001d5d: PUSH10 0x85685e51a4f1ddc00000
00001d68: DUP2
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: PUSH1 0x11
00001d6d: SLOAD
00001d6e: DUP2
00001d6f: JUMP
00001d70: JUMPDEST
00001d71: PUSH1 0x00
00001d73: PUSH2 0x1d7a
00001d76: PUSH2 0x1aa7
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH2 0x1d87
00001d7e: JUMPI
00001d7f: POP
00001d80: PUSH1 0x12
00001d82: SLOAD
00001d83: PUSH2 0x1179
00001d86: JUMP
00001d87: JUMPDEST
00001d88: PUSH2 0x1c1d
00001d8b: PUSH2 0x1db5
00001d8e: PUSH2 0x1d95
00001d91: PUSH2 0x1aa7
00001d94: JUMP
00001d95: JUMPDEST
00001d96: PUSH2 0x0945
00001d99: PUSH8 0x0de0b6b3a7640000
00001da2: PUSH2 0x0939
00001da5: PUSH1 0x10
00001da7: SLOAD
00001da8: PUSH2 0x0939
00001dab: PUSH1 0x11
00001dad: SLOAD
00001dae: PUSH2 0x0924
00001db1: PUSH2 0x1c0f
00001db4: JUMP
00001db5: JUMPDEST
00001db6: PUSH1 0x12
00001db8: SLOAD
00001db9: SWAP1
00001dba: PUSH4 0xffffffff
00001dbf: PUSH2 0x244d
00001dc2: AND
00001dc3: JUMP
00001dc4: JUMPDEST
00001dc5: PUSH1 0x09
00001dc7: SLOAD
00001dc8: DUP2
00001dc9: JUMP
00001dca: JUMPDEST
00001dcb: PUSH1 0x12
00001dcd: SLOAD
00001dce: DUP2
00001dcf: JUMP
00001dd0: JUMPDEST
00001dd1: PUSH1 0x01
00001dd3: PUSH1 0x01
00001dd5: PUSH1 0xa0
00001dd7: SHL
00001dd8: SUB
00001dd9: AND
00001dda: PUSH1 0x00
00001ddc: SWAP1
00001ddd: DUP2
00001dde: MSTORE
00001ddf: PUSH1 0x20
00001de1: DUP2
00001de2: SWAP1
00001de3: MSTORE
00001de4: PUSH1 0x40
00001de6: SWAP1
00001de7: KECCAK256
00001de8: SLOAD
00001de9: SWAP1
00001dea: JUMP
00001deb: JUMPDEST
00001dec: PUSH1 0x0c
00001dee: SLOAD
00001def: DUP2
00001df0: JUMP
00001df1: JUMPDEST
00001df2: PUSH1 0x16
00001df4: PUSH1 0x20
00001df6: MSTORE
00001df7: PUSH1 0x00
00001df9: SWAP1
00001dfa: DUP2
00001dfb: MSTORE
00001dfc: PUSH1 0x40
00001dfe: SWAP1
00001dff: KECCAK256
00001e00: SLOAD
00001e01: DUP2
00001e02: JUMP
00001e03: JUMPDEST
00001e04: PUSH1 0x00
00001e06: JUMPDEST
00001e07: PUSH1 0x04
00001e09: DUP2
00001e0a: PUSH1 0xff
00001e0c: AND
00001e0d: LT
00001e0e: ISZERO
00001e0f: PUSH2 0x1e6d
00001e12: JUMPI
00001e13: PUSH1 0x00
00001e15: PUSH2 0x1e38
00001e18: PUSH1 0x17
00001e1a: DUP4
00001e1b: PUSH1 0xff
00001e1d: AND
00001e1e: PUSH1 0x04
00001e20: DUP2
00001e21: LT
00001e22: PUSH2 0x1e27
00001e25: JUMPI
00001e26: INVALID
00001e27: JUMPDEST
00001e28: ADD
00001e29: SLOAD
00001e2a: PUSH1 0x01
00001e2c: PUSH1 0x01
00001e2e: PUSH1 0xa0
00001e30: SHL
00001e31: SUB
00001e32: AND
00001e33: CALLER
00001e34: PUSH2 0x230b
00001e37: JUMP
00001e38: JUMPDEST
00001e39: SWAP1
00001e3a: POP
00001e3b: DUP1
00001e3c: ISZERO
00001e3d: PUSH2 0x1e64
00001e40: JUMPI
00001e41: PUSH2 0x1e64
00001e44: PUSH1 0x17
00001e46: DUP4
00001e47: PUSH1 0xff
00001e49: AND
00001e4a: PUSH1 0x04
00001e4c: DUP2
00001e4d: LT
00001e4e: PUSH2 0x1e53
00001e51: JUMPI
00001e52: INVALID
00001e53: JUMPDEST
00001e54: ADD
00001e55: SLOAD
00001e56: PUSH1 0x01
00001e58: PUSH1 0x01
00001e5a: PUSH1 0xa0
00001e5c: SHL
00001e5d: SUB
00001e5e: AND
00001e5f: DUP3
00001e60: PUSH2 0x1ee0
00001e63: JUMP
00001e64: JUMPDEST
00001e65: POP
00001e66: PUSH1 0x01
00001e68: ADD
00001e69: PUSH2 0x1e06
00001e6c: JUMP
00001e6d: JUMPDEST
00001e6e: POP
00001e6f: PUSH2 0x1e76
00001e72: PUSH2 0x1485
00001e75: JUMP
00001e76: JUMPDEST
00001e77: JUMP
00001e78: JUMPDEST
00001e79: PUSH1 0x1f
00001e7b: PUSH1 0x20
00001e7d: MSTORE
00001e7e: PUSH1 0x00
00001e80: SWAP1
00001e81: DUP2
00001e82: MSTORE
00001e83: PUSH1 0x40
00001e85: SWAP1
00001e86: KECCAK256
00001e87: SLOAD
00001e88: DUP2
00001e89: JUMP
00001e8a: JUMPDEST
00001e8b: PUSH1 0x0f
00001e8d: SLOAD
00001e8e: DUP2
00001e8f: JUMP
00001e90: JUMPDEST
00001e91: PUSH2 0x1e98
00001e94: PUSH2 0x1c49
00001e97: JUMP
00001e98: JUMPDEST
00001e99: PUSH2 0x1ed7
00001e9c: JUMPI
00001e9d: PUSH1 0x40
00001e9f: DUP1
00001ea0: MLOAD
00001ea1: PUSH3 0x461bcd
00001ea5: PUSH1 0xe5
00001ea7: SHL
00001ea8: DUP2
00001ea9: MSTORE
00001eaa: PUSH1 0x20
00001eac: PUSH1 0x04
00001eae: DUP3
00001eaf: ADD
00001eb0: DUP2
00001eb1: SWAP1
00001eb2: MSTORE
00001eb3: PUSH1 0x24
00001eb5: DUP3
00001eb6: ADD
00001eb7: MSTORE
00001eb8: PUSH1 0x00
00001eba: DUP1
00001ebb: MLOAD
00001ebc: PUSH1 0x20
00001ebe: PUSH2 0x2ba1
00001ec1: DUP4
00001ec2: CODECOPY
00001ec3: DUP2
00001ec4: MLOAD
00001ec5: SWAP2
00001ec6: MSTORE
00001ec7: PUSH1 0x44
00001ec9: DUP3
00001eca: ADD
00001ecb: MSTORE
00001ecc: SWAP1
00001ecd: MLOAD
00001ece: SWAP1
00001ecf: DUP2
00001ed0: SWAP1
00001ed1: SUB
00001ed2: PUSH1 0x64
00001ed4: ADD
00001ed5: SWAP1
00001ed6: REVERT
00001ed7: JUMPDEST
00001ed8: PUSH2 0x0ba2
00001edb: DUP2
00001edc: PUSH2 0x2652
00001edf: JUMP
00001ee0: JUMPDEST
00001ee1: CALLER
00001ee2: PUSH2 0x1ee9
00001ee5: PUSH2 0x1d70
00001ee8: JUMP
00001ee9: JUMPDEST
00001eea: PUSH1 0x12
00001eec: SSTORE
00001eed: PUSH2 0x1ef4
00001ef0: PUSH2 0x1c0f
00001ef3: JUMP
00001ef4: JUMPDEST
00001ef5: PUSH1 0x11
00001ef7: SSTORE
00001ef8: PUSH1 0x01
00001efa: PUSH1 0x01
00001efc: PUSH1 0xa0
00001efe: SHL
00001eff: SUB
00001f00: DUP2
00001f01: AND
00001f02: ISZERO
00001f03: PUSH2 0x1f3b
00001f06: JUMPI
00001f07: PUSH2 0x1f0f
00001f0a: DUP2
00001f0b: PUSH2 0x08dd
00001f0e: JUMP
00001f0f: JUMPDEST
00001f10: PUSH1 0x01
00001f12: PUSH1 0x01
00001f14: PUSH1 0xa0
00001f16: SHL
00001f17: SUB
00001f18: DUP3
00001f19: AND
00001f1a: PUSH1 0x00
00001f1c: SWAP1
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x14
00001f21: PUSH1 0x20
00001f23: SWAP1
00001f24: DUP2
00001f25: MSTORE
00001f26: PUSH1 0x40
00001f28: DUP1
00001f29: DUP4
00001f2a: KECCAK256
00001f2b: SWAP4
00001f2c: SWAP1
00001f2d: SWAP4
00001f2e: SSTORE
00001f2f: PUSH1 0x12
00001f31: SLOAD
00001f32: PUSH1 0x13
00001f34: SWAP1
00001f35: SWAP2
00001f36: MSTORE
00001f37: SWAP2
00001f38: SWAP1
00001f39: KECCAK256
00001f3a: SSTORE
00001f3b: JUMPDEST
00001f3c: PUSH1 0x0f
00001f3e: SLOAD
00001f3f: TIMESTAMP
00001f40: LT
00001f41: PUSH2 0x21d2
00001f44: JUMPI
00001f45: PUSH10 0x0d573ca1c3b1c9600000
00001f50: PUSH1 0x0b
00001f52: SSTORE
00001f53: PUSH1 0x00
00001f55: PUSH2 0x1f5c
00001f58: PUSH2 0x10c6
00001f5b: JUMP
00001f5c: JUMPDEST
00001f5d: SWAP1
00001f5e: POP
00001f5f: PUSH2 0x1f7c
00001f62: PUSH1 0x64
00001f64: PUSH2 0x0945
00001f67: DUP4
00001f68: PUSH2 0xffff
00001f6b: AND
00001f6c: PUSH1 0x0b
00001f6e: SLOAD
00001f6f: PUSH2 0x23b2
00001f72: SWAP1
00001f73: SWAP2
00001f74: SWAP1
00001f75: PUSH4 0xffffffff
00001f7a: AND
00001f7b: JUMP
00001f7c: JUMPDEST
00001f7d: PUSH1 0x0c
00001f7f: DUP2
00001f80: SWAP1
00001f81: SSTORE
00001f82: PUSH1 0x0d
00001f84: SLOAD
00001f85: PUSH10 0x85685e51a4f1ddc00000
00001f90: SWAP2
00001f91: PUSH2 0x1fa0
00001f94: SWAP2
00001f95: SWAP1
00001f96: PUSH4 0xffffffff
00001f9b: PUSH2 0x244d
00001f9e: AND
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: GT
00001fa2: ISZERO
00001fa3: PUSH2 0x1fc8
00001fa6: JUMPI
00001fa7: PUSH1 0x0d
00001fa9: SLOAD
00001faa: PUSH2 0x1fc4
00001fad: SWAP1
00001fae: PUSH10 0x85685e51a4f1ddc00000
00001fb9: SWAP1
00001fba: PUSH4 0xffffffff
00001fbf: PUSH2 0x2369
00001fc2: AND
00001fc3: JUMP
00001fc4: JUMPDEST
00001fc5: PUSH1 0x0c
00001fc7: SSTORE
00001fc8: JUMPDEST
00001fc9: PUSH1 0x0c
00001fcb: SLOAD
00001fcc: ISZERO
00001fcd: PUSH2 0x217e
00001fd0: JUMPI
00001fd1: PUSH1 0x06
00001fd3: SLOAD
00001fd4: PUSH1 0x0c
00001fd6: SLOAD
00001fd7: PUSH1 0x40
00001fd9: DUP1
00001fda: MLOAD
00001fdb: PUSH4 0x40c10f19
00001fe0: PUSH1 0xe0
00001fe2: SHL
00001fe3: DUP2
00001fe4: MSTORE
00001fe5: ADDRESS
00001fe6: PUSH1 0x04
00001fe8: DUP3
00001fe9: ADD
00001fea: MSTORE
00001feb: PUSH1 0x24
00001fed: DUP2
00001fee: ADD
00001fef: SWAP3
00001ff0: SWAP1
00001ff1: SWAP3
00001ff2: MSTORE
00001ff3: MLOAD
00001ff4: PUSH1 0x01
00001ff6: PUSH1 0x01
00001ff8: PUSH1 0xa0
00001ffa: SHL
00001ffb: SUB
00001ffc: SWAP1
00001ffd: SWAP3
00001ffe: AND
00001fff: SWAP2
00002000: PUSH4 0x40c10f19
00002005: SWAP2
00002006: PUSH1 0x44
00002008: DUP1
00002009: DUP3
0000200a: ADD
0000200b: SWAP3
0000200c: PUSH1 0x00
0000200e: SWAP3
0000200f: SWAP1
00002010: SWAP2
00002011: SWAP1
00002012: DUP3
00002013: SWAP1
00002014: SUB
00002015: ADD
00002016: DUP2
00002017: DUP4
00002018: DUP8
00002019: DUP1
0000201a: EXTCODESIZE
0000201b: ISZERO
0000201c: DUP1
0000201d: ISZERO
0000201e: PUSH2 0x2026
00002021: JUMPI
00002022: PUSH1 0x00
00002024: DUP1
00002025: REVERT
00002026: JUMPDEST
00002027: POP
00002028: GAS
00002029: CALL
0000202a: ISZERO
0000202b: DUP1
0000202c: ISZERO
0000202d: PUSH2 0x203a
00002030: JUMPI
00002031: RETURNDATASIZE
00002032: PUSH1 0x00
00002034: DUP1
00002035: RETURNDATACOPY
00002036: RETURNDATASIZE
00002037: PUSH1 0x00
00002039: REVERT
0000203a: JUMPDEST
0000203b: POP
0000203c: POP
0000203d: PUSH1 0x07
0000203f: SLOAD
00002040: PUSH1 0x09
00002042: SLOAD
00002043: PUSH1 0x0c
00002045: SLOAD
00002046: PUSH1 0x01
00002048: PUSH1 0x01
0000204a: PUSH1 0xa0
0000204c: SHL
0000204d: SUB
0000204e: SWAP1
0000204f: SWAP3
00002050: AND
00002051: SWAP4
00002052: POP
00002053: PUSH4 0x40c10f19
00002058: SWAP3
00002059: POP
0000205a: ADDRESS
0000205b: SWAP2
0000205c: PUSH2 0x206a
0000205f: SWAP2
00002060: PUSH4 0xffffffff
00002065: PUSH2 0x240b
00002068: AND
00002069: JUMP
0000206a: JUMPDEST
0000206b: PUSH1 0x40
0000206d: MLOAD
0000206e: DUP4
0000206f: PUSH4 0xffffffff
00002074: AND
00002075: PUSH1 0xe0
00002077: SHL
00002078: DUP2
00002079: MSTORE
0000207a: PUSH1 0x04
0000207c: ADD
0000207d: DUP1
0000207e: DUP4
0000207f: PUSH1 0x01
00002081: PUSH1 0x01
00002083: PUSH1 0xa0
00002085: SHL
00002086: SUB
00002087: AND
00002088: PUSH1 0x01
0000208a: PUSH1 0x01
0000208c: PUSH1 0xa0
0000208e: SHL
0000208f: SUB
00002090: AND
00002091: DUP2
00002092: MSTORE
00002093: PUSH1 0x20
00002095: ADD
00002096: DUP3
00002097: DUP2
00002098: MSTORE
00002099: PUSH1 0x20
0000209b: ADD
0000209c: SWAP3
0000209d: POP
0000209e: POP
0000209f: POP
000020a0: PUSH1 0x00
000020a2: PUSH1 0x40
000020a4: MLOAD
000020a5: DUP1
000020a6: DUP4
000020a7: SUB
000020a8: DUP2
000020a9: PUSH1 0x00
000020ab: DUP8
000020ac: DUP1
000020ad: EXTCODESIZE
000020ae: ISZERO
000020af: DUP1
000020b0: ISZERO
000020b1: PUSH2 0x20b9
000020b4: JUMPI
000020b5: PUSH1 0x00
000020b7: DUP1
000020b8: REVERT
000020b9: JUMPDEST
000020ba: POP
000020bb: GAS
000020bc: CALL
000020bd: ISZERO
000020be: DUP1
000020bf: ISZERO
000020c0: PUSH2 0x20cd
000020c3: JUMPI
000020c4: RETURNDATASIZE
000020c5: PUSH1 0x00
000020c7: DUP1
000020c8: RETURNDATACOPY
000020c9: RETURNDATASIZE
000020ca: PUSH1 0x00
000020cc: REVERT
000020cd: JUMPDEST
000020ce: POP
000020cf: POP
000020d0: PUSH1 0x08
000020d2: SLOAD
000020d3: PUSH1 0x0a
000020d5: SLOAD
000020d6: PUSH1 0x0c
000020d8: SLOAD
000020d9: PUSH1 0x01
000020db: PUSH1 0x01
000020dd: PUSH1 0xa0
000020df: SHL
000020e0: SUB
000020e1: SWAP1
000020e2: SWAP3
000020e3: AND
000020e4: SWAP4
000020e5: POP
000020e6: PUSH4 0x40c10f19
000020eb: SWAP3
000020ec: POP
000020ed: ADDRESS
000020ee: SWAP2
000020ef: PUSH2 0x20fd
000020f2: SWAP2
000020f3: PUSH4 0xffffffff
000020f8: PUSH2 0x240b
000020fb: AND
000020fc: JUMP
000020fd: JUMPDEST
000020fe: PUSH1 0x40
00002100: MLOAD
00002101: DUP4
00002102: PUSH4 0xffffffff
00002107: AND
00002108: PUSH1 0xe0
0000210a: SHL
0000210b: DUP2
0000210c: MSTORE
0000210d: PUSH1 0x04
0000210f: ADD
00002110: DUP1
00002111: DUP4
00002112: PUSH1 0x01
00002114: PUSH1 0x01
00002116: PUSH1 0xa0
00002118: SHL
00002119: SUB
0000211a: AND
0000211b: PUSH1 0x01
0000211d: PUSH1 0x01
0000211f: PUSH1 0xa0
00002121: SHL
00002122: SUB
00002123: AND
00002124: DUP2
00002125: MSTORE
00002126: PUSH1 0x20
00002128: ADD
00002129: DUP3
0000212a: DUP2
0000212b: MSTORE
0000212c: PUSH1 0x20
0000212e: ADD
0000212f: SWAP3
00002130: POP
00002131: POP
00002132: POP
00002133: PUSH1 0x00
00002135: PUSH1 0x40
00002137: MLOAD
00002138: DUP1
00002139: DUP4
0000213a: SUB
0000213b: DUP2
0000213c: PUSH1 0x00
0000213e: DUP8
0000213f: DUP1
00002140: EXTCODESIZE
00002141: ISZERO
00002142: DUP1
00002143: ISZERO
00002144: PUSH2 0x214c
00002147: JUMPI
00002148: PUSH1 0x00
0000214a: DUP1
0000214b: REVERT
0000214c: JUMPDEST
0000214d: POP
0000214e: GAS
0000214f: CALL
00002150: ISZERO
00002151: DUP1
00002152: ISZERO
00002153: PUSH2 0x2160
00002156: JUMPI
00002157: RETURNDATASIZE
00002158: PUSH1 0x00
0000215a: DUP1
0000215b: RETURNDATACOPY
0000215c: RETURNDATASIZE
0000215d: PUSH1 0x00
0000215f: REVERT
00002160: JUMPDEST
00002161: POP
00002162: POP
00002163: PUSH1 0x0c
00002165: SLOAD
00002166: PUSH1 0x0d
00002168: SLOAD
00002169: PUSH2 0x217a
0000216c: SWAP4
0000216d: POP
0000216e: SWAP2
0000216f: POP
00002170: PUSH4 0xffffffff
00002175: PUSH2 0x244d
00002178: AND
00002179: JUMP
0000217a: JUMPDEST
0000217b: PUSH1 0x0d
0000217d: SSTORE
0000217e: JUMPDEST
0000217f: PUSH1 0x0c
00002181: SLOAD
00002182: PUSH2 0x2194
00002185: SWAP1
00002186: PUSH3 0x093a80
0000218a: PUSH4 0xffffffff
0000218f: PUSH2 0x240b
00002192: AND
00002193: JUMP
00002194: JUMPDEST
00002195: PUSH1 0x10
00002197: SSTORE
00002198: PUSH2 0x21aa
0000219b: TIMESTAMP
0000219c: PUSH3 0x093a80
000021a0: PUSH4 0xffffffff
000021a5: PUSH2 0x244d
000021a8: AND
000021a9: JUMP
000021aa: JUMPDEST
000021ab: PUSH1 0x0f
000021ad: SSTORE
000021ae: PUSH1 0x0c
000021b0: SLOAD
000021b1: PUSH1 0x40
000021b3: DUP1
000021b4: MLOAD
000021b5: SWAP2
000021b6: DUP3
000021b7: MSTORE
000021b8: MLOAD
000021b9: PUSH1 0x00
000021bb: DUP1
000021bc: MLOAD
000021bd: PUSH1 0x20
000021bf: PUSH2 0x2b60
000021c2: DUP4
000021c3: CODECOPY
000021c4: DUP2
000021c5: MLOAD
000021c6: SWAP2
000021c7: MSTORE
000021c8: SWAP2
000021c9: DUP2
000021ca: SWAP1
000021cb: SUB
000021cc: PUSH1 0x20
000021ce: ADD
000021cf: SWAP1
000021d0: LOG1
000021d1: POP
000021d2: JUMPDEST
000021d3: PUSH1 0x0e
000021d5: SLOAD
000021d6: TIMESTAMP
000021d7: GT
000021d8: PUSH2 0x2214
000021db: JUMPI
000021dc: PUSH1 0x40
000021de: DUP1
000021df: MLOAD
000021e0: PUSH3 0x461bcd
000021e4: PUSH1 0xe5
000021e6: SHL
000021e7: DUP2
000021e8: MSTORE
000021e9: PUSH1 0x20
000021eb: PUSH1 0x04
000021ed: DUP3
000021ee: ADD
000021ef: MSTORE
000021f0: PUSH1 0x09
000021f2: PUSH1 0x24
000021f4: DUP3
000021f5: ADD
000021f6: MSTORE
000021f7: PUSH9 0x1b9bdd081cdd185c9d
00002201: PUSH1 0xba
00002203: SHL
00002204: PUSH1 0x44
00002206: DUP3
00002207: ADD
00002208: MSTORE
00002209: SWAP1
0000220a: MLOAD
0000220b: SWAP1
0000220c: DUP2
0000220d: SWAP1
0000220e: SUB
0000220f: PUSH1 0x64
00002211: ADD
00002212: SWAP1
00002213: REVERT
00002214: JUMPDEST
00002215: PUSH1 0x00
00002217: DUP3
00002218: GT
00002219: PUSH2 0x225d
0000221c: JUMPI
0000221d: PUSH1 0x40
0000221f: DUP1
00002220: MLOAD
00002221: PUSH3 0x461bcd
00002225: PUSH1 0xe5
00002227: SHL
00002228: DUP2
00002229: MSTORE
0000222a: PUSH1 0x20
0000222c: PUSH1 0x04
0000222e: DUP3
0000222f: ADD
00002230: MSTORE
00002231: PUSH1 0x11
00002233: PUSH1 0x24
00002235: DUP3
00002236: ADD
00002237: MSTORE
00002238: PUSH17 0x043616e6e6f74207769746864726177203
0000224a: PUSH1 0x7c
0000224c: SHL
0000224d: PUSH1 0x44
0000224f: DUP3
00002250: ADD
00002251: MSTORE
00002252: SWAP1
00002253: MLOAD
00002254: SWAP1
00002255: DUP2
00002256: SWAP1
00002257: SUB
00002258: PUSH1 0x64
0000225a: ADD
0000225b: SWAP1
0000225c: REVERT
0000225d: JUMPDEST
0000225e: PUSH1 0x01
00002260: PUSH1 0x01
00002262: PUSH1 0xa0
00002264: SHL
00002265: SUB
00002266: DUP4
00002267: AND
00002268: PUSH1 0x00
0000226a: SWAP1
0000226b: DUP2
0000226c: MSTORE
0000226d: PUSH1 0x1f
0000226f: PUSH1 0x20
00002271: MSTORE
00002272: PUSH1 0x40
00002274: SWAP1
00002275: KECCAK256
00002276: SLOAD
00002277: PUSH2 0x22bc
0000227a: JUMPI
0000227b: PUSH1 0x40
0000227d: DUP1
0000227e: MLOAD
0000227f: PUSH3 0x461bcd
00002283: PUSH1 0xe5
00002285: SHL
00002286: DUP2
00002287: MSTORE
00002288: PUSH1 0x20
0000228a: PUSH1 0x04
0000228c: DUP3
0000228d: ADD
0000228e: MSTORE
0000228f: PUSH1 0x12
00002291: PUSH1 0x24
00002293: DUP3
00002294: ADD
00002295: MSTORE
00002296: PUSH18 0x2737ba1039bab83837b93a32b21031b7b4b7
000022a9: PUSH1 0x71
000022ab: SHL
000022ac: PUSH1 0x44
000022ae: DUP3
000022af: ADD
000022b0: MSTORE
000022b1: SWAP1
000022b2: MLOAD
000022b3: SWAP1
000022b4: DUP2
000022b5: SWAP1
000022b6: SUB
000022b7: PUSH1 0x64
000022b9: ADD
000022ba: SWAP1
000022bb: REVERT
000022bc: JUMPDEST
000022bd: PUSH2 0x22c6
000022c0: DUP4
000022c1: DUP4
000022c2: PUSH2 0x26f3
000022c5: JUMP
000022c6: JUMPDEST
000022c7: PUSH1 0x40
000022c9: DUP1
000022ca: MLOAD
000022cb: DUP4
000022cc: DUP2
000022cd: MSTORE
000022ce: SWAP1
000022cf: MLOAD
000022d0: PUSH1 0x01
000022d2: PUSH1 0x01
000022d4: PUSH1 0xa0
000022d6: SHL
000022d7: SUB
000022d8: DUP6
000022d9: AND
000022da: SWAP2
000022db: CALLER
000022dc: SWAP2
000022dd: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb
000022fe: SWAP2
000022ff: DUP2
00002300: SWAP1
00002301: SUB
00002302: PUSH1 0x20
00002304: ADD
00002305: SWAP1
00002306: LOG3
00002307: POP
00002308: POP
00002309: POP
0000230a: JUMP
0000230b: JUMPDEST
0000230c: PUSH1 0x01
0000230e: PUSH1 0x01
00002310: PUSH1 0xa0
00002312: SHL
00002313: SUB
00002314: SWAP2
00002315: DUP3
00002316: AND
00002317: PUSH1 0x00
00002319: SWAP1
0000231a: DUP2
0000231b: MSTORE
0000231c: PUSH1 0x01
0000231e: PUSH1 0x20
00002320: SWAP1
00002321: DUP2
00002322: MSTORE
00002323: PUSH1 0x40
00002325: DUP1
00002326: DUP4
00002327: KECCAK256
00002328: SWAP4
00002329: SWAP1
0000232a: SWAP5
0000232b: AND
0000232c: DUP3
0000232d: MSTORE
0000232e: SWAP2
0000232f: SWAP1
00002330: SWAP2
00002331: MSTORE
00002332: KECCAK256
00002333: SLOAD
00002334: SWAP1
00002335: JUMP
00002336: JUMPDEST
00002337: PUSH1 0x00
00002339: PUSH2 0x095d
0000233c: PUSH2 0x2344
0000233f: DUP4
00002340: PUSH2 0x08dd
00002343: JUMP
00002344: JUMPDEST
00002345: PUSH1 0x01
00002347: PUSH1 0x01
00002349: PUSH1 0xa0
0000234b: SHL
0000234c: SUB
0000234d: DUP5
0000234e: AND
0000234f: PUSH1 0x00
00002351: SWAP1
00002352: DUP2
00002353: MSTORE
00002354: PUSH1 0x16
00002356: PUSH1 0x20
00002358: MSTORE
00002359: PUSH1 0x40
0000235b: SWAP1
0000235c: KECCAK256
0000235d: SLOAD
0000235e: SWAP1
0000235f: PUSH4 0xffffffff
00002364: PUSH2 0x244d
00002367: AND
00002368: JUMP
00002369: JUMPDEST
0000236a: PUSH1 0x00
0000236c: PUSH2 0x23ab
0000236f: DUP4
00002370: DUP4
00002371: PUSH1 0x40
00002373: MLOAD
00002374: DUP1
00002375: PUSH1 0x40
00002377: ADD
00002378: PUSH1 0x40
0000237a: MSTORE
0000237b: DUP1
0000237c: PUSH1 0x1e
0000237e: DUP2
0000237f: MSTORE
00002380: PUSH1 0x20
00002382: ADD
00002383: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
000023a4: DUP2
000023a5: MSTORE
000023a6: POP
000023a7: PUSH2 0x278f
000023aa: JUMP
000023ab: JUMPDEST
000023ac: SWAP4
000023ad: SWAP3
000023ae: POP
000023af: POP
000023b0: POP
000023b1: JUMP
000023b2: JUMPDEST
000023b3: PUSH1 0x00
000023b5: DUP3
000023b6: PUSH2 0x23c1
000023b9: JUMPI
000023ba: POP
000023bb: PUSH1 0x00
000023bd: PUSH2 0x095d
000023c0: JUMP
000023c1: JUMPDEST
000023c2: DUP3
000023c3: DUP3
000023c4: MUL
000023c5: DUP3
000023c6: DUP5
000023c7: DUP3
000023c8: DUP2
000023c9: PUSH2 0x23ce
000023cc: JUMPI
000023cd: INVALID
000023ce: JUMPDEST
000023cf: DIV
000023d0: EQ
000023d1: PUSH2 0x23ab
000023d4: JUMPI
000023d5: PUSH1 0x40
000023d7: MLOAD
000023d8: PUSH3 0x461bcd
000023dc: PUSH1 0xe5
000023de: SHL
000023df: DUP2
000023e0: MSTORE
000023e1: PUSH1 0x04
000023e3: ADD
000023e4: DUP1
000023e5: DUP1
000023e6: PUSH1 0x20
000023e8: ADD
000023e9: DUP3
000023ea: DUP2
000023eb: SUB
000023ec: DUP3
000023ed: MSTORE
000023ee: PUSH1 0x21
000023f0: DUP2
000023f1: MSTORE
000023f2: PUSH1 0x20
000023f4: ADD
000023f5: DUP1
000023f6: PUSH2 0x2b80
000023f9: PUSH1 0x21
000023fb: SWAP2
000023fc: CODECOPY
000023fd: PUSH1 0x40
000023ff: ADD
00002400: SWAP2
00002401: POP
00002402: POP
00002403: PUSH1 0x40
00002405: MLOAD
00002406: DUP1
00002407: SWAP2
00002408: SUB
00002409: SWAP1
0000240a: REVERT
0000240b: JUMPDEST
0000240c: PUSH1 0x00
0000240e: PUSH2 0x23ab
00002411: DUP4
00002412: DUP4
00002413: PUSH1 0x40
00002415: MLOAD
00002416: DUP1
00002417: PUSH1 0x40
00002419: ADD
0000241a: PUSH1 0x40
0000241c: MSTORE
0000241d: DUP1
0000241e: PUSH1 0x1a
00002420: DUP2
00002421: MSTORE
00002422: PUSH1 0x20
00002424: ADD
00002425: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002446: DUP2
00002447: MSTORE
00002448: POP
00002449: PUSH2 0x2826
0000244c: JUMP
0000244d: JUMPDEST
0000244e: PUSH1 0x00
00002450: DUP3
00002451: DUP3
00002452: ADD
00002453: DUP4
00002454: DUP2
00002455: LT
00002456: ISZERO
00002457: PUSH2 0x23ab
0000245a: JUMPI
0000245b: PUSH1 0x40
0000245d: DUP1
0000245e: MLOAD
0000245f: PUSH3 0x461bcd
00002463: PUSH1 0xe5
00002465: SHL
00002466: DUP2
00002467: MSTORE
00002468: PUSH1 0x20
0000246a: PUSH1 0x04
0000246c: DUP3
0000246d: ADD
0000246e: MSTORE
0000246f: PUSH1 0x1b
00002471: PUSH1 0x24
00002473: DUP3
00002474: ADD
00002475: MSTORE
00002476: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002497: PUSH1 0x44
00002499: DUP3
0000249a: ADD
0000249b: MSTORE
0000249c: SWAP1
0000249d: MLOAD
0000249e: SWAP1
0000249f: DUP2
000024a0: SWAP1
000024a1: SUB
000024a2: PUSH1 0x64
000024a4: ADD
000024a5: SWAP1
000024a6: REVERT
000024a7: JUMPDEST
000024a8: PUSH1 0x40
000024aa: DUP1
000024ab: MLOAD
000024ac: PUSH1 0x01
000024ae: PUSH1 0x01
000024b0: PUSH1 0xa0
000024b2: SHL
000024b3: SUB
000024b4: DUP5
000024b5: AND
000024b6: PUSH1 0x24
000024b8: DUP3
000024b9: ADD
000024ba: MSTORE
000024bb: PUSH1 0x44
000024bd: DUP1
000024be: DUP3
000024bf: ADD
000024c0: DUP5
000024c1: SWAP1
000024c2: MSTORE
000024c3: DUP3
000024c4: MLOAD
000024c5: DUP1
000024c6: DUP4
000024c7: SUB
000024c8: SWAP1
000024c9: SWAP2
000024ca: ADD
000024cb: DUP2
000024cc: MSTORE
000024cd: PUSH1 0x64
000024cf: SWAP1
000024d0: SWAP2
000024d1: ADD
000024d2: SWAP1
000024d3: SWAP2
000024d4: MSTORE
000024d5: PUSH1 0x20
000024d7: DUP2
000024d8: ADD
000024d9: DUP1
000024da: MLOAD
000024db: PUSH1 0x01
000024dd: PUSH1 0x01
000024df: PUSH1 0xe0
000024e1: SHL
000024e2: SUB
000024e3: AND
000024e4: PUSH4 0xa9059cbb
000024e9: PUSH1 0xe0
000024eb: SHL
000024ec: OR
000024ed: SWAP1
000024ee: MSTORE
000024ef: PUSH2 0x24f9
000024f2: SWAP1
000024f3: DUP5
000024f4: SWAP1
000024f5: PUSH2 0x288b
000024f8: JUMP
000024f9: JUMPDEST
000024fa: POP
000024fb: POP
000024fc: POP
000024fd: JUMP
000024fe: JUMPDEST
000024ff: CALLER
00002500: PUSH2 0x2508
00002503: DUP2
00002504: PUSH2 0x2a43
00002507: JUMP
00002508: JUMPDEST
00002509: ISZERO
0000250a: PUSH2 0x2544
0000250d: JUMPI
0000250e: PUSH1 0x40
00002510: MLOAD
00002511: PUSH3 0x461bcd
00002515: PUSH1 0xe5
00002517: SHL
00002518: DUP2
00002519: MSTORE
0000251a: PUSH1 0x04
0000251c: ADD
0000251d: DUP1
0000251e: DUP1
0000251f: PUSH1 0x20
00002521: ADD
00002522: DUP3
00002523: DUP2
00002524: SUB
00002525: DUP3
00002526: MSTORE
00002527: PUSH1 0x3e
00002529: DUP2
0000252a: MSTORE
0000252b: PUSH1 0x20
0000252d: ADD
0000252e: DUP1
0000252f: PUSH2 0x2ada
00002532: PUSH1 0x3e
00002534: SWAP2
00002535: CODECOPY
00002536: PUSH1 0x40
00002538: ADD
00002539: SWAP2
0000253a: POP
0000253b: POP
0000253c: PUSH1 0x40
0000253e: MLOAD
0000253f: DUP1
00002540: SWAP2
00002541: SUB
00002542: SWAP1
00002543: REVERT
00002544: JUMPDEST
00002545: ORIGIN
00002546: PUSH1 0x01
00002548: PUSH1 0x01
0000254a: PUSH1 0xa0
0000254c: SHL
0000254d: SUB
0000254e: DUP3
0000254f: AND
00002550: EQ
00002551: PUSH2 0x2591
00002554: JUMPI
00002555: PUSH1 0x40
00002557: DUP1
00002558: MLOAD
00002559: PUSH3 0x461bcd
0000255d: PUSH1 0xe5
0000255f: SHL
00002560: DUP2
00002561: MSTORE
00002562: PUSH1 0x20
00002564: PUSH1 0x04
00002566: DUP3
00002567: ADD
00002568: MSTORE
00002569: PUSH1 0x0d
0000256b: PUSH1 0x24
0000256d: DUP3
0000256e: ADD
0000256f: MSTORE
00002570: PUSH13 0x20b7323932961039ba30b43817
0000257e: PUSH1 0x99
00002580: SHL
00002581: PUSH1 0x44
00002583: DUP3
00002584: ADD
00002585: MSTORE
00002586: SWAP1
00002587: MLOAD
00002588: SWAP1
00002589: DUP2
0000258a: SWAP1
0000258b: SUB
0000258c: PUSH1 0x64
0000258e: ADD
0000258f: SWAP1
00002590: REVERT
00002591: JUMPDEST
00002592: PUSH1 0x01
00002594: PUSH1 0x01
00002596: PUSH1 0xa0
00002598: SHL
00002599: SUB
0000259a: DUP4
0000259b: AND
0000259c: PUSH1 0x00
0000259e: SWAP1
0000259f: DUP2
000025a0: MSTORE
000025a1: PUSH1 0x20
000025a3: DUP2
000025a4: SWAP1
000025a5: MSTORE
000025a6: PUSH1 0x40
000025a8: SWAP1
000025a9: KECCAK256
000025aa: SLOAD
000025ab: PUSH2 0x25ba
000025ae: SWAP1
000025af: DUP4
000025b0: PUSH4 0xffffffff
000025b5: PUSH2 0x244d
000025b8: AND
000025b9: JUMP
000025ba: JUMPDEST
000025bb: PUSH1 0x01
000025bd: PUSH1 0x01
000025bf: PUSH1 0xa0
000025c1: SHL
000025c2: SUB
000025c3: DUP1
000025c4: DUP6
000025c5: AND
000025c6: PUSH1 0x00
000025c8: SWAP1
000025c9: DUP2
000025ca: MSTORE
000025cb: PUSH1 0x20
000025cd: DUP2
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x40
000025d2: DUP1
000025d3: DUP4
000025d4: KECCAK256
000025d5: SWAP5
000025d6: SWAP1
000025d7: SWAP5
000025d8: SSTORE
000025d9: PUSH1 0x01
000025db: DUP2
000025dc: MSTORE
000025dd: DUP4
000025de: DUP3
000025df: KECCAK256
000025e0: SWAP3
000025e1: DUP6
000025e2: AND
000025e3: DUP3
000025e4: MSTORE
000025e5: SWAP2
000025e6: SWAP1
000025e7: SWAP2
000025e8: MSTORE
000025e9: KECCAK256
000025ea: SLOAD
000025eb: PUSH2 0x25fa
000025ee: SWAP1
000025ef: DUP4
000025f0: PUSH4 0xffffffff
000025f5: PUSH2 0x244d
000025f8: AND
000025f9: JUMP
000025fa: JUMPDEST
000025fb: PUSH1 0x01
000025fd: PUSH1 0x01
000025ff: PUSH1 0xa0
00002601: SHL
00002602: SUB
00002603: DUP1
00002604: DUP6
00002605: AND
00002606: PUSH1 0x00
00002608: DUP2
00002609: DUP2
0000260a: MSTORE
0000260b: PUSH1 0x01
0000260d: PUSH1 0x20
0000260f: SWAP1
00002610: DUP2
00002611: MSTORE
00002612: PUSH1 0x40
00002614: DUP1
00002615: DUP4
00002616: KECCAK256
00002617: SWAP5
00002618: DUP8
00002619: AND
0000261a: DUP4
0000261b: MSTORE
0000261c: SWAP4
0000261d: SWAP1
0000261e: MSTORE
0000261f: SWAP2
00002620: SWAP1
00002621: SWAP2
00002622: KECCAK256
00002623: SWAP2
00002624: SWAP1
00002625: SWAP2
00002626: SSTORE
00002627: PUSH2 0x24f9
0000262a: SWAP1
0000262b: DUP3
0000262c: ADDRESS
0000262d: DUP6
0000262e: PUSH4 0xffffffff
00002633: PUSH2 0x2a7f
00002636: AND
00002637: JUMP
00002638: JUMPDEST
00002639: CALLER
0000263a: SWAP1
0000263b: JUMP
0000263c: JUMPDEST
0000263d: PUSH1 0x00
0000263f: DUP2
00002640: DUP4
00002641: LT
00002642: PUSH2 0x264b
00002645: JUMPI
00002646: DUP2
00002647: PUSH2 0x23ab
0000264a: JUMP
0000264b: JUMPDEST
0000264c: POP
0000264d: SWAP1
0000264e: SWAP2
0000264f: SWAP1
00002650: POP
00002651: JUMP
00002652: JUMPDEST
00002653: PUSH1 0x01
00002655: PUSH1 0x01
00002657: PUSH1 0xa0
00002659: SHL
0000265a: SUB
0000265b: DUP2
0000265c: AND
0000265d: PUSH2 0x2697
00002660: JUMPI
00002661: PUSH1 0x40
00002663: MLOAD
00002664: PUSH3 0x461bcd
00002668: PUSH1 0xe5
0000266a: SHL
0000266b: DUP2
0000266c: MSTORE
0000266d: PUSH1 0x04
0000266f: ADD
00002670: DUP1
00002671: DUP1
00002672: PUSH1 0x20
00002674: ADD
00002675: DUP3
00002676: DUP2
00002677: SUB
00002678: DUP3
00002679: MSTORE
0000267a: PUSH1 0x26
0000267c: DUP2
0000267d: MSTORE
0000267e: PUSH1 0x20
00002680: ADD
00002681: DUP1
00002682: PUSH2 0x2b18
00002685: PUSH1 0x26
00002687: SWAP2
00002688: CODECOPY
00002689: PUSH1 0x40
0000268b: ADD
0000268c: SWAP2
0000268d: POP
0000268e: POP
0000268f: PUSH1 0x40
00002691: MLOAD
00002692: DUP1
00002693: SWAP2
00002694: SUB
00002695: SWAP1
00002696: REVERT
00002697: JUMPDEST
00002698: PUSH1 0x02
0000269a: SLOAD
0000269b: PUSH1 0x40
0000269d: MLOAD
0000269e: PUSH1 0x01
000026a0: PUSH1 0x01
000026a2: PUSH1 0xa0
000026a4: SHL
000026a5: SUB
000026a6: DUP1
000026a7: DUP5
000026a8: AND
000026a9: SWAP3
000026aa: AND
000026ab: SWAP1
000026ac: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000026cd: SWAP1
000026ce: PUSH1 0x00
000026d0: SWAP1
000026d1: LOG3
000026d2: PUSH1 0x02
000026d4: DUP1
000026d5: SLOAD
000026d6: PUSH1 0x01
000026d8: PUSH1 0x01
000026da: PUSH1 0xa0
000026dc: SHL
000026dd: SUB
000026de: NOT
000026df: AND
000026e0: PUSH1 0x01
000026e2: PUSH1 0x01
000026e4: PUSH1 0xa0
000026e6: SHL
000026e7: SUB
000026e8: SWAP3
000026e9: SWAP1
000026ea: SWAP3
000026eb: AND
000026ec: SWAP2
000026ed: SWAP1
000026ee: SWAP2
000026ef: OR
000026f0: SWAP1
000026f1: SSTORE
000026f2: JUMP
000026f3: JUMPDEST
000026f4: PUSH1 0x01
000026f6: PUSH1 0x01
000026f8: PUSH1 0xa0
000026fa: SHL
000026fb: SUB
000026fc: DUP3
000026fd: AND
000026fe: PUSH1 0x00
00002700: SWAP1
00002701: DUP2
00002702: MSTORE
00002703: PUSH1 0x20
00002705: DUP2
00002706: SWAP1
00002707: MSTORE
00002708: PUSH1 0x40
0000270a: SWAP1
0000270b: KECCAK256
0000270c: SLOAD
0000270d: PUSH2 0x271c
00002710: SWAP1
00002711: DUP3
00002712: PUSH4 0xffffffff
00002717: PUSH2 0x2369
0000271a: AND
0000271b: JUMP
0000271c: JUMPDEST
0000271d: PUSH1 0x01
0000271f: PUSH1 0x01
00002721: PUSH1 0xa0
00002723: SHL
00002724: SUB
00002725: DUP4
00002726: AND
00002727: PUSH1 0x00
00002729: SWAP1
0000272a: DUP2
0000272b: MSTORE
0000272c: PUSH1 0x20
0000272e: DUP2
0000272f: DUP2
00002730: MSTORE
00002731: PUSH1 0x40
00002733: DUP1
00002734: DUP4
00002735: KECCAK256
00002736: SWAP4
00002737: SWAP1
00002738: SWAP4
00002739: SSTORE
0000273a: PUSH1 0x01
0000273c: DUP2
0000273d: MSTORE
0000273e: DUP3
0000273f: DUP3
00002740: KECCAK256
00002741: CALLER
00002742: DUP4
00002743: MSTORE
00002744: SWAP1
00002745: MSTORE
00002746: KECCAK256
00002747: SLOAD
00002748: PUSH2 0x2757
0000274b: SWAP1
0000274c: DUP3
0000274d: PUSH4 0xffffffff
00002752: PUSH2 0x2369
00002755: AND
00002756: JUMP
00002757: JUMPDEST
00002758: PUSH1 0x01
0000275a: PUSH1 0x01
0000275c: PUSH1 0xa0
0000275e: SHL
0000275f: SUB
00002760: DUP4
00002761: AND
00002762: PUSH1 0x00
00002764: DUP2
00002765: DUP2
00002766: MSTORE
00002767: PUSH1 0x01
00002769: PUSH1 0x20
0000276b: SWAP1
0000276c: DUP2
0000276d: MSTORE
0000276e: PUSH1 0x40
00002770: DUP1
00002771: DUP4
00002772: KECCAK256
00002773: CALLER
00002774: DUP1
00002775: DUP6
00002776: MSTORE
00002777: SWAP3
00002778: MSTORE
00002779: SWAP1
0000277a: SWAP2
0000277b: KECCAK256
0000277c: SWAP3
0000277d: SWAP1
0000277e: SWAP3
0000277f: SSTORE
00002780: PUSH2 0x1a4f
00002783: SWAP2
00002784: DUP4
00002785: PUSH4 0xffffffff
0000278a: PUSH2 0x24a7
0000278d: AND
0000278e: JUMP
0000278f: JUMPDEST
00002790: PUSH1 0x00
00002792: DUP2
00002793: DUP5
00002794: DUP5
00002795: GT
00002796: ISZERO
00002797: PUSH2 0x281e
0000279a: JUMPI
0000279b: PUSH1 0x40
0000279d: MLOAD
0000279e: PUSH3 0x461bcd
000027a2: PUSH1 0xe5
000027a4: SHL
000027a5: DUP2
000027a6: MSTORE
000027a7: PUSH1 0x04
000027a9: ADD
000027aa: DUP1
000027ab: DUP1
000027ac: PUSH1 0x20
000027ae: ADD
000027af: DUP3
000027b0: DUP2
000027b1: SUB
000027b2: DUP3
000027b3: MSTORE
000027b4: DUP4
000027b5: DUP2
000027b6: DUP2
000027b7: MLOAD
000027b8: DUP2
000027b9: MSTORE
000027ba: PUSH1 0x20
000027bc: ADD
000027bd: SWAP2
000027be: POP
000027bf: DUP1
000027c0: MLOAD
000027c1: SWAP1
000027c2: PUSH1 0x20
000027c4: ADD
000027c5: SWAP1
000027c6: DUP1
000027c7: DUP4
000027c8: DUP4
000027c9: PUSH1 0x00
000027cb: JUMPDEST
000027cc: DUP4
000027cd: DUP2
000027ce: LT
000027cf: ISZERO
000027d0: PUSH2 0x27e3
000027d3: JUMPI
000027d4: DUP2
000027d5: DUP2
000027d6: ADD
000027d7: MLOAD
000027d8: DUP4
000027d9: DUP3
000027da: ADD
000027db: MSTORE
000027dc: PUSH1 0x20
000027de: ADD
000027df: PUSH2 0x27cb
000027e2: JUMP
000027e3: JUMPDEST
000027e4: POP
000027e5: POP
000027e6: POP
000027e7: POP
000027e8: SWAP1
000027e9: POP
000027ea: SWAP1
000027eb: DUP2
000027ec: ADD
000027ed: SWAP1
000027ee: PUSH1 0x1f
000027f0: AND
000027f1: DUP1
000027f2: ISZERO
000027f3: PUSH2 0x2810
000027f6: JUMPI
000027f7: DUP1
000027f8: DUP3
000027f9: SUB
000027fa: DUP1
000027fb: MLOAD
000027fc: PUSH1 0x01
000027fe: DUP4
000027ff: PUSH1 0x20
00002801: SUB
00002802: PUSH2 0x0100
00002805: EXP
00002806: SUB
00002807: NOT
00002808: AND
00002809: DUP2
0000280a: MSTORE
0000280b: PUSH1 0x20
0000280d: ADD
0000280e: SWAP2
0000280f: POP
00002810: JUMPDEST
00002811: POP
00002812: SWAP3
00002813: POP
00002814: POP
00002815: POP
00002816: PUSH1 0x40
00002818: MLOAD
00002819: DUP1
0000281a: SWAP2
0000281b: SUB
0000281c: SWAP1
0000281d: REVERT
0000281e: JUMPDEST
0000281f: POP
00002820: POP
00002821: POP
00002822: SWAP1
00002823: SUB
00002824: SWAP1
00002825: JUMP
00002826: JUMPDEST
00002827: PUSH1 0x00
00002829: DUP2
0000282a: DUP4
0000282b: PUSH2 0x2875
0000282e: JUMPI
0000282f: PUSH1 0x40
00002831: MLOAD
00002832: PUSH3 0x461bcd
00002836: PUSH1 0xe5
00002838: SHL
00002839: DUP2
0000283a: MSTORE
0000283b: PUSH1 0x20
0000283d: PUSH1 0x04
0000283f: DUP3
00002840: ADD
00002841: DUP2
00002842: DUP2
00002843: MSTORE
00002844: DUP4
00002845: MLOAD
00002846: PUSH1 0x24
00002848: DUP5
00002849: ADD
0000284a: MSTORE
0000284b: DUP4
0000284c: MLOAD
0000284d: SWAP1
0000284e: SWAP3
0000284f: DUP4
00002850: SWAP3
00002851: PUSH1 0x44
00002853: SWAP1
00002854: SWAP2
00002855: ADD
00002856: SWAP2
00002857: SWAP1
00002858: DUP6
00002859: ADD
0000285a: SWAP1
0000285b: DUP1
0000285c: DUP4
0000285d: DUP4
0000285e: PUSH1 0x00
00002860: DUP4
00002861: ISZERO
00002862: PUSH2 0x27e3
00002865: JUMPI
00002866: DUP2
00002867: DUP2
00002868: ADD
00002869: MLOAD
0000286a: DUP4
0000286b: DUP3
0000286c: ADD
0000286d: MSTORE
0000286e: PUSH1 0x20
00002870: ADD
00002871: PUSH2 0x27cb
00002874: JUMP
00002875: JUMPDEST
00002876: POP
00002877: PUSH1 0x00
00002879: DUP4
0000287a: DUP6
0000287b: DUP2
0000287c: PUSH2 0x2881
0000287f: JUMPI
00002880: INVALID
00002881: JUMPDEST
00002882: DIV
00002883: SWAP6
00002884: SWAP5
00002885: POP
00002886: POP
00002887: POP
00002888: POP
00002889: POP
0000288a: JUMP
0000288b: JUMPDEST
0000288c: PUSH2 0x289d
0000288f: DUP3
00002890: PUSH1 0x01
00002892: PUSH1 0x01
00002894: PUSH1 0xa0
00002896: SHL
00002897: SUB
00002898: AND
00002899: PUSH2 0x2a43
0000289c: JUMP
0000289d: JUMPDEST
0000289e: PUSH2 0x28ee
000028a1: JUMPI
000028a2: PUSH1 0x40
000028a4: DUP1
000028a5: MLOAD
000028a6: PUSH3 0x461bcd
000028aa: PUSH1 0xe5
000028ac: SHL
000028ad: DUP2
000028ae: MSTORE
000028af: PUSH1 0x20
000028b1: PUSH1 0x04
000028b3: DUP3
000028b4: ADD
000028b5: MSTORE
000028b6: PUSH1 0x1f
000028b8: PUSH1 0x24
000028ba: DUP3
000028bb: ADD
000028bc: MSTORE
000028bd: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400
000028de: PUSH1 0x44
000028e0: DUP3
000028e1: ADD
000028e2: MSTORE
000028e3: SWAP1
000028e4: MLOAD
000028e5: SWAP1
000028e6: DUP2
000028e7: SWAP1
000028e8: SUB
000028e9: PUSH1 0x64
000028eb: ADD
000028ec: SWAP1
000028ed: REVERT
000028ee: JUMPDEST
000028ef: PUSH1 0x00
000028f1: PUSH1 0x60
000028f3: DUP4
000028f4: PUSH1 0x01
000028f6: PUSH1 0x01
000028f8: PUSH1 0xa0
000028fa: SHL
000028fb: SUB
000028fc: AND
000028fd: DUP4
000028fe: PUSH1 0x40
00002900: MLOAD
00002901: DUP1
00002902: DUP3
00002903: DUP1
00002904: MLOAD
00002905: SWAP1
00002906: PUSH1 0x20
00002908: ADD
00002909: SWAP1
0000290a: DUP1
0000290b: DUP4
0000290c: DUP4
0000290d: JUMPDEST
0000290e: PUSH1 0x20
00002910: DUP4
00002911: LT
00002912: PUSH2 0x292c
00002915: JUMPI
00002916: DUP1
00002917: MLOAD
00002918: DUP3
00002919: MSTORE
0000291a: PUSH1 0x1f
0000291c: NOT
0000291d: SWAP1
0000291e: SWAP3
0000291f: ADD
00002920: SWAP2
00002921: PUSH1 0x20
00002923: SWAP2
00002924: DUP3
00002925: ADD
00002926: SWAP2
00002927: ADD
00002928: PUSH2 0x290d
0000292b: JUMP
0000292c: JUMPDEST
0000292d: PUSH1 0x01
0000292f: DUP4
00002930: PUSH1 0x20
00002932: SUB
00002933: PUSH2 0x0100
00002936: EXP
00002937: SUB
00002938: DUP1
00002939: NOT
0000293a: DUP3
0000293b: MLOAD
0000293c: AND
0000293d: DUP2
0000293e: DUP5
0000293f: MLOAD
00002940: AND
00002941: DUP1
00002942: DUP3
00002943: OR
00002944: DUP6
00002945: MSTORE
00002946: POP
00002947: POP
00002948: POP
00002949: POP
0000294a: POP
0000294b: POP
0000294c: SWAP1
0000294d: POP
0000294e: ADD
0000294f: SWAP2
00002950: POP
00002951: POP
00002952: PUSH1 0x00
00002954: PUSH1 0x40
00002956: MLOAD
00002957: DUP1
00002958: DUP4
00002959: SUB
0000295a: DUP2
0000295b: PUSH1 0x00
0000295d: DUP7
0000295e: GAS
0000295f: CALL
00002960: SWAP2
00002961: POP
00002962: POP
00002963: RETURNDATASIZE
00002964: DUP1
00002965: PUSH1 0x00
00002967: DUP2
00002968: EQ
00002969: PUSH2 0x298e
0000296c: JUMPI
0000296d: PUSH1 0x40
0000296f: MLOAD
00002970: SWAP2
00002971: POP
00002972: PUSH1 0x1f
00002974: NOT
00002975: PUSH1 0x3f
00002977: RETURNDATASIZE
00002978: ADD
00002979: AND
0000297a: DUP3
0000297b: ADD
0000297c: PUSH1 0x40
0000297e: MSTORE
0000297f: RETURNDATASIZE
00002980: DUP3
00002981: MSTORE
00002982: RETURNDATASIZE
00002983: PUSH1 0x00
00002985: PUSH1 0x20
00002987: DUP5
00002988: ADD
00002989: RETURNDATACOPY
0000298a: PUSH2 0x2993
0000298d: JUMP
0000298e: JUMPDEST
0000298f: PUSH1 0x60
00002991: SWAP2
00002992: POP
00002993: JUMPDEST
00002994: POP
00002995: SWAP2
00002996: POP
00002997: SWAP2
00002998: POP
00002999: DUP2
0000299a: PUSH2 0x29ea
0000299d: JUMPI
0000299e: PUSH1 0x40
000029a0: DUP1
000029a1: MLOAD
000029a2: PUSH3 0x461bcd
000029a6: PUSH1 0xe5
000029a8: SHL
000029a9: DUP2
000029aa: MSTORE
000029ab: PUSH1 0x20
000029ad: PUSH1 0x04
000029af: DUP3
000029b0: ADD
000029b1: DUP2
000029b2: SWAP1
000029b3: MSTORE
000029b4: PUSH1 0x24
000029b6: DUP3
000029b7: ADD
000029b8: MSTORE
000029b9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000029da: PUSH1 0x44
000029dc: DUP3
000029dd: ADD
000029de: MSTORE
000029df: SWAP1
000029e0: MLOAD
000029e1: SWAP1
000029e2: DUP2
000029e3: SWAP1
000029e4: SUB
000029e5: PUSH1 0x64
000029e7: ADD
000029e8: SWAP1
000029e9: REVERT
000029ea: JUMPDEST
000029eb: DUP1
000029ec: MLOAD
000029ed: ISZERO
000029ee: PUSH2 0x10c0
000029f1: JUMPI
000029f2: DUP1
000029f3: DUP1
000029f4: PUSH1 0x20
000029f6: ADD
000029f7: SWAP1
000029f8: MLOAD
000029f9: PUSH1 0x20
000029fb: DUP2
000029fc: LT
000029fd: ISZERO
000029fe: PUSH2 0x2a06
00002a01: JUMPI
00002a02: PUSH1 0x00
00002a04: DUP1
00002a05: REVERT
00002a06: JUMPDEST
00002a07: POP
00002a08: MLOAD
00002a09: PUSH2 0x10c0
00002a0c: JUMPI
00002a0d: PUSH1 0x40
00002a0f: MLOAD
00002a10: PUSH3 0x461bcd
00002a14: PUSH1 0xe5
00002a16: SHL
00002a17: DUP2
00002a18: MSTORE
00002a19: PUSH1 0x04
00002a1b: ADD
00002a1c: DUP1
00002a1d: DUP1
00002a1e: PUSH1 0x20
00002a20: ADD
00002a21: DUP3
00002a22: DUP2
00002a23: SUB
00002a24: DUP3
00002a25: MSTORE
00002a26: PUSH1 0x2a
00002a28: DUP2
00002a29: MSTORE
00002a2a: PUSH1 0x20
00002a2c: ADD
00002a2d: DUP1
00002a2e: PUSH2 0x2be2
00002a31: PUSH1 0x2a
00002a33: SWAP2
00002a34: CODECOPY
00002a35: PUSH1 0x40
00002a37: ADD
00002a38: SWAP2
00002a39: POP
00002a3a: POP
00002a3b: PUSH1 0x40
00002a3d: MLOAD
00002a3e: DUP1
00002a3f: SWAP2
00002a40: SUB
00002a41: SWAP1
00002a42: REVERT
00002a43: JUMPDEST
00002a44: PUSH1 0x00
00002a46: DUP2
00002a47: EXTCODEHASH
00002a48: PUSH32 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470
00002a69: DUP2
00002a6a: ISZERO
00002a6b: DUP1
00002a6c: ISZERO
00002a6d: SWAP1
00002a6e: PUSH2 0x2a77
00002a71: JUMPI
00002a72: POP
00002a73: DUP1
00002a74: DUP3
00002a75: EQ
00002a76: ISZERO
00002a77: JUMPDEST
00002a78: SWAP5
00002a79: SWAP4
00002a7a: POP
00002a7b: POP
00002a7c: POP
00002a7d: POP
00002a7e: JUMP
00002a7f: JUMPDEST
00002a80: PUSH1 0x40
00002a82: DUP1
00002a83: MLOAD
00002a84: PUSH1 0x01
00002a86: PUSH1 0x01
00002a88: PUSH1 0xa0
00002a8a: SHL
00002a8b: SUB
00002a8c: DUP6
00002a8d: DUP2
00002a8e: AND
00002a8f: PUSH1 0x24
00002a91: DUP4
00002a92: ADD
00002a93: MSTORE
00002a94: DUP5
00002a95: AND
00002a96: PUSH1 0x44
00002a98: DUP3
00002a99: ADD
00002a9a: MSTORE
00002a9b: PUSH1 0x64
00002a9d: DUP1
00002a9e: DUP3
00002a9f: ADD
00002aa0: DUP5
00002aa1: SWAP1
00002aa2: MSTORE
00002aa3: DUP3
00002aa4: MLOAD
00002aa5: DUP1
00002aa6: DUP4
00002aa7: SUB
00002aa8: SWAP1
00002aa9: SWAP2
00002aaa: ADD
00002aab: DUP2
00002aac: MSTORE
00002aad: PUSH1 0x84
00002aaf: SWAP1
00002ab0: SWAP2
00002ab1: ADD
00002ab2: SWAP1
00002ab3: SWAP2
00002ab4: MSTORE
00002ab5: PUSH1 0x20
00002ab7: DUP2
00002ab8: ADD
00002ab9: DUP1
00002aba: MLOAD
00002abb: PUSH1 0x01
00002abd: PUSH1 0x01
00002abf: PUSH1 0xe0
00002ac1: SHL
00002ac2: SUB
00002ac3: AND
00002ac4: PUSH4 0x23b872dd
00002ac9: PUSH1 0xe0
00002acb: SHL
00002acc: OR
00002acd: SWAP1
00002ace: MSTORE
00002acf: PUSH2 0x10c0
00002ad2: SWAP1
00002ad3: DUP6
00002ad4: SWAP1
00002ad5: PUSH2 0x288b
00002ad8: JUMP
00002ad9: INVALID
00002ada: COINBASE
00002adb: PUSH15 0x6472652c2077652061726520666172
00002aeb: PUSH14 0x696e6720696e2070656163652c20
00002afa: PUSH8 0x6f20686172766573
00002b03: PUSH21 0x20736f6d65776865726520656c7365207369722e4f
00002b19: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
00002b32: PUSH27 0x65726f2061646472657373596f75206861766520636c61696d6564
00002b4e: KECCAK256
00002b4f: PUSH2 0x6c6c
00002b52: KECCAK256
00002b53: PUSH17 0x656e64696e6720764554482ede88a922e0
00002b65: UNKNOWN(0xD3)
00002b66: UNKNOWN(0xB8)
00002b67: DUP12
00002b68: UNKNOWN(0x24)
00002b69: UNKNOWN(0xE9)
00002b6a: PUSH3 0x3efeb4
00002b6e: PUSH5 0x919c6bf9f6
00002b74: PUSH9 0x57a65e2bfcf2ce87a9
00002b7e: NUMBER
00002b7f: RETURNDATASIZE
00002b80: MSTORE8
00002b81: PUSH2 0x6665
00002b84: UNKNOWN(0x4D)
00002b85: PUSH2 0x7468
00002b88: GASPRICE
00002b89: KECCAK256
00002b8a: PUSH14 0x756c7469706c69636174696f6e20
00002b99: PUSH16 0x766572666c6f774f776e61626c653a20
00002baa: PUSH4 0x616c6c65
00002baf: PUSH19 0x206973206e6f7420746865206f776e65724361
00002bc3: PUSH13 0x6c6572206973206e6f74207265
00002bd1: PUSH24 0x61726420646973747269627574696f6e5361666545524332
00002bea: ADDRESS
00002beb: GASPRICE
00002bec: KECCAK256
00002bed: GASLIMIT
00002bee: MSTORE
00002bef: NUMBER
00002bf0: ORIGIN
00002bf1: ADDRESS
00002bf2: KECCAK256
00002bf3: PUSH16 0x7065726174696f6e20646964206e6f74
00002c04: KECCAK256
00002c05: PUSH20 0x7563636565647645544820636f756c6420626520
00002c1a: PUSH4 0x6c61696d
00002c1f: PUSH6 0x64206f6e6c79
00002c26: KECCAK256
00002c27: PUSH2 0x6674
00002c2a: PUSH6 0x722074686520
00002c31: PUSH17 0x6f6f6c20656e64732ea265627a7a723158
00002c43: KECCAK256
00002c44: SIGNEXTEND
00002c45: PUSH17 0x9963c107f08352dba89086a12e4e5f01b0
00002c57: DUP4
00002c58: SDIV
00002c59: UNKNOWN(0xC2)
00002c5a: UNKNOWN(0xA9)
00002c5b: DIV
00002c5c: UNKNOWN(0xD6)
00002c5d: DUP14
00002c5e: COINBASE
00002c5f: UNKNOWN(0xB7)
00002c60: UNKNOWN(0xDD)
00002c61: DUP10
00002c62: UNKNOWN(0xC2)
00002c63: SHR
00002c64: PUSH5 0x736f6c6343
00002c6a: STOP
00002c6b: SDIV
00002c6c: GT
00002c6d: STOP
00002c6e: ORIGIN

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7888aec",
            "selector": "0xf7888aec",
            "calldata_variants": [
                "0xf7888aec",
                "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffe48902",
            "selector": "0xffe48902",
            "calldata_variants": [
                "0xffe48902",
                "0xffe489020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9b46e6d",
            "selector": "0xe9b46e6d",
            "calldata_variants": [
                "0xe9b46e6d",
                "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb504614",
            "selector": "0xeb504614",
            "calldata_variants": [
                "0xeb504614",
                "0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 9541,
            "type": "tx_origin_used"
        },
        {
            "pc": 11248,
            "type": "tx_origin_used"
        },
        {
            "pc": 11374,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b
call_targets: 0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe"
    ],
    "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": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7888aec",
            "selector": "0xf7888aec",
            "calldata_variants": [
                "0xf7888aec",
                "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffe48902",
            "selector": "0xffe48902",
            "calldata_variants": [
                "0xffe48902",
                "0xffe489020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9b46e6d",
            "selector": "0xe9b46e6d",
            "calldata_variants": [
                "0xe9b46e6d",
                "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb504614",
            "selector": "0xeb504614",
            "calldata_variants": [
                "0xeb504614",
                "0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3316,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3463,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 15,
    "guards_detected": [
        {
            "pc": 9541,
            "type": "tx_origin_used"
        },
        {
            "pc": 11248,
            "type": "tx_origin_used"
        },
        {
            "pc": 11374,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 15
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b
call_targets: 0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xebbb20aeab25405f2aa589c50f67564cee86015dcaaee5a3665ba12ac81bfd2b",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xa8d3084fa61c893eacae2460ee77e3e5f11c8cfe"
    ],
    "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": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf3fef3a3",
            "selector": "0xf3fef3a3",
            "calldata_variants": [
                "0xf3fef3a3",
                "0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf7888aec",
            "selector": "0xf7888aec",
            "calldata_variants": [
                "0xf7888aec",
                "0xf7888aec0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xffe48902",
            "selector": "0xffe48902",
            "calldata_variants": [
                "0xffe48902",
                "0xffe489020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9b46e6d",
            "selector": "0xe9b46e6d",
            "calldata_variants": [
                "0xe9b46e6d",
                "0xe9b46e6d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xeb504614",
            "selector": "0xeb504614",
            "calldata_variants": [
                "0xeb504614",
                "0xeb5046140000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 3316,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3463,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3610,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 15,
    "guards_detected": [
        {
            "pc": 9541,
            "type": "tx_origin_used"
        },
        {
            "pc": 11248,
            "type": "tx_origin_used"
        },
        {
            "pc": 11374,
            "type": "tx_origin_used"
        }
    ]
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 17
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 17
}