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

Analysis Run

e49087cc-7180-4949-9140-9e194bc4f63f

failed
Chain ID
1
Address
0xfda19204c625dd82b0066a18f218179778c14e56
Block Number
—
Created
Thu, Jan 1, 2026 12:48 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?

back to vulns open contract
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
31002 report.consolidate complete 1 / 1 3 months ago
75826 artifact.fetch failed 1 / 3 2 weeks ago
75827 tool.cast_disasm complete 1 / 3 2 weeks ago
75828 analysis.bundle complete 1 / 3 2 weeks ago
75829 capability.graph complete 1 / 3 2 weeks ago
75830 detector.run complete 1 / 3 2 weeks ago
75831 validation.fork complete 1 / 3 2 weeks 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 path to extract value found in the provided sources.
View stderr 
[codex:520851] OpenAI Codex v0.77.0 (research preview)
[codex:520851] --------
[codex:520851] workdir: /tmp/codex-multi-eqcyq3qf
[codex:520851] model: gpt-5.2-codex
[codex:520851] provider: openai
[codex:520851] approval: never
[codex:520851] sandbox: read-only
[codex:520851] reasoning effort: xhigh
[codex:520851] reasoning summaries: auto
[codex:520851] session id: 019b7706-7503-7280-b305-576ff1abb902
[codex:520851] --------
[codex:520851] user
[codex:520851] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:520851] 
[codex:520851] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:520851] 
[codex:520851] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:520851] - Gas inefficiency, code quality, naming, or best practices
[codex:520851] - Theoretical vulnerabilities without a clear extraction path
[codex:520851] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:520851] - Front-running unless it enables theft beyond MEV
[codex:520851] - DoS, griefing, or issues that don't result in attacker profit
[codex:520851] - Missing events, view function issues, or informational findings
[codex:520851] 
[codex:520851] HIGH-VALUE PATTERNS TO HUNT:
[codex:520851] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:520851] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:520851] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:520851] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:520851] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:520851] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:520851] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:520851] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:520851] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:520851] 
[codex:520851] For each finding, you MUST provide:
[codex:520851] 1. Exact file and line numbers of vulnerable code
[codex:520851] 2. Step-by-step exploit transaction sequence
[codex:520851] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:520851] 
[codex:520851] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:520851] 
[codex:520851] Output MUST be valid JSON matching the provided schema.
[codex:520851] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:520851] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:520851] mcp startup: no servers
[codex:520851] 
[codex:520851] thinking
[codex:520851] **Reviewing AGENTS instructions**
[codex:520851] exec
[codex:520851] /bin/bash -lc ls in /tmp/codex-multi-eqcyq3qf succeeded in 7ms:
[codex:520851] AUDIT_BUNDLE.txt
[codex:520851] codex-output-schema.json
[codex:520851] contracts
[codex:520851] exec
[codex:520851] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-eqcyq3qf succeeded in 6ms:
[codex:520851] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:520851] 
[codex:520851] ================================================================================
[codex:520851] FILE: contracts/Users/huanglu/workspace/ETHEREUM/stand-protocol/stand/contracts/distribution/SACUSDCPool.sol
[codex:520851] ================================================================================
[codex:520851] pragma solidity ^0.6.0;
[codex:520851] /**
[codex:520851]  *Submitted for verification at Etherscan.io on 2020-07-17
[codex:520851]  */
[codex:520851] 
[codex:520851] /*
[codex:520851]    ____            __   __        __   _
[codex:520851]   / __/__ __ ___  / /_ / /  ___  / /_ (_)__ __
[codex:520851]  _\ \ / // // _ \/ __// _ \/ -_)/ __// / \ \ /
[codex:520851] /___/ \_, //_//_/\__//_//_/\__/ \__//_/ /_\_\
[codex:520851]      /___/
[codex:520851] 
[codex:520851] * Synthetix: STANDCASHRewards.sol
[codex:520851] *
[codex:520851] * Docs: https://docs.synthetix.io/
[codex:520851] 
[codex:520851] thinking
[codex:520851] **Analyzing for exploitable profit paths**
[codex:520851] 
[codex:520851] I'm carefully checking for reentrancy, token hooks, reward calculation errors, and deposit limit bypasses, considering trusted tokens and typical attack vectors like flash loans, but I find no concrete exploitable profit path or misaccounting; everything seems secure and well-guarded by trusted components.
[codex:520851] codex
[codex:520851] {"no_findings":true,"summary":"No concrete, exploitable path to extract value found in the provided sources.","findings":[]}
[codex:520851] tokens used
[codex:520851] 8,844
[codex:520851] {"no_findings":true,"summary":"No concrete, exploitable path to extract value found in the provided sources.","findings":[]}
Metadata 
{
    "codex": {
        "ran_at": "2026-01-01T00:48:27.783112+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract value found in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract value found 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)
2
EXT*/BALANCE
1
Total opcodes
4347
Flags
create_opcodes_present
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 0x01a8
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x7b0a47ee
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xcd3daf9d
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe9fad8ee
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe9fad8ee
00000047: EQ
00000048: PUSH2 0x05e3
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xebe2b12b
00000052: EQ
00000053: PUSH2 0x05ed
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf2fde38b
0000005d: EQ
0000005e: PUSH2 0x060b
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfc7e286d
00000068: EQ
00000069: PUSH2 0x064f
0000006c: JUMPI
0000006d: PUSH2 0x01a8
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xcd3daf9d
00000078: EQ
00000079: PUSH2 0x0573
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xda09c72c
00000083: EQ
00000084: PUSH2 0x0591
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdf136d65
0000008e: EQ
0000008f: PUSH2 0x05c5
00000092: JUMPI
00000093: PUSH2 0x01a8
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0x8da58897
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x8da58897
000000a9: EQ
000000aa: PUSH2 0x04d5
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x8da5cb5b
000000b4: EQ
000000b5: PUSH2 0x04f3
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xa694fc3a
000000bf: EQ
000000c0: PUSH2 0x0527
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc8f33c91
000000ca: EQ
000000cb: PUSH2 0x0555
000000ce: JUMPI
000000cf: PUSH2 0x01a8
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x7b0a47ee
000000da: EQ
000000db: PUSH2 0x0441
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x80faa57d
000000e5: EQ
000000e6: PUSH2 0x045f
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x8b876347
000000f0: EQ
000000f1: PUSH2 0x047d
000000f4: JUMPI
000000f5: PUSH2 0x01a8
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x1be05289
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x3d18b912
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x3d18b912
00000116: EQ
00000117: PUSH2 0x03a1
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x3e413bee
00000121: EQ
00000122: PUSH2 0x03ab
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x70a08231
0000012c: EQ
0000012d: PUSH2 0x03df
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x715018a6
00000137: EQ
00000138: PUSH2 0x0437
0000013b: JUMPI
0000013c: PUSH2 0x01a8
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x1be05289
00000147: EQ
00000148: PUSH2 0x0327
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x2e1a7d4d
00000152: EQ
00000153: PUSH2 0x0345
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x3c6b16ab
0000015d: EQ
0000015e: PUSH2 0x0373
00000161: JUMPI
00000162: PUSH2 0x01a8
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH3 0x8cc262
0000016c: EQ
0000016d: PUSH2 0x01ad
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x0700037d
00000177: EQ
00000178: PUSH2 0x0205
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x0d68b761
00000182: EQ
00000183: PUSH2 0x025d
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x101114cf
0000018d: EQ
0000018e: PUSH2 0x02a1
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x14b74b72
00000198: EQ
00000199: PUSH2 0x02d5
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x18160ddd
000001a3: EQ
000001a4: PUSH2 0x0309
000001a7: JUMPI
000001a8: JUMPDEST
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: PUSH2 0x01ef
000001b1: PUSH1 0x04
000001b3: DUP1
000001b4: CALLDATASIZE
000001b5: SUB
000001b6: PUSH1 0x20
000001b8: DUP2
000001b9: LT
000001ba: ISZERO
000001bb: PUSH2 0x01c3
000001be: JUMPI
000001bf: PUSH1 0x00
000001c1: DUP1
000001c2: REVERT
000001c3: JUMPDEST
000001c4: DUP2
000001c5: ADD
000001c6: SWAP1
000001c7: DUP1
000001c8: DUP1
000001c9: CALLDATALOAD
000001ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001df: AND
000001e0: SWAP1
000001e1: PUSH1 0x20
000001e3: ADD
000001e4: SWAP1
000001e5: SWAP3
000001e6: SWAP2
000001e7: SWAP1
000001e8: POP
000001e9: POP
000001ea: POP
000001eb: PUSH2 0x06a7
000001ee: JUMP
000001ef: JUMPDEST
000001f0: PUSH1 0x40
000001f2: MLOAD
000001f3: DUP1
000001f4: DUP3
000001f5: DUP2
000001f6: MSTORE
000001f7: PUSH1 0x20
000001f9: ADD
000001fa: SWAP2
000001fb: POP
000001fc: POP
000001fd: PUSH1 0x40
000001ff: MLOAD
00000200: DUP1
00000201: SWAP2
00000202: SUB
00000203: SWAP1
00000204: RETURN
00000205: JUMPDEST
00000206: PUSH2 0x0247
00000209: PUSH1 0x04
0000020b: DUP1
0000020c: CALLDATASIZE
0000020d: SUB
0000020e: PUSH1 0x20
00000210: DUP2
00000211: LT
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: DUP2
0000021d: ADD
0000021e: SWAP1
0000021f: DUP1
00000220: DUP1
00000221: CALLDATALOAD
00000222: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000237: AND
00000238: SWAP1
00000239: PUSH1 0x20
0000023b: ADD
0000023c: SWAP1
0000023d: SWAP3
0000023e: SWAP2
0000023f: SWAP1
00000240: POP
00000241: POP
00000242: POP
00000243: PUSH2 0x078e
00000246: JUMP
00000247: JUMPDEST
00000248: PUSH1 0x40
0000024a: MLOAD
0000024b: DUP1
0000024c: DUP3
0000024d: DUP2
0000024e: MSTORE
0000024f: PUSH1 0x20
00000251: ADD
00000252: SWAP2
00000253: POP
00000254: POP
00000255: PUSH1 0x40
00000257: MLOAD
00000258: DUP1
00000259: SWAP2
0000025a: SUB
0000025b: SWAP1
0000025c: RETURN
0000025d: JUMPDEST
0000025e: PUSH2 0x029f
00000261: PUSH1 0x04
00000263: DUP1
00000264: CALLDATASIZE
00000265: SUB
00000266: PUSH1 0x20
00000268: DUP2
00000269: LT
0000026a: ISZERO
0000026b: PUSH2 0x0273
0000026e: JUMPI
0000026f: PUSH1 0x00
00000271: DUP1
00000272: REVERT
00000273: JUMPDEST
00000274: DUP2
00000275: ADD
00000276: SWAP1
00000277: DUP1
00000278: DUP1
00000279: CALLDATALOAD
0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028f: AND
00000290: SWAP1
00000291: PUSH1 0x20
00000293: ADD
00000294: SWAP1
00000295: SWAP3
00000296: SWAP2
00000297: SWAP1
00000298: POP
00000299: POP
0000029a: POP
0000029b: PUSH2 0x07a6
0000029e: JUMP
0000029f: JUMPDEST
000002a0: STOP
000002a1: JUMPDEST
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x08b4
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: DUP3
000002af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c4: AND
000002c5: DUP2
000002c6: MSTORE
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: SWAP2
000002cb: POP
000002cc: POP
000002cd: PUSH1 0x40
000002cf: MLOAD
000002d0: DUP1
000002d1: SWAP2
000002d2: SUB
000002d3: SWAP1
000002d4: RETURN
000002d5: JUMPDEST
000002d6: PUSH2 0x02dd
000002d9: PUSH2 0x08da
000002dc: JUMP
000002dd: JUMPDEST
000002de: PUSH1 0x40
000002e0: MLOAD
000002e1: DUP1
000002e2: DUP3
000002e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f8: AND
000002f9: DUP2
000002fa: MSTORE
000002fb: PUSH1 0x20
000002fd: ADD
000002fe: SWAP2
000002ff: POP
00000300: POP
00000301: PUSH1 0x40
00000303: MLOAD
00000304: DUP1
00000305: SWAP2
00000306: SUB
00000307: SWAP1
00000308: RETURN
00000309: JUMPDEST
0000030a: PUSH2 0x0311
0000030d: PUSH2 0x0900
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: DUP1
00000316: DUP3
00000317: DUP2
00000318: MSTORE
00000319: PUSH1 0x20
0000031b: ADD
0000031c: SWAP2
0000031d: POP
0000031e: POP
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: PUSH2 0x032f
0000032b: PUSH2 0x090a
0000032e: JUMP
0000032f: JUMPDEST
00000330: PUSH1 0x40
00000332: MLOAD
00000333: DUP1
00000334: DUP3
00000335: DUP2
00000336: MSTORE
00000337: PUSH1 0x20
00000339: ADD
0000033a: SWAP2
0000033b: POP
0000033c: POP
0000033d: PUSH1 0x40
0000033f: MLOAD
00000340: DUP1
00000341: SWAP2
00000342: SUB
00000343: SWAP1
00000344: RETURN
00000345: JUMPDEST
00000346: PUSH2 0x0371
00000349: PUSH1 0x04
0000034b: DUP1
0000034c: CALLDATASIZE
0000034d: SUB
0000034e: PUSH1 0x20
00000350: DUP2
00000351: LT
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: DUP2
0000035d: ADD
0000035e: SWAP1
0000035f: DUP1
00000360: DUP1
00000361: CALLDATALOAD
00000362: SWAP1
00000363: PUSH1 0x20
00000365: ADD
00000366: SWAP1
00000367: SWAP3
00000368: SWAP2
00000369: SWAP1
0000036a: POP
0000036b: POP
0000036c: POP
0000036d: PUSH2 0x0910
00000370: JUMP
00000371: JUMPDEST
00000372: STOP
00000373: JUMPDEST
00000374: PUSH2 0x039f
00000377: PUSH1 0x04
00000379: DUP1
0000037a: CALLDATASIZE
0000037b: SUB
0000037c: PUSH1 0x20
0000037e: DUP2
0000037f: LT
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: DUP2
0000038b: ADD
0000038c: SWAP1
0000038d: DUP1
0000038e: DUP1
0000038f: CALLDATALOAD
00000390: SWAP1
00000391: PUSH1 0x20
00000393: ADD
00000394: SWAP1
00000395: SWAP3
00000396: SWAP2
00000397: SWAP1
00000398: POP
00000399: POP
0000039a: POP
0000039b: PUSH2 0x0bd2
0000039e: JUMP
0000039f: JUMPDEST
000003a0: STOP
000003a1: JUMPDEST
000003a2: PUSH2 0x03a9
000003a5: PUSH2 0x0ed4
000003a8: JUMP
000003a9: JUMPDEST
000003aa: STOP
000003ab: JUMPDEST
000003ac: PUSH2 0x03b3
000003af: PUSH2 0x11e6
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH1 0x40
000003b6: MLOAD
000003b7: DUP1
000003b8: DUP3
000003b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ce: AND
000003cf: DUP2
000003d0: MSTORE
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP2
000003d5: POP
000003d6: POP
000003d7: PUSH1 0x40
000003d9: MLOAD
000003da: DUP1
000003db: SWAP2
000003dc: SUB
000003dd: SWAP1
000003de: RETURN
000003df: JUMPDEST
000003e0: PUSH2 0x0421
000003e3: PUSH1 0x04
000003e5: DUP1
000003e6: CALLDATASIZE
000003e7: SUB
000003e8: PUSH1 0x20
000003ea: DUP2
000003eb: LT
000003ec: ISZERO
000003ed: PUSH2 0x03f5
000003f0: JUMPI
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: DUP2
000003f7: ADD
000003f8: SWAP1
000003f9: DUP1
000003fa: DUP1
000003fb: CALLDATALOAD
000003fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000411: AND
00000412: SWAP1
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP1
00000417: SWAP3
00000418: SWAP2
00000419: SWAP1
0000041a: POP
0000041b: POP
0000041c: POP
0000041d: PUSH2 0x120a
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: DUP3
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: SWAP2
0000042d: POP
0000042e: POP
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP2
00000434: SUB
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: PUSH2 0x043f
0000043b: PUSH2 0x1253
0000043e: JUMP
0000043f: JUMPDEST
00000440: STOP
00000441: JUMPDEST
00000442: PUSH2 0x0449
00000445: PUSH2 0x13de
00000448: JUMP
00000449: JUMPDEST
0000044a: PUSH1 0x40
0000044c: MLOAD
0000044d: DUP1
0000044e: DUP3
0000044f: DUP2
00000450: MSTORE
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP2
00000455: POP
00000456: POP
00000457: PUSH1 0x40
00000459: MLOAD
0000045a: DUP1
0000045b: SWAP2
0000045c: SUB
0000045d: SWAP1
0000045e: RETURN
0000045f: JUMPDEST
00000460: PUSH2 0x0467
00000463: PUSH2 0x13e4
00000466: JUMP
00000467: JUMPDEST
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: DUP3
0000046d: DUP2
0000046e: MSTORE
0000046f: PUSH1 0x20
00000471: ADD
00000472: SWAP2
00000473: POP
00000474: POP
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: SWAP2
0000047a: SUB
0000047b: SWAP1
0000047c: RETURN
0000047d: JUMPDEST
0000047e: PUSH2 0x04bf
00000481: PUSH1 0x04
00000483: DUP1
00000484: CALLDATASIZE
00000485: SUB
00000486: PUSH1 0x20
00000488: DUP2
00000489: LT
0000048a: ISZERO
0000048b: PUSH2 0x0493
0000048e: JUMPI
0000048f: PUSH1 0x00
00000491: DUP1
00000492: REVERT
00000493: JUMPDEST
00000494: DUP2
00000495: ADD
00000496: SWAP1
00000497: DUP1
00000498: DUP1
00000499: CALLDATALOAD
0000049a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004af: AND
000004b0: SWAP1
000004b1: PUSH1 0x20
000004b3: ADD
000004b4: SWAP1
000004b5: SWAP3
000004b6: SWAP2
000004b7: SWAP1
000004b8: POP
000004b9: POP
000004ba: POP
000004bb: PUSH2 0x13f7
000004be: JUMP
000004bf: JUMPDEST
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: DUP1
000004c4: DUP3
000004c5: DUP2
000004c6: MSTORE
000004c7: PUSH1 0x20
000004c9: ADD
000004ca: SWAP2
000004cb: POP
000004cc: POP
000004cd: PUSH1 0x40
000004cf: MLOAD
000004d0: DUP1
000004d1: SWAP2
000004d2: SUB
000004d3: SWAP1
000004d4: RETURN
000004d5: JUMPDEST
000004d6: PUSH2 0x04dd
000004d9: PUSH2 0x140f
000004dc: JUMP
000004dd: JUMPDEST
000004de: PUSH1 0x40
000004e0: MLOAD
000004e1: DUP1
000004e2: DUP3
000004e3: DUP2
000004e4: MSTORE
000004e5: PUSH1 0x20
000004e7: ADD
000004e8: SWAP2
000004e9: POP
000004ea: POP
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: DUP1
000004ef: SWAP2
000004f0: SUB
000004f1: SWAP1
000004f2: RETURN
000004f3: JUMPDEST
000004f4: PUSH2 0x04fb
000004f7: PUSH2 0x1415
000004fa: JUMP
000004fb: JUMPDEST
000004fc: PUSH1 0x40
000004fe: MLOAD
000004ff: DUP1
00000500: DUP3
00000501: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000516: AND
00000517: DUP2
00000518: MSTORE
00000519: PUSH1 0x20
0000051b: ADD
0000051c: SWAP2
0000051d: POP
0000051e: POP
0000051f: PUSH1 0x40
00000521: MLOAD
00000522: DUP1
00000523: SWAP2
00000524: SUB
00000525: SWAP1
00000526: RETURN
00000527: JUMPDEST
00000528: PUSH2 0x0553
0000052b: PUSH1 0x04
0000052d: DUP1
0000052e: CALLDATASIZE
0000052f: SUB
00000530: PUSH1 0x20
00000532: DUP2
00000533: LT
00000534: ISZERO
00000535: PUSH2 0x053d
00000538: JUMPI
00000539: PUSH1 0x00
0000053b: DUP1
0000053c: REVERT
0000053d: JUMPDEST
0000053e: DUP2
0000053f: ADD
00000540: SWAP1
00000541: DUP1
00000542: DUP1
00000543: CALLDATALOAD
00000544: SWAP1
00000545: PUSH1 0x20
00000547: ADD
00000548: SWAP1
00000549: SWAP3
0000054a: SWAP2
0000054b: SWAP1
0000054c: POP
0000054d: POP
0000054e: POP
0000054f: PUSH2 0x143f
00000552: JUMP
00000553: JUMPDEST
00000554: STOP
00000555: JUMPDEST
00000556: PUSH2 0x055d
00000559: PUSH2 0x1765
0000055c: JUMP
0000055d: JUMPDEST
0000055e: PUSH1 0x40
00000560: MLOAD
00000561: DUP1
00000562: DUP3
00000563: DUP2
00000564: MSTORE
00000565: PUSH1 0x20
00000567: ADD
00000568: SWAP2
00000569: POP
0000056a: POP
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: DUP1
0000056f: SWAP2
00000570: SUB
00000571: SWAP1
00000572: RETURN
00000573: JUMPDEST
00000574: PUSH2 0x057b
00000577: PUSH2 0x176b
0000057a: JUMP
0000057b: JUMPDEST
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: DUP3
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x20
00000585: ADD
00000586: SWAP2
00000587: POP
00000588: POP
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: DUP1
0000058d: SWAP2
0000058e: SUB
0000058f: SWAP1
00000590: RETURN
00000591: JUMPDEST
00000592: PUSH2 0x0599
00000595: PUSH2 0x1803
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH1 0x40
0000059c: MLOAD
0000059d: DUP1
0000059e: DUP3
0000059f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b4: AND
000005b5: DUP2
000005b6: MSTORE
000005b7: PUSH1 0x20
000005b9: ADD
000005ba: SWAP2
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP2
000005c2: SUB
000005c3: SWAP1
000005c4: RETURN
000005c5: JUMPDEST
000005c6: PUSH2 0x05cd
000005c9: PUSH2 0x1829
000005cc: JUMP
000005cd: JUMPDEST
000005ce: PUSH1 0x40
000005d0: MLOAD
000005d1: DUP1
000005d2: DUP3
000005d3: DUP2
000005d4: MSTORE
000005d5: PUSH1 0x20
000005d7: ADD
000005d8: SWAP2
000005d9: POP
000005da: POP
000005db: PUSH1 0x40
000005dd: MLOAD
000005de: DUP1
000005df: SWAP2
000005e0: SUB
000005e1: SWAP1
000005e2: RETURN
000005e3: JUMPDEST
000005e4: PUSH2 0x05eb
000005e7: PUSH2 0x182f
000005ea: JUMP
000005eb: JUMPDEST
000005ec: STOP
000005ed: JUMPDEST
000005ee: PUSH2 0x05f5
000005f1: PUSH2 0x184a
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH1 0x40
000005f8: MLOAD
000005f9: DUP1
000005fa: DUP3
000005fb: DUP2
000005fc: MSTORE
000005fd: PUSH1 0x20
000005ff: ADD
00000600: SWAP2
00000601: POP
00000602: POP
00000603: PUSH1 0x40
00000605: MLOAD
00000606: DUP1
00000607: SWAP2
00000608: SUB
00000609: SWAP1
0000060a: RETURN
0000060b: JUMPDEST
0000060c: PUSH2 0x064d
0000060f: PUSH1 0x04
00000611: DUP1
00000612: CALLDATASIZE
00000613: SUB
00000614: PUSH1 0x20
00000616: DUP2
00000617: LT
00000618: ISZERO
00000619: PUSH2 0x0621
0000061c: JUMPI
0000061d: PUSH1 0x00
0000061f: DUP1
00000620: REVERT
00000621: JUMPDEST
00000622: DUP2
00000623: ADD
00000624: SWAP1
00000625: DUP1
00000626: DUP1
00000627: CALLDATALOAD
00000628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063d: AND
0000063e: SWAP1
0000063f: PUSH1 0x20
00000641: ADD
00000642: SWAP1
00000643: SWAP3
00000644: SWAP2
00000645: SWAP1
00000646: POP
00000647: POP
00000648: POP
00000649: PUSH2 0x1850
0000064c: JUMP
0000064d: JUMPDEST
0000064e: STOP
0000064f: JUMPDEST
00000650: PUSH2 0x0691
00000653: PUSH1 0x04
00000655: DUP1
00000656: CALLDATASIZE
00000657: SUB
00000658: PUSH1 0x20
0000065a: DUP2
0000065b: LT
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: DUP2
00000667: ADD
00000668: SWAP1
00000669: DUP1
0000066a: DUP1
0000066b: CALLDATALOAD
0000066c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000681: AND
00000682: SWAP1
00000683: PUSH1 0x20
00000685: ADD
00000686: SWAP1
00000687: SWAP3
00000688: SWAP2
00000689: SWAP1
0000068a: POP
0000068b: POP
0000068c: POP
0000068d: PUSH2 0x1a60
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x40
00000694: MLOAD
00000695: DUP1
00000696: DUP3
00000697: DUP2
00000698: MSTORE
00000699: PUSH1 0x20
0000069b: ADD
0000069c: SWAP2
0000069d: POP
0000069e: POP
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: DUP1
000006a3: SWAP2
000006a4: SUB
000006a5: SWAP1
000006a6: RETURN
000006a7: JUMPDEST
000006a8: PUSH1 0x00
000006aa: PUSH2 0x0787
000006ad: PUSH1 0x0e
000006af: PUSH1 0x00
000006b1: DUP5
000006b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c7: AND
000006c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006dd: AND
000006de: DUP2
000006df: MSTORE
000006e0: PUSH1 0x20
000006e2: ADD
000006e3: SWAP1
000006e4: DUP2
000006e5: MSTORE
000006e6: PUSH1 0x20
000006e8: ADD
000006e9: PUSH1 0x00
000006eb: KECCAK256
000006ec: SLOAD
000006ed: PUSH2 0x0779
000006f0: PUSH8 0x0de0b6b3a7640000
000006f9: PUSH2 0x076b
000006fc: PUSH2 0x0754
000006ff: PUSH1 0x0d
00000701: PUSH1 0x00
00000703: DUP10
00000704: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000719: AND
0000071a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072f: AND
00000730: DUP2
00000731: MSTORE
00000732: PUSH1 0x20
00000734: ADD
00000735: SWAP1
00000736: DUP2
00000737: MSTORE
00000738: PUSH1 0x20
0000073a: ADD
0000073b: PUSH1 0x00
0000073d: KECCAK256
0000073e: SLOAD
0000073f: PUSH2 0x0746
00000742: PUSH2 0x176b
00000745: JUMP
00000746: JUMPDEST
00000747: PUSH2 0x1a78
0000074a: SWAP1
0000074b: SWAP2
0000074c: SWAP1
0000074d: PUSH4 0xffffffff
00000752: AND
00000753: JUMP
00000754: JUMPDEST
00000755: PUSH2 0x075d
00000758: DUP9
00000759: PUSH2 0x120a
0000075c: JUMP
0000075d: JUMPDEST
0000075e: PUSH2 0x1ac2
00000761: SWAP1
00000762: SWAP2
00000763: SWAP1
00000764: PUSH4 0xffffffff
00000769: AND
0000076a: JUMP
0000076b: JUMPDEST
0000076c: PUSH2 0x1b48
0000076f: SWAP1
00000770: SWAP2
00000771: SWAP1
00000772: PUSH4 0xffffffff
00000777: AND
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH2 0x1b92
0000077d: SWAP1
0000077e: SWAP2
0000077f: SWAP1
00000780: PUSH4 0xffffffff
00000785: AND
00000786: JUMP
00000787: JUMPDEST
00000788: SWAP1
00000789: POP
0000078a: SWAP2
0000078b: SWAP1
0000078c: POP
0000078d: JUMP
0000078e: JUMPDEST
0000078f: PUSH1 0x0e
00000791: PUSH1 0x20
00000793: MSTORE
00000794: DUP1
00000795: PUSH1 0x00
00000797: MSTORE
00000798: PUSH1 0x40
0000079a: PUSH1 0x00
0000079c: KECCAK256
0000079d: PUSH1 0x00
0000079f: SWAP2
000007a0: POP
000007a1: SWAP1
000007a2: POP
000007a3: SLOAD
000007a4: DUP2
000007a5: JUMP
000007a6: JUMPDEST
000007a7: PUSH2 0x07ae
000007aa: PUSH2 0x1c1a
000007ad: JUMP
000007ae: JUMPDEST
000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c4: AND
000007c5: PUSH1 0x03
000007c7: PUSH1 0x00
000007c9: SWAP1
000007ca: SLOAD
000007cb: SWAP1
000007cc: PUSH2 0x0100
000007cf: EXP
000007d0: SWAP1
000007d1: DIV
000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e7: AND
000007e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fd: AND
000007fe: EQ
000007ff: PUSH2 0x0870
00000802: JUMPI
00000803: PUSH1 0x40
00000805: MLOAD
00000806: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000827: DUP2
00000828: MSTORE
00000829: PUSH1 0x04
0000082b: ADD
0000082c: DUP1
0000082d: DUP1
0000082e: PUSH1 0x20
00000830: ADD
00000831: DUP3
00000832: DUP2
00000833: SUB
00000834: DUP3
00000835: MSTORE
00000836: PUSH1 0x20
00000838: DUP2
00000839: MSTORE
0000083a: PUSH1 0x20
0000083c: ADD
0000083d: DUP1
0000083e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000085f: DUP2
00000860: MSTORE
00000861: POP
00000862: PUSH1 0x20
00000864: ADD
00000865: SWAP2
00000866: POP
00000867: POP
00000868: PUSH1 0x40
0000086a: MLOAD
0000086b: DUP1
0000086c: SWAP2
0000086d: SUB
0000086e: SWAP1
0000086f: REVERT
00000870: JUMPDEST
00000871: DUP1
00000872: PUSH1 0x04
00000874: PUSH1 0x00
00000876: PUSH2 0x0100
00000879: EXP
0000087a: DUP2
0000087b: SLOAD
0000087c: DUP2
0000087d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000892: MUL
00000893: NOT
00000894: AND
00000895: SWAP1
00000896: DUP4
00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ac: AND
000008ad: MUL
000008ae: OR
000008af: SWAP1
000008b0: SSTORE
000008b1: POP
000008b2: POP
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x04
000008b7: PUSH1 0x00
000008b9: SWAP1
000008ba: SLOAD
000008bb: SWAP1
000008bc: PUSH2 0x0100
000008bf: EXP
000008c0: SWAP1
000008c1: DIV
000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d7: AND
000008d8: DUP2
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x05
000008dd: PUSH1 0x00
000008df: SWAP1
000008e0: SLOAD
000008e1: SWAP1
000008e2: PUSH2 0x0100
000008e5: EXP
000008e6: SWAP1
000008e7: DIV
000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008fd: AND
000008fe: DUP2
000008ff: JUMP
00000900: JUMPDEST
00000901: PUSH1 0x00
00000903: PUSH1 0x01
00000905: SLOAD
00000906: SWAP1
00000907: POP
00000908: SWAP1
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x06
0000090d: SLOAD
0000090e: DUP2
0000090f: JUMP
00000910: JUMPDEST
00000911: CALLER
00000912: PUSH2 0x0919
00000915: PUSH2 0x176b
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH1 0x0b
0000091c: DUP2
0000091d: SWAP1
0000091e: SSTORE
0000091f: POP
00000920: PUSH2 0x0927
00000923: PUSH2 0x13e4
00000926: JUMP
00000927: JUMPDEST
00000928: PUSH1 0x0a
0000092a: DUP2
0000092b: SWAP1
0000092c: SSTORE
0000092d: POP
0000092e: PUSH1 0x00
00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000945: AND
00000946: DUP2
00000947: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095c: AND
0000095d: EQ
0000095e: PUSH2 0x09f4
00000961: JUMPI
00000962: PUSH2 0x096a
00000965: DUP2
00000966: PUSH2 0x06a7
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x0e
0000096d: PUSH1 0x00
0000096f: DUP4
00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000985: AND
00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099b: AND
0000099c: DUP2
0000099d: MSTORE
0000099e: PUSH1 0x20
000009a0: ADD
000009a1: SWAP1
000009a2: DUP2
000009a3: MSTORE
000009a4: PUSH1 0x20
000009a6: ADD
000009a7: PUSH1 0x00
000009a9: KECCAK256
000009aa: DUP2
000009ab: SWAP1
000009ac: SSTORE
000009ad: POP
000009ae: PUSH1 0x0b
000009b0: SLOAD
000009b1: PUSH1 0x0d
000009b3: PUSH1 0x00
000009b5: DUP4
000009b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cb: AND
000009cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e1: AND
000009e2: DUP2
000009e3: MSTORE
000009e4: PUSH1 0x20
000009e6: ADD
000009e7: SWAP1
000009e8: DUP2
000009e9: MSTORE
000009ea: PUSH1 0x20
000009ec: ADD
000009ed: PUSH1 0x00
000009ef: KECCAK256
000009f0: DUP2
000009f1: SWAP1
000009f2: SSTORE
000009f3: POP
000009f4: JUMPDEST
000009f5: PUSH1 0x07
000009f7: SLOAD
000009f8: TIMESTAMP
000009f9: LT
000009fa: ISZERO
000009fb: PUSH2 0x0a6c
000009fe: JUMPI
000009ff: PUSH1 0x40
00000a01: MLOAD
00000a02: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x04
00000a27: ADD
00000a28: DUP1
00000a29: DUP1
00000a2a: PUSH1 0x20
00000a2c: ADD
00000a2d: DUP3
00000a2e: DUP2
00000a2f: SUB
00000a30: DUP3
00000a31: MSTORE
00000a32: PUSH1 0x16
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x20
00000a38: ADD
00000a39: DUP1
00000a3a: PUSH32 0x53414355534443506f6f6c3a206e6f7420737461727400000000000000000000
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: POP
00000a5e: PUSH1 0x20
00000a60: ADD
00000a61: SWAP2
00000a62: POP
00000a63: POP
00000a64: PUSH1 0x40
00000a66: MLOAD
00000a67: DUP1
00000a68: SWAP2
00000a69: SUB
00000a6a: SWAP1
00000a6b: REVERT
00000a6c: JUMPDEST
00000a6d: PUSH1 0x00
00000a6f: DUP3
00000a70: GT
00000a71: PUSH2 0x0ae2
00000a74: JUMPI
00000a75: PUSH1 0x40
00000a77: MLOAD
00000a78: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x04
00000a9d: ADD
00000a9e: DUP1
00000a9f: DUP1
00000aa0: PUSH1 0x20
00000aa2: ADD
00000aa3: DUP3
00000aa4: DUP2
00000aa5: SUB
00000aa6: DUP3
00000aa7: MSTORE
00000aa8: PUSH1 0x1e
00000aaa: DUP2
00000aab: MSTORE
00000aac: PUSH1 0x20
00000aae: ADD
00000aaf: DUP1
00000ab0: PUSH32 0x53414355534443506f6f6c3a2043616e6e6f7420776974686472617720300000
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: POP
00000ad4: PUSH1 0x20
00000ad6: ADD
00000ad7: SWAP2
00000ad8: POP
00000ad9: POP
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP1
00000ade: SWAP2
00000adf: SUB
00000ae0: SWAP1
00000ae1: REVERT
00000ae2: JUMPDEST
00000ae3: PUSH2 0x0b34
00000ae6: DUP3
00000ae7: PUSH1 0x0f
00000ae9: PUSH1 0x00
00000aeb: CALLER
00000aec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b01: AND
00000b02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b17: AND
00000b18: DUP2
00000b19: MSTORE
00000b1a: PUSH1 0x20
00000b1c: ADD
00000b1d: SWAP1
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x20
00000b22: ADD
00000b23: PUSH1 0x00
00000b25: KECCAK256
00000b26: SLOAD
00000b27: PUSH2 0x1a78
00000b2a: SWAP1
00000b2b: SWAP2
00000b2c: SWAP1
00000b2d: PUSH4 0xffffffff
00000b32: AND
00000b33: JUMP
00000b34: JUMPDEST
00000b35: PUSH1 0x0f
00000b37: PUSH1 0x00
00000b39: CALLER
00000b3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4f: AND
00000b50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b65: AND
00000b66: DUP2
00000b67: MSTORE
00000b68: PUSH1 0x20
00000b6a: ADD
00000b6b: SWAP1
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: PUSH1 0x00
00000b73: KECCAK256
00000b74: DUP2
00000b75: SWAP1
00000b76: SSTORE
00000b77: POP
00000b78: PUSH2 0x0b80
00000b7b: DUP3
00000b7c: PUSH2 0x1c22
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: CALLER
00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b97: AND
00000b98: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000bb9: DUP4
00000bba: PUSH1 0x40
00000bbc: MLOAD
00000bbd: DUP1
00000bbe: DUP3
00000bbf: DUP2
00000bc0: MSTORE
00000bc1: PUSH1 0x20
00000bc3: ADD
00000bc4: SWAP2
00000bc5: POP
00000bc6: POP
00000bc7: PUSH1 0x40
00000bc9: MLOAD
00000bca: DUP1
00000bcb: SWAP2
00000bcc: SUB
00000bcd: SWAP1
00000bce: LOG2
00000bcf: POP
00000bd0: POP
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x04
00000bd5: PUSH1 0x00
00000bd7: SWAP1
00000bd8: SLOAD
00000bd9: SWAP1
00000bda: PUSH2 0x0100
00000bdd: EXP
00000bde: SWAP1
00000bdf: DIV
00000be0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf5: AND
00000bf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c0b: AND
00000c0c: PUSH2 0x0c13
00000c0f: PUSH2 0x1c1a
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c29: AND
00000c2a: EQ
00000c2b: PUSH2 0x0c7f
00000c2e: JUMPI
00000c2f: PUSH1 0x40
00000c31: MLOAD
00000c32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c53: DUP2
00000c54: MSTORE
00000c55: PUSH1 0x04
00000c57: ADD
00000c58: DUP1
00000c59: DUP1
00000c5a: PUSH1 0x20
00000c5c: ADD
00000c5d: DUP3
00000c5e: DUP2
00000c5f: SUB
00000c60: DUP3
00000c61: MSTORE
00000c62: PUSH1 0x21
00000c64: DUP2
00000c65: MSTORE
00000c66: PUSH1 0x20
00000c68: ADD
00000c69: DUP1
00000c6a: PUSH2 0x24bb
00000c6d: PUSH1 0x21
00000c6f: SWAP2
00000c70: CODECOPY
00000c71: PUSH1 0x40
00000c73: ADD
00000c74: SWAP2
00000c75: POP
00000c76: POP
00000c77: PUSH1 0x40
00000c79: MLOAD
00000c7a: DUP1
00000c7b: SWAP2
00000c7c: SUB
00000c7d: SWAP1
00000c7e: REVERT
00000c7f: JUMPDEST
00000c80: PUSH1 0x00
00000c82: PUSH2 0x0c89
00000c85: PUSH2 0x176b
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH1 0x0b
00000c8c: DUP2
00000c8d: SWAP1
00000c8e: SSTORE
00000c8f: POP
00000c90: PUSH2 0x0c97
00000c93: PUSH2 0x13e4
00000c96: JUMP
00000c97: JUMPDEST
00000c98: PUSH1 0x0a
00000c9a: DUP2
00000c9b: SWAP1
00000c9c: SSTORE
00000c9d: POP
00000c9e: PUSH1 0x00
00000ca0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb5: AND
00000cb6: DUP2
00000cb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ccc: AND
00000ccd: EQ
00000cce: PUSH2 0x0d64
00000cd1: JUMPI
00000cd2: PUSH2 0x0cda
00000cd5: DUP2
00000cd6: PUSH2 0x06a7
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: PUSH1 0x0e
00000cdd: PUSH1 0x00
00000cdf: DUP4
00000ce0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf5: AND
00000cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0b: AND
00000d0c: DUP2
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: ADD
00000d11: SWAP1
00000d12: DUP2
00000d13: MSTORE
00000d14: PUSH1 0x20
00000d16: ADD
00000d17: PUSH1 0x00
00000d19: KECCAK256
00000d1a: DUP2
00000d1b: SWAP1
00000d1c: SSTORE
00000d1d: POP
00000d1e: PUSH1 0x0b
00000d20: SLOAD
00000d21: PUSH1 0x0d
00000d23: PUSH1 0x00
00000d25: DUP4
00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3b: AND
00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d51: AND
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: SWAP1
00000d58: DUP2
00000d59: MSTORE
00000d5a: PUSH1 0x20
00000d5c: ADD
00000d5d: PUSH1 0x00
00000d5f: KECCAK256
00000d60: DUP2
00000d61: SWAP1
00000d62: SSTORE
00000d63: POP
00000d64: JUMPDEST
00000d65: PUSH1 0x07
00000d67: SLOAD
00000d68: TIMESTAMP
00000d69: GT
00000d6a: ISZERO
00000d6b: PUSH2 0x0e57
00000d6e: JUMPI
00000d6f: PUSH1 0x08
00000d71: SLOAD
00000d72: TIMESTAMP
00000d73: LT
00000d74: PUSH2 0x0d97
00000d77: JUMPI
00000d78: PUSH2 0x0d8c
00000d7b: PUSH1 0x06
00000d7d: SLOAD
00000d7e: DUP4
00000d7f: PUSH2 0x1b48
00000d82: SWAP1
00000d83: SWAP2
00000d84: SWAP1
00000d85: PUSH4 0xffffffff
00000d8a: AND
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x09
00000d8f: DUP2
00000d90: SWAP1
00000d91: SSTORE
00000d92: POP
00000d93: PUSH2 0x0df9
00000d96: JUMP
00000d97: JUMPDEST
00000d98: PUSH1 0x00
00000d9a: PUSH2 0x0dae
00000d9d: TIMESTAMP
00000d9e: PUSH1 0x08
00000da0: SLOAD
00000da1: PUSH2 0x1a78
00000da4: SWAP1
00000da5: SWAP2
00000da6: SWAP1
00000da7: PUSH4 0xffffffff
00000dac: AND
00000dad: JUMP
00000dae: JUMPDEST
00000daf: SWAP1
00000db0: POP
00000db1: PUSH1 0x00
00000db3: PUSH2 0x0dc7
00000db6: PUSH1 0x09
00000db8: SLOAD
00000db9: DUP4
00000dba: PUSH2 0x1ac2
00000dbd: SWAP1
00000dbe: SWAP2
00000dbf: SWAP1
00000dc0: PUSH4 0xffffffff
00000dc5: AND
00000dc6: JUMP
00000dc7: JUMPDEST
00000dc8: SWAP1
00000dc9: POP
00000dca: PUSH2 0x0df0
00000dcd: PUSH1 0x06
00000dcf: SLOAD
00000dd0: PUSH2 0x0de2
00000dd3: DUP4
00000dd4: DUP8
00000dd5: PUSH2 0x1b92
00000dd8: SWAP1
00000dd9: SWAP2
00000dda: SWAP1
00000ddb: PUSH4 0xffffffff
00000de0: AND
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH2 0x1b48
00000de6: SWAP1
00000de7: SWAP2
00000de8: SWAP1
00000de9: PUSH4 0xffffffff
00000dee: AND
00000def: JUMP
00000df0: JUMPDEST
00000df1: PUSH1 0x09
00000df3: DUP2
00000df4: SWAP1
00000df5: SSTORE
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: JUMPDEST
00000dfa: TIMESTAMP
00000dfb: PUSH1 0x0a
00000dfd: DUP2
00000dfe: SWAP1
00000dff: SSTORE
00000e00: POP
00000e01: PUSH2 0x0e15
00000e04: PUSH1 0x06
00000e06: SLOAD
00000e07: TIMESTAMP
00000e08: PUSH2 0x1b92
00000e0b: SWAP1
00000e0c: SWAP2
00000e0d: SWAP1
00000e0e: PUSH4 0xffffffff
00000e13: AND
00000e14: JUMP
00000e15: JUMPDEST
00000e16: PUSH1 0x08
00000e18: DUP2
00000e19: SWAP1
00000e1a: SSTORE
00000e1b: POP
00000e1c: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00000e3d: DUP3
00000e3e: PUSH1 0x40
00000e40: MLOAD
00000e41: DUP1
00000e42: DUP3
00000e43: DUP2
00000e44: MSTORE
00000e45: PUSH1 0x20
00000e47: ADD
00000e48: SWAP2
00000e49: POP
00000e4a: POP
00000e4b: PUSH1 0x40
00000e4d: MLOAD
00000e4e: DUP1
00000e4f: SWAP2
00000e50: SUB
00000e51: SWAP1
00000e52: LOG1
00000e53: PUSH2 0x0ed0
00000e56: JUMP
00000e57: JUMPDEST
00000e58: PUSH2 0x0e6c
00000e5b: PUSH1 0x06
00000e5d: SLOAD
00000e5e: DUP4
00000e5f: PUSH2 0x1b48
00000e62: SWAP1
00000e63: SWAP2
00000e64: SWAP1
00000e65: PUSH4 0xffffffff
00000e6a: AND
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH1 0x09
00000e6f: DUP2
00000e70: SWAP1
00000e71: SSTORE
00000e72: POP
00000e73: PUSH1 0x07
00000e75: SLOAD
00000e76: PUSH1 0x0a
00000e78: DUP2
00000e79: SWAP1
00000e7a: SSTORE
00000e7b: POP
00000e7c: PUSH2 0x0e92
00000e7f: PUSH1 0x06
00000e81: SLOAD
00000e82: PUSH1 0x07
00000e84: SLOAD
00000e85: PUSH2 0x1b92
00000e88: SWAP1
00000e89: SWAP2
00000e8a: SWAP1
00000e8b: PUSH4 0xffffffff
00000e90: AND
00000e91: JUMP
00000e92: JUMPDEST
00000e93: PUSH1 0x08
00000e95: DUP2
00000e96: SWAP1
00000e97: SSTORE
00000e98: POP
00000e99: PUSH32 0xde88a922e0d3b88b24e9623efeb464919c6bf9f66857a65e2bfcf2ce87a9433d
00000eba: DUP3
00000ebb: PUSH1 0x40
00000ebd: MLOAD
00000ebe: DUP1
00000ebf: DUP3
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: PUSH1 0x20
00000ec4: ADD
00000ec5: SWAP2
00000ec6: POP
00000ec7: POP
00000ec8: PUSH1 0x40
00000eca: MLOAD
00000ecb: DUP1
00000ecc: SWAP2
00000ecd: SUB
00000ece: SWAP1
00000ecf: LOG1
00000ed0: JUMPDEST
00000ed1: POP
00000ed2: POP
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: CALLER
00000ed6: PUSH2 0x0edd
00000ed9: PUSH2 0x176b
00000edc: JUMP
00000edd: JUMPDEST
00000ede: PUSH1 0x0b
00000ee0: DUP2
00000ee1: SWAP1
00000ee2: SSTORE
00000ee3: POP
00000ee4: PUSH2 0x0eeb
00000ee7: PUSH2 0x13e4
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: PUSH1 0x0a
00000eee: DUP2
00000eef: SWAP1
00000ef0: SSTORE
00000ef1: POP
00000ef2: PUSH1 0x00
00000ef4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f09: AND
00000f0a: DUP2
00000f0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f20: AND
00000f21: EQ
00000f22: PUSH2 0x0fb8
00000f25: JUMPI
00000f26: PUSH2 0x0f2e
00000f29: DUP2
00000f2a: PUSH2 0x06a7
00000f2d: JUMP
00000f2e: JUMPDEST
00000f2f: PUSH1 0x0e
00000f31: PUSH1 0x00
00000f33: DUP4
00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f49: AND
00000f4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5f: AND
00000f60: DUP2
00000f61: MSTORE
00000f62: PUSH1 0x20
00000f64: ADD
00000f65: SWAP1
00000f66: DUP2
00000f67: MSTORE
00000f68: PUSH1 0x20
00000f6a: ADD
00000f6b: PUSH1 0x00
00000f6d: KECCAK256
00000f6e: DUP2
00000f6f: SWAP1
00000f70: SSTORE
00000f71: POP
00000f72: PUSH1 0x0b
00000f74: SLOAD
00000f75: PUSH1 0x0d
00000f77: PUSH1 0x00
00000f79: DUP4
00000f7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8f: AND
00000f90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa5: AND
00000fa6: DUP2
00000fa7: MSTORE
00000fa8: PUSH1 0x20
00000faa: ADD
00000fab: SWAP1
00000fac: DUP2
00000fad: MSTORE
00000fae: PUSH1 0x20
00000fb0: ADD
00000fb1: PUSH1 0x00
00000fb3: KECCAK256
00000fb4: DUP2
00000fb5: SWAP1
00000fb6: SSTORE
00000fb7: POP
00000fb8: JUMPDEST
00000fb9: PUSH1 0x07
00000fbb: SLOAD
00000fbc: TIMESTAMP
00000fbd: LT
00000fbe: ISZERO
00000fbf: PUSH2 0x1030
00000fc2: JUMPI
00000fc3: PUSH1 0x40
00000fc5: MLOAD
00000fc6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fe7: DUP2
00000fe8: MSTORE
00000fe9: PUSH1 0x04
00000feb: ADD
00000fec: DUP1
00000fed: DUP1
00000fee: PUSH1 0x20
00000ff0: ADD
00000ff1: DUP3
00000ff2: DUP2
00000ff3: SUB
00000ff4: DUP3
00000ff5: MSTORE
00000ff6: PUSH1 0x16
00000ff8: DUP2
00000ff9: MSTORE
00000ffa: PUSH1 0x20
00000ffc: ADD
00000ffd: DUP1
00000ffe: PUSH32 0x53414355534443506f6f6c3a206e6f7420737461727400000000000000000000
0000101f: DUP2
00001020: MSTORE
00001021: POP
00001022: PUSH1 0x20
00001024: ADD
00001025: SWAP2
00001026: POP
00001027: POP
00001028: PUSH1 0x40
0000102a: MLOAD
0000102b: DUP1
0000102c: SWAP2
0000102d: SUB
0000102e: SWAP1
0000102f: REVERT
00001030: JUMPDEST
00001031: PUSH1 0x00
00001033: PUSH2 0x103b
00001036: CALLER
00001037: PUSH2 0x06a7
0000103a: JUMP
0000103b: JUMPDEST
0000103c: SWAP1
0000103d: POP
0000103e: PUSH1 0x00
00001040: DUP2
00001041: GT
00001042: ISZERO
00001043: PUSH2 0x11e2
00001046: JUMPI
00001047: PUSH1 0x00
00001049: PUSH1 0x0e
0000104b: PUSH1 0x00
0000104d: CALLER
0000104e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001063: AND
00001064: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001079: AND
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x20
0000107e: ADD
0000107f: SWAP1
00001080: DUP2
00001081: MSTORE
00001082: PUSH1 0x20
00001084: ADD
00001085: PUSH1 0x00
00001087: KECCAK256
00001088: DUP2
00001089: SWAP1
0000108a: SSTORE
0000108b: POP
0000108c: PUSH2 0x10fe
0000108f: CALLER
00001090: PUSH2 0x10b6
00001093: PUSH1 0x64
00001095: PUSH2 0x10a8
00001098: PUSH1 0x5b
0000109a: DUP7
0000109b: PUSH2 0x1ac2
0000109e: SWAP1
0000109f: SWAP2
000010a0: SWAP1
000010a1: PUSH4 0xffffffff
000010a6: AND
000010a7: JUMP
000010a8: JUMPDEST
000010a9: PUSH2 0x1b48
000010ac: SWAP1
000010ad: SWAP2
000010ae: SWAP1
000010af: PUSH4 0xffffffff
000010b4: AND
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x05
000010b9: PUSH1 0x00
000010bb: SWAP1
000010bc: SLOAD
000010bd: SWAP1
000010be: PUSH2 0x0100
000010c1: EXP
000010c2: SWAP1
000010c3: DIV
000010c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d9: AND
000010da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ef: AND
000010f0: PUSH2 0x1d20
000010f3: SWAP1
000010f4: SWAP3
000010f5: SWAP2
000010f6: SWAP1
000010f7: PUSH4 0xffffffff
000010fc: AND
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH2 0x1193
00001102: PUSH1 0x0c
00001104: PUSH1 0x00
00001106: SWAP1
00001107: SLOAD
00001108: SWAP1
00001109: PUSH2 0x0100
0000110c: EXP
0000110d: SWAP1
0000110e: DIV
0000110f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001124: AND
00001125: PUSH2 0x114b
00001128: PUSH1 0x64
0000112a: PUSH2 0x113d
0000112d: PUSH1 0x09
0000112f: DUP7
00001130: PUSH2 0x1ac2
00001133: SWAP1
00001134: SWAP2
00001135: SWAP1
00001136: PUSH4 0xffffffff
0000113b: AND
0000113c: JUMP
0000113d: JUMPDEST
0000113e: PUSH2 0x1b48
00001141: SWAP1
00001142: SWAP2
00001143: SWAP1
00001144: PUSH4 0xffffffff
00001149: AND
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH1 0x05
0000114e: PUSH1 0x00
00001150: SWAP1
00001151: SLOAD
00001152: SWAP1
00001153: PUSH2 0x0100
00001156: EXP
00001157: SWAP1
00001158: DIV
00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116e: AND
0000116f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001184: AND
00001185: PUSH2 0x1d20
00001188: SWAP1
00001189: SWAP3
0000118a: SWAP2
0000118b: SWAP1
0000118c: PUSH4 0xffffffff
00001191: AND
00001192: JUMP
00001193: JUMPDEST
00001194: CALLER
00001195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011aa: AND
000011ab: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486
000011cc: DUP3
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: DUP1
000011d1: DUP3
000011d2: DUP2
000011d3: MSTORE
000011d4: PUSH1 0x20
000011d6: ADD
000011d7: SWAP2
000011d8: POP
000011d9: POP
000011da: PUSH1 0x40
000011dc: MLOAD
000011dd: DUP1
000011de: SWAP2
000011df: SUB
000011e0: SWAP1
000011e1: LOG2
000011e2: JUMPDEST
000011e3: POP
000011e4: POP
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: DUP1
000011ea: SLOAD
000011eb: SWAP1
000011ec: PUSH2 0x0100
000011ef: EXP
000011f0: SWAP1
000011f1: DIV
000011f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001207: AND
00001208: DUP2
00001209: JUMP
0000120a: JUMPDEST
0000120b: PUSH1 0x00
0000120d: PUSH1 0x02
0000120f: PUSH1 0x00
00001211: DUP4
00001212: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001227: AND
00001228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000123d: AND
0000123e: DUP2
0000123f: MSTORE
00001240: PUSH1 0x20
00001242: ADD
00001243: SWAP1
00001244: DUP2
00001245: MSTORE
00001246: PUSH1 0x20
00001248: ADD
00001249: PUSH1 0x00
0000124b: KECCAK256
0000124c: SLOAD
0000124d: SWAP1
0000124e: POP
0000124f: SWAP2
00001250: SWAP1
00001251: POP
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH2 0x125b
00001257: PUSH2 0x1c1a
0000125a: JUMP
0000125b: JUMPDEST
0000125c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001271: AND
00001272: PUSH1 0x03
00001274: PUSH1 0x00
00001276: SWAP1
00001277: SLOAD
00001278: SWAP1
00001279: PUSH2 0x0100
0000127c: EXP
0000127d: SWAP1
0000127e: DIV
0000127f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001294: AND
00001295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012aa: AND
000012ab: EQ
000012ac: PUSH2 0x131d
000012af: JUMPI
000012b0: PUSH1 0x40
000012b2: MLOAD
000012b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012d4: DUP2
000012d5: MSTORE
000012d6: PUSH1 0x04
000012d8: ADD
000012d9: DUP1
000012da: DUP1
000012db: PUSH1 0x20
000012dd: ADD
000012de: DUP3
000012df: DUP2
000012e0: SUB
000012e1: DUP3
000012e2: MSTORE
000012e3: PUSH1 0x20
000012e5: DUP2
000012e6: MSTORE
000012e7: PUSH1 0x20
000012e9: ADD
000012ea: DUP1
000012eb: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000130c: DUP2
0000130d: MSTORE
0000130e: POP
0000130f: PUSH1 0x20
00001311: ADD
00001312: SWAP2
00001313: POP
00001314: POP
00001315: PUSH1 0x40
00001317: MLOAD
00001318: DUP1
00001319: SWAP2
0000131a: SUB
0000131b: SWAP1
0000131c: REVERT
0000131d: JUMPDEST
0000131e: PUSH1 0x00
00001320: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001335: AND
00001336: PUSH1 0x03
00001338: PUSH1 0x00
0000133a: SWAP1
0000133b: SLOAD
0000133c: SWAP1
0000133d: PUSH2 0x0100
00001340: EXP
00001341: SWAP1
00001342: DIV
00001343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001358: AND
00001359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136e: AND
0000136f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001390: PUSH1 0x40
00001392: MLOAD
00001393: PUSH1 0x40
00001395: MLOAD
00001396: DUP1
00001397: SWAP2
00001398: SUB
00001399: SWAP1
0000139a: LOG3
0000139b: PUSH1 0x00
0000139d: PUSH1 0x03
0000139f: PUSH1 0x00
000013a1: PUSH2 0x0100
000013a4: EXP
000013a5: DUP2
000013a6: SLOAD
000013a7: DUP2
000013a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013bd: MUL
000013be: NOT
000013bf: AND
000013c0: SWAP1
000013c1: DUP4
000013c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d7: AND
000013d8: MUL
000013d9: OR
000013da: SWAP1
000013db: SSTORE
000013dc: POP
000013dd: JUMP
000013de: JUMPDEST
000013df: PUSH1 0x09
000013e1: SLOAD
000013e2: DUP2
000013e3: JUMP
000013e4: JUMPDEST
000013e5: PUSH1 0x00
000013e7: PUSH2 0x13f2
000013ea: TIMESTAMP
000013eb: PUSH1 0x08
000013ed: SLOAD
000013ee: PUSH2 0x1dc2
000013f1: JUMP
000013f2: JUMPDEST
000013f3: SWAP1
000013f4: POP
000013f5: SWAP1
000013f6: JUMP
000013f7: JUMPDEST
000013f8: PUSH1 0x0d
000013fa: PUSH1 0x20
000013fc: MSTORE
000013fd: DUP1
000013fe: PUSH1 0x00
00001400: MSTORE
00001401: PUSH1 0x40
00001403: PUSH1 0x00
00001405: KECCAK256
00001406: PUSH1 0x00
00001408: SWAP2
00001409: POP
0000140a: SWAP1
0000140b: POP
0000140c: SLOAD
0000140d: DUP2
0000140e: JUMP
0000140f: JUMPDEST
00001410: PUSH1 0x07
00001412: SLOAD
00001413: DUP2
00001414: JUMP
00001415: JUMPDEST
00001416: PUSH1 0x00
00001418: PUSH1 0x03
0000141a: PUSH1 0x00
0000141c: SWAP1
0000141d: SLOAD
0000141e: SWAP1
0000141f: PUSH2 0x0100
00001422: EXP
00001423: SWAP1
00001424: DIV
00001425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000143a: AND
0000143b: SWAP1
0000143c: POP
0000143d: SWAP1
0000143e: JUMP
0000143f: JUMPDEST
00001440: CALLER
00001441: PUSH2 0x1448
00001444: PUSH2 0x176b
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH1 0x0b
0000144b: DUP2
0000144c: SWAP1
0000144d: SSTORE
0000144e: POP
0000144f: PUSH2 0x1456
00001452: PUSH2 0x13e4
00001455: JUMP
00001456: JUMPDEST
00001457: PUSH1 0x0a
00001459: DUP2
0000145a: SWAP1
0000145b: SSTORE
0000145c: POP
0000145d: PUSH1 0x00
0000145f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001474: AND
00001475: DUP2
00001476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000148b: AND
0000148c: EQ
0000148d: PUSH2 0x1523
00001490: JUMPI
00001491: PUSH2 0x1499
00001494: DUP2
00001495: PUSH2 0x06a7
00001498: JUMP
00001499: JUMPDEST
0000149a: PUSH1 0x0e
0000149c: PUSH1 0x00
0000149e: DUP4
0000149f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b4: AND
000014b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ca: AND
000014cb: DUP2
000014cc: MSTORE
000014cd: PUSH1 0x20
000014cf: ADD
000014d0: SWAP1
000014d1: DUP2
000014d2: MSTORE
000014d3: PUSH1 0x20
000014d5: ADD
000014d6: PUSH1 0x00
000014d8: KECCAK256
000014d9: DUP2
000014da: SWAP1
000014db: SSTORE
000014dc: POP
000014dd: PUSH1 0x0b
000014df: SLOAD
000014e0: PUSH1 0x0d
000014e2: PUSH1 0x00
000014e4: DUP4
000014e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fa: AND
000014fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001510: AND
00001511: DUP2
00001512: MSTORE
00001513: PUSH1 0x20
00001515: ADD
00001516: SWAP1
00001517: DUP2
00001518: MSTORE
00001519: PUSH1 0x20
0000151b: ADD
0000151c: PUSH1 0x00
0000151e: KECCAK256
0000151f: DUP2
00001520: SWAP1
00001521: SSTORE
00001522: POP
00001523: JUMPDEST
00001524: PUSH1 0x07
00001526: SLOAD
00001527: TIMESTAMP
00001528: LT
00001529: ISZERO
0000152a: PUSH2 0x159b
0000152d: JUMPI
0000152e: PUSH1 0x40
00001530: MLOAD
00001531: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001552: DUP2
00001553: MSTORE
00001554: PUSH1 0x04
00001556: ADD
00001557: DUP1
00001558: DUP1
00001559: PUSH1 0x20
0000155b: ADD
0000155c: DUP3
0000155d: DUP2
0000155e: SUB
0000155f: DUP3
00001560: MSTORE
00001561: PUSH1 0x16
00001563: DUP2
00001564: MSTORE
00001565: PUSH1 0x20
00001567: ADD
00001568: DUP1
00001569: PUSH32 0x53414355534443506f6f6c3a206e6f7420737461727400000000000000000000
0000158a: DUP2
0000158b: MSTORE
0000158c: POP
0000158d: PUSH1 0x20
0000158f: ADD
00001590: SWAP2
00001591: POP
00001592: POP
00001593: PUSH1 0x40
00001595: MLOAD
00001596: DUP1
00001597: SWAP2
00001598: SUB
00001599: SWAP1
0000159a: REVERT
0000159b: JUMPDEST
0000159c: PUSH1 0x00
0000159e: DUP3
0000159f: GT
000015a0: PUSH2 0x1611
000015a3: JUMPI
000015a4: PUSH1 0x40
000015a6: MLOAD
000015a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x04
000015cc: ADD
000015cd: DUP1
000015ce: DUP1
000015cf: PUSH1 0x20
000015d1: ADD
000015d2: DUP3
000015d3: DUP2
000015d4: SUB
000015d5: DUP3
000015d6: MSTORE
000015d7: PUSH1 0x1b
000015d9: DUP2
000015da: MSTORE
000015db: PUSH1 0x20
000015dd: ADD
000015de: DUP1
000015df: PUSH32 0x53414355534443506f6f6c3a2043616e6e6f74207374616b6520300000000000
00001600: DUP2
00001601: MSTORE
00001602: POP
00001603: PUSH1 0x20
00001605: ADD
00001606: SWAP2
00001607: POP
00001608: POP
00001609: PUSH1 0x40
0000160b: MLOAD
0000160c: DUP1
0000160d: SWAP2
0000160e: SUB
0000160f: SWAP1
00001610: REVERT
00001611: JUMPDEST
00001612: PUSH1 0x00
00001614: PUSH2 0x1665
00001617: DUP4
00001618: PUSH1 0x0f
0000161a: PUSH1 0x00
0000161c: CALLER
0000161d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001632: AND
00001633: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001648: AND
00001649: DUP2
0000164a: MSTORE
0000164b: PUSH1 0x20
0000164d: ADD
0000164e: SWAP1
0000164f: DUP2
00001650: MSTORE
00001651: PUSH1 0x20
00001653: ADD
00001654: PUSH1 0x00
00001656: KECCAK256
00001657: SLOAD
00001658: PUSH2 0x1b92
0000165b: SWAP1
0000165c: SWAP2
0000165d: SWAP1
0000165e: PUSH4 0xffffffff
00001663: AND
00001664: JUMP
00001665: JUMPDEST
00001666: SWAP1
00001667: POP
00001668: PUSH5 0x04a817c800
0000166e: DUP2
0000166f: GT
00001670: ISZERO
00001671: PUSH2 0x16c5
00001674: JUMPI
00001675: PUSH1 0x40
00001677: MLOAD
00001678: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001699: DUP2
0000169a: MSTORE
0000169b: PUSH1 0x04
0000169d: ADD
0000169e: DUP1
0000169f: DUP1
000016a0: PUSH1 0x20
000016a2: ADD
000016a3: DUP3
000016a4: DUP2
000016a5: SUB
000016a6: DUP3
000016a7: MSTORE
000016a8: PUSH1 0x31
000016aa: DUP2
000016ab: MSTORE
000016ac: PUSH1 0x20
000016ae: ADD
000016af: DUP1
000016b0: PUSH2 0x2469
000016b3: PUSH1 0x31
000016b5: SWAP2
000016b6: CODECOPY
000016b7: PUSH1 0x40
000016b9: ADD
000016ba: SWAP2
000016bb: POP
000016bc: POP
000016bd: PUSH1 0x40
000016bf: MLOAD
000016c0: DUP1
000016c1: SWAP2
000016c2: SUB
000016c3: SWAP1
000016c4: REVERT
000016c5: JUMPDEST
000016c6: DUP1
000016c7: PUSH1 0x0f
000016c9: PUSH1 0x00
000016cb: CALLER
000016cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016e1: AND
000016e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f7: AND
000016f8: DUP2
000016f9: MSTORE
000016fa: PUSH1 0x20
000016fc: ADD
000016fd: SWAP1
000016fe: DUP2
000016ff: MSTORE
00001700: PUSH1 0x20
00001702: ADD
00001703: PUSH1 0x00
00001705: KECCAK256
00001706: DUP2
00001707: SWAP1
00001708: SSTORE
00001709: POP
0000170a: PUSH2 0x1712
0000170d: DUP4
0000170e: PUSH2 0x1ddb
00001711: JUMP
00001712: JUMPDEST
00001713: CALLER
00001714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001729: AND
0000172a: PUSH32 0x9e71bc8eea02a63969f509818f2dafb9254532904319f9dbda79b67bd34a5f3d
0000174b: DUP5
0000174c: PUSH1 0x40
0000174e: MLOAD
0000174f: DUP1
00001750: DUP3
00001751: DUP2
00001752: MSTORE
00001753: PUSH1 0x20
00001755: ADD
00001756: SWAP2
00001757: POP
00001758: POP
00001759: PUSH1 0x40
0000175b: MLOAD
0000175c: DUP1
0000175d: SWAP2
0000175e: SUB
0000175f: SWAP1
00001760: LOG2
00001761: POP
00001762: POP
00001763: POP
00001764: JUMP
00001765: JUMPDEST
00001766: PUSH1 0x0a
00001768: SLOAD
00001769: DUP2
0000176a: JUMP
0000176b: JUMPDEST
0000176c: PUSH1 0x00
0000176e: DUP1
0000176f: PUSH2 0x1776
00001772: PUSH2 0x0900
00001775: JUMP
00001776: JUMPDEST
00001777: EQ
00001778: ISZERO
00001779: PUSH2 0x1786
0000177c: JUMPI
0000177d: PUSH1 0x0b
0000177f: SLOAD
00001780: SWAP1
00001781: POP
00001782: PUSH2 0x1800
00001785: JUMP
00001786: JUMPDEST
00001787: PUSH2 0x17fd
0000178a: PUSH2 0x17ec
0000178d: PUSH2 0x1794
00001790: PUSH2 0x0900
00001793: JUMP
00001794: JUMPDEST
00001795: PUSH2 0x17de
00001798: PUSH8 0x0de0b6b3a7640000
000017a1: PUSH2 0x17d0
000017a4: PUSH1 0x09
000017a6: SLOAD
000017a7: PUSH2 0x17c2
000017aa: PUSH1 0x0a
000017ac: SLOAD
000017ad: PUSH2 0x17b4
000017b0: PUSH2 0x13e4
000017b3: JUMP
000017b4: JUMPDEST
000017b5: PUSH2 0x1a78
000017b8: SWAP1
000017b9: SWAP2
000017ba: SWAP1
000017bb: PUSH4 0xffffffff
000017c0: AND
000017c1: JUMP
000017c2: JUMPDEST
000017c3: PUSH2 0x1ac2
000017c6: SWAP1
000017c7: SWAP2
000017c8: SWAP1
000017c9: PUSH4 0xffffffff
000017ce: AND
000017cf: JUMP
000017d0: JUMPDEST
000017d1: PUSH2 0x1ac2
000017d4: SWAP1
000017d5: SWAP2
000017d6: SWAP1
000017d7: PUSH4 0xffffffff
000017dc: AND
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH2 0x1b48
000017e2: SWAP1
000017e3: SWAP2
000017e4: SWAP1
000017e5: PUSH4 0xffffffff
000017ea: AND
000017eb: JUMP
000017ec: JUMPDEST
000017ed: PUSH1 0x0b
000017ef: SLOAD
000017f0: PUSH2 0x1b92
000017f3: SWAP1
000017f4: SWAP2
000017f5: SWAP1
000017f6: PUSH4 0xffffffff
000017fb: AND
000017fc: JUMP
000017fd: JUMPDEST
000017fe: SWAP1
000017ff: POP
00001800: JUMPDEST
00001801: SWAP1
00001802: JUMP
00001803: JUMPDEST
00001804: PUSH1 0x0c
00001806: PUSH1 0x00
00001808: SWAP1
00001809: SLOAD
0000180a: SWAP1
0000180b: PUSH2 0x0100
0000180e: EXP
0000180f: SWAP1
00001810: DIV
00001811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001826: AND
00001827: DUP2
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH1 0x0b
0000182c: SLOAD
0000182d: DUP2
0000182e: JUMP
0000182f: JUMPDEST
00001830: PUSH2 0x1840
00001833: PUSH2 0x183b
00001836: CALLER
00001837: PUSH2 0x120a
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH2 0x0910
0000183f: JUMP
00001840: JUMPDEST
00001841: PUSH2 0x1848
00001844: PUSH2 0x0ed4
00001847: JUMP
00001848: JUMPDEST
00001849: JUMP
0000184a: JUMPDEST
0000184b: PUSH1 0x08
0000184d: SLOAD
0000184e: DUP2
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH2 0x1858
00001854: PUSH2 0x1c1a
00001857: JUMP
00001858: JUMPDEST
00001859: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000186e: AND
0000186f: PUSH1 0x03
00001871: PUSH1 0x00
00001873: SWAP1
00001874: SLOAD
00001875: SWAP1
00001876: PUSH2 0x0100
00001879: EXP
0000187a: SWAP1
0000187b: DIV
0000187c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001891: AND
00001892: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a7: AND
000018a8: EQ
000018a9: PUSH2 0x191a
000018ac: JUMPI
000018ad: PUSH1 0x40
000018af: MLOAD
000018b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x04
000018d5: ADD
000018d6: DUP1
000018d7: DUP1
000018d8: PUSH1 0x20
000018da: ADD
000018db: DUP3
000018dc: DUP2
000018dd: SUB
000018de: DUP3
000018df: MSTORE
000018e0: PUSH1 0x20
000018e2: DUP2
000018e3: MSTORE
000018e4: PUSH1 0x20
000018e6: ADD
000018e7: DUP1
000018e8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001909: DUP2
0000190a: MSTORE
0000190b: POP
0000190c: PUSH1 0x20
0000190e: ADD
0000190f: SWAP2
00001910: POP
00001911: POP
00001912: PUSH1 0x40
00001914: MLOAD
00001915: DUP1
00001916: SWAP2
00001917: SUB
00001918: SWAP1
00001919: REVERT
0000191a: JUMPDEST
0000191b: PUSH1 0x00
0000191d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001932: AND
00001933: DUP2
00001934: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001949: AND
0000194a: EQ
0000194b: ISZERO
0000194c: PUSH2 0x19a0
0000194f: JUMPI
00001950: PUSH1 0x40
00001952: MLOAD
00001953: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001974: DUP2
00001975: MSTORE
00001976: PUSH1 0x04
00001978: ADD
00001979: DUP1
0000197a: DUP1
0000197b: PUSH1 0x20
0000197d: ADD
0000197e: DUP3
0000197f: DUP2
00001980: SUB
00001981: DUP3
00001982: MSTORE
00001983: PUSH1 0x26
00001985: DUP2
00001986: MSTORE
00001987: PUSH1 0x20
00001989: ADD
0000198a: DUP1
0000198b: PUSH2 0x2443
0000198e: PUSH1 0x26
00001990: SWAP2
00001991: CODECOPY
00001992: PUSH1 0x40
00001994: ADD
00001995: SWAP2
00001996: POP
00001997: POP
00001998: PUSH1 0x40
0000199a: MLOAD
0000199b: DUP1
0000199c: SWAP2
0000199d: SUB
0000199e: SWAP1
0000199f: REVERT
000019a0: JUMPDEST
000019a1: DUP1
000019a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b7: AND
000019b8: PUSH1 0x03
000019ba: PUSH1 0x00
000019bc: SWAP1
000019bd: SLOAD
000019be: SWAP1
000019bf: PUSH2 0x0100
000019c2: EXP
000019c3: SWAP1
000019c4: DIV
000019c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019da: AND
000019db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019f0: AND
000019f1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001a12: PUSH1 0x40
00001a14: MLOAD
00001a15: PUSH1 0x40
00001a17: MLOAD
00001a18: DUP1
00001a19: SWAP2
00001a1a: SUB
00001a1b: SWAP1
00001a1c: LOG3
00001a1d: DUP1
00001a1e: PUSH1 0x03
00001a20: PUSH1 0x00
00001a22: PUSH2 0x0100
00001a25: EXP
00001a26: DUP2
00001a27: SLOAD
00001a28: DUP2
00001a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a3e: MUL
00001a3f: NOT
00001a40: AND
00001a41: SWAP1
00001a42: DUP4
00001a43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a58: AND
00001a59: MUL
00001a5a: OR
00001a5b: SWAP1
00001a5c: SSTORE
00001a5d: POP
00001a5e: POP
00001a5f: JUMP
00001a60: JUMPDEST
00001a61: PUSH1 0x0f
00001a63: PUSH1 0x20
00001a65: MSTORE
00001a66: DUP1
00001a67: PUSH1 0x00
00001a69: MSTORE
00001a6a: PUSH1 0x40
00001a6c: PUSH1 0x00
00001a6e: KECCAK256
00001a6f: PUSH1 0x00
00001a71: SWAP2
00001a72: POP
00001a73: SWAP1
00001a74: POP
00001a75: SLOAD
00001a76: DUP2
00001a77: JUMP
00001a78: JUMPDEST
00001a79: PUSH1 0x00
00001a7b: PUSH2 0x1aba
00001a7e: DUP4
00001a7f: DUP4
00001a80: PUSH1 0x40
00001a82: MLOAD
00001a83: DUP1
00001a84: PUSH1 0x40
00001a86: ADD
00001a87: PUSH1 0x40
00001a89: MSTORE
00001a8a: DUP1
00001a8b: PUSH1 0x1e
00001a8d: DUP2
00001a8e: MSTORE
00001a8f: PUSH1 0x20
00001a91: ADD
00001a92: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
00001ab3: DUP2
00001ab4: MSTORE
00001ab5: POP
00001ab6: PUSH2 0x1edb
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: SWAP1
00001abc: POP
00001abd: SWAP3
00001abe: SWAP2
00001abf: POP
00001ac0: POP
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: DUP4
00001ac7: EQ
00001ac8: ISZERO
00001ac9: PUSH2 0x1ad5
00001acc: JUMPI
00001acd: PUSH1 0x00
00001acf: SWAP1
00001ad0: POP
00001ad1: PUSH2 0x1b42
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: PUSH1 0x00
00001ad8: DUP3
00001ad9: DUP5
00001ada: MUL
00001adb: SWAP1
00001adc: POP
00001add: DUP3
00001ade: DUP5
00001adf: DUP3
00001ae0: DUP2
00001ae1: PUSH2 0x1ae6
00001ae4: JUMPI
00001ae5: INVALID
00001ae6: JUMPDEST
00001ae7: DIV
00001ae8: EQ
00001ae9: PUSH2 0x1b3d
00001aec: JUMPI
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x04
00001b15: ADD
00001b16: DUP1
00001b17: DUP1
00001b18: PUSH1 0x20
00001b1a: ADD
00001b1b: DUP3
00001b1c: DUP2
00001b1d: SUB
00001b1e: DUP3
00001b1f: MSTORE
00001b20: PUSH1 0x21
00001b22: DUP2
00001b23: MSTORE
00001b24: PUSH1 0x20
00001b26: ADD
00001b27: DUP1
00001b28: PUSH2 0x249a
00001b2b: PUSH1 0x21
00001b2d: SWAP2
00001b2e: CODECOPY
00001b2f: PUSH1 0x40
00001b31: ADD
00001b32: SWAP2
00001b33: POP
00001b34: POP
00001b35: PUSH1 0x40
00001b37: MLOAD
00001b38: DUP1
00001b39: SWAP2
00001b3a: SUB
00001b3b: SWAP1
00001b3c: REVERT
00001b3d: JUMPDEST
00001b3e: DUP1
00001b3f: SWAP2
00001b40: POP
00001b41: POP
00001b42: JUMPDEST
00001b43: SWAP3
00001b44: SWAP2
00001b45: POP
00001b46: POP
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x00
00001b4b: PUSH2 0x1b8a
00001b4e: DUP4
00001b4f: DUP4
00001b50: PUSH1 0x40
00001b52: MLOAD
00001b53: DUP1
00001b54: PUSH1 0x40
00001b56: ADD
00001b57: PUSH1 0x40
00001b59: MSTORE
00001b5a: DUP1
00001b5b: PUSH1 0x1a
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x20
00001b61: ADD
00001b62: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001b83: DUP2
00001b84: MSTORE
00001b85: POP
00001b86: PUSH2 0x1f9b
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP1
00001b8c: POP
00001b8d: SWAP3
00001b8e: SWAP2
00001b8f: POP
00001b90: POP
00001b91: JUMP
00001b92: JUMPDEST
00001b93: PUSH1 0x00
00001b95: DUP1
00001b96: DUP3
00001b97: DUP5
00001b98: ADD
00001b99: SWAP1
00001b9a: POP
00001b9b: DUP4
00001b9c: DUP2
00001b9d: LT
00001b9e: ISZERO
00001b9f: PUSH2 0x1c10
00001ba2: JUMPI
00001ba3: PUSH1 0x40
00001ba5: MLOAD
00001ba6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bc7: DUP2
00001bc8: MSTORE
00001bc9: PUSH1 0x04
00001bcb: ADD
00001bcc: DUP1
00001bcd: DUP1
00001bce: PUSH1 0x20
00001bd0: ADD
00001bd1: DUP3
00001bd2: DUP2
00001bd3: SUB
00001bd4: DUP3
00001bd5: MSTORE
00001bd6: PUSH1 0x1b
00001bd8: DUP2
00001bd9: MSTORE
00001bda: PUSH1 0x20
00001bdc: ADD
00001bdd: DUP1
00001bde: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00001bff: DUP2
00001c00: MSTORE
00001c01: POP
00001c02: PUSH1 0x20
00001c04: ADD
00001c05: SWAP2
00001c06: POP
00001c07: POP
00001c08: PUSH1 0x40
00001c0a: MLOAD
00001c0b: DUP1
00001c0c: SWAP2
00001c0d: SUB
00001c0e: SWAP1
00001c0f: REVERT
00001c10: JUMPDEST
00001c11: DUP1
00001c12: SWAP2
00001c13: POP
00001c14: POP
00001c15: SWAP3
00001c16: SWAP2
00001c17: POP
00001c18: POP
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x00
00001c1d: CALLER
00001c1e: SWAP1
00001c1f: POP
00001c20: SWAP1
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH2 0x1c37
00001c26: DUP2
00001c27: PUSH1 0x01
00001c29: SLOAD
00001c2a: PUSH2 0x1a78
00001c2d: SWAP1
00001c2e: SWAP2
00001c2f: SWAP1
00001c30: PUSH4 0xffffffff
00001c35: AND
00001c36: JUMP
00001c37: JUMPDEST
00001c38: PUSH1 0x01
00001c3a: DUP2
00001c3b: SWAP1
00001c3c: SSTORE
00001c3d: POP
00001c3e: PUSH2 0x1c8f
00001c41: DUP2
00001c42: PUSH1 0x02
00001c44: PUSH1 0x00
00001c46: CALLER
00001c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c5c: AND
00001c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c72: AND
00001c73: DUP2
00001c74: MSTORE
00001c75: PUSH1 0x20
00001c77: ADD
00001c78: SWAP1
00001c79: DUP2
00001c7a: MSTORE
00001c7b: PUSH1 0x20
00001c7d: ADD
00001c7e: PUSH1 0x00
00001c80: KECCAK256
00001c81: SLOAD
00001c82: PUSH2 0x1a78
00001c85: SWAP1
00001c86: SWAP2
00001c87: SWAP1
00001c88: PUSH4 0xffffffff
00001c8d: AND
00001c8e: JUMP
00001c8f: JUMPDEST
00001c90: PUSH1 0x02
00001c92: PUSH1 0x00
00001c94: CALLER
00001c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001caa: AND
00001cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc0: AND
00001cc1: DUP2
00001cc2: MSTORE
00001cc3: PUSH1 0x20
00001cc5: ADD
00001cc6: SWAP1
00001cc7: DUP2
00001cc8: MSTORE
00001cc9: PUSH1 0x20
00001ccb: ADD
00001ccc: PUSH1 0x00
00001cce: KECCAK256
00001ccf: DUP2
00001cd0: SWAP1
00001cd1: SSTORE
00001cd2: POP
00001cd3: PUSH2 0x1d1d
00001cd6: CALLER
00001cd7: DUP3
00001cd8: PUSH1 0x00
00001cda: DUP1
00001cdb: SLOAD
00001cdc: SWAP1
00001cdd: PUSH2 0x0100
00001ce0: EXP
00001ce1: SWAP1
00001ce2: DIV
00001ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf8: AND
00001cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d0e: AND
00001d0f: PUSH2 0x1d20
00001d12: SWAP1
00001d13: SWAP3
00001d14: SWAP2
00001d15: SWAP1
00001d16: PUSH4 0xffffffff
00001d1b: AND
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: POP
00001d1f: JUMP
00001d20: JUMPDEST
00001d21: PUSH2 0x1dbd
00001d24: DUP4
00001d25: PUSH4 0xa9059cbb
00001d2a: PUSH1 0xe0
00001d2c: SHL
00001d2d: DUP5
00001d2e: DUP5
00001d2f: PUSH1 0x40
00001d31: MLOAD
00001d32: PUSH1 0x24
00001d34: ADD
00001d35: DUP1
00001d36: DUP4
00001d37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4c: AND
00001d4d: DUP2
00001d4e: MSTORE
00001d4f: PUSH1 0x20
00001d51: ADD
00001d52: DUP3
00001d53: DUP2
00001d54: MSTORE
00001d55: PUSH1 0x20
00001d57: ADD
00001d58: SWAP3
00001d59: POP
00001d5a: POP
00001d5b: POP
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: PUSH1 0x20
00001d61: DUP2
00001d62: DUP4
00001d63: SUB
00001d64: SUB
00001d65: DUP2
00001d66: MSTORE
00001d67: SWAP1
00001d68: PUSH1 0x40
00001d6a: MSTORE
00001d6b: SWAP1
00001d6c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001d89: NOT
00001d8a: AND
00001d8b: PUSH1 0x20
00001d8d: DUP3
00001d8e: ADD
00001d8f: DUP1
00001d90: MLOAD
00001d91: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001dae: DUP4
00001daf: DUP2
00001db0: DUP4
00001db1: AND
00001db2: OR
00001db3: DUP4
00001db4: MSTORE
00001db5: POP
00001db6: POP
00001db7: POP
00001db8: POP
00001db9: PUSH2 0x2061
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: POP
00001dbf: POP
00001dc0: POP
00001dc1: JUMP
00001dc2: JUMPDEST
00001dc3: PUSH1 0x00
00001dc5: DUP2
00001dc6: DUP4
00001dc7: LT
00001dc8: PUSH2 0x1dd1
00001dcb: JUMPI
00001dcc: DUP2
00001dcd: PUSH2 0x1dd3
00001dd0: JUMP
00001dd1: JUMPDEST
00001dd2: DUP3
00001dd3: JUMPDEST
00001dd4: SWAP1
00001dd5: POP
00001dd6: SWAP3
00001dd7: SWAP2
00001dd8: POP
00001dd9: POP
00001dda: JUMP
00001ddb: JUMPDEST
00001ddc: PUSH2 0x1df0
00001ddf: DUP2
00001de0: PUSH1 0x01
00001de2: SLOAD
00001de3: PUSH2 0x1b92
00001de6: SWAP1
00001de7: SWAP2
00001de8: SWAP1
00001de9: PUSH4 0xffffffff
00001dee: AND
00001def: JUMP
00001df0: JUMPDEST
00001df1: PUSH1 0x01
00001df3: DUP2
00001df4: SWAP1
00001df5: SSTORE
00001df6: POP
00001df7: PUSH2 0x1e48
00001dfa: DUP2
00001dfb: PUSH1 0x02
00001dfd: PUSH1 0x00
00001dff: CALLER
00001e00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e15: AND
00001e16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e2b: AND
00001e2c: DUP2
00001e2d: MSTORE
00001e2e: PUSH1 0x20
00001e30: ADD
00001e31: SWAP1
00001e32: DUP2
00001e33: MSTORE
00001e34: PUSH1 0x20
00001e36: ADD
00001e37: PUSH1 0x00
00001e39: KECCAK256
00001e3a: SLOAD
00001e3b: PUSH2 0x1b92
00001e3e: SWAP1
00001e3f: SWAP2
00001e40: SWAP1
00001e41: PUSH4 0xffffffff
00001e46: AND
00001e47: JUMP
00001e48: JUMPDEST
00001e49: PUSH1 0x02
00001e4b: PUSH1 0x00
00001e4d: CALLER
00001e4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e63: AND
00001e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e79: AND
00001e7a: DUP2
00001e7b: MSTORE
00001e7c: PUSH1 0x20
00001e7e: ADD
00001e7f: SWAP1
00001e80: DUP2
00001e81: MSTORE
00001e82: PUSH1 0x20
00001e84: ADD
00001e85: PUSH1 0x00
00001e87: KECCAK256
00001e88: DUP2
00001e89: SWAP1
00001e8a: SSTORE
00001e8b: POP
00001e8c: PUSH2 0x1ed8
00001e8f: CALLER
00001e90: ADDRESS
00001e91: DUP4
00001e92: PUSH1 0x00
00001e94: DUP1
00001e95: SLOAD
00001e96: SWAP1
00001e97: PUSH2 0x0100
00001e9a: EXP
00001e9b: SWAP1
00001e9c: DIV
00001e9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb2: AND
00001eb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ec8: AND
00001ec9: PUSH2 0x2150
00001ecc: SWAP1
00001ecd: SWAP4
00001ece: SWAP3
00001ecf: SWAP2
00001ed0: SWAP1
00001ed1: PUSH4 0xffffffff
00001ed6: AND
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: POP
00001eda: JUMP
00001edb: JUMPDEST
00001edc: PUSH1 0x00
00001ede: DUP4
00001edf: DUP4
00001ee0: GT
00001ee1: ISZERO
00001ee2: DUP3
00001ee3: SWAP1
00001ee4: PUSH2 0x1f88
00001ee7: JUMPI
00001ee8: PUSH1 0x40
00001eea: MLOAD
00001eeb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f0c: DUP2
00001f0d: MSTORE
00001f0e: PUSH1 0x04
00001f10: ADD
00001f11: DUP1
00001f12: DUP1
00001f13: PUSH1 0x20
00001f15: ADD
00001f16: DUP3
00001f17: DUP2
00001f18: SUB
00001f19: DUP3
00001f1a: MSTORE
00001f1b: DUP4
00001f1c: DUP2
00001f1d: DUP2
00001f1e: MLOAD
00001f1f: DUP2
00001f20: MSTORE
00001f21: PUSH1 0x20
00001f23: ADD
00001f24: SWAP2
00001f25: POP
00001f26: DUP1
00001f27: MLOAD
00001f28: SWAP1
00001f29: PUSH1 0x20
00001f2b: ADD
00001f2c: SWAP1
00001f2d: DUP1
00001f2e: DUP4
00001f2f: DUP4
00001f30: PUSH1 0x00
00001f32: JUMPDEST
00001f33: DUP4
00001f34: DUP2
00001f35: LT
00001f36: ISZERO
00001f37: PUSH2 0x1f4d
00001f3a: JUMPI
00001f3b: DUP1
00001f3c: DUP3
00001f3d: ADD
00001f3e: MLOAD
00001f3f: DUP2
00001f40: DUP5
00001f41: ADD
00001f42: MSTORE
00001f43: PUSH1 0x20
00001f45: DUP2
00001f46: ADD
00001f47: SWAP1
00001f48: POP
00001f49: PUSH2 0x1f32
00001f4c: JUMP
00001f4d: JUMPDEST
00001f4e: POP
00001f4f: POP
00001f50: POP
00001f51: POP
00001f52: SWAP1
00001f53: POP
00001f54: SWAP1
00001f55: DUP2
00001f56: ADD
00001f57: SWAP1
00001f58: PUSH1 0x1f
00001f5a: AND
00001f5b: DUP1
00001f5c: ISZERO
00001f5d: PUSH2 0x1f7a
00001f60: JUMPI
00001f61: DUP1
00001f62: DUP3
00001f63: SUB
00001f64: DUP1
00001f65: MLOAD
00001f66: PUSH1 0x01
00001f68: DUP4
00001f69: PUSH1 0x20
00001f6b: SUB
00001f6c: PUSH2 0x0100
00001f6f: EXP
00001f70: SUB
00001f71: NOT
00001f72: AND
00001f73: DUP2
00001f74: MSTORE
00001f75: PUSH1 0x20
00001f77: ADD
00001f78: SWAP2
00001f79: POP
00001f7a: JUMPDEST
00001f7b: POP
00001f7c: SWAP3
00001f7d: POP
00001f7e: POP
00001f7f: POP
00001f80: PUSH1 0x40
00001f82: MLOAD
00001f83: DUP1
00001f84: SWAP2
00001f85: SUB
00001f86: SWAP1
00001f87: REVERT
00001f88: JUMPDEST
00001f89: POP
00001f8a: PUSH1 0x00
00001f8c: DUP4
00001f8d: DUP6
00001f8e: SUB
00001f8f: SWAP1
00001f90: POP
00001f91: DUP1
00001f92: SWAP2
00001f93: POP
00001f94: POP
00001f95: SWAP4
00001f96: SWAP3
00001f97: POP
00001f98: POP
00001f99: POP
00001f9a: JUMP
00001f9b: JUMPDEST
00001f9c: PUSH1 0x00
00001f9e: DUP1
00001f9f: DUP4
00001fa0: GT
00001fa1: DUP3
00001fa2: SWAP1
00001fa3: PUSH2 0x2047
00001fa6: JUMPI
00001fa7: PUSH1 0x40
00001fa9: MLOAD
00001faa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001fcb: DUP2
00001fcc: MSTORE
00001fcd: PUSH1 0x04
00001fcf: ADD
00001fd0: DUP1
00001fd1: DUP1
00001fd2: PUSH1 0x20
00001fd4: ADD
00001fd5: DUP3
00001fd6: DUP2
00001fd7: SUB
00001fd8: DUP3
00001fd9: MSTORE
00001fda: DUP4
00001fdb: DUP2
00001fdc: DUP2
00001fdd: MLOAD
00001fde: DUP2
00001fdf: MSTORE
00001fe0: PUSH1 0x20
00001fe2: ADD
00001fe3: SWAP2
00001fe4: POP
00001fe5: DUP1
00001fe6: MLOAD
00001fe7: SWAP1
00001fe8: PUSH1 0x20
00001fea: ADD
00001feb: SWAP1
00001fec: DUP1
00001fed: DUP4
00001fee: DUP4
00001fef: PUSH1 0x00
00001ff1: JUMPDEST
00001ff2: DUP4
00001ff3: DUP2
00001ff4: LT
00001ff5: ISZERO
00001ff6: PUSH2 0x200c
00001ff9: JUMPI
00001ffa: DUP1
00001ffb: DUP3
00001ffc: ADD
00001ffd: MLOAD
00001ffe: DUP2
00001fff: DUP5
00002000: ADD
00002001: MSTORE
00002002: PUSH1 0x20
00002004: DUP2
00002005: ADD
00002006: SWAP1
00002007: POP
00002008: PUSH2 0x1ff1
0000200b: JUMP
0000200c: JUMPDEST
0000200d: POP
0000200e: POP
0000200f: POP
00002010: POP
00002011: SWAP1
00002012: POP
00002013: SWAP1
00002014: DUP2
00002015: ADD
00002016: SWAP1
00002017: PUSH1 0x1f
00002019: AND
0000201a: DUP1
0000201b: ISZERO
0000201c: PUSH2 0x2039
0000201f: JUMPI
00002020: DUP1
00002021: DUP3
00002022: SUB
00002023: DUP1
00002024: MLOAD
00002025: PUSH1 0x01
00002027: DUP4
00002028: PUSH1 0x20
0000202a: SUB
0000202b: PUSH2 0x0100
0000202e: EXP
0000202f: SUB
00002030: NOT
00002031: AND
00002032: DUP2
00002033: MSTORE
00002034: PUSH1 0x20
00002036: ADD
00002037: SWAP2
00002038: POP
00002039: JUMPDEST
0000203a: POP
0000203b: SWAP3
0000203c: POP
0000203d: POP
0000203e: POP
0000203f: PUSH1 0x40
00002041: MLOAD
00002042: DUP1
00002043: SWAP2
00002044: SUB
00002045: SWAP1
00002046: REVERT
00002047: JUMPDEST
00002048: POP
00002049: PUSH1 0x00
0000204b: DUP4
0000204c: DUP6
0000204d: DUP2
0000204e: PUSH2 0x2053
00002051: JUMPI
00002052: INVALID
00002053: JUMPDEST
00002054: DIV
00002055: SWAP1
00002056: POP
00002057: DUP1
00002058: SWAP2
00002059: POP
0000205a: POP
0000205b: SWAP4
0000205c: SWAP3
0000205d: POP
0000205e: POP
0000205f: POP
00002060: JUMP
00002061: JUMPDEST
00002062: PUSH1 0x60
00002064: PUSH2 0x20c3
00002067: DUP3
00002068: PUSH1 0x40
0000206a: MLOAD
0000206b: DUP1
0000206c: PUSH1 0x40
0000206e: ADD
0000206f: PUSH1 0x40
00002071: MSTORE
00002072: DUP1
00002073: PUSH1 0x20
00002075: DUP2
00002076: MSTORE
00002077: PUSH1 0x20
00002079: ADD
0000207a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000209b: DUP2
0000209c: MSTORE
0000209d: POP
0000209e: DUP6
0000209f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b4: AND
000020b5: PUSH2 0x2211
000020b8: SWAP1
000020b9: SWAP3
000020ba: SWAP2
000020bb: SWAP1
000020bc: PUSH4 0xffffffff
000020c1: AND
000020c2: JUMP
000020c3: JUMPDEST
000020c4: SWAP1
000020c5: POP
000020c6: PUSH1 0x00
000020c8: DUP2
000020c9: MLOAD
000020ca: GT
000020cb: ISZERO
000020cc: PUSH2 0x214b
000020cf: JUMPI
000020d0: DUP1
000020d1: DUP1
000020d2: PUSH1 0x20
000020d4: ADD
000020d5: SWAP1
000020d6: MLOAD
000020d7: PUSH1 0x20
000020d9: DUP2
000020da: LT
000020db: ISZERO
000020dc: PUSH2 0x20e4
000020df: JUMPI
000020e0: PUSH1 0x00
000020e2: DUP1
000020e3: REVERT
000020e4: JUMPDEST
000020e5: DUP2
000020e6: ADD
000020e7: SWAP1
000020e8: DUP1
000020e9: DUP1
000020ea: MLOAD
000020eb: SWAP1
000020ec: PUSH1 0x20
000020ee: ADD
000020ef: SWAP1
000020f0: SWAP3
000020f1: SWAP2
000020f2: SWAP1
000020f3: POP
000020f4: POP
000020f5: POP
000020f6: PUSH2 0x214a
000020f9: JUMPI
000020fa: PUSH1 0x40
000020fc: MLOAD
000020fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000211e: DUP2
0000211f: MSTORE
00002120: PUSH1 0x04
00002122: ADD
00002123: DUP1
00002124: DUP1
00002125: PUSH1 0x20
00002127: ADD
00002128: DUP3
00002129: DUP2
0000212a: SUB
0000212b: DUP3
0000212c: MSTORE
0000212d: PUSH1 0x2a
0000212f: DUP2
00002130: MSTORE
00002131: PUSH1 0x20
00002133: ADD
00002134: DUP1
00002135: PUSH2 0x24dc
00002138: PUSH1 0x2a
0000213a: SWAP2
0000213b: CODECOPY
0000213c: PUSH1 0x40
0000213e: ADD
0000213f: SWAP2
00002140: POP
00002141: POP
00002142: PUSH1 0x40
00002144: MLOAD
00002145: DUP1
00002146: SWAP2
00002147: SUB
00002148: SWAP1
00002149: REVERT
0000214a: JUMPDEST
0000214b: JUMPDEST
0000214c: POP
0000214d: POP
0000214e: POP
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH2 0x220b
00002154: DUP5
00002155: PUSH4 0x23b872dd
0000215a: PUSH1 0xe0
0000215c: SHL
0000215d: DUP6
0000215e: DUP6
0000215f: DUP6
00002160: PUSH1 0x40
00002162: MLOAD
00002163: PUSH1 0x24
00002165: ADD
00002166: DUP1
00002167: DUP5
00002168: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000217d: AND
0000217e: DUP2
0000217f: MSTORE
00002180: PUSH1 0x20
00002182: ADD
00002183: DUP4
00002184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002199: AND
0000219a: DUP2
0000219b: MSTORE
0000219c: PUSH1 0x20
0000219e: ADD
0000219f: DUP3
000021a0: DUP2
000021a1: MSTORE
000021a2: PUSH1 0x20
000021a4: ADD
000021a5: SWAP4
000021a6: POP
000021a7: POP
000021a8: POP
000021a9: POP
000021aa: PUSH1 0x40
000021ac: MLOAD
000021ad: PUSH1 0x20
000021af: DUP2
000021b0: DUP4
000021b1: SUB
000021b2: SUB
000021b3: DUP2
000021b4: MSTORE
000021b5: SWAP1
000021b6: PUSH1 0x40
000021b8: MSTORE
000021b9: SWAP1
000021ba: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000021d7: NOT
000021d8: AND
000021d9: PUSH1 0x20
000021db: DUP3
000021dc: ADD
000021dd: DUP1
000021de: MLOAD
000021df: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000021fc: DUP4
000021fd: DUP2
000021fe: DUP4
000021ff: AND
00002200: OR
00002201: DUP4
00002202: MSTORE
00002203: POP
00002204: POP
00002205: POP
00002206: POP
00002207: PUSH2 0x2061
0000220a: JUMP
0000220b: JUMPDEST
0000220c: POP
0000220d: POP
0000220e: POP
0000220f: POP
00002210: JUMP
00002211: JUMPDEST
00002212: PUSH1 0x60
00002214: PUSH2 0x2220
00002217: DUP5
00002218: DUP5
00002219: PUSH1 0x00
0000221b: DUP6
0000221c: PUSH2 0x2229
0000221f: JUMP
00002220: JUMPDEST
00002221: SWAP1
00002222: POP
00002223: SWAP4
00002224: SWAP3
00002225: POP
00002226: POP
00002227: POP
00002228: JUMP
00002229: JUMPDEST
0000222a: PUSH1 0x60
0000222c: PUSH2 0x2234
0000222f: DUP6
00002230: PUSH2 0x242f
00002233: JUMP
00002234: JUMPDEST
00002235: PUSH2 0x22a6
00002238: JUMPI
00002239: PUSH1 0x40
0000223b: MLOAD
0000223c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000225d: DUP2
0000225e: MSTORE
0000225f: PUSH1 0x04
00002261: ADD
00002262: DUP1
00002263: DUP1
00002264: PUSH1 0x20
00002266: ADD
00002267: DUP3
00002268: DUP2
00002269: SUB
0000226a: DUP3
0000226b: MSTORE
0000226c: PUSH1 0x1d
0000226e: DUP2
0000226f: MSTORE
00002270: PUSH1 0x20
00002272: ADD
00002273: DUP1
00002274: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00002295: DUP2
00002296: MSTORE
00002297: POP
00002298: PUSH1 0x20
0000229a: ADD
0000229b: SWAP2
0000229c: POP
0000229d: POP
0000229e: PUSH1 0x40
000022a0: MLOAD
000022a1: DUP1
000022a2: SWAP2
000022a3: SUB
000022a4: SWAP1
000022a5: REVERT
000022a6: JUMPDEST
000022a7: PUSH1 0x00
000022a9: PUSH1 0x60
000022ab: DUP7
000022ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022c1: AND
000022c2: DUP6
000022c3: DUP8
000022c4: PUSH1 0x40
000022c6: MLOAD
000022c7: DUP1
000022c8: DUP3
000022c9: DUP1
000022ca: MLOAD
000022cb: SWAP1
000022cc: PUSH1 0x20
000022ce: ADD
000022cf: SWAP1
000022d0: DUP1
000022d1: DUP4
000022d2: DUP4
000022d3: JUMPDEST
000022d4: PUSH1 0x20
000022d6: DUP4
000022d7: LT
000022d8: PUSH2 0x22f6
000022db: JUMPI
000022dc: DUP1
000022dd: MLOAD
000022de: DUP3
000022df: MSTORE
000022e0: PUSH1 0x20
000022e2: DUP3
000022e3: ADD
000022e4: SWAP2
000022e5: POP
000022e6: PUSH1 0x20
000022e8: DUP2
000022e9: ADD
000022ea: SWAP1
000022eb: POP
000022ec: PUSH1 0x20
000022ee: DUP4
000022ef: SUB
000022f0: SWAP3
000022f1: POP
000022f2: PUSH2 0x22d3
000022f5: JUMP
000022f6: JUMPDEST
000022f7: PUSH1 0x01
000022f9: DUP4
000022fa: PUSH1 0x20
000022fc: SUB
000022fd: PUSH2 0x0100
00002300: EXP
00002301: SUB
00002302: DUP1
00002303: NOT
00002304: DUP3
00002305: MLOAD
00002306: AND
00002307: DUP2
00002308: DUP5
00002309: MLOAD
0000230a: AND
0000230b: DUP1
0000230c: DUP3
0000230d: OR
0000230e: DUP6
0000230f: MSTORE
00002310: POP
00002311: POP
00002312: POP
00002313: POP
00002314: POP
00002315: POP
00002316: SWAP1
00002317: POP
00002318: ADD
00002319: SWAP2
0000231a: POP
0000231b: POP
0000231c: PUSH1 0x00
0000231e: PUSH1 0x40
00002320: MLOAD
00002321: DUP1
00002322: DUP4
00002323: SUB
00002324: DUP2
00002325: DUP6
00002326: DUP8
00002327: GAS
00002328: CALL
00002329: SWAP3
0000232a: POP
0000232b: POP
0000232c: POP
0000232d: RETURNDATASIZE
0000232e: DUP1
0000232f: PUSH1 0x00
00002331: DUP2
00002332: EQ
00002333: PUSH2 0x2358
00002336: JUMPI
00002337: PUSH1 0x40
00002339: MLOAD
0000233a: SWAP2
0000233b: POP
0000233c: PUSH1 0x1f
0000233e: NOT
0000233f: PUSH1 0x3f
00002341: RETURNDATASIZE
00002342: ADD
00002343: AND
00002344: DUP3
00002345: ADD
00002346: PUSH1 0x40
00002348: MSTORE
00002349: RETURNDATASIZE
0000234a: DUP3
0000234b: MSTORE
0000234c: RETURNDATASIZE
0000234d: PUSH1 0x00
0000234f: PUSH1 0x20
00002351: DUP5
00002352: ADD
00002353: RETURNDATACOPY
00002354: PUSH2 0x235d
00002357: JUMP
00002358: JUMPDEST
00002359: PUSH1 0x60
0000235b: SWAP2
0000235c: POP
0000235d: JUMPDEST
0000235e: POP
0000235f: SWAP2
00002360: POP
00002361: SWAP2
00002362: POP
00002363: DUP2
00002364: ISZERO
00002365: PUSH2 0x2372
00002368: JUMPI
00002369: DUP1
0000236a: SWAP3
0000236b: POP
0000236c: POP
0000236d: POP
0000236e: PUSH2 0x2427
00002371: JUMP
00002372: JUMPDEST
00002373: PUSH1 0x00
00002375: DUP2
00002376: MLOAD
00002377: GT
00002378: ISZERO
00002379: PUSH2 0x2385
0000237c: JUMPI
0000237d: DUP1
0000237e: MLOAD
0000237f: DUP1
00002380: DUP3
00002381: PUSH1 0x20
00002383: ADD
00002384: REVERT
00002385: JUMPDEST
00002386: DUP4
00002387: PUSH1 0x40
00002389: MLOAD
0000238a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000023ab: DUP2
000023ac: MSTORE
000023ad: PUSH1 0x04
000023af: ADD
000023b0: DUP1
000023b1: DUP1
000023b2: PUSH1 0x20
000023b4: ADD
000023b5: DUP3
000023b6: DUP2
000023b7: SUB
000023b8: DUP3
000023b9: MSTORE
000023ba: DUP4
000023bb: DUP2
000023bc: DUP2
000023bd: MLOAD
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x20
000023c2: ADD
000023c3: SWAP2
000023c4: POP
000023c5: DUP1
000023c6: MLOAD
000023c7: SWAP1
000023c8: PUSH1 0x20
000023ca: ADD
000023cb: SWAP1
000023cc: DUP1
000023cd: DUP4
000023ce: DUP4
000023cf: PUSH1 0x00
000023d1: JUMPDEST
000023d2: DUP4
000023d3: DUP2
000023d4: LT
000023d5: ISZERO
000023d6: PUSH2 0x23ec
000023d9: JUMPI
000023da: DUP1
000023db: DUP3
000023dc: ADD
000023dd: MLOAD
000023de: DUP2
000023df: DUP5
000023e0: ADD
000023e1: MSTORE
000023e2: PUSH1 0x20
000023e4: DUP2
000023e5: ADD
000023e6: SWAP1
000023e7: POP
000023e8: PUSH2 0x23d1
000023eb: JUMP
000023ec: JUMPDEST
000023ed: POP
000023ee: POP
000023ef: POP
000023f0: POP
000023f1: SWAP1
000023f2: POP
000023f3: SWAP1
000023f4: DUP2
000023f5: ADD
000023f6: SWAP1
000023f7: PUSH1 0x1f
000023f9: AND
000023fa: DUP1
000023fb: ISZERO
000023fc: PUSH2 0x2419
000023ff: JUMPI
00002400: DUP1
00002401: DUP3
00002402: SUB
00002403: DUP1
00002404: MLOAD
00002405: PUSH1 0x01
00002407: DUP4
00002408: PUSH1 0x20
0000240a: SUB
0000240b: PUSH2 0x0100
0000240e: EXP
0000240f: SUB
00002410: NOT
00002411: AND
00002412: DUP2
00002413: MSTORE
00002414: PUSH1 0x20
00002416: ADD
00002417: SWAP2
00002418: POP
00002419: JUMPDEST
0000241a: POP
0000241b: SWAP3
0000241c: POP
0000241d: POP
0000241e: POP
0000241f: PUSH1 0x40
00002421: MLOAD
00002422: DUP1
00002423: SWAP2
00002424: SUB
00002425: SWAP1
00002426: REVERT
00002427: JUMPDEST
00002428: SWAP5
00002429: SWAP4
0000242a: POP
0000242b: POP
0000242c: POP
0000242d: POP
0000242e: JUMP
0000242f: JUMPDEST
00002430: PUSH1 0x00
00002432: DUP1
00002433: DUP3
00002434: EXTCODESIZE
00002435: SWAP1
00002436: POP
00002437: PUSH1 0x00
00002439: DUP2
0000243a: GT
0000243b: SWAP2
0000243c: POP
0000243d: POP
0000243e: SWAP2
0000243f: SWAP1
00002440: POP
00002441: JUMP
00002442: INVALID
00002443: UNKNOWN(0x4F)
00002444: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520
0000245d: PUSH27 0x65726f206164647265737353414355534443506f6f6c3a20646570
00002479: PUSH16 0x73697420616d6f756e74206578636565
0000248a: PUSH5 0x73206d6178
00002490: PUSH10 0x6d756d20323030303053
0000249b: PUSH2 0x6665
0000249e: UNKNOWN(0x4D)
0000249f: PUSH2 0x7468
000024a2: GASPRICE
000024a3: KECCAK256
000024a4: PUSH14 0x756c7469706c69636174696f6e20
000024b3: PUSH16 0x766572666c6f7743616c6c6572206973
000024c4: KECCAK256
000024c5: PUSH15 0x6f7420726577617264206469737472
000024d5: PUSH10 0x627574696f6e53616665
000024e0: GASLIMIT
000024e1: MSTORE
000024e2: NUMBER
000024e3: ORIGIN
000024e4: ADDRESS
000024e5: GASPRICE
000024e6: KECCAK256
000024e7: GASLIMIT
000024e8: MSTORE
000024e9: NUMBER
000024ea: ORIGIN
000024eb: ADDRESS
000024ec: KECCAK256
000024ed: PUSH16 0x7065726174696f6e20646964206e6f74
000024fe: KECCAK256
000024ff: PUSH20 0x756363656564a2646970667358221220162bbae1
00002514: UNKNOWN(0xCD)
00002515: CALLCODE
00002516: UNKNOWN(0xFB)
00002517: LOG3
00002518: UNKNOWN(0xCE)
00002519: UNKNOWN(0xF6)
0000251a: SAR
0000251b: CREATE
0000251c: PUSH9 0xd9b4164791213ca0e2
00002526: COINBASE
00002527: UNKNOWN(0x2C)
00002528: SWAP4
00002529: REVERT
0000252a: UNKNOWN(0xD5)
0000252b: AND
0000252c: UNKNOWN(0xAC)
0000252d: RETURN
0000252e: PUSH24

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": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda09c72c",
            "selector": "0xda09c72c",
            "calldata_variants": [
                "0xda09c72c",
                "0xda09c72c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da58897",
            "selector": "0x8da58897",
            "calldata_variants": [
                "0x8da58897",
                "0x8da588970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 9443,
            "type": "tx_origin_used"
        },
        {
            "pc": 9450,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x086a7ae543fb27eaaf295390439cda3f28dc908289d53f66ddec81c87950c770
call_targets: 0xfda19204c625dd82b0066a18f218179778c14e56
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x086a7ae543fb27eaaf295390439cda3f28dc908289d53f66ddec81c87950c770",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfda19204c625dd82b0066a18f218179778c14e56"
    ],
    "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": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda09c72c",
            "selector": "0xda09c72c",
            "calldata_variants": [
                "0xda09c72c",
                "0xda09c72c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da58897",
            "selector": "0x8da58897",
            "calldata_variants": [
                "0x8da58897",
                "0x8da588970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 9000,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [
        {
            "pc": 9443,
            "type": "tx_origin_used"
        },
        {
            "pc": 9450,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 1
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x086a7ae543fb27eaaf295390439cda3f28dc908289d53f66ddec81c87950c770
call_targets: 0xfda19204c625dd82b0066a18f218179778c14e56
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x086a7ae543fb27eaaf295390439cda3f28dc908289d53f66ddec81c87950c770",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfda19204c625dd82b0066a18f218179778c14e56"
    ],
    "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": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda09c72c",
            "selector": "0xda09c72c",
            "calldata_variants": [
                "0xda09c72c",
                "0xda09c72c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da58897",
            "selector": "0x8da58897",
            "calldata_variants": [
                "0x8da58897",
                "0x8da588970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 9000,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 9493,
            "opcode": "CALLCODE",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "constant"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": [
        {
            "pc": 9443,
            "type": "tx_origin_used"
        },
        {
            "pc": 9450,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x28e22bcac59b2e7ada0d766cb44cab2ca5a7a050e11b575a29e04ac11a04c85e
validation_json 
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x28e22bcac59b2e7ada0d766cb44cab2ca5a7a050e11b575a29e04ac11a04c85e",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xebe2b12b",
            "selector": "0xebe2b12b",
            "calldata_variants": [
                "0xebe2b12b",
                "0xebe2b12b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfc7e286d",
            "selector": "0xfc7e286d",
            "calldata_variants": [
                "0xfc7e286d",
                "0xfc7e286d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xcd3daf9d",
            "selector": "0xcd3daf9d",
            "calldata_variants": [
                "0xcd3daf9d",
                "0xcd3daf9d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xda09c72c",
            "selector": "0xda09c72c",
            "calldata_variants": [
                "0xda09c72c",
                "0xda09c72c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdf136d65",
            "selector": "0xdf136d65",
            "calldata_variants": [
                "0xdf136d65",
                "0xdf136d650000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da58897",
            "selector": "0x8da58897",
            "calldata_variants": [
                "0x8da58897",
                "0x8da588970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "create_count": 1,
    "create2_count": 0
}
low other cast Contract creation opcode present 60 no —
view
evidence_json 
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 1,
    "create2_count": 0
}