Analysis Run

0155e020-4fef-47c1-927e-a6283295fd98

complete

Chain ID

1

Address

0x85653d4cc13bded17cc75e09a48edcf0c594a597

Block Number

—

Created

Mon, Jan 5, 2026 4:47 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

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
31688	report.consolidate	complete	1 / 1	3 months ago
95551	artifact.fetch	complete	1 / 3	1 week ago
95552	tool.cast_disasm	complete	1 / 3	1 week ago
95553	analysis.bundle	complete	1 / 3	1 week ago
95554	capability.graph	complete	1 / 3	1 week ago
95555	detector.run	complete	1 / 3	1 week ago
95556	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 1

Findings

0

No findings?

yes

Summary

Reviewed full runtime bytecode bundle. Contract is a standard ERC20 with owner-only rate setters and owner-only ETH withdrawal; token sale functions only transfer the contract’s own tokens after payment and enforce reserve checks. No unprotected value transfer, delegatecall, selfdestruct, or controllable external call enabling concrete profit extraction was found in bytecode.

View stderr

[codex:1200870] OpenAI Codex v0.77.0 (research preview)
[codex:1200870] --------
[codex:1200870] workdir: /tmp/codex-multi-09nf00h0
[codex:1200870] model: gpt-5.2-codex
[codex:1200870] provider: openai
[codex:1200870] approval: never
[codex:1200870] sandbox: read-only
[codex:1200870] reasoning effort: xhigh
[codex:1200870] reasoning summaries: auto
[codex:1200870] session id: 019b8c76-3783-7b60-b20c-f6212c07c38b
[codex:1200870] --------
[codex:1200870] user
[codex:1200870] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1200870] 
[codex:1200870] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:1200870] 
[codex:1200870] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1200870] - Gas inefficiency, code quality, or best practices
[codex:1200870] - Theoretical vulnerabilities without a clear extraction path
[codex:1200870] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:1200870] - Issues requiring social engineering or off-chain coordination
[codex:1200870] 
[codex:1200870] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:1200870] - CALL/DELEGATECALL with controllable destination or calldata
[codex:1200870] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:1200870] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:1200870] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:1200870] - External calls before state updates (reentrancy)
[codex:1200870] - SELFDESTRUCT with controllable beneficiary
[codex:1200870] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:1200870] 
[codex:1200870] For each finding, you MUST explain:
[codex:1200870] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:1200870] 2. The concrete sequence of transactions to extract value
[codex:1200870] 3. Why you believe this is exploitable (not just suspicious)
[codex:1200870] 
[codex:1200870] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:1200870] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:1200870] 
[codex:1200870] Output MUST be valid JSON matching the provided schema.
[codex:1200870] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1200870] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1200870] mcp startup: no servers
[codex:1200870] 
[codex:1200870] thinking
[codex:1200870] **Reading BYTECODE_BUNDLE.txt**
[codex:1200870] exec
[codex:1200870] /bin/bash -lc ls in /tmp/codex-multi-09nf00h0 succeeded in 5ms:
[codex:1200870] BYTECODE_BUNDLE.txt
[codex:1200870] codex-output-schema.json
[codex:1200870] exec
[codex:1200870] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-09nf00h0 succeeded in 5ms:
[codex:1200870] Runtime bytecode bundle for best-effort auditing.
[codex:1200870] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1200870] 
[codex:1200870] FILE: runtime_bytecode.hex
[codex:1200870] 0x60806040526004361061013e575f3560e01c806370a08231116100b5578063a457c2d71161006e578063a457c2d714610408578063a9059cbb14610444578063bf22f07614610480578063dd62ed3e146104a8578063f2fde38b146104e4578063ff186b2e1461050c5761013e565b806370a082311461032e578063715018a61461036a5780637ff9b596146103805780638da5cb5b146103aa57806395d89b41146103d45780639c0caad6146103fe5761013e565b80632f48ab7d116101075780632f48ab7d14610236578063313ce56714610260578063395093511461028a5780633ccfd60b146102c65780633e413bee146102dc5780636a61e5fc146103065761013e565b80629f92621461014257806306fdde031461016a578063095ea7b31461019457806318160ddd146101d057806323b872dd146101fa575b5f5ffd5b34801561014d575f5ffd5b50610168600480360381019061016391906117d4565b610536565b005b348015610175575f5ffd5b5061017e610548565b60405161018b919061186f565b60405180910390f35b34801561019f575f5ffd5b506101ba60048036038101906101b591906118e9565b6105d8565b6040516101c79190611941565b60405180910390f35b3480156101db575f5ffd5b506101e46105fa565b6040516101f19190611969565b60405180910390f35b348015610205575f5ffd5b50610220600480360381019061021b9190611982565b610603565b60405161022d9190611941565b60405180910390f35b348015610241575f5ffd5b5061024a610631565b60405161025791906119e1565b60405180910390f35b34801561026b575f5ffd5b50610274610656565b6040516102819190611a15565b60405180910390f35b348015610295575f5ffd5b506102b060048036038101906102ab91906118e9565b61065e565b6040516102bd9190611941565b60405180910390f35b3480156102d1575f5ffd5b506102da610694565b005b3480156102e7575f5ffd5b506102f0610a84565b6040516102fd91906119e1565b60405180910390f35b348015610311575f5ffd5b5061032c600480360381019061032791906117d4565b610aa9565b005b348015610339575f5ffd5b50610354600480360381019061034f9190611a2e565b610abb565b6040516103619190611969565b60405180910390f35b348015610375575f5ffd5b5061037e610b00565b005b34801561038b575f5ffd5b50610394610b13565b6040516103a19190611969565b60405180910390f35b3480156103b5575f5ffd5b506103be610b19565b6040516103cb91906119e1565b60405180910390f35b3480156103df575f5ffd5b506103e8610b41565b6040516103f5919061186f565b60405180910390f35b610406610bd1565b005b348015610413575f5ffd5b5061042e600480360381019061042991906118e9565b610c95565b60405161043b9190611941565b60405180910390f35b34801561044f575f5ffd5b5061046a600480360381019061046591906118e9565b610d0a565b6040516104779190611941565b60405180910390f35b34801561048b575f5ffd5b506104a660048036038101906104a191906118e9565b610d2c565b005b3480156104b3575f5ffd5b506104ce60048036038101906104c99190611a59565b611087565b6040516104db9190611969565b60405180910390f35b3480156104ef575f5ffd5b5061050a60048036038101906105059190611a2e565b611109565b005b348015610517575f5ffd5b5061052061118b565b60405161052d9190611969565b60405180910390f35b61053e611191565b8060078190555050565b60606003805461055790611ac4565b80601f016020809104026020016040519081016040528092919081815260200182805461058390611ac4565b80156105ce5780601f106105a5576101008083540402835291602001916105ce565b820191905f5260205f20905b8154815290600101906020018083116105b157829003601f168201915b5050505050905090565b5f5f6105e261120f565b90506105ef818585611216565b600191505092915050565b5f600254905090565b5f5f61060d61120f565b905061061a8582856113d9565b610625858585611464565b60019150509392505050565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f6012905090565b5f5f61066861120f565b905061068981858561067a8589611087565b6106849190611b21565b611216565b600191505092915050565b61069c611191565b5f4711156106f0576106ac610b19565b73ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f193505050501580156106ee573d5f5f3e3d5ffd5b505b5f60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161074b91906119e1565b602060405180830381865afa158015610766573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061078a9190611b68565b11156108b95760085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6107d5610b19565b60085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161082f91906119e1565b602060405180830381865afa15801561084a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061086e9190611b68565b6040518363ffffffff1660e01b815260040161088b929190611b93565b5f604051808303815f87803b1580156108a2575f5ffd5b505af11580156108b4573d5f5f3e3d5ffd5b505050505b5f60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b815260040161091491906119e1565b602060405180830381865afa15801561092f573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109539190611b68565b1115610a825760095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb61099e610b19565b60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b81526004016109f891906119e1565b602060405180830381865afa158015610a13573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a379190611b68565b6040518363ffffffff1660e01b8152600401610a54929190611b93565b5f604051808303815f87803b158015610a6b575f5ffd5b505af1158015610a7d573d5f5f3e3d5ffd5b505050505b565b60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b610ab1611191565b8060068190555050565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610b08611191565b610b115f6116d0565b565b60065481565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060048054610b5090611ac4565b80601f0160208091040260200160405190810160405280929190818152602001828054610b7c90611ac4565b8015610bc75780601f10610b9e57610100808354040283529160200191610bc7565b820191905f5260205f20905b815481529060010190602001808311610baa57829003601f168201915b5050505050905090565b5f3411610c13576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c0a90611c04565b60405180910390fd5b5f600754670de0b6b3a764000034610c2b9190611c22565b610c359190611c90565b90505f610c4130610abb565b905080821115610c86576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c7d90611d0a565b60405180910390fd5b610c91303384611464565b5050565b5f5f610c9f61120f565b90505f610cac8286611087565b905083811015610cf1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ce890611d98565b60405180910390fd5b610cfe8286868403611216565b60019250505092915050565b5f5f610d1461120f565b9050610d21818585611464565b600191505092915050565b5f8111610d6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d6590611e00565b60405180910390fd5b60095f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161480610e15575060085f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b610e54576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e4b90611e68565b60405180910390fd5b5f8273ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610e8e91906119e1565b602060405180830381865afa158015610ea9573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ecd9190611b68565b90508273ffffffffffffffffffffffffffffffffffffffff166323b872dd3330856040518463ffffffff1660e01b8152600401610f0c93929190611e86565b5f604051808303815f87803b158015610f23575f5ffd5b505af1158015610f35573d5f5f3e3d5ffd5b505050505f8373ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610f7391906119e1565b602060405180830381865afa158015610f8e573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610fb29190611b68565b9050828282610fc19190611ebb565b14611001576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ff890611f38565b60405180910390fd5b5f600654670de0b6b3a7640000856110199190611c22565b6110239190611c90565b90505f61102f30610abb565b905080821115611074576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106b90611d0a565b60405180910390fd5b61107f303384611464565b505050505050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b611111611191565b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff160361117f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117690611fc6565b60405180910390fd5b611188816116d0565b50565b60075481565b61119961120f565b73ffffffffffffffffffffffffffffffffffffffff166111b7610b19565b73ffffffffffffffffffffffffffffffffffffffff161461120d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112049061202e565b60405180910390fd5b565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611284576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161127b906120bc565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036112f2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112e99061214a565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516113cc9190611969565b60405180910390a3505050565b5f6113e48484611087565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461145e5781811015611450576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611447906121b2565b60405180910390fd5b61145d8484848403611216565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036114d2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114c990612240565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611540576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611537906122ce565b60405180910390fd5b61154b838383611793565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050818110156115ce576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115c59061235c565b60405180910390fd5b8181035f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516116b79190611969565b60405180910390a36116ca848484611798565b50505050565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690508160055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b505050565b505050565b5f5ffd5b5f819050919050565b6117b3816117a1565b81146117bd575f5ffd5b50565b5f813590506117ce816117aa565b92915050565b5f602082840312156117e9576117e861179d565b5b5f6117f6848285016117c0565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f611841826117ff565b61184b8185611809565b935061185b818560208601611819565b61186481611827565b840191505092915050565b5f6020820190508181035f8301526118878184611837565b905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6118b88261188f565b9050919050565b6118c8816118ae565b81146118d2575f5ffd5b50565b5f813590506118e3816118bf565b92915050565b5f5f604083850312156118ff576118fe61179d565b5b5f61190c858286016118d5565b925050602061191d858286016117c0565b9150509250929050565b5f8115159050919050565b61193b81611927565b82525050565b5f6020820190506119545f830184611932565b92915050565b611963816117a1565b82525050565b5f60208201905061197c5f83018461195a565b92915050565b5f5f5f606084860312156119995761199861179d565b5b5f6119a6868287016118d5565b93505060206119b7868287016118d5565b92505060406119c8868287016117c0565b9150509250925092565b6119db816118ae565b82525050565b5f6020820190506119f45f8301846119d2565b92915050565b5f60ff82169050919050565b611a0f816119fa565b82525050565b5f602082019050611a285f830184611a06565b92915050565b5f60208284031215611a4357611a4261179d565b5b5f611a50848285016118d5565b91505092915050565b5f5f60408385031215611a6f57611a6e61179d565b5b5f611a7c858286016118d5565b9250506020611a8d858286016118d5565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611adb57607f821691505b602082108103611aee57611aed611a97565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611b2b826117a1565b9150611b36836117a1565b9250828201905080821115611b4e57611b4d611af4565b5b92915050565b5f81519050611b62816117aa565b92915050565b5f60208284031215611b7d57611b7c61179d565b5b5f611b8a84828501611b54565b91505092915050565b5f604082019050611ba65f8301856119d2565b611bb3602083018461195a565b9392505050565b7f53656e642045544820746f2062757920746f6b656e73000000000000000000005f82015250565b5f611bee601683611809565b9150611bf982611bba565b602082019050919050565b5f6020820190508181035f830152611c1b81611be2565b9050919050565b5f611c2c826117a1565b9150611c37836117a1565b9250828202611c45816117a1565b91508282048414831517611c5c57611c5b611af4565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611c9a826117a1565b9150611ca5836117a1565b925082611cb557611cb4611c63565b5b828204905092915050565b7f4e6f7420656e6f75676820746f6b656e7320696e2074686520726573657276655f82015250565b5f611cf4602083611809565b9150611cff82611cc0565b602082019050919050565b5f6020820190508181035f830152611d2181611ce8565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611d82602583611809565b9150611d8d82611d28565b604082019050919050565b5f6020820190508181035f830152611daf81611d76565b9050919050565b7f53656e6420746f6b656e7320746f2062757900000000000000000000000000005f82015250565b5f611dea601283611809565b9150611df582611db6565b602082019050919050565b5f6020820190508181035f830152611e1781611dde565b9050919050565b7f556e737570706f7274656420746f6b656e0000000000000000000000000000005f82015250565b5f611e52601183611809565b9150611e5d82611e1e565b602082019050919050565b5f6020820190508181035f830152611e7f81611e46565b9050919050565b5f606082019050611e995f8301866119d2565b611ea660208301856119d2565b611eb3604083018461195a565b949350505050565b5f611ec5826117a1565b9150611ed0836117a1565b9250828203905081811115611ee857611ee7611af4565b5b92915050565b7f616d6f756e74206e6f74206d61746368000000000000000000000000000000005f82015250565b5f611f22601083611809565b9150611f2d82611eee565b602082019050919050565b5f6020820190508181035f830152611f4f81611f16565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611fb0602683611809565b9150611fbb82611f56565b604082019050919050565b5f6020820190508181035f830152611fdd81611fa4565b9050919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f612018602083611809565b915061202382611fe4565b602082019050919050565b5f6020820190508181035f8301526120458161200c565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6120a6602483611809565b91506120b18261204c565b604082019050919050565b5f6020820190508181035f8301526120d38161209a565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f612134602283611809565b915061213f826120da565b604082019050919050565b5f6020820190508181035f83015261216181612128565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f61219c601d83611809565b91506121a782612168565b602082019050919050565b5f6020820190508181035f8301526121c981612190565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61222a602583611809565b9150612235826121d0565b604082019050919050565b5f6020820190508181035f8301526122578161221e565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6122b8602383611809565b91506122c38261225e565b604082019050919050565b5f6020820190508181035f8301526122e5816122ac565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f612346602683611809565b9150612351826122ec565b604082019050919050565b5f6020820190508181035f8301526123738161233a565b905091905056fea26469706673582212201497b9949347a08a3648229b2fb914f7acca465acc0c5dde1f3acee4f5c91bad64736f6c634300081c0033
[codex:1200870] 
[codex:1200870] 
[codex:1200870] 
[codex:1200870] thinking
[codex:1200870] **Examining ERC20 token bytecode for vulnerabilities**
[codex:1200870] thinking
[codex:1200870] **Analyzing token sale and swap functions**
[codex:1200870] 
[codex:1200870] I'm piecing together how key functions like buying tokens with ETH or other tokens work by decoding bytecode and error messages. It looks like there are protective checks on msg.value and token transfers to prevent exploits, and rates are stored in contract slots. I'm mapping out how the contract ensures correct balances and handles conversions for token purchases while watching for potential vulnerabilities like reentrancy or mismatched amounts. Let's keep unraveling to confirm if any attack vectors exist.
[codex:1200870] thinking
[codex:1200870] **Checking ownership and state mutability of key variables**
[codex:1200870] 
[codex:1200870] I'm verifying which variables like supported token addresses and rates can be set and whether onlyOwner restrictions apply. It looks like token addresses are fixed in constructor, while rates can be updated but only by the owner. I'm mapping all functions and their access controls to make sure no one can change critical state or withdraw funds improperly. This helps confirm attack surface is limited.
[codex:1200870] exec
[codex:1200870] /bin/bash -lc 'rg -n "600255" BYTECODE_BUNDLE.txt' in /tmp/codex-multi-09nf00h0 exited 1 in 7ms:
[codex:1200870] 
[codex:1200870] 
[codex:1200870] 
[codex:1200870] thinking
[codex:1200870] **Evaluating potential token sale vulnerabilities**
[codex:1200870] thinking
[codex:1200870] **Finalizing security analysis summary**
[codex:1200870] 
[codex:1200870] I'll prepare a JSON response stating no exploitable vulnerabilities were found after reviewing the bytecode, emphasizing no concrete paths to profit were detected while noting the contract’s behavior and limitations.
[codex:1200870] codex
[codex:1200870] {"no_findings":true,"summary":"Reviewed full runtime bytecode bundle. Contract is a standard ERC20 with owner-only rate setters and owner-only ETH withdrawal; token sale functions only transfer the contract’s own tokens after payment and enforce reserve checks. No unprotected value transfer, delegatecall, selfdestruct, or controllable external call enabling concrete profit extraction was found in bytecode.","findings":[]}
[codex:1200870] tokens used
[codex:1200870] 27,912
[codex:1200870] {"no_findings":true,"summary":"Reviewed full runtime bytecode bundle. Contract is a standard ERC20 with owner-only rate setters and owner-only ETH withdrawal; token sale functions only transfer the contract’s own tokens after payment and enforce reserve checks. No unprotected value transfer, delegatecall, selfdestruct, or controllable external call enabling concrete profit extraction was found in bytecode.","findings":[]}

Metadata

{
    "codex": {
        "ran_at": "2026-01-05T04:47:23.238252+00:00",
        "returncode": 0
    },
    "summary": "Reviewed full runtime bytecode bundle. Contract is a standard ERC20 with owner-only rate setters and owner-only ETH withdrawal; token sale functions only transfer the contract\u2019s own tokens after payment and enforce reserve checks. No unprotected value transfer, delegatecall, selfdestruct, or controllable external call enabling concrete profit extraction was found in bytecode.",
    "raw_final": {
        "summary": "Reviewed full runtime bytecode bundle. Contract is a standard ERC20 with owner-only rate setters and owner-only ETH withdrawal; token sale functions only transfer the contract\u2019s own tokens after payment and enforce reserve checks. No unprotected value transfer, delegatecall, selfdestruct, or controllable external call enabling concrete profit extraction was found in bytecode.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

10

EXT*/BALANCE

3

Total opcodes

4844

Flags

create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x013e
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x70a08231
00000018: GT
00000019: PUSH2 0x00b5
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xa457c2d7
00000023: GT
00000024: PUSH2 0x006e
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xa457c2d7
0000002e: EQ
0000002f: PUSH2 0x0408
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xa9059cbb
00000039: EQ
0000003a: PUSH2 0x0444
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xbf22f076
00000044: EQ
00000045: PUSH2 0x0480
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xdd62ed3e
0000004f: EQ
00000050: PUSH2 0x04a8
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf2fde38b
0000005a: EQ
0000005b: PUSH2 0x04e4
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xff186b2e
00000065: EQ
00000066: PUSH2 0x050c
00000069: JUMPI
0000006a: PUSH2 0x013e
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x70a08231
00000075: EQ
00000076: PUSH2 0x032e
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x715018a6
00000080: EQ
00000081: PUSH2 0x036a
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x7ff9b596
0000008b: EQ
0000008c: PUSH2 0x0380
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x8da5cb5b
00000096: EQ
00000097: PUSH2 0x03aa
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x95d89b41
000000a1: EQ
000000a2: PUSH2 0x03d4
000000a5: JUMPI
000000a6: DUP1
000000a7: PUSH4 0x9c0caad6
000000ac: EQ
000000ad: PUSH2 0x03fe
000000b0: JUMPI
000000b1: PUSH2 0x013e
000000b4: JUMP
000000b5: JUMPDEST
000000b6: DUP1
000000b7: PUSH4 0x2f48ab7d
000000bc: GT
000000bd: PUSH2 0x0107
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x2f48ab7d
000000c7: EQ
000000c8: PUSH2 0x0236
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x313ce567
000000d2: EQ
000000d3: PUSH2 0x0260
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x39509351
000000dd: EQ
000000de: PUSH2 0x028a
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x3ccfd60b
000000e8: EQ
000000e9: PUSH2 0x02c6
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x3e413bee
000000f3: EQ
000000f4: PUSH2 0x02dc
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x6a61e5fc
000000fe: EQ
000000ff: PUSH2 0x0306
00000102: JUMPI
00000103: PUSH2 0x013e
00000106: JUMP
00000107: JUMPDEST
00000108: DUP1
00000109: PUSH3 0x9f9262
0000010d: EQ
0000010e: PUSH2 0x0142
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0x06fdde03
00000118: EQ
00000119: PUSH2 0x016a
0000011c: JUMPI
0000011d: DUP1
0000011e: PUSH4 0x095ea7b3
00000123: EQ
00000124: PUSH2 0x0194
00000127: JUMPI
00000128: DUP1
00000129: PUSH4 0x18160ddd
0000012e: EQ
0000012f: PUSH2 0x01d0
00000132: JUMPI
00000133: DUP1
00000134: PUSH4 0x23b872dd
00000139: EQ
0000013a: PUSH2 0x01fa
0000013d: JUMPI
0000013e: JUMPDEST
0000013f: PUSH0
00000140: PUSH0
00000141: REVERT
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014d
00000149: JUMPI
0000014a: PUSH0
0000014b: PUSH0
0000014c: REVERT
0000014d: JUMPDEST
0000014e: POP
0000014f: PUSH2 0x0168
00000152: PUSH1 0x04
00000154: DUP1
00000155: CALLDATASIZE
00000156: SUB
00000157: DUP2
00000158: ADD
00000159: SWAP1
0000015a: PUSH2 0x0163
0000015d: SWAP2
0000015e: SWAP1
0000015f: PUSH2 0x17d4
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH2 0x0536
00000167: JUMP
00000168: JUMPDEST
00000169: STOP
0000016a: JUMPDEST
0000016b: CALLVALUE
0000016c: DUP1
0000016d: ISZERO
0000016e: PUSH2 0x0175
00000171: JUMPI
00000172: PUSH0
00000173: PUSH0
00000174: REVERT
00000175: JUMPDEST
00000176: POP
00000177: PUSH2 0x017e
0000017a: PUSH2 0x0548
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH1 0x40
00000181: MLOAD
00000182: PUSH2 0x018b
00000185: SWAP2
00000186: SWAP1
00000187: PUSH2 0x186f
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: DUP1
00000190: SWAP2
00000191: SUB
00000192: SWAP1
00000193: RETURN
00000194: JUMPDEST
00000195: CALLVALUE
00000196: DUP1
00000197: ISZERO
00000198: PUSH2 0x019f
0000019b: JUMPI
0000019c: PUSH0
0000019d: PUSH0
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: PUSH2 0x01ba
000001a4: PUSH1 0x04
000001a6: DUP1
000001a7: CALLDATASIZE
000001a8: SUB
000001a9: DUP2
000001aa: ADD
000001ab: SWAP1
000001ac: PUSH2 0x01b5
000001af: SWAP2
000001b0: SWAP1
000001b1: PUSH2 0x18e9
000001b4: JUMP
000001b5: JUMPDEST
000001b6: PUSH2 0x05d8
000001b9: JUMP
000001ba: JUMPDEST
000001bb: PUSH1 0x40
000001bd: MLOAD
000001be: PUSH2 0x01c7
000001c1: SWAP2
000001c2: SWAP1
000001c3: PUSH2 0x1941
000001c6: JUMP
000001c7: JUMPDEST
000001c8: PUSH1 0x40
000001ca: MLOAD
000001cb: DUP1
000001cc: SWAP2
000001cd: SUB
000001ce: SWAP1
000001cf: RETURN
000001d0: JUMPDEST
000001d1: CALLVALUE
000001d2: DUP1
000001d3: ISZERO
000001d4: PUSH2 0x01db
000001d7: JUMPI
000001d8: PUSH0
000001d9: PUSH0
000001da: REVERT
000001db: JUMPDEST
000001dc: POP
000001dd: PUSH2 0x01e4
000001e0: PUSH2 0x05fa
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: PUSH2 0x01f1
000001eb: SWAP2
000001ec: SWAP1
000001ed: PUSH2 0x1969
000001f0: JUMP
000001f1: JUMPDEST
000001f2: PUSH1 0x40
000001f4: MLOAD
000001f5: DUP1
000001f6: SWAP2
000001f7: SUB
000001f8: SWAP1
000001f9: RETURN
000001fa: JUMPDEST
000001fb: CALLVALUE
000001fc: DUP1
000001fd: ISZERO
000001fe: PUSH2 0x0205
00000201: JUMPI
00000202: PUSH0
00000203: PUSH0
00000204: REVERT
00000205: JUMPDEST
00000206: POP
00000207: PUSH2 0x0220
0000020a: PUSH1 0x04
0000020c: DUP1
0000020d: CALLDATASIZE
0000020e: SUB
0000020f: DUP2
00000210: ADD
00000211: SWAP1
00000212: PUSH2 0x021b
00000215: SWAP2
00000216: SWAP1
00000217: PUSH2 0x1982
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH2 0x0603
0000021f: JUMP
00000220: JUMPDEST
00000221: PUSH1 0x40
00000223: MLOAD
00000224: PUSH2 0x022d
00000227: SWAP2
00000228: SWAP1
00000229: PUSH2 0x1941
0000022c: JUMP
0000022d: JUMPDEST
0000022e: PUSH1 0x40
00000230: MLOAD
00000231: DUP1
00000232: SWAP2
00000233: SUB
00000234: SWAP1
00000235: RETURN
00000236: JUMPDEST
00000237: CALLVALUE
00000238: DUP1
00000239: ISZERO
0000023a: PUSH2 0x0241
0000023d: JUMPI
0000023e: PUSH0
0000023f: PUSH0
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH2 0x024a
00000246: PUSH2 0x0631
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: PUSH2 0x0257
00000251: SWAP2
00000252: SWAP1
00000253: PUSH2 0x19e1
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: SWAP2
0000025d: SUB
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026b
00000267: JUMPI
00000268: PUSH0
00000269: PUSH0
0000026a: REVERT
0000026b: JUMPDEST
0000026c: POP
0000026d: PUSH2 0x0274
00000270: PUSH2 0x0656
00000273: JUMP
00000274: JUMPDEST
00000275: PUSH1 0x40
00000277: MLOAD
00000278: PUSH2 0x0281
0000027b: SWAP2
0000027c: SWAP1
0000027d: PUSH2 0x1a15
00000280: JUMP
00000281: JUMPDEST
00000282: PUSH1 0x40
00000284: MLOAD
00000285: DUP1
00000286: SWAP2
00000287: SUB
00000288: SWAP1
00000289: RETURN
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: DUP1
0000028d: ISZERO
0000028e: PUSH2 0x0295
00000291: JUMPI
00000292: PUSH0
00000293: PUSH0
00000294: REVERT
00000295: JUMPDEST
00000296: POP
00000297: PUSH2 0x02b0
0000029a: PUSH1 0x04
0000029c: DUP1
0000029d: CALLDATASIZE
0000029e: SUB
0000029f: DUP2
000002a0: ADD
000002a1: SWAP1
000002a2: PUSH2 0x02ab
000002a5: SWAP2
000002a6: SWAP1
000002a7: PUSH2 0x18e9
000002aa: JUMP
000002ab: JUMPDEST
000002ac: PUSH2 0x065e
000002af: JUMP
000002b0: JUMPDEST
000002b1: PUSH1 0x40
000002b3: MLOAD
000002b4: PUSH2 0x02bd
000002b7: SWAP2
000002b8: SWAP1
000002b9: PUSH2 0x1941
000002bc: JUMP
000002bd: JUMPDEST
000002be: PUSH1 0x40
000002c0: MLOAD
000002c1: DUP1
000002c2: SWAP2
000002c3: SUB
000002c4: SWAP1
000002c5: RETURN
000002c6: JUMPDEST
000002c7: CALLVALUE
000002c8: DUP1
000002c9: ISZERO
000002ca: PUSH2 0x02d1
000002cd: JUMPI
000002ce: PUSH0
000002cf: PUSH0
000002d0: REVERT
000002d1: JUMPDEST
000002d2: POP
000002d3: PUSH2 0x02da
000002d6: PUSH2 0x0694
000002d9: JUMP
000002da: JUMPDEST
000002db: STOP
000002dc: JUMPDEST
000002dd: CALLVALUE
000002de: DUP1
000002df: ISZERO
000002e0: PUSH2 0x02e7
000002e3: JUMPI
000002e4: PUSH0
000002e5: PUSH0
000002e6: REVERT
000002e7: JUMPDEST
000002e8: POP
000002e9: PUSH2 0x02f0
000002ec: PUSH2 0x0a84
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: MLOAD
000002f4: PUSH2 0x02fd
000002f7: SWAP2
000002f8: SWAP1
000002f9: PUSH2 0x19e1
000002fc: JUMP
000002fd: JUMPDEST
000002fe: PUSH1 0x40
00000300: MLOAD
00000301: DUP1
00000302: SWAP2
00000303: SUB
00000304: SWAP1
00000305: RETURN
00000306: JUMPDEST
00000307: CALLVALUE
00000308: DUP1
00000309: ISZERO
0000030a: PUSH2 0x0311
0000030d: JUMPI
0000030e: PUSH0
0000030f: PUSH0
00000310: REVERT
00000311: JUMPDEST
00000312: POP
00000313: PUSH2 0x032c
00000316: PUSH1 0x04
00000318: DUP1
00000319: CALLDATASIZE
0000031a: SUB
0000031b: DUP2
0000031c: ADD
0000031d: SWAP1
0000031e: PUSH2 0x0327
00000321: SWAP2
00000322: SWAP1
00000323: PUSH2 0x17d4
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH2 0x0aa9
0000032b: JUMP
0000032c: JUMPDEST
0000032d: STOP
0000032e: JUMPDEST
0000032f: CALLVALUE
00000330: DUP1
00000331: ISZERO
00000332: PUSH2 0x0339
00000335: JUMPI
00000336: PUSH0
00000337: PUSH0
00000338: REVERT
00000339: JUMPDEST
0000033a: POP
0000033b: PUSH2 0x0354
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: DUP2
00000344: ADD
00000345: SWAP1
00000346: PUSH2 0x034f
00000349: SWAP2
0000034a: SWAP1
0000034b: PUSH2 0x1a2e
0000034e: JUMP
0000034f: JUMPDEST
00000350: PUSH2 0x0abb
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH1 0x40
00000357: MLOAD
00000358: PUSH2 0x0361
0000035b: SWAP2
0000035c: SWAP1
0000035d: PUSH2 0x1969
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH1 0x40
00000364: MLOAD
00000365: DUP1
00000366: SWAP2
00000367: SUB
00000368: SWAP1
00000369: RETURN
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0375
00000371: JUMPI
00000372: PUSH0
00000373: PUSH0
00000374: REVERT
00000375: JUMPDEST
00000376: POP
00000377: PUSH2 0x037e
0000037a: PUSH2 0x0b00
0000037d: JUMP
0000037e: JUMPDEST
0000037f: STOP
00000380: JUMPDEST
00000381: CALLVALUE
00000382: DUP1
00000383: ISZERO
00000384: PUSH2 0x038b
00000387: JUMPI
00000388: PUSH0
00000389: PUSH0
0000038a: REVERT
0000038b: JUMPDEST
0000038c: POP
0000038d: PUSH2 0x0394
00000390: PUSH2 0x0b13
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH1 0x40
00000397: MLOAD
00000398: PUSH2 0x03a1
0000039b: SWAP2
0000039c: SWAP1
0000039d: PUSH2 0x1969
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x40
000003a4: MLOAD
000003a5: DUP1
000003a6: SWAP2
000003a7: SUB
000003a8: SWAP1
000003a9: RETURN
000003aa: JUMPDEST
000003ab: CALLVALUE
000003ac: DUP1
000003ad: ISZERO
000003ae: PUSH2 0x03b5
000003b1: JUMPI
000003b2: PUSH0
000003b3: PUSH0
000003b4: REVERT
000003b5: JUMPDEST
000003b6: POP
000003b7: PUSH2 0x03be
000003ba: PUSH2 0x0b19
000003bd: JUMP
000003be: JUMPDEST
000003bf: PUSH1 0x40
000003c1: MLOAD
000003c2: PUSH2 0x03cb
000003c5: SWAP2
000003c6: SWAP1
000003c7: PUSH2 0x19e1
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH1 0x40
000003ce: MLOAD
000003cf: DUP1
000003d0: SWAP2
000003d1: SUB
000003d2: SWAP1
000003d3: RETURN
000003d4: JUMPDEST
000003d5: CALLVALUE
000003d6: DUP1
000003d7: ISZERO
000003d8: PUSH2 0x03df
000003db: JUMPI
000003dc: PUSH0
000003dd: PUSH0
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x0b41
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: PUSH2 0x03f5
000003ef: SWAP2
000003f0: SWAP1
000003f1: PUSH2 0x186f
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: DUP1
000003fa: SWAP2
000003fb: SUB
000003fc: SWAP1
000003fd: RETURN
000003fe: JUMPDEST
000003ff: PUSH2 0x0406
00000402: PUSH2 0x0bd1
00000405: JUMP
00000406: JUMPDEST
00000407: STOP
00000408: JUMPDEST
00000409: CALLVALUE
0000040a: DUP1
0000040b: ISZERO
0000040c: PUSH2 0x0413
0000040f: JUMPI
00000410: PUSH0
00000411: PUSH0
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x042e
00000418: PUSH1 0x04
0000041a: DUP1
0000041b: CALLDATASIZE
0000041c: SUB
0000041d: DUP2
0000041e: ADD
0000041f: SWAP1
00000420: PUSH2 0x0429
00000423: SWAP2
00000424: SWAP1
00000425: PUSH2 0x18e9
00000428: JUMP
00000429: JUMPDEST
0000042a: PUSH2 0x0c95
0000042d: JUMP
0000042e: JUMPDEST
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: PUSH2 0x043b
00000435: SWAP2
00000436: SWAP1
00000437: PUSH2 0x1941
0000043a: JUMP
0000043b: JUMPDEST
0000043c: PUSH1 0x40
0000043e: MLOAD
0000043f: DUP1
00000440: SWAP2
00000441: SUB
00000442: SWAP1
00000443: RETURN
00000444: JUMPDEST
00000445: CALLVALUE
00000446: DUP1
00000447: ISZERO
00000448: PUSH2 0x044f
0000044b: JUMPI
0000044c: PUSH0
0000044d: PUSH0
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x046a
00000454: PUSH1 0x04
00000456: DUP1
00000457: CALLDATASIZE
00000458: SUB
00000459: DUP2
0000045a: ADD
0000045b: SWAP1
0000045c: PUSH2 0x0465
0000045f: SWAP2
00000460: SWAP1
00000461: PUSH2 0x18e9
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x0d0a
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: PUSH2 0x0477
00000471: SWAP2
00000472: SWAP1
00000473: PUSH2 0x1941
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH1 0x40
0000047a: MLOAD
0000047b: DUP1
0000047c: SWAP2
0000047d: SUB
0000047e: SWAP1
0000047f: RETURN
00000480: JUMPDEST
00000481: CALLVALUE
00000482: DUP1
00000483: ISZERO
00000484: PUSH2 0x048b
00000487: JUMPI
00000488: PUSH0
00000489: PUSH0
0000048a: REVERT
0000048b: JUMPDEST
0000048c: POP
0000048d: PUSH2 0x04a6
00000490: PUSH1 0x04
00000492: DUP1
00000493: CALLDATASIZE
00000494: SUB
00000495: DUP2
00000496: ADD
00000497: SWAP1
00000498: PUSH2 0x04a1
0000049b: SWAP2
0000049c: SWAP1
0000049d: PUSH2 0x18e9
000004a0: JUMP
000004a1: JUMPDEST
000004a2: PUSH2 0x0d2c
000004a5: JUMP
000004a6: JUMPDEST
000004a7: STOP
000004a8: JUMPDEST
000004a9: CALLVALUE
000004aa: DUP1
000004ab: ISZERO
000004ac: PUSH2 0x04b3
000004af: JUMPI
000004b0: PUSH0
000004b1: PUSH0
000004b2: REVERT
000004b3: JUMPDEST
000004b4: POP
000004b5: PUSH2 0x04ce
000004b8: PUSH1 0x04
000004ba: DUP1
000004bb: CALLDATASIZE
000004bc: SUB
000004bd: DUP2
000004be: ADD
000004bf: SWAP1
000004c0: PUSH2 0x04c9
000004c3: SWAP2
000004c4: SWAP1
000004c5: PUSH2 0x1a59
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x1087
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x40
000004d1: MLOAD
000004d2: PUSH2 0x04db
000004d5: SWAP2
000004d6: SWAP1
000004d7: PUSH2 0x1969
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH1 0x40
000004de: MLOAD
000004df: DUP1
000004e0: SWAP2
000004e1: SUB
000004e2: SWAP1
000004e3: RETURN
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04ef
000004eb: JUMPI
000004ec: PUSH0
000004ed: PUSH0
000004ee: REVERT
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH2 0x050a
000004f4: PUSH1 0x04
000004f6: DUP1
000004f7: CALLDATASIZE
000004f8: SUB
000004f9: DUP2
000004fa: ADD
000004fb: SWAP1
000004fc: PUSH2 0x0505
000004ff: SWAP2
00000500: SWAP1
00000501: PUSH2 0x1a2e
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x1109
00000509: JUMP
0000050a: JUMPDEST
0000050b: STOP
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: DUP1
0000050f: ISZERO
00000510: PUSH2 0x0517
00000513: JUMPI
00000514: PUSH0
00000515: PUSH0
00000516: REVERT
00000517: JUMPDEST
00000518: POP
00000519: PUSH2 0x0520
0000051c: PUSH2 0x118b
0000051f: JUMP
00000520: JUMPDEST
00000521: PUSH1 0x40
00000523: MLOAD
00000524: PUSH2 0x052d
00000527: SWAP2
00000528: SWAP1
00000529: PUSH2 0x1969
0000052c: JUMP
0000052d: JUMPDEST
0000052e: PUSH1 0x40
00000530: MLOAD
00000531: DUP1
00000532: SWAP2
00000533: SUB
00000534: SWAP1
00000535: RETURN
00000536: JUMPDEST
00000537: PUSH2 0x053e
0000053a: PUSH2 0x1191
0000053d: JUMP
0000053e: JUMPDEST
0000053f: DUP1
00000540: PUSH1 0x07
00000542: DUP2
00000543: SWAP1
00000544: SSTORE
00000545: POP
00000546: POP
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x60
0000054b: PUSH1 0x03
0000054d: DUP1
0000054e: SLOAD
0000054f: PUSH2 0x0557
00000552: SWAP1
00000553: PUSH2 0x1ac4
00000556: JUMP
00000557: JUMPDEST
00000558: DUP1
00000559: PUSH1 0x1f
0000055b: ADD
0000055c: PUSH1 0x20
0000055e: DUP1
0000055f: SWAP2
00000560: DIV
00000561: MUL
00000562: PUSH1 0x20
00000564: ADD
00000565: PUSH1 0x40
00000567: MLOAD
00000568: SWAP1
00000569: DUP2
0000056a: ADD
0000056b: PUSH1 0x40
0000056d: MSTORE
0000056e: DUP1
0000056f: SWAP3
00000570: SWAP2
00000571: SWAP1
00000572: DUP2
00000573: DUP2
00000574: MSTORE
00000575: PUSH1 0x20
00000577: ADD
00000578: DUP3
00000579: DUP1
0000057a: SLOAD
0000057b: PUSH2 0x0583
0000057e: SWAP1
0000057f: PUSH2 0x1ac4
00000582: JUMP
00000583: JUMPDEST
00000584: DUP1
00000585: ISZERO
00000586: PUSH2 0x05ce
00000589: JUMPI
0000058a: DUP1
0000058b: PUSH1 0x1f
0000058d: LT
0000058e: PUSH2 0x05a5
00000591: JUMPI
00000592: PUSH2 0x0100
00000595: DUP1
00000596: DUP4
00000597: SLOAD
00000598: DIV
00000599: MUL
0000059a: DUP4
0000059b: MSTORE
0000059c: SWAP2
0000059d: PUSH1 0x20
0000059f: ADD
000005a0: SWAP2
000005a1: PUSH2 0x05ce
000005a4: JUMP
000005a5: JUMPDEST
000005a6: DUP3
000005a7: ADD
000005a8: SWAP2
000005a9: SWAP1
000005aa: PUSH0
000005ab: MSTORE
000005ac: PUSH1 0x20
000005ae: PUSH0
000005af: KECCAK256
000005b0: SWAP1
000005b1: JUMPDEST
000005b2: DUP2
000005b3: SLOAD
000005b4: DUP2
000005b5: MSTORE
000005b6: SWAP1
000005b7: PUSH1 0x01
000005b9: ADD
000005ba: SWAP1
000005bb: PUSH1 0x20
000005bd: ADD
000005be: DUP1
000005bf: DUP4
000005c0: GT
000005c1: PUSH2 0x05b1
000005c4: JUMPI
000005c5: DUP3
000005c6: SWAP1
000005c7: SUB
000005c8: PUSH1 0x1f
000005ca: AND
000005cb: DUP3
000005cc: ADD
000005cd: SWAP2
000005ce: JUMPDEST
000005cf: POP
000005d0: POP
000005d1: POP
000005d2: POP
000005d3: POP
000005d4: SWAP1
000005d5: POP
000005d6: SWAP1
000005d7: JUMP
000005d8: JUMPDEST
000005d9: PUSH0
000005da: PUSH0
000005db: PUSH2 0x05e2
000005de: PUSH2 0x120f
000005e1: JUMP
000005e2: JUMPDEST
000005e3: SWAP1
000005e4: POP
000005e5: PUSH2 0x05ef
000005e8: DUP2
000005e9: DUP6
000005ea: DUP6
000005eb: PUSH2 0x1216
000005ee: JUMP
000005ef: JUMPDEST
000005f0: PUSH1 0x01
000005f2: SWAP2
000005f3: POP
000005f4: POP
000005f5: SWAP3
000005f6: SWAP2
000005f7: POP
000005f8: POP
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH0
000005fc: PUSH1 0x02
000005fe: SLOAD
000005ff: SWAP1
00000600: POP
00000601: SWAP1
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH0
00000605: PUSH0
00000606: PUSH2 0x060d
00000609: PUSH2 0x120f
0000060c: JUMP
0000060d: JUMPDEST
0000060e: SWAP1
0000060f: POP
00000610: PUSH2 0x061a
00000613: DUP6
00000614: DUP3
00000615: DUP6
00000616: PUSH2 0x13d9
00000619: JUMP
0000061a: JUMPDEST
0000061b: PUSH2 0x0625
0000061e: DUP6
0000061f: DUP6
00000620: DUP6
00000621: PUSH2 0x1464
00000624: JUMP
00000625: JUMPDEST
00000626: PUSH1 0x01
00000628: SWAP2
00000629: POP
0000062a: POP
0000062b: SWAP4
0000062c: SWAP3
0000062d: POP
0000062e: POP
0000062f: POP
00000630: JUMP
00000631: JUMPDEST
00000632: PUSH1 0x08
00000634: PUSH0
00000635: SWAP1
00000636: SLOAD
00000637: SWAP1
00000638: PUSH2 0x0100
0000063b: EXP
0000063c: SWAP1
0000063d: DIV
0000063e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000653: AND
00000654: DUP2
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH0
00000658: PUSH1 0x12
0000065a: SWAP1
0000065b: POP
0000065c: SWAP1
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH0
00000660: PUSH0
00000661: PUSH2 0x0668
00000664: PUSH2 0x120f
00000667: JUMP
00000668: JUMPDEST
00000669: SWAP1
0000066a: POP
0000066b: PUSH2 0x0689
0000066e: DUP2
0000066f: DUP6
00000670: DUP6
00000671: PUSH2 0x067a
00000674: DUP6
00000675: DUP10
00000676: PUSH2 0x1087
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH2 0x0684
0000067e: SWAP2
0000067f: SWAP1
00000680: PUSH2 0x1b21
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH2 0x1216
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x01
0000068c: SWAP2
0000068d: POP
0000068e: POP
0000068f: SWAP3
00000690: SWAP2
00000691: POP
00000692: POP
00000693: JUMP
00000694: JUMPDEST
00000695: PUSH2 0x069c
00000698: PUSH2 0x1191
0000069b: JUMP
0000069c: JUMPDEST
0000069d: PUSH0
0000069e: SELFBALANCE
0000069f: GT
000006a0: ISZERO
000006a1: PUSH2 0x06f0
000006a4: JUMPI
000006a5: PUSH2 0x06ac
000006a8: PUSH2 0x0b19
000006ab: JUMP
000006ac: JUMPDEST
000006ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006c2: AND
000006c3: PUSH2 0x08fc
000006c6: SELFBALANCE
000006c7: SWAP1
000006c8: DUP2
000006c9: ISZERO
000006ca: MUL
000006cb: SWAP1
000006cc: PUSH1 0x40
000006ce: MLOAD
000006cf: PUSH0
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: DUP1
000006d4: DUP4
000006d5: SUB
000006d6: DUP2
000006d7: DUP6
000006d8: DUP9
000006d9: DUP9
000006da: CALL
000006db: SWAP4
000006dc: POP
000006dd: POP
000006de: POP
000006df: POP
000006e0: ISZERO
000006e1: DUP1
000006e2: ISZERO
000006e3: PUSH2 0x06ee
000006e6: JUMPI
000006e7: RETURNDATASIZE
000006e8: PUSH0
000006e9: PUSH0
000006ea: RETURNDATACOPY
000006eb: RETURNDATASIZE
000006ec: PUSH0
000006ed: REVERT
000006ee: JUMPDEST
000006ef: POP
000006f0: JUMPDEST
000006f1: PUSH0
000006f2: PUSH1 0x08
000006f4: PUSH0
000006f5: SWAP1
000006f6: SLOAD
000006f7: SWAP1
000006f8: PUSH2 0x0100
000006fb: EXP
000006fc: SWAP1
000006fd: DIV
000006fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000713: AND
00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000729: AND
0000072a: PUSH4 0x70a08231
0000072f: ADDRESS
00000730: PUSH1 0x40
00000732: MLOAD
00000733: DUP3
00000734: PUSH4 0xffffffff
00000739: AND
0000073a: PUSH1 0xe0
0000073c: SHL
0000073d: DUP2
0000073e: MSTORE
0000073f: PUSH1 0x04
00000741: ADD
00000742: PUSH2 0x074b
00000745: SWAP2
00000746: SWAP1
00000747: PUSH2 0x19e1
0000074a: JUMP
0000074b: JUMPDEST
0000074c: PUSH1 0x20
0000074e: PUSH1 0x40
00000750: MLOAD
00000751: DUP1
00000752: DUP4
00000753: SUB
00000754: DUP2
00000755: DUP7
00000756: GAS
00000757: STATICCALL
00000758: ISZERO
00000759: DUP1
0000075a: ISZERO
0000075b: PUSH2 0x0766
0000075e: JUMPI
0000075f: RETURNDATASIZE
00000760: PUSH0
00000761: PUSH0
00000762: RETURNDATACOPY
00000763: RETURNDATASIZE
00000764: PUSH0
00000765: REVERT
00000766: JUMPDEST
00000767: POP
00000768: POP
00000769: POP
0000076a: POP
0000076b: PUSH1 0x40
0000076d: MLOAD
0000076e: RETURNDATASIZE
0000076f: PUSH1 0x1f
00000771: NOT
00000772: PUSH1 0x1f
00000774: DUP3
00000775: ADD
00000776: AND
00000777: DUP3
00000778: ADD
00000779: DUP1
0000077a: PUSH1 0x40
0000077c: MSTORE
0000077d: POP
0000077e: DUP2
0000077f: ADD
00000780: SWAP1
00000781: PUSH2 0x078a
00000784: SWAP2
00000785: SWAP1
00000786: PUSH2 0x1b68
00000789: JUMP
0000078a: JUMPDEST
0000078b: GT
0000078c: ISZERO
0000078d: PUSH2 0x08b9
00000790: JUMPI
00000791: PUSH1 0x08
00000793: PUSH0
00000794: SWAP1
00000795: SLOAD
00000796: SWAP1
00000797: PUSH2 0x0100
0000079a: EXP
0000079b: SWAP1
0000079c: DIV
0000079d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b2: AND
000007b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c8: AND
000007c9: PUSH4 0xa9059cbb
000007ce: PUSH2 0x07d5
000007d1: PUSH2 0x0b19
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH1 0x08
000007d8: PUSH0
000007d9: SWAP1
000007da: SLOAD
000007db: SWAP1
000007dc: PUSH2 0x0100
000007df: EXP
000007e0: SWAP1
000007e1: DIV
000007e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007f7: AND
000007f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000080d: AND
0000080e: PUSH4 0x70a08231
00000813: ADDRESS
00000814: PUSH1 0x40
00000816: MLOAD
00000817: DUP3
00000818: PUSH4 0xffffffff
0000081d: AND
0000081e: PUSH1 0xe0
00000820: SHL
00000821: DUP2
00000822: MSTORE
00000823: PUSH1 0x04
00000825: ADD
00000826: PUSH2 0x082f
00000829: SWAP2
0000082a: SWAP1
0000082b: PUSH2 0x19e1
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x20
00000832: PUSH1 0x40
00000834: MLOAD
00000835: DUP1
00000836: DUP4
00000837: SUB
00000838: DUP2
00000839: DUP7
0000083a: GAS
0000083b: STATICCALL
0000083c: ISZERO
0000083d: DUP1
0000083e: ISZERO
0000083f: PUSH2 0x084a
00000842: JUMPI
00000843: RETURNDATASIZE
00000844: PUSH0
00000845: PUSH0
00000846: RETURNDATACOPY
00000847: RETURNDATASIZE
00000848: PUSH0
00000849: REVERT
0000084a: JUMPDEST
0000084b: POP
0000084c: POP
0000084d: POP
0000084e: POP
0000084f: PUSH1 0x40
00000851: MLOAD
00000852: RETURNDATASIZE
00000853: PUSH1 0x1f
00000855: NOT
00000856: PUSH1 0x1f
00000858: DUP3
00000859: ADD
0000085a: AND
0000085b: DUP3
0000085c: ADD
0000085d: DUP1
0000085e: PUSH1 0x40
00000860: MSTORE
00000861: POP
00000862: DUP2
00000863: ADD
00000864: SWAP1
00000865: PUSH2 0x086e
00000868: SWAP2
00000869: SWAP1
0000086a: PUSH2 0x1b68
0000086d: JUMP
0000086e: JUMPDEST
0000086f: PUSH1 0x40
00000871: MLOAD
00000872: DUP4
00000873: PUSH4 0xffffffff
00000878: AND
00000879: PUSH1 0xe0
0000087b: SHL
0000087c: DUP2
0000087d: MSTORE
0000087e: PUSH1 0x04
00000880: ADD
00000881: PUSH2 0x088b
00000884: SWAP3
00000885: SWAP2
00000886: SWAP1
00000887: PUSH2 0x1b93
0000088a: JUMP
0000088b: JUMPDEST
0000088c: PUSH0
0000088d: PUSH1 0x40
0000088f: MLOAD
00000890: DUP1
00000891: DUP4
00000892: SUB
00000893: DUP2
00000894: PUSH0
00000895: DUP8
00000896: DUP1
00000897: EXTCODESIZE
00000898: ISZERO
00000899: DUP1
0000089a: ISZERO
0000089b: PUSH2 0x08a2
0000089e: JUMPI
0000089f: PUSH0
000008a0: PUSH0
000008a1: REVERT
000008a2: JUMPDEST
000008a3: POP
000008a4: GAS
000008a5: CALL
000008a6: ISZERO
000008a7: DUP1
000008a8: ISZERO
000008a9: PUSH2 0x08b4
000008ac: JUMPI
000008ad: RETURNDATASIZE
000008ae: PUSH0
000008af: PUSH0
000008b0: RETURNDATACOPY
000008b1: RETURNDATASIZE
000008b2: PUSH0
000008b3: REVERT
000008b4: JUMPDEST
000008b5: POP
000008b6: POP
000008b7: POP
000008b8: POP
000008b9: JUMPDEST
000008ba: PUSH0
000008bb: PUSH1 0x09
000008bd: PUSH0
000008be: SWAP1
000008bf: SLOAD
000008c0: SWAP1
000008c1: PUSH2 0x0100
000008c4: EXP
000008c5: SWAP1
000008c6: DIV
000008c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008dc: AND
000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f2: AND
000008f3: PUSH4 0x70a08231
000008f8: ADDRESS
000008f9: PUSH1 0x40
000008fb: MLOAD
000008fc: DUP3
000008fd: PUSH4 0xffffffff
00000902: AND
00000903: PUSH1 0xe0
00000905: SHL
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x04
0000090a: ADD
0000090b: PUSH2 0x0914
0000090e: SWAP2
0000090f: SWAP1
00000910: PUSH2 0x19e1
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH1 0x20
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: DUP1
0000091b: DUP4
0000091c: SUB
0000091d: DUP2
0000091e: DUP7
0000091f: GAS
00000920: STATICCALL
00000921: ISZERO
00000922: DUP1
00000923: ISZERO
00000924: PUSH2 0x092f
00000927: JUMPI
00000928: RETURNDATASIZE
00000929: PUSH0
0000092a: PUSH0
0000092b: RETURNDATACOPY
0000092c: RETURNDATASIZE
0000092d: PUSH0
0000092e: REVERT
0000092f: JUMPDEST
00000930: POP
00000931: POP
00000932: POP
00000933: POP
00000934: PUSH1 0x40
00000936: MLOAD
00000937: RETURNDATASIZE
00000938: PUSH1 0x1f
0000093a: NOT
0000093b: PUSH1 0x1f
0000093d: DUP3
0000093e: ADD
0000093f: AND
00000940: DUP3
00000941: ADD
00000942: DUP1
00000943: PUSH1 0x40
00000945: MSTORE
00000946: POP
00000947: DUP2
00000948: ADD
00000949: SWAP1
0000094a: PUSH2 0x0953
0000094d: SWAP2
0000094e: SWAP1
0000094f: PUSH2 0x1b68
00000952: JUMP
00000953: JUMPDEST
00000954: GT
00000955: ISZERO
00000956: PUSH2 0x0a82
00000959: JUMPI
0000095a: PUSH1 0x09
0000095c: PUSH0
0000095d: SWAP1
0000095e: SLOAD
0000095f: SWAP1
00000960: PUSH2 0x0100
00000963: EXP
00000964: SWAP1
00000965: DIV
00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000097b: AND
0000097c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000991: AND
00000992: PUSH4 0xa9059cbb
00000997: PUSH2 0x099e
0000099a: PUSH2 0x0b19
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x09
000009a1: PUSH0
000009a2: SWAP1
000009a3: SLOAD
000009a4: SWAP1
000009a5: PUSH2 0x0100
000009a8: EXP
000009a9: SWAP1
000009aa: DIV
000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c0: AND
000009c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d6: AND
000009d7: PUSH4 0x70a08231
000009dc: ADDRESS
000009dd: PUSH1 0x40
000009df: MLOAD
000009e0: DUP3
000009e1: PUSH4 0xffffffff
000009e6: AND
000009e7: PUSH1 0xe0
000009e9: SHL
000009ea: DUP2
000009eb: MSTORE
000009ec: PUSH1 0x04
000009ee: ADD
000009ef: PUSH2 0x09f8
000009f2: SWAP2
000009f3: SWAP1
000009f4: PUSH2 0x19e1
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH1 0x20
000009fb: PUSH1 0x40
000009fd: MLOAD
000009fe: DUP1
000009ff: DUP4
00000a00: SUB
00000a01: DUP2
00000a02: DUP7
00000a03: GAS
00000a04: STATICCALL
00000a05: ISZERO
00000a06: DUP1
00000a07: ISZERO
00000a08: PUSH2 0x0a13
00000a0b: JUMPI
00000a0c: RETURNDATASIZE
00000a0d: PUSH0
00000a0e: PUSH0
00000a0f: RETURNDATACOPY
00000a10: RETURNDATASIZE
00000a11: PUSH0
00000a12: REVERT
00000a13: JUMPDEST
00000a14: POP
00000a15: POP
00000a16: POP
00000a17: POP
00000a18: PUSH1 0x40
00000a1a: MLOAD
00000a1b: RETURNDATASIZE
00000a1c: PUSH1 0x1f
00000a1e: NOT
00000a1f: PUSH1 0x1f
00000a21: DUP3
00000a22: ADD
00000a23: AND
00000a24: DUP3
00000a25: ADD
00000a26: DUP1
00000a27: PUSH1 0x40
00000a29: MSTORE
00000a2a: POP
00000a2b: DUP2
00000a2c: ADD
00000a2d: SWAP1
00000a2e: PUSH2 0x0a37
00000a31: SWAP2
00000a32: SWAP1
00000a33: PUSH2 0x1b68
00000a36: JUMP
00000a37: JUMPDEST
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: DUP4
00000a3c: PUSH4 0xffffffff
00000a41: AND
00000a42: PUSH1 0xe0
00000a44: SHL
00000a45: DUP2
00000a46: MSTORE
00000a47: PUSH1 0x04
00000a49: ADD
00000a4a: PUSH2 0x0a54
00000a4d: SWAP3
00000a4e: SWAP2
00000a4f: SWAP1
00000a50: PUSH2 0x1b93
00000a53: JUMP
00000a54: JUMPDEST
00000a55: PUSH0
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: DUP1
00000a5a: DUP4
00000a5b: SUB
00000a5c: DUP2
00000a5d: PUSH0
00000a5e: DUP8
00000a5f: DUP1
00000a60: EXTCODESIZE
00000a61: ISZERO
00000a62: DUP1
00000a63: ISZERO
00000a64: PUSH2 0x0a6b
00000a67: JUMPI
00000a68: PUSH0
00000a69: PUSH0
00000a6a: REVERT
00000a6b: JUMPDEST
00000a6c: POP
00000a6d: GAS
00000a6e: CALL
00000a6f: ISZERO
00000a70: DUP1
00000a71: ISZERO
00000a72: PUSH2 0x0a7d
00000a75: JUMPI
00000a76: RETURNDATASIZE
00000a77: PUSH0
00000a78: PUSH0
00000a79: RETURNDATACOPY
00000a7a: RETURNDATASIZE
00000a7b: PUSH0
00000a7c: REVERT
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: POP
00000a80: POP
00000a81: POP
00000a82: JUMPDEST
00000a83: JUMP
00000a84: JUMPDEST
00000a85: PUSH1 0x09
00000a87: PUSH0
00000a88: SWAP1
00000a89: SLOAD
00000a8a: SWAP1
00000a8b: PUSH2 0x0100
00000a8e: EXP
00000a8f: SWAP1
00000a90: DIV
00000a91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aa6: AND
00000aa7: DUP2
00000aa8: JUMP
00000aa9: JUMPDEST
00000aaa: PUSH2 0x0ab1
00000aad: PUSH2 0x1191
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: DUP1
00000ab3: PUSH1 0x06
00000ab5: DUP2
00000ab6: SWAP1
00000ab7: SSTORE
00000ab8: POP
00000ab9: POP
00000aba: JUMP
00000abb: JUMPDEST
00000abc: PUSH0
00000abd: PUSH0
00000abe: PUSH0
00000abf: DUP4
00000ac0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad5: AND
00000ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aeb: AND
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x20
00000af0: ADD
00000af1: SWAP1
00000af2: DUP2
00000af3: MSTORE
00000af4: PUSH1 0x20
00000af6: ADD
00000af7: PUSH0
00000af8: KECCAK256
00000af9: SLOAD
00000afa: SWAP1
00000afb: POP
00000afc: SWAP2
00000afd: SWAP1
00000afe: POP
00000aff: JUMP
00000b00: JUMPDEST
00000b01: PUSH2 0x0b08
00000b04: PUSH2 0x1191
00000b07: JUMP
00000b08: JUMPDEST
00000b09: PUSH2 0x0b11
00000b0c: PUSH0
00000b0d: PUSH2 0x16d0
00000b10: JUMP
00000b11: JUMPDEST
00000b12: JUMP
00000b13: JUMPDEST
00000b14: PUSH1 0x06
00000b16: SLOAD
00000b17: DUP2
00000b18: JUMP
00000b19: JUMPDEST
00000b1a: PUSH0
00000b1b: PUSH1 0x05
00000b1d: PUSH0
00000b1e: SWAP1
00000b1f: SLOAD
00000b20: SWAP1
00000b21: PUSH2 0x0100
00000b24: EXP
00000b25: SWAP1
00000b26: DIV
00000b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3c: AND
00000b3d: SWAP1
00000b3e: POP
00000b3f: SWAP1
00000b40: JUMP
00000b41: JUMPDEST
00000b42: PUSH1 0x60
00000b44: PUSH1 0x04
00000b46: DUP1
00000b47: SLOAD
00000b48: PUSH2 0x0b50
00000b4b: SWAP1
00000b4c: PUSH2 0x1ac4
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: DUP1
00000b52: PUSH1 0x1f
00000b54: ADD
00000b55: PUSH1 0x20
00000b57: DUP1
00000b58: SWAP2
00000b59: DIV
00000b5a: MUL
00000b5b: PUSH1 0x20
00000b5d: ADD
00000b5e: PUSH1 0x40
00000b60: MLOAD
00000b61: SWAP1
00000b62: DUP2
00000b63: ADD
00000b64: PUSH1 0x40
00000b66: MSTORE
00000b67: DUP1
00000b68: SWAP3
00000b69: SWAP2
00000b6a: SWAP1
00000b6b: DUP2
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: DUP3
00000b72: DUP1
00000b73: SLOAD
00000b74: PUSH2 0x0b7c
00000b77: SWAP1
00000b78: PUSH2 0x1ac4
00000b7b: JUMP
00000b7c: JUMPDEST
00000b7d: DUP1
00000b7e: ISZERO
00000b7f: PUSH2 0x0bc7
00000b82: JUMPI
00000b83: DUP1
00000b84: PUSH1 0x1f
00000b86: LT
00000b87: PUSH2 0x0b9e
00000b8a: JUMPI
00000b8b: PUSH2 0x0100
00000b8e: DUP1
00000b8f: DUP4
00000b90: SLOAD
00000b91: DIV
00000b92: MUL
00000b93: DUP4
00000b94: MSTORE
00000b95: SWAP2
00000b96: PUSH1 0x20
00000b98: ADD
00000b99: SWAP2
00000b9a: PUSH2 0x0bc7
00000b9d: JUMP
00000b9e: JUMPDEST
00000b9f: DUP3
00000ba0: ADD
00000ba1: SWAP2
00000ba2: SWAP1
00000ba3: PUSH0
00000ba4: MSTORE
00000ba5: PUSH1 0x20
00000ba7: PUSH0
00000ba8: KECCAK256
00000ba9: SWAP1
00000baa: JUMPDEST
00000bab: DUP2
00000bac: SLOAD
00000bad: DUP2
00000bae: MSTORE
00000baf: SWAP1
00000bb0: PUSH1 0x01
00000bb2: ADD
00000bb3: SWAP1
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: DUP1
00000bb8: DUP4
00000bb9: GT
00000bba: PUSH2 0x0baa
00000bbd: JUMPI
00000bbe: DUP3
00000bbf: SWAP1
00000bc0: SUB
00000bc1: PUSH1 0x1f
00000bc3: AND
00000bc4: DUP3
00000bc5: ADD
00000bc6: SWAP2
00000bc7: JUMPDEST
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: POP
00000bcc: POP
00000bcd: SWAP1
00000bce: POP
00000bcf: SWAP1
00000bd0: JUMP
00000bd1: JUMPDEST
00000bd2: PUSH0
00000bd3: CALLVALUE
00000bd4: GT
00000bd5: PUSH2 0x0c13
00000bd8: JUMPI
00000bd9: PUSH1 0x40
00000bdb: MLOAD
00000bdc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bfd: DUP2
00000bfe: MSTORE
00000bff: PUSH1 0x04
00000c01: ADD
00000c02: PUSH2 0x0c0a
00000c05: SWAP1
00000c06: PUSH2 0x1c04
00000c09: JUMP
00000c0a: JUMPDEST
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: DUP1
00000c0f: SWAP2
00000c10: SUB
00000c11: SWAP1
00000c12: REVERT
00000c13: JUMPDEST
00000c14: PUSH0
00000c15: PUSH1 0x07
00000c17: SLOAD
00000c18: PUSH8 0x0de0b6b3a7640000
00000c21: CALLVALUE
00000c22: PUSH2 0x0c2b
00000c25: SWAP2
00000c26: SWAP1
00000c27: PUSH2 0x1c22
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH2 0x0c35
00000c2f: SWAP2
00000c30: SWAP1
00000c31: PUSH2 0x1c90
00000c34: JUMP
00000c35: JUMPDEST
00000c36: SWAP1
00000c37: POP
00000c38: PUSH0
00000c39: PUSH2 0x0c41
00000c3c: ADDRESS
00000c3d: PUSH2 0x0abb
00000c40: JUMP
00000c41: JUMPDEST
00000c42: SWAP1
00000c43: POP
00000c44: DUP1
00000c45: DUP3
00000c46: GT
00000c47: ISZERO
00000c48: PUSH2 0x0c86
00000c4b: JUMPI
00000c4c: PUSH1 0x40
00000c4e: MLOAD
00000c4f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x04
00000c74: ADD
00000c75: PUSH2 0x0c7d
00000c78: SWAP1
00000c79: PUSH2 0x1d0a
00000c7c: JUMP
00000c7d: JUMPDEST
00000c7e: PUSH1 0x40
00000c80: MLOAD
00000c81: DUP1
00000c82: SWAP2
00000c83: SUB
00000c84: SWAP1
00000c85: REVERT
00000c86: JUMPDEST
00000c87: PUSH2 0x0c91
00000c8a: ADDRESS
00000c8b: CALLER
00000c8c: DUP5
00000c8d: PUSH2 0x1464
00000c90: JUMP
00000c91: JUMPDEST
00000c92: POP
00000c93: POP
00000c94: JUMP
00000c95: JUMPDEST
00000c96: PUSH0
00000c97: PUSH0
00000c98: PUSH2 0x0c9f
00000c9b: PUSH2 0x120f
00000c9e: JUMP
00000c9f: JUMPDEST
00000ca0: SWAP1
00000ca1: POP
00000ca2: PUSH0
00000ca3: PUSH2 0x0cac
00000ca6: DUP3
00000ca7: DUP7
00000ca8: PUSH2 0x1087
00000cab: JUMP
00000cac: JUMPDEST
00000cad: SWAP1
00000cae: POP
00000caf: DUP4
00000cb0: DUP2
00000cb1: LT
00000cb2: ISZERO
00000cb3: PUSH2 0x0cf1
00000cb6: JUMPI
00000cb7: PUSH1 0x40
00000cb9: MLOAD
00000cba: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cdb: DUP2
00000cdc: MSTORE
00000cdd: PUSH1 0x04
00000cdf: ADD
00000ce0: PUSH2 0x0ce8
00000ce3: SWAP1
00000ce4: PUSH2 0x1d98
00000ce7: JUMP
00000ce8: JUMPDEST
00000ce9: PUSH1 0x40
00000ceb: MLOAD
00000cec: DUP1
00000ced: SWAP2
00000cee: SUB
00000cef: SWAP1
00000cf0: REVERT
00000cf1: JUMPDEST
00000cf2: PUSH2 0x0cfe
00000cf5: DUP3
00000cf6: DUP7
00000cf7: DUP7
00000cf8: DUP5
00000cf9: SUB
00000cfa: PUSH2 0x1216
00000cfd: JUMP
00000cfe: JUMPDEST
00000cff: PUSH1 0x01
00000d01: SWAP3
00000d02: POP
00000d03: POP
00000d04: POP
00000d05: SWAP3
00000d06: SWAP2
00000d07: POP
00000d08: POP
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH0
00000d0c: PUSH0
00000d0d: PUSH2 0x0d14
00000d10: PUSH2 0x120f
00000d13: JUMP
00000d14: JUMPDEST
00000d15: SWAP1
00000d16: POP
00000d17: PUSH2 0x0d21
00000d1a: DUP2
00000d1b: DUP6
00000d1c: DUP6
00000d1d: PUSH2 0x1464
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x01
00000d24: SWAP2
00000d25: POP
00000d26: POP
00000d27: SWAP3
00000d28: SWAP2
00000d29: POP
00000d2a: POP
00000d2b: JUMP
00000d2c: JUMPDEST
00000d2d: PUSH0
00000d2e: DUP2
00000d2f: GT
00000d30: PUSH2 0x0d6e
00000d33: JUMPI
00000d34: PUSH1 0x40
00000d36: MLOAD
00000d37: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d58: DUP2
00000d59: MSTORE
00000d5a: PUSH1 0x04
00000d5c: ADD
00000d5d: PUSH2 0x0d65
00000d60: SWAP1
00000d61: PUSH2 0x1e00
00000d64: JUMP
00000d65: JUMPDEST
00000d66: PUSH1 0x40
00000d68: MLOAD
00000d69: DUP1
00000d6a: SWAP2
00000d6b: SUB
00000d6c: SWAP1
00000d6d: REVERT
00000d6e: JUMPDEST
00000d6f: PUSH1 0x09
00000d71: PUSH0
00000d72: SWAP1
00000d73: SLOAD
00000d74: SWAP1
00000d75: PUSH2 0x0100
00000d78: EXP
00000d79: SWAP1
00000d7a: DIV
00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d90: AND
00000d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da6: AND
00000da7: DUP3
00000da8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbd: AND
00000dbe: EQ
00000dbf: DUP1
00000dc0: PUSH2 0x0e15
00000dc3: JUMPI
00000dc4: POP
00000dc5: PUSH1 0x08
00000dc7: PUSH0
00000dc8: SWAP1
00000dc9: SLOAD
00000dca: SWAP1
00000dcb: PUSH2 0x0100
00000dce: EXP
00000dcf: SWAP1
00000dd0: DIV
00000dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de6: AND
00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dfc: AND
00000dfd: DUP3
00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e13: AND
00000e14: EQ
00000e15: JUMPDEST
00000e16: PUSH2 0x0e54
00000e19: JUMPI
00000e1a: PUSH1 0x40
00000e1c: MLOAD
00000e1d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e3e: DUP2
00000e3f: MSTORE
00000e40: PUSH1 0x04
00000e42: ADD
00000e43: PUSH2 0x0e4b
00000e46: SWAP1
00000e47: PUSH2 0x1e68
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH1 0x40
00000e4e: MLOAD
00000e4f: DUP1
00000e50: SWAP2
00000e51: SUB
00000e52: SWAP1
00000e53: REVERT
00000e54: JUMPDEST
00000e55: PUSH0
00000e56: DUP3
00000e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6c: AND
00000e6d: PUSH4 0x70a08231
00000e72: ADDRESS
00000e73: PUSH1 0x40
00000e75: MLOAD
00000e76: DUP3
00000e77: PUSH4 0xffffffff
00000e7c: AND
00000e7d: PUSH1 0xe0
00000e7f: SHL
00000e80: DUP2
00000e81: MSTORE
00000e82: PUSH1 0x04
00000e84: ADD
00000e85: PUSH2 0x0e8e
00000e88: SWAP2
00000e89: SWAP1
00000e8a: PUSH2 0x19e1
00000e8d: JUMP
00000e8e: JUMPDEST
00000e8f: PUSH1 0x20
00000e91: PUSH1 0x40
00000e93: MLOAD
00000e94: DUP1
00000e95: DUP4
00000e96: SUB
00000e97: DUP2
00000e98: DUP7
00000e99: GAS
00000e9a: STATICCALL
00000e9b: ISZERO
00000e9c: DUP1
00000e9d: ISZERO
00000e9e: PUSH2 0x0ea9
00000ea1: JUMPI
00000ea2: RETURNDATASIZE
00000ea3: PUSH0
00000ea4: PUSH0
00000ea5: RETURNDATACOPY
00000ea6: RETURNDATASIZE
00000ea7: PUSH0
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: POP
00000eab: POP
00000eac: POP
00000ead: POP
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: RETURNDATASIZE
00000eb2: PUSH1 0x1f
00000eb4: NOT
00000eb5: PUSH1 0x1f
00000eb7: DUP3
00000eb8: ADD
00000eb9: AND
00000eba: DUP3
00000ebb: ADD
00000ebc: DUP1
00000ebd: PUSH1 0x40
00000ebf: MSTORE
00000ec0: POP
00000ec1: DUP2
00000ec2: ADD
00000ec3: SWAP1
00000ec4: PUSH2 0x0ecd
00000ec7: SWAP2
00000ec8: SWAP1
00000ec9: PUSH2 0x1b68
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: SWAP1
00000ecf: POP
00000ed0: DUP3
00000ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee6: AND
00000ee7: PUSH4 0x23b872dd
00000eec: CALLER
00000eed: ADDRESS
00000eee: DUP6
00000eef: PUSH1 0x40
00000ef1: MLOAD
00000ef2: DUP5
00000ef3: PUSH4 0xffffffff
00000ef8: AND
00000ef9: PUSH1 0xe0
00000efb: SHL
00000efc: DUP2
00000efd: MSTORE
00000efe: PUSH1 0x04
00000f00: ADD
00000f01: PUSH2 0x0f0c
00000f04: SWAP4
00000f05: SWAP3
00000f06: SWAP2
00000f07: SWAP1
00000f08: PUSH2 0x1e86
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH0
00000f0e: PUSH1 0x40
00000f10: MLOAD
00000f11: DUP1
00000f12: DUP4
00000f13: SUB
00000f14: DUP2
00000f15: PUSH0
00000f16: DUP8
00000f17: DUP1
00000f18: EXTCODESIZE
00000f19: ISZERO
00000f1a: DUP1
00000f1b: ISZERO
00000f1c: PUSH2 0x0f23
00000f1f: JUMPI
00000f20: PUSH0
00000f21: PUSH0
00000f22: REVERT
00000f23: JUMPDEST
00000f24: POP
00000f25: GAS
00000f26: CALL
00000f27: ISZERO
00000f28: DUP1
00000f29: ISZERO
00000f2a: PUSH2 0x0f35
00000f2d: JUMPI
00000f2e: RETURNDATASIZE
00000f2f: PUSH0
00000f30: PUSH0
00000f31: RETURNDATACOPY
00000f32: RETURNDATASIZE
00000f33: PUSH0
00000f34: REVERT
00000f35: JUMPDEST
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: POP
00000f3a: PUSH0
00000f3b: DUP4
00000f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f51: AND
00000f52: PUSH4 0x70a08231
00000f57: ADDRESS
00000f58: PUSH1 0x40
00000f5a: MLOAD
00000f5b: DUP3
00000f5c: PUSH4 0xffffffff
00000f61: AND
00000f62: PUSH1 0xe0
00000f64: SHL
00000f65: DUP2
00000f66: MSTORE
00000f67: PUSH1 0x04
00000f69: ADD
00000f6a: PUSH2 0x0f73
00000f6d: SWAP2
00000f6e: SWAP1
00000f6f: PUSH2 0x19e1
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x20
00000f76: PUSH1 0x40
00000f78: MLOAD
00000f79: DUP1
00000f7a: DUP4
00000f7b: SUB
00000f7c: DUP2
00000f7d: DUP7
00000f7e: GAS
00000f7f: STATICCALL
00000f80: ISZERO
00000f81: DUP1
00000f82: ISZERO
00000f83: PUSH2 0x0f8e
00000f86: JUMPI
00000f87: RETURNDATASIZE
00000f88: PUSH0
00000f89: PUSH0
00000f8a: RETURNDATACOPY
00000f8b: RETURNDATASIZE
00000f8c: PUSH0
00000f8d: REVERT
00000f8e: JUMPDEST
00000f8f: POP
00000f90: POP
00000f91: POP
00000f92: POP
00000f93: PUSH1 0x40
00000f95: MLOAD
00000f96: RETURNDATASIZE
00000f97: PUSH1 0x1f
00000f99: NOT
00000f9a: PUSH1 0x1f
00000f9c: DUP3
00000f9d: ADD
00000f9e: AND
00000f9f: DUP3
00000fa0: ADD
00000fa1: DUP1
00000fa2: PUSH1 0x40
00000fa4: MSTORE
00000fa5: POP
00000fa6: DUP2
00000fa7: ADD
00000fa8: SWAP1
00000fa9: PUSH2 0x0fb2
00000fac: SWAP2
00000fad: SWAP1
00000fae: PUSH2 0x1b68
00000fb1: JUMP
00000fb2: JUMPDEST
00000fb3: SWAP1
00000fb4: POP
00000fb5: DUP3
00000fb6: DUP3
00000fb7: DUP3
00000fb8: PUSH2 0x0fc1
00000fbb: SWAP2
00000fbc: SWAP1
00000fbd: PUSH2 0x1ebb
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: EQ
00000fc3: PUSH2 0x1001
00000fc6: JUMPI
00000fc7: PUSH1 0x40
00000fc9: MLOAD
00000fca: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000feb: DUP2
00000fec: MSTORE
00000fed: PUSH1 0x04
00000fef: ADD
00000ff0: PUSH2 0x0ff8
00000ff3: SWAP1
00000ff4: PUSH2 0x1f38
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH1 0x40
00000ffb: MLOAD
00000ffc: DUP1
00000ffd: SWAP2
00000ffe: SUB
00000fff: SWAP1
00001000: REVERT
00001001: JUMPDEST
00001002: PUSH0
00001003: PUSH1 0x06
00001005: SLOAD
00001006: PUSH8 0x0de0b6b3a7640000
0000100f: DUP6
00001010: PUSH2 0x1019
00001013: SWAP2
00001014: SWAP1
00001015: PUSH2 0x1c22
00001018: JUMP
00001019: JUMPDEST
0000101a: PUSH2 0x1023
0000101d: SWAP2
0000101e: SWAP1
0000101f: PUSH2 0x1c90
00001022: JUMP
00001023: JUMPDEST
00001024: SWAP1
00001025: POP
00001026: PUSH0
00001027: PUSH2 0x102f
0000102a: ADDRESS
0000102b: PUSH2 0x0abb
0000102e: JUMP
0000102f: JUMPDEST
00001030: SWAP1
00001031: POP
00001032: DUP1
00001033: DUP3
00001034: GT
00001035: ISZERO
00001036: PUSH2 0x1074
00001039: JUMPI
0000103a: PUSH1 0x40
0000103c: MLOAD
0000103d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000105e: DUP2
0000105f: MSTORE
00001060: PUSH1 0x04
00001062: ADD
00001063: PUSH2 0x106b
00001066: SWAP1
00001067: PUSH2 0x1d0a
0000106a: JUMP
0000106b: JUMPDEST
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: DUP1
00001070: SWAP2
00001071: SUB
00001072: SWAP1
00001073: REVERT
00001074: JUMPDEST
00001075: PUSH2 0x107f
00001078: ADDRESS
00001079: CALLER
0000107a: DUP5
0000107b: PUSH2 0x1464
0000107e: JUMP
0000107f: JUMPDEST
00001080: POP
00001081: POP
00001082: POP
00001083: POP
00001084: POP
00001085: POP
00001086: JUMP
00001087: JUMPDEST
00001088: PUSH0
00001089: PUSH1 0x01
0000108b: PUSH0
0000108c: DUP5
0000108d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a2: AND
000010a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b8: AND
000010b9: DUP2
000010ba: MSTORE
000010bb: PUSH1 0x20
000010bd: ADD
000010be: SWAP1
000010bf: DUP2
000010c0: MSTORE
000010c1: PUSH1 0x20
000010c3: ADD
000010c4: PUSH0
000010c5: KECCAK256
000010c6: PUSH0
000010c7: DUP4
000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010dd: AND
000010de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f3: AND
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x20
000010f8: ADD
000010f9: SWAP1
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: PUSH0
00001100: KECCAK256
00001101: SLOAD
00001102: SWAP1
00001103: POP
00001104: SWAP3
00001105: SWAP2
00001106: POP
00001107: POP
00001108: JUMP
00001109: JUMPDEST
0000110a: PUSH2 0x1111
0000110d: PUSH2 0x1191
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH0
00001113: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001128: AND
00001129: DUP2
0000112a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113f: AND
00001140: SUB
00001141: PUSH2 0x117f
00001144: JUMPI
00001145: PUSH1 0x40
00001147: MLOAD
00001148: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x04
0000116d: ADD
0000116e: PUSH2 0x1176
00001171: SWAP1
00001172: PUSH2 0x1fc6
00001175: JUMP
00001176: JUMPDEST
00001177: PUSH1 0x40
00001179: MLOAD
0000117a: DUP1
0000117b: SWAP2
0000117c: SUB
0000117d: SWAP1
0000117e: REVERT
0000117f: JUMPDEST
00001180: PUSH2 0x1188
00001183: DUP2
00001184: PUSH2 0x16d0
00001187: JUMP
00001188: JUMPDEST
00001189: POP
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH1 0x07
0000118e: SLOAD
0000118f: DUP2
00001190: JUMP
00001191: JUMPDEST
00001192: PUSH2 0x1199
00001195: PUSH2 0x120f
00001198: JUMP
00001199: JUMPDEST
0000119a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011af: AND
000011b0: PUSH2 0x11b7
000011b3: PUSH2 0x0b19
000011b6: JUMP
000011b7: JUMPDEST
000011b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011cd: AND
000011ce: EQ
000011cf: PUSH2 0x120d
000011d2: JUMPI
000011d3: PUSH1 0x40
000011d5: MLOAD
000011d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011f7: DUP2
000011f8: MSTORE
000011f9: PUSH1 0x04
000011fb: ADD
000011fc: PUSH2 0x1204
000011ff: SWAP1
00001200: PUSH2 0x202e
00001203: JUMP
00001204: JUMPDEST
00001205: PUSH1 0x40
00001207: MLOAD
00001208: DUP1
00001209: SWAP2
0000120a: SUB
0000120b: SWAP1
0000120c: REVERT
0000120d: JUMPDEST
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH0
00001211: CALLER
00001212: SWAP1
00001213: POP
00001214: SWAP1
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH0
00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122d: AND
0000122e: DUP4
0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001244: AND
00001245: SUB
00001246: PUSH2 0x1284
00001249: JUMPI
0000124a: PUSH1 0x40
0000124c: MLOAD
0000124d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000126e: DUP2
0000126f: MSTORE
00001270: PUSH1 0x04
00001272: ADD
00001273: PUSH2 0x127b
00001276: SWAP1
00001277: PUSH2 0x20bc
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x40
0000127e: MLOAD
0000127f: DUP1
00001280: SWAP2
00001281: SUB
00001282: SWAP1
00001283: REVERT
00001284: JUMPDEST
00001285: PUSH0
00001286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000129b: AND
0000129c: DUP3
0000129d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012b2: AND
000012b3: SUB
000012b4: PUSH2 0x12f2
000012b7: JUMPI
000012b8: PUSH1 0x40
000012ba: MLOAD
000012bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012dc: DUP2
000012dd: MSTORE
000012de: PUSH1 0x04
000012e0: ADD
000012e1: PUSH2 0x12e9
000012e4: SWAP1
000012e5: PUSH2 0x214a
000012e8: JUMP
000012e9: JUMPDEST
000012ea: PUSH1 0x40
000012ec: MLOAD
000012ed: DUP1
000012ee: SWAP2
000012ef: SUB
000012f0: SWAP1
000012f1: REVERT
000012f2: JUMPDEST
000012f3: DUP1
000012f4: PUSH1 0x01
000012f6: PUSH0
000012f7: DUP6
000012f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000130d: AND
0000130e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001323: AND
00001324: DUP2
00001325: MSTORE
00001326: PUSH1 0x20
00001328: ADD
00001329: SWAP1
0000132a: DUP2
0000132b: MSTORE
0000132c: PUSH1 0x20
0000132e: ADD
0000132f: PUSH0
00001330: KECCAK256
00001331: PUSH0
00001332: DUP5
00001333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001348: AND
00001349: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000135e: AND
0000135f: DUP2
00001360: MSTORE
00001361: PUSH1 0x20
00001363: ADD
00001364: SWAP1
00001365: DUP2
00001366: MSTORE
00001367: PUSH1 0x20
00001369: ADD
0000136a: PUSH0
0000136b: KECCAK256
0000136c: DUP2
0000136d: SWAP1
0000136e: SSTORE
0000136f: POP
00001370: DUP2
00001371: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001386: AND
00001387: DUP4
00001388: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139d: AND
0000139e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000013bf: DUP4
000013c0: PUSH1 0x40
000013c2: MLOAD
000013c3: PUSH2 0x13cc
000013c6: SWAP2
000013c7: SWAP1
000013c8: PUSH2 0x1969
000013cb: JUMP
000013cc: JUMPDEST
000013cd: PUSH1 0x40
000013cf: MLOAD
000013d0: DUP1
000013d1: SWAP2
000013d2: SUB
000013d3: SWAP1
000013d4: LOG3
000013d5: POP
000013d6: POP
000013d7: POP
000013d8: JUMP
000013d9: JUMPDEST
000013da: PUSH0
000013db: PUSH2 0x13e4
000013de: DUP5
000013df: DUP5
000013e0: PUSH2 0x1087
000013e3: JUMP
000013e4: JUMPDEST
000013e5: SWAP1
000013e6: POP
000013e7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001408: DUP2
00001409: EQ
0000140a: PUSH2 0x145e
0000140d: JUMPI
0000140e: DUP2
0000140f: DUP2
00001410: LT
00001411: ISZERO
00001412: PUSH2 0x1450
00001415: JUMPI
00001416: PUSH1 0x40
00001418: MLOAD
00001419: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000143a: DUP2
0000143b: MSTORE
0000143c: PUSH1 0x04
0000143e: ADD
0000143f: PUSH2 0x1447
00001442: SWAP1
00001443: PUSH2 0x21b2
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH1 0x40
0000144a: MLOAD
0000144b: DUP1
0000144c: SWAP2
0000144d: SUB
0000144e: SWAP1
0000144f: REVERT
00001450: JUMPDEST
00001451: PUSH2 0x145d
00001454: DUP5
00001455: DUP5
00001456: DUP5
00001457: DUP5
00001458: SUB
00001459: PUSH2 0x1216
0000145c: JUMP
0000145d: JUMPDEST
0000145e: JUMPDEST
0000145f: POP
00001460: POP
00001461: POP
00001462: POP
00001463: JUMP
00001464: JUMPDEST
00001465: PUSH0
00001466: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000147b: AND
0000147c: DUP4
0000147d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001492: AND
00001493: SUB
00001494: PUSH2 0x14d2
00001497: JUMPI
00001498: PUSH1 0x40
0000149a: MLOAD
0000149b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000014bc: DUP2
000014bd: MSTORE
000014be: PUSH1 0x04
000014c0: ADD
000014c1: PUSH2 0x14c9
000014c4: SWAP1
000014c5: PUSH2 0x2240
000014c8: JUMP
000014c9: JUMPDEST
000014ca: PUSH1 0x40
000014cc: MLOAD
000014cd: DUP1
000014ce: SWAP2
000014cf: SUB
000014d0: SWAP1
000014d1: REVERT
000014d2: JUMPDEST
000014d3: PUSH0
000014d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014e9: AND
000014ea: DUP3
000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001500: AND
00001501: SUB
00001502: PUSH2 0x1540
00001505: JUMPI
00001506: PUSH1 0x40
00001508: MLOAD
00001509: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000152a: DUP2
0000152b: MSTORE
0000152c: PUSH1 0x04
0000152e: ADD
0000152f: PUSH2 0x1537
00001532: SWAP1
00001533: PUSH2 0x22ce
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH1 0x40
0000153a: MLOAD
0000153b: DUP1
0000153c: SWAP2
0000153d: SUB
0000153e: SWAP1
0000153f: REVERT
00001540: JUMPDEST
00001541: PUSH2 0x154b
00001544: DUP4
00001545: DUP4
00001546: DUP4
00001547: PUSH2 0x1793
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH0
0000154d: PUSH0
0000154e: PUSH0
0000154f: DUP6
00001550: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001565: AND
00001566: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000157b: AND
0000157c: DUP2
0000157d: MSTORE
0000157e: PUSH1 0x20
00001580: ADD
00001581: SWAP1
00001582: DUP2
00001583: MSTORE
00001584: PUSH1 0x20
00001586: ADD
00001587: PUSH0
00001588: KECCAK256
00001589: SLOAD
0000158a: SWAP1
0000158b: POP
0000158c: DUP2
0000158d: DUP2
0000158e: LT
0000158f: ISZERO
00001590: PUSH2 0x15ce
00001593: JUMPI
00001594: PUSH1 0x40
00001596: MLOAD
00001597: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x04
000015bc: ADD
000015bd: PUSH2 0x15c5
000015c0: SWAP1
000015c1: PUSH2 0x235c
000015c4: JUMP
000015c5: JUMPDEST
000015c6: PUSH1 0x40
000015c8: MLOAD
000015c9: DUP1
000015ca: SWAP2
000015cb: SUB
000015cc: SWAP1
000015cd: REVERT
000015ce: JUMPDEST
000015cf: DUP2
000015d0: DUP2
000015d1: SUB
000015d2: PUSH0
000015d3: PUSH0
000015d4: DUP7
000015d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015ea: AND
000015eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001600: AND
00001601: DUP2
00001602: MSTORE
00001603: PUSH1 0x20
00001605: ADD
00001606: SWAP1
00001607: DUP2
00001608: MSTORE
00001609: PUSH1 0x20
0000160b: ADD
0000160c: PUSH0
0000160d: KECCAK256
0000160e: DUP2
0000160f: SWAP1
00001610: SSTORE
00001611: POP
00001612: DUP2
00001613: PUSH0
00001614: PUSH0
00001615: DUP6
00001616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000162b: AND
0000162c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001641: AND
00001642: DUP2
00001643: MSTORE
00001644: PUSH1 0x20
00001646: ADD
00001647: SWAP1
00001648: DUP2
00001649: MSTORE
0000164a: PUSH1 0x20
0000164c: ADD
0000164d: PUSH0
0000164e: KECCAK256
0000164f: PUSH0
00001650: DUP3
00001651: DUP3
00001652: SLOAD
00001653: ADD
00001654: SWAP3
00001655: POP
00001656: POP
00001657: DUP2
00001658: SWAP1
00001659: SSTORE
0000165a: POP
0000165b: DUP3
0000165c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001671: AND
00001672: DUP5
00001673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001688: AND
00001689: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000016aa: DUP5
000016ab: PUSH1 0x40
000016ad: MLOAD
000016ae: PUSH2 0x16b7
000016b1: SWAP2
000016b2: SWAP1
000016b3: PUSH2 0x1969
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x40
000016ba: MLOAD
000016bb: DUP1
000016bc: SWAP2
000016bd: SUB
000016be: SWAP1
000016bf: LOG3
000016c0: PUSH2 0x16ca
000016c3: DUP5
000016c4: DUP5
000016c5: DUP5
000016c6: PUSH2 0x1798
000016c9: JUMP
000016ca: JUMPDEST
000016cb: POP
000016cc: POP
000016cd: POP
000016ce: POP
000016cf: JUMP
000016d0: JUMPDEST
000016d1: PUSH0
000016d2: PUSH1 0x05
000016d4: PUSH0
000016d5: SWAP1
000016d6: SLOAD
000016d7: SWAP1
000016d8: PUSH2 0x0100
000016db: EXP
000016dc: SWAP1
000016dd: DIV
000016de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f3: AND
000016f4: SWAP1
000016f5: POP
000016f6: DUP2
000016f7: PUSH1 0x05
000016f9: PUSH0
000016fa: PUSH2 0x0100
000016fd: EXP
000016fe: DUP2
000016ff: SLOAD
00001700: DUP2
00001701: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001716: MUL
00001717: NOT
00001718: AND
00001719: SWAP1
0000171a: DUP4
0000171b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001730: AND
00001731: MUL
00001732: OR
00001733: SWAP1
00001734: SSTORE
00001735: POP
00001736: DUP2
00001737: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000174c: AND
0000174d: DUP2
0000174e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001763: AND
00001764: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001785: PUSH1 0x40
00001787: MLOAD
00001788: PUSH1 0x40
0000178a: MLOAD
0000178b: DUP1
0000178c: SWAP2
0000178d: SUB
0000178e: SWAP1
0000178f: LOG3
00001790: POP
00001791: POP
00001792: JUMP
00001793: JUMPDEST
00001794: POP
00001795: POP
00001796: POP
00001797: JUMP
00001798: JUMPDEST
00001799: POP
0000179a: POP
0000179b: POP
0000179c: JUMP
0000179d: JUMPDEST
0000179e: PUSH0
0000179f: PUSH0
000017a0: REVERT
000017a1: JUMPDEST
000017a2: PUSH0
000017a3: DUP2
000017a4: SWAP1
000017a5: POP
000017a6: SWAP2
000017a7: SWAP1
000017a8: POP
000017a9: JUMP
000017aa: JUMPDEST
000017ab: PUSH2 0x17b3
000017ae: DUP2
000017af: PUSH2 0x17a1
000017b2: JUMP
000017b3: JUMPDEST
000017b4: DUP2
000017b5: EQ
000017b6: PUSH2 0x17bd
000017b9: JUMPI
000017ba: PUSH0
000017bb: PUSH0
000017bc: REVERT
000017bd: JUMPDEST
000017be: POP
000017bf: JUMP
000017c0: JUMPDEST
000017c1: PUSH0
000017c2: DUP2
000017c3: CALLDATALOAD
000017c4: SWAP1
000017c5: POP
000017c6: PUSH2 0x17ce
000017c9: DUP2
000017ca: PUSH2 0x17aa
000017cd: JUMP
000017ce: JUMPDEST
000017cf: SWAP3
000017d0: SWAP2
000017d1: POP
000017d2: POP
000017d3: JUMP
000017d4: JUMPDEST
000017d5: PUSH0
000017d6: PUSH1 0x20
000017d8: DUP3
000017d9: DUP5
000017da: SUB
000017db: SLT
000017dc: ISZERO
000017dd: PUSH2 0x17e9
000017e0: JUMPI
000017e1: PUSH2 0x17e8
000017e4: PUSH2 0x179d
000017e7: JUMP
000017e8: JUMPDEST
000017e9: JUMPDEST
000017ea: PUSH0
000017eb: PUSH2 0x17f6
000017ee: DUP5
000017ef: DUP3
000017f0: DUP6
000017f1: ADD
000017f2: PUSH2 0x17c0
000017f5: JUMP
000017f6: JUMPDEST
000017f7: SWAP2
000017f8: POP
000017f9: POP
000017fa: SWAP3
000017fb: SWAP2
000017fc: POP
000017fd: POP
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH0
00001801: DUP2
00001802: MLOAD
00001803: SWAP1
00001804: POP
00001805: SWAP2
00001806: SWAP1
00001807: POP
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH0
0000180b: DUP3
0000180c: DUP3
0000180d: MSTORE
0000180e: PUSH1 0x20
00001810: DUP3
00001811: ADD
00001812: SWAP1
00001813: POP
00001814: SWAP3
00001815: SWAP2
00001816: POP
00001817: POP
00001818: JUMP
00001819: JUMPDEST
0000181a: DUP3
0000181b: DUP2
0000181c: DUP4
0000181d: MCOPY
0000181e: PUSH0
0000181f: DUP4
00001820: DUP4
00001821: ADD
00001822: MSTORE
00001823: POP
00001824: POP
00001825: POP
00001826: JUMP
00001827: JUMPDEST
00001828: PUSH0
00001829: PUSH1 0x1f
0000182b: NOT
0000182c: PUSH1 0x1f
0000182e: DUP4
0000182f: ADD
00001830: AND
00001831: SWAP1
00001832: POP
00001833: SWAP2
00001834: SWAP1
00001835: POP
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH0
00001839: PUSH2 0x1841
0000183c: DUP3
0000183d: PUSH2 0x17ff
00001840: JUMP
00001841: JUMPDEST
00001842: PUSH2 0x184b
00001845: DUP2
00001846: DUP6
00001847: PUSH2 0x1809
0000184a: JUMP
0000184b: JUMPDEST
0000184c: SWAP4
0000184d: POP
0000184e: PUSH2 0x185b
00001851: DUP2
00001852: DUP6
00001853: PUSH1 0x20
00001855: DUP7
00001856: ADD
00001857: PUSH2 0x1819
0000185a: JUMP
0000185b: JUMPDEST
0000185c: PUSH2 0x1864
0000185f: DUP2
00001860: PUSH2 0x1827
00001863: JUMP
00001864: JUMPDEST
00001865: DUP5
00001866: ADD
00001867: SWAP2
00001868: POP
00001869: POP
0000186a: SWAP3
0000186b: SWAP2
0000186c: POP
0000186d: POP
0000186e: JUMP
0000186f: JUMPDEST
00001870: PUSH0
00001871: PUSH1 0x20
00001873: DUP3
00001874: ADD
00001875: SWAP1
00001876: POP
00001877: DUP2
00001878: DUP2
00001879: SUB
0000187a: PUSH0
0000187b: DUP4
0000187c: ADD
0000187d: MSTORE
0000187e: PUSH2 0x1887
00001881: DUP2
00001882: DUP5
00001883: PUSH2 0x1837
00001886: JUMP
00001887: JUMPDEST
00001888: SWAP1
00001889: POP
0000188a: SWAP3
0000188b: SWAP2
0000188c: POP
0000188d: POP
0000188e: JUMP
0000188f: JUMPDEST
00001890: PUSH0
00001891: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018a6: DUP3
000018a7: AND
000018a8: SWAP1
000018a9: POP
000018aa: SWAP2
000018ab: SWAP1
000018ac: POP
000018ad: JUMP
000018ae: JUMPDEST
000018af: PUSH0
000018b0: PUSH2 0x18b8
000018b3: DUP3
000018b4: PUSH2 0x188f
000018b7: JUMP
000018b8: JUMPDEST
000018b9: SWAP1
000018ba: POP
000018bb: SWAP2
000018bc: SWAP1
000018bd: POP
000018be: JUMP
000018bf: JUMPDEST
000018c0: PUSH2 0x18c8
000018c3: DUP2
000018c4: PUSH2 0x18ae
000018c7: JUMP
000018c8: JUMPDEST
000018c9: DUP2
000018ca: EQ
000018cb: PUSH2 0x18d2
000018ce: JUMPI
000018cf: PUSH0
000018d0: PUSH0
000018d1: REVERT
000018d2: JUMPDEST
000018d3: POP
000018d4: JUMP
000018d5: JUMPDEST
000018d6: PUSH0
000018d7: DUP2
000018d8: CALLDATALOAD
000018d9: SWAP1
000018da: POP
000018db: PUSH2 0x18e3
000018de: DUP2
000018df: PUSH2 0x18bf
000018e2: JUMP
000018e3: JUMPDEST
000018e4: SWAP3
000018e5: SWAP2
000018e6: POP
000018e7: POP
000018e8: JUMP
000018e9: JUMPDEST
000018ea: PUSH0
000018eb: PUSH0
000018ec: PUSH1 0x40
000018ee: DUP4
000018ef: DUP6
000018f0: SUB
000018f1: SLT
000018f2: ISZERO
000018f3: PUSH2 0x18ff
000018f6: JUMPI
000018f7: PUSH2 0x18fe
000018fa: PUSH2 0x179d
000018fd: JUMP
000018fe: JUMPDEST
000018ff: JUMPDEST
00001900: PUSH0
00001901: PUSH2 0x190c
00001904: DUP6
00001905: DUP3
00001906: DUP7
00001907: ADD
00001908: PUSH2 0x18d5
0000190b: JUMP
0000190c: JUMPDEST
0000190d: SWAP3
0000190e: POP
0000190f: POP
00001910: PUSH1 0x20
00001912: PUSH2 0x191d
00001915: DUP6
00001916: DUP3
00001917: DUP7
00001918: ADD
00001919: PUSH2 0x17c0
0000191c: JUMP
0000191d: JUMPDEST
0000191e: SWAP2
0000191f: POP
00001920: POP
00001921: SWAP3
00001922: POP
00001923: SWAP3
00001924: SWAP1
00001925: POP
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH0
00001929: DUP2
0000192a: ISZERO
0000192b: ISZERO
0000192c: SWAP1
0000192d: POP
0000192e: SWAP2
0000192f: SWAP1
00001930: POP
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH2 0x193b
00001936: DUP2
00001937: PUSH2 0x1927
0000193a: JUMP
0000193b: JUMPDEST
0000193c: DUP3
0000193d: MSTORE
0000193e: POP
0000193f: POP
00001940: JUMP
00001941: JUMPDEST
00001942: PUSH0
00001943: PUSH1 0x20
00001945: DUP3
00001946: ADD
00001947: SWAP1
00001948: POP
00001949: PUSH2 0x1954
0000194c: PUSH0
0000194d: DUP4
0000194e: ADD
0000194f: DUP5
00001950: PUSH2 0x1932
00001953: JUMP
00001954: JUMPDEST
00001955: SWAP3
00001956: SWAP2
00001957: POP
00001958: POP
00001959: JUMP
0000195a: JUMPDEST
0000195b: PUSH2 0x1963
0000195e: DUP2
0000195f: PUSH2 0x17a1
00001962: JUMP
00001963: JUMPDEST
00001964: DUP3
00001965: MSTORE
00001966: POP
00001967: POP
00001968: JUMP
00001969: JUMPDEST
0000196a: PUSH0
0000196b: PUSH1 0x20
0000196d: DUP3
0000196e: ADD
0000196f: SWAP1
00001970: POP
00001971: PUSH2 0x197c
00001974: PUSH0
00001975: DUP4
00001976: ADD
00001977: DUP5
00001978: PUSH2 0x195a
0000197b: JUMP
0000197c: JUMPDEST
0000197d: SWAP3
0000197e: SWAP2
0000197f: POP
00001980: POP
00001981: JUMP
00001982: JUMPDEST
00001983: PUSH0
00001984: PUSH0
00001985: PUSH0
00001986: PUSH1 0x60
00001988: DUP5
00001989: DUP7
0000198a: SUB
0000198b: SLT
0000198c: ISZERO
0000198d: PUSH2 0x1999
00001990: JUMPI
00001991: PUSH2 0x1998
00001994: PUSH2 0x179d
00001997: JUMP
00001998: JUMPDEST
00001999: JUMPDEST
0000199a: PUSH0
0000199b: PUSH2 0x19a6
0000199e: DUP7
0000199f: DUP3
000019a0: DUP8
000019a1: ADD
000019a2: PUSH2 0x18d5
000019a5: JUMP
000019a6: JUMPDEST
000019a7: SWAP4
000019a8: POP
000019a9: POP
000019aa: PUSH1 0x20
000019ac: PUSH2 0x19b7
000019af: DUP7
000019b0: DUP3
000019b1: DUP8
000019b2: ADD
000019b3: PUSH2 0x18d5
000019b6: JUMP
000019b7: JUMPDEST
000019b8: SWAP3
000019b9: POP
000019ba: POP
000019bb: PUSH1 0x40
000019bd: PUSH2 0x19c8
000019c0: DUP7
000019c1: DUP3
000019c2: DUP8
000019c3: ADD
000019c4: PUSH2 0x17c0
000019c7: JUMP
000019c8: JUMPDEST
000019c9: SWAP2
000019ca: POP
000019cb: POP
000019cc: SWAP3
000019cd: POP
000019ce: SWAP3
000019cf: POP
000019d0: SWAP3
000019d1: JUMP
000019d2: JUMPDEST
000019d3: PUSH2 0x19db
000019d6: DUP2
000019d7: PUSH2 0x18ae
000019da: JUMP
000019db: JUMPDEST
000019dc: DUP3
000019dd: MSTORE
000019de: POP
000019df: POP
000019e0: JUMP
000019e1: JUMPDEST
000019e2: PUSH0
000019e3: PUSH1 0x20
000019e5: DUP3
000019e6: ADD
000019e7: SWAP1
000019e8: POP
000019e9: PUSH2 0x19f4
000019ec: PUSH0
000019ed: DUP4
000019ee: ADD
000019ef: DUP5
000019f0: PUSH2 0x19d2
000019f3: JUMP
000019f4: JUMPDEST
000019f5: SWAP3
000019f6: SWAP2
000019f7: POP
000019f8: POP
000019f9: JUMP
000019fa: JUMPDEST
000019fb: PUSH0
000019fc: PUSH1 0xff
000019fe: DUP3
000019ff: AND
00001a00: SWAP1
00001a01: POP
00001a02: SWAP2
00001a03: SWAP1
00001a04: POP
00001a05: JUMP
00001a06: JUMPDEST
00001a07: PUSH2 0x1a0f
00001a0a: DUP2
00001a0b: PUSH2 0x19fa
00001a0e: JUMP
00001a0f: JUMPDEST
00001a10: DUP3
00001a11: MSTORE
00001a12: POP
00001a13: POP
00001a14: JUMP
00001a15: JUMPDEST
00001a16: PUSH0
00001a17: PUSH1 0x20
00001a19: DUP3
00001a1a: ADD
00001a1b: SWAP1
00001a1c: POP
00001a1d: PUSH2 0x1a28
00001a20: PUSH0
00001a21: DUP4
00001a22: ADD
00001a23: DUP5
00001a24: PUSH2 0x1a06
00001a27: JUMP
00001a28: JUMPDEST
00001a29: SWAP3
00001a2a: SWAP2
00001a2b: POP
00001a2c: POP
00001a2d: JUMP
00001a2e: JUMPDEST
00001a2f: PUSH0
00001a30: PUSH1 0x20
00001a32: DUP3
00001a33: DUP5
00001a34: SUB
00001a35: SLT
00001a36: ISZERO
00001a37: PUSH2 0x1a43
00001a3a: JUMPI
00001a3b: PUSH2 0x1a42
00001a3e: PUSH2 0x179d
00001a41: JUMP
00001a42: JUMPDEST
00001a43: JUMPDEST
00001a44: PUSH0
00001a45: PUSH2 0x1a50
00001a48: DUP5
00001a49: DUP3
00001a4a: DUP6
00001a4b: ADD
00001a4c: PUSH2 0x18d5
00001a4f: JUMP
00001a50: JUMPDEST
00001a51: SWAP2
00001a52: POP
00001a53: POP
00001a54: SWAP3
00001a55: SWAP2
00001a56: POP
00001a57: POP
00001a58: JUMP
00001a59: JUMPDEST
00001a5a: PUSH0
00001a5b: PUSH0
00001a5c: PUSH1 0x40
00001a5e: DUP4
00001a5f: DUP6
00001a60: SUB
00001a61: SLT
00001a62: ISZERO
00001a63: PUSH2 0x1a6f
00001a66: JUMPI
00001a67: PUSH2 0x1a6e
00001a6a: PUSH2 0x179d
00001a6d: JUMP
00001a6e: JUMPDEST
00001a6f: JUMPDEST
00001a70: PUSH0
00001a71: PUSH2 0x1a7c
00001a74: DUP6
00001a75: DUP3
00001a76: DUP7
00001a77: ADD
00001a78: PUSH2 0x18d5
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: SWAP3
00001a7e: POP
00001a7f: POP
00001a80: PUSH1 0x20
00001a82: PUSH2 0x1a8d
00001a85: DUP6
00001a86: DUP3
00001a87: DUP7
00001a88: ADD
00001a89: PUSH2 0x18d5
00001a8c: JUMP
00001a8d: JUMPDEST
00001a8e: SWAP2
00001a8f: POP
00001a90: POP
00001a91: SWAP3
00001a92: POP
00001a93: SWAP3
00001a94: SWAP1
00001a95: POP
00001a96: JUMP
00001a97: JUMPDEST
00001a98: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001ab9: PUSH0
00001aba: MSTORE
00001abb: PUSH1 0x22
00001abd: PUSH1 0x04
00001abf: MSTORE
00001ac0: PUSH1 0x24
00001ac2: PUSH0
00001ac3: REVERT
00001ac4: JUMPDEST
00001ac5: PUSH0
00001ac6: PUSH1 0x02
00001ac8: DUP3
00001ac9: DIV
00001aca: SWAP1
00001acb: POP
00001acc: PUSH1 0x01
00001ace: DUP3
00001acf: AND
00001ad0: DUP1
00001ad1: PUSH2 0x1adb
00001ad4: JUMPI
00001ad5: PUSH1 0x7f
00001ad7: DUP3
00001ad8: AND
00001ad9: SWAP2
00001ada: POP
00001adb: JUMPDEST
00001adc: PUSH1 0x20
00001ade: DUP3
00001adf: LT
00001ae0: DUP2
00001ae1: SUB
00001ae2: PUSH2 0x1aee
00001ae5: JUMPI
00001ae6: PUSH2 0x1aed
00001ae9: PUSH2 0x1a97
00001aec: JUMP
00001aed: JUMPDEST
00001aee: JUMPDEST
00001aef: POP
00001af0: SWAP2
00001af1: SWAP1
00001af2: POP
00001af3: JUMP
00001af4: JUMPDEST
00001af5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b16: PUSH0
00001b17: MSTORE
00001b18: PUSH1 0x11
00001b1a: PUSH1 0x04
00001b1c: MSTORE
00001b1d: PUSH1 0x24
00001b1f: PUSH0
00001b20: REVERT
00001b21: JUMPDEST
00001b22: PUSH0
00001b23: PUSH2 0x1b2b
00001b26: DUP3
00001b27: PUSH2 0x17a1
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: SWAP2
00001b2d: POP
00001b2e: PUSH2 0x1b36
00001b31: DUP4
00001b32: PUSH2 0x17a1
00001b35: JUMP
00001b36: JUMPDEST
00001b37: SWAP3
00001b38: POP
00001b39: DUP3
00001b3a: DUP3
00001b3b: ADD
00001b3c: SWAP1
00001b3d: POP
00001b3e: DUP1
00001b3f: DUP3
00001b40: GT
00001b41: ISZERO
00001b42: PUSH2 0x1b4e
00001b45: JUMPI
00001b46: PUSH2 0x1b4d
00001b49: PUSH2 0x1af4
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: JUMPDEST
00001b4f: SWAP3
00001b50: SWAP2
00001b51: POP
00001b52: POP
00001b53: JUMP
00001b54: JUMPDEST
00001b55: PUSH0
00001b56: DUP2
00001b57: MLOAD
00001b58: SWAP1
00001b59: POP
00001b5a: PUSH2 0x1b62
00001b5d: DUP2
00001b5e: PUSH2 0x17aa
00001b61: JUMP
00001b62: JUMPDEST
00001b63: SWAP3
00001b64: SWAP2
00001b65: POP
00001b66: POP
00001b67: JUMP
00001b68: JUMPDEST
00001b69: PUSH0
00001b6a: PUSH1 0x20
00001b6c: DUP3
00001b6d: DUP5
00001b6e: SUB
00001b6f: SLT
00001b70: ISZERO
00001b71: PUSH2 0x1b7d
00001b74: JUMPI
00001b75: PUSH2 0x1b7c
00001b78: PUSH2 0x179d
00001b7b: JUMP
00001b7c: JUMPDEST
00001b7d: JUMPDEST
00001b7e: PUSH0
00001b7f: PUSH2 0x1b8a
00001b82: DUP5
00001b83: DUP3
00001b84: DUP6
00001b85: ADD
00001b86: PUSH2 0x1b54
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP2
00001b8c: POP
00001b8d: POP
00001b8e: SWAP3
00001b8f: SWAP2
00001b90: POP
00001b91: POP
00001b92: JUMP
00001b93: JUMPDEST
00001b94: PUSH0
00001b95: PUSH1 0x40
00001b97: DUP3
00001b98: ADD
00001b99: SWAP1
00001b9a: POP
00001b9b: PUSH2 0x1ba6
00001b9e: PUSH0
00001b9f: DUP4
00001ba0: ADD
00001ba1: DUP6
00001ba2: PUSH2 0x19d2
00001ba5: JUMP
00001ba6: JUMPDEST
00001ba7: PUSH2 0x1bb3
00001baa: PUSH1 0x20
00001bac: DUP4
00001bad: ADD
00001bae: DUP5
00001baf: PUSH2 0x195a
00001bb2: JUMP
00001bb3: JUMPDEST
00001bb4: SWAP4
00001bb5: SWAP3
00001bb6: POP
00001bb7: POP
00001bb8: POP
00001bb9: JUMP
00001bba: JUMPDEST
00001bbb: PUSH32 0x53656e642045544820746f2062757920746f6b656e7300000000000000000000
00001bdc: PUSH0
00001bdd: DUP3
00001bde: ADD
00001bdf: MSTORE
00001be0: POP
00001be1: JUMP
00001be2: JUMPDEST
00001be3: PUSH0
00001be4: PUSH2 0x1bee
00001be7: PUSH1 0x16
00001be9: DUP4
00001bea: PUSH2 0x1809
00001bed: JUMP
00001bee: JUMPDEST
00001bef: SWAP2
00001bf0: POP
00001bf1: PUSH2 0x1bf9
00001bf4: DUP3
00001bf5: PUSH2 0x1bba
00001bf8: JUMP
00001bf9: JUMPDEST
00001bfa: PUSH1 0x20
00001bfc: DUP3
00001bfd: ADD
00001bfe: SWAP1
00001bff: POP
00001c00: SWAP2
00001c01: SWAP1
00001c02: POP
00001c03: JUMP
00001c04: JUMPDEST
00001c05: PUSH0
00001c06: PUSH1 0x20
00001c08: DUP3
00001c09: ADD
00001c0a: SWAP1
00001c0b: POP
00001c0c: DUP2
00001c0d: DUP2
00001c0e: SUB
00001c0f: PUSH0
00001c10: DUP4
00001c11: ADD
00001c12: MSTORE
00001c13: PUSH2 0x1c1b
00001c16: DUP2
00001c17: PUSH2 0x1be2
00001c1a: JUMP
00001c1b: JUMPDEST
00001c1c: SWAP1
00001c1d: POP
00001c1e: SWAP2
00001c1f: SWAP1
00001c20: POP
00001c21: JUMP
00001c22: JUMPDEST
00001c23: PUSH0
00001c24: PUSH2 0x1c2c
00001c27: DUP3
00001c28: PUSH2 0x17a1
00001c2b: JUMP
00001c2c: JUMPDEST
00001c2d: SWAP2
00001c2e: POP
00001c2f: PUSH2 0x1c37
00001c32: DUP4
00001c33: PUSH2 0x17a1
00001c36: JUMP
00001c37: JUMPDEST
00001c38: SWAP3
00001c39: POP
00001c3a: DUP3
00001c3b: DUP3
00001c3c: MUL
00001c3d: PUSH2 0x1c45
00001c40: DUP2
00001c41: PUSH2 0x17a1
00001c44: JUMP
00001c45: JUMPDEST
00001c46: SWAP2
00001c47: POP
00001c48: DUP3
00001c49: DUP3
00001c4a: DIV
00001c4b: DUP5
00001c4c: EQ
00001c4d: DUP4
00001c4e: ISZERO
00001c4f: OR
00001c50: PUSH2 0x1c5c
00001c53: JUMPI
00001c54: PUSH2 0x1c5b
00001c57: PUSH2 0x1af4
00001c5a: JUMP
00001c5b: JUMPDEST
00001c5c: JUMPDEST
00001c5d: POP
00001c5e: SWAP3
00001c5f: SWAP2
00001c60: POP
00001c61: POP
00001c62: JUMP
00001c63: JUMPDEST
00001c64: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001c85: PUSH0
00001c86: MSTORE
00001c87: PUSH1 0x12
00001c89: PUSH1 0x04
00001c8b: MSTORE
00001c8c: PUSH1 0x24
00001c8e: PUSH0
00001c8f: REVERT
00001c90: JUMPDEST
00001c91: PUSH0
00001c92: PUSH2 0x1c9a
00001c95: DUP3
00001c96: PUSH2 0x17a1
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: SWAP2
00001c9c: POP
00001c9d: PUSH2 0x1ca5
00001ca0: DUP4
00001ca1: PUSH2 0x17a1
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: SWAP3
00001ca7: POP
00001ca8: DUP3
00001ca9: PUSH2 0x1cb5
00001cac: JUMPI
00001cad: PUSH2 0x1cb4
00001cb0: PUSH2 0x1c63
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: JUMPDEST
00001cb6: DUP3
00001cb7: DUP3
00001cb8: DIV
00001cb9: SWAP1
00001cba: POP
00001cbb: SWAP3
00001cbc: SWAP2
00001cbd: POP
00001cbe: POP
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH32 0x4e6f7420656e6f75676820746f6b656e7320696e207468652072657365727665
00001ce2: PUSH0
00001ce3: DUP3
00001ce4: ADD
00001ce5: MSTORE
00001ce6: POP
00001ce7: JUMP
00001ce8: JUMPDEST
00001ce9: PUSH0
00001cea: PUSH2 0x1cf4
00001ced: PUSH1 0x20
00001cef: DUP4
00001cf0: PUSH2 0x1809
00001cf3: JUMP
00001cf4: JUMPDEST
00001cf5: SWAP2
00001cf6: POP
00001cf7: PUSH2 0x1cff
00001cfa: DUP3
00001cfb: PUSH2 0x1cc0
00001cfe: JUMP
00001cff: JUMPDEST
00001d00: PUSH1 0x20
00001d02: DUP3
00001d03: ADD
00001d04: SWAP1
00001d05: POP
00001d06: SWAP2
00001d07: SWAP1
00001d08: POP
00001d09: JUMP
00001d0a: JUMPDEST
00001d0b: PUSH0
00001d0c: PUSH1 0x20
00001d0e: DUP3
00001d0f: ADD
00001d10: SWAP1
00001d11: POP
00001d12: DUP2
00001d13: DUP2
00001d14: SUB
00001d15: PUSH0
00001d16: DUP4
00001d17: ADD
00001d18: MSTORE
00001d19: PUSH2 0x1d21
00001d1c: DUP2
00001d1d: PUSH2 0x1ce8
00001d20: JUMP
00001d21: JUMPDEST
00001d22: SWAP1
00001d23: POP
00001d24: SWAP2
00001d25: SWAP1
00001d26: POP
00001d27: JUMP
00001d28: JUMPDEST
00001d29: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00001d4a: PUSH0
00001d4b: DUP3
00001d4c: ADD
00001d4d: MSTORE
00001d4e: PUSH32 0x207a65726f000000000000000000000000000000000000000000000000000000
00001d6f: PUSH1 0x20
00001d71: DUP3
00001d72: ADD
00001d73: MSTORE
00001d74: POP
00001d75: JUMP
00001d76: JUMPDEST
00001d77: PUSH0
00001d78: PUSH2 0x1d82
00001d7b: PUSH1 0x25
00001d7d: DUP4
00001d7e: PUSH2 0x1809
00001d81: JUMP
00001d82: JUMPDEST
00001d83: SWAP2
00001d84: POP
00001d85: PUSH2 0x1d8d
00001d88: DUP3
00001d89: PUSH2 0x1d28
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x40
00001d90: DUP3
00001d91: ADD
00001d92: SWAP1
00001d93: POP
00001d94: SWAP2
00001d95: SWAP1
00001d96: POP
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH0
00001d9a: PUSH1 0x20
00001d9c: DUP3
00001d9d: ADD
00001d9e: SWAP1
00001d9f: POP
00001da0: DUP2
00001da1: DUP2
00001da2: SUB
00001da3: PUSH0
00001da4: DUP4
00001da5: ADD
00001da6: MSTORE
00001da7: PUSH2 0x1daf
00001daa: DUP2
00001dab: PUSH2 0x1d76
00001dae: JUMP
00001daf: JUMPDEST
00001db0: SWAP1
00001db1: POP
00001db2: SWAP2
00001db3: SWAP1
00001db4: POP
00001db5: JUMP
00001db6: JUMPDEST
00001db7: PUSH32 0x53656e6420746f6b656e7320746f206275790000000000000000000000000000
00001dd8: PUSH0
00001dd9: DUP3
00001dda: ADD
00001ddb: MSTORE
00001ddc: POP
00001ddd: JUMP
00001dde: JUMPDEST
00001ddf: PUSH0
00001de0: PUSH2 0x1dea
00001de3: PUSH1 0x12
00001de5: DUP4
00001de6: PUSH2 0x1809
00001de9: JUMP
00001dea: JUMPDEST
00001deb: SWAP2
00001dec: POP
00001ded: PUSH2 0x1df5
00001df0: DUP3
00001df1: PUSH2 0x1db6
00001df4: JUMP
00001df5: JUMPDEST
00001df6: PUSH1 0x20
00001df8: DUP3
00001df9: ADD
00001dfa: SWAP1
00001dfb: POP
00001dfc: SWAP2
00001dfd: SWAP1
00001dfe: POP
00001dff: JUMP
00001e00: JUMPDEST
00001e01: PUSH0
00001e02: PUSH1 0x20
00001e04: DUP3
00001e05: ADD
00001e06: SWAP1
00001e07: POP
00001e08: DUP2
00001e09: DUP2
00001e0a: SUB
00001e0b: PUSH0
00001e0c: DUP4
00001e0d: ADD
00001e0e: MSTORE
00001e0f: PUSH2 0x1e17
00001e12: DUP2
00001e13: PUSH2 0x1dde
00001e16: JUMP
00001e17: JUMPDEST
00001e18: SWAP1
00001e19: POP
00001e1a: SWAP2
00001e1b: SWAP1
00001e1c: POP
00001e1d: JUMP
00001e1e: JUMPDEST
00001e1f: PUSH32 0x556e737570706f7274656420746f6b656e000000000000000000000000000000
00001e40: PUSH0
00001e41: DUP3
00001e42: ADD
00001e43: MSTORE
00001e44: POP
00001e45: JUMP
00001e46: JUMPDEST
00001e47: PUSH0
00001e48: PUSH2 0x1e52
00001e4b: PUSH1 0x11
00001e4d: DUP4
00001e4e: PUSH2 0x1809
00001e51: JUMP
00001e52: JUMPDEST
00001e53: SWAP2
00001e54: POP
00001e55: PUSH2 0x1e5d
00001e58: DUP3
00001e59: PUSH2 0x1e1e
00001e5c: JUMP
00001e5d: JUMPDEST
00001e5e: PUSH1 0x20
00001e60: DUP3
00001e61: ADD
00001e62: SWAP1
00001e63: POP
00001e64: SWAP2
00001e65: SWAP1
00001e66: POP
00001e67: JUMP
00001e68: JUMPDEST
00001e69: PUSH0
00001e6a: PUSH1 0x20
00001e6c: DUP3
00001e6d: ADD
00001e6e: SWAP1
00001e6f: POP
00001e70: DUP2
00001e71: DUP2
00001e72: SUB
00001e73: PUSH0
00001e74: DUP4
00001e75: ADD
00001e76: MSTORE
00001e77: PUSH2 0x1e7f
00001e7a: DUP2
00001e7b: PUSH2 0x1e46
00001e7e: JUMP
00001e7f: JUMPDEST
00001e80: SWAP1
00001e81: POP
00001e82: SWAP2
00001e83: SWAP1
00001e84: POP
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH0
00001e88: PUSH1 0x60
00001e8a: DUP3
00001e8b: ADD
00001e8c: SWAP1
00001e8d: POP
00001e8e: PUSH2 0x1e99
00001e91: PUSH0
00001e92: DUP4
00001e93: ADD
00001e94: DUP7
00001e95: PUSH2 0x19d2
00001e98: JUMP
00001e99: JUMPDEST
00001e9a: PUSH2 0x1ea6
00001e9d: PUSH1 0x20
00001e9f: DUP4
00001ea0: ADD
00001ea1: DUP6
00001ea2: PUSH2 0x19d2
00001ea5: JUMP
00001ea6: JUMPDEST
00001ea7: PUSH2 0x1eb3
00001eaa: PUSH1 0x40
00001eac: DUP4
00001ead: ADD
00001eae: DUP5
00001eaf: PUSH2 0x195a
00001eb2: JUMP
00001eb3: JUMPDEST
00001eb4: SWAP5
00001eb5: SWAP4
00001eb6: POP
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: JUMP
00001ebb: JUMPDEST
00001ebc: PUSH0
00001ebd: PUSH2 0x1ec5
00001ec0: DUP3
00001ec1: PUSH2 0x17a1
00001ec4: JUMP
00001ec5: JUMPDEST
00001ec6: SWAP2
00001ec7: POP
00001ec8: PUSH2 0x1ed0
00001ecb: DUP4
00001ecc: PUSH2 0x17a1
00001ecf: JUMP
00001ed0: JUMPDEST
00001ed1: SWAP3
00001ed2: POP
00001ed3: DUP3
00001ed4: DUP3
00001ed5: SUB
00001ed6: SWAP1
00001ed7: POP
00001ed8: DUP2
00001ed9: DUP2
00001eda: GT
00001edb: ISZERO
00001edc: PUSH2 0x1ee8
00001edf: JUMPI
00001ee0: PUSH2 0x1ee7
00001ee3: PUSH2 0x1af4
00001ee6: JUMP
00001ee7: JUMPDEST
00001ee8: JUMPDEST
00001ee9: SWAP3
00001eea: SWAP2
00001eeb: POP
00001eec: POP
00001eed: JUMP
00001eee: JUMPDEST
00001eef: PUSH32 0x616d6f756e74206e6f74206d6174636800000000000000000000000000000000
00001f10: PUSH0
00001f11: DUP3
00001f12: ADD
00001f13: MSTORE
00001f14: POP
00001f15: JUMP
00001f16: JUMPDEST
00001f17: PUSH0
00001f18: PUSH2 0x1f22
00001f1b: PUSH1 0x10
00001f1d: DUP4
00001f1e: PUSH2 0x1809
00001f21: JUMP
00001f22: JUMPDEST
00001f23: SWAP2
00001f24: POP
00001f25: PUSH2 0x1f2d
00001f28: DUP3
00001f29: PUSH2 0x1eee
00001f2c: JUMP
00001f2d: JUMPDEST
00001f2e: PUSH1 0x20
00001f30: DUP3
00001f31: ADD
00001f32: SWAP1
00001f33: POP
00001f34: SWAP2
00001f35: SWAP1
00001f36: POP
00001f37: JUMP
00001f38: JUMPDEST
00001f39: PUSH0
00001f3a: PUSH1 0x20
00001f3c: DUP3
00001f3d: ADD
00001f3e: SWAP1
00001f3f: POP
00001f40: DUP2
00001f41: DUP2
00001f42: SUB
00001f43: PUSH0
00001f44: DUP4
00001f45: ADD
00001f46: MSTORE
00001f47: PUSH2 0x1f4f
00001f4a: DUP2
00001f4b: PUSH2 0x1f16
00001f4e: JUMP
00001f4f: JUMPDEST
00001f50: SWAP1
00001f51: POP
00001f52: SWAP2
00001f53: SWAP1
00001f54: POP
00001f55: JUMP
00001f56: JUMPDEST
00001f57: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001f78: PUSH0
00001f79: DUP3
00001f7a: ADD
00001f7b: MSTORE
00001f7c: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00001f9d: PUSH1 0x20
00001f9f: DUP3
00001fa0: ADD
00001fa1: MSTORE
00001fa2: POP
00001fa3: JUMP
00001fa4: JUMPDEST
00001fa5: PUSH0
00001fa6: PUSH2 0x1fb0
00001fa9: PUSH1 0x26
00001fab: DUP4
00001fac: PUSH2 0x1809
00001faf: JUMP
00001fb0: JUMPDEST
00001fb1: SWAP2
00001fb2: POP
00001fb3: PUSH2 0x1fbb
00001fb6: DUP3
00001fb7: PUSH2 0x1f56
00001fba: JUMP
00001fbb: JUMPDEST
00001fbc: PUSH1 0x40
00001fbe: DUP3
00001fbf: ADD
00001fc0: SWAP1
00001fc1: POP
00001fc2: SWAP2
00001fc3: SWAP1
00001fc4: POP
00001fc5: JUMP
00001fc6: JUMPDEST
00001fc7: PUSH0
00001fc8: PUSH1 0x20
00001fca: DUP3
00001fcb: ADD
00001fcc: SWAP1
00001fcd: POP
00001fce: DUP2
00001fcf: DUP2
00001fd0: SUB
00001fd1: PUSH0
00001fd2: DUP4
00001fd3: ADD
00001fd4: MSTORE
00001fd5: PUSH2 0x1fdd
00001fd8: DUP2
00001fd9: PUSH2 0x1fa4
00001fdc: JUMP
00001fdd: JUMPDEST
00001fde: SWAP1
00001fdf: POP
00001fe0: SWAP2
00001fe1: SWAP1
00001fe2: POP
00001fe3: JUMP
00001fe4: JUMPDEST
00001fe5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002006: PUSH0
00002007: DUP3
00002008: ADD
00002009: MSTORE
0000200a: POP
0000200b: JUMP
0000200c: JUMPDEST
0000200d: PUSH0
0000200e: PUSH2 0x2018
00002011: PUSH1 0x20
00002013: DUP4
00002014: PUSH2 0x1809
00002017: JUMP
00002018: JUMPDEST
00002019: SWAP2
0000201a: POP
0000201b: PUSH2 0x2023
0000201e: DUP3
0000201f: PUSH2 0x1fe4
00002022: JUMP
00002023: JUMPDEST
00002024: PUSH1 0x20
00002026: DUP3
00002027: ADD
00002028: SWAP1
00002029: POP
0000202a: SWAP2
0000202b: SWAP1
0000202c: POP
0000202d: JUMP
0000202e: JUMPDEST
0000202f: PUSH0
00002030: PUSH1 0x20
00002032: DUP3
00002033: ADD
00002034: SWAP1
00002035: POP
00002036: DUP2
00002037: DUP2
00002038: SUB
00002039: PUSH0
0000203a: DUP4
0000203b: ADD
0000203c: MSTORE
0000203d: PUSH2 0x2045
00002040: DUP2
00002041: PUSH2 0x200c
00002044: JUMP
00002045: JUMPDEST
00002046: SWAP1
00002047: POP
00002048: SWAP2
00002049: SWAP1
0000204a: POP
0000204b: JUMP
0000204c: JUMPDEST
0000204d: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000206e: PUSH0
0000206f: DUP3
00002070: ADD
00002071: MSTORE
00002072: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00002093: PUSH1 0x20
00002095: DUP3
00002096: ADD
00002097: MSTORE
00002098: POP
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH0
0000209c: PUSH2 0x20a6
0000209f: PUSH1 0x24
000020a1: DUP4
000020a2: PUSH2 0x1809
000020a5: JUMP
000020a6: JUMPDEST
000020a7: SWAP2
000020a8: POP
000020a9: PUSH2 0x20b1
000020ac: DUP3
000020ad: PUSH2 0x204c
000020b0: JUMP
000020b1: JUMPDEST
000020b2: PUSH1 0x40
000020b4: DUP3
000020b5: ADD
000020b6: SWAP1
000020b7: POP
000020b8: SWAP2
000020b9: SWAP1
000020ba: POP
000020bb: JUMP
000020bc: JUMPDEST
000020bd: PUSH0
000020be: PUSH1 0x20
000020c0: DUP3
000020c1: ADD
000020c2: SWAP1
000020c3: POP
000020c4: DUP2
000020c5: DUP2
000020c6: SUB
000020c7: PUSH0
000020c8: DUP4
000020c9: ADD
000020ca: MSTORE
000020cb: PUSH2 0x20d3
000020ce: DUP2
000020cf: PUSH2 0x209a
000020d2: JUMP
000020d3: JUMPDEST
000020d4: SWAP1
000020d5: POP
000020d6: SWAP2
000020d7: SWAP1
000020d8: POP
000020d9: JUMP
000020da: JUMPDEST
000020db: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
000020fc: PUSH0
000020fd: DUP3
000020fe: ADD
000020ff: MSTORE
00002100: PUSH32 0x7373000000000000000000000000000000000000000000000000000000000000
00002121: PUSH1 0x20
00002123: DUP3
00002124: ADD
00002125: MSTORE
00002126: POP
00002127: JUMP
00002128: JUMPDEST
00002129: PUSH0
0000212a: PUSH2 0x2134
0000212d: PUSH1 0x22
0000212f: DUP4
00002130: PUSH2 0x1809
00002133: JUMP
00002134: JUMPDEST
00002135: SWAP2
00002136: POP
00002137: PUSH2 0x213f
0000213a: DUP3
0000213b: PUSH2 0x20da
0000213e: JUMP
0000213f: JUMPDEST
00002140: PUSH1 0x40
00002142: DUP3
00002143: ADD
00002144: SWAP1
00002145: POP
00002146: SWAP2
00002147: SWAP1
00002148: POP
00002149: JUMP
0000214a: JUMPDEST
0000214b: PUSH0
0000214c: PUSH1 0x20
0000214e: DUP3
0000214f: ADD
00002150: SWAP1
00002151: POP
00002152: DUP2
00002153: DUP2
00002154: SUB
00002155: PUSH0
00002156: DUP4
00002157: ADD
00002158: MSTORE
00002159: PUSH2 0x2161
0000215c: DUP2
0000215d: PUSH2 0x2128
00002160: JUMP
00002161: JUMPDEST
00002162: SWAP1
00002163: POP
00002164: SWAP2
00002165: SWAP1
00002166: POP
00002167: JUMP
00002168: JUMPDEST
00002169: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
0000218a: PUSH0
0000218b: DUP3
0000218c: ADD
0000218d: MSTORE
0000218e: POP
0000218f: JUMP
00002190: JUMPDEST
00002191: PUSH0
00002192: PUSH2 0x219c
00002195: PUSH1 0x1d
00002197: DUP4
00002198: PUSH2 0x1809
0000219b: JUMP
0000219c: JUMPDEST
0000219d: SWAP2
0000219e: POP
0000219f: PUSH2 0x21a7
000021a2: DUP3
000021a3: PUSH2 0x2168
000021a6: JUMP
000021a7: JUMPDEST
000021a8: PUSH1 0x20
000021aa: DUP3
000021ab: ADD
000021ac: SWAP1
000021ad: POP
000021ae: SWAP2
000021af: SWAP1
000021b0: POP
000021b1: JUMP
000021b2: JUMPDEST
000021b3: PUSH0
000021b4: PUSH1 0x20
000021b6: DUP3
000021b7: ADD
000021b8: SWAP1
000021b9: POP
000021ba: DUP2
000021bb: DUP2
000021bc: SUB
000021bd: PUSH0
000021be: DUP4
000021bf: ADD
000021c0: MSTORE
000021c1: PUSH2 0x21c9
000021c4: DUP2
000021c5: PUSH2 0x2190
000021c8: JUMP
000021c9: JUMPDEST
000021ca: SWAP1
000021cb: POP
000021cc: SWAP2
000021cd: SWAP1
000021ce: POP
000021cf: JUMP
000021d0: JUMPDEST
000021d1: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000021f2: PUSH0
000021f3: DUP3
000021f4: ADD
000021f5: MSTORE
000021f6: PUSH32 0x6472657373000000000000000000000000000000000000000000000000000000
00002217: PUSH1 0x20
00002219: DUP3
0000221a: ADD
0000221b: MSTORE
0000221c: POP
0000221d: JUMP
0000221e: JUMPDEST
0000221f: PUSH0
00002220: PUSH2 0x222a
00002223: PUSH1 0x25
00002225: DUP4
00002226: PUSH2 0x1809
00002229: JUMP
0000222a: JUMPDEST
0000222b: SWAP2
0000222c: POP
0000222d: PUSH2 0x2235
00002230: DUP3
00002231: PUSH2 0x21d0
00002234: JUMP
00002235: JUMPDEST
00002236: PUSH1 0x40
00002238: DUP3
00002239: ADD
0000223a: SWAP1
0000223b: POP
0000223c: SWAP2
0000223d: SWAP1
0000223e: POP
0000223f: JUMP
00002240: JUMPDEST
00002241: PUSH0
00002242: PUSH1 0x20
00002244: DUP3
00002245: ADD
00002246: SWAP1
00002247: POP
00002248: DUP2
00002249: DUP2
0000224a: SUB
0000224b: PUSH0
0000224c: DUP4
0000224d: ADD
0000224e: MSTORE
0000224f: PUSH2 0x2257
00002252: DUP2
00002253: PUSH2 0x221e
00002256: JUMP
00002257: JUMPDEST
00002258: SWAP1
00002259: POP
0000225a: SWAP2
0000225b: SWAP1
0000225c: POP
0000225d: JUMP
0000225e: JUMPDEST
0000225f: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00002280: PUSH0
00002281: DUP3
00002282: ADD
00002283: MSTORE
00002284: PUSH32 0x6573730000000000000000000000000000000000000000000000000000000000
000022a5: PUSH1 0x20
000022a7: DUP3
000022a8: ADD
000022a9: MSTORE
000022aa: POP
000022ab: JUMP
000022ac: JUMPDEST
000022ad: PUSH0
000022ae: PUSH2 0x22b8
000022b1: PUSH1 0x23
000022b3: DUP4
000022b4: PUSH2 0x1809
000022b7: JUMP
000022b8: JUMPDEST
000022b9: SWAP2
000022ba: POP
000022bb: PUSH2 0x22c3
000022be: DUP3
000022bf: PUSH2 0x225e
000022c2: JUMP
000022c3: JUMPDEST
000022c4: PUSH1 0x40
000022c6: DUP3
000022c7: ADD
000022c8: SWAP1
000022c9: POP
000022ca: SWAP2
000022cb: SWAP1
000022cc: POP
000022cd: JUMP
000022ce: JUMPDEST
000022cf: PUSH0
000022d0: PUSH1 0x20
000022d2: DUP3
000022d3: ADD
000022d4: SWAP1
000022d5: POP
000022d6: DUP2
000022d7: DUP2
000022d8: SUB
000022d9: PUSH0
000022da: DUP4
000022db: ADD
000022dc: MSTORE
000022dd: PUSH2 0x22e5
000022e0: DUP2
000022e1: PUSH2 0x22ac
000022e4: JUMP
000022e5: JUMPDEST
000022e6: SWAP1
000022e7: POP
000022e8: SWAP2
000022e9: SWAP1
000022ea: POP
000022eb: JUMP
000022ec: JUMPDEST
000022ed: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000230e: PUSH0
0000230f: DUP3
00002310: ADD
00002311: MSTORE
00002312: PUSH32 0x616c616e63650000000000000000000000000000000000000000000000000000
00002333: PUSH1 0x20
00002335: DUP3
00002336: ADD
00002337: MSTORE
00002338: POP
00002339: JUMP
0000233a: JUMPDEST
0000233b: PUSH0
0000233c: PUSH2 0x2346
0000233f: PUSH1 0x26
00002341: DUP4
00002342: PUSH2 0x1809
00002345: JUMP
00002346: JUMPDEST
00002347: SWAP2
00002348: POP
00002349: PUSH2 0x2351
0000234c: DUP3
0000234d: PUSH2 0x22ec
00002350: JUMP
00002351: JUMPDEST
00002352: PUSH1 0x40
00002354: DUP3
00002355: ADD
00002356: SWAP1
00002357: POP
00002358: SWAP2
00002359: SWAP1
0000235a: POP
0000235b: JUMP
0000235c: JUMPDEST
0000235d: PUSH0
0000235e: PUSH1 0x20
00002360: DUP3
00002361: ADD
00002362: SWAP1
00002363: POP
00002364: DUP2
00002365: DUP2
00002366: SUB
00002367: PUSH0
00002368: DUP4
00002369: ADD
0000236a: MSTORE
0000236b: PUSH2 0x2373
0000236e: DUP2
0000236f: PUSH2 0x233a
00002372: JUMP
00002373: JUMPDEST
00002374: SWAP1
00002375: POP
00002376: SWAP2
00002377: SWAP1
00002378: POP
00002379: JUMP
0000237a: INVALID
0000237b: LOG2
0000237c: PUSH5 0x6970667358
00002382: UNKNOWN(0x22)
00002383: SLT
00002384: KECCAK256
00002385: EQ
00002386: SWAP8
00002387: UNKNOWN(0xB9)
00002388: SWAP5
00002389: SWAP4
0000238a: SELFBALANCE
0000238b: LOG0
0000238c: DUP11
0000238d: CALLDATASIZE
0000238e: BASEFEE
0000238f: UNKNOWN(0x22)
00002390: SWAP12
00002391: UNKNOWN(0x2F)
00002392: UNKNOWN(0xB9)
00002393: EQ
00002394: UNKNOWN(0xF7)
00002395: UNKNOWN(0xAC)
00002396: UNKNOWN(0xCA)
00002397: CHAINID
00002398: GAS
00002399: UNKNOWN(0xCC)
0000239a: UNKNOWN(0x0C)
0000239b: TSTORE
0000239c: UNKNOWN(0xDE)
0000239d: UNKNOWN(0x1F)
0000239e: GASPRICE
0000239f: UNKNOWN(0xCE)
000023a0: UNKNOWN(0xE4)
000023a1: CREATE2
000023a2: UNKNOWN(0xC9)
000023a3: SHL
000023a4: UNKNOWN(0xAD)
000023a5: PUSH5 0x736f6c6343
000023ab: STOP
000023ac: ADDMOD
000023ad: SHR
000023ae: STOP
000023af: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x97501696745731e8ba4c5528ed32d82caca9b9ffab348ce1ba30fd61507b0f8e call_targets: 0x85653d4cc13bded17cc75e09a48edcf0c594a597 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x97501696745731e8ba4c5528ed32d82caca9b9ffab348ce1ba30fd61507b0f8e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x85653d4cc13bded17cc75e09a48edcf0c594a597" ], "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": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf22f076", "selector": "0xbf22f076", "calldata_variants": [ "0xbf22f076", "0xbf22f0760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff186b2e", "selector": "0xff186b2e", "calldata_variants": [ "0xff186b2e", "0xff186b2e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1754, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2213, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2670, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [], "untrusted_call_count": 4 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x97501696745731e8ba4c5528ed32d82caca9b9ffab348ce1ba30fd61507b0f8e call_targets: 0x85653d4cc13bded17cc75e09a48edcf0c594a597 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x97501696745731e8ba4c5528ed32d82caca9b9ffab348ce1ba30fd61507b0f8e", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x85653d4cc13bded17cc75e09a48edcf0c594a597" ], "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": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf22f076", "selector": "0xbf22f076", "calldata_variants": [ "0xbf22f076", "0xbf22f0760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff186b2e", "selector": "0xff186b2e", "calldata_variants": [ "0xff186b2e", "0xff186b2e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1754, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2213, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2670, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [] }
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0xca779db9fba8abad9b12a59ac99c5b64931a524f956a6232061530e1beeab9a3 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xca779db9fba8abad9b12a59ac99c5b64931a524f956a6232061530e1beeab9a3", "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": "0xa457c2d7", "selector": "0xa457c2d7", "calldata_variants": [ "0xa457c2d7", "0xa457c2d70000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xbf22f076", "selector": "0xbf22f076", "calldata_variants": [ "0xbf22f076", "0xbf22f0760000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xff186b2e", "selector": "0xff186b2e", "calldata_variants": [ "0xff186b2e", "0xff186b2e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x70a08231", "selector": "0x70a08231", "calldata_variants": [ "0x70a08231", "0x70a082310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }
low	other	cast	Contract creation opcode present	60	no	—	view evidence_json { "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2", "create_count": 0, "create2_count": 1 }